user=mdettweiler [2020-01-08 00:38:42] 897*2^1552385-1 is not prime. Res64: 16DA9B5F3957488E Time : 0.0 sec. user=mdettweiler [2020-01-08 00:38:43] 641*2^1552386-1 is not prime. Res64: AFCFD7A32F6BDA0A Time : 0.0 sec. user=mdettweiler [2020-01-08 00:38:44] 711*2^1552386-1 is not prime. Res64: C23B8B72237C7EDF Time : 0.0 sec. user=mdettweiler [2020-01-08 00:38:45] 723*2^1552386-1 is not prime. Res64: 6E4631BCA8957C0D Time : 0.0 sec. user=mdettweiler [2020-01-08 00:38:45] 725*2^1552386-1 is not prime. Res64: 0DB6816114C7FAEB Time : 0.0 sec. user=mdettweiler [2020-01-08 00:44:06] 741*2^1552386-1 is not prime. Res64: 47E9BEF719A94297 Time : 0.0 sec. user=mdettweiler [2020-01-08 00:44:06] 765*2^1552386-1 is not prime. Res64: C16ADF36AC758BAF Time : 0.0 sec. user=mdettweiler [2020-01-08 00:44:07] 903*2^1552386-1 is not prime. Res64: AA33DC2CE45407B2 Time : 0.0 sec. user=mdettweiler [2020-01-08 00:44:07] 923*2^1552386-1 is not prime. Res64: 062AF4CE491C7D48 Time : 0.0 sec. user=mdettweiler [2020-01-08 00:44:07] 983*2^1552386-1 is not prime. Res64: D7C395A8C336DF09 Time : 0.0 sec. user=mdettweiler [2020-01-08 00:49:17] 603*2^1552387-1 is not prime. Res64: E5E1D82198BE5A8A Time : 0.0 sec. user=mdettweiler [2020-01-08 00:49:17] 619*2^1552387-1 is not prime. Res64: 80FD7F43994A830A Time : 0.0 sec. user=mdettweiler [2020-01-08 00:49:18] 691*2^1552387-1 is not prime. Res64: 2FB80D502CF95198 Time : 0.0 sec. user=mdettweiler [2020-01-08 00:49:18] 699*2^1552387-1 is not prime. Res64: DE37DB7A3ECA74E2 Time : 0.0 sec. user=mdettweiler [2020-01-08 00:49:18] 873*2^1552387-1 is not prime. Res64: D8330EED86DF9E1D Time : 0.0 sec. user=mdettweiler [2020-01-08 01:33:31] 885*2^1552387-1 is not prime. Res64: 760180F19BBAE1DF Time : 0.0 sec. user=mdettweiler [2020-01-08 01:33:33] 985*2^1552387-1 is not prime. Res64: F1AB24609F43BA68 Time : 0.0 sec. user=mdettweiler [2020-01-08 01:33:37] 669*2^1552388-1 is not prime. Res64: 9E72FCAC394A2CF2 Time : 0.0 sec. user=mdettweiler [2020-01-08 01:33:39] 797*2^1552388-1 is not prime. Res64: 3A056A33E172D966 Time : 0.0 sec. user=mdettweiler [2020-01-08 01:33:41] 977*2^1552388-1 is not prime. Res64: 8EB96BCEAE0DBA3D Time : 0.0 sec. user=mdettweiler [2020-01-08 01:38:23] 721*2^1552389-1 is not prime. Res64: 452A215D4F7608DA Time : 0.0 sec. user=mdettweiler [2020-01-08 01:38:25] 745*2^1552389-1 is not prime. Res64: 495A6004460470C2 Time : 0.0 sec. user=mdettweiler [2020-01-08 01:38:26] 769*2^1552389-1 is not prime. Res64: A9B979641B7FD7E6 Time : 0.0 sec. user=mdettweiler [2020-01-08 01:38:28] 927*2^1552389-1 is not prime. Res64: 220A1563CE69DBC9 Time : 0.0 sec. user=mdettweiler [2020-01-08 01:38:29] 945*2^1552389-1 is not prime. Res64: 180D348D2A9FE0AF Time : 0.0 sec. user=mdettweiler [2020-01-08 01:42:07] 985*2^1552389-1 is not prime. Res64: 46DEF9C64699878F Time : 0.0 sec. user=mdettweiler [2020-01-08 01:42:10] 645*2^1552390-1 is not prime. Res64: DB3D983EDE468184 Time : 0.0 sec. user=mdettweiler [2020-01-08 01:42:13] 663*2^1552390-1 is not prime. Res64: 9AFEFE9855658E41 Time : 0.0 sec. user=mdettweiler [2020-01-08 01:42:17] 687*2^1552390-1 is not prime. Res64: 7CD5052ED5AFE256 Time : 0.0 sec. user=mdettweiler [2020-01-08 01:42:19] 731*2^1552390-1 is not prime. Res64: 023F70156C093E43 Time : 0.0 sec. user=mdettweiler [2020-01-08 02:26:51] 755*2^1552390-1 is not prime. Res64: 9CC3E3D46C374941 Time : 0.0 sec. user=mdettweiler [2020-01-08 02:26:52] 891*2^1552390-1 is not prime. Res64: 29654FF79A2AE509 Time : 0.0 sec. user=mdettweiler [2020-01-08 02:26:54] 917*2^1552390-1 is not prime. Res64: 4724A8D6FB237A30 Time : 0.0 sec. user=mdettweiler [2020-01-08 02:26:55] 663*2^1552391-1 is not prime. Res64: 2C8CB3AFDCDC773C Time : 0.0 sec. user=mdettweiler [2020-01-08 02:26:56] 715*2^1552391-1 is not prime. Res64: F749B99479B6A738 Time : 0.0 sec. user=mdettweiler [2020-01-08 02:32:46] 759*2^1552391-1 is not prime. Res64: 378556A492E43295 Time : 0.0 sec. user=mdettweiler [2020-01-08 02:32:47] 783*2^1552391-1 is not prime. Res64: B6B0E181ECE7E863 Time : 0.0 sec. user=mdettweiler [2020-01-08 02:32:48] 811*2^1552391-1 is not prime. Res64: BF2938D30C107148 Time : 0.0 sec. user=mdettweiler [2020-01-08 02:32:49] 921*2^1552391-1 is not prime. Res64: F327E04C8758DCDC Time : 0.0 sec. user=mdettweiler [2020-01-08 02:32:50] 939*2^1552391-1 is not prime. Res64: 724302071413F986 Time : 0.0 sec. user=mdettweiler [2020-01-08 02:38:41] 899*2^1552392-1 is not prime. Res64: 613866A786530B30 Time : 0.0 sec. user=mdettweiler [2020-01-08 02:38:45] 903*2^1552392-1 is not prime. Res64: 58BDCAF04B5A6FC4 Time : 0.0 sec. user=mdettweiler [2020-01-08 02:38:50] 917*2^1552392-1 is not prime. Res64: 26BCAF9DBA2261D7 Time : 0.0 sec. user=mdettweiler [2020-01-08 02:38:54] 945*2^1552392-1 is not prime. Res64: 8CCEA274FB722735 Time : 0.0 sec. user=mdettweiler [2020-01-08 02:38:58] 999*2^1552392-1 is not prime. Res64: 390287CA1F9728C6 Time : 0.0 sec. user=mdettweiler [2020-01-08 03:18:55] 607*2^1552393-1 is not prime. Res64: BD3AE47CEDDADE7B Time : 0.0 sec. user=mdettweiler [2020-01-08 03:18:56] 741*2^1552393-1 is not prime. Res64: 8F13548C82B91B08 Time : 0.0 sec. user=mdettweiler [2020-01-08 03:18:56] 811*2^1552393-1 is not prime. Res64: 69302A23E7597D32 Time : 0.0 sec. user=mdettweiler [2020-01-08 03:18:57] 901*2^1552393-1 is not prime. Res64: 59727E274DF30A9C Time : 0.0 sec. user=mdettweiler [2020-01-08 03:18:57] 645*2^1552394-1 is not prime. Res64: B17117C9832FCE8C Time : 0.0 sec. user=mdettweiler [2020-01-08 03:26:17] 711*2^1552394-1 is not prime. Res64: E1692267BFCDDB8C Time : 0.0 sec. user=mdettweiler [2020-01-08 03:26:18] 851*2^1552394-1 is not prime. Res64: 7E27C70B44E2CF3C Time : 0.0 sec. user=mdettweiler [2020-01-08 03:26:19] 861*2^1552394-1 is not prime. Res64: B696501F70C69066 Time : 0.0 sec. user=mdettweiler [2020-01-08 03:26:19] 875*2^1552394-1 is not prime. Res64: AC424E32407D8BF7 Time : 0.0 sec. user=mdettweiler [2020-01-08 03:26:20] 983*2^1552394-1 is not prime. Res64: 3814D9D9F4CA8FA7 Time : 0.0 sec. user=mdettweiler [2020-01-08 03:32:26] 709*2^1552395-1 is not prime. Res64: 21D3EC03A1BBC721 Time : 0.0 sec. user=mdettweiler [2020-01-08 03:32:32] 783*2^1552395-1 is not prime. Res64: C3D0BFC00DF48BC1 Time : 0.0 sec. user=mdettweiler [2020-01-08 03:32:35] 819*2^1552395-1 is not prime. Res64: 9A2905E9DBE907FD Time : 0.0 sec. user=mdettweiler [2020-01-08 03:32:38] 823*2^1552395-1 is not prime. Res64: 686852B0514972C7 Time : 0.0 sec. user=mdettweiler [2020-01-08 03:32:41] 717*2^1552396-1 is not prime. Res64: 01CD8A5CB25777F4 Time : 0.0 sec. user=mdettweiler [2020-01-08 04:10:55] 765*2^1552396-1 is not prime. Res64: D5BC8F4707CFCB58 Time : 0.0 sec. user=mdettweiler [2020-01-08 04:10:58] 773*2^1552396-1 is not prime. Res64: 126ACEFC4E6F42C0 Time : 0.0 sec. user=mdettweiler [2020-01-08 04:11:03] 813*2^1552396-1 is not prime. Res64: A660C7B33DA47E74 Time : 0.0 sec. user=mdettweiler [2020-01-08 04:11:07] 873*2^1552396-1 is not prime. Res64: A313358E7620921D Time : 0.0 sec. user=mdettweiler [2020-01-08 04:11:12] 897*2^1552396-1 is not prime. Res64: 8ABE6174638FEF90 Time : 0.0 sec. user=mdettweiler [2020-01-08 04:18:48] 999*2^1552396-1 is not prime. Res64: 7A7315235DADEEEC Time : 0.0 sec. user=mdettweiler [2020-01-08 04:18:52] 655*2^1552397-1 is not prime. Res64: 23C497B59DB6E8D5 Time : 0.0 sec. user=mdettweiler [2020-01-08 04:18:54] 675*2^1552397-1 is not prime. Res64: 931073CF20244C03 Time : 0.0 sec. user=mdettweiler [2020-01-08 04:18:55] 717*2^1552397-1 is not prime. Res64: B37F56422ED5B011 Time : 0.0 sec. user=mdettweiler [2020-01-08 04:18:58] 727*2^1552397-1 is not prime. Res64: A8E140AB878C0E4D Time : 0.0 sec. user=mdettweiler [2020-01-08 04:26:52] 735*2^1552397-1 is not prime. Res64: 2DF463B89E91E0ED Time : 0.0 sec. user=mdettweiler [2020-01-08 04:26:52] 741*2^1552397-1 is not prime. Res64: E04BBBE0154D273C Time : 0.0 sec. user=mdettweiler [2020-01-08 04:26:53] 865*2^1552397-1 is not prime. Res64: 5541E89A75BA475C Time : 0.0 sec. user=mdettweiler [2020-01-08 04:26:54] 879*2^1552397-1 is not prime. Res64: 13728A4F3C1F11FD Time : 0.0 sec. user=mdettweiler [2020-01-08 04:26:54] 997*2^1552397-1 is not prime. Res64: 77DF0E2C2BF2D233 Time : 0.0 sec. user=mdettweiler [2020-01-08 05:08:04] 737*2^1552398-1 is not prime. Res64: 05384B31C1EC10FB Time : 0.0 sec. user=mdettweiler [2020-01-08 05:08:07] 915*2^1552398-1 is not prime. Res64: FF8724D14EB4565E Time : 0.0 sec. user=mdettweiler [2020-01-08 05:08:11] 927*2^1552398-1 is not prime. Res64: 0BBDE332642BA3AA Time : 0.0 sec. user=mdettweiler [2020-01-08 05:08:14] 945*2^1552398-1 is not prime. Res64: 68DBC251F3B20BB0 Time : 0.0 sec. user=mdettweiler [2020-01-08 05:08:16] 951*2^1552398-1 is not prime. Res64: F483DE0FE5BE35AE Time : 0.0 sec. user=mdettweiler [2020-01-08 05:13:41] 675*2^1552399-1 is not prime. Res64: 178BAD71A8C33414 Time : 0.0 sec. user=mdettweiler [2020-01-08 05:13:44] 843*2^1552399-1 is not prime. Res64: 37265337137F76F2 Time : 0.0 sec. user=mdettweiler [2020-01-08 05:13:46] 853*2^1552399-1 is not prime. Res64: AD4E60E54F2EA1EA Time : 0.0 sec. user=mdettweiler [2020-01-08 05:13:48] 985*2^1552399-1 is not prime. Res64: 6097357BC98758CB Time : 0.0 sec. user=mdettweiler [2020-01-08 05:13:50] 615*2^1552400-1 is not prime. Res64: 4CD10547FE0B2AA2 Time : 0.0 sec. user=mdettweiler [2020-01-08 05:19:58] 713*2^1552400-1 is not prime. Res64: 19970A6CA0837802 Time : 0.0 sec. user=mdettweiler [2020-01-08 05:20:00] 717*2^1552400-1 is not prime. Res64: 19DFDEF4D80CB9CD Time : 0.0 sec. user=mdettweiler [2020-01-08 05:20:01] 743*2^1552400-1 is not prime. Res64: 26DC1F0330BD4808 Time : 0.0 sec. user=mdettweiler [2020-01-08 05:20:03] 825*2^1552400-1 is not prime. Res64: 37F32ED73EA0D516 Time : 0.0 sec. user=mdettweiler [2020-01-08 05:20:06] 963*2^1552400-1 is not prime. Res64: CEF9BAE8E9201C1B Time : 0.0 sec. user=mdettweiler [2020-01-08 06:01:31] 679*2^1552401-1 is not prime. Res64: 485F78F70C731863 Time : 0.0 sec. user=mdettweiler [2020-01-08 06:01:32] 705*2^1552401-1 is not prime. Res64: B6399E51314B725B Time : 0.0 sec. user=mdettweiler [2020-01-08 06:01:33] 745*2^1552401-1 is not prime. Res64: 434D295B2888D03B Time : 0.0 sec. user=mdettweiler [2020-01-08 06:01:35] 837*2^1552401-1 is not prime. Res64: 028D565D16EF1A65 Time : 0.0 sec. user=mdettweiler [2020-01-08 06:01:37] 885*2^1552401-1 is not prime. Res64: 71BD92C280039F90 Time : 0.0 sec. user=mdettweiler [2020-01-08 06:10:06] 895*2^1552401-1 is not prime. Res64: 65530820AA8EF124 Time : 0.0 sec. user=mdettweiler [2020-01-08 06:10:08] 955*2^1552401-1 is not prime. Res64: 323B54F83EA37262 Time : 0.0 sec. user=mdettweiler [2020-01-08 06:10:10] 975*2^1552401-1 is not prime. Res64: D5C246CF32647B07 Time : 0.0 sec. user=mdettweiler [2020-01-08 06:10:12] 991*2^1552401-1 is not prime. Res64: 35DF18AFBB7A0429 Time : 0.0 sec. user=mdettweiler [2020-01-08 06:10:14] 645*2^1552402-1 is not prime. Res64: 113CD5DC456440C8 Time : 0.0 sec. user=mdettweiler [2020-01-08 06:12:23] 705*2^1552402-1 is not prime. Res64: 856501C75F631EC1 Time : 0.0 sec. user=mdettweiler [2020-01-08 06:12:24] 723*2^1552402-1 is not prime. Res64: 7E2AB695E103E630 Time : 0.0 sec. user=mdettweiler [2020-01-08 06:12:24] 813*2^1552402-1 is not prime. Res64: 1D93326863AD34AA Time : 0.0 sec. user=mdettweiler [2020-01-08 06:12:25] 831*2^1552402-1 is not prime. Res64: 02051C26DBEAEC06 Time : 0.0 sec. user=mdettweiler [2020-01-08 06:12:25] 833*2^1552402-1 is not prime. Res64: D5FDC1A206257826 Time : 0.0 sec. user=mdettweiler [2020-01-08 06:53:36] 609*2^1552403-1 is not prime. Res64: 4071F04616797955 Time : 0.0 sec. user=mdettweiler [2020-01-08 06:53:37] 619*2^1552403-1 is not prime. Res64: 604778CC7D87CC88 Time : 0.0 sec. user=mdettweiler [2020-01-08 06:53:37] 621*2^1552403-1 is not prime. Res64: AFA46AD92B5A3C1F Time : 0.0 sec. user=mdettweiler [2020-01-08 06:53:38] 771*2^1552403-1 is not prime. Res64: 903CDCA7FA099941 Time : 0.0 sec. user=mdettweiler [2020-01-08 06:53:38] 859*2^1552403-1 is not prime. Res64: 92257BC88F15C18F Time : 0.0 sec. user=mdettweiler [2020-01-08 07:02:41] 913*2^1552403-1 is not prime. Res64: 3BE982F81D200040 Time : 0.0 sec. user=mdettweiler [2020-01-08 07:02:42] 723*2^1552404-1 is not prime. Res64: C63F9EB126831129 Time : 0.0 sec. user=mdettweiler [2020-01-08 07:02:43] 759*2^1552404-1 is not prime. Res64: A0AACB79AA9C1DCC Time : 0.0 sec. user=mdettweiler [2020-01-08 07:02:44] 783*2^1552404-1 is not prime. Res64: FE84AF860FD7A543 Time : 0.0 sec. user=mdettweiler [2020-01-08 07:02:45] 795*2^1552404-1 is not prime. Res64: 01F1D5F6B5E1B29B Time : 0.0 sec. user=mdettweiler [2020-01-08 07:05:19] 837*2^1552404-1 is not prime. Res64: 13F05F6713EDC5B6 Time : 0.0 sec. user=mdettweiler [2020-01-08 07:05:23] 965*2^1552404-1 is not prime. Res64: 7F03704ED5B5D5C3 Time : 0.0 sec. user=mdettweiler [2020-01-08 07:05:25] 645*2^1552405-1 is not prime. Res64: CE55B39B9C1AF37D Time : 0.0 sec. user=mdettweiler [2020-01-08 07:05:27] 741*2^1552405-1 is not prime. Res64: 04B152F19146BE03 Time : 0.0 sec. user=mdettweiler [2020-01-08 07:05:29] 789*2^1552405-1 is not prime. Res64: C89E1502EE041CCD Time : 0.0 sec. user=mdettweiler [2020-01-08 07:47:59] 861*2^1552405-1 is not prime. Res64: FFC14FA434814D2D Time : 0.0 sec. user=mdettweiler [2020-01-08 07:47:59] 871*2^1552405-1 is not prime. Res64: 6C0A0C060386809C Time : 0.0 sec. user=mdettweiler [2020-01-08 07:47:59] 937*2^1552405-1 is not prime. Res64: 913939F265FE13C6 Time : 0.0 sec. user=mdettweiler [2020-01-08 07:48:00] 979*2^1552405-1 is not prime. Res64: 8DE7B9EC1C7BA8F7 Time : 0.0 sec. user=mdettweiler [2020-01-08 07:48:00] 623*2^1552406-1 is not prime. Res64: ED13AA897734B8F3 Time : 0.0 sec. user=mdettweiler [2020-01-08 07:57:18] 683*2^1552406-1 is not prime. Res64: F96E8027D29A6AB8 Time : 0.0 sec. user=mdettweiler [2020-01-08 07:57:18] 773*2^1552406-1 is not prime. Res64: 9301C5CAF6C102E8 Time : 0.0 sec. user=mdettweiler [2020-01-08 07:57:19] 941*2^1552406-1 is not prime. Res64: F85F6110C7D7DBAA Time : 0.0 sec. user=mdettweiler [2020-01-08 07:57:19] 971*2^1552406-1 is not prime. Res64: D8F065EBC5133F6D Time : 0.0 sec. user=mdettweiler [2020-01-08 07:57:19] 861*2^1552407-1 is not prime. Res64: EF9D90EAB0D244C6 Time : 0.0 sec. user=mdettweiler [2020-01-08 07:57:53] 873*2^1552407-1 is not prime. Res64: E489C61C203C208E Time : 0.0 sec. user=mdettweiler [2020-01-08 07:57:54] 603*2^1552408-1 is not prime. Res64: 3F926DC9FB8A59C9 Time : 0.0 sec. user=mdettweiler [2020-01-08 07:57:54] 605*2^1552408-1 is not prime. Res64: EB2209C4E03D9122 Time : 0.0 sec. user=mdettweiler [2020-01-08 07:57:54] 615*2^1552408-1 is not prime. Res64: 557F145874086064 Time : 0.0 sec. user=mdettweiler [2020-01-08 07:57:55] 777*2^1552408-1 is not prime. Res64: E252E6BB4122122A Time : 0.0 sec. user=mdettweiler [2020-01-08 08:41:31] 825*2^1552408-1 is not prime. Res64: F5552673B41C68A3 Time : 0.0 sec. user=mdettweiler [2020-01-08 08:41:32] 915*2^1552408-1 is not prime. Res64: 7DCEF8ED18CDE5AD Time : 0.0 sec. user=mdettweiler [2020-01-08 08:41:32] 787*2^1552409-1 is not prime. Res64: B5C0D6A848B148AB Time : 0.0 sec. user=mdettweiler [2020-01-08 08:41:33] 885*2^1552409-1 is not prime. Res64: 95728B4487CAAC60 Time : 0.0 sec. user=mdettweiler [2020-01-08 08:41:33] 931*2^1552409-1 is not prime. Res64: D9CBC7FA2A93A168 Time : 0.0 sec. user=mdettweiler [2020-01-08 08:50:19] 949*2^1552409-1 is not prime. Res64: F5222264B052844F Time : 0.0 sec. user=mdettweiler [2020-01-08 08:50:20] 641*2^1552410-1 is not prime. Res64: 398DDBC148312E16 Time : 0.0 sec. user=mdettweiler [2020-01-08 08:50:20] 677*2^1552410-1 is not prime. Res64: 19FA63725C8D80F1 Time : 0.0 sec. user=mdettweiler [2020-01-08 08:50:21] 803*2^1552410-1 is not prime. Res64: AA0CFEAD25FFD872 Time : 0.0 sec. user=mdettweiler [2020-01-08 08:50:21] 893*2^1552410-1 is not prime. Res64: 52332A25CBE6EAC2 Time : 0.0 sec. user=mdettweiler [2020-01-08 08:50:48] 685*2^1552411-1 is not prime. Res64: 497A8DA49E879983 Time : 0.0 sec. user=mdettweiler [2020-01-08 08:50:48] 715*2^1552411-1 is not prime. Res64: F4C308551C47578E Time : 0.0 sec. user=mdettweiler [2020-01-08 08:50:49] 813*2^1552411-1 is not prime. Res64: B1F6310F9B2D86C7 Time : 0.0 sec. user=mdettweiler [2020-01-08 08:50:49] 849*2^1552411-1 is not prime. Res64: CDF02B207907EA44 Time : 0.0 sec. user=mdettweiler [2020-01-08 08:50:49] 961*2^1552411-1 is not prime. Res64: F3549B76876759FA Time : 0.0 sec. user=mdettweiler [2020-01-08 09:32:54] 629*2^1552412-1 is not prime. Res64: 7AFC7841672E89FF Time : 0.0 sec. user=mdettweiler [2020-01-08 09:32:54] 633*2^1552412-1 is not prime. Res64: 10E322EFDED58BE3 Time : 0.0 sec. user=mdettweiler [2020-01-08 09:32:55] 647*2^1552412-1 is not prime. Res64: 87155B053104C57D Time : 0.0 sec. user=mdettweiler [2020-01-08 09:32:55] 665*2^1552412-1 is not prime. Res64: 4D1A7CF5E8E66ED2 Time : 0.0 sec. user=mdettweiler [2020-01-08 09:32:55] 797*2^1552412-1 is not prime. Res64: 9F9D7A9C6A0785DF Time : 0.0 sec. user=mdettweiler [2020-01-08 09:44:17] 915*2^1552412-1 is not prime. Res64: 38EE7BB6E2A056B2 Time : 0.0 sec. user=mdettweiler [2020-01-08 09:44:17] 977*2^1552412-1 is not prime. Res64: 5ADB952EC3FF73C0 Time : 0.0 sec. user=mdettweiler [2020-01-08 09:44:17] 999*2^1552412-1 is not prime. Res64: C5C5B1B09E19FE66 Time : 0.0 sec. user=mdettweiler [2020-01-08 09:44:18] 657*2^1552413-1 is not prime. Res64: 1F91CCC355D0903E Time : 0.0 sec. user=mdettweiler [2020-01-08 09:44:18] 765*2^1552413-1 is not prime. Res64: B5DFE84156BDE6B0 Time : 0.0 sec. user=mdettweiler [2020-01-08 09:45:01] 811*2^1552413-1 is not prime. Res64: CAD40A8614C1E5F4 Time : 0.0 sec. user=mdettweiler [2020-01-08 09:45:01] 891*2^1552413-1 is not prime. Res64: 36D3D4B7912557B2 Time : 0.0 sec. user=mdettweiler [2020-01-08 09:45:02] 951*2^1552413-1 is not prime. Res64: 185F13B2899A4538 Time : 0.0 sec. user=mdettweiler [2020-01-08 09:45:03] 991*2^1552413-1 is not prime. Res64: 089F1651E96B33E6 Time : 0.0 sec. user=mdettweiler [2020-01-08 09:45:03] 611*2^1552414-1 is not prime. Res64: B0EB7132A2A14309 Time : 0.0 sec. user=mdettweiler [2020-01-08 10:13:49] 777*2^1552417-1 is not prime. Res64: 7B2CD115A005FC80 Time : 0.0 sec. user=mdettweiler [2020-01-08 10:26:08] 717*2^1552414-1 is not prime. Res64: B1108F9E693F7315 Time : 0.0 sec. user=mdettweiler [2020-01-08 10:26:08] 821*2^1552414-1 is not prime. Res64: F3B697ADEA552CBF Time : 0.0 sec. user=mdettweiler [2020-01-08 10:26:08] 887*2^1552414-1 is not prime. Res64: C40B74CE41399D4E Time : 0.0 sec. user=mdettweiler [2020-01-08 10:26:09] 917*2^1552414-1 is not prime. Res64: B8A9CF62158B7C5D Time : 0.0 sec. user=mdettweiler [2020-01-08 10:26:09] 993*2^1552414-1 is not prime. Res64: EF6F05F3485A8CB1 Time : 0.0 sec. user=mdettweiler [2020-01-08 10:35:32] 655*2^1552415-1 is not prime. Res64: 7CE479AB4D96850F Time : 0.0 sec. user=mdettweiler [2020-01-08 10:35:33] 741*2^1552415-1 is not prime. Res64: E798AFC8C484E11B Time : 0.0 sec. user=mdettweiler [2020-01-08 10:35:33] 789*2^1552415-1 is not prime. Res64: A7E650EEF8556ECD Time : 0.0 sec. user=mdettweiler [2020-01-08 10:35:34] 635*2^1552416-1 is not prime. Res64: 4AB938A3F46AD777 Time : 0.0 sec. user=mdettweiler [2020-01-08 10:35:34] 747*2^1552416-1 is not prime. Res64: A709C8667BB5A5A5 Time : 0.0 sec. user=mdettweiler [2020-01-08 10:37:54] 909*2^1552416-1 is not prime. Res64: 1BF1EE9DCC74D73C Time : 0.0 sec. user=mdettweiler [2020-01-08 10:37:54] 917*2^1552416-1 is not prime. Res64: CC662E3D5D3092FC Time : 0.0 sec. user=mdettweiler [2020-01-08 10:37:55] 927*2^1552416-1 is not prime. Res64: 81CCF56C92C18495 Time : 0.0 sec. user=mdettweiler [2020-01-08 10:37:55] 675*2^1552417-1 is not prime. Res64: 870B9A0D28C0A74A Time : 0.0 sec. user=mdettweiler [2020-01-08 10:37:56] 747*2^1552417-1 is not prime. Res64: EEA689F88584836E Time : 0.0 sec. user=mdettweiler [2020-01-08 11:20:22] 835*2^1552417-1 is not prime. Res64: 0C91EA43110CB1E1 Time : 0.0 sec. user=mdettweiler [2020-01-08 11:20:22] 915*2^1552417-1 is not prime. Res64: FB9DDBCFA14F1B63 Time : 0.0 sec. user=mdettweiler [2020-01-08 11:20:23] 937*2^1552417-1 is not prime. Res64: 0D17E810BE9CA52D Time : 0.0 sec. user=mdettweiler [2020-01-08 11:20:23] 985*2^1552417-1 is not prime. Res64: 94300E1E2A1720A3 Time : 0.0 sec. user=mdettweiler [2020-01-08 11:20:24] 657*2^1552418-1 is not prime. Res64: EF4E8EAB5E16DB26 Time : 0.0 sec. user=mdettweiler [2020-01-08 11:27:24] 671*2^1552418-1 is not prime. Res64: E43423802B8E14C0 Time : 0.0 sec. user=mdettweiler [2020-01-08 11:27:25] 683*2^1552418-1 is not prime. Res64: D0A0450C6B062316 Time : 0.0 sec. user=mdettweiler [2020-01-08 11:27:25] 797*2^1552418-1 is not prime. Res64: F619087624C07E1C Time : 0.0 sec. user=mdettweiler [2020-01-08 11:27:25] 845*2^1552418-1 is not prime. Res64: 54AA8F1799F4CA23 Time : 0.0 sec. user=mdettweiler [2020-01-08 11:27:26] 867*2^1552418-1 is not prime. Res64: EA26E87065F0022D Time : 0.0 sec. user=mdettweiler [2020-01-08 11:31:53] 893*2^1552418-1 is not prime. Res64: CFC4BE483C3FC87C Time : 0.0 sec. user=mdettweiler [2020-01-08 11:31:54] 971*2^1552418-1 is not prime. Res64: F95CEF91492AD8F9 Time : 0.0 sec. user=mdettweiler [2020-01-08 11:31:54] 601*2^1552419-1 is not prime. Res64: 25FE56CA2F58AA49 Time : 0.0 sec. user=mdettweiler [2020-01-08 11:31:54] 685*2^1552419-1 is not prime. Res64: 68F8804FAFCEC9DC Time : 0.0 sec. user=mdettweiler [2020-01-08 11:31:55] 951*2^1552419-1 is not prime. Res64: 1A489AFD635F07AE Time : 0.0 sec. user=mdettweiler [2020-01-08 12:14:16] 961*2^1552419-1 is not prime. Res64: 4B982A0F124E52EE Time : 0.0 sec. user=mdettweiler [2020-01-08 12:14:18] 973*2^1552419-1 is not prime. Res64: 5A27501E248E01A7 Time : 0.0 sec. user=mdettweiler [2020-01-08 12:14:18] 609*2^1552420-1 is not prime. Res64: 4CBF390D9721A31F Time : 0.0 sec. user=mdettweiler [2020-01-08 12:14:19] 615*2^1552420-1 is not prime. Res64: 77CA2DA1FBB55B5C Time : 0.0 sec. user=mdettweiler [2020-01-08 12:14:20] 717*2^1552420-1 is not prime. Res64: B694E1C690B186FE Time : 0.0 sec. user=mdettweiler [2020-01-08 12:20:02] 759*2^1552420-1 is not prime. Res64: 7EE4304359958B8E Time : 0.0 sec. user=mdettweiler [2020-01-08 12:24:31] 657*2^1552421-1 is not prime. Res64: 56BCF7DA4EF777F7 Time : 0.0 sec. user=mdettweiler [2020-01-08 12:24:31] 691*2^1552421-1 is not prime. Res64: 0DF38B6477663208 Time : 0.0 sec. user=mdettweiler [2020-01-08 12:24:32] 735*2^1552421-1 is not prime. Res64: EA92015BFBF21C79 Time : 0.0 sec. user=mdettweiler [2020-01-08 12:24:32] 901*2^1552421-1 is not prime. Res64: B93AD1E52A08AB8E Time : 0.0 sec. user=mdettweiler [2020-01-08 12:24:32] 981*2^1552421-1 is not prime. Res64: 7581A41DDF47AF8A Time : 0.0 sec. user=mdettweiler [2020-01-08 13:07:26] 997*2^1552421-1 is not prime. Res64: 67C797C30B0A9241 Time : 0.0 sec. user=mdettweiler [2020-01-08 13:07:28] 671*2^1552422-1 is not prime. Res64: 681CBECDBABD0EA7 Time : 0.0 sec. user=mdettweiler [2020-01-08 13:07:30] 683*2^1552422-1 is not prime. Res64: ED715BE2EA4926D9 Time : 0.0 sec. user=mdettweiler [2020-01-08 13:07:31] 731*2^1552422-1 is not prime. Res64: 27E2DB7A3CF830D2 Time : 0.0 sec. user=mdettweiler [2020-01-08 13:07:33] 761*2^1552422-1 is not prime. Res64: 99552CF68846BE25 Time : 0.0 sec. user=mdettweiler [2020-01-08 13:19:04] 801*2^1552422-1 is not prime. Res64: 2EDB1622F95B64A3 Time : 0.0 sec. user=mdettweiler [2020-01-08 13:19:05] 921*2^1552422-1 is not prime. Res64: 2ED5A6C48509C762 Time : 0.0 sec. user=mdettweiler [2020-01-08 13:19:05] 945*2^1552422-1 is not prime. Res64: A55C9A16A6006B59 Time : 0.0 sec. user=mdettweiler [2020-01-08 13:19:06] 977*2^1552422-1 is not prime. Res64: F488DAAF5A385689 Time : 0.0 sec. user=mdettweiler [2020-01-08 13:19:06] 685*2^1552423-1 is not prime. Res64: E434D9804274C045 Time : 0.0 sec. user=mdettweiler [2020-01-08 14:00:53] 789*2^1552423-1 is not prime. Res64: 496D22BF33BCA2EC Time : 0.0 sec. user=mdettweiler [2020-01-08 14:00:57] 873*2^1552423-1 is not prime. Res64: BE8E6D386A3855D2 Time : 0.0 sec. user=mdettweiler [2020-01-08 14:00:58] 891*2^1552423-1 is not prime. Res64: C5A150874B9D2E2C Time : 0.0 sec. user=mdettweiler [2020-01-08 14:00:58] 895*2^1552423-1 is not prime. Res64: 31E5525B39F7841D Time : 0.0 sec. user=mdettweiler [2020-01-08 14:00:59] 623*2^1552424-1 is not prime. Res64: 360EDDB832E1197D Time : 0.0 sec. user=mdettweiler [2020-01-08 14:11:37] 659*2^1552424-1 is not prime. Res64: 174FA1E66E981C59 Time : 0.0 sec. user=mdettweiler [2020-01-08 14:11:37] 663*2^1552424-1 is not prime. Res64: 6A202569C7AFE7BE Time : 0.0 sec. user=mdettweiler [2020-01-08 14:11:38] 785*2^1552424-1 is not prime. Res64: 006226D68C951254 Time : 0.0 sec. user=mdettweiler [2020-01-08 14:11:38] 813*2^1552424-1 is not prime. Res64: 422E1571988D35AC Time : 0.0 sec. user=mdettweiler [2020-01-08 14:11:39] 917*2^1552424-1 is not prime. Res64: F91B977E6236BB9E Time : 0.0 sec. user=mdettweiler [2020-01-08 14:55:41] 929*2^1552424-1 is not prime. Res64: 7AFF5A55C7099932 Time : 0.0 sec. user=mdettweiler [2020-01-08 14:55:42] 983*2^1552424-1 is not prime. Res64: 3CF4AEC8E5AC0B9D Time : 0.0 sec. user=mdettweiler [2020-01-08 14:55:42] 639*2^1552425-1 is not prime. Res64: BEDBE9D6513E6572 Time : 0.0 sec. user=mdettweiler [2020-01-08 14:55:43] 777*2^1552425-1 is not prime. Res64: 68EE89F349F9B5D2 Time : 0.0 sec. user=mdettweiler [2020-01-08 14:55:43] 921*2^1552425-1 is not prime. Res64: 7B8E95C322CBD9BE Time : 0.0 sec. user=mdettweiler [2020-01-08 15:03:30] 747*2^1552426-1 is not prime. Res64: 1F185E4469516701 Time : 0.0 sec. user=mdettweiler [2020-01-08 15:03:35] 765*2^1552426-1 is not prime. Res64: 1AB66C98469E975E Time : 0.0 sec. user=mdettweiler [2020-01-08 15:03:38] 777*2^1552426-1 is not prime. Res64: B111F8B905E7ADAA Time : 0.0 sec. user=mdettweiler [2020-01-08 15:03:40] 833*2^1552426-1 is not prime. Res64: F2A48B01EDB2081A Time : 0.0 sec. user=mdettweiler [2020-01-08 15:03:42] 911*2^1552426-1 is not prime. Res64: DF2E655C4EAB6AF0 Time : 0.0 sec. user=mdettweiler [2020-01-08 15:24:16] 855*2^1552429-1 is not prime. Res64: 15C1D4C057059300 Time : 0.0 sec. user=mdettweiler [2020-01-08 15:50:20] 945*2^1552426-1 is not prime. Res64: DC9146211AEECB91 Time : 0.0 sec. user=mdettweiler [2020-01-08 15:50:20] 987*2^1552426-1 is not prime. Res64: B299261626F318A1 Time : 0.0 sec. user=mdettweiler [2020-01-08 15:50:21] 601*2^1552427-1 is not prime. Res64: 0045AC519B9B7859 Time : 0.0 sec. user=mdettweiler [2020-01-08 15:50:21] 841*2^1552427-1 is not prime. Res64: 4D85218AB1C61DD6 Time : 0.0 sec. user=mdettweiler [2020-01-08 15:50:21] 843*2^1552427-1 is not prime. Res64: 6AFE04361DAA3739 Time : 0.0 sec. user=mdettweiler [2020-01-08 16:00:28] 827*2^1552420-1 is not prime. Res64: 35DF14357892DCAC Time : 0.0 sec. user=mdettweiler [2020-01-08 16:00:29] 983*2^1552420-1 is not prime. Res64: CB51D30105FC246A Time : 0.0 sec. user=mdettweiler [2020-01-08 16:00:30] 615*2^1552421-1 is not prime. Res64: B2BBFF17E9DB13BF Time : 0.0 sec. user=mdettweiler [2020-01-08 16:00:30] 649*2^1552421-1 is not prime. Res64: 0519EED3F19AA115 Time : 0.0 sec. user=mdettweiler [2020-01-08 16:00:42] 945*2^1552427-1 is not prime. Res64: FE63BD43DAAB32BF Time : 0.0 sec. user=mdettweiler [2020-01-08 16:00:43] 973*2^1552427-1 is not prime. Res64: 4A22382021B36E4C Time : 0.0 sec. user=mdettweiler [2020-01-08 16:00:44] 991*2^1552427-1 is not prime. Res64: FFC77EE34557A55A Time : 0.0 sec. user=mdettweiler [2020-01-08 16:00:45] 783*2^1552428-1 is not prime. Res64: 83EEFC210B3C2722 Time : 0.0 sec. user=mdettweiler [2020-01-08 16:00:45] 699*2^1552429-1 is not prime. Res64: 0193D47ADEE90789 Time : 0.0 sec. user=mdettweiler [2020-01-08 16:43:05] 895*2^1552429-1 is not prime. Res64: 94384F65D941783B Time : 0.0 sec. user=mdettweiler [2020-01-08 16:43:06] 957*2^1552429-1 is not prime. Res64: 0A52CCF217A96891 Time : 0.0 sec. user=mdettweiler [2020-01-08 16:43:06] 665*2^1552430-1 is not prime. Res64: C2B2D9DC26C841D5 Time : 0.0 sec. user=mdettweiler [2020-01-08 16:43:07] 675*2^1552430-1 is not prime. Res64: 14494A173667DE7D Time : 0.0 sec. user=mdettweiler [2020-01-08 16:43:07] 755*2^1552430-1 is not prime. Res64: 903BD7DA2E1E74F3 Time : 0.0 sec. user=mdettweiler [2020-01-08 16:52:14] 763*2^1552431-1 is not prime. Res64: EF827A75684B6CEF Time : 0.0 sec. user=mdettweiler [2020-01-08 16:52:15] 805*2^1552431-1 is not prime. Res64: 6AC5C3B5517456A4 Time : 0.0 sec. user=mdettweiler [2020-01-08 16:52:15] 825*2^1552431-1 is not prime. Res64: 81AB3F143D24C926 Time : 0.0 sec. user=mdettweiler [2020-01-08 16:52:15] 645*2^1552432-1 is not prime. Res64: D03D1D09573159F8 Time : 0.0 sec. user=mdettweiler [2020-01-08 16:52:16] 677*2^1552432-1 is not prime. Res64: D65E501B96452CFE Time : 0.0 sec. user=mdettweiler [2020-01-08 16:53:44] 831*2^1552430-1 is not prime. Res64: 0BD97B6330834C9B Time : 0.0 sec. user=mdettweiler [2020-01-08 16:53:44] 861*2^1552430-1 is not prime. Res64: F66836D848465AE2 Time : 0.0 sec. user=mdettweiler [2020-01-08 16:53:45] 867*2^1552430-1 is not prime. Res64: 878568215A9B8481 Time : 0.0 sec. user=mdettweiler [2020-01-08 16:53:45] 945*2^1552430-1 is not prime. Res64: BA9453BAC646ACEE Time : 0.0 sec. user=mdettweiler [2020-01-08 16:53:45] 711*2^1552431-1 is not prime. Res64: 36A0015BD1FD4B4F Time : 0.0 sec. user=mdettweiler [2020-01-08 17:35:22] 693*2^1552432-1 is not prime. Res64: 9A0B50AC204861EF Time : 0.0 sec. user=mdettweiler [2020-01-08 17:35:23] 797*2^1552432-1 is not prime. Res64: 6835A7757C6C5436 Time : 0.0 sec. user=mdettweiler [2020-01-08 17:35:23] 827*2^1552432-1 is not prime. Res64: 2021404B5D0491AA Time : 0.0 sec. user=mdettweiler [2020-01-08 17:35:24] 887*2^1552432-1 is not prime. Res64: A6774FCA3712044C Time : 0.0 sec. user=mdettweiler [2020-01-08 17:35:24] 915*2^1552432-1 is not prime. Res64: 93654F7FC3E0902E Time : 0.0 sec. user=mdettweiler [2020-01-08 17:43:12] 669*2^1552433-1 is not prime. Res64: 264FF6BD7A00DF80 Time : 0.0 sec. user=mdettweiler [2020-01-08 17:43:12] 705*2^1552433-1 is not prime. Res64: 7645ECE1E8B242F6 Time : 0.0 sec. user=mdettweiler [2020-01-08 17:43:13] 721*2^1552433-1 is not prime. Res64: C7702F0E175479A3 Time : 0.0 sec. user=mdettweiler [2020-01-08 17:43:13] 663*2^1552434-1 is not prime. Res64: B05ACFDDFB81E034 Time : 0.0 sec. user=mdettweiler [2020-01-08 17:43:13] 671*2^1552434-1 is not prime. Res64: 9287B1074672B542 Time : 0.0 sec. user=mdettweiler [2020-01-08 17:45:22] 731*2^1552434-1 is not prime. Res64: 9A10956322715611 Time : 0.0 sec. user=mdettweiler [2020-01-08 17:45:23] 737*2^1552434-1 is not prime. Res64: 5BA62538E7C560BB Time : 0.0 sec. user=mdettweiler [2020-01-08 17:45:23] 767*2^1552434-1 is not prime. Res64: 7FB22271A0CC1E83 Time : 0.0 sec. user=mdettweiler [2020-01-08 17:45:24] 837*2^1552434-1 is not prime. Res64: 59AE8156D7179D6C Time : 0.0 sec. user=mdettweiler [2020-01-08 17:45:24] 881*2^1552434-1 is not prime. Res64: 9BBB7C7B8322902E Time : 0.0 sec. user=mdettweiler [2020-01-08 18:21:44] 953*2^1552436-1 is not prime. Res64: 718A6168CD89C26C Time : 0.0 sec. user=mdettweiler [2020-01-08 18:27:15] 891*2^1552434-1 is not prime. Res64: CB4937AB1D6B1A4E Time : 0.0 sec. user=mdettweiler [2020-01-08 18:27:16] 893*2^1552434-1 is not prime. Res64: 577318CFD9B5C37B Time : 0.0 sec. user=mdettweiler [2020-01-08 18:27:17] 625*2^1552435-1 is not prime. Res64: 90BF16CB87B85004 Time : 0.0 sec. user=mdettweiler [2020-01-08 18:27:18] 675*2^1552435-1 is not prime. Res64: 469F70D1B9CBEDDC Time : 0.0 sec. user=mdettweiler [2020-01-08 18:27:20] 789*2^1552435-1 is not prime. Res64: CB25CC2C44BC2832 Time : 0.0 sec. user=mdettweiler [2020-01-08 18:36:24] 793*2^1552435-1 is not prime. Res64: 54C51F83B8FF0CE1 Time : 0.0 sec. user=mdettweiler [2020-01-08 18:36:24] 819*2^1552435-1 is not prime. Res64: 917B67E485E3AA6D Time : 0.0 sec. user=mdettweiler [2020-01-08 18:36:25] 853*2^1552435-1 is not prime. Res64: 5B48F1D3762BC0D8 Time : 0.0 sec. user=mdettweiler [2020-01-08 18:36:25] 979*2^1552435-1 is not prime. Res64: C56166C7553ED027 Time : 0.0 sec. user=mdettweiler [2020-01-08 18:36:25] 609*2^1552436-1 is not prime. Res64: 8144F3D49FFC3B12 Time : 0.0 sec. user=mdettweiler [2020-01-08 18:36:54] 633*2^1552436-1 is not prime. Res64: 79C67B2610FBD926 Time : 0.0 sec. user=mdettweiler [2020-01-08 18:36:54] 677*2^1552436-1 is not prime. Res64: BCEA67EE864F628E Time : 0.0 sec. user=mdettweiler [2020-01-08 18:36:55] 749*2^1552436-1 is not prime. Res64: 309B9CC00E12572E Time : 0.0 sec. user=mdettweiler [2020-01-08 18:36:55] 845*2^1552436-1 is not prime. Res64: 2060EAB3F817B7C3 Time : 0.0 sec. user=mdettweiler [2020-01-08 18:36:55] 879*2^1552436-1 is not prime. Res64: ACAC57A07DB916F5 Time : 0.0 sec. user=mdettweiler [2020-01-08 19:19:01] 655*2^1552437-1 is not prime. Res64: 62FA6A5A88FBAD46 Time : 0.0 sec. user=mdettweiler [2020-01-08 19:19:02] 685*2^1552437-1 is not prime. Res64: 3E4B07FA91933D9C Time : 0.0 sec. user=mdettweiler [2020-01-08 19:19:03] 711*2^1552437-1 is not prime. Res64: 595770688B96278D Time : 0.0 sec. user=mdettweiler [2020-01-08 19:19:04] 795*2^1552437-1 is not prime. Res64: 921EE9A24C5EFC8E Time : 0.0 sec. user=mdettweiler [2020-01-08 19:19:05] 831*2^1552437-1 is not prime. Res64: 964D35E4C10EB652 Time : 0.0 sec. user=mdettweiler [2020-01-08 19:27:49] 671*2^1552438-1 is not prime. Res64: 9C8598F6A4E3EE92 Time : 0.0 sec. user=mdettweiler [2020-01-08 19:27:50] 707*2^1552438-1 is not prime. Res64: 732290DC2EC81965 Time : 0.0 sec. user=mdettweiler [2020-01-08 19:27:50] 713*2^1552438-1 is not prime. Res64: B3C022A9FBF97EAA Time : 0.0 sec. user=mdettweiler [2020-01-08 19:27:50] 619*2^1552439-1 is not prime. Res64: 343612A1A827388E Time : 0.0 sec. user=mdettweiler [2020-01-08 19:27:51] 675*2^1552439-1 is not prime. Res64: 66B1B9117DC04CE1 Time : 0.0 sec. user=mdettweiler [2020-01-08 19:29:12] 889*2^1552437-1 is not prime. Res64: 2676B88FFD0D1FA3 Time : 0.0 sec. user=mdettweiler [2020-01-08 20:12:11] 705*2^1552439-1 is not prime. Res64: A0D9C989BA6A62F5 Time : 0.0 sec. user=mdettweiler [2020-01-08 20:12:14] 985*2^1552439-1 is not prime. Res64: F810BB47C9A1BCF5 Time : 0.0 sec. user=mdettweiler [2020-01-08 20:12:18] 665*2^1552440-1 is not prime. Res64: 89F234A768FCE27D Time : 0.0 sec. user=mdettweiler [2020-01-08 20:12:22] 695*2^1552440-1 is not prime. Res64: 154369251B05B60C Time : 0.0 sec. user=mdettweiler [2020-01-08 20:12:25] 753*2^1552440-1 is not prime. Res64: 62919DD78344300A Time : 0.0 sec. user=mdettweiler [2020-01-08 20:20:31] 789*2^1552440-1 is not prime. Res64: A69908514A3C3250 Time : 0.0 sec. user=mdettweiler [2020-01-08 20:20:33] 863*2^1552440-1 is not prime. Res64: 4E66D74144617C61 Time : 0.0 sec. user=mdettweiler [2020-01-08 20:20:34] 873*2^1552440-1 is not prime. Res64: 76C3D669D9784A1C Time : 0.0 sec. user=mdettweiler [2020-01-08 20:20:36] 619*2^1552441-1 is not prime. Res64: 5565B17D9E9E9D46 Time : 0.0 sec. user=mdettweiler [2020-01-08 20:20:37] 871*2^1552441-1 is not prime. Res64: D0E2B49A6D82A0AF Time : 0.0 sec. user=mdettweiler [2020-01-08 21:08:49] 889*2^1552441-1 is not prime. Res64: 8B0499A83D6F5EAA Time : 0.0 sec. user=mdettweiler [2020-01-08 21:08:52] 939*2^1552441-1 is not prime. Res64: 6A8AF8407CEDFC5F Time : 0.0 sec. user=mdettweiler [2020-01-08 21:08:53] 975*2^1552441-1 is not prime. Res64: 4997B9E7BAC42291 Time : 0.0 sec. user=mdettweiler [2020-01-08 21:08:55] 713*2^1552442-1 is not prime. Res64: B32335B6E871DFCA Time : 0.0 sec. user=mdettweiler [2020-01-08 21:08:57] 753*2^1552442-1 is not prime. Res64: CA2F5A9261C75749 Time : 0.0 sec. user=mdettweiler [2020-01-08 21:14:28] 755*2^1552442-1 is not prime. Res64: 6C515FD2CD664EC1 Time : 0.0 sec. user=mdettweiler [2020-01-08 21:14:31] 987*2^1552442-1 is not prime. Res64: DA0FE24B37FC74D1 Time : 0.0 sec. user=mdettweiler [2020-01-08 21:14:35] 609*2^1552443-1 is not prime. Res64: A8B387D7F6D3E247 Time : 0.0 sec. user=mdettweiler [2020-01-08 21:14:37] 619*2^1552443-1 is not prime. Res64: CCF5EC5891F06C09 Time : 0.0 sec. user=mdettweiler [2020-01-08 21:14:40] 649*2^1552443-1 is not prime. Res64: 1861378ACBC4C6DA Time : 0.0 sec. user=mdettweiler [2020-01-08 22:04:01] 675*2^1552443-1 is not prime. Res64: 6930DAE6CD2C29B0 Time : 0.0 sec. user=mdettweiler [2020-01-08 22:04:05] 829*2^1552443-1 is not prime. Res64: B3CE0047D359B72D Time : 0.0 sec. user=mdettweiler [2020-01-08 22:04:07] 859*2^1552443-1 is not prime. Res64: 482FDF16B1201CD1 Time : 0.0 sec. user=mdettweiler [2020-01-08 22:04:09] 895*2^1552443-1 is not prime. Res64: 50E39EDE5CB9869A Time : 0.0 sec. user=mdettweiler [2020-01-08 22:04:11] 961*2^1552443-1 is not prime. Res64: 3E30D8544163EE59 Time : 0.0 sec. user=mdettweiler [2020-01-08 22:08:16] 609*2^1552444-1 is not prime. Res64: 34D92A7E93F9FC4D Time : 0.0 sec. user=mdettweiler [2020-01-08 22:08:19] 615*2^1552444-1 is not prime. Res64: A2E43D2AADA31257 Time : 0.0 sec. user=mdettweiler [2020-01-08 22:08:22] 617*2^1552444-1 is not prime. Res64: C6D37C3B24068398 Time : 0.0 sec. user=mdettweiler [2020-01-08 22:08:24] 635*2^1552444-1 is not prime. Res64: 2DFD4848DAD42425 Time : 0.0 sec. user=mdettweiler [2020-01-08 22:08:26] 873*2^1552444-1 is not prime. Res64: 8BFBB75AE35304F9 Time : 0.0 sec. user=mdettweiler [2020-01-08 22:58:31] 887*2^1552444-1 is not prime. Res64: 42AC2799223C2805 Time : 0.0 sec. user=mdettweiler [2020-01-08 22:58:31] 899*2^1552444-1 is not prime. Res64: 3EF021079431696C Time : 0.0 sec. user=mdettweiler [2020-01-08 22:58:32] 903*2^1552444-1 is not prime. Res64: B1293EBCEA73C174 Time : 0.0 sec. user=mdettweiler [2020-01-08 22:58:32] 927*2^1552444-1 is not prime. Res64: B48D50E389CCBB1C Time : 0.0 sec. user=mdettweiler [2020-01-08 22:58:33] 619*2^1552445-1 is not prime. Res64: B8AF8B22349D8203 Time : 0.0 sec. user=mdettweiler [2020-01-08 23:02:05] 691*2^1552445-1 is not prime. Res64: 8799D297258A0C2B Time : 0.0 sec. user=mdettweiler [2020-01-08 23:02:06] 721*2^1552445-1 is not prime. Res64: BEC619BA0BA51B21 Time : 0.0 sec. user=mdettweiler [2020-01-08 23:02:08] 777*2^1552445-1 is not prime. Res64: C59F417697825393 Time : 0.0 sec. user=mdettweiler [2020-01-08 23:02:10] 939*2^1552445-1 is not prime. Res64: 4DD9650C8B89934E Time : 0.0 sec. user=mdettweiler [2020-01-08 23:02:11] 713*2^1552446-1 is not prime. Res64: E6708272FD75F5E7 Time : 0.0 sec. user=mdettweiler [2020-01-08 23:50:26] 873*2^1552446-1 is not prime. Res64: 3B0703315DEA1321 Time : 0.0 sec. user=mdettweiler [2020-01-08 23:50:27] 921*2^1552446-1 is not prime. Res64: 1B20168825E2E277 Time : 0.0 sec. user=mdettweiler [2020-01-08 23:50:27] 685*2^1552447-1 is not prime. Res64: 877B3361D7F2AB1E Time : 0.0 sec. user=mdettweiler [2020-01-08 23:50:28] 759*2^1552447-1 is not prime. Res64: ABAB8197FD64ED2F Time : 0.0 sec. user=mdettweiler [2020-01-08 23:50:28] 763*2^1552447-1 is not prime. Res64: 80C87CD3DA06F111 Time : 0.0 sec. user=mdettweiler [2020-01-08 23:57:07] 829*2^1552447-1 is not prime. Res64: 8A860E37F02EA7B5 Time : 0.0 sec. user=mdettweiler [2020-01-08 23:57:07] 849*2^1552447-1 is not prime. Res64: 117B9D4154C34E26 Time : 0.0 sec. user=mdettweiler [2020-01-08 23:57:07] 861*2^1552447-1 is not prime. Res64: CE86E731683224B5 Time : 0.0 sec. user=mdettweiler [2020-01-08 23:57:08] 985*2^1552447-1 is not prime. Res64: 05B9946674058ACB Time : 0.0 sec. user=mdettweiler [2020-01-08 23:57:08] 993*2^1552447-1 is not prime. Res64: 586A5FFB2E6BE8CF Time : 0.0 sec.