user=mdettweiler [2020-08-29 00:25:47] 609*2^1564256-1 is not prime. Res64: 89CBF6039D342420 Time : 0.0 sec. user=mdettweiler [2020-08-29 00:25:48] 923*2^1564256-1 is not prime. Res64: 1A83E6A6D9812A1E Time : 0.0 sec. user=mdettweiler [2020-08-29 00:25:48] 969*2^1564256-1 is not prime. Res64: 5921618DF996A9C7 Time : 0.0 sec. user=mdettweiler [2020-08-29 00:25:48] 691*2^1564257-1 is not prime. Res64: 141C646C62880995 Time : 0.0 sec. user=mdettweiler [2020-08-29 00:25:49] 747*2^1564257-1 is not prime. Res64: 692D4F6F56DCF559 Time : 0.0 sec. user=mdettweiler [2020-08-29 01:20:40] 769*2^1564257-1 is not prime. Res64: 1EAA6FCFEF241177 Time : 0.0 sec. user=mdettweiler [2020-08-29 01:20:40] 919*2^1564257-1 is not prime. Res64: B2A43C197DBB2A84 Time : 0.0 sec. user=mdettweiler [2020-08-29 01:20:41] 991*2^1564257-1 is not prime. Res64: 2F47239E69A79ECB Time : 0.0 sec. user=mdettweiler [2020-08-29 01:20:41] 605*2^1564258-1 is not prime. Res64: 3BD06095952C2241 Time : 0.0 sec. user=mdettweiler [2020-08-29 01:20:41] 663*2^1564258-1 is not prime. Res64: F017737FD8E936C1 Time : 0.0 sec. user=mdettweiler [2020-08-29 02:17:03] 743*2^1564258-1 is not prime. Res64: D4ACEF8E455564AF Time : 0.0 sec. user=mdettweiler [2020-08-29 03:52:50] 965*2^1564254-1 is not prime. Res64: CF658CED646C17B3 Time : 0.0 sec. user=mdettweiler [2020-08-29 03:52:51] 693*2^1564255-1 is not prime. Res64: 6E7EC3F2113D2670 Time : 0.0 sec. user=mdettweiler [2020-08-29 04:47:39] 609*2^1564259-1 is not prime. Res64: B9D0AAFB3467D8FC Time : 0.0 sec. user=mdettweiler [2020-08-29 07:18:12] 765*2^1564258-1 is not prime. Res64: 962E06CBDBA48E49 Time : 0.0 sec. user=mdettweiler [2020-08-29 07:18:13] 845*2^1564258-1 is not prime. Res64: 801147CE50C30C21 Time : 0.0 sec. user=mdettweiler [2020-08-29 07:18:13] 951*2^1564258-1 is not prime. Res64: 6071478B1BA4C26A Time : 0.0 sec. user=mdettweiler [2020-08-29 07:18:14] 957*2^1564258-1 is not prime. Res64: 11392B9FCC1175AE Time : 0.0 sec. user=mdettweiler [2020-08-29 10:19:13] 619*2^1564259-1 is not prime. Res64: ACBEE5DF5849CF62 Time : 0.0 sec. user=mdettweiler [2020-08-29 10:19:13] 771*2^1564259-1 is not prime. Res64: E6761237A331C444 Time : 0.0 sec. user=mdettweiler [2020-08-29 10:19:13] 813*2^1564259-1 is not prime. Res64: 25AE8495F374E53D Time : 0.0 sec. user=mdettweiler [2020-08-29 10:19:14] 939*2^1564259-1 is not prime. Res64: AC90BD712E5608D8 Time : 0.0 sec. user=mdettweiler [2020-08-29 11:16:39] 959*2^1564260-1 is not prime. Res64: FF50A5928AA3FDCC Time : 0.0 sec. user=mdettweiler [2020-08-29 13:45:08] 627*2^1564260-1 is not prime. Res64: 57888CAED840085C Time : 0.0 sec. user=mdettweiler [2020-08-29 16:55:11] 975*2^1564260-1 is not prime. Res64: 918EDEAB08F189F6 Time : 0.0 sec. user=mdettweiler [2020-08-29 16:55:12] 639*2^1564261-1 is not prime. Res64: 0E4249AF2706032E Time : 0.0 sec. user=mdettweiler [2020-08-29 16:55:12] 937*2^1564261-1 is not prime. Res64: 01629798EB0DF699 Time : 0.0 sec. user=mdettweiler [2020-08-29 16:55:13] 961*2^1564261-1 is not prime. Res64: EFAAA5439E506C06 Time : 0.0 sec. user=mdettweiler [2020-08-29 17:39:56] 647*2^1564260-1 is not prime. Res64: D9F8E45221BA1DA8 Time : 0.0 sec. user=mdettweiler [2020-08-29 17:39:56] 857*2^1564260-1 is not prime. Res64: DB172C467941022F Time : 0.0 sec. user=mdettweiler [2020-08-29 17:39:56] 875*2^1564260-1 is not prime. Res64: 2242CE88FF2AB55F Time : 0.0 sec. user=mdettweiler [2020-08-29 17:39:56] 927*2^1564260-1 is not prime. Res64: C6E66D8D391F5AC4 Time : 0.0 sec. user=mdettweiler [2020-08-29 17:48:32] 627*2^1564262-1 is not prime. Res64: D136C38516B8F139 Time : 0.0 sec. user=mdettweiler [2020-08-29 17:48:32] 635*2^1564262-1 is not prime. Res64: 6CAA15BF951A8199 Time : 0.0 sec. user=mdettweiler [2020-08-29 17:48:32] 761*2^1564262-1 is not prime. Res64: 3D87A747376F6A84 Time : 0.0 sec. user=mdettweiler [2020-08-29 17:48:32] 771*2^1564262-1 is not prime. Res64: 9F38968CF129AC17 Time : 0.0 sec. user=mdettweiler [2020-08-29 17:48:33] 825*2^1564262-1 is not prime. Res64: 5FE65DD659C4F159 Time : 0.0 sec. user=mdettweiler [2020-08-29 18:36:38] 831*2^1564262-1 is not prime. Res64: E65DDF2FD231E93D Time : 0.0 sec. user=mdettweiler [2020-08-29 18:36:38] 911*2^1564262-1 is not prime. Res64: 27D0BA05FBF4E5ED Time : 0.0 sec. user=mdettweiler [2020-08-29 18:36:38] 945*2^1564262-1 is not prime. Res64: 636D34C8B34E4F61 Time : 0.0 sec. user=mdettweiler [2020-08-29 18:36:38] 963*2^1564262-1 is not prime. Res64: 6807EFF7F33826C0 Time : 0.0 sec. user=mdettweiler [2020-08-29 18:36:39] 643*2^1564263-1 is not prime. Res64: 1199E71C8267434B Time : 0.0 sec. user=mdettweiler [2020-08-29 18:44:40] 663*2^1564263-1 is not prime. Res64: D3ADE214844AF45C Time : 0.0 sec. user=mdettweiler [2020-08-29 19:32:07] 723*2^1564264-1 is not prime. Res64: 18D042B37780569E Time : 0.0 sec. user=mdettweiler [2020-08-29 19:32:07] 803*2^1564264-1 is not prime. Res64: 02204968410D4934 Time : 0.0 sec. user=mdettweiler [2020-08-29 19:32:07] 727*2^1564265-1 is not prime. Res64: B9C63DBEB1678214 Time : 0.0 sec. user=mdettweiler [2020-08-29 19:32:07] 775*2^1564265-1 is not prime. Res64: 72F24CD2D307F8B3 Time : 0.0 sec. user=mdettweiler [2020-08-29 19:32:08] 949*2^1564265-1 is not prime. Res64: DAF2260EDBB107D3 Time : 0.0 sec. user=mdettweiler [2020-08-29 20:27:26] 755*2^1564266-1 is not prime. Res64: 6966CF2ED6E641C1 Time : 0.0 sec. user=mdettweiler [2020-08-29 20:27:26] 803*2^1564266-1 is not prime. Res64: 03F82D6492CA412D Time : 0.0 sec. user=mdettweiler [2020-08-29 20:27:26] 815*2^1564266-1 is not prime. Res64: 45C3D4F15C619A23 Time : 0.0 sec. user=mdettweiler [2020-08-29 20:27:27] 673*2^1564267-1 is not prime. Res64: 4244BDFCD119B83D Time : 0.0 sec. user=mdettweiler [2020-08-29 20:27:27] 681*2^1564267-1 is not prime. Res64: B3692BB132070A57 Time : 0.0 sec. user=mdettweiler [2020-08-29 21:22:35] 691*2^1564267-1 is not prime. Res64: CE8DEC9C866B26D4 Time : 0.0 sec. user=mdettweiler [2020-08-29 21:22:36] 699*2^1564267-1 is not prime. Res64: 31FB0F9F288218DD Time : 0.0 sec. user=mdettweiler [2020-08-29 21:22:36] 775*2^1564267-1 is not prime. Res64: BFE0174764231796 Time : 0.0 sec. user=mdettweiler [2020-08-29 21:22:36] 895*2^1564267-1 is not prime. Res64: F13072959C2F74DE Time : 0.0 sec. user=mdettweiler [2020-08-29 21:22:36] 919*2^1564267-1 is not prime. Res64: 38BE97C408893E96 Time : 0.0 sec. user=mdettweiler [2020-08-29 22:16:08] 975*2^1564267-1 is not prime. Res64: 5E2E13BF21E9E921 Time : 0.0 sec. user=mdettweiler [2020-08-29 22:16:09] 617*2^1564268-1 is not prime. Res64: C8A737227CCC755E Time : 0.0 sec. user=mdettweiler [2020-08-29 22:16:09] 657*2^1564268-1 is not prime. Res64: E98849AF717AE400 Time : 0.0 sec. user=mdettweiler [2020-08-29 22:16:09] 663*2^1564268-1 is not prime. Res64: 773C6C54904ED065 Time : 0.0 sec. user=mdettweiler [2020-08-29 22:16:10] 677*2^1564268-1 is not prime. Res64: 1F0F05E5609E0BB1 Time : 0.0 sec. user=mdettweiler [2020-08-29 23:11:50] 759*2^1564268-1 is not prime. Res64: BE0ECFCDE33A40F7 Time : 0.0 sec. user=mdettweiler [2020-08-29 23:11:51] 813*2^1564268-1 is not prime. Res64: 78DBCD90D61B91EC Time : 0.0 sec. user=mdettweiler [2020-08-29 23:11:51] 927*2^1564268-1 is not prime. Res64: F9CB23A84B541C3C Time : 0.0 sec. user=mdettweiler [2020-08-29 23:11:51] 993*2^1564268-1 is not prime. Res64: C9AA80F3BB54B691 Time : 0.0 sec. user=mdettweiler [2020-08-29 23:11:52] 639*2^1564269-1 is not prime. Res64: 0CA5628058FF7470 Time : 0.0 sec. user=mdettweiler [2020-08-29 23:21:00] 669*2^1564263-1 is not prime. Res64: 4D8ED9A3921D6944 Time : 0.0 sec. user=mdettweiler [2020-08-29 23:21:00] 789*2^1564263-1 is not prime. Res64: 053DB0A9A053DBD2 Time : 0.0 sec. user=mdettweiler [2020-08-29 23:21:00] 895*2^1564263-1 is not prime. Res64: 7C252989D6D7A6B9 Time : 0.0 sec. user=mdettweiler [2020-08-29 23:21:01] 943*2^1564263-1 is not prime. Res64: 5601CE687C4514AB Time : 0.0 sec.