user=mdettweiler [2013-05-03 00:10:08] 843*2^1245655-1 is not prime. Res64: F3463AC136DE6517 Time : 0.0 sec. user=mdettweiler [2013-05-03 00:10:10] 939*2^1245655-1 is not prime. Res64: 74ABE4828F8641B2 Time : 0.0 sec. user=mdettweiler [2013-05-03 00:14:28] 999*2^1245655-1 is not prime. Res64: F639B990E75340E3 Time : 0.0 sec. user=mdettweiler [2013-05-03 00:14:29] 659*2^1245656-1 is not prime. Res64: 84EBA4A8EBCC346C Time : 0.0 sec. user=mdettweiler [2013-05-03 00:27:43] 735*2^1245656-1 is not prime. Res64: 66CEF16480CBE032 Time : 0.0 sec. user=mdettweiler [2013-05-03 00:27:44] 773*2^1245656-1 is not prime. Res64: 0CB05B43A6C0B64D Time : 0.0 sec. user=mdettweiler [2013-05-03 00:31:55] 789*2^1245656-1 is not prime. Res64: 9A14E6D9B5A64029 Time : 0.0 sec. user=mdettweiler [2013-05-03 00:31:56] 813*2^1245656-1 is not prime. Res64: 88B2FA0D07468430 Time : 0.0 sec. user=mdettweiler [2013-05-03 00:46:04] 837*2^1245656-1 is not prime. Res64: 1E83ECCE7ABC5D07 Time : 0.0 sec. user=mdettweiler [2013-05-03 00:46:05] 999*2^1245656-1 is not prime. Res64: F5A3B12EF05B610D Time : 0.0 sec. user=mdettweiler [2013-05-03 00:49:27] 649*2^1245657-1 is not prime. Res64: 9A896BDF44178576 Time : 0.0 sec. user=mdettweiler [2013-05-03 00:49:28] 667*2^1245657-1 is not prime. Res64: E6176F82ABCAF1B2 Time : 0.0 sec. user=mdettweiler [2013-05-03 01:03:34] 711*2^1245657-1 is not prime. Res64: 064B6A85C6A7CBB9 Time : 0.0 sec. user=mdettweiler [2013-05-03 01:03:34] 741*2^1245657-1 is not prime. Res64: 171E76BB1005EEBE Time : 0.0 sec. user=mdettweiler [2013-05-03 01:06:54] 805*2^1245657-1 is not prime. Res64: 1571B656AB935744 Time : 0.0 sec. user=mdettweiler [2013-05-03 01:06:55] 817*2^1245657-1 is not prime. Res64: 7C0E106DA9020BF6 Time : 0.0 sec. user=mdettweiler [2013-05-03 01:21:14] 861*2^1245657-1 is not prime. Res64: 23CA6E392253A8D2 Time : 0.0 sec. user=mdettweiler [2013-05-03 01:21:15] 865*2^1245657-1 is not prime. Res64: FCE1DBA51E78132C Time : 0.0 sec. user=mdettweiler [2013-05-03 01:24:23] 901*2^1245657-1 is not prime. Res64: 32E901871E9BE3BD Time : 0.0 sec. user=mdettweiler [2013-05-03 01:24:23] 915*2^1245657-1 is not prime. Res64: 044E58F21CD42A35 Time : 0.0 sec. user=mdettweiler [2013-05-03 01:38:45] 617*2^1245658-1 is not prime. Res64: 4A968058A04C741F Time : 0.0 sec. user=mdettweiler [2013-05-03 01:38:46] 665*2^1245658-1 is not prime. Res64: E6C925D66703AEFC Time : 0.0 sec. user=mdettweiler [2013-05-03 01:41:50] 681*2^1245658-1 is not prime. Res64: 38C53817950448EB Time : 0.0 sec. user=mdettweiler [2013-05-03 01:41:51] 933*2^1245658-1 is not prime. Res64: B6CC7D5E271450E2 Time : 0.0 sec. user=mdettweiler [2013-05-03 01:56:13] 679*2^1245659-1 is not prime. Res64: F727BF1B40B7DECC Time : 0.0 sec. user=mdettweiler [2013-05-03 01:56:14] 745*2^1245659-1 is not prime. Res64: D193920BA2683CE6 Time : 0.0 sec. user=mdettweiler [2013-05-03 01:59:17] 949*2^1245659-1 is not prime. Res64: C1DB044543924E7C Time : 0.0 sec. user=mdettweiler [2013-05-03 01:59:18] 973*2^1245659-1 is not prime. Res64: A1CD06E7C5B2D68F Time : 0.0 sec. user=mdettweiler [2013-05-03 02:13:41] 635*2^1245660-1 is not prime. Res64: E3CAA31EA59C135E Time : 0.0 sec. user=mdettweiler [2013-05-03 02:13:42] 867*2^1245660-1 is not prime. Res64: 05CC7647AF0350D5 Time : 0.0 sec. user=mdettweiler [2013-05-03 02:16:44] 887*2^1245660-1 is not prime. Res64: 0A04CC8E4DFCA6B6 Time : 0.0 sec. user=mdettweiler [2013-05-03 02:16:45] 975*2^1245660-1 is not prime. Res64: DCF5180988C1AB64 Time : 0.0 sec. user=mdettweiler [2013-05-03 02:31:14] 639*2^1245661-1 is not prime. Res64: 5AE18C053314CD58 Time : 0.0 sec. user=mdettweiler [2013-05-03 02:31:15] 651*2^1245661-1 is not prime. Res64: 482CBAA3307F7900 Time : 0.0 sec. user=mdettweiler [2013-05-03 02:34:14] 717*2^1245661-1 is not prime. Res64: E6FC242150FA4216 Time : 0.0 sec. user=mdettweiler [2013-05-03 02:34:15] 741*2^1245661-1 is not prime. Res64: 40DF7E528FC5A2DB Time : 0.0 sec. user=mdettweiler [2013-05-03 02:48:59] 747*2^1245661-1 is not prime. Res64: 4FADD769F5965524 Time : 0.0 sec. user=mdettweiler [2013-05-03 02:49:00] 939*2^1245661-1 is not prime. Res64: A957133B82595EE6 Time : 0.0 sec. user=mdettweiler [2013-05-03 02:51:43] 961*2^1245661-1 is not prime. Res64: 22360575B3BEF4EB Time : 0.0 sec. user=mdettweiler [2013-05-03 02:51:44] 657*2^1245662-1 is not prime. Res64: 206933A6D255E421 Time : 0.0 sec. user=mdettweiler [2013-05-03 03:06:35] 755*2^1245662-1 is not prime. Res64: 2F990C27477176C0 Time : 0.0 sec. user=mdettweiler [2013-05-03 03:06:36] 827*2^1245662-1 is not prime. Res64: 74007C65C46BFD80 Time : 0.0 sec. user=mdettweiler [2013-05-03 03:09:10] 935*2^1245662-1 is not prime. Res64: 78EC36F392C9A702 Time : 0.0 sec. user=mdettweiler [2013-05-03 03:09:11] 945*2^1245662-1 is not prime. Res64: CC3CA45F1CEC5439 Time : 0.0 sec. user=mdettweiler [2013-05-03 03:24:09] 615*2^1245663-1 is not prime. Res64: 117EB06F1250B226 Time : 0.0 sec. user=mdettweiler [2013-05-03 03:24:10] 649*2^1245663-1 is not prime. Res64: A23DA45A59D16327 Time : 0.0 sec. user=mdettweiler [2013-05-03 03:26:38] 691*2^1245663-1 is not prime. Res64: 35A946EF39231A94 Time : 0.0 sec. user=mdettweiler [2013-05-03 03:26:38] 823*2^1245663-1 is not prime. Res64: CE5AA8714BC96C3A Time : 0.0 sec. user=mdettweiler [2013-05-03 03:41:42] 825*2^1245663-1 is not prime. Res64: 0500C4D091C82248 Time : 0.0 sec. user=mdettweiler [2013-05-03 03:41:42] 859*2^1245663-1 is not prime. Res64: 6588D8C53BF6D2D6 Time : 0.0 sec. user=mdettweiler [2013-05-03 03:44:06] 961*2^1245663-1 is not prime. Res64: 313BE60A0D0A89D7 Time : 0.0 sec. user=mdettweiler [2013-05-03 03:44:07] 623*2^1245664-1 is not prime. Res64: 8A6A6BBC38D1D165 Time : 0.0 sec. user=mdettweiler [2013-05-03 03:59:10] 873*2^1245664-1 is not prime. Res64: 280E4D3E98A655E1 Time : 0.0 sec. user=mdettweiler [2013-05-03 03:59:10] 675*2^1245665-1 is not prime. Res64: 2A9E84CBFBABB8DF Time : 0.0 sec. user=mdettweiler [2013-05-03 04:01:35] 985*2^1245665-1 is not prime. Res64: 5E578436F4060AEF Time : 0.0 sec. user=mdettweiler [2013-05-03 04:01:36] 717*2^1245666-1 is not prime. Res64: 2DD8793B5E2EAD94 Time : 0.0 sec. user=mdettweiler [2013-05-03 04:16:38] 723*2^1245666-1 is not prime. Res64: DFD5924C1204413C Time : 0.0 sec. user=mdettweiler [2013-05-03 04:16:38] 903*2^1245666-1 is not prime. Res64: 09AE28F97AC12B15 Time : 0.0 sec. user=mdettweiler [2013-05-03 04:19:52] 1001*2^1245666-1 is not prime. Res64: E54D5948703B4E7C Time : 0.0 sec. user=mdettweiler [2013-05-03 04:19:53] 601*2^1245667-1 is not prime. Res64: 7573E73F6A643910 Time : 0.0 sec. user=mdettweiler [2013-05-03 04:34:06] 673*2^1245667-1 is not prime. Res64: EAFDD76C68F3F016 Time : 0.0 sec. user=mdettweiler [2013-05-03 04:34:08] 699*2^1245667-1 is not prime. Res64: 7DC3B3A86D8E9108 Time : 0.0 sec. user=mdettweiler [2013-05-03 04:37:20] 733*2^1245667-1 is not prime. Res64: 1299FDAA1F522A98 Time : 0.0 sec. user=mdettweiler [2013-05-03 04:37:21] 769*2^1245667-1 is not prime. Res64: BA5536C2EA883464 Time : 0.0 sec. user=mdettweiler [2013-05-03 04:51:38] 871*2^1245667-1 is not prime. Res64: 5D49C80CEDFB10E9 Time : 0.0 sec. user=mdettweiler [2013-05-03 04:51:38] 985*2^1245667-1 is not prime. Res64: 0E4C9FE29B6DEB05 Time : 0.0 sec. user=mdettweiler [2013-05-03 04:54:47] 603*2^1245668-1 is not prime. Res64: 750842B755ABFD2B Time : 0.0 sec. user=mdettweiler [2013-05-03 04:54:48] 623*2^1245668-1 is not prime. Res64: 96353DCD240A1DD1 Time : 0.0 sec. user=mdettweiler [2013-05-03 05:09:06] 689*2^1245668-1 is not prime. Res64: 00F5E4B28F8740AE Time : 0.0 sec. user=mdettweiler [2013-05-03 05:09:07] 845*2^1245668-1 is not prime. Res64: 49398EB68FBE79E8 Time : 0.0 sec. user=mdettweiler [2013-05-03 05:12:15] 855*2^1245668-1 is not prime. Res64: 0A9C844D4BE24B90 Time : 0.0 sec. user=mdettweiler [2013-05-03 05:12:15] 879*2^1245668-1 is not prime. Res64: 5A69B61F2D5CCCF0 Time : 0.0 sec. user=mdettweiler [2013-05-03 05:27:24] 915*2^1245668-1 is not prime. Res64: 512048841BC2BC6E Time : 0.0 sec. user=mdettweiler [2013-05-03 05:27:25] 993*2^1245668-1 is not prime. Res64: CD9E48DD4DDE8E1C Time : 0.0 sec. user=mdettweiler [2013-05-03 05:29:41] 609*2^1245669-1 is not prime. Res64: 84C97481A3999C68 Time : 0.0 sec. user=mdettweiler [2013-05-03 05:29:42] 721*2^1245669-1 is not prime. Res64: 7A176BC01352B68B Time : 0.0 sec. user=mdettweiler [2013-05-03 05:44:52] 769*2^1245669-1 is not prime. Res64: 9B14A614BD5843A0 Time : 0.0 sec. user=mdettweiler [2013-05-03 05:44:53] 927*2^1245669-1 is not prime. Res64: 09338CBBBD9919B0 Time : 0.0 sec. user=mdettweiler [2013-05-03 05:47:10] 961*2^1245669-1 is not prime. Res64: 03A8643432586064 Time : 0.0 sec. user=mdettweiler [2013-05-03 05:47:10] 975*2^1245669-1 is not prime. Res64: A5E6C07DB42CA245 Time : 0.0 sec. user=mdettweiler [2013-05-03 06:02:21] 635*2^1245670-1 is not prime. Res64: DC0ED0708DC1D269 Time : 0.0 sec. user=mdettweiler [2013-05-03 06:02:22] 653*2^1245670-1 is not prime. Res64: E014A20077A10407 Time : 0.0 sec. user=mdettweiler [2013-05-03 06:04:37] 663*2^1245670-1 is not prime. Res64: 5BE1B529B870899A Time : 0.0 sec. user=mdettweiler [2013-05-03 06:04:38] 665*2^1245670-1 is not prime. Res64: D47C14AEBF99FCEB Time : 0.0 sec. user=mdettweiler [2013-05-03 06:19:53] 731*2^1245670-1 is not prime. Res64: 15264D9B2D06BEF7 Time : 0.0 sec. user=mdettweiler [2013-05-03 06:19:54] 843*2^1245670-1 is not prime. Res64: 8CAA3A3134095495 Time : 0.0 sec. user=mdettweiler [2013-05-03 06:22:06] 863*2^1245670-1 is not prime. Res64: A7BF479AA3727E4E Time : 0.0 sec. user=mdettweiler [2013-05-03 06:22:06] 965*2^1245670-1 is not prime. Res64: 936CC8C6FFB72BFE Time : 0.0 sec. user=mdettweiler [2013-05-03 06:38:10] 995*2^1245670-1 is not prime. Res64: E4A6A38F810AC818 Time : 0.0 sec. user=mdettweiler [2013-05-03 06:38:11] 669*2^1245671-1 is not prime. Res64: 658B71FB488C60C1 Time : 0.0 sec. user=mdettweiler [2013-05-03 06:39:33] 715*2^1245671-1 is not prime. Res64: BFF3E1081D0D3ACA Time : 0.0 sec. user=mdettweiler [2013-05-03 06:39:33] 863*2^1245672-1 is not prime. Res64: 19F0DA2E9F0D46EC Time : 0.0 sec. user=mdettweiler [2013-05-03 06:55:38] 957*2^1245672-1 is not prime. Res64: 03FFC94FEFEF73D8 Time : 0.0 sec. user=mdettweiler [2013-05-03 06:55:38] 721*2^1245673-1 is not prime. Res64: 81175C2786895CEF Time : 0.0 sec. user=mdettweiler [2013-05-03 06:57:00] 769*2^1245673-1 is not prime. Res64: 61BBDB0A1071643B Time : 0.0 sec. user=mdettweiler [2013-05-03 06:57:01] 805*2^1245673-1 is not prime. Res64: 43E33CA8140E1308 Time : 0.0 sec. user=mdettweiler [2013-05-03 07:13:05] 939*2^1245673-1 is not prime. Res64: 0D359E38143F5E6D Time : 0.0 sec. user=mdettweiler [2013-05-03 07:13:06] 957*2^1245673-1 is not prime. Res64: FF3380539418B735 Time : 0.0 sec. user=mdettweiler [2013-05-03 07:14:28] 615*2^1245674-1 is not prime. Res64: 6395584F01565656 Time : 0.0 sec. user=mdettweiler [2013-05-03 07:14:28] 831*2^1245674-1 is not prime. Res64: 1D59BF9296087026 Time : 0.0 sec. user=mdettweiler [2013-05-03 07:30:33] 923*2^1245674-1 is not prime. Res64: 9B7BEE10CBD34861 Time : 0.0 sec. user=mdettweiler [2013-05-03 07:30:34] 699*2^1245675-1 is not prime. Res64: DD6EAF5E1C65A7D2 Time : 0.0 sec. user=mdettweiler [2013-05-03 07:31:55] 741*2^1245675-1 is not prime. Res64: BE8C0C2297F5EB86 Time : 0.0 sec. user=mdettweiler [2013-05-03 07:31:56] 793*2^1245675-1 is not prime. Res64: FFC89D175112F372 Time : 0.0 sec. user=mdettweiler [2013-05-03 07:48:01] 823*2^1245675-1 is not prime. Res64: 58982FBF48057476 Time : 0.0 sec. user=mdettweiler [2013-05-03 07:48:01] 849*2^1245675-1 is not prime. Res64: B627E3F607465B5F Time : 0.0 sec. user=mdettweiler [2013-05-03 07:49:22] 955*2^1245675-1 is not prime. Res64: BC8603A423482EB6 Time : 0.0 sec. user=mdettweiler [2013-05-03 07:49:23] 961*2^1245675-1 is not prime. Res64: DB1CFE0CF3204A64 Time : 0.0 sec. user=mdettweiler [2013-05-03 08:05:29] 857*2^1245676-1 is not prime. Res64: FEBF5C5B6A59FB79 Time : 0.0 sec. user=mdettweiler [2013-05-03 08:05:31] 869*2^1245676-1 is not prime. Res64: CF6673DA02A24BD7 Time : 0.0 sec. user=mdettweiler [2013-05-03 08:06:49] 933*2^1245676-1 is not prime. Res64: 6D9103F70A93382D Time : 0.0 sec. user=mdettweiler [2013-05-03 08:06:50] 965*2^1245676-1 is not prime. Res64: 9A6DA7FB20073CDF Time : 0.0 sec. user=mdettweiler [2013-05-03 08:23:01] 697*2^1245677-1 is not prime. Res64: 51A672228729BE60 Time : 0.0 sec. user=mdettweiler [2013-05-03 08:23:02] 729*2^1245677-1 is not prime. Res64: 38B667FCD6FE9BDD Time : 0.0 sec. user=mdettweiler [2013-05-03 08:24:17] 825*2^1245677-1 is not prime. Res64: 7BB656F0AAB652D2 Time : 0.0 sec. user=mdettweiler [2013-05-03 08:24:18] 605*2^1245678-1 is not prime. Res64: ED16B31B775DD896 Time : 0.0 sec. user=vaughan [2013-05-03 08:28:05] 999*2^1245675-1 is not prime. Res64: B185E20568BF9E8B Time : 0.0 sec. user=mdettweiler [2013-05-03 08:40:34] 611*2^1245678-1 is not prime. Res64: 771907AAC9232E4D Time : 0.0 sec. user=mdettweiler [2013-05-03 08:40:34] 635*2^1245678-1 is not prime. Res64: BF39D728BE99B85A Time : 0.0 sec. user=mdettweiler [2013-05-03 08:41:46] 713*2^1245678-1 is not prime. Res64: 434259288EB6BCA5 Time : 0.0 sec. user=mdettweiler [2013-05-03 08:41:46] 755*2^1245678-1 is not prime. Res64: C8D6789F55E0D692 Time : 0.0 sec. user=mdettweiler [2013-05-03 08:58:02] 633*2^1245679-1 is not prime. Res64: ED1E6537A5470B16 Time : 0.0 sec. user=mdettweiler [2013-05-03 08:58:03] 793*2^1245679-1 is not prime. Res64: 182EDD0C7A9946D5 Time : 0.0 sec. user=mdettweiler [2013-05-03 08:59:13] 859*2^1245679-1 is not prime. Res64: 10058B7F6D399B34 Time : 0.0 sec. user=mdettweiler [2013-05-03 08:59:13] 861*2^1245679-1 is not prime. Res64: F232DE660B4FC081 Time : 0.0 sec. user=vaughan [2013-05-03 09:11:12] 933*2^1245678-1 is not prime. Res64: E6AE93969A0017BC Time : 0.0 sec. user=mdettweiler [2013-05-03 09:16:20] 873*2^1245679-1 is not prime. Res64: 7C7740A177AA3A34 Time : 0.0 sec. user=mdettweiler [2013-05-03 09:16:21] 993*2^1245679-1 is not prime. Res64: AF208C7B81A698B6 Time : 0.0 sec. user=mdettweiler [2013-05-03 09:16:40] 629*2^1245680-1 is not prime. Res64: 6B40492AC956BF44 Time : 0.0 sec. user=mdettweiler [2013-05-03 09:16:41] 719*2^1245680-1 is not prime. Res64: E2A9FAC4C7246150 Time : 0.0 sec. user=mdettweiler [2013-05-03 09:33:48] 759*2^1245680-1 is not prime. Res64: 03589DC60A0B7E88 Time : 0.0 sec. user=mdettweiler [2013-05-03 09:33:48] 855*2^1245680-1 is not prime. Res64: DE9C64C9612C0E2C Time : 0.0 sec. user=mdettweiler [2013-05-03 09:34:07] 637*2^1245681-1 is not prime. Res64: 158857F8BAACE7E2 Time : 0.0 sec. user=mdettweiler [2013-05-03 09:34:08] 639*2^1245681-1 is not prime. Res64: 8E1E098E58F82819 Time : 0.0 sec. user=vaughan [2013-05-03 09:49:25] 725*2^1245680-1 is not prime. Res64: 00B5B16B96C3D845 Time : 0.0 sec. user=mdettweiler [2013-05-03 09:51:16] 679*2^1245681-1 is not prime. Res64: AFF6DEDEDD57F877 Time : 0.0 sec. user=mdettweiler [2013-05-03 09:51:16] 811*2^1245681-1 is not prime. Res64: 58A253F40D6106D7 Time : 0.0 sec. user=mdettweiler [2013-05-03 09:52:24] 849*2^1245681-1 is not prime. Res64: B943E88D615F6BEA Time : 0.0 sec. user=mdettweiler [2013-05-03 09:52:24] 991*2^1245681-1 is not prime. Res64: 6DC8A601431F5896 Time : 0.0 sec. user=mdettweiler [2013-05-03 10:08:44] 735*2^1245682-1 is not prime. Res64: EE445691C2268D62 Time : 0.0 sec. user=mdettweiler [2013-05-03 10:08:45] 747*2^1245682-1 is not prime. Res64: 1190568B9BA4CB97 Time : 0.0 sec. user=mdettweiler [2013-05-03 10:09:51] 765*2^1245682-1 is not prime. Res64: 55159580BFEB2121 Time : 0.0 sec. user=mdettweiler [2013-05-03 10:09:52] 831*2^1245682-1 is not prime. Res64: 157923061859A34D Time : 0.0 sec. user=mdettweiler [2013-05-03 10:27:07] 987*2^1245682-1 is not prime. Res64: 0DAF468D52817264 Time : 0.0 sec. user=mdettweiler [2013-05-03 10:27:08] 609*2^1245683-1 is not prime. Res64: 4B2C71E8B176DD20 Time : 0.0 sec. user=mdettweiler [2013-05-03 10:27:19] 621*2^1245683-1 is not prime. Res64: B63B66126CE403D9 Time : 0.0 sec. user=mdettweiler [2013-05-03 10:27:20] 673*2^1245683-1 is not prime. Res64: B1E223A08472A2A5 Time : 0.0 sec. user=vaughan [2013-05-03 10:27:30] 701*2^1245682-1 is not prime. Res64: D52386F379EA1F27 Time : 0.0 sec. user=mdettweiler [2013-05-03 10:44:36] 745*2^1245683-1 is not prime. Res64: 187A45C43B92DA17 Time : 0.0 sec. user=mdettweiler [2013-05-03 10:44:37] 771*2^1245683-1 is not prime. Res64: ABB056B0FE139EEC Time : 0.0 sec. user=mdettweiler [2013-05-03 10:44:47] 775*2^1245683-1 is not prime. Res64: 75E2C88C2E2DDC9C Time : 0.0 sec. user=mdettweiler [2013-05-03 10:44:47] 823*2^1245683-1 is not prime. Res64: 7B2889CD3B9546B2 Time : 0.0 sec. user=mdettweiler [2013-05-03 11:02:05] 829*2^1245683-1 is not prime. Res64: 400F6F131A22D281 Time : 0.0 sec. user=mdettweiler [2013-05-03 11:02:06] 969*2^1245683-1 is not prime. Res64: 823B1A302BBFE5B2 Time : 0.0 sec. user=mdettweiler [2013-05-03 11:02:15] 635*2^1245684-1 is not prime. Res64: 920D5ED461FCD7CD Time : 0.0 sec. user=mdettweiler [2013-05-03 11:02:17] 887*2^1245684-1 is not prime. Res64: AB601EEF8BED98E4 Time : 0.0 sec. user=vaughan [2013-05-03 11:05:35] 825*2^1245683-1 is not prime. Res64: 8E113E02862960F5 Time : 0.0 sec. user=mdettweiler [2013-05-03 11:20:10] 905*2^1245684-1 is not prime. Res64: 1A11F515EF757D41 Time : 0.0 sec. user=mdettweiler [2013-05-03 11:20:10] 927*2^1245684-1 is not prime. Res64: 38E2F7372DC97727 Time : 0.0 sec. user=mdettweiler [2013-05-03 11:20:12] 649*2^1245685-1 is not prime. Res64: 1E10F21D87D8DBC1 Time : 0.0 sec. user=mdettweiler [2013-05-03 11:20:13] 699*2^1245685-1 is not prime. Res64: 57F2D19FE4FECC16 Time : 0.0 sec. user=mdettweiler [2013-05-03 11:37:41] 847*2^1245685-1 is not prime. Res64: 7B88599339B7AF32 Time : 0.0 sec. user=mdettweiler [2013-05-03 11:37:42] 895*2^1245685-1 is not prime. Res64: 64CF2D2FB6A933B5 Time : 0.0 sec. user=mdettweiler [2013-05-03 11:38:31] 997*2^1245685-1 is not prime. Res64: 334C3DF668D7408F Time : 0.0 sec. user=mdettweiler [2013-05-03 11:38:31] 825*2^1245686-1 is not prime. Res64: 390AC17DED4F92F8 Time : 0.0 sec. user=vaughan [2013-05-03 11:43:44] 775*2^1245685-1 is not prime. Res64: 22D8C77EFF5D47AA Time : 0.0 sec. user=mdettweiler [2013-05-03 11:55:09] 897*2^1245686-1 is not prime. Res64: 07D703BFD21198D0 Time : 0.0 sec. user=mdettweiler [2013-05-03 11:55:09] 921*2^1245686-1 is not prime. Res64: 9D599A5DE77F52AE Time : 0.0 sec. user=mdettweiler [2013-05-03 11:56:47] 993*2^1245686-1 is not prime. Res64: 1DE34C48F624F9EC Time : 0.0 sec. user=mdettweiler [2013-05-03 11:56:47] 709*2^1245687-1 is not prime. Res64: 717E7B79ADD944D2 Time : 0.0 sec. user=mdettweiler [2013-05-03 12:12:37] 805*2^1245687-1 is not prime. Res64: 8DFB5F3046C296E1 Time : 0.0 sec. user=mdettweiler [2013-05-03 12:12:37] 949*2^1245687-1 is not prime. Res64: 432C4C39AF60EA74 Time : 0.0 sec. user=mdettweiler [2013-05-03 12:14:14] 975*2^1245687-1 is not prime. Res64: CAA0324CC7F99800 Time : 0.0 sec. user=mdettweiler [2013-05-03 12:14:15] 617*2^1245688-1 is not prime. Res64: 1CD079409BF6D054 Time : 0.0 sec. user=vaughan [2013-05-03 12:21:49] 741*2^1245687-1 is not prime. Res64: 45F3391875E02800 Time : 0.0 sec. user=mdettweiler [2013-05-03 12:30:07] 849*2^1245688-1 is not prime. Res64: 5C6AD3C5F82DD40C Time : 0.0 sec. user=mdettweiler [2013-05-03 12:30:08] 899*2^1245688-1 is not prime. Res64: F73FDE42B3C5B76B Time : 0.0 sec. user=mdettweiler [2013-05-03 12:31:42] 927*2^1245688-1 is not prime. Res64: D4795A31F7DFE66D Time : 0.0 sec. user=mdettweiler [2013-05-03 12:31:43] 615*2^1245689-1 is not prime. Res64: 5B4935CB28F27C4B Time : 0.0 sec. user=mdettweiler [2013-05-03 12:47:37] 867*2^1245689-1 is not prime. Res64: DA20A48E50C7EF95 Time : 0.0 sec. user=mdettweiler [2013-05-03 12:47:37] 957*2^1245689-1 is not prime. Res64: 6189E960F847C4FA Time : 0.0 sec. user=mdettweiler [2013-05-03 12:49:10] 741*2^1245690-1 is not prime. Res64: CC11277D2F157741 Time : 0.0 sec. user=mdettweiler [2013-05-03 12:49:10] 747*2^1245690-1 is not prime. Res64: C9A194B4842E945B Time : 0.0 sec. user=vaughan [2013-05-03 12:59:53] 745*2^1245689-1 is not prime. Res64: 0420FFCE8C285121 Time : 0.0 sec. user=mdettweiler [2013-05-03 13:05:07] 783*2^1245690-1 is not prime. Res64: 9CF98FC2905639AC Time : 0.0 sec. user=mdettweiler [2013-05-03 13:05:08] 851*2^1245690-1 is not prime. Res64: 4075593C78539380 Time : 0.0 sec. user=mdettweiler [2013-05-03 13:06:41] 915*2^1245690-1 is not prime. Res64: 166DF8E8779D0B74 Time : 0.0 sec. user=mdettweiler [2013-05-03 13:06:42] 927*2^1245690-1 is not prime. Res64: 7A4A6DBD7E5EEEAA Time : 0.0 sec. user=mdettweiler [2013-05-03 13:22:55] 769*2^1245691-1 is not prime. Res64: 4529DFD279A7B861 Time : 0.0 sec. user=mdettweiler [2013-05-03 13:22:55] 783*2^1245691-1 is not prime. Res64: F0534F3DA55E0C41 Time : 0.0 sec. user=mdettweiler [2013-05-03 13:24:23] 829*2^1245691-1 is not prime. Res64: B6F8591479C585A5 Time : 0.0 sec. user=mdettweiler [2013-05-03 13:24:24] 931*2^1245691-1 is not prime. Res64: DD6DC35515560EA4 Time : 0.0 sec. user=vaughan [2013-05-03 13:38:00] 723*2^1245691-1 is not prime. Res64: C81A3C88B1F222BD Time : 0.0 sec. user=mdettweiler [2013-05-03 13:40:38] 939*2^1245691-1 is not prime. Res64: B7932F024C141EBA Time : 0.0 sec. user=mdettweiler [2013-05-03 13:40:38] 609*2^1245692-1 is not prime. Res64: FD08BD8D66F91E33 Time : 0.0 sec. user=mdettweiler [2013-05-03 13:42:03] 617*2^1245692-1 is not prime. Res64: 4588E22A029A8243 Time : 0.0 sec. user=mdettweiler [2013-05-03 13:42:03] 699*2^1245692-1 is not prime. Res64: 7BEB4A13AD150318 Time : 0.0 sec. user=mdettweiler [2013-05-03 13:58:16] 909*2^1245692-1 is not prime. Res64: 5E1831A8B5FD9340 Time : 0.0 sec. user=mdettweiler [2013-05-03 13:58:16] 651*2^1245693-1 is not prime. Res64: 9788F375E5B1777D Time : 0.0 sec. user=mdettweiler [2013-05-03 13:59:41] 675*2^1245693-1 is not prime. Res64: 0E33FCC512072E06 Time : 0.0 sec. user=mdettweiler [2013-05-03 13:59:41] 787*2^1245693-1 is not prime. Res64: BA0454F5EBE205A2 Time : 0.0 sec. user=mdettweiler [2013-05-03 14:16:00] 795*2^1245693-1 is not prime. Res64: E905421FA6C25099 Time : 0.0 sec. user=mdettweiler [2013-05-03 14:16:00] 937*2^1245693-1 is not prime. Res64: 4A5ECBE1AA4C4E31 Time : 0.0 sec. user=vaughan [2013-05-03 14:16:29] 719*2^1245692-1 is not prime. Res64: 6445DC70F506028B Time : 0.0 sec. user=mdettweiler [2013-05-03 14:17:30] 617*2^1245694-1 is not prime. Res64: 44C54E34C6496E40 Time : 0.0 sec. user=mdettweiler [2013-05-03 14:17:30] 815*2^1245694-1 is not prime. Res64: 954DF1CFED04031E Time : 0.0 sec. user=mdettweiler [2013-05-03 14:34:02] 825*2^1245694-1 is not prime. Res64: 87C686858C1AE5AA Time : 0.0 sec. user=mdettweiler [2013-05-03 14:34:03] 831*2^1245694-1 is not prime. Res64: 62F3F6035F2C1383 Time : 0.0 sec. user=mdettweiler [2013-05-03 14:35:23] 603*2^1245695-1 is not prime. Res64: D3E67B27FC1D8042 Time : 0.0 sec. user=mdettweiler [2013-05-03 14:35:24] 609*2^1245695-1 is not prime. Res64: 250AC672D7D95D97 Time : 0.0 sec. user=mdettweiler [2013-05-03 14:51:45] 619*2^1245695-1 is not prime. Res64: E552A3D40E248401 Time : 0.0 sec. user=mdettweiler [2013-05-03 14:51:46] 721*2^1245695-1 is not prime. Res64: DA4FF1E81C8BD322 Time : 0.0 sec. user=mdettweiler [2013-05-03 14:53:04] 775*2^1245695-1 is not prime. Res64: F88704C27C511776 Time : 0.0 sec. user=mdettweiler [2013-05-03 14:53:05] 841*2^1245695-1 is not prime. Res64: 96F830D44232511C Time : 0.0 sec. user=vaughan [2013-05-03 14:54:37] 833*2^1245694-1 is not prime. Res64: EFCBC84AE0004C6E Time : 0.0 sec. user=mdettweiler [2013-05-03 15:09:27] 861*2^1245695-1 is not prime. Res64: AD1CAABE7D075A8B Time : 0.0 sec. user=mdettweiler [2013-05-03 15:09:27] 895*2^1245695-1 is not prime. Res64: B868D43DEF3B75B3 Time : 0.0 sec. user=mdettweiler [2013-05-03 15:10:45] 913*2^1245695-1 is not prime. Res64: FF7E777889D0D53E Time : 0.0 sec. user=mdettweiler [2013-05-03 15:10:46] 979*2^1245695-1 is not prime. Res64: 7CBBA7FCF09256C0 Time : 0.0 sec. user=mdettweiler [2013-05-03 15:27:15] 759*2^1245696-1 is not prime. Res64: 261D01F4427683A0 Time : 0.0 sec. user=mdettweiler [2013-05-03 15:27:15] 845*2^1245696-1 is not prime. Res64: 360806268E3B3364 Time : 0.0 sec. user=mdettweiler [2013-05-03 15:28:26] 849*2^1245696-1 is not prime. Res64: F666219DBC7F9720 Time : 0.0 sec. user=mdettweiler [2013-05-03 15:28:27] 857*2^1245696-1 is not prime. Res64: 9C058DB6AE24C986 Time : 0.0 sec. user=vaughan [2013-05-03 15:37:44] 999*2^1245695-1 is not prime. Res64: 3DC50E1B50D5E6E9 Time : 0.0 sec. user=mdettweiler [2013-05-03 15:45:03] 969*2^1245696-1 is not prime. Res64: C0C995E0FB9A318F Time : 0.0 sec. user=mdettweiler [2013-05-03 15:45:04] 637*2^1245697-1 is not prime. Res64: AE6D9EF15360C1A4 Time : 0.0 sec. user=mdettweiler [2013-05-03 15:46:08] 651*2^1245697-1 is not prime. Res64: C3DB3117D6E7D1F3 Time : 0.0 sec. user=mdettweiler [2013-05-03 15:46:09] 759*2^1245697-1 is not prime. Res64: 9504FBDD3E84E33E Time : 0.0 sec. user=mdettweiler [2013-05-03 16:02:46] 801*2^1245697-1 is not prime. Res64: 5702BB5A8C275EFF Time : 0.0 sec. user=mdettweiler [2013-05-03 16:02:47] 861*2^1245697-1 is not prime. Res64: EADB6F47D4B3A0AC Time : 0.0 sec. user=mdettweiler [2013-05-03 16:03:53] 981*2^1245697-1 is not prime. Res64: 09775FBCA31B4391 Time : 0.0 sec. user=mdettweiler [2013-05-03 16:03:53] 633*2^1245698-1 is not prime. Res64: DD3690B0FC8F05AC Time : 0.0 sec. user=vaughan [2013-05-03 16:15:52] 771*2^1245697-1 is not prime. Res64: 1F4AEFCABFE902FF Time : 0.0 sec. user=mdettweiler [2013-05-03 16:20:52] 641*2^1245698-1 is not prime. Res64: 7BF2BC26BE5F1312 Time : 0.0 sec. user=mdettweiler [2013-05-03 16:20:52] 683*2^1245698-1 is not prime. Res64: AF9AC291DA96D9D2 Time : 0.0 sec. user=mdettweiler [2013-05-03 16:21:39] 755*2^1245698-1 is not prime. Res64: 00D58B4F6771891C Time : 0.0 sec. user=mdettweiler [2013-05-03 16:21:39] 845*2^1245698-1 is not prime. Res64: C918B61D31816311 Time : 0.0 sec. user=mdettweiler [2013-05-03 16:38:36] 927*2^1245698-1 is not prime. Res64: 1CD39E138CB15654 Time : 0.0 sec. user=mdettweiler [2013-05-03 16:38:36] 957*2^1245698-1 is not prime. Res64: 4EE02877152E7B4A Time : 0.0 sec. user=mdettweiler [2013-05-03 16:39:23] 971*2^1245698-1 is not prime. Res64: 1D51D3027EB02466 Time : 0.0 sec. user=mdettweiler [2013-05-03 16:39:23] 639*2^1245699-1 is not prime. Res64: A199C299BD54CDC5 Time : 0.0 sec. user=vaughan [2013-05-03 16:54:01] 861*2^1245698-1 is not prime. Res64: AA4B42FEB4E3B798 Time : 0.0 sec. user=mdettweiler [2013-05-03 16:56:15] 689*2^1245700-1 is not prime. Res64: AE331A06884226C8 Time : 0.0 sec. user=mdettweiler [2013-05-03 16:56:16] 695*2^1245700-1 is not prime. Res64: 0458DE2D7FB05EE2 Time : 0.0 sec. user=mdettweiler [2013-05-03 16:57:01] 735*2^1245700-1 is not prime. Res64: D4C3829729535C9C Time : 0.0 sec. user=mdettweiler [2013-05-03 16:57:01] 765*2^1245700-1 is not prime. Res64: 3C1119F7C2E81201 Time : 0.0 sec. user=mdettweiler [2013-05-03 17:13:54] 857*2^1245700-1 is not prime. Res64: CB1BD4E1AC83F0BB Time : 0.0 sec. user=mdettweiler [2013-05-03 17:13:55] 897*2^1245700-1 is not prime. Res64: 351661A22CB75D49 Time : 0.0 sec. user=mdettweiler [2013-05-03 17:15:30] 975*2^1245700-1 is not prime. Res64: AE679A621EBA8C3D Time : 0.0 sec. user=mdettweiler [2013-05-03 17:15:30] 987*2^1245700-1 is not prime. Res64: 6AE6B728C364673B Time : 0.0 sec. user=mdettweiler [2013-05-03 17:31:37] 645*2^1245701-1 is not prime. Res64: 593F990260315F93 Time : 0.0 sec. user=mdettweiler [2013-05-03 17:31:37] 691*2^1245701-1 is not prime. Res64: 1B6FB70705364CB5 Time : 0.0 sec. user=vaughan [2013-05-03 17:32:11] 855*2^1245700-1 is not prime. Res64: 797E105E6580F676 Time : 0.0 sec. user=mdettweiler [2013-05-03 17:33:09] 741*2^1245701-1 is not prime. Res64: 9EBAF4B3799A7823 Time : 0.0 sec. user=mdettweiler [2013-05-03 17:33:09] 747*2^1245701-1 is not prime. Res64: 5CC67D46F8A8CFAA Time : 0.0 sec. user=mdettweiler [2013-05-03 17:49:18] 781*2^1245701-1 is not prime. Res64: 7C1D0AE0A873D530 Time : 0.0 sec. user=mdettweiler [2013-05-03 17:49:19] 825*2^1245701-1 is not prime. Res64: 1DAC59F2135B3CA3 Time : 0.0 sec. user=mdettweiler [2013-05-03 17:51:39] 955*2^1245701-1 is not prime. Res64: 18397B6DEEC186B6 Time : 0.0 sec. user=mdettweiler [2013-05-03 17:51:39] 987*2^1245701-1 is not prime. Res64: DD4BCABB6AC2BD76 Time : 0.0 sec. user=mdettweiler [2013-05-03 18:06:59] 647*2^1245702-1 is not prime. Res64: E1483ACAE93585DD Time : 0.0 sec. user=mdettweiler [2013-05-03 18:07:00] 677*2^1245702-1 is not prime. Res64: 9948D150A70DA7B3 Time : 0.0 sec. user=mdettweiler [2013-05-03 18:09:18] 681*2^1245702-1 is not prime. Res64: 5AFFCE203BCFDD6E Time : 0.0 sec. user=mdettweiler [2013-05-03 18:09:18] 723*2^1245702-1 is not prime. Res64: 35B60211E984DAFA Time : 0.0 sec. user=vaughan [2013-05-03 18:10:17] 865*2^1245701-1 is not prime. Res64: 9260883C6115D02C Time : 0.0 sec. user=mdettweiler [2013-05-03 18:24:45] 741*2^1245702-1 is not prime. Res64: 0DE841792EB4B437 Time : 0.0 sec. user=mdettweiler [2013-05-03 18:24:45] 791*2^1245702-1 is not prime. Res64: 27FC759F5FC81F7E Time : 0.0 sec. user=mdettweiler [2013-05-03 18:26:58] 903*2^1245702-1 is not prime. Res64: 8E3AC5EE76CF0B67 Time : 0.0 sec. user=mdettweiler [2013-05-03 18:26:59] 945*2^1245702-1 is not prime. Res64: BF971915760CE06A Time : 0.0 sec. user=mdettweiler [2013-05-03 18:42:26] 639*2^1245703-1 is not prime. Res64: 325D7DF00488C8CD Time : 0.0 sec. user=mdettweiler [2013-05-03 18:42:27] 765*2^1245703-1 is not prime. Res64: CCD2A50356B4641F Time : 0.0 sec. user=mdettweiler [2013-05-03 18:44:39] 819*2^1245703-1 is not prime. Res64: 06EB6A92FA07D6C9 Time : 0.0 sec. user=mdettweiler [2013-05-03 18:44:40] 873*2^1245703-1 is not prime. Res64: 735554DA55C3738B Time : 0.0 sec. user=vaughan [2013-05-03 18:53:21] 963*2^1245702-1 is not prime. Res64: A43A5E27A096B966 Time : 0.0 sec. user=mdettweiler [2013-05-03 19:00:18] 913*2^1245703-1 is not prime. Res64: F10CAA5A72F7FD30 Time : 0.0 sec. user=mdettweiler [2013-05-03 19:00:19] 961*2^1245703-1 is not prime. Res64: 85988061266030FC Time : 0.0 sec. user=mdettweiler [2013-05-03 19:02:35] 699*2^1245704-1 is not prime. Res64: 614F7B892AD717E3 Time : 0.0 sec. user=mdettweiler [2013-05-03 19:02:36] 857*2^1245704-1 is not prime. Res64: 20C6DC3EF45A45A7 Time : 0.0 sec. user=mdettweiler [2013-05-03 19:18:28] 875*2^1245704-1 is not prime. Res64: 7EB71858E7413353 Time : 0.0 sec. user=mdettweiler [2013-05-03 19:18:28] 915*2^1245704-1 is not prime. Res64: DC3CD8955E964735 Time : 0.0 sec. user=mdettweiler [2013-05-03 19:20:45] 935*2^1245704-1 is not prime. Res64: BE81AE7EB1147989 Time : 0.0 sec. user=mdettweiler [2013-05-03 19:20:45] 601*2^1245705-1 is not prime. Res64: 47A55AFA082A9D39 Time : 0.0 sec. user=vaughan [2013-05-03 19:31:31] 873*2^1245704-1 is not prime. Res64: 9257AAF4A2902DCB Time : 0.0 sec. user=mdettweiler [2013-05-03 19:36:42] 705*2^1245705-1 is not prime. Res64: E3AD480BC47725E3 Time : 0.0 sec. user=mdettweiler [2013-05-03 19:36:42] 751*2^1245705-1 is not prime. Res64: EADA16447DD5AFE7 Time : 0.0 sec. user=mdettweiler [2013-05-03 19:39:45] 861*2^1245705-1 is not prime. Res64: 158272C7997AE4E2 Time : 0.0 sec. user=mdettweiler [2013-05-03 19:39:45] 985*2^1245705-1 is not prime. Res64: D3CC2551910C4B39 Time : 0.0 sec. user=mdettweiler [2013-05-03 19:54:39] 743*2^1245706-1 is not prime. Res64: 0446B111B1F61932 Time : 0.0 sec. user=mdettweiler [2013-05-03 19:54:40] 857*2^1245706-1 is not prime. Res64: DAF9587ADFB28924 Time : 0.0 sec. user=mdettweiler [2013-05-03 19:57:39] 957*2^1245706-1 is not prime. Res64: 14DE5D0A057DAB9C Time : 0.0 sec. user=mdettweiler [2013-05-03 19:57:40] 971*2^1245706-1 is not prime. Res64: 3B6F02495A924437 Time : 0.0 sec. user=vaughan [2013-05-03 20:09:41] 701*2^1245706-1 is not prime. Res64: A085C7742C8C1A74 Time : 0.0 sec. user=mdettweiler [2013-05-03 20:12:30] 975*2^1245706-1 is not prime. Res64: 7A067F2667D2063C Time : 0.0 sec. user=mdettweiler [2013-05-03 20:12:31] 711*2^1245707-1 is not prime. Res64: 8276F7D1CE8A2523 Time : 0.0 sec. user=mdettweiler [2013-05-03 20:15:30] 775*2^1245707-1 is not prime. Res64: F976196FD8C116D5 Time : 0.0 sec. user=mdettweiler [2013-05-03 20:15:30] 799*2^1245707-1 is not prime. Res64: 2C8A6E999C7D7B40 Time : 0.0 sec. user=mdettweiler [2013-05-03 20:30:21] 843*2^1245707-1 is not prime. Res64: 04B5AE7126A33E00 Time : 0.0 sec. user=mdettweiler [2013-05-03 20:30:21] 885*2^1245707-1 is not prime. Res64: 7FE89FA5A4E8C15C Time : 0.0 sec. user=mdettweiler [2013-05-03 20:33:18] 939*2^1245707-1 is not prime. Res64: 7D3426AB53E6CFD3 Time : 0.0 sec. user=mdettweiler [2013-05-03 20:33:18] 773*2^1245708-1 is not prime. Res64: 3884E79287C7E038 Time : 0.0 sec. user=vaughan [2013-05-03 20:47:51] 801*2^1245707-1 is not prime. Res64: 5F161473D84EA16A Time : 0.0 sec. user=mdettweiler [2013-05-03 20:48:09] 809*2^1245708-1 is not prime. Res64: B2D9E2F16A289255 Time : 0.0 sec. user=mdettweiler [2013-05-03 20:48:10] 825*2^1245708-1 is not prime. Res64: C3EB929D6D863BC8 Time : 0.0 sec. user=mdettweiler [2013-05-03 20:51:05] 927*2^1245708-1 is not prime. Res64: 197FEE401A454687 Time : 0.0 sec. user=mdettweiler [2013-05-03 20:51:05] 975*2^1245708-1 is not prime. Res64: 6FD1A953ACA67FB4 Time : 0.0 sec. user=mdettweiler [2013-05-03 21:05:56] 951*2^1245709-1 is not prime. Res64: F8638C0885862C8C Time : 0.0 sec. user=mdettweiler [2013-05-03 21:05:57] 677*2^1245710-1 is not prime. Res64: 7EA0EFD057C661F8 Time : 0.0 sec. user=mdettweiler [2013-05-03 21:08:51] 797*2^1245710-1 is not prime. Res64: 5F80D456F065B775 Time : 0.0 sec. user=mdettweiler [2013-05-03 21:08:52] 831*2^1245710-1 is not prime. Res64: DC0DC0061340FAFE Time : 0.0 sec. user=mdettweiler [2013-05-03 21:23:48] 945*2^1245710-1 is not prime. Res64: FE31B842600BF438 Time : 0.0 sec. user=mdettweiler [2013-05-03 21:23:49] 649*2^1245711-1 is not prime. Res64: 5F2E137AD29BD978 Time : 0.0 sec. user=vaughan [2013-05-03 21:26:30] 625*2^1245709-1 is not prime. Res64: DDFFCCC561A5D80C Time : 0.0 sec. user=mdettweiler [2013-05-03 21:26:39] 711*2^1245711-1 is not prime. Res64: C3FE4E1965DD1ADB Time : 0.0 sec. user=mdettweiler [2013-05-03 21:26:39] 763*2^1245711-1 is not prime. Res64: BACDD2FCAFFA2416 Time : 0.0 sec. user=mdettweiler [2013-05-03 21:41:38] 769*2^1245711-1 is not prime. Res64: 0958CFEAFD535AC1 Time : 0.0 sec. user=mdettweiler [2013-05-03 21:41:38] 805*2^1245711-1 is not prime. Res64: 1AA429318FF65D12 Time : 0.0 sec. user=mdettweiler [2013-05-03 21:44:25] 635*2^1245712-1 is not prime. Res64: CBAC9B33E977D90A Time : 0.0 sec. user=mdettweiler [2013-05-03 21:44:25] 693*2^1245712-1 is not prime. Res64: 2354359FD4C0AA78 Time : 0.0 sec. user=mdettweiler [2013-05-03 21:59:24] 719*2^1245712-1 is not prime. Res64: 1AEA9A12F8CDEF2B Time : 0.0 sec. user=mdettweiler [2013-05-03 21:59:24] 723*2^1245712-1 is not prime. Res64: EAB3C126B9FEC59B Time : 0.0 sec. user=mdettweiler [2013-05-03 22:02:11] 855*2^1245712-1 is not prime. Res64: F1EBD48794D31663 Time : 0.0 sec. user=mdettweiler [2013-05-03 22:02:12] 873*2^1245712-1 is not prime. Res64: 913603D41871974F Time : 0.0 sec. user=vaughan [2013-05-03 22:10:16] 979*2^1245711-1 is not prime. Res64: 5C8ED18A04F9EA9B Time : 0.0 sec. user=mdettweiler [2013-05-03 22:17:11] 875*2^1245712-1 is not prime. Res64: D8B5EB06252CBB6D Time : 0.0 sec. user=mdettweiler [2013-05-03 22:17:11] 917*2^1245712-1 is not prime. Res64: BF52BB432366ED62 Time : 0.0 sec. user=mdettweiler [2013-05-03 22:19:59] 983*2^1245712-1 is not prime. Res64: 880AB605D04CC6C0 Time : 0.0 sec. user=mdettweiler [2013-05-03 22:20:00] 631*2^1245713-1 is not prime. Res64: 9FB933264F5681FC Time : 0.0 sec. user=mdettweiler [2013-05-03 22:35:07] 727*2^1245713-1 is not prime. Res64: 29517505A14D5D92 Time : 0.0 sec. user=mdettweiler [2013-05-03 22:35:08] 735*2^1245713-1 is not prime. Res64: 595C7943BCFDD4E8 Time : 0.0 sec. user=mdettweiler [2013-05-03 22:37:45] 781*2^1245713-1 is not prime. Res64: 5D6C8FA2639D5DEB Time : 0.0 sec. user=mdettweiler [2013-05-03 22:37:45] 787*2^1245713-1 is not prime. Res64: 112D41B6CF11758A Time : 0.0 sec. user=vaughan [2013-05-03 22:48:47] 657*2^1245713-1 is not prime. Res64: 3107F8F6D4C94B2C Time : 0.0 sec. user=mdettweiler [2013-05-03 22:52:53] 831*2^1245713-1 is not prime. Res64: C49DC9FC01392B0B Time : 0.0 sec. user=mdettweiler [2013-05-03 22:52:54] 847*2^1245713-1 is not prime. Res64: 3B87B82715D0882A Time : 0.0 sec. user=mdettweiler [2013-05-03 22:55:30] 885*2^1245713-1 is not prime. Res64: 49AEC768B963E02D Time : 0.0 sec. user=mdettweiler [2013-05-03 22:55:30] 897*2^1245713-1 is not prime. Res64: C2F799D6CD88C21C Time : 0.0 sec. user=mdettweiler [2013-05-03 23:10:39] 633*2^1245714-1 is not prime. Res64: 3ACBD285B91C7C55 Time : 0.0 sec. user=mdettweiler [2013-05-03 23:10:41] 635*2^1245714-1 is not prime. Res64: DEF541C8A2EFA085 Time : 0.0 sec. user=mdettweiler [2013-05-03 23:13:16] 651*2^1245714-1 is not prime. Res64: F917067907C47F5E Time : 0.0 sec. user=mdettweiler [2013-05-03 23:13:16] 671*2^1245714-1 is not prime. Res64: 0C4FF391E5DA8C23 Time : 0.0 sec. user=mdettweiler [2013-05-03 23:28:34] 747*2^1245714-1 is not prime. Res64: 9B2FB744E81080FB Time : 0.0 sec. user=mdettweiler [2013-05-03 23:28:35] 619*2^1245715-1 is not prime. Res64: 9B764DB3F6BC6DFC Time : 0.0 sec. user=mdettweiler [2013-05-03 23:31:01] 673*2^1245715-1 is not prime. Res64: 4728452E59934072 Time : 0.0 sec. user=mdettweiler [2013-05-03 23:31:01] 735*2^1245715-1 is not prime. Res64: F82A10FBFFCAE3E8 Time : 0.0 sec. user=vaughan [2013-05-03 23:32:29] 957*2^1245713-1 is not prime. Res64: E61BB9724039F41F Time : 0.0 sec. user=mdettweiler [2013-05-03 23:46:24] 765*2^1245715-1 is not prime. Res64: 113FB2236D760680 Time : 0.0 sec. user=mdettweiler [2013-05-03 23:46:24] 789*2^1245715-1 is not prime. Res64: DEC737DE9996FF69 Time : 0.0 sec. user=mdettweiler [2013-05-03 23:48:53] 843*2^1245715-1 is not prime. Res64: E664363FAD43C077 Time : 0.0 sec. user=mdettweiler [2013-05-03 23:48:53] 885*2^1245715-1 is not prime. Res64: B0185D5B44690FA5 Time : 0.0 sec.