user=odicin
[2017-08-07 00:03:47]
951*2^1467883-1 is not prime.  Res64: 5453759916A31848  Time : 0.0 sec.
user=odicin
[2017-08-07 00:03:48]
665*2^1467884-1 is not prime.  Res64: FA6B4CA0AFD074C3  Time : 0.0 sec.
user=odicin
[2017-08-07 00:16:41]
961*2^1467885-1 is not prime.  Res64: 5A40047973CD603C  Time : 0.0 sec.
user=odicin
[2017-08-07 00:16:41]
927*2^1467885-1 is not prime.  Res64: 7901E093258A0003  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 00:22:55]
865*2^1467881-1 is not prime.  Res64: 0310043248AB09A8  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 00:22:55]
755*2^1467882-1 is not prime.  Res64: BFB80CBB9EED1025  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 00:22:56]
807*2^1467882-1 is not prime.  Res64: E4A8DB976426E279  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 00:22:56]
873*2^1467882-1 is not prime.  Res64: A9595C35730F2B59  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 00:22:56]
891*2^1467882-1 is not prime.  Res64: 7AF0482F1BB8C5EF  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 00:23:16]
917*2^1467882-1 is not prime.  Res64: C076D0B246085317  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 00:23:16]
639*2^1467883-1 is not prime.  Res64: 7EEDC2394FD03DDA  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 00:23:16]
703*2^1467883-1 is not prime.  Res64: A5478289BC9B4EAF  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 00:23:16]
741*2^1467883-1 is not prime.  Res64: FEEAB10F86E8279B  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 00:23:17]
813*2^1467883-1 is not prime.  Res64: 4DE99967EA6360E5  Time : 0.0 sec.
user=odicin
[2017-08-07 00:27:55]
997*2^1467885-1 is not prime.  Res64: A1D5270E858D529E  Time : 0.0 sec.
user=odicin
[2017-08-07 00:27:55]
663*2^1467886-1 is not prime.  Res64: DFB16FE272C35BAE  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 00:38:32]
725*2^1467884-1 is not prime.  Res64: 152756B2CE8D4C2B  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 00:38:32]
827*2^1467884-1 is not prime.  Res64: E1888DDDEC0428C8  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 00:38:32]
857*2^1467884-1 is not prime.  Res64: ADCEC1F881060256  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 00:38:32]
651*2^1467885-1 is not prime.  Res64: F1C0F666DC284076  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 00:38:32]
915*2^1467884-1 is not prime.  Res64: C8FFC57BF5807D56  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 00:38:33]
685*2^1467885-1 is not prime.  Res64: DD28AE8F3FFD1F9E  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 00:38:33]
957*2^1467884-1 is not prime.  Res64: 85E2708976759090  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 00:38:33]
691*2^1467885-1 is not prime.  Res64: C4209D4575B1661E  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 00:38:33]
759*2^1467885-1 is not prime.  Res64: E481AB93A88C3799  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 00:38:33]
849*2^1467885-1 is not prime.  Res64: 67F295EE6CCDACDE  Time : 0.0 sec.
user=odicin
[2017-08-07 00:39:08]
909*2^1467887-1 is not prime.  Res64: FC9C586914DF4C56  Time : 0.0 sec.
user=odicin
[2017-08-07 00:39:09]
973*2^1467887-1 is not prime.  Res64: D271DBE64A3F251E  Time : 0.0 sec.
user=odicin
[2017-08-07 00:50:21]
731*2^1467890-1 is not prime.  Res64: AE789C9C0C3C2294  Time : 0.0 sec.
user=odicin
[2017-08-07 00:50:23]
753*2^1467890-1 is not prime.  Res64: D140BC6F1439ABC2  Time : 0.0 sec.
user=odicin
[2017-08-07 01:01:36]
825*2^1467890-1 is not prime.  Res64: 02A47F77FEE0EBD0  Time : 0.0 sec.
user=odicin
[2017-08-07 01:01:37]
867*2^1467890-1 is not prime.  Res64: BB3ED06EA64E74F9  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 01:08:46]
713*2^1467886-1 is not prime.  Res64: 96695306B2EBA08B  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 01:08:46]
717*2^1467886-1 is not prime.  Res64: E1A44C7B342E5DDE  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 01:08:46]
741*2^1467886-1 is not prime.  Res64: 272282E3C532AF9B  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 01:08:47]
645*2^1467887-1 is not prime.  Res64: E53E60F3F44BA79B  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 01:08:47]
825*2^1467886-1 is not prime.  Res64: BEE5B4C905E47A4D  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 01:08:47]
669*2^1467887-1 is not prime.  Res64: E4BFC3C6385B5FC2  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 01:08:47]
833*2^1467886-1 is not prime.  Res64: 268AC6AA8AE4590A  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 01:08:47]
711*2^1467887-1 is not prime.  Res64: 42369777BF0441E2  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 01:08:47]
805*2^1467887-1 is not prime.  Res64: 253CDDDBF0EE86E0  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 01:08:48]
823*2^1467887-1 is not prime.  Res64: 4DDEFE44DDBD1A66  Time : 0.0 sec.
user=odicin
[2017-08-07 01:14:36]
649*2^1467891-1 is not prime.  Res64: A6B5E7EE7FD95A34  Time : 0.0 sec.
user=odicin
[2017-08-07 01:14:36]
651*2^1467891-1 is not prime.  Res64: 98D85E27831A309C  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 01:24:13]
947*2^1467888-1 is not prime.  Res64: 51B421BCFB10A4CE  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 01:24:13]
625*2^1467889-1 is not prime.  Res64: 1D0817737C5D7AF5  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 01:24:13]
691*2^1467889-1 is not prime.  Res64: 403E754F66EB6634  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 01:24:13]
985*2^1467889-1 is not prime.  Res64: 9F1C04E3EA855317  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 01:24:13]
633*2^1467890-1 is not prime.  Res64: C161D518714014FC  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 01:24:21]
605*2^1467888-1 is not prime.  Res64: 762A4226363216F2  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 01:24:21]
669*2^1467888-1 is not prime.  Res64: 7F4EF5BD509ADDE1  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 01:24:21]
707*2^1467888-1 is not prime.  Res64: CFD90A5C9407EA37  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 01:24:21]
843*2^1467888-1 is not prime.  Res64: A0E21F043E210060  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 01:24:22]
849*2^1467888-1 is not prime.  Res64: 6673766A28730FDD  Time : 0.0 sec.
user=odicin
[2017-08-07 01:26:07]
819*2^1467893-1 is not prime.  Res64: 213C63A8D0248227  Time : 0.0 sec.
user=odicin
[2017-08-07 01:26:08]
837*2^1467893-1 is not prime.  Res64: 4C910E111DFCC2FE  Time : 0.0 sec.
user=odicin
[2017-08-07 01:37:22]
771*2^1467895-1 is not prime.  Res64: 0F2565365BC4EF26  Time : 0.0 sec.
user=odicin
[2017-08-07 01:37:23]
831*2^1467895-1 is not prime.  Res64: 957986BE8015B17B  Time : 0.0 sec.
user=odicin
[2017-08-07 01:48:44]
841*2^1467895-1 is not prime.  Res64: 6ADA76BB61A8B6D3  Time : 0.0 sec.
user=odicin
[2017-08-07 01:48:44]
859*2^1467895-1 is not prime.  Res64: 628CCC72D7F78815  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 01:54:31]
829*2^1467891-1 is not prime.  Res64: 42FBA002D8349744  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 01:54:31]
705*2^1467892-1 is not prime.  Res64: 6E75993D428CCE06  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 01:54:31]
855*2^1467892-1 is not prime.  Res64: 2B2A7DE7AA60BC6E  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 01:54:32]
873*2^1467892-1 is not prime.  Res64: 66E75CC266C2CD64  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 01:54:32]
875*2^1467892-1 is not prime.  Res64: F6F7B274D73229FF  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 01:54:32]
897*2^1467892-1 is not prime.  Res64: 77E4B41498AA8C83  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 01:54:32]
675*2^1467893-1 is not prime.  Res64: CCE61ED3B27227FF  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 01:54:33]
727*2^1467893-1 is not prime.  Res64: FBAF9932E5811F6C  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 01:54:33]
769*2^1467893-1 is not prime.  Res64: 30895EB55A638281  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 01:54:33]
789*2^1467893-1 is not prime.  Res64: FEC2B16BB97FE043  Time : 0.0 sec.
user=odicin
[2017-08-07 02:00:03]
609*2^1467896-1 is not prime.  Res64: 82BD6E95AA33261E  Time : 0.0 sec.
user=odicin
[2017-08-07 02:00:03]
629*2^1467896-1 is not prime.  Res64: 5E9EFADC9F4A84B3  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 02:09:56]
861*2^1467893-1 is not prime.  Res64: A3C36342B0BABDE5  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 02:09:56]
937*2^1467893-1 is not prime.  Res64: 3FCFBD3912F005E2  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 02:09:57]
985*2^1467893-1 is not prime.  Res64: B2BC32FC074777ED  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 02:09:57]
627*2^1467894-1 is not prime.  Res64: D6E1457603BF8157  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 02:09:57]
815*2^1467894-1 is not prime.  Res64: 2A53FB2013DF003D  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 02:09:59]
903*2^1467894-1 is not prime.  Res64: AB5566A08AF20C70  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 02:10:00]
941*2^1467894-1 is not prime.  Res64: 6F8098B92A7D9C17  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 02:10:00]
639*2^1467895-1 is not prime.  Res64: 373DD2B42D287DD1  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 02:10:01]
705*2^1467895-1 is not prime.  Res64: 8D4DB6FB5D969549  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 02:10:02]
765*2^1467895-1 is not prime.  Res64: E2BCAA84A56E1678  Time : 0.0 sec.
user=odicin
[2017-08-07 02:11:17]
621*2^1467898-1 is not prime.  Res64: AC5C5E40266FFD54  Time : 0.0 sec.
user=odicin
[2017-08-07 02:11:18]
737*2^1467898-1 is not prime.  Res64: B3C4822E833AAC84  Time : 0.0 sec.
user=odicin
[2017-08-07 02:22:30]
889*2^1467899-1 is not prime.  Res64: 99FD11F8EAA23DF6  Time : 0.0 sec.
user=odicin
[2017-08-07 02:22:31]
903*2^1467899-1 is not prime.  Res64: 2A2EBB42A2133DB5  Time : 0.0 sec.
user=odicin
[2017-08-07 02:33:45]
633*2^1467900-1 is not prime.  Res64: 83747853FE9E9585  Time : 0.0 sec.
user=odicin
[2017-08-07 02:33:45]
949*2^1467899-1 is not prime.  Res64: E102046593F23C01  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 02:41:04]
917*2^1467896-1 is not prime.  Res64: EDE9DDDBA48030E3  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 02:41:04]
649*2^1467897-1 is not prime.  Res64: B21FB581C1562C4C  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 02:41:05]
691*2^1467897-1 is not prime.  Res64: E3DB6533E06270EA  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 02:41:05]
795*2^1467897-1 is not prime.  Res64: 9ECCF6D2BA275C47  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 02:41:05]
807*2^1467897-1 is not prime.  Res64: DE63A2C029DEE0F3  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 02:41:07]
675*2^1467896-1 is not prime.  Res64: 693018AFEB898650  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 02:41:07]
735*2^1467896-1 is not prime.  Res64: 0251C4766E046AAB  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 02:41:08]
773*2^1467896-1 is not prime.  Res64: B46FB52B4EE2384A  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 02:41:08]
843*2^1467896-1 is not prime.  Res64: 7443E39F086907B0  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 02:41:08]
869*2^1467896-1 is not prime.  Res64: E90DD763EB34EE2E  Time : 0.0 sec.
user=odicin
[2017-08-07 02:45:17]
669*2^1467900-1 is not prime.  Res64: 3BBC3BAA050A48C7  Time : 0.0 sec.
user=odicin
[2017-08-07 02:45:20]
653*2^1467900-1 is not prime.  Res64: 1336B078C958589C  Time : 0.0 sec.
user=odicin
[2017-08-07 02:56:30]
747*2^1467901-1 is not prime.  Res64: 7D06AAE893D8E9BC  Time : 0.0 sec.
user=odicin
[2017-08-07 02:56:33]
771*2^1467901-1 is not prime.  Res64: A2F47564C895D1D7  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 02:56:59]
791*2^1467898-1 is not prime.  Res64: EF56DAFC4780B397  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 02:56:59]
825*2^1467898-1 is not prime.  Res64: 9CD4CB96EF2FA272  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 02:56:59]
827*2^1467898-1 is not prime.  Res64: F1343D93252E58C9  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 02:57:00]
833*2^1467898-1 is not prime.  Res64: 8F2F5D0CB5C927DB  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 02:57:00]
911*2^1467898-1 is not prime.  Res64: 8F3114545DD0915C  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 02:57:19]
945*2^1467898-1 is not prime.  Res64: 55A91470162BEE8B  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 02:57:20]
981*2^1467898-1 is not prime.  Res64: 5113BDC8F830015E  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 02:57:20]
663*2^1467899-1 is not prime.  Res64: CA326FFD89CBF392  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 02:57:20]
685*2^1467899-1 is not prime.  Res64: BDBF4257FCF3BF05  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 02:57:20]
775*2^1467899-1 is not prime.  Res64: 2186412EC98DA9EC  Time : 0.0 sec.
user=odicin
[2017-08-07 03:07:42]
937*2^1467901-1 is not prime.  Res64: 1CBD5E0AE878DA39  Time : 0.0 sec.
user=odicin
[2017-08-07 03:07:44]
997*2^1467901-1 is not prime.  Res64: 6E9708D9E259662C  Time : 0.0 sec.
user=odicin
[2017-08-07 03:19:31]
905*2^1467904-1 is not prime.  Res64: F7E6A77212039ED2  Time : 0.0 sec.
user=odicin
[2017-08-07 03:19:31]
857*2^1467904-1 is not prime.  Res64: 5ED545990D951C2D  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 03:26:38]
803*2^1467900-1 is not prime.  Res64: 01AE6354A63BF7EA  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 03:26:38]
857*2^1467900-1 is not prime.  Res64: B83309B704418B21  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 03:26:38]
983*2^1467900-1 is not prime.  Res64: 1E374916ED616F2A  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 03:26:39]
639*2^1467901-1 is not prime.  Res64: 70413ADB5B1FFDB3  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 03:26:39]
651*2^1467901-1 is not prime.  Res64: 5F829764FAD502B0  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 03:26:45]
707*2^1467900-1 is not prime.  Res64: 58EE8B2979A640BC  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 03:26:50]
765*2^1467900-1 is not prime.  Res64: 17EDFD81E203FA74  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 03:26:54]
773*2^1467900-1 is not prime.  Res64: B1EFD92F718A9543  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 03:26:55]
779*2^1467900-1 is not prime.  Res64: E87FAB7467000DD2  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 03:26:56]
789*2^1467900-1 is not prime.  Res64: 4FCCEC9676DB8A75  Time : 0.0 sec.
user=odicin
[2017-08-07 03:30:44]
929*2^1467904-1 is not prime.  Res64: A22D8F7F4E0D960E  Time : 0.0 sec.
user=odicin
[2017-08-07 03:30:44]
989*2^1467904-1 is not prime.  Res64: 88BD11048CE1B2D8  Time : 0.0 sec.
user=odicin
[2017-08-07 03:42:00]
903*2^1467906-1 is not prime.  Res64: 51C521CF3E87C02F  Time : 0.0 sec.
user=odicin
[2017-08-07 03:42:02]
807*2^1467906-1 is not prime.  Res64: 78C4037317B11C82  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 03:42:59]
741*2^1467902-1 is not prime.  Res64: 5E1F26AF8A1A7E8E  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 03:43:01]
743*2^1467902-1 is not prime.  Res64: B32B90FDA6DC2212  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 03:43:03]
739*2^1467903-1 is not prime.  Res64: 77FE85D78383576B  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 03:43:04]
873*2^1467903-1 is not prime.  Res64: 1F40C2A674BBEDC3  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 03:43:04]
741*2^1467903-1 is not prime.  Res64: 983ECC79CA806B2E  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 03:43:05]
789*2^1467903-1 is not prime.  Res64: C224DB4764D4DA1C  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 03:43:06]
675*2^1467904-1 is not prime.  Res64: 55377D5EF6BD3524  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 03:43:08]
719*2^1467904-1 is not prime.  Res64: F916404B7EEAACE1  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 03:43:09]
759*2^1467904-1 is not prime.  Res64: CB528447B7155180  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 03:43:10]
807*2^1467904-1 is not prime.  Res64: 4B8A4A43D8F9F239  Time : 0.0 sec.
user=odicin
[2017-08-07 03:54:53]
751*2^1467907-1 is not prime.  Res64: A6029C39F96DBDE9  Time : 0.0 sec.
user=odicin
[2017-08-07 03:54:53]
915*2^1467907-1 is not prime.  Res64: 2A3A08192D9B7AB7  Time : 0.0 sec.
user=odicin
[2017-08-07 04:08:24]
609*2^1467909-1 is not prime.  Res64: 2783C04192B3BEB8  Time : 0.0 sec.
user=odicin
[2017-08-07 04:08:25]
655*2^1467909-1 is not prime.  Res64: 6771A9A674FFF66B  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 04:12:29]
995*2^1467904-1 is not prime.  Res64: 5A6588C7DFAF6EAD  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 04:12:29]
657*2^1467905-1 is not prime.  Res64: C57313CE00452825  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 04:12:29]
691*2^1467905-1 is not prime.  Res64: D4377EBA664754F6  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 04:12:30]
721*2^1467905-1 is not prime.  Res64: 76F406CE4D7736A9  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 04:12:30]
771*2^1467905-1 is not prime.  Res64: 535A513DCBE65DCB  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 04:13:00]
795*2^1467905-1 is not prime.  Res64: 2FCDBC92C269EEF6  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 04:13:01]
861*2^1467905-1 is not prime.  Res64: FD108411F64AB49C  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 04:13:01]
937*2^1467905-1 is not prime.  Res64: 0D627FA17C29B194  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 04:13:01]
627*2^1467906-1 is not prime.  Res64: 6EBD4E9353D44980  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 04:13:01]
633*2^1467906-1 is not prime.  Res64: 331223E792C08D4F  Time : 0.0 sec.
user=odicin
[2017-08-07 04:22:04]
829*2^1467909-1 is not prime.  Res64: 5DE272FEF6F728AC  Time : 0.0 sec.
user=odicin
[2017-08-07 04:22:04]
811*2^1467909-1 is not prime.  Res64: DB77D60A51B8D313  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 04:29:32]
635*2^1467908-1 is not prime.  Res64: 193E6AE48E818E2F  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 04:29:32]
647*2^1467908-1 is not prime.  Res64: E1F292EE410D569A  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 04:29:32]
683*2^1467908-1 is not prime.  Res64: B105DD5E745864E2  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 04:29:33]
875*2^1467908-1 is not prime.  Res64: 3B7D2CD097CF7543  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 04:29:33]
993*2^1467908-1 is not prime.  Res64: 16D8A3CF83CF206E  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 04:29:34]
983*2^1467906-1 is not prime.  Res64: 23FAE6BC431DE42C  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 04:29:34]
993*2^1467906-1 is not prime.  Res64: 56C07F0D62EA4B70  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 04:29:34]
645*2^1467907-1 is not prime.  Res64: 8E2C65ABD97E6C50  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 04:29:34]
681*2^1467907-1 is not prime.  Res64: 328F760DBBF30507  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 04:29:35]
693*2^1467907-1 is not prime.  Res64: A0175C370DC3E1FA  Time : 0.0 sec.
user=odicin
[2017-08-07 04:33:18]
689*2^1467912-1 is not prime.  Res64: 8E9853B71A0B8B09  Time : 0.0 sec.
user=odicin
[2017-08-07 04:33:19]
815*2^1467912-1 is not prime.  Res64: C7204039820BF4FC  Time : 0.0 sec.
user=odicin
[2017-08-07 04:44:32]
707*2^1467914-1 is not prime.  Res64: C4C8BF4760BE4123  Time : 0.0 sec.
user=odicin
[2017-08-07 04:44:32]
711*2^1467914-1 is not prime.  Res64: EEA7C36E8995A85D  Time : 0.0 sec.
user=odicin
[2017-08-07 04:55:46]
785*2^1467914-1 is not prime.  Res64: E76E1AE688A221C4  Time : 0.0 sec.
user=odicin
[2017-08-07 04:55:50]
873*2^1467914-1 is not prime.  Res64: 6B59F7C321781615  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 04:58:11]
919*2^1467909-1 is not prime.  Res64: 9D6382C035195956  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 04:58:11]
999*2^1467909-1 is not prime.  Res64: C5C34B4384F8E78E  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 04:58:11]
603*2^1467910-1 is not prime.  Res64: FAEB3445974B3E95  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 04:58:11]
645*2^1467910-1 is not prime.  Res64: B54133B62380547A  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 04:58:12]
777*2^1467910-1 is not prime.  Res64: 2BB89CC4DF3AA2BB  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 04:58:48]
785*2^1467910-1 is not prime.  Res64: 23595CB3B947B2DF  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 04:58:48]
791*2^1467910-1 is not prime.  Res64: 1A3606ABCD92020C  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 04:58:48]
813*2^1467910-1 is not prime.  Res64: 9E1F53CC9DF37F51  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 04:58:49]
867*2^1467910-1 is not prime.  Res64: 7BA79A14A007AB8A  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 04:58:49]
669*2^1467911-1 is not prime.  Res64: 0980D440C6BC864A  Time : 0.0 sec.
user=odicin
[2017-08-07 05:07:00]
921*2^1467914-1 is not prime.  Res64: DB15AB3DE0CB603B  Time : 0.0 sec.
user=odicin
[2017-08-07 05:07:03]
935*2^1467914-1 is not prime.  Res64: 53944A304DFCDBF7  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 05:15:08]
609*2^1467913-1 is not prime.  Res64: 266CED9F33447676  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 05:15:08]
699*2^1467913-1 is not prime.  Res64: DCE8FA9073327CDB  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 05:15:09]
721*2^1467913-1 is not prime.  Res64: 6B90146A4D40AB32  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 05:15:09]
771*2^1467913-1 is not prime.  Res64: AC516BBF479284F6  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 05:15:09]
801*2^1467913-1 is not prime.  Res64: 70808B29C47394EE  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 05:15:17]
889*2^1467913-1 is not prime.  Res64: 39B3F7340649CE35  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 05:15:17]
939*2^1467913-1 is not prime.  Res64: A06871EAFF2891AD  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 05:15:17]
979*2^1467913-1 is not prime.  Res64: 4EFF31DD5C16AE9D  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 05:15:18]
615*2^1467914-1 is not prime.  Res64: 94E2F84885627066  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 05:15:18]
645*2^1467914-1 is not prime.  Res64: 6F7F74772BFFA413  Time : 0.0 sec.
user=odicin
[2017-08-07 05:19:15]
987*2^1467916-1 is not prime.  Res64: 15B6C39038289894  Time : 0.0 sec.
user=odicin
[2017-08-07 05:19:15]
933*2^1467916-1 is not prime.  Res64: 335632BD1CD0AC24  Time : 0.0 sec.
user=odicin
[2017-08-07 05:30:29]
795*2^1467918-1 is not prime.  Res64: F32AF83DF876CC0F  Time : 0.0 sec.
user=odicin
[2017-08-07 05:30:29]
825*2^1467918-1 is not prime.  Res64: 9ACDAC1841879168  Time : 0.0 sec.
user=odicin
[2017-08-07 05:41:43]
867*2^1467918-1 is not prime.  Res64: 6301A5D312469D44  Time : 0.0 sec.
user=odicin
[2017-08-07 05:41:44]
885*2^1467918-1 is not prime.  Res64: 22CFDFD1B7952E1B  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 05:43:55]
971*2^1467914-1 is not prime.  Res64: 75BE6205DAE7CDD5  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 05:43:56]
663*2^1467915-1 is not prime.  Res64: 5AFC8F034B6121E0  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 05:43:56]
735*2^1467915-1 is not prime.  Res64: 444940D6FCED923C  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 05:43:56]
849*2^1467915-1 is not prime.  Res64: 1A1E5DA19E7A2077  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 05:43:56]
891*2^1467915-1 is not prime.  Res64: 27705F635D2836EE  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 05:44:41]
903*2^1467915-1 is not prime.  Res64: ACFE9F90A40C3737  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 05:44:41]
949*2^1467915-1 is not prime.  Res64: 37560F255BF19782  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 05:44:42]
675*2^1467916-1 is not prime.  Res64: 8133F3D838277255  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 05:44:42]
735*2^1467916-1 is not prime.  Res64: 878E8A6A8273236B  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 05:44:42]
927*2^1467916-1 is not prime.  Res64: 917EEF7B279303D2  Time : 0.0 sec.
user=odicin
[2017-08-07 05:52:57]
963*2^1467918-1 is not prime.  Res64: D93E1E6312D233FA  Time : 0.0 sec.
user=odicin
[2017-08-07 05:52:57]
893*2^1467918-1 is not prime.  Res64: FABAD62C7B488713  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 06:00:56]
985*2^1467917-1 is not prime.  Res64: 68C08466E253DA74  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 06:00:57]
991*2^1467917-1 is not prime.  Res64: 25D0129577D1B606  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 06:00:58]
641*2^1467918-1 is not prime.  Res64: 6133D730CAD529A4  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 06:00:58]
737*2^1467918-1 is not prime.  Res64: 53D9D16E3390E98B  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 06:00:59]
777*2^1467918-1 is not prime.  Res64: 2CB71C8AA5115FEC  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 06:01:00]
999*2^1467916-1 is not prime.  Res64: 706FF08F47DD9A56  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 06:01:01]
615*2^1467917-1 is not prime.  Res64: 217653E0DB9CC6DB  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 06:01:02]
769*2^1467917-1 is not prime.  Res64: 30753691CEBCAE18  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 06:01:03]
771*2^1467917-1 is not prime.  Res64: 21996B84DED5A363  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 06:01:05]
925*2^1467917-1 is not prime.  Res64: 6A254C4D8E02B0B8  Time : 0.0 sec.
user=odicin
[2017-08-07 06:04:10]
843*2^1467920-1 is not prime.  Res64: AA81F84DBF6138DA  Time : 0.0 sec.
user=odicin
[2017-08-07 06:04:10]
819*2^1467920-1 is not prime.  Res64: 1942B8B100418062  Time : 0.0 sec.
user=odicin
[2017-08-07 06:15:26]
753*2^1467923-1 is not prime.  Res64: F53D045FEC89C30C  Time : 0.0 sec.
user=odicin
[2017-08-07 06:15:26]
955*2^1467923-1 is not prime.  Res64: 7D45797725954FDD  Time : 0.0 sec.
user=odicin
[2017-08-07 06:27:02]
837*2^1467924-1 is not prime.  Res64: AF06E349FC601C6D  Time : 0.0 sec.
user=odicin
[2017-08-07 06:27:02]
773*2^1467924-1 is not prime.  Res64: 2DF1F1F065C58995  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 06:29:30]
975*2^1467918-1 is not prime.  Res64: CD80AC960768746F  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 06:29:30]
685*2^1467919-1 is not prime.  Res64: B2B85F31A95BE343  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 06:29:30]
763*2^1467919-1 is not prime.  Res64: CE59A3D4E7976634  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 06:29:31]
793*2^1467919-1 is not prime.  Res64: A4444C40982EA3BB  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 06:29:31]
829*2^1467919-1 is not prime.  Res64: 1D421AB9D8E385BD  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 06:30:15]
853*2^1467919-1 is not prime.  Res64: 1A0F987E4FD346D8  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 06:30:15]
925*2^1467919-1 is not prime.  Res64: 44E449048B5626BC  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 06:30:16]
663*2^1467920-1 is not prime.  Res64: FC6F94BEE1640052  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 06:30:16]
665*2^1467920-1 is not prime.  Res64: 5D8BFABC41140F8E  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 06:30:16]
725*2^1467920-1 is not prime.  Res64: 3D0794ED7E486BB2  Time : 0.0 sec.
user=odicin
[2017-08-07 06:38:17]
843*2^1467924-1 is not prime.  Res64: 234C9D5E4DC951BE  Time : 0.0 sec.
user=odicin
[2017-08-07 06:38:17]
863*2^1467924-1 is not prime.  Res64: 5F01C90FB0B66AE0  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 06:49:04]
657*2^1467922-1 is not prime.  Res64: 9A6153310FBBB034  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 06:49:04]
701*2^1467922-1 is not prime.  Res64: 63AF0155C4D76C7C  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 06:49:04]
857*2^1467922-1 is not prime.  Res64: BCEE1D1CE5C3F2CF  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 06:49:04]
951*2^1467922-1 is not prime.  Res64: 9C755A374005C229  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 06:49:05]
735*2^1467923-1 is not prime.  Res64: 9DE2F7DABE1DA4EE  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 06:49:19]
855*2^1467920-1 is not prime.  Res64: 422C87EB37FC0761  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 06:49:20]
983*2^1467920-1 is not prime.  Res64: 17AFFE2E9C8E30CF  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 06:49:20]
607*2^1467921-1 is not prime.  Res64: BFAA5EDA2DD46DBF  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 06:49:20]
889*2^1467921-1 is not prime.  Res64: 3E3539E01B44C022  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 06:49:20]
999*2^1467921-1 is not prime.  Res64: BFA2B9836193CE09  Time : 0.0 sec.
user=odicin
[2017-08-07 06:49:31]
859*2^1467927-1 is not prime.  Res64: DE8DCF1FAB1B8F77  Time : 0.0 sec.
user=odicin
[2017-08-07 06:49:31]
931*2^1467927-1 is not prime.  Res64: D0180CD26897EAC7  Time : 0.0 sec.
user=odicin
[2017-08-07 07:00:45]
727*2^1467929-1 is not prime.  Res64: AA5EFE698B93B150  Time : 0.0 sec.
user=odicin
[2017-08-07 07:00:45]
795*2^1467929-1 is not prime.  Res64: 5452032D30AC1DE1  Time : 0.0 sec.
user=odicin
[2017-08-07 07:12:20]
939*2^1467929-1 is not prime.  Res64: 8966FAC7E573EAC3  Time : 0.0 sec.
user=odicin
[2017-08-07 07:12:21]
967*2^1467929-1 is not prime.  Res64: 92EF80D4929D6231  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 07:15:54]
875*2^1467924-1 is not prime.  Res64: 84DDADA00958C84C  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 07:15:55]
893*2^1467924-1 is not prime.  Res64: 74DDCBAD4DC5A403  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 07:15:55]
909*2^1467924-1 is not prime.  Res64: E13DDBC0E0BB0423  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 07:15:56]
987*2^1467924-1 is not prime.  Res64: 0DEB3EC3D874A29A  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 07:15:56]
667*2^1467925-1 is not prime.  Res64: BA1E10A4704E6AD7  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 07:16:38]
715*2^1467925-1 is not prime.  Res64: CFB15EFF834D96A6  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 07:16:39]
751*2^1467925-1 is not prime.  Res64: 598748B1B148D400  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 07:16:40]
707*2^1467926-1 is not prime.  Res64: DADDD5DE2442A8FD  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 07:16:41]
917*2^1467926-1 is not prime.  Res64: 657DE8D9186C5E0A  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 07:16:43]
935*2^1467926-1 is not prime.  Res64: 5689B1CA3F9219A2  Time : 0.0 sec.
user=odicin
[2017-08-07 07:24:07]
773*2^1467930-1 is not prime.  Res64: 37307E7BEE13BF11  Time : 0.0 sec.
user=odicin
[2017-08-07 07:24:07]
803*2^1467930-1 is not prime.  Res64: 8DE009F2A9771679  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 07:34:50]
951*2^1467927-1 is not prime.  Res64: DB88BFA2906BC35D  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 07:34:50]
657*2^1467928-1 is not prime.  Res64: 653EFC44DFBD9344  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 07:34:51]
723*2^1467928-1 is not prime.  Res64: E237B6B7B7E8590B  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 07:34:51]
735*2^1467928-1 is not prime.  Res64: 5AD1527B8B99544C  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 07:34:51]
747*2^1467928-1 is not prime.  Res64: 4F8AEBAD30FB0626  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 07:35:10]
869*2^1467928-1 is not prime.  Res64: 4102588FB6A59AE1  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 07:35:11]
969*2^1467928-1 is not prime.  Res64: 038C2FEA7B576992  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 07:35:11]
999*2^1467928-1 is not prime.  Res64: 6B84B24B75A2191F  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 07:35:11]
649*2^1467929-1 is not prime.  Res64: D97B3E979F242B3C  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 07:35:11]
691*2^1467929-1 is not prime.  Res64: 6ED45B3A5BA2F428  Time : 0.0 sec.
user=odicin
[2017-08-07 07:35:22]
961*2^1467931-1 is not prime.  Res64: 8B0824BC4D07D525  Time : 0.0 sec.
user=odicin
[2017-08-07 07:35:22]
633*2^1467932-1 is not prime.  Res64: 4A1D58A92E5FA11D  Time : 0.0 sec.
user=odicin
[2017-08-07 07:46:35]
731*2^1467934-1 is not prime.  Res64: 55EEFD1CFAC1E4DB  Time : 0.0 sec.
user=odicin
[2017-08-07 07:46:36]
747*2^1467934-1 is not prime.  Res64: B798C7ED3C7AFAB5  Time : 0.0 sec.
user=odicin
[2017-08-07 07:57:50]
861*2^1467934-1 is not prime.  Res64: 1726C4F885FEBE7A  Time : 0.0 sec.
user=odicin
[2017-08-07 07:57:50]
957*2^1467934-1 is not prime.  Res64: F244440A1B3EB96D  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 08:01:27]
821*2^1467930-1 is not prime.  Res64: 3ADC37D49191E40F  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 08:01:28]
845*2^1467930-1 is not prime.  Res64: 85F04FEBC9DEC389  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 08:01:30]
927*2^1467930-1 is not prime.  Res64: 9D15479A393250D0  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 08:01:31]
625*2^1467931-1 is not prime.  Res64: 31797A119E11413B  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 08:01:32]
691*2^1467931-1 is not prime.  Res64: BA8689C0C742F4BA  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 08:02:23]
745*2^1467931-1 is not prime.  Res64: C635C9C0023F1E82  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 08:02:27]
789*2^1467931-1 is not prime.  Res64: 80FE7A6BEA6AC2BE  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 08:02:31]
841*2^1467931-1 is not prime.  Res64: 5FE45CDD19370AC7  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 08:02:32]
843*2^1467931-1 is not prime.  Res64: 0C7AFA567F11531E  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 08:02:34]
861*2^1467931-1 is not prime.  Res64: 6E9742F4B79128DE  Time : 0.0 sec.
user=odicin
[2017-08-07 08:09:05]
825*2^1467935-1 is not prime.  Res64: 1FBEBCF17D5F7C2B  Time : 0.0 sec.
user=odicin
[2017-08-07 08:09:05]
619*2^1467935-1 is not prime.  Res64: 212AA43857CC5D00  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 08:20:20]
777*2^1467932-1 is not prime.  Res64: C57AEB0EF8CCA398  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 08:20:20]
935*2^1467932-1 is not prime.  Res64: D9FA351B924D2866  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 08:20:21]
957*2^1467932-1 is not prime.  Res64: ED26306D15A4CCCE  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 08:20:21]
963*2^1467932-1 is not prime.  Res64: 7DD33A995EE37491  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 08:20:21]
995*2^1467932-1 is not prime.  Res64: 291AC747C6C8D3F5  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 08:20:39]
765*2^1467933-1 is not prime.  Res64: A55E1B5114A578E0  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 08:20:40]
817*2^1467933-1 is not prime.  Res64: F2E9BA4360C496FA  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 08:20:40]
837*2^1467933-1 is not prime.  Res64: B0CF7710300A2FC1  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 08:20:40]
847*2^1467933-1 is not prime.  Res64: 7A76CE078B861AE3  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 08:20:41]
969*2^1467933-1 is not prime.  Res64: DC2CE74608979971  Time : 0.0 sec.
user=odicin
[2017-08-07 08:20:45]
789*2^1467936-1 is not prime.  Res64: 0A852EB899A0C261  Time : 0.0 sec.
user=odicin
[2017-08-07 08:20:45]
947*2^1467936-1 is not prime.  Res64: 7D17568C2E6BF0A0  Time : 0.0 sec.
user=odicin
[2017-08-07 08:31:59]
755*2^1467938-1 is not prime.  Res64: A1688CFF1FB19ABC  Time : 0.0 sec.
user=odicin
[2017-08-07 08:31:59]
771*2^1467938-1 is not prime.  Res64: EDE69FA86A427702  Time : 0.0 sec.
user=odicin
[2017-08-07 08:43:15]
815*2^1467938-1 is not prime.  Res64: A1958F43247BBF02  Time : 0.0 sec.
user=odicin
[2017-08-07 08:43:16]
843*2^1467938-1 is not prime.  Res64: 623452736C3105A2  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 08:48:22]
861*2^1467935-1 is not prime.  Res64: 84E52E3A7A70644F  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 08:48:22]
909*2^1467935-1 is not prime.  Res64: A827C76E2EE70D30  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 08:48:22]
939*2^1467935-1 is not prime.  Res64: 276AF30A2E044281  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 08:48:23]
943*2^1467935-1 is not prime.  Res64: 7EB2E1F05037DB9C  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 08:48:23]
963*2^1467935-1 is not prime.  Res64: 7733D75799B63388  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 08:48:35]
973*2^1467935-1 is not prime.  Res64: 49BEF99D623896E5  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 08:48:35]
669*2^1467936-1 is not prime.  Res64: 6BEAFF62985FA88D  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 08:48:35]
689*2^1467936-1 is not prime.  Res64: A9B827CF81E0B226  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 08:48:35]
693*2^1467936-1 is not prime.  Res64: F4AE5CB255E9B128  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 08:48:36]
759*2^1467936-1 is not prime.  Res64: A262B67102D4B0E4  Time : 0.0 sec.
user=odicin
[2017-08-07 08:54:29]
887*2^1467938-1 is not prime.  Res64: 43A26FBF84401C00  Time : 0.0 sec.
user=odicin
[2017-08-07 08:54:29]
951*2^1467938-1 is not prime.  Res64: B1D9135FD8823EB7  Time : 0.0 sec.
user=odicin
[2017-08-07 09:05:43]
813*2^1467940-1 is not prime.  Res64: 99441060BB0DAE9A  Time : 0.0 sec.
user=odicin
[2017-08-07 09:05:43]
825*2^1467940-1 is not prime.  Res64: 02D581213F5B5B83  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 09:06:06]
645*2^1467937-1 is not prime.  Res64: 03137512F14D1511  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 09:06:07]
747*2^1467937-1 is not prime.  Res64: 0E2387CB116D1A99  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 09:06:08]
819*2^1467937-1 is not prime.  Res64: 23D4BA5D65279C14  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 09:06:10]
841*2^1467937-1 is not prime.  Res64: 635EAA0C72B9E142  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 09:06:11]
861*2^1467937-1 is not prime.  Res64: F3415108BEED5549  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 09:06:19]
895*2^1467937-1 is not prime.  Res64: 4E1C265D063B37F4  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 09:06:21]
919*2^1467937-1 is not prime.  Res64: 6B66E3969152B00A  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 09:06:23]
955*2^1467937-1 is not prime.  Res64: 3A0D00D75C7D51F5  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 09:06:23]
617*2^1467938-1 is not prime.  Res64: 78B364A3E8AB95C2  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 09:06:25]
753*2^1467938-1 is not prime.  Res64: 66DA24B42DFB8C15  Time : 0.0 sec.
user=odicin
[2017-08-07 09:19:53]
761*2^1467942-1 is not prime.  Res64: 3BB4B190FA4312B0  Time : 0.0 sec.
user=odicin
[2017-08-07 09:19:53]
675*2^1467941-1 is not prime.  Res64: 8F820C209D987925  Time : 0.0 sec.
user=odicin
[2017-08-07 09:31:09]
875*2^1467942-1 is not prime.  Res64: 709A74AEED64C1DB  Time : 0.0 sec.
user=odicin
[2017-08-07 09:31:10]
863*2^1467942-1 is not prime.  Res64: D69BEB1A95E03365  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 09:33:56]
971*2^1467938-1 is not prime.  Res64: 7FB3B6416DE59E89  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 09:33:56]
609*2^1467939-1 is not prime.  Res64: 2971567FF2EF8E10  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 09:33:57]
685*2^1467939-1 is not prime.  Res64: 6099D062DDC7EC50  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 09:33:57]
823*2^1467939-1 is not prime.  Res64: BB5A5D1A94352917  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 09:33:57]
853*2^1467939-1 is not prime.  Res64: 2528A1BC0B878FD7  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 09:34:17]
859*2^1467939-1 is not prime.  Res64: 5BC828E709C3623B  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 09:34:17]
961*2^1467939-1 is not prime.  Res64: 21525282B96FBD07  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 09:34:17]
985*2^1467939-1 is not prime.  Res64: 6EA15510225C5565  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 09:34:18]
653*2^1467940-1 is not prime.  Res64: 1BF64511309D8FA3  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 09:34:18]
717*2^1467940-1 is not prime.  Res64: C9BB7DDDE60AA8B7  Time : 0.0 sec.
user=odicin
[2017-08-07 09:42:25]
941*2^1467942-1 is not prime.  Res64: 37E39384F28C3ACD  Time : 0.0 sec.
user=odicin
[2017-08-07 09:42:25]
723*2^1467943-1 is not prime.  Res64: D9618E5F930B8E9E  Time : 0.0 sec.
user=odicin
[2017-08-07 09:53:37]
795*2^1467945-1 is not prime.  Res64: 2F15AD7108B30287  Time : 0.0 sec.
user=odicin
[2017-08-07 09:53:38]
847*2^1467945-1 is not prime.  Res64: 6BAB2EFC69B51A3D  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 09:54:17]
879*2^1467941-1 is not prime.  Res64: B3F80072FB88C76F  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 09:54:17]
885*2^1467941-1 is not prime.  Res64: D25FE980B9050222  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 09:54:17]
901*2^1467941-1 is not prime.  Res64: 93523F713737EA7F  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 09:54:17]
951*2^1467941-1 is not prime.  Res64: 55EBB8F8070A958B  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 09:54:18]
725*2^1467942-1 is not prime.  Res64: C5CE78AF02E8A317  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 09:54:20]
905*2^1467940-1 is not prime.  Res64: 4622946E7027DC96  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 09:54:21]
927*2^1467940-1 is not prime.  Res64: 0E88CBC981F584A7  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 09:54:21]
929*2^1467940-1 is not prime.  Res64: 980E221C66ABA8A1  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 09:54:21]
983*2^1467940-1 is not prime.  Res64: E2B4851371C2A4F2  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 09:54:21]
769*2^1467941-1 is not prime.  Res64: 744F238C3796382C  Time : 0.0 sec.
user=odicin
[2017-08-07 10:04:57]
895*2^1467945-1 is not prime.  Res64: 846376816C34664C  Time : 0.0 sec.
user=odicin
[2017-08-07 10:04:57]
951*2^1467945-1 is not prime.  Res64: B6A663A0120DAF4E  Time : 0.0 sec.
user=odicin
[2017-08-07 10:17:32]
733*2^1467947-1 is not prime.  Res64: DE3C5F9BA9483E2A  Time : 0.0 sec.
user=odicin
[2017-08-07 10:17:32]
615*2^1467947-1 is not prime.  Res64: F0966347FFCF2362  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 10:19:33]
765*2^1467943-1 is not prime.  Res64: 84D4AB9898729472  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 10:19:33]
805*2^1467943-1 is not prime.  Res64: 9DBCD7519336AE62  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 10:19:34]
915*2^1467943-1 is not prime.  Res64: 07F8D26EDDAF44B1  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 10:19:34]
993*2^1467943-1 is not prime.  Res64: FC3EC2D682135D31  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 10:19:34]
629*2^1467944-1 is not prime.  Res64: 33FD138F90119F6E  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 10:19:59]
813*2^1467944-1 is not prime.  Res64: 59AC2F859D0C26E4  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 10:19:59]
897*2^1467944-1 is not prime.  Res64: 37662BF8178592DC  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 10:19:59]
917*2^1467944-1 is not prime.  Res64: 29758A8261E8D3FB  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 10:20:00]
705*2^1467945-1 is not prime.  Res64: 111648B266898355  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 10:20:00]
711*2^1467945-1 is not prime.  Res64: 0A68FEDF1A6280F0  Time : 0.0 sec.
user=odicin
[2017-08-07 10:28:59]
665*2^1467948-1 is not prime.  Res64: BCCA47F13FAE699B  Time : 0.0 sec.
user=odicin
[2017-08-07 10:29:01]
725*2^1467948-1 is not prime.  Res64: 6D8A85C9175597B5  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 10:39:48]
645*2^1467946-1 is not prime.  Res64: A7F36ABB3E295DD2  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 10:39:48]
651*2^1467946-1 is not prime.  Res64: 6E9B16275C8B467F  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 10:39:49]
765*2^1467946-1 is not prime.  Res64: 38FC4C6742D9A284  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 10:39:49]
783*2^1467946-1 is not prime.  Res64: 47549765E03DFCB7  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 10:39:49]
813*2^1467946-1 is not prime.  Res64: 3F4A5526ACDA4623  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 10:39:54]
825*2^1467946-1 is not prime.  Res64: F68F55E7062EFAD7  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 10:39:54]
843*2^1467946-1 is not prime.  Res64: 39CF915975174877  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 10:39:54]
861*2^1467946-1 is not prime.  Res64: B4D3BEAC6D13F2C3  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 10:39:54]
887*2^1467946-1 is not prime.  Res64: 1D2E91886FC5ABFA  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 10:39:55]
601*2^1467947-1 is not prime.  Res64: 8748B2613526CFAA  Time : 0.0 sec.
user=odicin
[2017-08-07 10:40:12]
817*2^1467949-1 is not prime.  Res64: 9A990FA208D628D6  Time : 0.0 sec.
user=odicin
[2017-08-07 10:40:13]
897*2^1467949-1 is not prime.  Res64: 7321A13AB35D7B02  Time : 0.0 sec.
user=odicin
[2017-08-07 10:51:25]
951*2^1467950-1 is not prime.  Res64: D512714C10B1DD8A  Time : 0.0 sec.
user=odicin
[2017-08-07 10:51:26]
615*2^1467951-1 is not prime.  Res64: CEF20D3FC1BEFF92  Time : 0.0 sec.
user=odicin
[2017-08-07 11:02:40]
619*2^1467951-1 is not prime.  Res64: A45A1DF831755488  Time : 0.0 sec.
user=odicin
[2017-08-07 11:02:41]
625*2^1467951-1 is not prime.  Res64: 5DC25893B3E1D6F5  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 11:05:20]
783*2^1467948-1 is not prime.  Res64: 45ACFEF2D9091563  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 11:05:21]
837*2^1467948-1 is not prime.  Res64: 47D3EE3A6149C67E  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 11:05:22]
839*2^1467948-1 is not prime.  Res64: C2C38D9DE773DCA8  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 11:05:23]
915*2^1467948-1 is not prime.  Res64: 30D1C0F73DC9F3D8  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 11:05:24]
927*2^1467948-1 is not prime.  Res64: 5C914C9745406B6A  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 11:05:35]
929*2^1467948-1 is not prime.  Res64: 2596947C6760A36E  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 11:05:37]
959*2^1467948-1 is not prime.  Res64: 643BBCB2BB49652D  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 11:05:38]
615*2^1467949-1 is not prime.  Res64: 835549C0C905E81C  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 11:05:39]
751*2^1467949-1 is not prime.  Res64: 415B79662E2BE80C  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 11:05:39]
769*2^1467949-1 is not prime.  Res64: 56D418105D22DD11  Time : 0.0 sec.
user=odicin
[2017-08-07 11:14:21]
783*2^1467951-1 is not prime.  Res64: 0F189F27A28464E1  Time : 0.0 sec.
user=odicin
[2017-08-07 11:14:21]
781*2^1467951-1 is not prime.  Res64: 031DEFDBCD4E7634  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 11:25:41]
997*2^1467949-1 is not prime.  Res64: 6E6C17649DC532AD  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 11:25:41]
651*2^1467950-1 is not prime.  Res64: FEB0D01907FA7D6D  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 11:25:42]
663*2^1467950-1 is not prime.  Res64: 19EEC59ACF459F33  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 11:25:42]
843*2^1467950-1 is not prime.  Res64: A6A322EA1742A6EF  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 11:25:42]
755*2^1467950-1 is not prime.  Res64: 7BEB261AF120BE5B  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 11:25:42]
857*2^1467950-1 is not prime.  Res64: E85EF82F6CD20831  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 11:25:42]
813*2^1467950-1 is not prime.  Res64: 59B77B48CD3005A7  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 11:25:42]
861*2^1467950-1 is not prime.  Res64: 93F560CAAE59173C  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 11:25:42]
927*2^1467950-1 is not prime.  Res64: D5C3447794699B59  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 11:25:43]
941*2^1467950-1 is not prime.  Res64: 47F31C982845D18D  Time : 0.0 sec.
user=odicin
[2017-08-07 11:25:50]
657*2^1467953-1 is not prime.  Res64: AED0040DB0FA20D5  Time : 0.0 sec.
user=odicin
[2017-08-07 11:25:51]
861*2^1467953-1 is not prime.  Res64: 0D4F85BCD450149C  Time : 0.0 sec.
user=odicin
[2017-08-07 11:37:03]
715*2^1467955-1 is not prime.  Res64: 7EC22A6BD373510E  Time : 0.0 sec.
user=odicin
[2017-08-07 11:37:04]
775*2^1467955-1 is not prime.  Res64: 3431D1772939E323  Time : 0.0 sec.
user=odicin
[2017-08-07 11:48:18]
861*2^1467955-1 is not prime.  Res64: D2C642E6954F5F11  Time : 0.0 sec.
user=odicin
[2017-08-07 11:48:18]
783*2^1467955-1 is not prime.  Res64: 696748F81F852DC0  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 11:51:08]
885*2^1467951-1 is not prime.  Res64: DDE35364703FCA9A  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 11:51:08]
961*2^1467951-1 is not prime.  Res64: 809A9BD2BACA5CA0  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 11:51:08]
975*2^1467951-1 is not prime.  Res64: ABCAC6340310C7D2  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 11:51:08]
623*2^1467952-1 is not prime.  Res64: 7A9B0FF75490E37E  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 11:51:09]
639*2^1467952-1 is not prime.  Res64: 047AB628D119F9BF  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 11:51:22]
645*2^1467952-1 is not prime.  Res64: 4DF1E77E6A508C0E  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 11:51:22]
653*2^1467952-1 is not prime.  Res64: ECD4E7A743566D17  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 11:51:22]
717*2^1467952-1 is not prime.  Res64: D5484DE1F9BB0B46  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 11:51:22]
797*2^1467952-1 is not prime.  Res64: 8CBA04FDEB5040C9  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 11:51:23]
843*2^1467952-1 is not prime.  Res64: 68DDB97D299FB749  Time : 0.0 sec.
user=odicin
[2017-08-07 11:59:31]
909*2^1467955-1 is not prime.  Res64: 639D87086094321E  Time : 0.0 sec.
user=odicin
[2017-08-07 11:59:31]
999*2^1467955-1 is not prime.  Res64: 7E117089561BB692  Time : 0.0 sec.
user=odicin
[2017-08-07 12:10:45]
835*2^1467957-1 is not prime.  Res64: 302C612AF48CCC85  Time : 0.0 sec.
user=odicin
[2017-08-07 12:10:45]
895*2^1467957-1 is not prime.  Res64: 17ACB8D67C9B5D84  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 12:11:18]
949*2^1467953-1 is not prime.  Res64: C58BD9289F9CC2CD  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 12:11:18]
621*2^1467954-1 is not prime.  Res64: 9D4CEDA59EEE87AB  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 12:11:18]
633*2^1467954-1 is not prime.  Res64: 87389EAB08734C3C  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 12:11:18]
791*2^1467954-1 is not prime.  Res64: C51B3CF9F4A624D0  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 12:11:19]
803*2^1467954-1 is not prime.  Res64: 823F412CEDFFB317  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 12:11:19]
807*2^1467954-1 is not prime.  Res64: C9B87D1CDF13DB38  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 12:11:19]
851*2^1467954-1 is not prime.  Res64: F5E964C24776C20D  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 12:11:19]
891*2^1467954-1 is not prime.  Res64: 0A106522A61F055F  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 12:11:20]
649*2^1467955-1 is not prime.  Res64: 199ED5F2528588C2  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 12:11:20]
709*2^1467955-1 is not prime.  Res64: AD53718A9DF84675  Time : 0.0 sec.
user=odicin
[2017-08-07 12:22:12]
927*2^1467957-1 is not prime.  Res64: 0111B23B41F15BF4  Time : 0.0 sec.
user=odicin
[2017-08-07 12:22:15]
901*2^1467957-1 is not prime.  Res64: D5AB395EB0FA19D2  Time : 0.0 sec.
user=odicin
[2017-08-07 12:33:26]
885*2^1467959-1 is not prime.  Res64: B1682857ACA429D0  Time : 0.0 sec.
user=odicin
[2017-08-07 12:33:30]
689*2^1467960-1 is not prime.  Res64: 3DE5E822BD643C67  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 12:36:50]
617*2^1467956-1 is not prime.  Res64: EA2871F8AB1FC2D7  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 12:36:51]
669*2^1467956-1 is not prime.  Res64: 9B1DC239F12724CF  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 12:36:51]
843*2^1467956-1 is not prime.  Res64: A7E769C5CD3F7923  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 12:36:51]
867*2^1467956-1 is not prime.  Res64: B4887FB697AE8F54  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 12:36:51]
875*2^1467956-1 is not prime.  Res64: E99395EDDB41C062  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 12:36:54]
903*2^1467956-1 is not prime.  Res64: E037631159069287  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 12:36:54]
945*2^1467956-1 is not prime.  Res64: 249EBE9FA586F2C6  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 12:36:54]
969*2^1467956-1 is not prime.  Res64: 4DEDE907988E8711  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 12:36:54]
999*2^1467956-1 is not prime.  Res64: E8D7B9E2EF5495B1  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 12:36:55]
621*2^1467957-1 is not prime.  Res64: 45A4887A4D3247E6  Time : 0.0 sec.
user=odicin
[2017-08-07 12:44:41]
735*2^1467960-1 is not prime.  Res64: 887369B81E879AE5  Time : 0.0 sec.
user=odicin
[2017-08-07 12:44:48]
983*2^1467960-1 is not prime.  Res64: 4C4336A277CAB02D  Time : 0.0 sec.
user=odicin
[2017-08-07 12:55:52]
747*2^1467962-1 is not prime.  Res64: DBD0CFE8A9538C98  Time : 0.0 sec.
user=odicin
[2017-08-07 12:56:00]
857*2^1467962-1 is not prime.  Res64: 30106D66ADA1082A  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 12:56:58]
827*2^1467958-1 is not prime.  Res64: 81B4B48724FD6881  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 12:56:58]
843*2^1467958-1 is not prime.  Res64: 01B74F6002E371F7  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 12:56:58]
897*2^1467958-1 is not prime.  Res64: CAA7FEE636091761  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 12:56:58]
993*2^1467958-1 is not prime.  Res64: C485FBC327D1C2BD  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 12:56:58]
663*2^1467959-1 is not prime.  Res64: F25E17C096B42414  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 12:57:03]
669*2^1467959-1 is not prime.  Res64: F8ED5E14213E244B  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 12:57:03]
703*2^1467959-1 is not prime.  Res64: 0366E984362569D5  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 12:57:03]
735*2^1467959-1 is not prime.  Res64: AD1FD1B3D63EA4B1  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 12:57:03]
745*2^1467959-1 is not prime.  Res64: 65F1FD5D91A99553  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 12:57:03]
771*2^1467959-1 is not prime.  Res64: CB7414F906414D61  Time : 0.0 sec.
user=odicin
[2017-08-07 13:07:06]
923*2^1467962-1 is not prime.  Res64: B8973022C4410669  Time : 0.0 sec.
user=odicin
[2017-08-07 13:07:13]
995*2^1467962-1 is not prime.  Res64: B354BE18AF0057CD  Time : 0.0 sec.
user=odicin
[2017-08-07 13:18:36]
875*2^1467964-1 is not prime.  Res64: 427E0618A44B1EDC  Time : 0.0 sec.
user=odicin
[2017-08-07 13:18:37]
857*2^1467964-1 is not prime.  Res64: 3DED2FEC489A107C  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 13:22:36]
651*2^1467961-1 is not prime.  Res64: EAA029AB04B76EF6  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 13:22:37]
675*2^1467961-1 is not prime.  Res64: FA489A9D62CA0BEF  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 13:22:37]
687*2^1467961-1 is not prime.  Res64: D52E978C810F247F  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 13:22:37]
855*2^1467961-1 is not prime.  Res64: 334F6944A0525F77  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 13:22:37]
705*2^1467961-1 is not prime.  Res64: 1BBAA3AFA401FFB9  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 13:22:37]
861*2^1467961-1 is not prime.  Res64: B3044C1146DA8959  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 13:22:37]
871*2^1467961-1 is not prime.  Res64: 4AD1DD96A735635C  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 13:22:37]
847*2^1467961-1 is not prime.  Res64: F6BD8D572F38FEE1  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 13:22:38]
937*2^1467961-1 is not prime.  Res64: 3279C75FFCAA014D  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 13:22:38]
657*2^1467962-1 is not prime.  Res64: 08E17227EEE5ABDD  Time : 0.0 sec.
user=odicin
[2017-08-07 13:29:53]
651*2^1467965-1 is not prime.  Res64: EFC487DDA82A8DB2  Time : 0.0 sec.
user=odicin
[2017-08-07 13:29:53]
685*2^1467965-1 is not prime.  Res64: 30C8FA7EB76497BE  Time : 0.0 sec.
user=odicin
[2017-08-07 13:41:09]
729*2^1467967-1 is not prime.  Res64: B1E9C964341493F2  Time : 0.0 sec.
user=odicin
[2017-08-07 13:41:09]
685*2^1467967-1 is not prime.  Res64: 08960B494424088E  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 13:42:39]
669*2^1467963-1 is not prime.  Res64: 99856C588CE721D1  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 13:42:39]
739*2^1467963-1 is not prime.  Res64: 6BEBA204720DADC3  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 13:42:39]
781*2^1467963-1 is not prime.  Res64: 7B1DFDD22534E565  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 13:42:39]
805*2^1467963-1 is not prime.  Res64: 9358AC27AE6C683B  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 13:42:39]
823*2^1467963-1 is not prime.  Res64: 417ACC57D7DCA39A  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 13:42:46]
849*2^1467963-1 is not prime.  Res64: 1D8DD7CFDC744A94  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 13:42:46]
861*2^1467963-1 is not prime.  Res64: DDE3BC237EDB39A6  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 13:42:47]
991*2^1467963-1 is not prime.  Res64: DE24EFB5CFE2483E  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 13:42:47]
609*2^1467964-1 is not prime.  Res64: 6612B4E1F9E42D8E  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 13:42:47]
755*2^1467964-1 is not prime.  Res64: 59E0507446AEC9A9  Time : 0.0 sec.
user=odicin
[2017-08-07 13:52:21]
861*2^1467967-1 is not prime.  Res64: D9221586E9253212  Time : 0.0 sec.
user=odicin
[2017-08-07 13:52:23]
901*2^1467967-1 is not prime.  Res64: 446CCC571E74E898  Time : 0.0 sec.
user=odicin
[2017-08-07 14:03:37]
817*2^1467969-1 is not prime.  Res64: BB6CBC6D776B298B  Time : 0.0 sec.
user=odicin
[2017-08-07 14:03:39]
835*2^1467969-1 is not prime.  Res64: C5ED08A94E4E579F  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 14:08:11]
761*2^1467966-1 is not prime.  Res64: 83DD14AC9B69DF88  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 14:08:11]
783*2^1467966-1 is not prime.  Res64: 1E1ED8CCF70E84E1  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 14:08:11]
807*2^1467966-1 is not prime.  Res64: D29BB3BDDC08EDEF  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 14:08:11]
933*2^1467966-1 is not prime.  Res64: 62568DB3C8499D50  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 14:08:12]
675*2^1467967-1 is not prime.  Res64: 14F374000B217967  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 14:08:15]
715*2^1467965-1 is not prime.  Res64: 9782B4A2E5A88AD4  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 14:08:15]
727*2^1467965-1 is not prime.  Res64: E26E4B27A3A7B87B  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 14:08:15]
805*2^1467965-1 is not prime.  Res64: 318FBBEFE6D6EF63  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 14:08:15]
647*2^1467966-1 is not prime.  Res64: 001155B8A685AF68  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 14:08:16]
737*2^1467966-1 is not prime.  Res64: 5A78EFFF4F265332  Time : 0.0 sec.
user=odicin
[2017-08-07 14:18:02]
867*2^1467969-1 is not prime.  Res64: B5E336A9D852D43F  Time : 0.0 sec.
user=odicin
[2017-08-07 14:18:02]
635*2^1467970-1 is not prime.  Res64: EB9A076B06B2E905  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 14:28:11]
909*2^1467967-1 is not prime.  Res64: F2FD990492C24903  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 14:28:11]
913*2^1467967-1 is not prime.  Res64: 072CDD2913700992  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 14:28:12]
933*2^1467967-1 is not prime.  Res64: 6E39F9DD0A8930A6  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 14:28:12]
669*2^1467968-1 is not prime.  Res64: 70F9E6D09512BA3C  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 14:28:12]
615*2^1467969-1 is not prime.  Res64: 30C5B03E17077855  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 14:28:21]
625*2^1467969-1 is not prime.  Res64: 0F1CE26BE7E9A9E3  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 14:28:21]
705*2^1467969-1 is not prime.  Res64: 71B4532B1BB9B160  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 14:28:21]
727*2^1467969-1 is not prime.  Res64: 834E3931272877AD  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 14:28:21]
747*2^1467969-1 is not prime.  Res64: 9298EC45666A8510  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 14:28:21]
751*2^1467969-1 is not prime.  Res64: 9B778F838AF0103C  Time : 0.0 sec.
user=odicin
[2017-08-07 14:29:34]
903*2^1467971-1 is not prime.  Res64: 20AC6386B5B8F493  Time : 0.0 sec.
user=odicin
[2017-08-07 14:29:35]
921*2^1467971-1 is not prime.  Res64: 56B7D9C611FD6B47  Time : 0.0 sec.
user=odicin
[2017-08-07 14:40:48]
675*2^1467974-1 is not prime.  Res64: A2F3DF6AE06CF099  Time : 0.0 sec.
user=odicin
[2017-08-07 14:40:48]
885*2^1467974-1 is not prime.  Res64: 4A383C7A2E31A715  Time : 0.0 sec.
user=odicin
[2017-08-07 14:52:02]
685*2^1467975-1 is not prime.  Res64: 53E2F14F8A1A9DDA  Time : 0.0 sec.
user=odicin
[2017-08-07 14:52:03]
941*2^1467974-1 is not prime.  Res64: 23F0547A6DB1E34C  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 14:53:53]
645*2^1467970-1 is not prime.  Res64: 7225C9E18DFD8A1E  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 14:53:53]
765*2^1467970-1 is not prime.  Res64: 14B6BC82AFDCA169  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 14:53:53]
867*2^1467970-1 is not prime.  Res64: 36E437364044A591  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 14:53:54]
885*2^1467970-1 is not prime.  Res64: 44B8C2FF83DC2064  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 14:53:54]
945*2^1467970-1 is not prime.  Res64: 15B6FD820254A494  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 14:53:57]
981*2^1467970-1 is not prime.  Res64: 453BE71B87C01117  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 14:53:57]
1001*2^1467970-1 is not prime.  Res64: DCA3D3E35F7E3681  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 14:53:57]
651*2^1467971-1 is not prime.  Res64: 9CF0A2658A2B297A  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 14:53:57]
663*2^1467971-1 is not prime.  Res64: B42FC9F67819BC92  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 14:53:58]
811*2^1467971-1 is not prime.  Res64: F517C195BAD05CDA  Time : 0.0 sec.
user=odicin
[2017-08-07 15:03:18]
871*2^1467975-1 is not prime.  Res64: 104F7BFA37B02BC3  Time : 0.0 sec.
user=odicin
[2017-08-07 15:03:19]
711*2^1467975-1 is not prime.  Res64: AC24F10555A31F17  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 15:13:55]
615*2^1467972-1 is not prime.  Res64: 54F9C89C894F2103  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 15:13:55]
767*2^1467972-1 is not prime.  Res64: 7B13A8AE9409E579  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 15:13:55]
899*2^1467972-1 is not prime.  Res64: 8B65AFB2CE1F39CA  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 15:13:56]
959*2^1467972-1 is not prime.  Res64: F1D56DF814F32B02  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 15:13:56]
699*2^1467973-1 is not prime.  Res64: B7E817FFDDF5CB54  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 15:14:12]
819*2^1467973-1 is not prime.  Res64: DB778A1ECA5FA7CA  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 15:14:13]
835*2^1467973-1 is not prime.  Res64: 3B1B767A4D346C72  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 15:14:13]
855*2^1467973-1 is not prime.  Res64: 134382CAAF890DE8  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 15:14:13]
967*2^1467973-1 is not prime.  Res64: 4AE0A7057A375315  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 15:14:14]
663*2^1467974-1 is not prime.  Res64: CC85D20CDD7E6FEA  Time : 0.0 sec.
user=odicin
[2017-08-07 15:16:30]
989*2^1467976-1 is not prime.  Res64: 19AB190EBE1535FB  Time : 0.0 sec.
user=odicin
[2017-08-07 15:16:30]
993*2^1467976-1 is not prime.  Res64: 6F6E617007B82ABF  Time : 0.0 sec.
user=odicin
[2017-08-07 15:27:43]
797*2^1467978-1 is not prime.  Res64: 0AB97C3870F697D2  Time : 0.0 sec.
user=odicin
[2017-08-07 15:27:43]
1001*2^1467978-1 is not prime.  Res64: B67566124399C84F  Time : 0.0 sec.
user=odicin
[2017-08-07 15:38:56]
691*2^1467979-1 is not prime.  Res64: ABF626BF05738163  Time : 0.0 sec.
user=odicin
[2017-08-07 15:38:56]
679*2^1467979-1 is not prime.  Res64: 68C948BB737556AD  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 15:39:43]
833*2^1467976-1 is not prime.  Res64: BEF478E213A029E6  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 15:39:43]
843*2^1467976-1 is not prime.  Res64: 2BDB7C9E80024E93  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 15:39:43]
845*2^1467976-1 is not prime.  Res64: 4B6D598E88045D70  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 15:39:43]
909*2^1467976-1 is not prime.  Res64: A183FC7C33C5F488  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 15:39:44]
939*2^1467976-1 is not prime.  Res64: 54DA84E4E0A3AB3B  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 15:39:47]
949*2^1467975-1 is not prime.  Res64: 03C027A8A90D0F9A  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 15:39:47]
963*2^1467975-1 is not prime.  Res64: FE38431249A4AE99  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 15:39:47]
617*2^1467976-1 is not prime.  Res64: A28D34DF40294DA6  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 15:39:48]
707*2^1467976-1 is not prime.  Res64: 4AA2FF902E93DA90  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 15:39:48]
779*2^1467976-1 is not prime.  Res64: 52A5721331322199  Time : 0.0 sec.
user=odicin
[2017-08-07 15:50:11]
789*2^1467979-1 is not prime.  Res64: 719F737EFAEAB029  Time : 0.0 sec.
user=odicin
[2017-08-07 15:50:11]
733*2^1467979-1 is not prime.  Res64: 387DEC5792E1777E  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 15:59:42]
615*2^1467977-1 is not prime.  Res64: 2A8D2681AEDB8F46  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 15:59:42]
669*2^1467977-1 is not prime.  Res64: 72ADDF3585F99794  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 15:59:42]
805*2^1467977-1 is not prime.  Res64: 333651F527BB0BFC  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 15:59:43]
831*2^1467977-1 is not prime.  Res64: 6F9E151915223221  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 15:59:43]
841*2^1467977-1 is not prime.  Res64: FB0097003779C71E  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 15:59:50]
847*2^1467977-1 is not prime.  Res64: 4782218C15B848A6  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 15:59:50]
871*2^1467977-1 is not prime.  Res64: A7FA0100BC9A4389  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 15:59:51]
925*2^1467977-1 is not prime.  Res64: 044B3D194ECD3D3E  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 15:59:51]
957*2^1467977-1 is not prime.  Res64: 13230DFEBA28E9DA  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 15:59:51]
707*2^1467978-1 is not prime.  Res64: 755F03B6F4960EF0  Time : 0.0 sec.
user=odicin
[2017-08-07 16:01:29]
837*2^1467981-1 is not prime.  Res64: 39265D82DF94339B  Time : 0.0 sec.
user=odicin
[2017-08-07 16:01:30]
859*2^1467981-1 is not prime.  Res64: D8CD469CF1A6209C  Time : 0.0 sec.
user=odicin
[2017-08-07 16:12:44]
887*2^1467984-1 is not prime.  Res64: 388066F046C134E7  Time : 0.0 sec.
user=odicin
[2017-08-07 16:12:45]
899*2^1467984-1 is not prime.  Res64: E643DB73E76543A5  Time : 0.0 sec.
user=odicin
[2017-08-07 16:24:01]
645*2^1467985-1 is not prime.  Res64: D0AFE350807424E8  Time : 0.0 sec.
user=odicin
[2017-08-07 16:24:01]
915*2^1467984-1 is not prime.  Res64: 89FD506A22541081  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 16:25:18]
773*2^1467980-1 is not prime.  Res64: 2C1F5FAA3A4A44B8  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 16:25:18]
785*2^1467980-1 is not prime.  Res64: 17224C3810595278  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 16:25:18]
855*2^1467980-1 is not prime.  Res64: F1E8E35D2AC600D0  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 16:25:18]
925*2^1467979-1 is not prime.  Res64: 53DBD6358509FF16  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 16:25:18]
747*2^1467981-1 is not prime.  Res64: 8A5D0BF6412175C1  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 16:25:19]
951*2^1467979-1 is not prime.  Res64: D1CFDED0194538C1  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 16:25:19]
789*2^1467981-1 is not prime.  Res64: ADAB23774725317E  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 16:25:19]
633*2^1467980-1 is not prime.  Res64: 4407971DE877D040  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 16:25:19]
635*2^1467980-1 is not prime.  Res64: 96B9C48289F1E3FB  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 16:25:19]
669*2^1467980-1 is not prime.  Res64: 8E0DA3BFEB235D90  Time : 0.0 sec.
user=odicin
[2017-08-07 16:35:18]
759*2^1467985-1 is not prime.  Res64: 445D00FB6A5A53C0  Time : 0.0 sec.
user=odicin
[2017-08-07 16:35:18]
691*2^1467985-1 is not prime.  Res64: B8831433C05A7FF4  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 16:45:29]
867*2^1467981-1 is not prime.  Res64: 78CEB442978BDC96  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 16:45:30]
653*2^1467982-1 is not prime.  Res64: 134350C1FB94AF7C  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 16:45:30]
717*2^1467982-1 is not prime.  Res64: 18401E20C8166776  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 16:45:30]
831*2^1467982-1 is not prime.  Res64: FEABC12930DAF245  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 16:45:30]
987*2^1467982-1 is not prime.  Res64: 421B6E19E0F5FD8B  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 16:45:40]
685*2^1467983-1 is not prime.  Res64: 2BB7DA5A5EAD6913  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 16:45:40]
705*2^1467983-1 is not prime.  Res64: DBBEEFFE7240D11A  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 16:45:40]
811*2^1467983-1 is not prime.  Res64: 9236BDF9443B8202  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 16:45:41]
609*2^1467984-1 is not prime.  Res64: D7CB4BDA8971E00C  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 16:45:41]
717*2^1467984-1 is not prime.  Res64: FAEDD4432DF9348E  Time : 0.0 sec.
user=odicin
[2017-08-07 16:46:32]
843*2^1467986-1 is not prime.  Res64: 12C17FA7B4285BE6  Time : 0.0 sec.
user=odicin
[2017-08-07 16:46:32]
837*2^1467986-1 is not prime.  Res64: A8C6320464B8FD23  Time : 0.0 sec.
user=odicin
[2017-08-07 16:57:46]
765*2^1467988-1 is not prime.  Res64: CFC88BEDFA5FF833  Time : 0.0 sec.
user=odicin
[2017-08-07 16:57:46]
735*2^1467988-1 is not prime.  Res64: 4DD4C4E8C1D4345E  Time : 0.0 sec.
user=odicin
[2017-08-07 17:09:00]
927*2^1467988-1 is not prime.  Res64: 89D5639C4A8FB2A8  Time : 0.0 sec.
user=odicin
[2017-08-07 17:09:00]
843*2^1467988-1 is not prime.  Res64: 41316A66A01697AD  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 17:10:50]
997*2^1467985-1 is not prime.  Res64: E282E4C1F5D9EF31  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 17:10:50]
603*2^1467986-1 is not prime.  Res64: 2ABF2768B81A3922  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 17:10:51]
633*2^1467986-1 is not prime.  Res64: EB767A1729B6626D  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 17:10:51]
711*2^1467986-1 is not prime.  Res64: 260C09C068995B2A  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 17:10:51]
825*2^1467986-1 is not prime.  Res64: 6A77E147FF8CC84C  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 17:11:02]
777*2^1467985-1 is not prime.  Res64: 71DDC2A3BD9F18A8  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 17:11:03]
789*2^1467985-1 is not prime.  Res64: F69CF7933CFFB7A8  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 17:11:03]
831*2^1467985-1 is not prime.  Res64: F39734B328B02FFD  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 17:11:03]
847*2^1467985-1 is not prime.  Res64: D8036B3AF7538D15  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 17:11:04]
895*2^1467985-1 is not prime.  Res64: C44A6DF73E033A03  Time : 0.0 sec.
user=odicin
[2017-08-07 17:20:17]
811*2^1467989-1 is not prime.  Res64: C31F7CCD25912056  Time : 0.0 sec.
user=odicin
[2017-08-07 17:20:17]
741*2^1467989-1 is not prime.  Res64: 89D8A2113CFD6B37  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 17:31:05]
987*2^1467986-1 is not prime.  Res64: D3AFC8F76A5EE9A6  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 17:31:05]
619*2^1467987-1 is not prime.  Res64: C68166F9E4315487  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 17:31:05]
643*2^1467987-1 is not prime.  Res64: D62953C544CB5413  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 17:31:06]
859*2^1467987-1 is not prime.  Res64: A73A38227B5EEDF9  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 17:31:06]
945*2^1467987-1 is not prime.  Res64: D43F82754555DDB0  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 17:31:24]
961*2^1467987-1 is not prime.  Res64: 6B3D2FA3194172FF  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 17:31:24]
617*2^1467988-1 is not prime.  Res64: 12F008E8660548C6  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 17:31:24]
663*2^1467988-1 is not prime.  Res64: 32358A03B99560E3  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 17:31:24]
677*2^1467988-1 is not prime.  Res64: 6CAEBEA81E3959BC  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 17:31:25]
689*2^1467988-1 is not prime.  Res64: 320033A6642A9009  Time : 0.0 sec.
user=odicin
[2017-08-07 17:31:34]
743*2^1467992-1 is not prime.  Res64: B34DE23015E76C0B  Time : 0.0 sec.
user=odicin
[2017-08-07 17:31:35]
759*2^1467992-1 is not prime.  Res64: 33667D4F7BE5E4A0  Time : 0.0 sec.
user=odicin
[2017-08-07 17:42:46]
831*2^1467994-1 is not prime.  Res64: 6238053645D13FE2  Time : 0.0 sec.
user=odicin
[2017-08-07 17:42:49]
887*2^1467994-1 is not prime.  Res64: 50DFD42FDA33CF3C  Time : 0.0 sec.
user=odicin
[2017-08-07 17:54:02]
957*2^1467994-1 is not prime.  Res64: 7F250828C7910711  Time : 0.0 sec.
user=odicin
[2017-08-07 17:54:02]
993*2^1467994-1 is not prime.  Res64: 90BF4DE778D803F2  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 17:56:33]
925*2^1467989-1 is not prime.  Res64: FA4C31B1DE9BAC1D  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 17:56:33]
611*2^1467990-1 is not prime.  Res64: 107A4B5649B3F954  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 17:56:34]
627*2^1467990-1 is not prime.  Res64: 8C8498C11B0777EC  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 17:56:34]
725*2^1467990-1 is not prime.  Res64: F68959D0789B4951  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 17:56:34]
777*2^1467990-1 is not prime.  Res64: E53557FC81C0F4D5  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 17:56:51]
863*2^1467990-1 is not prime.  Res64: 490C73F645485779  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 17:56:51]
673*2^1467991-1 is not prime.  Res64: AB764F9BFCFF5CBF  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 17:56:51]
841*2^1467991-1 is not prime.  Res64: A60A0B2A94C99732  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 17:56:52]
873*2^1467991-1 is not prime.  Res64: 20F8F733FCFBCC01  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 17:56:52]
939*2^1467991-1 is not prime.  Res64: 53FE3C4B73696DD3  Time : 0.0 sec.
user=odicin
[2017-08-07 18:05:17]
603*2^1467995-1 is not prime.  Res64: C0D6ECFC660E0F31  Time : 0.0 sec.
user=odicin
[2017-08-07 18:05:17]
741*2^1467995-1 is not prime.  Res64: 6AA6F020845E74C4  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 18:17:26]
929*2^1467992-1 is not prime.  Res64: FA8BEBA3CF34D18B  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 18:17:27]
959*2^1467992-1 is not prime.  Res64: BBAE3696F957F318  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 18:17:27]
607*2^1467993-1 is not prime.  Res64: 6BECA2C42CBD752C  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 18:17:27]
657*2^1467993-1 is not prime.  Res64: 6553AB8798B40583  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 18:17:28]
679*2^1467993-1 is not prime.  Res64: 6FE235E0B67F5BB4  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 18:17:41]
765*2^1467993-1 is not prime.  Res64: 0AD3543D15E5899D  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 18:17:41]
885*2^1467993-1 is not prime.  Res64: 3170619BF9D35CC8  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 18:17:41]
919*2^1467993-1 is not prime.  Res64: DDFFBD6AE86B7EEA  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 18:17:42]
937*2^1467993-1 is not prime.  Res64: 037E84FC737EC5E4  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 18:17:42]
951*2^1467993-1 is not prime.  Res64: 64F5CC2ACCA6735C  Time : 0.0 sec.
user=odicin
[2017-08-07 18:19:45]
847*2^1467997-1 is not prime.  Res64: 6769E3C2A5EA9D26  Time : 0.0 sec.
user=odicin
[2017-08-07 18:19:47]
741*2^1467997-1 is not prime.  Res64: 9A3FB9BECF5E6714  Time : 0.0 sec.
user=odicin
[2017-08-07 18:30:59]
723*2^1467999-1 is not prime.  Res64: 368449B9AE731160  Time : 0.0 sec.
user=odicin
[2017-08-07 18:31:00]
769*2^1467999-1 is not prime.  Res64: ED301B75A4EBFAE5  Time : 0.0 sec.
user=odicin
[2017-08-07 18:42:15]
829*2^1467999-1 is not prime.  Res64: 4E2D06D79FA7BE45  Time : 0.0 sec.
user=odicin
[2017-08-07 18:42:15]
999*2^1467999-1 is not prime.  Res64: F105D61E32FD3A37  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 18:42:51]
759*2^1467995-1 is not prime.  Res64: F1AC1CE549BB662E  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 18:42:51]
789*2^1467995-1 is not prime.  Res64: D6118EA90FA8C97C  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 18:42:52]
913*2^1467995-1 is not prime.  Res64: C355E7977A70C33D  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 18:42:52]
963*2^1467995-1 is not prime.  Res64: 984B3BB9A0E8865C  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 18:42:52]
909*2^1467996-1 is not prime.  Res64: 215E690296934276  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 18:43:00]
621*2^1467997-1 is not prime.  Res64: 466A5765C6AA1086  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 18:43:00]
625*2^1467997-1 is not prime.  Res64: 3A9373A478558940  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 18:43:01]
685*2^1467997-1 is not prime.  Res64: EBF432EFC6172F63  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 18:43:01]
687*2^1467997-1 is not prime.  Res64: 2D711102930D8513  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 18:43:01]
727*2^1467997-1 is not prime.  Res64: 0D73358A52457C11  Time : 0.0 sec.
user=odicin
[2017-08-07 18:53:30]
773*2^1468000-1 is not prime.  Res64: 97654D0DDC3A3DC0  Time : 0.0 sec.
user=odicin
[2017-08-07 18:53:31]
695*2^1468000-1 is not prime.  Res64: 34D0BEA897FAFD72  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 19:03:20]
731*2^1467998-1 is not prime.  Res64: 2FCD1DFAB5AC8F0C  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 19:03:22]
747*2^1467998-1 is not prime.  Res64: DDE86728FE0A150B  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 19:03:23]
825*2^1467998-1 is not prime.  Res64: 39D4AD47E54A0331  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 19:03:24]
935*2^1467998-1 is not prime.  Res64: 970E515A498E05B4  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 19:03:25]
691*2^1467999-1 is not prime.  Res64: 502B6E5E5EED2E88  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 19:03:26]
859*2^1467997-1 is not prime.  Res64: 0C00FEAE04D8BF15  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 19:03:27]
939*2^1467997-1 is not prime.  Res64: FB586604047DDFFA  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 19:03:28]
627*2^1467998-1 is not prime.  Res64: D8A911B375FF943A  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 19:03:30]
635*2^1467998-1 is not prime.  Res64: 1FCFC74D0A7D652F  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 19:03:32]
687*2^1467998-1 is not prime.  Res64: 7ADEC7CE14BF158C  Time : 0.0 sec.
user=odicin
[2017-08-07 19:04:45]
711*2^1468002-1 is not prime.  Res64: 3B76BDF3509D138E  Time : 0.0 sec.
user=odicin
[2017-08-07 19:04:48]
797*2^1468002-1 is not prime.  Res64: EC70D3B54474DB18  Time : 0.0 sec.
user=odicin
[2017-08-07 19:16:55]
807*2^1468002-1 is not prime.  Res64: 97174BDE218208F3  Time : 0.0 sec.
user=odicin
[2017-08-07 19:16:55]
873*2^1468002-1 is not prime.  Res64: 5B063C3ACCF40C99  Time : 0.0 sec.
user=odicin
[2017-08-07 19:28:25]
913*2^1468003-1 is not prime.  Res64: 5222DD956452801B  Time : 0.0 sec.
user=odicin
[2017-08-07 19:28:25]
961*2^1468003-1 is not prime.  Res64: 6F83054DFF677D14  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 19:28:32]
873*2^1468000-1 is not prime.  Res64: 17031FDA0404E04D  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 19:28:33]
927*2^1468000-1 is not prime.  Res64: 81EAF70660594820  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 19:28:33]
933*2^1468000-1 is not prime.  Res64: E6124FD41305F743  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 19:28:34]
939*2^1468000-1 is not prime.  Res64: 631C14F4F06CA3F2  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 19:28:35]
995*2^1468000-1 is not prime.  Res64: 7E5F71605F7DD5BC  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 19:28:39]
631*2^1468001-1 is not prime.  Res64: 87E4E22BDBA20606  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 19:28:41]
669*2^1468001-1 is not prime.  Res64: 33F02ED7B4820F96  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 19:28:41]
741*2^1468001-1 is not prime.  Res64: 442E09007AE816B8  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 19:28:42]
795*2^1468001-1 is not prime.  Res64: 4B72FEDF80CB50B7  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 19:28:43]
819*2^1468001-1 is not prime.  Res64: 077CF96338F42325  Time : 0.0 sec.
user=odicin
[2017-08-07 19:39:40]
969*2^1468003-1 is not prime.  Res64: 9FEF01D85816BE8F  Time : 0.0 sec.
user=odicin
[2017-08-07 19:39:41]
885*2^1468004-1 is not prime.  Res64: 23C7EF153652BC1E  Time : 0.0 sec.
user=odicin
[2017-08-07 19:50:55]
675*2^1468007-1 is not prime.  Res64: 0374668E6410923F  Time : 0.0 sec.
user=odicin
[2017-08-07 19:50:55]
649*2^1468007-1 is not prime.  Res64: 0ABEF6AA3624A4C5  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 19:51:22]
837*2^1468002-1 is not prime.  Res64: AD95584977848E47  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 19:51:22]
885*2^1468002-1 is not prime.  Res64: CF570B67358E47CC  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 19:51:22]
923*2^1468002-1 is not prime.  Res64: 67B5F23353B29923  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 19:51:22]
945*2^1468002-1 is not prime.  Res64: B983B4A80C1B22D3  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 19:51:22]
977*2^1468002-1 is not prime.  Res64: 482045E27084EC4A  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 19:51:33]
663*2^1468003-1 is not prime.  Res64: 0AA67A7EAE3017B8  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 19:51:33]
685*2^1468003-1 is not prime.  Res64: 4C3BA1D0006388B3  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 19:51:34]
741*2^1468003-1 is not prime.  Res64: 65EAE87E059B7DC6  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 19:51:34]
751*2^1468003-1 is not prime.  Res64: 82F2B13D76FA60F6  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 19:51:34]
771*2^1468003-1 is not prime.  Res64: B8B1BB79A7D096FB  Time : 0.0 sec.
user=odicin
[2017-08-07 20:02:11]
841*2^1468007-1 is not prime.  Res64: 963B52265280DF02  Time : 0.0 sec.
user=odicin
[2017-08-07 20:02:13]
825*2^1468007-1 is not prime.  Res64: E614D15DF5DE6C9A  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 20:14:08]
903*2^1468004-1 is not prime.  Res64: CAC150CCE124729E  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 20:14:08]
639*2^1468005-1 is not prime.  Res64: 15E8396D91A00FD8  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 20:14:09]
765*2^1468005-1 is not prime.  Res64: CC04FF1A6D118324  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 20:14:09]
789*2^1468005-1 is not prime.  Res64: 06560FD1FA21DEB6  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 20:14:09]
915*2^1468005-1 is not prime.  Res64: 30321CBB5EBC95D1  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 20:14:30]
961*2^1468005-1 is not prime.  Res64: 6763CB9F574756FE  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 20:14:31]
979*2^1468005-1 is not prime.  Res64: BF5D043B2A21598C  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 20:14:31]
717*2^1468006-1 is not prime.  Res64: 66CD6FCAF87894B6  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 20:14:31]
933*2^1468006-1 is not prime.  Res64: D106D7D531CB3D7F  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 20:14:31]
993*2^1468006-1 is not prime.  Res64: 00CDA0D2E3953231  Time : 0.0 sec.
user=odicin
[2017-08-07 20:15:16]
993*2^1468008-1 is not prime.  Res64: DAD04EAA19F2FB97  Time : 0.0 sec.
user=odicin
[2017-08-07 20:15:17]
625*2^1468009-1 is not prime.  Res64: D7F7DBCF3708C226  Time : 0.0 sec.
user=odicin
[2017-08-07 20:26:29]
755*2^1468010-1 is not prime.  Res64: 17CF54CEE1CB20A3  Time : 0.0 sec.
user=odicin
[2017-08-07 20:26:30]
701*2^1468010-1 is not prime.  Res64: A99F0D4A315ED36F  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 20:37:15]
939*2^1468007-1 is not prime.  Res64: EB9E8985538B5060  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 20:37:15]
963*2^1468007-1 is not prime.  Res64: E00F8DD3DF59D3AD  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 20:37:15]
981*2^1468007-1 is not prime.  Res64: 180BE38FD8144568  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 20:37:15]
615*2^1468008-1 is not prime.  Res64: DDC5085BEA154F1D  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 20:37:16]
627*2^1468008-1 is not prime.  Res64: ED5309DD24804C1D  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 20:37:18]
663*2^1468008-1 is not prime.  Res64: 1774B02D452254FD  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 20:37:19]
759*2^1468008-1 is not prime.  Res64: 0145E62A55C7CD62  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 20:37:19]
803*2^1468008-1 is not prime.  Res64: 3A37F66494D1C224  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 20:37:19]
825*2^1468008-1 is not prime.  Res64: EE4AFEEEDCDBBD7A  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 20:37:19]
899*2^1468008-1 is not prime.  Res64: 33675AF0FE3B849B  Time : 0.0 sec.
user=odicin
[2017-08-07 20:37:44]
791*2^1468010-1 is not prime.  Res64: 24307C29B10C6CC6  Time : 0.0 sec.
user=odicin
[2017-08-07 20:37:44]
767*2^1468010-1 is not prime.  Res64: 23BF16395847D981  Time : 0.0 sec.
user=odicin
[2017-08-07 20:48:58]
685*2^1468013-1 is not prime.  Res64: 80F7D1EB5972C3F0  Time : 0.0 sec.
user=odicin
[2017-08-07 20:49:01]
747*2^1468013-1 is not prime.  Res64: A8620C4741C911A3  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 20:59:54]
639*2^1468009-1 is not prime.  Res64: 62FD082D698D5A23  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 20:59:54]
681*2^1468009-1 is not prime.  Res64: 46786EFABDC18316  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 20:59:55]
691*2^1468009-1 is not prime.  Res64: E9FC96258AF42E00  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 20:59:55]
699*2^1468009-1 is not prime.  Res64: 3AE882F54262F5A5  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 20:59:55]
801*2^1468009-1 is not prime.  Res64: 83D302E1FF21D251  Time : 0.0 sec.
user=odicin
[2017-08-07 21:00:13]
861*2^1468013-1 is not prime.  Res64: FBD2AE0EE1648304  Time : 0.0 sec.
user=odicin
[2017-08-07 21:00:15]
897*2^1468013-1 is not prime.  Res64: 98BD61692382E463  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 21:00:20]
807*2^1468009-1 is not prime.  Res64: 5ADF664A972AC907  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 21:00:21]
877*2^1468009-1 is not prime.  Res64: 8390C8A77EA66246  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 21:00:21]
885*2^1468009-1 is not prime.  Res64: 2C2FD8E31880B5E3  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 21:00:22]
999*2^1468009-1 is not prime.  Res64: 0CDC850546387E73  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 21:00:23]
605*2^1468010-1 is not prime.  Res64: C0BD2C57161056EB  Time : 0.0 sec.
user=odicin
[2017-08-07 21:11:31]
891*2^1468014-1 is not prime.  Res64: 2096FA7CDE2C5144  Time : 0.0 sec.
user=odicin
[2017-08-07 21:11:34]
875*2^1468014-1 is not prime.  Res64: FA1461BDECD15116  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 21:22:57]
955*2^1468011-1 is not prime.  Res64: F030656330CF4984  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 21:22:57]
961*2^1468011-1 is not prime.  Res64: E8F29DA33F09753A  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 21:22:57]
617*2^1468012-1 is not prime.  Res64: 5188A23881F707C6  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 21:22:58]
735*2^1468012-1 is not prime.  Res64: F5E553C0DC936838  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 21:22:58]
863*2^1468012-1 is not prime.  Res64: E2E8A8BF8652782A  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 21:23:05]
833*2^1468010-1 is not prime.  Res64: FE898804F495D502  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 21:23:05]
705*2^1468011-1 is not prime.  Res64: 1D1CE9966315794A  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 21:23:05]
709*2^1468011-1 is not prime.  Res64: 5E161CE1A04BAE6F  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 21:23:06]
795*2^1468011-1 is not prime.  Res64: 272C66083238BA88  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 21:23:06]
921*2^1468011-1 is not prime.  Res64: D2D6134DEA7F863D  Time : 0.0 sec.
user=odicin
[2017-08-07 21:23:18]
603*2^1468016-1 is not prime.  Res64: FED8266F2B33968F  Time : 0.0 sec.
user=odicin
[2017-08-07 21:23:19]
829*2^1468015-1 is not prime.  Res64: 7ED62B7E6593C7D6  Time : 0.0 sec.
user=odicin
[2017-08-07 21:34:32]
885*2^1468017-1 is not prime.  Res64: 516F8627A596461A  Time : 0.0 sec.
user=odicin
[2017-08-07 21:34:33]
937*2^1468017-1 is not prime.  Res64: 9390EE08646CC34D  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 21:45:34]
949*2^1468013-1 is not prime.  Res64: 2FA6CF6B92C66261  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 21:45:34]
651*2^1468014-1 is not prime.  Res64: F8671AF0547C19B6  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 21:45:35]
681*2^1468014-1 is not prime.  Res64: 245CC695BF12BF66  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 21:45:35]
755*2^1468014-1 is not prime.  Res64: 9CCCAD30E9C66317  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 21:45:35]
791*2^1468014-1 is not prime.  Res64: 83F725DE00AD85E4  Time : 0.0 sec.
user=odicin
[2017-08-07 21:45:48]
635*2^1468018-1 is not prime.  Res64: 0545D439DA1A5CA1  Time : 0.0 sec.
user=odicin
[2017-08-07 21:45:50]
611*2^1468018-1 is not prime.  Res64: 611DDC19266E0885  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 21:46:04]
1001*2^1468014-1 is not prime.  Res64: AFF6D784CA8734D6  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 21:46:05]
693*2^1468015-1 is not prime.  Res64: 898ABAA595959F10  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 21:46:05]
705*2^1468015-1 is not prime.  Res64: 53B100C41A8B6C23  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 21:46:05]
735*2^1468015-1 is not prime.  Res64: 0F36F86F2EAF4C25  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 21:46:05]
751*2^1468015-1 is not prime.  Res64: A604907EF64CC95D  Time : 0.0 sec.
user=odicin
[2017-08-07 21:57:01]
811*2^1468019-1 is not prime.  Res64: 0059C0C02AF58808  Time : 0.0 sec.
user=odicin
[2017-08-07 21:57:03]
909*2^1468019-1 is not prime.  Res64: 5D181F505D1BFBEE  Time : 0.0 sec.
user=odicin
[2017-08-07 22:08:18]
875*2^1468020-1 is not prime.  Res64: 74FB443B2895406F  Time : 0.0 sec.
user=odicin
[2017-08-07 22:08:18]
839*2^1468020-1 is not prime.  Res64: 0130EEB107F083BC  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 22:08:34]
635*2^1468016-1 is not prime.  Res64: 2D066D43A71F8D77  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 22:08:35]
669*2^1468016-1 is not prime.  Res64: 2338ED407149BB46  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 22:08:35]
735*2^1468016-1 is not prime.  Res64: 7B80C0422D38930C  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 22:08:35]
759*2^1468016-1 is not prime.  Res64: FF5CED0530042560  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 22:08:35]
785*2^1468016-1 is not prime.  Res64: 04D4B03295AC5751  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 22:08:44]
855*2^1468016-1 is not prime.  Res64: 31A6B898325BAF55  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 22:08:45]
675*2^1468017-1 is not prime.  Res64: C531E193F34A6EE0  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 22:08:45]
819*2^1468017-1 is not prime.  Res64: F2E55641A109AA0B  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 22:08:45]
847*2^1468017-1 is not prime.  Res64: D234731B2CC912A0  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 22:08:46]
865*2^1468017-1 is not prime.  Res64: DB76C9E10887CB64  Time : 0.0 sec.
user=odicin
[2017-08-07 22:19:43]
615*2^1468021-1 is not prime.  Res64: 6F4486B8D5419595  Time : 0.0 sec.
user=odicin
[2017-08-07 22:19:43]
905*2^1468020-1 is not prime.  Res64: BDA03FAFD4073225  Time : 0.0 sec.
user=odicin
[2017-08-07 22:30:58]
693*2^1468023-1 is not prime.  Res64: 070F09D94C342BF6  Time : 0.0 sec.
user=odicin
[2017-08-07 22:31:01]
819*2^1468023-1 is not prime.  Res64: 10A3DAB42CAC8EC7  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 22:31:09]
791*2^1468018-1 is not prime.  Res64: D2FF8F72F9DB9056  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 22:31:09]
813*2^1468018-1 is not prime.  Res64: 7BE13B882CFCD699  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 22:31:09]
711*2^1468019-1 is not prime.  Res64: BA5F284A8E2AF3D6  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 22:31:09]
745*2^1468019-1 is not prime.  Res64: F3AA4690750591F4  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 22:31:10]
801*2^1468019-1 is not prime.  Res64: 2633383CE61ACA9A  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 22:31:46]
939*2^1468019-1 is not prime.  Res64: C4E5AC05967E82FA  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 22:31:46]
689*2^1468020-1 is not prime.  Res64: 467F28AEE6F9EFC5  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 22:31:47]
723*2^1468020-1 is not prime.  Res64: FF6BAE696813F909  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 22:31:47]
737*2^1468020-1 is not prime.  Res64: DF7A3BE86AAD660A  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 22:31:47]
819*2^1468020-1 is not prime.  Res64: 15F3EB24A26F5BD1  Time : 0.0 sec.
user=odicin
[2017-08-07 22:42:12]
831*2^1468023-1 is not prime.  Res64: A441C09F2D192370  Time : 0.0 sec.
user=odicin
[2017-08-07 22:42:18]
921*2^1468023-1 is not prime.  Res64: 3AF0F7CB7B0629A5  Time : 0.0 sec.
user=odicin
[2017-08-07 22:53:28]
981*2^1468025-1 is not prime.  Res64: 718418EE087AADAC  Time : 0.0 sec.
user=odicin
[2017-08-07 22:53:30]
633*2^1468026-1 is not prime.  Res64: D41A9BDC1C455345  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 22:54:05]
727*2^1468021-1 is not prime.  Res64: 97B514932275CC51  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 22:54:05]
799*2^1468021-1 is not prime.  Res64: 1F71F38BDCC867B0  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 22:54:05]
617*2^1468022-1 is not prime.  Res64: 5C5DE50C18B8DA82  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 22:54:06]
731*2^1468022-1 is not prime.  Res64: 6D265F5C247FB164  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 22:54:06]
785*2^1468022-1 is not prime.  Res64: 01C50063143C996E  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 22:54:25]
867*2^1468022-1 is not prime.  Res64: 9001BB92ACD54112  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 22:54:25]
981*2^1468022-1 is not prime.  Res64: B30DADFC37F20083  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 22:54:25]
987*2^1468022-1 is not prime.  Res64: AD467DA8191C4729  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 22:54:25]
625*2^1468023-1 is not prime.  Res64: 647F3694E63BAB02  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 22:54:26]
679*2^1468023-1 is not prime.  Res64: 84678CBB0DF19C81  Time : 0.0 sec.
user=odicin
[2017-08-07 23:04:44]
635*2^1468026-1 is not prime.  Res64: F5578D5E20043E0D  Time : 0.0 sec.
user=odicin
[2017-08-07 23:04:45]
711*2^1468026-1 is not prime.  Res64: 1B0C6C7C97341D0F  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 23:16:48]
945*2^1468023-1 is not prime.  Res64: 397C39D931CA9E38  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 23:16:48]
693*2^1468024-1 is not prime.  Res64: 3497143D65365BE7  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 23:16:48]
755*2^1468024-1 is not prime.  Res64: 8BC8971861D27149  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 23:16:48]
785*2^1468024-1 is not prime.  Res64: 941F823F1E33607C  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 23:16:49]
827*2^1468024-1 is not prime.  Res64: 63E9957DBD86678E  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 23:17:31]
843*2^1468024-1 is not prime.  Res64: B790E8682AD2B337  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 23:17:31]
857*2^1468024-1 is not prime.  Res64: 1E28806D4B60263B  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 23:17:31]
795*2^1468025-1 is not prime.  Res64: D41B250CBFF597C6  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 23:17:32]
799*2^1468025-1 is not prime.  Res64: DF64B3ADD7738E4F  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 23:17:32]
861*2^1468025-1 is not prime.  Res64: C464196C0FF5B68E  Time : 0.0 sec.
user=odicin
[2017-08-07 23:17:37]
755*2^1468028-1 is not prime.  Res64: 4537C4433B6B9ECC  Time : 0.0 sec.
user=odicin
[2017-08-07 23:17:38]
767*2^1468028-1 is not prime.  Res64: 846ABC67428F6BD1  Time : 0.0 sec.
user=odicin
[2017-08-07 23:28:50]
813*2^1468030-1 is not prime.  Res64: E6B417159660DF32  Time : 0.0 sec.
user=odicin
[2017-08-07 23:28:51]
1001*2^1468030-1 is not prime.  Res64: 2D57552BCE282742  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 23:39:55]
893*2^1468026-1 is not prime.  Res64: 9AC402D4BA9001E2  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 23:39:55]
941*2^1468026-1 is not prime.  Res64: C016E215E96598A7  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 23:39:55]
957*2^1468026-1 is not prime.  Res64: 1F59795A4FBA71D2  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 23:39:55]
615*2^1468027-1 is not prime.  Res64: FD1AA38F66A24C89  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 23:39:56]
625*2^1468027-1 is not prime.  Res64: 433D20B34C77C333  Time : 0.0 sec.
user=odicin
[2017-08-07 23:40:04]
621*2^1468031-1 is not prime.  Res64: 359CED5E650ABD98  Time : 0.0 sec.
user=odicin
[2017-08-07 23:40:04]
619*2^1468031-1 is not prime.  Res64: C8DEA404DACDEE37  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 23:40:15]
663*2^1468027-1 is not prime.  Res64: 185724D1BACDB99D  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 23:40:15]
735*2^1468027-1 is not prime.  Res64: B0AA6485BEA9D500  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 23:40:16]
849*2^1468027-1 is not prime.  Res64: 9466487379B3C471  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 23:40:16]
859*2^1468027-1 is not prime.  Res64: 2D21E711E920AD0B  Time : 0.0 sec.
user=mdettweiler
[2017-08-07 23:40:16]
961*2^1468027-1 is not prime.  Res64: 9833122E270881CA  Time : 0.0 sec.
user=odicin
[2017-08-07 23:51:18]
737*2^1468032-1 is not prime.  Res64: 0C081D68A143DD33  Time : 0.0 sec.
user=odicin
[2017-08-07 23:51:18]
609*2^1468032-1 is not prime.  Res64: 52907951E44A5325  Time : 0.0 sec.