user=odicin [2018-08-28 00:17:06] 1001*2^1522562-1 is not prime. Res64: BAEC1D9EACACACD8 Time : 0.0 sec. user=odicin [2018-08-28 00:17:07] 643*2^1522563-1 is not prime. Res64: B78B8F2E7C0871A9 Time : 0.0 sec. user=mdettweiler [2018-08-28 00:22:08] 825*2^1522559-1 is not prime. Res64: 28B16292FDD3F631 Time : 0.0 sec. user=mdettweiler [2018-08-28 00:22:08] 843*2^1522559-1 is not prime. Res64: 35B880E545F4972F Time : 0.0 sec. user=mdettweiler [2018-08-28 00:22:09] 889*2^1522559-1 is not prime. Res64: DCAC631CE40D48D6 Time : 0.0 sec. user=mdettweiler [2018-08-28 00:22:09] 909*2^1522559-1 is not prime. Res64: CED07FF977663414 Time : 0.0 sec. user=mdettweiler [2018-08-28 00:22:10] 609*2^1522560-1 is not prime. Res64: 3703B67969529562 Time : 0.0 sec. user=mdettweiler [2018-08-28 00:24:25] 707*2^1522560-1 is not prime. Res64: 2AC702720A17F84C Time : 0.0 sec. user=mdettweiler [2018-08-28 00:24:25] 819*2^1522560-1 is not prime. Res64: BE980ED9D154BC4D Time : 0.0 sec. user=mdettweiler [2018-08-28 00:24:25] 923*2^1522560-1 is not prime. Res64: FBFCDB6E72753BA0 Time : 0.0 sec. user=mdettweiler [2018-08-28 00:24:26] 607*2^1522561-1 is not prime. Res64: 6C02C9183D267B6E Time : 0.0 sec. user=mdettweiler [2018-08-28 00:24:26] 649*2^1522561-1 is not prime. Res64: 4F6B77AC9EE787E3 Time : 0.0 sec. user=mdettweiler [2018-08-28 00:35:29] 999*2^1522561-1 is not prime. Res64: 86F1080E9C3700EF Time : 0.0 sec. user=mdettweiler [2018-08-28 00:35:30] 617*2^1522562-1 is not prime. Res64: D5D8393D2AE488AE Time : 0.0 sec. user=mdettweiler [2018-08-28 00:35:30] 657*2^1522562-1 is not prime. Res64: 051D136174B955CA Time : 0.0 sec. user=mdettweiler [2018-08-28 00:35:30] 677*2^1522562-1 is not prime. Res64: E4EAEF23384F2210 Time : 0.0 sec. user=mdettweiler [2018-08-28 00:35:31] 705*2^1522562-1 is not prime. Res64: CFBDDDE7104B6934 Time : 0.0 sec. user=odicin [2018-08-28 00:39:50] 669*2^1522563-1 is not prime. Res64: 1B0CD5FC4AB4C0FA Time : 0.0 sec. user=odicin [2018-08-28 00:39:50] 685*2^1522563-1 is not prime. Res64: 661205DB61461806 Time : 0.0 sec. user=mdettweiler [2018-08-28 00:41:04] 743*2^1522562-1 is not prime. Res64: EE9BBFD5F6ADAD70 Time : 0.0 sec. user=mdettweiler [2018-08-28 00:41:04] 911*2^1522562-1 is not prime. Res64: 0A36AF45F9DBF722 Time : 0.0 sec. user=mdettweiler [2018-08-28 00:41:05] 923*2^1522562-1 is not prime. Res64: 76CB53ABDFB2350A Time : 0.0 sec. user=mdettweiler [2018-08-28 00:41:05] 957*2^1522562-1 is not prime. Res64: 0D038964877A07A2 Time : 0.0 sec. user=mdettweiler [2018-08-28 00:41:05] 981*2^1522562-1 is not prime. Res64: 8397FEEB681F32FC Time : 0.0 sec. user=odicin [2018-08-28 01:00:39] 801*2^1522565-1 is not prime. Res64: 846F78B96D5A1AFA Time : 0.0 sec. user=odicin [2018-08-28 01:00:40] 825*2^1522565-1 is not prime. Res64: 806EDE7DCEE40F26 Time : 0.0 sec. user=mdettweiler [2018-08-28 01:12:57] 775*2^1522563-1 is not prime. Res64: D5571EF91B102904 Time : 0.0 sec. user=mdettweiler [2018-08-28 01:12:58] 789*2^1522563-1 is not prime. Res64: 80C5F7B60960AB9B Time : 0.0 sec. user=mdettweiler [2018-08-28 01:12:58] 985*2^1522563-1 is not prime. Res64: 575A4E6A7C022679 Time : 0.0 sec. user=mdettweiler [2018-08-28 01:12:58] 605*2^1522564-1 is not prime. Res64: FE72C91850192425 Time : 0.0 sec. user=mdettweiler [2018-08-28 01:12:59] 765*2^1522564-1 is not prime. Res64: D8F0DD7E50675B6C Time : 0.0 sec. user=mdettweiler [2018-08-28 01:15:04] 855*2^1522564-1 is not prime. Res64: 5CA6DB204F33EDAB Time : 0.0 sec. user=mdettweiler [2018-08-28 01:15:04] 885*2^1522564-1 is not prime. Res64: 82196C3E2BB894F1 Time : 0.0 sec. user=mdettweiler [2018-08-28 01:15:04] 959*2^1522564-1 is not prime. Res64: 26585B073F1AB718 Time : 0.0 sec. user=mdettweiler [2018-08-28 01:15:05] 989*2^1522564-1 is not prime. Res64: 49F2E2EC4ABFEA71 Time : 0.0 sec. user=mdettweiler [2018-08-28 01:15:05] 993*2^1522564-1 is not prime. Res64: 99B36716E76C2239 Time : 0.0 sec. user=odicin [2018-08-28 01:22:05] 921*2^1522566-1 is not prime. Res64: CCA9F77338465F34 Time : 0.0 sec. user=odicin [2018-08-28 01:22:05] 923*2^1522566-1 is not prime. Res64: D0D6600B3B3BD010 Time : 0.0 sec. user=mdettweiler [2018-08-28 01:26:13] 649*2^1522565-1 is not prime. Res64: 2656688F72FEA8DB Time : 0.0 sec. user=mdettweiler [2018-08-28 01:26:13] 651*2^1522565-1 is not prime. Res64: A4D2C8F0099437F9 Time : 0.0 sec. user=mdettweiler [2018-08-28 01:26:14] 657*2^1522565-1 is not prime. Res64: BF0A1D70191C84F1 Time : 0.0 sec. user=mdettweiler [2018-08-28 01:26:15] 711*2^1522565-1 is not prime. Res64: 14BAD4DBA410072A Time : 0.0 sec. user=mdettweiler [2018-08-28 01:26:16] 795*2^1522565-1 is not prime. Res64: CD90555CE7BB92A8 Time : 0.0 sec. user=mdettweiler [2018-08-28 01:32:11] 865*2^1522565-1 is not prime. Res64: 888D16A80DD70BB5 Time : 0.0 sec. user=mdettweiler [2018-08-28 01:32:12] 897*2^1522565-1 is not prime. Res64: 70634D0DAD4EA8FB Time : 0.0 sec. user=mdettweiler [2018-08-28 01:32:13] 939*2^1522565-1 is not prime. Res64: 9D8161DAA69CD423 Time : 0.0 sec. user=mdettweiler [2018-08-28 01:32:13] 641*2^1522566-1 is not prime. Res64: 26334D4E9196E0A4 Time : 0.0 sec. user=mdettweiler [2018-08-28 01:32:14] 705*2^1522566-1 is not prime. Res64: 080F09785B9DCE00 Time : 0.0 sec. user=odicin [2018-08-28 01:42:55] 961*2^1522567-1 is not prime. Res64: 7B41AC71195045A0 Time : 0.0 sec. user=odicin [2018-08-28 01:42:55] 945*2^1522568-1 is not prime. Res64: 3B724D91CE8B6EBA Time : 0.0 sec. user=odicin [2018-08-28 02:03:51] 931*2^1522571-1 is not prime. Res64: 0A5A79B920F7F64A Time : 0.0 sec. user=odicin [2018-08-28 02:03:53] 943*2^1522571-1 is not prime. Res64: FDC9C738A6155DD1 Time : 0.0 sec. user=mdettweiler [2018-08-28 02:05:14] 619*2^1522567-1 is not prime. Res64: 5F04D83615BD178E Time : 0.0 sec. user=mdettweiler [2018-08-28 02:05:16] 625*2^1522567-1 is not prime. Res64: 708EA422C04154BC Time : 0.0 sec. user=mdettweiler [2018-08-28 02:05:17] 693*2^1522567-1 is not prime. Res64: ECCA768BBFC96573 Time : 0.0 sec. user=mdettweiler [2018-08-28 02:05:18] 715*2^1522567-1 is not prime. Res64: BAF7C2C8D9D96BCF Time : 0.0 sec. user=mdettweiler [2018-08-28 02:05:20] 729*2^1522567-1 is not prime. Res64: FB5AE9036E44C7BA Time : 0.0 sec. user=mdettweiler [2018-08-28 02:07:41] 759*2^1522567-1 is not prime. Res64: 95D3EC418500CCC5 Time : 0.0 sec. user=mdettweiler [2018-08-28 02:07:42] 831*2^1522567-1 is not prime. Res64: 06024A22BD826E45 Time : 0.0 sec. user=mdettweiler [2018-08-28 02:07:42] 859*2^1522567-1 is not prime. Res64: 428206A7CE295369 Time : 0.0 sec. user=mdettweiler [2018-08-28 02:07:43] 861*2^1522567-1 is not prime. Res64: 51CF14B77CDAD58A Time : 0.0 sec. user=mdettweiler [2018-08-28 02:07:43] 901*2^1522567-1 is not prime. Res64: 4CC887D6C7D11C9B Time : 0.0 sec. user=mdettweiler [2018-08-28 02:18:35] 957*2^1522568-1 is not prime. Res64: 8AEE32A50A80AAB0 Time : 0.0 sec. user=mdettweiler [2018-08-28 02:18:35] 685*2^1522569-1 is not prime. Res64: F8047F67044F12B8 Time : 0.0 sec. user=mdettweiler [2018-08-28 02:18:35] 807*2^1522569-1 is not prime. Res64: 7E5FA43DEDD4802A Time : 0.0 sec. user=mdettweiler [2018-08-28 02:18:36] 835*2^1522569-1 is not prime. Res64: E55AEE5C648E814D Time : 0.0 sec. user=mdettweiler [2018-08-28 02:18:36] 847*2^1522569-1 is not prime. Res64: 9404CCCB664394DC Time : 0.0 sec. user=mdettweiler [2018-08-28 02:24:17] 905*2^1522570-1 is not prime. Res64: 0D6F82F8FB104BEA Time : 0.0 sec. user=mdettweiler [2018-08-28 02:24:18] 951*2^1522570-1 is not prime. Res64: 3AEA7B2A990E3431 Time : 0.0 sec. user=mdettweiler [2018-08-28 02:24:18] 733*2^1522571-1 is not prime. Res64: 9D4631D9C3DB91EF Time : 0.0 sec. user=mdettweiler [2018-08-28 02:24:19] 783*2^1522571-1 is not prime. Res64: 78DCC2D49DD07183 Time : 0.0 sec. user=mdettweiler [2018-08-28 02:24:19] 823*2^1522571-1 is not prime. Res64: F0B01D79E8672D9F Time : 0.0 sec. user=odicin [2018-08-28 02:24:47] 999*2^1522571-1 is not prime. Res64: 9ADCD2DF2965A41E Time : 0.0 sec. user=odicin [2018-08-28 02:24:47] 719*2^1522572-1 is not prime. Res64: BE9A6E77E07AFCF0 Time : 0.0 sec. user=odicin [2018-08-28 02:45:34] 627*2^1522577-1 is not prime. Res64: DB45967475E6CCF7 Time : 0.0 sec. user=odicin [2018-08-28 02:45:35] 637*2^1522577-1 is not prime. Res64: 781B57E3A878C339 Time : 0.0 sec. user=mdettweiler [2018-08-28 02:57:30] 723*2^1522572-1 is not prime. Res64: C1B724DB57416555 Time : 0.0 sec. user=mdettweiler [2018-08-28 02:57:30] 729*2^1522573-1 is not prime. Res64: 752C6DBBEA3A244F Time : 0.0 sec. user=mdettweiler [2018-08-28 02:57:30] 771*2^1522573-1 is not prime. Res64: 3591F56D74FD5900 Time : 0.0 sec. user=mdettweiler [2018-08-28 02:57:31] 789*2^1522573-1 is not prime. Res64: F9C192805CE4E0B6 Time : 0.0 sec. user=mdettweiler [2018-08-28 02:57:31] 855*2^1522573-1 is not prime. Res64: FEA69668413D8B1F Time : 0.0 sec. user=mdettweiler [2018-08-28 02:59:04] 915*2^1522573-1 is not prime. Res64: 934BA32228BB945A Time : 0.0 sec. user=mdettweiler [2018-08-28 02:59:04] 961*2^1522573-1 is not prime. Res64: 78C7754F5662265C Time : 0.0 sec. user=mdettweiler [2018-08-28 02:59:04] 827*2^1522574-1 is not prime. Res64: 9F61CEBCC06CD4EC Time : 0.0 sec. user=mdettweiler [2018-08-28 02:59:05] 887*2^1522574-1 is not prime. Res64: 48A906120D2AE99B Time : 0.0 sec. user=mdettweiler [2018-08-28 02:59:05] 935*2^1522574-1 is not prime. Res64: 0C32B29BCA251428 Time : 0.0 sec. user=odicin [2018-08-28 03:06:27] 645*2^1522577-1 is not prime. Res64: 66E38A86267F732A Time : 0.0 sec. user=odicin [2018-08-28 03:06:28] 649*2^1522577-1 is not prime. Res64: 145DB0F1F87650AB Time : 0.0 sec. user=mdettweiler [2018-08-28 03:09:57] 941*2^1522574-1 is not prime. Res64: CBC7D9FAA39AF9C1 Time : 0.0 sec. user=mdettweiler [2018-08-28 03:09:57] 651*2^1522575-1 is not prime. Res64: 370C6732CEFD612A Time : 0.0 sec. user=mdettweiler [2018-08-28 03:09:58] 823*2^1522575-1 is not prime. Res64: EE13F10808ACB1A7 Time : 0.0 sec. user=mdettweiler [2018-08-28 03:09:58] 913*2^1522575-1 is not prime. Res64: E8E0C18BF6EED97C Time : 0.0 sec. user=mdettweiler [2018-08-28 03:09:59] 951*2^1522575-1 is not prime. Res64: 862A3E034408600B Time : 0.0 sec. user=mdettweiler [2018-08-28 03:15:58] 961*2^1522575-1 is not prime. Res64: BD3C80C242ED8422 Time : 0.0 sec. user=mdettweiler [2018-08-28 03:15:59] 735*2^1522576-1 is not prime. Res64: EA733DA7EA84534A Time : 0.0 sec. user=mdettweiler [2018-08-28 03:15:59] 765*2^1522576-1 is not prime. Res64: 5894C7118CC31C40 Time : 0.0 sec. user=mdettweiler [2018-08-28 03:15:59] 917*2^1522576-1 is not prime. Res64: 5DDBE5EEA2C23D20 Time : 0.0 sec. user=mdettweiler [2018-08-28 03:16:00] 939*2^1522576-1 is not prime. Res64: 039E9F525E5E529F Time : 0.0 sec. user=odicin [2018-08-28 03:27:14] 713*2^1522578-1 is not prime. Res64: B805A4AD1E64BFE4 Time : 0.0 sec. user=odicin [2018-08-28 03:27:16] 755*2^1522578-1 is not prime. Res64: 0E336EB146F3372F Time : 0.0 sec. user=mdettweiler [2018-08-28 03:48:20] 727*2^1522577-1 is not prime. Res64: 865ED50DABD84A33 Time : 0.0 sec. user=mdettweiler [2018-08-28 03:48:21] 729*2^1522577-1 is not prime. Res64: 6942E57FF5B7363A Time : 0.0 sec. user=odicin [2018-08-28 03:48:22] 689*2^1522580-1 is not prime. Res64: A23FBDADD11BEE8B Time : 0.0 sec. user=mdettweiler [2018-08-28 03:48:22] 769*2^1522577-1 is not prime. Res64: 750EACA4879B2124 Time : 0.0 sec. user=mdettweiler [2018-08-28 03:48:23] 799*2^1522577-1 is not prime. Res64: CE760CB764710123 Time : 0.0 sec. user=odicin [2018-08-28 03:48:23] 777*2^1522580-1 is not prime. Res64: A6AFE67337F40346 Time : 0.0 sec. user=mdettweiler [2018-08-28 03:48:24] 879*2^1522577-1 is not prime. Res64: 5184E879BF8683F8 Time : 0.0 sec. user=mdettweiler [2018-08-28 03:50:04] 937*2^1522577-1 is not prime. Res64: BB4DC9DDA0DB6AC8 Time : 0.0 sec. user=mdettweiler [2018-08-28 03:50:05] 967*2^1522577-1 is not prime. Res64: 14A85F837F52A2FD Time : 0.0 sec. user=mdettweiler [2018-08-28 03:50:06] 605*2^1522578-1 is not prime. Res64: DAD3438AB4927AE9 Time : 0.0 sec. user=mdettweiler [2018-08-28 03:50:06] 633*2^1522578-1 is not prime. Res64: A34D6567C7A625F2 Time : 0.0 sec. user=mdettweiler [2018-08-28 03:50:07] 705*2^1522578-1 is not prime. Res64: EA77162C897ECF1D Time : 0.0 sec. user=mdettweiler [2018-08-28 04:00:56] 861*2^1522578-1 is not prime. Res64: 78F24B33FECFFF80 Time : 0.0 sec. user=mdettweiler [2018-08-28 04:00:59] 927*2^1522578-1 is not prime. Res64: 8F7E2D213B94D12C Time : 0.0 sec. user=mdettweiler [2018-08-28 04:01:00] 933*2^1522578-1 is not prime. Res64: 7C7AFAFE9C1BFAAD Time : 0.0 sec. user=mdettweiler [2018-08-28 04:01:01] 941*2^1522578-1 is not prime. Res64: D91CF974AA2DF90E Time : 0.0 sec. user=mdettweiler [2018-08-28 04:01:05] 975*2^1522578-1 is not prime. Res64: 04BB20ED6B8E8F7C Time : 0.0 sec. user=mdettweiler [2018-08-28 04:06:56] 639*2^1522579-1 is not prime. Res64: 9C52A7E81A5193A9 Time : 0.0 sec. user=mdettweiler [2018-08-28 04:06:58] 675*2^1522579-1 is not prime. Res64: EA32C3EC362F53FF Time : 0.0 sec. user=mdettweiler [2018-08-28 04:06:59] 685*2^1522579-1 is not prime. Res64: CEED4A8FC98CAD0A Time : 0.0 sec. user=mdettweiler [2018-08-28 04:07:00] 861*2^1522579-1 is not prime. Res64: D1C39C561D557959 Time : 0.0 sec. user=mdettweiler [2018-08-28 04:07:02] 975*2^1522579-1 is not prime. Res64: 33EC293810058B29 Time : 0.0 sec. user=odicin [2018-08-28 04:09:25] 747*2^1522581-1 is not prime. Res64: E652C14BCF78653C Time : 0.0 sec. user=odicin [2018-08-28 04:09:26] 781*2^1522581-1 is not prime. Res64: AC31D06985C0CEB2 Time : 0.0 sec. user=odicin [2018-08-28 04:30:22] 663*2^1522584-1 is not prime. Res64: 2D0D8D0A7D8127B2 Time : 0.0 sec. user=odicin [2018-08-28 04:30:23] 693*2^1522584-1 is not prime. Res64: 97F8539FEA940D1D Time : 0.0 sec. user=mdettweiler [2018-08-28 04:39:40] 813*2^1522580-1 is not prime. Res64: 8AC7FC3D4B65AE97 Time : 0.0 sec. user=mdettweiler [2018-08-28 04:39:40] 935*2^1522580-1 is not prime. Res64: 6C0EDCAEE9EE10CC Time : 0.0 sec. user=mdettweiler [2018-08-28 04:39:41] 963*2^1522580-1 is not prime. Res64: 1225B4E4ABE15033 Time : 0.0 sec. user=mdettweiler [2018-08-28 04:39:44] 601*2^1522581-1 is not prime. Res64: EB432A30DA1CDAEC Time : 0.0 sec. user=mdettweiler [2018-08-28 04:39:45] 625*2^1522581-1 is not prime. Res64: 82A3FAC0D86F2EC8 Time : 0.0 sec. user=mdettweiler [2018-08-28 04:40:56] 837*2^1522581-1 is not prime. Res64: D558691CD7431667 Time : 0.0 sec. user=mdettweiler [2018-08-28 04:40:56] 847*2^1522581-1 is not prime. Res64: AF61711236A2FFB5 Time : 0.0 sec. user=mdettweiler [2018-08-28 04:40:57] 895*2^1522581-1 is not prime. Res64: D52EEAE64BE4BC9D Time : 0.0 sec. user=mdettweiler [2018-08-28 04:40:57] 937*2^1522581-1 is not prime. Res64: A8DC259D33A9AADD Time : 0.0 sec. user=mdettweiler [2018-08-28 04:40:58] 945*2^1522581-1 is not prime. Res64: 0E7CCB0D8511A3BF Time : 0.0 sec. user=odicin [2018-08-28 04:51:29] 719*2^1522584-1 is not prime. Res64: C4AF4A7C3936D384 Time : 0.0 sec. user=odicin [2018-08-28 04:51:29] 789*2^1522584-1 is not prime. Res64: 3D74AD69BB64634F Time : 0.0 sec. user=mdettweiler [2018-08-28 04:52:53] 621*2^1522582-1 is not prime. Res64: 6DCBB639ABE14C94 Time : 0.0 sec. user=mdettweiler [2018-08-28 04:52:54] 635*2^1522582-1 is not prime. Res64: 54BE06727ED33DDD Time : 0.0 sec. user=mdettweiler [2018-08-28 04:52:54] 723*2^1522582-1 is not prime. Res64: 2811ADFA3725186B Time : 0.0 sec. user=mdettweiler [2018-08-28 04:52:55] 947*2^1522582-1 is not prime. Res64: 8F8EB2EE0C066818 Time : 0.0 sec. user=mdettweiler [2018-08-28 04:52:55] 981*2^1522582-1 is not prime. Res64: D4F71D231A0AC4D9 Time : 0.0 sec. user=mdettweiler [2018-08-28 04:58:06] 621*2^1522583-1 is not prime. Res64: 9694E0F374B124A5 Time : 0.0 sec. user=mdettweiler [2018-08-28 04:58:07] 703*2^1522583-1 is not prime. Res64: 20D40D3F2C9E472B Time : 0.0 sec. user=mdettweiler [2018-08-28 04:58:07] 783*2^1522583-1 is not prime. Res64: C3F28625C77827C6 Time : 0.0 sec. user=mdettweiler [2018-08-28 04:58:08] 789*2^1522583-1 is not prime. Res64: 2317F84D0C5CA366 Time : 0.0 sec. user=mdettweiler [2018-08-28 04:58:09] 823*2^1522583-1 is not prime. Res64: C6532720BA4BD0EC Time : 0.0 sec. user=odicin [2018-08-28 05:12:22] 707*2^1522586-1 is not prime. Res64: EDC479484719DA65 Time : 0.0 sec. user=odicin [2018-08-28 05:12:22] 831*2^1522586-1 is not prime. Res64: AF9A76D0AC0A1D5E Time : 0.0 sec. user=mdettweiler [2018-08-28 05:30:42] 843*2^1522584-1 is not prime. Res64: FEC708821022771E Time : 0.0 sec. user=mdettweiler [2018-08-28 05:30:42] 909*2^1522584-1 is not prime. Res64: BC1C6A2D0D69CA33 Time : 0.0 sec. user=mdettweiler [2018-08-28 05:30:43] 923*2^1522584-1 is not prime. Res64: F514DB708056A37B Time : 0.0 sec. user=mdettweiler [2018-08-28 05:30:43] 945*2^1522584-1 is not prime. Res64: 09589F7EB7EF4F16 Time : 0.0 sec. user=mdettweiler [2018-08-28 05:30:44] 741*2^1522585-1 is not prime. Res64: 141B412CA63CCDBE Time : 0.0 sec. user=mdettweiler [2018-08-28 05:31:49] 877*2^1522585-1 is not prime. Res64: C4F4CEB09481A845 Time : 0.0 sec. user=mdettweiler [2018-08-28 05:31:50] 895*2^1522585-1 is not prime. Res64: B64CF610A95DD6A3 Time : 0.0 sec. user=mdettweiler [2018-08-28 05:31:50] 985*2^1522585-1 is not prime. Res64: E593FE1AC7A61708 Time : 0.0 sec. user=mdettweiler [2018-08-28 05:31:51] 633*2^1522586-1 is not prime. Res64: FD290E72CE5A739D Time : 0.0 sec. user=mdettweiler [2018-08-28 05:31:51] 677*2^1522586-1 is not prime. Res64: 4A58AD776C1E2531 Time : 0.0 sec. user=odicin [2018-08-28 05:33:15] 987*2^1522588-1 is not prime. Res64: 0A352C3B19608E86 Time : 0.0 sec. user=odicin [2018-08-28 05:33:16] 675*2^1522589-1 is not prime. Res64: CD65825FBCC02B44 Time : 0.0 sec. user=mdettweiler [2018-08-28 05:43:58] 843*2^1522586-1 is not prime. Res64: C7B95D1B3049F32B Time : 0.0 sec. user=mdettweiler [2018-08-28 05:43:58] 615*2^1522587-1 is not prime. Res64: 0AEC864F97442C61 Time : 0.0 sec. user=mdettweiler [2018-08-28 05:43:59] 619*2^1522587-1 is not prime. Res64: 9E8F8907222FCFDD Time : 0.0 sec. user=mdettweiler [2018-08-28 05:43:59] 705*2^1522587-1 is not prime. Res64: 272D7A1A7F5BD71C Time : 0.0 sec. user=mdettweiler [2018-08-28 05:43:59] 769*2^1522587-1 is not prime. Res64: F653683A951E2C69 Time : 0.0 sec. user=mdettweiler [2018-08-28 05:49:02] 795*2^1522587-1 is not prime. Res64: 3D3539D5B46F12D6 Time : 0.0 sec. user=mdettweiler [2018-08-28 05:49:02] 843*2^1522587-1 is not prime. Res64: 4BF01976698508C3 Time : 0.0 sec. user=mdettweiler [2018-08-28 05:49:03] 603*2^1522588-1 is not prime. Res64: 2CC25FDFEECFC891 Time : 0.0 sec. user=mdettweiler [2018-08-28 05:49:03] 605*2^1522588-1 is not prime. Res64: FD413C3BE1E34A97 Time : 0.0 sec. user=mdettweiler [2018-08-28 05:49:04] 695*2^1522588-1 is not prime. Res64: 0C0686392B29E583 Time : 0.0 sec. user=odicin [2018-08-28 05:54:03] 863*2^1522590-1 is not prime. Res64: 8C97BDEA5FAD51B6 Time : 0.0 sec. user=odicin [2018-08-28 05:54:03] 887*2^1522590-1 is not prime. Res64: 8139D3A6AA75F3C0 Time : 0.0 sec. user=odicin [2018-08-28 06:14:51] 691*2^1522593-1 is not prime. Res64: 153C131FA28DBAD5 Time : 0.0 sec. user=odicin [2018-08-28 06:14:51] 915*2^1522593-1 is not prime. Res64: 57638D29CC834234 Time : 0.0 sec. user=mdettweiler [2018-08-28 06:21:45] 691*2^1522589-1 is not prime. Res64: 193A30EEDB073512 Time : 0.0 sec. user=mdettweiler [2018-08-28 06:21:45] 711*2^1522589-1 is not prime. Res64: 6A8D539BAE157352 Time : 0.0 sec. user=mdettweiler [2018-08-28 06:21:46] 861*2^1522589-1 is not prime. Res64: F12A6D0E8C1722BF Time : 0.0 sec. user=mdettweiler [2018-08-28 06:21:46] 889*2^1522589-1 is not prime. Res64: B6F7DE167E272D75 Time : 0.0 sec. user=mdettweiler [2018-08-28 06:21:46] 907*2^1522589-1 is not prime. Res64: 948F212E4A6EA914 Time : 0.0 sec. user=mdettweiler [2018-08-28 06:22:35] 939*2^1522589-1 is not prime. Res64: 87AB8379BFE1F7F2 Time : 0.0 sec. user=mdettweiler [2018-08-28 06:22:36] 615*2^1522590-1 is not prime. Res64: 3649F1275D983168 Time : 0.0 sec. user=mdettweiler [2018-08-28 06:22:36] 635*2^1522590-1 is not prime. Res64: 883461BFCBF4CABE Time : 0.0 sec. user=mdettweiler [2018-08-28 06:22:37] 641*2^1522590-1 is not prime. Res64: E70DB644F7FC011F Time : 0.0 sec. user=mdettweiler [2018-08-28 06:22:37] 791*2^1522590-1 is not prime. Res64: 18ABB69BA35C5645 Time : 0.0 sec. user=mdettweiler [2018-08-28 06:34:55] 917*2^1522590-1 is not prime. Res64: 4B74F33469F04012 Time : 0.0 sec. user=mdettweiler [2018-08-28 06:34:55] 1001*2^1522590-1 is not prime. Res64: CE3C7E6CC5B8AF42 Time : 0.0 sec. user=mdettweiler [2018-08-28 06:34:55] 619*2^1522591-1 is not prime. Res64: 75AD83133AEB99A3 Time : 0.0 sec. user=mdettweiler [2018-08-28 06:34:56] 909*2^1522591-1 is not prime. Res64: 0A0E3DA342F20AC7 Time : 0.0 sec. user=mdettweiler [2018-08-28 06:34:56] 943*2^1522591-1 is not prime. Res64: D48270472538D40C Time : 0.0 sec. user=odicin [2018-08-28 06:35:40] 737*2^1522594-1 is not prime. Res64: 9163B297F31FFB7F Time : 0.0 sec. user=odicin [2018-08-28 06:35:40] 827*2^1522594-1 is not prime. Res64: 1C4E0A49ABBF3818 Time : 0.0 sec. user=mdettweiler [2018-08-28 06:40:05] 969*2^1522591-1 is not prime. Res64: 74C7D684A3E5B75E Time : 0.0 sec. user=mdettweiler [2018-08-28 06:40:06] 975*2^1522591-1 is not prime. Res64: 771B21134848233E Time : 0.0 sec. user=mdettweiler [2018-08-28 06:40:06] 675*2^1522592-1 is not prime. Res64: 758C8F6FE359BBC9 Time : 0.0 sec. user=mdettweiler [2018-08-28 06:40:06] 995*2^1522592-1 is not prime. Res64: DE5036E3C5FB54AD Time : 0.0 sec. user=mdettweiler [2018-08-28 06:40:07] 639*2^1522593-1 is not prime. Res64: 801267BD291A7C40 Time : 0.0 sec. user=odicin [2018-08-28 06:56:26] 975*2^1522597-1 is not prime. Res64: A5EC4FCCC6240227 Time : 0.0 sec. user=odicin [2018-08-28 06:56:27] 985*2^1522597-1 is not prime. Res64: 28C9EFF8132D1765 Time : 0.0 sec. user=mdettweiler [2018-08-28 07:12:47] 855*2^1522594-1 is not prime. Res64: 86D1B5EA4A20A635 Time : 0.0 sec. user=mdettweiler [2018-08-28 07:12:48] 733*2^1522595-1 is not prime. Res64: F6AA2A659C161A9D Time : 0.0 sec. user=mdettweiler [2018-08-28 07:12:48] 771*2^1522595-1 is not prime. Res64: 1E3DA98C0A1BEDD8 Time : 0.0 sec. user=mdettweiler [2018-08-28 07:12:48] 781*2^1522595-1 is not prime. Res64: 0F6B1D1A531A2960 Time : 0.0 sec. user=mdettweiler [2018-08-28 07:12:49] 805*2^1522595-1 is not prime. Res64: 138A941EAC6003C2 Time : 0.0 sec. user=mdettweiler [2018-08-28 07:13:30] 913*2^1522595-1 is not prime. Res64: 8AFA070B13E90BAA Time : 0.0 sec. user=mdettweiler [2018-08-28 07:13:30] 633*2^1522596-1 is not prime. Res64: 02377244BEE0FC84 Time : 0.0 sec. user=mdettweiler [2018-08-28 07:13:31] 705*2^1522596-1 is not prime. Res64: 7D212D92B89C6A2B Time : 0.0 sec. user=mdettweiler [2018-08-28 07:13:31] 999*2^1522596-1 is not prime. Res64: 7936C028F40CCD76 Time : 0.0 sec. user=mdettweiler [2018-08-28 07:13:32] 645*2^1522597-1 is not prime. Res64: 9668C50ED008E36F Time : 0.0 sec. user=odicin [2018-08-28 07:17:14] 857*2^1522598-1 is not prime. Res64: 0C24941391F92AFD Time : 0.0 sec. user=odicin [2018-08-28 07:17:14] 867*2^1522598-1 is not prime. Res64: 41A32BD3BDDABEB6 Time : 0.0 sec. user=mdettweiler [2018-08-28 07:26:02] 649*2^1522597-1 is not prime. Res64: 430CB3A8DB75DEC6 Time : 0.0 sec. user=mdettweiler [2018-08-28 07:26:02] 687*2^1522597-1 is not prime. Res64: 66BC9A95D007FBFD Time : 0.0 sec. user=mdettweiler [2018-08-28 07:26:02] 729*2^1522597-1 is not prime. Res64: 70AE256218BA134E Time : 0.0 sec. user=mdettweiler [2018-08-28 07:26:03] 801*2^1522597-1 is not prime. Res64: FCEE185661D67DAB Time : 0.0 sec. user=mdettweiler [2018-08-28 07:26:03] 939*2^1522597-1 is not prime. Res64: 9083892F1B311F5B Time : 0.0 sec. user=mdettweiler [2018-08-28 07:30:54] 635*2^1522598-1 is not prime. Res64: 1927D2860702C507 Time : 0.0 sec. user=mdettweiler [2018-08-28 07:30:54] 731*2^1522598-1 is not prime. Res64: 5EFE76B705E8C668 Time : 0.0 sec. user=mdettweiler [2018-08-28 07:30:55] 771*2^1522598-1 is not prime. Res64: DCD9C16C97DE3F40 Time : 0.0 sec. user=mdettweiler [2018-08-28 07:30:55] 797*2^1522598-1 is not prime. Res64: 8A8DA0F24B77FB0C Time : 0.0 sec. user=mdettweiler [2018-08-28 07:30:55] 843*2^1522598-1 is not prime. Res64: 89D94DBDCBFA564E Time : 0.0 sec. user=odicin [2018-08-28 07:38:00] 669*2^1522601-1 is not prime. Res64: 35842B51801318D3 Time : 0.0 sec. user=odicin [2018-08-28 07:38:01] 957*2^1522601-1 is not prime. Res64: EBF1DEC458C03CD5 Time : 0.0 sec. user=odicin [2018-08-28 07:58:47] 919*2^1522603-1 is not prime. Res64: 566DE7DE36314351 Time : 0.0 sec. user=odicin [2018-08-28 07:58:48] 605*2^1522604-1 is not prime. Res64: A6A0BF6C6AAED2B1 Time : 0.0 sec. user=mdettweiler [2018-08-28 08:04:01] 663*2^1522599-1 is not prime. Res64: 413CB08A88DE7BBE Time : 0.0 sec. user=mdettweiler [2018-08-28 08:04:02] 879*2^1522599-1 is not prime. Res64: 6D6FF52BB4FEA7FB Time : 0.0 sec. user=mdettweiler [2018-08-28 08:04:03] 919*2^1522599-1 is not prime. Res64: AD4C061D34ABF4B4 Time : 0.0 sec. user=mdettweiler [2018-08-28 08:04:04] 951*2^1522599-1 is not prime. Res64: 6217B6AF555034C3 Time : 0.0 sec. user=mdettweiler [2018-08-28 08:04:05] 979*2^1522599-1 is not prime. Res64: 96A4B968B5E9381E Time : 0.0 sec. user=mdettweiler [2018-08-28 08:04:19] 999*2^1522599-1 is not prime. Res64: A68157C84353A680 Time : 0.0 sec. user=mdettweiler [2018-08-28 08:04:20] 845*2^1522600-1 is not prime. Res64: 5CE65ED183A0AB94 Time : 0.0 sec. user=mdettweiler [2018-08-28 08:04:22] 875*2^1522600-1 is not prime. Res64: C4129C3A09BE848D Time : 0.0 sec. user=mdettweiler [2018-08-28 08:04:23] 607*2^1522601-1 is not prime. Res64: 46F6D3B5E90FEF1A Time : 0.0 sec. user=mdettweiler [2018-08-28 08:04:25] 631*2^1522601-1 is not prime. Res64: AEDD17EA93D2980B Time : 0.0 sec. user=mdettweiler [2018-08-28 08:16:46] 755*2^1522602-1 is not prime. Res64: 548C9339484D28E9 Time : 0.0 sec. user=mdettweiler [2018-08-28 08:16:46] 791*2^1522602-1 is not prime. Res64: 0024F8E77E75D5AC Time : 0.0 sec. user=mdettweiler [2018-08-28 08:16:46] 801*2^1522602-1 is not prime. Res64: 4AD7C27673EEC94C Time : 0.0 sec. user=mdettweiler [2018-08-28 08:16:47] 803*2^1522602-1 is not prime. Res64: C739AFE64BAC64A4 Time : 0.0 sec. user=mdettweiler [2018-08-28 08:16:47] 903*2^1522602-1 is not prime. Res64: 192FCEC6DC020933 Time : 0.0 sec. user=odicin [2018-08-28 08:19:35] 857*2^1522604-1 is not prime. Res64: DB5276444E136D9D Time : 0.0 sec. user=odicin [2018-08-28 08:19:35] 875*2^1522604-1 is not prime. Res64: DCF3D2296FC23CBA Time : 0.0 sec. user=mdettweiler [2018-08-28 08:21:32] 923*2^1522602-1 is not prime. Res64: E18ABA7F34B1E5B6 Time : 0.0 sec. user=mdettweiler [2018-08-28 08:21:32] 615*2^1522603-1 is not prime. Res64: E07FBEE33EC7975E Time : 0.0 sec. user=mdettweiler [2018-08-28 08:21:33] 783*2^1522603-1 is not prime. Res64: EA3C7C49230BE8F6 Time : 0.0 sec. user=mdettweiler [2018-08-28 08:21:33] 853*2^1522603-1 is not prime. Res64: B33222C28C9EDFD3 Time : 0.0 sec. user=mdettweiler [2018-08-28 08:21:33] 901*2^1522603-1 is not prime. Res64: A93A67A165B5B004 Time : 0.0 sec. user=odicin [2018-08-28 08:40:22] 753*2^1522607-1 is not prime. Res64: 5EB37EC7F74C11DB Time : 0.0 sec. user=odicin [2018-08-28 08:40:22] 831*2^1522607-1 is not prime. Res64: D1ABA69F3E5ACE13 Time : 0.0 sec. user=mdettweiler [2018-08-28 08:55:26] 915*2^1522605-1 is not prime. Res64: 35A9F6BB6A3B6CF1 Time : 0.0 sec. user=mdettweiler [2018-08-28 08:55:26] 937*2^1522605-1 is not prime. Res64: 7F6B0A200830FD25 Time : 0.0 sec. user=mdettweiler [2018-08-28 08:55:26] 695*2^1522606-1 is not prime. Res64: 6ACDD97EA9E5DE62 Time : 0.0 sec. user=mdettweiler [2018-08-28 08:55:27] 705*2^1522606-1 is not prime. Res64: AAEA05692890CD64 Time : 0.0 sec. user=mdettweiler [2018-08-28 08:55:27] 783*2^1522606-1 is not prime. Res64: 28531310B1EE22FD Time : 0.0 sec. user=mdettweiler [2018-08-28 08:55:35] 927*2^1522604-1 is not prime. Res64: 9B131C6A14CB7F0A Time : 0.0 sec. user=mdettweiler [2018-08-28 08:55:36] 625*2^1522605-1 is not prime. Res64: 3281DD04BCAD18BA Time : 0.0 sec. user=mdettweiler [2018-08-28 08:55:36] 655*2^1522605-1 is not prime. Res64: 472DD2F1C4372084 Time : 0.0 sec. user=mdettweiler [2018-08-28 08:55:36] 685*2^1522605-1 is not prime. Res64: 25D3CDB2599FBF22 Time : 0.0 sec. user=mdettweiler [2018-08-28 08:55:37] 735*2^1522605-1 is not prime. Res64: 704E62A51CDFECC8 Time : 0.0 sec. user=odicin [2018-08-28 09:01:10] 789*2^1522608-1 is not prime. Res64: 261FB20F75EA85A1 Time : 0.0 sec. user=odicin [2018-08-28 09:01:11] 849*2^1522608-1 is not prime. Res64: 39AD4968A3E62DDF Time : 0.0 sec. user=mdettweiler [2018-08-28 09:07:44] 867*2^1522606-1 is not prime. Res64: F4FC5DF468C75A3B Time : 0.0 sec. user=mdettweiler [2018-08-28 09:07:44] 887*2^1522606-1 is not prime. Res64: 5100999776D90884 Time : 0.0 sec. user=mdettweiler [2018-08-28 09:07:45] 957*2^1522606-1 is not prime. Res64: D2B1CC1A8899A386 Time : 0.0 sec. user=mdettweiler [2018-08-28 09:07:45] 619*2^1522607-1 is not prime. Res64: F3A4A5AE5A38A427 Time : 0.0 sec. user=mdettweiler [2018-08-28 09:07:46] 711*2^1522607-1 is not prime. Res64: F79E847C12DD6311 Time : 0.0 sec. user=mdettweiler [2018-08-28 09:12:28] 843*2^1522607-1 is not prime. Res64: D48A6AA2D68A507E Time : 0.0 sec. user=mdettweiler [2018-08-28 09:12:29] 871*2^1522607-1 is not prime. Res64: B961DEBC706A0EB2 Time : 0.0 sec. user=mdettweiler [2018-08-28 09:12:29] 909*2^1522607-1 is not prime. Res64: 19D936787DF17A64 Time : 0.0 sec. user=mdettweiler [2018-08-28 09:12:30] 979*2^1522607-1 is not prime. Res64: FF99B825D3FB4146 Time : 0.0 sec. user=mdettweiler [2018-08-28 09:12:30] 723*2^1522608-1 is not prime. Res64: 1F22DF55C3C92187 Time : 0.0 sec. user=odicin [2018-08-28 09:22:01] 827*2^1522610-1 is not prime. Res64: 2D9127D5ED12DD1B Time : 0.0 sec. user=odicin [2018-08-28 09:22:01] 887*2^1522610-1 is not prime. Res64: 356D5EE7EA66C0AD Time : 0.0 sec. user=odicin [2018-08-28 09:42:46] 819*2^1522612-1 is not prime. Res64: 0A02F4A9C49F7030 Time : 0.0 sec. user=odicin [2018-08-28 09:42:46] 903*2^1522612-1 is not prime. Res64: FE6B60C53CC22AC3 Time : 0.0 sec. user=mdettweiler [2018-08-28 09:46:04] 625*2^1522609-1 is not prime. Res64: CDEDCE07A0FE9C99 Time : 0.0 sec. user=mdettweiler [2018-08-28 09:46:04] 637*2^1522609-1 is not prime. Res64: D4D6DDA87DCAAEA2 Time : 0.0 sec. user=mdettweiler [2018-08-28 09:46:04] 925*2^1522609-1 is not prime. Res64: DF89DCC8D9F708D1 Time : 0.0 sec. user=mdettweiler [2018-08-28 09:46:05] 999*2^1522609-1 is not prime. Res64: 38F4CFCB018FBCD8 Time : 0.0 sec. user=mdettweiler [2018-08-28 09:46:05] 603*2^1522610-1 is not prime. Res64: D9323BB33A36468E Time : 0.0 sec. user=mdettweiler [2018-08-28 09:46:17] 635*2^1522610-1 is not prime. Res64: 44D4EA9AC12527D0 Time : 0.0 sec. user=mdettweiler [2018-08-28 09:46:17] 711*2^1522610-1 is not prime. Res64: 783F681B395B400B Time : 0.0 sec. user=mdettweiler [2018-08-28 09:46:17] 743*2^1522610-1 is not prime. Res64: 8A4B157D60EA141E Time : 0.0 sec. user=mdettweiler [2018-08-28 09:46:18] 767*2^1522610-1 is not prime. Res64: 82168A9D221B6C51 Time : 0.0 sec. user=mdettweiler [2018-08-28 09:46:18] 783*2^1522610-1 is not prime. Res64: 4C6AB6660355C10D Time : 0.0 sec. user=mdettweiler [2018-08-28 09:58:30] 941*2^1522610-1 is not prime. Res64: 22DDBAB2E42B928C Time : 0.0 sec. user=mdettweiler [2018-08-28 09:58:30] 643*2^1522611-1 is not prime. Res64: FDD1B42AE6CD2F99 Time : 0.0 sec. user=mdettweiler [2018-08-28 09:58:31] 781*2^1522611-1 is not prime. Res64: 60ACDA758C8B1720 Time : 0.0 sec. user=mdettweiler [2018-08-28 09:58:31] 801*2^1522611-1 is not prime. Res64: 7AEAB7157F278E8A Time : 0.0 sec. user=mdettweiler [2018-08-28 09:58:31] 895*2^1522611-1 is not prime. Res64: B9B225B9B018950E Time : 0.0 sec. user=mdettweiler [2018-08-28 10:03:25] 609*2^1522612-1 is not prime. Res64: 5E236011120A41A8 Time : 0.0 sec. user=mdettweiler [2018-08-28 10:03:27] 615*2^1522612-1 is not prime. Res64: 9F85EFB6B1329815 Time : 0.0 sec. user=mdettweiler [2018-08-28 10:03:28] 759*2^1522612-1 is not prime. Res64: CF02335B0E5299E0 Time : 0.0 sec. user=mdettweiler [2018-08-28 10:03:28] 777*2^1522612-1 is not prime. Res64: 145C4C535F243CFF Time : 0.0 sec. user=mdettweiler [2018-08-28 10:03:29] 797*2^1522612-1 is not prime. Res64: 29DD163005B5B2F2 Time : 0.0 sec. user=odicin [2018-08-28 10:03:35] 983*2^1522612-1 is not prime. Res64: 95DA1D0A3CE7B86A Time : 0.0 sec. user=odicin [2018-08-28 10:03:36] 995*2^1522612-1 is not prime. Res64: D0EA0764007DD700 Time : 0.0 sec. user=odicin [2018-08-28 10:24:51] 861*2^1522615-1 is not prime. Res64: CC7D480CECE361C7 Time : 0.0 sec. user=odicin [2018-08-28 10:24:52] 951*2^1522615-1 is not prime. Res64: 67667FC41677B4AB Time : 0.0 sec. user=mdettweiler [2018-08-28 10:36:34] 685*2^1522613-1 is not prime. Res64: 21D780EB8FC60E6E Time : 0.0 sec. user=mdettweiler [2018-08-28 10:36:34] 729*2^1522613-1 is not prime. Res64: 42CD400647C8657E Time : 0.0 sec. user=mdettweiler [2018-08-28 10:36:35] 747*2^1522613-1 is not prime. Res64: CD0DBC1E4B4476E2 Time : 0.0 sec. user=mdettweiler [2018-08-28 10:36:35] 837*2^1522613-1 is not prime. Res64: 89FE4273EE6D8AD7 Time : 0.0 sec. user=mdettweiler [2018-08-28 10:36:35] 879*2^1522613-1 is not prime. Res64: 646CA5496E5B03E2 Time : 0.0 sec. user=mdettweiler [2018-08-28 10:36:57] 621*2^1522614-1 is not prime. Res64: AEACE9B4A8AC585C Time : 0.0 sec. user=mdettweiler [2018-08-28 10:36:57] 651*2^1522614-1 is not prime. Res64: 3F0B2BFDFFC9C1AF Time : 0.0 sec. user=mdettweiler [2018-08-28 10:36:58] 791*2^1522614-1 is not prime. Res64: 1A2266B6F491DB63 Time : 0.0 sec. user=mdettweiler [2018-08-28 10:36:58] 807*2^1522614-1 is not prime. Res64: 036838080CEBBFF1 Time : 0.0 sec. user=mdettweiler [2018-08-28 10:36:58] 861*2^1522614-1 is not prime. Res64: B87DA3092D3046B7 Time : 0.0 sec. user=odicin [2018-08-28 10:47:22] 983*2^1522616-1 is not prime. Res64: ED2D6D59CA1781F1 Time : 0.0 sec. user=odicin [2018-08-28 10:47:22] 993*2^1522616-1 is not prime. Res64: B6E6E8F1B5AE1E90 Time : 0.0 sec. user=mdettweiler [2018-08-28 10:49:06] 951*2^1522614-1 is not prime. Res64: 4F504924F79E203E Time : 0.0 sec. user=mdettweiler [2018-08-28 10:49:06] 1001*2^1522614-1 is not prime. Res64: 38BCDF2FF8E08B9A Time : 0.0 sec. user=mdettweiler [2018-08-28 10:49:06] 759*2^1522615-1 is not prime. Res64: A75F371A4B7EE360 Time : 0.0 sec. user=mdettweiler [2018-08-28 10:49:07] 789*2^1522615-1 is not prime. Res64: 352FAF1DDEAB290C Time : 0.0 sec. user=mdettweiler [2018-08-28 10:49:07] 853*2^1522615-1 is not prime. Res64: A05E297ED9B4C9CE Time : 0.0 sec. user=mdettweiler [2018-08-28 10:54:53] 603*2^1522616-1 is not prime. Res64: C8FFEAB451FE514B Time : 0.0 sec. user=mdettweiler [2018-08-28 10:54:53] 659*2^1522616-1 is not prime. Res64: 3C1AF2F5B3778730 Time : 0.0 sec. user=mdettweiler [2018-08-28 10:54:53] 669*2^1522616-1 is not prime. Res64: 772AAA518F8882BF Time : 0.0 sec. user=mdettweiler [2018-08-28 10:54:54] 869*2^1522616-1 is not prime. Res64: F6D4EFBE6D790B92 Time : 0.0 sec. user=mdettweiler [2018-08-28 10:54:54] 963*2^1522616-1 is not prime. Res64: 9F13FCBE44AC2845 Time : 0.0 sec. user=odicin [2018-08-28 11:09:42] 619*2^1522619-1 is not prime. Res64: DC111BC01BAA34FF Time : 0.0 sec. user=odicin [2018-08-28 11:09:42] 675*2^1522619-1 is not prime. Res64: 48064982D3F21358 Time : 0.0 sec. user=mdettweiler [2018-08-28 11:27:21] 615*2^1522617-1 is not prime. Res64: 1E8358D178A790E5 Time : 0.0 sec. user=mdettweiler [2018-08-28 11:27:21] 777*2^1522617-1 is not prime. Res64: E02C7573CB9F9E6F Time : 0.0 sec. user=mdettweiler [2018-08-28 11:27:22] 795*2^1522617-1 is not prime. Res64: DE9936E12894B51D Time : 0.0 sec. user=mdettweiler [2018-08-28 11:27:22] 955*2^1522617-1 is not prime. Res64: 206BDDC6C1D3F478 Time : 0.0 sec. user=mdettweiler [2018-08-28 11:27:23] 677*2^1522618-1 is not prime. Res64: B9C1D909CCD8799E Time : 0.0 sec. user=mdettweiler [2018-08-28 11:27:41] 755*2^1522618-1 is not prime. Res64: C3EBCE20989C260D Time : 0.0 sec. user=mdettweiler [2018-08-28 11:27:41] 861*2^1522618-1 is not prime. Res64: D42B88A31AABC5AD Time : 0.0 sec. user=mdettweiler [2018-08-28 11:27:42] 905*2^1522618-1 is not prime. Res64: CB1FC07B4006FA7F Time : 0.0 sec. user=mdettweiler [2018-08-28 11:27:42] 923*2^1522618-1 is not prime. Res64: A90E7C4DBA9B4A11 Time : 0.0 sec. user=mdettweiler [2018-08-28 11:27:43] 981*2^1522618-1 is not prime. Res64: 1B712C003107AAC1 Time : 0.0 sec. user=odicin [2018-08-28 11:32:05] 975*2^1522620-1 is not prime. Res64: E9190EC31FCEFA38 Time : 0.0 sec. user=odicin [2018-08-28 11:32:05] 999*2^1522620-1 is not prime. Res64: CCBED38AD34F7C3D Time : 0.0 sec. user=mdettweiler [2018-08-28 11:39:55] 703*2^1522619-1 is not prime. Res64: EE4BD92C213D2C30 Time : 0.0 sec. user=mdettweiler [2018-08-28 11:39:55] 789*2^1522619-1 is not prime. Res64: CEBAD8E12D22E7F3 Time : 0.0 sec. user=mdettweiler [2018-08-28 11:39:56] 813*2^1522619-1 is not prime. Res64: 4B6626A99B176897 Time : 0.0 sec. user=mdettweiler [2018-08-28 11:39:56] 825*2^1522619-1 is not prime. Res64: 506C701836513F19 Time : 0.0 sec. user=mdettweiler [2018-08-28 11:39:57] 653*2^1522620-1 is not prime. Res64: E02EE51F0521566C Time : 0.0 sec. user=mdettweiler [2018-08-28 11:45:35] 675*2^1522620-1 is not prime. Res64: 98F5E8DB4659C642 Time : 0.0 sec. user=mdettweiler [2018-08-28 11:45:36] 689*2^1522620-1 is not prime. Res64: 7EBDC132796CA3BB Time : 0.0 sec. user=mdettweiler [2018-08-28 11:45:36] 717*2^1522620-1 is not prime. Res64: 9E29FF9606E5E46F Time : 0.0 sec. user=mdettweiler [2018-08-28 11:45:36] 819*2^1522620-1 is not prime. Res64: A20D1281613A4DEB Time : 0.0 sec. user=mdettweiler [2018-08-28 11:45:37] 825*2^1522620-1 is not prime. Res64: C957C41D3D8B495E Time : 0.0 sec. user=odicin [2018-08-28 11:54:22] 805*2^1522623-1 is not prime. Res64: 6D34F43568F35A31 Time : 0.0 sec. user=odicin [2018-08-28 11:54:22] 871*2^1522623-1 is not prime. Res64: D0B5B658BC0E7BBA Time : 0.0 sec. user=odicin [2018-08-28 12:16:40] 723*2^1522626-1 is not prime. Res64: 267FA6AE21F8BC57 Time : 0.0 sec. user=odicin [2018-08-28 12:16:41] 807*2^1522626-1 is not prime. Res64: 899CE05EC4E304E3 Time : 0.0 sec. user=mdettweiler [2018-08-28 12:17:59] 855*2^1522621-1 is not prime. Res64: 801A938E65232352 Time : 0.0 sec. user=mdettweiler [2018-08-28 12:18:00] 861*2^1522621-1 is not prime. Res64: 3779D65E2E74AFF5 Time : 0.0 sec. user=mdettweiler [2018-08-28 12:18:00] 931*2^1522621-1 is not prime. Res64: EC7AAD268C4AFDD1 Time : 0.0 sec. user=mdettweiler [2018-08-28 12:18:01] 997*2^1522621-1 is not prime. Res64: 3B3DFA937EDCEA7E Time : 0.0 sec. user=mdettweiler [2018-08-28 12:18:01] 675*2^1522622-1 is not prime. Res64: 2A153C94EC1E65F3 Time : 0.0 sec. user=mdettweiler [2018-08-28 12:18:33] 713*2^1522622-1 is not prime. Res64: 6F655D70C6186B63 Time : 0.0 sec. user=mdettweiler [2018-08-28 12:18:33] 771*2^1522622-1 is not prime. Res64: 12BD5DDF1DB6CC39 Time : 0.0 sec. user=mdettweiler [2018-08-28 12:18:34] 609*2^1522623-1 is not prime. Res64: E98C333B20C71434 Time : 0.0 sec. user=mdettweiler [2018-08-28 12:18:34] 621*2^1522623-1 is not prime. Res64: EBAB404E1E48AB11 Time : 0.0 sec. user=mdettweiler [2018-08-28 12:18:35] 735*2^1522623-1 is not prime. Res64: 0466DFAAF2F209FC Time : 0.0 sec. user=mdettweiler [2018-08-28 12:30:39] 615*2^1522624-1 is not prime. Res64: 0A3A5AA39EF14A61 Time : 0.0 sec. user=mdettweiler [2018-08-28 12:30:39] 765*2^1522624-1 is not prime. Res64: 0886EE09F312B8E0 Time : 0.0 sec. user=mdettweiler [2018-08-28 12:30:40] 813*2^1522624-1 is not prime. Res64: B33EBB748D1EE758 Time : 0.0 sec. user=mdettweiler [2018-08-28 12:30:40] 843*2^1522624-1 is not prime. Res64: B31CC25B7CF0C7FA Time : 0.0 sec. user=mdettweiler [2018-08-28 12:30:40] 849*2^1522624-1 is not prime. Res64: 9C3F5196BFC9FA8D Time : 0.0 sec. user=mdettweiler [2018-08-28 12:36:14] 857*2^1522624-1 is not prime. Res64: D0FAFEDCECAB3423 Time : 0.0 sec. user=mdettweiler [2018-08-28 12:36:15] 657*2^1522625-1 is not prime. Res64: 47D623ED4B04617B Time : 0.0 sec. user=mdettweiler [2018-08-28 12:36:16] 729*2^1522625-1 is not prime. Res64: B004C6B11B0BBBFD Time : 0.0 sec. user=mdettweiler [2018-08-28 12:36:17] 683*2^1522626-1 is not prime. Res64: 12A2B496D2044161 Time : 0.0 sec. user=mdettweiler [2018-08-28 12:36:17] 713*2^1522626-1 is not prime. Res64: A5011CDC870A6E1B Time : 0.0 sec. user=odicin [2018-08-28 12:39:01] 815*2^1522626-1 is not prime. Res64: 4B2CF52D03EDF4C2 Time : 0.0 sec. user=odicin [2018-08-28 12:39:02] 875*2^1522626-1 is not prime. Res64: 9ED7617F74853775 Time : 0.0 sec. user=odicin [2018-08-28 13:01:26] 673*2^1522631-1 is not prime. Res64: 0C686E91E0446E5A Time : 0.0 sec. user=odicin [2018-08-28 13:01:27] 711*2^1522631-1 is not prime. Res64: 4E37EBF23A52F402 Time : 0.0 sec. user=mdettweiler [2018-08-28 13:09:00] 693*2^1522627-1 is not prime. Res64: D34B17DE78A65103 Time : 0.0 sec. user=mdettweiler [2018-08-28 13:09:01] 909*2^1522627-1 is not prime. Res64: C925E43F1D6EE84C Time : 0.0 sec. user=mdettweiler [2018-08-28 13:09:01] 945*2^1522627-1 is not prime. Res64: 1C5B9C1F30BDF61A Time : 0.0 sec. user=mdettweiler [2018-08-28 13:09:02] 669*2^1522628-1 is not prime. Res64: 4CA86A339A8EBB55 Time : 0.0 sec. user=mdettweiler [2018-08-28 13:09:02] 743*2^1522628-1 is not prime. Res64: FC692B9488AAE29C Time : 0.0 sec. user=mdettweiler [2018-08-28 13:09:25] 797*2^1522628-1 is not prime. Res64: 5166945A7615C064 Time : 0.0 sec. user=mdettweiler [2018-08-28 13:09:25] 909*2^1522628-1 is not prime. Res64: C598E12808FB9D0D Time : 0.0 sec. user=mdettweiler [2018-08-28 13:09:25] 639*2^1522629-1 is not prime. Res64: 7F46D14D417455C4 Time : 0.0 sec. user=mdettweiler [2018-08-28 13:09:26] 667*2^1522629-1 is not prime. Res64: F00212B8A8DCB0D2 Time : 0.0 sec. user=mdettweiler [2018-08-28 13:09:26] 669*2^1522629-1 is not prime. Res64: C9911660839C36B6 Time : 0.0 sec. user=mdettweiler [2018-08-28 13:21:45] 691*2^1522629-1 is not prime. Res64: BD6C0399FF6D5271 Time : 0.0 sec. user=mdettweiler [2018-08-28 13:21:46] 711*2^1522629-1 is not prime. Res64: 39148AA92255FCA0 Time : 0.0 sec. user=mdettweiler [2018-08-28 13:21:46] 829*2^1522629-1 is not prime. Res64: EC2AD4AB47640C07 Time : 0.0 sec. user=mdettweiler [2018-08-28 13:21:47] 867*2^1522629-1 is not prime. Res64: 87D913AB4E64B617 Time : 0.0 sec. user=mdettweiler [2018-08-28 13:21:47] 951*2^1522629-1 is not prime. Res64: D5D0A754EF7FEAD8 Time : 0.0 sec. user=mdettweiler [2018-08-28 13:27:42] 635*2^1522630-1 is not prime. Res64: 44536EAEE570B8BC Time : 0.0 sec. user=mdettweiler [2018-08-28 13:27:43] 657*2^1522630-1 is not prime. Res64: 55209437876D0A03 Time : 0.0 sec. user=mdettweiler [2018-08-28 13:27:43] 665*2^1522630-1 is not prime. Res64: CA3197C77920EE3A Time : 0.0 sec. user=mdettweiler [2018-08-28 13:27:44] 695*2^1522630-1 is not prime. Res64: CA8A0C93C9B3A839 Time : 0.0 sec. user=mdettweiler [2018-08-28 13:27:44] 601*2^1522631-1 is not prime. Res64: F03A2A6561BA358F Time : 0.0 sec. user=mdettweiler [2018-08-28 14:00:44] 789*2^1522631-1 is not prime. Res64: F85DB26817EE9A2D Time : 0.0 sec. user=mdettweiler [2018-08-28 14:00:45] 825*2^1522631-1 is not prime. Res64: 9082CB846F3FA1DC Time : 0.0 sec. user=mdettweiler [2018-08-28 14:00:46] 859*2^1522631-1 is not prime. Res64: 2C92DED7A25D433E Time : 0.0 sec. user=mdettweiler [2018-08-28 14:00:47] 609*2^1522632-1 is not prime. Res64: 54FED733458165E3 Time : 0.0 sec. user=mdettweiler [2018-08-28 14:00:47] 669*2^1522632-1 is not prime. Res64: 274FD5ADB4F9C94E Time : 0.0 sec. user=mdettweiler [2018-08-28 14:01:18] 675*2^1522632-1 is not prime. Res64: 65AF142D4850A994 Time : 0.0 sec. user=mdettweiler [2018-08-28 14:01:19] 683*2^1522632-1 is not prime. Res64: 6585B4CFD8D3A914 Time : 0.0 sec. user=mdettweiler [2018-08-28 14:01:20] 719*2^1522632-1 is not prime. Res64: 51C565E071B1300F Time : 0.0 sec. user=mdettweiler [2018-08-28 14:01:20] 777*2^1522632-1 is not prime. Res64: 3FBE3F7E740BCC14 Time : 0.0 sec. user=mdettweiler [2018-08-28 14:01:21] 849*2^1522632-1 is not prime. Res64: 93FE0CE5C42DDD1A Time : 0.0 sec. user=mdettweiler [2018-08-28 14:12:52] 873*2^1522632-1 is not prime. Res64: 200BCB3EA61B8EB0 Time : 0.0 sec. user=mdettweiler [2018-08-28 14:12:52] 899*2^1522632-1 is not prime. Res64: D0EB4C8D2C9837BB Time : 0.0 sec. user=mdettweiler [2018-08-28 14:12:53] 649*2^1522633-1 is not prime. Res64: 69FD261B8BF323BE Time : 0.0 sec. user=mdettweiler [2018-08-28 14:12:53] 705*2^1522633-1 is not prime. Res64: EEEC854A29DC0D27 Time : 0.0 sec. user=mdettweiler [2018-08-28 14:12:54] 789*2^1522633-1 is not prime. Res64: BAB64BB5A67A8577 Time : 0.0 sec. user=mdettweiler [2018-08-28 14:18:38] 807*2^1522633-1 is not prime. Res64: 0018E26931211022 Time : 0.0 sec. user=mdettweiler [2018-08-28 14:18:38] 885*2^1522633-1 is not prime. Res64: D303A8D1A0C60AD8 Time : 0.0 sec. user=mdettweiler [2018-08-28 14:18:39] 955*2^1522633-1 is not prime. Res64: 568402FF09E358D6 Time : 0.0 sec. user=mdettweiler [2018-08-28 14:18:39] 617*2^1522634-1 is not prime. Res64: F5A4CD88D0BDA1A4 Time : 0.0 sec. user=mdettweiler [2018-08-28 14:18:40] 635*2^1522634-1 is not prime. Res64: 764B3088017D2B96 Time : 0.0 sec. user=mdettweiler [2018-08-28 14:52:16] 651*2^1522634-1 is not prime. Res64: BD412F4A1FE0A74E Time : 0.0 sec. user=mdettweiler [2018-08-28 14:52:16] 705*2^1522634-1 is not prime. Res64: 500CCB0E8AA3B911 Time : 0.0 sec. user=mdettweiler [2018-08-28 14:52:17] 851*2^1522634-1 is not prime. Res64: 578F3F7A6148223E Time : 0.0 sec. user=mdettweiler [2018-08-28 14:52:17] 857*2^1522634-1 is not prime. Res64: 2D9B0635E1BA684A Time : 0.0 sec. user=mdettweiler [2018-08-28 14:52:17] 1001*2^1522634-1 is not prime. Res64: 875BA62F96CB10A2 Time : 0.0 sec. user=mdettweiler [2018-08-28 14:52:24] 633*2^1522635-1 is not prime. Res64: 8A5F5161892A9601 Time : 0.0 sec. user=mdettweiler [2018-08-28 14:52:24] 781*2^1522635-1 is not prime. Res64: 75FB8E1A3E70B9EC Time : 0.0 sec. user=mdettweiler [2018-08-28 14:52:24] 919*2^1522635-1 is not prime. Res64: BA0622A4F1E56C25 Time : 0.0 sec. user=mdettweiler [2018-08-28 14:52:25] 615*2^1522636-1 is not prime. Res64: 24078A05873D18A7 Time : 0.0 sec. user=mdettweiler [2018-08-28 14:52:25] 675*2^1522636-1 is not prime. Res64: FD1FADCED62EC284 Time : 0.0 sec. user=mdettweiler [2018-08-28 15:03:56] 677*2^1522636-1 is not prime. Res64: D5642741AD5F71FF Time : 0.0 sec. user=mdettweiler [2018-08-28 15:03:57] 689*2^1522636-1 is not prime. Res64: E56A4514B4B5EF2D Time : 0.0 sec. user=mdettweiler [2018-08-28 15:03:58] 693*2^1522636-1 is not prime. Res64: 779A2BB97B86E7B9 Time : 0.0 sec. user=mdettweiler [2018-08-28 15:04:00] 765*2^1522636-1 is not prime. Res64: 69594224669C4975 Time : 0.0 sec. user=mdettweiler [2018-08-28 15:04:01] 615*2^1522637-1 is not prime. Res64: 0FA2F63BDEF792CF Time : 0.0 sec. user=mdettweiler [2018-08-28 15:09:29] 697*2^1522637-1 is not prime. Res64: 0012510915226242 Time : 0.0 sec. user=mdettweiler [2018-08-28 15:09:30] 711*2^1522637-1 is not prime. Res64: 1DB17BF499D0B7F8 Time : 0.0 sec. user=mdettweiler [2018-08-28 15:09:31] 717*2^1522637-1 is not prime. Res64: 330BCB92CD497678 Time : 0.0 sec. user=mdettweiler [2018-08-28 15:09:31] 757*2^1522637-1 is not prime. Res64: BEB7387B5FE5B4DE Time : 0.0 sec. user=mdettweiler [2018-08-28 15:09:32] 759*2^1522637-1 is not prime. Res64: 6E1A4D61D08AEC02 Time : 0.0 sec. user=mdettweiler [2018-08-28 15:43:12] 831*2^1522637-1 is not prime. Res64: D133E752DA0A4AD1 Time : 0.0 sec. user=mdettweiler [2018-08-28 15:43:12] 927*2^1522637-1 is not prime. Res64: 536D209C75D64523 Time : 0.0 sec. user=mdettweiler [2018-08-28 15:43:13] 967*2^1522637-1 is not prime. Res64: 33CDA687ACE19F63 Time : 0.0 sec. user=mdettweiler [2018-08-28 15:43:13] 663*2^1522638-1 is not prime. Res64: 35317C3D947761F0 Time : 0.0 sec. user=mdettweiler [2018-08-28 15:43:13] 755*2^1522638-1 is not prime. Res64: 31FF9E5A0699E12F Time : 0.0 sec. user=mdettweiler [2018-08-28 15:43:27] 765*2^1522638-1 is not prime. Res64: 368E4E062286A596 Time : 0.0 sec. user=mdettweiler [2018-08-28 15:43:27] 801*2^1522638-1 is not prime. Res64: 30891E004AD754FF Time : 0.0 sec. user=mdettweiler [2018-08-28 15:43:27] 843*2^1522638-1 is not prime. Res64: FDB723A65E5DEDC5 Time : 0.0 sec. user=mdettweiler [2018-08-28 15:43:28] 861*2^1522638-1 is not prime. Res64: 12F06F3117C2DE3E Time : 0.0 sec. user=mdettweiler [2018-08-28 15:43:28] 881*2^1522638-1 is not prime. Res64: C42728E7DAB1E956 Time : 0.0 sec. user=mdettweiler [2018-08-28 15:55:20] 625*2^1522639-1 is not prime. Res64: 9609775342C9C56C Time : 0.0 sec. user=mdettweiler [2018-08-28 15:55:21] 693*2^1522639-1 is not prime. Res64: E3E1D3125B856F05 Time : 0.0 sec. user=mdettweiler [2018-08-28 15:55:21] 765*2^1522639-1 is not prime. Res64: 01A218CB89AA0418 Time : 0.0 sec. user=mdettweiler [2018-08-28 15:55:22] 775*2^1522639-1 is not prime. Res64: 501D1E990AAC0AE7 Time : 0.0 sec. user=mdettweiler [2018-08-28 15:55:22] 841*2^1522639-1 is not prime. Res64: 7F4288491FCA4D8F Time : 0.0 sec. user=mdettweiler [2018-08-28 16:00:38] 853*2^1522639-1 is not prime. Res64: 416DBF461E1D6DA2 Time : 0.0 sec. user=mdettweiler [2018-08-28 16:00:38] 895*2^1522639-1 is not prime. Res64: 197AD9D63D9D96DA Time : 0.0 sec. user=mdettweiler [2018-08-28 16:00:39] 961*2^1522639-1 is not prime. Res64: 02A44CEE3FFA1343 Time : 0.0 sec. user=mdettweiler [2018-08-28 16:00:40] 999*2^1522639-1 is not prime. Res64: 7D7F72FDB093A06A Time : 0.0 sec. user=mdettweiler [2018-08-28 16:00:41] 659*2^1522640-1 is not prime. Res64: CD46E5910DD04A7D Time : 0.0 sec. user=mdettweiler [2018-08-28 16:34:21] 725*2^1522640-1 is not prime. Res64: 244C15B46FB53FE5 Time : 0.0 sec. user=mdettweiler [2018-08-28 16:34:22] 999*2^1522640-1 is not prime. Res64: 084D4D821DBE021F Time : 0.0 sec. user=mdettweiler [2018-08-28 16:34:22] 607*2^1522641-1 is not prime. Res64: 5F30439ABA5527B3 Time : 0.0 sec. user=mdettweiler [2018-08-28 16:34:23] 649*2^1522641-1 is not prime. Res64: B7B7DF477DB5C0ED Time : 0.0 sec. user=mdettweiler [2018-08-28 16:34:23] 705*2^1522641-1 is not prime. Res64: 923F3804A5EA68BB Time : 0.0 sec. user=mdettweiler [2018-08-28 16:34:31] 727*2^1522641-1 is not prime. Res64: 5228EB7667356ED5 Time : 0.0 sec. user=mdettweiler [2018-08-28 16:34:31] 739*2^1522641-1 is not prime. Res64: 3621D4D828CF1A14 Time : 0.0 sec. user=mdettweiler [2018-08-28 16:34:32] 877*2^1522641-1 is not prime. Res64: A014F26E6AF87E33 Time : 0.0 sec. user=mdettweiler [2018-08-28 16:34:32] 921*2^1522641-1 is not prime. Res64: B60A0FE0BC1BD4EA Time : 0.0 sec. user=mdettweiler [2018-08-28 16:34:33] 937*2^1522641-1 is not prime. Res64: 6F17D9F6DED3B006 Time : 0.0 sec. user=mdettweiler [2018-08-28 16:46:23] 955*2^1522641-1 is not prime. Res64: A00C019064A669DC Time : 0.0 sec. user=mdettweiler [2018-08-28 16:46:23] 999*2^1522641-1 is not prime. Res64: 904D0EDB2A140DB3 Time : 0.0 sec. user=mdettweiler [2018-08-28 16:46:24] 731*2^1522642-1 is not prime. Res64: 6437C646123B5999 Time : 0.0 sec. user=mdettweiler [2018-08-28 16:46:24] 735*2^1522642-1 is not prime. Res64: F924B78B73F93940 Time : 0.0 sec. user=mdettweiler [2018-08-28 16:46:24] 813*2^1522642-1 is not prime. Res64: 98AD317A4FC69C01 Time : 0.0 sec. user=mdettweiler [2018-08-28 16:51:43] 821*2^1522642-1 is not prime. Res64: 9C64827EEF62F335 Time : 0.0 sec. user=mdettweiler [2018-08-28 16:51:43] 825*2^1522642-1 is not prime. Res64: C6184C994978AC2D Time : 0.0 sec. user=mdettweiler [2018-08-28 16:51:43] 827*2^1522642-1 is not prime. Res64: 96C9B23C3605504B Time : 0.0 sec. user=mdettweiler [2018-08-28 16:51:44] 843*2^1522642-1 is not prime. Res64: 75A2A36C9EF7962C Time : 0.0 sec. user=mdettweiler [2018-08-28 16:51:44] 987*2^1522642-1 is not prime. Res64: 05B5D51016E36D34 Time : 0.0 sec. user=mdettweiler [2018-08-28 17:27:47] 663*2^1522643-1 is not prime. Res64: C76CDFBD749F7027 Time : 0.0 sec. user=mdettweiler [2018-08-28 17:27:47] 775*2^1522643-1 is not prime. Res64: 433AA03DF2F0317B Time : 0.0 sec. user=mdettweiler [2018-08-28 17:27:48] 805*2^1522643-1 is not prime. Res64: A5A34A3072AB5F03 Time : 0.0 sec. user=mdettweiler [2018-08-28 17:27:48] 811*2^1522643-1 is not prime. Res64: 1C949741B51624DC Time : 0.0 sec. user=mdettweiler [2018-08-28 17:27:48] 675*2^1522644-1 is not prime. Res64: C9C682C4A71BA337 Time : 0.0 sec. user=mdettweiler [2018-08-28 17:27:52] 683*2^1522644-1 is not prime. Res64: AFF93432438CA34E Time : 0.0 sec. user=mdettweiler [2018-08-28 17:27:53] 689*2^1522644-1 is not prime. Res64: 534B4C9E3E2B5917 Time : 0.0 sec. user=mdettweiler [2018-08-28 17:27:53] 767*2^1522644-1 is not prime. Res64: 21CCCC1C6262C050 Time : 0.0 sec. user=mdettweiler [2018-08-28 17:27:53] 929*2^1522644-1 is not prime. Res64: 1796624B90997639 Time : 0.0 sec. user=mdettweiler [2018-08-28 17:27:54] 667*2^1522645-1 is not prime. Res64: 0CF0782C52C68183 Time : 0.0 sec. user=mdettweiler [2018-08-28 17:40:22] 741*2^1522645-1 is not prime. Res64: 6A4B2D4F3351ED25 Time : 0.0 sec. user=mdettweiler [2018-08-28 17:40:22] 811*2^1522645-1 is not prime. Res64: 3E3EA079624E321D Time : 0.0 sec. user=mdettweiler [2018-08-28 17:40:23] 939*2^1522645-1 is not prime. Res64: D1579EA3D1A3744A Time : 0.0 sec. user=mdettweiler [2018-08-28 17:40:23] 951*2^1522645-1 is not prime. Res64: E160EB1C46524E2F Time : 0.0 sec. user=mdettweiler [2018-08-28 17:40:23] 987*2^1522645-1 is not prime. Res64: AB9CCCCD0E2AA6C9 Time : 0.0 sec. user=mdettweiler [2018-08-28 17:46:14] 683*2^1522646-1 is not prime. Res64: EFB4C196CE9C794A Time : 0.0 sec. user=mdettweiler [2018-08-28 17:46:14] 825*2^1522646-1 is not prime. Res64: 295E94F1CFCACA0A Time : 0.0 sec. user=mdettweiler [2018-08-28 17:46:15] 867*2^1522646-1 is not prime. Res64: 73DD0B369EB556C5 Time : 0.0 sec. user=mdettweiler [2018-08-28 17:46:15] 923*2^1522646-1 is not prime. Res64: E6792D45FA465133 Time : 0.0 sec. user=mdettweiler [2018-08-28 17:46:16] 633*2^1522647-1 is not prime. Res64: AB8A4E68CDB2E923 Time : 0.0 sec. user=mdettweiler [2018-08-28 18:21:11] 709*2^1522647-1 is not prime. Res64: 4F0858801C6E1CB1 Time : 0.0 sec. user=mdettweiler [2018-08-28 18:21:11] 825*2^1522647-1 is not prime. Res64: 1EA6569BC8E9D74D Time : 0.0 sec. user=mdettweiler [2018-08-28 18:21:12] 909*2^1522647-1 is not prime. Res64: DB63764175721D81 Time : 0.0 sec. user=mdettweiler [2018-08-28 18:21:12] 975*2^1522647-1 is not prime. Res64: DD96BF2A2380C4A9 Time : 0.0 sec. user=mdettweiler [2018-08-28 18:21:13] 629*2^1522648-1 is not prime. Res64: 4C8A179DF5B20073 Time : 0.0 sec. user=mdettweiler [2018-08-28 18:21:21] 635*2^1522648-1 is not prime. Res64: 54C2D7144C612E9D Time : 0.0 sec. user=mdettweiler [2018-08-28 18:21:21] 687*2^1522648-1 is not prime. Res64: 07CEAB51E5B54D04 Time : 0.0 sec. user=mdettweiler [2018-08-28 18:21:22] 755*2^1522648-1 is not prime. Res64: 6E876D6AF5B53D7E Time : 0.0 sec. user=mdettweiler [2018-08-28 18:21:22] 765*2^1522648-1 is not prime. Res64: ADB2A7C5CB358B9E Time : 0.0 sec. user=mdettweiler [2018-08-28 18:21:23] 899*2^1522648-1 is not prime. Res64: 77C7600E42CE9ACB Time : 0.0 sec. user=odicin [2018-08-28 18:23:36] 741*2^1522631-1 is not prime. Res64: 6C1D7A9E73482167 Time : 0.0 sec. user=odicin [2018-08-28 18:23:37] 775*2^1522631-1 is not prime. Res64: 0F2DBB9C81CB2C4A Time : 0.0 sec. user=mdettweiler [2018-08-28 18:33:57] 691*2^1522649-1 is not prime. Res64: 4F2E4E3D694F74C7 Time : 0.0 sec. user=mdettweiler [2018-08-28 18:33:57] 781*2^1522649-1 is not prime. Res64: F38BE8086A022F35 Time : 0.0 sec. user=mdettweiler [2018-08-28 18:33:57] 795*2^1522649-1 is not prime. Res64: 7EE6EE03B0BB1AC2 Time : 0.0 sec. user=mdettweiler [2018-08-28 18:33:58] 909*2^1522649-1 is not prime. Res64: B13FF97531F423EE Time : 0.0 sec. user=mdettweiler [2018-08-28 18:33:58] 967*2^1522649-1 is not prime. Res64: 91AD8E8B7587D3AB Time : 0.0 sec. user=mdettweiler [2018-08-28 18:39:45] 681*2^1522650-1 is not prime. Res64: 1B6AA9E66F43AFC7 Time : 0.0 sec. user=mdettweiler [2018-08-28 18:39:45] 717*2^1522650-1 is not prime. Res64: 5905DA55987FF6F0 Time : 0.0 sec. user=mdettweiler [2018-08-28 18:39:46] 723*2^1522650-1 is not prime. Res64: 963899B8373C96E3 Time : 0.0 sec. user=mdettweiler [2018-08-28 18:39:46] 735*2^1522650-1 is not prime. Res64: 630B102DC7268D71 Time : 0.0 sec. user=mdettweiler [2018-08-28 18:39:46] 773*2^1522650-1 is not prime. Res64: 8DC4E1E4A3CA215F Time : 0.0 sec. user=odicin [2018-08-28 18:45:53] 777*2^1522652-1 is not prime. Res64: B9CC721BBFF86550 Time : 0.0 sec. user=odicin [2018-08-28 18:45:54] 855*2^1522652-1 is not prime. Res64: 53B96C250EC1825B Time : 0.0 sec. user=odicin [2018-08-28 19:08:14] 815*2^1522654-1 is not prime. Res64: 96B0D143F50C0A44 Time : 0.0 sec. user=odicin [2018-08-28 19:08:15] 981*2^1522654-1 is not prime. Res64: 05422578A21A0D5C Time : 0.0 sec. user=mdettweiler [2018-08-28 19:14:11] 885*2^1522650-1 is not prime. Res64: 514712BB400764A9 Time : 0.0 sec. user=mdettweiler [2018-08-28 19:14:12] 651*2^1522651-1 is not prime. Res64: 7036BBEB1F550ACF Time : 0.0 sec. user=mdettweiler [2018-08-28 19:14:12] 723*2^1522651-1 is not prime. Res64: BB0CA4ECE076479D Time : 0.0 sec. user=mdettweiler [2018-08-28 19:14:12] 759*2^1522651-1 is not prime. Res64: C4F98F2F96483D4C Time : 0.0 sec. user=mdettweiler [2018-08-28 19:14:13] 769*2^1522651-1 is not prime. Res64: 5565ED1C416E5943 Time : 0.0 sec. user=mdettweiler [2018-08-28 19:14:38] 939*2^1522651-1 is not prime. Res64: BDE0934AB7364329 Time : 0.0 sec. user=mdettweiler [2018-08-28 19:14:39] 973*2^1522651-1 is not prime. Res64: FDDF0AB54F5E40BC Time : 0.0 sec. user=mdettweiler [2018-08-28 19:14:39] 633*2^1522652-1 is not prime. Res64: 1C24BECECA7A9E59 Time : 0.0 sec. user=mdettweiler [2018-08-28 19:14:40] 699*2^1522652-1 is not prime. Res64: 3D5575ADD0517BD8 Time : 0.0 sec. user=mdettweiler [2018-08-28 19:14:40] 753*2^1522652-1 is not prime. Res64: 2515A2469117F475 Time : 0.0 sec. user=mdettweiler [2018-08-28 19:26:28] 963*2^1522652-1 is not prime. Res64: 0961DDB4B81B23DC Time : 0.0 sec. user=mdettweiler [2018-08-28 19:26:28] 987*2^1522652-1 is not prime. Res64: EFBA897E44C79110 Time : 0.0 sec. user=mdettweiler [2018-08-28 19:26:28] 657*2^1522653-1 is not prime. Res64: F52F2AFBBD065436 Time : 0.0 sec. user=mdettweiler [2018-08-28 19:26:29] 721*2^1522653-1 is not prime. Res64: CD1AB4EED5706178 Time : 0.0 sec. user=mdettweiler [2018-08-28 19:26:29] 727*2^1522653-1 is not prime. Res64: C967F9A2F9E2DCF9 Time : 0.0 sec. user=odicin [2018-08-28 19:30:33] 603*2^1522655-1 is not prime. Res64: 0F891792F0E519CA Time : 0.0 sec. user=odicin [2018-08-28 19:30:33] 775*2^1522655-1 is not prime. Res64: 1F6B1D91BA46074E Time : 0.0 sec. user=mdettweiler [2018-08-28 19:31:48] 735*2^1522653-1 is not prime. Res64: 84F738CB831467B8 Time : 0.0 sec. user=mdettweiler [2018-08-28 19:31:48] 765*2^1522653-1 is not prime. Res64: F1C3B88CCE9DF7CE Time : 0.0 sec. user=mdettweiler [2018-08-28 19:31:48] 769*2^1522653-1 is not prime. Res64: 609DA9BAD568EF49 Time : 0.0 sec. user=mdettweiler [2018-08-28 19:31:49] 847*2^1522653-1 is not prime. Res64: 7904B205499725D4 Time : 0.0 sec. user=mdettweiler [2018-08-28 19:31:49] 731*2^1522654-1 is not prime. Res64: 7626146ADE217688 Time : 0.0 sec. user=odicin [2018-08-28 19:54:50] 871*2^1522657-1 is not prime. Res64: 2CDD135E480BC6C1 Time : 0.0 sec. user=odicin [2018-08-28 19:54:51] 919*2^1522657-1 is not prime. Res64: 26981BF823379786 Time : 0.0 sec. user=mdettweiler [2018-08-28 20:06:51] 843*2^1522655-1 is not prime. Res64: E150329FBE35E2A9 Time : 0.0 sec. user=mdettweiler [2018-08-28 20:06:52] 859*2^1522655-1 is not prime. Res64: E21517397DF9FAE3 Time : 0.0 sec. user=mdettweiler [2018-08-28 20:06:55] 669*2^1522656-1 is not prime. Res64: 356B443F4024C617 Time : 0.0 sec. user=mdettweiler [2018-08-28 20:06:58] 889*2^1522655-1 is not prime. Res64: E740B491060D4895 Time : 0.0 sec. user=mdettweiler [2018-08-28 20:07:00] 735*2^1522656-1 is not prime. Res64: FBEAF307C27DEED4 Time : 0.0 sec. user=mdettweiler [2018-08-28 20:07:02] 759*2^1522656-1 is not prime. Res64: F41C98904A6B10BC Time : 0.0 sec. user=mdettweiler [2018-08-28 20:07:04] 985*2^1522655-1 is not prime. Res64: 9B9B62432FA07F98 Time : 0.0 sec. user=mdettweiler [2018-08-28 20:07:05] 849*2^1522656-1 is not prime. Res64: D25F66DD5AFE1B4B Time : 0.0 sec. user=mdettweiler [2018-08-28 20:07:10] 857*2^1522656-1 is not prime. Res64: 8C08297073899A98 Time : 0.0 sec. user=mdettweiler [2018-08-28 20:07:12] 623*2^1522656-1 is not prime. Res64: CF257956A1096760 Time : 0.0 sec. user=odicin [2018-08-28 20:17:08] 963*2^1522658-1 is not prime. Res64: 7BFAD361A337DC2A Time : 0.0 sec. user=odicin [2018-08-28 20:17:09] 977*2^1522658-1 is not prime. Res64: E49FF2C6DD39A55C Time : 0.0 sec. user=mdettweiler [2018-08-28 20:18:34] 893*2^1522656-1 is not prime. Res64: 866F4764C8028A92 Time : 0.0 sec. user=mdettweiler [2018-08-28 20:18:34] 909*2^1522656-1 is not prime. Res64: EE4B75C4C029F48A Time : 0.0 sec. user=mdettweiler [2018-08-28 20:18:34] 999*2^1522656-1 is not prime. Res64: 84B775846D5F362E Time : 0.0 sec. user=mdettweiler [2018-08-28 20:18:35] 667*2^1522657-1 is not prime. Res64: E10429E0BDAC1426 Time : 0.0 sec. user=mdettweiler [2018-08-28 20:18:35] 747*2^1522657-1 is not prime. Res64: 7E12A1C8960E063C Time : 0.0 sec. user=mdettweiler [2018-08-28 20:24:16] 955*2^1522657-1 is not prime. Res64: 9F002697D29181FE Time : 0.0 sec. user=mdettweiler [2018-08-28 20:24:17] 623*2^1522658-1 is not prime. Res64: BE2221F1B1A93D45 Time : 0.0 sec. user=mdettweiler [2018-08-28 20:24:17] 633*2^1522658-1 is not prime. Res64: D49AAD6ED8E6FFE3 Time : 0.0 sec. user=mdettweiler [2018-08-28 20:24:18] 713*2^1522658-1 is not prime. Res64: C98D961C8A702A3F Time : 0.0 sec. user=mdettweiler [2018-08-28 20:24:18] 743*2^1522658-1 is not prime. Res64: 1C6DAD046B1FF02F Time : 0.0 sec. user=odicin [2018-08-28 20:39:29] 619*2^1522661-1 is not prime. Res64: AD9D87E727E26463 Time : 0.0 sec. user=odicin [2018-08-28 20:39:29] 627*2^1522661-1 is not prime. Res64: 70BB35ABD871074E Time : 0.0 sec. user=mdettweiler [2018-08-28 20:58:46] 609*2^1522659-1 is not prime. Res64: 18B6864B49ADC92F Time : 0.0 sec. user=mdettweiler [2018-08-28 20:58:46] 663*2^1522659-1 is not prime. Res64: D535134D2B11EEA0 Time : 0.0 sec. user=mdettweiler [2018-08-28 20:58:47] 859*2^1522659-1 is not prime. Res64: 77412BE596ED9BAA Time : 0.0 sec. user=mdettweiler [2018-08-28 20:58:47] 903*2^1522659-1 is not prime. Res64: C75010B5DA4F65D9 Time : 0.0 sec. user=mdettweiler [2018-08-28 20:58:47] 919*2^1522659-1 is not prime. Res64: C44305EC842DDB5D Time : 0.0 sec. user=mdettweiler [2018-08-28 20:58:54] 973*2^1522659-1 is not prime. Res64: AD9A62826C56A784 Time : 0.0 sec. user=mdettweiler [2018-08-28 20:58:55] 719*2^1522660-1 is not prime. Res64: D7CF4A82FF55AA65 Time : 0.0 sec. user=mdettweiler [2018-08-28 20:58:55] 777*2^1522660-1 is not prime. Res64: 11BFA09F7F135EFD Time : 0.0 sec. user=mdettweiler [2018-08-28 20:58:55] 825*2^1522660-1 is not prime. Res64: 791756C487D7F5EB Time : 0.0 sec. user=mdettweiler [2018-08-28 20:58:56] 983*2^1522660-1 is not prime. Res64: 3C684311E97C000C Time : 0.0 sec. user=odicin [2018-08-28 21:01:51] 957*2^1522661-1 is not prime. Res64: 42B4B390E8CA3D95 Time : 0.0 sec. user=odicin [2018-08-28 21:01:52] 981*2^1522661-1 is not prime. Res64: AAA76CDA9EE33471 Time : 0.0 sec. user=mdettweiler [2018-08-28 21:09:22] 745*2^1522661-1 is not prime. Res64: 0ED72C98C42C08C7 Time : 0.0 sec. user=mdettweiler [2018-08-28 21:09:23] 865*2^1522661-1 is not prime. Res64: 4B0B32D9031F3B62 Time : 0.0 sec. user=mdettweiler [2018-08-28 21:09:23] 871*2^1522661-1 is not prime. Res64: 2D8B99BF605A8DA9 Time : 0.0 sec. user=mdettweiler [2018-08-28 21:09:24] 885*2^1522661-1 is not prime. Res64: F7CEEBD189148FAF Time : 0.0 sec. user=mdettweiler [2018-08-28 21:09:24] 889*2^1522661-1 is not prime. Res64: 34DBD8655C36FFFC Time : 0.0 sec. user=mdettweiler [2018-08-28 21:15:09] 907*2^1522661-1 is not prime. Res64: 8633AFE3138E7A75 Time : 0.0 sec. user=mdettweiler [2018-08-28 21:15:10] 925*2^1522661-1 is not prime. Res64: 89E16909ED495DB5 Time : 0.0 sec. user=mdettweiler [2018-08-28 21:15:10] 931*2^1522661-1 is not prime. Res64: 59BED7A8D17165F1 Time : 0.0 sec. user=mdettweiler [2018-08-28 21:15:10] 949*2^1522661-1 is not prime. Res64: E47CEAF90023C8CA Time : 0.0 sec. user=mdettweiler [2018-08-28 21:15:11] 955*2^1522661-1 is not prime. Res64: 5F6B5A0E611ED3B9 Time : 0.0 sec. user=odicin [2018-08-28 21:24:09] 973*2^1522663-1 is not prime. Res64: 4ABBF883A2330690 Time : 0.0 sec. user=odicin [2018-08-28 21:24:09] 993*2^1522663-1 is not prime. Res64: 4406BADEB3152F9A Time : 0.0 sec. user=odicin [2018-08-28 21:46:30] 781*2^1522665-1 is not prime. Res64: DC5C293C04FC5354 Time : 0.0 sec. user=odicin [2018-08-28 21:46:31] 885*2^1522665-1 is not prime. Res64: 678E1F73DFF9B470 Time : 0.0 sec. user=mdettweiler [2018-08-28 21:49:39] 653*2^1522662-1 is not prime. Res64: F31889C850C0CA9F Time : 0.0 sec. user=mdettweiler [2018-08-28 21:49:39] 711*2^1522662-1 is not prime. Res64: 4D231AF4691E436A Time : 0.0 sec. user=mdettweiler [2018-08-28 21:49:40] 761*2^1522662-1 is not prime. Res64: 13FBC4750248D302 Time : 0.0 sec. user=mdettweiler [2018-08-28 21:49:40] 791*2^1522662-1 is not prime. Res64: 6B7A8D31E58475AE Time : 0.0 sec. user=mdettweiler [2018-08-28 21:49:40] 797*2^1522662-1 is not prime. Res64: 82458B348ADEB43F Time : 0.0 sec. user=mdettweiler [2018-08-28 21:49:43] 873*2^1522662-1 is not prime. Res64: CA594FE4E7BE030C Time : 0.0 sec. user=mdettweiler [2018-08-28 21:49:44] 887*2^1522662-1 is not prime. Res64: B20A4F2F55B32C21 Time : 0.0 sec. user=mdettweiler [2018-08-28 21:49:44] 609*2^1522663-1 is not prime. Res64: 4E1DCD28F80FAE9C Time : 0.0 sec. user=mdettweiler [2018-08-28 21:49:44] 891*2^1522663-1 is not prime. Res64: 73D21748291F4E73 Time : 0.0 sec. user=mdettweiler [2018-08-28 21:49:45] 939*2^1522663-1 is not prime. Res64: 1E5D039DFE5F8F48 Time : 0.0 sec. user=mdettweiler [2018-08-28 22:00:17] 617*2^1522664-1 is not prime. Res64: 56BACDDA29613C26 Time : 0.0 sec. user=mdettweiler [2018-08-28 22:00:19] 773*2^1522664-1 is not prime. Res64: 16FD81A0E900AAAC Time : 0.0 sec. user=mdettweiler [2018-08-28 22:00:20] 803*2^1522664-1 is not prime. Res64: E20C574B482B8005 Time : 0.0 sec. user=mdettweiler [2018-08-28 22:00:21] 819*2^1522664-1 is not prime. Res64: 179510B49473A3C8 Time : 0.0 sec. user=mdettweiler [2018-08-28 22:00:21] 843*2^1522664-1 is not prime. Res64: 2724FF77E8A162E4 Time : 0.0 sec. user=mdettweiler [2018-08-28 22:06:19] 893*2^1522664-1 is not prime. Res64: DA34A35718C9E137 Time : 0.0 sec. user=mdettweiler [2018-08-28 22:06:21] 897*2^1522664-1 is not prime. Res64: 686ACF3ECC0EC917 Time : 0.0 sec. user=mdettweiler [2018-08-28 22:06:23] 945*2^1522664-1 is not prime. Res64: 33AD494D6516C0BB Time : 0.0 sec. user=mdettweiler [2018-08-28 22:06:24] 969*2^1522664-1 is not prime. Res64: 3684672773DA37D3 Time : 0.0 sec. user=mdettweiler [2018-08-28 22:06:26] 765*2^1522665-1 is not prime. Res64: AF749FDBB6C5F573 Time : 0.0 sec. user=odicin [2018-08-28 22:09:05] 999*2^1522665-1 is not prime. Res64: 9955B4182CF43538 Time : 0.0 sec. user=odicin [2018-08-28 22:09:10] 611*2^1522666-1 is not prime. Res64: 1DE1D76BBCCAF2DD Time : 0.0 sec. user=odicin [2018-08-28 22:31:53] 861*2^1522670-1 is not prime. Res64: C2D723289A4D9559 Time : 0.0 sec. user=odicin [2018-08-28 22:31:53] 885*2^1522670-1 is not prime. Res64: 3270FB65B702AFEF Time : 0.0 sec. user=mdettweiler [2018-08-28 22:40:22] 685*2^1522667-1 is not prime. Res64: 99189D111A11924A Time : 0.0 sec. user=mdettweiler [2018-08-28 22:40:22] 715*2^1522667-1 is not prime. Res64: 36A2B4337718A4E1 Time : 0.0 sec. user=mdettweiler [2018-08-28 22:40:23] 801*2^1522667-1 is not prime. Res64: E855BFBCBCF36580 Time : 0.0 sec. user=mdettweiler [2018-08-28 22:40:23] 889*2^1522667-1 is not prime. Res64: 9F106812852C4327 Time : 0.0 sec. user=mdettweiler [2018-08-28 22:40:24] 627*2^1522668-1 is not prime. Res64: 7DDE8E9EC0C8E532 Time : 0.0 sec. user=mdettweiler [2018-08-28 22:40:30] 723*2^1522666-1 is not prime. Res64: A98927226EA17A9E Time : 0.0 sec. user=mdettweiler [2018-08-28 22:40:31] 741*2^1522666-1 is not prime. Res64: C98CD935F1C6B008 Time : 0.0 sec. user=mdettweiler [2018-08-28 22:40:31] 843*2^1522666-1 is not prime. Res64: FC43E0F1EAA20A79 Time : 0.0 sec. user=mdettweiler [2018-08-28 22:40:32] 855*2^1522666-1 is not prime. Res64: EFEBEE5F84B45F37 Time : 0.0 sec. user=mdettweiler [2018-08-28 22:40:32] 975*2^1522666-1 is not prime. Res64: 839CA84BB809D1BF Time : 0.0 sec. user=mdettweiler [2018-08-28 22:51:17] 663*2^1522668-1 is not prime. Res64: 3FF27AD1E24A025B Time : 0.0 sec. user=mdettweiler [2018-08-28 22:51:17] 797*2^1522668-1 is not prime. Res64: 4D36E3A6ABB8A2FE Time : 0.0 sec. user=mdettweiler [2018-08-28 22:51:18] 969*2^1522668-1 is not prime. Res64: 71A05B1DC85ACCC6 Time : 0.0 sec. user=mdettweiler [2018-08-28 22:51:18] 993*2^1522668-1 is not prime. Res64: C2DBF5D609E0A45E Time : 0.0 sec. user=mdettweiler [2018-08-28 22:51:19] 601*2^1522669-1 is not prime. Res64: BC32E37EEA2D2F37 Time : 0.0 sec. user=odicin [2018-08-28 22:54:13] 923*2^1522670-1 is not prime. Res64: 2D7FF6B3FF286F0B Time : 0.0 sec. user=odicin [2018-08-28 22:54:13] 935*2^1522670-1 is not prime. Res64: 13474071544437C7 Time : 0.0 sec. user=mdettweiler [2018-08-28 22:57:34] 615*2^1522669-1 is not prime. Res64: C2F1C69E79DF4A82 Time : 0.0 sec. user=mdettweiler [2018-08-28 22:57:35] 775*2^1522669-1 is not prime. Res64: AFD4CC504A8FFFA6 Time : 0.0 sec. user=mdettweiler [2018-08-28 22:57:35] 957*2^1522669-1 is not prime. Res64: EF695F5441EEC36E Time : 0.0 sec. user=mdettweiler [2018-08-28 22:57:36] 999*2^1522669-1 is not prime. Res64: 2174089881727563 Time : 0.0 sec. user=mdettweiler [2018-08-28 22:57:36] 731*2^1522670-1 is not prime. Res64: A49F856162CFE259 Time : 0.0 sec. user=odicin [2018-08-28 23:16:29] 657*2^1522673-1 is not prime. Res64: 2636F68F6F2D7038 Time : 0.0 sec. user=odicin [2018-08-28 23:16:29] 697*2^1522673-1 is not prime. Res64: 8562A50125B85769 Time : 0.0 sec. user=mdettweiler [2018-08-28 23:32:03] 953*2^1522670-1 is not prime. Res64: FBA0FBC3F82B8967 Time : 0.0 sec. user=mdettweiler [2018-08-28 23:32:05] 971*2^1522670-1 is not prime. Res64: B206F891F4518C35 Time : 0.0 sec. user=mdettweiler [2018-08-28 23:32:05] 609*2^1522671-1 is not prime. Res64: 8D4185E3FE489EB5 Time : 0.0 sec. user=mdettweiler [2018-08-28 23:32:06] 613*2^1522671-1 is not prime. Res64: 9C644523E5122CC5 Time : 0.0 sec. user=mdettweiler [2018-08-28 23:32:06] 643*2^1522671-1 is not prime. Res64: A50C52797D329589 Time : 0.0 sec. user=mdettweiler [2018-08-28 23:32:19] 921*2^1522671-1 is not prime. Res64: 5B662B8C945A45A3 Time : 0.0 sec. user=mdettweiler [2018-08-28 23:32:19] 979*2^1522671-1 is not prime. Res64: 71D47B6BA7D062A1 Time : 0.0 sec. user=mdettweiler [2018-08-28 23:32:20] 755*2^1522672-1 is not prime. Res64: 24025E6FC09AA776 Time : 0.0 sec. user=mdettweiler [2018-08-28 23:32:20] 785*2^1522672-1 is not prime. Res64: 73B7CA3446932F9A Time : 0.0 sec. user=mdettweiler [2018-08-28 23:32:21] 819*2^1522672-1 is not prime. Res64: C925C865DC3AC9DD Time : 0.0 sec. user=odicin [2018-08-28 23:38:53] 755*2^1522674-1 is not prime. Res64: A02CB848B8F3FE8E Time : 0.0 sec. user=odicin [2018-08-28 23:38:54] 797*2^1522674-1 is not prime. Res64: 7BDB6E6FDB205D78 Time : 0.0 sec. user=mdettweiler [2018-08-28 23:42:58] 833*2^1522672-1 is not prime. Res64: D1AD72CA52DEABD8 Time : 0.0 sec. user=mdettweiler [2018-08-28 23:42:58] 887*2^1522672-1 is not prime. Res64: F33DD51658B1FE18 Time : 0.0 sec. user=mdettweiler [2018-08-28 23:42:59] 909*2^1522672-1 is not prime. Res64: 4AC62A4B315DEF43 Time : 0.0 sec. user=mdettweiler [2018-08-28 23:42:59] 923*2^1522672-1 is not prime. Res64: 9056C4901BEDB4E0 Time : 0.0 sec. user=mdettweiler [2018-08-28 23:43:00] 975*2^1522672-1 is not prime. Res64: A28B7E81A2306545 Time : 0.0 sec. user=mdettweiler [2018-08-28 23:49:03] 771*2^1522673-1 is not prime. Res64: 296CD0A8D4FD5265 Time : 0.0 sec. user=mdettweiler [2018-08-28 23:49:03] 981*2^1522673-1 is not prime. Res64: 2DC41EB407E87872 Time : 0.0 sec. user=mdettweiler [2018-08-28 23:49:04] 991*2^1522673-1 is not prime. Res64: 73CE2DC3885638CB Time : 0.0 sec. user=mdettweiler [2018-08-28 23:49:04] 627*2^1522674-1 is not prime. Res64: C7BB279DC7655C87 Time : 0.0 sec. user=mdettweiler [2018-08-28 23:49:04] 651*2^1522674-1 is not prime. Res64: 702EB82EE9906F1E Time : 0.0 sec.