user=mdettweiler [2016-10-02 00:10:14] 625*2^1441413-1 is not prime. Res64: A4B491C599BB9B42 Time : 0.0 sec. user=mdettweiler [2016-10-02 00:10:16] 639*2^1441413-1 is not prime. Res64: 0D4FB026709BDE2B Time : 0.0 sec. user=mdettweiler [2016-10-02 00:10:17] 741*2^1441413-1 is not prime. Res64: 1C9A8C30E5A52B9F Time : 0.0 sec. user=mdettweiler [2016-10-02 00:10:19] 919*2^1441413-1 is not prime. Res64: 50B0E717E1DDB3F3 Time : 0.0 sec. user=mdettweiler [2016-10-02 00:10:19] 751*2^1441413-1 is not prime. Res64: A4F70704B6EF2D00 Time : 0.0 sec. user=mdettweiler [2016-10-02 00:10:20] 623*2^1441414-1 is not prime. Res64: 92D9D42BA15ACD56 Time : 0.0 sec. user=mdettweiler [2016-10-02 00:10:21] 861*2^1441413-1 is not prime. Res64: 08AF41E1C7F5D1FA Time : 0.0 sec. user=mdettweiler [2016-10-02 00:10:22] 723*2^1441414-1 is not prime. Res64: 9B29342F75A3E3C4 Time : 0.0 sec. user=mdettweiler [2016-10-02 00:10:23] 791*2^1441414-1 is not prime. Res64: 7925B6F96550C3A7 Time : 0.0 sec. user=mdettweiler [2016-10-02 00:10:24] 855*2^1441414-1 is not prime. Res64: 601021CEED3644F6 Time : 0.0 sec. user=mdettweiler [2016-10-02 00:36:27] 861*2^1441414-1 is not prime. Res64: A6CAB9541467C371 Time : 0.0 sec. user=mdettweiler [2016-10-02 00:36:27] 917*2^1441414-1 is not prime. Res64: 99176C873A88E019 Time : 0.0 sec. user=mdettweiler [2016-10-02 00:36:28] 1001*2^1441414-1 is not prime. Res64: 120AC937971C9809 Time : 0.0 sec. user=mdettweiler [2016-10-02 00:36:28] 601*2^1441415-1 is not prime. Res64: 540A7681C3AF454C Time : 0.0 sec. user=mdettweiler [2016-10-02 00:36:28] 669*2^1441415-1 is not prime. Res64: 74DD194D5836AA51 Time : 0.0 sec. user=mdettweiler [2016-10-02 00:57:01] 635*2^1441416-1 is not prime. Res64: 676F46E8024922E5 Time : 0.0 sec. user=mdettweiler [2016-10-02 00:57:01] 675*2^1441416-1 is not prime. Res64: 094DADD44CBAC4EE Time : 0.0 sec. user=mdettweiler [2016-10-02 00:57:02] 689*2^1441416-1 is not prime. Res64: 03CD5E6A2730DBF6 Time : 0.0 sec. user=mdettweiler [2016-10-02 00:57:02] 695*2^1441416-1 is not prime. Res64: D027C3A3BACEDFA4 Time : 0.0 sec. user=mdettweiler [2016-10-02 00:57:02] 747*2^1441416-1 is not prime. Res64: 397D864DB74F9DA6 Time : 0.0 sec. user=mdettweiler [2016-10-02 00:57:04] 739*2^1441415-1 is not prime. Res64: 7FE2EF01F2C44EEC Time : 0.0 sec. user=mdettweiler [2016-10-02 00:57:04] 861*2^1441415-1 is not prime. Res64: CD17E30A1F7BF706 Time : 0.0 sec. user=mdettweiler [2016-10-02 00:57:05] 885*2^1441415-1 is not prime. Res64: E7617D56C65BF911 Time : 0.0 sec. user=mdettweiler [2016-10-02 00:57:05] 915*2^1441415-1 is not prime. Res64: E68003BBAEA914AD Time : 0.0 sec. user=mdettweiler [2016-10-02 00:57:05] 633*2^1441416-1 is not prime. Res64: D1D8619FDB4E3541 Time : 0.0 sec. user=mdettweiler [2016-10-02 01:22:36] 777*2^1441416-1 is not prime. Res64: 5C119FF198237DAC Time : 0.0 sec. user=mdettweiler [2016-10-02 01:22:37] 779*2^1441416-1 is not prime. Res64: 808541D37FECD6F0 Time : 0.0 sec. user=mdettweiler [2016-10-02 01:22:37] 815*2^1441416-1 is not prime. Res64: BD1864E39B12BDFF Time : 0.0 sec. user=mdettweiler [2016-10-02 01:22:37] 893*2^1441416-1 is not prime. Res64: 684F9F6CB7BBF233 Time : 0.0 sec. user=mdettweiler [2016-10-02 01:22:38] 905*2^1441416-1 is not prime. Res64: B7A0529684803686 Time : 0.0 sec. user=mdettweiler [2016-10-02 01:43:13] 909*2^1441416-1 is not prime. Res64: 9C2528BEF0C1F929 Time : 0.0 sec. user=mdettweiler [2016-10-02 01:43:13] 649*2^1441417-1 is not prime. Res64: C9803D0D4653E128 Time : 0.0 sec. user=mdettweiler [2016-10-02 01:43:13] 675*2^1441417-1 is not prime. Res64: 81C61F9EB38ECAD6 Time : 0.0 sec. user=mdettweiler [2016-10-02 01:43:14] 747*2^1441417-1 is not prime. Res64: 7C95DD5FEA1316E4 Time : 0.0 sec. user=mdettweiler [2016-10-02 01:43:14] 769*2^1441417-1 is not prime. Res64: 6140F06EC49BEA7A Time : 0.0 sec. user=mdettweiler [2016-10-02 01:43:22] 841*2^1441417-1 is not prime. Res64: 6887A09EF8D6F380 Time : 0.0 sec. user=mdettweiler [2016-10-02 01:43:23] 889*2^1441417-1 is not prime. Res64: 015303A35D95C5B4 Time : 0.0 sec. user=mdettweiler [2016-10-02 01:43:23] 901*2^1441417-1 is not prime. Res64: E771A274EEB43DEE Time : 0.0 sec. user=mdettweiler [2016-10-02 01:43:23] 955*2^1441417-1 is not prime. Res64: 63EE6A33EBAAE376 Time : 0.0 sec. user=mdettweiler [2016-10-02 01:43:24] 665*2^1441418-1 is not prime. Res64: D4A1EBA47F67FD02 Time : 0.0 sec. user=mdettweiler [2016-10-02 02:04:16] 803*2^1441410-1 is not prime. Res64: A789C469D0520F71 Time : 0.0 sec. user=mdettweiler [2016-10-02 02:04:17] 851*2^1441410-1 is not prime. Res64: 9AC69BA76FC26C09 Time : 0.0 sec. user=mdettweiler [2016-10-02 02:08:53] 711*2^1441418-1 is not prime. Res64: 34F2A44BDDD939FA Time : 0.0 sec. user=mdettweiler [2016-10-02 02:08:54] 731*2^1441418-1 is not prime. Res64: FA7D405194129631 Time : 0.0 sec. user=mdettweiler [2016-10-02 02:08:55] 935*2^1441418-1 is not prime. Res64: 50EE0907AB79DF63 Time : 0.0 sec. user=mdettweiler [2016-10-02 02:08:56] 951*2^1441418-1 is not prime. Res64: F78431DAB562CC50 Time : 0.0 sec. user=mdettweiler [2016-10-02 02:08:56] 963*2^1441418-1 is not prime. Res64: 0AC5F7BFC650CB27 Time : 0.0 sec. user=mdettweiler [2016-10-02 02:29:05] 995*2^1441418-1 is not prime. Res64: E1D9132C53AFE0D0 Time : 0.0 sec. user=mdettweiler [2016-10-02 02:29:06] 625*2^1441419-1 is not prime. Res64: CB11FCFD9294DDB1 Time : 0.0 sec. user=mdettweiler [2016-10-02 02:29:07] 705*2^1441419-1 is not prime. Res64: EA8800C22062DB1A Time : 0.0 sec. user=mdettweiler [2016-10-02 02:29:08] 835*2^1441419-1 is not prime. Res64: 33693A60C4C20805 Time : 0.0 sec. user=mdettweiler [2016-10-02 02:29:09] 969*2^1441419-1 is not prime. Res64: C52A558A4DACB7A4 Time : 0.0 sec. user=mdettweiler [2016-10-02 02:29:18] 663*2^1441420-1 is not prime. Res64: 5E1D4B410B792409 Time : 0.0 sec. user=mdettweiler [2016-10-02 02:29:19] 717*2^1441420-1 is not prime. Res64: 18C6C99B15837930 Time : 0.0 sec. user=mdettweiler [2016-10-02 02:29:20] 827*2^1441420-1 is not prime. Res64: 06DA984FEFDF1386 Time : 0.0 sec. user=mdettweiler [2016-10-02 02:29:20] 929*2^1441420-1 is not prime. Res64: 6A7314B32DC83201 Time : 0.0 sec. user=mdettweiler [2016-10-02 02:29:21] 939*2^1441420-1 is not prime. Res64: 97E2CF3E03F4D8D2 Time : 0.0 sec. user=mdettweiler [2016-10-02 02:49:37] 747*2^1441421-1 is not prime. Res64: 6402AD750E6733C2 Time : 0.0 sec. user=mdettweiler [2016-10-02 02:49:38] 795*2^1441421-1 is not prime. Res64: 29F50745FE2871D3 Time : 0.0 sec. user=mdettweiler [2016-10-02 02:49:38] 837*2^1441421-1 is not prime. Res64: 8A68FF9AF15A7A22 Time : 0.0 sec. user=mdettweiler [2016-10-02 02:49:39] 671*2^1441422-1 is not prime. Res64: D23D77C9891BC47E Time : 0.0 sec. user=mdettweiler [2016-10-02 02:49:39] 683*2^1441422-1 is not prime. Res64: A1CD36B11ABF5818 Time : 0.0 sec. user=mdettweiler [2016-10-02 02:54:03] 711*2^1441422-1 is not prime. Res64: 2E94C0FB04DB1762 Time : 0.0 sec. user=mdettweiler [2016-10-02 02:54:03] 741*2^1441422-1 is not prime. Res64: D1F75484E87D2584 Time : 0.0 sec. user=mdettweiler [2016-10-02 02:54:04] 821*2^1441422-1 is not prime. Res64: 34D769EE61E0A3B3 Time : 0.0 sec. user=mdettweiler [2016-10-02 02:54:04] 649*2^1441423-1 is not prime. Res64: C72B51A98AB66E53 Time : 0.0 sec. user=mdettweiler [2016-10-02 02:54:05] 703*2^1441423-1 is not prime. Res64: 523EDDDDF8EB679C Time : 0.0 sec. user=mdettweiler [2016-10-02 03:14:49] 659*2^1441424-1 is not prime. Res64: DC5D0AFFA3FEA819 Time : 0.0 sec. user=mdettweiler [2016-10-02 03:14:50] 683*2^1441424-1 is not prime. Res64: 3B2BE9CFDF9B126D Time : 0.0 sec. user=mdettweiler [2016-10-02 03:14:50] 795*2^1441424-1 is not prime. Res64: F79B3A3823170903 Time : 0.0 sec. user=mdettweiler [2016-10-02 03:14:51] 857*2^1441424-1 is not prime. Res64: 8EE3908CB0DC721E Time : 0.0 sec. user=mdettweiler [2016-10-02 03:14:52] 873*2^1441424-1 is not prime. Res64: E8D1F3C262C1463E Time : 0.0 sec. user=mdettweiler [2016-10-02 03:15:04] 705*2^1441423-1 is not prime. Res64: 0531B710DE150A6D Time : 0.0 sec. user=mdettweiler [2016-10-02 03:15:05] 729*2^1441423-1 is not prime. Res64: 89E9978C8AFE0617 Time : 0.0 sec. user=mdettweiler [2016-10-02 03:15:06] 871*2^1441423-1 is not prime. Res64: 156EE731F7CB6FD7 Time : 0.0 sec. user=mdettweiler [2016-10-02 03:15:06] 895*2^1441423-1 is not prime. Res64: 18567389BDB48606 Time : 0.0 sec. user=mdettweiler [2016-10-02 03:15:07] 635*2^1441424-1 is not prime. Res64: AE51B9C9CD9BAE12 Time : 0.0 sec. user=mdettweiler [2016-10-02 03:35:20] 651*2^1441425-1 is not prime. Res64: 3835A0AF9A7ADCE8 Time : 0.0 sec. user=mdettweiler [2016-10-02 03:35:23] 699*2^1441425-1 is not prime. Res64: 16E84F74BB1DDC63 Time : 0.0 sec. user=mdettweiler [2016-10-02 03:35:27] 705*2^1441425-1 is not prime. Res64: FF052D78628E3293 Time : 0.0 sec. user=mdettweiler [2016-10-02 03:35:28] 885*2^1441425-1 is not prime. Res64: 75751F49A110D6D5 Time : 0.0 sec. user=mdettweiler [2016-10-02 03:35:30] 937*2^1441425-1 is not prime. Res64: 9A3EF19AFA2E64A7 Time : 0.0 sec. user=mdettweiler [2016-10-02 03:39:54] 611*2^1441426-1 is not prime. Res64: 6B0365FD1A82E398 Time : 0.0 sec. user=mdettweiler [2016-10-02 03:39:59] 617*2^1441426-1 is not prime. Res64: 373C125E762497A7 Time : 0.0 sec. user=mdettweiler [2016-10-02 03:40:04] 623*2^1441426-1 is not prime. Res64: E5ABE2793B09FBA0 Time : 0.0 sec. user=mdettweiler [2016-10-02 03:40:10] 801*2^1441426-1 is not prime. Res64: 29F353FE9D1D77B6 Time : 0.0 sec. user=mdettweiler [2016-10-02 03:40:15] 941*2^1441426-1 is not prime. Res64: B64D1FB2875EB02A Time : 0.0 sec. user=mdettweiler [2016-10-02 04:00:25] 601*2^1441427-1 is not prime. Res64: F340D796F4312210 Time : 0.0 sec. user=mdettweiler [2016-10-02 04:00:27] 619*2^1441427-1 is not prime. Res64: F7843034CB3A52CA Time : 0.0 sec. user=mdettweiler [2016-10-02 04:00:35] 735*2^1441427-1 is not prime. Res64: 9B00BA52BAE636C6 Time : 0.0 sec. user=mdettweiler [2016-10-02 04:00:42] 753*2^1441428-1 is not prime. Res64: 2F4A9792E9BAE020 Time : 0.0 sec. user=mdettweiler [2016-10-02 04:00:45] 647*2^1441428-1 is not prime. Res64: 171AA548B43D16CB Time : 0.0 sec. user=mdettweiler [2016-10-02 04:00:52] 707*2^1441428-1 is not prime. Res64: A6A17DDD35242873 Time : 0.0 sec. user=mdettweiler [2016-10-02 04:22:53] 867*2^1441429-1 is not prime. Res64: 4BFC81C1ACAEB15A Time : 0.0 sec. user=mdettweiler [2016-10-02 04:22:53] 945*2^1441429-1 is not prime. Res64: 3910D8327C46AA7E Time : 0.0 sec. user=mdettweiler [2016-10-02 04:22:53] 623*2^1441430-1 is not prime. Res64: 55BD63E817CA1D72 Time : 0.0 sec. user=mdettweiler [2016-10-02 04:22:54] 635*2^1441430-1 is not prime. Res64: B6F965509B145C96 Time : 0.0 sec. user=mdettweiler [2016-10-02 04:22:54] 649*2^1441431-1 is not prime. Res64: 5F9631A165770A02 Time : 0.0 sec. user=mdettweiler [2016-10-02 04:27:37] 751*2^1441431-1 is not prime. Res64: F7B3F01A219511D6 Time : 0.0 sec. user=mdettweiler [2016-10-02 04:27:38] 783*2^1441431-1 is not prime. Res64: AE5C9E2B90607A83 Time : 0.0 sec. user=mdettweiler [2016-10-02 04:27:38] 885*2^1441431-1 is not prime. Res64: 4DD7865D15950C65 Time : 0.0 sec. user=mdettweiler [2016-10-02 04:27:38] 931*2^1441431-1 is not prime. Res64: 43A1133BC03B3F4D Time : 0.0 sec. user=mdettweiler [2016-10-02 04:27:39] 973*2^1441431-1 is not prime. Res64: 05B49766F9BB1A18 Time : 0.0 sec. user=mdettweiler [2016-10-02 04:48:32] 687*2^1441432-1 is not prime. Res64: 6FF31545D0799E57 Time : 0.0 sec. user=mdettweiler [2016-10-02 04:48:33] 713*2^1441432-1 is not prime. Res64: A1616CD210A1D164 Time : 0.0 sec. user=mdettweiler [2016-10-02 04:48:33] 797*2^1441432-1 is not prime. Res64: BD43A6FEAB204AE8 Time : 0.0 sec. user=mdettweiler [2016-10-02 04:48:33] 607*2^1441433-1 is not prime. Res64: F8821389E84C6FFC Time : 0.0 sec. user=mdettweiler [2016-10-02 04:48:34] 627*2^1441433-1 is not prime. Res64: E1C2FAD4CEA4035B Time : 0.0 sec. user=mdettweiler [2016-10-02 05:09:30] 669*2^1441433-1 is not prime. Res64: EB1010091A85ADF2 Time : 0.0 sec. user=mdettweiler [2016-10-02 05:09:30] 715*2^1441433-1 is not prime. Res64: 3B29B2C02357694C Time : 0.0 sec. user=mdettweiler [2016-10-02 05:09:31] 735*2^1441433-1 is not prime. Res64: 90AE408A9E165DB3 Time : 0.0 sec. user=mdettweiler [2016-10-02 05:09:31] 837*2^1441433-1 is not prime. Res64: DC361AE2594813C4 Time : 0.0 sec. user=mdettweiler [2016-10-02 05:09:32] 867*2^1441433-1 is not prime. Res64: 097693476107C967 Time : 0.0 sec. user=mdettweiler [2016-10-02 05:14:11] 879*2^1441433-1 is not prime. Res64: 80013F2F24BE06F6 Time : 0.0 sec. user=mdettweiler [2016-10-02 05:14:11] 925*2^1441433-1 is not prime. Res64: D04EF5C38533ABE1 Time : 0.0 sec. user=mdettweiler [2016-10-02 05:14:11] 951*2^1441433-1 is not prime. Res64: 5DE755464F00316A Time : 0.0 sec. user=mdettweiler [2016-10-02 05:14:12] 825*2^1441434-1 is not prime. Res64: B16217ECF42D9551 Time : 0.0 sec. user=mdettweiler [2016-10-02 05:14:12] 837*2^1441434-1 is not prime. Res64: 98EC56188D671055 Time : 0.0 sec. user=mdettweiler [2016-10-02 05:35:05] 927*2^1441434-1 is not prime. Res64: 32ED48A7C9AC62DF Time : 0.0 sec. user=mdettweiler [2016-10-02 05:35:05] 941*2^1441434-1 is not prime. Res64: 40AD0E686E46B92B Time : 0.0 sec. user=mdettweiler [2016-10-02 05:35:06] 993*2^1441434-1 is not prime. Res64: 40517466E6E1CB9F Time : 0.0 sec. user=mdettweiler [2016-10-02 05:35:06] 619*2^1441435-1 is not prime. Res64: 473140CEC276FBEB Time : 0.0 sec. user=mdettweiler [2016-10-02 05:35:06] 639*2^1441435-1 is not prime. Res64: C1FAEFA7D333C1B1 Time : 0.0 sec. user=mdettweiler [2016-10-02 05:55:58] 741*2^1441435-1 is not prime. Res64: 18BC0A324C5B9627 Time : 0.0 sec. user=mdettweiler [2016-10-02 05:55:59] 751*2^1441435-1 is not prime. Res64: 193407F8DE0E3116 Time : 0.0 sec. user=mdettweiler [2016-10-02 05:55:59] 801*2^1441435-1 is not prime. Res64: 4A10EF309D465D54 Time : 0.0 sec. user=mdettweiler [2016-10-02 05:55:59] 855*2^1441435-1 is not prime. Res64: 69F2DF8ADF8C5EE7 Time : 0.0 sec. user=mdettweiler [2016-10-02 05:56:00] 919*2^1441435-1 is not prime. Res64: 86AD33F3C0550CCF Time : 0.0 sec. user=mdettweiler [2016-10-02 06:00:54] 979*2^1441435-1 is not prime. Res64: 47EA6134B77F3EBD Time : 0.0 sec. user=mdettweiler [2016-10-02 06:00:55] 759*2^1441436-1 is not prime. Res64: 6E3F5213B487FD99 Time : 0.0 sec. user=mdettweiler [2016-10-02 06:00:56] 789*2^1441436-1 is not prime. Res64: 9F1D8332998FF3C7 Time : 0.0 sec. user=mdettweiler [2016-10-02 06:00:57] 827*2^1441436-1 is not prime. Res64: C81A9543A1D8B151 Time : 0.0 sec. user=mdettweiler [2016-10-02 06:00:58] 855*2^1441436-1 is not prime. Res64: 961B5D2A3776EEB1 Time : 0.0 sec. user=mdettweiler [2016-10-02 06:21:39] 893*2^1441436-1 is not prime. Res64: A80BAEA1ED6A7319 Time : 0.0 sec. user=mdettweiler [2016-10-02 06:21:40] 983*2^1441436-1 is not prime. Res64: CC5355BB22792D57 Time : 0.0 sec. user=mdettweiler [2016-10-02 06:21:40] 885*2^1441437-1 is not prime. Res64: 2D95E193BE10AA44 Time : 0.0 sec. user=mdettweiler [2016-10-02 06:21:40] 949*2^1441437-1 is not prime. Res64: 683156510EFBF8FA Time : 0.0 sec. user=mdettweiler [2016-10-02 06:21:41] 611*2^1441438-1 is not prime. Res64: E205BD82E7DD68BA Time : 0.0 sec. user=mdettweiler [2016-10-02 06:43:10] 743*2^1441438-1 is not prime. Res64: F434B59092EF5EA0 Time : 0.0 sec. user=mdettweiler [2016-10-02 06:43:10] 773*2^1441438-1 is not prime. Res64: 95250FC9813D93C1 Time : 0.0 sec. user=mdettweiler [2016-10-02 06:43:11] 825*2^1441438-1 is not prime. Res64: D56C1E6898173E7B Time : 0.0 sec. user=mdettweiler [2016-10-02 06:43:11] 891*2^1441438-1 is not prime. Res64: C070128093DC546D Time : 0.0 sec. user=mdettweiler [2016-10-02 06:43:11] 945*2^1441438-1 is not prime. Res64: 54268436437FDF2B Time : 0.0 sec. user=mdettweiler [2016-10-02 06:47:51] 957*2^1441438-1 is not prime. Res64: ECD22FFF6B4800BD Time : 0.0 sec. user=mdettweiler [2016-10-02 06:47:51] 981*2^1441438-1 is not prime. Res64: 1903AB3213645D94 Time : 0.0 sec. user=mdettweiler [2016-10-02 06:47:51] 649*2^1441439-1 is not prime. Res64: A53DE57206740D36 Time : 0.0 sec. user=mdettweiler [2016-10-02 06:47:52] 661*2^1441439-1 is not prime. Res64: 4B5F39754CDA5125 Time : 0.0 sec. user=mdettweiler [2016-10-02 06:47:52] 711*2^1441439-1 is not prime. Res64: F0FDDDFEFDB5F22C Time : 0.0 sec. user=mdettweiler [2016-10-02 06:57:42] 777*2^1441428-1 is not prime. Res64: 0CF3737386BBC2DE Time : 0.0 sec. user=mdettweiler [2016-10-02 06:57:43] 783*2^1441428-1 is not prime. Res64: CAB82A93C5F53D4D Time : 0.0 sec. user=mdettweiler [2016-10-02 06:57:43] 879*2^1441428-1 is not prime. Res64: E61D2F5E2BCD32B6 Time : 0.0 sec. user=mdettweiler [2016-10-02 06:57:44] 825*2^1441429-1 is not prime. Res64: 96FF3A13EACE8049 Time : 0.0 sec. user=mdettweiler [2016-10-02 07:08:02] 721*2^1441439-1 is not prime. Res64: E8AA7E5F4F8B500F Time : 0.0 sec. user=mdettweiler [2016-10-02 07:08:03] 759*2^1441439-1 is not prime. Res64: 380DDCE1C526E7E1 Time : 0.0 sec. user=mdettweiler [2016-10-02 07:08:03] 771*2^1441439-1 is not prime. Res64: C769B75AF780C685 Time : 0.0 sec. user=mdettweiler [2016-10-02 07:08:04] 775*2^1441439-1 is not prime. Res64: 2427F380E9DE5525 Time : 0.0 sec. user=mdettweiler [2016-10-02 07:08:04] 831*2^1441439-1 is not prime. Res64: 2D7284ABD6E60CAF Time : 0.0 sec. user=mdettweiler [2016-10-02 07:29:00] 865*2^1441439-1 is not prime. Res64: 1C94DCA8758EEF80 Time : 0.0 sec. user=mdettweiler [2016-10-02 07:29:00] 879*2^1441439-1 is not prime. Res64: C3D327EF251F7EE8 Time : 0.0 sec. user=mdettweiler [2016-10-02 07:29:01] 921*2^1441439-1 is not prime. Res64: 5E26147F6614DAF8 Time : 0.0 sec. user=mdettweiler [2016-10-02 07:29:01] 931*2^1441439-1 is not prime. Res64: 5A21F68F94A04A6C Time : 0.0 sec. user=mdettweiler [2016-10-02 07:29:01] 969*2^1441439-1 is not prime. Res64: F92F7857972CA700 Time : 0.0 sec. user=mdettweiler [2016-10-02 07:33:14] 719*2^1441440-1 is not prime. Res64: A5FF769EAB5BBBF5 Time : 0.0 sec. user=mdettweiler [2016-10-02 07:33:14] 767*2^1441440-1 is not prime. Res64: 9F33A69C7B14C0BC Time : 0.0 sec. user=mdettweiler [2016-10-02 07:33:14] 819*2^1441440-1 is not prime. Res64: DDC36060388CDB17 Time : 0.0 sec. user=mdettweiler [2016-10-02 07:33:15] 893*2^1441440-1 is not prime. Res64: DB4E286323C48577 Time : 0.0 sec. user=mdettweiler [2016-10-02 07:33:15] 983*2^1441440-1 is not prime. Res64: 3030EE590875CB67 Time : 0.0 sec. user=mdettweiler [2016-10-02 07:43:00] 645*2^1441441-1 is not prime. Res64: 4567116CEA8FEBA1 Time : 0.0 sec. user=mdettweiler [2016-10-02 07:43:01] 649*2^1441441-1 is not prime. Res64: BE31B4BCEBE69E3A Time : 0.0 sec. user=mdettweiler [2016-10-02 07:43:01] 805*2^1441441-1 is not prime. Res64: 9F0929FE4FACB61E Time : 0.0 sec. user=mdettweiler [2016-10-02 07:43:01] 871*2^1441441-1 is not prime. Res64: CF67376C39DDA310 Time : 0.0 sec. user=mdettweiler [2016-10-02 07:43:02] 889*2^1441441-1 is not prime. Res64: 27ED5EE37F7DADC2 Time : 0.0 sec. user=mdettweiler [2016-10-02 07:53:17] 895*2^1441441-1 is not prime. Res64: 5668F7DB45B8F72F Time : 0.0 sec. user=mdettweiler [2016-10-02 07:53:17] 967*2^1441441-1 is not prime. Res64: 3A286D96FC5F274C Time : 0.0 sec. user=mdettweiler [2016-10-02 07:53:18] 705*2^1441442-1 is not prime. Res64: 9D2188BC0E631F96 Time : 0.0 sec. user=mdettweiler [2016-10-02 07:53:18] 771*2^1441442-1 is not prime. Res64: BC9DA282EB881B7A Time : 0.0 sec. user=mdettweiler [2016-10-02 07:53:18] 837*2^1441442-1 is not prime. Res64: D57BBB1D88343A2F Time : 0.0 sec. user=mdettweiler [2016-10-02 08:14:13] 867*2^1441442-1 is not prime. Res64: 2E7F110EB43DC6F9 Time : 0.0 sec. user=mdettweiler [2016-10-02 08:14:13] 987*2^1441442-1 is not prime. Res64: EB1CB9347E34D1F1 Time : 0.0 sec. user=mdettweiler [2016-10-02 08:14:14] 621*2^1441443-1 is not prime. Res64: 6A55406479401708 Time : 0.0 sec. user=mdettweiler [2016-10-02 08:14:14] 859*2^1441443-1 is not prime. Res64: 5F52EE109F71CF5D Time : 0.0 sec. user=mdettweiler [2016-10-02 08:14:15] 949*2^1441443-1 is not prime. Res64: A7BAC879EE358AD9 Time : 0.0 sec. user=mdettweiler [2016-10-02 08:18:38] 955*2^1441443-1 is not prime. Res64: EC50AA073977B69A Time : 0.0 sec. user=mdettweiler [2016-10-02 08:18:39] 961*2^1441443-1 is not prime. Res64: F67670CE364E9BBF Time : 0.0 sec. user=mdettweiler [2016-10-02 08:18:40] 963*2^1441443-1 is not prime. Res64: B39D5A6CE06E11FA Time : 0.0 sec. user=mdettweiler [2016-10-02 08:18:41] 615*2^1441444-1 is not prime. Res64: 5AA0F9C05DEC270C Time : 0.0 sec. user=mdettweiler [2016-10-02 08:18:41] 695*2^1441444-1 is not prime. Res64: 89979192D5F1FAC3 Time : 0.0 sec. user=mdettweiler [2016-10-02 08:28:32] 705*2^1441444-1 is not prime. Res64: 09C6E77F5B8B8AAE Time : 0.0 sec. user=mdettweiler [2016-10-02 08:28:33] 857*2^1441444-1 is not prime. Res64: 49A0187EE966A52C Time : 0.0 sec. user=mdettweiler [2016-10-02 08:28:33] 909*2^1441444-1 is not prime. Res64: CF501A7E6AD7B3C9 Time : 0.0 sec. user=mdettweiler [2016-10-02 08:28:34] 965*2^1441444-1 is not prime. Res64: CDEA7899D0A9E925 Time : 0.0 sec. user=mdettweiler [2016-10-02 08:28:34] 983*2^1441444-1 is not prime. Res64: 0F8E59444F361AB0 Time : 0.0 sec. user=mdettweiler [2016-10-02 08:39:11] 679*2^1441445-1 is not prime. Res64: 72EC673285F16F84 Time : 0.0 sec. user=mdettweiler [2016-10-02 08:39:11] 691*2^1441445-1 is not prime. Res64: 2A5EF1D2D61B4427 Time : 0.0 sec. user=mdettweiler [2016-10-02 08:39:12] 759*2^1441445-1 is not prime. Res64: AF1A0CAAAD017114 Time : 0.0 sec. user=mdettweiler [2016-10-02 08:39:12] 787*2^1441445-1 is not prime. Res64: 30DEBC39B49D6F11 Time : 0.0 sec. user=mdettweiler [2016-10-02 08:39:12] 885*2^1441445-1 is not prime. Res64: 92AF18C3D4559C07 Time : 0.0 sec. user=mdettweiler [2016-10-02 09:00:45] 925*2^1441445-1 is not prime. Res64: 9FD1A2D113D70D9C Time : 0.0 sec. user=mdettweiler [2016-10-02 09:00:47] 683*2^1441446-1 is not prime. Res64: FA4CAAFB5805935F Time : 0.0 sec. user=mdettweiler [2016-10-02 09:00:48] 717*2^1441446-1 is not prime. Res64: F68E4BE925481D95 Time : 0.0 sec. user=mdettweiler [2016-10-02 09:00:49] 851*2^1441446-1 is not prime. Res64: 023AFB16B88AF89C Time : 0.0 sec. user=mdettweiler [2016-10-02 09:00:50] 873*2^1441446-1 is not prime. Res64: 494016D5B1DFD238 Time : 0.0 sec. user=mdettweiler [2016-10-02 09:05:07] 917*2^1441446-1 is not prime. Res64: A6CED0B5B56CDBD4 Time : 0.0 sec. user=mdettweiler [2016-10-02 09:05:09] 921*2^1441446-1 is not prime. Res64: 1E79F56B473FBC90 Time : 0.0 sec. user=mdettweiler [2016-10-02 09:05:10] 705*2^1441447-1 is not prime. Res64: BAA1AD697C3A08D1 Time : 0.0 sec. user=mdettweiler [2016-10-02 09:05:12] 849*2^1441447-1 is not prime. Res64: 77DFD2E17585A176 Time : 0.0 sec. user=mdettweiler [2016-10-02 09:05:13] 871*2^1441447-1 is not prime. Res64: D16A4CDA7B8B0300 Time : 0.0 sec. user=mdettweiler [2016-10-02 09:14:59] 891*2^1441447-1 is not prime. Res64: 2D81E790EDE3C9DC Time : 0.0 sec. user=mdettweiler [2016-10-02 09:15:00] 961*2^1441447-1 is not prime. Res64: 39405241CE6AABA6 Time : 0.0 sec. user=mdettweiler [2016-10-02 09:15:00] 975*2^1441447-1 is not prime. Res64: BB0A00A4D9640727 Time : 0.0 sec. user=mdettweiler [2016-10-02 09:15:00] 839*2^1441448-1 is not prime. Res64: E9F3D2402CF998C8 Time : 0.0 sec. user=mdettweiler [2016-10-02 09:15:01] 923*2^1441448-1 is not prime. Res64: 42A8CF6939773C41 Time : 0.0 sec. user=mdettweiler [2016-10-02 09:25:05] 959*2^1441448-1 is not prime. Res64: F412063458E9C5DB Time : 0.0 sec. user=mdettweiler [2016-10-02 09:25:05] 993*2^1441448-1 is not prime. Res64: AEA991CE096BA63D Time : 0.0 sec. user=mdettweiler [2016-10-02 09:25:06] 995*2^1441448-1 is not prime. Res64: BAC869673D655795 Time : 0.0 sec. user=mdettweiler [2016-10-02 09:25:06] 669*2^1441449-1 is not prime. Res64: B3FEAB0CE50D02A7 Time : 0.0 sec. user=mdettweiler [2016-10-02 09:25:06] 681*2^1441449-1 is not prime. Res64: 70918665F39269C6 Time : 0.0 sec. user=mdettweiler [2016-10-02 09:46:13] 831*2^1441449-1 is not prime. Res64: 848049FC38C697B2 Time : 0.0 sec. user=mdettweiler [2016-10-02 09:46:13] 889*2^1441449-1 is not prime. Res64: 3871888DA04F290D Time : 0.0 sec. user=mdettweiler [2016-10-02 09:46:14] 945*2^1441449-1 is not prime. Res64: 08B967159520F4CA Time : 0.0 sec. user=mdettweiler [2016-10-02 09:46:14] 975*2^1441449-1 is not prime. Res64: EE625147FCF2024D Time : 0.0 sec. user=mdettweiler [2016-10-02 09:46:14] 979*2^1441449-1 is not prime. Res64: 103B9A55910F501F Time : 0.0 sec. user=mdettweiler [2016-10-02 09:50:40] 665*2^1441450-1 is not prime. Res64: 48243A254F785D5E Time : 0.0 sec. user=mdettweiler [2016-10-02 09:50:41] 677*2^1441450-1 is not prime. Res64: 6A4D0EBBA6DB7A23 Time : 0.0 sec. user=mdettweiler [2016-10-02 09:50:41] 741*2^1441450-1 is not prime. Res64: E2757F7E9341F712 Time : 0.0 sec. user=mdettweiler [2016-10-02 09:50:41] 801*2^1441450-1 is not prime. Res64: C09375176288EE24 Time : 0.0 sec. user=mdettweiler [2016-10-02 09:50:42] 911*2^1441450-1 is not prime. Res64: 05AE7A1A8BFB094B Time : 0.0 sec. user=mdettweiler [2016-10-02 10:00:33] 933*2^1441450-1 is not prime. Res64: 3661A5EBFB2C9588 Time : 0.0 sec. user=mdettweiler [2016-10-02 10:00:34] 703*2^1441451-1 is not prime. Res64: F4831D161193773E Time : 0.0 sec. user=mdettweiler [2016-10-02 10:00:35] 711*2^1441451-1 is not prime. Res64: 52D866E5AAC9E74E Time : 0.0 sec. user=mdettweiler [2016-10-02 10:00:35] 819*2^1441451-1 is not prime. Res64: E7512A4CCCA33C7A Time : 0.0 sec. user=mdettweiler [2016-10-02 10:00:36] 913*2^1441451-1 is not prime. Res64: 93013E60C8A267B2 Time : 0.0 sec. user=mdettweiler [2016-10-02 10:10:25] 665*2^1441452-1 is not prime. Res64: 0973E3CB816E0DAD Time : 0.0 sec. user=mdettweiler [2016-10-02 10:10:28] 675*2^1441452-1 is not prime. Res64: C13022DEB5DBEE83 Time : 0.0 sec. user=mdettweiler [2016-10-02 10:10:30] 737*2^1441452-1 is not prime. Res64: DE7A69BED9BCF92E Time : 0.0 sec. user=mdettweiler [2016-10-02 10:10:31] 803*2^1441452-1 is not prime. Res64: 9E7869DF865294DB Time : 0.0 sec. user=mdettweiler [2016-10-02 10:10:33] 923*2^1441452-1 is not prime. Res64: 447DE32E52788BE2 Time : 0.0 sec. user=mdettweiler [2016-10-02 10:31:33] 999*2^1441452-1 is not prime. Res64: C22087C8A57BBE33 Time : 0.0 sec. user=mdettweiler [2016-10-02 10:31:34] 687*2^1441453-1 is not prime. Res64: 4CA4050B6DD5C7F4 Time : 0.0 sec. user=mdettweiler [2016-10-02 10:31:34] 635*2^1441454-1 is not prime. Res64: 867F76BC67C60022 Time : 0.0 sec. user=mdettweiler [2016-10-02 10:31:34] 705*2^1441454-1 is not prime. Res64: F3C2CEF429B54403 Time : 0.0 sec. user=mdettweiler [2016-10-02 10:31:35] 711*2^1441454-1 is not prime. Res64: 2E44EF159067A080 Time : 0.0 sec. user=mdettweiler [2016-10-02 10:36:00] 815*2^1441454-1 is not prime. Res64: CA999D5667338D3E Time : 0.0 sec. user=mdettweiler [2016-10-02 10:36:01] 917*2^1441454-1 is not prime. Res64: 78F2AB110723E4FC Time : 0.0 sec. user=mdettweiler [2016-10-02 10:36:01] 993*2^1441454-1 is not prime. Res64: ECBF4B3A0A3173F0 Time : 0.0 sec. user=mdettweiler [2016-10-02 10:36:01] 619*2^1441455-1 is not prime. Res64: 31E7304B2BDA0823 Time : 0.0 sec. user=mdettweiler [2016-10-02 10:36:02] 625*2^1441455-1 is not prime. Res64: FB4E474224F80165 Time : 0.0 sec. user=mdettweiler [2016-10-02 10:45:52] 693*2^1441455-1 is not prime. Res64: 2F621507C1243B28 Time : 0.0 sec. user=mdettweiler [2016-10-02 10:45:52] 705*2^1441455-1 is not prime. Res64: E26D0C67C2760C07 Time : 0.0 sec. user=mdettweiler [2016-10-02 10:45:52] 709*2^1441455-1 is not prime. Res64: 20977DD0CE2A14D2 Time : 0.0 sec. user=mdettweiler [2016-10-02 10:45:53] 735*2^1441455-1 is not prime. Res64: 61002D9D51C97694 Time : 0.0 sec. user=mdettweiler [2016-10-02 10:45:53] 741*2^1441455-1 is not prime. Res64: 6BCF40A70C257D11 Time : 0.0 sec. user=mdettweiler [2016-10-02 10:56:15] 803*2^1441456-1 is not prime. Res64: A5184356C2AA7A2C Time : 0.0 sec. user=mdettweiler [2016-10-02 10:56:16] 813*2^1441456-1 is not prime. Res64: 264D752B90C301B6 Time : 0.0 sec. user=mdettweiler [2016-10-02 10:56:16] 917*2^1441456-1 is not prime. Res64: 95A1EF6D0D14C532 Time : 0.0 sec. user=mdettweiler [2016-10-02 10:56:16] 965*2^1441456-1 is not prime. Res64: FD52C3B3180576E0 Time : 0.0 sec. user=mdettweiler [2016-10-02 10:56:17] 969*2^1441456-1 is not prime. Res64: 18619E25B7328947 Time : 0.0 sec. user=mdettweiler [2016-10-02 11:16:45] 615*2^1441457-1 is not prime. Res64: 7EB47EAB3A64203B Time : 0.0 sec. user=mdettweiler [2016-10-02 11:16:47] 649*2^1441457-1 is not prime. Res64: BECCAEB4F18BC9AB Time : 0.0 sec. user=mdettweiler [2016-10-02 11:16:47] 669*2^1441457-1 is not prime. Res64: 60C13BB237C72CE7 Time : 0.0 sec. user=mdettweiler [2016-10-02 11:16:48] 711*2^1441457-1 is not prime. Res64: 8C1DC60C1AC6BAC8 Time : 0.0 sec. user=mdettweiler [2016-10-02 11:16:49] 717*2^1441457-1 is not prime. Res64: 66F1232AB56DFB13 Time : 0.0 sec. user=mdettweiler [2016-10-02 11:21:17] 759*2^1441457-1 is not prime. Res64: 010D8AF91003B542 Time : 0.0 sec. user=mdettweiler [2016-10-02 11:21:17] 769*2^1441457-1 is not prime. Res64: D399E87BCD94F939 Time : 0.0 sec. user=mdettweiler [2016-10-02 11:21:18] 795*2^1441457-1 is not prime. Res64: 302CAC8F5507518D Time : 0.0 sec. user=mdettweiler [2016-10-02 11:21:18] 867*2^1441457-1 is not prime. Res64: CCE333CA7EEB8247 Time : 0.0 sec. user=mdettweiler [2016-10-02 11:21:18] 885*2^1441457-1 is not prime. Res64: 1784B4C5177E4842 Time : 0.0 sec. user=mdettweiler [2016-10-02 11:31:14] 909*2^1441457-1 is not prime. Res64: 42714CB3EB5E68ED Time : 0.0 sec. user=mdettweiler [2016-10-02 11:31:14] 937*2^1441457-1 is not prime. Res64: CD140846EE7FEE1D Time : 0.0 sec. user=mdettweiler [2016-10-02 11:31:15] 957*2^1441457-1 is not prime. Res64: AADD5F72519C6B2E Time : 0.0 sec. user=mdettweiler [2016-10-02 11:31:15] 677*2^1441458-1 is not prime. Res64: 8C180965DBBB439A Time : 0.0 sec. user=mdettweiler [2016-10-02 11:31:16] 755*2^1441458-1 is not prime. Res64: 39856E92F544D9B5 Time : 0.0 sec. user=mdettweiler [2016-10-02 11:41:35] 815*2^1441458-1 is not prime. Res64: BF25C3E888BD6ED7 Time : 0.0 sec. user=mdettweiler [2016-10-02 11:41:35] 893*2^1441458-1 is not prime. Res64: 69EA6FBD3822B61B Time : 0.0 sec. user=mdettweiler [2016-10-02 11:41:35] 993*2^1441458-1 is not prime. Res64: 8B056BBEE58CBFD8 Time : 0.0 sec. user=mdettweiler [2016-10-02 11:41:36] 615*2^1441459-1 is not prime. Res64: DDA4ED04217B5E54 Time : 0.0 sec. user=mdettweiler [2016-10-02 11:41:36] 649*2^1441459-1 is not prime. Res64: FEED50CFD84C5450 Time : 0.0 sec. user=mdettweiler [2016-10-02 12:02:21] 681*2^1441459-1 is not prime. Res64: CE69D1CFEFB6A1EF Time : 0.0 sec. user=mdettweiler [2016-10-02 12:02:22] 793*2^1441459-1 is not prime. Res64: 120A56740EF6F704 Time : 0.0 sec. user=mdettweiler [2016-10-02 12:02:23] 883*2^1441459-1 is not prime. Res64: DE6FC36F18F99A28 Time : 0.0 sec. user=mdettweiler [2016-10-02 12:02:23] 999*2^1441459-1 is not prime. Res64: 8F7FF8474A56EEF3 Time : 0.0 sec. user=mdettweiler [2016-10-02 12:02:24] 635*2^1441460-1 is not prime. Res64: 96B32854BBEFF611 Time : 0.0 sec. user=mdettweiler [2016-10-02 12:06:40] 647*2^1441460-1 is not prime. Res64: CBA2B4ACE571A06A Time : 0.0 sec. user=mdettweiler [2016-10-02 12:06:45] 665*2^1441460-1 is not prime. Res64: 383AB39CE700DF1A Time : 0.0 sec. user=mdettweiler [2016-10-02 12:06:50] 767*2^1441460-1 is not prime. Res64: 465876780C250216 Time : 0.0 sec. user=mdettweiler [2016-10-02 12:06:53] 827*2^1441460-1 is not prime. Res64: 324D6DA5E3699494 Time : 0.0 sec. user=mdettweiler [2016-10-02 12:06:55] 875*2^1441460-1 is not prime. Res64: 4E15EBD5A0FEFAB6 Time : 0.0 sec. user=mdettweiler [2016-10-02 12:16:53] 935*2^1441460-1 is not prime. Res64: CBBDE38CB2EF40B1 Time : 0.0 sec. user=mdettweiler [2016-10-02 12:16:54] 953*2^1441460-1 is not prime. Res64: D176D2F982D8A1EA Time : 0.0 sec. user=mdettweiler [2016-10-02 12:16:55] 709*2^1441461-1 is not prime. Res64: EE139AF8099E6FD0 Time : 0.0 sec. user=mdettweiler [2016-10-02 12:16:56] 811*2^1441461-1 is not prime. Res64: 126D74517EE3A831 Time : 0.0 sec. user=mdettweiler [2016-10-02 12:16:56] 743*2^1441462-1 is not prime. Res64: 5EBFA8E8031C3E15 Time : 0.0 sec. user=mdettweiler [2016-10-02 12:27:10] 825*2^1441462-1 is not prime. Res64: 74B1293DBC4AB3ED Time : 0.0 sec. user=mdettweiler [2016-10-02 12:27:10] 857*2^1441462-1 is not prime. Res64: 0E180AE8F9156AC0 Time : 0.0 sec. user=mdettweiler [2016-10-02 12:27:11] 983*2^1441462-1 is not prime. Res64: 8CB861766E8922ED Time : 0.0 sec. user=mdettweiler [2016-10-02 12:27:11] 663*2^1441463-1 is not prime. Res64: 5BA10E228706BF51 Time : 0.0 sec. user=mdettweiler [2016-10-02 12:27:12] 721*2^1441463-1 is not prime. Res64: B3FE2BB9EEBB8930 Time : 0.0 sec. user=mdettweiler [2016-10-02 12:48:10] 963*2^1441463-1 is not prime. Res64: 5EDC315C8C36F494 Time : 0.0 sec. user=mdettweiler [2016-10-02 12:48:11] 623*2^1441464-1 is not prime. Res64: 1B745B6E1A416D5F Time : 0.0 sec. user=mdettweiler [2016-10-02 12:48:11] 795*2^1441464-1 is not prime. Res64: 072AD399D38AECA2 Time : 0.0 sec. user=mdettweiler [2016-10-02 12:48:12] 909*2^1441464-1 is not prime. Res64: E7BAB1FC71321AF8 Time : 0.0 sec. user=mdettweiler [2016-10-02 12:48:12] 959*2^1441464-1 is not prime. Res64: 7ADADCC41801517C Time : 0.0 sec. user=mdettweiler [2016-10-02 12:52:35] 651*2^1441465-1 is not prime. Res64: E16E116702199C39 Time : 0.0 sec. user=mdettweiler [2016-10-02 12:52:35] 691*2^1441465-1 is not prime. Res64: 9B3AC308AC63C37F Time : 0.0 sec. user=mdettweiler [2016-10-02 12:52:35] 729*2^1441465-1 is not prime. Res64: C903199528BBB21E Time : 0.0 sec. user=mdettweiler [2016-10-02 12:52:36] 765*2^1441465-1 is not prime. Res64: 0C2504F1FEEC5977 Time : 0.0 sec. user=mdettweiler [2016-10-02 12:52:36] 777*2^1441465-1 is not prime. Res64: A306DD743FA99EA3 Time : 0.0 sec. user=mdettweiler [2016-10-02 13:02:32] 841*2^1441465-1 is not prime. Res64: F6AC2749B541556A Time : 0.0 sec. user=mdettweiler [2016-10-02 13:02:33] 939*2^1441465-1 is not prime. Res64: 23CDFDDFB5311672 Time : 0.0 sec. user=mdettweiler [2016-10-02 13:02:34] 623*2^1441466-1 is not prime. Res64: 1A200AE2703B5B70 Time : 0.0 sec. user=mdettweiler [2016-10-02 13:02:34] 677*2^1441466-1 is not prime. Res64: 941232F091F6838B Time : 0.0 sec. user=mdettweiler [2016-10-02 13:02:35] 825*2^1441466-1 is not prime. Res64: A3648FB4C0499CFC Time : 0.0 sec. user=mdettweiler [2016-10-02 13:12:44] 833*2^1441466-1 is not prime. Res64: 9C219E8AC995F1B1 Time : 0.0 sec. user=mdettweiler [2016-10-02 13:12:44] 705*2^1441467-1 is not prime. Res64: 9C6AEF4F31B51B51 Time : 0.0 sec. user=mdettweiler [2016-10-02 13:12:45] 825*2^1441467-1 is not prime. Res64: 75FD660D6B35D17E Time : 0.0 sec. user=mdettweiler [2016-10-02 13:12:45] 861*2^1441467-1 is not prime. Res64: 2227780C583A1CEA Time : 0.0 sec. user=mdettweiler [2016-10-02 13:12:45] 909*2^1441467-1 is not prime. Res64: 0A3A53E9EC96F714 Time : 0.0 sec. user=mdettweiler [2016-10-02 13:33:39] 955*2^1441467-1 is not prime. Res64: 54B1150A0B75BA59 Time : 0.0 sec. user=mdettweiler [2016-10-02 13:33:39] 979*2^1441467-1 is not prime. Res64: 45CF319ED4418B2A Time : 0.0 sec. user=mdettweiler [2016-10-02 13:33:40] 615*2^1441468-1 is not prime. Res64: 17B75573D401EA7F Time : 0.0 sec. user=mdettweiler [2016-10-02 13:33:40] 623*2^1441468-1 is not prime. Res64: 6F6049F73CE06E2B Time : 0.0 sec. user=mdettweiler [2016-10-02 13:33:40] 797*2^1441468-1 is not prime. Res64: 2BBDF58694420D12 Time : 0.0 sec. user=mdettweiler [2016-10-02 13:37:53] 803*2^1441468-1 is not prime. Res64: 10C886B63393F6AB Time : 0.0 sec. user=mdettweiler [2016-10-02 13:37:53] 843*2^1441468-1 is not prime. Res64: DD8499D4C96360A2 Time : 0.0 sec. user=mdettweiler [2016-10-02 13:37:53] 897*2^1441468-1 is not prime. Res64: D61986A2F66FFF52 Time : 0.0 sec. user=mdettweiler [2016-10-02 13:37:54] 933*2^1441468-1 is not prime. Res64: 4D9DA224DA5E5F4A Time : 0.0 sec. user=mdettweiler [2016-10-02 13:37:54] 953*2^1441468-1 is not prime. Res64: 9AC592E6AB696FB1 Time : 0.0 sec. user=mdettweiler [2016-10-02 13:48:12] 969*2^1441468-1 is not prime. Res64: 889307451864F043 Time : 0.0 sec. user=mdettweiler [2016-10-02 13:48:12] 999*2^1441468-1 is not prime. Res64: 83F197D8D1B83326 Time : 0.0 sec. user=mdettweiler [2016-10-02 13:48:13] 627*2^1441469-1 is not prime. Res64: 40E51CCF1D19A8FF Time : 0.0 sec. user=mdettweiler [2016-10-02 13:48:13] 655*2^1441469-1 is not prime. Res64: 0AB59562BA5550B8 Time : 0.0 sec. user=mdettweiler [2016-10-02 13:48:13] 727*2^1441469-1 is not prime. Res64: E919102EF3CAD3D0 Time : 0.0 sec. user=mdettweiler [2016-10-02 13:58:19] 759*2^1441469-1 is not prime. Res64: E2E76F304CC63319 Time : 0.0 sec. user=mdettweiler [2016-10-02 13:58:19] 825*2^1441469-1 is not prime. Res64: BECF8B37B4251E39 Time : 0.0 sec. user=mdettweiler [2016-10-02 13:58:19] 651*2^1441470-1 is not prime. Res64: D1ACEDA327557469 Time : 0.0 sec. user=mdettweiler [2016-10-02 13:58:20] 777*2^1441470-1 is not prime. Res64: A7F9031F3A620458 Time : 0.0 sec. user=mdettweiler [2016-10-02 13:58:20] 851*2^1441470-1 is not prime. Res64: 5097E5315632E808 Time : 0.0 sec. user=mdettweiler [2016-10-02 14:20:07] 873*2^1441470-1 is not prime. Res64: 75374B70FCE7696A Time : 0.0 sec. user=mdettweiler [2016-10-02 14:20:07] 933*2^1441470-1 is not prime. Res64: 50C2F2912C8AB576 Time : 0.0 sec. user=mdettweiler [2016-10-02 14:20:08] 963*2^1441470-1 is not prime. Res64: CFABBB0F7E0B23BA Time : 0.0 sec. user=mdettweiler [2016-10-02 14:20:08] 971*2^1441470-1 is not prime. Res64: 10A388E6722DEE09 Time : 0.0 sec. user=mdettweiler [2016-10-02 14:20:08] 601*2^1441471-1 is not prime. Res64: 38896CA9433F25A9 Time : 0.0 sec. user=mdettweiler [2016-10-02 14:25:11] 615*2^1441471-1 is not prime. Res64: DBF6494CB239D683 Time : 0.0 sec. user=mdettweiler [2016-10-02 14:25:12] 859*2^1441471-1 is not prime. Res64: 120CB3A6F7488B83 Time : 0.0 sec. user=mdettweiler [2016-10-02 14:25:12] 891*2^1441471-1 is not prime. Res64: C31857FF24AC5587 Time : 0.0 sec. user=mdettweiler [2016-10-02 14:25:12] 909*2^1441471-1 is not prime. Res64: BC1670BB3EF92163 Time : 0.0 sec. user=mdettweiler [2016-10-02 14:25:13] 999*2^1441471-1 is not prime. Res64: 7A667EBB125CD3A0 Time : 0.0 sec. user=mdettweiler [2016-10-02 14:34:55] 633*2^1441472-1 is not prime. Res64: 50E3C22ED8DAB520 Time : 0.0 sec. user=mdettweiler [2016-10-02 14:34:55] 717*2^1441472-1 is not prime. Res64: 4DF17C6D411EA94C Time : 0.0 sec. user=mdettweiler [2016-10-02 14:34:55] 759*2^1441472-1 is not prime. Res64: 018B855D7188B8CB Time : 0.0 sec. user=mdettweiler [2016-10-02 14:34:56] 767*2^1441472-1 is not prime. Res64: 1AD1DD347B5E69D6 Time : 0.0 sec. user=mdettweiler [2016-10-02 14:34:56] 797*2^1441472-1 is not prime. Res64: 456CC45B4F8E7B42 Time : 0.0 sec. user=mdettweiler [2016-10-02 14:45:21] 813*2^1441472-1 is not prime. Res64: ABBC9F093F7BD1D2 Time : 0.0 sec. user=mdettweiler [2016-10-02 14:45:22] 825*2^1441472-1 is not prime. Res64: 61C9F1A879F75CEC Time : 0.0 sec. user=mdettweiler [2016-10-02 14:45:22] 843*2^1441472-1 is not prime. Res64: A6641A913FE3AB60 Time : 0.0 sec. user=mdettweiler [2016-10-02 14:45:22] 795*2^1441473-1 is not prime. Res64: 690C0C7ADF0B8511 Time : 0.0 sec. user=mdettweiler [2016-10-02 14:45:22] 885*2^1441473-1 is not prime. Res64: BDAC169A94250C31 Time : 0.0 sec. user=mdettweiler [2016-10-02 15:06:45] 895*2^1441473-1 is not prime. Res64: AE9A09CFA145F697 Time : 0.0 sec. user=mdettweiler [2016-10-02 15:06:47] 623*2^1441474-1 is not prime. Res64: D5E872944BDE797E Time : 0.0 sec. user=mdettweiler [2016-10-02 15:06:49] 861*2^1441474-1 is not prime. Res64: DB043B889EDC9D9A Time : 0.0 sec. user=mdettweiler [2016-10-02 15:06:58] 981*2^1441474-1 is not prime. Res64: 3CBFE9F3427EF34A Time : 0.0 sec. user=mdettweiler [2016-10-02 15:07:00] 783*2^1441475-1 is not prime. Res64: 1054EC6C5DD2E1E1 Time : 0.0 sec. user=mdettweiler [2016-10-02 15:11:41] 913*2^1441475-1 is not prime. Res64: 85C2F1DAD632ABA9 Time : 0.0 sec. user=mdettweiler [2016-10-02 15:11:48] 943*2^1441475-1 is not prime. Res64: 8EC05EDA714D757D Time : 0.0 sec. user=mdettweiler [2016-10-02 15:11:49] 981*2^1441475-1 is not prime. Res64: 9C460DD1CB7EFA6C Time : 0.0 sec. user=mdettweiler [2016-10-02 15:11:50] 735*2^1441476-1 is not prime. Res64: 6BBB5527B95FF192 Time : 0.0 sec. user=mdettweiler [2016-10-02 15:11:51] 789*2^1441476-1 is not prime. Res64: 3EB79299DCE381D0 Time : 0.0 sec. user=mdettweiler [2016-10-02 15:20:58] 601*2^1441477-1 is not prime. Res64: 00600A4ACD0FEE0C Time : 0.0 sec. user=mdettweiler [2016-10-02 15:20:58] 687*2^1441477-1 is not prime. Res64: 559D80FE5861D7B7 Time : 0.0 sec. user=mdettweiler [2016-10-02 15:20:58] 771*2^1441477-1 is not prime. Res64: B3A052DE9DD4F3F1 Time : 0.0 sec. user=mdettweiler [2016-10-02 15:20:59] 801*2^1441477-1 is not prime. Res64: B7700792B465AE72 Time : 0.0 sec. user=mdettweiler [2016-10-02 15:20:59] 895*2^1441477-1 is not prime. Res64: CAF4FC986BC81AE6 Time : 0.0 sec. user=mdettweiler [2016-10-02 15:31:44] 605*2^1441478-1 is not prime. Res64: 94531D5F0DEDEC5A Time : 0.0 sec. user=mdettweiler [2016-10-02 15:31:45] 743*2^1441478-1 is not prime. Res64: 59836357251F91DF Time : 0.0 sec. user=mdettweiler [2016-10-02 15:31:45] 761*2^1441478-1 is not prime. Res64: 37CB2CF759D3C1D9 Time : 0.0 sec. user=mdettweiler [2016-10-02 15:31:45] 843*2^1441478-1 is not prime. Res64: 290A53DE3412A1B9 Time : 0.0 sec. user=mdettweiler [2016-10-02 15:31:46] 921*2^1441478-1 is not prime. Res64: F41CE8D3F6131AA1 Time : 0.0 sec. user=mdettweiler [2016-10-02 15:53:48] 923*2^1441478-1 is not prime. Res64: CC0DEB7A8E6B5072 Time : 0.0 sec. user=mdettweiler [2016-10-02 15:53:49] 957*2^1441478-1 is not prime. Res64: 9C7A0ACD6B44EE88 Time : 0.0 sec. user=mdettweiler [2016-10-02 15:53:49] 675*2^1441479-1 is not prime. Res64: 16B8DFECF6DCF7A1 Time : 0.0 sec. user=mdettweiler [2016-10-02 15:53:50] 861*2^1441479-1 is not prime. Res64: C136906FCBCB0535 Time : 0.0 sec. user=mdettweiler [2016-10-02 15:53:50] 951*2^1441479-1 is not prime. Res64: 66A45BB7F310AF3D Time : 0.0 sec. user=mdettweiler [2016-10-02 15:58:36] 991*2^1441479-1 is not prime. Res64: 3D7F4F0ED1150FB3 Time : 0.0 sec. user=mdettweiler [2016-10-02 15:58:36] 629*2^1441480-1 is not prime. Res64: 5E2824E5E41A9254 Time : 0.0 sec. user=mdettweiler [2016-10-02 15:58:36] 723*2^1441480-1 is not prime. Res64: 091E234481A19B57 Time : 0.0 sec. user=mdettweiler [2016-10-02 15:58:37] 843*2^1441480-1 is not prime. Res64: DC41CF0984C14760 Time : 0.0 sec. user=mdettweiler [2016-10-02 15:58:37] 999*2^1441480-1 is not prime. Res64: D623BC230D457245 Time : 0.0 sec. user=mdettweiler [2016-10-02 16:07:32] 627*2^1441481-1 is not prime. Res64: A4A3C669312F123E Time : 0.0 sec. user=mdettweiler [2016-10-02 16:07:33] 865*2^1441481-1 is not prime. Res64: A4654CED7A5B6610 Time : 0.0 sec. user=mdettweiler [2016-10-02 16:07:34] 885*2^1441481-1 is not prime. Res64: 2CD1377694AA9BAD Time : 0.0 sec. user=mdettweiler [2016-10-02 16:07:37] 957*2^1441481-1 is not prime. Res64: 913AE8083FB49F06 Time : 0.0 sec. user=mdettweiler [2016-10-02 16:07:37] 713*2^1441482-1 is not prime. Res64: E3086D4C812DDA66 Time : 0.0 sec. user=mdettweiler [2016-10-02 16:18:28] 797*2^1441482-1 is not prime. Res64: B8A3CBBF806BC0A3 Time : 0.0 sec. user=mdettweiler [2016-10-02 16:18:28] 807*2^1441482-1 is not prime. Res64: B5424102D84C05C0 Time : 0.0 sec. user=mdettweiler [2016-10-02 16:18:28] 891*2^1441482-1 is not prime. Res64: 98DC0FCF6829E8B9 Time : 0.0 sec. user=mdettweiler [2016-10-02 16:18:29] 917*2^1441482-1 is not prime. Res64: E095C1C3B3832981 Time : 0.0 sec. user=mdettweiler [2016-10-02 16:18:30] 921*2^1441482-1 is not prime. Res64: 7EEF0A983F8D549C Time : 0.0 sec. user=mdettweiler [2016-10-02 16:41:34] 945*2^1441482-1 is not prime. Res64: 658A92B3124D902E Time : 0.0 sec. user=mdettweiler [2016-10-02 16:41:34] 963*2^1441482-1 is not prime. Res64: 8CFAC451C37FC338 Time : 0.0 sec. user=mdettweiler [2016-10-02 16:41:35] 1001*2^1441482-1 is not prime. Res64: E2F2A256F709B3F3 Time : 0.0 sec. user=mdettweiler [2016-10-02 16:41:35] 631*2^1441483-1 is not prime. Res64: BC1264C0D6591395 Time : 0.0 sec. user=mdettweiler [2016-10-02 16:41:35] 639*2^1441483-1 is not prime. Res64: 5D181162D27286DE Time : 0.0 sec. user=mdettweiler [2016-10-02 16:47:19] 745*2^1441483-1 is not prime. Res64: 1C1B8CBDA18A71AD Time : 0.0 sec. user=mdettweiler [2016-10-02 16:47:19] 751*2^1441483-1 is not prime. Res64: A500CD537A21BC24 Time : 0.0 sec. user=mdettweiler [2016-10-02 16:47:20] 789*2^1441483-1 is not prime. Res64: 91356E27C899DF3C Time : 0.0 sec. user=mdettweiler [2016-10-02 16:47:20] 793*2^1441483-1 is not prime. Res64: 84267BD64FD84A1E Time : 0.0 sec. user=mdettweiler [2016-10-02 16:47:20] 973*2^1441483-1 is not prime. Res64: 311027B1AB432FFB Time : 0.0 sec. user=mdettweiler [2016-10-02 16:56:40] 749*2^1441484-1 is not prime. Res64: 08DBD8B7BC9F2E84 Time : 0.0 sec. user=mdettweiler [2016-10-02 16:56:40] 803*2^1441484-1 is not prime. Res64: 027E1F7BBA62C5E6 Time : 0.0 sec. user=mdettweiler [2016-10-02 16:56:40] 873*2^1441484-1 is not prime. Res64: FA4B1BCB74CC0CAA Time : 0.0 sec. user=mdettweiler [2016-10-02 16:56:41] 969*2^1441484-1 is not prime. Res64: 45408E38A18F473E Time : 0.0 sec. user=mdettweiler [2016-10-02 16:56:41] 983*2^1441484-1 is not prime. Res64: E4D0B3167B042CBA Time : 0.0 sec. user=mdettweiler [2016-10-02 17:08:50] 795*2^1441485-1 is not prime. Res64: C32D94E38BD4DFFF Time : 0.0 sec. user=mdettweiler [2016-10-02 17:08:51] 847*2^1441485-1 is not prime. Res64: 5A00BBE52F585E5B Time : 0.0 sec. user=mdettweiler [2016-10-02 17:08:51] 861*2^1441485-1 is not prime. Res64: 41DCF4582C393704 Time : 0.0 sec. user=mdettweiler [2016-10-02 17:08:51] 867*2^1441485-1 is not prime. Res64: 96878A2D6B25A357 Time : 0.0 sec. user=mdettweiler [2016-10-02 17:08:52] 979*2^1441485-1 is not prime. Res64: CBF9BDBF580EE986 Time : 0.0 sec. user=mdettweiler [2016-10-02 17:34:59] 623*2^1441486-1 is not prime. Res64: 9E13EAC50C10B6F0 Time : 0.0 sec. user=mdettweiler [2016-10-02 17:35:00] 663*2^1441486-1 is not prime. Res64: 75F71DF8A9FD0512 Time : 0.0 sec. user=mdettweiler [2016-10-02 17:35:00] 717*2^1441486-1 is not prime. Res64: 3566C98816B3AD3A Time : 0.0 sec. user=mdettweiler [2016-10-02 17:35:00] 801*2^1441486-1 is not prime. Res64: 782321FA0BCA24E1 Time : 0.0 sec. user=mdettweiler [2016-10-02 17:35:00] 867*2^1441486-1 is not prime. Res64: 21AA0733212C5822 Time : 0.0 sec. user=mdettweiler [2016-10-02 17:41:09] 881*2^1441486-1 is not prime. Res64: 09C5BBA1E9B01A71 Time : 0.0 sec. user=mdettweiler [2016-10-02 17:41:09] 983*2^1441486-1 is not prime. Res64: 80F11FBF1B7C24B7 Time : 0.0 sec. user=mdettweiler [2016-10-02 17:41:10] 621*2^1441487-1 is not prime. Res64: 676A5B1478E898DF Time : 0.0 sec. user=mdettweiler [2016-10-02 17:41:11] 703*2^1441487-1 is not prime. Res64: E7A97B84E299D4B8 Time : 0.0 sec. user=mdettweiler [2016-10-02 17:41:11] 781*2^1441487-1 is not prime. Res64: 14142393B2F7D591 Time : 0.0 sec. user=mdettweiler [2016-10-02 17:50:31] 841*2^1441487-1 is not prime. Res64: C6AE79A7C682FEC6 Time : 0.0 sec. user=mdettweiler [2016-10-02 17:50:32] 859*2^1441487-1 is not prime. Res64: E705547495226249 Time : 0.0 sec. user=mdettweiler [2016-10-02 17:50:32] 865*2^1441487-1 is not prime. Res64: 0A95B82D7C2E08DB Time : 0.0 sec. user=mdettweiler [2016-10-02 17:50:32] 909*2^1441487-1 is not prime. Res64: 86E74ECCF8F5F05A Time : 0.0 sec. user=mdettweiler [2016-10-02 17:50:32] 915*2^1441487-1 is not prime. Res64: 16413F81DCCA1760 Time : 0.0 sec. user=mdettweiler [2016-10-02 18:02:08] 629*2^1441488-1 is not prime. Res64: 870679E1F237AAE8 Time : 0.0 sec. user=mdettweiler [2016-10-02 18:02:10] 759*2^1441488-1 is not prime. Res64: 0D6832C8B583ECD2 Time : 0.0 sec. user=mdettweiler [2016-10-02 18:02:11] 879*2^1441488-1 is not prime. Res64: 84E35BCB60110167 Time : 0.0 sec. user=mdettweiler [2016-10-02 18:02:11] 909*2^1441488-1 is not prime. Res64: E2D3251DA1BBD0A6 Time : 0.0 sec. user=mdettweiler [2016-10-02 18:02:12] 609*2^1441489-1 is not prime. Res64: 25BCA86A52B0C9C5 Time : 0.0 sec. user=mdettweiler [2016-10-02 18:25:55] 637*2^1441489-1 is not prime. Res64: 9AB4AECA9027030E Time : 0.0 sec. user=mdettweiler [2016-10-02 18:25:56] 729*2^1441489-1 is not prime. Res64: E30299BBB78A115D Time : 0.0 sec. user=mdettweiler [2016-10-02 18:25:56] 855*2^1441489-1 is not prime. Res64: 79B0818B1E2A27C8 Time : 0.0 sec. user=mdettweiler [2016-10-02 18:25:56] 897*2^1441489-1 is not prime. Res64: DF9E2489C11CCCAB Time : 0.0 sec. user=mdettweiler [2016-10-02 18:25:56] 997*2^1441489-1 is not prime. Res64: CFD2F5DB30F8692A Time : 0.0 sec. user=mdettweiler [2016-10-02 18:33:32] 641*2^1441490-1 is not prime. Res64: 3D937C7FD99E8341 Time : 0.0 sec. user=mdettweiler [2016-10-02 18:33:32] 755*2^1441490-1 is not prime. Res64: 8C55E88C757A9993 Time : 0.0 sec. user=mdettweiler [2016-10-02 18:33:33] 767*2^1441490-1 is not prime. Res64: DF6E8358FFD0FAC0 Time : 0.0 sec. user=mdettweiler [2016-10-02 18:33:33] 885*2^1441490-1 is not prime. Res64: 547218E892E16434 Time : 0.0 sec. user=mdettweiler [2016-10-02 18:33:33] 915*2^1441490-1 is not prime. Res64: B0967511DA1F1442 Time : 0.0 sec. user=mdettweiler [2016-10-02 18:44:20] 609*2^1441491-1 is not prime. Res64: 4E5BCAF177CD7B39 Time : 0.0 sec. user=mdettweiler [2016-10-02 18:44:20] 625*2^1441491-1 is not prime. Res64: 2F84E8B2C7EBA8CC Time : 0.0 sec. user=mdettweiler [2016-10-02 18:44:20] 643*2^1441491-1 is not prime. Res64: AB73FAB4929CAD61 Time : 0.0 sec. user=mdettweiler [2016-10-02 18:44:21] 703*2^1441491-1 is not prime. Res64: A1C9204AE2F8B0B9 Time : 0.0 sec. user=mdettweiler [2016-10-02 18:44:21] 723*2^1441491-1 is not prime. Res64: DBAD04E95CB13F3B Time : 0.0 sec. user=mdettweiler [2016-10-02 18:57:28] 745*2^1441491-1 is not prime. Res64: 9D342CFFBF714553 Time : 0.0 sec. user=mdettweiler [2016-10-02 18:57:28] 835*2^1441491-1 is not prime. Res64: C228DB2C67BFFC61 Time : 0.0 sec. user=mdettweiler [2016-10-02 18:57:29] 871*2^1441491-1 is not prime. Res64: 0BE5533F7ED95DA6 Time : 0.0 sec. user=mdettweiler [2016-10-02 18:57:29] 961*2^1441491-1 is not prime. Res64: 17AFD21AA59C2362 Time : 0.0 sec. user=mdettweiler [2016-10-02 18:57:29] 749*2^1441492-1 is not prime. Res64: 6BC637BF146EB836 Time : 0.0 sec. user=mdettweiler [2016-10-02 19:19:41] 855*2^1441492-1 is not prime. Res64: AA4597AE8DEDC3A6 Time : 0.0 sec. user=mdettweiler [2016-10-02 19:19:48] 649*2^1441493-1 is not prime. Res64: DEFD929164F92648 Time : 0.0 sec. user=mdettweiler [2016-10-02 19:19:49] 699*2^1441493-1 is not prime. Res64: 0F9BCFEA42CF1124 Time : 0.0 sec. user=mdettweiler [2016-10-02 19:19:49] 715*2^1441493-1 is not prime. Res64: 3F0C6EC4A2D7DA1D Time : 0.0 sec. user=mdettweiler [2016-10-02 19:19:50] 721*2^1441493-1 is not prime. Res64: 87B0B83443523399 Time : 0.0 sec. user=mdettweiler [2016-10-02 19:25:58] 741*2^1441493-1 is not prime. Res64: 66EEF7A466763CC7 Time : 0.0 sec. user=mdettweiler [2016-10-02 19:25:59] 801*2^1441493-1 is not prime. Res64: 7C9407A749148C82 Time : 0.0 sec. user=mdettweiler [2016-10-02 19:26:00] 615*2^1441494-1 is not prime. Res64: AAA9E1F8CAB7AC70 Time : 0.0 sec. user=mdettweiler [2016-10-02 19:26:01] 641*2^1441494-1 is not prime. Res64: ED5C37498A9FB6FE Time : 0.0 sec. user=mdettweiler [2016-10-02 19:26:01] 651*2^1441494-1 is not prime. Res64: CF70A9735B6B118B Time : 0.0 sec. user=mdettweiler [2016-10-02 19:34:26] 737*2^1441494-1 is not prime. Res64: 2A5C670583BE8145 Time : 0.0 sec. user=mdettweiler [2016-10-02 19:34:26] 747*2^1441494-1 is not prime. Res64: DCCD558DD60BEEE2 Time : 0.0 sec. user=mdettweiler [2016-10-02 19:34:27] 791*2^1441494-1 is not prime. Res64: 70DE5BCBA242B51E Time : 0.0 sec. user=mdettweiler [2016-10-02 19:34:28] 873*2^1441494-1 is not prime. Res64: 9A872AFA2EF94A29 Time : 0.0 sec. user=mdettweiler [2016-10-02 19:34:29] 983*2^1441494-1 is not prime. Res64: CAF98A789C5D37EE Time : 0.0 sec. user=mdettweiler [2016-10-02 19:45:14] 601*2^1441495-1 is not prime. Res64: 5C1C5C6CAB188DD9 Time : 0.0 sec. user=mdettweiler [2016-10-02 19:45:14] 639*2^1441495-1 is not prime. Res64: 2D8D49B7CF0AB837 Time : 0.0 sec. user=mdettweiler [2016-10-02 19:45:15] 651*2^1441495-1 is not prime. Res64: D1D24519683FBBC8 Time : 0.0 sec. user=mdettweiler [2016-10-02 19:45:15] 705*2^1441495-1 is not prime. Res64: 8A2C690749D664F0 Time : 0.0 sec. user=mdettweiler [2016-10-02 19:45:15] 735*2^1441495-1 is not prime. Res64: D040EA212DFDE8B6 Time : 0.0 sec. user=mdettweiler [2016-10-02 20:05:31] 849*2^1441495-1 is not prime. Res64: CE3AF5745FAEA260 Time : 0.0 sec. user=mdettweiler [2016-10-02 20:05:35] 853*2^1441495-1 is not prime. Res64: 7E1A76742475E815 Time : 0.0 sec. user=mdettweiler [2016-10-02 20:05:37] 873*2^1441495-1 is not prime. Res64: 232DABB84D2D52FF Time : 0.0 sec. user=mdettweiler [2016-10-02 20:05:38] 677*2^1441496-1 is not prime. Res64: 6FAF5A1F652FD820 Time : 0.0 sec. user=mdettweiler [2016-10-02 20:05:41] 719*2^1441496-1 is not prime. Res64: A978CA2A8C31575E Time : 0.0 sec. user=mdettweiler [2016-10-02 20:11:26] 759*2^1441496-1 is not prime. Res64: 12564D76FA68C1B5 Time : 0.0 sec. user=mdettweiler [2016-10-02 20:11:32] 857*2^1441496-1 is not prime. Res64: DDEF18D889DD7706 Time : 0.0 sec. user=mdettweiler [2016-10-02 20:11:34] 867*2^1441496-1 is not prime. Res64: F2D50136B74332ED Time : 0.0 sec. user=mdettweiler [2016-10-02 20:11:37] 873*2^1441496-1 is not prime. Res64: 881BC34C97249729 Time : 0.0 sec. user=mdettweiler [2016-10-02 20:11:39] 903*2^1441496-1 is not prime. Res64: 1ADC094877A66AE5 Time : 0.0 sec. user=mdettweiler [2016-10-02 20:20:02] 983*2^1441496-1 is not prime. Res64: 25358C02CB79ADD8 Time : 0.0 sec. user=mdettweiler [2016-10-02 20:20:02] 625*2^1441497-1 is not prime. Res64: 6E543A74ABDFB50F Time : 0.0 sec. user=mdettweiler [2016-10-02 20:20:03] 649*2^1441497-1 is not prime. Res64: DAC26A420B6732F6 Time : 0.0 sec. user=mdettweiler [2016-10-02 20:20:03] 741*2^1441497-1 is not prime. Res64: 9F3652FD4AF5CF25 Time : 0.0 sec. user=mdettweiler [2016-10-02 20:20:04] 849*2^1441497-1 is not prime. Res64: A8EAA7AE1DBB4EEF Time : 0.0 sec. user=mdettweiler [2016-10-02 20:30:28] 991*2^1441497-1 is not prime. Res64: D6BF526A9560D48C Time : 0.0 sec. user=mdettweiler [2016-10-02 20:30:29] 657*2^1441498-1 is not prime. Res64: 84640B0FED365C56 Time : 0.0 sec. user=mdettweiler [2016-10-02 20:30:29] 705*2^1441498-1 is not prime. Res64: 78C82D9AB03AED88 Time : 0.0 sec. user=mdettweiler [2016-10-02 20:30:30] 737*2^1441498-1 is not prime. Res64: ECB0FEAB28F7B69E Time : 0.0 sec. user=mdettweiler [2016-10-02 20:30:30] 791*2^1441498-1 is not prime. Res64: A629FF8FFADC5306 Time : 0.0 sec. user=mdettweiler [2016-10-02 20:51:10] 933*2^1441498-1 is not prime. Res64: 464A0F85ED92C26E Time : 0.0 sec. user=mdettweiler [2016-10-02 20:51:10] 941*2^1441498-1 is not prime. Res64: 79F8AB3B881010BB Time : 0.0 sec. user=mdettweiler [2016-10-02 20:51:11] 601*2^1441499-1 is not prime. Res64: 98746B0729AD849C Time : 0.0 sec. user=mdettweiler [2016-10-02 20:51:11] 745*2^1441499-1 is not prime. Res64: 8AE5F7C4538A4AC9 Time : 0.0 sec. user=mdettweiler [2016-10-02 20:51:11] 825*2^1441499-1 is not prime. Res64: B2F9996E59A7FB75 Time : 0.0 sec. user=mdettweiler [2016-10-02 20:57:15] 895*2^1441499-1 is not prime. Res64: AF7A04969C5E87AB Time : 0.0 sec. user=mdettweiler [2016-10-02 20:57:16] 931*2^1441499-1 is not prime. Res64: 634F910126667F49 Time : 0.0 sec. user=mdettweiler [2016-10-02 20:57:16] 633*2^1441500-1 is not prime. Res64: 6CCE8F38B7885D4A Time : 0.0 sec. user=mdettweiler [2016-10-02 20:57:17] 653*2^1441500-1 is not prime. Res64: 63953FC6B51B2FB4 Time : 0.0 sec. user=mdettweiler [2016-10-02 20:57:17] 779*2^1441500-1 is not prime. Res64: 35000A12F3774B97 Time : 0.0 sec. user=mdettweiler [2016-10-02 21:05:20] 795*2^1441500-1 is not prime. Res64: CA52C9389C6C911F Time : 0.0 sec. user=mdettweiler [2016-10-02 21:05:22] 843*2^1441500-1 is not prime. Res64: 402FE65CB9A54A39 Time : 0.0 sec. user=mdettweiler [2016-10-02 21:05:23] 857*2^1441500-1 is not prime. Res64: 06CA4FF3E0CA675E Time : 0.0 sec. user=mdettweiler [2016-10-02 21:05:25] 929*2^1441500-1 is not prime. Res64: 6EE39F9C30900F04 Time : 0.0 sec. user=mdettweiler [2016-10-02 21:05:27] 959*2^1441500-1 is not prime. Res64: B7E129CCADCFFA38 Time : 0.0 sec. user=mdettweiler [2016-10-02 21:15:53] 649*2^1441501-1 is not prime. Res64: 626EC489565A18CD Time : 0.0 sec. user=mdettweiler [2016-10-02 21:15:53] 687*2^1441501-1 is not prime. Res64: 35619D1E7ECB501D Time : 0.0 sec. user=mdettweiler [2016-10-02 21:15:54] 799*2^1441501-1 is not prime. Res64: D5EBA15FACF19639 Time : 0.0 sec. user=mdettweiler [2016-10-02 21:15:55] 819*2^1441501-1 is not prime. Res64: ED6F66FB4F3EA223 Time : 0.0 sec. user=mdettweiler [2016-10-02 21:15:55] 847*2^1441501-1 is not prime. Res64: DD12DBD2A2682E60 Time : 0.0 sec. user=mdettweiler [2016-10-02 21:36:29] 871*2^1441501-1 is not prime. Res64: DB122E3BC3BD67F0 Time : 0.0 sec. user=mdettweiler [2016-10-02 21:36:30] 937*2^1441501-1 is not prime. Res64: 740496B6A0B8393D Time : 0.0 sec. user=mdettweiler [2016-10-02 21:36:30] 705*2^1441502-1 is not prime. Res64: 0BC2D35ACA348ABD Time : 0.0 sec. user=mdettweiler [2016-10-02 21:36:30] 785*2^1441502-1 is not prime. Res64: A4CF853CF88E35F1 Time : 0.0 sec. user=mdettweiler [2016-10-02 21:36:31] 797*2^1441502-1 is not prime. Res64: 5CDA211F4C938284 Time : 0.0 sec. user=mdettweiler [2016-10-02 21:42:20] 825*2^1441502-1 is not prime. Res64: 9873CDAA92544116 Time : 0.0 sec. user=mdettweiler [2016-10-02 21:42:20] 827*2^1441502-1 is not prime. Res64: CCFDBC17C0A95C6A Time : 0.0 sec. user=mdettweiler [2016-10-02 21:42:21] 857*2^1441502-1 is not prime. Res64: 16891925ACE6EE4E Time : 0.0 sec. user=mdettweiler [2016-10-02 21:42:21] 893*2^1441502-1 is not prime. Res64: 1C37BCD5F1CA360C Time : 0.0 sec. user=mdettweiler [2016-10-02 21:42:22] 897*2^1441502-1 is not prime. Res64: D3B6C17ABE079D39 Time : 0.0 sec. user=mdettweiler [2016-10-02 21:50:56] 911*2^1441502-1 is not prime. Res64: 31E050D87C387854 Time : 0.0 sec. user=mdettweiler [2016-10-02 21:50:56] 923*2^1441502-1 is not prime. Res64: 98CD0EFA5E0DA994 Time : 0.0 sec. user=mdettweiler [2016-10-02 21:50:56] 679*2^1441503-1 is not prime. Res64: C3966B5810734BF8 Time : 0.0 sec. user=mdettweiler [2016-10-02 21:50:57] 693*2^1441503-1 is not prime. Res64: F43438C3115AAAF1 Time : 0.0 sec. user=mdettweiler [2016-10-02 21:50:57] 741*2^1441503-1 is not prime. Res64: 7C6DDB95B55049F8 Time : 0.0 sec. user=mdettweiler [2016-10-02 22:01:32] 765*2^1441503-1 is not prime. Res64: 20565DE171804952 Time : 0.0 sec. user=mdettweiler [2016-10-02 22:01:33] 805*2^1441503-1 is not prime. Res64: 354F593CC98860ED Time : 0.0 sec. user=mdettweiler [2016-10-02 22:01:34] 849*2^1441503-1 is not prime. Res64: 3B6F8D94D6AEB6AD Time : 0.0 sec. user=mdettweiler [2016-10-02 22:01:35] 901*2^1441503-1 is not prime. Res64: 556C6A96418B1B44 Time : 0.0 sec. user=mdettweiler [2016-10-02 22:01:36] 605*2^1441504-1 is not prime. Res64: D8DB5B3AB25DCA98 Time : 0.0 sec. user=mdettweiler [2016-10-02 22:21:46] 695*2^1441504-1 is not prime. Res64: 0931B7F2B285EDEA Time : 0.0 sec. user=mdettweiler [2016-10-02 22:21:46] 747*2^1441504-1 is not prime. Res64: 6794421B708A7C2E Time : 0.0 sec. user=mdettweiler [2016-10-02 22:21:47] 765*2^1441504-1 is not prime. Res64: 09BF92CFFC809AEE Time : 0.0 sec. user=mdettweiler [2016-10-02 22:21:48] 773*2^1441504-1 is not prime. Res64: BE3C72F4960FF87F Time : 0.0 sec. user=mdettweiler [2016-10-02 22:21:50] 785*2^1441504-1 is not prime. Res64: BFF23D899076CA02 Time : 0.0 sec. user=mdettweiler [2016-10-02 22:27:34] 813*2^1441504-1 is not prime. Res64: 2A95EF711CED7F3A Time : 0.0 sec. user=mdettweiler [2016-10-02 22:27:35] 825*2^1441504-1 is not prime. Res64: 2E90CB9871EDE123 Time : 0.0 sec. user=mdettweiler [2016-10-02 22:27:35] 833*2^1441504-1 is not prime. Res64: DAB328591923C8E5 Time : 0.0 sec. user=mdettweiler [2016-10-02 22:27:36] 873*2^1441504-1 is not prime. Res64: 4012DBB290353E30 Time : 0.0 sec. user=mdettweiler [2016-10-02 22:27:36] 927*2^1441504-1 is not prime. Res64: 76E3C4233D029035 Time : 0.0 sec. user=mdettweiler [2016-10-02 22:36:05] 939*2^1441504-1 is not prime. Res64: 5F2A2AEFDAACAB32 Time : 0.0 sec. user=mdettweiler [2016-10-02 22:36:05] 607*2^1441505-1 is not prime. Res64: 235400EE26A012F6 Time : 0.0 sec. user=mdettweiler [2016-10-02 22:36:06] 691*2^1441505-1 is not prime. Res64: FD94B00EAD857A60 Time : 0.0 sec. user=mdettweiler [2016-10-02 22:36:06] 795*2^1441505-1 is not prime. Res64: DB5E24670B8AA391 Time : 0.0 sec. user=mdettweiler [2016-10-02 22:36:07] 861*2^1441505-1 is not prime. Res64: 80F248AF81F6D815 Time : 0.0 sec. user=mdettweiler [2016-10-02 22:46:46] 951*2^1441505-1 is not prime. Res64: A68B96A2E321D860 Time : 0.0 sec. user=mdettweiler [2016-10-02 22:46:46] 633*2^1441506-1 is not prime. Res64: 56B20E123FEBC618 Time : 0.0 sec. user=mdettweiler [2016-10-02 22:46:46] 683*2^1441506-1 is not prime. Res64: BA85505080937D91 Time : 0.0 sec. user=mdettweiler [2016-10-02 22:46:47] 887*2^1441506-1 is not prime. Res64: 8C236907DE507D1F Time : 0.0 sec. user=mdettweiler [2016-10-02 22:46:47] 619*2^1441507-1 is not prime. Res64: B1ABDFFC5034B31F Time : 0.0 sec. user=mdettweiler [2016-10-02 23:07:14] 631*2^1441507-1 is not prime. Res64: 834A58A512F393A5 Time : 0.0 sec. user=mdettweiler [2016-10-02 23:07:16] 673*2^1441507-1 is not prime. Res64: 1396DCB429E5EC9E Time : 0.0 sec. user=mdettweiler [2016-10-02 23:07:19] 691*2^1441507-1 is not prime. Res64: 2009B2801DF41664 Time : 0.0 sec. user=mdettweiler [2016-10-02 23:07:21] 699*2^1441507-1 is not prime. Res64: ABE762676DA8AAFA Time : 0.0 sec. user=mdettweiler [2016-10-02 23:07:23] 733*2^1441507-1 is not prime. Res64: 55C79820CE3ACC86 Time : 0.0 sec. user=mdettweiler [2016-10-02 23:13:03] 895*2^1441507-1 is not prime. Res64: 272C0EC6905131EB Time : 0.0 sec. user=mdettweiler [2016-10-02 23:13:07] 985*2^1441507-1 is not prime. Res64: 15E74861789C60E5 Time : 0.0 sec. user=mdettweiler [2016-10-02 23:13:09] 603*2^1441508-1 is not prime. Res64: 93B4E7C6545BB8FD Time : 0.0 sec. user=mdettweiler [2016-10-02 23:13:10] 825*2^1441508-1 is not prime. Res64: 9D89B81D888E7767 Time : 0.0 sec. user=mdettweiler [2016-10-02 23:21:32] 915*2^1441508-1 is not prime. Res64: 0BA2173CD8DCA155 Time : 0.0 sec. user=mdettweiler [2016-10-02 23:21:32] 935*2^1441508-1 is not prime. Res64: 6633AAFEBFAAB1B4 Time : 0.0 sec. user=mdettweiler [2016-10-02 23:21:33] 963*2^1441508-1 is not prime. Res64: 7B93178009D480A4 Time : 0.0 sec. user=mdettweiler [2016-10-02 23:21:33] 969*2^1441508-1 is not prime. Res64: 60CBDFA7024414DE Time : 0.0 sec. user=mdettweiler [2016-10-02 23:21:34] 615*2^1441509-1 is not prime. Res64: AB2BF6244DBB0D6F Time : 0.0 sec. user=mdettweiler [2016-10-02 23:32:37] 639*2^1441509-1 is not prime. Res64: 3DBAE58B9D6C6B34 Time : 0.0 sec. user=mdettweiler [2016-10-02 23:32:37] 667*2^1441509-1 is not prime. Res64: F13BE760950968F3 Time : 0.0 sec. user=mdettweiler [2016-10-02 23:32:37] 709*2^1441509-1 is not prime. Res64: 0C38B786194143A1 Time : 0.0 sec. user=mdettweiler [2016-10-02 23:32:38] 727*2^1441509-1 is not prime. Res64: 588D5E9A11093A66 Time : 0.0 sec. user=mdettweiler [2016-10-02 23:32:38] 997*2^1441509-1 is not prime. Res64: E4CE843BCEDBB0F3 Time : 0.0 sec. user=mdettweiler [2016-10-02 23:53:33] 717*2^1441510-1 is not prime. Res64: 531AD972313BEDDF Time : 0.0 sec. user=mdettweiler [2016-10-02 23:53:33] 917*2^1441510-1 is not prime. Res64: 202CC559CA50706F Time : 0.0 sec. user=mdettweiler [2016-10-02 23:53:33] 643*2^1441511-1 is not prime. Res64: 3C9DBCEBD6CB310C Time : 0.0 sec. user=mdettweiler [2016-10-02 23:53:34] 645*2^1441511-1 is not prime. Res64: DF33506F4AB02C9C Time : 0.0 sec. user=mdettweiler [2016-10-02 23:53:34] 649*2^1441511-1 is not prime. Res64: B28B6C44E2DEF7EF Time : 0.0 sec.