user=mdettweiler [2018-06-23 00:03:36] 765*2^1514124-1 is not prime. Res64: 57431C681E3B0D8B Time : 0.0 sec. user=mdettweiler [2018-06-23 00:03:39] 825*2^1514124-1 is not prime. Res64: 38901CF3511681D1 Time : 0.0 sec. user=mdettweiler [2018-06-23 00:03:41] 909*2^1514124-1 is not prime. Res64: FC73336F4AD9FDE6 Time : 0.0 sec. user=mdettweiler [2018-06-23 00:03:43] 929*2^1514124-1 is not prime. Res64: 057A304C8A14C334 Time : 0.0 sec. user=mdettweiler [2018-06-23 00:03:45] 607*2^1514125-1 is not prime. Res64: 61B6393E152017E3 Time : 0.0 sec. user=mdettweiler [2018-06-23 00:21:02] 609*2^1514125-1 is not prime. Res64: 0DDC3ECEBC179B19 Time : 0.0 sec. user=mdettweiler [2018-06-23 00:21:02] 855*2^1514125-1 is not prime. Res64: A537780F83823B2C Time : 0.0 sec. user=mdettweiler [2018-06-23 00:21:03] 871*2^1514125-1 is not prime. Res64: 1430AB80698403B8 Time : 0.0 sec. user=mdettweiler [2018-06-23 00:21:03] 877*2^1514125-1 is not prime. Res64: 062A195FEF542C86 Time : 0.0 sec. user=mdettweiler [2018-06-23 00:21:03] 895*2^1514125-1 is not prime. Res64: E67F532A5DACA9C7 Time : 0.0 sec. user=mdettweiler [2018-06-23 00:31:54] 961*2^1514125-1 is not prime. Res64: CC32C0081F55C662 Time : 0.0 sec. user=mdettweiler [2018-06-23 00:31:55] 623*2^1514126-1 is not prime. Res64: A6E18610F0362EC3 Time : 0.0 sec. user=mdettweiler [2018-06-23 00:31:55] 635*2^1514126-1 is not prime. Res64: 1A43D8925AAF42AA Time : 0.0 sec. user=mdettweiler [2018-06-23 00:31:56] 675*2^1514126-1 is not prime. Res64: F9834975DBA81249 Time : 0.0 sec. user=mdettweiler [2018-06-23 00:31:56] 683*2^1514126-1 is not prime. Res64: 259045C721092A34 Time : 0.0 sec. user=mdettweiler [2018-06-23 00:41:46] 857*2^1514126-1 is not prime. Res64: 19FF88A251904FA7 Time : 0.0 sec. user=mdettweiler [2018-06-23 00:41:47] 633*2^1514127-1 is not prime. Res64: 40691ADC0FABE71C Time : 0.0 sec. user=mdettweiler [2018-06-23 00:41:47] 693*2^1514127-1 is not prime. Res64: AD253B900CA2FFD9 Time : 0.0 sec. user=mdettweiler [2018-06-23 00:41:47] 861*2^1514127-1 is not prime. Res64: E6C4FD8C48469947 Time : 0.0 sec. user=mdettweiler [2018-06-23 00:41:48] 949*2^1514127-1 is not prime. Res64: A99598B8022BCEAA Time : 0.0 sec. user=juhehe [2018-06-23 00:46:25] 999*2^1514127-1 is not prime. Res64: 0B0760B0D7F15CB6 Time : 0.0 sec. user=mdettweiler [2018-06-23 00:54:00] 605*2^1514128-1 is not prime. Res64: 13868CD0BF0D433F Time : 0.0 sec. user=mdettweiler [2018-06-23 00:54:00] 663*2^1514128-1 is not prime. Res64: 748AEC1797D6E31D Time : 0.0 sec. user=mdettweiler [2018-06-23 00:54:01] 723*2^1514128-1 is not prime. Res64: E1EFDB1FDE6CA057 Time : 0.0 sec. user=mdettweiler [2018-06-23 00:54:01] 735*2^1514128-1 is not prime. Res64: 5756C58060C7CCD3 Time : 0.0 sec. user=mdettweiler [2018-06-23 00:54:02] 959*2^1514128-1 is not prime. Res64: 18BF1DCA5D918280 Time : 0.0 sec. user=mdettweiler [2018-06-23 01:11:30] 995*2^1514128-1 is not prime. Res64: B81ABE71C8B93A8B Time : 0.0 sec. user=mdettweiler [2018-06-23 01:11:30] 619*2^1514129-1 is not prime. Res64: 66BE13F179499601 Time : 0.0 sec. user=mdettweiler [2018-06-23 01:11:31] 861*2^1514129-1 is not prime. Res64: 922052243D8E1419 Time : 0.0 sec. user=mdettweiler [2018-06-23 01:11:31] 865*2^1514129-1 is not prime. Res64: 09864655EF69DB0C Time : 0.0 sec. user=mdettweiler [2018-06-23 01:11:32] 945*2^1514129-1 is not prime. Res64: 143BC3AB52969920 Time : 0.0 sec. user=mdettweiler [2018-06-23 01:22:46] 851*2^1514130-1 is not prime. Res64: B8460DBBC8EF6834 Time : 0.0 sec. user=mdettweiler [2018-06-23 01:22:47] 941*2^1514130-1 is not prime. Res64: AE3305F8942A8798 Time : 0.0 sec. user=mdettweiler [2018-06-23 01:22:47] 723*2^1514131-1 is not prime. Res64: 479D35C77B889BDD Time : 0.0 sec. user=mdettweiler [2018-06-23 01:22:47] 735*2^1514131-1 is not prime. Res64: 61C7B4270D309CA7 Time : 0.0 sec. user=mdettweiler [2018-06-23 01:22:48] 871*2^1514131-1 is not prime. Res64: A619E2F54CF647F7 Time : 0.0 sec. user=mdettweiler [2018-06-23 01:32:39] 677*2^1514132-1 is not prime. Res64: 93802B68E82A6B08 Time : 0.0 sec. user=mdettweiler [2018-06-23 01:32:42] 683*2^1514132-1 is not prime. Res64: 47001BBEC19DEBF2 Time : 0.0 sec. user=mdettweiler [2018-06-23 01:32:45] 689*2^1514132-1 is not prime. Res64: 2069F4C6B6DC46D5 Time : 0.0 sec. user=mdettweiler [2018-06-23 01:32:49] 825*2^1514132-1 is not prime. Res64: ECB7024895422BB1 Time : 0.0 sec. user=mdettweiler [2018-06-23 01:32:52] 837*2^1514132-1 is not prime. Res64: E61EF2166FB15F0F Time : 0.0 sec. user=mdettweiler [2018-06-23 01:44:40] 843*2^1514132-1 is not prime. Res64: 25BCB8CCFF0C46CD Time : 0.0 sec. user=mdettweiler [2018-06-23 01:44:41] 867*2^1514132-1 is not prime. Res64: E544237E1E44C1FE Time : 0.0 sec. user=mdettweiler [2018-06-23 01:44:41] 873*2^1514132-1 is not prime. Res64: 38F45F178468B6A4 Time : 0.0 sec. user=mdettweiler [2018-06-23 01:44:42] 879*2^1514132-1 is not prime. Res64: 3DF8948ABC17770E Time : 0.0 sec. user=mdettweiler [2018-06-23 01:44:42] 903*2^1514132-1 is not prime. Res64: 94DFDC0300C0337D Time : 0.0 sec. user=mdettweiler [2018-06-23 02:01:50] 935*2^1514132-1 is not prime. Res64: 79879671AE774020 Time : 0.0 sec. user=mdettweiler [2018-06-23 02:01:56] 987*2^1514132-1 is not prime. Res64: 9FCD2F8511320E7C Time : 0.0 sec. user=mdettweiler [2018-06-23 02:02:01] 621*2^1514133-1 is not prime. Res64: 14B791203303824D Time : 0.0 sec. user=mdettweiler [2018-06-23 02:02:03] 765*2^1514133-1 is not prime. Res64: 5A24310E26A8E612 Time : 0.0 sec. user=mdettweiler [2018-06-23 02:02:06] 837*2^1514133-1 is not prime. Res64: FC51F35E640599B7 Time : 0.0 sec. user=mdettweiler [2018-06-23 02:13:12] 885*2^1514133-1 is not prime. Res64: 96D7B398FD65580F Time : 0.0 sec. user=mdettweiler [2018-06-23 02:13:14] 889*2^1514133-1 is not prime. Res64: E32997850A213FC3 Time : 0.0 sec. user=mdettweiler [2018-06-23 02:13:16] 645*2^1514134-1 is not prime. Res64: 89CCD9E462F45B4C Time : 0.0 sec. user=mdettweiler [2018-06-23 02:13:18] 681*2^1514134-1 is not prime. Res64: 00B8A7091CD9E263 Time : 0.0 sec. user=mdettweiler [2018-06-23 02:13:21] 695*2^1514134-1 is not prime. Res64: DBDAFBA00E657867 Time : 0.0 sec. user=juhehe [2018-06-23 02:19:06] 945*2^1514134-1 is not prime. Res64: 94A39F37B6D64397 Time : 0.0 sec. user=mdettweiler [2018-06-23 02:24:07] 723*2^1514134-1 is not prime. Res64: 52C115DE4F2E75CC Time : 0.0 sec. user=mdettweiler [2018-06-23 02:24:08] 825*2^1514134-1 is not prime. Res64: 14FC92942F0BE17E Time : 0.0 sec. user=mdettweiler [2018-06-23 02:24:08] 827*2^1514134-1 is not prime. Res64: 9F9EDA149ECE3E18 Time : 0.0 sec. user=mdettweiler [2018-06-23 02:24:08] 831*2^1514134-1 is not prime. Res64: 76F715656BE92E22 Time : 0.0 sec. user=mdettweiler [2018-06-23 02:24:09] 885*2^1514134-1 is not prime. Res64: 205D0033E61611BB Time : 0.0 sec. user=mdettweiler [2018-06-23 02:35:15] 947*2^1514134-1 is not prime. Res64: 0295607F50A6579A Time : 0.0 sec. user=mdettweiler [2018-06-23 02:35:16] 957*2^1514134-1 is not prime. Res64: 723E27C9A1940C64 Time : 0.0 sec. user=mdettweiler [2018-06-23 02:35:16] 981*2^1514134-1 is not prime. Res64: 61CBA6153B35C3AB Time : 0.0 sec. user=mdettweiler [2018-06-23 02:35:17] 1001*2^1514134-1 is not prime. Res64: 3E99435BEF0CF930 Time : 0.0 sec. user=mdettweiler [2018-06-23 02:35:17] 619*2^1514135-1 is not prime. Res64: C1579869543C7FE0 Time : 0.0 sec. user=mdettweiler [2018-06-23 02:54:15] 645*2^1514135-1 is not prime. Res64: 2A7B0C813825FA35 Time : 0.0 sec. user=mdettweiler [2018-06-23 02:54:16] 651*2^1514135-1 is not prime. Res64: A02BDACA2657FDD4 Time : 0.0 sec. user=mdettweiler [2018-06-23 02:54:17] 685*2^1514135-1 is not prime. Res64: 7971D3C02603D916 Time : 0.0 sec. user=mdettweiler [2018-06-23 02:54:17] 739*2^1514135-1 is not prime. Res64: 3D52FEEB93B49B29 Time : 0.0 sec. user=mdettweiler [2018-06-23 02:54:18] 861*2^1514135-1 is not prime. Res64: F529A49224593859 Time : 0.0 sec. user=mdettweiler [2018-06-23 03:05:54] 909*2^1514135-1 is not prime. Res64: CABAB59B91C44848 Time : 0.0 sec. user=mdettweiler [2018-06-23 03:05:56] 991*2^1514135-1 is not prime. Res64: A33A361471F121B7 Time : 0.0 sec. user=mdettweiler [2018-06-23 03:05:57] 689*2^1514136-1 is not prime. Res64: 993884E820040AB9 Time : 0.0 sec. user=mdettweiler [2018-06-23 03:05:59] 723*2^1514136-1 is not prime. Res64: B3FEA29665C49A7B Time : 0.0 sec. user=mdettweiler [2018-06-23 03:06:00] 725*2^1514136-1 is not prime. Res64: B13FB2EC64AC1D75 Time : 0.0 sec. user=mdettweiler [2018-06-23 03:15:40] 747*2^1514136-1 is not prime. Res64: 9F84B4C13779A8C1 Time : 0.0 sec. user=mdettweiler [2018-06-23 03:15:40] 765*2^1514136-1 is not prime. Res64: AEFAD9682D50574F Time : 0.0 sec. user=mdettweiler [2018-06-23 03:15:41] 873*2^1514136-1 is not prime. Res64: 4B5B7F557CF1F448 Time : 0.0 sec. user=mdettweiler [2018-06-23 03:15:41] 899*2^1514136-1 is not prime. Res64: 7CC0FD17BFE41BB1 Time : 0.0 sec. user=mdettweiler [2018-06-23 03:15:42] 619*2^1514137-1 is not prime. Res64: 738E4BC4B204AF8F Time : 0.0 sec. user=mdettweiler [2018-06-23 03:26:33] 649*2^1514137-1 is not prime. Res64: 64D71FA88CB1D818 Time : 0.0 sec. user=mdettweiler [2018-06-23 03:26:34] 661*2^1514137-1 is not prime. Res64: B13AFC5A24CE6E2F Time : 0.0 sec. user=mdettweiler [2018-06-23 03:26:35] 699*2^1514137-1 is not prime. Res64: 901B4207BDC462AA Time : 0.0 sec. user=mdettweiler [2018-06-23 03:26:36] 741*2^1514137-1 is not prime. Res64: B1A38F0C973F682A Time : 0.0 sec. user=mdettweiler [2018-06-23 03:26:37] 775*2^1514137-1 is not prime. Res64: DDB0D7874A583F84 Time : 0.0 sec. user=mdettweiler [2018-06-23 03:44:32] 777*2^1514137-1 is not prime. Res64: BCE909ADD27D6ADC Time : 0.0 sec. user=mdettweiler [2018-06-23 03:44:33] 861*2^1514137-1 is not prime. Res64: 5B2A4F3DD4A120BE Time : 0.0 sec. user=mdettweiler [2018-06-23 03:44:34] 871*2^1514137-1 is not prime. Res64: ED3456D2F5E2CCBC Time : 0.0 sec. user=mdettweiler [2018-06-23 03:44:35] 617*2^1514138-1 is not prime. Res64: 4B2566CBCEAE3DF3 Time : 0.0 sec. user=mdettweiler [2018-06-23 03:44:36] 633*2^1514138-1 is not prime. Res64: 2C607E39F09D1EF4 Time : 0.0 sec. user=mdettweiler [2018-06-23 03:57:09] 857*2^1514138-1 is not prime. Res64: B988B8B0D5E67F7A Time : 0.0 sec. user=mdettweiler [2018-06-23 03:57:14] 867*2^1514138-1 is not prime. Res64: 76978A426DA48105 Time : 0.0 sec. user=mdettweiler [2018-06-23 03:57:22] 993*2^1514138-1 is not prime. Res64: 941A7F9C5022E6A5 Time : 0.0 sec. user=mdettweiler [2018-06-23 03:57:30] 995*2^1514138-1 is not prime. Res64: E9D26F732AD261D3 Time : 0.0 sec. user=mdettweiler [2018-06-23 03:57:37] 649*2^1514139-1 is not prime. Res64: 04F7D49C11ABA47B Time : 0.0 sec. user=mdettweiler [2018-06-23 04:06:39] 685*2^1514139-1 is not prime. Res64: 6CD1E9B80DBA6A71 Time : 0.0 sec. user=mdettweiler [2018-06-23 04:18:24] 857*2^1514140-1 is not prime. Res64: C95B6E0E9D02C6C3 Time : 0.0 sec. user=mdettweiler [2018-06-23 04:18:26] 915*2^1514140-1 is not prime. Res64: 32EE37A4EC3C946C Time : 0.0 sec. user=mdettweiler [2018-06-23 04:18:28] 923*2^1514140-1 is not prime. Res64: E490EDEEFA352D54 Time : 0.0 sec. user=mdettweiler [2018-06-23 04:18:30] 957*2^1514140-1 is not prime. Res64: 7956E08E95FF7472 Time : 0.0 sec. user=mdettweiler [2018-06-23 04:18:33] 987*2^1514140-1 is not prime. Res64: 4EE1C357D6420B4A Time : 0.0 sec. user=mdettweiler [2018-06-23 04:35:35] 615*2^1514141-1 is not prime. Res64: A21F8DC37B67A572 Time : 0.0 sec. user=mdettweiler [2018-06-23 04:35:36] 645*2^1514141-1 is not prime. Res64: 4A5D03051158520B Time : 0.0 sec. user=mdettweiler [2018-06-23 04:35:36] 685*2^1514141-1 is not prime. Res64: D250163949D3B458 Time : 0.0 sec. user=mdettweiler [2018-06-23 04:35:37] 715*2^1514141-1 is not prime. Res64: 815CA3961D2D550D Time : 0.0 sec. user=mdettweiler [2018-06-23 04:35:38] 769*2^1514141-1 is not prime. Res64: B59069B5162E0FC7 Time : 0.0 sec. user=juhehe [2018-06-23 04:39:07] 829*2^1514141-1 is not prime. Res64: 31E415A932599906 Time : 0.0 sec. user=mdettweiler [2018-06-23 04:49:37] 927*2^1514141-1 is not prime. Res64: 9FC79D09C7468EE9 Time : 0.0 sec. user=mdettweiler [2018-06-23 04:49:37] 931*2^1514141-1 is not prime. Res64: 82FFF126E15C3E6C Time : 0.0 sec. user=mdettweiler [2018-06-23 04:49:38] 717*2^1514142-1 is not prime. Res64: 7BF50D5536D96F34 Time : 0.0 sec. user=mdettweiler [2018-06-23 04:49:38] 747*2^1514142-1 is not prime. Res64: 39F9251B74299C85 Time : 0.0 sec. user=mdettweiler [2018-06-23 04:49:39] 755*2^1514142-1 is not prime. Res64: 5F0AA731DCEFE4C7 Time : 0.0 sec. user=mdettweiler [2018-06-23 05:28:40] 745*2^1514143-1 is not prime. Res64: 3AED4C6805C6F92F Time : 0.0 sec. user=mdettweiler [2018-06-23 05:28:40] 765*2^1514143-1 is not prime. Res64: 4051FE1BDFEFB0CF Time : 0.0 sec. user=mdettweiler [2018-06-23 05:28:41] 871*2^1514143-1 is not prime. Res64: 7A193C8AAF30D477 Time : 0.0 sec. user=mdettweiler [2018-06-23 05:28:41] 873*2^1514143-1 is not prime. Res64: D94E8966E4058CD0 Time : 0.0 sec. user=mdettweiler [2018-06-23 05:28:42] 883*2^1514143-1 is not prime. Res64: 4695A7EEC5FFF37B Time : 0.0 sec. user=mdettweiler [2018-06-23 05:42:12] 885*2^1514143-1 is not prime. Res64: 49AB36A389E152A0 Time : 0.0 sec. user=mdettweiler [2018-06-23 05:42:13] 609*2^1514144-1 is not prime. Res64: 321FAD5A9A23BE3E Time : 0.0 sec. user=mdettweiler [2018-06-23 05:42:13] 893*2^1514144-1 is not prime. Res64: E3676ADD6A4148AC Time : 0.0 sec. user=mdettweiler [2018-06-23 05:42:16] 667*2^1514145-1 is not prime. Res64: 836C524F68676908 Time : 0.0 sec. user=mdettweiler [2018-06-23 05:42:17] 871*2^1514145-1 is not prime. Res64: 1C9652681A2D284A Time : 0.0 sec. user=mdettweiler [2018-06-23 06:22:25] 663*2^1514146-1 is not prime. Res64: 564E44EE9992D0F1 Time : 0.0 sec. user=mdettweiler [2018-06-23 06:22:25] 713*2^1514146-1 is not prime. Res64: B9EEB871FA5AD344 Time : 0.0 sec. user=mdettweiler [2018-06-23 06:22:26] 765*2^1514146-1 is not prime. Res64: 66BD4BB7E6C8289C Time : 0.0 sec. user=mdettweiler [2018-06-23 06:22:26] 783*2^1514146-1 is not prime. Res64: 13B1AFD3704F86AF Time : 0.0 sec. user=mdettweiler [2018-06-23 06:22:27] 815*2^1514146-1 is not prime. Res64: 282A58CF8C38DEB9 Time : 0.0 sec. user=mdettweiler [2018-06-23 06:36:14] 843*2^1514146-1 is not prime. Res64: CA364FCF8BDC5A69 Time : 0.0 sec. user=mdettweiler [2018-06-23 06:36:14] 957*2^1514146-1 is not prime. Res64: 9053952E82E9BA97 Time : 0.0 sec. user=mdettweiler [2018-06-23 06:36:15] 971*2^1514146-1 is not prime. Res64: 8F8B4F14539A5FEB Time : 0.0 sec. user=mdettweiler [2018-06-23 06:36:15] 669*2^1514147-1 is not prime. Res64: 58C5B1C2289F8E68 Time : 0.0 sec. user=mdettweiler [2018-06-23 06:36:16] 693*2^1514147-1 is not prime. Res64: 55B1FE4E65DA9191 Time : 0.0 sec. user=juhehe [2018-06-23 06:58:55] 753*2^1514147-1 is not prime. Res64: ACC7E56DD076836F Time : 0.0 sec. user=mdettweiler [2018-06-23 07:15:46] 805*2^1514147-1 is not prime. Res64: 2B784E4AF82F5983 Time : 0.0 sec. user=mdettweiler [2018-06-23 07:15:47] 825*2^1514147-1 is not prime. Res64: F40340253DBAAE89 Time : 0.0 sec. user=mdettweiler [2018-06-23 07:15:47] 973*2^1514147-1 is not prime. Res64: D70DE156E6EAAC53 Time : 0.0 sec. user=mdettweiler [2018-06-23 07:15:48] 981*2^1514147-1 is not prime. Res64: 5C4F0E72E6639274 Time : 0.0 sec. user=mdettweiler [2018-06-23 07:15:48] 615*2^1514148-1 is not prime. Res64: 52D2AD547906DDCA Time : 0.0 sec. user=mdettweiler [2018-06-23 07:29:46] 959*2^1514148-1 is not prime. Res64: 01EB05E71C2FA288 Time : 0.0 sec. user=mdettweiler [2018-06-23 07:29:47] 977*2^1514148-1 is not prime. Res64: 01A5DD383100B8BF Time : 0.0 sec. user=mdettweiler [2018-06-23 07:29:47] 619*2^1514149-1 is not prime. Res64: 28963899145DCD9D Time : 0.0 sec. user=mdettweiler [2018-06-23 07:29:48] 729*2^1514149-1 is not prime. Res64: AEACB64D9AED8696 Time : 0.0 sec. user=mdettweiler [2018-06-23 07:29:48] 771*2^1514149-1 is not prime. Res64: 21746A9FF476EE02 Time : 0.0 sec. user=mdettweiler [2018-06-23 08:09:25] 925*2^1514149-1 is not prime. Res64: 55F781939BCD3DBC Time : 0.0 sec. user=mdettweiler [2018-06-23 08:09:26] 741*2^1514150-1 is not prime. Res64: B45D0B74D238B036 Time : 0.0 sec. user=mdettweiler [2018-06-23 08:09:27] 885*2^1514150-1 is not prime. Res64: 09324C3FC738C73D Time : 0.0 sec. user=mdettweiler [2018-06-23 08:09:27] 897*2^1514150-1 is not prime. Res64: CFD77A9D5402F1E1 Time : 0.0 sec. user=mdettweiler [2018-06-23 08:09:28] 941*2^1514150-1 is not prime. Res64: EC6DEF251656E139 Time : 0.0 sec. user=mdettweiler [2018-06-23 08:23:07] 965*2^1514150-1 is not prime. Res64: F960B13A5B8F33C1 Time : 0.0 sec. user=mdettweiler [2018-06-23 08:23:07] 977*2^1514150-1 is not prime. Res64: E0F2BDFF7E65AA57 Time : 0.0 sec. user=mdettweiler [2018-06-23 08:23:08] 651*2^1514151-1 is not prime. Res64: 42E1A7FBF3FF1121 Time : 0.0 sec. user=mdettweiler [2018-06-23 08:23:08] 723*2^1514151-1 is not prime. Res64: 0A2F255378464589 Time : 0.0 sec. user=mdettweiler [2018-06-23 08:23:09] 741*2^1514151-1 is not prime. Res64: B2FFE6F4D2A8D41C Time : 0.0 sec. user=mdettweiler [2018-06-23 08:41:03] 895*2^1514139-1 is not prime. Res64: 56CF424984B5D624 Time : 0.0 sec. user=mdettweiler [2018-06-23 08:41:04] 719*2^1514140-1 is not prime. Res64: 224EEEFE1D2E4296 Time : 0.0 sec. user=mdettweiler [2018-06-23 08:41:04] 825*2^1514140-1 is not prime. Res64: E30BB192FF6F180B Time : 0.0 sec. user=mdettweiler [2018-06-23 08:41:05] 855*2^1514140-1 is not prime. Res64: BC9B8E6520DBD082 Time : 0.0 sec. user=mdettweiler [2018-06-23 09:02:02] 825*2^1514151-1 is not prime. Res64: 7A44F57E45D89A0D Time : 0.0 sec. user=mdettweiler [2018-06-23 09:02:03] 975*2^1514151-1 is not prime. Res64: 48B918DFD3FDEF56 Time : 0.0 sec. user=mdettweiler [2018-06-23 09:02:05] 979*2^1514151-1 is not prime. Res64: 9AE22C576FB0399E Time : 0.0 sec. user=mdettweiler [2018-06-23 09:02:07] 609*2^1514152-1 is not prime. Res64: 88D7E96E03DD05F6 Time : 0.0 sec. user=mdettweiler [2018-06-23 09:02:08] 653*2^1514152-1 is not prime. Res64: 830CA8A95238282F Time : 0.0 sec. user=mdettweiler [2018-06-23 09:15:05] 827*2^1514152-1 is not prime. Res64: 92C279AC959C9D11 Time : 0.0 sec. user=mdettweiler [2018-06-23 09:15:05] 965*2^1514152-1 is not prime. Res64: 830DE4063C51F12C Time : 0.0 sec. user=mdettweiler [2018-06-23 09:15:06] 619*2^1514153-1 is not prime. Res64: 217D3CFB25E8069C Time : 0.0 sec. user=mdettweiler [2018-06-23 09:15:06] 649*2^1514153-1 is not prime. Res64: E3F5A395DEC1ACDA Time : 0.0 sec. user=mdettweiler [2018-06-23 09:15:07] 741*2^1514153-1 is not prime. Res64: 28BFF0729B661CD1 Time : 0.0 sec. user=juhehe [2018-06-23 09:18:31] 745*2^1514153-1 is not prime. Res64: 33A3D0DD73E57F43 Time : 0.0 sec. user=mdettweiler [2018-06-23 09:33:04] 885*2^1514153-1 is not prime. Res64: 9738F87E508DD71F Time : 0.0 sec. user=mdettweiler [2018-06-23 09:33:05] 707*2^1514154-1 is not prime. Res64: 7B7E3B64AC2E39AE Time : 0.0 sec. user=mdettweiler [2018-06-23 09:33:05] 717*2^1514154-1 is not prime. Res64: 99334B7DF5C4A4C1 Time : 0.0 sec. user=mdettweiler [2018-06-23 09:33:06] 723*2^1514154-1 is not prime. Res64: 6D829F294784C128 Time : 0.0 sec. user=mdettweiler [2018-06-23 09:33:06] 791*2^1514154-1 is not prime. Res64: D96CDD4CFDD3ADB2 Time : 0.0 sec. user=mdettweiler [2018-06-23 09:53:34] 825*2^1514154-1 is not prime. Res64: 55DB7DEE5638CA9C Time : 0.0 sec. user=mdettweiler [2018-06-23 09:53:34] 631*2^1514155-1 is not prime. Res64: 74F29E76FC474A93 Time : 0.0 sec. user=mdettweiler [2018-06-23 09:53:35] 645*2^1514155-1 is not prime. Res64: 7447EB0887BBA932 Time : 0.0 sec. user=mdettweiler [2018-06-23 09:53:35] 651*2^1514155-1 is not prime. Res64: 9058CF65A1CF4971 Time : 0.0 sec. user=mdettweiler [2018-06-23 09:53:35] 675*2^1514155-1 is not prime. Res64: 4E7CB4D2525EA7DC Time : 0.0 sec. user=mdettweiler [2018-06-23 09:54:51] 815*2^1514142-1 is not prime. Res64: 05884B11EF18994D Time : 0.0 sec. user=mdettweiler [2018-06-23 09:54:51] 863*2^1514142-1 is not prime. Res64: 1A6F8B32FE36450B Time : 0.0 sec. user=mdettweiler [2018-06-23 09:54:52] 965*2^1514142-1 is not prime. Res64: 38E834BFBFFE2FAF Time : 0.0 sec. user=mdettweiler [2018-06-23 09:54:52] 609*2^1514143-1 is not prime. Res64: E4D458F82FCA17D3 Time : 0.0 sec. user=mdettweiler [2018-06-23 09:54:52] 679*2^1514143-1 is not prime. Res64: 73BEB70833C633FB Time : 0.0 sec. user=mdettweiler [2018-06-23 10:06:19] 841*2^1514155-1 is not prime. Res64: 1D92ABCF740B6651 Time : 0.0 sec. user=mdettweiler [2018-06-23 10:06:21] 973*2^1514155-1 is not prime. Res64: EE11FE2EADB2CD26 Time : 0.0 sec. user=mdettweiler [2018-06-23 10:06:23] 615*2^1514156-1 is not prime. Res64: 0B0EF3DDDA531CE8 Time : 0.0 sec. user=mdettweiler [2018-06-23 10:06:25] 633*2^1514156-1 is not prime. Res64: E9114274BE804E0B Time : 0.0 sec. user=mdettweiler [2018-06-23 10:06:27] 635*2^1514156-1 is not prime. Res64: DBDA36BA2552FDFD Time : 0.0 sec. user=mdettweiler [2018-06-23 10:25:12] 659*2^1514156-1 is not prime. Res64: ACBA61CD785EA07B Time : 0.0 sec. user=mdettweiler [2018-06-23 10:25:12] 717*2^1514156-1 is not prime. Res64: DE06FC8C314DD897 Time : 0.0 sec. user=mdettweiler [2018-06-23 10:25:13] 749*2^1514156-1 is not prime. Res64: F7CAC7421D709B86 Time : 0.0 sec. user=mdettweiler [2018-06-23 10:25:13] 869*2^1514156-1 is not prime. Res64: F7B88F28706D4568 Time : 0.0 sec. user=mdettweiler [2018-06-23 10:25:13] 875*2^1514156-1 is not prime. Res64: DE0AF5BDB4C96924 Time : 0.0 sec. user=mdettweiler [2018-06-23 10:44:33] 999*2^1514156-1 is not prime. Res64: 9D47FA44FFA1EEF7 Time : 0.0 sec. user=mdettweiler [2018-06-23 10:44:34] 609*2^1514157-1 is not prime. Res64: A4E01A9927D62AC0 Time : 0.0 sec. user=mdettweiler [2018-06-23 10:44:34] 655*2^1514157-1 is not prime. Res64: D98BBD1453ED07B4 Time : 0.0 sec. user=mdettweiler [2018-06-23 10:44:35] 717*2^1514157-1 is not prime. Res64: 34B0D71A8F8B1F4F Time : 0.0 sec. user=mdettweiler [2018-06-23 10:44:35] 795*2^1514157-1 is not prime. Res64: 048412ABCF960DD9 Time : 0.0 sec. user=mdettweiler [2018-06-23 10:45:33] 831*2^1514157-1 is not prime. Res64: 62DF2BCE3DF1BCA6 Time : 0.0 sec. user=mdettweiler [2018-06-23 10:45:33] 937*2^1514157-1 is not prime. Res64: A8462CB3AE4FC1AF Time : 0.0 sec. user=mdettweiler [2018-06-23 10:45:34] 985*2^1514157-1 is not prime. Res64: EF8A2D3DB56A487E Time : 0.0 sec. user=mdettweiler [2018-06-23 10:45:34] 605*2^1514158-1 is not prime. Res64: EFA16A103CD6F02A Time : 0.0 sec. user=mdettweiler [2018-06-23 10:45:35] 611*2^1514158-1 is not prime. Res64: 766D052A7E1ABE8E Time : 0.0 sec. user=mdettweiler [2018-06-23 10:59:36] 713*2^1514158-1 is not prime. Res64: 752E037FC020AAE8 Time : 0.0 sec. user=mdettweiler [2018-06-23 10:59:36] 731*2^1514158-1 is not prime. Res64: E945FC80EB41BFE8 Time : 0.0 sec. user=mdettweiler [2018-06-23 10:59:36] 755*2^1514158-1 is not prime. Res64: FF2138357C360FE8 Time : 0.0 sec. user=mdettweiler [2018-06-23 10:59:37] 843*2^1514158-1 is not prime. Res64: 7B9A05A45F8EFC4C Time : 0.0 sec. user=mdettweiler [2018-06-23 10:59:37] 933*2^1514158-1 is not prime. Res64: E6D2CC1F04059E14 Time : 0.0 sec. user=mdettweiler [2018-06-23 11:15:41] 971*2^1514158-1 is not prime. Res64: B614E367F8323DD0 Time : 0.0 sec. user=mdettweiler [2018-06-23 11:15:41] 603*2^1514159-1 is not prime. Res64: F3C4D0947C7AFCC6 Time : 0.0 sec. user=mdettweiler [2018-06-23 11:15:42] 711*2^1514159-1 is not prime. Res64: CE79A346A2ED6CCE Time : 0.0 sec. user=mdettweiler [2018-06-23 11:15:42] 771*2^1514159-1 is not prime. Res64: C13E1514E2FA8FF4 Time : 0.0 sec. user=mdettweiler [2018-06-23 11:15:43] 831*2^1514159-1 is not prime. Res64: BD000CB8A4D65A8B Time : 0.0 sec. user=mdettweiler [2018-06-23 11:35:44] 883*2^1514159-1 is not prime. Res64: AED48C6DFF9D950A Time : 0.0 sec. user=mdettweiler [2018-06-23 11:35:45] 885*2^1514159-1 is not prime. Res64: E67E84498C701009 Time : 0.0 sec. user=mdettweiler [2018-06-23 11:35:45] 913*2^1514159-1 is not prime. Res64: 39268EF67C00A7BF Time : 0.0 sec. user=mdettweiler [2018-06-23 11:35:45] 931*2^1514159-1 is not prime. Res64: 4BAC598480AD030A Time : 0.0 sec. user=mdettweiler [2018-06-23 11:35:46] 627*2^1514160-1 is not prime. Res64: 6925268D2F93702F Time : 0.0 sec. user=mdettweiler [2018-06-23 11:36:35] 707*2^1514160-1 is not prime. Res64: B07703AE84FB30EB Time : 0.0 sec. user=mdettweiler [2018-06-23 11:36:36] 747*2^1514160-1 is not prime. Res64: 20648B9D3A960A9A Time : 0.0 sec. user=mdettweiler [2018-06-23 11:36:36] 923*2^1514160-1 is not prime. Res64: 46FFD640630ACECA Time : 0.0 sec. user=mdettweiler [2018-06-23 11:36:37] 975*2^1514160-1 is not prime. Res64: 62311C7CFF063D70 Time : 0.0 sec. user=mdettweiler [2018-06-23 11:36:37] 609*2^1514161-1 is not prime. Res64: 4AE8A9A87D409498 Time : 0.0 sec. user=juhehe [2018-06-23 11:39:30] 855*2^1514161-1 is not prime. Res64: ADC6E31948845F6B Time : 0.0 sec. user=mdettweiler [2018-06-23 11:51:15] 871*2^1514161-1 is not prime. Res64: 7154F1F739C66761 Time : 0.0 sec. user=mdettweiler [2018-06-23 11:51:16] 975*2^1514161-1 is not prime. Res64: 79D9479CAB69D4D4 Time : 0.0 sec. user=mdettweiler [2018-06-23 11:51:16] 675*2^1514162-1 is not prime. Res64: BF25D134BE1B8997 Time : 0.0 sec. user=mdettweiler [2018-06-23 11:51:16] 747*2^1514162-1 is not prime. Res64: AFD2E8D4178CBF2A Time : 0.0 sec. user=mdettweiler [2018-06-23 11:51:17] 801*2^1514162-1 is not prime. Res64: 88399BA9A44C582C Time : 0.0 sec. user=mdettweiler [2018-06-23 12:09:22] 843*2^1514162-1 is not prime. Res64: E920496FE8E819E1 Time : 0.0 sec. user=mdettweiler [2018-06-23 12:09:22] 981*2^1514162-1 is not prime. Res64: CD329F789973A2FA Time : 0.0 sec. user=mdettweiler [2018-06-23 12:09:23] 983*2^1514162-1 is not prime. Res64: EA6669D3B819BA02 Time : 0.0 sec. user=mdettweiler [2018-06-23 12:09:24] 613*2^1514163-1 is not prime. Res64: F803B8B20C9CE9E1 Time : 0.0 sec. user=mdettweiler [2018-06-23 12:09:24] 669*2^1514163-1 is not prime. Res64: 408AFE10B2286EC4 Time : 0.0 sec. user=mdettweiler [2018-06-23 12:30:13] 685*2^1514163-1 is not prime. Res64: C3B307A5F5E66D06 Time : 0.0 sec. user=mdettweiler [2018-06-23 12:30:13] 709*2^1514163-1 is not prime. Res64: B7B21E54154F7D88 Time : 0.0 sec. user=mdettweiler [2018-06-23 12:30:14] 741*2^1514163-1 is not prime. Res64: 64158524E14BCA77 Time : 0.0 sec. user=mdettweiler [2018-06-23 12:30:14] 795*2^1514163-1 is not prime. Res64: AB9390F7AA94CA1D Time : 0.0 sec. user=mdettweiler [2018-06-23 12:30:14] 819*2^1514163-1 is not prime. Res64: B4D838BD943E87CE Time : 0.0 sec. user=mdettweiler [2018-06-23 12:30:38] 873*2^1514163-1 is not prime. Res64: 0ED7DB13EC78BC50 Time : 0.0 sec. user=mdettweiler [2018-06-23 12:30:39] 921*2^1514163-1 is not prime. Res64: 9081F443765DBBE2 Time : 0.0 sec. user=mdettweiler [2018-06-23 12:30:39] 963*2^1514163-1 is not prime. Res64: 905D51233D0AB44E Time : 0.0 sec. user=mdettweiler [2018-06-23 12:30:39] 985*2^1514163-1 is not prime. Res64: 6B0D1220DDCE6FBE Time : 0.0 sec. user=mdettweiler [2018-06-23 12:30:39] 635*2^1514164-1 is not prime. Res64: 6EE036406FAEA2C1 Time : 0.0 sec. user=mdettweiler [2018-06-23 12:44:41] 707*2^1514164-1 is not prime. Res64: A7A11C2FE539E8A3 Time : 0.0 sec. user=mdettweiler [2018-06-23 12:44:42] 983*2^1514164-1 is not prime. Res64: AC357218A3A825B0 Time : 0.0 sec. user=mdettweiler [2018-06-23 12:44:42] 675*2^1514165-1 is not prime. Res64: 4C2862FA94D3D41C Time : 0.0 sec. user=mdettweiler [2018-06-23 12:44:43] 697*2^1514165-1 is not prime. Res64: 89E9169050145B5F Time : 0.0 sec. user=mdettweiler [2018-06-23 12:44:43] 729*2^1514165-1 is not prime. Res64: B91E9689022B4F74 Time : 0.0 sec. user=mdettweiler [2018-06-23 13:00:23] 939*2^1514165-1 is not prime. Res64: 189948CE641CB29A Time : 0.0 sec. user=mdettweiler [2018-06-23 13:00:24] 641*2^1514166-1 is not prime. Res64: 06AA1105BF9697F5 Time : 0.0 sec. user=mdettweiler [2018-06-23 13:00:25] 741*2^1514166-1 is not prime. Res64: 013CAA67F238DF5E Time : 0.0 sec. user=mdettweiler [2018-06-23 13:00:26] 761*2^1514166-1 is not prime. Res64: A17FD03AEE1FC6C4 Time : 0.0 sec. user=mdettweiler [2018-06-23 13:00:27] 807*2^1514166-1 is not prime. Res64: 11F7B4DAB72D0649 Time : 0.0 sec. user=juhehe [2018-06-23 13:12:03] 903*2^1514166-1 is not prime. Res64: B56838C729ADEC83 Time : 0.0 sec. user=mdettweiler [2018-06-23 13:20:41] 983*2^1514166-1 is not prime. Res64: 58DD947479C5CA8A Time : 0.0 sec. user=mdettweiler [2018-06-23 13:20:42] 603*2^1514167-1 is not prime. Res64: 1D4ACBE99D4ACB8E Time : 0.0 sec. user=mdettweiler [2018-06-23 13:20:42] 705*2^1514167-1 is not prime. Res64: CD81C33DEDB4E97A Time : 0.0 sec. user=mdettweiler [2018-06-23 13:20:43] 763*2^1514167-1 is not prime. Res64: 969B24D6385F4D4F Time : 0.0 sec. user=mdettweiler [2018-06-23 13:20:43] 819*2^1514167-1 is not prime. Res64: 8578A2D379750554 Time : 0.0 sec. user=mdettweiler [2018-06-23 13:21:00] 859*2^1514167-1 is not prime. Res64: AF322C14FAB8E69D Time : 0.0 sec. user=mdettweiler [2018-06-23 13:21:01] 933*2^1514167-1 is not prime. Res64: 6C5B5FFE7E027487 Time : 0.0 sec. user=mdettweiler [2018-06-23 13:21:01] 939*2^1514167-1 is not prime. Res64: 8249CCC7AAEFD234 Time : 0.0 sec. user=mdettweiler [2018-06-23 13:21:01] 951*2^1514167-1 is not prime. Res64: 2D3A2903923D0631 Time : 0.0 sec. user=mdettweiler [2018-06-23 13:21:02] 645*2^1514168-1 is not prime. Res64: B74D9AC8B2994953 Time : 0.0 sec. user=mdettweiler [2018-06-23 13:35:25] 743*2^1514168-1 is not prime. Res64: CC51B05138FAC583 Time : 0.0 sec. user=mdettweiler [2018-06-23 13:35:25] 969*2^1514168-1 is not prime. Res64: CD2211C9DEACF153 Time : 0.0 sec. user=mdettweiler [2018-06-23 13:35:26] 735*2^1514169-1 is not prime. Res64: 3C6D5AD94E6C64D9 Time : 0.0 sec. user=mdettweiler [2018-06-23 13:35:26] 795*2^1514169-1 is not prime. Res64: 8A8FFD7FAFB2DA97 Time : 0.0 sec. user=mdettweiler [2018-06-23 13:35:26] 921*2^1514169-1 is not prime. Res64: 966F6E1BFF1E67F8 Time : 0.0 sec. user=mdettweiler [2018-06-23 13:51:27] 975*2^1514169-1 is not prime. Res64: FA690F42634BFBD9 Time : 0.0 sec. user=mdettweiler [2018-06-23 13:51:27] 985*2^1514169-1 is not prime. Res64: 601E414954A494C1 Time : 0.0 sec. user=mdettweiler [2018-06-23 13:51:28] 681*2^1514170-1 is not prime. Res64: 6F6459DBDAA40BEC Time : 0.0 sec. user=mdettweiler [2018-06-23 13:51:28] 843*2^1514170-1 is not prime. Res64: 36F5AD816188BEA3 Time : 0.0 sec. user=mdettweiler [2018-06-23 13:51:28] 733*2^1514171-1 is not prime. Res64: EDD90AB63D43F0A5 Time : 0.0 sec. user=mdettweiler [2018-06-23 14:11:03] 969*2^1514171-1 is not prime. Res64: 079A8F7F7686D8EF Time : 0.0 sec. user=mdettweiler [2018-06-23 14:11:04] 623*2^1514172-1 is not prime. Res64: 5E0EAD213B489139 Time : 0.0 sec. user=mdettweiler [2018-06-23 14:11:04] 629*2^1514172-1 is not prime. Res64: 42F3A1643698B5EB Time : 0.0 sec. user=mdettweiler [2018-06-23 14:11:04] 825*2^1514172-1 is not prime. Res64: 4D991807ACF58B98 Time : 0.0 sec. user=mdettweiler [2018-06-23 14:11:05] 863*2^1514172-1 is not prime. Res64: C07A1DF8884784A1 Time : 0.0 sec. user=mdettweiler [2018-06-23 14:11:19] 783*2^1514171-1 is not prime. Res64: 53F51E660D37100D Time : 0.0 sec. user=mdettweiler [2018-06-23 14:11:20] 801*2^1514171-1 is not prime. Res64: 827707249C6FBB24 Time : 0.0 sec. user=mdettweiler [2018-06-23 14:11:20] 819*2^1514171-1 is not prime. Res64: 61CE93FAA9098AC9 Time : 0.0 sec. user=mdettweiler [2018-06-23 14:11:21] 879*2^1514171-1 is not prime. Res64: 2172D208366EBF1E Time : 0.0 sec. user=mdettweiler [2018-06-23 14:11:21] 921*2^1514171-1 is not prime. Res64: EF85B155054ABA4C Time : 0.0 sec. user=mdettweiler [2018-06-23 14:25:49] 873*2^1514172-1 is not prime. Res64: F19DA228A102DB73 Time : 0.0 sec. user=mdettweiler [2018-06-23 14:25:50] 903*2^1514172-1 is not prime. Res64: 200D311C93116B1C Time : 0.0 sec. user=mdettweiler [2018-06-23 14:25:50] 923*2^1514172-1 is not prime. Res64: D5CD81A8A7C3A4E0 Time : 0.0 sec. user=mdettweiler [2018-06-23 14:25:51] 609*2^1514173-1 is not prime. Res64: 3CD81B1D0D285846 Time : 0.0 sec. user=mdettweiler [2018-06-23 14:25:51] 721*2^1514173-1 is not prime. Res64: E2F04DCEE8F0C2C5 Time : 0.0 sec. user=mdettweiler [2018-06-23 14:42:20] 789*2^1514173-1 is not prime. Res64: 352E5EE6A04A4202 Time : 0.0 sec. user=mdettweiler [2018-06-23 14:42:21] 829*2^1514173-1 is not prime. Res64: 3798B4261401E00D Time : 0.0 sec. user=mdettweiler [2018-06-23 14:42:21] 937*2^1514173-1 is not prime. Res64: E16398457748C322 Time : 0.0 sec. user=mdettweiler [2018-06-23 14:42:22] 951*2^1514173-1 is not prime. Res64: 980A61AA29F5A579 Time : 0.0 sec. user=mdettweiler [2018-06-23 14:42:22] 657*2^1514174-1 is not prime. Res64: CC6FC209EF1C00D3 Time : 0.0 sec. user=mdettweiler [2018-06-23 15:02:09] 665*2^1514174-1 is not prime. Res64: 907BCD78104DAD5D Time : 0.0 sec. user=mdettweiler [2018-06-23 15:02:10] 731*2^1514174-1 is not prime. Res64: 77F989DE2A62B3C7 Time : 0.0 sec. user=mdettweiler [2018-06-23 15:02:11] 767*2^1514174-1 is not prime. Res64: BA8C28A6A886E3CD Time : 0.0 sec. user=mdettweiler [2018-06-23 15:02:12] 791*2^1514174-1 is not prime. Res64: 070533B3F022734A Time : 0.0 sec. user=mdettweiler [2018-06-23 15:02:12] 813*2^1514174-1 is not prime. Res64: BB5AED4958016AE7 Time : 0.0 sec. user=mdettweiler [2018-06-23 15:02:19] 921*2^1514174-1 is not prime. Res64: B6F03A612F21120F Time : 0.0 sec. user=mdettweiler [2018-06-23 15:02:20] 927*2^1514174-1 is not prime. Res64: 04F8352E5584895F Time : 0.0 sec. user=mdettweiler [2018-06-23 15:02:21] 941*2^1514174-1 is not prime. Res64: 04AE8A3DBD24FEB3 Time : 0.0 sec. user=mdettweiler [2018-06-23 15:02:22] 741*2^1514175-1 is not prime. Res64: E38E36B212D3F2FD Time : 0.0 sec. user=mdettweiler [2018-06-23 15:02:23] 781*2^1514175-1 is not prime. Res64: B8EF6D22350FE158 Time : 0.0 sec. user=mdettweiler [2018-06-23 15:16:41] 871*2^1514175-1 is not prime. Res64: 78A463D0643F205A Time : 0.0 sec. user=mdettweiler [2018-06-23 15:16:42] 645*2^1514176-1 is not prime. Res64: F9D1B89585648D70 Time : 0.0 sec. user=mdettweiler [2018-06-23 15:16:42] 719*2^1514176-1 is not prime. Res64: 7C26AF805C9620C3 Time : 0.0 sec. user=mdettweiler [2018-06-23 15:16:42] 735*2^1514176-1 is not prime. Res64: 9B29AFFB4F2951E2 Time : 0.0 sec. user=mdettweiler [2018-06-23 15:16:43] 779*2^1514176-1 is not prime. Res64: F06B805B6AC565CD Time : 0.0 sec. user=juhehe [2018-06-23 15:31:39] 735*2^1514177-1 is not prime. Res64: 8EC80FEC31693405 Time : 0.0 sec. user=mdettweiler [2018-06-23 15:33:09] 899*2^1514176-1 is not prime. Res64: 6EBEE901FFC56AC9 Time : 0.0 sec. user=mdettweiler [2018-06-23 15:33:09] 615*2^1514177-1 is not prime. Res64: BA539715FAC6DAC6 Time : 0.0 sec. user=mdettweiler [2018-06-23 15:33:10] 669*2^1514177-1 is not prime. Res64: 87F3D2ADDF83A6E8 Time : 0.0 sec. user=mdettweiler [2018-06-23 15:33:10] 675*2^1514177-1 is not prime. Res64: 7C0FE4BBCD15B9D5 Time : 0.0 sec. user=mdettweiler [2018-06-23 15:33:10] 697*2^1514177-1 is not prime. Res64: EB80E1091486BD75 Time : 0.0 sec. user=mdettweiler [2018-06-23 15:53:15] 867*2^1514177-1 is not prime. Res64: BAC643B5A3A233AD Time : 0.0 sec. user=mdettweiler [2018-06-23 15:53:16] 657*2^1514178-1 is not prime. Res64: 2CEE473EDAC0D301 Time : 0.0 sec. user=mdettweiler [2018-06-23 15:53:16] 695*2^1514178-1 is not prime. Res64: 512D56572917BFD3 Time : 0.0 sec. user=mdettweiler [2018-06-23 15:53:17] 765*2^1514178-1 is not prime. Res64: A4A642618D35A45C Time : 0.0 sec. user=mdettweiler [2018-06-23 15:53:17] 803*2^1514178-1 is not prime. Res64: 760AE7CD60467394 Time : 0.0 sec. user=mdettweiler [2018-06-23 15:53:56] 821*2^1514178-1 is not prime. Res64: 3E0ADD272DF16698 Time : 0.0 sec. user=mdettweiler [2018-06-23 15:53:56] 861*2^1514178-1 is not prime. Res64: 47F14BB19A49E31A Time : 0.0 sec. user=mdettweiler [2018-06-23 15:53:57] 993*2^1514178-1 is not prime. Res64: A355B3C9D6DDF152 Time : 0.0 sec. user=mdettweiler [2018-06-23 15:53:57] 1001*2^1514178-1 is not prime. Res64: 72583974BD9B4629 Time : 0.0 sec. user=mdettweiler [2018-06-23 15:53:57] 855*2^1514179-1 is not prime. Res64: C951EE2C39118B28 Time : 0.0 sec. user=mdettweiler [2018-06-23 16:07:28] 889*2^1514179-1 is not prime. Res64: B6D204587475B474 Time : 0.0 sec. user=mdettweiler [2018-06-23 16:07:29] 891*2^1514179-1 is not prime. Res64: 49AFF6F4A9C8ABA9 Time : 0.0 sec. user=mdettweiler [2018-06-23 16:07:29] 909*2^1514179-1 is not prime. Res64: 6D085C4A8E68C32B Time : 0.0 sec. user=mdettweiler [2018-06-23 16:07:30] 973*2^1514179-1 is not prime. Res64: 5D7F9796475750E0 Time : 0.0 sec. user=mdettweiler [2018-06-23 16:07:30] 985*2^1514179-1 is not prime. Res64: 3DAC25589962BA59 Time : 0.0 sec. user=mdettweiler [2018-06-23 16:23:34] 795*2^1514180-1 is not prime. Res64: A5E826C153C6A0BE Time : 0.0 sec. user=mdettweiler [2018-06-23 16:23:35] 797*2^1514180-1 is not prime. Res64: 6199BECF3D13BB70 Time : 0.0 sec. user=mdettweiler [2018-06-23 16:23:36] 649*2^1514181-1 is not prime. Res64: 5F7DC70B5CD86C9C Time : 0.0 sec. user=mdettweiler [2018-06-23 16:23:37] 741*2^1514181-1 is not prime. Res64: 9C4F9E00E952695D Time : 0.0 sec. user=mdettweiler [2018-06-23 16:23:37] 795*2^1514181-1 is not prime. Res64: CAA8DFC81F0F8B65 Time : 0.0 sec. user=mdettweiler [2018-06-23 16:44:27] 847*2^1514181-1 is not prime. Res64: 51C2EECA0C212B8D Time : 0.0 sec. user=mdettweiler [2018-06-23 16:44:27] 885*2^1514181-1 is not prime. Res64: 66B849A7784DF0DB Time : 0.0 sec. user=mdettweiler [2018-06-23 16:44:27] 889*2^1514181-1 is not prime. Res64: CF5CC754CED82D8C Time : 0.0 sec. user=mdettweiler [2018-06-23 16:44:28] 665*2^1514182-1 is not prime. Res64: 41321879CCB569E1 Time : 0.0 sec. user=mdettweiler [2018-06-23 16:44:28] 885*2^1514182-1 is not prime. Res64: 9347BA5594D541D9 Time : 0.0 sec. user=mdettweiler [2018-06-23 16:44:37] 703*2^1514183-1 is not prime. Res64: CFC2D4F91B9B633B Time : 0.0 sec. user=mdettweiler [2018-06-23 16:44:37] 715*2^1514183-1 is not prime. Res64: 91FF379BEFBEB26D Time : 0.0 sec. user=mdettweiler [2018-06-23 16:44:37] 771*2^1514183-1 is not prime. Res64: 003F94AE10C8090D Time : 0.0 sec. user=mdettweiler [2018-06-23 16:44:38] 955*2^1514183-1 is not prime. Res64: 99C5AF6DCE55DC73 Time : 0.0 sec. user=mdettweiler [2018-06-23 16:44:38] 963*2^1514183-1 is not prime. Res64: 77E848B9434C02D6 Time : 0.0 sec. user=mdettweiler [2018-06-23 16:57:40] 627*2^1514184-1 is not prime. Res64: D74428666E12EDE1 Time : 0.0 sec. user=mdettweiler [2018-06-23 16:57:41] 629*2^1514184-1 is not prime. Res64: 0549C5FEFADBF755 Time : 0.0 sec. user=mdettweiler [2018-06-23 16:57:41] 737*2^1514184-1 is not prime. Res64: 00B4AD6FA12D6FEE Time : 0.0 sec. user=mdettweiler [2018-06-23 16:57:41] 765*2^1514184-1 is not prime. Res64: 62B64C5914E72C02 Time : 0.0 sec. user=mdettweiler [2018-06-23 16:57:42] 849*2^1514184-1 is not prime. Res64: 5D9E017803BBFD3B Time : 0.0 sec. user=mdettweiler [2018-06-23 17:14:31] 875*2^1514184-1 is not prime. Res64: 39A36937A7BF50C6 Time : 0.0 sec. user=mdettweiler [2018-06-23 17:14:32] 945*2^1514184-1 is not prime. Res64: BAC1E313AF9152B3 Time : 0.0 sec. user=mdettweiler [2018-06-23 17:14:32] 717*2^1514185-1 is not prime. Res64: 7CE5B5EAC6C99F9A Time : 0.0 sec. user=mdettweiler [2018-06-23 17:14:33] 729*2^1514185-1 is not prime. Res64: 7463047643A5FD45 Time : 0.0 sec. user=mdettweiler [2018-06-23 17:14:33] 789*2^1514185-1 is not prime. Res64: 78E6F86E8C330BC8 Time : 0.0 sec. user=mdettweiler [2018-06-23 17:38:48] 799*2^1514185-1 is not prime. Res64: 55AB2949DA2A458E Time : 0.0 sec. user=mdettweiler [2018-06-23 17:38:49] 981*2^1514185-1 is not prime. Res64: F5CADF5C5C9D0030 Time : 0.0 sec. user=mdettweiler [2018-06-23 17:38:49] 651*2^1514186-1 is not prime. Res64: B64C824B4A24F0E5 Time : 0.0 sec. user=mdettweiler [2018-06-23 17:38:50] 707*2^1514186-1 is not prime. Res64: 82A0978C64900542 Time : 0.0 sec. user=mdettweiler [2018-06-23 17:38:50] 711*2^1514186-1 is not prime. Res64: CC81235B496B5C11 Time : 0.0 sec. user=mdettweiler [2018-06-23 17:39:49] 735*2^1514186-1 is not prime. Res64: E3D8F478A0001B7B Time : 0.0 sec. user=mdettweiler [2018-06-23 17:39:49] 773*2^1514186-1 is not prime. Res64: 7FA6DA6E71954F53 Time : 0.0 sec. user=mdettweiler [2018-06-23 17:39:50] 827*2^1514186-1 is not prime. Res64: 8F0F2E38E7205141 Time : 0.0 sec. user=mdettweiler [2018-06-23 17:39:50] 837*2^1514186-1 is not prime. Res64: 42242C5F959032F7 Time : 0.0 sec. user=mdettweiler [2018-06-23 17:39:51] 903*2^1514186-1 is not prime. Res64: DCD31A0F8D37A1EB Time : 0.0 sec. user=juhehe [2018-06-23 17:51:46] 961*2^1514187-1 is not prime. Res64: 2481A20D57BC089B Time : 0.0 sec. user=mdettweiler [2018-06-23 17:53:01] 945*2^1514186-1 is not prime. Res64: A5B0D823A783F063 Time : 0.0 sec. user=mdettweiler [2018-06-23 17:53:02] 643*2^1514187-1 is not prime. Res64: 353D638819B23E01 Time : 0.0 sec. user=mdettweiler [2018-06-23 17:53:02] 735*2^1514187-1 is not prime. Res64: 3205F5B89FB96C21 Time : 0.0 sec. user=mdettweiler [2018-06-23 17:53:02] 849*2^1514187-1 is not prime. Res64: 4FAF84B7237C4B8A Time : 0.0 sec. user=mdettweiler [2018-06-23 17:53:03] 895*2^1514187-1 is not prime. Res64: 241A620C1521B4C1 Time : 0.0 sec. user=mdettweiler [2018-06-23 18:10:13] 975*2^1514187-1 is not prime. Res64: 9D90833401779306 Time : 0.0 sec. user=mdettweiler [2018-06-23 18:10:14] 999*2^1514187-1 is not prime. Res64: 4559CE9ACEF0272C Time : 0.0 sec. user=mdettweiler [2018-06-23 18:10:14] 657*2^1514188-1 is not prime. Res64: 2CC757845E884DF8 Time : 0.0 sec. user=mdettweiler [2018-06-23 18:10:15] 689*2^1514188-1 is not prime. Res64: 4744EF56BF30326C Time : 0.0 sec. user=mdettweiler [2018-06-23 18:10:16] 797*2^1514188-1 is not prime. Res64: 602AAD661CBE64BC Time : 0.0 sec. user=mdettweiler [2018-06-23 18:31:19] 649*2^1514189-1 is not prime. Res64: 5579CDB571C5D316 Time : 0.0 sec. user=mdettweiler [2018-06-23 18:31:19] 657*2^1514189-1 is not prime. Res64: 34A39046681A4B94 Time : 0.0 sec. user=mdettweiler [2018-06-23 18:31:20] 795*2^1514189-1 is not prime. Res64: 47397118AC278B61 Time : 0.0 sec. user=mdettweiler [2018-06-23 18:31:20] 885*2^1514189-1 is not prime. Res64: 92AD9E7CA5F5D5BB Time : 0.0 sec. user=mdettweiler [2018-06-23 18:31:21] 991*2^1514189-1 is not prime. Res64: 7063D9984E7ECAC4 Time : 0.0 sec. user=mdettweiler [2018-06-23 18:31:36] 827*2^1514188-1 is not prime. Res64: 5D4EA7E03948876D Time : 0.0 sec. user=mdettweiler [2018-06-23 18:31:37] 843*2^1514188-1 is not prime. Res64: 8D2704995B301D5F Time : 0.0 sec. user=mdettweiler [2018-06-23 18:31:37] 855*2^1514188-1 is not prime. Res64: 7D41C15E0FE7FE4E Time : 0.0 sec. user=mdettweiler [2018-06-23 18:31:37] 927*2^1514188-1 is not prime. Res64: 7216C70491DEE665 Time : 0.0 sec. user=mdettweiler [2018-06-23 18:31:38] 933*2^1514188-1 is not prime. Res64: AB545F8074586F48 Time : 0.0 sec. user=mdettweiler [2018-06-23 18:45:36] 677*2^1514190-1 is not prime. Res64: 1B75F0200486415F Time : 0.0 sec. user=mdettweiler [2018-06-23 18:45:36] 713*2^1514190-1 is not prime. Res64: 1333E0E0EF157308 Time : 0.0 sec. user=mdettweiler [2018-06-23 18:45:37] 795*2^1514190-1 is not prime. Res64: 7015DDA95A6F1D15 Time : 0.0 sec. user=mdettweiler [2018-06-23 18:45:37] 833*2^1514190-1 is not prime. Res64: 18B23269A99B7A43 Time : 0.0 sec. user=mdettweiler [2018-06-23 18:45:37] 885*2^1514190-1 is not prime. Res64: EB1D04BD5632FABA Time : 0.0 sec. user=mdettweiler [2018-06-23 19:02:45] 917*2^1514190-1 is not prime. Res64: DA0EC7E251A3B9B1 Time : 0.0 sec. user=mdettweiler [2018-06-23 19:02:47] 1001*2^1514190-1 is not prime. Res64: E8CA5CEC05811C60 Time : 0.0 sec. user=mdettweiler [2018-06-23 19:02:48] 651*2^1514191-1 is not prime. Res64: 01774CFA2ACD8965 Time : 0.0 sec. user=mdettweiler [2018-06-23 19:02:50] 741*2^1514191-1 is not prime. Res64: BA6F798E63A22F33 Time : 0.0 sec. user=mdettweiler [2018-06-23 19:02:51] 855*2^1514191-1 is not prime. Res64: C6214C8E237FC999 Time : 0.0 sec. user=mdettweiler [2018-06-23 19:24:22] 899*2^1514192-1 is not prime. Res64: 53A60BEB218A1034 Time : 0.0 sec. user=mdettweiler [2018-06-23 19:24:22] 651*2^1514193-1 is not prime. Res64: 57DE074BB8393504 Time : 0.0 sec. user=mdettweiler [2018-06-23 19:24:23] 679*2^1514193-1 is not prime. Res64: CE7AAEEA1D75C9C3 Time : 0.0 sec. user=mdettweiler [2018-06-23 19:24:23] 721*2^1514193-1 is not prime. Res64: 8E5F71BDBA876898 Time : 0.0 sec. user=mdettweiler [2018-06-23 19:24:24] 847*2^1514193-1 is not prime. Res64: 82703650A9C0CF81 Time : 0.0 sec. user=mdettweiler [2018-06-23 19:25:06] 909*2^1514191-1 is not prime. Res64: 79B33087BE64E1FF Time : 0.0 sec. user=mdettweiler [2018-06-23 19:25:06] 669*2^1514192-1 is not prime. Res64: 2361F68C6961FD7C Time : 0.0 sec. user=mdettweiler [2018-06-23 19:25:07] 713*2^1514192-1 is not prime. Res64: 81B922D0295594ED Time : 0.0 sec. user=mdettweiler [2018-06-23 19:25:07] 759*2^1514192-1 is not prime. Res64: D6427E06517D8FB2 Time : 0.0 sec. user=mdettweiler [2018-06-23 19:25:08] 785*2^1514192-1 is not prime. Res64: 060B690387176789 Time : 0.0 sec. user=mdettweiler [2018-06-23 19:38:10] 877*2^1514193-1 is not prime. Res64: 0D5B0A8B09D73FB7 Time : 0.0 sec. user=mdettweiler [2018-06-23 19:38:11] 677*2^1514194-1 is not prime. Res64: B1874B2C27468A77 Time : 0.0 sec. user=mdettweiler [2018-06-23 19:38:11] 705*2^1514194-1 is not prime. Res64: 9A76E01A39499603 Time : 0.0 sec. user=mdettweiler [2018-06-23 19:38:12] 717*2^1514194-1 is not prime. Res64: C655A46AEA64F560 Time : 0.0 sec. user=mdettweiler [2018-06-23 19:38:12] 827*2^1514194-1 is not prime. Res64: 4191EE791F2E668D Time : 0.0 sec. user=mdettweiler [2018-06-23 19:55:41] 855*2^1514195-1 is not prime. Res64: 994BBFB3BD5726F1 Time : 0.0 sec. user=mdettweiler [2018-06-23 19:55:42] 861*2^1514195-1 is not prime. Res64: A2981B23F142C322 Time : 0.0 sec. user=mdettweiler [2018-06-23 19:55:42] 871*2^1514195-1 is not prime. Res64: 45398D34EDAFAE0C Time : 0.0 sec. user=mdettweiler [2018-06-23 19:55:42] 903*2^1514195-1 is not prime. Res64: 3FC1F681B94ED2A5 Time : 0.0 sec. user=mdettweiler [2018-06-23 19:55:43] 999*2^1514195-1 is not prime. Res64: 9DAEC369B4B33559 Time : 0.0 sec. user=juhehe [2018-06-23 20:10:57] 817*2^1514197-1 is not prime. Res64: 30A402A8A8FB9BB6 Time : 0.0 sec. user=mdettweiler [2018-06-23 20:15:32] 633*2^1514196-1 is not prime. Res64: D13A452741881917 Time : 0.0 sec. user=mdettweiler [2018-06-23 20:15:33] 717*2^1514196-1 is not prime. Res64: 822B46DB6BC92B98 Time : 0.0 sec. user=mdettweiler [2018-06-23 20:15:33] 737*2^1514196-1 is not prime. Res64: 73A90EC95263EA29 Time : 0.0 sec. user=mdettweiler [2018-06-23 20:15:34] 759*2^1514196-1 is not prime. Res64: F9D561589EB3EA43 Time : 0.0 sec. user=mdettweiler [2018-06-23 20:15:34] 777*2^1514196-1 is not prime. Res64: 90059284C11D6BC2 Time : 0.0 sec. user=mdettweiler [2018-06-23 20:15:50] 825*2^1514196-1 is not prime. Res64: 648C74A631ABA384 Time : 0.0 sec. user=mdettweiler [2018-06-23 20:15:51] 843*2^1514196-1 is not prime. Res64: 6D8B70FB1B297458 Time : 0.0 sec. user=mdettweiler [2018-06-23 20:15:51] 923*2^1514196-1 is not prime. Res64: 99C2A2657AE36848 Time : 0.0 sec. user=mdettweiler [2018-06-23 20:15:51] 639*2^1514197-1 is not prime. Res64: 522F72D60746C4F2 Time : 0.0 sec. user=mdettweiler [2018-06-23 20:15:52] 729*2^1514197-1 is not prime. Res64: 6937490E8349B380 Time : 0.0 sec. user=mdettweiler [2018-06-23 20:29:21] 937*2^1514197-1 is not prime. Res64: 69A5F3C598CFABE0 Time : 0.0 sec. user=mdettweiler [2018-06-23 20:29:21] 665*2^1514198-1 is not prime. Res64: 294D08516B80A43D Time : 0.0 sec. user=mdettweiler [2018-06-23 20:29:21] 683*2^1514198-1 is not prime. Res64: A6BEE0BBFCF74F70 Time : 0.0 sec. user=mdettweiler [2018-06-23 20:29:22] 857*2^1514198-1 is not prime. Res64: 15BA5900D55ED8C6 Time : 0.0 sec. user=mdettweiler [2018-06-23 20:29:22] 679*2^1514199-1 is not prime. Res64: A07BC93C8ABC141E Time : 0.0 sec. user=mdettweiler [2018-06-23 20:46:35] 853*2^1514199-1 is not prime. Res64: EFDEADBF001CF324 Time : 0.0 sec. user=mdettweiler [2018-06-23 20:46:36] 873*2^1514199-1 is not prime. Res64: 4DA45763CD9F4519 Time : 0.0 sec. user=mdettweiler [2018-06-23 20:46:36] 973*2^1514199-1 is not prime. Res64: 7450452192ED6D0E Time : 0.0 sec. user=mdettweiler [2018-06-23 20:46:36] 615*2^1514200-1 is not prime. Res64: 2E8147ABD8D9AB84 Time : 0.0 sec. user=mdettweiler [2018-06-23 20:46:37] 665*2^1514200-1 is not prime. Res64: 50F0F6A7CF1CF373 Time : 0.0 sec. user=mdettweiler [2018-06-23 21:07:01] 915*2^1514200-1 is not prime. Res64: 5B45C259C3813015 Time : 0.0 sec. user=mdettweiler [2018-06-23 21:07:03] 717*2^1514201-1 is not prime. Res64: 08187BE658AEC712 Time : 0.0 sec. user=mdettweiler [2018-06-23 21:07:07] 769*2^1514201-1 is not prime. Res64: B00E23EC8D35CEC7 Time : 0.0 sec. user=mdettweiler [2018-06-23 21:07:10] 777*2^1514201-1 is not prime. Res64: B4BFE665A2653FA2 Time : 0.0 sec. user=mdettweiler [2018-06-23 21:07:15] 829*2^1514201-1 is not prime. Res64: 8A17DF4DD5B7BBF4 Time : 0.0 sec. user=mdettweiler [2018-06-23 21:07:19] 773*2^1514200-1 is not prime. Res64: 286C173C7B3AF911 Time : 0.0 sec. user=mdettweiler [2018-06-23 21:07:27] 843*2^1514200-1 is not prime. Res64: 1087FE4684C0539E Time : 0.0 sec. user=mdettweiler [2018-06-23 21:07:33] 845*2^1514200-1 is not prime. Res64: 5FE31E7EC8050A16 Time : 0.0 sec. user=mdettweiler [2018-06-23 21:07:41] 887*2^1514200-1 is not prime. Res64: 8D1B5AC9B75567E0 Time : 0.0 sec. user=mdettweiler [2018-06-23 21:07:47] 897*2^1514200-1 is not prime. Res64: 72A7054F437E72B6 Time : 0.0 sec. user=mdettweiler [2018-06-23 21:20:24] 925*2^1514201-1 is not prime. Res64: 7C4856A451AD0280 Time : 0.0 sec. user=mdettweiler [2018-06-23 21:20:25] 931*2^1514201-1 is not prime. Res64: FEADFC59F6B6308D Time : 0.0 sec. user=mdettweiler [2018-06-23 21:20:25] 945*2^1514201-1 is not prime. Res64: FB869DA641243423 Time : 0.0 sec. user=mdettweiler [2018-06-23 21:20:26] 615*2^1514202-1 is not prime. Res64: 55633AC99C387726 Time : 0.0 sec. user=mdettweiler [2018-06-23 21:20:26] 711*2^1514202-1 is not prime. Res64: BB7CA78C4529E31A Time : 0.0 sec. user=mdettweiler [2018-06-23 21:38:02] 731*2^1514202-1 is not prime. Res64: 877C6CE80B7E30D2 Time : 0.0 sec. user=mdettweiler [2018-06-23 21:38:03] 777*2^1514202-1 is not prime. Res64: B514717364769AC2 Time : 0.0 sec. user=mdettweiler [2018-06-23 21:38:03] 797*2^1514202-1 is not prime. Res64: 307475E13AE56F33 Time : 0.0 sec. user=mdettweiler [2018-06-23 21:38:04] 875*2^1514202-1 is not prime. Res64: 03CDDBC71B3EC43A Time : 0.0 sec. user=mdettweiler [2018-06-23 21:38:05] 893*2^1514202-1 is not prime. Res64: E9C919E492F902C0 Time : 0.0 sec. user=mdettweiler [2018-06-23 22:01:12] 765*2^1514203-1 is not prime. Res64: AED97FAE61BBC872 Time : 0.0 sec. user=mdettweiler [2018-06-23 22:01:17] 783*2^1514203-1 is not prime. Res64: 8E3409D0CF8DCD05 Time : 0.0 sec. user=mdettweiler [2018-06-23 22:01:21] 835*2^1514203-1 is not prime. Res64: 0A5EE771A1067845 Time : 0.0 sec. user=mdettweiler [2018-06-23 22:01:24] 859*2^1514203-1 is not prime. Res64: 2C5C96E8D4CCEF83 Time : 0.0 sec. user=mdettweiler [2018-06-23 22:01:26] 883*2^1514203-1 is not prime. Res64: 091818F5328E11DC Time : 0.0 sec. user=mdettweiler [2018-06-23 22:01:28] 925*2^1514203-1 is not prime. Res64: 39172EC6C297B797 Time : 0.0 sec. user=mdettweiler [2018-06-23 22:01:32] 945*2^1514203-1 is not prime. Res64: B8BB4D1FDAC85F04 Time : 0.0 sec. user=mdettweiler [2018-06-23 22:01:35] 717*2^1514204-1 is not prime. Res64: BE90F8E898666112 Time : 0.0 sec. user=mdettweiler [2018-06-23 22:01:39] 773*2^1514204-1 is not prime. Res64: 4AB33670D947CE98 Time : 0.0 sec. user=mdettweiler [2018-06-23 22:01:43] 819*2^1514204-1 is not prime. Res64: 38D5E199244D4474 Time : 0.0 sec. user=mdettweiler [2018-06-23 22:11:13] 875*2^1514204-1 is not prime. Res64: FAF12649430DE0DF Time : 0.0 sec. user=mdettweiler [2018-06-23 22:11:17] 717*2^1514205-1 is not prime. Res64: BC73AF1403047361 Time : 0.0 sec. user=mdettweiler [2018-06-23 22:11:19] 751*2^1514205-1 is not prime. Res64: 94ED2EC947FF7F55 Time : 0.0 sec. user=mdettweiler [2018-06-23 22:11:24] 831*2^1514205-1 is not prime. Res64: 835BEBFC271953CF Time : 0.0 sec. user=mdettweiler [2018-06-23 22:11:29] 895*2^1514205-1 is not prime. Res64: 2163B827C9857DC7 Time : 0.0 sec. user=mdettweiler [2018-06-23 22:28:40] 951*2^1514205-1 is not prime. Res64: ACE7D78E067E478F Time : 0.0 sec. user=mdettweiler [2018-06-23 22:28:40] 961*2^1514205-1 is not prime. Res64: 5E43CADBAB52F9DC Time : 0.0 sec. user=mdettweiler [2018-06-23 22:28:40] 975*2^1514205-1 is not prime. Res64: 89A13CF91E099317 Time : 0.0 sec. user=mdettweiler [2018-06-23 22:28:41] 647*2^1514206-1 is not prime. Res64: 3EC11D6AA3DBBDC3 Time : 0.0 sec. user=mdettweiler [2018-06-23 22:28:41] 923*2^1514206-1 is not prime. Res64: 61D9BC7951E57DE3 Time : 0.0 sec. user=mdettweiler [2018-06-23 22:52:25] 609*2^1514207-1 is not prime. Res64: B96C98FF5C735137 Time : 0.0 sec. user=mdettweiler [2018-06-23 22:52:26] 685*2^1514207-1 is not prime. Res64: 19606B530CF51B33 Time : 0.0 sec. user=mdettweiler [2018-06-23 22:52:26] 781*2^1514207-1 is not prime. Res64: D14B816544A2EC8A Time : 0.0 sec. user=mdettweiler [2018-06-23 22:52:27] 883*2^1514207-1 is not prime. Res64: B5884A964E972F0B Time : 0.0 sec. user=mdettweiler [2018-06-23 22:52:27] 627*2^1514208-1 is not prime. Res64: 30EC08AFB9F8A7CA Time : 0.0 sec. user=mdettweiler [2018-06-23 22:53:12] 665*2^1514208-1 is not prime. Res64: 09C6611A89BCBADC Time : 0.0 sec. user=mdettweiler [2018-06-23 22:53:13] 795*2^1514208-1 is not prime. Res64: 9F46AC265546B035 Time : 0.0 sec. user=mdettweiler [2018-06-23 22:53:13] 815*2^1514208-1 is not prime. Res64: B868CE51F4976A97 Time : 0.0 sec. user=mdettweiler [2018-06-23 22:53:13] 945*2^1514208-1 is not prime. Res64: DE6764AD793A7F41 Time : 0.0 sec. user=mdettweiler [2018-06-23 22:53:14] 977*2^1514208-1 is not prime. Res64: 9B2E74CB05388F6D Time : 0.0 sec. user=mdettweiler [2018-06-23 23:03:08] 625*2^1514209-1 is not prime. Res64: 2CDEAEED2F66316E Time : 0.0 sec. user=mdettweiler [2018-06-23 23:03:09] 667*2^1514209-1 is not prime. Res64: A251E21AF492F6DF Time : 0.0 sec. user=mdettweiler [2018-06-23 23:03:10] 685*2^1514209-1 is not prime. Res64: D60EE9BB88728A48 Time : 0.0 sec. user=mdettweiler [2018-06-23 23:03:11] 687*2^1514209-1 is not prime. Res64: 347EF41498062BEA Time : 0.0 sec. user=mdettweiler [2018-06-23 23:03:12] 747*2^1514209-1 is not prime. Res64: D0FE836EAA9586E3 Time : 0.0 sec. user=mdettweiler [2018-06-23 23:19:31] 807*2^1514209-1 is not prime. Res64: B419B7D0234EC5DB Time : 0.0 sec. user=mdettweiler [2018-06-23 23:19:31] 831*2^1514209-1 is not prime. Res64: E4A2B9228E3F9014 Time : 0.0 sec. user=mdettweiler [2018-06-23 23:19:32] 855*2^1514209-1 is not prime. Res64: BEBABE1AB12A76F4 Time : 0.0 sec. user=mdettweiler [2018-06-23 23:19:32] 867*2^1514209-1 is not prime. Res64: 3321C3F4A122C0D6 Time : 0.0 sec. user=mdettweiler [2018-06-23 23:19:33] 895*2^1514209-1 is not prime. Res64: B964CD6507C80FD1 Time : 0.0 sec. user=mdettweiler [2018-06-23 23:43:12] 909*2^1514209-1 is not prime. Res64: 35762CDE17A4B503 Time : 0.0 sec. user=mdettweiler [2018-06-23 23:43:13] 945*2^1514209-1 is not prime. Res64: 378F337B737979D6 Time : 0.0 sec. user=mdettweiler [2018-06-23 23:43:13] 665*2^1514210-1 is not prime. Res64: 9A07791F8BE40B13 Time : 0.0 sec. user=mdettweiler [2018-06-23 23:43:14] 851*2^1514210-1 is not prime. Res64: 5E4CE6B5EB1E85CE Time : 0.0 sec. user=mdettweiler [2018-06-23 23:43:14] 861*2^1514210-1 is not prime. Res64: 3446771B7765E31D Time : 0.0 sec. user=mdettweiler [2018-06-23 23:43:42] 867*2^1514210-1 is not prime. Res64: 38EF637AF77A6135 Time : 0.0 sec. user=mdettweiler [2018-06-23 23:43:42] 911*2^1514210-1 is not prime. Res64: A059DDE6F6C03BD3 Time : 0.0 sec. user=mdettweiler [2018-06-23 23:43:43] 971*2^1514210-1 is not prime. Res64: 4185DC976238B3C0 Time : 0.0 sec. user=mdettweiler [2018-06-23 23:43:43] 651*2^1514211-1 is not prime. Res64: AF6B03088CF5E3CF Time : 0.0 sec. user=mdettweiler [2018-06-23 23:43:43] 709*2^1514211-1 is not prime. Res64: 3D0F8FC1E21772BF Time : 0.0 sec. user=mdettweiler [2018-06-23 23:54:31] 783*2^1514211-1 is not prime. Res64: B83AFE9887BC4A0D Time : 0.0 sec. user=mdettweiler [2018-06-23 23:54:31] 805*2^1514211-1 is not prime. Res64: 589733E2EC6C2483 Time : 0.0 sec. user=mdettweiler [2018-06-23 23:54:32] 879*2^1514211-1 is not prime. Res64: 174A9AA8494D561E Time : 0.0 sec. user=mdettweiler [2018-06-23 23:54:32] 895*2^1514211-1 is not prime. Res64: A13787FDF258D398 Time : 0.0 sec. user=mdettweiler [2018-06-23 23:54:33] 705*2^1514212-1 is not prime. Res64: 06F5385148DE886E Time : 0.0 sec.