user=mdettweiler [2018-06-22 00:07:53] 915*2^1514027-1 is not prime. Res64: A7C8F68437C16617 Time : 0.0 sec. user=mdettweiler [2018-06-22 00:07:54] 777*2^1514028-1 is not prime. Res64: B9BFB5F15E64945F Time : 0.0 sec. user=mdettweiler [2018-06-22 00:07:55] 819*2^1514028-1 is not prime. Res64: ADE1EC9E26F785C1 Time : 0.0 sec. user=mdettweiler [2018-06-22 00:07:56] 875*2^1514028-1 is not prime. Res64: A5A33B0F035F3CD7 Time : 0.0 sec. user=mdettweiler [2018-06-22 00:07:57] 975*2^1514028-1 is not prime. Res64: 2411CFBA59F6DF9B Time : 0.0 sec. user=mdettweiler [2018-06-22 00:20:21] 977*2^1514028-1 is not prime. Res64: 9BDCB97334A428D2 Time : 0.0 sec. user=mdettweiler [2018-06-22 00:20:21] 999*2^1514028-1 is not prime. Res64: F46E9B8BB6AD8AA1 Time : 0.0 sec. user=mdettweiler [2018-06-22 00:20:22] 625*2^1514029-1 is not prime. Res64: EF73FA13E843716C Time : 0.0 sec. user=mdettweiler [2018-06-22 00:20:22] 699*2^1514029-1 is not prime. Res64: 7C56B62BE8B2CE50 Time : 0.0 sec. user=mdettweiler [2018-06-22 00:20:23] 751*2^1514029-1 is not prime. Res64: F5F2501E6E951944 Time : 0.0 sec. user=mdettweiler [2018-06-22 00:35:19] 757*2^1514029-1 is not prime. Res64: 0DEF1C60805EB881 Time : 0.0 sec. user=mdettweiler [2018-06-22 00:35:19] 799*2^1514029-1 is not prime. Res64: A464D0D6BF54C7FB Time : 0.0 sec. user=mdettweiler [2018-06-22 00:35:20] 927*2^1514029-1 is not prime. Res64: 4C2C40CEE1936770 Time : 0.0 sec. user=mdettweiler [2018-06-22 00:35:20] 975*2^1514029-1 is not prime. Res64: DA0B8ED5A9F225E2 Time : 0.0 sec. user=mdettweiler [2018-06-22 00:35:21] 641*2^1514030-1 is not prime. Res64: 23E05E7C510EE59F Time : 0.0 sec. user=mdettweiler [2018-06-22 00:46:30] 657*2^1514030-1 is not prime. Res64: FE9598BCA19F5833 Time : 0.0 sec. user=mdettweiler [2018-06-22 00:46:30] 791*2^1514030-1 is not prime. Res64: 483CBF6D6FB55C48 Time : 0.0 sec. user=mdettweiler [2018-06-22 00:46:31] 843*2^1514030-1 is not prime. Res64: FA398C5FE38B0799 Time : 0.0 sec. user=mdettweiler [2018-06-22 00:46:31] 911*2^1514030-1 is not prime. Res64: AABDEDBBDC3FF292 Time : 0.0 sec. user=mdettweiler [2018-06-22 00:46:32] 951*2^1514030-1 is not prime. Res64: 18D3095DF7EB2A52 Time : 0.0 sec. user=mdettweiler [2018-06-22 00:59:15] 971*2^1514030-1 is not prime. Res64: C193195688ED4042 Time : 0.0 sec. user=mdettweiler [2018-06-22 00:59:15] 977*2^1514030-1 is not prime. Res64: 359638949F348804 Time : 0.0 sec. user=mdettweiler [2018-06-22 00:59:16] 723*2^1514031-1 is not prime. Res64: EA76C7AC941EEAEB Time : 0.0 sec. user=mdettweiler [2018-06-22 00:59:16] 745*2^1514031-1 is not prime. Res64: 257CA6942B28F68F Time : 0.0 sec. user=mdettweiler [2018-06-22 00:59:17] 763*2^1514031-1 is not prime. Res64: A4DC5DCC2B1483D9 Time : 0.0 sec. user=mdettweiler [2018-06-22 01:11:21] 783*2^1514031-1 is not prime. Res64: 0F8C08B21F1B313C Time : 0.0 sec. user=mdettweiler [2018-06-22 01:11:22] 859*2^1514031-1 is not prime. Res64: F7F4CC763E733BB9 Time : 0.0 sec. user=mdettweiler [2018-06-22 01:11:23] 871*2^1514031-1 is not prime. Res64: 75E059D6973600E0 Time : 0.0 sec. user=mdettweiler [2018-06-22 01:11:24] 677*2^1514032-1 is not prime. Res64: 525E0BC755E9F11D Time : 0.0 sec. user=mdettweiler [2018-06-22 01:11:25] 705*2^1514032-1 is not prime. Res64: 98F8126C886BC119 Time : 0.0 sec. user=mdettweiler [2018-06-22 01:26:02] 719*2^1514032-1 is not prime. Res64: A0C88D994734AACA Time : 0.0 sec. user=mdettweiler [2018-06-22 01:26:06] 765*2^1514032-1 is not prime. Res64: 5BA14FAE41D61DDC Time : 0.0 sec. user=mdettweiler [2018-06-22 01:26:08] 797*2^1514032-1 is not prime. Res64: 8CA0457EA46A4614 Time : 0.0 sec. user=mdettweiler [2018-06-22 01:26:10] 803*2^1514032-1 is not prime. Res64: 2216A5970804D0D7 Time : 0.0 sec. user=mdettweiler [2018-06-22 01:26:13] 833*2^1514032-1 is not prime. Res64: A631BEEC0D709C16 Time : 0.0 sec. user=juhehe [2018-06-22 01:34:25] 627*2^1514034-1 is not prime. Res64: 1C5D4F20ECCEA0EC Time : 0.0 sec. user=mdettweiler [2018-06-22 01:36:36] 869*2^1514032-1 is not prime. Res64: 99C7927DB97553EB Time : 0.0 sec. user=mdettweiler [2018-06-22 01:36:37] 615*2^1514033-1 is not prime. Res64: ADE1731F0A1D650B Time : 0.0 sec. user=mdettweiler [2018-06-22 01:36:38] 649*2^1514033-1 is not prime. Res64: 0C5A64263353054F Time : 0.0 sec. user=mdettweiler [2018-06-22 01:36:39] 901*2^1514033-1 is not prime. Res64: 0A2C2D83B4D7B04D Time : 0.0 sec. user=mdettweiler [2018-06-22 01:36:41] 949*2^1514033-1 is not prime. Res64: CC40EA01CDB88129 Time : 0.0 sec. user=mdettweiler [2018-06-22 01:49:56] 791*2^1514034-1 is not prime. Res64: 67C7252F51BCE2F9 Time : 0.0 sec. user=mdettweiler [2018-06-22 01:49:57] 797*2^1514034-1 is not prime. Res64: 076ECA873DF309C2 Time : 0.0 sec. user=mdettweiler [2018-06-22 01:49:57] 851*2^1514034-1 is not prime. Res64: C20499F48B23416A Time : 0.0 sec. user=mdettweiler [2018-06-22 01:49:58] 885*2^1514034-1 is not prime. Res64: E37EF132FA7DAF64 Time : 0.0 sec. user=mdettweiler [2018-06-22 01:49:59] 905*2^1514034-1 is not prime. Res64: 1AF2BD21648F56E7 Time : 0.0 sec. user=mdettweiler [2018-06-22 02:02:24] 927*2^1514034-1 is not prime. Res64: 19BC18F7682F1F3F Time : 0.0 sec. user=mdettweiler [2018-06-22 02:02:25] 971*2^1514034-1 is not prime. Res64: A372D9B2C28C1363 Time : 0.0 sec. user=mdettweiler [2018-06-22 02:02:26] 993*2^1514034-1 is not prime. Res64: 7DF2509A953DBF47 Time : 0.0 sec. user=mdettweiler [2018-06-22 02:02:28] 1001*2^1514034-1 is not prime. Res64: BC68B07862F714CA Time : 0.0 sec. user=mdettweiler [2018-06-22 02:02:29] 705*2^1514035-1 is not prime. Res64: 419A686A3587B856 Time : 0.0 sec. user=mdettweiler [2018-06-22 02:17:42] 775*2^1514035-1 is not prime. Res64: 1019199DA9D59878 Time : 0.0 sec. user=mdettweiler [2018-06-22 02:17:43] 973*2^1514035-1 is not prime. Res64: 9AFAE261E67D5966 Time : 0.0 sec. user=mdettweiler [2018-06-22 02:17:44] 603*2^1514036-1 is not prime. Res64: 91D58979FE6E958E Time : 0.0 sec. user=mdettweiler [2018-06-22 02:17:44] 635*2^1514036-1 is not prime. Res64: 04E645FC83159496 Time : 0.0 sec. user=mdettweiler [2018-06-22 02:17:44] 855*2^1514036-1 is not prime. Res64: A6C3FE309A35F4D0 Time : 0.0 sec. user=mdettweiler [2018-06-22 02:29:06] 869*2^1514036-1 is not prime. Res64: DC8B088DBE27768D Time : 0.0 sec. user=mdettweiler [2018-06-22 02:29:07] 681*2^1514037-1 is not prime. Res64: 85A085318B36927A Time : 0.0 sec. user=mdettweiler [2018-06-22 02:29:09] 765*2^1514037-1 is not prime. Res64: 0E77C79CC7B863B7 Time : 0.0 sec. user=mdettweiler [2018-06-22 02:29:09] 885*2^1514037-1 is not prime. Res64: 0875B43558A7E681 Time : 0.0 sec. user=mdettweiler [2018-06-22 02:29:10] 895*2^1514037-1 is not prime. Res64: 120486F64E9D8595 Time : 0.0 sec. user=mdettweiler [2018-06-22 02:41:41] 949*2^1514037-1 is not prime. Res64: 4588AF36718E55DD Time : 0.0 sec. user=mdettweiler [2018-06-22 02:41:42] 723*2^1514038-1 is not prime. Res64: 7B991D9B5567B7CE Time : 0.0 sec. user=mdettweiler [2018-06-22 02:41:43] 911*2^1514038-1 is not prime. Res64: 37F8F4C3EA1F0B29 Time : 0.0 sec. user=mdettweiler [2018-06-22 02:41:43] 971*2^1514038-1 is not prime. Res64: 85D581E7909AB12B Time : 0.0 sec. user=mdettweiler [2018-06-22 02:41:44] 601*2^1514039-1 is not prime. Res64: 8A3836A3DDF2AD96 Time : 0.0 sec. user=mdettweiler [2018-06-22 02:55:21] 661*2^1514039-1 is not prime. Res64: 698010BC5147BF68 Time : 0.0 sec. user=mdettweiler [2018-06-22 02:55:23] 745*2^1514039-1 is not prime. Res64: CEDB7B240A6895E1 Time : 0.0 sec. user=mdettweiler [2018-06-22 02:55:25] 799*2^1514039-1 is not prime. Res64: 223CF55B33EE1178 Time : 0.0 sec. user=mdettweiler [2018-06-22 02:55:27] 885*2^1514039-1 is not prime. Res64: 1352B9A431456034 Time : 0.0 sec. user=mdettweiler [2018-06-22 02:55:28] 943*2^1514039-1 is not prime. Res64: 1A2D52227B8CE0A0 Time : 0.0 sec. user=juhehe [2018-06-22 03:07:29] 983*2^1514040-1 is not prime. Res64: 4280B8CDAFC86DCB Time : 0.0 sec. user=mdettweiler [2018-06-22 03:09:36] 669*2^1514040-1 is not prime. Res64: 859748C32165E29A Time : 0.0 sec. user=mdettweiler [2018-06-22 03:09:40] 759*2^1514040-1 is not prime. Res64: 690DD65EAAE8A9FF Time : 0.0 sec. user=mdettweiler [2018-06-22 03:09:45] 929*2^1514040-1 is not prime. Res64: D650AA4D94EF263A Time : 0.0 sec. user=mdettweiler [2018-06-22 03:09:49] 959*2^1514040-1 is not prime. Res64: 692FFE49ABF22059 Time : 0.0 sec. user=mdettweiler [2018-06-22 03:09:54] 975*2^1514040-1 is not prime. Res64: D16CC3C6F7175875 Time : 0.0 sec. user=mdettweiler [2018-06-22 03:20:51] 649*2^1514041-1 is not prime. Res64: BB2D0EE13F6BEEE5 Time : 0.0 sec. user=mdettweiler [2018-06-22 03:20:51] 717*2^1514041-1 is not prime. Res64: 640D0FA210E4F57F Time : 0.0 sec. user=mdettweiler [2018-06-22 03:20:51] 805*2^1514041-1 is not prime. Res64: F9F0D237821D8788 Time : 0.0 sec. user=mdettweiler [2018-06-22 03:20:52] 861*2^1514041-1 is not prime. Res64: 78FBC4153D29EE7B Time : 0.0 sec. user=mdettweiler [2018-06-22 03:20:52] 871*2^1514041-1 is not prime. Res64: C1806249DF1B1E1B Time : 0.0 sec. user=mdettweiler [2018-06-22 03:33:03] 895*2^1514041-1 is not prime. Res64: A65581FFCDC6EFF8 Time : 0.0 sec. user=mdettweiler [2018-06-22 03:33:04] 925*2^1514041-1 is not prime. Res64: 92568C544C42C132 Time : 0.0 sec. user=mdettweiler [2018-06-22 03:33:05] 979*2^1514041-1 is not prime. Res64: AA26763ACB29A5CB Time : 0.0 sec. user=mdettweiler [2018-06-22 03:33:06] 675*2^1514042-1 is not prime. Res64: B5A0E6E3F881091C Time : 0.0 sec. user=mdettweiler [2018-06-22 03:33:07] 683*2^1514042-1 is not prime. Res64: EFA46D15D3F30524 Time : 0.0 sec. user=mdettweiler [2018-06-22 03:46:13] 741*2^1514042-1 is not prime. Res64: 5EECC4F42A2AFC24 Time : 0.0 sec. user=mdettweiler [2018-06-22 03:46:15] 911*2^1514042-1 is not prime. Res64: 9FA077CF35E037A9 Time : 0.0 sec. user=mdettweiler [2018-06-22 03:46:17] 923*2^1514042-1 is not prime. Res64: F9D38C55512E3C75 Time : 0.0 sec. user=mdettweiler [2018-06-22 03:46:21] 935*2^1514042-1 is not prime. Res64: 0DE447CD5C1EE368 Time : 0.0 sec. user=mdettweiler [2018-06-22 03:46:23] 649*2^1514043-1 is not prime. Res64: CE25585555C15B85 Time : 0.0 sec. user=mdettweiler [2018-06-22 04:02:30] 685*2^1514043-1 is not prime. Res64: 758DA6A7C685449B Time : 0.0 sec. user=mdettweiler [2018-06-22 04:02:32] 825*2^1514043-1 is not prime. Res64: D78A96221DB42AD0 Time : 0.0 sec. user=mdettweiler [2018-06-22 04:02:34] 849*2^1514043-1 is not prime. Res64: E6D2D1D0A67EF5BE Time : 0.0 sec. user=mdettweiler [2018-06-22 04:02:38] 985*2^1514043-1 is not prime. Res64: 80658AE2782F78D3 Time : 0.0 sec. user=mdettweiler [2018-06-22 04:02:40] 983*2^1514044-1 is not prime. Res64: 76C54918F4B02D7B Time : 0.0 sec. user=mdettweiler [2018-06-22 04:11:09] 995*2^1514044-1 is not prime. Res64: 347E43816ED7EB7F Time : 0.0 sec. user=mdettweiler [2018-06-22 04:11:11] 927*2^1514045-1 is not prime. Res64: 7433D3E11BC624F1 Time : 0.0 sec. user=mdettweiler [2018-06-22 04:11:12] 635*2^1514046-1 is not prime. Res64: 7A1899F16BEC6A5D Time : 0.0 sec. user=mdettweiler [2018-06-22 04:11:16] 677*2^1514046-1 is not prime. Res64: D8F26CCA8B5BA46E Time : 0.0 sec. user=mdettweiler [2018-06-22 04:11:18] 711*2^1514046-1 is not prime. Res64: E3C48F81CB44830E Time : 0.0 sec. user=mdettweiler [2018-06-22 04:23:48] 725*2^1514046-1 is not prime. Res64: EFE1A8AF6EB56C84 Time : 0.0 sec. user=mdettweiler [2018-06-22 04:23:50] 737*2^1514046-1 is not prime. Res64: 910C6C6E9C2CA5BD Time : 0.0 sec. user=mdettweiler [2018-06-22 04:23:52] 815*2^1514046-1 is not prime. Res64: 65CCCE2742FC68D4 Time : 0.0 sec. user=mdettweiler [2018-06-22 04:23:53] 825*2^1514046-1 is not prime. Res64: 2AA7973E081C49A2 Time : 0.0 sec. user=mdettweiler [2018-06-22 04:23:55] 903*2^1514046-1 is not prime. Res64: 326DC5E568A8FC35 Time : 0.0 sec. user=mdettweiler [2018-06-22 04:38:07] 993*2^1514046-1 is not prime. Res64: DD7434FB38B1DE70 Time : 0.0 sec. user=mdettweiler [2018-06-22 04:38:08] 675*2^1514047-1 is not prime. Res64: 67931C57D778E5D2 Time : 0.0 sec. user=mdettweiler [2018-06-22 04:38:10] 693*2^1514047-1 is not prime. Res64: 0B2E9F0A4008833E Time : 0.0 sec. user=mdettweiler [2018-06-22 04:38:11] 763*2^1514047-1 is not prime. Res64: 42D0531D2E023E63 Time : 0.0 sec. user=mdettweiler [2018-06-22 04:38:13] 873*2^1514047-1 is not prime. Res64: A128C5A4EFA2B1C0 Time : 0.0 sec. user=mdettweiler [2018-06-22 04:54:55] 885*2^1514047-1 is not prime. Res64: 181C618326FAB9E8 Time : 0.0 sec. user=mdettweiler [2018-06-22 04:54:56] 891*2^1514047-1 is not prime. Res64: 7B960609AA8985BE Time : 0.0 sec. user=mdettweiler [2018-06-22 04:54:56] 933*2^1514047-1 is not prime. Res64: 9E9F6FA230F45CF1 Time : 0.0 sec. user=mdettweiler [2018-06-22 04:54:57] 951*2^1514047-1 is not prime. Res64: 8A7211D5CB9ECB12 Time : 0.0 sec. user=mdettweiler [2018-06-22 04:54:57] 683*2^1514048-1 is not prime. Res64: 2C8AF0EB401F6C91 Time : 0.0 sec. user=mdettweiler [2018-06-22 05:03:19] 689*2^1514048-1 is not prime. Res64: D8572CE75E6DAFAF Time : 0.0 sec. user=mdettweiler [2018-06-22 05:03:23] 713*2^1514048-1 is not prime. Res64: 9452667F7D3F81FA Time : 0.0 sec. user=mdettweiler [2018-06-22 05:03:25] 735*2^1514048-1 is not prime. Res64: A9560305070F4017 Time : 0.0 sec. user=mdettweiler [2018-06-22 05:03:27] 743*2^1514048-1 is not prime. Res64: 7BE88340D06FE7FC Time : 0.0 sec. user=mdettweiler [2018-06-22 05:03:30] 747*2^1514048-1 is not prime. Res64: B88049A0C4FB30EB Time : 0.0 sec. user=mdettweiler [2018-06-22 05:15:17] 773*2^1514048-1 is not prime. Res64: B4F498DDBA97720B Time : 0.0 sec. user=mdettweiler [2018-06-22 05:15:18] 869*2^1514048-1 is not prime. Res64: 56A223A0E2BFAC74 Time : 0.0 sec. user=mdettweiler [2018-06-22 05:15:18] 957*2^1514048-1 is not prime. Res64: 311D00BAE83C7579 Time : 0.0 sec. user=mdettweiler [2018-06-22 05:15:19] 829*2^1514049-1 is not prime. Res64: 1F5254F5D6ABF519 Time : 0.0 sec. user=mdettweiler [2018-06-22 05:15:20] 861*2^1514049-1 is not prime. Res64: A1BEE6BAF7E284BF Time : 0.0 sec. user=mdettweiler [2018-06-22 05:28:16] 949*2^1514049-1 is not prime. Res64: 17761DC7F809EA09 Time : 0.0 sec. user=mdettweiler [2018-06-22 05:28:16] 987*2^1514049-1 is not prime. Res64: 0FC533767BBFFC73 Time : 0.0 sec. user=mdettweiler [2018-06-22 05:28:17] 999*2^1514049-1 is not prime. Res64: 236604FF15CA94F9 Time : 0.0 sec. user=mdettweiler [2018-06-22 05:28:17] 657*2^1514050-1 is not prime. Res64: 5738D2CCD24AB7C1 Time : 0.0 sec. user=mdettweiler [2018-06-22 05:28:18] 665*2^1514050-1 is not prime. Res64: 5A5DC90C5DDA7E3D Time : 0.0 sec. user=juhehe [2018-06-22 05:30:23] 677*2^1514050-1 is not prime. Res64: 7E950A8F0D49EBDE Time : 0.0 sec. user=mdettweiler [2018-06-22 05:45:16] 695*2^1514050-1 is not prime. Res64: 9A12AEAC0D51C2C4 Time : 0.0 sec. user=mdettweiler [2018-06-22 05:45:16] 743*2^1514050-1 is not prime. Res64: BFFB8EF95D1063AB Time : 0.0 sec. user=mdettweiler [2018-06-22 05:45:17] 765*2^1514050-1 is not prime. Res64: 9CE1E3159422D874 Time : 0.0 sec. user=mdettweiler [2018-06-22 05:45:18] 867*2^1514050-1 is not prime. Res64: E4EC0E39B24E96C7 Time : 0.0 sec. user=mdettweiler [2018-06-22 05:45:18] 603*2^1514051-1 is not prime. Res64: 17D03B377AF53CA4 Time : 0.0 sec. user=mdettweiler [2018-06-22 05:54:12] 609*2^1514051-1 is not prime. Res64: E353A62D0DA07DA0 Time : 0.0 sec. user=mdettweiler [2018-06-22 05:54:14] 651*2^1514051-1 is not prime. Res64: E8B10E22245086D0 Time : 0.0 sec. user=mdettweiler [2018-06-22 05:54:14] 999*2^1514051-1 is not prime. Res64: 2E6E070EDD0BCD53 Time : 0.0 sec. user=mdettweiler [2018-06-22 05:54:15] 629*2^1514052-1 is not prime. Res64: 484D2C35C52D935B Time : 0.0 sec. user=mdettweiler [2018-06-22 05:54:16] 657*2^1514052-1 is not prime. Res64: E1AA6B569F8935E6 Time : 0.0 sec. user=mdettweiler [2018-06-22 06:06:09] 669*2^1514052-1 is not prime. Res64: 0602430291BFC0B4 Time : 0.0 sec. user=mdettweiler [2018-06-22 06:06:10] 717*2^1514052-1 is not prime. Res64: 7FFDAD57F03E864B Time : 0.0 sec. user=mdettweiler [2018-06-22 06:06:11] 753*2^1514052-1 is not prime. Res64: 68285843557E65C9 Time : 0.0 sec. user=mdettweiler [2018-06-22 06:06:12] 779*2^1514052-1 is not prime. Res64: A7CDEBB6D041E761 Time : 0.0 sec. user=mdettweiler [2018-06-22 06:06:14] 915*2^1514052-1 is not prime. Res64: 4F81EA10BA63AD39 Time : 0.0 sec. user=mdettweiler [2018-06-22 06:19:16] 947*2^1514052-1 is not prime. Res64: EDBCEE8C826B572E Time : 0.0 sec. user=mdettweiler [2018-06-22 06:19:16] 999*2^1514052-1 is not prime. Res64: E9A2519092A89F20 Time : 0.0 sec. user=mdettweiler [2018-06-22 06:19:17] 699*2^1514053-1 is not prime. Res64: CD14026BC96C8CA2 Time : 0.0 sec. user=mdettweiler [2018-06-22 06:19:18] 775*2^1514053-1 is not prime. Res64: 46AE90710C482E5F Time : 0.0 sec. user=mdettweiler [2018-06-22 06:19:19] 945*2^1514053-1 is not prime. Res64: A1AFDA4AD6CE919D Time : 0.0 sec. user=mdettweiler [2018-06-22 06:35:30] 961*2^1514053-1 is not prime. Res64: CB100AE34461FD90 Time : 0.0 sec. user=mdettweiler [2018-06-22 06:35:30] 635*2^1514054-1 is not prime. Res64: 3ED825CF9AD68FDC Time : 0.0 sec. user=mdettweiler [2018-06-22 06:35:30] 665*2^1514054-1 is not prime. Res64: C087935CFFD6342A Time : 0.0 sec. user=mdettweiler [2018-06-22 06:35:31] 945*2^1514054-1 is not prime. Res64: 8A568569CE8F9C8C Time : 0.0 sec. user=mdettweiler [2018-06-22 06:35:31] 965*2^1514054-1 is not prime. Res64: 8A48FCF530E8097E Time : 0.0 sec. user=mdettweiler [2018-06-22 06:44:33] 987*2^1514054-1 is not prime. Res64: 1DA91984C90A02EE Time : 0.0 sec. user=mdettweiler [2018-06-22 06:44:33] 613*2^1514055-1 is not prime. Res64: 04918D10517353FC Time : 0.0 sec. user=mdettweiler [2018-06-22 06:44:34] 663*2^1514055-1 is not prime. Res64: A8032DE812A571BE Time : 0.0 sec. user=mdettweiler [2018-06-22 06:44:34] 705*2^1514055-1 is not prime. Res64: 48004D86A69E4654 Time : 0.0 sec. user=mdettweiler [2018-06-22 06:44:34] 711*2^1514055-1 is not prime. Res64: 2137F5009DAEEFB7 Time : 0.0 sec. user=mdettweiler [2018-06-22 06:57:39] 741*2^1514055-1 is not prime. Res64: 82B9F1B29A6A02EE Time : 0.0 sec. user=mdettweiler [2018-06-22 06:57:39] 765*2^1514055-1 is not prime. Res64: C54FF304438D8989 Time : 0.0 sec. user=mdettweiler [2018-06-22 06:57:40] 819*2^1514055-1 is not prime. Res64: C86D5DAE020CA111 Time : 0.0 sec. user=mdettweiler [2018-06-22 06:57:40] 823*2^1514055-1 is not prime. Res64: 85A0AE901DFE19CB Time : 0.0 sec. user=mdettweiler [2018-06-22 06:57:40] 859*2^1514055-1 is not prime. Res64: E9D282D1364BF610 Time : 0.0 sec. user=mdettweiler [2018-06-22 07:09:09] 955*2^1514055-1 is not prime. Res64: 94D3C3832A5E1053 Time : 0.0 sec. user=mdettweiler [2018-06-22 07:09:10] 985*2^1514055-1 is not prime. Res64: 4819E005159351FC Time : 0.0 sec. user=mdettweiler [2018-06-22 07:09:10] 603*2^1514056-1 is not prime. Res64: 73707F2A6B2E6D51 Time : 0.0 sec. user=mdettweiler [2018-06-22 07:09:11] 615*2^1514056-1 is not prime. Res64: 147514C9CEBD2AC7 Time : 0.0 sec. user=mdettweiler [2018-06-22 07:09:11] 645*2^1514056-1 is not prime. Res64: 42B7E775DE852BA6 Time : 0.0 sec. user=mdettweiler [2018-06-22 07:25:56] 699*2^1514056-1 is not prime. Res64: B6E7195E11FDD3F4 Time : 0.0 sec. user=mdettweiler [2018-06-22 07:25:56] 807*2^1514056-1 is not prime. Res64: BF4B3698B5B3D4CC Time : 0.0 sec. user=mdettweiler [2018-06-22 07:25:57] 825*2^1514056-1 is not prime. Res64: A9C2B9088479BDA1 Time : 0.0 sec. user=mdettweiler [2018-06-22 07:25:57] 983*2^1514056-1 is not prime. Res64: 51A0541A0E03F1FB Time : 0.0 sec. user=mdettweiler [2018-06-22 07:25:58] 619*2^1514057-1 is not prime. Res64: 479F662915BC4420 Time : 0.0 sec. user=mdettweiler [2018-06-22 07:35:12] 685*2^1514057-1 is not prime. Res64: 6F306968A9668C31 Time : 0.0 sec. user=mdettweiler [2018-06-22 07:35:12] 885*2^1514057-1 is not prime. Res64: 0CAE05356E006260 Time : 0.0 sec. user=mdettweiler [2018-06-22 07:35:13] 997*2^1514057-1 is not prime. Res64: 46D30B6E78EDC3C7 Time : 0.0 sec. user=mdettweiler [2018-06-22 07:35:13] 605*2^1514058-1 is not prime. Res64: FED7AF468DA9EFCB Time : 0.0 sec. user=mdettweiler [2018-06-22 07:35:14] 705*2^1514058-1 is not prime. Res64: 1B55997D93507087 Time : 0.0 sec. user=mdettweiler [2018-06-22 07:48:30] 731*2^1514058-1 is not prime. Res64: 82048EDEDC6502C6 Time : 0.0 sec. user=mdettweiler [2018-06-22 07:48:30] 773*2^1514058-1 is not prime. Res64: 65E4BB54249B551A Time : 0.0 sec. user=mdettweiler [2018-06-22 07:48:31] 797*2^1514058-1 is not prime. Res64: 2DA801A6548C0F86 Time : 0.0 sec. user=mdettweiler [2018-06-22 07:48:31] 881*2^1514058-1 is not prime. Res64: 56165BBACDD3A0E1 Time : 0.0 sec. user=mdettweiler [2018-06-22 07:48:32] 963*2^1514058-1 is not prime. Res64: 4F0E1DD34F4DF741 Time : 0.0 sec. user=juhehe [2018-06-22 07:50:45] 971*2^1514058-1 is not prime. Res64: FF51F823E5A8E642 Time : 0.0 sec. user=mdettweiler [2018-06-22 07:59:35] 639*2^1514059-1 is not prime. Res64: 031BC21DBDF1FB60 Time : 0.0 sec. user=mdettweiler [2018-06-22 07:59:36] 769*2^1514059-1 is not prime. Res64: F6CD221FF5D3FCA0 Time : 0.0 sec. user=mdettweiler [2018-06-22 07:59:36] 771*2^1514059-1 is not prime. Res64: C8986B33E7C74AAC Time : 0.0 sec. user=mdettweiler [2018-06-22 07:59:36] 885*2^1514059-1 is not prime. Res64: 377DD2CCE4304CA8 Time : 0.0 sec. user=mdettweiler [2018-06-22 07:59:37] 973*2^1514059-1 is not prime. Res64: B8E2B91BD3B863A8 Time : 0.0 sec. user=mdettweiler [2018-06-22 08:16:28] 609*2^1514060-1 is not prime. Res64: BF15C96D7C3CA182 Time : 0.0 sec. user=mdettweiler [2018-06-22 08:16:29] 669*2^1514060-1 is not prime. Res64: B658DDD9020738BC Time : 0.0 sec. user=mdettweiler [2018-06-22 08:16:29] 675*2^1514060-1 is not prime. Res64: 45B9ACE8881F5F0F Time : 0.0 sec. user=mdettweiler [2018-06-22 08:16:30] 803*2^1514060-1 is not prime. Res64: B3EADC971F4BBC92 Time : 0.0 sec. user=mdettweiler [2018-06-22 08:16:31] 875*2^1514060-1 is not prime. Res64: F15A8740A9C64634 Time : 0.0 sec. user=mdettweiler [2018-06-22 08:26:07] 879*2^1514060-1 is not prime. Res64: 3CF6AC849EFD0B5C Time : 0.0 sec. user=mdettweiler [2018-06-22 08:26:07] 899*2^1514060-1 is not prime. Res64: B30ED578C1F4F4FD Time : 0.0 sec. user=mdettweiler [2018-06-22 08:26:07] 909*2^1514060-1 is not prime. Res64: E5797DB29CBD8816 Time : 0.0 sec. user=mdettweiler [2018-06-22 08:26:08] 711*2^1514061-1 is not prime. Res64: 01CDD44CC517D313 Time : 0.0 sec. user=mdettweiler [2018-06-22 08:26:08] 861*2^1514061-1 is not prime. Res64: D05624837ED89D30 Time : 0.0 sec. user=mdettweiler [2018-06-22 08:38:21] 623*2^1514062-1 is not prime. Res64: A8CCAEE5C00A88ED Time : 0.0 sec. user=mdettweiler [2018-06-22 08:38:21] 951*2^1514062-1 is not prime. Res64: 00BE359E9DC6E5FA Time : 0.0 sec. user=mdettweiler [2018-06-22 08:38:21] 609*2^1514063-1 is not prime. Res64: 515DC6E368B35C3C Time : 0.0 sec. user=mdettweiler [2018-06-22 08:38:22] 619*2^1514063-1 is not prime. Res64: 3C1104FF2C967223 Time : 0.0 sec. user=mdettweiler [2018-06-22 08:38:22] 685*2^1514063-1 is not prime. Res64: 55B1EB44AA46F62F Time : 0.0 sec. user=mdettweiler [2018-06-22 08:50:10] 781*2^1514063-1 is not prime. Res64: 914B706A161D71E0 Time : 0.0 sec. user=mdettweiler [2018-06-22 08:50:11] 859*2^1514063-1 is not prime. Res64: 052A1E5359B57F86 Time : 0.0 sec. user=mdettweiler [2018-06-22 08:50:11] 861*2^1514063-1 is not prime. Res64: 696316CB5C328E6C Time : 0.0 sec. user=mdettweiler [2018-06-22 08:50:11] 901*2^1514063-1 is not prime. Res64: 31D82F67F92F93EF Time : 0.0 sec. user=mdettweiler [2018-06-22 08:50:12] 663*2^1514064-1 is not prime. Res64: FA94A253185AC72D Time : 0.0 sec. user=mdettweiler [2018-06-22 09:07:34] 675*2^1514064-1 is not prime. Res64: C94C03E42692F3AB Time : 0.0 sec. user=mdettweiler [2018-06-22 09:07:36] 707*2^1514064-1 is not prime. Res64: 332A0348EDA01275 Time : 0.0 sec. user=mdettweiler [2018-06-22 09:07:37] 759*2^1514064-1 is not prime. Res64: F85C9F18003B8996 Time : 0.0 sec. user=mdettweiler [2018-06-22 09:07:39] 773*2^1514064-1 is not prime. Res64: 14D8019EBCE0A622 Time : 0.0 sec. user=mdettweiler [2018-06-22 09:07:41] 975*2^1514064-1 is not prime. Res64: ACB817AACF3225B1 Time : 0.0 sec. user=mdettweiler [2018-06-22 09:16:23] 649*2^1514065-1 is not prime. Res64: BED57CA224E17ABA Time : 0.0 sec. user=mdettweiler [2018-06-22 09:16:23] 661*2^1514065-1 is not prime. Res64: 881CE208B001E7B0 Time : 0.0 sec. user=mdettweiler [2018-06-22 09:16:23] 727*2^1514065-1 is not prime. Res64: 3FD53ED52F6687BA Time : 0.0 sec. user=mdettweiler [2018-06-22 09:16:24] 979*2^1514065-1 is not prime. Res64: BEBB0338A8AA274D Time : 0.0 sec. user=mdettweiler [2018-06-22 09:16:24] 705*2^1514066-1 is not prime. Res64: F1E03CF53E54B34D Time : 0.0 sec. user=juhehe [2018-06-22 09:23:24] 895*2^1514067-1 is not prime. Res64: 3414F3DB18096C83 Time : 0.0 sec. user=mdettweiler [2018-06-22 09:28:48] 945*2^1514066-1 is not prime. Res64: A54991B135EF2536 Time : 0.0 sec. user=mdettweiler [2018-06-22 09:28:49] 1001*2^1514066-1 is not prime. Res64: CE4C56342C4F9C61 Time : 0.0 sec. user=mdettweiler [2018-06-22 09:28:49] 651*2^1514067-1 is not prime. Res64: 606798F7B1FA3796 Time : 0.0 sec. user=mdettweiler [2018-06-22 09:28:50] 775*2^1514067-1 is not prime. Res64: 6A0895A1692C3F80 Time : 0.0 sec. user=mdettweiler [2018-06-22 09:28:51] 819*2^1514067-1 is not prime. Res64: 7D88214AA012F008 Time : 0.0 sec. user=mdettweiler [2018-06-22 09:40:28] 945*2^1514067-1 is not prime. Res64: 8551BDF1AA03E661 Time : 0.0 sec. user=mdettweiler [2018-06-22 09:40:29] 951*2^1514067-1 is not prime. Res64: E225B28502D69F44 Time : 0.0 sec. user=mdettweiler [2018-06-22 09:40:29] 985*2^1514067-1 is not prime. Res64: 68B36677BDAB81F8 Time : 0.0 sec. user=mdettweiler [2018-06-22 09:40:29] 603*2^1514068-1 is not prime. Res64: BFBBE38A96B2CFD9 Time : 0.0 sec. user=mdettweiler [2018-06-22 09:40:30] 639*2^1514068-1 is not prime. Res64: 818E0A226CA75A03 Time : 0.0 sec. user=mdettweiler [2018-06-22 09:58:49] 803*2^1514068-1 is not prime. Res64: D036432B295781DC Time : 0.0 sec. user=mdettweiler [2018-06-22 09:58:50] 927*2^1514068-1 is not prime. Res64: 09035E99BD59DD0D Time : 0.0 sec. user=mdettweiler [2018-06-22 09:58:50] 993*2^1514068-1 is not prime. Res64: 85D08CBC8CFC7267 Time : 0.0 sec. user=mdettweiler [2018-06-22 09:58:50] 621*2^1514069-1 is not prime. Res64: 067265FE30D4D9B9 Time : 0.0 sec. user=mdettweiler [2018-06-22 09:58:51] 711*2^1514069-1 is not prime. Res64: 09A33ED9893E23AA Time : 0.0 sec. user=mdettweiler [2018-06-22 10:06:38] 759*2^1514069-1 is not prime. Res64: 21F45C3C811834A6 Time : 0.0 sec. user=mdettweiler [2018-06-22 10:06:41] 787*2^1514069-1 is not prime. Res64: 021627ED0A73517A Time : 0.0 sec. user=mdettweiler [2018-06-22 10:06:43] 795*2^1514069-1 is not prime. Res64: 390AC375A64EB542 Time : 0.0 sec. user=mdettweiler [2018-06-22 10:06:46] 939*2^1514069-1 is not prime. Res64: 24F2180664D9F594 Time : 0.0 sec. user=mdettweiler [2018-06-22 10:06:49] 657*2^1514070-1 is not prime. Res64: 7ADC36D7F5A3533E Time : 0.0 sec. user=mdettweiler [2018-06-22 10:19:29] 695*2^1514070-1 is not prime. Res64: 9C795996EDC45B05 Time : 0.0 sec. user=mdettweiler [2018-06-22 10:19:30] 741*2^1514070-1 is not prime. Res64: 473C31C363A7E0C7 Time : 0.0 sec. user=mdettweiler [2018-06-22 10:19:30] 765*2^1514070-1 is not prime. Res64: 09F68915E4EB411C Time : 0.0 sec. user=mdettweiler [2018-06-22 10:19:31] 971*2^1514070-1 is not prime. Res64: 849002FE864E7108 Time : 0.0 sec. user=mdettweiler [2018-06-22 10:19:31] 645*2^1514071-1 is not prime. Res64: 324D509AB456965A Time : 0.0 sec. user=mdettweiler [2018-06-22 10:30:51] 651*2^1514071-1 is not prime. Res64: 7BD3C9D32A236D89 Time : 0.0 sec. user=mdettweiler [2018-06-22 10:30:52] 709*2^1514071-1 is not prime. Res64: 22063AC8C1D4A1F2 Time : 0.0 sec. user=mdettweiler [2018-06-22 10:30:53] 841*2^1514071-1 is not prime. Res64: 3B9D2327CEE93865 Time : 0.0 sec. user=mdettweiler [2018-06-22 10:30:54] 939*2^1514071-1 is not prime. Res64: 7BCAD8B005EB1D94 Time : 0.0 sec. user=mdettweiler [2018-06-22 10:30:55] 973*2^1514071-1 is not prime. Res64: 632C92C00929427D Time : 0.0 sec. user=mdettweiler [2018-06-22 10:49:10] 629*2^1514072-1 is not prime. Res64: 9612D64A8DA923D8 Time : 0.0 sec. user=mdettweiler [2018-06-22 10:49:11] 725*2^1514072-1 is not prime. Res64: DEDDF0EE7D6DAC88 Time : 0.0 sec. user=mdettweiler [2018-06-22 10:49:11] 753*2^1514072-1 is not prime. Res64: C9BC4CF9510B0C8C Time : 0.0 sec. user=mdettweiler [2018-06-22 10:49:11] 957*2^1514072-1 is not prime. Res64: 868690C51FB9328B Time : 0.0 sec. user=mdettweiler [2018-06-22 10:49:12] 983*2^1514072-1 is not prime. Res64: AE5B989E02009634 Time : 0.0 sec. user=mdettweiler [2018-06-22 10:57:40] 625*2^1514073-1 is not prime. Res64: 07366F6635EAB3C8 Time : 0.0 sec. user=mdettweiler [2018-06-22 10:57:41] 649*2^1514073-1 is not prime. Res64: 499FA9CAC0FB54FA Time : 0.0 sec. user=mdettweiler [2018-06-22 10:57:41] 681*2^1514073-1 is not prime. Res64: 8A4221D9BF25E9EA Time : 0.0 sec. user=mdettweiler [2018-06-22 10:57:41] 789*2^1514073-1 is not prime. Res64: 56748E4DE7144749 Time : 0.0 sec. user=mdettweiler [2018-06-22 10:57:42] 805*2^1514073-1 is not prime. Res64: 73674E566019426C Time : 0.0 sec. user=mdettweiler [2018-06-22 11:09:34] 895*2^1514073-1 is not prime. Res64: 2EEA631CD4B7B84C Time : 0.0 sec. user=mdettweiler [2018-06-22 11:09:36] 623*2^1514074-1 is not prime. Res64: EF6FCE34CDC5C4D6 Time : 0.0 sec. user=mdettweiler [2018-06-22 11:09:37] 663*2^1514074-1 is not prime. Res64: 657316CC02D63103 Time : 0.0 sec. user=mdettweiler [2018-06-22 11:09:38] 701*2^1514074-1 is not prime. Res64: 67B0BFAA5FCD0696 Time : 0.0 sec. user=mdettweiler [2018-06-22 11:09:38] 825*2^1514074-1 is not prime. Res64: 1C9B811C7AB7B6CE Time : 0.0 sec. user=mdettweiler [2018-06-22 11:21:59] 679*2^1514075-1 is not prime. Res64: 033E80BCF0921E7D Time : 0.0 sec. user=mdettweiler [2018-06-22 11:22:00] 789*2^1514075-1 is not prime. Res64: 8F8988A9E58D7ECC Time : 0.0 sec. user=mdettweiler [2018-06-22 11:22:01] 913*2^1514075-1 is not prime. Res64: 8095543ACF7E46EC Time : 0.0 sec. user=mdettweiler [2018-06-22 11:22:01] 979*2^1514075-1 is not prime. Res64: C51E52B734B415C8 Time : 0.0 sec. user=mdettweiler [2018-06-22 11:22:02] 699*2^1514076-1 is not prime. Res64: 7EE65D6A3D73F523 Time : 0.0 sec. user=mdettweiler [2018-06-22 11:39:52] 759*2^1514076-1 is not prime. Res64: 3982B14FD6330906 Time : 0.0 sec. user=mdettweiler [2018-06-22 11:39:53] 765*2^1514076-1 is not prime. Res64: 12C9267238C85D6D Time : 0.0 sec. user=mdettweiler [2018-06-22 11:39:53] 873*2^1514076-1 is not prime. Res64: 7C7520A6CE7BBBBD Time : 0.0 sec. user=mdettweiler [2018-06-22 11:39:54] 715*2^1514077-1 is not prime. Res64: 2AF9208B602B354E Time : 0.0 sec. user=mdettweiler [2018-06-22 11:39:54] 717*2^1514077-1 is not prime. Res64: 86FD5DE7B07BE368 Time : 0.0 sec. user=juhehe [2018-06-22 11:43:29] 955*2^1514077-1 is not prime. Res64: 7321D92AD12EDDA5 Time : 0.0 sec. user=mdettweiler [2018-06-22 11:48:31] 729*2^1514077-1 is not prime. Res64: 67B01565C9A19AF1 Time : 0.0 sec. user=mdettweiler [2018-06-22 11:48:31] 747*2^1514077-1 is not prime. Res64: B3D43199A0E6A587 Time : 0.0 sec. user=mdettweiler [2018-06-22 11:48:31] 825*2^1514077-1 is not prime. Res64: 8386EDAB0928633E Time : 0.0 sec. user=mdettweiler [2018-06-22 11:48:32] 885*2^1514077-1 is not prime. Res64: EE101139F667FB2C Time : 0.0 sec. user=mdettweiler [2018-06-22 11:48:32] 945*2^1514077-1 is not prime. Res64: 91A6E98A697C628A Time : 0.0 sec. user=mdettweiler [2018-06-22 12:00:24] 997*2^1514077-1 is not prime. Res64: B10F5FA18454F351 Time : 0.0 sec. user=mdettweiler [2018-06-22 12:00:25] 603*2^1514078-1 is not prime. Res64: 9EF153632B5C1B73 Time : 0.0 sec. user=mdettweiler [2018-06-22 12:00:26] 651*2^1514078-1 is not prime. Res64: 6CE67374D17B3A32 Time : 0.0 sec. user=mdettweiler [2018-06-22 12:00:27] 671*2^1514078-1 is not prime. Res64: 478714D866CDEF0E Time : 0.0 sec. user=mdettweiler [2018-06-22 12:00:29] 713*2^1514078-1 is not prime. Res64: 266DFC3811F11A11 Time : 0.0 sec. user=mdettweiler [2018-06-22 12:12:28] 773*2^1514078-1 is not prime. Res64: 88D7388E1941A633 Time : 0.0 sec. user=mdettweiler [2018-06-22 12:12:30] 795*2^1514078-1 is not prime. Res64: A6BE540398908378 Time : 0.0 sec. user=mdettweiler [2018-06-22 12:12:31] 893*2^1514078-1 is not prime. Res64: FB1F03AEFCCC6AB5 Time : 0.0 sec. user=mdettweiler [2018-06-22 12:12:33] 971*2^1514078-1 is not prime. Res64: 12CA25C19CF364BF Time : 0.0 sec. user=mdettweiler [2018-06-22 12:12:35] 619*2^1514079-1 is not prime. Res64: 4A1F0ED07E296AD9 Time : 0.0 sec. user=mdettweiler [2018-06-22 12:30:08] 973*2^1514079-1 is not prime. Res64: 19B9091FA7A89A4C Time : 0.0 sec. user=mdettweiler [2018-06-22 12:30:09] 985*2^1514079-1 is not prime. Res64: DE2613B3A82C212B Time : 0.0 sec. user=mdettweiler [2018-06-22 12:30:09] 605*2^1514080-1 is not prime. Res64: 9D362E7CB8ECD985 Time : 0.0 sec. user=mdettweiler [2018-06-22 12:30:09] 755*2^1514080-1 is not prime. Res64: 0D8845CBDE2A2A11 Time : 0.0 sec. user=mdettweiler [2018-06-22 12:30:10] 759*2^1514080-1 is not prime. Res64: 93B491991317047C Time : 0.0 sec. user=mdettweiler [2018-06-22 12:39:04] 803*2^1514080-1 is not prime. Res64: A5446115E4070754 Time : 0.0 sec. user=mdettweiler [2018-06-22 12:39:04] 863*2^1514080-1 is not prime. Res64: 2D99BEC00B41B154 Time : 0.0 sec. user=mdettweiler [2018-06-22 12:39:05] 957*2^1514080-1 is not prime. Res64: 9B049409D4AEAEE3 Time : 0.0 sec. user=mdettweiler [2018-06-22 12:39:05] 637*2^1514081-1 is not prime. Res64: A39A811A02BB3163 Time : 0.0 sec. user=mdettweiler [2018-06-22 12:39:06] 711*2^1514081-1 is not prime. Res64: 8D433BB43F9229A4 Time : 0.0 sec. user=mdettweiler [2018-06-22 12:51:11] 889*2^1514081-1 is not prime. Res64: E3BD872270BD0C87 Time : 0.0 sec. user=mdettweiler [2018-06-22 12:51:12] 635*2^1514082-1 is not prime. Res64: 28CB8F771418346B Time : 0.0 sec. user=mdettweiler [2018-06-22 12:51:12] 647*2^1514082-1 is not prime. Res64: 9D27DB32575946F5 Time : 0.0 sec. user=mdettweiler [2018-06-22 12:51:13] 681*2^1514082-1 is not prime. Res64: 5C0139F6156EB489 Time : 0.0 sec. user=mdettweiler [2018-06-22 12:51:13] 683*2^1514082-1 is not prime. Res64: 2A5AEF938587DE82 Time : 0.0 sec. user=mdettweiler [2018-06-22 13:04:00] 695*2^1514082-1 is not prime. Res64: 84ECF12B1A946B48 Time : 0.0 sec. user=mdettweiler [2018-06-22 13:04:02] 711*2^1514082-1 is not prime. Res64: A54DA62B9F60D417 Time : 0.0 sec. user=mdettweiler [2018-06-22 13:04:05] 723*2^1514082-1 is not prime. Res64: DC7526A7289D39F7 Time : 0.0 sec. user=mdettweiler [2018-06-22 13:04:06] 803*2^1514082-1 is not prime. Res64: 4901B38AE817CDDF Time : 0.0 sec. user=mdettweiler [2018-06-22 13:04:08] 887*2^1514082-1 is not prime. Res64: 4359529F098AA92B Time : 0.0 sec. user=mdettweiler [2018-06-22 13:20:35] 891*2^1514082-1 is not prime. Res64: 8A671FE135D5A261 Time : 0.0 sec. user=mdettweiler [2018-06-22 13:20:36] 917*2^1514082-1 is not prime. Res64: F9477AAC2A4C20DB Time : 0.0 sec. user=mdettweiler [2018-06-22 13:20:36] 615*2^1514083-1 is not prime. Res64: E81D6B2E51901B3E Time : 0.0 sec. user=mdettweiler [2018-06-22 13:20:36] 673*2^1514083-1 is not prime. Res64: 78A14D02F8BCA158 Time : 0.0 sec. user=mdettweiler [2018-06-22 13:20:37] 675*2^1514083-1 is not prime. Res64: F744901388C23689 Time : 0.0 sec. user=mdettweiler [2018-06-22 13:30:08] 699*2^1514083-1 is not prime. Res64: 0DB914361DA5D1A2 Time : 0.0 sec. user=mdettweiler [2018-06-22 13:30:09] 741*2^1514083-1 is not prime. Res64: D10421A0663D2687 Time : 0.0 sec. user=mdettweiler [2018-06-22 13:30:09] 765*2^1514083-1 is not prime. Res64: 82D1BAEE027A3AB3 Time : 0.0 sec. user=mdettweiler [2018-06-22 13:30:10] 813*2^1514083-1 is not prime. Res64: 53E3D7D302E8942F Time : 0.0 sec. user=mdettweiler [2018-06-22 13:30:10] 859*2^1514083-1 is not prime. Res64: CFDF7B5FDE65E699 Time : 0.0 sec. user=mdettweiler [2018-06-22 13:42:47] 961*2^1514083-1 is not prime. Res64: 99B6E4F0E4FDB9E5 Time : 0.0 sec. user=mdettweiler [2018-06-22 13:42:47] 789*2^1514084-1 is not prime. Res64: DC3E9077CE36FED2 Time : 0.0 sec. user=mdettweiler [2018-06-22 13:42:48] 803*2^1514084-1 is not prime. Res64: CFA2FF7DFBF77D6E Time : 0.0 sec. user=mdettweiler [2018-06-22 13:42:48] 873*2^1514084-1 is not prime. Res64: 4309482E2443B9CF Time : 0.0 sec. user=mdettweiler [2018-06-22 13:42:48] 897*2^1514084-1 is not prime. Res64: 04F3D17C2A585689 Time : 0.0 sec. user=mdettweiler [2018-06-22 13:55:53] 959*2^1514084-1 is not prime. Res64: D9EA16BB7D43FCC4 Time : 0.0 sec. user=mdettweiler [2018-06-22 13:55:54] 995*2^1514084-1 is not prime. Res64: BF68E5EA874200D2 Time : 0.0 sec. user=mdettweiler [2018-06-22 13:55:54] 649*2^1514085-1 is not prime. Res64: 107B6CB1F46D60C5 Time : 0.0 sec. user=mdettweiler [2018-06-22 13:55:55] 717*2^1514085-1 is not prime. Res64: DD1966B4CDF0B445 Time : 0.0 sec. user=mdettweiler [2018-06-22 13:55:55] 741*2^1514085-1 is not prime. Res64: 4F9D4144740AD4C9 Time : 0.0 sec. user=juhehe [2018-06-22 14:03:35] 805*2^1514085-1 is not prime. Res64: 3D7FDFEC9EC70594 Time : 0.0 sec. user=mdettweiler [2018-06-22 14:11:35] 861*2^1514085-1 is not prime. Res64: 25EBE9491A36E2FB Time : 0.0 sec. user=mdettweiler [2018-06-22 14:11:36] 969*2^1514085-1 is not prime. Res64: 53BDE5DA3D58B2D4 Time : 0.0 sec. user=mdettweiler [2018-06-22 14:11:36] 975*2^1514085-1 is not prime. Res64: F235C2CA16A0E94F Time : 0.0 sec. user=mdettweiler [2018-06-22 14:11:37] 657*2^1514086-1 is not prime. Res64: 0AE456D1CB4804D3 Time : 0.0 sec. user=mdettweiler [2018-06-22 14:11:37] 663*2^1514086-1 is not prime. Res64: D44A4C51A3A55EA4 Time : 0.0 sec. user=mdettweiler [2018-06-22 14:21:33] 747*2^1514086-1 is not prime. Res64: 23D90916E485E7CB Time : 0.0 sec. user=mdettweiler [2018-06-22 14:21:33] 881*2^1514086-1 is not prime. Res64: 6A1FE75F68035053 Time : 0.0 sec. user=mdettweiler [2018-06-22 14:21:34] 983*2^1514086-1 is not prime. Res64: 71571E3D1EAE5EA4 Time : 0.0 sec. user=mdettweiler [2018-06-22 14:21:34] 669*2^1514087-1 is not prime. Res64: 63535308137830F4 Time : 0.0 sec. user=mdettweiler [2018-06-22 14:21:34] 813*2^1514087-1 is not prime. Res64: 771A1A30809FB87F Time : 0.0 sec. user=mdettweiler [2018-06-22 14:33:26] 829*2^1514087-1 is not prime. Res64: 2C7EA1F0FBFCC342 Time : 0.0 sec. user=mdettweiler [2018-06-22 14:33:26] 883*2^1514087-1 is not prime. Res64: EEAA978799BFD9D2 Time : 0.0 sec. user=mdettweiler [2018-06-22 14:33:26] 931*2^1514087-1 is not prime. Res64: 13971E5D587AC3AA Time : 0.0 sec. user=mdettweiler [2018-06-22 14:33:27] 627*2^1514088-1 is not prime. Res64: E36871380B4F8ACD Time : 0.0 sec. user=mdettweiler [2018-06-22 14:33:27] 629*2^1514088-1 is not prime. Res64: A0254565F5C33757 Time : 0.0 sec. user=mdettweiler [2018-06-22 14:45:59] 639*2^1514088-1 is not prime. Res64: 3AEC0A3699A92885 Time : 0.0 sec. user=mdettweiler [2018-06-22 14:46:00] 797*2^1514088-1 is not prime. Res64: 65B66F753F65B483 Time : 0.0 sec. user=mdettweiler [2018-06-22 14:46:00] 909*2^1514088-1 is not prime. Res64: 71AFCADE1373F074 Time : 0.0 sec. user=mdettweiler [2018-06-22 14:46:01] 975*2^1514088-1 is not prime. Res64: 53859D9862A43DF6 Time : 0.0 sec. user=mdettweiler [2018-06-22 14:46:01] 615*2^1514089-1 is not prime. Res64: 41CF893F11254148 Time : 0.0 sec. user=mdettweiler [2018-06-22 15:02:27] 681*2^1514089-1 is not prime. Res64: 0F89E527637E490F Time : 0.0 sec. user=mdettweiler [2018-06-22 15:02:28] 705*2^1514089-1 is not prime. Res64: D13B23894B7552AC Time : 0.0 sec. user=mdettweiler [2018-06-22 15:02:29] 835*2^1514089-1 is not prime. Res64: 753547042B3B8C98 Time : 0.0 sec. user=mdettweiler [2018-06-22 15:02:30] 861*2^1514089-1 is not prime. Res64: FD5303AA8E95B79C Time : 0.0 sec. user=mdettweiler [2018-06-22 15:02:31] 951*2^1514089-1 is not prime. Res64: 5EB43E54DD593227 Time : 0.0 sec. user=mdettweiler [2018-06-22 15:12:33] 987*2^1514089-1 is not prime. Res64: 013A08F5FB52D7AF Time : 0.0 sec. user=mdettweiler [2018-06-22 15:12:34] 677*2^1514090-1 is not prime. Res64: B2FEEDD63881C9C3 Time : 0.0 sec. user=mdettweiler [2018-06-22 15:12:34] 767*2^1514090-1 is not prime. Res64: E7F560407389E22D Time : 0.0 sec. user=mdettweiler [2018-06-22 15:12:35] 783*2^1514090-1 is not prime. Res64: 623E6DBD8D9A3DEA Time : 0.0 sec. user=mdettweiler [2018-06-22 15:12:35] 797*2^1514090-1 is not prime. Res64: 3F42032DC41FC9E5 Time : 0.0 sec. user=mdettweiler [2018-06-22 15:24:04] 857*2^1514090-1 is not prime. Res64: DC9652F828BF8CBB Time : 0.0 sec. user=mdettweiler [2018-06-22 15:24:04] 619*2^1514091-1 is not prime. Res64: 6387A11B25C2E27C Time : 0.0 sec. user=mdettweiler [2018-06-22 15:24:05] 703*2^1514091-1 is not prime. Res64: 1C52AAF141DFF58A Time : 0.0 sec. user=mdettweiler [2018-06-22 15:24:05] 835*2^1514091-1 is not prime. Res64: F25042601F83B967 Time : 0.0 sec. user=mdettweiler [2018-06-22 15:24:06] 861*2^1514091-1 is not prime. Res64: 08355120B0A5D6E5 Time : 0.0 sec. user=mdettweiler [2018-06-22 15:36:31] 871*2^1514091-1 is not prime. Res64: 4C0EA3256BD6CA04 Time : 0.0 sec. user=mdettweiler [2018-06-22 15:36:32] 945*2^1514091-1 is not prime. Res64: BB084EA0741C15BC Time : 0.0 sec. user=mdettweiler [2018-06-22 15:36:32] 949*2^1514091-1 is not prime. Res64: 01D768F0FCA4045B Time : 0.0 sec. user=mdettweiler [2018-06-22 15:36:33] 951*2^1514091-1 is not prime. Res64: FF4F9C669C49D04A Time : 0.0 sec. user=mdettweiler [2018-06-22 15:36:33] 615*2^1514092-1 is not prime. Res64: 6AE887B3709F9663 Time : 0.0 sec. user=mdettweiler [2018-06-22 15:53:22] 617*2^1514092-1 is not prime. Res64: B3E38B476102849A Time : 0.0 sec. user=mdettweiler [2018-06-22 15:53:22] 693*2^1514092-1 is not prime. Res64: 2A6B7A3ABD6C3EAC Time : 0.0 sec. user=mdettweiler [2018-06-22 15:53:23] 699*2^1514092-1 is not prime. Res64: 1E2434643B631757 Time : 0.0 sec. user=mdettweiler [2018-06-22 15:53:23] 765*2^1514092-1 is not prime. Res64: E2A0AFD2FAF8EFCF Time : 0.0 sec. user=mdettweiler [2018-06-22 15:53:24] 827*2^1514092-1 is not prime. Res64: 501D1350AED1F02E Time : 0.0 sec. user=mdettweiler [2018-06-22 16:03:18] 863*2^1514092-1 is not prime. Res64: 2190DA9C2CBCE3B9 Time : 0.0 sec. user=mdettweiler [2018-06-22 16:03:19] 933*2^1514092-1 is not prime. Res64: 1C125E5C86A74244 Time : 0.0 sec. user=mdettweiler [2018-06-22 16:03:20] 939*2^1514092-1 is not prime. Res64: C31AEF7DF5A6FB00 Time : 0.0 sec. user=mdettweiler [2018-06-22 16:03:21] 769*2^1514093-1 is not prime. Res64: 7A0D0BF50A3A8A5E Time : 0.0 sec. user=mdettweiler [2018-06-22 16:03:21] 775*2^1514093-1 is not prime. Res64: 9951F0E880C92574 Time : 0.0 sec. user=mdettweiler [2018-06-22 16:14:51] 837*2^1514093-1 is not prime. Res64: 03A62DD49A9CEE2C Time : 0.0 sec. user=mdettweiler [2018-06-22 16:14:51] 867*2^1514093-1 is not prime. Res64: A81A6DC5F1DC10AB Time : 0.0 sec. user=mdettweiler [2018-06-22 16:14:52] 937*2^1514093-1 is not prime. Res64: 037868ED2CFD205A Time : 0.0 sec. user=mdettweiler [2018-06-22 16:14:52] 949*2^1514093-1 is not prime. Res64: 4E4848F08E64CBA6 Time : 0.0 sec. user=mdettweiler [2018-06-22 16:14:52] 979*2^1514093-1 is not prime. Res64: DDE5D43F47B6B333 Time : 0.0 sec. user=juhehe [2018-06-22 16:23:34] 915*2^1514094-1 is not prime. Res64: E24420713038FE6A Time : 0.0 sec. user=mdettweiler [2018-06-22 16:27:19] 987*2^1514093-1 is not prime. Res64: 7D4315019C958E87 Time : 0.0 sec. user=mdettweiler [2018-06-22 16:27:20] 797*2^1514094-1 is not prime. Res64: 561905625B2E062B Time : 0.0 sec. user=mdettweiler [2018-06-22 16:27:20] 887*2^1514094-1 is not prime. Res64: F9206DD3FA405838 Time : 0.0 sec. user=mdettweiler [2018-06-22 16:27:21] 891*2^1514094-1 is not prime. Res64: 04FBF17190479FD6 Time : 0.0 sec. user=mdettweiler [2018-06-22 16:27:21] 903*2^1514094-1 is not prime. Res64: A89D712E89422368 Time : 0.0 sec. user=mdettweiler [2018-06-22 16:44:24] 975*2^1514094-1 is not prime. Res64: 6706909903F46A54 Time : 0.0 sec. user=mdettweiler [2018-06-22 16:44:24] 751*2^1514095-1 is not prime. Res64: 6A9030EEAA94BE8B Time : 0.0 sec. user=mdettweiler [2018-06-22 16:44:25] 759*2^1514095-1 is not prime. Res64: 7CCBA5957807C934 Time : 0.0 sec. user=mdettweiler [2018-06-22 16:44:25] 765*2^1514095-1 is not prime. Res64: 4EC75AC55D1B7FF6 Time : 0.0 sec. user=mdettweiler [2018-06-22 16:44:25] 819*2^1514095-1 is not prime. Res64: C7FB1F60E251C8CF Time : 0.0 sec. user=mdettweiler [2018-06-22 16:56:10] 943*2^1514095-1 is not prime. Res64: EA1A24DDEB0A5CD8 Time : 0.0 sec. user=mdettweiler [2018-06-22 16:56:11] 615*2^1514096-1 is not prime. Res64: 36BF6EDDC3CA8DBD Time : 0.0 sec. user=mdettweiler [2018-06-22 16:56:11] 669*2^1514096-1 is not prime. Res64: 0B3DF8AA6A0435B1 Time : 0.0 sec. user=mdettweiler [2018-06-22 16:56:11] 677*2^1514096-1 is not prime. Res64: 665835C15CB30D83 Time : 0.0 sec. user=mdettweiler [2018-06-22 16:56:12] 693*2^1514096-1 is not prime. Res64: 41E8388658AE6F67 Time : 0.0 sec. user=mdettweiler [2018-06-22 17:05:15] 767*2^1514096-1 is not prime. Res64: B8F764AE025D60CC Time : 0.0 sec. user=mdettweiler [2018-06-22 17:05:17] 867*2^1514096-1 is not prime. Res64: 7AF0B800B169BB27 Time : 0.0 sec. user=mdettweiler [2018-06-22 17:05:18] 923*2^1514096-1 is not prime. Res64: DD9232501DE265F0 Time : 0.0 sec. user=mdettweiler [2018-06-22 17:05:20] 639*2^1514097-1 is not prime. Res64: DA196A0AF0376E8F Time : 0.0 sec. user=mdettweiler [2018-06-22 17:05:21] 649*2^1514097-1 is not prime. Res64: 4D39E8AA2E820BD8 Time : 0.0 sec. user=mdettweiler [2018-06-22 17:18:35] 667*2^1514097-1 is not prime. Res64: 4DE7E02DB20D7BE4 Time : 0.0 sec. user=mdettweiler [2018-06-22 17:18:36] 699*2^1514097-1 is not prime. Res64: FB1D605EEDB45B4E Time : 0.0 sec. user=mdettweiler [2018-06-22 17:18:36] 717*2^1514097-1 is not prime. Res64: 3BB95CC4EDEB6C2E Time : 0.0 sec. user=mdettweiler [2018-06-22 17:18:37] 747*2^1514097-1 is not prime. Res64: 59D39374C8751183 Time : 0.0 sec. user=mdettweiler [2018-06-22 17:18:37] 781*2^1514097-1 is not prime. Res64: F5A908580AAFA8AD Time : 0.0 sec. user=mdettweiler [2018-06-22 17:35:03] 837*2^1514097-1 is not prime. Res64: 0E0D974FED7264EC Time : 0.0 sec. user=mdettweiler [2018-06-22 17:35:04] 633*2^1514098-1 is not prime. Res64: 4CCB63686A134E71 Time : 0.0 sec. user=mdettweiler [2018-06-22 17:35:04] 941*2^1514098-1 is not prime. Res64: C528B67512A5A34F Time : 0.0 sec. user=mdettweiler [2018-06-22 17:35:04] 945*2^1514098-1 is not prime. Res64: 5A99CBA7FFF4E342 Time : 0.0 sec. user=mdettweiler [2018-06-22 17:35:05] 975*2^1514098-1 is not prime. Res64: 9D424FBF1E63D881 Time : 0.0 sec. user=mdettweiler [2018-06-22 17:46:15] 601*2^1514099-1 is not prime. Res64: 4FCE6F520C77FC5B Time : 0.0 sec. user=mdettweiler [2018-06-22 17:46:15] 663*2^1514099-1 is not prime. Res64: F404B07EAC27C9DF Time : 0.0 sec. user=mdettweiler [2018-06-22 17:46:16] 855*2^1514099-1 is not prime. Res64: CF194B8FE9C37E2B Time : 0.0 sec. user=mdettweiler [2018-06-22 17:46:16] 885*2^1514099-1 is not prime. Res64: 7FDD0B2EA99E6E01 Time : 0.0 sec. user=mdettweiler [2018-06-22 17:46:17] 939*2^1514099-1 is not prime. Res64: 2B9D7CD7E4E4A51C Time : 0.0 sec. user=mdettweiler [2018-06-22 17:56:54] 955*2^1514099-1 is not prime. Res64: 030E64E9A158A8C8 Time : 0.0 sec. user=mdettweiler [2018-06-22 17:56:55] 969*2^1514099-1 is not prime. Res64: DA41B60B12A159BE Time : 0.0 sec. user=mdettweiler [2018-06-22 17:56:55] 985*2^1514099-1 is not prime. Res64: 899CAB5CED535F05 Time : 0.0 sec. user=mdettweiler [2018-06-22 17:56:56] 669*2^1514100-1 is not prime. Res64: BAFCC3B886F50BE6 Time : 0.0 sec. user=mdettweiler [2018-06-22 17:56:56] 693*2^1514100-1 is not prime. Res64: 1C3864FDA7BFF78C Time : 0.0 sec. user=mdettweiler [2018-06-22 18:09:14] 695*2^1514100-1 is not prime. Res64: 33CCABA8BEC473F8 Time : 0.0 sec. user=mdettweiler [2018-06-22 18:09:15] 723*2^1514100-1 is not prime. Res64: 324E92061A422310 Time : 0.0 sec. user=mdettweiler [2018-06-22 18:09:15] 797*2^1514100-1 is not prime. Res64: 2D994C6C05D07B6F Time : 0.0 sec. user=mdettweiler [2018-06-22 18:09:15] 933*2^1514100-1 is not prime. Res64: 5F688AD4E2BF6542 Time : 0.0 sec. user=mdettweiler [2018-06-22 18:09:16] 945*2^1514100-1 is not prime. Res64: D5F314014B4BA1B0 Time : 0.0 sec. user=mdettweiler [2018-06-22 18:25:30] 645*2^1514101-1 is not prime. Res64: 9943E21FE010A642 Time : 0.0 sec. user=mdettweiler [2018-06-22 18:25:30] 681*2^1514101-1 is not prime. Res64: 6361CAE4D9DE1464 Time : 0.0 sec. user=mdettweiler [2018-06-22 18:25:31] 685*2^1514101-1 is not prime. Res64: 575A5549003DCE01 Time : 0.0 sec. user=mdettweiler [2018-06-22 18:25:31] 751*2^1514101-1 is not prime. Res64: 79C7E848094B50DA Time : 0.0 sec. user=mdettweiler [2018-06-22 18:25:31] 805*2^1514101-1 is not prime. Res64: 68FE840E16150F0F Time : 0.0 sec. user=mdettweiler [2018-06-22 18:37:04] 871*2^1514101-1 is not prime. Res64: CFA32EC91A95C711 Time : 0.0 sec. user=mdettweiler [2018-06-22 18:37:05] 895*2^1514101-1 is not prime. Res64: 5629571FC606FC64 Time : 0.0 sec. user=mdettweiler [2018-06-22 18:37:05] 931*2^1514101-1 is not prime. Res64: 237C630AF27FC599 Time : 0.0 sec. user=mdettweiler [2018-06-22 18:37:06] 987*2^1514101-1 is not prime. Res64: A4EF492923AA64CD Time : 0.0 sec. user=mdettweiler [2018-06-22 18:37:06] 705*2^1514102-1 is not prime. Res64: 7D4205944259DB4D Time : 0.0 sec. user=juhehe [2018-06-22 18:43:30] 977*2^1514102-1 is not prime. Res64: 3CAA3579BC4B3C33 Time : 0.0 sec. user=mdettweiler [2018-06-22 18:47:44] 731*2^1514102-1 is not prime. Res64: D56644D58C62ACC4 Time : 0.0 sec. user=mdettweiler [2018-06-22 18:47:45] 813*2^1514102-1 is not prime. Res64: CC91CB6FC4ECE449 Time : 0.0 sec. user=mdettweiler [2018-06-22 18:47:45] 815*2^1514102-1 is not prime. Res64: 163A504844212A57 Time : 0.0 sec. user=mdettweiler [2018-06-22 18:47:45] 903*2^1514102-1 is not prime. Res64: 0E48971B2B1BD3E4 Time : 0.0 sec. user=mdettweiler [2018-06-22 18:47:46] 915*2^1514102-1 is not prime. Res64: BA525E39941CF50C Time : 0.0 sec. user=mdettweiler [2018-06-22 19:00:14] 709*2^1514103-1 is not prime. Res64: A1F6C8C4F9567B5E Time : 0.0 sec. user=mdettweiler [2018-06-22 19:00:15] 739*2^1514103-1 is not prime. Res64: FCA72F5B03EC1E5B Time : 0.0 sec. user=mdettweiler [2018-06-22 19:00:17] 781*2^1514103-1 is not prime. Res64: C36F18A9E80BC28F Time : 0.0 sec. user=mdettweiler [2018-06-22 19:00:17] 795*2^1514103-1 is not prime. Res64: 2A7BEE5343AD195B Time : 0.0 sec. user=mdettweiler [2018-06-22 19:00:18] 945*2^1514103-1 is not prime. Res64: D3AB66708086A4CD Time : 0.0 sec. user=mdettweiler [2018-06-22 19:16:00] 843*2^1514104-1 is not prime. Res64: 30CE58023C2165AC Time : 0.0 sec. user=mdettweiler [2018-06-22 19:16:00] 939*2^1514104-1 is not prime. Res64: DC236F0E22093C0C Time : 0.0 sec. user=mdettweiler [2018-06-22 19:16:01] 965*2^1514104-1 is not prime. Res64: 5BB1F2BFEE1AE0DC Time : 0.0 sec. user=mdettweiler [2018-06-22 19:16:01] 601*2^1514105-1 is not prime. Res64: 39FA6A5A7F870396 Time : 0.0 sec. user=mdettweiler [2018-06-22 19:16:02] 675*2^1514105-1 is not prime. Res64: 125CFCD1F8E406FD Time : 0.0 sec. user=mdettweiler [2018-06-22 19:27:28] 697*2^1514105-1 is not prime. Res64: F35FFFB399676675 Time : 0.0 sec. user=mdettweiler [2018-06-22 19:27:28] 771*2^1514105-1 is not prime. Res64: 7538BC992D63F5A6 Time : 0.0 sec. user=mdettweiler [2018-06-22 19:27:28] 847*2^1514105-1 is not prime. Res64: 88044AB397DCC48B Time : 0.0 sec. user=mdettweiler [2018-06-22 19:27:29] 861*2^1514105-1 is not prime. Res64: 72CEF2AC7A676FAF Time : 0.0 sec. user=mdettweiler [2018-06-22 19:27:29] 915*2^1514105-1 is not prime. Res64: 777E5D42D2466C1A Time : 0.0 sec. user=mdettweiler [2018-06-22 19:38:31] 767*2^1514106-1 is not prime. Res64: 4B75725475757DD5 Time : 0.0 sec. user=mdettweiler [2018-06-22 19:38:32] 923*2^1514106-1 is not prime. Res64: 9527E00134A403CF Time : 0.0 sec. user=mdettweiler [2018-06-22 19:38:32] 975*2^1514106-1 is not prime. Res64: E0323740B9127764 Time : 0.0 sec. user=mdettweiler [2018-06-22 19:38:33] 983*2^1514106-1 is not prime. Res64: 4484111033703C7F Time : 0.0 sec. user=mdettweiler [2018-06-22 19:38:33] 993*2^1514106-1 is not prime. Res64: 8859954E8FFB5B65 Time : 0.0 sec. user=mdettweiler [2018-06-22 19:50:34] 639*2^1514107-1 is not prime. Res64: B0438218B0F1E11B Time : 0.0 sec. user=mdettweiler [2018-06-22 19:50:34] 843*2^1514107-1 is not prime. Res64: 151A8983FE3C0FA2 Time : 0.0 sec. user=mdettweiler [2018-06-22 19:50:35] 873*2^1514107-1 is not prime. Res64: 23BC8F5E0D47979B Time : 0.0 sec. user=mdettweiler [2018-06-22 19:50:35] 635*2^1514108-1 is not prime. Res64: 2BAB84EFC177810F Time : 0.0 sec. user=mdettweiler [2018-06-22 19:50:36] 707*2^1514108-1 is not prime. Res64: 88921BBB940129B3 Time : 0.0 sec. user=mdettweiler [2018-06-22 20:06:58] 755*2^1514108-1 is not prime. Res64: EF46899FBE932AB3 Time : 0.0 sec. user=mdettweiler [2018-06-22 20:07:00] 825*2^1514108-1 is not prime. Res64: 58670DFB398F7140 Time : 0.0 sec. user=mdettweiler [2018-06-22 20:07:01] 839*2^1514108-1 is not prime. Res64: E50889A5A7719C86 Time : 0.0 sec. user=mdettweiler [2018-06-22 20:07:03] 869*2^1514108-1 is not prime. Res64: 6F767FCA53960224 Time : 0.0 sec. user=mdettweiler [2018-06-22 20:07:05] 929*2^1514108-1 is not prime. Res64: 363EFDB099EE8471 Time : 0.0 sec. user=juhehe [2018-06-22 20:16:00] 835*2^1514109-1 is not prime. Res64: BC7DFD04D3FBACB5 Time : 0.0 sec. user=mdettweiler [2018-06-22 20:17:58] 969*2^1514108-1 is not prime. Res64: 24E44F8218E39152 Time : 0.0 sec. user=mdettweiler [2018-06-22 20:17:59] 621*2^1514109-1 is not prime. Res64: 8223102E6801E247 Time : 0.0 sec. user=mdettweiler [2018-06-22 20:17:59] 669*2^1514109-1 is not prime. Res64: 003A53B910BC0ADC Time : 0.0 sec. user=mdettweiler [2018-06-22 20:18:00] 709*2^1514109-1 is not prime. Res64: 7160176B298BDABF Time : 0.0 sec. user=mdettweiler [2018-06-22 20:18:00] 745*2^1514109-1 is not prime. Res64: 08344D40A7C54FA4 Time : 0.0 sec. user=mdettweiler [2018-06-22 20:28:49] 847*2^1514109-1 is not prime. Res64: A8E8BECDAD3744DD Time : 0.0 sec. user=mdettweiler [2018-06-22 20:28:49] 949*2^1514109-1 is not prime. Res64: 154CB7A2FB5FF0F1 Time : 0.0 sec. user=mdettweiler [2018-06-22 20:28:50] 623*2^1514110-1 is not prime. Res64: EFB6FFBF36F186B8 Time : 0.0 sec. user=mdettweiler [2018-06-22 20:28:50] 665*2^1514110-1 is not prime. Res64: CA57C2D73885E651 Time : 0.0 sec. user=mdettweiler [2018-06-22 20:28:51] 801*2^1514110-1 is not prime. Res64: CE2A5E38E6B64043 Time : 0.0 sec. user=mdettweiler [2018-06-22 20:41:23] 863*2^1514110-1 is not prime. Res64: 8BB8A609615223C2 Time : 0.0 sec. user=mdettweiler [2018-06-22 20:41:23] 951*2^1514110-1 is not prime. Res64: 6DD739083976FCAF Time : 0.0 sec. user=mdettweiler [2018-06-22 20:41:23] 987*2^1514110-1 is not prime. Res64: D5544320B1F70AB7 Time : 0.0 sec. user=mdettweiler [2018-06-22 20:41:24] 645*2^1514111-1 is not prime. Res64: 2CFA249B396E7221 Time : 0.0 sec. user=mdettweiler [2018-06-22 20:41:24] 623*2^1514112-1 is not prime. Res64: D628DBA2EA3314BB Time : 0.0 sec. user=mdettweiler [2018-06-22 20:58:40] 719*2^1514112-1 is not prime. Res64: 8DCF30CE15D6E991 Time : 0.0 sec. user=mdettweiler [2018-06-22 20:58:40] 723*2^1514112-1 is not prime. Res64: FEF2120347C5A7AA Time : 0.0 sec. user=mdettweiler [2018-06-22 20:58:41] 765*2^1514112-1 is not prime. Res64: 79A6F5166D642213 Time : 0.0 sec. user=mdettweiler [2018-06-22 20:58:41] 863*2^1514112-1 is not prime. Res64: 5A542BA2CED5CF2B Time : 0.0 sec. user=mdettweiler [2018-06-22 20:58:42] 867*2^1514112-1 is not prime. Res64: 8DF3B31BA4FDC07B Time : 0.0 sec. user=mdettweiler [2018-06-22 21:09:10] 915*2^1514112-1 is not prime. Res64: 30254ED1CC345786 Time : 0.0 sec. user=mdettweiler [2018-06-22 21:09:11] 983*2^1514112-1 is not prime. Res64: F28A68F25C2514A0 Time : 0.0 sec. user=mdettweiler [2018-06-22 21:09:11] 727*2^1514113-1 is not prime. Res64: C1AFB7398F03F5CB Time : 0.0 sec. user=mdettweiler [2018-06-22 21:09:12] 741*2^1514113-1 is not prime. Res64: FC88235137A7A760 Time : 0.0 sec. user=mdettweiler [2018-06-22 21:09:13] 769*2^1514113-1 is not prime. Res64: C692E854810C8E04 Time : 0.0 sec. user=mdettweiler [2018-06-22 21:19:24] 605*2^1514114-1 is not prime. Res64: 159FDCD58847D339 Time : 0.0 sec. user=mdettweiler [2018-06-22 21:19:25] 687*2^1514114-1 is not prime. Res64: 2181F37247067E1C Time : 0.0 sec. user=mdettweiler [2018-06-22 21:19:25] 741*2^1514114-1 is not prime. Res64: 6E4A7584761CBF46 Time : 0.0 sec. user=mdettweiler [2018-06-22 21:19:26] 995*2^1514114-1 is not prime. Res64: FBEC80AAE569D9B2 Time : 0.0 sec. user=mdettweiler [2018-06-22 21:19:26] 613*2^1514115-1 is not prime. Res64: BCCE6433D05653ED Time : 0.0 sec. user=mdettweiler [2018-06-22 21:31:34] 639*2^1514115-1 is not prime. Res64: CACC272297C8880A Time : 0.0 sec. user=mdettweiler [2018-06-22 21:31:35] 643*2^1514115-1 is not prime. Res64: B69CCF4C3FAD092B Time : 0.0 sec. user=mdettweiler [2018-06-22 21:31:35] 871*2^1514115-1 is not prime. Res64: 3F45BCA69DEDC311 Time : 0.0 sec. user=mdettweiler [2018-06-22 21:31:36] 909*2^1514115-1 is not prime. Res64: F43F2917CFAE2A5D Time : 0.0 sec. user=mdettweiler [2018-06-22 21:31:36] 985*2^1514115-1 is not prime. Res64: 4031EDAFA6C53C5A Time : 0.0 sec. user=mdettweiler [2018-06-22 21:48:48] 647*2^1514116-1 is not prime. Res64: C4C9107CE8F9D814 Time : 0.0 sec. user=mdettweiler [2018-06-22 21:48:48] 833*2^1514116-1 is not prime. Res64: FD3AD2E916B2AE0C Time : 0.0 sec. user=mdettweiler [2018-06-22 21:48:49] 655*2^1514117-1 is not prime. Res64: CA81277F5A14E424 Time : 0.0 sec. user=mdettweiler [2018-06-22 21:48:49] 699*2^1514117-1 is not prime. Res64: B0367A0F7C6B9D7B Time : 0.0 sec. user=mdettweiler [2018-06-22 21:48:50] 747*2^1514117-1 is not prime. Res64: A09B2FE219BDB4B0 Time : 0.0 sec. user=mdettweiler [2018-06-22 22:00:04] 795*2^1514117-1 is not prime. Res64: BB492913C374484D Time : 0.0 sec. user=mdettweiler [2018-06-22 22:00:04] 799*2^1514117-1 is not prime. Res64: 82F5379A2DA390DC Time : 0.0 sec. user=mdettweiler [2018-06-22 22:00:05] 871*2^1514117-1 is not prime. Res64: 2424B9EA3BF7393B Time : 0.0 sec. user=mdettweiler [2018-06-22 22:00:05] 879*2^1514117-1 is not prime. Res64: F2A7589B3F7F37FD Time : 0.0 sec. user=mdettweiler [2018-06-22 22:00:06] 991*2^1514117-1 is not prime. Res64: 4EC06D8BE2E5C468 Time : 0.0 sec. user=mdettweiler [2018-06-22 22:09:38] 605*2^1514118-1 is not prime. Res64: 9DEF954203E92EE1 Time : 0.0 sec. user=mdettweiler [2018-06-22 22:09:38] 641*2^1514118-1 is not prime. Res64: A6FB9C2AC9422BD8 Time : 0.0 sec. user=mdettweiler [2018-06-22 22:09:39] 747*2^1514118-1 is not prime. Res64: 4EC441F74C311EC6 Time : 0.0 sec. user=mdettweiler [2018-06-22 22:09:39] 773*2^1514118-1 is not prime. Res64: 3EB8E22C343C9257 Time : 0.0 sec. user=mdettweiler [2018-06-22 22:09:40] 825*2^1514118-1 is not prime. Res64: D2FC2E884C1CC542 Time : 0.0 sec. user=mdettweiler [2018-06-22 22:22:19] 833*2^1514118-1 is not prime. Res64: 9527A40A94A8F857 Time : 0.0 sec. user=mdettweiler [2018-06-22 22:22:19] 921*2^1514118-1 is not prime. Res64: 2BA454CA04721AC2 Time : 0.0 sec. user=mdettweiler [2018-06-22 22:22:19] 923*2^1514118-1 is not prime. Res64: BE58AA9B63CDA8C0 Time : 0.0 sec. user=mdettweiler [2018-06-22 22:22:20] 941*2^1514118-1 is not prime. Res64: B381052F0BC00A17 Time : 0.0 sec. user=mdettweiler [2018-06-22 22:22:20] 971*2^1514118-1 is not prime. Res64: 7F467D3618634CF7 Time : 0.0 sec. user=juhehe [2018-06-22 22:26:42] 603*2^1514120-1 is not prime. Res64: 6052C2D6AD177A64 Time : 0.0 sec. user=mdettweiler [2018-06-22 22:39:37] 789*2^1514119-1 is not prime. Res64: 74E3E2A3B92CBBE7 Time : 0.0 sec. user=mdettweiler [2018-06-22 22:39:38] 861*2^1514119-1 is not prime. Res64: 4EFA975930E8ED6B Time : 0.0 sec. user=mdettweiler [2018-06-22 22:39:38] 939*2^1514119-1 is not prime. Res64: E339492496FD0F79 Time : 0.0 sec. user=mdettweiler [2018-06-22 22:39:38] 961*2^1514119-1 is not prime. Res64: 1A7F85A94677226B Time : 0.0 sec. user=mdettweiler [2018-06-22 22:39:39] 993*2^1514119-1 is not prime. Res64: 7038E0BFFAADDB98 Time : 0.0 sec. user=mdettweiler [2018-06-22 22:51:09] 669*2^1514120-1 is not prime. Res64: 5CD63B6760AAB1C8 Time : 0.0 sec. user=mdettweiler [2018-06-22 22:51:09] 725*2^1514120-1 is not prime. Res64: E1009625ED2637F7 Time : 0.0 sec. user=mdettweiler [2018-06-22 22:51:10] 743*2^1514120-1 is not prime. Res64: 63D4D69DBD47E3D0 Time : 0.0 sec. user=mdettweiler [2018-06-22 22:51:10] 755*2^1514120-1 is not prime. Res64: 7118FB745DCEC231 Time : 0.0 sec. user=mdettweiler [2018-06-22 22:51:11] 797*2^1514120-1 is not prime. Res64: 97FC3127DCB343E1 Time : 0.0 sec. user=mdettweiler [2018-06-22 23:00:23] 813*2^1514120-1 is not prime. Res64: 9447C3B2426FF7A6 Time : 0.0 sec. user=mdettweiler [2018-06-22 23:00:25] 857*2^1514120-1 is not prime. Res64: 60AEA1B99E19F638 Time : 0.0 sec. user=mdettweiler [2018-06-22 23:00:26] 893*2^1514120-1 is not prime. Res64: B4C1C1096CBB7DBE Time : 0.0 sec. user=mdettweiler [2018-06-22 23:00:27] 625*2^1514121-1 is not prime. Res64: 4721F08BC5F03626 Time : 0.0 sec. user=mdettweiler [2018-06-22 23:00:29] 709*2^1514121-1 is not prime. Res64: CA84E954782E7F57 Time : 0.0 sec. user=mdettweiler [2018-06-22 23:13:10] 739*2^1514121-1 is not prime. Res64: 19E909F675CA34A2 Time : 0.0 sec. user=mdettweiler [2018-06-22 23:13:11] 747*2^1514121-1 is not prime. Res64: FFD3FF8B41A74790 Time : 0.0 sec. user=mdettweiler [2018-06-22 23:13:11] 777*2^1514121-1 is not prime. Res64: 959C77A454600C6B Time : 0.0 sec. user=mdettweiler [2018-06-22 23:13:12] 837*2^1514121-1 is not prime. Res64: B192C2E4E89E7C53 Time : 0.0 sec. user=mdettweiler [2018-06-22 23:13:12] 849*2^1514121-1 is not prime. Res64: 558F396FE54789B6 Time : 0.0 sec. user=mdettweiler [2018-06-22 23:30:24] 861*2^1514121-1 is not prime. Res64: 743E15E260C79AB1 Time : 0.0 sec. user=mdettweiler [2018-06-22 23:30:25] 987*2^1514121-1 is not prime. Res64: BCE59AAEE075E52D Time : 0.0 sec. user=mdettweiler [2018-06-22 23:30:25] 991*2^1514121-1 is not prime. Res64: 08A4B46610964720 Time : 0.0 sec. user=mdettweiler [2018-06-22 23:30:26] 999*2^1514121-1 is not prime. Res64: ACE05C29266AB33F Time : 0.0 sec. user=mdettweiler [2018-06-22 23:30:26] 695*2^1514122-1 is not prime. Res64: 2ADEEA4E896AE9D6 Time : 0.0 sec. user=mdettweiler [2018-06-22 23:41:51] 713*2^1514122-1 is not prime. Res64: EABE7F429FCDCE15 Time : 0.0 sec. user=mdettweiler [2018-06-22 23:41:52] 741*2^1514122-1 is not prime. Res64: 82DD4B11A7200199 Time : 0.0 sec. user=mdettweiler [2018-06-22 23:41:52] 803*2^1514122-1 is not prime. Res64: 8607E6620EAC9B9A Time : 0.0 sec. user=mdettweiler [2018-06-22 23:41:53] 891*2^1514122-1 is not prime. Res64: FF9567BB3FE04114 Time : 0.0 sec. user=mdettweiler [2018-06-22 23:41:53] 987*2^1514122-1 is not prime. Res64: E2A90D511C64559C Time : 0.0 sec. user=mdettweiler [2018-06-22 23:51:28] 771*2^1514123-1 is not prime. Res64: 6D3C60E3ADDCA515 Time : 0.0 sec. user=mdettweiler [2018-06-22 23:51:29] 879*2^1514123-1 is not prime. Res64: D1CE906A161979CF Time : 0.0 sec. user=mdettweiler [2018-06-22 23:51:29] 981*2^1514123-1 is not prime. Res64: A91CA25EE0B5E137 Time : 0.0 sec. user=mdettweiler [2018-06-22 23:51:30] 725*2^1514124-1 is not prime. Res64: F33FD361ABAD5EE8 Time : 0.0 sec. user=mdettweiler [2018-06-22 23:51:30] 753*2^1514124-1 is not prime. Res64: ACAAE847394F63C7 Time : 0.0 sec.