user=mdettweiler [2019-06-12 00:04:57] 639*2^1539901-1 is not prime. Res64: 6ED6992D73CC8D76 Time : 0.0 sec. user=mdettweiler [2019-06-12 00:05:02] 727*2^1539901-1 is not prime. Res64: A919FCA5F44897FC Time : 0.0 sec. user=mdettweiler [2019-06-12 00:05:05] 855*2^1539901-1 is not prime. Res64: 5E759AE634F49F2D Time : 0.0 sec. user=mdettweiler [2019-06-12 00:05:06] 889*2^1539901-1 is not prime. Res64: F6684C72CA752C88 Time : 0.0 sec. user=mdettweiler [2019-06-12 00:05:08] 945*2^1539901-1 is not prime. Res64: 8A44AA15B2544CDB Time : 0.0 sec. user=mdettweiler [2019-06-12 00:24:44] 957*2^1539901-1 is not prime. Res64: 865AE49BA890F67F Time : 0.0 sec. user=mdettweiler [2019-06-12 00:24:45] 961*2^1539901-1 is not prime. Res64: 4851E448B55906D1 Time : 0.0 sec. user=mdettweiler [2019-06-12 00:24:45] 615*2^1539902-1 is not prime. Res64: 4CAE4F61F69CB668 Time : 0.0 sec. user=mdettweiler [2019-06-12 00:24:46] 747*2^1539902-1 is not prime. Res64: D2C44C650DB49CCF Time : 0.0 sec. user=mdettweiler [2019-06-12 00:24:46] 755*2^1539902-1 is not prime. Res64: DDBDAFBA30F67DF8 Time : 0.0 sec. user=mdettweiler [2019-06-12 00:25:36] 801*2^1539902-1 is not prime. Res64: 9ABB21071C41F1B2 Time : 0.0 sec. user=mdettweiler [2019-06-12 00:25:37] 873*2^1539902-1 is not prime. Res64: 946CD2288EB5BDB9 Time : 0.0 sec. user=mdettweiler [2019-06-12 00:25:37] 893*2^1539902-1 is not prime. Res64: 9601B2FDD5A3D6F1 Time : 0.0 sec. user=mdettweiler [2019-06-12 00:25:38] 923*2^1539902-1 is not prime. Res64: C5E4ADAA21A80A44 Time : 0.0 sec. user=mdettweiler [2019-06-12 00:25:38] 945*2^1539902-1 is not prime. Res64: 72008908ACC8666D Time : 0.0 sec. user=mdettweiler [2019-06-12 00:35:08] 965*2^1539902-1 is not prime. Res64: AF02082A2C66E645 Time : 0.0 sec. user=mdettweiler [2019-06-12 00:35:08] 613*2^1539903-1 is not prime. Res64: A489A4849A1EC469 Time : 0.0 sec. user=mdettweiler [2019-06-12 00:35:08] 823*2^1539903-1 is not prime. Res64: 3BAE790302AC6257 Time : 0.0 sec. user=mdettweiler [2019-06-12 00:35:09] 871*2^1539903-1 is not prime. Res64: 3EA3D61A3059E903 Time : 0.0 sec. user=mdettweiler [2019-06-12 00:35:09] 773*2^1539904-1 is not prime. Res64: C5E16368C927E129 Time : 0.0 sec. user=mdettweiler [2019-06-12 01:01:25] 843*2^1539904-1 is not prime. Res64: E4B5827B42491826 Time : 0.0 sec. user=mdettweiler [2019-06-12 01:01:28] 869*2^1539904-1 is not prime. Res64: 30A76763A52C6EAC Time : 0.0 sec. user=mdettweiler [2019-06-12 01:01:30] 887*2^1539904-1 is not prime. Res64: 42F5186AC8EDED14 Time : 0.0 sec. user=mdettweiler [2019-06-12 01:01:33] 897*2^1539904-1 is not prime. Res64: 45A07F3E24BA058B Time : 0.0 sec. user=mdettweiler [2019-06-12 01:01:34] 903*2^1539904-1 is not prime. Res64: C64856182A3F43EA Time : 0.0 sec. user=mdettweiler [2019-06-12 01:19:30] 929*2^1539904-1 is not prime. Res64: 3C8E9EC124D9855C Time : 0.0 sec. user=mdettweiler [2019-06-12 01:19:33] 601*2^1539905-1 is not prime. Res64: AAADF5C2B74E49C6 Time : 0.0 sec. user=mdettweiler [2019-06-12 01:19:34] 675*2^1539905-1 is not prime. Res64: D922DF232D7FDB4C Time : 0.0 sec. user=mdettweiler [2019-06-12 01:19:35] 759*2^1539905-1 is not prime. Res64: C753DFEA3A3F1E07 Time : 0.0 sec. user=mdettweiler [2019-06-12 01:19:37] 789*2^1539905-1 is not prime. Res64: 214DA610E9546C6D Time : 0.0 sec. user=mdettweiler [2019-06-12 01:20:42] 925*2^1539905-1 is not prime. Res64: 259EFC9D2A09041B Time : 0.0 sec. user=mdettweiler [2019-06-12 01:20:43] 985*2^1539905-1 is not prime. Res64: 572F5616C089758F Time : 0.0 sec. user=mdettweiler [2019-06-12 01:20:43] 641*2^1539906-1 is not prime. Res64: D258BE7A13C5A45F Time : 0.0 sec. user=mdettweiler [2019-06-12 01:20:44] 741*2^1539906-1 is not prime. Res64: E5DCFAF7D7702B3E Time : 0.0 sec. user=mdettweiler [2019-06-12 01:20:45] 833*2^1539906-1 is not prime. Res64: E572E161DD88A23D Time : 0.0 sec. user=mdettweiler [2019-06-12 01:29:40] 861*2^1539906-1 is not prime. Res64: 9862CABC03143E6C Time : 0.0 sec. user=mdettweiler [2019-06-12 01:29:42] 893*2^1539906-1 is not prime. Res64: 66B0F3D38A28C59A Time : 0.0 sec. user=mdettweiler [2019-06-12 01:29:43] 941*2^1539906-1 is not prime. Res64: FAB67C84AD15849F Time : 0.0 sec. user=mdettweiler [2019-06-12 01:29:45] 947*2^1539906-1 is not prime. Res64: 8C7BF0A483B98794 Time : 0.0 sec. user=mdettweiler [2019-06-12 01:29:47] 609*2^1539907-1 is not prime. Res64: 02C90E94C17C978B Time : 0.0 sec. user=mdettweiler [2019-06-12 01:55:16] 805*2^1539907-1 is not prime. Res64: 978A1E9C0D43EDC1 Time : 0.0 sec. user=mdettweiler [2019-06-12 01:55:17] 973*2^1539907-1 is not prime. Res64: 15D699020D12FFDD Time : 0.0 sec. user=mdettweiler [2019-06-12 01:55:18] 635*2^1539908-1 is not prime. Res64: B2CC3695414B19B0 Time : 0.0 sec. user=mdettweiler [2019-06-12 01:55:18] 803*2^1539908-1 is not prime. Res64: 14C17DAB247820E1 Time : 0.0 sec. user=mdettweiler [2019-06-12 01:55:19] 843*2^1539908-1 is not prime. Res64: 5A41F2E42391B012 Time : 0.0 sec. user=mdettweiler [2019-06-12 02:15:54] 627*2^1539909-1 is not prime. Res64: F79508A588378364 Time : 0.0 sec. user=mdettweiler [2019-06-12 02:15:54] 649*2^1539909-1 is not prime. Res64: CF3FC01D63997FA0 Time : 0.0 sec. user=mdettweiler [2019-06-12 02:15:55] 661*2^1539909-1 is not prime. Res64: 878AF383BB5F3C18 Time : 0.0 sec. user=mdettweiler [2019-06-12 02:15:56] 681*2^1539909-1 is not prime. Res64: 18701455E1554D9F Time : 0.0 sec. user=mdettweiler [2019-06-12 02:15:58] 787*2^1539909-1 is not prime. Res64: E72E0334D758A463 Time : 0.0 sec. user=mdettweiler [2019-06-12 02:18:43] 845*2^1539908-1 is not prime. Res64: 74B40F7AC1A2B410 Time : 0.0 sec. user=mdettweiler [2019-06-12 02:18:45] 885*2^1539908-1 is not prime. Res64: 1AC1FA5C1465CBED Time : 0.0 sec. user=mdettweiler [2019-06-12 02:18:46] 927*2^1539908-1 is not prime. Res64: EA61A12AF7934C7C Time : 0.0 sec. user=mdettweiler [2019-06-12 02:18:48] 999*2^1539908-1 is not prime. Res64: ADC9F6AEE6F049FA Time : 0.0 sec. user=mdettweiler [2019-06-12 02:18:49] 615*2^1539909-1 is not prime. Res64: 15D4245E724DA561 Time : 0.0 sec. user=mdettweiler [2019-06-12 02:39:16] 831*2^1539909-1 is not prime. Res64: 835F9168C1193BD0 Time : 0.0 sec. user=mdettweiler [2019-06-12 02:39:20] 889*2^1539909-1 is not prime. Res64: 940BFAE5DDF742ED Time : 0.0 sec. user=mdettweiler [2019-06-12 02:39:22] 895*2^1539909-1 is not prime. Res64: EC14264BE2ECBA0B Time : 0.0 sec. user=mdettweiler [2019-06-12 02:39:24] 645*2^1539910-1 is not prime. Res64: 062EED7CB7126BC3 Time : 0.0 sec. user=mdettweiler [2019-06-12 02:39:25] 783*2^1539910-1 is not prime. Res64: 491C9121FC2A0574 Time : 0.0 sec. user=mdettweiler [2019-06-12 02:59:50] 827*2^1539910-1 is not prime. Res64: F11ABAB2CD65BF3D Time : 0.0 sec. user=mdettweiler [2019-06-12 02:59:51] 857*2^1539910-1 is not prime. Res64: D361A8EE730B3897 Time : 0.0 sec. user=mdettweiler [2019-06-12 02:59:52] 861*2^1539910-1 is not prime. Res64: 1011594C5D03FA4D Time : 0.0 sec. user=mdettweiler [2019-06-12 02:59:52] 887*2^1539910-1 is not prime. Res64: D12DAFFC9AA768BF Time : 0.0 sec. user=mdettweiler [2019-06-12 02:59:53] 917*2^1539910-1 is not prime. Res64: F9C3489F1FC8EA58 Time : 0.0 sec. user=mdettweiler [2019-06-12 03:20:48] 665*2^1539912-1 is not prime. Res64: 50B88DFF7E49BB26 Time : 0.0 sec. user=mdettweiler [2019-06-12 03:20:50] 693*2^1539912-1 is not prime. Res64: 917E381CB1D36F80 Time : 0.0 sec. user=mdettweiler [2019-06-12 03:20:51] 797*2^1539912-1 is not prime. Res64: 2CEEB1D2A306A346 Time : 0.0 sec. user=mdettweiler [2019-06-12 03:20:53] 837*2^1539912-1 is not prime. Res64: BF20F609C857FFC1 Time : 0.0 sec. user=mdettweiler [2019-06-12 03:20:55] 849*2^1539912-1 is not prime. Res64: CF9844F3820E19B0 Time : 0.0 sec. user=mdettweiler [2019-06-12 03:21:17] 1001*2^1539910-1 is not prime. Res64: 4B7A408EEC9B2122 Time : 0.0 sec. user=mdettweiler [2019-06-12 03:21:20] 619*2^1539911-1 is not prime. Res64: 63CF3A2EB00001EB Time : 0.0 sec. user=mdettweiler [2019-06-12 03:21:22] 859*2^1539911-1 is not prime. Res64: B4B4DB43EE4C70D4 Time : 0.0 sec. user=mdettweiler [2019-06-12 03:21:25] 909*2^1539911-1 is not prime. Res64: B07D567A64B800B8 Time : 0.0 sec. user=mdettweiler [2019-06-12 03:21:27] 605*2^1539912-1 is not prime. Res64: B0CF5E5E469F8120 Time : 0.0 sec. user=mdettweiler [2019-06-12 03:32:04] 903*2^1539912-1 is not prime. Res64: 87608EB83F494D62 Time : 0.0 sec. user=mdettweiler [2019-06-12 03:32:09] 923*2^1539912-1 is not prime. Res64: 4B4E35285E6A82DA Time : 0.0 sec. user=mdettweiler [2019-06-12 03:32:13] 699*2^1539913-1 is not prime. Res64: 9B071082E4FAF83B Time : 0.0 sec. user=mdettweiler [2019-06-12 03:32:18] 855*2^1539913-1 is not prime. Res64: A51DC9F7165A8302 Time : 0.0 sec. user=mdettweiler [2019-06-12 03:32:23] 919*2^1539913-1 is not prime. Res64: F438B3D047245C12 Time : 0.0 sec. user=mdettweiler [2019-06-12 03:51:55] 985*2^1539913-1 is not prime. Res64: 3C52FE8F1BD20A21 Time : 0.0 sec. user=mdettweiler [2019-06-12 03:52:02] 987*2^1539913-1 is not prime. Res64: 85DA3907CE1B05EC Time : 0.0 sec. user=mdettweiler [2019-06-12 03:52:05] 711*2^1539914-1 is not prime. Res64: DCE5E4C68BBD4C40 Time : 0.0 sec. user=mdettweiler [2019-06-12 03:52:12] 753*2^1539914-1 is not prime. Res64: AE5C489C1A83BADB Time : 0.0 sec. user=mdettweiler [2019-06-12 03:52:18] 783*2^1539914-1 is not prime. Res64: 39A930831B06AC77 Time : 0.0 sec. user=mdettweiler [2019-06-12 04:12:27] 699*2^1539915-1 is not prime. Res64: 7736D92581F20E3F Time : 0.0 sec. user=mdettweiler [2019-06-12 04:12:35] 709*2^1539915-1 is not prime. Res64: 8412AB306D57FF35 Time : 0.0 sec. user=mdettweiler [2019-06-12 04:12:39] 783*2^1539915-1 is not prime. Res64: D0F53D897768159F Time : 0.0 sec. user=mdettweiler [2019-06-12 04:12:45] 789*2^1539915-1 is not prime. Res64: 4B8E12B76FFE25A6 Time : 0.0 sec. user=mdettweiler [2019-06-12 04:12:51] 829*2^1539915-1 is not prime. Res64: 0BAB8A44568AE53C Time : 0.0 sec. user=mdettweiler [2019-06-12 04:13:28] 885*2^1539914-1 is not prime. Res64: E856F210B61A3FA4 Time : 0.0 sec. user=mdettweiler [2019-06-12 04:13:35] 935*2^1539914-1 is not prime. Res64: CD2AB3E7406015BD Time : 0.0 sec. user=mdettweiler [2019-06-12 04:13:43] 953*2^1539914-1 is not prime. Res64: 43399D1CF4704E8D Time : 0.0 sec. user=mdettweiler [2019-06-12 04:13:48] 981*2^1539914-1 is not prime. Res64: F650EC6DD00F2F2D Time : 0.0 sec. user=mdettweiler [2019-06-12 04:13:57] 651*2^1539915-1 is not prime. Res64: 0BDFAF59F358B009 Time : 0.0 sec. user=mdettweiler [2019-06-12 04:24:26] 853*2^1539915-1 is not prime. Res64: 6D2EDA426B45B1BD Time : 0.0 sec. user=mdettweiler [2019-06-12 04:24:30] 921*2^1539915-1 is not prime. Res64: AA93C2A3DB19C0FB Time : 0.0 sec. user=mdettweiler [2019-06-12 04:24:33] 963*2^1539915-1 is not prime. Res64: B2D5A6EF688637E9 Time : 0.0 sec. user=mdettweiler [2019-06-12 04:24:36] 615*2^1539916-1 is not prime. Res64: 16FA193D841C9A20 Time : 0.0 sec. user=mdettweiler [2019-06-12 04:24:39] 647*2^1539916-1 is not prime. Res64: FB61A192FD1DE2A8 Time : 0.0 sec. user=mdettweiler [2019-06-12 04:45:35] 675*2^1539916-1 is not prime. Res64: ECD2B13840276DC7 Time : 0.0 sec. user=mdettweiler [2019-06-12 04:45:37] 833*2^1539916-1 is not prime. Res64: C2F3AF6891C91605 Time : 0.0 sec. user=mdettweiler [2019-06-12 04:45:39] 957*2^1539916-1 is not prime. Res64: F547F3D86ED79CC3 Time : 0.0 sec. user=mdettweiler [2019-06-12 04:45:40] 993*2^1539916-1 is not prime. Res64: A9B697AD81127C3B Time : 0.0 sec. user=mdettweiler [2019-06-12 04:45:42] 607*2^1539917-1 is not prime. Res64: BCFF94BA5CEF7A63 Time : 0.0 sec. user=mdettweiler [2019-06-12 05:06:22] 715*2^1539917-1 is not prime. Res64: 95C086CAA90039B7 Time : 0.0 sec. user=mdettweiler [2019-06-12 05:06:25] 727*2^1539917-1 is not prime. Res64: 33E2059F1E9C1299 Time : 0.0 sec. user=mdettweiler [2019-06-12 05:06:28] 729*2^1539917-1 is not prime. Res64: 623DF4B5F690F8E9 Time : 0.0 sec. user=mdettweiler [2019-06-12 05:06:32] 741*2^1539917-1 is not prime. Res64: 5D66A037786B775B Time : 0.0 sec. user=mdettweiler [2019-06-12 05:06:37] 771*2^1539917-1 is not prime. Res64: 69DE6D713C9F6407 Time : 0.0 sec. user=mdettweiler [2019-06-12 05:16:16] 981*2^1539917-1 is not prime. Res64: 74D40C213E946836 Time : 0.0 sec. user=mdettweiler [2019-06-12 05:16:18] 615*2^1539918-1 is not prime. Res64: E751567602D92B1F Time : 0.0 sec. user=mdettweiler [2019-06-12 05:16:20] 795*2^1539918-1 is not prime. Res64: 2AB7E7466AC0FDF9 Time : 0.0 sec. user=mdettweiler [2019-06-12 05:16:21] 861*2^1539918-1 is not prime. Res64: 7F2416F7DDEE655C Time : 0.0 sec. user=mdettweiler [2019-06-12 05:16:22] 881*2^1539918-1 is not prime. Res64: 721994CC95BEB025 Time : 0.0 sec. user=mdettweiler [2019-06-12 05:37:25] 625*2^1539919-1 is not prime. Res64: 9BD1FECEEC244327 Time : 0.0 sec. user=mdettweiler [2019-06-12 05:37:25] 741*2^1539919-1 is not prime. Res64: F6DB10C20DC550C9 Time : 0.0 sec. user=mdettweiler [2019-06-12 05:37:26] 793*2^1539919-1 is not prime. Res64: 5BC2EBC8A33C1F6F Time : 0.0 sec. user=mdettweiler [2019-06-12 05:37:27] 873*2^1539919-1 is not prime. Res64: B7589CCDD293175B Time : 0.0 sec. user=mdettweiler [2019-06-12 05:37:27] 895*2^1539919-1 is not prime. Res64: 410EF1311573EE06 Time : 0.0 sec. user=mdettweiler [2019-06-12 06:03:15] 951*2^1539919-1 is not prime. Res64: E73A8F6B00D3366C Time : 0.0 sec. user=mdettweiler [2019-06-12 06:03:21] 961*2^1539919-1 is not prime. Res64: 6A6716C1B66E3D55 Time : 0.0 sec. user=mdettweiler [2019-06-12 06:03:27] 713*2^1539920-1 is not prime. Res64: 816A391863E58308 Time : 0.0 sec. user=mdettweiler [2019-06-12 06:03:31] 789*2^1539920-1 is not prime. Res64: 741CE6418A06BB41 Time : 0.0 sec. user=mdettweiler [2019-06-12 06:03:38] 833*2^1539920-1 is not prime. Res64: E26CCF21974A2C7A Time : 0.0 sec. user=mdettweiler [2019-06-12 06:09:05] 929*2^1539920-1 is not prime. Res64: 707A0D164D488D52 Time : 0.0 sec. user=mdettweiler [2019-06-12 06:29:49] 825*2^1539922-1 is not prime. Res64: 24B55ED9AF24C027 Time : 0.0 sec. user=mdettweiler [2019-06-12 06:29:50] 867*2^1539922-1 is not prime. Res64: DCF3A08516E162F9 Time : 0.0 sec. user=mdettweiler [2019-06-12 06:29:50] 983*2^1539922-1 is not prime. Res64: 06A9A136CB830151 Time : 0.0 sec. user=mdettweiler [2019-06-12 06:29:51] 1001*2^1539922-1 is not prime. Res64: 6F6CCB3233856295 Time : 0.0 sec. user=mdettweiler [2019-06-12 06:29:52] 759*2^1539923-1 is not prime. Res64: AA129051AFD56C5C Time : 0.0 sec. user=mdettweiler [2019-06-12 06:57:43] 635*2^1539924-1 is not prime. Res64: CAC3BB0CD83742C7 Time : 0.0 sec. user=mdettweiler [2019-06-12 06:57:44] 675*2^1539924-1 is not prime. Res64: 55AB122B5C535155 Time : 0.0 sec. user=mdettweiler [2019-06-12 06:57:44] 707*2^1539924-1 is not prime. Res64: 62C55BBEA95413B7 Time : 0.0 sec. user=mdettweiler [2019-06-12 06:57:45] 759*2^1539924-1 is not prime. Res64: A862ACB0D299835A Time : 0.0 sec. user=mdettweiler [2019-06-12 06:57:46] 767*2^1539924-1 is not prime. Res64: 6762F80D3C68937B Time : 0.0 sec. user=mdettweiler [2019-06-12 07:22:12] 675*2^1539925-1 is not prime. Res64: D742273E01F46063 Time : 0.0 sec. user=mdettweiler [2019-06-12 07:22:13] 801*2^1539925-1 is not prime. Res64: C3D3972E41E3B5BE Time : 0.0 sec. user=mdettweiler [2019-06-12 07:22:14] 805*2^1539925-1 is not prime. Res64: 81EA57F6F617FA0F Time : 0.0 sec. user=mdettweiler [2019-06-12 07:22:15] 825*2^1539925-1 is not prime. Res64: 83D40BDDE1F34C90 Time : 0.0 sec. user=mdettweiler [2019-06-12 07:22:15] 831*2^1539925-1 is not prime. Res64: FD6CA71687FAD373 Time : 0.0 sec. user=mdettweiler [2019-06-12 07:50:39] 861*2^1539925-1 is not prime. Res64: F165D40184A1369E Time : 0.0 sec. user=mdettweiler [2019-06-12 07:50:39] 897*2^1539925-1 is not prime. Res64: 3A5A485BAB76F9DB Time : 0.0 sec. user=mdettweiler [2019-06-12 07:50:40] 705*2^1539926-1 is not prime. Res64: 62E7041A40AF0C83 Time : 0.0 sec. user=mdettweiler [2019-06-12 07:50:41] 713*2^1539926-1 is not prime. Res64: FE6B01F892261CCF Time : 0.0 sec. user=mdettweiler [2019-06-12 07:50:41] 741*2^1539926-1 is not prime. Res64: FD891E89E728B4FB Time : 0.0 sec. user=mdettweiler [2019-06-12 08:15:31] 761*2^1539926-1 is not prime. Res64: 8A9FF8ACCA5E8B3A Time : 0.0 sec. user=mdettweiler [2019-06-12 08:15:31] 857*2^1539926-1 is not prime. Res64: 9E8B03CE4EDFAEB8 Time : 0.0 sec. user=mdettweiler [2019-06-12 08:15:32] 921*2^1539926-1 is not prime. Res64: BECEA61B8C23CE99 Time : 0.0 sec. user=mdettweiler [2019-06-12 08:15:33] 983*2^1539926-1 is not prime. Res64: A6256959DADA224D Time : 0.0 sec. user=mdettweiler [2019-06-12 08:15:34] 615*2^1539927-1 is not prime. Res64: C0DFC3C4ADB36BDF Time : 0.0 sec. user=mdettweiler [2019-06-12 08:42:37] 619*2^1539927-1 is not prime. Res64: 0A85080F400F1362 Time : 0.0 sec. user=mdettweiler [2019-06-12 08:42:39] 649*2^1539927-1 is not prime. Res64: 43DDE0D4DB290908 Time : 0.0 sec. user=mdettweiler [2019-06-12 08:42:40] 685*2^1539927-1 is not prime. Res64: 89D7DBE7A7684F43 Time : 0.0 sec. user=mdettweiler [2019-06-12 08:42:41] 781*2^1539927-1 is not prime. Res64: 4E1CB64137EFF51E Time : 0.0 sec. user=mdettweiler [2019-06-12 08:42:43] 895*2^1539927-1 is not prime. Res64: 56DC6FE1601158A0 Time : 0.0 sec. user=mdettweiler [2019-06-12 09:07:18] 657*2^1539928-1 is not prime. Res64: DD38D83722861020 Time : 0.0 sec. user=mdettweiler [2019-06-12 09:07:23] 665*2^1539928-1 is not prime. Res64: 6CD31B6BAA101AF7 Time : 0.0 sec. user=mdettweiler [2019-06-12 09:07:27] 723*2^1539928-1 is not prime. Res64: 78FD6CF8AE7BF47E Time : 0.0 sec. user=mdettweiler [2019-06-12 09:07:31] 905*2^1539928-1 is not prime. Res64: 6BF74BAA4BBE88C5 Time : 0.0 sec. user=mdettweiler [2019-06-12 09:07:35] 601*2^1539929-1 is not prime. Res64: 9605B2E9D3104849 Time : 0.0 sec. user=mdettweiler [2019-06-12 09:16:01] 685*2^1539929-1 is not prime. Res64: 2D4668D69ABED5B3 Time : 0.0 sec. user=mdettweiler [2019-06-12 09:16:05] 697*2^1539929-1 is not prime. Res64: 8786835852165773 Time : 0.0 sec. user=mdettweiler [2019-06-12 09:16:07] 771*2^1539929-1 is not prime. Res64: 7103D84A5EACF8ED Time : 0.0 sec. user=mdettweiler [2019-06-12 09:16:10] 811*2^1539929-1 is not prime. Res64: 72527381478D5FAF Time : 0.0 sec. user=mdettweiler [2019-06-12 09:16:12] 879*2^1539929-1 is not prime. Res64: E846E9C442AD672F Time : 0.0 sec. user=mdettweiler [2019-06-12 09:34:18] 627*2^1539930-1 is not prime. Res64: 87441B35C702299A Time : 0.0 sec. user=mdettweiler [2019-06-12 09:34:19] 681*2^1539930-1 is not prime. Res64: BA35B27A06F9F28B Time : 0.0 sec. user=mdettweiler [2019-06-12 09:34:19] 725*2^1539930-1 is not prime. Res64: 5493CBBB4AB1DAB5 Time : 0.0 sec. user=mdettweiler [2019-06-12 09:34:20] 825*2^1539930-1 is not prime. Res64: B0AE236EA8FE1517 Time : 0.0 sec. user=mdettweiler [2019-06-12 09:34:21] 651*2^1539931-1 is not prime. Res64: B859B79876EB604F Time : 0.0 sec. user=mdettweiler [2019-06-12 10:00:23] 745*2^1539931-1 is not prime. Res64: 35DE43990237E656 Time : 0.0 sec. user=mdettweiler [2019-06-12 10:00:27] 775*2^1539931-1 is not prime. Res64: B10C37EAEE1AE837 Time : 0.0 sec. user=mdettweiler [2019-06-12 10:00:31] 939*2^1539931-1 is not prime. Res64: 0A2915960039649D Time : 0.0 sec. user=mdettweiler [2019-06-12 10:00:33] 635*2^1539932-1 is not prime. Res64: 04EDE0A8B64C174F Time : 0.0 sec. user=mdettweiler [2019-06-12 10:00:36] 743*2^1539932-1 is not prime. Res64: E46F5F7A47FF5F8C Time : 0.0 sec. user=mdettweiler [2019-06-12 10:08:57] 755*2^1539932-1 is not prime. Res64: 10BECECFA43128A5 Time : 0.0 sec. user=mdettweiler [2019-06-12 10:09:03] 837*2^1539932-1 is not prime. Res64: D0D9E9D37D1EDB16 Time : 0.0 sec. user=mdettweiler [2019-06-12 10:23:31] 995*2^1539920-1 is not prime. Res64: 5EF5ED2650BAC96C Time : 0.0 sec. user=mdettweiler [2019-06-12 10:23:32] 835*2^1539921-1 is not prime. Res64: E46BF2DC3A3C6B22 Time : 0.0 sec. user=mdettweiler [2019-06-12 10:23:32] 657*2^1539922-1 is not prime. Res64: 7E60A8F7C1C601DB Time : 0.0 sec. user=mdettweiler [2019-06-12 10:23:33] 713*2^1539922-1 is not prime. Res64: B328A4CBDAEBB627 Time : 0.0 sec. user=mdettweiler [2019-06-12 10:26:24] 891*2^1539933-1 is not prime. Res64: 8E2EB01732B0ACAA Time : 0.0 sec. user=mdettweiler [2019-06-12 10:26:25] 921*2^1539933-1 is not prime. Res64: 0B3B6EA2710A44B8 Time : 0.0 sec. user=mdettweiler [2019-06-12 10:26:25] 951*2^1539933-1 is not prime. Res64: 8136D73A9D4B7538 Time : 0.0 sec. user=mdettweiler [2019-06-12 10:26:26] 985*2^1539933-1 is not prime. Res64: 872E1F9442EABB8E Time : 0.0 sec. user=mdettweiler [2019-06-12 10:26:26] 663*2^1539934-1 is not prime. Res64: 7C80ED34AC01C1BD Time : 0.0 sec. user=mdettweiler [2019-06-12 10:53:20] 717*2^1539934-1 is not prime. Res64: 58FF6DE9027FEC08 Time : 0.0 sec. user=mdettweiler [2019-06-12 10:53:20] 917*2^1539934-1 is not prime. Res64: 9FB30ED0385D2551 Time : 0.0 sec. user=mdettweiler [2019-06-12 10:53:21] 975*2^1539934-1 is not prime. Res64: BD9E2D656BF34862 Time : 0.0 sec. user=mdettweiler [2019-06-12 10:53:22] 673*2^1539935-1 is not prime. Res64: F44097581F9C2532 Time : 0.0 sec. user=mdettweiler [2019-06-12 10:53:22] 721*2^1539935-1 is not prime. Res64: EA6A433CBA6B5C10 Time : 0.0 sec. user=mdettweiler [2019-06-12 11:15:11] 735*2^1539935-1 is not prime. Res64: AFD8594DD6D51E39 Time : 0.0 sec. user=mdettweiler [2019-06-12 11:15:12] 859*2^1539935-1 is not prime. Res64: D26CB58371421E34 Time : 0.0 sec. user=mdettweiler [2019-06-12 11:15:13] 707*2^1539936-1 is not prime. Res64: 2AA112B3A7DFA948 Time : 0.0 sec. user=mdettweiler [2019-06-12 11:15:13] 825*2^1539936-1 is not prime. Res64: 5F888DEEE4B6A5DA Time : 0.0 sec. user=mdettweiler [2019-06-12 11:15:14] 945*2^1539936-1 is not prime. Res64: 653F2F508F306974 Time : 0.0 sec. user=mdettweiler [2019-06-12 11:18:05] 607*2^1539937-1 is not prime. Res64: 9D506CBEC20666FA Time : 0.0 sec. user=mdettweiler [2019-06-12 11:18:06] 609*2^1539937-1 is not prime. Res64: BC2FFECB31A52F8A Time : 0.0 sec. user=mdettweiler [2019-06-12 11:18:07] 649*2^1539937-1 is not prime. Res64: 45F6C64CBE8BE5C4 Time : 0.0 sec. user=mdettweiler [2019-06-12 11:18:07] 661*2^1539937-1 is not prime. Res64: 94E9C0BFBA081269 Time : 0.0 sec. user=mdettweiler [2019-06-12 11:18:08] 765*2^1539937-1 is not prime. Res64: 9550D8DC7834E028 Time : 0.0 sec. user=mdettweiler [2019-06-12 11:45:54] 777*2^1539937-1 is not prime. Res64: F2009B4EA55DDE11 Time : 0.0 sec. user=mdettweiler [2019-06-12 11:45:55] 885*2^1539937-1 is not prime. Res64: 4313982B544FFDB9 Time : 0.0 sec. user=mdettweiler [2019-06-12 11:45:55] 897*2^1539937-1 is not prime. Res64: 368E349A0882D53F Time : 0.0 sec. user=mdettweiler [2019-06-12 11:45:56] 915*2^1539937-1 is not prime. Res64: C2B2D6D1DA18D1C5 Time : 0.0 sec. user=mdettweiler [2019-06-12 11:45:57] 937*2^1539937-1 is not prime. Res64: B6AF1A8D6C11EB36 Time : 0.0 sec. user=mdettweiler [2019-06-12 12:08:13] 617*2^1539938-1 is not prime. Res64: 668C4EC43A7E6B37 Time : 0.0 sec. user=mdettweiler [2019-06-12 12:08:16] 635*2^1539938-1 is not prime. Res64: DDD025181609681B Time : 0.0 sec. user=mdettweiler [2019-06-12 12:08:20] 665*2^1539938-1 is not prime. Res64: 59AB95875FFDFCC4 Time : 0.0 sec. user=mdettweiler [2019-06-12 12:08:23] 687*2^1539938-1 is not prime. Res64: AC4EF82E902F9246 Time : 0.0 sec. user=mdettweiler [2019-06-12 12:08:25] 791*2^1539938-1 is not prime. Res64: 23CCF8C2EEE49258 Time : 0.0 sec. user=mdettweiler [2019-06-12 12:11:23] 827*2^1539938-1 is not prime. Res64: 5B9F4079C2CED4CE Time : 0.0 sec. user=mdettweiler [2019-06-12 12:11:28] 977*2^1539938-1 is not prime. Res64: 20C3F73DD43828C7 Time : 0.0 sec. user=mdettweiler [2019-06-12 12:11:33] 891*2^1539939-1 is not prime. Res64: 935CFCE6E923DF29 Time : 0.0 sec. user=mdettweiler [2019-06-12 12:11:36] 951*2^1539939-1 is not prime. Res64: E1DF38AAE26186E9 Time : 0.0 sec. user=mdettweiler [2019-06-12 12:11:40] 603*2^1539940-1 is not prime. Res64: 5EDD5596E842C0A9 Time : 0.0 sec. user=mdettweiler [2019-06-12 12:38:03] 609*2^1539940-1 is not prime. Res64: 8E43E90FFF1A5609 Time : 0.0 sec. user=mdettweiler [2019-06-12 12:38:04] 863*2^1539940-1 is not prime. Res64: 9AB510D1E8C89D6A Time : 0.0 sec. user=mdettweiler [2019-06-12 12:38:05] 679*2^1539941-1 is not prime. Res64: D24CE4C7D064BC01 Time : 0.0 sec. user=mdettweiler [2019-06-12 12:38:05] 717*2^1539941-1 is not prime. Res64: AAD7E9E0A43FAFA6 Time : 0.0 sec. user=mdettweiler [2019-06-12 12:38:06] 747*2^1539941-1 is not prime. Res64: 1732D9EC1E109B74 Time : 0.0 sec. user=mdettweiler [2019-06-12 13:01:41] 901*2^1539941-1 is not prime. Res64: AC4CF093CA5E196A Time : 0.0 sec. user=mdettweiler [2019-06-12 13:01:43] 937*2^1539941-1 is not prime. Res64: FB579F89B62AA304 Time : 0.0 sec. user=mdettweiler [2019-06-12 13:01:45] 945*2^1539941-1 is not prime. Res64: E1FF11ED9F166403 Time : 0.0 sec. user=mdettweiler [2019-06-12 13:01:47] 741*2^1539942-1 is not prime. Res64: 7D34FE0507437C15 Time : 0.0 sec. user=mdettweiler [2019-06-12 13:01:48] 761*2^1539942-1 is not prime. Res64: A09E012808C6DA0E Time : 0.0 sec. user=mdettweiler [2019-06-12 13:03:14] 797*2^1539942-1 is not prime. Res64: 6B1C9E5BD5D9780B Time : 0.0 sec. user=mdettweiler [2019-06-12 13:03:15] 801*2^1539942-1 is not prime. Res64: B6D73E716877EC80 Time : 0.0 sec. user=mdettweiler [2019-06-12 13:03:16] 867*2^1539942-1 is not prime. Res64: 742D7C34D5556110 Time : 0.0 sec. user=mdettweiler [2019-06-12 13:03:17] 915*2^1539942-1 is not prime. Res64: A02E862DDCC9919C Time : 0.0 sec. user=mdettweiler [2019-06-12 13:03:18] 917*2^1539942-1 is not prime. Res64: 676486100795AFC4 Time : 0.0 sec. user=mdettweiler [2019-06-12 13:29:35] 675*2^1539943-1 is not prime. Res64: 33FBAEB434ED21D4 Time : 0.0 sec. user=mdettweiler [2019-06-12 13:29:36] 681*2^1539943-1 is not prime. Res64: 319F03384E45D4BE Time : 0.0 sec. user=mdettweiler [2019-06-12 13:29:37] 741*2^1539943-1 is not prime. Res64: 806FA7EED76EE131 Time : 0.0 sec. user=mdettweiler [2019-06-12 13:29:37] 789*2^1539943-1 is not prime. Res64: 6CBD8FF734397C25 Time : 0.0 sec. user=mdettweiler [2019-06-12 13:29:38] 829*2^1539943-1 is not prime. Res64: 3D47CA89B12B63FC Time : 0.0 sec. user=mdettweiler [2019-06-12 13:53:57] 939*2^1539943-1 is not prime. Res64: 77BE85DA19C9A641 Time : 0.0 sec. user=mdettweiler [2019-06-12 13:53:59] 687*2^1539944-1 is not prime. Res64: CA612F1CD9B63630 Time : 0.0 sec. user=mdettweiler [2019-06-12 13:54:01] 827*2^1539944-1 is not prime. Res64: DB1F34B7902C07D3 Time : 0.0 sec. user=mdettweiler [2019-06-12 13:54:03] 969*2^1539944-1 is not prime. Res64: 8648256156028284 Time : 0.0 sec. user=mdettweiler [2019-06-12 13:54:04] 639*2^1539945-1 is not prime. Res64: 47628D71288EDB1E Time : 0.0 sec. user=mdettweiler [2019-06-12 13:54:39] 717*2^1539945-1 is not prime. Res64: 516ED3DC6D27911B Time : 0.0 sec. user=mdettweiler [2019-06-12 13:54:40] 739*2^1539945-1 is not prime. Res64: 45C003EF94D7ADF0 Time : 0.0 sec. user=mdettweiler [2019-06-12 13:54:42] 831*2^1539945-1 is not prime. Res64: E9E2489134768506 Time : 0.0 sec. user=mdettweiler [2019-06-12 13:54:43] 889*2^1539945-1 is not prime. Res64: 2176EAFC12AF6911 Time : 0.0 sec. user=mdettweiler [2019-06-12 13:54:44] 895*2^1539945-1 is not prime. Res64: BDF0D3A2AF4FBFCD Time : 0.0 sec. user=mdettweiler [2019-06-12 14:14:31] 929*2^1539932-1 is not prime. Res64: 1F9F56DAF6737763 Time : 0.0 sec. user=mdettweiler [2019-06-12 14:14:40] 945*2^1539932-1 is not prime. Res64: 5EECA063AF906B66 Time : 0.0 sec. user=mdettweiler [2019-06-12 14:14:42] 847*2^1539933-1 is not prime. Res64: 1A977191E43B67FA Time : 0.0 sec. user=mdettweiler [2019-06-12 14:21:04] 999*2^1539945-1 is not prime. Res64: 475214249BDC7A80 Time : 0.0 sec. user=mdettweiler [2019-06-12 14:21:04] 675*2^1539946-1 is not prime. Res64: B852F1C29C95FDDC Time : 0.0 sec. user=mdettweiler [2019-06-12 14:21:05] 713*2^1539946-1 is not prime. Res64: D750942183D92FD5 Time : 0.0 sec. user=mdettweiler [2019-06-12 14:21:06] 717*2^1539946-1 is not prime. Res64: 907420F24E561BF6 Time : 0.0 sec. user=mdettweiler [2019-06-12 14:21:06] 905*2^1539946-1 is not prime. Res64: 2E361B855933E811 Time : 0.0 sec. user=mdettweiler [2019-06-12 14:46:27] 841*2^1539947-1 is not prime. Res64: DEE9EEF17F577D53 Time : 0.0 sec. user=mdettweiler [2019-06-12 14:46:28] 979*2^1539947-1 is not prime. Res64: E7EDDEA0C128F892 Time : 0.0 sec. user=mdettweiler [2019-06-12 14:46:30] 917*2^1539946-1 is not prime. Res64: 214254CC6C9FEAA5 Time : 0.0 sec. user=mdettweiler [2019-06-12 14:46:31] 999*2^1539947-1 is not prime. Res64: ACEBCC9E0E5AE698 Time : 0.0 sec. user=mdettweiler [2019-06-12 14:46:32] 933*2^1539946-1 is not prime. Res64: 4946A5D372750E68 Time : 0.0 sec. user=mdettweiler [2019-06-12 14:46:33] 689*2^1539948-1 is not prime. Res64: 8EE87EEE6202FCF2 Time : 0.0 sec. user=mdettweiler [2019-06-12 14:46:34] 981*2^1539946-1 is not prime. Res64: F0EB1CBDEC4BDAAE Time : 0.0 sec. user=mdettweiler [2019-06-12 14:46:34] 783*2^1539948-1 is not prime. Res64: 11B427B52830DC6F Time : 0.0 sec. user=mdettweiler [2019-06-12 14:46:35] 987*2^1539946-1 is not prime. Res64: 3C8ABE11D709F053 Time : 0.0 sec. user=mdettweiler [2019-06-12 14:46:36] 781*2^1539947-1 is not prime. Res64: AAF8E82EA9EE3624 Time : 0.0 sec. user=mdettweiler [2019-06-12 15:07:34] 795*2^1539948-1 is not prime. Res64: 703BD8F2468B70F2 Time : 0.0 sec. user=mdettweiler [2019-06-12 15:07:36] 927*2^1539948-1 is not prime. Res64: E3CF0F1468EA9F62 Time : 0.0 sec. user=mdettweiler [2019-06-12 15:07:38] 945*2^1539948-1 is not prime. Res64: A2A0BAC063F8EEE9 Time : 0.0 sec. user=mdettweiler [2019-06-12 15:07:39] 775*2^1539949-1 is not prime. Res64: 4ED0F16C39912F71 Time : 0.0 sec. user=mdettweiler [2019-06-12 15:07:41] 861*2^1539949-1 is not prime. Res64: 4B18F44B63029675 Time : 0.0 sec. user=mdettweiler [2019-06-12 15:11:59] 657*2^1539950-1 is not prime. Res64: 7D9A95BF996E9B9E Time : 0.0 sec. user=mdettweiler [2019-06-12 15:11:59] 665*2^1539950-1 is not prime. Res64: 7382D99EB8601274 Time : 0.0 sec. user=mdettweiler [2019-06-12 15:12:00] 711*2^1539950-1 is not prime. Res64: 7A535049BDE0A483 Time : 0.0 sec. user=mdettweiler [2019-06-12 15:12:01] 801*2^1539950-1 is not prime. Res64: C7DED42F6F6AEE1D Time : 0.0 sec. user=mdettweiler [2019-06-12 15:12:01] 911*2^1539950-1 is not prime. Res64: B7AE0B2AE09D4FEB Time : 0.0 sec. user=mdettweiler [2019-06-12 15:38:07] 917*2^1539950-1 is not prime. Res64: 7B0E2A93ED65ADC6 Time : 0.0 sec. user=mdettweiler [2019-06-12 15:38:08] 921*2^1539950-1 is not prime. Res64: 23C764DCCFD22F47 Time : 0.0 sec. user=mdettweiler [2019-06-12 15:38:09] 1001*2^1539950-1 is not prime. Res64: EC141549931002BD Time : 0.0 sec. user=mdettweiler [2019-06-12 15:38:09] 643*2^1539951-1 is not prime. Res64: 005271FB0C57F8AA Time : 0.0 sec. user=mdettweiler [2019-06-12 15:38:10] 691*2^1539951-1 is not prime. Res64: 1CAF2FECB5E735B9 Time : 0.0 sec. user=mdettweiler [2019-06-12 15:38:11] 739*2^1539951-1 is not prime. Res64: 023EE27CBACDFAF7 Time : 0.0 sec. user=mdettweiler [2019-06-12 15:38:12] 775*2^1539951-1 is not prime. Res64: ABAD91941732B9DF Time : 0.0 sec. user=mdettweiler [2019-06-12 15:38:12] 793*2^1539951-1 is not prime. Res64: 7463D5B0469BEF11 Time : 0.0 sec. user=mdettweiler [2019-06-12 15:38:13] 961*2^1539951-1 is not prime. Res64: 970A1DA05C4F88E6 Time : 0.0 sec. user=mdettweiler [2019-06-12 15:38:14] 609*2^1539952-1 is not prime. Res64: 20DC09AF3569565A Time : 0.0 sec. user=mdettweiler [2019-06-12 16:00:40] 687*2^1539952-1 is not prime. Res64: 01446DF8032CD03D Time : 0.0 sec. user=mdettweiler [2019-06-12 16:00:42] 695*2^1539952-1 is not prime. Res64: 19AF2F7840946835 Time : 0.0 sec. user=mdettweiler [2019-06-12 16:00:43] 723*2^1539952-1 is not prime. Res64: 593A0AEC91372668 Time : 0.0 sec. user=mdettweiler [2019-06-12 16:00:44] 765*2^1539952-1 is not prime. Res64: 8FDB759F38C20E68 Time : 0.0 sec. user=mdettweiler [2019-06-12 16:00:45] 875*2^1539952-1 is not prime. Res64: B1E027A2BE3C302B Time : 0.0 sec. user=mdettweiler [2019-06-12 16:04:49] 983*2^1539952-1 is not prime. Res64: CE4DD70349D58E23 Time : 0.0 sec. user=mdettweiler [2019-06-12 16:04:52] 637*2^1539953-1 is not prime. Res64: 9A95348FAA138590 Time : 0.0 sec. user=mdettweiler [2019-06-12 16:04:56] 729*2^1539953-1 is not prime. Res64: 404742246A8CBF02 Time : 0.0 sec. user=mdettweiler [2019-06-12 16:04:59] 747*2^1539953-1 is not prime. Res64: EA23AE72B81369D6 Time : 0.0 sec. user=mdettweiler [2019-06-12 16:05:03] 955*2^1539953-1 is not prime. Res64: D50F160BA25C00AE Time : 0.0 sec. user=mdettweiler [2019-06-12 16:31:12] 737*2^1539954-1 is not prime. Res64: 44CE01AE7EE75A52 Time : 0.0 sec. user=mdettweiler [2019-06-12 16:31:13] 891*2^1539954-1 is not prime. Res64: 84D1C5AFA2D26FA8 Time : 0.0 sec. user=mdettweiler [2019-06-12 16:31:13] 975*2^1539954-1 is not prime. Res64: 02251AAB56BC0303 Time : 0.0 sec. user=mdettweiler [2019-06-12 16:31:14] 639*2^1539955-1 is not prime. Res64: 49E18D375CF919DA Time : 0.0 sec. user=mdettweiler [2019-06-12 16:31:14] 651*2^1539955-1 is not prime. Res64: 2E901489B44B867E Time : 0.0 sec. user=mdettweiler [2019-06-12 16:31:35] 969*2^1539953-1 is not prime. Res64: D9A4AABC24237544 Time : 0.0 sec. user=mdettweiler [2019-06-12 16:31:36] 605*2^1539954-1 is not prime. Res64: FF2CEEFB0C1447B5 Time : 0.0 sec. user=mdettweiler [2019-06-12 16:31:36] 657*2^1539954-1 is not prime. Res64: 8FCC9E120AD52288 Time : 0.0 sec. user=mdettweiler [2019-06-12 16:31:37] 677*2^1539954-1 is not prime. Res64: EA9F9E807E837547 Time : 0.0 sec. user=mdettweiler [2019-06-12 16:31:37] 681*2^1539954-1 is not prime. Res64: 054EBBD467A70F19 Time : 0.0 sec. user=mdettweiler [2019-06-12 16:54:18] 693*2^1539955-1 is not prime. Res64: 87DA84F1C6E51698 Time : 0.0 sec. user=mdettweiler [2019-06-12 16:54:19] 765*2^1539955-1 is not prime. Res64: 84D42E1713AD4E6E Time : 0.0 sec. user=mdettweiler [2019-06-12 16:54:20] 843*2^1539955-1 is not prime. Res64: A96DB3F663A504D1 Time : 0.0 sec. user=mdettweiler [2019-06-12 16:54:20] 919*2^1539955-1 is not prime. Res64: DC442C9AFE4AAC4E Time : 0.0 sec. user=mdettweiler [2019-06-12 16:54:21] 813*2^1539956-1 is not prime. Res64: 51A50B079290C2A0 Time : 0.0 sec. user=mdettweiler [2019-06-12 16:59:53] 833*2^1539956-1 is not prime. Res64: 816C6E4203FC2AAE Time : 0.0 sec. user=mdettweiler [2019-06-12 16:59:54] 839*2^1539956-1 is not prime. Res64: 5D30376DE11319D0 Time : 0.0 sec. user=mdettweiler [2019-06-12 16:59:54] 621*2^1539957-1 is not prime. Res64: E39D9A5A2817C567 Time : 0.0 sec. user=mdettweiler [2019-06-12 16:59:55] 667*2^1539957-1 is not prime. Res64: 7AF690A496902A35 Time : 0.0 sec. user=mdettweiler [2019-06-12 16:59:55] 727*2^1539957-1 is not prime. Res64: C53F2B602742678A Time : 0.0 sec. user=mdettweiler [2019-06-12 17:24:21] 735*2^1539957-1 is not prime. Res64: 12C57897D4CF8725 Time : 0.0 sec. user=mdettweiler [2019-06-12 17:24:23] 741*2^1539957-1 is not prime. Res64: 781B5C9703553556 Time : 0.0 sec. user=mdettweiler [2019-06-12 17:24:25] 949*2^1539957-1 is not prime. Res64: 11D73043E8BE0DEA Time : 0.0 sec. user=mdettweiler [2019-06-12 17:24:27] 611*2^1539958-1 is not prime. Res64: 15A905A04D487075 Time : 0.0 sec. user=mdettweiler [2019-06-12 17:24:28] 621*2^1539958-1 is not prime. Res64: A19553EE3CF52C7B Time : 0.0 sec. user=mdettweiler [2019-06-12 17:24:55] 761*2^1539958-1 is not prime. Res64: A1F3336CD9578900 Time : 0.0 sec. user=mdettweiler [2019-06-12 17:24:57] 993*2^1539958-1 is not prime. Res64: E451E137426598F5 Time : 0.0 sec. user=mdettweiler [2019-06-12 17:24:59] 603*2^1539959-1 is not prime. Res64: 935809A24D9B5EAB Time : 0.0 sec. user=mdettweiler [2019-06-12 17:25:02] 661*2^1539959-1 is not prime. Res64: E300037D9D00584C Time : 0.0 sec. user=mdettweiler [2019-06-12 17:25:04] 663*2^1539959-1 is not prime. Res64: FBED6B3326B27C8E Time : 0.0 sec. user=mdettweiler [2019-06-12 17:47:00] 669*2^1539959-1 is not prime. Res64: B948CDA7EA81E716 Time : 0.0 sec. user=mdettweiler [2019-06-12 17:47:01] 799*2^1539959-1 is not prime. Res64: 5A32FAB2D97B8913 Time : 0.0 sec. user=mdettweiler [2019-06-12 17:47:03] 861*2^1539959-1 is not prime. Res64: 420805A90EF733E5 Time : 0.0 sec. user=mdettweiler [2019-06-12 17:47:04] 931*2^1539959-1 is not prime. Res64: DEA5A3B979F0B16D Time : 0.0 sec. user=mdettweiler [2019-06-12 17:47:05] 985*2^1539959-1 is not prime. Res64: 8768196A8550DCB9 Time : 0.0 sec. user=mdettweiler [2019-06-12 17:51:26] 693*2^1539960-1 is not prime. Res64: 5A126ACC8C18836A Time : 0.0 sec. user=mdettweiler [2019-06-12 17:51:26] 753*2^1539960-1 is not prime. Res64: B31A90B33BB6C305 Time : 0.0 sec. user=mdettweiler [2019-06-12 17:51:27] 917*2^1539960-1 is not prime. Res64: 3AB9FF487AB2C2FA Time : 0.0 sec. user=mdettweiler [2019-06-12 17:51:27] 601*2^1539961-1 is not prime. Res64: 33FDB38FC0E82D41 Time : 0.0 sec. user=mdettweiler [2019-06-12 17:51:28] 645*2^1539961-1 is not prime. Res64: 046B9B1A226AC870 Time : 0.0 sec. user=mdettweiler [2019-06-12 18:16:57] 747*2^1539961-1 is not prime. Res64: D316E32D3FAB9F0A Time : 0.0 sec. user=mdettweiler [2019-06-12 18:17:03] 665*2^1539962-1 is not prime. Res64: 4277733C42F9238E Time : 0.0 sec. user=mdettweiler [2019-06-12 18:17:09] 671*2^1539962-1 is not prime. Res64: F9B21A6D2F47461E Time : 0.0 sec. user=mdettweiler [2019-06-12 18:17:13] 677*2^1539962-1 is not prime. Res64: D95A0B1C7231190C Time : 0.0 sec. user=mdettweiler [2019-06-12 18:17:22] 743*2^1539962-1 is not prime. Res64: F047813E9CCB1CD7 Time : 0.0 sec. user=mdettweiler [2019-06-12 18:17:42] 771*2^1539961-1 is not prime. Res64: 2F46D62995EABF9C Time : 0.0 sec. user=mdettweiler [2019-06-12 18:17:47] 861*2^1539961-1 is not prime. Res64: 014093E6432FFAA9 Time : 0.0 sec. user=mdettweiler [2019-06-12 18:17:51] 937*2^1539961-1 is not prime. Res64: F277F34774967D38 Time : 0.0 sec. user=mdettweiler [2019-06-12 18:17:54] 945*2^1539961-1 is not prime. Res64: B5988C788C7AB61E Time : 0.0 sec. user=mdettweiler [2019-06-12 18:17:59] 987*2^1539961-1 is not prime. Res64: 3765D55F943DF756 Time : 0.0 sec. user=mdettweiler [2019-06-12 18:39:15] 873*2^1539962-1 is not prime. Res64: A61D8ECE1B859AA1 Time : 0.0 sec. user=mdettweiler [2019-06-12 18:39:16] 887*2^1539962-1 is not prime. Res64: 9AE9D391DDB31355 Time : 0.0 sec. user=mdettweiler [2019-06-12 18:39:16] 941*2^1539962-1 is not prime. Res64: 517752CBF5E2A663 Time : 0.0 sec. user=mdettweiler [2019-06-12 18:39:17] 953*2^1539962-1 is not prime. Res64: B4314DCB38E66371 Time : 0.0 sec. user=mdettweiler [2019-06-12 18:39:17] 963*2^1539962-1 is not prime. Res64: B2D32BF20B4C55A2 Time : 0.0 sec. user=mdettweiler [2019-06-12 18:42:37] 613*2^1539963-1 is not prime. Res64: 013FDA8964126792 Time : 0.0 sec. user=mdettweiler [2019-06-12 18:42:38] 679*2^1539963-1 is not prime. Res64: 2087B0724F04A821 Time : 0.0 sec. user=mdettweiler [2019-06-12 18:42:38] 703*2^1539963-1 is not prime. Res64: A61C502EDCBCC203 Time : 0.0 sec. user=mdettweiler [2019-06-12 18:42:39] 723*2^1539963-1 is not prime. Res64: B341B145CB41DEE7 Time : 0.0 sec. user=mdettweiler [2019-06-12 18:42:39] 819*2^1539963-1 is not prime. Res64: 4F122B5B0B8379E5 Time : 0.0 sec. user=mdettweiler [2019-06-12 19:11:01] 829*2^1539963-1 is not prime. Res64: 8205E6CE8CC575AB Time : 0.0 sec. user=mdettweiler [2019-06-12 19:11:06] 825*2^1539964-1 is not prime. Res64: C5E2D20DB4315465 Time : 0.0 sec. user=mdettweiler [2019-06-12 19:11:11] 869*2^1539964-1 is not prime. Res64: C54CADBB07A572EC Time : 0.0 sec. user=mdettweiler [2019-06-12 19:11:15] 947*2^1539964-1 is not prime. Res64: E2D7EB7111D7EC44 Time : 0.0 sec. user=mdettweiler [2019-06-12 19:11:19] 675*2^1539965-1 is not prime. Res64: 70D80B0C71C291A2 Time : 0.0 sec. user=mdettweiler [2019-06-12 19:11:24] 657*2^1539965-1 is not prime. Res64: 8A248A424FBC3570 Time : 0.0 sec. user=mdettweiler [2019-06-12 19:11:27] 721*2^1539965-1 is not prime. Res64: 477677948028386A Time : 0.0 sec. user=mdettweiler [2019-06-12 19:11:31] 787*2^1539965-1 is not prime. Res64: 3F10F3C746DA542C Time : 0.0 sec. user=mdettweiler [2019-06-12 19:11:35] 819*2^1539965-1 is not prime. Res64: 8A6D0F535627CC70 Time : 0.0 sec. user=mdettweiler [2019-06-12 19:11:40] 949*2^1539965-1 is not prime. Res64: AA84806FA0FB7F26 Time : 0.0 sec. user=mdettweiler [2019-06-12 19:30:35] 611*2^1539966-1 is not prime. Res64: 21F4B46164F466BA Time : 0.0 sec. user=mdettweiler [2019-06-12 19:30:35] 671*2^1539966-1 is not prime. Res64: FB79B723534F3F36 Time : 0.0 sec. user=mdettweiler [2019-06-12 19:30:36] 677*2^1539966-1 is not prime. Res64: C8C5C55BEF81565B Time : 0.0 sec. user=mdettweiler [2019-06-12 19:30:36] 683*2^1539966-1 is not prime. Res64: 460F804854858CA3 Time : 0.0 sec. user=mdettweiler [2019-06-12 19:30:37] 723*2^1539966-1 is not prime. Res64: 90D62B11F3F862BD Time : 0.0 sec. user=mdettweiler [2019-06-12 19:34:29] 875*2^1539966-1 is not prime. Res64: 1BC6F8F897FAC93C Time : 0.0 sec. user=mdettweiler [2019-06-12 19:34:29] 975*2^1539966-1 is not prime. Res64: B9707EB2A2A5BABF Time : 0.0 sec. user=mdettweiler [2019-06-12 19:34:30] 1001*2^1539966-1 is not prime. Res64: F64E48C63A2E7758 Time : 0.0 sec. user=mdettweiler [2019-06-12 19:34:30] 603*2^1539967-1 is not prime. Res64: 6D361CC218F9DDA7 Time : 0.0 sec. user=mdettweiler [2019-06-12 19:34:31] 615*2^1539967-1 is not prime. Res64: 245F45CCE22FD338 Time : 0.0 sec. user=mdettweiler [2019-06-12 20:04:48] 649*2^1539967-1 is not prime. Res64: C58CEDD63999AA50 Time : 0.0 sec. user=mdettweiler [2019-06-12 20:04:51] 651*2^1539967-1 is not prime. Res64: 874379F0A308C588 Time : 0.0 sec. user=mdettweiler [2019-06-12 20:04:53] 681*2^1539967-1 is not prime. Res64: AC10862CD31D56F0 Time : 0.0 sec. user=mdettweiler [2019-06-12 20:04:55] 831*2^1539967-1 is not prime. Res64: E3FE43E5D5D9423B Time : 0.0 sec. user=mdettweiler [2019-06-12 20:04:56] 973*2^1539967-1 is not prime. Res64: A76E506B1E92BA14 Time : 0.0 sec. user=mdettweiler [2019-06-12 20:05:07] 713*2^1539968-1 is not prime. Res64: 3F39411FC949D7A6 Time : 0.0 sec. user=mdettweiler [2019-06-12 20:05:10] 897*2^1539968-1 is not prime. Res64: E81EB970B35A1778 Time : 0.0 sec. user=mdettweiler [2019-06-12 20:05:13] 995*2^1539968-1 is not prime. Res64: A4F958967819FEEC Time : 0.0 sec. user=mdettweiler [2019-06-12 20:05:17] 615*2^1539969-1 is not prime. Res64: 86EA2B1C2C0ABE78 Time : 0.0 sec. user=mdettweiler [2019-06-12 20:05:21] 639*2^1539969-1 is not prime. Res64: 867CE8D2EE099F7A Time : 0.0 sec. user=mdettweiler [2019-06-12 20:22:05] 681*2^1539969-1 is not prime. Res64: 54FA7470B07E21BC Time : 0.0 sec. user=mdettweiler [2019-06-12 20:22:07] 789*2^1539969-1 is not prime. Res64: 22E310EA3E6971CF Time : 0.0 sec. user=mdettweiler [2019-06-12 20:22:08] 795*2^1539969-1 is not prime. Res64: D274B5DCFA08F3A5 Time : 0.0 sec. user=mdettweiler [2019-06-12 20:22:09] 835*2^1539969-1 is not prime. Res64: 5B97142B6796B18D Time : 0.0 sec. user=mdettweiler [2019-06-12 20:22:11] 877*2^1539969-1 is not prime. Res64: 5932A22B8BF6343D Time : 0.0 sec. user=mdettweiler [2019-06-12 20:25:59] 895*2^1539969-1 is not prime. Res64: E497019B4CF45397 Time : 0.0 sec. user=mdettweiler [2019-06-12 20:26:00] 611*2^1539970-1 is not prime. Res64: 967FE5E4AF8E470A Time : 0.0 sec. user=mdettweiler [2019-06-12 20:26:00] 651*2^1539970-1 is not prime. Res64: 39B06DCE95A663BA Time : 0.0 sec. user=mdettweiler [2019-06-12 20:26:01] 915*2^1539970-1 is not prime. Res64: BD465188BF70D165 Time : 0.0 sec. user=mdettweiler [2019-06-12 20:26:01] 957*2^1539970-1 is not prime. Res64: 2B75B7C2238120BA Time : 0.0 sec. user=mdettweiler [2019-06-12 20:57:14] 1001*2^1539970-1 is not prime. Res64: 4A60BADCCCE6F853 Time : 0.0 sec. user=mdettweiler [2019-06-12 20:57:15] 619*2^1539971-1 is not prime. Res64: 88EF742F1605872C Time : 0.0 sec. user=mdettweiler [2019-06-12 20:57:17] 621*2^1539971-1 is not prime. Res64: A216912BA97F6841 Time : 0.0 sec. user=mdettweiler [2019-06-12 20:57:18] 673*2^1539971-1 is not prime. Res64: 6749F4ADA6905FA4 Time : 0.0 sec. user=mdettweiler [2019-06-12 20:57:19] 735*2^1539971-1 is not prime. Res64: 06DE0CA17EF8A0EC Time : 0.0 sec. user=mdettweiler [2019-06-12 20:58:12] 921*2^1539971-1 is not prime. Res64: 3C909826D8BCB080 Time : 0.0 sec. user=mdettweiler [2019-06-12 20:58:12] 931*2^1539971-1 is not prime. Res64: 00583FA7E23E2D3F Time : 0.0 sec. user=mdettweiler [2019-06-12 20:58:13] 969*2^1539971-1 is not prime. Res64: 7A3647F029A3EA4D Time : 0.0 sec. user=mdettweiler [2019-06-12 20:58:13] 993*2^1539971-1 is not prime. Res64: A689C48A31303527 Time : 0.0 sec. user=mdettweiler [2019-06-12 20:58:14] 605*2^1539972-1 is not prime. Res64: 336676EC3914A9E1 Time : 0.0 sec. user=mdettweiler [2019-06-12 21:13:39] 657*2^1539972-1 is not prime. Res64: B638F0777F8D4978 Time : 0.0 sec. user=mdettweiler [2019-06-12 21:13:39] 669*2^1539972-1 is not prime. Res64: 86750DFF29EF61AF Time : 0.0 sec. user=mdettweiler [2019-06-12 21:13:40] 695*2^1539972-1 is not prime. Res64: A2958A09A702068B Time : 0.0 sec. user=mdettweiler [2019-06-12 21:13:41] 767*2^1539972-1 is not prime. Res64: 79DC2938BF295111 Time : 0.0 sec. user=mdettweiler [2019-06-12 21:13:41] 903*2^1539972-1 is not prime. Res64: 4A482C92C3FEE69C Time : 0.0 sec. user=mdettweiler [2019-06-12 21:17:58] 983*2^1539972-1 is not prime. Res64: 62F99BD08A55B740 Time : 0.0 sec. user=mdettweiler [2019-06-12 21:18:00] 615*2^1539973-1 is not prime. Res64: 8CB7A03BF256DE54 Time : 0.0 sec. user=mdettweiler [2019-06-12 21:18:02] 721*2^1539973-1 is not prime. Res64: 08AFC31D737811D2 Time : 0.0 sec. user=mdettweiler [2019-06-12 21:18:03] 757*2^1539973-1 is not prime. Res64: 189841105CA35649 Time : 0.0 sec. user=mdettweiler [2019-06-12 21:18:05] 967*2^1539973-1 is not prime. Res64: 8D7B3D8C4452DEF1 Time : 0.0 sec. user=mdettweiler [2019-06-12 21:48:48] 623*2^1539974-1 is not prime. Res64: FFC5CD1DECE8395D Time : 0.0 sec. user=mdettweiler [2019-06-12 21:48:49] 663*2^1539974-1 is not prime. Res64: 2F924F5C61A4C9BE Time : 0.0 sec. user=mdettweiler [2019-06-12 21:48:49] 795*2^1539974-1 is not prime. Res64: 162EE0FE82BEA84B Time : 0.0 sec. user=mdettweiler [2019-06-12 21:48:50] 813*2^1539974-1 is not prime. Res64: CDAC4841638B0931 Time : 0.0 sec. user=mdettweiler [2019-06-12 21:48:50] 885*2^1539974-1 is not prime. Res64: CADF56576D6EE1C6 Time : 0.0 sec. user=mdettweiler [2019-06-12 21:49:57] 983*2^1539974-1 is not prime. Res64: E34E4AEF6D7FF79C Time : 0.0 sec. user=mdettweiler [2019-06-12 21:49:58] 619*2^1539975-1 is not prime. Res64: BB97D4540492D979 Time : 0.0 sec. user=mdettweiler [2019-06-12 21:49:58] 679*2^1539975-1 is not prime. Res64: B4AEE6AE7AD89234 Time : 0.0 sec. user=mdettweiler [2019-06-12 21:49:59] 685*2^1539975-1 is not prime. Res64: AAA0FD1284B4EDED Time : 0.0 sec. user=mdettweiler [2019-06-12 21:49:59] 705*2^1539975-1 is not prime. Res64: 2FCE6B51762A82FF Time : 0.0 sec. user=mdettweiler [2019-06-12 22:05:49] 751*2^1539975-1 is not prime. Res64: 634232317CEA922C Time : 0.0 sec. user=mdettweiler [2019-06-12 22:05:53] 853*2^1539975-1 is not prime. Res64: 974A7AAA57523638 Time : 0.0 sec. user=mdettweiler [2019-06-12 22:05:57] 871*2^1539975-1 is not prime. Res64: F8DE2BCC2BE5579D Time : 0.0 sec. user=mdettweiler [2019-06-12 22:05:58] 961*2^1539975-1 is not prime. Res64: 947B65A0B08EFF1B Time : 0.0 sec. user=mdettweiler [2019-06-12 22:06:01] 979*2^1539975-1 is not prime. Res64: D3C9C7BC35CA0972 Time : 0.0 sec. user=mdettweiler [2019-06-12 22:09:42] 985*2^1539975-1 is not prime. Res64: BF6778B161777C29 Time : 0.0 sec. user=mdettweiler [2019-06-12 22:09:44] 603*2^1539976-1 is not prime. Res64: 5F22633AB9ADEB2A Time : 0.0 sec. user=mdettweiler [2019-06-12 22:09:46] 657*2^1539976-1 is not prime. Res64: 2FE2BC24C9453BCB Time : 0.0 sec. user=mdettweiler [2019-06-12 22:09:48] 707*2^1539976-1 is not prime. Res64: D40C0B502FE54FB9 Time : 0.0 sec. user=mdettweiler [2019-06-12 22:09:49] 765*2^1539976-1 is not prime. Res64: F490AAF570DE509F Time : 0.0 sec. user=mdettweiler [2019-06-12 22:40:39] 857*2^1539976-1 is not prime. Res64: 0318D615EE8E0757 Time : 0.0 sec. user=mdettweiler [2019-06-12 22:40:39] 887*2^1539976-1 is not prime. Res64: 7EAA6B3206C63540 Time : 0.0 sec. user=mdettweiler [2019-06-12 22:40:40] 989*2^1539976-1 is not prime. Res64: 7212BA11C5F898D9 Time : 0.0 sec. user=mdettweiler [2019-06-12 22:40:40] 615*2^1539977-1 is not prime. Res64: 26210D23E4DBFBBB Time : 0.0 sec. user=mdettweiler [2019-06-12 22:40:41] 675*2^1539977-1 is not prime. Res64: ECCB56446434A649 Time : 0.0 sec. user=mdettweiler [2019-06-12 22:41:24] 699*2^1539977-1 is not prime. Res64: FA24D02C08A9C75E Time : 0.0 sec. user=mdettweiler [2019-06-12 22:41:24] 729*2^1539977-1 is not prime. Res64: 23B885FCE5FEBB52 Time : 0.0 sec. user=mdettweiler [2019-06-12 22:41:25] 741*2^1539977-1 is not prime. Res64: 26364AEB6B2097E5 Time : 0.0 sec. user=mdettweiler [2019-06-12 22:41:25] 777*2^1539977-1 is not prime. Res64: D1BADD6C71198208 Time : 0.0 sec. user=mdettweiler [2019-06-12 22:41:26] 829*2^1539977-1 is not prime. Res64: 50839D44E6F20753 Time : 0.0 sec. user=mdettweiler [2019-06-12 22:58:12] 663*2^1539978-1 is not prime. Res64: 0741CC9F69AAC87A Time : 0.0 sec. user=mdettweiler [2019-06-12 22:58:13] 615*2^1539979-1 is not prime. Res64: FC6C247EA0A6C291 Time : 0.0 sec. user=mdettweiler [2019-06-12 22:58:13] 619*2^1539979-1 is not prime. Res64: A265E43DF8C183F4 Time : 0.0 sec. user=mdettweiler [2019-06-12 22:58:14] 873*2^1539979-1 is not prime. Res64: D02F43AB4E2021D3 Time : 0.0 sec. user=mdettweiler [2019-06-12 22:58:14] 633*2^1539980-1 is not prime. Res64: D0852F48AB0F7627 Time : 0.0 sec. user=mdettweiler [2019-06-12 23:01:49] 725*2^1539980-1 is not prime. Res64: 55243F1DE649C291 Time : 0.0 sec. user=mdettweiler [2019-06-12 23:01:50] 813*2^1539980-1 is not prime. Res64: 8186836AE57FA8A0 Time : 0.0 sec. user=mdettweiler [2019-06-12 23:01:53] 945*2^1539980-1 is not prime. Res64: 9CA58A50DBFE013F Time : 0.0 sec. user=mdettweiler [2019-06-12 23:01:54] 983*2^1539980-1 is not prime. Res64: 4AA3F00EAC115630 Time : 0.0 sec. user=mdettweiler [2019-06-12 23:01:55] 615*2^1539981-1 is not prime. Res64: F2A47CD3B7AB905C Time : 0.0 sec. user=mdettweiler [2019-06-12 23:32:09] 625*2^1539981-1 is not prime. Res64: CC1523C4820AB844 Time : 0.0 sec. user=mdettweiler [2019-06-12 23:32:10] 651*2^1539981-1 is not prime. Res64: 5E578E924FBED9C2 Time : 0.0 sec. user=mdettweiler [2019-06-12 23:32:10] 727*2^1539981-1 is not prime. Res64: 01D3D8C478639AB0 Time : 0.0 sec. user=mdettweiler [2019-06-12 23:32:11] 741*2^1539981-1 is not prime. Res64: CB3C6F2DEAE67350 Time : 0.0 sec. user=mdettweiler [2019-06-12 23:32:12] 795*2^1539981-1 is not prime. Res64: 5312C6592C2CE41B Time : 0.0 sec. user=mdettweiler [2019-06-12 23:33:06] 811*2^1539981-1 is not prime. Res64: FCF009D43EAD2016 Time : 0.0 sec. user=mdettweiler [2019-06-12 23:33:06] 825*2^1539981-1 is not prime. Res64: 3DC6E086170E9061 Time : 0.0 sec. user=mdettweiler [2019-06-12 23:33:07] 865*2^1539981-1 is not prime. Res64: 55C76583303586C0 Time : 0.0 sec. user=mdettweiler [2019-06-12 23:33:07] 889*2^1539981-1 is not prime. Res64: 05735CDD213E897C Time : 0.0 sec. user=mdettweiler [2019-06-12 23:33:08] 895*2^1539981-1 is not prime. Res64: A068E7021D8621D3 Time : 0.0 sec. user=mdettweiler [2019-06-12 23:50:24] 975*2^1539981-1 is not prime. Res64: 633988918AE898E7 Time : 0.0 sec. user=mdettweiler [2019-06-12 23:50:25] 999*2^1539981-1 is not prime. Res64: 33975A03C96D0BCC Time : 0.0 sec. user=mdettweiler [2019-06-12 23:50:25] 665*2^1539982-1 is not prime. Res64: B76E67A716F5261D Time : 0.0 sec. user=mdettweiler [2019-06-12 23:50:26] 723*2^1539982-1 is not prime. Res64: 6767383CB79CEA4F Time : 0.0 sec. user=mdettweiler [2019-06-12 23:50:26] 791*2^1539982-1 is not prime. Res64: E681924550AAF2D4 Time : 0.0 sec. user=mdettweiler [2019-06-12 23:54:23] 801*2^1539982-1 is not prime. Res64: 5FB79117776EB864 Time : 0.0 sec. user=mdettweiler [2019-06-12 23:54:24] 983*2^1539982-1 is not prime. Res64: 7FB5E1C8E3935540 Time : 0.0 sec. user=mdettweiler [2019-06-12 23:54:24] 621*2^1539983-1 is not prime. Res64: 5E961274026AEBE3 Time : 0.0 sec. user=mdettweiler [2019-06-12 23:54:25] 741*2^1539983-1 is not prime. Res64: 8EFDB060FA744508 Time : 0.0 sec. user=mdettweiler [2019-06-12 23:54:25] 943*2^1539983-1 is not prime. Res64: 287924EEB8D10A16 Time : 0.0 sec.