user=mdettweiler [2017-05-19 00:17:15] 963*2^1454343-1 is not prime. Res64: 62621DDDEEFFAFE6 Time : 0.0 sec. user=mdettweiler [2017-05-19 00:17:16] 675*2^1454344-1 is not prime. Res64: A9567B914ECF3EE1 Time : 0.0 sec. user=mdettweiler [2017-05-19 00:17:16] 755*2^1454344-1 is not prime. Res64: 5C0EFFC4A0C30515 Time : 0.0 sec. user=mdettweiler [2017-05-19 00:17:16] 825*2^1454344-1 is not prime. Res64: C5033DAACE6D3F61 Time : 0.0 sec. user=mdettweiler [2017-05-19 00:17:17] 869*2^1454344-1 is not prime. Res64: C1CE5FDB89E196EA Time : 0.0 sec. user=juhehe [2017-05-19 00:19:02] 875*2^1454344-1 is not prime. Res64: C1AE7013EC071110 Time : 0.0 sec. user=odicin [2017-05-19 00:20:37] 899*2^1454344-1 is not prime. Res64: E645C45C8B400C67 Time : 0.0 sec. user=mdettweiler [2017-05-19 01:07:53] 923*2^1454344-1 is not prime. Res64: 3AE83493B6AD6E4C Time : 0.0 sec. user=mdettweiler [2017-05-19 01:07:53] 969*2^1454344-1 is not prime. Res64: D461B93C18CB5031 Time : 0.0 sec. user=mdettweiler [2017-05-19 01:07:54] 619*2^1454345-1 is not prime. Res64: C3638FE1AD5D942A Time : 0.0 sec. user=mdettweiler [2017-05-19 01:07:54] 657*2^1454345-1 is not prime. Res64: 8C1EFB55A1C820E4 Time : 0.0 sec. user=mdettweiler [2017-05-19 01:07:54] 759*2^1454345-1 is not prime. Res64: 566016B4774F715B Time : 0.0 sec. user=mdettweiler [2017-05-19 01:59:06] 831*2^1454345-1 is not prime. Res64: 63962582DEC321AF Time : 0.0 sec. user=mdettweiler [2017-05-19 01:59:06] 985*2^1454345-1 is not prime. Res64: 4E8A724614642C01 Time : 0.0 sec. user=mdettweiler [2017-05-19 01:59:06] 987*2^1454345-1 is not prime. Res64: 4C3EBFB1CCC04663 Time : 0.0 sec. user=mdettweiler [2017-05-19 01:59:07] 717*2^1454346-1 is not prime. Res64: 69361B7658F7EF6D Time : 0.0 sec. user=mdettweiler [2017-05-19 01:59:07] 747*2^1454346-1 is not prime. Res64: 7DD31BFA48C4BC56 Time : 0.0 sec. user=juhehe [2017-05-19 02:16:48] 815*2^1454346-1 is not prime. Res64: 2B32F1700DE39E68 Time : 0.0 sec. user=juhehe [2017-05-19 02:52:14] 813*2^1454347-1 is not prime. Res64: 413EB4A9C4AED99E Time : 0.0 sec. user=mdettweiler [2017-05-19 02:54:21] 945*2^1454346-1 is not prime. Res64: B364D94FCFD68486 Time : 0.0 sec. user=mdettweiler [2017-05-19 02:54:22] 601*2^1454347-1 is not prime. Res64: A7BFE7775236D181 Time : 0.0 sec. user=mdettweiler [2017-05-19 02:54:22] 631*2^1454347-1 is not prime. Res64: BC552CCA0F712571 Time : 0.0 sec. user=mdettweiler [2017-05-19 02:54:23] 645*2^1454347-1 is not prime. Res64: DC21F3CF823F103A Time : 0.0 sec. user=mdettweiler [2017-05-19 02:54:23] 691*2^1454347-1 is not prime. Res64: 46A8360B45669E6C Time : 0.0 sec. user=mdettweiler [2017-05-19 03:46:10] 835*2^1454347-1 is not prime. Res64: FEAE2C3ECE3E1974 Time : 0.0 sec. user=mdettweiler [2017-05-19 03:46:12] 973*2^1454347-1 is not prime. Res64: 0AADCE3056CD06F6 Time : 0.0 sec. user=mdettweiler [2017-05-19 03:46:13] 665*2^1454348-1 is not prime. Res64: DDC7D654DA313936 Time : 0.0 sec. user=mdettweiler [2017-05-19 03:46:14] 677*2^1454348-1 is not prime. Res64: DD6B44535CAADF12 Time : 0.0 sec. user=mdettweiler [2017-05-19 03:46:15] 923*2^1454348-1 is not prime. Res64: D6BA8ED3BD259CEE Time : 0.0 sec. user=juhehe [2017-05-19 04:14:46] 649*2^1454349-1 is not prime. Res64: A44D68FCBEE67AFF Time : 0.0 sec. user=mdettweiler [2017-05-19 04:37:19] 679*2^1454349-1 is not prime. Res64: 1122D8B3E37DC3E2 Time : 0.0 sec. user=mdettweiler [2017-05-19 04:37:20] 685*2^1454349-1 is not prime. Res64: EEF4B7E924C30169 Time : 0.0 sec. user=mdettweiler [2017-05-19 04:37:20] 847*2^1454349-1 is not prime. Res64: FD746C37AFFA3F62 Time : 0.0 sec. user=mdettweiler [2017-05-19 04:37:21] 603*2^1454350-1 is not prime. Res64: 3CCE0A29427325F5 Time : 0.0 sec. user=mdettweiler [2017-05-19 04:37:21] 645*2^1454350-1 is not prime. Res64: D069ACC10685D95E Time : 0.0 sec. user=mdettweiler [2017-05-19 05:29:16] 695*2^1454350-1 is not prime. Res64: 1CC6B4E6220F3739 Time : 0.0 sec. user=mdettweiler [2017-05-19 05:29:17] 843*2^1454350-1 is not prime. Res64: 0DBEC083DA537E9C Time : 0.0 sec. user=mdettweiler [2017-05-19 05:29:17] 885*2^1454350-1 is not prime. Res64: 06E0DA99A7F91E4A Time : 0.0 sec. user=mdettweiler [2017-05-19 05:29:18] 703*2^1454351-1 is not prime. Res64: C90D89D541FDD52D Time : 0.0 sec. user=mdettweiler [2017-05-19 05:29:18] 711*2^1454351-1 is not prime. Res64: 5651387C1A1D384B Time : 0.0 sec. user=mdettweiler [2017-05-19 06:04:34] 999*2^1454340-1 is not prime. Res64: 71D389247022BE11 Time : 0.0 sec. user=mdettweiler [2017-05-19 06:04:39] 675*2^1454341-1 is not prime. Res64: 3303A413A793AFA5 Time : 0.0 sec. user=mdettweiler [2017-05-19 06:04:44] 691*2^1454341-1 is not prime. Res64: E375055298CE5FF1 Time : 0.0 sec. user=mdettweiler [2017-05-19 06:04:47] 741*2^1454341-1 is not prime. Res64: 6653BD0DC89703E1 Time : 0.0 sec. user=mdettweiler [2017-05-19 06:04:51] 799*2^1454341-1 is not prime. Res64: 7C95BB600D4BC2BD Time : 0.0 sec. user=juhehe [2017-05-19 06:12:40] 713*2^1454352-1 is not prime. Res64: 7D07CE187C43FB70 Time : 0.0 sec. user=mdettweiler [2017-05-19 06:15:11] 861*2^1454341-1 is not prime. Res64: 0255AAC38E1D28C8 Time : 0.0 sec. user=mdettweiler [2017-05-19 06:15:11] 877*2^1454341-1 is not prime. Res64: 7D1823FCB8F04A76 Time : 0.0 sec. user=mdettweiler [2017-05-19 06:15:12] 961*2^1454341-1 is not prime. Res64: 8EB609C60E0E70DF Time : 0.0 sec. user=mdettweiler [2017-05-19 06:15:12] 999*2^1454341-1 is not prime. Res64: ED03653BBF9FFDCD Time : 0.0 sec. user=mdettweiler [2017-05-19 06:15:12] 693*2^1454342-1 is not prime. Res64: 077827E2D407A12E Time : 0.0 sec. user=mdettweiler [2017-05-19 06:19:04] 735*2^1454351-1 is not prime. Res64: 0FE3B59A258AE0D3 Time : 0.0 sec. user=mdettweiler [2017-05-19 06:19:05] 855*2^1454351-1 is not prime. Res64: 5FD5C44DBFCF0A2E Time : 0.0 sec. user=mdettweiler [2017-05-19 06:19:05] 895*2^1454351-1 is not prime. Res64: C4E03D4FDDB2FC17 Time : 0.0 sec. user=mdettweiler [2017-05-19 06:19:05] 909*2^1454351-1 is not prime. Res64: 4C0181E8DBA18C46 Time : 0.0 sec. user=mdettweiler [2017-05-19 06:19:05] 931*2^1454351-1 is not prime. Res64: 731E8BCA247B9D76 Time : 0.0 sec. user=mdettweiler [2017-05-19 06:36:04] 815*2^1454342-1 is not prime. Res64: 185FFBF9F326274C Time : 0.0 sec. user=mdettweiler [2017-05-19 06:36:04] 827*2^1454342-1 is not prime. Res64: 3E853ADA3A9986E1 Time : 0.0 sec. user=mdettweiler [2017-05-19 06:36:04] 625*2^1454343-1 is not prime. Res64: 808420130D4045D5 Time : 0.0 sec. user=mdettweiler [2017-05-19 06:36:05] 685*2^1454343-1 is not prime. Res64: 22A4AF7645E672A0 Time : 0.0 sec. user=mdettweiler [2017-05-19 06:36:05] 913*2^1454343-1 is not prime. Res64: 3A4CFEF4E6A1B77C Time : 0.0 sec. user=mdettweiler [2017-05-19 06:51:39] 737*2^1454352-1 is not prime. Res64: 9310427328A13C7E Time : 0.0 sec. user=mdettweiler [2017-05-19 06:51:39] 825*2^1454352-1 is not prime. Res64: 3FB59261E8679762 Time : 0.0 sec. user=mdettweiler [2017-05-19 06:51:40] 843*2^1454352-1 is not prime. Res64: 5C07472A32312DA1 Time : 0.0 sec. user=mdettweiler [2017-05-19 06:51:40] 887*2^1454352-1 is not prime. Res64: FCD4C07F0A8838A1 Time : 0.0 sec. user=mdettweiler [2017-05-19 06:51:40] 899*2^1454352-1 is not prime. Res64: 4F060959588DEE15 Time : 0.0 sec. user=mdettweiler [2017-05-19 07:01:03] 909*2^1454352-1 is not prime. Res64: 4D111E50E677F69D Time : 0.0 sec. user=mdettweiler [2017-05-19 07:01:04] 929*2^1454352-1 is not prime. Res64: 27F2D0B17B471CE7 Time : 0.0 sec. user=mdettweiler [2017-05-19 07:01:06] 607*2^1454353-1 is not prime. Res64: 6AD114C98DD24CEC Time : 0.0 sec. user=mdettweiler [2017-05-19 07:01:07] 649*2^1454353-1 is not prime. Res64: E0D8AF4FB4A85DD9 Time : 0.0 sec. user=mdettweiler [2017-05-19 07:01:08] 805*2^1454353-1 is not prime. Res64: 42C4DCBF8DCEC25A Time : 0.0 sec. user=mdettweiler [2017-05-19 07:04:43] 867*2^1454353-1 is not prime. Res64: 3C484D27E4F2A100 Time : 0.0 sec. user=mdettweiler [2017-05-19 07:04:46] 623*2^1454354-1 is not prime. Res64: A90804C6A0ECDF94 Time : 0.0 sec. user=mdettweiler [2017-05-19 07:04:47] 657*2^1454354-1 is not prime. Res64: F3485B7CC30E155B Time : 0.0 sec. user=mdettweiler [2017-05-19 07:04:49] 755*2^1454354-1 is not prime. Res64: 1C8F4CF2FF46211E Time : 0.0 sec. user=mdettweiler [2017-05-19 07:04:51] 873*2^1454354-1 is not prime. Res64: F4C63FB7F7165883 Time : 0.0 sec. user=mdettweiler [2017-05-19 07:21:34] 887*2^1454354-1 is not prime. Res64: 92CDA4B332352BE2 Time : 0.0 sec. user=mdettweiler [2017-05-19 07:21:34] 903*2^1454354-1 is not prime. Res64: 7587C19ED2810BED Time : 0.0 sec. user=mdettweiler [2017-05-19 07:21:34] 1001*2^1454354-1 is not prime. Res64: C2758DB9ED42FB99 Time : 0.0 sec. user=mdettweiler [2017-05-19 07:21:35] 613*2^1454355-1 is not prime. Res64: F57492E52175E0E3 Time : 0.0 sec. user=mdettweiler [2017-05-19 07:21:35] 639*2^1454355-1 is not prime. Res64: BA37D3B684F0AEC7 Time : 0.0 sec. user=juhehe [2017-05-19 07:31:24] 973*2^1454355-1 is not prime. Res64: 00E922F114AA01CC Time : 0.0 sec. user=FritzsHero [2017-05-19 07:36:22] 861*2^1454271-1 is not prime. Res64: 836D63BB9CFFA243 Time : 0.0 sec. user=mdettweiler [2017-05-19 07:37:08] 643*2^1454355-1 is not prime. Res64: A124176F6CC0AF05 Time : 0.0 sec. user=mdettweiler [2017-05-19 07:37:08] 709*2^1454355-1 is not prime. Res64: 543D3CE4298AB684 Time : 0.0 sec. user=mdettweiler [2017-05-19 07:37:09] 801*2^1454355-1 is not prime. Res64: 85BD3392DD3FB665 Time : 0.0 sec. user=mdettweiler [2017-05-19 07:37:09] 825*2^1454355-1 is not prime. Res64: D6E6E29F79C341CC Time : 0.0 sec. user=mdettweiler [2017-05-19 07:37:09] 963*2^1454355-1 is not prime. Res64: 51780D9AF52912E4 Time : 0.0 sec. user=mdettweiler [2017-05-19 07:46:49] 723*2^1454356-1 is not prime. Res64: ECB7594548C54B0C Time : 0.0 sec. user=mdettweiler [2017-05-19 07:46:50] 813*2^1454356-1 is not prime. Res64: 4EA2C74D2576E07F Time : 0.0 sec. user=mdettweiler [2017-05-19 07:46:50] 933*2^1454356-1 is not prime. Res64: B88E63002B508EE6 Time : 0.0 sec. user=mdettweiler [2017-05-19 07:46:50] 987*2^1454356-1 is not prime. Res64: 4DAB5607ED3AC259 Time : 0.0 sec. user=mdettweiler [2017-05-19 07:46:50] 607*2^1454357-1 is not prime. Res64: B7840983A1B19D4C Time : 0.0 sec. user=mdettweiler [2017-05-19 07:50:40] 627*2^1454357-1 is not prime. Res64: 60BD1EECC708973C Time : 0.0 sec. user=mdettweiler [2017-05-19 07:50:40] 651*2^1454357-1 is not prime. Res64: 77116D5EA73F5544 Time : 0.0 sec. user=mdettweiler [2017-05-19 07:50:41] 669*2^1454357-1 is not prime. Res64: 54925D3BD3EBDBAD Time : 0.0 sec. user=mdettweiler [2017-05-19 07:50:41] 685*2^1454357-1 is not prime. Res64: 35FEB0F0EE3AFE78 Time : 0.0 sec. user=mdettweiler [2017-05-19 07:50:41] 699*2^1454357-1 is not prime. Res64: 6420AB979302B198 Time : 0.0 sec. user=mdettweiler [2017-05-19 08:07:14] 795*2^1454357-1 is not prime. Res64: 4EEE5E6A248580A5 Time : 0.0 sec. user=mdettweiler [2017-05-19 08:07:14] 871*2^1454357-1 is not prime. Res64: 5400D0EC1CCD7C89 Time : 0.0 sec. user=mdettweiler [2017-05-19 08:07:15] 815*2^1454358-1 is not prime. Res64: B2A64E4F2249CEE0 Time : 0.0 sec. user=mdettweiler [2017-05-19 08:07:15] 891*2^1454358-1 is not prime. Res64: E5150D908F126439 Time : 0.0 sec. user=mdettweiler [2017-05-19 08:07:15] 893*2^1454358-1 is not prime. Res64: 10DA2B5E1E519C5A Time : 0.0 sec. user=FritzsHero [2017-05-19 08:21:48] 627*2^1454262-1 is not prime. Res64: 2D5B537CD26BC786 Time : 0.0 sec. user=FritzsHero [2017-05-19 08:22:11] 963*2^1454307-1 is not prime. Res64: 010E2FDE5B495FD9 Time : 0.0 sec. user=FritzsHero [2017-05-19 08:22:21] 991*2^1454303-1 is not prime. Res64: 4EBECD33FCADB33C Time : 0.0 sec. user=mdettweiler [2017-05-19 08:22:30] 723*2^1454359-1 is not prime. Res64: 8D93B5914F971B4E Time : 0.0 sec. user=mdettweiler [2017-05-19 08:22:30] 741*2^1454359-1 is not prime. Res64: A95C70CED77C2D38 Time : 0.0 sec. user=mdettweiler [2017-05-19 08:22:31] 831*2^1454359-1 is not prime. Res64: F2AC1CA0A04E0FDC Time : 0.0 sec. user=mdettweiler [2017-05-19 08:22:31] 841*2^1454359-1 is not prime. Res64: C63117A4B0D2182F Time : 0.0 sec. user=mdettweiler [2017-05-19 08:22:31] 913*2^1454359-1 is not prime. Res64: FF575D4F7D7EF5F2 Time : 0.0 sec. user=FritzsHero [2017-05-19 08:29:37] 969*2^1454271-1 is not prime. Res64: C144DFBC6C6A3F09 Time : 0.0 sec. user=mdettweiler [2017-05-19 08:32:20] 609*2^1454360-1 is not prime. Res64: D6FC3AC9F08740CA Time : 0.0 sec. user=mdettweiler [2017-05-19 08:32:21] 677*2^1454360-1 is not prime. Res64: 3552151EBBC81F8C Time : 0.0 sec. user=mdettweiler [2017-05-19 08:32:21] 777*2^1454360-1 is not prime. Res64: 4CE2D19939785A72 Time : 0.0 sec. user=mdettweiler [2017-05-19 08:32:21] 785*2^1454360-1 is not prime. Res64: FC6D79B99FA02537 Time : 0.0 sec. user=mdettweiler [2017-05-19 08:32:21] 839*2^1454360-1 is not prime. Res64: 334B7E6061229D36 Time : 0.0 sec. user=FritzsHero [2017-05-19 08:35:25] 645*2^1454362-1 is not prime. Res64: BBB9A4704ACDE6AC Time : 0.0 sec. user=FritzsHero [2017-05-19 08:35:48] 657*2^1454362-1 is not prime. Res64: 8B6E26F7B6ED7290 Time : 0.0 sec. user=FritzsHero [2017-05-19 08:35:57] 717*2^1454362-1 is not prime. Res64: 802B2E32B20246CC Time : 0.0 sec. user=mdettweiler [2017-05-19 08:36:11] 601*2^1454361-1 is not prime. Res64: 31A23AE17170828B Time : 0.0 sec. user=mdettweiler [2017-05-19 08:36:11] 661*2^1454361-1 is not prime. Res64: 6DAE8808BFC34FFE Time : 0.0 sec. user=mdettweiler [2017-05-19 08:36:11] 727*2^1454361-1 is not prime. Res64: ADDDC41DAC1BD5BB Time : 0.0 sec. user=mdettweiler [2017-05-19 08:36:11] 795*2^1454361-1 is not prime. Res64: 14881340025FC485 Time : 0.0 sec. user=mdettweiler [2017-05-19 08:36:12] 805*2^1454361-1 is not prime. Res64: E2415BFC77D2BF97 Time : 0.0 sec. user=FritzsHero [2017-05-19 08:43:17] 831*2^1454362-1 is not prime. Res64: 8AB019EF18447820 Time : 0.0 sec. user=FritzsHero [2017-05-19 08:49:02] 945*2^1454363-1 is not prime. Res64: BFFAAD24C21B22F2 Time : 0.0 sec. user=FritzsHero [2017-05-19 08:49:24] 969*2^1454363-1 is not prime. Res64: C2CD877DDD0FA91F Time : 0.0 sec. user=FritzsHero [2017-05-19 08:49:32] 991*2^1454363-1 is not prime. Res64: CA3ED172E70BD2E0 Time : 0.0 sec. user=mdettweiler [2017-05-19 08:53:03] 807*2^1454361-1 is not prime. Res64: A98C360AE66A55C0 Time : 0.0 sec. user=mdettweiler [2017-05-19 08:53:04] 847*2^1454361-1 is not prime. Res64: AD07A7C0479853BA Time : 0.0 sec. user=mdettweiler [2017-05-19 08:53:04] 889*2^1454361-1 is not prime. Res64: 80EB3B42EDB95F05 Time : 0.0 sec. user=mdettweiler [2017-05-19 08:53:05] 895*2^1454361-1 is not prime. Res64: 98FECDBF9BF1B0BA Time : 0.0 sec. user=mdettweiler [2017-05-19 08:53:05] 921*2^1454361-1 is not prime. Res64: 4698867B1DB4E75A Time : 0.0 sec. user=FritzsHero [2017-05-19 08:56:55] 969*2^1454364-1 is not prime. Res64: A823B09B08AAE983 Time : 0.0 sec. user=FritzsHero [2017-05-19 09:01:32] 895*2^1454271-1 is not prime. Res64: 72561F5E78E1CE8F Time : 0.0 sec. user=mdettweiler [2017-05-19 09:08:07] 731*2^1454362-1 is not prime. Res64: 5666C79A088C4BB3 Time : 0.0 sec. user=mdettweiler [2017-05-19 09:08:08] 747*2^1454362-1 is not prime. Res64: 26E6FC140F275273 Time : 0.0 sec. user=mdettweiler [2017-05-19 09:08:08] 791*2^1454362-1 is not prime. Res64: D51818D8ECE00E18 Time : 0.0 sec. user=mdettweiler [2017-05-19 09:08:09] 801*2^1454362-1 is not prime. Res64: 8B26822D95C4BC15 Time : 0.0 sec. user=mdettweiler [2017-05-19 09:08:09] 815*2^1454362-1 is not prime. Res64: B03961449DED7531 Time : 0.0 sec. user=FritzsHero [2017-05-19 09:11:20] 901*2^1454313-1 is not prime. Res64: 8E08F01272C49835 Time : 0.0 sec. user=FritzsHero [2017-05-19 09:12:17] 991*2^1454313-1 is not prime. Res64: 49617AE8070DB3A7 Time : 0.0 sec. user=FritzsHero [2017-05-19 09:13:06] 945*2^1454358-1 is not prime. Res64: 52F789600F6E6449 Time : 0.0 sec. user=mdettweiler [2017-05-19 09:17:51] 981*2^1454362-1 is not prime. Res64: AE8D8C0959F1C193 Time : 0.0 sec. user=mdettweiler [2017-05-19 09:17:52] 995*2^1454362-1 is not prime. Res64: 585D1ED80F9C7E0A Time : 0.0 sec. user=mdettweiler [2017-05-19 09:17:52] 1001*2^1454362-1 is not prime. Res64: 77B13C3632724837 Time : 0.0 sec. user=mdettweiler [2017-05-19 09:17:53] 633*2^1454363-1 is not prime. Res64: DB66A2919FDA8898 Time : 0.0 sec. user=mdettweiler [2017-05-19 09:17:54] 813*2^1454363-1 is not prime. Res64: AD5C7400FF723F0B Time : 0.0 sec. user=mdettweiler [2017-05-19 09:21:46] 627*2^1454364-1 is not prime. Res64: 3672871C0B662212 Time : 0.0 sec. user=mdettweiler [2017-05-19 09:21:46] 635*2^1454364-1 is not prime. Res64: B1E6A9CFD28D773D Time : 0.0 sec. user=mdettweiler [2017-05-19 09:21:47] 639*2^1454364-1 is not prime. Res64: 3511BFE42D0C964B Time : 0.0 sec. user=mdettweiler [2017-05-19 09:21:47] 675*2^1454364-1 is not prime. Res64: 1C1655BAAFAD85D5 Time : 0.0 sec. user=mdettweiler [2017-05-19 09:21:47] 857*2^1454364-1 is not prime. Res64: C048A7A93C47B3C4 Time : 0.0 sec. user=juhehe [2017-05-19 09:29:17] 721*2^1454365-1 is not prime. Res64: 19727A3D0CA79C24 Time : 0.0 sec. user=mdettweiler [2017-05-19 09:38:50] 861*2^1454365-1 is not prime. Res64: 01F81B0784DDF374 Time : 0.0 sec. user=mdettweiler [2017-05-19 09:38:51] 997*2^1454365-1 is not prime. Res64: 8DB549EF2E4F2CD7 Time : 0.0 sec. user=mdettweiler [2017-05-19 09:38:51] 663*2^1454366-1 is not prime. Res64: 8348E0E6F0D33055 Time : 0.0 sec. user=mdettweiler [2017-05-19 09:38:51] 683*2^1454366-1 is not prime. Res64: 01E2ED1770CB5C67 Time : 0.0 sec. user=mdettweiler [2017-05-19 09:38:51] 761*2^1454366-1 is not prime. Res64: 34CC8121AD0724C2 Time : 0.0 sec. user=mdettweiler [2017-05-19 09:53:49] 633*2^1454367-1 is not prime. Res64: 4831F0EC7ED4CB40 Time : 0.0 sec. user=mdettweiler [2017-05-19 09:53:50] 751*2^1454367-1 is not prime. Res64: 804800EA71977254 Time : 0.0 sec. user=mdettweiler [2017-05-19 09:53:50] 775*2^1454367-1 is not prime. Res64: F5032E8B9977528C Time : 0.0 sec. user=mdettweiler [2017-05-19 09:53:50] 605*2^1454368-1 is not prime. Res64: F7C8FF74D014F8E5 Time : 0.0 sec. user=mdettweiler [2017-05-19 09:53:50] 909*2^1454368-1 is not prime. Res64: 236D7740D12004FE Time : 0.0 sec. user=mdettweiler [2017-05-19 10:03:52] 861*2^1454369-1 is not prime. Res64: 26003A856790228C Time : 0.0 sec. user=mdettweiler [2017-05-19 10:03:55] 889*2^1454369-1 is not prime. Res64: 7FFD6329EEDBAF15 Time : 0.0 sec. user=mdettweiler [2017-05-19 10:03:56] 611*2^1454370-1 is not prime. Res64: 2D98A6E6D712EFC6 Time : 0.0 sec. user=mdettweiler [2017-05-19 10:03:58] 725*2^1454370-1 is not prime. Res64: 34C989E1789B4A5A Time : 0.0 sec. user=mdettweiler [2017-05-19 10:03:59] 803*2^1454370-1 is not prime. Res64: 3CAB2A14114B4662 Time : 0.0 sec. user=mdettweiler [2017-05-19 10:07:23] 821*2^1454370-1 is not prime. Res64: B4E10DF28396A02D Time : 0.0 sec. user=mdettweiler [2017-05-19 10:07:25] 851*2^1454370-1 is not prime. Res64: 7BEC84DDE4B49CE7 Time : 0.0 sec. user=mdettweiler [2017-05-19 10:07:25] 977*2^1454370-1 is not prime. Res64: 25C10ED770E4DA5D Time : 0.0 sec. user=mdettweiler [2017-05-19 10:07:26] 673*2^1454371-1 is not prime. Res64: CE16376F735631F8 Time : 0.0 sec. user=mdettweiler [2017-05-19 10:07:26] 735*2^1454371-1 is not prime. Res64: 0999AF769FB0294F Time : 0.0 sec. user=mdettweiler [2017-05-19 10:24:48] 793*2^1454371-1 is not prime. Res64: 6E0556BCFA73F48A Time : 0.0 sec. user=mdettweiler [2017-05-19 10:24:49] 835*2^1454371-1 is not prime. Res64: 977035288833B9F7 Time : 0.0 sec. user=mdettweiler [2017-05-19 10:24:49] 855*2^1454371-1 is not prime. Res64: 95641992BC7AC829 Time : 0.0 sec. user=mdettweiler [2017-05-19 10:24:49] 925*2^1454371-1 is not prime. Res64: CD15C42B0AC5301E Time : 0.0 sec. user=mdettweiler [2017-05-19 10:24:50] 603*2^1454372-1 is not prime. Res64: D1361FDF4513F595 Time : 0.0 sec. user=mdettweiler [2017-05-19 10:40:22] 629*2^1454372-1 is not prime. Res64: C7FD4580D798A7C8 Time : 0.0 sec. user=mdettweiler [2017-05-19 10:40:23] 693*2^1454372-1 is not prime. Res64: 51D39CBEB206FCB0 Time : 0.0 sec. user=mdettweiler [2017-05-19 10:40:23] 759*2^1454372-1 is not prime. Res64: 69129CA9C1482A5A Time : 0.0 sec. user=mdettweiler [2017-05-19 10:40:23] 621*2^1454373-1 is not prime. Res64: 162FE3D40162334E Time : 0.0 sec. user=mdettweiler [2017-05-19 10:40:23] 657*2^1454373-1 is not prime. Res64: FCD4B6247869E985 Time : 0.0 sec. user=mdettweiler [2017-05-19 10:50:53] 781*2^1454373-1 is not prime. Res64: 989B5FABFBFD3C2A Time : 0.0 sec. user=mdettweiler [2017-05-19 10:50:54] 861*2^1454373-1 is not prime. Res64: F68FCD5D9D43872B Time : 0.0 sec. user=mdettweiler [2017-05-19 10:50:54] 891*2^1454373-1 is not prime. Res64: 41DAD2AE69793B4E Time : 0.0 sec. user=mdettweiler [2017-05-19 10:50:54] 723*2^1454374-1 is not prime. Res64: F5F59CEC64383929 Time : 0.0 sec. user=mdettweiler [2017-05-19 10:50:54] 755*2^1454374-1 is not prime. Res64: F1DBF5F3FB45FC39 Time : 0.0 sec. user=mdettweiler [2017-05-19 10:54:25] 783*2^1454374-1 is not prime. Res64: DF9178FAA11D5D1E Time : 0.0 sec. user=mdettweiler [2017-05-19 10:54:25] 861*2^1454374-1 is not prime. Res64: 967AB4A856581584 Time : 0.0 sec. user=mdettweiler [2017-05-19 10:54:25] 881*2^1454374-1 is not prime. Res64: AA56F5DDAF6B803F Time : 0.0 sec. user=mdettweiler [2017-05-19 10:54:25] 885*2^1454374-1 is not prime. Res64: 9761C9BF4F5035CE Time : 0.0 sec. user=mdettweiler [2017-05-19 10:54:26] 917*2^1454374-1 is not prime. Res64: EFB4871DB75EEC23 Time : 0.0 sec. user=mdettweiler [2017-05-19 11:12:23] 941*2^1454374-1 is not prime. Res64: 26D2DED1AE28F8D7 Time : 0.0 sec. user=mdettweiler [2017-05-19 11:12:23] 601*2^1454375-1 is not prime. Res64: BB68127AA463ECB8 Time : 0.0 sec. user=mdettweiler [2017-05-19 11:12:24] 735*2^1454375-1 is not prime. Res64: D9722F267BD72ADC Time : 0.0 sec. user=mdettweiler [2017-05-19 11:12:24] 865*2^1454375-1 is not prime. Res64: FB2ADA746CD3C716 Time : 0.0 sec. user=mdettweiler [2017-05-19 11:12:25] 949*2^1454375-1 is not prime. Res64: A5BA93BB2927F6E2 Time : 0.0 sec. user=juhehe [2017-05-19 11:27:32] 625*2^1454377-1 is not prime. Res64: A49978600EFBBACC Time : 0.0 sec. user=mdettweiler [2017-05-19 11:28:29] 623*2^1454376-1 is not prime. Res64: 115880F2FDF69628 Time : 0.0 sec. user=mdettweiler [2017-05-19 11:28:29] 669*2^1454376-1 is not prime. Res64: A219B298B1C2AB23 Time : 0.0 sec. user=mdettweiler [2017-05-19 11:28:30] 777*2^1454376-1 is not prime. Res64: DBFBE80182B78C5F Time : 0.0 sec. user=mdettweiler [2017-05-19 11:28:30] 779*2^1454376-1 is not prime. Res64: 1F7A93C0A4F4C996 Time : 0.0 sec. user=mdettweiler [2017-05-19 11:28:30] 923*2^1454376-1 is not prime. Res64: B7D64ED0E45BDBBF Time : 0.0 sec. user=mdettweiler [2017-05-19 11:38:16] 639*2^1454377-1 is not prime. Res64: A7DABE3CB8A8C187 Time : 0.0 sec. user=mdettweiler [2017-05-19 11:38:16] 687*2^1454377-1 is not prime. Res64: 5A49844742B6088C Time : 0.0 sec. user=mdettweiler [2017-05-19 11:38:16] 729*2^1454377-1 is not prime. Res64: 5772535539198B42 Time : 0.0 sec. user=mdettweiler [2017-05-19 11:38:17] 747*2^1454377-1 is not prime. Res64: 55279F9A98C07F28 Time : 0.0 sec. user=mdettweiler [2017-05-19 11:38:17] 775*2^1454377-1 is not prime. Res64: 89FB2EEE8EBFE2CB Time : 0.0 sec. user=mdettweiler [2017-05-19 11:42:05] 777*2^1454377-1 is not prime. Res64: 1ECDDEF03734EF5B Time : 0.0 sec. user=mdettweiler [2017-05-19 11:42:05] 801*2^1454377-1 is not prime. Res64: FA92F3064329027E Time : 0.0 sec. user=mdettweiler [2017-05-19 11:42:05] 867*2^1454377-1 is not prime. Res64: FBF97A50176ABD64 Time : 0.0 sec. user=mdettweiler [2017-05-19 11:42:06] 901*2^1454377-1 is not prime. Res64: 98A094DE4756299C Time : 0.0 sec. user=mdettweiler [2017-05-19 11:42:06] 671*2^1454378-1 is not prime. Res64: 28EC48B19E119AFB Time : 0.0 sec. user=mdettweiler [2017-05-19 11:59:37] 801*2^1454378-1 is not prime. Res64: 67A50E623A91788A Time : 0.0 sec. user=mdettweiler [2017-05-19 11:59:38] 827*2^1454378-1 is not prime. Res64: AEF3E979AF4B54BD Time : 0.0 sec. user=mdettweiler [2017-05-19 11:59:38] 941*2^1454378-1 is not prime. Res64: 4B53BA7D0B4729B6 Time : 0.0 sec. user=mdettweiler [2017-05-19 11:59:38] 977*2^1454378-1 is not prime. Res64: 4D5F4F1899EBF162 Time : 0.0 sec. user=mdettweiler [2017-05-19 11:59:39] 615*2^1454379-1 is not prime. Res64: EA8A7E36EFCF229D Time : 0.0 sec. user=mdettweiler [2017-05-19 12:15:12] 625*2^1454379-1 is not prime. Res64: D09AF452D62ABEC0 Time : 0.0 sec. user=mdettweiler [2017-05-19 12:15:13] 679*2^1454379-1 is not prime. Res64: AD9E824376AFF1FE Time : 0.0 sec. user=mdettweiler [2017-05-19 12:15:13] 721*2^1454379-1 is not prime. Res64: 5AD202B16B118DFA Time : 0.0 sec. user=mdettweiler [2017-05-19 12:15:13] 775*2^1454379-1 is not prime. Res64: 96E9D23EB2121D99 Time : 0.0 sec. user=mdettweiler [2017-05-19 12:15:14] 647*2^1454380-1 is not prime. Res64: EEF68B7AB4D307E3 Time : 0.0 sec. user=mdettweiler [2017-05-19 12:24:43] 755*2^1454380-1 is not prime. Res64: E7EA5E9C42629BA4 Time : 0.0 sec. user=mdettweiler [2017-05-19 12:24:43] 765*2^1454380-1 is not prime. Res64: 940D135CD6F0B429 Time : 0.0 sec. user=mdettweiler [2017-05-19 12:24:44] 813*2^1454380-1 is not prime. Res64: D59FD57BEEB6C55D Time : 0.0 sec. user=mdettweiler [2017-05-19 12:24:44] 845*2^1454380-1 is not prime. Res64: 103FACE8C886B008 Time : 0.0 sec. user=mdettweiler [2017-05-19 12:24:44] 939*2^1454380-1 is not prime. Res64: 126D095A7D819E55 Time : 0.0 sec. user=mdettweiler [2017-05-19 12:28:47] 607*2^1454381-1 is not prime. Res64: 369BEDA30226A0FD Time : 0.0 sec. user=mdettweiler [2017-05-19 12:28:47] 859*2^1454381-1 is not prime. Res64: DF5F3725308B482D Time : 0.0 sec. user=mdettweiler [2017-05-19 12:28:47] 871*2^1454381-1 is not prime. Res64: FFA31D2D624AE09C Time : 0.0 sec. user=mdettweiler [2017-05-19 12:28:48] 621*2^1454382-1 is not prime. Res64: 72D13113E24AF59F Time : 0.0 sec. user=mdettweiler [2017-05-19 12:28:48] 677*2^1454382-1 is not prime. Res64: E3716BF86D4531C1 Time : 0.0 sec. user=mdettweiler [2017-05-19 12:46:01] 683*2^1454382-1 is not prime. Res64: DC9C8EFE4E033D5C Time : 0.0 sec. user=mdettweiler [2017-05-19 12:46:01] 711*2^1454382-1 is not prime. Res64: BD405BEF722F5D11 Time : 0.0 sec. user=mdettweiler [2017-05-19 12:46:01] 741*2^1454382-1 is not prime. Res64: 4B625CD0DF49B93B Time : 0.0 sec. user=mdettweiler [2017-05-19 12:46:02] 807*2^1454382-1 is not prime. Res64: ADCC0595958F289C Time : 0.0 sec. user=mdettweiler [2017-05-19 12:46:02] 821*2^1454382-1 is not prime. Res64: 1C9A20569EF42A2E Time : 0.0 sec. user=mdettweiler [2017-05-19 13:01:28] 885*2^1454382-1 is not prime. Res64: A887BEB6C516F930 Time : 0.0 sec. user=mdettweiler [2017-05-19 13:01:30] 921*2^1454382-1 is not prime. Res64: 817FDF59CB1775E0 Time : 0.0 sec. user=mdettweiler [2017-05-19 13:01:31] 703*2^1454383-1 is not prime. Res64: C51656CAE34F558C Time : 0.0 sec. user=mdettweiler [2017-05-19 13:01:31] 831*2^1454383-1 is not prime. Res64: 41632336A6F4A8B2 Time : 0.0 sec. user=mdettweiler [2017-05-19 13:01:33] 915*2^1454383-1 is not prime. Res64: 56E03BBA96C2C085 Time : 0.0 sec. user=mdettweiler [2017-05-19 13:10:53] 925*2^1454383-1 is not prime. Res64: A2BA060AC77AAB9C Time : 0.0 sec. user=mdettweiler [2017-05-19 13:10:54] 607*2^1454385-1 is not prime. Res64: 2C81612615AA5BAD Time : 0.0 sec. user=mdettweiler [2017-05-19 13:10:54] 735*2^1454385-1 is not prime. Res64: 6E4A9C7EF709C248 Time : 0.0 sec. user=mdettweiler [2017-05-19 13:10:54] 741*2^1454385-1 is not prime. Res64: 735AAE506C1D6C07 Time : 0.0 sec. user=mdettweiler [2017-05-19 13:10:55] 765*2^1454385-1 is not prime. Res64: D6067862DB07EC95 Time : 0.0 sec. user=mdettweiler [2017-05-19 13:14:46] 781*2^1454385-1 is not prime. Res64: B03D954F5FCBF108 Time : 0.0 sec. user=mdettweiler [2017-05-19 13:14:46] 789*2^1454385-1 is not prime. Res64: 86B5A978C4FE6FE6 Time : 0.0 sec. user=mdettweiler [2017-05-19 13:14:47] 635*2^1454386-1 is not prime. Res64: A7DF6C13297B6D95 Time : 0.0 sec. user=mdettweiler [2017-05-19 13:14:47] 645*2^1454386-1 is not prime. Res64: 1F78E19D9534C229 Time : 0.0 sec. user=mdettweiler [2017-05-19 13:14:47] 705*2^1454386-1 is not prime. Res64: C64ECE247A505792 Time : 0.0 sec. user=juhehe [2017-05-19 13:26:01] 741*2^1454387-1 is not prime. Res64: 75AA1AF661AB4864 Time : 0.0 sec. user=mdettweiler [2017-05-19 13:31:36] 735*2^1454386-1 is not prime. Res64: 0D62C62309DBD194 Time : 0.0 sec. user=mdettweiler [2017-05-19 13:31:36] 741*2^1454386-1 is not prime. Res64: 47A9D4CD76BD2A2F Time : 0.0 sec. user=mdettweiler [2017-05-19 13:31:36] 917*2^1454386-1 is not prime. Res64: EC6997D1B2A20BF2 Time : 0.0 sec. user=mdettweiler [2017-05-19 13:31:36] 693*2^1454387-1 is not prime. Res64: 258D08C8C73272CF Time : 0.0 sec. user=mdettweiler [2017-05-19 13:31:37] 699*2^1454387-1 is not prime. Res64: 8719F3C337E77198 Time : 0.0 sec. user=FritzsHero [2017-05-19 13:43:11] 717*2^1454365-1 is not prime. Res64: C2DDF621DFAF6863 Time : 0.0 sec. user=mdettweiler [2017-05-19 13:47:08] 841*2^1454387-1 is not prime. Res64: 1B09BE68B146034E Time : 0.0 sec. user=mdettweiler [2017-05-19 13:47:08] 861*2^1454387-1 is not prime. Res64: 4468E33322024E5A Time : 0.0 sec. user=mdettweiler [2017-05-19 13:47:08] 895*2^1454387-1 is not prime. Res64: 252AF01CF6CBEDB3 Time : 0.0 sec. user=mdettweiler [2017-05-19 13:47:08] 909*2^1454387-1 is not prime. Res64: DCDF27FFD2723C3A Time : 0.0 sec. user=mdettweiler [2017-05-19 13:47:09] 945*2^1454387-1 is not prime. Res64: E6C15263559DCA02 Time : 0.0 sec. user=FritzsHero [2017-05-19 13:48:50] 795*2^1454366-1 is not prime. Res64: AAEA9359986C2445 Time : 0.0 sec. user=FritzsHero [2017-05-19 13:53:30] 745*2^1454391-1 is not prime. Res64: 8793F04EED17936F Time : 0.0 sec. user=mdettweiler [2017-05-19 13:56:53] 683*2^1454388-1 is not prime. Res64: 48CE1886AA2D6CDA Time : 0.0 sec. user=mdettweiler [2017-05-19 13:56:54] 753*2^1454388-1 is not prime. Res64: 1FBA35DD540ED7EC Time : 0.0 sec. user=mdettweiler [2017-05-19 13:56:54] 773*2^1454388-1 is not prime. Res64: 011C42DF6EF8C308 Time : 0.0 sec. user=mdettweiler [2017-05-19 13:56:54] 867*2^1454388-1 is not prime. Res64: 471DDFFC40389EDD Time : 0.0 sec. user=mdettweiler [2017-05-19 13:56:54] 945*2^1454388-1 is not prime. Res64: EBA11551CC171595 Time : 0.0 sec. user=FritzsHero [2017-05-19 13:59:16] 825*2^1454392-1 is not prime. Res64: 1A6D98AF48F6BB70 Time : 0.0 sec. user=mdettweiler [2017-05-19 14:00:18] 987*2^1454388-1 is not prime. Res64: F369A2861DCCC8CB Time : 0.0 sec. user=mdettweiler [2017-05-19 14:00:20] 799*2^1454389-1 is not prime. Res64: CCBA007C16B502C9 Time : 0.0 sec. user=mdettweiler [2017-05-19 14:00:20] 801*2^1454389-1 is not prime. Res64: B928A49168D36083 Time : 0.0 sec. user=mdettweiler [2017-05-19 14:00:21] 919*2^1454389-1 is not prime. Res64: FAB2D925F5FFB1A4 Time : 0.0 sec. user=mdettweiler [2017-05-19 14:00:21] 747*2^1454390-1 is not prime. Res64: CF501DB9C5A71E2E Time : 0.0 sec. user=FritzsHero [2017-05-19 14:04:02] 899*2^1454392-1 is not prime. Res64: 41ABA57CAB272B66 Time : 0.0 sec. user=FritzsHero [2017-05-19 14:09:51] 691*2^1454393-1 is not prime. Res64: EB4A42076905C0EC Time : 0.0 sec. user=FritzsHero [2017-05-19 14:15:12] 717*2^1454394-1 is not prime. Res64: AFBD52EB07C91C76 Time : 0.0 sec. user=mdettweiler [2017-05-19 14:17:21] 827*2^1454390-1 is not prime. Res64: 03052354912C14A1 Time : 0.0 sec. user=mdettweiler [2017-05-19 14:17:21] 1001*2^1454390-1 is not prime. Res64: 977DC06BC8BE8F2E Time : 0.0 sec. user=mdettweiler [2017-05-19 14:17:21] 601*2^1454391-1 is not prime. Res64: BB5ADFCB88220491 Time : 0.0 sec. user=mdettweiler [2017-05-19 14:17:22] 711*2^1454391-1 is not prime. Res64: F4AE1A3D098B4459 Time : 0.0 sec. user=mdettweiler [2017-05-19 14:17:22] 723*2^1454391-1 is not prime. Res64: E716C8FEA2B33BCC Time : 0.0 sec. user=FritzsHero [2017-05-19 14:20:56] 789*2^1454369-1 is not prime. Res64: A6E185DDE0F7831A Time : 0.0 sec. user=FritzsHero [2017-05-19 14:21:46] 741*2^1454394-1 is not prime. Res64: 772B048A6F20E48F Time : 0.0 sec. user=mdettweiler [2017-05-19 14:32:51] 775*2^1454391-1 is not prime. Res64: 40E8A73CAD186E21 Time : 0.0 sec. user=mdettweiler [2017-05-19 14:32:52] 969*2^1454391-1 is not prime. Res64: C87377DF3B552AEB Time : 0.0 sec. user=mdettweiler [2017-05-19 14:32:52] 999*2^1454391-1 is not prime. Res64: 4963872C05F7D425 Time : 0.0 sec. user=mdettweiler [2017-05-19 14:32:52] 615*2^1454392-1 is not prime. Res64: DF52495A0AB4F9DE Time : 0.0 sec. user=mdettweiler [2017-05-19 14:32:53] 653*2^1454392-1 is not prime. Res64: F8BF81C635290481 Time : 0.0 sec. user=mdettweiler [2017-05-19 14:42:46] 903*2^1454392-1 is not prime. Res64: DB02C424092633BC Time : 0.0 sec. user=mdettweiler [2017-05-19 14:42:47] 909*2^1454392-1 is not prime. Res64: 4F02A7259267D6AE Time : 0.0 sec. user=mdettweiler [2017-05-19 14:42:47] 933*2^1454392-1 is not prime. Res64: 061BFD3270A38891 Time : 0.0 sec. user=mdettweiler [2017-05-19 14:42:47] 947*2^1454392-1 is not prime. Res64: D5C71EFDF3193C8A Time : 0.0 sec. user=mdettweiler [2017-05-19 14:42:50] 983*2^1454392-1 is not prime. Res64: 0E563BF9A6440E04 Time : 0.0 sec. user=mdettweiler [2017-05-19 14:46:02] 855*2^1454393-1 is not prime. Res64: E46619651F967E0A Time : 0.0 sec. user=mdettweiler [2017-05-19 14:46:03] 879*2^1454393-1 is not prime. Res64: D1BEB50CC09C4BCA Time : 0.0 sec. user=mdettweiler [2017-05-19 14:46:03] 901*2^1454393-1 is not prime. Res64: 4BDF1F4C224F6BC9 Time : 0.0 sec. user=mdettweiler [2017-05-19 14:46:03] 951*2^1454393-1 is not prime. Res64: 3EE73B0F245A8577 Time : 0.0 sec. user=mdettweiler [2017-05-19 14:46:04] 677*2^1454394-1 is not prime. Res64: DC51AE3CE26C33AA Time : 0.0 sec. user=mdettweiler [2017-05-19 15:03:11] 803*2^1454394-1 is not prime. Res64: C58CA994767D1769 Time : 0.0 sec. user=mdettweiler [2017-05-19 15:03:13] 875*2^1454394-1 is not prime. Res64: FE10B72DEEFA492D Time : 0.0 sec. user=mdettweiler [2017-05-19 15:03:13] 923*2^1454394-1 is not prime. Res64: 165720344F497C72 Time : 0.0 sec. user=mdettweiler [2017-05-19 15:03:14] 971*2^1454394-1 is not prime. Res64: CFEB64865DF71DDB Time : 0.0 sec. user=mdettweiler [2017-05-19 15:03:15] 619*2^1454395-1 is not prime. Res64: B69C8938B5686101 Time : 0.0 sec. user=mdettweiler [2017-05-19 15:18:31] 891*2^1454395-1 is not prime. Res64: D6EA1A95EDB5EE02 Time : 0.0 sec. user=mdettweiler [2017-05-19 15:18:32] 635*2^1454396-1 is not prime. Res64: B5C06EB4E5A35ACF Time : 0.0 sec. user=mdettweiler [2017-05-19 15:18:32] 669*2^1454396-1 is not prime. Res64: 9909BD6AA492F01C Time : 0.0 sec. user=mdettweiler [2017-05-19 15:18:32] 707*2^1454396-1 is not prime. Res64: 8E3855E5F6DC7B6A Time : 0.0 sec. user=mdettweiler [2017-05-19 15:18:32] 725*2^1454396-1 is not prime. Res64: 67C29F94411C62F9 Time : 0.0 sec. user=juhehe [2017-05-19 15:24:35] 963*2^1454396-1 is not prime. Res64: 952F007417B6D0C2 Time : 0.0 sec. user=mdettweiler [2017-05-19 15:28:35] 767*2^1454396-1 is not prime. Res64: F3A5CA463ED3419F Time : 0.0 sec. user=mdettweiler [2017-05-19 15:28:35] 803*2^1454396-1 is not prime. Res64: 54CC5CF5E90D2166 Time : 0.0 sec. user=mdettweiler [2017-05-19 15:28:35] 813*2^1454396-1 is not prime. Res64: 0EB7D0FDB554295F Time : 0.0 sec. user=mdettweiler [2017-05-19 15:28:36] 903*2^1454396-1 is not prime. Res64: 729AA3CBE0F53DFC Time : 0.0 sec. user=mdettweiler [2017-05-19 15:28:36] 953*2^1454396-1 is not prime. Res64: AAB86CA70C4EC186 Time : 0.0 sec. user=mdettweiler [2017-05-19 15:31:40] 999*2^1454396-1 is not prime. Res64: 058D9A97FEB72CDF Time : 0.0 sec. user=mdettweiler [2017-05-19 15:31:40] 717*2^1454397-1 is not prime. Res64: 27D8F01184703B79 Time : 0.0 sec. user=mdettweiler [2017-05-19 15:31:41] 727*2^1454397-1 is not prime. Res64: B7B15A2F0C9241E8 Time : 0.0 sec. user=mdettweiler [2017-05-19 15:31:41] 747*2^1454397-1 is not prime. Res64: 9CDD2E457A677106 Time : 0.0 sec. user=mdettweiler [2017-05-19 15:31:41] 765*2^1454397-1 is not prime. Res64: 58A6AA2739B2E8E3 Time : 0.0 sec. user=mdettweiler [2017-05-19 15:49:16] 831*2^1454397-1 is not prime. Res64: F1107485DFD4E696 Time : 0.0 sec. user=mdettweiler [2017-05-19 15:49:16] 915*2^1454397-1 is not prime. Res64: 3FDC671500CA7CE3 Time : 0.0 sec. user=mdettweiler [2017-05-19 15:49:16] 997*2^1454397-1 is not prime. Res64: 6D0E5F764EFFA428 Time : 0.0 sec. user=mdettweiler [2017-05-19 15:49:17] 621*2^1454398-1 is not prime. Res64: BFAAC8EF3856017C Time : 0.0 sec. user=mdettweiler [2017-05-19 15:49:17] 647*2^1454398-1 is not prime. Res64: 48AC2B6496E05AF2 Time : 0.0 sec. user=juhehe [2017-05-19 16:03:53] 1001*2^1454398-1 is not prime. Res64: B46E21AB4744F220 Time : 0.0 sec. user=mdettweiler [2017-05-19 16:04:18] 705*2^1454398-1 is not prime. Res64: B13DCE66B14C5802 Time : 0.0 sec. user=mdettweiler [2017-05-19 16:04:20] 777*2^1454398-1 is not prime. Res64: 91B1762B8A651241 Time : 0.0 sec. user=mdettweiler [2017-05-19 16:04:22] 815*2^1454398-1 is not prime. Res64: 3F825AFF21AA2A7B Time : 0.0 sec. user=mdettweiler [2017-05-19 16:04:23] 831*2^1454398-1 is not prime. Res64: 6F39055B53216779 Time : 0.0 sec. user=mdettweiler [2017-05-19 16:04:24] 911*2^1454398-1 is not prime. Res64: 21996673921FBD30 Time : 0.0 sec. user=mdettweiler [2017-05-19 16:14:08] 661*2^1454399-1 is not prime. Res64: E69FEC041E49C263 Time : 0.0 sec. user=mdettweiler [2017-05-19 16:14:08] 703*2^1454399-1 is not prime. Res64: DC0F7A4ACA7E9F4A Time : 0.0 sec. user=mdettweiler [2017-05-19 16:14:08] 753*2^1454399-1 is not prime. Res64: EF25E6A63CEB0996 Time : 0.0 sec. user=mdettweiler [2017-05-19 16:14:09] 789*2^1454399-1 is not prime. Res64: 0EF63956EE7FF7DE Time : 0.0 sec. user=mdettweiler [2017-05-19 16:14:09] 841*2^1454399-1 is not prime. Res64: E34BB8B5CE663B9B Time : 0.0 sec. user=mdettweiler [2017-05-19 16:17:15] 843*2^1454399-1 is not prime. Res64: 7D4B2CC3468814A4 Time : 0.0 sec. user=mdettweiler [2017-05-19 16:17:16] 861*2^1454399-1 is not prime. Res64: F6753E59277E0AC3 Time : 0.0 sec. user=mdettweiler [2017-05-19 16:17:17] 883*2^1454399-1 is not prime. Res64: F86A05A17DF14FDF Time : 0.0 sec. user=mdettweiler [2017-05-19 16:17:18] 889*2^1454399-1 is not prime. Res64: 1AE8817D13168EAD Time : 0.0 sec. user=mdettweiler [2017-05-19 16:17:19] 973*2^1454399-1 is not prime. Res64: C87407E1E213DE00 Time : 0.0 sec. user=mdettweiler [2017-05-19 16:34:56] 985*2^1454399-1 is not prime. Res64: 3D2F9935AFDE2372 Time : 0.0 sec. user=mdettweiler [2017-05-19 16:34:57] 635*2^1454400-1 is not prime. Res64: 93B20F6B0B5384FE Time : 0.0 sec. user=mdettweiler [2017-05-19 16:34:57] 665*2^1454400-1 is not prime. Res64: 4E875BBC3BD376E4 Time : 0.0 sec. user=mdettweiler [2017-05-19 16:34:57] 689*2^1454400-1 is not prime. Res64: 071E05E96C10F6F0 Time : 0.0 sec. user=mdettweiler [2017-05-19 16:34:58] 699*2^1454400-1 is not prime. Res64: B0095A72B7018959 Time : 0.0 sec. user=mdettweiler [2017-05-19 16:50:33] 795*2^1454400-1 is not prime. Res64: 8C40B8072FD67090 Time : 0.0 sec. user=mdettweiler [2017-05-19 16:50:33] 797*2^1454400-1 is not prime. Res64: BEE8115E84BBC10C Time : 0.0 sec. user=mdettweiler [2017-05-19 16:50:33] 923*2^1454400-1 is not prime. Res64: FFFEDEB48A2F5D4A Time : 0.0 sec. user=mdettweiler [2017-05-19 16:50:33] 975*2^1454400-1 is not prime. Res64: 94A7B1912E74A716 Time : 0.0 sec. user=mdettweiler [2017-05-19 16:50:34] 619*2^1454401-1 is not prime. Res64: 283C04BEA55B8FB3 Time : 0.0 sec. user=mdettweiler [2017-05-19 16:59:53] 679*2^1454401-1 is not prime. Res64: 1164D7A3F5CD6FB7 Time : 0.0 sec. user=mdettweiler [2017-05-19 16:59:53] 829*2^1454401-1 is not prime. Res64: E5B49D30A4562B48 Time : 0.0 sec. user=mdettweiler [2017-05-19 16:59:53] 937*2^1454401-1 is not prime. Res64: C38E53759F8BACEF Time : 0.0 sec. user=mdettweiler [2017-05-19 16:59:54] 957*2^1454401-1 is not prime. Res64: 22F01FE265DDD089 Time : 0.0 sec. user=mdettweiler [2017-05-19 16:59:54] 645*2^1454402-1 is not prime. Res64: DE9C825BAE25522F Time : 0.0 sec. user=mdettweiler [2017-05-19 17:03:07] 711*2^1454402-1 is not prime. Res64: 550AA15B9135320A Time : 0.0 sec. user=mdettweiler [2017-05-19 17:03:09] 747*2^1454402-1 is not prime. Res64: 70864C299DE4F74E Time : 0.0 sec. user=mdettweiler [2017-05-19 17:03:10] 753*2^1454402-1 is not prime. Res64: 3C12120F951E32AF Time : 0.0 sec. user=mdettweiler [2017-05-19 17:03:11] 825*2^1454402-1 is not prime. Res64: 16473ABC5ADD32CA Time : 0.0 sec. user=mdettweiler [2017-05-19 17:03:12] 857*2^1454402-1 is not prime. Res64: CA76CDFEFD58DFD0 Time : 0.0 sec. user=mdettweiler [2017-05-19 17:20:51] 915*2^1454402-1 is not prime. Res64: 6572DF8DDA4863A8 Time : 0.0 sec. user=mdettweiler [2017-05-19 17:20:51] 703*2^1454403-1 is not prime. Res64: 10B8B1196ED1E84E Time : 0.0 sec. user=mdettweiler [2017-05-19 17:20:51] 805*2^1454403-1 is not prime. Res64: 75BCB4DA274C8892 Time : 0.0 sec. user=mdettweiler [2017-05-19 17:20:52] 879*2^1454403-1 is not prime. Res64: 7EB3FACB612F70F1 Time : 0.0 sec. user=mdettweiler [2017-05-19 17:20:52] 657*2^1454404-1 is not prime. Res64: 90122A113B640192 Time : 0.0 sec. user=juhehe [2017-05-19 17:23:22] 695*2^1454404-1 is not prime. Res64: E54F254B90E03BBA Time : 0.0 sec. user=mdettweiler [2017-05-19 17:36:15] 759*2^1454404-1 is not prime. Res64: BD7F9D29843ADFFF Time : 0.0 sec. user=mdettweiler [2017-05-19 17:36:15] 773*2^1454404-1 is not prime. Res64: AF85931C06CE1214 Time : 0.0 sec. user=mdettweiler [2017-05-19 17:36:16] 803*2^1454404-1 is not prime. Res64: 5A330EF8D0A93E8F Time : 0.0 sec. user=mdettweiler [2017-05-19 17:36:16] 875*2^1454404-1 is not prime. Res64: 1F4C96913DF4C36F Time : 0.0 sec. user=mdettweiler [2017-05-19 17:36:17] 897*2^1454404-1 is not prime. Res64: 10A8F52BD61C69AD Time : 0.0 sec. user=mdettweiler [2017-05-19 17:45:37] 679*2^1454405-1 is not prime. Res64: E751E9134AEB3522 Time : 0.0 sec. user=mdettweiler [2017-05-19 17:45:37] 697*2^1454405-1 is not prime. Res64: 83AFDC19AE8F2276 Time : 0.0 sec. user=mdettweiler [2017-05-19 17:45:37] 825*2^1454405-1 is not prime. Res64: CB071942966A8B05 Time : 0.0 sec. user=mdettweiler [2017-05-19 17:45:37] 837*2^1454405-1 is not prime. Res64: 73A7B68DFED5A268 Time : 0.0 sec. user=mdettweiler [2017-05-19 17:45:38] 889*2^1454405-1 is not prime. Res64: C33FE51115E07B90 Time : 0.0 sec. user=mdettweiler [2017-05-19 17:48:45] 985*2^1454405-1 is not prime. Res64: BF26227DE291C6F6 Time : 0.0 sec. user=mdettweiler [2017-05-19 17:48:45] 619*2^1454407-1 is not prime. Res64: FA89B923D9C12E16 Time : 0.0 sec. user=mdettweiler [2017-05-19 17:48:46] 663*2^1454407-1 is not prime. Res64: EFF8AE655CBD508A Time : 0.0 sec. user=mdettweiler [2017-05-19 17:48:46] 685*2^1454407-1 is not prime. Res64: 31753DBEF7CA2282 Time : 0.0 sec. user=mdettweiler [2017-05-19 17:48:46] 705*2^1454407-1 is not prime. Res64: 8B7B6389BCD0E79F Time : 0.0 sec. user=mdettweiler [2017-05-19 18:06:20] 741*2^1454407-1 is not prime. Res64: 0A9A0514C016753E Time : 0.0 sec. user=mdettweiler [2017-05-19 18:06:21] 919*2^1454407-1 is not prime. Res64: 83C4AE2B0AB17C3B Time : 0.0 sec. user=mdettweiler [2017-05-19 18:06:22] 603*2^1454408-1 is not prime. Res64: D06A55DDAC0F7500 Time : 0.0 sec. user=mdettweiler [2017-05-19 18:06:23] 839*2^1454408-1 is not prime. Res64: 4927D32CB59D3A95 Time : 0.0 sec. user=mdettweiler [2017-05-19 18:06:25] 855*2^1454408-1 is not prime. Res64: 3835833D72F77118 Time : 0.0 sec. user=mdettweiler [2017-05-19 18:21:54] 675*2^1454409-1 is not prime. Res64: A2B5D44F59DE4416 Time : 0.0 sec. user=mdettweiler [2017-05-19 18:21:55] 705*2^1454409-1 is not prime. Res64: 7DCE742965F0C46D Time : 0.0 sec. user=mdettweiler [2017-05-19 18:21:55] 747*2^1454409-1 is not prime. Res64: 9EFFD0A2D34A571D Time : 0.0 sec. user=mdettweiler [2017-05-19 18:21:55] 765*2^1454409-1 is not prime. Res64: 852C375BEAA377C0 Time : 0.0 sec. user=mdettweiler [2017-05-19 18:21:56] 817*2^1454409-1 is not prime. Res64: 12EA1402D0A7BA96 Time : 0.0 sec. user=mdettweiler [2017-05-19 18:31:18] 885*2^1454409-1 is not prime. Res64: 01F4BA9802839734 Time : 0.0 sec. user=mdettweiler [2017-05-19 18:31:18] 919*2^1454409-1 is not prime. Res64: 95FAC2780EDD6581 Time : 0.0 sec. user=mdettweiler [2017-05-19 18:31:18] 603*2^1454410-1 is not prime. Res64: CA7E3E5C0DFB05C3 Time : 0.0 sec. user=mdettweiler [2017-05-19 18:31:19] 653*2^1454410-1 is not prime. Res64: 857A40358EBD408A Time : 0.0 sec. user=mdettweiler [2017-05-19 18:31:19] 657*2^1454410-1 is not prime. Res64: 809827F94E4443E0 Time : 0.0 sec. user=mdettweiler [2017-05-19 18:34:18] 755*2^1454410-1 is not prime. Res64: BF3BA64D65DAA24B Time : 0.0 sec. user=mdettweiler [2017-05-19 18:34:19] 765*2^1454410-1 is not prime. Res64: ADBF71BB21F9E432 Time : 0.0 sec. user=mdettweiler [2017-05-19 18:34:19] 867*2^1454410-1 is not prime. Res64: 45CE7EB1DFD1F5FF Time : 0.0 sec. user=mdettweiler [2017-05-19 18:34:19] 923*2^1454410-1 is not prime. Res64: 2EB88F64A61419E4 Time : 0.0 sec. user=mdettweiler [2017-05-19 18:34:19] 951*2^1454410-1 is not prime. Res64: 95E0C1A5140A576F Time : 0.0 sec. user=juhehe [2017-05-19 18:42:50] 733*2^1454411-1 is not prime. Res64: A016C046B93D5D0B Time : 0.0 sec. user=mdettweiler [2017-05-19 18:52:22] 759*2^1454411-1 is not prime. Res64: 5993B4CA666D2AFF Time : 0.0 sec. user=mdettweiler [2017-05-19 18:52:22] 801*2^1454411-1 is not prime. Res64: 92D65A1A0835764D Time : 0.0 sec. user=mdettweiler [2017-05-19 18:52:22] 805*2^1454411-1 is not prime. Res64: A719F9661C3957FC Time : 0.0 sec. user=mdettweiler [2017-05-19 18:52:22] 855*2^1454411-1 is not prime. Res64: EC91E43AE7ED24BC Time : 0.0 sec. user=mdettweiler [2017-05-19 18:52:23] 969*2^1454411-1 is not prime. Res64: 73B1F0E8F946EC36 Time : 0.0 sec. user=mdettweiler [2017-05-19 19:07:28] 665*2^1454412-1 is not prime. Res64: E2ABA3D194E85170 Time : 0.0 sec. user=mdettweiler [2017-05-19 19:07:29] 669*2^1454412-1 is not prime. Res64: 22D97BDA7C2A8A87 Time : 0.0 sec. user=mdettweiler [2017-05-19 19:07:30] 675*2^1454412-1 is not prime. Res64: CDDE4BB135036AF3 Time : 0.0 sec. user=mdettweiler [2017-05-19 19:07:31] 683*2^1454412-1 is not prime. Res64: 8A68B246F24C9B0A Time : 0.0 sec. user=mdettweiler [2017-05-19 19:07:32] 779*2^1454412-1 is not prime. Res64: 087E3F9ADDC27DBD Time : 0.0 sec. user=mdettweiler [2017-05-19 19:16:54] 609*2^1454413-1 is not prime. Res64: F27950AFDBF8819F Time : 0.0 sec. user=mdettweiler [2017-05-19 19:16:55] 757*2^1454413-1 is not prime. Res64: 377E43749D9C7DE7 Time : 0.0 sec. user=mdettweiler [2017-05-19 19:16:55] 769*2^1454413-1 is not prime. Res64: C178390B129C8041 Time : 0.0 sec. user=mdettweiler [2017-05-19 19:16:55] 831*2^1454413-1 is not prime. Res64: 374A4574607829E9 Time : 0.0 sec. user=mdettweiler [2017-05-19 19:16:55] 877*2^1454413-1 is not prime. Res64: A262DC1687BDE0C6 Time : 0.0 sec. user=mdettweiler [2017-05-19 19:19:41] 939*2^1454413-1 is not prime. Res64: 6390678CDE0F7BD9 Time : 0.0 sec. user=mdettweiler [2017-05-19 19:19:41] 945*2^1454413-1 is not prime. Res64: 4118968406478733 Time : 0.0 sec. user=mdettweiler [2017-05-19 19:19:41] 615*2^1454414-1 is not prime. Res64: 3CDE95BD17D7E197 Time : 0.0 sec. user=mdettweiler [2017-05-19 19:19:41] 617*2^1454414-1 is not prime. Res64: B752FC02A3B95D24 Time : 0.0 sec. user=mdettweiler [2017-05-19 19:19:42] 705*2^1454414-1 is not prime. Res64: 7C0F1CBA720A95AC Time : 0.0 sec. user=mdettweiler [2017-05-19 19:37:53] 711*2^1454414-1 is not prime. Res64: 1977A43B4466CAB4 Time : 0.0 sec. user=mdettweiler [2017-05-19 19:37:53] 753*2^1454414-1 is not prime. Res64: 915F10955A4DFB76 Time : 0.0 sec. user=mdettweiler [2017-05-19 19:37:53] 755*2^1454414-1 is not prime. Res64: F98438B1D756C5C8 Time : 0.0 sec. user=mdettweiler [2017-05-19 19:37:54] 851*2^1454414-1 is not prime. Res64: B83C3169682264CE Time : 0.0 sec. user=mdettweiler [2017-05-19 19:37:54] 735*2^1454415-1 is not prime. Res64: CB830A546C28DF1B Time : 0.0 sec. user=mdettweiler [2017-05-19 19:53:17] 831*2^1454415-1 is not prime. Res64: 586BF2C921A605DC Time : 0.0 sec. user=mdettweiler [2017-05-19 19:53:17] 603*2^1454416-1 is not prime. Res64: 6D566E634B634CB6 Time : 0.0 sec. user=mdettweiler [2017-05-19 19:53:18] 693*2^1454416-1 is not prime. Res64: 7106D6E692B8FE58 Time : 0.0 sec. user=mdettweiler [2017-05-19 19:53:18] 695*2^1454416-1 is not prime. Res64: 129397C5740065D7 Time : 0.0 sec. user=mdettweiler [2017-05-19 19:53:18] 723*2^1454416-1 is not prime. Res64: 394558E79A9C74FA Time : 0.0 sec. user=mdettweiler [2017-05-19 20:02:46] 825*2^1454416-1 is not prime. Res64: 08601D181F18D3F0 Time : 0.0 sec. user=mdettweiler [2017-05-19 20:02:49] 903*2^1454416-1 is not prime. Res64: 0EE8449A3098BFE0 Time : 0.0 sec. user=mdettweiler [2017-05-19 20:02:51] 909*2^1454416-1 is not prime. Res64: 5B9103E49E0CD486 Time : 0.0 sec. user=mdettweiler [2017-05-19 20:02:53] 933*2^1454416-1 is not prime. Res64: 510A91D7112519CB Time : 0.0 sec. user=mdettweiler [2017-05-19 20:02:54] 965*2^1454416-1 is not prime. Res64: A1B3FE8397BD3565 Time : 0.0 sec. user=mdettweiler [2017-05-19 20:05:20] 645*2^1454417-1 is not prime. Res64: 7B928837897288A0 Time : 0.0 sec. user=mdettweiler [2017-05-19 20:05:23] 697*2^1454417-1 is not prime. Res64: 847C8DEBF23D53FA Time : 0.0 sec. user=mdettweiler [2017-05-19 20:05:25] 699*2^1454417-1 is not prime. Res64: 4198BD29EB80E2B3 Time : 0.0 sec. user=mdettweiler [2017-05-19 20:05:27] 711*2^1454417-1 is not prime. Res64: F74B4BD615D4D112 Time : 0.0 sec. user=mdettweiler [2017-05-19 20:05:30] 717*2^1454417-1 is not prime. Res64: A57D4037725FCBD3 Time : 0.0 sec. user=mdettweiler [2017-05-19 20:23:25] 799*2^1454417-1 is not prime. Res64: D788E112422F197F Time : 0.0 sec. user=mdettweiler [2017-05-19 20:23:26] 879*2^1454417-1 is not prime. Res64: 15FCEDE902110DC1 Time : 0.0 sec. user=mdettweiler [2017-05-19 20:23:26] 925*2^1454417-1 is not prime. Res64: F6EAE5808FB8E73F Time : 0.0 sec. user=mdettweiler [2017-05-19 20:23:26] 657*2^1454418-1 is not prime. Res64: 895288452449E563 Time : 0.0 sec. user=mdettweiler [2017-05-19 20:23:27] 881*2^1454418-1 is not prime. Res64: E02643B0E05C5D66 Time : 0.0 sec. user=mdettweiler [2017-05-19 20:39:10] 893*2^1454418-1 is not prime. Res64: 02738712E8A26336 Time : 0.0 sec. user=mdettweiler [2017-05-19 20:39:10] 975*2^1454418-1 is not prime. Res64: D6A10F80167C1740 Time : 0.0 sec. user=mdettweiler [2017-05-19 20:39:10] 609*2^1454419-1 is not prime. Res64: D1039D8A90A23C94 Time : 0.0 sec. user=mdettweiler [2017-05-19 20:39:10] 741*2^1454419-1 is not prime. Res64: 144B865E2E0832FD Time : 0.0 sec. user=mdettweiler [2017-05-19 20:39:11] 775*2^1454419-1 is not prime. Res64: C723EF1CBF8DC99E Time : 0.0 sec. user=juhehe [2017-05-19 20:42:03] 665*2^1454420-1 is not prime. Res64: 33F98724701C83BD Time : 0.0 sec. user=mdettweiler [2017-05-19 20:48:52] 829*2^1454419-1 is not prime. Res64: 3CA2CC27D105BABD Time : 0.0 sec. user=mdettweiler [2017-05-19 20:48:53] 931*2^1454419-1 is not prime. Res64: 2DA783DEF5A79B1B Time : 0.0 sec. user=mdettweiler [2017-05-19 20:48:53] 985*2^1454419-1 is not prime. Res64: FEE51AE09FD54E4D Time : 0.0 sec. user=mdettweiler [2017-05-19 20:48:53] 603*2^1454420-1 is not prime. Res64: C6DC517C0E41E748 Time : 0.0 sec. user=mdettweiler [2017-05-19 20:48:53] 609*2^1454420-1 is not prime. Res64: C9EE9C53FB4D42CD Time : 0.0 sec. user=mdettweiler [2017-05-19 20:51:51] 855*2^1454420-1 is not prime. Res64: E07C5D79AC56899B Time : 0.0 sec. user=mdettweiler [2017-05-19 20:51:51] 963*2^1454420-1 is not prime. Res64: 898FBF1964EC2780 Time : 0.0 sec. user=mdettweiler [2017-05-19 20:51:52] 977*2^1454420-1 is not prime. Res64: 01C2FC8FEAD18720 Time : 0.0 sec. user=mdettweiler [2017-05-19 20:51:52] 987*2^1454420-1 is not prime. Res64: 2E63031AEEE07B43 Time : 0.0 sec. user=mdettweiler [2017-05-19 20:51:52] 649*2^1454421-1 is not prime. Res64: 5677F0E2D0F9091B Time : 0.0 sec. user=mdettweiler [2017-05-19 21:09:51] 669*2^1454421-1 is not prime. Res64: 2821A76736F13A26 Time : 0.0 sec. user=mdettweiler [2017-05-19 21:09:52] 745*2^1454421-1 is not prime. Res64: 87A48FF9A1D435A4 Time : 0.0 sec. user=mdettweiler [2017-05-19 21:09:52] 861*2^1454421-1 is not prime. Res64: 1C005FBEAD1B3A89 Time : 0.0 sec. user=mdettweiler [2017-05-19 21:09:53] 877*2^1454421-1 is not prime. Res64: B2E038104A29F9FC Time : 0.0 sec. user=mdettweiler [2017-05-19 21:09:53] 901*2^1454421-1 is not prime. Res64: 868A19B5F3E3E0F7 Time : 0.0 sec. user=mdettweiler [2017-05-19 21:25:32] 907*2^1454421-1 is not prime. Res64: BBC99332C1761006 Time : 0.0 sec. user=mdettweiler [2017-05-19 21:25:32] 979*2^1454421-1 is not prime. Res64: 9B8CE2A212A07164 Time : 0.0 sec. user=mdettweiler [2017-05-19 21:25:33] 999*2^1454421-1 is not prime. Res64: 1525A0FE0FC71840 Time : 0.0 sec. user=mdettweiler [2017-05-19 21:25:33] 611*2^1454422-1 is not prime. Res64: 690D6DF5A862D895 Time : 0.0 sec. user=mdettweiler [2017-05-19 21:25:33] 617*2^1454422-1 is not prime. Res64: B95443F7868ADDC0 Time : 0.0 sec. user=mdettweiler [2017-05-19 21:35:08] 623*2^1454422-1 is not prime. Res64: 574CFC14965B32CD Time : 0.0 sec. user=mdettweiler [2017-05-19 21:35:10] 635*2^1454422-1 is not prime. Res64: 91E226C6B4045839 Time : 0.0 sec. user=mdettweiler [2017-05-19 21:35:10] 645*2^1454422-1 is not prime. Res64: B7B091100D128D1B Time : 0.0 sec. user=mdettweiler [2017-05-19 21:35:11] 665*2^1454422-1 is not prime. Res64: 0EFF8D323874EEE0 Time : 0.0 sec. user=mdettweiler [2017-05-19 21:35:13] 741*2^1454422-1 is not prime. Res64: 7A18D2D4A4F3BCE3 Time : 0.0 sec. user=mdettweiler [2017-05-19 21:37:56] 843*2^1454422-1 is not prime. Res64: FF02C139EB5CE256 Time : 0.0 sec. user=mdettweiler [2017-05-19 21:37:56] 867*2^1454422-1 is not prime. Res64: FECB960445D2CAE1 Time : 0.0 sec. user=mdettweiler [2017-05-19 21:37:56] 947*2^1454422-1 is not prime. Res64: 2549D1D46E1A3174 Time : 0.0 sec. user=mdettweiler [2017-05-19 21:37:57] 1001*2^1454422-1 is not prime. Res64: 7281D47EED7EFBA6 Time : 0.0 sec. user=mdettweiler [2017-05-19 21:37:57] 609*2^1454423-1 is not prime. Res64: 543B8F6820C5F547 Time : 0.0 sec. user=mdettweiler [2017-05-19 21:55:27] 615*2^1454423-1 is not prime. Res64: CEB3B2AD2F404072 Time : 0.0 sec. user=mdettweiler [2017-05-19 21:55:27] 661*2^1454423-1 is not prime. Res64: 0249CCFAC9CE1142 Time : 0.0 sec. user=mdettweiler [2017-05-19 21:55:27] 675*2^1454423-1 is not prime. Res64: 3FB30B785687B8BC Time : 0.0 sec. user=mdettweiler [2017-05-19 21:55:27] 781*2^1454423-1 is not prime. Res64: 41F44469495B68EC Time : 0.0 sec. user=mdettweiler [2017-05-19 21:55:28] 861*2^1454423-1 is not prime. Res64: BC2B5DD25196014A Time : 0.0 sec. user=mdettweiler [2017-05-19 22:11:19] 615*2^1454424-1 is not prime. Res64: 93B8C06E6D4DDBAA Time : 0.0 sec. user=mdettweiler [2017-05-19 22:11:20] 639*2^1454424-1 is not prime. Res64: A17459252A16EDE4 Time : 0.0 sec. user=mdettweiler [2017-05-19 22:11:20] 675*2^1454424-1 is not prime. Res64: 10C9904E10ACAEAB Time : 0.0 sec. user=mdettweiler [2017-05-19 22:11:20] 693*2^1454424-1 is not prime. Res64: F49D177C6E258D3E Time : 0.0 sec. user=mdettweiler [2017-05-19 22:11:21] 747*2^1454424-1 is not prime. Res64: 0E3B594E2C9C876C Time : 0.0 sec. user=odicin [2017-05-19 22:16:41] 765*2^1454427-1 is not prime. Res64: E595888F9AEDA478 Time : 0.0 sec. user=odicin [2017-05-19 22:16:45] 819*2^1454427-1 is not prime. Res64: 2D4ABBF111F024CE Time : 0.0 sec. user=mdettweiler [2017-05-19 22:20:55] 773*2^1454424-1 is not prime. Res64: 2EAA1533C248215A Time : 0.0 sec. user=mdettweiler [2017-05-19 22:20:55] 721*2^1454425-1 is not prime. Res64: 15DB06FBDD913B67 Time : 0.0 sec. user=mdettweiler [2017-05-19 22:20:55] 741*2^1454425-1 is not prime. Res64: CB9DDFEAB86E37C3 Time : 0.0 sec. user=mdettweiler [2017-05-19 22:20:56] 877*2^1454425-1 is not prime. Res64: 3AEDC5B3DB936FEC Time : 0.0 sec. user=mdettweiler [2017-05-19 22:20:56] 979*2^1454425-1 is not prime. Res64: B865790D41A428CD Time : 0.0 sec. user=mdettweiler [2017-05-19 22:23:23] 633*2^1454426-1 is not prime. Res64: D66674592BE213A0 Time : 0.0 sec. user=mdettweiler [2017-05-19 22:23:23] 705*2^1454426-1 is not prime. Res64: 0725B8861BC0AADB Time : 0.0 sec. user=mdettweiler [2017-05-19 22:23:24] 743*2^1454426-1 is not prime. Res64: A20BC5E5628C744F Time : 0.0 sec. user=mdettweiler [2017-05-19 22:23:24] 827*2^1454426-1 is not prime. Res64: 4314272D5951DF6A Time : 0.0 sec. user=mdettweiler [2017-05-19 22:23:24] 903*2^1454426-1 is not prime. Res64: 0FC0854F86A23A36 Time : 0.0 sec. user=juhehe [2017-05-19 22:40:46] 751*2^1454427-1 is not prime. Res64: 1282CC50B7EACAB7 Time : 0.0 sec. user=mdettweiler [2017-05-19 22:41:06] 911*2^1454426-1 is not prime. Res64: 65019AE99BDA7582 Time : 0.0 sec. user=mdettweiler [2017-05-19 22:41:06] 981*2^1454426-1 is not prime. Res64: 4F8B449B0BCE05C4 Time : 0.0 sec. user=mdettweiler [2017-05-19 22:41:06] 649*2^1454427-1 is not prime. Res64: 3444583AD463793F Time : 0.0 sec. user=mdettweiler [2017-05-19 22:41:07] 703*2^1454427-1 is not prime. Res64: BF2619950A019345 Time : 0.0 sec. user=mdettweiler [2017-05-19 22:41:07] 741*2^1454427-1 is not prime. Res64: 8B4D3B4405130C9B Time : 0.0 sec. user=mdettweiler [2017-05-19 22:57:01] 859*2^1454427-1 is not prime. Res64: 0A433D3413FB82D6 Time : 0.0 sec. user=mdettweiler [2017-05-19 22:57:01] 945*2^1454427-1 is not prime. Res64: 3F15DB56B9F23127 Time : 0.0 sec. user=mdettweiler [2017-05-19 22:57:01] 963*2^1454427-1 is not prime. Res64: 970C0967CD7B1DBC Time : 0.0 sec. user=mdettweiler [2017-05-19 22:57:02] 743*2^1454428-1 is not prime. Res64: C0661B90F434BC06 Time : 0.0 sec. user=mdettweiler [2017-05-19 22:57:02] 783*2^1454428-1 is not prime. Res64: 2BC23C2BF02D8E5A Time : 0.0 sec. user=mdettweiler [2017-05-19 23:06:25] 855*2^1454428-1 is not prime. Res64: 9786300AC8FC4DF2 Time : 0.0 sec. user=mdettweiler [2017-05-19 23:06:27] 869*2^1454428-1 is not prime. Res64: D7E44889C9503A42 Time : 0.0 sec. user=mdettweiler [2017-05-19 23:06:28] 923*2^1454428-1 is not prime. Res64: 6E1A133FA67AFBE6 Time : 0.0 sec. user=mdettweiler [2017-05-19 23:06:29] 619*2^1454429-1 is not prime. Res64: E4D85AAAF42F9398 Time : 0.0 sec. user=mdettweiler [2017-05-19 23:06:30] 645*2^1454429-1 is not prime. Res64: FF7464F222372FF3 Time : 0.0 sec. user=mdettweiler [2017-05-19 23:08:48] 711*2^1454429-1 is not prime. Res64: 10BFB64FDD728BDC Time : 0.0 sec. user=mdettweiler [2017-05-19 23:08:49] 721*2^1454429-1 is not prime. Res64: B24BCB5912E8F768 Time : 0.0 sec. user=mdettweiler [2017-05-19 23:08:49] 787*2^1454429-1 is not prime. Res64: 7B8A0CDD78450F65 Time : 0.0 sec. user=mdettweiler [2017-05-19 23:08:49] 795*2^1454429-1 is not prime. Res64: 2AB565E9D60D1BDB Time : 0.0 sec. user=mdettweiler [2017-05-19 23:08:50] 801*2^1454429-1 is not prime. Res64: 9FBD70C3BD5E9D91 Time : 0.0 sec. user=mdettweiler [2017-05-19 23:26:48] 811*2^1454429-1 is not prime. Res64: 14520B69E0DADA77 Time : 0.0 sec. user=mdettweiler [2017-05-19 23:26:48] 861*2^1454429-1 is not prime. Res64: 23372E9B37605401 Time : 0.0 sec. user=mdettweiler [2017-05-19 23:26:48] 867*2^1454429-1 is not prime. Res64: 2EC888355E7BB87A Time : 0.0 sec. user=mdettweiler [2017-05-19 23:26:49] 635*2^1454430-1 is not prime. Res64: DB2CA7C7F71A1ADA Time : 0.0 sec. user=mdettweiler [2017-05-19 23:26:49] 797*2^1454430-1 is not prime. Res64: 7271B0C6D6F1A3C2 Time : 0.0 sec. user=mdettweiler [2017-05-19 23:42:37] 825*2^1454430-1 is not prime. Res64: F9A74AC2051C3A39 Time : 0.0 sec. user=mdettweiler [2017-05-19 23:42:37] 833*2^1454430-1 is not prime. Res64: 52CE5F6547FEC585 Time : 0.0 sec. user=mdettweiler [2017-05-19 23:42:37] 917*2^1454430-1 is not prime. Res64: 2202FE5B3B0D6FBC Time : 0.0 sec. user=mdettweiler [2017-05-19 23:42:37] 933*2^1454430-1 is not prime. Res64: 9559F8A38EBF9ADF Time : 0.0 sec. user=mdettweiler [2017-05-19 23:42:38] 651*2^1454431-1 is not prime. Res64: 6CD7210068687BF5 Time : 0.0 sec. user=mdettweiler [2017-05-19 23:52:19] 715*2^1454431-1 is not prime. Res64: 8B21786AF1F70A06 Time : 0.0 sec. user=mdettweiler [2017-05-19 23:52:19] 771*2^1454431-1 is not prime. Res64: 9A0BA666AF2E8415 Time : 0.0 sec. user=mdettweiler [2017-05-19 23:52:19] 979*2^1454431-1 is not prime. Res64: FFCD275BC5C8E7B4 Time : 0.0 sec. user=mdettweiler [2017-05-19 23:52:19] 699*2^1454432-1 is not prime. Res64: D7F7BC0687F5CCF5 Time : 0.0 sec. user=mdettweiler [2017-05-19 23:52:20] 717*2^1454432-1 is not prime. Res64: FFE5815F3866D349 Time : 0.0 sec. user=mdettweiler [2017-05-19 23:54:42] 827*2^1454432-1 is not prime. Res64: E0BE48CF4B436423 Time : 0.0 sec. user=mdettweiler [2017-05-19 23:54:42] 873*2^1454432-1 is not prime. Res64: 341FD619E8613FB2 Time : 0.0 sec. user=mdettweiler [2017-05-19 23:54:43] 897*2^1454432-1 is not prime. Res64: 8390FEA46C3D68E1 Time : 0.0 sec. user=mdettweiler [2017-05-19 23:54:43] 639*2^1454433-1 is not prime. Res64: 33905730C9C8972A Time : 0.0 sec. user=mdettweiler [2017-05-19 23:54:43] 721*2^1454433-1 is not prime. Res64: DB3E67D782AFEB9B Time : 0.0 sec.