user=mdettweiler
[2015-01-24 00:04:34]
615*2^1389479-1 is not prime.  Res64: DD43D0092CA6641F  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 00:04:36]
619*2^1389479-1 is not prime.  Res64: 5AA0D861B6FFF203  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 00:05:07]
633*2^1389479-1 is not prime.  Res64: A4404B9886F3CB0F  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 00:05:08]
669*2^1389479-1 is not prime.  Res64: 567CC1C33E1CAB44  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 00:17:28]
685*2^1389479-1 is not prime.  Res64: 4CC025E71D29C62E  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 00:17:28]
789*2^1389479-1 is not prime.  Res64: 5E6D7914BF72D7D9  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 00:17:47]
841*2^1389479-1 is not prime.  Res64: F1A087815FACB50A  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 00:17:48]
855*2^1389479-1 is not prime.  Res64: BA3E37DE804F1950  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 00:31:20]
909*2^1389479-1 is not prime.  Res64: 82395423C0298364  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 00:31:20]
999*2^1389479-1 is not prime.  Res64: 6A349B09BB0DC7BD  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 00:31:28]
629*2^1389480-1 is not prime.  Res64: 8C5C5EADCEF1B8C4  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 00:31:28]
747*2^1389480-1 is not prime.  Res64: 8A9959CC31135C3C  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 00:43:34]
765*2^1389480-1 is not prime.  Res64: D8D23F459FA7054D  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 00:43:34]
819*2^1389480-1 is not prime.  Res64: 8A60FFF0FCE7C075  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 00:44:00]
747*2^1389481-1 is not prime.  Res64: F75301C5A6CA3404  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 00:44:00]
811*2^1389481-1 is not prime.  Res64: 8ED7F2DC1FCFE2D6  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 00:57:25]
979*2^1389481-1 is not prime.  Res64: 9096510D74CB63CD  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 00:57:26]
635*2^1389482-1 is not prime.  Res64: 2924E36A7DD4D0EE  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 00:57:31]
705*2^1389482-1 is not prime.  Res64: 29DE52609EEDF68A  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 00:57:31]
873*2^1389482-1 is not prime.  Res64: EDB69BAD288CF41D  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 01:09:41]
953*2^1389482-1 is not prime.  Res64: C1FCF85543498BBD  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 01:09:41]
963*2^1389482-1 is not prime.  Res64: 307CA1F4C661EE4C  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 01:10:00]
977*2^1389482-1 is not prime.  Res64: 2420B4C6FBB02564  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 01:10:01]
981*2^1389482-1 is not prime.  Res64: 98D81B703113CA78  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 01:23:32]
995*2^1389482-1 is not prime.  Res64: D65435C57B43623F  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 01:23:32]
609*2^1389483-1 is not prime.  Res64: E26749EDA1A90EB2  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 01:23:37]
789*2^1389483-1 is not prime.  Res64: AEAB93245F040CEC  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 01:23:37]
795*2^1389483-1 is not prime.  Res64: E10CC74508DBA0F6  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 01:35:50]
801*2^1389483-1 is not prime.  Res64: C3087C09EDB891F0  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 01:35:51]
805*2^1389483-1 is not prime.  Res64: 3903ED431633B840  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 01:36:08]
823*2^1389483-1 is not prime.  Res64: 4E434503F525A36C  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 01:36:09]
901*2^1389483-1 is not prime.  Res64: 655D90B562E26C73  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 01:49:34]
963*2^1389483-1 is not prime.  Res64: DF59AF0B7B32D216  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 01:49:34]
705*2^1389484-1 is not prime.  Res64: 87CCB654FCE3C7C0  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 01:49:45]
719*2^1389484-1 is not prime.  Res64: E34BE520721B1659  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 01:49:45]
825*2^1389484-1 is not prime.  Res64: 006A75E210C9DC55  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 02:01:51]
927*2^1389484-1 is not prime.  Res64: C2820E76214B5170  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 02:01:52]
983*2^1389484-1 is not prime.  Res64: 356A44093A8B1393  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 02:02:27]
619*2^1389485-1 is not prime.  Res64: 05554C71D6289C6D  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 02:02:28]
645*2^1389485-1 is not prime.  Res64: DBE674E8E884A994  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 02:15:40]
651*2^1389485-1 is not prime.  Res64: 0B62F86B24B0B6DE  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 02:15:40]
657*2^1389485-1 is not prime.  Res64: D3F20DB4E6A6615C  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 02:15:56]
669*2^1389485-1 is not prime.  Res64: 9BEA632EA8D322D7  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 02:15:57]
675*2^1389485-1 is not prime.  Res64: 7BA3518A45BB3D7C  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 02:28:08]
691*2^1389485-1 is not prime.  Res64: 468183390F517458  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 02:28:08]
787*2^1389485-1 is not prime.  Res64: 62C05934C79DE908  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 02:28:54]
811*2^1389485-1 is not prime.  Res64: 5D1E36B1847342E6  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 02:28:55]
871*2^1389485-1 is not prime.  Res64: 905935394E9F0E75  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 02:41:56]
885*2^1389485-1 is not prime.  Res64: 3C3DEF288AD6716B  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 02:41:57]
951*2^1389485-1 is not prime.  Res64: AC2FAA8C53A37102  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 02:42:05]
657*2^1389486-1 is not prime.  Res64: C4E9BB33EAA58DF9  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 02:42:05]
683*2^1389486-1 is not prime.  Res64: 3642FB1452C72188  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 02:54:27]
755*2^1389486-1 is not prime.  Res64: 6238C04FADFA8FC0  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 02:54:27]
815*2^1389486-1 is not prime.  Res64: 0E2BD80DBD12D7A0  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 02:55:05]
917*2^1389486-1 is not prime.  Res64: 2470E4B695E9E8CF  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 02:55:06]
983*2^1389486-1 is not prime.  Res64: 9B69E918F0A4D8C8  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 03:09:01]
609*2^1389487-1 is not prime.  Res64: FD4491C4E36F422F  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 03:09:01]
619*2^1389487-1 is not prime.  Res64: 9D7DDFAD6B012014  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 03:09:03]
625*2^1389487-1 is not prime.  Res64: AEEAD03ADBD7AF58  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 03:09:04]
729*2^1389487-1 is not prime.  Res64: 2EF407AED0A174F4  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 03:21:06]
841*2^1389487-1 is not prime.  Res64: B0B4B0BD683BB168  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 03:21:06]
961*2^1389487-1 is not prime.  Res64: 3BD89536B6B519C9  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 03:22:24]
659*2^1389488-1 is not prime.  Res64: C652B9FFF83A7456  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 03:22:24]
915*2^1389488-1 is not prime.  Res64: DB2ABF8BB726A065  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 03:35:04]
609*2^1389489-1 is not prime.  Res64: BFF97562BC47538E  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 03:35:06]
615*2^1389489-1 is not prime.  Res64: 35EFB9F3F69CCECD  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 03:35:10]
681*2^1389489-1 is not prime.  Res64: A0394D63F7151B7C  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 03:35:11]
727*2^1389489-1 is not prime.  Res64: 910F00662070C93E  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 03:47:10]
747*2^1389489-1 is not prime.  Res64: 7C917732A50C1031  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 03:47:10]
835*2^1389489-1 is not prime.  Res64: 3325641E8A774DFC  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 03:48:27]
999*2^1389489-1 is not prime.  Res64: 8A5E34A290ED0E73  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 03:48:27]
603*2^1389490-1 is not prime.  Res64: 2E6841920EEA5067  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 04:01:11]
663*2^1389490-1 is not prime.  Res64: 416C593CF590D8E2  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 04:01:11]
945*2^1389490-1 is not prime.  Res64: B2ED1BCDA47FF9A8  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 04:01:14]
957*2^1389490-1 is not prime.  Res64: 930B8581C472BEAC  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 04:01:15]
987*2^1389490-1 is not prime.  Res64: 37C7567BD2A28D4B  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 04:13:07]
675*2^1389491-1 is not prime.  Res64: 53D50A22B7595C9F  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 04:13:07]
693*2^1389491-1 is not prime.  Res64: EA2685F5098B5143  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 04:14:23]
753*2^1389491-1 is not prime.  Res64: 7F0369D2F55ED8CC  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 04:14:24]
775*2^1389491-1 is not prime.  Res64: 91A1BD16CEA3F236  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 04:27:22]
909*2^1389491-1 is not prime.  Res64: 8EB2032D51DB1FB0  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 04:27:22]
843*2^1389491-1 is not prime.  Res64: 1479D55C0CD7C9CC  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 04:27:22]
913*2^1389491-1 is not prime.  Res64: A7BBC6B80E86EB15  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 04:27:22]
855*2^1389491-1 is not prime.  Res64: 49D75EA67DC7E44F  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 04:39:04]
991*2^1389491-1 is not prime.  Res64: 869D3BB32EC750D0  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 04:39:04]
635*2^1389492-1 is not prime.  Res64: F3CCBD9049BD2F1E  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 04:40:14]
675*2^1389492-1 is not prime.  Res64: CE5437927C5C1153  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 04:40:15]
693*2^1389492-1 is not prime.  Res64: 5C2A0BC146585316  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 04:53:20]
719*2^1389492-1 is not prime.  Res64: 5CF632C7B092E3D0  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 04:53:21]
819*2^1389492-1 is not prime.  Res64: DA5F004480713EE6  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 04:53:23]
887*2^1389492-1 is not prime.  Res64: EF81FD73FAA5F961  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 04:53:24]
893*2^1389492-1 is not prime.  Res64: FCF6123071C51CE0  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 05:04:57]
903*2^1389492-1 is not prime.  Res64: 9F43806DD58ACA90  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 05:04:59]
929*2^1389492-1 is not prime.  Res64: 4234D55099D72B5B  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 05:06:08]
933*2^1389492-1 is not prime.  Res64: 92BE61F576D420A9  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 05:06:09]
945*2^1389492-1 is not prime.  Res64: FB26EEA9B6025062  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 05:19:11]
959*2^1389492-1 is not prime.  Res64: 306A2987C7A980BB  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 05:19:11]
619*2^1389493-1 is not prime.  Res64: 6F293C715CAE789F  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 05:19:15]
651*2^1389493-1 is not prime.  Res64: 269C31B205D1A27C  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 05:19:15]
775*2^1389493-1 is not prime.  Res64: 17B3E97D346FA781  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 05:31:11]
847*2^1389493-1 is not prime.  Res64: 16C8F69E6CDC9EBF  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 05:31:12]
855*2^1389493-1 is not prime.  Res64: 2646D8112EE5F58E  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 05:32:13]
901*2^1389493-1 is not prime.  Res64: 6D64022888609685  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 05:32:13]
951*2^1389493-1 is not prime.  Res64: B3ABB859EF056EB4  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 05:45:09]
961*2^1389493-1 is not prime.  Res64: B97F83D134C295FA  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 05:45:10]
605*2^1389494-1 is not prime.  Res64: 29C9B48BBA653F8D  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 05:45:13]
641*2^1389494-1 is not prime.  Res64: 002A1B84053B689B  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 05:45:13]
677*2^1389494-1 is not prime.  Res64: A87B1C7CA6A791D1  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 05:57:12]
693*2^1389494-1 is not prime.  Res64: 77C3FE457FD37EDE  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 05:57:13]
743*2^1389494-1 is not prime.  Res64: 60DE8B1263EF6F72  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 05:58:19]
813*2^1389494-1 is not prime.  Res64: FA624833AC0BAC1E  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 05:58:20]
873*2^1389494-1 is not prime.  Res64: 86DB78B880004D6A  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 06:11:20]
1001*2^1389494-1 is not prime.  Res64: 88EE0DF4AF7FFBD6  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 06:11:21]
735*2^1389495-1 is not prime.  Res64: 1C793F28F514A02D  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 06:11:25]
923*2^1389494-1 is not prime.  Res64: 608935C29BFBF5A9  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 06:11:25]
951*2^1389494-1 is not prime.  Res64: B509E4CC5B82943E  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 06:23:07]
765*2^1389495-1 is not prime.  Res64: 404E847861CA20D8  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 06:23:08]
805*2^1389495-1 is not prime.  Res64: D8DC2F11B9D30E6E  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 06:24:20]
831*2^1389495-1 is not prime.  Res64: 6B306502A6B77749  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 06:24:20]
853*2^1389495-1 is not prime.  Res64: D66F9AFC934837F1  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 06:37:24]
695*2^1389496-1 is not prime.  Res64: 9EE94F3F2D08AB85  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 06:37:25]
777*2^1389496-1 is not prime.  Res64: 9166B0DFFD8B1FEA  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 06:37:26]
999*2^1389495-1 is not prime.  Res64: 28E1B5791D8F0BBC  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 06:37:27]
677*2^1389496-1 is not prime.  Res64: E4D73E61CC058676  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 06:49:06]
903*2^1389496-1 is not prime.  Res64: DDC34BFB0C2B85D1  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 06:49:06]
933*2^1389496-1 is not prime.  Res64: 5A73D111960D916E  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 06:50:18]
957*2^1389496-1 is not prime.  Res64: 8854A4D8ED1800F4  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 06:50:18]
601*2^1389497-1 is not prime.  Res64: 2AB5B4CF4B065E9E  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 07:03:24]
645*2^1389497-1 is not prime.  Res64: 9D9E115036D80F4D  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 07:03:25]
691*2^1389497-1 is not prime.  Res64: 92BCFB9ED94FF21A  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 07:03:28]
741*2^1389497-1 is not prime.  Res64: 66DED602223F7AF5  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 07:03:30]
777*2^1389497-1 is not prime.  Res64: 5E9FA35C016DBDC8  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 07:15:03]
829*2^1389497-1 is not prime.  Res64: 65A7938DACB2378A  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 07:15:03]
949*2^1389497-1 is not prime.  Res64: 68348FA45791345A  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 07:16:18]
967*2^1389497-1 is not prime.  Res64: DF14CED3C3EBFDB5  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 07:16:18]
985*2^1389497-1 is not prime.  Res64: B65DF400022F7D48  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 07:29:50]
621*2^1389498-1 is not prime.  Res64: 1244B013E0F5EA9C  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 07:29:50]
651*2^1389498-1 is not prime.  Res64: 88B85B92B74895D8  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 07:29:55]
681*2^1389498-1 is not prime.  Res64: AFAC07BD8CD9D872  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 07:29:55]
683*2^1389498-1 is not prime.  Res64: E298DBE5F3A58618  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 07:41:08]
731*2^1389498-1 is not prime.  Res64: 754C437935C81216  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 07:41:09]
747*2^1389498-1 is not prime.  Res64: 7339DF791F26BEE3  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 07:42:15]
815*2^1389498-1 is not prime.  Res64: 31F98C3DF61CB1A0  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 07:42:16]
675*2^1389499-1 is not prime.  Res64: C7A6D197545BF38B  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 07:55:51]
681*2^1389499-1 is not prime.  Res64: 4CC71B494FED009A  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 07:55:51]
735*2^1389499-1 is not prime.  Res64: 3C2D23A12DB38C76  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 07:55:57]
829*2^1389499-1 is not prime.  Res64: 06540646562435B4  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 07:55:57]
859*2^1389499-1 is not prime.  Res64: 873F7A275B320801  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 08:07:04]
913*2^1389499-1 is not prime.  Res64: 6987B42B827503AF  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 08:07:04]
735*2^1389500-1 is not prime.  Res64: B27819BA9B958CA0  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 08:08:16]
827*2^1389500-1 is not prime.  Res64: 9E7B528DD7E3119A  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 08:08:17]
923*2^1389500-1 is not prime.  Res64: 10B6500370087723  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 08:21:52]
927*2^1389500-1 is not prime.  Res64: A2B6F120820DB53D  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 08:21:53]
959*2^1389500-1 is not prime.  Res64: 66D5FEF71063FF84  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 08:22:02]
977*2^1389500-1 is not prime.  Res64: B3E930D1031BAACC  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 08:22:03]
983*2^1389500-1 is not prime.  Res64: B7DC6FA3180653F8  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 08:33:08]
661*2^1389501-1 is not prime.  Res64: AE78F92993B39755  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 08:33:08]
685*2^1389501-1 is not prime.  Res64: F4914E7E479C5995  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 08:34:14]
745*2^1389501-1 is not prime.  Res64: 5D642314E33251B9  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 08:34:15]
751*2^1389501-1 is not prime.  Res64: 4215BD4542114EC9  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 08:47:50]
781*2^1389501-1 is not prime.  Res64: 67F7DF29E3D98544  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 08:47:51]
805*2^1389501-1 is not prime.  Res64: 79FAF140B356DF83  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 08:48:12]
825*2^1389501-1 is not prime.  Res64: 4BAEA689FAC0D08E  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 08:48:13]
837*2^1389501-1 is not prime.  Res64: 45FEFD78CDE24719  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 08:59:13]
849*2^1389501-1 is not prime.  Res64: 11422E6B640F0FFE  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 08:59:13]
865*2^1389501-1 is not prime.  Res64: CCAC1D33B9004CCE  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 09:00:22]
955*2^1389501-1 is not prime.  Res64: 8147E3FA36A0ABD8  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 09:00:23]
975*2^1389501-1 is not prime.  Res64: 2129B8BF257C4EB4  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 09:13:43]
979*2^1389501-1 is not prime.  Res64: 546DB6FFC8E6641F  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 09:13:43]
815*2^1389502-1 is not prime.  Res64: 98C247BB4DC07E56  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 09:14:04]
867*2^1389502-1 is not prime.  Res64: 4970DCC09816AD95  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 09:14:04]
897*2^1389502-1 is not prime.  Res64: D63ED3306BA04321  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 09:25:12]
947*2^1389502-1 is not prime.  Res64: 59035A601A753F97  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 09:25:12]
739*2^1389503-1 is not prime.  Res64: 11FA862ACA0547A6  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 09:26:31]
771*2^1389503-1 is not prime.  Res64: FFCE639D200C3C89  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 09:26:31]
859*2^1389503-1 is not prime.  Res64: 2501BEB2121DED80  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 09:39:50]
889*2^1389503-1 is not prime.  Res64: 6970AA40E52A8556  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 09:39:50]
969*2^1389503-1 is not prime.  Res64: 88078773F296AC0C  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 09:40:03]
635*2^1389504-1 is not prime.  Res64: E2E3786EB850DDF8  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 09:40:03]
719*2^1389504-1 is not prime.  Res64: E294A2809A497BEA  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 09:51:19]
903*2^1389504-1 is not prime.  Res64: CE447670E0FEFD60  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 09:51:20]
959*2^1389504-1 is not prime.  Res64: D6DC6EB2EED784FA  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 09:52:31]
649*2^1389505-1 is not prime.  Res64: 860BCA10A247D34F  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 09:52:31]
679*2^1389505-1 is not prime.  Res64: C229CB6BB6FACA9E  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 10:06:00]
687*2^1389505-1 is not prime.  Res64: 376F293EAB81EBBD  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 10:06:00]
715*2^1389505-1 is not prime.  Res64: 7B06E8B88444C4A8  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 10:06:01]
799*2^1389505-1 is not prime.  Res64: 57413CD9573494F3  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 10:06:01]
831*2^1389505-1 is not prime.  Res64: 1CCC131B22AB62BB  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 10:17:20]
847*2^1389505-1 is not prime.  Res64: 1C40442BABDCE0FB  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 10:17:21]
897*2^1389505-1 is not prime.  Res64: E190851F164234FC  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 10:18:30]
997*2^1389505-1 is not prime.  Res64: 8DD06C0C88642289  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 10:18:30]
617*2^1389506-1 is not prime.  Res64: C136816BDEA5C639  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 10:32:04]
893*2^1389506-1 is not prime.  Res64: 890FCFA3A96D571C  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 10:32:04]
921*2^1389506-1 is not prime.  Res64: CE154E7707415243  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 10:32:06]
717*2^1389506-1 is not prime.  Res64: 6DA96898EF60B361  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 10:32:06]
837*2^1389506-1 is not prime.  Res64: 138756A4510D5F6B  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 10:43:24]
923*2^1389506-1 is not prime.  Res64: A60E9C99196AC00B  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 10:43:24]
935*2^1389506-1 is not prime.  Res64: 9C7D01EB54DD7EF6  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 10:44:34]
981*2^1389506-1 is not prime.  Res64: EF469F276BD5024F  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 10:44:34]
781*2^1389507-1 is not prime.  Res64: F5B9993D71EF6D17  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 10:58:05]
879*2^1389507-1 is not prime.  Res64: D9306086C3E036C7  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 10:58:05]
913*2^1389507-1 is not prime.  Res64: 4015C2125853494B  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 10:58:07]
931*2^1389507-1 is not prime.  Res64: F108B9F66A5E952A  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 10:58:07]
705*2^1389508-1 is not prime.  Res64: C4D4985FE81A0F39  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 11:09:30]
813*2^1389508-1 is not prime.  Res64: 098725EA5C917A72  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 11:09:31]
927*2^1389508-1 is not prime.  Res64: 20F9F5031C177CA2  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 11:10:36]
631*2^1389509-1 is not prime.  Res64: 8A504C66EAE7E6F0  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 11:10:37]
655*2^1389509-1 is not prime.  Res64: 2347FFDB5F8FAACA  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 11:24:13]
711*2^1389509-1 is not prime.  Res64: 1DD0E376E3C210FC  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 11:24:13]
727*2^1389509-1 is not prime.  Res64: FE65C343CD62117B  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 11:24:16]
771*2^1389509-1 is not prime.  Res64: E7A7008EED427A60  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 11:24:16]
799*2^1389509-1 is not prime.  Res64: 11B737940D2D40FA  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 11:35:50]
811*2^1389509-1 is not prime.  Res64: 7D69B8926204F6C5  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 11:35:50]
783*2^1389510-1 is not prime.  Res64: B8867E3D1B74C198  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 11:36:38]
923*2^1389510-1 is not prime.  Res64: 8AAEECB6F9FF6658  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 11:36:39]
619*2^1389511-1 is not prime.  Res64: 49BF5052023F019D  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 11:50:12]
651*2^1389511-1 is not prime.  Res64: 4955564D631F9460  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 11:50:13]
771*2^1389511-1 is not prime.  Res64: B62CF5E1E7A76800  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 11:50:19]
625*2^1389511-1 is not prime.  Res64: 4392127382FF288C  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 11:50:19]
645*2^1389511-1 is not prime.  Res64: A3A6AACA96B6A563  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 12:01:57]
819*2^1389511-1 is not prime.  Res64: 8C037600001CD746  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 12:01:57]
993*2^1389511-1 is not prime.  Res64: 272A9874AAA7E80C  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 12:02:40]
623*2^1389512-1 is not prime.  Res64: 671FEB1E88CC13F9  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 12:02:41]
645*2^1389512-1 is not prime.  Res64: 51F56D7EB7D47666  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 12:16:12]
683*2^1389512-1 is not prime.  Res64: 73314CA873AE42C2  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 12:16:13]
833*2^1389512-1 is not prime.  Res64: C4867BCC39523606  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 12:16:18]
691*2^1389513-1 is not prime.  Res64: 75B7919471B9725B  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 12:16:19]
871*2^1389513-1 is not prime.  Res64: 231ECA2A1F23A959  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 12:28:06]
921*2^1389513-1 is not prime.  Res64: 9BE5EA37C8FCBB58  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 12:28:07]
833*2^1389514-1 is not prime.  Res64: 3A99FE2E54643007  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 12:28:51]
891*2^1389514-1 is not prime.  Res64: 4812EC18F2F035D6  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 12:28:51]
941*2^1389514-1 is not prime.  Res64: 47F49B37CE663AB1  Time : 0.0 sec.
user=juhehe
[2015-01-24 12:38:05]
895*2^1389513-1 is not prime.  Res64: 986CD2009F0443A2  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 12:42:19]
993*2^1389514-1 is not prime.  Res64: FCD33BE25427D2D9  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 12:42:19]
679*2^1389515-1 is not prime.  Res64: 8F733FD652E88820  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 12:42:26]
735*2^1389515-1 is not prime.  Res64: EB9E07C1D718FEEC  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 12:42:26]
825*2^1389515-1 is not prime.  Res64: CA10A5247FFB23E1  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 12:54:11]
943*2^1389515-1 is not prime.  Res64: 578E8B1E04CDE278  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 12:54:11]
949*2^1389515-1 is not prime.  Res64: 08454E92AB9AF5A1  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 12:55:01]
629*2^1389516-1 is not prime.  Res64: F0E03CE5D8578B66  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 12:55:01]
669*2^1389516-1 is not prime.  Res64: 0788B08C83C6F2D3  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 13:08:18]
723*2^1389516-1 is not prime.  Res64: 84780A9194C18CB3  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 13:08:19]
749*2^1389516-1 is not prime.  Res64: 1A95AA596903E62A  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 13:08:32]
969*2^1389516-1 is not prime.  Res64: 324E84774F7E4D17  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 13:08:33]
717*2^1389517-1 is not prime.  Res64: 31653FCA4945206D  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 13:20:27]
729*2^1389517-1 is not prime.  Res64: 7A7F15E1856FA79A  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 13:20:27]
895*2^1389517-1 is not prime.  Res64: FDB12A7A4F1AB5B7  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 13:21:05]
919*2^1389517-1 is not prime.  Res64: 35A37742F282B1B1  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 13:21:06]
603*2^1389518-1 is not prime.  Res64: 4A9213DE18ADB1A4  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 13:34:27]
623*2^1389518-1 is not prime.  Res64: A48BE4DA220F3597  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 13:34:28]
693*2^1389518-1 is not prime.  Res64: BFDC61B087BE530B  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 13:34:46]
797*2^1389518-1 is not prime.  Res64: E2FDE4E22DDFC5E9  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 13:34:46]
827*2^1389518-1 is not prime.  Res64: 324E9676AB1714B8  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 13:46:32]
833*2^1389518-1 is not prime.  Res64: 2863A82BC0964A35  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 13:46:33]
945*2^1389518-1 is not prime.  Res64: 0D895888C014B756  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 13:47:15]
663*2^1389519-1 is not prime.  Res64: 23BF3333893CD688  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 13:47:15]
723*2^1389519-1 is not prime.  Res64: 4D335B8606A024BC  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 14:00:31]
909*2^1389519-1 is not prime.  Res64: 60EEA3D0ED01D0B6  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 14:00:32]
975*2^1389519-1 is not prime.  Res64: AFFB6EEE166A042F  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 14:00:59]
629*2^1389520-1 is not prime.  Res64: E0073D7F94FFF135  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 14:01:00]
665*2^1389520-1 is not prime.  Res64: 7B93BF448EBF4562  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 14:12:34]
765*2^1389520-1 is not prime.  Res64: C0E9920211258AC4  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 14:12:34]
773*2^1389520-1 is not prime.  Res64: 824606593741C23F  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 14:13:21]
839*2^1389520-1 is not prime.  Res64: 835D5FC4F9D60FD5  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 14:13:22]
905*2^1389520-1 is not prime.  Res64: A29D465AF8C6D996  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 14:27:23]
675*2^1389521-1 is not prime.  Res64: C7D2D54AC9C579BE  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 14:27:24]
685*2^1389521-1 is not prime.  Res64: C2BC2532516743B1  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 14:27:32]
917*2^1389520-1 is not prime.  Res64: 0122DC8A08372ABB  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 14:27:33]
645*2^1389521-1 is not prime.  Res64: 0F5574B482B9F782  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 14:41:34]
735*2^1389521-1 is not prime.  Res64: B07A13F0236251FB  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 14:41:34]
805*2^1389521-1 is not prime.  Res64: 389652A9FA3F2C0B  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 14:42:08]
811*2^1389521-1 is not prime.  Res64: E3BE95844B42D7D9  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 14:42:08]
855*2^1389521-1 is not prime.  Res64: 951329BA8F30F4F9  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 15:04:38]
949*2^1389521-1 is not prime.  Res64: AAE18562B28164F4  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 15:04:40]
647*2^1389522-1 is not prime.  Res64: 079F8342576BA1A6  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 15:06:57]
861*2^1389521-1 is not prime.  Res64: B0F0C95D239A9753  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 15:06:58]
879*2^1389521-1 is not prime.  Res64: 3E335DB7B9124BBC  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 15:17:53]
657*2^1389522-1 is not prime.  Res64: C2685E3B4C60F715  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 15:17:54]
683*2^1389522-1 is not prime.  Res64: 05232084997341C1  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 15:20:05]
725*2^1389522-1 is not prime.  Res64: 937F765412C5D97F  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 15:20:05]
777*2^1389522-1 is not prime.  Res64: F8054BCC4194E65E  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 15:32:54]
797*2^1389522-1 is not prime.  Res64: EEEBBE736F29BC5E  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 15:32:55]
893*2^1389522-1 is not prime.  Res64: 3E919F6CC44B8EF0  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 15:34:23]
673*2^1389523-1 is not prime.  Res64: E6DE08D3E0998AE7  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 15:34:24]
691*2^1389523-1 is not prime.  Res64: D621D2D51D8626B3  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 15:45:03]
769*2^1389523-1 is not prime.  Res64: 9DD3EB39471E6F38  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 15:45:04]
805*2^1389523-1 is not prime.  Res64: 4512D0A5979496C8  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 15:47:20]
885*2^1389523-1 is not prime.  Res64: 49C7C36B165492B2  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 15:47:20]
889*2^1389523-1 is not prime.  Res64: 9A7A7A1CBC1EEFA2  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 16:00:04]
945*2^1389523-1 is not prime.  Res64: 205DB49D1C3A57B9  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 16:00:04]
617*2^1389524-1 is not prime.  Res64: B744CC262B319F9C  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 16:01:31]
753*2^1389524-1 is not prime.  Res64: E24DB563DAB2F6A4  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 16:01:32]
957*2^1389524-1 is not prime.  Res64: C839AD30AF97B44C  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 16:12:01]
655*2^1389525-1 is not prime.  Res64: A6E049AB7C005FDF  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 16:12:01]
699*2^1389525-1 is not prime.  Res64: 072C93AEB7EC5BFE  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 16:14:31]
781*2^1389525-1 is not prime.  Res64: 1B92C576321A717E  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 16:14:31]
919*2^1389525-1 is not prime.  Res64: CFB133F91DA0723B  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 16:27:03]
949*2^1389525-1 is not prime.  Res64: 9BC6A4F6E89103DC  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 16:27:03]
951*2^1389525-1 is not prime.  Res64: A332E86BACC9513F  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 16:28:28]
617*2^1389526-1 is not prime.  Res64: 502C93A217351965  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 16:28:28]
645*2^1389526-1 is not prime.  Res64: 720EB72DF7B1F1FE  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 16:38:51]
723*2^1389526-1 is not prime.  Res64: AF3C9619FACA5AE2  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 16:38:51]
861*2^1389526-1 is not prime.  Res64: 24066A122F7105F1  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 16:41:32]
933*2^1389526-1 is not prime.  Res64: BB8BC38F48F75CE7  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 16:41:32]
941*2^1389526-1 is not prime.  Res64: 7678CD3BFCC491E9  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 16:54:58]
685*2^1389527-1 is not prime.  Res64: A45623C815873DA8  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 16:54:58]
763*2^1389527-1 is not prime.  Res64: 3EFD4EB1F54A52FA  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 16:56:12]
831*2^1389527-1 is not prime.  Res64: 2E2B06DF582CFFFB  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 16:56:13]
841*2^1389527-1 is not prime.  Res64: E846F029F83983AF  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 17:06:40]
915*2^1389527-1 is not prime.  Res64: 5DDBCE4C97877D69  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 17:06:41]
939*2^1389527-1 is not prime.  Res64: A1BA48D7073B350D  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 17:09:16]
985*2^1389527-1 is not prime.  Res64: D2DAB509530336B4  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 17:09:17]
605*2^1389528-1 is not prime.  Res64: 5DD3E88101F9C1B9  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 17:22:51]
699*2^1389528-1 is not prime.  Res64: 79E75738FE7F7A2E  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 17:22:51]
753*2^1389528-1 is not prime.  Res64: 63476ACB90766299  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 17:23:44]
849*2^1389528-1 is not prime.  Res64: 66A7B28615879AC1  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 17:23:44]
919*2^1389529-1 is not prime.  Res64: 07D6E1AC2CC586BE  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 17:34:53]
997*2^1389529-1 is not prime.  Res64: ACAE29702138D577  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 17:34:53]
605*2^1389530-1 is not prime.  Res64: 5CA6F8FB245F6EFA  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 17:37:26]
633*2^1389530-1 is not prime.  Res64: 34D7AD0A12C77D15  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 17:37:26]
641*2^1389530-1 is not prime.  Res64: A6676F47E5930B28  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 17:51:00]
717*2^1389530-1 is not prime.  Res64: 280DA1A78B516497  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 17:51:00]
831*2^1389530-1 is not prime.  Res64: 799B9A7FC2B214AF  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 17:51:49]
861*2^1389530-1 is not prime.  Res64: FD3CC3D0C266A0DA  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 17:51:49]
705*2^1389531-1 is not prime.  Res64: 37960AFCF138AA0A  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 18:02:33]
709*2^1389531-1 is not prime.  Res64: AE32FBAB3801E409  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 18:02:34]
769*2^1389531-1 is not prime.  Res64: 1450E343A99B0E53  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 18:05:05]
775*2^1389531-1 is not prime.  Res64: 54908F0051BFB47F  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 18:05:06]
859*2^1389531-1 is not prime.  Res64: C40E069D424AA6D8  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 18:18:28]
871*2^1389531-1 is not prime.  Res64: AE61D1D5DD36A357  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 18:18:29]
975*2^1389531-1 is not prime.  Res64: 3D1CE97C8D807AF8  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 18:19:24]
999*2^1389531-1 is not prime.  Res64: C48DD492D17ADFA7  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 18:19:24]
617*2^1389532-1 is not prime.  Res64: A324316260871158  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 18:30:16]
623*2^1389532-1 is not prime.  Res64: 9C56F3B0AF93B276  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 18:30:16]
639*2^1389532-1 is not prime.  Res64: B7F09034F552C87C  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 18:32:27]
657*2^1389532-1 is not prime.  Res64: 04053C8A00E48438  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 18:32:28]
755*2^1389532-1 is not prime.  Res64: BBDF2D5417C687DF  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 18:46:13]
855*2^1389532-1 is not prime.  Res64: 4619290AEEF80FAA  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 18:46:13]
857*2^1389532-1 is not prime.  Res64: 439AD83F36212C74  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 18:47:06]
873*2^1389532-1 is not prime.  Res64: 4CCA736319859784  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 18:47:07]
875*2^1389532-1 is not prime.  Res64: 26CF73F3C4E19887  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 18:58:14]
923*2^1389532-1 is not prime.  Res64: A92E8C0F50791AF6  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 18:58:15]
933*2^1389532-1 is not prime.  Res64: ADCEDEE9B944E862  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 19:00:31]
983*2^1389532-1 is not prime.  Res64: 73CD148226962088  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 19:00:32]
987*2^1389532-1 is not prime.  Res64: 7E72D89ABAD5CC34  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 19:14:14]
697*2^1389533-1 is not prime.  Res64: 4AB8BD8A347E5016  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 19:14:14]
699*2^1389533-1 is not prime.  Res64: 1592ACD048C1B042  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 19:15:14]
831*2^1389533-1 is not prime.  Res64: CAABB4C4042A5F13  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 19:15:14]
651*2^1389534-1 is not prime.  Res64: 3A0C7184AA01CA81  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 19:26:19]
663*2^1389534-1 is not prime.  Res64: 184E27EC3EF42464  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 19:26:19]
791*2^1389534-1 is not prime.  Res64: 0228B9ACE87B7619  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 19:28:13]
807*2^1389534-1 is not prime.  Res64: 14294BD4033C7EF7  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 19:28:13]
863*2^1389534-1 is not prime.  Res64: 5BE43AD96D439EB8  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 19:42:18]
947*2^1389534-1 is not prime.  Res64: 66BA6347CEED8E29  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 19:42:18]
951*2^1389534-1 is not prime.  Res64: 3DB34456D82DC8E1  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 19:43:27]
983*2^1389534-1 is not prime.  Res64: 49559E474D3FE5B5  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 19:43:27]
609*2^1389535-1 is not prime.  Res64: 723A16EB6CEB3115  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 19:54:25]
625*2^1389535-1 is not prime.  Res64: 850945A3B98F2039  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 19:54:26]
759*2^1389535-1 is not prime.  Res64: 0576202727AF0EA8  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 19:56:32]
873*2^1389535-1 is not prime.  Res64: 3E6EF361879604E7  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 19:56:32]
973*2^1389535-1 is not prime.  Res64: 742266B7ECF2FE05  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 20:10:08]
645*2^1389536-1 is not prime.  Res64: 456348918239DDCF  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 20:10:08]
657*2^1389536-1 is not prime.  Res64: 7F17A57C7D0F4D9F  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 20:11:22]
857*2^1389536-1 is not prime.  Res64: 9B5A73A79AFF243A  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 20:11:22]
903*2^1389536-1 is not prime.  Res64: 1564C1360E4CDAFF  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 20:23:23]
741*2^1389537-1 is not prime.  Res64: 074373C783D9C754  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 20:23:23]
805*2^1389537-1 is not prime.  Res64: 7E4639A77A2B3DDA  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 20:25:25]
871*2^1389537-1 is not prime.  Res64: AAB4DEE0B2AF5948  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 20:25:26]
895*2^1389537-1 is not prime.  Res64: B06447D118058F3C  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 20:39:56]
915*2^1389537-1 is not prime.  Res64: 64B1C54BF3FC8B86  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 20:39:56]
979*2^1389537-1 is not prime.  Res64: 2FC5077EF1E48A6D  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 20:41:38]
997*2^1389537-1 is not prime.  Res64: FEA6EF45EAA9E16F  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 20:41:38]
677*2^1389538-1 is not prime.  Res64: 73928E513564C299  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 20:52:57]
713*2^1389538-1 is not prime.  Res64: FCD7DC8184AD6C93  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 20:52:57]
857*2^1389538-1 is not prime.  Res64: CDD1C2546558D2D4  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 20:54:26]
981*2^1389538-1 is not prime.  Res64: 4E041C31376CBEF8  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 20:54:26]
609*2^1389539-1 is not prime.  Res64: 6E22F65DC29BB2D5  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 21:08:23]
685*2^1389539-1 is not prime.  Res64: D9A3EE9B205D847A  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 21:08:24]
885*2^1389539-1 is not prime.  Res64: 473E5D798E418293  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 21:09:37]
943*2^1389539-1 is not prime.  Res64: 8E714B8212155778  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 21:09:37]
999*2^1389539-1 is not prime.  Res64: 98022249ACC94C8F  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 21:20:51]
669*2^1389540-1 is not prime.  Res64: A2994492FA972B4E  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 21:20:51]
689*2^1389540-1 is not prime.  Res64: 9F072A99BFB177AF  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 21:22:02]
759*2^1389540-1 is not prime.  Res64: CA8E804F25186C9D  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 21:22:03]
777*2^1389540-1 is not prime.  Res64: B832E2A0C900A38F  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 21:36:21]
795*2^1389540-1 is not prime.  Res64: AB37A833C3AD5907  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 21:36:22]
857*2^1389540-1 is not prime.  Res64: 54C3F34B4A6259EF  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 21:37:09]
905*2^1389540-1 is not prime.  Res64: CB9542EE8B89D5F4  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 21:37:10]
975*2^1389540-1 is not prime.  Res64: D8A4F42FD9878CC3  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 21:48:28]
987*2^1389540-1 is not prime.  Res64: 1D17F1F501493E61  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 21:48:28]
601*2^1389541-1 is not prime.  Res64: 1A87D079D48B0222  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 21:50:13]
645*2^1389541-1 is not prime.  Res64: F884D31B9711ECC1  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 21:50:13]
651*2^1389541-1 is not prime.  Res64: 6EDA66D52DF83F64  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 22:03:57]
687*2^1389541-1 is not prime.  Res64: 07CF75FA38811AA3  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 22:03:59]
747*2^1389541-1 is not prime.  Res64: 69B43D13C305C8F9  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 22:04:41]
777*2^1389541-1 is not prime.  Res64: FDC792AC9EEA216A  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 22:04:42]
829*2^1389541-1 is not prime.  Res64: 508E8B1B88F957EC  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 22:16:02]
855*2^1389541-1 is not prime.  Res64: A1A43028FEEA8A2C  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 22:16:02]
961*2^1389541-1 is not prime.  Res64: 08BCD88BC09808AB  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 22:17:25]
975*2^1389541-1 is not prime.  Res64: 20303D903456CABC  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 22:17:25]
997*2^1389541-1 is not prime.  Res64: 7CB4EC3176A4CF30  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 22:31:01]
711*2^1389542-1 is not prime.  Res64: 642C0A17EE4D3F7E  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 22:31:02]
897*2^1389542-1 is not prime.  Res64: BA14595D2031055B  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 22:31:29]
923*2^1389542-1 is not prime.  Res64: 33C2F23D4FD4B559  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 22:31:29]
941*2^1389542-1 is not prime.  Res64: 69A4E40D510F1E78  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 22:43:33]
963*2^1389542-1 is not prime.  Res64: ADD1721427466F69  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 22:43:34]
1001*2^1389542-1 is not prime.  Res64: B6ECA98785261FD8  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 22:44:48]
625*2^1389543-1 is not prime.  Res64: 0F98F62CDB28ACE5  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 22:44:48]
661*2^1389543-1 is not prime.  Res64: AD2C198073CA8298  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 22:57:58]
675*2^1389543-1 is not prime.  Res64: 4486B82210B6DF8F  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 22:57:59]
793*2^1389543-1 is not prime.  Res64: A793BB213132AEC8  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 22:58:59]
805*2^1389543-1 is not prime.  Res64: EA8EE4E165C208D3  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 22:58:59]
891*2^1389543-1 is not prime.  Res64: 6FF806812A94EA3D  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 23:10:09]
943*2^1389543-1 is not prime.  Res64: 127AA68C42021952  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 23:10:10]
617*2^1389544-1 is not prime.  Res64: 766732F1A738572E  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 23:11:44]
663*2^1389544-1 is not prime.  Res64: CC7E60650C72579A  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 23:11:45]
747*2^1389544-1 is not prime.  Res64: 41EA7643514841EF  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 23:24:47]
827*2^1389544-1 is not prime.  Res64: 5857FCAA3C63FF4C  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 23:24:47]
843*2^1389544-1 is not prime.  Res64: 9EFCB5D572C6E2FC  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 23:25:47]
855*2^1389544-1 is not prime.  Res64: D3C6B5D1F7F25CF3  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 23:25:47]
909*2^1389544-1 is not prime.  Res64: D72C2CDC7FE96FDC  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 23:36:59]
939*2^1389544-1 is not prime.  Res64: 5280B535A4B522CA  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 23:37:00]
959*2^1389544-1 is not prime.  Res64: A46750228A34D4A4  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 23:38:24]
657*2^1389545-1 is not prime.  Res64: B236D923464F86FD  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 23:38:24]
699*2^1389545-1 is not prime.  Res64: 7D7A7BC5BB2B19E7  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 23:51:41]
741*2^1389545-1 is not prime.  Res64: 14B19D6830D6A19A  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 23:51:41]
811*2^1389545-1 is not prime.  Res64: FCC980E918F2D9B9  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 23:52:32]
861*2^1389545-1 is not prime.  Res64: FFD7B496EED51FCF  Time : 0.0 sec.
user=mdettweiler
[2015-01-24 23:52:32]
937*2^1389545-1 is not prime.  Res64: 0E86E32A62862A34  Time : 0.0 sec.