user=mdettweiler
[2015-11-28 00:04:43]
861*2^1416275-1 is not prime.  Res64: F361C827936C8C3C  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 00:04:44]
885*2^1416275-1 is not prime.  Res64: FD8C0E48F2D26A47  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 00:07:19]
915*2^1416275-1 is not prime.  Res64: 6BF944150941ECDB  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 00:07:21]
963*2^1416275-1 is not prime.  Res64: 244C3E26CAAEA927  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 00:17:00]
979*2^1416275-1 is not prime.  Res64: 1E549519CA5D71E5  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 00:17:01]
689*2^1416276-1 is not prime.  Res64: 752149257C021004  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 00:22:29]
717*2^1416276-1 is not prime.  Res64: 742A65EFCA24504D  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 00:22:29]
725*2^1416276-1 is not prime.  Res64: F2A1E752C084111C  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 00:25:12]
759*2^1416276-1 is not prime.  Res64: 746713768570D1CA  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 00:25:13]
843*2^1416276-1 is not prime.  Res64: F0158E6EB2DF0654  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 00:34:38]
905*2^1416276-1 is not prime.  Res64: 2303DB480B25900F  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 00:34:38]
975*2^1416276-1 is not prime.  Res64: 845B54A8A6E9F50B  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 00:40:06]
699*2^1416277-1 is not prime.  Res64: A0F53574B61641AD  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 00:40:07]
765*2^1416277-1 is not prime.  Res64: 769AB16FD1AC3E5E  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 00:42:50]
805*2^1416277-1 is not prime.  Res64: 99D00D793CE721A2  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 00:42:50]
825*2^1416277-1 is not prime.  Res64: CEFCAAABD97DA373  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 00:52:17]
901*2^1416277-1 is not prime.  Res64: 544EC04041578B61  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 00:52:17]
945*2^1416277-1 is not prime.  Res64: 4BAD21E7D52CF5C0  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 00:57:43]
753*2^1416278-1 is not prime.  Res64: BD4290AB69051AE3  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 00:57:43]
773*2^1416278-1 is not prime.  Res64: 152FCCDB39BB4558  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 01:00:26]
797*2^1416278-1 is not prime.  Res64: 4CA3A227A9AF0D00  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 01:00:27]
801*2^1416278-1 is not prime.  Res64: 0EDB25E19A004FE4  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 01:09:54]
915*2^1416278-1 is not prime.  Res64: 36F2514761980E3C  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 01:09:55]
923*2^1416278-1 is not prime.  Res64: 81588706EE658D4A  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 01:15:19]
987*2^1416278-1 is not prime.  Res64: 774808859F7E8D34  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 01:15:20]
621*2^1416279-1 is not prime.  Res64: C07084FA29F29B3C  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 01:18:07]
685*2^1416279-1 is not prime.  Res64: 2A7F1E49CE52EAB0  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 01:18:08]
691*2^1416279-1 is not prime.  Res64: 2CF3E5C4C5058302  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 01:27:31]
703*2^1416279-1 is not prime.  Res64: E2E3C45FE13F012B  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 01:27:33]
763*2^1416279-1 is not prime.  Res64: 4E6171333B82F4C1  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 01:32:59]
879*2^1416279-1 is not prime.  Res64: 374E2D9CA78521D0  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 01:32:59]
931*2^1416279-1 is not prime.  Res64: 299134B435A80BEA  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 01:35:46]
615*2^1416280-1 is not prime.  Res64: 538EAA14F26BBC8B  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 01:35:46]
833*2^1416280-1 is not prime.  Res64: 9CC760515C086260  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 01:45:24]
849*2^1416280-1 is not prime.  Res64: A7C8A68B56C08243  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 01:45:25]
857*2^1416280-1 is not prime.  Res64: 217FAE0F08EE6F95  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 01:50:36]
923*2^1416280-1 is not prime.  Res64: 53DDFB5FEBD7BD48  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 01:50:37]
995*2^1416280-1 is not prime.  Res64: 77126B7D142EE45C  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 01:53:22]
999*2^1416280-1 is not prime.  Res64: 909A99A1E1E12C24  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 01:53:22]
715*2^1416281-1 is not prime.  Res64: B8418194EC01AD15  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 02:03:04]
735*2^1416281-1 is not prime.  Res64: 4ABB30BF31C41E65  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 02:03:05]
811*2^1416281-1 is not prime.  Res64: BBA08DCCBD6C34D8  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 02:08:18]
865*2^1416281-1 is not prime.  Res64: 5ABB51596EBA6976  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 02:08:19]
867*2^1416281-1 is not prime.  Res64: FE4672A9755BCCFE  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 02:11:00]
879*2^1416281-1 is not prime.  Res64: D9772A7199F290BB  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 02:11:01]
615*2^1416282-1 is not prime.  Res64: B49433157332ECF5  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 02:20:42]
731*2^1416282-1 is not prime.  Res64: 48C43ADDEE7FA095  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 02:20:42]
735*2^1416282-1 is not prime.  Res64: 8927C28797169E7B  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 02:25:59]
921*2^1416282-1 is not prime.  Res64: C481789C94F10A4A  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 02:26:00]
941*2^1416282-1 is not prime.  Res64: 6D1B5238DAE78996  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 02:28:38]
1001*2^1416282-1 is not prime.  Res64: 58F629A40805E69E  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 02:28:38]
625*2^1416283-1 is not prime.  Res64: 275E596993B1BD5F  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 02:38:20]
639*2^1416283-1 is not prime.  Res64: F85C852045C94CD9  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 02:38:20]
649*2^1416283-1 is not prime.  Res64: A35D93ADAEDFFD44  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 02:43:39]
693*2^1416283-1 is not prime.  Res64: E4F41089889AD7E2  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 02:43:39]
703*2^1416283-1 is not prime.  Res64: 45E91B516BA5BA86  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 02:46:23]
723*2^1416283-1 is not prime.  Res64: 2070234512EC3CDC  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 02:46:23]
793*2^1416283-1 is not prime.  Res64: C2CFEE86D0F2E6F1  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 02:55:58]
853*2^1416283-1 is not prime.  Res64: 68809B873B6EA666  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 02:55:59]
871*2^1416283-1 is not prime.  Res64: 4087775FF20EF269  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 03:01:19]
635*2^1416284-1 is not prime.  Res64: 704118E442C4D5A3  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 03:01:20]
749*2^1416284-1 is not prime.  Res64: 3C1538A0D681F0F4  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 03:04:01]
753*2^1416284-1 is not prime.  Res64: B5B8F5C59FF977E9  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 03:04:03]
767*2^1416284-1 is not prime.  Res64: 12291139097ED90C  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 03:13:36]
843*2^1416284-1 is not prime.  Res64: 702461A441044C72  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 03:13:37]
857*2^1416284-1 is not prime.  Res64: CEB90113F4E78D5C  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 03:19:16]
923*2^1416284-1 is not prime.  Res64: 5248B8B329626BE1  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 03:19:17]
655*2^1416285-1 is not prime.  Res64: A79D3B5C0DD43372  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 03:21:58]
777*2^1416285-1 is not prime.  Res64: 5CA22C34DC9CB4EC  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 03:21:58]
781*2^1416285-1 is not prime.  Res64: 44A183BA5AA73619  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 03:31:21]
789*2^1416285-1 is not prime.  Res64: 964E2057ED8B5881  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 03:31:22]
867*2^1416285-1 is not prime.  Res64: 174F036F7F493347  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 03:36:57]
885*2^1416285-1 is not prime.  Res64: D0B39A297C62AFA6  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 03:36:59]
889*2^1416285-1 is not prime.  Res64: 82228AB6B49D219C  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 03:39:35]
927*2^1416285-1 is not prime.  Res64: 840B3AE5A4689CD9  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 03:39:37]
985*2^1416285-1 is not prime.  Res64: F92F3D7BBEB6AB0E  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 03:49:06]
991*2^1416285-1 is not prime.  Res64: 6BE0273FD98A7021  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 03:49:07]
623*2^1416286-1 is not prime.  Res64: 34A24BE1A2F47215  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 03:54:52]
645*2^1416286-1 is not prime.  Res64: 17285C8BB34FEC95  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 03:54:52]
741*2^1416286-1 is not prime.  Res64: A5ECDCF38C668053  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 03:57:15]
755*2^1416286-1 is not prime.  Res64: 889365C05F96995A  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 03:57:16]
843*2^1416286-1 is not prime.  Res64: D1EC9748674BF131  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 04:06:45]
887*2^1416286-1 is not prime.  Res64: 0B40E67E761FE68D  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 04:06:46]
917*2^1416286-1 is not prime.  Res64: 0E3EF45525845052  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 04:12:31]
711*2^1416287-1 is not prime.  Res64: 5E58EC7D0CEDE3DE  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 04:12:31]
843*2^1416287-1 is not prime.  Res64: 8A82CF3CF3CE7D2A  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 04:14:53]
949*2^1416287-1 is not prime.  Res64: CA257CF9221413C4  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 04:14:53]
635*2^1416288-1 is not prime.  Res64: 211CA6A8719D5F35  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 04:24:27]
657*2^1416288-1 is not prime.  Res64: D82AD910846F7BF8  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 04:24:27]
663*2^1416288-1 is not prime.  Res64: ED12CA9188F05231  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 04:30:09]
669*2^1416288-1 is not prime.  Res64: 486541B94F4E6867  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 04:30:10]
695*2^1416288-1 is not prime.  Res64: C5C16319C680EEBA  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 04:32:31]
825*2^1416288-1 is not prime.  Res64: 208079A46FD7CD8B  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 04:32:31]
899*2^1416288-1 is not prime.  Res64: CDA23AC4F6476F3F  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 04:42:04]
909*2^1416288-1 is not prime.  Res64: 6BEC48BD75EC411D  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 04:42:04]
685*2^1416289-1 is not prime.  Res64: 028AD8D714AF244C  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 04:47:48]
957*2^1416289-1 is not prime.  Res64: 19BF28C6A8565337  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 04:47:49]
985*2^1416289-1 is not prime.  Res64: 76E446EB8B92578F  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 04:50:07]
999*2^1416289-1 is not prime.  Res64: 0A4662BF22F0587F  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 04:50:07]
713*2^1416290-1 is not prime.  Res64: 4C1A5D17E5985CF6  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 04:59:41]
735*2^1416290-1 is not prime.  Res64: 10118D86D430D18B  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 04:59:41]
861*2^1416290-1 is not prime.  Res64: 46B7FB045485A0E8  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 05:05:26]
875*2^1416290-1 is not prime.  Res64: 9B447139DB1CD292  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 05:05:27]
893*2^1416290-1 is not prime.  Res64: 745B41CABD8CEA93  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 05:07:44]
915*2^1416290-1 is not prime.  Res64: 73D4F794963A09E5  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 05:07:45]
921*2^1416290-1 is not prime.  Res64: AFFBF2EEEFC4FAB2  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 05:17:23]
601*2^1416291-1 is not prime.  Res64: 01BBA8766E119795  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 05:17:24]
685*2^1416291-1 is not prime.  Res64: 3E7FA9F8F2D6B00D  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 05:23:10]
741*2^1416291-1 is not prime.  Res64: A725389913D3CE8A  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 05:23:10]
775*2^1416291-1 is not prime.  Res64: E7AA66DEF249C960  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 05:25:26]
783*2^1416291-1 is not prime.  Res64: 613A204842365D31  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 05:25:26]
961*2^1416291-1 is not prime.  Res64: F8FC21DB56E31129  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 05:35:01]
609*2^1416292-1 is not prime.  Res64: 3E3FD02D4ACF8237  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 05:35:02]
719*2^1416292-1 is not prime.  Res64: 8EE723ED75B6652A  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 05:40:48]
723*2^1416292-1 is not prime.  Res64: 9ECED67C57FBFC53  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 05:40:49]
749*2^1416292-1 is not prime.  Res64: 6F20A115D3F49B44  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 05:43:08]
785*2^1416292-1 is not prime.  Res64: 073862004B3CA3A5  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 05:43:08]
923*2^1416292-1 is not prime.  Res64: 8F61C4531480DAA8  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 05:52:40]
933*2^1416292-1 is not prime.  Res64: 7BCECF436347EE01  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 05:52:40]
975*2^1416292-1 is not prime.  Res64: B34C1C305B08EB4B  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 05:58:26]
679*2^1416293-1 is not prime.  Res64: C9E8C38E7C8A7291  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 05:58:26]
871*2^1416293-1 is not prime.  Res64: 74C3F06A770253D8  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 06:00:44]
879*2^1416293-1 is not prime.  Res64: 1EC2F23A4C045DAE  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 06:00:45]
915*2^1416293-1 is not prime.  Res64: 3111B6D1ECB47A92  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 06:10:19]
611*2^1416294-1 is not prime.  Res64: 02C6FBB777D81605  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 06:10:19]
641*2^1416294-1 is not prime.  Res64: A913C7A8882E4156  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 06:16:04]
681*2^1416294-1 is not prime.  Res64: B12BB13FA561C452  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 06:16:04]
683*2^1416294-1 is not prime.  Res64: 0A91B2F15E3BA1C7  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 06:18:23]
755*2^1416294-1 is not prime.  Res64: 86A919171099A5C8  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 06:18:23]
791*2^1416294-1 is not prime.  Res64: BF32EA1EF522FE65  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 06:27:59]
833*2^1416294-1 is not prime.  Res64: E1909D84D35E2936  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 06:28:00]
873*2^1416294-1 is not prime.  Res64: 449AC71E57FE2C7E  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 06:33:42]
945*2^1416294-1 is not prime.  Res64: 064DE46C31677DC5  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 06:33:43]
947*2^1416294-1 is not prime.  Res64: 14DE8BD182E478ED  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 06:35:59]
709*2^1416295-1 is not prime.  Res64: A1407980D20C918A  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 06:35:59]
783*2^1416295-1 is not prime.  Res64: 152149C390C2CF56  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 06:45:36]
841*2^1416295-1 is not prime.  Res64: 570BF069618E7CA4  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 06:45:36]
873*2^1416295-1 is not prime.  Res64: 0526EC35F6BE0A24  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 06:51:20]
985*2^1416295-1 is not prime.  Res64: 04FE1A97C6BB50F5  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 06:51:21]
659*2^1416296-1 is not prime.  Res64: 84C6C3C753A46DA7  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 06:53:35]
699*2^1416296-1 is not prime.  Res64: 6ACDB952DFFF3768  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 06:53:36]
773*2^1416296-1 is not prime.  Res64: 7B0AA586407FA83C  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 07:03:13]
873*2^1416296-1 is not prime.  Res64: 5028042EC9226474  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 07:03:15]
741*2^1416297-1 is not prime.  Res64: 717D15EBCED65E63  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 07:08:59]
765*2^1416297-1 is not prime.  Res64: EEDE79F904D57A14  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 07:08:59]
777*2^1416297-1 is not prime.  Res64: 325542369E3FF6EE  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 07:11:12]
819*2^1416297-1 is not prime.  Res64: 8516EA7D64B9ABCD  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 07:11:13]
849*2^1416297-1 is not prime.  Res64: 620E20E70D1F4B5F  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 07:21:06]
861*2^1416297-1 is not prime.  Res64: C408F7DF870C4683  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 07:21:06]
865*2^1416297-1 is not prime.  Res64: 035A1488A47A61C5  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 07:26:37]
901*2^1416297-1 is not prime.  Res64: 7E20DCD6B7C6BC4E  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 07:26:38]
681*2^1416298-1 is not prime.  Res64: 16055F5A8A6F7F7D  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 07:28:49]
687*2^1416298-1 is not prime.  Res64: 7266E584EED23820  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 07:28:50]
773*2^1416298-1 is not prime.  Res64: ACDD1AE0603D34D9  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 07:38:44]
821*2^1416298-1 is not prime.  Res64: F43963A2F3B33102  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 07:38:44]
891*2^1416298-1 is not prime.  Res64: E4DA3B8A2666CF9E  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 07:44:16]
923*2^1416298-1 is not prime.  Res64: C86EFFF21F478584  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 07:44:16]
945*2^1416298-1 is not prime.  Res64: 2CD283D904D0C130  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 07:46:27]
951*2^1416298-1 is not prime.  Res64: B446CCD49997DEED  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 07:46:27]
993*2^1416298-1 is not prime.  Res64: 59AC541A5C614DF1  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 07:56:22]
995*2^1416298-1 is not prime.  Res64: F0524F63E6ECDBAB  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 07:56:22]
631*2^1416299-1 is not prime.  Res64: EE0AB28C20A4C291  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 08:01:57]
669*2^1416299-1 is not prime.  Res64: 202B4C98BEF54593  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 08:01:58]
843*2^1416299-1 is not prime.  Res64: ACFE64FDDDC754AF  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 08:04:06]
855*2^1416299-1 is not prime.  Res64: F179BE17B98355EC  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 08:04:07]
859*2^1416299-1 is not prime.  Res64: BC7EDE9C50DFA11E  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 08:14:00]
623*2^1416300-1 is not prime.  Res64: 2FB5697643580153  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 08:14:01]
753*2^1416300-1 is not prime.  Res64: 0FA30A32DB1F23E1  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 08:19:37]
783*2^1416300-1 is not prime.  Res64: 2B0664465DD5B6F3  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 08:19:37]
857*2^1416300-1 is not prime.  Res64: 4883FF0738BC3C29  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 08:21:45]
945*2^1416300-1 is not prime.  Res64: DA7650A0396C5F2D  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 08:21:46]
983*2^1416300-1 is not prime.  Res64: 3C3C202609F4B614  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 08:31:43]
949*2^1416057-1 is not prime.  Res64: 2BFFDAC78C7A6FE4  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 08:31:43]
605*2^1416058-1 is not prime.  Res64: CE015644F120A393  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 08:37:15]
685*2^1416301-1 is not prime.  Res64: 2D4F97DBC1A26A09  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 08:37:15]
751*2^1416301-1 is not prime.  Res64: 780DC67D59BCA4B6  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 08:39:24]
777*2^1416301-1 is not prime.  Res64: 57C168CDEDA10E03  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 08:39:24]
829*2^1416301-1 is not prime.  Res64: 2DC91C02DDC52322  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 08:49:21]
847*2^1416301-1 is not prime.  Res64: 9EC28D0A612F6DF6  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 08:49:22]
895*2^1416301-1 is not prime.  Res64: EC52DA8652CBB2F0  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 08:54:55]
705*2^1416302-1 is not prime.  Res64: AD641748C99211F4  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 08:54:55]
885*2^1416302-1 is not prime.  Res64: 78A42C5A740F22F6  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 08:57:03]
981*2^1416302-1 is not prime.  Res64: 07F0A689B860AA14  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 08:57:04]
615*2^1416303-1 is not prime.  Res64: 007C1A88DE9E9636  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 09:07:02]
871*2^1416303-1 is not prime.  Res64: A3A757012BFFDD02  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 09:07:04]
891*2^1416303-1 is not prime.  Res64: 1C71ACE42CC717F4  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 09:12:34]
913*2^1416303-1 is not prime.  Res64: 6554F8FD729D873A  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 09:12:35]
973*2^1416303-1 is not prime.  Res64: 228D70AA7AF304C5  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 09:14:41]
615*2^1416304-1 is not prime.  Res64: 15B56D102BDF03F2  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 09:14:42]
635*2^1416304-1 is not prime.  Res64: 4A38360C218C95B2  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 09:24:58]
695*2^1416304-1 is not prime.  Res64: D745EDD554FCF955  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 09:24:58]
705*2^1416304-1 is not prime.  Res64: 0D542FF797E4F249  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 09:30:15]
747*2^1416304-1 is not prime.  Res64: 560443BD1AB30FED  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 09:30:15]
773*2^1416304-1 is not prime.  Res64: 6E9CF68FD5EBBE47  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 09:32:20]
785*2^1416304-1 is not prime.  Res64: DC4DC143D9B1CF84  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 09:32:20]
905*2^1416304-1 is not prime.  Res64: 2A8B1CCF26830E27  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 09:42:39]
675*2^1416305-1 is not prime.  Res64: C397FD9492D36CDD  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 09:42:39]
715*2^1416305-1 is not prime.  Res64: DD494C508993C2C4  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 09:47:53]
721*2^1416305-1 is not prime.  Res64: C8EC6938546BB533  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 09:47:54]
795*2^1416305-1 is not prime.  Res64: 3F5F56E58490871B  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 09:49:58]
909*2^1416305-1 is not prime.  Res64: 3BD48AF75208B1B6  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 09:49:58]
677*2^1416306-1 is not prime.  Res64: A69D07D8F2D37856  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 10:00:18]
683*2^1416306-1 is not prime.  Res64: BBFFCA12362C313E  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 10:00:19]
711*2^1416306-1 is not prime.  Res64: 8E2A9CE3863EB910  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 10:05:35]
765*2^1416306-1 is not prime.  Res64: A0D3D5E610EDC9D8  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 10:05:37]
803*2^1416306-1 is not prime.  Res64: C15BE956C7891741  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 10:07:35]
837*2^1416306-1 is not prime.  Res64: 2D1BF02C827DEBAA  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 10:07:36]
945*2^1416306-1 is not prime.  Res64: 9C09ABDD4938B5E7  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 10:17:59]
971*2^1416306-1 is not prime.  Res64: 1C16FE164DB90D97  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 10:17:59]
691*2^1416307-1 is not prime.  Res64: 431498BB049C3DCB  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 10:23:29]
693*2^1416307-1 is not prime.  Res64: F2489201042938F6  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 10:23:30]
769*2^1416307-1 is not prime.  Res64: 86292177C55FCF89  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 10:25:17]
895*2^1416307-1 is not prime.  Res64: 3D9A7582450D31A4  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 10:25:17]
633*2^1416308-1 is not prime.  Res64: E9EFDF6A41E23F3E  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 10:35:37]
659*2^1416308-1 is not prime.  Res64: 26E9B4D980ADF506  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 10:35:37]
767*2^1416308-1 is not prime.  Res64: E4F475D9AC9D7001  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 10:41:08]
839*2^1416308-1 is not prime.  Res64: 86F411046E2DA35E  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 10:41:08]
875*2^1416308-1 is not prime.  Res64: 3B5BE6DCF579499D  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 10:42:54]
959*2^1416308-1 is not prime.  Res64: 5859B615B60221B0  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 10:42:55]
747*2^1416309-1 is not prime.  Res64: AB8A7623084F9346  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 10:53:15]
759*2^1416309-1 is not prime.  Res64: 9B234674FA5EDDA3  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 10:53:15]
895*2^1416309-1 is not prime.  Res64: 27F543A8DE33CEBC  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 10:58:46]
927*2^1416309-1 is not prime.  Res64: 6D5AC70B3EF69006  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 10:58:46]
945*2^1416309-1 is not prime.  Res64: 6DC0F0EFFB823D6E  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 11:00:32]
975*2^1416309-1 is not prime.  Res64: FA6BAD9F99781B9C  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 11:00:32]
999*2^1416309-1 is not prime.  Res64: 47C49C1FD35C111D  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 11:10:55]
867*2^1416310-1 is not prime.  Res64: 9ECD7BF8EF7CB622  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 11:10:55]
923*2^1416310-1 is not prime.  Res64: 1AD0A1892ADF53FA  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 11:16:28]
601*2^1416311-1 is not prime.  Res64: 96D2E5D1B5EAC1F1  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 11:16:28]
661*2^1416311-1 is not prime.  Res64: 323EE9AA22638270  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 11:18:14]
685*2^1416311-1 is not prime.  Res64: 17DD4588455C180B  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 11:18:15]
735*2^1416311-1 is not prime.  Res64: D171345106CFB7BA  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 11:28:38]
841*2^1416311-1 is not prime.  Res64: 4D6D4640F7AA22D9  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 11:28:38]
949*2^1416311-1 is not prime.  Res64: 8586C0912C5284E2  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 11:34:08]
969*2^1416311-1 is not prime.  Res64: BECF2ACC7EA2CA40  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 11:34:09]
693*2^1416312-1 is not prime.  Res64: E48C98EAA011DEB0  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 11:35:55]
765*2^1416312-1 is not prime.  Res64: 3B870420F3BC5E0D  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 11:35:55]
809*2^1416312-1 is not prime.  Res64: 5A5C713894F4021A  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 11:46:21]
879*2^1416312-1 is not prime.  Res64: 6151FF421A85CA67  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 11:46:22]
903*2^1416312-1 is not prime.  Res64: 710A40C8337DE8F8  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 11:51:47]
945*2^1416312-1 is not prime.  Res64: D99BDDF6E73FAB4C  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 11:51:47]
983*2^1416312-1 is not prime.  Res64: 28CD457264DAFA01  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 11:53:35]
609*2^1416313-1 is not prime.  Res64: 48561174BA5190BF  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 11:53:35]
729*2^1416313-1 is not prime.  Res64: 8206EC066A1060C7  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 12:04:04]
741*2^1416313-1 is not prime.  Res64: 17CBA0B0B9F86526  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 12:04:06]
747*2^1416313-1 is not prime.  Res64: A5FEBAF15600CE7C  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 12:09:43]
897*2^1416313-1 is not prime.  Res64: 72DB4C266A1901E8  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 12:09:43]
925*2^1416313-1 is not prime.  Res64: 711293B415292872  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 12:11:46]
957*2^1416313-1 is not prime.  Res64: 20DD9561C8895174  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 12:11:46]
707*2^1416314-1 is not prime.  Res64: FFF872E1080B2E32  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 12:23:34]
743*2^1416314-1 is not prime.  Res64: BDC3438F96B0490E  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 12:23:35]
753*2^1416314-1 is not prime.  Res64: C155BB74CFC87772  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 12:30:16]
837*2^1416314-1 is not prime.  Res64: 15B74CA3C8C867E2  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 12:30:17]
921*2^1416314-1 is not prime.  Res64: 2A8C184F402D0ECB  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 12:32:50]
935*2^1416314-1 is not prime.  Res64: BE53DDECFB80D8BD  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 12:32:51]
951*2^1416314-1 is not prime.  Res64: 4A9AF1E63930A83E  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 12:44:06]
613*2^1416315-1 is not prime.  Res64: 58EB621DA9E7FF5E  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 12:44:07]
663*2^1416315-1 is not prime.  Res64: 6550438F8CEC64F9  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 12:50:09]
739*2^1416315-1 is not prime.  Res64: 23B02007E4402CBF  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 12:50:10]
751*2^1416315-1 is not prime.  Res64: FEE051FF47BE8C44  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 12:52:51]
793*2^1416315-1 is not prime.  Res64: EE7DA87077D91284  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 12:52:52]
871*2^1416315-1 is not prime.  Res64: EC8721861697E901  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 13:05:37]
973*2^1416315-1 is not prime.  Res64: 422EFB722A3CD773  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 13:05:39]
629*2^1416316-1 is not prime.  Res64: F76DB22ACC7D8B1D  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 13:11:10]
639*2^1416316-1 is not prime.  Res64: 8485ACED693B5794  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 13:11:10]
647*2^1416316-1 is not prime.  Res64: CF8A706786D1E3A1  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 13:12:56]
693*2^1416316-1 is not prime.  Res64: 2CFA201FDE46946E  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 13:12:57]
723*2^1416316-1 is not prime.  Res64: 489001B9A6D43744  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 13:24:21]
779*2^1416316-1 is not prime.  Res64: 09A429DF6C7DFE03  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 13:24:21]
845*2^1416316-1 is not prime.  Res64: ED222363A29D16D2  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 13:29:20]
939*2^1416316-1 is not prime.  Res64: 28E2F763753A4E36  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 13:29:21]
957*2^1416316-1 is not prime.  Res64: 9CE6C90A5961691F  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 13:31:04]
685*2^1416317-1 is not prime.  Res64: C3D914EE32A08C89  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 13:31:04]
717*2^1416317-1 is not prime.  Res64: 694B9C77245E4ED2  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 13:42:00]
727*2^1416317-1 is not prime.  Res64: 093D4C9D5D4F32D5  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 13:42:00]
735*2^1416317-1 is not prime.  Res64: 6D5491A75EBCF553  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 13:46:58]
777*2^1416317-1 is not prime.  Res64: 2739F0CD8C825660  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 13:46:59]
829*2^1416317-1 is not prime.  Res64: 83AC74580ABF9B8D  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 13:48:41]
837*2^1416317-1 is not prime.  Res64: 1C142C747CBA6930  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 13:48:41]
981*2^1416317-1 is not prime.  Res64: D983135FFF60866B  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 13:59:37]
651*2^1416318-1 is not prime.  Res64: 9899AE1B8A6544BE  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 13:59:38]
681*2^1416318-1 is not prime.  Res64: 4073478344E9CD57  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 14:04:36]
767*2^1416318-1 is not prime.  Res64: DC839A2E6DBCE510  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 14:04:37]
797*2^1416318-1 is not prime.  Res64: BD0BE1210CB8BA8F  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 14:06:16]
843*2^1416318-1 is not prime.  Res64: A89E269465980DBF  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 14:06:16]
867*2^1416318-1 is not prime.  Res64: 16F180B2913EDB87  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 14:17:18]
993*2^1416318-1 is not prime.  Res64: B14D15448854AE32  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 14:17:18]
675*2^1416319-1 is not prime.  Res64: 3C0B95D4F85BF979  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 14:22:23]
705*2^1416319-1 is not prime.  Res64: 8A978037054BB97C  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 14:22:24]
861*2^1416319-1 is not prime.  Res64: 06A3E9093E0A1183  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 14:23:54]
885*2^1416319-1 is not prime.  Res64: DE470CD470C130C9  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 14:23:54]
979*2^1416319-1 is not prime.  Res64: 24DF1A297D298DAC  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 14:34:58]
713*2^1416320-1 is not prime.  Res64: F6D275C4B2C30FDF  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 14:34:58]
719*2^1416320-1 is not prime.  Res64: 4CBB825436968190  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 14:40:01]
753*2^1416320-1 is not prime.  Res64: CC3EC747914E1528  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 14:40:01]
785*2^1416320-1 is not prime.  Res64: 822B77948728C15A  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 14:41:33]
819*2^1416320-1 is not prime.  Res64: 15325760255B22B4  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 14:41:33]
839*2^1416320-1 is not prime.  Res64: 182DF5C367F9DC9E  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 14:52:35]
893*2^1416320-1 is not prime.  Res64: 4693A5CA7F51A3F8  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 14:52:35]
923*2^1416320-1 is not prime.  Res64: 28BD0AA2CAAE5617  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 14:57:39]
625*2^1416321-1 is not prime.  Res64: 34C8316A355B85F7  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 14:57:39]
727*2^1416321-1 is not prime.  Res64: 8AA5804938244B7A  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 14:59:10]
795*2^1416321-1 is not prime.  Res64: C63E933E56DCF2B1  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 14:59:10]
889*2^1416321-1 is not prime.  Res64: CCD19BC0AC16BC4C  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 15:10:29]
901*2^1416321-1 is not prime.  Res64: D2D92495EE568F5E  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 15:10:30]
955*2^1416321-1 is not prime.  Res64: 290F6F33D3DBC8A4  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 15:15:38]
979*2^1416321-1 is not prime.  Res64: F9068F9AF2918382  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 15:15:38]
603*2^1416322-1 is not prime.  Res64: 492723C320272252  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 15:17:14]
665*2^1416322-1 is not prime.  Res64: 8A2B99F41EE29F15  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 15:17:14]
677*2^1416322-1 is not prime.  Res64: 1AC6ECA416D99A59  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 15:28:33]
723*2^1416322-1 is not prime.  Res64: D28F408C3ED5C748  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 15:28:33]
785*2^1416322-1 is not prime.  Res64: 3EF34E0498F8A569  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 15:33:37]
803*2^1416322-1 is not prime.  Res64: 9E0AB88085140114  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 15:33:37]
827*2^1416322-1 is not prime.  Res64: 72FFF4B06CBA0230  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 15:35:16]
855*2^1416322-1 is not prime.  Res64: B6323F83B1DC4F9D  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 15:35:16]
857*2^1416322-1 is not prime.  Res64: 042DE1569C5F2C6B  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 15:46:24]
923*2^1416322-1 is not prime.  Res64: 85139CF50C469892  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 15:46:24]
947*2^1416322-1 is not prime.  Res64: C12523BA648F2CD0  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 15:51:21]
983*2^1416322-1 is not prime.  Res64: 2D4C8A426B66310C  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 15:51:22]
987*2^1416322-1 is not prime.  Res64: 686AF6AE751DD64B  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 15:52:56]
995*2^1416322-1 is not prime.  Res64: A78AB23DE92F11BE  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 15:52:57]
705*2^1416323-1 is not prime.  Res64: 8FB0D65E208E4B0C  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 16:04:23]
805*2^1416323-1 is not prime.  Res64: E28832F0CD1F1373  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 16:04:24]
859*2^1416323-1 is not prime.  Res64: 0C61255507BD6AC7  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 16:09:30]
921*2^1416323-1 is not prime.  Res64: 8A10E9307817726E  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 16:09:31]
969*2^1416323-1 is not prime.  Res64: F3564F3BEE39BBEE  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 16:11:00]
665*2^1416324-1 is not prime.  Res64: F85D4A7FEF28B2D6  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 16:11:01]
765*2^1416324-1 is not prime.  Res64: 165B86E89D1DF0DB  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 16:22:32]
789*2^1416324-1 is not prime.  Res64: 9C405262F6D83A0F  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 16:22:32]
873*2^1416324-1 is not prime.  Res64: 677B003C6D300032  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 16:27:17]
651*2^1416325-1 is not prime.  Res64: 2CE1AACA0EAA3492  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 16:27:18]
721*2^1416325-1 is not prime.  Res64: 5374F7732D316DA0  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 16:28:49]
799*2^1416325-1 is not prime.  Res64: 8A78BC958DD493C0  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 16:28:50]
877*2^1416325-1 is not prime.  Res64: AFF92647C8F33E95  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 16:40:23]
999*2^1416325-1 is not prime.  Res64: 76DD5914EB3F48F1  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 16:40:23]
603*2^1416326-1 is not prime.  Res64: 7A04BF9C575693BC  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 16:45:06]
641*2^1416326-1 is not prime.  Res64: A90371BBB0A485B0  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 16:45:06]
843*2^1416326-1 is not prime.  Res64: 1A8F4A481F43D729  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 16:46:38]
857*2^1416326-1 is not prime.  Res64: 9D3AE96A7022E89D  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 16:46:38]
923*2^1416326-1 is not prime.  Res64: 7F210730FBE43AE1  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 16:58:07]
953*2^1416326-1 is not prime.  Res64: 71904087ABAC3C6D  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 16:58:07]
693*2^1416327-1 is not prime.  Res64: 3CBBA07A47E08A66  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 17:02:49]
775*2^1416327-1 is not prime.  Res64: E143CC1FAAC38333  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 17:02:49]
859*2^1416327-1 is not prime.  Res64: 21ECED25F7DC7408  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 17:04:18]
933*2^1416327-1 is not prime.  Res64: AED3C422017413E4  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 17:04:19]
623*2^1416328-1 is not prime.  Res64: 8E734606809443FA  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 17:15:46]
689*2^1416328-1 is not prime.  Res64: 786FCD7B7ED169B6  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 17:15:46]
825*2^1416328-1 is not prime.  Res64: 78AD415C951DD744  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 17:20:28]
843*2^1416328-1 is not prime.  Res64: 2A1E34B42DB33E49  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 17:20:28]
631*2^1416329-1 is not prime.  Res64: D645CB63003446A0  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 17:21:57]
691*2^1416329-1 is not prime.  Res64: 8C989B484158C5AF  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 17:21:58]
831*2^1416329-1 is not prime.  Res64: B43FFD69D1E00C16  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 17:34:00]
861*2^1416329-1 is not prime.  Res64: A234113CAB6EF085  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 17:34:00]
897*2^1416329-1 is not prime.  Res64: 7BF1F72B243D5E1C  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 17:38:49]
627*2^1416330-1 is not prime.  Res64: C2F5376E57362B8C  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 17:38:49]
641*2^1416330-1 is not prime.  Res64: A070901B51C74123  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 17:40:18]
711*2^1416330-1 is not prime.  Res64: 2DAD92260DE15117  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 17:40:18]
725*2^1416330-1 is not prime.  Res64: AACC2D0B240297E9  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 17:52:01]
741*2^1416330-1 is not prime.  Res64: CB79B4D6A08BB161  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 17:52:01]
783*2^1416330-1 is not prime.  Res64: C7E0A070944EADBF  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 17:57:00]
957*2^1416330-1 is not prime.  Res64: A33D25424ABC631D  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 17:57:01]
639*2^1416331-1 is not prime.  Res64: DA00765DF3BE019C  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 17:58:27]
645*2^1416331-1 is not prime.  Res64: 6B55A311E85ED98F  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 17:58:27]
715*2^1416331-1 is not prime.  Res64: 702B7306F272B2DE  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 18:10:06]
723*2^1416331-1 is not prime.  Res64: 8F3B923067765182  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 18:10:06]
769*2^1416331-1 is not prime.  Res64: 9CE8340BD5C5513D  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 18:14:50]
855*2^1416331-1 is not prime.  Res64: BFC027C58DD9BBEC  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 18:14:51]
861*2^1416331-1 is not prime.  Res64: A5AFEC25022047CD  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 18:16:18]
669*2^1416332-1 is not prime.  Res64: 07728F237924CC91  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 18:16:19]
725*2^1416332-1 is not prime.  Res64: 0AF2E8E2B0C995D4  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 18:28:09]
959*2^1416332-1 is not prime.  Res64: 9BFF143E771335A7  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 18:28:10]
685*2^1416333-1 is not prime.  Res64: 265E477C6891AAE3  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 18:33:04]
877*2^1416333-1 is not prime.  Res64: 6218C59D25B5CF85  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 18:33:04]
919*2^1416333-1 is not prime.  Res64: D651D620DD00D775  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 18:34:30]
979*2^1416333-1 is not prime.  Res64: B0A17EA40B96346C  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 18:34:31]
987*2^1416333-1 is not prime.  Res64: 93366358BA93AD40  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 18:46:12]
705*2^1416334-1 is not prime.  Res64: BB7850BA277DB259  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 18:46:12]
717*2^1416334-1 is not prime.  Res64: 7C4D02951C37AFA7  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 18:50:53]
783*2^1416334-1 is not prime.  Res64: 4B199E439691F749  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 18:50:54]
791*2^1416334-1 is not prime.  Res64: D0F4248EB56A4615  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 18:52:20]
603*2^1416335-1 is not prime.  Res64: 2549C21F0EC7ACC5  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 18:52:21]
799*2^1416335-1 is not prime.  Res64: 7D32985ABF469163  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 19:03:54]
805*2^1416335-1 is not prime.  Res64: C443DC57FFB23E58  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 19:03:55]
855*2^1416335-1 is not prime.  Res64: 26682AF63656E19E  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 19:08:35]
871*2^1416335-1 is not prime.  Res64: E8B1857D359FA890  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 19:08:35]
623*2^1416336-1 is not prime.  Res64: AEA43CA99223DA8E  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 19:10:01]
635*2^1416336-1 is not prime.  Res64: 7BD35C985DB9BA47  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 19:10:01]
759*2^1416336-1 is not prime.  Res64: 17DC41927FA63EA5  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 19:21:52]
839*2^1416336-1 is not prime.  Res64: 6C9614A5CA76AC91  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 19:21:53]
933*2^1416336-1 is not prime.  Res64: A04AF36818E351BE  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 19:26:21]
975*2^1416336-1 is not prime.  Res64: A0A2341A0CE5DDBC  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 19:26:21]
601*2^1416337-1 is not prime.  Res64: 1B94F4077A6A622F  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 19:27:42]
615*2^1416337-1 is not prime.  Res64: F641AC6B941FD656  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 19:27:43]
769*2^1416337-1 is not prime.  Res64: 075102F97206665F  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 19:39:38]
847*2^1416337-1 is not prime.  Res64: 872C960BEEBA81BA  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 19:39:38]
937*2^1416337-1 is not prime.  Res64: BD2E5275D0F03260  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 19:44:04]
979*2^1416337-1 is not prime.  Res64: 239614A2EAAA96E9  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 19:44:04]
641*2^1416338-1 is not prime.  Res64: 2F4C8D2C6230A8BF  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 19:45:24]
887*2^1416338-1 is not prime.  Res64: 1E5C7D6241E2A7D9  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 19:45:25]
945*2^1416338-1 is not prime.  Res64: 284AD27C0B22A4A7  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 19:57:38]
953*2^1416338-1 is not prime.  Res64: B70DED0CB1913331  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 19:57:38]
971*2^1416338-1 is not prime.  Res64: 482A1DEE67037151  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 20:01:47]
977*2^1416338-1 is not prime.  Res64: 2A3B93642E5B6644  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 20:01:48]
615*2^1416339-1 is not prime.  Res64: 7DF12A40C08E4E91  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 20:03:14]
829*2^1416339-1 is not prime.  Res64: 35417AA1A0212A94  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 20:03:15]
943*2^1416339-1 is not prime.  Res64: B8EEEE44A4A4F6FE  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 20:15:36]
961*2^1416339-1 is not prime.  Res64: 594DF240AF993DDB  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 20:15:37]
969*2^1416339-1 is not prime.  Res64: B92B9026B2E34D31  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 20:20:23]
603*2^1416340-1 is not prime.  Res64: BA58D1699FC94178  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 20:20:23]
615*2^1416340-1 is not prime.  Res64: E237E2CBE09994CC  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 20:22:02]
653*2^1416340-1 is not prime.  Res64: EEACD29E8F5F03F3  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 20:22:03]
743*2^1416340-1 is not prime.  Res64: 20F65643265FC315  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 20:35:03]
863*2^1416340-1 is not prime.  Res64: B115EBEA6D87E2F9  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 20:35:03]
905*2^1416340-1 is not prime.  Res64: 2A50465D0AA2E568  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 20:39:17]
939*2^1416340-1 is not prime.  Res64: EAC57ECCE60BE0EE  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 20:39:18]
615*2^1416341-1 is not prime.  Res64: D7A678840F47533C  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 20:40:38]
735*2^1416341-1 is not prime.  Res64: 39D95E21EFD5052C  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 20:40:38]
769*2^1416341-1 is not prime.  Res64: 26F7301885AA2B05  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 20:52:56]
825*2^1416341-1 is not prime.  Res64: E4468FB5CC406FAD  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 20:52:57]
925*2^1416341-1 is not prime.  Res64: 1EEEB852EBD67781  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 20:57:02]
937*2^1416341-1 is not prime.  Res64: 7AF4F97D3777ADD4  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 20:57:03]
955*2^1416341-1 is not prime.  Res64: FEBF2429CC54B912  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 20:58:23]
957*2^1416341-1 is not prime.  Res64: 121B89C1BE5C0B99  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 20:58:24]
997*2^1416341-1 is not prime.  Res64: 0117C24D5063B920  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 21:10:40]
665*2^1416342-1 is not prime.  Res64: 094804F57D77322D  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 21:10:40]
677*2^1416342-1 is not prime.  Res64: 6CD97E31D0FA7203  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 21:14:44]
791*2^1416342-1 is not prime.  Res64: 53011F6E80772070  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 21:14:44]
885*2^1416342-1 is not prime.  Res64: 90D6B239D378738A  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 21:16:06]
923*2^1416342-1 is not prime.  Res64: 8E4EAEC64FD9BBFB  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 21:16:07]
941*2^1416342-1 is not prime.  Res64: 06CE2D26AED31EDE  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 21:28:21]
603*2^1416343-1 is not prime.  Res64: DFC3B14C9E16B65D  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 21:28:21]
723*2^1416343-1 is not prime.  Res64: 9EE2CD9127F86824  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 21:32:26]
919*2^1416343-1 is not prime.  Res64: E1E49711CE222F6B  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 21:32:27]
969*2^1416343-1 is not prime.  Res64: 1A9DF3C57FC446AF  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 21:33:45]
629*2^1416344-1 is not prime.  Res64: 522FDB00BC36973F  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 21:33:46]
677*2^1416344-1 is not prime.  Res64: 9E22CE8475589906  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 21:46:00]
759*2^1416344-1 is not prime.  Res64: 31AAD4B18F44C82B  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 21:46:00]
773*2^1416344-1 is not prime.  Res64: 8492F3F6564E7396  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 21:50:02]
789*2^1416344-1 is not prime.  Res64: 052C823C65096215  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 21:50:03]
827*2^1416344-1 is not prime.  Res64: 8FB0726D0DB2E76D  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 21:51:24]
915*2^1416344-1 is not prime.  Res64: DBDD78ED0F352D28  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 21:51:24]
945*2^1416344-1 is not prime.  Res64: 8B445110F516D7E8  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 22:03:36]
727*2^1416345-1 is not prime.  Res64: 8F7C9CB737DCF21A  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 22:03:38]
735*2^1416345-1 is not prime.  Res64: B2F964426871F64F  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 22:07:38]
765*2^1416345-1 is not prime.  Res64: 4388CC8AE9E7F30F  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 22:07:39]
885*2^1416345-1 is not prime.  Res64: 7415784A9614F69A  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 22:09:00]
889*2^1416345-1 is not prime.  Res64: CA56509B4AF6BB82  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 22:09:01]
937*2^1416345-1 is not prime.  Res64: FAA98EF79452F920  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 22:21:26]
951*2^1416345-1 is not prime.  Res64: E0170CA4392ED239  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 22:21:26]
651*2^1416346-1 is not prime.  Res64: 1435B76ABD384F5E  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 22:25:22]
653*2^1416346-1 is not prime.  Res64: 9ECF42FDFBA736A2  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 22:25:22]
695*2^1416346-1 is not prime.  Res64: 9B6E7E9BFC16709A  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 22:26:44]
755*2^1416346-1 is not prime.  Res64: 0AB1818CBA69433E  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 22:26:44]
957*2^1416346-1 is not prime.  Res64: DEB86097F9160B71  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 22:39:24]
971*2^1416346-1 is not prime.  Res64: 78F87B6A5B76DEA0  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 22:39:24]
619*2^1416347-1 is not prime.  Res64: 01A56C807966F92A  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 22:43:34]
645*2^1416347-1 is not prime.  Res64: 25B13ADEDF5650F2  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 22:43:34]
675*2^1416347-1 is not prime.  Res64: A5218EB0623F338D  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 22:45:01]
703*2^1416347-1 is not prime.  Res64: FA0A6B2181CD29E2  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 22:45:01]
733*2^1416347-1 is not prime.  Res64: 52EC9E06A1E725B2  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 22:58:27]
801*2^1416347-1 is not prime.  Res64: A84A758347E8C784  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 22:58:27]
825*2^1416347-1 is not prime.  Res64: 9E6164ADA24515F6  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 23:02:38]
871*2^1416347-1 is not prime.  Res64: E65BCDBAF70462AB  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 23:02:40]
955*2^1416347-1 is not prime.  Res64: 07A8CE40D715E635  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 23:04:06]
973*2^1416347-1 is not prime.  Res64: 81566DAD7DF88BB1  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 23:04:08]
909*2^1416348-1 is not prime.  Res64: 1B5DFC68A3B99106  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 23:17:35]
999*2^1416348-1 is not prime.  Res64: 92E19C370C12BCF9  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 23:17:36]
811*2^1416349-1 is not prime.  Res64: 34AB6134206CB74F  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 23:21:37]
847*2^1416349-1 is not prime.  Res64: 84A62506CE53D270  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 23:21:37]
975*2^1416349-1 is not prime.  Res64: 5EB5A57C8DA82D71  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 23:22:54]
623*2^1416350-1 is not prime.  Res64: 52F743B68002981B  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 23:22:54]
645*2^1416350-1 is not prime.  Res64: BC067A28D2DCFB67  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 23:35:15]
663*2^1416350-1 is not prime.  Res64: 5377D749BF62BE55  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 23:35:15]
713*2^1416350-1 is not prime.  Res64: 6F872D6617C83209  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 23:39:14]
831*2^1416350-1 is not prime.  Res64: C532CB324E46AF9B  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 23:39:14]
851*2^1416350-1 is not prime.  Res64: CF4F648611CB325D  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 23:40:31]
923*2^1416350-1 is not prime.  Res64: CD72FABA12370A07  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 23:40:31]
945*2^1416350-1 is not prime.  Res64: C38D494CF46A2DAA  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 23:52:52]
613*2^1416351-1 is not prime.  Res64: 77B472DE46B73861  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 23:52:52]
619*2^1416351-1 is not prime.  Res64: A7C569F33B56CC28  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 23:56:51]
739*2^1416351-1 is not prime.  Res64: E425148F250191AF  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 23:56:51]
741*2^1416351-1 is not prime.  Res64: DEEDF822F65F2808  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 23:58:06]
763*2^1416351-1 is not prime.  Res64: C48A8A60AE7A0D6F  Time : 0.0 sec.
user=mdettweiler
[2015-11-28 23:58:07]
895*2^1416351-1 is not prime.  Res64: 1A78B58E972B1073  Time : 0.0 sec.