user=mdettweiler
[2012-07-29 00:02:02]
813*2^1225162-1 is not prime.  Res64: CA859A11437EDBD5  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 00:02:03]
857*2^1225162-1 is not prime.  Res64: 0D75637BB27ED38D  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 00:03:35]
895*2^1225161-1 is not prime.  Res64: 6081FB2E4DACC156  Time : 0.0 sec.
user=odicin
[2012-07-29 00:06:04]
783*2^1225164-1 is not prime.  Res64: 02BBC28A58EEF86F  Time : 0.0 sec.
user=odicin
[2012-07-29 00:07:19]
885*2^1225163-1 is not prime.  Res64: B4AE1B4EE0F6C6C1  Time : 0.0 sec.
user=odicin
[2012-07-29 00:07:57]
981*2^1225163-1 is not prime.  Res64: 74DF276DA157B65D  Time : 0.0 sec.
user=odicin
[2012-07-29 00:09:24]
725*2^1225164-1 is not prime.  Res64: C3CD15E3038645FC  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 00:12:44]
633*2^1225163-1 is not prime.  Res64: B4A626E75C89C55C  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 00:12:44]
663*2^1225163-1 is not prime.  Res64: 555D7F3AC50BF8B0  Time : 0.0 sec.
user=odicin
[2012-07-29 00:14:57]
617*2^1225166-1 is not prime.  Res64: 40170AF0476A5664  Time : 0.0 sec.
user=odicin
[2012-07-29 00:20:44]
627*2^1225166-1 is not prime.  Res64: 0481405E74F69F1F  Time : 0.0 sec.
user=odicin
[2012-07-29 00:21:19]
963*2^1225166-1 is not prime.  Res64: 0F8573B05C2AF940  Time : 0.0 sec.
user=odicin
[2012-07-29 00:22:45]
971*2^1225166-1 is not prime.  Res64: CEDD8DEE6BF895EA  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 00:22:58]
625*2^1225165-1 is not prime.  Res64: 44ED5E5D539FC6FC  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 00:22:59]
859*2^1225165-1 is not prime.  Res64: 9550A9392D9357C8  Time : 0.0 sec.
user=odicin
[2012-07-29 00:23:49]
859*2^1225167-1 is not prime.  Res64: B9470287E1B6ED44  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 00:29:36]
607*2^1225165-1 is not prime.  Res64: 5812C920D45085F1  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 00:31:48]
909*2^1225167-1 is not prime.  Res64: C6E4AE80C6F9BB09  Time : 0.0 sec.
user=odicin
[2012-07-29 00:32:36]
685*2^1225169-1 is not prime.  Res64: 1F25E599D45F2869  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 00:33:38]
981*2^1225166-1 is not prime.  Res64: 6D90E00133F6E5E7  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 00:33:39]
739*2^1225167-1 is not prime.  Res64: D2965D229C8E31C6  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 00:34:12]
603*2^1225166-1 is not prime.  Res64: A71482929E67F745  Time : 0.0 sec.
user=odicin
[2012-07-29 00:34:14]
615*2^1225168-1 is not prime.  Res64: 81D3629D6547BD9C  Time : 0.0 sec.
user=odicin
[2012-07-29 00:34:41]
677*2^1225168-1 is not prime.  Res64: B4019EA25CF8C9CD  Time : 0.0 sec.
user=odicin
[2012-07-29 00:36:05]
827*2^1225168-1 is not prime.  Res64: 840E9DC215D86F24  Time : 0.0 sec.
user=odicin
[2012-07-29 00:41:24]
861*2^1225169-1 is not prime.  Res64: 12AA60F63A7A45C2  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 00:43:54]
927*2^1225168-1 is not prime.  Res64: ACBCDA2BC966EBCB  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 00:43:55]
657*2^1225169-1 is not prime.  Res64: 363372D230F6B397  Time : 0.0 sec.
user=odicin
[2012-07-29 00:47:35]
957*2^1225169-1 is not prime.  Res64: FCCBDFBCBC9B0299  Time : 0.0 sec.
user=odicin
[2012-07-29 00:48:04]
985*2^1225169-1 is not prime.  Res64: C1362DBC14044C9D  Time : 0.0 sec.
user=odicin
[2012-07-29 00:49:29]
651*2^1225170-1 is not prime.  Res64: 1958778468691A56  Time : 0.0 sec.
user=odicin
[2012-07-29 00:50:14]
717*2^1225170-1 is not prime.  Res64: 8E6DBC8DF2FEAA6C  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 00:54:33]
865*2^1225169-1 is not prime.  Res64: A5CE9BD40BF905E7  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 00:54:33]
907*2^1225169-1 is not prime.  Res64: 7892F75C6749D174  Time : 0.0 sec.
user=odicin
[2012-07-29 00:59:01]
685*2^1225171-1 is not prime.  Res64: B0B6031064D783EB  Time : 0.0 sec.
user=odicin
[2012-07-29 01:00:55]
843*2^1225170-1 is not prime.  Res64: 462E5F03BAA8C6FE  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 01:01:04]
727*2^1225169-1 is not prime.  Res64: 9AF03F028128BC9F  Time : 0.0 sec.
user=odicin
[2012-07-29 01:01:23]
851*2^1225170-1 is not prime.  Res64: 0726EB64A3689C03  Time : 0.0 sec.
user=odicin
[2012-07-29 01:02:52]
873*2^1225170-1 is not prime.  Res64: EAF5644C0E3654CF  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 01:04:47]
777*2^1225170-1 is not prime.  Res64: DAFA0396824091FF  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 01:04:49]
797*2^1225170-1 is not prime.  Res64: 18904837BB809AF1  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 01:05:18]
945*2^1225169-1 is not prime.  Res64: 2E451F62959A3936  Time : 0.0 sec.
user=odicin
[2012-07-29 01:07:44]
889*2^1225171-1 is not prime.  Res64: 35C5EAF24A5F91AB  Time : 0.0 sec.
user=odicin
[2012-07-29 01:14:17]
891*2^1225171-1 is not prime.  Res64: 2609728F33A556C3  Time : 0.0 sec.
user=odicin
[2012-07-29 01:14:45]
617*2^1225172-1 is not prime.  Res64: 8398BFE7F7C5B9D6  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 01:15:26]
703*2^1225171-1 is not prime.  Res64: 2C5D2659B880D79C  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 01:15:26]
709*2^1225171-1 is not prime.  Res64: 3A2CFE7961D5B1FC  Time : 0.0 sec.
user=odicin
[2012-07-29 01:16:13]
669*2^1225172-1 is not prime.  Res64: 17B587A16C666710  Time : 0.0 sec.
user=odicin
[2012-07-29 01:16:40]
837*2^1225172-1 is not prime.  Res64: F7E290988E8A40C3  Time : 0.0 sec.
user=odicin
[2012-07-29 01:25:31]
621*2^1225174-1 is not prime.  Res64: B385B2F23C870C81  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 01:25:48]
767*2^1225172-1 is not prime.  Res64: E6933F3DF360ED8D  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 01:25:49]
777*2^1225172-1 is not prime.  Res64: A092B91BBEC75BA8  Time : 0.0 sec.
user=odicin
[2012-07-29 01:27:33]
909*2^1225172-1 is not prime.  Res64: 4CEB41E0B2E88B08  Time : 0.0 sec.
user=odicin
[2012-07-29 01:28:02]
957*2^1225172-1 is not prime.  Res64: 56C141087CE78A3A  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 01:29:19]
867*2^1225172-1 is not prime.  Res64: E033EBBE14C3CD6A  Time : 0.0 sec.
user=odicin
[2012-07-29 01:29:30]
889*2^1225173-1 is not prime.  Res64: 69F7DE83E256F64F  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 01:33:00]
901*2^1225171-1 is not prime.  Res64: E54EE5E33211BB6E  Time : 0.0 sec.
user=odicin
[2012-07-29 01:34:22]
737*2^1225174-1 is not prime.  Res64: 21C37277C367D45B  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 01:36:18]
963*2^1225172-1 is not prime.  Res64: C142EEED536F9C72  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 01:36:19]
625*2^1225173-1 is not prime.  Res64: 507A62DC539CBEC0  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 01:37:06]
825*2^1225172-1 is not prime.  Res64: 587BBD227DC4FFC0  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 01:39:58]
787*2^1225173-1 is not prime.  Res64: C6CFEA54FD7F900B  Time : 0.0 sec.
user=odicin
[2012-07-29 01:40:54]
789*2^1225175-1 is not prime.  Res64: 5EDA9641821DEC4E  Time : 0.0 sec.
user=odicin
[2012-07-29 01:41:24]
831*2^1225175-1 is not prime.  Res64: 5B877014427E8F7D  Time : 0.0 sec.
user=odicin
[2012-07-29 01:42:52]
895*2^1225175-1 is not prime.  Res64: F5063E41CD6C5790  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 01:42:55]
609*2^1225175-1 is not prime.  Res64: B1A0062166FC5DB5  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 01:43:05]
781*2^1225175-1 is not prime.  Res64: 64E239954576F671  Time : 0.0 sec.
user=odicin
[2012-07-29 01:43:11]
979*2^1225175-1 is not prime.  Res64: DE3F6BCE108A7096  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 01:46:42]
855*2^1225174-1 is not prime.  Res64: FB96CB4D211DA1D1  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 01:46:42]
957*2^1225174-1 is not prime.  Res64: 551BD3C89B750464  Time : 0.0 sec.
user=odicin
[2012-07-29 01:52:06]
619*2^1225177-1 is not prime.  Res64: E5E6AF13C8D6702E  Time : 0.0 sec.
user=odicin
[2012-07-29 01:54:19]
843*2^1225176-1 is not prime.  Res64: 6CF5B634734AC1F0  Time : 0.0 sec.
user=odicin
[2012-07-29 01:54:42]
849*2^1225176-1 is not prime.  Res64: 4F3057F032E129CF  Time : 0.0 sec.
user=odicin
[2012-07-29 01:56:09]
899*2^1225176-1 is not prime.  Res64: A9C43D2500877A9A  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 01:57:11]
689*2^1225176-1 is not prime.  Res64: 44DB5844979B87E7  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 01:57:11]
773*2^1225176-1 is not prime.  Res64: 8871B68475FCEBAD  Time : 0.0 sec.
user=odicin
[2012-07-29 02:00:56]
871*2^1225177-1 is not prime.  Res64: BAB6B5B21069665D  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 02:03:56]
943*2^1225175-1 is not prime.  Res64: 1F1C2C531284CD73  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 02:07:35]
805*2^1225177-1 is not prime.  Res64: 8FF85F0583BC166B  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 02:07:37]
831*2^1225177-1 is not prime.  Res64: 783418152A848FB9  Time : 0.0 sec.
user=odicin
[2012-07-29 02:07:46]
897*2^1225177-1 is not prime.  Res64: D7BEA10B728AF3BB  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 02:07:50]
789*2^1225176-1 is not prime.  Res64: 5383398AB82CE83A  Time : 0.0 sec.
user=odicin
[2012-07-29 02:07:59]
915*2^1225177-1 is not prime.  Res64: 38B4C7CCC171D406  Time : 0.0 sec.
user=odicin
[2012-07-29 02:09:27]
633*2^1225178-1 is not prime.  Res64: BFC08696D1CE84CD  Time : 0.0 sec.
user=odicin
[2012-07-29 02:10:01]
791*2^1225178-1 is not prime.  Res64: E5FA15A9CCD067BE  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 02:18:04]
635*2^1225178-1 is not prime.  Res64: 6F2D7F4DAEE8E887  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 02:18:04]
755*2^1225178-1 is not prime.  Res64: 7240D04BA4E76F30  Time : 0.0 sec.
user=odicin
[2012-07-29 02:18:50]
971*2^1225178-1 is not prime.  Res64: CB0E660EE77FCB05  Time : 0.0 sec.
user=odicin
[2012-07-29 02:21:11]
911*2^1225178-1 is not prime.  Res64: F29AF894694F3F53  Time : 0.0 sec.
user=odicin
[2012-07-29 02:21:23]
945*2^1225178-1 is not prime.  Res64: 2BD919928470A39B  Time : 0.0 sec.
user=odicin
[2012-07-29 02:22:46]
957*2^1225178-1 is not prime.  Res64: 49564B249094F18A  Time : 0.0 sec.
user=odicin
[2012-07-29 02:27:44]
943*2^1225179-1 is not prime.  Res64: 86350E77CE1646E8  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 02:28:37]
837*2^1225178-1 is not prime.  Res64: 6AF03D55EBA8F4C9  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 02:28:37]
887*2^1225178-1 is not prime.  Res64: A820256BF5B3C371  Time : 0.0 sec.
user=odicin
[2012-07-29 02:34:31]
777*2^1225180-1 is not prime.  Res64: 0D0AD436969F99B9  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 02:34:35]
801*2^1225178-1 is not prime.  Res64: 3DE983D9B37DCCE7  Time : 0.0 sec.
user=odicin
[2012-07-29 02:34:43]
803*2^1225180-1 is not prime.  Res64: 4492179DB6EEBBEF  Time : 0.0 sec.
user=odicin
[2012-07-29 02:36:08]
989*2^1225180-1 is not prime.  Res64: 0A1DCF6458BD5101  Time : 0.0 sec.
user=odicin
[2012-07-29 02:36:30]
999*2^1225180-1 is not prime.  Res64: 4EE360D8551CE698  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 02:36:51]
647*2^1225180-1 is not prime.  Res64: 008BAA9A202691F5  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 02:38:39]
923*2^1225178-1 is not prime.  Res64: 2C354E7065756E0E  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 02:39:02]
977*2^1225178-1 is not prime.  Res64: C4E41A67983BD624  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 02:39:04]
903*2^1225179-1 is not prime.  Res64: 2DD394D05A7C7DF2  Time : 0.0 sec.
user=odicin
[2012-07-29 02:45:15]
825*2^1225182-1 is not prime.  Res64: D8F9ACCA560511FF  Time : 0.0 sec.
user=odicin
[2012-07-29 02:47:50]
861*2^1225181-1 is not prime.  Res64: 4F8D6ED8B2E0BCC4  Time : 0.0 sec.
user=odicin
[2012-07-29 02:48:05]
797*2^1225182-1 is not prime.  Res64: 3BA4F525C1AFB178  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 02:49:31]
741*2^1225181-1 is not prime.  Res64: D20B5B7FC2C9403C  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 02:49:32]
811*2^1225181-1 is not prime.  Res64: CE2CE0FBA0E4B55A  Time : 0.0 sec.
user=odicin
[2012-07-29 02:49:34]
815*2^1225182-1 is not prime.  Res64: 2EE9202826675364  Time : 0.0 sec.
user=odicin
[2012-07-29 02:54:03]
679*2^1225183-1 is not prime.  Res64: 30671B8169096B55  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 03:00:05]
891*2^1225182-1 is not prime.  Res64: 038F8A8FE7F4E123  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 03:00:07]
921*2^1225182-1 is not prime.  Res64: 07F1E02C9F3844CD  Time : 0.0 sec.
user=odicin
[2012-07-29 03:01:10]
723*2^1225183-1 is not prime.  Res64: A207BED9C943E21F  Time : 0.0 sec.
user=odicin
[2012-07-29 03:01:23]
751*2^1225183-1 is not prime.  Res64: 3985A88DD188239E  Time : 0.0 sec.
user=gd_barnes
[2012-07-29 03:02:41]
829*2^1225181-1 is not prime.  Res64: 349AF2C277ACFAAB  Time : 0.0 sec.
user=odicin
[2012-07-29 03:02:58]
753*2^1225184-1 is not prime.  Res64: EC3E298C9CAE0A36  Time : 0.0 sec.
user=odicin
[2012-07-29 03:02:59]
945*2^1225183-1 is not prime.  Res64: CB5C04240B13A9CA  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 03:05:16]
725*2^1225182-1 is not prime.  Res64: 25530FC2F63506BF  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 03:08:26]
623*2^1225184-1 is not prime.  Res64: 02A2A44FDA3ADBC4  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 03:09:19]
863*2^1225182-1 is not prime.  Res64: 7D7C55081421EA6A  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 03:10:26]
853*2^1225183-1 is not prime.  Res64: 1018C5F1B2F453FD  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 03:10:28]
919*2^1225183-1 is not prime.  Res64: 6EF00418C2267768  Time : 0.0 sec.
user=odicin
[2012-07-29 03:11:49]
875*2^1225184-1 is not prime.  Res64: A7624D14A5308FB0  Time : 0.0 sec.
user=odicin
[2012-07-29 03:14:29]
857*2^1225184-1 is not prime.  Res64: F66A651D60F5B4AC  Time : 0.0 sec.
user=odicin
[2012-07-29 03:14:45]
869*2^1225184-1 is not prime.  Res64: 4C16274FAEAFD851  Time : 0.0 sec.
user=odicin
[2012-07-29 03:16:19]
917*2^1225184-1 is not prime.  Res64: EEF165069BAA1249  Time : 0.0 sec.
user=odicin
[2012-07-29 03:20:42]
781*2^1225185-1 is not prime.  Res64: C45EE200079AC698  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 03:21:04]
755*2^1225184-1 is not prime.  Res64: 24C0EFEBEE1F1349  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 03:21:04]
759*2^1225184-1 is not prime.  Res64: F0A663931050B839  Time : 0.0 sec.
user=odicin
[2012-07-29 03:27:51]
831*2^1225185-1 is not prime.  Res64: 2212DAACD79CF88B  Time : 0.0 sec.
user=odicin
[2012-07-29 03:28:09]
837*2^1225185-1 is not prime.  Res64: 2B434E648ACD3CA7  Time : 0.0 sec.
user=odicin
[2012-07-29 03:29:34]
877*2^1225185-1 is not prime.  Res64: E14A6943399583A4  Time : 0.0 sec.
user=odicin
[2012-07-29 03:29:43]
847*2^1225185-1 is not prime.  Res64: 2CEDBE54372EB5A2  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 03:31:25]
705*2^1225185-1 is not prime.  Res64: E719C43028844819  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 03:31:25]
741*2^1225185-1 is not prime.  Res64: BBA38476D92303C0  Time : 0.0 sec.
user=odicin
[2012-07-29 03:38:31]
785*2^1225186-1 is not prime.  Res64: D3B15C8BFEB2E85F  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 03:38:35]
945*2^1225184-1 is not prime.  Res64: 6B40190C0EA4D52C  Time : 0.0 sec.
user=odicin
[2012-07-29 03:41:13]
671*2^1225186-1 is not prime.  Res64: 488B7579AA0AA89D  Time : 0.0 sec.
user=odicin
[2012-07-29 03:41:30]
717*2^1225186-1 is not prime.  Res64: B1729AC16E758AF2  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 03:41:57]
985*2^1225185-1 is not prime.  Res64: 3E7A673A64FD712D  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 03:41:57]
623*2^1225186-1 is not prime.  Res64: 1A34385F4DF4DDCA  Time : 0.0 sec.
user=odicin
[2012-07-29 03:43:04]
887*2^1225186-1 is not prime.  Res64: 93CFD7BEC4BA4FB0  Time : 0.0 sec.
user=odicin
[2012-07-29 03:47:32]
619*2^1225187-1 is not prime.  Res64: 427C5F3B25CA5D62  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 03:50:59]
607*2^1225185-1 is not prime.  Res64: 171A69C13A6B5F77  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 03:52:19]
933*2^1225186-1 is not prime.  Res64: D9AD0C51E7198FA4  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 03:52:19]
957*2^1225186-1 is not prime.  Res64: CD63E90C5F095043  Time : 0.0 sec.
user=odicin
[2012-07-29 03:54:35]
645*2^1225187-1 is not prime.  Res64: 5C8B605A4AC89C31  Time : 0.0 sec.
user=odicin
[2012-07-29 03:54:50]
703*2^1225187-1 is not prime.  Res64: D6692FF430D9F3E1  Time : 0.0 sec.
user=odicin
[2012-07-29 03:56:23]
979*2^1225187-1 is not prime.  Res64: 49A53B6A9D686F09  Time : 0.0 sec.
user=odicin
[2012-07-29 03:56:24]
981*2^1225187-1 is not prime.  Res64: BAC96F83EC497141  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 04:02:50]
759*2^1225187-1 is not prime.  Res64: 3372D343277800FB  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 04:02:51]
915*2^1225187-1 is not prime.  Res64: 4CADD286DBECEC3D  Time : 0.0 sec.
user=odicin
[2012-07-29 04:05:14]
909*2^1225188-1 is not prime.  Res64: E2AFC3BB961870B2  Time : 0.0 sec.
user=odicin
[2012-07-29 04:07:55]
737*2^1225188-1 is not prime.  Res64: 9F6080331CB5A390  Time : 0.0 sec.
user=odicin
[2012-07-29 04:08:12]
777*2^1225188-1 is not prime.  Res64: 10539075540FB58D  Time : 0.0 sec.
user=odicin
[2012-07-29 04:09:40]
797*2^1225188-1 is not prime.  Res64: D77A4417C94C7392  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 04:13:13]
695*2^1225188-1 is not prime.  Res64: 3BB87CFD696F7FBB  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 04:13:14]
707*2^1225188-1 is not prime.  Res64: DCBCE662310E96A1  Time : 0.0 sec.
user=odicin
[2012-07-29 04:14:08]
959*2^1225188-1 is not prime.  Res64: 51BD11482364A868  Time : 0.0 sec.
user=odicin
[2012-07-29 04:21:12]
969*2^1225188-1 is not prime.  Res64: 4C5AFCE79C5F058B  Time : 0.0 sec.
user=odicin
[2012-07-29 04:21:37]
729*2^1225189-1 is not prime.  Res64: 9810BDE70E69C89D  Time : 0.0 sec.
user=odicin
[2012-07-29 04:22:57]
741*2^1225189-1 is not prime.  Res64: F2C78F5642F8981A  Time : 0.0 sec.
user=odicin
[2012-07-29 04:22:57]
799*2^1225189-1 is not prime.  Res64: 2E3613CC990D2C50  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 04:23:52]
933*2^1225188-1 is not prime.  Res64: 13E7B11DFE3FF331  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 04:23:52]
957*2^1225188-1 is not prime.  Res64: 12E81D8E502B29FB  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 04:31:15]
861*2^1225189-1 is not prime.  Res64: 245C358F1406B999  Time : 0.0 sec.
user=odicin
[2012-07-29 04:31:45]
765*2^1225192-1 is not prime.  Res64: 838A37E1B7A429E1  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 04:31:58]
643*2^1225187-1 is not prime.  Res64: 03A135ED5D763C80  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 04:32:33]
885*2^1225190-1 is not prime.  Res64: E21A9DD25CECE7A2  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 04:34:13]
747*2^1225189-1 is not prime.  Res64: 880373EDEEE974AC  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 04:34:13]
769*2^1225189-1 is not prime.  Res64: CA0A71E986F252BD  Time : 0.0 sec.
user=odicin
[2012-07-29 04:34:37]
861*2^1225191-1 is not prime.  Res64: BA64D4936C7A384D  Time : 0.0 sec.
user=odicin
[2012-07-29 04:34:58]
615*2^1225192-1 is not prime.  Res64: 6FD322B813ABC5E9  Time : 0.0 sec.
user=odicin
[2012-07-29 04:36:16]
759*2^1225192-1 is not prime.  Res64: BDD7C2D13D961468  Time : 0.0 sec.
user=odicin
[2012-07-29 04:40:33]
705*2^1225193-1 is not prime.  Res64: 78CAD0518C24A05B  Time : 0.0 sec.
user=gd_barnes
[2012-07-29 04:41:25]
663*2^1225190-1 is not prime.  Res64: 4C7615A44F0393AD  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 04:41:57]
605*2^1225188-1 is not prime.  Res64: 03F8388DC67748FB  Time : 0.0 sec.
user=gd_barnes
[2012-07-29 04:44:02]
859*2^1225191-1 is not prime.  Res64: 2A95FF577DDAB4BE  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 04:44:44]
607*2^1225193-1 is not prime.  Res64: 58A596A31D84968F  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 04:44:44]
631*2^1225193-1 is not prime.  Res64: D775BEF9AD21B628  Time : 0.0 sec.
user=odicin
[2012-07-29 04:47:54]
901*2^1225193-1 is not prime.  Res64: B65F58AE922324DF  Time : 0.0 sec.
user=gd_barnes
[2012-07-29 04:49:24]
649*2^1225191-1 is not prime.  Res64: BE1245B20F096DC7  Time : 0.0 sec.
user=gd_barnes
[2012-07-29 04:49:25]
775*2^1225191-1 is not prime.  Res64: 6DBE0D397C8AD267  Time : 0.0 sec.
user=odicin
[2012-07-29 04:49:27]
725*2^1225194-1 is not prime.  Res64: 355400EFB089442A  Time : 0.0 sec.
user=gd_barnes
[2012-07-29 04:49:30]
705*2^1225191-1 is not prime.  Res64: E7D5983A631FFB27  Time : 0.0 sec.
user=odicin
[2012-07-29 04:49:35]
683*2^1225194-1 is not prime.  Res64: 097A4E36E276BE69  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 04:55:07]
879*2^1225193-1 is not prime.  Res64: CCDB90BAE511F81A  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 04:55:07]
889*2^1225193-1 is not prime.  Res64: A1F08A79D7A1D844  Time : 0.0 sec.
user=odicin
[2012-07-29 04:58:18]
891*2^1225194-1 is not prime.  Res64: 1B6C50E828D390AF  Time : 0.0 sec.
user=gd_barnes
[2012-07-29 05:01:02]
685*2^1225193-1 is not prime.  Res64: 76DC0A7E29319D72  Time : 0.0 sec.
user=odicin
[2012-07-29 05:01:15]
861*2^1225194-1 is not prime.  Res64: EDB096573F6B16FE  Time : 0.0 sec.
user=odicin
[2012-07-29 05:02:51]
941*2^1225194-1 is not prime.  Res64: 46337932186A010D  Time : 0.0 sec.
user=odicin
[2012-07-29 05:03:02]
947*2^1225194-1 is not prime.  Res64: 4E970720767F6E28  Time : 0.0 sec.
user=gd_barnes
[2012-07-29 05:04:37]
945*2^1225193-1 is not prime.  Res64: 1578E1E57FDE278C  Time : 0.0 sec.
user=gd_barnes
[2012-07-29 05:04:38]
985*2^1225193-1 is not prime.  Res64: 19A3FB0CCDC5D5D1  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 05:05:37]
833*2^1225194-1 is not prime.  Res64: AA0F75E4F2BBA7FF  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 05:05:38]
851*2^1225194-1 is not prime.  Res64: 7444D883BF17CD48  Time : 0.0 sec.
user=odicin
[2012-07-29 05:07:07]
715*2^1225195-1 is not prime.  Res64: E85542C02043F021  Time : 0.0 sec.
user=odicin
[2012-07-29 05:14:39]
723*2^1225195-1 is not prime.  Res64: 1CC0F792A08B1AE7  Time : 0.0 sec.
user=odicin
[2012-07-29 05:15:59]
683*2^1225196-1 is not prime.  Res64: 6B212C180188DA81  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 05:16:00]
603*2^1225195-1 is not prime.  Res64: 956FD37C34E8FDE1  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 05:16:01]
645*2^1225195-1 is not prime.  Res64: FE7D6804FBE25E1C  Time : 0.0 sec.
user=odicin
[2012-07-29 05:16:09]
765*2^1225195-1 is not prime.  Res64: 134587B91A5B8DD4  Time : 0.0 sec.
user=odicin
[2012-07-29 05:16:25]
849*2^1225195-1 is not prime.  Res64: 8815EC9E6F28A167  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 05:20:10]
759*2^1225193-1 is not prime.  Res64: 2D59F1D676724FDE  Time : 0.0 sec.
user=odicin
[2012-07-29 05:24:45]
651*2^1225197-1 is not prime.  Res64: 8BC82FD6BC721E38  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 05:26:31]
961*2^1225195-1 is not prime.  Res64: CB54BD9ABE1403D1  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 05:26:32]
609*2^1225196-1 is not prime.  Res64: D742D8B1E5E0C851  Time : 0.0 sec.
user=odicin
[2012-07-29 05:28:05]
855*2^1225196-1 is not prime.  Res64: 80F9B8C2466C497B  Time : 0.0 sec.
user=odicin
[2012-07-29 05:29:28]
777*2^1225197-1 is not prime.  Res64: 4FC0AC3DDE66CEBD  Time : 0.0 sec.
user=odicin
[2012-07-29 05:29:47]
781*2^1225197-1 is not prime.  Res64: 0AFDB1871C0A2D85  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 05:32:24]
731*2^1225194-1 is not prime.  Res64: 45E9A15CF5411C2A  Time : 0.0 sec.
user=odicin
[2012-07-29 05:33:35]
819*2^1225197-1 is not prime.  Res64: 4AEC47296FC9C963  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 05:36:56]
893*2^1225196-1 is not prime.  Res64: 9E794B00DAAA42EC  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 05:36:56]
983*2^1225196-1 is not prime.  Res64: 8075BC6BD6AFCA8E  Time : 0.0 sec.
user=odicin
[2012-07-29 05:41:28]
737*2^1225198-1 is not prime.  Res64: 7C8EAE64349FF5A7  Time : 0.0 sec.
user=odicin
[2012-07-29 05:42:27]
993*2^1225198-1 is not prime.  Res64: DC3FE4D0EE7A04BF  Time : 0.0 sec.
user=odicin
[2012-07-29 05:42:51]
945*2^1225198-1 is not prime.  Res64: 87506F4031DD6966  Time : 0.0 sec.
user=odicin
[2012-07-29 05:43:07]
951*2^1225198-1 is not prime.  Res64: 4D553ADFB14589BF  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 05:47:37]
871*2^1225197-1 is not prime.  Res64: 4F18A669298BA84D  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 05:47:37]
901*2^1225197-1 is not prime.  Res64: C5E0E9FB037BEDCC  Time : 0.0 sec.
user=odicin
[2012-07-29 05:51:17]
855*2^1225199-1 is not prime.  Res64: 36AEC4C47709A5B3  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 05:53:34]
805*2^1225197-1 is not prime.  Res64: 9D51609D62BDCCB5  Time : 0.0 sec.
user=odicin
[2012-07-29 05:54:47]
811*2^1225199-1 is not prime.  Res64: 79E16D8F9912B1EA  Time : 0.0 sec.
user=odicin
[2012-07-29 05:56:13]
861*2^1225199-1 is not prime.  Res64: 49AD4D611C3D6AD7  Time : 0.0 sec.
user=odicin
[2012-07-29 05:56:27]
865*2^1225199-1 is not prime.  Res64: 7AE485E7F24ECA89  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 05:57:50]
633*2^1225199-1 is not prime.  Res64: 1D3CB46B1A02DAEA  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 05:57:50]
711*2^1225199-1 is not prime.  Res64: 13DB6F5DAD67F1C2  Time : 0.0 sec.
user=odicin
[2012-07-29 06:00:09]
895*2^1225199-1 is not prime.  Res64: 909FC474B3F9BF08  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 06:03:28]
987*2^1225198-1 is not prime.  Res64: 5C82A90BD8ACCDF4  Time : 0.0 sec.
user=odicin
[2012-07-29 06:08:06]
979*2^1225199-1 is not prime.  Res64: 35F24397EEE75071  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 06:08:30]
879*2^1225199-1 is not prime.  Res64: 96CF831DCA039321  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 06:08:31]
889*2^1225199-1 is not prime.  Res64: C7FF9B6D7F61F166  Time : 0.0 sec.
user=odicin
[2012-07-29 06:09:00]
779*2^1225200-1 is not prime.  Res64: 0438FCBD1FDFC3FE  Time : 0.0 sec.
user=odicin
[2012-07-29 06:09:35]
985*2^1225199-1 is not prime.  Res64: 96181B7839733448  Time : 0.0 sec.
user=odicin
[2012-07-29 06:09:46]
609*2^1225200-1 is not prime.  Res64: 6AB803564581EF99  Time : 0.0 sec.
user=odicin
[2012-07-29 06:17:52]
777*2^1225201-1 is not prime.  Res64: 69D78108140F8A32  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 06:18:43]
675*2^1225200-1 is not prime.  Res64: 04D073A24BA127E6  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 06:18:43]
707*2^1225200-1 is not prime.  Res64: B447326071C627BB  Time : 0.0 sec.
user=odicin
[2012-07-29 06:21:30]
923*2^1225200-1 is not prime.  Res64: D7808D35E835BB5B  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 06:22:22]
873*2^1225200-1 is not prime.  Res64: 8778B35E2E6164E1  Time : 0.0 sec.
user=odicin
[2012-07-29 06:22:57]
931*2^1225201-1 is not prime.  Res64: 1F3EE1E6C6BD43E4  Time : 0.0 sec.
user=odicin
[2012-07-29 06:23:07]
735*2^1225202-1 is not prime.  Res64: 52709099D5DD2B9B  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 06:24:18]
909*2^1225199-1 is not prime.  Res64: 7B2678F0472A309D  Time : 0.0 sec.
user=odicin
[2012-07-29 06:26:48]
741*2^1225202-1 is not prime.  Res64: B0CB70E1EE71A6BA  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 06:29:26]
927*2^1225200-1 is not prime.  Res64: EEABC1D2631D0732  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 06:29:27]
649*2^1225201-1 is not prime.  Res64: F6A8E9DFF71BB3FC  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 06:34:15]
839*2^1225200-1 is not prime.  Res64: E4FEB97923A24306  Time : 0.0 sec.
user=odicin
[2012-07-29 06:34:49]
775*2^1225203-1 is not prime.  Res64: EACEB0016BBBCF10  Time : 0.0 sec.
user=odicin
[2012-07-29 06:35:37]
615*2^1225204-1 is not prime.  Res64: D20BFB8660140B6E  Time : 0.0 sec.
user=odicin
[2012-07-29 06:36:13]
835*2^1225203-1 is not prime.  Res64: 75221146E0543BFE  Time : 0.0 sec.
user=odicin
[2012-07-29 06:36:25]
961*2^1225203-1 is not prime.  Res64: 5B71ED91C9957F00  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 06:39:35]
885*2^1225202-1 is not prime.  Res64: 37B05C1A1293472C  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 06:39:35]
765*2^1225203-1 is not prime.  Res64: 1E748DCAC12951BC  Time : 0.0 sec.
user=odicin
[2012-07-29 06:44:30]
847*2^1225205-1 is not prime.  Res64: 41288BFD4E3425A4  Time : 0.0 sec.
user=odicin
[2012-07-29 06:48:14]
675*2^1225205-1 is not prime.  Res64: 2BA0C676B0815B8A  Time : 0.0 sec.
user=odicin
[2012-07-29 06:49:35]
615*2^1225206-1 is not prime.  Res64: 5D218B6CA22CE32F  Time : 0.0 sec.
user=odicin
[2012-07-29 06:49:44]
755*2^1225206-1 is not prime.  Res64: 6D4F18A370EC4096  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 06:50:20]
639*2^1225204-1 is not prime.  Res64: D565462EBDA3E235  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 06:50:20]
983*2^1225204-1 is not prime.  Res64: 69FA628E1C2905D5  Time : 0.0 sec.
user=odicin
[2012-07-29 06:53:20]
625*2^1225207-1 is not prime.  Res64: BE0E6F6CDEFA4BAD  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 06:55:04]
605*2^1225204-1 is not prime.  Res64: 533F55ABCECD2FE4  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 07:00:29]
807*2^1225206-1 is not prime.  Res64: 540DC19ED8ADBAC7  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 07:00:29]
971*2^1225206-1 is not prime.  Res64: 69DE3549964040C2  Time : 0.0 sec.
user=odicin
[2012-07-29 07:01:39]
649*2^1225207-1 is not prime.  Res64: 695E80DE5EFA0656  Time : 0.0 sec.
user=odicin
[2012-07-29 07:02:10]
793*2^1225207-1 is not prime.  Res64: DD69B370A9131A7D  Time : 0.0 sec.
user=odicin
[2012-07-29 07:02:51]
673*2^1225207-1 is not prime.  Res64: C20ECE6DCAE09D24  Time : 0.0 sec.
user=odicin
[2012-07-29 07:03:02]
703*2^1225207-1 is not prime.  Res64: 1B8C73BC0A898E2F  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 07:04:56]
651*2^1225205-1 is not prime.  Res64: 9A28729B856B0485  Time : 0.0 sec.
user=odicin
[2012-07-29 07:10:58]
993*2^1225207-1 is not prime.  Res64: BE9C48F6E361545D  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 07:11:12]
715*2^1225207-1 is not prime.  Res64: F693ECAA7C037726  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 07:11:14]
759*2^1225207-1 is not prime.  Res64: FB16203428194AE4  Time : 0.0 sec.
user=odicin
[2012-07-29 07:15:06]
985*2^1225207-1 is not prime.  Res64: 71660331415A8B68  Time : 0.0 sec.
user=odicin
[2012-07-29 07:16:17]
623*2^1225208-1 is not prime.  Res64: 897A25BA15B50C7C  Time : 0.0 sec.
user=odicin
[2012-07-29 07:16:20]
629*2^1225208-1 is not prime.  Res64: 678CFCF9DFE703BF  Time : 0.0 sec.
user=odicin
[2012-07-29 07:19:47]
649*2^1225209-1 is not prime.  Res64: 191BBAFCC19AAB24  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 07:21:23]
939*2^1225207-1 is not prime.  Res64: 965ED1F2B68A7BF0  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 07:21:23]
973*2^1225207-1 is not prime.  Res64: A1379835DEB8F2DD  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 07:24:02]
963*2^1225208-1 is not prime.  Res64: AE9660A57C25E706  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 07:24:28]
777*2^1225208-1 is not prime.  Res64: 9951D0097478A966  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 07:25:17]
977*2^1225208-1 is not prime.  Res64: FB7287AB82F0FB51  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 07:25:47]
925*2^1225207-1 is not prime.  Res64: 15CC4FED16CCDAD4  Time : 0.0 sec.
user=odicin
[2012-07-29 07:28:33]
877*2^1225209-1 is not prime.  Res64: 8165A0B5D57F408F  Time : 0.0 sec.
user=odicin
[2012-07-29 07:28:45]
681*2^1225210-1 is not prime.  Res64: B57391FB9A7CF5DA  Time : 0.0 sec.
user=odicin
[2012-07-29 07:29:43]
623*2^1225210-1 is not prime.  Res64: 6E0F9175B1594FD1  Time : 0.0 sec.
user=odicin
[2012-07-29 07:29:45]
951*2^1225209-1 is not prime.  Res64: 87343A7DE46B7D9B  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 07:32:11]
811*2^1225209-1 is not prime.  Res64: 4D0363025B6824DF  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 07:32:11]
861*2^1225209-1 is not prime.  Res64: E541892BB42B50CC  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 07:35:46]
683*2^1225208-1 is not prime.  Res64: E28898914EB6A2F6  Time : 0.0 sec.
user=odicin
[2012-07-29 07:37:41]
755*2^1225210-1 is not prime.  Res64: 5251FAA2D5745FB3  Time : 0.0 sec.
user=odicin
[2012-07-29 07:41:57]
743*2^1225210-1 is not prime.  Res64: 86D2AF60717F1E5C  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 07:42:16]
713*2^1225210-1 is not prime.  Res64: 89F7C8E3B6B39F9F  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 07:42:16]
731*2^1225210-1 is not prime.  Res64: 3B039D6B923AE9DD  Time : 0.0 sec.
user=odicin
[2012-07-29 07:43:08]
791*2^1225210-1 is not prime.  Res64: 5E69D67B37D82E74  Time : 0.0 sec.
user=odicin
[2012-07-29 07:43:09]
619*2^1225211-1 is not prime.  Res64: 0B41F33617C86711  Time : 0.0 sec.
user=odicin
[2012-07-29 07:46:31]
909*2^1225211-1 is not prime.  Res64: 7DB91CECFA578692  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 07:50:30]
843*2^1225211-1 is not prime.  Res64: 07FC9E5D1C152870  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 07:53:03]
651*2^1225211-1 is not prime.  Res64: 6A5527D52316A7C6  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 07:53:04]
705*2^1225211-1 is not prime.  Res64: F9BF12E61C85BD6B  Time : 0.0 sec.
user=odicin
[2012-07-29 07:55:16]
955*2^1225211-1 is not prime.  Res64: B503B6EF2CB125B3  Time : 0.0 sec.
user=odicin
[2012-07-29 07:55:23]
625*2^1225213-1 is not prime.  Res64: E0EC39450704B082  Time : 0.0 sec.
user=odicin
[2012-07-29 07:56:27]
749*2^1225212-1 is not prime.  Res64: 323257F7EE2D1854  Time : 0.0 sec.
user=odicin
[2012-07-29 07:56:27]
929*2^1225212-1 is not prime.  Res64: 970653729BFD424E  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 07:56:46]
735*2^1225210-1 is not prime.  Res64: CE39BE56E993C6BA  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 08:03:11]
981*2^1225211-1 is not prime.  Res64: 8FD95E07CF2F0BBD  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 08:03:11]
647*2^1225212-1 is not prime.  Res64: 083E8F5C72364798  Time : 0.0 sec.
user=odicin
[2012-07-29 08:04:21]
817*2^1225213-1 is not prime.  Res64: A8E632934871E7AF  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 08:07:08]
859*2^1225211-1 is not prime.  Res64: 79262CE013472823  Time : 0.0 sec.
user=vaughan
[2012-07-29 08:07:33]
861*2^1225137-1 is not prime.  Res64: 5714442C423404F2  Time : 0.0 sec.
user=odicin
[2012-07-29 08:08:38]
769*2^1225213-1 is not prime.  Res64: 55DBAD47E7D30D84  Time : 0.0 sec.
user=odicin
[2012-07-29 08:09:45]
885*2^1225213-1 is not prime.  Res64: 9E94BC429F9878AD  Time : 0.0 sec.
user=odicin
[2012-07-29 08:09:49]
847*2^1225213-1 is not prime.  Res64: 852E89F7DCFD8973  Time : 0.0 sec.
user=odicin
[2012-07-29 08:13:22]
797*2^1225214-1 is not prime.  Res64: D77320E869E0BB53  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 08:13:57]
639*2^1225213-1 is not prime.  Res64: 59B541205AED7B06  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 08:13:58]
751*2^1225213-1 is not prime.  Res64: 25A61C806FC30BA5  Time : 0.0 sec.
user=odicin
[2012-07-29 08:21:58]
691*2^1225215-1 is not prime.  Res64: DA9111742E604E12  Time : 0.0 sec.
user=odicin
[2012-07-29 08:22:21]
891*2^1225215-1 is not prime.  Res64: D278FB42CA8264C0  Time : 0.0 sec.
user=odicin
[2012-07-29 08:23:07]
775*2^1225215-1 is not prime.  Res64: 45643DA0C6B7A198  Time : 0.0 sec.
user=odicin
[2012-07-29 08:23:17]
829*2^1225215-1 is not prime.  Res64: DC36D90A8C0F40F5  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 08:23:45]
739*2^1225215-1 is not prime.  Res64: B5D9F1846CA37455  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 08:24:04]
987*2^1225213-1 is not prime.  Res64: 75DF872BCCF5657C  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 08:24:05]
635*2^1225214-1 is not prime.  Res64: B9DF11320601B6BA  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 08:27:48]
897*2^1225213-1 is not prime.  Res64: 5AD615250F08D7B8  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 08:30:46]
717*2^1225216-1 is not prime.  Res64: 06E82EEB602E1EFD  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 08:30:51]
825*2^1225216-1 is not prime.  Res64: B94776A4E3987E7E  Time : 0.0 sec.
user=odicin
[2012-07-29 08:31:13]
989*2^1225216-1 is not prime.  Res64: 37B78B0D5C2B7F5E  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 08:34:58]
951*2^1225215-1 is not prime.  Res64: 0693E6D03E27B9DB  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 08:34:58]
961*2^1225215-1 is not prime.  Res64: B2DB4758730290A7  Time : 0.0 sec.
user=odicin
[2012-07-29 08:35:23]
927*2^1225216-1 is not prime.  Res64: 9A4FAF99D00CF1B6  Time : 0.0 sec.
user=odicin
[2012-07-29 08:36:33]
649*2^1225217-1 is not prime.  Res64: E05552A5159048A8  Time : 0.0 sec.
user=odicin
[2012-07-29 08:36:41]
697*2^1225217-1 is not prime.  Res64: 55319554CBE006C2  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 08:38:05]
923*2^1225214-1 is not prime.  Res64: 63166AAF4251CC8C  Time : 0.0 sec.
user=odicin
[2012-07-29 08:40:01]
829*2^1225217-1 is not prime.  Res64: 4A873E5D500AB79C  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 08:44:57]
727*2^1225217-1 is not prime.  Res64: AE8670BBFFC0C769  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 08:44:57]
747*2^1225217-1 is not prime.  Res64: E084DF224E26B324  Time : 0.0 sec.
user=vaughan
[2012-07-29 08:45:08]
685*2^1225215-1 is not prime.  Res64: ED5C44BBAED02AB1  Time : 0.0 sec.
user=odicin
[2012-07-29 08:48:40]
755*2^1225218-1 is not prime.  Res64: BD2AC5C29EC8D1D9  Time : 0.0 sec.
user=odicin
[2012-07-29 08:48:50]
977*2^1225218-1 is not prime.  Res64: 7CB47EF992479DDB  Time : 0.0 sec.
user=odicin
[2012-07-29 08:49:51]
773*2^1225218-1 is not prime.  Res64: 07A159BB4368CDA2  Time : 0.0 sec.
user=odicin
[2012-07-29 08:50:03]
891*2^1225218-1 is not prime.  Res64: 4D3658A272F9F309  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 08:55:50]
885*2^1225217-1 is not prime.  Res64: C24022F2AE97D54A  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 08:55:50]
705*2^1225218-1 is not prime.  Res64: 523839FB8B77A0F8  Time : 0.0 sec.
user=odicin
[2012-07-29 08:57:41]
801*2^1225219-1 is not prime.  Res64: 195916DA3B988661  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 08:58:35]
805*2^1225217-1 is not prime.  Res64: 0C5414E256CDC7E1  Time : 0.0 sec.
user=odicin
[2012-07-29 09:02:03]
793*2^1225219-1 is not prime.  Res64: 1CC178FFA9288A02  Time : 0.0 sec.
user=odicin
[2012-07-29 09:03:08]
609*2^1225220-1 is not prime.  Res64: A69767912C705E10  Time : 0.0 sec.
user=odicin
[2012-07-29 09:03:23]
689*2^1225220-1 is not prime.  Res64: 25949A4851FA4D2A  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 09:05:52]
693*2^1225219-1 is not prime.  Res64: FE1BCE2C6FAA2CA1  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 09:05:53]
765*2^1225219-1 is not prime.  Res64: 9008037F27B7DAF2  Time : 0.0 sec.
user=odicin
[2012-07-29 09:06:28]
609*2^1225221-1 is not prime.  Res64: 1134D21A30C2C710  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 09:08:49]
927*2^1225218-1 is not prime.  Res64: 8642C44FDE93DA82  Time : 0.0 sec.
user=odicin
[2012-07-29 09:15:22]
741*2^1225221-1 is not prime.  Res64: 04F2AB57C0C7A6FB  Time : 0.0 sec.
user=odicin
[2012-07-29 09:15:22]
827*2^1225222-1 is not prime.  Res64: 12ED7D6E8A20151F  Time : 0.0 sec.
user=odicin
[2012-07-29 09:16:33]
747*2^1225221-1 is not prime.  Res64: 0F60748D30458618  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 09:16:44]
825*2^1225220-1 is not prime.  Res64: 04552D45E5399C87  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 09:16:44]
987*2^1225220-1 is not prime.  Res64: 66301A5913E3C01E  Time : 0.0 sec.
user=odicin
[2012-07-29 09:16:47]
723*2^1225222-1 is not prime.  Res64: 2B4EE2FE4C65310B  Time : 0.0 sec.
user=vaughan
[2012-07-29 09:22:38]
775*2^1225219-1 is not prime.  Res64: F8C07B03EF1E0B14  Time : 0.0 sec.
user=odicin
[2012-07-29 09:24:24]
633*2^1225223-1 is not prime.  Res64: 0AB7E30976323FE6  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 09:26:47]
765*2^1225222-1 is not prime.  Res64: D0F570388E1BADDD  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 09:26:48]
825*2^1225222-1 is not prime.  Res64: 4D64B279942F524A  Time : 0.0 sec.
user=odicin
[2012-07-29 09:28:52]
995*2^1225222-1 is not prime.  Res64: 45EAA3A09672B794  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 09:29:20]
657*2^1225221-1 is not prime.  Res64: 2506BA1F85DD3E6E  Time : 0.0 sec.
user=odicin
[2012-07-29 09:29:53]
721*2^1225223-1 is not prime.  Res64: 2B7E58FDA6D6FBA7  Time : 0.0 sec.
user=odicin
[2012-07-29 09:30:06]
943*2^1225223-1 is not prime.  Res64: 631AED6AA4B927FD  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 09:32:00]
911*2^1225222-1 is not prime.  Res64: 9E04C78780615081  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 09:32:00]
891*2^1225222-1 is not prime.  Res64: 6629AF768ECA00CA  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 09:32:04]
673*2^1225223-1 is not prime.  Res64: 4C27481F9D214C92  Time : 0.0 sec.
user=odicin
[2012-07-29 09:33:12]
605*2^1225224-1 is not prime.  Res64: 73667183F4DD58BB  Time : 0.0 sec.
user=gd_barnes
[2012-07-29 09:34:02]
677*2^1225222-1 is not prime.  Res64: CE89B056CE9F8842  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 09:37:37]
763*2^1225223-1 is not prime.  Res64: 8B8F77EFC57194CA  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 09:37:37]
915*2^1225223-1 is not prime.  Res64: 44AC2DBB0BC601AF  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 09:39:35]
857*2^1225222-1 is not prime.  Res64: BAF766914A6495B7  Time : 0.0 sec.
user=odicin
[2012-07-29 09:42:07]
863*2^1225224-1 is not prime.  Res64: FAF0F361CEACD1BA  Time : 0.0 sec.
user=odicin
[2012-07-29 09:42:11]
725*2^1225224-1 is not prime.  Res64: 6F6E7BF0B3668022  Time : 0.0 sec.
user=odicin
[2012-07-29 09:43:15]
759*2^1225224-1 is not prime.  Res64: 6B613706F208DA38  Time : 0.0 sec.
user=odicin
[2012-07-29 09:43:28]
773*2^1225224-1 is not prime.  Res64: 2D8EFD066611110D  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 09:47:41]
663*2^1225224-1 is not prime.  Res64: 430B6D8C716FAAC1  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 09:47:41]
699*2^1225224-1 is not prime.  Res64: 4C2CE4D0961A5351  Time : 0.0 sec.
user=odicin
[2012-07-29 09:50:57]
917*2^1225224-1 is not prime.  Res64: FF159D812339AA04  Time : 0.0 sec.
user=odicin
[2012-07-29 09:55:30]
741*2^1225225-1 is not prime.  Res64: 39FFC999832CF133  Time : 0.0 sec.
user=odicin
[2012-07-29 09:56:34]
847*2^1225225-1 is not prime.  Res64: 0EB348527C3A04A2  Time : 0.0 sec.
user=odicin
[2012-07-29 09:56:50]
987*2^1225225-1 is not prime.  Res64: 936B71DE91B646F1  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 09:58:30]
893*2^1225224-1 is not prime.  Res64: 4DC3E5DBDE161323  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 09:58:31]
909*2^1225224-1 is not prime.  Res64: EE3A2B4F11464DD9  Time : 0.0 sec.
user=odicin
[2012-07-29 09:59:42]
711*2^1225226-1 is not prime.  Res64: D5D9750DB6FB2BD9  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 10:00:09]
753*2^1225224-1 is not prime.  Res64: 20CA3304A620B6CE  Time : 0.0 sec.
user=vaughan
[2012-07-29 10:00:23]
985*2^1225223-1 is not prime.  Res64: BA5D7BAD57C2B63D  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 10:07:05]
813*2^1225226-1 is not prime.  Res64: 0FF4C255260F19C0  Time : 0.0 sec.
user=odicin
[2012-07-29 10:08:30]
981*2^1225226-1 is not prime.  Res64: 49EC1D20CA6FBAA8  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 10:08:34]
999*2^1225225-1 is not prime.  Res64: 85445F1B438C1F43  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 10:08:35]
677*2^1225226-1 is not prime.  Res64: 9046A5BDC592DF0E  Time : 0.0 sec.
user=odicin
[2012-07-29 10:08:50]
815*2^1225226-1 is not prime.  Res64: 28DA31EAC40DF80C  Time : 0.0 sec.
user=odicin
[2012-07-29 10:09:56]
825*2^1225226-1 is not prime.  Res64: A77F2C459BE37DE5  Time : 0.0 sec.
user=odicin
[2012-07-29 10:10:11]
873*2^1225226-1 is not prime.  Res64: 1405FE24A43E1EBD  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 10:10:27]
915*2^1225224-1 is not prime.  Res64: 13D0AD307DA80831  Time : 0.0 sec.
user=odicin
[2012-07-29 10:17:28]
825*2^1225227-1 is not prime.  Res64: 7CFDF9C1872EF851  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 10:19:24]
893*2^1225226-1 is not prime.  Res64: 33B47104EF083E3D  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 10:19:24]
923*2^1225226-1 is not prime.  Res64: F0E825EDBDB359B2  Time : 0.0 sec.
user=odicin
[2012-07-29 10:22:14]
999*2^1225227-1 is not prime.  Res64: 757B99DFA4365354  Time : 0.0 sec.
user=odicin
[2012-07-29 10:23:15]
605*2^1225228-1 is not prime.  Res64: 1D5E5EAD9132B5C3  Time : 0.0 sec.
user=odicin
[2012-07-29 10:23:34]
705*2^1225228-1 is not prime.  Res64: 9D4977BE619B80A4  Time : 0.0 sec.
user=odicin
[2012-07-29 10:26:16]
777*2^1225228-1 is not prime.  Res64: BAB69A82B566F8E9  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 10:29:35]
849*2^1225227-1 is not prime.  Res64: DE152B76F3DCC01A  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 10:29:35]
955*2^1225227-1 is not prime.  Res64: 8F974A6DC22364C7  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 10:30:57]
705*2^1225227-1 is not prime.  Res64: 55B20D1FE5117AEF  Time : 0.0 sec.
user=odicin
[2012-07-29 10:35:04]
885*2^1225228-1 is not prime.  Res64: F968AD2813AF7AA2  Time : 0.0 sec.
user=odicin
[2012-07-29 10:35:39]
843*2^1225228-1 is not prime.  Res64: 202E10246D2FABBE  Time : 0.0 sec.
user=odicin
[2012-07-29 10:36:36]
845*2^1225228-1 is not prime.  Res64: 2A7D0D88BA175E1B  Time : 0.0 sec.
user=odicin
[2012-07-29 10:36:59]
875*2^1225228-1 is not prime.  Res64: 7E58CE7582B7E5F0  Time : 0.0 sec.
user=vaughan
[2012-07-29 10:37:53]
711*2^1225227-1 is not prime.  Res64: F9673BB8E974E858  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 10:40:17]
783*2^1225228-1 is not prime.  Res64: 97C71F470B077EFF  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 10:40:17]
833*2^1225228-1 is not prime.  Res64: 1DAAF6E5CA1101A3  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 10:41:13]
707*2^1225228-1 is not prime.  Res64: D0B0BA069691BCA7  Time : 0.0 sec.
user=odicin
[2012-07-29 10:43:56]
697*2^1225229-1 is not prime.  Res64: 259E3003E6F4BAB7  Time : 0.0 sec.
user=odicin
[2012-07-29 10:48:59]
769*2^1225229-1 is not prime.  Res64: BB44692929019886  Time : 0.0 sec.
user=odicin
[2012-07-29 10:49:56]
771*2^1225229-1 is not prime.  Res64: 685865811883163E  Time : 0.0 sec.
user=odicin
[2012-07-29 10:50:19]
789*2^1225229-1 is not prime.  Res64: 62CFDAB15E8AAF31  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 10:50:31]
923*2^1225228-1 is not prime.  Res64: 00161DC54276F994  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 10:50:32]
989*2^1225228-1 is not prime.  Res64: A2B35731CFF8C493  Time : 0.0 sec.
user=odicin
[2012-07-29 10:52:48]
615*2^1225230-1 is not prime.  Res64: DA3BE45F802E3098  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 11:01:13]
897*2^1225229-1 is not prime.  Res64: AF4FEECBC12F217B  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 11:01:15]
907*2^1225229-1 is not prime.  Res64: D7B12A479952A5F1  Time : 0.0 sec.
user=odicin
[2012-07-29 11:01:39]
841*2^1225231-1 is not prime.  Res64: B5AB05795E88BC6A  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 11:01:44]
615*2^1225229-1 is not prime.  Res64: 3CD5BB91432CAB36  Time : 0.0 sec.
user=odicin
[2012-07-29 11:02:19]
641*2^1225230-1 is not prime.  Res64: D065F7D296B51197  Time : 0.0 sec.
user=odicin
[2012-07-29 11:03:18]
765*2^1225230-1 is not prime.  Res64: C22B3C8C2ADEFCE1  Time : 0.0 sec.
user=odicin
[2012-07-29 11:03:40]
917*2^1225230-1 is not prime.  Res64: AC1632563062809E  Time : 0.0 sec.
user=odicin
[2012-07-29 11:10:32]
753*2^1225232-1 is not prime.  Res64: 411BAC4B51CD4E35  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 11:11:29]
645*2^1225231-1 is not prime.  Res64: A2009165A5A7C661  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 11:11:30]
705*2^1225231-1 is not prime.  Res64: D32F269AE4D34C31  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 11:12:01]
949*2^1225229-1 is not prime.  Res64: 7C1D7A1B785E9E82  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 11:13:08]
843*2^1225231-1 is not prime.  Res64: 3E17A514AB76D506  Time : 0.0 sec.
user=vaughan
[2012-07-29 11:15:25]
847*2^1225229-1 is not prime.  Res64: 901A50AAED43F1B3  Time : 0.0 sec.
user=odicin
[2012-07-29 11:15:40]
897*2^1225232-1 is not prime.  Res64: 80E031D76397282B  Time : 0.0 sec.
user=odicin
[2012-07-29 11:16:38]
935*2^1225232-1 is not prime.  Res64: 5765E907336E1023  Time : 0.0 sec.
user=odicin
[2012-07-29 11:16:59]
765*2^1225233-1 is not prime.  Res64: 1A2DEAD2FE6BEE10  Time : 0.0 sec.
user=odicin
[2012-07-29 11:19:30]
817*2^1225233-1 is not prime.  Res64: BC961AE5D36722E9  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 11:22:37]
605*2^1225232-1 is not prime.  Res64: 26A298AA3DFED789  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 11:22:39]
717*2^1225232-1 is not prime.  Res64: 7647AF5407711D20  Time : 0.0 sec.
user=odicin
[2012-07-29 11:28:17]
609*2^1225236-1 is not prime.  Res64: 52D32987C1FF2099  Time : 0.0 sec.
user=odicin
[2012-07-29 11:29:04]
887*2^1225234-1 is not prime.  Res64: 7AED8850F5919BA0  Time : 0.0 sec.
user=odicin
[2012-07-29 11:29:58]
759*2^1225235-1 is not prime.  Res64: 842C36BEB6A5CBBD  Time : 0.0 sec.
user=odicin
[2012-07-29 11:30:20]
841*2^1225235-1 is not prime.  Res64: F4ED206306FFDED2  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 11:32:28]
955*2^1225233-1 is not prime.  Res64: 30745F0DD91AF3A8  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 11:32:29]
611*2^1225234-1 is not prime.  Res64: E927F5F78AE36B43  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 11:32:34]
873*2^1225232-1 is not prime.  Res64: 4C4007D9424771CA  Time : 0.0 sec.
user=odicin
[2012-07-29 11:37:03]
923*2^1225236-1 is not prime.  Res64: 10CF5587066C75E7  Time : 0.0 sec.
user=odicin
[2012-07-29 11:42:24]
945*2^1225236-1 is not prime.  Res64: B352F07B71563A78  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 11:42:46]
645*2^1225234-1 is not prime.  Res64: EF9403A016210448  Time : 0.0 sec.
user=odicin
[2012-07-29 11:43:21]
615*2^1225237-1 is not prime.  Res64: A0548576391062E7  Time : 0.0 sec.
user=odicin
[2012-07-29 11:43:43]
667*2^1225237-1 is not prime.  Res64: 4795C33BAAFBF826  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 11:44:05]
693*2^1225236-1 is not prime.  Res64: D64D6A269DAC2598  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 11:44:06]
765*2^1225236-1 is not prime.  Res64: 84BF57D15BCBE410  Time : 0.0 sec.
user=odicin
[2012-07-29 11:45:51]
771*2^1225237-1 is not prime.  Res64: 98423250E2AADE54  Time : 0.0 sec.
user=vaughan
[2012-07-29 11:53:01]
705*2^1225234-1 is not prime.  Res64: 0B7770EB0DBCEDCC  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 11:53:28]
685*2^1225237-1 is not prime.  Res64: BF8F54D51C103F84  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 11:53:28]
687*2^1225237-1 is not prime.  Res64: F8A3C5B119DD4AAA  Time : 0.0 sec.
user=odicin
[2012-07-29 11:54:40]
665*2^1225238-1 is not prime.  Res64: 5C1F329C8CE0FFEB  Time : 0.0 sec.
user=odicin
[2012-07-29 11:55:42]
889*2^1225237-1 is not prime.  Res64: 96B7FD559FE877DE  Time : 0.0 sec.
user=odicin
[2012-07-29 11:56:40]
997*2^1225237-1 is not prime.  Res64: A88EC6678C1A13AE  Time : 0.0 sec.
user=odicin
[2012-07-29 11:57:05]
627*2^1225238-1 is not prime.  Res64: 45F471DBE20CA6FF  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 12:03:13]
715*2^1225237-1 is not prime.  Res64: B2D558BC1BB16E24  Time : 0.0 sec.
user=odicin
[2012-07-29 12:03:30]
911*2^1225238-1 is not prime.  Res64: FFDF96DC80C0DF08  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 12:05:05]
635*2^1225238-1 is not prime.  Res64: AB75CA36490847D1  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 12:05:07]
663*2^1225238-1 is not prime.  Res64: 1B59C87ECA48D24E  Time : 0.0 sec.
user=odicin
[2012-07-29 12:09:06]
941*2^1225238-1 is not prime.  Res64: DA78B6BBEAC8D370  Time : 0.0 sec.
user=odicin
[2012-07-29 12:09:59]
993*2^1225238-1 is not prime.  Res64: A9CE1E8A25F4EC10  Time : 0.0 sec.
user=odicin
[2012-07-29 12:10:23]
789*2^1225239-1 is not prime.  Res64: 044962DAE1761CD1  Time : 0.0 sec.
user=odicin
[2012-07-29 12:12:16]
969*2^1225239-1 is not prime.  Res64: 37DF13D575E00F05  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 12:13:27]
927*2^1225237-1 is not prime.  Res64: 571880ADE9EB0146  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 12:14:27]
827*2^1225238-1 is not prime.  Res64: C4E6E1CCD71DDAD8  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 12:14:30]
885*2^1225238-1 is not prime.  Res64: B9A725F23F6DD943  Time : 0.0 sec.
user=odicin
[2012-07-29 12:21:04]
735*2^1225241-1 is not prime.  Res64: 7B751216DCE355CA  Time : 0.0 sec.
user=odicin
[2012-07-29 12:22:28]
849*2^1225240-1 is not prime.  Res64: DAA788196A5A0B7B  Time : 0.0 sec.
user=odicin
[2012-07-29 12:23:23]
857*2^1225240-1 is not prime.  Res64: 086444712760F831  Time : 0.0 sec.
user=odicin
[2012-07-29 12:23:45]
637*2^1225241-1 is not prime.  Res64: D23F01CF1A584FAB  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 12:26:12]
695*2^1225240-1 is not prime.  Res64: 5D9D89E4B68A8217  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 12:26:12]
803*2^1225240-1 is not prime.  Res64: FDD1C3015CC24FD9  Time : 0.0 sec.
user=odicin
[2012-07-29 12:29:56]
741*2^1225242-1 is not prime.  Res64: 019444AAFC626E13  Time : 0.0 sec.
user=vaughan
[2012-07-29 12:30:44]
731*2^1225238-1 is not prime.  Res64: A7CF6CDF1E1A05D0  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 12:33:22]
945*2^1225241-1 is not prime.  Res64: D54DD993589DF8F6  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 12:34:10]
895*2^1225239-1 is not prime.  Res64: 4388BCE473ADB869  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 12:35:33]
865*2^1225241-1 is not prime.  Res64: B7EC060580D96236  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 12:35:34]
879*2^1225241-1 is not prime.  Res64: F7B37D350EB18324  Time : 0.0 sec.
user=odicin
[2012-07-29 12:35:49]
825*2^1225242-1 is not prime.  Res64: CC58212F894ED3BA  Time : 0.0 sec.
user=odicin
[2012-07-29 12:36:42]
1001*2^1225242-1 is not prime.  Res64: FC4DC59742620D86  Time : 0.0 sec.
user=odicin
[2012-07-29 12:37:06]
603*2^1225243-1 is not prime.  Res64: A50B2149971DEE1C  Time : 0.0 sec.
user=odicin
[2012-07-29 12:38:46]
723*2^1225243-1 is not prime.  Res64: C45EDAE425E16A9C  Time : 0.0 sec.
user=gd_barnes
[2012-07-29 12:42:50]
957*2^1225241-1 is not prime.  Res64: 55DA042ECE27493B  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 12:44:20]
769*2^1225241-1 is not prime.  Res64: 80923EEB2386300D  Time : 0.0 sec.
user=gd_barnes
[2012-07-29 12:47:00]
711*2^1225242-1 is not prime.  Res64: 85E428FEBB56736D  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 12:47:14]
615*2^1225243-1 is not prime.  Res64: 9952618C2A92594E  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 12:47:14]
709*2^1225243-1 is not prime.  Res64: 9AFFED60CD1DC150  Time : 0.0 sec.
user=odicin
[2012-07-29 12:47:36]
909*2^1225244-1 is not prime.  Res64: 15C2193BA7196752  Time : 0.0 sec.
user=odicin
[2012-07-29 12:49:10]
843*2^1225244-1 is not prime.  Res64: AA5CB370DAC3A100  Time : 0.0 sec.
user=odicin
[2012-07-29 12:50:03]
873*2^1225244-1 is not prime.  Res64: 9B7EF4EB7EFB0DA7  Time : 0.0 sec.
user=odicin
[2012-07-29 12:50:27]
903*2^1225244-1 is not prime.  Res64: 75305BC0CAC2993B  Time : 0.0 sec.
user=odicin
[2012-07-29 12:56:28]
759*2^1225245-1 is not prime.  Res64: 2781634B3053BDAD  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 12:56:49]
605*2^1225244-1 is not prime.  Res64: D2158DFB1E87475A  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 12:56:49]
833*2^1225244-1 is not prime.  Res64: 9E0F0E2965CD30A6  Time : 0.0 sec.
user=odicin
[2012-07-29 13:02:28]
777*2^1225245-1 is not prime.  Res64: 49CE688B1FE274B1  Time : 0.0 sec.
user=odicin
[2012-07-29 13:03:22]
961*2^1225245-1 is not prime.  Res64: 0C20C868B10D4CE5  Time : 0.0 sec.
user=odicin
[2012-07-29 13:03:46]
979*2^1225245-1 is not prime.  Res64: 3085B691C8811899  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 13:04:56]
999*2^1225243-1 is not prime.  Res64: D755BC4C446876D1  Time : 0.0 sec.
user=odicin
[2012-07-29 13:05:20]
997*2^1225245-1 is not prime.  Res64: 16A14E85FAA4A270  Time : 0.0 sec.
user=vaughan
[2012-07-29 13:08:14]
853*2^1225243-1 is not prime.  Res64: 56ABF3A6B6F56D5D  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 13:08:16]
935*2^1225244-1 is not prime.  Res64: 303B069E165C3053  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 13:08:17]
607*2^1225245-1 is not prime.  Res64: 5AC1451ECA0B50FC  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 13:12:51]
917*2^1225246-1 is not prime.  Res64: 1A81BFF54E208B24  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 13:15:16]
915*2^1225244-1 is not prime.  Res64: C7E7BC4FAADB707F  Time : 0.0 sec.
user=odicin
[2012-07-29 13:15:56]
957*2^1225246-1 is not prime.  Res64: 983AEF7C3F196C1D  Time : 0.0 sec.
user=odicin
[2012-07-29 13:16:52]
601*2^1225247-1 is not prime.  Res64: F24E4D70E309CEB5  Time : 0.0 sec.
user=odicin
[2012-07-29 13:17:02]
735*2^1225247-1 is not prime.  Res64: D0077310D41D7F97  Time : 0.0 sec.
user=odicin
[2012-07-29 13:17:29]
861*2^1225247-1 is not prime.  Res64: F334F2A3CB431287  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 13:17:48]
611*2^1225246-1 is not prime.  Res64: 41474E06478B8103  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 13:17:50]
663*2^1225246-1 is not prime.  Res64: BCC485B3214AD972  Time : 0.0 sec.
user=odicin
[2012-07-29 13:26:18]
987*2^1225249-1 is not prime.  Res64: A12D6796D5D44416  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 13:29:16]
879*2^1225247-1 is not prime.  Res64: 1733695FFA92F17D  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 13:29:17]
939*2^1225247-1 is not prime.  Res64: 44B2000636742C9B  Time : 0.0 sec.
user=odicin
[2012-07-29 13:29:29]
847*2^1225249-1 is not prime.  Res64: 90D111D3AC328B24  Time : 0.0 sec.
user=odicin
[2012-07-29 13:30:18]
925*2^1225249-1 is not prime.  Res64: FA793A0D7F284167  Time : 0.0 sec.
user=odicin
[2012-07-29 13:30:32]
985*2^1225249-1 is not prime.  Res64: DD7998F3FF426ABA  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 13:31:06]
789*2^1225249-1 is not prime.  Res64: 5878AADB4EDB2F4E  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 13:31:14]
691*2^1225249-1 is not prime.  Res64: 15BF38295B1903DD  Time : 0.0 sec.
user=odicin
[2012-07-29 13:35:15]
851*2^1225250-1 is not prime.  Res64: F947640C205978EB  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 13:35:44]
741*2^1225247-1 is not prime.  Res64: 4AAEBA9C362FD445  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 13:38:50]
773*2^1225250-1 is not prime.  Res64: DD263007EE0D67B8  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 13:38:50]
791*2^1225250-1 is not prime.  Res64: 4CFF0A0A556C3838  Time : 0.0 sec.
user=gd_barnes
[2012-07-29 13:40:31]
875*2^1225248-1 is not prime.  Res64: 18B8B0C5C1DC3960  Time : 0.0 sec.
user=odicin
[2012-07-29 13:42:53]
703*2^1225251-1 is not prime.  Res64: 8AC6AF401955B324  Time : 0.0 sec.
user=odicin
[2012-07-29 13:43:35]
705*2^1225251-1 is not prime.  Res64: BA2CC32435ED85EE  Time : 0.0 sec.
user=gd_barnes
[2012-07-29 13:43:45]
845*2^1225248-1 is not prime.  Res64: 45D43BF53C912230  Time : 0.0 sec.
user=odicin
[2012-07-29 13:43:56]
711*2^1225251-1 is not prime.  Res64: 87F36E285EA88DD9  Time : 0.0 sec.
user=gd_barnes
[2012-07-29 13:43:57]
945*2^1225248-1 is not prime.  Res64: 65239A444F553C09  Time : 0.0 sec.
user=odicin
[2012-07-29 13:44:05]
751*2^1225251-1 is not prime.  Res64: ADDB155467C22508  Time : 0.0 sec.
user=vaughan
[2012-07-29 13:45:44]
871*2^1225247-1 is not prime.  Res64: 093BC726F24D2703  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 13:46:05]
765*2^1225249-1 is not prime.  Res64: 975D7547E38299B0  Time : 0.0 sec.
user=gd_barnes
[2012-07-29 13:46:49]
829*2^1225249-1 is not prime.  Res64: 6C50B7219A05BDE5  Time : 0.0 sec.
user=gd_barnes
[2012-07-29 13:47:16]
885*2^1225249-1 is not prime.  Res64: 5D86D36427E06F78  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 13:50:19]
921*2^1225250-1 is not prime.  Res64: B35650BD36796692  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 13:50:19]
981*2^1225250-1 is not prime.  Res64: 76CD60394B828BC9  Time : 0.0 sec.
user=odicin
[2012-07-29 13:52:57]
719*2^1225252-1 is not prime.  Res64: 071E8DB0E6C94333  Time : 0.0 sec.
user=odicin
[2012-07-29 13:56:17]
969*2^1225251-1 is not prime.  Res64: 9A99F0C54073FCA1  Time : 0.0 sec.
user=odicin
[2012-07-29 13:56:56]
623*2^1225252-1 is not prime.  Res64: 09346A903BE57682  Time : 0.0 sec.
user=odicin
[2012-07-29 13:57:13]
635*2^1225252-1 is not prime.  Res64: A57C1C9E5729FB98  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 13:59:49]
829*2^1225251-1 is not prime.  Res64: E7122AE5BD8870D7  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 13:59:50]
955*2^1225251-1 is not prime.  Res64: A728399FF58B3EC6  Time : 0.0 sec.
user=odicin
[2012-07-29 14:01:50]
657*2^1225253-1 is not prime.  Res64: 48621F08B331385E  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 14:06:26]
789*2^1225251-1 is not prime.  Res64: FAAD452AAB3CC1CB  Time : 0.0 sec.
user=odicin
[2012-07-29 14:09:40]
781*2^1225253-1 is not prime.  Res64: 0210D186836B7D50  Time : 0.0 sec.
user=odicin
[2012-07-29 14:10:15]
801*2^1225253-1 is not prime.  Res64: 7CECA2730EF72CD9  Time : 0.0 sec.
user=odicin
[2012-07-29 14:10:35]
879*2^1225253-1 is not prime.  Res64: 0B360A591B96307F  Time : 0.0 sec.
user=odicin
[2012-07-29 14:10:43]
951*2^1225253-1 is not prime.  Res64: 701E32709844146C  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 14:11:20]
843*2^1225252-1 is not prime.  Res64: 32F0A38B15C95BF1  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 14:11:22]
615*2^1225253-1 is not prime.  Res64: B7CF26D1C368F9F3  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 14:16:52]
779*2^1225252-1 is not prime.  Res64: 964E54AADA1B6CBC  Time : 0.0 sec.
user=odicin
[2012-07-29 14:19:33]
861*2^1225254-1 is not prime.  Res64: 45E861B0EDC05D03  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 14:20:55]
897*2^1225253-1 is not prime.  Res64: 4EA2C6BF72CAC48B  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 14:20:55]
915*2^1225253-1 is not prime.  Res64: 62BDC98B53F6EFFA  Time : 0.0 sec.
user=odicin
[2012-07-29 14:23:04]
611*2^1225254-1 is not prime.  Res64: 793C280210C03E35  Time : 0.0 sec.
user=vaughan
[2012-07-29 14:23:15]
749*2^1225252-1 is not prime.  Res64: EF09FF436191CD06  Time : 0.0 sec.
user=odicin
[2012-07-29 14:23:42]
723*2^1225254-1 is not prime.  Res64: F6043BE6AF4E4E5E  Time : 0.0 sec.
user=odicin
[2012-07-29 14:23:56]
737*2^1225254-1 is not prime.  Res64: C75CB6751600355C  Time : 0.0 sec.
user=odicin
[2012-07-29 14:28:18]
675*2^1225256-1 is not prime.  Res64: 07AD8972AA691470  Time : 0.0 sec.
user=Sashixi
[2012-07-29 14:28:40]
729*2^1225133-1 is not prime.  Res64: 33F7D4F0B841EA99  Time : 0.0 sec.
user=Sashixi
[2012-07-29 14:28:47]
771*2^1225133-1 is not prime.  Res64: 5C3FBCC571517028  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 14:32:39]
841*2^1225255-1 is not prime.  Res64: DAADF7A33D447747  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 14:32:40]
915*2^1225255-1 is not prime.  Res64: 3C4D6E5CC4A47372  Time : 0.0 sec.
user=odicin
[2012-07-29 14:36:30]
747*2^1225256-1 is not prime.  Res64: B02987F79ECB17B7  Time : 0.0 sec.
user=odicin
[2012-07-29 14:37:03]
813*2^1225256-1 is not prime.  Res64: 0DA1CB5E5303FA89  Time : 0.0 sec.
user=odicin
[2012-07-29 14:37:07]
957*2^1225256-1 is not prime.  Res64: 635F1033299B0DDD  Time : 0.0 sec.
user=odicin
[2012-07-29 14:37:14]
923*2^1225256-1 is not prime.  Res64: D12A865518ACA184  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 14:37:15]
955*2^1225253-1 is not prime.  Res64: A343E53A523FF0CD  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 14:42:00]
689*2^1225256-1 is not prime.  Res64: CE58619602BB6A8F  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 14:42:01]
693*2^1225256-1 is not prime.  Res64: 4843B3E803CD4C52  Time : 0.0 sec.
user=odicin
[2012-07-29 14:45:56]
847*2^1225257-1 is not prime.  Res64: 1DB3A8D093428D3D  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 14:47:37]
663*2^1225256-1 is not prime.  Res64: 4BFA8D135AE19DFF  Time : 0.0 sec.
user=odicin
[2012-07-29 14:49:54]
765*2^1225257-1 is not prime.  Res64: 9DB7828A8E1FA707  Time : 0.0 sec.
user=odicin
[2012-07-29 14:50:26]
817*2^1225257-1 is not prime.  Res64: D95BAF629D370F35  Time : 0.0 sec.
user=odicin
[2012-07-29 14:50:39]
895*2^1225257-1 is not prime.  Res64: 288D188C8893E4CE  Time : 0.0 sec.
user=Sashixi
[2012-07-29 14:52:59]
969*2^1225256-1 is not prime.  Res64: 04320819BE9B6E1E  Time : 0.0 sec.
user=Sashixi
[2012-07-29 14:53:21]
983*2^1225256-1 is not prime.  Res64: 1764D32F6554F126  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 14:53:50]
609*2^1225257-1 is not prime.  Res64: 4D3654CB98D9653E  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 14:53:50]
625*2^1225257-1 is not prime.  Res64: 8FED91E714203F44  Time : 0.0 sec.
user=odicin
[2012-07-29 14:54:49]
857*2^1225258-1 is not prime.  Res64: CB4C4D00CB33CF06  Time : 0.0 sec.
user=vaughan
[2012-07-29 15:00:47]
785*2^1225256-1 is not prime.  Res64: 36084025B8F9DC64  Time : 0.0 sec.
user=odicin
[2012-07-29 15:03:12]
887*2^1225258-1 is not prime.  Res64: 2FD43477F05F773E  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 15:03:14]
663*2^1225258-1 is not prime.  Res64: 104139F90A699A20  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 15:03:14]
723*2^1225258-1 is not prime.  Res64: 6DB5211756326B48  Time : 0.0 sec.
user=odicin
[2012-07-29 15:03:46]
861*2^1225259-1 is not prime.  Res64: 121B115D00D8FD83  Time : 0.0 sec.
user=odicin
[2012-07-29 15:03:50]
915*2^1225258-1 is not prime.  Res64: C30A8E8FA426A2A7  Time : 0.0 sec.
user=odicin
[2012-07-29 15:04:01]
619*2^1225259-1 is not prime.  Res64: D522C7D60CDA6D86  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 15:08:05]
889*2^1225257-1 is not prime.  Res64: DCA2E51EEE571931  Time : 0.0 sec.
user=odicin
[2012-07-29 15:12:46]
845*2^1225260-1 is not prime.  Res64: 5AF0C7842B100847  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 15:15:01]
825*2^1225259-1 is not prime.  Res64: 66E9AB1352BB0389  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 15:15:02]
855*2^1225259-1 is not prime.  Res64: 58572ED8B8C88C3A  Time : 0.0 sec.
user=odicin
[2012-07-29 15:16:34]
675*2^1225260-1 is not prime.  Res64: 391CB936E68A41BE  Time : 0.0 sec.
user=odicin
[2012-07-29 15:17:10]
905*2^1225260-1 is not prime.  Res64: 42A772C3BA3C1E7E  Time : 0.0 sec.
user=Sashixi
[2012-07-29 15:17:13]
649*2^1225259-1 is not prime.  Res64: E85E86A243524416  Time : 0.0 sec.
user=odicin
[2012-07-29 15:17:25]
607*2^1225261-1 is not prime.  Res64: E86209A050D0D357  Time : 0.0 sec.
user=Sashixi
[2012-07-29 15:18:00]
679*2^1225259-1 is not prime.  Res64: C244F539F1B321A8  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 15:18:19]
881*2^1225258-1 is not prime.  Res64: 12896892B4B23292  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 15:20:16]
679*2^1225261-1 is not prime.  Res64: 970353BB4C805B70  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 15:20:55]
651*2^1225261-1 is not prime.  Res64: 8504827B1973DE0C  Time : 0.0 sec.
user=odicin
[2012-07-29 15:21:44]
889*2^1225261-1 is not prime.  Res64: 5E16F67032B7A67A  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 15:23:26]
741*2^1225261-1 is not prime.  Res64: 96AEB83C0ACCA5B5  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 15:23:35]
747*2^1225261-1 is not prime.  Res64: 57486E0FAB296F72  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 15:24:25]
973*2^1225259-1 is not prime.  Res64: 6654FF4132FF1973  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 15:24:25]
627*2^1225260-1 is not prime.  Res64: 2B32B5FC2EE57806  Time : 0.0 sec.
user=odicin
[2012-07-29 15:29:57]
677*2^1225262-1 is not prime.  Res64: FA5B7D9F97B6DFB7  Time : 0.0 sec.
user=odicin
[2012-07-29 15:30:29]
705*2^1225262-1 is not prime.  Res64: A500A9842FED1B94  Time : 0.0 sec.
user=odicin
[2012-07-29 15:30:33]
693*2^1225263-1 is not prime.  Res64: B65BBA49C75ECB58  Time : 0.0 sec.
user=odicin
[2012-07-29 15:30:49]
963*2^1225262-1 is not prime.  Res64: B1E7390D875C2BF2  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 15:36:14]
901*2^1225261-1 is not prime.  Res64: 38BBFF214B53F7DB  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 15:36:15]
955*2^1225261-1 is not prime.  Res64: 3F52E1B752A20CDA  Time : 0.0 sec.
user=vaughan
[2012-07-29 15:38:33]
883*2^1225259-1 is not prime.  Res64: 63AE43E6BA34A665  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 15:39:03]
825*2^1225261-1 is not prime.  Res64: ECD610DDA1424C01  Time : 0.0 sec.
user=odicin
[2012-07-29 15:39:25]
985*2^1225263-1 is not prime.  Res64: 3D08C8856C38277B  Time : 0.0 sec.
user=Sashixi
[2012-07-29 15:40:48]
867*2^1225262-1 is not prime.  Res64: 9A5BD2D39D653D59  Time : 0.0 sec.
user=Sashixi
[2012-07-29 15:41:54]
977*2^1225262-1 is not prime.  Res64: 63AC96DABFE4D6DB  Time : 0.0 sec.
user=odicin
[2012-07-29 15:43:18]
795*2^1225263-1 is not prime.  Res64: 1D6F9AC5331F2AEE  Time : 0.0 sec.
user=odicin
[2012-07-29 15:43:49]
885*2^1225263-1 is not prime.  Res64: D3D6B34FD51B9471  Time : 0.0 sec.
user=gd_barnes
[2012-07-29 15:43:58]
957*2^1225261-1 is not prime.  Res64: F2C6E007B3C2F8E2  Time : 0.0 sec.
user=gd_barnes
[2012-07-29 15:44:01]
603*2^1225262-1 is not prime.  Res64: 8AA2BE54977318EF  Time : 0.0 sec.
user=odicin
[2012-07-29 15:44:13]
677*2^1225264-1 is not prime.  Res64: 70EDFE57D23B6FDA  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 15:45:23]
751*2^1225263-1 is not prime.  Res64: 6E39EEA82D2154AE  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 15:45:24]
793*2^1225263-1 is not prime.  Res64: BD56EDA2BFA8BFC3  Time : 0.0 sec.
user=odicin
[2012-07-29 15:48:15]
679*2^1225265-1 is not prime.  Res64: 927733719548303D  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 15:49:17]
983*2^1225262-1 is not prime.  Res64: 504CCDA92DE2E0A6  Time : 0.0 sec.
user=odicin
[2012-07-29 15:56:39]
765*2^1225266-1 is not prime.  Res64: 618259A8A6B03526  Time : 0.0 sec.
user=odicin
[2012-07-29 15:57:01]
871*2^1225267-1 is not prime.  Res64: E8CC81C449B54742  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 15:57:03]
813*2^1225264-1 is not prime.  Res64: 5E0354C4AD8CAC67  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 15:57:03]
929*2^1225264-1 is not prime.  Res64: 4E1770C8F5ADA66C  Time : 0.0 sec.
user=odicin
[2012-07-29 15:57:10]
837*2^1225266-1 is not prime.  Res64: CB67ED813089AC2F  Time : 0.0 sec.
user=odicin
[2012-07-29 15:57:35]
875*2^1225266-1 is not prime.  Res64: 73B2CD544B4C5EF6  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 16:05:58]
673*2^1225267-1 is not prime.  Res64: 7A71E0BB014FA82D  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 16:06:00]
741*2^1225267-1 is not prime.  Res64: 6A7DFD89B67E6925  Time : 0.0 sec.
user=odicin
[2012-07-29 16:06:02]
647*2^1225268-1 is not prime.  Res64: 08934C2C2D1D25F0  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 16:09:50]
657*2^1225265-1 is not prime.  Res64: 3404AB6AEEB7E05B  Time : 0.0 sec.
user=odicin
[2012-07-29 16:09:57]
931*2^1225267-1 is not prime.  Res64: 41E2C16B6A82BBF0  Time : 0.0 sec.
user=odicin
[2012-07-29 16:10:36]
687*2^1225268-1 is not prime.  Res64: 6BA66CDA88D5140C  Time : 0.0 sec.
user=odicin
[2012-07-29 16:10:57]
689*2^1225268-1 is not prime.  Res64: 9AFE2737907D7CEE  Time : 0.0 sec.
user=odicin
[2012-07-29 16:14:51]
751*2^1225269-1 is not prime.  Res64: 614CE2CECD06BD2A  Time : 0.0 sec.
user=vaughan
[2012-07-29 16:15:59]
983*2^1225264-1 is not prime.  Res64: F51AD8328DE34144  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 16:17:38]
939*2^1225267-1 is not prime.  Res64: BB7471FF6D7D04E7  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 16:17:38]
975*2^1225267-1 is not prime.  Res64: 6BA07A8156732462  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 16:18:59]
773*2^1225268-1 is not prime.  Res64: 907C5471010A0594  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 16:19:59]
909*2^1225267-1 is not prime.  Res64: F70D162588944065  Time : 0.0 sec.
user=odicin
[2012-07-29 16:23:21]
895*2^1225269-1 is not prime.  Res64: 1819E79566B4AB70  Time : 0.0 sec.
user=odicin
[2012-07-29 16:23:42]
979*2^1225269-1 is not prime.  Res64: 2305A27DCDEE1A39  Time : 0.0 sec.
user=odicin
[2012-07-29 16:23:57]
919*2^1225269-1 is not prime.  Res64: 930E0BEA2049D5DA  Time : 0.0 sec.
user=odicin
[2012-07-29 16:24:21]
921*2^1225269-1 is not prime.  Res64: 46E215EC5B962F3B  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 16:26:36]
897*2^1225268-1 is not prime.  Res64: 8B77BD1B042BB963  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 16:26:36]
909*2^1225268-1 is not prime.  Res64: D5AF7BD5C2451775  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 16:29:05]
945*2^1225269-1 is not prime.  Res64: 4B8D8453B2E0A258  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 16:31:16]
671*2^1225270-1 is not prime.  Res64: AD1F20B8546DE9EA  Time : 0.0 sec.
user=odicin
[2012-07-29 16:32:30]
619*2^1225271-1 is not prime.  Res64: B4DC534131D3537E  Time : 0.0 sec.
user=odicin
[2012-07-29 16:36:41]
1001*2^1225270-1 is not prime.  Res64: 7F95CDB3DFCCA508  Time : 0.0 sec.
user=odicin
[2012-07-29 16:37:21]
661*2^1225271-1 is not prime.  Res64: 71A2933D02606181  Time : 0.0 sec.
user=odicin
[2012-07-29 16:37:41]
663*2^1225271-1 is not prime.  Res64: 56404AE4ADEFB68D  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 16:38:08]
873*2^1225270-1 is not prime.  Res64: AF1D2FC14BFC0E0A  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 16:38:09]
941*2^1225270-1 is not prime.  Res64: B1C9133410BABCCE  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 16:40:48]
837*2^1225269-1 is not prime.  Res64: A83CA3AA4017227E  Time : 0.0 sec.
user=odicin
[2012-07-29 16:41:18]
717*2^1225272-1 is not prime.  Res64: 488A5C7DF8CCC05C  Time : 0.0 sec.
user=gd_barnes
[2012-07-29 16:44:11]
665*2^1225270-1 is not prime.  Res64: 5260736F29BA157E  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 16:46:55]
669*2^1225272-1 is not prime.  Res64: ECB497D08002702C  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 16:47:08]
669*2^1225271-1 is not prime.  Res64: 5DF1D28D9074E6A8  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 16:47:09]
673*2^1225271-1 is not prime.  Res64: F256E6950F7972B2  Time : 0.0 sec.
user=odicin
[2012-07-29 16:49:57]
723*2^1225272-1 is not prime.  Res64: CA3F245C5A5007AF  Time : 0.0 sec.
user=odicin
[2012-07-29 16:50:05]
855*2^1225273-1 is not prime.  Res64: F59AE52C5BC5CF4B  Time : 0.0 sec.
user=odicin
[2012-07-29 16:50:43]
747*2^1225272-1 is not prime.  Res64: 9320D098F797C690  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 16:50:48]
987*2^1225270-1 is not prime.  Res64: C1FC8CF7EA2FD060  Time : 0.0 sec.
user=odicin
[2012-07-29 16:51:05]
803*2^1225272-1 is not prime.  Res64: 61D36A175BC42656  Time : 0.0 sec.
user=vaughan
[2012-07-29 16:53:29]
783*2^1225270-1 is not prime.  Res64: B4ADAB648CFF62F9  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 16:58:44]
825*2^1225272-1 is not prime.  Res64: C9634EF09E0690A7  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 16:58:45]
637*2^1225273-1 is not prime.  Res64: EC0909EEF7990EEC  Time : 0.0 sec.
user=odicin
[2012-07-29 16:58:48]
797*2^1225274-1 is not prime.  Res64: FB0DB3B16249F625  Time : 0.0 sec.
user=odicin
[2012-07-29 17:03:20]
677*2^1225274-1 is not prime.  Res64: 6DBD9CA22B5F7F71  Time : 0.0 sec.
user=odicin
[2012-07-29 17:04:05]
995*2^1225274-1 is not prime.  Res64: 18A0848416DC1F87  Time : 0.0 sec.
user=odicin
[2012-07-29 17:04:21]
685*2^1225275-1 is not prime.  Res64: 54C4DB4AF173728A  Time : 0.0 sec.
user=odicin
[2012-07-29 17:07:39]
677*2^1225276-1 is not prime.  Res64: 5775486F2CA7BEB0  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 17:07:47]
861*2^1225273-1 is not prime.  Res64: 2214CF4BBC8EF425  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 17:07:50]
951*2^1225273-1 is not prime.  Res64: 125D3384E5F20111  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 17:11:35]
807*2^1225273-1 is not prime.  Res64: E4C8073CBFE61201  Time : 0.0 sec.
user=odicin
[2012-07-29 17:16:35]
993*2^1225276-1 is not prime.  Res64: 113D1439CD21BBD1  Time : 0.0 sec.
user=odicin
[2012-07-29 17:16:46]
843*2^1225276-1 is not prime.  Res64: 6488DB1D3CFE9788  Time : 0.0 sec.
user=odicin
[2012-07-29 17:17:24]
903*2^1225276-1 is not prime.  Res64: 91581CF2A93E1A80  Time : 0.0 sec.
user=odicin
[2012-07-29 17:17:46]
989*2^1225276-1 is not prime.  Res64: 3F05EC2C622BB891  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 17:19:23]
961*2^1225275-1 is not prime.  Res64: 533DCFC1AB222113  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 17:19:24]
603*2^1225276-1 is not prime.  Res64: 5FD4F2531DCAFFB3  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 17:21:34]
651*2^1225275-1 is not prime.  Res64: CE439CFC9141ECF2  Time : 0.0 sec.
user=odicin
[2012-07-29 17:25:21]
859*2^1225277-1 is not prime.  Res64: 06BA90A9E87E104A  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 17:28:33]
607*2^1225277-1 is not prime.  Res64: 072BC8CBE7D67706  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 17:28:33]
651*2^1225277-1 is not prime.  Res64: 86DA612C0F912F2E  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 17:28:34]
741*2^1225277-1 is not prime.  Res64: 52311272FCEAA26F  Time : 0.0 sec.
user=odicin
[2012-07-29 17:30:10]
885*2^1225277-1 is not prime.  Res64: A5EBC6D036F469B4  Time : 0.0 sec.
user=odicin
[2012-07-29 17:30:46]
967*2^1225277-1 is not prime.  Res64: 04EE559E723E04A9  Time : 0.0 sec.
user=vaughan
[2012-07-29 17:30:59]
859*2^1225275-1 is not prime.  Res64: A0EA194737BCDE99  Time : 0.0 sec.
user=odicin
[2012-07-29 17:31:07]
985*2^1225277-1 is not prime.  Res64: 67B23667C964D4FE  Time : 0.0 sec.
user=odicin
[2012-07-29 17:34:11]
891*2^1225278-1 is not prime.  Res64: FA6EA5979FE1CDA3  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 17:40:03]
677*2^1225278-1 is not prime.  Res64: B19443B75A27DA24  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 17:40:03]
711*2^1225278-1 is not prime.  Res64: A5B97A90950076BA  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 17:42:19]
655*2^1225277-1 is not prime.  Res64: BB316C7E62F76018  Time : 0.0 sec.
user=odicin
[2012-07-29 17:43:02]
605*2^1225280-1 is not prime.  Res64: 9312EF3DB7489E0F  Time : 0.0 sec.
user=odicin
[2012-07-29 17:43:31]
685*2^1225279-1 is not prime.  Res64: A983DFBCE7AB1658  Time : 0.0 sec.
user=odicin
[2012-07-29 17:44:06]
769*2^1225279-1 is not prime.  Res64: 7AE6F46EDA9B4E61  Time : 0.0 sec.
user=odicin
[2012-07-29 17:44:30]
895*2^1225279-1 is not prime.  Res64: D00BA23EA0DDE788  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 17:49:11]
601*2^1225279-1 is not prime.  Res64: D5316FD98E257C10  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 17:49:11]
681*2^1225279-1 is not prime.  Res64: 3B0A6FDDEBB80661  Time : 0.0 sec.
user=odicin
[2012-07-29 17:51:51]
795*2^1225280-1 is not prime.  Res64: 65C1BB554C42D50C  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 17:52:27]
713*2^1225278-1 is not prime.  Res64: 39133D6EEC32A61F  Time : 0.0 sec.
user=odicin
[2012-07-29 17:56:49]
819*2^1225280-1 is not prime.  Res64: DCB2073BAE05A735  Time : 0.0 sec.
user=odicin
[2012-07-29 17:57:23]
833*2^1225280-1 is not prime.  Res64: 46FEBC74C81DAED0  Time : 0.0 sec.
user=odicin
[2012-07-29 17:57:56]
681*2^1225281-1 is not prime.  Res64: ED9B1D53ACCBCE65  Time : 0.0 sec.
user=odicin
[2012-07-29 18:00:41]
781*2^1225281-1 is not prime.  Res64: 083A5B92F81A6D19  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 18:00:42]
677*2^1225280-1 is not prime.  Res64: CDA3114C7B69CDA3  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 18:00:43]
713*2^1225280-1 is not prime.  Res64: EA24C918711026FA  Time : 0.0 sec.
user=vaughan
[2012-07-29 18:08:28]
873*2^1225279-1 is not prime.  Res64: 715DE7D3085EF743  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 18:09:15]
907*2^1225281-1 is not prime.  Res64: 3424037CD8792673  Time : 0.0 sec.
user=odicin
[2012-07-29 18:09:29]
735*2^1225282-1 is not prime.  Res64: 5C9D6DA711F9B273  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 18:09:49]
685*2^1225281-1 is not prime.  Res64: 670F880C89912266  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 18:09:50]
777*2^1225281-1 is not prime.  Res64: 72163A8E31041D82  Time : 0.0 sec.
user=odicin
[2012-07-29 18:10:10]
975*2^1225281-1 is not prime.  Res64: 7C310B40B6C16C43  Time : 0.0 sec.
user=odicin
[2012-07-29 18:10:44]
987*2^1225281-1 is not prime.  Res64: 553168EF4588E4AD  Time : 0.0 sec.
user=odicin
[2012-07-29 18:11:18]
675*2^1225282-1 is not prime.  Res64: 32146E27EAA43C03  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 18:13:03]
743*2^1225280-1 is not prime.  Res64: E81184B4304169BD  Time : 0.0 sec.
user=odicin
[2012-07-29 18:18:24]
791*2^1225282-1 is not prime.  Res64: FDCDFF9DDF3478F8  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 18:21:23]
681*2^1225282-1 is not prime.  Res64: 33D8130696BEA943  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 18:21:24]
705*2^1225282-1 is not prime.  Res64: 397C51CA5CEADED3  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 18:23:08]
807*2^1225281-1 is not prime.  Res64: 98C3A5468258931F  Time : 0.0 sec.
user=odicin
[2012-07-29 18:23:27]
987*2^1225282-1 is not prime.  Res64: A543E15FFE0E9A5E  Time : 0.0 sec.
user=odicin
[2012-07-29 18:24:09]
995*2^1225282-1 is not prime.  Res64: 503A80128DC4C8C4  Time : 0.0 sec.
user=odicin
[2012-07-29 18:24:38]
643*2^1225283-1 is not prime.  Res64: FD348B6A3D99CF6F  Time : 0.0 sec.
user=odicin
[2012-07-29 18:27:14]
679*2^1225283-1 is not prime.  Res64: C08C94ABF6F06BC3  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 18:30:28]
891*2^1225282-1 is not prime.  Res64: B354C62D551DFBB3  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 18:30:29]
951*2^1225282-1 is not prime.  Res64: C2F198012CCD5BD1  Time : 0.0 sec.
user=odicin
[2012-07-29 18:36:09]
759*2^1225284-1 is not prime.  Res64: 757CF98316309F7F  Time : 0.0 sec.
user=odicin
[2012-07-29 18:36:50]
689*2^1225284-1 is not prime.  Res64: 18CDDA10886E0BC8  Time : 0.0 sec.
user=odicin
[2012-07-29 18:37:30]
707*2^1225284-1 is not prime.  Res64: EE8457154A979F1F  Time : 0.0 sec.
user=odicin
[2012-07-29 18:37:56]
737*2^1225284-1 is not prime.  Res64: 3A1FA4ABD0B16750  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 18:42:08]
825*2^1225283-1 is not prime.  Res64: 6CFBE2B12C341E26  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 18:42:08]
615*2^1225284-1 is not prime.  Res64: C5392AEB55E4DD5D  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 18:43:51]
663*2^1225283-1 is not prime.  Res64: DFE62065D013C060  Time : 0.0 sec.
user=odicin
[2012-07-29 18:44:58]
625*2^1225285-1 is not prime.  Res64: 19740CE9AA036142  Time : 0.0 sec.
user=vaughan
[2012-07-29 18:45:58]
765*2^1225282-1 is not prime.  Res64: 48290C3D80C9DF31  Time : 0.0 sec.
user=odicin
[2012-07-29 18:50:05]
691*2^1225285-1 is not prime.  Res64: 586341C68D31F763  Time : 0.0 sec.
user=odicin
[2012-07-29 18:50:51]
717*2^1225285-1 is not prime.  Res64: 7AF6F631999DFA1C  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 18:51:11]
843*2^1225284-1 is not prime.  Res64: E3BF42E327E8C0B4  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 18:51:11]
993*2^1225284-1 is not prime.  Res64: 18DC54278A474572  Time : 0.0 sec.
user=odicin
[2012-07-29 18:51:19]
825*2^1225285-1 is not prime.  Res64: 13E5BB0B292D00A1  Time : 0.0 sec.
user=odicin
[2012-07-29 18:53:49]
747*2^1225286-1 is not prime.  Res64: 575216C9B8D2FFDF  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 18:53:53]
663*2^1225284-1 is not prime.  Res64: 34ECAD1D723EA3E1  Time : 0.0 sec.
user=odicin
[2012-07-29 19:02:38]
755*2^1225288-1 is not prime.  Res64: 99F14A6266988CDA  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 19:02:44]
861*2^1225285-1 is not prime.  Res64: A6C46522A33FD697  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 19:02:46]
925*2^1225285-1 is not prime.  Res64: 2C648B6059C4B44D  Time : 0.0 sec.
user=odicin
[2012-07-29 19:03:28]
923*2^1225286-1 is not prime.  Res64: F20DA5FC6B78FD7C  Time : 0.0 sec.
user=odicin
[2012-07-29 19:04:13]
1001*2^1225286-1 is not prime.  Res64: 1F3D8F19B12E2713  Time : 0.0 sec.
user=odicin
[2012-07-29 19:04:46]
963*2^1225287-1 is not prime.  Res64: 8112503B919A62E5  Time : 0.0 sec.
user=odicin
[2012-07-29 19:11:29]
869*2^1225288-1 is not prime.  Res64: 1D5920074FC87B1A  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 19:11:46]
649*2^1225287-1 is not prime.  Res64: 867971CFEB1EE182  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 19:11:49]
805*2^1225287-1 is not prime.  Res64: 8ECFA742B2F054F3  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 19:14:38]
641*2^1225286-1 is not prime.  Res64: 402C17146A12DD5A  Time : 0.0 sec.
user=odicin
[2012-07-29 19:16:50]
711*2^1225289-1 is not prime.  Res64: B5E052A2F618C83F  Time : 0.0 sec.
user=odicin
[2012-07-29 19:17:38]
829*2^1225289-1 is not prime.  Res64: 6487804954F7FEFF  Time : 0.0 sec.
user=odicin
[2012-07-29 19:18:13]
847*2^1225289-1 is not prime.  Res64: 4224E45B22211B89  Time : 0.0 sec.
user=odicin
[2012-07-29 19:20:16]
693*2^1225291-1 is not prime.  Res64: 003168A4F3452CDE  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 19:22:16]
851*2^1225290-1 is not prime.  Res64: 1F93724E7B659DE6  Time : 0.0 sec.
user=vaughan
[2012-07-29 19:23:26]
825*2^1225286-1 is not prime.  Res64: 83AD18407DA22530  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 19:23:26]
905*2^1225288-1 is not prime.  Res64: 6544D834D3285508  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 19:23:27]
923*2^1225288-1 is not prime.  Res64: BB0F953D9B65376D  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 19:24:35]
645*2^1225288-1 is not prime.  Res64: 843FCC8B160B8DF3  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 19:24:50]
651*2^1225291-1 is not prime.  Res64: BB5E6A3EC5F91A0A  Time : 0.0 sec.
user=sm5ymt
[2012-07-29 19:32:08]
699*2^1225292-1 is not prime.  Res64: C2EF48B33CC924FC  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 19:32:52]
703*2^1225291-1 is not prime.  Res64: C7504F771C0022E0  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 19:32:53]
793*2^1225291-1 is not prime.  Res64: E54F96378A2B2D04  Time : 0.0 sec.
user=gd_barnes
[2012-07-29 19:36:39]
725*2^1225290-1 is not prime.  Res64: D050D792429DCB5D  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 19:45:25]
827*2^1225292-1 is not prime.  Res64: 287B2FA91AD6F3C6  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 19:45:25]
875*2^1225292-1 is not prime.  Res64: E6741951D2BC365B  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 19:45:27]
969*2^1225291-1 is not prime.  Res64: 2E4DFB012F4CDDD7  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 19:54:14]
935*2^1225292-1 is not prime.  Res64: 9CEADEC653C473A0  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 19:54:14]
987*2^1225292-1 is not prime.  Res64: 76B53D37C313E51B  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 19:55:15]
899*2^1225292-1 is not prime.  Res64: 5D4D632FC2D2F33B  Time : 0.0 sec.
user=vaughan
[2012-07-29 20:01:24]
755*2^1225292-1 is not prime.  Res64: 9465C5D49499E699  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 20:06:53]
759*2^1225293-1 is not prime.  Res64: 6C2612715570CBDF  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 20:06:56]
999*2^1225293-1 is not prime.  Res64: 68F66A92C6F800E0  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 20:15:49]
623*2^1225294-1 is not prime.  Res64: 600915FBB2435198  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 20:15:50]
675*2^1225294-1 is not prime.  Res64: 1BD951359F7AB18E  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 20:16:10]
617*2^1225294-1 is not prime.  Res64: 158F6DC718539A80  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 20:25:59]
815*2^1225294-1 is not prime.  Res64: A0FC98289741606E  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 20:28:42]
945*2^1225294-1 is not prime.  Res64: DC5F04F6C9F38E5E  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 20:28:42]
1001*2^1225294-1 is not prime.  Res64: 3F17385C64754939  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 20:37:27]
651*2^1225295-1 is not prime.  Res64: 0EBB3EA4285344A8  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 20:37:27]
715*2^1225295-1 is not prime.  Res64: E586083C99409A76  Time : 0.0 sec.
user=vaughan
[2012-07-29 20:39:12]
885*2^1225294-1 is not prime.  Res64: D8847A4B6B0D34A0  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 20:46:54]
825*2^1225295-1 is not prime.  Res64: B443AD305E58E730  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 20:50:02]
921*2^1225295-1 is not prime.  Res64: A5DDD8F04C7F047B  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 20:50:02]
979*2^1225295-1 is not prime.  Res64: 6955FBB46986ECAF  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 20:56:40]
843*2^1225295-1 is not prime.  Res64: 999A46F477D6B0DF  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 20:58:43]
639*2^1225296-1 is not prime.  Res64: EEE0A9C803779AB4  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 20:58:44]
707*2^1225296-1 is not prime.  Res64: 0CA5935B99065A37  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 21:11:20]
887*2^1225296-1 is not prime.  Res64: 5328F593717047D3  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 21:11:25]
899*2^1225296-1 is not prime.  Res64: 458CDC3FE1DF5101  Time : 0.0 sec.
user=vaughan
[2012-07-29 21:16:42]
717*2^1225296-1 is not prime.  Res64: 2538CA68E7E19C43  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 21:17:38]
789*2^1225296-1 is not prime.  Res64: 8C621085500B36A3  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 21:20:02]
615*2^1225297-1 is not prime.  Res64: 7B40D530738F3D09  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 21:20:02]
699*2^1225297-1 is not prime.  Res64: 51973240DF27FF74  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 21:27:23]
909*2^1225296-1 is not prime.  Res64: 8504DE4B49D7413D  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 21:33:28]
909*2^1225297-1 is not prime.  Res64: C08138C9BFA17076  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 21:33:28]
915*2^1225297-1 is not prime.  Res64: BBB539A535CB0017  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 21:41:31]
825*2^1225298-1 is not prime.  Res64: 1A1B8C8D073252BD  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 21:41:31]
831*2^1225298-1 is not prime.  Res64: 3A88B92AFDC6941F  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 21:48:21]
641*2^1225298-1 is not prime.  Res64: DC29C7D970AA33BE  Time : 0.0 sec.
user=vaughan
[2012-07-29 21:54:14]
633*2^1225298-1 is not prime.  Res64: 0DCA072F4770F6CF  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 21:54:51]
893*2^1225298-1 is not prime.  Res64: E4CF02136A1FDCD0  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 21:54:52]
963*2^1225298-1 is not prime.  Res64: 2898BCD8ADF43500  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 21:58:05]
887*2^1225298-1 is not prime.  Res64: 0323E604EC9F1068  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 22:02:49]
663*2^1225299-1 is not prime.  Res64: 165EB8AE5FD229F6  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 22:02:50]
769*2^1225299-1 is not prime.  Res64: D5F8C2A34C7A3DE9  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 22:16:06]
647*2^1225300-1 is not prime.  Res64: 6F76CCA8DE2C19DE  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 22:16:06]
717*2^1225300-1 is not prime.  Res64: 560F23B7F90A00B3  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 22:19:06]
789*2^1225299-1 is not prime.  Res64: DC996D627EBD2EF6  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 22:24:19]
843*2^1225300-1 is not prime.  Res64: 91D39A58BBDFEA75  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 22:24:19]
995*2^1225300-1 is not prime.  Res64: D57E5DF50B9A893C  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 22:28:55]
765*2^1225300-1 is not prime.  Res64: 4E645DEB9A8CF76A  Time : 0.0 sec.
user=vaughan
[2012-07-29 22:31:42]
903*2^1225299-1 is not prime.  Res64: 9974645DBD843F2E  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 22:37:29]
747*2^1225301-1 is not prime.  Res64: 804892C3D829FC65  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 22:37:29]
789*2^1225301-1 is not prime.  Res64: 7D7BD7D4D6F680C6  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 22:45:34]
723*2^1225302-1 is not prime.  Res64: 9B88DA5E9E4EF9E2  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 22:45:34]
755*2^1225302-1 is not prime.  Res64: AD0CFAB5477D9DC0  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 22:50:07]
837*2^1225301-1 is not prime.  Res64: 5A3002256636A1B6  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 22:58:41]
801*2^1225302-1 is not prime.  Res64: 6ED078D7F2A0D341  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 22:58:41]
833*2^1225302-1 is not prime.  Res64: 2064716C87585BEB  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 22:59:59]
765*2^1225302-1 is not prime.  Res64: 3F36DA051D230FDC  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 23:06:51]
903*2^1225302-1 is not prime.  Res64: C5C857A1EFA39AA6  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 23:06:51]
951*2^1225302-1 is not prime.  Res64: FCBDD2A3A177E66F  Time : 0.0 sec.
user=vaughan
[2012-07-29 23:09:11]
777*2^1225302-1 is not prime.  Res64: E593C95EE35ECB22  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 23:19:56]
735*2^1225303-1 is not prime.  Res64: 8C08B8223EE954A7  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 23:19:56]
783*2^1225303-1 is not prime.  Res64: 1AA1FE59B92CFC74  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 23:21:44]
709*2^1225303-1 is not prime.  Res64: 2C831451FBEB8BAC  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 23:28:07]
919*2^1225303-1 is not prime.  Res64: 946CB2A8017C0C58  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 23:28:07]
993*2^1225303-1 is not prime.  Res64: BA0489AB66893976  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 23:31:47]
789*2^1225303-1 is not prime.  Res64: 8CBB3E8A8E14D8E9  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 23:41:09]
917*2^1225304-1 is not prime.  Res64: 0505A7F8F4424FCD  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 23:41:09]
995*2^1225304-1 is not prime.  Res64: 1255BAEF77FA1E03  Time : 0.0 sec.
user=vaughan
[2012-07-29 23:46:39]
617*2^1225304-1 is not prime.  Res64: 5E1A97645FD05005  Time : 0.0 sec.
user=gd_barnes
[2012-07-29 23:47:06]
893*2^1225304-1 is not prime.  Res64: C239F7F40B2E3D82  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 23:49:19]
895*2^1225305-1 is not prime.  Res64: 19B41565F3504963  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 23:49:19]
919*2^1225305-1 is not prime.  Res64: FD84DEA3E8504716  Time : 0.0 sec.
user=mdettweiler
[2012-07-29 23:52:39]
667*2^1225305-1 is not prime.  Res64: A27BB984673C7816  Time : 0.0 sec.