user=mdettweiler [2016-06-20 00:04:45] 773*2^1432930-1 is not prime. Res64: CBECF423A1263818 Time : 0.0 sec. user=mdettweiler [2016-06-20 00:04:46] 827*2^1432930-1 is not prime. Res64: 986D742E6D90EC32 Time : 0.0 sec. user=mdettweiler [2016-06-20 00:04:47] 669*2^1432931-1 is not prime. Res64: 4DC09DB3C2074C49 Time : 0.0 sec. user=mdettweiler [2016-06-20 00:04:48] 745*2^1432931-1 is not prime. Res64: 32959D5AD7DBB655 Time : 0.0 sec. user=mdettweiler [2016-06-20 00:04:49] 843*2^1432931-1 is not prime. Res64: CB07E7F2E338BD33 Time : 0.0 sec. user=mdettweiler [2016-06-20 00:34:32] 901*2^1432931-1 is not prime. Res64: F2C63FA5614540CF Time : 0.0 sec. user=mdettweiler [2016-06-20 00:34:32] 615*2^1432932-1 is not prime. Res64: 2D12FDC6995DED2B Time : 0.0 sec. user=mdettweiler [2016-06-20 00:34:32] 669*2^1432932-1 is not prime. Res64: C3C152B3557DBCAF Time : 0.0 sec. user=mdettweiler [2016-06-20 00:34:33] 675*2^1432932-1 is not prime. Res64: B6369CAECE6FCF27 Time : 0.0 sec. user=mdettweiler [2016-06-20 00:34:33] 797*2^1432932-1 is not prime. Res64: 62359244E95DCF95 Time : 0.0 sec. user=mdettweiler [2016-06-20 00:34:59] 887*2^1432932-1 is not prime. Res64: 95123FB9A74E071B Time : 0.0 sec. user=mdettweiler [2016-06-20 00:34:59] 899*2^1432932-1 is not prime. Res64: 298720839B18D191 Time : 0.0 sec. user=mdettweiler [2016-06-20 00:35:00] 915*2^1432932-1 is not prime. Res64: 5A604167190FB244 Time : 0.0 sec. user=mdettweiler [2016-06-20 00:35:00] 607*2^1432933-1 is not prime. Res64: 59B80F3D06E39479 Time : 0.0 sec. user=mdettweiler [2016-06-20 00:35:00] 615*2^1432933-1 is not prime. Res64: 8238930B41C9F36E Time : 0.0 sec. user=mdettweiler [2016-06-20 00:45:34] 621*2^1432933-1 is not prime. Res64: AA658BF5819E9923 Time : 0.0 sec. user=mdettweiler [2016-06-20 00:45:35] 651*2^1432933-1 is not prime. Res64: 9A96EA8756A38483 Time : 0.0 sec. user=mdettweiler [2016-06-20 00:45:35] 915*2^1432933-1 is not prime. Res64: 25E46CAFD8BF40D1 Time : 0.0 sec. user=mdettweiler [2016-06-20 00:45:36] 951*2^1432933-1 is not prime. Res64: 615023757B550019 Time : 0.0 sec. user=mdettweiler [2016-06-20 00:45:36] 979*2^1432933-1 is not prime. Res64: 7C1A873EE5FBCEB5 Time : 0.0 sec. user=mdettweiler [2016-06-20 00:49:50] 627*2^1432934-1 is not prime. Res64: 4C4BA81E9676ED6F Time : 0.0 sec. user=mdettweiler [2016-06-20 00:49:50] 747*2^1432934-1 is not prime. Res64: AEE104EB46EA928F Time : 0.0 sec. user=mdettweiler [2016-06-20 00:49:51] 953*2^1432934-1 is not prime. Res64: 41FC41EC08764932 Time : 0.0 sec. user=mdettweiler [2016-06-20 00:49:51] 993*2^1432934-1 is not prime. Res64: A3D4BF82DA8543FC Time : 0.0 sec. user=mdettweiler [2016-06-20 00:49:51] 1001*2^1432934-1 is not prime. Res64: D82CD401DC85CCFB Time : 0.0 sec. user=mdettweiler [2016-06-20 01:19:31] 691*2^1432935-1 is not prime. Res64: 9E575CEFDBABDA0A Time : 0.0 sec. user=mdettweiler [2016-06-20 01:19:31] 739*2^1432935-1 is not prime. Res64: 3797A7D5DD666BF9 Time : 0.0 sec. user=mdettweiler [2016-06-20 01:19:32] 741*2^1432935-1 is not prime. Res64: AC171CE9BAB9E243 Time : 0.0 sec. user=mdettweiler [2016-06-20 01:19:32] 793*2^1432935-1 is not prime. Res64: C3E1C01E53476CE2 Time : 0.0 sec. user=mdettweiler [2016-06-20 01:19:32] 823*2^1432935-1 is not prime. Res64: 9857CFF4578674E4 Time : 0.0 sec. user=mdettweiler [2016-06-20 01:19:54] 831*2^1432935-1 is not prime. Res64: A4353EFC758C4F84 Time : 0.0 sec. user=mdettweiler [2016-06-20 01:19:55] 895*2^1432935-1 is not prime. Res64: 039356F492658683 Time : 0.0 sec. user=mdettweiler [2016-06-20 01:19:55] 985*2^1432935-1 is not prime. Res64: 47A97CEA2178BD3D Time : 0.0 sec. user=mdettweiler [2016-06-20 01:19:56] 677*2^1432936-1 is not prime. Res64: 295EB4803BB5028A Time : 0.0 sec. user=mdettweiler [2016-06-20 01:19:56] 705*2^1432936-1 is not prime. Res64: 153B35A697524FB6 Time : 0.0 sec. user=mdettweiler [2016-06-20 01:30:24] 707*2^1432936-1 is not prime. Res64: F51AEE10C7B350EA Time : 0.0 sec. user=mdettweiler [2016-06-20 01:30:32] 755*2^1432936-1 is not prime. Res64: C99158F901F7C1F5 Time : 0.0 sec. user=mdettweiler [2016-06-20 01:30:35] 759*2^1432936-1 is not prime. Res64: F2D6E37D274C81B6 Time : 0.0 sec. user=mdettweiler [2016-06-20 01:30:37] 839*2^1432936-1 is not prime. Res64: 26931BF164AC1481 Time : 0.0 sec. user=mdettweiler [2016-06-20 01:30:38] 905*2^1432936-1 is not prime. Res64: E05F3F31A1094CBB Time : 0.0 sec. user=mdettweiler [2016-06-20 01:34:45] 909*2^1432936-1 is not prime. Res64: 50B020957EE2CC01 Time : 0.0 sec. user=mdettweiler [2016-06-20 01:34:46] 989*2^1432936-1 is not prime. Res64: E69A694C889D22BE Time : 0.0 sec. user=mdettweiler [2016-06-20 01:34:46] 999*2^1432936-1 is not prime. Res64: BECAE413E984444B Time : 0.0 sec. user=mdettweiler [2016-06-20 01:34:47] 615*2^1432937-1 is not prime. Res64: 5DEED6901BC825D1 Time : 0.0 sec. user=mdettweiler [2016-06-20 01:34:47] 631*2^1432937-1 is not prime. Res64: 853FF42A32DAC029 Time : 0.0 sec. user=mdettweiler [2016-06-20 02:04:19] 669*2^1432937-1 is not prime. Res64: A4656F37DFA2147B Time : 0.0 sec. user=mdettweiler [2016-06-20 02:04:21] 847*2^1432937-1 is not prime. Res64: 28158D00DC417CD6 Time : 0.0 sec. user=mdettweiler [2016-06-20 02:04:22] 681*2^1432938-1 is not prime. Res64: 537DD442ADC3E1AD Time : 0.0 sec. user=mdettweiler [2016-06-20 02:04:24] 755*2^1432938-1 is not prime. Res64: 926B87B6C686E149 Time : 0.0 sec. user=mdettweiler [2016-06-20 02:04:25] 777*2^1432938-1 is not prime. Res64: F30192A5AAC5C90E Time : 0.0 sec. user=mdettweiler [2016-06-20 02:04:43] 803*2^1432938-1 is not prime. Res64: 50A0737FC45E8597 Time : 0.0 sec. user=mdettweiler [2016-06-20 02:04:45] 815*2^1432938-1 is not prime. Res64: F00850683828CAEA Time : 0.0 sec. user=mdettweiler [2016-06-20 02:04:46] 887*2^1432938-1 is not prime. Res64: F9AB0F3DDB109417 Time : 0.0 sec. user=mdettweiler [2016-06-20 02:04:47] 927*2^1432938-1 is not prime. Res64: 7EF48FE4B5CB420A Time : 0.0 sec. user=mdettweiler [2016-06-20 02:04:48] 639*2^1432939-1 is not prime. Res64: D009C4E6AF337C1F Time : 0.0 sec. user=mdettweiler [2016-06-20 02:15:19] 691*2^1432939-1 is not prime. Res64: 4DE1E06DF9CEE4AD Time : 0.0 sec. user=mdettweiler [2016-06-20 02:15:19] 709*2^1432939-1 is not prime. Res64: 43E8069DBE7A8DDC Time : 0.0 sec. user=mdettweiler [2016-06-20 02:15:20] 913*2^1432939-1 is not prime. Res64: 50AB5526BE3BC7DD Time : 0.0 sec. user=mdettweiler [2016-06-20 02:15:20] 939*2^1432939-1 is not prime. Res64: 9C42604CAC6F326D Time : 0.0 sec. user=mdettweiler [2016-06-20 02:15:20] 603*2^1432940-1 is not prime. Res64: D5FC1BB245AC29EC Time : 0.0 sec. user=mdettweiler [2016-06-20 02:19:32] 629*2^1432940-1 is not prime. Res64: 17C1C77D1BBC132B Time : 0.0 sec. user=mdettweiler [2016-06-20 02:19:32] 717*2^1432940-1 is not prime. Res64: 7C66F226ACB9A13E Time : 0.0 sec. user=mdettweiler [2016-06-20 02:19:33] 753*2^1432940-1 is not prime. Res64: 2AF62508C3B9DC1C Time : 0.0 sec. user=mdettweiler [2016-06-20 02:19:33] 777*2^1432940-1 is not prime. Res64: 8305DCE6151A060B Time : 0.0 sec. user=mdettweiler [2016-06-20 02:19:33] 857*2^1432940-1 is not prime. Res64: 5AE0F4E4573C6AEC Time : 0.0 sec. user=mdettweiler [2016-06-20 02:49:27] 927*2^1432940-1 is not prime. Res64: 12628A1856E8BF19 Time : 0.0 sec. user=mdettweiler [2016-06-20 02:49:28] 615*2^1432941-1 is not prime. Res64: 108F3AE49824A2E3 Time : 0.0 sec. user=mdettweiler [2016-06-20 02:49:28] 625*2^1432941-1 is not prime. Res64: DC8AE67C8FE29F0D Time : 0.0 sec. user=mdettweiler [2016-06-20 02:49:29] 717*2^1432941-1 is not prime. Res64: A5E90634871EB0BF Time : 0.0 sec. user=mdettweiler [2016-06-20 02:49:29] 747*2^1432941-1 is not prime. Res64: EABD9D680933E5BB Time : 0.0 sec. user=mdettweiler [2016-06-20 02:49:41] 829*2^1432941-1 is not prime. Res64: 2CFDD4541D088EB1 Time : 0.0 sec. user=mdettweiler [2016-06-20 02:49:41] 867*2^1432941-1 is not prime. Res64: 3B70F1414895B9A7 Time : 0.0 sec. user=mdettweiler [2016-06-20 02:49:42] 921*2^1432941-1 is not prime. Res64: F3CFF99747F38F31 Time : 0.0 sec. user=mdettweiler [2016-06-20 02:49:42] 623*2^1432942-1 is not prime. Res64: C4C255079DF274FA Time : 0.0 sec. user=mdettweiler [2016-06-20 02:49:43] 957*2^1432942-1 is not prime. Res64: 9DDDC5E76F9E40C9 Time : 0.0 sec. user=mdettweiler [2016-06-20 03:00:10] 981*2^1432942-1 is not prime. Res64: FE33CE8480D3CAEC Time : 0.0 sec. user=mdettweiler [2016-06-20 03:00:11] 983*2^1432942-1 is not prime. Res64: C28015A2C02ABE26 Time : 0.0 sec. user=mdettweiler [2016-06-20 03:00:11] 603*2^1432943-1 is not prime. Res64: 8FEFB0E89C03E1BE Time : 0.0 sec. user=mdettweiler [2016-06-20 03:00:11] 633*2^1432943-1 is not prime. Res64: 69533BD0A809AC98 Time : 0.0 sec. user=mdettweiler [2016-06-20 03:00:12] 669*2^1432943-1 is not prime. Res64: 70D091800E3721D5 Time : 0.0 sec. user=mdettweiler [2016-06-20 03:04:27] 763*2^1432943-1 is not prime. Res64: 27F404B53156A666 Time : 0.0 sec. user=mdettweiler [2016-06-20 03:04:28] 789*2^1432943-1 is not prime. Res64: BEE61D3C13E0F542 Time : 0.0 sec. user=mdettweiler [2016-06-20 03:04:29] 829*2^1432943-1 is not prime. Res64: F038CDA59FEAE843 Time : 0.0 sec. user=mdettweiler [2016-06-20 03:04:30] 831*2^1432943-1 is not prime. Res64: 1D5AA5394A85972C Time : 0.0 sec. user=mdettweiler [2016-06-20 03:04:31] 981*2^1432943-1 is not prime. Res64: 6EDA332D2CC30C02 Time : 0.0 sec. user=mdettweiler [2016-06-20 03:34:49] 657*2^1432944-1 is not prime. Res64: 333A24D2727C7D58 Time : 0.0 sec. user=mdettweiler [2016-06-20 03:34:50] 759*2^1432944-1 is not prime. Res64: 617A632D3B71FCF5 Time : 0.0 sec. user=mdettweiler [2016-06-20 03:34:51] 825*2^1432944-1 is not prime. Res64: E79CB6757ED8900D Time : 0.0 sec. user=mdettweiler [2016-06-20 03:34:52] 849*2^1432944-1 is not prime. Res64: 22C864181FF57A30 Time : 0.0 sec. user=mdettweiler [2016-06-20 03:34:53] 905*2^1432944-1 is not prime. Res64: 6548B30426859A09 Time : 0.0 sec. user=mdettweiler [2016-06-20 03:34:54] 923*2^1432944-1 is not prime. Res64: A222D5BE5A9F7F86 Time : 0.0 sec. user=mdettweiler [2016-06-20 03:34:55] 645*2^1432945-1 is not prime. Res64: 720D7EE54C766313 Time : 0.0 sec. user=mdettweiler [2016-06-20 03:34:57] 699*2^1432945-1 is not prime. Res64: 1C5DFF924783DD18 Time : 0.0 sec. user=mdettweiler [2016-06-20 03:34:58] 817*2^1432945-1 is not prime. Res64: 750A0E88FBFE925E Time : 0.0 sec. user=mdettweiler [2016-06-20 03:34:59] 925*2^1432945-1 is not prime. Res64: 62E52673D4B1C9A3 Time : 0.0 sec. user=mdettweiler [2016-06-20 03:45:26] 955*2^1432945-1 is not prime. Res64: D9F1F2D122D2BA08 Time : 0.0 sec. user=mdettweiler [2016-06-20 03:45:27] 957*2^1432945-1 is not prime. Res64: DE0B8760A8623EAA Time : 0.0 sec. user=mdettweiler [2016-06-20 03:45:28] 635*2^1432946-1 is not prime. Res64: 7F95A5B649245A6B Time : 0.0 sec. user=mdettweiler [2016-06-20 03:45:29] 711*2^1432946-1 is not prime. Res64: DAC400D92F756889 Time : 0.0 sec. user=mdettweiler [2016-06-20 03:45:30] 713*2^1432946-1 is not prime. Res64: ABB02472E1AE943E Time : 0.0 sec. user=mdettweiler [2016-06-20 03:50:34] 735*2^1432946-1 is not prime. Res64: FCB857C671BA294F Time : 0.0 sec. user=mdettweiler [2016-06-20 03:50:35] 747*2^1432946-1 is not prime. Res64: B34E55FA9EED3731 Time : 0.0 sec. user=mdettweiler [2016-06-20 03:50:36] 767*2^1432946-1 is not prime. Res64: 6E3D7C11FD03B0E8 Time : 0.0 sec. user=mdettweiler [2016-06-20 03:50:37] 615*2^1432947-1 is not prime. Res64: 5A3A2C5D0C5758C8 Time : 0.0 sec. user=mdettweiler [2016-06-20 03:50:38] 621*2^1432947-1 is not prime. Res64: BB70C7482D8C85EF Time : 0.0 sec. user=mdettweiler [2016-06-20 04:20:35] 635*2^1432948-1 is not prime. Res64: 832DCE3BBF582379 Time : 0.0 sec. user=mdettweiler [2016-06-20 04:20:36] 687*2^1432948-1 is not prime. Res64: E5DB53FFC91BE1A6 Time : 0.0 sec. user=mdettweiler [2016-06-20 04:20:36] 813*2^1432948-1 is not prime. Res64: 4BAA630708CB31CE Time : 0.0 sec. user=mdettweiler [2016-06-20 04:20:36] 863*2^1432948-1 is not prime. Res64: 653F595E29BBBA3F Time : 0.0 sec. user=mdettweiler [2016-06-20 04:20:37] 887*2^1432948-1 is not prime. Res64: 7D7F71F0610DAEE7 Time : 0.0 sec. user=mdettweiler [2016-06-20 04:21:12] 649*2^1432947-1 is not prime. Res64: 2B7A9A371360751E Time : 0.0 sec. user=mdettweiler [2016-06-20 04:21:12] 691*2^1432947-1 is not prime. Res64: 568B7F8834E9621A Time : 0.0 sec. user=mdettweiler [2016-06-20 04:21:12] 961*2^1432947-1 is not prime. Res64: B67DE32644A33F6A Time : 0.0 sec. user=mdettweiler [2016-06-20 04:21:13] 963*2^1432947-1 is not prime. Res64: D97667C6A64830CF Time : 0.0 sec. user=mdettweiler [2016-06-20 04:21:13] 999*2^1432947-1 is not prime. Res64: 4F79782F21514E8E Time : 0.0 sec. user=mdettweiler [2016-06-20 04:31:23] 953*2^1432948-1 is not prime. Res64: 4AC4A6A69EF0D68E Time : 0.0 sec. user=mdettweiler [2016-06-20 04:31:23] 631*2^1432949-1 is not prime. Res64: 694A8DAE6FD0688B Time : 0.0 sec. user=mdettweiler [2016-06-20 04:31:23] 685*2^1432949-1 is not prime. Res64: B46422483E12A6DE Time : 0.0 sec. user=mdettweiler [2016-06-20 04:31:24] 831*2^1432949-1 is not prime. Res64: D8AC796BB1CA7802 Time : 0.0 sec. user=mdettweiler [2016-06-20 04:31:24] 949*2^1432949-1 is not prime. Res64: D1C281CF631E638F Time : 0.0 sec. user=mdettweiler [2016-06-20 04:35:32] 635*2^1432950-1 is not prime. Res64: C432B223541BCAC0 Time : 0.0 sec. user=mdettweiler [2016-06-20 04:35:32] 647*2^1432950-1 is not prime. Res64: 12B43067798CD5A8 Time : 0.0 sec. user=mdettweiler [2016-06-20 04:35:33] 717*2^1432950-1 is not prime. Res64: 282622314AC9B68F Time : 0.0 sec. user=mdettweiler [2016-06-20 04:35:33] 783*2^1432950-1 is not prime. Res64: 559BBADF69AFCEA1 Time : 0.0 sec. user=mdettweiler [2016-06-20 04:35:34] 875*2^1432950-1 is not prime. Res64: 043A7D5EC261A376 Time : 0.0 sec. user=mdettweiler [2016-06-20 05:05:41] 917*2^1432950-1 is not prime. Res64: F20D41FBE9ED4915 Time : 0.0 sec. user=mdettweiler [2016-06-20 05:05:45] 645*2^1432951-1 is not prime. Res64: 9ACF9EAA86A4D51B Time : 0.0 sec. user=mdettweiler [2016-06-20 05:05:46] 623*2^1432952-1 is not prime. Res64: B2F87D7621AD4D26 Time : 0.0 sec. user=mdettweiler [2016-06-20 05:05:47] 687*2^1432952-1 is not prime. Res64: 6EBE979DC7893E9B Time : 0.0 sec. user=mdettweiler [2016-06-20 05:05:48] 689*2^1432952-1 is not prime. Res64: 061194497112B95B Time : 0.0 sec. user=mdettweiler [2016-06-20 05:06:11] 819*2^1432952-1 is not prime. Res64: E82A786E3088673F Time : 0.0 sec. user=mdettweiler [2016-06-20 05:06:12] 875*2^1432952-1 is not prime. Res64: 29C0AC20AF699B93 Time : 0.0 sec. user=mdettweiler [2016-06-20 05:06:13] 899*2^1432952-1 is not prime. Res64: F6C38E28FC1601B5 Time : 0.0 sec. user=mdettweiler [2016-06-20 05:06:14] 957*2^1432952-1 is not prime. Res64: 0425F870952D6D20 Time : 0.0 sec. user=mdettweiler [2016-06-20 05:06:15] 963*2^1432952-1 is not prime. Res64: EAE3FD929E5BC086 Time : 0.0 sec. user=mdettweiler [2016-06-20 05:16:14] 983*2^1432952-1 is not prime. Res64: F3364DF230405BA3 Time : 0.0 sec. user=mdettweiler [2016-06-20 05:16:14] 649*2^1432953-1 is not prime. Res64: AC93B54C03F84027 Time : 0.0 sec. user=mdettweiler [2016-06-20 05:16:14] 657*2^1432953-1 is not prime. Res64: 7B8B0314E7C82BB3 Time : 0.0 sec. user=mdettweiler [2016-06-20 05:16:15] 789*2^1432953-1 is not prime. Res64: B0149110F97E1F24 Time : 0.0 sec. user=mdettweiler [2016-06-20 05:16:15] 811*2^1432953-1 is not prime. Res64: 0AAE023FD2CE65CB Time : 0.0 sec. user=mdettweiler [2016-06-20 05:20:20] 741*2^1432954-1 is not prime. Res64: 9F03F7DE48FC5CCB Time : 0.0 sec. user=mdettweiler [2016-06-20 05:20:21] 755*2^1432954-1 is not prime. Res64: FD63A2A22ED2DF98 Time : 0.0 sec. user=mdettweiler [2016-06-20 05:20:21] 861*2^1432954-1 is not prime. Res64: CD9E1C9EE45534E7 Time : 0.0 sec. user=mdettweiler [2016-06-20 05:20:22] 987*2^1432954-1 is not prime. Res64: E2615397D848F738 Time : 0.0 sec. user=mdettweiler [2016-06-20 05:20:22] 645*2^1432955-1 is not prime. Res64: EEA0EDA6E2ACA0CF Time : 0.0 sec. user=mdettweiler [2016-06-20 05:50:42] 675*2^1432955-1 is not prime. Res64: E2B68CB78F3DE0FB Time : 0.0 sec. user=mdettweiler [2016-06-20 05:50:42] 753*2^1432955-1 is not prime. Res64: 55777614EB7F11A4 Time : 0.0 sec. user=mdettweiler [2016-06-20 05:50:42] 783*2^1432955-1 is not prime. Res64: E4DC44DDA1529686 Time : 0.0 sec. user=mdettweiler [2016-06-20 05:50:43] 943*2^1432955-1 is not prime. Res64: 04164B387A31EC9C Time : 0.0 sec. user=mdettweiler [2016-06-20 05:50:43] 635*2^1432956-1 is not prime. Res64: 840EBEF4BE561DEA Time : 0.0 sec. user=mdettweiler [2016-06-20 05:51:05] 669*2^1432956-1 is not prime. Res64: 7DF732D4425CD0FF Time : 0.0 sec. user=mdettweiler [2016-06-20 05:51:06] 683*2^1432956-1 is not prime. Res64: D2318960D440CB78 Time : 0.0 sec. user=mdettweiler [2016-06-20 05:51:06] 773*2^1432956-1 is not prime. Res64: D8E80A917D15DDBB Time : 0.0 sec. user=mdettweiler [2016-06-20 05:51:07] 893*2^1432956-1 is not prime. Res64: 1DBDCAA7F404CECA Time : 0.0 sec. user=mdettweiler [2016-06-20 05:51:07] 691*2^1432957-1 is not prime. Res64: C2F89B0EED82266D Time : 0.0 sec. user=mdettweiler [2016-06-20 06:01:13] 825*2^1432957-1 is not prime. Res64: EFBC657EDD2F8A18 Time : 0.0 sec. user=mdettweiler [2016-06-20 06:01:14] 705*2^1432958-1 is not prime. Res64: 559F19A56A74779C Time : 0.0 sec. user=mdettweiler [2016-06-20 06:01:14] 867*2^1432958-1 is not prime. Res64: 1A42BB399ADD6169 Time : 0.0 sec. user=mdettweiler [2016-06-20 06:01:15] 885*2^1432958-1 is not prime. Res64: 529F488A8F123D92 Time : 0.0 sec. user=mdettweiler [2016-06-20 06:01:16] 953*2^1432958-1 is not prime. Res64: 331FE8B8E0F59A6A Time : 0.0 sec. user=mdettweiler [2016-06-20 06:05:15] 619*2^1432959-1 is not prime. Res64: 90CA5042388E046B Time : 0.0 sec. user=mdettweiler [2016-06-20 06:05:16] 663*2^1432959-1 is not prime. Res64: F685E9F1B9F0B7A0 Time : 0.0 sec. user=mdettweiler [2016-06-20 06:05:17] 793*2^1432959-1 is not prime. Res64: 593F4AF857819130 Time : 0.0 sec. user=mdettweiler [2016-06-20 06:05:18] 853*2^1432959-1 is not prime. Res64: 3DE1DCD37276640A Time : 0.0 sec. user=mdettweiler [2016-06-20 06:05:19] 931*2^1432959-1 is not prime. Res64: EAA9959C9DC6AA78 Time : 0.0 sec. user=mdettweiler [2016-06-20 06:35:39] 961*2^1432959-1 is not prime. Res64: 617B9AF4142B00D3 Time : 0.0 sec. user=mdettweiler [2016-06-20 06:35:40] 609*2^1432960-1 is not prime. Res64: 094049410A7D4ED8 Time : 0.0 sec. user=mdettweiler [2016-06-20 06:35:40] 695*2^1432960-1 is not prime. Res64: 5E65E9BBDAA638F6 Time : 0.0 sec. user=mdettweiler [2016-06-20 06:35:41] 899*2^1432960-1 is not prime. Res64: 2FDF06D0BFC02502 Time : 0.0 sec. user=mdettweiler [2016-06-20 06:35:41] 989*2^1432960-1 is not prime. Res64: 2D1FAF22B7633E0B Time : 0.0 sec. user=mdettweiler [2016-06-20 06:36:02] 615*2^1432961-1 is not prime. Res64: 3BAB7AE02D96E797 Time : 0.0 sec. user=mdettweiler [2016-06-20 06:36:02] 657*2^1432961-1 is not prime. Res64: 3F5882E681003B01 Time : 0.0 sec. user=mdettweiler [2016-06-20 06:36:03] 865*2^1432961-1 is not prime. Res64: 6FB05C0FAC4FFC31 Time : 0.0 sec. user=mdettweiler [2016-06-20 06:36:03] 955*2^1432961-1 is not prime. Res64: 35D5FF45BE3C039F Time : 0.0 sec. user=mdettweiler [2016-06-20 06:36:04] 621*2^1432962-1 is not prime. Res64: E62B61634E802FD1 Time : 0.0 sec. user=mdettweiler [2016-06-20 06:46:05] 635*2^1432962-1 is not prime. Res64: 292C301C4C4D6F14 Time : 0.0 sec. user=mdettweiler [2016-06-20 06:46:06] 747*2^1432962-1 is not prime. Res64: B82CB4B0183A7E64 Time : 0.0 sec. user=mdettweiler [2016-06-20 06:46:06] 975*2^1432962-1 is not prime. Res64: 8178AF8C94E4896D Time : 0.0 sec. user=mdettweiler [2016-06-20 06:46:06] 735*2^1432963-1 is not prime. Res64: 817B0ADAAF0D1626 Time : 0.0 sec. user=mdettweiler [2016-06-20 06:46:07] 741*2^1432963-1 is not prime. Res64: 8ED982D821741F42 Time : 0.0 sec. user=mdettweiler [2016-06-20 06:50:26] 883*2^1432963-1 is not prime. Res64: 62BCCD8373EFB2D4 Time : 0.0 sec. user=mdettweiler [2016-06-20 06:50:26] 985*2^1432963-1 is not prime. Res64: AECA57668F758FFE Time : 0.0 sec. user=mdettweiler [2016-06-20 06:50:26] 935*2^1432964-1 is not prime. Res64: D7DFD9A8602C3C0D Time : 0.0 sec. user=mdettweiler [2016-06-20 06:50:27] 957*2^1432964-1 is not prime. Res64: CBC22E38561472ED Time : 0.0 sec. user=mdettweiler [2016-06-20 06:50:27] 609*2^1432965-1 is not prime. Res64: 17934DEE27292BB7 Time : 0.0 sec. user=mdettweiler [2016-06-20 07:20:35] 657*2^1432965-1 is not prime. Res64: B5E1C4765672642C Time : 0.0 sec. user=mdettweiler [2016-06-20 07:20:36] 765*2^1432965-1 is not prime. Res64: 34F67AA677C6D6D2 Time : 0.0 sec. user=mdettweiler [2016-06-20 07:20:36] 825*2^1432965-1 is not prime. Res64: 6E0CF3C97A3DE94A Time : 0.0 sec. user=mdettweiler [2016-06-20 07:20:37] 677*2^1432966-1 is not prime. Res64: C616A5E416634399 Time : 0.0 sec. user=mdettweiler [2016-06-20 07:20:37] 761*2^1432966-1 is not prime. Res64: 58155F336373140F Time : 0.0 sec. user=mdettweiler [2016-06-20 07:20:42] 855*2^1432966-1 is not prime. Res64: D81EC789B26CC84F Time : 0.0 sec. user=mdettweiler [2016-06-20 07:20:42] 947*2^1432966-1 is not prime. Res64: FF25AC256FBC038F Time : 0.0 sec. user=mdettweiler [2016-06-20 07:20:43] 965*2^1432966-1 is not prime. Res64: FBD69946793625E5 Time : 0.0 sec. user=mdettweiler [2016-06-20 07:20:43] 971*2^1432966-1 is not prime. Res64: E96909A8C0C8CFBF Time : 0.0 sec. user=mdettweiler [2016-06-20 07:20:43] 609*2^1432967-1 is not prime. Res64: 8E1CD9AC4B3CFEE2 Time : 0.0 sec. user=mdettweiler [2016-06-20 07:30:53] 729*2^1432967-1 is not prime. Res64: 8FBADAF0F8C33745 Time : 0.0 sec. user=mdettweiler [2016-06-20 07:30:53] 713*2^1432968-1 is not prime. Res64: BC7CA43EB0951ADB Time : 0.0 sec. user=mdettweiler [2016-06-20 07:30:53] 765*2^1432968-1 is not prime. Res64: 1B9C054223FC45E1 Time : 0.0 sec. user=mdettweiler [2016-06-20 07:30:54] 773*2^1432968-1 is not prime. Res64: 5630820722ED57FB Time : 0.0 sec. user=mdettweiler [2016-06-20 07:30:54] 843*2^1432968-1 is not prime. Res64: 1C3DCF077A520AB1 Time : 0.0 sec. user=mdettweiler [2016-06-20 07:35:19] 929*2^1432968-1 is not prime. Res64: 9A2DB2CA3DD194CE Time : 0.0 sec. user=mdettweiler [2016-06-20 07:35:19] 609*2^1432969-1 is not prime. Res64: 7E94B71471C5263E Time : 0.0 sec. user=mdettweiler [2016-06-20 07:35:20] 649*2^1432969-1 is not prime. Res64: 86D1D3EB408DB168 Time : 0.0 sec. user=mdettweiler [2016-06-20 07:35:20] 841*2^1432969-1 is not prime. Res64: 654E35D999157039 Time : 0.0 sec. user=mdettweiler [2016-06-20 07:35:20] 867*2^1432969-1 is not prime. Res64: 5DB80D2739C8EEE1 Time : 0.0 sec. user=mdettweiler [2016-06-20 08:05:43] 877*2^1432969-1 is not prime. Res64: C48E4E49CE8E6619 Time : 0.0 sec. user=mdettweiler [2016-06-20 08:05:45] 885*2^1432969-1 is not prime. Res64: 838A1A78C7DDB9AB Time : 0.0 sec. user=mdettweiler [2016-06-20 08:05:46] 919*2^1432969-1 is not prime. Res64: 34A75B46B5C40D52 Time : 0.0 sec. user=mdettweiler [2016-06-20 08:05:47] 615*2^1432970-1 is not prime. Res64: 078CE617E5F9834D Time : 0.0 sec. user=mdettweiler [2016-06-20 08:05:47] 979*2^1432969-1 is not prime. Res64: 85CE9FB54896D8A1 Time : 0.0 sec. user=mdettweiler [2016-06-20 08:05:48] 641*2^1432970-1 is not prime. Res64: 28D3648FFB4CB9DB Time : 0.0 sec. user=mdettweiler [2016-06-20 08:05:49] 605*2^1432970-1 is not prime. Res64: F295EA7E6E618C02 Time : 0.0 sec. user=mdettweiler [2016-06-20 08:05:49] 741*2^1432970-1 is not prime. Res64: 27A8F0CB5A2D0269 Time : 0.0 sec. user=mdettweiler [2016-06-20 08:05:50] 773*2^1432970-1 is not prime. Res64: CD280C38FC5ABCB2 Time : 0.0 sec. user=mdettweiler [2016-06-20 08:05:51] 953*2^1432970-1 is not prime. Res64: 5127CE0D504BD1E0 Time : 0.0 sec. user=mdettweiler [2016-06-20 08:15:54] 795*2^1432971-1 is not prime. Res64: F06BB22A56AD6FA1 Time : 0.0 sec. user=mdettweiler [2016-06-20 08:15:54] 819*2^1432971-1 is not prime. Res64: 06A2608DEF6A84C7 Time : 0.0 sec. user=mdettweiler [2016-06-20 08:15:55] 829*2^1432971-1 is not prime. Res64: FF8E7FF8F1C7C7E6 Time : 0.0 sec. user=mdettweiler [2016-06-20 08:15:55] 859*2^1432971-1 is not prime. Res64: BD35CE2BD440FE02 Time : 0.0 sec. user=mdettweiler [2016-06-20 08:15:56] 973*2^1432971-1 is not prime. Res64: 901163B63B1211F0 Time : 0.0 sec. user=mdettweiler [2016-06-20 08:20:20] 991*2^1432971-1 is not prime. Res64: C3614A8A15BFB96D Time : 0.0 sec. user=mdettweiler [2016-06-20 08:20:20] 603*2^1432972-1 is not prime. Res64: 769E5497460008AE Time : 0.0 sec. user=mdettweiler [2016-06-20 08:20:21] 635*2^1432972-1 is not prime. Res64: 40833B29B5772EDD Time : 0.0 sec. user=mdettweiler [2016-06-20 08:20:21] 705*2^1432972-1 is not prime. Res64: DC834EBDF3133717 Time : 0.0 sec. user=mdettweiler [2016-06-20 08:20:21] 975*2^1432972-1 is not prime. Res64: 6FEA56D02E580FD9 Time : 0.0 sec. user=mdettweiler [2016-06-20 08:50:59] 927*2^1432974-1 is not prime. Res64: 157F86C8D75FA8ED Time : 0.0 sec. user=mdettweiler [2016-06-20 08:50:59] 951*2^1432974-1 is not prime. Res64: 32C406817D3ADE73 Time : 0.0 sec. user=mdettweiler [2016-06-20 08:50:59] 679*2^1432975-1 is not prime. Res64: 85E4815621A58F31 Time : 0.0 sec. user=mdettweiler [2016-06-20 08:51:00] 775*2^1432975-1 is not prime. Res64: 4DBCC6398D96583E Time : 0.0 sec. user=mdettweiler [2016-06-20 08:51:00] 819*2^1432975-1 is not prime. Res64: ED5C5800E3B64394 Time : 0.0 sec. user=mdettweiler [2016-06-20 08:51:04] 619*2^1432973-1 is not prime. Res64: F6E7E8398297A316 Time : 0.0 sec. user=mdettweiler [2016-06-20 08:51:04] 847*2^1432973-1 is not prime. Res64: 34BAD2871796636E Time : 0.0 sec. user=mdettweiler [2016-06-20 08:51:05] 939*2^1432973-1 is not prime. Res64: 372985F7D15DF2E4 Time : 0.0 sec. user=mdettweiler [2016-06-20 08:51:05] 605*2^1432974-1 is not prime. Res64: FB517FDB365C22C2 Time : 0.0 sec. user=mdettweiler [2016-06-20 08:51:05] 627*2^1432974-1 is not prime. Res64: 10C18219AF645068 Time : 0.0 sec. user=mdettweiler [2016-06-20 09:00:44] 859*2^1432975-1 is not prime. Res64: 6C11234C7A6A322C Time : 0.0 sec. user=mdettweiler [2016-06-20 09:00:45] 885*2^1432975-1 is not prime. Res64: EFA1B4E5A0D5F342 Time : 0.0 sec. user=mdettweiler [2016-06-20 09:00:46] 913*2^1432975-1 is not prime. Res64: 8BC5F41B08BE7FF4 Time : 0.0 sec. user=mdettweiler [2016-06-20 09:00:47] 933*2^1432975-1 is not prime. Res64: 37ED2E190025EF2E Time : 0.0 sec. user=mdettweiler [2016-06-20 09:00:48] 827*2^1432976-1 is not prime. Res64: 0229671409337DE6 Time : 0.0 sec. user=mdettweiler [2016-06-20 09:05:32] 843*2^1432976-1 is not prime. Res64: 864F8A4457521AE3 Time : 0.0 sec. user=mdettweiler [2016-06-20 09:05:33] 957*2^1432976-1 is not prime. Res64: E5E5ABFBC65D0FDC Time : 0.0 sec. user=mdettweiler [2016-06-20 09:05:35] 963*2^1432976-1 is not prime. Res64: 39CD07BED9C50D8A Time : 0.0 sec. user=mdettweiler [2016-06-20 09:05:36] 999*2^1432976-1 is not prime. Res64: 40AE0983B95E018A Time : 0.0 sec. user=mdettweiler [2016-06-20 09:05:36] 615*2^1432977-1 is not prime. Res64: 1A6EBE07B44C4E85 Time : 0.0 sec. user=mdettweiler [2016-06-20 09:36:02] 681*2^1432977-1 is not prime. Res64: 10164CDC0D1513FA Time : 0.0 sec. user=mdettweiler [2016-06-20 09:36:03] 685*2^1432977-1 is not prime. Res64: B008F868FB6FE535 Time : 0.0 sec. user=mdettweiler [2016-06-20 09:36:03] 727*2^1432977-1 is not prime. Res64: DCCEA2236D34458D Time : 0.0 sec. user=mdettweiler [2016-06-20 09:36:04] 735*2^1432977-1 is not prime. Res64: 7028A12E2DCDCB6F Time : 0.0 sec. user=mdettweiler [2016-06-20 09:36:04] 759*2^1432977-1 is not prime. Res64: 452C4698256FB7AD Time : 0.0 sec. user=mdettweiler [2016-06-20 09:36:07] 777*2^1432977-1 is not prime. Res64: 49F77BD034185AC9 Time : 0.0 sec. user=mdettweiler [2016-06-20 09:36:07] 819*2^1432977-1 is not prime. Res64: 3CF52B540A0229DD Time : 0.0 sec. user=mdettweiler [2016-06-20 09:36:07] 849*2^1432977-1 is not prime. Res64: 317341BB50F4450F Time : 0.0 sec. user=mdettweiler [2016-06-20 09:36:08] 663*2^1432978-1 is not prime. Res64: 1A7E278D4561033A Time : 0.0 sec. user=mdettweiler [2016-06-20 09:36:08] 687*2^1432978-1 is not prime. Res64: 0E0BD17CB021A58E Time : 0.0 sec. user=mdettweiler [2016-06-20 09:46:07] 713*2^1432978-1 is not prime. Res64: BAA84FF68E911AC7 Time : 0.0 sec. user=mdettweiler [2016-06-20 09:46:08] 803*2^1432978-1 is not prime. Res64: 3E20D6611D8127B1 Time : 0.0 sec. user=mdettweiler [2016-06-20 09:46:08] 941*2^1432978-1 is not prime. Res64: 58077AC7AC36A75E Time : 0.0 sec. user=mdettweiler [2016-06-20 09:46:08] 601*2^1432979-1 is not prime. Res64: ED779698CAED52C3 Time : 0.0 sec. user=mdettweiler [2016-06-20 09:46:09] 609*2^1432979-1 is not prime. Res64: 1E6B68DCEE7166BD Time : 0.0 sec. user=mdettweiler [2016-06-20 09:50:33] 741*2^1432979-1 is not prime. Res64: 7D650EC1909CD083 Time : 0.0 sec. user=mdettweiler [2016-06-20 09:50:33] 771*2^1432979-1 is not prime. Res64: D505A09D3BC99CC4 Time : 0.0 sec. user=mdettweiler [2016-06-20 09:50:33] 775*2^1432979-1 is not prime. Res64: 9E473093F78FEF74 Time : 0.0 sec. user=mdettweiler [2016-06-20 09:50:34] 885*2^1432979-1 is not prime. Res64: AD42173A1C5199A5 Time : 0.0 sec. user=mdettweiler [2016-06-20 09:50:34] 943*2^1432979-1 is not prime. Res64: A4C84B52F1ACABC1 Time : 0.0 sec. user=mdettweiler [2016-06-20 10:21:02] 923*2^1432980-1 is not prime. Res64: 721D84EFD9B4020B Time : 0.0 sec. user=mdettweiler [2016-06-20 10:21:02] 975*2^1432980-1 is not prime. Res64: 5F104887B70DE199 Time : 0.0 sec. user=mdettweiler [2016-06-20 10:21:03] 625*2^1432981-1 is not prime. Res64: AABD524FCA8ED94B Time : 0.0 sec. user=mdettweiler [2016-06-20 10:21:03] 895*2^1432981-1 is not prime. Res64: 7EECD0D91763796C Time : 0.0 sec. user=mdettweiler [2016-06-20 10:21:03] 961*2^1432981-1 is not prime. Res64: 27221BD2C1C3A778 Time : 0.0 sec. user=mdettweiler [2016-06-20 10:21:09] 999*2^1432979-1 is not prime. Res64: F58D73DFD15D2379 Time : 0.0 sec. user=mdettweiler [2016-06-20 10:21:10] 695*2^1432980-1 is not prime. Res64: 5012F220E081F8ED Time : 0.0 sec. user=mdettweiler [2016-06-20 10:21:10] 795*2^1432980-1 is not prime. Res64: 8233F3905D7B470C Time : 0.0 sec. user=mdettweiler [2016-06-20 10:21:10] 797*2^1432980-1 is not prime. Res64: 88AB3B25C33C2D0D Time : 0.0 sec. user=mdettweiler [2016-06-20 10:21:11] 819*2^1432980-1 is not prime. Res64: CB06FF53F9603377 Time : 0.0 sec. user=mdettweiler [2016-06-20 10:31:06] 711*2^1432982-1 is not prime. Res64: C85346407A3D0377 Time : 0.0 sec. user=mdettweiler [2016-06-20 10:31:06] 827*2^1432982-1 is not prime. Res64: 19B97AF4C73D547E Time : 0.0 sec. user=mdettweiler [2016-06-20 10:31:07] 941*2^1432982-1 is not prime. Res64: 95984B830771125F Time : 0.0 sec. user=mdettweiler [2016-06-20 10:31:07] 613*2^1432983-1 is not prime. Res64: E2700116E8434F40 Time : 0.0 sec. user=mdettweiler [2016-06-20 10:31:07] 691*2^1432983-1 is not prime. Res64: 9D745F78F71CAE55 Time : 0.0 sec. user=mdettweiler [2016-06-20 10:35:41] 723*2^1432983-1 is not prime. Res64: DF7F8AD0C10C08AC Time : 0.0 sec. user=mdettweiler [2016-06-20 10:35:42] 739*2^1432983-1 is not prime. Res64: D51B00680104CD16 Time : 0.0 sec. user=mdettweiler [2016-06-20 10:35:42] 853*2^1432983-1 is not prime. Res64: 75926C18589BF4B5 Time : 0.0 sec. user=mdettweiler [2016-06-20 10:35:42] 961*2^1432983-1 is not prime. Res64: A47B8A4AB88F50EA Time : 0.0 sec. user=mdettweiler [2016-06-20 10:35:43] 605*2^1432984-1 is not prime. Res64: 21F875959958AFCA Time : 0.0 sec. user=mdettweiler [2016-06-20 11:06:33] 723*2^1432984-1 is not prime. Res64: 8AB53700DF02C3E9 Time : 0.0 sec. user=mdettweiler [2016-06-20 11:06:33] 789*2^1432985-1 is not prime. Res64: F277418B85989F0A Time : 0.0 sec. user=mdettweiler [2016-06-20 11:06:35] 807*2^1432984-1 is not prime. Res64: 79BF8FCB59DFC90C Time : 0.0 sec. user=mdettweiler [2016-06-20 11:06:35] 867*2^1432985-1 is not prime. Res64: C5B2327093EADB34 Time : 0.0 sec. user=mdettweiler [2016-06-20 11:06:36] 927*2^1432984-1 is not prime. Res64: 6FC7434CBD8E74B6 Time : 0.0 sec. user=mdettweiler [2016-06-20 11:06:36] 871*2^1432985-1 is not prime. Res64: A121BBCC3153DEF2 Time : 0.0 sec. user=mdettweiler [2016-06-20 11:06:37] 989*2^1432984-1 is not prime. Res64: 7F955AA4801C1959 Time : 0.0 sec. user=mdettweiler [2016-06-20 11:06:38] 727*2^1432985-1 is not prime. Res64: D499B84B5033E766 Time : 0.0 sec. user=mdettweiler [2016-06-20 11:06:38] 627*2^1432986-1 is not prime. Res64: 0E6FFF4A798A865F Time : 0.0 sec. user=mdettweiler [2016-06-20 11:06:39] 683*2^1432986-1 is not prime. Res64: 106C07D3A247D16A Time : 0.0 sec. user=mdettweiler [2016-06-20 11:16:13] 705*2^1432986-1 is not prime. Res64: 65344E6E7D4FEAD9 Time : 0.0 sec. user=mdettweiler [2016-06-20 11:16:13] 741*2^1432986-1 is not prime. Res64: BFC220BEA6B15222 Time : 0.0 sec. user=mdettweiler [2016-06-20 11:16:14] 783*2^1432986-1 is not prime. Res64: 805434AB0834AC57 Time : 0.0 sec. user=mdettweiler [2016-06-20 11:16:14] 851*2^1432986-1 is not prime. Res64: B3B99AA7DDAF94C8 Time : 0.0 sec. user=mdettweiler [2016-06-20 11:16:14] 861*2^1432986-1 is not prime. Res64: A71DD77051BBE8D3 Time : 0.0 sec. user=mdettweiler [2016-06-20 11:21:02] 875*2^1432986-1 is not prime. Res64: ACFB0AD6A0E2D0C6 Time : 0.0 sec. user=mdettweiler [2016-06-20 11:21:02] 891*2^1432986-1 is not prime. Res64: 1F8FFFCA9D66CD4F Time : 0.0 sec. user=mdettweiler [2016-06-20 11:21:03] 941*2^1432986-1 is not prime. Res64: 1FEC693EDB1762C1 Time : 0.0 sec. user=mdettweiler [2016-06-20 11:21:03] 963*2^1432986-1 is not prime. Res64: 40580235A74BB97A Time : 0.0 sec. user=mdettweiler [2016-06-20 11:21:03] 735*2^1432987-1 is not prime. Res64: 6651215878A37F88 Time : 0.0 sec. user=mdettweiler [2016-06-20 11:51:38] 843*2^1432987-1 is not prime. Res64: 459D4D9574704015 Time : 0.0 sec. user=mdettweiler [2016-06-20 11:51:39] 919*2^1432987-1 is not prime. Res64: FACEA1E24784ED2D Time : 0.0 sec. user=mdettweiler [2016-06-20 11:51:39] 945*2^1432987-1 is not prime. Res64: BA6B5FAE9D6A5270 Time : 0.0 sec. user=mdettweiler [2016-06-20 11:51:39] 985*2^1432987-1 is not prime. Res64: B453D84E6DC7DF59 Time : 0.0 sec. user=mdettweiler [2016-06-20 11:51:40] 993*2^1432987-1 is not prime. Res64: 0D37DB30356C8372 Time : 0.0 sec. user=mdettweiler [2016-06-20 11:51:42] 635*2^1432988-1 is not prime. Res64: 21EF4364C5BB3AD5 Time : 0.0 sec. user=mdettweiler [2016-06-20 11:51:43] 773*2^1432988-1 is not prime. Res64: C2DE3261BB7BEBCA Time : 0.0 sec. user=mdettweiler [2016-06-20 11:51:43] 855*2^1432988-1 is not prime. Res64: C399956E8B3FDA1C Time : 0.0 sec. user=mdettweiler [2016-06-20 11:51:44] 869*2^1432988-1 is not prime. Res64: ADC1E880C68D25E0 Time : 0.0 sec. user=mdettweiler [2016-06-20 11:51:44] 969*2^1432988-1 is not prime. Res64: C650C815107B9BEA Time : 0.0 sec. user=mdettweiler [2016-06-20 12:01:23] 999*2^1432988-1 is not prime. Res64: 891BEF6C5EACEFA6 Time : 0.0 sec. user=mdettweiler [2016-06-20 12:01:24] 649*2^1432989-1 is not prime. Res64: 5716968F56402730 Time : 0.0 sec. user=mdettweiler [2016-06-20 12:01:25] 817*2^1432989-1 is not prime. Res64: 8E5DE4B9DE537BB1 Time : 0.0 sec. user=mdettweiler [2016-06-20 12:01:26] 867*2^1432989-1 is not prime. Res64: 3AFD5172D398FAFE Time : 0.0 sec. user=mdettweiler [2016-06-20 12:01:26] 885*2^1432989-1 is not prime. Res64: 4D8BCC45CA9BF71C Time : 0.0 sec. user=mdettweiler [2016-06-20 12:05:45] 921*2^1432989-1 is not prime. Res64: 95280B28D70E42F0 Time : 0.0 sec. user=mdettweiler [2016-06-20 12:05:47] 961*2^1432989-1 is not prime. Res64: 7F845653FB9E3661 Time : 0.0 sec. user=mdettweiler [2016-06-20 12:05:48] 969*2^1432989-1 is not prime. Res64: E7BD3EF712AFD6FC Time : 0.0 sec. user=mdettweiler [2016-06-20 12:05:49] 681*2^1432990-1 is not prime. Res64: 6B347A9F19ABFD28 Time : 0.0 sec. user=mdettweiler [2016-06-20 12:05:50] 723*2^1432990-1 is not prime. Res64: DD53E590806F7E16 Time : 0.0 sec. user=mdettweiler [2016-06-20 12:36:30] 865*2^1432991-1 is not prime. Res64: 41C49D2BEF1C8098 Time : 0.0 sec. user=mdettweiler [2016-06-20 12:36:31] 921*2^1432991-1 is not prime. Res64: 4B7E8A9F3D137EFB Time : 0.0 sec. user=mdettweiler [2016-06-20 12:36:31] 629*2^1432992-1 is not prime. Res64: 77893D1BFDFCA723 Time : 0.0 sec. user=mdettweiler [2016-06-20 12:36:32] 675*2^1432992-1 is not prime. Res64: D8AD13400A54A557 Time : 0.0 sec. user=mdettweiler [2016-06-20 12:36:32] 803*2^1432992-1 is not prime. Res64: 4A04EC76B7A8CF4C Time : 0.0 sec. user=mdettweiler [2016-06-20 12:36:42] 755*2^1432990-1 is not prime. Res64: BD47037CCEC74888 Time : 0.0 sec. user=mdettweiler [2016-06-20 12:36:43] 785*2^1432990-1 is not prime. Res64: 8392F4DCF2CFCEB9 Time : 0.0 sec. user=mdettweiler [2016-06-20 12:36:43] 857*2^1432990-1 is not prime. Res64: C843DADC1C09C05A Time : 0.0 sec. user=mdettweiler [2016-06-20 12:36:43] 887*2^1432990-1 is not prime. Res64: FC552697B130AD44 Time : 0.0 sec. user=mdettweiler [2016-06-20 12:36:44] 819*2^1432991-1 is not prime. Res64: 1E9105DE85E775D2 Time : 0.0 sec. user=mdettweiler [2016-06-20 12:46:25] 809*2^1432992-1 is not prime. Res64: C4E984C62EC4E85B Time : 0.0 sec. user=mdettweiler [2016-06-20 12:46:26] 825*2^1432992-1 is not prime. Res64: 9C0A47D3D873B467 Time : 0.0 sec. user=mdettweiler [2016-06-20 12:46:26] 849*2^1432992-1 is not prime. Res64: CF4CD1CDD3928707 Time : 0.0 sec. user=mdettweiler [2016-06-20 12:46:26] 915*2^1432992-1 is not prime. Res64: A77B7CDF2F4FE1BE Time : 0.0 sec. user=mdettweiler [2016-06-20 12:46:27] 945*2^1432992-1 is not prime. Res64: C5B7C608C6A55DD7 Time : 0.0 sec. user=mdettweiler [2016-06-20 12:50:57] 999*2^1432992-1 is not prime. Res64: 0EBE22E973AFC09F Time : 0.0 sec. user=mdettweiler [2016-06-20 12:50:57] 607*2^1432993-1 is not prime. Res64: B8C49B172082327A Time : 0.0 sec. user=mdettweiler [2016-06-20 12:50:58] 741*2^1432993-1 is not prime. Res64: C89216DC25FE3FFD Time : 0.0 sec. user=mdettweiler [2016-06-20 12:50:58] 789*2^1432993-1 is not prime. Res64: E13F872D0995CC46 Time : 0.0 sec. user=mdettweiler [2016-06-20 12:50:58] 807*2^1432993-1 is not prime. Res64: DC091E77C4C93B8E Time : 0.0 sec. user=mdettweiler [2016-06-20 13:21:39] 861*2^1432993-1 is not prime. Res64: AB3AB31BBDA8DF8E Time : 0.0 sec. user=mdettweiler [2016-06-20 13:21:39] 671*2^1432994-1 is not prime. Res64: D6AF8F2DAB859240 Time : 0.0 sec. user=mdettweiler [2016-06-20 13:21:40] 683*2^1432994-1 is not prime. Res64: 2D96ADB00FDF5E38 Time : 0.0 sec. user=mdettweiler [2016-06-20 13:21:40] 701*2^1432994-1 is not prime. Res64: 3478C1DB04B280BE Time : 0.0 sec. user=mdettweiler [2016-06-20 13:21:40] 743*2^1432994-1 is not prime. Res64: 79A96841A22D3485 Time : 0.0 sec. user=mdettweiler [2016-06-20 13:21:46] 921*2^1432994-1 is not prime. Res64: C8300FBF7F92EF79 Time : 0.0 sec. user=mdettweiler [2016-06-20 13:21:47] 951*2^1432994-1 is not prime. Res64: 0959AA3C9C3A1273 Time : 0.0 sec. user=mdettweiler [2016-06-20 13:21:47] 987*2^1432994-1 is not prime. Res64: CFCD633E712EF4F0 Time : 0.0 sec. user=mdettweiler [2016-06-20 13:21:48] 663*2^1432995-1 is not prime. Res64: D0C4F8EC1364D0DF Time : 0.0 sec. user=mdettweiler [2016-06-20 13:21:48] 735*2^1432995-1 is not prime. Res64: 800ABD791A2EDC0D Time : 0.0 sec. user=mdettweiler [2016-06-20 13:31:32] 801*2^1432995-1 is not prime. Res64: DCC370D5B921771B Time : 0.0 sec. user=mdettweiler [2016-06-20 13:31:32] 909*2^1432995-1 is not prime. Res64: 9B348CC212E439D5 Time : 0.0 sec. user=mdettweiler [2016-06-20 13:31:33] 955*2^1432995-1 is not prime. Res64: 445E39CC1E02786E Time : 0.0 sec. user=mdettweiler [2016-06-20 13:31:33] 961*2^1432995-1 is not prime. Res64: 22A0C7ADA6190E70 Time : 0.0 sec. user=mdettweiler [2016-06-20 13:31:34] 629*2^1432996-1 is not prime. Res64: 96FDF15402FD225E Time : 0.0 sec. user=mdettweiler [2016-06-20 13:35:58] 969*2^1432996-1 is not prime. Res64: 6ADFE72A4E228BCD Time : 0.0 sec. user=mdettweiler [2016-06-20 13:35:58] 975*2^1432996-1 is not prime. Res64: 4DF10DAF7CE59A2A Time : 0.0 sec. user=mdettweiler [2016-06-20 13:35:59] 621*2^1432997-1 is not prime. Res64: E57AE813ADD164E9 Time : 0.0 sec. user=mdettweiler [2016-06-20 13:35:59] 631*2^1432997-1 is not prime. Res64: 872F544443244450 Time : 0.0 sec. user=mdettweiler [2016-06-20 13:35:59] 757*2^1432997-1 is not prime. Res64: FC3CF58F735E5727 Time : 0.0 sec. user=mdettweiler [2016-06-20 14:07:57] 759*2^1432997-1 is not prime. Res64: 3B699A82B7885F04 Time : 0.0 sec. user=mdettweiler [2016-06-20 14:07:57] 771*2^1432997-1 is not prime. Res64: 0C7984BA56C9D2DA Time : 0.0 sec. user=mdettweiler [2016-06-20 14:07:58] 799*2^1432997-1 is not prime. Res64: DA032840701E0BDB Time : 0.0 sec. user=mdettweiler [2016-06-20 14:07:58] 801*2^1432997-1 is not prime. Res64: 22DE8C26F916F0A7 Time : 0.0 sec. user=mdettweiler [2016-06-20 14:07:58] 879*2^1432997-1 is not prime. Res64: D47AD560AAD6C63E Time : 0.0 sec. user=mdettweiler [2016-06-20 14:08:01] 773*2^1432998-1 is not prime. Res64: BC4B037CCECD3C75 Time : 0.0 sec. user=mdettweiler [2016-06-20 14:08:02] 885*2^1432998-1 is not prime. Res64: F454633039D240F6 Time : 0.0 sec. user=mdettweiler [2016-06-20 14:08:02] 923*2^1432998-1 is not prime. Res64: 819B4D96500D4CE6 Time : 0.0 sec. user=mdettweiler [2016-06-20 14:08:03] 693*2^1432999-1 is not prime. Res64: 83E4BA7D0BD78109 Time : 0.0 sec. user=mdettweiler [2016-06-20 14:08:03] 741*2^1432999-1 is not prime. Res64: AD8A800FFBAB0B55 Time : 0.0 sec. user=mdettweiler [2016-06-20 14:18:15] 771*2^1432999-1 is not prime. Res64: 8D17A5119095B8B7 Time : 0.0 sec. user=mdettweiler [2016-06-20 14:18:16] 891*2^1432999-1 is not prime. Res64: 0B03039FC607B67F Time : 0.0 sec. user=mdettweiler [2016-06-20 14:18:16] 931*2^1432999-1 is not prime. Res64: C5CB3265A8BCA039 Time : 0.0 sec. user=mdettweiler [2016-06-20 14:18:17] 939*2^1432999-1 is not prime. Res64: 7208127E125671D5 Time : 0.0 sec. user=mdettweiler [2016-06-20 14:18:17] 951*2^1432999-1 is not prime. Res64: C61BDD8F0A44AD7B Time : 0.0 sec. user=mdettweiler [2016-06-20 14:22:25] 973*2^1432999-1 is not prime. Res64: 2C8704B236AD20E6 Time : 0.0 sec. user=mdettweiler [2016-06-20 14:22:25] 999*2^1432999-1 is not prime. Res64: 0AFB546F8A9232E1 Time : 0.0 sec. user=mdettweiler [2016-06-20 14:22:26] 959*2^1433000-1 is not prime. Res64: 0C9A9525AAFAC5E3 Time : 0.0 sec. user=mdettweiler [2016-06-20 14:22:26] 727*2^1433001-1 is not prime. Res64: B4174345221B306A Time : 0.0 sec. user=mdettweiler [2016-06-20 14:22:26] 741*2^1433001-1 is not prime. Res64: 77CEC0B260470EF3 Time : 0.0 sec. user=mdettweiler [2016-06-20 14:54:20] 765*2^1433002-1 is not prime. Res64: EC96DDF1F11C3BE3 Time : 0.0 sec. user=mdettweiler [2016-06-20 14:54:21] 815*2^1433002-1 is not prime. Res64: F8B182DF65E053D3 Time : 0.0 sec. user=mdettweiler [2016-06-20 14:54:21] 825*2^1433002-1 is not prime. Res64: 1E7D421CEEAFC416 Time : 0.0 sec. user=mdettweiler [2016-06-20 14:54:22] 675*2^1433003-1 is not prime. Res64: 3ADA5D5103C678A7 Time : 0.0 sec. user=mdettweiler [2016-06-20 14:54:22] 705*2^1433003-1 is not prime. Res64: 891B02482FB45AFB Time : 0.0 sec. user=mdettweiler [2016-06-20 14:54:29] 871*2^1433001-1 is not prime. Res64: C49F7B9EABD56E5F Time : 0.0 sec. user=mdettweiler [2016-06-20 14:54:29] 979*2^1433001-1 is not prime. Res64: 5A0FE96F7DA58CD8 Time : 0.0 sec. user=mdettweiler [2016-06-20 14:54:30] 999*2^1433001-1 is not prime. Res64: A994F44B2BC5A0C7 Time : 0.0 sec. user=mdettweiler [2016-06-20 14:54:30] 603*2^1433002-1 is not prime. Res64: D77C362380D6BECD Time : 0.0 sec. user=mdettweiler [2016-06-20 14:54:30] 731*2^1433002-1 is not prime. Res64: FCDA6059579E8054 Time : 0.0 sec. user=mdettweiler [2016-06-20 15:04:17] 781*2^1433003-1 is not prime. Res64: 46DF2F7063C32CAB Time : 0.0 sec. user=mdettweiler [2016-06-20 15:04:19] 811*2^1433003-1 is not prime. Res64: C606C91E6BE39F95 Time : 0.0 sec. user=mdettweiler [2016-06-20 15:04:20] 823*2^1433003-1 is not prime. Res64: 77DF134037CC6FB9 Time : 0.0 sec. user=mdettweiler [2016-06-20 15:04:21] 913*2^1433003-1 is not prime. Res64: 1E7FDE7F46C34932 Time : 0.0 sec. user=mdettweiler [2016-06-20 15:04:22] 949*2^1433003-1 is not prime. Res64: 372666B12F831723 Time : 0.0 sec. user=mdettweiler [2016-06-20 15:08:10] 635*2^1433004-1 is not prime. Res64: C0EE8393165844E8 Time : 0.0 sec. user=mdettweiler [2016-06-20 15:08:11] 683*2^1433004-1 is not prime. Res64: FD264F558E34A7CC Time : 0.0 sec. user=mdettweiler [2016-06-20 15:08:12] 795*2^1433004-1 is not prime. Res64: A334C256151598F4 Time : 0.0 sec. user=mdettweiler [2016-06-20 15:08:13] 959*2^1433004-1 is not prime. Res64: 38519572CE40F9F4 Time : 0.0 sec. user=mdettweiler [2016-06-20 15:08:14] 717*2^1433005-1 is not prime. Res64: 94949E94A7EFD2BB Time : 0.0 sec. user=mdettweiler [2016-06-20 15:39:19] 771*2^1433005-1 is not prime. Res64: 24A65E0A6AB8E3EE Time : 0.0 sec. user=mdettweiler [2016-06-20 15:39:19] 951*2^1433005-1 is not prime. Res64: 5405D9ADC91E08E5 Time : 0.0 sec. user=mdettweiler [2016-06-20 15:39:19] 603*2^1433006-1 is not prime. Res64: 23CCC4FEA0D8A214 Time : 0.0 sec. user=mdettweiler [2016-06-20 15:39:20] 911*2^1433006-1 is not prime. Res64: 5BF4D73EA2E5C15E Time : 0.0 sec. user=mdettweiler [2016-06-20 15:39:20] 609*2^1433007-1 is not prime. Res64: E9BE2F61998A5167 Time : 0.0 sec. user=mdettweiler [2016-06-20 15:39:27] 625*2^1433007-1 is not prime. Res64: D11F9C48147B2929 Time : 0.0 sec. user=mdettweiler [2016-06-20 15:39:28] 891*2^1433007-1 is not prime. Res64: FE54CACE0F5EFE8C Time : 0.0 sec. user=mdettweiler [2016-06-20 15:39:28] 973*2^1433007-1 is not prime. Res64: 1443CDC14532E825 Time : 0.0 sec. user=mdettweiler [2016-06-20 15:39:29] 991*2^1433007-1 is not prime. Res64: 6B94E6D6C739030C Time : 0.0 sec. user=mdettweiler [2016-06-20 15:39:29] 623*2^1433008-1 is not prime. Res64: C2A146AD9333F9F0 Time : 0.0 sec. user=mdettweiler [2016-06-20 15:49:23] 699*2^1433008-1 is not prime. Res64: F071DC3B6B2601D9 Time : 0.0 sec. user=mdettweiler [2016-06-20 15:49:23] 743*2^1433008-1 is not prime. Res64: C533B218ACC5C82A Time : 0.0 sec. user=mdettweiler [2016-06-20 15:49:24] 803*2^1433008-1 is not prime. Res64: 656A85298A8582FD Time : 0.0 sec. user=mdettweiler [2016-06-20 15:49:24] 819*2^1433008-1 is not prime. Res64: 71714A412C771F97 Time : 0.0 sec. user=mdettweiler [2016-06-20 15:49:24] 887*2^1433008-1 is not prime. Res64: 644F003DADAF3A2D Time : 0.0 sec. user=mdettweiler [2016-06-20 15:53:16] 735*2^1433009-1 is not prime. Res64: D451727E956ECA39 Time : 0.0 sec. user=mdettweiler [2016-06-20 15:53:17] 695*2^1433010-1 is not prime. Res64: 7782F8C3D12A775E Time : 0.0 sec. user=mdettweiler [2016-06-20 15:53:17] 717*2^1433010-1 is not prime. Res64: 2B2DE65A8C177B0B Time : 0.0 sec. user=mdettweiler [2016-06-20 15:53:17] 755*2^1433010-1 is not prime. Res64: A0BF63DE79BE86D7 Time : 0.0 sec. user=mdettweiler [2016-06-20 15:53:18] 783*2^1433010-1 is not prime. Res64: AB1B23A863FB4BDD Time : 0.0 sec. user=mdettweiler [2016-06-20 16:24:16] 905*2^1433010-1 is not prime. Res64: 67E8CB58938710C9 Time : 0.0 sec. user=mdettweiler [2016-06-20 16:24:16] 601*2^1433011-1 is not prime. Res64: 575E2CD2F300DE28 Time : 0.0 sec. user=mdettweiler [2016-06-20 16:24:17] 769*2^1433011-1 is not prime. Res64: 0DA343259DF5D9F8 Time : 0.0 sec. user=mdettweiler [2016-06-20 16:24:17] 789*2^1433011-1 is not prime. Res64: 3BC0C4A0B2C0524A Time : 0.0 sec. user=mdettweiler [2016-06-20 16:24:17] 873*2^1433011-1 is not prime. Res64: D93C3DEB333088F3 Time : 0.0 sec. user=mdettweiler [2016-06-20 16:24:22] 699*2^1433012-1 is not prime. Res64: 0F2E49E57EA0E484 Time : 0.0 sec. user=mdettweiler [2016-06-20 16:24:23] 743*2^1433012-1 is not prime. Res64: 8E5C96CF37E84C13 Time : 0.0 sec. user=mdettweiler [2016-06-20 16:24:23] 903*2^1433012-1 is not prime. Res64: 80CBA61C6CD3777E Time : 0.0 sec. user=mdettweiler [2016-06-20 16:24:24] 923*2^1433012-1 is not prime. Res64: 860DA772D1B84FAC Time : 0.0 sec. user=mdettweiler [2016-06-20 16:24:24] 963*2^1433012-1 is not prime. Res64: A28DB37C992D8B69 Time : 0.0 sec. user=mdettweiler [2016-06-20 16:34:20] 977*2^1433012-1 is not prime. Res64: 33E95B77E4D8D9D2 Time : 0.0 sec. user=mdettweiler [2016-06-20 16:34:20] 657*2^1433013-1 is not prime. Res64: 08D27CB7E754B582 Time : 0.0 sec. user=mdettweiler [2016-06-20 16:34:21] 781*2^1433013-1 is not prime. Res64: 6F99DF088FB0C8D8 Time : 0.0 sec. user=mdettweiler [2016-06-20 16:34:21] 969*2^1433013-1 is not prime. Res64: CD7A310DE8D0F57C Time : 0.0 sec. user=mdettweiler [2016-06-20 16:34:22] 999*2^1433013-1 is not prime. Res64: D1A2B84A5EE8590A Time : 0.0 sec. user=mdettweiler [2016-06-20 16:38:20] 657*2^1433014-1 is not prime. Res64: DFEA9A60A72C61D2 Time : 0.0 sec. user=mdettweiler [2016-06-20 16:38:20] 677*2^1433014-1 is not prime. Res64: B8DC3C8F13B1DF05 Time : 0.0 sec. user=mdettweiler [2016-06-20 16:38:20] 741*2^1433014-1 is not prime. Res64: 964B5CC691B73FD1 Time : 0.0 sec. user=mdettweiler [2016-06-20 16:38:21] 655*2^1433015-1 is not prime. Res64: AD1F21566D88BEFC Time : 0.0 sec. user=mdettweiler [2016-06-20 16:38:21] 735*2^1433015-1 is not prime. Res64: 0669FAA9764F3F31 Time : 0.0 sec. user=mdettweiler [2016-06-20 17:09:16] 859*2^1433015-1 is not prime. Res64: 101444F91FA2F23E Time : 0.0 sec. user=mdettweiler [2016-06-20 17:09:17] 865*2^1433015-1 is not prime. Res64: 0210CBF6BEB33C53 Time : 0.0 sec. user=mdettweiler [2016-06-20 17:09:19] 969*2^1433015-1 is not prime. Res64: 5B53DC1D6AEA8283 Time : 0.0 sec. user=mdettweiler [2016-06-20 17:09:19] 979*2^1433015-1 is not prime. Res64: C374C1B0BE68E2FF Time : 0.0 sec. user=mdettweiler [2016-06-20 17:09:20] 991*2^1433015-1 is not prime. Res64: 961AFE6E98BBF492 Time : 0.0 sec. user=mdettweiler [2016-06-20 17:09:32] 695*2^1433016-1 is not prime. Res64: AC5F726EBA1AEC17 Time : 0.0 sec. user=mdettweiler [2016-06-20 17:09:32] 699*2^1433016-1 is not prime. Res64: 25CFB0E2C714E1EF Time : 0.0 sec. user=mdettweiler [2016-06-20 17:09:32] 725*2^1433016-1 is not prime. Res64: CE0F12861995DE71 Time : 0.0 sec. user=mdettweiler [2016-06-20 17:09:33] 777*2^1433016-1 is not prime. Res64: 69878E071ED47F2B Time : 0.0 sec. user=mdettweiler [2016-06-20 17:09:33] 923*2^1433016-1 is not prime. Res64: 2D345B92D4FE1EAC Time : 0.0 sec. user=mdettweiler [2016-06-20 17:19:26] 741*2^1433017-1 is not prime. Res64: 159F06C0A641D2C5 Time : 0.0 sec. user=mdettweiler [2016-06-20 17:19:27] 871*2^1433017-1 is not prime. Res64: 492146051EFCA6C1 Time : 0.0 sec. user=mdettweiler [2016-06-20 17:19:27] 939*2^1433017-1 is not prime. Res64: 84CEAA35FAD7EA34 Time : 0.0 sec. user=mdettweiler [2016-06-20 17:19:28] 633*2^1433018-1 is not prime. Res64: 6B63B2430D696C7A Time : 0.0 sec. user=mdettweiler [2016-06-20 17:19:28] 645*2^1433018-1 is not prime. Res64: 77DA253CA3063127 Time : 0.0 sec. user=mdettweiler [2016-06-20 17:23:21] 665*2^1433018-1 is not prime. Res64: 2E8534BF9791A0D7 Time : 0.0 sec. user=mdettweiler [2016-06-20 17:23:21] 773*2^1433018-1 is not prime. Res64: 626A21AC96D5C5B3 Time : 0.0 sec. user=mdettweiler [2016-06-20 17:23:22] 801*2^1433018-1 is not prime. Res64: 4517D35206BE77B3 Time : 0.0 sec. user=mdettweiler [2016-06-20 17:23:22] 813*2^1433018-1 is not prime. Res64: 95046C794A4C6ED9 Time : 0.0 sec. user=mdettweiler [2016-06-20 17:23:22] 867*2^1433018-1 is not prime. Res64: F45C02AFDC6999B1 Time : 0.0 sec. user=mdettweiler [2016-06-20 17:54:25] 893*2^1433018-1 is not prime. Res64: C54325744001E0E9 Time : 0.0 sec. user=mdettweiler [2016-06-20 17:54:25] 921*2^1433018-1 is not prime. Res64: 7686C06F6CDE62EF Time : 0.0 sec. user=mdettweiler [2016-06-20 17:54:26] 609*2^1433019-1 is not prime. Res64: 789F599F9187E3E7 Time : 0.0 sec. user=mdettweiler [2016-06-20 17:54:26] 853*2^1433019-1 is not prime. Res64: B797EE704E0E3C05 Time : 0.0 sec. user=mdettweiler [2016-06-20 17:54:26] 861*2^1433019-1 is not prime. Res64: 9EA0068CDB1FD708 Time : 0.0 sec. user=mdettweiler [2016-06-20 17:54:30] 991*2^1433019-1 is not prime. Res64: F7CD0B0FC7BA2FBC Time : 0.0 sec. user=mdettweiler [2016-06-20 17:54:30] 695*2^1433020-1 is not prime. Res64: 299F4249BCA786F5 Time : 0.0 sec. user=mdettweiler [2016-06-20 17:54:30] 783*2^1433020-1 is not prime. Res64: 58D399AFB3A07EC2 Time : 0.0 sec. user=mdettweiler [2016-06-20 17:54:31] 863*2^1433020-1 is not prime. Res64: 087A294016C776E6 Time : 0.0 sec. user=mdettweiler [2016-06-20 17:54:31] 875*2^1433020-1 is not prime. Res64: 9DF0BABD984768D4 Time : 0.0 sec. user=mdettweiler [2016-06-20 18:04:34] 923*2^1433020-1 is not prime. Res64: 4E7002756D853065 Time : 0.0 sec. user=mdettweiler [2016-06-20 18:04:35] 927*2^1433020-1 is not prime. Res64: 963C9E125D9FE56A Time : 0.0 sec. user=mdettweiler [2016-06-20 18:04:37] 989*2^1433020-1 is not prime. Res64: F00EAD2763FB41E4 Time : 0.0 sec. user=mdettweiler [2016-06-20 18:04:39] 607*2^1433021-1 is not prime. Res64: A7BFC995F9FF814D Time : 0.0 sec. user=mdettweiler [2016-06-20 18:04:40] 631*2^1433021-1 is not prime. Res64: D53681559388EDB2 Time : 0.0 sec. user=mdettweiler [2016-06-20 18:08:17] 697*2^1433021-1 is not prime. Res64: 6E334DB8950020CF Time : 0.0 sec. user=mdettweiler [2016-06-20 18:08:18] 769*2^1433021-1 is not prime. Res64: 1C66DC8555E1A484 Time : 0.0 sec. user=mdettweiler [2016-06-20 18:08:19] 825*2^1433021-1 is not prime. Res64: 89132935D9A7D838 Time : 0.0 sec. user=mdettweiler [2016-06-20 18:08:19] 859*2^1433021-1 is not prime. Res64: 89AF426F20BE44E6 Time : 0.0 sec. user=mdettweiler [2016-06-20 18:08:20] 885*2^1433021-1 is not prime. Res64: 1253F02A69435042 Time : 0.0 sec. user=mdettweiler [2016-06-20 18:39:20] 955*2^1433021-1 is not prime. Res64: 37A0E5EDAE457E49 Time : 0.0 sec. user=mdettweiler [2016-06-20 18:39:21] 705*2^1433022-1 is not prime. Res64: C3C7E2E31849500B Time : 0.0 sec. user=mdettweiler [2016-06-20 18:39:21] 777*2^1433022-1 is not prime. Res64: 0DDB1FEA14B4A931 Time : 0.0 sec. user=mdettweiler [2016-06-20 18:39:21] 903*2^1433022-1 is not prime. Res64: A56B2878DD6839C5 Time : 0.0 sec. user=mdettweiler [2016-06-20 18:39:22] 963*2^1433022-1 is not prime. Res64: 5FFBEFB02AC162BD Time : 0.0 sec. user=mdettweiler [2016-06-20 18:39:27] 883*2^1433023-1 is not prime. Res64: 40E672C2D5E89097 Time : 0.0 sec. user=mdettweiler [2016-06-20 18:39:28] 913*2^1433023-1 is not prime. Res64: 14097111EFC2908D Time : 0.0 sec. user=mdettweiler [2016-06-20 18:39:28] 943*2^1433023-1 is not prime. Res64: B6BFD801CBDE3A69 Time : 0.0 sec. user=mdettweiler [2016-06-20 18:39:28] 973*2^1433023-1 is not prime. Res64: EBF92BF56E74A0B6 Time : 0.0 sec. user=mdettweiler [2016-06-20 18:39:29] 665*2^1433024-1 is not prime. Res64: D999C66170BADEF5 Time : 0.0 sec. user=mdettweiler [2016-06-20 18:50:02] 915*2^1433024-1 is not prime. Res64: 708AE4F621244A76 Time : 0.0 sec. user=mdettweiler [2016-06-20 18:50:02] 923*2^1433024-1 is not prime. Res64: 317510D4ED887030 Time : 0.0 sec. user=mdettweiler [2016-06-20 18:50:03] 959*2^1433024-1 is not prime. Res64: B9AF9006AB1B22CF Time : 0.0 sec. user=mdettweiler [2016-06-20 18:50:03] 627*2^1433025-1 is not prime. Res64: E2166E52A869E320 Time : 0.0 sec. user=mdettweiler [2016-06-20 18:50:03] 699*2^1433025-1 is not prime. Res64: E0B7F45D3726418F Time : 0.0 sec. user=mdettweiler [2016-06-20 18:53:34] 895*2^1433025-1 is not prime. Res64: BFA05FD6FFFD13D8 Time : 0.0 sec. user=mdettweiler [2016-06-20 18:53:34] 985*2^1433025-1 is not prime. Res64: EBE559987C3D0F35 Time : 0.0 sec. user=mdettweiler [2016-06-20 18:53:34] 663*2^1433026-1 is not prime. Res64: 9E768022879D6E46 Time : 0.0 sec. user=mdettweiler [2016-06-20 18:53:35] 701*2^1433026-1 is not prime. Res64: 7C3657DC1D8380D3 Time : 0.0 sec. user=mdettweiler [2016-06-20 18:53:35] 825*2^1433026-1 is not prime. Res64: C489DC97A5D4758F Time : 0.0 sec. user=mdettweiler [2016-06-20 19:25:00] 987*2^1433026-1 is not prime. Res64: 13C9F726ABBEDB5A Time : 0.0 sec. user=mdettweiler [2016-06-20 19:25:00] 615*2^1433027-1 is not prime. Res64: 138CD1FE3EF560FA Time : 0.0 sec. user=mdettweiler [2016-06-20 19:25:01] 711*2^1433027-1 is not prime. Res64: 2C5C454C23BD2F9F Time : 0.0 sec. user=mdettweiler [2016-06-20 19:25:01] 843*2^1433027-1 is not prime. Res64: CFBE68392F71C7ED Time : 0.0 sec. user=mdettweiler [2016-06-20 19:25:01] 663*2^1433028-1 is not prime. Res64: 7380D3A68B3170A2 Time : 0.0 sec. user=mdettweiler [2016-06-20 19:25:09] 669*2^1433028-1 is not prime. Res64: 1789289413ECFECE Time : 0.0 sec. user=mdettweiler [2016-06-20 19:25:09] 707*2^1433028-1 is not prime. Res64: 84B24370CD25127B Time : 0.0 sec. user=mdettweiler [2016-06-20 19:25:09] 773*2^1433028-1 is not prime. Res64: F18B0F5509D43B05 Time : 0.0 sec. user=mdettweiler [2016-06-20 19:25:10] 795*2^1433028-1 is not prime. Res64: 80CE1A5CBEDE0453 Time : 0.0 sec. user=mdettweiler [2016-06-20 19:25:10] 905*2^1433028-1 is not prime. Res64: 6CE13D84B0093B1E Time : 0.0 sec. user=mdettweiler [2016-06-20 19:36:07] 687*2^1433029-1 is not prime. Res64: 1D610B1913E6B697 Time : 0.0 sec. user=mdettweiler [2016-06-20 19:36:08] 789*2^1433029-1 is not prime. Res64: 22E92E1C8338390C Time : 0.0 sec. user=mdettweiler [2016-06-20 19:36:08] 799*2^1433029-1 is not prime. Res64: 0239070AE1812ABD Time : 0.0 sec. user=mdettweiler [2016-06-20 19:36:08] 817*2^1433029-1 is not prime. Res64: 9B25E3FCE6199ACC Time : 0.0 sec. user=mdettweiler [2016-06-20 19:36:08] 877*2^1433029-1 is not prime. Res64: E748CA060ACCBA02 Time : 0.0 sec. user=mdettweiler [2016-06-20 19:39:49] 957*2^1433029-1 is not prime. Res64: 11FAA606B5F52A35 Time : 0.0 sec. user=mdettweiler [2016-06-20 19:39:49] 641*2^1433030-1 is not prime. Res64: 625507603EEA132F Time : 0.0 sec. user=mdettweiler [2016-06-20 19:39:49] 663*2^1433030-1 is not prime. Res64: B73A78397266A1EA Time : 0.0 sec. user=mdettweiler [2016-06-20 19:39:49] 753*2^1433030-1 is not prime. Res64: 4767251317AC1698 Time : 0.0 sec. user=mdettweiler [2016-06-20 19:39:50] 921*2^1433030-1 is not prime. Res64: 8DA9817B8F3B9678 Time : 0.0 sec. user=mdettweiler [2016-06-20 20:10:52] 601*2^1433031-1 is not prime. Res64: AB4183F57581ADD5 Time : 0.0 sec. user=mdettweiler [2016-06-20 20:10:52] 735*2^1433031-1 is not prime. Res64: F894411A2A2099CF Time : 0.0 sec. user=mdettweiler [2016-06-20 20:10:53] 783*2^1433031-1 is not prime. Res64: 638C7EAD401C53E0 Time : 0.0 sec. user=mdettweiler [2016-06-20 20:10:53] 865*2^1433031-1 is not prime. Res64: FFF51624142899D6 Time : 0.0 sec. user=mdettweiler [2016-06-20 20:10:54] 945*2^1433031-1 is not prime. Res64: FC7CF7BD8B8D67A6 Time : 0.0 sec. user=mdettweiler [2016-06-20 20:11:12] 629*2^1433032-1 is not prime. Res64: 422E650F87D76D52 Time : 0.0 sec. user=mdettweiler [2016-06-20 20:11:13] 635*2^1433032-1 is not prime. Res64: CAEAD87CB200E467 Time : 0.0 sec. user=mdettweiler [2016-06-20 20:11:13] 645*2^1433032-1 is not prime. Res64: FB921F40D0DD90A9 Time : 0.0 sec. user=mdettweiler [2016-06-20 20:11:13] 705*2^1433032-1 is not prime. Res64: 6514FD210104617B Time : 0.0 sec. user=mdettweiler [2016-06-20 20:11:14] 735*2^1433032-1 is not prime. Res64: 1DDFF6CA40168819 Time : 0.0 sec. user=mdettweiler [2016-06-20 20:21:34] 827*2^1433032-1 is not prime. Res64: 58F17C72BC02A35F Time : 0.0 sec. user=mdettweiler [2016-06-20 20:21:34] 873*2^1433032-1 is not prime. Res64: E439EF6F975A843D Time : 0.0 sec. user=mdettweiler [2016-06-20 20:21:35] 607*2^1433033-1 is not prime. Res64: 87E00235BA107DAF Time : 0.0 sec. user=mdettweiler [2016-06-20 20:21:35] 771*2^1433033-1 is not prime. Res64: E3BF81294DB94587 Time : 0.0 sec. user=mdettweiler [2016-06-20 20:21:36] 985*2^1433033-1 is not prime. Res64: 2B1AD6CDBF706B91 Time : 0.0 sec. user=mdettweiler [2016-06-20 20:25:24] 605*2^1433034-1 is not prime. Res64: 923BBD91BF2AE807 Time : 0.0 sec. user=mdettweiler [2016-06-20 20:25:24] 611*2^1433034-1 is not prime. Res64: 268DD56FE9420520 Time : 0.0 sec. user=mdettweiler [2016-06-20 20:25:24] 681*2^1433034-1 is not prime. Res64: 79A93A30E6C17010 Time : 0.0 sec. user=mdettweiler [2016-06-20 20:25:25] 683*2^1433034-1 is not prime. Res64: 2BC4F3571F7D15BB Time : 0.0 sec. user=mdettweiler [2016-06-20 20:25:25] 725*2^1433034-1 is not prime. Res64: 371F38D01107EDE5 Time : 0.0 sec. user=mdettweiler [2016-06-20 20:55:55] 807*2^1433034-1 is not prime. Res64: 65F0119DD5DD0117 Time : 0.0 sec. user=mdettweiler [2016-06-20 20:55:55] 957*2^1433034-1 is not prime. Res64: 40138E8FF44B8630 Time : 0.0 sec. user=mdettweiler [2016-06-20 20:55:55] 735*2^1433035-1 is not prime. Res64: 96B2C63A85183F9A Time : 0.0 sec. user=mdettweiler [2016-06-20 20:55:56] 855*2^1433035-1 is not prime. Res64: D9AA231240EE2920 Time : 0.0 sec. user=mdettweiler [2016-06-20 20:55:56] 861*2^1433035-1 is not prime. Res64: E9E6B9601C3B8032 Time : 0.0 sec. user=mdettweiler [2016-06-20 20:56:10] 603*2^1433036-1 is not prime. Res64: E0459178DF291885 Time : 0.0 sec. user=mdettweiler [2016-06-20 20:56:10] 669*2^1433036-1 is not prime. Res64: 745818D1B9413863 Time : 0.0 sec. user=mdettweiler [2016-06-20 20:56:10] 873*2^1433036-1 is not prime. Res64: A781F27893207532 Time : 0.0 sec. user=mdettweiler [2016-06-20 20:56:11] 935*2^1433036-1 is not prime. Res64: CEC5FD738329DF8C Time : 0.0 sec. user=mdettweiler [2016-06-20 20:56:12] 953*2^1433036-1 is not prime. Res64: DB1BA34D19FE6445 Time : 0.0 sec. user=mdettweiler [2016-06-20 21:06:41] 651*2^1433037-1 is not prime. Res64: 5CA451005680F8F5 Time : 0.0 sec. user=mdettweiler [2016-06-20 21:06:43] 667*2^1433037-1 is not prime. Res64: 8C200289828E2541 Time : 0.0 sec. user=mdettweiler [2016-06-20 21:06:44] 669*2^1433037-1 is not prime. Res64: F8D24C0E668DFB40 Time : 0.0 sec. user=mdettweiler [2016-06-20 21:06:45] 717*2^1433037-1 is not prime. Res64: 827EC41AFAB3B5F1 Time : 0.0 sec. user=mdettweiler [2016-06-20 21:06:46] 747*2^1433037-1 is not prime. Res64: 2532B4B96E9C18E3 Time : 0.0 sec. user=mdettweiler [2016-06-20 21:10:12] 751*2^1433037-1 is not prime. Res64: 1F4CDB19EC026875 Time : 0.0 sec. user=mdettweiler [2016-06-20 21:10:12] 769*2^1433037-1 is not prime. Res64: 85E09385F33EF93F Time : 0.0 sec. user=mdettweiler [2016-06-20 21:10:12] 795*2^1433037-1 is not prime. Res64: 1BA66B6F3501A847 Time : 0.0 sec. user=mdettweiler [2016-06-20 21:10:13] 865*2^1433037-1 is not prime. Res64: 007C045F93966F7F Time : 0.0 sec. user=mdettweiler [2016-06-20 21:10:17] 885*2^1433037-1 is not prime. Res64: FD3A24CD54727FE9 Time : 0.0 sec. user=mdettweiler [2016-06-20 21:40:39] 889*2^1433037-1 is not prime. Res64: BE1A9632A3A52E61 Time : 0.0 sec. user=mdettweiler [2016-06-20 21:40:40] 927*2^1433037-1 is not prime. Res64: 383A5FE75BD8480D Time : 0.0 sec. user=mdettweiler [2016-06-20 21:40:40] 949*2^1433037-1 is not prime. Res64: ADD92697A256D06C Time : 0.0 sec. user=mdettweiler [2016-06-20 21:40:41] 617*2^1433038-1 is not prime. Res64: EB00D06A7F5EC2E9 Time : 0.0 sec. user=mdettweiler [2016-06-20 21:40:41] 657*2^1433038-1 is not prime. Res64: E0B2EAB763B5B0BF Time : 0.0 sec. user=mdettweiler [2016-06-20 21:40:52] 665*2^1433038-1 is not prime. Res64: CB60BAA107882D0D Time : 0.0 sec. user=mdettweiler [2016-06-20 21:40:52] 681*2^1433038-1 is not prime. Res64: FACA5AA54E05D0F6 Time : 0.0 sec. user=mdettweiler [2016-06-20 21:40:53] 705*2^1433038-1 is not prime. Res64: 62A8D1326D2D58CA Time : 0.0 sec. user=mdettweiler [2016-06-20 21:40:53] 731*2^1433038-1 is not prime. Res64: 9D2ADEA7AAE3B519 Time : 0.0 sec. user=mdettweiler [2016-06-20 21:40:53] 761*2^1433038-1 is not prime. Res64: 01BD5100112949AD Time : 0.0 sec. user=mdettweiler [2016-06-20 21:51:43] 843*2^1433038-1 is not prime. Res64: 56808E485BE67B1E Time : 0.0 sec. user=mdettweiler [2016-06-20 21:51:43] 887*2^1433038-1 is not prime. Res64: C004016D479A01FA Time : 0.0 sec. user=mdettweiler [2016-06-20 21:51:44] 923*2^1433038-1 is not prime. Res64: 19FA004BE9532E0D Time : 0.0 sec. user=mdettweiler [2016-06-20 21:51:44] 933*2^1433038-1 is not prime. Res64: 8BE105ABE817582E Time : 0.0 sec. user=mdettweiler [2016-06-20 21:51:44] 685*2^1433039-1 is not prime. Res64: F36A22770EE04FA6 Time : 0.0 sec. user=mdettweiler [2016-06-20 21:55:02] 735*2^1433039-1 is not prime. Res64: D6046DB3C86B656B Time : 0.0 sec. user=mdettweiler [2016-06-20 21:55:02] 741*2^1433039-1 is not prime. Res64: BCE048DC9747A6FB Time : 0.0 sec. user=mdettweiler [2016-06-20 21:55:03] 799*2^1433039-1 is not prime. Res64: DF87CC0F8989FF25 Time : 0.0 sec. user=mdettweiler [2016-06-20 21:55:03] 841*2^1433039-1 is not prime. Res64: 9BE162ADF242D62A Time : 0.0 sec. user=mdettweiler [2016-06-20 21:55:03] 861*2^1433039-1 is not prime. Res64: 4AAA89C25BC5C0C0 Time : 0.0 sec. user=mdettweiler [2016-06-20 22:25:30] 979*2^1433039-1 is not prime. Res64: CB76224C28D39589 Time : 0.0 sec. user=mdettweiler [2016-06-20 22:25:30] 633*2^1433040-1 is not prime. Res64: B446784F9C1B8166 Time : 0.0 sec. user=mdettweiler [2016-06-20 22:25:31] 707*2^1433040-1 is not prime. Res64: 8D5961E48C09CAAA Time : 0.0 sec. user=mdettweiler [2016-06-20 22:25:31] 719*2^1433040-1 is not prime. Res64: F048CAB794A298DE Time : 0.0 sec. user=mdettweiler [2016-06-20 22:25:31] 735*2^1433040-1 is not prime. Res64: A6DFCAEC1693C971 Time : 0.0 sec. user=mdettweiler [2016-06-20 22:25:52] 839*2^1433040-1 is not prime. Res64: 7AB0443038C39BA3 Time : 0.0 sec. user=mdettweiler [2016-06-20 22:25:52] 867*2^1433040-1 is not prime. Res64: 9CFDEC176FF2CCEF Time : 0.0 sec. user=mdettweiler [2016-06-20 22:25:53] 875*2^1433040-1 is not prime. Res64: 63337633075322D0 Time : 0.0 sec. user=mdettweiler [2016-06-20 22:25:53] 945*2^1433040-1 is not prime. Res64: 87AF81ACC992AB43 Time : 0.0 sec. user=mdettweiler [2016-06-20 22:25:54] 691*2^1433041-1 is not prime. Res64: A08C990AF0EF0FAA Time : 0.0 sec. user=mdettweiler [2016-06-20 22:36:34] 829*2^1433041-1 is not prime. Res64: F825E636C939E7D1 Time : 0.0 sec. user=mdettweiler [2016-06-20 22:36:34] 855*2^1433041-1 is not prime. Res64: 0D57CFB655048D0B Time : 0.0 sec. user=mdettweiler [2016-06-20 22:36:35] 705*2^1433042-1 is not prime. Res64: A78A3DF0152D8EE0 Time : 0.0 sec. user=mdettweiler [2016-06-20 22:36:35] 711*2^1433042-1 is not prime. Res64: B83B84A98EC3A857 Time : 0.0 sec. user=mdettweiler [2016-06-20 22:36:35] 735*2^1433042-1 is not prime. Res64: C778EE041894DE76 Time : 0.0 sec. user=mdettweiler [2016-06-20 22:39:50] 753*2^1433042-1 is not prime. Res64: 42BFE80DFA12C36D Time : 0.0 sec. user=mdettweiler [2016-06-20 22:39:50] 873*2^1433042-1 is not prime. Res64: 80CC2B8064EFB8E2 Time : 0.0 sec. user=mdettweiler [2016-06-20 22:39:50] 935*2^1433042-1 is not prime. Res64: 020C20FDD2511DE3 Time : 0.0 sec. user=mdettweiler [2016-06-20 22:39:51] 945*2^1433042-1 is not prime. Res64: BEADBCE3FC4CB783 Time : 0.0 sec. user=mdettweiler [2016-06-20 22:39:51] 963*2^1433042-1 is not prime. Res64: 983ADDAD8A1C305A Time : 0.0 sec. user=mdettweiler [2016-06-20 23:10:36] 1001*2^1433042-1 is not prime. Res64: 1F24C6D025014623 Time : 0.0 sec. user=mdettweiler [2016-06-20 23:10:37] 741*2^1433043-1 is not prime. Res64: 4C1C621770730CFF Time : 0.0 sec. user=mdettweiler [2016-06-20 23:10:37] 783*2^1433043-1 is not prime. Res64: EF8C9568E0B3FE83 Time : 0.0 sec. user=mdettweiler [2016-06-20 23:10:38] 819*2^1433043-1 is not prime. Res64: 73FE9BB9E75D6DA5 Time : 0.0 sec. user=mdettweiler [2016-06-20 23:10:38] 853*2^1433043-1 is not prime. Res64: D699C193B5BECA1C Time : 0.0 sec. user=mdettweiler [2016-06-20 23:10:48] 963*2^1433043-1 is not prime. Res64: C6EEBCAAFD793014 Time : 0.0 sec. user=mdettweiler [2016-06-20 23:10:49] 657*2^1433044-1 is not prime. Res64: C9BFFB3168967C6A Time : 0.0 sec. user=mdettweiler [2016-06-20 23:10:49] 695*2^1433044-1 is not prime. Res64: 26D84CB6AA146E25 Time : 0.0 sec. user=mdettweiler [2016-06-20 23:10:49] 743*2^1433044-1 is not prime. Res64: A5E14F334B99DEF1 Time : 0.0 sec. user=mdettweiler [2016-06-20 23:10:50] 909*2^1433044-1 is not prime. Res64: F8DDA00E10833E52 Time : 0.0 sec. user=mdettweiler [2016-06-20 23:21:48] 975*2^1433044-1 is not prime. Res64: A525AD63BF1C51F2 Time : 0.0 sec. user=mdettweiler [2016-06-20 23:21:48] 645*2^1433045-1 is not prime. Res64: 0FA55DB0762ED304 Time : 0.0 sec. user=mdettweiler [2016-06-20 23:21:48] 699*2^1433045-1 is not prime. Res64: 25EC06353B6356C3 Time : 0.0 sec. user=mdettweiler [2016-06-20 23:21:49] 811*2^1433045-1 is not prime. Res64: 6939A5B882811E86 Time : 0.0 sec. user=mdettweiler [2016-06-20 23:21:49] 819*2^1433045-1 is not prime. Res64: DB90C857DF45717F Time : 0.0 sec. user=mdettweiler [2016-06-20 23:24:45] 951*2^1433045-1 is not prime. Res64: D03F5E94859F588E Time : 0.0 sec. user=mdettweiler [2016-06-20 23:24:46] 641*2^1433046-1 is not prime. Res64: 215E929CF8023707 Time : 0.0 sec. user=mdettweiler [2016-06-20 23:24:46] 683*2^1433046-1 is not prime. Res64: B44FA2DCBC1717D7 Time : 0.0 sec. user=mdettweiler [2016-06-20 23:24:47] 713*2^1433046-1 is not prime. Res64: DB302DD7BE2F224C Time : 0.0 sec. user=mdettweiler [2016-06-20 23:24:47] 717*2^1433046-1 is not prime. Res64: 8A0887A8892FB93F Time : 0.0 sec. user=mdettweiler [2016-06-20 23:56:07] 729*2^1433047-1 is not prime. Res64: FAB7230294345CF3 Time : 0.0 sec. user=mdettweiler [2016-06-20 23:56:07] 813*2^1433047-1 is not prime. Res64: BC9EF90F1F939CA6 Time : 0.0 sec. user=mdettweiler [2016-06-20 23:56:07] 819*2^1433047-1 is not prime. Res64: 8C14538140D3C764 Time : 0.0 sec. user=mdettweiler [2016-06-20 23:56:08] 665*2^1433048-1 is not prime. Res64: AA47C2EE100E00EB Time : 0.0 sec. user=mdettweiler [2016-06-20 23:56:08] 729*2^1433048-1 is not prime. Res64: 9965A582B1D9380D Time : 0.0 sec. user=mdettweiler [2016-06-20 23:56:34] 741*2^1433046-1 is not prime. Res64: 6667F70CDEB3CD5F Time : 0.0 sec. user=mdettweiler [2016-06-20 23:56:35] 1001*2^1433046-1 is not prime. Res64: BE28D7844A9E1FCD Time : 0.0 sec. user=mdettweiler [2016-06-20 23:56:35] 603*2^1433047-1 is not prime. Res64: A509164569CBB86F Time : 0.0 sec. user=mdettweiler [2016-06-20 23:56:35] 673*2^1433047-1 is not prime. Res64: 8786334218C47566 Time : 0.0 sec. user=mdettweiler [2016-06-20 23:56:36] 681*2^1433047-1 is not prime. Res64: D75ECD3AD91D7E1D Time : 0.0 sec.