user=sm5ymt
[2014-07-21 00:04:53]
987*2^1327253-1 is not prime.  Res64: 974E572926F46386  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 00:04:56]
735*2^1327252-1 is not prime.  Res64: 3E5790932EE54BA6  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 00:04:57]
749*2^1327252-1 is not prime.  Res64: CB13930D41BA59C7  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 00:21:43]
797*2^1327254-1 is not prime.  Res64: 0BE68841A3134D2D  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 00:22:22]
815*2^1327254-1 is not prime.  Res64: 8403314891FF37C5  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 00:38:24]
873*2^1327254-1 is not prime.  Res64: A8E9B915DA7AFA00  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 00:51:07]
941*2^1327254-1 is not prime.  Res64: 0FD35913D5B46E62  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 00:55:41]
947*2^1327254-1 is not prime.  Res64: 89ECAA3676C061B6  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 01:12:05]
971*2^1327254-1 is not prime.  Res64: 833D77C5DED46AF8  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 01:23:27]
619*2^1327255-1 is not prime.  Res64: D8221DD45213DFED  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 01:28:01]
741*2^1327253-1 is not prime.  Res64: DB4579D86DC510A2  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 01:28:02]
829*2^1327253-1 is not prime.  Res64: ACBDDBF334067DC1  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 01:28:20]
625*2^1327255-1 is not prime.  Res64: 619E9CA7DF409166  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 01:45:23]
925*2^1327255-1 is not prime.  Res64: CEA91B556F5541B3  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 01:45:37]
933*2^1327255-1 is not prime.  Res64: C01EF1E266B38B86  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 01:46:14]
939*2^1327255-1 is not prime.  Res64: 897DFD0DE9A4FE64  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 02:03:05]
973*2^1327255-1 is not prime.  Res64: 6B18E054EDD4F03A  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 02:09:59]
635*2^1327254-1 is not prime.  Res64: 6619BF147C9D9D88  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 02:10:00]
705*2^1327254-1 is not prime.  Res64: D6614BF6DCF71941  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 02:19:51]
617*2^1327256-1 is not prime.  Res64: 6AADFE6BB20CE0FA  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 02:37:24]
743*2^1327256-1 is not prime.  Res64: 374B58DA62E87911  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 02:54:13]
839*2^1327256-1 is not prime.  Res64: DD0EEEA9A498D4F3  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 03:11:46]
935*2^1327256-1 is not prime.  Res64: 1A8FC7AD02CE4E68  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 03:29:32]
969*2^1327256-1 is not prime.  Res64: 5D90DA4E42E4B532  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 03:31:08]
673*2^1327255-1 is not prime.  Res64: 16AF62CBC52A9310  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 03:31:09]
789*2^1327255-1 is not prime.  Res64: FA1E5B517453C56E  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 03:46:45]
871*2^1327257-1 is not prime.  Res64: 3BA1C53209908EE6  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 04:04:13]
937*2^1327257-1 is not prime.  Res64: EDAC7C163DBE32AB  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 04:05:06]
603*2^1327258-1 is not prime.  Res64: B5069285707EA02E  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 04:13:27]
629*2^1327256-1 is not prime.  Res64: D899FF64BFBE3E3E  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 04:13:28]
735*2^1327256-1 is not prime.  Res64: D88F8FC24B907626  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 04:21:35]
723*2^1327258-1 is not prime.  Res64: 9E9F8349D9E493B6  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 04:28:34]
759*2^1327256-1 is not prime.  Res64: 03605D1241799BA6  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 04:28:34]
833*2^1327256-1 is not prime.  Res64: 9FB12D02D66F08A0  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 04:39:09]
833*2^1327258-1 is not prime.  Res64: 45A6BBFCDEB0CEF1  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 04:46:20]
873*2^1327256-1 is not prime.  Res64: 1F3EA003F645025F  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 04:46:20]
923*2^1327256-1 is not prime.  Res64: 06842620438AB820  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 04:56:31]
705*2^1327259-1 is not prime.  Res64: 15D6E4C3426FB0DA  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 05:12:36]
647*2^1327260-1 is not prime.  Res64: 99121CEBAC26A2CD  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 05:29:12]
717*2^1327260-1 is not prime.  Res64: 6177FB531E493404  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 05:33:44]
765*2^1327257-1 is not prime.  Res64: 5569E67C69AAC32B  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 05:33:45]
865*2^1327257-1 is not prime.  Res64: D9F8231F76D7FAA4  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 05:46:09]
857*2^1327260-1 is not prime.  Res64: D8BB3F792E1B2176  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 06:03:52]
959*2^1327260-1 is not prime.  Res64: 5F9CEDD4503CA5F0  Time : 0.0 sec.
user=juhehe
[2014-07-21 06:11:17]
645*2^1327235-1 is not prime.  Res64: 32B8AECD4EB65065  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 06:15:17]
755*2^1327258-1 is not prime.  Res64: DCFEC98328F9CD70  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 06:15:18]
813*2^1327258-1 is not prime.  Res64: 8096684C41739A2A  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 06:20:48]
983*2^1327260-1 is not prime.  Res64: 17588109235C0E8D  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 06:31:38]
941*2^1327258-1 is not prime.  Res64: 43430AD7A32D651D  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 06:31:39]
1001*2^1327258-1 is not prime.  Res64: 8B1B315774CE3773  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 06:38:07]
979*2^1327261-1 is not prime.  Res64: 58E1CCBAD4495AAC  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 06:47:07]
733*2^1327259-1 is not prime.  Res64: A942F2D5793A014B  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 06:47:07]
985*2^1327259-1 is not prime.  Res64: 36129207D30632DD  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 06:55:37]
785*2^1327262-1 is not prime.  Res64: 949C84BE4CC19BDE  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 07:12:30]
709*2^1327263-1 is not prime.  Res64: 899FAF8131647EB8  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 07:30:04]
853*2^1327263-1 is not prime.  Res64: 61B7D17F1055DBDF  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 07:30:33]
819*2^1327263-1 is not prime.  Res64: 74BE4A9E9D2A526D  Time : 0.0 sec.
user=juhehe
[2014-07-21 07:31:30]
731*2^1327262-1 is not prime.  Res64: A0F597F0D3B4A48B  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 07:36:20]
887*2^1327260-1 is not prime.  Res64: F03FE0B77A63448A  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 07:36:21]
909*2^1327260-1 is not prime.  Res64: 0DBB8FB16327C9E6  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 07:46:28]
609*2^1327264-1 is not prime.  Res64: 34A8481063D4FC90  Time : 0.0 sec.
user=juhehe
[2014-07-21 07:51:20]
741*2^1327263-1 is not prime.  Res64: F2C1ED9945025A9B  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 08:03:08]
875*2^1327264-1 is not prime.  Res64: 78EAA2F1A61362A0  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 08:13:39]
675*2^1327261-1 is not prime.  Res64: 894D77AAA50712A7  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 08:13:40]
747*2^1327261-1 is not prime.  Res64: B66B72DEDAD492AF  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 08:17:53]
657*2^1327265-1 is not prime.  Res64: DF1FF9936CD8D9BE  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 08:18:27]
649*2^1327265-1 is not prime.  Res64: 748DC8922708483E  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 08:20:20]
969*2^1327264-1 is not prime.  Res64: 523A650D1B79D581  Time : 0.0 sec.
user=juhehe
[2014-07-21 08:20:49]
955*2^1327263-1 is not prime.  Res64: 1FB324251057EAF0  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 08:28:51]
735*2^1327265-1 is not prime.  Res64: 0792837B39BFAA84  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 08:33:07]
677*2^1327262-1 is not prime.  Res64: BCC15270B09725F5  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 08:33:07]
705*2^1327262-1 is not prime.  Res64: FDEABB40654202A9  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 08:38:03]
795*2^1327265-1 is not prime.  Res64: 1213BF354CBE1B92  Time : 0.0 sec.
user=juhehe
[2014-07-21 08:40:45]
909*2^1327264-1 is not prime.  Res64: AC58B9AEC4CB1C5E  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 08:46:14]
825*2^1327262-1 is not prime.  Res64: 42B79B0CDFB8F07A  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 08:46:14]
921*2^1327262-1 is not prime.  Res64: A987166D4CF04F61  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 08:55:35]
677*2^1327266-1 is not prime.  Res64: 02DEBC7B32E26382  Time : 0.0 sec.
user=juhehe
[2014-07-21 09:10:15]
771*2^1327265-1 is not prime.  Res64: CCDAF0322E5B6446  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 09:13:04]
807*2^1327266-1 is not prime.  Res64: B039AF04FDDAEF2F  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 09:29:02]
851*2^1327266-1 is not prime.  Res64: 6F16322EA9483569  Time : 0.0 sec.
user=juhehe
[2014-07-21 09:30:12]
937*2^1327265-1 is not prime.  Res64: 786D81786A959302  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 09:37:23]
971*2^1327266-1 is not prime.  Res64: E789A3239B612BD6  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 09:38:50]
675*2^1327264-1 is not prime.  Res64: 4E63B7C70853F916  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 09:38:51]
857*2^1327264-1 is not prime.  Res64: 41AA7FE27F6B9833  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 09:44:27]
631*2^1327267-1 is not prime.  Res64: 5AE4BF42958F8137  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 09:44:42]
625*2^1327267-1 is not prime.  Res64: C2BCBC8F4D5732F6  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 10:01:56]
793*2^1327267-1 is not prime.  Res64: D814FC3118A81C3D  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 10:15:18]
697*2^1327265-1 is not prime.  Res64: DCB7C09848B83A89  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 10:15:18]
721*2^1327265-1 is not prime.  Res64: 6E8C82B0BCA2AAE2  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 10:17:50]
945*2^1327267-1 is not prime.  Res64: 2B9D416F9B4F30AD  Time : 0.0 sec.
user=juhehe
[2014-07-21 10:19:51]
983*2^1327266-1 is not prime.  Res64: B59FCCFE93149B66  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 10:32:58]
837*2^1327265-1 is not prime.  Res64: 1DA1D2F2BE81BAA1  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 10:32:58]
855*2^1327265-1 is not prime.  Res64: 1C76C5BB64C00009  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 10:33:36]
867*2^1327268-1 is not prime.  Res64: 8F1649121836960F  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 10:46:20]
675*2^1327269-1 is not prime.  Res64: 73EB874C48A8C36D  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 10:46:27]
717*2^1327266-1 is not prime.  Res64: 0BB72267CB1128B7  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 10:46:27]
735*2^1327266-1 is not prime.  Res64: 2CFD1E8FCA7030B9  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 10:49:47]
889*2^1327269-1 is not prime.  Res64: 49FEDD4719358C1E  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 10:50:03]
687*2^1327270-1 is not prime.  Res64: 42A6521A4BBCB7A3  Time : 0.0 sec.
user=juhehe
[2014-07-21 10:50:20]
849*2^1327267-1 is not prime.  Res64: 4C065E710842366D  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 10:53:10]
743*2^1327270-1 is not prime.  Res64: E1A336FA641BFDB2  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 11:07:25]
745*2^1327271-1 is not prime.  Res64: EA47B1B10FE36971  Time : 0.0 sec.
user=juhehe
[2014-07-21 11:09:31]
855*2^1327268-1 is not prime.  Res64: F8CD47D245EC9D27  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 11:23:37]
879*2^1327271-1 is not prime.  Res64: A3A23C2AF543DCE1  Time : 0.0 sec.
user=juhehe
[2014-07-21 11:39:51]
741*2^1327271-1 is not prime.  Res64: 24F57BF8765E8007  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 11:40:57]
675*2^1327272-1 is not prime.  Res64: 8F4F430D9D5F97A0  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 11:41:16]
699*2^1327267-1 is not prime.  Res64: 39B097512A43E962  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 11:41:17]
705*2^1327267-1 is not prime.  Res64: 105B03B3B0A97B19  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 11:58:22]
797*2^1327272-1 is not prime.  Res64: 57379A25AF24F117  Time : 0.0 sec.
user=juhehe
[2014-07-21 11:59:04]
805*2^1327271-1 is not prime.  Res64: E9AA7ADDD0FA69C3  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 12:14:46]
973*2^1327267-1 is not prime.  Res64: E60416C8C7DD4566  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 12:14:46]
659*2^1327268-1 is not prime.  Res64: EF9CC434ED791A5B  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 12:15:36]
837*2^1327272-1 is not prime.  Res64: B9424D8AB51D2DE2  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 12:30:10]
957*2^1327268-1 is not prime.  Res64: 15737F7F4682349D  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 12:30:10]
669*2^1327269-1 is not prime.  Res64: 01C449BEB200C011  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 12:31:50]
625*2^1327273-1 is not prime.  Res64: 82922642A09E4628  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 12:47:20]
791*2^1327270-1 is not prime.  Res64: 59036049EF02FA6F  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 12:47:20]
693*2^1327271-1 is not prime.  Res64: 7C8456DEE841E1AC  Time : 0.0 sec.
user=juhehe
[2014-07-21 12:48:26]
815*2^1327272-1 is not prime.  Res64: 611E0DE6A11966C4  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 12:56:43]
711*2^1327274-1 is not prime.  Res64: 1E3114E863FCC06E  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 13:14:15]
857*2^1327274-1 is not prime.  Res64: F7156840A889287F  Time : 0.0 sec.
user=juhehe
[2014-07-21 13:19:54]
945*2^1327273-1 is not prime.  Res64: 7F09C63D1FBC63A7  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 13:32:03]
917*2^1327274-1 is not prime.  Res64: 77ADC53C7C18A7AD  Time : 0.0 sec.
user=juhehe
[2014-07-21 13:38:06]
837*2^1327274-1 is not prime.  Res64: 682188D90A9A5C32  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 13:40:04]
689*2^1327272-1 is not prime.  Res64: D0737682800F8DBF  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 13:40:04]
779*2^1327272-1 is not prime.  Res64: 0E8D46B1D8FD1563  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 13:47:59]
601*2^1327275-1 is not prime.  Res64: 3F7849E90FC0B55C  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 14:05:56]
859*2^1327275-1 is not prime.  Res64: 40BD15966E1B6468  Time : 0.0 sec.
user=juhehe
[2014-07-21 14:09:09]
1001*2^1327274-1 is not prime.  Res64: 7D0180E3E0ECCB3C  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 14:13:45]
857*2^1327272-1 is not prime.  Res64: B41FA1F435B77255  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 14:13:45]
615*2^1327273-1 is not prime.  Res64: 14754341FA5A149D  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 14:23:23]
891*2^1327275-1 is not prime.  Res64: 2DD6B88D62A36309  Time : 0.0 sec.
user=juhehe
[2014-07-21 14:27:39]
669*2^1327275-1 is not prime.  Res64: D4E7A8D6C7DB34B3  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 14:32:08]
895*2^1327273-1 is not prime.  Res64: 597D0C61B189797C  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 14:32:08]
919*2^1327273-1 is not prime.  Res64: BAFBEE06E78B7709  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 14:40:17]
873*2^1327276-1 is not prime.  Res64: 1B217061EEDBBFE2  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 14:47:15]
773*2^1327274-1 is not prime.  Res64: AC328D69F4AAF502  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 14:47:15]
813*2^1327274-1 is not prime.  Res64: F14824D1DE035064  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 14:57:30]
903*2^1327276-1 is not prime.  Res64: 6FC7FC4BB2F42F3B  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 15:13:26]
605*2^1327278-1 is not prime.  Res64: 65BB8F4B1C89296F  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 15:29:14]
657*2^1327278-1 is not prime.  Res64: 2E975B0D2CC95A2A  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 15:40:50]
783*2^1327275-1 is not prime.  Res64: 34CC01251EA7AC9F  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 15:40:50]
819*2^1327275-1 is not prime.  Res64: A9CD98C114C7307F  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 15:46:50]
755*2^1327278-1 is not prime.  Res64: 03080AFDF6CDF02C  Time : 0.0 sec.
user=juhehe
[2014-07-21 15:50:35]
997*2^1327277-1 is not prime.  Res64: 2CB4F0703A8E0804  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 16:03:00]
603*2^1327279-1 is not prime.  Res64: 7317E4D15A457234  Time : 0.0 sec.
user=juhehe
[2014-07-21 16:12:07]
711*2^1327278-1 is not prime.  Res64: B8C3F2362C8ED501  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 16:17:01]
913*2^1327275-1 is not prime.  Res64: D8AF001A3A15488D  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 16:17:01]
963*2^1327275-1 is not prime.  Res64: 2E262009D895B3D0  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 16:19:26]
625*2^1327279-1 is not prime.  Res64: C65D9BCB4082103E  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 16:30:23]
875*2^1327276-1 is not prime.  Res64: 959AE754FBA177E4  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 16:30:24]
897*2^1327276-1 is not prime.  Res64: 888A92BB274FE323  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 16:36:27]
913*2^1327279-1 is not prime.  Res64: BCFFCA4B7FE02E0D  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 16:44:49]
939*2^1327276-1 is not prime.  Res64: 3951F7AC12ED20B4  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 16:44:49]
649*2^1327277-1 is not prime.  Res64: BF3B91E1E78811F6  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 16:52:25]
609*2^1327280-1 is not prime.  Res64: BFCB92777EEBCCBD  Time : 0.0 sec.
user=juhehe
[2014-07-21 16:53:22]
975*2^1327278-1 is not prime.  Res64: 4FEF2F324D67B92F  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 17:09:45]
813*2^1327280-1 is not prime.  Res64: BC5B0A2477CF8444  Time : 0.0 sec.
user=juhehe
[2014-07-21 17:19:54]
681*2^1327279-1 is not prime.  Res64: ECF9B3C329539E4B  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 17:27:13]
899*2^1327280-1 is not prime.  Res64: E2ECC8FC64FBC435  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 17:40:40]
833*2^1327278-1 is not prime.  Res64: 13EBFC71D5CF71E4  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 17:40:40]
887*2^1327278-1 is not prime.  Res64: 49310F2CE1216558  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 17:43:08]
601*2^1327281-1 is not prime.  Res64: C1455DE7169B5F76  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 18:00:22]
709*2^1327281-1 is not prime.  Res64: 3915B54625EB9EAF  Time : 0.0 sec.
user=juhehe
[2014-07-21 18:10:38]
927*2^1327280-1 is not prime.  Res64: 207E816427964E9E  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 18:16:39]
853*2^1327279-1 is not prime.  Res64: 5AC0B194BD7099D8  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 18:16:39]
885*2^1327279-1 is not prime.  Res64: 110FDAF3DCF69151  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 18:17:19]
741*2^1327281-1 is not prime.  Res64: 943CB561990007DB  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 18:31:38]
975*2^1327279-1 is not prime.  Res64: D5602DC5922F7880  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 18:31:39]
979*2^1327279-1 is not prime.  Res64: E2E44D5470D97CA6  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 18:34:53]
861*2^1327281-1 is not prime.  Res64: DC9FF89AB0531AB1  Time : 0.0 sec.
user=juhehe
[2014-07-21 18:41:51]
735*2^1327281-1 is not prime.  Res64: 3D8E58504964E4FC  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 18:46:13]
743*2^1327280-1 is not prime.  Res64: 40DAABCA1F378F5D  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 18:46:14]
773*2^1327280-1 is not prime.  Res64: 4D8508C81043FA8B  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 18:51:40]
951*2^1327281-1 is not prime.  Res64: C0AC6A0532C232E7  Time : 0.0 sec.
user=juhehe
[2014-07-21 19:02:51]
745*2^1327281-1 is not prime.  Res64: 2ED5AA1ECBF244B8  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 19:08:33]
785*2^1327282-1 is not prime.  Res64: 9B184BA9498CE309  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 19:25:06]
941*2^1327282-1 is not prime.  Res64: C7F1A7EA175276A8  Time : 0.0 sec.
user=juhehe
[2014-07-21 19:31:22]
969*2^1327281-1 is not prime.  Res64: 7C28BA6F6B5E8AA2  Time : 0.0 sec.
user=juhehe
[2014-07-21 19:40:15]
923*2^1327282-1 is not prime.  Res64: 7705F77D71AF87B9  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 19:41:09]
627*2^1327281-1 is not prime.  Res64: 722178AE962135C7  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 19:41:09]
657*2^1327281-1 is not prime.  Res64: 22676CBE1777F86C  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 19:41:46]
981*2^1327282-1 is not prime.  Res64: AA2A1FDCA8E2674F  Time : 0.0 sec.
user=juhehe
[2014-07-21 19:52:28]
911*2^1327282-1 is not prime.  Res64: 56865739D9A05B89  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 19:59:14]
675*2^1327283-1 is not prime.  Res64: 3961D89457B6AEA0  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 20:15:54]
615*2^1327284-1 is not prime.  Res64: 0AFE421A6B77E5A9  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 20:16:12]
781*2^1327281-1 is not prime.  Res64: 93C7BAA6F8F24905  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 20:16:13]
789*2^1327281-1 is not prime.  Res64: B8BFC9413A9F63EB  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 20:33:06]
937*2^1327281-1 is not prime.  Res64: C4375D83E1F693C7  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 20:33:07]
949*2^1327281-1 is not prime.  Res64: 87EADEA6643825EA  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 20:33:42]
923*2^1327284-1 is not prime.  Res64: 8336EDF53327A7E1  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 20:41:33]
621*2^1327282-1 is not prime.  Res64: 32C503B18920031C  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 20:41:34]
665*2^1327282-1 is not prime.  Res64: 2F5D44624CC7F317  Time : 0.0 sec.
user=juhehe
[2014-07-21 20:41:50]
999*2^1327283-1 is not prime.  Res64: 431B84F26B525AC2  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 20:51:31]
855*2^1327285-1 is not prime.  Res64: A1A4EFCD6AE5547E  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 21:09:00]
851*2^1327286-1 is not prime.  Res64: AB014DADBADDAAA9  Time : 0.0 sec.
user=juhehe
[2014-07-21 21:10:56]
959*2^1327284-1 is not prime.  Res64: 45B855CB1EF189A3  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 21:26:43]
971*2^1327286-1 is not prime.  Res64: 6667B17FDC54640E  Time : 0.0 sec.
user=juhehe
[2014-07-21 21:31:11]
707*2^1327286-1 is not prime.  Res64: 27FC64FB99466029  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 21:38:12]
603*2^1327283-1 is not prime.  Res64: BB260542566A91C2  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 21:38:12]
609*2^1327283-1 is not prime.  Res64: 177F3C9AA8E9872C  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 21:44:00]
981*2^1327286-1 is not prime.  Res64: D28692FD024EF613  Time : 0.0 sec.
user=juhehe
[2014-07-21 21:49:37]
861*2^1327286-1 is not prime.  Res64: AAF2A95CA9FC46EC  Time : 0.0 sec.
user=juhehe
[2014-07-21 22:00:10]
945*2^1327286-1 is not prime.  Res64: F12F47EE04B55A06  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 22:00:57]
891*2^1327287-1 is not prime.  Res64: E2AC2FDD9085FD87  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 22:14:21]
663*2^1327284-1 is not prime.  Res64: 550C9BB9689196A4  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 22:14:21]
665*2^1327284-1 is not prime.  Res64: AA464CA5C0137252  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 22:18:24]
955*2^1327287-1 is not prime.  Res64: 5AF89A18D31CA633  Time : 0.0 sec.
user=juhehe
[2014-07-21 22:20:37]
983*2^1327286-1 is not prime.  Res64: 4D80349FEA571EFC  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 22:35:37]
771*2^1327289-1 is not prime.  Res64: 54402B443303BFE1  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 22:36:43]
983*2^1327284-1 is not prime.  Res64: BF4258230D917616  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 22:36:43]
847*2^1327285-1 is not prime.  Res64: 56036782BE39CBCF  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 22:45:45]
895*2^1327285-1 is not prime.  Res64: 275D545F12698D9D  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 22:45:45]
951*2^1327285-1 is not prime.  Res64: A1453DB93A7FF05D  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 22:52:50]
885*2^1327289-1 is not prime.  Res64: 873EBE4937EAE703  Time : 0.0 sec.
user=juhehe
[2014-07-21 23:10:00]
875*2^1327288-1 is not prime.  Res64: F37C8B9B8BF226D7  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 23:10:12]
791*2^1327290-1 is not prime.  Res64: F2AACEF7606B8360  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 23:26:43]
873*2^1327290-1 is not prime.  Res64: D72E1497745B2139  Time : 0.0 sec.
user=juhehe
[2014-07-21 23:40:09]
755*2^1327290-1 is not prime.  Res64: 4C802AB4D1C0CC84  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 23:41:02]
739*2^1327287-1 is not prime.  Res64: CF15B000D9FF5847  Time : 0.0 sec.
user=mdettweiler
[2014-07-21 23:41:03]
795*2^1327287-1 is not prime.  Res64: A42B195546145FB6  Time : 0.0 sec.
user=sm5ymt
[2014-07-21 23:44:22]
941*2^1327290-1 is not prime.  Res64: 26DACA358F791B8E  Time : 0.0 sec.