user=mdettweiler
[2015-12-30 00:03:56]
861*2^1418337-1 is not prime.  Res64: D9A5AA8BF367089D  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 00:03:57]
901*2^1418337-1 is not prime.  Res64: 339000DF83792868  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 00:03:58]
865*2^1418337-1 is not prime.  Res64: BAB38E1917AE047F  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 00:03:58]
937*2^1418337-1 is not prime.  Res64: 525A66053DEF249F  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 00:21:53]
623*2^1418338-1 is not prime.  Res64: 9B55EACCD1970C18  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 00:21:54]
747*2^1418338-1 is not prime.  Res64: A27410E10D519C82  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 00:21:54]
681*2^1418338-1 is not prime.  Res64: EAD252669EF54E4D  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 00:21:54]
755*2^1418338-1 is not prime.  Res64: BABF3054A3F0B9A7  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 00:39:33]
645*2^1418339-1 is not prime.  Res64: AA6D416BDEBEF200  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 00:39:33]
601*2^1418339-1 is not prime.  Res64: 3E393FC050EB5E9C  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 00:39:33]
741*2^1418339-1 is not prime.  Res64: D7AEA5CF85CD95F6  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 00:39:33]
633*2^1418339-1 is not prime.  Res64: C1ACD939ABDD3C85  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 00:57:04]
799*2^1418339-1 is not prime.  Res64: 3C81C332DD688E03  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 00:57:04]
921*2^1418339-1 is not prime.  Res64: FE88E0C83751FB13  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 00:57:04]
913*2^1418339-1 is not prime.  Res64: EC271AB3FE3772A5  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 00:57:04]
949*2^1418339-1 is not prime.  Res64: ECD33255F807EC13  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 01:14:34]
735*2^1418340-1 is not prime.  Res64: 2D749296EFFEDF51  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 01:14:35]
873*2^1418340-1 is not prime.  Res64: 3868F97D1ABC6BFA  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 01:14:35]
973*2^1418339-1 is not prime.  Res64: 2F1DC2979A13BCFF  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 01:14:35]
999*2^1418339-1 is not prime.  Res64: 0B5073F6EF3C707C  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 01:32:08]
893*2^1418340-1 is not prime.  Res64: 1FA482F3A9820D45  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 01:32:08]
855*2^1418341-1 is not prime.  Res64: 1A300E2A7BBBBE40  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 01:32:09]
927*2^1418341-1 is not prime.  Res64: 82857390F6A22FD4  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 01:32:10]
681*2^1418341-1 is not prime.  Res64: 8A5B6F364B2E555E  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 01:50:01]
617*2^1418342-1 is not prime.  Res64: 56A0243C07C24B5F  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 01:50:02]
945*2^1418341-1 is not prime.  Res64: 0891C24890D49206  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 01:50:02]
645*2^1418342-1 is not prime.  Res64: E3893AB7ADC908F5  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 01:50:02]
615*2^1418342-1 is not prime.  Res64: E9D1AEED410833B8  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 02:07:32]
791*2^1418342-1 is not prime.  Res64: 3FAEE7CB1A676AE8  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 02:07:32]
843*2^1418342-1 is not prime.  Res64: 1C5C99AA0D4981FE  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 02:07:32]
885*2^1418342-1 is not prime.  Res64: CF67965AA6FE067C  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 02:07:33]
893*2^1418342-1 is not prime.  Res64: 938D2B910B8C5719  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 02:25:04]
663*2^1418343-1 is not prime.  Res64: C0EF9F23CCA731E3  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 02:25:04]
679*2^1418343-1 is not prime.  Res64: D296E6CC5499C19E  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 02:25:05]
935*2^1418342-1 is not prime.  Res64: 144BB837F8EB984B  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 02:25:05]
625*2^1418343-1 is not prime.  Res64: A91F4FE8915072A7  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 02:42:40]
703*2^1418343-1 is not prime.  Res64: 4B9F64DEBB4AA2D3  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 02:42:40]
869*2^1418344-1 is not prime.  Res64: C604E3869C7252C3  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 02:42:40]
853*2^1418343-1 is not prime.  Res64: A6D31314F167B344  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 02:42:41]
875*2^1418344-1 is not prime.  Res64: A33A9BBD26C75896  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 03:00:13]
905*2^1418344-1 is not prime.  Res64: BF3E78A8486AB65E  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 03:00:13]
915*2^1418344-1 is not prime.  Res64: A7110FA1A2885C98  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 03:00:14]
927*2^1418344-1 is not prime.  Res64: ABDBB0C31F15CC85  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 03:00:15]
607*2^1418345-1 is not prime.  Res64: 70EA512BC4FDA091  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 03:17:45]
697*2^1418345-1 is not prime.  Res64: 966250831108D8E5  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 03:17:45]
885*2^1418345-1 is not prime.  Res64: 5C1971E5E789782D  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 03:17:49]
937*2^1418345-1 is not prime.  Res64: 850C9DAFBD3CCEB0  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 03:17:50]
635*2^1418346-1 is not prime.  Res64: 1C4D5AA70EED4E4C  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 03:35:20]
705*2^1418346-1 is not prime.  Res64: 075F882E2550DE66  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 03:35:21]
947*2^1418346-1 is not prime.  Res64: 77620CBBCE490E55  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 03:35:22]
767*2^1418346-1 is not prime.  Res64: 670CF3C5B7016A8E  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 03:35:24]
619*2^1418347-1 is not prime.  Res64: F3A0B967966DFAB8  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 03:53:16]
793*2^1418347-1 is not prime.  Res64: 4233D0FD140A71D7  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 03:53:17]
635*2^1418348-1 is not prime.  Res64: C0DF835C48F906F6  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 03:53:18]
657*2^1418348-1 is not prime.  Res64: E014611B4BEF11FE  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 03:53:19]
669*2^1418348-1 is not prime.  Res64: 12DBA17085D1584D  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 04:10:48]
999*2^1418348-1 is not prime.  Res64: D644420707AD8114  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 04:10:49]
789*2^1418348-1 is not prime.  Res64: 9879C21D42DD46B1  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 04:10:49]
861*2^1418349-1 is not prime.  Res64: 199BE8F88BF0E321  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 04:10:49]
867*2^1418348-1 is not prime.  Res64: 2785EE9FF063565A  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 04:28:22]
713*2^1418350-1 is not prime.  Res64: BD55A3876DF0B290  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 04:28:22]
743*2^1418350-1 is not prime.  Res64: 7B706CFBD049C364  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 04:28:22]
647*2^1418350-1 is not prime.  Res64: E07E5E2E3B781809  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 04:28:23]
707*2^1418350-1 is not prime.  Res64: 109138A960976E07  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 04:45:51]
791*2^1418350-1 is not prime.  Res64: D02A679828C1776A  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 04:45:52]
863*2^1418350-1 is not prime.  Res64: 433FC5D4DECCD4A0  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 04:45:52]
933*2^1418350-1 is not prime.  Res64: 0B792260FBE74CDB  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 04:45:52]
987*2^1418350-1 is not prime.  Res64: 351A33DBDCCDE953  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 05:03:25]
995*2^1418350-1 is not prime.  Res64: 49288729850BA836  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 05:03:26]
693*2^1418351-1 is not prime.  Res64: C090ABCAEF4999C7  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 05:03:27]
619*2^1418351-1 is not prime.  Res64: 4AD7D425FAE79932  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 05:03:27]
703*2^1418351-1 is not prime.  Res64: 1D793269E8BD6D86  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 05:21:14]
705*2^1418351-1 is not prime.  Res64: 123D95DE64C2E7FA  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 05:21:14]
759*2^1418351-1 is not prime.  Res64: 783FBC00C2698D85  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 05:21:14]
735*2^1418351-1 is not prime.  Res64: EED8DE5D5C0E1EC3  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 05:21:14]
913*2^1418351-1 is not prime.  Res64: E6DCAEDA2EB9415A  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 05:38:45]
623*2^1418352-1 is not prime.  Res64: 7B043921C0B65F5F  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 05:38:45]
669*2^1418352-1 is not prime.  Res64: 69F9BB1DC2CA52FC  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 05:38:45]
635*2^1418352-1 is not prime.  Res64: 9E202CF72B1AB18B  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 05:38:46]
689*2^1418352-1 is not prime.  Res64: 8318511F447E179F  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 05:56:16]
765*2^1418352-1 is not prime.  Res64: F640FE23D8C97B26  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 05:56:16]
797*2^1418352-1 is not prime.  Res64: 849FD63461C3CC54  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 05:56:16]
713*2^1418352-1 is not prime.  Res64: EB309A69B666DA43  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 05:56:17]
719*2^1418352-1 is not prime.  Res64: B56ADE95B4EEE54A  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 06:13:47]
857*2^1418352-1 is not prime.  Res64: 7FE092078B332710  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 06:13:47]
619*2^1418353-1 is not prime.  Res64: 2BD3C262868CBBDA  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 06:13:47]
817*2^1418353-1 is not prime.  Res64: CAAC5838E7922776  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 06:13:47]
615*2^1418353-1 is not prime.  Res64: F63CD33F256E3853  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 06:31:20]
877*2^1418353-1 is not prime.  Res64: 79A4FE2CACEBAB15  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 06:31:20]
987*2^1418353-1 is not prime.  Res64: 994AB1C74579C940  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 06:31:20]
925*2^1418353-1 is not prime.  Res64: A86FDEDA222639A9  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 06:31:20]
833*2^1418354-1 is not prime.  Res64: 252956BCB41831DD  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 06:48:50]
613*2^1418355-1 is not prime.  Res64: 8B3A2743C46A2790  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 06:48:50]
663*2^1418355-1 is not prime.  Res64: 15F78070D4FDA3EA  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 06:48:51]
857*2^1418354-1 is not prime.  Res64: 67FEFABB560F81FA  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 06:48:51]
953*2^1418354-1 is not prime.  Res64: 272212B0ADD2F0D5  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 07:06:21]
963*2^1418355-1 is not prime.  Res64: 58FF55C3C2BEA0C3  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 07:06:21]
783*2^1418355-1 is not prime.  Res64: A5C3F91F2AEAE431  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 07:06:22]
839*2^1418356-1 is not prime.  Res64: 0B2EEF80917A2818  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 07:06:22]
909*2^1418355-1 is not prime.  Res64: 0259626539652A25  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 07:23:54]
939*2^1418356-1 is not prime.  Res64: 9A463DBB7A5F6AB9  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 07:23:54]
601*2^1418357-1 is not prime.  Res64: 5427749EE31A8EF6  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 07:23:55]
843*2^1418356-1 is not prime.  Res64: DD17262A71B9B8A2  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 07:23:55]
923*2^1418356-1 is not prime.  Res64: FEE3C79B81C1B650  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 07:41:24]
621*2^1418357-1 is not prime.  Res64: 14F2BD8DB4C5DA1C  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 07:41:24]
649*2^1418357-1 is not prime.  Res64: 01E163B36C396088  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 07:41:25]
829*2^1418357-1 is not prime.  Res64: 2E3147F45BC658C7  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 07:41:25]
937*2^1418357-1 is not prime.  Res64: 4FF493D624E0B7D8  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 07:58:54]
939*2^1418357-1 is not prime.  Res64: 7C220A87A21ACE4A  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 07:58:55]
671*2^1418358-1 is not prime.  Res64: 52E35CC2ACF60244  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 07:58:55]
651*2^1418358-1 is not prime.  Res64: 4C46E7BA31A1654E  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 07:58:55]
711*2^1418358-1 is not prime.  Res64: 3A17F42AE6D86417  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 08:16:24]
761*2^1418358-1 is not prime.  Res64: C7B4418D6B36565B  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 08:16:25]
861*2^1418358-1 is not prime.  Res64: D740CE4FC3872BAD  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 08:16:28]
665*2^1418360-1 is not prime.  Res64: E762898D53D52AED  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 08:16:28]
675*2^1418360-1 is not prime.  Res64: EB8AFCE80E9AC7EA  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 08:33:54]
699*2^1418360-1 is not prime.  Res64: 7044C2FC811B3406  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 08:33:55]
753*2^1418360-1 is not prime.  Res64: D369F67B38286335  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 08:33:57]
785*2^1418360-1 is not prime.  Res64: 1BEB215CBD0DFB5E  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 08:33:58]
839*2^1418360-1 is not prime.  Res64: 4DE195350636B4D0  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 08:51:24]
843*2^1418360-1 is not prime.  Res64: 228C683A312D5F00  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 08:51:24]
893*2^1418360-1 is not prime.  Res64: 0499EA93ED92E1F2  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 08:51:26]
741*2^1418361-1 is not prime.  Res64: 8B15124A316BB2B8  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 08:51:27]
871*2^1418361-1 is not prime.  Res64: 481F7D1F59DCDC07  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 09:08:55]
877*2^1418361-1 is not prime.  Res64: 126218BB7F9AB088  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 09:08:55]
979*2^1418361-1 is not prime.  Res64: C9FEB562C0EEE3E5  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 09:08:57]
617*2^1418362-1 is not prime.  Res64: 4C485810651D627B  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 09:08:57]
621*2^1418362-1 is not prime.  Res64: CF24B13F263E274D  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 09:26:28]
777*2^1418362-1 is not prime.  Res64: 2C6842AD99F342C8  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 09:26:29]
825*2^1418362-1 is not prime.  Res64: 0E7C631D9BCE90F7  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 09:26:29]
675*2^1418362-1 is not prime.  Res64: D84DC266C30255E3  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 09:26:30]
735*2^1418362-1 is not prime.  Res64: A1F36D7832157565  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 09:43:59]
885*2^1418362-1 is not prime.  Res64: 7B67A0D752E7B6AA  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 09:43:59]
923*2^1418362-1 is not prime.  Res64: F521E91624311228  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 09:43:59]
957*2^1418362-1 is not prime.  Res64: 83E640B6A67E1204  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 09:44:00]
981*2^1418362-1 is not prime.  Res64: 06348252B81DCC9A  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 10:01:30]
987*2^1418362-1 is not prime.  Res64: 7833C932A2E2EEEB  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 10:01:30]
609*2^1418363-1 is not prime.  Res64: 3462DA6694EBF359  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 10:01:31]
603*2^1418363-1 is not prime.  Res64: 8FF2EC8EE0F26F50  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 10:01:31]
879*2^1418363-1 is not prime.  Res64: 928526883D587479  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 10:19:15]
725*2^1418364-1 is not prime.  Res64: F00E643894EBA11C  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 10:19:15]
969*2^1418363-1 is not prime.  Res64: 7876B97F5A99461B  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 10:19:16]
695*2^1418364-1 is not prime.  Res64: F2D57680762331C4  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 10:19:16]
749*2^1418364-1 is not prime.  Res64: 37CC2EB35CC95AB6  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 10:36:46]
843*2^1418364-1 is not prime.  Res64: A4B7C6D7A52A74F0  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 10:36:46]
959*2^1418364-1 is not prime.  Res64: 6D31C9CF305AB58E  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 10:36:46]
607*2^1418365-1 is not prime.  Res64: 7ADDC36BEBC42A82  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 10:36:47]
691*2^1418365-1 is not prime.  Res64: 986696E4FD09A43F  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 10:54:16]
727*2^1418365-1 is not prime.  Res64: EA5743FE0AD47740  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 10:54:16]
859*2^1418365-1 is not prime.  Res64: C0A6111E143E1660  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 10:54:17]
855*2^1418365-1 is not prime.  Res64: C9402857D7452C01  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 10:54:17]
885*2^1418365-1 is not prime.  Res64: 4C2EC806748C5466  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 11:11:48]
707*2^1418366-1 is not prime.  Res64: FA3A4B538FE1FA4B  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 11:11:48]
925*2^1418365-1 is not prime.  Res64: 8D660D546760682A  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 11:11:48]
617*2^1418366-1 is not prime.  Res64: 78526889EBA9A662  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 11:11:48]
711*2^1418366-1 is not prime.  Res64: 4F1D434FB257C899  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 11:29:21]
875*2^1418366-1 is not prime.  Res64: B9EA56E9130081DB  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 11:29:21]
713*2^1418366-1 is not prime.  Res64: A43F52B2521E00DF  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 11:29:22]
981*2^1418366-1 is not prime.  Res64: 22A61497F4DAF8F3  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 11:29:22]
741*2^1418366-1 is not prime.  Res64: 61ED38624EB6D298  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 11:46:52]
649*2^1418367-1 is not prime.  Res64: 531FA51EDF17B424  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 11:46:52]
615*2^1418367-1 is not prime.  Res64: 128F6D1B730673D3  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 11:46:53]
751*2^1418367-1 is not prime.  Res64: 3E499B713EC93336  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 11:46:53]
625*2^1418367-1 is not prime.  Res64: 31B278A10784900D  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 12:04:23]
919*2^1418367-1 is not prime.  Res64: 99A82E972104B4CA  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 12:04:25]
623*2^1418368-1 is not prime.  Res64: 13A12D381EFB78E2  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 12:04:26]
605*2^1418368-1 is not prime.  Res64: 88EDB525E2780FC6  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 12:04:27]
777*2^1418368-1 is not prime.  Res64: 2B3E0BA142D4CA95  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 12:22:22]
797*2^1418368-1 is not prime.  Res64: 06CD39358DCBD74D  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 12:22:22]
995*2^1418368-1 is not prime.  Res64: 1D2823F48C893CC5  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 12:22:23]
615*2^1418369-1 is not prime.  Res64: 8B6BC7AD5FA8EA26  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 12:22:23]
619*2^1418369-1 is not prime.  Res64: 7058BAF8B44A4A8F  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 12:39:53]
657*2^1418369-1 is not prime.  Res64: B620678226B9BBAA  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 12:39:53]
727*2^1418369-1 is not prime.  Res64: 6FE4EC2BABBB5D0C  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 12:39:53]
691*2^1418369-1 is not prime.  Res64: 746E6C97603E92D5  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 12:39:53]
837*2^1418369-1 is not prime.  Res64: B064181BF3C1480C  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 12:57:24]
627*2^1418370-1 is not prime.  Res64: BE6008696EE0838C  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 12:57:24]
865*2^1418369-1 is not prime.  Res64: 64E2CF2A3B1B2838  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 12:57:24]
735*2^1418370-1 is not prime.  Res64: F3A92DA7B8662288  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 12:57:24]
907*2^1418369-1 is not prime.  Res64: 62B70A5B66B88318  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 13:14:55]
803*2^1418370-1 is not prime.  Res64: 25371D5B18130D3B  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 13:14:55]
783*2^1418370-1 is not prime.  Res64: C5B00E2FA3707AE1  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 13:14:56]
1001*2^1418370-1 is not prime.  Res64: CD4DBEED8A3DCC60  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 13:14:56]
797*2^1418370-1 is not prime.  Res64: 9DE2999044D09A4A  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 13:32:28]
619*2^1418371-1 is not prime.  Res64: 2EF20E27F183AE2C  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 13:32:29]
793*2^1418371-1 is not prime.  Res64: 2E3D97A4E1A83685  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 13:32:33]
843*2^1418371-1 is not prime.  Res64: 11708BA2B8E7EFA2  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 13:32:34]
931*2^1418371-1 is not prime.  Res64: D8BE653D3D3FE392  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 13:50:03]
717*2^1418372-1 is not prime.  Res64: 04DB2274F26BB94F  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 13:50:03]
719*2^1418372-1 is not prime.  Res64: BB7F567B8EB558CF  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 13:50:06]
759*2^1418372-1 is not prime.  Res64: 5D33AE25CB93D538  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 13:50:06]
867*2^1418372-1 is not prime.  Res64: 2D8D89E44F327757  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 14:07:36]
957*2^1418372-1 is not prime.  Res64: E53BB2383A6AA1CE  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 14:07:36]
685*2^1418373-1 is not prime.  Res64: B668B37683219D50  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 14:07:37]
787*2^1418373-1 is not prime.  Res64: 05F7BFC12878713B  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 14:07:38]
811*2^1418373-1 is not prime.  Res64: F2DEAAB229E98998  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 14:25:14]
915*2^1418373-1 is not prime.  Res64: 253793D10D361CC5  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 14:25:15]
951*2^1418373-1 is not prime.  Res64: ABD070D1C65D6FBA  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 14:25:17]
961*2^1418373-1 is not prime.  Res64: FFA1EEE3A391C2CD  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 14:25:17]
687*2^1418374-1 is not prime.  Res64: 23AEDA025E463AD8  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 14:42:45]
717*2^1418374-1 is not prime.  Res64: 97ACD59D0FBE43A4  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 14:42:45]
747*2^1418374-1 is not prime.  Res64: 987DFCC025AD69F7  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 14:42:48]
855*2^1418374-1 is not prime.  Res64: 94BA9C3E0E0605D8  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 14:42:48]
857*2^1418374-1 is not prime.  Res64: F3612C2A288AADC9  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 15:00:17]
897*2^1418374-1 is not prime.  Res64: C8F7B5CD120927AF  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 15:00:18]
903*2^1418374-1 is not prime.  Res64: 9637BCF362574B11  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 15:00:18]
917*2^1418374-1 is not prime.  Res64: 8820E1C4691B768E  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 15:00:19]
923*2^1418374-1 is not prime.  Res64: EA78270A6B64D0B2  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 15:17:51]
951*2^1418374-1 is not prime.  Res64: D3D3C44715329D43  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 15:17:51]
619*2^1418375-1 is not prime.  Res64: EE190982EF7E3544  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 15:17:52]
669*2^1418375-1 is not prime.  Res64: 956AE4E983EF75D2  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 15:17:52]
675*2^1418375-1 is not prime.  Res64: 380FD33F88F206DA  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 15:35:22]
973*2^1418375-1 is not prime.  Res64: 19B508FBF86251FF  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 15:35:23]
985*2^1418375-1 is not prime.  Res64: 3837EB4F89D1B45C  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 15:35:25]
685*2^1418375-1 is not prime.  Res64: CA2375FE422A5DC4  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 15:35:25]
783*2^1418375-1 is not prime.  Res64: 6EEBDCF28F1DA4F4  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 15:52:53]
689*2^1418376-1 is not prime.  Res64: 48B98E0C8FFE9C7C  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 15:52:53]
803*2^1418376-1 is not prime.  Res64: A3AB9611F349FD8D  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 15:52:55]
815*2^1418376-1 is not prime.  Res64: 8954DCAFE9AF41C3  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 15:52:56]
993*2^1418376-1 is not prime.  Res64: 71E52A6C7DC3BAFA  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 16:10:23]
609*2^1418377-1 is not prime.  Res64: 51F441B5FD79F788  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 16:10:24]
637*2^1418377-1 is not prime.  Res64: B78F251B27360837  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 16:10:25]
807*2^1418377-1 is not prime.  Res64: AB1CDFD50636B965  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 16:10:26]
895*2^1418377-1 is not prime.  Res64: 6784BDD02140A31A  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 16:27:55]
945*2^1418377-1 is not prime.  Res64: A0AC9ED5AB9D4457  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 16:27:55]
955*2^1418377-1 is not prime.  Res64: E1E34E0F23F9EF24  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 16:27:56]
975*2^1418377-1 is not prime.  Res64: FC3E1FAB37E01624  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 16:27:57]
633*2^1418378-1 is not prime.  Res64: ECD1BA16E12D5AB1  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 16:45:26]
665*2^1418378-1 is not prime.  Res64: BE65C0815C046506  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 16:45:26]
801*2^1418378-1 is not prime.  Res64: FE1F60D92C18CF10  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 16:45:27]
797*2^1418378-1 is not prime.  Res64: 2C0C79ACC75F1174  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 16:45:27]
813*2^1418378-1 is not prime.  Res64: F141D3271889C8C6  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 17:02:58]
633*2^1418379-1 is not prime.  Res64: D2051EEAB45D4D4C  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 17:03:01]
735*2^1418379-1 is not prime.  Res64: A87DB8B2E59E9A61  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 17:03:02]
709*2^1418379-1 is not prime.  Res64: 5E93F5395C853CD9  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 17:03:02]
801*2^1418379-1 is not prime.  Res64: C8359222F8362DE4  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 17:20:59]
913*2^1418379-1 is not prime.  Res64: 6461294AC52F4748  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 17:20:59]
921*2^1418379-1 is not prime.  Res64: 610860D27D9EBC43  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 17:21:00]
943*2^1418379-1 is not prime.  Res64: B202EC1FECD6D08E  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 17:21:00]
609*2^1418380-1 is not prime.  Res64: 213000B956CEED9B  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 17:38:32]
689*2^1418380-1 is not prime.  Res64: B1DDB0BAFD6578A6  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 17:38:32]
623*2^1418380-1 is not prime.  Res64: 5AEF6621573BDC2E  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 17:38:32]
693*2^1418380-1 is not prime.  Res64: 9AD4D7CF4E49C171  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 17:38:33]
635*2^1418380-1 is not prime.  Res64: F8F9C55BBF897668  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 17:56:03]
797*2^1418380-1 is not prime.  Res64: 3DBB46A687978526  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 17:56:03]
855*2^1418380-1 is not prime.  Res64: 154AFB3569CD9086  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 17:56:04]
645*2^1418381-1 is not prime.  Res64: 569715780F77AE77  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 17:56:04]
799*2^1418381-1 is not prime.  Res64: EFD9418444235C49  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 18:13:34]
741*2^1418382-1 is not prime.  Res64: 2C4535EEE2776535  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 18:13:34]
747*2^1418382-1 is not prime.  Res64: 2C2530348A765416  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 18:13:36]
829*2^1418381-1 is not prime.  Res64: 0BE734D1FBC168BD  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 18:13:36]
901*2^1418381-1 is not prime.  Res64: CC2E46667B6CD134  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 18:31:06]
873*2^1418382-1 is not prime.  Res64: 7E298E3B90E00C54  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 18:31:06]
791*2^1418382-1 is not prime.  Res64: 1001D52AC8A9A6F5  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 18:31:06]
703*2^1418383-1 is not prime.  Res64: 4C57524CCB143C90  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 18:31:07]
797*2^1418382-1 is not prime.  Res64: 98701C654E982B0B  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 18:48:37]
891*2^1418383-1 is not prime.  Res64: 095D89FCFD248BD8  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 18:48:37]
755*2^1418384-1 is not prime.  Res64: 49D721B6D52027AA  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 18:48:37]
793*2^1418383-1 is not prime.  Res64: 024E1616F3A38ADA  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 18:48:38]
861*2^1418383-1 is not prime.  Res64: B23B0D360DE10C51  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 19:06:08]
789*2^1418384-1 is not prime.  Res64: C27DD646BD3691E4  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 19:06:08]
929*2^1418384-1 is not prime.  Res64: 5B4673AA60963A72  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 19:06:09]
669*2^1418385-1 is not prime.  Res64: 16957781D318D98E  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 19:06:09]
825*2^1418384-1 is not prime.  Res64: 7E65F68BFDEE2944  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 19:23:40]
675*2^1418385-1 is not prime.  Res64: 3495DD87BF20CEE2  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 19:23:41]
739*2^1418385-1 is not prime.  Res64: 9965C5A4B3710481  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 19:23:41]
741*2^1418385-1 is not prime.  Res64: FA7B99BF7B620B08  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 19:23:41]
787*2^1418385-1 is not prime.  Res64: BB30D86DA85AEB12  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 19:41:12]
803*2^1418386-1 is not prime.  Res64: ED74552E3FB28F6E  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 19:41:13]
873*2^1418386-1 is not prime.  Res64: 606D4D7B1A536F0A  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 19:41:13]
871*2^1418385-1 is not prime.  Res64: A309871E3DF22BDB  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 19:41:14]
937*2^1418385-1 is not prime.  Res64: 38BA6078A8A51264  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 19:58:43]
993*2^1418386-1 is not prime.  Res64: A4F6C489FCB9DDB7  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 19:58:44]
733*2^1418387-1 is not prime.  Res64: 33BFD7A4134D4D93  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 19:58:47]
949*2^1418387-1 is not prime.  Res64: B042584669B55F74  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 19:58:47]
973*2^1418387-1 is not prime.  Res64: 0EAEDBFBB37A0754  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 20:16:18]
759*2^1418388-1 is not prime.  Res64: 87F147DA48D74582  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 20:16:18]
691*2^1418389-1 is not prime.  Res64: 0776C913B68B85A1  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 20:16:19]
993*2^1418388-1 is not prime.  Res64: C0B7FDBEB4258BE9  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 20:16:19]
747*2^1418389-1 is not prime.  Res64: 0B8AB1E7F52110A3  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 20:33:50]
829*2^1418389-1 is not prime.  Res64: EAE256A9CDA8B558  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 20:33:50]
835*2^1418389-1 is not prime.  Res64: 332D85913490A0B0  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 20:33:51]
759*2^1418389-1 is not prime.  Res64: 8CFB3F0DE41B8452  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 20:33:51]
819*2^1418389-1 is not prime.  Res64: B1C749E368B5186E  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 20:51:21]
985*2^1418389-1 is not prime.  Res64: 6F4E6C0E123F6245  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 20:51:21]
861*2^1418389-1 is not prime.  Res64: 4E8856D723394A78  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 20:51:22]
987*2^1418389-1 is not prime.  Res64: E101BBB405CC66D0  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 20:51:22]
931*2^1418389-1 is not prime.  Res64: 07360847C66ADBCC  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 21:08:55]
997*2^1418389-1 is not prime.  Res64: 99A27380958E8302  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 21:08:56]
707*2^1418390-1 is not prime.  Res64: 43FD4F6C891CF904  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 21:08:56]
761*2^1418390-1 is not prime.  Res64: AA4319621A2870D1  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 21:08:57]
851*2^1418390-1 is not prime.  Res64: BA09A55755D3C7F3  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 21:26:29]
893*2^1418390-1 is not prime.  Res64: 2E1E7EA7C51613CF  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 21:26:29]
941*2^1418390-1 is not prime.  Res64: 673DA7E18B3F3DDC  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 21:26:30]
741*2^1418391-1 is not prime.  Res64: F030F52BFD80CFF0  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 21:26:30]
879*2^1418391-1 is not prime.  Res64: 3529023899402897  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 21:43:59]
901*2^1418391-1 is not prime.  Res64: CF78879930AE0819  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 21:43:59]
603*2^1418392-1 is not prime.  Res64: 156C5BFCB6C63055  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 21:44:00]
951*2^1418391-1 is not prime.  Res64: D09B7E10D8917787  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 21:44:00]
695*2^1418392-1 is not prime.  Res64: B29948D02CE1CBC6  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 22:01:32]
717*2^1418392-1 is not prime.  Res64: 89E8B145A89013B5  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 22:01:32]
755*2^1418392-1 is not prime.  Res64: AB3B840C14EE1D91  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 22:01:34]
743*2^1418392-1 is not prime.  Res64: B5608E4D3EE6BF6D  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 22:01:34]
797*2^1418392-1 is not prime.  Res64: A6A1971A3D7DEABA  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 22:19:14]
855*2^1418392-1 is not prime.  Res64: 41879ACE273C5F51  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 22:19:14]
899*2^1418392-1 is not prime.  Res64: 0F531897466E0992  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 22:19:15]
873*2^1418392-1 is not prime.  Res64: 18F25BCA0B5641EC  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 22:19:15]
975*2^1418392-1 is not prime.  Res64: 427E5078AEA7957E  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 22:36:45]
607*2^1418393-1 is not prime.  Res64: B7925D2A11612A6E  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 22:36:46]
649*2^1418393-1 is not prime.  Res64: A411BC3B0C873EAD  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 22:36:46]
699*2^1418393-1 is not prime.  Res64: EBB868789505C034  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 22:36:46]
721*2^1418393-1 is not prime.  Res64: 5E970DD1A8C957A0  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 22:54:16]
651*2^1418394-1 is not prime.  Res64: E23B8F5C24F9F654  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 22:54:17]
847*2^1418393-1 is not prime.  Res64: 0634F50CD836592C  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 22:54:17]
717*2^1418394-1 is not prime.  Res64: 797FAE24D7E5E63D  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 22:54:17]
925*2^1418393-1 is not prime.  Res64: 0685870A65EA051A  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 23:11:47]
797*2^1418394-1 is not prime.  Res64: F95D57EB817FA427  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 23:11:47]
783*2^1418394-1 is not prime.  Res64: A1670EACE538D61F  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 23:11:48]
791*2^1418394-1 is not prime.  Res64: 62C63C0965E4BA62  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 23:11:48]
917*2^1418394-1 is not prime.  Res64: 07A606EF2312E8F5  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 23:29:20]
639*2^1418395-1 is not prime.  Res64: F569465329265ED8  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 23:29:21]
765*2^1418395-1 is not prime.  Res64: 58FAE1FDDBBAF15D  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 23:29:21]
983*2^1418394-1 is not prime.  Res64: E2AAAF05CBD199AB  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 23:29:21]
619*2^1418395-1 is not prime.  Res64: E4DF5FC02B7DB9B0  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 23:46:50]
913*2^1418395-1 is not prime.  Res64: 180955DD108AFC55  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 23:46:51]
979*2^1418395-1 is not prime.  Res64: EA9B8EFD18204AA6  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 23:46:51]
609*2^1418396-1 is not prime.  Res64: E8760070AD81B856  Time : 0.0 sec.
user=mdettweiler
[2015-12-30 23:46:52]
675*2^1418396-1 is not prime.  Res64: F8318EDA5EC0EC9A  Time : 0.0 sec.