user=mdettweiler
[2013-04-14 00:06:06]
777*2^1244550-1 is not prime.  Res64: 738E17F8B5D399E6  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 00:06:07]
795*2^1244550-1 is not prime.  Res64: FAAF6B41ADEAE671  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 00:16:45]
825*2^1244550-1 is not prime.  Res64: A47D267528B17A91  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 00:16:54]
873*2^1244550-1 is not prime.  Res64: 2A6F4279C479F847  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 00:23:35]
1001*2^1244550-1 is not prime.  Res64: C3049B1F1773316E  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 00:23:36]
685*2^1244551-1 is not prime.  Res64: D03F8F2FF2FC4119  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 00:34:42]
705*2^1244551-1 is not prime.  Res64: 6D46F1F759DF427D  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 00:34:43]
759*2^1244551-1 is not prime.  Res64: 7A9072C629CBB2E4  Time : 0.0 sec.
user=juhehe
[2013-04-14 00:36:34]
829*2^1244549-1 is not prime.  Res64: 90E8DEF648BA14CF  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 00:41:04]
855*2^1244551-1 is not prime.  Res64: B2D020D01295CF2E  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 00:41:04]
993*2^1244551-1 is not prime.  Res64: 0B710549D82C15F1  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 00:52:28]
999*2^1244551-1 is not prime.  Res64: FCECADA35B567696  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 00:52:28]
785*2^1244552-1 is not prime.  Res64: D63AB330FB4D8BB0  Time : 0.0 sec.
user=Mini-Geek
[2013-04-14 00:58:04]
917*2^1244552-1 is not prime.  Res64: 985296D6A2F59A63  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 00:58:30]
977*2^1244552-1 is not prime.  Res64: 18963B1EA3F868D2  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 00:58:31]
649*2^1244553-1 is not prime.  Res64: 46F89273C58B4BFC  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 01:09:55]
739*2^1244553-1 is not prime.  Res64: 4A8458335DC6F171  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 01:09:56]
805*2^1244553-1 is not prime.  Res64: 11D58C6BA54C70AC  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 01:15:57]
807*2^1244553-1 is not prime.  Res64: 63D149771E4310F6  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 01:15:57]
837*2^1244553-1 is not prime.  Res64: 809C329386620F3E  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 01:27:24]
877*2^1244553-1 is not prime.  Res64: 2F29A82B05E1DE91  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 01:27:26]
979*2^1244553-1 is not prime.  Res64: 0434B56B03F44AC4  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 01:33:22]
677*2^1244554-1 is not prime.  Res64: 5AB6E5480C0A4FB0  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 01:33:23]
687*2^1244554-1 is not prime.  Res64: 90E86A787FDE63B7  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 01:45:08]
731*2^1244554-1 is not prime.  Res64: EFCBF5379717A29F  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 01:45:08]
815*2^1244554-1 is not prime.  Res64: 280C92910118F3CB  Time : 0.0 sec.
user=juhehe
[2013-04-14 01:50:29]
657*2^1244553-1 is not prime.  Res64: A68117517ACD3F96  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 01:50:50]
827*2^1244554-1 is not prime.  Res64: 947C931841387B22  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 01:50:51]
857*2^1244554-1 is not prime.  Res64: CB64F45667C08596  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 02:02:34]
881*2^1244554-1 is not prime.  Res64: C8AD7C5A94622656  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 02:02:34]
885*2^1244554-1 is not prime.  Res64: 636030CBACFF97AB  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 02:08:18]
651*2^1244555-1 is not prime.  Res64: A0A8F3571387F49A  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 02:08:18]
675*2^1244555-1 is not prime.  Res64: 78F7DAD983EB2904  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 02:20:00]
699*2^1244555-1 is not prime.  Res64: C97DBFCC05664089  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 02:20:01]
789*2^1244555-1 is not prime.  Res64: E391AB88BE1427AB  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 02:25:45]
885*2^1244555-1 is not prime.  Res64: 9B8C57734369AC11  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 02:25:46]
963*2^1244555-1 is not prime.  Res64: A535FC73E5EF60E2  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 02:37:26]
985*2^1244555-1 is not prime.  Res64: FC7404EB1056488D  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 02:37:28]
765*2^1244556-1 is not prime.  Res64: D1305F64DC58DB14  Time : 0.0 sec.
user=juhehe
[2013-04-14 02:38:56]
861*2^1244554-1 is not prime.  Res64: 792C605EB3157CD5  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 02:43:17]
789*2^1244556-1 is not prime.  Res64: 4772A592E65361EA  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 02:43:19]
809*2^1244556-1 is not prime.  Res64: 3106B9EF055CB872  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 02:54:54]
825*2^1244556-1 is not prime.  Res64: C3A422822915BDFA  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 02:54:55]
843*2^1244556-1 is not prime.  Res64: BEB30F3332AAF545  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 03:01:27]
903*2^1244556-1 is not prime.  Res64: 90703910405724BA  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 03:01:29]
983*2^1244556-1 is not prime.  Res64: FD68EF982B99E1C6  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 03:12:21]
639*2^1244557-1 is not prime.  Res64: EA16CC7BFF8AF37E  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 03:12:22]
717*2^1244557-1 is not prime.  Res64: 2C9102932CD4B833  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 03:18:57]
727*2^1244557-1 is not prime.  Res64: 9B8B1C883DBD90AF  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 03:18:57]
741*2^1244557-1 is not prime.  Res64: A6BAC7538BE927EC  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 03:29:52]
801*2^1244557-1 is not prime.  Res64: 2D72BD7FF2A3726C  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 03:29:53]
859*2^1244557-1 is not prime.  Res64: E4B359DD13335B1C  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 03:36:23]
889*2^1244557-1 is not prime.  Res64: 6925A782A19A53B5  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 03:36:25]
961*2^1244557-1 is not prime.  Res64: 40B8AA458047B1F0  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 03:47:19]
665*2^1244558-1 is not prime.  Res64: 063AE7538CBEE2AE  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 03:47:19]
747*2^1244558-1 is not prime.  Res64: 632BF9FE57BCB7E5  Time : 0.0 sec.
user=juhehe
[2013-04-14 03:53:32]
601*2^1244557-1 is not prime.  Res64: 2B09A8BB16B0A520  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 03:53:52]
825*2^1244558-1 is not prime.  Res64: 48AFD3AE55886EA7  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 03:53:52]
885*2^1244558-1 is not prime.  Res64: 860049449EBAF6C2  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 04:04:51]
951*2^1244558-1 is not prime.  Res64: 8F8BBED948D213C0  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 04:04:52]
735*2^1244559-1 is not prime.  Res64: D1EB599E21445C58  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 04:11:28]
843*2^1244559-1 is not prime.  Res64: 1015A3321E085EDA  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 04:11:29]
873*2^1244559-1 is not prime.  Res64: 0AF4C31746834008  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 04:22:49]
931*2^1244559-1 is not prime.  Res64: 4503BDE5456E481A  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 04:22:50]
677*2^1244560-1 is not prime.  Res64: 14691D5536925602  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 04:29:13]
707*2^1244560-1 is not prime.  Res64: 265C0C79A25D0543  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 04:29:13]
765*2^1244560-1 is not prime.  Res64: 4B4F683BEEEB8094  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 04:40:18]
965*2^1244560-1 is not prime.  Res64: 615A7641A2D3B1CC  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 04:40:18]
705*2^1244561-1 is not prime.  Res64: 1DA0C94E6CE1E961  Time : 0.0 sec.
user=juhehe
[2013-04-14 04:41:46]
921*2^1244558-1 is not prime.  Res64: E132A7BC15A66F6F  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 04:46:39]
781*2^1244561-1 is not prime.  Res64: 5E72C09B23F92DB6  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 04:46:40]
861*2^1244561-1 is not prime.  Res64: 17046719D710CD8E  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 04:57:48]
885*2^1244561-1 is not prime.  Res64: 3F0D0CB79269E3DD  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 04:57:48]
951*2^1244561-1 is not prime.  Res64: 0AF36A16B59093CB  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 05:04:06]
731*2^1244562-1 is not prime.  Res64: B24EA36AA59F4787  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 05:04:07]
735*2^1244562-1 is not prime.  Res64: 548C9DFA655D695B  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 05:15:14]
887*2^1244562-1 is not prime.  Res64: 5765F4F8CE3891F6  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 05:15:15]
893*2^1244562-1 is not prime.  Res64: AC6BC7777A801F44  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 05:21:33]
903*2^1244562-1 is not prime.  Res64: 637FAAABDB8E34FC  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 05:21:34]
915*2^1244562-1 is not prime.  Res64: 469A8CC1272197B0  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 05:32:58]
941*2^1244562-1 is not prime.  Res64: C9CED76C01D0A293  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 05:32:59]
975*2^1244562-1 is not prime.  Res64: 61E09926505B092B  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 05:39:02]
691*2^1244563-1 is not prime.  Res64: 6E4BD02FBF37EE65  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 05:39:03]
751*2^1244563-1 is not prime.  Res64: 3291647C9B2BFE0E  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 05:50:24]
793*2^1244563-1 is not prime.  Res64: 6F7021C65BDF5A1B  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 05:50:25]
873*2^1244563-1 is not prime.  Res64: B4A2EF6380B724D0  Time : 0.0 sec.
user=juhehe
[2013-04-14 05:56:15]
873*2^1244562-1 is not prime.  Res64: E5060E9930DD0C82  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 05:56:29]
891*2^1244563-1 is not prime.  Res64: D433002E67A4CA17  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 05:56:30]
919*2^1244563-1 is not prime.  Res64: 2E72CE7241382C7B  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 06:07:50]
993*2^1244563-1 is not prime.  Res64: 88BAD54E51D91D2A  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 06:07:51]
677*2^1244564-1 is not prime.  Res64: 35B4531FACDC7B80  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 06:13:56]
743*2^1244564-1 is not prime.  Res64: 118C611F88A9038D  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 06:13:57]
773*2^1244564-1 is not prime.  Res64: 456FF1B8C78E8DB3  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 06:25:19]
869*2^1244564-1 is not prime.  Res64: 02D4C83681A33660  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 06:25:20]
969*2^1244564-1 is not prime.  Res64: 40EC5ADA5242D6C9  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 06:31:25]
895*2^1244565-1 is not prime.  Res64: 6F892880BACE0DDA  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 06:31:26]
951*2^1244565-1 is not prime.  Res64: D8D51C38300EC6E0  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 06:42:46]
997*2^1244565-1 is not prime.  Res64: 9AEC9C150A35AC3D  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 06:42:47]
645*2^1244566-1 is not prime.  Res64: 51E0A278087B0C2F  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 06:48:53]
705*2^1244566-1 is not prime.  Res64: 095398479A956789  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 06:48:54]
713*2^1244566-1 is not prime.  Res64: 46022D103F19BBD6  Time : 0.0 sec.
user=juhehe
[2013-04-14 06:50:59]
925*2^1244563-1 is not prime.  Res64: 23FE06AB6EDAE5AA  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 07:00:12]
741*2^1244566-1 is not prime.  Res64: 07516DD545BDF0DA  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 07:00:13]
783*2^1244566-1 is not prime.  Res64: 602EFB1CF1B05B1F  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 07:06:20]
821*2^1244566-1 is not prime.  Res64: 796EE70395F4B2BA  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 07:06:21]
857*2^1244566-1 is not prime.  Res64: 65626A951A06292C  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 07:17:40]
1001*2^1244566-1 is not prime.  Res64: 100E61B26741BEA2  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 07:17:41]
645*2^1244567-1 is not prime.  Res64: 92D20D630C4453F6  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 07:23:52]
693*2^1244567-1 is not prime.  Res64: 56C5635FDD6217F2  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 07:23:53]
813*2^1244567-1 is not prime.  Res64: 56B1F2F7A787984A  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 07:35:11]
859*2^1244567-1 is not prime.  Res64: 8D88B25958C7B70F  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 07:35:12]
861*2^1244567-1 is not prime.  Res64: 3456C17051869E7C  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 07:41:44]
939*2^1244567-1 is not prime.  Res64: 1CF9A525F748540B  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 07:41:44]
973*2^1244567-1 is not prime.  Res64: DA419B46F4492F8E  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 07:53:01]
985*2^1244567-1 is not prime.  Res64: 841C9C32FCE1DA3B  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 07:53:01]
669*2^1244568-1 is not prime.  Res64: C784253B7DD62A28  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 07:59:31]
723*2^1244568-1 is not prime.  Res64: B0EE57784AD84C3D  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 07:59:32]
795*2^1244568-1 is not prime.  Res64: F5F9A33059F107E7  Time : 0.0 sec.
user=juhehe
[2013-04-14 08:05:30]
945*2^1244566-1 is not prime.  Res64: 889D1AE9FDE21AE4  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 08:10:48]
999*2^1244568-1 is not prime.  Res64: 13ADD3840AE83D55  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 08:10:49]
721*2^1244569-1 is not prime.  Res64: A8A9933E939FA8D3  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 08:17:25]
847*2^1244569-1 is not prime.  Res64: ED2C9D025E421963  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 08:17:25]
855*2^1244569-1 is not prime.  Res64: EBB31832874E2964  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 08:28:40]
861*2^1244569-1 is not prime.  Res64: A34CDCE71D97952F  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 08:28:40]
877*2^1244569-1 is not prime.  Res64: C4791DDB786062AD  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 08:35:12]
955*2^1244569-1 is not prime.  Res64: D3645287A99158B0  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 08:35:12]
979*2^1244569-1 is not prime.  Res64: 4B40D9A786A750DC  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 08:46:28]
603*2^1244570-1 is not prime.  Res64: 8ED8A681A028FF04  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 08:46:28]
627*2^1244570-1 is not prime.  Res64: DF0F4F071B1DDD72  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 08:52:58]
827*2^1244570-1 is not prime.  Res64: 0CDAE36D6DE9DDCB  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 08:52:59]
915*2^1244570-1 is not prime.  Res64: 3D493FFF4CC48431  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 09:04:15]
917*2^1244570-1 is not prime.  Res64: 4A3AC4370CF792BF  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 09:04:16]
927*2^1244570-1 is not prime.  Res64: BDA264C517CB0FE8  Time : 0.0 sec.
user=juhehe
[2013-04-14 09:06:19]
993*2^1244568-1 is not prime.  Res64: B2732FBA83747524  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 09:10:45]
945*2^1244570-1 is not prime.  Res64: EC00A32E6AF9DD72  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 09:10:45]
953*2^1244570-1 is not prime.  Res64: 06F6B94210B59463  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 09:22:09]
995*2^1244570-1 is not prime.  Res64: DC50642BE8829476  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 09:22:09]
685*2^1244571-1 is not prime.  Res64: E7AD0547D2064E40  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 09:28:33]
781*2^1244571-1 is not prime.  Res64: B344276285C0A28E  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 09:28:33]
615*2^1244572-1 is not prime.  Res64: 5ED69FDBAA23091F  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 09:39:59]
635*2^1244572-1 is not prime.  Res64: 7BB25F6E17CF3AE1  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 09:39:59]
777*2^1244572-1 is not prime.  Res64: 6F0AD3226B9094A2  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 09:46:21]
903*2^1244572-1 is not prime.  Res64: 611B26EF84967C7D  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 09:46:21]
685*2^1244573-1 is not prime.  Res64: 53EBE795D77FBB5E  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 09:57:48]
715*2^1244573-1 is not prime.  Res64: E9E988F62CC288FF  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 09:57:48]
727*2^1244573-1 is not prime.  Res64: B19C024B7ED8CEE2  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 10:04:08]
771*2^1244573-1 is not prime.  Res64: 05F172B57A4E2823  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 10:04:09]
867*2^1244573-1 is not prime.  Res64: DF9FF8D9E72D5897  Time : 0.0 sec.
user=juhehe
[2013-04-14 10:08:00]
739*2^1244571-1 is not prime.  Res64: 737A589E3CA40CF4  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 10:15:36]
945*2^1244573-1 is not prime.  Res64: BA4A62BE51265CB2  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 10:15:36]
641*2^1244574-1 is not prime.  Res64: DED361785133E4C6  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 10:21:57]
663*2^1244574-1 is not prime.  Res64: 8450AE9619285FD5  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 10:21:57]
683*2^1244574-1 is not prime.  Res64: 3765B0B37CC6EE4C  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 10:33:27]
797*2^1244574-1 is not prime.  Res64: CEC3F9487AD8FDF2  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 10:33:27]
861*2^1244574-1 is not prime.  Res64: 6D0544F51A54E91A  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 10:39:44]
885*2^1244574-1 is not prime.  Res64: 66F1B28E5B40E1D6  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 10:39:44]
965*2^1244574-1 is not prime.  Res64: 0C90D6FA0322482D  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 10:51:10]
975*2^1244574-1 is not prime.  Res64: C5083574D1865F7F  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 10:51:10]
645*2^1244575-1 is not prime.  Res64: 9E2BDC386F3DF3FB  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 10:57:21]
679*2^1244575-1 is not prime.  Res64: 3B2863A7EC543E74  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 10:57:22]
763*2^1244575-1 is not prime.  Res64: CD9144CFB9F5A9CC  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 11:08:36]
793*2^1244575-1 is not prime.  Res64: 324AB3184DA35349  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 11:08:37]
871*2^1244575-1 is not prime.  Res64: 45E52EF56EF814BC  Time : 0.0 sec.
user=juhehe
[2013-04-14 11:09:08]
767*2^1244574-1 is not prime.  Res64: 15B9419CDA8936ED  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 11:14:47]
885*2^1244575-1 is not prime.  Res64: 788FFB4481CF65D6  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 11:14:48]
759*2^1244576-1 is not prime.  Res64: CB9B324297EAB237  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 11:26:02]
903*2^1244576-1 is not prime.  Res64: 624E68CBDFCBCDF8  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 11:26:03]
927*2^1244576-1 is not prime.  Res64: AF0561AAFAC2D595  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 11:32:12]
983*2^1244576-1 is not prime.  Res64: 0D5124E41AC00B3D  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 11:32:13]
607*2^1244577-1 is not prime.  Res64: 0FFE6A906B565DBD  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 11:43:39]
625*2^1244577-1 is not prime.  Res64: 9753E9E5863EDCEE  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 11:43:39]
711*2^1244577-1 is not prime.  Res64: 54F247EE3511D091  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 11:49:38]
805*2^1244577-1 is not prime.  Res64: 976259CB52E85A72  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 11:49:38]
819*2^1244577-1 is not prime.  Res64: 80483FCBA7F91EF1  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 12:01:05]
847*2^1244577-1 is not prime.  Res64: 0471F8BC65AED7AE  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 12:01:06]
889*2^1244577-1 is not prime.  Res64: 7A5C25902EEC0A6B  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 12:07:04]
991*2^1244577-1 is not prime.  Res64: 39821EA3E7785D29  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 12:07:05]
713*2^1244578-1 is not prime.  Res64: FF320DF837EDDA4A  Time : 0.0 sec.
user=juhehe
[2013-04-14 12:10:42]
875*2^1244576-1 is not prime.  Res64: 57736E49C703B363  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 12:18:46]
723*2^1244578-1 is not prime.  Res64: 633DAEEE818A2E43  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 12:18:47]
833*2^1244578-1 is not prime.  Res64: A942D7E611550A83  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 12:24:35]
855*2^1244578-1 is not prime.  Res64: F9BFE8472651B8FB  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 12:24:35]
951*2^1244578-1 is not prime.  Res64: B1EA902E175ADED9  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 12:36:14]
693*2^1244579-1 is not prime.  Res64: 857DBF9D7C95E4AB  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 12:36:15]
703*2^1244579-1 is not prime.  Res64: CE6BA77C91A45EB8  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 12:42:01]
895*2^1244579-1 is not prime.  Res64: DED0A346A15747D2  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 12:42:01]
931*2^1244579-1 is not prime.  Res64: 6F6609479A970344  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 12:53:40]
943*2^1244579-1 is not prime.  Res64: 55FFFA33E2669AE4  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 12:53:40]
999*2^1244579-1 is not prime.  Res64: D20D882F032022F2  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 12:59:27]
707*2^1244580-1 is not prime.  Res64: 8F09A3CBE5057A6E  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 12:59:27]
765*2^1244580-1 is not prime.  Res64: 52C95F3F551113C4  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 13:11:06]
873*2^1244580-1 is not prime.  Res64: 65874558A816F5CC  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 13:11:07]
987*2^1244580-1 is not prime.  Res64: 785A68EB56D537A3  Time : 0.0 sec.
user=juhehe
[2013-04-14 13:12:34]
685*2^1244579-1 is not prime.  Res64: 7DAA739B6FFE3349  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 13:16:53]
687*2^1244581-1 is not prime.  Res64: 4FDBFA3A10728F45  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 13:16:54]
825*2^1244581-1 is not prime.  Res64: 82F801DB92EDBC1A  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 13:28:34]
895*2^1244581-1 is not prime.  Res64: 6D855F72911CEDD7  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 13:28:34]
931*2^1244581-1 is not prime.  Res64: 8B968FACDD1618FC  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 13:34:29]
939*2^1244581-1 is not prime.  Res64: 530A5E7B1A14769C  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 13:34:29]
665*2^1244582-1 is not prime.  Res64: ED4D2FBEDD99A6DA  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 13:46:00]
693*2^1244582-1 is not prime.  Res64: B1A543D64B20B2BE  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 13:46:01]
711*2^1244582-1 is not prime.  Res64: AD7FBD428CBDD5EF  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 13:51:58]
753*2^1244582-1 is not prime.  Res64: 7FCD1A5E4E14D9EC  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 13:51:58]
831*2^1244582-1 is not prime.  Res64: 4DCDA640EB6207CC  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 14:03:32]
867*2^1244582-1 is not prime.  Res64: 628E4B9E09B71A5F  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 14:03:32]
873*2^1244582-1 is not prime.  Res64: F45B4ED390053D43  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 14:09:27]
917*2^1244582-1 is not prime.  Res64: 2BAEA48D4BD3F806  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 14:09:27]
675*2^1244583-1 is not prime.  Res64: 1E375051C259B25F  Time : 0.0 sec.
user=juhehe
[2013-04-14 14:13:30]
861*2^1244581-1 is not prime.  Res64: AF42EB215E302ED1  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 14:21:11]
679*2^1244583-1 is not prime.  Res64: 7F923A4ABFAB4F80  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 14:21:11]
823*2^1244583-1 is not prime.  Res64: 6DD96CF107911784  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 14:26:58]
885*2^1244583-1 is not prime.  Res64: 5344061F466A00DF  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 14:26:58]
951*2^1244583-1 is not prime.  Res64: 6CDA71203966DE6B  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 14:38:41]
665*2^1244584-1 is not prime.  Res64: 442D5E22F9758457  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 14:38:41]
803*2^1244584-1 is not prime.  Res64: AF7F48A6C02C1E60  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 14:44:27]
819*2^1244584-1 is not prime.  Res64: AEA089CF9969A48B  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 14:44:28]
827*2^1244584-1 is not prime.  Res64: 41C64BD970ECD8D7  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 14:56:11]
863*2^1244584-1 is not prime.  Res64: 7CFF50F2C44F85C8  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 14:56:12]
939*2^1244584-1 is not prime.  Res64: E8E64ABAD974E959  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 15:02:03]
969*2^1244584-1 is not prime.  Res64: 74B3844077456B9A  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 15:02:04]
995*2^1244584-1 is not prime.  Res64: 9669B73CCA5F39EF  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 15:14:02]
645*2^1244585-1 is not prime.  Res64: B88C9E8A168611FF  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 15:14:02]
685*2^1244585-1 is not prime.  Res64: F4858E0D8E4D4E72  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 15:19:50]
799*2^1244585-1 is not prime.  Res64: 2E89376A819B8EDB  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 15:19:50]
855*2^1244585-1 is not prime.  Res64: B1D303B7D9DB1A1E  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 15:31:33]
925*2^1244585-1 is not prime.  Res64: 8E3FD2678E2E1F85  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 15:31:34]
937*2^1244585-1 is not prime.  Res64: 016A88C42759D78A  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 15:37:20]
987*2^1244585-1 is not prime.  Res64: B548DC241EDA90F4  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 15:37:20]
635*2^1244586-1 is not prime.  Res64: 85E1A3D402C735D7  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 15:49:03]
717*2^1244586-1 is not prime.  Res64: D2E6FFBEF82436F0  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 15:49:04]
815*2^1244586-1 is not prime.  Res64: 5C9F07EE949D0986  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 15:54:48]
905*2^1244586-1 is not prime.  Res64: BE6DDFB8099B04E9  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 15:54:49]
945*2^1244586-1 is not prime.  Res64: 71A39C67CC1363F2  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 16:06:40]
625*2^1244587-1 is not prime.  Res64: F5075639A87E1C8F  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 16:06:41]
741*2^1244587-1 is not prime.  Res64: 3CE29D16012AB029  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 16:12:29]
805*2^1244587-1 is not prime.  Res64: 7412BCA4B6C9A4C3  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 16:12:29]
813*2^1244587-1 is not prime.  Res64: A73B830FCC2F53BA  Time : 0.0 sec.
user=juhehe
[2013-04-14 16:15:31]
861*2^1244585-1 is not prime.  Res64: 618DFFAC2508E643  Time : 0.0 sec.
user=juhehe
[2013-04-14 16:16:26]
867*2^1244585-1 is not prime.  Res64: 587F338F5B995F51  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 16:24:25]
975*2^1244587-1 is not prime.  Res64: 71DF25776FC6532A  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 16:24:25]
665*2^1244588-1 is not prime.  Res64: 649F0CC606A45FE2  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 16:30:06]
669*2^1244588-1 is not prime.  Res64: 9E510FAFF9E6722F  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 16:30:07]
725*2^1244588-1 is not prime.  Res64: 1F5CC9214DB80537  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 16:42:06]
773*2^1244588-1 is not prime.  Res64: 39A7B22E60734A06  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 16:42:06]
879*2^1244588-1 is not prime.  Res64: 6660F96BC207D488  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 16:47:52]
897*2^1244588-1 is not prime.  Res64: BFA57B6D006F73AC  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 16:47:53]
995*2^1244588-1 is not prime.  Res64: 00A1B7AECD0043A6  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 16:59:52]
615*2^1244589-1 is not prime.  Res64: D927A2B3E0648992  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 16:59:52]
621*2^1244589-1 is not prime.  Res64: 50589BCA8A89AEDD  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 17:05:36]
649*2^1244589-1 is not prime.  Res64: 8A904E8039159036  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 17:05:37]
679*2^1244589-1 is not prime.  Res64: 1BB403C63B8F7EEA  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 17:17:52]
829*2^1244589-1 is not prime.  Res64: 36F21F49D4733506  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 17:17:52]
831*2^1244589-1 is not prime.  Res64: A486FF2C76463F6C  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 17:23:33]
877*2^1244589-1 is not prime.  Res64: 968711F86DFA3AE4  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 17:23:33]
979*2^1244589-1 is not prime.  Res64: B4290E609518038D  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 17:35:33]
1001*2^1244590-1 is not prime.  Res64: 17D7B938E0A95892  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 17:35:33]
621*2^1244591-1 is not prime.  Res64: E6BD344B39AD2FC8  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 17:41:13]
643*2^1244591-1 is not prime.  Res64: A552B16596E738D3  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 17:41:14]
823*2^1244591-1 is not prime.  Res64: E935B0A4B76453FB  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 17:53:12]
825*2^1244591-1 is not prime.  Res64: A749AA8B3895B500  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 17:53:12]
829*2^1244591-1 is not prime.  Res64: A1DE7341009AB850  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 17:58:53]
865*2^1244591-1 is not prime.  Res64: B34BB4FB52B2B444  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 17:58:53]
871*2^1244591-1 is not prime.  Res64: 63892BE9391A11A1  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 18:10:51]
635*2^1244592-1 is not prime.  Res64: F333433328818BDB  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 18:10:52]
669*2^1244592-1 is not prime.  Res64: F3580236F3CF5C36  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 18:16:33]
713*2^1244592-1 is not prime.  Res64: 0F52652DEDDD22DB  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 18:16:33]
725*2^1244592-1 is not prime.  Res64: 80839AFC9CE07F52  Time : 0.0 sec.
user=juhehe
[2013-04-14 18:18:21]
731*2^1244590-1 is not prime.  Res64: 09E13931F1A56125  Time : 0.0 sec.
user=juhehe
[2013-04-14 18:25:27]
971*2^1244590-1 is not prime.  Res64: 5091529DFCB0C9AB  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 18:28:34]
975*2^1244592-1 is not prime.  Res64: 0590861082DAA5C8  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 18:28:34]
705*2^1244593-1 is not prime.  Res64: DD4941B887FE0AED  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 18:34:15]
715*2^1244593-1 is not prime.  Res64: 9668660043ABA10B  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 18:34:15]
721*2^1244593-1 is not prime.  Res64: 66379A52525DE811  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 18:46:13]
745*2^1244593-1 is not prime.  Res64: E5325508B87BA4F6  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 18:46:13]
847*2^1244593-1 is not prime.  Res64: 2D29294497A31A00  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 18:51:56]
895*2^1244593-1 is not prime.  Res64: 7E3A21B7DC6BEF4E  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 18:51:56]
967*2^1244593-1 is not prime.  Res64: C947E22293AB52EF  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 19:03:53]
985*2^1244593-1 is not prime.  Res64: 3607A6A4289901DF  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 19:03:53]
633*2^1244594-1 is not prime.  Res64: C48B45456532A9B5  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 19:09:36]
701*2^1244594-1 is not prime.  Res64: B9E9AA7D4B9FBBB8  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 19:09:37]
705*2^1244594-1 is not prime.  Res64: FB9BB3B0067FCBBA  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 19:21:35]
743*2^1244594-1 is not prime.  Res64: 434E3F0801B8431B  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 19:21:35]
791*2^1244594-1 is not prime.  Res64: F78F4DD975C5B41F  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 19:27:22]
873*2^1244594-1 is not prime.  Res64: 258065300B02FA42  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 19:27:22]
927*2^1244594-1 is not prime.  Res64: 7F8C743A0660D88F  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 19:39:19]
709*2^1244595-1 is not prime.  Res64: 3925119BBFAE55DB  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 19:39:20]
793*2^1244595-1 is not prime.  Res64: AD6B8371D2F8DA9F  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 19:45:11]
985*2^1244595-1 is not prime.  Res64: B9200E6A324F9C33  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 19:45:12]
707*2^1244596-1 is not prime.  Res64: 544AD974D8ADD955  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 19:57:01]
719*2^1244596-1 is not prime.  Res64: 0886E99BF697017D  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 19:57:01]
813*2^1244596-1 is not prime.  Res64: 1106AB530BFFEE8B  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 20:02:51]
843*2^1244596-1 is not prime.  Res64: 9D2055213F682F34  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 20:02:52]
933*2^1244596-1 is not prime.  Res64: 0C4FF4A30001C1D1  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 20:14:53]
993*2^1244596-1 is not prime.  Res64: 19DDF07A83D32E83  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 20:14:54]
607*2^1244597-1 is not prime.  Res64: 974422D38401897E  Time : 0.0 sec.
user=juhehe
[2013-04-14 20:20:21]
685*2^1244595-1 is not prime.  Res64: 9855E220F5E5B5AA  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 20:20:54]
729*2^1244597-1 is not prime.  Res64: 487066664D5173F7  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 20:20:54]
795*2^1244597-1 is not prime.  Res64: 853C3EFBFF02C09C  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 20:32:59]
831*2^1244597-1 is not prime.  Res64: 69977D4B08436A35  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 20:32:59]
937*2^1244597-1 is not prime.  Res64: 1D8FED0B65F7DB92  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 20:39:01]
627*2^1244598-1 is not prime.  Res64: 77F8F90F56B960CB  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 20:39:01]
797*2^1244598-1 is not prime.  Res64: FB93B216FCD78647  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 20:50:51]
679*2^1244599-1 is not prime.  Res64: DFFD7068B1FF845A  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 20:50:52]
681*2^1244599-1 is not prime.  Res64: 07CA5E1F7E487E58  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 20:56:46]
853*2^1244599-1 is not prime.  Res64: 6D080043D76B3760  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 20:56:46]
883*2^1244599-1 is not prime.  Res64: 918EF13C2DD0C0AE  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 21:08:30]
969*2^1244599-1 is not prime.  Res64: ABECB24873B03AFE  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 21:08:31]
973*2^1244599-1 is not prime.  Res64: E21E42551477CAC7  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 21:14:25]
677*2^1244600-1 is not prime.  Res64: 2B397D1672DD1113  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 21:14:25]
735*2^1244600-1 is not prime.  Res64: BB7AB1B8DAD210E8  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 21:26:11]
795*2^1244600-1 is not prime.  Res64: 35EF19A083178BE2  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 21:26:11]
601*2^1244601-1 is not prime.  Res64: 7FC5F5A1EB5C0F17  Time : 0.0 sec.
user=juhehe
[2013-04-14 21:28:33]
881*2^1244598-1 is not prime.  Res64: 5D1D0343CD4537B8  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 21:32:04]
649*2^1244601-1 is not prime.  Res64: 4F8D9730BEC51FF5  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 21:32:04]
741*2^1244601-1 is not prime.  Res64: 1B47783E489476CA  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 21:43:50]
945*2^1244601-1 is not prime.  Res64: 4D1753159E1AA194  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 21:43:50]
969*2^1244601-1 is not prime.  Res64: A5144089EC5768AD  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 21:49:42]
979*2^1244601-1 is not prime.  Res64: 16590827E3C9F1A0  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 21:49:43]
645*2^1244602-1 is not prime.  Res64: D1CE3C4AF38815AC  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 22:01:29]
671*2^1244602-1 is not prime.  Res64: A96A4434C1CFD265  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 22:01:30]
681*2^1244602-1 is not prime.  Res64: 876203BA82118DA2  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 22:07:21]
717*2^1244602-1 is not prime.  Res64: 8A098DCE37D3E03D  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 22:07:22]
723*2^1244602-1 is not prime.  Res64: FC55F1FB0E87B74B  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 22:19:16]
825*2^1244602-1 is not prime.  Res64: 2FDD621D61F59711  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 22:19:17]
855*2^1244602-1 is not prime.  Res64: 54BEE23E84F8C0AF  Time : 0.0 sec.
user=juhehe
[2013-04-14 22:22:29]
781*2^1244601-1 is not prime.  Res64: 47E963B8B061B30C  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 22:25:02]
951*2^1244602-1 is not prime.  Res64: 5064B80CD158CBF5  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 22:25:02]
981*2^1244602-1 is not prime.  Res64: CC3D3DEC12F79F75  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 22:36:43]
699*2^1244603-1 is not prime.  Res64: 89DA0F42417FC7D4  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 22:36:44]
879*2^1244603-1 is not prime.  Res64: 498C3AD3AF631D54  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 22:42:28]
889*2^1244603-1 is not prime.  Res64: 2EFEEE8343D21A27  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 22:42:29]
913*2^1244603-1 is not prime.  Res64: 7FE56BE501F7370F  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 22:54:09]
689*2^1244604-1 is not prime.  Res64: 2DC7B752F706038E  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 22:54:10]
783*2^1244604-1 is not prime.  Res64: 7D4054D362240ED3  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 22:59:54]
795*2^1244604-1 is not prime.  Res64: 36A352EE02F59EBE  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 22:59:55]
893*2^1244604-1 is not prime.  Res64: 1B8DE4B9570F7DA3  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 23:11:35]
903*2^1244604-1 is not prime.  Res64: 3BBABB9BF8047D06  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 23:11:36]
679*2^1244605-1 is not prime.  Res64: 38518A5591631506  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 23:17:21]
789*2^1244605-1 is not prime.  Res64: 2F76931DF63B5A97  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 23:17:22]
867*2^1244605-1 is not prime.  Res64: 979F7647E67E7152  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 23:29:02]
927*2^1244605-1 is not prime.  Res64: 95D7EB58B23122B4  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 23:29:02]
997*2^1244605-1 is not prime.  Res64: 09CED038B53DE605  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 23:34:47]
999*2^1244605-1 is not prime.  Res64: 20D3F867A067A8A4  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 23:34:48]
617*2^1244606-1 is not prime.  Res64: 8749A798F277CBC5  Time : 0.0 sec.
user=juhehe
[2013-04-14 23:37:31]
985*2^1244603-1 is not prime.  Res64: 3D1C6F94BFB48A16  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 23:46:29]
773*2^1244606-1 is not prime.  Res64: F4AE2DB0AB9B71C9  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 23:46:30]
941*2^1244606-1 is not prime.  Res64: 73DBAA1386944683  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 23:52:13]
691*2^1244607-1 is not prime.  Res64: B986E306C502E9F0  Time : 0.0 sec.
user=mdettweiler
[2013-04-14 23:52:14]
765*2^1244607-1 is not prime.  Res64: DA083C9B45AA8330  Time : 0.0 sec.