user=mdettweiler [2013-07-21 00:14:25] 897*2^1247896-1 is not prime. Res64: 7879FAADD88725BD Time : 0.0 sec. user=mdettweiler [2013-07-21 00:14:29] 939*2^1247896-1 is not prime. Res64: 4D566B65A57979A2 Time : 0.0 sec. user=mdettweiler [2013-07-21 00:31:47] 759*2^1247897-1 is not prime. Res64: DB14011A876206BF Time : 0.0 sec. user=mdettweiler [2013-07-21 00:31:48] 799*2^1247897-1 is not prime. Res64: EB6E147610CF9629 Time : 0.0 sec. user=mdettweiler [2013-07-21 00:49:39] 819*2^1247897-1 is not prime. Res64: 1A125684CCF15B2D Time : 0.0 sec. user=mdettweiler [2013-07-21 00:49:40] 997*2^1247897-1 is not prime. Res64: 005F0F9DE21662DD Time : 0.0 sec. user=mdettweiler [2013-07-21 01:06:42] 725*2^1247898-1 is not prime. Res64: 2ED73879BABDAE13 Time : 0.0 sec. user=mdettweiler [2013-07-21 01:06:43] 777*2^1247898-1 is not prime. Res64: 5431AF840CE42BD9 Time : 0.0 sec. user=mdettweiler [2013-07-21 01:23:50] 791*2^1247898-1 is not prime. Res64: 7607062B56BC4F82 Time : 0.0 sec. user=mdettweiler [2013-07-21 01:23:51] 801*2^1247898-1 is not prime. Res64: 266AE37B7DF7C670 Time : 0.0 sec. user=mdettweiler [2013-07-21 01:40:53] 803*2^1247898-1 is not prime. Res64: 3CB5241C4CF18170 Time : 0.0 sec. user=mdettweiler [2013-07-21 01:40:54] 887*2^1247898-1 is not prime. Res64: 756DCC23DE4004E6 Time : 0.0 sec. user=mdettweiler [2013-07-21 01:58:43] 945*2^1247898-1 is not prime. Res64: DD37C555BA21CAED Time : 0.0 sec. user=mdettweiler [2013-07-21 01:58:44] 977*2^1247898-1 is not prime. Res64: 22763DF3FFA98B1F Time : 0.0 sec. user=mdettweiler [2013-07-21 02:16:33] 993*2^1247898-1 is not prime. Res64: C97E342601705BF4 Time : 0.0 sec. user=mdettweiler [2013-07-21 02:16:33] 793*2^1247899-1 is not prime. Res64: 3D56539121A10CF5 Time : 0.0 sec. user=mdettweiler [2013-07-21 02:33:35] 801*2^1247899-1 is not prime. Res64: F55105E9CC0ED6F7 Time : 0.0 sec. user=mdettweiler [2013-07-21 02:33:37] 843*2^1247899-1 is not prime. Res64: 415CB9E43028C8C8 Time : 0.0 sec. user=mdettweiler [2013-07-21 02:50:56] 885*2^1247899-1 is not prime. Res64: 1E894B41A00991A1 Time : 0.0 sec. user=mdettweiler [2013-07-21 02:50:57] 895*2^1247899-1 is not prime. Res64: 27D7FDAB879F7643 Time : 0.0 sec. user=mdettweiler [2013-07-21 03:08:51] 939*2^1247899-1 is not prime. Res64: A19F0D993C0980A1 Time : 0.0 sec. user=mdettweiler [2013-07-21 03:08:52] 993*2^1247899-1 is not prime. Res64: 9F68F4E78023CF35 Time : 0.0 sec. user=mdettweiler [2013-07-21 03:25:58] 635*2^1247900-1 is not prime. Res64: 07FD2065AFC140B2 Time : 0.0 sec. user=mdettweiler [2013-07-21 03:25:58] 789*2^1247900-1 is not prime. Res64: C29085CF297047BE Time : 0.0 sec. user=mdettweiler [2013-07-21 03:43:01] 843*2^1247900-1 is not prime. Res64: 7167482404C04257 Time : 0.0 sec. user=mdettweiler [2013-07-21 03:43:02] 875*2^1247900-1 is not prime. Res64: B2E456BCC68C301A Time : 0.0 sec. user=mdettweiler [2013-07-21 04:00:07] 927*2^1247900-1 is not prime. Res64: 0A74BE9A799B2B49 Time : 0.0 sec. user=mdettweiler [2013-07-21 04:00:09] 929*2^1247900-1 is not prime. Res64: 3F1551A384E1C274 Time : 0.0 sec. user=mdettweiler [2013-07-21 04:17:42] 935*2^1247900-1 is not prime. Res64: DC4F3BCEAA59756B Time : 0.0 sec. user=mdettweiler [2013-07-21 04:17:43] 621*2^1247901-1 is not prime. Res64: 318CAD16D5BD058E Time : 0.0 sec. user=mdettweiler [2013-07-21 04:34:54] 679*2^1247901-1 is not prime. Res64: 03623097AF213AAF Time : 0.0 sec. user=mdettweiler [2013-07-21 04:34:55] 727*2^1247901-1 is not prime. Res64: DF9D12976F6A160B Time : 0.0 sec. user=mdettweiler [2013-07-21 04:52:03] 847*2^1247901-1 is not prime. Res64: 240857F00A108EC6 Time : 0.0 sec. user=mdettweiler [2013-07-21 04:52:03] 867*2^1247901-1 is not prime. Res64: 1E111ADE99CBFEEF Time : 0.0 sec. user=mdettweiler [2013-07-21 05:09:05] 941*2^1247814-1 is not prime. Res64: 8F2FBC705975A87C Time : 0.0 sec. user=mdettweiler [2013-07-21 05:09:06] 945*2^1247814-1 is not prime. Res64: 125E1FF9C92AE540 Time : 0.0 sec. user=mdettweiler [2013-07-21 05:27:04] 947*2^1247814-1 is not prime. Res64: 556FF534FB9F56F0 Time : 0.0 sec. user=mdettweiler [2013-07-21 05:27:04] 993*2^1247814-1 is not prime. Res64: AE0122C7E302DC35 Time : 0.0 sec. user=mdettweiler [2013-07-21 05:44:07] 601*2^1247815-1 is not prime. Res64: 31EBF0E8C5C33F88 Time : 0.0 sec. user=mdettweiler [2013-07-21 05:44:07] 603*2^1247815-1 is not prime. Res64: BEDEA45DDFEF697B Time : 0.0 sec. user=mdettweiler [2013-07-21 06:01:10] 709*2^1247815-1 is not prime. Res64: 7C4E23164FA2803F Time : 0.0 sec. user=mdettweiler [2013-07-21 06:01:11] 715*2^1247815-1 is not prime. Res64: 3F43E6EB2EB8D7E3 Time : 0.0 sec. user=mdettweiler [2013-07-21 06:18:27] 885*2^1247901-1 is not prime. Res64: 0A1D70614DEC840F Time : 0.0 sec. user=mdettweiler [2013-07-21 06:18:28] 921*2^1247901-1 is not prime. Res64: 12CD8481C68E9FA2 Time : 0.0 sec. user=mdettweiler [2013-07-21 06:37:05] 961*2^1247901-1 is not prime. Res64: FA37159DEF9B1674 Time : 0.0 sec. user=mdettweiler [2013-07-21 06:37:06] 991*2^1247901-1 is not prime. Res64: 19C22BBE4F9EA508 Time : 0.0 sec. user=mdettweiler [2013-07-21 06:54:08] 675*2^1247902-1 is not prime. Res64: AD2983DF4B4CBC67 Time : 0.0 sec. user=mdettweiler [2013-07-21 06:54:08] 695*2^1247902-1 is not prime. Res64: 523B6C39C2AF60A7 Time : 0.0 sec. user=mdettweiler [2013-07-21 07:11:12] 833*2^1247902-1 is not prime. Res64: C40E742E6C138C8E Time : 0.0 sec. user=mdettweiler [2013-07-21 07:11:13] 863*2^1247902-1 is not prime. Res64: 656EFEC4A88390CF Time : 0.0 sec. user=mdettweiler [2013-07-21 07:28:20] 603*2^1247903-1 is not prime. Res64: BD687380FCEAD5E3 Time : 0.0 sec. user=mdettweiler [2013-07-21 07:28:20] 615*2^1247903-1 is not prime. Res64: 3E6DAEA6B6C363D9 Time : 0.0 sec. user=mdettweiler [2013-07-21 07:45:22] 621*2^1247903-1 is not prime. Res64: 151E884F0E3C87DB Time : 0.0 sec. user=mdettweiler [2013-07-21 07:45:23] 633*2^1247903-1 is not prime. Res64: 193B8C69F5B61282 Time : 0.0 sec. user=mdettweiler [2013-07-21 08:02:27] 673*2^1247903-1 is not prime. Res64: DF04BF3C7FD5FDBC Time : 0.0 sec. user=mdettweiler [2013-07-21 08:02:28] 703*2^1247903-1 is not prime. Res64: BD1402AFD1214A34 Time : 0.0 sec. user=mdettweiler [2013-07-21 08:19:47] 759*2^1247903-1 is not prime. Res64: D65472E0F5DA147B Time : 0.0 sec. user=mdettweiler [2013-07-21 08:19:47] 823*2^1247903-1 is not prime. Res64: 23CD3F861AD4F73E Time : 0.0 sec. user=mdettweiler [2013-07-21 08:36:50] 829*2^1247903-1 is not prime. Res64: B031D85DD37685D7 Time : 0.0 sec. user=mdettweiler [2013-07-21 08:36:50] 915*2^1247903-1 is not prime. Res64: FB0C9218DBB7C3DF Time : 0.0 sec. user=mdettweiler [2013-07-21 08:53:52] 943*2^1247903-1 is not prime. Res64: AA4E532241B7464D Time : 0.0 sec. user=mdettweiler [2013-07-21 08:53:53] 945*2^1247903-1 is not prime. Res64: 32A061FE37D94590 Time : 0.0 sec. user=mdettweiler [2013-07-21 09:10:56] 605*2^1247904-1 is not prime. Res64: B4EE2E43BAFD6596 Time : 0.0 sec. user=mdettweiler [2013-07-21 09:10:57] 665*2^1247904-1 is not prime. Res64: 03B58342F2097EF1 Time : 0.0 sec. user=mdettweiler [2013-07-21 09:28:03] 795*2^1247904-1 is not prime. Res64: 5211359DA60BE2D0 Time : 0.0 sec. user=mdettweiler [2013-07-21 09:28:04] 849*2^1247904-1 is not prime. Res64: D1848DA2AED75BE8 Time : 0.0 sec. user=mdettweiler [2013-07-21 09:45:06] 887*2^1247904-1 is not prime. Res64: 3477BF716CB9933B Time : 0.0 sec. user=mdettweiler [2013-07-21 09:45:06] 619*2^1247905-1 is not prime. Res64: F53BBDFE9F2869EB Time : 0.0 sec. user=mdettweiler [2013-07-21 10:02:09] 645*2^1247905-1 is not prime. Res64: 5369BC3053FFC28C Time : 0.0 sec. user=mdettweiler [2013-07-21 10:02:11] 661*2^1247905-1 is not prime. Res64: 5BAA2D38BA8A1DCC Time : 0.0 sec. user=mdettweiler [2013-07-21 10:19:28] 691*2^1247905-1 is not prime. Res64: CA7C8275C5BED6BA Time : 0.0 sec. user=mdettweiler [2013-07-21 10:19:30] 765*2^1247905-1 is not prime. Res64: C38C777FC4A7901A Time : 0.0 sec. user=mdettweiler [2013-07-21 10:36:38] 771*2^1247905-1 is not prime. Res64: FDA0AA25914B08AB Time : 0.0 sec. user=mdettweiler [2013-07-21 10:36:39] 775*2^1247905-1 is not prime. Res64: B474B0D8C291190B Time : 0.0 sec. user=mdettweiler [2013-07-21 10:53:44] 805*2^1247905-1 is not prime. Res64: 3547C5BA17014644 Time : 0.0 sec. user=mdettweiler [2013-07-21 10:53:45] 633*2^1247906-1 is not prime. Res64: 9B7626399B7A8131 Time : 0.0 sec. user=mdettweiler [2013-07-21 11:10:52] 705*2^1247906-1 is not prime. Res64: 6905EC055D325CBF Time : 0.0 sec. user=mdettweiler [2013-07-21 11:10:54] 717*2^1247906-1 is not prime. Res64: F64E1A8B243F5170 Time : 0.0 sec. user=mdettweiler [2013-07-21 11:28:54] 815*2^1247906-1 is not prime. Res64: 07EC5E33D45C673D Time : 0.0 sec. user=mdettweiler [2013-07-21 11:28:55] 983*2^1247906-1 is not prime. Res64: F7C7A612A3F08775 Time : 0.0 sec. user=mdettweiler [2013-07-21 11:46:00] 619*2^1247907-1 is not prime. Res64: FF3DD9CE9FE41BD2 Time : 0.0 sec. user=mdettweiler [2013-07-21 11:46:01] 625*2^1247907-1 is not prime. Res64: C3FF2AB31A09B3DB Time : 0.0 sec. user=mdettweiler [2013-07-21 12:04:06] 775*2^1247907-1 is not prime. Res64: F593BCE0C09BDAC3 Time : 0.0 sec. user=mdettweiler [2013-07-21 12:04:08] 949*2^1247907-1 is not prime. Res64: 323FBAA9DA92641E Time : 0.0 sec. user=mdettweiler [2013-07-21 12:23:31] 963*2^1247907-1 is not prime. Res64: DE845AAD7F3097E4 Time : 0.0 sec. user=mdettweiler [2013-07-21 12:23:32] 985*2^1247907-1 is not prime. Res64: C78BCADAB9872948 Time : 0.0 sec. user=mdettweiler [2013-07-21 12:41:05] 615*2^1247908-1 is not prime. Res64: 841D2511D99783B4 Time : 0.0 sec. user=mdettweiler [2013-07-21 12:41:06] 639*2^1247908-1 is not prime. Res64: D52C3D3D9FF56CD8 Time : 0.0 sec. user=mdettweiler [2013-07-21 12:58:40] 813*2^1247908-1 is not prime. Res64: 12221711F0DBE0EC Time : 0.0 sec. user=mdettweiler [2013-07-21 12:58:41] 621*2^1247909-1 is not prime. Res64: 71D6A06421645D26 Time : 0.0 sec. user=mdettweiler [2013-07-21 13:15:57] 697*2^1247909-1 is not prime. Res64: 273654F84B9846BC Time : 0.0 sec. user=mdettweiler [2013-07-21 13:15:59] 771*2^1247909-1 is not prime. Res64: 00EACF1C99C449AE Time : 0.0 sec. user=mdettweiler [2013-07-21 13:33:15] 795*2^1247909-1 is not prime. Res64: 9433264D7EC479C5 Time : 0.0 sec. user=mdettweiler [2013-07-21 13:33:16] 825*2^1247909-1 is not prime. Res64: BD1A2EB7700BB185 Time : 0.0 sec. user=mdettweiler [2013-07-21 13:51:17] 927*2^1247909-1 is not prime. Res64: 9F475D70796F502C Time : 0.0 sec. user=mdettweiler [2013-07-21 13:51:18] 955*2^1247909-1 is not prime. Res64: 9D4C5AF564D14CF9 Time : 0.0 sec. user=mdettweiler [2013-07-21 14:08:34] 693*2^1247910-1 is not prime. Res64: 8A07F5398454D9F5 Time : 0.0 sec. user=mdettweiler [2013-07-21 14:08:35] 783*2^1247910-1 is not prime. Res64: 6A3A38DD4B9407BF Time : 0.0 sec. user=mdettweiler [2013-07-21 14:26:42] 867*2^1247910-1 is not prime. Res64: F53EC1B3CE305960 Time : 0.0 sec. user=mdettweiler [2013-07-21 14:26:43] 963*2^1247910-1 is not prime. Res64: 03BE992464370E98 Time : 0.0 sec. user=mdettweiler [2013-07-21 14:43:58] 645*2^1247911-1 is not prime. Res64: BCF415A64834B109 Time : 0.0 sec. user=mdettweiler [2013-07-21 14:43:59] 793*2^1247911-1 is not prime. Res64: 7298A67EAC3CEA37 Time : 0.0 sec. user=mdettweiler [2013-07-21 15:01:14] 841*2^1247911-1 is not prime. Res64: 44E6631240004C8A Time : 0.0 sec. user=mdettweiler [2013-07-21 15:01:15] 843*2^1247911-1 is not prime. Res64: EE4679ACC6C64C6D Time : 0.0 sec. user=mdettweiler [2013-07-21 15:18:42] 925*2^1247911-1 is not prime. Res64: 93FB215FB81760CA Time : 0.0 sec. user=mdettweiler [2013-07-21 15:18:43] 939*2^1247911-1 is not prime. Res64: 5719F6CEC029D922 Time : 0.0 sec. user=mdettweiler [2013-07-21 15:37:25] 993*2^1247911-1 is not prime. Res64: C6B9CA28AF539CC9 Time : 0.0 sec. user=mdettweiler [2013-07-21 15:37:26] 657*2^1247912-1 is not prime. Res64: 3032979B8830C0A0 Time : 0.0 sec. user=mdettweiler [2013-07-21 15:55:17] 669*2^1247912-1 is not prime. Res64: CC19217327289742 Time : 0.0 sec. user=mdettweiler [2013-07-21 15:55:18] 689*2^1247912-1 is not prime. Res64: 566A572A3614161F Time : 0.0 sec. user=mdettweiler [2013-07-21 16:13:00] 735*2^1247912-1 is not prime. Res64: 7D3172F88EDEB3B8 Time : 0.0 sec. user=mdettweiler [2013-07-21 16:13:01] 785*2^1247912-1 is not prime. Res64: 7F7EE67D41FBE2BE Time : 0.0 sec. user=mdettweiler [2013-07-21 16:31:01] 819*2^1247912-1 is not prime. Res64: FBB49584B140292B Time : 0.0 sec. user=mdettweiler [2013-07-21 16:31:02] 855*2^1247912-1 is not prime. Res64: 8228B37C18747D84 Time : 0.0 sec. user=mdettweiler [2013-07-21 16:49:32] 923*2^1247912-1 is not prime. Res64: 902E44E3BB96D079 Time : 0.0 sec. user=mdettweiler [2013-07-21 16:49:32] 963*2^1247912-1 is not prime. Res64: E373EB889DCFD60F Time : 0.0 sec. user=mdettweiler [2013-07-21 17:07:10] 735*2^1247913-1 is not prime. Res64: C959F94D78DF9C21 Time : 0.0 sec. user=mdettweiler [2013-07-21 17:07:11] 747*2^1247913-1 is not prime. Res64: E6F484EF2E1508DF Time : 0.0 sec. user=mdettweiler [2013-07-21 17:24:51] 657*2^1247914-1 is not prime. Res64: 504FF6A05DC9CAEF Time : 0.0 sec. user=mdettweiler [2013-07-21 17:24:52] 681*2^1247914-1 is not prime. Res64: 92C6469A5B1ED590 Time : 0.0 sec. user=mdettweiler [2013-07-21 17:43:00] 687*2^1247914-1 is not prime. Res64: EFE1B853E726EA49 Time : 0.0 sec. user=mdettweiler [2013-07-21 17:43:00] 791*2^1247914-1 is not prime. Res64: 1D46D14C0823F62B Time : 0.0 sec. user=mdettweiler [2013-07-21 18:01:09] 855*2^1247914-1 is not prime. Res64: E6863D5AB6C4E127 Time : 0.0 sec. user=mdettweiler [2013-07-21 18:01:10] 887*2^1247914-1 is not prime. Res64: 311BDE71DDAAB79C Time : 0.0 sec. user=mdettweiler [2013-07-21 18:20:14] 947*2^1247914-1 is not prime. Res64: 0CDCC938AD219EE2 Time : 0.0 sec. user=mdettweiler [2013-07-21 18:20:15] 975*2^1247914-1 is not prime. Res64: 7F98284F940E39CF Time : 0.0 sec. user=mdettweiler [2013-07-21 18:37:18] 609*2^1247915-1 is not prime. Res64: 75D4F25086BF72D9 Time : 0.0 sec. user=mdettweiler [2013-07-21 18:37:18] 861*2^1247915-1 is not prime. Res64: 43713D2BB09F5404 Time : 0.0 sec. user=mdettweiler [2013-07-21 18:54:21] 873*2^1247916-1 is not prime. Res64: C7E7F01E8D693049 Time : 0.0 sec. user=mdettweiler [2013-07-21 18:54:22] 887*2^1247916-1 is not prime. Res64: 3E37555EAA06F58E Time : 0.0 sec. user=mdettweiler [2013-07-21 19:11:25] 675*2^1247917-1 is not prime. Res64: 3DF6CDDC4D29BD28 Time : 0.0 sec. user=mdettweiler [2013-07-21 19:11:26] 699*2^1247917-1 is not prime. Res64: EFF1DCB3529339E7 Time : 0.0 sec. user=mdettweiler [2013-07-21 19:28:33] 747*2^1247917-1 is not prime. Res64: 9C38B0743FCD55A0 Time : 0.0 sec. user=mdettweiler [2013-07-21 19:28:34] 751*2^1247917-1 is not prime. Res64: A4AA0619FDE548FD Time : 0.0 sec. user=mdettweiler [2013-07-21 19:45:38] 757*2^1247917-1 is not prime. Res64: C0C6F310FD58C90D Time : 0.0 sec. user=mdettweiler [2013-07-21 19:45:38] 867*2^1247917-1 is not prime. Res64: 88D8FCB1B9E6C926 Time : 0.0 sec. user=mdettweiler [2013-07-21 20:02:41] 871*2^1247917-1 is not prime. Res64: 4EFA35382AB96CCB Time : 0.0 sec. user=mdettweiler [2013-07-21 20:02:43] 937*2^1247917-1 is not prime. Res64: E28FFBA977142E05 Time : 0.0 sec. user=mdettweiler [2013-07-21 20:21:41] 957*2^1247917-1 is not prime. Res64: 318E148BC8CFB85E Time : 0.0 sec. user=mdettweiler [2013-07-21 20:21:41] 985*2^1247917-1 is not prime. Res64: F823989CCF54C3FB Time : 0.0 sec. user=mdettweiler [2013-07-21 20:38:44] 663*2^1247918-1 is not prime. Res64: 366617E2C8D99546 Time : 0.0 sec. user=mdettweiler [2013-07-21 20:38:45] 713*2^1247918-1 is not prime. Res64: 9F679997CA11EA22 Time : 0.0 sec. user=mdettweiler [2013-07-21 20:56:35] 867*2^1247918-1 is not prime. Res64: D36D7AED6975224A Time : 0.0 sec. user=mdettweiler [2013-07-21 20:56:36] 971*2^1247918-1 is not prime. Res64: 43888E0EEF90157E Time : 0.0 sec. user=mdettweiler [2013-07-21 21:13:38] 609*2^1247919-1 is not prime. Res64: 7A3D0188E110FD7D Time : 0.0 sec. user=mdettweiler [2013-07-21 21:13:40] 691*2^1247919-1 is not prime. Res64: FBFBE6A04A0A7E6B Time : 0.0 sec. user=mdettweiler [2013-07-21 21:30:46] 751*2^1247919-1 is not prime. Res64: E4EFCAE091A2B587 Time : 0.0 sec. user=mdettweiler [2013-07-21 21:30:47] 823*2^1247919-1 is not prime. Res64: 5C6A5922CBA1CF41 Time : 0.0 sec. user=mdettweiler [2013-07-21 21:47:50] 885*2^1247919-1 is not prime. Res64: 42115AFF37214573 Time : 0.0 sec. user=mdettweiler [2013-07-21 21:47:50] 921*2^1247919-1 is not prime. Res64: 73481954C441FF34 Time : 0.0 sec. user=mdettweiler [2013-07-21 22:04:53] 635*2^1247920-1 is not prime. Res64: CE9DB69D9E0B22ED Time : 0.0 sec. user=mdettweiler [2013-07-21 22:04:54] 723*2^1247920-1 is not prime. Res64: F53E31C1D6F81D7B Time : 0.0 sec. user=mdettweiler [2013-07-21 22:22:01] 755*2^1247920-1 is not prime. Res64: D1F319390C852FA2 Time : 0.0 sec. user=mdettweiler [2013-07-21 22:22:01] 887*2^1247920-1 is not prime. Res64: 7D9C7B883923B162 Time : 0.0 sec. user=mdettweiler [2013-07-21 22:41:08] 959*2^1247920-1 is not prime. Res64: 85877FDEB6AD71EC Time : 0.0 sec. user=mdettweiler [2013-07-21 22:41:08] 999*2^1247920-1 is not prime. Res64: B2D6742ABEB9F9B9 Time : 0.0 sec. user=mdettweiler [2013-07-21 22:58:24] 645*2^1247921-1 is not prime. Res64: 3200A2BA86056138 Time : 0.0 sec. user=mdettweiler [2013-07-21 22:58:24] 679*2^1247921-1 is not prime. Res64: 5616950EDBA96D96 Time : 0.0 sec. user=mdettweiler [2013-07-21 23:15:35] 697*2^1247921-1 is not prime. Res64: F6B60A16004A4837 Time : 0.0 sec. user=mdettweiler [2013-07-21 23:15:35] 727*2^1247921-1 is not prime. Res64: 1372CF66DF6D644E Time : 0.0 sec. user=mdettweiler [2013-07-21 23:32:47] 735*2^1247921-1 is not prime. Res64: B3E1F45BECE8BBAC Time : 0.0 sec. user=mdettweiler [2013-07-21 23:32:48] 789*2^1247921-1 is not prime. Res64: A07C5FF2EC42C0A5 Time : 0.0 sec. user=mdettweiler [2013-07-21 23:50:05] 837*2^1247921-1 is not prime. Res64: 8A003B6D8C0442B6 Time : 0.0 sec. user=mdettweiler [2013-07-21 23:50:05] 909*2^1247921-1 is not prime. Res64: 071AFB3D0C9C7824 Time : 0.0 sec.