user=sm5ymt
[2014-07-17 00:09:03]
605*2^1327070-1 is not prime.  Res64: 5E6A3AE626AD3DE7  Time : 0.0 sec.
user=juhehe
[2014-07-17 00:18:06]
861*2^1327066-1 is not prime.  Res64: 5DCB51A2EE84B3ED  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 00:25:13]
797*2^1327070-1 is not prime.  Res64: B5AD32A3DC3434F2  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 00:42:39]
827*2^1327070-1 is not prime.  Res64: 432BBEF16AC5B427  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 00:59:07]
857*2^1327070-1 is not prime.  Res64: 7D88DB42DED05A35  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 01:11:48]
921*2^1327070-1 is not prime.  Res64: 9EA88E894A9F3428  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 01:14:55]
957*2^1327070-1 is not prime.  Res64: D4CA080CD4261BEB  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 01:15:07]
935*2^1327070-1 is not prime.  Res64: 16D57FCB49ECF1BC  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 01:20:12]
859*2^1327071-1 is not prime.  Res64: 89C59CCD3B962544  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 01:21:07]
781*2^1327071-1 is not prime.  Res64: 90829345D609F292  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 01:25:11]
645*2^1327072-1 is not prime.  Res64: 31CA8DA35132B4E9  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 01:26:43]
699*2^1327072-1 is not prime.  Res64: DA55F5B5BE212A00  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 01:28:19]
705*2^1327072-1 is not prime.  Res64: 979A2DE0F2BCE180  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 01:32:01]
813*2^1327072-1 is not prime.  Res64: C8BF24B83FB11314  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 01:49:17]
849*2^1327072-1 is not prime.  Res64: 640BC9D76FEAC6AB  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 02:05:41]
855*2^1327072-1 is not prime.  Res64: 03553E359BB09A88  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 02:21:47]
631*2^1327073-1 is not prime.  Res64: 0B4DAA2E622E64C4  Time : 0.0 sec.
user=juhehe
[2014-07-17 02:32:04]
939*2^1327072-1 is not prime.  Res64: 5CB0349F12FA0C1E  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 02:38:32]
729*2^1327073-1 is not prime.  Res64: C0BF3D2831C08DA1  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 02:55:31]
937*2^1327073-1 is not prime.  Res64: 47257BC297432DA0  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 03:11:42]
951*2^1327073-1 is not prime.  Res64: 9F048AA37A8DF49B  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 03:27:40]
635*2^1327074-1 is not prime.  Res64: 94DD9A116F92C67C  Time : 0.0 sec.
user=juhehe
[2014-07-17 03:38:39]
605*2^1327074-1 is not prime.  Res64: AB815664FF5A19D2  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 03:44:43]
731*2^1327074-1 is not prime.  Res64: 255A4A6B665C89F2  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 04:02:02]
765*2^1327074-1 is not prime.  Res64: D675714D1F9B0CF8  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 04:19:02]
851*2^1327074-1 is not prime.  Res64: 7BB90A279BF8C07A  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 04:36:13]
993*2^1327074-1 is not prime.  Res64: 64C8607603753D92  Time : 0.0 sec.
user=juhehe
[2014-07-17 04:45:34]
951*2^1327074-1 is not prime.  Res64: DBC6E94F794603C9  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 04:52:13]
625*2^1327075-1 is not prime.  Res64: 47818DA1AC3F1DA4  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 05:07:32]
773*2^1327066-1 is not prime.  Res64: 9DE80F35E14436DA  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 05:07:33]
843*2^1327066-1 is not prime.  Res64: 39E6B24E9DFAAB0C  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 05:09:41]
741*2^1327075-1 is not prime.  Res64: AF1B072F6C671B61  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 05:11:08]
751*2^1327075-1 is not prime.  Res64: 8CC48A7209042F51  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 05:17:30]
771*2^1327075-1 is not prime.  Res64: F78EC10489075C55  Time : 0.0 sec.
user=juhehe
[2014-07-17 05:18:12]
693*2^1327075-1 is not prime.  Res64: B26CCFE63F893971  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 05:27:16]
883*2^1327075-1 is not prime.  Res64: 510B5235F32B9430  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 05:34:43]
789*2^1327075-1 is not prime.  Res64: B3CB88FB27BF96A0  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 05:34:43]
793*2^1327075-1 is not prime.  Res64: 7FE36B1B1D26FFF2  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 05:43:19]
603*2^1327076-1 is not prime.  Res64: EF3FD744A6D12400  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 06:00:13]
617*2^1327076-1 is not prime.  Res64: 0879C36E8471602F  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 06:00:13]
629*2^1327076-1 is not prime.  Res64: D99C6B866E2CA04F  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 06:00:17]
725*2^1327076-1 is not prime.  Res64: 982ED66AE076540E  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 06:17:19]
833*2^1327076-1 is not prime.  Res64: 7D9F0300F6E7E99D  Time : 0.0 sec.
user=juhehe
[2014-07-17 06:23:34]
735*2^1327076-1 is not prime.  Res64: D71DD6E4E19188A4  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 06:27:21]
749*2^1327076-1 is not prime.  Res64: 2120CFB446474A7B  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 06:27:23]
825*2^1327076-1 is not prime.  Res64: 821675AB00B10B1E  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 06:34:10]
893*2^1327076-1 is not prime.  Res64: 7F3A2088161DC28D  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 06:50:24]
667*2^1327077-1 is not prime.  Res64: 8B857E0A3460F9CC  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 06:56:40]
953*2^1327076-1 is not prime.  Res64: F4362FE7330BDD62  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 06:56:40]
963*2^1327076-1 is not prime.  Res64: F14E4308C598A188  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 07:07:03]
699*2^1327077-1 is not prime.  Res64: A6751E6943ED0B66  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 07:23:59]
711*2^1327077-1 is not prime.  Res64: B529EC09F471BDAA  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 07:24:00]
727*2^1327077-1 is not prime.  Res64: 13214EFBCADC6382  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 07:24:15]
961*2^1327077-1 is not prime.  Res64: 1856EF27C6BE5917  Time : 0.0 sec.
user=juhehe
[2014-07-17 07:29:24]
747*2^1327077-1 is not prime.  Res64: 71E6A61ABC8FDE9E  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 07:41:32]
881*2^1327078-1 is not prime.  Res64: C3B3E059CAB891B5  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 07:51:12]
765*2^1327078-1 is not prime.  Res64: C5C08F976F3BF0DB  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 07:51:12]
861*2^1327078-1 is not prime.  Res64: 85A0501D9BA30E97  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 07:58:06]
933*2^1327078-1 is not prime.  Res64: 8D5A539C9804D932  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 08:14:20]
675*2^1327079-1 is not prime.  Res64: 9A31B7A010383B78  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 08:16:49]
643*2^1327079-1 is not prime.  Res64: 97C2C3543F74DBDF  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 08:16:50]
661*2^1327079-1 is not prime.  Res64: 7BF0E39DDD70C51C  Time : 0.0 sec.
user=juhehe
[2014-07-17 08:21:34]
951*2^1327078-1 is not prime.  Res64: A5C9C173BDC73EB4  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 08:30:19]
843*2^1327079-1 is not prime.  Res64: 8BEAB730D9B5FE00  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 08:37:17]
879*2^1327079-1 is not prime.  Res64: 88475B43F8F5AE50  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 08:37:48]
627*2^1327080-1 is not prime.  Res64: EDAADA7F67410B4E  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 08:38:02]
939*2^1327079-1 is not prime.  Res64: 75A5370C8BF14AFB  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 08:38:52]
693*2^1327080-1 is not prime.  Res64: 7515CD6A5BC60EC4  Time : 0.0 sec.
user=juhehe
[2014-07-17 08:38:56]
685*2^1327079-1 is not prime.  Res64: 37F1DEBACF098D0F  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 08:45:58]
729*2^1327079-1 is not prime.  Res64: 5473BF19EB02DE5D  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 08:45:58]
735*2^1327079-1 is not prime.  Res64: B2F8F76F32BB7506  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 08:47:42]
773*2^1327080-1 is not prime.  Res64: 7F199DFE8366E704  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 08:55:46]
839*2^1327080-1 is not prime.  Res64: 9384B585EE42F7A5  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 08:56:11]
777*2^1327080-1 is not prime.  Res64: 21051605F9F44F9C  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 08:56:22]
809*2^1327080-1 is not prime.  Res64: 450AB0411CABD6B5  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 09:04:38]
715*2^1327081-1 is not prime.  Res64: 0BB8536223727666  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 09:15:02]
875*2^1327080-1 is not prime.  Res64: 9D0A978B353AFEC9  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 09:15:03]
649*2^1327081-1 is not prime.  Res64: F6E21B4E80B2B558  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 09:20:42]
771*2^1327081-1 is not prime.  Res64: A703AA858D8357F3  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 09:31:01]
957*2^1327081-1 is not prime.  Res64: F2E1C29A5225A81B  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 09:31:57]
635*2^1327082-1 is not prime.  Res64: B8127838813B915B  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 09:32:41]
657*2^1327082-1 is not prime.  Res64: 813B368131A58683  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 09:35:05]
713*2^1327082-1 is not prime.  Res64: 89C1CCEFB5105A44  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 09:35:15]
801*2^1327082-1 is not prime.  Res64: BD27AED4C8CCC0B4  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 09:35:41]
981*2^1327082-1 is not prime.  Res64: A2C36F268CD734E9  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 09:37:11]
703*2^1327083-1 is not prime.  Res64: 793DA04DC43E42BD  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 09:42:02]
807*2^1327081-1 is not prime.  Res64: 4342576CDA1FA3C6  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 09:42:02]
867*2^1327081-1 is not prime.  Res64: 9E8991C3ACF48C95  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 09:43:05]
723*2^1327083-1 is not prime.  Res64: 842B06096D527E34  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 09:43:53]
739*2^1327083-1 is not prime.  Res64: D40100B8E269A711  Time : 0.0 sec.
user=juhehe
[2014-07-17 09:44:38]
789*2^1327081-1 is not prime.  Res64: 2EBC2E02C930DDAE  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 09:51:53]
753*2^1327083-1 is not prime.  Res64: 51A78D35B4CF2B42  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 10:00:47]
635*2^1327084-1 is not prime.  Res64: 496A5D0C1384B771  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 10:08:20]
855*2^1327084-1 is not prime.  Res64: 3C24748FFA7E1F87  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 10:08:30]
869*2^1327084-1 is not prime.  Res64: 55EF6AFBB89BDD46  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 10:10:36]
987*2^1327084-1 is not prime.  Res64: 1233BB2B1622D5AB  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 10:13:35]
819*2^1327083-1 is not prime.  Res64: D7A1ADC1214B4D51  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 10:13:36]
879*2^1327083-1 is not prime.  Res64: 2F42481AF7B533D9  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 10:13:57]
721*2^1327085-1 is not prime.  Res64: 088C17157F4C315D  Time : 0.0 sec.
user=juhehe
[2014-07-17 10:17:01]
609*2^1327084-1 is not prime.  Res64: 3424709B2CAE8ADF  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 10:23:52]
789*2^1327085-1 is not prime.  Res64: BAFF7F2C166445F9  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 10:31:16]
957*2^1327085-1 is not prime.  Res64: 29FBACE2C030F233  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 10:31:29]
713*2^1327086-1 is not prime.  Res64: F935F62C7A34C925  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 10:31:59]
801*2^1327086-1 is not prime.  Res64: AF3D44F524BD1524  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 10:32:23]
609*2^1327087-1 is not prime.  Res64: DBED73B148B0C8D6  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 10:32:35]
815*2^1327086-1 is not prime.  Res64: BBA00ED441CACA9D  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 10:32:49]
685*2^1327087-1 is not prime.  Res64: D5B68497AD066EBF  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 10:40:54]
705*2^1327087-1 is not prime.  Res64: 5D06D95D4B55A3DF  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 10:43:17]
847*2^1327085-1 is not prime.  Res64: CC5AF92C77B66E2E  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 10:43:17]
861*2^1327085-1 is not prime.  Res64: D2DEEF23169ECE00  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 10:43:22]
715*2^1327087-1 is not prime.  Res64: B5BACC7F737A8D0B  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 10:44:07]
805*2^1327087-1 is not prime.  Res64: E521D4DE8ABF5737  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 10:50:37]
909*2^1327087-1 is not prime.  Res64: 3FCDDDEE3A34A5CE  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 10:55:59]
687*2^1327088-1 is not prime.  Res64: A9656E758AD31EBE  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 10:56:02]
777*2^1327088-1 is not prime.  Res64: 9A4EB49EB5495F5F  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 10:56:51]
839*2^1327088-1 is not prime.  Res64: 9AE490FC475A82C3  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 11:06:02]
893*2^1327088-1 is not prime.  Res64: 13290C8CF7DCEE6B  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 11:06:46]
935*2^1327088-1 is not prime.  Res64: 79D82ECA8BD8FB24  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 11:11:59]
945*2^1327088-1 is not prime.  Res64: C07AF6BEB54DFF0B  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 11:12:42]
919*2^1327087-1 is not prime.  Res64: A8A6815C5867D86C  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 11:12:43]
939*2^1327087-1 is not prime.  Res64: 37C91672EA06BA90  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 11:12:56]
995*2^1327088-1 is not prime.  Res64: A5835DACEE502B56  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 11:13:30]
999*2^1327088-1 is not prime.  Res64: 0DA2F2B71E2881DC  Time : 0.0 sec.
user=juhehe
[2014-07-17 11:24:00]
843*2^1327088-1 is not prime.  Res64: 789851CF2D2EEDD5  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 11:28:47]
821*2^1327090-1 is not prime.  Res64: D78394087C53BD3B  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 11:38:52]
647*2^1327090-1 is not prime.  Res64: C04F29DBCB63544C  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 11:38:52]
717*2^1327090-1 is not prime.  Res64: 2E135ED49FD13B95  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 11:45:48]
843*2^1327090-1 is not prime.  Res64: 8D459B709D42D9AD  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 12:02:53]
915*2^1327090-1 is not prime.  Res64: 9E29BB7F2021DAFF  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 12:08:09]
857*2^1327090-1 is not prime.  Res64: 50711C53BC8A6A00  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 12:08:11]
911*2^1327090-1 is not prime.  Res64: 165EB6F37F39D866  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 12:19:18]
669*2^1327091-1 is not prime.  Res64: 18F6AAC06C88E9EA  Time : 0.0 sec.
user=juhehe
[2014-07-17 12:33:28]
643*2^1327091-1 is not prime.  Res64: 636FF8C3302D6540  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 12:35:43]
999*2^1327091-1 is not prime.  Res64: 789633B30B8DF1C0  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 12:37:30]
783*2^1327091-1 is not prime.  Res64: D311753D3F234558  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 12:37:31]
943*2^1327091-1 is not prime.  Res64: 4DFBBCD6D2CA84A1  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 12:52:56]
873*2^1327092-1 is not prime.  Res64: 3782AC4054E96CF5  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 13:09:20]
819*2^1327092-1 is not prime.  Res64: E680C9209A78A1B0  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 13:09:21]
825*2^1327092-1 is not prime.  Res64: 43D98B37EB35058E  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 13:10:11]
899*2^1327092-1 is not prime.  Res64: E10DE7FC067E482D  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 13:13:51]
975*2^1327092-1 is not prime.  Res64: 9EDF0A0CD3667018  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 13:21:35]
881*2^1327066-1 is not prime.  Res64: 21C8DBA87BAC8E86  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 13:21:35]
905*2^1327066-1 is not prime.  Res64: B4C2E1155D7CEB87  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 13:27:31]
925*2^1327093-1 is not prime.  Res64: AEB6F8BB12CC5616  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 13:31:48]
945*2^1327093-1 is not prime.  Res64: 1BD773816F4FC405  Time : 0.0 sec.
user=juhehe
[2014-07-17 13:38:31]
847*2^1327093-1 is not prime.  Res64: DB778A27B5C94695  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 13:38:34]
877*2^1327093-1 is not prime.  Res64: A1B390858489AD1D  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 13:38:34]
919*2^1327093-1 is not prime.  Res64: E0DE6AB4AF92B4EC  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 13:41:53]
733*2^1327067-1 is not prime.  Res64: 0FB8238780A7F25D  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 13:41:54]
901*2^1327067-1 is not prime.  Res64: FECEF406C32EAE2D  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 13:44:09]
833*2^1327094-1 is not prime.  Res64: 3BC83342A1CE4EA3  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 13:49:04]
689*2^1327068-1 is not prime.  Res64: DD67C776341E6A04  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 13:49:05]
915*2^1327068-1 is not prime.  Res64: 3CFCF51D3796B3E3  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 13:49:14]
635*2^1327094-1 is not prime.  Res64: 51C9666E5438A360  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 13:49:14]
677*2^1327094-1 is not prime.  Res64: BE3CEF1E2681AF63  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 14:00:54]
955*2^1327095-1 is not prime.  Res64: AF78F9A1F990301E  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 14:05:32]
923*2^1327094-1 is not prime.  Res64: 0D6946B6D1410130  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 14:05:33]
995*2^1327094-1 is not prime.  Res64: 23D5F0CAEB3B059F  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 14:07:19]
649*2^1327095-1 is not prime.  Res64: E5F15FB1583DFC73  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 14:07:20]
895*2^1327095-1 is not prime.  Res64: B7609F941E20D791  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 14:14:19]
645*2^1327096-1 is not prime.  Res64: 1423919CF52B4D8D  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 14:14:19]
825*2^1327096-1 is not prime.  Res64: E046858B5683B4B9  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 14:14:28]
991*2^1327095-1 is not prime.  Res64: 048756D0ACF58C72  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 14:14:28]
629*2^1327096-1 is not prime.  Res64: BA1FA9C10164B7E4  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 14:17:33]
839*2^1327096-1 is not prime.  Res64: 1CCFB07CB95E4AEC  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 14:31:52]
875*2^1327096-1 is not prime.  Res64: 39FE9D338EB5775E  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 14:31:53]
887*2^1327096-1 is not prime.  Res64: 7358AF9EB5CCDF99  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 14:33:35]
611*2^1327098-1 is not prime.  Res64: 6175246D4BF8375A  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 14:33:40]
927*2^1327096-1 is not prime.  Res64: 25207B82DFE17F73  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 14:33:40]
999*2^1327096-1 is not prime.  Res64: 32F0907EE8E2B312  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 14:40:37]
805*2^1327097-1 is not prime.  Res64: C63A3BAE13C9744D  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 14:40:37]
837*2^1327097-1 is not prime.  Res64: 473A724B0977417D  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 14:40:44]
885*2^1327097-1 is not prime.  Res64: B9E8A6D9375325C8  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 14:40:45]
939*2^1327097-1 is not prime.  Res64: 0C9965DFC404D910  Time : 0.0 sec.
user=juhehe
[2014-07-17 14:45:17]
675*2^1327097-1 is not prime.  Res64: 8B243A65BA3D1860  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 14:50:33]
773*2^1327098-1 is not prime.  Res64: 34AD9469F40A8FC4  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 14:56:03]
627*2^1327098-1 is not prime.  Res64: E7F43B91AEE6F001  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 14:56:03]
671*2^1327098-1 is not prime.  Res64: CD26FE889A17F5CA  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 15:00:08]
713*2^1327098-1 is not prime.  Res64: 753173028C16A24F  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 15:00:09]
731*2^1327098-1 is not prime.  Res64: B2405654211A5822  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 15:06:27]
797*2^1327098-1 is not prime.  Res64: FCB485B205D4C6C0  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 15:06:28]
631*2^1327099-1 is not prime.  Res64: 4EF2372FFD4F9F0A  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 15:07:11]
825*2^1327100-1 is not prime.  Res64: 6BF340A425F588DE  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 15:07:16]
885*2^1327099-1 is not prime.  Res64: 2CE74A0CCFF2EFE0  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 15:07:17]
961*2^1327099-1 is not prime.  Res64: 262D4AB252BCC381  Time : 0.0 sec.
user=juhehe
[2014-07-17 15:18:07]
603*2^1327100-1 is not prime.  Res64: D047B2B9EE096B3B  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 15:22:41]
879*2^1327100-1 is not prime.  Res64: 44C23E3E52694504  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 15:22:41]
927*2^1327100-1 is not prime.  Res64: 30A2A21D80798963  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 15:23:43]
741*2^1327101-1 is not prime.  Res64: ECC47B470CD538BD  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 15:26:56]
929*2^1327100-1 is not prime.  Res64: 4C3558DB61FBEA5F  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 15:26:56]
945*2^1327100-1 is not prime.  Res64: EBCEEC2139786A9F  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 15:33:13]
977*2^1327100-1 is not prime.  Res64: 3EEFCAA7586994E4  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 15:33:13]
983*2^1327100-1 is not prime.  Res64: 89794D727726D28E  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 15:34:05]
999*2^1327100-1 is not prime.  Res64: 5EF3267BC8508F95  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 15:34:05]
727*2^1327101-1 is not prime.  Res64: FD97FFFE18F29ADF  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 15:40:53]
777*2^1327102-1 is not prime.  Res64: 0C4E46528A68C2ED  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 15:49:44]
861*2^1327101-1 is not prime.  Res64: 23C8A87256976E3D  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 15:49:44]
865*2^1327101-1 is not prime.  Res64: 9DDF7712FA064758  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 15:52:37]
907*2^1327101-1 is not prime.  Res64: CD56AC76A8388A95  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 15:52:37]
653*2^1327102-1 is not prime.  Res64: C75026EF1A79A845  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 15:58:10]
683*2^1327104-1 is not prime.  Res64: 3072F9013BA30682  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 15:59:55]
791*2^1327102-1 is not prime.  Res64: 0504BAB34DACBFEE  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 15:59:55]
915*2^1327102-1 is not prime.  Res64: 38B4E13769DCA2DB  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 16:00:03]
775*2^1327103-1 is not prime.  Res64: 368ECE07639F54A9  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 16:00:03]
615*2^1327104-1 is not prime.  Res64: 4332209E1A7133AA  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 16:15:00]
919*2^1327105-1 is not prime.  Res64: E5EF066808D25040  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 16:16:28]
707*2^1327104-1 is not prime.  Res64: 9E7E7358A460FE95  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 16:16:29]
753*2^1327104-1 is not prime.  Res64: 131239ECC16988D2  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 16:26:23]
841*2^1327105-1 is not prime.  Res64: 48AEBA7BC67E1384  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 16:26:23]
849*2^1327105-1 is not prime.  Res64: 80CC8A724019DAD5  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 16:26:54]
867*2^1327105-1 is not prime.  Res64: BF8E0B4EA46BAD8D  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 16:26:55]
909*2^1327105-1 is not prime.  Res64: 42A24DD8D56AD0D8  Time : 0.0 sec.
user=juhehe
[2014-07-17 16:28:22]
857*2^1327104-1 is not prime.  Res64: 995A301E22BBF2A3  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 16:32:14]
909*2^1327104-1 is not prime.  Res64: 1AF0FA01455621AD  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 16:32:14]
975*2^1327104-1 is not prime.  Res64: 5D5D23D70018AC47  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 16:39:28]
735*2^1327106-1 is not prime.  Res64: B411023E5974F2C9  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 16:43:09]
987*2^1327105-1 is not prime.  Res64: 43AC834BABABA2D6  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 16:43:10]
997*2^1327105-1 is not prime.  Res64: C08C00260E673FB0  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 16:52:34]
999*2^1327105-1 is not prime.  Res64: 361570CD6D8C6CAB  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 16:52:35]
615*2^1327106-1 is not prime.  Res64: 24F7458D102FEBCB  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 16:53:26]
755*2^1327106-1 is not prime.  Res64: 53C1B623C3CA9130  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 16:53:27]
887*2^1327106-1 is not prime.  Res64: 1F60C254A5B28DCD  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 16:56:01]
979*2^1327107-1 is not prime.  Res64: 33C0E48ACF347927  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 16:58:44]
941*2^1327106-1 is not prime.  Res64: 674C44A89ACB60C1  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 16:58:45]
945*2^1327106-1 is not prime.  Res64: 8AB2EA4290CDC4CD  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 17:09:49]
769*2^1327107-1 is not prime.  Res64: 1288783E6D7E7CB3  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 17:09:50]
793*2^1327107-1 is not prime.  Res64: 6A36DB14786FA597  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 17:12:56]
825*2^1327109-1 is not prime.  Res64: 54334FA89C2E163D  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 17:15:13]
939*2^1327109-1 is not prime.  Res64: EACD899C6E64B895  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 17:19:14]
695*2^1327108-1 is not prime.  Res64: F154D9791E55C807  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 17:19:14]
813*2^1327108-1 is not prime.  Res64: A7A78D3A0766F8FE  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 17:20:09]
843*2^1327108-1 is not prime.  Res64: 708BDC801729674D  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 17:20:10]
887*2^1327108-1 is not prime.  Res64: C331469B89D6B5C1  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 17:25:31]
929*2^1327108-1 is not prime.  Res64: BA39642692A298FA  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 17:25:31]
775*2^1327109-1 is not prime.  Res64: 0883E78FA9B958F5  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 17:30:33]
755*2^1327110-1 is not prime.  Res64: 6B24E22979F1E958  Time : 0.0 sec.
user=juhehe
[2014-07-17 17:34:46]
885*2^1327109-1 is not prime.  Res64: 2B6DA41EAF3CC378  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 17:35:37]
949*2^1327109-1 is not prime.  Res64: 1FC3441D06AAC8B4  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 17:35:37]
651*2^1327110-1 is not prime.  Res64: 891FF4E77AA2A777  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 17:45:43]
649*2^1327111-1 is not prime.  Res64: F44EFCCE66E8D440  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 17:45:44]
675*2^1327111-1 is not prime.  Res64: 34BE596290AF6A99  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 17:45:57]
845*2^1327110-1 is not prime.  Res64: 3EB604D36948C6E8  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 17:45:57]
867*2^1327110-1 is not prime.  Res64: 00494BA3CBDB09B9  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 17:46:30]
703*2^1327111-1 is not prime.  Res64: DA6018A44C7CBB2F  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 17:52:22]
679*2^1327111-1 is not prime.  Res64: 3CD6C1378B2645E8  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 17:52:23]
681*2^1327111-1 is not prime.  Res64: 1862D46512DB9570  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 18:02:25]
843*2^1327111-1 is not prime.  Res64: 3F68A0AAF55A8A3F  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 18:02:26]
867*2^1327112-1 is not prime.  Res64: 6DB50AA5DE6725A4  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 18:03:29]
985*2^1327113-1 is not prime.  Res64: 29F52CA63DF6A800  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 18:12:32]
847*2^1327113-1 is not prime.  Res64: D0CDC84A8047D899  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 18:12:35]
861*2^1327113-1 is not prime.  Res64: CBA8C8E77976F81F  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 18:12:45]
705*2^1327113-1 is not prime.  Res64: B2AA653750372310  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 18:12:47]
765*2^1327113-1 is not prime.  Res64: 6150758335A7ECBC  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 18:16:53]
635*2^1327114-1 is not prime.  Res64: 1CB141318DAA378A  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 18:16:53]
663*2^1327114-1 is not prime.  Res64: A562BAD097ACA4DE  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 18:20:47]
887*2^1327114-1 is not prime.  Res64: 6B69436D28EF20E1  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 18:23:02]
923*2^1327114-1 is not prime.  Res64: 03BAFE4498ACCF4D  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 18:29:09]
707*2^1327114-1 is not prime.  Res64: 1CB03F5135732EF4  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 18:29:10]
861*2^1327114-1 is not prime.  Res64: D2E11C0594AFBB63  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 18:37:58]
719*2^1327116-1 is not prime.  Res64: BEE86F4C6134324E  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 18:38:35]
609*2^1326827-1 is not prime.  Res64: CC6FB9C9FC2C8EF4  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 18:38:35]
685*2^1327115-1 is not prime.  Res64: 24746C23B8F707FD  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 18:39:43]
759*2^1327115-1 is not prime.  Res64: FB5A976DC5673F4C  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 18:39:44]
859*2^1327115-1 is not prime.  Res64: 360B112D99273A54  Time : 0.0 sec.
user=juhehe
[2014-07-17 18:40:31]
917*2^1327114-1 is not prime.  Res64: 75F0023B68F120BA  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 18:43:32]
895*2^1327115-1 is not prime.  Res64: 4223C05F9067B5B4  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 18:43:32]
683*2^1327116-1 is not prime.  Res64: 0322A330A1F35C96  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 18:54:45]
825*2^1327117-1 is not prime.  Res64: F348051BDC199DB4  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 18:55:52]
723*2^1327116-1 is not prime.  Res64: 72638E7AD4759FC8  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 18:55:52]
809*2^1327116-1 is not prime.  Res64: 2DD0371473D1EBB0  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 19:03:01]
615*2^1327117-1 is not prime.  Res64: E3600F4AC3E7F3C1  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 19:03:02]
649*2^1327117-1 is not prime.  Res64: F030CC203CDCD840  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 19:06:10]
727*2^1327117-1 is not prime.  Res64: 4FA0E387C462F490  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 19:06:11]
777*2^1327117-1 is not prime.  Res64: 37FE56BD9B014E88  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 19:10:07]
871*2^1327117-1 is not prime.  Res64: F1742212F45B908F  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 19:10:07]
937*2^1327117-1 is not prime.  Res64: 780C9B55E8B31665  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 19:11:14]
645*2^1327118-1 is not prime.  Res64: BDD96865E95138D3  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 19:22:01]
945*2^1327117-1 is not prime.  Res64: C72D47707B035396  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 19:22:02]
997*2^1327117-1 is not prime.  Res64: 396B266487231580  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 19:28:37]
693*2^1327119-1 is not prime.  Res64: 27F2867E4E99D59A  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 19:29:20]
731*2^1327118-1 is not prime.  Res64: 5E877DF43C50B1C4  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 19:29:21]
791*2^1327118-1 is not prime.  Res64: B877BAE8A333A995  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 19:32:23]
797*2^1327118-1 is not prime.  Res64: F043AAF3A4DB90E3  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 19:32:24]
813*2^1327118-1 is not prime.  Res64: CFB8E7610D4F9BF8  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 19:36:18]
815*2^1327118-1 is not prime.  Res64: 8720CA48A3BD6A76  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 19:36:18]
893*2^1327118-1 is not prime.  Res64: B6008DDD3DE72FD0  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 19:45:41]
861*2^1327121-1 is not prime.  Res64: 024F71F12DFECE06  Time : 0.0 sec.
user=juhehe
[2014-07-17 19:46:07]
977*2^1327118-1 is not prime.  Res64: F15552C67B2BDDA3  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 19:47:01]
979*2^1327119-1 is not prime.  Res64: 2E25A7391DA33D60  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 19:47:02]
635*2^1327120-1 is not prime.  Res64: D861E1C3ACC452F6  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 19:55:38]
765*2^1327120-1 is not prime.  Res64: E5A65C5AD0274F18  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 19:55:38]
957*2^1327120-1 is not prime.  Res64: 36F73F766DDCE158  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 19:58:40]
717*2^1327121-1 is not prime.  Res64: BF7DA9A1AD1F63BC  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 19:58:41]
741*2^1327121-1 is not prime.  Res64: 4C36E20B1BBCDA52  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 20:01:21]
879*2^1327121-1 is not prime.  Res64: 2D48A70779B8938E  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 20:01:23]
633*2^1327122-1 is not prime.  Res64: 14EF919450ACC9F3  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 20:02:06]
711*2^1327122-1 is not prime.  Res64: ADD3002D4F92F06C  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 20:12:10]
651*2^1327122-1 is not prime.  Res64: 6A4906E8EE6D680D  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 20:12:11]
683*2^1327122-1 is not prime.  Res64: C17B3E8DD7084549  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 20:19:18]
873*2^1327123-1 is not prime.  Res64: 0C64A4384FCDC2F6  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 20:22:50]
903*2^1327122-1 is not prime.  Res64: B10A4833031EC0B7  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 20:22:50]
941*2^1327122-1 is not prime.  Res64: 96432E710AA041BA  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 20:25:46]
983*2^1327122-1 is not prime.  Res64: DED171D6DD0011C3  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 20:25:47]
693*2^1327123-1 is not prime.  Res64: 1BA1A0F7F24DAC20  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 20:28:14]
813*2^1327123-1 is not prime.  Res64: 8D358C0266D526AB  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 20:28:14]
835*2^1327123-1 is not prime.  Res64: E33962EA4E5AC0DB  Time : 0.0 sec.
user=juhehe
[2014-07-17 20:33:44]
957*2^1327122-1 is not prime.  Res64: 9E01D88A68EFC1AB  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 20:35:52]
935*2^1327124-1 is not prime.  Res64: C9A71F5BABF4ED6A  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 20:39:11]
925*2^1327123-1 is not prime.  Res64: 5C237F464DF33598  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 20:39:11]
837*2^1327124-1 is not prime.  Res64: 61D494AA59E650F2  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 20:49:42]
923*2^1327124-1 is not prime.  Res64: B39F33B128A3C0F7  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 20:49:43]
929*2^1327124-1 is not prime.  Res64: 03DCA1242C26BAE1  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 20:51:32]
669*2^1327125-1 is not prime.  Res64: 4C3851F93E5C5AFA  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 20:51:32]
727*2^1327125-1 is not prime.  Res64: 1D8BA6E415C243BB  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 20:52:09]
867*2^1327126-1 is not prime.  Res64: 26DDBC6696CF8FB2  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 20:55:06]
787*2^1327125-1 is not prime.  Res64: 52A9026609EA1520  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 20:55:06]
877*2^1327125-1 is not prime.  Res64: E4E6758AAE591A54  Time : 0.0 sec.
user=juhehe
[2014-07-17 20:56:16]
843*2^1327124-1 is not prime.  Res64: D0604233F9D134DC  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 21:06:20]
919*2^1327125-1 is not prime.  Res64: 7E739981CD05549B  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 21:06:20]
677*2^1327126-1 is not prime.  Res64: 5CCE54E32C0EE610  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 21:09:31]
963*2^1327127-1 is not prime.  Res64: C044CC1ED6D6A02B  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 21:17:02]
891*2^1327126-1 is not prime.  Res64: C1BFDA0507DEEC98  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 21:17:02]
911*2^1327126-1 is not prime.  Res64: B555B5104986A28A  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 21:18:26]
945*2^1327126-1 is not prime.  Res64: 401B295C7E7F2F88  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 21:18:27]
645*2^1327127-1 is not prime.  Res64: 775933BCCA78A130  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 21:23:10]
705*2^1327127-1 is not prime.  Res64: 79179453CC74F5EF  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 21:23:11]
735*2^1327127-1 is not prime.  Res64: 0637B02FE70C0444  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 21:26:31]
789*2^1327128-1 is not prime.  Res64: 7A682B864FF145B9  Time : 0.0 sec.
user=juhehe
[2014-07-17 21:28:43]
955*2^1327127-1 is not prime.  Res64: B83EACB87BD34500  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 21:33:52]
699*2^1327128-1 is not prime.  Res64: 70EF3B3D19CFAF3C  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 21:33:52]
767*2^1327128-1 is not prime.  Res64: 9B36C41F59C7ACC1  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 21:43:30]
675*2^1327129-1 is not prime.  Res64: 6A77D5D301D8DA6C  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 21:44:07]
681*2^1327129-1 is not prime.  Res64: E6129812AFC86D87  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 21:44:18]
797*2^1327128-1 is not prime.  Res64: 338DBC3AF4F91D8C  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 21:44:18]
947*2^1327128-1 is not prime.  Res64: 54EA5B30E5BD37CE  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 21:44:22]
959*2^1327128-1 is not prime.  Res64: D4A82810B22E02A5  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 21:44:22]
601*2^1327129-1 is not prime.  Res64: 21CACD0F7AE0638E  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 21:47:45]
619*2^1327129-1 is not prime.  Res64: 28A38B8CDBBF326E  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 21:47:45]
625*2^1327129-1 is not prime.  Res64: 9BC820235168E4EA  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 22:00:06]
645*2^1327130-1 is not prime.  Res64: E34AB141FFC01857  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 22:01:16]
721*2^1327129-1 is not prime.  Res64: 612EB61E774711C1  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 22:01:17]
747*2^1327129-1 is not prime.  Res64: ECD4A03DBA91C452  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 22:11:30]
831*2^1327129-1 is not prime.  Res64: AED3B64B7A31AF42  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 22:11:31]
877*2^1327129-1 is not prime.  Res64: 8A3391A9539DBFD8  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 22:11:51]
885*2^1327129-1 is not prime.  Res64: 14431568B1EB6B24  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 22:11:52]
987*2^1327129-1 is not prime.  Res64: 3E4B9555B7E5D85F  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 22:15:01]
735*2^1327130-1 is not prime.  Res64: 348142ACC1D509ED  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 22:15:03]
783*2^1327130-1 is not prime.  Res64: 366389EA162F505C  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 22:15:51]
639*2^1327131-1 is not prime.  Res64: 9C3E13E839C938D4  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 22:19:36]
709*2^1327131-1 is not prime.  Res64: 2D127FAF3F8D4C28  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 22:28:07]
791*2^1327130-1 is not prime.  Res64: D7CE8F4941EC2300  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 22:28:07]
831*2^1327130-1 is not prime.  Res64: 094E95D4873DECE9  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 22:33:26]
869*2^1327132-1 is not prime.  Res64: 84893603175EF822  Time : 0.0 sec.
user=juhehe
[2014-07-17 22:34:35]
851*2^1327130-1 is not prime.  Res64: 7F49BE9D02924005  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 22:38:14]
769*2^1327131-1 is not prime.  Res64: D563BC20C7054E14  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 22:38:15]
793*2^1327131-1 is not prime.  Res64: C39FAB3433297AEB  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 22:38:30]
895*2^1327131-1 is not prime.  Res64: 99317B87AFD753A1  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 22:38:30]
903*2^1327131-1 is not prime.  Res64: C6E43F38EA2ADA52  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 22:40:16]
605*2^1327132-1 is not prime.  Res64: CA61CC6F52BC4DF4  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 22:40:17]
777*2^1327132-1 is not prime.  Res64: 61B7F1656F3A1BC8  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 22:50:52]
995*2^1327132-1 is not prime.  Res64: B7E287DE8AE42AC8  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 22:54:31]
897*2^1327132-1 is not prime.  Res64: 4BA8C1442C793D2F  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 22:54:32]
903*2^1327132-1 is not prime.  Res64: 9D227736AED33670  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 23:03:38]
649*2^1327133-1 is not prime.  Res64: FFF3C42C1046AB87  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 23:03:40]
741*2^1327133-1 is not prime.  Res64: 6183F1D15904BF01  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 23:05:29]
811*2^1327133-1 is not prime.  Res64: 9039075E302FD7CF  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 23:05:29]
837*2^1327133-1 is not prime.  Res64: 3537C239EBFC3A8C  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 23:07:12]
985*2^1327133-1 is not prime.  Res64: C59B4FE193C05551  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 23:07:14]
677*2^1327134-1 is not prime.  Res64: DE35BE78833F2AA4  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 23:08:35]
747*2^1327134-1 is not prime.  Res64: EC861AA002117C82  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 23:22:16]
707*2^1327134-1 is not prime.  Res64: 25A749A782DAED0C  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 23:22:16]
731*2^1327134-1 is not prime.  Res64: 086DDC9746E796D9  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 23:24:48]
659*2^1327136-1 is not prime.  Res64: 740E885D1A789EE3  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 23:31:53]
815*2^1327134-1 is not prime.  Res64: 878C00FA1D2A05BC  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 23:31:53]
885*2^1327134-1 is not prime.  Res64: B05512BB155DB2B1  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 23:32:18]
603*2^1327135-1 is not prime.  Res64: 1A6FB5465852DE13  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 23:32:18]
855*2^1327135-1 is not prime.  Res64: 517A8F881E51C3A8  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 23:34:07]
979*2^1327135-1 is not prime.  Res64: 89A1B257B558F161  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 23:34:07]
609*2^1327136-1 is not prime.  Res64: 3D374781BE5D1001  Time : 0.0 sec.
user=juhehe
[2014-07-17 23:39:39]
969*2^1327135-1 is not prime.  Res64: A7E4F952ED22D634  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 23:41:42]
717*2^1327136-1 is not prime.  Res64: DD8138AAABC945EB  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 23:48:52]
683*2^1327136-1 is not prime.  Res64: 04BB05DF20664A9E  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 23:48:53]
689*2^1327136-1 is not prime.  Res64: BE7332BE6FB630A5  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 23:58:27]
747*2^1327136-1 is not prime.  Res64: B33C7ECD1DF46F65  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 23:58:27]
755*2^1327136-1 is not prime.  Res64: F30523911533AA47  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 23:58:32]
759*2^1327136-1 is not prime.  Res64: 88B91ADFFEAFBDC6  Time : 0.0 sec.
user=mdettweiler
[2014-07-17 23:58:33]
773*2^1327136-1 is not prime.  Res64: 29ADEAB0B05B41C6  Time : 0.0 sec.
user=sm5ymt
[2014-07-17 23:59:03]
875*2^1327136-1 is not prime.  Res64: 0F95CABBF60B6813  Time : 0.0 sec.
user=mdettweiler
[2014-07-18 00:00:30]
845*2^1327136-1 is not prime.  Res64: C597F6F044D705BA  Time : 0.0 sec.
user=mdettweiler
[2014-07-18 00:00:31]
873*2^1327136-1 is not prime.  Res64: 304B382D88F0998B  Time : 0.0 sec.