user=juhehe
[2015-02-10 00:04:26]
981*2^1390706-1 is not prime.  Res64: 5555438E1B13B314  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 00:12:37]
963*2^1390707-1 is not prime.  Res64: 9589D468EB0B57E6  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 00:12:37]
657*2^1390708-1 is not prime.  Res64: DD05734D3070A026  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 00:12:52]
819*2^1390707-1 is not prime.  Res64: 5E5ABB37AD17FB07  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 00:12:52]
871*2^1390707-1 is not prime.  Res64: 945BE602BBF154C8  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 00:14:16]
827*2^1390708-1 is not prime.  Res64: 9707EB2E9F6B449A  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 00:14:17]
685*2^1390709-1 is not prime.  Res64: 4CFA3C6E70B57E90  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 00:15:46]
759*2^1390709-1 is not prime.  Res64: 2F41FAB715A6FEA0  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 00:15:47]
775*2^1390709-1 is not prime.  Res64: C7482948F0BD874B  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 00:39:29]
811*2^1390709-1 is not prime.  Res64: C6D9C5E40930CFE7  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 00:39:30]
951*2^1390709-1 is not prime.  Res64: 8D478AE6140EE12D  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 00:39:45]
635*2^1390710-1 is not prime.  Res64: 8933E50CACEEDBDC  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 00:39:45]
651*2^1390710-1 is not prime.  Res64: 99CFAA3BA8298BF2  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 00:41:21]
665*2^1390710-1 is not prime.  Res64: 1B8AE3FFBBFBA5FE  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 00:41:22]
681*2^1390710-1 is not prime.  Res64: E042A84C79CE0C00  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 00:42:46]
707*2^1390710-1 is not prime.  Res64: A6C4F55C7932A2F4  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 00:42:47]
833*2^1390710-1 is not prime.  Res64: 441FFD3BEC7D4752  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 01:06:23]
1001*2^1390710-1 is not prime.  Res64: 5814274DA00BAFAF  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 01:06:24]
639*2^1390711-1 is not prime.  Res64: 8AB39A6EE65589AE  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 01:06:35]
783*2^1390711-1 is not prime.  Res64: B08EDFAA7CB4F31A  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 01:06:36]
939*2^1390711-1 is not prime.  Res64: 12477E84127FD58A  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 01:07:57]
665*2^1390712-1 is not prime.  Res64: C6172724508D8E80  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 01:07:58]
689*2^1390712-1 is not prime.  Res64: 79323EE87A8624CA  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 01:09:21]
759*2^1390712-1 is not prime.  Res64: 4C4485FEE53446C0  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 01:09:21]
825*2^1390712-1 is not prime.  Res64: DFF4FE611C1BA534  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 01:33:06]
615*2^1390713-1 is not prime.  Res64: 6A24F495C2FC1B73  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 01:33:06]
903*2^1390712-1 is not prime.  Res64: D10B12913D6AF890  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 01:33:06]
705*2^1390713-1 is not prime.  Res64: 69D3E9CEE6368017  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 01:33:06]
977*2^1390712-1 is not prime.  Res64: 1E75BDE682D2EA8F  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 01:34:23]
721*2^1390713-1 is not prime.  Res64: 434BEF9CC486C851  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 01:34:24]
781*2^1390713-1 is not prime.  Res64: B1FD31685FCD1937  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 01:36:03]
835*2^1390713-1 is not prime.  Res64: 951B644E84FEEBA4  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 01:36:04]
979*2^1390713-1 is not prime.  Res64: 3E71E7A157052027  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 01:59:27]
621*2^1390714-1 is not prime.  Res64: 4555A40D299F1761  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 01:59:27]
665*2^1390714-1 is not prime.  Res64: 897DA922F0F8C867  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 01:59:38]
675*2^1390714-1 is not prime.  Res64: D624C5260CC568FE  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 01:59:39]
677*2^1390714-1 is not prime.  Res64: B958B1AD438617A1  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 02:00:54]
731*2^1390714-1 is not prime.  Res64: 864F82864D5B86E2  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 02:00:55]
803*2^1390714-1 is not prime.  Res64: 47F42AFDC84E7BC5  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 02:02:32]
857*2^1390714-1 is not prime.  Res64: BD32B8F0DE136316  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 02:02:34]
861*2^1390714-1 is not prime.  Res64: 0B10149BEFD73B08  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 02:25:52]
957*2^1390714-1 is not prime.  Res64: 5324424887C4C896  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 02:25:53]
987*2^1390714-1 is not prime.  Res64: BDC61D60FC3DCA5B  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 02:26:04]
843*2^1390715-1 is not prime.  Res64: 8FF52A9477D11C26  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 02:26:04]
885*2^1390715-1 is not prime.  Res64: 1F0CBD1352B611E1  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 02:27:08]
653*2^1390716-1 is not prime.  Res64: BCE7FDB906AD438E  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 02:27:09]
845*2^1390716-1 is not prime.  Res64: C0945D9B509D21BA  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 02:28:58]
923*2^1390716-1 is not prime.  Res64: A97F93C306BEB57D  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 02:28:59]
927*2^1390716-1 is not prime.  Res64: 68CB23DD59A752D1  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 02:52:05]
945*2^1390716-1 is not prime.  Res64: E1F4810EF71BE132  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 02:52:06]
975*2^1390716-1 is not prime.  Res64: A2EBB61FE3002F58  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 02:52:26]
715*2^1390717-1 is not prime.  Res64: 556A87AA740DA4AB  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 02:52:26]
729*2^1390717-1 is not prime.  Res64: 6B0E23E09119C4B8  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 02:53:35]
741*2^1390717-1 is not prime.  Res64: 682D066ABBABB423  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 02:53:35]
769*2^1390717-1 is not prime.  Res64: 3C5ED72BF3A0A6B6  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 02:55:22]
771*2^1390717-1 is not prime.  Res64: C7DF9A4C9B9CA1FA  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 02:55:22]
825*2^1390717-1 is not prime.  Res64: 4B09117ECC2F80DD  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 03:19:22]
859*2^1390717-1 is not prime.  Res64: 8748B0CC9EFBFA8F  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 03:19:22]
967*2^1390717-1 is not prime.  Res64: C8DC3726FAF088D5  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 03:19:55]
635*2^1390718-1 is not prime.  Res64: F8B13AF4705A1598  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 03:19:55]
815*2^1390718-1 is not prime.  Res64: DC4F210414469499  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 03:20:37]
857*2^1390718-1 is not prime.  Res64: 8FC824BC75B6BDA1  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 03:20:37]
625*2^1390719-1 is not prime.  Res64: AA5305F4F841EF70  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 03:22:55]
789*2^1390719-1 is not prime.  Res64: D6B9A6A19FDC4F8F  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 03:22:55]
831*2^1390719-1 is not prime.  Res64: 1A4705545A397409  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 03:45:35]
961*2^1390719-1 is not prime.  Res64: 8073E6BBC5A220C0  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 03:45:36]
973*2^1390719-1 is not prime.  Res64: 5FF09C048C47B23C  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 03:46:10]
765*2^1390720-1 is not prime.  Res64: 54A0F38EAE4194AB  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 03:46:11]
849*2^1390720-1 is not prime.  Res64: 0AAC9D5B78692FFD  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 03:46:54]
917*2^1390720-1 is not prime.  Res64: C23787899F689F53  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 03:46:55]
927*2^1390720-1 is not prime.  Res64: 6800C2F61F9B3029  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 03:49:06]
933*2^1390720-1 is not prime.  Res64: A6B2B8C6786770C6  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 03:49:06]
607*2^1390721-1 is not prime.  Res64: 5C61C9BD7D0C3B0D  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 04:12:18]
777*2^1390721-1 is not prime.  Res64: D1ADAC6885104C18  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 04:12:19]
633*2^1390722-1 is not prime.  Res64: 9159E0ACC81DFFF7  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 04:12:28]
681*2^1390722-1 is not prime.  Res64: 9B25A334BEE04ED3  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 04:12:28]
717*2^1390722-1 is not prime.  Res64: BAC178B12B2F67B1  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 04:13:17]
737*2^1390722-1 is not prime.  Res64: 26D65411397F6E0D  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 04:13:17]
777*2^1390722-1 is not prime.  Res64: 2F4CB97706DFDB6E  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 04:15:18]
797*2^1390722-1 is not prime.  Res64: C3D0FD6A63EF000E  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 04:15:19]
807*2^1390722-1 is not prime.  Res64: 7C6A8D97754D4E67  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 04:38:34]
947*2^1390722-1 is not prime.  Res64: D53DC9EA5C6243D5  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 04:38:34]
609*2^1390723-1 is not prime.  Res64: 4F1BE4AE6CFAF2B1  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 04:38:36]
867*2^1390722-1 is not prime.  Res64: 50A510F8A6E451BF  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 04:38:37]
945*2^1390722-1 is not prime.  Res64: EC89648451EB95F9  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 04:39:34]
631*2^1390723-1 is not prime.  Res64: 4044C36466A519CE  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 04:39:34]
765*2^1390723-1 is not prime.  Res64: AC9F5E0AC46BC4B8  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 04:41:34]
853*2^1390723-1 is not prime.  Res64: B1A05AB08E1BC1D9  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 04:41:34]
861*2^1390723-1 is not prime.  Res64: BB2D9A203F57FB11  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 05:04:49]
675*2^1390724-1 is not prime.  Res64: 1A8E890E956C4F3C  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 05:04:51]
719*2^1390724-1 is not prime.  Res64: B77B56A2E4DFABE1  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 05:04:55]
883*2^1390723-1 is not prime.  Res64: 32D9C97F7175B2AF  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 05:04:56]
885*2^1390723-1 is not prime.  Res64: 21B6983D070AEA8A  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 05:05:42]
785*2^1390724-1 is not prime.  Res64: E3603F7B2928AA66  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 05:05:44]
837*2^1390724-1 is not prime.  Res64: 85C20495C2542514  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 05:07:37]
627*2^1390725-1 is not prime.  Res64: 08AE0141269A9531  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 05:07:38]
649*2^1390725-1 is not prime.  Res64: E9B725B992012C43  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 05:31:40]
657*2^1390725-1 is not prime.  Res64: 9C3B653050F58F9D  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 05:31:41]
811*2^1390725-1 is not prime.  Res64: CE166F68724C37A2  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 05:31:50]
685*2^1390725-1 is not prime.  Res64: A1B5D94A04FDF340  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 05:31:50]
691*2^1390725-1 is not prime.  Res64: D914B11E200EB902  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 05:31:52]
889*2^1390725-1 is not prime.  Res64: 097E1AAB0A56DCF4  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 05:31:53]
891*2^1390725-1 is not prime.  Res64: 725461481DDEEDB5  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 05:33:47]
705*2^1390726-1 is not prime.  Res64: D77E1936550C3252  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 05:33:47]
741*2^1390726-1 is not prime.  Res64: 094881928BEB9E8C  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 05:57:47]
975*2^1390726-1 is not prime.  Res64: 977255064C255993  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 05:57:47]
987*2^1390726-1 is not prime.  Res64: 88A290E345E5A145  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 05:57:54]
747*2^1390726-1 is not prime.  Res64: 9FB59BDDC548504C  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 05:57:54]
971*2^1390726-1 is not prime.  Res64: E41CBCD16A735B8F  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 05:58:00]
619*2^1390727-1 is not prime.  Res64: 68E29DBE48726096  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 05:58:00]
651*2^1390727-1 is not prime.  Res64: 2EDD343571A1BA23  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 05:59:55]
753*2^1390727-1 is not prime.  Res64: BB0E2C5AFFF84429  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 05:59:56]
861*2^1390727-1 is not prime.  Res64: 57663BDC897285C0  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 06:23:57]
885*2^1390727-1 is not prime.  Res64: 006F055B873C920B  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 06:23:57]
939*2^1390727-1 is not prime.  Res64: 4AAA0413205C3D64  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 06:24:02]
985*2^1390727-1 is not prime.  Res64: E61F7CD6F52A840F  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 06:24:03]
705*2^1390728-1 is not prime.  Res64: 207B37298EDE4251  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 06:24:07]
803*2^1390728-1 is not prime.  Res64: 0E370FD6342686CF  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 06:24:08]
825*2^1390728-1 is not prime.  Res64: 45FB2445A3298CE8  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 06:26:04]
875*2^1390728-1 is not prime.  Res64: 69827AA0732FA355  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 06:26:04]
899*2^1390728-1 is not prime.  Res64: CFFD3EDAB2350025  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 06:50:04]
977*2^1390728-1 is not prime.  Res64: EB2C36D33A9DFE93  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 06:50:04]
619*2^1390729-1 is not prime.  Res64: ED9CC42C20F99AB4  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 06:50:13]
637*2^1390729-1 is not prime.  Res64: 09E0606953C9E4D8  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 06:50:13]
667*2^1390729-1 is not prime.  Res64: 597C87033366B31B  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 06:50:22]
691*2^1390729-1 is not prime.  Res64: 9C2C699FD33B6271  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 06:50:22]
721*2^1390729-1 is not prime.  Res64: 61BE7A8B23888A50  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 06:52:21]
847*2^1390729-1 is not prime.  Res64: EE1B06227D2B9793  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 06:52:21]
895*2^1390729-1 is not prime.  Res64: 0339AD60DB83A558  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 07:16:13]
951*2^1390729-1 is not prime.  Res64: 966E3C65060CA618  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 07:16:14]
987*2^1390729-1 is not prime.  Res64: 5F47E34A3E4AAF2A  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 07:16:26]
627*2^1390730-1 is not prime.  Res64: BF1FD814105D486C  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 07:16:26]
633*2^1390730-1 is not prime.  Res64: 84CD25F7E7BEB9FC  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 07:16:39]
717*2^1390730-1 is not prime.  Res64: 53C5F089904B154B  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 07:16:40]
753*2^1390730-1 is not prime.  Res64: 7BCAEDF0D850E18A  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 07:18:31]
797*2^1390730-1 is not prime.  Res64: E76D2BB212D4D31D  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 07:18:31]
825*2^1390730-1 is not prime.  Res64: D282273409F802E9  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 07:42:25]
927*2^1390730-1 is not prime.  Res64: 93217C6A8EE73392  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 07:42:25]
887*2^1390730-1 is not prime.  Res64: FBF3D74E4AFE3EE8  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 07:42:25]
935*2^1390730-1 is not prime.  Res64: BD1A8D4CEFD0BF64  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 07:42:26]
911*2^1390730-1 is not prime.  Res64: 67EC82C11C0FDFD9  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 07:42:52]
951*2^1390730-1 is not prime.  Res64: 89D2BDA55B5A3A68  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 07:42:53]
953*2^1390730-1 is not prime.  Res64: CF98BB8FC1B36146  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 07:44:48]
783*2^1390731-1 is not prime.  Res64: 25AE6662041F5E1A  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 07:44:48]
859*2^1390731-1 is not prime.  Res64: 57CEEC788DF101B8  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 08:08:29]
913*2^1390731-1 is not prime.  Res64: 9DCAB2FC8892E002  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 08:08:30]
951*2^1390731-1 is not prime.  Res64: E616DAC57E7D37F6  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 08:08:37]
861*2^1390731-1 is not prime.  Res64: 37F6D6D145FFC0A9  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 08:08:37]
871*2^1390731-1 is not prime.  Res64: BF29FEE7DA3518D8  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 08:08:59]
609*2^1390732-1 is not prime.  Res64: 1403C5AC51ED5DE2  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 08:08:59]
617*2^1390732-1 is not prime.  Res64: 357CF1F20EDD3A3E  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 08:11:03]
657*2^1390732-1 is not prime.  Res64: 35B2D4D75250C9FA  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 08:11:04]
665*2^1390732-1 is not prime.  Res64: C384DD84B72F5A97  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 08:34:38]
693*2^1390732-1 is not prime.  Res64: 85C870266B078E63  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 08:34:38]
717*2^1390732-1 is not prime.  Res64: 2571D5C56F6D6223  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 08:34:40]
887*2^1390732-1 is not prime.  Res64: BB6A6910EFA7B0EA  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 08:34:40]
923*2^1390732-1 is not prime.  Res64: C17308B4FE1AB066  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 08:35:17]
939*2^1390732-1 is not prime.  Res64: 0FEF599A1E524842  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 08:35:17]
675*2^1390733-1 is not prime.  Res64: CD1822EB5B5A733E  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 08:37:15]
727*2^1390733-1 is not prime.  Res64: 05CD7977A891B5D6  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 08:37:16]
811*2^1390733-1 is not prime.  Res64: 3B9C9AB1F0B7256C  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 09:00:48]
855*2^1390733-1 is not prime.  Res64: F4C6CED66D8ECB9E  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 09:00:49]
939*2^1390733-1 is not prime.  Res64: 1EB6FD8B702CB069  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 09:00:52]
605*2^1390734-1 is not prime.  Res64: CB874FCD2D18ADD7  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 09:00:52]
681*2^1390734-1 is not prime.  Res64: D080E2CAEF56C819  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 09:01:22]
683*2^1390734-1 is not prime.  Res64: 96BEEDF9B80309FE  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 09:01:22]
693*2^1390734-1 is not prime.  Res64: 4D0687531A5E2EF4  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 09:03:29]
695*2^1390734-1 is not prime.  Res64: 70916CCBF6F1F5BC  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 09:03:30]
773*2^1390734-1 is not prime.  Res64: 0A64875241C2ECC2  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 09:27:10]
881*2^1390734-1 is not prime.  Res64: 1C51028DD8C926A7  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 09:27:10]
891*2^1390734-1 is not prime.  Res64: 4D311325AA0754C3  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 09:27:17]
783*2^1390734-1 is not prime.  Res64: 667E8D04CFF415BB  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 09:27:17]
873*2^1390734-1 is not prime.  Res64: 8D2A474D3771BC64  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 09:27:33]
971*2^1390734-1 is not prime.  Res64: 0D63EAA2C93BCE2D  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 09:27:34]
645*2^1390735-1 is not prime.  Res64: EAFC621AA1CF91A5  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 09:29:41]
793*2^1390735-1 is not prime.  Res64: F098045DB0840597  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 09:29:41]
861*2^1390735-1 is not prime.  Res64: F941AD562BEF1C20  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 09:53:26]
623*2^1390736-1 is not prime.  Res64: F5F08294DB40C2C1  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 09:53:26]
633*2^1390736-1 is not prime.  Res64: CDA468DC9453543D  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 09:53:28]
895*2^1390735-1 is not prime.  Res64: 5399DA1578127438  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 09:53:29]
919*2^1390735-1 is not prime.  Res64: 3ACE3385A02669C6  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 09:53:50]
683*2^1390736-1 is not prime.  Res64: D4F4823F99DBB51C  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 09:53:51]
759*2^1390736-1 is not prime.  Res64: 9A279C2A4C6EA453  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 09:55:59]
927*2^1390736-1 is not prime.  Res64: 4ACF4A21539C24B9  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 09:55:59]
945*2^1390736-1 is not prime.  Res64: 5CE0074775A4255C  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 10:19:31]
651*2^1390737-1 is not prime.  Res64: 1CDB25F6B78815CB  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 10:19:32]
685*2^1390737-1 is not prime.  Res64: 7E616DB4E63EA7A7  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 10:19:42]
765*2^1390737-1 is not prime.  Res64: EB376E9CD9FA423E  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 10:19:42]
861*2^1390737-1 is not prime.  Res64: 34DB09A2973FACB4  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 10:19:58]
901*2^1390737-1 is not prime.  Res64: 38BFC93DDBC29D69  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 10:19:59]
937*2^1390737-1 is not prime.  Res64: 1A142894EDD7B058  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 10:22:10]
945*2^1390737-1 is not prime.  Res64: BE19254FE7C11F49  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 10:22:10]
949*2^1390737-1 is not prime.  Res64: 6DA05FF114CC5E53  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 10:45:42]
611*2^1390738-1 is not prime.  Res64: 4D3A4045BD5A9100  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 10:45:42]
737*2^1390738-1 is not prime.  Res64: 074AB935EF28A14A  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 10:45:59]
777*2^1390738-1 is not prime.  Res64: 7F97D61138A35FD2  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 10:45:59]
801*2^1390738-1 is not prime.  Res64: EE48E3777476F276  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 10:46:09]
855*2^1390738-1 is not prime.  Res64: 4E482B56190B1779  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 10:46:10]
693*2^1390739-1 is not prime.  Res64: 2AD8F427C293BA3C  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 10:48:15]
841*2^1390739-1 is not prime.  Res64: D96A06201E733907  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 10:48:16]
843*2^1390739-1 is not prime.  Res64: 73DA1C582AC43CB2  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 11:11:55]
861*2^1390739-1 is not prime.  Res64: B13C8DB3D6BE8DAB  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 11:11:56]
913*2^1390739-1 is not prime.  Res64: 55C975EAC0B67AFF  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 11:12:12]
939*2^1390739-1 is not prime.  Res64: 1616562F00B59956  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 11:12:13]
943*2^1390739-1 is not prime.  Res64: 65866C1E404D5B94  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 11:12:27]
615*2^1390740-1 is not prime.  Res64: 6943767E7A711B92  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 11:12:27]
635*2^1390740-1 is not prime.  Res64: 2A02CF2B5BC359E4  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 11:14:23]
689*2^1390740-1 is not prime.  Res64: D0F8971D413B1300  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 11:14:23]
765*2^1390740-1 is not prime.  Res64: C948AFA6E1DC2ABD  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 11:38:09]
767*2^1390740-1 is not prime.  Res64: D45374033CC63022  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 11:38:10]
779*2^1390740-1 is not prime.  Res64: 139D51C8AE624D0F  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 11:38:24]
879*2^1390740-1 is not prime.  Res64: 966FCB785EC978D9  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 11:38:24]
933*2^1390740-1 is not prime.  Res64: 94A53FD4B06E224D  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 11:38:37]
965*2^1390740-1 is not prime.  Res64: 0DD7EDEF45B6DC9E  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 11:38:38]
741*2^1390741-1 is not prime.  Res64: 39373D7A89B37B3B  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 11:40:37]
957*2^1390741-1 is not prime.  Res64: C954A65ABC34FE81  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 11:40:37]
961*2^1390741-1 is not prime.  Res64: 726E063A66BB69F1  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 12:04:30]
615*2^1390742-1 is not prime.  Res64: A7722630CFF72679  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 12:04:32]
979*2^1390741-1 is not prime.  Res64: C680CEB4A3F55D03  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 12:04:33]
675*2^1390742-1 is not prime.  Res64: 409DE00FDD85A005  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 12:04:34]
987*2^1390741-1 is not prime.  Res64: 58ACFB167E1886ED  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 12:04:48]
705*2^1390742-1 is not prime.  Res64: 1E89E51E8AE376FC  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 12:04:50]
741*2^1390742-1 is not prime.  Res64: 03F7C13B3738B7F8  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 12:06:34]
785*2^1390742-1 is not prime.  Res64: A6B446C73DE34957  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 12:06:34]
797*2^1390742-1 is not prime.  Res64: 61500DAD7182B2DC  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 12:31:19]
639*2^1390743-1 is not prime.  Res64: 44EEEC59A52FC154  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 12:31:20]
691*2^1390743-1 is not prime.  Res64: 2C551A44DC1B6277  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 12:31:23]
829*2^1390743-1 is not prime.  Res64: 3AAE7DEC5AA5E445  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 12:31:23]
849*2^1390743-1 is not prime.  Res64: F6440B11F9A0657D  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 12:31:29]
693*2^1390743-1 is not prime.  Res64: 67DDC923F1652300  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 12:31:29]
751*2^1390743-1 is not prime.  Res64: B5F8B198AB843FBE  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 12:32:43]
871*2^1390743-1 is not prime.  Res64: 1470385817E385D4  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 12:32:43]
951*2^1390743-1 is not prime.  Res64: 5CAEE5A2FE23242F  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 12:58:13]
677*2^1390744-1 is not prime.  Res64: 625A4324C96AF187  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 12:58:14]
747*2^1390744-1 is not prime.  Res64: 5E02BB1C050F49D5  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 12:58:19]
991*2^1390743-1 is not prime.  Res64: EAC646EAEF8DA803  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 12:58:19]
675*2^1390744-1 is not prime.  Res64: E71EC09C9035AC88  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 12:58:25]
869*2^1390744-1 is not prime.  Res64: 4B25355223E1DD5C  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 12:58:25]
975*2^1390744-1 is not prime.  Res64: 495F1DD5E74C5E71  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 13:01:02]
995*2^1390744-1 is not prime.  Res64: BA4BC4B02B03DF74  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 13:01:03]
775*2^1390745-1 is not prime.  Res64: 4A16BCB3722BD7D1  Time : 0.0 sec.
user=juhehe
[2015-02-10 13:14:01]
799*2^1390745-1 is not prime.  Res64: 02B68B4AA447A4CB  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 13:40:28]
951*2^1390745-1 is not prime.  Res64: 927AA0D6EE12F063  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 13:40:28]
633*2^1390746-1 is not prime.  Res64: E7F2F5495BD639BF  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 13:41:36]
647*2^1390746-1 is not prime.  Res64: 32335391BBA00EDB  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 13:41:36]
723*2^1390746-1 is not prime.  Res64: E821EA5B7061DA83  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 13:42:03]
725*2^1390746-1 is not prime.  Res64: A70A5AB2562DDD6A  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 13:42:03]
735*2^1390746-1 is not prime.  Res64: F2C638D64D815511  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 13:43:42]
807*2^1390746-1 is not prime.  Res64: 89585EAA52F13374  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 13:43:42]
851*2^1390746-1 is not prime.  Res64: D96C7050DDACB054  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 14:07:45]
887*2^1390746-1 is not prime.  Res64: AA3F0B391D3A4674  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 14:07:45]
917*2^1390746-1 is not prime.  Res64: E26DF5881E2FEC01  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 14:08:56]
649*2^1390747-1 is not prime.  Res64: ADEBD8E3319CEE43  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 14:08:57]
759*2^1390747-1 is not prime.  Res64: 640717DA6F1BCD30  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 14:09:01]
615*2^1390747-1 is not prime.  Res64: F8024441613474FB  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 14:09:01]
639*2^1390747-1 is not prime.  Res64: 72676F93DBB0973D  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 14:10:47]
801*2^1390747-1 is not prime.  Res64: E9B8F26807999DBC  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 14:10:48]
805*2^1390747-1 is not prime.  Res64: 2DB3D195F6704D9D  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 14:34:09]
859*2^1390747-1 is not prime.  Res64: 639ABBF0E7C0CAB0  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 14:34:10]
915*2^1390747-1 is not prime.  Res64: D01E197666FABA29  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 14:35:18]
985*2^1390747-1 is not prime.  Res64: B97978ED1745FE1C  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 14:35:19]
677*2^1390748-1 is not prime.  Res64: 20E257A01CBCE925  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 14:35:23]
755*2^1390748-1 is not prime.  Res64: DF49245BD0B286D5  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 14:35:23]
797*2^1390748-1 is not prime.  Res64: 0A55C44FD868CFF0  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 14:37:25]
879*2^1390748-1 is not prime.  Res64: 7C1BE5C70E49F6CE  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 14:37:25]
923*2^1390748-1 is not prime.  Res64: 20545B6C1BE7CC92  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 15:00:26]
615*2^1390749-1 is not prime.  Res64: 0B5F36789B45452B  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 15:00:28]
655*2^1390749-1 is not prime.  Res64: 7AAFA11D3D0C3F69  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 15:01:38]
795*2^1390749-1 is not prime.  Res64: A3C175DE40BEC764  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 15:01:39]
867*2^1390749-1 is not prime.  Res64: 9EF6AD5D0DCB8E53  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 15:01:41]
891*2^1390749-1 is not prime.  Res64: 000B3C81609A860D  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 15:01:41]
675*2^1390750-1 is not prime.  Res64: B4C31D31FDF60CCE  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 15:03:42]
731*2^1390750-1 is not prime.  Res64: 13C30A08D6CAA03D  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 15:03:43]
791*2^1390750-1 is not prime.  Res64: 02B2BBB0FBD751C3  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 15:26:51]
885*2^1390750-1 is not prime.  Res64: 0ED79889C902A513  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 15:26:52]
619*2^1390751-1 is not prime.  Res64: F3204244C75926A6  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 15:27:57]
651*2^1390751-1 is not prime.  Res64: 7C47D84236C21F66  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 15:27:58]
663*2^1390751-1 is not prime.  Res64: ED7929789EBBBCB6  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 15:28:00]
859*2^1390751-1 is not prime.  Res64: 4DFB5425E4E5269D  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 15:28:00]
913*2^1390751-1 is not prime.  Res64: E37F1AE407CD3FE6  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 15:30:15]
615*2^1390752-1 is not prime.  Res64: F0FE200F04CF7C8D  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 15:30:15]
635*2^1390752-1 is not prime.  Res64: 6E05F2F378C53C70  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 15:53:06]
683*2^1390752-1 is not prime.  Res64: 07BFE0006ED97963  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 15:53:07]
803*2^1390752-1 is not prime.  Res64: 557D2C8187FA23C6  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 15:54:13]
705*2^1390753-1 is not prime.  Res64: E8D12860FD5986BB  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 15:54:14]
745*2^1390753-1 is not prime.  Res64: 1F9878DF85DE1E9A  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 15:54:21]
893*2^1390752-1 is not prime.  Res64: CACA66655561E438  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 15:54:22]
649*2^1390753-1 is not prime.  Res64: 2EF8FBB4946FB686  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 15:56:32]
769*2^1390753-1 is not prime.  Res64: A6BB1948D2B1225E  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 15:56:32]
861*2^1390753-1 is not prime.  Res64: AE95FF5D2905567F  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 16:19:28]
867*2^1390753-1 is not prime.  Res64: 47AF9EC65AC87A6B  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 16:19:28]
701*2^1390754-1 is not prime.  Res64: 82D251CC4A9E9DD4  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 16:20:25]
705*2^1390754-1 is not prime.  Res64: DD914A7CA10A87B1  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 16:20:25]
755*2^1390754-1 is not prime.  Res64: 11FE6A6DD0B0AD63  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 16:20:40]
827*2^1390754-1 is not prime.  Res64: 70573F9C827A7268  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 16:20:40]
945*2^1390754-1 is not prime.  Res64: 247B48969555772B  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 16:22:54]
981*2^1390754-1 is not prime.  Res64: 28A77A5984D55D39  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 16:22:54]
613*2^1390755-1 is not prime.  Res64: 9BDBD9B735889FBF  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 16:45:45]
709*2^1390755-1 is not prime.  Res64: 1C53A60DAACAE188  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 16:45:46]
741*2^1390755-1 is not prime.  Res64: D72FB2911B89C88B  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 16:46:38]
825*2^1390755-1 is not prime.  Res64: D632FE9BD47CCAF4  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 16:46:39]
909*2^1390755-1 is not prime.  Res64: 20213142EB58C8C4  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 16:46:54]
717*2^1390756-1 is not prime.  Res64: 6DFF3835A49B0B1F  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 16:46:54]
723*2^1390756-1 is not prime.  Res64: 42987F0077427A78  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 16:49:12]
855*2^1390756-1 is not prime.  Res64: E928C8CA30E88BC1  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 16:49:12]
869*2^1390756-1 is not prime.  Res64: 3370016B114AEFEB  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 17:11:56]
923*2^1390756-1 is not prime.  Res64: FDE84EE1D4ED7343  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 17:11:57]
927*2^1390756-1 is not prime.  Res64: 58D32C04C2E64D49  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 17:12:59]
627*2^1390757-1 is not prime.  Res64: 65FDF92908A8DC3D  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 17:12:59]
795*2^1390757-1 is not prime.  Res64: 8CFF63B8CB2E1EF2  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 17:13:14]
925*2^1390757-1 is not prime.  Res64: 244050B235F3D38A  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 17:13:14]
627*2^1390758-1 is not prime.  Res64: B936473A6477D4C7  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 17:15:30]
635*2^1390758-1 is not prime.  Res64: 48D2E6C8BB3B84B8  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 17:15:31]
683*2^1390758-1 is not prime.  Res64: D3B8236944E5B9DF  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 17:38:20]
713*2^1390758-1 is not prime.  Res64: 5F89872791135326  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 17:38:21]
765*2^1390758-1 is not prime.  Res64: B048795C9CB90926  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 17:39:11]
881*2^1390758-1 is not prime.  Res64: 90950F1CB82AC0B6  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 17:39:12]
915*2^1390758-1 is not prime.  Res64: 63573B27418849FD  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 17:39:33]
933*2^1390758-1 is not prime.  Res64: 6705C582CBE42E0F  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 17:39:34]
951*2^1390758-1 is not prime.  Res64: D14E4D737DC83D12  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 17:41:53]
621*2^1390759-1 is not prime.  Res64: 2B0A0C038F567AE6  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 17:41:54]
741*2^1390759-1 is not prime.  Res64: 565D02B190A890B3  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 18:04:40]
961*2^1390759-1 is not prime.  Res64: A1C4D03ECA639AB5  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 18:04:42]
633*2^1390760-1 is not prime.  Res64: F8D68BB2D59C6831  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 18:05:23]
713*2^1390760-1 is not prime.  Res64: 447EC16A3904D3A2  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 18:05:24]
827*2^1390760-1 is not prime.  Res64: C724D1DDB7D2BAC0  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 18:05:50]
875*2^1390760-1 is not prime.  Res64: 98CD5ADFA68E4824  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 18:05:50]
899*2^1390760-1 is not prime.  Res64: 2204F1D9C085CEA0  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 18:08:10]
983*2^1390760-1 is not prime.  Res64: BC528415D64B61D9  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 18:08:11]
999*2^1390760-1 is not prime.  Res64: 180297538409AEF6  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 18:31:09]
609*2^1390761-1 is not prime.  Res64: 487A91C0EEF71480  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 18:31:10]
639*2^1390761-1 is not prime.  Res64: 7F8947CF651FC3C9  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 18:31:51]
739*2^1390761-1 is not prime.  Res64: D865CFC1C58B8A04  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 18:31:52]
741*2^1390761-1 is not prime.  Res64: 589BEA05CDC430B7  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 18:32:05]
795*2^1390761-1 is not prime.  Res64: 63A83B697E48344A  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 18:32:06]
895*2^1390761-1 is not prime.  Res64: B890519229E8A802  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 18:34:23]
955*2^1390761-1 is not prime.  Res64: 5F5AB34946D2EBD1  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 18:34:24]
647*2^1390762-1 is not prime.  Res64: 81BF830C094207CF  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 18:57:42]
653*2^1390762-1 is not prime.  Res64: 85F9A8CD8193E20C  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 18:57:43]
671*2^1390762-1 is not prime.  Res64: 067A1968FE25AA13  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 18:58:32]
737*2^1390762-1 is not prime.  Res64: ED11826BE01C4A54  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 18:58:33]
777*2^1390762-1 is not prime.  Res64: 3D44774090434628  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 18:58:49]
791*2^1390762-1 is not prime.  Res64: E84139E738868689  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 18:58:49]
815*2^1390762-1 is not prime.  Res64: 7B9C27903CE5FF1B  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 19:01:33]
821*2^1390762-1 is not prime.  Res64: 953665871E3274F7  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 19:01:34]
975*2^1390762-1 is not prime.  Res64: BFDB90A2288DAA68  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 19:24:52]
675*2^1390763-1 is not prime.  Res64: A11EB7091C7DBD94  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 19:24:53]
753*2^1390763-1 is not prime.  Res64: 86C5677FAC252FC3  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 19:25:07]
811*2^1390763-1 is not prime.  Res64: 8CBF4CEE318D96F7  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 19:25:07]
913*2^1390763-1 is not prime.  Res64: D918E75833B0BA06  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 19:25:26]
915*2^1390763-1 is not prime.  Res64: 11B17B1B420C9FF1  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 19:25:26]
949*2^1390763-1 is not prime.  Res64: FE560F8872A29931  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 19:28:15]
605*2^1390764-1 is not prime.  Res64: 5804E22F684D95C2  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 19:28:15]
689*2^1390764-1 is not prime.  Res64: C507FDBE4FFCC142  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 19:51:19]
783*2^1390764-1 is not prime.  Res64: D68DA03EC2A7B68B  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 19:51:19]
857*2^1390764-1 is not prime.  Res64: BC62207B97C9C382  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 19:51:36]
651*2^1390765-1 is not prime.  Res64: B6A40DEE7931D5E9  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 19:51:36]
685*2^1390765-1 is not prime.  Res64: FC6A8285E1E103E3  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 19:51:50]
759*2^1390765-1 is not prime.  Res64: 22C11BD8A4CDE295  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 19:51:51]
775*2^1390765-1 is not prime.  Res64: 0C5F751712608C93  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 19:54:36]
805*2^1390765-1 is not prime.  Res64: AA8116AE86F87882  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 19:54:36]
617*2^1390766-1 is not prime.  Res64: 5AB4BB97BAD023E2  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 20:17:49]
641*2^1390766-1 is not prime.  Res64: DD6845FB97A52895  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 20:17:49]
645*2^1390766-1 is not prime.  Res64: 0EBA2D0432F40978  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 20:17:50]
671*2^1390766-1 is not prime.  Res64: 49284872347C791C  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 20:17:50]
893*2^1390766-1 is not prime.  Res64: A0D2C415717B8034  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 20:18:21]
871*2^1390767-1 is not prime.  Res64: 4997750372F7FA2E  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 20:18:21]
963*2^1390767-1 is not prime.  Res64: 5ADAC3A7DC8C7D57  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 20:20:50]
975*2^1390767-1 is not prime.  Res64: 4731574F2728AEFC  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 20:20:50]
605*2^1390768-1 is not prime.  Res64: DEE33EFDC5C5BFF8  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 20:44:05]
615*2^1390768-1 is not prime.  Res64: 01DD577D66190B38  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 20:44:05]
657*2^1390768-1 is not prime.  Res64: B1E3B912B6951141  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 20:44:14]
665*2^1390768-1 is not prime.  Res64: 7552E4B51FD1AD29  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 20:44:14]
797*2^1390768-1 is not prime.  Res64: C95DE02EB06D0097  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 20:44:43]
813*2^1390768-1 is not prime.  Res64: D3EB46B863A22083  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 20:44:44]
839*2^1390768-1 is not prime.  Res64: 6105D487F4E1BCC7  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 20:47:04]
875*2^1390768-1 is not prime.  Res64: CEB3B2CD08C30588  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 20:47:04]
905*2^1390768-1 is not prime.  Res64: D21E677DBB4609D0  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 21:10:18]
957*2^1390768-1 is not prime.  Res64: CA76AFE0B4A187F3  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 21:10:19]
999*2^1390768-1 is not prime.  Res64: 29A0C33D9BCED8BD  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 21:10:40]
747*2^1390769-1 is not prime.  Res64: 5DC0DDE6C033A5F8  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 21:10:41]
829*2^1390769-1 is not prime.  Res64: 1F8C9B1982F8A505  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 21:11:03]
847*2^1390769-1 is not prime.  Res64: 7549BA3952BC9842  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 21:11:03]
635*2^1390770-1 is not prime.  Res64: E98582988CAD9602  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 21:13:25]
711*2^1390770-1 is not prime.  Res64: A168B91C94594300  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 21:13:25]
713*2^1390770-1 is not prime.  Res64: 4890F4C8C57BAB3F  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 21:36:41]
717*2^1390770-1 is not prime.  Res64: 0DF8C1C3A80FB7B0  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 21:36:42]
765*2^1390770-1 is not prime.  Res64: D1330BA2D9B56B38  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 21:37:02]
917*2^1390770-1 is not prime.  Res64: 54B6A5BDF35CB003  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 21:37:02]
921*2^1390770-1 is not prime.  Res64: 18C7007A9868D07A  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 21:37:27]
615*2^1390771-1 is not prime.  Res64: 8A338F5BBBEA1929  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 21:37:28]
649*2^1390771-1 is not prime.  Res64: D593C995251F028E  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 21:39:57]
685*2^1390771-1 is not prime.  Res64: 284EE5C654085FE6  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 21:39:58]
733*2^1390771-1 is not prime.  Res64: 53E317F85123BF4A  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 22:03:00]
759*2^1390771-1 is not prime.  Res64: B0DED0B56B2C77DC  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 22:03:02]
909*2^1390771-1 is not prime.  Res64: 50F87A2B180D2B0C  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 22:03:27]
603*2^1390772-1 is not prime.  Res64: 724B748E4B7C6F37  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 22:03:28]
617*2^1390772-1 is not prime.  Res64: 442CE2138E14135B  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 22:03:48]
635*2^1390772-1 is not prime.  Res64: 8B052E3D59663503  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 22:03:49]
867*2^1390772-1 is not prime.  Res64: FDD942F6DF887368  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 22:06:25]
875*2^1390772-1 is not prime.  Res64: B5D8A04C82FBDC52  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 22:06:25]
935*2^1390772-1 is not prime.  Res64: 7CF944D727348D57  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 22:29:42]
817*2^1390773-1 is not prime.  Res64: 9CEC4AF8D26A7A6D  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 22:29:42]
995*2^1390772-1 is not prime.  Res64: 67120C64CCBE9959  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 22:29:42]
859*2^1390773-1 is not prime.  Res64: 6A869C4E14ACAFC0  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 22:29:42]
675*2^1390773-1 is not prime.  Res64: A6EE6C6ADA92ADB7  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 22:30:12]
895*2^1390773-1 is not prime.  Res64: BEB6A54B3DDACA10  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 22:30:12]
927*2^1390773-1 is not prime.  Res64: C3A2C678817EA22D  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 22:33:01]
969*2^1390773-1 is not prime.  Res64: A18D72EB1373A689  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 22:33:01]
621*2^1390774-1 is not prime.  Res64: 2995564FCC29ECD5  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 23:00:01]
825*2^1390774-1 is not prime.  Res64: 130B8C1AAE25D670  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 23:00:02]
885*2^1390774-1 is not prime.  Res64: 52B018B539105635  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 23:00:10]
717*2^1390774-1 is not prime.  Res64: C0BE9F0ABE2F2303  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 23:00:11]
731*2^1390774-1 is not prime.  Res64: 28E9E46629FD274D  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 23:00:32]
971*2^1390774-1 is not prime.  Res64: 6787F49D2DCAF8CC  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 23:00:33]
715*2^1390775-1 is not prime.  Res64: 12042358AD501CA7  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 23:03:40]
783*2^1390775-1 is not prime.  Res64: EE42F56081CF4D6E  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 23:03:41]
841*2^1390775-1 is not prime.  Res64: D42B9D5E608C8A0D  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 23:38:26]
921*2^1390775-1 is not prime.  Res64: E3ABA3E5A8D5D5F3  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 23:38:27]
693*2^1390776-1 is not prime.  Res64: 866DDD9508E267FE  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 23:39:33]
705*2^1390776-1 is not prime.  Res64: ABA9D004B5330B50  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 23:39:34]
759*2^1390776-1 is not prime.  Res64: DED420C36BB232AE  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 23:40:16]
837*2^1390776-1 is not prime.  Res64: 1F34E5AA03353C96  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 23:40:16]
849*2^1390776-1 is not prime.  Res64: F2017CA4852662DF  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 23:42:56]
867*2^1390776-1 is not prime.  Res64: 2216E740BE8CE255  Time : 0.0 sec.
user=mdettweiler
[2015-02-10 23:42:56]
879*2^1390776-1 is not prime.  Res64: C65F532E27832311  Time : 0.0 sec.