user=mdettweiler [2013-05-15 00:02:46] 723*2^1245915-1 is not prime. Res64: EBA6D2F334718CF6 Time : 0.0 sec. user=mdettweiler [2013-05-15 00:02:47] 739*2^1245915-1 is not prime. Res64: A0DE2D3BD9138465 Time : 0.0 sec. user=mdettweiler [2013-05-15 00:21:46] 765*2^1245915-1 is not prime. Res64: 9FB13D65DD217385 Time : 0.0 sec. user=mdettweiler [2013-05-15 00:36:20] 699*2^1245915-1 is not prime. Res64: F3423CC79F05583C Time : 0.0 sec. user=mdettweiler [2013-05-15 00:46:23] 775*2^1245915-1 is not prime. Res64: 228005A03FF8FA0F Time : 0.0 sec. user=mdettweiler [2013-05-15 01:04:06] 955*2^1245915-1 is not prime. Res64: 45720423198E7F4B Time : 0.0 sec. user=mdettweiler [2013-05-15 01:04:08] 961*2^1245915-1 is not prime. Res64: A6042EE158F58641 Time : 0.0 sec. user=vaughan [2013-05-15 01:12:37] 861*2^1245915-1 is not prime. Res64: 52B0D08AC5D4EF61 Time : 0.0 sec. user=mdettweiler [2013-05-15 01:22:09] 657*2^1245916-1 is not prime. Res64: 7B28A49BAAB0ECA7 Time : 0.0 sec. user=mdettweiler [2013-05-15 01:24:04] 749*2^1245916-1 is not prime. Res64: 5AD418C7A1FA25A9 Time : 0.0 sec. user=mdettweiler [2013-05-15 01:35:48] 723*2^1245916-1 is not prime. Res64: 949BACADBB623A41 Time : 0.0 sec. user=mdettweiler [2013-05-15 01:42:57] 777*2^1245916-1 is not prime. Res64: 3877BCA633A8226D Time : 0.0 sec. user=mdettweiler [2013-05-15 02:00:46] 833*2^1245916-1 is not prime. Res64: FD3FA3C82CBCE102 Time : 0.0 sec. user=mdettweiler [2013-05-15 02:00:47] 855*2^1245916-1 is not prime. Res64: 24F1E3E6BBAEC26B Time : 0.0 sec. user=mdettweiler [2013-05-15 02:16:06] 869*2^1245916-1 is not prime. Res64: 368FCF37D93FBA4F Time : 0.0 sec. user=mdettweiler [2013-05-15 02:19:35] 993*2^1245916-1 is not prime. Res64: 6A049C125E3B773C Time : 0.0 sec. user=mdettweiler [2013-05-15 02:19:35] 715*2^1245917-1 is not prime. Res64: 2A0A655670B2F687 Time : 0.0 sec. user=vaughan [2013-05-15 02:27:51] 857*2^1245916-1 is not prime. Res64: DB50A609969AE6E6 Time : 0.0 sec. user=mdettweiler [2013-05-15 02:37:25] 727*2^1245917-1 is not prime. Res64: 38225B0F5D8F981C Time : 0.0 sec. user=mdettweiler [2013-05-15 02:37:26] 801*2^1245917-1 is not prime. Res64: 6585905B7AE61EE6 Time : 0.0 sec. user=mdettweiler [2013-05-15 02:52:09] 923*2^1245916-1 is not prime. Res64: 57CECC7EF85BFA84 Time : 0.0 sec. user=mdettweiler [2013-05-15 02:56:21] 871*2^1245917-1 is not prime. Res64: E09A134AD2047564 Time : 0.0 sec. user=mdettweiler [2013-05-15 02:56:21] 657*2^1245918-1 is not prime. Res64: 5BB1C32DEE28BEE2 Time : 0.0 sec. user=vaughan [2013-05-15 03:05:50] 859*2^1245917-1 is not prime. Res64: 6A490BEB01763FFA Time : 0.0 sec. user=mdettweiler [2013-05-15 03:14:10] 663*2^1245918-1 is not prime. Res64: E3B093863F2876AA Time : 0.0 sec. user=mdettweiler [2013-05-15 03:14:11] 665*2^1245918-1 is not prime. Res64: A1F4121F267F8C3D Time : 0.0 sec. user=mdettweiler [2013-05-15 03:31:49] 713*2^1245918-1 is not prime. Res64: F7AB00B3E8F9FBB4 Time : 0.0 sec. user=mdettweiler [2013-05-15 03:32:07] 737*2^1245918-1 is not prime. Res64: 4A28851F509FCEBC Time : 0.0 sec. user=mdettweiler [2013-05-15 03:33:55] 777*2^1245918-1 is not prime. Res64: 75FDAE2C95A5E9E4 Time : 0.0 sec. user=mdettweiler [2013-05-15 03:33:56] 891*2^1245918-1 is not prime. Res64: 77CA430ACBEA1D7E Time : 0.0 sec. user=vaughan [2013-05-15 03:44:19] 683*2^1245918-1 is not prime. Res64: 2105E7707E509E7E Time : 0.0 sec. user=mdettweiler [2013-05-15 03:51:59] 945*2^1245918-1 is not prime. Res64: 09955B62507A7CF0 Time : 0.0 sec. user=mdettweiler [2013-05-15 03:51:59] 977*2^1245918-1 is not prime. Res64: E48FC8183C045DF4 Time : 0.0 sec. user=mdettweiler [2013-05-15 04:11:17] 993*2^1245918-1 is not prime. Res64: 615A7B5BF3414C45 Time : 0.0 sec. user=mdettweiler [2013-05-15 04:11:18] 1001*2^1245918-1 is not prime. Res64: 83D0E244A49A2CE4 Time : 0.0 sec. user=mdettweiler [2013-05-15 04:27:04] 625*2^1245919-1 is not prime. Res64: 1B70DB277F4E901C Time : 0.0 sec. user=mdettweiler [2013-05-15 04:28:56] 681*2^1245919-1 is not prime. Res64: 14F5758536E1F28F Time : 0.0 sec. user=mdettweiler [2013-05-15 04:28:56] 729*2^1245919-1 is not prime. Res64: 57AC0C030500AA85 Time : 0.0 sec. user=mdettweiler [2013-05-15 04:53:35] 679*2^1245919-1 is not prime. Res64: 66077EAF988E5CA1 Time : 0.0 sec. user=vaughan [2013-05-15 04:59:21] 771*2^1245919-1 is not prime. Res64: 2ACD930E6EE1AFCD Time : 0.0 sec. user=mdettweiler [2013-05-15 05:15:23] 885*2^1245919-1 is not prime. Res64: 3A5220192604A73C Time : 0.0 sec. user=mdettweiler [2013-05-15 05:15:23] 969*2^1245919-1 is not prime. Res64: 9C9235FBE34624EE Time : 0.0 sec. user=mdettweiler [2013-05-15 05:33:01] 635*2^1245920-1 is not prime. Res64: 51799D1F38F9BD14 Time : 0.0 sec. user=mdettweiler [2013-05-15 05:33:01] 755*2^1245920-1 is not prime. Res64: 12EAD52D5E22BBAF Time : 0.0 sec. user=mdettweiler [2013-05-15 05:39:36] 879*2^1245920-1 is not prime. Res64: ABF0101EE873810D Time : 0.0 sec. user=mdettweiler [2013-05-15 05:39:36] 963*2^1245920-1 is not prime. Res64: A0FE618BB5AF9669 Time : 0.0 sec. user=vaughan [2013-05-15 05:42:30] 999*2^1245919-1 is not prime. Res64: C7FCAFCE2043C2E8 Time : 0.0 sec. user=mdettweiler [2013-05-15 05:50:48] 789*2^1245920-1 is not prime. Res64: 64E2C187EC13E7DB Time : 0.0 sec. user=mdettweiler [2013-05-15 05:57:21] 709*2^1245921-1 is not prime. Res64: 8706986144A6B361 Time : 0.0 sec. user=mdettweiler [2013-05-15 05:57:21] 835*2^1245921-1 is not prime. Res64: 869189C5510DB044 Time : 0.0 sec. user=mdettweiler [2013-05-15 06:15:13] 955*2^1245921-1 is not prime. Res64: FC2C3B1D7F0EDC51 Time : 0.0 sec. user=vaughan [2013-05-15 06:25:38] 907*2^1245921-1 is not prime. Res64: 415020AE37798CB0 Time : 0.0 sec. user=mdettweiler [2013-05-15 06:26:41] 669*2^1245921-1 is not prime. Res64: 71D53AE67B45E45B Time : 0.0 sec. user=mdettweiler [2013-05-15 06:53:08] 969*2^1245921-1 is not prime. Res64: AB5E72E06456B67C Time : 0.0 sec. user=mdettweiler [2013-05-15 07:10:46] 621*2^1245922-1 is not prime. Res64: 710E28761EDA9A42 Time : 0.0 sec. user=mdettweiler [2013-05-15 07:10:48] 885*2^1245922-1 is not prime. Res64: 585D63FC5C771A37 Time : 0.0 sec. user=mdettweiler [2013-05-15 07:24:01] 983*2^1245922-1 is not prime. Res64: 2016C6198F14F796 Time : 0.0 sec. user=mdettweiler [2013-05-15 07:24:01] 621*2^1245923-1 is not prime. Res64: 8AE0FF0868EC20E5 Time : 0.0 sec. user=mdettweiler [2013-05-15 07:28:33] 673*2^1245923-1 is not prime. Res64: E8C17CACCCC9818D Time : 0.0 sec. user=mdettweiler [2013-05-15 07:28:33] 741*2^1245923-1 is not prime. Res64: CD05D3423A82A232 Time : 0.0 sec. user=mdettweiler [2013-05-15 07:41:48] 759*2^1245923-1 is not prime. Res64: 80AD0B78A1EBB504 Time : 0.0 sec. user=vaughan [2013-05-15 07:45:40] 945*2^1245922-1 is not prime. Res64: 705D54A572B4152E Time : 0.0 sec. user=mdettweiler [2013-05-15 07:46:21] 963*2^1245923-1 is not prime. Res64: 8A1BC9BB090F9D4F Time : 0.0 sec. user=mdettweiler [2013-05-15 08:02:08] 939*2^1245923-1 is not prime. Res64: 0E5DEA5056354687 Time : 0.0 sec. user=mdettweiler [2013-05-15 08:16:38] 605*2^1245924-1 is not prime. Res64: 6D0D0D7C2905F848 Time : 0.0 sec. user=mdettweiler [2013-05-15 08:20:12] 705*2^1245924-1 is not prime. Res64: 4FAB15ECF8B94EEB Time : 0.0 sec. user=mdettweiler [2013-05-15 08:20:12] 903*2^1245924-1 is not prime. Res64: 0325AC6DAA175DB7 Time : 0.0 sec. user=vaughan [2013-05-15 08:24:10] 693*2^1245924-1 is not prime. Res64: 4849D3687C33CE08 Time : 0.0 sec. user=mdettweiler [2013-05-15 08:38:08] 965*2^1245924-1 is not prime. Res64: 0DE87E868FA96319 Time : 0.0 sec. user=mdettweiler [2013-05-15 08:38:08] 975*2^1245924-1 is not prime. Res64: 061490D9434FD1B2 Time : 0.0 sec. user=mdettweiler [2013-05-15 08:56:00] 721*2^1245925-1 is not prime. Res64: 9EBCF13554F258B3 Time : 0.0 sec. user=mdettweiler [2013-05-15 08:57:49] 799*2^1245925-1 is not prime. Res64: BEFDDFEB87C5E48A Time : 0.0 sec. user=mdettweiler [2013-05-15 09:22:04] 729*2^1245925-1 is not prime. Res64: A3909EA86BCD5102 Time : 0.0 sec. user=mdettweiler [2013-05-15 09:25:01] 801*2^1245925-1 is not prime. Res64: 5410462D95E75D14 Time : 0.0 sec. user=vaughan [2013-05-15 09:39:32] 831*2^1245925-1 is not prime. Res64: ED2E41EE3B3E7F4A Time : 0.0 sec. user=mdettweiler [2013-05-15 09:40:14] 871*2^1245925-1 is not prime. Res64: 1F70D3108D7F6A37 Time : 0.0 sec. user=mdettweiler [2013-05-15 09:42:54] 919*2^1245925-1 is not prime. Res64: B0A06DFE6D26CDE9 Time : 0.0 sec. user=mdettweiler [2013-05-15 10:18:13] 885*2^1245925-1 is not prime. Res64: 1E22EF14394FD4ED Time : 0.0 sec. user=mdettweiler [2013-05-15 10:21:48] 615*2^1245926-1 is not prime. Res64: 270326E5DA85AE75 Time : 0.0 sec. user=mdettweiler [2013-05-15 10:35:51] 761*2^1245926-1 is not prime. Res64: 42EF86F0E9836181 Time : 0.0 sec. user=mdettweiler [2013-05-15 10:35:52] 827*2^1245926-1 is not prime. Res64: 3D92C0A872EC4602 Time : 0.0 sec. user=mdettweiler [2013-05-15 10:39:42] 831*2^1245926-1 is not prime. Res64: 9EE84FC2CA9D037C Time : 0.0 sec. user=mdettweiler [2013-05-15 10:53:59] 795*2^1245927-1 is not prime. Res64: 9E14F4C2DFE1313E Time : 0.0 sec. user=vaughan [2013-05-15 10:54:41] 671*2^1245926-1 is not prime. Res64: E8DC12AD7B842970 Time : 0.0 sec. user=mdettweiler [2013-05-15 11:06:08] 751*2^1245927-1 is not prime. Res64: D075212444D9BD61 Time : 0.0 sec. user=mdettweiler [2013-05-15 11:17:59] 871*2^1245927-1 is not prime. Res64: C81C33DDAFE93AC2 Time : 0.0 sec. user=vaughan [2013-05-15 11:32:59] 895*2^1245927-1 is not prime. Res64: C1E6A4B87122081E Time : 0.0 sec. user=mdettweiler [2013-05-15 11:36:14] 961*2^1245927-1 is not prime. Res64: C28A937BA0E1E532 Time : 0.0 sec. user=mdettweiler [2013-05-15 11:36:14] 645*2^1245928-1 is not prime. Res64: 38219335F60F92A8 Time : 0.0 sec. user=mdettweiler [2013-05-15 11:54:17] 825*2^1245928-1 is not prime. Res64: 498C29EF9BDF9BED Time : 0.0 sec. user=mdettweiler [2013-05-15 11:54:17] 833*2^1245928-1 is not prime. Res64: 9E8F3C0340C36C75 Time : 0.0 sec. user=mdettweiler [2013-05-15 11:58:49] 759*2^1245929-1 is not prime. Res64: 1751903C4E38650B Time : 0.0 sec. user=vaughan [2013-05-15 12:11:32] 813*2^1245928-1 is not prime. Res64: 0A00A550DE563E33 Time : 0.0 sec. user=mdettweiler [2013-05-15 12:12:16] 865*2^1245929-1 is not prime. Res64: 539BB65765E4BBB5 Time : 0.0 sec. user=mdettweiler [2013-05-15 12:12:17] 945*2^1245929-1 is not prime. Res64: A8B3B31B9890C5EF Time : 0.0 sec. user=mdettweiler [2013-05-15 12:19:40] 847*2^1245929-1 is not prime. Res64: AD53495793E22CE2 Time : 0.0 sec. user=mdettweiler [2013-05-15 12:30:40] 627*2^1245930-1 is not prime. Res64: AE5CA4A62948D586 Time : 0.0 sec. user=mdettweiler [2013-05-15 12:52:45] 723*2^1245930-1 is not prime. Res64: 9301314BFDAEB969 Time : 0.0 sec. user=mdettweiler [2013-05-15 12:56:23] 783*2^1245930-1 is not prime. Res64: 47C24C270AB0C214 Time : 0.0 sec. user=vaughan [2013-05-15 13:26:45] 651*2^1245931-1 is not prime. Res64: 729B3868D770BCA4 Time : 0.0 sec. user=mdettweiler [2013-05-15 13:35:54] 791*2^1245930-1 is not prime. Res64: CC065C5C26F30993 Time : 0.0 sec. user=mdettweiler [2013-05-15 13:50:37] 723*2^1245931-1 is not prime. Res64: A85F691DD032BFF2 Time : 0.0 sec. user=mdettweiler [2013-05-15 14:23:49] 901*2^1245931-1 is not prime. Res64: FF55DF4667921DD8 Time : 0.0 sec. user=mdettweiler [2013-05-15 14:23:50] 909*2^1245931-1 is not prime. Res64: D9F281BC62857319 Time : 0.0 sec. user=mdettweiler [2013-05-15 14:29:51] 735*2^1245931-1 is not prime. Res64: C0A96D88F7F29A89 Time : 0.0 sec. user=vaughan [2013-05-15 14:42:21] 751*2^1245931-1 is not prime. Res64: D70F0FD04F30C62C Time : 0.0 sec. user=mdettweiler [2013-05-15 14:42:21] 835*2^1245931-1 is not prime. Res64: 90808485460E51D5 Time : 0.0 sec. user=mdettweiler [2013-05-15 15:04:28] 871*2^1245931-1 is not prime. Res64: 7B41DEE3F2623EEF Time : 0.0 sec. user=mdettweiler [2013-05-15 15:21:22] 675*2^1245932-1 is not prime. Res64: 162996FB987BCEEC Time : 0.0 sec. user=mdettweiler [2013-05-15 15:21:22] 677*2^1245932-1 is not prime. Res64: E75CBE2DE0D0FB66 Time : 0.0 sec. user=mdettweiler [2013-05-15 15:22:31] 687*2^1245932-1 is not prime. Res64: 8DF398454D05BC87 Time : 0.0 sec. user=mdettweiler [2013-05-15 15:39:41] 827*2^1245932-1 is not prime. Res64: B176E11676E8A3DB Time : 0.0 sec. user=mdettweiler [2013-05-15 15:39:41] 885*2^1245932-1 is not prime. Res64: 0A01C8855670A835 Time : 0.0 sec. user=vaughan [2013-05-15 15:57:52] 767*2^1245932-1 is not prime. Res64: 926A890574D58A3B Time : 0.0 sec. user=mdettweiler [2013-05-15 15:58:09] 899*2^1245932-1 is not prime. Res64: 26F6DA6E745F20AF Time : 0.0 sec. user=mdettweiler [2013-05-15 16:00:18] 753*2^1245932-1 is not prime. Res64: 818568E49B197A0C Time : 0.0 sec. user=mdettweiler [2013-05-15 16:18:31] 885*2^1245933-1 is not prime. Res64: 36456337EC504D7A Time : 0.0 sec. user=mdettweiler [2013-05-15 16:18:32] 915*2^1245933-1 is not prime. Res64: AD8C0BE0F96972A3 Time : 0.0 sec. user=mdettweiler [2013-05-15 16:29:02] 669*2^1245933-1 is not prime. Res64: 3B4628399FF6D59F Time : 0.0 sec. user=vaughan [2013-05-15 16:36:05] 849*2^1245933-1 is not prime. Res64: BB9A1201656CE184 Time : 0.0 sec. user=mdettweiler [2013-05-15 16:36:39] 919*2^1245933-1 is not prime. Res64: E78F6FB669BFFF13 Time : 0.0 sec. user=mdettweiler [2013-05-15 16:36:39] 955*2^1245933-1 is not prime. Res64: 5363D02EF44E93E9 Time : 0.0 sec. user=mdettweiler [2013-05-15 16:47:42] 999*2^1245933-1 is not prime. Res64: 65F8DE8ED028114C Time : 0.0 sec. user=mdettweiler [2013-05-15 16:47:42] 737*2^1245934-1 is not prime. Res64: 0B1A0E6EE2F89E01 Time : 0.0 sec. user=mdettweiler [2013-05-15 16:54:28] 857*2^1245934-1 is not prime. Res64: 09E4F7ABB5B8F0EA Time : 0.0 sec. user=mdettweiler [2013-05-15 16:54:29] 947*2^1245934-1 is not prime. Res64: 36FB1DCDE382AB01 Time : 0.0 sec. user=mdettweiler [2013-05-15 17:06:29] 1001*2^1245934-1 is not prime. Res64: DEDADACFC8395F44 Time : 0.0 sec. user=mdettweiler [2013-05-15 17:12:27] 685*2^1245935-1 is not prime. Res64: D733B53A91226494 Time : 0.0 sec. user=vaughan [2013-05-15 17:14:25] 755*2^1245934-1 is not prime. Res64: DEEAE6AEB58614FA Time : 0.0 sec. user=mdettweiler [2013-05-15 17:34:05] 669*2^1245935-1 is not prime. Res64: 5A5CF9614FF4DC12 Time : 0.0 sec. user=mdettweiler [2013-05-15 17:37:14] 759*2^1245935-1 is not prime. Res64: 46F44923B046A500 Time : 0.0 sec. user=mdettweiler [2013-05-15 17:52:17] 841*2^1245935-1 is not prime. Res64: 7085C4B06C6540E1 Time : 0.0 sec. user=mdettweiler [2013-05-15 17:52:17] 895*2^1245935-1 is not prime. Res64: 9151EBAA01310540 Time : 0.0 sec. user=mdettweiler [2013-05-15 17:55:22] 909*2^1245935-1 is not prime. Res64: 2EC6896E1B88984B Time : 0.0 sec. user=mdettweiler [2013-05-15 17:55:22] 921*2^1245935-1 is not prime. Res64: BAAE8AB36105D240 Time : 0.0 sec. user=mdettweiler [2013-05-15 18:12:05] 981*2^1245935-1 is not prime. Res64: 9CF3994D1362F1BF Time : 0.0 sec. user=mdettweiler [2013-05-15 18:13:30] 657*2^1245936-1 is not prime. Res64: 6C85538C63B4492A Time : 0.0 sec. user=mdettweiler [2013-05-15 18:13:31] 909*2^1245936-1 is not prime. Res64: 6FA0EB919CA305A2 Time : 0.0 sec. user=mdettweiler [2013-05-15 18:31:58] 975*2^1245936-1 is not prime. Res64: 039D76B3BF9396A7 Time : 0.0 sec. user=mdettweiler [2013-05-15 18:31:58] 615*2^1245937-1 is not prime. Res64: F705486B73CFD866 Time : 0.0 sec. user=vaughan [2013-05-15 18:34:28] 939*2^1245935-1 is not prime. Res64: 8A20E41C0BD6E8A9 Time : 0.0 sec. user=mdettweiler [2013-05-15 18:36:14] 609*2^1245936-1 is not prime. Res64: C311E28A1A671554 Time : 0.0 sec. user=mdettweiler [2013-05-15 18:50:29] 741*2^1245937-1 is not prime. Res64: E91F4752FA7A20CB Time : 0.0 sec. user=mdettweiler [2013-05-15 18:50:30] 771*2^1245937-1 is not prime. Res64: F376DDBB60121D15 Time : 0.0 sec. user=mdettweiler [2013-05-15 18:54:21] 895*2^1245937-1 is not prime. Res64: C5E44DE0EBB50987 Time : 0.0 sec. user=mdettweiler [2013-05-15 18:54:21] 711*2^1245938-1 is not prime. Res64: 6584E57825926D47 Time : 0.0 sec. user=mdettweiler [2013-05-15 19:08:33] 755*2^1245938-1 is not prime. Res64: 04B3A0240C866E58 Time : 0.0 sec. user=vaughan [2013-05-15 19:12:26] 807*2^1245937-1 is not prime. Res64: 378140F4DFA4295F Time : 0.0 sec. user=mdettweiler [2013-05-15 19:12:26] 639*2^1245939-1 is not prime. Res64: 84378BB9860C1446 Time : 0.0 sec. user=mdettweiler [2013-05-15 19:31:57] 669*2^1245939-1 is not prime. Res64: 5D2CC6E7DEA689A5 Time : 0.0 sec. user=mdettweiler [2013-05-15 19:32:28] 767*2^1245938-1 is not prime. Res64: AB4F18394876F895 Time : 0.0 sec. user=mdettweiler [2013-05-15 19:50:11] 705*2^1245939-1 is not prime. Res64: BC0C2321FB0629BF Time : 0.0 sec. user=mdettweiler [2013-05-15 19:50:11] 745*2^1245939-1 is not prime. Res64: 3D6C645A1E5BF810 Time : 0.0 sec. user=vaughan [2013-05-15 19:50:58] 703*2^1245939-1 is not prime. Res64: C620D0C600C42400 Time : 0.0 sec. user=mdettweiler [2013-05-15 19:50:58] 943*2^1245939-1 is not prime. Res64: CDD16CDEF652F8F5 Time : 0.0 sec. user=mdettweiler [2013-05-15 20:28:35] 975*2^1245939-1 is not prime. Res64: A86829321EC8DEE3 Time : 0.0 sec. user=mdettweiler [2013-05-15 20:32:26] 605*2^1245940-1 is not prime. Res64: 3B33D3094FDE11D0 Time : 0.0 sec. user=mdettweiler [2013-05-15 20:32:26] 665*2^1245940-1 is not prime. Res64: 15333D85CEEA4314 Time : 0.0 sec. user=mdettweiler [2013-05-15 20:46:22] 959*2^1245940-1 is not prime. Res64: 428758858FEFF8E7 Time : 0.0 sec. user=mdettweiler [2013-05-15 20:46:22] 607*2^1245941-1 is not prime. Res64: DF53D884A96AC1A9 Time : 0.0 sec. user=mdettweiler [2013-05-15 20:50:14] 631*2^1245941-1 is not prime. Res64: FCDA61B1BAAB8666 Time : 0.0 sec. user=mdettweiler [2013-05-15 20:50:14] 669*2^1245941-1 is not prime. Res64: 5E1A5A15E5AC0968 Time : 0.0 sec. user=mdettweiler [2013-05-15 21:04:10] 685*2^1245941-1 is not prime. Res64: F8C4992FA9F53C45 Time : 0.0 sec. user=mdettweiler [2013-05-15 21:04:11] 715*2^1245941-1 is not prime. Res64: 25BA9A19050FBFA6 Time : 0.0 sec. user=mdettweiler [2013-05-15 21:08:18] 745*2^1245941-1 is not prime. Res64: CA8B27DE1B76F002 Time : 0.0 sec. user=mdettweiler [2013-05-15 21:08:18] 769*2^1245941-1 is not prime. Res64: 5D24FD2DD1C89383 Time : 0.0 sec. user=vaughan [2013-05-15 21:11:02] 957*2^1245940-1 is not prime. Res64: 02C31E883428CFD1 Time : 0.0 sec. user=mdettweiler [2013-05-15 21:22:04] 829*2^1245941-1 is not prime. Res64: FD61BD7B63A3881C Time : 0.0 sec. user=mdettweiler [2013-05-15 21:22:22] 859*2^1245941-1 is not prime. Res64: 0A2FB22FD3D6C727 Time : 0.0 sec. user=mdettweiler [2013-05-15 21:26:13] 867*2^1245941-1 is not prime. Res64: F423922BA5B40884 Time : 0.0 sec. user=mdettweiler [2013-05-15 21:26:13] 889*2^1245941-1 is not prime. Res64: 01C663ADE0CB3142 Time : 0.0 sec. user=mdettweiler [2013-05-15 21:44:04] 755*2^1245942-1 is not prime. Res64: 15652ED3CFD3D439 Time : 0.0 sec. user=mdettweiler [2013-05-15 21:44:04] 833*2^1245942-1 is not prime. Res64: 67F2FC763E198E6A Time : 0.0 sec. user=vaughan [2013-05-15 21:54:12] 955*2^1245941-1 is not prime. Res64: A3224C8DF3F359DB Time : 0.0 sec. user=mdettweiler [2013-05-15 21:57:00] 917*2^1245942-1 is not prime. Res64: E026083DE5660CF6 Time : 0.0 sec. user=mdettweiler [2013-05-15 21:57:01] 963*2^1245942-1 is not prime. Res64: 89337332DFC8CE1B Time : 0.0 sec. user=mdettweiler [2013-05-15 22:15:26] 693*2^1245943-1 is not prime. Res64: E809AD7113EDDF8C Time : 0.0 sec. user=mdettweiler [2013-05-15 22:27:43] 639*2^1245943-1 is not prime. Res64: FDB639EB14C979E7 Time : 0.0 sec. user=mdettweiler [2013-05-15 22:27:44] 661*2^1245943-1 is not prime. Res64: B8D92F1A3DCCBB8E Time : 0.0 sec. user=mdettweiler [2013-05-15 22:32:45] 705*2^1245943-1 is not prime. Res64: E538775E05AEDC18 Time : 0.0 sec. user=mdettweiler [2013-05-15 22:45:45] 775*2^1245943-1 is not prime. Res64: 0F6CF1226C6C3B98 Time : 0.0 sec. user=mdettweiler [2013-05-15 22:45:45] 871*2^1245943-1 is not prime. Res64: 7ADD8EAF920FD4D4 Time : 0.0 sec. user=mdettweiler [2013-05-15 22:50:57] 795*2^1245944-1 is not prime. Res64: D3EFB6C67117AA18 Time : 0.0 sec. user=mdettweiler [2013-05-15 23:03:54] 679*2^1245945-1 is not prime. Res64: 265E93C1C9B08C06 Time : 0.0 sec. user=mdettweiler [2013-05-15 23:03:54] 741*2^1245945-1 is not prime. Res64: 9F0AC6B4F686EB9D Time : 0.0 sec. user=vaughan [2013-05-15 23:09:14] 719*2^1245944-1 is not prime. Res64: 980CB793EB6F021C Time : 0.0 sec. user=mdettweiler [2013-05-15 23:22:08] 777*2^1245945-1 is not prime. Res64: 7E2CB1940E125E45 Time : 0.0 sec. user=mdettweiler [2013-05-15 23:22:08] 819*2^1245945-1 is not prime. Res64: BD5D820360DBB92F Time : 0.0 sec. user=mdettweiler [2013-05-15 23:23:52] 669*2^1245945-1 is not prime. Res64: 030B75785D403FB2 Time : 0.0 sec. user=mdettweiler [2013-05-15 23:40:10] 975*2^1245945-1 is not prime. Res64: 39C911558326D7A2 Time : 0.0 sec. user=mdettweiler [2013-05-15 23:41:57] 647*2^1245946-1 is not prime. Res64: 0CD5A4F1C3B6FBCD Time : 0.0 sec. user=vaughan [2013-05-15 23:47:33] 849*2^1245945-1 is not prime. Res64: 6CCCCA27432A872F Time : 0.0 sec.