user=mdettweiler [2016-12-05 00:03:29] 895*2^1447751-1 is not prime. Res64: F5217417BC92C1F5 Time : 0.0 sec. user=mdettweiler [2016-12-05 00:03:30] 913*2^1447751-1 is not prime. Res64: 6BB3106294101DEB Time : 0.0 sec. user=mdettweiler [2016-12-05 00:03:31] 999*2^1447751-1 is not prime. Res64: 6B4D6370218AD329 Time : 0.0 sec. user=mdettweiler [2016-12-05 00:03:32] 609*2^1447752-1 is not prime. Res64: 369EE4760A7BFC5E Time : 0.0 sec. user=mdettweiler [2016-12-05 00:03:32] 635*2^1447752-1 is not prime. Res64: D84FB3C3790C78A4 Time : 0.0 sec. user=mdettweiler [2016-12-05 00:07:57] 657*2^1447752-1 is not prime. Res64: 158833256696D12D Time : 0.0 sec. user=mdettweiler [2016-12-05 00:07:58] 725*2^1447752-1 is not prime. Res64: 31149EDC0548F10E Time : 0.0 sec. user=mdettweiler [2016-12-05 00:07:59] 909*2^1447752-1 is not prime. Res64: F5239B1920D034F2 Time : 0.0 sec. user=mdettweiler [2016-12-05 00:08:01] 741*2^1447753-1 is not prime. Res64: 60DDA8B41D2D33EA Time : 0.0 sec. user=mdettweiler [2016-12-05 00:08:01] 769*2^1447753-1 is not prime. Res64: 9F74181A12564F51 Time : 0.0 sec. user=mdettweiler [2016-12-05 00:48:34] 801*2^1447753-1 is not prime. Res64: B93F0E4274B4AC4C Time : 0.0 sec. user=mdettweiler [2016-12-05 00:48:35] 817*2^1447753-1 is not prime. Res64: E4D36DE90E1E58D9 Time : 0.0 sec. user=mdettweiler [2016-12-05 00:48:35] 999*2^1447753-1 is not prime. Res64: 24296A088E4748E9 Time : 0.0 sec. user=mdettweiler [2016-12-05 00:48:35] 657*2^1447754-1 is not prime. Res64: 55E1C091A54204CB Time : 0.0 sec. user=mdettweiler [2016-12-05 00:48:35] 785*2^1447754-1 is not prime. Res64: 8572043BD85EC5C7 Time : 0.0 sec. user=mdettweiler [2016-12-05 00:50:42] 827*2^1447754-1 is not prime. Res64: 765726D918B87A2E Time : 0.0 sec. user=mdettweiler [2016-12-05 00:50:42] 831*2^1447754-1 is not prime. Res64: 5B01ABDF74709380 Time : 0.0 sec. user=mdettweiler [2016-12-05 00:50:42] 981*2^1447754-1 is not prime. Res64: E13D3DAEA28142A1 Time : 0.0 sec. user=mdettweiler [2016-12-05 00:50:43] 613*2^1447755-1 is not prime. Res64: 4080CC1CEF48153B Time : 0.0 sec. user=mdettweiler [2016-12-05 00:50:43] 723*2^1447755-1 is not prime. Res64: 9586DF59EE5341AB Time : 0.0 sec. user=mdettweiler [2016-12-05 00:56:56] 859*2^1447755-1 is not prime. Res64: E7663CF59AA25441 Time : 0.0 sec. user=mdettweiler [2016-12-05 00:56:56] 921*2^1447755-1 is not prime. Res64: E20BEA70E74F0B00 Time : 0.0 sec. user=mdettweiler [2016-12-05 00:56:57] 943*2^1447755-1 is not prime. Res64: 84ABCF508C54621F Time : 0.0 sec. user=mdettweiler [2016-12-05 00:56:57] 657*2^1447756-1 is not prime. Res64: 3BF7CE0197E0DDC7 Time : 0.0 sec. user=mdettweiler [2016-12-05 00:56:57] 723*2^1447756-1 is not prime. Res64: 4E9D5CD1BE804078 Time : 0.0 sec. user=mdettweiler [2016-12-05 01:01:16] 939*2^1447756-1 is not prime. Res64: EDFF8387F3BCAB0F Time : 0.0 sec. user=mdettweiler [2016-12-05 01:01:17] 969*2^1447756-1 is not prime. Res64: 1DEB173A23462AD0 Time : 0.0 sec. user=mdettweiler [2016-12-05 01:01:18] 615*2^1447757-1 is not prime. Res64: 666B56CC01ED768E Time : 0.0 sec. user=mdettweiler [2016-12-05 01:01:19] 619*2^1447757-1 is not prime. Res64: 677D34357950198E Time : 0.0 sec. user=mdettweiler [2016-12-05 01:01:20] 621*2^1447757-1 is not prime. Res64: FEC37C78713599C9 Time : 0.0 sec. user=mdettweiler [2016-12-05 01:40:30] 861*2^1447757-1 is not prime. Res64: D626EE1497F4C87A Time : 0.0 sec. user=mdettweiler [2016-12-05 01:40:30] 885*2^1447757-1 is not prime. Res64: F05D1DA84E9B2036 Time : 0.0 sec. user=mdettweiler [2016-12-05 01:40:31] 889*2^1447757-1 is not prime. Res64: D6DF366D575BF058 Time : 0.0 sec. user=mdettweiler [2016-12-05 01:40:31] 945*2^1447757-1 is not prime. Res64: D1B284F4C0E89093 Time : 0.0 sec. user=mdettweiler [2016-12-05 01:40:31] 985*2^1447757-1 is not prime. Res64: 7DD909CFF67630BE Time : 0.0 sec. user=mdettweiler [2016-12-05 01:42:48] 605*2^1447758-1 is not prime. Res64: A0C1D26CBC62029D Time : 0.0 sec. user=mdettweiler [2016-12-05 01:42:48] 681*2^1447758-1 is not prime. Res64: 2B84048DCC0A38DB Time : 0.0 sec. user=mdettweiler [2016-12-05 01:42:48] 683*2^1447758-1 is not prime. Res64: 1FC31F0ECF2984F5 Time : 0.0 sec. user=mdettweiler [2016-12-05 01:42:48] 707*2^1447758-1 is not prime. Res64: 1AB6DF6EBBC30249 Time : 0.0 sec. user=mdettweiler [2016-12-05 01:42:49] 725*2^1447758-1 is not prime. Res64: 6C7ABDB2D6844EDC Time : 0.0 sec. user=mdettweiler [2016-12-05 01:48:26] 825*2^1447758-1 is not prime. Res64: D308D12C0C1F6919 Time : 0.0 sec. user=mdettweiler [2016-12-05 01:48:27] 957*2^1447758-1 is not prime. Res64: 922810A325DBBB26 Time : 0.0 sec. user=mdettweiler [2016-12-05 01:48:27] 977*2^1447758-1 is not prime. Res64: 335B2D956C3D277E Time : 0.0 sec. user=mdettweiler [2016-12-05 01:48:27] 681*2^1447759-1 is not prime. Res64: 4A792EEE7E1B1449 Time : 0.0 sec. user=mdettweiler [2016-12-05 01:48:28] 873*2^1447759-1 is not prime. Res64: 9DFB01241A43BE5B Time : 0.0 sec. user=mdettweiler [2016-12-05 01:52:45] 939*2^1447759-1 is not prime. Res64: 0663CDD1C82C10D9 Time : 0.0 sec. user=mdettweiler [2016-12-05 01:52:45] 713*2^1447760-1 is not prime. Res64: FF51B153217F38F3 Time : 0.0 sec. user=mdettweiler [2016-12-05 01:52:45] 977*2^1447760-1 is not prime. Res64: C8EAFF858BFFA796 Time : 0.0 sec. user=mdettweiler [2016-12-05 01:52:46] 847*2^1447761-1 is not prime. Res64: BD07965C614ACDB2 Time : 0.0 sec. user=mdettweiler [2016-12-05 01:52:46] 949*2^1447761-1 is not prime. Res64: C55E81A2EAD8D42D Time : 0.0 sec. user=mdettweiler [2016-12-05 02:26:12] 951*2^1447761-1 is not prime. Res64: B3794C35ADA155AB Time : 0.0 sec. user=mdettweiler [2016-12-05 02:26:13] 955*2^1447761-1 is not prime. Res64: 6E38E80DD9AFE289 Time : 0.0 sec. user=mdettweiler [2016-12-05 02:26:13] 653*2^1447762-1 is not prime. Res64: D9FE597E60C20E3C Time : 0.0 sec. user=mdettweiler [2016-12-05 02:26:13] 713*2^1447762-1 is not prime. Res64: 79A59EBDF8E35B9E Time : 0.0 sec. user=mdettweiler [2016-12-05 02:26:14] 717*2^1447762-1 is not prime. Res64: B28F0A81DDFCAEF3 Time : 0.0 sec. user=mdettweiler [2016-12-05 02:28:48] 741*2^1447762-1 is not prime. Res64: B6508456DD8ECEE7 Time : 0.0 sec. user=mdettweiler [2016-12-05 02:28:48] 983*2^1447762-1 is not prime. Res64: DB4E8CDA089C704E Time : 0.0 sec. user=mdettweiler [2016-12-05 02:28:49] 669*2^1447763-1 is not prime. Res64: 6F65B4D0EBEDA522 Time : 0.0 sec. user=mdettweiler [2016-12-05 02:28:49] 735*2^1447763-1 is not prime. Res64: 427CF6C2E63FA3F8 Time : 0.0 sec. user=mdettweiler [2016-12-05 02:28:49] 741*2^1447763-1 is not prime. Res64: B1905E091F5DFCC6 Time : 0.0 sec. user=mdettweiler [2016-12-05 02:34:40] 853*2^1447763-1 is not prime. Res64: E2EB3EC807B72BB9 Time : 0.0 sec. user=mdettweiler [2016-12-05 02:34:40] 895*2^1447763-1 is not prime. Res64: 021E5120F7B79A0B Time : 0.0 sec. user=mdettweiler [2016-12-05 02:34:40] 939*2^1447763-1 is not prime. Res64: E9544864DADFA755 Time : 0.0 sec. user=mdettweiler [2016-12-05 02:34:41] 963*2^1447763-1 is not prime. Res64: D56CDCCC677EDAF0 Time : 0.0 sec. user=mdettweiler [2016-12-05 02:34:41] 635*2^1447764-1 is not prime. Res64: 6D3F2CB31494CD2E Time : 0.0 sec. user=mdettweiler [2016-12-05 02:39:04] 893*2^1447764-1 is not prime. Res64: 4B22BFD231930A8B Time : 0.0 sec. user=mdettweiler [2016-12-05 02:39:05] 715*2^1447765-1 is not prime. Res64: CAC76F7588A41777 Time : 0.0 sec. user=mdettweiler [2016-12-05 02:39:06] 729*2^1447765-1 is not prime. Res64: A74C84999C8DE5ED Time : 0.0 sec. user=mdettweiler [2016-12-05 02:39:07] 741*2^1447765-1 is not prime. Res64: 13B7C5C27E177A1B Time : 0.0 sec. user=mdettweiler [2016-12-05 02:39:08] 859*2^1447765-1 is not prime. Res64: DC729C6864AACBCD Time : 0.0 sec. user=mdettweiler [2016-12-05 03:12:02] 861*2^1447765-1 is not prime. Res64: F0A35A49207D9E03 Time : 0.0 sec. user=mdettweiler [2016-12-05 03:12:02] 867*2^1447765-1 is not prime. Res64: E6FC451E0F251864 Time : 0.0 sec. user=mdettweiler [2016-12-05 03:12:02] 755*2^1447766-1 is not prime. Res64: 3EE3CA268505FB99 Time : 0.0 sec. user=mdettweiler [2016-12-05 03:12:03] 773*2^1447766-1 is not prime. Res64: D2CF5B647A2DDB3B Time : 0.0 sec. user=mdettweiler [2016-12-05 03:12:03] 813*2^1447766-1 is not prime. Res64: BB254E06C775A88E Time : 0.0 sec. user=mdettweiler [2016-12-05 03:14:50] 981*2^1447766-1 is not prime. Res64: 99DABA48BF1BEAA1 Time : 0.0 sec. user=mdettweiler [2016-12-05 03:14:50] 643*2^1447767-1 is not prime. Res64: CB966B99DEBA4F9A Time : 0.0 sec. user=mdettweiler [2016-12-05 03:14:50] 703*2^1447767-1 is not prime. Res64: 849B70F7386FD307 Time : 0.0 sec. user=mdettweiler [2016-12-05 03:14:51] 739*2^1447767-1 is not prime. Res64: E36ADD99478A4466 Time : 0.0 sec. user=mdettweiler [2016-12-05 03:14:51] 823*2^1447767-1 is not prime. Res64: A4CE8734F7F403C9 Time : 0.0 sec. user=mdettweiler [2016-12-05 03:20:16] 829*2^1447767-1 is not prime. Res64: 75D3C9C794798144 Time : 0.0 sec. user=mdettweiler [2016-12-05 03:20:17] 635*2^1447768-1 is not prime. Res64: 45CC828A1338EA5F Time : 0.0 sec. user=mdettweiler [2016-12-05 03:20:17] 645*2^1447768-1 is not prime. Res64: 51D61C3C63DA9574 Time : 0.0 sec. user=mdettweiler [2016-12-05 03:20:18] 687*2^1447768-1 is not prime. Res64: F07B97265B93862A Time : 0.0 sec. user=mdettweiler [2016-12-05 03:20:19] 869*2^1447768-1 is not prime. Res64: 73D6D1EA7DCD9742 Time : 0.0 sec. user=mdettweiler [2016-12-05 03:24:22] 927*2^1447768-1 is not prime. Res64: 6721F902B651C13D Time : 0.0 sec. user=mdettweiler [2016-12-05 03:24:24] 989*2^1447768-1 is not prime. Res64: 0087C04445E8314C Time : 0.0 sec. user=mdettweiler [2016-12-05 03:24:25] 627*2^1447769-1 is not prime. Res64: A0F843A8283F3AEF Time : 0.0 sec. user=mdettweiler [2016-12-05 03:24:26] 637*2^1447769-1 is not prime. Res64: 2A1CFA0EBA98EEA3 Time : 0.0 sec. user=mdettweiler [2016-12-05 03:24:26] 697*2^1447769-1 is not prime. Res64: AF8402E292718E85 Time : 0.0 sec. user=mdettweiler [2016-12-05 03:58:04] 781*2^1447769-1 is not prime. Res64: C68187625D315EB5 Time : 0.0 sec. user=mdettweiler [2016-12-05 03:58:05] 789*2^1447769-1 is not prime. Res64: FDEC25FE9C4FB85C Time : 0.0 sec. user=mdettweiler [2016-12-05 03:58:09] 951*2^1447769-1 is not prime. Res64: E77657F727505E14 Time : 0.0 sec. user=mdettweiler [2016-12-05 03:58:11] 955*2^1447769-1 is not prime. Res64: E94CEDB325435044 Time : 0.0 sec. user=mdettweiler [2016-12-05 03:58:13] 647*2^1447770-1 is not prime. Res64: 1778B8E030DBAE1E Time : 0.0 sec. user=mdettweiler [2016-12-05 04:00:47] 657*2^1447770-1 is not prime. Res64: 19C277EB1AE8713C Time : 0.0 sec. user=mdettweiler [2016-12-05 04:00:58] 851*2^1447770-1 is not prime. Res64: 3559D7ACB979A736 Time : 0.0 sec. user=mdettweiler [2016-12-05 04:06:30] 841*2^1447771-1 is not prime. Res64: 25AC86ADA613DAAA Time : 0.0 sec. user=mdettweiler [2016-12-05 04:06:35] 855*2^1447771-1 is not prime. Res64: 9AF3E6DA9BEE9C82 Time : 0.0 sec. user=mdettweiler [2016-12-05 04:06:37] 861*2^1447771-1 is not prime. Res64: 6302C8E8E66285E8 Time : 0.0 sec. user=mdettweiler [2016-12-05 04:06:41] 961*2^1447771-1 is not prime. Res64: 2832F92E72D36399 Time : 0.0 sec. user=mdettweiler [2016-12-05 04:06:45] 693*2^1447772-1 is not prime. Res64: E54197BF52A28B66 Time : 0.0 sec. user=mdettweiler [2016-12-05 04:10:36] 825*2^1447772-1 is not prime. Res64: 41786FC31569E32C Time : 0.0 sec. user=mdettweiler [2016-12-05 04:10:40] 899*2^1447772-1 is not prime. Res64: A62273CEC47F7843 Time : 0.0 sec. user=mdettweiler [2016-12-05 04:10:42] 615*2^1447773-1 is not prime. Res64: 447FA26EDAE1F75A Time : 0.0 sec. user=mdettweiler [2016-12-05 04:10:46] 621*2^1447773-1 is not prime. Res64: 321E09703B8F77D7 Time : 0.0 sec. user=mdettweiler [2016-12-05 04:10:49] 741*2^1447773-1 is not prime. Res64: B0A4D949DDFA38BA Time : 0.0 sec. user=mdettweiler [2016-12-05 04:44:30] 751*2^1447773-1 is not prime. Res64: 3D1DD4F500BBBFE4 Time : 0.0 sec. user=mdettweiler [2016-12-05 04:44:31] 795*2^1447773-1 is not prime. Res64: 35953FEF4D418F6E Time : 0.0 sec. user=mdettweiler [2016-12-05 04:44:31] 805*2^1447773-1 is not prime. Res64: F90439FB3556378D Time : 0.0 sec. user=mdettweiler [2016-12-05 04:44:31] 885*2^1447773-1 is not prime. Res64: B8DC260F7DDDE834 Time : 0.0 sec. user=mdettweiler [2016-12-05 04:44:31] 617*2^1447774-1 is not prime. Res64: 5A33C7DD27EED763 Time : 0.0 sec. user=mdettweiler [2016-12-05 04:53:16] 651*2^1447774-1 is not prime. Res64: D5D1473F0FFA73F1 Time : 0.0 sec. user=mdettweiler [2016-12-05 04:53:17] 755*2^1447774-1 is not prime. Res64: 5DDD0E0712223FB2 Time : 0.0 sec. user=mdettweiler [2016-12-05 04:53:17] 773*2^1447774-1 is not prime. Res64: 495BC58185B6F8FF Time : 0.0 sec. user=mdettweiler [2016-12-05 04:53:17] 915*2^1447774-1 is not prime. Res64: A8EB2927F3F6ADBC Time : 0.0 sec. user=mdettweiler [2016-12-05 04:53:17] 923*2^1447774-1 is not prime. Res64: F09E5F62CF7DF609 Time : 0.0 sec. user=mdettweiler [2016-12-05 04:57:10] 957*2^1447774-1 is not prime. Res64: 47E38C61F0939351 Time : 0.0 sec. user=mdettweiler [2016-12-05 04:57:10] 633*2^1447775-1 is not prime. Res64: 668D17965575E12C Time : 0.0 sec. user=mdettweiler [2016-12-05 04:57:11] 651*2^1447775-1 is not prime. Res64: 6ABBF342AB172220 Time : 0.0 sec. user=mdettweiler [2016-12-05 04:57:11] 661*2^1447775-1 is not prime. Res64: 65120DC137EB7112 Time : 0.0 sec. user=mdettweiler [2016-12-05 04:57:11] 841*2^1447775-1 is not prime. Res64: AC63D5F2E47E09CA Time : 0.0 sec. user=mdettweiler [2016-12-05 05:30:43] 921*2^1447775-1 is not prime. Res64: 0971DCB3D5577A33 Time : 0.0 sec. user=mdettweiler [2016-12-05 05:30:43] 979*2^1447775-1 is not prime. Res64: 8811D85FAA5129F5 Time : 0.0 sec. user=mdettweiler [2016-12-05 05:30:43] 999*2^1447775-1 is not prime. Res64: CB6C0DCF2DE332BD Time : 0.0 sec. user=mdettweiler [2016-12-05 05:30:43] 635*2^1447776-1 is not prime. Res64: D097C0B4690E8B65 Time : 0.0 sec. user=mdettweiler [2016-12-05 05:30:44] 653*2^1447776-1 is not prime. Res64: 867A9990C8FE5435 Time : 0.0 sec. user=mdettweiler [2016-12-05 05:39:22] 767*2^1447776-1 is not prime. Res64: 7CEF5F66403B8FC8 Time : 0.0 sec. user=mdettweiler [2016-12-05 05:39:22] 843*2^1447776-1 is not prime. Res64: AF8A6433B913F3D0 Time : 0.0 sec. user=mdettweiler [2016-12-05 05:39:22] 857*2^1447776-1 is not prime. Res64: 8FC4D09BD4E822FE Time : 0.0 sec. user=mdettweiler [2016-12-05 05:39:22] 651*2^1447777-1 is not prime. Res64: 0B15546CF8AB083B Time : 0.0 sec. user=mdettweiler [2016-12-05 05:39:23] 661*2^1447777-1 is not prime. Res64: 9FB5EEC2B03C84F1 Time : 0.0 sec. user=mdettweiler [2016-12-05 05:43:24] 687*2^1447777-1 is not prime. Res64: D3B01A1390CE6CB5 Time : 0.0 sec. user=mdettweiler [2016-12-05 05:43:24] 717*2^1447777-1 is not prime. Res64: 5AFEFC5B3356247B Time : 0.0 sec. user=mdettweiler [2016-12-05 05:43:24] 741*2^1447777-1 is not prime. Res64: 342237A7BD3FD02E Time : 0.0 sec. user=mdettweiler [2016-12-05 05:43:25] 847*2^1447777-1 is not prime. Res64: D1D9A6A02EC16715 Time : 0.0 sec. user=mdettweiler [2016-12-05 05:43:25] 937*2^1447777-1 is not prime. Res64: 0878912432A6BF7F Time : 0.0 sec. user=mdettweiler [2016-12-05 06:18:08] 975*2^1447777-1 is not prime. Res64: 32D6055E635AB93C Time : 0.0 sec. user=mdettweiler [2016-12-05 06:18:08] 645*2^1447778-1 is not prime. Res64: 1A96A4A1804F9CA3 Time : 0.0 sec. user=mdettweiler [2016-12-05 06:18:08] 875*2^1447778-1 is not prime. Res64: A755B07ECB98688D Time : 0.0 sec. user=mdettweiler [2016-12-05 06:18:09] 923*2^1447778-1 is not prime. Res64: F8F678EFACE82F31 Time : 0.0 sec. user=mdettweiler [2016-12-05 06:18:09] 613*2^1447779-1 is not prime. Res64: 13C0C0D602465FE2 Time : 0.0 sec. user=mdettweiler [2016-12-05 06:26:46] 705*2^1447779-1 is not prime. Res64: A0996AF613A39CF0 Time : 0.0 sec. user=mdettweiler [2016-12-05 06:26:46] 745*2^1447779-1 is not prime. Res64: 37C4F85572A837FB Time : 0.0 sec. user=mdettweiler [2016-12-05 06:26:47] 903*2^1447779-1 is not prime. Res64: 4209F2549E40E0EF Time : 0.0 sec. user=mdettweiler [2016-12-05 06:26:47] 677*2^1447780-1 is not prime. Res64: 110165766D0A8A58 Time : 0.0 sec. user=mdettweiler [2016-12-05 06:26:47] 743*2^1447780-1 is not prime. Res64: 45ECE983032136CF Time : 0.0 sec. user=mdettweiler [2016-12-05 06:30:27] 855*2^1447780-1 is not prime. Res64: 5E7A1DE5AB082273 Time : 0.0 sec. user=mdettweiler [2016-12-05 06:30:28] 897*2^1447780-1 is not prime. Res64: 4B7BF338F402C39A Time : 0.0 sec. user=mdettweiler [2016-12-05 06:30:28] 905*2^1447780-1 is not prime. Res64: 4D1FAC334B5BF67D Time : 0.0 sec. user=mdettweiler [2016-12-05 06:30:28] 915*2^1447780-1 is not prime. Res64: 332DF4458245A07B Time : 0.0 sec. user=mdettweiler [2016-12-05 06:30:28] 927*2^1447780-1 is not prime. Res64: 533F1264A9E95484 Time : 0.0 sec. user=mdettweiler [2016-12-05 06:59:44] 675*2^1447771-1 is not prime. Res64: 1D3D43360C9AEB04 Time : 0.0 sec. user=mdettweiler [2016-12-05 06:59:44] 693*2^1447771-1 is not prime. Res64: 76DE16A109657C24 Time : 0.0 sec. user=mdettweiler [2016-12-05 06:59:44] 723*2^1447771-1 is not prime. Res64: A76018C9CE78B482 Time : 0.0 sec. user=mdettweiler [2016-12-05 07:04:13] 939*2^1447780-1 is not prime. Res64: 0FE652F7030A8083 Time : 0.0 sec. user=mdettweiler [2016-12-05 07:04:14] 601*2^1447781-1 is not prime. Res64: F99E92A1D93F7979 Time : 0.0 sec. user=mdettweiler [2016-12-05 07:04:14] 631*2^1447781-1 is not prime. Res64: ACC3B7F48E056619 Time : 0.0 sec. user=mdettweiler [2016-12-05 07:04:15] 711*2^1447781-1 is not prime. Res64: 51EE42970C45C9B2 Time : 0.0 sec. user=mdettweiler [2016-12-05 07:04:16] 717*2^1447781-1 is not prime. Res64: 7402F9F53EDF2EF7 Time : 0.0 sec. user=mdettweiler [2016-12-05 07:12:31] 747*2^1447781-1 is not prime. Res64: CC0A30D25196FF03 Time : 0.0 sec. user=mdettweiler [2016-12-05 07:12:31] 795*2^1447781-1 is not prime. Res64: 620627B3C95A6C33 Time : 0.0 sec. user=mdettweiler [2016-12-05 07:12:32] 885*2^1447781-1 is not prime. Res64: C5BE903356A73FC2 Time : 0.0 sec. user=mdettweiler [2016-12-05 07:12:32] 951*2^1447781-1 is not prime. Res64: B7C1A3D074508D58 Time : 0.0 sec. user=mdettweiler [2016-12-05 07:12:32] 979*2^1447781-1 is not prime. Res64: CC2D335FC841C07E Time : 0.0 sec. user=mdettweiler [2016-12-05 07:16:14] 997*2^1447781-1 is not prime. Res64: E72A61FE685C767D Time : 0.0 sec. user=mdettweiler [2016-12-05 07:16:15] 621*2^1447782-1 is not prime. Res64: 1F4F62665FC0D712 Time : 0.0 sec. user=mdettweiler [2016-12-05 07:16:16] 777*2^1447782-1 is not prime. Res64: CC5648A2EE32A40E Time : 0.0 sec. user=mdettweiler [2016-12-05 07:16:16] 797*2^1447782-1 is not prime. Res64: 3905AE5A5395429B Time : 0.0 sec. user=mdettweiler [2016-12-05 07:16:17] 843*2^1447782-1 is not prime. Res64: 7A7B7ECF3DCE1FFD Time : 0.0 sec. user=mdettweiler [2016-12-05 07:44:53] 863*2^1447782-1 is not prime. Res64: ECE5EA87FF3453EE Time : 0.0 sec. user=mdettweiler [2016-12-05 07:44:53] 675*2^1447783-1 is not prime. Res64: EC9E75332485771F Time : 0.0 sec. user=mdettweiler [2016-12-05 07:44:53] 765*2^1447783-1 is not prime. Res64: A693F1F0957C31D5 Time : 0.0 sec. user=mdettweiler [2016-12-05 07:44:54] 793*2^1447783-1 is not prime. Res64: EE180F8BB63403C6 Time : 0.0 sec. user=mdettweiler [2016-12-05 07:44:54] 933*2^1447783-1 is not prime. Res64: 9665A50BC7581129 Time : 0.0 sec. user=mdettweiler [2016-12-05 07:49:29] 993*2^1447783-1 is not prime. Res64: F555ABE5AF618F9F Time : 0.0 sec. user=mdettweiler [2016-12-05 07:49:29] 747*2^1447784-1 is not prime. Res64: 9EEF6946999888A7 Time : 0.0 sec. user=mdettweiler [2016-12-05 07:49:29] 833*2^1447784-1 is not prime. Res64: 4691B1775C6A3824 Time : 0.0 sec. user=mdettweiler [2016-12-05 07:49:30] 875*2^1447784-1 is not prime. Res64: 934EC52737B66135 Time : 0.0 sec. user=mdettweiler [2016-12-05 07:49:30] 897*2^1447784-1 is not prime. Res64: E2DB776DA0407D48 Time : 0.0 sec. user=mdettweiler [2016-12-05 07:57:38] 915*2^1447784-1 is not prime. Res64: 89EB7E4F7B061A64 Time : 0.0 sec. user=mdettweiler [2016-12-05 07:57:39] 601*2^1447785-1 is not prime. Res64: DF7170434C4EB13A Time : 0.0 sec. user=mdettweiler [2016-12-05 07:57:39] 639*2^1447785-1 is not prime. Res64: C91DAEC406F12891 Time : 0.0 sec. user=mdettweiler [2016-12-05 07:57:39] 657*2^1447785-1 is not prime. Res64: E7280116BA0FCB9B Time : 0.0 sec. user=mdettweiler [2016-12-05 07:57:39] 669*2^1447785-1 is not prime. Res64: 5FA08ADC5CA316FA Time : 0.0 sec. user=mdettweiler [2016-12-05 08:01:28] 727*2^1447785-1 is not prime. Res64: 51101B60BC56AF39 Time : 0.0 sec. user=mdettweiler [2016-12-05 08:01:30] 789*2^1447785-1 is not prime. Res64: DB86905E5DA18919 Time : 0.0 sec. user=mdettweiler [2016-12-05 08:01:31] 817*2^1447785-1 is not prime. Res64: FB6D504C394ABD19 Time : 0.0 sec. user=mdettweiler [2016-12-05 08:01:31] 909*2^1447785-1 is not prime. Res64: 3950E8401E955597 Time : 0.0 sec. user=mdettweiler [2016-12-05 08:01:32] 997*2^1447785-1 is not prime. Res64: F7AC93BB298E5572 Time : 0.0 sec. user=mdettweiler [2016-12-05 08:29:55] 695*2^1447786-1 is not prime. Res64: AFC6C460CDF4765C Time : 0.0 sec. user=mdettweiler [2016-12-05 08:29:55] 717*2^1447786-1 is not prime. Res64: 7A06045B8F653974 Time : 0.0 sec. user=mdettweiler [2016-12-05 08:29:55] 741*2^1447786-1 is not prime. Res64: 3A8D327091F1EF98 Time : 0.0 sec. user=mdettweiler [2016-12-05 08:29:56] 765*2^1447786-1 is not prime. Res64: 153A067605F1B839 Time : 0.0 sec. user=mdettweiler [2016-12-05 08:29:56] 825*2^1447786-1 is not prime. Res64: 8E80624F8DEA3912 Time : 0.0 sec. user=mdettweiler [2016-12-05 08:34:43] 867*2^1447786-1 is not prime. Res64: A669FBF42FFB6695 Time : 0.0 sec. user=mdettweiler [2016-12-05 08:34:43] 881*2^1447786-1 is not prime. Res64: ECB32DFBA19A3261 Time : 0.0 sec. user=mdettweiler [2016-12-05 08:34:44] 609*2^1447787-1 is not prime. Res64: 90C04CDB8EC9AED2 Time : 0.0 sec. user=mdettweiler [2016-12-05 08:34:44] 675*2^1447787-1 is not prime. Res64: C1B2DD3428F28BC6 Time : 0.0 sec. user=mdettweiler [2016-12-05 08:34:44] 685*2^1447787-1 is not prime. Res64: 680C5CEA6AE037B6 Time : 0.0 sec. user=mdettweiler [2016-12-05 08:42:38] 693*2^1447787-1 is not prime. Res64: 6655A5D1D2CD61A8 Time : 0.0 sec. user=mdettweiler [2016-12-05 08:42:39] 711*2^1447787-1 is not prime. Res64: 505A5FA21BE0C26B Time : 0.0 sec. user=mdettweiler [2016-12-05 08:42:39] 733*2^1447787-1 is not prime. Res64: 7A1B918ECA8D0A6C Time : 0.0 sec. user=mdettweiler [2016-12-05 08:42:39] 781*2^1447787-1 is not prime. Res64: 6E5D4B01C216D6BC Time : 0.0 sec. user=mdettweiler [2016-12-05 08:42:40] 915*2^1447787-1 is not prime. Res64: 8128D9D18A94FAAE Time : 0.0 sec. user=mdettweiler [2016-12-05 08:46:39] 663*2^1447788-1 is not prime. Res64: A19CAC3D21D11BFE Time : 0.0 sec. user=mdettweiler [2016-12-05 08:46:39] 875*2^1447788-1 is not prime. Res64: 1CECF7CC0DBE9C8A Time : 0.0 sec. user=mdettweiler [2016-12-05 08:46:39] 945*2^1447788-1 is not prime. Res64: 03B2D174F44CF786 Time : 0.0 sec. user=mdettweiler [2016-12-05 08:46:39] 999*2^1447788-1 is not prime. Res64: 60DC5CEB2C8ECFCB Time : 0.0 sec. user=mdettweiler [2016-12-05 08:46:40] 625*2^1447789-1 is not prime. Res64: 1A8BD14825A2D9FD Time : 0.0 sec. user=mdettweiler [2016-12-05 09:15:11] 661*2^1447789-1 is not prime. Res64: B4919179E1C871E5 Time : 0.0 sec. user=mdettweiler [2016-12-05 09:15:11] 751*2^1447789-1 is not prime. Res64: 8EDC7A3FD7480608 Time : 0.0 sec. user=mdettweiler [2016-12-05 09:15:12] 987*2^1447789-1 is not prime. Res64: 310E3FEFA5ED980D Time : 0.0 sec. user=mdettweiler [2016-12-05 09:15:12] 997*2^1447789-1 is not prime. Res64: 012CDCEB3CD29828 Time : 0.0 sec. user=mdettweiler [2016-12-05 09:15:12] 999*2^1447789-1 is not prime. Res64: DE1121BEEAFE1770 Time : 0.0 sec. user=mdettweiler [2016-12-05 09:19:57] 663*2^1447790-1 is not prime. Res64: 879F54995EE50E60 Time : 0.0 sec. user=mdettweiler [2016-12-05 09:19:57] 711*2^1447790-1 is not prime. Res64: F2018D46F1352257 Time : 0.0 sec. user=mdettweiler [2016-12-05 09:19:57] 845*2^1447790-1 is not prime. Res64: A3680A5CE819F78C Time : 0.0 sec. user=mdettweiler [2016-12-05 09:19:58] 885*2^1447790-1 is not prime. Res64: E908974B2806FFB3 Time : 0.0 sec. user=mdettweiler [2016-12-05 09:19:58] 957*2^1447790-1 is not prime. Res64: CB8CD1B5377BF092 Time : 0.0 sec. user=mdettweiler [2016-12-05 09:27:47] 609*2^1447791-1 is not prime. Res64: 8614206581B90AB1 Time : 0.0 sec. user=mdettweiler [2016-12-05 09:27:48] 651*2^1447791-1 is not prime. Res64: 63B9808A4D7A76B7 Time : 0.0 sec. user=mdettweiler [2016-12-05 09:27:48] 679*2^1447791-1 is not prime. Res64: A5978CD4B466708C Time : 0.0 sec. user=mdettweiler [2016-12-05 09:27:48] 693*2^1447791-1 is not prime. Res64: F3F8536D480CB805 Time : 0.0 sec. user=mdettweiler [2016-12-05 09:27:48] 723*2^1447791-1 is not prime. Res64: 50CDDE84EB69417D Time : 0.0 sec. user=mdettweiler [2016-12-05 09:31:47] 951*2^1447791-1 is not prime. Res64: 1D55FEE103EFB843 Time : 0.0 sec. user=mdettweiler [2016-12-05 09:31:48] 975*2^1447791-1 is not prime. Res64: 9EC913C2C0568C97 Time : 0.0 sec. user=mdettweiler [2016-12-05 09:31:48] 675*2^1447792-1 is not prime. Res64: FE1F9AEBA1B622F4 Time : 0.0 sec. user=mdettweiler [2016-12-05 09:31:48] 771*2^1447793-1 is not prime. Res64: DEAD0EAFC0B92DC9 Time : 0.0 sec. user=mdettweiler [2016-12-05 09:31:48] 801*2^1447793-1 is not prime. Res64: 4EC73654A573A8F9 Time : 0.0 sec. user=mdettweiler [2016-12-05 10:00:14] 811*2^1447793-1 is not prime. Res64: 195BBFCE632A11B7 Time : 0.0 sec. user=mdettweiler [2016-12-05 10:00:14] 867*2^1447793-1 is not prime. Res64: 50F3B0B0DC8A1E1F Time : 0.0 sec. user=mdettweiler [2016-12-05 10:00:15] 945*2^1447793-1 is not prime. Res64: 55846BD94EBD6737 Time : 0.0 sec. user=mdettweiler [2016-12-05 10:00:15] 949*2^1447793-1 is not prime. Res64: 73AA69C379482A02 Time : 0.0 sec. user=mdettweiler [2016-12-05 10:00:16] 633*2^1447794-1 is not prime. Res64: 076FBC17ACDE16A3 Time : 0.0 sec. user=mdettweiler [2016-12-05 10:05:14] 711*2^1447794-1 is not prime. Res64: FEA1CAB97FE1B032 Time : 0.0 sec. user=mdettweiler [2016-12-05 10:05:18] 717*2^1447794-1 is not prime. Res64: 37773E2755B37917 Time : 0.0 sec. user=mdettweiler [2016-12-05 10:05:19] 791*2^1447794-1 is not prime. Res64: B9A957F3F43948DF Time : 0.0 sec. user=mdettweiler [2016-12-05 10:05:21] 807*2^1447794-1 is not prime. Res64: 0091CE108AA26C2C Time : 0.0 sec. user=mdettweiler [2016-12-05 10:05:23] 947*2^1447794-1 is not prime. Res64: 3B6240B8A4B04408 Time : 0.0 sec. user=mdettweiler [2016-12-05 10:12:55] 625*2^1447795-1 is not prime. Res64: AD0300B10801020E Time : 0.0 sec. user=mdettweiler [2016-12-05 10:12:56] 741*2^1447795-1 is not prime. Res64: F82A8B21E262544A Time : 0.0 sec. user=mdettweiler [2016-12-05 10:12:56] 783*2^1447795-1 is not prime. Res64: 196B01FC51B41D9F Time : 0.0 sec. user=mdettweiler [2016-12-05 10:12:56] 853*2^1447795-1 is not prime. Res64: 733EEDF7F2CB4C30 Time : 0.0 sec. user=mdettweiler [2016-12-05 10:12:57] 871*2^1447795-1 is not prime. Res64: 2762E1534D9D2472 Time : 0.0 sec. user=mdettweiler [2016-12-05 10:16:52] 895*2^1447795-1 is not prime. Res64: 71ABA6D072D50106 Time : 0.0 sec. user=mdettweiler [2016-12-05 10:16:52] 925*2^1447795-1 is not prime. Res64: 7D71FC13114F5568 Time : 0.0 sec. user=mdettweiler [2016-12-05 10:16:52] 677*2^1447796-1 is not prime. Res64: 3CB7CB65829C6BC9 Time : 0.0 sec. user=mdettweiler [2016-12-05 10:16:53] 699*2^1447796-1 is not prime. Res64: 84EF86C1579A3D4C Time : 0.0 sec. user=mdettweiler [2016-12-05 10:16:53] 759*2^1447796-1 is not prime. Res64: 40B573089A3C3EB0 Time : 0.0 sec. user=mdettweiler [2016-12-05 10:45:22] 825*2^1447796-1 is not prime. Res64: 7C43E6B9D1FD53C0 Time : 0.0 sec. user=mdettweiler [2016-12-05 10:45:22] 869*2^1447796-1 is not prime. Res64: B081B300EADDB703 Time : 0.0 sec. user=mdettweiler [2016-12-05 10:45:23] 893*2^1447796-1 is not prime. Res64: 0313A9072201E3F5 Time : 0.0 sec. user=mdettweiler [2016-12-05 10:45:23] 923*2^1447796-1 is not prime. Res64: C222AF67851BCAC8 Time : 0.0 sec. user=mdettweiler [2016-12-05 10:45:23] 655*2^1447797-1 is not prime. Res64: B9DC762A50BEE1B4 Time : 0.0 sec. user=mdettweiler [2016-12-05 10:50:48] 691*2^1447797-1 is not prime. Res64: 57771401CA25A263 Time : 0.0 sec. user=mdettweiler [2016-12-05 10:50:48] 825*2^1447797-1 is not prime. Res64: E596D4AF482A4C79 Time : 0.0 sec. user=mdettweiler [2016-12-05 10:50:49] 889*2^1447797-1 is not prime. Res64: 4F8C10C881AC438F Time : 0.0 sec. user=mdettweiler [2016-12-05 10:50:49] 997*2^1447797-1 is not prime. Res64: 0FB6FD89F87C4FD3 Time : 0.0 sec. user=mdettweiler [2016-12-05 10:50:49] 677*2^1447798-1 is not prime. Res64: 83582AE7CB01C574 Time : 0.0 sec. user=mdettweiler [2016-12-05 10:58:13] 687*2^1447798-1 is not prime. Res64: 6023B157EDEE3DB5 Time : 0.0 sec. user=mdettweiler [2016-12-05 10:58:13] 705*2^1447798-1 is not prime. Res64: 5D2D030EF62395B9 Time : 0.0 sec. user=mdettweiler [2016-12-05 10:58:14] 755*2^1447798-1 is not prime. Res64: 54DF396DC3E4E182 Time : 0.0 sec. user=mdettweiler [2016-12-05 10:58:14] 813*2^1447798-1 is not prime. Res64: C41C2ED62CF325BC Time : 0.0 sec. user=mdettweiler [2016-12-05 10:58:14] 825*2^1447798-1 is not prime. Res64: 5E80F78859956688 Time : 0.0 sec. user=mdettweiler [2016-12-05 11:02:09] 827*2^1447798-1 is not prime. Res64: FF21FF545A78D339 Time : 0.0 sec. user=mdettweiler [2016-12-05 11:02:10] 941*2^1447798-1 is not prime. Res64: 1565172691BCA69C Time : 0.0 sec. user=mdettweiler [2016-12-05 11:02:11] 675*2^1447799-1 is not prime. Res64: 7BFA47093C53BEB3 Time : 0.0 sec. user=mdettweiler [2016-12-05 11:02:11] 985*2^1447799-1 is not prime. Res64: 3EF0F89E25AE501D Time : 0.0 sec. user=mdettweiler [2016-12-05 11:02:12] 707*2^1447800-1 is not prime. Res64: 72FB0265F643E477 Time : 0.0 sec. user=mdettweiler [2016-12-05 11:30:31] 735*2^1447800-1 is not prime. Res64: 4517BE6D76FF9CF5 Time : 0.0 sec. user=mdettweiler [2016-12-05 11:30:31] 797*2^1447800-1 is not prime. Res64: 56D02B4EBECE5DA4 Time : 0.0 sec. user=mdettweiler [2016-12-05 11:30:31] 819*2^1447800-1 is not prime. Res64: 707276E791503E7D Time : 0.0 sec. user=mdettweiler [2016-12-05 11:30:31] 899*2^1447800-1 is not prime. Res64: 73E58AC075D43DD4 Time : 0.0 sec. user=mdettweiler [2016-12-05 11:30:32] 927*2^1447800-1 is not prime. Res64: E3B2A2BE67150A47 Time : 0.0 sec. user=mdettweiler [2016-12-05 11:36:05] 929*2^1447800-1 is not prime. Res64: 9EB3892B35366899 Time : 0.0 sec. user=mdettweiler [2016-12-05 11:36:06] 649*2^1447801-1 is not prime. Res64: 98ED503A09100A1F Time : 0.0 sec. user=mdettweiler [2016-12-05 11:36:06] 685*2^1447801-1 is not prime. Res64: 4A6676BBF6AA733C Time : 0.0 sec. user=mdettweiler [2016-12-05 11:36:06] 687*2^1447801-1 is not prime. Res64: 623891A528EA8A1B Time : 0.0 sec. user=mdettweiler [2016-12-05 11:36:06] 747*2^1447801-1 is not prime. Res64: 3CA5B8365FACBCA4 Time : 0.0 sec. user=mdettweiler [2016-12-05 11:43:27] 799*2^1447801-1 is not prime. Res64: A88367EC0CFE92FD Time : 0.0 sec. user=mdettweiler [2016-12-05 11:43:27] 895*2^1447801-1 is not prime. Res64: C3566DF2375E9135 Time : 0.0 sec. user=mdettweiler [2016-12-05 11:43:27] 931*2^1447801-1 is not prime. Res64: 14CEAA408255E8E4 Time : 0.0 sec. user=mdettweiler [2016-12-05 11:43:27] 979*2^1447801-1 is not prime. Res64: E59116D9796B546C Time : 0.0 sec. user=mdettweiler [2016-12-05 11:43:28] 671*2^1447802-1 is not prime. Res64: 79F8AB362AFE0BD0 Time : 0.0 sec. user=mdettweiler [2016-12-05 11:47:26] 683*2^1447802-1 is not prime. Res64: 7354D2DA29891E53 Time : 0.0 sec. user=mdettweiler [2016-12-05 11:47:26] 747*2^1447802-1 is not prime. Res64: 07C74460ED121644 Time : 0.0 sec. user=mdettweiler [2016-12-05 11:47:27] 813*2^1447802-1 is not prime. Res64: 1EF41334C40665AC Time : 0.0 sec. user=mdettweiler [2016-12-05 11:47:27] 945*2^1447802-1 is not prime. Res64: B29E37E0F9D37AB8 Time : 0.0 sec. user=mdettweiler [2016-12-05 11:47:27] 977*2^1447802-1 is not prime. Res64: 323861307BD35C11 Time : 0.0 sec. user=mdettweiler [2016-12-05 12:15:37] 649*2^1447803-1 is not prime. Res64: ADA5F8BDCAD7960D Time : 0.0 sec. user=mdettweiler [2016-12-05 12:15:37] 709*2^1447803-1 is not prime. Res64: 35E508FFCE604221 Time : 0.0 sec. user=mdettweiler [2016-12-05 12:15:38] 723*2^1447803-1 is not prime. Res64: DA6E067F31934175 Time : 0.0 sec. user=mdettweiler [2016-12-05 12:15:38] 765*2^1447803-1 is not prime. Res64: 59F832F206A3A20F Time : 0.0 sec. user=mdettweiler [2016-12-05 12:15:38] 853*2^1447803-1 is not prime. Res64: 66CE5444203F380A Time : 0.0 sec. user=mdettweiler [2016-12-05 12:21:14] 973*2^1447803-1 is not prime. Res64: 6D0F6D97CA6CFA82 Time : 0.0 sec. user=mdettweiler [2016-12-05 12:21:15] 717*2^1447804-1 is not prime. Res64: 89D31F51E81BF337 Time : 0.0 sec. user=mdettweiler [2016-12-05 12:21:15] 773*2^1447804-1 is not prime. Res64: CA9AD6ADF8CD232C Time : 0.0 sec. user=mdettweiler [2016-12-05 12:21:15] 887*2^1447804-1 is not prime. Res64: 1078B8678DAB6E52 Time : 0.0 sec. user=mdettweiler [2016-12-05 12:21:16] 983*2^1447804-1 is not prime. Res64: 73C0125B7242437F Time : 0.0 sec. user=mdettweiler [2016-12-05 12:28:36] 989*2^1447804-1 is not prime. Res64: BD84ACCBB2C9CDAF Time : 0.0 sec. user=mdettweiler [2016-12-05 12:28:36] 655*2^1447805-1 is not prime. Res64: 782FE7EB975989E0 Time : 0.0 sec. user=mdettweiler [2016-12-05 12:28:36] 811*2^1447805-1 is not prime. Res64: DA0FD07D0DBBDE2D Time : 0.0 sec. user=mdettweiler [2016-12-05 12:28:36] 847*2^1447805-1 is not prime. Res64: 188824BB2062C6FE Time : 0.0 sec. user=mdettweiler [2016-12-05 12:28:37] 871*2^1447805-1 is not prime. Res64: EC50EAE1B282E098 Time : 0.0 sec. user=mdettweiler [2016-12-05 12:32:28] 885*2^1447805-1 is not prime. Res64: 04D0D607A9CC47D7 Time : 0.0 sec. user=mdettweiler [2016-12-05 12:32:28] 897*2^1447805-1 is not prime. Res64: 005136B4A2F8C80C Time : 0.0 sec. user=mdettweiler [2016-12-05 12:32:28] 647*2^1447806-1 is not prime. Res64: 33F1A5F465390796 Time : 0.0 sec. user=mdettweiler [2016-12-05 12:32:29] 677*2^1447806-1 is not prime. Res64: F9CBC2B9C83DBC2F Time : 0.0 sec. user=mdettweiler [2016-12-05 12:32:29] 713*2^1447806-1 is not prime. Res64: A54B7C302C1A367F Time : 0.0 sec. user=mdettweiler [2016-12-05 13:00:59] 765*2^1447806-1 is not prime. Res64: 94703A73676C7359 Time : 0.0 sec. user=mdettweiler [2016-12-05 13:00:59] 801*2^1447806-1 is not prime. Res64: BA7C0612E262B963 Time : 0.0 sec. user=mdettweiler [2016-12-05 13:01:00] 975*2^1447806-1 is not prime. Res64: 599A1CD7E7005F9F Time : 0.0 sec. user=mdettweiler [2016-12-05 13:01:01] 639*2^1447807-1 is not prime. Res64: 6C1D4FEB763EE181 Time : 0.0 sec. user=mdettweiler [2016-12-05 13:01:01] 651*2^1447807-1 is not prime. Res64: 161AA76DB09CDDD0 Time : 0.0 sec. user=mdettweiler [2016-12-05 13:06:38] 693*2^1447807-1 is not prime. Res64: 501E42F6F85DEC43 Time : 0.0 sec. user=mdettweiler [2016-12-05 13:06:40] 751*2^1447807-1 is not prime. Res64: C5F18D0C99189890 Time : 0.0 sec. user=mdettweiler [2016-12-05 13:06:41] 873*2^1447807-1 is not prime. Res64: 0AB6127644D4F7B1 Time : 0.0 sec. user=mdettweiler [2016-12-05 13:06:42] 889*2^1447807-1 is not prime. Res64: 110FDFCCF860BAD3 Time : 0.0 sec. user=mdettweiler [2016-12-05 13:06:42] 635*2^1447808-1 is not prime. Res64: 1D74B93B49D158F0 Time : 0.0 sec. user=mdettweiler [2016-12-05 13:13:41] 753*2^1447808-1 is not prime. Res64: 08697172B2CBEEDA Time : 0.0 sec. user=mdettweiler [2016-12-05 13:13:42] 935*2^1447808-1 is not prime. Res64: EF860D3F4FCD5211 Time : 0.0 sec. user=mdettweiler [2016-12-05 13:13:43] 999*2^1447808-1 is not prime. Res64: 08C8707B3B59999E Time : 0.0 sec. user=mdettweiler [2016-12-05 13:13:43] 735*2^1447809-1 is not prime. Res64: 0CF40165A780FC1D Time : 0.0 sec. user=mdettweiler [2016-12-05 13:13:43] 861*2^1447809-1 is not prime. Res64: 4BF3BF24C9FD7AFA Time : 0.0 sec. user=mdettweiler [2016-12-05 13:17:37] 885*2^1447809-1 is not prime. Res64: D8228B8CE4CFC21E Time : 0.0 sec. user=mdettweiler [2016-12-05 13:17:38] 889*2^1447809-1 is not prime. Res64: 2BE193481BA4B036 Time : 0.0 sec. user=mdettweiler [2016-12-05 13:17:38] 975*2^1447809-1 is not prime. Res64: 8D59B0719AA45A82 Time : 0.0 sec. user=mdettweiler [2016-12-05 13:17:39] 657*2^1447810-1 is not prime. Res64: C0C6CA1D38E2EF91 Time : 0.0 sec. user=mdettweiler [2016-12-05 13:17:39] 731*2^1447810-1 is not prime. Res64: 91DCB60E5A8B3A17 Time : 0.0 sec. user=mdettweiler [2016-12-05 13:46:03] 735*2^1447810-1 is not prime. Res64: 5A3E8FF9BE6B2105 Time : 0.0 sec. user=mdettweiler [2016-12-05 13:46:04] 747*2^1447810-1 is not prime. Res64: E85B53BBC9CE67CA Time : 0.0 sec. user=mdettweiler [2016-12-05 13:46:04] 765*2^1447810-1 is not prime. Res64: DF6C0AED21F02A15 Time : 0.0 sec. user=mdettweiler [2016-12-05 13:46:04] 773*2^1447810-1 is not prime. Res64: EB5525546F0BBF95 Time : 0.0 sec. user=mdettweiler [2016-12-05 13:46:04] 785*2^1447810-1 is not prime. Res64: C9C70278DC2297AF Time : 0.0 sec. user=mdettweiler [2016-12-05 13:51:56] 843*2^1447810-1 is not prime. Res64: EED46082977EB764 Time : 0.0 sec. user=mdettweiler [2016-12-05 13:51:56] 885*2^1447810-1 is not prime. Res64: B07B23D6DAF47191 Time : 0.0 sec. user=mdettweiler [2016-12-05 13:51:56] 887*2^1447810-1 is not prime. Res64: 4492C09A81559D19 Time : 0.0 sec. user=mdettweiler [2016-12-05 13:51:56] 923*2^1447810-1 is not prime. Res64: D31AF044569E5EB0 Time : 0.0 sec. user=mdettweiler [2016-12-05 13:51:57] 981*2^1447810-1 is not prime. Res64: 45417A3832FE96FD Time : 0.0 sec. user=mdettweiler [2016-12-05 13:58:46] 711*2^1447811-1 is not prime. Res64: 64CC19E88CBE8E3F Time : 0.0 sec. user=mdettweiler [2016-12-05 13:58:47] 733*2^1447811-1 is not prime. Res64: BC5C3D8317564146 Time : 0.0 sec. user=mdettweiler [2016-12-05 13:58:47] 759*2^1447811-1 is not prime. Res64: CD1EFE1EC89EA3DF Time : 0.0 sec. user=mdettweiler [2016-12-05 13:58:47] 859*2^1447811-1 is not prime. Res64: 89B3E721B5AC165F Time : 0.0 sec. user=mdettweiler [2016-12-05 13:58:47] 955*2^1447811-1 is not prime. Res64: 86AA8AC58DB659E9 Time : 0.0 sec. user=mdettweiler [2016-12-05 14:02:42] 627*2^1447812-1 is not prime. Res64: 819591D9ADE7FBC9 Time : 0.0 sec. user=mdettweiler [2016-12-05 14:02:43] 629*2^1447812-1 is not prime. Res64: 679ECB45E5822BDD Time : 0.0 sec. user=mdettweiler [2016-12-05 14:02:43] 669*2^1447812-1 is not prime. Res64: 7BDD9C5BE5179C86 Time : 0.0 sec. user=mdettweiler [2016-12-05 14:02:44] 689*2^1447812-1 is not prime. Res64: 8EB6156FFF0FEE88 Time : 0.0 sec. user=mdettweiler [2016-12-05 14:02:45] 719*2^1447812-1 is not prime. Res64: 2523D02284521224 Time : 0.0 sec. user=mdettweiler [2016-12-05 14:31:07] 777*2^1447812-1 is not prime. Res64: B0649D0E966F8488 Time : 0.0 sec. user=mdettweiler [2016-12-05 14:31:08] 825*2^1447812-1 is not prime. Res64: 3AAE071818667A4B Time : 0.0 sec. user=mdettweiler [2016-12-05 14:31:08] 857*2^1447812-1 is not prime. Res64: E137269EF7B79D9A Time : 0.0 sec. user=mdettweiler [2016-12-05 14:31:08] 959*2^1447812-1 is not prime. Res64: 7190400026768A78 Time : 0.0 sec. user=mdettweiler [2016-12-05 14:31:08] 983*2^1447812-1 is not prime. Res64: AE7BDD419E4C76BE Time : 0.0 sec. user=mdettweiler [2016-12-05 14:37:00] 741*2^1447813-1 is not prime. Res64: 15B473B421A91B39 Time : 0.0 sec. user=mdettweiler [2016-12-05 14:37:00] 849*2^1447813-1 is not prime. Res64: 7C517695C654D6A5 Time : 0.0 sec. user=mdettweiler [2016-12-05 14:37:00] 885*2^1447813-1 is not prime. Res64: 5244657D49F9C4A3 Time : 0.0 sec. user=mdettweiler [2016-12-05 14:37:01] 945*2^1447813-1 is not prime. Res64: B32964CB961C3533 Time : 0.0 sec. user=mdettweiler [2016-12-05 14:37:01] 957*2^1447813-1 is not prime. Res64: 7DE4E4F360D8671A Time : 0.0 sec. user=mdettweiler [2016-12-05 14:43:57] 961*2^1447813-1 is not prime. Res64: 14C39BA0290E41C0 Time : 0.0 sec. user=mdettweiler [2016-12-05 14:43:57] 617*2^1447814-1 is not prime. Res64: BADC5653F4547747 Time : 0.0 sec. user=mdettweiler [2016-12-05 14:43:57] 825*2^1447814-1 is not prime. Res64: 2BD304D223A486BC Time : 0.0 sec. user=mdettweiler [2016-12-05 14:43:57] 857*2^1447814-1 is not prime. Res64: 59BDD77F5FCE0D4E Time : 0.0 sec. user=mdettweiler [2016-12-05 14:43:57] 873*2^1447814-1 is not prime. Res64: 88E1C13DB6CA8BBD Time : 0.0 sec. user=mdettweiler [2016-12-05 14:47:57] 957*2^1447814-1 is not prime. Res64: 78323ADF9A7359DE Time : 0.0 sec. user=mdettweiler [2016-12-05 14:47:57] 633*2^1447815-1 is not prime. Res64: 0A44FE7F3D77324B Time : 0.0 sec. user=mdettweiler [2016-12-05 14:47:58] 739*2^1447815-1 is not prime. Res64: 85AA9A9252AABB98 Time : 0.0 sec. user=mdettweiler [2016-12-05 14:47:58] 763*2^1447815-1 is not prime. Res64: 64AAD7942F7D3920 Time : 0.0 sec. user=mdettweiler [2016-12-05 14:47:58] 961*2^1447815-1 is not prime. Res64: 5BBFAB067298E5A3 Time : 0.0 sec. user=mdettweiler [2016-12-05 15:16:26] 979*2^1447815-1 is not prime. Res64: 594A62F94AB88FB4 Time : 0.0 sec. user=mdettweiler [2016-12-05 15:16:26] 615*2^1447816-1 is not prime. Res64: 3126EF09067F4684 Time : 0.0 sec. user=mdettweiler [2016-12-05 15:16:26] 657*2^1447816-1 is not prime. Res64: 989DD3196F5271FB Time : 0.0 sec. user=mdettweiler [2016-12-05 15:16:27] 909*2^1447816-1 is not prime. Res64: 3C3C6D7AD459B2FD Time : 0.0 sec. user=mdettweiler [2016-12-05 15:16:27] 999*2^1447816-1 is not prime. Res64: 5E699A2E7D3851A7 Time : 0.0 sec. user=mdettweiler [2016-12-05 15:22:02] 619*2^1447817-1 is not prime. Res64: E7FF90DF7B28FFD1 Time : 0.0 sec. user=mdettweiler [2016-12-05 15:22:03] 699*2^1447817-1 is not prime. Res64: 12B4CF1B66F8E589 Time : 0.0 sec. user=mdettweiler [2016-12-05 15:22:04] 729*2^1447817-1 is not prime. Res64: B29D22A58C3766E4 Time : 0.0 sec. user=mdettweiler [2016-12-05 15:22:04] 769*2^1447817-1 is not prime. Res64: DBEF4DCAA9706E73 Time : 0.0 sec. user=mdettweiler [2016-12-05 15:22:05] 861*2^1447817-1 is not prime. Res64: 5E397047D6811C77 Time : 0.0 sec. user=mdettweiler [2016-12-05 15:29:12] 937*2^1447817-1 is not prime. Res64: A689CE8D5CA16146 Time : 0.0 sec. user=mdettweiler [2016-12-05 15:29:12] 981*2^1447817-1 is not prime. Res64: F1705D79C08544B8 Time : 0.0 sec. user=mdettweiler [2016-12-05 15:29:13] 641*2^1447818-1 is not prime. Res64: 52412DD658BD2D0C Time : 0.0 sec. user=mdettweiler [2016-12-05 15:29:13] 725*2^1447818-1 is not prime. Res64: 1BB3085C4C4372A8 Time : 0.0 sec. user=mdettweiler [2016-12-05 15:29:13] 803*2^1447818-1 is not prime. Res64: 86132990F010A4A5 Time : 0.0 sec. user=mdettweiler [2016-12-05 15:32:59] 833*2^1447818-1 is not prime. Res64: C8EA03EA951DFC09 Time : 0.0 sec. user=mdettweiler [2016-12-05 15:32:59] 603*2^1447819-1 is not prime. Res64: 182FCF79E6CCEE64 Time : 0.0 sec. user=mdettweiler [2016-12-05 15:33:00] 645*2^1447819-1 is not prime. Res64: ABD0BBB3E42854C3 Time : 0.0 sec. user=mdettweiler [2016-12-05 15:33:00] 681*2^1447819-1 is not prime. Res64: 862DBE88C05FB646 Time : 0.0 sec. user=mdettweiler [2016-12-05 15:33:00] 693*2^1447819-1 is not prime. Res64: D400E70C2E6367E2 Time : 0.0 sec. user=mdettweiler [2016-12-05 16:01:46] 861*2^1447819-1 is not prime. Res64: 409F574999AC5BA3 Time : 0.0 sec. user=mdettweiler [2016-12-05 16:01:47] 891*2^1447819-1 is not prime. Res64: C3011DDE5D88E493 Time : 0.0 sec. user=mdettweiler [2016-12-05 16:01:48] 925*2^1447819-1 is not prime. Res64: CDAF877ED04FF47B Time : 0.0 sec. user=mdettweiler [2016-12-05 16:01:48] 993*2^1447819-1 is not prime. Res64: 3FEA1CCD4109093E Time : 0.0 sec. user=mdettweiler [2016-12-05 16:01:49] 609*2^1447820-1 is not prime. Res64: F6C4A7D4E66D3E24 Time : 0.0 sec. user=mdettweiler [2016-12-05 16:07:23] 629*2^1447820-1 is not prime. Res64: 08DB31BFFA8BBCC2 Time : 0.0 sec. user=mdettweiler [2016-12-05 16:07:24] 767*2^1447820-1 is not prime. Res64: D6AA9A5697194192 Time : 0.0 sec. user=mdettweiler [2016-12-05 16:07:24] 827*2^1447820-1 is not prime. Res64: A788F2D25E6BC050 Time : 0.0 sec. user=mdettweiler [2016-12-05 16:07:24] 899*2^1447820-1 is not prime. Res64: 95D3ECD9B8702C16 Time : 0.0 sec. user=mdettweiler [2016-12-05 16:07:24] 621*2^1447821-1 is not prime. Res64: 817AFBCDB5FE9F3A Time : 0.0 sec. user=mdettweiler [2016-12-05 16:14:25] 661*2^1447821-1 is not prime. Res64: 1708D920E24A3D94 Time : 0.0 sec. user=mdettweiler [2016-12-05 16:14:25] 745*2^1447821-1 is not prime. Res64: ECB9322CF1309477 Time : 0.0 sec. user=mdettweiler [2016-12-05 16:14:26] 747*2^1447821-1 is not prime. Res64: 78342228976C4A4D Time : 0.0 sec. user=mdettweiler [2016-12-05 16:14:26] 829*2^1447821-1 is not prime. Res64: 93B0992CA8AE5275 Time : 0.0 sec. user=mdettweiler [2016-12-05 16:14:26] 859*2^1447821-1 is not prime. Res64: 7D672B79115DEB03 Time : 0.0 sec. user=mdettweiler [2016-12-05 16:18:04] 889*2^1447821-1 is not prime. Res64: 1CB8E9E3DA2D500C Time : 0.0 sec. user=mdettweiler [2016-12-05 16:18:05] 611*2^1447822-1 is not prime. Res64: 800899D9EBDB4B7C Time : 0.0 sec. user=mdettweiler [2016-12-05 16:18:05] 623*2^1447822-1 is not prime. Res64: 6E0EB60926870F9E Time : 0.0 sec. user=mdettweiler [2016-12-05 16:18:06] 945*2^1447822-1 is not prime. Res64: 64B527D45D628010 Time : 0.0 sec. user=mdettweiler [2016-12-05 16:18:06] 615*2^1447823-1 is not prime. Res64: 9CA85B5A46B17209 Time : 0.0 sec. user=mdettweiler [2016-12-05 16:47:02] 685*2^1447823-1 is not prime. Res64: A9758B628FDFF18A Time : 0.0 sec. user=mdettweiler [2016-12-05 16:47:02] 693*2^1447824-1 is not prime. Res64: 030138023AB6B9CB Time : 0.0 sec. user=mdettweiler [2016-12-05 16:47:03] 705*2^1447824-1 is not prime. Res64: 3D1571FD885DC515 Time : 0.0 sec. user=mdettweiler [2016-12-05 16:47:03] 725*2^1447824-1 is not prime. Res64: 935EC5F3C6087199 Time : 0.0 sec. user=mdettweiler [2016-12-05 16:47:03] 849*2^1447824-1 is not prime. Res64: EE2027CBC5B0681A Time : 0.0 sec. user=mdettweiler [2016-12-05 16:52:48] 923*2^1447824-1 is not prime. Res64: 4A065E8DFFDA6C9B Time : 0.0 sec. user=mdettweiler [2016-12-05 16:52:48] 927*2^1447824-1 is not prime. Res64: 65357E65D85D2AEF Time : 0.0 sec. user=mdettweiler [2016-12-05 16:52:48] 983*2^1447824-1 is not prime. Res64: B10ABAACD341B305 Time : 0.0 sec. user=mdettweiler [2016-12-05 16:52:49] 609*2^1447825-1 is not prime. Res64: F5B331AA247F8012 Time : 0.0 sec. user=mdettweiler [2016-12-05 16:52:49] 759*2^1447825-1 is not prime. Res64: 3737888337F722F8 Time : 0.0 sec. user=mdettweiler [2016-12-05 16:59:30] 771*2^1447825-1 is not prime. Res64: FF192E0C92211B0B Time : 0.0 sec. user=mdettweiler [2016-12-05 16:59:31] 855*2^1447825-1 is not prime. Res64: C9DD96D08689E678 Time : 0.0 sec. user=mdettweiler [2016-12-05 16:59:31] 861*2^1447825-1 is not prime. Res64: 52F9056167870ECE Time : 0.0 sec. user=mdettweiler [2016-12-05 16:59:31] 895*2^1447825-1 is not prime. Res64: 53F565BFADCC32B7 Time : 0.0 sec. user=mdettweiler [2016-12-05 16:59:31] 939*2^1447825-1 is not prime. Res64: 59284E49B938BAF6 Time : 0.0 sec. user=mdettweiler [2016-12-05 17:03:23] 979*2^1447825-1 is not prime. Res64: EC35FE5D21FF3A61 Time : 0.0 sec. user=mdettweiler [2016-12-05 17:03:24] 603*2^1447826-1 is not prime. Res64: 8EB839D705A49622 Time : 0.0 sec. user=mdettweiler [2016-12-05 17:03:25] 675*2^1447826-1 is not prime. Res64: AD6101EEABC4E5A9 Time : 0.0 sec. user=mdettweiler [2016-12-05 17:03:26] 743*2^1447826-1 is not prime. Res64: C9997EE2CF7FA688 Time : 0.0 sec. user=mdettweiler [2016-12-05 17:03:26] 783*2^1447826-1 is not prime. Res64: 0812B88DC0BB37DD Time : 0.0 sec. user=mdettweiler [2016-12-05 17:32:16] 827*2^1447826-1 is not prime. Res64: 7857EBE49D2C7863 Time : 0.0 sec. user=mdettweiler [2016-12-05 17:32:17] 861*2^1447826-1 is not prime. Res64: 038AA556417E2E38 Time : 0.0 sec. user=mdettweiler [2016-12-05 17:32:17] 953*2^1447826-1 is not prime. Res64: EA5A8A3B99721889 Time : 0.0 sec. user=mdettweiler [2016-12-05 17:32:17] 963*2^1447826-1 is not prime. Res64: D9EE978CF805A9A5 Time : 0.0 sec. user=mdettweiler [2016-12-05 17:32:17] 987*2^1447826-1 is not prime. Res64: 6F37A2AEE6991CB5 Time : 0.0 sec. user=mdettweiler [2016-12-05 17:37:52] 741*2^1447827-1 is not prime. Res64: 0851CD8994B970D0 Time : 0.0 sec. user=mdettweiler [2016-12-05 17:37:53] 819*2^1447827-1 is not prime. Res64: 56D737F512E9FC83 Time : 0.0 sec. user=mdettweiler [2016-12-05 17:37:53] 835*2^1447827-1 is not prime. Res64: B53C3906426D906A Time : 0.0 sec. user=mdettweiler [2016-12-05 17:37:53] 859*2^1447827-1 is not prime. Res64: AE0FB94943BB4675 Time : 0.0 sec. user=mdettweiler [2016-12-05 17:37:53] 879*2^1447827-1 is not prime. Res64: F924A2CBAEC01A20 Time : 0.0 sec. user=mdettweiler [2016-12-05 17:44:36] 961*2^1447827-1 is not prime. Res64: D482629515D90457 Time : 0.0 sec. user=mdettweiler [2016-12-05 17:44:37] 663*2^1447828-1 is not prime. Res64: 7961A3B37C695B5B Time : 0.0 sec. user=mdettweiler [2016-12-05 17:44:37] 705*2^1447828-1 is not prime. Res64: EA2900FCB226F524 Time : 0.0 sec. user=mdettweiler [2016-12-05 17:44:37] 899*2^1447828-1 is not prime. Res64: 07AF897C54D3DBA1 Time : 0.0 sec. user=mdettweiler [2016-12-05 17:44:37] 947*2^1447828-1 is not prime. Res64: EAF7322DC33637CA Time : 0.0 sec. user=mdettweiler [2016-12-05 17:48:38] 969*2^1447828-1 is not prime. Res64: 9EA4EC17B76F006F Time : 0.0 sec. user=mdettweiler [2016-12-05 17:48:38] 685*2^1447829-1 is not prime. Res64: 7AC665E03D869009 Time : 0.0 sec. user=mdettweiler [2016-12-05 17:48:38] 691*2^1447829-1 is not prime. Res64: D0A4F8E4B74B0057 Time : 0.0 sec. user=mdettweiler [2016-12-05 17:48:39] 787*2^1447829-1 is not prime. Res64: 786D585313CCC102 Time : 0.0 sec. user=mdettweiler [2016-12-05 17:48:39] 795*2^1447829-1 is not prime. Res64: EE6516E18B296CD7 Time : 0.0 sec. user=mdettweiler [2016-12-05 18:17:19] 825*2^1447829-1 is not prime. Res64: 5DD81053EB315E9B Time : 0.0 sec. user=mdettweiler [2016-12-05 18:17:20] 865*2^1447829-1 is not prime. Res64: FEA91C360405A892 Time : 0.0 sec. user=mdettweiler [2016-12-05 18:17:21] 791*2^1447830-1 is not prime. Res64: 8347C034C6259712 Time : 0.0 sec. user=mdettweiler [2016-12-05 18:17:21] 845*2^1447830-1 is not prime. Res64: EF9EE4EAC1D89446 Time : 0.0 sec. user=mdettweiler [2016-12-05 18:17:22] 867*2^1447830-1 is not prime. Res64: 06B9DC346A2E8B17 Time : 0.0 sec. user=mdettweiler [2016-12-05 18:22:59] 885*2^1447830-1 is not prime. Res64: 74E4EE15DC1AE4FC Time : 0.0 sec. user=mdettweiler [2016-12-05 18:22:59] 927*2^1447830-1 is not prime. Res64: 1F2C0C0245A3DD5E Time : 0.0 sec. user=mdettweiler [2016-12-05 18:23:00] 957*2^1447830-1 is not prime. Res64: 105F441EBBAD3E2C Time : 0.0 sec. user=mdettweiler [2016-12-05 18:23:00] 625*2^1447831-1 is not prime. Res64: D99616D58ADB2D71 Time : 0.0 sec. user=mdettweiler [2016-12-05 18:23:00] 715*2^1447831-1 is not prime. Res64: 662082115EEBAFAE Time : 0.0 sec. user=mdettweiler [2016-12-05 18:29:40] 855*2^1447831-1 is not prime. Res64: 5B37FD23C1F3E8F2 Time : 0.0 sec. user=mdettweiler [2016-12-05 18:29:40] 951*2^1447831-1 is not prime. Res64: 73D5EA0B59C04D2C Time : 0.0 sec. user=mdettweiler [2016-12-05 18:29:41] 605*2^1447832-1 is not prime. Res64: DB78EF34EE2A7C02 Time : 0.0 sec. user=mdettweiler [2016-12-05 18:29:41] 635*2^1447832-1 is not prime. Res64: 8A8F5DD6887D8F93 Time : 0.0 sec. user=mdettweiler [2016-12-05 18:29:41] 735*2^1447832-1 is not prime. Res64: 0FC374CE60FC41C5 Time : 0.0 sec. user=mdettweiler [2016-12-05 18:33:42] 815*2^1447832-1 is not prime. Res64: 5FA9A07353615A62 Time : 0.0 sec. user=mdettweiler [2016-12-05 18:33:42] 857*2^1447832-1 is not prime. Res64: 4AFE07295EE9064D Time : 0.0 sec. user=mdettweiler [2016-12-05 18:33:42] 609*2^1447833-1 is not prime. Res64: 7130C7123F5EEB82 Time : 0.0 sec. user=mdettweiler [2016-12-05 18:33:42] 637*2^1447833-1 is not prime. Res64: 65676CA55B8E4B02 Time : 0.0 sec. user=mdettweiler [2016-12-05 18:33:43] 739*2^1447833-1 is not prime. Res64: F4CF937C0D4F45CF Time : 0.0 sec. user=mdettweiler [2016-12-05 19:02:40] 745*2^1447833-1 is not prime. Res64: A633976406E8CB85 Time : 0.0 sec. user=mdettweiler [2016-12-05 19:02:42] 819*2^1447833-1 is not prime. Res64: F0DDB3976FB89932 Time : 0.0 sec. user=mdettweiler [2016-12-05 19:02:42] 889*2^1447833-1 is not prime. Res64: BB433A45C3EAED57 Time : 0.0 sec. user=mdettweiler [2016-12-05 19:02:43] 999*2^1447833-1 is not prime. Res64: 6D6F50535823F72F Time : 0.0 sec. user=mdettweiler [2016-12-05 19:02:43] 611*2^1447834-1 is not prime. Res64: 1BE8507BB2B90747 Time : 0.0 sec. user=mdettweiler [2016-12-05 19:08:13] 617*2^1447834-1 is not prime. Res64: 8A50F39B4193FCFA Time : 0.0 sec. user=mdettweiler [2016-12-05 19:08:13] 791*2^1447834-1 is not prime. Res64: 713D89DB4C54EE76 Time : 0.0 sec. user=mdettweiler [2016-12-05 19:08:13] 891*2^1447834-1 is not prime. Res64: 8AE3DDEB0010766E Time : 0.0 sec. user=mdettweiler [2016-12-05 19:08:14] 915*2^1447834-1 is not prime. Res64: E9E62EA7AA8185AA Time : 0.0 sec. user=mdettweiler [2016-12-05 19:08:14] 917*2^1447834-1 is not prime. Res64: CF0E84D4B7C1DC54 Time : 0.0 sec. user=mdettweiler [2016-12-05 19:14:53] 957*2^1447834-1 is not prime. Res64: 24A3A58709937055 Time : 0.0 sec. user=mdettweiler [2016-12-05 19:14:54] 971*2^1447834-1 is not prime. Res64: 49F46B6734A37469 Time : 0.0 sec. user=mdettweiler [2016-12-05 19:14:54] 603*2^1447835-1 is not prime. Res64: 08B30D18AF82A2F1 Time : 0.0 sec. user=mdettweiler [2016-12-05 19:14:55] 733*2^1447835-1 is not prime. Res64: 1140F0E9955DDF64 Time : 0.0 sec. user=mdettweiler [2016-12-05 19:14:55] 789*2^1447835-1 is not prime. Res64: 30A46B3EEC25F659 Time : 0.0 sec. user=mdettweiler [2016-12-05 19:18:43] 859*2^1447835-1 is not prime. Res64: 62570DD7D90A0A01 Time : 0.0 sec. user=mdettweiler [2016-12-05 19:18:43] 963*2^1447835-1 is not prime. Res64: BE3752EE9AAFF6A4 Time : 0.0 sec. user=mdettweiler [2016-12-05 19:18:43] 689*2^1447836-1 is not prime. Res64: 6E6C1B434E507F1D Time : 0.0 sec. user=mdettweiler [2016-12-05 19:18:43] 719*2^1447836-1 is not prime. Res64: 4F1876DDAAA34119 Time : 0.0 sec. user=mdettweiler [2016-12-05 19:18:44] 789*2^1447836-1 is not prime. Res64: 4A27D56D4431C5A3 Time : 0.0 sec. user=mdettweiler [2016-12-05 19:47:52] 845*2^1447836-1 is not prime. Res64: 65507174218AA0D1 Time : 0.0 sec. user=mdettweiler [2016-12-05 19:47:52] 975*2^1447836-1 is not prime. Res64: 015C8EEFEB6B26FC Time : 0.0 sec. user=mdettweiler [2016-12-05 19:47:52] 983*2^1447836-1 is not prime. Res64: D31F15477D7A8ECF Time : 0.0 sec. user=mdettweiler [2016-12-05 19:47:53] 619*2^1447837-1 is not prime. Res64: FA10355DC839EAFF Time : 0.0 sec. user=mdettweiler [2016-12-05 19:47:53] 805*2^1447837-1 is not prime. Res64: 774A56E9130BF684 Time : 0.0 sec. user=mdettweiler [2016-12-05 19:53:26] 915*2^1447837-1 is not prime. Res64: 7C30F08BD300F5B4 Time : 0.0 sec. user=mdettweiler [2016-12-05 19:53:27] 919*2^1447837-1 is not prime. Res64: ED084A5E2443F0D6 Time : 0.0 sec. user=mdettweiler [2016-12-05 19:53:28] 937*2^1447837-1 is not prime. Res64: 72A7A34564C082BC Time : 0.0 sec. user=mdettweiler [2016-12-05 19:53:28] 945*2^1447837-1 is not prime. Res64: A0A95758719DF136 Time : 0.0 sec. user=mdettweiler [2016-12-05 19:53:29] 605*2^1447838-1 is not prime. Res64: 41D4BB05E770EBA8 Time : 0.0 sec. user=mdettweiler [2016-12-05 20:00:04] 645*2^1447838-1 is not prime. Res64: 4535FBC5650B6A64 Time : 0.0 sec. user=mdettweiler [2016-12-05 20:00:05] 713*2^1447838-1 is not prime. Res64: 83BB7CDB91A25229 Time : 0.0 sec. user=mdettweiler [2016-12-05 20:00:05] 771*2^1447838-1 is not prime. Res64: 162D9F4385C91D74 Time : 0.0 sec. user=mdettweiler [2016-12-05 20:00:05] 797*2^1447838-1 is not prime. Res64: 3B4607EB3FD2D470 Time : 0.0 sec. user=mdettweiler [2016-12-05 20:00:05] 827*2^1447838-1 is not prime. Res64: 5F0FEE6811BCDA63 Time : 0.0 sec. user=mdettweiler [2016-12-05 20:04:25] 897*2^1447838-1 is not prime. Res64: B9095E60C000B697 Time : 0.0 sec. user=mdettweiler [2016-12-05 20:04:26] 911*2^1447838-1 is not prime. Res64: D0A983C06D4587F6 Time : 0.0 sec. user=mdettweiler [2016-12-05 20:04:26] 601*2^1447839-1 is not prime. Res64: 07F82B2DC9B4322C Time : 0.0 sec. user=mdettweiler [2016-12-05 20:04:27] 633*2^1447839-1 is not prime. Res64: 68FF0FF2872C0A13 Time : 0.0 sec. user=mdettweiler [2016-12-05 20:04:27] 763*2^1447839-1 is not prime. Res64: 7CCBA8B802E07EF0 Time : 0.0 sec. user=mdettweiler [2016-12-05 20:33:56] 789*2^1447839-1 is not prime. Res64: 4E5FEBC1CB8EA299 Time : 0.0 sec. user=mdettweiler [2016-12-05 20:33:57] 931*2^1447839-1 is not prime. Res64: 445E83A71076CB8B Time : 0.0 sec. user=mdettweiler [2016-12-05 20:33:57] 605*2^1447840-1 is not prime. Res64: F5D0C876F52E5288 Time : 0.0 sec. user=mdettweiler [2016-12-05 20:33:57] 609*2^1447840-1 is not prime. Res64: 0385A4CE0FE9F879 Time : 0.0 sec. user=mdettweiler [2016-12-05 20:33:58] 615*2^1447840-1 is not prime. Res64: 9A36A270B41471BD Time : 0.0 sec. user=mdettweiler [2016-12-05 20:39:50] 635*2^1447840-1 is not prime. Res64: 173C71B27EFBC3D6 Time : 0.0 sec. user=mdettweiler [2016-12-05 20:39:50] 665*2^1447840-1 is not prime. Res64: A888C19405339F5C Time : 0.0 sec. user=mdettweiler [2016-12-05 20:39:51] 755*2^1447840-1 is not prime. Res64: 3858335F0BBCC9BD Time : 0.0 sec. user=mdettweiler [2016-12-05 20:39:51] 927*2^1447840-1 is not prime. Res64: 8A3241F221537836 Time : 0.0 sec. user=mdettweiler [2016-12-05 20:39:51] 933*2^1447840-1 is not prime. Res64: CC81C158FBCF4866 Time : 0.0 sec. user=mdettweiler [2016-12-05 20:46:14] 649*2^1447841-1 is not prime. Res64: 74D4012B6B6AEE60 Time : 0.0 sec. user=mdettweiler [2016-12-05 20:46:14] 675*2^1447841-1 is not prime. Res64: 0C3E8C2A9186421D Time : 0.0 sec. user=mdettweiler [2016-12-05 20:46:14] 691*2^1447841-1 is not prime. Res64: 67EF9DA5FDAA7EB8 Time : 0.0 sec. user=mdettweiler [2016-12-05 20:46:15] 925*2^1447841-1 is not prime. Res64: 30C0A135D3FB2C3E Time : 0.0 sec. user=mdettweiler [2016-12-05 20:46:15] 987*2^1447841-1 is not prime. Res64: 448431F1E29C4578 Time : 0.0 sec. user=mdettweiler [2016-12-05 20:50:09] 621*2^1447842-1 is not prime. Res64: 7EC50AF6F8A180D9 Time : 0.0 sec. user=mdettweiler [2016-12-05 20:50:09] 633*2^1447842-1 is not prime. Res64: A143B07376FF7433 Time : 0.0 sec. user=mdettweiler [2016-12-05 20:50:09] 833*2^1447842-1 is not prime. Res64: 9CCF09E2BAE2CD9D Time : 0.0 sec. user=mdettweiler [2016-12-05 20:50:09] 893*2^1447842-1 is not prime. Res64: 649269A78425E360 Time : 0.0 sec. user=mdettweiler [2016-12-05 20:50:10] 923*2^1447842-1 is not prime. Res64: 251738ED332415FB Time : 0.0 sec. user=mdettweiler [2016-12-05 21:19:12] 951*2^1447842-1 is not prime. Res64: D0D35BDF230F1081 Time : 0.0 sec. user=mdettweiler [2016-12-05 21:19:13] 963*2^1447842-1 is not prime. Res64: 6AC5099496033EB8 Time : 0.0 sec. user=mdettweiler [2016-12-05 21:19:13] 609*2^1447843-1 is not prime. Res64: D31354BBDA562903 Time : 0.0 sec. user=mdettweiler [2016-12-05 21:19:14] 649*2^1447843-1 is not prime. Res64: 001A3485E51BD6FC Time : 0.0 sec. user=mdettweiler [2016-12-05 21:19:14] 793*2^1447843-1 is not prime. Res64: 03CBE84226C17FEF Time : 0.0 sec. user=mdettweiler [2016-12-05 21:25:03] 961*2^1447843-1 is not prime. Res64: 5E8CE1693FEDD6C2 Time : 0.0 sec. user=mdettweiler [2016-12-05 21:25:03] 635*2^1447844-1 is not prime. Res64: 26C036BA365140A9 Time : 0.0 sec. user=mdettweiler [2016-12-05 21:25:04] 773*2^1447844-1 is not prime. Res64: D9DE3C00E2C00F30 Time : 0.0 sec. user=mdettweiler [2016-12-05 21:25:04] 993*2^1447844-1 is not prime. Res64: D21E8A465C6CACAB Time : 0.0 sec. user=mdettweiler [2016-12-05 21:25:04] 657*2^1447845-1 is not prime. Res64: 336880CA942E323C Time : 0.0 sec. user=mdettweiler [2016-12-05 21:31:18] 685*2^1447845-1 is not prime. Res64: DF37105E5B504BAD Time : 0.0 sec. user=mdettweiler [2016-12-05 21:31:19] 721*2^1447845-1 is not prime. Res64: 3A3243B62B3233DA Time : 0.0 sec. user=mdettweiler [2016-12-05 21:31:19] 759*2^1447845-1 is not prime. Res64: 35917FD6C0FD4A03 Time : 0.0 sec. user=mdettweiler [2016-12-05 21:31:20] 647*2^1447846-1 is not prime. Res64: 371A92DC9D14EA1E Time : 0.0 sec. user=mdettweiler [2016-12-05 21:31:21] 653*2^1447846-1 is not prime. Res64: 644A4AE2AED39A63 Time : 0.0 sec. user=mdettweiler [2016-12-05 21:35:28] 677*2^1447846-1 is not prime. Res64: 3A39DA53CA5E8863 Time : 0.0 sec. user=mdettweiler [2016-12-05 21:35:28] 741*2^1447846-1 is not prime. Res64: 0717408A66131CC6 Time : 0.0 sec. user=mdettweiler [2016-12-05 21:35:29] 777*2^1447846-1 is not prime. Res64: D47C5157B1322741 Time : 0.0 sec. user=mdettweiler [2016-12-05 21:35:29] 801*2^1447846-1 is not prime. Res64: 5E6AA5D0D3532149 Time : 0.0 sec. user=mdettweiler [2016-12-05 21:35:30] 891*2^1447846-1 is not prime. Res64: CCF182E72F767822 Time : 0.0 sec. user=mdettweiler [2016-12-05 22:04:47] 941*2^1447846-1 is not prime. Res64: 2046A0CEB3FD2297 Time : 0.0 sec. user=mdettweiler [2016-12-05 22:04:49] 947*2^1447846-1 is not prime. Res64: 16A45E5F72887305 Time : 0.0 sec. user=mdettweiler [2016-12-05 22:04:51] 987*2^1447846-1 is not prime. Res64: 67F3757D453035A8 Time : 0.0 sec. user=mdettweiler [2016-12-05 22:04:53] 655*2^1447847-1 is not prime. Res64: 56EC2E33FA6C252F Time : 0.0 sec. user=mdettweiler [2016-12-05 22:04:54] 693*2^1447847-1 is not prime. Res64: 7E3577DFF14F7796 Time : 0.0 sec. user=mdettweiler [2016-12-05 22:10:43] 825*2^1447847-1 is not prime. Res64: 8B9B747AB3C26232 Time : 0.0 sec. user=mdettweiler [2016-12-05 22:10:43] 859*2^1447847-1 is not prime. Res64: 2784E06D7A8B1DE1 Time : 0.0 sec. user=mdettweiler [2016-12-05 22:10:44] 955*2^1447847-1 is not prime. Res64: A8D20FE7B725013D Time : 0.0 sec. user=mdettweiler [2016-12-05 22:10:44] 633*2^1447848-1 is not prime. Res64: 92543009680A44D0 Time : 0.0 sec. user=mdettweiler [2016-12-05 22:10:44] 639*2^1447848-1 is not prime. Res64: 7B62C065E8B97941 Time : 0.0 sec. user=mdettweiler [2016-12-05 22:16:55] 663*2^1447848-1 is not prime. Res64: 53B81DE6525D08C9 Time : 0.0 sec. user=mdettweiler [2016-12-05 22:16:56] 689*2^1447848-1 is not prime. Res64: 34AB56D4CEF490C5 Time : 0.0 sec. user=mdettweiler [2016-12-05 22:16:56] 839*2^1447848-1 is not prime. Res64: 4E52F116543560BA Time : 0.0 sec. user=mdettweiler [2016-12-05 22:16:57] 899*2^1447848-1 is not prime. Res64: 01C7CF373C7CBFDB Time : 0.0 sec. user=mdettweiler [2016-12-05 22:16:57] 909*2^1447848-1 is not prime. Res64: BBA1829CE7C1E557 Time : 0.0 sec. user=mdettweiler [2016-12-05 22:21:09] 959*2^1447848-1 is not prime. Res64: 0DD86D30DD5A7552 Time : 0.0 sec. user=mdettweiler [2016-12-05 22:21:09] 855*2^1447849-1 is not prime. Res64: 0B05C5C1E2178BB1 Time : 0.0 sec. user=mdettweiler [2016-12-05 22:21:09] 909*2^1447849-1 is not prime. Res64: F9B5D578A5E113BF Time : 0.0 sec. user=mdettweiler [2016-12-05 22:21:10] 925*2^1447849-1 is not prime. Res64: 38C1B3C497B04C7C Time : 0.0 sec. user=mdettweiler [2016-12-05 22:21:10] 951*2^1447849-1 is not prime. Res64: 52471DA9A8BA89B2 Time : 0.0 sec. user=mdettweiler [2016-12-05 22:51:17] 861*2^1447850-1 is not prime. Res64: 6030A24FB96C00B5 Time : 0.0 sec. user=mdettweiler [2016-12-05 22:51:17] 867*2^1447850-1 is not prime. Res64: 4039CDE9425C06D5 Time : 0.0 sec. user=mdettweiler [2016-12-05 22:51:17] 885*2^1447850-1 is not prime. Res64: CEDFABBF54F86378 Time : 0.0 sec. user=mdettweiler [2016-12-05 22:51:18] 927*2^1447850-1 is not prime. Res64: 97F439C8431DA0E3 Time : 0.0 sec. user=mdettweiler [2016-12-05 22:51:18] 981*2^1447850-1 is not prime. Res64: BC38367DD41CF011 Time : 0.0 sec. user=mdettweiler [2016-12-05 22:56:55] 769*2^1447851-1 is not prime. Res64: 100307E15BF4556A Time : 0.0 sec. user=mdettweiler [2016-12-05 22:56:55] 781*2^1447851-1 is not prime. Res64: 5C67B36F7BD8A35B Time : 0.0 sec. user=mdettweiler [2016-12-05 22:56:55] 849*2^1447851-1 is not prime. Res64: 65EA7074C7B43DCC Time : 0.0 sec. user=mdettweiler [2016-12-05 22:56:55] 859*2^1447851-1 is not prime. Res64: 91211AC2CFA49EEE Time : 0.0 sec. user=mdettweiler [2016-12-05 22:56:55] 873*2^1447851-1 is not prime. Res64: 0695B776B1AA4420 Time : 0.0 sec. user=mdettweiler [2016-12-05 23:02:45] 951*2^1447851-1 is not prime. Res64: C5B6A240FEE6AF53 Time : 0.0 sec. user=mdettweiler [2016-12-05 23:02:46] 827*2^1447852-1 is not prime. Res64: B4954DCB89E94B76 Time : 0.0 sec. user=mdettweiler [2016-12-05 23:02:47] 873*2^1447852-1 is not prime. Res64: 8217C0DEF079A303 Time : 0.0 sec. user=mdettweiler [2016-12-05 23:02:48] 875*2^1447852-1 is not prime. Res64: FCD15D88DB04A118 Time : 0.0 sec. user=mdettweiler [2016-12-05 23:02:49] 915*2^1447852-1 is not prime. Res64: 49E3060DA14FACF5 Time : 0.0 sec. user=mdettweiler [2016-12-05 23:06:50] 959*2^1447852-1 is not prime. Res64: 53CA64066B6FFE99 Time : 0.0 sec. user=mdettweiler [2016-12-05 23:06:52] 615*2^1447853-1 is not prime. Res64: ABF4F7D146D05A4A Time : 0.0 sec. user=mdettweiler [2016-12-05 23:06:52] 721*2^1447853-1 is not prime. Res64: 14B2BECAE27CE984 Time : 0.0 sec. user=mdettweiler [2016-12-05 23:06:53] 811*2^1447853-1 is not prime. Res64: 88415006F7525521 Time : 0.0 sec. user=mdettweiler [2016-12-05 23:06:54] 897*2^1447853-1 is not prime. Res64: D976733081AC89E7 Time : 0.0 sec. user=mdettweiler [2016-12-05 23:36:21] 949*2^1447853-1 is not prime. Res64: ADCC7A635B9C8078 Time : 0.0 sec. user=mdettweiler [2016-12-05 23:36:21] 955*2^1447853-1 is not prime. Res64: BA96EEF1AD5B59A3 Time : 0.0 sec. user=mdettweiler [2016-12-05 23:36:22] 981*2^1447853-1 is not prime. Res64: DA554D1AF577FEB5 Time : 0.0 sec. user=mdettweiler [2016-12-05 23:36:22] 663*2^1447854-1 is not prime. Res64: 5C24741A37D6C4F4 Time : 0.0 sec. user=mdettweiler [2016-12-05 23:36:22] 683*2^1447854-1 is not prime. Res64: 1E2B4195A820E596 Time : 0.0 sec. user=mdettweiler [2016-12-05 23:42:30] 705*2^1447854-1 is not prime. Res64: 36EA6BE46D53716B Time : 0.0 sec. user=mdettweiler [2016-12-05 23:42:30] 711*2^1447854-1 is not prime. Res64: 4785FF00C81836A9 Time : 0.0 sec. user=mdettweiler [2016-12-05 23:42:30] 737*2^1447854-1 is not prime. Res64: C21180A7A2313540 Time : 0.0 sec. user=mdettweiler [2016-12-05 23:42:31] 783*2^1447854-1 is not prime. Res64: A3FEEB47AB19D1D5 Time : 0.0 sec. user=mdettweiler [2016-12-05 23:42:31] 833*2^1447854-1 is not prime. Res64: E0572B0E962D3A15 Time : 0.0 sec. user=mdettweiler [2016-12-05 23:48:51] 941*2^1447854-1 is not prime. Res64: 9B285DDAA1734377 Time : 0.0 sec. user=mdettweiler [2016-12-05 23:48:51] 951*2^1447854-1 is not prime. Res64: 228334517DDF1DAE Time : 0.0 sec. user=mdettweiler [2016-12-05 23:48:52] 971*2^1447854-1 is not prime. Res64: 6DCF1F42B53A2ED6 Time : 0.0 sec. user=mdettweiler [2016-12-05 23:48:52] 975*2^1447854-1 is not prime. Res64: 1FC9E73D917FA107 Time : 0.0 sec. user=mdettweiler [2016-12-05 23:48:52] 983*2^1447854-1 is not prime. Res64: 282E9C0FC9D927C0 Time : 0.0 sec. user=mdettweiler [2016-12-05 23:52:47] 853*2^1447855-1 is not prime. Res64: 138B5959E3E98F74 Time : 0.0 sec. user=mdettweiler [2016-12-05 23:52:48] 861*2^1447855-1 is not prime. Res64: 405BBBBC86300326 Time : 0.0 sec. user=mdettweiler [2016-12-05 23:52:48] 683*2^1447856-1 is not prime. Res64: CE283A45207F0D39 Time : 0.0 sec. user=mdettweiler [2016-12-05 23:52:48] 699*2^1447856-1 is not prime. Res64: 847539134507F6A6 Time : 0.0 sec. user=mdettweiler [2016-12-05 23:52:48] 873*2^1447856-1 is not prime. Res64: A41EEA103FA119C6 Time : 0.0 sec.