user=mdettweiler [2017-05-18 00:19:20] 607*2^1454233-1 is not prime. Res64: 399793026FBC8641 Time : 0.0 sec. user=mdettweiler [2017-05-18 00:19:21] 615*2^1454233-1 is not prime. Res64: D544FAC6D3EE32AC Time : 0.0 sec. user=mdettweiler [2017-05-18 00:19:21] 729*2^1454233-1 is not prime. Res64: 32AA4B2A53C19868 Time : 0.0 sec. user=mdettweiler [2017-05-18 00:19:22] 789*2^1454233-1 is not prime. Res64: ADE1C4C3AEC2D674 Time : 0.0 sec. user=mdettweiler [2017-05-18 00:19:22] 831*2^1454233-1 is not prime. Res64: AA10AED2426B98B4 Time : 0.0 sec. user=mdettweiler [2017-05-18 00:40:05] 951*2^1454233-1 is not prime. Res64: 4EDFE30B9A85D865 Time : 0.0 sec. user=mdettweiler [2017-05-18 00:40:05] 617*2^1454234-1 is not prime. Res64: 4D5B7F487E21E944 Time : 0.0 sec. user=mdettweiler [2017-05-18 00:40:05] 657*2^1454234-1 is not prime. Res64: F340AFB0958CDD79 Time : 0.0 sec. user=mdettweiler [2017-05-18 00:40:06] 711*2^1454234-1 is not prime. Res64: 442DF873F735FBD7 Time : 0.0 sec. user=mdettweiler [2017-05-18 00:40:06] 755*2^1454234-1 is not prime. Res64: D992BE4958EEC7E4 Time : 0.0 sec. user=mdettweiler [2017-05-18 00:40:11] 767*2^1454234-1 is not prime. Res64: B5B24A37324FE28B Time : 0.0 sec. user=mdettweiler [2017-05-18 00:40:11] 837*2^1454234-1 is not prime. Res64: CFB7DA762BC5391E Time : 0.0 sec. user=mdettweiler [2017-05-18 00:40:12] 625*2^1454235-1 is not prime. Res64: A9F81D8AB6951EF8 Time : 0.0 sec. user=mdettweiler [2017-05-18 00:40:12] 735*2^1454235-1 is not prime. Res64: 0527141B9CB39834 Time : 0.0 sec. user=mdettweiler [2017-05-18 00:40:13] 801*2^1454235-1 is not prime. Res64: 4F6981C6DE513936 Time : 0.0 sec. user=mdettweiler [2017-05-18 00:44:28] 849*2^1454235-1 is not prime. Res64: FE1A02A02D4FFF24 Time : 0.0 sec. user=mdettweiler [2017-05-18 00:44:28] 859*2^1454235-1 is not prime. Res64: 038F2B542D510184 Time : 0.0 sec. user=mdettweiler [2017-05-18 00:44:29] 617*2^1454236-1 is not prime. Res64: 77FCA7ECE5F0311C Time : 0.0 sec. user=mdettweiler [2017-05-18 00:44:29] 705*2^1454236-1 is not prime. Res64: 45F8E5CC25FBFA43 Time : 0.0 sec. user=mdettweiler [2017-05-18 00:44:30] 719*2^1454236-1 is not prime. Res64: 2E5CF3B45A30E483 Time : 0.0 sec. user=mdettweiler [2017-05-18 01:05:35] 779*2^1454236-1 is not prime. Res64: 1360E82CAD8106DC Time : 0.0 sec. user=mdettweiler [2017-05-18 01:05:36] 855*2^1454236-1 is not prime. Res64: 3869716724ECE344 Time : 0.0 sec. user=mdettweiler [2017-05-18 01:05:38] 903*2^1454236-1 is not prime. Res64: 0E537DEED62DB99C Time : 0.0 sec. user=mdettweiler [2017-05-18 01:05:39] 757*2^1454237-1 is not prime. Res64: 9A49211FFF148E01 Time : 0.0 sec. user=mdettweiler [2017-05-18 01:05:40] 759*2^1454237-1 is not prime. Res64: DD22B5B672BBFC72 Time : 0.0 sec. user=juhehe [2017-05-18 01:10:05] 861*2^1454237-1 is not prime. Res64: 00F7FA03C51F67AA Time : 0.0 sec. user=mdettweiler [2017-05-18 01:26:34] 889*2^1454237-1 is not prime. Res64: C94A35C29C0D46C0 Time : 0.0 sec. user=mdettweiler [2017-05-18 01:26:35] 755*2^1454238-1 is not prime. Res64: E34C791562748AC1 Time : 0.0 sec. user=mdettweiler [2017-05-18 01:26:37] 767*2^1454238-1 is not prime. Res64: 654AC868676DC739 Time : 0.0 sec. user=mdettweiler [2017-05-18 01:26:39] 945*2^1454237-1 is not prime. Res64: E615EBFA3C4CDE58 Time : 0.0 sec. user=mdettweiler [2017-05-18 01:26:40] 825*2^1454238-1 is not prime. Res64: B675B90A06A9C110 Time : 0.0 sec. user=mdettweiler [2017-05-18 01:26:42] 705*2^1454239-1 is not prime. Res64: 0184FBE4A1390A0D Time : 0.0 sec. user=mdettweiler [2017-05-18 01:26:43] 663*2^1454238-1 is not prime. Res64: 424CEF366941B3EB Time : 0.0 sec. user=mdettweiler [2017-05-18 01:26:45] 723*2^1454239-1 is not prime. Res64: D707C5C5F5EEAF3B Time : 0.0 sec. user=mdettweiler [2017-05-18 01:26:47] 677*2^1454238-1 is not prime. Res64: 9D7991B4B6B572B0 Time : 0.0 sec. user=mdettweiler [2017-05-18 01:26:50] 713*2^1454238-1 is not prime. Res64: 76F76655347C1CEC Time : 0.0 sec. user=mdettweiler [2017-05-18 01:30:40] 985*2^1454239-1 is not prime. Res64: 2777279681661FF2 Time : 0.0 sec. user=mdettweiler [2017-05-18 01:30:41] 603*2^1454240-1 is not prime. Res64: 3F30D0D3420C1B4E Time : 0.0 sec. user=mdettweiler [2017-05-18 01:30:42] 605*2^1454240-1 is not prime. Res64: 19291AEDE9281DC5 Time : 0.0 sec. user=mdettweiler [2017-05-18 01:30:43] 759*2^1454240-1 is not prime. Res64: 6A95F21682947264 Time : 0.0 sec. user=mdettweiler [2017-05-18 01:30:44] 827*2^1454240-1 is not prime. Res64: A381B695C7D010AB Time : 0.0 sec. user=mdettweiler [2017-05-18 01:52:06] 845*2^1454240-1 is not prime. Res64: A45018419CB3CD87 Time : 0.0 sec. user=mdettweiler [2017-05-18 01:52:06] 855*2^1454240-1 is not prime. Res64: 434F7C2D0D9C4B9C Time : 0.0 sec. user=mdettweiler [2017-05-18 01:52:07] 893*2^1454240-1 is not prime. Res64: 788BD75F97550EF4 Time : 0.0 sec. user=mdettweiler [2017-05-18 01:52:07] 963*2^1454240-1 is not prime. Res64: 2D1469A8DE27DF74 Time : 0.0 sec. user=mdettweiler [2017-05-18 01:52:08] 607*2^1454241-1 is not prime. Res64: EE72277F46AAACCC Time : 0.0 sec. user=juhehe [2017-05-18 01:58:19] 627*2^1454241-1 is not prime. Res64: 9F1017E5D99D178C Time : 0.0 sec. user=mdettweiler [2017-05-18 02:13:36] 717*2^1454241-1 is not prime. Res64: 22A91241A7C74B44 Time : 0.0 sec. user=mdettweiler [2017-05-18 02:13:37] 747*2^1454241-1 is not prime. Res64: 9773951C2B3C75A8 Time : 0.0 sec. user=mdettweiler [2017-05-18 02:13:37] 861*2^1454241-1 is not prime. Res64: C0E6B7D995AAD941 Time : 0.0 sec. user=mdettweiler [2017-05-18 02:13:37] 949*2^1454241-1 is not prime. Res64: AAA8775D829F3173 Time : 0.0 sec. user=mdettweiler [2017-05-18 02:13:38] 991*2^1454241-1 is not prime. Res64: 86F16CDA16488F97 Time : 0.0 sec. user=mdettweiler [2017-05-18 02:13:42] 617*2^1454242-1 is not prime. Res64: 1BD1766966A812D8 Time : 0.0 sec. user=mdettweiler [2017-05-18 02:13:43] 651*2^1454242-1 is not prime. Res64: 15E98BCFCA2F197E Time : 0.0 sec. user=mdettweiler [2017-05-18 02:13:44] 723*2^1454242-1 is not prime. Res64: 3EB687049BCC4E99 Time : 0.0 sec. user=mdettweiler [2017-05-18 02:13:45] 825*2^1454242-1 is not prime. Res64: FBB27067D9382EA2 Time : 0.0 sec. user=mdettweiler [2017-05-18 02:13:45] 843*2^1454242-1 is not prime. Res64: 95EAF2E50E2AD6C6 Time : 0.0 sec. user=mdettweiler [2017-05-18 02:17:57] 941*2^1454242-1 is not prime. Res64: 3856B05387440286 Time : 0.0 sec. user=mdettweiler [2017-05-18 02:17:57] 753*2^1454243-1 is not prime. Res64: 9259268DC5459322 Time : 0.0 sec. user=mdettweiler [2017-05-18 02:17:58] 759*2^1454243-1 is not prime. Res64: 2B44AD1E25AFDB1F Time : 0.0 sec. user=mdettweiler [2017-05-18 02:17:58] 805*2^1454243-1 is not prime. Res64: 4EC6B6E9B47B6067 Time : 0.0 sec. user=mdettweiler [2017-05-18 02:17:58] 823*2^1454243-1 is not prime. Res64: A3D8A40D572DE4E0 Time : 0.0 sec. user=mdettweiler [2017-05-18 02:39:50] 885*2^1454243-1 is not prime. Res64: 424D72404D63D879 Time : 0.0 sec. user=mdettweiler [2017-05-18 02:39:51] 901*2^1454243-1 is not prime. Res64: EA5D01ED7A31E98D Time : 0.0 sec. user=mdettweiler [2017-05-18 02:39:51] 943*2^1454243-1 is not prime. Res64: 5DA4379A2E4E29E4 Time : 0.0 sec. user=mdettweiler [2017-05-18 02:39:52] 955*2^1454243-1 is not prime. Res64: 324BD738EA287AB5 Time : 0.0 sec. user=mdettweiler [2017-05-18 02:39:52] 973*2^1454243-1 is not prime. Res64: 09171691651841B9 Time : 0.0 sec. user=mdettweiler [2017-05-18 03:01:11] 639*2^1454244-1 is not prime. Res64: 8658AE1237F3809B Time : 0.0 sec. user=mdettweiler [2017-05-18 03:01:13] 789*2^1454244-1 is not prime. Res64: A0AFBD577D674A3F Time : 0.0 sec. user=mdettweiler [2017-05-18 03:01:14] 837*2^1454244-1 is not prime. Res64: 13CD1E4D2F0A3D52 Time : 0.0 sec. user=mdettweiler [2017-05-18 03:01:15] 873*2^1454244-1 is not prime. Res64: 0C420B5314CD67E8 Time : 0.0 sec. user=mdettweiler [2017-05-18 03:01:16] 887*2^1454244-1 is not prime. Res64: ED88A74A129CFE4A Time : 0.0 sec. user=mdettweiler [2017-05-18 03:01:27] 965*2^1454244-1 is not prime. Res64: FBD6075BE07F757E Time : 0.0 sec. user=mdettweiler [2017-05-18 03:01:29] 717*2^1454245-1 is not prime. Res64: 61B9556166C655EC Time : 0.0 sec. user=mdettweiler [2017-05-18 03:01:31] 799*2^1454245-1 is not prime. Res64: 3D9CA92BD3FED6CD Time : 0.0 sec. user=mdettweiler [2017-05-18 03:01:32] 831*2^1454245-1 is not prime. Res64: 84017848DB10F76A Time : 0.0 sec. user=mdettweiler [2017-05-18 03:01:33] 885*2^1454245-1 is not prime. Res64: ACB114A1A8670AAF Time : 0.0 sec. user=mdettweiler [2017-05-18 03:05:27] 957*2^1454245-1 is not prime. Res64: A432E4C70289D6A4 Time : 0.0 sec. user=mdettweiler [2017-05-18 03:05:28] 999*2^1454245-1 is not prime. Res64: 9C863B92BDE9A95C Time : 0.0 sec. user=mdettweiler [2017-05-18 03:05:29] 773*2^1454246-1 is not prime. Res64: C40AB8ACBC8E1902 Time : 0.0 sec. user=mdettweiler [2017-05-18 03:05:30] 843*2^1454246-1 is not prime. Res64: DE22DF76443785ED Time : 0.0 sec. user=mdettweiler [2017-05-18 03:05:32] 981*2^1454246-1 is not prime. Res64: 50061C6B285DFDDF Time : 0.0 sec. user=mdettweiler [2017-05-18 03:26:49] 983*2^1454246-1 is not prime. Res64: AF4BBBCFA8DA5477 Time : 0.0 sec. user=mdettweiler [2017-05-18 03:26:51] 625*2^1454247-1 is not prime. Res64: 4E5DC9CD2E28C5E3 Time : 0.0 sec. user=mdettweiler [2017-05-18 03:26:52] 661*2^1454247-1 is not prime. Res64: 2D758DF6B93726B6 Time : 0.0 sec. user=mdettweiler [2017-05-18 03:26:53] 685*2^1454247-1 is not prime. Res64: 6C4DF188A9E5D372 Time : 0.0 sec. user=mdettweiler [2017-05-18 03:26:54] 705*2^1454247-1 is not prime. Res64: B3A21C845C4AABDF Time : 0.0 sec. user=mdettweiler [2017-05-18 03:48:40] 843*2^1454247-1 is not prime. Res64: E1B98C6C9DD96093 Time : 0.0 sec. user=mdettweiler [2017-05-18 03:48:41] 871*2^1454247-1 is not prime. Res64: 1FA2860BF5F6BB8D Time : 0.0 sec. user=mdettweiler [2017-05-18 03:48:42] 645*2^1454248-1 is not prime. Res64: F6786C7996F375A5 Time : 0.0 sec. user=mdettweiler [2017-05-18 03:48:44] 723*2^1454248-1 is not prime. Res64: E7B8171EC8E8DD78 Time : 0.0 sec. user=mdettweiler [2017-05-18 03:48:45] 813*2^1454248-1 is not prime. Res64: 136EDE61DFE1F998 Time : 0.0 sec. user=mdettweiler [2017-05-18 03:48:46] 923*2^1454248-1 is not prime. Res64: B326543A2B32D9A3 Time : 0.0 sec. user=mdettweiler [2017-05-18 03:48:48] 995*2^1454248-1 is not prime. Res64: 1D61EAB48545E7A2 Time : 0.0 sec. user=mdettweiler [2017-05-18 03:48:49] 675*2^1454249-1 is not prime. Res64: EEFD2009C08E005D Time : 0.0 sec. user=mdettweiler [2017-05-18 03:48:50] 847*2^1454249-1 is not prime. Res64: 5D444B0B5011DDBA Time : 0.0 sec. user=mdettweiler [2017-05-18 03:48:52] 861*2^1454249-1 is not prime. Res64: E8936644448D30BA Time : 0.0 sec. user=mdettweiler [2017-05-18 03:53:08] 867*2^1454249-1 is not prime. Res64: 7F57F6100D2E211E Time : 0.0 sec. user=mdettweiler [2017-05-18 03:53:09] 967*2^1454249-1 is not prime. Res64: 282A5DE36C1646FF Time : 0.0 sec. user=mdettweiler [2017-05-18 03:53:09] 997*2^1454249-1 is not prime. Res64: F001FFE35B6F7E4A Time : 0.0 sec. user=mdettweiler [2017-05-18 03:53:10] 951*2^1454250-1 is not prime. Res64: F974D17DC2C8DD19 Time : 0.0 sec. user=mdettweiler [2017-05-18 03:53:11] 977*2^1454250-1 is not prime. Res64: 6F53FB2F77317873 Time : 0.0 sec. user=juhehe [2017-05-18 03:55:35] 733*2^1454251-1 is not prime. Res64: 2FCF90658F84D3C0 Time : 0.0 sec. user=mdettweiler [2017-05-18 04:13:50] 751*2^1454251-1 is not prime. Res64: 18C0B9AB21C5A7C0 Time : 0.0 sec. user=mdettweiler [2017-05-18 04:13:51] 841*2^1454251-1 is not prime. Res64: 3528FF9A262DD7A9 Time : 0.0 sec. user=mdettweiler [2017-05-18 04:13:51] 951*2^1454251-1 is not prime. Res64: 81D2620878C6951B Time : 0.0 sec. user=mdettweiler [2017-05-18 04:13:52] 979*2^1454251-1 is not prime. Res64: 51D7D983C48E04AC Time : 0.0 sec. user=mdettweiler [2017-05-18 04:13:52] 993*2^1454251-1 is not prime. Res64: BD3BC863610EAF23 Time : 0.0 sec. user=mdettweiler [2017-05-18 04:35:23] 617*2^1454252-1 is not prime. Res64: 556D6BA2645E8313 Time : 0.0 sec. user=mdettweiler [2017-05-18 04:35:23] 635*2^1454252-1 is not prime. Res64: 6775F8016B47625B Time : 0.0 sec. user=mdettweiler [2017-05-18 04:35:24] 735*2^1454252-1 is not prime. Res64: 86957E0202299854 Time : 0.0 sec. user=mdettweiler [2017-05-18 04:35:24] 875*2^1454252-1 is not prime. Res64: 9D789D2AB5FD50C1 Time : 0.0 sec. user=mdettweiler [2017-05-18 04:35:24] 923*2^1454252-1 is not prime. Res64: F7B97F889B373A27 Time : 0.0 sec. user=mdettweiler [2017-05-18 04:35:27] 929*2^1454252-1 is not prime. Res64: E409B479B8D43FB5 Time : 0.0 sec. user=mdettweiler [2017-05-18 04:35:27] 995*2^1454252-1 is not prime. Res64: 8DF85853BC08D57C Time : 0.0 sec. user=mdettweiler [2017-05-18 04:35:27] 999*2^1454252-1 is not prime. Res64: 90FBDE5BF7164623 Time : 0.0 sec. user=mdettweiler [2017-05-18 04:35:28] 609*2^1454253-1 is not prime. Res64: 4ED36C7AD2C66EEE Time : 0.0 sec. user=mdettweiler [2017-05-18 04:35:28] 735*2^1454253-1 is not prime. Res64: 5CFA0E4C009B0EBD Time : 0.0 sec. user=mdettweiler [2017-05-18 04:39:57] 745*2^1454253-1 is not prime. Res64: 79B750CB5B1BBC20 Time : 0.0 sec. user=mdettweiler [2017-05-18 04:39:58] 847*2^1454253-1 is not prime. Res64: CD2E312BFA14EF5E Time : 0.0 sec. user=mdettweiler [2017-05-18 04:39:58] 867*2^1454253-1 is not prime. Res64: BE7BD6710D638D11 Time : 0.0 sec. user=mdettweiler [2017-05-18 04:39:58] 895*2^1454253-1 is not prime. Res64: 3EA9EB6A55B9A23A Time : 0.0 sec. user=mdettweiler [2017-05-18 04:39:59] 961*2^1454253-1 is not prime. Res64: 12C26533E596B2DA Time : 0.0 sec. user=mdettweiler [2017-05-18 05:00:25] 979*2^1454253-1 is not prime. Res64: AA3561D42167EBDA Time : 0.0 sec. user=mdettweiler [2017-05-18 05:00:27] 671*2^1454254-1 is not prime. Res64: FBC20665127B92DE Time : 0.0 sec. user=mdettweiler [2017-05-18 05:00:28] 737*2^1454254-1 is not prime. Res64: 2320BB3627BB0550 Time : 0.0 sec. user=mdettweiler [2017-05-18 05:00:29] 791*2^1454254-1 is not prime. Res64: 9E56D79F4CFC1396 Time : 0.0 sec. user=mdettweiler [2017-05-18 05:00:30] 863*2^1454254-1 is not prime. Res64: 83404207C63F8EF4 Time : 0.0 sec. user=mdettweiler [2017-05-18 05:21:23] 983*2^1454254-1 is not prime. Res64: 947D51D0EADEEB68 Time : 0.0 sec. user=mdettweiler [2017-05-18 05:21:24] 987*2^1454254-1 is not prime. Res64: 6DED6ADD36A3B2F6 Time : 0.0 sec. user=mdettweiler [2017-05-18 05:21:24] 603*2^1454255-1 is not prime. Res64: 3CE58052BF1D486D Time : 0.0 sec. user=mdettweiler [2017-05-18 05:21:25] 609*2^1454255-1 is not prime. Res64: 33A190AF537E6F9C Time : 0.0 sec. user=mdettweiler [2017-05-18 05:21:25] 721*2^1454255-1 is not prime. Res64: 6143782EF03FAE46 Time : 0.0 sec. user=mdettweiler [2017-05-18 05:21:32] 825*2^1454255-1 is not prime. Res64: 07AF003772C5066F Time : 0.0 sec. user=mdettweiler [2017-05-18 05:21:33] 841*2^1454255-1 is not prime. Res64: A807ADFA256916F8 Time : 0.0 sec. user=mdettweiler [2017-05-18 05:21:33] 915*2^1454255-1 is not prime. Res64: 10E73F3D943FAC58 Time : 0.0 sec. user=mdettweiler [2017-05-18 05:21:33] 973*2^1454255-1 is not prime. Res64: 4D98E9C719C3981E Time : 0.0 sec. user=mdettweiler [2017-05-18 05:21:34] 623*2^1454256-1 is not prime. Res64: AE640957E00C020B Time : 0.0 sec. user=mdettweiler [2017-05-18 05:25:57] 737*2^1454256-1 is not prime. Res64: 26862C32DA4955FE Time : 0.0 sec. user=mdettweiler [2017-05-18 05:25:57] 899*2^1454256-1 is not prime. Res64: EB19B1AF15D0BF70 Time : 0.0 sec. user=mdettweiler [2017-05-18 05:25:58] 905*2^1454256-1 is not prime. Res64: 59B5F704BA57A42A Time : 0.0 sec. user=mdettweiler [2017-05-18 05:25:58] 775*2^1454257-1 is not prime. Res64: 02907D87A0C78269 Time : 0.0 sec. user=mdettweiler [2017-05-18 05:25:58] 817*2^1454257-1 is not prime. Res64: 73B2FD9A46F8F91F Time : 0.0 sec. user=FritzsHero [2017-05-18 05:40:03] 765*2^1454196-1 is not prime. Res64: ADA49457BE71B0BB Time : 0.0 sec. user=FritzsHero [2017-05-18 05:40:26] 789*2^1454196-1 is not prime. Res64: EB4985D96CFB3B4F Time : 0.0 sec. user=mdettweiler [2017-05-18 05:46:36] 819*2^1454257-1 is not prime. Res64: 05EB4674D8FE1243 Time : 0.0 sec. user=mdettweiler [2017-05-18 05:46:37] 831*2^1454257-1 is not prime. Res64: 5A8D2FE362DB59C9 Time : 0.0 sec. user=mdettweiler [2017-05-18 05:46:37] 885*2^1454257-1 is not prime. Res64: 98A631955B30E407 Time : 0.0 sec. user=mdettweiler [2017-05-18 05:46:37] 901*2^1454257-1 is not prime. Res64: 357F139205B0AD49 Time : 0.0 sec. user=mdettweiler [2017-05-18 05:46:38] 671*2^1454258-1 is not prime. Res64: 8E38C279AF4DFB5A Time : 0.0 sec. user=juhehe [2017-05-18 05:53:01] 753*2^1454258-1 is not prime. Res64: AE12BE58F75513E5 Time : 0.0 sec. user=mdettweiler [2017-05-18 06:07:14] 773*2^1454258-1 is not prime. Res64: C84E4195B6D559DA Time : 0.0 sec. user=mdettweiler [2017-05-18 06:07:14] 843*2^1454258-1 is not prime. Res64: 7ED529D3E5552D81 Time : 0.0 sec. user=mdettweiler [2017-05-18 06:07:15] 885*2^1454258-1 is not prime. Res64: 5291EF6A969A2046 Time : 0.0 sec. user=mdettweiler [2017-05-18 06:07:15] 621*2^1454259-1 is not prime. Res64: 17FCB05C237C19E3 Time : 0.0 sec. user=mdettweiler [2017-05-18 06:07:16] 685*2^1454259-1 is not prime. Res64: 51006AF96383F37E Time : 0.0 sec. user=mdettweiler [2017-05-18 06:07:24] 949*2^1454259-1 is not prime. Res64: 0A1F23FF3C932E7A Time : 0.0 sec. user=mdettweiler [2017-05-18 06:07:24] 951*2^1454259-1 is not prime. Res64: A89BA47AAC5CC49B Time : 0.0 sec. user=mdettweiler [2017-05-18 06:07:25] 975*2^1454259-1 is not prime. Res64: E7895723488086FE Time : 0.0 sec. user=mdettweiler [2017-05-18 06:07:25] 985*2^1454259-1 is not prime. Res64: 1C59C922063C3BDA Time : 0.0 sec. user=mdettweiler [2017-05-18 06:07:25] 635*2^1454260-1 is not prime. Res64: 5515D11FC04EC51A Time : 0.0 sec. user=mdettweiler [2017-05-18 06:11:49] 813*2^1454260-1 is not prime. Res64: 1E44470220653B53 Time : 0.0 sec. user=mdettweiler [2017-05-18 06:11:49] 827*2^1454260-1 is not prime. Res64: C314CD0378225EA7 Time : 0.0 sec. user=mdettweiler [2017-05-18 06:11:50] 855*2^1454260-1 is not prime. Res64: BD3B18514BE3A89B Time : 0.0 sec. user=mdettweiler [2017-05-18 06:11:50] 987*2^1454260-1 is not prime. Res64: 58FD9031B5B4E55A Time : 0.0 sec. user=mdettweiler [2017-05-18 06:11:51] 711*2^1454261-1 is not prime. Res64: 62A03DD9B133E2BB Time : 0.0 sec. user=FritzsHero [2017-05-18 06:23:15] 833*2^1454264-1 is not prime. Res64: 8714EF9222A4D45D Time : 0.0 sec. user=mdettweiler [2017-05-18 06:32:32] 651*2^1454262-1 is not prime. Res64: C049883BD18D2608 Time : 0.0 sec. user=mdettweiler [2017-05-18 06:32:32] 863*2^1454262-1 is not prime. Res64: 21DF9829AD0AA00B Time : 0.0 sec. user=mdettweiler [2017-05-18 06:32:32] 941*2^1454262-1 is not prime. Res64: A9A0BFC63CA7A57D Time : 0.0 sec. user=mdettweiler [2017-05-18 06:32:33] 963*2^1454262-1 is not prime. Res64: D42CB1110237A656 Time : 0.0 sec. user=mdettweiler [2017-05-18 06:32:33] 615*2^1454263-1 is not prime. Res64: 2D835249ED84E23E Time : 0.0 sec. user=FritzsHero [2017-05-18 06:34:22] 979*2^1454265-1 is not prime. Res64: 6492F9CE366347F0 Time : 0.0 sec. user=FritzsHero [2017-05-18 06:38:52] 611*2^1454266-1 is not prime. Res64: 58D7E4885B107519 Time : 0.0 sec. user=FritzsHero [2017-05-18 06:40:06] 857*2^1454266-1 is not prime. Res64: 627707C141D8779B Time : 0.0 sec. user=FritzsHero [2017-05-18 06:40:12] 677*2^1454266-1 is not prime. Res64: DE8DC8D04069E291 Time : 0.0 sec. user=FritzsHero [2017-05-18 06:49:30] 675*2^1454267-1 is not prime. Res64: 7A1AFF848AA2DF10 Time : 0.0 sec. user=mdettweiler [2017-05-18 06:53:16] 621*2^1454263-1 is not prime. Res64: EA402BD6F5A8EB00 Time : 0.0 sec. user=mdettweiler [2017-05-18 06:53:16] 681*2^1454263-1 is not prime. Res64: 8D09CD6D3D34879C Time : 0.0 sec. user=mdettweiler [2017-05-18 06:53:16] 765*2^1454263-1 is not prime. Res64: A88712CB4148712C Time : 0.0 sec. user=mdettweiler [2017-05-18 06:53:17] 783*2^1454263-1 is not prime. Res64: C466A4A9E1BBC2FE Time : 0.0 sec. user=mdettweiler [2017-05-18 06:53:17] 849*2^1454263-1 is not prime. Res64: 65C667AEBEA3C7FF Time : 0.0 sec. user=mdettweiler [2017-05-18 06:53:19] 919*2^1454263-1 is not prime. Res64: B2D197D2409DDD04 Time : 0.0 sec. user=mdettweiler [2017-05-18 06:53:19] 939*2^1454263-1 is not prime. Res64: 951387B253FD6528 Time : 0.0 sec. user=mdettweiler [2017-05-18 06:53:19] 961*2^1454263-1 is not prime. Res64: B5F8F9523C7A44DC Time : 0.0 sec. user=mdettweiler [2017-05-18 06:53:20] 675*2^1454264-1 is not prime. Res64: A7BD5A5EDC0DDBDC Time : 0.0 sec. user=mdettweiler [2017-05-18 06:53:20] 743*2^1454264-1 is not prime. Res64: 2B71B8C638409A21 Time : 0.0 sec. user=FritzsHero [2017-05-18 06:54:05] 703*2^1454267-1 is not prime. Res64: 3A60E0EDD95DB085 Time : 0.0 sec. user=FritzsHero [2017-05-18 06:55:27] 819*2^1454267-1 is not prime. Res64: DC79331AA33B86C3 Time : 0.0 sec. user=FritzsHero [2017-05-18 06:55:28] 781*2^1454267-1 is not prime. Res64: A0E3ECA36DBAF62C Time : 0.0 sec. user=mdettweiler [2017-05-18 06:57:45] 935*2^1454264-1 is not prime. Res64: 4AB1A9358534618E Time : 0.0 sec. user=mdettweiler [2017-05-18 06:57:46] 657*2^1454265-1 is not prime. Res64: 31B1BCB6A8AACC42 Time : 0.0 sec. user=mdettweiler [2017-05-18 06:57:46] 727*2^1454265-1 is not prime. Res64: EEA91909271280BE Time : 0.0 sec. user=mdettweiler [2017-05-18 06:57:47] 837*2^1454265-1 is not prime. Res64: FBBFEC8F50B51459 Time : 0.0 sec. user=mdettweiler [2017-05-18 06:57:47] 969*2^1454265-1 is not prime. Res64: ED42428C18B96D36 Time : 0.0 sec. user=FritzsHero [2017-05-18 07:04:56] 825*2^1454267-1 is not prime. Res64: 221F44A17D4AFC19 Time : 0.0 sec. user=FritzsHero [2017-05-18 07:09:22] 609*2^1454269-1 is not prime. Res64: 2DDE1C9C3095A85D Time : 0.0 sec. user=FritzsHero [2017-05-18 07:10:41] 681*2^1454269-1 is not prime. Res64: CE098C4877B32CB8 Time : 0.0 sec. user=FritzsHero [2017-05-18 07:11:47] 675*2^1454269-1 is not prime. Res64: 66499BFF5E454698 Time : 0.0 sec. user=mdettweiler [2017-05-18 07:18:21] 881*2^1454266-1 is not prime. Res64: F3BCB957A329751E Time : 0.0 sec. user=mdettweiler [2017-05-18 07:18:21] 911*2^1454266-1 is not prime. Res64: 8F6365F19BFB039E Time : 0.0 sec. user=mdettweiler [2017-05-18 07:18:22] 923*2^1454266-1 is not prime. Res64: D0CA488BE86ACD87 Time : 0.0 sec. user=mdettweiler [2017-05-18 07:18:22] 993*2^1454266-1 is not prime. Res64: B0489B5AC4615B82 Time : 0.0 sec. user=mdettweiler [2017-05-18 07:18:22] 645*2^1454267-1 is not prime. Res64: F10C30122EFD682A Time : 0.0 sec. user=FritzsHero [2017-05-18 07:19:16] 919*2^1454269-1 is not prime. Res64: 7CC82FD3B8734A73 Time : 0.0 sec. user=FritzsHero [2017-05-18 07:23:09] 927*2^1454269-1 is not prime. Res64: 7D1C6BD3A6CBD841 Time : 0.0 sec. user=FritzsHero [2017-05-18 07:23:45] 975*2^1454269-1 is not prime. Res64: 65F18C0979B70252 Time : 0.0 sec. user=FritzsHero [2017-05-18 07:25:00] 707*2^1454270-1 is not prime. Res64: F2746C661996A93D Time : 0.0 sec. user=FritzsHero [2017-05-18 07:25:55] 753*2^1454270-1 is not prime. Res64: 3FC3FB359AB50C52 Time : 0.0 sec. user=mdettweiler [2017-05-18 07:38:54] 879*2^1454267-1 is not prime. Res64: 5E111C7549D1A07C Time : 0.0 sec. user=mdettweiler [2017-05-18 07:38:54] 901*2^1454267-1 is not prime. Res64: 835602855400A620 Time : 0.0 sec. user=mdettweiler [2017-05-18 07:38:54] 981*2^1454267-1 is not prime. Res64: FB5E6AD1BD3D3FE1 Time : 0.0 sec. user=mdettweiler [2017-05-18 07:38:55] 689*2^1454268-1 is not prime. Res64: 1FB1C41B4B1A248E Time : 0.0 sec. user=mdettweiler [2017-05-18 07:38:55] 705*2^1454268-1 is not prime. Res64: FB28A298630F7F4C Time : 0.0 sec. user=mdettweiler [2017-05-18 07:39:06] 795*2^1454268-1 is not prime. Res64: DB641155DB4062D9 Time : 0.0 sec. user=mdettweiler [2017-05-18 07:39:06] 875*2^1454268-1 is not prime. Res64: 8E18C8EE19295086 Time : 0.0 sec. user=mdettweiler [2017-05-18 07:39:06] 927*2^1454268-1 is not prime. Res64: D9CB45AB9ED00728 Time : 0.0 sec. user=mdettweiler [2017-05-18 07:39:07] 969*2^1454268-1 is not prime. Res64: DC7E71AD030AB034 Time : 0.0 sec. user=mdettweiler [2017-05-18 07:39:07] 987*2^1454268-1 is not prime. Res64: 65557333735901EC Time : 0.0 sec. user=mdettweiler [2017-05-18 07:43:28] 691*2^1454269-1 is not prime. Res64: 71CA2C956E4C46AD Time : 0.0 sec. user=mdettweiler [2017-05-18 07:43:29] 699*2^1454269-1 is not prime. Res64: 03203CCC73F88A42 Time : 0.0 sec. user=mdettweiler [2017-05-18 07:43:29] 759*2^1454269-1 is not prime. Res64: D36C9A5C9F93FB3A Time : 0.0 sec. user=mdettweiler [2017-05-18 07:43:29] 775*2^1454269-1 is not prime. Res64: DD1D69CD02B2D9F8 Time : 0.0 sec. user=mdettweiler [2017-05-18 07:43:30] 801*2^1454269-1 is not prime. Res64: 12A4D73240334386 Time : 0.0 sec. user=juhehe [2017-05-18 07:50:19] 911*2^1454270-1 is not prime. Res64: 5681C690941EBAB8 Time : 0.0 sec. user=mdettweiler [2017-05-18 08:04:17] 923*2^1454270-1 is not prime. Res64: 221DAD580CDBE96A Time : 0.0 sec. user=mdettweiler [2017-05-18 08:04:18] 941*2^1454270-1 is not prime. Res64: 5709A613AFCBD964 Time : 0.0 sec. user=mdettweiler [2017-05-18 08:04:20] 669*2^1454271-1 is not prime. Res64: C81DE82DB386FAAA Time : 0.0 sec. user=mdettweiler [2017-05-18 08:04:21] 679*2^1454271-1 is not prime. Res64: 3B4CBB82AC159DA9 Time : 0.0 sec. user=mdettweiler [2017-05-18 08:04:22] 745*2^1454271-1 is not prime. Res64: 7D8698734FC39666 Time : 0.0 sec. user=mdettweiler [2017-05-18 08:24:46] 713*2^1454272-1 is not prime. Res64: CEB56DD3D00B072E Time : 0.0 sec. user=mdettweiler [2017-05-18 08:24:47] 803*2^1454272-1 is not prime. Res64: 3DDCBB0532BE1274 Time : 0.0 sec. user=mdettweiler [2017-05-18 08:24:47] 827*2^1454272-1 is not prime. Res64: DF55F58B94ECD8F5 Time : 0.0 sec. user=mdettweiler [2017-05-18 08:24:48] 887*2^1454272-1 is not prime. Res64: 0DEFE1CD8B017D22 Time : 0.0 sec. user=mdettweiler [2017-05-18 08:24:48] 903*2^1454272-1 is not prime. Res64: B56762A9E9AD1F27 Time : 0.0 sec. user=mdettweiler [2017-05-18 08:25:08] 957*2^1454272-1 is not prime. Res64: 18D5C8586460719F Time : 0.0 sec. user=mdettweiler [2017-05-18 08:25:08] 983*2^1454272-1 is not prime. Res64: ED7A2F1B80266688 Time : 0.0 sec. user=mdettweiler [2017-05-18 08:25:08] 999*2^1454272-1 is not prime. Res64: 6BDA0DE8B6B560C6 Time : 0.0 sec. user=mdettweiler [2017-05-18 08:25:09] 651*2^1454273-1 is not prime. Res64: 751869B00854BFB9 Time : 0.0 sec. user=mdettweiler [2017-05-18 08:25:09] 837*2^1454273-1 is not prime. Res64: 7CAD3D46CF60D365 Time : 0.0 sec. user=mdettweiler [2017-05-18 08:29:20] 987*2^1454273-1 is not prime. Res64: AEC5E239CBC68B24 Time : 0.0 sec. user=mdettweiler [2017-05-18 08:29:20] 803*2^1454274-1 is not prime. Res64: 1ACE12225D310BB4 Time : 0.0 sec. user=mdettweiler [2017-05-18 08:29:21] 603*2^1454275-1 is not prime. Res64: CE230C1ED9D531A3 Time : 0.0 sec. user=mdettweiler [2017-05-18 08:29:21] 663*2^1454275-1 is not prime. Res64: 285A3B3D91BC92D2 Time : 0.0 sec. user=mdettweiler [2017-05-18 08:29:22] 685*2^1454275-1 is not prime. Res64: 0AA95400306FED6E Time : 0.0 sec. user=mdettweiler [2017-05-18 08:50:38] 723*2^1454275-1 is not prime. Res64: 81A8927A5C3C9595 Time : 0.0 sec. user=mdettweiler [2017-05-18 08:50:38] 873*2^1454275-1 is not prime. Res64: 569E06661685AFC5 Time : 0.0 sec. user=mdettweiler [2017-05-18 08:50:38] 647*2^1454276-1 is not prime. Res64: B80D07EC9C00E6CB Time : 0.0 sec. user=mdettweiler [2017-05-18 08:50:39] 707*2^1454276-1 is not prime. Res64: ED033299DB409C36 Time : 0.0 sec. user=mdettweiler [2017-05-18 08:50:39] 759*2^1454277-1 is not prime. Res64: A4B8CC77731FBA17 Time : 0.0 sec. user=juhehe [2017-05-18 09:08:20] 985*2^1454279-1 is not prime. Res64: B324AF1113AAA822 Time : 0.0 sec. user=mdettweiler [2017-05-18 09:10:56] 777*2^1454278-1 is not prime. Res64: 00CEC5C75E1E9095 Time : 0.0 sec. user=mdettweiler [2017-05-18 09:10:57] 805*2^1454277-1 is not prime. Res64: 89118CD88D013C9A Time : 0.0 sec. user=mdettweiler [2017-05-18 09:10:57] 887*2^1454278-1 is not prime. Res64: EEC83C3AF5BE60F2 Time : 0.0 sec. user=mdettweiler [2017-05-18 09:10:58] 999*2^1454277-1 is not prime. Res64: FE61435A3945402B Time : 0.0 sec. user=mdettweiler [2017-05-18 09:10:58] 623*2^1454278-1 is not prime. Res64: 36EB07EA8A2C68AF Time : 0.0 sec. user=mdettweiler [2017-05-18 09:10:58] 897*2^1454278-1 is not prime. Res64: 1B37A4988E93456A Time : 0.0 sec. user=mdettweiler [2017-05-18 09:10:59] 663*2^1454278-1 is not prime. Res64: 90123E5213B3828E Time : 0.0 sec. user=mdettweiler [2017-05-18 09:10:59] 755*2^1454278-1 is not prime. Res64: 7D92EFAE4B9F2EAA Time : 0.0 sec. user=mdettweiler [2017-05-18 09:11:00] 945*2^1454278-1 is not prime. Res64: 637FC9E9483F2CFE Time : 0.0 sec. user=mdettweiler [2017-05-18 09:11:00] 951*2^1454278-1 is not prime. Res64: BCFFDA1BC458772B Time : 0.0 sec. user=mdettweiler [2017-05-18 09:15:10] 987*2^1454278-1 is not prime. Res64: A2B2B3946807D8D0 Time : 0.0 sec. user=mdettweiler [2017-05-18 09:15:10] 931*2^1454279-1 is not prime. Res64: 2A8C70579C7A670A Time : 0.0 sec. user=mdettweiler [2017-05-18 09:15:11] 943*2^1454279-1 is not prime. Res64: AED7266D1391F3E0 Time : 0.0 sec. user=mdettweiler [2017-05-18 09:15:11] 955*2^1454279-1 is not prime. Res64: 89C5A644E60D1887 Time : 0.0 sec. user=mdettweiler [2017-05-18 09:15:11] 979*2^1454279-1 is not prime. Res64: 7DBBA45F067D4C47 Time : 0.0 sec. user=mdettweiler [2017-05-18 09:36:38] 635*2^1454280-1 is not prime. Res64: 61B0231C5A3AB005 Time : 0.0 sec. user=mdettweiler [2017-05-18 09:36:39] 759*2^1454280-1 is not prime. Res64: 19E656C1941F39F4 Time : 0.0 sec. user=mdettweiler [2017-05-18 09:36:39] 839*2^1454280-1 is not prime. Res64: 54B523D8ABC9AF95 Time : 0.0 sec. user=mdettweiler [2017-05-18 09:36:40] 875*2^1454280-1 is not prime. Res64: B47377F1DE60CD64 Time : 0.0 sec. user=mdettweiler [2017-05-18 09:36:40] 909*2^1454280-1 is not prime. Res64: A13BAD29FE76C848 Time : 0.0 sec. user=mdettweiler [2017-05-18 09:56:55] 945*2^1454280-1 is not prime. Res64: 36DB1AFF1E2EEC64 Time : 0.0 sec. user=mdettweiler [2017-05-18 09:56:55] 625*2^1454281-1 is not prime. Res64: BC47B6562E418F6C Time : 0.0 sec. user=mdettweiler [2017-05-18 09:56:56] 637*2^1454281-1 is not prime. Res64: 95637320C4C94291 Time : 0.0 sec. user=mdettweiler [2017-05-18 09:56:56] 681*2^1454281-1 is not prime. Res64: A8D7A359D746F45D Time : 0.0 sec. user=mdettweiler [2017-05-18 09:56:56] 799*2^1454281-1 is not prime. Res64: F33330407D813D79 Time : 0.0 sec. user=mdettweiler [2017-05-18 09:57:09] 819*2^1454281-1 is not prime. Res64: 0D9379BC5E9FB4A5 Time : 0.0 sec. user=mdettweiler [2017-05-18 09:57:09] 657*2^1454282-1 is not prime. Res64: 879992A6B41D3657 Time : 0.0 sec. user=mdettweiler [2017-05-18 09:57:09] 683*2^1454282-1 is not prime. Res64: 55772958F498F599 Time : 0.0 sec. user=mdettweiler [2017-05-18 09:57:10] 735*2^1454282-1 is not prime. Res64: 106116141703F6C4 Time : 0.0 sec. user=mdettweiler [2017-05-18 09:57:10] 813*2^1454282-1 is not prime. Res64: E0024EACAF547D6A Time : 0.0 sec. user=mdettweiler [2017-05-18 10:01:04] 887*2^1454282-1 is not prime. Res64: AEB2104D9D8965C3 Time : 0.0 sec. user=mdettweiler [2017-05-18 10:01:05] 953*2^1454282-1 is not prime. Res64: 0FD58937EFD675FD Time : 0.0 sec. user=mdettweiler [2017-05-18 10:01:06] 963*2^1454282-1 is not prime. Res64: 4E6530FD8912203D Time : 0.0 sec. user=mdettweiler [2017-05-18 10:01:08] 775*2^1454283-1 is not prime. Res64: 39C758EBE9EAC062 Time : 0.0 sec. user=mdettweiler [2017-05-18 10:01:09] 781*2^1454283-1 is not prime. Res64: 12B75AEA931EE388 Time : 0.0 sec. user=mdettweiler [2017-05-18 10:22:48] 783*2^1454283-1 is not prime. Res64: 066A77F7F5179DB4 Time : 0.0 sec. user=mdettweiler [2017-05-18 10:22:48] 825*2^1454283-1 is not prime. Res64: D826CACB2E41FDF0 Time : 0.0 sec. user=mdettweiler [2017-05-18 10:22:48] 853*2^1454283-1 is not prime. Res64: E343C9D269B93131 Time : 0.0 sec. user=mdettweiler [2017-05-18 10:22:49] 871*2^1454283-1 is not prime. Res64: AF7E3287FAD224C6 Time : 0.0 sec. user=mdettweiler [2017-05-18 10:22:49] 963*2^1454283-1 is not prime. Res64: A4573A355F4F528F Time : 0.0 sec. user=mdettweiler [2017-05-18 10:42:47] 609*2^1454284-1 is not prime. Res64: 821E7FD234D87F9C Time : 0.0 sec. user=mdettweiler [2017-05-18 10:42:47] 695*2^1454284-1 is not prime. Res64: A2E8DB2895BC9226 Time : 0.0 sec. user=mdettweiler [2017-05-18 10:42:48] 819*2^1454284-1 is not prime. Res64: 9DF7519DA03A2E3F Time : 0.0 sec. user=mdettweiler [2017-05-18 10:42:48] 899*2^1454284-1 is not prime. Res64: 582A7D2B10446AA6 Time : 0.0 sec. user=mdettweiler [2017-05-18 10:42:48] 903*2^1454284-1 is not prime. Res64: BEA822EFC1D626BB Time : 0.0 sec. user=mdettweiler [2017-05-18 10:43:09] 975*2^1454284-1 is not prime. Res64: 04E9AB9860B6C81A Time : 0.0 sec. user=mdettweiler [2017-05-18 10:43:09] 837*2^1454285-1 is not prime. Res64: 9EAC5132F95E3F3D Time : 0.0 sec. user=mdettweiler [2017-05-18 10:43:10] 871*2^1454285-1 is not prime. Res64: 2F6486F0E1590A21 Time : 0.0 sec. user=mdettweiler [2017-05-18 10:43:10] 939*2^1454285-1 is not prime. Res64: 1651E596AB63AE1F Time : 0.0 sec. user=mdettweiler [2017-05-18 10:43:11] 647*2^1454286-1 is not prime. Res64: 85C10CACACCEE54B Time : 0.0 sec. user=mdettweiler [2017-05-18 10:47:16] 777*2^1454286-1 is not prime. Res64: 1BD3A93F656BC910 Time : 0.0 sec. user=mdettweiler [2017-05-18 10:47:17] 807*2^1454286-1 is not prime. Res64: 304C85CC78011466 Time : 0.0 sec. user=mdettweiler [2017-05-18 10:47:17] 875*2^1454286-1 is not prime. Res64: 00D83AA88A394E8E Time : 0.0 sec. user=mdettweiler [2017-05-18 10:47:18] 651*2^1454287-1 is not prime. Res64: D91EDC69FC70708A Time : 0.0 sec. user=mdettweiler [2017-05-18 10:47:18] 705*2^1454287-1 is not prime. Res64: 370775C272DCC56B Time : 0.0 sec. user=juhehe [2017-05-18 11:06:31] 951*2^1454287-1 is not prime. Res64: 04C4ADFCBFFA570C Time : 0.0 sec. user=mdettweiler [2017-05-18 11:08:38] 805*2^1454287-1 is not prime. Res64: B38CCAA6582A3742 Time : 0.0 sec. user=mdettweiler [2017-05-18 11:08:38] 813*2^1454287-1 is not prime. Res64: 550E55D8586001DF Time : 0.0 sec. user=mdettweiler [2017-05-18 11:08:39] 889*2^1454287-1 is not prime. Res64: 8ED5F653C8E327EF Time : 0.0 sec. user=mdettweiler [2017-05-18 11:08:39] 909*2^1454287-1 is not prime. Res64: F36B955C583F743E Time : 0.0 sec. user=mdettweiler [2017-05-18 11:08:40] 919*2^1454287-1 is not prime. Res64: 1D2065663586727B Time : 0.0 sec. user=mdettweiler [2017-05-18 11:28:43] 975*2^1454287-1 is not prime. Res64: 937BD3358BAAD030 Time : 0.0 sec. user=mdettweiler [2017-05-18 11:28:43] 657*2^1454288-1 is not prime. Res64: C200821CEC077E28 Time : 0.0 sec. user=mdettweiler [2017-05-18 11:28:44] 669*2^1454288-1 is not prime. Res64: A57CD38A811FB0D4 Time : 0.0 sec. user=mdettweiler [2017-05-18 11:28:44] 743*2^1454288-1 is not prime. Res64: 0A45D15057AC7F3E Time : 0.0 sec. user=mdettweiler [2017-05-18 11:28:45] 767*2^1454288-1 is not prime. Res64: 4EEE86FAD6EB0AE4 Time : 0.0 sec. user=mdettweiler [2017-05-18 11:29:05] 789*2^1454288-1 is not prime. Res64: 03CA89816BD2F23B Time : 0.0 sec. user=mdettweiler [2017-05-18 11:29:05] 923*2^1454288-1 is not prime. Res64: 7DC1DF5B015DB86C Time : 0.0 sec. user=mdettweiler [2017-05-18 11:29:06] 927*2^1454288-1 is not prime. Res64: 397E7E4719F78031 Time : 0.0 sec. user=mdettweiler [2017-05-18 11:29:06] 959*2^1454288-1 is not prime. Res64: 1B0FC55DCC65D49B Time : 0.0 sec. user=mdettweiler [2017-05-18 11:29:06] 995*2^1454288-1 is not prime. Res64: 2C69472F2E5B867F Time : 0.0 sec. user=mdettweiler [2017-05-18 11:33:09] 721*2^1454289-1 is not prime. Res64: 5B87EA16F65EA666 Time : 0.0 sec. user=mdettweiler [2017-05-18 11:33:10] 745*2^1454289-1 is not prime. Res64: 7A83AEF875F3F27E Time : 0.0 sec. user=mdettweiler [2017-05-18 11:33:10] 781*2^1454289-1 is not prime. Res64: 1A320EEB124865EF Time : 0.0 sec. user=mdettweiler [2017-05-18 11:33:11] 837*2^1454289-1 is not prime. Res64: 7A62B487531C8CC8 Time : 0.0 sec. user=mdettweiler [2017-05-18 11:33:11] 861*2^1454289-1 is not prime. Res64: F97011C35627FB61 Time : 0.0 sec. user=mdettweiler [2017-05-18 11:54:36] 991*2^1454289-1 is not prime. Res64: 154AC96DF7A01057 Time : 0.0 sec. user=mdettweiler [2017-05-18 11:54:37] 657*2^1454290-1 is not prime. Res64: FF3F720658AF5824 Time : 0.0 sec. user=mdettweiler [2017-05-18 11:54:37] 687*2^1454290-1 is not prime. Res64: 67D92EC0079A9AF1 Time : 0.0 sec. user=mdettweiler [2017-05-18 11:54:38] 717*2^1454290-1 is not prime. Res64: 902805C1B6D04DF2 Time : 0.0 sec. user=mdettweiler [2017-05-18 11:54:38] 747*2^1454290-1 is not prime. Res64: 604FCCE71B14BED6 Time : 0.0 sec. user=mdettweiler [2017-05-18 12:14:45] 755*2^1454290-1 is not prime. Res64: 382EAD40BDCC37FF Time : 0.0 sec. user=mdettweiler [2017-05-18 12:14:48] 803*2^1454290-1 is not prime. Res64: 82F41EE269009086 Time : 0.0 sec. user=mdettweiler [2017-05-18 12:14:50] 887*2^1454290-1 is not prime. Res64: E136A8F9E032198F Time : 0.0 sec. user=mdettweiler [2017-05-18 12:14:51] 603*2^1454291-1 is not prime. Res64: EB3127088590A0C3 Time : 0.0 sec. user=mdettweiler [2017-05-18 12:14:53] 643*2^1454291-1 is not prime. Res64: 4A517B30A3871882 Time : 0.0 sec. user=mdettweiler [2017-05-18 12:14:56] 675*2^1454291-1 is not prime. Res64: 79C26646DEDAB694 Time : 0.0 sec. user=mdettweiler [2017-05-18 12:14:59] 711*2^1454291-1 is not prime. Res64: 6D2FD70E4A6F9B83 Time : 0.0 sec. user=mdettweiler [2017-05-18 12:15:01] 883*2^1454291-1 is not prime. Res64: 40917F3E8DA3466F Time : 0.0 sec. user=mdettweiler [2017-05-18 12:15:06] 903*2^1454291-1 is not prime. Res64: C35FE919D3A1C73C Time : 0.0 sec. user=mdettweiler [2017-05-18 12:15:09] 939*2^1454291-1 is not prime. Res64: 6983C08452A848B3 Time : 0.0 sec. user=mdettweiler [2017-05-18 12:19:04] 653*2^1454292-1 is not prime. Res64: 6D83082060B58C4A Time : 0.0 sec. user=mdettweiler [2017-05-18 12:19:04] 725*2^1454292-1 is not prime. Res64: 8F29414489DC8AC4 Time : 0.0 sec. user=mdettweiler [2017-05-18 12:19:04] 759*2^1454292-1 is not prime. Res64: 207497E50D3E9E20 Time : 0.0 sec. user=mdettweiler [2017-05-18 12:19:05] 797*2^1454292-1 is not prime. Res64: 2929B74AB12F621D Time : 0.0 sec. user=mdettweiler [2017-05-18 12:19:05] 825*2^1454292-1 is not prime. Res64: E665863E7F6761B2 Time : 0.0 sec. user=mdettweiler [2017-05-18 12:40:31] 975*2^1454292-1 is not prime. Res64: 342B1B9CDA12A915 Time : 0.0 sec. user=mdettweiler [2017-05-18 12:40:32] 681*2^1454293-1 is not prime. Res64: D2149B33DA0914EC Time : 0.0 sec. user=mdettweiler [2017-05-18 12:40:32] 691*2^1454293-1 is not prime. Res64: B4FFFF3E9049579C Time : 0.0 sec. user=mdettweiler [2017-05-18 12:40:33] 721*2^1454293-1 is not prime. Res64: 5E8BDE0C2BBFD6B4 Time : 0.0 sec. user=mdettweiler [2017-05-18 12:40:33] 745*2^1454293-1 is not prime. Res64: BC8CC8185A546AF9 Time : 0.0 sec. user=mdettweiler [2017-05-18 13:01:10] 847*2^1454293-1 is not prime. Res64: 039AE750A88DEDB6 Time : 0.0 sec. user=mdettweiler [2017-05-18 13:01:11] 901*2^1454293-1 is not prime. Res64: 2BACF8585E15D39F Time : 0.0 sec. user=mdettweiler [2017-05-18 13:01:11] 939*2^1454293-1 is not prime. Res64: DF3233530D3DB53D Time : 0.0 sec. user=mdettweiler [2017-05-18 13:01:12] 987*2^1454293-1 is not prime. Res64: D25CD9F37F076507 Time : 0.0 sec. user=mdettweiler [2017-05-18 13:01:13] 663*2^1454294-1 is not prime. Res64: A8AE37E9CDD700F8 Time : 0.0 sec. user=mdettweiler [2017-05-18 13:01:14] 683*2^1454294-1 is not prime. Res64: 03AD6E6DAB8669B5 Time : 0.0 sec. user=mdettweiler [2017-05-18 13:01:15] 717*2^1454294-1 is not prime. Res64: 7962480ECCCFB351 Time : 0.0 sec. user=mdettweiler [2017-05-18 13:01:16] 903*2^1454294-1 is not prime. Res64: 31A8EB6FE75A34EF Time : 0.0 sec. user=mdettweiler [2017-05-18 13:01:18] 923*2^1454294-1 is not prime. Res64: 06A80D29E8B03ABB Time : 0.0 sec. user=mdettweiler [2017-05-18 13:01:19] 951*2^1454294-1 is not prime. Res64: 0636766CD65D2FA8 Time : 0.0 sec. user=juhehe [2017-05-18 13:04:07] 949*2^1454295-1 is not prime. Res64: 519BB5230F5D2CEA Time : 0.0 sec. user=mdettweiler [2017-05-18 13:05:09] 971*2^1454294-1 is not prime. Res64: D127297B93A941BF Time : 0.0 sec. user=mdettweiler [2017-05-18 13:05:11] 983*2^1454294-1 is not prime. Res64: F2FA5B3E1C6B955B Time : 0.0 sec. user=mdettweiler [2017-05-18 13:05:13] 987*2^1454294-1 is not prime. Res64: 7287BC1995780788 Time : 0.0 sec. user=mdettweiler [2017-05-18 13:05:16] 783*2^1454295-1 is not prime. Res64: 73AAF593AF3801A6 Time : 0.0 sec. user=mdettweiler [2017-05-18 13:05:19] 825*2^1454295-1 is not prime. Res64: 7FB6669FBD95B29B Time : 0.0 sec. user=mdettweiler [2017-05-18 13:26:35] 979*2^1454295-1 is not prime. Res64: BF1A0EEF5D0650B9 Time : 0.0 sec. user=mdettweiler [2017-05-18 13:26:36] 991*2^1454295-1 is not prime. Res64: F91303D4B824C3FB Time : 0.0 sec. user=mdettweiler [2017-05-18 13:26:37] 755*2^1454296-1 is not prime. Res64: 26D071839DA92194 Time : 0.0 sec. user=mdettweiler [2017-05-18 13:26:37] 765*2^1454296-1 is not prime. Res64: 5DFF0E54FB43F125 Time : 0.0 sec. user=mdettweiler [2017-05-18 13:26:37] 849*2^1454296-1 is not prime. Res64: A836D7AE544E8752 Time : 0.0 sec. user=juhehe [2017-05-18 13:37:43] 873*2^1454296-1 is not prime. Res64: 2751AD38314D8B7F Time : 0.0 sec. user=mdettweiler [2017-05-18 13:47:03] 917*2^1454296-1 is not prime. Res64: D9E1802705AFF698 Time : 0.0 sec. user=mdettweiler [2017-05-18 13:47:03] 983*2^1454296-1 is not prime. Res64: 6AC76FA609A28930 Time : 0.0 sec. user=mdettweiler [2017-05-18 13:47:03] 645*2^1454297-1 is not prime. Res64: AB357502721D6936 Time : 0.0 sec. user=mdettweiler [2017-05-18 13:47:04] 837*2^1454297-1 is not prime. Res64: E9C8F60F2E41328B Time : 0.0 sec. user=mdettweiler [2017-05-18 13:47:04] 881*2^1454298-1 is not prime. Res64: 718F673D95F94FE2 Time : 0.0 sec. user=mdettweiler [2017-05-18 13:47:11] 921*2^1454298-1 is not prime. Res64: 91ED9D99A9F4EDBE Time : 0.0 sec. user=mdettweiler [2017-05-18 13:47:12] 615*2^1454299-1 is not prime. Res64: 6CAA83673565D3F9 Time : 0.0 sec. user=mdettweiler [2017-05-18 13:47:12] 681*2^1454299-1 is not prime. Res64: 6ED02FC723801695 Time : 0.0 sec. user=mdettweiler [2017-05-18 13:47:13] 703*2^1454299-1 is not prime. Res64: 08AABED155275919 Time : 0.0 sec. user=mdettweiler [2017-05-18 13:47:13] 741*2^1454299-1 is not prime. Res64: F0C97157386E1810 Time : 0.0 sec. user=mdettweiler [2017-05-18 13:51:47] 765*2^1454299-1 is not prime. Res64: 280D63821D9DB4DC Time : 0.0 sec. user=mdettweiler [2017-05-18 13:51:48] 835*2^1454299-1 is not prime. Res64: 631D036F8BBF4BBC Time : 0.0 sec. user=mdettweiler [2017-05-18 13:51:48] 853*2^1454299-1 is not prime. Res64: E63B8C2CA179DF1D Time : 0.0 sec. user=mdettweiler [2017-05-18 13:51:48] 975*2^1454299-1 is not prime. Res64: 363DD2491108E51A Time : 0.0 sec. user=mdettweiler [2017-05-18 13:51:49] 993*2^1454299-1 is not prime. Res64: 6E5F9C6E8D24EC9A Time : 0.0 sec. user=mdettweiler [2017-05-18 14:12:27] 755*2^1454300-1 is not prime. Res64: 78009B6B322D9CA3 Time : 0.0 sec. user=mdettweiler [2017-05-18 14:12:27] 767*2^1454300-1 is not prime. Res64: 5A73ADEB6AFCD547 Time : 0.0 sec. user=mdettweiler [2017-05-18 14:12:28] 845*2^1454300-1 is not prime. Res64: D7906C7D50A147E2 Time : 0.0 sec. user=mdettweiler [2017-05-18 14:12:28] 885*2^1454300-1 is not prime. Res64: B1C14673AFE84FB7 Time : 0.0 sec. user=mdettweiler [2017-05-18 14:12:28] 899*2^1454300-1 is not prime. Res64: 87414A546A3AF286 Time : 0.0 sec. user=mdettweiler [2017-05-18 14:32:49] 995*2^1454300-1 is not prime. Res64: CD61EDF5E4A063F3 Time : 0.0 sec. user=mdettweiler [2017-05-18 14:32:50] 999*2^1454300-1 is not prime. Res64: 9609A7EFE7685E9C Time : 0.0 sec. user=mdettweiler [2017-05-18 14:32:50] 639*2^1454301-1 is not prime. Res64: 8FC9E73663F0DB12 Time : 0.0 sec. user=mdettweiler [2017-05-18 14:32:50] 685*2^1454301-1 is not prime. Res64: 826B41B7BD9A32ED Time : 0.0 sec. user=mdettweiler [2017-05-18 14:32:51] 889*2^1454301-1 is not prime. Res64: E0BEF08526149849 Time : 0.0 sec. user=mdettweiler [2017-05-18 14:32:53] 945*2^1454301-1 is not prime. Res64: 364503CB5D3C4391 Time : 0.0 sec. user=mdettweiler [2017-05-18 14:32:53] 979*2^1454301-1 is not prime. Res64: 8348EEFF08508AF2 Time : 0.0 sec. user=mdettweiler [2017-05-18 14:32:54] 653*2^1454302-1 is not prime. Res64: CE897701A3BB4D64 Time : 0.0 sec. user=mdettweiler [2017-05-18 14:32:54] 755*2^1454302-1 is not prime. Res64: E27982ED443119BB Time : 0.0 sec. user=mdettweiler [2017-05-18 14:32:54] 761*2^1454302-1 is not prime. Res64: BEDC9B8AB1497FB0 Time : 0.0 sec. user=mdettweiler [2017-05-18 14:37:31] 813*2^1454302-1 is not prime. Res64: CE9DF7BFB0E6D077 Time : 0.0 sec. user=mdettweiler [2017-05-18 14:37:32] 821*2^1454302-1 is not prime. Res64: 4A6D8296C60E0D2F Time : 0.0 sec. user=mdettweiler [2017-05-18 14:37:32] 855*2^1454302-1 is not prime. Res64: 782A02DA8D415E26 Time : 0.0 sec. user=mdettweiler [2017-05-18 14:37:32] 917*2^1454302-1 is not prime. Res64: 47FD704047A74CFA Time : 0.0 sec. user=mdettweiler [2017-05-18 14:37:33] 975*2^1454302-1 is not prime. Res64: 919943A52D1B47C0 Time : 0.0 sec. user=FritzsHero [2017-05-18 14:39:41] 885*2^1454261-1 is not prime. Res64: 2DDECE78DD7EC071 Time : 0.0 sec. user=FritzsHero [2017-05-18 14:50:45] 851*2^1454306-1 is not prime. Res64: 7EDB098B757C5D1F Time : 0.0 sec. user=mdettweiler [2017-05-18 14:58:20] 693*2^1454303-1 is not prime. Res64: 83219B18A371B2D7 Time : 0.0 sec. user=mdettweiler [2017-05-18 14:58:21] 715*2^1454303-1 is not prime. Res64: 24F4DE65C2C8AF0F Time : 0.0 sec. user=mdettweiler [2017-05-18 14:58:21] 721*2^1454303-1 is not prime. Res64: 785C18F0C87883E6 Time : 0.0 sec. user=mdettweiler [2017-05-18 14:58:22] 729*2^1454303-1 is not prime. Res64: BBAD376CF25A0E56 Time : 0.0 sec. user=mdettweiler [2017-05-18 14:58:22] 895*2^1454303-1 is not prime. Res64: D0C0BF21A145D6A4 Time : 0.0 sec. user=FritzsHero [2017-05-18 15:01:37] 911*2^1454306-1 is not prime. Res64: 65C62DADDBF16853 Time : 0.0 sec. user=juhehe [2017-05-18 15:01:53] 973*2^1454303-1 is not prime. Res64: 623E3F6206095A04 Time : 0.0 sec. user=mdettweiler [2017-05-18 15:18:44] 993*2^1454303-1 is not prime. Res64: 78ECEAF08D4170D5 Time : 0.0 sec. user=mdettweiler [2017-05-18 15:18:45] 657*2^1454304-1 is not prime. Res64: D3F588F2793ADC4D Time : 0.0 sec. user=mdettweiler [2017-05-18 15:18:45] 857*2^1454304-1 is not prime. Res64: 4A769E5257BD77BB Time : 0.0 sec. user=mdettweiler [2017-05-18 15:18:45] 863*2^1454304-1 is not prime. Res64: 902BF5589C0D0B49 Time : 0.0 sec. user=mdettweiler [2017-05-18 15:18:46] 645*2^1454305-1 is not prime. Res64: 08BE2371EBBA4B66 Time : 0.0 sec. user=mdettweiler [2017-05-18 15:18:57] 649*2^1454305-1 is not prime. Res64: 6A997CCF9646834B Time : 0.0 sec. user=mdettweiler [2017-05-18 15:18:58] 651*2^1454305-1 is not prime. Res64: 85A6DEA917A0FE6C Time : 0.0 sec. user=mdettweiler [2017-05-18 15:18:58] 667*2^1454305-1 is not prime. Res64: 64F3E388B4B5362A Time : 0.0 sec. user=FritzsHero [2017-05-18 15:18:58] 979*2^1454271-1 is not prime. Res64: 428C219DE328E343 Time : 0.0 sec. user=mdettweiler [2017-05-18 15:18:59] 847*2^1454305-1 is not prime. Res64: 2D92E61358F863E9 Time : 0.0 sec. user=mdettweiler [2017-05-18 15:18:59] 885*2^1454305-1 is not prime. Res64: 903F00395E80C3FA Time : 0.0 sec. user=FritzsHero [2017-05-18 15:19:27] 675*2^1454272-1 is not prime. Res64: 25988865220BB95F Time : 0.0 sec. user=mdettweiler [2017-05-18 15:23:21] 617*2^1454306-1 is not prime. Res64: 989C7EFC04B2E857 Time : 0.0 sec. user=mdettweiler [2017-05-18 15:23:21] 657*2^1454306-1 is not prime. Res64: 0CB40E54247EDADA Time : 0.0 sec. user=mdettweiler [2017-05-18 15:23:21] 743*2^1454306-1 is not prime. Res64: 52F7A4A1CDD2CF38 Time : 0.0 sec. user=mdettweiler [2017-05-18 15:23:22] 813*2^1454306-1 is not prime. Res64: 04FEE85047322709 Time : 0.0 sec. user=mdettweiler [2017-05-18 15:23:22] 825*2^1454306-1 is not prime. Res64: 77E2FA0176F578A0 Time : 0.0 sec. user=FritzsHero [2017-05-18 15:29:40] 621*2^1454309-1 is not prime. Res64: 2FB86329AE2F4D14 Time : 0.0 sec. user=FritzsHero [2017-05-18 15:30:09] 711*2^1454310-1 is not prime. Res64: 92EF3FFB9D98117A Time : 0.0 sec. user=FritzsHero [2017-05-18 15:40:10] 819*2^1454311-1 is not prime. Res64: 10C3BFD752F9A958 Time : 0.0 sec. user=FritzsHero [2017-05-18 15:40:37] 841*2^1454311-1 is not prime. Res64: EA281DB1B4A4B1D4 Time : 0.0 sec. user=mdettweiler [2017-05-18 15:44:09] 957*2^1454306-1 is not prime. Res64: 44015F8E56772C0F Time : 0.0 sec. user=mdettweiler [2017-05-18 15:44:09] 971*2^1454306-1 is not prime. Res64: 3F5A10BBD332C896 Time : 0.0 sec. user=mdettweiler [2017-05-18 15:44:09] 643*2^1454307-1 is not prime. Res64: E92B4D7B7D87587A Time : 0.0 sec. user=mdettweiler [2017-05-18 15:44:10] 685*2^1454307-1 is not prime. Res64: EE5D043309571F20 Time : 0.0 sec. user=mdettweiler [2017-05-18 15:44:10] 805*2^1454307-1 is not prime. Res64: F7A566FC35B0E19A Time : 0.0 sec. user=FritzsHero [2017-05-18 15:50:37] 901*2^1454311-1 is not prime. Res64: AD0167E60E63F160 Time : 0.0 sec. user=FritzsHero [2017-05-18 15:51:07] 999*2^1454311-1 is not prime. Res64: C1C3138A7564F1AD Time : 0.0 sec. user=FritzsHero [2017-05-18 16:00:52] 637*2^1454313-1 is not prime. Res64: 30B1A6C38D3E63E7 Time : 0.0 sec. user=FritzsHero [2017-05-18 16:01:24] 895*2^1454313-1 is not prime. Res64: 7CDB676F490E2A53 Time : 0.0 sec. user=mdettweiler [2017-05-18 16:04:28] 647*2^1454308-1 is not prime. Res64: 37DEB149ACB64394 Time : 0.0 sec. user=mdettweiler [2017-05-18 16:04:31] 689*2^1454308-1 is not prime. Res64: 6F4B60B02406F4EE Time : 0.0 sec. user=mdettweiler [2017-05-18 16:04:33] 749*2^1454308-1 is not prime. Res64: 38BF1D79790E5F41 Time : 0.0 sec. user=mdettweiler [2017-05-18 16:04:35] 899*2^1454308-1 is not prime. Res64: 22FDDBB0F3FCCE55 Time : 0.0 sec. user=mdettweiler [2017-05-18 16:04:36] 975*2^1454308-1 is not prime. Res64: 650378FCC8A63318 Time : 0.0 sec. user=mdettweiler [2017-05-18 16:05:05] 735*2^1454309-1 is not prime. Res64: F67FB4C82B63E2A5 Time : 0.0 sec. user=mdettweiler [2017-05-18 16:05:09] 789*2^1454309-1 is not prime. Res64: AFE1C1857F6CC33F Time : 0.0 sec. user=mdettweiler [2017-05-18 16:05:12] 811*2^1454309-1 is not prime. Res64: E6D9557D95175F1A Time : 0.0 sec. user=mdettweiler [2017-05-18 16:05:15] 969*2^1454309-1 is not prime. Res64: 35C8815368B2563D Time : 0.0 sec. user=mdettweiler [2017-05-18 16:05:27] 693*2^1454310-1 is not prime. Res64: E940830BEF34F464 Time : 0.0 sec. user=mdettweiler [2017-05-18 16:09:16] 717*2^1454310-1 is not prime. Res64: 6E613AB7E0B0A1DC Time : 0.0 sec. user=mdettweiler [2017-05-18 16:09:21] 773*2^1454310-1 is not prime. Res64: 4D14C8E7D359DDDC Time : 0.0 sec. user=mdettweiler [2017-05-18 16:09:23] 777*2^1454310-1 is not prime. Res64: 3F439233CBDAFE01 Time : 0.0 sec. user=mdettweiler [2017-05-18 16:09:25] 957*2^1454310-1 is not prime. Res64: 2CF612D71C9FDEE9 Time : 0.0 sec. user=mdettweiler [2017-05-18 16:09:26] 1001*2^1454310-1 is not prime. Res64: AD18FC7AA27C0063 Time : 0.0 sec. user=mdettweiler [2017-05-18 16:31:35] 629*2^1454312-1 is not prime. Res64: A81009FD77CAC692 Time : 0.0 sec. user=mdettweiler [2017-05-18 16:31:36] 837*2^1454312-1 is not prime. Res64: E034F8F832F2B201 Time : 0.0 sec. user=mdettweiler [2017-05-18 16:31:36] 873*2^1454312-1 is not prime. Res64: A0D4A70B4B1A0CFF Time : 0.0 sec. user=mdettweiler [2017-05-18 16:31:37] 959*2^1454312-1 is not prime. Res64: A7F9845D37268E03 Time : 0.0 sec. user=mdettweiler [2017-05-18 16:31:37] 627*2^1454313-1 is not prime. Res64: 9F6AFB1EC385E1C5 Time : 0.0 sec. user=mdettweiler [2017-05-18 16:53:53] 605*2^1454314-1 is not prime. Res64: FE496E3FB5B95F6E Time : 0.0 sec. user=mdettweiler [2017-05-18 16:53:54] 791*2^1454314-1 is not prime. Res64: 078DD03965BD31EB Time : 0.0 sec. user=mdettweiler [2017-05-18 16:53:54] 885*2^1454314-1 is not prime. Res64: EBD6E59FFA40DC43 Time : 0.0 sec. user=mdettweiler [2017-05-18 16:53:55] 915*2^1454314-1 is not prime. Res64: E6CE097C6FB86DAD Time : 0.0 sec. user=mdettweiler [2017-05-18 16:53:55] 645*2^1454315-1 is not prime. Res64: A2FA6A3E0D1E9690 Time : 0.0 sec. user=mdettweiler [2017-05-18 16:57:08] 651*2^1454315-1 is not prime. Res64: 834CC8110973109F Time : 0.0 sec. user=mdettweiler [2017-05-18 16:57:09] 759*2^1454315-1 is not prime. Res64: C2478355963C21C4 Time : 0.0 sec. user=mdettweiler [2017-05-18 16:57:09] 771*2^1454315-1 is not prime. Res64: 38A3B4A7678DDE53 Time : 0.0 sec. user=mdettweiler [2017-05-18 16:57:09] 783*2^1454315-1 is not prime. Res64: D0E2A0E66340D0D7 Time : 0.0 sec. user=mdettweiler [2017-05-18 16:57:10] 853*2^1454315-1 is not prime. Res64: 333F45C4639C3EDD Time : 0.0 sec. user=juhehe [2017-05-18 16:59:49] 859*2^1454315-1 is not prime. Res64: 470374153B12BFD6 Time : 0.0 sec. user=mdettweiler [2017-05-18 17:18:58] 981*2^1454315-1 is not prime. Res64: 5D10CD01A2BE2053 Time : 0.0 sec. user=mdettweiler [2017-05-18 17:18:58] 629*2^1454316-1 is not prime. Res64: 37496140F99CF610 Time : 0.0 sec. user=mdettweiler [2017-05-18 17:18:59] 669*2^1454316-1 is not prime. Res64: EB452E0A8AA5D8EB Time : 0.0 sec. user=mdettweiler [2017-05-18 17:18:59] 705*2^1454316-1 is not prime. Res64: F7B3BA919DA14D92 Time : 0.0 sec. user=mdettweiler [2017-05-18 17:18:59] 779*2^1454316-1 is not prime. Res64: 4B61FABF510CCDF4 Time : 0.0 sec. user=mdettweiler [2017-05-18 17:40:37] 879*2^1454316-1 is not prime. Res64: D6A060DA93A14FE4 Time : 0.0 sec. user=mdettweiler [2017-05-18 17:40:37] 717*2^1454317-1 is not prime. Res64: 246BBE0D325493DA Time : 0.0 sec. user=mdettweiler [2017-05-18 17:40:38] 819*2^1454317-1 is not prime. Res64: 405838EC4E5700D9 Time : 0.0 sec. user=mdettweiler [2017-05-18 17:40:38] 831*2^1454317-1 is not prime. Res64: 4A5F432399C605A2 Time : 0.0 sec. user=mdettweiler [2017-05-18 17:40:39] 859*2^1454317-1 is not prime. Res64: CE9D79B8565D4CD5 Time : 0.0 sec. user=mdettweiler [2017-05-18 17:43:57] 871*2^1454317-1 is not prime. Res64: C873FCFFEAC1FEAF Time : 0.0 sec. user=mdettweiler [2017-05-18 17:43:57] 985*2^1454317-1 is not prime. Res64: 9F39F0CBF0241DA8 Time : 0.0 sec. user=mdettweiler [2017-05-18 17:43:57] 603*2^1454318-1 is not prime. Res64: FDECF7E20B672F15 Time : 0.0 sec. user=mdettweiler [2017-05-18 17:43:58] 677*2^1454318-1 is not prime. Res64: 015E0DFBB06CAC77 Time : 0.0 sec. user=mdettweiler [2017-05-18 17:43:58] 687*2^1454318-1 is not prime. Res64: 35C3FC21E04C6F95 Time : 0.0 sec. user=mdettweiler [2017-05-18 18:06:06] 711*2^1454318-1 is not prime. Res64: F0E175FD4F65BACD Time : 0.0 sec. user=mdettweiler [2017-05-18 18:06:07] 713*2^1454318-1 is not prime. Res64: 5C22AC2D8E1F3413 Time : 0.0 sec. user=mdettweiler [2017-05-18 18:06:07] 773*2^1454318-1 is not prime. Res64: 93A916FDBB561083 Time : 0.0 sec. user=mdettweiler [2017-05-18 18:06:07] 797*2^1454318-1 is not prime. Res64: 88268171B9D01E2D Time : 0.0 sec. user=mdettweiler [2017-05-18 18:06:08] 857*2^1454318-1 is not prime. Res64: D451EE2F35FE675A Time : 0.0 sec. user=mdettweiler [2017-05-18 18:27:32] 685*2^1454319-1 is not prime. Res64: 0893BE570E08B445 Time : 0.0 sec. user=mdettweiler [2017-05-18 18:27:33] 691*2^1454319-1 is not prime. Res64: F70EB009C95D4D77 Time : 0.0 sec. user=mdettweiler [2017-05-18 18:27:33] 973*2^1454319-1 is not prime. Res64: EBF308EB2583B346 Time : 0.0 sec. user=mdettweiler [2017-05-18 18:27:34] 687*2^1454320-1 is not prime. Res64: 49921CB8999B4215 Time : 0.0 sec. user=mdettweiler [2017-05-18 18:27:34] 773*2^1454320-1 is not prime. Res64: 39429CD6E8CE3881 Time : 0.0 sec. user=mdettweiler [2017-05-18 18:30:55] 855*2^1454320-1 is not prime. Res64: 5E95705AD12BF88B Time : 0.0 sec. user=mdettweiler [2017-05-18 18:30:56] 887*2^1454320-1 is not prime. Res64: 6B65203476F7EB42 Time : 0.0 sec. user=mdettweiler [2017-05-18 18:30:56] 917*2^1454320-1 is not prime. Res64: 4057B5224D05647F Time : 0.0 sec. user=mdettweiler [2017-05-18 18:30:57] 601*2^1454321-1 is not prime. Res64: D9EFE62027BF4F4A Time : 0.0 sec. user=mdettweiler [2017-05-18 18:30:57] 619*2^1454321-1 is not prime. Res64: 9DE3F8C37481C7A9 Time : 0.0 sec. user=mdettweiler [2017-05-18 18:53:29] 775*2^1454321-1 is not prime. Res64: 2751D73CAE0486A4 Time : 0.0 sec. user=mdettweiler [2017-05-18 18:53:29] 789*2^1454321-1 is not prime. Res64: 23C6D8EFA2EEBCEB Time : 0.0 sec. user=mdettweiler [2017-05-18 18:53:30] 871*2^1454321-1 is not prime. Res64: E85264DBEBCE04D4 Time : 0.0 sec. user=mdettweiler [2017-05-18 18:53:30] 879*2^1454321-1 is not prime. Res64: E76CECAF3D2AF5E5 Time : 0.0 sec. user=mdettweiler [2017-05-18 18:53:31] 909*2^1454321-1 is not prime. Res64: 209FDB4DBB384115 Time : 0.0 sec. user=juhehe [2017-05-18 18:57:37] 987*2^1454321-1 is not prime. Res64: 4C83872A6E1AACFB Time : 0.0 sec. user=mdettweiler [2017-05-18 19:14:35] 647*2^1454322-1 is not prime. Res64: 058B4C2DCED8F662 Time : 0.0 sec. user=mdettweiler [2017-05-18 19:14:35] 681*2^1454322-1 is not prime. Res64: 5ED0E28C2A095908 Time : 0.0 sec. user=mdettweiler [2017-05-18 19:14:36] 705*2^1454322-1 is not prime. Res64: E69DBCDBF3BBBCC3 Time : 0.0 sec. user=mdettweiler [2017-05-18 19:14:36] 713*2^1454322-1 is not prime. Res64: 8F7064103CA8003D Time : 0.0 sec. user=mdettweiler [2017-05-18 19:14:37] 717*2^1454322-1 is not prime. Res64: CCA73F47CD797931 Time : 0.0 sec. user=mdettweiler [2017-05-18 19:17:45] 765*2^1454322-1 is not prime. Res64: E3A518D850859398 Time : 0.0 sec. user=mdettweiler [2017-05-18 19:17:45] 873*2^1454322-1 is not prime. Res64: F2D0FCD4FBA7CB7B Time : 0.0 sec. user=mdettweiler [2017-05-18 19:17:46] 885*2^1454322-1 is not prime. Res64: ECA1AD45D3E9BD66 Time : 0.0 sec. user=mdettweiler [2017-05-18 19:17:46] 951*2^1454322-1 is not prime. Res64: 585EF0946343DEEF Time : 0.0 sec. user=mdettweiler [2017-05-18 19:17:47] 963*2^1454322-1 is not prime. Res64: 859DF374DB64C673 Time : 0.0 sec. user=mdettweiler [2017-05-18 19:39:47] 603*2^1454323-1 is not prime. Res64: 205836A94F283BA4 Time : 0.0 sec. user=mdettweiler [2017-05-18 19:39:47] 631*2^1454323-1 is not prime. Res64: 3CAE4E0B18D148CB Time : 0.0 sec. user=mdettweiler [2017-05-18 19:39:47] 685*2^1454323-1 is not prime. Res64: 21EDDBBE354767CE Time : 0.0 sec. user=mdettweiler [2017-05-18 19:39:48] 703*2^1454323-1 is not prime. Res64: 020E1371040074E9 Time : 0.0 sec. user=mdettweiler [2017-05-18 19:39:48] 769*2^1454323-1 is not prime. Res64: C73C962150D23010 Time : 0.0 sec. user=mdettweiler [2017-05-18 19:58:22] 805*2^1454323-1 is not prime. Res64: E6F8438A17575850 Time : 0.0 sec. user=mdettweiler [2017-05-18 19:58:22] 871*2^1454323-1 is not prime. Res64: 2A3935458419D274 Time : 0.0 sec. user=mdettweiler [2017-05-18 19:58:23] 919*2^1454323-1 is not prime. Res64: B88F1F8557758F93 Time : 0.0 sec. user=mdettweiler [2017-05-18 19:58:23] 945*2^1454323-1 is not prime. Res64: 0C5A433A6A999524 Time : 0.0 sec. user=mdettweiler [2017-05-18 19:58:23] 993*2^1454323-1 is not prime. Res64: 330B88252C152488 Time : 0.0 sec. user=mdettweiler [2017-05-18 20:00:20] 615*2^1454324-1 is not prime. Res64: 0A628E50ACDE25F2 Time : 0.0 sec. user=mdettweiler [2017-05-18 20:00:21] 635*2^1454324-1 is not prime. Res64: 0A7D4BBAEA5F9585 Time : 0.0 sec. user=mdettweiler [2017-05-18 20:00:22] 885*2^1454324-1 is not prime. Res64: B9333A9BF532B7B4 Time : 0.0 sec. user=mdettweiler [2017-05-18 20:00:24] 717*2^1454325-1 is not prime. Res64: 3C3BF6E7297721E0 Time : 0.0 sec. user=mdettweiler [2017-05-18 20:00:25] 781*2^1454325-1 is not prime. Res64: 559A15D39BF73386 Time : 0.0 sec. user=mdettweiler [2017-05-18 20:03:29] 895*2^1454325-1 is not prime. Res64: 2F219FC4554BA3DC Time : 0.0 sec. user=mdettweiler [2017-05-18 20:03:30] 915*2^1454325-1 is not prime. Res64: 882AFB048A54EE2F Time : 0.0 sec. user=mdettweiler [2017-05-18 20:03:31] 919*2^1454325-1 is not prime. Res64: 091E9425519C84F8 Time : 0.0 sec. user=mdettweiler [2017-05-18 20:03:33] 969*2^1454325-1 is not prime. Res64: C4C452C35DAB16BE Time : 0.0 sec. user=mdettweiler [2017-05-18 20:03:35] 647*2^1454326-1 is not prime. Res64: 0407F35468CA2988 Time : 0.0 sec. user=mdettweiler [2017-05-18 20:25:38] 773*2^1454326-1 is not prime. Res64: F4501A653BAAC172 Time : 0.0 sec. user=mdettweiler [2017-05-18 20:25:38] 785*2^1454326-1 is not prime. Res64: C767E94664860F86 Time : 0.0 sec. user=mdettweiler [2017-05-18 20:25:39] 857*2^1454326-1 is not prime. Res64: FB5DA4B4A263703E Time : 0.0 sec. user=mdettweiler [2017-05-18 20:25:39] 739*2^1454327-1 is not prime. Res64: 14F576BCAD6ACC95 Time : 0.0 sec. user=mdettweiler [2017-05-18 20:25:40] 799*2^1454327-1 is not prime. Res64: 9F32EDE2742B31CB Time : 0.0 sec. user=mdettweiler [2017-05-18 20:44:34] 825*2^1454327-1 is not prime. Res64: 7614E87C0C8E4CE0 Time : 0.0 sec. user=mdettweiler [2017-05-18 20:44:34] 939*2^1454327-1 is not prime. Res64: 096024106B0F966A Time : 0.0 sec. user=mdettweiler [2017-05-18 20:44:35] 955*2^1454327-1 is not prime. Res64: 0DD8FDCA66CA6703 Time : 0.0 sec. user=mdettweiler [2017-05-18 20:44:35] 973*2^1454327-1 is not prime. Res64: C807CB143B138586 Time : 0.0 sec. user=mdettweiler [2017-05-18 20:44:35] 979*2^1454327-1 is not prime. Res64: FC2A64F8C0545B86 Time : 0.0 sec. user=mdettweiler [2017-05-18 20:46:45] 985*2^1454327-1 is not prime. Res64: B20532ABA935F12A Time : 0.0 sec. user=mdettweiler [2017-05-18 20:46:45] 707*2^1454328-1 is not prime. Res64: AA158049BB47470A Time : 0.0 sec. user=mdettweiler [2017-05-18 20:46:46] 737*2^1454328-1 is not prime. Res64: 3AEBB586B4A1524D Time : 0.0 sec. user=mdettweiler [2017-05-18 20:46:46] 845*2^1454328-1 is not prime. Res64: F6A8790D9903D1CB Time : 0.0 sec. user=mdettweiler [2017-05-18 20:46:46] 923*2^1454328-1 is not prime. Res64: 8169E4C815DF5652 Time : 0.0 sec. user=mdettweiler [2017-05-18 20:49:58] 639*2^1454329-1 is not prime. Res64: 37CBEEC49D280ECB Time : 0.0 sec. user=mdettweiler [2017-05-18 20:49:59] 679*2^1454329-1 is not prime. Res64: 6B7D807D6C4C5FB8 Time : 0.0 sec. user=mdettweiler [2017-05-18 20:49:59] 699*2^1454329-1 is not prime. Res64: 4B5DF754DA9E33D2 Time : 0.0 sec. user=mdettweiler [2017-05-18 20:49:59] 747*2^1454329-1 is not prime. Res64: 144DBB2A4E3030B0 Time : 0.0 sec. user=mdettweiler [2017-05-18 20:50:00] 931*2^1454329-1 is not prime. Res64: 4C5EA393A05D9CA4 Time : 0.0 sec. user=juhehe [2017-05-18 21:01:13] 633*2^1454330-1 is not prime. Res64: 7FBF8DC489ECA002 Time : 0.0 sec. user=mdettweiler [2017-05-18 21:11:59] 711*2^1454330-1 is not prime. Res64: 661749B6CE32549A Time : 0.0 sec. user=mdettweiler [2017-05-18 21:11:59] 791*2^1454330-1 is not prime. Res64: 0EBB5CAB9D1E1323 Time : 0.0 sec. user=mdettweiler [2017-05-18 21:12:00] 797*2^1454330-1 is not prime. Res64: 08430525E6611F69 Time : 0.0 sec. user=mdettweiler [2017-05-18 21:12:00] 813*2^1454330-1 is not prime. Res64: F14BB71913F7B6C8 Time : 0.0 sec. user=mdettweiler [2017-05-18 21:12:01] 923*2^1454330-1 is not prime. Res64: 382CF9C25AE2960D Time : 0.0 sec. user=mdettweiler [2017-05-18 21:30:07] 723*2^1454331-1 is not prime. Res64: 51747A79CCF7E27D Time : 0.0 sec. user=mdettweiler [2017-05-18 21:30:07] 861*2^1454331-1 is not prime. Res64: B81BDEBE0896EF5E Time : 0.0 sec. user=mdettweiler [2017-05-18 21:30:07] 879*2^1454331-1 is not prime. Res64: C64361B0F8316AD9 Time : 0.0 sec. user=mdettweiler [2017-05-18 21:30:08] 921*2^1454331-1 is not prime. Res64: 695B9094B5EFA4DB Time : 0.0 sec. user=mdettweiler [2017-05-18 21:30:08] 973*2^1454331-1 is not prime. Res64: 6D7966A9D69D47EF Time : 0.0 sec. user=mdettweiler [2017-05-18 21:32:21] 687*2^1454332-1 is not prime. Res64: DD1E545840A51BE3 Time : 0.0 sec. user=mdettweiler [2017-05-18 21:32:22] 723*2^1454332-1 is not prime. Res64: 23C035B173FD0C03 Time : 0.0 sec. user=mdettweiler [2017-05-18 21:32:22] 803*2^1454332-1 is not prime. Res64: D162BD22F24DE018 Time : 0.0 sec. user=mdettweiler [2017-05-18 21:32:22] 819*2^1454332-1 is not prime. Res64: B4C37B8153D9CD0B Time : 0.0 sec. user=mdettweiler [2017-05-18 21:32:23] 939*2^1454332-1 is not prime. Res64: 1952B0835E3B8B12 Time : 0.0 sec. user=mdettweiler [2017-05-18 21:35:32] 669*2^1454333-1 is not prime. Res64: 18E79098CFC47ED1 Time : 0.0 sec. user=mdettweiler [2017-05-18 21:35:32] 685*2^1454333-1 is not prime. Res64: BE3E88894419D8D4 Time : 0.0 sec. user=mdettweiler [2017-05-18 21:35:32] 735*2^1454333-1 is not prime. Res64: 161461B6C9BA5D89 Time : 0.0 sec. user=mdettweiler [2017-05-18 21:35:32] 861*2^1454333-1 is not prime. Res64: F1B6BE92C7EE83CE Time : 0.0 sec. user=mdettweiler [2017-05-18 21:35:33] 871*2^1454333-1 is not prime. Res64: 0C666B8B311D6982 Time : 0.0 sec. user=mdettweiler [2017-05-18 21:57:41] 949*2^1454333-1 is not prime. Res64: EB38307F8E4A5708 Time : 0.0 sec. user=mdettweiler [2017-05-18 21:57:41] 967*2^1454333-1 is not prime. Res64: 832DF1923E1B18FB Time : 0.0 sec. user=mdettweiler [2017-05-18 21:57:41] 651*2^1454334-1 is not prime. Res64: 34D9E6FD3822E864 Time : 0.0 sec. user=mdettweiler [2017-05-18 21:57:42] 681*2^1454334-1 is not prime. Res64: 1D6181719001E7A4 Time : 0.0 sec. user=mdettweiler [2017-05-18 21:57:42] 723*2^1454334-1 is not prime. Res64: 4968C17F18CDF29D Time : 0.0 sec. user=mdettweiler [2017-05-18 22:15:44] 731*2^1454334-1 is not prime. Res64: 3B7D9ABB73625A16 Time : 0.0 sec. user=mdettweiler [2017-05-18 22:15:44] 783*2^1454334-1 is not prime. Res64: 6B9A2AC099A1728D Time : 0.0 sec. user=mdettweiler [2017-05-18 22:15:44] 833*2^1454334-1 is not prime. Res64: 862168DCD70551BD Time : 0.0 sec. user=mdettweiler [2017-05-18 22:15:45] 983*2^1454334-1 is not prime. Res64: D399269AE3D693A6 Time : 0.0 sec. user=mdettweiler [2017-05-18 22:15:45] 625*2^1454335-1 is not prime. Res64: 6FA20C8699B05FB6 Time : 0.0 sec. user=mdettweiler [2017-05-18 22:17:56] 645*2^1454335-1 is not prime. Res64: 88120239FF24022F Time : 0.0 sec. user=mdettweiler [2017-05-18 22:17:56] 771*2^1454335-1 is not prime. Res64: 46C9071890438E05 Time : 0.0 sec. user=mdettweiler [2017-05-18 22:17:56] 961*2^1454335-1 is not prime. Res64: 3E67CB0E2728FB13 Time : 0.0 sec. user=mdettweiler [2017-05-18 22:17:56] 999*2^1454335-1 is not prime. Res64: 522818ADC850DDE8 Time : 0.0 sec. user=mdettweiler [2017-05-18 22:17:57] 623*2^1454336-1 is not prime. Res64: 9BFD123979B51250 Time : 0.0 sec. user=mdettweiler [2017-05-18 22:21:02] 869*2^1454336-1 is not prime. Res64: 87DCE966BB20E24D Time : 0.0 sec. user=mdettweiler [2017-05-18 22:21:02] 999*2^1454336-1 is not prime. Res64: 62CA98714F55631C Time : 0.0 sec. user=mdettweiler [2017-05-18 22:21:02] 601*2^1454337-1 is not prime. Res64: D5A672325DD4FA30 Time : 0.0 sec. user=mdettweiler [2017-05-18 22:21:03] 795*2^1454337-1 is not prime. Res64: 8B32F5658B2F0310 Time : 0.0 sec. user=mdettweiler [2017-05-18 22:21:03] 847*2^1454337-1 is not prime. Res64: 1AE8FBE95D3C4733 Time : 0.0 sec. user=juhehe [2017-05-18 22:21:27] 861*2^1454337-1 is not prime. Res64: B3D08926EC7C396B Time : 0.0 sec. user=mdettweiler [2017-05-18 22:43:03] 867*2^1454337-1 is not prime. Res64: 33AEE20C2510D6F3 Time : 0.0 sec. user=mdettweiler [2017-05-18 22:43:03] 871*2^1454337-1 is not prime. Res64: 938804336B88B1A3 Time : 0.0 sec. user=mdettweiler [2017-05-18 22:43:04] 945*2^1454337-1 is not prime. Res64: 331EF0420A40ABC2 Time : 0.0 sec. user=mdettweiler [2017-05-18 22:43:04] 611*2^1454338-1 is not prime. Res64: A7AA2060A5A8F0CB Time : 0.0 sec. user=mdettweiler [2017-05-18 22:43:04] 677*2^1454338-1 is not prime. Res64: B1789DE4FBC88887 Time : 0.0 sec. user=mdettweiler [2017-05-18 23:01:16] 831*2^1454338-1 is not prime. Res64: 8E4F4B59D91DF9F8 Time : 0.0 sec. user=mdettweiler [2017-05-18 23:01:16] 855*2^1454338-1 is not prime. Res64: 83061138E7C4A6C1 Time : 0.0 sec. user=mdettweiler [2017-05-18 23:01:17] 885*2^1454338-1 is not prime. Res64: DBEE0BC3706F9EB3 Time : 0.0 sec. user=mdettweiler [2017-05-18 23:01:18] 915*2^1454338-1 is not prime. Res64: C079DF1E98D1F818 Time : 0.0 sec. user=mdettweiler [2017-05-18 23:01:19] 951*2^1454338-1 is not prime. Res64: 84DEF3F50BFFAF17 Time : 0.0 sec. user=mdettweiler [2017-05-18 23:03:15] 987*2^1454338-1 is not prime. Res64: CE10E2FD23CECD03 Time : 0.0 sec. user=mdettweiler [2017-05-18 23:03:17] 663*2^1454339-1 is not prime. Res64: AD928D1F9C80FE7C Time : 0.0 sec. user=mdettweiler [2017-05-18 23:03:18] 745*2^1454339-1 is not prime. Res64: 05ECA9BB321287F6 Time : 0.0 sec. user=mdettweiler [2017-05-18 23:03:19] 759*2^1454339-1 is not prime. Res64: 877637BDD69481F1 Time : 0.0 sec. user=mdettweiler [2017-05-18 23:03:20] 949*2^1454339-1 is not prime. Res64: 894C041F0D1652A3 Time : 0.0 sec. user=mdettweiler [2017-05-18 23:06:37] 635*2^1454340-1 is not prime. Res64: 7F66EB458A738D97 Time : 0.0 sec. user=mdettweiler [2017-05-18 23:06:38] 665*2^1454340-1 is not prime. Res64: 6F583B41096BE6DA Time : 0.0 sec. user=mdettweiler [2017-05-18 23:06:39] 669*2^1454340-1 is not prime. Res64: AB07E5FD81E25CEB Time : 0.0 sec. user=mdettweiler [2017-05-18 23:06:40] 717*2^1454340-1 is not prime. Res64: 9A01B3D81A2003B4 Time : 0.0 sec. user=mdettweiler [2017-05-18 23:06:41] 765*2^1454340-1 is not prime. Res64: 9C7152F83E76C97D Time : 0.0 sec. user=mdettweiler [2017-05-18 23:29:25] 777*2^1454340-1 is not prime. Res64: C6D784F44176C7E4 Time : 0.0 sec. user=mdettweiler [2017-05-18 23:29:25] 779*2^1454340-1 is not prime. Res64: B25783B60E85FCAA Time : 0.0 sec. user=mdettweiler [2017-05-18 23:29:26] 803*2^1454340-1 is not prime. Res64: BB8E4F8F289DDEC6 Time : 0.0 sec. user=mdettweiler [2017-05-18 23:29:26] 875*2^1454340-1 is not prime. Res64: EF1E36BAEC035116 Time : 0.0 sec. user=mdettweiler [2017-05-18 23:29:26] 929*2^1454340-1 is not prime. Res64: 8D0C5A7D40577859 Time : 0.0 sec.