user=mdettweiler [2018-04-29 00:17:25] 879*2^1508391-1 is not prime. Res64: 955268F96A9E2256 Time : 0.0 sec. user=mdettweiler [2018-04-29 00:17:26] 909*2^1508391-1 is not prime. Res64: 6A167402508CD509 Time : 0.0 sec. user=mdettweiler [2018-04-29 00:17:27] 975*2^1508391-1 is not prime. Res64: 75503CDB1A8B4897 Time : 0.0 sec. user=mdettweiler [2018-04-29 00:17:27] 979*2^1508391-1 is not prime. Res64: 8859E8B664D28C77 Time : 0.0 sec. user=mdettweiler [2018-04-29 00:17:28] 615*2^1508392-1 is not prime. Res64: 7EB1B10E02FB90B5 Time : 0.0 sec. user=mdettweiler [2018-04-29 00:17:49] 675*2^1508392-1 is not prime. Res64: 70C691A4C3420697 Time : 0.0 sec. user=mdettweiler [2018-04-29 00:17:50] 677*2^1508392-1 is not prime. Res64: D100DF520C7D66FB Time : 0.0 sec. user=mdettweiler [2018-04-29 00:17:50] 735*2^1508392-1 is not prime. Res64: DCF0842F3CD01FDD Time : 0.0 sec. user=mdettweiler [2018-04-29 00:17:51] 743*2^1508392-1 is not prime. Res64: 2B2A530710EE661B Time : 0.0 sec. user=mdettweiler [2018-04-29 00:17:51] 797*2^1508392-1 is not prime. Res64: 0A906316CDB57C58 Time : 0.0 sec. user=mdettweiler [2018-04-29 00:25:59] 917*2^1508392-1 is not prime. Res64: 31665744E998EF6E Time : 0.0 sec. user=mdettweiler [2018-04-29 00:25:59] 615*2^1508393-1 is not prime. Res64: 7A01D329B91D049F Time : 0.0 sec. user=mdettweiler [2018-04-29 00:25:59] 627*2^1508393-1 is not prime. Res64: ABB77CA8D69F9638 Time : 0.0 sec. user=mdettweiler [2018-04-29 00:26:00] 651*2^1508393-1 is not prime. Res64: 42870485CADF56B8 Time : 0.0 sec. user=mdettweiler [2018-04-29 00:26:00] 657*2^1508393-1 is not prime. Res64: 38FAA2F0D467093F Time : 0.0 sec. user=mdettweiler [2018-04-29 00:27:05] 685*2^1508393-1 is not prime. Res64: AE3D0032FACC8976 Time : 0.0 sec. user=mdettweiler [2018-04-29 00:27:05] 781*2^1508393-1 is not prime. Res64: 517455675D353536 Time : 0.0 sec. user=mdettweiler [2018-04-29 00:27:06] 871*2^1508393-1 is not prime. Res64: BEB0C01DACB75F72 Time : 0.0 sec. user=mdettweiler [2018-04-29 00:27:06] 879*2^1508393-1 is not prime. Res64: 6B9FE99F436D42D8 Time : 0.0 sec. user=mdettweiler [2018-04-29 00:27:07] 937*2^1508393-1 is not prime. Res64: 8C66D55700C5DE6A Time : 0.0 sec. user=mdettweiler [2018-04-29 01:07:44] 861*2^1508395-1 is not prime. Res64: DC2F88797AE8A7E1 Time : 0.0 sec. user=mdettweiler [2018-04-29 01:07:44] 651*2^1508394-1 is not prime. Res64: 6915AC9A7C5504F5 Time : 0.0 sec. user=mdettweiler [2018-04-29 01:07:44] 919*2^1508395-1 is not prime. Res64: 9B58A002635D767D Time : 0.0 sec. user=mdettweiler [2018-04-29 01:07:45] 747*2^1508394-1 is not prime. Res64: 1DA458B106C09DCF Time : 0.0 sec. user=mdettweiler [2018-04-29 01:07:45] 633*2^1508396-1 is not prime. Res64: 474CC7CF5E4C0289 Time : 0.0 sec. user=mdettweiler [2018-04-29 01:07:45] 635*2^1508396-1 is not prime. Res64: 0C2A3DF8F54E3291 Time : 0.0 sec. user=mdettweiler [2018-04-29 01:07:46] 791*2^1508394-1 is not prime. Res64: 7908B5D00B93D5A0 Time : 0.0 sec. user=mdettweiler [2018-04-29 01:07:46] 789*2^1508396-1 is not prime. Res64: 94626FA62769E7EA Time : 0.0 sec. user=mdettweiler [2018-04-29 01:07:46] 873*2^1508394-1 is not prime. Res64: 566BDDA5B0BA6482 Time : 0.0 sec. user=mdettweiler [2018-04-29 01:07:47] 893*2^1508394-1 is not prime. Res64: C098F298ACBC5270 Time : 0.0 sec. user=mdettweiler [2018-04-29 01:17:42] 873*2^1508396-1 is not prime. Res64: 0B318C732F09DC95 Time : 0.0 sec. user=mdettweiler [2018-04-29 01:17:43] 879*2^1508396-1 is not prime. Res64: F6DAC9DE6A7D9322 Time : 0.0 sec. user=mdettweiler [2018-04-29 01:17:43] 935*2^1508396-1 is not prime. Res64: 082D526FF3C08722 Time : 0.0 sec. user=mdettweiler [2018-04-29 01:17:43] 969*2^1508396-1 is not prime. Res64: A5392A31F7CF1196 Time : 0.0 sec. user=mdettweiler [2018-04-29 01:17:44] 661*2^1508397-1 is not prime. Res64: 6D2C3E4E69F7E613 Time : 0.0 sec. user=mdettweiler [2018-04-29 01:18:33] 717*2^1508397-1 is not prime. Res64: BC771C0B76527B18 Time : 0.0 sec. user=mdettweiler [2018-04-29 01:18:33] 777*2^1508397-1 is not prime. Res64: B6B4A1CA287B2E9F Time : 0.0 sec. user=mdettweiler [2018-04-29 01:18:33] 781*2^1508397-1 is not prime. Res64: 653F412EA36AD4D1 Time : 0.0 sec. user=mdettweiler [2018-04-29 01:18:34] 817*2^1508397-1 is not prime. Res64: 2257C165115B57FA Time : 0.0 sec. user=mdettweiler [2018-04-29 01:18:34] 949*2^1508397-1 is not prime. Res64: 256B0323877664FD Time : 0.0 sec. user=mdettweiler [2018-04-29 01:59:23] 955*2^1508397-1 is not prime. Res64: 8C1F642B08CA6797 Time : 0.0 sec. user=mdettweiler [2018-04-29 01:59:23] 617*2^1508398-1 is not prime. Res64: 274581AD4DD7A936 Time : 0.0 sec. user=mdettweiler [2018-04-29 01:59:24] 681*2^1508398-1 is not prime. Res64: AD1802F7218A90E6 Time : 0.0 sec. user=mdettweiler [2018-04-29 01:59:24] 755*2^1508398-1 is not prime. Res64: 89F75F305E6A970C Time : 0.0 sec. user=mdettweiler [2018-04-29 01:59:25] 845*2^1508398-1 is not prime. Res64: 12004DF6848A9AB9 Time : 0.0 sec. user=mdettweiler [2018-04-29 01:59:38] 649*2^1508399-1 is not prime. Res64: 91295261A0A86823 Time : 0.0 sec. user=mdettweiler [2018-04-29 01:59:39] 843*2^1508399-1 is not prime. Res64: 1445C92ACA8C2EB5 Time : 0.0 sec. user=mdettweiler [2018-04-29 01:59:39] 859*2^1508399-1 is not prime. Res64: 896E6D9EFE08BFCC Time : 0.0 sec. user=mdettweiler [2018-04-29 01:59:40] 861*2^1508399-1 is not prime. Res64: 19F8BC2B39BB5A6F Time : 0.0 sec. user=mdettweiler [2018-04-29 01:59:40] 889*2^1508399-1 is not prime. Res64: 1E8577668603B035 Time : 0.0 sec. user=mdettweiler [2018-04-29 02:08:07] 943*2^1508399-1 is not prime. Res64: CB84BF6220AAAA08 Time : 0.0 sec. user=mdettweiler [2018-04-29 02:08:09] 955*2^1508399-1 is not prime. Res64: 4CF142845A1A8C82 Time : 0.0 sec. user=mdettweiler [2018-04-29 02:08:11] 973*2^1508399-1 is not prime. Res64: F9279445E0C8E17C Time : 0.0 sec. user=mdettweiler [2018-04-29 02:08:12] 623*2^1508400-1 is not prime. Res64: 1614314B979980B9 Time : 0.0 sec. user=mdettweiler [2018-04-29 02:08:15] 675*2^1508400-1 is not prime. Res64: 6C2DB171EFB18229 Time : 0.0 sec. user=mdettweiler [2018-04-29 02:09:07] 707*2^1508400-1 is not prime. Res64: 94B5E72437070110 Time : 0.0 sec. user=mdettweiler [2018-04-29 02:09:10] 825*2^1508400-1 is not prime. Res64: AF6545B05891DF3B Time : 0.0 sec. user=mdettweiler [2018-04-29 02:09:15] 857*2^1508400-1 is not prime. Res64: C1AEA8BD06E05582 Time : 0.0 sec. user=mdettweiler [2018-04-29 02:09:17] 887*2^1508400-1 is not prime. Res64: DBD7EB6AF8C194B7 Time : 0.0 sec. user=mdettweiler [2018-04-29 02:09:18] 915*2^1508400-1 is not prime. Res64: B3700BC9D36E1ACB Time : 0.0 sec. user=mdettweiler [2018-04-29 02:49:46] 771*2^1508401-1 is not prime. Res64: EF2041A3AAF733EE Time : 0.0 sec. user=mdettweiler [2018-04-29 02:49:47] 805*2^1508401-1 is not prime. Res64: E210BA02CCE6CFB4 Time : 0.0 sec. user=mdettweiler [2018-04-29 02:49:47] 807*2^1508401-1 is not prime. Res64: 9C0CBA6B4DAC5B77 Time : 0.0 sec. user=mdettweiler [2018-04-29 02:49:48] 997*2^1508401-1 is not prime. Res64: FBEEA73143BDE6AB Time : 0.0 sec. user=mdettweiler [2018-04-29 02:49:48] 633*2^1508402-1 is not prime. Res64: 70DC3D29B9A767AC Time : 0.0 sec. user=mdettweiler [2018-04-29 02:50:06] 767*2^1508402-1 is not prime. Res64: 91163734D761648A Time : 0.0 sec. user=mdettweiler [2018-04-29 02:50:07] 815*2^1508402-1 is not prime. Res64: 722AA93D25C171E2 Time : 0.0 sec. user=mdettweiler [2018-04-29 02:50:07] 825*2^1508402-1 is not prime. Res64: C801C5193ED0A8AC Time : 0.0 sec. user=mdettweiler [2018-04-29 02:50:08] 831*2^1508402-1 is not prime. Res64: 64BBF1785E2C1710 Time : 0.0 sec. user=mdettweiler [2018-04-29 02:50:09] 867*2^1508402-1 is not prime. Res64: 458EC88F065C5A33 Time : 0.0 sec. user=mdettweiler [2018-04-29 02:58:56] 885*2^1508402-1 is not prime. Res64: 7B6254F5DC5C07D3 Time : 0.0 sec. user=mdettweiler [2018-04-29 02:58:57] 941*2^1508402-1 is not prime. Res64: 76673C28308889B1 Time : 0.0 sec. user=mdettweiler [2018-04-29 02:58:57] 945*2^1508402-1 is not prime. Res64: F17FA88066F180F0 Time : 0.0 sec. user=mdettweiler [2018-04-29 02:58:58] 983*2^1508402-1 is not prime. Res64: 2FE5C010BE85C57B Time : 0.0 sec. user=mdettweiler [2018-04-29 02:58:58] 625*2^1508403-1 is not prime. Res64: 552F6CD3557EA696 Time : 0.0 sec. user=mdettweiler [2018-04-29 02:59:11] 685*2^1508403-1 is not prime. Res64: 9E9C03A2EF4D861A Time : 0.0 sec. user=mdettweiler [2018-04-29 02:59:12] 705*2^1508403-1 is not prime. Res64: 0E9B667B38CDCBD0 Time : 0.0 sec. user=mdettweiler [2018-04-29 02:59:12] 709*2^1508403-1 is not prime. Res64: 46532288FA045320 Time : 0.0 sec. user=mdettweiler [2018-04-29 02:59:13] 783*2^1508403-1 is not prime. Res64: 900CAA9735EBFC7B Time : 0.0 sec. user=mdettweiler [2018-04-29 02:59:13] 795*2^1508403-1 is not prime. Res64: A48A2FC85E16B7DA Time : 0.0 sec. user=mdettweiler [2018-04-29 03:40:04] 901*2^1508403-1 is not prime. Res64: EA66612CE4974D42 Time : 0.0 sec. user=mdettweiler [2018-04-29 03:40:07] 991*2^1508403-1 is not prime. Res64: F492DDA8A40970D3 Time : 0.0 sec. user=mdettweiler [2018-04-29 03:40:10] 687*2^1508404-1 is not prime. Res64: 76F8B8EFABF64E06 Time : 0.0 sec. user=mdettweiler [2018-04-29 03:40:11] 855*2^1508404-1 is not prime. Res64: E446782F0772C2F0 Time : 0.0 sec. user=mdettweiler [2018-04-29 03:40:11] 717*2^1508404-1 is not prime. Res64: E8A35590C5E1D212 Time : 0.0 sec. user=mdettweiler [2018-04-29 03:40:12] 759*2^1508404-1 is not prime. Res64: B276CC54F0A86D1D Time : 0.0 sec. user=mdettweiler [2018-04-29 03:40:13] 965*2^1508404-1 is not prime. Res64: 583C1523EB9526B9 Time : 0.0 sec. user=mdettweiler [2018-04-29 03:40:14] 601*2^1508405-1 is not prime. Res64: 598FC3B90FEC5BEB Time : 0.0 sec. user=mdettweiler [2018-04-29 03:40:17] 727*2^1508405-1 is not prime. Res64: 40A2538D7DC37F1C Time : 0.0 sec. user=mdettweiler [2018-04-29 03:40:18] 777*2^1508405-1 is not prime. Res64: 5AA71CE016F0138D Time : 0.0 sec. user=mdettweiler [2018-04-29 03:49:06] 795*2^1508405-1 is not prime. Res64: 77BF6A53ADA1C5FA Time : 0.0 sec. user=mdettweiler [2018-04-29 03:49:07] 861*2^1508405-1 is not prime. Res64: DE3CBC5D96CD5076 Time : 0.0 sec. user=mdettweiler [2018-04-29 03:49:07] 981*2^1508405-1 is not prime. Res64: D4B10D3192DC24B6 Time : 0.0 sec. user=mdettweiler [2018-04-29 03:49:08] 641*2^1508406-1 is not prime. Res64: AF65FD01F8801707 Time : 0.0 sec. user=mdettweiler [2018-04-29 03:49:09] 693*2^1508406-1 is not prime. Res64: A5C9CEFD3F7748F5 Time : 0.0 sec. user=mdettweiler [2018-04-29 03:49:23] 755*2^1508406-1 is not prime. Res64: 88EC5D46660AB946 Time : 0.0 sec. user=mdettweiler [2018-04-29 03:49:25] 815*2^1508406-1 is not prime. Res64: 3E309606F0E5047C Time : 0.0 sec. user=mdettweiler [2018-04-29 03:49:26] 851*2^1508406-1 is not prime. Res64: E27F32A3B117F2EE Time : 0.0 sec. user=mdettweiler [2018-04-29 03:49:27] 921*2^1508406-1 is not prime. Res64: F172909D2B00D816 Time : 0.0 sec. user=mdettweiler [2018-04-29 03:49:28] 603*2^1508407-1 is not prime. Res64: DDEA688127F91E85 Time : 0.0 sec. user=mdettweiler [2018-04-29 04:33:48] 797*2^1508408-1 is not prime. Res64: E4890B88AE21ED19 Time : 0.0 sec. user=mdettweiler [2018-04-29 04:33:48] 845*2^1508408-1 is not prime. Res64: 6153636B9B416145 Time : 0.0 sec. user=mdettweiler [2018-04-29 04:33:49] 963*2^1508408-1 is not prime. Res64: B41A8456EC71461F Time : 0.0 sec. user=mdettweiler [2018-04-29 04:33:49] 681*2^1508409-1 is not prime. Res64: A01E7CA876634E89 Time : 0.0 sec. user=mdettweiler [2018-04-29 04:33:50] 727*2^1508409-1 is not prime. Res64: 421DDEC088DD21A0 Time : 0.0 sec. user=mdettweiler [2018-04-29 04:34:08] 651*2^1508407-1 is not prime. Res64: D410EBD58C024A89 Time : 0.0 sec. user=mdettweiler [2018-04-29 04:34:09] 939*2^1508407-1 is not prime. Res64: C4CE9021CDDF932C Time : 0.0 sec. user=mdettweiler [2018-04-29 04:34:09] 975*2^1508407-1 is not prime. Res64: F376F8A6B817A6F7 Time : 0.0 sec. user=mdettweiler [2018-04-29 04:34:09] 759*2^1508408-1 is not prime. Res64: DA9AF4F2F1A5546F Time : 0.0 sec. user=mdettweiler [2018-04-29 04:34:10] 767*2^1508408-1 is not prime. Res64: 0F5415D64113490E Time : 0.0 sec. user=mdettweiler [2018-04-29 04:42:55] 975*2^1508409-1 is not prime. Res64: 76BDD4EF13124043 Time : 0.0 sec. user=mdettweiler [2018-04-29 04:42:56] 991*2^1508409-1 is not prime. Res64: 7F47ADD4F41557F5 Time : 0.0 sec. user=mdettweiler [2018-04-29 04:42:56] 605*2^1508410-1 is not prime. Res64: D74D04094CB72D07 Time : 0.0 sec. user=mdettweiler [2018-04-29 04:42:57] 701*2^1508410-1 is not prime. Res64: 7923324E8D4232A2 Time : 0.0 sec. user=mdettweiler [2018-04-29 04:42:57] 713*2^1508410-1 is not prime. Res64: 193DDA1FDCA3510B Time : 0.0 sec. user=mdettweiler [2018-04-29 04:43:48] 751*2^1508409-1 is not prime. Res64: EE824E981E5D1F8C Time : 0.0 sec. user=mdettweiler [2018-04-29 04:43:48] 831*2^1508409-1 is not prime. Res64: FBDC91497DB0EB39 Time : 0.0 sec. user=mdettweiler [2018-04-29 04:43:49] 865*2^1508409-1 is not prime. Res64: 1D61B0C161B32E55 Time : 0.0 sec. user=mdettweiler [2018-04-29 04:43:49] 889*2^1508409-1 is not prime. Res64: D5994F94A6C5C7A0 Time : 0.0 sec. user=mdettweiler [2018-04-29 04:43:50] 895*2^1508409-1 is not prime. Res64: BECD12E95C787B0E Time : 0.0 sec. user=mdettweiler [2018-04-29 05:26:03] 645*2^1508411-1 is not prime. Res64: 01F818587ABCF31F Time : 0.0 sec. user=mdettweiler [2018-04-29 05:26:05] 703*2^1508411-1 is not prime. Res64: DE1C74A837F64CFA Time : 0.0 sec. user=mdettweiler [2018-04-29 05:26:05] 813*2^1508411-1 is not prime. Res64: 1AD5B1551D007640 Time : 0.0 sec. user=mdettweiler [2018-04-29 05:26:06] 819*2^1508411-1 is not prime. Res64: 65CDD134E8D9FF3B Time : 0.0 sec. user=mdettweiler [2018-04-29 05:26:07] 991*2^1508411-1 is not prime. Res64: 9925CB001B9E7E3A Time : 0.0 sec. user=mdettweiler [2018-04-29 05:26:47] 861*2^1508410-1 is not prime. Res64: 62145638E071598E Time : 0.0 sec. user=mdettweiler [2018-04-29 05:26:47] 867*2^1508410-1 is not prime. Res64: E7FAB130FE88D174 Time : 0.0 sec. user=mdettweiler [2018-04-29 05:26:48] 887*2^1508410-1 is not prime. Res64: 018438C107235B45 Time : 0.0 sec. user=mdettweiler [2018-04-29 05:26:49] 987*2^1508410-1 is not prime. Res64: 00589CD7491A6990 Time : 0.0 sec. user=mdettweiler [2018-04-29 05:26:49] 643*2^1508411-1 is not prime. Res64: 7F065DB9388E3B0F Time : 0.0 sec. user=mdettweiler [2018-04-29 05:35:48] 627*2^1508412-1 is not prime. Res64: 7A002D807EA67935 Time : 0.0 sec. user=mdettweiler [2018-04-29 05:35:48] 825*2^1508412-1 is not prime. Res64: 126DF846C1FBEB0A Time : 0.0 sec. user=mdettweiler [2018-04-29 05:35:49] 751*2^1508413-1 is not prime. Res64: D2B6D3D61349F9C8 Time : 0.0 sec. user=mdettweiler [2018-04-29 05:35:49] 805*2^1508413-1 is not prime. Res64: B109BEF33C501493 Time : 0.0 sec. user=mdettweiler [2018-04-29 05:35:50] 889*2^1508413-1 is not prime. Res64: 3F38733C327A58E6 Time : 0.0 sec. user=mdettweiler [2018-04-29 05:35:58] 901*2^1508413-1 is not prime. Res64: 9C58FD7A6924CB3B Time : 0.0 sec. user=mdettweiler [2018-04-29 05:35:59] 615*2^1508414-1 is not prime. Res64: 1C0DB62072103EE3 Time : 0.0 sec. user=mdettweiler [2018-04-29 05:35:59] 675*2^1508414-1 is not prime. Res64: C83CFB477D0C6674 Time : 0.0 sec. user=mdettweiler [2018-04-29 05:36:00] 705*2^1508414-1 is not prime. Res64: BC6C4261E10C31AC Time : 0.0 sec. user=mdettweiler [2018-04-29 05:36:00] 743*2^1508414-1 is not prime. Res64: 5096D2461BFF0909 Time : 0.0 sec. user=mdettweiler [2018-04-29 06:19:34] 773*2^1508414-1 is not prime. Res64: 576175C866DBD640 Time : 0.0 sec. user=mdettweiler [2018-04-29 06:19:34] 921*2^1508414-1 is not prime. Res64: 87134B4128D62802 Time : 0.0 sec. user=mdettweiler [2018-04-29 06:19:35] 927*2^1508414-1 is not prime. Res64: C50C9C7A83EF2442 Time : 0.0 sec. user=mdettweiler [2018-04-29 06:19:35] 1001*2^1508414-1 is not prime. Res64: 0521C821E5A59A3B Time : 0.0 sec. user=mdettweiler [2018-04-29 06:19:36] 709*2^1508415-1 is not prime. Res64: 048021DE0000C335 Time : 0.0 sec. user=mdettweiler [2018-04-29 06:20:15] 765*2^1508415-1 is not prime. Res64: F95D01189334EC07 Time : 0.0 sec. user=mdettweiler [2018-04-29 06:20:16] 783*2^1508415-1 is not prime. Res64: 5D8A0252598F0A0B Time : 0.0 sec. user=mdettweiler [2018-04-29 06:20:16] 999*2^1508415-1 is not prime. Res64: 2C1F43A98A2DCB5C Time : 0.0 sec. user=mdettweiler [2018-04-29 06:20:17] 695*2^1508416-1 is not prime. Res64: 08713445ED63D17A Time : 0.0 sec. user=mdettweiler [2018-04-29 06:20:17] 779*2^1508416-1 is not prime. Res64: A07445E103E747B7 Time : 0.0 sec. user=mdettweiler [2018-04-29 06:28:30] 777*2^1508418-1 is not prime. Res64: 677AA18F047E16A7 Time : 0.0 sec. user=mdettweiler [2018-04-29 06:28:30] 861*2^1508418-1 is not prime. Res64: 186A4F971D5A29D0 Time : 0.0 sec. user=mdettweiler [2018-04-29 06:28:31] 977*2^1508418-1 is not prime. Res64: 2E3C26EFADE5D936 Time : 0.0 sec. user=mdettweiler [2018-04-29 06:28:31] 679*2^1508419-1 is not prime. Res64: 77A99499C7BC7DBB Time : 0.0 sec. user=mdettweiler [2018-04-29 06:28:32] 705*2^1508419-1 is not prime. Res64: 0175663E4FD2E40A Time : 0.0 sec. user=mdettweiler [2018-04-29 06:28:34] 651*2^1508417-1 is not prime. Res64: FBF56220FCBCE2E9 Time : 0.0 sec. user=mdettweiler [2018-04-29 06:28:35] 729*2^1508417-1 is not prime. Res64: 59EBE91E5DFBF4DC Time : 0.0 sec. user=mdettweiler [2018-04-29 06:28:35] 909*2^1508417-1 is not prime. Res64: 8E34E97AC21147AE Time : 0.0 sec. user=mdettweiler [2018-04-29 06:28:36] 755*2^1508418-1 is not prime. Res64: FAAF25B4C92EA95F Time : 0.0 sec. user=mdettweiler [2018-04-29 06:28:36] 767*2^1508418-1 is not prime. Res64: 293F92A6183760A8 Time : 0.0 sec. user=mdettweiler [2018-04-29 07:10:27] 975*2^1508419-1 is not prime. Res64: 24EFF3D1ACA4B518 Time : 0.0 sec. user=mdettweiler [2018-04-29 07:10:28] 647*2^1508420-1 is not prime. Res64: 67F889F6D7557B94 Time : 0.0 sec. user=mdettweiler [2018-04-29 07:10:28] 659*2^1508420-1 is not prime. Res64: 4F0AF80E352783DC Time : 0.0 sec. user=mdettweiler [2018-04-29 07:10:29] 677*2^1508420-1 is not prime. Res64: C61633C3F1A9D675 Time : 0.0 sec. user=mdettweiler [2018-04-29 07:10:29] 839*2^1508420-1 is not prime. Res64: 1FFC229B03455518 Time : 0.0 sec. user=mdettweiler [2018-04-29 07:11:32] 929*2^1508420-1 is not prime. Res64: 641D18FB2CFC4468 Time : 0.0 sec. user=mdettweiler [2018-04-29 07:11:32] 651*2^1508421-1 is not prime. Res64: 928BD9709A179E78 Time : 0.0 sec. user=mdettweiler [2018-04-29 07:11:33] 681*2^1508421-1 is not prime. Res64: CC9FEEF006427ACA Time : 0.0 sec. user=mdettweiler [2018-04-29 07:11:33] 805*2^1508421-1 is not prime. Res64: BBCFA52BB18AC26A Time : 0.0 sec. user=mdettweiler [2018-04-29 07:11:34] 877*2^1508421-1 is not prime. Res64: 95EB8E68B72CB08C Time : 0.0 sec. user=mdettweiler [2018-04-29 07:20:02] 827*2^1508422-1 is not prime. Res64: 2AED4444A2589878 Time : 0.0 sec. user=mdettweiler [2018-04-29 07:20:03] 833*2^1508422-1 is not prime. Res64: B7DF3D553AB377B3 Time : 0.0 sec. user=mdettweiler [2018-04-29 07:20:03] 915*2^1508422-1 is not prime. Res64: 00A614668E541D73 Time : 0.0 sec. user=mdettweiler [2018-04-29 07:20:04] 917*2^1508422-1 is not prime. Res64: 95D5C62934FFD662 Time : 0.0 sec. user=mdettweiler [2018-04-29 07:20:04] 995*2^1508422-1 is not prime. Res64: FAE240923D65A008 Time : 0.0 sec. user=mdettweiler [2018-04-29 07:20:13] 889*2^1508421-1 is not prime. Res64: F879DFF4373CFB90 Time : 0.0 sec. user=mdettweiler [2018-04-29 07:20:13] 961*2^1508421-1 is not prime. Res64: 22B4796F37740901 Time : 0.0 sec. user=mdettweiler [2018-04-29 07:20:14] 997*2^1508421-1 is not prime. Res64: 09ED7028A932CB84 Time : 0.0 sec. user=mdettweiler [2018-04-29 07:20:14] 723*2^1508422-1 is not prime. Res64: 2BB8D7A179388A46 Time : 0.0 sec. user=mdettweiler [2018-04-29 07:20:15] 743*2^1508422-1 is not prime. Res64: DD9F57BF2C6988DB Time : 0.0 sec. user=mdettweiler [2018-04-29 07:59:17] 603*2^1508423-1 is not prime. Res64: 5B613F3812AB85F6 Time : 0.0 sec. user=mdettweiler [2018-04-29 07:59:18] 619*2^1508423-1 is not prime. Res64: 23F7C9F12CBB933B Time : 0.0 sec. user=mdettweiler [2018-04-29 07:59:18] 675*2^1508423-1 is not prime. Res64: FABDF4AEEB50306D Time : 0.0 sec. user=mdettweiler [2018-04-29 07:59:19] 861*2^1508423-1 is not prime. Res64: A6067F9B999FA97A Time : 0.0 sec. user=mdettweiler [2018-04-29 07:59:19] 707*2^1508424-1 is not prime. Res64: 02AA8B57E0DD57E4 Time : 0.0 sec. user=mdettweiler [2018-04-29 08:01:05] 857*2^1508424-1 is not prime. Res64: 126B882CB27C7B76 Time : 0.0 sec. user=mdettweiler [2018-04-29 08:01:06] 983*2^1508424-1 is not prime. Res64: EBD92EF4441BA9B4 Time : 0.0 sec. user=mdettweiler [2018-04-29 08:01:06] 619*2^1508425-1 is not prime. Res64: DEE68867AE8D15BB Time : 0.0 sec. user=mdettweiler [2018-04-29 08:01:07] 625*2^1508425-1 is not prime. Res64: 3FF6C7A901743891 Time : 0.0 sec. user=mdettweiler [2018-04-29 08:01:07] 675*2^1508425-1 is not prime. Res64: 46B94F04786CD9E4 Time : 0.0 sec. user=mdettweiler [2018-04-29 08:10:07] 691*2^1508425-1 is not prime. Res64: 2DEB53612BF19A05 Time : 0.0 sec. user=mdettweiler [2018-04-29 08:10:08] 777*2^1508425-1 is not prime. Res64: 88D11A40DFD1365F Time : 0.0 sec. user=mdettweiler [2018-04-29 08:10:08] 799*2^1508425-1 is not prime. Res64: A84678C7311F5C24 Time : 0.0 sec. user=mdettweiler [2018-04-29 08:10:08] 895*2^1508425-1 is not prime. Res64: F8C4700127323B16 Time : 0.0 sec. user=mdettweiler [2018-04-29 08:10:09] 705*2^1508426-1 is not prime. Res64: 857E56699FA24F95 Time : 0.0 sec. user=mdettweiler [2018-04-29 08:10:39] 707*2^1508426-1 is not prime. Res64: 10CA3F0A49BB1ACB Time : 0.0 sec. user=mdettweiler [2018-04-29 08:10:40] 773*2^1508426-1 is not prime. Res64: CE4A955289B3778F Time : 0.0 sec. user=mdettweiler [2018-04-29 08:10:40] 837*2^1508426-1 is not prime. Res64: 6E92B65D4264219D Time : 0.0 sec. user=mdettweiler [2018-04-29 08:10:40] 843*2^1508426-1 is not prime. Res64: 79C6F76A8298AEE0 Time : 0.0 sec. user=mdettweiler [2018-04-29 08:10:41] 981*2^1508426-1 is not prime. Res64: 2EBEAACE7E2DDD17 Time : 0.0 sec. user=mdettweiler [2018-04-29 08:50:40] 633*2^1508427-1 is not prime. Res64: F0636E527A4CD244 Time : 0.0 sec. user=mdettweiler [2018-04-29 08:50:40] 849*2^1508427-1 is not prime. Res64: 25D96CC57CECA38D Time : 0.0 sec. user=mdettweiler [2018-04-29 08:50:41] 909*2^1508427-1 is not prime. Res64: 45982F3D0363C8C6 Time : 0.0 sec. user=mdettweiler [2018-04-29 08:50:41] 945*2^1508427-1 is not prime. Res64: CECE6D064C59E10C Time : 0.0 sec. user=mdettweiler [2018-04-29 08:50:41] 603*2^1508428-1 is not prime. Res64: 510D5E3A004385CB Time : 0.0 sec. user=mdettweiler [2018-04-29 08:51:53] 635*2^1508428-1 is not prime. Res64: 09B5FF7D03B1A991 Time : 0.0 sec. user=mdettweiler [2018-04-29 08:51:54] 749*2^1508428-1 is not prime. Res64: 38A49438E6C778AC Time : 0.0 sec. user=mdettweiler [2018-04-29 08:51:54] 897*2^1508428-1 is not prime. Res64: 1A4BF962A9F61EB7 Time : 0.0 sec. user=mdettweiler [2018-04-29 08:51:54] 645*2^1508429-1 is not prime. Res64: FAF7A390CE9607EA Time : 0.0 sec. user=mdettweiler [2018-04-29 08:51:55] 675*2^1508429-1 is not prime. Res64: 1941E59B9E081068 Time : 0.0 sec. user=mdettweiler [2018-04-29 09:01:16] 699*2^1508429-1 is not prime. Res64: 338E131451768339 Time : 0.0 sec. user=mdettweiler [2018-04-29 09:01:17] 735*2^1508429-1 is not prime. Res64: E0137D6D7B4C3909 Time : 0.0 sec. user=mdettweiler [2018-04-29 09:01:18] 795*2^1508429-1 is not prime. Res64: 7E622BD05BD5669A Time : 0.0 sec. user=mdettweiler [2018-04-29 09:01:19] 825*2^1508429-1 is not prime. Res64: 6D6BE5327FE99E96 Time : 0.0 sec. user=mdettweiler [2018-04-29 09:01:21] 829*2^1508429-1 is not prime. Res64: 92CECB54305CAC05 Time : 0.0 sec. user=mdettweiler [2018-04-29 09:01:48] 861*2^1508429-1 is not prime. Res64: C287ABD48504F3A6 Time : 0.0 sec. user=mdettweiler [2018-04-29 09:01:48] 641*2^1508430-1 is not prime. Res64: D39A27FE3B058DBF Time : 0.0 sec. user=mdettweiler [2018-04-29 09:01:49] 657*2^1508430-1 is not prime. Res64: 0CDFFDE9D6E339A4 Time : 0.0 sec. user=mdettweiler [2018-04-29 09:01:49] 755*2^1508430-1 is not prime. Res64: 29690EFB60A0704A Time : 0.0 sec. user=mdettweiler [2018-04-29 09:01:50] 885*2^1508430-1 is not prime. Res64: DDAFDE92D06F3E45 Time : 0.0 sec. user=mdettweiler [2018-04-29 09:40:52] 917*2^1508430-1 is not prime. Res64: 663AEC28E9058BDD Time : 0.0 sec. user=mdettweiler [2018-04-29 09:40:53] 619*2^1508431-1 is not prime. Res64: FA21D879C6277F5D Time : 0.0 sec. user=mdettweiler [2018-04-29 09:40:53] 805*2^1508431-1 is not prime. Res64: 95A18B96E6CDFB2A Time : 0.0 sec. user=mdettweiler [2018-04-29 09:40:54] 993*2^1508431-1 is not prime. Res64: E575AE612E909912 Time : 0.0 sec. user=mdettweiler [2018-04-29 09:40:54] 617*2^1508432-1 is not prime. Res64: 7871016276EEB655 Time : 0.0 sec. user=mdettweiler [2018-04-29 09:41:55] 633*2^1508432-1 is not prime. Res64: D3CEA770412A00D4 Time : 0.0 sec. user=mdettweiler [2018-04-29 09:41:55] 635*2^1508432-1 is not prime. Res64: 69D46A1F4B6AED64 Time : 0.0 sec. user=mdettweiler [2018-04-29 09:41:56] 777*2^1508432-1 is not prime. Res64: 6F3041CDB3D35AA5 Time : 0.0 sec. user=mdettweiler [2018-04-29 09:41:56] 827*2^1508432-1 is not prime. Res64: 9C00D05F52162947 Time : 0.0 sec. user=mdettweiler [2018-04-29 09:41:56] 977*2^1508432-1 is not prime. Res64: 3AC1023EA00BCCF8 Time : 0.0 sec. user=mdettweiler [2018-04-29 09:51:44] 663*2^1508434-1 is not prime. Res64: 0BCACAF12E803F71 Time : 0.0 sec. user=mdettweiler [2018-04-29 09:51:44] 747*2^1508434-1 is not prime. Res64: 3050F6FA5F7D3E64 Time : 0.0 sec. user=mdettweiler [2018-04-29 09:51:44] 831*2^1508434-1 is not prime. Res64: BC67EDF8BA63041F Time : 0.0 sec. user=mdettweiler [2018-04-29 09:51:45] 987*2^1508434-1 is not prime. Res64: 356DD604A20BFC16 Time : 0.0 sec. user=mdettweiler [2018-04-29 09:51:45] 609*2^1508435-1 is not prime. Res64: 2A07D3AC77F433ED Time : 0.0 sec. user=mdettweiler [2018-04-29 09:51:48] 837*2^1508433-1 is not prime. Res64: E793EF7E24C9ECAE Time : 0.0 sec. user=mdettweiler [2018-04-29 09:51:48] 847*2^1508433-1 is not prime. Res64: 2E231CCF19BB4590 Time : 0.0 sec. user=mdettweiler [2018-04-29 09:51:48] 955*2^1508433-1 is not prime. Res64: 807D0945CD15E521 Time : 0.0 sec. user=mdettweiler [2018-04-29 09:51:49] 987*2^1508433-1 is not prime. Res64: 878ABDAC2ECF8BC0 Time : 0.0 sec. user=mdettweiler [2018-04-29 09:51:49] 635*2^1508434-1 is not prime. Res64: 35463B32E4DCDF76 Time : 0.0 sec. user=mdettweiler [2018-04-29 10:31:33] 753*2^1508435-1 is not prime. Res64: CB6839A39DF172B4 Time : 0.0 sec. user=mdettweiler [2018-04-29 10:31:33] 775*2^1508435-1 is not prime. Res64: FB0D20828E3A5C6F Time : 0.0 sec. user=mdettweiler [2018-04-29 10:31:34] 783*2^1508435-1 is not prime. Res64: 37394DBA692A2756 Time : 0.0 sec. user=mdettweiler [2018-04-29 10:31:34] 969*2^1508435-1 is not prime. Res64: BE7532334853F20F Time : 0.0 sec. user=mdettweiler [2018-04-29 10:31:35] 639*2^1508436-1 is not prime. Res64: 9F93EFF30FAAD4BC Time : 0.0 sec. user=mdettweiler [2018-04-29 10:32:11] 693*2^1508436-1 is not prime. Res64: C1CB3575D55EDFC5 Time : 0.0 sec. user=mdettweiler [2018-04-29 10:32:11] 777*2^1508436-1 is not prime. Res64: E15059C226763227 Time : 0.0 sec. user=mdettweiler [2018-04-29 10:32:12] 809*2^1508436-1 is not prime. Res64: 9FA535983291C882 Time : 0.0 sec. user=mdettweiler [2018-04-29 10:32:12] 845*2^1508436-1 is not prime. Res64: 9F641177AACFABFF Time : 0.0 sec. user=mdettweiler [2018-04-29 10:32:12] 857*2^1508436-1 is not prime. Res64: 0EA45208F6A6DA95 Time : 0.0 sec. user=mdettweiler [2018-04-29 10:42:06] 867*2^1508436-1 is not prime. Res64: 7AEC0546C0008390 Time : 0.0 sec. user=mdettweiler [2018-04-29 10:42:06] 947*2^1508436-1 is not prime. Res64: 0AFDC9951EE1DB85 Time : 0.0 sec. user=mdettweiler [2018-04-29 10:42:06] 651*2^1508437-1 is not prime. Res64: C9667AC0AF4E0565 Time : 0.0 sec. user=mdettweiler [2018-04-29 10:42:07] 741*2^1508437-1 is not prime. Res64: AF387E0122741EBB Time : 0.0 sec. user=mdettweiler [2018-04-29 10:42:07] 765*2^1508437-1 is not prime. Res64: F5A8D50ADC7273F3 Time : 0.0 sec. user=mdettweiler [2018-04-29 10:42:29] 801*2^1508437-1 is not prime. Res64: 56CD9C870DEF10DE Time : 0.0 sec. user=mdettweiler [2018-04-29 10:42:30] 861*2^1508437-1 is not prime. Res64: 405AE230D06600F6 Time : 0.0 sec. user=mdettweiler [2018-04-29 10:42:30] 885*2^1508437-1 is not prime. Res64: FE956825DD58027A Time : 0.0 sec. user=mdettweiler [2018-04-29 10:42:31] 897*2^1508437-1 is not prime. Res64: 70C3E3865AB947F6 Time : 0.0 sec. user=mdettweiler [2018-04-29 10:42:31] 937*2^1508437-1 is not prime. Res64: 4A0320F96CDC3B34 Time : 0.0 sec. user=mdettweiler [2018-04-29 11:21:34] 605*2^1508438-1 is not prime. Res64: 6D7979EB0E5EBAD4 Time : 0.0 sec. user=mdettweiler [2018-04-29 11:21:35] 753*2^1508438-1 is not prime. Res64: D7FC0EDEDAB6AA4A Time : 0.0 sec. user=mdettweiler [2018-04-29 11:21:35] 797*2^1508438-1 is not prime. Res64: C10459F1FF1E998E Time : 0.0 sec. user=mdettweiler [2018-04-29 11:21:36] 825*2^1508439-1 is not prime. Res64: F4F99E83BF427AAF Time : 0.0 sec. user=mdettweiler [2018-04-29 11:21:36] 885*2^1508439-1 is not prime. Res64: E46687699554E1A6 Time : 0.0 sec. user=mdettweiler [2018-04-29 11:22:02] 891*2^1508439-1 is not prime. Res64: 03F703F93453D33E Time : 0.0 sec. user=mdettweiler [2018-04-29 11:22:02] 653*2^1508440-1 is not prime. Res64: 8D1FB79D76AF458D Time : 0.0 sec. user=mdettweiler [2018-04-29 11:22:03] 707*2^1508440-1 is not prime. Res64: 03ED2A925B98B404 Time : 0.0 sec. user=mdettweiler [2018-04-29 11:22:03] 723*2^1508440-1 is not prime. Res64: 913DDE7C192AEC5C Time : 0.0 sec. user=mdettweiler [2018-04-29 11:22:03] 875*2^1508440-1 is not prime. Res64: 8AA7D7293A2A0DBB Time : 0.0 sec. user=mdettweiler [2018-04-29 11:32:01] 615*2^1508442-1 is not prime. Res64: 3CC2D9D780B892C3 Time : 0.0 sec. user=mdettweiler [2018-04-29 11:32:01] 717*2^1508442-1 is not prime. Res64: BD4E30A6EE9B74EF Time : 0.0 sec. user=mdettweiler [2018-04-29 11:32:02] 765*2^1508442-1 is not prime. Res64: 1163FB25768D5904 Time : 0.0 sec. user=mdettweiler [2018-04-29 11:32:02] 915*2^1508442-1 is not prime. Res64: 11DF5838C89CFE7D Time : 0.0 sec. user=mdettweiler [2018-04-29 11:32:02] 633*2^1508443-1 is not prime. Res64: D92B3D37AD517C82 Time : 0.0 sec. user=mdettweiler [2018-04-29 11:32:16] 887*2^1508440-1 is not prime. Res64: 3B90D4FA7CDFDDBE Time : 0.0 sec. user=mdettweiler [2018-04-29 11:32:17] 685*2^1508441-1 is not prime. Res64: B735158311729CE7 Time : 0.0 sec. user=mdettweiler [2018-04-29 11:32:17] 931*2^1508441-1 is not prime. Res64: CDAC38D7128FC8AA Time : 0.0 sec. user=mdettweiler [2018-04-29 11:32:18] 939*2^1508441-1 is not prime. Res64: 40F4B53D9765A7A2 Time : 0.0 sec. user=mdettweiler [2018-04-29 11:32:18] 987*2^1508441-1 is not prime. Res64: 82AFB81F8C421E87 Time : 0.0 sec. user=mdettweiler [2018-04-29 12:11:35] 783*2^1508443-1 is not prime. Res64: 20FD7C368CEEED19 Time : 0.0 sec. user=mdettweiler [2018-04-29 12:11:35] 951*2^1508443-1 is not prime. Res64: 59C9ACAFC8764CAC Time : 0.0 sec. user=mdettweiler [2018-04-29 12:11:36] 609*2^1508444-1 is not prime. Res64: DA23FC4935D8B31F Time : 0.0 sec. user=mdettweiler [2018-04-29 12:11:36] 617*2^1508444-1 is not prime. Res64: 69BA6C6800572228 Time : 0.0 sec. user=mdettweiler [2018-04-29 12:11:37] 629*2^1508444-1 is not prime. Res64: 8A9965DA2CD8DDE2 Time : 0.0 sec. user=mdettweiler [2018-04-29 12:12:20] 675*2^1508444-1 is not prime. Res64: 9CC6D8480CDB887D Time : 0.0 sec. user=mdettweiler [2018-04-29 12:12:20] 717*2^1508444-1 is not prime. Res64: C965D1E710924C86 Time : 0.0 sec. user=mdettweiler [2018-04-29 12:12:21] 743*2^1508444-1 is not prime. Res64: 18C13B95C7A838B0 Time : 0.0 sec. user=mdettweiler [2018-04-29 12:12:21] 855*2^1508444-1 is not prime. Res64: 3A03800D589963D1 Time : 0.0 sec. user=mdettweiler [2018-04-29 12:12:22] 897*2^1508444-1 is not prime. Res64: 4E5AD644297C75C5 Time : 0.0 sec. user=mdettweiler [2018-04-29 12:22:50] 937*2^1508445-1 is not prime. Res64: BEBD5B14DA3F368A Time : 0.0 sec. user=mdettweiler [2018-04-29 12:22:51] 985*2^1508445-1 is not prime. Res64: E65AA406218C3938 Time : 0.0 sec. user=mdettweiler [2018-04-29 12:22:51] 991*2^1508445-1 is not prime. Res64: 2FBE3331B82040AA Time : 0.0 sec. user=mdettweiler [2018-04-29 12:22:52] 997*2^1508445-1 is not prime. Res64: F6BB940C936B3586 Time : 0.0 sec. user=mdettweiler [2018-04-29 12:22:52] 603*2^1508446-1 is not prime. Res64: 882C91B4AE7E9BE6 Time : 0.0 sec. user=mdettweiler [2018-04-29 12:23:09] 909*2^1508444-1 is not prime. Res64: 40FB4CF2CE3CCDDC Time : 0.0 sec. user=mdettweiler [2018-04-29 12:23:09] 935*2^1508444-1 is not prime. Res64: 8A24F9B4E7268996 Time : 0.0 sec. user=mdettweiler [2018-04-29 12:23:10] 819*2^1508445-1 is not prime. Res64: B9886082A1FB3F4A Time : 0.0 sec. user=mdettweiler [2018-04-29 12:23:10] 871*2^1508445-1 is not prime. Res64: 16725763D8F308CC Time : 0.0 sec. user=mdettweiler [2018-04-29 12:23:10] 889*2^1508445-1 is not prime. Res64: 018D82F07356DAF2 Time : 0.0 sec. user=mdettweiler [2018-04-29 13:02:39] 633*2^1508447-1 is not prime. Res64: 33F0D9E70C12BE62 Time : 0.0 sec. user=mdettweiler [2018-04-29 13:02:40] 703*2^1508447-1 is not prime. Res64: D0004ABCD475E437 Time : 0.0 sec. user=mdettweiler [2018-04-29 13:02:41] 729*2^1508447-1 is not prime. Res64: 66FFE7F9809D4869 Time : 0.0 sec. user=mdettweiler [2018-04-29 13:02:41] 739*2^1508447-1 is not prime. Res64: F349CCE616E44DD1 Time : 0.0 sec. user=mdettweiler [2018-04-29 13:02:42] 627*2^1508448-1 is not prime. Res64: 487576720F54FDA8 Time : 0.0 sec. user=mdettweiler [2018-04-29 13:02:51] 623*2^1508446-1 is not prime. Res64: EA83EDEDC4645B71 Time : 0.0 sec. user=mdettweiler [2018-04-29 13:02:52] 755*2^1508446-1 is not prime. Res64: FAAC9F5DA5F52232 Time : 0.0 sec. user=mdettweiler [2018-04-29 13:02:54] 867*2^1508446-1 is not prime. Res64: FB7888DAD2068E52 Time : 0.0 sec. user=mdettweiler [2018-04-29 13:02:54] 911*2^1508446-1 is not prime. Res64: C74BBDA89C718756 Time : 0.0 sec. user=mdettweiler [2018-04-29 13:02:56] 923*2^1508446-1 is not prime. Res64: A15EB8AD4347D5E6 Time : 0.0 sec. user=mdettweiler [2018-04-29 13:13:34] 705*2^1508448-1 is not prime. Res64: A3BDBBECFB925B77 Time : 0.0 sec. user=mdettweiler [2018-04-29 13:13:35] 725*2^1508448-1 is not prime. Res64: A65C2D273D3E3D79 Time : 0.0 sec. user=mdettweiler [2018-04-29 13:13:35] 945*2^1508448-1 is not prime. Res64: 12CFB63D7826F371 Time : 0.0 sec. user=mdettweiler [2018-04-29 13:13:36] 801*2^1508449-1 is not prime. Res64: 9A82D99A1FD84F68 Time : 0.0 sec. user=mdettweiler [2018-04-29 13:13:36] 641*2^1508450-1 is not prime. Res64: 710FB020652FEFCE Time : 0.0 sec. user=mdettweiler [2018-04-29 13:13:57] 675*2^1508450-1 is not prime. Res64: 04CA91795DA76BF2 Time : 0.0 sec. user=mdettweiler [2018-04-29 13:13:57] 783*2^1508450-1 is not prime. Res64: 60F45425B2AE9BC2 Time : 0.0 sec. user=mdettweiler [2018-04-29 13:13:58] 845*2^1508450-1 is not prime. Res64: C159F7B5E460BD7F Time : 0.0 sec. user=mdettweiler [2018-04-29 13:13:58] 861*2^1508450-1 is not prime. Res64: CC345DE333B938B9 Time : 0.0 sec. user=mdettweiler [2018-04-29 13:13:59] 903*2^1508451-1 is not prime. Res64: D7415EA84DA0CEED Time : 0.0 sec. user=mdettweiler [2018-04-29 13:53:44] 955*2^1508451-1 is not prime. Res64: A8128E0E6010B4BA Time : 0.0 sec. user=mdettweiler [2018-04-29 13:53:45] 961*2^1508451-1 is not prime. Res64: 48E682A55EEE2A5C Time : 0.0 sec. user=mdettweiler [2018-04-29 13:53:45] 765*2^1508452-1 is not prime. Res64: ABD25FB55C430836 Time : 0.0 sec. user=mdettweiler [2018-04-29 13:53:45] 827*2^1508452-1 is not prime. Res64: 286ED815A95B0CAB Time : 0.0 sec. user=mdettweiler [2018-04-29 13:53:46] 855*2^1508452-1 is not prime. Res64: 6610A52B632ACB5C Time : 0.0 sec. user=mdettweiler [2018-04-29 13:53:51] 863*2^1508452-1 is not prime. Res64: EE3C9C3CB9098188 Time : 0.0 sec. user=mdettweiler [2018-04-29 13:53:51] 923*2^1508452-1 is not prime. Res64: 9A633A0EDB60BAD1 Time : 0.0 sec. user=mdettweiler [2018-04-29 13:53:52] 933*2^1508452-1 is not prime. Res64: BA359D765E0551AF Time : 0.0 sec. user=mdettweiler [2018-04-29 13:53:52] 729*2^1508453-1 is not prime. Res64: D1FD8B7C2D08C3EC Time : 0.0 sec. user=mdettweiler [2018-04-29 13:53:52] 937*2^1508453-1 is not prime. Res64: A0ECC2DD8D88F24D Time : 0.0 sec. user=mdettweiler [2018-04-29 14:03:59] 677*2^1508454-1 is not prime. Res64: 8BE7DC29042835D4 Time : 0.0 sec. user=mdettweiler [2018-04-29 14:04:00] 619*2^1508455-1 is not prime. Res64: 49E7F9239DE67520 Time : 0.0 sec. user=mdettweiler [2018-04-29 14:04:01] 705*2^1508454-1 is not prime. Res64: 8530CE615C4148D4 Time : 0.0 sec. user=mdettweiler [2018-04-29 14:04:02] 793*2^1508455-1 is not prime. Res64: 814D12CBEFCC90CB Time : 0.0 sec. user=mdettweiler [2018-04-29 14:04:02] 737*2^1508454-1 is not prime. Res64: 2A3E534A2BA81ADC Time : 0.0 sec. user=mdettweiler [2018-04-29 14:04:03] 773*2^1508454-1 is not prime. Res64: D7B8B15F10DC7C90 Time : 0.0 sec. user=mdettweiler [2018-04-29 14:04:03] 999*2^1508455-1 is not prime. Res64: 099B4FE9C7E9755B Time : 0.0 sec. user=mdettweiler [2018-04-29 14:04:04] 815*2^1508454-1 is not prime. Res64: EA6CDAA81797AA54 Time : 0.0 sec. user=mdettweiler [2018-04-29 14:04:05] 617*2^1508456-1 is not prime. Res64: A6E8B61358B52690 Time : 0.0 sec. user=mdettweiler [2018-04-29 14:04:06] 827*2^1508456-1 is not prime. Res64: 7AE37B810B985640 Time : 0.0 sec. user=mdettweiler [2018-04-29 14:43:48] 945*2^1508456-1 is not prime. Res64: 96CD4D75C6305EE9 Time : 0.0 sec. user=mdettweiler [2018-04-29 14:43:48] 983*2^1508456-1 is not prime. Res64: BB260E452B8504F6 Time : 0.0 sec. user=mdettweiler [2018-04-29 14:43:48] 625*2^1508457-1 is not prime. Res64: 8C2E979406A5BBDB Time : 0.0 sec. user=mdettweiler [2018-04-29 14:43:49] 691*2^1508457-1 is not prime. Res64: 704A3AAC593584F4 Time : 0.0 sec. user=mdettweiler [2018-04-29 14:43:49] 805*2^1508457-1 is not prime. Res64: 7D8B2FC465733904 Time : 0.0 sec. user=mdettweiler [2018-04-29 14:43:58] 915*2^1508458-1 is not prime. Res64: 733FA2382E57061F Time : 0.0 sec. user=mdettweiler [2018-04-29 14:43:58] 945*2^1508458-1 is not prime. Res64: B9D44D54C4576991 Time : 0.0 sec. user=mdettweiler [2018-04-29 14:43:58] 957*2^1508458-1 is not prime. Res64: 5E4C4664E88C4CF3 Time : 0.0 sec. user=mdettweiler [2018-04-29 14:43:59] 987*2^1508458-1 is not prime. Res64: 83A9D392F9A36D78 Time : 0.0 sec. user=mdettweiler [2018-04-29 14:43:59] 603*2^1508459-1 is not prime. Res64: 0007666E1C43F3B9 Time : 0.0 sec. user=mdettweiler [2018-04-29 14:54:13] 885*2^1508459-1 is not prime. Res64: 887C02D121D51A28 Time : 0.0 sec. user=mdettweiler [2018-04-29 14:54:14] 993*2^1508459-1 is not prime. Res64: E63CEA6075BC0326 Time : 0.0 sec. user=mdettweiler [2018-04-29 14:54:14] 647*2^1508460-1 is not prime. Res64: 52F5D9490C26CD1E Time : 0.0 sec. user=mdettweiler [2018-04-29 14:54:14] 707*2^1508460-1 is not prime. Res64: A05574984823D320 Time : 0.0 sec. user=mdettweiler [2018-04-29 14:54:15] 725*2^1508460-1 is not prime. Res64: 8BC9D1A55F325B65 Time : 0.0 sec. user=mdettweiler [2018-04-29 14:54:36] 685*2^1508459-1 is not prime. Res64: E39AB67D06E9097E Time : 0.0 sec. user=mdettweiler [2018-04-29 14:54:36] 771*2^1508459-1 is not prime. Res64: 21D8C1757421C6D2 Time : 0.0 sec. user=mdettweiler [2018-04-29 14:54:37] 811*2^1508459-1 is not prime. Res64: 523F595EE60FAA47 Time : 0.0 sec. user=mdettweiler [2018-04-29 14:54:37] 859*2^1508459-1 is not prime. Res64: B6B9BDE4C4E9D321 Time : 0.0 sec. user=mdettweiler [2018-04-29 14:54:38] 861*2^1508459-1 is not prime. Res64: F3306AAFDD2E40A5 Time : 0.0 sec. user=mdettweiler [2018-04-29 15:34:00] 639*2^1508461-1 is not prime. Res64: 61D61D008A13C276 Time : 0.0 sec. user=mdettweiler [2018-04-29 15:34:00] 645*2^1508461-1 is not prime. Res64: 8DA23738C716C2AC Time : 0.0 sec. user=mdettweiler [2018-04-29 15:34:00] 649*2^1508461-1 is not prime. Res64: C0045C7353CBA38B Time : 0.0 sec. user=mdettweiler [2018-04-29 15:34:01] 675*2^1508461-1 is not prime. Res64: CECAB79B83989E35 Time : 0.0 sec. user=mdettweiler [2018-04-29 15:34:01] 727*2^1508461-1 is not prime. Res64: 71D1CD4BF4706016 Time : 0.0 sec. user=mdettweiler [2018-04-29 15:34:08] 765*2^1508460-1 is not prime. Res64: 6666FA2D5F710E57 Time : 0.0 sec. user=mdettweiler [2018-04-29 15:34:08] 909*2^1508460-1 is not prime. Res64: 3DDC9FBE40FEEDFB Time : 0.0 sec. user=mdettweiler [2018-04-29 15:34:09] 927*2^1508460-1 is not prime. Res64: A9892F3EB7E69EF9 Time : 0.0 sec. user=mdettweiler [2018-04-29 15:34:09] 615*2^1508461-1 is not prime. Res64: C9D550FD56A5B30D Time : 0.0 sec. user=mdettweiler [2018-04-29 15:34:09] 621*2^1508461-1 is not prime. Res64: FAAC0B061080D6F7 Time : 0.0 sec. user=mdettweiler [2018-04-29 15:44:23] 887*2^1508462-1 is not prime. Res64: 42B6808C465F81B0 Time : 0.0 sec. user=mdettweiler [2018-04-29 15:44:23] 1001*2^1508462-1 is not prime. Res64: 9C9BB6BC60CD3CEF Time : 0.0 sec. user=mdettweiler [2018-04-29 15:44:24] 609*2^1508463-1 is not prime. Res64: 3B8AEDBE27D07BCC Time : 0.0 sec. user=mdettweiler [2018-04-29 15:44:24] 619*2^1508463-1 is not prime. Res64: D7D5A338249060D4 Time : 0.0 sec. user=mdettweiler [2018-04-29 15:44:25] 705*2^1508463-1 is not prime. Res64: 19FD1A27BAA74262 Time : 0.0 sec. user=mdettweiler [2018-04-29 15:44:26] 847*2^1508461-1 is not prime. Res64: 8465D142D76F2B76 Time : 0.0 sec. user=mdettweiler [2018-04-29 15:44:27] 925*2^1508461-1 is not prime. Res64: C2C75AFF5808C680 Time : 0.0 sec. user=mdettweiler [2018-04-29 15:44:27] 997*2^1508461-1 is not prime. Res64: A44FF1C1E157B8BA Time : 0.0 sec. user=mdettweiler [2018-04-29 15:44:28] 657*2^1508462-1 is not prime. Res64: 7A9EFAE5304108A9 Time : 0.0 sec. user=mdettweiler [2018-04-29 15:44:28] 665*2^1508462-1 is not prime. Res64: 9E6398EAB9A3F779 Time : 0.0 sec. user=mdettweiler [2018-04-29 16:24:59] 901*2^1508463-1 is not prime. Res64: D34D36CB8A885B27 Time : 0.0 sec. user=mdettweiler [2018-04-29 16:24:59] 973*2^1508463-1 is not prime. Res64: D1361C030C073868 Time : 0.0 sec. user=mdettweiler [2018-04-29 16:25:00] 759*2^1508464-1 is not prime. Res64: 08B94B202856393F Time : 0.0 sec. user=mdettweiler [2018-04-29 16:25:00] 803*2^1508464-1 is not prime. Res64: 21972E4A044701D0 Time : 0.0 sec. user=mdettweiler [2018-04-29 16:25:00] 833*2^1508464-1 is not prime. Res64: 417121CBFE81DD5F Time : 0.0 sec. user=mdettweiler [2018-04-29 16:25:06] 781*2^1508463-1 is not prime. Res64: 1DE89C4E2324E2ED Time : 0.0 sec. user=mdettweiler [2018-04-29 16:25:07] 789*2^1508463-1 is not prime. Res64: C93A33614B299841 Time : 0.0 sec. user=mdettweiler [2018-04-29 16:25:07] 823*2^1508463-1 is not prime. Res64: 4C77C6D2AF4FF00F Time : 0.0 sec. user=mdettweiler [2018-04-29 16:25:07] 871*2^1508463-1 is not prime. Res64: 1DBC35B90429DCF2 Time : 0.0 sec. user=mdettweiler [2018-04-29 16:25:08] 879*2^1508463-1 is not prime. Res64: 48D815D49D5377E0 Time : 0.0 sec. user=mdettweiler [2018-04-29 16:34:37] 837*2^1508465-1 is not prime. Res64: 53A4206B520C8660 Time : 0.0 sec. user=mdettweiler [2018-04-29 16:34:37] 885*2^1508465-1 is not prime. Res64: 5C82E833FD05887A Time : 0.0 sec. user=mdettweiler [2018-04-29 16:34:38] 951*2^1508465-1 is not prime. Res64: CA53832C5881B893 Time : 0.0 sec. user=mdettweiler [2018-04-29 16:34:38] 677*2^1508466-1 is not prime. Res64: 0EF2FF6964F1DD37 Time : 0.0 sec. user=mdettweiler [2018-04-29 16:34:39] 683*2^1508466-1 is not prime. Res64: 04DA1098BB685C0A Time : 0.0 sec. user=mdettweiler [2018-04-29 16:34:43] 905*2^1508464-1 is not prime. Res64: D8D66D977AEE9C31 Time : 0.0 sec. user=mdettweiler [2018-04-29 16:34:44] 947*2^1508464-1 is not prime. Res64: 8E79AE893016E17B Time : 0.0 sec. user=mdettweiler [2018-04-29 16:34:44] 975*2^1508464-1 is not prime. Res64: 8E75AC1955C285B0 Time : 0.0 sec. user=mdettweiler [2018-04-29 16:34:45] 691*2^1508465-1 is not prime. Res64: 14B7BDADBA43B152 Time : 0.0 sec. user=mdettweiler [2018-04-29 16:34:45] 799*2^1508465-1 is not prime. Res64: 7BB1D7005E7033BF Time : 0.0 sec. user=mdettweiler [2018-04-29 17:15:26] 717*2^1508466-1 is not prime. Res64: 3AFA020C8F4E9B29 Time : 0.0 sec. user=mdettweiler [2018-04-29 17:15:26] 747*2^1508466-1 is not prime. Res64: 71364934D71238A3 Time : 0.0 sec. user=mdettweiler [2018-04-29 17:15:27] 945*2^1508466-1 is not prime. Res64: 74B0CD3ECB53BC12 Time : 0.0 sec. user=mdettweiler [2018-04-29 17:15:27] 603*2^1508467-1 is not prime. Res64: EB54BCCCEAEF1A87 Time : 0.0 sec. user=mdettweiler [2018-04-29 17:15:28] 609*2^1508467-1 is not prime. Res64: AE6F3E0C164CA2E9 Time : 0.0 sec. user=mdettweiler [2018-04-29 17:15:44] 631*2^1508467-1 is not prime. Res64: 6425D816839CDEC2 Time : 0.0 sec. user=mdettweiler [2018-04-29 17:15:44] 675*2^1508467-1 is not prime. Res64: D229604125140630 Time : 0.0 sec. user=mdettweiler [2018-04-29 17:15:45] 733*2^1508467-1 is not prime. Res64: D17EA276E7003246 Time : 0.0 sec. user=mdettweiler [2018-04-29 17:15:45] 961*2^1508467-1 is not prime. Res64: EEA9C3DB8F85DB1D Time : 0.0 sec. user=mdettweiler [2018-04-29 17:15:45] 677*2^1508468-1 is not prime. Res64: 14B01A00CBA5AA2F Time : 0.0 sec. user=mdettweiler [2018-04-29 17:26:08] 609*2^1508469-1 is not prime. Res64: FB9ACC6CC5E42AF0 Time : 0.0 sec. user=mdettweiler [2018-04-29 17:26:09] 831*2^1508469-1 is not prime. Res64: 8096ACB86D8F506A Time : 0.0 sec. user=mdettweiler [2018-04-29 17:26:09] 861*2^1508469-1 is not prime. Res64: FAAE871F46A7203F Time : 0.0 sec. user=mdettweiler [2018-04-29 17:26:10] 991*2^1508469-1 is not prime. Res64: B9109E0DD26BE098 Time : 0.0 sec. user=mdettweiler [2018-04-29 17:26:10] 999*2^1508469-1 is not prime. Res64: C47E35E598DDF9A3 Time : 0.0 sec. user=mdettweiler [2018-04-29 17:26:19] 875*2^1508468-1 is not prime. Res64: 738725D3615AD822 Time : 0.0 sec. user=mdettweiler [2018-04-29 17:26:19] 879*2^1508468-1 is not prime. Res64: E83DE48FF8E75C60 Time : 0.0 sec. user=mdettweiler [2018-04-29 17:26:20] 897*2^1508468-1 is not prime. Res64: 89ECB69890F1613C Time : 0.0 sec. user=mdettweiler [2018-04-29 17:26:20] 927*2^1508468-1 is not prime. Res64: 44C0D116790EECA9 Time : 0.0 sec. user=mdettweiler [2018-04-29 17:26:21] 969*2^1508468-1 is not prime. Res64: 39CF215B58E8CAEB Time : 0.0 sec. user=mdettweiler [2018-04-29 18:05:21] 711*2^1508471-1 is not prime. Res64: B1EE86C356C0F632 Time : 0.0 sec. user=mdettweiler [2018-04-29 18:05:23] 715*2^1508471-1 is not prime. Res64: 4F6229BFABB82020 Time : 0.0 sec. user=mdettweiler [2018-04-29 18:05:25] 759*2^1508471-1 is not prime. Res64: F65AF0354BF6B82B Time : 0.0 sec. user=mdettweiler [2018-04-29 18:05:26] 789*2^1508471-1 is not prime. Res64: 009C377D2A51CC64 Time : 0.0 sec. user=mdettweiler [2018-04-29 18:05:28] 635*2^1508472-1 is not prime. Res64: 440390E73922642D Time : 0.0 sec. user=mdettweiler [2018-04-29 18:05:53] 651*2^1508470-1 is not prime. Res64: 86944631948DFEE0 Time : 0.0 sec. user=mdettweiler [2018-04-29 18:05:55] 861*2^1508470-1 is not prime. Res64: 3103470454BA56AE Time : 0.0 sec. user=mdettweiler [2018-04-29 18:05:59] 887*2^1508470-1 is not prime. Res64: F8122321B168167A Time : 0.0 sec. user=mdettweiler [2018-04-29 18:06:00] 945*2^1508470-1 is not prime. Res64: 81DCD7DEB5428222 Time : 0.0 sec. user=mdettweiler [2018-04-29 18:06:02] 981*2^1508470-1 is not prime. Res64: A24E10AF74CF6446 Time : 0.0 sec. user=mdettweiler [2018-04-29 18:16:16] 919*2^1508473-1 is not prime. Res64: C0B6E05DB8AFDA13 Time : 0.0 sec. user=mdettweiler [2018-04-29 18:16:17] 987*2^1508473-1 is not prime. Res64: 1B3D98FF534CCAAF Time : 0.0 sec. user=mdettweiler [2018-04-29 18:16:17] 617*2^1508474-1 is not prime. Res64: 3CA91034187CA6A3 Time : 0.0 sec. user=mdettweiler [2018-04-29 18:16:17] 677*2^1508474-1 is not prime. Res64: 408D64DC9CA414BC Time : 0.0 sec. user=mdettweiler [2018-04-29 18:16:18] 773*2^1508474-1 is not prime. Res64: 8B5BB81B6283A8F8 Time : 0.0 sec. user=mdettweiler [2018-04-29 18:16:24] 695*2^1508472-1 is not prime. Res64: 3116DC88F7FC2AE1 Time : 0.0 sec. user=mdettweiler [2018-04-29 18:16:25] 843*2^1508472-1 is not prime. Res64: 7120225079D78CBF Time : 0.0 sec. user=mdettweiler [2018-04-29 18:16:25] 887*2^1508472-1 is not prime. Res64: 0CDD4AA49D840D14 Time : 0.0 sec. user=mdettweiler [2018-04-29 18:16:25] 917*2^1508472-1 is not prime. Res64: 286F08AD5D0746C0 Time : 0.0 sec. user=mdettweiler [2018-04-29 18:16:26] 741*2^1508473-1 is not prime. Res64: CC914C8372987F92 Time : 0.0 sec. user=mdettweiler [2018-04-29 18:56:07] 833*2^1508474-1 is not prime. Res64: D977A0FC3EDC1C8C Time : 0.0 sec. user=mdettweiler [2018-04-29 18:56:08] 857*2^1508474-1 is not prime. Res64: 2F2909C5756A9D9B Time : 0.0 sec. user=mdettweiler [2018-04-29 18:56:08] 981*2^1508474-1 is not prime. Res64: BD22FA4B5978A557 Time : 0.0 sec. user=mdettweiler [2018-04-29 18:56:08] 669*2^1508475-1 is not prime. Res64: 12142B8A86A4185F Time : 0.0 sec. user=mdettweiler [2018-04-29 18:56:09] 675*2^1508475-1 is not prime. Res64: ACDCE76238EEC90A Time : 0.0 sec. user=mdettweiler [2018-04-29 18:57:03] 739*2^1508475-1 is not prime. Res64: 29D375EA17005716 Time : 0.0 sec. user=mdettweiler [2018-04-29 18:57:04] 895*2^1508475-1 is not prime. Res64: 1226E53AFD979F17 Time : 0.0 sec. user=mdettweiler [2018-04-29 18:57:04] 903*2^1508475-1 is not prime. Res64: BEAEC982960F7BA0 Time : 0.0 sec. user=mdettweiler [2018-04-29 18:57:05] 963*2^1508475-1 is not prime. Res64: F628081D2619D670 Time : 0.0 sec. user=mdettweiler [2018-04-29 18:57:05] 991*2^1508475-1 is not prime. Res64: 6E7A31D39CA5B8D1 Time : 0.0 sec. user=mdettweiler [2018-04-29 19:07:04] 781*2^1508477-1 is not prime. Res64: C6AE3E14C6187B58 Time : 0.0 sec. user=mdettweiler [2018-04-29 19:07:06] 825*2^1508477-1 is not prime. Res64: 358789FBFE57B64A Time : 0.0 sec. user=mdettweiler [2018-04-29 19:07:07] 867*2^1508477-1 is not prime. Res64: BA7DBE248DE7A4A9 Time : 0.0 sec. user=mdettweiler [2018-04-29 19:07:08] 889*2^1508477-1 is not prime. Res64: D97B4D947FFCE76F Time : 0.0 sec. user=mdettweiler [2018-04-29 19:07:09] 925*2^1508477-1 is not prime. Res64: 9AE1143A94DD4652 Time : 0.0 sec. user=mdettweiler [2018-04-29 19:07:14] 783*2^1508476-1 is not prime. Res64: 40E85C4E44D84D67 Time : 0.0 sec. user=mdettweiler [2018-04-29 19:07:16] 833*2^1508476-1 is not prime. Res64: 2358457D4B6AC48E Time : 0.0 sec. user=mdettweiler [2018-04-29 19:07:21] 933*2^1508476-1 is not prime. Res64: 33B9985A11709ACD Time : 0.0 sec. user=mdettweiler [2018-04-29 19:07:24] 747*2^1508477-1 is not prime. Res64: 157386B6BF427D67 Time : 0.0 sec. user=mdettweiler [2018-04-29 19:07:26] 757*2^1508477-1 is not prime. Res64: 86AFCDD751CB3350 Time : 0.0 sec. user=mdettweiler [2018-04-29 19:46:32] 979*2^1508477-1 is not prime. Res64: E321E844AF379599 Time : 0.0 sec. user=mdettweiler [2018-04-29 19:46:32] 641*2^1508478-1 is not prime. Res64: F858F0A772ECE09C Time : 0.0 sec. user=mdettweiler [2018-04-29 19:46:33] 671*2^1508478-1 is not prime. Res64: 8C03D79556198AE6 Time : 0.0 sec. user=mdettweiler [2018-04-29 19:46:33] 731*2^1508478-1 is not prime. Res64: BC970EAB07DC887A Time : 0.0 sec. user=mdettweiler [2018-04-29 19:46:34] 843*2^1508478-1 is not prime. Res64: DE6E34EF90A4E9EB Time : 0.0 sec. user=mdettweiler [2018-04-29 19:46:42] 861*2^1508478-1 is not prime. Res64: A7DD630591DF8DEC Time : 0.0 sec. user=mdettweiler [2018-04-29 19:46:42] 893*2^1508478-1 is not prime. Res64: 3FEFAF6D134A4BD9 Time : 0.0 sec. user=mdettweiler [2018-04-29 19:46:42] 615*2^1508479-1 is not prime. Res64: D2CB613DAD0384CF Time : 0.0 sec. user=mdettweiler [2018-04-29 19:46:43] 625*2^1508479-1 is not prime. Res64: EBD8D0DCD06799B6 Time : 0.0 sec. user=mdettweiler [2018-04-29 19:46:43] 681*2^1508479-1 is not prime. Res64: 919851317F45C68A Time : 0.0 sec. user=mdettweiler [2018-04-29 19:57:37] 751*2^1508479-1 is not prime. Res64: 684CEC1E698EDF91 Time : 0.0 sec. user=mdettweiler [2018-04-29 19:57:38] 841*2^1508479-1 is not prime. Res64: FE8E54DCB9AB3646 Time : 0.0 sec. user=mdettweiler [2018-04-29 19:57:38] 999*2^1508479-1 is not prime. Res64: A5609D8D9B4CB14F Time : 0.0 sec. user=mdettweiler [2018-04-29 19:57:39] 665*2^1508480-1 is not prime. Res64: 744E18514EDCF74E Time : 0.0 sec. user=mdettweiler [2018-04-29 19:57:39] 669*2^1508480-1 is not prime. Res64: AD4B464797373C4D Time : 0.0 sec. user=mdettweiler [2018-04-29 19:57:55] 675*2^1508480-1 is not prime. Res64: 342AD8CECE8ECBE8 Time : 0.0 sec. user=mdettweiler [2018-04-29 19:57:56] 677*2^1508480-1 is not prime. Res64: 24029C17252FD5DC Time : 0.0 sec. user=mdettweiler [2018-04-29 19:57:56] 689*2^1508480-1 is not prime. Res64: AD54B1B5813DA966 Time : 0.0 sec. user=mdettweiler [2018-04-29 19:57:57] 743*2^1508480-1 is not prime. Res64: 05D207A22FD94C78 Time : 0.0 sec. user=mdettweiler [2018-04-29 19:57:57] 843*2^1508480-1 is not prime. Res64: E83DCED182B69DDD Time : 0.0 sec. user=mdettweiler [2018-04-29 20:36:37] 899*2^1508480-1 is not prime. Res64: C44B7DFE9E63BFAA Time : 0.0 sec. user=mdettweiler [2018-04-29 20:36:37] 995*2^1508480-1 is not prime. Res64: 0B4B9256382AFB63 Time : 0.0 sec. user=mdettweiler [2018-04-29 20:36:38] 681*2^1508481-1 is not prime. Res64: 7886ED35ADA48447 Time : 0.0 sec. user=mdettweiler [2018-04-29 20:36:38] 717*2^1508481-1 is not prime. Res64: EEBF697FD86F08AB Time : 0.0 sec. user=mdettweiler [2018-04-29 20:36:39] 865*2^1508481-1 is not prime. Res64: 250F4B4F04E16F3B Time : 0.0 sec. user=mdettweiler [2018-04-29 20:36:44] 955*2^1508481-1 is not prime. Res64: 5EF520B87C3E0268 Time : 0.0 sec. user=mdettweiler [2018-04-29 20:36:45] 975*2^1508481-1 is not prime. Res64: FFF7C235B552CC7A Time : 0.0 sec. user=mdettweiler [2018-04-29 20:36:45] 991*2^1508481-1 is not prime. Res64: E2770F548F92EA76 Time : 0.0 sec. user=mdettweiler [2018-04-29 20:36:46] 611*2^1508482-1 is not prime. Res64: E18DB70B962461E5 Time : 0.0 sec. user=mdettweiler [2018-04-29 20:36:47] 623*2^1508482-1 is not prime. Res64: 3B142AB4BD7ADF51 Time : 0.0 sec. user=mdettweiler [2018-04-29 20:46:47] 633*2^1508482-1 is not prime. Res64: F971E05513A8F28D Time : 0.0 sec. user=mdettweiler [2018-04-29 20:46:48] 645*2^1508482-1 is not prime. Res64: 4C0C347D8421A61F Time : 0.0 sec. user=mdettweiler [2018-04-29 20:46:48] 653*2^1508482-1 is not prime. Res64: B20BC5887358D9E8 Time : 0.0 sec. user=mdettweiler [2018-04-29 20:46:48] 657*2^1508482-1 is not prime. Res64: 78B46A90199EF1AE Time : 0.0 sec. user=mdettweiler [2018-04-29 20:46:49] 735*2^1508482-1 is not prime. Res64: 1C72B3FC0E7FA89D Time : 0.0 sec. user=mdettweiler [2018-04-29 20:48:36] 737*2^1508482-1 is not prime. Res64: B8F2C9A0F721A179 Time : 0.0 sec. user=mdettweiler [2018-04-29 20:48:36] 801*2^1508482-1 is not prime. Res64: 16CFB5A3D9A42C31 Time : 0.0 sec. user=mdettweiler [2018-04-29 20:48:36] 873*2^1508482-1 is not prime. Res64: 7D2C8A44465559DD Time : 0.0 sec. user=mdettweiler [2018-04-29 20:48:37] 885*2^1508482-1 is not prime. Res64: 9EA04DF913AEE0BC Time : 0.0 sec. user=mdettweiler [2018-04-29 20:48:37] 915*2^1508482-1 is not prime. Res64: 338A37AA25A1C775 Time : 0.0 sec. user=mdettweiler [2018-04-29 21:26:25] 699*2^1508483-1 is not prime. Res64: 149E902A54E084A0 Time : 0.0 sec. user=mdettweiler [2018-04-29 21:26:25] 705*2^1508483-1 is not prime. Res64: FF47C7721504FC24 Time : 0.0 sec. user=mdettweiler [2018-04-29 21:26:26] 715*2^1508483-1 is not prime. Res64: 84A963D3E318A862 Time : 0.0 sec. user=mdettweiler [2018-04-29 21:26:26] 819*2^1508483-1 is not prime. Res64: 11AE9ADB5CDB57A2 Time : 0.0 sec. user=mdettweiler [2018-04-29 21:26:26] 859*2^1508483-1 is not prime. Res64: 04BD0EB2100B6BB6 Time : 0.0 sec. user=mdettweiler [2018-04-29 21:26:55] 923*2^1508482-1 is not prime. Res64: 78A402CEF655243A Time : 0.0 sec. user=mdettweiler [2018-04-29 21:26:56] 957*2^1508482-1 is not prime. Res64: 6B887DC5B70053F6 Time : 0.0 sec. user=mdettweiler [2018-04-29 21:26:56] 981*2^1508482-1 is not prime. Res64: ABF7C8102FA5E48D Time : 0.0 sec. user=mdettweiler [2018-04-29 21:26:57] 631*2^1508483-1 is not prime. Res64: 72BBC60A8EBA5076 Time : 0.0 sec. user=mdettweiler [2018-04-29 21:26:57] 669*2^1508483-1 is not prime. Res64: 92B0B4D745961303 Time : 0.0 sec. user=mdettweiler [2018-04-29 21:36:42] 895*2^1508483-1 is not prime. Res64: D3F26EAE359C5FC6 Time : 0.0 sec. user=mdettweiler [2018-04-29 21:36:42] 913*2^1508483-1 is not prime. Res64: ED7445E27DBB7BCE Time : 0.0 sec. user=mdettweiler [2018-04-29 21:36:43] 991*2^1508483-1 is not prime. Res64: E06526875CF7B7BE Time : 0.0 sec. user=mdettweiler [2018-04-29 21:36:43] 657*2^1508484-1 is not prime. Res64: 16ED315AE410EE45 Time : 0.0 sec. user=mdettweiler [2018-04-29 21:36:44] 689*2^1508484-1 is not prime. Res64: 537DE35D25BC9274 Time : 0.0 sec. user=mdettweiler [2018-04-29 21:38:52] 717*2^1508484-1 is not prime. Res64: 4960F0B0C731BCA9 Time : 0.0 sec. user=mdettweiler [2018-04-29 21:38:52] 719*2^1508484-1 is not prime. Res64: E029248D0DEBAB11 Time : 0.0 sec. user=mdettweiler [2018-04-29 21:38:52] 773*2^1508484-1 is not prime. Res64: C57A32B4604D9774 Time : 0.0 sec. user=mdettweiler [2018-04-29 21:38:53] 873*2^1508484-1 is not prime. Res64: 42AAA4AB8A209823 Time : 0.0 sec. user=mdettweiler [2018-04-29 21:38:53] 915*2^1508484-1 is not prime. Res64: D920D1EE55B7D828 Time : 0.0 sec. user=mdettweiler [2018-04-29 22:16:16] 923*2^1508484-1 is not prime. Res64: 50B6BFBB1704876E Time : 0.0 sec. user=mdettweiler [2018-04-29 22:16:16] 969*2^1508484-1 is not prime. Res64: 71B9FAE49960FEDB Time : 0.0 sec. user=mdettweiler [2018-04-29 22:16:17] 649*2^1508485-1 is not prime. Res64: 5712BA8E216BF66E Time : 0.0 sec. user=mdettweiler [2018-04-29 22:16:18] 667*2^1508485-1 is not prime. Res64: 4EF8E25F918FFFFB Time : 0.0 sec. user=mdettweiler [2018-04-29 22:16:19] 699*2^1508485-1 is not prime. Res64: 4518A02D78730408 Time : 0.0 sec. user=mdettweiler [2018-04-29 22:17:41] 717*2^1508485-1 is not prime. Res64: 215B616A72863349 Time : 0.0 sec. user=mdettweiler [2018-04-29 22:17:41] 859*2^1508485-1 is not prime. Res64: C88A15253E57A113 Time : 0.0 sec. user=mdettweiler [2018-04-29 22:17:42] 951*2^1508485-1 is not prime. Res64: BEB4E6F8C030E636 Time : 0.0 sec. user=mdettweiler [2018-04-29 22:17:42] 961*2^1508485-1 is not prime. Res64: 6B6A4FC8267A27B2 Time : 0.0 sec. user=mdettweiler [2018-04-29 22:17:43] 975*2^1508485-1 is not prime. Res64: DE5DAC4958E6A085 Time : 0.0 sec. user=mdettweiler [2018-04-29 22:26:58] 979*2^1508485-1 is not prime. Res64: BD9F636882069850 Time : 0.0 sec. user=mdettweiler [2018-04-29 22:26:59] 997*2^1508485-1 is not prime. Res64: 702B1587D1D4CF88 Time : 0.0 sec. user=mdettweiler [2018-04-29 22:26:59] 623*2^1508486-1 is not prime. Res64: B1328A7FC39575B0 Time : 0.0 sec. user=mdettweiler [2018-04-29 22:27:00] 635*2^1508486-1 is not prime. Res64: 21A1DCA24DCBCF10 Time : 0.0 sec. user=mdettweiler [2018-04-29 22:27:00] 641*2^1508486-1 is not prime. Res64: AE6B2DF1ED9D8148 Time : 0.0 sec. user=mdettweiler [2018-04-29 22:29:49] 651*2^1508486-1 is not prime. Res64: 3BA15A4F11550AB8 Time : 0.0 sec. user=mdettweiler [2018-04-29 22:29:50] 705*2^1508486-1 is not prime. Res64: 00648B5E21E9582D Time : 0.0 sec. user=mdettweiler [2018-04-29 22:29:50] 773*2^1508486-1 is not prime. Res64: 03882AB8C4136808 Time : 0.0 sec. user=mdettweiler [2018-04-29 22:29:51] 893*2^1508486-1 is not prime. Res64: 5E4BB7F4DACD1C82 Time : 0.0 sec. user=mdettweiler [2018-04-29 22:29:51] 625*2^1508487-1 is not prime. Res64: 6306E060940645F4 Time : 0.0 sec. user=mdettweiler [2018-04-29 23:05:48] 633*2^1508487-1 is not prime. Res64: BBE5305A17345CF9 Time : 0.0 sec. user=mdettweiler [2018-04-29 23:05:50] 643*2^1508487-1 is not prime. Res64: FFEE7282980DD3F5 Time : 0.0 sec. user=mdettweiler [2018-04-29 23:05:52] 693*2^1508487-1 is not prime. Res64: 89963BFCCF2B5A1E Time : 0.0 sec. user=mdettweiler [2018-04-29 23:05:55] 705*2^1508487-1 is not prime. Res64: 8C00DC00953CDD3C Time : 0.0 sec. user=mdettweiler [2018-04-29 23:05:57] 793*2^1508487-1 is not prime. Res64: FFBD26D61B7345E0 Time : 0.0 sec. user=mdettweiler [2018-04-29 23:08:27] 829*2^1508487-1 is not prime. Res64: 1D86D54E636C79DC Time : 0.0 sec. user=mdettweiler [2018-04-29 23:08:28] 849*2^1508487-1 is not prime. Res64: DFBAFC138D76F900 Time : 0.0 sec. user=mdettweiler [2018-04-29 23:08:28] 859*2^1508487-1 is not prime. Res64: 9DF0DFC03371CA2C Time : 0.0 sec. user=mdettweiler [2018-04-29 23:08:29] 861*2^1508487-1 is not prime. Res64: C9811437598F0CCB Time : 0.0 sec. user=mdettweiler [2018-04-29 23:08:30] 895*2^1508487-1 is not prime. Res64: FFDBD193E5B56A83 Time : 0.0 sec. user=mdettweiler [2018-04-29 23:17:37] 919*2^1508487-1 is not prime. Res64: 7CAE5F9E37AFE3DB Time : 0.0 sec. user=mdettweiler [2018-04-29 23:17:38] 931*2^1508487-1 is not prime. Res64: 8067AAEF68B97521 Time : 0.0 sec. user=mdettweiler [2018-04-29 23:17:38] 975*2^1508487-1 is not prime. Res64: 225FC6BF18B4FAE3 Time : 0.0 sec. user=mdettweiler [2018-04-29 23:17:39] 663*2^1508488-1 is not prime. Res64: B5DAEF7F12EF6931 Time : 0.0 sec. user=mdettweiler [2018-04-29 23:17:39] 825*2^1508488-1 is not prime. Res64: 6D4F9752AC06049E Time : 0.0 sec. user=mdettweiler [2018-04-29 23:19:48] 827*2^1508488-1 is not prime. Res64: 219C57C8FE3A15D1 Time : 0.0 sec. user=mdettweiler [2018-04-29 23:19:49] 933*2^1508488-1 is not prime. Res64: 2F872F5B759F85BA Time : 0.0 sec. user=mdettweiler [2018-04-29 23:19:49] 649*2^1508489-1 is not prime. Res64: DFF2385E3464F5F3 Time : 0.0 sec. user=mdettweiler [2018-04-29 23:19:49] 675*2^1508489-1 is not prime. Res64: 1DCFEDFECEBE4295 Time : 0.0 sec. user=mdettweiler [2018-04-29 23:19:50] 679*2^1508489-1 is not prime. Res64: 48A8314A38ADCB4E Time : 0.0 sec. user=mdettweiler [2018-04-29 23:57:10] 727*2^1508489-1 is not prime. Res64: EE3AD9B092BDEDBA Time : 0.0 sec. user=mdettweiler [2018-04-29 23:57:11] 747*2^1508489-1 is not prime. Res64: 9A8A8EF9D7EF928A Time : 0.0 sec. user=mdettweiler [2018-04-29 23:57:11] 861*2^1508489-1 is not prime. Res64: 136DB30FA2190D8F Time : 0.0 sec. user=mdettweiler [2018-04-29 23:57:12] 967*2^1508489-1 is not prime. Res64: B8D77C9EAF0D4A29 Time : 0.0 sec. user=mdettweiler [2018-04-29 23:57:12] 611*2^1508490-1 is not prime. Res64: E2DB9830C3D3C44A Time : 0.0 sec. user=mdettweiler [2018-04-29 23:59:14] 711*2^1508490-1 is not prime. Res64: 86C55BE41AC2AB89 Time : 0.0 sec. user=mdettweiler [2018-04-29 23:59:15] 725*2^1508490-1 is not prime. Res64: 55AB8C001E6070FB Time : 0.0 sec. user=mdettweiler [2018-04-29 23:59:15] 755*2^1508490-1 is not prime. Res64: 054174E00ABBA5F2 Time : 0.0 sec. user=mdettweiler [2018-04-29 23:59:16] 803*2^1508490-1 is not prime. Res64: 08FDBF16D09CA634 Time : 0.0 sec. user=mdettweiler [2018-04-29 23:59:16] 851*2^1508490-1 is not prime. Res64: 428BF1FBBDE5F258 Time : 0.0 sec.