user=mdettweiler [2016-03-25 00:09:34] 871*2^1424193-1 is not prime. Res64: C991DAFF2FD07D25 Time : 0.0 sec. user=mdettweiler [2016-03-25 00:09:41] 849*2^1424193-1 is not prime. Res64: 35BB562CC4755CEE Time : 0.0 sec. user=mdettweiler [2016-03-25 00:36:26] 755*2^1424190-1 is not prime. Res64: D2BB87E744BCFC5A Time : 0.0 sec. user=mdettweiler [2016-03-25 00:36:27] 783*2^1424190-1 is not prime. Res64: DA81ED6622BCB4FB Time : 0.0 sec. user=mdettweiler [2016-03-25 00:36:27] 875*2^1424190-1 is not prime. Res64: 8CE8C8F9EC1D4873 Time : 0.0 sec. user=mdettweiler [2016-03-25 00:36:28] 887*2^1424190-1 is not prime. Res64: 428D978B8C66D1DC Time : 0.0 sec. user=mdettweiler [2016-03-25 00:36:28] 603*2^1424191-1 is not prime. Res64: 1C75E6982E1CECEB Time : 0.0 sec. user=mdettweiler [2016-03-25 00:37:47] 645*2^1424191-1 is not prime. Res64: 1DAB7842FEC66BC5 Time : 0.0 sec. user=mdettweiler [2016-03-25 00:37:47] 651*2^1424191-1 is not prime. Res64: 019B842D71F71472 Time : 0.0 sec. user=mdettweiler [2016-03-25 00:37:47] 723*2^1424191-1 is not prime. Res64: 7C474152D04204CF Time : 0.0 sec. user=mdettweiler [2016-03-25 00:37:48] 931*2^1424191-1 is not prime. Res64: 501290D844CD2C22 Time : 0.0 sec. user=mdettweiler [2016-03-25 00:37:48] 999*2^1424191-1 is not prime. Res64: 5FC6EA3D5F788BCA Time : 0.0 sec. user=mdettweiler [2016-03-25 00:39:02] 717*2^1424192-1 is not prime. Res64: CB49004E95798C00 Time : 0.0 sec. user=mdettweiler [2016-03-25 00:39:03] 735*2^1424192-1 is not prime. Res64: 8A0D637BB67B8AE3 Time : 0.0 sec. user=mdettweiler [2016-03-25 00:39:03] 797*2^1424192-1 is not prime. Res64: E8DF792B4B9F5483 Time : 0.0 sec. user=mdettweiler [2016-03-25 00:39:03] 815*2^1424192-1 is not prime. Res64: 5D74E7B1F6B67A90 Time : 0.0 sec. user=mdettweiler [2016-03-25 00:39:04] 879*2^1424192-1 is not prime. Res64: 32B0CD320EC49E8C Time : 0.0 sec. user=mdettweiler [2016-03-25 00:42:02] 649*2^1424193-1 is not prime. Res64: 20AFEA9860B8536D Time : 0.0 sec. user=mdettweiler [2016-03-25 00:42:02] 721*2^1424193-1 is not prime. Res64: 1F2C4A1E339FD093 Time : 0.0 sec. user=mdettweiler [2016-03-25 00:42:03] 739*2^1424193-1 is not prime. Res64: 746CAE27DFF65DF8 Time : 0.0 sec. user=mdettweiler [2016-03-25 00:42:03] 765*2^1424193-1 is not prime. Res64: DA11D07793C0D5FB Time : 0.0 sec. user=mdettweiler [2016-03-25 00:42:04] 805*2^1424193-1 is not prime. Res64: EE97AC4E60515145 Time : 0.0 sec. user=mdettweiler [2016-03-25 01:21:55] 951*2^1424193-1 is not prime. Res64: D746022E28AD0A6C Time : 0.0 sec. user=mdettweiler [2016-03-25 01:21:55] 737*2^1424194-1 is not prime. Res64: CF15C8A8686D5590 Time : 0.0 sec. user=mdettweiler [2016-03-25 01:21:56] 891*2^1424194-1 is not prime. Res64: 1F6B3AA4D853EEFF Time : 0.0 sec. user=mdettweiler [2016-03-25 01:21:56] 917*2^1424194-1 is not prime. Res64: 0414DCEC15C27EBF Time : 0.0 sec. user=mdettweiler [2016-03-25 01:21:56] 941*2^1424194-1 is not prime. Res64: F2DA6D886A4EF693 Time : 0.0 sec. user=mdettweiler [2016-03-25 01:23:25] 669*2^1424195-1 is not prime. Res64: 83A5BAF9BDC55079 Time : 0.0 sec. user=mdettweiler [2016-03-25 01:23:25] 679*2^1424195-1 is not prime. Res64: 2964F19D515975E3 Time : 0.0 sec. user=mdettweiler [2016-03-25 01:23:25] 885*2^1424195-1 is not prime. Res64: 23CDE0BA41A6887A Time : 0.0 sec. user=mdettweiler [2016-03-25 01:23:26] 903*2^1424195-1 is not prime. Res64: DBEB3858A185FE40 Time : 0.0 sec. user=mdettweiler [2016-03-25 01:23:26] 913*2^1424195-1 is not prime. Res64: 61B23147FB99F70C Time : 0.0 sec. user=mdettweiler [2016-03-25 01:24:41] 867*2^1424196-1 is not prime. Res64: 69A53CEE392DE85E Time : 0.0 sec. user=mdettweiler [2016-03-25 01:24:41] 899*2^1424196-1 is not prime. Res64: 4D68E0DFD9445080 Time : 0.0 sec. user=mdettweiler [2016-03-25 01:24:42] 903*2^1424196-1 is not prime. Res64: CA16F30DBF6FF95A Time : 0.0 sec. user=mdettweiler [2016-03-25 01:24:42] 957*2^1424196-1 is not prime. Res64: 42B63C9F37EF6B57 Time : 0.0 sec. user=mdettweiler [2016-03-25 01:24:42] 805*2^1424197-1 is not prime. Res64: 17FF101F9BDE9305 Time : 0.0 sec. user=mdettweiler [2016-03-25 01:27:43] 825*2^1424197-1 is not prime. Res64: 449D81A91D0178D4 Time : 0.0 sec. user=mdettweiler [2016-03-25 01:27:44] 861*2^1424197-1 is not prime. Res64: DF961FCF5B40697A Time : 0.0 sec. user=mdettweiler [2016-03-25 01:27:45] 635*2^1424198-1 is not prime. Res64: 7EFE5A5E8F32D82C Time : 0.0 sec. user=mdettweiler [2016-03-25 01:27:46] 663*2^1424198-1 is not prime. Res64: 70A89DAAB2A3AFE5 Time : 0.0 sec. user=mdettweiler [2016-03-25 01:27:47] 677*2^1424198-1 is not prime. Res64: 0C43B6ECF46662F6 Time : 0.0 sec. user=mdettweiler [2016-03-25 02:07:10] 753*2^1424198-1 is not prime. Res64: 26F7BEAF1B7E2F9B Time : 0.0 sec. user=mdettweiler [2016-03-25 02:07:12] 843*2^1424198-1 is not prime. Res64: 71E8F4DE23F0B7AA Time : 0.0 sec. user=mdettweiler [2016-03-25 02:07:13] 633*2^1424199-1 is not prime. Res64: E0C422074DAF8D60 Time : 0.0 sec. user=mdettweiler [2016-03-25 02:07:14] 795*2^1424199-1 is not prime. Res64: C9A436D8934C92E4 Time : 0.0 sec. user=mdettweiler [2016-03-25 02:07:15] 823*2^1424199-1 is not prime. Res64: 13CE8B7DEF1EDA6D Time : 0.0 sec. user=mdettweiler [2016-03-25 02:08:54] 895*2^1424199-1 is not prime. Res64: BFC64D6299E6E187 Time : 0.0 sec. user=mdettweiler [2016-03-25 02:08:54] 921*2^1424199-1 is not prime. Res64: 166864D24F8D1804 Time : 0.0 sec. user=mdettweiler [2016-03-25 02:08:55] 973*2^1424199-1 is not prime. Res64: 73A48A781F4E3783 Time : 0.0 sec. user=mdettweiler [2016-03-25 02:08:55] 653*2^1424200-1 is not prime. Res64: E6573DED9C223D96 Time : 0.0 sec. user=mdettweiler [2016-03-25 02:08:56] 717*2^1424200-1 is not prime. Res64: 55728087DD0A17DD Time : 0.0 sec. user=mdettweiler [2016-03-25 02:10:07] 797*2^1424200-1 is not prime. Res64: B1621F62ECCA981A Time : 0.0 sec. user=mdettweiler [2016-03-25 02:10:08] 825*2^1424200-1 is not prime. Res64: 3B8A04F0C3046AAE Time : 0.0 sec. user=mdettweiler [2016-03-25 02:10:09] 833*2^1424200-1 is not prime. Res64: 388E42A0C69F9C00 Time : 0.0 sec. user=mdettweiler [2016-03-25 02:10:10] 927*2^1424200-1 is not prime. Res64: 8ECBF415E15D2DCD Time : 0.0 sec. user=mdettweiler [2016-03-25 02:10:11] 697*2^1424201-1 is not prime. Res64: 8F7AC2AE58F62BEB Time : 0.0 sec. user=mdettweiler [2016-03-25 02:13:29] 907*2^1424201-1 is not prime. Res64: 78D55F10D297D898 Time : 0.0 sec. user=mdettweiler [2016-03-25 02:13:29] 621*2^1424202-1 is not prime. Res64: 5B0168FA84C4D1C7 Time : 0.0 sec. user=mdettweiler [2016-03-25 02:13:29] 717*2^1424202-1 is not prime. Res64: E13FE675AF1B298D Time : 0.0 sec. user=mdettweiler [2016-03-25 02:13:30] 797*2^1424202-1 is not prime. Res64: 76DF25EF68C2F719 Time : 0.0 sec. user=mdettweiler [2016-03-25 02:13:30] 843*2^1424202-1 is not prime. Res64: 965EF558599A9082 Time : 0.0 sec. user=mdettweiler [2016-03-25 02:32:19] 895*2^1424207-1 is not prime. Res64: C9E47DC89817D2B7 Time : 0.0 sec. user=mdettweiler [2016-03-25 02:53:56] 891*2^1424202-1 is not prime. Res64: 2221058E30C22363 Time : 0.0 sec. user=mdettweiler [2016-03-25 02:53:56] 951*2^1424202-1 is not prime. Res64: 52C3EDB20EC59E76 Time : 0.0 sec. user=mdettweiler [2016-03-25 02:53:56] 703*2^1424203-1 is not prime. Res64: 5908E1A88422A093 Time : 0.0 sec. user=mdettweiler [2016-03-25 02:53:57] 723*2^1424203-1 is not prime. Res64: 6F68BA475A521D29 Time : 0.0 sec. user=mdettweiler [2016-03-25 02:53:57] 793*2^1424203-1 is not prime. Res64: 66A323CDE0637716 Time : 0.0 sec. user=mdettweiler [2016-03-25 02:55:44] 811*2^1424203-1 is not prime. Res64: 3CDB919C65A1C071 Time : 0.0 sec. user=mdettweiler [2016-03-25 02:55:44] 873*2^1424203-1 is not prime. Res64: 2620E3FED5D399B9 Time : 0.0 sec. user=mdettweiler [2016-03-25 02:55:45] 985*2^1424203-1 is not prime. Res64: 6CB5284C997C8384 Time : 0.0 sec. user=mdettweiler [2016-03-25 02:55:45] 675*2^1424204-1 is not prime. Res64: 01D8595DC0FA2C77 Time : 0.0 sec. user=mdettweiler [2016-03-25 02:55:45] 813*2^1424204-1 is not prime. Res64: 09F5F633289875C3 Time : 0.0 sec. user=mdettweiler [2016-03-25 02:57:02] 819*2^1424204-1 is not prime. Res64: B7C843067AB68CFD Time : 0.0 sec. user=mdettweiler [2016-03-25 02:57:02] 857*2^1424204-1 is not prime. Res64: 1C619DF0C41B9F8E Time : 0.0 sec. user=mdettweiler [2016-03-25 02:57:03] 875*2^1424204-1 is not prime. Res64: 87F84BE1EA567DF7 Time : 0.0 sec. user=mdettweiler [2016-03-25 02:57:04] 969*2^1424204-1 is not prime. Res64: C86AF44A7ABDAD01 Time : 0.0 sec. user=mdettweiler [2016-03-25 02:57:04] 657*2^1424206-1 is not prime. Res64: 5DA9F22506D47C7E Time : 0.0 sec. user=mdettweiler [2016-03-25 03:00:49] 777*2^1424206-1 is not prime. Res64: 47E75245CFF5E0CB Time : 0.0 sec. user=mdettweiler [2016-03-25 03:00:50] 783*2^1424206-1 is not prime. Res64: 0E90D7D555D638DA Time : 0.0 sec. user=mdettweiler [2016-03-25 03:00:51] 897*2^1424206-1 is not prime. Res64: B251C60F97EA6F1B Time : 0.0 sec. user=mdettweiler [2016-03-25 03:00:51] 633*2^1424207-1 is not prime. Res64: BE3C6E8E925A8CA7 Time : 0.0 sec. user=mdettweiler [2016-03-25 03:00:52] 741*2^1424207-1 is not prime. Res64: 8384F07D02035D26 Time : 0.0 sec. user=mdettweiler [2016-03-25 03:40:00] 901*2^1424207-1 is not prime. Res64: 350CD0165A27FDAB Time : 0.0 sec. user=mdettweiler [2016-03-25 03:40:01] 909*2^1424207-1 is not prime. Res64: 8C0E35E70677DB70 Time : 0.0 sec. user=mdettweiler [2016-03-25 03:40:02] 915*2^1424207-1 is not prime. Res64: 2FC2B56C0FBC2AD1 Time : 0.0 sec. user=mdettweiler [2016-03-25 03:40:03] 657*2^1424208-1 is not prime. Res64: 5AC6D4F4D6FD263C Time : 0.0 sec. user=mdettweiler [2016-03-25 03:40:04] 669*2^1424208-1 is not prime. Res64: B1C430C1EE34460B Time : 0.0 sec. user=mdettweiler [2016-03-25 03:41:29] 803*2^1424208-1 is not prime. Res64: 43F5BE4D50EF0AA6 Time : 0.0 sec. user=mdettweiler [2016-03-25 03:41:30] 909*2^1424208-1 is not prime. Res64: AE09BCD83FD71016 Time : 0.0 sec. user=mdettweiler [2016-03-25 03:41:30] 947*2^1424208-1 is not prime. Res64: 8C51CBAD3F7524F3 Time : 0.0 sec. user=mdettweiler [2016-03-25 03:41:31] 977*2^1424208-1 is not prime. Res64: D74A21B009812E64 Time : 0.0 sec. user=mdettweiler [2016-03-25 03:41:32] 615*2^1424209-1 is not prime. Res64: 1526940DC553F382 Time : 0.0 sec. user=mdettweiler [2016-03-25 03:42:31] 679*2^1424209-1 is not prime. Res64: 3930CB050F204930 Time : 0.0 sec. user=mdettweiler [2016-03-25 03:42:32] 705*2^1424209-1 is not prime. Res64: 38826453A07E3A1B Time : 0.0 sec. user=mdettweiler [2016-03-25 03:42:33] 765*2^1424209-1 is not prime. Res64: 4695FDDEA2740D6F Time : 0.0 sec. user=mdettweiler [2016-03-25 03:42:33] 771*2^1424209-1 is not prime. Res64: 4918A43DD0D25760 Time : 0.0 sec. user=mdettweiler [2016-03-25 03:42:34] 829*2^1424209-1 is not prime. Res64: 82B92D0822B9DEE0 Time : 0.0 sec. user=mdettweiler [2016-03-25 03:46:29] 861*2^1424209-1 is not prime. Res64: 3B21386CB637B064 Time : 0.0 sec. user=mdettweiler [2016-03-25 03:46:30] 885*2^1424209-1 is not prime. Res64: FAFDDFF317A8CF91 Time : 0.0 sec. user=mdettweiler [2016-03-25 03:46:31] 997*2^1424209-1 is not prime. Res64: BC0B00AC8A16E3FE Time : 0.0 sec. user=mdettweiler [2016-03-25 03:46:32] 999*2^1424209-1 is not prime. Res64: F6C1C427B352D210 Time : 0.0 sec. user=mdettweiler [2016-03-25 03:46:32] 641*2^1424210-1 is not prime. Res64: 0890AC362CD56DB6 Time : 0.0 sec. user=mdettweiler [2016-03-25 04:18:31] 831*2^1424213-1 is not prime. Res64: 81CBF33358869D3E Time : 0.0 sec. user=mdettweiler [2016-03-25 04:25:49] 843*2^1424210-1 is not prime. Res64: 616E7113391DF2DA Time : 0.0 sec. user=mdettweiler [2016-03-25 04:25:49] 851*2^1424210-1 is not prime. Res64: A06B4A28CE126745 Time : 0.0 sec. user=mdettweiler [2016-03-25 04:25:50] 875*2^1424210-1 is not prime. Res64: 29172374176763BE Time : 0.0 sec. user=mdettweiler [2016-03-25 04:25:50] 921*2^1424210-1 is not prime. Res64: 52CC78F7B43F34A6 Time : 0.0 sec. user=mdettweiler [2016-03-25 04:25:50] 619*2^1424211-1 is not prime. Res64: 8A361363E593497B Time : 0.0 sec. user=mdettweiler [2016-03-25 04:27:23] 679*2^1424211-1 is not prime. Res64: E84454B653479C1F Time : 0.0 sec. user=mdettweiler [2016-03-25 04:27:24] 709*2^1424211-1 is not prime. Res64: 7BA2F1C1E3BD9E30 Time : 0.0 sec. user=mdettweiler [2016-03-25 04:27:24] 835*2^1424211-1 is not prime. Res64: 99BDC03D7A785523 Time : 0.0 sec. user=mdettweiler [2016-03-25 04:27:25] 895*2^1424211-1 is not prime. Res64: CCA2C70F04EF336C Time : 0.0 sec. user=mdettweiler [2016-03-25 04:27:25] 913*2^1424211-1 is not prime. Res64: C20A51C3A8249C0B Time : 0.0 sec. user=mdettweiler [2016-03-25 04:28:11] 623*2^1424212-1 is not prime. Res64: C0415F627CE07BF3 Time : 0.0 sec. user=mdettweiler [2016-03-25 04:28:11] 629*2^1424212-1 is not prime. Res64: ED6B4072657503E1 Time : 0.0 sec. user=mdettweiler [2016-03-25 04:28:12] 657*2^1424212-1 is not prime. Res64: D5E255050CB36FED Time : 0.0 sec. user=mdettweiler [2016-03-25 04:28:12] 675*2^1424212-1 is not prime. Res64: 0FC63B7793D2CC9F Time : 0.0 sec. user=mdettweiler [2016-03-25 04:28:12] 693*2^1424212-1 is not prime. Res64: 9AA54FAA33820897 Time : 0.0 sec. user=mdettweiler [2016-03-25 04:32:07] 813*2^1424212-1 is not prime. Res64: E343A121021E2D52 Time : 0.0 sec. user=mdettweiler [2016-03-25 04:32:08] 885*2^1424212-1 is not prime. Res64: 904EFA54AFEAB7C7 Time : 0.0 sec. user=mdettweiler [2016-03-25 04:32:08] 959*2^1424212-1 is not prime. Res64: 7E2FD91E441C9035 Time : 0.0 sec. user=mdettweiler [2016-03-25 04:32:08] 607*2^1424213-1 is not prime. Res64: EFDD01A3C4413FFA Time : 0.0 sec. user=mdettweiler [2016-03-25 04:32:09] 801*2^1424213-1 is not prime. Res64: 5519FA5E7593942D Time : 0.0 sec. user=mdettweiler [2016-03-25 04:53:41] 663*2^1424216-1 is not prime. Res64: C97F301EB86EF4C0 Time : 0.0 sec. user=mdettweiler [2016-03-25 05:11:24] 861*2^1424213-1 is not prime. Res64: DF9B9D8FD420699D Time : 0.0 sec. user=mdettweiler [2016-03-25 05:11:25] 889*2^1424213-1 is not prime. Res64: 44DDE75C5B1F40F9 Time : 0.0 sec. user=mdettweiler [2016-03-25 05:11:25] 627*2^1424214-1 is not prime. Res64: CFFEF91BE73F9CFE Time : 0.0 sec. user=mdettweiler [2016-03-25 05:11:25] 695*2^1424214-1 is not prime. Res64: 95AB678F8A718656 Time : 0.0 sec. user=mdettweiler [2016-03-25 05:11:26] 705*2^1424214-1 is not prime. Res64: 7F5937A3CD6401E4 Time : 0.0 sec. user=mdettweiler [2016-03-25 05:12:48] 717*2^1424214-1 is not prime. Res64: C43FAFB9068A2109 Time : 0.0 sec. user=mdettweiler [2016-03-25 05:12:48] 791*2^1424214-1 is not prime. Res64: 4AC1AFB6B4872A68 Time : 0.0 sec. user=mdettweiler [2016-03-25 05:12:49] 807*2^1424214-1 is not prime. Res64: 0379BAF4505DDBE4 Time : 0.0 sec. user=mdettweiler [2016-03-25 05:12:49] 833*2^1424214-1 is not prime. Res64: 8E82D3FE07ED37A9 Time : 0.0 sec. user=mdettweiler [2016-03-25 05:12:49] 863*2^1424214-1 is not prime. Res64: FCF41DFF8217FEF4 Time : 0.0 sec. user=mdettweiler [2016-03-25 05:13:47] 893*2^1424214-1 is not prime. Res64: A2E5C29AF6F77928 Time : 0.0 sec. user=mdettweiler [2016-03-25 05:13:48] 625*2^1424215-1 is not prime. Res64: 4528257DD6560A2C Time : 0.0 sec. user=mdettweiler [2016-03-25 05:13:48] 673*2^1424215-1 is not prime. Res64: C91CBB8EDBC73EDC Time : 0.0 sec. user=mdettweiler [2016-03-25 05:13:49] 723*2^1424215-1 is not prime. Res64: 6E26099897635581 Time : 0.0 sec. user=mdettweiler [2016-03-25 05:13:49] 841*2^1424215-1 is not prime. Res64: E5252E8349172D46 Time : 0.0 sec. user=mdettweiler [2016-03-25 05:17:46] 891*2^1424215-1 is not prime. Res64: 4045B3C0561D4BB1 Time : 0.0 sec. user=mdettweiler [2016-03-25 05:17:46] 919*2^1424215-1 is not prime. Res64: 5CE22137EE75FDCF Time : 0.0 sec. user=mdettweiler [2016-03-25 05:17:47] 999*2^1424215-1 is not prime. Res64: 2A596A234806D345 Time : 0.0 sec. user=mdettweiler [2016-03-25 05:17:47] 609*2^1424216-1 is not prime. Res64: 9A7C88624F2E020B Time : 0.0 sec. user=mdettweiler [2016-03-25 05:17:47] 623*2^1424216-1 is not prime. Res64: 661F791498AF3938 Time : 0.0 sec. user=mdettweiler [2016-03-25 05:56:56] 735*2^1424216-1 is not prime. Res64: FF26180B098F4FCC Time : 0.0 sec. user=mdettweiler [2016-03-25 05:56:56] 815*2^1424216-1 is not prime. Res64: D550DE3BC12C1CC6 Time : 0.0 sec. user=mdettweiler [2016-03-25 05:56:57] 827*2^1424216-1 is not prime. Res64: B911EAA0B52B8B84 Time : 0.0 sec. user=mdettweiler [2016-03-25 05:56:57] 869*2^1424216-1 is not prime. Res64: D28368CC179F6A2E Time : 0.0 sec. user=mdettweiler [2016-03-25 05:56:57] 875*2^1424216-1 is not prime. Res64: 693B94C6C28C7DCD Time : 0.0 sec. user=mdettweiler [2016-03-25 05:58:09] 625*2^1424217-1 is not prime. Res64: 6C41447CCD0309BC Time : 0.0 sec. user=mdettweiler [2016-03-25 05:58:10] 651*2^1424217-1 is not prime. Res64: BA790D09B2834A4B Time : 0.0 sec. user=mdettweiler [2016-03-25 05:58:10] 669*2^1424217-1 is not prime. Res64: 97C68A2784C81179 Time : 0.0 sec. user=mdettweiler [2016-03-25 05:58:10] 805*2^1424217-1 is not prime. Res64: 910F25FD8625E73B Time : 0.0 sec. user=mdettweiler [2016-03-25 05:58:11] 865*2^1424217-1 is not prime. Res64: 030F3C49483BA6FA Time : 0.0 sec. user=mdettweiler [2016-03-25 05:59:24] 901*2^1424217-1 is not prime. Res64: 0F3DC433E3DCD819 Time : 0.0 sec. user=mdettweiler [2016-03-25 05:59:24] 635*2^1424218-1 is not prime. Res64: 2A1AB502B5B22333 Time : 0.0 sec. user=mdettweiler [2016-03-25 05:59:25] 695*2^1424218-1 is not prime. Res64: A8CE14F8234AF787 Time : 0.0 sec. user=mdettweiler [2016-03-25 05:59:25] 855*2^1424218-1 is not prime. Res64: E5C056B6778B9E46 Time : 0.0 sec. user=mdettweiler [2016-03-25 05:59:25] 995*2^1424218-1 is not prime. Res64: 08B4F0D071D594F0 Time : 0.0 sec. user=mdettweiler [2016-03-25 06:03:15] 703*2^1424219-1 is not prime. Res64: DB26FFD99CFE0397 Time : 0.0 sec. user=mdettweiler [2016-03-25 06:03:16] 705*2^1424219-1 is not prime. Res64: A3A1CE8F93D43C39 Time : 0.0 sec. user=mdettweiler [2016-03-25 06:03:17] 753*2^1424219-1 is not prime. Res64: 4E68B38E08092A51 Time : 0.0 sec. user=mdettweiler [2016-03-25 06:03:18] 775*2^1424219-1 is not prime. Res64: A42637BCF487F128 Time : 0.0 sec. user=mdettweiler [2016-03-25 06:03:19] 811*2^1424219-1 is not prime. Res64: 8384F0E824002E3E Time : 0.0 sec. user=mdettweiler [2016-03-25 06:22:48] 609*2^1424223-1 is not prime. Res64: 06C46CE9A7C6EC32 Time : 0.0 sec. user=mdettweiler [2016-03-25 06:42:16] 879*2^1424219-1 is not prime. Res64: D32B31F0AD14CD36 Time : 0.0 sec. user=mdettweiler [2016-03-25 06:42:17] 931*2^1424219-1 is not prime. Res64: CDCA9C7D12FCEFD8 Time : 0.0 sec. user=mdettweiler [2016-03-25 06:42:17] 955*2^1424219-1 is not prime. Res64: 69602F2F674068F7 Time : 0.0 sec. user=mdettweiler [2016-03-25 06:42:17] 609*2^1424220-1 is not prime. Res64: FF545E863FFA14B0 Time : 0.0 sec. user=mdettweiler [2016-03-25 06:42:18] 767*2^1424220-1 is not prime. Res64: 73121DD7624724D0 Time : 0.0 sec. user=mdettweiler [2016-03-25 06:43:35] 863*2^1424220-1 is not prime. Res64: 99102D1F49B69AD3 Time : 0.0 sec. user=mdettweiler [2016-03-25 06:43:36] 879*2^1424220-1 is not prime. Res64: 4EE0E0E697BB5D9F Time : 0.0 sec. user=mdettweiler [2016-03-25 06:43:36] 915*2^1424220-1 is not prime. Res64: BA352935FDE54C8D Time : 0.0 sec. user=mdettweiler [2016-03-25 06:43:36] 927*2^1424220-1 is not prime. Res64: A913CF94120441B1 Time : 0.0 sec. user=mdettweiler [2016-03-25 06:43:37] 601*2^1424221-1 is not prime. Res64: D3D6C9F09C2BC184 Time : 0.0 sec. user=mdettweiler [2016-03-25 06:44:54] 615*2^1424221-1 is not prime. Res64: 44D3BE7F18260BA0 Time : 0.0 sec. user=mdettweiler [2016-03-25 06:44:55] 687*2^1424221-1 is not prime. Res64: 70F236D1AAB3CE28 Time : 0.0 sec. user=mdettweiler [2016-03-25 06:44:55] 801*2^1424221-1 is not prime. Res64: 8D348D3C9618DB97 Time : 0.0 sec. user=mdettweiler [2016-03-25 06:44:55] 945*2^1424221-1 is not prime. Res64: 40D3B2DCC19D5905 Time : 0.0 sec. user=mdettweiler [2016-03-25 06:44:56] 997*2^1424221-1 is not prime. Res64: CDF00542C389AF6D Time : 0.0 sec. user=mdettweiler [2016-03-25 06:48:44] 635*2^1424222-1 is not prime. Res64: 12EAE4528208C3A0 Time : 0.0 sec. user=mdettweiler [2016-03-25 06:48:44] 713*2^1424222-1 is not prime. Res64: 41F8963FFDC66E40 Time : 0.0 sec. user=mdettweiler [2016-03-25 06:48:44] 731*2^1424222-1 is not prime. Res64: 8C2EE9646160CCD4 Time : 0.0 sec. user=mdettweiler [2016-03-25 06:48:45] 791*2^1424222-1 is not prime. Res64: 4AA731B7590F0583 Time : 0.0 sec. user=mdettweiler [2016-03-25 06:48:45] 911*2^1424222-1 is not prime. Res64: A6A46ABEE317A8D1 Time : 0.0 sec. user=mdettweiler [2016-03-25 07:15:53] 873*2^1424227-1 is not prime. Res64: 0AE36B993DD435CB Time : 0.0 sec. user=mdettweiler [2016-03-25 07:27:55] 613*2^1424223-1 is not prime. Res64: 1A582FCF44E0A7BD Time : 0.0 sec. user=mdettweiler [2016-03-25 07:27:56] 669*2^1424223-1 is not prime. Res64: AA6BDAEBB76D190A Time : 0.0 sec. user=mdettweiler [2016-03-25 07:27:56] 825*2^1424223-1 is not prime. Res64: ACDBAE3302304EB2 Time : 0.0 sec. user=mdettweiler [2016-03-25 07:27:57] 677*2^1424224-1 is not prime. Res64: 98A99FAF022A3E83 Time : 0.0 sec. user=mdettweiler [2016-03-25 07:27:57] 819*2^1424224-1 is not prime. Res64: DE0E14B65375C7EC Time : 0.0 sec. user=mdettweiler [2016-03-25 07:29:03] 873*2^1424224-1 is not prime. Res64: CF00137DFF769DC6 Time : 0.0 sec. user=mdettweiler [2016-03-25 07:29:03] 923*2^1424224-1 is not prime. Res64: FA4606156AB786E4 Time : 0.0 sec. user=mdettweiler [2016-03-25 07:29:04] 995*2^1424224-1 is not prime. Res64: E0DF66CDE76BB00D Time : 0.0 sec. user=mdettweiler [2016-03-25 07:29:04] 657*2^1424225-1 is not prime. Res64: 3FA8F75A994A29C7 Time : 0.0 sec. user=mdettweiler [2016-03-25 07:29:04] 729*2^1424225-1 is not prime. Res64: DD55E2C34AD1D453 Time : 0.0 sec. user=mdettweiler [2016-03-25 07:30:39] 811*2^1424225-1 is not prime. Res64: E6C8BB43CC9C0DA7 Time : 0.0 sec. user=mdettweiler [2016-03-25 07:30:40] 837*2^1424225-1 is not prime. Res64: EDACFE7074F40DE7 Time : 0.0 sec. user=mdettweiler [2016-03-25 07:30:40] 981*2^1424225-1 is not prime. Res64: C41FEC78F715C89B Time : 0.0 sec. user=mdettweiler [2016-03-25 07:30:41] 677*2^1424226-1 is not prime. Res64: 560E1E7F01EEB9FE Time : 0.0 sec. user=mdettweiler [2016-03-25 07:30:41] 695*2^1424226-1 is not prime. Res64: 0C96952468890D0A Time : 0.0 sec. user=mdettweiler [2016-03-25 07:34:14] 921*2^1424226-1 is not prime. Res64: C2CE299FE241C5EA Time : 0.0 sec. user=mdettweiler [2016-03-25 07:34:14] 945*2^1424226-1 is not prime. Res64: 6AFF24DB6F249CDF Time : 0.0 sec. user=mdettweiler [2016-03-25 07:34:14] 963*2^1424226-1 is not prime. Res64: 0E0CBEC4334EC2BC Time : 0.0 sec. user=mdettweiler [2016-03-25 07:34:15] 619*2^1424227-1 is not prime. Res64: E5BBADEC7E3DCBAE Time : 0.0 sec. user=mdettweiler [2016-03-25 07:34:15] 681*2^1424227-1 is not prime. Res64: F4CCB654313CE422 Time : 0.0 sec. user=mdettweiler [2016-03-25 07:50:20] 981*2^1424230-1 is not prime. Res64: D6A23DD571D8E7C4 Time : 0.0 sec. user=mdettweiler [2016-03-25 08:13:35] 615*2^1424228-1 is not prime. Res64: B4985383C36482BA Time : 0.0 sec. user=mdettweiler [2016-03-25 08:13:36] 735*2^1424228-1 is not prime. Res64: 57B32F6A1718A3D2 Time : 0.0 sec. user=mdettweiler [2016-03-25 08:13:37] 749*2^1424228-1 is not prime. Res64: FB107EBC65606B75 Time : 0.0 sec. user=mdettweiler [2016-03-25 08:13:37] 767*2^1424228-1 is not prime. Res64: F729F2FB50E76CF6 Time : 0.0 sec. user=mdettweiler [2016-03-25 08:13:38] 773*2^1424228-1 is not prime. Res64: 0E930A8E1AC35742 Time : 0.0 sec. user=mdettweiler [2016-03-25 08:14:28] 843*2^1424228-1 is not prime. Res64: 149FEAFAE61DE695 Time : 0.0 sec. user=mdettweiler [2016-03-25 08:14:29] 929*2^1424228-1 is not prime. Res64: 0737B663F5BC4547 Time : 0.0 sec. user=mdettweiler [2016-03-25 08:14:30] 935*2^1424228-1 is not prime. Res64: 9F6D24EBAB6AB626 Time : 0.0 sec. user=mdettweiler [2016-03-25 08:14:30] 959*2^1424228-1 is not prime. Res64: B74305FB9B3A7D72 Time : 0.0 sec. user=mdettweiler [2016-03-25 08:14:31] 999*2^1424228-1 is not prime. Res64: 8F7CF6D544FBFE75 Time : 0.0 sec. user=mdettweiler [2016-03-25 08:16:05] 627*2^1424229-1 is not prime. Res64: 9AFB32CC53D0A08C Time : 0.0 sec. user=mdettweiler [2016-03-25 08:16:05] 741*2^1424229-1 is not prime. Res64: B64B009F15401CA6 Time : 0.0 sec. user=mdettweiler [2016-03-25 08:16:06] 889*2^1424229-1 is not prime. Res64: 018C453BDD9928FE Time : 0.0 sec. user=mdettweiler [2016-03-25 08:16:06] 907*2^1424229-1 is not prime. Res64: 3671B3707E0E9401 Time : 0.0 sec. user=mdettweiler [2016-03-25 08:16:06] 919*2^1424229-1 is not prime. Res64: 50D52204C9FA8223 Time : 0.0 sec. user=mdettweiler [2016-03-25 08:20:00] 951*2^1424229-1 is not prime. Res64: 56B9992399572A85 Time : 0.0 sec. user=mdettweiler [2016-03-25 08:20:01] 955*2^1424229-1 is not prime. Res64: 14E19B904AEA6163 Time : 0.0 sec. user=mdettweiler [2016-03-25 08:20:01] 991*2^1424229-1 is not prime. Res64: F455D38BCCC6927B Time : 0.0 sec. user=mdettweiler [2016-03-25 08:20:02] 743*2^1424230-1 is not prime. Res64: 351390FE422D3BD6 Time : 0.0 sec. user=mdettweiler [2016-03-25 08:20:02] 885*2^1424230-1 is not prime. Res64: D8F4AC88F12D195F Time : 0.0 sec. user=mdettweiler [2016-03-25 08:59:28] 813*2^1424231-1 is not prime. Res64: 564D696BE0B5E308 Time : 0.0 sec. user=mdettweiler [2016-03-25 08:59:28] 879*2^1424231-1 is not prime. Res64: A7A1AE0DE4BEFA6E Time : 0.0 sec. user=mdettweiler [2016-03-25 08:59:29] 885*2^1424231-1 is not prime. Res64: 6032DBCBA99C3D74 Time : 0.0 sec. user=mdettweiler [2016-03-25 08:59:29] 913*2^1424231-1 is not prime. Res64: 8B0B06E80B277F42 Time : 0.0 sec. user=mdettweiler [2016-03-25 08:59:30] 939*2^1424231-1 is not prime. Res64: 7304B9D4766FEA12 Time : 0.0 sec. user=mdettweiler [2016-03-25 09:00:18] 717*2^1424232-1 is not prime. Res64: B0A4CECBF59E4C9E Time : 0.0 sec. user=mdettweiler [2016-03-25 09:00:19] 765*2^1424232-1 is not prime. Res64: 68414609B90EF595 Time : 0.0 sec. user=mdettweiler [2016-03-25 09:00:19] 767*2^1424232-1 is not prime. Res64: FBDFE62B96AB55AE Time : 0.0 sec. user=mdettweiler [2016-03-25 09:00:20] 819*2^1424232-1 is not prime. Res64: 5266FA0CF8AE4112 Time : 0.0 sec. user=mdettweiler [2016-03-25 09:00:21] 639*2^1424233-1 is not prime. Res64: 05D12DEAB6D00617 Time : 0.0 sec. user=mdettweiler [2016-03-25 09:01:53] 679*2^1424233-1 is not prime. Res64: 5C2F29FC5A78F523 Time : 0.0 sec. user=mdettweiler [2016-03-25 09:01:53] 705*2^1424233-1 is not prime. Res64: 3FDE9F18CFA65221 Time : 0.0 sec. user=mdettweiler [2016-03-25 09:01:54] 741*2^1424233-1 is not prime. Res64: 38C3AB4933BF260C Time : 0.0 sec. user=mdettweiler [2016-03-25 09:01:55] 775*2^1424233-1 is not prime. Res64: E70F722D68761874 Time : 0.0 sec. user=mdettweiler [2016-03-25 09:01:56] 805*2^1424233-1 is not prime. Res64: 106CDBCA62604216 Time : 0.0 sec. user=mdettweiler [2016-03-25 09:05:31] 817*2^1424233-1 is not prime. Res64: D960D3FCADAD28CA Time : 0.0 sec. user=mdettweiler [2016-03-25 09:05:32] 895*2^1424233-1 is not prime. Res64: 78A094E6D138297B Time : 0.0 sec. user=mdettweiler [2016-03-25 09:05:33] 915*2^1424233-1 is not prime. Res64: B02946A69BE4F78F Time : 0.0 sec. user=mdettweiler [2016-03-25 09:05:34] 615*2^1424234-1 is not prime. Res64: BE5AA2221F5C1BF1 Time : 0.0 sec. user=mdettweiler [2016-03-25 09:05:35] 623*2^1424234-1 is not prime. Res64: FF4260FEA7F43492 Time : 0.0 sec. user=mdettweiler [2016-03-25 09:19:01] 807*2^1424236-1 is not prime. Res64: 998177ADFF9FD2BF Time : 0.0 sec. user=mdettweiler [2016-03-25 09:45:00] 633*2^1424234-1 is not prime. Res64: AB04E6DA503537C5 Time : 0.0 sec. user=mdettweiler [2016-03-25 09:45:00] 645*2^1424234-1 is not prime. Res64: 2A3A55E59A2640BC Time : 0.0 sec. user=mdettweiler [2016-03-25 09:45:01] 743*2^1424234-1 is not prime. Res64: 2A0C2E3AF9770287 Time : 0.0 sec. user=mdettweiler [2016-03-25 09:45:01] 831*2^1424234-1 is not prime. Res64: A657F783E191CD39 Time : 0.0 sec. user=mdettweiler [2016-03-25 09:45:02] 851*2^1424234-1 is not prime. Res64: 91CC89E9F248C421 Time : 0.0 sec. user=mdettweiler [2016-03-25 09:46:04] 857*2^1424234-1 is not prime. Res64: 56E78E174AC07775 Time : 0.0 sec. user=mdettweiler [2016-03-25 09:46:04] 971*2^1424234-1 is not prime. Res64: D1A9474603802468 Time : 0.0 sec. user=mdettweiler [2016-03-25 09:46:04] 679*2^1424235-1 is not prime. Res64: CD61F059A2EC9707 Time : 0.0 sec. user=mdettweiler [2016-03-25 09:46:05] 709*2^1424235-1 is not prime. Res64: F75C6A538BCBCD06 Time : 0.0 sec. user=mdettweiler [2016-03-25 09:46:05] 751*2^1424235-1 is not prime. Res64: 444B333C4A76E75E Time : 0.0 sec. user=mdettweiler [2016-03-25 09:47:52] 781*2^1424235-1 is not prime. Res64: 87CEA5805FF282F6 Time : 0.0 sec. user=mdettweiler [2016-03-25 09:47:52] 789*2^1424235-1 is not prime. Res64: 43133D9C3E13BDBA Time : 0.0 sec. user=mdettweiler [2016-03-25 09:47:53] 871*2^1424235-1 is not prime. Res64: 667C83178AF91009 Time : 0.0 sec. user=mdettweiler [2016-03-25 09:47:53] 909*2^1424235-1 is not prime. Res64: E0AF6FC0FB31D0D3 Time : 0.0 sec. user=mdettweiler [2016-03-25 09:47:53] 963*2^1424235-1 is not prime. Res64: B1E2F364EAA27ACD Time : 0.0 sec. user=mdettweiler [2016-03-25 09:51:15] 973*2^1424235-1 is not prime. Res64: CED9EE85B33C5B4C Time : 0.0 sec. user=mdettweiler [2016-03-25 09:51:15] 617*2^1424236-1 is not prime. Res64: 6B1E5E024E88E0B3 Time : 0.0 sec. user=mdettweiler [2016-03-25 09:51:16] 639*2^1424236-1 is not prime. Res64: D795ABD537C139B2 Time : 0.0 sec. user=mdettweiler [2016-03-25 09:51:16] 657*2^1424236-1 is not prime. Res64: 824AC028F9ACC302 Time : 0.0 sec. user=mdettweiler [2016-03-25 09:51:16] 695*2^1424236-1 is not prime. Res64: DACFA9C72A9A9056 Time : 0.0 sec. user=mdettweiler [2016-03-25 10:12:37] 913*2^1424239-1 is not prime. Res64: 9F70DB03B0787DD9 Time : 0.0 sec. user=mdettweiler [2016-03-25 10:12:52] 843*2^1424239-1 is not prime. Res64: 7F019A184D14759F Time : 0.0 sec. user=mdettweiler [2016-03-25 10:30:44] 931*2^1424239-1 is not prime. Res64: 9D8E2CCC50A533B2 Time : 0.0 sec. user=mdettweiler [2016-03-25 10:30:47] 843*2^1424236-1 is not prime. Res64: DB636B0A08291458 Time : 0.0 sec. user=mdettweiler [2016-03-25 10:30:47] 873*2^1424236-1 is not prime. Res64: 48160E26D5943A55 Time : 0.0 sec. user=mdettweiler [2016-03-25 10:30:48] 953*2^1424236-1 is not prime. Res64: 10FDFEC397AD25C5 Time : 0.0 sec. user=mdettweiler [2016-03-25 10:30:48] 999*2^1424236-1 is not prime. Res64: 6493395536A9D50F Time : 0.0 sec. user=mdettweiler [2016-03-25 10:30:48] 759*2^1424237-1 is not prime. Res64: 6D739D13A48B3266 Time : 0.0 sec. user=mdettweiler [2016-03-25 10:31:30] 837*2^1424237-1 is not prime. Res64: 3CFC479D97B1D4B4 Time : 0.0 sec. user=mdettweiler [2016-03-25 10:31:30] 865*2^1424237-1 is not prime. Res64: D17299398885DCC5 Time : 0.0 sec. user=mdettweiler [2016-03-25 10:31:31] 925*2^1424237-1 is not prime. Res64: E03033454775DFDE Time : 0.0 sec. user=mdettweiler [2016-03-25 10:31:31] 713*2^1424238-1 is not prime. Res64: 2A515C0788526AB9 Time : 0.0 sec. user=mdettweiler [2016-03-25 10:31:31] 725*2^1424238-1 is not prime. Res64: AD9C884086D93C25 Time : 0.0 sec. user=mdettweiler [2016-03-25 10:33:21] 747*2^1424238-1 is not prime. Res64: 800B9DD54B68934C Time : 0.0 sec. user=mdettweiler [2016-03-25 10:33:21] 881*2^1424238-1 is not prime. Res64: 8E80CE2E0B176A58 Time : 0.0 sec. user=mdettweiler [2016-03-25 10:33:22] 887*2^1424238-1 is not prime. Res64: 476BFAFAF92E10F9 Time : 0.0 sec. user=mdettweiler [2016-03-25 10:33:22] 963*2^1424238-1 is not prime. Res64: 739702F599FC1389 Time : 0.0 sec. user=mdettweiler [2016-03-25 10:33:22] 975*2^1424238-1 is not prime. Res64: CBC45766FD3B86DB Time : 0.0 sec. user=mdettweiler [2016-03-25 10:36:57] 993*2^1424238-1 is not prime. Res64: 26AE9DC36EE9C2CB Time : 0.0 sec. user=mdettweiler [2016-03-25 10:36:57] 649*2^1424239-1 is not prime. Res64: 9F10EE5E25DB2354 Time : 0.0 sec. user=mdettweiler [2016-03-25 10:36:57] 663*2^1424239-1 is not prime. Res64: 868F78C7BDC7F09F Time : 0.0 sec. user=mdettweiler [2016-03-25 10:36:58] 771*2^1424239-1 is not prime. Res64: BFC1D3AD48335C2E Time : 0.0 sec. user=mdettweiler [2016-03-25 10:36:58] 841*2^1424239-1 is not prime. Res64: CCC74A0834310C85 Time : 0.0 sec. user=mdettweiler [2016-03-25 11:06:23] 965*2^1424244-1 is not prime. Res64: 6DB08CDF7A10F211 Time : 0.0 sec. user=mdettweiler [2016-03-25 11:16:40] 687*2^1424240-1 is not prime. Res64: BFB89624A665B073 Time : 0.0 sec. user=mdettweiler [2016-03-25 11:16:41] 725*2^1424240-1 is not prime. Res64: 9DA80006B244DB0A Time : 0.0 sec. user=mdettweiler [2016-03-25 11:16:41] 785*2^1424240-1 is not prime. Res64: 3BAC84521B77647A Time : 0.0 sec. user=mdettweiler [2016-03-25 11:16:42] 845*2^1424240-1 is not prime. Res64: 8AB14AE8FD257E61 Time : 0.0 sec. user=mdettweiler [2016-03-25 11:16:42] 963*2^1424240-1 is not prime. Res64: 16CDED7DD9779982 Time : 0.0 sec. user=mdettweiler [2016-03-25 11:17:10] 999*2^1424240-1 is not prime. Res64: FCAE3310EDF9EA21 Time : 0.0 sec. user=mdettweiler [2016-03-25 11:17:11] 747*2^1424241-1 is not prime. Res64: B5116FABC3B7FC7E Time : 0.0 sec. user=mdettweiler [2016-03-25 11:17:11] 603*2^1424242-1 is not prime. Res64: B79CBE78B65B3C53 Time : 0.0 sec. user=mdettweiler [2016-03-25 11:17:12] 633*2^1424242-1 is not prime. Res64: FF12C499020AFCCC Time : 0.0 sec. user=mdettweiler [2016-03-25 11:17:12] 723*2^1424242-1 is not prime. Res64: 0740F41E86B6DD02 Time : 0.0 sec. user=mdettweiler [2016-03-25 11:18:50] 803*2^1424242-1 is not prime. Res64: BAF5133A1C4D7D16 Time : 0.0 sec. user=mdettweiler [2016-03-25 11:18:51] 663*2^1424243-1 is not prime. Res64: 22651A48CF36EB9D Time : 0.0 sec. user=mdettweiler [2016-03-25 11:18:51] 693*2^1424243-1 is not prime. Res64: 47B1B70B612B5496 Time : 0.0 sec. user=mdettweiler [2016-03-25 11:18:52] 745*2^1424243-1 is not prime. Res64: 90F5C1CDE3C86E11 Time : 0.0 sec. user=mdettweiler [2016-03-25 11:18:52] 753*2^1424243-1 is not prime. Res64: 7F36D7B53D9C3EFE Time : 0.0 sec. user=mdettweiler [2016-03-25 11:22:37] 801*2^1424243-1 is not prime. Res64: 7FDD5427E9DD9F5D Time : 0.0 sec. user=mdettweiler [2016-03-25 11:22:37] 895*2^1424243-1 is not prime. Res64: D45A96121B843D69 Time : 0.0 sec. user=mdettweiler [2016-03-25 11:22:38] 943*2^1424243-1 is not prime. Res64: 944398EB31CE0B57 Time : 0.0 sec. user=mdettweiler [2016-03-25 11:22:38] 609*2^1424244-1 is not prime. Res64: 816521CF5C5D8388 Time : 0.0 sec. user=mdettweiler [2016-03-25 11:22:38] 663*2^1424244-1 is not prime. Res64: AFC2051610AA68D1 Time : 0.0 sec. user=mdettweiler [2016-03-25 12:02:11] 975*2^1424244-1 is not prime. Res64: 4385A2C09915B340 Time : 0.0 sec. user=mdettweiler [2016-03-25 12:02:12] 993*2^1424244-1 is not prime. Res64: DB825AFED3123E4F Time : 0.0 sec. user=mdettweiler [2016-03-25 12:02:13] 649*2^1424245-1 is not prime. Res64: 9BDE8710CA083F3D Time : 0.0 sec. user=mdettweiler [2016-03-25 12:02:14] 667*2^1424245-1 is not prime. Res64: 208589E8AEF1F613 Time : 0.0 sec. user=mdettweiler [2016-03-25 12:02:15] 691*2^1424245-1 is not prime. Res64: A83C6E102244BF2E Time : 0.0 sec. user=mdettweiler [2016-03-25 12:02:44] 721*2^1424245-1 is not prime. Res64: 1C6B491C66301850 Time : 0.0 sec. user=mdettweiler [2016-03-25 12:02:45] 789*2^1424245-1 is not prime. Res64: 28CB0E56E4A894A1 Time : 0.0 sec. user=mdettweiler [2016-03-25 12:02:45] 957*2^1424245-1 is not prime. Res64: 3E4D6B907EFE68FF Time : 0.0 sec. user=mdettweiler [2016-03-25 12:02:46] 615*2^1424246-1 is not prime. Res64: 11641073A0A89761 Time : 0.0 sec. user=mdettweiler [2016-03-25 12:02:47] 705*2^1424246-1 is not prime. Res64: 2449A38C008DD422 Time : 0.0 sec. user=mdettweiler [2016-03-25 12:04:17] 743*2^1424246-1 is not prime. Res64: 145B02F7CD61A23B Time : 0.0 sec. user=mdettweiler [2016-03-25 12:04:18] 813*2^1424246-1 is not prime. Res64: FDC2A64BC4C13E92 Time : 0.0 sec. user=mdettweiler [2016-03-25 12:04:19] 897*2^1424246-1 is not prime. Res64: 1ECF36681D4BC45C Time : 0.0 sec. user=mdettweiler [2016-03-25 12:04:20] 971*2^1424246-1 is not prime. Res64: 16930A9EAF91CA12 Time : 0.0 sec. user=mdettweiler [2016-03-25 12:04:22] 601*2^1424247-1 is not prime. Res64: D0DE147BD93E05B8 Time : 0.0 sec. user=mdettweiler [2016-03-25 12:08:11] 685*2^1424247-1 is not prime. Res64: 1F3BBA0A7470F437 Time : 0.0 sec. user=mdettweiler [2016-03-25 12:08:12] 741*2^1424247-1 is not prime. Res64: D6449C2E56B92F1B Time : 0.0 sec. user=mdettweiler [2016-03-25 12:08:12] 871*2^1424247-1 is not prime. Res64: 7C60C94391A9C8E3 Time : 0.0 sec. user=mdettweiler [2016-03-25 12:08:12] 945*2^1424247-1 is not prime. Res64: 0886F231EF0A8C9D Time : 0.0 sec. user=mdettweiler [2016-03-25 12:08:13] 975*2^1424247-1 is not prime. Res64: 1593A3FE8912FAD3 Time : 0.0 sec. user=mdettweiler [2016-03-25 12:34:29] 855*2^1424252-1 is not prime. Res64: 072F39DE84043407 Time : 0.0 sec. user=mdettweiler [2016-03-25 12:35:08] 959*2^1424252-1 is not prime. Res64: 7D2484D1DD77D783 Time : 0.0 sec. user=mdettweiler [2016-03-25 12:35:17] 935*2^1424252-1 is not prime. Res64: 35EAB39EC48305AF Time : 0.0 sec. user=mdettweiler [2016-03-25 12:35:28] 983*2^1424252-1 is not prime. Res64: A39BA95A27612C25 Time : 0.0 sec. user=mdettweiler [2016-03-25 12:47:47] 999*2^1424247-1 is not prime. Res64: 754AFBCEF911887E Time : 0.0 sec. user=mdettweiler [2016-03-25 12:47:47] 845*2^1424248-1 is not prime. Res64: C82730EE8990E89A Time : 0.0 sec. user=mdettweiler [2016-03-25 12:47:48] 869*2^1424248-1 is not prime. Res64: 816643B295426EC5 Time : 0.0 sec. user=mdettweiler [2016-03-25 12:47:48] 959*2^1424248-1 is not prime. Res64: B34FE11FCD08E129 Time : 0.0 sec. user=mdettweiler [2016-03-25 12:47:48] 615*2^1424249-1 is not prime. Res64: E613A46B007D9D4E Time : 0.0 sec. user=mdettweiler [2016-03-25 12:48:20] 675*2^1424249-1 is not prime. Res64: 36EDCBC58D4F0196 Time : 0.0 sec. user=mdettweiler [2016-03-25 12:48:20] 691*2^1424249-1 is not prime. Res64: C87292F78789B058 Time : 0.0 sec. user=mdettweiler [2016-03-25 12:48:21] 789*2^1424249-1 is not prime. Res64: 61A974DD0B0C737A Time : 0.0 sec. user=mdettweiler [2016-03-25 12:48:21] 909*2^1424249-1 is not prime. Res64: 4938BD59FE87CA81 Time : 0.0 sec. user=mdettweiler [2016-03-25 12:48:21] 651*2^1424250-1 is not prime. Res64: E2524ECA54A84D18 Time : 0.0 sec. user=mdettweiler [2016-03-25 12:49:51] 843*2^1424250-1 is not prime. Res64: 7E2F2797C77175FF Time : 0.0 sec. user=mdettweiler [2016-03-25 12:49:51] 873*2^1424250-1 is not prime. Res64: B5C6B91304680127 Time : 0.0 sec. user=mdettweiler [2016-03-25 12:49:52] 601*2^1424251-1 is not prime. Res64: 9ADCE790238B0D68 Time : 0.0 sec. user=mdettweiler [2016-03-25 12:49:52] 769*2^1424251-1 is not prime. Res64: 6372091F680C9338 Time : 0.0 sec. user=mdettweiler [2016-03-25 12:49:52] 855*2^1424251-1 is not prime. Res64: 6A5EA1C9F800BF8A Time : 0.0 sec. user=mdettweiler [2016-03-25 12:53:54] 871*2^1424251-1 is not prime. Res64: CDA451FAABA80B5B Time : 0.0 sec. user=mdettweiler [2016-03-25 12:53:54] 885*2^1424251-1 is not prime. Res64: 0B7D599DDD593510 Time : 0.0 sec. user=mdettweiler [2016-03-25 12:53:55] 961*2^1424251-1 is not prime. Res64: BCEEBBF004AB8D35 Time : 0.0 sec. user=mdettweiler [2016-03-25 12:53:55] 635*2^1424252-1 is not prime. Res64: 2FDD3B741EE300C9 Time : 0.0 sec. user=mdettweiler [2016-03-25 12:53:55] 837*2^1424252-1 is not prime. Res64: 95D015F03CDDF17C Time : 0.0 sec. user=mdettweiler [2016-03-25 13:33:20] 999*2^1424252-1 is not prime. Res64: D1EEE5C9458F33D8 Time : 0.0 sec. user=mdettweiler [2016-03-25 13:33:20] 691*2^1424253-1 is not prime. Res64: DAD255EDF471601A Time : 0.0 sec. user=mdettweiler [2016-03-25 13:33:21] 805*2^1424253-1 is not prime. Res64: 5964B6FB92C63243 Time : 0.0 sec. user=mdettweiler [2016-03-25 13:33:21] 819*2^1424253-1 is not prime. Res64: 38064F808F326C73 Time : 0.0 sec. user=mdettweiler [2016-03-25 13:33:22] 877*2^1424253-1 is not prime. Res64: 98058F6491038CE0 Time : 0.0 sec. user=mdettweiler [2016-03-25 13:33:55] 891*2^1424253-1 is not prime. Res64: 6B006CB14960EAF8 Time : 0.0 sec. user=mdettweiler [2016-03-25 13:33:55] 949*2^1424253-1 is not prime. Res64: D5ED49A6D2B71823 Time : 0.0 sec. user=mdettweiler [2016-03-25 13:33:56] 961*2^1424253-1 is not prime. Res64: 1E21603C782F220B Time : 0.0 sec. user=mdettweiler [2016-03-25 13:33:56] 617*2^1424254-1 is not prime. Res64: E11B69995B000FA2 Time : 0.0 sec. user=mdettweiler [2016-03-25 13:33:56] 657*2^1424254-1 is not prime. Res64: 28AF5D09D0424E14 Time : 0.0 sec. user=mdettweiler [2016-03-25 13:35:17] 681*2^1424254-1 is not prime. Res64: F61C109FAE769411 Time : 0.0 sec. user=mdettweiler [2016-03-25 13:35:17] 915*2^1424254-1 is not prime. Res64: C2B9EBE2A3EFCA9C Time : 0.0 sec. user=mdettweiler [2016-03-25 13:35:17] 923*2^1424254-1 is not prime. Res64: 63E5FE1FCF72D425 Time : 0.0 sec. user=mdettweiler [2016-03-25 13:35:18] 945*2^1424254-1 is not prime. Res64: CA95A78B2E2EAD9D Time : 0.0 sec. user=mdettweiler [2016-03-25 13:35:18] 951*2^1424254-1 is not prime. Res64: B666709160E1CF07 Time : 0.0 sec. user=mdettweiler [2016-03-25 13:39:30] 685*2^1424255-1 is not prime. Res64: 3F0357CB60936AA7 Time : 0.0 sec. user=mdettweiler [2016-03-25 13:39:31] 693*2^1424255-1 is not prime. Res64: 05E405C8C18D9A5D Time : 0.0 sec. user=mdettweiler [2016-03-25 13:39:31] 825*2^1424255-1 is not prime. Res64: C7AFAF02E265DB42 Time : 0.0 sec. user=mdettweiler [2016-03-25 13:39:31] 831*2^1424255-1 is not prime. Res64: 18B5D6DBDEF5CD05 Time : 0.0 sec. user=mdettweiler [2016-03-25 13:39:32] 871*2^1424255-1 is not prime. Res64: 1048CCDDF7E3E8C7 Time : 0.0 sec. user=mdettweiler [2016-03-25 14:18:46] 973*2^1424255-1 is not prime. Res64: 5D7B46016E37DD1F Time : 0.0 sec. user=mdettweiler [2016-03-25 14:18:47] 981*2^1424255-1 is not prime. Res64: 9E213A99DF37AEFA Time : 0.0 sec. user=mdettweiler [2016-03-25 14:18:47] 705*2^1424256-1 is not prime. Res64: 8491133969A3BCED Time : 0.0 sec. user=mdettweiler [2016-03-25 14:18:47] 839*2^1424256-1 is not prime. Res64: E230A706E2DFEBAD Time : 0.0 sec. user=mdettweiler [2016-03-25 14:18:48] 899*2^1424256-1 is not prime. Res64: E84072DD34FB9C93 Time : 0.0 sec. user=mdettweiler [2016-03-25 14:19:35] 905*2^1424256-1 is not prime. Res64: 4100DCD76AC84C02 Time : 0.0 sec. user=mdettweiler [2016-03-25 14:19:35] 651*2^1424257-1 is not prime. Res64: FF3C22E47CB2769F Time : 0.0 sec. user=mdettweiler [2016-03-25 14:19:35] 747*2^1424257-1 is not prime. Res64: A07E36B14BDB14F6 Time : 0.0 sec. user=mdettweiler [2016-03-25 14:19:36] 801*2^1424257-1 is not prime. Res64: F7EB1C4E59E08B19 Time : 0.0 sec. user=mdettweiler [2016-03-25 14:19:36] 817*2^1424257-1 is not prime. Res64: 79BD45537C07A793 Time : 0.0 sec. user=mdettweiler [2016-03-25 14:20:50] 937*2^1424257-1 is not prime. Res64: D1A3EC235CA7A23D Time : 0.0 sec. user=mdettweiler [2016-03-25 14:20:50] 955*2^1424257-1 is not prime. Res64: CF013F262B607FE4 Time : 0.0 sec. user=mdettweiler [2016-03-25 14:20:50] 683*2^1424258-1 is not prime. Res64: DD44C2B161EB27AB Time : 0.0 sec. user=mdettweiler [2016-03-25 14:20:51] 687*2^1424258-1 is not prime. Res64: 98136AAD1D9D455D Time : 0.0 sec. user=mdettweiler [2016-03-25 14:20:51] 711*2^1424258-1 is not prime. Res64: 9E8DA104A896C68B Time : 0.0 sec. user=mdettweiler [2016-03-25 14:24:58] 743*2^1424258-1 is not prime. Res64: 6F78BF6A10AA52B1 Time : 0.0 sec. user=mdettweiler [2016-03-25 14:24:58] 771*2^1424258-1 is not prime. Res64: AAF9CF07BD0D0939 Time : 0.0 sec. user=mdettweiler [2016-03-25 14:24:58] 857*2^1424258-1 is not prime. Res64: 3555506118EF2D66 Time : 0.0 sec. user=mdettweiler [2016-03-25 14:24:59] 977*2^1424258-1 is not prime. Res64: CBF44AE1036C501A Time : 0.0 sec. user=mdettweiler [2016-03-25 14:24:59] 649*2^1424259-1 is not prime. Res64: 82AF02589955CCAC Time : 0.0 sec. user=mdettweiler [2016-03-25 15:05:26] 691*2^1424259-1 is not prime. Res64: D34A9A4B2CA14A53 Time : 0.0 sec. user=mdettweiler [2016-03-25 15:05:30] 793*2^1424259-1 is not prime. Res64: 54701C178F4DFBA3 Time : 0.0 sec. user=mdettweiler [2016-03-25 15:05:32] 895*2^1424259-1 is not prime. Res64: A11B12C77DC2709A Time : 0.0 sec. user=mdettweiler [2016-03-25 15:05:33] 943*2^1424259-1 is not prime. Res64: 91EBD20D46BA7615 Time : 0.0 sec. user=mdettweiler [2016-03-25 15:05:35] 985*2^1424259-1 is not prime. Res64: D45D74936A1190DE Time : 0.0 sec. user=mdettweiler [2016-03-25 15:06:05] 689*2^1424260-1 is not prime. Res64: B7F4F3F123570A9F Time : 0.0 sec. user=mdettweiler [2016-03-25 15:06:06] 695*2^1424260-1 is not prime. Res64: 095A5CA045AF82BC Time : 0.0 sec. user=mdettweiler [2016-03-25 15:06:09] 699*2^1424260-1 is not prime. Res64: AC54A33FE9924AD8 Time : 0.0 sec. user=mdettweiler [2016-03-25 15:06:12] 759*2^1424260-1 is not prime. Res64: 481291B1AAA5590F Time : 0.0 sec. user=mdettweiler [2016-03-25 15:06:14] 785*2^1424260-1 is not prime. Res64: 7DC3E4BA29140219 Time : 0.0 sec. user=mdettweiler [2016-03-25 15:07:03] 999*2^1424260-1 is not prime. Res64: 195E0F86E3DA1BB7 Time : 0.0 sec. user=mdettweiler [2016-03-25 15:07:04] 615*2^1424261-1 is not prime. Res64: 5F49FB14DAE844EF Time : 0.0 sec. user=mdettweiler [2016-03-25 15:07:05] 651*2^1424261-1 is not prime. Res64: E845CC0AE4D2440F Time : 0.0 sec. user=mdettweiler [2016-03-25 15:07:06] 685*2^1424261-1 is not prime. Res64: C5AC3232CC701706 Time : 0.0 sec. user=mdettweiler [2016-03-25 15:07:07] 697*2^1424261-1 is not prime. Res64: BFF0B746CFE72DAD Time : 0.0 sec. user=mdettweiler [2016-03-25 15:11:47] 715*2^1424261-1 is not prime. Res64: C6849BD8BE1EE4C2 Time : 0.0 sec. user=mdettweiler [2016-03-25 15:11:47] 949*2^1424261-1 is not prime. Res64: C609AE1DF5F98139 Time : 0.0 sec. user=mdettweiler [2016-03-25 15:11:48] 997*2^1424261-1 is not prime. Res64: C2DABD57A518E0B0 Time : 0.0 sec. user=mdettweiler [2016-03-25 15:11:48] 627*2^1424262-1 is not prime. Res64: F6FEF4475EEB3D6C Time : 0.0 sec. user=mdettweiler [2016-03-25 15:11:48] 665*2^1424262-1 is not prime. Res64: A791174F04DE8C65 Time : 0.0 sec. user=mdettweiler [2016-03-25 15:32:09] 671*2^1424266-1 is not prime. Res64: A4D756E847D1FC14 Time : 0.0 sec. user=mdettweiler [2016-03-25 15:56:09] 705*2^1424262-1 is not prime. Res64: 3AFC3CF0598A33DA Time : 0.0 sec. user=mdettweiler [2016-03-25 15:56:09] 797*2^1424262-1 is not prime. Res64: 0035E73C8FE32F01 Time : 0.0 sec. user=mdettweiler [2016-03-25 15:56:10] 983*2^1424262-1 is not prime. Res64: C0B88A7E91EA3425 Time : 0.0 sec. user=mdettweiler [2016-03-25 15:56:10] 705*2^1424263-1 is not prime. Res64: 4CC18E6E78D79706 Time : 0.0 sec. user=mdettweiler [2016-03-25 15:56:10] 775*2^1424263-1 is not prime. Res64: 67253F55E948D32C Time : 0.0 sec. user=mdettweiler [2016-03-25 15:56:25] 783*2^1424263-1 is not prime. Res64: 7126BA6DF2675166 Time : 0.0 sec. user=mdettweiler [2016-03-25 15:56:26] 813*2^1424263-1 is not prime. Res64: 72D5F1D4602FA8B3 Time : 0.0 sec. user=mdettweiler [2016-03-25 15:56:26] 933*2^1424263-1 is not prime. Res64: C9AAE3A314DA7323 Time : 0.0 sec. user=mdettweiler [2016-03-25 15:56:27] 943*2^1424263-1 is not prime. Res64: 0BA06ADB40F4FCC0 Time : 0.0 sec. user=mdettweiler [2016-03-25 15:56:27] 969*2^1424263-1 is not prime. Res64: A3B41B103866AB19 Time : 0.0 sec. user=mdettweiler [2016-03-25 15:57:03] 617*2^1424264-1 is not prime. Res64: C8678BDAA3EF7904 Time : 0.0 sec. user=mdettweiler [2016-03-25 15:57:04] 635*2^1424264-1 is not prime. Res64: 8B820A0054ACE27A Time : 0.0 sec. user=mdettweiler [2016-03-25 15:57:04] 659*2^1424264-1 is not prime. Res64: E262045C777931EA Time : 0.0 sec. user=mdettweiler [2016-03-25 15:57:05] 687*2^1424264-1 is not prime. Res64: ADD7F5C7635455E2 Time : 0.0 sec. user=mdettweiler [2016-03-25 15:57:05] 689*2^1424264-1 is not prime. Res64: 2EBE53842D5EF697 Time : 0.0 sec. user=mdettweiler [2016-03-25 16:02:21] 893*2^1424264-1 is not prime. Res64: 8D8560A2BBFEE924 Time : 0.0 sec. user=mdettweiler [2016-03-25 16:02:22] 915*2^1424264-1 is not prime. Res64: 8E36A904171826AB Time : 0.0 sec. user=mdettweiler [2016-03-25 16:02:22] 983*2^1424264-1 is not prime. Res64: 4EAA13B61B9742FE Time : 0.0 sec. user=mdettweiler [2016-03-25 16:02:23] 735*2^1424265-1 is not prime. Res64: 8ECB4AF372A9F182 Time : 0.0 sec. user=mdettweiler [2016-03-25 16:02:24] 885*2^1424265-1 is not prime. Res64: 7B8D38B674C78166 Time : 0.0 sec. user=mdettweiler [2016-03-25 16:25:32] 925*2^1424269-1 is not prime. Res64: 3C0D831753894646 Time : 0.0 sec. user=mdettweiler [2016-03-25 16:42:02] 701*2^1424266-1 is not prime. Res64: 2CF9C261C62091FA Time : 0.0 sec. user=mdettweiler [2016-03-25 16:42:02] 735*2^1424266-1 is not prime. Res64: E333C2A782431143 Time : 0.0 sec. user=mdettweiler [2016-03-25 16:42:03] 815*2^1424266-1 is not prime. Res64: E021E5F594DE014D Time : 0.0 sec. user=mdettweiler [2016-03-25 16:42:03] 957*2^1424266-1 is not prime. Res64: B6261D9D70FCD298 Time : 0.0 sec. user=mdettweiler [2016-03-25 16:42:04] 971*2^1424266-1 is not prime. Res64: 99E95352A448D94C Time : 0.0 sec. user=mdettweiler [2016-03-25 16:42:04] 615*2^1424267-1 is not prime. Res64: 501ABE57B98E7DF9 Time : 0.0 sec. user=mdettweiler [2016-03-25 16:42:05] 673*2^1424267-1 is not prime. Res64: 824942F311BD9D03 Time : 0.0 sec. user=mdettweiler [2016-03-25 16:42:05] 735*2^1424267-1 is not prime. Res64: 29E6FF6F7D65E5DA Time : 0.0 sec. user=mdettweiler [2016-03-25 16:42:06] 859*2^1424267-1 is not prime. Res64: 77378220DE943C7B Time : 0.0 sec. user=mdettweiler [2016-03-25 16:42:06] 883*2^1424267-1 is not prime. Res64: 2DE797E3809E5683 Time : 0.0 sec. user=mdettweiler [2016-03-25 16:42:56] 979*2^1424267-1 is not prime. Res64: 517B3C591EAE2DC5 Time : 0.0 sec. user=mdettweiler [2016-03-25 16:42:57] 665*2^1424268-1 is not prime. Res64: 7F8880B9C7451E4A Time : 0.0 sec. user=mdettweiler [2016-03-25 16:42:57] 839*2^1424268-1 is not prime. Res64: 1C47B16254044FFC Time : 0.0 sec. user=mdettweiler [2016-03-25 16:42:58] 929*2^1424268-1 is not prime. Res64: EA17D0AD0F32C8D6 Time : 0.0 sec. user=mdettweiler [2016-03-25 16:42:58] 933*2^1424268-1 is not prime. Res64: B009D07337F776B7 Time : 0.0 sec. user=mdettweiler [2016-03-25 16:48:13] 625*2^1424269-1 is not prime. Res64: 2192449B155FC952 Time : 0.0 sec. user=mdettweiler [2016-03-25 16:48:14] 639*2^1424269-1 is not prime. Res64: E3896F9C6B52E221 Time : 0.0 sec. user=mdettweiler [2016-03-25 16:48:14] 831*2^1424269-1 is not prime. Res64: D2B1FAD9DCE6070A Time : 0.0 sec. user=mdettweiler [2016-03-25 16:48:15] 867*2^1424269-1 is not prime. Res64: 9BE86D0B6DD50980 Time : 0.0 sec. user=mdettweiler [2016-03-25 16:48:15] 897*2^1424269-1 is not prime. Res64: 2C855D146586EF55 Time : 0.0 sec. user=mdettweiler [2016-03-25 17:27:31] 939*2^1424269-1 is not prime. Res64: 8176B6914D09F320 Time : 0.0 sec. user=mdettweiler [2016-03-25 17:27:31] 985*2^1424269-1 is not prime. Res64: 743D6458007D7970 Time : 0.0 sec. user=mdettweiler [2016-03-25 17:27:32] 641*2^1424270-1 is not prime. Res64: 2A3775E0D8A40FB8 Time : 0.0 sec. user=mdettweiler [2016-03-25 17:27:32] 645*2^1424270-1 is not prime. Res64: 1F1E2D8839A7F9AE Time : 0.0 sec. user=mdettweiler [2016-03-25 17:27:32] 665*2^1424270-1 is not prime. Res64: C09E28888E3CBCFE Time : 0.0 sec. user=mdettweiler [2016-03-25 17:27:52] 707*2^1424270-1 is not prime. Res64: 4C87C7E3633C31F7 Time : 0.0 sec. user=mdettweiler [2016-03-25 17:27:52] 713*2^1424270-1 is not prime. Res64: 41ACCE8C0C6A742D Time : 0.0 sec. user=mdettweiler [2016-03-25 17:27:52] 833*2^1424270-1 is not prime. Res64: 5335AC67A780B392 Time : 0.0 sec. user=mdettweiler [2016-03-25 17:27:53] 897*2^1424270-1 is not prime. Res64: 23D2D3DD19C00809 Time : 0.0 sec. user=mdettweiler [2016-03-25 17:27:53] 927*2^1424270-1 is not prime. Res64: 8FEF24A4840A6FE5 Time : 0.0 sec. user=mdettweiler [2016-03-25 17:28:29] 987*2^1424270-1 is not prime. Res64: 864CE910DFB11F42 Time : 0.0 sec. user=mdettweiler [2016-03-25 17:28:30] 621*2^1424271-1 is not prime. Res64: 3FA0C75A88943AF6 Time : 0.0 sec. user=mdettweiler [2016-03-25 17:28:30] 745*2^1424271-1 is not prime. Res64: 51637103F1C89FD0 Time : 0.0 sec. user=mdettweiler [2016-03-25 17:28:30] 769*2^1424271-1 is not prime. Res64: 97AF6F57FA9C65C5 Time : 0.0 sec. user=mdettweiler [2016-03-25 17:28:31] 789*2^1424271-1 is not prime. Res64: 42887BE52D4CFAB8 Time : 0.0 sec. user=mdettweiler [2016-03-25 17:33:53] 793*2^1424271-1 is not prime. Res64: B6E21024272BF336 Time : 0.0 sec. user=mdettweiler [2016-03-25 17:33:54] 795*2^1424271-1 is not prime. Res64: A32CA6A1CF7E2BE7 Time : 0.0 sec. user=mdettweiler [2016-03-25 17:33:54] 859*2^1424271-1 is not prime. Res64: 1842E941A25DE2A6 Time : 0.0 sec. user=mdettweiler [2016-03-25 17:33:54] 901*2^1424271-1 is not prime. Res64: 9382872640F673E6 Time : 0.0 sec. user=mdettweiler [2016-03-25 17:33:55] 677*2^1424272-1 is not prime. Res64: 6921106389777265 Time : 0.0 sec. user=mdettweiler [2016-03-25 17:54:00] 723*2^1424275-1 is not prime. Res64: EEA2A1860CCD67FA Time : 0.0 sec. user=mdettweiler [2016-03-25 18:13:15] 759*2^1424272-1 is not prime. Res64: 2FD8C45EDBA00356 Time : 0.0 sec. user=mdettweiler [2016-03-25 18:13:16] 863*2^1424272-1 is not prime. Res64: D7AFF41C4E15C9ED Time : 0.0 sec. user=mdettweiler [2016-03-25 18:13:16] 875*2^1424272-1 is not prime. Res64: B53DC97CF3801344 Time : 0.0 sec. user=mdettweiler [2016-03-25 18:13:17] 903*2^1424272-1 is not prime. Res64: 3F7EF61565E588E4 Time : 0.0 sec. user=mdettweiler [2016-03-25 18:13:17] 929*2^1424272-1 is not prime. Res64: CDA42F9F621D8B59 Time : 0.0 sec. user=mdettweiler [2016-03-25 18:13:41] 607*2^1424273-1 is not prime. Res64: 798D39EEB2A78C30 Time : 0.0 sec. user=mdettweiler [2016-03-25 18:13:42] 669*2^1424273-1 is not prime. Res64: 938D42CB97D39F21 Time : 0.0 sec. user=mdettweiler [2016-03-25 18:13:42] 679*2^1424273-1 is not prime. Res64: 89F99F8B1856EA58 Time : 0.0 sec. user=mdettweiler [2016-03-25 18:13:43] 691*2^1424273-1 is not prime. Res64: F6A986A327760CB7 Time : 0.0 sec. user=mdettweiler [2016-03-25 18:13:43] 699*2^1424273-1 is not prime. Res64: 605D3DD09B00C806 Time : 0.0 sec. user=mdettweiler [2016-03-25 18:14:09] 829*2^1424273-1 is not prime. Res64: D7F8D55F9FC67088 Time : 0.0 sec. user=mdettweiler [2016-03-25 18:14:09] 837*2^1424273-1 is not prime. Res64: 140D5F53C9FFF336 Time : 0.0 sec. user=mdettweiler [2016-03-25 18:14:10] 867*2^1424273-1 is not prime. Res64: 364549E4D37F6248 Time : 0.0 sec. user=mdettweiler [2016-03-25 18:14:10] 967*2^1424273-1 is not prime. Res64: D4A5DA91C221E21B Time : 0.0 sec. user=mdettweiler [2016-03-25 18:14:10] 807*2^1424274-1 is not prime. Res64: 7A1A6CD608EC2E94 Time : 0.0 sec. user=mdettweiler [2016-03-25 18:19:29] 875*2^1424274-1 is not prime. Res64: EFDF0C9FF4F811DD Time : 0.0 sec. user=mdettweiler [2016-03-25 18:19:30] 887*2^1424274-1 is not prime. Res64: A16BC2B0EBA2A0CD Time : 0.0 sec. user=mdettweiler [2016-03-25 18:19:30] 917*2^1424274-1 is not prime. Res64: 615438EAB84BA0E2 Time : 0.0 sec. user=mdettweiler [2016-03-25 18:19:30] 941*2^1424274-1 is not prime. Res64: A3FBC48C14DFCEF6 Time : 0.0 sec. user=mdettweiler [2016-03-25 18:19:31] 971*2^1424274-1 is not prime. Res64: 0816C316258EA767 Time : 0.0 sec. user=mdettweiler [2016-03-25 18:29:10] 645*2^1424279-1 is not prime. Res64: ACD80DDA726EF083 Time : 0.0 sec. user=mdettweiler [2016-03-25 18:59:05] 759*2^1424275-1 is not prime. Res64: 289D5DBAAF1F3121 Time : 0.0 sec. user=mdettweiler [2016-03-25 18:59:06] 765*2^1424275-1 is not prime. Res64: 66BD9527338E2671 Time : 0.0 sec. user=mdettweiler [2016-03-25 18:59:06] 853*2^1424275-1 is not prime. Res64: D6AA006356319D54 Time : 0.0 sec. user=mdettweiler [2016-03-25 18:59:06] 925*2^1424275-1 is not prime. Res64: 0B3D609110E8EB42 Time : 0.0 sec. user=mdettweiler [2016-03-25 18:59:07] 961*2^1424275-1 is not prime. Res64: 59E2F52156DB8C85 Time : 0.0 sec. user=mdettweiler [2016-03-25 18:59:16] 633*2^1424276-1 is not prime. Res64: 2BCBCBC22117C413 Time : 0.0 sec. user=mdettweiler [2016-03-25 18:59:16] 669*2^1424276-1 is not prime. Res64: 8B3CA38158619D8F Time : 0.0 sec. user=mdettweiler [2016-03-25 18:59:17] 873*2^1424276-1 is not prime. Res64: 1BBCDEBE7C789733 Time : 0.0 sec. user=mdettweiler [2016-03-25 18:59:17] 957*2^1424276-1 is not prime. Res64: 81EE42B88F4958F6 Time : 0.0 sec. user=mdettweiler [2016-03-25 18:59:18] 681*2^1424277-1 is not prime. Res64: C5F2056B92668D81 Time : 0.0 sec. user=mdettweiler [2016-03-25 18:59:49] 831*2^1424277-1 is not prime. Res64: 0544E2D64355DA17 Time : 0.0 sec. user=mdettweiler [2016-03-25 18:59:49] 847*2^1424277-1 is not prime. Res64: 16969E8C63E15383 Time : 0.0 sec. user=mdettweiler [2016-03-25 18:59:49] 849*2^1424277-1 is not prime. Res64: BA681F9A543125FA Time : 0.0 sec. user=mdettweiler [2016-03-25 18:59:50] 975*2^1424277-1 is not prime. Res64: FCF0272779D8A953 Time : 0.0 sec. user=mdettweiler [2016-03-25 18:59:50] 979*2^1424277-1 is not prime. Res64: C8A4367A48B7A6E3 Time : 0.0 sec. user=mdettweiler [2016-03-25 19:04:58] 705*2^1424279-1 is not prime. Res64: 9904BF0C359201DB Time : 0.0 sec. user=mdettweiler [2016-03-25 19:05:00] 657*2^1424278-1 is not prime. Res64: 9DAA84256828E908 Time : 0.0 sec. user=mdettweiler [2016-03-25 19:05:03] 827*2^1424278-1 is not prime. Res64: C4C64B4F392E9FC5 Time : 0.0 sec. user=mdettweiler [2016-03-25 19:05:04] 831*2^1424278-1 is not prime. Res64: 7E4D0D0AE764EFA3 Time : 0.0 sec. user=mdettweiler [2016-03-25 19:05:05] 923*2^1424278-1 is not prime. Res64: 9CB845CFBA5508C5 Time : 0.0 sec. user=mdettweiler [2016-03-25 19:05:06] 971*2^1424278-1 is not prime. Res64: 2CC49BF06A728040 Time : 0.0 sec. user=mdettweiler [2016-03-25 19:44:50] 813*2^1424279-1 is not prime. Res64: 6B29CCB0753A9474 Time : 0.0 sec. user=mdettweiler [2016-03-25 19:44:50] 859*2^1424279-1 is not prime. Res64: DEE62FF395B7EC3C Time : 0.0 sec. user=mdettweiler [2016-03-25 19:44:51] 955*2^1424279-1 is not prime. Res64: CB708394C77E5947 Time : 0.0 sec. user=mdettweiler [2016-03-25 19:44:51] 993*2^1424279-1 is not prime. Res64: B5B84D87104BEDA1 Time : 0.0 sec. user=mdettweiler [2016-03-25 19:44:52] 609*2^1424280-1 is not prime. Res64: 931CD87B7AE93429 Time : 0.0 sec. user=mdettweiler [2016-03-25 19:45:03] 675*2^1424280-1 is not prime. Res64: 1C9C184B44B3A468 Time : 0.0 sec. user=mdettweiler [2016-03-25 19:45:03] 857*2^1424280-1 is not prime. Res64: 2A48D10F5D1F1A44 Time : 0.0 sec. user=mdettweiler [2016-03-25 19:45:04] 863*2^1424280-1 is not prime. Res64: 5566218A3E67128E Time : 0.0 sec. user=mdettweiler [2016-03-25 19:45:04] 893*2^1424280-1 is not prime. Res64: 850C94F43B72F944 Time : 0.0 sec. user=mdettweiler [2016-03-25 19:45:04] 905*2^1424280-1 is not prime. Res64: 1A066D8462F4F242 Time : 0.0 sec. user=mdettweiler [2016-03-25 19:45:29] 929*2^1424280-1 is not prime. Res64: 1BD5D4D74E04ECF2 Time : 0.0 sec. user=mdettweiler [2016-03-25 19:45:29] 959*2^1424280-1 is not prime. Res64: A968EF58F6E5FFBC Time : 0.0 sec. user=mdettweiler [2016-03-25 19:45:30] 651*2^1424281-1 is not prime. Res64: 3CB4600F4BD2F20D Time : 0.0 sec. user=mdettweiler [2016-03-25 19:45:30] 681*2^1424281-1 is not prime. Res64: D8B0F71CA5728DF6 Time : 0.0 sec. user=mdettweiler [2016-03-25 19:45:30] 747*2^1424281-1 is not prime. Res64: D9BD540394C6F4C6 Time : 0.0 sec. user=mdettweiler [2016-03-25 19:51:03] 901*2^1424281-1 is not prime. Res64: B8311C4907EFCFFA Time : 0.0 sec. user=mdettweiler [2016-03-25 19:51:03] 975*2^1424281-1 is not prime. Res64: F984E463D885BADB Time : 0.0 sec. user=mdettweiler [2016-03-25 19:51:04] 615*2^1424282-1 is not prime. Res64: 5E5BCE039C7797D0 Time : 0.0 sec. user=mdettweiler [2016-03-25 19:51:04] 741*2^1424282-1 is not prime. Res64: C307A61DA7F4A807 Time : 0.0 sec. user=mdettweiler [2016-03-25 19:51:05] 767*2^1424282-1 is not prime. Res64: D4C69A783F33B0C8 Time : 0.0 sec. user=mdettweiler [2016-03-25 20:33:08] 703*2^1424287-1 is not prime. Res64: 848C13D6D3B41333 Time : 0.0 sec. user=mdettweiler [2016-03-25 20:33:11] 963*2^1424286-1 is not prime. Res64: 19A5CBC42CCEF16C Time : 0.0 sec. user=mdettweiler [2016-03-25 20:33:50] 785*2^1424282-1 is not prime. Res64: 82BE48215C8CB809 Time : 0.0 sec. user=mdettweiler [2016-03-25 20:33:50] 813*2^1424282-1 is not prime. Res64: 1708D45547522AE5 Time : 0.0 sec. user=mdettweiler [2016-03-25 20:33:51] 867*2^1424282-1 is not prime. Res64: AFC1F3C05587A0D1 Time : 0.0 sec. user=mdettweiler [2016-03-25 20:33:51] 923*2^1424282-1 is not prime. Res64: DDADE4A5847653C9 Time : 0.0 sec. user=mdettweiler [2016-03-25 20:33:52] 613*2^1424283-1 is not prime. Res64: BCFAAFAAEE271F42 Time : 0.0 sec. user=mdettweiler [2016-03-25 20:34:13] 679*2^1424283-1 is not prime. Res64: C7D329B01E53FA9F Time : 0.0 sec. user=mdettweiler [2016-03-25 20:34:13] 765*2^1424283-1 is not prime. Res64: AAA5A705CFC804F4 Time : 0.0 sec. user=mdettweiler [2016-03-25 20:34:13] 605*2^1424284-1 is not prime. Res64: B30E4E75CE50462A Time : 0.0 sec. user=mdettweiler [2016-03-25 20:34:14] 695*2^1424284-1 is not prime. Res64: AAB30151285D10D1 Time : 0.0 sec. user=mdettweiler [2016-03-25 20:34:14] 723*2^1424284-1 is not prime. Res64: DCDF7F1C031EE9D0 Time : 0.0 sec. user=mdettweiler [2016-03-25 20:34:59] 711*2^1424285-1 is not prime. Res64: 515EC41A061A6980 Time : 0.0 sec. user=mdettweiler [2016-03-25 20:35:00] 799*2^1424285-1 is not prime. Res64: C116F8406F83A95B Time : 0.0 sec. user=mdettweiler [2016-03-25 20:35:00] 885*2^1424285-1 is not prime. Res64: 83303CC87E35D046 Time : 0.0 sec. user=mdettweiler [2016-03-25 20:35:01] 969*2^1424285-1 is not prime. Res64: 33EF69B39C70CBC0 Time : 0.0 sec. user=mdettweiler [2016-03-25 20:35:01] 627*2^1424286-1 is not prime. Res64: DD9252D3FC51CB65 Time : 0.0 sec. user=mdettweiler [2016-03-25 20:39:35] 713*2^1424286-1 is not prime. Res64: 8B6EDC5BFC3C3318 Time : 0.0 sec. user=mdettweiler [2016-03-25 20:39:36] 801*2^1424286-1 is not prime. Res64: 4A2F021B03A71B63 Time : 0.0 sec. user=mdettweiler [2016-03-25 20:39:36] 851*2^1424286-1 is not prime. Res64: E38EF176341D4810 Time : 0.0 sec. user=mdettweiler [2016-03-25 20:39:36] 873*2^1424286-1 is not prime. Res64: 082B62DED52018B0 Time : 0.0 sec. user=mdettweiler [2016-03-25 20:39:37] 957*2^1424286-1 is not prime. Res64: 0197936BB876A623 Time : 0.0 sec. user=mdettweiler [2016-03-25 20:50:36] 909*2^1424289-1 is not prime. Res64: B156CBE2BA0887B8 Time : 0.0 sec. user=mdettweiler [2016-03-25 21:19:19] 759*2^1424287-1 is not prime. Res64: 18AB3E99686A2C47 Time : 0.0 sec. user=mdettweiler [2016-03-25 21:19:19] 769*2^1424287-1 is not prime. Res64: 7CC3F20F4369E112 Time : 0.0 sec. user=mdettweiler [2016-03-25 21:19:20] 813*2^1424287-1 is not prime. Res64: F9058145BAAFC2A9 Time : 0.0 sec. user=mdettweiler [2016-03-25 21:19:20] 859*2^1424287-1 is not prime. Res64: A9BF02939C71C6F8 Time : 0.0 sec. user=mdettweiler [2016-03-25 21:19:20] 975*2^1424287-1 is not prime. Res64: 21C1389FD9FB8865 Time : 0.0 sec. user=mdettweiler [2016-03-25 21:20:00] 985*2^1424287-1 is not prime. Res64: 21D9188C5EA97265 Time : 0.0 sec. user=mdettweiler [2016-03-25 21:20:00] 659*2^1424288-1 is not prime. Res64: 191E08BBF9E28A59 Time : 0.0 sec. user=mdettweiler [2016-03-25 21:20:01] 725*2^1424288-1 is not prime. Res64: 0D7A50A5B24DEDD8 Time : 0.0 sec. user=mdettweiler [2016-03-25 21:20:01] 743*2^1424288-1 is not prime. Res64: 9471B71FDD4B3FBD Time : 0.0 sec. user=mdettweiler [2016-03-25 21:20:01] 747*2^1424288-1 is not prime. Res64: 0FB53F64974957CF Time : 0.0 sec. user=mdettweiler [2016-03-25 21:20:23] 755*2^1424288-1 is not prime. Res64: 94EDE4ACE541E36B Time : 0.0 sec. user=mdettweiler [2016-03-25 21:20:23] 777*2^1424288-1 is not prime. Res64: 3037C325C1EED4EB Time : 0.0 sec. user=mdettweiler [2016-03-25 21:20:24] 855*2^1424288-1 is not prime. Res64: F4FB99F246B1E256 Time : 0.0 sec. user=mdettweiler [2016-03-25 21:20:24] 945*2^1424288-1 is not prime. Res64: 874DE83E61F7DC07 Time : 0.0 sec. user=mdettweiler [2016-03-25 21:20:24] 705*2^1424289-1 is not prime. Res64: 18ED03B86E528027 Time : 0.0 sec. user=mdettweiler [2016-03-25 21:25:19] 709*2^1424289-1 is not prime. Res64: 10803225C24C85CB Time : 0.0 sec. user=mdettweiler [2016-03-25 21:25:19] 769*2^1424289-1 is not prime. Res64: 2B73DB77CFFE3C89 Time : 0.0 sec. user=mdettweiler [2016-03-25 21:25:20] 817*2^1424289-1 is not prime. Res64: 0155DBCCA8DCF342 Time : 0.0 sec. user=mdettweiler [2016-03-25 21:25:20] 847*2^1424289-1 is not prime. Res64: B04BB08F9A235F76 Time : 0.0 sec. user=mdettweiler [2016-03-25 21:25:20] 861*2^1424289-1 is not prime. Res64: 32D519DE3173DCA2 Time : 0.0 sec. user=mdettweiler [2016-03-25 21:26:07] 713*2^1424290-1 is not prime. Res64: F2C841CD18969099 Time : 0.0 sec. user=mdettweiler [2016-03-25 21:44:10] 983*2^1424292-1 is not prime. Res64: 84D714B1D8FFF708 Time : 0.0 sec. user=mdettweiler [2016-03-25 22:02:20] 615*2^1424293-1 is not prime. Res64: 320D474A738FFF2F Time : 0.0 sec. user=mdettweiler [2016-03-25 22:04:46] 741*2^1424290-1 is not prime. Res64: F0C3F4C4090A08C8 Time : 0.0 sec. user=mdettweiler [2016-03-25 22:04:48] 831*2^1424290-1 is not prime. Res64: 897B2EA2B7E12318 Time : 0.0 sec. user=mdettweiler [2016-03-25 22:04:49] 615*2^1424291-1 is not prime. Res64: 4878210529B148F5 Time : 0.0 sec. user=mdettweiler [2016-03-25 22:04:51] 669*2^1424291-1 is not prime. Res64: 6EB0987F26AF98EB Time : 0.0 sec. user=mdettweiler [2016-03-25 22:04:52] 735*2^1424291-1 is not prime. Res64: B3A46BAA5A2182CA Time : 0.0 sec. user=mdettweiler [2016-03-25 22:05:41] 741*2^1424291-1 is not prime. Res64: 216143EEDE29C300 Time : 0.0 sec. user=mdettweiler [2016-03-25 22:05:43] 825*2^1424291-1 is not prime. Res64: 3FC72047B6225AB4 Time : 0.0 sec. user=mdettweiler [2016-03-25 22:05:44] 843*2^1424291-1 is not prime. Res64: 42B7CCD10DDD1AA0 Time : 0.0 sec. user=mdettweiler [2016-03-25 22:05:45] 895*2^1424291-1 is not prime. Res64: 43563E1BE5FABBBD Time : 0.0 sec. user=mdettweiler [2016-03-25 22:05:46] 909*2^1424291-1 is not prime. Res64: 5EA28EB1CFB2268D Time : 0.0 sec. user=mdettweiler [2016-03-25 22:05:52] 939*2^1424291-1 is not prime. Res64: A0DE6B3769933F6E Time : 0.0 sec. user=mdettweiler [2016-03-25 22:05:54] 979*2^1424291-1 is not prime. Res64: C471B62184A78414 Time : 0.0 sec. user=mdettweiler [2016-03-25 22:05:55] 627*2^1424292-1 is not prime. Res64: BB901310991CF1B6 Time : 0.0 sec. user=mdettweiler [2016-03-25 22:05:56] 635*2^1424292-1 is not prime. Res64: 26D5B326D7644824 Time : 0.0 sec. user=mdettweiler [2016-03-25 22:05:57] 719*2^1424292-1 is not prime. Res64: CF4EFA03D8AADEC5 Time : 0.0 sec. user=mdettweiler [2016-03-25 22:10:55] 837*2^1424292-1 is not prime. Res64: 0F286389D2B15473 Time : 0.0 sec. user=mdettweiler [2016-03-25 22:10:56] 879*2^1424292-1 is not prime. Res64: CB8D3776B3F91E15 Time : 0.0 sec. user=mdettweiler [2016-03-25 22:10:56] 945*2^1424292-1 is not prime. Res64: 2849F46C9CD7845C Time : 0.0 sec. user=mdettweiler [2016-03-25 22:10:56] 965*2^1424292-1 is not prime. Res64: 68E781FD7809FD23 Time : 0.0 sec. user=mdettweiler [2016-03-25 22:10:57] 977*2^1424292-1 is not prime. Res64: B962C8E132FD8EB2 Time : 0.0 sec. user=mdettweiler [2016-03-25 22:19:59] 841*2^1424297-1 is not prime. Res64: E5E57E7FD3BDEEEC Time : 0.0 sec. user=mdettweiler [2016-03-25 22:20:04] 805*2^1424297-1 is not prime. Res64: C5F03BC54A0C7AB3 Time : 0.0 sec. user=mdettweiler [2016-03-25 22:50:32] 621*2^1424293-1 is not prime. Res64: 4AF799A8F49350C9 Time : 0.0 sec. user=mdettweiler [2016-03-25 22:50:32] 623*2^1424294-1 is not prime. Res64: 05901E3084C2D746 Time : 0.0 sec. user=mdettweiler [2016-03-25 22:50:33] 753*2^1424294-1 is not prime. Res64: F41DC844B3C13369 Time : 0.0 sec. user=mdettweiler [2016-03-25 22:50:33] 875*2^1424294-1 is not prime. Res64: AFB7F5E3128B1A2D Time : 0.0 sec. user=mdettweiler [2016-03-25 22:50:33] 885*2^1424294-1 is not prime. Res64: CF227E2E86FA007B Time : 0.0 sec. user=mdettweiler [2016-03-25 22:51:10] 921*2^1424294-1 is not prime. Res64: 10FED32966C22759 Time : 0.0 sec. user=mdettweiler [2016-03-25 22:51:10] 1001*2^1424294-1 is not prime. Res64: B9F75E5A482B9835 Time : 0.0 sec. user=mdettweiler [2016-03-25 22:51:11] 783*2^1424295-1 is not prime. Res64: 725CB64CD2255610 Time : 0.0 sec. user=mdettweiler [2016-03-25 22:51:11] 825*2^1424295-1 is not prime. Res64: 8FC4A4959D54FB1F Time : 0.0 sec. user=mdettweiler [2016-03-25 22:51:12] 909*2^1424295-1 is not prime. Res64: A27F3A21BA169BC1 Time : 0.0 sec. user=mdettweiler [2016-03-25 22:51:32] 963*2^1424295-1 is not prime. Res64: 144BA273438FDD78 Time : 0.0 sec. user=mdettweiler [2016-03-25 22:51:32] 969*2^1424295-1 is not prime. Res64: CB676B312C2E5E57 Time : 0.0 sec. user=mdettweiler [2016-03-25 22:51:33] 629*2^1424296-1 is not prime. Res64: D70E581BD93BF83A Time : 0.0 sec. user=mdettweiler [2016-03-25 22:51:33] 695*2^1424296-1 is not prime. Res64: 8FB4B7C1A850CFD8 Time : 0.0 sec. user=mdettweiler [2016-03-25 22:51:34] 813*2^1424296-1 is not prime. Res64: 7FCA0D7E2CE9CDAD Time : 0.0 sec. user=mdettweiler [2016-03-25 22:56:34] 873*2^1424296-1 is not prime. Res64: 6022E8FA4A19B852 Time : 0.0 sec. user=mdettweiler [2016-03-25 22:56:35] 939*2^1424296-1 is not prime. Res64: 8B50B7CA30FF3B12 Time : 0.0 sec. user=mdettweiler [2016-03-25 22:56:35] 989*2^1424296-1 is not prime. Res64: 63EF27A3626BFD44 Time : 0.0 sec. user=mdettweiler [2016-03-25 22:56:36] 711*2^1424297-1 is not prime. Res64: AF08957DB2289BE6 Time : 0.0 sec. user=mdettweiler [2016-03-25 22:56:36] 735*2^1424297-1 is not prime. Res64: 57F2FE46F48C7195 Time : 0.0 sec. user=mdettweiler [2016-03-25 23:37:12] 847*2^1424297-1 is not prime. Res64: E2D187DB58AF4642 Time : 0.0 sec. user=mdettweiler [2016-03-25 23:37:12] 981*2^1424297-1 is not prime. Res64: 23A765C37AABBC2A Time : 0.0 sec. user=mdettweiler [2016-03-25 23:37:13] 611*2^1424298-1 is not prime. Res64: 458618D012628DCB Time : 0.0 sec. user=mdettweiler [2016-03-25 23:37:13] 647*2^1424298-1 is not prime. Res64: D06D1C678FEFD562 Time : 0.0 sec. user=mdettweiler [2016-03-25 23:37:14] 651*2^1424298-1 is not prime. Res64: 1D633B9D4B0B7C8B Time : 0.0 sec. user=mdettweiler [2016-03-25 23:38:19] 777*2^1424298-1 is not prime. Res64: C536B35859F5B623 Time : 0.0 sec. user=mdettweiler [2016-03-25 23:38:20] 801*2^1424298-1 is not prime. Res64: 3C267850776EE65A Time : 0.0 sec. user=mdettweiler [2016-03-25 23:38:20] 885*2^1424298-1 is not prime. Res64: CE7AE7E0E3A39F74 Time : 0.0 sec. user=mdettweiler [2016-03-25 23:38:21] 921*2^1424298-1 is not prime. Res64: 95FEE4EC65D4CC63 Time : 0.0 sec. user=mdettweiler [2016-03-25 23:38:21] 923*2^1424298-1 is not prime. Res64: 7FD8B7045FA7C1C9 Time : 0.0 sec. user=mdettweiler [2016-03-25 23:39:09] 927*2^1424298-1 is not prime. Res64: ADD46ED2F45F4EB0 Time : 0.0 sec. user=mdettweiler [2016-03-25 23:39:09] 975*2^1424298-1 is not prime. Res64: 3CDA8D30B2803B15 Time : 0.0 sec. user=mdettweiler [2016-03-25 23:39:09] 679*2^1424299-1 is not prime. Res64: A268CB90234B75EE Time : 0.0 sec. user=mdettweiler [2016-03-25 23:39:10] 733*2^1424299-1 is not prime. Res64: BFDA9B2497FD5AEF Time : 0.0 sec. user=mdettweiler [2016-03-25 23:39:10] 759*2^1424299-1 is not prime. Res64: F990D7DBF1968CAD Time : 0.0 sec. user=mdettweiler [2016-03-25 23:44:52] 841*2^1424299-1 is not prime. Res64: 42B321282A51AFE4 Time : 0.0 sec. user=mdettweiler [2016-03-25 23:44:53] 853*2^1424299-1 is not prime. Res64: 1525BBCF98362BBD Time : 0.0 sec. user=mdettweiler [2016-03-25 23:44:53] 891*2^1424299-1 is not prime. Res64: 863E146FB0436C82 Time : 0.0 sec. user=mdettweiler [2016-03-25 23:44:54] 999*2^1424299-1 is not prime. Res64: D6E5370D4FB096E1 Time : 0.0 sec. user=mdettweiler [2016-03-25 23:44:54] 629*2^1424300-1 is not prime. Res64: 88BD024FF8918A70 Time : 0.0 sec.