user=mdettweiler
[2015-12-27 00:03:15]
663*2^1418175-1 is not prime.  Res64: FDD8BC534D105A7C  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 00:03:16]
971*2^1418174-1 is not prime.  Res64: 400AAFDBE3DF25C9  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 00:03:16]
763*2^1418175-1 is not prime.  Res64: C47257F910F21BE1  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 00:03:18]
609*2^1418175-1 is not prime.  Res64: BEFDA1D938F81A8B  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 00:20:59]
825*2^1418175-1 is not prime.  Res64: 55AC1DF03CE09B87  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 00:20:59]
909*2^1418175-1 is not prime.  Res64: 3BB2F77C4B382944  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 00:21:00]
861*2^1418175-1 is not prime.  Res64: 4B9E2317B0D53F23  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 00:21:00]
963*2^1418175-1 is not prime.  Res64: EB8A4029B871A94E  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 00:38:32]
875*2^1418176-1 is not prime.  Res64: EAFF888991A03BC7  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 00:38:33]
917*2^1418176-1 is not prime.  Res64: 0F47FABBD75875BB  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 00:38:33]
699*2^1418176-1 is not prime.  Res64: D8FB38955ABBB367  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 00:38:33]
755*2^1418176-1 is not prime.  Res64: F3C02563C806E6B2  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 00:56:04]
933*2^1418176-1 is not prime.  Res64: 66C1E35C9C47C8E9  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 00:56:04]
923*2^1418176-1 is not prime.  Res64: B00FEDCA8DC59FB1  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 00:56:04]
939*2^1418176-1 is not prime.  Res64: ECFC2E59B9356BC3  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 00:56:04]
927*2^1418176-1 is not prime.  Res64: A75D5A293867E121  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 01:13:33]
729*2^1418177-1 is not prime.  Res64: 5D1CBAB2E60F49D5  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 01:13:34]
649*2^1418177-1 is not prime.  Res64: 19E97470F7B59A1A  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 01:13:34]
847*2^1418177-1 is not prime.  Res64: A100884CA0157D1A  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 01:13:34]
685*2^1418177-1 is not prime.  Res64: 0759A3BA175A77B6  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 01:31:08]
885*2^1418177-1 is not prime.  Res64: DEBFAC830F67DCBB  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 01:31:08]
937*2^1418177-1 is not prime.  Res64: A5D5F9358C78F8E9  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 01:40:37]
627*2^1418178-1 is not prime.  Res64: 62338AFF8E403FFD  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 01:40:37]
915*2^1418177-1 is not prime.  Res64: D79B36C86F794936  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 01:58:07]
677*2^1418178-1 is not prime.  Res64: 3E9DFA34B01084E5  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 01:58:07]
635*2^1418178-1 is not prime.  Res64: 0F1BBCAB1E085CCD  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 01:58:08]
681*2^1418178-1 is not prime.  Res64: 4F02113985CF89C9  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 01:58:08]
671*2^1418178-1 is not prime.  Res64: 175C4ACD3CBC472A  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 02:15:38]
905*2^1418178-1 is not prime.  Res64: C51BAE8CF47B7858  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 02:15:39]
619*2^1418179-1 is not prime.  Res64: 5FCCFF326AB45903  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 02:15:39]
755*2^1418178-1 is not prime.  Res64: 7DA97DACA6C07A02  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 02:15:40]
777*2^1418178-1 is not prime.  Res64: A584453B16EFF4A0  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 02:33:09]
633*2^1418179-1 is not prime.  Res64: B2BF67B44059F1A9  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 02:33:11]
855*2^1418179-1 is not prime.  Res64: 9AE6244CC467EF05  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 02:33:11]
843*2^1418179-1 is not prime.  Res64: BB26FFA43FC9F9DC  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 02:33:12]
861*2^1418179-1 is not prime.  Res64: 4A2A46D6ECD01E32  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 02:50:55]
707*2^1418180-1 is not prime.  Res64: 659ADB9E4B0CBC24  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 02:50:55]
767*2^1418180-1 is not prime.  Res64: 65344EC249B6A3C5  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 02:50:55]
759*2^1418180-1 is not prime.  Res64: E3BB1D15F265D0BB  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 02:50:55]
897*2^1418180-1 is not prime.  Res64: 38913D8B72C7532A  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 03:08:27]
959*2^1418180-1 is not prime.  Res64: 5294EE8D86EFE2D9  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 03:08:28]
987*2^1418180-1 is not prime.  Res64: C6A0DE35046AC32B  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 03:08:29]
661*2^1418181-1 is not prime.  Res64: 46129A117136D2F8  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 03:08:30]
709*2^1418181-1 is not prime.  Res64: 239450A16A41F18E  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 03:26:00]
889*2^1418181-1 is not prime.  Res64: 4D3A93F49DD8F97E  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 03:26:01]
727*2^1418181-1 is not prime.  Res64: E9E38888B3F7BA5D  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 03:26:02]
949*2^1418181-1 is not prime.  Res64: 428F36113F42FAD3  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 03:26:04]
795*2^1418181-1 is not prime.  Res64: 19ABD8A798206F66  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 03:43:40]
979*2^1418181-1 is not prime.  Res64: 8AC9994D3503F572  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 03:43:41]
999*2^1418181-1 is not prime.  Res64: 37B13D3D4CD79B77  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 03:43:42]
737*2^1418182-1 is not prime.  Res64: ADCE31894322BB69  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 03:43:42]
777*2^1418182-1 is not prime.  Res64: E95DDD1086877EFA  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 04:01:23]
863*2^1418182-1 is not prime.  Res64: ECE46D2171259CAD  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 04:01:23]
917*2^1418182-1 is not prime.  Res64: 869A0DFF95F931F3  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 04:01:25]
911*2^1418182-1 is not prime.  Res64: F6231F411DD00D53  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 04:01:26]
621*2^1418183-1 is not prime.  Res64: 13BB332EA3AE3FA9  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 04:19:10]
741*2^1418183-1 is not prime.  Res64: 29FE343B95D254B3  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 04:19:10]
663*2^1418183-1 is not prime.  Res64: 53C3C93F14D74FCF  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 04:19:10]
669*2^1418183-1 is not prime.  Res64: 4A08BCB5FF70128B  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 04:19:10]
759*2^1418183-1 is not prime.  Res64: 0FB8BD548BE1D757  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 04:36:50]
885*2^1418183-1 is not prime.  Res64: 28D26C0976F7E3DF  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 04:36:50]
943*2^1418183-1 is not prime.  Res64: A3463C82ABCE9BBE  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 04:36:54]
991*2^1418183-1 is not prime.  Res64: 2BB0697CE6608E05  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 04:36:55]
999*2^1418183-1 is not prime.  Res64: A8693F042DC3B44F  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 04:54:20]
665*2^1418184-1 is not prime.  Res64: DB83482B6F8887CB  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 04:54:21]
705*2^1418184-1 is not prime.  Res64: 4890FDD96218F61B  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 04:54:24]
753*2^1418184-1 is not prime.  Res64: 6B3CA01A0A23DACB  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 04:54:24]
767*2^1418184-1 is not prime.  Res64: 4653FEFA55DE4763  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 05:11:50]
929*2^1418184-1 is not prime.  Res64: 6DFEB35BB7A2811C  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 05:11:51]
679*2^1418185-1 is not prime.  Res64: 3A4D949319B0494A  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 05:11:52]
729*2^1418185-1 is not prime.  Res64: 93595B635FA145B0  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 05:11:53]
985*2^1418185-1 is not prime.  Res64: CF1E9C82D0E0A43D  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 05:29:24]
623*2^1418186-1 is not prime.  Res64: 0B4789E7ACE1A74A  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 05:29:24]
747*2^1418186-1 is not prime.  Res64: F05CED9220FEB29F  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 05:29:24]
671*2^1418186-1 is not prime.  Res64: D585BF3FAC8737BD  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 05:29:24]
801*2^1418186-1 is not prime.  Res64: 57C7EDF07CE0F633  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 05:46:54]
963*2^1418186-1 is not prime.  Res64: AB4E2A765DE6C5E0  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 05:46:54]
795*2^1418187-1 is not prime.  Res64: 7122A27E23C8527A  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 05:46:54]
833*2^1418186-1 is not prime.  Res64: 01ECA58EC8B6639A  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 05:46:55]
911*2^1418186-1 is not prime.  Res64: E142FFFFA8F95B03  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 06:04:25]
801*2^1418187-1 is not prime.  Res64: 0A829802514A0F2D  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 06:04:25]
859*2^1418187-1 is not prime.  Res64: 952FFC31259171FA  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 06:04:26]
823*2^1418187-1 is not prime.  Res64: 6A33BB4DB215FE9C  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 06:04:26]
861*2^1418187-1 is not prime.  Res64: 34FE445A5982239E  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 06:22:24]
901*2^1418187-1 is not prime.  Res64: 3E1C810DCE3D9FBF  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 06:22:24]
945*2^1418187-1 is not prime.  Res64: 26350DBF656DA877  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 06:22:26]
963*2^1418187-1 is not prime.  Res64: 92EA3502453BA438  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 06:22:27]
991*2^1418187-1 is not prime.  Res64: 0F12833CC97A439C  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 06:39:54]
623*2^1418188-1 is not prime.  Res64: DECDD05E819B815B  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 06:39:55]
657*2^1418188-1 is not prime.  Res64: 2663C30464EB4373  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 06:39:56]
749*2^1418188-1 is not prime.  Res64: 86C0452194D22212  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 06:39:57]
813*2^1418188-1 is not prime.  Res64: C893830895044D77  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 06:57:24]
863*2^1418188-1 is not prime.  Res64: 594C2C302C614A05  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 06:57:25]
869*2^1418188-1 is not prime.  Res64: 902379E917A4A58B  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 06:57:27]
875*2^1418188-1 is not prime.  Res64: F035036DF7C886A2  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 06:57:27]
887*2^1418188-1 is not prime.  Res64: 139FF6F0D2C69186  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 07:14:55]
933*2^1418188-1 is not prime.  Res64: A70C234E5C01588E  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 07:14:56]
615*2^1418189-1 is not prime.  Res64: 69BF617346573093  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 07:14:59]
657*2^1418189-1 is not prime.  Res64: F2F1998A0F9F9E6A  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 07:14:59]
771*2^1418189-1 is not prime.  Res64: A273F4D58E1D5AEF  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 07:32:25]
837*2^1418189-1 is not prime.  Res64: BAA0CE20C29B67F5  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 07:32:26]
957*2^1418189-1 is not prime.  Res64: 2F8D52495F87AA0B  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 07:32:31]
641*2^1418190-1 is not prime.  Res64: 6B485B641FC44ADD  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 07:32:32]
681*2^1418190-1 is not prime.  Res64: 658BE6C52EDA0AEA  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 07:49:56]
767*2^1418190-1 is not prime.  Res64: 7756AB3CA9F75325  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 07:49:56]
843*2^1418190-1 is not prime.  Res64: 6A142D82C689DD47  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 07:50:03]
845*2^1418190-1 is not prime.  Res64: 1613DBBD517935E2  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 07:50:03]
893*2^1418190-1 is not prime.  Res64: 03D30D5684491489  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 08:07:26]
723*2^1418191-1 is not prime.  Res64: D6AAD248E7AB529D  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 08:07:27]
925*2^1418191-1 is not prime.  Res64: 891BA764FE21F2DC  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 08:07:35]
931*2^1418191-1 is not prime.  Res64: DF82AEC354BB71EE  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 08:07:35]
939*2^1418191-1 is not prime.  Res64: E7C2B8AB71F3A582  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 08:24:57]
973*2^1418191-1 is not prime.  Res64: 1C57AFD557ECA784  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 08:24:58]
975*2^1418191-1 is not prime.  Res64: D0CD8BD6F310D4CA  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 08:25:04]
797*2^1418192-1 is not prime.  Res64: E93F816313A1E881  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 08:25:05]
803*2^1418192-1 is not prime.  Res64: E6C5073B2925DCB9  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 08:42:31]
999*2^1418192-1 is not prime.  Res64: 92229F6E5BD6931A  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 08:42:32]
615*2^1418193-1 is not prime.  Res64: DB4EBDCCC5D4F217  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 08:42:36]
685*2^1418193-1 is not prime.  Res64: 06E342E7B661F276  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 08:42:37]
705*2^1418193-1 is not prime.  Res64: 3C291A32D05F2EE7  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 09:00:02]
739*2^1418193-1 is not prime.  Res64: F594AC53251161C2  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 09:00:02]
811*2^1418193-1 is not prime.  Res64: DB53EB81B809EC3A  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 09:00:06]
861*2^1418193-1 is not prime.  Res64: 83048A16CA3F0387  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 09:00:06]
937*2^1418193-1 is not prime.  Res64: 7AC6E0E7D107D93F  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 09:17:33]
951*2^1418193-1 is not prime.  Res64: 2F795F7A93265DAA  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 09:17:33]
985*2^1418193-1 is not prime.  Res64: 43BA67AC42C9AB6D  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 09:17:35]
611*2^1418194-1 is not prime.  Res64: 372224CF8E85B58D  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 09:17:35]
633*2^1418194-1 is not prime.  Res64: 8D107CF67AD26090  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 09:35:02]
645*2^1418194-1 is not prime.  Res64: EAF31F27AF182913  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 09:35:03]
941*2^1418194-1 is not prime.  Res64: 4A6F78B7857D1175  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 09:35:04]
983*2^1418194-1 is not prime.  Res64: 5C33BDFC2D190F33  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 09:35:05]
601*2^1418195-1 is not prime.  Res64: EB7DF8DC7E8C4F15  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 09:52:32]
693*2^1418195-1 is not prime.  Res64: 7DB10F28835E17D1  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 09:52:32]
759*2^1418195-1 is not prime.  Res64: 43C1149B34166F5D  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 09:52:33]
783*2^1418195-1 is not prime.  Res64: 44FE9700732B5CDE  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 09:52:34]
829*2^1418195-1 is not prime.  Res64: 40D99E8167F7EEE8  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 10:10:02]
895*2^1418195-1 is not prime.  Res64: B6965F6E6224DAA2  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 10:10:02]
735*2^1418196-1 is not prime.  Res64: 700000C6C69F8CD6  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 10:10:02]
963*2^1418195-1 is not prime.  Res64: 8ACE57BBC02E4AC9  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 10:10:02]
749*2^1418196-1 is not prime.  Res64: 3E637911EFD03975  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 10:27:32]
649*2^1418197-1 is not prime.  Res64: 16E0ED2127A345D7  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 10:27:33]
729*2^1418197-1 is not prime.  Res64: 7D518B2D76FCF226  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 10:27:34]
867*2^1418197-1 is not prime.  Res64: 83A7D5CB6E601E1B  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 10:27:34]
927*2^1418197-1 is not prime.  Res64: E2EB28F7A6AE4C1C  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 10:45:02]
999*2^1418197-1 is not prime.  Res64: 01A3AC43B36D869E  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 10:45:03]
635*2^1418198-1 is not prime.  Res64: FBC0905743BA6E2A  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 10:45:03]
603*2^1418198-1 is not prime.  Res64: B1C26861157C4374  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 10:45:03]
857*2^1418198-1 is not prime.  Res64: 9E1235005FF0F6D9  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 11:02:33]
875*2^1418198-1 is not prime.  Res64: 28FAF12BBCD87C8C  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 11:02:33]
945*2^1418198-1 is not prime.  Res64: 0C9082CB57F019CD  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 11:02:34]
911*2^1418198-1 is not prime.  Res64: CC51EAE47C1AE3A0  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 11:02:34]
723*2^1418199-1 is not prime.  Res64: 410B520252FE8B55  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 11:20:11]
853*2^1418199-1 is not prime.  Res64: 6187703B3C868559  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 11:20:11]
943*2^1418199-1 is not prime.  Res64: 32594F735871AA2B  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 11:20:12]
687*2^1418200-1 is not prime.  Res64: FCC1470CBECBF1DE  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 11:20:13]
723*2^1418200-1 is not prime.  Res64: 2E7D3B5668EA89FF  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 11:37:45]
735*2^1418200-1 is not prime.  Res64: 0CE4815EC8B411ED  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 11:37:45]
975*2^1418200-1 is not prime.  Res64: 722307D4F3AB2CB4  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 11:37:45]
827*2^1418200-1 is not prime.  Res64: DFD82DE6B4ACFFC5  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 11:37:46]
983*2^1418200-1 is not prime.  Res64: C5C325C189477C65  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 11:55:16]
619*2^1418201-1 is not prime.  Res64: 340D1A85E1E08AC1  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 11:55:16]
727*2^1418201-1 is not prime.  Res64: 7525FE76E585505E  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 11:55:16]
637*2^1418201-1 is not prime.  Res64: 3B840C3FD8A392EB  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 11:55:16]
777*2^1418201-1 is not prime.  Res64: B94DCA348600DB46  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 12:12:49]
681*2^1418202-1 is not prime.  Res64: 9FFAF3434549C597  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 12:12:50]
705*2^1418202-1 is not prime.  Res64: 34B34F749BFE9CB4  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 12:13:03]
867*2^1418201-1 is not prime.  Res64: C607D2A45B429D51  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 12:13:04]
955*2^1418201-1 is not prime.  Res64: 75F228C60AAD8A87  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 12:30:19]
711*2^1418202-1 is not prime.  Res64: F34F411833C4D32B  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 12:30:20]
741*2^1418202-1 is not prime.  Res64: 7A1DFA775D0F846B  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 12:30:34]
791*2^1418202-1 is not prime.  Res64: 64C4D0DECE8BED58  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 12:30:34]
833*2^1418202-1 is not prime.  Res64: 73EEE7E525362DAF  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 12:47:49]
903*2^1418202-1 is not prime.  Res64: C53073156D9E6BD2  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 12:47:50]
917*2^1418202-1 is not prime.  Res64: D2B0C4AE394BF3D2  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 12:48:03]
963*2^1418202-1 is not prime.  Res64: 387A841F47A445E3  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 12:48:03]
977*2^1418202-1 is not prime.  Res64: 14CF30FBCA705AA3  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 13:05:19]
693*2^1418203-1 is not prime.  Res64: 81A746BFD71DD012  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 13:05:21]
813*2^1418203-1 is not prime.  Res64: 70A25996030C94D6  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 13:05:32]
819*2^1418203-1 is not prime.  Res64: 1B8CAB9BEB8B8D3A  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 13:05:33]
951*2^1418203-1 is not prime.  Res64: 7E26B167D39080EC  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 13:22:57]
665*2^1418204-1 is not prime.  Res64: 7509F7CE155B4294  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 13:22:57]
717*2^1418204-1 is not prime.  Res64: 9B0DC162E2782433  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 13:23:02]
837*2^1418204-1 is not prime.  Res64: 3055A337CA58FD9A  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 13:23:02]
855*2^1418204-1 is not prime.  Res64: 0DB6A7EA2DD2475C  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 13:40:28]
869*2^1418204-1 is not prime.  Res64: 08F14D1F32310818  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 13:40:29]
893*2^1418204-1 is not prime.  Res64: 713EF44C62966048  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 13:40:31]
669*2^1418205-1 is not prime.  Res64: 560708AA79F2A1A5  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 13:40:32]
781*2^1418205-1 is not prime.  Res64: 1618A48C0C4C98E9  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 13:57:57]
885*2^1418205-1 is not prime.  Res64: 5B4154735D85C171  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 13:57:58]
895*2^1418205-1 is not prime.  Res64: 9807CFC756F4DFB4  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 13:58:00]
955*2^1418205-1 is not prime.  Res64: 65C85ED315F3F816  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 13:58:00]
979*2^1418205-1 is not prime.  Res64: BF6650F9287A7AC1  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 14:15:27]
635*2^1418206-1 is not prime.  Res64: 685601C53FAD9146  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 14:15:27]
647*2^1418206-1 is not prime.  Res64: 4C7ACBC7852141E3  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 14:15:28]
857*2^1418206-1 is not prime.  Res64: DCCE258B26FCA68A  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 14:15:29]
867*2^1418206-1 is not prime.  Res64: F9A160D2C9CD8B7E  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 14:32:59]
923*2^1418206-1 is not prime.  Res64: C91410A746D00F1D  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 14:32:59]
633*2^1418207-1 is not prime.  Res64: 39DE000309C81030  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 14:33:00]
949*2^1418207-1 is not prime.  Res64: 69F6757EA9409E0E  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 14:33:01]
689*2^1418208-1 is not prime.  Res64: 6B0D490074E83B42  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 14:50:29]
839*2^1418208-1 is not prime.  Res64: DDD3B15B30755D99  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 14:50:29]
723*2^1418208-1 is not prime.  Res64: 254DAE7DB8E0FD0E  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 14:50:29]
909*2^1418208-1 is not prime.  Res64: 40D1A1DAF150A1E9  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 14:50:29]
789*2^1418208-1 is not prime.  Res64: A5363B2C98E02B97  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 15:07:58]
959*2^1418208-1 is not prime.  Res64: 90A1DFF94BB7F765  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 15:07:59]
639*2^1418209-1 is not prime.  Res64: 106582D55A0F1405  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 15:07:59]
625*2^1418209-1 is not prime.  Res64: 77904156068942D1  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 15:07:59]
675*2^1418209-1 is not prime.  Res64: B422DD76524E24CB  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 15:25:32]
721*2^1418209-1 is not prime.  Res64: F777802D75EAF58F  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 15:25:32]
685*2^1418209-1 is not prime.  Res64: 803916322591B1AF  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 15:25:32]
747*2^1418209-1 is not prime.  Res64: 786DDCABB354E1BB  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 15:25:33]
705*2^1418209-1 is not prime.  Res64: 0632D15003FB0AC9  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 15:43:01]
811*2^1418209-1 is not prime.  Res64: E4C86E148AEEE2BB  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 15:43:01]
855*2^1418209-1 is not prime.  Res64: 910F389235772F1F  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 15:43:02]
819*2^1418209-1 is not prime.  Res64: 48CF6460B6071903  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 15:43:02]
987*2^1418209-1 is not prime.  Res64: B8CA5C516AA1CC74  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 16:00:32]
791*2^1418210-1 is not prime.  Res64: AEDDDE49F19FCA9D  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 16:00:32]
999*2^1418209-1 is not prime.  Res64: F887CBC51E4E1C48  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 16:00:33]
945*2^1418210-1 is not prime.  Res64: 0B65AB61F48726E9  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 16:00:33]
731*2^1418210-1 is not prime.  Res64: 7BE0A6E7360D6DFF  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 16:18:02]
619*2^1418211-1 is not prime.  Res64: D258794726DC0825  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 16:18:03]
625*2^1418211-1 is not prime.  Res64: 14715C2ACF65B497  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 16:18:03]
703*2^1418211-1 is not prime.  Res64: 26E4725C24CA47D8  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 16:18:03]
823*2^1418211-1 is not prime.  Res64: 9E986870C21E2454  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 16:35:32]
945*2^1418211-1 is not prime.  Res64: CD48F94932892A09  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 16:35:33]
615*2^1418212-1 is not prime.  Res64: 59C369EE6D9CFA76  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 16:35:33]
951*2^1418211-1 is not prime.  Res64: FBE27E7E7E41D496  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 16:35:33]
629*2^1418212-1 is not prime.  Res64: C83CDB23819AABBA  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 16:53:04]
863*2^1418212-1 is not prime.  Res64: 078E498FA391AB67  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 16:53:04]
873*2^1418212-1 is not prime.  Res64: 25E3ECAA2D2F72FF  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 16:53:05]
717*2^1418212-1 is not prime.  Res64: 9F9602ED739BB7EF  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 16:53:05]
819*2^1418212-1 is not prime.  Res64: 5EA42338F7F5D636  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 17:10:33]
903*2^1418212-1 is not prime.  Res64: 67244632D15E122E  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 17:10:33]
965*2^1418212-1 is not prime.  Res64: 153A05DFC19B71DB  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 17:10:34]
957*2^1418212-1 is not prime.  Res64: 25218A360F3F1834  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 17:10:34]
983*2^1418212-1 is not prime.  Res64: F83D77B2F522CB22  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 17:28:04]
769*2^1418213-1 is not prime.  Res64: BFBDCAB7BAE0C2A4  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 17:28:04]
811*2^1418213-1 is not prime.  Res64: ED9B3E539595CC9B  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 17:28:04]
615*2^1418213-1 is not prime.  Res64: ED8B173C46A65E2D  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 17:28:05]
669*2^1418213-1 is not prime.  Res64: A70A0200FA819BC5  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 17:45:34]
927*2^1418213-1 is not prime.  Res64: FFE52570EFAFF181  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 17:45:34]
879*2^1418213-1 is not prime.  Res64: C0ACF827F0CA3B8D  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 17:45:35]
957*2^1418213-1 is not prime.  Res64: 0168B0F3C3279628  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 17:45:35]
889*2^1418213-1 is not prime.  Res64: BC380786F15AA069  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 18:03:04]
711*2^1418214-1 is not prime.  Res64: 0887ED489C28AE2A  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 18:03:04]
611*2^1418214-1 is not prime.  Res64: 5F127E7B27350B63  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 18:03:05]
807*2^1418214-1 is not prime.  Res64: CCC52EEE78B3D941  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 18:03:06]
705*2^1418214-1 is not prime.  Res64: E478ACECE2F31AB8  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 18:20:52]
873*2^1418214-1 is not prime.  Res64: 789961A9D1FFEB90  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 18:20:55]
917*2^1418214-1 is not prime.  Res64: A134780DF42CA7A9  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 18:20:57]
951*2^1418214-1 is not prime.  Res64: D452D84A3C9F81D8  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 18:20:59]
601*2^1418215-1 is not prime.  Res64: BD760E32B99ABD2A  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 18:38:35]
609*2^1418215-1 is not prime.  Res64: A1C8F92D213B494F  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 18:38:35]
645*2^1418215-1 is not prime.  Res64: 8F3A04C590B7B58A  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 18:38:39]
705*2^1418215-1 is not prime.  Res64: F22F36EA77888613  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 18:38:39]
723*2^1418215-1 is not prime.  Res64: CB5D9B0C02D7A305  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 18:56:05]
759*2^1418215-1 is not prime.  Res64: 99F8CC9E57335849  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 18:56:05]
819*2^1418215-1 is not prime.  Res64: 5C903BBDC4C438FA  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 18:56:08]
891*2^1418215-1 is not prime.  Res64: 451A0912F9FEF83D  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 18:56:08]
909*2^1418215-1 is not prime.  Res64: E1CC55574AD3BEA9  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 19:13:34]
951*2^1418215-1 is not prime.  Res64: 1A9A437E00C74A6D  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 19:13:35]
603*2^1418216-1 is not prime.  Res64: 5ADE36666AE1F817  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 19:13:38]
615*2^1418216-1 is not prime.  Res64: E60E62359DAE9A57  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 19:13:39]
617*2^1418216-1 is not prime.  Res64: 6681464A8798AC41  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 19:31:10]
677*2^1418216-1 is not prime.  Res64: 8CD5BED54ADF808B  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 19:31:12]
717*2^1418216-1 is not prime.  Res64: B17581D8DD61A76F  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 19:31:14]
759*2^1418216-1 is not prime.  Res64: 674CBA227081888C  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 19:31:14]
873*2^1418216-1 is not prime.  Res64: A2128AD14DD2055C  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 19:48:54]
897*2^1418216-1 is not prime.  Res64: C69BF8FA154A9A1B  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 19:48:54]
963*2^1418216-1 is not prime.  Res64: 2FA4CF348DBC9962  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 19:48:54]
969*2^1418216-1 is not prime.  Res64: 20D984667722AD78  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 19:48:55]
609*2^1418217-1 is not prime.  Res64: 894B63783C4D1CD5  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 20:06:38]
837*2^1418217-1 is not prime.  Res64: 9C5FA23BEC8DB57D  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 20:06:38]
735*2^1418217-1 is not prime.  Res64: A7F324CE2A2E3FC3  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 20:06:39]
835*2^1418217-1 is not prime.  Res64: 07BFAD89EC50B3D9  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 20:06:40]
847*2^1418217-1 is not prime.  Res64: 697943E7CC1930AC  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 20:24:34]
885*2^1418217-1 is not prime.  Res64: 306AAB87ECDB0A7B  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 20:24:34]
985*2^1418217-1 is not prime.  Res64: B346F6E11F7D925B  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 20:24:35]
657*2^1418218-1 is not prime.  Res64: 2211199AE245E77A  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 20:24:35]
695*2^1418218-1 is not prime.  Res64: CD6585CDDB61DCEC  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 20:42:12]
743*2^1418218-1 is not prime.  Res64: B1FC18E37356884C  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 20:42:13]
861*2^1418218-1 is not prime.  Res64: 9A3A3A2C9C5856B4  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 20:42:13]
941*2^1418218-1 is not prime.  Res64: D0B356C7F5F6DD3D  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 20:42:13]
601*2^1418219-1 is not prime.  Res64: 56DC39F3A58D3A1A  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 20:59:48]
693*2^1418219-1 is not prime.  Res64: CC5C34B38A215CD3  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 20:59:48]
753*2^1418219-1 is not prime.  Res64: 829305060920F637  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 20:59:50]
621*2^1418219-1 is not prime.  Res64: 562E74531A87E3AB  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 20:59:50]
679*2^1418219-1 is not prime.  Res64: 65C62262C0B07531  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 21:17:26]
759*2^1418219-1 is not prime.  Res64: C38DC7106767D8C5  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 21:17:26]
809*2^1418220-1 is not prime.  Res64: AC208DFC080088B5  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 21:17:26]
825*2^1418219-1 is not prime.  Res64: DED5BECB9E0C70AE  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 21:17:26]
887*2^1418220-1 is not prime.  Res64: EF026A9E4664F004  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 21:35:18]
775*2^1418221-1 is not prime.  Res64: 0AA1B6E98B6FB176  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 21:35:18]
893*2^1418220-1 is not prime.  Res64: 907BA538B609B449  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 21:35:18]
817*2^1418221-1 is not prime.  Res64: E36B2F39B7CABFF8  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 21:35:18]
959*2^1418220-1 is not prime.  Res64: 8A1DD81DCBA089E7  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 21:53:12]
861*2^1418221-1 is not prime.  Res64: CE44534BE2DE386A  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 21:53:12]
671*2^1418222-1 is not prime.  Res64: AF2286E6B77CA7F0  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 21:53:12]
895*2^1418221-1 is not prime.  Res64: 3035B5713D1EB1EB  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 21:53:13]
797*2^1418222-1 is not prime.  Res64: 95096C3D2C481AD2  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 22:11:00]
887*2^1418222-1 is not prime.  Res64: 3A14EE8EC5648DE7  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 22:11:00]
1001*2^1418222-1 is not prime.  Res64: CDF002037E911D8A  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 22:11:00]
813*2^1418222-1 is not prime.  Res64: EA4461BC0C167888  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 22:11:01]
827*2^1418222-1 is not prime.  Res64: D423C8EE71A56B6E  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 22:28:30]
705*2^1418223-1 is not prime.  Res64: A68A0F334472720F  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 22:28:30]
625*2^1418223-1 is not prime.  Res64: 019AFEF4F2A675B0  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 22:28:30]
709*2^1418223-1 is not prime.  Res64: 1345664463A0F976  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 22:28:31]
691*2^1418223-1 is not prime.  Res64: 94916706275AE413  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 22:46:01]
859*2^1418223-1 is not prime.  Res64: 526152677C5DE8C0  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 22:46:01]
871*2^1418223-1 is not prime.  Res64: 7A8238BEB49F703D  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 22:46:01]
739*2^1418223-1 is not prime.  Res64: 2425EFC2B8630D46  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 22:46:02]
805*2^1418223-1 is not prime.  Res64: AB4619C09F180BB7  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 22:58:53]
895*2^1418223-1 is not prime.  Res64: 5B4CB46BAFC6437F  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 22:58:53]
605*2^1418224-1 is not prime.  Res64: F97ED56A5C1ABFF3  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 22:58:53]
985*2^1418223-1 is not prime.  Res64: D35E53F443A60B8E  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 22:58:54]
693*2^1418224-1 is not prime.  Res64: 6AEAD079FF6B5357  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 23:16:23]
825*2^1418224-1 is not prime.  Res64: 04FE5FFD0EDAB4A2  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 23:16:23]
887*2^1418224-1 is not prime.  Res64: 8C881A3A2CC641A5  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 23:16:24]
929*2^1418224-1 is not prime.  Res64: 57AD27F307C3D01E  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 23:16:24]
645*2^1418225-1 is not prime.  Res64: 69D1296A0E0963EE  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 23:33:55]
717*2^1418225-1 is not prime.  Res64: E88092C203838E88  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 23:33:55]
781*2^1418225-1 is not prime.  Res64: D84F4B1763A74AB4  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 23:33:56]
937*2^1418225-1 is not prime.  Res64: 88772C31B482618C  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 23:33:56]
717*2^1418226-1 is not prime.  Res64: 97A24EC72FFF7674  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 23:51:24]
815*2^1418226-1 is not prime.  Res64: D54128EDAAAAE6F6  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 23:51:24]
837*2^1418226-1 is not prime.  Res64: 6D04699BF15FDF44  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 23:51:24]
723*2^1418226-1 is not prime.  Res64: 0F72E3CE4725127F  Time : 0.0 sec.
user=mdettweiler
[2015-12-27 23:51:25]
755*2^1418226-1 is not prime.  Res64: 8724E1F92C4CD6D4  Time : 0.0 sec.