user=mdettweiler [2021-07-21 00:11:48] 955*2^1610161-1 is not prime. Res64: 866B5755C4C48F47 Time : 0.0 sec. user=mdettweiler [2021-07-21 00:11:49] 957*2^1610161-1 is not prime. Res64: A2D8B39286CB79E9 Time : 0.0 sec. user=mdettweiler [2021-07-21 00:11:50] 677*2^1610162-1 is not prime. Res64: EAAAA39E2F7D4660 Time : 0.0 sec. user=mdettweiler [2021-07-21 00:11:50] 705*2^1610162-1 is not prime. Res64: 6C698E033EC35D1B Time : 0.0 sec. user=mdettweiler [2021-07-21 00:11:51] 711*2^1610162-1 is not prime. Res64: C988376509571A1D Time : 0.0 sec. user=odicin [2021-07-21 00:32:57] 723*2^1610164-1 is not prime. Res64: 613F91904A58FCB6 Time : 0.0 sec. user=mdettweiler [2021-07-21 00:52:41] 837*2^1610162-1 is not prime. Res64: F55687A0126303CB Time : 0.0 sec. user=mdettweiler [2021-07-21 00:52:41] 945*2^1610162-1 is not prime. Res64: C888874442F2B763 Time : 0.0 sec. user=mdettweiler [2021-07-21 00:52:42] 675*2^1610163-1 is not prime. Res64: CD2D5B482E85BEFA Time : 0.0 sec. user=mdettweiler [2021-07-21 00:52:42] 691*2^1610163-1 is not prime. Res64: FD80D40F95C16440 Time : 0.0 sec. user=mdettweiler [2021-07-21 00:52:43] 741*2^1610163-1 is not prime. Res64: 22141654B4161E22 Time : 0.0 sec. user=mdettweiler [2021-07-21 01:12:14] 781*2^1610163-1 is not prime. Res64: E833313110296315 Time : 0.0 sec. user=mdettweiler [2021-07-21 01:12:14] 963*2^1610163-1 is not prime. Res64: BB65AE6942999CAB Time : 0.0 sec. user=mdettweiler [2021-07-21 01:12:15] 969*2^1610163-1 is not prime. Res64: A7F4113ED5C15E3E Time : 0.0 sec. user=mdettweiler [2021-07-21 01:12:16] 615*2^1610164-1 is not prime. Res64: 0C4665E77C2B91C3 Time : 0.0 sec. user=mdettweiler [2021-07-21 01:12:16] 677*2^1610164-1 is not prime. Res64: E8EA92FE74C0F2AE Time : 0.0 sec. user=mdettweiler [2021-07-21 01:52:50] 783*2^1610164-1 is not prime. Res64: 9AE9E7132C716FBC Time : 0.0 sec. user=mdettweiler [2021-07-21 01:52:52] 875*2^1610164-1 is not prime. Res64: A1BAA9508DC0FA2F Time : 0.0 sec. user=mdettweiler [2021-07-21 01:52:52] 909*2^1610164-1 is not prime. Res64: C67D62CB3967048B Time : 0.0 sec. user=mdettweiler [2021-07-21 01:52:53] 965*2^1610164-1 is not prime. Res64: CA6DA11B32CED80D Time : 0.0 sec. user=mdettweiler [2021-07-21 01:52:54] 969*2^1610164-1 is not prime. Res64: 3751893EB35812A3 Time : 0.0 sec. user=mdettweiler [2021-07-21 02:12:36] 627*2^1610165-1 is not prime. Res64: 5F775146E9C19C7C Time : 0.0 sec. user=mdettweiler [2021-07-21 02:12:37] 771*2^1610165-1 is not prime. Res64: F56A4A455FF3F4AE Time : 0.0 sec. user=mdettweiler [2021-07-21 02:12:38] 781*2^1610165-1 is not prime. Res64: DE6EE12A2DD548BC Time : 0.0 sec. user=mdettweiler [2021-07-21 02:12:38] 889*2^1610165-1 is not prime. Res64: 314E11DBED380688 Time : 0.0 sec. user=mdettweiler [2021-07-21 02:12:39] 925*2^1610165-1 is not prime. Res64: 56D15EC05FD9B1B2 Time : 0.0 sec. user=mdettweiler [2021-07-21 02:54:02] 937*2^1610165-1 is not prime. Res64: B5CF0B09EA659EF2 Time : 0.0 sec. user=mdettweiler [2021-07-21 02:54:03] 891*2^1610166-1 is not prime. Res64: 25C9DEC15F7AFAE4 Time : 0.0 sec. user=mdettweiler [2021-07-21 02:54:04] 615*2^1610167-1 is not prime. Res64: ABAFEA9FAD815F6B Time : 0.0 sec. user=mdettweiler [2021-07-21 02:54:04] 693*2^1610167-1 is not prime. Res64: 2D9549969F055F33 Time : 0.0 sec. user=mdettweiler [2021-07-21 02:54:05] 765*2^1610167-1 is not prime. Res64: 9554A294C9A58C86 Time : 0.0 sec. user=mdettweiler [2021-07-21 03:13:00] 973*2^1610167-1 is not prime. Res64: 7CE30B6F5CAE6A8A Time : 0.0 sec. user=mdettweiler [2021-07-21 03:13:01] 975*2^1610167-1 is not prime. Res64: BE68FB149FFCA6A7 Time : 0.0 sec. user=mdettweiler [2021-07-21 03:13:01] 635*2^1610168-1 is not prime. Res64: BECAFAD3ECB49801 Time : 0.0 sec. user=mdettweiler [2021-07-21 03:13:02] 699*2^1610168-1 is not prime. Res64: 2B462E51750A5C9C Time : 0.0 sec. user=mdettweiler [2021-07-21 03:13:02] 773*2^1610168-1 is not prime. Res64: 84A575F4DF167299 Time : 0.0 sec. user=mdettweiler [2021-07-21 03:54:11] 615*2^1610169-1 is not prime. Res64: 5D2740D56CD772D5 Time : 0.0 sec. user=mdettweiler [2021-07-21 03:54:13] 837*2^1610169-1 is not prime. Res64: 9FD089779D1457E3 Time : 0.0 sec. user=mdettweiler [2021-07-21 03:54:14] 975*2^1610169-1 is not prime. Res64: EC35C3DE076457DF Time : 0.0 sec. user=mdettweiler [2021-07-21 03:54:16] 605*2^1610170-1 is not prime. Res64: E9D9AA35ADA79E57 Time : 0.0 sec. user=mdettweiler [2021-07-21 03:54:17] 713*2^1610170-1 is not prime. Res64: 1225901F81A56D1D Time : 0.0 sec. user=mdettweiler [2021-07-21 04:13:08] 801*2^1610170-1 is not prime. Res64: 94DB30C49A150C8D Time : 0.0 sec. user=mdettweiler [2021-07-21 04:13:12] 803*2^1610170-1 is not prime. Res64: 93453175F441035C Time : 0.0 sec. user=mdettweiler [2021-07-21 04:13:13] 885*2^1610170-1 is not prime. Res64: 9F2CB29B9C453804 Time : 0.0 sec. user=mdettweiler [2021-07-21 04:13:15] 887*2^1610170-1 is not prime. Res64: D88D43188D606A49 Time : 0.0 sec. user=mdettweiler [2021-07-21 04:13:16] 891*2^1610170-1 is not prime. Res64: 6315942E8AA06DEE Time : 0.0 sec. user=mdettweiler [2021-07-21 04:54:51] 975*2^1610170-1 is not prime. Res64: 3D3CCFD5A12811D5 Time : 0.0 sec. user=mdettweiler [2021-07-21 04:54:52] 619*2^1610171-1 is not prime. Res64: 479E0027BBF0055D Time : 0.0 sec. user=mdettweiler [2021-07-21 04:54:52] 733*2^1610171-1 is not prime. Res64: 875D605652F65DF0 Time : 0.0 sec. user=mdettweiler [2021-07-21 04:54:53] 745*2^1610171-1 is not prime. Res64: 90CAD357647A84C0 Time : 0.0 sec. user=mdettweiler [2021-07-21 04:54:53] 855*2^1610171-1 is not prime. Res64: 292DDDF91E91706D Time : 0.0 sec. user=mdettweiler [2021-07-21 05:14:22] 859*2^1610171-1 is not prime. Res64: 95E6EB86B50CD669 Time : 0.0 sec. user=mdettweiler [2021-07-21 05:14:23] 945*2^1610171-1 is not prime. Res64: B4C34E24C36F985A Time : 0.0 sec. user=mdettweiler [2021-07-21 05:14:23] 979*2^1610171-1 is not prime. Res64: DDA5411F83EE5165 Time : 0.0 sec. user=mdettweiler [2021-07-21 05:14:24] 605*2^1610172-1 is not prime. Res64: 52BE163C6C63652D Time : 0.0 sec. user=mdettweiler [2021-07-21 05:14:25] 639*2^1610172-1 is not prime. Res64: 5D3A078E40FFE5D8 Time : 0.0 sec. user=mdettweiler [2021-07-21 05:55:03] 699*2^1610172-1 is not prime. Res64: 8D2C4453531FA6D7 Time : 0.0 sec. user=mdettweiler [2021-07-21 05:55:03] 719*2^1610172-1 is not prime. Res64: 87FAB2E4D2A6F312 Time : 0.0 sec. user=mdettweiler [2021-07-21 05:55:04] 893*2^1610172-1 is not prime. Res64: 94FFD7355EF1F079 Time : 0.0 sec. user=mdettweiler [2021-07-21 05:55:04] 651*2^1610173-1 is not prime. Res64: 7B73F7F59F935B41 Time : 0.0 sec. user=mdettweiler [2021-07-21 05:55:05] 757*2^1610173-1 is not prime. Res64: B25FEA0FBDBADF52 Time : 0.0 sec. user=mdettweiler [2021-07-21 06:14:43] 769*2^1610173-1 is not prime. Res64: 53AA9B0C369FC269 Time : 0.0 sec. user=mdettweiler [2021-07-21 06:14:43] 861*2^1610173-1 is not prime. Res64: 4602BD79ADD627C8 Time : 0.0 sec. user=mdettweiler [2021-07-21 06:14:44] 885*2^1610173-1 is not prime. Res64: A9B6BDEB7F7A11EC Time : 0.0 sec. user=mdettweiler [2021-07-21 06:14:44] 925*2^1610173-1 is not prime. Res64: F125DD8899A09679 Time : 0.0 sec. user=mdettweiler [2021-07-21 06:14:45] 951*2^1610173-1 is not prime. Res64: 7C51EDA9A9037C34 Time : 0.0 sec. user=mdettweiler [2021-07-21 06:55:10] 623*2^1610174-1 is not prime. Res64: 664C365432D6FF89 Time : 0.0 sec. user=mdettweiler [2021-07-21 06:55:11] 717*2^1610174-1 is not prime. Res64: DEA4D0635ED82431 Time : 0.0 sec. user=mdettweiler [2021-07-21 06:55:11] 833*2^1610174-1 is not prime. Res64: DFC6FCB7B3EF9402 Time : 0.0 sec. user=mdettweiler [2021-07-21 06:55:12] 857*2^1610174-1 is not prime. Res64: A7AD6049212723FC Time : 0.0 sec. user=mdettweiler [2021-07-21 06:55:12] 633*2^1610175-1 is not prime. Res64: 0E5E91EB54824776 Time : 0.0 sec. user=mdettweiler [2021-07-21 07:15:03] 679*2^1610175-1 is not prime. Res64: DAC7C1C9DF54BCE4 Time : 0.0 sec. user=mdettweiler [2021-07-21 07:15:04] 691*2^1610175-1 is not prime. Res64: CD48FAE1B56292E3 Time : 0.0 sec. user=mdettweiler [2021-07-21 07:15:05] 751*2^1610175-1 is not prime. Res64: A96F4DA79BE73010 Time : 0.0 sec. user=mdettweiler [2021-07-21 07:15:05] 775*2^1610175-1 is not prime. Res64: 9A812A4E7CCF05F7 Time : 0.0 sec. user=mdettweiler [2021-07-21 07:15:06] 819*2^1610175-1 is not prime. Res64: 231ED62777F62111 Time : 0.0 sec. user=mdettweiler [2021-07-21 07:55:18] 909*2^1610175-1 is not prime. Res64: 684089CE47944D43 Time : 0.0 sec. user=mdettweiler [2021-07-21 07:55:18] 735*2^1610176-1 is not prime. Res64: 7AE004C80572D149 Time : 0.0 sec. user=mdettweiler [2021-07-21 07:55:19] 869*2^1610176-1 is not prime. Res64: 6EE39301398DCB30 Time : 0.0 sec. user=mdettweiler [2021-07-21 07:55:19] 875*2^1610176-1 is not prime. Res64: 0BDFF45C4AE1740C Time : 0.0 sec. user=mdettweiler [2021-07-21 07:55:19] 903*2^1610176-1 is not prime. Res64: 9908B8D40CB7017B Time : 0.0 sec. user=mdettweiler [2021-07-21 08:15:22] 905*2^1610176-1 is not prime. Res64: B03BB15EFA0FE7FE Time : 0.0 sec. user=mdettweiler [2021-07-21 08:15:22] 965*2^1610176-1 is not prime. Res64: 1DEDA17A75C516D4 Time : 0.0 sec. user=mdettweiler [2021-07-21 08:15:23] 669*2^1610177-1 is not prime. Res64: 73F124124D8AE776 Time : 0.0 sec. user=mdettweiler [2021-07-21 08:15:23] 729*2^1610177-1 is not prime. Res64: 27455D04B3F5CA11 Time : 0.0 sec. user=mdettweiler [2021-07-21 08:15:24] 771*2^1610177-1 is not prime. Res64: 9997DBB02BA8C8B1 Time : 0.0 sec. user=mdettweiler [2021-07-21 08:55:22] 829*2^1610177-1 is not prime. Res64: 02BEDE0B9F68B42B Time : 0.0 sec. user=mdettweiler [2021-07-21 08:55:23] 871*2^1610177-1 is not prime. Res64: E39871B26075F6F0 Time : 0.0 sec. user=mdettweiler [2021-07-21 08:55:23] 885*2^1610177-1 is not prime. Res64: 383CB0C3D7A6759C Time : 0.0 sec. user=mdettweiler [2021-07-21 08:55:24] 615*2^1610179-1 is not prime. Res64: ADFD6CC2A6FB8EE8 Time : 0.0 sec. user=mdettweiler [2021-07-21 08:55:24] 619*2^1610179-1 is not prime. Res64: 304C30D153566997 Time : 0.0 sec. user=mdettweiler [2021-07-21 09:15:39] 645*2^1610179-1 is not prime. Res64: A823CD2E69D76FD9 Time : 0.0 sec. user=mdettweiler [2021-07-21 09:15:40] 681*2^1610179-1 is not prime. Res64: A353E1C58DCD56BB Time : 0.0 sec. user=mdettweiler [2021-07-21 09:15:41] 735*2^1610179-1 is not prime. Res64: E0EE3C222F7D9600 Time : 0.0 sec. user=mdettweiler [2021-07-21 09:15:41] 771*2^1610179-1 is not prime. Res64: A31DDA681F06B287 Time : 0.0 sec. user=mdettweiler [2021-07-21 09:15:42] 855*2^1610179-1 is not prime. Res64: CE4E8BF46EC098CB Time : 0.0 sec. user=mdettweiler [2021-07-21 09:55:29] 909*2^1610179-1 is not prime. Res64: 9C9523A273B31EEB Time : 0.0 sec. user=mdettweiler [2021-07-21 09:55:30] 773*2^1610180-1 is not prime. Res64: 095F2D22E506CE31 Time : 0.0 sec. user=mdettweiler [2021-07-21 09:55:30] 825*2^1610180-1 is not prime. Res64: 604A4E88F97BDBF4 Time : 0.0 sec. user=mdettweiler [2021-07-21 09:55:31] 987*2^1610180-1 is not prime. Res64: 3931964626B67B3C Time : 0.0 sec. user=mdettweiler [2021-07-21 09:55:32] 625*2^1610181-1 is not prime. Res64: 8CE013E850BA0C46 Time : 0.0 sec. user=mdettweiler [2021-07-21 10:15:48] 639*2^1610181-1 is not prime. Res64: AD40528D7A0FDC6D Time : 0.0 sec. user=mdettweiler [2021-07-21 10:15:48] 777*2^1610181-1 is not prime. Res64: 2F989EEB6FE2AD5A Time : 0.0 sec. user=mdettweiler [2021-07-21 10:15:49] 651*2^1610182-1 is not prime. Res64: 9D502317B8B97355 Time : 0.0 sec. user=mdettweiler [2021-07-21 10:15:50] 741*2^1610182-1 is not prime. Res64: 0ED94A23832D710F Time : 0.0 sec. user=mdettweiler [2021-07-21 10:15:50] 801*2^1610182-1 is not prime. Res64: 465CE912FF74ECD5 Time : 0.0 sec. user=mdettweiler [2021-07-21 10:55:35] 843*2^1610182-1 is not prime. Res64: 2B95D09CCFBC49B1 Time : 0.0 sec. user=mdettweiler [2021-07-21 10:55:35] 881*2^1610182-1 is not prime. Res64: 09635E53B47A83EE Time : 0.0 sec. user=mdettweiler [2021-07-21 10:55:36] 951*2^1610182-1 is not prime. Res64: 0830C03C31971A98 Time : 0.0 sec. user=mdettweiler [2021-07-21 10:55:36] 975*2^1610182-1 is not prime. Res64: C1DE68A8C8D95AC5 Time : 0.0 sec. user=mdettweiler [2021-07-21 10:55:37] 609*2^1610183-1 is not prime. Res64: 21574599E952728B Time : 0.0 sec. user=mdettweiler [2021-07-21 11:16:01] 619*2^1610183-1 is not prime. Res64: CFFEE4BCA208734E Time : 0.0 sec. user=mdettweiler [2021-07-21 11:16:02] 643*2^1610183-1 is not prime. Res64: AB792FBD8445FE69 Time : 0.0 sec. user=mdettweiler [2021-07-21 11:16:02] 675*2^1610183-1 is not prime. Res64: 50ACC434248C72E2 Time : 0.0 sec. user=mdettweiler [2021-07-21 11:16:03] 685*2^1610183-1 is not prime. Res64: 01C031793C586F5E Time : 0.0 sec. user=mdettweiler [2021-07-21 11:16:03] 721*2^1610183-1 is not prime. Res64: 9D63555CB1246057 Time : 0.0 sec. user=mdettweiler [2021-07-21 11:55:42] 823*2^1610183-1 is not prime. Res64: 9844B54E5E6AF453 Time : 0.0 sec. user=mdettweiler [2021-07-21 11:55:43] 963*2^1610183-1 is not prime. Res64: 92E8B3A219BCA93B Time : 0.0 sec. user=mdettweiler [2021-07-21 11:55:43] 627*2^1610184-1 is not prime. Res64: 787F2A30259D811F Time : 0.0 sec. user=mdettweiler [2021-07-21 11:55:44] 683*2^1610184-1 is not prime. Res64: 0D96842A7A68EE84 Time : 0.0 sec. user=mdettweiler [2021-07-21 11:55:44] 707*2^1610184-1 is not prime. Res64: 9F3E1A6F5A42787A Time : 0.0 sec. user=mdettweiler [2021-07-21 12:16:16] 789*2^1610184-1 is not prime. Res64: 84D57F873A9930CB Time : 0.0 sec. user=mdettweiler [2021-07-21 12:16:17] 825*2^1610184-1 is not prime. Res64: 6AE52874738986C9 Time : 0.0 sec. user=mdettweiler [2021-07-21 12:16:17] 863*2^1610184-1 is not prime. Res64: CE90618C0E5677E0 Time : 0.0 sec. user=mdettweiler [2021-07-21 12:16:18] 905*2^1610184-1 is not prime. Res64: 1D05081B06177D1D Time : 0.0 sec. user=mdettweiler [2021-07-21 12:16:18] 927*2^1610184-1 is not prime. Res64: B09425E9DD6848EF Time : 0.0 sec. user=mdettweiler [2021-07-21 12:55:53] 775*2^1610185-1 is not prime. Res64: 2A287F01BCDE0AA3 Time : 0.0 sec. user=mdettweiler [2021-07-21 12:55:53] 831*2^1610185-1 is not prime. Res64: 7AA004CC7DDC2E59 Time : 0.0 sec. user=mdettweiler [2021-07-21 12:55:54] 847*2^1610185-1 is not prime. Res64: 5305F8F0E331A232 Time : 0.0 sec. user=mdettweiler [2021-07-21 12:55:54] 885*2^1610185-1 is not prime. Res64: 8580AD0FA08A830D Time : 0.0 sec. user=mdettweiler [2021-07-21 12:55:55] 999*2^1610185-1 is not prime. Res64: 9AC132B843FE62B7 Time : 0.0 sec. user=mdettweiler [2021-07-21 13:55:59] 963*2^1610186-1 is not prime. Res64: 8F2EF219EAFF27F1 Time : 0.0 sec. user=mdettweiler [2021-07-21 13:56:00] 705*2^1610187-1 is not prime. Res64: 2C3587AFFE8C8F8A Time : 0.0 sec. user=mdettweiler [2021-07-21 13:56:01] 753*2^1610187-1 is not prime. Res64: C441B889B5171EAA Time : 0.0 sec. user=mdettweiler [2021-07-21 13:56:01] 835*2^1610187-1 is not prime. Res64: 52DF8EB69A390643 Time : 0.0 sec. user=mdettweiler [2021-07-21 13:56:02] 951*2^1610187-1 is not prime. Res64: 1E1ED830428B29CD Time : 0.0 sec. user=mdettweiler [2021-07-21 14:56:27] 963*2^1610187-1 is not prime. Res64: D37255BDD0AB805A Time : 0.0 sec. user=mdettweiler [2021-07-21 14:56:27] 735*2^1610188-1 is not prime. Res64: B7CD3F70B6A0FE52 Time : 0.0 sec. user=mdettweiler [2021-07-21 14:56:28] 765*2^1610188-1 is not prime. Res64: 810C0BD81795640D Time : 0.0 sec. user=mdettweiler [2021-07-21 14:56:28] 869*2^1610188-1 is not prime. Res64: FDECAE5F43E2B095 Time : 0.0 sec. user=mdettweiler [2021-07-21 14:56:29] 875*2^1610188-1 is not prime. Res64: C1AE87A1C2ED3796 Time : 0.0 sec. user=mdettweiler [2021-07-21 15:56:56] 885*2^1610188-1 is not prime. Res64: 67AFBE5A6ED76D22 Time : 0.0 sec. user=mdettweiler [2021-07-21 15:56:57] 959*2^1610188-1 is not prime. Res64: 692BEB5F725995E5 Time : 0.0 sec. user=mdettweiler [2021-07-21 15:56:57] 989*2^1610188-1 is not prime. Res64: 1EEBA7804539E695 Time : 0.0 sec. user=mdettweiler [2021-07-21 15:56:58] 993*2^1610188-1 is not prime. Res64: 02210A92ED05E7ED Time : 0.0 sec. user=mdettweiler [2021-07-21 15:56:58] 741*2^1610189-1 is not prime. Res64: 15413C8D1A968F9E Time : 0.0 sec. user=mdettweiler [2021-07-21 16:57:22] 747*2^1610189-1 is not prime. Res64: 4C50D034CDF7EDC2 Time : 0.0 sec. user=mdettweiler [2021-07-21 16:57:22] 759*2^1610189-1 is not prime. Res64: 68BB13DDC0901E80 Time : 0.0 sec. user=mdettweiler [2021-07-21 16:57:23] 927*2^1610189-1 is not prime. Res64: 6691B0AA2D841767 Time : 0.0 sec. user=mdettweiler [2021-07-21 16:57:23] 611*2^1610190-1 is not prime. Res64: 214E01EB73626BC3 Time : 0.0 sec. user=mdettweiler [2021-07-21 16:57:24] 821*2^1610190-1 is not prime. Res64: 90ECC97FF897DD0B Time : 0.0 sec. user=mdettweiler [2021-07-21 17:57:45] 843*2^1610190-1 is not prime. Res64: 6171AC0258716C3C Time : 0.0 sec. user=mdettweiler [2021-07-21 17:57:46] 845*2^1610190-1 is not prime. Res64: BA2DCD214D65BEA3 Time : 0.0 sec. user=mdettweiler [2021-07-21 17:57:46] 863*2^1610190-1 is not prime. Res64: 5599E7492C1F2B9C Time : 0.0 sec. user=mdettweiler [2021-07-21 17:57:47] 893*2^1610190-1 is not prime. Res64: AF7A7DB1CF881B42 Time : 0.0 sec. user=mdettweiler [2021-07-21 17:57:47] 957*2^1610190-1 is not prime. Res64: 80FE34A3079E7509 Time : 0.0 sec. user=mdettweiler [2021-07-21 18:35:34] 657*2^1610186-1 is not prime. Res64: 1D6E283861BED950 Time : 0.0 sec. user=mdettweiler [2021-07-21 18:35:34] 735*2^1610186-1 is not prime. Res64: DA45938F5398674F Time : 0.0 sec. user=mdettweiler [2021-07-21 18:35:35] 767*2^1610186-1 is not prime. Res64: 49F502EEF82C5B90 Time : 0.0 sec. user=mdettweiler [2021-07-21 18:35:36] 917*2^1610186-1 is not prime. Res64: 25368DEC8F21234B Time : 0.0 sec. user=mdettweiler [2021-07-21 18:35:36] 923*2^1610186-1 is not prime. Res64: 048258F23E9C09FF Time : 0.0 sec. user=mdettweiler [2021-07-21 18:58:04] 651*2^1610191-1 is not prime. Res64: 761374D9BDC5E88D Time : 0.0 sec. user=mdettweiler [2021-07-21 18:58:04] 769*2^1610191-1 is not prime. Res64: D33DBEBB4D5C96C8 Time : 0.0 sec. user=mdettweiler [2021-07-21 18:58:05] 855*2^1610191-1 is not prime. Res64: 1E160192AF21B175 Time : 0.0 sec. user=mdettweiler [2021-07-21 18:58:05] 895*2^1610191-1 is not prime. Res64: 1AE674D4BC8CAB8A Time : 0.0 sec. user=mdettweiler [2021-07-21 18:58:06] 939*2^1610191-1 is not prime. Res64: B6545D08178202C7 Time : 0.0 sec. user=mdettweiler [2021-07-21 19:35:50] 961*2^1610191-1 is not prime. Res64: 13DBBE2E37D8B974 Time : 0.0 sec. user=mdettweiler [2021-07-21 19:35:51] 969*2^1610191-1 is not prime. Res64: 6DF5BCF40E427DD7 Time : 0.0 sec. user=mdettweiler [2021-07-21 19:35:51] 975*2^1610191-1 is not prime. Res64: E148BD67FBF0ED4B Time : 0.0 sec. user=mdettweiler [2021-07-21 19:35:52] 699*2^1610192-1 is not prime. Res64: 0F927185CEF2D4B7 Time : 0.0 sec. user=mdettweiler [2021-07-21 19:35:52] 777*2^1610192-1 is not prime. Res64: A35C1653D44C7D93 Time : 0.0 sec. user=mdettweiler [2021-07-21 19:58:15] 813*2^1610192-1 is not prime. Res64: 1C43899E3A98AE72 Time : 0.0 sec. user=mdettweiler [2021-07-21 19:58:15] 945*2^1610192-1 is not prime. Res64: ED8CAA180022C463 Time : 0.0 sec. user=mdettweiler [2021-07-21 19:58:16] 983*2^1610192-1 is not prime. Res64: 64C546D7C604F630 Time : 0.0 sec. user=mdettweiler [2021-07-21 19:58:16] 999*2^1610192-1 is not prime. Res64: 5BE2D416455BDA5F Time : 0.0 sec. user=mdettweiler [2021-07-21 19:58:17] 649*2^1610193-1 is not prime. Res64: 663523958580FF01 Time : 0.0 sec. user=mdettweiler [2021-07-21 20:36:01] 685*2^1610193-1 is not prime. Res64: F9336D352D234CC5 Time : 0.0 sec. user=mdettweiler [2021-07-21 20:36:01] 691*2^1610193-1 is not prime. Res64: 93353143C86B1BD6 Time : 0.0 sec. user=mdettweiler [2021-07-21 20:36:02] 741*2^1610193-1 is not prime. Res64: 5B51C5489068C06E Time : 0.0 sec. user=mdettweiler [2021-07-21 20:36:02] 747*2^1610193-1 is not prime. Res64: DAA35280A291161D Time : 0.0 sec. user=mdettweiler [2021-07-21 20:36:03] 769*2^1610193-1 is not prime. Res64: FD727BFC76891FDF Time : 0.0 sec. user=mdettweiler [2021-07-21 20:58:25] 817*2^1610193-1 is not prime. Res64: D5827A640F926611 Time : 0.0 sec. user=mdettweiler [2021-07-21 20:58:26] 861*2^1610193-1 is not prime. Res64: E24BF777337A35FD Time : 0.0 sec. user=mdettweiler [2021-07-21 20:58:26] 937*2^1610193-1 is not prime. Res64: C512D7BCCBD5E2FC Time : 0.0 sec. user=mdettweiler [2021-07-21 20:58:27] 611*2^1610194-1 is not prime. Res64: E85D17FF47E47844 Time : 0.0 sec. user=mdettweiler [2021-07-21 20:58:27] 645*2^1610194-1 is not prime. Res64: 98556D949523B73C Time : 0.0 sec. user=mdettweiler [2021-07-21 21:36:17] 663*2^1610194-1 is not prime. Res64: 3115E28EA480DE88 Time : 0.0 sec. user=mdettweiler [2021-07-21 21:36:18] 675*2^1610194-1 is not prime. Res64: C7784E293F9370AB Time : 0.0 sec. user=mdettweiler [2021-07-21 21:36:18] 677*2^1610194-1 is not prime. Res64: C9B966DA7FB69BC9 Time : 0.0 sec. user=mdettweiler [2021-07-21 21:36:19] 827*2^1610194-1 is not prime. Res64: D01916558876741D Time : 0.0 sec. user=mdettweiler [2021-07-21 21:36:19] 887*2^1610194-1 is not prime. Res64: B789B69EE3596C48 Time : 0.0 sec. user=mdettweiler [2021-07-21 21:58:30] 915*2^1610194-1 is not prime. Res64: 6EBAC26285AFF4FF Time : 0.0 sec. user=mdettweiler [2021-07-21 21:58:31] 645*2^1610195-1 is not prime. Res64: 57E6DE1AC487A0D3 Time : 0.0 sec. user=mdettweiler [2021-07-21 21:58:31] 741*2^1610195-1 is not prime. Res64: F00235E4EAB39D77 Time : 0.0 sec. user=mdettweiler [2021-07-21 21:58:32] 895*2^1610195-1 is not prime. Res64: BE64B57C6731E751 Time : 0.0 sec. user=mdettweiler [2021-07-21 21:58:32] 749*2^1610196-1 is not prime. Res64: CC8C8C893BDD6DFC Time : 0.0 sec. user=mdettweiler [2021-07-21 22:36:27] 843*2^1610196-1 is not prime. Res64: B5F6E9D26A1AE93A Time : 0.0 sec. user=mdettweiler [2021-07-21 22:36:28] 845*2^1610196-1 is not prime. Res64: 0436265626D79FA8 Time : 0.0 sec. user=mdettweiler [2021-07-21 22:36:28] 875*2^1610196-1 is not prime. Res64: C05CF61EF48F0075 Time : 0.0 sec. user=mdettweiler [2021-07-21 22:36:29] 909*2^1610196-1 is not prime. Res64: 2C25BA245106BA5B Time : 0.0 sec. user=mdettweiler [2021-07-21 22:36:29] 983*2^1610196-1 is not prime. Res64: 71B8DA479F680237 Time : 0.0 sec. user=mdettweiler [2021-07-21 22:58:37] 993*2^1610196-1 is not prime. Res64: 2FA9B17199E360A2 Time : 0.0 sec. user=mdettweiler [2021-07-21 22:58:38] 651*2^1610197-1 is not prime. Res64: 53FFBD7E4759C3E6 Time : 0.0 sec. user=mdettweiler [2021-07-21 22:58:38] 675*2^1610197-1 is not prime. Res64: 03F48E9C06273776 Time : 0.0 sec. user=mdettweiler [2021-07-21 22:58:38] 687*2^1610197-1 is not prime. Res64: B0E3921AAD464557 Time : 0.0 sec. user=mdettweiler [2021-07-21 22:58:39] 691*2^1610197-1 is not prime. Res64: 91614BF7036173A4 Time : 0.0 sec. user=mdettweiler [2021-07-21 23:36:35] 717*2^1610197-1 is not prime. Res64: 29E39A991B3699AE Time : 0.0 sec. user=mdettweiler [2021-07-21 23:36:36] 825*2^1610197-1 is not prime. Res64: E8197AC658A65774 Time : 0.0 sec. user=mdettweiler [2021-07-21 23:36:36] 985*2^1610197-1 is not prime. Res64: 6A08B7980BB9F856 Time : 0.0 sec. user=mdettweiler [2021-07-21 23:36:37] 693*2^1610198-1 is not prime. Res64: 5C38A67A950E1C81 Time : 0.0 sec. user=mdettweiler [2021-07-21 23:36:37] 731*2^1610198-1 is not prime. Res64: 08DEFEF15120309F Time : 0.0 sec. user=mdettweiler [2021-07-21 23:58:42] 755*2^1610198-1 is not prime. Res64: 93A4AB7507CEE96F Time : 0.0 sec. user=mdettweiler [2021-07-21 23:58:42] 761*2^1610198-1 is not prime. Res64: 0E8DFF96FD4F78AD Time : 0.0 sec. user=mdettweiler [2021-07-21 23:58:43] 791*2^1610198-1 is not prime. Res64: EAC1EDD422872167 Time : 0.0 sec. user=mdettweiler [2021-07-21 23:58:43] 897*2^1610198-1 is not prime. Res64: 666684306611A888 Time : 0.0 sec. user=mdettweiler [2021-07-21 23:58:44] 615*2^1610199-1 is not prime. Res64: DFBEB3A95D32AA40 Time : 0.0 sec.