user=mdettweiler [2013-09-06 00:02:32] 687*2^1252448-1 is not prime. Res64: 0CB3D3D8736D914A Time : 0.0 sec. user=mdettweiler [2013-09-06 00:02:33] 713*2^1252448-1 is not prime. Res64: E67D49B8E6DD5356 Time : 0.0 sec. user=mdettweiler [2013-09-06 00:07:48] 845*2^1252448-1 is not prime. Res64: 0C00DFB6425D54D7 Time : 0.0 sec. user=mdettweiler [2013-09-06 00:07:49] 685*2^1252449-1 is not prime. Res64: 5F3DF694F6776691 Time : 0.0 sec. user=mdettweiler [2013-09-06 00:10:05] 781*2^1252449-1 is not prime. Res64: 9B81069319320159 Time : 0.0 sec. user=mdettweiler [2013-09-06 00:10:06] 831*2^1252449-1 is not prime. Res64: 2595E7D294F6B177 Time : 0.0 sec. user=mdettweiler [2013-09-06 00:11:57] 865*2^1252449-1 is not prime. Res64: 8E4284990A2609F9 Time : 0.0 sec. user=mdettweiler [2013-09-06 00:11:57] 657*2^1252450-1 is not prime. Res64: 14AAF2B6EB55BA84 Time : 0.0 sec. user=mdettweiler [2013-09-06 00:22:19] 803*2^1252450-1 is not prime. Res64: CE86082133218070 Time : 0.0 sec. user=mdettweiler [2013-09-06 00:22:20] 813*2^1252450-1 is not prime. Res64: 796600606BB5F559 Time : 0.0 sec. user=mdettweiler [2013-09-06 00:28:28] 867*2^1252450-1 is not prime. Res64: 90F3EDE5FD31A466 Time : 0.0 sec. user=mdettweiler [2013-09-06 00:28:28] 887*2^1252450-1 is not prime. Res64: EA2EBC874517E121 Time : 0.0 sec. user=mdettweiler [2013-09-06 00:31:37] 645*2^1252451-1 is not prime. Res64: A197AAC62DFC3B6C Time : 0.0 sec. user=mdettweiler [2013-09-06 00:31:37] 669*2^1252451-1 is not prime. Res64: A1D0D5BCBF98890B Time : 0.0 sec. user=mdettweiler [2013-09-06 00:31:43] 957*2^1252450-1 is not prime. Res64: EA7DAD3BD813B192 Time : 0.0 sec. user=mdettweiler [2013-09-06 00:31:43] 981*2^1252450-1 is not prime. Res64: 94D42EAD7498CFE8 Time : 0.0 sec. user=mdettweiler [2013-09-06 00:41:59] 693*2^1252451-1 is not prime. Res64: DF8E983085C7CF5A Time : 0.0 sec. user=mdettweiler [2013-09-06 00:42:00] 805*2^1252451-1 is not prime. Res64: 3F62A00C4E3ACA47 Time : 0.0 sec. user=mdettweiler [2013-09-06 00:49:09] 913*2^1252451-1 is not prime. Res64: 7DCE52EF1B1ED3B1 Time : 0.0 sec. user=mdettweiler [2013-09-06 00:49:09] 749*2^1252452-1 is not prime. Res64: ACF8B35B5D370D27 Time : 0.0 sec. user=mdettweiler [2013-09-06 00:51:20] 753*2^1252452-1 is not prime. Res64: 5368A3C61D8C2E4E Time : 0.0 sec. user=mdettweiler [2013-09-06 00:51:21] 759*2^1252452-1 is not prime. Res64: D7FCFEF1E5242531 Time : 0.0 sec. user=mdettweiler [2013-09-06 00:52:22] 801*2^1252453-1 is not prime. Res64: A6C51F4D33E7B10A Time : 0.0 sec. user=mdettweiler [2013-09-06 00:52:22] 939*2^1252453-1 is not prime. Res64: 3E19EFF0EDB5123B Time : 0.0 sec. user=mdettweiler [2013-09-06 01:01:40] 705*2^1252454-1 is not prime. Res64: 7CA6E5EEC0CCEBC1 Time : 0.0 sec. user=mdettweiler [2013-09-06 01:01:41] 743*2^1252454-1 is not prime. Res64: 8C4FF18E0914EE51 Time : 0.0 sec. user=mdettweiler [2013-09-06 01:09:49] 785*2^1252454-1 is not prime. Res64: 0C726F5EA0E32407 Time : 0.0 sec. user=mdettweiler [2013-09-06 01:09:50] 887*2^1252454-1 is not prime. Res64: DB2E2C70108DF99B Time : 0.0 sec. user=mdettweiler [2013-09-06 01:11:56] 953*2^1252454-1 is not prime. Res64: 970284E8D208AFE3 Time : 0.0 sec. user=mdettweiler [2013-09-06 01:11:57] 649*2^1252455-1 is not prime. Res64: B70FA29367C48199 Time : 0.0 sec. user=mdettweiler [2013-09-06 01:12:00] 669*2^1252455-1 is not prime. Res64: 297496884D91F960 Time : 0.0 sec. user=mdettweiler [2013-09-06 01:12:02] 693*2^1252455-1 is not prime. Res64: 830E3DBC492AE098 Time : 0.0 sec. user=mdettweiler [2013-09-06 01:21:25] 709*2^1252455-1 is not prime. Res64: 8D388C166AD30544 Time : 0.0 sec. user=mdettweiler [2013-09-06 01:21:25] 735*2^1252455-1 is not prime. Res64: 70CEE900CD4142BE Time : 0.0 sec. user=mdettweiler [2013-09-06 01:29:30] 741*2^1252455-1 is not prime. Res64: CB89A1D1A114959C Time : 0.0 sec. user=mdettweiler [2013-09-06 01:29:30] 781*2^1252455-1 is not prime. Res64: 6FD066298D45CE18 Time : 0.0 sec. user=mdettweiler [2013-09-06 01:32:33] 819*2^1252455-1 is not prime. Res64: 900843B781EA2EF4 Time : 0.0 sec. user=mdettweiler [2013-09-06 01:32:33] 943*2^1252455-1 is not prime. Res64: AF7D19FB6B8BFA9D Time : 0.0 sec. user=mdettweiler [2013-09-06 01:32:39] 955*2^1252455-1 is not prime. Res64: F587322C86B8FBD3 Time : 0.0 sec. user=mdettweiler [2013-09-06 01:32:40] 603*2^1252456-1 is not prime. Res64: 48543FCA3F50D6AF Time : 0.0 sec. user=mdettweiler [2013-09-06 01:41:00] 849*2^1252456-1 is not prime. Res64: F481BD0515269121 Time : 0.0 sec. user=mdettweiler [2013-09-06 01:41:00] 869*2^1252456-1 is not prime. Res64: 6CE3F76C620A9798 Time : 0.0 sec. user=mdettweiler [2013-09-06 01:50:07] 899*2^1252456-1 is not prime. Res64: 03A536276733B75C Time : 0.0 sec. user=mdettweiler [2013-09-06 01:50:07] 729*2^1252457-1 is not prime. Res64: 068BD9AB904119D1 Time : 0.0 sec. user=mdettweiler [2013-09-06 01:52:06] 831*2^1252457-1 is not prime. Res64: 820F11C26C12C905 Time : 0.0 sec. user=mdettweiler [2013-09-06 01:52:06] 841*2^1252457-1 is not prime. Res64: 92F21D17725E44EA Time : 0.0 sec. user=mdettweiler [2013-09-06 01:52:20] 735*2^1252458-1 is not prime. Res64: D51897BD459E69F4 Time : 0.0 sec. user=mdettweiler [2013-09-06 01:52:21] 747*2^1252458-1 is not prime. Res64: 5E45B2019019CA6A Time : 0.0 sec. user=mdettweiler [2013-09-06 02:01:39] 773*2^1252458-1 is not prime. Res64: C6A1CC77C5F31078 Time : 0.0 sec. user=mdettweiler [2013-09-06 02:01:40] 921*2^1252458-1 is not prime. Res64: 9116757984B90861 Time : 0.0 sec. user=mdettweiler [2013-09-06 02:10:48] 975*2^1252458-1 is not prime. Res64: 32A6E7E272B17207 Time : 0.0 sec. user=mdettweiler [2013-09-06 02:10:49] 603*2^1252459-1 is not prime. Res64: 0946552F08C1D38B Time : 0.0 sec. user=mdettweiler [2013-09-06 02:11:57] 615*2^1252459-1 is not prime. Res64: A58D6C1097DEFD4F Time : 0.0 sec. user=mdettweiler [2013-09-06 02:11:58] 741*2^1252459-1 is not prime. Res64: 29B5221B2F8D0685 Time : 0.0 sec. user=mdettweiler [2013-09-06 02:12:03] 745*2^1252459-1 is not prime. Res64: 3F43AE6549A003D3 Time : 0.0 sec. user=mdettweiler [2013-09-06 02:12:04] 775*2^1252459-1 is not prime. Res64: A648BFD966C39E04 Time : 0.0 sec. user=mdettweiler [2013-09-06 02:23:13] 925*2^1252459-1 is not prime. Res64: A552869DADF2CD77 Time : 0.0 sec. user=mdettweiler [2013-09-06 02:23:14] 961*2^1252459-1 is not prime. Res64: 0A74152B958C4E1E Time : 0.0 sec. user=mdettweiler [2013-09-06 02:31:28] 975*2^1252459-1 is not prime. Res64: B17E3CAC231BCE15 Time : 0.0 sec. user=mdettweiler [2013-09-06 02:31:29] 609*2^1252460-1 is not prime. Res64: DF474ED964ED91CE Time : 0.0 sec. user=mdettweiler [2013-09-06 02:32:41] 995*2^1252460-1 is not prime. Res64: A7871FB988FCDD70 Time : 0.0 sec. user=mdettweiler [2013-09-06 02:32:42] 607*2^1252461-1 is not prime. Res64: 1E3D75ABDB8049C7 Time : 0.0 sec. user=mdettweiler [2013-09-06 02:33:33] 909*2^1252460-1 is not prime. Res64: E82727C64CB821CB Time : 0.0 sec. user=mdettweiler [2013-09-06 02:33:34] 929*2^1252460-1 is not prime. Res64: A369D33F52772CC5 Time : 0.0 sec. user=mdettweiler [2013-09-06 02:42:51] 661*2^1252461-1 is not prime. Res64: E7E2A06EA65880DF Time : 0.0 sec. user=mdettweiler [2013-09-06 02:42:53] 685*2^1252461-1 is not prime. Res64: D2B3C46F650B0F43 Time : 0.0 sec. user=mdettweiler [2013-09-06 02:51:06] 711*2^1252461-1 is not prime. Res64: 71DDA65B1BD7B005 Time : 0.0 sec. user=mdettweiler [2013-09-06 02:51:07] 717*2^1252461-1 is not prime. Res64: AFE4CF2BE684E164 Time : 0.0 sec. user=mdettweiler [2013-09-06 02:53:13] 705*2^1252462-1 is not prime. Res64: C23D0A759CDD1874 Time : 0.0 sec. user=mdettweiler [2013-09-06 02:53:13] 723*2^1252462-1 is not prime. Res64: 309A69974677BC64 Time : 0.0 sec. user=mdettweiler [2013-09-06 02:53:21] 747*2^1252461-1 is not prime. Res64: 5956AFB33375B84C Time : 0.0 sec. user=mdettweiler [2013-09-06 02:53:22] 921*2^1252461-1 is not prime. Res64: 9E68F8A3ACF844D1 Time : 0.0 sec. user=mdettweiler [2013-09-06 03:02:36] 825*2^1252462-1 is not prime. Res64: F4993AFD444C051A Time : 0.0 sec. user=mdettweiler [2013-09-06 03:02:38] 827*2^1252462-1 is not prime. Res64: C17D855CB1C47983 Time : 0.0 sec. user=mdettweiler [2013-09-06 03:10:42] 863*2^1252462-1 is not prime. Res64: BFFDEDD034535D98 Time : 0.0 sec. user=mdettweiler [2013-09-06 03:10:44] 609*2^1252463-1 is not prime. Res64: 7E495C926C099172 Time : 0.0 sec. user=mdettweiler [2013-09-06 03:12:52] 621*2^1252463-1 is not prime. Res64: 156891284F191613 Time : 0.0 sec. user=mdettweiler [2013-09-06 03:12:53] 753*2^1252463-1 is not prime. Res64: F4DA62C946000EE8 Time : 0.0 sec. user=mdettweiler [2013-09-06 03:13:04] 781*2^1252463-1 is not prime. Res64: 64EEC8EEF54F26D6 Time : 0.0 sec. user=mdettweiler [2013-09-06 03:13:05] 855*2^1252463-1 is not prime. Res64: C515A18797203A21 Time : 0.0 sec. user=mdettweiler [2013-09-06 03:22:56] 693*2^1252464-1 is not prime. Res64: 3A7914309CEC647A Time : 0.0 sec. user=mdettweiler [2013-09-06 03:22:56] 753*2^1252464-1 is not prime. Res64: E59902BB40835943 Time : 0.0 sec. user=mdettweiler [2013-09-06 03:31:32] 843*2^1252464-1 is not prime. Res64: 97E74A8B109E3D52 Time : 0.0 sec. user=mdettweiler [2013-09-06 03:31:33] 959*2^1252464-1 is not prime. Res64: 5B00E43AEC3DC622 Time : 0.0 sec. user=mdettweiler [2013-09-06 03:32:47] 691*2^1252465-1 is not prime. Res64: 8B513B7F044B7126 Time : 0.0 sec. user=mdettweiler [2013-09-06 03:32:49] 831*2^1252465-1 is not prime. Res64: EE2CB342BFA45F56 Time : 0.0 sec. user=mdettweiler [2013-09-06 03:33:51] 975*2^1252464-1 is not prime. Res64: 7677230D0F20FE24 Time : 0.0 sec. user=mdettweiler [2013-09-06 03:33:51] 601*2^1252465-1 is not prime. Res64: 787BAEB85338006C Time : 0.0 sec. user=mdettweiler [2013-09-06 03:43:22] 855*2^1252465-1 is not prime. Res64: AC6830F884169AE2 Time : 0.0 sec. user=mdettweiler [2013-09-06 03:43:23] 895*2^1252465-1 is not prime. Res64: F0EB9790E54BAE20 Time : 0.0 sec. user=mdettweiler [2013-09-06 03:52:16] 979*2^1252465-1 is not prime. Res64: E021BB4F5DD423EF Time : 0.0 sec. user=mdettweiler [2013-09-06 03:52:16] 675*2^1252466-1 is not prime. Res64: 735F9FA38E40DCF9 Time : 0.0 sec. user=mdettweiler [2013-09-06 03:52:24] 677*2^1252466-1 is not prime. Res64: E1FBA434EB0CF8F8 Time : 0.0 sec. user=mdettweiler [2013-09-06 03:52:24] 683*2^1252466-1 is not prime. Res64: 25EDF145BACE5B9A Time : 0.0 sec. user=mdettweiler [2013-09-06 03:53:21] 713*2^1252466-1 is not prime. Res64: 312BBC7E1B69FE5D Time : 0.0 sec. user=mdettweiler [2013-09-06 03:53:21] 785*2^1252466-1 is not prime. Res64: 15E85C34C893EB40 Time : 0.0 sec. user=mdettweiler [2013-09-06 04:04:53] 911*2^1252466-1 is not prime. Res64: B31B15F7064AB5C9 Time : 0.0 sec. user=mdettweiler [2013-09-06 04:04:54] 941*2^1252466-1 is not prime. Res64: D09D4750B3C8C1C3 Time : 0.0 sec. user=mdettweiler [2013-09-06 04:11:55] 711*2^1252467-1 is not prime. Res64: BA504AE19133CD57 Time : 0.0 sec. user=mdettweiler [2013-09-06 04:11:56] 735*2^1252467-1 is not prime. Res64: 16D600038DB57281 Time : 0.0 sec. user=mdettweiler [2013-09-06 04:12:44] 945*2^1252466-1 is not prime. Res64: CDF5B762FDB23AD9 Time : 0.0 sec. user=mdettweiler [2013-09-06 04:12:45] 625*2^1252467-1 is not prime. Res64: CBD4F0A7A7541415 Time : 0.0 sec. user=mdettweiler [2013-09-06 04:12:54] 801*2^1252467-1 is not prime. Res64: 37B4EEAB2E540FD1 Time : 0.0 sec. user=mdettweiler [2013-09-06 04:12:55] 695*2^1252468-1 is not prime. Res64: 8D59076621D91C1B Time : 0.0 sec. user=mdettweiler [2013-09-06 04:24:36] 777*2^1252468-1 is not prime. Res64: E244C1BC62782278 Time : 0.0 sec. user=mdettweiler [2013-09-06 04:24:37] 855*2^1252468-1 is not prime. Res64: 848A3D1F6A6AF9ED Time : 0.0 sec. user=mdettweiler [2013-09-06 04:32:30] 645*2^1252469-1 is not prime. Res64: 48E3CC26BDF3659E Time : 0.0 sec. user=mdettweiler [2013-09-06 04:32:31] 685*2^1252469-1 is not prime. Res64: 3694123FB4A2FFB3 Time : 0.0 sec. user=mdettweiler [2013-09-06 04:33:25] 887*2^1252468-1 is not prime. Res64: F9EB5FCC0732F3E0 Time : 0.0 sec. user=mdettweiler [2013-09-06 04:33:26] 957*2^1252468-1 is not prime. Res64: F3CFB47E0C026B3E Time : 0.0 sec. user=mdettweiler [2013-09-06 04:34:22] 975*2^1252468-1 is not prime. Res64: D3D35F3DA34F17B6 Time : 0.0 sec. user=mdettweiler [2013-09-06 04:34:23] 999*2^1252468-1 is not prime. Res64: 595A26687F95B342 Time : 0.0 sec. user=mdettweiler [2013-09-06 04:44:05] 775*2^1252469-1 is not prime. Res64: 2372B4CCF608DF2C Time : 0.0 sec. user=mdettweiler [2013-09-06 04:44:05] 867*2^1252469-1 is not prime. Res64: BFD364BABA42101E Time : 0.0 sec. user=mdettweiler [2013-09-06 04:52:04] 647*2^1252470-1 is not prime. Res64: 03B8148456357D3D Time : 0.0 sec. user=mdettweiler [2013-09-06 04:52:05] 651*2^1252470-1 is not prime. Res64: 6D0C649F72069289 Time : 0.0 sec. user=mdettweiler [2013-09-06 04:52:56] 707*2^1252470-1 is not prime. Res64: 40AACD9BE04F076C Time : 0.0 sec. user=mdettweiler [2013-09-06 04:52:56] 713*2^1252470-1 is not prime. Res64: B2996FB5B5F5CACD Time : 0.0 sec. user=mdettweiler [2013-09-06 04:53:57] 717*2^1252470-1 is not prime. Res64: C0E3B1DB6E5FE224 Time : 0.0 sec. user=mdettweiler [2013-09-06 04:53:57] 723*2^1252470-1 is not prime. Res64: A73F0F14D4A818EB Time : 0.0 sec. user=mdettweiler [2013-09-06 05:03:34] 801*2^1252470-1 is not prime. Res64: F50496C797CC9275 Time : 0.0 sec. user=mdettweiler [2013-09-06 05:03:36] 845*2^1252470-1 is not prime. Res64: 29397B17D9939D30 Time : 0.0 sec. user=mdettweiler [2013-09-06 05:11:38] 873*2^1252470-1 is not prime. Res64: 1D6EE191D0E75A97 Time : 0.0 sec. user=mdettweiler [2013-09-06 05:11:39] 875*2^1252470-1 is not prime. Res64: B2662A8DA63EEDD1 Time : 0.0 sec. user=mdettweiler [2013-09-06 05:13:20] 885*2^1252470-1 is not prime. Res64: 04D863B7A5FC953B Time : 0.0 sec. user=mdettweiler [2013-09-06 05:13:21] 639*2^1252471-1 is not prime. Res64: 97A0020ABE6E4459 Time : 0.0 sec. user=mdettweiler [2013-09-06 05:13:22] 763*2^1252471-1 is not prime. Res64: 5FBF8078FF08DA4C Time : 0.0 sec. user=mdettweiler [2013-09-06 05:13:23] 789*2^1252471-1 is not prime. Res64: DD2C38C7C08F7462 Time : 0.0 sec. user=mdettweiler [2013-09-06 05:25:02] 943*2^1252471-1 is not prime. Res64: EBBE1407FA1AEE76 Time : 0.0 sec. user=mdettweiler [2013-09-06 05:25:02] 993*2^1252471-1 is not prime. Res64: 54D672ACC3F73F46 Time : 0.0 sec. user=mdettweiler [2013-09-06 05:31:13] 669*2^1252472-1 is not prime. Res64: 8B13FF56AF2B5CE6 Time : 0.0 sec. user=mdettweiler [2013-09-06 05:31:14] 675*2^1252472-1 is not prime. Res64: 6BD189DE9586B563 Time : 0.0 sec. user=mdettweiler [2013-09-06 05:32:49] 815*2^1252472-1 is not prime. Res64: 5A6792A2FF309BA6 Time : 0.0 sec. user=mdettweiler [2013-09-06 05:32:50] 837*2^1252472-1 is not prime. Res64: 2BFA1BA53B39DAE0 Time : 0.0 sec. user=mdettweiler [2013-09-06 05:33:49] 999*2^1252472-1 is not prime. Res64: 823DDC6D581BAF22 Time : 0.0 sec. user=mdettweiler [2013-09-06 05:33:50] 739*2^1252473-1 is not prime. Res64: 503FCB155E384E2D Time : 0.0 sec. user=mdettweiler [2013-09-06 05:44:36] 781*2^1252473-1 is not prime. Res64: C658CF9F499315DA Time : 0.0 sec. user=mdettweiler [2013-09-06 05:44:37] 805*2^1252473-1 is not prime. Res64: 0E5ED2FCFB80AE51 Time : 0.0 sec. user=mdettweiler [2013-09-06 05:50:50] 817*2^1252473-1 is not prime. Res64: 41016CEAC8E68D58 Time : 0.0 sec. user=mdettweiler [2013-09-06 05:50:50] 835*2^1252473-1 is not prime. Res64: B11C6238298F1C8C Time : 0.0 sec. user=mdettweiler [2013-09-06 05:52:25] 837*2^1252473-1 is not prime. Res64: FBC4E174DA0F7842 Time : 0.0 sec. user=mdettweiler [2013-09-06 05:52:26] 877*2^1252473-1 is not prime. Res64: 8A6F37DD46B0A0B3 Time : 0.0 sec. user=mdettweiler [2013-09-06 05:53:27] 605*2^1252474-1 is not prime. Res64: FD2E57098A6AA5ED Time : 0.0 sec. user=mdettweiler [2013-09-06 05:53:27] 645*2^1252474-1 is not prime. Res64: 78D8C23CD546FA91 Time : 0.0 sec. user=mdettweiler [2013-09-06 06:04:06] 651*2^1252474-1 is not prime. Res64: 4690B2EE4DDE2EF3 Time : 0.0 sec. user=mdettweiler [2013-09-06 06:04:06] 657*2^1252474-1 is not prime. Res64: 523760F25DE47804 Time : 0.0 sec. user=mdettweiler [2013-09-06 06:10:24] 681*2^1252474-1 is not prime. Res64: 136BF5E0A4A8FECB Time : 0.0 sec. user=mdettweiler [2013-09-06 06:10:25] 737*2^1252474-1 is not prime. Res64: 1327EC45820E5850 Time : 0.0 sec. user=mdettweiler [2013-09-06 06:12:52] 765*2^1252474-1 is not prime. Res64: 9E16616C3131097E Time : 0.0 sec. user=mdettweiler [2013-09-06 06:12:52] 915*2^1252474-1 is not prime. Res64: 6C5B93C5311522AD Time : 0.0 sec. user=mdettweiler [2013-09-06 06:13:48] 917*2^1252474-1 is not prime. Res64: 76C7F66A7E4C1014 Time : 0.0 sec. user=mdettweiler [2013-09-06 06:13:48] 619*2^1252475-1 is not prime. Res64: CDD5E189A9098CDE Time : 0.0 sec. user=mdettweiler [2013-09-06 06:23:41] 649*2^1252475-1 is not prime. Res64: 4D61D049A2539E75 Time : 0.0 sec. user=mdettweiler [2013-09-06 06:23:41] 685*2^1252475-1 is not prime. Res64: DD7E97D92C9C49EA Time : 0.0 sec. user=mdettweiler [2013-09-06 06:30:00] 783*2^1252475-1 is not prime. Res64: 8192B72B6BE48785 Time : 0.0 sec. user=mdettweiler [2013-09-06 06:30:00] 823*2^1252475-1 is not prime. Res64: D4EBCE2A4DF32697 Time : 0.0 sec. user=mdettweiler [2013-09-06 06:34:14] 991*2^1252475-1 is not prime. Res64: C061CC041DB6830D Time : 0.0 sec. user=mdettweiler [2013-09-06 06:34:15] 717*2^1252476-1 is not prime. Res64: 1E6AFCEDB7708139 Time : 0.0 sec. user=mdettweiler [2013-09-06 06:34:18] 943*2^1252475-1 is not prime. Res64: 535975AFE18FF690 Time : 0.0 sec. user=mdettweiler [2013-09-06 06:34:18] 981*2^1252475-1 is not prime. Res64: 50B9643AA8B93CF8 Time : 0.0 sec. user=mdettweiler [2013-09-06 06:43:09] 825*2^1252476-1 is not prime. Res64: 0A6B6A7E01566062 Time : 0.0 sec. user=mdettweiler [2013-09-06 06:43:10] 867*2^1252476-1 is not prime. Res64: C8B687424CC835E8 Time : 0.0 sec. user=mdettweiler [2013-09-06 06:49:28] 615*2^1252477-1 is not prime. Res64: B6631D2DA6B9B5BC Time : 0.0 sec. user=mdettweiler [2013-09-06 06:49:28] 729*2^1252477-1 is not prime. Res64: E319AFDC42C8C5E3 Time : 0.0 sec. user=mdettweiler [2013-09-06 06:53:46] 829*2^1252477-1 is not prime. Res64: 40AEF330FD556A7B Time : 0.0 sec. user=mdettweiler [2013-09-06 06:53:46] 835*2^1252477-1 is not prime. Res64: 73128761058CA9D5 Time : 0.0 sec. user=mdettweiler [2013-09-06 06:54:44] 931*2^1252477-1 is not prime. Res64: 1CEF8DA20F9F9EC7 Time : 0.0 sec. user=mdettweiler [2013-09-06 06:54:44] 605*2^1252478-1 is not prime. Res64: 67E1AB940F13B97C Time : 0.0 sec. user=mdettweiler [2013-09-06 07:02:42] 677*2^1252478-1 is not prime. Res64: 806AFD2B29FFDCFA Time : 0.0 sec. user=mdettweiler [2013-09-06 07:02:44] 755*2^1252478-1 is not prime. Res64: 83F104ADC32CA3EB Time : 0.0 sec. user=mdettweiler [2013-09-06 07:08:57] 813*2^1252478-1 is not prime. Res64: 76B76BA823B032E1 Time : 0.0 sec. user=mdettweiler [2013-09-06 07:08:59] 827*2^1252478-1 is not prime. Res64: 3FBCCF8C6D53E5F8 Time : 0.0 sec. user=mdettweiler [2013-09-06 07:13:20] 831*2^1252478-1 is not prime. Res64: 9F1703932B0D9550 Time : 0.0 sec. user=mdettweiler [2013-09-06 07:13:21] 843*2^1252478-1 is not prime. Res64: A5CCFE5D2856DD0F Time : 0.0 sec. user=mdettweiler [2013-09-06 07:15:08] 951*2^1252478-1 is not prime. Res64: 48DB41A8CD43A0BA Time : 0.0 sec. user=mdettweiler [2013-09-06 07:15:08] 613*2^1252479-1 is not prime. Res64: 04E0E8896AE96F71 Time : 0.0 sec. user=mdettweiler [2013-09-06 07:22:08] 669*2^1252479-1 is not prime. Res64: 8F62D6313F0831C4 Time : 0.0 sec. user=mdettweiler [2013-09-06 07:22:08] 693*2^1252479-1 is not prime. Res64: F1DD1F926DF896E1 Time : 0.0 sec. user=mdettweiler [2013-09-06 07:28:23] 751*2^1252479-1 is not prime. Res64: BAEDA2A9421920F8 Time : 0.0 sec. user=mdettweiler [2013-09-06 07:28:24] 769*2^1252479-1 is not prime. Res64: 3EB465E62431BDE1 Time : 0.0 sec. user=mdettweiler [2013-09-06 07:32:46] 831*2^1252479-1 is not prime. Res64: 220FCF5251C88175 Time : 0.0 sec. user=mdettweiler [2013-09-06 07:32:46] 777*2^1252480-1 is not prime. Res64: DB5F2C67F1E899F0 Time : 0.0 sec. user=mdettweiler [2013-09-06 07:34:36] 827*2^1252480-1 is not prime. Res64: C3D5FCA1592543A7 Time : 0.0 sec. user=mdettweiler [2013-09-06 07:34:37] 833*2^1252480-1 is not prime. Res64: E534CDB63EE3AE90 Time : 0.0 sec. user=mdettweiler [2013-09-06 07:42:34] 845*2^1252480-1 is not prime. Res64: AD1D58390EA3B589 Time : 0.0 sec. user=mdettweiler [2013-09-06 07:42:34] 929*2^1252480-1 is not prime. Res64: C94BF31292818BAA Time : 0.0 sec. user=mdettweiler [2013-09-06 07:49:45] 957*2^1252480-1 is not prime. Res64: D259758946AEF4DA Time : 0.0 sec. user=mdettweiler [2013-09-06 07:49:46] 965*2^1252480-1 is not prime. Res64: 9EC1744780F4FEEF Time : 0.0 sec. user=mdettweiler [2013-09-06 07:52:14] 679*2^1252481-1 is not prime. Res64: AF3BB344C43A9316 Time : 0.0 sec. user=mdettweiler [2013-09-06 07:52:14] 697*2^1252481-1 is not prime. Res64: 43C80E24B5202766 Time : 0.0 sec. user=mdettweiler [2013-09-06 07:54:16] 711*2^1252481-1 is not prime. Res64: B5A89A9C81A2DF1A Time : 0.0 sec. user=mdettweiler [2013-09-06 07:54:16] 741*2^1252481-1 is not prime. Res64: CF6CC45E638A44A2 Time : 0.0 sec. user=mdettweiler [2013-09-06 08:02:01] 769*2^1252481-1 is not prime. Res64: 337146D4837E7C5A Time : 0.0 sec. user=mdettweiler [2013-09-06 08:02:02] 865*2^1252481-1 is not prime. Res64: 25E11EA1AD497D52 Time : 0.0 sec. user=mdettweiler [2013-09-06 08:11:06] 979*2^1252481-1 is not prime. Res64: AE7A4289BF9BEAD0 Time : 0.0 sec. user=mdettweiler [2013-09-06 08:11:07] 997*2^1252481-1 is not prime. Res64: 00F232BC5E0147E8 Time : 0.0 sec. user=mdettweiler [2013-09-06 08:11:41] 651*2^1252482-1 is not prime. Res64: E79A97576514AF56 Time : 0.0 sec. user=mdettweiler [2013-09-06 08:11:42] 681*2^1252482-1 is not prime. Res64: 67425FD4C0BB6C1D Time : 0.0 sec. user=mdettweiler [2013-09-06 08:13:50] 837*2^1252482-1 is not prime. Res64: 51B31DABF0416D45 Time : 0.0 sec. user=mdettweiler [2013-09-06 08:13:50] 867*2^1252482-1 is not prime. Res64: B04ED830AD913DC1 Time : 0.0 sec. user=mdettweiler [2013-09-06 08:22:29] 983*2^1252482-1 is not prime. Res64: C3152D9A957262FC Time : 0.0 sec. user=mdettweiler [2013-09-06 08:22:30] 741*2^1252483-1 is not prime. Res64: 890BE20C9D2C29A6 Time : 0.0 sec. user=mdettweiler [2013-09-06 08:31:11] 615*2^1252484-1 is not prime. Res64: E1BE4C1B6F33027C Time : 0.0 sec. user=mdettweiler [2013-09-06 08:31:11] 665*2^1252484-1 is not prime. Res64: 4D1CE38D58AC4E68 Time : 0.0 sec. user=mdettweiler [2013-09-06 08:31:41] 783*2^1252483-1 is not prime. Res64: 43A82719BC2065CA Time : 0.0 sec. user=mdettweiler [2013-09-06 08:31:41] 885*2^1252483-1 is not prime. Res64: 1318B9EC1C11330C Time : 0.0 sec. user=mdettweiler [2013-09-06 08:35:15] 885*2^1252484-1 is not prime. Res64: 56DE69182D07F7D1 Time : 0.0 sec. user=mdettweiler [2013-09-06 08:35:15] 953*2^1252484-1 is not prime. Res64: 0E974219DA975297 Time : 0.0 sec. user=mdettweiler [2013-09-06 08:42:55] 987*2^1252484-1 is not prime. Res64: 94023F142358575D Time : 0.0 sec. user=mdettweiler [2013-09-06 08:42:56] 699*2^1252485-1 is not prime. Res64: 0C765EE8216A4974 Time : 0.0 sec. user=mdettweiler [2013-09-06 08:50:42] 787*2^1252485-1 is not prime. Res64: 4BEB2126EE285438 Time : 0.0 sec. user=mdettweiler [2013-09-06 08:50:42] 811*2^1252485-1 is not prime. Res64: 93F0ECE50554BFCD Time : 0.0 sec. user=mdettweiler [2013-09-06 08:51:10] 817*2^1252485-1 is not prime. Res64: 3E2781AEF14D6C92 Time : 0.0 sec. user=mdettweiler [2013-09-06 08:51:10] 635*2^1252486-1 is not prime. Res64: 7DD215D2B703F43A Time : 0.0 sec. user=mdettweiler [2013-09-06 08:54:45] 651*2^1252486-1 is not prime. Res64: 92385427105B39B9 Time : 0.0 sec. user=mdettweiler [2013-09-06 08:54:45] 713*2^1252486-1 is not prime. Res64: 859D86B6208147D5 Time : 0.0 sec. user=mdettweiler [2013-09-06 09:02:24] 765*2^1252486-1 is not prime. Res64: FE9323842EFAA596 Time : 0.0 sec. user=mdettweiler [2013-09-06 09:02:25] 867*2^1252486-1 is not prime. Res64: AF3CC302761A7015 Time : 0.0 sec. user=mdettweiler [2013-09-06 09:10:09] 669*2^1252487-1 is not prime. Res64: 552877649097D409 Time : 0.0 sec. user=mdettweiler [2013-09-06 09:10:10] 675*2^1252487-1 is not prime. Res64: 90409400C233BD52 Time : 0.0 sec. user=mdettweiler [2013-09-06 09:10:42] 729*2^1252487-1 is not prime. Res64: A5A85982EBD6CFC6 Time : 0.0 sec. user=mdettweiler [2013-09-06 09:10:42] 763*2^1252487-1 is not prime. Res64: 1FB5C332A384D9B6 Time : 0.0 sec. user=mdettweiler [2013-09-06 09:14:21] 825*2^1252487-1 is not prime. Res64: FE89162D5A3C2004 Time : 0.0 sec. user=mdettweiler [2013-09-06 09:14:22] 859*2^1252487-1 is not prime. Res64: BED1FCC0130D1340 Time : 0.0 sec. user=mdettweiler [2013-09-06 09:23:49] 963*2^1252487-1 is not prime. Res64: 7704EAA0E8BC6385 Time : 0.0 sec. user=mdettweiler [2013-09-06 09:23:50] 993*2^1252487-1 is not prime. Res64: 7482ABCF3310EEA3 Time : 0.0 sec. user=mdettweiler [2013-09-06 09:29:35] 665*2^1252488-1 is not prime. Res64: B3DA0A104D228389 Time : 0.0 sec. user=mdettweiler [2013-09-06 09:29:36] 735*2^1252488-1 is not prime. Res64: 25DE2B36AB8659F5 Time : 0.0 sec. user=mdettweiler [2013-09-06 09:30:13] 819*2^1252488-1 is not prime. Res64: 3908243BE71772FA Time : 0.0 sec. user=mdettweiler [2013-09-06 09:30:14] 691*2^1252489-1 is not prime. Res64: 578EAB832576D56D Time : 0.0 sec. user=mdettweiler [2013-09-06 09:34:43] 855*2^1252489-1 is not prime. Res64: F99728B661587892 Time : 0.0 sec. user=mdettweiler [2013-09-06 09:34:43] 897*2^1252489-1 is not prime. Res64: F7A00EE37BE3CF90 Time : 0.0 sec. user=mdettweiler [2013-09-06 09:45:12] 909*2^1252489-1 is not prime. Res64: 7A82E0052870DF5D Time : 0.0 sec. user=mdettweiler [2013-09-06 09:45:13] 975*2^1252489-1 is not prime. Res64: 3EA43A13A4347173 Time : 0.0 sec. user=mdettweiler [2013-09-06 09:50:34] 987*2^1252489-1 is not prime. Res64: 56E428DE99E87FAE Time : 0.0 sec. user=mdettweiler [2013-09-06 09:50:35] 651*2^1252490-1 is not prime. Res64: 1705DCDD8360B67F Time : 0.0 sec. user=mdettweiler [2013-09-06 09:50:54] 979*2^1252489-1 is not prime. Res64: 6C1FE53E092A47AB Time : 0.0 sec. user=mdettweiler [2013-09-06 09:50:54] 985*2^1252489-1 is not prime. Res64: 4FF34A4C8DEEF655 Time : 0.0 sec. user=mdettweiler [2013-09-06 09:54:20] 713*2^1252490-1 is not prime. Res64: FF9863A66A4F24C4 Time : 0.0 sec. user=mdettweiler [2013-09-06 09:54:21] 783*2^1252490-1 is not prime. Res64: 6D0505E301B9240B Time : 0.0 sec. user=mdettweiler [2013-09-06 10:05:33] 801*2^1252490-1 is not prime. Res64: 9D7B5FA8697D6F5C Time : 0.0 sec. user=mdettweiler [2013-09-06 10:05:34] 885*2^1252490-1 is not prime. Res64: D9269286F3805E5A Time : 0.0 sec. user=mdettweiler [2013-09-06 10:10:23] 789*2^1252491-1 is not prime. Res64: FB8DBCCEECBB6AAB Time : 0.0 sec. user=mdettweiler [2013-09-06 10:10:24] 609*2^1252492-1 is not prime. Res64: 24E67F3FF1FFC3CC Time : 0.0 sec. user=mdettweiler [2013-09-06 10:11:02] 887*2^1252490-1 is not prime. Res64: E8900FAF69AEEC25 Time : 0.0 sec. user=mdettweiler [2013-09-06 10:11:03] 651*2^1252491-1 is not prime. Res64: 1CBFBE8439CD2773 Time : 0.0 sec. user=mdettweiler [2013-09-06 10:13:50] 635*2^1252492-1 is not prime. Res64: 65F15BA941828D60 Time : 0.0 sec. user=mdettweiler [2013-09-06 10:13:51] 675*2^1252492-1 is not prime. Res64: ADB5B5758E2E81C8 Time : 0.0 sec. user=mdettweiler [2013-09-06 10:25:02] 705*2^1252492-1 is not prime. Res64: 65257DB7C6EB1E9E Time : 0.0 sec. user=mdettweiler [2013-09-06 10:25:02] 717*2^1252492-1 is not prime. Res64: FB4B2197602E25F4 Time : 0.0 sec. user=mdettweiler [2013-09-06 10:29:50] 735*2^1252492-1 is not prime. Res64: B197A23E9F84BE78 Time : 0.0 sec. user=mdettweiler [2013-09-06 10:29:50] 827*2^1252492-1 is not prime. Res64: 70949024C46B6B8C Time : 0.0 sec. user=mdettweiler [2013-09-06 10:30:32] 855*2^1252492-1 is not prime. Res64: 0EF2062BA0EF4A58 Time : 0.0 sec. user=mdettweiler [2013-09-06 10:30:33] 607*2^1252493-1 is not prime. Res64: D242DE0103C5C4EE Time : 0.0 sec. user=mdettweiler [2013-09-06 10:34:18] 771*2^1252493-1 is not prime. Res64: 0147CA28A726DFB6 Time : 0.0 sec. user=mdettweiler [2013-09-06 10:34:18] 925*2^1252493-1 is not prime. Res64: 6F68FAAAC1EF24A6 Time : 0.0 sec. user=mdettweiler [2013-09-06 10:46:40] 937*2^1252493-1 is not prime. Res64: A3F186A35C7D1856 Time : 0.0 sec. user=mdettweiler [2013-09-06 10:46:41] 945*2^1252493-1 is not prime. Res64: AE36B312CC4BD173 Time : 0.0 sec. user=mdettweiler [2013-09-06 10:49:51] 693*2^1252494-1 is not prime. Res64: 807B317DFEABDA0B Time : 0.0 sec. user=mdettweiler [2013-09-06 10:49:52] 705*2^1252494-1 is not prime. Res64: 45CB58308A9712AB Time : 0.0 sec. user=mdettweiler [2013-09-06 10:52:29] 945*2^1252494-1 is not prime. Res64: C6CACEFD98DD0D8D Time : 0.0 sec. user=mdettweiler [2013-09-06 10:52:30] 983*2^1252494-1 is not prime. Res64: 9AEF1A2A3427D446 Time : 0.0 sec. user=mdettweiler [2013-09-06 10:54:24] 661*2^1252495-1 is not prime. Res64: 7649BB7C887638A9 Time : 0.0 sec. user=mdettweiler [2013-09-06 10:54:24] 853*2^1252495-1 is not prime. Res64: 5DE5ABF07B13C70E Time : 0.0 sec. user=mdettweiler [2013-09-06 11:07:03] 861*2^1252495-1 is not prime. Res64: 0C464FA94020A157 Time : 0.0 sec. user=mdettweiler [2013-09-06 11:07:03] 871*2^1252495-1 is not prime. Res64: C8CD09885743EF04 Time : 0.0 sec. user=mdettweiler [2013-09-06 11:12:22] 951*2^1252495-1 is not prime. Res64: 895766E80941AB7A Time : 0.0 sec. user=mdettweiler [2013-09-06 11:12:23] 759*2^1252496-1 is not prime. Res64: 6B10EDA296749C9C Time : 0.0 sec. user=mdettweiler [2013-09-06 11:13:05] 843*2^1252496-1 is not prime. Res64: 7932B1FF49FFA119 Time : 0.0 sec. user=mdettweiler [2013-09-06 11:13:05] 873*2^1252496-1 is not prime. Res64: 5F3FE11F861CA39F Time : 0.0 sec. user=mdettweiler [2013-09-06 11:15:13] 875*2^1252496-1 is not prime. Res64: 344C64885C29EEAB Time : 0.0 sec. user=mdettweiler [2013-09-06 11:15:14] 847*2^1252497-1 is not prime. Res64: 3416D270B41E661A Time : 0.0 sec. user=mdettweiler [2013-09-06 11:27:16] 623*2^1252498-1 is not prime. Res64: 5DDF52CF5ED88CD0 Time : 0.0 sec. user=mdettweiler [2013-09-06 11:27:16] 855*2^1252498-1 is not prime. Res64: ABDD56DCABE4D2D0 Time : 0.0 sec. user=mdettweiler [2013-09-06 11:33:01] 711*2^1252499-1 is not prime. Res64: FF13B3C95A99C712 Time : 0.0 sec. user=mdettweiler [2013-09-06 11:33:01] 733*2^1252499-1 is not prime. Res64: 4B07B9570E5012A7 Time : 0.0 sec. user=mdettweiler [2013-09-06 11:33:07] 951*2^1252498-1 is not prime. Res64: 08424D55BDB0CFC3 Time : 0.0 sec. user=mdettweiler [2013-09-06 11:33:07] 705*2^1252499-1 is not prime. Res64: 5614DE6A72E26A98 Time : 0.0 sec. user=mdettweiler [2013-09-06 11:35:52] 811*2^1252499-1 is not prime. Res64: D37E8BDE01583F41 Time : 0.0 sec. user=mdettweiler [2013-09-06 11:35:52] 969*2^1252499-1 is not prime. Res64: 7D0AD907416ECDEF Time : 0.0 sec. user=mdettweiler [2013-09-06 11:47:50] 993*2^1252499-1 is not prime. Res64: 8C8C294C9353F787 Time : 0.0 sec. user=mdettweiler [2013-09-06 11:47:50] 623*2^1252500-1 is not prime. Res64: 5F2BF8EC464D4C76 Time : 0.0 sec. user=mdettweiler [2013-09-06 11:52:37] 693*2^1252500-1 is not prime. Res64: 5B972E1EB8F03003 Time : 0.0 sec. user=mdettweiler [2013-09-06 11:52:38] 719*2^1252500-1 is not prime. Res64: 01A5738EE56132FC Time : 0.0 sec. user=mdettweiler [2013-09-06 11:52:45] 753*2^1252500-1 is not prime. Res64: 736554B7D026A5C6 Time : 0.0 sec. user=mdettweiler [2013-09-06 11:52:46] 765*2^1252500-1 is not prime. Res64: D1E60CD31D6C514B Time : 0.0 sec. user=mdettweiler [2013-09-06 11:55:31] 789*2^1252500-1 is not prime. Res64: AF432F19A7D44311 Time : 0.0 sec. user=mdettweiler [2013-09-06 11:55:31] 797*2^1252500-1 is not prime. Res64: E42E504D8DFFDA0E Time : 0.0 sec. user=mdettweiler [2013-09-06 12:07:26] 819*2^1252500-1 is not prime. Res64: 0A55AE7C86987673 Time : 0.0 sec. user=mdettweiler [2013-09-06 12:07:27] 843*2^1252500-1 is not prime. Res64: EAAA625CC7F35F6E Time : 0.0 sec. user=mdettweiler [2013-09-06 12:13:22] 987*2^1252500-1 is not prime. Res64: B7AEAC721141575F Time : 0.0 sec. user=mdettweiler [2013-09-06 12:13:22] 621*2^1252501-1 is not prime. Res64: 43871CD6DC2A081E Time : 0.0 sec. user=mdettweiler [2013-09-06 12:14:05] 929*2^1252500-1 is not prime. Res64: A604ED4FBEA14917 Time : 0.0 sec. user=mdettweiler [2013-09-06 12:14:05] 945*2^1252500-1 is not prime. Res64: 4B0873F75E86A00D Time : 0.0 sec. user=mdettweiler [2013-09-06 12:15:03] 715*2^1252501-1 is not prime. Res64: 5244C46ACC6E4F3A Time : 0.0 sec. user=mdettweiler [2013-09-06 12:15:04] 819*2^1252501-1 is not prime. Res64: B4E678EF9C2CCE3C Time : 0.0 sec. user=mdettweiler [2013-09-06 12:27:14] 829*2^1252501-1 is not prime. Res64: E6E64B111860CF70 Time : 0.0 sec. user=mdettweiler [2013-09-06 12:27:14] 855*2^1252501-1 is not prime. Res64: AA75DB4FFE008007 Time : 0.0 sec. user=juhehe [2013-09-06 12:29:27] 863*2^1252500-1 is not prime. Res64: 137E9D8E3E75B4A4 Time : 0.0 sec. user=mdettweiler [2013-09-06 12:33:41] 741*2^1252502-1 is not prime. Res64: 7D8CAF4D68C1A0DC Time : 0.0 sec. user=mdettweiler [2013-09-06 12:33:41] 791*2^1252502-1 is not prime. Res64: 277D0BB551B91DDD Time : 0.0 sec. user=mdettweiler [2013-09-06 12:34:05] 871*2^1252501-1 is not prime. Res64: 0F146258D07585F3 Time : 0.0 sec. user=mdettweiler [2013-09-06 12:34:05] 999*2^1252501-1 is not prime. Res64: 22386D4EF32A4DA8 Time : 0.0 sec. user=mdettweiler [2013-09-06 12:35:43] 857*2^1252502-1 is not prime. Res64: 47776B253AFAB106 Time : 0.0 sec. user=mdettweiler [2013-09-06 12:35:44] 953*2^1252502-1 is not prime. Res64: 4C359C02EBC6299E Time : 0.0 sec. user=mdettweiler [2013-09-06 12:46:57] 613*2^1252503-1 is not prime. Res64: A51B1D56A0B10B44 Time : 0.0 sec. user=mdettweiler [2013-09-06 12:46:57] 649*2^1252503-1 is not prime. Res64: 4E68BBFC6B5D1F71 Time : 0.0 sec. user=mdettweiler [2013-09-06 12:53:43] 775*2^1252503-1 is not prime. Res64: 4236C4C079A7B7EE Time : 0.0 sec. user=mdettweiler [2013-09-06 12:53:43] 781*2^1252503-1 is not prime. Res64: F89C057BD2AE2D8A Time : 0.0 sec. user=mdettweiler [2013-09-06 12:54:56] 823*2^1252503-1 is not prime. Res64: B8FEDFCEB65279F6 Time : 0.0 sec. user=mdettweiler [2013-09-06 12:54:56] 891*2^1252503-1 is not prime. Res64: D96FD045CB9657F8 Time : 0.0 sec. user=mdettweiler [2013-09-06 12:56:37] 943*2^1252503-1 is not prime. Res64: 2DB6BCE56157BC2F Time : 0.0 sec. user=mdettweiler [2013-09-06 12:56:37] 629*2^1252504-1 is not prime. Res64: 73027C249966E10D Time : 0.0 sec. user=mdettweiler [2013-09-06 13:06:57] 657*2^1252504-1 is not prime. Res64: FDFB217E863ECAFF Time : 0.0 sec. user=mdettweiler [2013-09-06 13:06:58] 849*2^1252504-1 is not prime. Res64: 38BE069D9AEB1EDD Time : 0.0 sec. user=mdettweiler [2013-09-06 13:14:19] 857*2^1252504-1 is not prime. Res64: 00090C62239BA22F Time : 0.0 sec. user=mdettweiler [2013-09-06 13:14:20] 887*2^1252504-1 is not prime. Res64: 7E753B8352664DD9 Time : 0.0 sec. user=mdettweiler [2013-09-06 13:16:29] 897*2^1252504-1 is not prime. Res64: DC2E1FB53ECD2B2F Time : 0.0 sec. user=mdettweiler [2013-09-06 13:16:30] 899*2^1252504-1 is not prime. Res64: 707820D56670C559 Time : 0.0 sec. user=mdettweiler [2013-09-06 13:17:18] 909*2^1252504-1 is not prime. Res64: 2DCFF468B3BAB9FC Time : 0.0 sec. user=mdettweiler [2013-09-06 13:17:19] 645*2^1252505-1 is not prime. Res64: E6DA569A1D814701 Time : 0.0 sec. user=mdettweiler [2013-09-06 13:26:38] 647*2^1252506-1 is not prime. Res64: 588DC06910C91D2C Time : 0.0 sec. user=mdettweiler [2013-09-06 13:26:38] 683*2^1252506-1 is not prime. Res64: 3FA1934ABE72B563 Time : 0.0 sec. user=mdettweiler [2013-09-06 13:35:09] 875*2^1252506-1 is not prime. Res64: C12CC8BABB403522 Time : 0.0 sec. user=mdettweiler [2013-09-06 13:35:09] 887*2^1252506-1 is not prime. Res64: 769FB1B39ADEDF61 Time : 0.0 sec. user=mdettweiler [2013-09-06 13:38:02] 983*2^1252506-1 is not prime. Res64: DF34611E8AD3547E Time : 0.0 sec. user=mdettweiler [2013-09-06 13:38:02] 699*2^1252507-1 is not prime. Res64: 9AAFC4FDEF27BC58 Time : 0.0 sec. user=mdettweiler [2013-09-06 13:38:14] 893*2^1252506-1 is not prime. Res64: C47F9BE13B941205 Time : 0.0 sec. user=mdettweiler [2013-09-06 13:38:14] 945*2^1252506-1 is not prime. Res64: 5C6AF3420A3F48FA Time : 0.0 sec. user=mdettweiler [2013-09-06 13:47:23] 715*2^1252507-1 is not prime. Res64: 94927B936F0E1D74 Time : 0.0 sec. user=mdettweiler [2013-09-06 13:47:23] 945*2^1252507-1 is not prime. Res64: BC4A8C1F8690ADCE Time : 0.0 sec. user=mdettweiler [2013-09-06 13:56:06] 993*2^1252507-1 is not prime. Res64: 0CE0E0C715DC0E73 Time : 0.0 sec. user=mdettweiler [2013-09-06 13:56:07] 617*2^1252508-1 is not prime. Res64: 8935F8889169E6D3 Time : 0.0 sec. user=mdettweiler [2013-09-06 13:58:07] 633*2^1252508-1 is not prime. Res64: D8191F2BB9191BA6 Time : 0.0 sec. user=mdettweiler [2013-09-06 13:58:07] 669*2^1252508-1 is not prime. Res64: 617E8958C81A2F85 Time : 0.0 sec. user=mdettweiler [2013-09-06 13:58:25] 699*2^1252508-1 is not prime. Res64: 8E7E7876988DAB0E Time : 0.0 sec. user=mdettweiler [2013-09-06 13:58:25] 843*2^1252508-1 is not prime. Res64: A7B6AD76D396A42C Time : 0.0 sec. user=mdettweiler [2013-09-06 14:09:57] 935*2^1252508-1 is not prime. Res64: 39D2F4FC86CC4627 Time : 0.0 sec. user=mdettweiler [2013-09-06 14:09:57] 945*2^1252508-1 is not prime. Res64: 3EC152F725407ED7 Time : 0.0 sec. user=mdettweiler [2013-09-06 14:17:31] 977*2^1252508-1 is not prime. Res64: F20FE8AE8169108F Time : 0.0 sec. user=mdettweiler [2013-09-06 14:17:31] 627*2^1252509-1 is not prime. Res64: 96185CEBA0C650D2 Time : 0.0 sec. user=mdettweiler [2013-09-06 14:18:32] 675*2^1252509-1 is not prime. Res64: CB5A515B4C63232A Time : 0.0 sec. user=mdettweiler [2013-09-06 14:18:32] 735*2^1252509-1 is not prime. Res64: DC0AF0EAC4F6270A Time : 0.0 sec. user=mdettweiler [2013-09-06 14:19:07] 741*2^1252509-1 is not prime. Res64: ED41F262D252AE7A Time : 0.0 sec. user=mdettweiler [2013-09-06 14:19:07] 847*2^1252509-1 is not prime. Res64: D49D63D80AE6FCA1 Time : 0.0 sec. user=mdettweiler [2013-09-06 14:32:31] 889*2^1252509-1 is not prime. Res64: 23DC6AF9FC3DBB7B Time : 0.0 sec. user=mdettweiler [2013-09-06 14:32:31] 907*2^1252509-1 is not prime. Res64: BC5CECBE22E2F6AB Time : 0.0 sec. user=mdettweiler [2013-09-06 14:38:41] 611*2^1252510-1 is not prime. Res64: 33CF0FD5EE84F7C1 Time : 0.0 sec. user=mdettweiler [2013-09-06 14:38:41] 717*2^1252510-1 is not prime. Res64: 5A986042F29CEC63 Time : 0.0 sec. user=mdettweiler [2013-09-06 14:39:50] 927*2^1252509-1 is not prime. Res64: 13AC3FA38BD59A50 Time : 0.0 sec. user=mdettweiler [2013-09-06 14:39:51] 997*2^1252509-1 is not prime. Res64: 56569BD7ECEC44A1 Time : 0.0 sec. user=mdettweiler [2013-09-06 14:40:20] 731*2^1252510-1 is not prime. Res64: E00D70A5E83EAB0C Time : 0.0 sec. user=mdettweiler [2013-09-06 14:40:21] 923*2^1252510-1 is not prime. Res64: 2ABCB39775C1B049 Time : 0.0 sec. user=juhehe [2013-09-06 14:49:01] 921*2^1252509-1 is not prime. Res64: 12201CE171B028DD Time : 0.0 sec. user=mdettweiler [2013-09-06 14:54:48] 941*2^1252510-1 is not prime. Res64: 1AA959B964D4653D Time : 0.0 sec. user=mdettweiler [2013-09-06 14:54:48] 957*2^1252510-1 is not prime. Res64: AAB4EEA727AFADDD Time : 0.0 sec. user=mdettweiler [2013-09-06 14:59:08] 663*2^1252511-1 is not prime. Res64: 2C8BEDB2C6A1EE87 Time : 0.0 sec. user=mdettweiler [2013-09-06 14:59:08] 685*2^1252511-1 is not prime. Res64: 46BD38E31BB978A6 Time : 0.0 sec. user=mdettweiler [2013-09-06 15:00:06] 715*2^1252511-1 is not prime. Res64: 6252303CB32BEADF Time : 0.0 sec. user=mdettweiler [2013-09-06 15:00:07] 811*2^1252511-1 is not prime. Res64: 3B62A179E4145E92 Time : 0.0 sec. user=mdettweiler [2013-09-06 15:02:32] 889*2^1252511-1 is not prime. Res64: C8B91908F7B8EB0F Time : 0.0 sec. user=mdettweiler [2013-09-06 15:02:33] 999*2^1252511-1 is not prime. Res64: 104ACB579E9139C6 Time : 0.0 sec. user=mdettweiler [2013-09-06 15:14:42] 627*2^1252512-1 is not prime. Res64: 19253C544EDA17A6 Time : 0.0 sec. user=mdettweiler [2013-09-06 15:14:43] 683*2^1252512-1 is not prime. Res64: 9D0E697328A19394 Time : 0.0 sec. user=mdettweiler [2013-09-06 15:19:07] 717*2^1252512-1 is not prime. Res64: F60DCAF209650C88 Time : 0.0 sec. user=mdettweiler [2013-09-06 15:19:07] 753*2^1252512-1 is not prime. Res64: 23ADB64CD759BB2E Time : 0.0 sec. user=mdettweiler [2013-09-06 15:20:05] 797*2^1252512-1 is not prime. Res64: 8FF3E115109D8A95 Time : 0.0 sec. user=mdettweiler [2013-09-06 15:20:05] 803*2^1252512-1 is not prime. Res64: E2A620F35761296A Time : 0.0 sec. user=mdettweiler [2013-09-06 15:23:37] 879*2^1252512-1 is not prime. Res64: 2AF405A057275C60 Time : 0.0 sec. user=mdettweiler [2013-09-06 15:23:37] 615*2^1252513-1 is not prime. Res64: 40D0C8BA3A77F993 Time : 0.0 sec. user=mdettweiler [2013-09-06 15:34:51] 639*2^1252513-1 is not prime. Res64: ECD40633DFFF3667 Time : 0.0 sec. user=mdettweiler [2013-09-06 15:34:52] 691*2^1252513-1 is not prime. Res64: C3FE5A80C86F5DB5 Time : 0.0 sec. user=mdettweiler [2013-09-06 15:40:15] 937*2^1252513-1 is not prime. Res64: 17DB1F0E21404E92 Time : 0.0 sec. user=mdettweiler [2013-09-06 15:40:15] 717*2^1252514-1 is not prime. Res64: B3FD3E29A8B6BD66 Time : 0.0 sec. user=mdettweiler [2013-09-06 15:40:26] 741*2^1252514-1 is not prime. Res64: 402EC2D27433560D Time : 0.0 sec. user=mdettweiler [2013-09-06 15:40:26] 747*2^1252514-1 is not prime. Res64: 00CC184A6B4AFAB9 Time : 0.0 sec. user=mdettweiler [2013-09-06 15:43:48] 753*2^1252514-1 is not prime. Res64: 1379BC7E5F2B5C10 Time : 0.0 sec. user=mdettweiler [2013-09-06 15:43:49] 791*2^1252514-1 is not prime. Res64: BB6FE99E2B038F53 Time : 0.0 sec. user=mdettweiler [2013-09-06 15:56:00] 813*2^1252514-1 is not prime. Res64: E6D835EBE1BB0E83 Time : 0.0 sec. user=mdettweiler [2013-09-06 15:56:00] 921*2^1252514-1 is not prime. Res64: F5DBD80A458DD1F9 Time : 0.0 sec. user=mdettweiler [2013-09-06 16:00:42] 819*2^1252515-1 is not prime. Res64: AA6FAF1B0ACF7765 Time : 0.0 sec. user=mdettweiler [2013-09-06 16:00:44] 859*2^1252515-1 is not prime. Res64: E236459D244BC883 Time : 0.0 sec. user=mdettweiler [2013-09-06 16:01:36] 927*2^1252514-1 is not prime. Res64: EF5343A3BC5FFA6C Time : 0.0 sec. user=mdettweiler [2013-09-06 16:01:37] 751*2^1252515-1 is not prime. Res64: 61227D3E3538E797 Time : 0.0 sec. user=mdettweiler [2013-09-06 16:06:09] 903*2^1252515-1 is not prime. Res64: F6E01F169DF2D4BE Time : 0.0 sec. user=mdettweiler [2013-09-06 16:06:10] 961*2^1252515-1 is not prime. Res64: 552C0A1BABE60FB0 Time : 0.0 sec. user=mdettweiler [2013-09-06 16:16:17] 615*2^1252516-1 is not prime. Res64: 6DFEEB0DC221C144 Time : 0.0 sec. user=mdettweiler [2013-09-06 16:16:18] 623*2^1252516-1 is not prime. Res64: 9E7ECD0C2759C99B Time : 0.0 sec. user=mdettweiler [2013-09-06 16:20:53] 707*2^1252516-1 is not prime. Res64: B910C42BB3E213AC Time : 0.0 sec. user=mdettweiler [2013-09-06 16:20:54] 875*2^1252516-1 is not prime. Res64: 450F810C9DC77E0B Time : 0.0 sec. user=mdettweiler [2013-09-06 16:23:37] 957*2^1252516-1 is not prime. Res64: BF211FD1487AF189 Time : 0.0 sec. user=mdettweiler [2013-09-06 16:23:37] 993*2^1252516-1 is not prime. Res64: E10699AE97AD4938 Time : 0.0 sec. user=mdettweiler [2013-09-06 16:26:26] 631*2^1252517-1 is not prime. Res64: 187E232C9B708A54 Time : 0.0 sec. user=mdettweiler [2013-09-06 16:26:27] 781*2^1252517-1 is not prime. Res64: 86F374A4A7DF6DFF Time : 0.0 sec. user=mdettweiler [2013-09-06 16:37:11] 871*2^1252517-1 is not prime. Res64: F98B78BE183EAFDB Time : 0.0 sec. user=mdettweiler [2013-09-06 16:37:11] 931*2^1252517-1 is not prime. Res64: 172BEB0F7E81687E Time : 0.0 sec. user=mdettweiler [2013-09-06 16:41:54] 981*2^1252517-1 is not prime. Res64: 453EA2BAD881F98B Time : 0.0 sec. user=mdettweiler [2013-09-06 16:41:54] 621*2^1252518-1 is not prime. Res64: 51ACB318EA3091D6 Time : 0.0 sec. user=mdettweiler [2013-09-06 16:43:46] 627*2^1252518-1 is not prime. Res64: 9316730626EF8A37 Time : 0.0 sec. user=mdettweiler [2013-09-06 16:43:47] 725*2^1252518-1 is not prime. Res64: AF6F0070404B9FD4 Time : 0.0 sec. user=mdettweiler [2013-09-06 16:46:28] 761*2^1252518-1 is not prime. Res64: 4875D18073B427D2 Time : 0.0 sec. user=mdettweiler [2013-09-06 16:46:28] 821*2^1252518-1 is not prime. Res64: 23B1587E27498CFD Time : 0.0 sec. user=mdettweiler [2013-09-06 16:57:32] 863*2^1252518-1 is not prime. Res64: 094E9CAEF6CDD7D8 Time : 0.0 sec. user=mdettweiler [2013-09-06 16:57:32] 875*2^1252518-1 is not prime. Res64: 9D0A006DFF0E843F Time : 0.0 sec. user=mdettweiler [2013-09-06 17:04:25] 971*2^1252518-1 is not prime. Res64: B6A2758F4360866F Time : 0.0 sec. user=mdettweiler [2013-09-06 17:04:25] 663*2^1252519-1 is not prime. Res64: 2DEBF4E572BEF8F9 Time : 0.0 sec. user=mdettweiler [2013-09-06 17:05:38] 681*2^1252519-1 is not prime. Res64: 1C12635B94B3C57C Time : 0.0 sec. user=mdettweiler [2013-09-06 17:05:39] 735*2^1252519-1 is not prime. Res64: 73F5565E69E0904E Time : 0.0 sec. user=mdettweiler [2013-09-06 17:08:59] 759*2^1252519-1 is not prime. Res64: 8E6A199E1F07A1DC Time : 0.0 sec. user=mdettweiler [2013-09-06 17:08:59] 771*2^1252519-1 is not prime. Res64: 70EECC1A0DEFC55D Time : 0.0 sec. user=mdettweiler [2013-09-06 17:21:34] 793*2^1252519-1 is not prime. Res64: E847525FCE9499EA Time : 0.0 sec. user=mdettweiler [2013-09-06 17:21:35] 999*2^1252519-1 is not prime. Res64: 68ED6C75B6A86050 Time : 0.0 sec. user=mdettweiler [2013-09-06 17:26:16] 713*2^1252520-1 is not prime. Res64: D01A1766D8CF4608 Time : 0.0 sec. user=mdettweiler [2013-09-06 17:26:17] 725*2^1252520-1 is not prime. Res64: C55639F660BC612F Time : 0.0 sec. user=mdettweiler [2013-09-06 17:27:19] 813*2^1252520-1 is not prime. Res64: 1ACA6057283EDA98 Time : 0.0 sec. user=mdettweiler [2013-09-06 17:27:19] 825*2^1252520-1 is not prime. Res64: CCAE10788A90671B Time : 0.0 sec. user=mdettweiler [2013-09-06 17:32:10] 899*2^1252520-1 is not prime. Res64: B557E84939A5D586 Time : 0.0 sec. user=mdettweiler [2013-09-06 17:32:11] 959*2^1252520-1 is not prime. Res64: 7ED526792A967B92 Time : 0.0 sec. user=mdettweiler [2013-09-06 17:43:22] 963*2^1252520-1 is not prime. Res64: 2BB058D4B535410A Time : 0.0 sec. user=mdettweiler [2013-09-06 17:43:23] 995*2^1252520-1 is not prime. Res64: 245056968BF3D2A7 Time : 0.0 sec. user=mdettweiler [2013-09-06 17:46:14] 627*2^1252521-1 is not prime. Res64: C1FABDB90FCCEE79 Time : 0.0 sec. user=mdettweiler [2013-09-06 17:46:14] 661*2^1252521-1 is not prime. Res64: 5AC52AB14E8229FA Time : 0.0 sec. user=mdettweiler [2013-09-06 17:47:21] 681*2^1252521-1 is not prime. Res64: 49A11F644F41FD0E Time : 0.0 sec. user=mdettweiler [2013-09-06 17:47:21] 685*2^1252521-1 is not prime. Res64: 906DE5F7A679FA28 Time : 0.0 sec. user=mdettweiler [2013-09-06 17:52:03] 735*2^1252521-1 is not prime. Res64: 832C2108B8BA06CD Time : 0.0 sec. user=mdettweiler [2013-09-06 17:52:03] 805*2^1252521-1 is not prime. Res64: 5D22DB0BC05079DA Time : 0.0 sec. user=mdettweiler [2013-09-06 18:03:21] 865*2^1252521-1 is not prime. Res64: 569CC534694D38D8 Time : 0.0 sec. user=mdettweiler [2013-09-06 18:03:22] 867*2^1252521-1 is not prime. Res64: 9D76D27B66E94CD9 Time : 0.0 sec. user=mdettweiler [2013-09-06 18:06:15] 695*2^1252522-1 is not prime. Res64: 78773453BD82AF14 Time : 0.0 sec. user=mdettweiler [2013-09-06 18:06:16] 705*2^1252522-1 is not prime. Res64: F4036994062E2890 Time : 0.0 sec. user=mdettweiler [2013-09-06 18:07:31] 777*2^1252522-1 is not prime. Res64: ECC2A50C40D06D1C Time : 0.0 sec. user=mdettweiler [2013-09-06 18:07:32] 803*2^1252522-1 is not prime. Res64: 7CC1A77AE7966EED Time : 0.0 sec. user=mdettweiler [2013-09-06 18:12:11] 831*2^1252522-1 is not prime. Res64: FC472C0FFB486E55 Time : 0.0 sec. user=mdettweiler [2013-09-06 18:12:11] 857*2^1252522-1 is not prime. Res64: 85EDAE6935B4CC60 Time : 0.0 sec. user=mdettweiler [2013-09-06 18:26:04] 945*2^1252522-1 is not prime. Res64: 5A2FCE60735D0E3A Time : 0.0 sec. user=mdettweiler [2013-09-06 18:26:04] 981*2^1252522-1 is not prime. Res64: 8BB58BA4ECEF5724 Time : 0.0 sec. user=mdettweiler [2013-09-06 18:27:08] 615*2^1252523-1 is not prime. Res64: 8C807CEF4E55872F Time : 0.0 sec. user=mdettweiler [2013-09-06 18:27:08] 619*2^1252523-1 is not prime. Res64: F647EAF0491308CB Time : 0.0 sec. user=mdettweiler [2013-09-06 18:28:05] 663*2^1252523-1 is not prime. Res64: 16CFA0E0BC389AB4 Time : 0.0 sec. user=mdettweiler [2013-09-06 18:28:05] 705*2^1252523-1 is not prime. Res64: 6998991BD05E5B79 Time : 0.0 sec. user=mdettweiler [2013-09-06 18:33:49] 715*2^1252523-1 is not prime. Res64: 9B28CA7334125A14 Time : 0.0 sec. user=mdettweiler [2013-09-06 18:33:50] 895*2^1252523-1 is not prime. Res64: 3692C349C98BF53D Time : 0.0 sec. user=mdettweiler [2013-09-06 18:47:26] 725*2^1252524-1 is not prime. Res64: 69768351E252F910 Time : 0.0 sec. user=mdettweiler [2013-09-06 18:47:26] 795*2^1252524-1 is not prime. Res64: 66D7E0CEB6860542 Time : 0.0 sec. user=mdettweiler [2013-09-06 18:48:25] 949*2^1252523-1 is not prime. Res64: DCD17065C3136F9D Time : 0.0 sec. user=mdettweiler [2013-09-06 18:48:25] 963*2^1252523-1 is not prime. Res64: 44B65ED1861F99B2 Time : 0.0 sec. user=mdettweiler [2013-09-06 18:48:32] 619*2^1252525-1 is not prime. Res64: 10285240F09DE67A Time : 0.0 sec. user=mdettweiler [2013-09-06 18:48:32] 649*2^1252525-1 is not prime. Res64: 6CAE25A3F0556058 Time : 0.0 sec. user=mdettweiler [2013-09-06 18:54:08] 675*2^1252525-1 is not prime. Res64: 0A5985A6D5709338 Time : 0.0 sec. user=mdettweiler [2013-09-06 18:54:08] 691*2^1252525-1 is not prime. Res64: B82252D1C2A9127A Time : 0.0 sec. user=mdettweiler [2013-09-06 19:08:24] 741*2^1252525-1 is not prime. Res64: 9B8019351045199E Time : 0.0 sec. user=mdettweiler [2013-09-06 19:08:25] 759*2^1252525-1 is not prime. Res64: 7C6D013286ACDA55 Time : 0.0 sec. user=mdettweiler [2013-09-06 19:10:33] 927*2^1252525-1 is not prime. Res64: 80117A56E9DDA147 Time : 0.0 sec. user=mdettweiler [2013-09-06 19:10:34] 615*2^1252526-1 is not prime. Res64: 2A7EA4CC6192DAE5 Time : 0.0 sec. user=mdettweiler [2013-09-06 19:10:46] 831*2^1252525-1 is not prime. Res64: 4A22A8419FBE3C2B Time : 0.0 sec. user=mdettweiler [2013-09-06 19:10:47] 897*2^1252525-1 is not prime. Res64: 516E9548B5FF92C4 Time : 0.0 sec. user=mdettweiler [2013-09-06 19:15:27] 801*2^1252526-1 is not prime. Res64: 387179C78E9EAA1D Time : 0.0 sec. user=mdettweiler [2013-09-06 19:15:28] 813*2^1252526-1 is not prime. Res64: 65083ED98F1659EC Time : 0.0 sec. user=mdettweiler [2013-09-06 19:30:04] 815*2^1252526-1 is not prime. Res64: 695CDAB0F60E0B7F Time : 0.0 sec. user=mdettweiler [2013-09-06 19:30:04] 825*2^1252526-1 is not prime. Res64: E47D6380AFD462A0 Time : 0.0 sec. user=mdettweiler [2013-09-06 19:32:16] 831*2^1252526-1 is not prime. Res64: D24DFD9432487FA5 Time : 0.0 sec. user=mdettweiler [2013-09-06 19:32:16] 843*2^1252526-1 is not prime. Res64: 31F4D19C955CA2A8 Time : 0.0 sec. user=mdettweiler [2013-09-06 19:34:22] 897*2^1252526-1 is not prime. Res64: F239C1B49726BB79 Time : 0.0 sec. user=mdettweiler [2013-09-06 19:34:23] 981*2^1252526-1 is not prime. Res64: 960FF1135570F523 Time : 0.0 sec. user=mdettweiler [2013-09-06 19:37:03] 859*2^1252527-1 is not prime. Res64: AEDBA9D27982D851 Time : 0.0 sec. user=mdettweiler [2013-09-06 19:37:03] 861*2^1252527-1 is not prime. Res64: F6E5BE25E358DFFA Time : 0.0 sec. user=mdettweiler [2013-09-06 19:51:54] 985*2^1252527-1 is not prime. Res64: 56E15CC0634FFAB0 Time : 0.0 sec. user=mdettweiler [2013-09-06 19:51:55] 605*2^1252528-1 is not prime. Res64: E168D2B9C7C159F3 Time : 0.0 sec. user=mdettweiler [2013-09-06 19:53:00] 677*2^1252528-1 is not prime. Res64: 6E7500F3D9DFBE6A Time : 0.0 sec. user=mdettweiler [2013-09-06 19:53:01] 705*2^1252528-1 is not prime. Res64: D744BBA93FE85B3C Time : 0.0 sec. user=mdettweiler [2013-09-06 19:56:43] 909*2^1252528-1 is not prime. Res64: 7C9533E50BA0C2BA Time : 0.0 sec. user=mdettweiler [2013-09-06 19:56:44] 923*2^1252528-1 is not prime. Res64: 03A9BF28EE1AE9AA Time : 0.0 sec. user=mdettweiler [2013-09-06 19:59:15] 989*2^1252528-1 is not prime. Res64: 17F8CD35EB66AC0F Time : 0.0 sec. user=mdettweiler [2013-09-06 19:59:15] 999*2^1252528-1 is not prime. Res64: 2971D5DD89FA8001 Time : 0.0 sec. user=mdettweiler [2013-09-06 20:11:40] 679*2^1252529-1 is not prime. Res64: 9C961F40038CAABA Time : 0.0 sec. user=mdettweiler [2013-09-06 20:11:41] 769*2^1252529-1 is not prime. Res64: 11C1DC8D637570B8 Time : 0.0 sec. user=mdettweiler [2013-09-06 20:12:45] 787*2^1252529-1 is not prime. Res64: 7B12F9CCB26888BC Time : 0.0 sec. user=mdettweiler [2013-09-06 20:12:45] 811*2^1252529-1 is not prime. Res64: 51D33DF796A2A9C7 Time : 0.0 sec. user=mdettweiler [2013-09-06 20:16:23] 837*2^1252529-1 is not prime. Res64: FE03FADDE088620C Time : 0.0 sec. user=mdettweiler [2013-09-06 20:16:23] 841*2^1252529-1 is not prime. Res64: 83080D19132B8284 Time : 0.0 sec. user=mdettweiler [2013-09-06 20:19:52] 955*2^1252529-1 is not prime. Res64: 3808BC90E214E92A Time : 0.0 sec. user=mdettweiler [2013-09-06 20:19:53] 717*2^1252530-1 is not prime. Res64: 9F6BDC053DCF5975 Time : 0.0 sec. user=mdettweiler [2013-09-06 20:31:30] 801*2^1252530-1 is not prime. Res64: D5B4829F5CE428DD Time : 0.0 sec. user=mdettweiler [2013-09-06 20:31:30] 803*2^1252530-1 is not prime. Res64: 30D4ED9AA59BD225 Time : 0.0 sec. user=mdettweiler [2013-09-06 20:32:26] 645*2^1252531-1 is not prime. Res64: 121BA3F25276132F Time : 0.0 sec. user=mdettweiler [2013-09-06 20:32:27] 793*2^1252531-1 is not prime. Res64: 0DD30D415EB02874 Time : 0.0 sec. user=mdettweiler [2013-09-06 20:37:01] 801*2^1252531-1 is not prime. Res64: FB98C014B02A8B23 Time : 0.0 sec. user=mdettweiler [2013-09-06 20:37:02] 909*2^1252531-1 is not prime. Res64: 7D50EEAAFD78B72C Time : 0.0 sec. user=mdettweiler [2013-09-06 20:39:34] 725*2^1252532-1 is not prime. Res64: B3C1F42887416B6A Time : 0.0 sec. user=mdettweiler [2013-09-06 20:39:34] 819*2^1252532-1 is not prime. Res64: 38C13121EF3E46E8 Time : 0.0 sec. user=mdettweiler [2013-09-06 20:53:09] 959*2^1252532-1 is not prime. Res64: 8AEA78B35E6BEAC7 Time : 0.0 sec. user=mdettweiler [2013-09-06 20:53:10] 977*2^1252532-1 is not prime. Res64: 1BC502B2FE0C6D5C Time : 0.0 sec. user=mdettweiler [2013-09-06 20:53:17] 983*2^1252532-1 is not prime. Res64: 228EEDCAB0C4E3FA Time : 0.0 sec. user=mdettweiler [2013-09-06 20:53:18] 621*2^1252533-1 is not prime. Res64: 30D54542CC324F9B Time : 0.0 sec. user=mdettweiler [2013-09-06 20:56:47] 699*2^1252533-1 is not prime. Res64: 6D320E7C6A553674 Time : 0.0 sec. user=mdettweiler [2013-09-06 20:56:47] 781*2^1252533-1 is not prime. Res64: 9E528C2603E17786 Time : 0.0 sec. user=mdettweiler [2013-09-06 20:59:19] 859*2^1252533-1 is not prime. Res64: D5E4A154406FA0E7 Time : 0.0 sec. user=mdettweiler [2013-09-06 20:59:20] 861*2^1252533-1 is not prime. Res64: DB892FBA1405318A Time : 0.0 sec. user=juhehe [2013-09-06 21:09:01] 805*2^1252533-1 is not prime. Res64: D52BBB7E34A4179C Time : 0.0 sec. user=mdettweiler [2013-09-06 21:12:54] 635*2^1252534-1 is not prime. Res64: 71597C326A0C40DF Time : 0.0 sec. user=mdettweiler [2013-09-06 21:12:55] 827*2^1252534-1 is not prime. Res64: 5F3E712CA90575D4 Time : 0.0 sec. user=mdettweiler [2013-09-06 21:14:04] 857*2^1252534-1 is not prime. Res64: C35365785857F4C4 Time : 0.0 sec. user=mdettweiler [2013-09-06 21:14:04] 887*2^1252534-1 is not prime. Res64: C5878790E731C91B Time : 0.0 sec. user=mdettweiler [2013-09-06 21:17:28] 993*2^1252534-1 is not prime. Res64: 4D629C1005AD0BC2 Time : 0.0 sec. user=mdettweiler [2013-09-06 21:17:28] 603*2^1252535-1 is not prime. Res64: A76CFB76FBE06D93 Time : 0.0 sec. user=mdettweiler [2013-09-06 21:21:05] 885*2^1252535-1 is not prime. Res64: 35E038878E1457DD Time : 0.0 sec. user=mdettweiler [2013-09-06 21:21:05] 939*2^1252535-1 is not prime. Res64: 8A0E0FE35BC8CEDC Time : 0.0 sec. user=mdettweiler [2013-09-06 21:32:54] 609*2^1252536-1 is not prime. Res64: 2D59BBFC59E0153F Time : 0.0 sec. user=mdettweiler [2013-09-06 21:32:54] 635*2^1252536-1 is not prime. Res64: D0F91D38C24DE38F Time : 0.0 sec. user=mdettweiler [2013-09-06 21:34:12] 767*2^1252536-1 is not prime. Res64: 71F214CE7BE27B98 Time : 0.0 sec. user=mdettweiler [2013-09-06 21:34:13] 625*2^1252537-1 is not prime. Res64: 75185F16247D6119 Time : 0.0 sec. user=mdettweiler [2013-09-06 21:37:46] 715*2^1252537-1 is not prime. Res64: 271C356CEA592B74 Time : 0.0 sec. user=mdettweiler [2013-09-06 21:37:46] 835*2^1252537-1 is not prime. Res64: 3769D7ABD766E559 Time : 0.0 sec. user=mdettweiler [2013-09-06 21:41:27] 841*2^1252537-1 is not prime. Res64: 9BE1AB3581072F1F Time : 0.0 sec. user=mdettweiler [2013-09-06 21:41:27] 847*2^1252537-1 is not prime. Res64: E95650B4A9162F4E Time : 0.0 sec. user=mdettweiler [2013-09-06 21:55:16] 937*2^1252537-1 is not prime. Res64: 54AFE92FEBE322B0 Time : 0.0 sec. user=mdettweiler [2013-09-06 21:55:16] 605*2^1252538-1 is not prime. Res64: 1A93540A5164777F Time : 0.0 sec. user=mdettweiler [2013-09-06 21:55:32] 641*2^1252538-1 is not prime. Res64: EF5C25B77F7C09C9 Time : 0.0 sec. user=mdettweiler [2013-09-06 21:55:32] 687*2^1252538-1 is not prime. Res64: 774FC96744325CEB Time : 0.0 sec. user=mdettweiler [2013-09-06 21:59:51] 713*2^1252538-1 is not prime. Res64: 266D9E41ED6B1D9B Time : 0.0 sec. user=mdettweiler [2013-09-06 21:59:51] 893*2^1252538-1 is not prime. Res64: CF3E0A53E819660F Time : 0.0 sec. user=mdettweiler [2013-09-06 22:05:12] 911*2^1252538-1 is not prime. Res64: 2C87A02C6541AC57 Time : 0.0 sec. user=mdettweiler [2013-09-06 22:05:12] 921*2^1252538-1 is not prime. Res64: 007FB63C485B0163 Time : 0.0 sec. user=mdettweiler [2013-09-06 22:16:43] 613*2^1252539-1 is not prime. Res64: 071384E2C911F45C Time : 0.0 sec. user=mdettweiler [2013-09-06 22:16:43] 619*2^1252539-1 is not prime. Res64: D9BAB413E632EAE4 Time : 0.0 sec. user=mdettweiler [2013-09-06 22:18:54] 923*2^1252538-1 is not prime. Res64: 057A0B18876C9A41 Time : 0.0 sec. user=mdettweiler [2013-09-06 22:18:54] 971*2^1252538-1 is not prime. Res64: 24436667723733E3 Time : 0.0 sec. user=mdettweiler [2013-09-06 22:20:31] 625*2^1252539-1 is not prime. Res64: CF5D9B0F2BD7CB47 Time : 0.0 sec. user=mdettweiler [2013-09-06 22:20:32] 639*2^1252539-1 is not prime. Res64: 8D12128D45819010 Time : 0.0 sec. user=mdettweiler [2013-09-06 22:26:14] 801*2^1252539-1 is not prime. Res64: 83FF435BF41CAE40 Time : 0.0 sec. user=mdettweiler [2013-09-06 22:26:14] 879*2^1252539-1 is not prime. Res64: 9FD055FF9F5AB6DE Time : 0.0 sec. user=mdettweiler [2013-09-06 22:36:30] 605*2^1252540-1 is not prime. Res64: 2F69205A94B7DF3F Time : 0.0 sec. user=mdettweiler [2013-09-06 22:36:30] 615*2^1252540-1 is not prime. Res64: 322C91C0E72DBEE2 Time : 0.0 sec. user=mdettweiler [2013-09-06 22:39:35] 777*2^1252540-1 is not prime. Res64: C39FAC4A21428777 Time : 0.0 sec. user=mdettweiler [2013-09-06 22:39:35] 915*2^1252540-1 is not prime. Res64: E981A8862A80010B Time : 0.0 sec. user=mdettweiler [2013-09-06 22:40:17] 675*2^1252541-1 is not prime. Res64: 4756E8177451A9DC Time : 0.0 sec. user=mdettweiler [2013-09-06 22:40:18] 735*2^1252541-1 is not prime. Res64: CBACFE37F14F31A3 Time : 0.0 sec. user=mdettweiler [2013-09-06 22:47:51] 957*2^1252541-1 is not prime. Res64: C9F55A9EC8477920 Time : 0.0 sec. user=mdettweiler [2013-09-06 22:47:51] 981*2^1252541-1 is not prime. Res64: 9D842445FE924D7B Time : 0.0 sec. user=mdettweiler [2013-09-06 22:56:15] 681*2^1252542-1 is not prime. Res64: 15A7D6736C5A076C Time : 0.0 sec. user=mdettweiler [2013-09-06 22:56:16] 695*2^1252542-1 is not prime. Res64: 1C9B53D63DB76D83 Time : 0.0 sec. user=mdettweiler [2013-09-06 23:00:14] 825*2^1252542-1 is not prime. Res64: 508669D0935B33B7 Time : 0.0 sec. user=mdettweiler [2013-09-06 23:00:15] 921*2^1252542-1 is not prime. Res64: FE3735CA906667D1 Time : 0.0 sec. user=mdettweiler [2013-09-06 23:01:55] 941*2^1252542-1 is not prime. Res64: 52FF43060E4B3A36 Time : 0.0 sec. user=mdettweiler [2013-09-06 23:01:56] 1001*2^1252542-1 is not prime. Res64: 723AAAE655BF8A04 Time : 0.0 sec. user=mdettweiler [2013-09-06 23:07:36] 679*2^1252543-1 is not prime. Res64: 0EA7570E31349856 Time : 0.0 sec. user=mdettweiler [2013-09-06 23:07:37] 703*2^1252543-1 is not prime. Res64: 1B485602F56B09A1 Time : 0.0 sec. user=juhehe [2013-09-06 23:10:57] 815*2^1252542-1 is not prime. Res64: 565BEAE192E28727 Time : 0.0 sec. user=mdettweiler [2013-09-06 23:15:59] 723*2^1252543-1 is not prime. Res64: D7772C4675B5AD3D Time : 0.0 sec. user=mdettweiler [2013-09-06 23:16:00] 775*2^1252543-1 is not prime. Res64: DADF4976BBE2065B Time : 0.0 sec. user=mdettweiler [2013-09-06 23:20:08] 789*2^1252543-1 is not prime. Res64: CAFA3291978D4D4F Time : 0.0 sec. user=mdettweiler [2013-09-06 23:20:08] 873*2^1252543-1 is not prime. Res64: C4E1F60DAF5E0AE1 Time : 0.0 sec. user=mdettweiler [2013-09-06 23:23:40] 891*2^1252543-1 is not prime. Res64: 93EB0A218B1CF5D5 Time : 0.0 sec. user=mdettweiler [2013-09-06 23:23:40] 895*2^1252543-1 is not prime. Res64: 947DB95C3CB4466C Time : 0.0 sec. user=mdettweiler [2013-09-06 23:28:22] 943*2^1252543-1 is not prime. Res64: CBD631E044DF5E24 Time : 0.0 sec. user=mdettweiler [2013-09-06 23:28:22] 629*2^1252544-1 is not prime. Res64: 290720B6AF8782F3 Time : 0.0 sec. user=mdettweiler [2013-09-06 23:36:52] 869*2^1252544-1 is not prime. Res64: 78E8173C44B0F70C Time : 0.0 sec. user=mdettweiler [2013-09-06 23:36:53] 935*2^1252544-1 is not prime. Res64: 028E3246706A125C Time : 0.0 sec. user=mdettweiler [2013-09-06 23:41:00] 969*2^1252544-1 is not prime. Res64: CA332D710FB626FD Time : 0.0 sec. user=mdettweiler [2013-09-06 23:41:01] 627*2^1252545-1 is not prime. Res64: 763063C7DDFFB24F Time : 0.0 sec. user=mdettweiler [2013-09-06 23:43:36] 705*2^1252545-1 is not prime. Res64: E64E2BE1D2FC9B87 Time : 0.0 sec. user=mdettweiler [2013-09-06 23:43:37] 751*2^1252545-1 is not prime. Res64: 02895C26AB3D0941 Time : 0.0 sec. user=mdettweiler [2013-09-06 23:49:17] 817*2^1252545-1 is not prime. Res64: 112E1A4892A4CCC6 Time : 0.0 sec. user=mdettweiler [2013-09-06 23:49:17] 921*2^1252545-1 is not prime. Res64: 34FC48AF552FA7E0 Time : 0.0 sec. user=mdettweiler [2013-09-06 23:58:32] 937*2^1252545-1 is not prime. Res64: 03451E9BC4C897B2 Time : 0.0 sec. user=mdettweiler [2013-09-06 23:58:33] 985*2^1252545-1 is not prime. Res64: AA4B9105721F0A28 Time : 0.0 sec.