user=mdettweiler [2016-10-12 00:09:43] 767*2^1442468-1 is not prime. Res64: F0A413467EB237A6 Time : 0.0 sec. user=mdettweiler [2016-10-12 00:09:44] 825*2^1442468-1 is not prime. Res64: 87A1350D02654EFD Time : 0.0 sec. user=mdettweiler [2016-10-12 00:09:44] 839*2^1442468-1 is not prime. Res64: 483470C83A0295AF Time : 0.0 sec. user=mdettweiler [2016-10-12 00:09:44] 845*2^1442468-1 is not prime. Res64: 4FC92E335386238B Time : 0.0 sec. user=mdettweiler [2016-10-12 00:09:45] 893*2^1442468-1 is not prime. Res64: 53741EE7EE058BA7 Time : 0.0 sec. user=mdettweiler [2016-10-12 00:24:41] 959*2^1442468-1 is not prime. Res64: 946CCCC8EBD7E1BE Time : 0.0 sec. user=mdettweiler [2016-10-12 00:24:41] 963*2^1442468-1 is not prime. Res64: A676A0B9663F1916 Time : 0.0 sec. user=mdettweiler [2016-10-12 00:24:41] 609*2^1442469-1 is not prime. Res64: 6E0688BC7DA9EA64 Time : 0.0 sec. user=mdettweiler [2016-10-12 00:24:41] 627*2^1442469-1 is not prime. Res64: F22930A1EFF4B03A Time : 0.0 sec. user=mdettweiler [2016-10-12 00:24:42] 681*2^1442469-1 is not prime. Res64: 99E09F5A3735ADB7 Time : 0.0 sec. user=mdettweiler [2016-10-12 00:30:19] 759*2^1442469-1 is not prime. Res64: 93C7B8EBDB97145C Time : 0.0 sec. user=mdettweiler [2016-10-12 00:30:20] 765*2^1442469-1 is not prime. Res64: F51B1486FCCFD1A5 Time : 0.0 sec. user=mdettweiler [2016-10-12 00:30:20] 769*2^1442469-1 is not prime. Res64: 6F23A4CF74677971 Time : 0.0 sec. user=mdettweiler [2016-10-12 00:30:20] 889*2^1442469-1 is not prime. Res64: 70736010BB47FD7B Time : 0.0 sec. user=mdettweiler [2016-10-12 00:30:20] 741*2^1442470-1 is not prime. Res64: A9CB9BB2DD283E05 Time : 0.0 sec. user=mdettweiler [2016-10-12 00:33:10] 755*2^1442470-1 is not prime. Res64: 994F3182288C43BD Time : 0.0 sec. user=mdettweiler [2016-10-12 00:33:10] 765*2^1442470-1 is not prime. Res64: 7308064B544813A2 Time : 0.0 sec. user=mdettweiler [2016-10-12 00:33:10] 801*2^1442470-1 is not prime. Res64: 3228AB19992BD4BF Time : 0.0 sec. user=mdettweiler [2016-10-12 00:33:11] 857*2^1442470-1 is not prime. Res64: 101D4E1419744A38 Time : 0.0 sec. user=mdettweiler [2016-10-12 00:33:11] 873*2^1442470-1 is not prime. Res64: BD8760515D6F0A3B Time : 0.0 sec. user=mdettweiler [2016-10-12 00:56:42] 891*2^1442470-1 is not prime. Res64: D231105F62B17DAE Time : 0.0 sec. user=mdettweiler [2016-10-12 00:56:42] 661*2^1442471-1 is not prime. Res64: D51DAD2F6174CB32 Time : 0.0 sec. user=mdettweiler [2016-10-12 00:56:43] 759*2^1442471-1 is not prime. Res64: 526DD4F4300D11D8 Time : 0.0 sec. user=mdettweiler [2016-10-12 00:56:43] 909*2^1442471-1 is not prime. Res64: 1E566CD9CC5AFD35 Time : 0.0 sec. user=mdettweiler [2016-10-12 00:56:43] 939*2^1442471-1 is not prime. Res64: F481178131720E48 Time : 0.0 sec. user=mdettweiler [2016-10-12 01:11:59] 629*2^1442472-1 is not prime. Res64: E09B91CF65EDDC86 Time : 0.0 sec. user=mdettweiler [2016-10-12 01:12:04] 653*2^1442472-1 is not prime. Res64: B3A2154F3DEA5E46 Time : 0.0 sec. user=mdettweiler [2016-10-12 01:12:10] 699*2^1442472-1 is not prime. Res64: AAA29F3C14EB05E9 Time : 0.0 sec. user=mdettweiler [2016-10-12 01:12:15] 815*2^1442472-1 is not prime. Res64: 7C2236493E2F7EAD Time : 0.0 sec. user=mdettweiler [2016-10-12 01:12:20] 875*2^1442472-1 is not prime. Res64: C29B75E43B643E42 Time : 0.0 sec. user=mdettweiler [2016-10-12 01:17:01] 933*2^1442472-1 is not prime. Res64: A5B68D3ACCFF47C5 Time : 0.0 sec. user=mdettweiler [2016-10-12 01:17:01] 977*2^1442472-1 is not prime. Res64: 2917C3D2696945AF Time : 0.0 sec. user=mdettweiler [2016-10-12 01:17:02] 607*2^1442473-1 is not prime. Res64: DA9F5EF110FF3A40 Time : 0.0 sec. user=mdettweiler [2016-10-12 01:17:02] 615*2^1442473-1 is not prime. Res64: E1842DE3FF95C691 Time : 0.0 sec. user=mdettweiler [2016-10-12 01:17:02] 751*2^1442473-1 is not prime. Res64: 6C986483F3C23647 Time : 0.0 sec. user=mdettweiler [2016-10-12 01:20:18] 765*2^1442473-1 is not prime. Res64: F56488061378DDD8 Time : 0.0 sec. user=mdettweiler [2016-10-12 01:20:18] 771*2^1442473-1 is not prime. Res64: 3E7ACC570BE568E8 Time : 0.0 sec. user=mdettweiler [2016-10-12 01:20:18] 835*2^1442473-1 is not prime. Res64: 16C70C8AEC02A5B8 Time : 0.0 sec. user=mdettweiler [2016-10-12 01:20:18] 855*2^1442473-1 is not prime. Res64: A602676F293F4258 Time : 0.0 sec. user=mdettweiler [2016-10-12 01:20:19] 979*2^1442473-1 is not prime. Res64: 3230C07D23F17FCE Time : 0.0 sec. user=mdettweiler [2016-10-12 01:42:33] 605*2^1442474-1 is not prime. Res64: 18F3FBADFF0FB4DB Time : 0.0 sec. user=mdettweiler [2016-10-12 01:42:33] 711*2^1442474-1 is not prime. Res64: 5CC1345FBA5E649A Time : 0.0 sec. user=mdettweiler [2016-10-12 01:42:34] 813*2^1442474-1 is not prime. Res64: 58A97618ED44DF46 Time : 0.0 sec. user=mdettweiler [2016-10-12 01:42:34] 833*2^1442474-1 is not prime. Res64: 2F17610AC6EF9E43 Time : 0.0 sec. user=mdettweiler [2016-10-12 01:42:34] 917*2^1442474-1 is not prime. Res64: 75AF24E4D05949F5 Time : 0.0 sec. user=mdettweiler [2016-10-12 01:58:28] 935*2^1442474-1 is not prime. Res64: 66E9FCA03922FD07 Time : 0.0 sec. user=mdettweiler [2016-10-12 01:58:28] 995*2^1442474-1 is not prime. Res64: 00C205837A6C5E64 Time : 0.0 sec. user=mdettweiler [2016-10-12 01:58:28] 651*2^1442475-1 is not prime. Res64: D626DA04890B6E9D Time : 0.0 sec. user=mdettweiler [2016-10-12 01:58:28] 675*2^1442475-1 is not prime. Res64: F7C4AF6EDD445EC6 Time : 0.0 sec. user=mdettweiler [2016-10-12 01:58:29] 765*2^1442475-1 is not prime. Res64: DC7F4FEF2DD7DAF3 Time : 0.0 sec. user=mdettweiler [2016-10-12 02:02:28] 823*2^1442475-1 is not prime. Res64: 7B4A1A1D383EDA01 Time : 0.0 sec. user=mdettweiler [2016-10-12 02:02:29] 871*2^1442475-1 is not prime. Res64: EF3C3125476272D6 Time : 0.0 sec. user=mdettweiler [2016-10-12 02:02:30] 695*2^1442476-1 is not prime. Res64: D36D429AB1F57077 Time : 0.0 sec. user=mdettweiler [2016-10-12 02:02:30] 839*2^1442476-1 is not prime. Res64: 708EA7FBA2166DA4 Time : 0.0 sec. user=mdettweiler [2016-10-12 02:02:30] 983*2^1442476-1 is not prime. Res64: 1E74B3459B610ECC Time : 0.0 sec. user=mdettweiler [2016-10-12 02:06:26] 607*2^1442477-1 is not prime. Res64: 6EBA3AE7171F1A81 Time : 0.0 sec. user=mdettweiler [2016-10-12 02:06:27] 747*2^1442477-1 is not prime. Res64: D7D6355C517F2C0B Time : 0.0 sec. user=mdettweiler [2016-10-12 02:06:28] 867*2^1442477-1 is not prime. Res64: 2C061272E1EC6905 Time : 0.0 sec. user=mdettweiler [2016-10-12 02:06:28] 889*2^1442477-1 is not prime. Res64: D010C343B021E1A5 Time : 0.0 sec. user=mdettweiler [2016-10-12 02:06:29] 991*2^1442477-1 is not prime. Res64: AC9050BC8B0825A5 Time : 0.0 sec. user=mdettweiler [2016-10-12 02:31:53] 671*2^1442478-1 is not prime. Res64: 7D6C699F2E28AF61 Time : 0.0 sec. user=mdettweiler [2016-10-12 02:31:53] 681*2^1442478-1 is not prime. Res64: 601268106382E0FC Time : 0.0 sec. user=mdettweiler [2016-10-12 02:31:54] 713*2^1442478-1 is not prime. Res64: 75CA91C3CD64C49F Time : 0.0 sec. user=mdettweiler [2016-10-12 02:31:55] 963*2^1442478-1 is not prime. Res64: A68AAD4CBE2D22F5 Time : 0.0 sec. user=mdettweiler [2016-10-12 02:31:56] 601*2^1442479-1 is not prime. Res64: F405B4D6D3FD9B9F Time : 0.0 sec. user=mdettweiler [2016-10-12 02:59:07] 885*2^1442479-1 is not prime. Res64: 5F1812DFAE1E9F2A Time : 0.0 sec. user=mdettweiler [2016-10-12 02:59:07] 889*2^1442479-1 is not prime. Res64: 802B8EF701F22897 Time : 0.0 sec. user=mdettweiler [2016-10-12 02:59:08] 909*2^1442479-1 is not prime. Res64: EFA9C39329A59ACD Time : 0.0 sec. user=mdettweiler [2016-10-12 02:59:08] 913*2^1442479-1 is not prime. Res64: AE7C1FFA1E6809AE Time : 0.0 sec. user=mdettweiler [2016-10-12 02:59:09] 717*2^1442480-1 is not prime. Res64: 82AB533E77F2C02A Time : 0.0 sec. user=mdettweiler [2016-10-12 02:59:09] 679*2^1442479-1 is not prime. Res64: 162D78D71FFC9457 Time : 0.0 sec. user=mdettweiler [2016-10-12 02:59:10] 703*2^1442479-1 is not prime. Res64: C195F30A83907886 Time : 0.0 sec. user=mdettweiler [2016-10-12 02:59:11] 769*2^1442479-1 is not prime. Res64: 455CFD1AC542F25E Time : 0.0 sec. user=mdettweiler [2016-10-12 02:59:12] 831*2^1442479-1 is not prime. Res64: B0CB9B1E509D4135 Time : 0.0 sec. user=mdettweiler [2016-10-12 02:59:13] 843*2^1442479-1 is not prime. Res64: 0EC6814ADAEB34EF Time : 0.0 sec. user=mdettweiler [2016-10-12 03:08:26] 789*2^1442480-1 is not prime. Res64: DBDBEA7370913A14 Time : 0.0 sec. user=mdettweiler [2016-10-12 03:08:30] 875*2^1442480-1 is not prime. Res64: 7B9D9CA8FA808896 Time : 0.0 sec. user=mdettweiler [2016-10-12 03:08:33] 899*2^1442480-1 is not prime. Res64: FC30CF3B9539FDF9 Time : 0.0 sec. user=mdettweiler [2016-10-12 03:08:36] 959*2^1442480-1 is not prime. Res64: 4A05537097EE497A Time : 0.0 sec. user=mdettweiler [2016-10-12 03:08:39] 995*2^1442480-1 is not prime. Res64: B5A5FB2FEEAADFA7 Time : 0.0 sec. user=mdettweiler [2016-10-12 03:26:25] 657*2^1442481-1 is not prime. Res64: 5C191042B50CE6F9 Time : 0.0 sec. user=mdettweiler [2016-10-12 03:26:26] 679*2^1442481-1 is not prime. Res64: C5418735DEE80D94 Time : 0.0 sec. user=mdettweiler [2016-10-12 03:26:27] 681*2^1442481-1 is not prime. Res64: 3EE9255DF4AB6186 Time : 0.0 sec. user=mdettweiler [2016-10-12 03:26:28] 709*2^1442481-1 is not prime. Res64: 09BE918E1A233744 Time : 0.0 sec. user=mdettweiler [2016-10-12 03:26:29] 837*2^1442481-1 is not prime. Res64: 8AAE27211D4D55F7 Time : 0.0 sec. user=mdettweiler [2016-10-12 03:43:48] 665*2^1442482-1 is not prime. Res64: 20255C8688CDB04E Time : 0.0 sec. user=mdettweiler [2016-10-12 03:43:51] 677*2^1442482-1 is not prime. Res64: 275F08CBAA94A143 Time : 0.0 sec. user=mdettweiler [2016-10-12 03:43:52] 735*2^1442482-1 is not prime. Res64: A82E20F2DAADF995 Time : 0.0 sec. user=mdettweiler [2016-10-12 03:43:56] 777*2^1442482-1 is not prime. Res64: A89FE8B44BD432CB Time : 0.0 sec. user=mdettweiler [2016-10-12 03:43:58] 833*2^1442482-1 is not prime. Res64: 684D3BCEC555D429 Time : 0.0 sec. user=mdettweiler [2016-10-12 03:44:05] 895*2^1442481-1 is not prime. Res64: 4E93C92A069F7513 Time : 0.0 sec. user=mdettweiler [2016-10-12 03:44:08] 937*2^1442481-1 is not prime. Res64: D22B7F90EE204DA5 Time : 0.0 sec. user=mdettweiler [2016-10-12 03:44:12] 951*2^1442481-1 is not prime. Res64: 7A416CBB827FA562 Time : 0.0 sec. user=mdettweiler [2016-10-12 03:44:15] 635*2^1442482-1 is not prime. Res64: 7F4A208CD5FC1A8B Time : 0.0 sec. user=mdettweiler [2016-10-12 03:44:17] 645*2^1442482-1 is not prime. Res64: CB5728CA00F769EE Time : 0.0 sec. user=mdettweiler [2016-10-12 03:53:44] 843*2^1442482-1 is not prime. Res64: 12904F191C18056A Time : 0.0 sec. user=mdettweiler [2016-10-12 03:53:47] 811*2^1442483-1 is not prime. Res64: 430FD3D486EE1B1A Time : 0.0 sec. user=mdettweiler [2016-10-12 03:53:48] 825*2^1442483-1 is not prime. Res64: ECDE60FDFF98D950 Time : 0.0 sec. user=mdettweiler [2016-10-12 03:53:49] 861*2^1442483-1 is not prime. Res64: 28868ADD325A7259 Time : 0.0 sec. user=mdettweiler [2016-10-12 03:53:50] 879*2^1442483-1 is not prime. Res64: 360CE351B7C79AD0 Time : 0.0 sec. user=mdettweiler [2016-10-12 04:11:20] 627*2^1442484-1 is not prime. Res64: 77727CD1F20ED774 Time : 0.0 sec. user=mdettweiler [2016-10-12 04:11:22] 663*2^1442484-1 is not prime. Res64: 7C6BFC2AAFDB6C98 Time : 0.0 sec. user=mdettweiler [2016-10-12 04:11:24] 923*2^1442484-1 is not prime. Res64: 11B287B10A9088A6 Time : 0.0 sec. user=mdettweiler [2016-10-12 04:11:26] 969*2^1442484-1 is not prime. Res64: 12CA3E1B13D086AF Time : 0.0 sec. user=mdettweiler [2016-10-12 04:11:29] 607*2^1442485-1 is not prime. Res64: 2C65582536F567E4 Time : 0.0 sec. user=mdettweiler [2016-10-12 04:29:02] 847*2^1442485-1 is not prime. Res64: EF8A983A82EAF746 Time : 0.0 sec. user=mdettweiler [2016-10-12 04:29:03] 861*2^1442485-1 is not prime. Res64: A564207BF0EA3C2A Time : 0.0 sec. user=mdettweiler [2016-10-12 04:29:03] 871*2^1442485-1 is not prime. Res64: 9286D32FE8D62D51 Time : 0.0 sec. user=mdettweiler [2016-10-12 04:29:04] 677*2^1442486-1 is not prime. Res64: DA2D2376234C8025 Time : 0.0 sec. user=mdettweiler [2016-10-12 04:29:04] 705*2^1442486-1 is not prime. Res64: 54D03A5C48E6F5A2 Time : 0.0 sec. user=mdettweiler [2016-10-12 04:29:11] 619*2^1442485-1 is not prime. Res64: 1AF27795D199CF1B Time : 0.0 sec. user=mdettweiler [2016-10-12 04:29:12] 721*2^1442485-1 is not prime. Res64: FF141D00AF65769C Time : 0.0 sec. user=mdettweiler [2016-10-12 04:29:12] 799*2^1442485-1 is not prime. Res64: C1189EB0CC89BF4F Time : 0.0 sec. user=mdettweiler [2016-10-12 04:29:13] 817*2^1442485-1 is not prime. Res64: 82D2C530B3E2BE80 Time : 0.0 sec. user=mdettweiler [2016-10-12 04:29:13] 819*2^1442485-1 is not prime. Res64: 54EC7E9C1E1B4674 Time : 0.0 sec. user=mdettweiler [2016-10-12 04:38:33] 761*2^1442486-1 is not prime. Res64: 47313DF2602C41E5 Time : 0.0 sec. user=mdettweiler [2016-10-12 04:38:33] 801*2^1442486-1 is not prime. Res64: 54A52BB1FB0695C0 Time : 0.0 sec. user=mdettweiler [2016-10-12 04:38:34] 843*2^1442486-1 is not prime. Res64: 23A285292B5441CF Time : 0.0 sec. user=mdettweiler [2016-10-12 04:38:34] 861*2^1442486-1 is not prime. Res64: 7504CA4F37602C7E Time : 0.0 sec. user=mdettweiler [2016-10-12 04:38:35] 971*2^1442486-1 is not prime. Res64: C9AFE605A653B16C Time : 0.0 sec. user=mdettweiler [2016-10-12 04:56:29] 987*2^1442486-1 is not prime. Res64: 9ACA2984A417C00C Time : 0.0 sec. user=mdettweiler [2016-10-12 04:56:30] 625*2^1442487-1 is not prime. Res64: 0154D4700444D9C3 Time : 0.0 sec. user=mdettweiler [2016-10-12 04:56:31] 741*2^1442487-1 is not prime. Res64: 4099A7BB4D90D5D1 Time : 0.0 sec. user=mdettweiler [2016-10-12 04:56:31] 871*2^1442487-1 is not prime. Res64: 030C7380FB3016BF Time : 0.0 sec. user=mdettweiler [2016-10-12 04:56:32] 979*2^1442487-1 is not prime. Res64: FFBB2C2CCCFB0ED3 Time : 0.0 sec. user=mdettweiler [2016-10-12 05:13:34] 615*2^1442488-1 is not prime. Res64: ABDF3829D7C14A65 Time : 0.0 sec. user=mdettweiler [2016-10-12 05:13:34] 629*2^1442488-1 is not prime. Res64: 0273FD1EF3841819 Time : 0.0 sec. user=mdettweiler [2016-10-12 05:13:35] 677*2^1442488-1 is not prime. Res64: 279F4560A3981268 Time : 0.0 sec. user=mdettweiler [2016-10-12 05:13:35] 849*2^1442488-1 is not prime. Res64: 77566B35BAA3B5DB Time : 0.0 sec. user=mdettweiler [2016-10-12 05:13:35] 755*2^1442488-1 is not prime. Res64: BB88331FEFB77D65 Time : 0.0 sec. user=mdettweiler [2016-10-12 05:13:36] 905*2^1442488-1 is not prime. Res64: 3D409FA53DA50D52 Time : 0.0 sec. user=mdettweiler [2016-10-12 05:13:36] 813*2^1442488-1 is not prime. Res64: 53F7FDBD41CB2DFA Time : 0.0 sec. user=mdettweiler [2016-10-12 05:13:36] 957*2^1442488-1 is not prime. Res64: 2875780C2BA2AFF6 Time : 0.0 sec. user=mdettweiler [2016-10-12 05:13:37] 999*2^1442488-1 is not prime. Res64: F5B2757344D03C1D Time : 0.0 sec. user=mdettweiler [2016-10-12 05:13:38] 679*2^1442489-1 is not prime. Res64: 92EDD3F4C939FD66 Time : 0.0 sec. user=mdettweiler [2016-10-12 05:22:55] 879*2^1442489-1 is not prime. Res64: 75C25056B1B337D0 Time : 0.0 sec. user=mdettweiler [2016-10-12 05:22:55] 945*2^1442489-1 is not prime. Res64: 32D62AE79C62B588 Time : 0.0 sec. user=mdettweiler [2016-10-12 05:22:56] 615*2^1442490-1 is not prime. Res64: 25473A70CB30FB2F Time : 0.0 sec. user=mdettweiler [2016-10-12 05:22:56] 651*2^1442490-1 is not prime. Res64: C4D40FF528DDEEFC Time : 0.0 sec. user=mdettweiler [2016-10-12 05:22:57] 797*2^1442490-1 is not prime. Res64: B824F926F56E7765 Time : 0.0 sec. user=mdettweiler [2016-10-12 05:40:58] 821*2^1442490-1 is not prime. Res64: 082D9D09951FB90C Time : 0.0 sec. user=mdettweiler [2016-10-12 05:40:59] 971*2^1442490-1 is not prime. Res64: A48B7CD5D62D0246 Time : 0.0 sec. user=mdettweiler [2016-10-12 05:40:59] 601*2^1442491-1 is not prime. Res64: 88208C0D86A651E6 Time : 0.0 sec. user=mdettweiler [2016-10-12 05:40:59] 663*2^1442491-1 is not prime. Res64: 03FDD00A994D701F Time : 0.0 sec. user=mdettweiler [2016-10-12 05:41:00] 859*2^1442491-1 is not prime. Res64: 28154E66E95F3632 Time : 0.0 sec. user=mdettweiler [2016-10-12 05:58:02] 871*2^1442491-1 is not prime. Res64: 11D315949D77C663 Time : 0.0 sec. user=mdettweiler [2016-10-12 05:58:02] 647*2^1442492-1 is not prime. Res64: 60532863849869F0 Time : 0.0 sec. user=mdettweiler [2016-10-12 05:58:03] 767*2^1442492-1 is not prime. Res64: 82956E7F144EAAB9 Time : 0.0 sec. user=mdettweiler [2016-10-12 05:58:03] 873*2^1442492-1 is not prime. Res64: A8C4B55A48E3DEEE Time : 0.0 sec. user=mdettweiler [2016-10-12 05:58:03] 833*2^1442492-1 is not prime. Res64: 7FF8FCE705A1EB68 Time : 0.0 sec. user=mdettweiler [2016-10-12 05:58:04] 893*2^1442492-1 is not prime. Res64: 3199B871C0705E74 Time : 0.0 sec. user=mdettweiler [2016-10-12 05:58:04] 855*2^1442492-1 is not prime. Res64: 278F997A6B6CF97E Time : 0.0 sec. user=mdettweiler [2016-10-12 05:58:04] 909*2^1442492-1 is not prime. Res64: C56B4A5C51AB50D8 Time : 0.0 sec. user=mdettweiler [2016-10-12 05:58:05] 639*2^1442493-1 is not prime. Res64: 220BE1CDF4630739 Time : 0.0 sec. user=mdettweiler [2016-10-12 05:58:05] 657*2^1442493-1 is not prime. Res64: BE09B26C526293A2 Time : 0.0 sec. user=mdettweiler [2016-10-12 06:07:35] 679*2^1442493-1 is not prime. Res64: 2007A2858BF5C45A Time : 0.0 sec. user=mdettweiler [2016-10-12 06:07:35] 699*2^1442493-1 is not prime. Res64: 42BED2377B93E64C Time : 0.0 sec. user=mdettweiler [2016-10-12 06:07:36] 747*2^1442493-1 is not prime. Res64: C1C5744020141A6C Time : 0.0 sec. user=mdettweiler [2016-10-12 06:07:36] 817*2^1442493-1 is not prime. Res64: 8E23647DEE271FCB Time : 0.0 sec. user=mdettweiler [2016-10-12 06:07:37] 819*2^1442493-1 is not prime. Res64: 2ABFE8CAA3011B88 Time : 0.0 sec. user=mdettweiler [2016-10-12 06:25:30] 919*2^1442493-1 is not prime. Res64: A4CBA894655496C7 Time : 0.0 sec. user=mdettweiler [2016-10-12 06:25:30] 937*2^1442493-1 is not prime. Res64: B66BA1AA5D4079F4 Time : 0.0 sec. user=mdettweiler [2016-10-12 06:25:31] 707*2^1442494-1 is not prime. Res64: 3DBC58F0ACFB4010 Time : 0.0 sec. user=mdettweiler [2016-10-12 06:25:31] 813*2^1442494-1 is not prime. Res64: D1ED1051073D2F8E Time : 0.0 sec. user=mdettweiler [2016-10-12 06:25:32] 857*2^1442494-1 is not prime. Res64: E48159608853DCFC Time : 0.0 sec. user=mdettweiler [2016-10-12 06:42:40] 843*2^1442495-1 is not prime. Res64: 99E1BC87C4CEE4BA Time : 0.0 sec. user=mdettweiler [2016-10-12 06:42:40] 883*2^1442495-1 is not prime. Res64: E9D77C46312FBEEB Time : 0.0 sec. user=mdettweiler [2016-10-12 06:42:40] 915*2^1442494-1 is not prime. Res64: 3ACBAE60D7B92B92 Time : 0.0 sec. user=mdettweiler [2016-10-12 06:42:41] 999*2^1442495-1 is not prime. Res64: 3B1C38E06CA49C75 Time : 0.0 sec. user=mdettweiler [2016-10-12 06:42:41] 957*2^1442494-1 is not prime. Res64: 5E2CFBD36C2E0156 Time : 0.0 sec. user=mdettweiler [2016-10-12 06:42:41] 705*2^1442496-1 is not prime. Res64: A64803741B1C9C82 Time : 0.0 sec. user=mdettweiler [2016-10-12 06:42:41] 735*2^1442495-1 is not prime. Res64: 564CBAFD76F352E7 Time : 0.0 sec. user=mdettweiler [2016-10-12 06:42:41] 735*2^1442496-1 is not prime. Res64: C0E0672911D2608F Time : 0.0 sec. user=mdettweiler [2016-10-12 06:42:42] 783*2^1442495-1 is not prime. Res64: 32F6A35AE71C210B Time : 0.0 sec. user=mdettweiler [2016-10-12 06:42:42] 825*2^1442495-1 is not prime. Res64: 7A633497AE8B2289 Time : 0.0 sec. user=mdettweiler [2016-10-12 06:52:13] 765*2^1442496-1 is not prime. Res64: 6816F239A35ABEC5 Time : 0.0 sec. user=mdettweiler [2016-10-12 06:52:13] 839*2^1442496-1 is not prime. Res64: 8A55E58452102863 Time : 0.0 sec. user=mdettweiler [2016-10-12 06:52:14] 887*2^1442496-1 is not prime. Res64: 347D09A70AF40340 Time : 0.0 sec. user=mdettweiler [2016-10-12 06:52:14] 899*2^1442496-1 is not prime. Res64: E542E8AD4FE660A5 Time : 0.0 sec. user=mdettweiler [2016-10-12 06:52:14] 947*2^1442496-1 is not prime. Res64: 3F8443D68B7C0F5E Time : 0.0 sec. user=mdettweiler [2016-10-12 07:10:05] 993*2^1442496-1 is not prime. Res64: 674BA70D5F401C4A Time : 0.0 sec. user=mdettweiler [2016-10-12 07:10:06] 759*2^1442497-1 is not prime. Res64: FC841C03791D79A4 Time : 0.0 sec. user=mdettweiler [2016-10-12 07:10:06] 841*2^1442497-1 is not prime. Res64: 636FA52533FD5C48 Time : 0.0 sec. user=mdettweiler [2016-10-12 07:10:07] 845*2^1442498-1 is not prime. Res64: 13DA2AAF5274136D Time : 0.0 sec. user=mdettweiler [2016-10-12 07:10:07] 861*2^1442498-1 is not prime. Res64: 84CD0CA18885E7F8 Time : 0.0 sec. user=mdettweiler [2016-10-12 07:27:11] 801*2^1442499-1 is not prime. Res64: B63BD5D7E574EE16 Time : 0.0 sec. user=mdettweiler [2016-10-12 07:27:12] 829*2^1442499-1 is not prime. Res64: 740D38F63067DED5 Time : 0.0 sec. user=mdettweiler [2016-10-12 07:27:12] 859*2^1442499-1 is not prime. Res64: EF134F603F5D743B Time : 0.0 sec. user=mdettweiler [2016-10-12 07:27:13] 891*2^1442499-1 is not prime. Res64: 181CBE92B8DDA450 Time : 0.0 sec. user=mdettweiler [2016-10-12 07:27:13] 665*2^1442500-1 is not prime. Res64: 6E0E327F6086F91E Time : 0.0 sec. user=mdettweiler [2016-10-12 07:27:16] 977*2^1442498-1 is not prime. Res64: 97C43407911FD7A2 Time : 0.0 sec. user=mdettweiler [2016-10-12 07:27:17] 987*2^1442498-1 is not prime. Res64: 4EEA495090BBE6DE Time : 0.0 sec. user=mdettweiler [2016-10-12 07:27:18] 735*2^1442499-1 is not prime. Res64: A2EC74C8B91D3526 Time : 0.0 sec. user=mdettweiler [2016-10-12 07:27:18] 775*2^1442499-1 is not prime. Res64: BB45D8D1D5E65252 Time : 0.0 sec. user=mdettweiler [2016-10-12 07:27:18] 789*2^1442499-1 is not prime. Res64: 9AFF371789CEBC9F Time : 0.0 sec. user=mdettweiler [2016-10-12 07:36:56] 719*2^1442500-1 is not prime. Res64: 80BB63907C496949 Time : 0.0 sec. user=mdettweiler [2016-10-12 07:36:56] 777*2^1442500-1 is not prime. Res64: F5BF2C0173D1F0E7 Time : 0.0 sec. user=mdettweiler [2016-10-12 07:36:57] 975*2^1442500-1 is not prime. Res64: 2B0995B2C6BAA90E Time : 0.0 sec. user=mdettweiler [2016-10-12 07:36:57] 989*2^1442500-1 is not prime. Res64: 3D9200D7A217A19A Time : 0.0 sec. user=mdettweiler [2016-10-12 07:36:58] 999*2^1442500-1 is not prime. Res64: C9DB9BDE01A57D7B Time : 0.0 sec. user=mdettweiler [2016-10-12 07:54:42] 769*2^1442501-1 is not prime. Res64: B8C5F7F910DB1FF3 Time : 0.0 sec. user=mdettweiler [2016-10-12 07:54:42] 991*2^1442501-1 is not prime. Res64: E91A9046A07D2C5C Time : 0.0 sec. user=mdettweiler [2016-10-12 07:54:43] 677*2^1442502-1 is not prime. Res64: 6B0653612E4C50DC Time : 0.0 sec. user=mdettweiler [2016-10-12 07:54:43] 737*2^1442502-1 is not prime. Res64: 5EABE8A8D631F0FE Time : 0.0 sec. user=mdettweiler [2016-10-12 07:54:44] 741*2^1442502-1 is not prime. Res64: 4F5791D795BF5C3C Time : 0.0 sec. user=mdettweiler [2016-10-12 08:11:55] 939*2^1442503-1 is not prime. Res64: 7281FA1B5A816C56 Time : 0.0 sec. user=mdettweiler [2016-10-12 08:12:01] 657*2^1442504-1 is not prime. Res64: D9CA9AA9CD6734A2 Time : 0.0 sec. user=mdettweiler [2016-10-12 08:12:05] 915*2^1442502-1 is not prime. Res64: 65014EBE852EBFB7 Time : 0.0 sec. user=mdettweiler [2016-10-12 08:12:09] 753*2^1442504-1 is not prime. Res64: 6C3C147C16588D7D Time : 0.0 sec. user=mdettweiler [2016-10-12 08:12:13] 825*2^1442504-1 is not prime. Res64: 68EBBB2DCAC1F233 Time : 0.0 sec. user=mdettweiler [2016-10-12 08:12:18] 935*2^1442504-1 is not prime. Res64: 41BC24E8F081276F Time : 0.0 sec. user=mdettweiler [2016-10-12 08:21:33] 705*2^1442505-1 is not prime. Res64: A16D944AD08C2320 Time : 0.0 sec. user=mdettweiler [2016-10-12 08:21:34] 777*2^1442505-1 is not prime. Res64: C38CDB40AC88D80A Time : 0.0 sec. user=mdettweiler [2016-10-12 08:21:34] 789*2^1442505-1 is not prime. Res64: F8B6F709FFB2F96E Time : 0.0 sec. user=mdettweiler [2016-10-12 08:21:35] 847*2^1442505-1 is not prime. Res64: 6EB5F05E5948AAD2 Time : 0.0 sec. user=mdettweiler [2016-10-12 08:21:35] 651*2^1442506-1 is not prime. Res64: 55ADEF7A9B9A8236 Time : 0.0 sec. user=mdettweiler [2016-10-12 08:39:33] 677*2^1442506-1 is not prime. Res64: DA5AB9519D88D2DB Time : 0.0 sec. user=mdettweiler [2016-10-12 08:39:33] 723*2^1442506-1 is not prime. Res64: 247538ADB43AE0B0 Time : 0.0 sec. user=mdettweiler [2016-10-12 08:39:34] 777*2^1442506-1 is not prime. Res64: A9A84219DEB36824 Time : 0.0 sec. user=mdettweiler [2016-10-12 08:39:34] 911*2^1442506-1 is not prime. Res64: B6025DC104F74516 Time : 0.0 sec. user=mdettweiler [2016-10-12 08:39:35] 917*2^1442506-1 is not prime. Res64: 8F0DC29BEC3BF368 Time : 0.0 sec. user=mdettweiler [2016-10-12 08:58:16] 603*2^1442507-1 is not prime. Res64: EBCF87EFFB5D6F08 Time : 0.0 sec. user=mdettweiler [2016-10-12 08:58:16] 643*2^1442507-1 is not prime. Res64: 6A08CB89871B32B3 Time : 0.0 sec. user=mdettweiler [2016-10-12 08:58:17] 705*2^1442507-1 is not prime. Res64: 3A5F2A30C6230EEC Time : 0.0 sec. user=mdettweiler [2016-10-12 08:58:17] 753*2^1442507-1 is not prime. Res64: 3C2DDE34EDAB85B1 Time : 0.0 sec. user=mdettweiler [2016-10-12 08:58:18] 913*2^1442507-1 is not prime. Res64: 553FE9102FED677F Time : 0.0 sec. user=mdettweiler [2016-10-12 09:06:49] 985*2^1442507-1 is not prime. Res64: AA7607A1140137CC Time : 0.0 sec. user=mdettweiler [2016-10-12 09:06:50] 993*2^1442507-1 is not prime. Res64: A5B4B1FB12C129FB Time : 0.0 sec. user=mdettweiler [2016-10-12 09:06:51] 753*2^1442508-1 is not prime. Res64: 89C460159B492F4A Time : 0.0 sec. user=mdettweiler [2016-10-12 09:06:53] 825*2^1442508-1 is not prime. Res64: BB514B4B66413ACE Time : 0.0 sec. user=mdettweiler [2016-10-12 09:06:54] 839*2^1442508-1 is not prime. Res64: AAB679411354C08F Time : 0.0 sec. user=mdettweiler [2016-10-12 09:24:50] 843*2^1442508-1 is not prime. Res64: 8CEB8FD285A4FF85 Time : 0.0 sec. user=mdettweiler [2016-10-12 09:24:51] 845*2^1442508-1 is not prime. Res64: 2AF212E527B677E4 Time : 0.0 sec. user=mdettweiler [2016-10-12 09:24:52] 905*2^1442508-1 is not prime. Res64: DD95EBFEF56A362E Time : 0.0 sec. user=mdettweiler [2016-10-12 09:24:52] 975*2^1442508-1 is not prime. Res64: 1EE3320C066C8CF6 Time : 0.0 sec. user=mdettweiler [2016-10-12 09:24:53] 649*2^1442509-1 is not prime. Res64: 1C502820DE7F6D43 Time : 0.0 sec. user=mdettweiler [2016-10-12 09:43:29] 667*2^1442509-1 is not prime. Res64: A7F90350D5675A32 Time : 0.0 sec. user=mdettweiler [2016-10-12 09:43:30] 675*2^1442509-1 is not prime. Res64: 1640A92B99C2E720 Time : 0.0 sec. user=mdettweiler [2016-10-12 09:43:30] 729*2^1442509-1 is not prime. Res64: 44407CF14A66B00A Time : 0.0 sec. user=mdettweiler [2016-10-12 09:43:30] 757*2^1442509-1 is not prime. Res64: F9B8065A5124C1B1 Time : 0.0 sec. user=mdettweiler [2016-10-12 09:43:31] 771*2^1442509-1 is not prime. Res64: BD71A9D653E32812 Time : 0.0 sec. user=mdettweiler [2016-10-12 09:52:23] 829*2^1442509-1 is not prime. Res64: 7DF98B6A4A0AA788 Time : 0.0 sec. user=mdettweiler [2016-10-12 09:52:24] 861*2^1442509-1 is not prime. Res64: EEC888E1B4F29A4B Time : 0.0 sec. user=mdettweiler [2016-10-12 09:52:24] 895*2^1442509-1 is not prime. Res64: 5832A570C0321F58 Time : 0.0 sec. user=mdettweiler [2016-10-12 09:52:25] 651*2^1442510-1 is not prime. Res64: 7BAEC5EB1E273FA7 Time : 0.0 sec. user=mdettweiler [2016-10-12 09:52:25] 741*2^1442510-1 is not prime. Res64: 454AC62387231A31 Time : 0.0 sec. user=mdettweiler [2016-10-12 10:10:11] 743*2^1442510-1 is not prime. Res64: 5E9A9CA9ED8BF4E6 Time : 0.0 sec. user=mdettweiler [2016-10-12 10:10:12] 825*2^1442510-1 is not prime. Res64: 5DEA8E92DBBED1D7 Time : 0.0 sec. user=mdettweiler [2016-10-12 10:10:13] 833*2^1442510-1 is not prime. Res64: 785FB2563A568526 Time : 0.0 sec. user=mdettweiler [2016-10-12 10:10:13] 897*2^1442510-1 is not prime. Res64: 951BA53253F8C375 Time : 0.0 sec. user=mdettweiler [2016-10-12 10:10:14] 639*2^1442511-1 is not prime. Res64: CD32037F0A111FA3 Time : 0.0 sec. user=mdettweiler [2016-10-12 10:28:33] 643*2^1442511-1 is not prime. Res64: DB32FED6E657CC7D Time : 0.0 sec. user=mdettweiler [2016-10-12 10:28:33] 651*2^1442511-1 is not prime. Res64: 2664442B0AB7B113 Time : 0.0 sec. user=mdettweiler [2016-10-12 10:28:34] 709*2^1442511-1 is not prime. Res64: 869E23017A9C0D67 Time : 0.0 sec. user=mdettweiler [2016-10-12 10:28:34] 723*2^1442511-1 is not prime. Res64: 662D9A49B09F0853 Time : 0.0 sec. user=mdettweiler [2016-10-12 10:28:35] 781*2^1442511-1 is not prime. Res64: 122F847F500D2FB4 Time : 0.0 sec. user=mdettweiler [2016-10-12 10:37:36] 909*2^1442511-1 is not prime. Res64: F15F0DF9BE85803D Time : 0.0 sec. user=mdettweiler [2016-10-12 10:37:36] 951*2^1442511-1 is not prime. Res64: 8E39DD7D737A2476 Time : 0.0 sec. user=mdettweiler [2016-10-12 10:37:36] 961*2^1442511-1 is not prime. Res64: 3AEB1EE0BF5711E7 Time : 0.0 sec. user=mdettweiler [2016-10-12 10:37:37] 969*2^1442511-1 is not prime. Res64: 28DEDC6768AF8A2C Time : 0.0 sec. user=mdettweiler [2016-10-12 10:37:37] 975*2^1442511-1 is not prime. Res64: 34ACF2AB4CE3C216 Time : 0.0 sec. user=mdettweiler [2016-10-12 10:55:25] 629*2^1442512-1 is not prime. Res64: F4EA18F95D93ADA6 Time : 0.0 sec. user=mdettweiler [2016-10-12 10:55:25] 779*2^1442512-1 is not prime. Res64: F284936E95126F6E Time : 0.0 sec. user=mdettweiler [2016-10-12 10:55:26] 785*2^1442512-1 is not prime. Res64: 9D5B8E7F1BBA5301 Time : 0.0 sec. user=mdettweiler [2016-10-12 10:55:26] 873*2^1442512-1 is not prime. Res64: 83AA6D72308580E3 Time : 0.0 sec. user=mdettweiler [2016-10-12 10:55:27] 811*2^1442513-1 is not prime. Res64: 18D8DE9EF7488C40 Time : 0.0 sec. user=mdettweiler [2016-10-12 11:01:29] 693*2^1442503-1 is not prime. Res64: 228AFA6F4B76F6CC Time : 0.0 sec. user=mdettweiler [2016-10-12 11:01:30] 813*2^1442503-1 is not prime. Res64: 3AE5934A59BCD5D8 Time : 0.0 sec. user=mdettweiler [2016-10-12 11:01:31] 871*2^1442503-1 is not prime. Res64: 9A0570F2CD194A23 Time : 0.0 sec. user=mdettweiler [2016-10-12 11:01:32] 889*2^1442503-1 is not prime. Res64: D7D7852C6E21EC86 Time : 0.0 sec. user=mdettweiler [2016-10-12 11:13:30] 819*2^1442513-1 is not prime. Res64: 444604793E926304 Time : 0.0 sec. user=mdettweiler [2016-10-12 11:13:30] 885*2^1442514-1 is not prime. Res64: 5DB022153BB88636 Time : 0.0 sec. user=mdettweiler [2016-10-12 11:13:31] 903*2^1442514-1 is not prime. Res64: 7DAA0B09102EB348 Time : 0.0 sec. user=mdettweiler [2016-10-12 11:13:31] 945*2^1442514-1 is not prime. Res64: DE1047DC08CAB1E8 Time : 0.0 sec. user=mdettweiler [2016-10-12 11:13:32] 947*2^1442514-1 is not prime. Res64: F8AA30F4455C9A3C Time : 0.0 sec. user=mdettweiler [2016-10-12 11:23:15] 645*2^1442515-1 is not prime. Res64: 63E9A6F7C57438E5 Time : 0.0 sec. user=mdettweiler [2016-10-12 11:23:16] 651*2^1442515-1 is not prime. Res64: 9E01BAE68BA8A706 Time : 0.0 sec. user=mdettweiler [2016-10-12 11:23:16] 741*2^1442515-1 is not prime. Res64: E7BE9BAD3A6D35CB Time : 0.0 sec. user=mdettweiler [2016-10-12 11:23:17] 789*2^1442515-1 is not prime. Res64: 459F61E7E08ED84E Time : 0.0 sec. user=mdettweiler [2016-10-12 11:23:18] 793*2^1442515-1 is not prime. Res64: 389246993FD1B2D4 Time : 0.0 sec. user=mdettweiler [2016-10-12 11:42:07] 939*2^1442515-1 is not prime. Res64: 6E6568418887B431 Time : 0.0 sec. user=mdettweiler [2016-10-12 11:42:08] 961*2^1442515-1 is not prime. Res64: D6BCE3543D53249D Time : 0.0 sec. user=mdettweiler [2016-10-12 11:42:08] 979*2^1442515-1 is not prime. Res64: 5A8B35BB05080260 Time : 0.0 sec. user=mdettweiler [2016-10-12 11:42:08] 985*2^1442515-1 is not prime. Res64: 354C5AC810593DDE Time : 0.0 sec. user=mdettweiler [2016-10-12 11:42:09] 675*2^1442516-1 is not prime. Res64: 55C29245E4EADA22 Time : 0.0 sec. user=mdettweiler [2016-10-12 11:48:27] 749*2^1442516-1 is not prime. Res64: E18533C9AA6492B0 Time : 0.0 sec. user=mdettweiler [2016-10-12 11:48:27] 777*2^1442516-1 is not prime. Res64: D8E65B2AA03FD958 Time : 0.0 sec. user=mdettweiler [2016-10-12 11:48:28] 825*2^1442516-1 is not prime. Res64: 7C1F855722405EEF Time : 0.0 sec. user=mdettweiler [2016-10-12 11:48:28] 927*2^1442516-1 is not prime. Res64: B220479C5BE2AFDC Time : 0.0 sec. user=mdettweiler [2016-10-12 11:48:28] 655*2^1442517-1 is not prime. Res64: 95069C7329B095A5 Time : 0.0 sec. user=mdettweiler [2016-10-12 12:02:20] 765*2^1442517-1 is not prime. Res64: 94ADED3DA8480B8A Time : 0.0 sec. user=mdettweiler [2016-10-12 12:02:22] 777*2^1442517-1 is not prime. Res64: 8F1D90B3A7ABB1BF Time : 0.0 sec. user=mdettweiler [2016-10-12 12:02:23] 831*2^1442517-1 is not prime. Res64: E12272664E6BD796 Time : 0.0 sec. user=mdettweiler [2016-10-12 12:02:28] 949*2^1442517-1 is not prime. Res64: E2B70D26A0B07580 Time : 0.0 sec. user=mdettweiler [2016-10-12 12:02:29] 623*2^1442518-1 is not prime. Res64: 3E1FF5E376BDE712 Time : 0.0 sec. user=mdettweiler [2016-10-12 12:11:34] 761*2^1442518-1 is not prime. Res64: 33E79B797EB855BD Time : 0.0 sec. user=mdettweiler [2016-10-12 12:11:37] 993*2^1442518-1 is not prime. Res64: 178F8A9794C4A284 Time : 0.0 sec. user=mdettweiler [2016-10-12 12:11:38] 615*2^1442519-1 is not prime. Res64: 2BE83D0F802969BD Time : 0.0 sec. user=mdettweiler [2016-10-12 12:11:40] 729*2^1442519-1 is not prime. Res64: E13C02BF30F798F3 Time : 0.0 sec. user=mdettweiler [2016-10-12 12:11:41] 735*2^1442519-1 is not prime. Res64: E13077896E6FFE92 Time : 0.0 sec. user=mdettweiler [2016-10-12 12:29:20] 759*2^1442519-1 is not prime. Res64: FD1D87F23954E0D0 Time : 0.0 sec. user=mdettweiler [2016-10-12 12:29:20] 829*2^1442519-1 is not prime. Res64: 6792DAD502A0DA4B Time : 0.0 sec. user=mdettweiler [2016-10-12 12:29:20] 883*2^1442519-1 is not prime. Res64: 5AD8EAEA51FE5770 Time : 0.0 sec. user=mdettweiler [2016-10-12 12:29:21] 969*2^1442519-1 is not prime. Res64: E07BF37668A20E55 Time : 0.0 sec. user=mdettweiler [2016-10-12 12:29:21] 753*2^1442520-1 is not prime. Res64: A3FBB8FBD5AD4CB7 Time : 0.0 sec. user=mdettweiler [2016-10-12 12:36:02] 843*2^1442520-1 is not prime. Res64: 910F351821F234A0 Time : 0.0 sec. user=mdettweiler [2016-10-12 12:36:03] 983*2^1442520-1 is not prime. Res64: 371D9B59D16B9161 Time : 0.0 sec. user=mdettweiler [2016-10-12 12:36:03] 999*2^1442520-1 is not prime. Res64: 127900D91BEF6E53 Time : 0.0 sec. user=mdettweiler [2016-10-12 12:36:04] 687*2^1442521-1 is not prime. Res64: 124FCD558ED300B7 Time : 0.0 sec. user=mdettweiler [2016-10-12 12:36:04] 741*2^1442521-1 is not prime. Res64: 2783958909DAB4A8 Time : 0.0 sec. user=mdettweiler [2016-10-12 12:48:21] 819*2^1442521-1 is not prime. Res64: F9389CC9359773E6 Time : 0.0 sec. user=mdettweiler [2016-10-12 12:48:21] 849*2^1442521-1 is not prime. Res64: CD2FF5B54DC63F27 Time : 0.0 sec. user=mdettweiler [2016-10-12 12:48:21] 623*2^1442522-1 is not prime. Res64: 066FE50D02B857F5 Time : 0.0 sec. user=mdettweiler [2016-10-12 12:48:22] 633*2^1442522-1 is not prime. Res64: 9C97EFAB3882DA99 Time : 0.0 sec. user=mdettweiler [2016-10-12 12:48:22] 713*2^1442522-1 is not prime. Res64: B4F5235BC6AA6347 Time : 0.0 sec. user=mdettweiler [2016-10-12 12:57:06] 735*2^1442522-1 is not prime. Res64: BAD4175BBE58EF67 Time : 0.0 sec. user=mdettweiler [2016-10-12 12:57:06] 755*2^1442522-1 is not prime. Res64: 0176F7C4AD7C65BC Time : 0.0 sec. user=mdettweiler [2016-10-12 12:57:07] 791*2^1442522-1 is not prime. Res64: D7F3ECF8B102878A Time : 0.0 sec. user=mdettweiler [2016-10-12 12:57:07] 875*2^1442522-1 is not prime. Res64: E1100853600AB9CC Time : 0.0 sec. user=mdettweiler [2016-10-12 12:57:07] 977*2^1442522-1 is not prime. Res64: A4D8A4C70534C49A Time : 0.0 sec. user=mdettweiler [2016-10-12 13:14:13] 703*2^1442523-1 is not prime. Res64: 102E1639FE4464A9 Time : 0.0 sec. user=mdettweiler [2016-10-12 13:14:15] 789*2^1442523-1 is not prime. Res64: ED344DCC947AC6D3 Time : 0.0 sec. user=mdettweiler [2016-10-12 13:14:16] 819*2^1442523-1 is not prime. Res64: 218E45323B043AAC Time : 0.0 sec. user=mdettweiler [2016-10-12 13:14:18] 853*2^1442523-1 is not prime. Res64: 4B4859B748B38642 Time : 0.0 sec. user=mdettweiler [2016-10-12 13:14:19] 859*2^1442523-1 is not prime. Res64: 8E0B10354CEF1680 Time : 0.0 sec. user=mdettweiler [2016-10-12 13:20:56] 901*2^1442523-1 is not prime. Res64: 31C447AB852DC55A Time : 0.0 sec. user=mdettweiler [2016-10-12 13:20:56] 969*2^1442523-1 is not prime. Res64: 87AD8C5F76E2A3AD Time : 0.0 sec. user=mdettweiler [2016-10-12 13:20:57] 991*2^1442523-1 is not prime. Res64: 9084FCF33EA95AB2 Time : 0.0 sec. user=mdettweiler [2016-10-12 13:20:57] 617*2^1442524-1 is not prime. Res64: 77D6C0D536785051 Time : 0.0 sec. user=mdettweiler [2016-10-12 13:20:57] 677*2^1442524-1 is not prime. Res64: D31CEC2E465BE856 Time : 0.0 sec. user=mdettweiler [2016-10-12 13:33:10] 827*2^1442524-1 is not prime. Res64: 5591649DFA7F1F7F Time : 0.0 sec. user=mdettweiler [2016-10-12 13:33:10] 691*2^1442525-1 is not prime. Res64: E2ECECDE737ACEA2 Time : 0.0 sec. user=mdettweiler [2016-10-12 13:33:11] 781*2^1442525-1 is not prime. Res64: 7B21CBEFD90E4DBF Time : 0.0 sec. user=mdettweiler [2016-10-12 13:33:11] 825*2^1442525-1 is not prime. Res64: F749F0A200AC5973 Time : 0.0 sec. user=mdettweiler [2016-10-12 13:33:12] 837*2^1442525-1 is not prime. Res64: 7775B197DA468767 Time : 0.0 sec. user=mdettweiler [2016-10-12 13:41:49] 861*2^1442525-1 is not prime. Res64: 99164154996E6F55 Time : 0.0 sec. user=mdettweiler [2016-10-12 13:41:49] 885*2^1442525-1 is not prime. Res64: 927AE7313E78DB56 Time : 0.0 sec. user=mdettweiler [2016-10-12 13:41:50] 671*2^1442526-1 is not prime. Res64: 9488341575740FAF Time : 0.0 sec. user=mdettweiler [2016-10-12 13:41:50] 761*2^1442526-1 is not prime. Res64: 2991DB6B1E8A5689 Time : 0.0 sec. user=mdettweiler [2016-10-12 13:41:51] 993*2^1442526-1 is not prime. Res64: 1F26DDC4549F8A16 Time : 0.0 sec. user=mdettweiler [2016-10-12 14:00:23] 705*2^1442527-1 is not prime. Res64: 8125B486CB5FB08A Time : 0.0 sec. user=mdettweiler [2016-10-12 14:00:24] 729*2^1442527-1 is not prime. Res64: D5BECE69B073C209 Time : 0.0 sec. user=mdettweiler [2016-10-12 14:00:25] 741*2^1442527-1 is not prime. Res64: 66902493D22D198D Time : 0.0 sec. user=mdettweiler [2016-10-12 14:00:26] 843*2^1442527-1 is not prime. Res64: 7BD8B113D63B5BB9 Time : 0.0 sec. user=mdettweiler [2016-10-12 14:00:27] 633*2^1442528-1 is not prime. Res64: 3B1BFBC61780E071 Time : 0.0 sec. user=mdettweiler [2016-10-12 14:07:58] 657*2^1442528-1 is not prime. Res64: D27A3A44757B9F5D Time : 0.0 sec. user=mdettweiler [2016-10-12 14:07:59] 689*2^1442528-1 is not prime. Res64: C0A76C26013FC538 Time : 0.0 sec. user=mdettweiler [2016-10-12 14:08:01] 839*2^1442528-1 is not prime. Res64: 3FCCFA407C7828BD Time : 0.0 sec. user=mdettweiler [2016-10-12 14:08:02] 627*2^1442529-1 is not prime. Res64: 2F58FA4F9E3E74A1 Time : 0.0 sec. user=mdettweiler [2016-10-12 14:08:03] 639*2^1442529-1 is not prime. Res64: 4F492C3F0B8DFDF0 Time : 0.0 sec. user=mdettweiler [2016-10-12 14:21:22] 657*2^1442529-1 is not prime. Res64: 63A6BDE09F0A2E20 Time : 0.0 sec. user=mdettweiler [2016-10-12 14:21:22] 781*2^1442529-1 is not prime. Res64: C0EBA42C9C78D157 Time : 0.0 sec. user=mdettweiler [2016-10-12 14:21:23] 847*2^1442529-1 is not prime. Res64: A7EFC6009FFBA502 Time : 0.0 sec. user=mdettweiler [2016-10-12 14:21:23] 611*2^1442530-1 is not prime. Res64: CA097D4C886B489F Time : 0.0 sec. user=mdettweiler [2016-10-12 14:21:23] 647*2^1442530-1 is not prime. Res64: 6DF3188390BC909C Time : 0.0 sec. user=mdettweiler [2016-10-12 14:29:44] 653*2^1442530-1 is not prime. Res64: DEF15D5E7AE66B4D Time : 0.0 sec. user=mdettweiler [2016-10-12 14:29:45] 861*2^1442530-1 is not prime. Res64: 159BD738E19A21CF Time : 0.0 sec. user=mdettweiler [2016-10-12 14:29:45] 933*2^1442530-1 is not prime. Res64: 731F07633AB9B941 Time : 0.0 sec. user=mdettweiler [2016-10-12 14:29:45] 951*2^1442530-1 is not prime. Res64: C2D411D48D07FF1F Time : 0.0 sec. user=mdettweiler [2016-10-12 14:29:45] 995*2^1442530-1 is not prime. Res64: BF63ADC73F70C3C0 Time : 0.0 sec. user=mdettweiler [2016-10-12 14:49:20] 631*2^1442531-1 is not prime. Res64: 72F3E903D8E02C50 Time : 0.0 sec. user=mdettweiler [2016-10-12 14:49:20] 703*2^1442531-1 is not prime. Res64: 57DAE95E5B51837B Time : 0.0 sec. user=mdettweiler [2016-10-12 14:49:20] 735*2^1442531-1 is not prime. Res64: BA458632C314AEF8 Time : 0.0 sec. user=mdettweiler [2016-10-12 14:49:21] 859*2^1442531-1 is not prime. Res64: F99002F09E232F57 Time : 0.0 sec. user=mdettweiler [2016-10-12 14:49:21] 719*2^1442532-1 is not prime. Res64: 6218D4B6734FACB4 Time : 0.0 sec. user=mdettweiler [2016-10-12 14:56:27] 837*2^1442532-1 is not prime. Res64: AC874FB52C2B2F8B Time : 0.0 sec. user=mdettweiler [2016-10-12 14:56:27] 909*2^1442532-1 is not prime. Res64: DF8C5FBF26905FD1 Time : 0.0 sec. user=mdettweiler [2016-10-12 14:56:28] 615*2^1442533-1 is not prime. Res64: 6F2E7ECB7D31DEA3 Time : 0.0 sec. user=mdettweiler [2016-10-12 14:56:28] 687*2^1442533-1 is not prime. Res64: 7A5AF5ED09588474 Time : 0.0 sec. user=mdettweiler [2016-10-12 14:56:28] 729*2^1442533-1 is not prime. Res64: C153E7CE818E4173 Time : 0.0 sec. user=mdettweiler [2016-10-12 15:09:38] 757*2^1442533-1 is not prime. Res64: 53D13035910EE1F2 Time : 0.0 sec. user=mdettweiler [2016-10-12 15:09:39] 765*2^1442533-1 is not prime. Res64: 5DDD27E435E18E88 Time : 0.0 sec. user=mdettweiler [2016-10-12 15:09:39] 829*2^1442533-1 is not prime. Res64: 8373B51917504FF2 Time : 0.0 sec. user=mdettweiler [2016-10-12 15:09:40] 855*2^1442533-1 is not prime. Res64: 08B9EBB43D9F517A Time : 0.0 sec. user=mdettweiler [2016-10-12 15:09:40] 895*2^1442533-1 is not prime. Res64: FCBED2C8B8E7050F Time : 0.0 sec. user=mdettweiler [2016-10-12 15:17:56] 641*2^1442534-1 is not prime. Res64: EFB4E015D9278FB9 Time : 0.0 sec. user=mdettweiler [2016-10-12 15:17:57] 707*2^1442534-1 is not prime. Res64: ACE0FF1EB3DDC2FF Time : 0.0 sec. user=mdettweiler [2016-10-12 15:17:58] 887*2^1442534-1 is not prime. Res64: F79E751324E7A3A3 Time : 0.0 sec. user=mdettweiler [2016-10-12 15:17:59] 897*2^1442534-1 is not prime. Res64: 81E9DB8847AF42F5 Time : 0.0 sec. user=mdettweiler [2016-10-12 15:18:00] 987*2^1442534-1 is not prime. Res64: 5DE35AA7301AC3C1 Time : 0.0 sec. user=mdettweiler [2016-10-12 15:36:35] 735*2^1442535-1 is not prime. Res64: 1392AA0504E8276A Time : 0.0 sec. user=mdettweiler [2016-10-12 15:36:36] 763*2^1442535-1 is not prime. Res64: A09F60C1BE1F5B69 Time : 0.0 sec. user=mdettweiler [2016-10-12 15:36:36] 775*2^1442535-1 is not prime. Res64: FD414241D6D4A448 Time : 0.0 sec. user=mdettweiler [2016-10-12 15:36:36] 831*2^1442535-1 is not prime. Res64: 2842077C02EEA879 Time : 0.0 sec. user=mdettweiler [2016-10-12 15:36:37] 859*2^1442535-1 is not prime. Res64: B9DD8DACF9E15A74 Time : 0.0 sec. user=mdettweiler [2016-10-12 15:43:09] 861*2^1442535-1 is not prime. Res64: ED8BED176C1F17A7 Time : 0.0 sec. user=mdettweiler [2016-10-12 15:43:09] 873*2^1442535-1 is not prime. Res64: 048C4FD928E85E72 Time : 0.0 sec. user=mdettweiler [2016-10-12 15:43:10] 909*2^1442535-1 is not prime. Res64: 2226C3431F22F2A7 Time : 0.0 sec. user=mdettweiler [2016-10-12 15:43:10] 949*2^1442535-1 is not prime. Res64: 4E03F01A86E5FFC8 Time : 0.0 sec. user=mdettweiler [2016-10-12 15:43:10] 999*2^1442535-1 is not prime. Res64: 181F183A74E3EEB0 Time : 0.0 sec. user=mdettweiler [2016-10-12 15:55:37] 717*2^1442536-1 is not prime. Res64: 6AE2D6BC153AC8AD Time : 0.0 sec. user=mdettweiler [2016-10-12 15:55:38] 849*2^1442536-1 is not prime. Res64: C2D961FE215F2EBC Time : 0.0 sec. user=mdettweiler [2016-10-12 15:55:38] 855*2^1442536-1 is not prime. Res64: BB9C5240CC592360 Time : 0.0 sec. user=mdettweiler [2016-10-12 15:55:38] 857*2^1442536-1 is not prime. Res64: F28367DE7C63E414 Time : 0.0 sec. user=mdettweiler [2016-10-12 15:55:39] 939*2^1442536-1 is not prime. Res64: 5381B055DC0E4275 Time : 0.0 sec. user=mdettweiler [2016-10-12 16:03:34] 601*2^1442537-1 is not prime. Res64: 888857CE88CE842D Time : 0.0 sec. user=mdettweiler [2016-10-12 16:03:35] 637*2^1442537-1 is not prime. Res64: 57422364D1E1CD86 Time : 0.0 sec. user=mdettweiler [2016-10-12 16:03:37] 645*2^1442537-1 is not prime. Res64: ACC4FF8DEED16B27 Time : 0.0 sec. user=mdettweiler [2016-10-12 16:03:38] 715*2^1442537-1 is not prime. Res64: 7A9DAE60BDE878E9 Time : 0.0 sec. user=mdettweiler [2016-10-12 16:03:38] 799*2^1442537-1 is not prime. Res64: AA6205BAE378F17F Time : 0.0 sec. user=mdettweiler [2016-10-12 16:22:52] 885*2^1442537-1 is not prime. Res64: B7E739EC85BA2C9E Time : 0.0 sec. user=mdettweiler [2016-10-12 16:22:52] 937*2^1442537-1 is not prime. Res64: 2FC18CFE47DCC759 Time : 0.0 sec. user=mdettweiler [2016-10-12 16:22:53] 615*2^1442538-1 is not prime. Res64: A9FF19B1858341E8 Time : 0.0 sec. user=mdettweiler [2016-10-12 16:22:53] 621*2^1442538-1 is not prime. Res64: CC33E3987D184E9C Time : 0.0 sec. user=mdettweiler [2016-10-12 16:22:53] 633*2^1442538-1 is not prime. Res64: 8AE7CB846AEFFBBF Time : 0.0 sec. user=mdettweiler [2016-10-12 16:29:35] 663*2^1442538-1 is not prime. Res64: D292240587F33C16 Time : 0.0 sec. user=mdettweiler [2016-10-12 16:29:36] 681*2^1442538-1 is not prime. Res64: 3F93CE3A838477EC Time : 0.0 sec. user=mdettweiler [2016-10-12 16:29:36] 713*2^1442538-1 is not prime. Res64: 9320E9E53F642517 Time : 0.0 sec. user=mdettweiler [2016-10-12 16:29:37] 735*2^1442538-1 is not prime. Res64: D2EC3C73F952EB20 Time : 0.0 sec. user=mdettweiler [2016-10-12 16:29:37] 747*2^1442538-1 is not prime. Res64: 66A47FCB84E02B08 Time : 0.0 sec. user=mdettweiler [2016-10-12 16:42:39] 797*2^1442538-1 is not prime. Res64: 947256D7E81275F8 Time : 0.0 sec. user=mdettweiler [2016-10-12 16:42:39] 609*2^1442539-1 is not prime. Res64: B9ACD0ADACDCC121 Time : 0.0 sec. user=mdettweiler [2016-10-12 16:42:40] 709*2^1442539-1 is not prime. Res64: 754E9237846CF0F0 Time : 0.0 sec. user=mdettweiler [2016-10-12 16:42:40] 733*2^1442539-1 is not prime. Res64: 66AA2CC03B18BBCB Time : 0.0 sec. user=mdettweiler [2016-10-12 16:42:40] 801*2^1442539-1 is not prime. Res64: 4B0406A3189B277B Time : 0.0 sec. user=mdettweiler [2016-10-12 16:51:07] 841*2^1442539-1 is not prime. Res64: 063232B91484B44A Time : 0.0 sec. user=mdettweiler [2016-10-12 16:51:08] 891*2^1442539-1 is not prime. Res64: 00DF74667AAABCE6 Time : 0.0 sec. user=mdettweiler [2016-10-12 16:51:08] 961*2^1442539-1 is not prime. Res64: 3E99DD17D2A149E3 Time : 0.0 sec. user=mdettweiler [2016-10-12 16:51:08] 975*2^1442539-1 is not prime. Res64: E684DD2E4D3CE268 Time : 0.0 sec. user=mdettweiler [2016-10-12 16:51:09] 629*2^1442540-1 is not prime. Res64: 9AEC110C1080B72A Time : 0.0 sec. user=mdettweiler [2016-10-12 17:11:09] 633*2^1442540-1 is not prime. Res64: 48FE01BBC48456F7 Time : 0.0 sec. user=mdettweiler [2016-10-12 17:11:09] 825*2^1442540-1 is not prime. Res64: 0DFBC324E86F41AB Time : 0.0 sec. user=mdettweiler [2016-10-12 17:11:09] 983*2^1442540-1 is not prime. Res64: 46E8DE68FCF6266B Time : 0.0 sec. user=mdettweiler [2016-10-12 17:11:10] 675*2^1442541-1 is not prime. Res64: C1F8D9D7319E19CF Time : 0.0 sec. user=mdettweiler [2016-10-12 17:11:10] 685*2^1442541-1 is not prime. Res64: 94D6B4C6D10CDF00 Time : 0.0 sec. user=mdettweiler [2016-10-12 17:18:33] 709*2^1442541-1 is not prime. Res64: B49DB5D7ED355907 Time : 0.0 sec. user=mdettweiler [2016-10-12 17:18:33] 741*2^1442541-1 is not prime. Res64: D22D92A17375FF0C Time : 0.0 sec. user=mdettweiler [2016-10-12 17:18:33] 781*2^1442541-1 is not prime. Res64: AD87265965D4E644 Time : 0.0 sec. user=mdettweiler [2016-10-12 17:18:33] 795*2^1442541-1 is not prime. Res64: B7306529BDDA8738 Time : 0.0 sec. user=mdettweiler [2016-10-12 17:18:34] 861*2^1442541-1 is not prime. Res64: 85E98C5D1C7C607D Time : 0.0 sec. user=mdettweiler [2016-10-12 17:32:06] 975*2^1442541-1 is not prime. Res64: 5DC0793A20C87EB4 Time : 0.0 sec. user=mdettweiler [2016-10-12 17:32:06] 997*2^1442541-1 is not prime. Res64: 10A53316433504FB Time : 0.0 sec. user=mdettweiler [2016-10-12 17:32:06] 681*2^1442542-1 is not prime. Res64: C56D42D737863D3A Time : 0.0 sec. user=mdettweiler [2016-10-12 17:32:07] 791*2^1442542-1 is not prime. Res64: ED5195C4493B2A06 Time : 0.0 sec. user=mdettweiler [2016-10-12 17:32:07] 827*2^1442542-1 is not prime. Res64: 01C5FA6029381E50 Time : 0.0 sec. user=mdettweiler [2016-10-12 17:39:47] 923*2^1442542-1 is not prime. Res64: 30CEFE540E2E9A3A Time : 0.0 sec. user=mdettweiler [2016-10-12 17:39:47] 983*2^1442542-1 is not prime. Res64: B27D285EC72CE8E4 Time : 0.0 sec. user=mdettweiler [2016-10-12 17:39:48] 603*2^1442543-1 is not prime. Res64: 1D5D913DB926D5A1 Time : 0.0 sec. user=mdettweiler [2016-10-12 17:39:48] 669*2^1442543-1 is not prime. Res64: 3687AC44EF3C19FB Time : 0.0 sec. user=mdettweiler [2016-10-12 17:39:48] 721*2^1442543-1 is not prime. Res64: 8EF6FC780220DCA6 Time : 0.0 sec. user=mdettweiler [2016-10-12 17:58:55] 823*2^1442543-1 is not prime. Res64: 3B464501CF5564D3 Time : 0.0 sec. user=mdettweiler [2016-10-12 17:58:56] 861*2^1442543-1 is not prime. Res64: 26878034D84B90DE Time : 0.0 sec. user=mdettweiler [2016-10-12 17:58:56] 985*2^1442543-1 is not prime. Res64: 4F3799AB62F68723 Time : 0.0 sec. user=mdettweiler [2016-10-12 17:58:56] 635*2^1442544-1 is not prime. Res64: FA0A2992E7905B7F Time : 0.0 sec. user=mdettweiler [2016-10-12 17:58:57] 683*2^1442544-1 is not prime. Res64: 477EE3BEF5FD82B3 Time : 0.0 sec. user=mdettweiler [2016-10-12 18:06:35] 719*2^1442544-1 is not prime. Res64: 7BDD55DD10EE0EB5 Time : 0.0 sec. user=mdettweiler [2016-10-12 18:06:39] 773*2^1442544-1 is not prime. Res64: 6D453D07A33A1A79 Time : 0.0 sec. user=mdettweiler [2016-10-12 18:06:43] 875*2^1442544-1 is not prime. Res64: BB245F2D662E7212 Time : 0.0 sec. user=mdettweiler [2016-10-12 18:06:44] 601*2^1442545-1 is not prime. Res64: 305A76117C412F35 Time : 0.0 sec. user=mdettweiler [2016-10-12 18:06:47] 861*2^1442545-1 is not prime. Res64: 3BB0CE01D70369C0 Time : 0.0 sec. user=mdettweiler [2016-10-12 18:19:52] 919*2^1442545-1 is not prime. Res64: B8C6813BD6238C7E Time : 0.0 sec. user=mdettweiler [2016-10-12 18:19:52] 641*2^1442546-1 is not prime. Res64: 53B33AE8E2F56EF5 Time : 0.0 sec. user=mdettweiler [2016-10-12 18:19:52] 675*2^1442546-1 is not prime. Res64: 2170883FC2D09543 Time : 0.0 sec. user=mdettweiler [2016-10-12 18:19:53] 767*2^1442546-1 is not prime. Res64: 8B5F27A49853D3B1 Time : 0.0 sec. user=mdettweiler [2016-10-12 18:19:53] 825*2^1442546-1 is not prime. Res64: DA356DA84C804072 Time : 0.0 sec. user=mdettweiler [2016-10-12 18:26:46] 831*2^1442546-1 is not prime. Res64: 3866ECE479659098 Time : 0.0 sec. user=mdettweiler [2016-10-12 18:26:47] 923*2^1442546-1 is not prime. Res64: 4287D6BBB2E5E8AE Time : 0.0 sec. user=mdettweiler [2016-10-12 18:26:47] 957*2^1442546-1 is not prime. Res64: 4B5DD153B5DC9B5F Time : 0.0 sec. user=mdettweiler [2016-10-12 18:26:47] 963*2^1442546-1 is not prime. Res64: 56678E528218E8EA Time : 0.0 sec. user=mdettweiler [2016-10-12 18:26:48] 615*2^1442547-1 is not prime. Res64: 3852CFEDE6115BBE Time : 0.0 sec. user=mdettweiler [2016-10-12 18:46:05] 649*2^1442547-1 is not prime. Res64: 25105AF7B8B48A69 Time : 0.0 sec. user=mdettweiler [2016-10-12 18:46:05] 765*2^1442547-1 is not prime. Res64: 51BDB79C13D6ED91 Time : 0.0 sec. user=mdettweiler [2016-10-12 18:46:05] 769*2^1442547-1 is not prime. Res64: 13F4E4EA0D666AEA Time : 0.0 sec. user=mdettweiler [2016-10-12 18:46:05] 951*2^1442547-1 is not prime. Res64: 968457A2BEB36E2E Time : 0.0 sec. user=mdettweiler [2016-10-12 18:46:06] 603*2^1442548-1 is not prime. Res64: 0CB4F7794D342C08 Time : 0.0 sec. user=mdettweiler [2016-10-12 18:54:40] 615*2^1442548-1 is not prime. Res64: D95C0C200C83683F Time : 0.0 sec. user=mdettweiler [2016-10-12 18:54:41] 623*2^1442548-1 is not prime. Res64: 84C08FA3948A0AE5 Time : 0.0 sec. user=mdettweiler [2016-10-12 18:54:41] 677*2^1442548-1 is not prime. Res64: 9383EA7CBE33C2F7 Time : 0.0 sec. user=mdettweiler [2016-10-12 18:54:41] 765*2^1442548-1 is not prime. Res64: 2002F0FAC606737F Time : 0.0 sec. user=mdettweiler [2016-10-12 18:54:41] 615*2^1442549-1 is not prime. Res64: 0A017901FD0D28D0 Time : 0.0 sec. user=mdettweiler [2016-10-12 19:08:07] 711*2^1442549-1 is not prime. Res64: A0DE5B77CAA91294 Time : 0.0 sec. user=mdettweiler [2016-10-12 19:08:07] 775*2^1442549-1 is not prime. Res64: 7BFEDCD4A9EE803A Time : 0.0 sec. user=mdettweiler [2016-10-12 19:08:08] 799*2^1442549-1 is not prime. Res64: E490B70FD5C68B97 Time : 0.0 sec. user=mdettweiler [2016-10-12 19:08:08] 837*2^1442549-1 is not prime. Res64: A147F8913B880487 Time : 0.0 sec. user=mdettweiler [2016-10-12 19:08:08] 957*2^1442549-1 is not prime. Res64: F5F172AC93F1D3F6 Time : 0.0 sec. user=mdettweiler [2016-10-12 19:15:26] 651*2^1442550-1 is not prime. Res64: 5DD6424FBC44BD9C Time : 0.0 sec. user=mdettweiler [2016-10-12 19:15:26] 777*2^1442550-1 is not prime. Res64: 8AB92486792FF52F Time : 0.0 sec. user=mdettweiler [2016-10-12 19:15:27] 875*2^1442550-1 is not prime. Res64: E67C3CCC30413431 Time : 0.0 sec. user=mdettweiler [2016-10-12 19:15:28] 917*2^1442550-1 is not prime. Res64: 5FE2D386DF0E21D0 Time : 0.0 sec. user=mdettweiler [2016-10-12 19:15:29] 741*2^1442551-1 is not prime. Res64: CA41D7A4A5292F02 Time : 0.0 sec. user=mdettweiler [2016-10-12 19:33:24] 943*2^1442551-1 is not prime. Res64: FEC17E06717183CF Time : 0.0 sec. user=mdettweiler [2016-10-12 19:33:24] 993*2^1442551-1 is not prime. Res64: 643B079E6667BFED Time : 0.0 sec. user=mdettweiler [2016-10-12 19:33:24] 683*2^1442552-1 is not prime. Res64: 97E6FF52CED4D086 Time : 0.0 sec. user=mdettweiler [2016-10-12 19:33:25] 713*2^1442552-1 is not prime. Res64: 29EE6D9135761D48 Time : 0.0 sec. user=mdettweiler [2016-10-12 19:33:25] 797*2^1442552-1 is not prime. Res64: B48630FE62715772 Time : 0.0 sec. user=mdettweiler [2016-10-12 19:43:33] 803*2^1442552-1 is not prime. Res64: 655A2FF94F87C665 Time : 0.0 sec. user=mdettweiler [2016-10-12 19:43:33] 855*2^1442552-1 is not prime. Res64: 3EEBC9B8E15DE53A Time : 0.0 sec. user=mdettweiler [2016-10-12 19:43:33] 857*2^1442552-1 is not prime. Res64: 7F76F500A8B2BE9C Time : 0.0 sec. user=mdettweiler [2016-10-12 19:43:34] 873*2^1442552-1 is not prime. Res64: E8CFC02A6E96721D Time : 0.0 sec. user=mdettweiler [2016-10-12 19:43:34] 609*2^1442553-1 is not prime. Res64: E65F7F5E452F62EA Time : 0.0 sec. user=mdettweiler [2016-10-12 19:55:57] 685*2^1442553-1 is not prime. Res64: DF18290DA308420C Time : 0.0 sec. user=mdettweiler [2016-10-12 19:55:58] 781*2^1442553-1 is not prime. Res64: DC836D9B313DD8B1 Time : 0.0 sec. user=mdettweiler [2016-10-12 19:55:58] 835*2^1442553-1 is not prime. Res64: 64777834AB74D9AD Time : 0.0 sec. user=mdettweiler [2016-10-12 19:55:58] 861*2^1442553-1 is not prime. Res64: 20CBFB76258C685D Time : 0.0 sec. user=mdettweiler [2016-10-12 19:55:59] 877*2^1442553-1 is not prime. Res64: A03D31640C006BF2 Time : 0.0 sec. user=mdettweiler [2016-10-12 20:02:39] 889*2^1442553-1 is not prime. Res64: 2A70E66DB3D1F22B Time : 0.0 sec. user=mdettweiler [2016-10-12 20:02:40] 921*2^1442553-1 is not prime. Res64: C0DEB7A5350A2F57 Time : 0.0 sec. user=mdettweiler [2016-10-12 20:02:40] 605*2^1442554-1 is not prime. Res64: 485E470894AFDD45 Time : 0.0 sec. user=mdettweiler [2016-10-12 20:02:41] 635*2^1442554-1 is not prime. Res64: 70BB00A98BBA35DD Time : 0.0 sec. user=mdettweiler [2016-10-12 20:02:41] 677*2^1442554-1 is not prime. Res64: 2C686D3971AC2584 Time : 0.0 sec. user=mdettweiler [2016-10-12 20:19:57] 717*2^1442554-1 is not prime. Res64: 8F6B5CE77F34043A Time : 0.0 sec. user=mdettweiler [2016-10-12 20:19:59] 741*2^1442554-1 is not prime. Res64: 76FBD3F1879EF9F3 Time : 0.0 sec. user=mdettweiler [2016-10-12 20:19:59] 947*2^1442554-1 is not prime. Res64: CEE55F31B76CA778 Time : 0.0 sec. user=mdettweiler [2016-10-12 20:20:00] 645*2^1442555-1 is not prime. Res64: D3C980F37F70C8B1 Time : 0.0 sec. user=mdettweiler [2016-10-12 20:20:01] 651*2^1442555-1 is not prime. Res64: F384BE4F559B4A0C Time : 0.0 sec. user=mdettweiler [2016-10-12 20:29:30] 655*2^1442555-1 is not prime. Res64: 43E7DD49B4E590BB Time : 0.0 sec. user=mdettweiler [2016-10-12 20:29:30] 679*2^1442555-1 is not prime. Res64: 27724AEF15C91ED0 Time : 0.0 sec. user=mdettweiler [2016-10-12 20:29:30] 733*2^1442555-1 is not prime. Res64: 4106B12F7F605EC7 Time : 0.0 sec. user=mdettweiler [2016-10-12 20:29:31] 735*2^1442555-1 is not prime. Res64: F37E8DA18F9079DB Time : 0.0 sec. user=mdettweiler [2016-10-12 20:29:31] 771*2^1442555-1 is not prime. Res64: 59EFA776AE7AC94E Time : 0.0 sec. user=mdettweiler [2016-10-12 20:41:36] 913*2^1442555-1 is not prime. Res64: 1D11B999AD8B832B Time : 0.0 sec. user=mdettweiler [2016-10-12 20:41:37] 973*2^1442555-1 is not prime. Res64: 2ACA534B3A8D074F Time : 0.0 sec. user=mdettweiler [2016-10-12 20:41:37] 985*2^1442555-1 is not prime. Res64: 535E4904107F3571 Time : 0.0 sec. user=mdettweiler [2016-10-12 20:41:38] 675*2^1442556-1 is not prime. Res64: 9448E03A5675E467 Time : 0.0 sec. user=mdettweiler [2016-10-12 20:41:39] 735*2^1442556-1 is not prime. Res64: 5D4FF6D6872B6736 Time : 0.0 sec. user=mdettweiler [2016-10-12 20:48:30] 783*2^1442556-1 is not prime. Res64: D81964C3C0FC943C Time : 0.0 sec. user=mdettweiler [2016-10-12 20:48:30] 803*2^1442556-1 is not prime. Res64: D6AD09422A65D9C4 Time : 0.0 sec. user=mdettweiler [2016-10-12 20:48:30] 845*2^1442556-1 is not prime. Res64: 31B5D91FFC728ECB Time : 0.0 sec. user=mdettweiler [2016-10-12 20:48:31] 983*2^1442556-1 is not prime. Res64: 4DCDA9556FC8668F Time : 0.0 sec. user=mdettweiler [2016-10-12 20:48:31] 615*2^1442557-1 is not prime. Res64: 1CEEDC2CCB2C78B4 Time : 0.0 sec. user=mdettweiler [2016-10-12 21:05:42] 645*2^1442557-1 is not prime. Res64: 9CACBC0D57B922B0 Time : 0.0 sec. user=mdettweiler [2016-10-12 21:05:44] 729*2^1442557-1 is not prime. Res64: E5F5D4FAF1277A58 Time : 0.0 sec. user=mdettweiler [2016-10-12 21:05:45] 835*2^1442557-1 is not prime. Res64: 7FA08A51B6A1118C Time : 0.0 sec. user=mdettweiler [2016-10-12 21:05:46] 885*2^1442557-1 is not prime. Res64: C00DAEAE2E6874D1 Time : 0.0 sec. user=mdettweiler [2016-10-12 21:05:47] 677*2^1442558-1 is not prime. Res64: D3A50C7B50AABC81 Time : 0.0 sec. user=mdettweiler [2016-10-12 21:15:12] 711*2^1442558-1 is not prime. Res64: 289F50A48B34E34E Time : 0.0 sec. user=mdettweiler [2016-10-12 21:15:12] 767*2^1442558-1 is not prime. Res64: 05D052B3D5AE6DF8 Time : 0.0 sec. user=mdettweiler [2016-10-12 21:15:13] 791*2^1442558-1 is not prime. Res64: A6ED457B5471FD1E Time : 0.0 sec. user=mdettweiler [2016-10-12 21:15:13] 797*2^1442558-1 is not prime. Res64: 7F2672544C9D5077 Time : 0.0 sec. user=mdettweiler [2016-10-12 21:15:14] 987*2^1442558-1 is not prime. Res64: 35C36C87CBDEEDEA Time : 0.0 sec. user=mdettweiler [2016-10-12 21:27:19] 763*2^1442559-1 is not prime. Res64: 6EBD93CF84020D17 Time : 0.0 sec. user=mdettweiler [2016-10-12 21:27:19] 699*2^1442560-1 is not prime. Res64: 769277C34EA5FFF3 Time : 0.0 sec. user=mdettweiler [2016-10-12 21:27:20] 803*2^1442560-1 is not prime. Res64: 70DADA26B41F33DA Time : 0.0 sec. user=mdettweiler [2016-10-12 21:27:20] 917*2^1442560-1 is not prime. Res64: 8529494C79059655 Time : 0.0 sec. user=mdettweiler [2016-10-12 21:27:20] 933*2^1442560-1 is not prime. Res64: C1A095652D2198F4 Time : 0.0 sec. user=mdettweiler [2016-10-12 21:34:25] 679*2^1442561-1 is not prime. Res64: 682288C9CB4334D4 Time : 0.0 sec. user=mdettweiler [2016-10-12 21:34:25] 717*2^1442561-1 is not prime. Res64: D904CE2D10D8D1F7 Time : 0.0 sec. user=mdettweiler [2016-10-12 21:34:26] 777*2^1442561-1 is not prime. Res64: 7618C4BC35ED7E44 Time : 0.0 sec. user=mdettweiler [2016-10-12 21:34:26] 789*2^1442561-1 is not prime. Res64: CEA1C3756C1147D1 Time : 0.0 sec. user=mdettweiler [2016-10-12 21:34:27] 795*2^1442561-1 is not prime. Res64: 8BEDCA58C7C3E0F6 Time : 0.0 sec. user=mdettweiler [2016-10-12 21:51:29] 837*2^1442561-1 is not prime. Res64: CA48BE31619E12DE Time : 0.0 sec. user=mdettweiler [2016-10-12 21:51:29] 879*2^1442561-1 is not prime. Res64: E747DA21CFE8FEB9 Time : 0.0 sec. user=mdettweiler [2016-10-12 21:51:30] 909*2^1442561-1 is not prime. Res64: 1065EA67A23F1D72 Time : 0.0 sec. user=mdettweiler [2016-10-12 21:51:30] 979*2^1442561-1 is not prime. Res64: 7C915C49AE0D110F Time : 0.0 sec. user=mdettweiler [2016-10-12 21:51:30] 621*2^1442562-1 is not prime. Res64: 1B3FA2F607EC4BB3 Time : 0.0 sec. user=mdettweiler [2016-10-12 22:00:52] 633*2^1442562-1 is not prime. Res64: B668E18B646B8B23 Time : 0.0 sec. user=mdettweiler [2016-10-12 22:00:54] 635*2^1442562-1 is not prime. Res64: CA19B6CA420A1642 Time : 0.0 sec. user=mdettweiler [2016-10-12 22:00:55] 815*2^1442562-1 is not prime. Res64: C0EEA6FD69A4DFB9 Time : 0.0 sec. user=mdettweiler [2016-10-12 22:00:58] 873*2^1442562-1 is not prime. Res64: 4D03B91EC73D860D Time : 0.0 sec. user=mdettweiler [2016-10-12 22:01:00] 745*2^1442563-1 is not prime. Res64: 3A22D770821382E1 Time : 0.0 sec. user=mdettweiler [2016-10-12 22:19:37] 717*2^1442564-1 is not prime. Res64: 93D6148A2BB339F1 Time : 0.0 sec. user=mdettweiler [2016-10-12 22:19:37] 749*2^1442564-1 is not prime. Res64: 5F0F603A85A96EF7 Time : 0.0 sec. user=mdettweiler [2016-10-12 22:19:38] 843*2^1442564-1 is not prime. Res64: 9120F78F098F5151 Time : 0.0 sec. user=mdettweiler [2016-10-12 22:19:38] 923*2^1442564-1 is not prime. Res64: 57A605ACC6F6511B Time : 0.0 sec. user=mdettweiler [2016-10-12 22:19:39] 625*2^1442565-1 is not prime. Res64: EA245D17914245FC Time : 0.0 sec. user=mdettweiler [2016-10-12 22:37:15] 651*2^1442565-1 is not prime. Res64: C8E7BABE193045FC Time : 0.0 sec. user=mdettweiler [2016-10-12 22:37:15] 675*2^1442565-1 is not prime. Res64: 0EB8E3B9B8A4A41C Time : 0.0 sec. user=mdettweiler [2016-10-12 22:37:15] 825*2^1442565-1 is not prime. Res64: EC3CA1670B6134F5 Time : 0.0 sec. user=mdettweiler [2016-10-12 22:37:16] 889*2^1442565-1 is not prime. Res64: 2DB45BCCD7684883 Time : 0.0 sec. user=mdettweiler [2016-10-12 22:37:16] 891*2^1442565-1 is not prime. Res64: 5CE1885BF2C44F5C Time : 0.0 sec. user=mdettweiler [2016-10-12 22:47:11] 755*2^1442566-1 is not prime. Res64: 5526ECACDF4DB76A Time : 0.0 sec. user=mdettweiler [2016-10-12 22:47:12] 783*2^1442566-1 is not prime. Res64: CDEAE5292D80830F Time : 0.0 sec. user=mdettweiler [2016-10-12 22:47:12] 821*2^1442566-1 is not prime. Res64: 4C9F4F4A39DABF4E Time : 0.0 sec. user=mdettweiler [2016-10-12 22:47:13] 867*2^1442566-1 is not prime. Res64: 96FA3078BF721B58 Time : 0.0 sec. user=mdettweiler [2016-10-12 22:47:13] 897*2^1442566-1 is not prime. Res64: BD148CC7DC75B9D9 Time : 0.0 sec. user=mdettweiler [2016-10-12 23:07:00] 917*2^1442566-1 is not prime. Res64: C4D1A8358CDFC328 Time : 0.0 sec. user=mdettweiler [2016-10-12 23:07:02] 673*2^1442567-1 is not prime. Res64: AD5D36D198FD0A7C Time : 0.0 sec. user=mdettweiler [2016-10-12 23:07:04] 675*2^1442567-1 is not prime. Res64: D0571F900B20AEEA Time : 0.0 sec. user=mdettweiler [2016-10-12 23:07:09] 901*2^1442567-1 is not prime. Res64: 1BEF2402ED19D358 Time : 0.0 sec. user=mdettweiler [2016-10-12 23:07:10] 993*2^1442567-1 is not prime. Res64: 959579B07FC01378 Time : 0.0 sec. user=mdettweiler [2016-10-12 23:24:06] 635*2^1442568-1 is not prime. Res64: 47CC60EDA4637903 Time : 0.0 sec. user=mdettweiler [2016-10-12 23:24:06] 705*2^1442568-1 is not prime. Res64: 5D884564E8097EF3 Time : 0.0 sec. user=mdettweiler [2016-10-12 23:24:07] 725*2^1442568-1 is not prime. Res64: E3B0B348632D1615 Time : 0.0 sec. user=mdettweiler [2016-10-12 23:24:07] 735*2^1442568-1 is not prime. Res64: B015A4C24C7D09F5 Time : 0.0 sec. user=mdettweiler [2016-10-12 23:24:07] 899*2^1442568-1 is not prime. Res64: A33079A64576375C Time : 0.0 sec. user=mdettweiler [2016-10-12 23:35:16] 625*2^1442569-1 is not prime. Res64: C341518DB11C977F Time : 0.0 sec. user=mdettweiler [2016-10-12 23:35:16] 909*2^1442569-1 is not prime. Res64: C5201F1AFE0572D7 Time : 0.0 sec. user=mdettweiler [2016-10-12 23:35:16] 701*2^1442570-1 is not prime. Res64: EDEEDF43D3B891AB Time : 0.0 sec. user=mdettweiler [2016-10-12 23:35:16] 743*2^1442570-1 is not prime. Res64: AD8801BC548521D7 Time : 0.0 sec. user=mdettweiler [2016-10-12 23:35:17] 801*2^1442570-1 is not prime. Res64: 208B71A21A8F4569 Time : 0.0 sec. user=mdettweiler [2016-10-12 23:56:25] 861*2^1442570-1 is not prime. Res64: 1D5DDC61A19796E5 Time : 0.0 sec. user=mdettweiler [2016-10-12 23:56:26] 893*2^1442570-1 is not prime. Res64: 23F5AD9D30D9FF83 Time : 0.0 sec. user=mdettweiler [2016-10-12 23:56:26] 917*2^1442570-1 is not prime. Res64: B828A8FDD9D3AE48 Time : 0.0 sec. user=mdettweiler [2016-10-12 23:56:26] 935*2^1442570-1 is not prime. Res64: 01E225014F6651AB Time : 0.0 sec. user=mdettweiler [2016-10-12 23:56:26] 945*2^1442570-1 is not prime. Res64: 83530CE0FFEA13AA Time : 0.0 sec.