user=mdettweiler [2018-05-05 00:29:20] 745*2^1508949-1 is not prime. Res64: D56F9658172D5397 Time : 0.0 sec. user=mdettweiler [2018-05-05 00:29:20] 781*2^1508949-1 is not prime. Res64: 88BE31AC703BA850 Time : 0.0 sec. user=mdettweiler [2018-05-05 00:29:21] 969*2^1508949-1 is not prime. Res64: AC21FCD113324FFE Time : 0.0 sec. user=mdettweiler [2018-05-05 00:29:21] 653*2^1508950-1 is not prime. Res64: 307063910E16EB51 Time : 0.0 sec. user=mdettweiler [2018-05-05 00:29:22] 713*2^1508950-1 is not prime. Res64: 11BBE3B655E437DD Time : 0.0 sec. user=mdettweiler [2018-05-05 00:39:33] 843*2^1508950-1 is not prime. Res64: 5D88272764AD68A3 Time : 0.0 sec. user=mdettweiler [2018-05-05 00:39:33] 941*2^1508950-1 is not prime. Res64: 12E320B8685890CF Time : 0.0 sec. user=mdettweiler [2018-05-05 00:39:34] 975*2^1508950-1 is not prime. Res64: 424832F12215172F Time : 0.0 sec. user=mdettweiler [2018-05-05 00:39:34] 1001*2^1508950-1 is not prime. Res64: 8B36E839F56EA87B Time : 0.0 sec. user=mdettweiler [2018-05-05 00:39:34] 619*2^1508951-1 is not prime. Res64: BBE051131C734231 Time : 0.0 sec. user=mdettweiler [2018-05-05 00:40:18] 669*2^1508951-1 is not prime. Res64: 1F1A02299D20D56A Time : 0.0 sec. user=mdettweiler [2018-05-05 00:40:18] 673*2^1508951-1 is not prime. Res64: 5241730E84A4B8D1 Time : 0.0 sec. user=mdettweiler [2018-05-05 00:40:19] 735*2^1508951-1 is not prime. Res64: BBA0B5043D292397 Time : 0.0 sec. user=mdettweiler [2018-05-05 00:40:19] 855*2^1508951-1 is not prime. Res64: 29BAC0882FDE73F2 Time : 0.0 sec. user=mdettweiler [2018-05-05 00:40:20] 859*2^1508951-1 is not prime. Res64: 1DC79504FD573191 Time : 0.0 sec. user=mdettweiler [2018-05-05 00:50:08] 895*2^1508951-1 is not prime. Res64: 7C670BFD2E5B10E0 Time : 0.0 sec. user=mdettweiler [2018-05-05 00:50:09] 921*2^1508951-1 is not prime. Res64: 784E58A58EF74748 Time : 0.0 sec. user=mdettweiler [2018-05-05 00:50:09] 605*2^1508952-1 is not prime. Res64: C8869E085A43EBB0 Time : 0.0 sec. user=mdettweiler [2018-05-05 00:50:10] 665*2^1508952-1 is not prime. Res64: 8AD5E2E92AFACBA1 Time : 0.0 sec. user=mdettweiler [2018-05-05 00:50:10] 797*2^1508952-1 is not prime. Res64: 91B7307E1EE63DD3 Time : 0.0 sec. user=mdettweiler [2018-05-05 01:20:20] 887*2^1508952-1 is not prime. Res64: C30248A110F4C55D Time : 0.0 sec. user=mdettweiler [2018-05-05 01:20:21] 721*2^1508953-1 is not prime. Res64: 9098072781D494F8 Time : 0.0 sec. user=mdettweiler [2018-05-05 01:20:21] 817*2^1508953-1 is not prime. Res64: 3E9DED037B230B51 Time : 0.0 sec. user=mdettweiler [2018-05-05 01:20:22] 877*2^1508953-1 is not prime. Res64: 2AFB33D782784FB4 Time : 0.0 sec. user=mdettweiler [2018-05-05 01:20:22] 633*2^1508954-1 is not prime. Res64: 462BE50C02DDF5E4 Time : 0.0 sec. user=mdettweiler [2018-05-05 01:30:31] 649*2^1508955-1 is not prime. Res64: 2095E7C35A312B0B Time : 0.0 sec. user=mdettweiler [2018-05-05 01:30:32] 705*2^1508955-1 is not prime. Res64: 3396F385BAF5E004 Time : 0.0 sec. user=mdettweiler [2018-05-05 01:30:32] 709*2^1508955-1 is not prime. Res64: 4C1FBA88084FA089 Time : 0.0 sec. user=mdettweiler [2018-05-05 01:30:33] 783*2^1508955-1 is not prime. Res64: 001A20D825353F3D Time : 0.0 sec. user=mdettweiler [2018-05-05 01:30:34] 801*2^1508955-1 is not prime. Res64: 79063A36B1DD8AE3 Time : 0.0 sec. user=mdettweiler [2018-05-05 01:30:48] 861*2^1508954-1 is not prime. Res64: AA65333762B3F840 Time : 0.0 sec. user=mdettweiler [2018-05-05 01:30:49] 935*2^1508954-1 is not prime. Res64: E350F9018F7D30F5 Time : 0.0 sec. user=mdettweiler [2018-05-05 01:30:50] 951*2^1508954-1 is not prime. Res64: 294FEAB2BF528968 Time : 0.0 sec. user=mdettweiler [2018-05-05 01:30:51] 619*2^1508955-1 is not prime. Res64: 38F56D18DE428321 Time : 0.0 sec. user=mdettweiler [2018-05-05 01:30:53] 625*2^1508955-1 is not prime. Res64: 58B1A9E0852D226F Time : 0.0 sec. user=mdettweiler [2018-05-05 01:41:15] 895*2^1508955-1 is not prime. Res64: DEF988071AC5BDEB Time : 0.0 sec. user=mdettweiler [2018-05-05 01:41:16] 913*2^1508955-1 is not prime. Res64: 9D220238E628CEE3 Time : 0.0 sec. user=mdettweiler [2018-05-05 01:41:16] 943*2^1508955-1 is not prime. Res64: BE0CBD7CEB536E91 Time : 0.0 sec. user=mdettweiler [2018-05-05 01:41:17] 653*2^1508956-1 is not prime. Res64: C3B4FF8324B2DBC3 Time : 0.0 sec. user=mdettweiler [2018-05-05 01:41:17] 735*2^1508956-1 is not prime. Res64: 44236AFFAD9FA419 Time : 0.0 sec. user=mdettweiler [2018-05-05 02:11:40] 743*2^1508956-1 is not prime. Res64: A64DF64BB70129D7 Time : 0.0 sec. user=mdettweiler [2018-05-05 02:11:40] 749*2^1508956-1 is not prime. Res64: 6BD5E01274231CE6 Time : 0.0 sec. user=mdettweiler [2018-05-05 02:11:41] 785*2^1508956-1 is not prime. Res64: D54193FA03C0C594 Time : 0.0 sec. user=mdettweiler [2018-05-05 02:11:41] 869*2^1508956-1 is not prime. Res64: 5EC78A971A33502A Time : 0.0 sec. user=mdettweiler [2018-05-05 02:11:42] 933*2^1508956-1 is not prime. Res64: 98BF18A82BAFBF5F Time : 0.0 sec. user=mdettweiler [2018-05-05 02:20:57] 989*2^1508956-1 is not prime. Res64: 9FE4A44C4A4FB16F Time : 0.0 sec. user=mdettweiler [2018-05-05 02:20:58] 615*2^1508957-1 is not prime. Res64: D3D3BFBF470D9056 Time : 0.0 sec. user=mdettweiler [2018-05-05 02:20:58] 655*2^1508957-1 is not prime. Res64: EE00C5B191DDC736 Time : 0.0 sec. user=mdettweiler [2018-05-05 02:20:58] 699*2^1508957-1 is not prime. Res64: 78A3275CD11C49CF Time : 0.0 sec. user=mdettweiler [2018-05-05 02:20:59] 729*2^1508957-1 is not prime. Res64: D5A7C6C8422291DF Time : 0.0 sec. user=mdettweiler [2018-05-05 02:21:50] 957*2^1508956-1 is not prime. Res64: 6D59ED358EB24E44 Time : 0.0 sec. user=mdettweiler [2018-05-05 02:21:51] 965*2^1508956-1 is not prime. Res64: 62E16A936EEA6ED3 Time : 0.0 sec. user=mdettweiler [2018-05-05 02:21:51] 771*2^1508957-1 is not prime. Res64: FB580133128B0F8E Time : 0.0 sec. user=mdettweiler [2018-05-05 02:21:52] 829*2^1508957-1 is not prime. Res64: 73A7BA00ACA429C7 Time : 0.0 sec. user=mdettweiler [2018-05-05 02:21:53] 871*2^1508957-1 is not prime. Res64: 6F3E167EBB288852 Time : 0.0 sec. user=mdettweiler [2018-05-05 02:32:32] 937*2^1508957-1 is not prime. Res64: B0F8AFDBF6A9125B Time : 0.0 sec. user=mdettweiler [2018-05-05 02:32:32] 939*2^1508957-1 is not prime. Res64: 476302655B47925C Time : 0.0 sec. user=mdettweiler [2018-05-05 02:32:33] 615*2^1508958-1 is not prime. Res64: A9A6341C9C0E3494 Time : 0.0 sec. user=mdettweiler [2018-05-05 02:32:34] 821*2^1508958-1 is not prime. Res64: 5291E36E2355D6F4 Time : 0.0 sec. user=mdettweiler [2018-05-05 02:32:34] 963*2^1508958-1 is not prime. Res64: E5271FB6E0B1A39D Time : 0.0 sec. user=mdettweiler [2018-05-05 03:03:10] 971*2^1508958-1 is not prime. Res64: F4E423C3B19513C4 Time : 0.0 sec. user=mdettweiler [2018-05-05 03:03:11] 603*2^1508959-1 is not prime. Res64: 2737578DBAB2949D Time : 0.0 sec. user=mdettweiler [2018-05-05 03:03:12] 735*2^1508959-1 is not prime. Res64: 517498E01116A4E5 Time : 0.0 sec. user=mdettweiler [2018-05-05 03:03:13] 745*2^1508959-1 is not prime. Res64: 9D08AF2F994E9F4C Time : 0.0 sec. user=mdettweiler [2018-05-05 03:03:14] 769*2^1508959-1 is not prime. Res64: D39288E602410D07 Time : 0.0 sec. user=mdettweiler [2018-05-05 03:13:07] 843*2^1508959-1 is not prime. Res64: C6DA3EAB76CB8587 Time : 0.0 sec. user=mdettweiler [2018-05-05 03:13:07] 855*2^1508959-1 is not prime. Res64: 7C2AADD4A8B40414 Time : 0.0 sec. user=mdettweiler [2018-05-05 03:13:08] 883*2^1508959-1 is not prime. Res64: A655560C903368BD Time : 0.0 sec. user=mdettweiler [2018-05-05 03:13:08] 713*2^1508960-1 is not prime. Res64: 445BEAC87D90EBC6 Time : 0.0 sec. user=mdettweiler [2018-05-05 03:13:09] 759*2^1508960-1 is not prime. Res64: FE78118196219A95 Time : 0.0 sec. user=mdettweiler [2018-05-05 03:13:13] 827*2^1508960-1 is not prime. Res64: 8B978AA993D4C752 Time : 0.0 sec. user=mdettweiler [2018-05-05 03:13:14] 839*2^1508960-1 is not prime. Res64: 6FE4CF311802C390 Time : 0.0 sec. user=mdettweiler [2018-05-05 03:13:14] 909*2^1508960-1 is not prime. Res64: ADC5228F5EFABE08 Time : 0.0 sec. user=mdettweiler [2018-05-05 03:13:15] 999*2^1508960-1 is not prime. Res64: ECD881430FA5B3D2 Time : 0.0 sec. user=mdettweiler [2018-05-05 03:13:15] 711*2^1508961-1 is not prime. Res64: 97A72880E184A148 Time : 0.0 sec. user=mdettweiler [2018-05-05 03:24:34] 951*2^1508961-1 is not prime. Res64: 01C2A60AA01745A2 Time : 0.0 sec. user=mdettweiler [2018-05-05 03:24:36] 731*2^1508962-1 is not prime. Res64: 58AFDAC6D6F22179 Time : 0.0 sec. user=mdettweiler [2018-05-05 03:24:37] 867*2^1508962-1 is not prime. Res64: 63B837520C9DDC08 Time : 0.0 sec. user=mdettweiler [2018-05-05 03:24:38] 945*2^1508962-1 is not prime. Res64: C2FCD63586539082 Time : 0.0 sec. user=mdettweiler [2018-05-05 03:24:39] 957*2^1508962-1 is not prime. Res64: 737D32C8D143F0F0 Time : 0.0 sec. user=mdettweiler [2018-05-05 03:55:36] 675*2^1508963-1 is not prime. Res64: 26422D9F8DF9B7A4 Time : 0.0 sec. user=mdettweiler [2018-05-05 03:55:37] 735*2^1508963-1 is not prime. Res64: 3B6AF2FB5DACC601 Time : 0.0 sec. user=mdettweiler [2018-05-05 03:55:38] 859*2^1508963-1 is not prime. Res64: A5280E049EBBEDE9 Time : 0.0 sec. user=mdettweiler [2018-05-05 03:55:39] 871*2^1508963-1 is not prime. Res64: EB87C124D7CD700D Time : 0.0 sec. user=mdettweiler [2018-05-05 03:55:40] 623*2^1508964-1 is not prime. Res64: 810237017294E3D6 Time : 0.0 sec. user=mdettweiler [2018-05-05 04:04:16] 727*2^1508965-1 is not prime. Res64: C22F406142526AAB Time : 0.0 sec. user=mdettweiler [2018-05-05 04:04:19] 861*2^1508965-1 is not prime. Res64: 0DFD4F0F34745056 Time : 0.0 sec. user=mdettweiler [2018-05-05 04:04:21] 877*2^1508965-1 is not prime. Res64: C806F1BCEC677A44 Time : 0.0 sec. user=mdettweiler [2018-05-05 04:04:24] 657*2^1508966-1 is not prime. Res64: A2366B8F8154E3B8 Time : 0.0 sec. user=mdettweiler [2018-05-05 04:04:25] 711*2^1508966-1 is not prime. Res64: 57DDF5DAD83532CD Time : 0.0 sec. user=mdettweiler [2018-05-05 04:04:38] 795*2^1508964-1 is not prime. Res64: 1D6A5FA7654B334F Time : 0.0 sec. user=mdettweiler [2018-05-05 04:04:40] 887*2^1508964-1 is not prime. Res64: 8B35654A78BD93C5 Time : 0.0 sec. user=mdettweiler [2018-05-05 04:04:43] 905*2^1508964-1 is not prime. Res64: 64C7775E71F4C542 Time : 0.0 sec. user=mdettweiler [2018-05-05 04:04:48] 983*2^1508964-1 is not prime. Res64: D87A33D8CC26BC49 Time : 0.0 sec. user=mdettweiler [2018-05-05 04:04:53] 607*2^1508965-1 is not prime. Res64: B066923709E6F851 Time : 0.0 sec. user=mdettweiler [2018-05-05 04:16:01] 755*2^1508966-1 is not prime. Res64: 2FA71D4BFC3F43BD Time : 0.0 sec. user=mdettweiler [2018-05-05 04:16:01] 867*2^1508966-1 is not prime. Res64: 6AC7655BA8ADE6C0 Time : 0.0 sec. user=mdettweiler [2018-05-05 04:16:02] 873*2^1508966-1 is not prime. Res64: 1E6313F1F4ECA97D Time : 0.0 sec. user=mdettweiler [2018-05-05 04:16:02] 923*2^1508966-1 is not prime. Res64: F43C119A4C77E148 Time : 0.0 sec. user=mdettweiler [2018-05-05 04:16:03] 651*2^1508967-1 is not prime. Res64: 852CE978A15CD35B Time : 0.0 sec. user=mdettweiler [2018-05-05 04:47:31] 735*2^1508967-1 is not prime. Res64: 1C560B69CA7ED12E Time : 0.0 sec. user=mdettweiler [2018-05-05 04:47:32] 775*2^1508967-1 is not prime. Res64: 23DB7DFB8E9A484F Time : 0.0 sec. user=mdettweiler [2018-05-05 04:47:32] 871*2^1508967-1 is not prime. Res64: CC080A17A5189E4C Time : 0.0 sec. user=mdettweiler [2018-05-05 04:47:33] 951*2^1508967-1 is not prime. Res64: CC45EA4E61499F49 Time : 0.0 sec. user=mdettweiler [2018-05-05 04:47:33] 955*2^1508967-1 is not prime. Res64: A363040F9EDBA2EF Time : 0.0 sec. user=mdettweiler [2018-05-05 04:56:00] 909*2^1508968-1 is not prime. Res64: 964ABFC348444C5E Time : 0.0 sec. user=mdettweiler [2018-05-05 04:56:01] 631*2^1508969-1 is not prime. Res64: 47CC8AA116031420 Time : 0.0 sec. user=mdettweiler [2018-05-05 04:56:01] 745*2^1508969-1 is not prime. Res64: 1852F57B4ABAA033 Time : 0.0 sec. user=mdettweiler [2018-05-05 04:56:02] 847*2^1508969-1 is not prime. Res64: 3048970262D11537 Time : 0.0 sec. user=mdettweiler [2018-05-05 04:56:03] 879*2^1508969-1 is not prime. Res64: 1F8991EFDBBD9534 Time : 0.0 sec. user=mdettweiler [2018-05-05 04:56:16] 645*2^1508968-1 is not prime. Res64: 591FB89B4663C529 Time : 0.0 sec. user=mdettweiler [2018-05-05 04:56:16] 747*2^1508968-1 is not prime. Res64: 960CBA0B3900AEC3 Time : 0.0 sec. user=mdettweiler [2018-05-05 04:56:17] 813*2^1508968-1 is not prime. Res64: E5A490C6597CC770 Time : 0.0 sec. user=mdettweiler [2018-05-05 04:56:17] 827*2^1508968-1 is not prime. Res64: AF13CAAC9FB31688 Time : 0.0 sec. user=mdettweiler [2018-05-05 04:56:18] 869*2^1508968-1 is not prime. Res64: 0257DE507646623C Time : 0.0 sec. user=mdettweiler [2018-05-05 05:06:59] 889*2^1508969-1 is not prime. Res64: 7B54618C72D65852 Time : 0.0 sec. user=mdettweiler [2018-05-05 05:07:01] 951*2^1508969-1 is not prime. Res64: 97D121CED99042A9 Time : 0.0 sec. user=mdettweiler [2018-05-05 05:07:02] 955*2^1508969-1 is not prime. Res64: 786AD7C90FCE8CD8 Time : 0.0 sec. user=mdettweiler [2018-05-05 05:07:07] 985*2^1508969-1 is not prime. Res64: BCE05D04ECEE8599 Time : 0.0 sec. user=mdettweiler [2018-05-05 05:07:16] 997*2^1508969-1 is not prime. Res64: E3EDA89449462D02 Time : 0.0 sec. user=mdettweiler [2018-05-05 05:37:40] 803*2^1508970-1 is not prime. Res64: FB2607091134F5E9 Time : 0.0 sec. user=mdettweiler [2018-05-05 05:37:40] 845*2^1508970-1 is not prime. Res64: F02509A902C29AFF Time : 0.0 sec. user=mdettweiler [2018-05-05 05:37:41] 873*2^1508970-1 is not prime. Res64: B6350327DD808E07 Time : 0.0 sec. user=mdettweiler [2018-05-05 05:37:41] 603*2^1508971-1 is not prime. Res64: 8A3F8142BC0DEC2E Time : 0.0 sec. user=mdettweiler [2018-05-05 05:37:41] 619*2^1508971-1 is not prime. Res64: BB32BC6CC467EC99 Time : 0.0 sec. user=mdettweiler [2018-05-05 05:45:33] 645*2^1508971-1 is not prime. Res64: 90BA0BEBCDF674D2 Time : 0.0 sec. user=mdettweiler [2018-05-05 05:45:34] 679*2^1508971-1 is not prime. Res64: 2987DCB05BA549DE Time : 0.0 sec. user=mdettweiler [2018-05-05 05:45:34] 681*2^1508971-1 is not prime. Res64: B900003576CFE530 Time : 0.0 sec. user=mdettweiler [2018-05-05 05:45:35] 685*2^1508971-1 is not prime. Res64: 37E327AA7C748E7B Time : 0.0 sec. user=mdettweiler [2018-05-05 05:45:35] 783*2^1508971-1 is not prime. Res64: BBEF58BD90B5F7FE Time : 0.0 sec. user=mdettweiler [2018-05-05 05:46:44] 793*2^1508971-1 is not prime. Res64: 9FEA967D61EFCBEC Time : 0.0 sec. user=mdettweiler [2018-05-05 05:46:45] 871*2^1508971-1 is not prime. Res64: E00B6040AED4E2B1 Time : 0.0 sec. user=mdettweiler [2018-05-05 05:46:45] 615*2^1508972-1 is not prime. Res64: F0835A1BAFB8BFAD Time : 0.0 sec. user=mdettweiler [2018-05-05 05:46:45] 767*2^1508972-1 is not prime. Res64: C8EA62D074C712B9 Time : 0.0 sec. user=mdettweiler [2018-05-05 05:46:46] 777*2^1508972-1 is not prime. Res64: EE8CB1223185B6AF Time : 0.0 sec. user=mdettweiler [2018-05-05 05:58:16] 875*2^1508972-1 is not prime. Res64: 97E9F21380F18BEC Time : 0.0 sec. user=mdettweiler [2018-05-05 05:58:16] 983*2^1508972-1 is not prime. Res64: 05DC6EC398D94CA7 Time : 0.0 sec. user=mdettweiler [2018-05-05 05:58:17] 789*2^1508973-1 is not prime. Res64: ECC5421850EC7143 Time : 0.0 sec. user=mdettweiler [2018-05-05 05:58:17] 937*2^1508973-1 is not prime. Res64: 3BE37E4B8EAEE9C3 Time : 0.0 sec. user=mdettweiler [2018-05-05 05:58:17] 945*2^1508973-1 is not prime. Res64: 71E90A1E45E32B69 Time : 0.0 sec. user=mdettweiler [2018-05-05 06:27:52] 681*2^1508974-1 is not prime. Res64: 150D1ECBCC69191D Time : 0.0 sec. user=mdettweiler [2018-05-05 06:27:53] 755*2^1508974-1 is not prime. Res64: 11A363DF9E3D0857 Time : 0.0 sec. user=mdettweiler [2018-05-05 06:27:53] 885*2^1508974-1 is not prime. Res64: 80BF07828AC9634C Time : 0.0 sec. user=mdettweiler [2018-05-05 06:27:54] 965*2^1508974-1 is not prime. Res64: E4D9018565C24559 Time : 0.0 sec. user=mdettweiler [2018-05-05 06:27:54] 663*2^1508975-1 is not prime. Res64: 219A65B6A78956A4 Time : 0.0 sec. user=mdettweiler [2018-05-05 06:36:26] 739*2^1508975-1 is not prime. Res64: 9FE9D96403D6A1E9 Time : 0.0 sec. user=mdettweiler [2018-05-05 06:36:26] 771*2^1508975-1 is not prime. Res64: BD0CF72F0BF39AE3 Time : 0.0 sec. user=mdettweiler [2018-05-05 06:36:27] 783*2^1508975-1 is not prime. Res64: 5443355B4A495AB1 Time : 0.0 sec. user=mdettweiler [2018-05-05 06:36:27] 823*2^1508975-1 is not prime. Res64: BCC0469C8971DFBC Time : 0.0 sec. user=mdettweiler [2018-05-05 06:36:27] 999*2^1508975-1 is not prime. Res64: 95A1919110BD7AE0 Time : 0.0 sec. user=mdettweiler [2018-05-05 06:37:25] 615*2^1508976-1 is not prime. Res64: 68FF3C7F5B017AF6 Time : 0.0 sec. user=mdettweiler [2018-05-05 06:37:25] 803*2^1508976-1 is not prime. Res64: 3888FDB9B81B673A Time : 0.0 sec. user=mdettweiler [2018-05-05 06:37:26] 825*2^1508976-1 is not prime. Res64: 45FC7B40B088679A Time : 0.0 sec. user=mdettweiler [2018-05-05 06:37:26] 839*2^1508976-1 is not prime. Res64: D98F98EB86FAE362 Time : 0.0 sec. user=mdettweiler [2018-05-05 06:37:26] 845*2^1508976-1 is not prime. Res64: F9F90FD72B00CEC5 Time : 0.0 sec. user=mdettweiler [2018-05-05 06:49:29] 879*2^1508976-1 is not prime. Res64: 756FEC2449C6FD00 Time : 0.0 sec. user=mdettweiler [2018-05-05 06:49:30] 957*2^1508976-1 is not prime. Res64: 54DC0DF4ACF19D7E Time : 0.0 sec. user=mdettweiler [2018-05-05 06:49:30] 717*2^1508977-1 is not prime. Res64: EF5BF7CC075D2248 Time : 0.0 sec. user=mdettweiler [2018-05-05 06:49:30] 819*2^1508977-1 is not prime. Res64: A50813F579E14CB9 Time : 0.0 sec. user=mdettweiler [2018-05-05 06:49:31] 841*2^1508977-1 is not prime. Res64: F7851765A0FF7930 Time : 0.0 sec. user=mdettweiler [2018-05-05 07:18:38] 849*2^1508977-1 is not prime. Res64: 43AA958274F7FDB0 Time : 0.0 sec. user=mdettweiler [2018-05-05 07:18:39] 605*2^1508978-1 is not prime. Res64: 88D9309DCB77450E Time : 0.0 sec. user=mdettweiler [2018-05-05 07:18:39] 753*2^1508978-1 is not prime. Res64: C287467223E64372 Time : 0.0 sec. user=mdettweiler [2018-05-05 07:18:39] 773*2^1508978-1 is not prime. Res64: 4E97ABBAEAC34409 Time : 0.0 sec. user=mdettweiler [2018-05-05 07:18:40] 801*2^1508978-1 is not prime. Res64: 72DAC966785581E8 Time : 0.0 sec. user=mdettweiler [2018-05-05 07:27:31] 675*2^1508979-1 is not prime. Res64: 4571788CAF3B571D Time : 0.0 sec. user=mdettweiler [2018-05-05 07:27:32] 705*2^1508979-1 is not prime. Res64: 5DCF0C6D43F4257F Time : 0.0 sec. user=mdettweiler [2018-05-05 07:27:32] 769*2^1508979-1 is not prime. Res64: 10D5FCA87E7F3AD0 Time : 0.0 sec. user=mdettweiler [2018-05-05 07:27:32] 793*2^1508979-1 is not prime. Res64: AE7549849F5E1111 Time : 0.0 sec. user=mdettweiler [2018-05-05 07:27:33] 675*2^1508980-1 is not prime. Res64: C87FC0BEF258CB03 Time : 0.0 sec. user=mdettweiler [2018-05-05 07:28:07] 815*2^1508978-1 is not prime. Res64: E728765F0F343CFF Time : 0.0 sec. user=mdettweiler [2018-05-05 07:28:07] 833*2^1508978-1 is not prime. Res64: 44DB3535208DBDC5 Time : 0.0 sec. user=mdettweiler [2018-05-05 07:28:07] 861*2^1508978-1 is not prime. Res64: F23175DC5A3A1956 Time : 0.0 sec. user=mdettweiler [2018-05-05 07:28:08] 923*2^1508978-1 is not prime. Res64: 23E3B93804E699D7 Time : 0.0 sec. user=mdettweiler [2018-05-05 07:28:08] 951*2^1508978-1 is not prime. Res64: 83CED9804000245E Time : 0.0 sec. user=mdettweiler [2018-05-05 07:41:05] 719*2^1508980-1 is not prime. Res64: C83E64921F7A4CBB Time : 0.0 sec. user=mdettweiler [2018-05-05 07:41:06] 777*2^1508980-1 is not prime. Res64: 1868C34A924E1810 Time : 0.0 sec. user=mdettweiler [2018-05-05 07:41:06] 825*2^1508980-1 is not prime. Res64: 32B5A908BFBE1ADC Time : 0.0 sec. user=mdettweiler [2018-05-05 07:41:07] 827*2^1508980-1 is not prime. Res64: A15D19A576D5D75C Time : 0.0 sec. user=mdettweiler [2018-05-05 07:41:07] 857*2^1508980-1 is not prime. Res64: 626A5CE45203C0DC Time : 0.0 sec. user=mdettweiler [2018-05-05 08:09:37] 923*2^1508980-1 is not prime. Res64: F43570E10B8EDC8D Time : 0.0 sec. user=mdettweiler [2018-05-05 08:09:37] 987*2^1508980-1 is not prime. Res64: F00F9C702A712DD1 Time : 0.0 sec. user=mdettweiler [2018-05-05 08:09:38] 607*2^1508981-1 is not prime. Res64: 4F3D7E9FB79A2852 Time : 0.0 sec. user=mdettweiler [2018-05-05 08:09:38] 717*2^1508981-1 is not prime. Res64: A0A6C24F8C5E8548 Time : 0.0 sec. user=mdettweiler [2018-05-05 08:09:39] 745*2^1508981-1 is not prime. Res64: F645B9420BE164F3 Time : 0.0 sec. user=mdettweiler [2018-05-05 08:17:49] 747*2^1508981-1 is not prime. Res64: 8C6F7580DC05D329 Time : 0.0 sec. user=mdettweiler [2018-05-05 08:17:50] 837*2^1508981-1 is not prime. Res64: 84D30BC9A5011AF0 Time : 0.0 sec. user=mdettweiler [2018-05-05 08:17:50] 937*2^1508981-1 is not prime. Res64: 46EC6D5332D77132 Time : 0.0 sec. user=mdettweiler [2018-05-05 08:17:50] 671*2^1508982-1 is not prime. Res64: 4C5E87CC07770D7E Time : 0.0 sec. user=mdettweiler [2018-05-05 08:17:51] 711*2^1508982-1 is not prime. Res64: F76D61BE072E0034 Time : 0.0 sec. user=mdettweiler [2018-05-05 08:18:08] 777*2^1508982-1 is not prime. Res64: 1CFED413876AC61A Time : 0.0 sec. user=mdettweiler [2018-05-05 08:18:09] 983*2^1508982-1 is not prime. Res64: 6EC5DC95ED2FFC56 Time : 0.0 sec. user=mdettweiler [2018-05-05 08:18:09] 603*2^1508983-1 is not prime. Res64: 1C641A151BE2B6BA Time : 0.0 sec. user=mdettweiler [2018-05-05 08:18:10] 649*2^1508983-1 is not prime. Res64: 0A10BE04A4E98031 Time : 0.0 sec. user=mdettweiler [2018-05-05 08:18:10] 723*2^1508983-1 is not prime. Res64: 18CE0F29563023CA Time : 0.0 sec. user=mdettweiler [2018-05-05 08:31:55] 811*2^1508983-1 is not prime. Res64: 4D325812FA277D7C Time : 0.0 sec. user=mdettweiler [2018-05-05 08:31:56] 913*2^1508983-1 is not prime. Res64: 2FF0B3B4C1EFAB8E Time : 0.0 sec. user=mdettweiler [2018-05-05 08:31:56] 915*2^1508983-1 is not prime. Res64: E1F31A1AD3448F8B Time : 0.0 sec. user=mdettweiler [2018-05-05 08:31:57] 951*2^1508983-1 is not prime. Res64: 2E9F6BB058A0B67C Time : 0.0 sec. user=mdettweiler [2018-05-05 08:31:57] 635*2^1508984-1 is not prime. Res64: B1A20F1CC4472EAB Time : 0.0 sec. user=mdettweiler [2018-05-05 09:01:13] 645*2^1508984-1 is not prime. Res64: 3DCD896D07BB84F4 Time : 0.0 sec. user=mdettweiler [2018-05-05 09:01:14] 773*2^1508984-1 is not prime. Res64: 4C2B2D2621A6C0DE Time : 0.0 sec. user=mdettweiler [2018-05-05 09:01:15] 819*2^1508984-1 is not prime. Res64: 1213E790D41B9601 Time : 0.0 sec. user=mdettweiler [2018-05-05 09:01:16] 873*2^1508984-1 is not prime. Res64: 59C12F1AE726D7D8 Time : 0.0 sec. user=mdettweiler [2018-05-05 09:01:17] 993*2^1508984-1 is not prime. Res64: D1DD420B02953B3D Time : 0.0 sec. user=mdettweiler [2018-05-05 09:09:49] 781*2^1508985-1 is not prime. Res64: F463D90D15E1C8DA Time : 0.0 sec. user=mdettweiler [2018-05-05 09:09:50] 789*2^1508985-1 is not prime. Res64: 493FABC7A2318ACC Time : 0.0 sec. user=mdettweiler [2018-05-05 09:09:50] 819*2^1508985-1 is not prime. Res64: 189ECD4228D39583 Time : 0.0 sec. user=mdettweiler [2018-05-05 09:09:50] 837*2^1508985-1 is not prime. Res64: F304F3D3B7CABBCE Time : 0.0 sec. user=mdettweiler [2018-05-05 09:09:51] 871*2^1508985-1 is not prime. Res64: BA69A819AFAB0DA0 Time : 0.0 sec. user=mdettweiler [2018-05-05 09:09:53] 625*2^1508985-1 is not prime. Res64: BC0C6CDEC8FBB312 Time : 0.0 sec. user=mdettweiler [2018-05-05 09:09:54] 679*2^1508985-1 is not prime. Res64: 92B24C4D02075572 Time : 0.0 sec. user=mdettweiler [2018-05-05 09:09:54] 699*2^1508985-1 is not prime. Res64: 78126CD02FAE70E7 Time : 0.0 sec. user=mdettweiler [2018-05-05 09:09:55] 727*2^1508985-1 is not prime. Res64: E3A54F3FB8401BA8 Time : 0.0 sec. user=mdettweiler [2018-05-05 09:09:56] 739*2^1508985-1 is not prime. Res64: FE609AB7A2C6C9CD Time : 0.0 sec. user=mdettweiler [2018-05-05 09:24:33] 919*2^1508985-1 is not prime. Res64: 4B8363E3ABD05B55 Time : 0.0 sec. user=mdettweiler [2018-05-05 09:24:33] 671*2^1508986-1 is not prime. Res64: DD89AEE7BA8E6163 Time : 0.0 sec. user=mdettweiler [2018-05-05 09:24:34] 735*2^1508986-1 is not prime. Res64: E700CE43CD154F90 Time : 0.0 sec. user=mdettweiler [2018-05-05 09:24:34] 765*2^1508986-1 is not prime. Res64: 13D26ED95A597034 Time : 0.0 sec. user=mdettweiler [2018-05-05 09:24:35] 803*2^1508986-1 is not prime. Res64: DC015E0BACDC0FE2 Time : 0.0 sec. user=mdettweiler [2018-05-05 09:53:10] 861*2^1508986-1 is not prime. Res64: 6671E2D53CFAE626 Time : 0.0 sec. user=mdettweiler [2018-05-05 09:53:10] 867*2^1508986-1 is not prime. Res64: 340D12D069D8EB12 Time : 0.0 sec. user=mdettweiler [2018-05-05 09:53:11] 993*2^1508986-1 is not prime. Res64: E0E3AF1B554B8143 Time : 0.0 sec. user=mdettweiler [2018-05-05 09:53:11] 609*2^1508987-1 is not prime. Res64: AB27612E6AC0E6E1 Time : 0.0 sec. user=mdettweiler [2018-05-05 09:53:12] 619*2^1508987-1 is not prime. Res64: 694C54E15ECB0CAC Time : 0.0 sec. user=mdettweiler [2018-05-05 10:01:08] 823*2^1508987-1 is not prime. Res64: 2C78D6E4ACFC6ABD Time : 0.0 sec. user=mdettweiler [2018-05-05 10:01:09] 963*2^1508987-1 is not prime. Res64: 97716B1B601C54E7 Time : 0.0 sec. user=mdettweiler [2018-05-05 10:01:10] 973*2^1508987-1 is not prime. Res64: BFA755B9FC29957D Time : 0.0 sec. user=mdettweiler [2018-05-05 10:01:11] 647*2^1508988-1 is not prime. Res64: 57634A476D6E5574 Time : 0.0 sec. user=mdettweiler [2018-05-05 10:01:12] 753*2^1508988-1 is not prime. Res64: 9107329CB9C78A57 Time : 0.0 sec. user=mdettweiler [2018-05-05 10:01:56] 777*2^1508988-1 is not prime. Res64: 419BAD96967CF3CA Time : 0.0 sec. user=mdettweiler [2018-05-05 10:01:58] 899*2^1508988-1 is not prime. Res64: 233843A3B3F75DB4 Time : 0.0 sec. user=mdettweiler [2018-05-05 10:02:00] 945*2^1508988-1 is not prime. Res64: 964F4FBF41936876 Time : 0.0 sec. user=mdettweiler [2018-05-05 10:02:02] 947*2^1508988-1 is not prime. Res64: 2C7DA035BF0E17A5 Time : 0.0 sec. user=mdettweiler [2018-05-05 10:02:03] 977*2^1508988-1 is not prime. Res64: A3A0E3C1B8C26613 Time : 0.0 sec. user=mdettweiler [2018-05-05 10:15:52] 639*2^1508989-1 is not prime. Res64: 68E1E3CD5D5C7B77 Time : 0.0 sec. user=mdettweiler [2018-05-05 10:15:53] 687*2^1508989-1 is not prime. Res64: 72E4CF46F0F5311D Time : 0.0 sec. user=mdettweiler [2018-05-05 10:15:53] 861*2^1508989-1 is not prime. Res64: 7C026DBAF1B5EB50 Time : 0.0 sec. user=mdettweiler [2018-05-05 10:15:54] 997*2^1508989-1 is not prime. Res64: 057DE8C9B2596E54 Time : 0.0 sec. user=mdettweiler [2018-05-05 10:15:54] 813*2^1508990-1 is not prime. Res64: 5C338F1A409F592E Time : 0.0 sec. user=mdettweiler [2018-05-05 10:43:49] 601*2^1508991-1 is not prime. Res64: 7F0BCC0310AE962A Time : 0.0 sec. user=mdettweiler [2018-05-05 10:43:49] 693*2^1508991-1 is not prime. Res64: A419289D7B2A4D35 Time : 0.0 sec. user=mdettweiler [2018-05-05 10:43:50] 735*2^1508991-1 is not prime. Res64: 9BE0E36338597DB6 Time : 0.0 sec. user=mdettweiler [2018-05-05 10:43:50] 741*2^1508991-1 is not prime. Res64: BB96C53BEE12462F Time : 0.0 sec. user=mdettweiler [2018-05-05 10:43:51] 781*2^1508991-1 is not prime. Res64: B1DCC27FC4BCF263 Time : 0.0 sec. user=mdettweiler [2018-05-05 10:52:46] 603*2^1508992-1 is not prime. Res64: B95DCFF029CF696B Time : 0.0 sec. user=mdettweiler [2018-05-05 10:52:46] 677*2^1508992-1 is not prime. Res64: E8972A444D8B5DDC Time : 0.0 sec. user=mdettweiler [2018-05-05 10:52:47] 693*2^1508992-1 is not prime. Res64: DC100B51452C28BC Time : 0.0 sec. user=mdettweiler [2018-05-05 10:52:47] 719*2^1508992-1 is not prime. Res64: F64B0BDC82E74D80 Time : 0.0 sec. user=mdettweiler [2018-05-05 10:52:48] 777*2^1508992-1 is not prime. Res64: 837D1708D4B0C4CA Time : 0.0 sec. user=mdettweiler [2018-05-05 10:53:37] 793*2^1508991-1 is not prime. Res64: B858FD44E2FFEE93 Time : 0.0 sec. user=mdettweiler [2018-05-05 10:53:38] 861*2^1508991-1 is not prime. Res64: 5BA5982FC6372EBB Time : 0.0 sec. user=mdettweiler [2018-05-05 10:53:38] 933*2^1508991-1 is not prime. Res64: ECD3033FAED9BF93 Time : 0.0 sec. user=mdettweiler [2018-05-05 10:53:39] 969*2^1508991-1 is not prime. Res64: D4D830ADCF5ECDA9 Time : 0.0 sec. user=mdettweiler [2018-05-05 10:53:39] 999*2^1508991-1 is not prime. Res64: CCE06EC29C5375DE Time : 0.0 sec. user=mdettweiler [2018-05-05 11:06:49] 903*2^1508992-1 is not prime. Res64: 534692080120BEDB Time : 0.0 sec. user=mdettweiler [2018-05-05 11:06:50] 915*2^1508992-1 is not prime. Res64: 05D96986A4D5565F Time : 0.0 sec. user=mdettweiler [2018-05-05 11:06:51] 989*2^1508992-1 is not prime. Res64: EE158B5D901533BD Time : 0.0 sec. user=mdettweiler [2018-05-05 11:06:52] 637*2^1508993-1 is not prime. Res64: BC5E0AB44E8A712D Time : 0.0 sec. user=mdettweiler [2018-05-05 11:06:53] 657*2^1508993-1 is not prime. Res64: E573077A0B647E33 Time : 0.0 sec. user=mdettweiler [2018-05-05 11:34:53] 699*2^1508993-1 is not prime. Res64: FA675C9549F256A1 Time : 0.0 sec. user=mdettweiler [2018-05-05 11:34:53] 727*2^1508993-1 is not prime. Res64: B4AA346117735DE2 Time : 0.0 sec. user=mdettweiler [2018-05-05 11:34:54] 769*2^1508993-1 is not prime. Res64: 222208C1BFB84F86 Time : 0.0 sec. user=mdettweiler [2018-05-05 11:34:54] 789*2^1508993-1 is not prime. Res64: BDBE8518B51D5C06 Time : 0.0 sec. user=mdettweiler [2018-05-05 11:34:54] 831*2^1508993-1 is not prime. Res64: 7C53C21CB5470EB4 Time : 0.0 sec. user=mdettweiler [2018-05-05 11:43:45] 901*2^1508993-1 is not prime. Res64: B48D028D87B59684 Time : 0.0 sec. user=mdettweiler [2018-05-05 11:43:45] 627*2^1508994-1 is not prime. Res64: 9D342F15D0B4D342 Time : 0.0 sec. user=mdettweiler [2018-05-05 11:43:45] 681*2^1508994-1 is not prime. Res64: FA7FABC829AF4CD1 Time : 0.0 sec. user=mdettweiler [2018-05-05 11:43:46] 683*2^1508994-1 is not prime. Res64: B5C9E7CB34ADA51B Time : 0.0 sec. user=mdettweiler [2018-05-05 11:43:46] 825*2^1508994-1 is not prime. Res64: 124D2512A624909F Time : 0.0 sec. user=mdettweiler [2018-05-05 11:44:43] 861*2^1508994-1 is not prime. Res64: 598903D6B4C3BF3C Time : 0.0 sec. user=mdettweiler [2018-05-05 11:44:43] 905*2^1508994-1 is not prime. Res64: 07CFAA485F779310 Time : 0.0 sec. user=mdettweiler [2018-05-05 11:44:44] 631*2^1508995-1 is not prime. Res64: 43B05E2A823407A1 Time : 0.0 sec. user=mdettweiler [2018-05-05 11:44:44] 691*2^1508995-1 is not prime. Res64: 50718010FC0EB57C Time : 0.0 sec. user=mdettweiler [2018-05-05 11:44:44] 699*2^1508995-1 is not prime. Res64: 5CE9526AB2FBE965 Time : 0.0 sec. user=mdettweiler [2018-05-05 11:59:46] 805*2^1508995-1 is not prime. Res64: 0E6ED78851370664 Time : 0.0 sec. user=mdettweiler [2018-05-05 11:59:46] 859*2^1508995-1 is not prime. Res64: C74348D3C127A005 Time : 0.0 sec. user=mdettweiler [2018-05-05 11:59:46] 861*2^1508995-1 is not prime. Res64: 8976DD61BF5F7E47 Time : 0.0 sec. user=mdettweiler [2018-05-05 11:59:47] 629*2^1508996-1 is not prime. Res64: 2F9392766ED6BF4A Time : 0.0 sec. user=mdettweiler [2018-05-05 11:59:47] 735*2^1508996-1 is not prime. Res64: 71DC9A473CB023FF Time : 0.0 sec. user=mdettweiler [2018-05-05 12:25:29] 833*2^1508996-1 is not prime. Res64: 2EDB32020B5779AE Time : 0.0 sec. user=mdettweiler [2018-05-05 12:25:30] 661*2^1508997-1 is not prime. Res64: 1C3BA40859064AF1 Time : 0.0 sec. user=mdettweiler [2018-05-05 12:25:30] 685*2^1508997-1 is not prime. Res64: A8AA83526B110CAA Time : 0.0 sec. user=mdettweiler [2018-05-05 12:25:30] 691*2^1508997-1 is not prime. Res64: 06C7F1D82C1DFA5F Time : 0.0 sec. user=mdettweiler [2018-05-05 12:25:31] 765*2^1508997-1 is not prime. Res64: 826991432A1573E9 Time : 0.0 sec. user=mdettweiler [2018-05-05 12:34:58] 817*2^1508997-1 is not prime. Res64: E8A5688530BBB620 Time : 0.0 sec. user=mdettweiler [2018-05-05 12:34:59] 835*2^1508997-1 is not prime. Res64: B48FDFF42915301D Time : 0.0 sec. user=mdettweiler [2018-05-05 12:34:59] 889*2^1508997-1 is not prime. Res64: 14487B597FE89A35 Time : 0.0 sec. user=mdettweiler [2018-05-05 12:34:59] 991*2^1508997-1 is not prime. Res64: 25A2CB558485D4E0 Time : 0.0 sec. user=mdettweiler [2018-05-05 12:35:00] 687*2^1508998-1 is not prime. Res64: E7CBE64D9105B2DB Time : 0.0 sec. user=mdettweiler [2018-05-05 12:35:53] 833*2^1508998-1 is not prime. Res64: 1EDD041484C0BEA4 Time : 0.0 sec. user=mdettweiler [2018-05-05 12:35:54] 857*2^1508998-1 is not prime. Res64: C71E0833D5397A61 Time : 0.0 sec. user=mdettweiler [2018-05-05 12:35:54] 863*2^1508998-1 is not prime. Res64: D8FE12F52694D913 Time : 0.0 sec. user=mdettweiler [2018-05-05 12:35:55] 993*2^1508998-1 is not prime. Res64: 6A534B07D759F1C6 Time : 0.0 sec. user=mdettweiler [2018-05-05 12:35:55] 741*2^1508999-1 is not prime. Res64: 743F9512322B9DD3 Time : 0.0 sec. user=mdettweiler [2018-05-05 12:50:48] 799*2^1508999-1 is not prime. Res64: C6BFE56801307E43 Time : 0.0 sec. user=mdettweiler [2018-05-05 12:50:48] 895*2^1508999-1 is not prime. Res64: 390A38C78B2B8DB3 Time : 0.0 sec. user=mdettweiler [2018-05-05 12:50:49] 913*2^1508999-1 is not prime. Res64: 75407354486FC3C2 Time : 0.0 sec. user=mdettweiler [2018-05-05 12:50:49] 969*2^1508999-1 is not prime. Res64: D25EA90B927F994E Time : 0.0 sec. user=mdettweiler [2018-05-05 12:50:50] 623*2^1509000-1 is not prime. Res64: 24E74EAFE78EBCAE Time : 0.0 sec. user=mdettweiler [2018-05-05 13:16:45] 633*2^1509000-1 is not prime. Res64: 207BD060DD7E83F1 Time : 0.0 sec. user=mdettweiler [2018-05-05 13:16:46] 693*2^1509000-1 is not prime. Res64: 3665FC46EF2E0F6A Time : 0.0 sec. user=mdettweiler [2018-05-05 13:16:46] 725*2^1509000-1 is not prime. Res64: 0583E6044660AF9B Time : 0.0 sec. user=mdettweiler [2018-05-05 13:16:47] 777*2^1509000-1 is not prime. Res64: 4FD2EF1F24151FD1 Time : 0.0 sec. user=mdettweiler [2018-05-05 13:16:47] 797*2^1509000-1 is not prime. Res64: 70584EE0637FDD64 Time : 0.0 sec. user=mdettweiler [2018-05-05 13:28:14] 909*2^1509000-1 is not prime. Res64: A6A9025270E08D59 Time : 0.0 sec. user=mdettweiler [2018-05-05 13:28:14] 945*2^1509000-1 is not prime. Res64: 768E5A934C6F0041 Time : 0.0 sec. user=mdettweiler [2018-05-05 13:28:14] 607*2^1509001-1 is not prime. Res64: 5BC87C23A93AC76E Time : 0.0 sec. user=mdettweiler [2018-05-05 13:28:15] 639*2^1509001-1 is not prime. Res64: AD2D8DCF1E6E3CF5 Time : 0.0 sec. user=mdettweiler [2018-05-05 13:28:15] 645*2^1509001-1 is not prime. Res64: 6468702F38A25F81 Time : 0.0 sec. user=mdettweiler [2018-05-05 13:28:51] 805*2^1509001-1 is not prime. Res64: 8706E7BA0EDADB05 Time : 0.0 sec. user=mdettweiler [2018-05-05 13:28:51] 835*2^1509001-1 is not prime. Res64: 79F79390537E3CDA Time : 0.0 sec. user=mdettweiler [2018-05-05 13:28:52] 895*2^1509001-1 is not prime. Res64: 9B0B2EDFEA580F8A Time : 0.0 sec. user=mdettweiler [2018-05-05 13:28:52] 925*2^1509001-1 is not prime. Res64: 3A2BF5FE190DE6BD Time : 0.0 sec. user=mdettweiler [2018-05-05 13:28:53] 939*2^1509001-1 is not prime. Res64: D8494C5579E96DA3 Time : 0.0 sec. user=mdettweiler [2018-05-05 13:45:04] 987*2^1509001-1 is not prime. Res64: 9E7C6CA070685CCC Time : 0.0 sec. user=mdettweiler [2018-05-05 13:45:05] 747*2^1509002-1 is not prime. Res64: BF6AE4CEDF8C20DF Time : 0.0 sec. user=mdettweiler [2018-05-05 13:45:05] 767*2^1509002-1 is not prime. Res64: A3AA220C2DA3C3F8 Time : 0.0 sec. user=mdettweiler [2018-05-05 13:45:05] 791*2^1509002-1 is not prime. Res64: 288D6514C99A4222 Time : 0.0 sec. user=mdettweiler [2018-05-05 13:45:06] 813*2^1509002-1 is not prime. Res64: E140683D439FEA2D Time : 0.0 sec. user=mdettweiler [2018-05-05 14:10:43] 885*2^1509002-1 is not prime. Res64: A1BA13461F74D000 Time : 0.0 sec. user=mdettweiler [2018-05-05 14:10:44] 917*2^1509002-1 is not prime. Res64: F1CAEF729CA0277E Time : 0.0 sec. user=mdettweiler [2018-05-05 14:10:44] 923*2^1509002-1 is not prime. Res64: ABBFE64D0353EB79 Time : 0.0 sec. user=mdettweiler [2018-05-05 14:10:45] 609*2^1509003-1 is not prime. Res64: 5E47B1B00792CC02 Time : 0.0 sec. user=mdettweiler [2018-05-05 14:10:45] 615*2^1509003-1 is not prime. Res64: CF7977EB9B9D78E0 Time : 0.0 sec. user=mdettweiler [2018-05-05 14:21:55] 825*2^1509003-1 is not prime. Res64: 95EED22994887E25 Time : 0.0 sec. user=mdettweiler [2018-05-05 14:21:56] 951*2^1509003-1 is not prime. Res64: E11DC17B26005DFF Time : 0.0 sec. user=mdettweiler [2018-05-05 14:21:56] 963*2^1509003-1 is not prime. Res64: 50CB252E1DCF9E07 Time : 0.0 sec. user=mdettweiler [2018-05-05 14:21:57] 825*2^1509004-1 is not prime. Res64: DF90C23711C0B390 Time : 0.0 sec. user=mdettweiler [2018-05-05 14:21:57] 927*2^1509004-1 is not prime. Res64: FBA012600B64F94D Time : 0.0 sec. user=mdettweiler [2018-05-05 14:21:57] 675*2^1509003-1 is not prime. Res64: 753A12F891E6FBB6 Time : 0.0 sec. user=mdettweiler [2018-05-05 14:21:57] 705*2^1509003-1 is not prime. Res64: 867C91B520035432 Time : 0.0 sec. user=mdettweiler [2018-05-05 14:21:58] 739*2^1509003-1 is not prime. Res64: FF13057B1D30C49F Time : 0.0 sec. user=mdettweiler [2018-05-05 14:21:58] 765*2^1509003-1 is not prime. Res64: F039D8E040E3E7D6 Time : 0.0 sec. user=mdettweiler [2018-05-05 14:21:59] 805*2^1509003-1 is not prime. Res64: 0A6CA8742EEB1B9C Time : 0.0 sec. user=mdettweiler [2018-05-05 14:39:01] 651*2^1509005-1 is not prime. Res64: 668155EBF043FE0D Time : 0.0 sec. user=mdettweiler [2018-05-05 14:39:02] 771*2^1509005-1 is not prime. Res64: 250D07981A16F08E Time : 0.0 sec. user=mdettweiler [2018-05-05 14:39:02] 889*2^1509005-1 is not prime. Res64: F906A434F9D4C69F Time : 0.0 sec. user=mdettweiler [2018-05-05 14:39:02] 915*2^1509005-1 is not prime. Res64: 7C8627E649AB7A33 Time : 0.0 sec. user=mdettweiler [2018-05-05 14:39:03] 987*2^1509005-1 is not prime. Res64: 2DD9FC402507EE79 Time : 0.0 sec. user=mdettweiler [2018-05-05 15:05:36] 671*2^1509006-1 is not prime. Res64: 1DE9004D01E7A19F Time : 0.0 sec. user=mdettweiler [2018-05-05 15:05:38] 677*2^1509006-1 is not prime. Res64: FA785D8393AE8995 Time : 0.0 sec. user=mdettweiler [2018-05-05 15:05:38] 741*2^1509006-1 is not prime. Res64: AF7AA7B01F5ABB12 Time : 0.0 sec. user=mdettweiler [2018-05-05 15:05:40] 765*2^1509006-1 is not prime. Res64: 329C4B4B80825071 Time : 0.0 sec. user=mdettweiler [2018-05-05 15:05:41] 609*2^1509007-1 is not prime. Res64: A067D269A5B6A2CD Time : 0.0 sec. user=mdettweiler [2018-05-05 15:16:31] 645*2^1509007-1 is not prime. Res64: 77C0AB0E5124CA4A Time : 0.0 sec. user=mdettweiler [2018-05-05 15:16:31] 703*2^1509007-1 is not prime. Res64: 6578B2D9E1F5DFB2 Time : 0.0 sec. user=mdettweiler [2018-05-05 15:16:32] 759*2^1509007-1 is not prime. Res64: 4EA746EE150FF31F Time : 0.0 sec. user=mdettweiler [2018-05-05 15:16:33] 819*2^1509007-1 is not prime. Res64: E5F71CD4151204C4 Time : 0.0 sec. user=mdettweiler [2018-05-05 15:16:33] 829*2^1509007-1 is not prime. Res64: E731E875BEBCF437 Time : 0.0 sec. user=mdettweiler [2018-05-05 15:17:13] 919*2^1509007-1 is not prime. Res64: 81EC6A572CCBCA45 Time : 0.0 sec. user=mdettweiler [2018-05-05 15:17:14] 669*2^1509008-1 is not prime. Res64: 10838375612C51BF Time : 0.0 sec. user=mdettweiler [2018-05-05 15:17:14] 735*2^1509008-1 is not prime. Res64: 9CEB51B7530672E0 Time : 0.0 sec. user=mdettweiler [2018-05-05 15:17:15] 789*2^1509008-1 is not prime. Res64: 500B78FFE88197C0 Time : 0.0 sec. user=mdettweiler [2018-05-05 15:17:15] 839*2^1509008-1 is not prime. Res64: 2FEB68CC67760466 Time : 0.0 sec. user=mdettweiler [2018-05-05 15:34:44] 923*2^1509008-1 is not prime. Res64: E3FCA6C3275788A2 Time : 0.0 sec. user=mdettweiler [2018-05-05 15:34:44] 945*2^1509008-1 is not prime. Res64: 7E6E13887E2F7A0D Time : 0.0 sec. user=mdettweiler [2018-05-05 15:34:45] 601*2^1509009-1 is not prime. Res64: 5714511D175A4527 Time : 0.0 sec. user=mdettweiler [2018-05-05 15:34:46] 795*2^1509009-1 is not prime. Res64: 67FF971AC49D630B Time : 0.0 sec. user=mdettweiler [2018-05-05 15:34:47] 861*2^1509009-1 is not prime. Res64: 9A4008CF003CFEB4 Time : 0.0 sec. user=mdettweiler [2018-05-05 15:58:59] 635*2^1509010-1 is not prime. Res64: A920FC2A59222C73 Time : 0.0 sec. user=mdettweiler [2018-05-05 15:58:59] 647*2^1509010-1 is not prime. Res64: 8385A56DC574785D Time : 0.0 sec. user=mdettweiler [2018-05-05 15:59:00] 755*2^1509010-1 is not prime. Res64: AA5EDBCD91C93E97 Time : 0.0 sec. user=mdettweiler [2018-05-05 15:59:00] 843*2^1509010-1 is not prime. Res64: F2E36F15C8E9183B Time : 0.0 sec. user=mdettweiler [2018-05-05 15:59:01] 669*2^1509011-1 is not prime. Res64: 8BD27A192943A2DF Time : 0.0 sec. user=mdettweiler [2018-05-05 16:09:31] 703*2^1509011-1 is not prime. Res64: 65E040A45D8EF431 Time : 0.0 sec. user=mdettweiler [2018-05-05 16:09:32] 775*2^1509011-1 is not prime. Res64: E651DC2FFDB2E093 Time : 0.0 sec. user=mdettweiler [2018-05-05 16:09:32] 921*2^1509011-1 is not prime. Res64: 69070085D799E9FB Time : 0.0 sec. user=mdettweiler [2018-05-05 16:09:32] 931*2^1509011-1 is not prime. Res64: 3BE0CD90F15A51F4 Time : 0.0 sec. user=mdettweiler [2018-05-05 16:09:33] 627*2^1509012-1 is not prime. Res64: 34EC1835A0CADFF0 Time : 0.0 sec. user=mdettweiler [2018-05-05 16:09:38] 639*2^1509012-1 is not prime. Res64: 7E11E2117125F64B Time : 0.0 sec. user=mdettweiler [2018-05-05 16:09:39] 653*2^1509012-1 is not prime. Res64: 8A1C3C65655DC0E2 Time : 0.0 sec. user=mdettweiler [2018-05-05 16:09:39] 665*2^1509012-1 is not prime. Res64: C7CBB0519C47D5E3 Time : 0.0 sec. user=mdettweiler [2018-05-05 16:09:40] 675*2^1509012-1 is not prime. Res64: 74851B745D988690 Time : 0.0 sec. user=mdettweiler [2018-05-05 16:09:41] 689*2^1509012-1 is not prime. Res64: 62941C33FE7D133B Time : 0.0 sec. user=mdettweiler [2018-05-05 16:29:06] 717*2^1509012-1 is not prime. Res64: 3EAC31638C5AE701 Time : 0.0 sec. user=mdettweiler [2018-05-05 16:29:07] 749*2^1509012-1 is not prime. Res64: D27DA78BECFAB780 Time : 0.0 sec. user=mdettweiler [2018-05-05 16:29:07] 923*2^1509012-1 is not prime. Res64: C2F17091A66C8F2F Time : 0.0 sec. user=mdettweiler [2018-05-05 16:29:08] 987*2^1509012-1 is not prime. Res64: 95E1ACFF51778C37 Time : 0.0 sec. user=mdettweiler [2018-05-05 16:29:08] 639*2^1509013-1 is not prime. Res64: 115E3A421CD5AC4A Time : 0.0 sec. user=mdettweiler [2018-05-05 16:50:53] 745*2^1509013-1 is not prime. Res64: C615C5E21EDBFA4F Time : 0.0 sec. user=mdettweiler [2018-05-05 16:50:53] 801*2^1509013-1 is not prime. Res64: A75E4ECA17F36641 Time : 0.0 sec. user=mdettweiler [2018-05-05 16:50:54] 847*2^1509013-1 is not prime. Res64: 459317075104EF88 Time : 0.0 sec. user=mdettweiler [2018-05-05 16:50:54] 957*2^1509013-1 is not prime. Res64: 4D6613CB66B41BFD Time : 0.0 sec. user=mdettweiler [2018-05-05 16:50:54] 617*2^1509014-1 is not prime. Res64: 3C8884F9844D2A43 Time : 0.0 sec. user=mdettweiler [2018-05-05 17:02:27] 857*2^1509014-1 is not prime. Res64: 89BBA43727F097DA Time : 0.0 sec. user=mdettweiler [2018-05-05 17:02:28] 861*2^1509014-1 is not prime. Res64: 6E520873B19B4749 Time : 0.0 sec. user=mdettweiler [2018-05-05 17:02:28] 875*2^1509014-1 is not prime. Res64: D752C9C086428312 Time : 0.0 sec. user=mdettweiler [2018-05-05 17:02:29] 885*2^1509014-1 is not prime. Res64: B04277462C47668E Time : 0.0 sec. user=mdettweiler [2018-05-05 17:02:30] 897*2^1509014-1 is not prime. Res64: 4CE3A15F11D08041 Time : 0.0 sec. user=mdettweiler [2018-05-05 17:02:34] 903*2^1509014-1 is not prime. Res64: 19BF0F27C0A68FB8 Time : 0.0 sec. user=mdettweiler [2018-05-05 17:02:35] 971*2^1509014-1 is not prime. Res64: C9CE618533343AF9 Time : 0.0 sec. user=mdettweiler [2018-05-05 17:02:36] 691*2^1509015-1 is not prime. Res64: D9906614AEBF2694 Time : 0.0 sec. user=mdettweiler [2018-05-05 17:02:38] 711*2^1509015-1 is not prime. Res64: E7CAE25D9580F028 Time : 0.0 sec. user=mdettweiler [2018-05-05 17:02:39] 795*2^1509015-1 is not prime. Res64: 3AD803D5887A4FCA Time : 0.0 sec. user=mdettweiler [2018-05-05 17:22:07] 819*2^1509015-1 is not prime. Res64: 3DEBE999FA6E1FA2 Time : 0.0 sec. user=mdettweiler [2018-05-05 17:22:07] 961*2^1509015-1 is not prime. Res64: 3ECAF2C3547D2FF4 Time : 0.0 sec. user=mdettweiler [2018-05-05 17:22:08] 969*2^1509015-1 is not prime. Res64: F1825AEA36140FEC Time : 0.0 sec. user=mdettweiler [2018-05-05 17:22:08] 645*2^1509016-1 is not prime. Res64: 3466F82F79BEA6B2 Time : 0.0 sec. user=mdettweiler [2018-05-05 17:22:08] 843*2^1509016-1 is not prime. Res64: BB2954F74D5BC2F1 Time : 0.0 sec. user=mdettweiler [2018-05-05 17:44:30] 869*2^1509016-1 is not prime. Res64: FFDBCACF587C450E Time : 0.0 sec. user=mdettweiler [2018-05-05 17:44:31] 927*2^1509016-1 is not prime. Res64: 8545D0CCD0F514E3 Time : 0.0 sec. user=mdettweiler [2018-05-05 17:44:31] 735*2^1509017-1 is not prime. Res64: 52D8E72AC2202753 Time : 0.0 sec. user=mdettweiler [2018-05-05 17:44:31] 747*2^1509017-1 is not prime. Res64: 27257B15DFD3EAFF Time : 0.0 sec. user=mdettweiler [2018-05-05 17:44:31] 777*2^1509017-1 is not prime. Res64: EB26CDED75A60764 Time : 0.0 sec. user=mdettweiler [2018-05-05 17:54:08] 829*2^1509017-1 is not prime. Res64: 01ECB1BD8736AC57 Time : 0.0 sec. user=mdettweiler [2018-05-05 17:54:08] 939*2^1509017-1 is not prime. Res64: 6A9E255E52B06EB3 Time : 0.0 sec. user=mdettweiler [2018-05-05 17:54:08] 967*2^1509017-1 is not prime. Res64: CDB9E762EE3C3478 Time : 0.0 sec. user=mdettweiler [2018-05-05 17:54:09] 713*2^1509018-1 is not prime. Res64: 6C3FD5FE04776EC1 Time : 0.0 sec. user=mdettweiler [2018-05-05 17:54:09] 633*2^1509019-1 is not prime. Res64: C991B86042AD75D3 Time : 0.0 sec. user=mdettweiler [2018-05-05 17:55:14] 733*2^1509019-1 is not prime. Res64: 52F121451CDF4784 Time : 0.0 sec. user=mdettweiler [2018-05-05 17:55:14] 771*2^1509019-1 is not prime. Res64: 24A9D5976D503B72 Time : 0.0 sec. user=mdettweiler [2018-05-05 17:55:15] 829*2^1509019-1 is not prime. Res64: 355391772F13B8D5 Time : 0.0 sec. user=mdettweiler [2018-05-05 17:55:15] 861*2^1509019-1 is not prime. Res64: 54D7C259594D4517 Time : 0.0 sec. user=mdettweiler [2018-05-05 17:55:15] 909*2^1509019-1 is not prime. Res64: BB5B296FD6D8AB23 Time : 0.0 sec.