user=mdettweiler [2018-11-22 00:27:09] 919*2^1531959-1 is not prime. Res64: EE83A27A8912DED0 Time : 0.0 sec. user=mdettweiler [2018-11-22 00:27:11] 933*2^1531959-1 is not prime. Res64: C40186006EB7EAA9 Time : 0.0 sec. user=mdettweiler [2018-11-22 00:27:12] 785*2^1531960-1 is not prime. Res64: A53120696E2CAB16 Time : 0.0 sec. user=mdettweiler [2018-11-22 00:27:13] 797*2^1531960-1 is not prime. Res64: A587657BE8BF0801 Time : 0.0 sec. user=mdettweiler [2018-11-22 00:27:13] 959*2^1531960-1 is not prime. Res64: A05FD44EBB95F810 Time : 0.0 sec. user=mdettweiler [2018-11-22 00:29:08] 975*2^1531960-1 is not prime. Res64: 57C8B7674895396C Time : 0.0 sec. user=mdettweiler [2018-11-22 00:29:09] 777*2^1531961-1 is not prime. Res64: 7D9EF50EFFDCD69D Time : 0.0 sec. user=mdettweiler [2018-11-22 00:29:09] 789*2^1531961-1 is not prime. Res64: 9BE88855EA6B1D0D Time : 0.0 sec. user=mdettweiler [2018-11-22 00:29:09] 867*2^1531961-1 is not prime. Res64: 10F9D894CF967449 Time : 0.0 sec. user=mdettweiler [2018-11-22 00:29:10] 651*2^1531962-1 is not prime. Res64: 2B944607DDE6C7F9 Time : 0.0 sec. user=mdettweiler [2018-11-22 00:32:04] 713*2^1531962-1 is not prime. Res64: 20E0E5B3442C2026 Time : 0.0 sec. user=mdettweiler [2018-11-22 00:32:05] 755*2^1531962-1 is not prime. Res64: A358337EDD33C8FF Time : 0.0 sec. user=mdettweiler [2018-11-22 00:32:05] 767*2^1531962-1 is not prime. Res64: 1F5320A09A3C2819 Time : 0.0 sec. user=mdettweiler [2018-11-22 00:32:05] 885*2^1531962-1 is not prime. Res64: D383B5B19AEBBD6C Time : 0.0 sec. user=mdettweiler [2018-11-22 00:32:06] 891*2^1531962-1 is not prime. Res64: 3C2B1E286E0FBB53 Time : 0.0 sec. user=mdettweiler [2018-11-22 00:50:25] 801*2^1531963-1 is not prime. Res64: 3350C1D1480B94E7 Time : 0.0 sec. user=mdettweiler [2018-11-22 00:50:25] 805*2^1531963-1 is not prime. Res64: 47B6C65EA7B184A8 Time : 0.0 sec. user=mdettweiler [2018-11-22 00:50:25] 835*2^1531963-1 is not prime. Res64: 9AAFDCE7D86D0E34 Time : 0.0 sec. user=mdettweiler [2018-11-22 00:50:26] 915*2^1531963-1 is not prime. Res64: C6D6990BB26E00D6 Time : 0.0 sec. user=mdettweiler [2018-11-22 00:50:26] 919*2^1531963-1 is not prime. Res64: EAEDB0084DAFB6C0 Time : 0.0 sec. user=mdettweiler [2018-11-22 01:20:28] 605*2^1531964-1 is not prime. Res64: 2CBEE734DF774D5D Time : 0.0 sec. user=mdettweiler [2018-11-22 01:20:28] 759*2^1531964-1 is not prime. Res64: FCAAF3CF57A1E8B2 Time : 0.0 sec. user=mdettweiler [2018-11-22 01:20:29] 893*2^1531964-1 is not prime. Res64: 6787AC032D0B93FD Time : 0.0 sec. user=mdettweiler [2018-11-22 01:20:29] 959*2^1531964-1 is not prime. Res64: 2424F7DFCE0B76A0 Time : 0.0 sec. user=mdettweiler [2018-11-22 01:20:29] 969*2^1531964-1 is not prime. Res64: 6C217D6C1CA4B09E Time : 0.0 sec. user=mdettweiler [2018-11-22 01:21:39] 675*2^1531965-1 is not prime. Res64: 9BBED21DF5DDF47F Time : 0.0 sec. user=mdettweiler [2018-11-22 01:21:39] 895*2^1531965-1 is not prime. Res64: 61A8C92A18C1DDB0 Time : 0.0 sec. user=mdettweiler [2018-11-22 01:21:40] 713*2^1531966-1 is not prime. Res64: F5559891817A6355 Time : 0.0 sec. user=mdettweiler [2018-11-22 01:21:40] 723*2^1531966-1 is not prime. Res64: 01C072C063C05AF5 Time : 0.0 sec. user=mdettweiler [2018-11-22 01:21:40] 737*2^1531966-1 is not prime. Res64: B4ADC7F0EE6FE901 Time : 0.0 sec. user=mdettweiler [2018-11-22 01:24:04] 815*2^1531966-1 is not prime. Res64: EAECDC36718E0240 Time : 0.0 sec. user=mdettweiler [2018-11-22 01:24:05] 843*2^1531966-1 is not prime. Res64: 7CB4089D8AD9C98A Time : 0.0 sec. user=mdettweiler [2018-11-22 01:24:05] 857*2^1531966-1 is not prime. Res64: 9503F59EB319F680 Time : 0.0 sec. user=mdettweiler [2018-11-22 01:24:05] 903*2^1531966-1 is not prime. Res64: 77FA96B420D5A93F Time : 0.0 sec. user=mdettweiler [2018-11-22 01:24:05] 601*2^1531967-1 is not prime. Res64: C6BFEA264E339E4D Time : 0.0 sec. user=mdettweiler [2018-11-22 01:41:58] 633*2^1531967-1 is not prime. Res64: FEC0D80A3B7C72D1 Time : 0.0 sec. user=mdettweiler [2018-11-22 01:41:59] 645*2^1531967-1 is not prime. Res64: 15895F42D0A30821 Time : 0.0 sec. user=mdettweiler [2018-11-22 01:41:59] 669*2^1531967-1 is not prime. Res64: 091E1C7E961C5EEE Time : 0.0 sec. user=mdettweiler [2018-11-22 01:42:00] 729*2^1531967-1 is not prime. Res64: FEB9706932F56ABE Time : 0.0 sec. user=mdettweiler [2018-11-22 01:42:01] 825*2^1531967-1 is not prime. Res64: 8E06014534849158 Time : 0.0 sec. user=mdettweiler [2018-11-22 02:11:44] 883*2^1531967-1 is not prime. Res64: 2115A4C78C0B8475 Time : 0.0 sec. user=mdettweiler [2018-11-22 02:11:45] 955*2^1531967-1 is not prime. Res64: 18DB7AC7C5CED987 Time : 0.0 sec. user=mdettweiler [2018-11-22 02:11:45] 981*2^1531967-1 is not prime. Res64: 45B5887822124130 Time : 0.0 sec. user=mdettweiler [2018-11-22 02:11:46] 795*2^1531968-1 is not prime. Res64: 2184EB7FBC0418AC Time : 0.0 sec. user=mdettweiler [2018-11-22 02:11:46] 825*2^1531968-1 is not prime. Res64: 169A935DB23745E8 Time : 0.0 sec. user=mdettweiler [2018-11-22 02:12:44] 867*2^1531968-1 is not prime. Res64: 7DA1D9017542178E Time : 0.0 sec. user=mdettweiler [2018-11-22 02:12:45] 887*2^1531968-1 is not prime. Res64: C8C68A8C52C0A3B9 Time : 0.0 sec. user=mdettweiler [2018-11-22 02:12:45] 899*2^1531968-1 is not prime. Res64: 56CF2C0CFC31DD1A Time : 0.0 sec. user=mdettweiler [2018-11-22 02:12:45] 945*2^1531968-1 is not prime. Res64: 64884A820E3F5191 Time : 0.0 sec. user=mdettweiler [2018-11-22 02:12:46] 609*2^1531969-1 is not prime. Res64: FFC87FCF45AA164F Time : 0.0 sec. user=mdettweiler [2018-11-22 02:15:43] 765*2^1531969-1 is not prime. Res64: 37B1ED00F7795149 Time : 0.0 sec. user=mdettweiler [2018-11-22 02:15:44] 771*2^1531969-1 is not prime. Res64: D66F96FAA4C4AE3E Time : 0.0 sec. user=mdettweiler [2018-11-22 02:15:44] 799*2^1531969-1 is not prime. Res64: D51B1ABC1DF25F84 Time : 0.0 sec. user=mdettweiler [2018-11-22 02:15:44] 829*2^1531969-1 is not prime. Res64: 90E3C5DE55920C3C Time : 0.0 sec. user=mdettweiler [2018-11-22 02:15:45] 861*2^1531969-1 is not prime. Res64: 8C492F77A2AEE867 Time : 0.0 sec. user=mdettweiler [2018-11-22 02:33:23] 939*2^1531969-1 is not prime. Res64: 27F682BC684CDFBF Time : 0.0 sec. user=mdettweiler [2018-11-22 03:05:44] 857*2^1531970-1 is not prime. Res64: FB1F269CA9642CEE Time : 0.0 sec. user=mdettweiler [2018-11-22 03:05:48] 941*2^1531970-1 is not prime. Res64: D1383C30DAB6160D Time : 0.0 sec. user=mdettweiler [2018-11-22 03:05:51] 977*2^1531970-1 is not prime. Res64: 8B9329DDDF7F1073 Time : 0.0 sec. user=mdettweiler [2018-11-22 03:05:53] 981*2^1531970-1 is not prime. Res64: 037E50C41BA54053 Time : 0.0 sec. user=mdettweiler [2018-11-22 03:05:57] 613*2^1531971-1 is not prime. Res64: 0DC789D726594BE4 Time : 0.0 sec. user=mdettweiler [2018-11-22 03:06:04] 651*2^1531971-1 is not prime. Res64: DBA6308472570BCF Time : 0.0 sec. user=mdettweiler [2018-11-22 03:06:09] 769*2^1531971-1 is not prime. Res64: A71FE7214B227629 Time : 0.0 sec. user=mdettweiler [2018-11-22 03:09:36] 931*2^1531971-1 is not prime. Res64: 7DC7C4353CD65795 Time : 0.0 sec. user=mdettweiler [2018-11-22 03:09:37] 675*2^1531972-1 is not prime. Res64: 70D62B2CA3D43D12 Time : 0.0 sec. user=mdettweiler [2018-11-22 03:09:39] 677*2^1531972-1 is not prime. Res64: F153FAE0AF688BF4 Time : 0.0 sec. user=mdettweiler [2018-11-22 03:09:40] 819*2^1531972-1 is not prime. Res64: B772AFB682631309 Time : 0.0 sec. user=mdettweiler [2018-11-22 03:09:42] 869*2^1531972-1 is not prime. Res64: 2C55313EAA221B2A Time : 0.0 sec. user=mdettweiler [2018-11-22 04:02:22] 915*2^1531972-1 is not prime. Res64: 2E0E1F39AC8C0730 Time : 0.0 sec. user=mdettweiler [2018-11-22 04:05:41] 801*2^1531973-1 is not prime. Res64: A7E69C6A5CB00C01 Time : 0.0 sec. user=mdettweiler [2018-11-22 04:05:46] 871*2^1531973-1 is not prime. Res64: D6CB5FBC65FA1F96 Time : 0.0 sec. user=mdettweiler [2018-11-22 04:05:51] 915*2^1531973-1 is not prime. Res64: F5EDE60B789DBBB6 Time : 0.0 sec. user=mdettweiler [2018-11-22 04:05:55] 621*2^1531974-1 is not prime. Res64: D2353B745BB0D6B0 Time : 0.0 sec. user=mdettweiler [2018-11-22 04:05:58] 627*2^1531974-1 is not prime. Res64: E2B5820FE22600F8 Time : 0.0 sec. user=mdettweiler [2018-11-22 05:07:29] 663*2^1531974-1 is not prime. Res64: 5D68C3A866D36429 Time : 0.0 sec. user=mdettweiler [2018-11-22 05:07:31] 731*2^1531974-1 is not prime. Res64: D7BAF72C3E683101 Time : 0.0 sec. user=mdettweiler [2018-11-22 05:07:33] 755*2^1531974-1 is not prime. Res64: 39E5B4237E573ED8 Time : 0.0 sec. user=mdettweiler [2018-11-22 05:07:37] 893*2^1531974-1 is not prime. Res64: 3BB3A25B89A22F83 Time : 0.0 sec. user=mdettweiler [2018-11-22 05:07:41] 993*2^1531974-1 is not prime. Res64: 4FFA77D8C65E9C17 Time : 0.0 sec. user=mdettweiler [2018-11-22 06:12:51] 673*2^1531975-1 is not prime. Res64: 2505BAC6C81F7955 Time : 0.0 sec. user=mdettweiler [2018-11-22 06:12:52] 705*2^1531975-1 is not prime. Res64: 4A3C5CA28D4CB90D Time : 0.0 sec. user=mdettweiler [2018-11-22 06:12:52] 759*2^1531975-1 is not prime. Res64: E2441DE50E3B8E1D Time : 0.0 sec. user=mdettweiler [2018-11-22 06:12:53] 771*2^1531975-1 is not prime. Res64: 395C4C9C71B699DD Time : 0.0 sec. user=mdettweiler [2018-11-22 06:12:53] 855*2^1531975-1 is not prime. Res64: B6A3B04E120FC542 Time : 0.0 sec. user=mdettweiler [2018-11-22 07:16:28] 889*2^1531975-1 is not prime. Res64: 8B293BFF3DAFC1C3 Time : 0.0 sec. user=mdettweiler [2018-11-22 07:16:28] 617*2^1531976-1 is not prime. Res64: D74952EB285E19FA Time : 0.0 sec. user=mdettweiler [2018-11-22 07:16:29] 623*2^1531976-1 is not prime. Res64: 19563F4B3C4E73CE Time : 0.0 sec. user=mdettweiler [2018-11-22 07:16:30] 659*2^1531976-1 is not prime. Res64: 5154C4FC8BC65A14 Time : 0.0 sec. user=mdettweiler [2018-11-22 07:16:31] 785*2^1531976-1 is not prime. Res64: 9E7BBF63C899ED17 Time : 0.0 sec. user=mdettweiler [2018-11-22 08:18:45] 935*2^1531976-1 is not prime. Res64: B9BB73516775AC7D Time : 0.0 sec. user=mdettweiler [2018-11-22 08:18:45] 957*2^1531976-1 is not prime. Res64: D456D814CFF81C0C Time : 0.0 sec. user=mdettweiler [2018-11-22 08:18:46] 615*2^1531977-1 is not prime. Res64: 7848EB0A4D9E368A Time : 0.0 sec. user=mdettweiler [2018-11-22 08:18:46] 625*2^1531977-1 is not prime. Res64: BF168C972BA25E8D Time : 0.0 sec. user=mdettweiler [2018-11-22 08:18:47] 717*2^1531977-1 is not prime. Res64: 50F65102682D7D57 Time : 0.0 sec. user=mdettweiler [2018-11-22 08:43:42] 627*2^1531970-1 is not prime. Res64: AB842307B1314D03 Time : 0.0 sec. user=mdettweiler [2018-11-22 08:43:42] 641*2^1531970-1 is not prime. Res64: 73CE61CED60AA99A Time : 0.0 sec. user=mdettweiler [2018-11-22 08:43:43] 665*2^1531970-1 is not prime. Res64: 4DB2B334F9469761 Time : 0.0 sec. user=mdettweiler [2018-11-22 08:43:43] 851*2^1531970-1 is not prime. Res64: 407F561F729774EF Time : 0.0 sec. user=mdettweiler [2018-11-22 09:18:07] 805*2^1531977-1 is not prime. Res64: FA634ED86CDD84B9 Time : 0.0 sec. user=mdettweiler [2018-11-22 09:18:08] 829*2^1531977-1 is not prime. Res64: 52AE23E3F08AF0FD Time : 0.0 sec. user=mdettweiler [2018-11-22 09:18:50] 837*2^1531977-1 is not prime. Res64: B20D7F48F40C2A33 Time : 0.0 sec. user=mdettweiler [2018-11-22 09:41:00] 997*2^1531977-1 is not prime. Res64: 6B6125787E37D1F7 Time : 0.0 sec. user=mdettweiler [2018-11-22 09:41:01] 611*2^1531978-1 is not prime. Res64: 79CD7B659F6E272F Time : 0.0 sec. user=mdettweiler [2018-11-22 09:41:03] 621*2^1531978-1 is not prime. Res64: EA414A4ACB4CD69D Time : 0.0 sec. user=mdettweiler [2018-11-22 09:41:04] 623*2^1531978-1 is not prime. Res64: 2ACCB92F4D082F9A Time : 0.0 sec. user=mdettweiler [2018-11-22 09:41:05] 657*2^1531978-1 is not prime. Res64: 8D4A7BF9CFBBFC04 Time : 0.0 sec. user=mdettweiler [2018-11-22 09:50:37] 823*2^1531971-1 is not prime. Res64: 5B92224D248782DA Time : 0.0 sec. user=mdettweiler [2018-11-22 10:02:11] 891*2^1531971-1 is not prime. Res64: AB18335743E62E82 Time : 0.0 sec. user=mdettweiler [2018-11-22 10:40:58] 825*2^1531978-1 is not prime. Res64: DAB2F632F93AE8F6 Time : 0.0 sec. user=mdettweiler [2018-11-22 10:40:59] 955*2^1531979-1 is not prime. Res64: D0C875382BF5E5ED Time : 0.0 sec. user=mdettweiler [2018-11-22 10:40:59] 979*2^1531979-1 is not prime. Res64: 895105E95E61E1E0 Time : 0.0 sec. user=mdettweiler [2018-11-22 10:41:00] 737*2^1531980-1 is not prime. Res64: 3B9155EE209F092A Time : 0.0 sec. user=mdettweiler [2018-11-22 10:41:00] 779*2^1531980-1 is not prime. Res64: 1B3D238FA9466050 Time : 0.0 sec. user=mdettweiler [2018-11-22 11:46:15] 929*2^1531972-1 is not prime. Res64: 63F12B23791FC8D7 Time : 0.0 sec. user=mdettweiler [2018-11-22 11:46:16] 933*2^1531972-1 is not prime. Res64: 3293B80C4598E6DC Time : 0.0 sec. user=mdettweiler [2018-11-22 11:46:18] 965*2^1531972-1 is not prime. Res64: 5ACC936E0D0E54DC Time : 0.0 sec. user=mdettweiler [2018-11-22 11:46:20] 651*2^1531973-1 is not prime. Res64: B71FDA06336BC097 Time : 0.0 sec. user=mdettweiler [2018-11-22 11:46:50] 809*2^1531980-1 is not prime. Res64: 08B14F696E83AEFF Time : 0.0 sec. user=mdettweiler [2018-11-22 11:46:50] 879*2^1531980-1 is not prime. Res64: 5A6DF98B794343CE Time : 0.0 sec. user=mdettweiler [2018-11-22 11:46:51] 923*2^1531980-1 is not prime. Res64: 2DA524C1C91D152E Time : 0.0 sec. user=mdettweiler [2018-11-22 11:46:52] 745*2^1531981-1 is not prime. Res64: 8C2936132334FF1E Time : 0.0 sec. user=mdettweiler [2018-11-22 11:46:52] 757*2^1531981-1 is not prime. Res64: 9D409F822B3BE73F Time : 0.0 sec. user=mdettweiler [2018-11-22 12:49:36] 791*2^1531982-1 is not prime. Res64: 017C24838840BDB3 Time : 0.0 sec. user=mdettweiler [2018-11-22 12:49:37] 885*2^1531982-1 is not prime. Res64: EAB3229B0A0F0C6C Time : 0.0 sec. user=mdettweiler [2018-11-22 12:49:37] 893*2^1531982-1 is not prime. Res64: D0E01ADEDC44E7A6 Time : 0.0 sec. user=mdettweiler [2018-11-22 12:49:38] 941*2^1531982-1 is not prime. Res64: DDF411448D54E548 Time : 0.0 sec. user=mdettweiler [2018-11-22 12:49:38] 965*2^1531982-1 is not prime. Res64: 2DF66C986E0777FE Time : 0.0 sec. user=mdettweiler [2018-11-22 12:52:52] 777*2^1531981-1 is not prime. Res64: 9A5EBA9D87D8DB14 Time : 0.0 sec. user=mdettweiler [2018-11-22 12:52:52] 861*2^1531981-1 is not prime. Res64: 610FF49794C13391 Time : 0.0 sec. user=mdettweiler [2018-11-22 12:52:53] 925*2^1531981-1 is not prime. Res64: DC260CE482A55CF2 Time : 0.0 sec. user=mdettweiler [2018-11-22 12:52:53] 945*2^1531981-1 is not prime. Res64: 46A3983E57ECE9B5 Time : 0.0 sec. user=mdettweiler [2018-11-22 12:52:54] 755*2^1531982-1 is not prime. Res64: 233C3350A347A2A4 Time : 0.0 sec. user=mdettweiler [2018-11-22 13:46:59] 699*2^1531984-1 is not prime. Res64: 11A73527BE8DE4DE Time : 0.0 sec. user=mdettweiler [2018-11-22 13:56:41] 649*2^1531983-1 is not prime. Res64: 1134CE532FE819E2 Time : 0.0 sec. user=mdettweiler [2018-11-22 13:56:42] 661*2^1531983-1 is not prime. Res64: 7E825371EA563938 Time : 0.0 sec. user=mdettweiler [2018-11-22 13:56:42] 663*2^1531983-1 is not prime. Res64: 1435BBEB42823114 Time : 0.0 sec. user=mdettweiler [2018-11-22 13:56:43] 763*2^1531983-1 is not prime. Res64: 15D377B6B25925FA Time : 0.0 sec. user=mdettweiler [2018-11-22 13:56:43] 783*2^1531983-1 is not prime. Res64: BD8A490B6EE2E0D6 Time : 0.0 sec. user=mdettweiler [2018-11-22 14:00:42] 793*2^1531983-1 is not prime. Res64: 2B0187C712F5A04D Time : 0.0 sec. user=mdettweiler [2018-11-22 14:00:45] 853*2^1531983-1 is not prime. Res64: 494330BABAE173B4 Time : 0.0 sec. user=mdettweiler [2018-11-22 14:00:48] 963*2^1531983-1 is not prime. Res64: 70A6DABF5E4D5E09 Time : 0.0 sec. user=mdettweiler [2018-11-22 14:00:50] 615*2^1531984-1 is not prime. Res64: 99250AC628BB92BD Time : 0.0 sec. user=mdettweiler [2018-11-22 14:00:52] 687*2^1531984-1 is not prime. Res64: AD2C0076C0702D92 Time : 0.0 sec. user=mdettweiler [2018-11-22 14:57:15] 723*2^1531984-1 is not prime. Res64: A9EAF6366DD14F68 Time : 0.0 sec. user=mdettweiler [2018-11-22 14:57:16] 755*2^1531984-1 is not prime. Res64: 1AA0DCFDD66A16BE Time : 0.0 sec. user=mdettweiler [2018-11-22 14:57:16] 827*2^1531984-1 is not prime. Res64: 7FE2B8EC90D49B05 Time : 0.0 sec. user=mdettweiler [2018-11-22 14:57:17] 989*2^1531984-1 is not prime. Res64: 0617F5723B800673 Time : 0.0 sec. user=mdettweiler [2018-11-22 14:57:18] 607*2^1531985-1 is not prime. Res64: 48700F56CB595320 Time : 0.0 sec. user=mdettweiler [2018-11-22 15:00:11] 715*2^1531985-1 is not prime. Res64: 85CC65BBEA908ECF Time : 0.0 sec. user=mdettweiler [2018-11-22 15:00:13] 847*2^1531985-1 is not prime. Res64: DC6294E9ADECF5A5 Time : 0.0 sec. user=mdettweiler [2018-11-22 15:00:15] 635*2^1531986-1 is not prime. Res64: 4A7F3CFF97089B1C Time : 0.0 sec. user=mdettweiler [2018-11-22 15:00:17] 647*2^1531986-1 is not prime. Res64: 80ADEA9079469B91 Time : 0.0 sec. user=mdettweiler [2018-11-22 15:00:18] 725*2^1531986-1 is not prime. Res64: FCF975C3FD02ABA9 Time : 0.0 sec. user=mdettweiler [2018-11-22 15:29:44] 847*2^1531977-1 is not prime. Res64: 0C491DD7D1D53652 Time : 0.0 sec. user=mdettweiler [2018-11-22 15:29:44] 909*2^1531977-1 is not prime. Res64: 349C158E42908312 Time : 0.0 sec. user=mdettweiler [2018-11-22 15:47:06] 895*2^1531971-1 is not prime. Res64: B26E51C6F0D55C61 Time : 0.0 sec. user=mdettweiler [2018-11-22 15:56:58] 887*2^1531986-1 is not prime. Res64: B358ECB1873CF475 Time : 0.0 sec. user=mdettweiler [2018-11-22 15:56:59] 615*2^1531987-1 is not prime. Res64: F9BE297B3D250C0A Time : 0.0 sec. user=mdettweiler [2018-11-22 15:56:59] 675*2^1531987-1 is not prime. Res64: 560AF8B54A72F46C Time : 0.0 sec. user=mdettweiler [2018-11-22 15:57:01] 759*2^1531987-1 is not prime. Res64: ACF695CA8F26C349 Time : 0.0 sec. user=mdettweiler [2018-11-22 15:57:01] 945*2^1531987-1 is not prime. Res64: 78FE7E6E49BEC1AB Time : 0.0 sec. user=mdettweiler [2018-11-22 15:59:00] 951*2^1531987-1 is not prime. Res64: BE30DDBA5292CF0C Time : 0.0 sec. user=mdettweiler [2018-11-22 15:59:01] 979*2^1531987-1 is not prime. Res64: 97DEEDBC6EA13863 Time : 0.0 sec. user=mdettweiler [2018-11-22 15:59:01] 985*2^1531987-1 is not prime. Res64: BA93894EA6501D55 Time : 0.0 sec. user=mdettweiler [2018-11-22 15:59:01] 689*2^1531988-1 is not prime. Res64: 7F7951427936F495 Time : 0.0 sec. user=mdettweiler [2018-11-22 15:59:02] 735*2^1531988-1 is not prime. Res64: 28C9A85E092731D2 Time : 0.0 sec. user=mdettweiler [2018-11-22 16:23:36] 813*2^1531988-1 is not prime. Res64: BD0904460F7281A0 Time : 0.0 sec. user=mdettweiler [2018-11-22 16:23:37] 897*2^1531988-1 is not prime. Res64: 572F49078E998BF3 Time : 0.0 sec. user=mdettweiler [2018-11-22 16:23:37] 899*2^1531988-1 is not prime. Res64: E7E66B713D26E05A Time : 0.0 sec. user=mdettweiler [2018-11-22 16:23:37] 661*2^1531989-1 is not prime. Res64: 2BD19397CF5B6555 Time : 0.0 sec. user=mdettweiler [2018-11-22 16:23:38] 727*2^1531989-1 is not prime. Res64: 7140E90F746C5C04 Time : 0.0 sec. user=mdettweiler [2018-11-22 16:39:30] 945*2^1531989-1 is not prime. Res64: B11D252F59CE335E Time : 0.0 sec. user=mdettweiler [2018-11-22 16:39:30] 611*2^1531990-1 is not prime. Res64: D61E46235B14387F Time : 0.0 sec. user=mdettweiler [2018-11-22 16:39:31] 867*2^1531990-1 is not prime. Res64: FB2E90FE4EA624E8 Time : 0.0 sec. user=mdettweiler [2018-11-22 16:39:31] 915*2^1531990-1 is not prime. Res64: E3BADF6D821C6DD4 Time : 0.0 sec. user=mdettweiler [2018-11-22 16:39:32] 621*2^1531991-1 is not prime. Res64: F81475A2B4311714 Time : 0.0 sec. user=mdettweiler [2018-11-22 16:49:13] 663*2^1531991-1 is not prime. Res64: 3AE50A2B5B48AE7C Time : 0.0 sec. user=mdettweiler [2018-11-22 16:49:13] 693*2^1531991-1 is not prime. Res64: 78272511E8016DB9 Time : 0.0 sec. user=mdettweiler [2018-11-22 16:49:14] 789*2^1531991-1 is not prime. Res64: 77A63099F238866F Time : 0.0 sec. user=mdettweiler [2018-11-22 16:49:14] 805*2^1531991-1 is not prime. Res64: A7DD5F3BFC4AC433 Time : 0.0 sec. user=mdettweiler [2018-11-22 16:49:14] 841*2^1531991-1 is not prime. Res64: 5BA67E9F85548D93 Time : 0.0 sec. user=mdettweiler [2018-11-22 16:52:55] 909*2^1531991-1 is not prime. Res64: 206BB73B3E9BDA8F Time : 0.0 sec. user=mdettweiler [2018-11-22 16:52:55] 955*2^1531991-1 is not prime. Res64: 3B68719953364706 Time : 0.0 sec. user=mdettweiler [2018-11-22 16:52:55] 973*2^1531991-1 is not prime. Res64: 14132F8E10FB8101 Time : 0.0 sec. user=mdettweiler [2018-11-22 16:52:56] 629*2^1531992-1 is not prime. Res64: 2E0357A98A456738 Time : 0.0 sec. user=mdettweiler [2018-11-22 16:52:56] 665*2^1531992-1 is not prime. Res64: 753CC772D7882D25 Time : 0.0 sec. user=mdettweiler [2018-11-22 17:16:38] 683*2^1531992-1 is not prime. Res64: B7D6BF5A61AEA4FB Time : 0.0 sec. user=mdettweiler [2018-11-22 17:16:39] 695*2^1531992-1 is not prime. Res64: 429B5F339C77F80A Time : 0.0 sec. user=mdettweiler [2018-11-22 17:16:39] 815*2^1531992-1 is not prime. Res64: 16F41E67B740640E Time : 0.0 sec. user=mdettweiler [2018-11-22 17:16:40] 825*2^1531992-1 is not prime. Res64: EE444854018FE388 Time : 0.0 sec. user=mdettweiler [2018-11-22 17:16:40] 873*2^1531992-1 is not prime. Res64: EB4BA21DF00EFFE8 Time : 0.0 sec. user=mdettweiler [2018-11-22 17:31:16] 945*2^1531992-1 is not prime. Res64: 997574A578940A79 Time : 0.0 sec. user=mdettweiler [2018-11-22 17:31:16] 983*2^1531992-1 is not prime. Res64: DB49BE2140F3E1C4 Time : 0.0 sec. user=mdettweiler [2018-11-22 17:31:16] 625*2^1531993-1 is not prime. Res64: 53CCB923A98E984C Time : 0.0 sec. user=mdettweiler [2018-11-22 17:31:17] 675*2^1531993-1 is not prime. Res64: FAAC4C9BCEACA3AC Time : 0.0 sec. user=mdettweiler [2018-11-22 17:31:17] 807*2^1531993-1 is not prime. Res64: F465516F8F1D8952 Time : 0.0 sec. user=mdettweiler [2018-11-22 17:43:29] 877*2^1531993-1 is not prime. Res64: A353FCB68D66BE4D Time : 0.0 sec. user=mdettweiler [2018-11-22 17:43:30] 915*2^1531993-1 is not prime. Res64: 0C8EE7C3B3A921E0 Time : 0.0 sec. user=mdettweiler [2018-11-22 17:43:32] 617*2^1531994-1 is not prime. Res64: DC94BB0E79882A8E Time : 0.0 sec. user=mdettweiler [2018-11-22 17:43:32] 683*2^1531994-1 is not prime. Res64: 6F9F75C4CE7376D9 Time : 0.0 sec. user=mdettweiler [2018-11-22 17:43:33] 707*2^1531994-1 is not prime. Res64: FC431D6A05D5EA19 Time : 0.0 sec. user=mdettweiler [2018-11-22 17:47:07] 711*2^1531994-1 is not prime. Res64: 9B69D53B7922284E Time : 0.0 sec. user=mdettweiler [2018-11-22 17:47:08] 755*2^1531994-1 is not prime. Res64: A2F12A8A72544E0B Time : 0.0 sec. user=mdettweiler [2018-11-22 17:47:08] 825*2^1531994-1 is not prime. Res64: 0F129561AAE6D9ED Time : 0.0 sec. user=mdettweiler [2018-11-22 17:47:08] 723*2^1531995-1 is not prime. Res64: 72F787405319983E Time : 0.0 sec. user=mdettweiler [2018-11-22 17:47:08] 775*2^1531995-1 is not prime. Res64: 2E4B258FEAE34188 Time : 0.0 sec. user=mdettweiler [2018-11-22 18:11:24] 603*2^1531996-1 is not prime. Res64: 9D87314A1EADC8DE Time : 0.0 sec. user=mdettweiler [2018-11-22 18:11:25] 903*2^1531996-1 is not prime. Res64: 0B16AD3FDE7FD55F Time : 0.0 sec. user=mdettweiler [2018-11-22 18:11:25] 999*2^1531996-1 is not prime. Res64: F4200DF6B6E59C79 Time : 0.0 sec. user=mdettweiler [2018-11-22 18:11:26] 621*2^1531997-1 is not prime. Res64: CF96AC3D5A6E2B82 Time : 0.0 sec. user=mdettweiler [2018-11-22 18:11:26] 649*2^1531997-1 is not prime. Res64: 28F374A15B8E19E4 Time : 0.0 sec. user=mdettweiler [2018-11-22 18:24:50] 669*2^1531997-1 is not prime. Res64: 290A1835F13981BB Time : 0.0 sec. user=mdettweiler [2018-11-22 18:24:50] 615*2^1531998-1 is not prime. Res64: 9030A5E4E65C5012 Time : 0.0 sec. user=mdettweiler [2018-11-22 18:24:51] 663*2^1531998-1 is not prime. Res64: 5AD0ED5C8A7C8708 Time : 0.0 sec. user=mdettweiler [2018-11-22 18:24:51] 695*2^1531998-1 is not prime. Res64: 7469AB047652F9ED Time : 0.0 sec. user=mdettweiler [2018-11-22 18:24:52] 821*2^1531998-1 is not prime. Res64: 0D9E96578BFA74BC Time : 0.0 sec. user=mdettweiler [2018-11-22 18:35:51] 921*2^1531998-1 is not prime. Res64: F940D55B1A8DB13E Time : 0.0 sec. user=mdettweiler [2018-11-22 18:35:52] 957*2^1531998-1 is not prime. Res64: 215985237F8835F5 Time : 0.0 sec. user=mdettweiler [2018-11-22 18:35:52] 661*2^1531999-1 is not prime. Res64: 178410B90445A7F2 Time : 0.0 sec. user=mdettweiler [2018-11-22 18:35:53] 693*2^1531999-1 is not prime. Res64: E9B398C0095270A3 Time : 0.0 sec. user=mdettweiler [2018-11-22 18:35:53] 769*2^1531999-1 is not prime. Res64: 17C63B5AF682CE23 Time : 0.0 sec. user=mdettweiler [2018-11-22 18:41:17] 793*2^1531999-1 is not prime. Res64: 71D092F7BBD87D19 Time : 0.0 sec. user=mdettweiler [2018-11-22 18:41:17] 975*2^1531999-1 is not prime. Res64: 3C83815F700736BA Time : 0.0 sec. user=mdettweiler [2018-11-22 18:41:17] 999*2^1531999-1 is not prime. Res64: CE307ADD5AA78ED8 Time : 0.0 sec. user=mdettweiler [2018-11-22 18:41:18] 669*2^1532000-1 is not prime. Res64: 675DD08F85BE9186 Time : 0.0 sec. user=mdettweiler [2018-11-22 18:41:18] 753*2^1532000-1 is not prime. Res64: 4245CEF764356F99 Time : 0.0 sec. user=mdettweiler [2018-11-22 19:04:42] 773*2^1532000-1 is not prime. Res64: 8227324F9850169E Time : 0.0 sec. user=mdettweiler [2018-11-22 19:04:47] 825*2^1532000-1 is not prime. Res64: CF976D4F11F85D64 Time : 0.0 sec. user=mdettweiler [2018-11-22 19:04:50] 935*2^1532000-1 is not prime. Res64: 6CFC8DA818E83222 Time : 0.0 sec. user=mdettweiler [2018-11-22 19:04:55] 959*2^1532000-1 is not prime. Res64: 9A45CB44E9F58626 Time : 0.0 sec. user=mdettweiler [2018-11-22 19:05:00] 741*2^1532001-1 is not prime. Res64: 633BAC408211D25C Time : 0.0 sec. user=mdettweiler [2018-11-22 19:19:25] 747*2^1532001-1 is not prime. Res64: 7105F95E185C48BC Time : 0.0 sec. user=mdettweiler [2018-11-22 19:19:26] 795*2^1532001-1 is not prime. Res64: 753D34C93FA8BDFD Time : 0.0 sec. user=mdettweiler [2018-11-22 19:19:26] 817*2^1532001-1 is not prime. Res64: BE81A0DFA1B19137 Time : 0.0 sec. user=mdettweiler [2018-11-22 19:19:26] 847*2^1532001-1 is not prime. Res64: 1CEB4EE7736FBBD1 Time : 0.0 sec. user=mdettweiler [2018-11-22 19:19:27] 865*2^1532001-1 is not prime. Res64: 7FFD4707B5888F94 Time : 0.0 sec. user=mdettweiler [2018-11-22 19:32:25] 975*2^1532001-1 is not prime. Res64: 7185CDE25A552285 Time : 0.0 sec. user=mdettweiler [2018-11-22 19:32:25] 647*2^1532002-1 is not prime. Res64: 97F2A5F4DC525A3B Time : 0.0 sec. user=mdettweiler [2018-11-22 19:32:26] 735*2^1532002-1 is not prime. Res64: AF233DE0070B77A1 Time : 0.0 sec. user=mdettweiler [2018-11-22 19:32:26] 885*2^1532002-1 is not prime. Res64: 2EA006D3977CEDF4 Time : 0.0 sec. user=mdettweiler [2018-11-22 19:32:27] 987*2^1532002-1 is not prime. Res64: 3426CAFB013C79EC Time : 0.0 sec. user=mdettweiler [2018-11-22 19:37:04] 853*2^1532003-1 is not prime. Res64: 1F55A06AC2142FAB Time : 0.0 sec. user=mdettweiler [2018-11-22 19:37:04] 861*2^1532003-1 is not prime. Res64: 4C1345673960D1E5 Time : 0.0 sec. user=mdettweiler [2018-11-22 19:37:04] 895*2^1532003-1 is not prime. Res64: 0A3A7868BCB09B0E Time : 0.0 sec. user=mdettweiler [2018-11-22 19:37:05] 939*2^1532003-1 is not prime. Res64: 49284C9F3E717906 Time : 0.0 sec. user=mdettweiler [2018-11-22 19:37:05] 985*2^1532003-1 is not prime. Res64: AC8B7AA1892A836A Time : 0.0 sec. user=mdettweiler [2018-11-22 19:59:50] 609*2^1532004-1 is not prime. Res64: 2672E978A062D16C Time : 0.0 sec. user=mdettweiler [2018-11-22 19:59:50] 629*2^1532004-1 is not prime. Res64: F4327857A335863F Time : 0.0 sec. user=mdettweiler [2018-11-22 19:59:51] 765*2^1532004-1 is not prime. Res64: D354F8DA3A378323 Time : 0.0 sec. user=mdettweiler [2018-11-22 19:59:51] 767*2^1532004-1 is not prime. Res64: DBCC92B23E9363FA Time : 0.0 sec. user=mdettweiler [2018-11-22 19:59:51] 773*2^1532004-1 is not prime. Res64: FE3963DB673987ED Time : 0.0 sec. user=mdettweiler [2018-11-22 20:15:45] 843*2^1532004-1 is not prime. Res64: FB83457C64F6618F Time : 0.0 sec. user=mdettweiler [2018-11-22 20:15:45] 887*2^1532004-1 is not prime. Res64: 008C3EC205B4DADB Time : 0.0 sec. user=mdettweiler [2018-11-22 20:15:45] 903*2^1532004-1 is not prime. Res64: D7B7CDBAEC2CFE37 Time : 0.0 sec. user=mdettweiler [2018-11-22 20:15:46] 685*2^1532005-1 is not prime. Res64: F8930B1EBD17AB9E Time : 0.0 sec. user=mdettweiler [2018-11-22 20:15:46] 727*2^1532005-1 is not prime. Res64: 751B41BD556B5226 Time : 0.0 sec. user=mdettweiler [2018-11-22 20:29:27] 799*2^1532005-1 is not prime. Res64: D5B4D8C4A82D3E52 Time : 0.0 sec. user=mdettweiler [2018-11-22 20:29:27] 999*2^1532005-1 is not prime. Res64: 28E86A3080223148 Time : 0.0 sec. user=mdettweiler [2018-11-22 20:29:28] 671*2^1532006-1 is not prime. Res64: B832F735023AD741 Time : 0.0 sec. user=mdettweiler [2018-11-22 20:29:28] 825*2^1532006-1 is not prime. Res64: B21C2743ECCD64C8 Time : 0.0 sec. user=mdettweiler [2018-11-22 20:29:28] 911*2^1532006-1 is not prime. Res64: 4D14A7308F879AE2 Time : 0.0 sec. user=mdettweiler [2018-11-22 20:34:29] 917*2^1532006-1 is not prime. Res64: 40B28D4DB663F253 Time : 0.0 sec. user=mdettweiler [2018-11-22 20:34:29] 963*2^1532006-1 is not prime. Res64: 6523F2E9A60E6361 Time : 0.0 sec. user=mdettweiler [2018-11-22 20:34:30] 1001*2^1532006-1 is not prime. Res64: 017A2527255B4923 Time : 0.0 sec. user=mdettweiler [2018-11-22 20:34:30] 615*2^1532007-1 is not prime. Res64: 45AC91D339A2F617 Time : 0.0 sec. user=mdettweiler [2018-11-22 20:34:30] 625*2^1532007-1 is not prime. Res64: 932512445BFA668D Time : 0.0 sec. user=mdettweiler [2018-11-22 20:59:47] 649*2^1532007-1 is not prime. Res64: FCDA957927D51729 Time : 0.0 sec. user=mdettweiler [2018-11-22 20:59:48] 661*2^1532007-1 is not prime. Res64: 9CAEC3DFA14EEA0B Time : 0.0 sec. user=mdettweiler [2018-11-22 20:59:49] 693*2^1532007-1 is not prime. Res64: D969357F2CDB7EC0 Time : 0.0 sec. user=mdettweiler [2018-11-22 20:59:49] 819*2^1532007-1 is not prime. Res64: E7A030A4A48CF6CE Time : 0.0 sec. user=mdettweiler [2018-11-22 20:59:50] 615*2^1532008-1 is not prime. Res64: DCC4F6526A44E6CF Time : 0.0 sec. user=mdettweiler [2018-11-22 21:12:55] 827*2^1532008-1 is not prime. Res64: 99A64ABC832B6335 Time : 0.0 sec. user=mdettweiler [2018-11-22 21:12:56] 863*2^1532008-1 is not prime. Res64: AF9046967CF8C2F7 Time : 0.0 sec. user=mdettweiler [2018-11-22 21:12:57] 615*2^1532009-1 is not prime. Res64: 9FB3AD2A1559C3D9 Time : 0.0 sec. user=mdettweiler [2018-11-22 21:12:58] 721*2^1532009-1 is not prime. Res64: F92D2210B30E54B5 Time : 0.0 sec. user=mdettweiler [2018-11-22 21:12:59] 759*2^1532009-1 is not prime. Res64: 0C6AE503D2454514 Time : 0.0 sec. user=mdettweiler [2018-11-22 21:25:30] 787*2^1532009-1 is not prime. Res64: F4A7AF5675E7411C Time : 0.0 sec. user=mdettweiler [2018-11-22 21:25:30] 865*2^1532009-1 is not prime. Res64: 3D70763959B04ADD Time : 0.0 sec. user=mdettweiler [2018-11-22 21:25:30] 997*2^1532009-1 is not prime. Res64: 1D4957C83FC2AAF5 Time : 0.0 sec. user=mdettweiler [2018-11-22 21:25:31] 801*2^1532010-1 is not prime. Res64: E13FDB6EBA5A078C Time : 0.0 sec. user=mdettweiler [2018-11-22 21:25:31] 825*2^1532010-1 is not prime. Res64: 92617EA7DBE08141 Time : 0.0 sec. user=mdettweiler [2018-11-22 21:30:31] 845*2^1532010-1 is not prime. Res64: 7CBE85656F3FCB91 Time : 0.0 sec. user=mdettweiler [2018-11-22 21:30:32] 885*2^1532010-1 is not prime. Res64: A00859636C214832 Time : 0.0 sec. user=mdettweiler [2018-11-22 21:30:32] 905*2^1532010-1 is not prime. Res64: 3124A177F86F3C96 Time : 0.0 sec. user=mdettweiler [2018-11-22 21:30:32] 923*2^1532010-1 is not prime. Res64: DE58135E3740675E Time : 0.0 sec. user=mdettweiler [2018-11-22 21:30:32] 601*2^1532011-1 is not prime. Res64: 3D2DFAF8F2B527AB Time : 0.0 sec. user=mdettweiler [2018-11-22 21:57:47] 603*2^1532011-1 is not prime. Res64: 80D5798393024381 Time : 0.0 sec. user=mdettweiler [2018-11-22 21:57:48] 673*2^1532011-1 is not prime. Res64: 5A3E3F8EFC4F9DAC Time : 0.0 sec. user=mdettweiler [2018-11-22 21:57:48] 679*2^1532011-1 is not prime. Res64: 6D67F611A3063177 Time : 0.0 sec. user=mdettweiler [2018-11-22 21:57:48] 979*2^1532011-1 is not prime. Res64: A573960052B77BBD Time : 0.0 sec. user=mdettweiler [2018-11-22 21:57:49] 617*2^1532012-1 is not prime. Res64: FFDDC01A8057EAC1 Time : 0.0 sec. user=mdettweiler [2018-11-22 22:10:28] 675*2^1532012-1 is not prime. Res64: 78F20B0ED540748A Time : 0.0 sec. user=mdettweiler [2018-11-22 22:10:28] 677*2^1532012-1 is not prime. Res64: 3FF5EE6034EC3BC1 Time : 0.0 sec. user=mdettweiler [2018-11-22 22:10:28] 743*2^1532012-1 is not prime. Res64: 6FFA092CF2C8946E Time : 0.0 sec. user=mdettweiler [2018-11-22 22:10:29] 759*2^1532012-1 is not prime. Res64: 799D5957E7BDE1C8 Time : 0.0 sec. user=mdettweiler [2018-11-22 22:10:29] 797*2^1532012-1 is not prime. Res64: 1DB62E509F6CB72A Time : 0.0 sec. user=mdettweiler [2018-11-22 22:23:43] 843*2^1532012-1 is not prime. Res64: 1B6598A2A2657DE6 Time : 0.0 sec. user=mdettweiler [2018-11-22 22:23:43] 963*2^1532012-1 is not prime. Res64: EBF31D9E44DA7E0B Time : 0.0 sec. user=mdettweiler [2018-11-22 22:23:43] 639*2^1532013-1 is not prime. Res64: C09931E7450070E5 Time : 0.0 sec. user=mdettweiler [2018-11-22 22:23:43] 649*2^1532013-1 is not prime. Res64: 431EBF7E3A993A6D Time : 0.0 sec. user=mdettweiler [2018-11-22 22:23:44] 745*2^1532013-1 is not prime. Res64: AE004E0F568D1CD4 Time : 0.0 sec. user=mdettweiler [2018-11-22 22:27:33] 847*2^1532013-1 is not prime. Res64: 773AB2E955F94297 Time : 0.0 sec. user=mdettweiler [2018-11-22 22:27:34] 871*2^1532013-1 is not prime. Res64: CCE5A679AC3912E3 Time : 0.0 sec. user=mdettweiler [2018-11-22 22:27:34] 889*2^1532013-1 is not prime. Res64: 2BE232A5B37A1692 Time : 0.0 sec. user=mdettweiler [2018-11-22 22:27:34] 891*2^1532013-1 is not prime. Res64: 04EAEBC6EAF95DAE Time : 0.0 sec. user=mdettweiler [2018-11-22 22:27:35] 921*2^1532013-1 is not prime. Res64: 72A68E91D4D674DE Time : 0.0 sec. user=mdettweiler [2018-11-22 22:52:58] 927*2^1532013-1 is not prime. Res64: 75AA45B5F63DE388 Time : 0.0 sec. user=mdettweiler [2018-11-22 22:52:59] 665*2^1532014-1 is not prime. Res64: 15A05E6EA9F64291 Time : 0.0 sec. user=mdettweiler [2018-11-22 22:52:59] 681*2^1532014-1 is not prime. Res64: 721C3DB93F51ECED Time : 0.0 sec. user=mdettweiler [2018-11-22 22:53:00] 747*2^1532014-1 is not prime. Res64: 4B59B5D4B481ED64 Time : 0.0 sec. user=mdettweiler [2018-11-22 22:53:00] 827*2^1532014-1 is not prime. Res64: 2B6758053B470064 Time : 0.0 sec. user=mdettweiler [2018-11-22 23:09:12] 861*2^1532014-1 is not prime. Res64: C914DFE458243A7B Time : 0.0 sec. user=mdettweiler [2018-11-22 23:09:13] 645*2^1532015-1 is not prime. Res64: 3E0C735C240FEF3B Time : 0.0 sec. user=mdettweiler [2018-11-22 23:09:13] 655*2^1532015-1 is not prime. Res64: 27B53EF9D6EAD8BE Time : 0.0 sec. user=mdettweiler [2018-11-22 23:09:13] 663*2^1532015-1 is not prime. Res64: 6A4CE64D049B492D Time : 0.0 sec. user=mdettweiler [2018-11-22 23:09:14] 715*2^1532015-1 is not prime. Res64: 83E7DBE61AC15385 Time : 0.0 sec. user=mdettweiler [2018-11-22 23:16:56] 841*2^1532015-1 is not prime. Res64: 3381BCDF8B3AE6DA Time : 0.0 sec. user=mdettweiler [2018-11-22 23:16:56] 871*2^1532015-1 is not prime. Res64: 7ABC85C6688AAEE1 Time : 0.0 sec. user=mdettweiler [2018-11-22 23:16:56] 633*2^1532016-1 is not prime. Res64: C49935DBD51DCF47 Time : 0.0 sec. user=mdettweiler [2018-11-22 23:16:57] 725*2^1532016-1 is not prime. Res64: E505AD81C05FAB98 Time : 0.0 sec. user=mdettweiler [2018-11-22 23:16:57] 735*2^1532016-1 is not prime. Res64: DA06A610B885AEA6 Time : 0.0 sec. user=mdettweiler [2018-11-22 23:20:34] 845*2^1532016-1 is not prime. Res64: B5E58D989AFE8880 Time : 0.0 sec. user=mdettweiler [2018-11-22 23:20:36] 923*2^1532016-1 is not prime. Res64: E9A62B9F7FE8C39F Time : 0.0 sec. user=mdettweiler [2018-11-22 23:20:36] 667*2^1532017-1 is not prime. Res64: 341B587153BEF967 Time : 0.0 sec. user=mdettweiler [2018-11-22 23:20:36] 717*2^1532017-1 is not prime. Res64: 2840E2986CD91283 Time : 0.0 sec. user=mdettweiler [2018-11-22 23:20:37] 801*2^1532017-1 is not prime. Res64: EF1FA12E400D910E Time : 0.0 sec. user=mdettweiler [2018-11-22 23:44:53] 805*2^1532017-1 is not prime. Res64: EB6EEA8D93ADCEDF Time : 0.0 sec. user=mdettweiler [2018-11-22 23:44:53] 867*2^1532017-1 is not prime. Res64: 2896C0B312897FF5 Time : 0.0 sec. user=mdettweiler [2018-11-22 23:44:53] 901*2^1532017-1 is not prime. Res64: 5788E4E211855DB0 Time : 0.0 sec. user=mdettweiler [2018-11-22 23:44:54] 937*2^1532017-1 is not prime. Res64: C2224DFDDCCF3006 Time : 0.0 sec. user=mdettweiler [2018-11-22 23:44:54] 945*2^1532017-1 is not prime. Res64: 6FACFC0D65A3A3B0 Time : 0.0 sec.