user=mdettweiler [2013-08-19 00:01:13] 945*2^1251157-1 is not prime. Res64: 44CE2D9B33995B76 Time : 0.0 sec. user=mdettweiler [2013-08-19 00:01:13] 651*2^1251158-1 is not prime. Res64: 686C961F05A2C89E Time : 0.0 sec. user=mdettweiler [2013-08-19 00:07:57] 663*2^1251158-1 is not prime. Res64: C32EF14AB528212B Time : 0.0 sec. user=mdettweiler [2013-08-19 00:07:58] 677*2^1251158-1 is not prime. Res64: DA2C6BDE18B24CCD Time : 0.0 sec. user=mdettweiler [2013-08-19 00:10:11] 707*2^1251158-1 is not prime. Res64: A1BD60F9C7BEA52B Time : 0.0 sec. user=mdettweiler [2013-08-19 00:10:11] 957*2^1251158-1 is not prime. Res64: 5A9289DA6B38FCF0 Time : 0.0 sec. user=mdettweiler [2013-08-19 00:20:17] 1001*2^1251158-1 is not prime. Res64: DA7902F96E9AA4D7 Time : 0.0 sec. user=mdettweiler [2013-08-19 00:20:17] 619*2^1251159-1 is not prime. Res64: 8E3CDF951F72BA0E Time : 0.0 sec. user=mdettweiler [2013-08-19 00:22:47] 685*2^1251159-1 is not prime. Res64: B9F95047AB7DF28D Time : 0.0 sec. user=mdettweiler [2013-08-19 00:22:47] 919*2^1251159-1 is not prime. Res64: CA05BAA9D0A45190 Time : 0.0 sec. user=mdettweiler [2013-08-19 00:30:39] 943*2^1251159-1 is not prime. Res64: 0CC11FB053AB4019 Time : 0.0 sec. user=mdettweiler [2013-08-19 00:30:39] 999*2^1251159-1 is not prime. Res64: 430D5B1C83FCB958 Time : 0.0 sec. user=mdettweiler [2013-08-19 00:30:43] 689*2^1251160-1 is not prime. Res64: A319EBCEBA131F1A Time : 0.0 sec. user=mdettweiler [2013-08-19 00:30:43] 747*2^1251160-1 is not prime. Res64: E5E27A7546D5E10C Time : 0.0 sec. user=mdettweiler [2013-08-19 00:40:49] 797*2^1251160-1 is not prime. Res64: 4F69BB3CAD0AFD0A Time : 0.0 sec. user=mdettweiler [2013-08-19 00:40:50] 827*2^1251160-1 is not prime. Res64: E5AF8BB76AB9F8B0 Time : 0.0 sec. user=mdettweiler [2013-08-19 00:43:25] 873*2^1251160-1 is not prime. Res64: 5E5103808D624910 Time : 0.0 sec. user=mdettweiler [2013-08-19 00:43:25] 645*2^1251161-1 is not prime. Res64: AB9E31B01E047829 Time : 0.0 sec. user=mdettweiler [2013-08-19 00:50:53] 861*2^1251161-1 is not prime. Res64: 5F6419F9D254078D Time : 0.0 sec. user=mdettweiler [2013-08-19 00:50:53] 879*2^1251161-1 is not prime. Res64: 62798F2F3735F000 Time : 0.0 sec. user=mdettweiler [2013-08-19 00:52:03] 755*2^1251162-1 is not prime. Res64: F0F712E9EAB23EEC Time : 0.0 sec. user=mdettweiler [2013-08-19 00:52:04] 903*2^1251162-1 is not prime. Res64: 6EFA5453B5D09318 Time : 0.0 sec. user=mdettweiler [2013-08-19 01:01:53] 977*2^1251162-1 is not prime. Res64: 86B8F4377B97D578 Time : 0.0 sec. user=mdettweiler [2013-08-19 01:01:54] 735*2^1251163-1 is not prime. Res64: 337B24A4F7C3C3BA Time : 0.0 sec. user=mdettweiler [2013-08-19 01:03:34] 813*2^1251163-1 is not prime. Res64: 16E29B2B99A3AB30 Time : 0.0 sec. user=mdettweiler [2013-08-19 01:03:35] 859*2^1251163-1 is not prime. Res64: BBAAD69B4EC18EEE Time : 0.0 sec. user=mdettweiler [2013-08-19 01:10:59] 657*2^1251164-1 is not prime. Res64: 85EBF20A46450964 Time : 0.0 sec. user=mdettweiler [2013-08-19 01:10:59] 755*2^1251164-1 is not prime. Res64: 51D422D22800E394 Time : 0.0 sec. user=mdettweiler [2013-08-19 01:12:05] 655*2^1251165-1 is not prime. Res64: 9BA77AB140E91AB5 Time : 0.0 sec. user=mdettweiler [2013-08-19 01:12:05] 717*2^1251165-1 is not prime. Res64: DB52EA3F5F263967 Time : 0.0 sec. user=mdettweiler [2013-08-19 01:23:06] 825*2^1251165-1 is not prime. Res64: 89EB6BDFC0A5ED7E Time : 0.0 sec. user=mdettweiler [2013-08-19 01:23:07] 915*2^1251165-1 is not prime. Res64: 52023D1BA6A5B1EB Time : 0.0 sec. user=mdettweiler [2013-08-19 01:25:32] 961*2^1251165-1 is not prime. Res64: 55AE94B1BF70660B Time : 0.0 sec. user=mdettweiler [2013-08-19 01:25:32] 975*2^1251165-1 is not prime. Res64: 08D981E9967208BF Time : 0.0 sec. user=mdettweiler [2013-08-19 01:31:11] 653*2^1251166-1 is not prime. Res64: 1D014858F3B31DD6 Time : 0.0 sec. user=mdettweiler [2013-08-19 01:31:12] 663*2^1251166-1 is not prime. Res64: 0BD8DA4A3226AC63 Time : 0.0 sec. user=mdettweiler [2013-08-19 01:32:03] 675*2^1251166-1 is not prime. Res64: 9542A4E48B73C854 Time : 0.0 sec. user=mdettweiler [2013-08-19 01:32:03] 741*2^1251166-1 is not prime. Res64: 0D63DF0DFA28AA3D Time : 0.0 sec. user=mdettweiler [2013-08-19 01:43:03] 801*2^1251166-1 is not prime. Res64: 19D066225343877B Time : 0.0 sec. user=mdettweiler [2013-08-19 01:43:04] 867*2^1251166-1 is not prime. Res64: 70F17B9EE9FA90B8 Time : 0.0 sec. user=mdettweiler [2013-08-19 01:45:27] 663*2^1251167-1 is not prime. Res64: 464CEB31C199EEA3 Time : 0.0 sec. user=mdettweiler [2013-08-19 01:45:27] 669*2^1251167-1 is not prime. Res64: 8E3689DE6B51CBE6 Time : 0.0 sec. user=mdettweiler [2013-08-19 01:51:05] 703*2^1251167-1 is not prime. Res64: 307307D0A831E64D Time : 0.0 sec. user=mdettweiler [2013-08-19 01:51:05] 715*2^1251167-1 is not prime. Res64: DB71CA648C44BC2A Time : 0.0 sec. user=mdettweiler [2013-08-19 01:51:53] 759*2^1251167-1 is not prime. Res64: 02E52F4AD14EA293 Time : 0.0 sec. user=mdettweiler [2013-08-19 01:51:53] 775*2^1251167-1 is not prime. Res64: B1B1569E1ACECFB9 Time : 0.0 sec. user=mdettweiler [2013-08-19 02:03:06] 805*2^1251167-1 is not prime. Res64: 52C432181C2F4623 Time : 0.0 sec. user=mdettweiler [2013-08-19 02:03:07] 813*2^1251167-1 is not prime. Res64: F2380870D9E27CB5 Time : 0.0 sec. user=mdettweiler [2013-08-19 02:05:31] 831*2^1251167-1 is not prime. Res64: DB1D7CE74E963FB4 Time : 0.0 sec. user=mdettweiler [2013-08-19 02:05:32] 871*2^1251167-1 is not prime. Res64: 448C678A5C7AB4B1 Time : 0.0 sec. user=mdettweiler [2013-08-19 02:13:07] 993*2^1251167-1 is not prime. Res64: 31702A05A62AC5FA Time : 0.0 sec. user=mdettweiler [2013-08-19 02:13:07] 753*2^1251168-1 is not prime. Res64: B4094E56759F68CA Time : 0.0 sec. user=mdettweiler [2013-08-19 02:13:08] 931*2^1251167-1 is not prime. Res64: 351438F8B728CD75 Time : 0.0 sec. user=mdettweiler [2013-08-19 02:13:08] 945*2^1251167-1 is not prime. Res64: 67CD896AA0A6F496 Time : 0.0 sec. user=mdettweiler [2013-08-19 02:23:31] 797*2^1251168-1 is not prime. Res64: 7EB71A86E565CEEF Time : 0.0 sec. user=mdettweiler [2013-08-19 02:23:32] 875*2^1251168-1 is not prime. Res64: AEAED8547605A304 Time : 0.0 sec. user=mdettweiler [2013-08-19 02:26:46] 879*2^1251168-1 is not prime. Res64: 54922EF15FD29EFA Time : 0.0 sec. user=mdettweiler [2013-08-19 02:26:46] 933*2^1251168-1 is not prime. Res64: 0DCBE4A76A4C2FC7 Time : 0.0 sec. user=mdettweiler [2013-08-19 02:33:17] 765*2^1251169-1 is not prime. Res64: 222C73042FACC4E8 Time : 0.0 sec. user=mdettweiler [2013-08-19 02:33:19] 771*2^1251169-1 is not prime. Res64: 1AA22421F66BD1BF Time : 0.0 sec. user=mdettweiler [2013-08-19 02:34:12] 945*2^1251168-1 is not prime. Res64: 2912393BE7252C2D Time : 0.0 sec. user=mdettweiler [2013-08-19 02:34:13] 759*2^1251169-1 is not prime. Res64: A803D324E61C43D3 Time : 0.0 sec. user=mdettweiler [2013-08-19 02:43:34] 819*2^1251169-1 is not prime. Res64: 705A00F8C250FF4D Time : 0.0 sec. user=mdettweiler [2013-08-19 02:43:35] 877*2^1251169-1 is not prime. Res64: 00E468247B2321C2 Time : 0.0 sec. user=mdettweiler [2013-08-19 02:48:41] 925*2^1251169-1 is not prime. Res64: 192507B3690AE087 Time : 0.0 sec. user=mdettweiler [2013-08-19 02:48:41] 967*2^1251169-1 is not prime. Res64: D112D2B70677F743 Time : 0.0 sec. user=mdettweiler [2013-08-19 02:54:14] 641*2^1251170-1 is not prime. Res64: E4018826D769060C Time : 0.0 sec. user=mdettweiler [2013-08-19 02:54:14] 717*2^1251170-1 is not prime. Res64: 60C3A94879835224 Time : 0.0 sec. user=mdettweiler [2013-08-19 02:54:15] 985*2^1251169-1 is not prime. Res64: 041AE4B17601DD70 Time : 0.0 sec. user=mdettweiler [2013-08-19 02:54:15] 627*2^1251170-1 is not prime. Res64: 981EF8E325C6C24A Time : 0.0 sec. user=mdettweiler [2013-08-19 03:03:55] 791*2^1251170-1 is not prime. Res64: 92902E060206C376 Time : 0.0 sec. user=mdettweiler [2013-08-19 03:03:56] 827*2^1251170-1 is not prime. Res64: F918684580D7B009 Time : 0.0 sec. user=mdettweiler [2013-08-19 03:09:38] 867*2^1251170-1 is not prime. Res64: BF0433FBB78BEAE3 Time : 0.0 sec. user=mdettweiler [2013-08-19 03:09:38] 935*2^1251170-1 is not prime. Res64: 584DAE149557A4FF Time : 0.0 sec. user=mdettweiler [2013-08-19 03:14:14] 775*2^1251171-1 is not prime. Res64: 975319B70C2F0C50 Time : 0.0 sec. user=mdettweiler [2013-08-19 03:14:14] 795*2^1251171-1 is not prime. Res64: 59FA066E6AD51ED1 Time : 0.0 sec. user=mdettweiler [2013-08-19 03:15:09] 957*2^1251170-1 is not prime. Res64: 86B70C733BD3BC8A Time : 0.0 sec. user=mdettweiler [2013-08-19 03:15:09] 753*2^1251171-1 is not prime. Res64: 12BC2816FFCAF891 Time : 0.0 sec. user=mdettweiler [2013-08-19 03:24:02] 801*2^1251171-1 is not prime. Res64: B9A32D0DAB4EFACC Time : 0.0 sec. user=mdettweiler [2013-08-19 03:24:02] 829*2^1251171-1 is not prime. Res64: E9AC686096A31B46 Time : 0.0 sec. user=mdettweiler [2013-08-19 03:30:32] 895*2^1251171-1 is not prime. Res64: 1DB83C801DC04263 Time : 0.0 sec. user=mdettweiler [2013-08-19 03:30:34] 943*2^1251171-1 is not prime. Res64: 23B7E4C09E8DD466 Time : 0.0 sec. user=mdettweiler [2013-08-19 03:34:10] 603*2^1251172-1 is not prime. Res64: 680762EC841B3469 Time : 0.0 sec. user=mdettweiler [2013-08-19 03:34:11] 653*2^1251172-1 is not prime. Res64: 2EA5A5609E0B90C9 Time : 0.0 sec. user=mdettweiler [2013-08-19 03:35:01] 675*2^1251172-1 is not prime. Res64: 6FB8B0CBFA8C6E68 Time : 0.0 sec. user=mdettweiler [2013-08-19 03:35:01] 719*2^1251172-1 is not prime. Res64: C2BD841207AB2FA7 Time : 0.0 sec. user=mdettweiler [2013-08-19 03:43:57] 735*2^1251172-1 is not prime. Res64: B1DAF3C2F922D20F Time : 0.0 sec. user=mdettweiler [2013-08-19 03:43:57] 827*2^1251172-1 is not prime. Res64: FF7E6ACCD27F243A Time : 0.0 sec. user=mdettweiler [2013-08-19 03:51:31] 873*2^1251172-1 is not prime. Res64: 806FFD40733C1CF3 Time : 0.0 sec. user=mdettweiler [2013-08-19 03:51:31] 903*2^1251172-1 is not prime. Res64: C7DB2835ED1F9DC8 Time : 0.0 sec. user=mdettweiler [2013-08-19 03:55:04] 649*2^1251173-1 is not prime. Res64: 106B77E35114D9E1 Time : 0.0 sec. user=mdettweiler [2013-08-19 03:55:04] 685*2^1251173-1 is not prime. Res64: 655BB82241BCAAFF Time : 0.0 sec. user=mdettweiler [2013-08-19 03:55:13] 999*2^1251172-1 is not prime. Res64: C2E924640BBB656E Time : 0.0 sec. user=mdettweiler [2013-08-19 03:55:14] 631*2^1251173-1 is not prime. Res64: 50B64155FEE0D199 Time : 0.0 sec. user=mdettweiler [2013-08-19 04:03:59] 727*2^1251173-1 is not prime. Res64: 7BAF2D9BC2CBD2B4 Time : 0.0 sec. user=mdettweiler [2013-08-19 04:04:00] 871*2^1251173-1 is not prime. Res64: 432BCDB0E78D14D0 Time : 0.0 sec. user=mdettweiler [2013-08-19 04:11:25] 621*2^1251174-1 is not prime. Res64: 825A6B3B81FFAB64 Time : 0.0 sec. user=mdettweiler [2013-08-19 04:11:26] 741*2^1251174-1 is not prime. Res64: F0D6ADE8E41FDB05 Time : 0.0 sec. user=mdettweiler [2013-08-19 04:15:03] 747*2^1251174-1 is not prime. Res64: A4BBB948AF63556F Time : 0.0 sec. user=mdettweiler [2013-08-19 04:15:03] 891*2^1251174-1 is not prime. Res64: 5F213CAA913F0B2A Time : 0.0 sec. user=mdettweiler [2013-08-19 04:17:07] 923*2^1251174-1 is not prime. Res64: 5C1FE3AB33903CB6 Time : 0.0 sec. user=mdettweiler [2013-08-19 04:17:07] 927*2^1251174-1 is not prime. Res64: CE190D45EC43CE7B Time : 0.0 sec. user=mdettweiler [2013-08-19 04:24:59] 971*2^1251174-1 is not prime. Res64: A3038C50BCED8323 Time : 0.0 sec. user=mdettweiler [2013-08-19 04:25:00] 645*2^1251175-1 is not prime. Res64: 438FC474D03A4381 Time : 0.0 sec. user=mdettweiler [2013-08-19 04:31:33] 759*2^1251175-1 is not prime. Res64: 02177E6CDDBBBDAE Time : 0.0 sec. user=mdettweiler [2013-08-19 04:31:34] 895*2^1251175-1 is not prime. Res64: F2380CB8E93BFE23 Time : 0.0 sec. user=mdettweiler [2013-08-19 04:36:57] 961*2^1251175-1 is not prime. Res64: DBF0B075D7757822 Time : 0.0 sec. user=mdettweiler [2013-08-19 04:36:57] 973*2^1251175-1 is not prime. Res64: 317A76A3B217A393 Time : 0.0 sec. user=mdettweiler [2013-08-19 04:37:11] 677*2^1251176-1 is not prime. Res64: 2FF4EBB677C908CF Time : 0.0 sec. user=mdettweiler [2013-08-19 04:37:12] 843*2^1251176-1 is not prime. Res64: 51A20BAFD96FEF0D Time : 0.0 sec. user=mdettweiler [2013-08-19 04:45:54] 917*2^1251176-1 is not prime. Res64: 56E702056FD4166D Time : 0.0 sec. user=mdettweiler [2013-08-19 04:45:55] 601*2^1251177-1 is not prime. Res64: 41321A484D5F0DA9 Time : 0.0 sec. user=mdettweiler [2013-08-19 04:51:31] 709*2^1251177-1 is not prime. Res64: EFE0353E735429D0 Time : 0.0 sec. user=mdettweiler [2013-08-19 04:51:32] 829*2^1251177-1 is not prime. Res64: C954065E7E746CF5 Time : 0.0 sec. user=mdettweiler [2013-08-19 04:57:05] 837*2^1251177-1 is not prime. Res64: ADAEA7C9AF045E7C Time : 0.0 sec. user=mdettweiler [2013-08-19 04:57:05] 647*2^1251178-1 is not prime. Res64: B374B5A64FF565AB Time : 0.0 sec. user=mdettweiler [2013-08-19 04:57:11] 695*2^1251178-1 is not prime. Res64: E22216BA0B326455 Time : 0.0 sec. user=mdettweiler [2013-08-19 04:57:12] 857*2^1251178-1 is not prime. Res64: 575AB1DECD4FA90F Time : 0.0 sec. user=mdettweiler [2013-08-19 05:06:11] 881*2^1251178-1 is not prime. Res64: F6CCEE24F0E7BDFB Time : 0.0 sec. user=mdettweiler [2013-08-19 05:06:12] 891*2^1251178-1 is not prime. Res64: C4EBA03ECD54BB12 Time : 0.0 sec. user=mdettweiler [2013-08-19 05:13:43] 905*2^1251178-1 is not prime. Res64: A5BDF651D82F42DB Time : 0.0 sec. user=mdettweiler [2013-08-19 05:13:44] 987*2^1251178-1 is not prime. Res64: 9C89B560C8FABA75 Time : 0.0 sec. user=mdettweiler [2013-08-19 05:17:09] 601*2^1251179-1 is not prime. Res64: 3D8093B83E55BFBD Time : 0.0 sec. user=mdettweiler [2013-08-19 05:17:09] 825*2^1251179-1 is not prime. Res64: 83372BE62C3B6ABC Time : 0.0 sec. user=mdettweiler [2013-08-19 05:19:17] 939*2^1251179-1 is not prime. Res64: 22EEC26C17AF1577 Time : 0.0 sec. user=mdettweiler [2013-08-19 05:19:18] 949*2^1251179-1 is not prime. Res64: DE0B99FF15E036B1 Time : 0.0 sec. user=mdettweiler [2013-08-19 05:27:21] 979*2^1251179-1 is not prime. Res64: 09FE0B34F48BC1D0 Time : 0.0 sec. user=mdettweiler [2013-08-19 05:27:21] 627*2^1251180-1 is not prime. Res64: 0570C8A347CE44ED Time : 0.0 sec. user=mdettweiler [2013-08-19 05:34:43] 957*2^1251180-1 is not prime. Res64: 2AE6D9B1B152F016 Time : 0.0 sec. user=mdettweiler [2013-08-19 05:34:44] 601*2^1251181-1 is not prime. Res64: 0BCCF839707151C9 Time : 0.0 sec. user=mdettweiler [2013-08-19 05:36:59] 727*2^1251181-1 is not prime. Res64: 6369E8A6AE767E44 Time : 0.0 sec. user=mdettweiler [2013-08-19 05:36:59] 747*2^1251181-1 is not prime. Res64: AABAB4E5C7DBBB93 Time : 0.0 sec. user=mdettweiler [2013-08-19 05:39:14] 775*2^1251181-1 is not prime. Res64: F7C2DE6FBAC426EB Time : 0.0 sec. user=mdettweiler [2013-08-19 05:39:15] 861*2^1251181-1 is not prime. Res64: B239F046EC338E00 Time : 0.0 sec. user=mdettweiler [2013-08-19 05:48:19] 877*2^1251181-1 is not prime. Res64: 1C3619CB8F0530BA Time : 0.0 sec. user=mdettweiler [2013-08-19 05:48:20] 957*2^1251181-1 is not prime. Res64: 3E3B121FBFFE4FCA Time : 0.0 sec. user=mdettweiler [2013-08-19 05:54:45] 617*2^1251182-1 is not prime. Res64: A74FC31A6BDE7CBB Time : 0.0 sec. user=mdettweiler [2013-08-19 05:54:45] 635*2^1251182-1 is not prime. Res64: 188B07FAA4650BBB Time : 0.0 sec. user=mdettweiler [2013-08-19 05:57:05] 645*2^1251182-1 is not prime. Res64: ED8FFBEDCB5FE90D Time : 0.0 sec. user=mdettweiler [2013-08-19 05:57:05] 675*2^1251182-1 is not prime. Res64: 63341FF2A0291011 Time : 0.0 sec. user=mdettweiler [2013-08-19 05:59:12] 741*2^1251182-1 is not prime. Res64: DC40E363F48128D1 Time : 0.0 sec. user=mdettweiler [2013-08-19 05:59:12] 761*2^1251182-1 is not prime. Res64: 6A9DC0A95AAE7BC9 Time : 0.0 sec. user=mdettweiler [2013-08-19 06:08:11] 791*2^1251182-1 is not prime. Res64: 7F782645D22F3A85 Time : 0.0 sec. user=mdettweiler [2013-08-19 06:08:11] 887*2^1251182-1 is not prime. Res64: 7DCCD0B809A01549 Time : 0.0 sec. user=mdettweiler [2013-08-19 06:14:39] 709*2^1251183-1 is not prime. Res64: 0BAC32CAB59D5CCE Time : 0.0 sec. user=mdettweiler [2013-08-19 06:14:39] 849*2^1251183-1 is not prime. Res64: 040B97B684810F66 Time : 0.0 sec. user=mdettweiler [2013-08-19 06:18:57] 921*2^1251183-1 is not prime. Res64: DFEA52D0C395800C Time : 0.0 sec. user=mdettweiler [2013-08-19 06:18:57] 951*2^1251183-1 is not prime. Res64: 94D05830DF732F83 Time : 0.0 sec. user=mdettweiler [2013-08-19 06:19:08] 615*2^1251184-1 is not prime. Res64: AF9881BDBDA085D6 Time : 0.0 sec. user=mdettweiler [2013-08-19 06:19:08] 623*2^1251184-1 is not prime. Res64: 44379F7A9D15E1EE Time : 0.0 sec. user=mdettweiler [2013-08-19 06:28:07] 657*2^1251184-1 is not prime. Res64: 3851EFB8E17D288F Time : 0.0 sec. user=mdettweiler [2013-08-19 06:28:07] 719*2^1251184-1 is not prime. Res64: 0508B253C6FBA6C6 Time : 0.0 sec. user=mdettweiler [2013-08-19 06:35:39] 989*2^1251184-1 is not prime. Res64: 54F4EB9DCA560B29 Time : 0.0 sec. user=mdettweiler [2013-08-19 06:35:39] 777*2^1251185-1 is not prime. Res64: 9A8766DFA7D801DA Time : 0.0 sec. user=mdettweiler [2013-08-19 06:39:08] 683*2^1251186-1 is not prime. Res64: B745D5E71084E859 Time : 0.0 sec. user=mdettweiler [2013-08-19 06:39:08] 725*2^1251186-1 is not prime. Res64: 8D9355377FBC96C7 Time : 0.0 sec. user=mdettweiler [2013-08-19 06:39:48] 837*2^1251185-1 is not prime. Res64: 2D87011D25035F56 Time : 0.0 sec. user=mdettweiler [2013-08-19 06:39:48] 969*2^1251185-1 is not prime. Res64: A095B86174E42FF9 Time : 0.0 sec. user=mdettweiler [2013-08-19 06:48:11] 735*2^1251186-1 is not prime. Res64: B777AE4EC0CF3CD2 Time : 0.0 sec. user=mdettweiler [2013-08-19 06:48:11] 881*2^1251186-1 is not prime. Res64: E980CFF717B7B412 Time : 0.0 sec. user=mdettweiler [2013-08-19 06:57:35] 941*2^1251186-1 is not prime. Res64: 7933A127562F861B Time : 0.0 sec. user=mdettweiler [2013-08-19 06:57:36] 945*2^1251186-1 is not prime. Res64: 5F6A06809426AA06 Time : 0.0 sec. user=mdettweiler [2013-08-19 07:00:07] 963*2^1251186-1 is not prime. Res64: 2855B38AD3058A5E Time : 0.0 sec. user=mdettweiler [2013-08-19 07:00:08] 805*2^1251187-1 is not prime. Res64: A87B606FFF53EACA Time : 0.0 sec. user=mdettweiler [2013-08-19 07:01:42] 901*2^1251187-1 is not prime. Res64: 3B2273CD2300C4D0 Time : 0.0 sec. user=mdettweiler [2013-08-19 07:01:43] 919*2^1251187-1 is not prime. Res64: AF9CF84523C673D7 Time : 0.0 sec. user=juhehe [2013-08-19 07:05:29] 633*2^1251146-1 is not prime. Res64: 015932EDE3C3EBB8 Time : 0.0 sec. user=mdettweiler [2013-08-19 07:10:07] 961*2^1251187-1 is not prime. Res64: F502FC1A5BC36ACC Time : 0.0 sec. user=mdettweiler [2013-08-19 07:10:07] 993*2^1251187-1 is not prime. Res64: C7AFD978E23EAFE3 Time : 0.0 sec. user=mdettweiler [2013-08-19 07:17:29] 635*2^1251188-1 is not prime. Res64: C3ACD370D95D2AAC Time : 0.0 sec. user=mdettweiler [2013-08-19 07:17:30] 839*2^1251188-1 is not prime. Res64: C437562B3FFC6307 Time : 0.0 sec. user=mdettweiler [2013-08-19 07:20:02] 843*2^1251188-1 is not prime. Res64: DF1DB57912726F63 Time : 0.0 sec. user=mdettweiler [2013-08-19 07:20:02] 845*2^1251188-1 is not prime. Res64: FCAE671FCC82A0A9 Time : 0.0 sec. user=mdettweiler [2013-08-19 07:22:34] 885*2^1251188-1 is not prime. Res64: 51FD6F54866ACE9E Time : 0.0 sec. user=mdettweiler [2013-08-19 07:22:34] 923*2^1251188-1 is not prime. Res64: 01B9EDB79A6BDE39 Time : 0.0 sec. user=mdettweiler [2013-08-19 07:31:06] 987*2^1251188-1 is not prime. Res64: 365C6BE2B00F959B Time : 0.0 sec. user=mdettweiler [2013-08-19 07:31:07] 669*2^1251189-1 is not prime. Res64: B7760D99749D5101 Time : 0.0 sec. user=mdettweiler [2013-08-19 07:37:27] 889*2^1251189-1 is not prime. Res64: A3E1AFF972394A8A Time : 0.0 sec. user=mdettweiler [2013-08-19 07:37:27] 603*2^1251190-1 is not prime. Res64: 68FE3A348AB07B52 Time : 0.0 sec. user=mdettweiler [2013-08-19 07:40:05] 717*2^1251190-1 is not prime. Res64: 941FC973337C3273 Time : 0.0 sec. user=mdettweiler [2013-08-19 07:40:05] 827*2^1251190-1 is not prime. Res64: 1092FCF5F790D053 Time : 0.0 sec. user=mdettweiler [2013-08-19 07:42:33] 863*2^1251190-1 is not prime. Res64: 143A583AFF46FDA5 Time : 0.0 sec. user=mdettweiler [2013-08-19 07:42:33] 867*2^1251190-1 is not prime. Res64: CDF7BC1EB4A073D7 Time : 0.0 sec. user=juhehe [2013-08-19 07:50:22] 969*2^1251188-1 is not prime. Res64: F7A6B077E739A553 Time : 0.0 sec. user=mdettweiler [2013-08-19 07:51:05] 873*2^1251190-1 is not prime. Res64: C5592D7DB8F575DA Time : 0.0 sec. user=mdettweiler [2013-08-19 07:51:05] 609*2^1251191-1 is not prime. Res64: 77F03B6CCBB6EE56 Time : 0.0 sec. user=mdettweiler [2013-08-19 07:57:26] 663*2^1251191-1 is not prime. Res64: 33C6C82AE7B475FE Time : 0.0 sec. user=mdettweiler [2013-08-19 07:57:27] 669*2^1251191-1 is not prime. Res64: 3D9469835CE78491 Time : 0.0 sec. user=mdettweiler [2013-08-19 08:00:06] 705*2^1251191-1 is not prime. Res64: DA615FD502B7DF38 Time : 0.0 sec. user=mdettweiler [2013-08-19 08:00:06] 735*2^1251191-1 is not prime. Res64: 61E8825D060215E3 Time : 0.0 sec. user=mdettweiler [2013-08-19 08:02:44] 885*2^1251191-1 is not prime. Res64: EAB7D6CF64DAC4FF Time : 0.0 sec. user=mdettweiler [2013-08-19 08:02:45] 895*2^1251191-1 is not prime. Res64: 5ACF83CC84AB2506 Time : 0.0 sec. user=mdettweiler [2013-08-19 08:20:52] 955*2^1251191-1 is not prime. Res64: FF2046DAB7902E0E Time : 0.0 sec. user=mdettweiler [2013-08-19 08:20:52] 969*2^1251191-1 is not prime. Res64: C2E283D3CFF6750C Time : 0.0 sec. user=mdettweiler [2013-08-19 08:26:04] 999*2^1251191-1 is not prime. Res64: 67EC7B83D0075D75 Time : 0.0 sec. user=mdettweiler [2013-08-19 08:26:04] 627*2^1251192-1 is not prime. Res64: 9A6C78C70E8E6F41 Time : 0.0 sec. user=mdettweiler [2013-08-19 08:28:17] 635*2^1251192-1 is not prime. Res64: 163FDA6B529DD06D Time : 0.0 sec. user=mdettweiler [2013-08-19 08:28:17] 669*2^1251192-1 is not prime. Res64: 3C4C988A2880D129 Time : 0.0 sec. user=mdettweiler [2013-08-19 08:30:29] 737*2^1251192-1 is not prime. Res64: B94C73067A75712C Time : 0.0 sec. user=mdettweiler [2013-08-19 08:30:29] 797*2^1251192-1 is not prime. Res64: A6DB78D45DB886C3 Time : 0.0 sec. user=juhehe [2013-08-19 08:35:12] 939*2^1251191-1 is not prime. Res64: 5BD62BC3DB97F290 Time : 0.0 sec. user=mdettweiler [2013-08-19 08:41:41] 819*2^1251192-1 is not prime. Res64: 5DD0C0FEBBEA59DF Time : 0.0 sec. user=mdettweiler [2013-08-19 08:41:42] 879*2^1251192-1 is not prime. Res64: A2F65FBD92B170D9 Time : 0.0 sec. user=mdettweiler [2013-08-19 08:49:04] 909*2^1251192-1 is not prime. Res64: 1898C900067AFEB6 Time : 0.0 sec. user=mdettweiler [2013-08-19 08:49:04] 929*2^1251192-1 is not prime. Res64: BEA2D38E7EC15098 Time : 0.0 sec. user=mdettweiler [2013-08-19 08:49:16] 619*2^1251193-1 is not prime. Res64: 42E2123C9910AD33 Time : 0.0 sec. user=mdettweiler [2013-08-19 08:49:16] 829*2^1251193-1 is not prime. Res64: 0F5777AEFDC3DDDB Time : 0.0 sec. user=mdettweiler [2013-08-19 08:52:31] 895*2^1251193-1 is not prime. Res64: 05D9EE0CFC4F6807 Time : 0.0 sec. user=mdettweiler [2013-08-19 08:52:31] 915*2^1251193-1 is not prime. Res64: C295774C83CD590F Time : 0.0 sec. user=mdettweiler [2013-08-19 09:02:33] 785*2^1251194-1 is not prime. Res64: 8EBED49E80708022 Time : 0.0 sec. user=mdettweiler [2013-08-19 09:02:34] 813*2^1251194-1 is not prime. Res64: E82AC0A4764F36C1 Time : 0.0 sec. user=mdettweiler [2013-08-19 09:10:34] 851*2^1251194-1 is not prime. Res64: FA53588953544F9F Time : 0.0 sec. user=mdettweiler [2013-08-19 09:10:35] 915*2^1251194-1 is not prime. Res64: 858AF32972FF0B02 Time : 0.0 sec. user=mdettweiler [2013-08-19 09:10:45] 993*2^1251194-1 is not prime. Res64: 8D7DA4606F5C279D Time : 0.0 sec. user=mdettweiler [2013-08-19 09:10:45] 613*2^1251195-1 is not prime. Res64: F2DC2D391480F822 Time : 0.0 sec. user=mdettweiler [2013-08-19 09:12:58] 639*2^1251195-1 is not prime. Res64: C96904161B852616 Time : 0.0 sec. user=mdettweiler [2013-08-19 09:13:00] 793*2^1251195-1 is not prime. Res64: 8FBFAF7B133681A8 Time : 0.0 sec. user=juhehe [2013-08-19 09:19:48] 951*2^1251193-1 is not prime. Res64: 8DDF8C098E00D164 Time : 0.0 sec. user=mdettweiler [2013-08-19 09:24:20] 853*2^1251195-1 is not prime. Res64: 784E980961B10D2E Time : 0.0 sec. user=mdettweiler [2013-08-19 09:24:20] 961*2^1251195-1 is not prime. Res64: 52F6FDF6C1F191F7 Time : 0.0 sec. user=mdettweiler [2013-08-19 09:30:55] 603*2^1251196-1 is not prime. Res64: 09D9BE35AB5DDA77 Time : 0.0 sec. user=mdettweiler [2013-08-19 09:30:56] 675*2^1251196-1 is not prime. Res64: 1C1527E77B8F1507 Time : 0.0 sec. user=mdettweiler [2013-08-19 09:32:04] 743*2^1251196-1 is not prime. Res64: 0C84A17C1FB46E6C Time : 0.0 sec. user=mdettweiler [2013-08-19 09:32:04] 899*2^1251196-1 is not prime. Res64: 72D407CAC5F4CBC4 Time : 0.0 sec. user=mdettweiler [2013-08-19 09:34:19] 905*2^1251196-1 is not prime. Res64: B6C7776800445426 Time : 0.0 sec. user=mdettweiler [2013-08-19 09:34:20] 669*2^1251197-1 is not prime. Res64: 6C1FAB7217AAB6E7 Time : 0.0 sec. user=mdettweiler [2013-08-19 09:44:28] 735*2^1251197-1 is not prime. Res64: 20CA554A7E80C68C Time : 0.0 sec. user=mdettweiler [2013-08-19 09:44:29] 799*2^1251197-1 is not prime. Res64: 158D069E2B9FE5E5 Time : 0.0 sec. user=mdettweiler [2013-08-19 09:51:59] 847*2^1251197-1 is not prime. Res64: 7AB2DFD182C2AC4F Time : 0.0 sec. user=mdettweiler [2013-08-19 09:51:59] 931*2^1251197-1 is not prime. Res64: 9AC97B303185344F Time : 0.0 sec. user=mdettweiler [2013-08-19 09:53:05] 991*2^1251197-1 is not prime. Res64: 5C0D5EA4DB47A92A Time : 0.0 sec. user=mdettweiler [2013-08-19 09:53:06] 621*2^1251198-1 is not prime. Res64: C603DD651475E186 Time : 0.0 sec. user=mdettweiler [2013-08-19 09:54:29] 651*2^1251198-1 is not prime. Res64: B3337533E6178E54 Time : 0.0 sec. user=mdettweiler [2013-08-19 09:54:29] 677*2^1251198-1 is not prime. Res64: 34EA65F5270844F4 Time : 0.0 sec. user=juhehe [2013-08-19 10:00:27] 717*2^1251197-1 is not prime. Res64: B8749BDBA5BC0E4F Time : 0.0 sec. user=mdettweiler [2013-08-19 10:04:37] 765*2^1251198-1 is not prime. Res64: 6EEF27447250CE97 Time : 0.0 sec. user=mdettweiler [2013-08-19 10:04:37] 825*2^1251198-1 is not prime. Res64: 59F86F3BD91D482F Time : 0.0 sec. user=mdettweiler [2013-08-19 10:12:15] 843*2^1251198-1 is not prime. Res64: F108F419DD829BAF Time : 0.0 sec. user=mdettweiler [2013-08-19 10:12:15] 867*2^1251198-1 is not prime. Res64: 25F390F9CFE980ED Time : 0.0 sec. user=mdettweiler [2013-08-19 10:14:34] 619*2^1251199-1 is not prime. Res64: D64ED1A528DD930A Time : 0.0 sec. user=mdettweiler [2013-08-19 10:14:34] 645*2^1251199-1 is not prime. Res64: B13025EE272F476F Time : 0.0 sec. user=mdettweiler [2013-08-19 10:15:11] 927*2^1251198-1 is not prime. Res64: F4C907DC58BBDFE7 Time : 0.0 sec. user=mdettweiler [2013-08-19 10:15:11] 971*2^1251198-1 is not prime. Res64: 17067E09259E95D4 Time : 0.0 sec. user=mdettweiler [2013-08-19 10:24:35] 765*2^1251199-1 is not prime. Res64: 33EF06E0C75E2D08 Time : 0.0 sec. user=mdettweiler [2013-08-19 10:24:35] 793*2^1251199-1 is not prime. Res64: 7939DBD99E461150 Time : 0.0 sec. user=mdettweiler [2013-08-19 10:33:11] 861*2^1251199-1 is not prime. Res64: 0ADBC4B8FAFDAE53 Time : 0.0 sec. user=mdettweiler [2013-08-19 10:33:12] 925*2^1251199-1 is not prime. Res64: 0F10EBDAC3323DA5 Time : 0.0 sec. user=mdettweiler [2013-08-19 10:35:07] 685*2^1251201-1 is not prime. Res64: DE5221DA69A88F4B Time : 0.0 sec. user=mdettweiler [2013-08-19 10:35:07] 727*2^1251201-1 is not prime. Res64: 114C81854D51F3A7 Time : 0.0 sec. user=mdettweiler [2013-08-19 10:36:25] 931*2^1251199-1 is not prime. Res64: BB47B3C20886EA01 Time : 0.0 sec. user=mdettweiler [2013-08-19 10:36:25] 935*2^1251200-1 is not prime. Res64: AEEBF379C39AFD3C Time : 0.0 sec. user=juhehe [2013-08-19 10:41:27] 679*2^1251199-1 is not prime. Res64: 35F4E13262D1B9D0 Time : 0.0 sec. user=mdettweiler [2013-08-19 10:44:50] 777*2^1251201-1 is not prime. Res64: 6B699FCEC38B035F Time : 0.0 sec. user=mdettweiler [2013-08-19 10:44:50] 889*2^1251201-1 is not prime. Res64: B9B8EC02973F5487 Time : 0.0 sec. user=mdettweiler [2013-08-19 10:53:50] 611*2^1251202-1 is not prime. Res64: 049C3543AF50F9AE Time : 0.0 sec. user=mdettweiler [2013-08-19 10:53:50] 635*2^1251202-1 is not prime. Res64: 80360D381F373842 Time : 0.0 sec. user=mdettweiler [2013-08-19 10:56:12] 657*2^1251202-1 is not prime. Res64: 1BFFA028B3D811BA Time : 0.0 sec. user=mdettweiler [2013-08-19 10:56:12] 695*2^1251202-1 is not prime. Res64: BC62CDA8F4312A8C Time : 0.0 sec. user=mdettweiler [2013-08-19 10:57:32] 827*2^1251202-1 is not prime. Res64: F15F2DC933949790 Time : 0.0 sec. user=mdettweiler [2013-08-19 10:57:32] 833*2^1251202-1 is not prime. Res64: 4498B4BDEE6335C5 Time : 0.0 sec. user=mdettweiler [2013-08-19 11:06:57] 917*2^1251202-1 is not prime. Res64: E7AFE1FAEAD27B5F Time : 0.0 sec. user=mdettweiler [2013-08-19 11:06:58] 679*2^1251203-1 is not prime. Res64: D98D84036FF68B60 Time : 0.0 sec. user=mdettweiler [2013-08-19 11:14:56] 783*2^1251203-1 is not prime. Res64: E69D1214B817FA6E Time : 0.0 sec. user=mdettweiler [2013-08-19 11:14:57] 855*2^1251203-1 is not prime. Res64: E3B8C8743A4B6E88 Time : 0.0 sec. user=mdettweiler [2013-08-19 11:17:39] 885*2^1251203-1 is not prime. Res64: F46A008F5616055E Time : 0.0 sec. user=mdettweiler [2013-08-19 11:17:40] 913*2^1251203-1 is not prime. Res64: C22F3EE116718427 Time : 0.0 sec. user=mdettweiler [2013-08-19 11:19:47] 939*2^1251203-1 is not prime. Res64: 89514EC0CC8A59AB Time : 0.0 sec. user=mdettweiler [2013-08-19 11:19:48] 973*2^1251203-1 is not prime. Res64: 94D4D85E13B93E4E Time : 0.0 sec. user=mdettweiler [2013-08-19 11:27:16] 615*2^1251204-1 is not prime. Res64: 1C34CFDB6CAA2B14 Time : 0.0 sec. user=mdettweiler [2013-08-19 11:27:17] 635*2^1251204-1 is not prime. Res64: 13F1C454C19814C0 Time : 0.0 sec. user=mdettweiler [2013-08-19 11:35:09] 795*2^1251204-1 is not prime. Res64: DC41A17688839414 Time : 0.0 sec. user=mdettweiler [2013-08-19 11:35:09] 837*2^1251204-1 is not prime. Res64: 4F178E5513F6FDF4 Time : 0.0 sec. user=mdettweiler [2013-08-19 11:38:53] 893*2^1251204-1 is not prime. Res64: 7BE483A8B1107AF8 Time : 0.0 sec. user=mdettweiler [2013-08-19 11:38:53] 959*2^1251204-1 is not prime. Res64: D7CCBE00EF6899CE Time : 0.0 sec. user=mdettweiler [2013-08-19 11:40:54] 975*2^1251204-1 is not prime. Res64: F4CBBE45199071A4 Time : 0.0 sec. user=mdettweiler [2013-08-19 11:40:54] 601*2^1251205-1 is not prime. Res64: FD629E0BD5FAAF4F Time : 0.0 sec. user=mdettweiler [2013-08-19 11:47:28] 607*2^1251205-1 is not prime. Res64: E26BEF4221EF5CEB Time : 0.0 sec. user=mdettweiler [2013-08-19 11:47:28] 619*2^1251205-1 is not prime. Res64: 63F1DE8A5595289F Time : 0.0 sec. user=mdettweiler [2013-08-19 11:55:23] 691*2^1251205-1 is not prime. Res64: 04394199D78BFB11 Time : 0.0 sec. user=mdettweiler [2013-08-19 11:55:24] 729*2^1251205-1 is not prime. Res64: F82FDDAB1684DA90 Time : 0.0 sec. user=mdettweiler [2013-08-19 11:59:02] 603*2^1251206-1 is not prime. Res64: 7808B184B608A683 Time : 0.0 sec. user=mdettweiler [2013-08-19 11:59:02] 635*2^1251206-1 is not prime. Res64: 4733A87C0C4DFC17 Time : 0.0 sec. user=mdettweiler [2013-08-19 12:02:04] 963*2^1251206-1 is not prime. Res64: 626FFA9C51D7BDD6 Time : 0.0 sec. user=mdettweiler [2013-08-19 12:02:05] 643*2^1251207-1 is not prime. Res64: 9FCD2FB3FE4027FD Time : 0.0 sec. user=mdettweiler [2013-08-19 12:07:40] 739*2^1251207-1 is not prime. Res64: BC9796CF3B8DC2BA Time : 0.0 sec. user=mdettweiler [2013-08-19 12:07:41] 741*2^1251207-1 is not prime. Res64: 0093EC8EF6A23752 Time : 0.0 sec. user=juhehe [2013-08-19 12:14:26] 645*2^1251205-1 is not prime. Res64: B9FDBB012C9DF518 Time : 0.0 sec. user=mdettweiler [2013-08-19 12:15:28] 751*2^1251207-1 is not prime. Res64: 119E6FE7F02B115D Time : 0.0 sec. user=mdettweiler [2013-08-19 12:15:28] 781*2^1251207-1 is not prime. Res64: 78A1ABFA67FA1486 Time : 0.0 sec. user=mdettweiler [2013-08-19 12:20:07] 831*2^1251207-1 is not prime. Res64: 57D0FB7A83313BE8 Time : 0.0 sec. user=mdettweiler [2013-08-19 12:20:07] 973*2^1251207-1 is not prime. Res64: CBC9821E0277AAD5 Time : 0.0 sec. user=mdettweiler [2013-08-19 12:22:17] 605*2^1251208-1 is not prime. Res64: 1B18B5F11FBD24F3 Time : 0.0 sec. user=mdettweiler [2013-08-19 12:22:17] 657*2^1251208-1 is not prime. Res64: 5E46704860CC14D5 Time : 0.0 sec. user=mdettweiler [2013-08-19 12:27:45] 773*2^1251208-1 is not prime. Res64: 73825C2396F50DEE Time : 0.0 sec. user=mdettweiler [2013-08-19 12:27:46] 863*2^1251208-1 is not prime. Res64: E44213EB725A2199 Time : 0.0 sec. user=mdettweiler [2013-08-19 12:36:36] 887*2^1251208-1 is not prime. Res64: 8B63951FC0F5CCD5 Time : 0.0 sec. user=mdettweiler [2013-08-19 12:36:36] 933*2^1251208-1 is not prime. Res64: B666B669C5DC6D0B Time : 0.0 sec. user=mdettweiler [2013-08-19 12:41:05] 989*2^1251208-1 is not prime. Res64: 382C16C625D5164B Time : 0.0 sec. user=mdettweiler [2013-08-19 12:41:05] 649*2^1251209-1 is not prime. Res64: 59573967D00A7DA7 Time : 0.0 sec. user=mdettweiler [2013-08-19 12:42:30] 657*2^1251209-1 is not prime. Res64: 0D080C9383EB3190 Time : 0.0 sec. user=mdettweiler [2013-08-19 12:42:30] 685*2^1251209-1 is not prime. Res64: 96357A8F6A4C7722 Time : 0.0 sec. user=mdettweiler [2013-08-19 12:47:42] 691*2^1251209-1 is not prime. Res64: 7A0FE6C352549E51 Time : 0.0 sec. user=mdettweiler [2013-08-19 12:47:42] 727*2^1251209-1 is not prime. Res64: C1597575B05F715D Time : 0.0 sec. user=mdettweiler [2013-08-19 12:56:35] 741*2^1251209-1 is not prime. Res64: 8C23042BC995192C Time : 0.0 sec. user=mdettweiler [2013-08-19 12:56:36] 781*2^1251209-1 is not prime. Res64: 05587DB6380E37D3 Time : 0.0 sec. user=mdettweiler [2013-08-19 13:01:05] 795*2^1251209-1 is not prime. Res64: 8454A17E58A0B02C Time : 0.0 sec. user=mdettweiler [2013-08-19 13:01:07] 811*2^1251209-1 is not prime. Res64: BFF37434845FBDD1 Time : 0.0 sec. user=mdettweiler [2013-08-19 13:02:29] 819*2^1251209-1 is not prime. Res64: 9681BF6673F071E7 Time : 0.0 sec. user=mdettweiler [2013-08-19 13:02:30] 847*2^1251209-1 is not prime. Res64: AB1DFE5E51FC8775 Time : 0.0 sec. user=mdettweiler [2013-08-19 13:07:54] 855*2^1251209-1 is not prime. Res64: FB4E6D0410FCE4CA Time : 0.0 sec. user=mdettweiler [2013-08-19 13:07:55] 633*2^1251210-1 is not prime. Res64: DB6CBEA5AD232052 Time : 0.0 sec. user=mdettweiler [2013-08-19 13:16:41] 647*2^1251210-1 is not prime. Res64: D52663F80CE3C250 Time : 0.0 sec. user=mdettweiler [2013-08-19 13:16:41] 695*2^1251210-1 is not prime. Res64: 7A8E25E96325F994 Time : 0.0 sec. user=mdettweiler [2013-08-19 13:22:16] 893*2^1251210-1 is not prime. Res64: 169D642CEC229D57 Time : 0.0 sec. user=mdettweiler [2013-08-19 13:22:17] 917*2^1251210-1 is not prime. Res64: 76BD5803B24B2918 Time : 0.0 sec. user=mdettweiler [2013-08-19 13:23:37] 941*2^1251210-1 is not prime. Res64: 47EC1CC297988BC9 Time : 0.0 sec. user=mdettweiler [2013-08-19 13:23:38] 741*2^1251211-1 is not prime. Res64: C06B247C8B22DCED Time : 0.0 sec. user=mdettweiler [2013-08-19 13:28:06] 783*2^1251211-1 is not prime. Res64: 310586CA3256E667 Time : 0.0 sec. user=mdettweiler [2013-08-19 13:28:07] 855*2^1251211-1 is not prime. Res64: D27470950A6A4C99 Time : 0.0 sec. user=mdettweiler [2013-08-19 13:36:49] 885*2^1251211-1 is not prime. Res64: 9E8C90654D9EDEA0 Time : 0.0 sec. user=mdettweiler [2013-08-19 13:36:49] 615*2^1251212-1 is not prime. Res64: DCF0FCCC28410D40 Time : 0.0 sec. user=mdettweiler [2013-08-19 13:42:24] 623*2^1251212-1 is not prime. Res64: 230E6FE550A12CF8 Time : 0.0 sec. user=mdettweiler [2013-08-19 13:42:24] 635*2^1251212-1 is not prime. Res64: 4BAFD3E3B1C942CF Time : 0.0 sec. user=mdettweiler [2013-08-19 13:44:46] 749*2^1251212-1 is not prime. Res64: CD16FA44166355D1 Time : 0.0 sec. user=mdettweiler [2013-08-19 13:44:47] 915*2^1251212-1 is not prime. Res64: 9D8F41EEB436D6F7 Time : 0.0 sec. user=juhehe [2013-08-19 13:47:14] 751*2^1251211-1 is not prime. Res64: A072E8EC423AED45 Time : 0.0 sec. user=mdettweiler [2013-08-19 13:50:09] 945*2^1251212-1 is not prime. Res64: CF5242914B445DD3 Time : 0.0 sec. user=mdettweiler [2013-08-19 13:50:09] 983*2^1251212-1 is not prime. Res64: 0E9EFFA218529231 Time : 0.0 sec. user=mdettweiler [2013-08-19 13:56:56] 621*2^1251213-1 is not prime. Res64: 14838767CA082C38 Time : 0.0 sec. user=mdettweiler [2013-08-19 13:56:57] 625*2^1251213-1 is not prime. Res64: D27A27036657CF33 Time : 0.0 sec. user=mdettweiler [2013-08-19 14:02:42] 685*2^1251213-1 is not prime. Res64: 80430721D979334B Time : 0.0 sec. user=mdettweiler [2013-08-19 14:02:43] 699*2^1251213-1 is not prime. Res64: 16AFFAF3E287F241 Time : 0.0 sec. user=mdettweiler [2013-08-19 14:05:03] 741*2^1251213-1 is not prime. Res64: B03411495690B79B Time : 0.0 sec. user=mdettweiler [2013-08-19 14:05:04] 745*2^1251213-1 is not prime. Res64: B84A25D91ABFB926 Time : 0.0 sec. user=mdettweiler [2013-08-19 14:10:17] 835*2^1251213-1 is not prime. Res64: 680C98C41E44B44B Time : 0.0 sec. user=mdettweiler [2013-08-19 14:10:17] 885*2^1251213-1 is not prime. Res64: 4A31D8583876A49F Time : 0.0 sec. user=mdettweiler [2013-08-19 14:18:05] 969*2^1251213-1 is not prime. Res64: A458775726D1E62A Time : 0.0 sec. user=mdettweiler [2013-08-19 14:18:05] 621*2^1251214-1 is not prime. Res64: 71B9A698CEA1C910 Time : 0.0 sec. user=mdettweiler [2013-08-19 14:22:51] 737*2^1251214-1 is not prime. Res64: 4261D626087A78BD Time : 0.0 sec. user=mdettweiler [2013-08-19 14:22:51] 827*2^1251214-1 is not prime. Res64: 1FBE1DB3E9BF90A3 Time : 0.0 sec. user=mdettweiler [2013-08-19 14:27:02] 923*2^1251214-1 is not prime. Res64: 56A03CAAC4B7777E Time : 0.0 sec. user=mdettweiler [2013-08-19 14:27:03] 965*2^1251214-1 is not prime. Res64: 1D584FE798863FBF Time : 0.0 sec. user=mdettweiler [2013-08-19 14:30:24] 603*2^1251215-1 is not prime. Res64: 185FE347716C097F Time : 0.0 sec. user=mdettweiler [2013-08-19 14:30:24] 651*2^1251215-1 is not prime. Res64: 360C1CC47CDBECCF Time : 0.0 sec. user=mdettweiler [2013-08-19 14:38:07] 715*2^1251215-1 is not prime. Res64: 9A08CB96CC89D5CD Time : 0.0 sec. user=mdettweiler [2013-08-19 14:38:07] 721*2^1251215-1 is not prime. Res64: AAACF5B75B9DECF2 Time : 0.0 sec. user=mdettweiler [2013-08-19 14:42:47] 735*2^1251215-1 is not prime. Res64: C0C0F6DD366351EF Time : 0.0 sec. user=mdettweiler [2013-08-19 14:42:47] 759*2^1251215-1 is not prime. Res64: 2C5CB69A89141EF8 Time : 0.0 sec. user=mdettweiler [2013-08-19 14:47:02] 823*2^1251215-1 is not prime. Res64: D67184C9E64B1B89 Time : 0.0 sec. user=mdettweiler [2013-08-19 14:47:03] 843*2^1251215-1 is not prime. Res64: 920DE62EC5BC67E3 Time : 0.0 sec. user=mdettweiler [2013-08-19 14:52:18] 915*2^1251215-1 is not prime. Res64: 9563164036EAAE27 Time : 0.0 sec. user=mdettweiler [2013-08-19 14:52:19] 969*2^1251215-1 is not prime. Res64: 9BDA757683E74EDF Time : 0.0 sec. user=mdettweiler [2013-08-19 14:59:12] 999*2^1251215-1 is not prime. Res64: 1144DDDDC240E167 Time : 0.0 sec. user=mdettweiler [2013-08-19 14:59:12] 779*2^1251216-1 is not prime. Res64: C0203282A9585F66 Time : 0.0 sec. user=mdettweiler [2013-08-19 15:04:43] 923*2^1251216-1 is not prime. Res64: 5B9B1B21632E0F5B Time : 0.0 sec. user=mdettweiler [2013-08-19 15:04:44] 969*2^1251216-1 is not prime. Res64: 4783CE7560A46E3D Time : 0.0 sec. user=mdettweiler [2013-08-19 15:09:06] 975*2^1251216-1 is not prime. Res64: ACBC5A2818A5C5E8 Time : 0.0 sec. user=mdettweiler [2013-08-19 15:09:06] 993*2^1251216-1 is not prime. Res64: 3C81B8BA2ADC55B3 Time : 0.0 sec. user=mdettweiler [2013-08-19 15:12:20] 601*2^1251217-1 is not prime. Res64: 88DB0CB1BB3E19B3 Time : 0.0 sec. user=mdettweiler [2013-08-19 15:12:20] 747*2^1251217-1 is not prime. Res64: AFC14DD4336EAF00 Time : 0.0 sec. user=mdettweiler [2013-08-19 15:19:23] 765*2^1251217-1 is not prime. Res64: 398B96BBE84AE749 Time : 0.0 sec. user=mdettweiler [2013-08-19 15:19:23] 819*2^1251217-1 is not prime. Res64: 7F8B76AA7EFFB570 Time : 0.0 sec. user=mdettweiler [2013-08-19 15:24:41] 847*2^1251217-1 is not prime. Res64: 5E612104DFF3198D Time : 0.0 sec. user=mdettweiler [2013-08-19 15:24:41] 861*2^1251217-1 is not prime. Res64: C70D8DAB40578348 Time : 0.0 sec. user=mdettweiler [2013-08-19 15:29:58] 871*2^1251217-1 is not prime. Res64: 27820F0926EA030D Time : 0.0 sec. user=mdettweiler [2013-08-19 15:29:58] 897*2^1251217-1 is not prime. Res64: C62DB7DAF2940603 Time : 0.0 sec. user=mdettweiler [2013-08-19 15:33:13] 915*2^1251217-1 is not prime. Res64: 2DD42EB9DD0C9948 Time : 0.0 sec. user=mdettweiler [2013-08-19 15:33:13] 857*2^1251218-1 is not prime. Res64: FE1CB238BC2BB927 Time : 0.0 sec. user=mdettweiler [2013-08-19 15:40:26] 887*2^1251218-1 is not prime. Res64: 679D2F3D5E9B45B3 Time : 0.0 sec. user=mdettweiler [2013-08-19 15:40:26] 945*2^1251218-1 is not prime. Res64: EEE3062BA40F0052 Time : 0.0 sec. user=mdettweiler [2013-08-19 15:46:30] 977*2^1251218-1 is not prime. Res64: 2C87F8DDFF9DEB69 Time : 0.0 sec. user=mdettweiler [2013-08-19 15:46:30] 987*2^1251218-1 is not prime. Res64: 5B8425564F680582 Time : 0.0 sec. user=mdettweiler [2013-08-19 15:49:52] 685*2^1251219-1 is not prime. Res64: 5943AA4D7AEA6153 Time : 0.0 sec. user=mdettweiler [2013-08-19 15:49:53] 711*2^1251219-1 is not prime. Res64: C8163965878A9EFC Time : 0.0 sec. user=mdettweiler [2013-08-19 15:53:13] 853*2^1251219-1 is not prime. Res64: 47ED4220982E3193 Time : 0.0 sec. user=mdettweiler [2013-08-19 15:53:13] 859*2^1251219-1 is not prime. Res64: 3AFDC01F63C785AD Time : 0.0 sec. user=mdettweiler [2013-08-19 16:02:18] 931*2^1251219-1 is not prime. Res64: 6BC8A4C88DE1BC0F Time : 0.0 sec. user=mdettweiler [2013-08-19 16:02:20] 955*2^1251219-1 is not prime. Res64: 5315102CEF20676E Time : 0.0 sec. user=juhehe [2013-08-19 16:05:02] 633*2^1251219-1 is not prime. Res64: 6928BFE3299720D9 Time : 0.0 sec. user=mdettweiler [2013-08-19 16:08:22] 979*2^1251219-1 is not prime. Res64: FFD5A2F426DE5CC9 Time : 0.0 sec. user=mdettweiler [2013-08-19 16:08:23] 985*2^1251219-1 is not prime. Res64: A1FDC3D0D1AD9465 Time : 0.0 sec. user=mdettweiler [2013-08-19 16:09:56] 675*2^1251220-1 is not prime. Res64: 44EF09ED809E7E8A Time : 0.0 sec. user=mdettweiler [2013-08-19 16:09:56] 677*2^1251220-1 is not prime. Res64: 9FE6EE4B86529E43 Time : 0.0 sec. user=mdettweiler [2013-08-19 16:14:20] 723*2^1251220-1 is not prime. Res64: 6BE74490C2251C8B Time : 0.0 sec. user=mdettweiler [2013-08-19 16:14:20] 905*2^1251220-1 is not prime. Res64: CF06F6BCB654488B Time : 0.0 sec. user=juhehe [2013-08-19 16:14:41] 843*2^1251219-1 is not prime. Res64: F31029A6242AFAEB Time : 0.0 sec. user=mdettweiler [2013-08-19 16:24:38] 933*2^1251220-1 is not prime. Res64: 61AC55FFF38F09F1 Time : 0.0 sec. user=mdettweiler [2013-08-19 16:24:38] 987*2^1251220-1 is not prime. Res64: 7F8DC119022338EE Time : 0.0 sec. user=mdettweiler [2013-08-19 16:28:28] 645*2^1251221-1 is not prime. Res64: 77308CA403257ADF Time : 0.0 sec. user=mdettweiler [2013-08-19 16:28:28] 691*2^1251221-1 is not prime. Res64: 567D001B218AD471 Time : 0.0 sec. user=mdettweiler [2013-08-19 16:30:04] 717*2^1251221-1 is not prime. Res64: C39A5F527788EB8E Time : 0.0 sec. user=mdettweiler [2013-08-19 16:30:04] 727*2^1251221-1 is not prime. Res64: ED1E88EDED3CA58A Time : 0.0 sec. user=mdettweiler [2013-08-19 16:35:14] 745*2^1251221-1 is not prime. Res64: CDAD266F19E4B75D Time : 0.0 sec. user=mdettweiler [2013-08-19 16:35:14] 901*2^1251221-1 is not prime. Res64: 064CD2C4BA557EC3 Time : 0.0 sec. user=mdettweiler [2013-08-19 16:45:45] 937*2^1251221-1 is not prime. Res64: 262041F773B9338D Time : 0.0 sec. user=mdettweiler [2013-08-19 16:45:46] 681*2^1251222-1 is not prime. Res64: CAD23F74D2C3E883 Time : 0.0 sec. user=mdettweiler [2013-08-19 16:48:39] 723*2^1251222-1 is not prime. Res64: 11439746F3DAB7D7 Time : 0.0 sec. user=mdettweiler [2013-08-19 16:48:39] 761*2^1251222-1 is not prime. Res64: 39ACD06E70BE89E9 Time : 0.0 sec. user=mdettweiler [2013-08-19 16:52:13] 921*2^1251222-1 is not prime. Res64: 1CBFC052A7BE2C6B Time : 0.0 sec. user=mdettweiler [2013-08-19 16:52:14] 941*2^1251222-1 is not prime. Res64: CDA593F0F4B01B16 Time : 0.0 sec. user=mdettweiler [2013-08-19 16:55:25] 673*2^1251223-1 is not prime. Res64: C6BF296A522EBCDA Time : 0.0 sec. user=mdettweiler [2013-08-19 16:55:26] 771*2^1251223-1 is not prime. Res64: 5572DEFD7C0E9CA7 Time : 0.0 sec. user=mdettweiler [2013-08-19 17:06:59] 853*2^1251223-1 is not prime. Res64: CF86595C266DC9FF Time : 0.0 sec. user=mdettweiler [2013-08-19 17:07:00] 973*2^1251223-1 is not prime. Res64: AA8B09242E30E694 Time : 0.0 sec. user=mdettweiler [2013-08-19 17:09:58] 609*2^1251224-1 is not prime. Res64: 59FADCD61430ECDD Time : 0.0 sec. user=mdettweiler [2013-08-19 17:09:59] 897*2^1251224-1 is not prime. Res64: 2157A67FAAD6F7AF Time : 0.0 sec. user=mdettweiler [2013-08-19 17:14:23] 945*2^1251224-1 is not prime. Res64: A40AF47FDB26B062 Time : 0.0 sec. user=mdettweiler [2013-08-19 17:14:24] 983*2^1251224-1 is not prime. Res64: 212330395E70EC93 Time : 0.0 sec. user=mdettweiler [2013-08-19 17:15:42] 601*2^1251225-1 is not prime. Res64: 1B228A22C779A6CD Time : 0.0 sec. user=mdettweiler [2013-08-19 17:15:42] 649*2^1251225-1 is not prime. Res64: 9AEA992CCB8E91DD Time : 0.0 sec. user=mdettweiler [2013-08-19 17:27:11] 727*2^1251225-1 is not prime. Res64: 98BAFB119F53ED5D Time : 0.0 sec. user=mdettweiler [2013-08-19 17:27:11] 741*2^1251225-1 is not prime. Res64: 614AD1DDA6C4B957 Time : 0.0 sec. user=mdettweiler [2013-08-19 17:30:06] 777*2^1251225-1 is not prime. Res64: C6349A3F7FCC9BEB Time : 0.0 sec. user=mdettweiler [2013-08-19 17:30:06] 849*2^1251225-1 is not prime. Res64: BD8B875349B69DEC Time : 0.0 sec. user=mdettweiler [2013-08-19 17:36:26] 909*2^1251225-1 is not prime. Res64: D92F7463FE715F9F Time : 0.0 sec. user=mdettweiler [2013-08-19 17:36:26] 937*2^1251225-1 is not prime. Res64: 2D75033CCB24D9A2 Time : 0.0 sec. user=mdettweiler [2013-08-19 17:36:41] 991*2^1251225-1 is not prime. Res64: 682B8B016927229E Time : 0.0 sec. user=mdettweiler [2013-08-19 17:36:42] 695*2^1251226-1 is not prime. Res64: 2586F2C0FE6E061E Time : 0.0 sec. user=juhehe [2013-08-19 17:43:11] 705*2^1251225-1 is not prime. Res64: ACB930BE59FB522B Time : 0.0 sec. user=mdettweiler [2013-08-19 17:47:14] 747*2^1251226-1 is not prime. Res64: 5F1D220353ACEEBE Time : 0.0 sec. user=mdettweiler [2013-08-19 17:47:15] 777*2^1251226-1 is not prime. Res64: 25F623081C5F97A1 Time : 0.0 sec. user=mdettweiler [2013-08-19 17:50:09] 815*2^1251226-1 is not prime. Res64: E5D4F14AE459B71D Time : 0.0 sec. user=mdettweiler [2013-08-19 17:50:09] 833*2^1251226-1 is not prime. Res64: 5D612D8C02D3A4D4 Time : 0.0 sec. user=mdettweiler [2013-08-19 17:56:46] 601*2^1251227-1 is not prime. Res64: 503FF8FE5C8C9675 Time : 0.0 sec. user=mdettweiler [2013-08-19 17:56:46] 703*2^1251227-1 is not prime. Res64: 3F169C3E0F96DC33 Time : 0.0 sec. user=mdettweiler [2013-08-19 17:57:20] 861*2^1251226-1 is not prime. Res64: 11E3FF0A28B4297D Time : 0.0 sec. user=mdettweiler [2013-08-19 17:57:20] 987*2^1251226-1 is not prime. Res64: 5E6048F8DC8599A1 Time : 0.0 sec. user=mdettweiler [2013-08-19 18:07:21] 705*2^1251227-1 is not prime. Res64: E15C5706F47DA442 Time : 0.0 sec. user=mdettweiler [2013-08-19 18:07:22] 819*2^1251227-1 is not prime. Res64: 7944A08CFC169010 Time : 0.0 sec. user=mdettweiler [2013-08-19 18:11:07] 861*2^1251227-1 is not prime. Res64: D40D4FA9358EACF2 Time : 0.0 sec. user=mdettweiler [2013-08-19 18:11:07] 993*2^1251227-1 is not prime. Res64: B29D524F91C7D231 Time : 0.0 sec. user=mdettweiler [2013-08-19 18:16:51] 627*2^1251228-1 is not prime. Res64: F312FC03B40C8C0C Time : 0.0 sec. user=mdettweiler [2013-08-19 18:16:51] 635*2^1251228-1 is not prime. Res64: 57271BC56121BE10 Time : 0.0 sec. user=mdettweiler [2013-08-19 18:17:23] 695*2^1251228-1 is not prime. Res64: 1303AA7C05233C55 Time : 0.0 sec. user=mdettweiler [2013-08-19 18:17:24] 759*2^1251228-1 is not prime. Res64: 95FED58B9BAA1F7B Time : 0.0 sec. user=mdettweiler [2013-08-19 18:27:36] 765*2^1251228-1 is not prime. Res64: 8C1EAFA75D243CC0 Time : 0.0 sec. user=mdettweiler [2013-08-19 18:27:36] 773*2^1251228-1 is not prime. Res64: 0F479176D7B90311 Time : 0.0 sec. user=mdettweiler [2013-08-19 18:31:16] 825*2^1251228-1 is not prime. Res64: 0F3FD31C64F711B5 Time : 0.0 sec. user=mdettweiler [2013-08-19 18:31:16] 615*2^1251229-1 is not prime. Res64: 3415DE0FD0B37864 Time : 0.0 sec. user=mdettweiler [2013-08-19 18:37:00] 625*2^1251229-1 is not prime. Res64: D8D71F0FD125C29C Time : 0.0 sec. user=mdettweiler [2013-08-19 18:37:00] 639*2^1251229-1 is not prime. Res64: 9DFA785DC077EA4C Time : 0.0 sec. user=mdettweiler [2013-08-19 18:37:34] 751*2^1251229-1 is not prime. Res64: 87D2673659199FE4 Time : 0.0 sec. user=mdettweiler [2013-08-19 18:37:34] 775*2^1251229-1 is not prime. Res64: D0DEE9AC3441AE72 Time : 0.0 sec. user=mdettweiler [2013-08-19 18:48:46] 855*2^1251229-1 is not prime. Res64: 235721D2A2FADF18 Time : 0.0 sec. user=mdettweiler [2013-08-19 18:48:47] 975*2^1251229-1 is not prime. Res64: 99CBA17E8AA75CE8 Time : 0.0 sec. user=mdettweiler [2013-08-19 18:51:32] 641*2^1251230-1 is not prime. Res64: BAE1E514FB9545E9 Time : 0.0 sec. user=mdettweiler [2013-08-19 18:51:33] 657*2^1251230-1 is not prime. Res64: 2CCDD60D3F982B36 Time : 0.0 sec. user=mdettweiler [2013-08-19 18:57:20] 753*2^1251230-1 is not prime. Res64: DCD1F1A71E3DA9C5 Time : 0.0 sec. user=mdettweiler [2013-08-19 18:57:20] 827*2^1251230-1 is not prime. Res64: 6E74FF457D881B44 Time : 0.0 sec. user=mdettweiler [2013-08-19 18:57:53] 843*2^1251230-1 is not prime. Res64: 02E5E71F81CCB14D Time : 0.0 sec. user=mdettweiler [2013-08-19 18:57:54] 845*2^1251230-1 is not prime. Res64: ACCB56514085E96F Time : 0.0 sec. user=mdettweiler [2013-08-19 19:08:57] 861*2^1251230-1 is not prime. Res64: D4F72CD4892791FA Time : 0.0 sec. user=mdettweiler [2013-08-19 19:08:57] 887*2^1251230-1 is not prime. Res64: 7FA7AB9CD4119666 Time : 0.0 sec. user=mdettweiler [2013-08-19 19:12:40] 923*2^1251230-1 is not prime. Res64: C1B29A81F30CB09E Time : 0.0 sec. user=mdettweiler [2013-08-19 19:12:40] 613*2^1251231-1 is not prime. Res64: 5D8D586F3848361D Time : 0.0 sec. user=mdettweiler [2013-08-19 19:17:30] 625*2^1251231-1 is not prime. Res64: D934B3638A491E36 Time : 0.0 sec. user=mdettweiler [2013-08-19 19:17:31] 703*2^1251231-1 is not prime. Res64: 02F9C40E6E9FB70A Time : 0.0 sec. user=mdettweiler [2013-08-19 19:18:00] 829*2^1251231-1 is not prime. Res64: 7B408D4DB2FD68C6 Time : 0.0 sec. user=mdettweiler [2013-08-19 19:18:00] 859*2^1251231-1 is not prime. Res64: 36EB93AA8FB0FFC8 Time : 0.0 sec. user=mdettweiler [2013-08-19 19:31:09] 961*2^1251231-1 is not prime. Res64: D71927A4F5B84CD2 Time : 0.0 sec. user=mdettweiler [2013-08-19 19:31:09] 999*2^1251231-1 is not prime. Res64: A686DB1F4DB706CF Time : 0.0 sec. user=mdettweiler [2013-08-19 19:32:47] 629*2^1251232-1 is not prime. Res64: F8F5276DC34D01C3 Time : 0.0 sec. user=mdettweiler [2013-08-19 19:32:48] 675*2^1251232-1 is not prime. Res64: 30C0F063803BF589 Time : 0.0 sec. user=mdettweiler [2013-08-19 19:38:37] 843*2^1251232-1 is not prime. Res64: BE2C2E67AB4C6242 Time : 0.0 sec. user=mdettweiler [2013-08-19 19:38:37] 975*2^1251232-1 is not prime. Res64: D0DBF8E2AB2A8C6B Time : 0.0 sec. user=mdettweiler [2013-08-19 19:38:57] 989*2^1251232-1 is not prime. Res64: 5CFD5CFC64070583 Time : 0.0 sec. user=mdettweiler [2013-08-19 19:38:57] 607*2^1251233-1 is not prime. Res64: 25EBD27CE44CD2CE Time : 0.0 sec. user=mdettweiler [2013-08-19 19:51:21] 615*2^1251233-1 is not prime. Res64: 3CD1291393CDB7ED Time : 0.0 sec. user=mdettweiler [2013-08-19 19:51:21] 637*2^1251233-1 is not prime. Res64: CA81216A3AD48C2E Time : 0.0 sec. user=mdettweiler [2013-08-19 19:53:01] 657*2^1251233-1 is not prime. Res64: D2652B933A63B8CD Time : 0.0 sec. user=mdettweiler [2013-08-19 19:53:01] 721*2^1251233-1 is not prime. Res64: 2AE4815F027868CE Time : 0.0 sec. user=mdettweiler [2013-08-19 19:58:55] 861*2^1251233-1 is not prime. Res64: 6C59E9CE1698B884 Time : 0.0 sec. user=mdettweiler [2013-08-19 19:58:55] 879*2^1251233-1 is not prime. Res64: FBAF16F568218991 Time : 0.0 sec. user=mdettweiler [2013-08-19 20:00:11] 967*2^1251233-1 is not prime. Res64: 650B80698FF9F7D5 Time : 0.0 sec. user=mdettweiler [2013-08-19 20:00:12] 705*2^1251234-1 is not prime. Res64: D4EBE19258E61EB1 Time : 0.0 sec. user=mdettweiler [2013-08-19 20:11:34] 717*2^1251234-1 is not prime. Res64: E055A2F63F8B59D4 Time : 0.0 sec. user=mdettweiler [2013-08-19 20:11:35] 773*2^1251234-1 is not prime. Res64: CBF71F5A5F53DDF0 Time : 0.0 sec. user=mdettweiler [2013-08-19 20:14:10] 891*2^1251234-1 is not prime. Res64: 83C6D7EB584106D5 Time : 0.0 sec. user=mdettweiler [2013-08-19 20:14:10] 921*2^1251234-1 is not prime. Res64: 7F75D74B3CB79451 Time : 0.0 sec. user=mdettweiler [2013-08-19 20:20:03] 957*2^1251234-1 is not prime. Res64: 15595C95959181FD Time : 0.0 sec. user=mdettweiler [2013-08-19 20:20:03] 609*2^1251235-1 is not prime. Res64: 07988AA8F6A1C4C0 Time : 0.0 sec. user=mdettweiler [2013-08-19 20:20:24] 693*2^1251235-1 is not prime. Res64: 21F64DC583043F50 Time : 0.0 sec. user=mdettweiler [2013-08-19 20:20:24] 861*2^1251235-1 is not prime. Res64: 67DAEA223A44A64F Time : 0.0 sec. user=mdettweiler [2013-08-19 20:33:50] 951*2^1251235-1 is not prime. Res64: D7DEE8578BE7015D Time : 0.0 sec. user=mdettweiler [2013-08-19 20:33:50] 969*2^1251235-1 is not prime. Res64: A119B72D5F4EE733 Time : 0.0 sec. user=mdettweiler [2013-08-19 20:34:23] 659*2^1251236-1 is not prime. Res64: CB52151D7BF2A507 Time : 0.0 sec. user=mdettweiler [2013-08-19 20:34:24] 869*2^1251236-1 is not prime. Res64: 1DD102416F438ECA Time : 0.0 sec. user=mdettweiler [2013-08-19 20:40:42] 609*2^1251237-1 is not prime. Res64: B7491E1E39144904 Time : 0.0 sec. user=mdettweiler [2013-08-19 20:40:42] 655*2^1251237-1 is not prime. Res64: A83AFE0E2583E534 Time : 0.0 sec. user=mdettweiler [2013-08-19 20:41:14] 893*2^1251236-1 is not prime. Res64: 03645785263E4462 Time : 0.0 sec. user=mdettweiler [2013-08-19 20:41:14] 957*2^1251236-1 is not prime. Res64: 529C556627E4A63D Time : 0.0 sec. user=mdettweiler [2013-08-19 20:54:08] 669*2^1251237-1 is not prime. Res64: 657BA70900192A28 Time : 0.0 sec. user=mdettweiler [2013-08-19 20:54:08] 859*2^1251237-1 is not prime. Res64: AE9B63C257753C7A Time : 0.0 sec. user=mdettweiler [2013-08-19 20:54:39] 677*2^1251238-1 is not prime. Res64: 4123D22C0816F524 Time : 0.0 sec. user=mdettweiler [2013-08-19 20:54:39] 707*2^1251238-1 is not prime. Res64: AF13CE2708286A19 Time : 0.0 sec. user=mdettweiler [2013-08-19 21:01:00] 731*2^1251238-1 is not prime. Res64: 2918E0EFED5BC1EE Time : 0.0 sec. user=mdettweiler [2013-08-19 21:01:01] 737*2^1251238-1 is not prime. Res64: 1E585C6B6098B67E Time : 0.0 sec. user=mdettweiler [2013-08-19 21:01:27] 777*2^1251238-1 is not prime. Res64: 847B5CD10AE3484B Time : 0.0 sec. user=mdettweiler [2013-08-19 21:01:28] 887*2^1251238-1 is not prime. Res64: 466C3B4487FA37F9 Time : 0.0 sec. user=mdettweiler [2013-08-19 21:15:52] 993*2^1251238-1 is not prime. Res64: 52E9382637932B15 Time : 0.0 sec. user=mdettweiler [2013-08-19 21:15:53] 711*2^1251239-1 is not prime. Res64: 5CE5DD27938B6817 Time : 0.0 sec. user=mdettweiler [2013-08-19 21:16:20] 911*2^1251238-1 is not prime. Res64: 7B9CB0960B839CF1 Time : 0.0 sec. user=mdettweiler [2013-08-19 21:16:21] 971*2^1251238-1 is not prime. Res64: FFE01734D1410F0F Time : 0.0 sec. user=mdettweiler [2013-08-19 21:21:44] 843*2^1251240-1 is not prime. Res64: B52E6BC5F9FCEC83 Time : 0.0 sec. user=mdettweiler [2013-08-19 21:21:44] 857*2^1251240-1 is not prime. Res64: 7EAED339A5F193FF Time : 0.0 sec. user=mdettweiler [2013-08-19 21:22:32] 745*2^1251239-1 is not prime. Res64: B77B27128AD2A1C1 Time : 0.0 sec. user=mdettweiler [2013-08-19 21:22:32] 913*2^1251239-1 is not prime. Res64: F8AB804E36EBBF0F Time : 0.0 sec. user=mdettweiler [2013-08-19 21:36:30] 675*2^1251241-1 is not prime. Res64: DAD1005235E20D4E Time : 0.0 sec. user=mdettweiler [2013-08-19 21:36:30] 685*2^1251241-1 is not prime. Res64: 29879D70CB80A274 Time : 0.0 sec. user=mdettweiler [2013-08-19 21:37:57] 929*2^1251240-1 is not prime. Res64: D72C0B7C6F7084E2 Time : 0.0 sec. user=mdettweiler [2013-08-19 21:37:57] 933*2^1251240-1 is not prime. Res64: 869D34F0957AE151 Time : 0.0 sec. user=mdettweiler [2013-08-19 21:41:49] 687*2^1251241-1 is not prime. Res64: 16600DF0D28BBF86 Time : 0.0 sec. user=mdettweiler [2013-08-19 21:41:50] 777*2^1251241-1 is not prime. Res64: 47758E890156538F Time : 0.0 sec. user=mdettweiler [2013-08-19 21:42:35] 819*2^1251241-1 is not prime. Res64: 1CA187E0C4EE7996 Time : 0.0 sec. user=mdettweiler [2013-08-19 21:42:35] 855*2^1251241-1 is not prime. Res64: 23251E372F77B8D1 Time : 0.0 sec. user=mdettweiler [2013-08-19 21:57:37] 871*2^1251241-1 is not prime. Res64: C5D23FBA91758696 Time : 0.0 sec. user=mdettweiler [2013-08-19 21:57:37] 999*2^1251241-1 is not prime. Res64: 0B96EFB7DF27C1C9 Time : 0.0 sec. user=mdettweiler [2013-08-19 21:58:02] 603*2^1251242-1 is not prime. Res64: 5F89B4F617161242 Time : 0.0 sec. user=mdettweiler [2013-08-19 21:58:02] 615*2^1251242-1 is not prime. Res64: DAA3BB228DAD61C4 Time : 0.0 sec. user=mdettweiler [2013-08-19 22:01:57] 825*2^1251242-1 is not prime. Res64: F7E0561422548262 Time : 0.0 sec. user=mdettweiler [2013-08-19 22:01:58] 885*2^1251242-1 is not prime. Res64: BFE4A02E991E06F2 Time : 0.0 sec. user=mdettweiler [2013-08-19 22:03:38] 983*2^1251242-1 is not prime. Res64: 239AB8378BC8DD57 Time : 0.0 sec. user=mdettweiler [2013-08-19 22:03:39] 735*2^1251243-1 is not prime. Res64: D787937F1A961440 Time : 0.0 sec. user=mdettweiler [2013-08-19 22:17:57] 741*2^1251243-1 is not prime. Res64: A56ED123990394FC Time : 0.0 sec. user=mdettweiler [2013-08-19 22:17:57] 789*2^1251243-1 is not prime. Res64: 29AF93FD5DD19458 Time : 0.0 sec. user=mdettweiler [2013-08-19 22:18:23] 825*2^1251243-1 is not prime. Res64: D64A5BBF9D3FCFE9 Time : 0.0 sec. user=mdettweiler [2013-08-19 22:18:23] 871*2^1251243-1 is not prime. Res64: 3701A021954F1E94 Time : 0.0 sec. user=mdettweiler [2013-08-19 22:23:09] 895*2^1251243-1 is not prime. Res64: F982BF462CB18A2B Time : 0.0 sec. user=mdettweiler [2013-08-19 22:23:09] 913*2^1251243-1 is not prime. Res64: 6EA65A1FE067860F Time : 0.0 sec. user=mdettweiler [2013-08-19 22:23:49] 609*2^1251244-1 is not prime. Res64: 4571667B08F6D831 Time : 0.0 sec. user=mdettweiler [2013-08-19 22:23:49] 657*2^1251244-1 is not prime. Res64: BDE2B943532CF351 Time : 0.0 sec. user=mdettweiler [2013-08-19 22:38:06] 743*2^1251244-1 is not prime. Res64: EE798E2571179DF1 Time : 0.0 sec. user=mdettweiler [2013-08-19 22:38:06] 873*2^1251244-1 is not prime. Res64: 6DD150631ECD531C Time : 0.0 sec. user=mdettweiler [2013-08-19 22:40:23] 965*2^1251244-1 is not prime. Res64: C8DC3F3135ECA263 Time : 0.0 sec. user=mdettweiler [2013-08-19 22:40:23] 995*2^1251244-1 is not prime. Res64: 39760D499CB63FE0 Time : 0.0 sec. user=mdettweiler [2013-08-19 22:43:54] 627*2^1251246-1 is not prime. Res64: B7175036E109BB5B Time : 0.0 sec. user=mdettweiler [2013-08-19 22:43:55] 705*2^1251246-1 is not prime. Res64: 9D98F14CD3CB2B26 Time : 0.0 sec. user=mdettweiler [2013-08-19 22:44:07] 789*2^1251245-1 is not prime. Res64: 9F3E3B8A231366AE Time : 0.0 sec. user=mdettweiler [2013-08-19 22:44:07] 969*2^1251245-1 is not prime. Res64: 4EDD6A99E9FFAC0F Time : 0.0 sec. user=mdettweiler [2013-08-19 22:58:19] 741*2^1251246-1 is not prime. Res64: 75CBD149220C8937 Time : 0.0 sec. user=mdettweiler [2013-08-19 22:58:19] 815*2^1251246-1 is not prime. Res64: 7BB94030B47DA90D Time : 0.0 sec. user=mdettweiler [2013-08-19 23:01:35] 875*2^1251246-1 is not prime. Res64: 33879B41E1654051 Time : 0.0 sec. user=mdettweiler [2013-08-19 23:01:36] 903*2^1251246-1 is not prime. Res64: E7ABB324727CEDF2 Time : 0.0 sec. user=mdettweiler [2013-08-19 23:04:23] 673*2^1251247-1 is not prime. Res64: 4C74150486693F58 Time : 0.0 sec. user=mdettweiler [2013-08-19 23:04:23] 751*2^1251247-1 is not prime. Res64: 0A024D77176AAD49 Time : 0.0 sec. user=mdettweiler [2013-08-19 23:05:00] 971*2^1251246-1 is not prime. Res64: 9CB6E11ADD883BFF Time : 0.0 sec. user=mdettweiler [2013-08-19 23:05:01] 615*2^1251247-1 is not prime. Res64: AC1BAD48AC3BA3E2 Time : 0.0 sec. user=mdettweiler [2013-08-19 23:18:24] 769*2^1251247-1 is not prime. Res64: C388D7FB434DD57B Time : 0.0 sec. user=mdettweiler [2013-08-19 23:18:25] 819*2^1251247-1 is not prime. Res64: 0B1914128C1BF3D0 Time : 0.0 sec. user=mdettweiler [2013-08-19 23:22:44] 873*2^1251247-1 is not prime. Res64: 87BA58F30C539B20 Time : 0.0 sec. user=mdettweiler [2013-08-19 23:22:44] 909*2^1251247-1 is not prime. Res64: 99A3EB61F39755E6 Time : 0.0 sec. user=mdettweiler [2013-08-19 23:25:13] 657*2^1251248-1 is not prime. Res64: 351CA4BD922861D9 Time : 0.0 sec. user=mdettweiler [2013-08-19 23:25:13] 753*2^1251248-1 is not prime. Res64: ECB395B38D4E24EA Time : 0.0 sec. user=mdettweiler [2013-08-19 23:25:33] 975*2^1251247-1 is not prime. Res64: 5D4015BDF0DFBB7E Time : 0.0 sec. user=mdettweiler [2013-08-19 23:25:33] 629*2^1251248-1 is not prime. Res64: D77D05DD06546750 Time : 0.0 sec. user=mdettweiler [2013-08-19 23:39:45] 825*2^1251248-1 is not prime. Res64: 0AFA846931BDA223 Time : 0.0 sec. user=mdettweiler [2013-08-19 23:39:46] 945*2^1251248-1 is not prime. Res64: 3179C3A4A438B501 Time : 0.0 sec. user=mdettweiler [2013-08-19 23:42:59] 601*2^1251249-1 is not prime. Res64: CEBD5B6CF5CFA91A Time : 0.0 sec. user=mdettweiler [2013-08-19 23:42:59] 675*2^1251249-1 is not prime. Res64: 77DB681499BD5073 Time : 0.0 sec. user=mdettweiler [2013-08-19 23:45:26] 721*2^1251249-1 is not prime. Res64: 039A07EA8805C3ED Time : 0.0 sec. user=mdettweiler [2013-08-19 23:45:26] 735*2^1251249-1 is not prime. Res64: 66310A1BBC6954E6 Time : 0.0 sec. user=mdettweiler [2013-08-19 23:45:51] 847*2^1251249-1 is not prime. Res64: 000D6A3AC2CCD98D Time : 0.0 sec. user=mdettweiler [2013-08-19 23:45:51] 861*2^1251249-1 is not prime. Res64: ACB46C22A58B915B Time : 0.0 sec. user=mdettweiler [2013-08-19 23:59:52] 657*2^1251250-1 is not prime. Res64: 106F06894FA71B47 Time : 0.0 sec. user=mdettweiler [2013-08-19 23:59:52] 663*2^1251250-1 is not prime. Res64: 0D0A74756F7D6195 Time : 0.0 sec.