user=mdettweiler [2019-05-20 00:15:11] 627*2^1538868-1 is not prime. Res64: 08B0FC4A5DED89EA Time : 0.0 sec. user=mdettweiler [2019-05-20 00:15:14] 773*2^1538868-1 is not prime. Res64: D34B88BCA6FADAFE Time : 0.0 sec. user=mdettweiler [2019-05-20 00:15:16] 797*2^1538868-1 is not prime. Res64: A81AADE75EFF3780 Time : 0.0 sec. user=mdettweiler [2019-05-20 00:15:18] 809*2^1538868-1 is not prime. Res64: 62A579D9ACEFEDE5 Time : 0.0 sec. user=mdettweiler [2019-05-20 00:15:20] 887*2^1538868-1 is not prime. Res64: 9B82073B1E3CA576 Time : 0.0 sec. user=mdettweiler [2019-05-20 00:28:00] 899*2^1538868-1 is not prime. Res64: AAECC995356E4213 Time : 0.0 sec. user=mdettweiler [2019-05-20 00:28:00] 945*2^1538868-1 is not prime. Res64: CA2ABBA73CD48243 Time : 0.0 sec. user=mdettweiler [2019-05-20 00:28:01] 615*2^1538869-1 is not prime. Res64: F7296DCF1CE6C1EA Time : 0.0 sec. user=mdettweiler [2019-05-20 00:28:02] 691*2^1538869-1 is not prime. Res64: 6BF46799E0909149 Time : 0.0 sec. user=mdettweiler [2019-05-20 00:28:02] 729*2^1538869-1 is not prime. Res64: 79716CC77548489C Time : 0.0 sec. user=mdettweiler [2019-05-20 00:47:41] 751*2^1538869-1 is not prime. Res64: A5D5DB60CF59DA83 Time : 0.0 sec. user=mdettweiler [2019-05-20 00:47:41] 829*2^1538869-1 is not prime. Res64: 8722038754D355D7 Time : 0.0 sec. user=mdettweiler [2019-05-20 00:47:42] 877*2^1538869-1 is not prime. Res64: EFB7CB884C98B538 Time : 0.0 sec. user=mdettweiler [2019-05-20 00:47:42] 997*2^1538869-1 is not prime. Res64: DB7FF56A78695615 Time : 0.0 sec. user=mdettweiler [2019-05-20 00:47:43] 651*2^1538870-1 is not prime. Res64: A596436ECD4080DB Time : 0.0 sec. user=mdettweiler [2019-05-20 00:49:39] 663*2^1538870-1 is not prime. Res64: 09BFF91C3C509202 Time : 0.0 sec. user=mdettweiler [2019-05-20 00:49:39] 671*2^1538870-1 is not prime. Res64: 8D1D951EA337488C Time : 0.0 sec. user=mdettweiler [2019-05-20 00:49:40] 713*2^1538870-1 is not prime. Res64: 7819FE9549FC0C7D Time : 0.0 sec. user=mdettweiler [2019-05-20 00:49:40] 741*2^1538870-1 is not prime. Res64: 19F71483251DB617 Time : 0.0 sec. user=mdettweiler [2019-05-20 00:49:41] 755*2^1538870-1 is not prime. Res64: 6E0501E1836743EB Time : 0.0 sec. user=mdettweiler [2019-05-20 01:08:24] 861*2^1538870-1 is not prime. Res64: 45D85446EF931CD4 Time : 0.0 sec. user=mdettweiler [2019-05-20 01:08:26] 951*2^1538870-1 is not prime. Res64: 14B1F238AB1178B8 Time : 0.0 sec. user=mdettweiler [2019-05-20 01:08:27] 1001*2^1538870-1 is not prime. Res64: C230FB078874C288 Time : 0.0 sec. user=mdettweiler [2019-05-20 01:08:28] 781*2^1538871-1 is not prime. Res64: ABEC4BCC186BCE73 Time : 0.0 sec. user=mdettweiler [2019-05-20 01:08:30] 861*2^1538871-1 is not prime. Res64: B1FA225E2660F445 Time : 0.0 sec. user=mdettweiler [2019-05-20 01:20:46] 969*2^1538871-1 is not prime. Res64: 08A59108EB1D9AC8 Time : 0.0 sec. user=mdettweiler [2019-05-20 01:20:47] 675*2^1538872-1 is not prime. Res64: 31F64738F5E9EB1F Time : 0.0 sec. user=mdettweiler [2019-05-20 01:20:48] 689*2^1538872-1 is not prime. Res64: E00A6D3F5528AD96 Time : 0.0 sec. user=mdettweiler [2019-05-20 01:20:49] 855*2^1538872-1 is not prime. Res64: A1AB87C0F43A75B4 Time : 0.0 sec. user=mdettweiler [2019-05-20 01:20:50] 857*2^1538872-1 is not prime. Res64: 766218BDCC821A00 Time : 0.0 sec. user=mdettweiler [2019-05-20 01:40:36] 957*2^1538872-1 is not prime. Res64: 9D859E3720078EF5 Time : 0.0 sec. user=mdettweiler [2019-05-20 01:40:42] 975*2^1538872-1 is not prime. Res64: 13F7D7E6A022EBD3 Time : 0.0 sec. user=mdettweiler [2019-05-20 01:40:46] 619*2^1538873-1 is not prime. Res64: AB7434C04DCE54BD Time : 0.0 sec. user=mdettweiler [2019-05-20 01:40:50] 637*2^1538873-1 is not prime. Res64: 6B8A86B1312A60CF Time : 0.0 sec. user=mdettweiler [2019-05-20 01:41:00] 741*2^1538873-1 is not prime. Res64: 6632E1ED34113506 Time : 0.0 sec. user=mdettweiler [2019-05-20 01:42:15] 939*2^1538873-1 is not prime. Res64: 1DBDE1EB7468B347 Time : 0.0 sec. user=mdettweiler [2019-05-20 01:42:18] 641*2^1538874-1 is not prime. Res64: 64B216794EEC20D0 Time : 0.0 sec. user=mdettweiler [2019-05-20 01:42:22] 917*2^1538874-1 is not prime. Res64: 9636428912C80DFE Time : 0.0 sec. user=mdettweiler [2019-05-20 01:42:30] 923*2^1538874-1 is not prime. Res64: 20D44FB35326156E Time : 0.0 sec. user=mdettweiler [2019-05-20 01:42:34] 983*2^1538874-1 is not prime. Res64: DCAB3963DA6C583E Time : 0.0 sec. user=mdettweiler [2019-05-20 02:00:41] 603*2^1538875-1 is not prime. Res64: BE40B85A6E38ACA2 Time : 0.0 sec. user=mdettweiler [2019-05-20 02:00:43] 639*2^1538875-1 is not prime. Res64: 07809CCDE5DFAB4C Time : 0.0 sec. user=mdettweiler [2019-05-20 02:00:44] 651*2^1538875-1 is not prime. Res64: FC28A06AD3F8E534 Time : 0.0 sec. user=mdettweiler [2019-05-20 02:00:46] 733*2^1538875-1 is not prime. Res64: 1341B4E4C0AA8370 Time : 0.0 sec. user=mdettweiler [2019-05-20 02:00:49] 775*2^1538875-1 is not prime. Res64: 3F0A7B5D24CD9230 Time : 0.0 sec. user=mdettweiler [2019-05-20 02:12:57] 801*2^1538875-1 is not prime. Res64: 598CBB97069A8D4D Time : 0.0 sec. user=mdettweiler [2019-05-20 02:12:59] 819*2^1538875-1 is not prime. Res64: 43D9F1CDE7785DCB Time : 0.0 sec. user=mdettweiler [2019-05-20 02:13:00] 871*2^1538875-1 is not prime. Res64: 7EC286A307B51F09 Time : 0.0 sec. user=mdettweiler [2019-05-20 02:13:02] 883*2^1538875-1 is not prime. Res64: 08E5D3D89B2C0164 Time : 0.0 sec. user=mdettweiler [2019-05-20 02:13:04] 635*2^1538876-1 is not prime. Res64: 2A509E454683C997 Time : 0.0 sec. user=mdettweiler [2019-05-20 02:34:15] 659*2^1538876-1 is not prime. Res64: 5D6C860595427669 Time : 0.0 sec. user=mdettweiler [2019-05-20 02:34:16] 839*2^1538876-1 is not prime. Res64: 9FB45BF9AE614485 Time : 0.0 sec. user=mdettweiler [2019-05-20 02:34:17] 903*2^1538876-1 is not prime. Res64: 08BD3F8C3A6CA2A2 Time : 0.0 sec. user=mdettweiler [2019-05-20 02:34:18] 957*2^1538876-1 is not prime. Res64: 66FB5735AD6441D0 Time : 0.0 sec. user=mdettweiler [2019-05-20 02:34:19] 609*2^1538877-1 is not prime. Res64: C5D0E93EFC69752D Time : 0.0 sec. user=mdettweiler [2019-05-20 02:34:59] 655*2^1538877-1 is not prime. Res64: F52CDD007A4CBD18 Time : 0.0 sec. user=mdettweiler [2019-05-20 02:34:59] 691*2^1538877-1 is not prime. Res64: 91A5DC668FE425D8 Time : 0.0 sec. user=mdettweiler [2019-05-20 02:35:00] 709*2^1538877-1 is not prime. Res64: F179EE82E2F4283A Time : 0.0 sec. user=mdettweiler [2019-05-20 02:35:01] 777*2^1538877-1 is not prime. Res64: D802C46A82CADFDF Time : 0.0 sec. user=mdettweiler [2019-05-20 02:35:01] 889*2^1538877-1 is not prime. Res64: 54DDAD36ACC37D21 Time : 0.0 sec. user=mdettweiler [2019-05-20 04:25:29] 649*2^1538881-1 is not prime. Res64: 6A21CDE332F47C19 Time : 0.0 sec. user=mdettweiler [2019-05-20 15:31:29] 937*2^1538877-1 is not prime. Res64: D8901B4FBAD9A577 Time : 0.0 sec. user=mdettweiler [2019-05-20 15:31:30] 979*2^1538877-1 is not prime. Res64: D8786F5E2B8272AF Time : 0.0 sec. user=mdettweiler [2019-05-20 15:31:31] 647*2^1538878-1 is not prime. Res64: 3054D1C802761505 Time : 0.0 sec. user=mdettweiler [2019-05-20 15:31:31] 651*2^1538878-1 is not prime. Res64: 5B4178EFAF1E5569 Time : 0.0 sec. user=mdettweiler [2019-05-20 15:31:32] 663*2^1538878-1 is not prime. Res64: 8835ECEAABBFC5FF Time : 0.0 sec. user=mdettweiler [2019-05-20 15:43:02] 791*2^1538878-1 is not prime. Res64: 82C949B399FFAC5E Time : 0.0 sec. user=mdettweiler [2019-05-20 15:43:03] 801*2^1538878-1 is not prime. Res64: 0DF81AFFC35C3A12 Time : 0.0 sec. user=mdettweiler [2019-05-20 15:43:05] 815*2^1538878-1 is not prime. Res64: DEB5913A04FC78D8 Time : 0.0 sec. user=mdettweiler [2019-05-20 15:43:05] 987*2^1538878-1 is not prime. Res64: 6B7277E0B870C769 Time : 0.0 sec. user=mdettweiler [2019-05-20 15:43:06] 693*2^1538879-1 is not prime. Res64: 9E586D3F2AE0E2ED Time : 0.0 sec. user=mdettweiler [2019-05-20 16:03:17] 723*2^1538880-1 is not prime. Res64: 00FD09AFD56B6B01 Time : 0.0 sec. user=mdettweiler [2019-05-20 16:03:19] 725*2^1538880-1 is not prime. Res64: F4EBD5D1F31239B1 Time : 0.0 sec. user=mdettweiler [2019-05-20 16:03:21] 797*2^1538880-1 is not prime. Res64: F25ED6F45FC38C7C Time : 0.0 sec. user=mdettweiler [2019-05-20 16:03:22] 819*2^1538880-1 is not prime. Res64: 605829FC6ADF1FE7 Time : 0.0 sec. user=mdettweiler [2019-05-20 16:03:23] 873*2^1538880-1 is not prime. Res64: 800B3FBD5ACA49FA Time : 0.0 sec. user=mdettweiler [2019-05-20 16:03:47] 705*2^1538879-1 is not prime. Res64: 3A6EAB85295DF915 Time : 0.0 sec. user=mdettweiler [2019-05-20 16:03:49] 735*2^1538879-1 is not prime. Res64: 3F0EF2D46FCC6427 Time : 0.0 sec. user=mdettweiler [2019-05-20 16:03:50] 799*2^1538879-1 is not prime. Res64: 902E3B5755514964 Time : 0.0 sec. user=mdettweiler [2019-05-20 16:03:55] 811*2^1538879-1 is not prime. Res64: 02851841AC4961E2 Time : 0.0 sec. user=mdettweiler [2019-05-20 16:03:59] 895*2^1538879-1 is not prime. Res64: D117581F31CDBE8F Time : 0.0 sec. user=mdettweiler [2019-05-20 16:23:39] 681*2^1538881-1 is not prime. Res64: C0B921D458170BB6 Time : 0.0 sec. user=mdettweiler [2019-05-20 16:23:40] 727*2^1538881-1 is not prime. Res64: 2AAEAA8B28EDB596 Time : 0.0 sec. user=mdettweiler [2019-05-20 16:23:41] 745*2^1538881-1 is not prime. Res64: 43E81A436C63BE23 Time : 0.0 sec. user=mdettweiler [2019-05-20 16:23:41] 847*2^1538881-1 is not prime. Res64: 9DCCABE9E0B69A30 Time : 0.0 sec. user=mdettweiler [2019-05-20 16:23:42] 871*2^1538881-1 is not prime. Res64: D75CE78C9616B376 Time : 0.0 sec. user=mdettweiler [2019-05-20 16:35:33] 937*2^1538881-1 is not prime. Res64: 39FD2E5FFF7DABB2 Time : 0.0 sec. user=mdettweiler [2019-05-20 16:35:33] 955*2^1538881-1 is not prime. Res64: 397BC0F960503960 Time : 0.0 sec. user=mdettweiler [2019-05-20 16:35:34] 981*2^1538881-1 is not prime. Res64: A1398D34E3245C36 Time : 0.0 sec. user=mdettweiler [2019-05-20 16:35:35] 603*2^1538882-1 is not prime. Res64: 70288735270A6052 Time : 0.0 sec. user=mdettweiler [2019-05-20 16:35:35] 627*2^1538882-1 is not prime. Res64: 5E50809E5DD715BE Time : 0.0 sec. user=mdettweiler [2019-05-20 16:56:01] 651*2^1538882-1 is not prime. Res64: 8342ECC051BB0CD0 Time : 0.0 sec. user=mdettweiler [2019-05-20 16:56:02] 683*2^1538882-1 is not prime. Res64: 99859A790E9D8A43 Time : 0.0 sec. user=mdettweiler [2019-05-20 16:56:02] 837*2^1538882-1 is not prime. Res64: 7E2ADCBDC4988C6D Time : 0.0 sec. user=mdettweiler [2019-05-20 16:56:03] 643*2^1538883-1 is not prime. Res64: 07D0AA62BF7A56A4 Time : 0.0 sec. user=mdettweiler [2019-05-20 16:56:03] 691*2^1538883-1 is not prime. Res64: 275657223597C23B Time : 0.0 sec. user=mdettweiler [2019-05-20 16:56:09] 709*2^1538883-1 is not prime. Res64: FBED364ED3ADC429 Time : 0.0 sec. user=mdettweiler [2019-05-20 16:56:10] 745*2^1538883-1 is not prime. Res64: AEFCAF07A2FF4BC5 Time : 0.0 sec. user=mdettweiler [2019-05-20 16:56:11] 775*2^1538883-1 is not prime. Res64: 0D456BA86E85CC80 Time : 0.0 sec. user=mdettweiler [2019-05-20 16:56:11] 793*2^1538883-1 is not prime. Res64: 8B4F3C7F1749C663 Time : 0.0 sec. user=mdettweiler [2019-05-20 16:56:12] 921*2^1538883-1 is not prime. Res64: 1D49B23A3EE8CF52 Time : 0.0 sec. user=mdettweiler [2019-05-20 17:16:42] 951*2^1538883-1 is not prime. Res64: BA9869543F004CDB Time : 0.0 sec. user=mdettweiler [2019-05-20 17:16:43] 615*2^1538884-1 is not prime. Res64: A21CE99A356E2A1F Time : 0.0 sec. user=mdettweiler [2019-05-20 17:16:44] 675*2^1538884-1 is not prime. Res64: 5113F69A1C9F0127 Time : 0.0 sec. user=mdettweiler [2019-05-20 17:16:45] 677*2^1538884-1 is not prime. Res64: 112DE3829EBBC263 Time : 0.0 sec. user=mdettweiler [2019-05-20 17:16:46] 695*2^1538884-1 is not prime. Res64: A03233F8DD059EE8 Time : 0.0 sec. user=mdettweiler [2019-05-20 17:28:48] 707*2^1538884-1 is not prime. Res64: 2F5F5DD243E6C998 Time : 0.0 sec. user=mdettweiler [2019-05-20 17:28:49] 783*2^1538884-1 is not prime. Res64: 4D25B8744F250A0E Time : 0.0 sec. user=mdettweiler [2019-05-20 17:28:49] 827*2^1538884-1 is not prime. Res64: C36540DA0241444B Time : 0.0 sec. user=mdettweiler [2019-05-20 17:28:50] 875*2^1538884-1 is not prime. Res64: 35009EF758B0657A Time : 0.0 sec. user=mdettweiler [2019-05-20 17:28:51] 903*2^1538884-1 is not prime. Res64: F08848248AE35974 Time : 0.0 sec. user=mdettweiler [2019-05-20 17:50:06] 787*2^1538885-1 is not prime. Res64: 4D5F038E08508961 Time : 0.0 sec. user=mdettweiler [2019-05-20 17:50:06] 847*2^1538885-1 is not prime. Res64: CBA4B164574144DC Time : 0.0 sec. user=mdettweiler [2019-05-20 17:50:07] 937*2^1538885-1 is not prime. Res64: 7B859D54297E51D6 Time : 0.0 sec. user=mdettweiler [2019-05-20 17:50:07] 683*2^1538886-1 is not prime. Res64: C7152C29C97E699C Time : 0.0 sec. user=mdettweiler [2019-05-20 17:50:08] 707*2^1538886-1 is not prime. Res64: 797011A0473A6311 Time : 0.0 sec. user=mdettweiler [2019-05-20 17:50:15] 965*2^1538884-1 is not prime. Res64: D0DF574A0FCFD6DB Time : 0.0 sec. user=mdettweiler [2019-05-20 17:50:15] 969*2^1538884-1 is not prime. Res64: 02A8AE89C4DE8B8A Time : 0.0 sec. user=mdettweiler [2019-05-20 17:50:16] 601*2^1538885-1 is not prime. Res64: CE42F771094683D5 Time : 0.0 sec. user=mdettweiler [2019-05-20 17:50:17] 691*2^1538885-1 is not prime. Res64: 9E6A73AD86E07118 Time : 0.0 sec. user=mdettweiler [2019-05-20 17:50:17] 711*2^1538885-1 is not prime. Res64: 29D3CC8A37F9E03F Time : 0.0 sec. user=mdettweiler [2019-05-20 18:11:50] 711*2^1538886-1 is not prime. Res64: 99A202EEDDFC7BE7 Time : 0.0 sec. user=mdettweiler [2019-05-20 18:11:54] 725*2^1538886-1 is not prime. Res64: 7CBF8CC3AAEEB3A5 Time : 0.0 sec. user=mdettweiler [2019-05-20 18:11:57] 993*2^1538886-1 is not prime. Res64: F003353BEBD30279 Time : 0.0 sec. user=mdettweiler [2019-05-20 18:12:00] 639*2^1538887-1 is not prime. Res64: AC831CC13367CE9A Time : 0.0 sec. user=mdettweiler [2019-05-20 18:12:01] 681*2^1538887-1 is not prime. Res64: 2CD831D081B1744F Time : 0.0 sec. user=mdettweiler [2019-05-20 18:24:36] 841*2^1538887-1 is not prime. Res64: D6904904F4D6D3F7 Time : 0.0 sec. user=mdettweiler [2019-05-20 18:24:37] 885*2^1538887-1 is not prime. Res64: 46EE915AC81A4E10 Time : 0.0 sec. user=mdettweiler [2019-05-20 18:24:37] 617*2^1538888-1 is not prime. Res64: 4C1B037A59312432 Time : 0.0 sec. user=mdettweiler [2019-05-20 18:24:38] 797*2^1538888-1 is not prime. Res64: 46692B71A44EBBEF Time : 0.0 sec. user=mdettweiler [2019-05-20 18:24:39] 963*2^1538888-1 is not prime. Res64: D4D9B13DA97E0FAF Time : 0.0 sec. user=mdettweiler [2019-05-20 18:44:29] 969*2^1538888-1 is not prime. Res64: DE6B161D00EAD8E2 Time : 0.0 sec. user=mdettweiler [2019-05-20 18:44:30] 721*2^1538889-1 is not prime. Res64: 628FC8F112362181 Time : 0.0 sec. user=mdettweiler [2019-05-20 18:44:30] 817*2^1538889-1 is not prime. Res64: A5003D08DD8AC6BD Time : 0.0 sec. user=mdettweiler [2019-05-20 18:44:31] 831*2^1538890-1 is not prime. Res64: 04C17EF6E39E3E78 Time : 0.0 sec. user=mdettweiler [2019-05-20 18:44:32] 843*2^1538890-1 is not prime. Res64: 82F6B83BA093167E Time : 0.0 sec. user=mdettweiler [2019-05-20 18:44:57] 891*2^1538890-1 is not prime. Res64: 8E3362E1943125F6 Time : 0.0 sec. user=mdettweiler [2019-05-20 18:44:58] 975*2^1538890-1 is not prime. Res64: 7957104BF293A6FA Time : 0.0 sec. user=mdettweiler [2019-05-20 18:44:58] 995*2^1538890-1 is not prime. Res64: D0848D318C371E74 Time : 0.0 sec. user=mdettweiler [2019-05-20 18:44:59] 675*2^1538891-1 is not prime. Res64: A622F88BC5A099D3 Time : 0.0 sec. user=mdettweiler [2019-05-20 18:45:00] 715*2^1538891-1 is not prime. Res64: C68F19B2C31BF564 Time : 0.0 sec. user=mdettweiler [2019-05-20 19:04:30] 733*2^1538891-1 is not prime. Res64: F5DC89CB559FB080 Time : 0.0 sec. user=mdettweiler [2019-05-20 19:04:39] 735*2^1538891-1 is not prime. Res64: 9D2D622D7BB45945 Time : 0.0 sec. user=mdettweiler [2019-05-20 19:04:41] 745*2^1538891-1 is not prime. Res64: 12B44E270D9E07E5 Time : 0.0 sec. user=mdettweiler [2019-05-20 19:04:45] 813*2^1538891-1 is not prime. Res64: 9A2B3F7E1B9FACCA Time : 0.0 sec. user=mdettweiler [2019-05-20 19:04:48] 855*2^1538891-1 is not prime. Res64: 163BA9C018D3337F Time : 0.0 sec. user=mdettweiler [2019-05-20 19:16:20] 627*2^1538892-1 is not prime. Res64: 50FC70C9848BA005 Time : 0.0 sec. user=mdettweiler [2019-05-20 19:16:21] 737*2^1538892-1 is not prime. Res64: D796793718D57899 Time : 0.0 sec. user=mdettweiler [2019-05-20 19:16:22] 903*2^1538892-1 is not prime. Res64: 78ADB08F4CDF1AC3 Time : 0.0 sec. user=mdettweiler [2019-05-20 19:16:22] 983*2^1538892-1 is not prime. Res64: BF4CAC99E73A48EA Time : 0.0 sec. user=mdettweiler [2019-05-20 19:16:23] 609*2^1538893-1 is not prime. Res64: F4FABFAA994BB50E Time : 0.0 sec. user=mdettweiler [2019-05-20 19:35:56] 619*2^1538893-1 is not prime. Res64: 1F40EC94B2A5D2F2 Time : 0.0 sec. user=mdettweiler [2019-05-20 19:35:57] 757*2^1538893-1 is not prime. Res64: DD213E98508EFE6F Time : 0.0 sec. user=mdettweiler [2019-05-20 19:35:57] 801*2^1538893-1 is not prime. Res64: 6FB4939B9E355C34 Time : 0.0 sec. user=mdettweiler [2019-05-20 19:35:58] 855*2^1538893-1 is not prime. Res64: F1E7AC8DAE16595D Time : 0.0 sec. user=mdettweiler [2019-05-20 19:35:58] 861*2^1538893-1 is not prime. Res64: 60773CFEE3EBBBEC Time : 0.0 sec. user=mdettweiler [2019-05-20 19:36:36] 925*2^1538893-1 is not prime. Res64: EBF69D2A25D3925E Time : 0.0 sec. user=mdettweiler [2019-05-20 19:36:37] 987*2^1538893-1 is not prime. Res64: 3CCA82FB75737BE8 Time : 0.0 sec. user=mdettweiler [2019-05-20 19:36:38] 617*2^1538894-1 is not prime. Res64: CC8C9FCFC24DB5AC Time : 0.0 sec. user=mdettweiler [2019-05-20 19:36:38] 675*2^1538894-1 is not prime. Res64: DAF4989BAC6ADA83 Time : 0.0 sec. user=mdettweiler [2019-05-20 19:36:39] 743*2^1538894-1 is not prime. Res64: 37D605F2AA33E17F Time : 0.0 sec. user=mdettweiler [2019-05-20 19:58:02] 755*2^1538894-1 is not prime. Res64: 6ACED7A60C4F5B3E Time : 0.0 sec. user=mdettweiler [2019-05-20 19:58:02] 825*2^1538894-1 is not prime. Res64: 142764613207F004 Time : 0.0 sec. user=mdettweiler [2019-05-20 19:58:03] 857*2^1538894-1 is not prime. Res64: 54740204B29EE426 Time : 0.0 sec. user=mdettweiler [2019-05-20 19:58:03] 885*2^1538894-1 is not prime. Res64: 7C56B7FCF29881CA Time : 0.0 sec. user=mdettweiler [2019-05-20 19:58:04] 951*2^1538894-1 is not prime. Res64: C8F5BA16034D29D4 Time : 0.0 sec. user=mdettweiler [2019-05-20 20:08:05] 987*2^1538894-1 is not prime. Res64: 4D3BD46AA902CB94 Time : 0.0 sec. user=mdettweiler [2019-05-20 20:08:08] 619*2^1538895-1 is not prime. Res64: 4829E96C6D666038 Time : 0.0 sec. user=mdettweiler [2019-05-20 20:08:09] 679*2^1538895-1 is not prime. Res64: 61581DBA1C3BA871 Time : 0.0 sec. user=mdettweiler [2019-05-20 20:08:11] 819*2^1538895-1 is not prime. Res64: 9FA780B90BB933AE Time : 0.0 sec. user=mdettweiler [2019-05-20 20:08:14] 831*2^1538895-1 is not prime. Res64: FA96B2B5DAC3D191 Time : 0.0 sec. user=mdettweiler [2019-05-20 20:27:20] 999*2^1538895-1 is not prime. Res64: A62C39F3484D1F85 Time : 0.0 sec. user=mdettweiler [2019-05-20 20:27:20] 707*2^1538896-1 is not prime. Res64: 3F1A13E90CF1AAF3 Time : 0.0 sec. user=mdettweiler [2019-05-20 20:27:21] 759*2^1538896-1 is not prime. Res64: 5ADA3086542DD59B Time : 0.0 sec. user=mdettweiler [2019-05-20 20:27:21] 777*2^1538896-1 is not prime. Res64: 2E9D2152A160E256 Time : 0.0 sec. user=mdettweiler [2019-05-20 20:27:22] 825*2^1538896-1 is not prime. Res64: 11BC2B0BD185DBBB Time : 0.0 sec. user=mdettweiler [2019-05-20 20:28:21] 855*2^1538896-1 is not prime. Res64: 6E7CE332BD436749 Time : 0.0 sec. user=mdettweiler [2019-05-20 20:28:22] 869*2^1538896-1 is not prime. Res64: 065BB5D1D93B24B3 Time : 0.0 sec. user=mdettweiler [2019-05-20 20:28:22] 909*2^1538896-1 is not prime. Res64: A3D7BBC6E580AC8A Time : 0.0 sec. user=mdettweiler [2019-05-20 20:28:23] 933*2^1538896-1 is not prime. Res64: B9AD2176231C83E7 Time : 0.0 sec. user=mdettweiler [2019-05-20 20:28:23] 939*2^1538896-1 is not prime. Res64: 2EA5A8959D86F762 Time : 0.0 sec. user=mdettweiler [2019-05-20 20:49:20] 619*2^1538897-1 is not prime. Res64: FFF500BC9A372783 Time : 0.0 sec. user=mdettweiler [2019-05-20 20:49:20] 697*2^1538897-1 is not prime. Res64: ED1C90CFC58417A9 Time : 0.0 sec. user=mdettweiler [2019-05-20 20:49:21] 711*2^1538897-1 is not prime. Res64: 618C864A10524347 Time : 0.0 sec. user=mdettweiler [2019-05-20 20:49:22] 729*2^1538897-1 is not prime. Res64: 54CD3AFFC0FC6FB8 Time : 0.0 sec. user=mdettweiler [2019-05-20 20:49:22] 925*2^1538897-1 is not prime. Res64: D372E44E03523ECF Time : 0.0 sec. user=mdettweiler [2019-05-20 21:00:44] 937*2^1538897-1 is not prime. Res64: 0DBA52F63447FE51 Time : 0.0 sec. user=mdettweiler [2019-05-20 21:00:45] 979*2^1538897-1 is not prime. Res64: FF2C2A8EE6C525C1 Time : 0.0 sec. user=mdettweiler [2019-05-20 21:00:46] 737*2^1538898-1 is not prime. Res64: 11CD6416F1030002 Time : 0.0 sec. user=mdettweiler [2019-05-20 21:00:47] 765*2^1538898-1 is not prime. Res64: 2621EB497C494BA6 Time : 0.0 sec. user=mdettweiler [2019-05-20 21:00:48] 861*2^1538898-1 is not prime. Res64: F0A6848B9E748909 Time : 0.0 sec. user=mdettweiler [2019-05-20 21:18:34] 601*2^1538899-1 is not prime. Res64: BD6261EF4D62EB75 Time : 0.0 sec. user=mdettweiler [2019-05-20 21:18:35] 691*2^1538899-1 is not prime. Res64: C91F7B03CE3C0A8D Time : 0.0 sec. user=mdettweiler [2019-05-20 21:18:35] 693*2^1538899-1 is not prime. Res64: 43D98A56B4F7E028 Time : 0.0 sec. user=mdettweiler [2019-05-20 21:18:36] 703*2^1538899-1 is not prime. Res64: 663C73204EB6AA80 Time : 0.0 sec. user=mdettweiler [2019-05-20 21:18:37] 765*2^1538899-1 is not prime. Res64: 071D3BEAB4CF9C8F Time : 0.0 sec. user=mdettweiler [2019-05-20 21:20:12] 789*2^1538899-1 is not prime. Res64: F4520BF47F0FD6C8 Time : 0.0 sec. user=mdettweiler [2019-05-20 21:20:13] 793*2^1538899-1 is not prime. Res64: 52558FDB956C6405 Time : 0.0 sec. user=mdettweiler [2019-05-20 21:20:14] 913*2^1538899-1 is not prime. Res64: B2189CF789BEDBC1 Time : 0.0 sec. user=mdettweiler [2019-05-20 21:20:14] 925*2^1538899-1 is not prime. Res64: 1F2E05753775EA55 Time : 0.0 sec. user=mdettweiler [2019-05-20 21:20:15] 973*2^1538899-1 is not prime. Res64: 2D30A0D2B0B5C21C Time : 0.0 sec. user=mdettweiler [2019-05-20 21:41:31] 999*2^1538899-1 is not prime. Res64: 0B0294746CC46FE5 Time : 0.0 sec. user=mdettweiler [2019-05-20 21:41:31] 647*2^1538900-1 is not prime. Res64: BFB2E2E96FC6120D Time : 0.0 sec. user=mdettweiler [2019-05-20 21:41:32] 909*2^1538900-1 is not prime. Res64: D1EF717DEB54D9D8 Time : 0.0 sec. user=mdettweiler [2019-05-20 21:41:32] 963*2^1538900-1 is not prime. Res64: 24081C23BB3983CB Time : 0.0 sec. user=mdettweiler [2019-05-20 21:41:33] 983*2^1538900-1 is not prime. Res64: 5916F25EC281CFED Time : 0.0 sec. user=mdettweiler [2019-05-20 21:52:41] 995*2^1538900-1 is not prime. Res64: 7001822D198049CA Time : 0.0 sec. user=mdettweiler [2019-05-20 21:52:42] 681*2^1538901-1 is not prime. Res64: 54ECE5491F41E901 Time : 0.0 sec. user=mdettweiler [2019-05-20 21:52:42] 819*2^1538901-1 is not prime. Res64: 2277653234056FC1 Time : 0.0 sec. user=mdettweiler [2019-05-20 21:52:43] 829*2^1538901-1 is not prime. Res64: D5149477E021391C Time : 0.0 sec. user=mdettweiler [2019-05-20 21:52:43] 847*2^1538901-1 is not prime. Res64: 5DA5D83EC2E50A01 Time : 0.0 sec. user=mdettweiler [2019-05-20 22:11:30] 961*2^1538901-1 is not prime. Res64: 8A3287E87A6D21D1 Time : 0.0 sec. user=mdettweiler [2019-05-20 22:11:35] 975*2^1538901-1 is not prime. Res64: F594BFFA48240BEA Time : 0.0 sec. user=mdettweiler [2019-05-20 22:11:38] 997*2^1538901-1 is not prime. Res64: 1698A961CBB9B757 Time : 0.0 sec. user=mdettweiler [2019-05-20 22:11:41] 999*2^1538901-1 is not prime. Res64: EA4D7D072FAC5F8E Time : 0.0 sec. user=mdettweiler [2019-05-20 22:11:44] 717*2^1538902-1 is not prime. Res64: F35B8AEDF4D077E6 Time : 0.0 sec. user=mdettweiler [2019-05-20 22:11:47] 747*2^1538902-1 is not prime. Res64: D69DAF87463C85CE Time : 0.0 sec. user=mdettweiler [2019-05-20 22:11:49] 761*2^1538902-1 is not prime. Res64: 9006E8D13A77089D Time : 0.0 sec. user=mdettweiler [2019-05-20 22:11:52] 821*2^1538902-1 is not prime. Res64: 7494F34CB5061AD3 Time : 0.0 sec. user=mdettweiler [2019-05-20 22:11:54] 827*2^1538902-1 is not prime. Res64: E0C8A4EE3BC19C46 Time : 0.0 sec. user=mdettweiler [2019-05-20 22:11:56] 885*2^1538902-1 is not prime. Res64: 8037FB0893F5F883 Time : 0.0 sec. user=mdettweiler [2019-05-20 22:32:43] 685*2^1538903-1 is not prime. Res64: EDA81E17FA48A4D4 Time : 0.0 sec. user=mdettweiler [2019-05-20 22:32:43] 859*2^1538903-1 is not prime. Res64: 14A0C962922647A2 Time : 0.0 sec. user=mdettweiler [2019-05-20 22:32:44] 609*2^1538904-1 is not prime. Res64: 97E7E123903218CB Time : 0.0 sec. user=mdettweiler [2019-05-20 22:32:44] 623*2^1538904-1 is not prime. Res64: A1E67D56839A92E3 Time : 0.0 sec. user=mdettweiler [2019-05-20 22:32:44] 663*2^1538904-1 is not prime. Res64: 7B4608DBF66A7A6E Time : 0.0 sec. user=mdettweiler [2019-05-20 22:44:02] 717*2^1538904-1 is not prime. Res64: 06E1D73453CD5D9D Time : 0.0 sec. user=mdettweiler [2019-05-20 22:44:02] 875*2^1538904-1 is not prime. Res64: CC2921389670D00F Time : 0.0 sec. user=mdettweiler [2019-05-20 22:44:03] 909*2^1538904-1 is not prime. Res64: 31CFBC93682C398A Time : 0.0 sec. user=mdettweiler [2019-05-20 22:44:03] 923*2^1538904-1 is not prime. Res64: D84459CB5FA04C8B Time : 0.0 sec. user=mdettweiler [2019-05-20 22:44:04] 947*2^1538904-1 is not prime. Res64: 33601D4414F4C5C7 Time : 0.0 sec. user=mdettweiler [2019-05-20 23:03:31] 651*2^1538905-1 is not prime. Res64: BC575BF3A445C2AE Time : 0.0 sec. user=mdettweiler [2019-05-20 23:03:32] 661*2^1538905-1 is not prime. Res64: 2D508A7A0496D7D5 Time : 0.0 sec. user=mdettweiler [2019-05-20 23:03:34] 679*2^1538905-1 is not prime. Res64: C3F3B36B348F2E81 Time : 0.0 sec. user=mdettweiler [2019-05-20 23:03:35] 699*2^1538905-1 is not prime. Res64: 65987F9E1D8EA156 Time : 0.0 sec. user=mdettweiler [2019-05-20 23:03:36] 715*2^1538905-1 is not prime. Res64: 458499DA195F3689 Time : 0.0 sec. user=mdettweiler [2019-05-20 23:03:43] 729*2^1538905-1 is not prime. Res64: 70B98A5C254016D6 Time : 0.0 sec. user=mdettweiler [2019-05-20 23:03:45] 861*2^1538905-1 is not prime. Res64: F095ACD51DE1A026 Time : 0.0 sec. user=mdettweiler [2019-05-20 23:03:47] 895*2^1538905-1 is not prime. Res64: 164CF7DB15AC58F7 Time : 0.0 sec. user=mdettweiler [2019-05-20 23:03:49] 615*2^1538906-1 is not prime. Res64: 76320CDF54C58D25 Time : 0.0 sec. user=mdettweiler [2019-05-20 23:03:51] 623*2^1538906-1 is not prime. Res64: 0E997AE123D85EDF Time : 0.0 sec. user=mdettweiler [2019-05-20 23:23:56] 627*2^1538906-1 is not prime. Res64: 592AEF640100E117 Time : 0.0 sec. user=mdettweiler [2019-05-20 23:23:57] 641*2^1538906-1 is not prime. Res64: 0848BD0F1C3FB96C Time : 0.0 sec. user=mdettweiler [2019-05-20 23:23:57] 657*2^1538906-1 is not prime. Res64: 28904BAF1BCCC69D Time : 0.0 sec. user=mdettweiler [2019-05-20 23:23:58] 741*2^1538906-1 is not prime. Res64: 80BAE26B45ED9810 Time : 0.0 sec. user=mdettweiler [2019-05-20 23:23:58] 743*2^1538906-1 is not prime. Res64: 2D6E38C7A78058B7 Time : 0.0 sec. user=mdettweiler [2019-05-20 23:35:27] 755*2^1538906-1 is not prime. Res64: 6DE03D582A8E7B21 Time : 0.0 sec. user=mdettweiler [2019-05-20 23:35:27] 783*2^1538906-1 is not prime. Res64: AA9CF56000FBE93D Time : 0.0 sec. user=mdettweiler [2019-05-20 23:35:28] 813*2^1538906-1 is not prime. Res64: FFAFD982428B1371 Time : 0.0 sec. user=mdettweiler [2019-05-20 23:35:29] 815*2^1538906-1 is not prime. Res64: 952E3988B3D94A41 Time : 0.0 sec. user=mdettweiler [2019-05-20 23:35:29] 827*2^1538906-1 is not prime. Res64: 1F2234390D38D8E6 Time : 0.0 sec. user=mdettweiler [2019-05-20 23:55:36] 619*2^1538907-1 is not prime. Res64: 77572457B4CA58E6 Time : 0.0 sec. user=mdettweiler [2019-05-20 23:55:37] 643*2^1538907-1 is not prime. Res64: EFAEAE1BF70FBA2A Time : 0.0 sec. user=mdettweiler [2019-05-20 23:55:37] 651*2^1538907-1 is not prime. Res64: ABAA25182D4F02E2 Time : 0.0 sec. user=mdettweiler [2019-05-20 23:55:38] 685*2^1538907-1 is not prime. Res64: E56BB805ADB3C4BB Time : 0.0 sec. user=mdettweiler [2019-05-20 23:55:38] 741*2^1538907-1 is not prime. Res64: 22B82604AC8F175A Time : 0.0 sec. user=mdettweiler [2019-05-20 23:57:01] 921*2^1538906-1 is not prime. Res64: 684A465740EF18F5 Time : 0.0 sec. user=mdettweiler [2019-05-20 23:57:02] 935*2^1538906-1 is not prime. Res64: A3A379A154B60BFF Time : 0.0 sec. user=mdettweiler [2019-05-20 23:57:02] 941*2^1538906-1 is not prime. Res64: 9C2A5FDB3BEABC73 Time : 0.0 sec. user=mdettweiler [2019-05-20 23:57:03] 987*2^1538906-1 is not prime. Res64: 128F16EE5D1DA48E Time : 0.0 sec. user=mdettweiler [2019-05-20 23:57:03] 1001*2^1538906-1 is not prime. Res64: 4A452B0DED22FAAC Time : 0.0 sec.