user=mdettweiler
[2015-03-20 00:03:07]
765*2^1395750-1 is not prime.  Res64: F85A6AA54AEE5810  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 00:03:08]
773*2^1395750-1 is not prime.  Res64: 3FC8D2B3B539F853  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 00:03:33]
821*2^1395750-1 is not prime.  Res64: 497B6246378DF3B5  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 00:03:33]
923*2^1395750-1 is not prime.  Res64: 630D840C3D906E19  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 00:05:15]
965*2^1395750-1 is not prime.  Res64: 19C203649BE13045  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 00:05:16]
651*2^1395751-1 is not prime.  Res64: A2D506D570302CB7  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 00:16:52]
715*2^1395751-1 is not prime.  Res64: 438B14B96D9012FA  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 00:16:53]
885*2^1395751-1 is not prime.  Res64: 516BF46E0CE8BEF2  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 00:29:22]
933*2^1395751-1 is not prime.  Res64: 6918F743902DC4C5  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 00:29:23]
993*2^1395751-1 is not prime.  Res64: AF5738C832B54E03  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 00:29:29]
635*2^1395752-1 is not prime.  Res64: 5C6978A2A9A3D7E4  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 00:29:30]
693*2^1395752-1 is not prime.  Res64: B29E4F843892FF2E  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 00:31:15]
813*2^1395752-1 is not prime.  Res64: 7ED3F027B7B12CA6  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 00:31:16]
815*2^1395752-1 is not prime.  Res64: 9092509CDD774658  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 00:42:54]
899*2^1395752-1 is not prime.  Res64: 12A2E1E335EB50EC  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 00:42:54]
609*2^1395753-1 is not prime.  Res64: 455A5407A6E0B60A  Time : 0.0 sec.
user=juhehe
[2015-03-20 00:44:44]
855*2^1395752-1 is not prime.  Res64: 1B8C593A002161C9  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 00:55:24]
685*2^1395753-1 is not prime.  Res64: 8E66F7402008A03D  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 00:55:25]
795*2^1395753-1 is not prime.  Res64: 7F9A96E4C7FC8F4F  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 00:55:26]
807*2^1395753-1 is not prime.  Res64: 3CEE660FC56AF2D2  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 00:55:26]
687*2^1395754-1 is not prime.  Res64: E17C76A87BEECAE5  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 00:57:21]
717*2^1395754-1 is not prime.  Res64: D4D6C25C9FDEAC45  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 00:57:21]
791*2^1395754-1 is not prime.  Res64: D58333863309DE4C  Time : 0.0 sec.
user=juhehe
[2015-03-20 00:57:31]
627*2^1395753-1 is not prime.  Res64: 49649252D7F7EE52  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 01:08:56]
887*2^1395754-1 is not prime.  Res64: 492B049971287A5D  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 01:08:56]
609*2^1395755-1 is not prime.  Res64: BE123383CEC57938  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 01:21:26]
841*2^1395755-1 is not prime.  Res64: 05A700451F829964  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 01:21:27]
913*2^1395755-1 is not prime.  Res64: AF62BE995BB4E0CF  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 01:21:34]
619*2^1395755-1 is not prime.  Res64: 68E8D99AA1D2C1FC  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 01:21:34]
693*2^1395755-1 is not prime.  Res64: CFFFCA028930C072  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 01:23:28]
981*2^1395755-1 is not prime.  Res64: B5EB6C9E736CD864  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 01:23:29]
629*2^1395756-1 is not prime.  Res64: EC054DB63A865A5D  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 01:34:56]
633*2^1395756-1 is not prime.  Res64: DAF879F6CE89EAE1  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 01:34:56]
699*2^1395756-1 is not prime.  Res64: 723D723AAD76BA38  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 01:47:22]
809*2^1395756-1 is not prime.  Res64: 09CC803BD06CF515  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 01:47:22]
857*2^1395756-1 is not prime.  Res64: 381772F73CF34173  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 01:47:38]
983*2^1395756-1 is not prime.  Res64: 1EED1D41DB52070B  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 01:47:38]
715*2^1395757-1 is not prime.  Res64: 74C344F6B29F2DAC  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 01:49:19]
889*2^1395757-1 is not prime.  Res64: 86F874C7C9863809  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 01:49:20]
641*2^1395758-1 is not prime.  Res64: F75F594886D3FBEA  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 02:00:59]
801*2^1395758-1 is not prime.  Res64: EFC6D303D1805277  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 02:01:00]
885*2^1395758-1 is not prime.  Res64: AABD0E111C403D8A  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 02:13:12]
619*2^1395759-1 is not prime.  Res64: B543C37A9DE3547E  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 02:13:13]
633*2^1395759-1 is not prime.  Res64: 65F88BBD93DD542A  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 02:13:37]
705*2^1395759-1 is not prime.  Res64: B50DD40D6CFA8B4D  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 02:13:37]
763*2^1395759-1 is not prime.  Res64: D1DE7CD391B4FCBD  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 02:15:14]
795*2^1395759-1 is not prime.  Res64: 3DB542CB68E138D7  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 02:15:14]
839*2^1395760-1 is not prime.  Res64: 3CDBBE8D808AA337  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 02:29:07]
917*2^1395760-1 is not prime.  Res64: C5C2FA4B035BAAB0  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 02:29:08]
607*2^1395761-1 is not prime.  Res64: 13E8F1650BB807B5  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 02:40:10]
717*2^1395761-1 is not prime.  Res64: DDB5AC0825BFE259  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 02:40:11]
885*2^1395761-1 is not prime.  Res64: B68FC30AA0C232A5  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 02:40:43]
889*2^1395761-1 is not prime.  Res64: D88951891AF6024C  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 02:40:44]
931*2^1395761-1 is not prime.  Res64: C2A39490055BBF5D  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 02:41:56]
997*2^1395761-1 is not prime.  Res64: A7E28D2A42BF0FD8  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 02:41:56]
635*2^1395762-1 is not prime.  Res64: DB14D838913783C5  Time : 0.0 sec.
user=juhehe
[2015-03-20 02:46:21]
697*2^1395761-1 is not prime.  Res64: 871A4AC11F273E05  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 02:55:16]
713*2^1395762-1 is not prime.  Res64: 4DAD9902C37503AF  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 02:55:16]
975*2^1395762-1 is not prime.  Res64: F999AA02E65A80EC  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 03:06:12]
603*2^1395763-1 is not prime.  Res64: 9197579D9A48965D  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 03:06:12]
649*2^1395763-1 is not prime.  Res64: 472D628340FFBEE0  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 03:06:39]
811*2^1395763-1 is not prime.  Res64: AA54ECB599211A07  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 03:06:39]
859*2^1395763-1 is not prime.  Res64: E8B418CC50572408  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 03:07:59]
861*2^1395763-1 is not prime.  Res64: 969E3777FCD11304  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 03:08:00]
939*2^1395763-1 is not prime.  Res64: DAC88933D164BDAE  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 03:21:14]
945*2^1395763-1 is not prime.  Res64: 0594B79146268954  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 03:21:15]
605*2^1395764-1 is not prime.  Res64: 96FFEC859F8BBBE6  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 03:32:21]
617*2^1395764-1 is not prime.  Res64: BAE656402147267F  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 03:32:23]
665*2^1395764-1 is not prime.  Res64: 90245639C41AD963  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 03:32:37]
689*2^1395764-1 is not prime.  Res64: 463CCCE443C801EA  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 03:32:38]
707*2^1395764-1 is not prime.  Res64: 80A0B173C0E97396  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 03:33:50]
893*2^1395764-1 is not prime.  Res64: 58FCC31209518339  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 03:33:52]
897*2^1395764-1 is not prime.  Res64: E13AF16A012C6BD0  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 03:47:08]
903*2^1395764-1 is not prime.  Res64: 5AEAFA44A1A39457  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 03:47:09]
935*2^1395764-1 is not prime.  Res64: 04D23AB9FB96B08D  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 03:58:37]
945*2^1395764-1 is not prime.  Res64: BD83F0D69F2D0C36  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 03:58:38]
609*2^1395765-1 is not prime.  Res64: DC7468ED0275F6F1  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 03:58:38]
993*2^1395764-1 is not prime.  Res64: 4C8D2E329140A57F  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 03:58:38]
639*2^1395765-1 is not prime.  Res64: 3C5149C468649A53  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 03:59:49]
777*2^1395765-1 is not prime.  Res64: 51590C598BEB0F0A  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 03:59:49]
891*2^1395765-1 is not prime.  Res64: 2B8F8EE813A0748B  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 04:13:18]
937*2^1395765-1 is not prime.  Res64: 8E5C8B3D85EF188E  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 04:13:18]
979*2^1395765-1 is not prime.  Res64: 4C388BD91A81CA1E  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 04:24:33]
737*2^1395766-1 is not prime.  Res64: 3B7BAE6676F58A69  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 04:24:33]
747*2^1395766-1 is not prime.  Res64: 4CE1BC644BA38FE6  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 04:24:36]
647*2^1395766-1 is not prime.  Res64: 984E9F9948076BF2  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 04:24:36]
677*2^1395766-1 is not prime.  Res64: 38FD2A0C22FD6BCF  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 04:25:43]
813*2^1395766-1 is not prime.  Res64: 6EC2A9EA1AFCE98F  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 04:25:44]
821*2^1395766-1 is not prime.  Res64: 07AED29E18A5BE43  Time : 0.0 sec.
user=juhehe
[2015-03-20 04:33:57]
603*2^1395766-1 is not prime.  Res64: 3CA6ECFC4F061AED  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 04:39:26]
833*2^1395766-1 is not prime.  Res64: 836E3371854B9AAE  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 04:39:26]
975*2^1395766-1 is not prime.  Res64: 3FBC2C89135F032B  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 04:50:25]
609*2^1395767-1 is not prime.  Res64: E4CEF4AEEB5182B6  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 04:50:26]
633*2^1395767-1 is not prime.  Res64: 8EE78669596DE999  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 04:50:37]
643*2^1395767-1 is not prime.  Res64: C639CE2B0D768AC6  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 04:50:37]
673*2^1395767-1 is not prime.  Res64: D52AA0187F3E0609  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 04:51:41]
705*2^1395767-1 is not prime.  Res64: E47698B9096FCF55  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 04:51:41]
805*2^1395767-1 is not prime.  Res64: F33A9E0019D3D304  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 05:05:22]
813*2^1395767-1 is not prime.  Res64: 88F4F3F084C14AB2  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 05:05:23]
627*2^1395768-1 is not prime.  Res64: E0CA57D7CA400BEB  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 05:16:16]
657*2^1395768-1 is not prime.  Res64: C203B21B174310E8  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 05:16:17]
663*2^1395768-1 is not prime.  Res64: 650DCD3A34DD94A9  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 05:16:35]
723*2^1395768-1 is not prime.  Res64: 7FD084858806E4A3  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 05:16:35]
837*2^1395768-1 is not prime.  Res64: B42820C0601CD4B3  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 05:17:28]
893*2^1395768-1 is not prime.  Res64: D3A046725E567409  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 05:17:28]
619*2^1395769-1 is not prime.  Res64: 49AD6C2DBB59E936  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 05:31:20]
775*2^1395769-1 is not prime.  Res64: CC5325D8E086A476  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 05:31:20]
831*2^1395769-1 is not prime.  Res64: F3A9604991823EDF  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 05:42:07]
855*2^1395769-1 is not prime.  Res64: 01441A57ACB07FFF  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 05:42:07]
877*2^1395769-1 is not prime.  Res64: AC2B546D8FA833CD  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 05:42:25]
885*2^1395769-1 is not prime.  Res64: 3F095A12666AB82C  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 05:42:25]
957*2^1395769-1 is not prime.  Res64: A05082BCC4582DD2  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 05:43:25]
999*2^1395769-1 is not prime.  Res64: 219256A918D0836E  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 05:43:25]
603*2^1395770-1 is not prime.  Res64: 912A25CC8FE321D5  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 05:57:08]
635*2^1395770-1 is not prime.  Res64: 897D9E62FF093B22  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 05:57:08]
675*2^1395770-1 is not prime.  Res64: 95771D5DF7660373  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 06:07:59]
791*2^1395770-1 is not prime.  Res64: 6877539714DF8B94  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 06:07:59]
797*2^1395770-1 is not prime.  Res64: 855ACEFBD66B014C  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 06:08:13]
977*2^1395770-1 is not prime.  Res64: CB98C5DB47BDE709  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 06:08:14]
987*2^1395770-1 is not prime.  Res64: 493E5988F5D34610  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 06:09:16]
619*2^1395771-1 is not prime.  Res64: 6815929DEC8CA814  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 06:09:16]
775*2^1395771-1 is not prime.  Res64: B1CD0E8B8A94258E  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 06:23:01]
955*2^1395771-1 is not prime.  Res64: 52B7E1B01D8CB8D8  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 06:23:02]
975*2^1395771-1 is not prime.  Res64: 4B5C208BD38F50C0  Time : 0.0 sec.
user=juhehe
[2015-03-20 06:23:08]
909*2^1395771-1 is not prime.  Res64: B2005FB0E948AD82  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 06:33:55]
617*2^1395772-1 is not prime.  Res64: 27FB501D11AF6E68  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 06:33:55]
665*2^1395772-1 is not prime.  Res64: 0899AD599B72FD22  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 06:34:04]
797*2^1395772-1 is not prime.  Res64: 9EB45C4DBC2A6281  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 06:34:05]
827*2^1395772-1 is not prime.  Res64: 3C8DBB851FF34F1E  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 06:35:06]
869*2^1395772-1 is not prime.  Res64: 75EC7D68F0AD101F  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 06:35:06]
885*2^1395772-1 is not prime.  Res64: 708C02A4FAB0825D  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 06:48:55]
965*2^1395772-1 is not prime.  Res64: E677A2D3A585FB59  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 06:48:55]
697*2^1395773-1 is not prime.  Res64: FCA5F2DE31EA5D08  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 06:59:56]
757*2^1395773-1 is not prime.  Res64: 8FA8883528E342CD  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 06:59:57]
771*2^1395773-1 is not prime.  Res64: DF34B0EC70A2B93C  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 06:59:58]
801*2^1395773-1 is not prime.  Res64: 5F6248EB9211EF5B  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 06:59:59]
985*2^1395773-1 is not prime.  Res64: 73761A8A60A56A33  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 07:01:11]
641*2^1395774-1 is not prime.  Res64: FD0C82C19B646E14  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 07:01:13]
657*2^1395774-1 is not prime.  Res64: B1475FFCBC67468A  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 07:15:00]
737*2^1395774-1 is not prime.  Res64: 7448B1B63034181D  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 07:15:01]
765*2^1395774-1 is not prime.  Res64: BB7E3D9FBB9F802A  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 07:25:39]
891*2^1395774-1 is not prime.  Res64: 520E6135AC369A63  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 07:25:39]
705*2^1395775-1 is not prime.  Res64: 214588CF8CAE09C5  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 07:25:50]
759*2^1395775-1 is not prime.  Res64: 8A3DD3A7F59DCB34  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 07:25:50]
849*2^1395775-1 is not prime.  Res64: 5E2BF2DC879D0507  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 07:27:23]
855*2^1395775-1 is not prime.  Res64: D7D40746D67FC3A4  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 07:27:23]
925*2^1395775-1 is not prime.  Res64: C815D05AD90666C6  Time : 0.0 sec.
user=juhehe
[2015-03-20 07:32:51]
797*2^1395774-1 is not prime.  Res64: A84E0F3036405E53  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 07:40:51]
985*2^1395775-1 is not prime.  Res64: 1A1B4127C0522E3B  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 07:40:52]
999*2^1395775-1 is not prime.  Res64: B61E43F4ED86E65F  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 07:51:27]
777*2^1395776-1 is not prime.  Res64: 8DA6983009E476A2  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 07:51:28]
833*2^1395776-1 is not prime.  Res64: BE17B17DCAA87713  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 07:51:40]
903*2^1395776-1 is not prime.  Res64: 458B166224A4DF04  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 07:51:41]
963*2^1395776-1 is not prime.  Res64: 57B63FE922E5B7C8  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 07:53:19]
983*2^1395776-1 is not prime.  Res64: BA52A7B86C5290EB  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 07:53:19]
777*2^1395777-1 is not prime.  Res64: 56E75B9DEB4D8CD2  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 08:06:42]
865*2^1395777-1 is not prime.  Res64: 531DDDF93DAE1B34  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 08:06:42]
605*2^1395778-1 is not prime.  Res64: BFB119CCB3D3A570  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 08:17:23]
705*2^1395778-1 is not prime.  Res64: EB758CCBC0B1F989  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 08:17:23]
723*2^1395778-1 is not prime.  Res64: 5519B028450D1AE1  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 08:17:35]
735*2^1395778-1 is not prime.  Res64: 9D9F29EE0F46AC14  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 08:17:36]
755*2^1395778-1 is not prime.  Res64: 3D432EB8083E2776  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 08:19:09]
813*2^1395778-1 is not prime.  Res64: 763043C4DE0CC8A9  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 08:19:09]
825*2^1395778-1 is not prime.  Res64: 4C29B85F4544AFFD  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 08:32:40]
855*2^1395778-1 is not prime.  Res64: 0BB90E911475B244  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 08:32:41]
867*2^1395778-1 is not prime.  Res64: FECB2ED342247AC2  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 08:43:14]
631*2^1395779-1 is not prime.  Res64: C12D2CDCA7EDDAEB  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 08:43:15]
679*2^1395779-1 is not prime.  Res64: 46FC285E4DD37960  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 08:43:23]
753*2^1395779-1 is not prime.  Res64: 328987F93D7FD69D  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 08:43:24]
811*2^1395779-1 is not prime.  Res64: E1F0BEAF415BD1A4  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 08:44:58]
825*2^1395779-1 is not prime.  Res64: E354669E4BEBC618  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 08:44:58]
883*2^1395779-1 is not prime.  Res64: 9A4876A65B6E0552  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 08:58:33]
669*2^1395780-1 is not prime.  Res64: DF15BB77A4F6CB46  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 08:58:34]
735*2^1395780-1 is not prime.  Res64: 3A1B0A81B8B88447  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 09:09:10]
929*2^1395780-1 is not prime.  Res64: 37708C01C1A5F59B  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 09:09:11]
933*2^1395780-1 is not prime.  Res64: A71063F856B957DA  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 09:09:19]
765*2^1395780-1 is not prime.  Res64: C8279AD185D1CE19  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 09:09:20]
915*2^1395780-1 is not prime.  Res64: E789BE738CCE0362  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 09:10:46]
769*2^1395781-1 is not prime.  Res64: 0F1827501F68A656  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 09:10:47]
967*2^1395781-1 is not prime.  Res64: 207EF57F63A12BAA  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 09:24:35]
615*2^1395782-1 is not prime.  Res64: 2C699A977A929139  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 09:24:36]
627*2^1395782-1 is not prime.  Res64: F553FB0B6B6AD199  Time : 0.0 sec.
user=juhehe
[2015-03-20 09:25:22]
987*2^1395781-1 is not prime.  Res64: 7B18B97C4A607B12  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 09:35:08]
903*2^1395782-1 is not prime.  Res64: 102A1B346486ED65  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 09:35:09]
945*2^1395782-1 is not prime.  Res64: 277E67D337B614E9  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 09:35:15]
963*2^1395782-1 is not prime.  Res64: 5BDA41228EEBF3F6  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 09:35:16]
983*2^1395782-1 is not prime.  Res64: 3A760176210FB004  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 09:36:40]
661*2^1395783-1 is not prime.  Res64: 82B5C19B5DB8A009  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 09:36:41]
679*2^1395783-1 is not prime.  Res64: 86C7660CE3886F8A  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 09:50:23]
823*2^1395783-1 is not prime.  Res64: F5B1336557B3A251  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 09:50:23]
861*2^1395783-1 is not prime.  Res64: 7C5B83641875ADB8  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 10:01:05]
895*2^1395783-1 is not prime.  Res64: 11D9C84F25BBED21  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 10:01:07]
913*2^1395783-1 is not prime.  Res64: 5927A15BB3038687  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 10:01:08]
951*2^1395783-1 is not prime.  Res64: 501FE7B5C49873DA  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 10:01:08]
961*2^1395783-1 is not prime.  Res64: CD130923827EA841  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 10:02:30]
985*2^1395783-1 is not prime.  Res64: 543C8F85EA76D123  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 10:02:32]
615*2^1395784-1 is not prime.  Res64: D0FCAFFCCA45EE43  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 10:16:19]
657*2^1395784-1 is not prime.  Res64: CE90FB5E505DA1F3  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 10:16:20]
723*2^1395784-1 is not prime.  Res64: 9BC45CB6D26AB2DF  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 10:27:19]
969*2^1395784-1 is not prime.  Res64: 706B696549CEF961  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 10:27:20]
983*2^1395784-1 is not prime.  Res64: 8DFB7A4CFD13F5F6  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 10:27:25]
825*2^1395784-1 is not prime.  Res64: 74ADBC50A8330C5B  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 10:27:25]
903*2^1395784-1 is not prime.  Res64: E9E416989DEFB2C6  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 10:28:19]
995*2^1395784-1 is not prime.  Res64: EBF4CA255F270BCC  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 10:28:19]
649*2^1395785-1 is not prime.  Res64: C0FA1202EB91EDF0  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 10:42:21]
657*2^1395785-1 is not prime.  Res64: 8FC981D9F5295BD6  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 10:42:22]
811*2^1395785-1 is not prime.  Res64: 3DB5761D64C3BDDA  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 10:53:09]
949*2^1395785-1 is not prime.  Res64: E388572D7C4FCFC4  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 10:53:10]
747*2^1395786-1 is not prime.  Res64: 9B383558A16476C3  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 10:53:19]
755*2^1395786-1 is not prime.  Res64: 17A656C4629C8B1E  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 10:53:20]
801*2^1395786-1 is not prime.  Res64: CC3D2D744589ECD7  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 10:54:09]
891*2^1395786-1 is not prime.  Res64: 0517A90CFF61ACAC  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 10:54:10]
923*2^1395786-1 is not prime.  Res64: D1AC5638D9D06ADD  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 11:08:16]
765*2^1395787-1 is not prime.  Res64: 185BB18AAC084CB5  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 11:08:16]
861*2^1395787-1 is not prime.  Res64: 5F48B2A493188268  Time : 0.0 sec.
user=juhehe
[2015-03-20 11:09:28]
633*2^1395787-1 is not prime.  Res64: 91009CDC3333193B  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 11:18:59]
895*2^1395787-1 is not prime.  Res64: E74158A42A798C49  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 11:19:00]
901*2^1395787-1 is not prime.  Res64: EDE919E4A7B86740  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 11:19:07]
939*2^1395787-1 is not prime.  Res64: 484395422F6F9832  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 11:19:08]
657*2^1395788-1 is not prime.  Res64: 06E45E78D348CD10  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 11:20:00]
663*2^1395788-1 is not prime.  Res64: F92A24D9C16A81EF  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 11:20:01]
777*2^1395788-1 is not prime.  Res64: E8FFC31A68AC89B3  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 11:34:13]
797*2^1395788-1 is not prime.  Res64: 089422B8E0841622  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 11:34:13]
899*2^1395788-1 is not prime.  Res64: 79F5A8EDD009AAAA  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 11:44:54]
657*2^1395789-1 is not prime.  Res64: 5CDBB1455F5F289C  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 11:44:55]
709*2^1395789-1 is not prime.  Res64: A7DBBF4FA9E36A67  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 11:45:00]
929*2^1395788-1 is not prime.  Res64: 18EC0224E77EFAC4  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 11:45:01]
995*2^1395788-1 is not prime.  Res64: D232BE3B12B713DF  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 11:45:51]
741*2^1395789-1 is not prime.  Res64: 6D24F3F934B17620  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 11:45:52]
817*2^1395789-1 is not prime.  Res64: 7F5E88602DAE7D23  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 12:00:16]
921*2^1395789-1 is not prime.  Res64: 23194CC8DBC3CF27  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 12:00:17]
651*2^1395790-1 is not prime.  Res64: 932D03BC089CE9A6  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 12:10:44]
785*2^1395790-1 is not prime.  Res64: 2C5346C05C708705  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 12:10:45]
615*2^1395791-1 is not prime.  Res64: D5BB7173D11B8FE2  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 12:10:50]
669*2^1395791-1 is not prime.  Res64: 038935E144FA3703  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 12:10:51]
741*2^1395791-1 is not prime.  Res64: 8D6F7EF9031B5183  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 12:11:39]
901*2^1395791-1 is not prime.  Res64: 56927504A366DA68  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 12:11:39]
973*2^1395791-1 is not prime.  Res64: 4CEC5DBEB92E3C8F  Time : 0.0 sec.
user=juhehe
[2015-03-20 12:23:32]
979*2^1395791-1 is not prime.  Res64: 70CBECC803376B18  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 12:36:52]
725*2^1395792-1 is not prime.  Res64: 161FBBDA03B27E52  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 12:36:53]
809*2^1395792-1 is not prime.  Res64: 8B1709AF46C0F9EE  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 12:36:56]
909*2^1395792-1 is not prime.  Res64: 144E1D522FDFA2C6  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 12:36:57]
945*2^1395792-1 is not prime.  Res64: 0FFB1930BE33BC5B  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 12:37:48]
807*2^1395793-1 is not prime.  Res64: 90AA181B9FEEED4F  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 12:37:48]
855*2^1395793-1 is not prime.  Res64: 55EB1224EE3EAAB9  Time : 0.0 sec.
user=juhehe
[2015-03-20 12:59:19]
901*2^1395793-1 is not prime.  Res64: 6B58146BB7FE45AE  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 13:03:52]
915*2^1395793-1 is not prime.  Res64: 97D2B60557208F71  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 13:03:53]
967*2^1395793-1 is not prime.  Res64: CBF83B23919E0902  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 13:03:59]
985*2^1395793-1 is not prime.  Res64: 3767FC14853895A6  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 13:04:00]
641*2^1395794-1 is not prime.  Res64: C534F769E81DF50C  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 13:04:46]
671*2^1395794-1 is not prime.  Res64: E2ABAD7DF7542D89  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 13:04:48]
741*2^1395794-1 is not prime.  Res64: 5A4954203383AA1D  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 13:31:29]
783*2^1395794-1 is not prime.  Res64: B7AC9664E648C5C5  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 13:31:30]
813*2^1395794-1 is not prime.  Res64: C2094A507279170C  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 13:31:31]
851*2^1395794-1 is not prime.  Res64: D3DC0A070FDFC13D  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 13:31:32]
915*2^1395794-1 is not prime.  Res64: 719157080F18340F  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 13:31:42]
951*2^1395794-1 is not prime.  Res64: 8768B55D3798A5D7  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 13:31:43]
775*2^1395795-1 is not prime.  Res64: D457F5B595BF8366  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 13:58:35]
783*2^1395795-1 is not prime.  Res64: F43F365A796E4361  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 13:58:36]
793*2^1395795-1 is not prime.  Res64: 10CB77C076F1C42D  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 13:58:37]
969*2^1395795-1 is not prime.  Res64: 694CCD5E5FBD42F1  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 13:58:38]
615*2^1395796-1 is not prime.  Res64: FC2CDFF9C50CF874  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 13:58:42]
765*2^1395796-1 is not prime.  Res64: D9F20365BBF2F22E  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 13:58:42]
773*2^1395796-1 is not prime.  Res64: 43A84DC9E152D09D  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 14:25:37]
873*2^1395796-1 is not prime.  Res64: 75F0DABC1CB32C54  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 14:25:37]
875*2^1395796-1 is not prime.  Res64: 93B3BD03D18F8B53  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 14:25:42]
927*2^1395796-1 is not prime.  Res64: AB75EE08124C4C4A  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 14:25:42]
621*2^1395797-1 is not prime.  Res64: 30D2FF4FFBF72DB5  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 14:25:46]
685*2^1395797-1 is not prime.  Res64: 8D0745F3E9ECD9EB  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 14:25:47]
697*2^1395797-1 is not prime.  Res64: 3B9FB6DCEFF16028  Time : 0.0 sec.
user=juhehe
[2015-03-20 14:45:56]
699*2^1395797-1 is not prime.  Res64: DBBE614619C7A70A  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 14:53:15]
837*2^1395797-1 is not prime.  Res64: 698C1F10D10C5776  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 14:53:16]
949*2^1395797-1 is not prime.  Res64: D879BC6132AD506E  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 14:53:17]
711*2^1395797-1 is not prime.  Res64: 89B6FBF52BEB5A7E  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 14:53:17]
805*2^1395797-1 is not prime.  Res64: BFBC299056123FDE  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 14:53:27]
683*2^1395798-1 is not prime.  Res64: 648F8704D85DBC92  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 14:53:28]
797*2^1395798-1 is not prime.  Res64: 40D653E2F0269C7B  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 15:33:41]
887*2^1395798-1 is not prime.  Res64: 3A12D2186E051947  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 15:33:41]
933*2^1395798-1 is not prime.  Res64: 7F3E7B71BE312DFC  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 15:34:15]
945*2^1395798-1 is not prime.  Res64: 393718E78A58F40A  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 15:34:16]
741*2^1395799-1 is not prime.  Res64: 9A0BE957DBFEB141  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 15:36:44]
801*2^1395798-1 is not prime.  Res64: FC798203EE0A5999  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 15:36:45]
867*2^1395798-1 is not prime.  Res64: 3BAB798C545B001C  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 16:12:05]
745*2^1395799-1 is not prime.  Res64: C6916F4707C13332  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 16:12:06]
831*2^1395799-1 is not prime.  Res64: 2060086F427D0FE5  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 16:12:58]
841*2^1395799-1 is not prime.  Res64: EE31C96450DBD158  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 16:12:59]
859*2^1395799-1 is not prime.  Res64: 068F515EE42F0D58  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 16:13:11]
883*2^1395799-1 is not prime.  Res64: 254F5C1197523737  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 16:13:12]
939*2^1395799-1 is not prime.  Res64: FFFB9E1402ECAEE0  Time : 0.0 sec.
user=juhehe
[2015-03-20 16:38:48]
975*2^1395799-1 is not prime.  Res64: 8CB1221D0EAF305D  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 16:40:38]
635*2^1395800-1 is not prime.  Res64: 5CD006D0CE05F393  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 16:40:38]
665*2^1395800-1 is not prime.  Res64: 83F7129BE5F9594F  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 16:41:16]
675*2^1395800-1 is not prime.  Res64: 088CF54E5FE3457B  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 16:41:16]
827*2^1395800-1 is not prime.  Res64: E4116305C4B17660  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 16:42:03]
833*2^1395800-1 is not prime.  Res64: C6A304BBE51C21EC  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 16:42:04]
977*2^1395800-1 is not prime.  Res64: D09FA23C9890F174  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 17:09:46]
625*2^1395801-1 is not prime.  Res64: 1A852F8D0B43DF49  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 17:09:47]
717*2^1395801-1 is not prime.  Res64: FFD9F839E5E68B9B  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 17:10:37]
727*2^1395801-1 is not prime.  Res64: 876368542CA0B461  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 17:10:37]
969*2^1395801-1 is not prime.  Res64: 9B918F9854D05F99  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 17:11:22]
647*2^1395802-1 is not prime.  Res64: 1A7E9D80DBE48915  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 17:11:23]
653*2^1395802-1 is not prime.  Res64: 488DC21025AFF011  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 17:38:27]
723*2^1395802-1 is not prime.  Res64: 045CF01EDF754A93  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 17:38:27]
831*2^1395802-1 is not prime.  Res64: 2293B7E26B6CDD4F  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 17:38:30]
681*2^1395802-1 is not prime.  Res64: CB930E07FB64E49C  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 17:38:31]
705*2^1395802-1 is not prime.  Res64: EEA428BE4A6390E6  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 17:40:25]
885*2^1395802-1 is not prime.  Res64: 40E5FED8C62092AB  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 17:40:26]
859*2^1395803-1 is not prime.  Res64: ABC64E5D5AB2F5F9  Time : 0.0 sec.
user=juhehe
[2015-03-20 17:48:39]
981*2^1395803-1 is not prime.  Res64: 7302373019BB31FE  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 18:07:47]
993*2^1395803-1 is not prime.  Res64: 65B4CD97FFD752E8  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 18:07:47]
635*2^1395804-1 is not prime.  Res64: 047179E9AB7F8F6B  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 18:08:15]
675*2^1395804-1 is not prime.  Res64: D93F107AA2006242  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 18:08:16]
725*2^1395804-1 is not prime.  Res64: 0A0A4B4B372F5D81  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 18:12:03]
773*2^1395804-1 is not prime.  Res64: 3FA552E133EB8C63  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 18:12:03]
789*2^1395804-1 is not prime.  Res64: 399B53171E8F6C4E  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 18:43:51]
905*2^1395804-1 is not prime.  Res64: E080D3BA3EBE9080  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 18:43:52]
915*2^1395804-1 is not prime.  Res64: 13D7709DE03B74F3  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 18:45:08]
863*2^1395804-1 is not prime.  Res64: BBD75D204DFB4237  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 18:45:08]
893*2^1395804-1 is not prime.  Res64: 149347E71DF380DA  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 18:46:00]
927*2^1395804-1 is not prime.  Res64: D68CD583D34F8B1F  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 18:46:00]
651*2^1395805-1 is not prime.  Res64: D432DC725DFAA3E4  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 19:14:55]
685*2^1395805-1 is not prime.  Res64: 3BF010A7E324EEAA  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 19:14:56]
741*2^1395805-1 is not prime.  Res64: 86FC6C47A5556F54  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 19:15:50]
859*2^1395805-1 is not prime.  Res64: F8EDBEA0CFDC682B  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 19:15:50]
927*2^1395805-1 is not prime.  Res64: 7B178F5D5C20F774  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 19:17:35]
987*2^1395805-1 is not prime.  Res64: D93AB009FC187E27  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 19:17:35]
617*2^1395806-1 is not prime.  Res64: 9E92543BA0D3B8ED  Time : 0.0 sec.
user=juhehe
[2015-03-20 19:45:32]
677*2^1395806-1 is not prime.  Res64: 357A054AD5F59AEB  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 19:46:13]
705*2^1395806-1 is not prime.  Res64: 9A5BDCD5171BE406  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 19:46:13]
755*2^1395806-1 is not prime.  Res64: BC9E1D578031B4F7  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 19:47:24]
873*2^1395806-1 is not prime.  Res64: 5E7D6A1F85C1CC86  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 19:47:25]
911*2^1395806-1 is not prime.  Res64: 80761BFF9B39B29F  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 19:51:26]
945*2^1395806-1 is not prime.  Res64: CB0FFE325D0367C5  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 19:51:26]
993*2^1395806-1 is not prime.  Res64: DC772352FB658AD1  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 20:18:10]
643*2^1395807-1 is not prime.  Res64: AD5556BD9E4537C2  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 20:18:10]
669*2^1395807-1 is not prime.  Res64: EA688106992CD8A8  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 20:18:41]
735*2^1395807-1 is not prime.  Res64: 9EB86171BDEF9CA4  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 20:18:41]
765*2^1395807-1 is not prime.  Res64: 19D830CBF8AC352D  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 20:26:23]
949*2^1395807-1 is not prime.  Res64: ACFE53B37E6152BB  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 20:26:24]
963*2^1395807-1 is not prime.  Res64: C3E56CCC8800153B  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 20:48:08]
813*2^1395808-1 is not prime.  Res64: 9042705B0D5139F7  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 20:48:08]
833*2^1395808-1 is not prime.  Res64: CC134791E04DBFE9  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 20:48:21]
695*2^1395808-1 is not prime.  Res64: B2CBCEDBCBBF458A  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 20:48:22]
747*2^1395808-1 is not prime.  Res64: 720F0EDAA21C4DA5  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 20:55:26]
855*2^1395808-1 is not prime.  Res64: AF90E7321194F7C6  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 20:55:26]
899*2^1395808-1 is not prime.  Res64: 71F5771CF4492919  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 21:16:33]
923*2^1395808-1 is not prime.  Res64: BCBAF68358590352  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 21:16:34]
999*2^1395808-1 is not prime.  Res64: 0C881BEDC1F1A90B  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 21:17:03]
645*2^1395809-1 is not prime.  Res64: C13AE1D623234B92  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 21:17:03]
741*2^1395809-1 is not prime.  Res64: 717FE13A1BD5C513  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 21:24:26]
945*2^1395809-1 is not prime.  Res64: 619E2AE63358B32F  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 21:24:26]
969*2^1395809-1 is not prime.  Res64: F0D4A98AF6A0E2EA  Time : 0.0 sec.
user=juhehe
[2015-03-20 21:31:33]
841*2^1395809-1 is not prime.  Res64: 54343B57C5298F3F  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 21:43:54]
991*2^1395791-1 is not prime.  Res64: 67008F321E623EDE  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 21:43:55]
669*2^1395792-1 is not prime.  Res64: 3021E36E39D277D2  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 21:45:23]
713*2^1395810-1 is not prime.  Res64: 225190641771B87E  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 21:45:24]
843*2^1395810-1 is not prime.  Res64: 365EAED85BB1EB81  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 21:45:34]
845*2^1395810-1 is not prime.  Res64: 56C384C46002FD0E  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 21:45:35]
977*2^1395810-1 is not prime.  Res64: EB51D5690A836B7D  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 21:52:25]
649*2^1395811-1 is not prime.  Res64: 8B0AC7C642B6637C  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 21:52:25]
679*2^1395811-1 is not prime.  Res64: 2D6510B3CACFFBED  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 22:10:25]
703*2^1395811-1 is not prime.  Res64: A4684A86609ACFF0  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 22:10:25]
733*2^1395811-1 is not prime.  Res64: 4F14CCCCEC2C8823  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 22:11:38]
819*2^1395811-1 is not prime.  Res64: 30ECD8B78960BEAE  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 22:11:38]
829*2^1395811-1 is not prime.  Res64: 6B74AD5ED30897E8  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 22:11:54]
843*2^1395811-1 is not prime.  Res64: 3AA956C791478373  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 22:11:54]
849*2^1395811-1 is not prime.  Res64: CB6FC64D5329F27D  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 22:18:42]
885*2^1395811-1 is not prime.  Res64: 26461DBCA2F46001  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 22:18:42]
925*2^1395811-1 is not prime.  Res64: 7AD8A7FA0D3A458B  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 22:36:51]
973*2^1395811-1 is not prime.  Res64: 644110DEECCF133C  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 22:36:51]
617*2^1395812-1 is not prime.  Res64: 895F1C354E3A13B4  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 22:37:54]
719*2^1395812-1 is not prime.  Res64: 8E006CE8D8FD1809  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 22:37:55]
725*2^1395812-1 is not prime.  Res64: CAC9BC93E7CD0B49  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 22:38:13]
825*2^1395812-1 is not prime.  Res64: DD52B94F87BA46A7  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 22:38:13]
855*2^1395812-1 is not prime.  Res64: E32C4B8881EBBB87  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 22:44:54]
957*2^1395812-1 is not prime.  Res64: E8F71AD3C77BBF78  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 22:44:54]
959*2^1395812-1 is not prime.  Res64: AA30E4ECC2CDA14E  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 23:03:33]
977*2^1395812-1 is not prime.  Res64: 9FDAA809447050AC  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 23:03:34]
699*2^1395813-1 is not prime.  Res64: 8FC7340978F07E85  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 23:04:32]
921*2^1395813-1 is not prime.  Res64: 590DB15C69ADD919  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 23:04:33]
635*2^1395814-1 is not prime.  Res64: 156E6436630A20E8  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 23:04:39]
705*2^1395814-1 is not prime.  Res64: 96F15EA52083F23F  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 23:04:40]
717*2^1395814-1 is not prime.  Res64: 66F91432A32241CF  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 23:11:28]
813*2^1395814-1 is not prime.  Res64: E51D177F3DD74BFA  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 23:11:28]
825*2^1395814-1 is not prime.  Res64: CDB5531C0546EB48  Time : 0.0 sec.
user=juhehe
[2015-03-20 23:23:32]
945*2^1395814-1 is not prime.  Res64: 679A2B0D46FEAF30  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 23:29:57]
1001*2^1395814-1 is not prime.  Res64: 15836D50D452C2CD  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 23:29:58]
685*2^1395815-1 is not prime.  Res64: 3F492D823EF4F27A  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 23:30:50]
705*2^1395815-1 is not prime.  Res64: EA4D044CE874C63B  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 23:30:50]
775*2^1395815-1 is not prime.  Res64: 226E78E3CF5751DC  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 23:31:02]
783*2^1395815-1 is not prime.  Res64: BD704FA0E5E79E42  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 23:31:03]
859*2^1395815-1 is not prime.  Res64: 6983970DB9D1B081  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 23:37:39]
909*2^1395815-1 is not prime.  Res64: 302E48AD9240C3B2  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 23:37:39]
609*2^1395816-1 is not prime.  Res64: 51EBFB5D6479840F  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 23:56:18]
623*2^1395816-1 is not prime.  Res64: A5AC3B2B923AA1EB  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 23:56:18]
627*2^1395816-1 is not prime.  Res64: E9B2B2FD8C8FDA53  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 23:57:14]
639*2^1395816-1 is not prime.  Res64: CAEB67B22774F6BD  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 23:57:14]
747*2^1395816-1 is not prime.  Res64: 3122901F1E6D1ADD  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 23:57:17]
857*2^1395816-1 is not prime.  Res64: D4247C4A45D56752  Time : 0.0 sec.
user=mdettweiler
[2015-03-20 23:57:18]
945*2^1395816-1 is not prime.  Res64: 8B80B3CE01908EAF  Time : 0.0 sec.