user=mdettweiler [2020-07-12 00:28:32] 931*2^1563047-1 is not prime. Res64: 8A4288FA871C3626 Time : 0.0 sec. user=mdettweiler [2020-07-12 00:28:32] 979*2^1563047-1 is not prime. Res64: 027CB66BEB4504A6 Time : 0.0 sec. user=mdettweiler [2020-07-12 00:28:32] 627*2^1563048-1 is not prime. Res64: C3E8418A2E603F01 Time : 0.0 sec. user=mdettweiler [2020-07-12 00:28:33] 669*2^1563048-1 is not prime. Res64: 97B8A0BB7DCFF4C8 Time : 0.0 sec. user=mdettweiler [2020-07-12 00:28:33] 683*2^1563048-1 is not prime. Res64: FA9C27392D7AEC6D Time : 0.0 sec. user=mdettweiler [2020-07-12 00:30:31] 725*2^1563048-1 is not prime. Res64: 8BA5A4B6EE89E69F Time : 0.0 sec. user=mdettweiler [2020-07-12 00:30:31] 765*2^1563048-1 is not prime. Res64: 089CCB0B46680C54 Time : 0.0 sec. user=mdettweiler [2020-07-12 00:30:31] 839*2^1563048-1 is not prime. Res64: A2EBF3FE5CF75A06 Time : 0.0 sec. user=mdettweiler [2020-07-12 00:30:31] 893*2^1563048-1 is not prime. Res64: 99F2B17DADEFCA9F Time : 0.0 sec. user=mdettweiler [2020-07-12 00:30:31] 959*2^1563048-1 is not prime. Res64: 8E03E2BCE6F54B84 Time : 0.0 sec. user=mdettweiler [2020-07-12 00:40:33] 999*2^1563048-1 is not prime. Res64: BCC27E189C328C58 Time : 0.0 sec. user=mdettweiler [2020-07-12 00:40:33] 615*2^1563049-1 is not prime. Res64: 057F6FBECA9692EA Time : 0.0 sec. user=mdettweiler [2020-07-12 00:40:33] 681*2^1563049-1 is not prime. Res64: 5846703D2F434F87 Time : 0.0 sec. user=mdettweiler [2020-07-12 00:40:34] 721*2^1563049-1 is not prime. Res64: B2190364E31D61CC Time : 0.0 sec. user=mdettweiler [2020-07-12 00:40:34] 775*2^1563049-1 is not prime. Res64: CC40411D7D737C11 Time : 0.0 sec. user=mdettweiler [2020-07-12 01:25:28] 951*2^1563049-1 is not prime. Res64: D0162C1D6ACC8049 Time : 0.0 sec. user=mdettweiler [2020-07-12 01:25:30] 955*2^1563049-1 is not prime. Res64: 34BC5714F0DEEC8C Time : 0.0 sec. user=mdettweiler [2020-07-12 01:25:31] 665*2^1563050-1 is not prime. Res64: 2D4D84110B9EE7BF Time : 0.0 sec. user=mdettweiler [2020-07-12 01:25:32] 735*2^1563050-1 is not prime. Res64: A4F8DE52A82AE602 Time : 0.0 sec. user=mdettweiler [2020-07-12 01:25:32] 767*2^1563050-1 is not prime. Res64: 73DBAF203EFE1EF3 Time : 0.0 sec. user=mdettweiler [2020-07-12 01:26:02] 801*2^1563049-1 is not prime. Res64: 71FC56F0CC7E1D28 Time : 0.0 sec. user=mdettweiler [2020-07-12 01:26:03] 877*2^1563049-1 is not prime. Res64: D87DFCA8671AFA3E Time : 0.0 sec. user=mdettweiler [2020-07-12 01:26:04] 925*2^1563049-1 is not prime. Res64: 7BCBC991B71FBAB9 Time : 0.0 sec. user=mdettweiler [2020-07-12 01:26:05] 931*2^1563049-1 is not prime. Res64: 4D2B8213423B183B Time : 0.0 sec. user=mdettweiler [2020-07-12 01:26:05] 945*2^1563049-1 is not prime. Res64: FF47D49A1B27FA8C Time : 0.0 sec. user=mdettweiler [2020-07-12 01:37:55] 893*2^1563050-1 is not prime. Res64: 77129B8C3DF29CB9 Time : 0.0 sec. user=mdettweiler [2020-07-12 01:37:56] 1001*2^1563050-1 is not prime. Res64: 6349F217792A2107 Time : 0.0 sec. user=mdettweiler [2020-07-12 01:37:56] 825*2^1563051-1 is not prime. Res64: 3A19655944265F48 Time : 0.0 sec. user=mdettweiler [2020-07-12 01:37:57] 961*2^1563051-1 is not prime. Res64: 4C44C2E8D289A9AE Time : 0.0 sec. user=mdettweiler [2020-07-12 01:37:58] 677*2^1563052-1 is not prime. Res64: 884932838D949EA0 Time : 0.0 sec. user=mdettweiler [2020-07-12 02:22:01] 987*2^1563052-1 is not prime. Res64: C2E19E4169D20FE0 Time : 0.0 sec. user=mdettweiler [2020-07-12 02:22:53] 687*2^1563052-1 is not prime. Res64: B57D547039305222 Time : 0.0 sec. user=mdettweiler [2020-07-12 02:22:54] 819*2^1563052-1 is not prime. Res64: 1A9C611B44E4DA25 Time : 0.0 sec. user=mdettweiler [2020-07-12 02:22:55] 827*2^1563052-1 is not prime. Res64: 8F420F816BD0F12F Time : 0.0 sec. user=mdettweiler [2020-07-12 02:22:56] 897*2^1563052-1 is not prime. Res64: 834BB0FB64D70EF9 Time : 0.0 sec. user=mdettweiler [2020-07-12 02:22:57] 939*2^1563052-1 is not prime. Res64: F05979C6413FE587 Time : 0.0 sec. user=mdettweiler [2020-07-12 02:30:44] 641*2^1563054-1 is not prime. Res64: C479475A765C2716 Time : 0.0 sec. user=mdettweiler [2020-07-12 02:30:45] 693*2^1563054-1 is not prime. Res64: F0CDAA562FD40E7F Time : 0.0 sec. user=mdettweiler [2020-07-12 02:30:45] 705*2^1563054-1 is not prime. Res64: D000F565F00F703A Time : 0.0 sec. user=mdettweiler [2020-07-12 02:30:46] 711*2^1563054-1 is not prime. Res64: D95BAC1A3E09A608 Time : 0.0 sec. user=mdettweiler [2020-07-12 02:30:46] 731*2^1563054-1 is not prime. Res64: D3A183237BC2F6A5 Time : 0.0 sec. user=mdettweiler [2020-07-12 03:18:50] 903*2^1563054-1 is not prime. Res64: 0B14DF8843E000A4 Time : 0.0 sec. user=mdettweiler [2020-07-12 03:18:51] 951*2^1563054-1 is not prime. Res64: 4316BD1A7251FBD8 Time : 0.0 sec. user=mdettweiler [2020-07-12 03:18:52] 673*2^1563055-1 is not prime. Res64: C89BCE152A9D4EC3 Time : 0.0 sec. user=mdettweiler [2020-07-12 03:18:53] 751*2^1563055-1 is not prime. Res64: 33D9D0118BC4CD13 Time : 0.0 sec. user=mdettweiler [2020-07-12 03:18:53] 765*2^1563055-1 is not prime. Res64: 525706D0E0EB7540 Time : 0.0 sec. user=mdettweiler [2020-07-12 03:28:46] 771*2^1563055-1 is not prime. Res64: 0D23E6F0927F34FE Time : 0.0 sec. user=mdettweiler [2020-07-12 03:28:47] 819*2^1563055-1 is not prime. Res64: 22314AA0229961B3 Time : 0.0 sec. user=mdettweiler [2020-07-12 03:28:47] 841*2^1563055-1 is not prime. Res64: 715C5D111A0D7C1D Time : 0.0 sec. user=mdettweiler [2020-07-12 03:28:48] 871*2^1563055-1 is not prime. Res64: C1C06A1098B71B0C Time : 0.0 sec. user=mdettweiler [2020-07-12 03:28:49] 883*2^1563055-1 is not prime. Res64: 501E86E6F826D16C Time : 0.0 sec. user=mdettweiler [2020-07-12 04:14:22] 909*2^1563055-1 is not prime. Res64: C07505E218DA1608 Time : 0.0 sec. user=mdettweiler [2020-07-12 04:14:26] 925*2^1563055-1 is not prime. Res64: 2576913B0C0A7DD2 Time : 0.0 sec. user=mdettweiler [2020-07-12 04:14:28] 623*2^1563056-1 is not prime. Res64: D3BA9C854218808A Time : 0.0 sec. user=mdettweiler [2020-07-12 04:14:33] 633*2^1563056-1 is not prime. Res64: 85502971982E193A Time : 0.0 sec. user=mdettweiler [2020-07-12 04:14:35] 755*2^1563056-1 is not prime. Res64: 57AA5C2D99108189 Time : 0.0 sec. user=mdettweiler [2020-07-12 04:24:02] 773*2^1563056-1 is not prime. Res64: AF95561322B1553F Time : 0.0 sec. user=mdettweiler [2020-07-12 04:24:03] 825*2^1563056-1 is not prime. Res64: 790EA2620CD14426 Time : 0.0 sec. user=mdettweiler [2020-07-12 04:24:04] 869*2^1563056-1 is not prime. Res64: 6AAED11CB302308E Time : 0.0 sec. user=mdettweiler [2020-07-12 04:24:05] 609*2^1563057-1 is not prime. Res64: 4471CB082A0D252A Time : 0.0 sec. user=mdettweiler [2020-07-12 04:24:06] 649*2^1563057-1 is not prime. Res64: B9B0DAA8CB06F252 Time : 0.0 sec. user=mdettweiler [2020-07-12 05:12:27] 741*2^1563057-1 is not prime. Res64: 486ACEAEEB18BF15 Time : 0.0 sec. user=mdettweiler [2020-07-12 05:12:27] 769*2^1563057-1 is not prime. Res64: 3160C7F3D8724667 Time : 0.0 sec. user=mdettweiler [2020-07-12 05:12:27] 831*2^1563057-1 is not prime. Res64: A29BCCA5DA36D042 Time : 0.0 sec. user=mdettweiler [2020-07-12 05:12:28] 945*2^1563057-1 is not prime. Res64: 6D6CC969908DE3DC Time : 0.0 sec. user=mdettweiler [2020-07-12 05:12:28] 979*2^1563057-1 is not prime. Res64: 536516AE04D8D2EE Time : 0.0 sec. user=mdettweiler [2020-07-12 05:18:03] 611*2^1563058-1 is not prime. Res64: A084B2892027D206 Time : 0.0 sec. user=mdettweiler [2020-07-12 05:18:04] 645*2^1563058-1 is not prime. Res64: 0A32408CEE28748A Time : 0.0 sec. user=mdettweiler [2020-07-12 05:18:04] 713*2^1563058-1 is not prime. Res64: E60F492C59057553 Time : 0.0 sec. user=mdettweiler [2020-07-12 05:18:04] 773*2^1563058-1 is not prime. Res64: F8ECE94A444CBB72 Time : 0.0 sec. user=mdettweiler [2020-07-12 05:18:04] 887*2^1563058-1 is not prime. Res64: 7D82B6CDC9DB591E Time : 0.0 sec. user=mdettweiler [2020-07-12 06:08:31] 945*2^1563058-1 is not prime. Res64: DEE8E984F00D2D52 Time : 0.0 sec. user=mdettweiler [2020-07-12 06:08:31] 645*2^1563059-1 is not prime. Res64: 708EDEEEE64D8C28 Time : 0.0 sec. user=mdettweiler [2020-07-12 06:08:32] 843*2^1563059-1 is not prime. Res64: BE9EF1C3B05D0E25 Time : 0.0 sec. user=mdettweiler [2020-07-12 06:08:32] 973*2^1563059-1 is not prime. Res64: 9D28FDF339FBE326 Time : 0.0 sec. user=mdettweiler [2020-07-12 06:08:32] 623*2^1563060-1 is not prime. Res64: 62FEB1BFCA44192A Time : 0.0 sec. user=mdettweiler [2020-07-12 06:14:08] 629*2^1563060-1 is not prime. Res64: 2402A46E5450E8CB Time : 0.0 sec. user=mdettweiler [2020-07-12 06:14:08] 665*2^1563060-1 is not prime. Res64: 02B721C85E08D269 Time : 0.0 sec. user=mdettweiler [2020-07-12 06:14:09] 809*2^1563060-1 is not prime. Res64: 71A71AA05CD44D43 Time : 0.0 sec. user=mdettweiler [2020-07-12 06:14:09] 857*2^1563060-1 is not prime. Res64: A3A558591C1557E1 Time : 0.0 sec. user=mdettweiler [2020-07-12 06:14:09] 965*2^1563060-1 is not prime. Res64: 460F263FE95F1354 Time : 0.0 sec. user=mdettweiler [2020-07-12 07:01:16] 615*2^1563061-1 is not prime. Res64: 06F513627444C449 Time : 0.0 sec. user=mdettweiler [2020-07-12 07:01:17] 625*2^1563061-1 is not prime. Res64: 7EAA330D48A30659 Time : 0.0 sec. user=mdettweiler [2020-07-12 07:01:18] 679*2^1563061-1 is not prime. Res64: 3867E0A1D103C029 Time : 0.0 sec. user=mdettweiler [2020-07-12 07:01:19] 751*2^1563061-1 is not prime. Res64: 159D51916DED961C Time : 0.0 sec. user=mdettweiler [2020-07-12 07:01:19] 769*2^1563061-1 is not prime. Res64: 0153B36853896495 Time : 0.0 sec. user=mdettweiler [2020-07-12 07:11:55] 789*2^1563061-1 is not prime. Res64: F2619999C5474C10 Time : 0.0 sec. user=mdettweiler [2020-07-12 07:11:55] 861*2^1563061-1 is not prime. Res64: D87F1A6DC2F0285D Time : 0.0 sec. user=mdettweiler [2020-07-12 07:11:55] 931*2^1563061-1 is not prime. Res64: 7427E50587C4EC04 Time : 0.0 sec. user=mdettweiler [2020-07-12 07:11:56] 937*2^1563061-1 is not prime. Res64: 4FB50848F86B4DE6 Time : 0.0 sec. user=mdettweiler [2020-07-12 07:11:56] 987*2^1563061-1 is not prime. Res64: F2897E402BD6E2A4 Time : 0.0 sec. user=mdettweiler [2020-07-12 07:18:01] 621*2^1563053-1 is not prime. Res64: A1FCD909CB1666AA Time : 0.0 sec. user=mdettweiler [2020-07-12 07:18:01] 657*2^1563053-1 is not prime. Res64: 19C532EBE0515D61 Time : 0.0 sec. user=mdettweiler [2020-07-12 07:18:01] 829*2^1563053-1 is not prime. Res64: FFA582C6AF6066C2 Time : 0.0 sec. user=mdettweiler [2020-07-12 07:18:02] 879*2^1563053-1 is not prime. Res64: 028491B026C89140 Time : 0.0 sec. user=mdettweiler [2020-07-12 07:54:56] 997*2^1563061-1 is not prime. Res64: 5C38BF5294B5C502 Time : 0.0 sec. user=mdettweiler [2020-07-12 07:54:56] 623*2^1563062-1 is not prime. Res64: 9F2C3BD8C1D3A7F6 Time : 0.0 sec. user=mdettweiler [2020-07-12 07:54:56] 627*2^1563062-1 is not prime. Res64: 404C9761224760B1 Time : 0.0 sec. user=mdettweiler [2020-07-12 07:54:57] 693*2^1563062-1 is not prime. Res64: 1D37CBF5F3BA7A49 Time : 0.0 sec. user=mdettweiler [2020-07-12 07:54:57] 713*2^1563062-1 is not prime. Res64: 67BC54CF3FFBB04E Time : 0.0 sec. user=mdettweiler [2020-07-12 08:09:15] 797*2^1563062-1 is not prime. Res64: 6812F57800F75572 Time : 0.0 sec. user=mdettweiler [2020-07-12 08:09:16] 813*2^1563062-1 is not prime. Res64: BF2CB78DD6528495 Time : 0.0 sec. user=mdettweiler [2020-07-12 08:09:17] 843*2^1563062-1 is not prime. Res64: C67F0437310604D2 Time : 0.0 sec. user=mdettweiler [2020-07-12 08:09:18] 867*2^1563062-1 is not prime. Res64: 1D0092D05C73B3F4 Time : 0.0 sec. user=mdettweiler [2020-07-12 08:09:19] 987*2^1563062-1 is not prime. Res64: CAAA6B93E920391B Time : 0.0 sec. user=mdettweiler [2020-07-12 08:12:30] 1001*2^1563062-1 is not prime. Res64: E066176E13889E93 Time : 0.0 sec. user=mdettweiler [2020-07-12 08:12:30] 765*2^1563063-1 is not prime. Res64: 76134A5D0C97E61B Time : 0.0 sec. user=mdettweiler [2020-07-12 08:12:30] 861*2^1563063-1 is not prime. Res64: CAE5CBCA1CB13BEF Time : 0.0 sec. user=mdettweiler [2020-07-12 08:12:31] 617*2^1563064-1 is not prime. Res64: A9CFD6981BF0A6AE Time : 0.0 sec. user=mdettweiler [2020-07-12 08:12:31] 657*2^1563064-1 is not prime. Res64: DE382349D89D0B62 Time : 0.0 sec. user=mdettweiler [2020-07-12 08:49:23] 695*2^1563064-1 is not prime. Res64: 164FB92E84C27243 Time : 0.0 sec. user=mdettweiler [2020-07-12 08:49:23] 607*2^1563065-1 is not prime. Res64: 411329B4C861C90A Time : 0.0 sec. user=mdettweiler [2020-07-12 08:49:23] 865*2^1563065-1 is not prime. Res64: 65F97CF59CA61F35 Time : 0.0 sec. user=mdettweiler [2020-07-12 08:49:23] 671*2^1563066-1 is not prime. Res64: 979EE828C1352C00 Time : 0.0 sec. user=mdettweiler [2020-07-12 08:49:23] 821*2^1563066-1 is not prime. Res64: C6E3284FB2794466 Time : 0.0 sec. user=mdettweiler [2020-07-12 09:05:14] 609*2^1563067-1 is not prime. Res64: 2E0DAEDCBBB49D10 Time : 0.0 sec. user=mdettweiler [2020-07-12 09:05:15] 651*2^1563067-1 is not prime. Res64: 3D07F5ABA37BE683 Time : 0.0 sec. user=mdettweiler [2020-07-12 09:05:17] 861*2^1563067-1 is not prime. Res64: 634EF293B1233B37 Time : 0.0 sec. user=mdettweiler [2020-07-12 09:05:20] 885*2^1563067-1 is not prime. Res64: 079EF2C903839524 Time : 0.0 sec. user=mdettweiler [2020-07-12 09:05:22] 975*2^1563067-1 is not prime. Res64: FEC2D03ECC130D7A Time : 0.0 sec. user=mdettweiler [2020-07-12 09:05:53] 623*2^1563068-1 is not prime. Res64: D2A41280AC86CBD9 Time : 0.0 sec. user=mdettweiler [2020-07-12 09:05:55] 669*2^1563068-1 is not prime. Res64: 36170D6B96D44BE9 Time : 0.0 sec. user=mdettweiler [2020-07-12 09:05:57] 735*2^1563068-1 is not prime. Res64: 41BB35A036A13044 Time : 0.0 sec. user=mdettweiler [2020-07-12 09:05:57] 777*2^1563068-1 is not prime. Res64: A22DED16218DAA38 Time : 0.0 sec. user=mdettweiler [2020-07-12 09:05:58] 813*2^1563068-1 is not prime. Res64: D7DE359F14CDDF25 Time : 0.0 sec. user=mdettweiler [2020-07-12 09:47:47] 839*2^1563068-1 is not prime. Res64: ADC97E1256634F42 Time : 0.0 sec. user=mdettweiler [2020-07-12 09:47:47] 875*2^1563068-1 is not prime. Res64: 96F3791D3297CBEB Time : 0.0 sec. user=mdettweiler [2020-07-12 09:47:47] 885*2^1563068-1 is not prime. Res64: 8FE257E686682845 Time : 0.0 sec. user=mdettweiler [2020-07-12 09:47:47] 953*2^1563068-1 is not prime. Res64: CB369114722B721E Time : 0.0 sec. user=mdettweiler [2020-07-12 09:47:48] 787*2^1563069-1 is not prime. Res64: 8882FC1018ABD38D Time : 0.0 sec. user=mdettweiler [2020-07-12 10:01:06] 675*2^1563070-1 is not prime. Res64: 5CB745CD308C906F Time : 0.0 sec. user=mdettweiler [2020-07-12 10:01:07] 755*2^1563070-1 is not prime. Res64: 5D6D08DECAEA307B Time : 0.0 sec. user=mdettweiler [2020-07-12 10:01:07] 773*2^1563070-1 is not prime. Res64: 2BFA522A3FF1DB16 Time : 0.0 sec. user=mdettweiler [2020-07-12 10:01:08] 915*2^1563070-1 is not prime. Res64: 00E88F75AEB01D19 Time : 0.0 sec. user=mdettweiler [2020-07-12 10:01:08] 663*2^1563071-1 is not prime. Res64: D2DD2915B6A53F73 Time : 0.0 sec. user=mdettweiler [2020-07-12 10:03:48] 745*2^1563071-1 is not prime. Res64: E8FED35EE27841A9 Time : 0.0 sec. user=mdettweiler [2020-07-12 10:03:49] 885*2^1563071-1 is not prime. Res64: AF31D024D5B3D472 Time : 0.0 sec. user=mdettweiler [2020-07-12 10:03:50] 909*2^1563071-1 is not prime. Res64: DC9A09C002475B21 Time : 0.0 sec. user=mdettweiler [2020-07-12 10:03:50] 669*2^1563072-1 is not prime. Res64: B7A26D43D73681F2 Time : 0.0 sec. user=mdettweiler [2020-07-12 10:03:50] 815*2^1563072-1 is not prime. Res64: 6AFE0A43B6F62536 Time : 0.0 sec. user=mdettweiler [2020-07-12 10:43:22] 873*2^1563072-1 is not prime. Res64: 633CB5F743A96FB2 Time : 0.0 sec. user=mdettweiler [2020-07-12 10:43:22] 609*2^1563073-1 is not prime. Res64: 02F44FC27BEB9E59 Time : 0.0 sec. user=mdettweiler [2020-07-12 10:43:22] 639*2^1563073-1 is not prime. Res64: F287F70B56E4027D Time : 0.0 sec. user=mdettweiler [2020-07-12 10:43:23] 685*2^1563073-1 is not prime. Res64: 779EB9607079C32C Time : 0.0 sec. user=mdettweiler [2020-07-12 10:43:23] 691*2^1563073-1 is not prime. Res64: 7F9736BAFD57A958 Time : 0.0 sec. user=mdettweiler [2020-07-12 10:57:52] 805*2^1563073-1 is not prime. Res64: C68C442C40348264 Time : 0.0 sec. user=mdettweiler [2020-07-12 10:57:52] 897*2^1563073-1 is not prime. Res64: 13579500B9CDE9D2 Time : 0.0 sec. user=mdettweiler [2020-07-12 10:57:52] 605*2^1563074-1 is not prime. Res64: 0B68DD3EA35FAF08 Time : 0.0 sec. user=mdettweiler [2020-07-12 10:57:53] 687*2^1563074-1 is not prime. Res64: DFF57505EA6EAC7B Time : 0.0 sec. user=mdettweiler [2020-07-12 10:57:53] 711*2^1563074-1 is not prime. Res64: 2DF23E1D7514C94A Time : 0.0 sec. user=mdettweiler [2020-07-12 11:00:45] 717*2^1563074-1 is not prime. Res64: A7BEB0CEAC32D1B4 Time : 0.0 sec. user=mdettweiler [2020-07-12 11:00:46] 773*2^1563074-1 is not prime. Res64: 9FDBD147FAEB19EF Time : 0.0 sec. user=mdettweiler [2020-07-12 11:00:46] 797*2^1563074-1 is not prime. Res64: 3B24AA8FB8965C97 Time : 0.0 sec. user=mdettweiler [2020-07-12 11:00:47] 851*2^1563074-1 is not prime. Res64: 7C04099E6BCEC2FD Time : 0.0 sec. user=mdettweiler [2020-07-12 11:00:48] 923*2^1563074-1 is not prime. Res64: 98B3FFC28ABDFF7C Time : 0.0 sec. user=mdettweiler [2020-07-12 11:41:04] 829*2^1563075-1 is not prime. Res64: D72852CE8253BCCC Time : 0.0 sec. user=mdettweiler [2020-07-12 11:41:04] 909*2^1563075-1 is not prime. Res64: 0A06681DAFA1C473 Time : 0.0 sec. user=mdettweiler [2020-07-12 11:41:04] 999*2^1563075-1 is not prime. Res64: 9A4EF8A140436CAE Time : 0.0 sec. user=mdettweiler [2020-07-12 11:41:04] 765*2^1563076-1 is not prime. Res64: 2EE526018E7E4D51 Time : 0.0 sec. user=mdettweiler [2020-07-12 11:41:05] 869*2^1563076-1 is not prime. Res64: 8A544AD005B2F64C Time : 0.0 sec. user=mdettweiler [2020-07-12 11:51:43] 989*2^1563076-1 is not prime. Res64: 2021393304E36872 Time : 0.0 sec. user=mdettweiler [2020-07-12 11:51:44] 601*2^1563077-1 is not prime. Res64: 0AE0F9DA0A7CE8E9 Time : 0.0 sec. user=mdettweiler [2020-07-12 11:51:44] 691*2^1563077-1 is not prime. Res64: B7A91F0C8800387B Time : 0.0 sec. user=mdettweiler [2020-07-12 11:51:44] 711*2^1563077-1 is not prime. Res64: B9E330DCA838FDBD Time : 0.0 sec. user=mdettweiler [2020-07-12 11:51:44] 741*2^1563077-1 is not prime. Res64: 27C6E6C2FE678F6C Time : 0.0 sec. user=mdettweiler [2020-07-12 11:53:33] 769*2^1563077-1 is not prime. Res64: 95DCE0FC36A270E2 Time : 0.0 sec. user=mdettweiler [2020-07-12 11:53:33] 771*2^1563077-1 is not prime. Res64: E5A48F15D9BC94F4 Time : 0.0 sec. user=mdettweiler [2020-07-12 11:53:34] 801*2^1563077-1 is not prime. Res64: FE910DC314573150 Time : 0.0 sec. user=mdettweiler [2020-07-12 11:53:34] 641*2^1563078-1 is not prime. Res64: A9F15F82A63BBC88 Time : 0.0 sec. user=mdettweiler [2020-07-12 11:53:34] 677*2^1563078-1 is not prime. Res64: 4E9E5B8F64B6A574 Time : 0.0 sec. user=mdettweiler [2020-07-12 12:34:08] 681*2^1563078-1 is not prime. Res64: 4002078EC8626F19 Time : 0.0 sec. user=mdettweiler [2020-07-12 12:34:08] 825*2^1563078-1 is not prime. Res64: 381EE9F202558678 Time : 0.0 sec. user=mdettweiler [2020-07-12 12:34:09] 603*2^1563079-1 is not prime. Res64: 770ABFD8B19AA9EC Time : 0.0 sec. user=mdettweiler [2020-07-12 12:34:09] 615*2^1563079-1 is not prime. Res64: 7B86AA5A410AE820 Time : 0.0 sec. user=mdettweiler [2020-07-12 12:34:09] 619*2^1563079-1 is not prime. Res64: F105E481F741D2C8 Time : 0.0 sec. user=mdettweiler [2020-07-12 12:46:50] 681*2^1563079-1 is not prime. Res64: 67C0B96CE9866277 Time : 0.0 sec. user=mdettweiler [2020-07-12 12:46:51] 703*2^1563079-1 is not prime. Res64: 7C46B9C9FCB9C709 Time : 0.0 sec. user=mdettweiler [2020-07-12 12:46:51] 789*2^1563079-1 is not prime. Res64: B24D1A5F0755ECBE Time : 0.0 sec. user=mdettweiler [2020-07-12 12:46:51] 841*2^1563079-1 is not prime. Res64: D5CD8112D7B6DD69 Time : 0.0 sec. user=mdettweiler [2020-07-12 12:46:51] 843*2^1563079-1 is not prime. Res64: 9C8719BBB05F0728 Time : 0.0 sec. user=mdettweiler [2020-07-12 12:48:42] 689*2^1563080-1 is not prime. Res64: E7F12B9B9A608921 Time : 0.0 sec. user=mdettweiler [2020-07-12 12:48:42] 935*2^1563080-1 is not prime. Res64: CA771890E24E9EF9 Time : 0.0 sec. user=mdettweiler [2020-07-12 12:48:43] 777*2^1563081-1 is not prime. Res64: DEF04ABA3DD2FDF2 Time : 0.0 sec. user=mdettweiler [2020-07-12 12:48:43] 795*2^1563081-1 is not prime. Res64: CC1F030880700DB4 Time : 0.0 sec. user=mdettweiler [2020-07-12 12:48:43] 807*2^1563081-1 is not prime. Res64: 235CAD67D251656E Time : 0.0 sec. user=mdettweiler [2020-07-12 13:30:04] 975*2^1563081-1 is not prime. Res64: CDE2A22C19505AA0 Time : 0.0 sec. user=mdettweiler [2020-07-12 13:30:05] 617*2^1563082-1 is not prime. Res64: 050BD1774DD49126 Time : 0.0 sec. user=mdettweiler [2020-07-12 13:30:05] 695*2^1563082-1 is not prime. Res64: 51AFBD6DEC3FA867 Time : 0.0 sec. user=mdettweiler [2020-07-12 13:30:05] 813*2^1563082-1 is not prime. Res64: 57D43EA83177A014 Time : 0.0 sec. user=mdettweiler [2020-07-12 13:30:06] 873*2^1563082-1 is not prime. Res64: 6C90F0CCF8DDD37E Time : 0.0 sec. user=mdettweiler [2020-07-12 13:41:42] 891*2^1563082-1 is not prime. Res64: F0B96A6EC746F384 Time : 0.0 sec. user=mdettweiler [2020-07-12 13:41:42] 957*2^1563082-1 is not prime. Res64: 86AB6AA14DF770F1 Time : 0.0 sec. user=mdettweiler [2020-07-12 13:41:42] 615*2^1563083-1 is not prime. Res64: 611409EF913F5B5B Time : 0.0 sec. user=mdettweiler [2020-07-12 13:41:42] 699*2^1563083-1 is not prime. Res64: 54DA0EB0CA04380E Time : 0.0 sec. user=mdettweiler [2020-07-12 13:41:43] 703*2^1563083-1 is not prime. Res64: 940601F849F6DF95 Time : 0.0 sec. user=mdettweiler [2020-07-12 13:46:04] 715*2^1563083-1 is not prime. Res64: 4D4B4BA371780DC5 Time : 0.0 sec. user=mdettweiler [2020-07-12 13:46:04] 811*2^1563083-1 is not prime. Res64: C220B4C1385D699C Time : 0.0 sec. user=mdettweiler [2020-07-12 13:46:04] 879*2^1563083-1 is not prime. Res64: 39E758B19C9EFF4A Time : 0.0 sec. user=mdettweiler [2020-07-12 13:46:04] 945*2^1563083-1 is not prime. Res64: FCA93174227F60CE Time : 0.0 sec. user=mdettweiler [2020-07-12 13:46:04] 999*2^1563083-1 is not prime. Res64: 6773C90DC1756279 Time : 0.0 sec. user=mdettweiler [2020-07-12 14:23:49] 627*2^1563084-1 is not prime. Res64: 1B4A80B35D6AE588 Time : 0.0 sec. user=mdettweiler [2020-07-12 14:23:50] 675*2^1563084-1 is not prime. Res64: F5D400AC0018DD10 Time : 0.0 sec. user=mdettweiler [2020-07-12 14:23:50] 689*2^1563084-1 is not prime. Res64: 997719953A5110D3 Time : 0.0 sec. user=mdettweiler [2020-07-12 14:23:50] 717*2^1563084-1 is not prime. Res64: DADE002C3A4B234F Time : 0.0 sec. user=mdettweiler [2020-07-12 14:23:50] 863*2^1563084-1 is not prime. Res64: E405E44966062B2E Time : 0.0 sec. user=mdettweiler [2020-07-12 14:39:00] 899*2^1563084-1 is not prime. Res64: C833BBA751D8B2A6 Time : 0.0 sec. user=mdettweiler [2020-07-12 14:39:01] 927*2^1563084-1 is not prime. Res64: 0BB220AF3D1E1360 Time : 0.0 sec. user=mdettweiler [2020-07-12 14:39:01] 801*2^1563085-1 is not prime. Res64: DF60D8E90D0C7EC3 Time : 0.0 sec. user=mdettweiler [2020-07-12 14:39:01] 877*2^1563085-1 is not prime. Res64: 9E842C9087C73395 Time : 0.0 sec. user=mdettweiler [2020-07-12 14:39:01] 885*2^1563085-1 is not prime. Res64: 16C95AAAFA34084C Time : 0.0 sec. user=mdettweiler [2020-07-12 14:42:14] 987*2^1563085-1 is not prime. Res64: 2AE9B9ECCF2F102A Time : 0.0 sec. user=mdettweiler [2020-07-12 14:42:14] 997*2^1563085-1 is not prime. Res64: 8A2B931D10B5C817 Time : 0.0 sec. user=mdettweiler [2020-07-12 14:42:14] 999*2^1563085-1 is not prime. Res64: 870B579C5C76660C Time : 0.0 sec. user=mdettweiler [2020-07-12 14:42:14] 707*2^1563086-1 is not prime. Res64: 449DC952D8DED08B Time : 0.0 sec. user=mdettweiler [2020-07-12 14:42:14] 743*2^1563086-1 is not prime. Res64: 841798CD65A6DA99 Time : 0.0 sec. user=mdettweiler [2020-07-12 15:19:03] 825*2^1563086-1 is not prime. Res64: E8A2DE850E250EF6 Time : 0.0 sec. user=mdettweiler [2020-07-12 15:19:03] 887*2^1563086-1 is not prime. Res64: 09D71A9D9814B2AF Time : 0.0 sec. user=mdettweiler [2020-07-12 15:19:03] 685*2^1563087-1 is not prime. Res64: 195C55B1EFB52831 Time : 0.0 sec. user=mdettweiler [2020-07-12 15:19:04] 709*2^1563087-1 is not prime. Res64: 46A6EABCC48435E9 Time : 0.0 sec. user=mdettweiler [2020-07-12 15:19:04] 765*2^1563087-1 is not prime. Res64: 020D22EF72568856 Time : 0.0 sec. user=mdettweiler [2020-07-12 15:33:49] 849*2^1563087-1 is not prime. Res64: C89DCA498C5CE424 Time : 0.0 sec. user=mdettweiler [2020-07-12 15:33:49] 873*2^1563087-1 is not prime. Res64: 587256A00EAED784 Time : 0.0 sec. user=mdettweiler [2020-07-12 15:33:50] 629*2^1563088-1 is not prime. Res64: F1EC901DBBEAD850 Time : 0.0 sec. user=mdettweiler [2020-07-12 15:33:50] 677*2^1563088-1 is not prime. Res64: 1BB7B1B7EE66B86C Time : 0.0 sec. user=mdettweiler [2020-07-12 15:33:50] 687*2^1563088-1 is not prime. Res64: 3B52DEED324961FF Time : 0.0 sec. user=mdettweiler [2020-07-12 15:39:29] 743*2^1563088-1 is not prime. Res64: ABC54A7CD9599DF2 Time : 0.0 sec. user=mdettweiler [2020-07-12 15:39:29] 843*2^1563088-1 is not prime. Res64: D32C2CE5352D1356 Time : 0.0 sec. user=mdettweiler [2020-07-12 15:39:29] 869*2^1563088-1 is not prime. Res64: CCB0F758FD31DABC Time : 0.0 sec. user=mdettweiler [2020-07-12 15:39:29] 989*2^1563088-1 is not prime. Res64: 9F06F2F2984020D9 Time : 0.0 sec. user=mdettweiler [2020-07-12 15:39:30] 995*2^1563088-1 is not prime. Res64: D4ED79E8C385960F Time : 0.0 sec. user=mdettweiler [2020-07-12 16:15:41] 727*2^1563089-1 is not prime. Res64: 21B3EE348F9B5F90 Time : 0.0 sec. user=mdettweiler [2020-07-12 16:15:41] 769*2^1563089-1 is not prime. Res64: E5B3623248FD7F9C Time : 0.0 sec. user=mdettweiler [2020-07-12 16:15:42] 861*2^1563089-1 is not prime. Res64: 9A0429BFAC2B3D38 Time : 0.0 sec. user=mdettweiler [2020-07-12 16:15:42] 867*2^1563089-1 is not prime. Res64: 735A729559C9973C Time : 0.0 sec. user=mdettweiler [2020-07-12 16:15:42] 879*2^1563089-1 is not prime. Res64: 404D63E2F9C5E3A4 Time : 0.0 sec. user=mdettweiler [2020-07-12 16:29:12] 889*2^1563089-1 is not prime. Res64: DB5597FC0AA6AC9E Time : 0.0 sec. user=mdettweiler [2020-07-12 16:29:13] 979*2^1563089-1 is not prime. Res64: 7F4763C95A8F55DA Time : 0.0 sec. user=mdettweiler [2020-07-12 16:29:13] 635*2^1563090-1 is not prime. Res64: 19095667A05189F2 Time : 0.0 sec. user=mdettweiler [2020-07-12 16:29:13] 651*2^1563090-1 is not prime. Res64: B2003F74AC40F0C7 Time : 0.0 sec. user=mdettweiler [2020-07-12 16:29:13] 797*2^1563090-1 is not prime. Res64: 8654B2ED48409663 Time : 0.0 sec. user=mdettweiler [2020-07-12 16:36:34] 803*2^1563090-1 is not prime. Res64: 2C4BCA3EFFA629BD Time : 0.0 sec. user=mdettweiler [2020-07-12 16:36:34] 945*2^1563090-1 is not prime. Res64: 30D7F4D5E3045BCA Time : 0.0 sec. user=mdettweiler [2020-07-12 16:36:34] 951*2^1563090-1 is not prime. Res64: BED63149B968F63A Time : 0.0 sec. user=mdettweiler [2020-07-12 16:36:35] 675*2^1563091-1 is not prime. Res64: 64000CE534FDD954 Time : 0.0 sec. user=mdettweiler [2020-07-12 16:36:35] 769*2^1563091-1 is not prime. Res64: 993B03E340AC3FA7 Time : 0.0 sec. user=mdettweiler [2020-07-12 17:16:57] 805*2^1563091-1 is not prime. Res64: B5FBED484B9417ED Time : 0.0 sec. user=mdettweiler [2020-07-12 17:16:57] 843*2^1563091-1 is not prime. Res64: 19963E49E326935A Time : 0.0 sec. user=mdettweiler [2020-07-12 17:16:58] 861*2^1563091-1 is not prime. Res64: D23546AB5D1CD7E2 Time : 0.0 sec. user=mdettweiler [2020-07-12 17:16:58] 885*2^1563091-1 is not prime. Res64: D0474FA34886EB15 Time : 0.0 sec. user=mdettweiler [2020-07-12 17:16:58] 993*2^1563091-1 is not prime. Res64: 9E56A31379FE7DEC Time : 0.0 sec. user=mdettweiler [2020-07-12 17:28:02] 725*2^1563092-1 is not prime. Res64: 100525C1A1AA0D38 Time : 0.0 sec. user=mdettweiler [2020-07-12 17:28:02] 767*2^1563092-1 is not prime. Res64: CF054C3AB6542985 Time : 0.0 sec. user=mdettweiler [2020-07-12 17:28:03] 837*2^1563092-1 is not prime. Res64: F750C1615E0F01F8 Time : 0.0 sec. user=mdettweiler [2020-07-12 17:28:03] 899*2^1563092-1 is not prime. Res64: 95B2BA8622D794DA Time : 0.0 sec. user=mdettweiler [2020-07-12 17:28:03] 909*2^1563092-1 is not prime. Res64: 3105E0C1B4909CDE Time : 0.0 sec. user=mdettweiler [2020-07-12 17:37:19] 999*2^1563092-1 is not prime. Res64: B64860621C7C0EFF Time : 0.0 sec. user=mdettweiler [2020-07-12 17:37:19] 805*2^1563093-1 is not prime. Res64: 2A4747A280ADA100 Time : 0.0 sec. user=mdettweiler [2020-07-12 17:37:19] 847*2^1563093-1 is not prime. Res64: AE55C39A317926BD Time : 0.0 sec. user=mdettweiler [2020-07-12 17:37:19] 885*2^1563093-1 is not prime. Res64: 499CB0C01188CF89 Time : 0.0 sec. user=mdettweiler [2020-07-12 17:37:19] 891*2^1563093-1 is not prime. Res64: 2317ADCE8D16C069 Time : 0.0 sec. user=mdettweiler [2020-07-12 18:11:59] 657*2^1563094-1 is not prime. Res64: 2FB8266ECBD27982 Time : 0.0 sec. user=mdettweiler [2020-07-12 18:11:59] 723*2^1563094-1 is not prime. Res64: F3A7C1318610238D Time : 0.0 sec. user=mdettweiler [2020-07-12 18:12:00] 821*2^1563094-1 is not prime. Res64: 585C6B5CFE6595BF Time : 0.0 sec. user=mdettweiler [2020-07-12 18:12:00] 897*2^1563094-1 is not prime. Res64: 7875EF27C4EAD389 Time : 0.0 sec. user=mdettweiler [2020-07-12 18:12:00] 735*2^1563095-1 is not prime. Res64: 0CFE0AC4CD95835B Time : 0.0 sec. user=mdettweiler [2020-07-12 18:25:14] 775*2^1563095-1 is not prime. Res64: 42E43828C483854E Time : 0.0 sec. user=mdettweiler [2020-07-12 18:25:14] 843*2^1563095-1 is not prime. Res64: 08CCD06898B7B311 Time : 0.0 sec. user=mdettweiler [2020-07-12 18:25:14] 859*2^1563095-1 is not prime. Res64: 1E1D04D113EA4AEC Time : 0.0 sec. user=mdettweiler [2020-07-12 18:25:15] 909*2^1563095-1 is not prime. Res64: 4B9FC481223CCA84 Time : 0.0 sec. user=mdettweiler [2020-07-12 18:25:15] 969*2^1563095-1 is not prime. Res64: 2BD2C0ECCE42FED0 Time : 0.0 sec. user=mdettweiler [2020-07-12 18:33:29] 981*2^1563095-1 is not prime. Res64: E00CDFF00AF6AA22 Time : 0.0 sec. user=mdettweiler [2020-07-12 18:33:29] 675*2^1563096-1 is not prime. Res64: 419B9A3549AA71FA Time : 0.0 sec. user=mdettweiler [2020-07-12 18:33:29] 693*2^1563096-1 is not prime. Res64: 92A1763CBFEF0EC4 Time : 0.0 sec. user=mdettweiler [2020-07-12 18:33:30] 803*2^1563096-1 is not prime. Res64: CB39796E69FA3ED6 Time : 0.0 sec. user=mdettweiler [2020-07-12 18:33:30] 825*2^1563096-1 is not prime. Res64: D5ED25DA716FA57E Time : 0.0 sec. user=mdettweiler [2020-07-12 19:07:42] 837*2^1563096-1 is not prime. Res64: 1C538438AD3DBB32 Time : 0.0 sec. user=mdettweiler [2020-07-12 19:07:42] 849*2^1563096-1 is not prime. Res64: 78DC1F7CC76226A7 Time : 0.0 sec. user=mdettweiler [2020-07-12 19:07:43] 903*2^1563096-1 is not prime. Res64: 6A2084FB04C6CF89 Time : 0.0 sec. user=mdettweiler [2020-07-12 19:07:43] 601*2^1563097-1 is not prime. Res64: FF5ACB70C2A15984 Time : 0.0 sec. user=mdettweiler [2020-07-12 19:07:43] 639*2^1563097-1 is not prime. Res64: DA8E5EAB096E6ECF Time : 0.0 sec. user=mdettweiler [2020-07-12 19:21:04] 645*2^1563097-1 is not prime. Res64: B2D8B354C6BD22CD Time : 0.0 sec. user=mdettweiler [2020-07-12 19:21:05] 747*2^1563097-1 is not prime. Res64: 67BE5C5696A93F75 Time : 0.0 sec. user=mdettweiler [2020-07-12 19:21:05] 885*2^1563097-1 is not prime. Res64: 1E89E5E0BD514D3B Time : 0.0 sec. user=mdettweiler [2020-07-12 19:21:06] 919*2^1563097-1 is not prime. Res64: 11E0FED85761DCDA Time : 0.0 sec. user=mdettweiler [2020-07-12 19:21:06] 979*2^1563097-1 is not prime. Res64: 09C71150152AB9CD Time : 0.0 sec. user=mdettweiler [2020-07-12 19:27:56] 985*2^1563097-1 is not prime. Res64: 6867609EE12A7131 Time : 0.0 sec. user=mdettweiler [2020-07-12 19:27:56] 867*2^1563098-1 is not prime. Res64: E7A84CA305198A67 Time : 0.0 sec. user=mdettweiler [2020-07-12 19:27:56] 615*2^1563099-1 is not prime. Res64: ADEA2CE7022EDE18 Time : 0.0 sec. user=mdettweiler [2020-07-12 19:27:56] 663*2^1563099-1 is not prime. Res64: 864F788C03D36F68 Time : 0.0 sec. user=mdettweiler [2020-07-12 19:27:57] 705*2^1563099-1 is not prime. Res64: E2696BE81512B7C1 Time : 0.0 sec. user=mdettweiler [2020-07-12 20:05:09] 835*2^1563099-1 is not prime. Res64: 3731DEB0346CC2E8 Time : 0.0 sec. user=mdettweiler [2020-07-12 20:05:10] 955*2^1563099-1 is not prime. Res64: 65A2D17BE86E8A88 Time : 0.0 sec. user=mdettweiler [2020-07-12 20:05:11] 961*2^1563099-1 is not prime. Res64: 40E6A84D2E29B2B8 Time : 0.0 sec. user=mdettweiler [2020-07-12 20:05:12] 785*2^1563100-1 is not prime. Res64: 71A37115D53E921F Time : 0.0 sec. user=mdettweiler [2020-07-12 20:05:13] 803*2^1563100-1 is not prime. Res64: A61954CCE8FB736F Time : 0.0 sec. user=mdettweiler [2020-07-12 20:16:56] 857*2^1563100-1 is not prime. Res64: BDA78F65BD3AB889 Time : 0.0 sec. user=mdettweiler [2020-07-12 20:16:56] 887*2^1563100-1 is not prime. Res64: 29A443DED1CD8C81 Time : 0.0 sec. user=mdettweiler [2020-07-12 20:16:57] 939*2^1563100-1 is not prime. Res64: 6D419262F7894217 Time : 0.0 sec. user=mdettweiler [2020-07-12 20:16:57] 619*2^1563101-1 is not prime. Res64: 9CE56CBA56FC3B6D Time : 0.0 sec. user=mdettweiler [2020-07-12 20:16:57] 697*2^1563101-1 is not prime. Res64: B9562AA1D3CA1F8A Time : 0.0 sec. user=mdettweiler [2020-07-12 20:25:16] 799*2^1563101-1 is not prime. Res64: A4CFAFD84765DFA7 Time : 0.0 sec. user=mdettweiler [2020-07-12 20:25:17] 829*2^1563101-1 is not prime. Res64: EC43C7767D275CB9 Time : 0.0 sec. user=mdettweiler [2020-07-12 20:25:17] 871*2^1563101-1 is not prime. Res64: 8A79D9251DD80B81 Time : 0.0 sec. user=mdettweiler [2020-07-12 20:25:17] 907*2^1563101-1 is not prime. Res64: B52BB39CACFCCBD9 Time : 0.0 sec. user=mdettweiler [2020-07-12 20:25:17] 981*2^1563101-1 is not prime. Res64: 4492CCE35D2790F4 Time : 0.0 sec. user=mdettweiler [2020-07-12 21:02:53] 987*2^1563101-1 is not prime. Res64: 49C38EFCD782FFDE Time : 0.0 sec. user=mdettweiler [2020-07-12 21:02:54] 717*2^1563102-1 is not prime. Res64: 2B14C470B7D4F993 Time : 0.0 sec. user=mdettweiler [2020-07-12 21:02:55] 741*2^1563102-1 is not prime. Res64: 8204A781307E6E2C Time : 0.0 sec. user=mdettweiler [2020-07-12 21:02:55] 833*2^1563102-1 is not prime. Res64: 55AA108930F751D7 Time : 0.0 sec. user=mdettweiler [2020-07-12 21:02:55] 873*2^1563102-1 is not prime. Res64: 7506EE32D5D6FA03 Time : 0.0 sec. user=mdettweiler [2020-07-12 21:11:18] 947*2^1563102-1 is not prime. Res64: A333C2152EFDA97C Time : 0.0 sec. user=mdettweiler [2020-07-12 21:11:18] 619*2^1563103-1 is not prime. Res64: 35C9D88A4CFBF229 Time : 0.0 sec. user=mdettweiler [2020-07-12 21:11:19] 661*2^1563103-1 is not prime. Res64: DF33322EF926A965 Time : 0.0 sec. user=mdettweiler [2020-07-12 21:11:19] 673*2^1563103-1 is not prime. Res64: 9575A465ED3853AF Time : 0.0 sec. user=mdettweiler [2020-07-12 21:11:19] 723*2^1563103-1 is not prime. Res64: DCB2326FEB645FAF Time : 0.0 sec. user=mdettweiler [2020-07-12 21:22:14] 741*2^1563103-1 is not prime. Res64: 073498A5E47A6A6B Time : 0.0 sec. user=mdettweiler [2020-07-12 21:22:14] 763*2^1563103-1 is not prime. Res64: 0AAA8B5E54A35890 Time : 0.0 sec. user=mdettweiler [2020-07-12 21:22:15] 769*2^1563103-1 is not prime. Res64: 7093B97BE2BF8A8B Time : 0.0 sec. user=mdettweiler [2020-07-12 21:22:15] 859*2^1563103-1 is not prime. Res64: 8A2B547DA57440B5 Time : 0.0 sec. user=mdettweiler [2020-07-12 21:22:15] 895*2^1563103-1 is not prime. Res64: F8B42EE6829D2CF4 Time : 0.0 sec. user=mdettweiler [2020-07-12 22:00:23] 915*2^1563103-1 is not prime. Res64: 2C31A7910F5FDBE5 Time : 0.0 sec. user=mdettweiler [2020-07-12 22:00:23] 945*2^1563103-1 is not prime. Res64: D4E1AFB68E61C8D8 Time : 0.0 sec. user=mdettweiler [2020-07-12 22:00:30] 951*2^1563103-1 is not prime. Res64: 315D75D0D96B4224 Time : 0.0 sec. user=mdettweiler [2020-07-12 22:00:30] 623*2^1563104-1 is not prime. Res64: 2E65F6C8B2877080 Time : 0.0 sec. user=mdettweiler [2020-07-12 22:00:31] 719*2^1563104-1 is not prime. Res64: 40B590D256F27924 Time : 0.0 sec. user=mdettweiler [2020-07-12 22:06:20] 819*2^1563104-1 is not prime. Res64: 8BEDBF0287E77E88 Time : 0.0 sec. user=mdettweiler [2020-07-12 22:06:21] 657*2^1563105-1 is not prime. Res64: E421E0D831C0EA9B Time : 0.0 sec. user=mdettweiler [2020-07-12 22:06:22] 675*2^1563105-1 is not prime. Res64: 8F908C11C6F18131 Time : 0.0 sec. user=mdettweiler [2020-07-12 22:06:22] 741*2^1563105-1 is not prime. Res64: 2447E066F31D5861 Time : 0.0 sec. user=mdettweiler [2020-07-12 22:06:23] 781*2^1563105-1 is not prime. Res64: 2407FC75D5FC7579 Time : 0.0 sec. user=mdettweiler [2020-07-12 22:18:51] 877*2^1563105-1 is not prime. Res64: 9B3A69C2CFACDF2A Time : 0.0 sec. user=mdettweiler [2020-07-12 22:18:52] 885*2^1563105-1 is not prime. Res64: 89BB0A3CBD88A8D5 Time : 0.0 sec. user=mdettweiler [2020-07-12 22:18:52] 991*2^1563105-1 is not prime. Res64: 4B4F30102D8D4FD7 Time : 0.0 sec. user=mdettweiler [2020-07-12 22:18:52] 623*2^1563106-1 is not prime. Res64: B8E1724CD55819CD Time : 0.0 sec. user=mdettweiler [2020-07-12 22:18:53] 695*2^1563106-1 is not prime. Res64: E31D393695EF3BDC Time : 0.0 sec. user=mdettweiler [2020-07-12 22:56:14] 843*2^1563106-1 is not prime. Res64: 55C868975B0B667A Time : 0.0 sec. user=mdettweiler [2020-07-12 22:56:15] 903*2^1563106-1 is not prime. Res64: CED3FA3A000F53FE Time : 0.0 sec. user=mdettweiler [2020-07-12 22:56:15] 947*2^1563106-1 is not prime. Res64: C8CD18BC2198CF2B Time : 0.0 sec. user=mdettweiler [2020-07-12 22:56:15] 603*2^1563107-1 is not prime. Res64: 3BB9AA76558695FE Time : 0.0 sec. user=mdettweiler [2020-07-12 22:56:15] 619*2^1563107-1 is not prime. Res64: 235FEABF0898A0CA Time : 0.0 sec. user=mdettweiler [2020-07-12 23:01:22] 885*2^1563107-1 is not prime. Res64: CA48E7677B14EA7F Time : 0.0 sec. user=mdettweiler [2020-07-12 23:01:22] 973*2^1563107-1 is not prime. Res64: 3DE4ECC82101C8A1 Time : 0.0 sec. user=mdettweiler [2020-07-12 23:01:23] 633*2^1563108-1 is not prime. Res64: 0B002A30EB7A5BE5 Time : 0.0 sec. user=mdettweiler [2020-07-12 23:01:23] 689*2^1563108-1 is not prime. Res64: FABAF4B852095491 Time : 0.0 sec. user=mdettweiler [2020-07-12 23:01:24] 725*2^1563108-1 is not prime. Res64: 261853A97FAEA0BE Time : 0.0 sec. user=mdettweiler [2020-07-12 23:15:15] 773*2^1563108-1 is not prime. Res64: 4DF591A23B4D243E Time : 0.0 sec. user=mdettweiler [2020-07-12 23:15:15] 839*2^1563108-1 is not prime. Res64: 4C77AABBB91C847D Time : 0.0 sec. user=mdettweiler [2020-07-12 23:15:16] 915*2^1563108-1 is not prime. Res64: AB313FD2578D655A Time : 0.0 sec. user=mdettweiler [2020-07-12 23:15:16] 977*2^1563108-1 is not prime. Res64: ECB266217C2BEADD Time : 0.0 sec. user=mdettweiler [2020-07-12 23:15:17] 675*2^1563109-1 is not prime. Res64: 15C9DF43EDB81852 Time : 0.0 sec. user=mdettweiler [2020-07-12 23:52:10] 745*2^1563109-1 is not prime. Res64: A981AE9FA59A70CE Time : 0.0 sec. user=mdettweiler [2020-07-12 23:52:10] 861*2^1563109-1 is not prime. Res64: 3BEF8DD4F4ECAA77 Time : 0.0 sec. user=mdettweiler [2020-07-12 23:52:10] 955*2^1563109-1 is not prime. Res64: 448BFE7586F94068 Time : 0.0 sec. user=mdettweiler [2020-07-12 23:52:11] 967*2^1563109-1 is not prime. Res64: 4BEABDFC2E375326 Time : 0.0 sec. user=mdettweiler [2020-07-12 23:52:11] 603*2^1563110-1 is not prime. Res64: C567E7001ACF897D Time : 0.0 sec. user=mdettweiler [2020-07-12 23:53:49] 605*2^1563110-1 is not prime. Res64: CDAB6F3F5961660C Time : 0.0 sec. user=mdettweiler [2020-07-12 23:53:49] 657*2^1563110-1 is not prime. Res64: 29BDDF6ECEB0C738 Time : 0.0 sec. user=mdettweiler [2020-07-12 23:53:49] 707*2^1563110-1 is not prime. Res64: BC40048F47843028 Time : 0.0 sec. user=mdettweiler [2020-07-12 23:53:49] 717*2^1563110-1 is not prime. Res64: 8D454794C9DFAD3A Time : 0.0 sec. user=mdettweiler [2020-07-12 23:53:50] 731*2^1563110-1 is not prime. Res64: FF3CA36C4E8BBE7C Time : 0.0 sec.