user=mdettweiler [2018-11-11 00:19:16] 895*2^1530975-1 is not prime. Res64: DB8792D70C427FB0 Time : 0.0 sec. user=mdettweiler [2018-11-11 00:19:16] 979*2^1530975-1 is not prime. Res64: 394A1BAD325E7157 Time : 0.0 sec. user=mdettweiler [2018-11-11 00:19:17] 743*2^1530976-1 is not prime. Res64: 7C9BB3C2577A156B Time : 0.0 sec. user=mdettweiler [2018-11-11 00:19:17] 759*2^1530976-1 is not prime. Res64: 9B1E7B06B043F33A Time : 0.0 sec. user=mdettweiler [2018-11-11 00:19:17] 825*2^1530976-1 is not prime. Res64: 8DC25ADE856448BE Time : 0.0 sec. user=mdettweiler [2018-11-11 00:26:11] 855*2^1530976-1 is not prime. Res64: E7A4E7A7D48A6ED6 Time : 0.0 sec. user=mdettweiler [2018-11-11 00:26:11] 875*2^1530976-1 is not prime. Res64: 8BCB043BBAB836AA Time : 0.0 sec. user=mdettweiler [2018-11-11 00:26:12] 905*2^1530976-1 is not prime. Res64: 6407175CF29464E2 Time : 0.0 sec. user=mdettweiler [2018-11-11 00:26:12] 983*2^1530976-1 is not prime. Res64: A3D88A0C79CF0777 Time : 0.0 sec. user=mdettweiler [2018-11-11 00:26:12] 729*2^1530977-1 is not prime. Res64: 7D5C3C7A5F6CE673 Time : 0.0 sec. user=mdettweiler [2018-11-11 00:37:23] 769*2^1530977-1 is not prime. Res64: D0DAD0F81CB3AF1D Time : 0.0 sec. user=mdettweiler [2018-11-11 00:37:24] 781*2^1530977-1 is not prime. Res64: B0A2F93CBB4DDCC8 Time : 0.0 sec. user=mdettweiler [2018-11-11 00:37:24] 841*2^1530977-1 is not prime. Res64: 3D8E1CD487EB83F5 Time : 0.0 sec. user=mdettweiler [2018-11-11 00:37:24] 867*2^1530977-1 is not prime. Res64: E52D19F086E42BF8 Time : 0.0 sec. user=mdettweiler [2018-11-11 00:37:24] 879*2^1530977-1 is not prime. Res64: 3D03417B88C31575 Time : 0.0 sec. user=mdettweiler [2018-11-11 00:51:05] 885*2^1530977-1 is not prime. Res64: D5ACFF00E2898DFB Time : 0.0 sec. user=mdettweiler [2018-11-11 00:51:05] 909*2^1530977-1 is not prime. Res64: B544D174DBB67237 Time : 0.0 sec. user=mdettweiler [2018-11-11 00:51:05] 925*2^1530977-1 is not prime. Res64: 3FC4328B23990C1D Time : 0.0 sec. user=mdettweiler [2018-11-11 00:51:05] 931*2^1530977-1 is not prime. Res64: 310334B5B1A27CAD Time : 0.0 sec. user=mdettweiler [2018-11-11 00:51:06] 777*2^1530978-1 is not prime. Res64: 9784CF842EE45B86 Time : 0.0 sec. user=mdettweiler [2018-11-11 01:12:07] 797*2^1530978-1 is not prime. Res64: 19319F27B27760EC Time : 0.0 sec. user=mdettweiler [2018-11-11 01:12:07] 803*2^1530978-1 is not prime. Res64: 1CF030874245BAA1 Time : 0.0 sec. user=mdettweiler [2018-11-11 01:12:07] 915*2^1530978-1 is not prime. Res64: 98CAEE81C4A0E706 Time : 0.0 sec. user=mdettweiler [2018-11-11 01:12:08] 927*2^1530978-1 is not prime. Res64: F86CA80F5D420FAE Time : 0.0 sec. user=mdettweiler [2018-11-11 01:12:08] 971*2^1530978-1 is not prime. Res64: 79A076BF9BAC3480 Time : 0.0 sec. user=mdettweiler [2018-11-11 01:20:10] 789*2^1530979-1 is not prime. Res64: 8B7193FA44E215F4 Time : 0.0 sec. user=mdettweiler [2018-11-11 01:20:11] 913*2^1530979-1 is not prime. Res64: A16BBA6E695D1082 Time : 0.0 sec. user=mdettweiler [2018-11-11 01:20:11] 939*2^1530979-1 is not prime. Res64: BB82EE8F14AD4594 Time : 0.0 sec. user=mdettweiler [2018-11-11 01:20:11] 975*2^1530979-1 is not prime. Res64: 147A8B6A146062D1 Time : 0.0 sec. user=mdettweiler [2018-11-11 01:20:12] 633*2^1530980-1 is not prime. Res64: DAB7104BCC0A1729 Time : 0.0 sec. user=mdettweiler [2018-11-11 01:31:34] 647*2^1530980-1 is not prime. Res64: 9E2128B7680DE18B Time : 0.0 sec. user=mdettweiler [2018-11-11 01:31:36] 677*2^1530980-1 is not prime. Res64: 8140D286A14C770E Time : 0.0 sec. user=mdettweiler [2018-11-11 01:31:37] 689*2^1530980-1 is not prime. Res64: B3F21DBDA1E53E56 Time : 0.0 sec. user=mdettweiler [2018-11-11 01:31:39] 719*2^1530980-1 is not prime. Res64: ECC0515F5C1A36D6 Time : 0.0 sec. user=mdettweiler [2018-11-11 01:31:41] 735*2^1530980-1 is not prime. Res64: CA5B832E017174AD Time : 0.0 sec. user=mdettweiler [2018-11-11 01:44:52] 753*2^1530980-1 is not prime. Res64: B6BAFFF1068B1203 Time : 0.0 sec. user=mdettweiler [2018-11-11 01:44:53] 923*2^1530980-1 is not prime. Res64: 164F5601E4B8DE49 Time : 0.0 sec. user=mdettweiler [2018-11-11 01:44:54] 615*2^1530981-1 is not prime. Res64: F9E8500B69A559FD Time : 0.0 sec. user=mdettweiler [2018-11-11 01:44:54] 747*2^1530981-1 is not prime. Res64: 4003BD0D04E4454D Time : 0.0 sec. user=mdettweiler [2018-11-11 01:44:54] 859*2^1530981-1 is not prime. Res64: 9FC6C7C5F6811DD7 Time : 0.0 sec. user=mdettweiler [2018-11-11 02:05:59] 885*2^1530981-1 is not prime. Res64: 328C21C35E19BB8E Time : 0.0 sec. user=mdettweiler [2018-11-11 02:06:00] 945*2^1530981-1 is not prime. Res64: 401084C3E7A8C209 Time : 0.0 sec. user=mdettweiler [2018-11-11 02:06:00] 611*2^1530982-1 is not prime. Res64: 0D34BE4ADA1B02E3 Time : 0.0 sec. user=mdettweiler [2018-11-11 02:06:01] 623*2^1530982-1 is not prime. Res64: E0EBF322A96A7452 Time : 0.0 sec. user=mdettweiler [2018-11-11 02:06:02] 645*2^1530982-1 is not prime. Res64: CF6420F697D43C85 Time : 0.0 sec. user=mdettweiler [2018-11-11 02:12:36] 665*2^1530982-1 is not prime. Res64: 3E6B9D4C9E71DA3C Time : 0.0 sec. user=mdettweiler [2018-11-11 02:12:37] 737*2^1530982-1 is not prime. Res64: A0EC2C9E4A5A14C3 Time : 0.0 sec. user=mdettweiler [2018-11-11 02:12:38] 747*2^1530982-1 is not prime. Res64: 14C66CB411E88E1C Time : 0.0 sec. user=mdettweiler [2018-11-11 02:12:40] 755*2^1530982-1 is not prime. Res64: 7F01A8B678C8A88E Time : 0.0 sec. user=mdettweiler [2018-11-11 02:12:41] 777*2^1530982-1 is not prime. Res64: CFC311166176C321 Time : 0.0 sec. user=mdettweiler [2018-11-11 02:24:52] 831*2^1530982-1 is not prime. Res64: DB57872D992F35E7 Time : 0.0 sec. user=mdettweiler [2018-11-11 02:24:53] 609*2^1530983-1 is not prime. Res64: 98E17FE8B934C6F9 Time : 0.0 sec. user=mdettweiler [2018-11-11 02:24:53] 621*2^1530983-1 is not prime. Res64: 6F9F9F152A500E12 Time : 0.0 sec. user=mdettweiler [2018-11-11 02:24:53] 675*2^1530983-1 is not prime. Res64: A1A33F2531A65BB5 Time : 0.0 sec. user=mdettweiler [2018-11-11 02:24:53] 735*2^1530983-1 is not prime. Res64: 452F39F537D083C6 Time : 0.0 sec. user=mdettweiler [2018-11-11 02:37:31] 789*2^1530983-1 is not prime. Res64: 072EF46B20061D00 Time : 0.0 sec. user=mdettweiler [2018-11-11 02:37:31] 811*2^1530983-1 is not prime. Res64: 24CCF8E119C48B12 Time : 0.0 sec. user=mdettweiler [2018-11-11 02:37:31] 825*2^1530983-1 is not prime. Res64: C95910AF44B26117 Time : 0.0 sec. user=mdettweiler [2018-11-11 02:37:32] 889*2^1530983-1 is not prime. Res64: BA03127E9F07AF01 Time : 0.0 sec. user=mdettweiler [2018-11-11 02:37:32] 939*2^1530983-1 is not prime. Res64: 72B0B4A928ACD58B Time : 0.0 sec. user=mdettweiler [2018-11-11 02:57:53] 955*2^1530983-1 is not prime. Res64: ABC8BEB4E7FC46F5 Time : 0.0 sec. user=mdettweiler [2018-11-11 02:57:54] 981*2^1530983-1 is not prime. Res64: E41BCB32BEE46F58 Time : 0.0 sec. user=mdettweiler [2018-11-11 02:57:54] 985*2^1530983-1 is not prime. Res64: F4C43A7AAC79C060 Time : 0.0 sec. user=mdettweiler [2018-11-11 02:57:54] 999*2^1530983-1 is not prime. Res64: F322AD5AA6EB364E Time : 0.0 sec. user=mdettweiler [2018-11-11 02:57:55] 609*2^1530984-1 is not prime. Res64: 71E3059C02A6C0EF Time : 0.0 sec. user=mdettweiler [2018-11-11 03:04:13] 663*2^1530984-1 is not prime. Res64: 1A54F7B7BC677A32 Time : 0.0 sec. user=mdettweiler [2018-11-11 03:04:14] 725*2^1530984-1 is not prime. Res64: 8624076B76ACB697 Time : 0.0 sec. user=mdettweiler [2018-11-11 03:04:15] 759*2^1530984-1 is not prime. Res64: FEE247C5BDA1D536 Time : 0.0 sec. user=mdettweiler [2018-11-11 03:04:16] 789*2^1530984-1 is not prime. Res64: 5CD14544C6AC9269 Time : 0.0 sec. user=mdettweiler [2018-11-11 03:04:18] 893*2^1530984-1 is not prime. Res64: CC4AA25BA3D52B37 Time : 0.0 sec. user=mdettweiler [2018-11-11 03:16:02] 705*2^1530985-1 is not prime. Res64: 026C2715EF18DF73 Time : 0.0 sec. user=mdettweiler [2018-11-11 03:16:02] 729*2^1530985-1 is not prime. Res64: F564D3A68D802059 Time : 0.0 sec. user=mdettweiler [2018-11-11 03:16:03] 765*2^1530985-1 is not prime. Res64: 98F0B26B7FC740B8 Time : 0.0 sec. user=mdettweiler [2018-11-11 03:16:03] 771*2^1530985-1 is not prime. Res64: 4BC9B5C0D147928A Time : 0.0 sec. user=mdettweiler [2018-11-11 03:16:04] 799*2^1530985-1 is not prime. Res64: 41EDBA00BC7454A8 Time : 0.0 sec. user=mdettweiler [2018-11-11 03:28:33] 867*2^1530985-1 is not prime. Res64: 5FA8BEC76034F039 Time : 0.0 sec. user=mdettweiler [2018-11-11 03:28:34] 871*2^1530985-1 is not prime. Res64: 186DFD84EA8F3587 Time : 0.0 sec. user=mdettweiler [2018-11-11 03:28:35] 979*2^1530985-1 is not prime. Res64: BABAA2BEBAFB7D41 Time : 0.0 sec. user=mdettweiler [2018-11-11 03:28:36] 987*2^1530985-1 is not prime. Res64: B66EFC0D163BBD39 Time : 0.0 sec. user=mdettweiler [2018-11-11 03:28:37] 735*2^1530986-1 is not prime. Res64: FB8BDE40A1A7A5A4 Time : 0.0 sec. user=mdettweiler [2018-11-11 03:49:07] 813*2^1530986-1 is not prime. Res64: 79EC5D8E7959B3CA Time : 0.0 sec. user=mdettweiler [2018-11-11 03:49:08] 923*2^1530986-1 is not prime. Res64: 795F7C25DB306A40 Time : 0.0 sec. user=mdettweiler [2018-11-11 03:49:09] 619*2^1530987-1 is not prime. Res64: E1463384C2633C0D Time : 0.0 sec. user=mdettweiler [2018-11-11 03:49:10] 669*2^1530987-1 is not prime. Res64: 03886E909F672877 Time : 0.0 sec. user=mdettweiler [2018-11-11 03:49:10] 835*2^1530987-1 is not prime. Res64: 94869A6E771A2711 Time : 0.0 sec. user=mdettweiler [2018-11-11 03:55:40] 859*2^1530987-1 is not prime. Res64: EC01D1CE3BA50DA4 Time : 0.0 sec. user=mdettweiler [2018-11-11 03:55:41] 975*2^1530987-1 is not prime. Res64: 72810B68E161F001 Time : 0.0 sec. user=mdettweiler [2018-11-11 03:55:41] 677*2^1530988-1 is not prime. Res64: A8E139733F9CB426 Time : 0.0 sec. user=mdettweiler [2018-11-11 03:55:42] 689*2^1530988-1 is not prime. Res64: F4430819D8AFB93A Time : 0.0 sec. user=mdettweiler [2018-11-11 03:55:42] 825*2^1530988-1 is not prime. Res64: A8121156D544C6CF Time : 0.0 sec. user=mdettweiler [2018-11-11 04:07:06] 827*2^1530988-1 is not prime. Res64: 1D8D70E74EB6F1D5 Time : 0.0 sec. user=mdettweiler [2018-11-11 04:07:10] 843*2^1530988-1 is not prime. Res64: 033F00751337935B Time : 0.0 sec. user=mdettweiler [2018-11-11 04:07:12] 855*2^1530988-1 is not prime. Res64: 700DCAF2FAD75AD2 Time : 0.0 sec. user=mdettweiler [2018-11-11 04:07:13] 923*2^1530988-1 is not prime. Res64: FFEE989504B5E8D8 Time : 0.0 sec. user=mdettweiler [2018-11-11 04:07:16] 947*2^1530988-1 is not prime. Res64: 216AC71005D792BC Time : 0.0 sec. user=mdettweiler [2018-11-11 04:20:57] 999*2^1530988-1 is not prime. Res64: 211139156D85D064 Time : 0.0 sec. user=mdettweiler [2018-11-11 04:20:58] 685*2^1530989-1 is not prime. Res64: 7E008176BF049D6A Time : 0.0 sec. user=mdettweiler [2018-11-11 04:20:59] 729*2^1530989-1 is not prime. Res64: 767BFDCDAB45555C Time : 0.0 sec. user=mdettweiler [2018-11-11 04:20:59] 831*2^1530989-1 is not prime. Res64: 098E864A98B8AE55 Time : 0.0 sec. user=mdettweiler [2018-11-11 04:20:59] 861*2^1530989-1 is not prime. Res64: BE9B9C62D6FBBE95 Time : 0.0 sec. user=mdettweiler [2018-11-11 04:44:28] 969*2^1530989-1 is not prime. Res64: FEEF9F606315DF7A Time : 0.0 sec. user=mdettweiler [2018-11-11 04:44:29] 677*2^1530990-1 is not prime. Res64: 0CF3C4EA884D9674 Time : 0.0 sec. user=mdettweiler [2018-11-11 04:44:29] 693*2^1530990-1 is not prime. Res64: AF78495788315F2D Time : 0.0 sec. user=mdettweiler [2018-11-11 04:44:30] 713*2^1530990-1 is not prime. Res64: 649540ACD8D7CA52 Time : 0.0 sec. user=mdettweiler [2018-11-11 04:44:30] 861*2^1530990-1 is not prime. Res64: 92DD1BD99B6766FB Time : 0.0 sec. user=mdettweiler [2018-11-11 04:52:33] 873*2^1530990-1 is not prime. Res64: CD1312E8C17AFC28 Time : 0.0 sec. user=mdettweiler [2018-11-11 04:52:35] 927*2^1530990-1 is not prime. Res64: E66FAC752D01080D Time : 0.0 sec. user=mdettweiler [2018-11-11 04:52:39] 861*2^1530991-1 is not prime. Res64: BADA41DA1D01D648 Time : 0.0 sec. user=mdettweiler [2018-11-11 04:52:40] 895*2^1530991-1 is not prime. Res64: 43D55ECF900C77AB Time : 0.0 sec. user=mdettweiler [2018-11-11 04:52:40] 951*2^1530991-1 is not prime. Res64: 67F9B26235DB60AE Time : 0.0 sec. user=mdettweiler [2018-11-11 05:02:48] 755*2^1530992-1 is not prime. Res64: FAC4B850A8A77AA5 Time : 0.0 sec. user=mdettweiler [2018-11-11 05:02:49] 855*2^1530992-1 is not prime. Res64: B9D5E392D3441B43 Time : 0.0 sec. user=mdettweiler [2018-11-11 05:02:51] 923*2^1530992-1 is not prime. Res64: 76D6DA2C52FB78D9 Time : 0.0 sec. user=mdettweiler [2018-11-11 05:02:53] 769*2^1530993-1 is not prime. Res64: CFA3F258C9C3001C Time : 0.0 sec. user=mdettweiler [2018-11-11 05:02:55] 781*2^1530993-1 is not prime. Res64: 9AB763EB163EF975 Time : 0.0 sec. user=mdettweiler [2018-11-11 05:17:47] 795*2^1530993-1 is not prime. Res64: 6820523F6CE3369F Time : 0.0 sec. user=mdettweiler [2018-11-11 05:17:47] 819*2^1530993-1 is not prime. Res64: 3E8E5B4A26AA987E Time : 0.0 sec. user=mdettweiler [2018-11-11 05:17:48] 891*2^1530993-1 is not prime. Res64: 38AC4BE2A119DB78 Time : 0.0 sec. user=mdettweiler [2018-11-11 05:17:49] 937*2^1530993-1 is not prime. Res64: 9F4B44E411C98657 Time : 0.0 sec. user=mdettweiler [2018-11-11 05:17:49] 955*2^1530993-1 is not prime. Res64: AE582AD8E8398975 Time : 0.0 sec. user=mdettweiler [2018-11-11 05:37:11] 903*2^1530994-1 is not prime. Res64: 3A0E5ED1C91F4179 Time : 0.0 sec. user=mdettweiler [2018-11-11 05:37:11] 609*2^1530995-1 is not prime. Res64: CAE6B0AA66FEA753 Time : 0.0 sec. user=mdettweiler [2018-11-11 05:37:12] 861*2^1530995-1 is not prime. Res64: 7015498320ED5953 Time : 0.0 sec. user=mdettweiler [2018-11-11 05:37:12] 895*2^1530995-1 is not prime. Res64: 82F335F351A6D693 Time : 0.0 sec. user=mdettweiler [2018-11-11 05:37:12] 913*2^1530995-1 is not prime. Res64: 71EA8588CAAF41B5 Time : 0.0 sec. user=mdettweiler [2018-11-11 05:43:57] 921*2^1530995-1 is not prime. Res64: FD7459E8EB801E0F Time : 0.0 sec. user=mdettweiler [2018-11-11 05:43:57] 981*2^1530995-1 is not prime. Res64: 5FCF06534D21C4EA Time : 0.0 sec. user=mdettweiler [2018-11-11 05:43:58] 845*2^1530996-1 is not prime. Res64: CB6B45F106FA0507 Time : 0.0 sec. user=mdettweiler [2018-11-11 05:43:58] 857*2^1530996-1 is not prime. Res64: F4C4EE23F6D813F5 Time : 0.0 sec. user=mdettweiler [2018-11-11 05:43:59] 887*2^1530996-1 is not prime. Res64: 38525DB5551B84F0 Time : 0.0 sec. user=mdettweiler [2018-11-11 05:54:25] 899*2^1530996-1 is not prime. Res64: 7CECC141ACA292A7 Time : 0.0 sec. user=mdettweiler [2018-11-11 05:54:25] 969*2^1530996-1 is not prime. Res64: 74F123ADA164C417 Time : 0.0 sec. user=mdettweiler [2018-11-11 05:54:26] 615*2^1530997-1 is not prime. Res64: 2A78241AC687B3FF Time : 0.0 sec. user=mdettweiler [2018-11-11 05:54:26] 741*2^1530997-1 is not prime. Res64: 5AD6733A85FB4128 Time : 0.0 sec. user=mdettweiler [2018-11-11 05:54:26] 817*2^1530997-1 is not prime. Res64: 0645695EF8837A18 Time : 0.0 sec. user=mdettweiler [2018-11-11 06:09:00] 861*2^1530997-1 is not prime. Res64: 2AAF42D1FC9F0B76 Time : 0.0 sec. user=mdettweiler [2018-11-11 06:09:00] 885*2^1530997-1 is not prime. Res64: D6C7181DAB165EF9 Time : 0.0 sec. user=mdettweiler [2018-11-11 06:09:01] 707*2^1530998-1 is not prime. Res64: 5F168F473B08C38C Time : 0.0 sec. user=mdettweiler [2018-11-11 06:09:01] 731*2^1530998-1 is not prime. Res64: CDC4C3E6205725D4 Time : 0.0 sec. user=mdettweiler [2018-11-11 06:09:02] 773*2^1530998-1 is not prime. Res64: 3DCA7B422820B581 Time : 0.0 sec. user=mdettweiler [2018-11-11 06:28:31] 897*2^1530998-1 is not prime. Res64: C425A61A4CCBAD59 Time : 0.0 sec. user=mdettweiler [2018-11-11 06:28:31] 1001*2^1530998-1 is not prime. Res64: F8E1686796240390 Time : 0.0 sec. user=mdettweiler [2018-11-11 06:28:31] 619*2^1530999-1 is not prime. Res64: BF07E5669E131264 Time : 0.0 sec. user=mdettweiler [2018-11-11 06:28:32] 685*2^1530999-1 is not prime. Res64: D2B3C28DB3EA696E Time : 0.0 sec. user=mdettweiler [2018-11-11 06:28:32] 735*2^1530999-1 is not prime. Res64: 7C0F881C123E95CA Time : 0.0 sec. user=mdettweiler [2018-11-11 06:36:22] 741*2^1530999-1 is not prime. Res64: 0A74C8C7CAF21F54 Time : 0.0 sec. user=mdettweiler [2018-11-11 06:36:22] 823*2^1530999-1 is not prime. Res64: BE1EB72CAC27AC1B Time : 0.0 sec. user=mdettweiler [2018-11-11 06:36:23] 861*2^1530999-1 is not prime. Res64: F12A5B61E4DF439E Time : 0.0 sec. user=mdettweiler [2018-11-11 06:36:23] 891*2^1530999-1 is not prime. Res64: 18E3846EC795CA6C Time : 0.0 sec. user=mdettweiler [2018-11-11 06:36:24] 921*2^1530999-1 is not prime. Res64: 06EE62D4490F7EE2 Time : 0.0 sec. user=mdettweiler [2018-11-11 06:45:46] 961*2^1530999-1 is not prime. Res64: 0B686E6802265FC0 Time : 0.0 sec. user=mdettweiler [2018-11-11 06:45:46] 975*2^1530999-1 is not prime. Res64: A5A6545167F67912 Time : 0.0 sec. user=mdettweiler [2018-11-11 06:45:46] 615*2^1531000-1 is not prime. Res64: FF26A1519B7FB461 Time : 0.0 sec. user=mdettweiler [2018-11-11 06:45:47] 773*2^1531000-1 is not prime. Res64: 50B75025ACDA7ADD Time : 0.0 sec. user=mdettweiler [2018-11-11 06:45:47] 839*2^1531000-1 is not prime. Res64: BE694365962D30D1 Time : 0.0 sec. user=mdettweiler [2018-11-11 07:00:27] 857*2^1531000-1 is not prime. Res64: 9230A81549CB062F Time : 0.0 sec. user=mdettweiler [2018-11-11 07:00:28] 887*2^1531000-1 is not prime. Res64: B0E2A61D66B2941C Time : 0.0 sec. user=mdettweiler [2018-11-11 07:00:29] 915*2^1531000-1 is not prime. Res64: C69F92D7D2058501 Time : 0.0 sec. user=mdettweiler [2018-11-11 07:00:30] 631*2^1531001-1 is not prime. Res64: DAD3D0D3898E58CF Time : 0.0 sec. user=mdettweiler [2018-11-11 07:00:30] 649*2^1531001-1 is not prime. Res64: FD962C6EF1B8F2BF Time : 0.0 sec. user=mdettweiler [2018-11-11 07:19:27] 885*2^1531001-1 is not prime. Res64: 148563B9348AC652 Time : 0.0 sec. user=mdettweiler [2018-11-11 07:19:28] 735*2^1531002-1 is not prime. Res64: D2E1692C07DD3DE4 Time : 0.0 sec. user=mdettweiler [2018-11-11 07:19:28] 791*2^1531002-1 is not prime. Res64: F3A2473FA0179F91 Time : 0.0 sec. user=mdettweiler [2018-11-11 07:19:29] 825*2^1531002-1 is not prime. Res64: D3A9558486551155 Time : 0.0 sec. user=mdettweiler [2018-11-11 07:19:30] 837*2^1531002-1 is not prime. Res64: C7E7EEFA54B2CFA0 Time : 0.0 sec. user=mdettweiler [2018-11-11 07:27:40] 873*2^1531002-1 is not prime. Res64: B3FED456F8C81DDC Time : 0.0 sec. user=mdettweiler [2018-11-11 07:27:41] 923*2^1531002-1 is not prime. Res64: ADD406F2BCC3588F Time : 0.0 sec. user=mdettweiler [2018-11-11 07:27:41] 615*2^1531003-1 is not prime. Res64: A69892A8D938A955 Time : 0.0 sec. user=mdettweiler [2018-11-11 07:27:41] 765*2^1531003-1 is not prime. Res64: C71768913D0F6D02 Time : 0.0 sec. user=mdettweiler [2018-11-11 07:27:41] 769*2^1531003-1 is not prime. Res64: 6AC0895EAFE58590 Time : 0.0 sec. user=mdettweiler [2018-11-11 07:38:17] 895*2^1531003-1 is not prime. Res64: 73E6D3E6360A2BA8 Time : 0.0 sec. user=mdettweiler [2018-11-11 07:38:17] 969*2^1531003-1 is not prime. Res64: 4E24527AE8C6EA78 Time : 0.0 sec. user=mdettweiler [2018-11-11 07:38:17] 993*2^1531003-1 is not prime. Res64: 9E88C4D9CC627B2F Time : 0.0 sec. user=mdettweiler [2018-11-11 07:38:18] 617*2^1531004-1 is not prime. Res64: 3313B5A3BE36A818 Time : 0.0 sec. user=mdettweiler [2018-11-11 07:38:18] 663*2^1531004-1 is not prime. Res64: 085C7A129980C4BF Time : 0.0 sec. user=mdettweiler [2018-11-11 07:51:35] 665*2^1531004-1 is not prime. Res64: 064306F6B8C91800 Time : 0.0 sec. user=mdettweiler [2018-11-11 07:51:35] 699*2^1531004-1 is not prime. Res64: 8E715BD79AD11DDE Time : 0.0 sec. user=mdettweiler [2018-11-11 07:51:35] 725*2^1531004-1 is not prime. Res64: BA77C95308A7E035 Time : 0.0 sec. user=mdettweiler [2018-11-11 07:51:36] 789*2^1531004-1 is not prime. Res64: D51771D685D84ECA Time : 0.0 sec. user=mdettweiler [2018-11-11 07:51:36] 959*2^1531004-1 is not prime. Res64: CB1D2C9F3A2F4C0C Time : 0.0 sec. user=mdettweiler [2018-11-11 08:12:10] 667*2^1531005-1 is not prime. Res64: D5B6B1B38C80FD65 Time : 0.0 sec. user=mdettweiler [2018-11-11 08:12:10] 817*2^1531005-1 is not prime. Res64: EE5A6929208C25B8 Time : 0.0 sec. user=mdettweiler [2018-11-11 08:12:11] 921*2^1531005-1 is not prime. Res64: 570D658C0DC75AEF Time : 0.0 sec. user=mdettweiler [2018-11-11 08:12:11] 647*2^1531006-1 is not prime. Res64: F119B0569ADE9E69 Time : 0.0 sec. user=mdettweiler [2018-11-11 08:12:11] 653*2^1531006-1 is not prime. Res64: 206E901499FFD4C8 Time : 0.0 sec. user=mdettweiler [2018-11-11 08:20:09] 663*2^1531006-1 is not prime. Res64: C0FC97EE49D75336 Time : 0.0 sec. user=mdettweiler [2018-11-11 08:20:10] 813*2^1531006-1 is not prime. Res64: 35291AA62593E9FE Time : 0.0 sec. user=mdettweiler [2018-11-11 08:20:10] 941*2^1531006-1 is not prime. Res64: 8DF2F6B75D00ECA8 Time : 0.0 sec. user=mdettweiler [2018-11-11 08:20:11] 945*2^1531006-1 is not prime. Res64: 6736164784DFDB45 Time : 0.0 sec. user=mdettweiler [2018-11-11 08:20:11] 603*2^1531007-1 is not prime. Res64: 7532236C6089CB71 Time : 0.0 sec. user=mdettweiler [2018-11-11 08:30:30] 739*2^1531007-1 is not prime. Res64: B8450B9001BE5527 Time : 0.0 sec. user=mdettweiler [2018-11-11 08:30:30] 843*2^1531007-1 is not prime. Res64: 4AFBECBA2A592252 Time : 0.0 sec. user=mdettweiler [2018-11-11 08:30:30] 883*2^1531007-1 is not prime. Res64: EA78A94AB06EDDAF Time : 0.0 sec. user=mdettweiler [2018-11-11 08:30:31] 627*2^1531008-1 is not prime. Res64: B011267F9C5B7C69 Time : 0.0 sec. user=mdettweiler [2018-11-11 08:30:31] 713*2^1531008-1 is not prime. Res64: 37D31E140EF676A3 Time : 0.0 sec. user=mdettweiler [2018-11-11 08:43:18] 843*2^1531008-1 is not prime. Res64: FEE7BFD6974FB759 Time : 0.0 sec. user=mdettweiler [2018-11-11 08:43:18] 993*2^1531008-1 is not prime. Res64: 04EF24F0DFEF1A19 Time : 0.0 sec. user=mdettweiler [2018-11-11 08:43:18] 609*2^1531009-1 is not prime. Res64: 335DF38A2E76DCB7 Time : 0.0 sec. user=mdettweiler [2018-11-11 08:43:19] 619*2^1531009-1 is not prime. Res64: 2A63335883BD9793 Time : 0.0 sec. user=mdettweiler [2018-11-11 08:43:19] 771*2^1531009-1 is not prime. Res64: 5DA771D579D74D12 Time : 0.0 sec. user=mdettweiler [2018-11-11 09:03:40] 831*2^1531009-1 is not prime. Res64: C3DAF503729750D1 Time : 0.0 sec. user=mdettweiler [2018-11-11 09:03:42] 877*2^1531009-1 is not prime. Res64: 0E6302AD50F63EE1 Time : 0.0 sec. user=mdettweiler [2018-11-11 09:03:43] 895*2^1531009-1 is not prime. Res64: E73D743619A6DB0E Time : 0.0 sec. user=mdettweiler [2018-11-11 09:03:44] 931*2^1531009-1 is not prime. Res64: 2DAA6021064EA660 Time : 0.0 sec. user=mdettweiler [2018-11-11 09:03:46] 633*2^1531010-1 is not prime. Res64: 6E466941320B1337 Time : 0.0 sec. user=mdettweiler [2018-11-11 09:11:02] 713*2^1531010-1 is not prime. Res64: DFB5E97A572E3929 Time : 0.0 sec. user=mdettweiler [2018-11-11 09:11:02] 927*2^1531010-1 is not prime. Res64: D76FFC9E1D2D9A42 Time : 0.0 sec. user=mdettweiler [2018-11-11 09:11:03] 675*2^1531011-1 is not prime. Res64: CD9047E6DD714931 Time : 0.0 sec. user=mdettweiler [2018-11-11 09:11:04] 769*2^1531011-1 is not prime. Res64: 1D6F80D4EB196868 Time : 0.0 sec. user=mdettweiler [2018-11-11 09:11:04] 775*2^1531011-1 is not prime. Res64: 7DC1401D9D86662E Time : 0.0 sec. user=mdettweiler [2018-11-11 09:21:18] 825*2^1531011-1 is not prime. Res64: 4378451481299C33 Time : 0.0 sec. user=mdettweiler [2018-11-11 09:21:18] 951*2^1531011-1 is not prime. Res64: 30B1266DED1598B5 Time : 0.0 sec. user=mdettweiler [2018-11-11 09:21:18] 999*2^1531011-1 is not prime. Res64: 1AB421AF917FBDED Time : 0.0 sec. user=mdettweiler [2018-11-11 09:21:19] 615*2^1531012-1 is not prime. Res64: 4A0B6017DE3D50FE Time : 0.0 sec. user=mdettweiler [2018-11-11 09:21:19] 657*2^1531012-1 is not prime. Res64: A661904027A290A3 Time : 0.0 sec. user=mdettweiler [2018-11-11 09:34:14] 693*2^1531012-1 is not prime. Res64: 02CD9B7723E155D8 Time : 0.0 sec. user=mdettweiler [2018-11-11 09:34:14] 779*2^1531012-1 is not prime. Res64: 0062466D5C63DD74 Time : 0.0 sec. user=mdettweiler [2018-11-11 09:34:15] 915*2^1531012-1 is not prime. Res64: 3EBBBA5F7B407213 Time : 0.0 sec. user=mdettweiler [2018-11-11 09:34:15] 939*2^1531012-1 is not prime. Res64: 71908CB6938DB927 Time : 0.0 sec. user=mdettweiler [2018-11-11 09:34:15] 983*2^1531012-1 is not prime. Res64: 1BD8849BEC3B5B7A Time : 0.0 sec. user=mdettweiler [2018-11-11 09:55:25] 631*2^1531013-1 is not prime. Res64: 49AF2DAF38727063 Time : 0.0 sec. user=mdettweiler [2018-11-11 09:55:26] 657*2^1531013-1 is not prime. Res64: 4CBB0E585A9C8FD4 Time : 0.0 sec. user=mdettweiler [2018-11-11 09:55:26] 795*2^1531013-1 is not prime. Res64: A1961C92B534A8DD Time : 0.0 sec. user=mdettweiler [2018-11-11 09:55:26] 811*2^1531013-1 is not prime. Res64: B636B1EC2AF6312D Time : 0.0 sec. user=mdettweiler [2018-11-11 09:55:27] 939*2^1531013-1 is not prime. Res64: 62C7658AA1B70D4B Time : 0.0 sec. user=mdettweiler [2018-11-11 10:02:05] 621*2^1531014-1 is not prime. Res64: 7753271DE78C3622 Time : 0.0 sec. user=mdettweiler [2018-11-11 10:02:06] 651*2^1531014-1 is not prime. Res64: C46C1ABA8C1A975A Time : 0.0 sec. user=mdettweiler [2018-11-11 10:02:07] 717*2^1531014-1 is not prime. Res64: A3B548D31FAAD87F Time : 0.0 sec. user=mdettweiler [2018-11-11 10:02:07] 755*2^1531014-1 is not prime. Res64: 2DD726D1C7C18A85 Time : 0.0 sec. user=mdettweiler [2018-11-11 10:02:09] 791*2^1531014-1 is not prime. Res64: B1033597771B167D Time : 0.0 sec. user=mdettweiler [2018-11-11 10:12:14] 833*2^1531014-1 is not prime. Res64: 5183729D8440532E Time : 0.0 sec. user=mdettweiler [2018-11-11 10:12:15] 873*2^1531014-1 is not prime. Res64: BB9ED497D0EB9092 Time : 0.0 sec. user=mdettweiler [2018-11-11 10:12:16] 903*2^1531014-1 is not prime. Res64: 79D71F59649FCBBB Time : 0.0 sec. user=mdettweiler [2018-11-11 10:12:17] 951*2^1531014-1 is not prime. Res64: 59479F279D16E07F Time : 0.0 sec. user=mdettweiler [2018-11-11 10:12:18] 609*2^1531015-1 is not prime. Res64: D1AD4DB15B0F6A92 Time : 0.0 sec. user=mdettweiler [2018-11-11 10:25:10] 705*2^1531015-1 is not prime. Res64: 6B2ABD17902D936B Time : 0.0 sec. user=mdettweiler [2018-11-11 10:25:10] 771*2^1531015-1 is not prime. Res64: 50609588D9E5164B Time : 0.0 sec. user=mdettweiler [2018-11-11 10:25:10] 849*2^1531015-1 is not prime. Res64: B520265EA9E35F3E Time : 0.0 sec. user=mdettweiler [2018-11-11 10:25:11] 867*2^1531016-1 is not prime. Res64: 83AA5420978F5526 Time : 0.0 sec. user=mdettweiler [2018-11-11 10:25:11] 917*2^1531016-1 is not prime. Res64: 5DADE9A42DAF2E73 Time : 0.0 sec. user=mdettweiler [2018-11-11 10:46:23] 963*2^1531016-1 is not prime. Res64: A92F5F5ACECE68B6 Time : 0.0 sec. user=mdettweiler [2018-11-11 10:46:24] 609*2^1531017-1 is not prime. Res64: 66330C75214876DC Time : 0.0 sec. user=mdettweiler [2018-11-11 10:46:24] 661*2^1531017-1 is not prime. Res64: 0F9E2776303F4116 Time : 0.0 sec. user=mdettweiler [2018-11-11 10:46:24] 711*2^1531017-1 is not prime. Res64: AE0794084D0F0C7B Time : 0.0 sec. user=mdettweiler [2018-11-11 10:46:24] 741*2^1531017-1 is not prime. Res64: 26A97B709BBE10C5 Time : 0.0 sec. user=mdettweiler [2018-11-11 10:53:12] 765*2^1531017-1 is not prime. Res64: D248FF6440A8CBD7 Time : 0.0 sec. user=mdettweiler [2018-11-11 10:53:12] 817*2^1531017-1 is not prime. Res64: 7CF73DA17CF864B1 Time : 0.0 sec. user=mdettweiler [2018-11-11 10:53:12] 991*2^1531017-1 is not prime. Res64: 19AD7D7C72CCE5DB Time : 0.0 sec. user=mdettweiler [2018-11-11 10:53:12] 605*2^1531018-1 is not prime. Res64: C6166FC338867113 Time : 0.0 sec. user=mdettweiler [2018-11-11 10:53:13] 971*2^1531018-1 is not prime. Res64: 2D38F6846B874EE4 Time : 0.0 sec. user=mdettweiler [2018-11-11 11:03:32] 993*2^1531018-1 is not prime. Res64: 1AC8F9A95A5A26CE Time : 0.0 sec. user=mdettweiler [2018-11-11 11:03:33] 619*2^1531019-1 is not prime. Res64: 6E03F5F5BFF55058 Time : 0.0 sec. user=mdettweiler [2018-11-11 11:03:34] 633*2^1531019-1 is not prime. Res64: B18B1CBECC569E33 Time : 0.0 sec. user=mdettweiler [2018-11-11 11:03:35] 669*2^1531019-1 is not prime. Res64: F1DA36B766B69D90 Time : 0.0 sec. user=mdettweiler [2018-11-11 11:03:36] 789*2^1531019-1 is not prime. Res64: D2F7959396E53FDB Time : 0.0 sec. user=mdettweiler [2018-11-11 11:16:08] 799*2^1531019-1 is not prime. Res64: 3B064382D4146FC4 Time : 0.0 sec. user=mdettweiler [2018-11-11 11:16:08] 723*2^1531020-1 is not prime. Res64: 37B8CC080F83D795 Time : 0.0 sec. user=mdettweiler [2018-11-11 11:16:09] 735*2^1531020-1 is not prime. Res64: DBCE95CAC93C0D12 Time : 0.0 sec. user=mdettweiler [2018-11-11 11:16:09] 779*2^1531020-1 is not prime. Res64: 4DBA9DFA5529015B Time : 0.0 sec. user=mdettweiler [2018-11-11 11:16:09] 789*2^1531020-1 is not prime. Res64: 296D7B579DE98C9C Time : 0.0 sec. user=mdettweiler [2018-11-11 11:37:38] 797*2^1531020-1 is not prime. Res64: 754035C50635D974 Time : 0.0 sec. user=mdettweiler [2018-11-11 11:37:38] 809*2^1531020-1 is not prime. Res64: 6CC0011FF919B727 Time : 0.0 sec. user=mdettweiler [2018-11-11 11:37:39] 879*2^1531020-1 is not prime. Res64: A78BB5AF87987317 Time : 0.0 sec. user=mdettweiler [2018-11-11 11:37:39] 687*2^1531021-1 is not prime. Res64: F9593FEE38670DE1 Time : 0.0 sec. user=mdettweiler [2018-11-11 11:37:39] 769*2^1531021-1 is not prime. Res64: D13C99FA2091AD12 Time : 0.0 sec. user=mdettweiler [2018-11-11 11:44:27] 789*2^1531021-1 is not prime. Res64: 7A0A604E2D504022 Time : 0.0 sec. user=mdettweiler [2018-11-11 11:44:28] 855*2^1531021-1 is not prime. Res64: 444DDBA9660FDA31 Time : 0.0 sec. user=mdettweiler [2018-11-11 11:44:28] 961*2^1531021-1 is not prime. Res64: 25DB96EAFE25DF56 Time : 0.0 sec. user=mdettweiler [2018-11-11 11:44:28] 615*2^1531022-1 is not prime. Res64: A8C1390E23104138 Time : 0.0 sec. user=mdettweiler [2018-11-11 11:44:29] 617*2^1531022-1 is not prime. Res64: A30A3AFF1BEE6AC8 Time : 0.0 sec. user=mdettweiler [2018-11-11 11:54:42] 693*2^1531022-1 is not prime. Res64: 5749B6CDCD9FA1C0 Time : 0.0 sec. user=mdettweiler [2018-11-11 11:54:42] 711*2^1531022-1 is not prime. Res64: 3594955FB2CD98D8 Time : 0.0 sec. user=mdettweiler [2018-11-11 11:54:42] 791*2^1531022-1 is not prime. Res64: FB5F575E2633514D Time : 0.0 sec. user=mdettweiler [2018-11-11 11:54:43] 813*2^1531022-1 is not prime. Res64: 3C45C2DA95F50512 Time : 0.0 sec. user=mdettweiler [2018-11-11 11:54:43] 815*2^1531022-1 is not prime. Res64: 1066E4E071A93566 Time : 0.0 sec. user=mdettweiler [2018-11-11 12:07:34] 981*2^1531022-1 is not prime. Res64: 5B763DB45997D581 Time : 0.0 sec. user=mdettweiler [2018-11-11 12:07:34] 609*2^1531023-1 is not prime. Res64: 6F4F89B97AA6DE00 Time : 0.0 sec. user=mdettweiler [2018-11-11 12:07:35] 691*2^1531023-1 is not prime. Res64: 065B6057514055E0 Time : 0.0 sec. user=mdettweiler [2018-11-11 12:07:35] 763*2^1531023-1 is not prime. Res64: A7AA706A358C8234 Time : 0.0 sec. user=mdettweiler [2018-11-11 12:07:35] 963*2^1531023-1 is not prime. Res64: A065276D3F4FDF42 Time : 0.0 sec. user=mdettweiler [2018-11-11 12:28:38] 629*2^1531024-1 is not prime. Res64: 8269F2D0C44211A5 Time : 0.0 sec. user=mdettweiler [2018-11-11 12:28:38] 675*2^1531024-1 is not prime. Res64: 7068D248BF5266EB Time : 0.0 sec. user=mdettweiler [2018-11-11 12:28:39] 705*2^1531024-1 is not prime. Res64: F0C82E6E804A448A Time : 0.0 sec. user=mdettweiler [2018-11-11 12:28:39] 717*2^1531024-1 is not prime. Res64: 949531174FF2EDB3 Time : 0.0 sec. user=mdettweiler [2018-11-11 12:28:39] 719*2^1531024-1 is not prime. Res64: 9B1C3F815C64C152 Time : 0.0 sec. user=mdettweiler [2018-11-11 12:35:36] 729*2^1531024-1 is not prime. Res64: 67A44C9485448732 Time : 0.0 sec. user=mdettweiler [2018-11-11 12:35:36] 785*2^1531024-1 is not prime. Res64: 794F0478475D014D Time : 0.0 sec. user=mdettweiler [2018-11-11 12:35:37] 803*2^1531024-1 is not prime. Res64: D2CAD4B43816D406 Time : 0.0 sec. user=mdettweiler [2018-11-11 12:35:37] 873*2^1531024-1 is not prime. Res64: 38D66990A21F03F9 Time : 0.0 sec. user=mdettweiler [2018-11-11 12:35:37] 899*2^1531024-1 is not prime. Res64: B6E4FC329EFBD750 Time : 0.0 sec. user=mdettweiler [2018-11-11 12:45:41] 905*2^1531024-1 is not prime. Res64: 24C1793667FCEC7E Time : 0.0 sec. user=mdettweiler [2018-11-11 12:45:41] 915*2^1531024-1 is not prime. Res64: 40FA4D64DE464D9B Time : 0.0 sec. user=mdettweiler [2018-11-11 12:45:41] 939*2^1531024-1 is not prime. Res64: 50D4829CEF0B77E4 Time : 0.0 sec. user=mdettweiler [2018-11-11 12:45:41] 975*2^1531024-1 is not prime. Res64: 36B442BF69B54538 Time : 0.0 sec. user=mdettweiler [2018-11-11 12:45:42] 657*2^1531025-1 is not prime. Res64: 1C650C956F0F937E Time : 0.0 sec. user=mdettweiler [2018-11-11 12:58:43] 669*2^1531025-1 is not prime. Res64: 4166E405A23066F4 Time : 0.0 sec. user=mdettweiler [2018-11-11 12:58:43] 691*2^1531025-1 is not prime. Res64: D35A1CB1D1720F3A Time : 0.0 sec. user=mdettweiler [2018-11-11 12:58:43] 711*2^1531025-1 is not prime. Res64: 0DCFADBB0CAEBDC5 Time : 0.0 sec. user=mdettweiler [2018-11-11 12:58:44] 717*2^1531025-1 is not prime. Res64: 3D6B4C27DE2435FD Time : 0.0 sec. user=mdettweiler [2018-11-11 12:58:44] 735*2^1531025-1 is not prime. Res64: 4C094E59A8746542 Time : 0.0 sec. user=mdettweiler [2018-11-11 13:19:49] 741*2^1531025-1 is not prime. Res64: 3C01C112B692EF24 Time : 0.0 sec. user=mdettweiler [2018-11-11 13:19:49] 811*2^1531025-1 is not prime. Res64: BD1E8C3813B22136 Time : 0.0 sec. user=mdettweiler [2018-11-11 13:19:50] 907*2^1531025-1 is not prime. Res64: E54F16C7DCD80C52 Time : 0.0 sec. user=mdettweiler [2018-11-11 13:19:51] 981*2^1531025-1 is not prime. Res64: 460D4CB1EBDC7E57 Time : 0.0 sec. user=mdettweiler [2018-11-11 13:19:52] 985*2^1531025-1 is not prime. Res64: 081E96BCC599D35D Time : 0.0 sec. user=mdettweiler [2018-11-11 13:26:46] 737*2^1531026-1 is not prime. Res64: 946BFC9BF1D529EA Time : 0.0 sec. user=mdettweiler [2018-11-11 13:26:46] 747*2^1531026-1 is not prime. Res64: D670B4D60D83EDD5 Time : 0.0 sec. user=mdettweiler [2018-11-11 13:26:47] 619*2^1531027-1 is not prime. Res64: E44E70829C587282 Time : 0.0 sec. user=mdettweiler [2018-11-11 13:26:47] 649*2^1531027-1 is not prime. Res64: 084B456EE4172858 Time : 0.0 sec. user=mdettweiler [2018-11-11 13:26:48] 673*2^1531027-1 is not prime. Res64: 3EBD29CCE3187557 Time : 0.0 sec. user=mdettweiler [2018-11-11 13:36:55] 829*2^1531027-1 is not prime. Res64: DFE4D5DD09960E73 Time : 0.0 sec. user=mdettweiler [2018-11-11 13:36:55] 891*2^1531027-1 is not prime. Res64: DEFA21B4BA1BBF91 Time : 0.0 sec. user=mdettweiler [2018-11-11 13:36:56] 931*2^1531027-1 is not prime. Res64: 355BF7C19B924226 Time : 0.0 sec. user=mdettweiler [2018-11-11 13:36:56] 985*2^1531027-1 is not prime. Res64: 89F66BC549AC9D41 Time : 0.0 sec. user=mdettweiler [2018-11-11 13:36:56] 615*2^1531028-1 is not prime. Res64: 656F8BD801FA616D Time : 0.0 sec. user=mdettweiler [2018-11-11 13:49:47] 735*2^1531028-1 is not prime. Res64: B16883DCBB86AA06 Time : 0.0 sec. user=mdettweiler [2018-11-11 13:49:48] 797*2^1531028-1 is not prime. Res64: 47EB2DFCCBB71CB4 Time : 0.0 sec. user=mdettweiler [2018-11-11 13:49:48] 827*2^1531028-1 is not prime. Res64: 4B5542B4FD63C519 Time : 0.0 sec. user=mdettweiler [2018-11-11 13:49:48] 833*2^1531028-1 is not prime. Res64: 5130C36DCC771233 Time : 0.0 sec. user=mdettweiler [2018-11-11 13:49:49] 855*2^1531028-1 is not prime. Res64: 53D5DF179300F1A4 Time : 0.0 sec. user=mdettweiler [2018-11-11 14:11:04] 869*2^1531028-1 is not prime. Res64: 3E7A67EC43035BF8 Time : 0.0 sec. user=mdettweiler [2018-11-11 14:11:05] 885*2^1531028-1 is not prime. Res64: 12E3F961BB96AD0B Time : 0.0 sec. user=mdettweiler [2018-11-11 14:11:05] 909*2^1531028-1 is not prime. Res64: 7E114CF0C261C512 Time : 0.0 sec. user=mdettweiler [2018-11-11 14:11:06] 963*2^1531028-1 is not prime. Res64: A354FD7628E9D70B Time : 0.0 sec. user=mdettweiler [2018-11-11 14:11:06] 649*2^1531029-1 is not prime. Res64: E7C49822F6B71AD4 Time : 0.0 sec. user=mdettweiler [2018-11-11 14:18:04] 675*2^1531029-1 is not prime. Res64: A1298FBD6CAE9BE9 Time : 0.0 sec. user=mdettweiler [2018-11-11 14:18:04] 681*2^1531029-1 is not prime. Res64: 52CD44992B780EA0 Time : 0.0 sec. user=mdettweiler [2018-11-11 14:18:05] 709*2^1531029-1 is not prime. Res64: CFFE3ABC0FFEFBD7 Time : 0.0 sec. user=mdettweiler [2018-11-11 14:18:05] 825*2^1531029-1 is not prime. Res64: CF78F015E43B3B23 Time : 0.0 sec. user=mdettweiler [2018-11-11 14:18:05] 885*2^1531029-1 is not prime. Res64: 4E0B12C6E7B7A054 Time : 0.0 sec. user=mdettweiler [2018-11-11 14:28:04] 991*2^1531029-1 is not prime. Res64: CEA319D7CBBAA915 Time : 0.0 sec. user=mdettweiler [2018-11-11 14:28:05] 623*2^1531030-1 is not prime. Res64: 016E18B70396C1B8 Time : 0.0 sec. user=mdettweiler [2018-11-11 14:28:05] 687*2^1531030-1 is not prime. Res64: 819D9B6EA2104686 Time : 0.0 sec. user=mdettweiler [2018-11-11 14:28:06] 695*2^1531030-1 is not prime. Res64: C16788D1549690CD Time : 0.0 sec. user=mdettweiler [2018-11-11 14:28:06] 855*2^1531030-1 is not prime. Res64: 083171CE5C9EC338 Time : 0.0 sec. user=mdettweiler [2018-11-11 14:40:59] 867*2^1531030-1 is not prime. Res64: 4CE761A067ED31A8 Time : 0.0 sec. user=mdettweiler [2018-11-11 14:40:59] 957*2^1531030-1 is not prime. Res64: 1A60648B0AE7A2BA Time : 0.0 sec. user=mdettweiler [2018-11-11 14:40:59] 987*2^1531030-1 is not prime. Res64: D1DD9780D0AA1187 Time : 0.0 sec. user=mdettweiler [2018-11-11 14:41:00] 823*2^1531031-1 is not prime. Res64: 8992D87820135DF7 Time : 0.0 sec. user=mdettweiler [2018-11-11 14:41:00] 825*2^1531031-1 is not prime. Res64: 20CD11B5292F7422 Time : 0.0 sec. user=mdettweiler [2018-11-11 15:02:23] 949*2^1531031-1 is not prime. Res64: 0ED85D11DCDE7A30 Time : 0.0 sec. user=mdettweiler [2018-11-11 15:02:24] 981*2^1531031-1 is not prime. Res64: EB79C7CA8069DF77 Time : 0.0 sec. user=mdettweiler [2018-11-11 15:02:24] 999*2^1531031-1 is not prime. Res64: 3551BD12EFBF6DE9 Time : 0.0 sec. user=mdettweiler [2018-11-11 15:02:26] 615*2^1531032-1 is not prime. Res64: 507CC0DCD437CF9F Time : 0.0 sec. user=mdettweiler [2018-11-11 15:02:27] 699*2^1531032-1 is not prime. Res64: 3083C64B59FF63B2 Time : 0.0 sec. user=mdettweiler [2018-11-11 15:09:10] 797*2^1531032-1 is not prime. Res64: 1F237D0E4DE67F43 Time : 0.0 sec. user=mdettweiler [2018-11-11 15:09:11] 825*2^1531032-1 is not prime. Res64: 3E63C20279DD2B42 Time : 0.0 sec. user=mdettweiler [2018-11-11 15:09:11] 873*2^1531032-1 is not prime. Res64: 8E7A5C6CC5B54CA0 Time : 0.0 sec. user=mdettweiler [2018-11-11 15:09:11] 899*2^1531032-1 is not prime. Res64: 3C54ED367E412E73 Time : 0.0 sec. user=mdettweiler [2018-11-11 15:09:12] 929*2^1531032-1 is not prime. Res64: 3A08DCBE2A50E553 Time : 0.0 sec. user=mdettweiler [2018-11-11 15:20:44] 607*2^1531033-1 is not prime. Res64: 4E1D3E264218D2DA Time : 0.0 sec. user=mdettweiler [2018-11-11 15:20:46] 619*2^1531033-1 is not prime. Res64: 630083F720BEB469 Time : 0.0 sec. user=mdettweiler [2018-11-11 15:20:46] 691*2^1531033-1 is not prime. Res64: CF4F6865D7804038 Time : 0.0 sec. user=mdettweiler [2018-11-11 15:20:46] 751*2^1531033-1 is not prime. Res64: CB12176ECD506FF8 Time : 0.0 sec. user=mdettweiler [2018-11-11 15:20:47] 811*2^1531033-1 is not prime. Res64: 3337709E933209B6 Time : 0.0 sec. user=mdettweiler [2018-11-11 15:33:13] 635*2^1531034-1 is not prime. Res64: 4104221E4D7C878A Time : 0.0 sec. user=mdettweiler [2018-11-11 15:33:13] 675*2^1531034-1 is not prime. Res64: 963B40222700766E Time : 0.0 sec. user=mdettweiler [2018-11-11 15:33:13] 717*2^1531034-1 is not prime. Res64: 20AEEAA3590309E3 Time : 0.0 sec. user=mdettweiler [2018-11-11 15:33:14] 743*2^1531034-1 is not prime. Res64: FD2BC03DFFA274A8 Time : 0.0 sec. user=mdettweiler [2018-11-11 15:33:14] 643*2^1531035-1 is not prime. Res64: D6E885ECAD6B1824 Time : 0.0 sec. user=mdettweiler [2018-11-11 15:54:48] 709*2^1531035-1 is not prime. Res64: 5807A43337891975 Time : 0.0 sec. user=mdettweiler [2018-11-11 15:54:48] 735*2^1531035-1 is not prime. Res64: 253BAF88C32F3E00 Time : 0.0 sec. user=mdettweiler [2018-11-11 15:54:48] 765*2^1531035-1 is not prime. Res64: 5D5876F20EBC2262 Time : 0.0 sec. user=mdettweiler [2018-11-11 15:54:49] 793*2^1531035-1 is not prime. Res64: DC2D3349100F15C7 Time : 0.0 sec. user=mdettweiler [2018-11-11 15:54:49] 825*2^1531035-1 is not prime. Res64: 1082647FB95EEFB4 Time : 0.0 sec. user=mdettweiler [2018-11-11 16:01:35] 913*2^1531035-1 is not prime. Res64: B73BFCF7A221418F Time : 0.0 sec. user=mdettweiler [2018-11-11 16:01:37] 979*2^1531035-1 is not prime. Res64: C87814309A68C7F6 Time : 0.0 sec. user=mdettweiler [2018-11-11 16:01:38] 991*2^1531035-1 is not prime. Res64: 09BDEE4DDC8F390D Time : 0.0 sec. user=mdettweiler [2018-11-11 16:01:40] 647*2^1531036-1 is not prime. Res64: 29885F988FAACF75 Time : 0.0 sec. user=mdettweiler [2018-11-11 16:01:41] 695*2^1531036-1 is not prime. Res64: 8DB89483BD2CDAC1 Time : 0.0 sec. user=mdettweiler [2018-11-11 16:11:55] 717*2^1531036-1 is not prime. Res64: F5A7B3001FCE4F24 Time : 0.0 sec. user=mdettweiler [2018-11-11 16:11:55] 723*2^1531036-1 is not prime. Res64: F2D6C7E0130767D4 Time : 0.0 sec. user=mdettweiler [2018-11-11 16:11:56] 755*2^1531036-1 is not prime. Res64: EA10DD772F0AA3A8 Time : 0.0 sec. user=mdettweiler [2018-11-11 16:11:56] 803*2^1531036-1 is not prime. Res64: DF8169582F3D565E Time : 0.0 sec. user=mdettweiler [2018-11-11 16:11:56] 923*2^1531036-1 is not prime. Res64: 1AC2E442390BC843 Time : 0.0 sec. user=mdettweiler [2018-11-11 16:24:41] 983*2^1531036-1 is not prime. Res64: 27BA0C466F347AC9 Time : 0.0 sec. user=mdettweiler [2018-11-11 16:24:42] 645*2^1531037-1 is not prime. Res64: 91BAC3631305C514 Time : 0.0 sec. user=mdettweiler [2018-11-11 16:24:42] 699*2^1531037-1 is not prime. Res64: 517406BDB20EF56B Time : 0.0 sec. user=mdettweiler [2018-11-11 16:24:42] 715*2^1531037-1 is not prime. Res64: 586EC1F02CD45C6D Time : 0.0 sec. user=mdettweiler [2018-11-11 16:24:43] 781*2^1531037-1 is not prime. Res64: DE955B82B8B4E6AA Time : 0.0 sec. user=mdettweiler [2018-11-11 16:46:26] 837*2^1531037-1 is not prime. Res64: 9C4F86517B81EF43 Time : 0.0 sec. user=mdettweiler [2018-11-11 16:46:26] 847*2^1531037-1 is not prime. Res64: 6663BD08E56D336A Time : 0.0 sec. user=mdettweiler [2018-11-11 16:46:27] 871*2^1531037-1 is not prime. Res64: 3FF6F7AFDA58B6D4 Time : 0.0 sec. user=mdettweiler [2018-11-11 16:46:27] 889*2^1531037-1 is not prime. Res64: F1D4B30FFFC3BA5B Time : 0.0 sec. user=mdettweiler [2018-11-11 16:46:27] 605*2^1531038-1 is not prime. Res64: 0DD603F072E77AC3 Time : 0.0 sec. user=mdettweiler [2018-11-11 16:54:15] 665*2^1531038-1 is not prime. Res64: 5E350CFEAE45417A Time : 0.0 sec. user=mdettweiler [2018-11-11 16:54:16] 747*2^1531038-1 is not prime. Res64: 45C298A8FBD15C02 Time : 0.0 sec. user=mdettweiler [2018-11-11 16:54:16] 777*2^1531038-1 is not prime. Res64: 63CCC11E7B690801 Time : 0.0 sec. user=mdettweiler [2018-11-11 16:54:16] 861*2^1531038-1 is not prime. Res64: F6568A4F9EE8A009 Time : 0.0 sec. user=mdettweiler [2018-11-11 16:54:16] 863*2^1531038-1 is not prime. Res64: 50768651AD9941AE Time : 0.0 sec. user=mdettweiler [2018-11-11 17:03:31] 945*2^1531038-1 is not prime. Res64: C8CB0AB5241F65C6 Time : 0.0 sec. user=mdettweiler [2018-11-11 17:03:32] 951*2^1531038-1 is not prime. Res64: D40F0C4DEFA4177E Time : 0.0 sec. user=mdettweiler [2018-11-11 17:03:33] 705*2^1531039-1 is not prime. Res64: D454A6A63EE09440 Time : 0.0 sec. user=mdettweiler [2018-11-11 17:03:34] 723*2^1531039-1 is not prime. Res64: 635F8641437061D7 Time : 0.0 sec. user=mdettweiler [2018-11-11 17:03:35] 831*2^1531039-1 is not prime. Res64: 037C0376464A3169 Time : 0.0 sec. user=mdettweiler [2018-11-11 17:16:46] 861*2^1531039-1 is not prime. Res64: 91F51DDBB27854FC Time : 0.0 sec. user=mdettweiler [2018-11-11 17:16:47] 909*2^1531039-1 is not prime. Res64: 3B6778C57ED56BFD Time : 0.0 sec. user=mdettweiler [2018-11-11 17:16:47] 951*2^1531039-1 is not prime. Res64: 03773AB886BCD3C0 Time : 0.0 sec. user=mdettweiler [2018-11-11 17:16:48] 961*2^1531039-1 is not prime. Res64: DC313359BFD2735E Time : 0.0 sec. user=mdettweiler [2018-11-11 17:16:48] 629*2^1531040-1 is not prime. Res64: E8A67F630D84B0D7 Time : 0.0 sec. user=mdettweiler [2018-11-11 17:38:48] 725*2^1531040-1 is not prime. Res64: DEDA6A22DCA506B1 Time : 0.0 sec. user=mdettweiler [2018-11-11 17:38:49] 785*2^1531040-1 is not prime. Res64: 39A4FDDF347FA8BA Time : 0.0 sec. user=mdettweiler [2018-11-11 17:38:49] 789*2^1531040-1 is not prime. Res64: 50C9E9C5B8C38BC6 Time : 0.0 sec. user=mdettweiler [2018-11-11 17:38:49] 839*2^1531040-1 is not prime. Res64: AA138E09108B6082 Time : 0.0 sec. user=mdettweiler [2018-11-11 17:38:49] 999*2^1531040-1 is not prime. Res64: 4ABD1E052CAD28AB Time : 0.0 sec. user=mdettweiler [2018-11-11 17:47:13] 601*2^1531041-1 is not prime. Res64: B2CEC915C45C778D Time : 0.0 sec. user=mdettweiler [2018-11-11 17:47:13] 615*2^1531041-1 is not prime. Res64: 09B87181AE55D90C Time : 0.0 sec. user=mdettweiler [2018-11-11 17:47:13] 639*2^1531041-1 is not prime. Res64: 116FAF89115E72C2 Time : 0.0 sec. user=mdettweiler [2018-11-11 17:47:14] 685*2^1531041-1 is not prime. Res64: 511A8C09E4B70A81 Time : 0.0 sec. user=mdettweiler [2018-11-11 17:47:14] 705*2^1531041-1 is not prime. Res64: 510A349F29AB0A5D Time : 0.0 sec. user=mdettweiler [2018-11-11 17:57:06] 777*2^1531041-1 is not prime. Res64: 1B5EA539D1C008DF Time : 0.0 sec. user=mdettweiler [2018-11-11 17:57:07] 829*2^1531041-1 is not prime. Res64: 644615A8304608E0 Time : 0.0 sec. user=mdettweiler [2018-11-11 17:57:07] 895*2^1531041-1 is not prime. Res64: 1CD46FBEB6971D22 Time : 0.0 sec. user=mdettweiler [2018-11-11 17:57:07] 909*2^1531041-1 is not prime. Res64: 56FC014A942104AE Time : 0.0 sec. user=mdettweiler [2018-11-11 17:57:08] 949*2^1531041-1 is not prime. Res64: 3BF1B89F56904289 Time : 0.0 sec. user=mdettweiler [2018-11-11 18:09:58] 997*2^1531041-1 is not prime. Res64: F7B118D924241A56 Time : 0.0 sec. user=mdettweiler [2018-11-11 18:09:58] 737*2^1531042-1 is not prime. Res64: F5E57445E0C9D9E4 Time : 0.0 sec. user=mdettweiler [2018-11-11 18:09:59] 765*2^1531042-1 is not prime. Res64: 6C305310B697B064 Time : 0.0 sec. user=mdettweiler [2018-11-11 18:09:59] 777*2^1531042-1 is not prime. Res64: E7E9F2A8AA83C441 Time : 0.0 sec. user=mdettweiler [2018-11-11 18:09:59] 791*2^1531042-1 is not prime. Res64: CF272E595C2F07BF Time : 0.0 sec. user=mdettweiler [2018-11-11 18:32:01] 803*2^1531042-1 is not prime. Res64: 0D0F44BD41D512ED Time : 0.0 sec. user=mdettweiler [2018-11-11 18:32:01] 815*2^1531042-1 is not prime. Res64: 2C91B6A9059FA98E Time : 0.0 sec. user=mdettweiler [2018-11-11 18:32:02] 825*2^1531042-1 is not prime. Res64: 02F2F9FC5907E874 Time : 0.0 sec. user=mdettweiler [2018-11-11 18:32:02] 881*2^1531042-1 is not prime. Res64: 8767652FADC390BD Time : 0.0 sec. user=mdettweiler [2018-11-11 18:32:02] 609*2^1531043-1 is not prime. Res64: 8C0B49B55133FE2E Time : 0.0 sec. user=mdettweiler [2018-11-11 18:40:20] 615*2^1531043-1 is not prime. Res64: 20CBAE594E9416FA Time : 0.0 sec. user=mdettweiler [2018-11-11 18:40:20] 679*2^1531043-1 is not prime. Res64: 83F8500CCD124627 Time : 0.0 sec. user=mdettweiler [2018-11-11 18:40:20] 693*2^1531043-1 is not prime. Res64: 0E6D005DAB651C46 Time : 0.0 sec. user=mdettweiler [2018-11-11 18:40:20] 921*2^1531043-1 is not prime. Res64: 156EE6562E13B05B Time : 0.0 sec. user=mdettweiler [2018-11-11 18:40:21] 943*2^1531043-1 is not prime. Res64: 6E2461D2E39E3AE2 Time : 0.0 sec. user=mdettweiler [2018-11-11 18:49:56] 699*2^1531044-1 is not prime. Res64: E50C55032B516543 Time : 0.0 sec. user=mdettweiler [2018-11-11 18:49:57] 753*2^1531044-1 is not prime. Res64: 2C3214A09BE95F26 Time : 0.0 sec. user=mdettweiler [2018-11-11 18:49:57] 765*2^1531044-1 is not prime. Res64: B4D6864164E795DA Time : 0.0 sec. user=mdettweiler [2018-11-11 18:49:57] 863*2^1531044-1 is not prime. Res64: 5651A49178DB9ED2 Time : 0.0 sec. user=mdettweiler [2018-11-11 18:49:58] 887*2^1531044-1 is not prime. Res64: A9C929C8429FFD19 Time : 0.0 sec. user=mdettweiler [2018-11-11 19:03:41] 923*2^1531044-1 is not prime. Res64: 0314B455DEC8E1AE Time : 0.0 sec. user=mdettweiler [2018-11-11 19:03:42] 975*2^1531044-1 is not prime. Res64: E9D6ECFAB2B1B023 Time : 0.0 sec. user=mdettweiler [2018-11-11 19:03:43] 609*2^1531045-1 is not prime. Res64: 5EBF9BB3B1C5B13F Time : 0.0 sec. user=mdettweiler [2018-11-11 19:03:44] 729*2^1531045-1 is not prime. Res64: 6820B1F47B93336A Time : 0.0 sec. user=mdettweiler [2018-11-11 19:03:45] 939*2^1531045-1 is not prime. Res64: B4D6C8FCFD322BFB Time : 0.0 sec. user=mdettweiler [2018-11-11 19:26:41] 955*2^1531045-1 is not prime. Res64: 7AEC9CD2A7C61047 Time : 0.0 sec. user=mdettweiler [2018-11-11 19:26:41] 813*2^1531046-1 is not prime. Res64: C9948B51237CE9D2 Time : 0.0 sec. user=mdettweiler [2018-11-11 19:26:41] 851*2^1531046-1 is not prime. Res64: B86972F0D6FD0350 Time : 0.0 sec. user=mdettweiler [2018-11-11 19:26:42] 861*2^1531046-1 is not prime. Res64: A54CCD4656698BE6 Time : 0.0 sec. user=mdettweiler [2018-11-11 19:26:42] 1001*2^1531046-1 is not prime. Res64: 7B14B8236637CED1 Time : 0.0 sec. user=mdettweiler [2018-11-11 19:33:44] 621*2^1531047-1 is not prime. Res64: 7E5D5ADAB64D517A Time : 0.0 sec. user=mdettweiler [2018-11-11 19:33:44] 661*2^1531047-1 is not prime. Res64: DAD817CFB806051B Time : 0.0 sec. user=mdettweiler [2018-11-11 19:33:45] 703*2^1531047-1 is not prime. Res64: 2121A8A95CB924E0 Time : 0.0 sec. user=mdettweiler [2018-11-11 19:33:45] 709*2^1531047-1 is not prime. Res64: 9DCFF26420A815F3 Time : 0.0 sec. user=mdettweiler [2018-11-11 19:33:45] 843*2^1531047-1 is not prime. Res64: 6E0F9D229685BF57 Time : 0.0 sec. user=mdettweiler [2018-11-11 19:44:48] 961*2^1531047-1 is not prime. Res64: AF83291370A97635 Time : 0.0 sec. user=mdettweiler [2018-11-11 19:44:49] 985*2^1531047-1 is not prime. Res64: 5ACCA87374732B3C Time : 0.0 sec. user=mdettweiler [2018-11-11 19:44:49] 617*2^1531048-1 is not prime. Res64: DE18EF88E6DCC77F Time : 0.0 sec. user=mdettweiler [2018-11-11 19:44:50] 657*2^1531048-1 is not prime. Res64: 111C30C34573F0CA Time : 0.0 sec. user=mdettweiler [2018-11-11 19:44:50] 687*2^1531048-1 is not prime. Res64: 6813FAEF023151A7 Time : 0.0 sec. user=mdettweiler [2018-11-11 19:58:22] 707*2^1531048-1 is not prime. Res64: FF9C144F65F6E78F Time : 0.0 sec. user=mdettweiler [2018-11-11 19:58:22] 713*2^1531048-1 is not prime. Res64: D214CBE86E9471DD Time : 0.0 sec. user=mdettweiler [2018-11-11 19:58:23] 833*2^1531048-1 is not prime. Res64: 7C3EC1685C8C9813 Time : 0.0 sec. user=mdettweiler [2018-11-11 19:58:23] 855*2^1531048-1 is not prime. Res64: F68D976C95D956BB Time : 0.0 sec. user=mdettweiler [2018-11-11 19:58:23] 915*2^1531048-1 is not prime. Res64: E7B000322E680A86 Time : 0.0 sec. user=mdettweiler [2018-11-11 20:20:47] 933*2^1531048-1 is not prime. Res64: 7C6BA84E12279C31 Time : 0.0 sec. user=mdettweiler [2018-11-11 20:20:47] 679*2^1531049-1 is not prime. Res64: DC6872ACD2582BEC Time : 0.0 sec. user=mdettweiler [2018-11-11 20:20:48] 721*2^1531049-1 is not prime. Res64: 1E4653DC26FC77F7 Time : 0.0 sec. user=mdettweiler [2018-11-11 20:20:48] 741*2^1531049-1 is not prime. Res64: 26ED3203DD0541E0 Time : 0.0 sec. user=mdettweiler [2018-11-11 20:20:48] 861*2^1531049-1 is not prime. Res64: ABE3B2E37E973949 Time : 0.0 sec. user=mdettweiler [2018-11-11 20:27:39] 987*2^1531049-1 is not prime. Res64: 92BA1EC6D6AE730A Time : 0.0 sec. user=mdettweiler [2018-11-11 20:27:39] 647*2^1531050-1 is not prime. Res64: 40B5F77D438FF1EF Time : 0.0 sec. user=mdettweiler [2018-11-11 20:27:40] 821*2^1531050-1 is not prime. Res64: 1840C8A2DEC93B07 Time : 0.0 sec. user=mdettweiler [2018-11-11 20:27:40] 915*2^1531050-1 is not prime. Res64: 3C4430B35CA65DA2 Time : 0.0 sec. user=mdettweiler [2018-11-11 20:27:40] 927*2^1531050-1 is not prime. Res64: 71A8C22AD30F4616 Time : 0.0 sec. user=mdettweiler [2018-11-11 20:38:16] 945*2^1531050-1 is not prime. Res64: 4ED7AC55E3EB7350 Time : 0.0 sec. user=mdettweiler [2018-11-11 20:38:17] 977*2^1531050-1 is not prime. Res64: EE09C4269BBD423A Time : 0.0 sec. user=mdettweiler [2018-11-11 20:38:17] 679*2^1531051-1 is not prime. Res64: 3EE9C8CECED9F85D Time : 0.0 sec. user=mdettweiler [2018-11-11 20:38:17] 693*2^1531051-1 is not prime. Res64: 12CA270ED8E3F982 Time : 0.0 sec. user=mdettweiler [2018-11-11 20:38:18] 939*2^1531051-1 is not prime. Res64: AD973EC5E9271E08 Time : 0.0 sec. user=mdettweiler [2018-11-11 20:50:41] 999*2^1531051-1 is not prime. Res64: 6F6CC229BA164891 Time : 0.0 sec. user=mdettweiler [2018-11-11 20:50:41] 603*2^1531052-1 is not prime. Res64: 15571A12D0EC30D6 Time : 0.0 sec. user=mdettweiler [2018-11-11 20:50:43] 633*2^1531052-1 is not prime. Res64: 80AF0E833BC729C9 Time : 0.0 sec. user=mdettweiler [2018-11-11 20:50:43] 675*2^1531052-1 is not prime. Res64: EAAB6185AC6382AE Time : 0.0 sec. user=mdettweiler [2018-11-11 20:50:45] 683*2^1531052-1 is not prime. Res64: 2BB0D96C4CC9F534 Time : 0.0 sec. user=mdettweiler [2018-11-11 21:12:06] 693*2^1531052-1 is not prime. Res64: BA3C0F64F2998E5F Time : 0.0 sec. user=mdettweiler [2018-11-11 21:12:06] 743*2^1531052-1 is not prime. Res64: 62C9B36836FC3836 Time : 0.0 sec. user=mdettweiler [2018-11-11 21:12:06] 923*2^1531052-1 is not prime. Res64: 6CD42E16CA177795 Time : 0.0 sec. user=mdettweiler [2018-11-11 21:12:07] 983*2^1531052-1 is not prime. Res64: C9834800B65FF785 Time : 0.0 sec. user=mdettweiler [2018-11-11 21:12:07] 787*2^1531053-1 is not prime. Res64: 2ECCAB29A06CDC5F Time : 0.0 sec. user=mdettweiler [2018-11-11 21:19:54] 811*2^1531053-1 is not prime. Res64: F3DA7A8A81284542 Time : 0.0 sec. user=mdettweiler [2018-11-11 21:19:54] 837*2^1531053-1 is not prime. Res64: 789A962F83079E93 Time : 0.0 sec. user=mdettweiler [2018-11-11 21:19:55] 889*2^1531053-1 is not prime. Res64: 8E9AEB8A615B0372 Time : 0.0 sec. user=mdettweiler [2018-11-11 21:19:55] 915*2^1531053-1 is not prime. Res64: E672F4C13F9FE4B4 Time : 0.0 sec. user=mdettweiler [2018-11-11 21:19:55] 985*2^1531053-1 is not prime. Res64: 19B09B4313CB907E Time : 0.0 sec. user=mdettweiler [2018-11-11 21:29:45] 605*2^1531054-1 is not prime. Res64: 316E6CD6568CC074 Time : 0.0 sec. user=mdettweiler [2018-11-11 21:29:45] 611*2^1531054-1 is not prime. Res64: CFADDD5BAA06EFD4 Time : 0.0 sec. user=mdettweiler [2018-11-11 21:29:46] 741*2^1531054-1 is not prime. Res64: 3A6E23C1065AA792 Time : 0.0 sec. user=mdettweiler [2018-11-11 21:29:46] 645*2^1531055-1 is not prime. Res64: 71A608956F173811 Time : 0.0 sec. user=mdettweiler [2018-11-11 21:29:46] 693*2^1531055-1 is not prime. Res64: 3B0376A2413FFF49 Time : 0.0 sec. user=mdettweiler [2018-11-11 21:42:07] 735*2^1531055-1 is not prime. Res64: 5B46C30AE58506CE Time : 0.0 sec. user=mdettweiler [2018-11-11 21:42:08] 909*2^1531055-1 is not prime. Res64: 97DE829154C41127 Time : 0.0 sec. user=mdettweiler [2018-11-11 21:42:08] 921*2^1531055-1 is not prime. Res64: 1C2DAB6AC629E569 Time : 0.0 sec. user=mdettweiler [2018-11-11 21:42:08] 689*2^1531056-1 is not prime. Res64: 3CB8DE67E3F5A847 Time : 0.0 sec. user=mdettweiler [2018-11-11 21:42:09] 725*2^1531056-1 is not prime. Res64: A69519DB28311C08 Time : 0.0 sec. user=mdettweiler [2018-11-11 22:03:12] 759*2^1531056-1 is not prime. Res64: CD9E1A72DBE2B972 Time : 0.0 sec. user=mdettweiler [2018-11-11 22:03:13] 839*2^1531056-1 is not prime. Res64: D154275297CCDE7F Time : 0.0 sec. user=mdettweiler [2018-11-11 22:03:14] 849*2^1531056-1 is not prime. Res64: EA8F8A4CE97CCE6F Time : 0.0 sec. user=mdettweiler [2018-11-11 22:03:15] 893*2^1531056-1 is not prime. Res64: AB49C23F59899A31 Time : 0.0 sec. user=mdettweiler [2018-11-11 22:03:16] 903*2^1531056-1 is not prime. Res64: 2ADDD15FCAE53646 Time : 0.0 sec. user=mdettweiler [2018-11-11 22:10:56] 923*2^1531056-1 is not prime. Res64: D81A2A57C872D140 Time : 0.0 sec. user=mdettweiler [2018-11-11 22:10:57] 969*2^1531056-1 is not prime. Res64: 14D5107D57DE63CC Time : 0.0 sec. user=mdettweiler [2018-11-11 22:10:57] 609*2^1531057-1 is not prime. Res64: E7D76E663E77F51D Time : 0.0 sec. user=mdettweiler [2018-11-11 22:10:58] 729*2^1531057-1 is not prime. Res64: 33BEE176E164B31C Time : 0.0 sec. user=mdettweiler [2018-11-11 22:10:59] 807*2^1531057-1 is not prime. Res64: EF9939BB3B163913 Time : 0.0 sec. user=mdettweiler [2018-11-11 22:20:45] 885*2^1531057-1 is not prime. Res64: B170EC3DD95BC8FB Time : 0.0 sec. user=mdettweiler [2018-11-11 22:20:46] 915*2^1531057-1 is not prime. Res64: 3F0494CF490B8FF4 Time : 0.0 sec. user=mdettweiler [2018-11-11 22:20:46] 997*2^1531057-1 is not prime. Res64: C1FC78B69866EF96 Time : 0.0 sec. user=mdettweiler [2018-11-11 22:20:47] 617*2^1531058-1 is not prime. Res64: 899F6D95C0A11DFB Time : 0.0 sec. user=mdettweiler [2018-11-11 22:20:48] 641*2^1531058-1 is not prime. Res64: 741F06565251034C Time : 0.0 sec. user=mdettweiler [2018-11-11 22:33:22] 767*2^1531058-1 is not prime. Res64: 4B3AAE9FFDFF5B39 Time : 0.0 sec. user=mdettweiler [2018-11-11 22:33:22] 791*2^1531058-1 is not prime. Res64: B9C9C28F5BE22C51 Time : 0.0 sec. user=mdettweiler [2018-11-11 22:33:22] 825*2^1531058-1 is not prime. Res64: 9B355D251DFEC6E9 Time : 0.0 sec. user=mdettweiler [2018-11-11 22:33:23] 887*2^1531058-1 is not prime. Res64: 1D4100DAA8917D84 Time : 0.0 sec. user=mdettweiler [2018-11-11 22:33:23] 941*2^1531058-1 is not prime. Res64: 6618D56B3FC2B098 Time : 0.0 sec. user=mdettweiler [2018-11-11 22:54:19] 963*2^1531058-1 is not prime. Res64: A406B45E6DB8E030 Time : 0.0 sec. user=mdettweiler [2018-11-11 22:54:19] 609*2^1531059-1 is not prime. Res64: AE4FA1E1130891B5 Time : 0.0 sec. user=mdettweiler [2018-11-11 22:54:20] 649*2^1531059-1 is not prime. Res64: A98B39DBA1E4B338 Time : 0.0 sec. user=mdettweiler [2018-11-11 22:54:20] 663*2^1531059-1 is not prime. Res64: 7524CA63B3E19E13 Time : 0.0 sec. user=mdettweiler [2018-11-11 22:54:20] 703*2^1531059-1 is not prime. Res64: C24D3D49EDA372E2 Time : 0.0 sec. user=mdettweiler [2018-11-11 23:02:05] 753*2^1531059-1 is not prime. Res64: DD2D5961DA64C10F Time : 0.0 sec. user=mdettweiler [2018-11-11 23:02:08] 793*2^1531059-1 is not prime. Res64: 2900B57DAE991635 Time : 0.0 sec. user=mdettweiler [2018-11-11 23:02:10] 835*2^1531059-1 is not prime. Res64: 5EF549248AA1C79D Time : 0.0 sec. user=mdettweiler [2018-11-11 23:02:13] 629*2^1531060-1 is not prime. Res64: 88FC9924530DA534 Time : 0.0 sec. user=mdettweiler [2018-11-11 23:02:15] 675*2^1531060-1 is not prime. Res64: 159BBE77C57A4DE6 Time : 0.0 sec. user=mdettweiler [2018-11-11 23:12:39] 687*2^1531060-1 is not prime. Res64: 17CA78788C00EA42 Time : 0.0 sec. user=mdettweiler [2018-11-11 23:12:40] 863*2^1531060-1 is not prime. Res64: 683FF06BD0464D21 Time : 0.0 sec. user=mdettweiler [2018-11-11 23:12:40] 957*2^1531060-1 is not prime. Res64: 88CB96FD8BBDA011 Time : 0.0 sec. user=mdettweiler [2018-11-11 23:12:41] 711*2^1531061-1 is not prime. Res64: EC768BAFB9E13198 Time : 0.0 sec. user=mdettweiler [2018-11-11 23:12:41] 727*2^1531061-1 is not prime. Res64: 0F3541897925D8B5 Time : 0.0 sec. user=mdettweiler [2018-11-11 23:24:56] 735*2^1531061-1 is not prime. Res64: EDA1B895E2533724 Time : 0.0 sec. user=mdettweiler [2018-11-11 23:24:57] 747*2^1531061-1 is not prime. Res64: 919C185AACA9C90E Time : 0.0 sec. user=mdettweiler [2018-11-11 23:24:58] 789*2^1531061-1 is not prime. Res64: C73BE50B14385FB6 Time : 0.0 sec. user=mdettweiler [2018-11-11 23:24:58] 829*2^1531061-1 is not prime. Res64: 80DAA81F543BCDC3 Time : 0.0 sec. user=mdettweiler [2018-11-11 23:24:59] 837*2^1531061-1 is not prime. Res64: 3E10E2F50B54F10E Time : 0.0 sec. user=mdettweiler [2018-11-11 23:46:09] 925*2^1531061-1 is not prime. Res64: 9DC00C19CF83B619 Time : 0.0 sec. user=mdettweiler [2018-11-11 23:46:11] 621*2^1531062-1 is not prime. Res64: DD380FB59AD5DFED Time : 0.0 sec. user=mdettweiler [2018-11-11 23:46:11] 717*2^1531062-1 is not prime. Res64: 0D688E0EFDB92372 Time : 0.0 sec. user=mdettweiler [2018-11-11 23:46:11] 797*2^1531062-1 is not prime. Res64: 5C57CB025EA384CF Time : 0.0 sec. user=mdettweiler [2018-11-11 23:46:12] 1001*2^1531062-1 is not prime. Res64: F31EDEEBEC4983A5 Time : 0.0 sec. user=mdettweiler [2018-11-11 23:55:06] 693*2^1531063-1 is not prime. Res64: B45BAE5B9DD99EDD Time : 0.0 sec. user=mdettweiler [2018-11-11 23:55:07] 925*2^1531063-1 is not prime. Res64: 1631303C85C0F0A9 Time : 0.0 sec. user=mdettweiler [2018-11-11 23:55:07] 961*2^1531063-1 is not prime. Res64: 7B1637BF80D6BC87 Time : 0.0 sec. user=mdettweiler [2018-11-11 23:55:07] 969*2^1531063-1 is not prime. Res64: 22FA0EDD5C1A8FF2 Time : 0.0 sec. user=mdettweiler [2018-11-11 23:55:08] 993*2^1531063-1 is not prime. Res64: 1707704066E17FC6 Time : 0.0 sec.