user=mdettweiler [2020-03-15 00:52:43] 657*2^1555468-1 is not prime. Res64: 272A8ED755D2B50A Time : 0.0 sec. user=mdettweiler [2020-03-15 00:53:23] 705*2^1555468-1 is not prime. Res64: 96929F3758148F76 Time : 0.0 sec. user=mdettweiler [2020-03-15 03:53:47] 789*2^1555465-1 is not prime. Res64: 6E7223D6190F76B6 Time : 0.0 sec. user=mdettweiler [2020-03-15 03:53:49] 603*2^1555466-1 is not prime. Res64: 58CB58D67183BE69 Time : 0.0 sec. user=mdettweiler [2020-03-15 03:53:50] 623*2^1555466-1 is not prime. Res64: D11DC4E9FC6205D2 Time : 0.0 sec. user=mdettweiler [2020-03-15 03:56:37] 867*2^1555469-1 is not prime. Res64: E38DAA8A9FD4FBB0 Time : 0.0 sec. user=mdettweiler [2020-03-15 04:46:49] 649*2^1555469-1 is not prime. Res64: 37970D972001BCBD Time : 0.0 sec. user=mdettweiler [2020-03-15 04:46:49] 655*2^1555469-1 is not prime. Res64: B88389340BE6C7B6 Time : 0.0 sec. user=mdettweiler [2020-03-15 04:46:50] 729*2^1555469-1 is not prime. Res64: A043029E0F186889 Time : 0.0 sec. user=mdettweiler [2020-03-15 04:46:50] 747*2^1555469-1 is not prime. Res64: DC8472BC64F4C609 Time : 0.0 sec. user=mdettweiler [2020-03-15 04:46:51] 787*2^1555469-1 is not prime. Res64: 5304287F41CFD41F Time : 0.0 sec. user=mdettweiler [2020-03-15 05:09:44] 615*2^1555467-1 is not prime. Res64: 34E6A272FA424525 Time : 0.0 sec. user=mdettweiler [2020-03-15 05:09:44] 649*2^1555467-1 is not prime. Res64: 42A0C2B18EDFDA4F Time : 0.0 sec. user=mdettweiler [2020-03-15 05:09:45] 741*2^1555467-1 is not prime. Res64: 5B826E49C36B1F7F Time : 0.0 sec. user=mdettweiler [2020-03-15 05:09:45] 765*2^1555467-1 is not prime. Res64: E2DEE01353B9F12B Time : 0.0 sec. user=mdettweiler [2020-03-15 05:40:34] 795*2^1555469-1 is not prime. Res64: 0FAF31D6A2A49510 Time : 0.0 sec. user=mdettweiler [2020-03-15 05:40:34] 801*2^1555469-1 is not prime. Res64: 463061A7D2281CF7 Time : 0.0 sec. user=mdettweiler [2020-03-15 05:40:34] 889*2^1555469-1 is not prime. Res64: A60DEC2961AA5B44 Time : 0.0 sec. user=mdettweiler [2020-03-15 05:40:35] 671*2^1555470-1 is not prime. Res64: 8D583071237EA053 Time : 0.0 sec. user=mdettweiler [2020-03-15 05:40:35] 791*2^1555470-1 is not prime. Res64: 67D3814E477A30D2 Time : 0.0 sec. user=mdettweiler [2020-03-15 05:42:56] 863*2^1555468-1 is not prime. Res64: 3A33B9E87D437BBC Time : 0.0 sec. user=mdettweiler [2020-03-15 05:42:56] 875*2^1555468-1 is not prime. Res64: 1F59429009DE99BE Time : 0.0 sec. user=mdettweiler [2020-03-15 05:42:57] 975*2^1555468-1 is not prime. Res64: 3F4E46F13EEABDD5 Time : 0.0 sec. user=mdettweiler [2020-03-15 06:04:07] 821*2^1555470-1 is not prime. Res64: AEC6ABCA2D6FD76F Time : 0.0 sec. user=mdettweiler [2020-03-15 06:04:08] 941*2^1555470-1 is not prime. Res64: F7C72DD33ECD4529 Time : 0.0 sec. user=mdettweiler [2020-03-15 06:04:09] 963*2^1555470-1 is not prime. Res64: CE5E72207F5903BA Time : 0.0 sec. user=mdettweiler [2020-03-15 06:04:10] 603*2^1555471-1 is not prime. Res64: 83EE97FDEFC66A20 Time : 0.0 sec. user=mdettweiler [2020-03-15 06:04:11] 651*2^1555471-1 is not prime. Res64: C92328E92886BE9A Time : 0.0 sec. user=mdettweiler [2020-03-15 06:32:32] 829*2^1555471-1 is not prime. Res64: A18448ED93B35D41 Time : 0.0 sec. user=mdettweiler [2020-03-15 06:32:32] 841*2^1555471-1 is not prime. Res64: D8EDF3D5BB2D389A Time : 0.0 sec. user=mdettweiler [2020-03-15 06:32:33] 603*2^1555472-1 is not prime. Res64: B5F461B78808319C Time : 0.0 sec. user=mdettweiler [2020-03-15 06:32:33] 665*2^1555472-1 is not prime. Res64: 3E2DD711A29A1FA5 Time : 0.0 sec. user=mdettweiler [2020-03-15 06:32:34] 753*2^1555472-1 is not prime. Res64: 412FB262FE2A7B0B Time : 0.0 sec. user=mdettweiler [2020-03-15 06:37:42] 759*2^1555472-1 is not prime. Res64: 82E7FB227645E09E Time : 0.0 sec. user=mdettweiler [2020-03-15 06:37:43] 767*2^1555472-1 is not prime. Res64: B347FA390D010B15 Time : 0.0 sec. user=mdettweiler [2020-03-15 06:37:43] 855*2^1555472-1 is not prime. Res64: F8FD6457EB14AB42 Time : 0.0 sec. user=mdettweiler [2020-03-15 06:37:43] 893*2^1555472-1 is not prime. Res64: 2BC3489C4277AB99 Time : 0.0 sec. user=mdettweiler [2020-03-15 06:37:44] 909*2^1555472-1 is not prime. Res64: 7D190EF10725DE32 Time : 0.0 sec. user=mdettweiler [2020-03-15 06:56:38] 735*2^1555473-1 is not prime. Res64: BCFABE655456C025 Time : 0.0 sec. user=mdettweiler [2020-03-15 06:56:38] 739*2^1555473-1 is not prime. Res64: 3125534D7420974A Time : 0.0 sec. user=mdettweiler [2020-03-15 06:56:39] 769*2^1555473-1 is not prime. Res64: 31000A3114F6ED89 Time : 0.0 sec. user=mdettweiler [2020-03-15 06:56:39] 807*2^1555473-1 is not prime. Res64: 7957E6BEDEB9E478 Time : 0.0 sec. user=mdettweiler [2020-03-15 06:56:39] 849*2^1555473-1 is not prime. Res64: 9B25377105182FB1 Time : 0.0 sec. user=mdettweiler [2020-03-15 07:26:56] 889*2^1555473-1 is not prime. Res64: 39B53048C646957C Time : 0.0 sec. user=mdettweiler [2020-03-15 07:26:57] 741*2^1555474-1 is not prime. Res64: 3FE656C94D319232 Time : 0.0 sec. user=mdettweiler [2020-03-15 07:26:57] 831*2^1555474-1 is not prime. Res64: 2F2290D51C932A62 Time : 0.0 sec. user=mdettweiler [2020-03-15 07:26:58] 887*2^1555474-1 is not prime. Res64: FB69F9297406EE02 Time : 0.0 sec. user=mdettweiler [2020-03-15 07:26:58] 957*2^1555474-1 is not prime. Res64: C92FD5839D8C5B65 Time : 0.0 sec. user=mdettweiler [2020-03-15 07:28:49] 645*2^1555475-1 is not prime. Res64: EFD5942918009556 Time : 0.0 sec. user=mdettweiler [2020-03-15 07:28:49] 669*2^1555475-1 is not prime. Res64: F31DB54DA12A1250 Time : 0.0 sec. user=mdettweiler [2020-03-15 07:28:50] 675*2^1555475-1 is not prime. Res64: B413499DD7C85EFC Time : 0.0 sec. user=mdettweiler [2020-03-15 07:28:50] 705*2^1555475-1 is not prime. Res64: A14533BA82A247D2 Time : 0.0 sec. user=mdettweiler [2020-03-15 07:28:51] 683*2^1555476-1 is not prime. Res64: 3F27A9F9DD6326BE Time : 0.0 sec. user=mdettweiler [2020-03-15 07:49:44] 689*2^1555476-1 is not prime. Res64: 164CD1690BDFC626 Time : 0.0 sec. user=mdettweiler [2020-03-15 07:49:44] 699*2^1555476-1 is not prime. Res64: 7EFD0E1B55981F81 Time : 0.0 sec. user=mdettweiler [2020-03-15 07:49:45] 843*2^1555476-1 is not prime. Res64: 9149084979D7985D Time : 0.0 sec. user=mdettweiler [2020-03-15 07:49:45] 857*2^1555476-1 is not prime. Res64: A65F22F50551D790 Time : 0.0 sec. user=mdettweiler [2020-03-15 07:49:45] 909*2^1555476-1 is not prime. Res64: CAD5E877AE8DBF39 Time : 0.0 sec. user=mdettweiler [2020-03-15 08:18:25] 615*2^1555477-1 is not prime. Res64: 08BADF0C441FB8CB Time : 0.0 sec. user=mdettweiler [2020-03-15 08:18:25] 619*2^1555477-1 is not prime. Res64: 63EA42704C4D4C51 Time : 0.0 sec. user=mdettweiler [2020-03-15 08:18:26] 667*2^1555477-1 is not prime. Res64: DF4C599B3514FCC6 Time : 0.0 sec. user=mdettweiler [2020-03-15 08:18:26] 741*2^1555477-1 is not prime. Res64: 5FE52FA0D8B29175 Time : 0.0 sec. user=mdettweiler [2020-03-15 08:18:26] 759*2^1555477-1 is not prime. Res64: 7FF2E4CE28EC3C17 Time : 0.0 sec. user=mdettweiler [2020-03-15 08:22:37] 771*2^1555477-1 is not prime. Res64: 3C244A09B562765D Time : 0.0 sec. user=mdettweiler [2020-03-15 08:22:37] 805*2^1555477-1 is not prime. Res64: 590FD445C6790294 Time : 0.0 sec. user=mdettweiler [2020-03-15 08:22:37] 817*2^1555477-1 is not prime. Res64: 5785AD8C6889CE9B Time : 0.0 sec. user=mdettweiler [2020-03-15 08:22:38] 831*2^1555477-1 is not prime. Res64: 4E07177040FD5AA6 Time : 0.0 sec. user=mdettweiler [2020-03-15 08:22:38] 997*2^1555477-1 is not prime. Res64: 757B7A7678939FBF Time : 0.0 sec. user=mdettweiler [2020-03-15 08:43:57] 711*2^1555478-1 is not prime. Res64: E452AAED6E94181B Time : 0.0 sec. user=mdettweiler [2020-03-15 08:43:57] 833*2^1555478-1 is not prime. Res64: BC04F12014D3D104 Time : 0.0 sec. user=mdettweiler [2020-03-15 08:43:58] 911*2^1555478-1 is not prime. Res64: 3C0B7F3DFEB0307D Time : 0.0 sec. user=mdettweiler [2020-03-15 08:43:58] 945*2^1555478-1 is not prime. Res64: F4CA658251626FF8 Time : 0.0 sec. user=mdettweiler [2020-03-15 08:43:58] 675*2^1555479-1 is not prime. Res64: 5D18F5ED2567DDC4 Time : 0.0 sec. user=mdettweiler [2020-03-15 09:11:10] 693*2^1555479-1 is not prime. Res64: A3D192DD813160FA Time : 0.0 sec. user=mdettweiler [2020-03-15 09:11:10] 741*2^1555479-1 is not prime. Res64: 20A6419EAAD337DF Time : 0.0 sec. user=mdettweiler [2020-03-15 09:11:11] 843*2^1555479-1 is not prime. Res64: A16EE0C764219BEF Time : 0.0 sec. user=mdettweiler [2020-03-15 09:11:11] 933*2^1555479-1 is not prime. Res64: B7D7A717E6E88774 Time : 0.0 sec. user=mdettweiler [2020-03-15 09:11:11] 717*2^1555480-1 is not prime. Res64: 6E4972A9A31AB028 Time : 0.0 sec. user=mdettweiler [2020-03-15 09:15:57] 813*2^1555480-1 is not prime. Res64: 48A652E2EE994CDE Time : 0.0 sec. user=mdettweiler [2020-03-15 09:15:58] 819*2^1555480-1 is not prime. Res64: DE79834AE35BEF4B Time : 0.0 sec. user=mdettweiler [2020-03-15 09:15:59] 827*2^1555480-1 is not prime. Res64: 97928E492512B5EA Time : 0.0 sec. user=mdettweiler [2020-03-15 09:16:00] 965*2^1555480-1 is not prime. Res64: 4794CBF58FEAC143 Time : 0.0 sec. user=mdettweiler [2020-03-15 09:16:01] 607*2^1555481-1 is not prime. Res64: 9BD3CA3A11B016EE Time : 0.0 sec. user=mdettweiler [2020-03-15 09:37:43] 631*2^1555481-1 is not prime. Res64: A6751D756FEEF29D Time : 0.0 sec. user=mdettweiler [2020-03-15 09:37:44] 669*2^1555481-1 is not prime. Res64: 19B5A737C2E2BBA9 Time : 0.0 sec. user=mdettweiler [2020-03-15 09:37:44] 685*2^1555481-1 is not prime. Res64: DFC82C4CD3F8FDCA Time : 0.0 sec. user=mdettweiler [2020-03-15 09:37:44] 901*2^1555481-1 is not prime. Res64: 46C501F903FA77F2 Time : 0.0 sec. user=mdettweiler [2020-03-15 09:37:45] 909*2^1555481-1 is not prime. Res64: 3859643CFBB6ACC8 Time : 0.0 sec. user=mdettweiler [2020-03-15 10:05:17] 955*2^1555481-1 is not prime. Res64: 362640081AE53290 Time : 0.0 sec. user=mdettweiler [2020-03-15 10:05:18] 695*2^1555482-1 is not prime. Res64: 5563D2B7D387A259 Time : 0.0 sec. user=mdettweiler [2020-03-15 10:05:19] 873*2^1555482-1 is not prime. Res64: EEB33B935C38A308 Time : 0.0 sec. user=mdettweiler [2020-03-15 10:05:20] 951*2^1555482-1 is not prime. Res64: 5AFE7B43CDFDCE2B Time : 0.0 sec. user=mdettweiler [2020-03-15 10:05:21] 673*2^1555483-1 is not prime. Res64: 9421163D9805AEA0 Time : 0.0 sec. user=mdettweiler [2020-03-15 10:07:41] 813*2^1555483-1 is not prime. Res64: 159D16F0A6F64BCB Time : 0.0 sec. user=mdettweiler [2020-03-15 10:07:41] 859*2^1555483-1 is not prime. Res64: 6BB1EB38C8A0357D Time : 0.0 sec. user=mdettweiler [2020-03-15 10:07:41] 663*2^1555484-1 is not prime. Res64: A8A004CBF72F5209 Time : 0.0 sec. user=mdettweiler [2020-03-15 10:07:42] 677*2^1555484-1 is not prime. Res64: E08EDD2A285AA75B Time : 0.0 sec. user=mdettweiler [2020-03-15 10:07:42] 725*2^1555484-1 is not prime. Res64: 7770D69AE128A0AC Time : 0.0 sec. user=mdettweiler [2020-03-15 10:30:48] 803*2^1555484-1 is not prime. Res64: CCBF650B089C07F4 Time : 0.0 sec. user=mdettweiler [2020-03-15 10:30:49] 827*2^1555484-1 is not prime. Res64: 48209286A4E31CC1 Time : 0.0 sec. user=mdettweiler [2020-03-15 10:30:49] 953*2^1555484-1 is not prime. Res64: 436A6AC83B1441F1 Time : 0.0 sec. user=mdettweiler [2020-03-15 10:30:49] 601*2^1555485-1 is not prime. Res64: D101085AB27B2509 Time : 0.0 sec. user=mdettweiler [2020-03-15 10:30:50] 639*2^1555485-1 is not prime. Res64: 14B73F82A16AF5F1 Time : 0.0 sec. user=mdettweiler [2020-03-15 11:00:09] 999*2^1555485-1 is not prime. Res64: 612CA5DAF5882121 Time : 0.0 sec. user=mdettweiler [2020-03-15 11:00:09] 617*2^1555486-1 is not prime. Res64: B705ACF3508F5B3C Time : 0.0 sec. user=mdettweiler [2020-03-15 11:00:10] 651*2^1555486-1 is not prime. Res64: 65C02A8A87C7937B Time : 0.0 sec. user=mdettweiler [2020-03-15 11:00:10] 675*2^1555486-1 is not prime. Res64: B355CE5D7F9553A5 Time : 0.0 sec. user=mdettweiler [2020-03-15 11:00:10] 713*2^1555486-1 is not prime. Res64: 07B9A910A5E62BD2 Time : 0.0 sec. user=mdettweiler [2020-03-15 11:00:55] 679*2^1555485-1 is not prime. Res64: 591D5812227223D8 Time : 0.0 sec. user=mdettweiler [2020-03-15 11:00:55] 717*2^1555485-1 is not prime. Res64: 33656DEDBDEFA719 Time : 0.0 sec. user=mdettweiler [2020-03-15 11:00:56] 895*2^1555485-1 is not prime. Res64: ACEAFB3833E4781B Time : 0.0 sec. user=mdettweiler [2020-03-15 11:00:57] 949*2^1555485-1 is not prime. Res64: 796C3A4FADB8B215 Time : 0.0 sec. user=mdettweiler [2020-03-15 11:00:58] 955*2^1555485-1 is not prime. Res64: E083DBC4245C2ACC Time : 0.0 sec. user=mdettweiler [2020-03-15 11:24:34] 761*2^1555486-1 is not prime. Res64: 404C78FED2C355CC Time : 0.0 sec. user=mdettweiler [2020-03-15 11:24:34] 801*2^1555486-1 is not prime. Res64: DEEF4FA39BE01142 Time : 0.0 sec. user=mdettweiler [2020-03-15 11:24:35] 825*2^1555486-1 is not prime. Res64: 5AE901DAF408C329 Time : 0.0 sec. user=mdettweiler [2020-03-15 11:24:35] 867*2^1555486-1 is not prime. Res64: 33BB42DD55838817 Time : 0.0 sec. user=mdettweiler [2020-03-15 11:24:36] 923*2^1555486-1 is not prime. Res64: CFE3C13B84444910 Time : 0.0 sec. user=mdettweiler [2020-03-15 11:54:53] 763*2^1555487-1 is not prime. Res64: 4CE25CACDEA29EA4 Time : 0.0 sec. user=mdettweiler [2020-03-15 11:54:54] 955*2^1555487-1 is not prime. Res64: 140CCB27EC36DB1C Time : 0.0 sec. user=mdettweiler [2020-03-15 11:54:54] 843*2^1555488-1 is not prime. Res64: AA570121EF9EC7C2 Time : 0.0 sec. user=mdettweiler [2020-03-15 11:54:54] 887*2^1555488-1 is not prime. Res64: 1E1BCCBFAC4E4FCF Time : 0.0 sec. user=mdettweiler [2020-03-15 11:54:55] 909*2^1555488-1 is not prime. Res64: 6F09D8776D2822C5 Time : 0.0 sec. user=mdettweiler [2020-03-15 11:56:10] 927*2^1555488-1 is not prime. Res64: 665FAD33DFDA8069 Time : 0.0 sec. user=mdettweiler [2020-03-15 11:56:11] 935*2^1555488-1 is not prime. Res64: DB3F8C03870D3D15 Time : 0.0 sec. user=mdettweiler [2020-03-15 11:56:11] 687*2^1555489-1 is not prime. Res64: DBCCB79C12AC49FC Time : 0.0 sec. user=mdettweiler [2020-03-15 11:56:11] 691*2^1555489-1 is not prime. Res64: B3E842582F872422 Time : 0.0 sec. user=mdettweiler [2020-03-15 11:56:12] 975*2^1555489-1 is not prime. Res64: B5E440123A97F10B Time : 0.0 sec. user=mdettweiler [2020-03-15 12:18:49] 987*2^1555489-1 is not prime. Res64: C63954744F44EBE0 Time : 0.0 sec. user=mdettweiler [2020-03-15 12:18:50] 665*2^1555490-1 is not prime. Res64: 55622AE738574243 Time : 0.0 sec. user=mdettweiler [2020-03-15 12:18:50] 675*2^1555490-1 is not prime. Res64: 3D55A3DCEED6485D Time : 0.0 sec. user=mdettweiler [2020-03-15 12:18:51] 867*2^1555490-1 is not prime. Res64: 181F9FB31D6992A9 Time : 0.0 sec. user=mdettweiler [2020-03-15 12:18:51] 893*2^1555490-1 is not prime. Res64: F24E3196643CAFA3 Time : 0.0 sec. user=mdettweiler [2020-03-15 12:50:05] 911*2^1555490-1 is not prime. Res64: 16CCB2E268180382 Time : 0.0 sec. user=mdettweiler [2020-03-15 12:50:05] 977*2^1555490-1 is not prime. Res64: 23EEB3E5599B7BC7 Time : 0.0 sec. user=mdettweiler [2020-03-15 12:50:06] 1001*2^1555490-1 is not prime. Res64: 355ACE05AE4DA48B Time : 0.0 sec. user=mdettweiler [2020-03-15 12:50:06] 669*2^1555491-1 is not prime. Res64: E3C7E082EDB94F78 Time : 0.0 sec. user=mdettweiler [2020-03-15 12:50:06] 711*2^1555491-1 is not prime. Res64: B79733CD0BB811A6 Time : 0.0 sec. user=mdettweiler [2020-03-15 12:50:18] 735*2^1555491-1 is not prime. Res64: 12D2AE40CAB09551 Time : 0.0 sec. user=mdettweiler [2020-03-15 12:50:19] 885*2^1555491-1 is not prime. Res64: 309BA443F74987F9 Time : 0.0 sec. user=mdettweiler [2020-03-15 12:50:19] 901*2^1555491-1 is not prime. Res64: EC54BEF2F594863F Time : 0.0 sec. user=mdettweiler [2020-03-15 12:50:20] 999*2^1555491-1 is not prime. Res64: 89D0B4A305029E1F Time : 0.0 sec. user=mdettweiler [2020-03-15 12:50:20] 675*2^1555492-1 is not prime. Res64: 66F672BF0F9DF275 Time : 0.0 sec. user=mdettweiler [2020-03-15 13:10:41] 677*2^1555492-1 is not prime. Res64: AA1D5C426B531269 Time : 0.0 sec. user=mdettweiler [2020-03-15 13:10:41] 705*2^1555492-1 is not prime. Res64: 42E6314FD07F95D7 Time : 0.0 sec. user=mdettweiler [2020-03-15 13:10:42] 735*2^1555492-1 is not prime. Res64: C204D0EBEA820D81 Time : 0.0 sec. user=mdettweiler [2020-03-15 13:10:43] 803*2^1555492-1 is not prime. Res64: 4EAF90E154864758 Time : 0.0 sec. user=mdettweiler [2020-03-15 13:10:43] 819*2^1555492-1 is not prime. Res64: 24FB1A66CFE4E53D Time : 0.0 sec. user=mdettweiler [2020-03-15 13:41:40] 693*2^1555494-1 is not prime. Res64: 42713B20FECFA59B Time : 0.0 sec. user=mdettweiler [2020-03-15 13:41:41] 705*2^1555494-1 is not prime. Res64: B733FBDC3970FBA1 Time : 0.0 sec. user=mdettweiler [2020-03-15 13:41:41] 725*2^1555494-1 is not prime. Res64: 0AF3A65EEA75C2DF Time : 0.0 sec. user=mdettweiler [2020-03-15 13:41:41] 737*2^1555494-1 is not prime. Res64: 727F70EB3661E6E4 Time : 0.0 sec. user=mdettweiler [2020-03-15 13:41:42] 765*2^1555494-1 is not prime. Res64: 73EC0C7DF06F4777 Time : 0.0 sec. user=mdettweiler [2020-03-15 13:45:54] 757*2^1555493-1 is not prime. Res64: 1DB2E30382D70F8A Time : 0.0 sec. user=mdettweiler [2020-03-15 13:45:54] 829*2^1555493-1 is not prime. Res64: 8F08AEFC9FB23672 Time : 0.0 sec. user=mdettweiler [2020-03-15 13:45:55] 949*2^1555493-1 is not prime. Res64: FF7B21CA72876383 Time : 0.0 sec. user=mdettweiler [2020-03-15 13:45:55] 955*2^1555493-1 is not prime. Res64: 7B0007C52C471E8C Time : 0.0 sec. user=mdettweiler [2020-03-15 13:45:55] 979*2^1555493-1 is not prime. Res64: 9C6FB5749DBB2B64 Time : 0.0 sec. user=mdettweiler [2020-03-15 14:03:59] 861*2^1555494-1 is not prime. Res64: 5323374D261DE974 Time : 0.0 sec. user=mdettweiler [2020-03-15 14:04:00] 921*2^1555494-1 is not prime. Res64: 23C964F381E6300D Time : 0.0 sec. user=mdettweiler [2020-03-15 14:04:01] 649*2^1555495-1 is not prime. Res64: 1BD6074948B8BD3C Time : 0.0 sec. user=mdettweiler [2020-03-15 14:04:02] 723*2^1555495-1 is not prime. Res64: DF0345ECB650CDCA Time : 0.0 sec. user=mdettweiler [2020-03-15 14:04:03] 829*2^1555495-1 is not prime. Res64: 673ED2D24CEA755C Time : 0.0 sec. user=mdettweiler [2020-03-15 14:37:09] 885*2^1555495-1 is not prime. Res64: F18F85510FEA6F1F Time : 0.0 sec. user=mdettweiler [2020-03-15 14:37:09] 933*2^1555495-1 is not prime. Res64: 7BD7B4F6C5B72420 Time : 0.0 sec. user=mdettweiler [2020-03-15 14:37:10] 973*2^1555495-1 is not prime. Res64: 1226D724A0BE6E45 Time : 0.0 sec. user=mdettweiler [2020-03-15 14:37:10] 999*2^1555495-1 is not prime. Res64: EA7935716CD233FB Time : 0.0 sec. user=mdettweiler [2020-03-15 14:37:10] 615*2^1555496-1 is not prime. Res64: A7454D42E4F74F5C Time : 0.0 sec. user=mdettweiler [2020-03-15 14:37:51] 623*2^1555496-1 is not prime. Res64: 980C30419A525804 Time : 0.0 sec. user=mdettweiler [2020-03-15 14:37:51] 633*2^1555496-1 is not prime. Res64: 56BA1D492C6AFF1E Time : 0.0 sec. user=mdettweiler [2020-03-15 14:37:52] 773*2^1555496-1 is not prime. Res64: 375D6F88EFC92CC5 Time : 0.0 sec. user=mdettweiler [2020-03-15 14:37:52] 833*2^1555496-1 is not prime. Res64: 0CECB1654D6FC375 Time : 0.0 sec. user=mdettweiler [2020-03-15 14:37:52] 857*2^1555496-1 is not prime. Res64: 872C3FF279023EDC Time : 0.0 sec. user=mdettweiler [2020-03-15 14:57:45] 879*2^1555496-1 is not prime. Res64: 421E4C2344804898 Time : 0.0 sec. user=mdettweiler [2020-03-15 14:57:45] 897*2^1555496-1 is not prime. Res64: F7D36F3FD4A692AC Time : 0.0 sec. user=mdettweiler [2020-03-15 14:57:45] 685*2^1555497-1 is not prime. Res64: C8B634F88A598347 Time : 0.0 sec. user=mdettweiler [2020-03-15 14:57:46] 765*2^1555497-1 is not prime. Res64: 1922636C631DC27C Time : 0.0 sec. user=mdettweiler [2020-03-15 14:57:46] 829*2^1555497-1 is not prime. Res64: D31889BBB74A2C86 Time : 0.0 sec. user=mdettweiler [2020-03-15 15:28:36] 837*2^1555497-1 is not prime. Res64: 46309109EE5E080E Time : 0.0 sec. user=mdettweiler [2020-03-15 15:28:37] 633*2^1555498-1 is not prime. Res64: 875CA1224E9F34B6 Time : 0.0 sec. user=mdettweiler [2020-03-15 15:28:37] 657*2^1555498-1 is not prime. Res64: 36B67856C2FC4A79 Time : 0.0 sec. user=mdettweiler [2020-03-15 15:28:38] 687*2^1555498-1 is not prime. Res64: 4B6B1B44CB4BB29F Time : 0.0 sec. user=mdettweiler [2020-03-15 15:28:38] 713*2^1555498-1 is not prime. Res64: AABFF565132D2310 Time : 0.0 sec. user=mdettweiler [2020-03-15 15:33:40] 765*2^1555498-1 is not prime. Res64: A0E17BBDA01328EE Time : 0.0 sec. user=mdettweiler [2020-03-15 15:33:41] 857*2^1555498-1 is not prime. Res64: B3B469414C6C8BC2 Time : 0.0 sec. user=mdettweiler [2020-03-15 15:33:41] 915*2^1555498-1 is not prime. Res64: 9A5544529AE9A5C0 Time : 0.0 sec. user=mdettweiler [2020-03-15 15:33:42] 941*2^1555498-1 is not prime. Res64: E76E828258A73E74 Time : 0.0 sec. user=mdettweiler [2020-03-15 15:33:42] 993*2^1555498-1 is not prime. Res64: C5E8294CB75BB319 Time : 0.0 sec. user=mdettweiler [2020-03-15 15:49:49] 631*2^1555499-1 is not prime. Res64: 5E1B31C30B977BBE Time : 0.0 sec. user=mdettweiler [2020-03-15 15:49:49] 643*2^1555499-1 is not prime. Res64: 8C468AD6A5C5C1EA Time : 0.0 sec. user=mdettweiler [2020-03-15 15:49:50] 799*2^1555499-1 is not prime. Res64: 852DC502C9FF7FE7 Time : 0.0 sec. user=mdettweiler [2020-03-15 15:49:50] 819*2^1555499-1 is not prime. Res64: 7BBEC03189952821 Time : 0.0 sec. user=mdettweiler [2020-03-15 15:49:50] 861*2^1555499-1 is not prime. Res64: 5752ACD4BA6170F7 Time : 0.0 sec. user=mdettweiler [2020-03-15 16:21:23] 885*2^1555499-1 is not prime. Res64: 1944412118E212A7 Time : 0.0 sec. user=mdettweiler [2020-03-15 16:21:23] 973*2^1555499-1 is not prime. Res64: CD8CCFAE6F8E945F Time : 0.0 sec. user=mdettweiler [2020-03-15 16:21:24] 609*2^1555500-1 is not prime. Res64: 70A4D31DA190E5E7 Time : 0.0 sec. user=mdettweiler [2020-03-15 16:21:24] 635*2^1555500-1 is not prime. Res64: D504106BBBDD059E Time : 0.0 sec. user=mdettweiler [2020-03-15 16:21:25] 689*2^1555500-1 is not prime. Res64: EC72E9190A3E271F Time : 0.0 sec. user=mdettweiler [2020-03-15 16:27:04] 737*2^1555500-1 is not prime. Res64: C9ECAF454D6ECEF0 Time : 0.0 sec. user=mdettweiler [2020-03-15 16:27:04] 759*2^1555500-1 is not prime. Res64: 947F538E89735A28 Time : 0.0 sec. user=mdettweiler [2020-03-15 16:27:04] 783*2^1555500-1 is not prime. Res64: 3A957196ED27940F Time : 0.0 sec. user=mdettweiler [2020-03-15 16:27:05] 975*2^1555500-1 is not prime. Res64: 205D2DE60E0016C3 Time : 0.0 sec. user=mdettweiler [2020-03-15 16:27:05] 751*2^1555501-1 is not prime. Res64: 945DDC1AAFC016C8 Time : 0.0 sec. user=mdettweiler [2020-03-15 16:45:20] 825*2^1555501-1 is not prime. Res64: 757429F3130CD952 Time : 0.0 sec. user=mdettweiler [2020-03-15 16:45:21] 927*2^1555501-1 is not prime. Res64: 0E0D1A5AFA9942A9 Time : 0.0 sec. user=mdettweiler [2020-03-15 16:45:21] 937*2^1555501-1 is not prime. Res64: E6B6508BC8469F60 Time : 0.0 sec. user=mdettweiler [2020-03-15 16:45:21] 955*2^1555501-1 is not prime. Res64: 6D3B8ACD399F371E Time : 0.0 sec. user=mdettweiler [2020-03-15 16:45:22] 675*2^1555502-1 is not prime. Res64: FEAF5DB46F567B4A Time : 0.0 sec. user=mdettweiler [2020-03-15 17:15:12] 921*2^1555502-1 is not prime. Res64: 7B9BD9FDA07DB0C0 Time : 0.0 sec. user=mdettweiler [2020-03-15 17:15:13] 977*2^1555502-1 is not prime. Res64: 7330B60F70DB7228 Time : 0.0 sec. user=mdettweiler [2020-03-15 17:15:13] 619*2^1555503-1 is not prime. Res64: 097F140D7DEFC5FB Time : 0.0 sec. user=mdettweiler [2020-03-15 17:15:14] 649*2^1555503-1 is not prime. Res64: AE6C2F0A6FA3566F Time : 0.0 sec. user=mdettweiler [2020-03-15 17:15:14] 709*2^1555503-1 is not prime. Res64: 157F2EF357AEDEE1 Time : 0.0 sec. user=mdettweiler [2020-03-15 17:21:49] 765*2^1555503-1 is not prime. Res64: BF88BFDA47DA744F Time : 0.0 sec. user=mdettweiler [2020-03-15 17:21:50] 793*2^1555503-1 is not prime. Res64: 815A99977B63AAD0 Time : 0.0 sec. user=mdettweiler [2020-03-15 17:21:50] 819*2^1555503-1 is not prime. Res64: 6BCA72DE5B8AEEE2 Time : 0.0 sec. user=mdettweiler [2020-03-15 17:21:51] 895*2^1555503-1 is not prime. Res64: 8F010AAD910ACBD6 Time : 0.0 sec. user=mdettweiler [2020-03-15 17:21:51] 921*2^1555503-1 is not prime. Res64: 1B308DA029DD2F98 Time : 0.0 sec. user=mdettweiler [2020-03-15 17:39:29] 955*2^1555503-1 is not prime. Res64: 0BEB7EFD2C9EDA4D Time : 0.0 sec. user=mdettweiler [2020-03-15 17:39:29] 961*2^1555503-1 is not prime. Res64: CEF3032FB7FD1EC4 Time : 0.0 sec. user=mdettweiler [2020-03-15 17:39:30] 615*2^1555504-1 is not prime. Res64: 53CED94EEE18218E Time : 0.0 sec. user=mdettweiler [2020-03-15 17:39:30] 665*2^1555504-1 is not prime. Res64: E43E8CF1AA84ED5F Time : 0.0 sec. user=mdettweiler [2020-03-15 17:39:30] 765*2^1555504-1 is not prime. Res64: E2BAC440712F9E38 Time : 0.0 sec. user=mdettweiler [2020-03-15 18:09:43] 825*2^1555504-1 is not prime. Res64: 23A79D53AB917CFA Time : 0.0 sec. user=mdettweiler [2020-03-15 18:09:43] 855*2^1555504-1 is not prime. Res64: B935E4D42D951B87 Time : 0.0 sec. user=mdettweiler [2020-03-15 18:09:44] 929*2^1555504-1 is not prime. Res64: 9BD70CD6B5FE0C9A Time : 0.0 sec. user=mdettweiler [2020-03-15 18:09:44] 989*2^1555504-1 is not prime. Res64: ECEA1BC99BB3B4F5 Time : 0.0 sec. user=mdettweiler [2020-03-15 18:09:45] 651*2^1555505-1 is not prime. Res64: 1EEB4F97BB08AC3B Time : 0.0 sec. user=mdettweiler [2020-03-15 18:14:54] 717*2^1555505-1 is not prime. Res64: EFC72C41628BA5A4 Time : 0.0 sec. user=mdettweiler [2020-03-15 18:14:54] 771*2^1555505-1 is not prime. Res64: FA45A8B4CFDACD0A Time : 0.0 sec. user=mdettweiler [2020-03-15 18:14:55] 801*2^1555505-1 is not prime. Res64: 01D0FEA6F0516C2A Time : 0.0 sec. user=mdettweiler [2020-03-15 18:14:55] 937*2^1555505-1 is not prime. Res64: 9A84E89B00617F25 Time : 0.0 sec. user=mdettweiler [2020-03-15 18:14:55] 641*2^1555506-1 is not prime. Res64: D07519AD93FC653F Time : 0.0 sec. user=mdettweiler [2020-03-15 18:32:51] 695*2^1555506-1 is not prime. Res64: C4AE10D16E23BF20 Time : 0.0 sec. user=mdettweiler [2020-03-15 18:32:51] 755*2^1555506-1 is not prime. Res64: 16E60A2E9F637AB7 Time : 0.0 sec. user=mdettweiler [2020-03-15 18:32:51] 765*2^1555506-1 is not prime. Res64: 611D8997BAE90722 Time : 0.0 sec. user=mdettweiler [2020-03-15 18:32:52] 807*2^1555506-1 is not prime. Res64: 498B1F5A318BC3EA Time : 0.0 sec. user=mdettweiler [2020-03-15 18:32:52] 917*2^1555506-1 is not prime. Res64: 2E00E1EEE8058B48 Time : 0.0 sec. user=mdettweiler [2020-03-15 19:01:26] 601*2^1555507-1 is not prime. Res64: 58E43530461F2034 Time : 0.0 sec. user=mdettweiler [2020-03-15 19:01:27] 609*2^1555507-1 is not prime. Res64: 25294847C9651D5C Time : 0.0 sec. user=mdettweiler [2020-03-15 19:01:27] 625*2^1555507-1 is not prime. Res64: D86EAC580AD6A6CE Time : 0.0 sec. user=mdettweiler [2020-03-15 19:01:28] 639*2^1555507-1 is not prime. Res64: 8D44C5C81DAFE066 Time : 0.0 sec. user=mdettweiler [2020-03-15 19:01:29] 685*2^1555507-1 is not prime. Res64: 18156E63608CF967 Time : 0.0 sec. user=mdettweiler [2020-03-15 19:07:47] 703*2^1555507-1 is not prime. Res64: 4B8517021DFB6359 Time : 0.0 sec. user=mdettweiler [2020-03-15 19:07:47] 765*2^1555507-1 is not prime. Res64: 63DDF1971EA429E3 Time : 0.0 sec. user=mdettweiler [2020-03-15 19:07:48] 793*2^1555507-1 is not prime. Res64: 6DA66911A72BFC19 Time : 0.0 sec. user=mdettweiler [2020-03-15 19:07:48] 871*2^1555507-1 is not prime. Res64: 5737E0AE79847E47 Time : 0.0 sec. user=mdettweiler [2020-03-15 19:07:49] 883*2^1555507-1 is not prime. Res64: C9AF44C45C5FC3D8 Time : 0.0 sec. user=mdettweiler [2020-03-15 19:31:13] 891*2^1555507-1 is not prime. Res64: FDAF01FC3066FE85 Time : 0.0 sec. user=mdettweiler [2020-03-15 19:31:13] 925*2^1555507-1 is not prime. Res64: E3FAD263C6352D7F Time : 0.0 sec. user=mdettweiler [2020-03-15 19:31:13] 945*2^1555507-1 is not prime. Res64: 159F7A026E1328CB Time : 0.0 sec. user=mdettweiler [2020-03-15 19:31:14] 973*2^1555507-1 is not prime. Res64: BAFE134D1E556AC3 Time : 0.0 sec. user=mdettweiler [2020-03-15 19:31:14] 975*2^1555507-1 is not prime. Res64: 12416B5909D1834F Time : 0.0 sec. user=mdettweiler [2020-03-15 19:55:17] 669*2^1555508-1 is not prime. Res64: 1D7053E06AFE746E Time : 0.0 sec. user=mdettweiler [2020-03-15 19:55:17] 963*2^1555508-1 is not prime. Res64: 49C9533F0073628F Time : 0.0 sec. user=mdettweiler [2020-03-15 19:55:17] 969*2^1555508-1 is not prime. Res64: C36B13EAB8F1247F Time : 0.0 sec. user=mdettweiler [2020-03-15 19:55:18] 609*2^1555509-1 is not prime. Res64: 2AB35384FC60FED1 Time : 0.0 sec. user=mdettweiler [2020-03-15 19:55:18] 745*2^1555509-1 is not prime. Res64: C1590491A72C1E41 Time : 0.0 sec. user=mdettweiler [2020-03-15 20:01:29] 747*2^1555509-1 is not prime. Res64: 8AFEDC8537BF8F38 Time : 0.0 sec. user=mdettweiler [2020-03-15 20:01:29] 751*2^1555509-1 is not prime. Res64: 59ED835712180CCB Time : 0.0 sec. user=mdettweiler [2020-03-15 20:01:30] 759*2^1555509-1 is not prime. Res64: F5E22F0B7A22035F Time : 0.0 sec. user=mdettweiler [2020-03-15 20:01:31] 781*2^1555509-1 is not prime. Res64: 6B0F1AA21676B0DA Time : 0.0 sec. user=mdettweiler [2020-03-15 20:01:32] 919*2^1555509-1 is not prime. Res64: B47C3C8208D93B60 Time : 0.0 sec. user=mdettweiler [2020-03-15 20:23:59] 921*2^1555509-1 is not prime. Res64: C1F1BBF95213C232 Time : 0.0 sec. user=mdettweiler [2020-03-15 20:24:00] 611*2^1555510-1 is not prime. Res64: 4260EE7794C941C5 Time : 0.0 sec. user=mdettweiler [2020-03-15 20:24:00] 665*2^1555510-1 is not prime. Res64: 6B7751E83F5291E8 Time : 0.0 sec. user=mdettweiler [2020-03-15 20:24:01] 687*2^1555510-1 is not prime. Res64: 28E315E3B1F9723D Time : 0.0 sec. user=mdettweiler [2020-03-15 20:24:01] 773*2^1555510-1 is not prime. Res64: 6BDA522CF560B055 Time : 0.0 sec. user=mdettweiler [2020-03-15 20:50:52] 887*2^1555510-1 is not prime. Res64: 88D21C908080C920 Time : 0.0 sec. user=mdettweiler [2020-03-15 20:50:53] 923*2^1555510-1 is not prime. Res64: 3FE63034FE60D56B Time : 0.0 sec. user=mdettweiler [2020-03-15 20:50:53] 957*2^1555510-1 is not prime. Res64: 16E220609734A822 Time : 0.0 sec. user=mdettweiler [2020-03-15 20:50:53] 971*2^1555510-1 is not prime. Res64: A4B014CA0614ACCE Time : 0.0 sec. user=mdettweiler [2020-03-15 20:50:54] 603*2^1555511-1 is not prime. Res64: 042CC7416BC721C9 Time : 0.0 sec. user=mdettweiler [2020-03-15 20:55:13] 711*2^1555511-1 is not prime. Res64: D20DB21E708DDC68 Time : 0.0 sec. user=mdettweiler [2020-03-15 20:55:13] 783*2^1555511-1 is not prime. Res64: 90EA6544ED5F3259 Time : 0.0 sec. user=mdettweiler [2020-03-15 20:55:13] 789*2^1555511-1 is not prime. Res64: 3F903F50AB5F49BC Time : 0.0 sec. user=mdettweiler [2020-03-15 20:55:13] 813*2^1555511-1 is not prime. Res64: 8BB3F3FD239AE32B Time : 0.0 sec. user=mdettweiler [2020-03-15 20:55:14] 945*2^1555511-1 is not prime. Res64: 62179DEA56FB8B39 Time : 0.0 sec. user=mdettweiler [2020-03-15 21:17:04] 949*2^1555511-1 is not prime. Res64: FF07219E217FC85E Time : 0.0 sec. user=mdettweiler [2020-03-15 21:17:04] 629*2^1555512-1 is not prime. Res64: 5BBA11DD81C8405A Time : 0.0 sec. user=mdettweiler [2020-03-15 21:17:05] 693*2^1555512-1 is not prime. Res64: 0C596DE5D6B058FF Time : 0.0 sec. user=mdettweiler [2020-03-15 21:17:05] 699*2^1555512-1 is not prime. Res64: CB0BAEC7ADDED1C7 Time : 0.0 sec. user=mdettweiler [2020-03-15 21:17:05] 759*2^1555512-1 is not prime. Res64: A850C57AC9F15D35 Time : 0.0 sec. user=mdettweiler [2020-03-15 21:44:47] 815*2^1555512-1 is not prime. Res64: D87AEF2CB717F973 Time : 0.0 sec. user=mdettweiler [2020-03-15 21:44:48] 825*2^1555512-1 is not prime. Res64: 1A0AB71EA011871E Time : 0.0 sec. user=mdettweiler [2020-03-15 21:44:48] 867*2^1555512-1 is not prime. Res64: 62EB10D4D9BF3BDA Time : 0.0 sec. user=mdettweiler [2020-03-15 21:44:48] 875*2^1555512-1 is not prime. Res64: DA94DAED30C09F99 Time : 0.0 sec. user=mdettweiler [2020-03-15 21:44:48] 879*2^1555512-1 is not prime. Res64: C6F87BE34485F319 Time : 0.0 sec. user=mdettweiler [2020-03-15 21:50:39] 899*2^1555512-1 is not prime. Res64: EFBA861891B61ADF Time : 0.0 sec. user=mdettweiler [2020-03-15 21:50:40] 975*2^1555512-1 is not prime. Res64: 66768484F6DCC180 Time : 0.0 sec. user=mdettweiler [2020-03-15 21:50:40] 625*2^1555513-1 is not prime. Res64: 0E1E3815802C95EF Time : 0.0 sec. user=mdettweiler [2020-03-15 21:50:40] 649*2^1555513-1 is not prime. Res64: DB94FA717139A49C Time : 0.0 sec. user=mdettweiler [2020-03-15 21:50:40] 675*2^1555513-1 is not prime. Res64: 61C4BE45F3CB72BE Time : 0.0 sec. user=mdettweiler [2020-03-15 22:13:04] 745*2^1555513-1 is not prime. Res64: D3FC0814680F61F7 Time : 0.0 sec. user=mdettweiler [2020-03-15 22:13:05] 751*2^1555513-1 is not prime. Res64: D538F16BFBDFC0F6 Time : 0.0 sec. user=mdettweiler [2020-03-15 22:13:05] 801*2^1555513-1 is not prime. Res64: C05FA3A96E4A5454 Time : 0.0 sec. user=mdettweiler [2020-03-15 22:13:06] 805*2^1555513-1 is not prime. Res64: BE114ADD8D06A43C Time : 0.0 sec. user=mdettweiler [2020-03-15 22:13:06] 817*2^1555513-1 is not prime. Res64: 8750572D2B195561 Time : 0.0 sec. user=mdettweiler [2020-03-15 22:40:54] 605*2^1555514-1 is not prime. Res64: 3FD5CF133B7C75F7 Time : 0.0 sec. user=mdettweiler [2020-03-15 22:40:55] 623*2^1555514-1 is not prime. Res64: 9709E3A487823B69 Time : 0.0 sec. user=mdettweiler [2020-03-15 22:40:55] 753*2^1555514-1 is not prime. Res64: 3C59F9A24219DBE2 Time : 0.0 sec. user=mdettweiler [2020-03-15 22:40:55] 827*2^1555514-1 is not prime. Res64: BF3C95E21C6596F2 Time : 0.0 sec. user=mdettweiler [2020-03-15 22:40:56] 903*2^1555514-1 is not prime. Res64: F605D98D69896D25 Time : 0.0 sec. user=mdettweiler [2020-03-15 22:46:03] 751*2^1555515-1 is not prime. Res64: AEB640D324AF5EF7 Time : 0.0 sec. user=mdettweiler [2020-03-15 22:46:03] 775*2^1555515-1 is not prime. Res64: 4DF2AFF4521A6C1F Time : 0.0 sec. user=mdettweiler [2020-03-15 22:46:04] 789*2^1555515-1 is not prime. Res64: 4973B99B8F3357C5 Time : 0.0 sec. user=mdettweiler [2020-03-15 22:46:04] 849*2^1555515-1 is not prime. Res64: B1650EC82FD5B61F Time : 0.0 sec. user=mdettweiler [2020-03-15 22:46:05] 859*2^1555515-1 is not prime. Res64: 7EB842B0B48C53A7 Time : 0.0 sec. user=mdettweiler [2020-03-15 23:07:05] 909*2^1555515-1 is not prime. Res64: 344BC9BD6C0A905D Time : 0.0 sec. user=mdettweiler [2020-03-15 23:07:07] 603*2^1555516-1 is not prime. Res64: 82FFD184A7BE4AD3 Time : 0.0 sec. user=mdettweiler [2020-03-15 23:07:09] 615*2^1555516-1 is not prime. Res64: 3DDD49417570DC1F Time : 0.0 sec. user=mdettweiler [2020-03-15 23:07:11] 695*2^1555516-1 is not prime. Res64: 025996612CD23059 Time : 0.0 sec. user=mdettweiler [2020-03-15 23:07:13] 707*2^1555516-1 is not prime. Res64: 758686336F7E906A Time : 0.0 sec. user=mdettweiler [2020-03-15 23:35:16] 717*2^1555516-1 is not prime. Res64: 45A7D2FAB2C1A589 Time : 0.0 sec. user=mdettweiler [2020-03-15 23:35:17] 607*2^1555517-1 is not prime. Res64: B67B7AE6D653193F Time : 0.0 sec. user=mdettweiler [2020-03-15 23:35:17] 777*2^1555517-1 is not prime. Res64: 52E3D96F32E25C39 Time : 0.0 sec. user=mdettweiler [2020-03-15 23:35:17] 861*2^1555517-1 is not prime. Res64: 379889C997237A20 Time : 0.0 sec. user=mdettweiler [2020-03-15 23:35:18] 997*2^1555517-1 is not prime. Res64: 0E638E1F4F7A7CF9 Time : 0.0 sec. user=mdettweiler [2020-03-15 23:38:27] 611*2^1555518-1 is not prime. Res64: 87C8816D218C9362 Time : 0.0 sec. user=mdettweiler [2020-03-15 23:38:27] 651*2^1555518-1 is not prime. Res64: 3771879172ACD3DC Time : 0.0 sec. user=mdettweiler [2020-03-15 23:38:28] 677*2^1555518-1 is not prime. Res64: E81FE86D22926CF0 Time : 0.0 sec. user=mdettweiler [2020-03-15 23:38:28] 681*2^1555518-1 is not prime. Res64: 8686047EFFA2E308 Time : 0.0 sec. user=mdettweiler [2020-03-15 23:38:28] 695*2^1555518-1 is not prime. Res64: FA7668D0655C03B2 Time : 0.0 sec. user=mdettweiler [2020-03-15 23:59:34] 711*2^1555518-1 is not prime. Res64: DA531DABBA4B4687 Time : 0.0 sec. user=mdettweiler [2020-03-15 23:59:34] 731*2^1555518-1 is not prime. Res64: 57CACFEE1ED27CCF Time : 0.0 sec. user=mdettweiler [2020-03-15 23:59:34] 795*2^1555518-1 is not prime. Res64: 36A79A6D7C5B6F72 Time : 0.0 sec. user=mdettweiler [2020-03-15 23:59:35] 797*2^1555518-1 is not prime. Res64: CD7A06AF4EEC6788 Time : 0.0 sec. user=mdettweiler [2020-03-15 23:59:35] 801*2^1555518-1 is not prime. Res64: C091A1F5A37006DD Time : 0.0 sec.