user=mdettweiler [2018-11-23 00:01:07] 617*2^1532018-1 is not prime. Res64: 1C115AC697560179 Time : 0.0 sec. user=mdettweiler [2018-11-23 00:01:07] 767*2^1532018-1 is not prime. Res64: 00ED45CD7195C9A5 Time : 0.0 sec. user=mdettweiler [2018-11-23 00:01:08] 815*2^1532018-1 is not prime. Res64: 66042CCBBAED60BE Time : 0.0 sec. user=mdettweiler [2018-11-23 00:01:08] 833*2^1532018-1 is not prime. Res64: 058CFE558EF1FDCB Time : 0.0 sec. user=mdettweiler [2018-11-23 00:01:08] 957*2^1532018-1 is not prime. Res64: 401F616415919160 Time : 0.0 sec. user=mdettweiler [2018-11-23 00:09:07] 879*2^1532019-1 is not prime. Res64: 22EAD4CADD0764C8 Time : 0.0 sec. user=mdettweiler [2018-11-23 00:09:07] 885*2^1532019-1 is not prime. Res64: 7EFCDBD126263F5A Time : 0.0 sec. user=mdettweiler [2018-11-23 00:09:08] 895*2^1532019-1 is not prime. Res64: 8E00F7BE7AC727CC Time : 0.0 sec. user=mdettweiler [2018-11-23 00:09:08] 693*2^1532020-1 is not prime. Res64: 7F4A7067B7B2EA27 Time : 0.0 sec. user=mdettweiler [2018-11-23 00:09:08] 777*2^1532020-1 is not prime. Res64: 7F0DC29B93743C29 Time : 0.0 sec. user=mdettweiler [2018-11-23 00:12:36] 873*2^1532020-1 is not prime. Res64: 421AB836C432A0D1 Time : 0.0 sec. user=mdettweiler [2018-11-23 00:12:36] 939*2^1532020-1 is not prime. Res64: 74047E195A0CF5E6 Time : 0.0 sec. user=mdettweiler [2018-11-23 00:12:36] 999*2^1532020-1 is not prime. Res64: 8D7269332263E5FF Time : 0.0 sec. user=mdettweiler [2018-11-23 00:12:36] 865*2^1532021-1 is not prime. Res64: 62987847036A222B Time : 0.0 sec. user=mdettweiler [2018-11-23 00:12:37] 901*2^1532021-1 is not prime. Res64: BE4E45EB4970600F Time : 0.0 sec. user=mdettweiler [2018-11-23 00:37:13] 927*2^1532021-1 is not prime. Res64: 2E73FC5CE4321C57 Time : 0.0 sec. user=mdettweiler [2018-11-23 00:37:13] 955*2^1532021-1 is not prime. Res64: FAC0841A07E396FF Time : 0.0 sec. user=mdettweiler [2018-11-23 00:37:14] 647*2^1532022-1 is not prime. Res64: A9E752F5F0107379 Time : 0.0 sec. user=mdettweiler [2018-11-23 00:37:14] 683*2^1532022-1 is not prime. Res64: CF1468D86A60B307 Time : 0.0 sec. user=mdettweiler [2018-11-23 00:37:14] 741*2^1532022-1 is not prime. Res64: 5DDC84F9AD22F6B9 Time : 0.0 sec. user=mdettweiler [2018-11-23 00:56:45] 755*2^1532022-1 is not prime. Res64: C3CCE1E74F00AEA9 Time : 0.0 sec. user=mdettweiler [2018-11-23 00:56:46] 777*2^1532022-1 is not prime. Res64: 273F2BB368CF8D95 Time : 0.0 sec. user=mdettweiler [2018-11-23 00:56:46] 815*2^1532022-1 is not prime. Res64: 965730CA8E23959E Time : 0.0 sec. user=mdettweiler [2018-11-23 00:56:46] 963*2^1532022-1 is not prime. Res64: 9B07A4C32569A878 Time : 0.0 sec. user=mdettweiler [2018-11-23 00:56:46] 603*2^1532023-1 is not prime. Res64: FD6B777C344A70F1 Time : 0.0 sec. user=mdettweiler [2018-11-23 01:02:20] 615*2^1532023-1 is not prime. Res64: B1B0A296F677DFD7 Time : 0.0 sec. user=mdettweiler [2018-11-23 01:02:21] 673*2^1532023-1 is not prime. Res64: 79554797812B9646 Time : 0.0 sec. user=mdettweiler [2018-11-23 01:02:22] 675*2^1532023-1 is not prime. Res64: 2ACFFDC3918C76E7 Time : 0.0 sec. user=mdettweiler [2018-11-23 01:02:23] 831*2^1532023-1 is not prime. Res64: D0B9DEB4C5AEB764 Time : 0.0 sec. user=mdettweiler [2018-11-23 01:02:24] 859*2^1532023-1 is not prime. Res64: C5FCA5559629DF18 Time : 0.0 sec. user=mdettweiler [2018-11-23 01:05:08] 873*2^1532023-1 is not prime. Res64: D88551CA7DEC9B77 Time : 0.0 sec. user=mdettweiler [2018-11-23 01:05:09] 883*2^1532023-1 is not prime. Res64: 5ADF45C90F43547C Time : 0.0 sec. user=mdettweiler [2018-11-23 01:05:11] 943*2^1532023-1 is not prime. Res64: EBB443A8E1494ADB Time : 0.0 sec. user=mdettweiler [2018-11-23 01:05:12] 961*2^1532023-1 is not prime. Res64: 491ACCE620F1E759 Time : 0.0 sec. user=mdettweiler [2018-11-23 01:05:14] 615*2^1532024-1 is not prime. Res64: 3E843F553424FCC5 Time : 0.0 sec. user=mdettweiler [2018-11-23 01:31:41] 683*2^1532024-1 is not prime. Res64: 8C37F819A0235F6A Time : 0.0 sec. user=mdettweiler [2018-11-23 01:31:43] 903*2^1532024-1 is not prime. Res64: B83597EA59FA06C0 Time : 0.0 sec. user=mdettweiler [2018-11-23 01:31:45] 915*2^1532024-1 is not prime. Res64: 5DFBF85E023DAC4A Time : 0.0 sec. user=mdettweiler [2018-11-23 01:31:46] 927*2^1532024-1 is not prime. Res64: 8C3D2D975786B719 Time : 0.0 sec. user=mdettweiler [2018-11-23 01:31:47] 935*2^1532024-1 is not prime. Res64: BB7ECC4651050AEC Time : 0.0 sec. user=mdettweiler [2018-11-23 01:49:04] 657*2^1532025-1 is not prime. Res64: D4D347D0553E4349 Time : 0.0 sec. user=mdettweiler [2018-11-23 01:49:04] 685*2^1532025-1 is not prime. Res64: 1854D5049466DC5B Time : 0.0 sec. user=mdettweiler [2018-11-23 01:49:04] 751*2^1532025-1 is not prime. Res64: 7A9EAD533C08A60D Time : 0.0 sec. user=mdettweiler [2018-11-23 01:49:05] 817*2^1532025-1 is not prime. Res64: 0D8254D87F876F00 Time : 0.0 sec. user=mdettweiler [2018-11-23 01:49:06] 991*2^1532025-1 is not prime. Res64: 9F4FE8DFD93DF8D3 Time : 0.0 sec. user=mdettweiler [2018-11-23 01:55:37] 675*2^1532026-1 is not prime. Res64: 859687441AFCCACC Time : 0.0 sec. user=mdettweiler [2018-11-23 01:55:38] 677*2^1532026-1 is not prime. Res64: 483487CBAA4B0AED Time : 0.0 sec. user=mdettweiler [2018-11-23 01:55:39] 695*2^1532026-1 is not prime. Res64: 914EB1D71EB81442 Time : 0.0 sec. user=mdettweiler [2018-11-23 01:55:39] 735*2^1532026-1 is not prime. Res64: 2BC4659C78C75D01 Time : 0.0 sec. user=mdettweiler [2018-11-23 01:55:39] 755*2^1532026-1 is not prime. Res64: 132063CE857CB01B Time : 0.0 sec. user=mdettweiler [2018-11-23 01:58:45] 857*2^1532026-1 is not prime. Res64: 762D84DCE911D721 Time : 0.0 sec. user=mdettweiler [2018-11-23 01:58:45] 873*2^1532026-1 is not prime. Res64: FEFEF8788AF4414F Time : 0.0 sec. user=mdettweiler [2018-11-23 01:58:46] 911*2^1532026-1 is not prime. Res64: F5F4ADDDA90324F2 Time : 0.0 sec. user=mdettweiler [2018-11-23 01:58:46] 917*2^1532026-1 is not prime. Res64: EBE9DB16D48DE07D Time : 0.0 sec. user=mdettweiler [2018-11-23 01:58:46] 669*2^1532027-1 is not prime. Res64: 1ACF36F3C0BB17A1 Time : 0.0 sec. user=mdettweiler [2018-11-23 02:30:56] 939*2^1532027-1 is not prime. Res64: 54C638BEAC38EF92 Time : 0.0 sec. user=mdettweiler [2018-11-23 02:30:56] 725*2^1532028-1 is not prime. Res64: 3708E81448B03156 Time : 0.0 sec. user=mdettweiler [2018-11-23 02:30:57] 773*2^1532028-1 is not prime. Res64: C3AD460A65627F25 Time : 0.0 sec. user=mdettweiler [2018-11-23 02:30:57] 875*2^1532028-1 is not prime. Res64: 2D0E092FD9D56A12 Time : 0.0 sec. user=mdettweiler [2018-11-23 02:30:57] 899*2^1532028-1 is not prime. Res64: 190AC9D1272F2D48 Time : 0.0 sec. user=mdettweiler [2018-11-23 02:41:33] 929*2^1532028-1 is not prime. Res64: 636CDB69BFA7F94A Time : 0.0 sec. user=mdettweiler [2018-11-23 02:41:34] 959*2^1532028-1 is not prime. Res64: AB14FDA791794BC3 Time : 0.0 sec. user=mdettweiler [2018-11-23 02:41:35] 987*2^1532028-1 is not prime. Res64: A028E377454283E5 Time : 0.0 sec. user=mdettweiler [2018-11-23 02:41:36] 691*2^1532029-1 is not prime. Res64: 9602A3BA38D9A501 Time : 0.0 sec. user=mdettweiler [2018-11-23 02:41:37] 789*2^1532029-1 is not prime. Res64: 0FF7957889CBD605 Time : 0.0 sec. user=mdettweiler [2018-11-23 02:48:19] 861*2^1532029-1 is not prime. Res64: FA64199B47055F8A Time : 0.0 sec. user=mdettweiler [2018-11-23 02:48:21] 877*2^1532029-1 is not prime. Res64: FB3972A5CEB99E27 Time : 0.0 sec. user=mdettweiler [2018-11-23 02:48:23] 885*2^1532029-1 is not prime. Res64: 3024C03A9EA8E364 Time : 0.0 sec. user=mdettweiler [2018-11-23 02:48:23] 897*2^1532029-1 is not prime. Res64: 168F86E7656E1D67 Time : 0.0 sec. user=mdettweiler [2018-11-23 02:48:23] 927*2^1532029-1 is not prime. Res64: 5D42B796BD2EE486 Time : 0.0 sec. user=mdettweiler [2018-11-23 02:51:55] 957*2^1532029-1 is not prime. Res64: 4B5A056729E2682A Time : 0.0 sec. user=mdettweiler [2018-11-23 02:51:55] 999*2^1532029-1 is not prime. Res64: 274071EAC5CAEEE6 Time : 0.0 sec. user=mdettweiler [2018-11-23 02:51:56] 845*2^1532030-1 is not prime. Res64: 4AA589BF85245F4F Time : 0.0 sec. user=mdettweiler [2018-11-23 02:51:56] 861*2^1532030-1 is not prime. Res64: B6719B117F81F273 Time : 0.0 sec. user=mdettweiler [2018-11-23 02:51:57] 953*2^1532030-1 is not prime. Res64: 6E738FD36D00FE6C Time : 0.0 sec. user=mdettweiler [2018-11-23 03:24:44] 977*2^1532030-1 is not prime. Res64: 1DB63AA9C98BB04E Time : 0.0 sec. user=mdettweiler [2018-11-23 03:24:44] 619*2^1532031-1 is not prime. Res64: FD043C481474E815 Time : 0.0 sec. user=mdettweiler [2018-11-23 03:24:45] 703*2^1532031-1 is not prime. Res64: 35C4D01E83FA0C07 Time : 0.0 sec. user=mdettweiler [2018-11-23 03:24:45] 861*2^1532031-1 is not prime. Res64: 4E838CCB599FFB76 Time : 0.0 sec. user=mdettweiler [2018-11-23 03:24:45] 865*2^1532031-1 is not prime. Res64: D443FD9B788F089D Time : 0.0 sec. user=mdettweiler [2018-11-23 03:35:25] 913*2^1532031-1 is not prime. Res64: B36985732044AF61 Time : 0.0 sec. user=mdettweiler [2018-11-23 03:35:26] 629*2^1532032-1 is not prime. Res64: F0866D8710FF7891 Time : 0.0 sec. user=mdettweiler [2018-11-23 03:35:27] 755*2^1532032-1 is not prime. Res64: BBDDE0488BB92AA8 Time : 0.0 sec. user=mdettweiler [2018-11-23 03:35:28] 785*2^1532032-1 is not prime. Res64: 226EED06D046C851 Time : 0.0 sec. user=mdettweiler [2018-11-23 03:35:29] 813*2^1532032-1 is not prime. Res64: 3C6B3B4CD3655317 Time : 0.0 sec. user=mdettweiler [2018-11-23 03:44:59] 873*2^1532032-1 is not prime. Res64: 3BD4643C4AD93C64 Time : 0.0 sec. user=mdettweiler [2018-11-23 03:45:00] 899*2^1532032-1 is not prime. Res64: 2A3994A2A79F99CB Time : 0.0 sec. user=mdettweiler [2018-11-23 03:45:00] 929*2^1532032-1 is not prime. Res64: AD514349EF7920E8 Time : 0.0 sec. user=mdettweiler [2018-11-23 03:45:01] 615*2^1532033-1 is not prime. Res64: A56B7790665364F4 Time : 0.0 sec. user=mdettweiler [2018-11-23 03:45:03] 679*2^1532033-1 is not prime. Res64: 09FA21A39E1908F8 Time : 0.0 sec. user=mdettweiler [2018-11-23 03:47:26] 829*2^1532033-1 is not prime. Res64: 8D68B3EE239A9767 Time : 0.0 sec. user=mdettweiler [2018-11-23 03:47:26] 879*2^1532033-1 is not prime. Res64: 92C8829D07056C30 Time : 0.0 sec. user=mdettweiler [2018-11-23 03:47:27] 901*2^1532033-1 is not prime. Res64: DFFF5D1F06352FBA Time : 0.0 sec. user=mdettweiler [2018-11-23 03:47:27] 957*2^1532033-1 is not prime. Res64: D527C4A47B4BBE83 Time : 0.0 sec. user=mdettweiler [2018-11-23 03:47:28] 651*2^1532034-1 is not prime. Res64: 23563F2DBA421A7D Time : 0.0 sec. user=mdettweiler [2018-11-23 04:05:00] 759*2^1532037-1 is not prime. Res64: 8B02D20B79A0B12A Time : 0.0 sec. user=mdettweiler [2018-11-23 04:17:33] 663*2^1532034-1 is not prime. Res64: 550602FDC7258434 Time : 0.0 sec. user=mdettweiler [2018-11-23 04:17:34] 681*2^1532034-1 is not prime. Res64: EF8C58366FA189CD Time : 0.0 sec. user=mdettweiler [2018-11-23 04:17:34] 683*2^1532034-1 is not prime. Res64: DF9E7937A1E52046 Time : 0.0 sec. user=mdettweiler [2018-11-23 04:17:34] 705*2^1532034-1 is not prime. Res64: 64019A91396F91D4 Time : 0.0 sec. user=mdettweiler [2018-11-23 04:17:35] 905*2^1532034-1 is not prime. Res64: B17E3F09C1FF8448 Time : 0.0 sec. user=mdettweiler [2018-11-23 04:28:58] 1001*2^1532034-1 is not prime. Res64: B947BB01C25DAB2E Time : 0.0 sec. user=mdettweiler [2018-11-23 04:28:59] 609*2^1532035-1 is not prime. Res64: 6A0221CDD90F7F5D Time : 0.0 sec. user=mdettweiler [2018-11-23 04:28:59] 633*2^1532035-1 is not prime. Res64: 912DB6708EE45438 Time : 0.0 sec. user=mdettweiler [2018-11-23 04:29:00] 765*2^1532035-1 is not prime. Res64: 5063434B45CB7FAB Time : 0.0 sec. user=mdettweiler [2018-11-23 04:29:00] 771*2^1532035-1 is not prime. Res64: A27BAEC837E36C0E Time : 0.0 sec. user=mdettweiler [2018-11-23 04:37:57] 859*2^1532035-1 is not prime. Res64: D4125FA2E16F8144 Time : 0.0 sec. user=mdettweiler [2018-11-23 04:38:04] 969*2^1532035-1 is not prime. Res64: 71511B6B8EB1C748 Time : 0.0 sec. user=mdettweiler [2018-11-23 04:38:04] 669*2^1532036-1 is not prime. Res64: 865B57E512598150 Time : 0.0 sec. user=mdettweiler [2018-11-23 04:38:05] 789*2^1532036-1 is not prime. Res64: 5B6C2A1184C567BE Time : 0.0 sec. user=mdettweiler [2018-11-23 04:38:06] 813*2^1532036-1 is not prime. Res64: 28E48FB73FB854B3 Time : 0.0 sec. user=mdettweiler [2018-11-23 04:40:06] 903*2^1532036-1 is not prime. Res64: B7828402BBFFB57C Time : 0.0 sec. user=mdettweiler [2018-11-23 04:40:06] 923*2^1532036-1 is not prime. Res64: 69094042EF1B3B41 Time : 0.0 sec. user=mdettweiler [2018-11-23 04:40:07] 667*2^1532037-1 is not prime. Res64: 6DFDB9001650DF1D Time : 0.0 sec. user=mdettweiler [2018-11-23 04:40:07] 681*2^1532037-1 is not prime. Res64: 63B854996B5F420F Time : 0.0 sec. user=mdettweiler [2018-11-23 04:40:07] 717*2^1532037-1 is not prime. Res64: C8DF20F2911D704E Time : 0.0 sec. user=mdettweiler [2018-11-23 05:11:43] 849*2^1532037-1 is not prime. Res64: FF2A9EE5C4B5D9E4 Time : 0.0 sec. user=mdettweiler [2018-11-23 05:11:45] 713*2^1532038-1 is not prime. Res64: 29ADB5E3D6C98070 Time : 0.0 sec. user=mdettweiler [2018-11-23 05:11:45] 801*2^1532038-1 is not prime. Res64: 6C2EC1A433BD3DF1 Time : 0.0 sec. user=mdettweiler [2018-11-23 05:11:46] 831*2^1532038-1 is not prime. Res64: 69B246D4A16A13B4 Time : 0.0 sec. user=mdettweiler [2018-11-23 05:11:53] 971*2^1532038-1 is not prime. Res64: 8971039A638B4568 Time : 0.0 sec. user=mdettweiler [2018-11-23 05:23:29] 993*2^1532038-1 is not prime. Res64: 2CC413FB9A0FF4A8 Time : 0.0 sec. user=mdettweiler [2018-11-23 05:23:29] 615*2^1532039-1 is not prime. Res64: ED464D70A802FFC9 Time : 0.0 sec. user=mdettweiler [2018-11-23 05:23:30] 643*2^1532039-1 is not prime. Res64: 8F35479BD62D7E60 Time : 0.0 sec. user=mdettweiler [2018-11-23 05:23:30] 741*2^1532039-1 is not prime. Res64: 7509B2F7A3C8474C Time : 0.0 sec. user=mdettweiler [2018-11-23 05:23:31] 865*2^1532039-1 is not prime. Res64: 3895529FC0B1BEF5 Time : 0.0 sec. user=mdettweiler [2018-11-23 05:31:11] 949*2^1532039-1 is not prime. Res64: C786B7A25D5ABE56 Time : 0.0 sec. user=mdettweiler [2018-11-23 05:31:12] 609*2^1532040-1 is not prime. Res64: 79FD6F56533E8392 Time : 0.0 sec. user=mdettweiler [2018-11-23 05:31:12] 759*2^1532040-1 is not prime. Res64: A445925DFE99ED1C Time : 0.0 sec. user=mdettweiler [2018-11-23 05:31:14] 867*2^1532040-1 is not prime. Res64: 768DB4AC00B1339E Time : 0.0 sec. user=mdettweiler [2018-11-23 05:31:14] 873*2^1532040-1 is not prime. Res64: 7D9605CFF959DDBF Time : 0.0 sec. user=mdettweiler [2018-11-23 05:32:04] 799*2^1532041-1 is not prime. Res64: DA6620601BBFBC40 Time : 0.0 sec. user=mdettweiler [2018-11-23 05:32:05] 829*2^1532041-1 is not prime. Res64: E3E197E9565922EB Time : 0.0 sec. user=mdettweiler [2018-11-23 05:32:05] 867*2^1532041-1 is not prime. Res64: 5381F47EB39DED37 Time : 0.0 sec. user=mdettweiler [2018-11-23 05:32:05] 871*2^1532041-1 is not prime. Res64: 22B9681F6137D325 Time : 0.0 sec. user=mdettweiler [2018-11-23 05:32:06] 657*2^1532042-1 is not prime. Res64: CAD5EA2FF27ADFE6 Time : 0.0 sec. user=mdettweiler [2018-11-23 06:04:51] 675*2^1532042-1 is not prime. Res64: 8C989EE497B19279 Time : 0.0 sec. user=mdettweiler [2018-11-23 06:04:53] 683*2^1532042-1 is not prime. Res64: FA9552B5DDB85D86 Time : 0.0 sec. user=mdettweiler [2018-11-23 06:04:54] 735*2^1532042-1 is not prime. Res64: 4E55BD90163483F0 Time : 0.0 sec. user=mdettweiler [2018-11-23 06:04:55] 801*2^1532042-1 is not prime. Res64: 6C43D132ECE8B726 Time : 0.0 sec. user=mdettweiler [2018-11-23 06:04:56] 831*2^1532042-1 is not prime. Res64: E68C5091C1C488DB Time : 0.0 sec. user=mdettweiler [2018-11-23 06:16:40] 867*2^1532042-1 is not prime. Res64: 98DF8E9F8CDD3342 Time : 0.0 sec. user=mdettweiler [2018-11-23 06:16:41] 887*2^1532042-1 is not prime. Res64: 57DA778BAB78CF4B Time : 0.0 sec. user=mdettweiler [2018-11-23 06:16:41] 935*2^1532042-1 is not prime. Res64: 7927AE8ED4EF44AE Time : 0.0 sec. user=mdettweiler [2018-11-23 06:16:43] 983*2^1532042-1 is not prime. Res64: 9E69C12BAAF8FE79 Time : 0.0 sec. user=mdettweiler [2018-11-23 06:16:47] 1001*2^1532042-1 is not prime. Res64: B6EAD3B8882CA9FF Time : 0.0 sec. user=mdettweiler [2018-11-23 06:24:24] 663*2^1532043-1 is not prime. Res64: DCE2340E38862FE2 Time : 0.0 sec. user=mdettweiler [2018-11-23 06:24:29] 685*2^1532043-1 is not prime. Res64: 46A92C7832539F32 Time : 0.0 sec. user=mdettweiler [2018-11-23 06:24:30] 723*2^1532043-1 is not prime. Res64: 43555447A87D4E59 Time : 0.0 sec. user=mdettweiler [2018-11-23 06:24:30] 739*2^1532043-1 is not prime. Res64: 239C7CA0537094A0 Time : 0.0 sec. user=mdettweiler [2018-11-23 06:24:31] 765*2^1532043-1 is not prime. Res64: 850EB4D1F35AFD92 Time : 0.0 sec. user=mdettweiler [2018-11-23 06:24:49] 829*2^1532043-1 is not prime. Res64: 329AD179DC134C19 Time : 0.0 sec. user=mdettweiler [2018-11-23 06:24:50] 945*2^1532043-1 is not prime. Res64: 51D86FA5A81D9758 Time : 0.0 sec. user=mdettweiler [2018-11-23 06:24:50] 705*2^1532044-1 is not prime. Res64: CB8308E9EB1F6773 Time : 0.0 sec. user=mdettweiler [2018-11-23 06:24:51] 887*2^1532044-1 is not prime. Res64: 0F084F5CBFD67EB6 Time : 0.0 sec. user=mdettweiler [2018-11-23 06:24:51] 619*2^1532045-1 is not prime. Res64: 336A265F1722A471 Time : 0.0 sec. user=mdettweiler [2018-11-23 06:57:42] 655*2^1532045-1 is not prime. Res64: 18D90D81033F8A13 Time : 0.0 sec. user=mdettweiler [2018-11-23 06:57:43] 699*2^1532045-1 is not prime. Res64: 373AA37A95167258 Time : 0.0 sec. user=mdettweiler [2018-11-23 06:57:44] 721*2^1532045-1 is not prime. Res64: 1139C33E5C46F2A5 Time : 0.0 sec. user=mdettweiler [2018-11-23 06:57:44] 777*2^1532045-1 is not prime. Res64: 15EF69400A79F452 Time : 0.0 sec. user=mdettweiler [2018-11-23 06:57:45] 795*2^1532045-1 is not prime. Res64: 28F6F8B088BD97ED Time : 0.0 sec. user=mdettweiler [2018-11-23 07:08:42] 647*2^1532046-1 is not prime. Res64: 08648BE14595BDA5 Time : 0.0 sec. user=mdettweiler [2018-11-23 07:08:42] 657*2^1532046-1 is not prime. Res64: 284F0295C68A6A14 Time : 0.0 sec. user=mdettweiler [2018-11-23 07:08:43] 825*2^1532046-1 is not prime. Res64: 1CDE593607EF7E16 Time : 0.0 sec. user=mdettweiler [2018-11-23 07:08:43] 619*2^1532047-1 is not prime. Res64: 688EDEC180995505 Time : 0.0 sec. user=mdettweiler [2018-11-23 07:08:43] 625*2^1532047-1 is not prime. Res64: A18ADB3AF7A93776 Time : 0.0 sec. user=mdettweiler [2018-11-23 07:16:18] 773*2^1532048-1 is not prime. Res64: B78CD17FB0DD21BA Time : 0.0 sec. user=mdettweiler [2018-11-23 07:16:18] 845*2^1532048-1 is not prime. Res64: 7B14696F8FB3E4A2 Time : 0.0 sec. user=mdettweiler [2018-11-23 07:16:19] 727*2^1532049-1 is not prime. Res64: 0B8DAFCD26BD71E6 Time : 0.0 sec. user=mdettweiler [2018-11-23 07:16:19] 891*2^1532049-1 is not prime. Res64: 776DAAA09AA51EC2 Time : 0.0 sec. user=mdettweiler [2018-11-23 07:16:19] 945*2^1532049-1 is not prime. Res64: 17DE3B22DE52A661 Time : 0.0 sec. user=mdettweiler [2018-11-23 07:16:27] 871*2^1532047-1 is not prime. Res64: 557BD4CC25A0BCC4 Time : 0.0 sec. user=mdettweiler [2018-11-23 07:16:27] 951*2^1532047-1 is not prime. Res64: F6B3439D33F57BC6 Time : 0.0 sec. user=mdettweiler [2018-11-23 07:16:28] 687*2^1532048-1 is not prime. Res64: 2930EF172C583DBE Time : 0.0 sec. user=mdettweiler [2018-11-23 07:16:28] 713*2^1532048-1 is not prime. Res64: 398C7EBD62057A61 Time : 0.0 sec. user=mdettweiler [2018-11-23 07:16:28] 743*2^1532048-1 is not prime. Res64: 9108714342D5CCFC Time : 0.0 sec. user=mdettweiler [2018-11-23 07:49:32] 999*2^1532049-1 is not prime. Res64: 5B9F8C26BA35944B Time : 0.0 sec. user=mdettweiler [2018-11-23 07:49:32] 665*2^1532050-1 is not prime. Res64: 5D9E644652A5B20E Time : 0.0 sec. user=mdettweiler [2018-11-23 07:49:32] 773*2^1532050-1 is not prime. Res64: 2881E00D5606E4FD Time : 0.0 sec. user=mdettweiler [2018-11-23 07:49:33] 827*2^1532050-1 is not prime. Res64: C522E997CE572ECC Time : 0.0 sec. user=mdettweiler [2018-11-23 07:49:33] 917*2^1532050-1 is not prime. Res64: 949A731FC361EBD5 Time : 0.0 sec. user=mdettweiler [2018-11-23 08:01:17] 975*2^1532050-1 is not prime. Res64: 8209E70A2CDAB96F Time : 0.0 sec. user=mdettweiler [2018-11-23 08:01:21] 621*2^1532051-1 is not prime. Res64: 31B05B89BEDA8650 Time : 0.0 sec. user=mdettweiler [2018-11-23 08:01:26] 673*2^1532051-1 is not prime. Res64: AC90894BCCB2ECD0 Time : 0.0 sec. user=mdettweiler [2018-11-23 08:01:30] 741*2^1532051-1 is not prime. Res64: CC1BDECBE89FAE97 Time : 0.0 sec. user=mdettweiler [2018-11-23 08:01:32] 745*2^1532051-1 is not prime. Res64: FEB9FF1C498C69F4 Time : 0.0 sec. user=mdettweiler [2018-11-23 08:09:25] 725*2^1532052-1 is not prime. Res64: D2A895CC9D4058B2 Time : 0.0 sec. user=mdettweiler [2018-11-23 08:09:27] 749*2^1532052-1 is not prime. Res64: 6924A4D5987BCC1D Time : 0.0 sec. user=mdettweiler [2018-11-23 08:09:28] 753*2^1532052-1 is not prime. Res64: 84B9FC46B747D2D8 Time : 0.0 sec. user=mdettweiler [2018-11-23 08:09:29] 843*2^1532052-1 is not prime. Res64: B37679A3281365BB Time : 0.0 sec. user=mdettweiler [2018-11-23 08:09:30] 879*2^1532052-1 is not prime. Res64: F6B37DAAD1E632DC Time : 0.0 sec. user=mdettweiler [2018-11-23 08:11:43] 843*2^1532051-1 is not prime. Res64: 06EC0B8EA4B354E6 Time : 0.0 sec. user=mdettweiler [2018-11-23 08:11:44] 909*2^1532051-1 is not prime. Res64: DEC4FCA95C8A681B Time : 0.0 sec. user=mdettweiler [2018-11-23 08:11:44] 633*2^1532052-1 is not prime. Res64: 0FBFFCE067B6EC3F Time : 0.0 sec. user=mdettweiler [2018-11-23 08:11:45] 669*2^1532052-1 is not prime. Res64: 3F9B4E770B2F4A6C Time : 0.0 sec. user=mdettweiler [2018-11-23 08:11:45] 699*2^1532052-1 is not prime. Res64: A644446522BECDFE Time : 0.0 sec. user=mdettweiler [2018-11-23 08:45:16] 933*2^1532052-1 is not prime. Res64: 4741E97769E23AD1 Time : 0.0 sec. user=mdettweiler [2018-11-23 08:45:17] 609*2^1532053-1 is not prime. Res64: 4740DCDB74A62B24 Time : 0.0 sec. user=mdettweiler [2018-11-23 08:45:17] 721*2^1532053-1 is not prime. Res64: 51DFB3F9A6651682 Time : 0.0 sec. user=mdettweiler [2018-11-23 08:45:17] 939*2^1532053-1 is not prime. Res64: 40D5997E857A8405 Time : 0.0 sec. user=mdettweiler [2018-11-23 08:45:17] 955*2^1532053-1 is not prime. Res64: 9FAFC480940F26D7 Time : 0.0 sec. user=mdettweiler [2018-11-23 08:57:53] 773*2^1532054-1 is not prime. Res64: CC05333FDA72C57A Time : 0.0 sec. user=mdettweiler [2018-11-23 08:57:53] 795*2^1532054-1 is not prime. Res64: 09C48BFC1C28531F Time : 0.0 sec. user=mdettweiler [2018-11-23 08:57:53] 861*2^1532054-1 is not prime. Res64: 5AE0ECF68CBE1D13 Time : 0.0 sec. user=mdettweiler [2018-11-23 08:57:53] 1001*2^1532054-1 is not prime. Res64: A6B959E1259B64CA Time : 0.0 sec. user=mdettweiler [2018-11-23 08:57:54] 861*2^1532055-1 is not prime. Res64: B96F81FF6232B5E9 Time : 0.0 sec. user=mdettweiler [2018-11-23 09:02:09] 615*2^1532054-1 is not prime. Res64: 283DB6820160DA17 Time : 0.0 sec. user=mdettweiler [2018-11-23 09:02:10] 687*2^1532054-1 is not prime. Res64: A2AFBFE947508D36 Time : 0.0 sec. user=mdettweiler [2018-11-23 09:02:11] 895*2^1532055-1 is not prime. Res64: B3E6646C488F07A2 Time : 0.0 sec. user=mdettweiler [2018-11-23 09:02:11] 639*2^1532056-1 is not prime. Res64: ACA0D24F2C9C794F Time : 0.0 sec. user=mdettweiler [2018-11-23 09:02:12] 645*2^1532056-1 is not prime. Res64: 66C6E57C7E559609 Time : 0.0 sec. user=mdettweiler [2018-11-23 09:06:27] 653*2^1532056-1 is not prime. Res64: 1A8DEEFDB24902E5 Time : 0.0 sec. user=mdettweiler [2018-11-23 09:06:29] 857*2^1532056-1 is not prime. Res64: A9857B6E67E03C49 Time : 0.0 sec. user=mdettweiler [2018-11-23 09:06:30] 903*2^1532056-1 is not prime. Res64: 158C88889430B101 Time : 0.0 sec. user=mdettweiler [2018-11-23 09:06:31] 831*2^1532057-1 is not prime. Res64: 27DF4CE075E74E23 Time : 0.0 sec. user=mdettweiler [2018-11-23 09:06:32] 841*2^1532057-1 is not prime. Res64: 5FB2B68EDF3B32E0 Time : 0.0 sec. user=mdettweiler [2018-11-23 09:39:24] 871*2^1532057-1 is not prime. Res64: D1CB66CBDD602074 Time : 0.0 sec. user=mdettweiler [2018-11-23 09:39:25] 879*2^1532057-1 is not prime. Res64: 50A24DD92BC31C3B Time : 0.0 sec. user=mdettweiler [2018-11-23 09:39:25] 707*2^1532058-1 is not prime. Res64: 47BFDB787B6474E1 Time : 0.0 sec. user=mdettweiler [2018-11-23 09:39:25] 887*2^1532058-1 is not prime. Res64: 1BB131DD786CBAC8 Time : 0.0 sec. user=mdettweiler [2018-11-23 09:39:26] 915*2^1532058-1 is not prime. Res64: 85015B09D96CD5D4 Time : 0.0 sec. user=mdettweiler [2018-11-23 09:50:02] 975*2^1532058-1 is not prime. Res64: CB41BAA65B8AF585 Time : 0.0 sec. user=mdettweiler [2018-11-23 09:50:02] 619*2^1532059-1 is not prime. Res64: C06C33C1FDBEFC6C Time : 0.0 sec. user=mdettweiler [2018-11-23 09:50:02] 621*2^1532059-1 is not prime. Res64: D8428905E635C840 Time : 0.0 sec. user=mdettweiler [2018-11-23 09:50:03] 751*2^1532059-1 is not prime. Res64: A48CB3A06FC7CF57 Time : 0.0 sec. user=mdettweiler [2018-11-23 09:50:03] 811*2^1532059-1 is not prime. Res64: 2EFD3B3132FF78EC Time : 0.0 sec. user=mdettweiler [2018-11-23 09:57:44] 843*2^1532059-1 is not prime. Res64: 712A1FA591445728 Time : 0.0 sec. user=mdettweiler [2018-11-23 09:57:44] 859*2^1532059-1 is not prime. Res64: D088D38A3C12AFA5 Time : 0.0 sec. user=mdettweiler [2018-11-23 09:57:45] 943*2^1532059-1 is not prime. Res64: AE9377958DB3CB16 Time : 0.0 sec. user=mdettweiler [2018-11-23 09:57:45] 985*2^1532059-1 is not prime. Res64: E628E7311981E405 Time : 0.0 sec. user=mdettweiler [2018-11-23 09:57:45] 603*2^1532060-1 is not prime. Res64: 5B1A4AE67074ABA9 Time : 0.0 sec. user=mdettweiler [2018-11-23 10:01:41] 675*2^1532060-1 is not prime. Res64: 132B31CBA9CB3E38 Time : 0.0 sec. user=mdettweiler [2018-11-23 10:01:42] 785*2^1532060-1 is not prime. Res64: 91B92C39E3CC935A Time : 0.0 sec. user=mdettweiler [2018-11-23 10:01:43] 795*2^1532060-1 is not prime. Res64: 9FE33888D66F41C9 Time : 0.0 sec. user=mdettweiler [2018-11-23 10:01:44] 803*2^1532060-1 is not prime. Res64: DFB801209A845424 Time : 0.0 sec. user=mdettweiler [2018-11-23 10:01:44] 819*2^1532060-1 is not prime. Res64: 05956C090A092A06 Time : 0.0 sec. user=mdettweiler [2018-11-23 10:32:53] 843*2^1532060-1 is not prime. Res64: BD32AD8B44C7F40C Time : 0.0 sec. user=mdettweiler [2018-11-23 10:32:53] 845*2^1532060-1 is not prime. Res64: 2070F8825A17723C Time : 0.0 sec. user=mdettweiler [2018-11-23 10:32:53] 875*2^1532060-1 is not prime. Res64: B0E30FDC7731CF97 Time : 0.0 sec. user=mdettweiler [2018-11-23 10:32:54] 897*2^1532060-1 is not prime. Res64: 309B15BF880C6EE2 Time : 0.0 sec. user=mdettweiler [2018-11-23 10:32:54] 899*2^1532060-1 is not prime. Res64: D54584713CABE229 Time : 0.0 sec. user=mdettweiler [2018-11-23 10:47:28] 627*2^1532061-1 is not prime. Res64: 1C4756E5681634C1 Time : 0.0 sec. user=mdettweiler [2018-11-23 10:47:29] 727*2^1532061-1 is not prime. Res64: BA01E1A0C2FBE209 Time : 0.0 sec. user=mdettweiler [2018-11-23 10:47:29] 837*2^1532061-1 is not prime. Res64: A4535DB3B8BAC8BC Time : 0.0 sec. user=mdettweiler [2018-11-23 10:47:30] 849*2^1532061-1 is not prime. Res64: 87D2F8385E0A91F3 Time : 0.0 sec. user=mdettweiler [2018-11-23 10:47:31] 885*2^1532061-1 is not prime. Res64: E33839C50DA835ED Time : 0.0 sec. user=mdettweiler [2018-11-23 10:52:57] 653*2^1532062-1 is not prime. Res64: 916A2BEC099C96AE Time : 0.0 sec. user=mdettweiler [2018-11-23 10:52:57] 723*2^1532062-1 is not prime. Res64: 03CD8BFB4B0F17B9 Time : 0.0 sec. user=mdettweiler [2018-11-23 10:52:57] 863*2^1532062-1 is not prime. Res64: DF30B833AC0B3090 Time : 0.0 sec. user=mdettweiler [2018-11-23 10:52:58] 915*2^1532062-1 is not prime. Res64: 87D596D8978D4534 Time : 0.0 sec. user=mdettweiler [2018-11-23 10:52:58] 987*2^1532062-1 is not prime. Res64: FFF219B4646BE338 Time : 0.0 sec. user=mdettweiler [2018-11-23 10:54:40] 1001*2^1532062-1 is not prime. Res64: BBB423BB0E64CCEA Time : 0.0 sec. user=mdettweiler [2018-11-23 10:54:40] 633*2^1532063-1 is not prime. Res64: 25FCF894A6911382 Time : 0.0 sec. user=mdettweiler [2018-11-23 10:54:41] 669*2^1532063-1 is not prime. Res64: 6FE9EA897973D74E Time : 0.0 sec. user=mdettweiler [2018-11-23 10:54:41] 861*2^1532063-1 is not prime. Res64: 314F85479B47789A Time : 0.0 sec. user=mdettweiler [2018-11-23 10:54:41] 889*2^1532063-1 is not prime. Res64: 34DF1F74FF40C6AE Time : 0.0 sec. user=mdettweiler [2018-11-23 11:26:34] 943*2^1532063-1 is not prime. Res64: 28CD9B0F1D225259 Time : 0.0 sec. user=mdettweiler [2018-11-23 11:26:34] 973*2^1532063-1 is not prime. Res64: 11AFBFD1A02210C5 Time : 0.0 sec. user=mdettweiler [2018-11-23 11:26:35] 693*2^1532064-1 is not prime. Res64: 4C2D719C70203F7B Time : 0.0 sec. user=mdettweiler [2018-11-23 11:26:35] 747*2^1532064-1 is not prime. Res64: 2D2E2164AF4D3E5E Time : 0.0 sec. user=mdettweiler [2018-11-23 11:26:35] 753*2^1532064-1 is not prime. Res64: A9F002260F453D5C Time : 0.0 sec. user=mdettweiler [2018-11-23 11:43:06] 873*2^1532064-1 is not prime. Res64: FF09FACEA4BF9097 Time : 0.0 sec. user=mdettweiler [2018-11-23 11:43:07] 959*2^1532064-1 is not prime. Res64: C48CB5AB92AAEC11 Time : 0.0 sec. user=mdettweiler [2018-11-23 11:43:07] 717*2^1532065-1 is not prime. Res64: 8A16CBCFD9DF9947 Time : 0.0 sec. user=mdettweiler [2018-11-23 11:43:07] 831*2^1532065-1 is not prime. Res64: E1546ACF978EE020 Time : 0.0 sec. user=mdettweiler [2018-11-23 11:43:07] 861*2^1532065-1 is not prime. Res64: 8C78AFBED5FF7CD6 Time : 0.0 sec. user=mdettweiler [2018-11-23 11:48:18] 939*2^1532065-1 is not prime. Res64: BC4E5DC844F3F6A3 Time : 0.0 sec. user=mdettweiler [2018-11-23 11:48:18] 951*2^1532065-1 is not prime. Res64: 108C61CAD8E28E15 Time : 0.0 sec. user=mdettweiler [2018-11-23 11:48:18] 773*2^1532066-1 is not prime. Res64: 5B735F3B9DA249F2 Time : 0.0 sec. user=mdettweiler [2018-11-23 11:48:19] 785*2^1532066-1 is not prime. Res64: C49BAECD327615C5 Time : 0.0 sec. user=mdettweiler [2018-11-23 11:48:19] 825*2^1532066-1 is not prime. Res64: 462043476044BA34 Time : 0.0 sec. user=mdettweiler [2018-11-23 11:49:27] 873*2^1532066-1 is not prime. Res64: D37EE996F9B72A80 Time : 0.0 sec. user=mdettweiler [2018-11-23 11:49:28] 957*2^1532066-1 is not prime. Res64: F368DD8598EA30E9 Time : 0.0 sec. user=mdettweiler [2018-11-23 11:49:28] 601*2^1532067-1 is not prime. Res64: F75DE10266E356DB Time : 0.0 sec. user=mdettweiler [2018-11-23 11:49:28] 691*2^1532067-1 is not prime. Res64: F2601093F0302C53 Time : 0.0 sec. user=mdettweiler [2018-11-23 11:49:28] 703*2^1532067-1 is not prime. Res64: 796856B4AA7B3B25 Time : 0.0 sec. user=mdettweiler [2018-11-23 12:21:16] 735*2^1532067-1 is not prime. Res64: 10B3A4B54402BEDD Time : 0.0 sec. user=mdettweiler [2018-11-23 12:21:17] 741*2^1532067-1 is not prime. Res64: 789E5262BA336345 Time : 0.0 sec. user=mdettweiler [2018-11-23 12:21:17] 781*2^1532067-1 is not prime. Res64: 9A9C8C0F27A6A76E Time : 0.0 sec. user=mdettweiler [2018-11-23 12:21:18] 951*2^1532067-1 is not prime. Res64: A0BCA607E0602941 Time : 0.0 sec. user=mdettweiler [2018-11-23 12:21:18] 955*2^1532067-1 is not prime. Res64: E9747BE9A9B86CE6 Time : 0.0 sec. user=mdettweiler [2018-11-23 12:35:54] 639*2^1532068-1 is not prime. Res64: E690B79428B50909 Time : 0.0 sec. user=mdettweiler [2018-11-23 12:35:55] 665*2^1532068-1 is not prime. Res64: B68EE5778CEB61C4 Time : 0.0 sec. user=mdettweiler [2018-11-23 12:35:55] 813*2^1532068-1 is not prime. Res64: 1C39C09787430C84 Time : 0.0 sec. user=mdettweiler [2018-11-23 12:35:55] 875*2^1532068-1 is not prime. Res64: D1D5F878A2F7AE83 Time : 0.0 sec. user=mdettweiler [2018-11-23 12:35:56] 915*2^1532068-1 is not prime. Res64: 1EB2E8439D1F91C1 Time : 0.0 sec. user=mdettweiler [2018-11-23 12:41:13] 929*2^1532068-1 is not prime. Res64: BC309C93D7A95BAD Time : 0.0 sec. user=mdettweiler [2018-11-23 12:41:14] 959*2^1532068-1 is not prime. Res64: FEF102214189ABB5 Time : 0.0 sec. user=mdettweiler [2018-11-23 12:41:14] 999*2^1532068-1 is not prime. Res64: 0F361BADE147EEC4 Time : 0.0 sec. user=mdettweiler [2018-11-23 12:41:14] 747*2^1532069-1 is not prime. Res64: 7B90277612351EDF Time : 0.0 sec. user=mdettweiler [2018-11-23 12:41:14] 811*2^1532069-1 is not prime. Res64: 1D3E5A2F921DC997 Time : 0.0 sec. user=mdettweiler [2018-11-23 12:42:13] 831*2^1532069-1 is not prime. Res64: 162DD40FDD0A7493 Time : 0.0 sec. user=mdettweiler [2018-11-23 12:42:13] 837*2^1532069-1 is not prime. Res64: 8609BA06D3AF3F33 Time : 0.0 sec. user=mdettweiler [2018-11-23 12:42:13] 855*2^1532069-1 is not prime. Res64: 59B7B8917243B02D Time : 0.0 sec. user=mdettweiler [2018-11-23 12:42:14] 867*2^1532069-1 is not prime. Res64: DD1B7ABC09B14ACB Time : 0.0 sec. user=mdettweiler [2018-11-23 12:42:14] 879*2^1532069-1 is not prime. Res64: B22E88BBCF329DD6 Time : 0.0 sec. user=mdettweiler [2018-11-23 13:13:39] 641*2^1532070-1 is not prime. Res64: 4E1268605C66CC69 Time : 0.0 sec. user=mdettweiler [2018-11-23 13:13:39] 677*2^1532070-1 is not prime. Res64: 7769F18B7AC45362 Time : 0.0 sec. user=mdettweiler [2018-11-23 13:13:39] 713*2^1532070-1 is not prime. Res64: D5C5DCEB3E22745E Time : 0.0 sec. user=mdettweiler [2018-11-23 13:13:40] 773*2^1532070-1 is not prime. Res64: 60B02F10E6ABD6BA Time : 0.0 sec. user=mdettweiler [2018-11-23 13:13:40] 867*2^1532070-1 is not prime. Res64: 1B13CC01850F5A32 Time : 0.0 sec. user=mdettweiler [2018-11-23 13:28:11] 885*2^1532070-1 is not prime. Res64: 42B04B6D3ABD205A Time : 0.0 sec. user=mdettweiler [2018-11-23 13:28:11] 893*2^1532070-1 is not prime. Res64: 81C624B8AD08C5E2 Time : 0.0 sec. user=mdettweiler [2018-11-23 13:28:12] 923*2^1532070-1 is not prime. Res64: E62DB9EBA4B0113E Time : 0.0 sec. user=mdettweiler [2018-11-23 13:28:12] 941*2^1532070-1 is not prime. Res64: 258C896C3D467FE8 Time : 0.0 sec. user=mdettweiler [2018-11-23 13:28:12] 609*2^1532071-1 is not prime. Res64: B11034176963A8D8 Time : 0.0 sec. user=mdettweiler [2018-11-23 13:34:23] 619*2^1532071-1 is not prime. Res64: E9C7C41D495F36B1 Time : 0.0 sec. user=mdettweiler [2018-11-23 13:34:23] 651*2^1532071-1 is not prime. Res64: 0F4D4D2484C5CBFB Time : 0.0 sec. user=mdettweiler [2018-11-23 13:34:24] 693*2^1532071-1 is not prime. Res64: DCC670950EB1F316 Time : 0.0 sec. user=mdettweiler [2018-11-23 13:34:24] 889*2^1532071-1 is not prime. Res64: E729250A5AAC77EA Time : 0.0 sec. user=mdettweiler [2018-11-23 13:34:24] 783*2^1532071-1 is not prime. Res64: 95FCB3F5702151ED Time : 0.0 sec. user=mdettweiler [2018-11-23 13:34:24] 939*2^1532071-1 is not prime. Res64: 0D985C3272FA09D6 Time : 0.0 sec. user=mdettweiler [2018-11-23 13:34:24] 793*2^1532071-1 is not prime. Res64: 1C6ECED5F49DF094 Time : 0.0 sec. user=mdettweiler [2018-11-23 13:34:24] 975*2^1532071-1 is not prime. Res64: D44F038FFD0A7F64 Time : 0.0 sec. user=mdettweiler [2018-11-23 13:34:25] 617*2^1532072-1 is not prime. Res64: CFD0610DFB136381 Time : 0.0 sec. user=mdettweiler [2018-11-23 13:34:25] 623*2^1532072-1 is not prime. Res64: 05901C4AD806D2A1 Time : 0.0 sec. user=mdettweiler [2018-11-23 14:06:45] 699*2^1532072-1 is not prime. Res64: 3C8070BACFF2341F Time : 0.0 sec. user=mdettweiler [2018-11-23 14:06:46] 725*2^1532072-1 is not prime. Res64: BB1408A87DBE3660 Time : 0.0 sec. user=mdettweiler [2018-11-23 14:06:47] 767*2^1532072-1 is not prime. Res64: A0FE4E58F4C3FFC2 Time : 0.0 sec. user=mdettweiler [2018-11-23 14:06:48] 875*2^1532072-1 is not prime. Res64: 0B709729A6C0C046 Time : 0.0 sec. user=mdettweiler [2018-11-23 14:06:48] 893*2^1532072-1 is not prime. Res64: A1E9E360E43B246C Time : 0.0 sec. user=mdettweiler [2018-11-23 14:20:43] 957*2^1532072-1 is not prime. Res64: B76CC4F1D8493051 Time : 0.0 sec. user=mdettweiler [2018-11-23 14:20:44] 735*2^1532073-1 is not prime. Res64: 07BE0D6845579961 Time : 0.0 sec. user=mdettweiler [2018-11-23 14:20:45] 819*2^1532073-1 is not prime. Res64: 6CBB2CCE4AFFE0BE Time : 0.0 sec. user=mdettweiler [2018-11-23 14:20:45] 861*2^1532073-1 is not prime. Res64: ABE4FCEBA1267211 Time : 0.0 sec. user=mdettweiler [2018-11-23 14:20:46] 921*2^1532073-1 is not prime. Res64: 2F64E942FA215CDC Time : 0.0 sec. user=mdettweiler [2018-11-23 14:27:01] 987*2^1532073-1 is not prime. Res64: 3364EE11CFFB26F0 Time : 0.0 sec. user=mdettweiler [2018-11-23 14:27:02] 999*2^1532073-1 is not prime. Res64: B95D933F838BF08F Time : 0.0 sec. user=mdettweiler [2018-11-23 14:27:02] 605*2^1532074-1 is not prime. Res64: 7214CB891F8A693F Time : 0.0 sec. user=mdettweiler [2018-11-23 14:27:02] 621*2^1532074-1 is not prime. Res64: E9D1FC970EE01B18 Time : 0.0 sec. user=mdettweiler [2018-11-23 14:27:02] 651*2^1532074-1 is not prime. Res64: 5DA993CB6F1C9CFD Time : 0.0 sec. user=mdettweiler [2018-11-23 14:27:14] 681*2^1532074-1 is not prime. Res64: 77666A3103072A5C Time : 0.0 sec. user=mdettweiler [2018-11-23 14:27:14] 755*2^1532074-1 is not prime. Res64: C88FE8C7E379CEF5 Time : 0.0 sec. user=mdettweiler [2018-11-23 14:27:15] 783*2^1532074-1 is not prime. Res64: C4959408AA8EAD29 Time : 0.0 sec. user=mdettweiler [2018-11-23 14:27:15] 833*2^1532074-1 is not prime. Res64: 410E1B0AED20966F Time : 0.0 sec. user=mdettweiler [2018-11-23 14:27:15] 781*2^1532075-1 is not prime. Res64: 4E3F533BFAD84FCE Time : 0.0 sec. user=mdettweiler [2018-11-23 15:02:25] 799*2^1532075-1 is not prime. Res64: DB10FAEE138C29BA Time : 0.0 sec. user=mdettweiler [2018-11-23 15:02:27] 823*2^1532075-1 is not prime. Res64: 3C2DB29DF19EF7BF Time : 0.0 sec. user=mdettweiler [2018-11-23 15:02:28] 825*2^1532075-1 is not prime. Res64: BB1922C52BA5F95A Time : 0.0 sec. user=mdettweiler [2018-11-23 15:02:29] 973*2^1532075-1 is not prime. Res64: 5CA0E396D205DDE5 Time : 0.0 sec. user=mdettweiler [2018-11-23 15:02:30] 765*2^1532076-1 is not prime. Res64: 915D79615616BE44 Time : 0.0 sec. user=mdettweiler [2018-11-23 15:17:56] 767*2^1532076-1 is not prime. Res64: 7D73ABDDA0EB8B63 Time : 0.0 sec. user=mdettweiler [2018-11-23 15:17:57] 783*2^1532076-1 is not prime. Res64: B3343B20BC6AC042 Time : 0.0 sec. user=mdettweiler [2018-11-23 15:17:57] 789*2^1532076-1 is not prime. Res64: BEDD7EDAB2543701 Time : 0.0 sec. user=mdettweiler [2018-11-23 15:17:57] 839*2^1532076-1 is not prime. Res64: C0B722C49D402955 Time : 0.0 sec. user=mdettweiler [2018-11-23 15:17:58] 873*2^1532076-1 is not prime. Res64: 8C8FCB119D863278 Time : 0.0 sec. user=mdettweiler [2018-11-23 15:24:50] 887*2^1532076-1 is not prime. Res64: 144F7837DBF2FAB5 Time : 0.0 sec. user=mdettweiler [2018-11-23 15:24:50] 975*2^1532076-1 is not prime. Res64: E42DC44810EDDFAE Time : 0.0 sec. user=mdettweiler [2018-11-23 15:24:50] 727*2^1532077-1 is not prime. Res64: 5CDC10D72BAD14C4 Time : 0.0 sec. user=mdettweiler [2018-11-23 15:24:51] 871*2^1532077-1 is not prime. Res64: EAF7B064A60BB45B Time : 0.0 sec. user=mdettweiler [2018-11-23 15:24:51] 945*2^1532077-1 is not prime. Res64: 7BABF619E380978D Time : 0.0 sec. user=mdettweiler [2018-11-23 15:24:52] 605*2^1532078-1 is not prime. Res64: 37F39A9AD3839795 Time : 0.0 sec. user=mdettweiler [2018-11-23 15:24:53] 825*2^1532078-1 is not prime. Res64: B9AEEA79C13C2D08 Time : 0.0 sec. user=mdettweiler [2018-11-23 15:24:54] 963*2^1532078-1 is not prime. Res64: 75C7C09E5F7619BA Time : 0.0 sec. user=mdettweiler [2018-11-23 15:24:54] 977*2^1532078-1 is not prime. Res64: 0FB9B11B7BD3C72F Time : 0.0 sec. user=mdettweiler [2018-11-23 15:24:55] 1001*2^1532078-1 is not prime. Res64: C1957B6DB4B03168 Time : 0.0 sec. user=mdettweiler [2018-11-23 15:59:11] 601*2^1532079-1 is not prime. Res64: 604B167D9D01A203 Time : 0.0 sec. user=mdettweiler [2018-11-23 15:59:12] 675*2^1532079-1 is not prime. Res64: 7FE191DEB1ED090B Time : 0.0 sec. user=mdettweiler [2018-11-23 15:59:12] 691*2^1532079-1 is not prime. Res64: 01150ABA83F95F91 Time : 0.0 sec. user=mdettweiler [2018-11-23 15:59:13] 793*2^1532079-1 is not prime. Res64: C3DA0F7730CD71E2 Time : 0.0 sec. user=mdettweiler [2018-11-23 15:59:13] 885*2^1532079-1 is not prime. Res64: F60D0BC1C6C877B1 Time : 0.0 sec. user=mdettweiler [2018-11-23 16:13:43] 909*2^1532079-1 is not prime. Res64: 3ED6A0B93519069B Time : 0.0 sec. user=mdettweiler [2018-11-23 16:13:44] 933*2^1532079-1 is not prime. Res64: 6453BA03FE2DC63E Time : 0.0 sec. user=mdettweiler [2018-11-23 16:13:44] 951*2^1532079-1 is not prime. Res64: 6EF3BDDFF550BCAD Time : 0.0 sec. user=mdettweiler [2018-11-23 16:13:44] 695*2^1532080-1 is not prime. Res64: BF28522234CA0286 Time : 0.0 sec. user=mdettweiler [2018-11-23 16:13:45] 747*2^1532080-1 is not prime. Res64: B7FF6F1D191C4C26 Time : 0.0 sec. user=mdettweiler [2018-11-23 16:19:49] 827*2^1532080-1 is not prime. Res64: 133CBBD8D4A4E5B9 Time : 0.0 sec. user=mdettweiler [2018-11-23 16:19:49] 983*2^1532080-1 is not prime. Res64: 6E8196F97B58FB64 Time : 0.0 sec. user=mdettweiler [2018-11-23 16:19:49] 615*2^1532081-1 is not prime. Res64: DFECEF632DDDE205 Time : 0.0 sec. user=mdettweiler [2018-11-23 16:19:50] 637*2^1532081-1 is not prime. Res64: AB2D865ABCE7A7D4 Time : 0.0 sec. user=mdettweiler [2018-11-23 16:19:50] 789*2^1532081-1 is not prime. Res64: 6D9538501EC25EAF Time : 0.0 sec. user=mdettweiler [2018-11-23 16:20:22] 855*2^1532081-1 is not prime. Res64: 7937D2D5BF954E5D Time : 0.0 sec. user=mdettweiler [2018-11-23 16:20:23] 949*2^1532081-1 is not prime. Res64: B6CC92334CA7D8FF Time : 0.0 sec. user=mdettweiler [2018-11-23 16:20:23] 633*2^1532082-1 is not prime. Res64: B5DCBF07F749418A Time : 0.0 sec. user=mdettweiler [2018-11-23 16:20:23] 711*2^1532082-1 is not prime. Res64: EDA47347CDFB98FA Time : 0.0 sec. user=mdettweiler [2018-11-23 16:20:23] 725*2^1532082-1 is not prime. Res64: F2EC593959B1B319 Time : 0.0 sec. user=mdettweiler [2018-11-23 16:59:25] 893*2^1532082-1 is not prime. Res64: 83DDE1FD88CF812E Time : 0.0 sec. user=mdettweiler [2018-11-23 16:59:26] 917*2^1532082-1 is not prime. Res64: 4857E1A72B0B0BBB Time : 0.0 sec. user=mdettweiler [2018-11-23 16:59:26] 895*2^1532083-1 is not prime. Res64: 396FD3404AA9B980 Time : 0.0 sec. user=mdettweiler [2018-11-23 16:59:26] 985*2^1532083-1 is not prime. Res64: EB9B85132F06256A Time : 0.0 sec. user=mdettweiler [2018-11-23 16:59:26] 707*2^1532084-1 is not prime. Res64: 257A069CB36A5325 Time : 0.0 sec. user=mdettweiler [2018-11-23 17:17:34] 765*2^1532085-1 is not prime. Res64: 20A2368127712F8F Time : 0.0 sec. user=mdettweiler [2018-11-23 17:17:35] 871*2^1532085-1 is not prime. Res64: 4B9DBB406C32B48C Time : 0.0 sec. user=mdettweiler [2018-11-23 17:17:35] 889*2^1532085-1 is not prime. Res64: B8A2110D1EC413AA Time : 0.0 sec. user=mdettweiler [2018-11-23 17:17:35] 919*2^1532085-1 is not prime. Res64: C3CD6BA0DA450803 Time : 0.0 sec. user=mdettweiler [2018-11-23 17:17:36] 937*2^1532085-1 is not prime. Res64: E442923C4D33B8CE Time : 0.0 sec. user=mdettweiler [2018-11-23 17:22:24] 785*2^1532084-1 is not prime. Res64: CAF4B692199AB819 Time : 0.0 sec. user=mdettweiler [2018-11-23 17:22:24] 869*2^1532084-1 is not prime. Res64: B7AB63FA476FAA73 Time : 0.0 sec. user=mdettweiler [2018-11-23 17:22:25] 935*2^1532084-1 is not prime. Res64: ACAAB122B40225BB Time : 0.0 sec. user=mdettweiler [2018-11-23 17:22:25] 669*2^1532085-1 is not prime. Res64: 1CAB726D5EE3C03C Time : 0.0 sec. user=mdettweiler [2018-11-23 17:22:25] 709*2^1532085-1 is not prime. Res64: E14E1CD1E40FAF5B Time : 0.0 sec. user=mdettweiler [2018-11-23 17:25:54] 949*2^1532085-1 is not prime. Res64: C2BEAFA372F9D2B7 Time : 0.0 sec. user=mdettweiler [2018-11-23 17:25:54] 969*2^1532085-1 is not prime. Res64: 12B8D487B509408A Time : 0.0 sec. user=mdettweiler [2018-11-23 17:25:54] 843*2^1532086-1 is not prime. Res64: 191C906D6DE44854 Time : 0.0 sec. user=mdettweiler [2018-11-23 17:25:54] 861*2^1532086-1 is not prime. Res64: DBDF05030D8AEB2E Time : 0.0 sec. user=mdettweiler [2018-11-23 17:25:55] 881*2^1532086-1 is not prime. Res64: 421BEE7F97F3AC4F Time : 0.0 sec. user=mdettweiler [2018-11-23 17:51:24] 891*2^1532086-1 is not prime. Res64: BC5DA9A2A87A1506 Time : 0.0 sec. user=mdettweiler [2018-11-23 17:51:25] 933*2^1532086-1 is not prime. Res64: 662B029AC8C29754 Time : 0.0 sec. user=mdettweiler [2018-11-23 17:51:26] 655*2^1532087-1 is not prime. Res64: 8CDF2C4A25A55231 Time : 0.0 sec. user=mdettweiler [2018-11-23 17:51:27] 669*2^1532087-1 is not prime. Res64: FFE012F6D34B0754 Time : 0.0 sec. user=mdettweiler [2018-11-23 17:51:28] 693*2^1532087-1 is not prime. Res64: 58F29FBD0CF0D56B Time : 0.0 sec. user=mdettweiler [2018-11-23 18:09:50] 865*2^1532087-1 is not prime. Res64: 0670802180EC1E66 Time : 0.0 sec. user=mdettweiler [2018-11-23 18:09:51] 883*2^1532087-1 is not prime. Res64: 3D0DE2893DBCD8FE Time : 0.0 sec. user=mdettweiler [2018-11-23 18:09:51] 901*2^1532087-1 is not prime. Res64: AC7CAB81C0A8F978 Time : 0.0 sec. user=mdettweiler [2018-11-23 18:09:51] 985*2^1532087-1 is not prime. Res64: E9AE324035272D3E Time : 0.0 sec. user=mdettweiler [2018-11-23 18:09:51] 765*2^1532088-1 is not prime. Res64: 29D59A3F76C3AB89 Time : 0.0 sec. user=mdettweiler [2018-11-23 18:14:34] 773*2^1532088-1 is not prime. Res64: 6DBE79C42DFFF850 Time : 0.0 sec. user=mdettweiler [2018-11-23 18:14:35] 975*2^1532088-1 is not prime. Res64: 1F58063C84FC090E Time : 0.0 sec. user=mdettweiler [2018-11-23 18:14:35] 661*2^1532089-1 is not prime. Res64: 7825EAE9ABB820D7 Time : 0.0 sec. user=mdettweiler [2018-11-23 18:14:35] 691*2^1532089-1 is not prime. Res64: 1251E72D68E28650 Time : 0.0 sec. user=mdettweiler [2018-11-23 18:14:35] 729*2^1532089-1 is not prime. Res64: 6E127B9B1DF8922C Time : 0.0 sec. user=mdettweiler [2018-11-23 18:18:03] 775*2^1532089-1 is not prime. Res64: 0F4790237A50DD38 Time : 0.0 sec. user=mdettweiler [2018-11-23 18:18:03] 885*2^1532089-1 is not prime. Res64: 3DD5B08952E051BD Time : 0.0 sec. user=mdettweiler [2018-11-23 18:18:04] 945*2^1532089-1 is not prime. Res64: 260D093AC2DA0847 Time : 0.0 sec. user=mdettweiler [2018-11-23 18:18:04] 951*2^1532089-1 is not prime. Res64: 58BECFC109E32DEE Time : 0.0 sec. user=mdettweiler [2018-11-23 18:18:04] 633*2^1532090-1 is not prime. Res64: 0A27439EDF9F12FD Time : 0.0 sec. user=mdettweiler [2018-11-23 18:48:06] 717*2^1532090-1 is not prime. Res64: 9354574A78B5CDD6 Time : 0.0 sec. user=mdettweiler [2018-11-23 18:48:07] 783*2^1532090-1 is not prime. Res64: D9C9C265290F0151 Time : 0.0 sec. user=mdettweiler [2018-11-23 18:48:07] 843*2^1532090-1 is not prime. Res64: 539BE02E35B5404C Time : 0.0 sec. user=mdettweiler [2018-11-23 18:48:08] 921*2^1532090-1 is not prime. Res64: 3CECE380A69E0A86 Time : 0.0 sec. user=mdettweiler [2018-11-23 18:48:08] 987*2^1532090-1 is not prime. Res64: 8B7376EFC56A5A12 Time : 0.0 sec. user=mdettweiler [2018-11-23 19:03:42] 651*2^1532091-1 is not prime. Res64: 184621752EF3285F Time : 0.0 sec. user=mdettweiler [2018-11-23 19:03:42] 735*2^1532091-1 is not prime. Res64: DBA63836F8ECB72F Time : 0.0 sec. user=mdettweiler [2018-11-23 19:03:43] 805*2^1532091-1 is not prime. Res64: C9B53493FE8A5246 Time : 0.0 sec. user=mdettweiler [2018-11-23 19:03:43] 849*2^1532091-1 is not prime. Res64: B90B8A28A15525EA Time : 0.0 sec. user=mdettweiler [2018-11-23 19:03:44] 603*2^1532092-1 is not prime. Res64: 060331975B736494 Time : 0.0 sec. user=mdettweiler [2018-11-23 19:07:28] 635*2^1532092-1 is not prime. Res64: 7373FD3A20E8A5B8 Time : 0.0 sec. user=mdettweiler [2018-11-23 19:07:28] 653*2^1532092-1 is not prime. Res64: 06645AFE88D4E0FD Time : 0.0 sec. user=mdettweiler [2018-11-23 19:07:28] 665*2^1532092-1 is not prime. Res64: 7368B9AFB2A3E59E Time : 0.0 sec. user=mdettweiler [2018-11-23 19:07:28] 675*2^1532092-1 is not prime. Res64: 397E873E958DC35C Time : 0.0 sec. user=mdettweiler [2018-11-23 19:07:29] 749*2^1532092-1 is not prime. Res64: 9FFFB8F1661C9AC5 Time : 0.0 sec. user=mdettweiler [2018-11-23 19:11:00] 843*2^1532092-1 is not prime. Res64: 7A676F8BB6903EA7 Time : 0.0 sec. user=mdettweiler [2018-11-23 19:11:00] 855*2^1532092-1 is not prime. Res64: 087A07576A6CB066 Time : 0.0 sec. user=mdettweiler [2018-11-23 19:11:00] 869*2^1532092-1 is not prime. Res64: D385D9984094AAA6 Time : 0.0 sec. user=mdettweiler [2018-11-23 19:11:01] 929*2^1532092-1 is not prime. Res64: DECA79C5FE628833 Time : 0.0 sec. user=mdettweiler [2018-11-23 19:11:01] 995*2^1532092-1 is not prime. Res64: 19501C88D2686D1E Time : 0.0 sec. user=mdettweiler [2018-11-23 19:40:45] 619*2^1532093-1 is not prime. Res64: 5AC36D508EC42103 Time : 0.0 sec. user=mdettweiler [2018-11-23 19:40:45] 837*2^1532093-1 is not prime. Res64: 5F95A9704B6840CB Time : 0.0 sec. user=mdettweiler [2018-11-23 19:40:45] 879*2^1532093-1 is not prime. Res64: B5D6C575614918EC Time : 0.0 sec. user=mdettweiler [2018-11-23 19:40:45] 951*2^1532093-1 is not prime. Res64: 01B60ABCED04A212 Time : 0.0 sec. user=mdettweiler [2018-11-23 19:40:46] 969*2^1532093-1 is not prime. Res64: 0FEDC2285E706BE5 Time : 0.0 sec. user=mdettweiler [2018-11-23 19:56:58] 635*2^1532094-1 is not prime. Res64: 026D9561FCAD2864 Time : 0.0 sec. user=mdettweiler [2018-11-23 19:56:58] 645*2^1532095-1 is not prime. Res64: 71018ECE4754BE3E Time : 0.0 sec. user=mdettweiler [2018-11-23 19:56:58] 679*2^1532095-1 is not prime. Res64: 36954BBBE6918BDD Time : 0.0 sec. user=mdettweiler [2018-11-23 19:56:59] 883*2^1532095-1 is not prime. Res64: 3D3DC1E39C75BFE4 Time : 0.0 sec. user=mdettweiler [2018-11-23 19:56:59] 973*2^1532095-1 is not prime. Res64: 08A1B46198A74025 Time : 0.0 sec. user=mdettweiler [2018-11-23 20:00:02] 999*2^1532095-1 is not prime. Res64: 71ADF7536CD0F314 Time : 0.0 sec. user=mdettweiler [2018-11-23 20:00:05] 635*2^1532096-1 is not prime. Res64: D12C47271DA02FC2 Time : 0.0 sec. user=mdettweiler [2018-11-23 20:00:05] 699*2^1532096-1 is not prime. Res64: 1418F27F8613DFA8 Time : 0.0 sec. user=mdettweiler [2018-11-23 20:00:05] 767*2^1532096-1 is not prime. Res64: A069078977CF81AE Time : 0.0 sec. user=mdettweiler [2018-11-23 20:00:05] 855*2^1532096-1 is not prime. Res64: D1BA9E7C60AFE61E Time : 0.0 sec. user=mdettweiler [2018-11-23 20:05:34] 857*2^1532096-1 is not prime. Res64: 8FFD54DDACC35B4D Time : 0.0 sec. user=mdettweiler [2018-11-23 20:05:35] 993*2^1532096-1 is not prime. Res64: 954B54A53E7D85C4 Time : 0.0 sec. user=mdettweiler [2018-11-23 20:05:36] 627*2^1532097-1 is not prime. Res64: ACF50DA541F257F3 Time : 0.0 sec. user=mdettweiler [2018-11-23 20:05:37] 651*2^1532097-1 is not prime. Res64: 169C7317EDC8446A Time : 0.0 sec. user=mdettweiler [2018-11-23 20:05:37] 871*2^1532097-1 is not prime. Res64: C63D541EB77B1F7A Time : 0.0 sec. user=mdettweiler [2018-11-23 20:34:25] 937*2^1532097-1 is not prime. Res64: 170D6EFE256C279A Time : 0.0 sec. user=mdettweiler [2018-11-23 20:34:25] 705*2^1532098-1 is not prime. Res64: 08E4CC886C9520A3 Time : 0.0 sec. user=mdettweiler [2018-11-23 20:34:25] 755*2^1532098-1 is not prime. Res64: 1A4901BC1D2E1FFF Time : 0.0 sec. user=mdettweiler [2018-11-23 20:34:26] 777*2^1532098-1 is not prime. Res64: FB20FB1FDDE7DA24 Time : 0.0 sec. user=mdettweiler [2018-11-23 20:34:26] 827*2^1532098-1 is not prime. Res64: 6679F01DC62470A6 Time : 0.0 sec. user=mdettweiler [2018-11-23 20:50:43] 861*2^1532098-1 is not prime. Res64: ED544071BAE7AA33 Time : 0.0 sec. user=mdettweiler [2018-11-23 20:50:43] 945*2^1532098-1 is not prime. Res64: B6F17BE7655C8948 Time : 0.0 sec. user=mdettweiler [2018-11-23 20:50:43] 957*2^1532098-1 is not prime. Res64: DE2D2D601B87A602 Time : 0.0 sec. user=mdettweiler [2018-11-23 20:50:44] 971*2^1532098-1 is not prime. Res64: E12870B1DC7E3F7B Time : 0.0 sec. user=mdettweiler [2018-11-23 20:50:44] 615*2^1532099-1 is not prime. Res64: 95F609B13F2D4650 Time : 0.0 sec. user=mdettweiler [2018-11-23 20:55:27] 643*2^1532099-1 is not prime. Res64: EB2EE0B23F2ACAA7 Time : 0.0 sec. user=mdettweiler [2018-11-23 20:55:27] 645*2^1532099-1 is not prime. Res64: 1357414773500F5A Time : 0.0 sec. user=mdettweiler [2018-11-23 20:55:27] 663*2^1532099-1 is not prime. Res64: 7CB6352EB307190C Time : 0.0 sec. user=mdettweiler [2018-11-23 20:55:28] 685*2^1532099-1 is not prime. Res64: 28AC1BB4131EA3A4 Time : 0.0 sec. user=mdettweiler [2018-11-23 20:55:28] 741*2^1532099-1 is not prime. Res64: C790E10583206B23 Time : 0.0 sec. user=mdettweiler [2018-11-23 21:01:25] 799*2^1532099-1 is not prime. Res64: FFEC6A29FBBFEFA8 Time : 0.0 sec. user=mdettweiler [2018-11-23 21:01:26] 819*2^1532099-1 is not prime. Res64: 47B96924255DDDBA Time : 0.0 sec. user=mdettweiler [2018-11-23 21:01:28] 909*2^1532099-1 is not prime. Res64: 964BCE88A650C510 Time : 0.0 sec. user=mdettweiler [2018-11-23 21:01:29] 633*2^1532100-1 is not prime. Res64: E5EA8F6F5D25642D Time : 0.0 sec. user=mdettweiler [2018-11-23 21:01:31] 669*2^1532100-1 is not prime. Res64: A7E1B00EDA82B003 Time : 0.0 sec. user=mdettweiler [2018-11-23 21:27:15] 753*2^1532100-1 is not prime. Res64: FCB8F92A68CD5B4E Time : 0.0 sec. user=mdettweiler [2018-11-23 21:27:15] 923*2^1532100-1 is not prime. Res64: 565B23F40C750769 Time : 0.0 sec. user=mdettweiler [2018-11-23 21:27:16] 639*2^1532101-1 is not prime. Res64: ED42C75567AA5BAE Time : 0.0 sec. user=mdettweiler [2018-11-23 21:27:17] 775*2^1532101-1 is not prime. Res64: 3113D0D2BE91AADB Time : 0.0 sec. user=mdettweiler [2018-11-23 21:27:18] 805*2^1532101-1 is not prime. Res64: C4243253DE31060E Time : 0.0 sec. user=mdettweiler [2018-11-23 21:43:50] 855*2^1532101-1 is not prime. Res64: D57BDFA8A4FDB641 Time : 0.0 sec. user=mdettweiler [2018-11-23 21:43:51] 877*2^1532101-1 is not prime. Res64: E71AC9C9AFFBDD85 Time : 0.0 sec. user=mdettweiler [2018-11-23 21:43:51] 951*2^1532101-1 is not prime. Res64: 1E20756997E025A9 Time : 0.0 sec. user=mdettweiler [2018-11-23 21:43:51] 975*2^1532101-1 is not prime. Res64: 03B6B8F200E16676 Time : 0.0 sec. user=mdettweiler [2018-11-23 21:43:52] 675*2^1532102-1 is not prime. Res64: EA4205CE5263C26A Time : 0.0 sec. user=mdettweiler [2018-11-23 21:48:57] 843*2^1532102-1 is not prime. Res64: A676B788F528CB02 Time : 0.0 sec. user=mdettweiler [2018-11-23 21:48:57] 885*2^1532102-1 is not prime. Res64: E2B96180D6FF96D4 Time : 0.0 sec. user=mdettweiler [2018-11-23 21:48:58] 649*2^1532103-1 is not prime. Res64: 4D905B3AA54212A3 Time : 0.0 sec. user=mdettweiler [2018-11-23 21:48:58] 685*2^1532103-1 is not prime. Res64: 33959FB9112069BB Time : 0.0 sec. user=mdettweiler [2018-11-23 21:48:58] 735*2^1532103-1 is not prime. Res64: 6FCE2664E032D102 Time : 0.0 sec. user=mdettweiler [2018-11-23 21:54:49] 763*2^1532103-1 is not prime. Res64: DC65CC3A541EA935 Time : 0.0 sec. user=mdettweiler [2018-11-23 21:54:49] 781*2^1532103-1 is not prime. Res64: B3A0F9CAD21B9E88 Time : 0.0 sec. user=mdettweiler [2018-11-23 21:54:49] 795*2^1532103-1 is not prime. Res64: 1DE1A4205ACA5AA7 Time : 0.0 sec. user=mdettweiler [2018-11-23 21:54:50] 859*2^1532103-1 is not prime. Res64: 09D7A1F285662706 Time : 0.0 sec. user=mdettweiler [2018-11-23 21:54:50] 871*2^1532103-1 is not prime. Res64: CBE7BDEFC2E2FEC5 Time : 0.0 sec. user=mdettweiler [2018-11-23 22:21:36] 921*2^1532103-1 is not prime. Res64: C30021186042EC01 Time : 0.0 sec. user=mdettweiler [2018-11-23 22:21:37] 961*2^1532103-1 is not prime. Res64: 92B03E703EB7D4F3 Time : 0.0 sec. user=mdettweiler [2018-11-23 22:21:37] 665*2^1532104-1 is not prime. Res64: 8FF46072C4E9C1AD Time : 0.0 sec. user=mdettweiler [2018-11-23 22:21:37] 819*2^1532104-1 is not prime. Res64: 03EAD86A661CE41A Time : 0.0 sec. user=mdettweiler [2018-11-23 22:21:38] 993*2^1532104-1 is not prime. Res64: F24F5EF506F332C1 Time : 0.0 sec. user=mdettweiler [2018-11-23 22:37:07] 691*2^1532105-1 is not prime. Res64: 0ED4941B16BF8B13 Time : 0.0 sec. user=mdettweiler [2018-11-23 22:37:07] 721*2^1532105-1 is not prime. Res64: E680C4903E994A57 Time : 0.0 sec. user=mdettweiler [2018-11-23 22:37:07] 729*2^1532105-1 is not prime. Res64: AED65B34CFC9FC37 Time : 0.0 sec. user=mdettweiler [2018-11-23 22:37:07] 799*2^1532105-1 is not prime. Res64: A21B26DA50BA1B96 Time : 0.0 sec. user=mdettweiler [2018-11-23 22:37:08] 705*2^1532106-1 is not prime. Res64: 8C83ACD370A99967 Time : 0.0 sec. user=mdettweiler [2018-11-23 22:42:39] 711*2^1532106-1 is not prime. Res64: 19AB2CC839A74E14 Time : 0.0 sec. user=mdettweiler [2018-11-23 22:42:39] 725*2^1532106-1 is not prime. Res64: ED04DF215E985108 Time : 0.0 sec. user=mdettweiler [2018-11-23 22:42:40] 821*2^1532106-1 is not prime. Res64: 5E283572167957E9 Time : 0.0 sec. user=mdettweiler [2018-11-23 22:42:40] 881*2^1532106-1 is not prime. Res64: ECB33DFDB4C01F8A Time : 0.0 sec. user=mdettweiler [2018-11-23 22:42:40] 971*2^1532106-1 is not prime. Res64: C9CEEEBF159FC108 Time : 0.0 sec. user=mdettweiler [2018-11-23 22:48:34] 601*2^1532107-1 is not prime. Res64: 98AC4B73D5103B6C Time : 0.0 sec. user=mdettweiler [2018-11-23 22:48:34] 603*2^1532107-1 is not prime. Res64: 8A283D10E08DB748 Time : 0.0 sec. user=mdettweiler [2018-11-23 22:48:34] 703*2^1532107-1 is not prime. Res64: 0717DCE6871D431C Time : 0.0 sec. user=mdettweiler [2018-11-23 22:48:34] 769*2^1532107-1 is not prime. Res64: BD5ABE2B6D451C17 Time : 0.0 sec. user=mdettweiler [2018-11-23 22:48:35] 819*2^1532107-1 is not prime. Res64: 31FE967756741DF6 Time : 0.0 sec. user=mdettweiler [2018-11-23 23:14:58] 829*2^1532107-1 is not prime. Res64: 5832A4AB5C433F7A Time : 0.0 sec. user=mdettweiler [2018-11-23 23:14:59] 925*2^1532107-1 is not prime. Res64: 20EBD767F25BD935 Time : 0.0 sec. user=mdettweiler [2018-11-23 23:14:59] 945*2^1532107-1 is not prime. Res64: 9B3249BDE83B58C9 Time : 0.0 sec. user=mdettweiler [2018-11-23 23:14:59] 951*2^1532107-1 is not prime. Res64: EDCA6522F08CA244 Time : 0.0 sec. user=mdettweiler [2018-11-23 23:15:00] 635*2^1532108-1 is not prime. Res64: C434D31A0EF0A121 Time : 0.0 sec. user=mdettweiler [2018-11-23 23:31:07] 743*2^1532108-1 is not prime. Res64: 8CB3FC355C41A74A Time : 0.0 sec. user=mdettweiler [2018-11-23 23:31:07] 813*2^1532108-1 is not prime. Res64: D08CFBAFA9290F36 Time : 0.0 sec. user=mdettweiler [2018-11-23 23:31:07] 885*2^1532108-1 is not prime. Res64: 5A33D863C45248B9 Time : 0.0 sec. user=mdettweiler [2018-11-23 23:31:08] 927*2^1532108-1 is not prime. Res64: 6DCA695C5F1D7A3F Time : 0.0 sec. user=mdettweiler [2018-11-23 23:31:08] 987*2^1532108-1 is not prime. Res64: 65BB3182C7BF8FFB Time : 0.0 sec. user=mdettweiler [2018-11-23 23:41:31] 999*2^1532108-1 is not prime. Res64: EC1C99322F2ED98A Time : 0.0 sec. user=mdettweiler [2018-11-23 23:41:31] 679*2^1532109-1 is not prime. Res64: 3AA5504BCD8B43DD Time : 0.0 sec. user=mdettweiler [2018-11-23 23:41:32] 709*2^1532109-1 is not prime. Res64: E23780D44CF67FDB Time : 0.0 sec. user=mdettweiler [2018-11-23 23:41:32] 765*2^1532109-1 is not prime. Res64: 7710010B905A3FAB Time : 0.0 sec. user=mdettweiler [2018-11-23 23:41:32] 889*2^1532109-1 is not prime. Res64: 43D3C2F57063C3E8 Time : 0.0 sec. user=mdettweiler [2018-11-23 23:42:38] 961*2^1532109-1 is not prime. Res64: 264C6A98F434C57A Time : 0.0 sec. user=mdettweiler [2018-11-23 23:42:38] 987*2^1532109-1 is not prime. Res64: 793177893F581F8E Time : 0.0 sec. user=mdettweiler [2018-11-23 23:42:39] 603*2^1532110-1 is not prime. Res64: A4E53C8A04B80B71 Time : 0.0 sec. user=mdettweiler [2018-11-23 23:42:39] 777*2^1532110-1 is not prime. Res64: E8BCE9FC1B53CACA Time : 0.0 sec. user=mdettweiler [2018-11-23 23:42:39] 831*2^1532110-1 is not prime. Res64: 45A0A34FF0D27625 Time : 0.0 sec.