user=mdettweiler [2015-09-12 00:03:36] 675*2^1408975-1 is not prime. Res64: 5B588B4375E2D4E7 Time : 0.0 sec. user=mdettweiler [2015-09-12 00:03:36] 945*2^1408974-1 is not prime. Res64: 9AD846B2C08BE3E2 Time : 0.0 sec. user=mdettweiler [2015-09-12 00:03:37] 679*2^1408975-1 is not prime. Res64: 34DAA74F25B9D3CC Time : 0.0 sec. user=mdettweiler [2015-09-12 00:03:37] 673*2^1408975-1 is not prime. Res64: C424A8321CBB5FB2 Time : 0.0 sec. user=mdettweiler [2015-09-12 00:07:35] 693*2^1408975-1 is not prime. Res64: 2F3FC328CA161B69 Time : 0.0 sec. user=mdettweiler [2015-09-12 00:07:35] 705*2^1408975-1 is not prime. Res64: 95F33FAEF171307B Time : 0.0 sec. user=juhehe [2015-09-12 00:15:53] 881*2^1408974-1 is not prime. Res64: 1338E45F73C341BD Time : 0.0 sec. user=mdettweiler [2015-09-12 00:21:44] 709*2^1408975-1 is not prime. Res64: 04A8241575CD7433 Time : 0.0 sec. user=mdettweiler [2015-09-12 00:21:44] 771*2^1408975-1 is not prime. Res64: B190D9BE5D4F12BC Time : 0.0 sec. user=mdettweiler [2015-09-12 00:21:46] 805*2^1408975-1 is not prime. Res64: 73D7737FAC34E374 Time : 0.0 sec. user=mdettweiler [2015-09-12 00:21:46] 871*2^1408975-1 is not prime. Res64: 68257AD9B36E8970 Time : 0.0 sec. user=mdettweiler [2015-09-12 00:25:56] 909*2^1408975-1 is not prime. Res64: F349809BB61BB83C Time : 0.0 sec. user=mdettweiler [2015-09-12 00:25:56] 943*2^1408975-1 is not prime. Res64: 567CA01AC629F904 Time : 0.0 sec. user=mdettweiler [2015-09-12 00:40:27] 973*2^1408975-1 is not prime. Res64: 94F4F9C5F04684A8 Time : 0.0 sec. user=mdettweiler [2015-09-12 00:40:27] 603*2^1408976-1 is not prime. Res64: 05EFAF0F20335AB5 Time : 0.0 sec. user=mdettweiler [2015-09-12 00:40:30] 615*2^1408976-1 is not prime. Res64: 490082B9716C929D Time : 0.0 sec. user=mdettweiler [2015-09-12 00:40:31] 617*2^1408976-1 is not prime. Res64: B94C5E453954CF3F Time : 0.0 sec. user=mdettweiler [2015-09-12 00:44:09] 635*2^1408976-1 is not prime. Res64: 4FF02F8BD76CEF66 Time : 0.0 sec. user=mdettweiler [2015-09-12 00:44:10] 747*2^1408976-1 is not prime. Res64: 40F7244339F0ACD7 Time : 0.0 sec. user=mdettweiler [2015-09-12 00:58:02] 825*2^1408976-1 is not prime. Res64: 194452FCE0B8955E Time : 0.0 sec. user=mdettweiler [2015-09-12 00:58:02] 827*2^1408976-1 is not prime. Res64: C52E7EEFF471DDBA Time : 0.0 sec. user=mdettweiler [2015-09-12 00:58:05] 867*2^1408976-1 is not prime. Res64: 0FA04E8E4E8A9CD8 Time : 0.0 sec. user=mdettweiler [2015-09-12 00:58:05] 649*2^1408977-1 is not prime. Res64: D5B80262A88DD9F1 Time : 0.0 sec. user=mdettweiler [2015-09-12 01:01:36] 675*2^1408977-1 is not prime. Res64: EB5B182ECE46BA70 Time : 0.0 sec. user=mdettweiler [2015-09-12 01:01:37] 727*2^1408977-1 is not prime. Res64: 32C2CF49166B5544 Time : 0.0 sec. user=mdettweiler [2015-09-12 01:15:31] 871*2^1408977-1 is not prime. Res64: 142E8ED9854EBA8E Time : 0.0 sec. user=mdettweiler [2015-09-12 01:15:31] 885*2^1408977-1 is not prime. Res64: 247BFB5FDE114EFA Time : 0.0 sec. user=mdettweiler [2015-09-12 01:15:32] 889*2^1408977-1 is not prime. Res64: A4081F2FEFF1E873 Time : 0.0 sec. user=mdettweiler [2015-09-12 01:15:33] 985*2^1408977-1 is not prime. Res64: 6A72B68274CD10BB Time : 0.0 sec. user=mdettweiler [2015-09-12 01:19:05] 997*2^1408977-1 is not prime. Res64: FA1DF4600C99B5DA Time : 0.0 sec. user=mdettweiler [2015-09-12 01:19:05] 671*2^1408978-1 is not prime. Res64: 62373A69C6A21458 Time : 0.0 sec. user=mdettweiler [2015-09-12 01:33:00] 881*2^1408978-1 is not prime. Res64: B1DCFB31E606457B Time : 0.0 sec. user=mdettweiler [2015-09-12 01:33:00] 975*2^1408978-1 is not prime. Res64: 0B6BBC3E550679C4 Time : 0.0 sec. user=mdettweiler [2015-09-12 01:33:01] 615*2^1408979-1 is not prime. Res64: 3E2148915B3BED5F Time : 0.0 sec. user=mdettweiler [2015-09-12 01:33:01] 957*2^1408978-1 is not prime. Res64: 57F0AADD363B5729 Time : 0.0 sec. user=mdettweiler [2015-09-12 01:36:26] 675*2^1408979-1 is not prime. Res64: 44EBD6DCAD630650 Time : 0.0 sec. user=mdettweiler [2015-09-12 01:36:27] 771*2^1408979-1 is not prime. Res64: DC1B027ED007B5BD Time : 0.0 sec. user=mdettweiler [2015-09-12 01:50:26] 799*2^1408979-1 is not prime. Res64: 58B1FCD5D6FFE30D Time : 0.0 sec. user=mdettweiler [2015-09-12 01:50:27] 843*2^1408979-1 is not prime. Res64: 6BBF7E7EB4E9D82E Time : 0.0 sec. user=mdettweiler [2015-09-12 01:50:27] 955*2^1408979-1 is not prime. Res64: 3953FC514A4285F1 Time : 0.0 sec. user=mdettweiler [2015-09-12 01:50:27] 609*2^1408980-1 is not prime. Res64: 2C940C2CD9F21FC4 Time : 0.0 sec. user=mdettweiler [2015-09-12 01:53:50] 689*2^1408980-1 is not prime. Res64: 77D36E7C205191C7 Time : 0.0 sec. user=mdettweiler [2015-09-12 01:53:50] 707*2^1408980-1 is not prime. Res64: BF41CE7B763FD09A Time : 0.0 sec. user=mdettweiler [2015-09-12 02:07:56] 717*2^1408980-1 is not prime. Res64: 8297909D31713AAA Time : 0.0 sec. user=mdettweiler [2015-09-12 02:07:56] 735*2^1408980-1 is not prime. Res64: 5A68C31FE1D922EB Time : 0.0 sec. user=mdettweiler [2015-09-12 02:07:59] 795*2^1408980-1 is not prime. Res64: D12BF7D90D046CD6 Time : 0.0 sec. user=mdettweiler [2015-09-12 02:07:59] 797*2^1408980-1 is not prime. Res64: A802E4E178B62A3E Time : 0.0 sec. user=mdettweiler [2015-09-12 02:11:19] 809*2^1408980-1 is not prime. Res64: DC8C76A6C3337D6D Time : 0.0 sec. user=mdettweiler [2015-09-12 02:11:20] 845*2^1408980-1 is not prime. Res64: 1A51C2E96D908870 Time : 0.0 sec. user=juhehe [2015-09-12 02:12:31] 627*2^1408980-1 is not prime. Res64: 1C335686DBA5B356 Time : 0.0 sec. user=mdettweiler [2015-09-12 02:29:56] 639*2^1408981-1 is not prime. Res64: E2330DE25DD13184 Time : 0.0 sec. user=mdettweiler [2015-09-12 02:29:57] 665*2^1408982-1 is not prime. Res64: 7292FCAAD7C8D7AE Time : 0.0 sec. user=mdettweiler [2015-09-12 02:30:08] 899*2^1408980-1 is not prime. Res64: B4D85D4A888D2F20 Time : 0.0 sec. user=mdettweiler [2015-09-12 02:30:09] 999*2^1408980-1 is not prime. Res64: D5E4F748F45B60D2 Time : 0.0 sec. user=mdettweiler [2015-09-12 02:38:53] 755*2^1408982-1 is not prime. Res64: 2253AAF4A0E63D18 Time : 0.0 sec. user=mdettweiler [2015-09-12 02:38:53] 771*2^1408982-1 is not prime. Res64: 77080A3829B514E9 Time : 0.0 sec. user=mdettweiler [2015-09-12 02:38:55] 683*2^1408982-1 is not prime. Res64: 71FD6A7B3DA6E309 Time : 0.0 sec. user=mdettweiler [2015-09-12 02:38:56] 743*2^1408982-1 is not prime. Res64: 83655FFEFC4DF799 Time : 0.0 sec. user=mdettweiler [2015-09-12 02:47:42] 797*2^1408982-1 is not prime. Res64: 6E135F5808EAA075 Time : 0.0 sec. user=mdettweiler [2015-09-12 02:47:42] 825*2^1408982-1 is not prime. Res64: C84DE0678BFB8567 Time : 0.0 sec. user=mdettweiler [2015-09-12 02:47:43] 903*2^1408982-1 is not prime. Res64: 4ADDE275BCE6B8C8 Time : 0.0 sec. user=mdettweiler [2015-09-12 02:47:43] 911*2^1408982-1 is not prime. Res64: D3396C32AA5C27CA Time : 0.0 sec. user=mdettweiler [2015-09-12 02:56:22] 679*2^1408983-1 is not prime. Res64: 149DAC0706F32E37 Time : 0.0 sec. user=mdettweiler [2015-09-12 02:56:23] 721*2^1408983-1 is not prime. Res64: 63FE5D4E25526A88 Time : 0.0 sec. user=mdettweiler [2015-09-12 02:56:24] 663*2^1408983-1 is not prime. Res64: 687D093CF693E4E6 Time : 0.0 sec. user=mdettweiler [2015-09-12 02:56:25] 675*2^1408983-1 is not prime. Res64: 8B3F655471D70FE6 Time : 0.0 sec. user=mdettweiler [2015-09-12 03:05:22] 745*2^1408983-1 is not prime. Res64: 4DAECA4CA83C33B2 Time : 0.0 sec. user=mdettweiler [2015-09-12 03:05:23] 943*2^1408983-1 is not prime. Res64: 4710970600DACA8C Time : 0.0 sec. user=mdettweiler [2015-09-12 03:05:25] 969*2^1408983-1 is not prime. Res64: 2549C207186CE0A4 Time : 0.0 sec. user=mdettweiler [2015-09-12 03:05:26] 617*2^1408984-1 is not prime. Res64: B4807DD614A67ACA Time : 0.0 sec. user=mdettweiler [2015-09-12 03:13:54] 665*2^1408984-1 is not prime. Res64: 96B134B8441ADFF9 Time : 0.0 sec. user=mdettweiler [2015-09-12 03:13:55] 765*2^1408984-1 is not prime. Res64: F75AEB2008F1141F Time : 0.0 sec. user=mdettweiler [2015-09-12 03:13:55] 903*2^1408984-1 is not prime. Res64: AD990A5D351E6CC3 Time : 0.0 sec. user=mdettweiler [2015-09-12 03:13:56] 917*2^1408984-1 is not prime. Res64: C8B3044958D12565 Time : 0.0 sec. user=mdettweiler [2015-09-12 03:23:03] 939*2^1408984-1 is not prime. Res64: 3905E51B19D08D1B Time : 0.0 sec. user=mdettweiler [2015-09-12 03:23:03] 651*2^1408985-1 is not prime. Res64: 42B3ABBE116432FB Time : 0.0 sec. user=mdettweiler [2015-09-12 03:23:03] 649*2^1408985-1 is not prime. Res64: D3F8D5FED60EAAA7 Time : 0.0 sec. user=mdettweiler [2015-09-12 03:23:04] 867*2^1408985-1 is not prime. Res64: 6B4A1A30D344CDD3 Time : 0.0 sec. user=juhehe [2015-09-12 03:28:25] 645*2^1408984-1 is not prime. Res64: 3DFAAB6795AE6730 Time : 0.0 sec. user=mdettweiler [2015-09-12 03:31:20] 981*2^1408985-1 is not prime. Res64: 7AEAABA2296296C9 Time : 0.0 sec. user=mdettweiler [2015-09-12 03:31:22] 985*2^1408985-1 is not prime. Res64: DEDD5167B33636B6 Time : 0.0 sec. user=mdettweiler [2015-09-12 03:31:27] 717*2^1408986-1 is not prime. Res64: 5B0818EEDEAE40B3 Time : 0.0 sec. user=mdettweiler [2015-09-12 03:31:28] 825*2^1408986-1 is not prime. Res64: C1E73DDD1EBEA823 Time : 0.0 sec. user=mdettweiler [2015-09-12 03:40:28] 619*2^1408987-1 is not prime. Res64: 1C6BAAE689CE7A9E Time : 0.0 sec. user=mdettweiler [2015-09-12 03:40:30] 625*2^1408987-1 is not prime. Res64: 2E11807A8B750CFE Time : 0.0 sec. user=mdettweiler [2015-09-12 03:40:31] 957*2^1408986-1 is not prime. Res64: 9D818C639C77D918 Time : 0.0 sec. user=mdettweiler [2015-09-12 03:40:32] 1001*2^1408986-1 is not prime. Res64: 0C6BCCD2A15341CD Time : 0.0 sec. user=mdettweiler [2015-09-12 03:48:55] 765*2^1408987-1 is not prime. Res64: D263EA1E72073B1F Time : 0.0 sec. user=mdettweiler [2015-09-12 03:48:56] 775*2^1408987-1 is not prime. Res64: 5DCB7DFAA959AD20 Time : 0.0 sec. user=mdettweiler [2015-09-12 03:49:03] 915*2^1408987-1 is not prime. Res64: 660722577F3EED3D Time : 0.0 sec. user=mdettweiler [2015-09-12 03:49:04] 659*2^1408988-1 is not prime. Res64: 2055A5270C4EAED3 Time : 0.0 sec. user=mdettweiler [2015-09-12 03:58:17] 839*2^1408988-1 is not prime. Res64: 37CEC4E34F50579E Time : 0.0 sec. user=mdettweiler [2015-09-12 03:58:18] 621*2^1408989-1 is not prime. Res64: 647F709107E2C123 Time : 0.0 sec. user=mdettweiler [2015-09-12 03:58:24] 663*2^1408988-1 is not prime. Res64: 5B6CD31F877599D5 Time : 0.0 sec. user=mdettweiler [2015-09-12 03:58:24] 819*2^1408988-1 is not prime. Res64: DF4DE9AC9332552F Time : 0.0 sec. user=mdettweiler [2015-09-12 04:06:36] 649*2^1408989-1 is not prime. Res64: FFE389A4FC3F0A60 Time : 0.0 sec. user=mdettweiler [2015-09-12 04:06:36] 709*2^1408989-1 is not prime. Res64: D25C57D62C95EF2C Time : 0.0 sec. user=mdettweiler [2015-09-12 04:06:51] 811*2^1408989-1 is not prime. Res64: AAFD8D8D3D5651C9 Time : 0.0 sec. user=mdettweiler [2015-09-12 04:06:52] 861*2^1408989-1 is not prime. Res64: D5465E9BB6F48188 Time : 0.0 sec. user=mdettweiler [2015-09-12 04:15:47] 889*2^1408989-1 is not prime. Res64: D232B948F5CED854 Time : 0.0 sec. user=mdettweiler [2015-09-12 04:15:48] 955*2^1408989-1 is not prime. Res64: E0FCED765CD4FDCD Time : 0.0 sec. user=mdettweiler [2015-09-12 04:15:54] 979*2^1408989-1 is not prime. Res64: 74A0EB3D99BEBBC4 Time : 0.0 sec. user=mdettweiler [2015-09-12 04:15:54] 605*2^1408990-1 is not prime. Res64: 0A1DA24D74155E87 Time : 0.0 sec. user=mdettweiler [2015-09-12 04:24:13] 651*2^1408990-1 is not prime. Res64: EB0CE66249D3F70A Time : 0.0 sec. user=mdettweiler [2015-09-12 04:24:14] 657*2^1408990-1 is not prime. Res64: 52E6450639B1EFFC Time : 0.0 sec. user=mdettweiler [2015-09-12 04:24:20] 681*2^1408990-1 is not prime. Res64: 579958ED3B840DDF Time : 0.0 sec. user=mdettweiler [2015-09-12 04:24:20] 777*2^1408990-1 is not prime. Res64: 4B30805A579FA3D7 Time : 0.0 sec. user=mdettweiler [2015-09-12 04:33:17] 791*2^1408990-1 is not prime. Res64: 0F905A3A71A9D2EC Time : 0.0 sec. user=mdettweiler [2015-09-12 04:33:17] 987*2^1408990-1 is not prime. Res64: BAF5AE0A9EA3A6F8 Time : 0.0 sec. user=mdettweiler [2015-09-12 04:33:25] 619*2^1408991-1 is not prime. Res64: 9DE199E05C76AFEC Time : 0.0 sec. user=mdettweiler [2015-09-12 04:33:26] 663*2^1408991-1 is not prime. Res64: 490F0CDD8719ACDD Time : 0.0 sec. user=mdettweiler [2015-09-12 04:41:38] 703*2^1408991-1 is not prime. Res64: 6C47256A687E07C8 Time : 0.0 sec. user=mdettweiler [2015-09-12 04:41:38] 741*2^1408991-1 is not prime. Res64: D787D5CEF1BFEB2A Time : 0.0 sec. user=mdettweiler [2015-09-12 04:41:45] 783*2^1408991-1 is not prime. Res64: 2EB6B0C1D9D8A7D3 Time : 0.0 sec. user=mdettweiler [2015-09-12 04:41:45] 789*2^1408991-1 is not prime. Res64: 830C60D97769E692 Time : 0.0 sec. user=mdettweiler [2015-09-12 04:50:49] 981*2^1408991-1 is not prime. Res64: 54F8FCC871A08811 Time : 0.0 sec. user=mdettweiler [2015-09-12 04:50:50] 825*2^1408991-1 is not prime. Res64: 89A24822EBEF487C Time : 0.0 sec. user=mdettweiler [2015-09-12 04:50:50] 605*2^1408992-1 is not prime. Res64: FD2D35254FE135AF Time : 0.0 sec. user=mdettweiler [2015-09-12 04:50:50] 859*2^1408991-1 is not prime. Res64: 40C6E6641E0B4734 Time : 0.0 sec. user=mdettweiler [2015-09-12 04:59:01] 609*2^1408992-1 is not prime. Res64: 62E38340E3684010 Time : 0.0 sec. user=mdettweiler [2015-09-12 04:59:01] 635*2^1408992-1 is not prime. Res64: 31B8F5CA294E2DF6 Time : 0.0 sec. user=mdettweiler [2015-09-12 04:59:12] 683*2^1408992-1 is not prime. Res64: D6D667E415721F5D Time : 0.0 sec. user=mdettweiler [2015-09-12 04:59:12] 713*2^1408992-1 is not prime. Res64: 23AA8198353ED858 Time : 0.0 sec. user=mdettweiler [2015-09-12 05:08:22] 725*2^1408992-1 is not prime. Res64: 75FDE8D990517510 Time : 0.0 sec. user=mdettweiler [2015-09-12 05:08:22] 737*2^1408992-1 is not prime. Res64: E58992C24149C99F Time : 0.0 sec. user=mdettweiler [2015-09-12 05:08:25] 815*2^1408992-1 is not prime. Res64: 90DB610CD4074B51 Time : 0.0 sec. user=mdettweiler [2015-09-12 05:08:25] 915*2^1408992-1 is not prime. Res64: 1D038DC5017A1F7D Time : 0.0 sec. user=mdettweiler [2015-09-12 05:16:31] 929*2^1408992-1 is not prime. Res64: 3288444E6DE7ED2D Time : 0.0 sec. user=mdettweiler [2015-09-12 05:16:31] 675*2^1408993-1 is not prime. Res64: 93625572EA9F49A1 Time : 0.0 sec. user=mdettweiler [2015-09-12 05:16:39] 721*2^1408993-1 is not prime. Res64: 137117F96D67E3FC Time : 0.0 sec. user=mdettweiler [2015-09-12 05:16:40] 741*2^1408993-1 is not prime. Res64: F8E2A85EA13151E1 Time : 0.0 sec. user=mdettweiler [2015-09-12 05:25:49] 635*2^1408994-1 is not prime. Res64: B731B4893F97A2D1 Time : 0.0 sec. user=mdettweiler [2015-09-12 05:25:50] 851*2^1408994-1 is not prime. Res64: 4A223CF17F2982A7 Time : 0.0 sec. user=mdettweiler [2015-09-12 05:25:59] 867*2^1408993-1 is not prime. Res64: 7E02D3DEFF060F83 Time : 0.0 sec. user=mdettweiler [2015-09-12 05:25:59] 987*2^1408993-1 is not prime. Res64: 01B15B08B13ACC75 Time : 0.0 sec. user=mdettweiler [2015-09-12 05:33:56] 995*2^1408994-1 is not prime. Res64: F1BB2A17F81B2E3C Time : 0.0 sec. user=mdettweiler [2015-09-12 05:33:56] 609*2^1408995-1 is not prime. Res64: B17C05079D378B23 Time : 0.0 sec. user=mdettweiler [2015-09-12 05:34:15] 751*2^1408995-1 is not prime. Res64: D287BD8AB218E61A Time : 0.0 sec. user=mdettweiler [2015-09-12 05:34:16] 789*2^1408995-1 is not prime. Res64: E5FEA613FA7B8B89 Time : 0.0 sec. user=juhehe [2015-09-12 05:35:34] 917*2^1408992-1 is not prime. Res64: 96EEE80C766ABCD2 Time : 0.0 sec. user=mdettweiler [2015-09-12 05:43:12] 805*2^1408995-1 is not prime. Res64: 8560A48203DDF3EC Time : 0.0 sec. user=mdettweiler [2015-09-12 05:43:12] 909*2^1408995-1 is not prime. Res64: CFAF16CA00E3B9F5 Time : 0.0 sec. user=mdettweiler [2015-09-12 05:43:24] 707*2^1408996-1 is not prime. Res64: 023066FB41DC6E4F Time : 0.0 sec. user=mdettweiler [2015-09-12 05:43:25] 785*2^1408996-1 is not prime. Res64: A8647526B4F3F63A Time : 0.0 sec. user=mdettweiler [2015-09-12 05:51:22] 875*2^1408996-1 is not prime. Res64: AD95BFD46113C2E0 Time : 0.0 sec. user=mdettweiler [2015-09-12 05:51:23] 933*2^1408996-1 is not prime. Res64: EDB4C6ECAB7F5D52 Time : 0.0 sec. user=mdettweiler [2015-09-12 05:51:38] 957*2^1408996-1 is not prime. Res64: 1317336803E6EE78 Time : 0.0 sec. user=mdettweiler [2015-09-12 05:51:39] 621*2^1408997-1 is not prime. Res64: 86D24A3A5FAD4FA7 Time : 0.0 sec. user=mdettweiler [2015-09-12 06:00:34] 645*2^1408997-1 is not prime. Res64: 6E8AA55EEC8E1F2D Time : 0.0 sec. user=mdettweiler [2015-09-12 06:00:35] 771*2^1408997-1 is not prime. Res64: 371B9E3A4B99D8EC Time : 0.0 sec. user=mdettweiler [2015-09-12 06:00:45] 991*2^1408997-1 is not prime. Res64: 68B3546810F4C300 Time : 0.0 sec. user=mdettweiler [2015-09-12 06:00:47] 705*2^1408998-1 is not prime. Res64: 638B724F14EDDBC9 Time : 0.0 sec. user=mdettweiler [2015-09-12 06:08:43] 731*2^1408998-1 is not prime. Res64: C446BD16C7D09363 Time : 0.0 sec. user=mdettweiler [2015-09-12 06:08:44] 875*2^1408998-1 is not prime. Res64: D80897ACCD4665B6 Time : 0.0 sec. user=mdettweiler [2015-09-12 06:09:01] 609*2^1408999-1 is not prime. Res64: E34A03FCB3A1AFB6 Time : 0.0 sec. user=mdettweiler [2015-09-12 06:09:02] 619*2^1408999-1 is not prime. Res64: FDC160DE5980EB5F Time : 0.0 sec. user=mdettweiler [2015-09-12 06:17:59] 675*2^1408999-1 is not prime. Res64: D9FDB5BA521D857D Time : 0.0 sec. user=mdettweiler [2015-09-12 06:17:59] 705*2^1408999-1 is not prime. Res64: 5008365ADED4B17F Time : 0.0 sec. user=mdettweiler [2015-09-12 06:18:24] 841*2^1408999-1 is not prime. Res64: 83DF8A80C3BE81B0 Time : 0.0 sec. user=mdettweiler [2015-09-12 06:18:24] 931*2^1408999-1 is not prime. Res64: 69E9C432E77F4631 Time : 0.0 sec. user=mdettweiler [2015-09-12 06:26:14] 951*2^1408999-1 is not prime. Res64: 47C82DA3DB3591EB Time : 0.0 sec. user=mdettweiler [2015-09-12 06:26:14] 675*2^1409000-1 is not prime. Res64: BC4F6F0B0F855A4A Time : 0.0 sec. user=mdettweiler [2015-09-12 06:26:33] 839*2^1409000-1 is not prime. Res64: 0C210FD24C7242E2 Time : 0.0 sec. user=mdettweiler [2015-09-12 06:26:34] 845*2^1409000-1 is not prime. Res64: EDC8385169669D8E Time : 0.0 sec. user=mdettweiler [2015-09-12 06:35:31] 879*2^1409000-1 is not prime. Res64: FF744A9A48486B13 Time : 0.0 sec. user=mdettweiler [2015-09-12 06:35:32] 915*2^1409000-1 is not prime. Res64: E857DA831C1FC6D8 Time : 0.0 sec. user=mdettweiler [2015-09-12 06:35:49] 963*2^1409000-1 is not prime. Res64: 341348E86DF9070E Time : 0.0 sec. user=mdettweiler [2015-09-12 06:35:49] 727*2^1409001-1 is not prime. Res64: 6C46D28B1EC86C3B Time : 0.0 sec. user=mdettweiler [2015-09-12 06:43:38] 745*2^1409001-1 is not prime. Res64: E5136F36DA406F7A Time : 0.0 sec. user=mdettweiler [2015-09-12 06:43:38] 751*2^1409001-1 is not prime. Res64: AE4D60928455FE8C Time : 0.0 sec. user=mdettweiler [2015-09-12 06:44:01] 861*2^1409001-1 is not prime. Res64: C3BCCB46ED41F529 Time : 0.0 sec. user=mdettweiler [2015-09-12 06:44:02] 895*2^1409001-1 is not prime. Res64: C5474F7AF24C2D8A Time : 0.0 sec. user=mdettweiler [2015-09-12 06:53:00] 907*2^1409001-1 is not prime. Res64: F46ED90E64558C14 Time : 0.0 sec. user=mdettweiler [2015-09-12 06:53:01] 623*2^1409002-1 is not prime. Res64: B1842BB15307783A Time : 0.0 sec. user=mdettweiler [2015-09-12 06:53:11] 681*2^1409002-1 is not prime. Res64: F217A8D9915747D7 Time : 0.0 sec. user=mdettweiler [2015-09-12 06:53:11] 701*2^1409002-1 is not prime. Res64: 5586278244BD477E Time : 0.0 sec. user=mdettweiler [2015-09-12 07:01:05] 735*2^1409002-1 is not prime. Res64: 3D505692D762E12D Time : 0.0 sec. user=mdettweiler [2015-09-12 07:01:06] 831*2^1409002-1 is not prime. Res64: 1D936E7A65BAB17B Time : 0.0 sec. user=mdettweiler [2015-09-12 07:01:37] 917*2^1409002-1 is not prime. Res64: 3C9DB30676D814A6 Time : 0.0 sec. user=mdettweiler [2015-09-12 07:01:38] 813*2^1409003-1 is not prime. Res64: 0324DD96FAAE8AE2 Time : 0.0 sec. user=mdettweiler [2015-09-12 07:10:28] 825*2^1409003-1 is not prime. Res64: ECBCE68C12A81B3C Time : 0.0 sec. user=mdettweiler [2015-09-12 07:10:28] 963*2^1409003-1 is not prime. Res64: 5C2C9F95C2FE7120 Time : 0.0 sec. user=mdettweiler [2015-09-12 07:10:41] 981*2^1409003-1 is not prime. Res64: 37A02DD5F847BC11 Time : 0.0 sec. user=mdettweiler [2015-09-12 07:10:41] 683*2^1409004-1 is not prime. Res64: 41F1AE2E95C26D63 Time : 0.0 sec. user=juhehe [2015-09-12 07:13:53] 731*2^1409002-1 is not prime. Res64: B081C5D3B4DD52AB Time : 0.0 sec. user=mdettweiler [2015-09-12 07:18:41] 909*2^1409004-1 is not prime. Res64: D19F12AE467EC53E Time : 0.0 sec. user=mdettweiler [2015-09-12 07:18:41] 609*2^1409005-1 is not prime. Res64: 34CD1AB2B195ABDB Time : 0.0 sec. user=mdettweiler [2015-09-12 07:19:00] 741*2^1409005-1 is not prime. Res64: 97763BEF988F7E86 Time : 0.0 sec. user=mdettweiler [2015-09-12 07:19:01] 831*2^1409005-1 is not prime. Res64: DE3D7FF4D4911F1C Time : 0.0 sec. user=mdettweiler [2015-09-12 07:27:56] 645*2^1408801-1 is not prime. Res64: B0CFB5EC2FBBAB4F Time : 0.0 sec. user=mdettweiler [2015-09-12 07:27:57] 651*2^1408801-1 is not prime. Res64: 09085589DD9ECA74 Time : 0.0 sec. user=mdettweiler [2015-09-12 07:28:14] 867*2^1409005-1 is not prime. Res64: ECCE79C0B5C02C1B Time : 0.0 sec. user=mdettweiler [2015-09-12 07:28:14] 889*2^1409005-1 is not prime. Res64: 796B824FDA0F60C9 Time : 0.0 sec. user=juhehe [2015-09-12 07:30:58] 773*2^1409004-1 is not prime. Res64: 3901465C3CE72CDF Time : 0.0 sec. user=mdettweiler [2015-09-12 07:36:06] 925*2^1409005-1 is not prime. Res64: 0BB39068A7BB8D1C Time : 0.0 sec. user=mdettweiler [2015-09-12 07:36:07] 717*2^1409006-1 is not prime. Res64: 3300F33A1AAD870E Time : 0.0 sec. user=mdettweiler [2015-09-12 07:36:24] 795*2^1409006-1 is not prime. Res64: 8B5B37F604FFBC65 Time : 0.0 sec. user=mdettweiler [2015-09-12 07:36:25] 813*2^1409006-1 is not prime. Res64: 8E42FC7C4EB0CF61 Time : 0.0 sec. user=mdettweiler [2015-09-12 07:45:19] 867*2^1409006-1 is not prime. Res64: AC38F9BEDD16A721 Time : 0.0 sec. user=mdettweiler [2015-09-12 07:45:20] 923*2^1409006-1 is not prime. Res64: 5AA8A85C611C6E45 Time : 0.0 sec. user=mdettweiler [2015-09-12 07:45:47] 957*2^1409006-1 is not prime. Res64: F33EAA47E2A8C6C8 Time : 0.0 sec. user=mdettweiler [2015-09-12 07:45:47] 669*2^1409007-1 is not prime. Res64: 183E1A514CC0CE3B Time : 0.0 sec. user=mdettweiler [2015-09-12 07:53:33] 775*2^1409007-1 is not prime. Res64: FCDD3A3379C32363 Time : 0.0 sec. user=mdettweiler [2015-09-12 07:53:33] 825*2^1409007-1 is not prime. Res64: 90F35B33EA1EBA19 Time : 0.0 sec. user=mdettweiler [2015-09-12 07:53:54] 843*2^1409007-1 is not prime. Res64: 02B0C89031095D6C Time : 0.0 sec. user=mdettweiler [2015-09-12 07:53:54] 885*2^1409007-1 is not prime. Res64: 0FB2749EC4A53700 Time : 0.0 sec. user=mdettweiler [2015-09-12 08:02:49] 909*2^1409007-1 is not prime. Res64: 9C90805B14108A38 Time : 0.0 sec. user=mdettweiler [2015-09-12 08:02:51] 963*2^1409007-1 is not prime. Res64: B29D051189493DB7 Time : 0.0 sec. user=mdettweiler [2015-09-12 08:03:15] 979*2^1409007-1 is not prime. Res64: 3C0E74379CC576E7 Time : 0.0 sec. user=mdettweiler [2015-09-12 08:03:17] 605*2^1409008-1 is not prime. Res64: 03CB607A501F5747 Time : 0.0 sec. user=mdettweiler [2015-09-12 08:11:06] 713*2^1409008-1 is not prime. Res64: DFC0137D600039A2 Time : 0.0 sec. user=mdettweiler [2015-09-12 08:11:07] 905*2^1409008-1 is not prime. Res64: 53D5439911DE008B Time : 0.0 sec. user=mdettweiler [2015-09-12 08:11:21] 915*2^1409008-1 is not prime. Res64: F4A71763DD0560A0 Time : 0.0 sec. user=mdettweiler [2015-09-12 08:11:21] 929*2^1409008-1 is not prime. Res64: 264398FBB3A6941F Time : 0.0 sec. user=mdettweiler [2015-09-12 08:20:25] 615*2^1409009-1 is not prime. Res64: 2EB5BA7158121E0A Time : 0.0 sec. user=mdettweiler [2015-09-12 08:20:25] 711*2^1409009-1 is not prime. Res64: 7DFF4149D4E87F2B Time : 0.0 sec. user=mdettweiler [2015-09-12 08:20:48] 787*2^1409009-1 is not prime. Res64: 506F6382E29313F3 Time : 0.0 sec. user=mdettweiler [2015-09-12 08:20:48] 865*2^1409009-1 is not prime. Res64: 9869F07439426493 Time : 0.0 sec. user=mdettweiler [2015-09-12 08:28:33] 885*2^1409009-1 is not prime. Res64: 8F6A56F0EBA44A05 Time : 0.0 sec. user=mdettweiler [2015-09-12 08:28:34] 955*2^1409009-1 is not prime. Res64: 57BFEC1B147376F2 Time : 0.0 sec. user=mdettweiler [2015-09-12 08:28:49] 741*2^1409010-1 is not prime. Res64: 76E03610696C8717 Time : 0.0 sec. user=mdettweiler [2015-09-12 08:28:50] 861*2^1409010-1 is not prime. Res64: 2CA70C3EFEE53AE6 Time : 0.0 sec. user=mdettweiler [2015-09-12 08:37:54] 733*2^1409011-1 is not prime. Res64: 218C960CE9870D02 Time : 0.0 sec. user=mdettweiler [2015-09-12 08:37:54] 883*2^1409011-1 is not prime. Res64: F3DCB112A75CB619 Time : 0.0 sec. user=mdettweiler [2015-09-12 08:38:14] 939*2^1409011-1 is not prime. Res64: 18D7D7B4A0BBD105 Time : 0.0 sec. user=mdettweiler [2015-09-12 08:38:14] 973*2^1409011-1 is not prime. Res64: 15F4F7B4CA38A75A Time : 0.0 sec. user=mdettweiler [2015-09-12 08:46:05] 993*2^1409011-1 is not prime. Res64: B5CFBE43E9ABD1A5 Time : 0.0 sec. user=mdettweiler [2015-09-12 08:46:06] 719*2^1409012-1 is not prime. Res64: EBEE46B7BEFEE75F Time : 0.0 sec. user=mdettweiler [2015-09-12 08:46:25] 819*2^1409012-1 is not prime. Res64: E77A7133B7DB99B1 Time : 0.0 sec. user=mdettweiler [2015-09-12 08:46:25] 873*2^1409012-1 is not prime. Res64: EC4B58E99BACEBD9 Time : 0.0 sec. user=mdettweiler [2015-09-12 08:55:22] 885*2^1409012-1 is not prime. Res64: 1AE28EF119481D4E Time : 0.0 sec. user=mdettweiler [2015-09-12 08:55:23] 903*2^1409012-1 is not prime. Res64: 5B5A37DBAF85F2C1 Time : 0.0 sec. user=mdettweiler [2015-09-12 08:55:50] 909*2^1409012-1 is not prime. Res64: 98EA18675F42BCD6 Time : 0.0 sec. user=mdettweiler [2015-09-12 08:55:50] 963*2^1409012-1 is not prime. Res64: C985A7968CA462C2 Time : 0.0 sec. user=mdettweiler [2015-09-12 09:03:39] 609*2^1409013-1 is not prime. Res64: E392EACDDE083E04 Time : 0.0 sec. user=mdettweiler [2015-09-12 09:03:41] 639*2^1409013-1 is not prime. Res64: B3C630B317108172 Time : 0.0 sec. user=mdettweiler [2015-09-12 09:03:53] 649*2^1409013-1 is not prime. Res64: 03D5299A6FD74B31 Time : 0.0 sec. user=mdettweiler [2015-09-12 09:03:54] 741*2^1409013-1 is not prime. Res64: 5CEBC2DB1F58A6BA Time : 0.0 sec. user=mdettweiler [2015-09-12 09:12:47] 915*2^1409013-1 is not prime. Res64: A8389883A801732C Time : 0.0 sec. user=mdettweiler [2015-09-12 09:12:47] 635*2^1409014-1 is not prime. Res64: ACFA2EDC285C71B5 Time : 0.0 sec. user=mdettweiler [2015-09-12 09:13:15] 657*2^1409014-1 is not prime. Res64: EF66B6AB59E3DCBA Time : 0.0 sec. user=mdettweiler [2015-09-12 09:13:15] 687*2^1409014-1 is not prime. Res64: E01E7C6390C18A7F Time : 0.0 sec. user=mdettweiler [2015-09-12 09:21:30] 705*2^1409014-1 is not prime. Res64: 02C864AA94FFAF99 Time : 0.0 sec. user=mdettweiler [2015-09-12 09:21:30] 785*2^1409014-1 is not prime. Res64: 0D618DC3FB44353D Time : 0.0 sec. user=mdettweiler [2015-09-12 09:21:31] 813*2^1409014-1 is not prime. Res64: DD75F754FC8061B2 Time : 0.0 sec. user=mdettweiler [2015-09-12 09:21:32] 827*2^1409014-1 is not prime. Res64: D2AF5BC41F8375A6 Time : 0.0 sec. user=juhehe [2015-09-12 09:24:59] 769*2^1409013-1 is not prime. Res64: 649C754C75F40B48 Time : 0.0 sec. user=mdettweiler [2015-09-12 09:30:12] 833*2^1409014-1 is not prime. Res64: 45FCB5CCBB7650C9 Time : 0.0 sec. user=mdettweiler [2015-09-12 09:30:13] 1001*2^1409014-1 is not prime. Res64: E4A4D6082CF95282 Time : 0.0 sec. user=mdettweiler [2015-09-12 09:30:41] 619*2^1409015-1 is not prime. Res64: E0C16C323D3A2D8E Time : 0.0 sec. user=mdettweiler [2015-09-12 09:30:42] 645*2^1409015-1 is not prime. Res64: 1093B3B75B26E598 Time : 0.0 sec. user=mdettweiler [2015-09-12 09:38:51] 651*2^1409015-1 is not prime. Res64: B25D7FD4D08F8C3A Time : 0.0 sec. user=mdettweiler [2015-09-12 09:38:51] 735*2^1409015-1 is not prime. Res64: B9B4A6564BCE28FB Time : 0.0 sec. user=mdettweiler [2015-09-12 09:38:57] 885*2^1409015-1 is not prime. Res64: 6FFC67905423BAD8 Time : 0.0 sec. user=mdettweiler [2015-09-12 09:38:57] 915*2^1409015-1 is not prime. Res64: 0479F13B1B5B1547 Time : 0.0 sec. user=mdettweiler [2015-09-12 09:47:39] 609*2^1409016-1 is not prime. Res64: AE36623F3F3CCADC Time : 0.0 sec. user=mdettweiler [2015-09-12 09:47:39] 623*2^1409016-1 is not prime. Res64: B9771BC06F9C164E Time : 0.0 sec. user=mdettweiler [2015-09-12 09:48:07] 635*2^1409016-1 is not prime. Res64: A0596B90F8452D18 Time : 0.0 sec. user=mdettweiler [2015-09-12 09:48:07] 705*2^1409016-1 is not prime. Res64: 3B24761459777BCD Time : 0.0 sec. user=mdettweiler [2015-09-12 09:56:30] 707*2^1409016-1 is not prime. Res64: DF07FDE94AEA9F3F Time : 0.0 sec. user=mdettweiler [2015-09-12 09:56:30] 725*2^1409016-1 is not prime. Res64: 48BA06D2315F4753 Time : 0.0 sec. user=mdettweiler [2015-09-12 09:56:32] 879*2^1409016-1 is not prime. Res64: 80AC5C81A81A267D Time : 0.0 sec. user=mdettweiler [2015-09-12 09:56:33] 923*2^1409016-1 is not prime. Res64: FBBAA8AF261E1A9E Time : 0.0 sec. user=mdettweiler [2015-09-12 10:05:18] 609*2^1409017-1 is not prime. Res64: 18E6054518E7C2A7 Time : 0.0 sec. user=mdettweiler [2015-09-12 10:05:20] 675*2^1409017-1 is not prime. Res64: 3D87911AF816DCBC Time : 0.0 sec. user=mdettweiler [2015-09-12 10:05:35] 729*2^1409017-1 is not prime. Res64: EC752C7855253C1A Time : 0.0 sec. user=mdettweiler [2015-09-12 10:05:36] 741*2^1409017-1 is not prime. Res64: C12C7AFD23188595 Time : 0.0 sec. user=mdettweiler [2015-09-12 10:14:00] 751*2^1409017-1 is not prime. Res64: 754D4CB1C5A3B0AE Time : 0.0 sec. user=mdettweiler [2015-09-12 10:14:01] 799*2^1409017-1 is not prime. Res64: 8EE22A5E2EDE9876 Time : 0.0 sec. user=mdettweiler [2015-09-12 10:14:01] 807*2^1409017-1 is not prime. Res64: B12B310338EC8FA7 Time : 0.0 sec. user=mdettweiler [2015-09-12 10:14:02] 867*2^1409017-1 is not prime. Res64: 39D5DF9CCDF64641 Time : 0.0 sec. user=mdettweiler [2015-09-12 10:22:54] 815*2^1409018-1 is not prime. Res64: 050B60C2AAEE6725 Time : 0.0 sec. user=mdettweiler [2015-09-12 10:22:55] 825*2^1409018-1 is not prime. Res64: 91E883F50BB26D5E Time : 0.0 sec. user=mdettweiler [2015-09-12 10:23:07] 827*2^1409018-1 is not prime. Res64: AF4A4D9DB196A13B Time : 0.0 sec. user=mdettweiler [2015-09-12 10:23:07] 923*2^1409018-1 is not prime. Res64: C17E9563A327EF0B Time : 0.0 sec. user=mdettweiler [2015-09-12 10:31:26] 663*2^1409019-1 is not prime. Res64: 50563F69D0E169C2 Time : 0.0 sec. user=mdettweiler [2015-09-12 10:31:26] 741*2^1409019-1 is not prime. Res64: DA4DC29187354D6A Time : 0.0 sec. user=mdettweiler [2015-09-12 10:31:27] 993*2^1409018-1 is not prime. Res64: C7ABF0607336B70A Time : 0.0 sec. user=mdettweiler [2015-09-12 10:31:28] 619*2^1409019-1 is not prime. Res64: 5EF911017281C9A4 Time : 0.0 sec. user=mdettweiler [2015-09-12 10:40:18] 859*2^1409019-1 is not prime. Res64: C5FCE3A76C8C0B7F Time : 0.0 sec. user=mdettweiler [2015-09-12 10:40:18] 895*2^1409019-1 is not prime. Res64: 67C14F33DEC8FD33 Time : 0.0 sec. user=mdettweiler [2015-09-12 10:40:31] 605*2^1409020-1 is not prime. Res64: 7951E6B60D928C4B Time : 0.0 sec. user=mdettweiler [2015-09-12 10:40:32] 635*2^1409020-1 is not prime. Res64: 527CEDD9CB0A2746 Time : 0.0 sec. user=juhehe [2015-09-12 10:41:02] 671*2^1409018-1 is not prime. Res64: 0B6410F5B62CF334 Time : 0.0 sec. user=mdettweiler [2015-09-12 10:48:50] 677*2^1409020-1 is not prime. Res64: 5846D6ED52920E35 Time : 0.0 sec. user=mdettweiler [2015-09-12 10:48:51] 689*2^1409020-1 is not prime. Res64: 286C3539AA989A3F Time : 0.0 sec. user=mdettweiler [2015-09-12 10:48:52] 819*2^1409020-1 is not prime. Res64: 97002D245CCB9ACE Time : 0.0 sec. user=mdettweiler [2015-09-12 10:48:52] 827*2^1409020-1 is not prime. Res64: 8CDFA1E31C9779FF Time : 0.0 sec. user=mdettweiler [2015-09-12 10:57:50] 839*2^1409020-1 is not prime. Res64: 533CD5300E91D51B Time : 0.0 sec. user=mdettweiler [2015-09-12 10:57:51] 857*2^1409020-1 is not prime. Res64: 93058CAC044542E7 Time : 0.0 sec. user=mdettweiler [2015-09-12 10:58:03] 915*2^1409020-1 is not prime. Res64: 2E830A3A7DAF831B Time : 0.0 sec. user=mdettweiler [2015-09-12 10:58:04] 685*2^1409021-1 is not prime. Res64: CA5867B63BBEDC5D Time : 0.0 sec. user=mdettweiler [2015-09-12 11:06:16] 777*2^1409021-1 is not prime. Res64: 3B9BFEF6232B8412 Time : 0.0 sec. user=mdettweiler [2015-09-12 11:06:17] 789*2^1409021-1 is not prime. Res64: 433D7F998D914D5A Time : 0.0 sec. user=mdettweiler [2015-09-12 11:06:25] 691*2^1409021-1 is not prime. Res64: 274D1191A30D227D Time : 0.0 sec. user=mdettweiler [2015-09-12 11:06:25] 711*2^1409021-1 is not prime. Res64: 2644EE30BEECDB54 Time : 0.0 sec. user=mdettweiler [2015-09-12 11:15:22] 871*2^1409021-1 is not prime. Res64: 447E029073E109B2 Time : 0.0 sec. user=mdettweiler [2015-09-12 11:15:23] 991*2^1409021-1 is not prime. Res64: 818F5014960231FD Time : 0.0 sec. user=mdettweiler [2015-09-12 11:15:30] 693*2^1409022-1 is not prime. Res64: 3DA27F0DFE75125A Time : 0.0 sec. user=mdettweiler [2015-09-12 11:15:30] 737*2^1409022-1 is not prime. Res64: D451C57648217AE8 Time : 0.0 sec. user=mdettweiler [2015-09-12 11:23:56] 767*2^1409022-1 is not prime. Res64: A93494ABC6F5222E Time : 0.0 sec. user=mdettweiler [2015-09-12 11:23:56] 791*2^1409022-1 is not prime. Res64: E3B5B55F6BDC060B Time : 0.0 sec. user=mdettweiler [2015-09-12 11:23:56] 741*2^1409022-1 is not prime. Res64: 0A41A0275C08C19F Time : 0.0 sec. user=mdettweiler [2015-09-12 11:23:57] 747*2^1409022-1 is not prime. Res64: 1B176C887A298CC9 Time : 0.0 sec. user=mdettweiler [2015-09-12 11:32:50] 797*2^1409022-1 is not prime. Res64: ABB322E1160298B8 Time : 0.0 sec. user=mdettweiler [2015-09-12 11:32:51] 825*2^1409022-1 is not prime. Res64: CA838A2D26F54900 Time : 0.0 sec. user=mdettweiler [2015-09-12 11:32:59] 633*2^1409023-1 is not prime. Res64: F257C03F07EACDA7 Time : 0.0 sec. user=mdettweiler [2015-09-12 11:33:00] 649*2^1409023-1 is not prime. Res64: 61CFA315E86404F1 Time : 0.0 sec. user=mdettweiler [2015-09-12 11:41:51] 705*2^1409023-1 is not prime. Res64: 7BA262CFE5ADBD77 Time : 0.0 sec. user=mdettweiler [2015-09-12 11:41:51] 729*2^1409023-1 is not prime. Res64: 34288E8B76B95621 Time : 0.0 sec. user=mdettweiler [2015-09-12 11:41:54] 661*2^1409023-1 is not prime. Res64: C6BAB8E82D15A7B8 Time : 0.0 sec. user=mdettweiler [2015-09-12 11:41:55] 693*2^1409023-1 is not prime. Res64: D5B52D8577A6FCC2 Time : 0.0 sec. user=mdettweiler [2015-09-12 11:50:48] 805*2^1409023-1 is not prime. Res64: C0FAE8574591EE13 Time : 0.0 sec. user=mdettweiler [2015-09-12 11:50:49] 813*2^1409023-1 is not prime. Res64: 43AEB675F35E13C3 Time : 0.0 sec. user=mdettweiler [2015-09-12 11:51:07] 873*2^1409023-1 is not prime. Res64: 9F563FC3664C24A6 Time : 0.0 sec. user=mdettweiler [2015-09-12 11:51:08] 885*2^1409023-1 is not prime. Res64: 7E0BEDEDF600F580 Time : 0.0 sec. user=mdettweiler [2015-09-12 11:59:18] 919*2^1409023-1 is not prime. Res64: D76D3D89A4DE4725 Time : 0.0 sec. user=mdettweiler [2015-09-12 11:59:19] 961*2^1409023-1 is not prime. Res64: 19F09568300C93A8 Time : 0.0 sec. user=mdettweiler [2015-09-12 11:59:21] 609*2^1409024-1 is not prime. Res64: 1B0CEE13AAB83B1C Time : 0.0 sec. user=mdettweiler [2015-09-12 11:59:21] 813*2^1409024-1 is not prime. Res64: C1E74C68AC098379 Time : 0.0 sec. user=mdettweiler [2015-09-12 12:08:25] 843*2^1409024-1 is not prime. Res64: DC9A649A67D91264 Time : 0.0 sec. user=mdettweiler [2015-09-12 12:08:26] 675*2^1409025-1 is not prime. Res64: 3FC5D4F647F2088B Time : 0.0 sec. user=mdettweiler [2015-09-12 12:08:35] 787*2^1409025-1 is not prime. Res64: 3BA7408524479E72 Time : 0.0 sec. user=mdettweiler [2015-09-12 12:08:35] 723*2^1409026-1 is not prime. Res64: CBABCF769698D4C8 Time : 0.0 sec. user=mdettweiler [2015-09-12 12:16:48] 633*2^1409027-1 is not prime. Res64: F1DD69F2F936A9BF Time : 0.0 sec. user=mdettweiler [2015-09-12 12:16:48] 669*2^1409027-1 is not prime. Res64: 6CF7C901530CC9F9 Time : 0.0 sec. user=mdettweiler [2015-09-12 12:16:55] 871*2^1409027-1 is not prime. Res64: FCCD8DEEEE19BB9B Time : 0.0 sec. user=mdettweiler [2015-09-12 12:16:55] 945*2^1409027-1 is not prime. Res64: C8BBA64AD9CD0BE4 Time : 0.0 sec. user=mdettweiler [2015-09-12 12:25:55] 985*2^1409027-1 is not prime. Res64: CB1C3A48F5036D61 Time : 0.0 sec. user=mdettweiler [2015-09-12 12:25:55] 647*2^1409028-1 is not prime. Res64: AEEB0DDD8B68554D Time : 0.0 sec. user=mdettweiler [2015-09-12 12:26:01] 683*2^1409028-1 is not prime. Res64: 90C05A1F50187550 Time : 0.0 sec. user=mdettweiler [2015-09-12 12:26:01] 689*2^1409028-1 is not prime. Res64: C40674751A3DABBE Time : 0.0 sec. user=mdettweiler [2015-09-12 12:34:21] 705*2^1409028-1 is not prime. Res64: 2DF81AF5C96BE2EE Time : 0.0 sec. user=mdettweiler [2015-09-12 12:34:22] 795*2^1409028-1 is not prime. Res64: 1EA113049F5CEC87 Time : 0.0 sec. user=mdettweiler [2015-09-12 12:34:28] 625*2^1409029-1 is not prime. Res64: AFBF63FD9857DA99 Time : 0.0 sec. user=mdettweiler [2015-09-12 12:34:29] 615*2^1409030-1 is not prime. Res64: B93FE78CF8F7F89F Time : 0.0 sec. user=juhehe [2015-09-12 12:34:52] 873*2^1409026-1 is not prime. Res64: 095467D0445924DD Time : 0.0 sec. user=mdettweiler [2015-09-12 12:43:25] 645*2^1409030-1 is not prime. Res64: 488A7EF8386091C5 Time : 0.0 sec. user=mdettweiler [2015-09-12 12:43:26] 741*2^1409030-1 is not prime. Res64: B58AEDB014A4C5C6 Time : 0.0 sec. user=mdettweiler [2015-09-12 12:43:30] 623*2^1409030-1 is not prime. Res64: B1EA35D5CF34AADB Time : 0.0 sec. user=mdettweiler [2015-09-12 12:43:30] 635*2^1409030-1 is not prime. Res64: E2CD90E00A03CA23 Time : 0.0 sec. user=mdettweiler [2015-09-12 12:51:52] 801*2^1409030-1 is not prime. Res64: 1F8A2B3958450263 Time : 0.0 sec. user=mdettweiler [2015-09-12 12:51:52] 921*2^1409030-1 is not prime. Res64: 8B37DB4DD4645713 Time : 0.0 sec. user=mdettweiler [2015-09-12 12:51:53] 923*2^1409030-1 is not prime. Res64: 077A3E5EF9EE528A Time : 0.0 sec. user=mdettweiler [2015-09-12 12:51:54] 935*2^1409030-1 is not prime. Res64: E6F549D62B17E60D Time : 0.0 sec. user=mdettweiler [2015-09-12 13:00:47] 861*2^1409031-1 is not prime. Res64: 0BD1C11D6A7E2563 Time : 0.0 sec. user=mdettweiler [2015-09-12 13:00:48] 891*2^1409031-1 is not prime. Res64: 17E8E7C3C0FA5608 Time : 0.0 sec. user=mdettweiler [2015-09-12 13:00:51] 605*2^1409032-1 is not prime. Res64: BDF5182B5838B9AC Time : 0.0 sec. user=mdettweiler [2015-09-12 13:00:52] 639*2^1409032-1 is not prime. Res64: A894ABB7C99DC4A0 Time : 0.0 sec. user=mdettweiler [2015-09-12 13:09:31] 933*2^1409032-1 is not prime. Res64: D34CD441AAE7EB59 Time : 0.0 sec. user=mdettweiler [2015-09-12 13:09:32] 745*2^1409033-1 is not prime. Res64: CF0CD37EB622B980 Time : 0.0 sec. user=mdettweiler [2015-09-12 13:09:39] 777*2^1409032-1 is not prime. Res64: 42B51358DADF38AA Time : 0.0 sec. user=mdettweiler [2015-09-12 13:09:39] 899*2^1409032-1 is not prime. Res64: 92AFA4089D8505D5 Time : 0.0 sec. user=mdettweiler [2015-09-12 13:18:52] 847*2^1409033-1 is not prime. Res64: AA3B919776F90977 Time : 0.0 sec. user=mdettweiler [2015-09-12 13:18:52] 879*2^1409033-1 is not prime. Res64: 17804B158BFEF84A Time : 0.0 sec. user=mdettweiler [2015-09-12 13:18:53] 951*2^1409033-1 is not prime. Res64: D40FDCE5E4032842 Time : 0.0 sec. user=mdettweiler [2015-09-12 13:18:53] 967*2^1409033-1 is not prime. Res64: F2ABC009493A8392 Time : 0.0 sec. user=mdettweiler [2015-09-12 13:28:03] 605*2^1409034-1 is not prime. Res64: A484C89A0E78154B Time : 0.0 sec. user=mdettweiler [2015-09-12 13:28:03] 627*2^1409034-1 is not prime. Res64: 093801A06C077C55 Time : 0.0 sec. user=mdettweiler [2015-09-12 13:28:18] 663*2^1409034-1 is not prime. Res64: 388220AC59DB3F59 Time : 0.0 sec. user=mdettweiler [2015-09-12 13:28:18] 717*2^1409034-1 is not prime. Res64: 44B5D0868D07DE15 Time : 0.0 sec. user=mdettweiler [2015-09-12 13:37:39] 797*2^1409034-1 is not prime. Res64: 885A84BFD20E60D9 Time : 0.0 sec. user=mdettweiler [2015-09-12 13:37:40] 723*2^1409035-1 is not prime. Res64: CBA9487E0AF933F2 Time : 0.0 sec. user=mdettweiler [2015-09-12 13:37:44] 843*2^1409035-1 is not prime. Res64: 93CD797B90AC3D12 Time : 0.0 sec. user=mdettweiler [2015-09-12 13:37:44] 951*2^1409035-1 is not prime. Res64: F3BE5EBFC1B52F51 Time : 0.0 sec. user=mdettweiler [2015-09-12 13:46:21] 629*2^1409036-1 is not prime. Res64: D4EFF96DCD8E9E9C Time : 0.0 sec. user=mdettweiler [2015-09-12 13:46:21] 669*2^1409036-1 is not prime. Res64: ABD5151A7D8662F3 Time : 0.0 sec. user=mdettweiler [2015-09-12 13:46:38] 699*2^1409036-1 is not prime. Res64: EE6F4ED3B9483C4B Time : 0.0 sec. user=mdettweiler [2015-09-12 13:46:39] 755*2^1409036-1 is not prime. Res64: 08931638B20303E5 Time : 0.0 sec. user=mdettweiler [2015-09-12 13:55:41] 827*2^1409036-1 is not prime. Res64: 26082A0EE8744EFD Time : 0.0 sec. user=mdettweiler [2015-09-12 13:55:41] 897*2^1409036-1 is not prime. Res64: 43A9FCB3D2EEDBEB Time : 0.0 sec. user=mdettweiler [2015-09-12 13:55:52] 615*2^1409037-1 is not prime. Res64: C6C9A26940185650 Time : 0.0 sec. user=mdettweiler [2015-09-12 13:55:53] 649*2^1409037-1 is not prime. Res64: 2E3F55A1B0AED1D9 Time : 0.0 sec. user=mdettweiler [2015-09-12 14:04:01] 685*2^1409037-1 is not prime. Res64: 20109DC847D4B066 Time : 0.0 sec. user=mdettweiler [2015-09-12 14:04:02] 717*2^1409037-1 is not prime. Res64: 4E8E63298570242F Time : 0.0 sec. user=mdettweiler [2015-09-12 14:04:23] 727*2^1409037-1 is not prime. Res64: 536CD0D7B0A66FD1 Time : 0.0 sec. user=mdettweiler [2015-09-12 14:04:24] 743*2^1409038-1 is not prime. Res64: 5917D76EC48919CF Time : 0.0 sec. user=mdettweiler [2015-09-12 14:13:25] 747*2^1409038-1 is not prime. Res64: 06E5C8D8540C4643 Time : 0.0 sec. user=mdettweiler [2015-09-12 14:13:25] 801*2^1409038-1 is not prime. Res64: 7C57E873E6F4C6FD Time : 0.0 sec. user=mdettweiler [2015-09-12 14:13:43] 815*2^1409038-1 is not prime. Res64: C3E677CFAFA115FA Time : 0.0 sec. user=mdettweiler [2015-09-12 14:13:43] 827*2^1409038-1 is not prime. Res64: 2E7779DC33F8D833 Time : 0.0 sec. user=mdettweiler [2015-09-12 14:21:59] 945*2^1409038-1 is not prime. Res64: DB006D0FADF7F288 Time : 0.0 sec. user=mdettweiler [2015-09-12 14:21:59] 981*2^1409038-1 is not prime. Res64: 953C58456BE81408 Time : 0.0 sec. user=mdettweiler [2015-09-12 14:22:28] 993*2^1409038-1 is not prime. Res64: 19F5979A3907C375 Time : 0.0 sec. user=mdettweiler [2015-09-12 14:22:29] 603*2^1409039-1 is not prime. Res64: FDD0F228F9DBFDAB Time : 0.0 sec. user=mdettweiler [2015-09-12 14:31:20] 609*2^1409039-1 is not prime. Res64: 4B4961502A56927C Time : 0.0 sec. user=mdettweiler [2015-09-12 14:31:20] 669*2^1409039-1 is not prime. Res64: 09C38369924EE767 Time : 0.0 sec. user=mdettweiler [2015-09-12 14:31:42] 703*2^1409039-1 is not prime. Res64: 060EA12B83C842EE Time : 0.0 sec. user=mdettweiler [2015-09-12 14:31:42] 711*2^1409039-1 is not prime. Res64: 28254089303C7168 Time : 0.0 sec. user=mdettweiler [2015-09-12 14:39:48] 799*2^1409039-1 is not prime. Res64: 55F73D0935C2788F Time : 0.0 sec. user=mdettweiler [2015-09-12 14:39:49] 829*2^1409039-1 is not prime. Res64: EAE2B91351E0A5A6 Time : 0.0 sec. user=mdettweiler [2015-09-12 14:40:21] 855*2^1409039-1 is not prime. Res64: D57E2362A58C0D84 Time : 0.0 sec. user=mdettweiler [2015-09-12 14:40:22] 955*2^1409039-1 is not prime. Res64: 557A2A1F711C7632 Time : 0.0 sec. user=mdettweiler [2015-09-12 14:49:12] 985*2^1409039-1 is not prime. Res64: 3579B5C02683BA78 Time : 0.0 sec. user=mdettweiler [2015-09-12 14:49:13] 713*2^1409040-1 is not prime. Res64: 765CE95563705846 Time : 0.0 sec. user=mdettweiler [2015-09-12 14:49:35] 803*2^1409040-1 is not prime. Res64: FCB4B92BD52011D6 Time : 0.0 sec. user=mdettweiler [2015-09-12 14:49:35] 809*2^1409040-1 is not prime. Res64: FD9040F55535D15A Time : 0.0 sec. user=mdettweiler [2015-09-12 14:57:41] 909*2^1409040-1 is not prime. Res64: 1837FB50B15073DF Time : 0.0 sec. user=mdettweiler [2015-09-12 14:57:41] 923*2^1409040-1 is not prime. Res64: 2D93C474E6E6875D Time : 0.0 sec. user=mdettweiler [2015-09-12 14:58:18] 651*2^1409041-1 is not prime. Res64: ABFF37AFFCC79C7C Time : 0.0 sec. user=mdettweiler [2015-09-12 14:58:18] 705*2^1409041-1 is not prime. Res64: 5F7B6EC5C8AA5E37 Time : 0.0 sec. user=mdettweiler [2015-09-12 15:07:02] 741*2^1409041-1 is not prime. Res64: 16A67641BC400A35 Time : 0.0 sec. user=mdettweiler [2015-09-12 15:07:03] 769*2^1409041-1 is not prime. Res64: 9A08406E7E4CA82D Time : 0.0 sec. user=mdettweiler [2015-09-12 15:07:25] 771*2^1409041-1 is not prime. Res64: CFC7A645D92CF524 Time : 0.0 sec. user=mdettweiler [2015-09-12 15:07:26] 811*2^1409041-1 is not prime. Res64: 7C3CB848CDB9F751 Time : 0.0 sec. user=mdettweiler [2015-09-12 15:15:43] 835*2^1409041-1 is not prime. Res64: 869252A8610EC1A0 Time : 0.0 sec. user=mdettweiler [2015-09-12 15:15:44] 889*2^1409041-1 is not prime. Res64: A2680B6651CC63A8 Time : 0.0 sec. user=mdettweiler [2015-09-12 15:16:20] 939*2^1409041-1 is not prime. Res64: 7374DF1A07B64E68 Time : 0.0 sec. user=mdettweiler [2015-09-12 15:16:20] 951*2^1409041-1 is not prime. Res64: 56E6B27B7A0BE03F Time : 0.0 sec. user=mdettweiler [2015-09-12 15:25:03] 967*2^1409041-1 is not prime. Res64: 1920045C6D8CA53B Time : 0.0 sec. user=mdettweiler [2015-09-12 15:25:03] 635*2^1409042-1 is not prime. Res64: 6DD22969CC7A14B1 Time : 0.0 sec. user=mdettweiler [2015-09-12 15:25:39] 705*2^1409042-1 is not prime. Res64: 5DB44E4141BC3351 Time : 0.0 sec. user=mdettweiler [2015-09-12 15:25:40] 713*2^1409042-1 is not prime. Res64: 9605E900220FA9A9 Time : 0.0 sec. user=mdettweiler [2015-09-12 15:34:08] 825*2^1409042-1 is not prime. Res64: 64BC8DFB2B5461EC Time : 0.0 sec. user=mdettweiler [2015-09-12 15:34:09] 1001*2^1409042-1 is not prime. Res64: 91C014FDA6A9EC86 Time : 0.0 sec. user=mdettweiler [2015-09-12 15:35:07] 619*2^1409043-1 is not prime. Res64: 150CBDCD84C141A5 Time : 0.0 sec. user=mdettweiler [2015-09-12 15:35:07] 663*2^1409043-1 is not prime. Res64: 537CC8A25941863D Time : 0.0 sec. user=juhehe [2015-09-12 15:44:56] 743*2^1409042-1 is not prime. Res64: 4424502B0DDCD535 Time : 0.0 sec. user=mdettweiler [2015-09-12 15:46:35] 765*2^1409043-1 is not prime. Res64: 7508DC27D91CCB4C Time : 0.0 sec. user=mdettweiler [2015-09-12 15:46:35] 969*2^1409043-1 is not prime. Res64: F0C30ADBDF2B550A Time : 0.0 sec. user=mdettweiler [2015-09-12 15:47:21] 615*2^1409044-1 is not prime. Res64: 350C9A7FCFF31A81 Time : 0.0 sec. user=mdettweiler [2015-09-12 15:47:21] 687*2^1409044-1 is not prime. Res64: 77EA4D44D81B51B9 Time : 0.0 sec. user=mdettweiler [2015-09-12 15:57:50] 693*2^1409044-1 is not prime. Res64: 35BB75EC0FC02FAD Time : 0.0 sec. user=mdettweiler [2015-09-12 15:57:50] 765*2^1409044-1 is not prime. Res64: 91C55AB4E4D056FC Time : 0.0 sec. user=mdettweiler [2015-09-12 15:58:37] 903*2^1409044-1 is not prime. Res64: 8D86EFBD1C9100E9 Time : 0.0 sec. user=mdettweiler [2015-09-12 15:58:37] 607*2^1409045-1 is not prime. Res64: 01682DBED1CF22FD Time : 0.0 sec. user=mdettweiler [2015-09-12 16:10:02] 697*2^1409045-1 is not prime. Res64: 5EB72C71D4B1F245 Time : 0.0 sec. user=mdettweiler [2015-09-12 16:10:02] 715*2^1409045-1 is not prime. Res64: 803CF88239FBA89E Time : 0.0 sec. user=mdettweiler [2015-09-12 16:10:51] 795*2^1409045-1 is not prime. Res64: CE5E850E65DF9961 Time : 0.0 sec. user=mdettweiler [2015-09-12 16:10:52] 955*2^1409045-1 is not prime. Res64: 0B4F5DF803DEB10A Time : 0.0 sec. user=mdettweiler [2015-09-12 16:19:46] 705*2^1409046-1 is not prime. Res64: 18DACE4AC3F8090E Time : 0.0 sec. user=mdettweiler [2015-09-12 16:19:46] 917*2^1409046-1 is not prime. Res64: 844D3410779F7DB1 Time : 0.0 sec. user=mdettweiler [2015-09-12 16:20:47] 983*2^1409046-1 is not prime. Res64: 9AB9B34F80080C4B Time : 0.0 sec. user=mdettweiler [2015-09-12 16:20:48] 621*2^1409047-1 is not prime. Res64: 9FAC4C613C80F079 Time : 0.0 sec. user=juhehe [2015-09-12 16:22:45] 657*2^1409045-1 is not prime. Res64: 01FD882C9619D718 Time : 0.0 sec. user=mdettweiler [2015-09-12 16:32:25] 705*2^1409047-1 is not prime. Res64: 731CF62BF4D2B60B Time : 0.0 sec. user=mdettweiler [2015-09-12 16:32:25] 729*2^1409047-1 is not prime. Res64: 0C3BE1771B4C0038 Time : 0.0 sec. user=mdettweiler [2015-09-12 16:33:01] 741*2^1409047-1 is not prime. Res64: BA86B299CCC6FB8D Time : 0.0 sec. user=mdettweiler [2015-09-12 16:33:01] 805*2^1409047-1 is not prime. Res64: 0DED30EE7DE1AB3C Time : 0.0 sec. user=mdettweiler [2015-09-12 16:41:13] 819*2^1409047-1 is not prime. Res64: AE8D9C0F9BF83871 Time : 0.0 sec. user=mdettweiler [2015-09-12 16:41:13] 849*2^1409047-1 is not prime. Res64: 4F73B9A60624DB0C Time : 0.0 sec. user=mdettweiler [2015-09-12 16:42:05] 885*2^1409047-1 is not prime. Res64: 3A920D07E9E9C064 Time : 0.0 sec. user=mdettweiler [2015-09-12 16:42:06] 915*2^1409047-1 is not prime. Res64: 7A9F6CACDFA94DC6 Time : 0.0 sec. user=mdettweiler [2015-09-12 16:53:15] 999*2^1409047-1 is not prime. Res64: 57DC5D75A7A56AEB Time : 0.0 sec. user=mdettweiler [2015-09-12 16:53:16] 603*2^1409048-1 is not prime. Res64: AE0F35624F522E7E Time : 0.0 sec. user=mdettweiler [2015-09-12 16:53:27] 615*2^1409048-1 is not prime. Res64: 436D8169A3D1BA01 Time : 0.0 sec. user=mdettweiler [2015-09-12 16:53:27] 677*2^1409048-1 is not prime. Res64: D42A17A9F3C05307 Time : 0.0 sec. user=mdettweiler [2015-09-12 17:02:58] 713*2^1409048-1 is not prime. Res64: 7B7E58F8C94886AE Time : 0.0 sec. user=mdettweiler [2015-09-12 17:03:00] 725*2^1409048-1 is not prime. Res64: 742D013F89C53B89 Time : 0.0 sec. user=mdettweiler [2015-09-12 17:03:04] 957*2^1409048-1 is not prime. Res64: 09A660CD0F6D6599 Time : 0.0 sec. user=mdettweiler [2015-09-12 17:03:06] 679*2^1409049-1 is not prime. Res64: 4F5C1D637068CCDA Time : 0.0 sec. user=mdettweiler [2015-09-12 17:14:36] 919*2^1409049-1 is not prime. Res64: AEBA359DF889EA28 Time : 0.0 sec. user=mdettweiler [2015-09-12 17:14:36] 951*2^1409049-1 is not prime. Res64: 1114A877E1C53B5A Time : 0.0 sec. user=mdettweiler [2015-09-12 17:15:13] 861*2^1409049-1 is not prime. Res64: A6DE1392BF53B78F Time : 0.0 sec. user=mdettweiler [2015-09-12 17:15:14] 889*2^1409049-1 is not prime. Res64: AA9C78FABDFD15BC Time : 0.0 sec. user=mdettweiler [2015-09-12 17:24:26] 955*2^1409049-1 is not prime. Res64: BB6D5140597DA0E2 Time : 0.0 sec. user=mdettweiler [2015-09-12 17:24:26] 813*2^1409050-1 is not prime. Res64: 0AD263AF355C1534 Time : 0.0 sec. user=mdettweiler [2015-09-12 17:25:23] 615*2^1409051-1 is not prime. Res64: 775D14504480CF6A Time : 0.0 sec. user=mdettweiler [2015-09-12 17:25:23] 619*2^1409051-1 is not prime. Res64: 59C86AB935001873 Time : 0.0 sec. user=mdettweiler [2015-09-12 17:34:59] 645*2^1409051-1 is not prime. Res64: D40A2D598106B162 Time : 0.0 sec. user=mdettweiler [2015-09-12 17:34:59] 669*2^1409051-1 is not prime. Res64: 083749A3C2E4DDE6 Time : 0.0 sec. user=mdettweiler [2015-09-12 17:35:49] 753*2^1409051-1 is not prime. Res64: 5C7303151B372615 Time : 0.0 sec. user=mdettweiler [2015-09-12 17:35:50] 781*2^1409051-1 is not prime. Res64: 1725369D6331E2F9 Time : 0.0 sec. user=mdettweiler [2015-09-12 17:43:19] 895*2^1409051-1 is not prime. Res64: F22E4BBE11F21ADA Time : 0.0 sec. user=mdettweiler [2015-09-12 17:43:19] 909*2^1409051-1 is not prime. Res64: 66484C5DFDC096C0 Time : 0.0 sec. user=mdettweiler [2015-09-12 17:44:03] 969*2^1409051-1 is not prime. Res64: CF22E3313041DDD6 Time : 0.0 sec. user=mdettweiler [2015-09-12 17:44:03] 669*2^1409052-1 is not prime. Res64: DFE81D798864078B Time : 0.0 sec. user=mdettweiler [2015-09-12 17:52:47] 675*2^1409052-1 is not prime. Res64: 256BFC9C20BDB316 Time : 0.0 sec. user=mdettweiler [2015-09-12 17:52:47] 723*2^1409052-1 is not prime. Res64: 8364368954805673 Time : 0.0 sec. user=mdettweiler [2015-09-12 17:53:39] 759*2^1409052-1 is not prime. Res64: C28568ACEEE1DBD7 Time : 0.0 sec. user=mdettweiler [2015-09-12 17:53:39] 863*2^1409052-1 is not prime. Res64: 1D8FF37E9B9EA43D Time : 0.0 sec. user=mdettweiler [2015-09-12 18:01:03] 625*2^1409053-1 is not prime. Res64: F739110F96C77B52 Time : 0.0 sec. user=mdettweiler [2015-09-12 18:01:04] 685*2^1409053-1 is not prime. Res64: 22025A13F6031FBD Time : 0.0 sec. user=mdettweiler [2015-09-12 18:01:44] 747*2^1409053-1 is not prime. Res64: 4DCC1366F879E49B Time : 0.0 sec. user=mdettweiler [2015-09-12 18:01:45] 769*2^1409053-1 is not prime. Res64: 380E7A3E76E6FD83 Time : 0.0 sec. user=mdettweiler [2015-09-12 18:10:32] 847*2^1409053-1 is not prime. Res64: CFFFC9FE196D80B4 Time : 0.0 sec. user=mdettweiler [2015-09-12 18:10:33] 855*2^1409053-1 is not prime. Res64: B8A33789387025C2 Time : 0.0 sec. user=mdettweiler [2015-09-12 18:11:35] 861*2^1409053-1 is not prime. Res64: B70757AA47ED380C Time : 0.0 sec. user=mdettweiler [2015-09-12 18:11:36] 937*2^1409053-1 is not prime. Res64: 227D0C258FFDF3B0 Time : 0.0 sec. user=mdettweiler [2015-09-12 18:18:59] 945*2^1409053-1 is not prime. Res64: 4E6FC0EDD57E9586 Time : 0.0 sec. user=mdettweiler [2015-09-12 18:19:00] 645*2^1409054-1 is not prime. Res64: B8C48CA9B694D701 Time : 0.0 sec. user=mdettweiler [2015-09-12 18:19:43] 861*2^1409054-1 is not prime. Res64: 5C01C14C7FC54DE1 Time : 0.0 sec. user=mdettweiler [2015-09-12 18:19:43] 885*2^1409054-1 is not prime. Res64: B61E9E396989FAFA Time : 0.0 sec. user=juhehe [2015-09-12 18:20:38] 929*2^1409052-1 is not prime. Res64: 7E783AE5DF6F141F Time : 0.0 sec. user=mdettweiler [2015-09-12 18:28:27] 903*2^1409054-1 is not prime. Res64: 368FAF256D52D178 Time : 0.0 sec. user=mdettweiler [2015-09-12 18:28:27] 917*2^1409054-1 is not prime. Res64: 9B4289E58B2BE39C Time : 0.0 sec. user=mdettweiler [2015-09-12 18:29:25] 921*2^1409054-1 is not prime. Res64: CCBC52BAC93AD0B8 Time : 0.0 sec. user=mdettweiler [2015-09-12 18:29:26] 935*2^1409054-1 is not prime. Res64: 216328A745A3D080 Time : 0.0 sec. user=mdettweiler [2015-09-12 18:36:46] 793*2^1409055-1 is not prime. Res64: 91EB8990FDC532AA Time : 0.0 sec. user=mdettweiler [2015-09-12 18:36:47] 823*2^1409055-1 is not prime. Res64: E9CCFD38E0BAB1AB Time : 0.0 sec. user=mdettweiler [2015-09-12 18:37:33] 961*2^1409055-1 is not prime. Res64: AAB7CF7F1E27C578 Time : 0.0 sec. user=mdettweiler [2015-09-12 18:37:33] 609*2^1409056-1 is not prime. Res64: A3FD481A86E6F6F5 Time : 0.0 sec. user=mdettweiler [2015-09-12 18:46:10] 693*2^1409056-1 is not prime. Res64: 0B7DA7A94FF1B74D Time : 0.0 sec. user=mdettweiler [2015-09-12 18:46:10] 705*2^1409056-1 is not prime. Res64: 53FCACA4A9D7F791 Time : 0.0 sec. user=mdettweiler [2015-09-12 18:47:09] 845*2^1409056-1 is not prime. Res64: D09E2D273A1AF110 Time : 0.0 sec. user=mdettweiler [2015-09-12 18:47:09] 857*2^1409056-1 is not prime. Res64: 32E7A4589065308B Time : 0.0 sec. user=mdettweiler [2015-09-12 18:54:29] 873*2^1409056-1 is not prime. Res64: A8CBE1DAAA945CC0 Time : 0.0 sec. user=mdettweiler [2015-09-12 18:54:29] 917*2^1409056-1 is not prime. Res64: EEC0EC40AE50F71C Time : 0.0 sec. user=mdettweiler [2015-09-12 18:55:22] 969*2^1409056-1 is not prime. Res64: F8D7EF3C958B73BB Time : 0.0 sec. user=mdettweiler [2015-09-12 18:55:22] 619*2^1409057-1 is not prime. Res64: E277AE0B32FAA06C Time : 0.0 sec. user=juhehe [2015-09-12 18:57:35] 657*2^1409056-1 is not prime. Res64: 9761934949154619 Time : 0.0 sec. user=mdettweiler [2015-09-12 19:03:59] 649*2^1409057-1 is not prime. Res64: 973B4966A05E2CF9 Time : 0.0 sec. user=mdettweiler [2015-09-12 19:04:01] 729*2^1409057-1 is not prime. Res64: E23235194517DC61 Time : 0.0 sec. user=mdettweiler [2015-09-12 19:04:49] 777*2^1409057-1 is not prime. Res64: 905F929F8FB7B070 Time : 0.0 sec. user=mdettweiler [2015-09-12 19:04:52] 799*2^1409057-1 is not prime. Res64: 24062750BF99453F Time : 0.0 sec. user=mdettweiler [2015-09-12 19:12:11] 801*2^1409057-1 is not prime. Res64: 2F2CDCFFA8583F33 Time : 0.0 sec. user=mdettweiler [2015-09-12 19:12:12] 861*2^1409057-1 is not prime. Res64: 6F9E729805AB213B Time : 0.0 sec. user=mdettweiler [2015-09-12 19:13:05] 879*2^1409057-1 is not prime. Res64: B58C0C26B22D3989 Time : 0.0 sec. user=mdettweiler [2015-09-12 19:13:05] 641*2^1409058-1 is not prime. Res64: B44E539F392DDF84 Time : 0.0 sec. user=mdettweiler [2015-09-12 19:21:58] 713*2^1409058-1 is not prime. Res64: 113139B8A1094062 Time : 0.0 sec. user=mdettweiler [2015-09-12 19:21:58] 773*2^1409058-1 is not prime. Res64: F4A63AD54C67192C Time : 0.0 sec. user=mdettweiler [2015-09-12 19:22:33] 741*2^1409059-1 is not prime. Res64: 82591E59F49628A6 Time : 0.0 sec. user=mdettweiler [2015-09-12 19:22:34] 999*2^1409059-1 is not prime. Res64: 62BC9EA078239568 Time : 0.0 sec. user=mdettweiler [2015-09-12 19:30:01] 677*2^1409060-1 is not prime. Res64: 26174D6EBFCAF32D Time : 0.0 sec. user=mdettweiler [2015-09-12 19:30:01] 773*2^1409060-1 is not prime. Res64: 5F4EA7B49919D915 Time : 0.0 sec. user=mdettweiler [2015-09-12 19:30:52] 959*2^1409060-1 is not prime. Res64: F8F9C96CE45856A1 Time : 0.0 sec. user=mdettweiler [2015-09-12 19:30:52] 963*2^1409060-1 is not prime. Res64: 166BC2582AD1AA12 Time : 0.0 sec. user=mdettweiler [2015-09-12 19:39:44] 999*2^1409060-1 is not prime. Res64: 42518AC7C92F3AC7 Time : 0.0 sec. user=mdettweiler [2015-09-12 19:39:45] 607*2^1409061-1 is not prime. Res64: 31D269C0AE1EC274 Time : 0.0 sec. user=mdettweiler [2015-09-12 19:40:29] 885*2^1409061-1 is not prime. Res64: 22388CD27236C617 Time : 0.0 sec. user=mdettweiler [2015-09-12 19:40:30] 949*2^1409061-1 is not prime. Res64: 4231065F2E848724 Time : 0.0 sec. user=mdettweiler [2015-09-12 19:47:47] 999*2^1409061-1 is not prime. Res64: 6004256A200BF3C6 Time : 0.0 sec. user=mdettweiler [2015-09-12 19:47:48] 681*2^1409062-1 is not prime. Res64: 6778E868E3F1C62D Time : 0.0 sec. user=mdettweiler [2015-09-12 19:48:36] 741*2^1409062-1 is not prime. Res64: E67989CA240ACB71 Time : 0.0 sec. user=mdettweiler [2015-09-12 19:48:36] 885*2^1409062-1 is not prime. Res64: 7CD76B48436C1F4B Time : 0.0 sec. user=mdettweiler [2015-09-12 19:57:34] 771*2^1409063-1 is not prime. Res64: 4C6DE3B636F14666 Time : 0.0 sec. user=mdettweiler [2015-09-12 19:57:35] 781*2^1409063-1 is not prime. Res64: F164B2761D97D488 Time : 0.0 sec. user=mdettweiler [2015-09-12 19:58:38] 823*2^1409063-1 is not prime. Res64: 98BBF70ECB2EF202 Time : 0.0 sec. user=mdettweiler [2015-09-12 19:58:38] 921*2^1409063-1 is not prime. Res64: 43550D6868046AAE Time : 0.0 sec. user=mdettweiler [2015-09-12 20:05:51] 939*2^1409063-1 is not prime. Res64: 034A455C77B16EA1 Time : 0.0 sec. user=mdettweiler [2015-09-12 20:05:52] 943*2^1409063-1 is not prime. Res64: F9BD6ABA51358631 Time : 0.0 sec. user=mdettweiler [2015-09-12 20:06:27] 973*2^1409063-1 is not prime. Res64: 3D3660902C59C4C1 Time : 0.0 sec. user=mdettweiler [2015-09-12 20:06:27] 609*2^1409064-1 is not prime. Res64: 1430EDC2E72B009F Time : 0.0 sec. user=juhehe [2015-09-12 20:14:05] 745*2^1409063-1 is not prime. Res64: C1313778CF8195A3 Time : 0.0 sec. user=mdettweiler [2015-09-12 20:15:28] 929*2^1409064-1 is not prime. Res64: 7E8BAB2B19F3CA1B Time : 0.0 sec. user=mdettweiler [2015-09-12 20:15:29] 947*2^1409064-1 is not prime. Res64: 805E38F2E0A3DDF7 Time : 0.0 sec. user=mdettweiler [2015-09-12 20:16:32] 959*2^1409064-1 is not prime. Res64: 16AD7E1A23D8A214 Time : 0.0 sec. user=mdettweiler [2015-09-12 20:16:33] 975*2^1409064-1 is not prime. Res64: D23849D9B5BF9C42 Time : 0.0 sec. user=mdettweiler [2015-09-12 20:23:47] 607*2^1409065-1 is not prime. Res64: 38AEC70DFEDE817A Time : 0.0 sec. user=mdettweiler [2015-09-12 20:23:48] 667*2^1409065-1 is not prime. Res64: 8F47E0602522C54E Time : 0.0 sec. user=mdettweiler [2015-09-12 20:24:21] 841*2^1409065-1 is not prime. Res64: 406226FFC605623A Time : 0.0 sec. user=mdettweiler [2015-09-12 20:24:21] 937*2^1409065-1 is not prime. Res64: 022EC7BD8F37C9A1 Time : 0.0 sec. user=mdettweiler [2015-09-12 20:33:27] 997*2^1409065-1 is not prime. Res64: 1F2AB5A2A2B13149 Time : 0.0 sec. user=mdettweiler [2015-09-12 20:33:28] 831*2^1409066-1 is not prime. Res64: B42923423D4DBDAD Time : 0.0 sec. user=mdettweiler [2015-09-12 20:34:16] 867*2^1409066-1 is not prime. Res64: F83363AA4D5DBBC3 Time : 0.0 sec. user=mdettweiler [2015-09-12 20:34:16] 873*2^1409066-1 is not prime. Res64: 35421A55DD71D1B7 Time : 0.0 sec. user=mdettweiler [2015-09-12 20:41:38] 903*2^1409066-1 is not prime. Res64: E23C0276C66FE286 Time : 0.0 sec. user=mdettweiler [2015-09-12 20:41:38] 639*2^1409067-1 is not prime. Res64: CF76DB7FBEA02B26 Time : 0.0 sec. user=mdettweiler [2015-09-12 20:42:05] 765*2^1409067-1 is not prime. Res64: F2C4F9FA7D34DF68 Time : 0.0 sec. user=mdettweiler [2015-09-12 20:42:06] 805*2^1409067-1 is not prime. Res64: D0BF1E9E0B7E85B5 Time : 0.0 sec. user=mdettweiler [2015-09-12 20:51:17] 901*2^1409067-1 is not prime. Res64: F5DA1876A1F8E205 Time : 0.0 sec. user=mdettweiler [2015-09-12 20:51:18] 961*2^1409067-1 is not prime. Res64: 88735AF4608C177C Time : 0.0 sec. user=mdettweiler [2015-09-12 20:51:58] 639*2^1409068-1 is not prime. Res64: ABB08E44A3F9DA17 Time : 0.0 sec. user=mdettweiler [2015-09-12 20:51:59] 687*2^1409068-1 is not prime. Res64: 3932933B7C7EE703 Time : 0.0 sec. user=mdettweiler [2015-09-12 20:59:24] 803*2^1409068-1 is not prime. Res64: 5969025691BB61D2 Time : 0.0 sec. user=mdettweiler [2015-09-12 20:59:25] 827*2^1409068-1 is not prime. Res64: 7D066D8FE55F9730 Time : 0.0 sec. user=mdettweiler [2015-09-12 20:59:52] 839*2^1409068-1 is not prime. Res64: D5AC88837B66AEB7 Time : 0.0 sec. user=mdettweiler [2015-09-12 20:59:52] 615*2^1409069-1 is not prime. Res64: 0ABB56836C13AE71 Time : 0.0 sec. user=mdettweiler [2015-09-12 21:09:01] 621*2^1409069-1 is not prime. Res64: AE16187223EF7F65 Time : 0.0 sec. user=mdettweiler [2015-09-12 21:09:02] 721*2^1409069-1 is not prime. Res64: 1BED310341FB7D65 Time : 0.0 sec. user=mdettweiler [2015-09-12 21:09:41] 729*2^1409069-1 is not prime. Res64: DE1873CFB0986B77 Time : 0.0 sec. user=mdettweiler [2015-09-12 21:09:42] 795*2^1409069-1 is not prime. Res64: 6D362FF40ADBB87B Time : 0.0 sec. user=mdettweiler [2015-09-12 21:17:11] 707*2^1409070-1 is not prime. Res64: 1A8D4F34747B6365 Time : 0.0 sec. user=mdettweiler [2015-09-12 21:17:12] 933*2^1409070-1 is not prime. Res64: EFE853EF901E3D77 Time : 0.0 sec. user=mdettweiler [2015-09-12 21:17:40] 971*2^1409070-1 is not prime. Res64: 0E65B9F3BFD077E0 Time : 0.0 sec. user=mdettweiler [2015-09-12 21:17:41] 693*2^1409071-1 is not prime. Res64: 2E5302E2C38A6D44 Time : 0.0 sec. user=mdettweiler [2015-09-12 21:27:12] 813*2^1409071-1 is not prime. Res64: 1CBFE05B355E3AC5 Time : 0.0 sec. user=mdettweiler [2015-09-12 21:27:13] 829*2^1409071-1 is not prime. Res64: 8A8E27B654CA0A67 Time : 0.0 sec. user=mdettweiler [2015-09-12 21:27:49] 859*2^1409071-1 is not prime. Res64: AD55150BEE684030 Time : 0.0 sec. user=mdettweiler [2015-09-12 21:27:49] 861*2^1409071-1 is not prime. Res64: 0AE07093607F697D Time : 0.0 sec. user=juhehe [2015-09-12 21:34:42] 847*2^1409069-1 is not prime. Res64: 432D2AEA3C1D5A72 Time : 0.0 sec. user=mdettweiler [2015-09-12 21:35:32] 961*2^1409071-1 is not prime. Res64: 5C506776DB6F32FE Time : 0.0 sec. user=mdettweiler [2015-09-12 21:35:32] 969*2^1409071-1 is not prime. Res64: DF85AB9A2EB0A1E7 Time : 0.0 sec. user=mdettweiler [2015-09-12 21:36:06] 993*2^1409071-1 is not prime. Res64: E00A07BE0323FC7F Time : 0.0 sec. user=mdettweiler [2015-09-12 21:36:06] 615*2^1409072-1 is not prime. Res64: 2C2C3E7565114407 Time : 0.0 sec. user=mdettweiler [2015-09-12 21:46:07] 725*2^1409072-1 is not prime. Res64: 4DE16E87E19EF185 Time : 0.0 sec. user=mdettweiler [2015-09-12 21:46:07] 977*2^1409072-1 is not prime. Res64: 9A0E5E690283704E Time : 0.0 sec. user=mdettweiler [2015-09-12 21:46:53] 983*2^1409072-1 is not prime. Res64: 73F8820350C0365F Time : 0.0 sec. user=mdettweiler [2015-09-12 21:46:54] 639*2^1409073-1 is not prime. Res64: D829E9CC3B878F3E Time : 0.0 sec. user=mdettweiler [2015-09-12 21:54:50] 651*2^1409073-1 is not prime. Res64: C28492CABDC4271E Time : 0.0 sec. user=mdettweiler [2015-09-12 21:54:50] 871*2^1409073-1 is not prime. Res64: 03FDC3C6D62233DE Time : 0.0 sec. user=mdettweiler [2015-09-12 21:55:19] 889*2^1409073-1 is not prime. Res64: 7FF9EF4F39570E3C Time : 0.0 sec. user=mdettweiler [2015-09-12 21:55:19] 945*2^1409073-1 is not prime. Res64: 6A98FE9C8DD92639 Time : 0.0 sec. user=mdettweiler [2015-09-12 22:04:55] 951*2^1409073-1 is not prime. Res64: 3DCD95C74C275E67 Time : 0.0 sec. user=mdettweiler [2015-09-12 22:04:56] 617*2^1409074-1 is not prime. Res64: 7C0DCDD42640E464 Time : 0.0 sec. user=mdettweiler [2015-09-12 22:05:46] 651*2^1409074-1 is not prime. Res64: 83665878E5C2E5CC Time : 0.0 sec. user=mdettweiler [2015-09-12 22:05:46] 675*2^1409074-1 is not prime. Res64: E08D527294F05AB8 Time : 0.0 sec. user=mdettweiler [2015-09-12 22:13:35] 755*2^1409074-1 is not prime. Res64: AD22B0191B11C373 Time : 0.0 sec. user=mdettweiler [2015-09-12 22:13:35] 1001*2^1409074-1 is not prime. Res64: 8A2F98E757CAAAB4 Time : 0.0 sec. user=mdettweiler [2015-09-12 22:14:10] 655*2^1409075-1 is not prime. Res64: 40DA09F99F26F2DE Time : 0.0 sec. user=mdettweiler [2015-09-12 22:14:10] 693*2^1409075-1 is not prime. Res64: 2592582A0A006F1D Time : 0.0 sec. user=mdettweiler [2015-09-12 22:23:57] 883*2^1409075-1 is not prime. Res64: 9DF43D6F002E9DF5 Time : 0.0 sec. user=mdettweiler [2015-09-12 22:23:57] 963*2^1409075-1 is not prime. Res64: 5F67FA49D90E6BD7 Time : 0.0 sec. user=mdettweiler [2015-09-12 22:24:55] 639*2^1409076-1 is not prime. Res64: B56E296EA0D89403 Time : 0.0 sec. user=mdettweiler [2015-09-12 22:24:56] 675*2^1409076-1 is not prime. Res64: 752BC992074B6EED Time : 0.0 sec. user=mdettweiler [2015-09-12 22:32:25] 689*2^1409076-1 is not prime. Res64: ED35C586825B996B Time : 0.0 sec. user=mdettweiler [2015-09-12 22:32:26] 699*2^1409076-1 is not prime. Res64: 332FC03214D906F0 Time : 0.0 sec. user=mdettweiler [2015-09-12 22:32:54] 705*2^1409076-1 is not prime. Res64: A28F3A07227F64B7 Time : 0.0 sec. user=mdettweiler [2015-09-12 22:32:55] 749*2^1409076-1 is not prime. Res64: 8CB1F7268B9D942F Time : 0.0 sec. user=mdettweiler [2015-09-12 22:42:02] 773*2^1409076-1 is not prime. Res64: AED0E67828F8EF35 Time : 0.0 sec. user=mdettweiler [2015-09-12 22:42:02] 923*2^1409076-1 is not prime. Res64: C0DCB1FCBCB35190 Time : 0.0 sec. user=mdettweiler [2015-09-12 22:42:53] 999*2^1409076-1 is not prime. Res64: F40B8D388C01610F Time : 0.0 sec. user=mdettweiler [2015-09-12 22:42:53] 691*2^1409077-1 is not prime. Res64: A1944C676C7E0B86 Time : 0.0 sec. user=mdettweiler [2015-09-12 22:50:04] 757*2^1409077-1 is not prime. Res64: 30120F66D2FCC3EB Time : 0.0 sec. user=mdettweiler [2015-09-12 22:50:05] 799*2^1409077-1 is not prime. Res64: B0575A4976F30D2F Time : 0.0 sec. user=mdettweiler [2015-09-12 22:50:36] 817*2^1409077-1 is not prime. Res64: ED635F26F2CF8A73 Time : 0.0 sec. user=mdettweiler [2015-09-12 22:50:37] 859*2^1409077-1 is not prime. Res64: 614B9562957D7FA8 Time : 0.0 sec. user=mdettweiler [2015-09-12 22:59:32] 915*2^1409077-1 is not prime. Res64: 603C8BAB9CB01AD3 Time : 0.0 sec. user=mdettweiler [2015-09-12 22:59:33] 997*2^1409077-1 is not prime. Res64: 759D3B4508B30C99 Time : 0.0 sec. user=mdettweiler [2015-09-12 23:00:30] 635*2^1409078-1 is not prime. Res64: AF51DF52705C13AF Time : 0.0 sec. user=mdettweiler [2015-09-12 23:00:31] 773*2^1409078-1 is not prime. Res64: 0D439989B283A7C3 Time : 0.0 sec. user=mdettweiler [2015-09-12 23:07:35] 795*2^1409078-1 is not prime. Res64: 95710E0AFCDE38FE Time : 0.0 sec. user=mdettweiler [2015-09-12 23:07:36] 843*2^1409078-1 is not prime. Res64: 5DEC7B3CFABF63D9 Time : 0.0 sec. user=mdettweiler [2015-09-12 23:08:09] 945*2^1409078-1 is not prime. Res64: E069B7EBB73978B0 Time : 0.0 sec. user=mdettweiler [2015-09-12 23:08:10] 621*2^1409079-1 is not prime. Res64: A9213D41330F9E73 Time : 0.0 sec. user=mdettweiler [2015-09-12 23:17:14] 795*2^1409079-1 is not prime. Res64: 80568AAFA5E18ABD Time : 0.0 sec. user=mdettweiler [2015-09-12 23:17:14] 831*2^1409079-1 is not prime. Res64: B3FE98465EA84C65 Time : 0.0 sec. user=mdettweiler [2015-09-12 23:18:11] 961*2^1409079-1 is not prime. Res64: 8B6913E01C566315 Time : 0.0 sec. user=mdettweiler [2015-09-12 23:18:11] 693*2^1409080-1 is not prime. Res64: 308EE87CF0BEE0FD Time : 0.0 sec. user=mdettweiler [2015-09-12 23:25:13] 713*2^1409080-1 is not prime. Res64: 0F04E04887AE94C8 Time : 0.0 sec. user=mdettweiler [2015-09-12 23:25:13] 723*2^1409080-1 is not prime. Res64: 8FD667C33C107D26 Time : 0.0 sec. user=mdettweiler [2015-09-12 23:25:45] 845*2^1409080-1 is not prime. Res64: FC9C86C40991A8FF Time : 0.0 sec. user=mdettweiler [2015-09-12 23:25:45] 875*2^1409080-1 is not prime. Res64: CFDAB27FFEF242E1 Time : 0.0 sec. user=juhehe [2015-09-12 23:28:27] 625*2^1409079-1 is not prime. Res64: 406BA2AC6CF6C994 Time : 0.0 sec. user=mdettweiler [2015-09-12 23:34:54] 939*2^1409080-1 is not prime. Res64: 9F1ACE450E648FD4 Time : 0.0 sec. user=mdettweiler [2015-09-12 23:34:54] 675*2^1409081-1 is not prime. Res64: 34616FDD3467036D Time : 0.0 sec. user=mdettweiler [2015-09-12 23:35:52] 735*2^1409081-1 is not prime. Res64: 0BF7BB1E189A0DCF Time : 0.0 sec. user=mdettweiler [2015-09-12 23:35:52] 775*2^1409081-1 is not prime. Res64: 406C17F10C249D40 Time : 0.0 sec. user=mdettweiler [2015-09-12 23:42:49] 865*2^1409081-1 is not prime. Res64: 3CCFB2124F96628B Time : 0.0 sec. user=mdettweiler [2015-09-12 23:42:49] 889*2^1409081-1 is not prime. Res64: 48F1C093A37E346D Time : 0.0 sec. user=mdettweiler [2015-09-12 23:43:23] 909*2^1409081-1 is not prime. Res64: D6D7B968786C7730 Time : 0.0 sec. user=mdettweiler [2015-09-12 23:43:23] 957*2^1409081-1 is not prime. Res64: E2B465E2BFA6DA89 Time : 0.0 sec. user=mdettweiler [2015-09-12 23:52:30] 979*2^1409081-1 is not prime. Res64: 9B3B550573E9A186 Time : 0.0 sec. user=mdettweiler [2015-09-12 23:52:31] 997*2^1409081-1 is not prime. Res64: 47C6642F78CC0055 Time : 0.0 sec. user=mdettweiler [2015-09-12 23:53:32] 621*2^1409082-1 is not prime. Res64: 3D1666D659D4E775 Time : 0.0 sec. user=mdettweiler [2015-09-12 23:53:32] 647*2^1409082-1 is not prime. Res64: 06340B0470DECD42 Time : 0.0 sec. user=mdettweiler [2015-09-13 00:00:43] 731*2^1409082-1 is not prime. Res64: 448007F4050193F0 Time : 0.0 sec. user=mdettweiler [2015-09-13 00:00:43] 741*2^1409082-1 is not prime. Res64: 3D1AC00BFB3B8D10 Time : 0.0 sec.