user=mdettweiler [2016-10-01 00:11:40] 903*2^1441302-1 is not prime. Res64: 2C14CDF5D86D483D Time : 0.0 sec. user=mdettweiler [2016-10-01 00:11:41] 965*2^1441302-1 is not prime. Res64: 2A3B2CD619AC5823 Time : 0.0 sec. user=mdettweiler [2016-10-01 00:11:41] 977*2^1441302-1 is not prime. Res64: 3A9A34DB12A5C132 Time : 0.0 sec. user=mdettweiler [2016-10-01 00:11:42] 673*2^1441303-1 is not prime. Res64: A3CDD837F595C410 Time : 0.0 sec. user=mdettweiler [2016-10-01 00:11:42] 709*2^1441303-1 is not prime. Res64: DBA468EFC725D225 Time : 0.0 sec. user=mdettweiler [2016-10-01 00:21:04] 729*2^1441303-1 is not prime. Res64: 9363A6248791146A Time : 0.0 sec. user=mdettweiler [2016-10-01 00:21:05] 819*2^1441303-1 is not prime. Res64: 148EAFF15A3CBAF9 Time : 0.0 sec. user=mdettweiler [2016-10-01 00:21:05] 999*2^1441303-1 is not prime. Res64: 200F70F8651F42B6 Time : 0.0 sec. user=mdettweiler [2016-10-01 00:21:06] 665*2^1441304-1 is not prime. Res64: 1F4173A4A70FEEB9 Time : 0.0 sec. user=mdettweiler [2016-10-01 00:21:06] 759*2^1441304-1 is not prime. Res64: 33ECC8A2F6CA1C8D Time : 0.0 sec. user=mdettweiler [2016-10-01 00:29:53] 825*2^1441304-1 is not prime. Res64: A2F334C8A89DED00 Time : 0.0 sec. user=mdettweiler [2016-10-01 00:29:53] 873*2^1441304-1 is not prime. Res64: 57A308C1999BEB79 Time : 0.0 sec. user=mdettweiler [2016-10-01 00:29:54] 777*2^1441305-1 is not prime. Res64: B88AF1FB0A6DE79C Time : 0.0 sec. user=mdettweiler [2016-10-01 00:29:54] 781*2^1441305-1 is not prime. Res64: BEB152CC77EDD2C0 Time : 0.0 sec. user=mdettweiler [2016-10-01 00:29:55] 789*2^1441305-1 is not prime. Res64: 64763A861514DFD5 Time : 0.0 sec. user=mdettweiler [2016-10-01 00:30:06] 831*2^1441305-1 is not prime. Res64: 673F8FEB7036DAD5 Time : 0.0 sec. user=mdettweiler [2016-10-01 00:30:08] 837*2^1441305-1 is not prime. Res64: 641D30FBFFF65543 Time : 0.0 sec. user=mdettweiler [2016-10-01 00:30:09] 895*2^1441305-1 is not prime. Res64: 8EC8063143826F51 Time : 0.0 sec. user=mdettweiler [2016-10-01 00:30:09] 921*2^1441305-1 is not prime. Res64: 369F945B56C8472D Time : 0.0 sec. user=mdettweiler [2016-10-01 00:30:10] 955*2^1441305-1 is not prime. Res64: AC1568A638341DAB Time : 0.0 sec. user=mdettweiler [2016-10-01 00:57:18] 999*2^1441305-1 is not prime. Res64: 364A0C56D3AFDB43 Time : 0.0 sec. user=mdettweiler [2016-10-01 00:57:19] 611*2^1441306-1 is not prime. Res64: BBBEE5870F177EA0 Time : 0.0 sec. user=mdettweiler [2016-10-01 00:57:19] 657*2^1441306-1 is not prime. Res64: 632E331EC7D260AF Time : 0.0 sec. user=mdettweiler [2016-10-01 00:57:20] 765*2^1441306-1 is not prime. Res64: AA3C839D458A5F24 Time : 0.0 sec. user=mdettweiler [2016-10-01 00:57:21] 821*2^1441306-1 is not prime. Res64: AF15E8E386E250DB Time : 0.0 sec. user=mdettweiler [2016-10-01 01:06:37] 917*2^1441306-1 is not prime. Res64: 46E86B4EE5FD49FF Time : 0.0 sec. user=mdettweiler [2016-10-01 01:06:39] 733*2^1441307-1 is not prime. Res64: 1B804D15F08FCFFC Time : 0.0 sec. user=mdettweiler [2016-10-01 01:06:40] 799*2^1441307-1 is not prime. Res64: D847BBACD6028091 Time : 0.0 sec. user=mdettweiler [2016-10-01 01:06:41] 801*2^1441307-1 is not prime. Res64: 957F91373403F5F1 Time : 0.0 sec. user=mdettweiler [2016-10-01 01:06:42] 825*2^1441307-1 is not prime. Res64: 8842DA18A4D391D1 Time : 0.0 sec. user=mdettweiler [2016-10-01 01:15:24] 665*2^1441308-1 is not prime. Res64: DACF0951F028767B Time : 0.0 sec. user=mdettweiler [2016-10-01 01:15:24] 683*2^1441308-1 is not prime. Res64: 14751960E895EF6E Time : 0.0 sec. user=mdettweiler [2016-10-01 01:15:25] 707*2^1441308-1 is not prime. Res64: B9EDD7364C555D2D Time : 0.0 sec. user=mdettweiler [2016-10-01 01:15:25] 845*2^1441308-1 is not prime. Res64: 1BBB15DA7DFA6EC5 Time : 0.0 sec. user=mdettweiler [2016-10-01 01:15:26] 933*2^1441308-1 is not prime. Res64: 806CAB7C52F672F4 Time : 0.0 sec. user=mdettweiler [2016-10-01 01:15:39] 959*2^1441308-1 is not prime. Res64: 18CCB6CFF09BA4DF Time : 0.0 sec. user=mdettweiler [2016-10-01 01:15:40] 609*2^1441309-1 is not prime. Res64: 250E987ABCB47AFF Time : 0.0 sec. user=mdettweiler [2016-10-01 01:15:40] 615*2^1441309-1 is not prime. Res64: 762856E06B6BD57C Time : 0.0 sec. user=mdettweiler [2016-10-01 01:15:41] 789*2^1441309-1 is not prime. Res64: D14A11D8A0FCC63D Time : 0.0 sec. user=mdettweiler [2016-10-01 01:15:42] 885*2^1441309-1 is not prime. Res64: F294C93BB4B998B6 Time : 0.0 sec. user=mdettweiler [2016-10-01 01:43:02] 987*2^1441309-1 is not prime. Res64: 6446C81011905B53 Time : 0.0 sec. user=mdettweiler [2016-10-01 01:43:02] 999*2^1441309-1 is not prime. Res64: 232C42A3279FE26D Time : 0.0 sec. user=mdettweiler [2016-10-01 01:43:03] 657*2^1441310-1 is not prime. Res64: B3E6527F5B785FEA Time : 0.0 sec. user=mdettweiler [2016-10-01 01:43:03] 827*2^1441310-1 is not prime. Res64: EE8875178FE4B9C1 Time : 0.0 sec. user=mdettweiler [2016-10-01 01:43:04] 911*2^1441310-1 is not prime. Res64: 7001ECD5F0981533 Time : 0.0 sec. user=mdettweiler [2016-10-01 01:52:07] 927*2^1441310-1 is not prime. Res64: DD24D8F7B94A5880 Time : 0.0 sec. user=mdettweiler [2016-10-01 01:52:07] 935*2^1441310-1 is not prime. Res64: 8C182C308878BFCE Time : 0.0 sec. user=mdettweiler [2016-10-01 01:52:07] 945*2^1441310-1 is not prime. Res64: 5F27AC263313529D Time : 0.0 sec. user=mdettweiler [2016-10-01 01:52:08] 723*2^1441311-1 is not prime. Res64: 104AB4571BA7DBB3 Time : 0.0 sec. user=mdettweiler [2016-10-01 01:52:08] 861*2^1441311-1 is not prime. Res64: C5F999EFA3875930 Time : 0.0 sec. user=mdettweiler [2016-10-01 02:01:10] 865*2^1441311-1 is not prime. Res64: D163370EEF4888B2 Time : 0.0 sec. user=mdettweiler [2016-10-01 02:01:12] 695*2^1441312-1 is not prime. Res64: 2FAAD3A6BF8DACBE Time : 0.0 sec. user=mdettweiler [2016-10-01 02:01:13] 923*2^1441312-1 is not prime. Res64: 096BC3C62A9F5C4B Time : 0.0 sec. user=mdettweiler [2016-10-01 02:01:14] 785*2^1441312-1 is not prime. Res64: DCE72169F226C42F Time : 0.0 sec. user=mdettweiler [2016-10-01 02:01:16] 797*2^1441312-1 is not prime. Res64: C866AC1CE380F2C3 Time : 0.0 sec. user=mdettweiler [2016-10-01 02:01:16] 939*2^1441312-1 is not prime. Res64: AFE8F5B672DD3BF4 Time : 0.0 sec. user=mdettweiler [2016-10-01 02:01:17] 849*2^1441312-1 is not prime. Res64: CFA254485F891804 Time : 0.0 sec. user=mdettweiler [2016-10-01 02:01:18] 651*2^1441313-1 is not prime. Res64: 2AFEBB851C613D1A Time : 0.0 sec. user=mdettweiler [2016-10-01 02:01:19] 697*2^1441313-1 is not prime. Res64: 453499E75547DCD4 Time : 0.0 sec. user=mdettweiler [2016-10-01 02:01:21] 699*2^1441313-1 is not prime. Res64: 53FE03B1B52E64A3 Time : 0.0 sec. user=mdettweiler [2016-10-01 02:28:24] 715*2^1441313-1 is not prime. Res64: AB26F5C7353BF9D4 Time : 0.0 sec. user=mdettweiler [2016-10-01 02:28:24] 729*2^1441313-1 is not prime. Res64: 18D2E46B132F2D27 Time : 0.0 sec. user=mdettweiler [2016-10-01 02:28:25] 771*2^1441313-1 is not prime. Res64: DF6A6E97EC938AFC Time : 0.0 sec. user=mdettweiler [2016-10-01 02:28:25] 855*2^1441313-1 is not prime. Res64: 9975B2DF99223D56 Time : 0.0 sec. user=mdettweiler [2016-10-01 02:28:26] 937*2^1441313-1 is not prime. Res64: 3B4C2646ACDF3E33 Time : 0.0 sec. user=mdettweiler [2016-10-01 02:37:28] 741*2^1441314-1 is not prime. Res64: 47F250C2B7846F64 Time : 0.0 sec. user=mdettweiler [2016-10-01 02:37:29] 807*2^1441314-1 is not prime. Res64: 882EE82613B58422 Time : 0.0 sec. user=mdettweiler [2016-10-01 02:37:29] 851*2^1441314-1 is not prime. Res64: D2C66035F17ACB52 Time : 0.0 sec. user=mdettweiler [2016-10-01 02:37:30] 923*2^1441314-1 is not prime. Res64: 980EBCF71F5EE48D Time : 0.0 sec. user=mdettweiler [2016-10-01 02:37:30] 993*2^1441314-1 is not prime. Res64: EE253DD88D1C4FFF Time : 0.0 sec. user=mdettweiler [2016-10-01 02:46:57] 685*2^1441315-1 is not prime. Res64: 7746C502BAD2186B Time : 0.0 sec. user=mdettweiler [2016-10-01 02:46:57] 771*2^1441315-1 is not prime. Res64: AE71AFF52F652E20 Time : 0.0 sec. user=mdettweiler [2016-10-01 02:46:58] 801*2^1441315-1 is not prime. Res64: AC58C2CC0E76FAF9 Time : 0.0 sec. user=mdettweiler [2016-10-01 02:46:59] 873*2^1441315-1 is not prime. Res64: 5E03B9AB11FC4D92 Time : 0.0 sec. user=mdettweiler [2016-10-01 02:47:00] 885*2^1441315-1 is not prime. Res64: A5DC9E0E551CC4A9 Time : 0.0 sec. user=mdettweiler [2016-10-01 02:47:28] 939*2^1441315-1 is not prime. Res64: 455B29203E16BD40 Time : 0.0 sec. user=mdettweiler [2016-10-01 02:47:29] 789*2^1441316-1 is not prime. Res64: 188E4D9CFED44578 Time : 0.0 sec. user=mdettweiler [2016-10-01 02:47:30] 833*2^1441316-1 is not prime. Res64: 95CBBCA84E63C224 Time : 0.0 sec. user=mdettweiler [2016-10-01 02:47:30] 909*2^1441316-1 is not prime. Res64: 4AFFE32A35BBB749 Time : 0.0 sec. user=mdettweiler [2016-10-01 02:47:31] 983*2^1441316-1 is not prime. Res64: 55DA70CA57E13A99 Time : 0.0 sec. user=mdettweiler [2016-10-01 03:14:08] 999*2^1441316-1 is not prime. Res64: EB65BCFBCA40B1F8 Time : 0.0 sec. user=mdettweiler [2016-10-01 03:14:09] 607*2^1441317-1 is not prime. Res64: 7EDB94B694B426B2 Time : 0.0 sec. user=mdettweiler [2016-10-01 03:14:10] 667*2^1441317-1 is not prime. Res64: 243A4A2F452CB017 Time : 0.0 sec. user=mdettweiler [2016-10-01 03:14:10] 675*2^1441317-1 is not prime. Res64: 9AA1ABF1E51F7A61 Time : 0.0 sec. user=mdettweiler [2016-10-01 03:14:10] 681*2^1441317-1 is not prime. Res64: 3B1AA18BE9487C84 Time : 0.0 sec. user=mdettweiler [2016-10-01 03:22:39] 711*2^1441317-1 is not prime. Res64: B2C105FE984887B2 Time : 0.0 sec. user=mdettweiler [2016-10-01 03:22:41] 727*2^1441317-1 is not prime. Res64: 8466911D5DFF67C3 Time : 0.0 sec. user=mdettweiler [2016-10-01 03:22:42] 751*2^1441317-1 is not prime. Res64: 79F394E6FD05555B Time : 0.0 sec. user=mdettweiler [2016-10-01 03:22:43] 871*2^1441317-1 is not prime. Res64: 6BF6B3DA74ACB2F3 Time : 0.0 sec. user=mdettweiler [2016-10-01 03:22:43] 997*2^1441317-1 is not prime. Res64: D0231529C2688126 Time : 0.0 sec. user=mdettweiler [2016-10-01 03:32:28] 635*2^1441318-1 is not prime. Res64: 18EC5E7B4A4693C5 Time : 0.0 sec. user=mdettweiler [2016-10-01 03:32:30] 707*2^1441318-1 is not prime. Res64: FC1DB22BE7849177 Time : 0.0 sec. user=mdettweiler [2016-10-01 03:32:33] 815*2^1441318-1 is not prime. Res64: 4D5506B5852BAE62 Time : 0.0 sec. user=mdettweiler [2016-10-01 03:32:37] 827*2^1441318-1 is not prime. Res64: 1D6D0376096C100B Time : 0.0 sec. user=mdettweiler [2016-10-01 03:32:39] 831*2^1441318-1 is not prime. Res64: 10D5DCA4BCD716FC Time : 0.0 sec. user=mdettweiler [2016-10-01 03:32:42] 879*2^1441319-1 is not prime. Res64: 6E947CC7C7080711 Time : 0.0 sec. user=mdettweiler [2016-10-01 03:32:45] 713*2^1441320-1 is not prime. Res64: 6CB44E15D80C0F7C Time : 0.0 sec. user=mdettweiler [2016-10-01 03:32:47] 765*2^1441320-1 is not prime. Res64: F65340CC85B18568 Time : 0.0 sec. user=mdettweiler [2016-10-01 03:32:49] 773*2^1441320-1 is not prime. Res64: 68D3F196E88B65A6 Time : 0.0 sec. user=mdettweiler [2016-10-01 03:32:50] 825*2^1441320-1 is not prime. Res64: BDA1C365976BCEBA Time : 0.0 sec. user=mdettweiler [2016-10-01 03:59:41] 839*2^1441320-1 is not prime. Res64: B624082A509F5C43 Time : 0.0 sec. user=mdettweiler [2016-10-01 03:59:42] 639*2^1441321-1 is not prime. Res64: E7465E9220CBB90C Time : 0.0 sec. user=mdettweiler [2016-10-01 03:59:43] 649*2^1441321-1 is not prime. Res64: 9007C3AF6C080CC3 Time : 0.0 sec. user=mdettweiler [2016-10-01 03:59:43] 705*2^1441321-1 is not prime. Res64: D85163C54FEB5FB9 Time : 0.0 sec. user=mdettweiler [2016-10-01 03:59:44] 751*2^1441321-1 is not prime. Res64: 3EBCE7ED0D61E4A5 Time : 0.0 sec. user=mdettweiler [2016-10-01 04:08:32] 777*2^1441321-1 is not prime. Res64: DCD2EC75BBEB5BFE Time : 0.0 sec. user=mdettweiler [2016-10-01 04:08:36] 871*2^1441321-1 is not prime. Res64: 3E5624F815D7A645 Time : 0.0 sec. user=mdettweiler [2016-10-01 04:08:43] 675*2^1441323-1 is not prime. Res64: 5743B1266701067F Time : 0.0 sec. user=mdettweiler [2016-10-01 04:08:48] 829*2^1441323-1 is not prime. Res64: 97019B27C786DE89 Time : 0.0 sec. user=mdettweiler [2016-10-01 04:08:53] 853*2^1441323-1 is not prime. Res64: 0C7816246CE1845F Time : 0.0 sec. user=mdettweiler [2016-10-01 04:18:13] 913*2^1441323-1 is not prime. Res64: B7841A8411536183 Time : 0.0 sec. user=mdettweiler [2016-10-01 04:18:14] 963*2^1441323-1 is not prime. Res64: 88B82A50D1564D76 Time : 0.0 sec. user=mdettweiler [2016-10-01 04:18:16] 973*2^1441323-1 is not prime. Res64: 3F53644B60C18C5D Time : 0.0 sec. user=mdettweiler [2016-10-01 04:18:18] 623*2^1441324-1 is not prime. Res64: 067276C24C8662BB Time : 0.0 sec. user=mdettweiler [2016-10-01 04:18:19] 743*2^1441324-1 is not prime. Res64: A6013BB3587B7BB2 Time : 0.0 sec. user=mdettweiler [2016-10-01 04:18:31] 825*2^1441324-1 is not prime. Res64: 4C72FE6C04697CB8 Time : 0.0 sec. user=mdettweiler [2016-10-01 04:18:34] 843*2^1441324-1 is not prime. Res64: 29B1E7A0814EB7FB Time : 0.0 sec. user=mdettweiler [2016-10-01 04:18:36] 875*2^1441324-1 is not prime. Res64: 384076D7A3FC1447 Time : 0.0 sec. user=mdettweiler [2016-10-01 04:18:37] 897*2^1441324-1 is not prime. Res64: 59B33A217586D439 Time : 0.0 sec. user=mdettweiler [2016-10-01 04:18:38] 947*2^1441324-1 is not prime. Res64: 55849622D3AA1708 Time : 0.0 sec. user=mdettweiler [2016-10-01 04:45:13] 965*2^1441324-1 is not prime. Res64: 004B4796A55B251F Time : 0.0 sec. user=mdettweiler [2016-10-01 04:45:14] 993*2^1441324-1 is not prime. Res64: A8475C86608B2724 Time : 0.0 sec. user=mdettweiler [2016-10-01 04:45:14] 735*2^1441325-1 is not prime. Res64: A50B998446C5EB61 Time : 0.0 sec. user=mdettweiler [2016-10-01 04:45:15] 885*2^1441325-1 is not prime. Res64: 0B0946D2079D0C14 Time : 0.0 sec. user=mdettweiler [2016-10-01 04:45:15] 957*2^1441325-1 is not prime. Res64: 3EECB9D16DCEB8E9 Time : 0.0 sec. user=mdettweiler [2016-10-01 04:55:04] 981*2^1441325-1 is not prime. Res64: 8E38FC674744ED86 Time : 0.0 sec. user=mdettweiler [2016-10-01 04:55:04] 755*2^1441326-1 is not prime. Res64: 811BD8AE47CAC462 Time : 0.0 sec. user=mdettweiler [2016-10-01 04:55:05] 777*2^1441326-1 is not prime. Res64: 0028E6017E7EDFCF Time : 0.0 sec. user=mdettweiler [2016-10-01 04:55:05] 801*2^1441326-1 is not prime. Res64: D6C9AB447665A174 Time : 0.0 sec. user=mdettweiler [2016-10-01 04:55:05] 983*2^1441326-1 is not prime. Res64: 13F1212F8E6387E6 Time : 0.0 sec. user=mdettweiler [2016-10-01 05:03:49] 861*2^1441327-1 is not prime. Res64: 79BAF599F8B8F320 Time : 0.0 sec. user=mdettweiler [2016-10-01 05:03:50] 985*2^1441327-1 is not prime. Res64: 2F38FD13231ACADD Time : 0.0 sec. user=mdettweiler [2016-10-01 05:03:52] 601*2^1441327-1 is not prime. Res64: 87BCC9FA6F478C56 Time : 0.0 sec. user=mdettweiler [2016-10-01 05:03:52] 617*2^1441328-1 is not prime. Res64: 89FC7D32FCA1EFAD Time : 0.0 sec. user=mdettweiler [2016-10-01 05:03:53] 603*2^1441327-1 is not prime. Res64: 176AD7BA7B2EC044 Time : 0.0 sec. user=mdettweiler [2016-10-01 05:03:54] 673*2^1441327-1 is not prime. Res64: 61C45675C6A92618 Time : 0.0 sec. user=mdettweiler [2016-10-01 05:03:54] 669*2^1441328-1 is not prime. Res64: 64F54ED36F281B4D Time : 0.0 sec. user=mdettweiler [2016-10-01 05:03:56] 775*2^1441327-1 is not prime. Res64: D9888A77583F682F Time : 0.0 sec. user=mdettweiler [2016-10-01 05:03:57] 841*2^1441327-1 is not prime. Res64: 9C482F906C6F9435 Time : 0.0 sec. user=mdettweiler [2016-10-01 05:03:57] 725*2^1441328-1 is not prime. Res64: 61BA37B18D6003A6 Time : 0.0 sec. user=mdettweiler [2016-10-01 05:30:26] 735*2^1441328-1 is not prime. Res64: E0090D50B164F645 Time : 0.0 sec. user=mdettweiler [2016-10-01 05:30:27] 773*2^1441328-1 is not prime. Res64: CEFE8EC499FFEB22 Time : 0.0 sec. user=mdettweiler [2016-10-01 05:30:28] 803*2^1441328-1 is not prime. Res64: 7BBBE1DF806C1AF9 Time : 0.0 sec. user=mdettweiler [2016-10-01 05:30:29] 827*2^1441328-1 is not prime. Res64: F806431CCDB7665B Time : 0.0 sec. user=mdettweiler [2016-10-01 05:30:29] 959*2^1441328-1 is not prime. Res64: 9F1078AA94506E31 Time : 0.0 sec. user=mdettweiler [2016-10-01 05:40:22] 681*2^1441329-1 is not prime. Res64: 934860B28521DDDA Time : 0.0 sec. user=mdettweiler [2016-10-01 05:40:23] 709*2^1441329-1 is not prime. Res64: 05843A5C69228CB9 Time : 0.0 sec. user=mdettweiler [2016-10-01 05:40:23] 889*2^1441329-1 is not prime. Res64: 7A1AC1119C0148CA Time : 0.0 sec. user=mdettweiler [2016-10-01 05:40:24] 919*2^1441329-1 is not prime. Res64: 8264811A032E500F Time : 0.0 sec. user=mdettweiler [2016-10-01 05:40:24] 611*2^1441330-1 is not prime. Res64: 1D6CF176A863248E Time : 0.0 sec. user=mdettweiler [2016-10-01 05:49:21] 623*2^1441330-1 is not prime. Res64: 70A5BED7EA2839A4 Time : 0.0 sec. user=mdettweiler [2016-10-01 05:49:22] 665*2^1441330-1 is not prime. Res64: C4C4F7607EE99CC0 Time : 0.0 sec. user=mdettweiler [2016-10-01 05:49:22] 825*2^1441330-1 is not prime. Res64: A36F455887A14468 Time : 0.0 sec. user=mdettweiler [2016-10-01 05:49:22] 673*2^1441331-1 is not prime. Res64: 8A748F4CD8CD75FE Time : 0.0 sec. user=mdettweiler [2016-10-01 05:49:23] 675*2^1441331-1 is not prime. Res64: 92F3C0715549C699 Time : 0.0 sec. user=mdettweiler [2016-10-01 05:49:25] 971*2^1441330-1 is not prime. Res64: 9C51BCD6F93B8E70 Time : 0.0 sec. user=mdettweiler [2016-10-01 05:49:25] 987*2^1441330-1 is not prime. Res64: 0F8C41D3A2FD3FE6 Time : 0.0 sec. user=mdettweiler [2016-10-01 05:49:25] 663*2^1441331-1 is not prime. Res64: 151B63D83E2D2BF1 Time : 0.0 sec. user=mdettweiler [2016-10-01 05:49:26] 735*2^1441331-1 is not prime. Res64: 8102A76E78E6F685 Time : 0.0 sec. user=mdettweiler [2016-10-01 05:49:26] 943*2^1441331-1 is not prime. Res64: 227C201F02CBEC5B Time : 0.0 sec. user=mdettweiler [2016-10-01 06:15:47] 683*2^1441332-1 is not prime. Res64: 81BCB39D20F49B7D Time : 0.0 sec. user=mdettweiler [2016-10-01 06:15:48] 749*2^1441332-1 is not prime. Res64: 5C0EB0B2CEE6C07D Time : 0.0 sec. user=mdettweiler [2016-10-01 06:15:48] 767*2^1441332-1 is not prime. Res64: 29B8940CC60238D1 Time : 0.0 sec. user=mdettweiler [2016-10-01 06:15:48] 867*2^1441332-1 is not prime. Res64: 9E2216747B029886 Time : 0.0 sec. user=mdettweiler [2016-10-01 06:15:49] 947*2^1441332-1 is not prime. Res64: 9CD1FC1E4E7892D3 Time : 0.0 sec. user=mdettweiler [2016-10-01 06:26:00] 959*2^1441332-1 is not prime. Res64: 656B86B68BD16D2D Time : 0.0 sec. user=mdettweiler [2016-10-01 06:26:00] 757*2^1441333-1 is not prime. Res64: DA3A740E250AB98F Time : 0.0 sec. user=mdettweiler [2016-10-01 06:26:01] 775*2^1441333-1 is not prime. Res64: 29C9B62D0AD4236C Time : 0.0 sec. user=mdettweiler [2016-10-01 06:26:01] 817*2^1441333-1 is not prime. Res64: 3F6763C4F79F51F8 Time : 0.0 sec. user=mdettweiler [2016-10-01 06:26:01] 987*2^1441333-1 is not prime. Res64: 15A125B2CA26C032 Time : 0.0 sec. user=mdettweiler [2016-10-01 06:34:44] 635*2^1441334-1 is not prime. Res64: C74AB84818A4D78F Time : 0.0 sec. user=mdettweiler [2016-10-01 06:34:44] 675*2^1441334-1 is not prime. Res64: BF576B8300507E7B Time : 0.0 sec. user=mdettweiler [2016-10-01 06:34:45] 683*2^1441334-1 is not prime. Res64: 8FF3C1316981DDB9 Time : 0.0 sec. user=mdettweiler [2016-10-01 06:34:45] 897*2^1441334-1 is not prime. Res64: 30C5E63F69C88BE0 Time : 0.0 sec. user=mdettweiler [2016-10-01 06:34:45] 923*2^1441334-1 is not prime. Res64: 958DAA7A30557BA9 Time : 0.0 sec. user=mdettweiler [2016-10-01 06:34:47] 995*2^1441334-1 is not prime. Res64: AEA1D3923ECE0905 Time : 0.0 sec. user=mdettweiler [2016-10-01 06:34:47] 613*2^1441335-1 is not prime. Res64: 359D73A95DE1DE64 Time : 0.0 sec. user=mdettweiler [2016-10-01 06:34:48] 709*2^1441335-1 is not prime. Res64: EB302A90EA97818D Time : 0.0 sec. user=mdettweiler [2016-10-01 06:34:48] 795*2^1441335-1 is not prime. Res64: A6F56F358D05E372 Time : 0.0 sec. user=mdettweiler [2016-10-01 06:34:49] 819*2^1441335-1 is not prime. Res64: 16902C89529FBEEC Time : 0.0 sec. user=mdettweiler [2016-10-01 07:00:57] 831*2^1441335-1 is not prime. Res64: E49B27694CF547E8 Time : 0.0 sec. user=mdettweiler [2016-10-01 07:00:59] 861*2^1441335-1 is not prime. Res64: B771CFC9610B74FD Time : 0.0 sec. user=mdettweiler [2016-10-01 07:01:00] 645*2^1441336-1 is not prime. Res64: 7F6B76387B24FEC5 Time : 0.0 sec. user=mdettweiler [2016-10-01 07:01:01] 677*2^1441336-1 is not prime. Res64: 3691A067E849BBDD Time : 0.0 sec. user=mdettweiler [2016-10-01 07:01:01] 903*2^1441336-1 is not prime. Res64: D3B58FDF91887619 Time : 0.0 sec. user=mdettweiler [2016-10-01 07:11:10] 923*2^1441336-1 is not prime. Res64: A698A14AF08261CD Time : 0.0 sec. user=mdettweiler [2016-10-01 07:11:10] 957*2^1441336-1 is not prime. Res64: 4730565DF797F78C Time : 0.0 sec. user=mdettweiler [2016-10-01 07:11:11] 999*2^1441336-1 is not prime. Res64: FF397F38E0F730BF Time : 0.0 sec. user=mdettweiler [2016-10-01 07:11:11] 691*2^1441337-1 is not prime. Res64: 167FCD5E043A367E Time : 0.0 sec. user=mdettweiler [2016-10-01 07:11:11] 727*2^1441337-1 is not prime. Res64: BB8448443C89FE47 Time : 0.0 sec. user=mdettweiler [2016-10-01 07:20:00] 741*2^1441337-1 is not prime. Res64: F4E993F78C3A03F7 Time : 0.0 sec. user=mdettweiler [2016-10-01 07:20:01] 777*2^1441337-1 is not prime. Res64: 83C679470E3781CC Time : 0.0 sec. user=mdettweiler [2016-10-01 07:20:02] 805*2^1441337-1 is not prime. Res64: C45F79E614B442C0 Time : 0.0 sec. user=mdettweiler [2016-10-01 07:20:03] 889*2^1441337-1 is not prime. Res64: E8AE8CA6ECC862B0 Time : 0.0 sec. user=mdettweiler [2016-10-01 07:20:04] 997*2^1441337-1 is not prime. Res64: BE31586F721B7821 Time : 0.0 sec. user=mdettweiler [2016-10-01 07:20:22] 615*2^1441338-1 is not prime. Res64: DEB7EC5AFBFDDB3C Time : 0.0 sec. user=mdettweiler [2016-10-01 07:20:22] 621*2^1441338-1 is not prime. Res64: 3BB4068BC76B2082 Time : 0.0 sec. user=mdettweiler [2016-10-01 07:20:23] 837*2^1441338-1 is not prime. Res64: 1D4639780CF89DE4 Time : 0.0 sec. user=mdettweiler [2016-10-01 07:20:24] 881*2^1441338-1 is not prime. Res64: E99DDC7AE443E4AC Time : 0.0 sec. user=mdettweiler [2016-10-01 07:20:24] 887*2^1441338-1 is not prime. Res64: A377578C48159AF8 Time : 0.0 sec. user=mdettweiler [2016-10-01 07:46:08] 893*2^1441338-1 is not prime. Res64: DB06472A4ACF193D Time : 0.0 sec. user=mdettweiler [2016-10-01 07:46:08] 921*2^1441338-1 is not prime. Res64: 3E2F91E4B0D95DFF Time : 0.0 sec. user=mdettweiler [2016-10-01 07:46:09] 933*2^1441338-1 is not prime. Res64: FDBCA8735589B78A Time : 0.0 sec. user=mdettweiler [2016-10-01 07:46:09] 993*2^1441338-1 is not prime. Res64: 38B75FB68DA282B1 Time : 0.0 sec. user=mdettweiler [2016-10-01 07:46:09] 619*2^1441339-1 is not prime. Res64: 74982F55EAC5F3B3 Time : 0.0 sec. user=mdettweiler [2016-10-01 07:56:26] 633*2^1441339-1 is not prime. Res64: 07092CCC22B5E55E Time : 0.0 sec. user=mdettweiler [2016-10-01 07:56:27] 745*2^1441339-1 is not prime. Res64: 8184B8BB5A992454 Time : 0.0 sec. user=mdettweiler [2016-10-01 07:56:27] 751*2^1441339-1 is not prime. Res64: 28EC0D1DB9488034 Time : 0.0 sec. user=mdettweiler [2016-10-01 07:56:28] 765*2^1441339-1 is not prime. Res64: D495166211C5A622 Time : 0.0 sec. user=mdettweiler [2016-10-01 07:56:28] 859*2^1441339-1 is not prime. Res64: 023E0697DBD178EE Time : 0.0 sec. user=mdettweiler [2016-10-01 08:05:27] 943*2^1441339-1 is not prime. Res64: C9C48ACCFE0BC526 Time : 0.0 sec. user=mdettweiler [2016-10-01 08:05:29] 951*2^1441339-1 is not prime. Res64: B0071BA2B8390AAA Time : 0.0 sec. user=mdettweiler [2016-10-01 08:05:30] 979*2^1441339-1 is not prime. Res64: 5F217479F628F4B0 Time : 0.0 sec. user=mdettweiler [2016-10-01 08:05:31] 633*2^1441340-1 is not prime. Res64: 287BE9FA39EAFD6E Time : 0.0 sec. user=mdettweiler [2016-10-01 08:05:33] 845*2^1441340-1 is not prime. Res64: 5EC772623D953970 Time : 0.0 sec. user=mdettweiler [2016-10-01 08:05:38] 875*2^1441340-1 is not prime. Res64: 67207D4373AB35FD Time : 0.0 sec. user=mdettweiler [2016-10-01 08:05:41] 963*2^1441340-1 is not prime. Res64: EB62CBF4F345114E Time : 0.0 sec. user=mdettweiler [2016-10-01 08:05:43] 639*2^1441341-1 is not prime. Res64: 6056781ACDF4202D Time : 0.0 sec. user=mdettweiler [2016-10-01 08:05:47] 651*2^1441341-1 is not prime. Res64: A35CEE21093D3F52 Time : 0.0 sec. user=mdettweiler [2016-10-01 08:05:48] 657*2^1441341-1 is not prime. Res64: 814B03693C6027DD Time : 0.0 sec. user=mdettweiler [2016-10-01 08:31:30] 865*2^1441341-1 is not prime. Res64: 81BCA66D0402F9A8 Time : 0.0 sec. user=mdettweiler [2016-10-01 08:31:31] 885*2^1441341-1 is not prime. Res64: E1F2E4F30067A266 Time : 0.0 sec. user=mdettweiler [2016-10-01 08:31:32] 901*2^1441341-1 is not prime. Res64: 16AF6ADAAEA6FE7A Time : 0.0 sec. user=mdettweiler [2016-10-01 08:31:32] 997*2^1441341-1 is not prime. Res64: 5EF66C9BA3F5C374 Time : 0.0 sec. user=mdettweiler [2016-10-01 08:31:33] 647*2^1441342-1 is not prime. Res64: 73DA30C3ED483D04 Time : 0.0 sec. user=mdettweiler [2016-10-01 08:41:45] 681*2^1441342-1 is not prime. Res64: 19EF4284CD0761FC Time : 0.0 sec. user=mdettweiler [2016-10-01 08:41:45] 975*2^1441342-1 is not prime. Res64: 1331D00DDCB96FA0 Time : 0.0 sec. user=mdettweiler [2016-10-01 08:41:46] 735*2^1441343-1 is not prime. Res64: 963F389FB10D3D26 Time : 0.0 sec. user=mdettweiler [2016-10-01 08:41:46] 763*2^1441343-1 is not prime. Res64: 34BA69E2E7F4CB42 Time : 0.0 sec. user=mdettweiler [2016-10-01 08:41:46] 771*2^1441343-1 is not prime. Res64: DA5B48D4ED340A5B Time : 0.0 sec. user=mdettweiler [2016-10-01 08:50:59] 805*2^1441343-1 is not prime. Res64: F8B45F30CCC79DD9 Time : 0.0 sec. user=mdettweiler [2016-10-01 08:50:59] 823*2^1441343-1 is not prime. Res64: 9D3096A75E1BF9B0 Time : 0.0 sec. user=mdettweiler [2016-10-01 08:50:59] 901*2^1441343-1 is not prime. Res64: 8AE37382712763E8 Time : 0.0 sec. user=mdettweiler [2016-10-01 08:51:00] 969*2^1441343-1 is not prime. Res64: 8825E90F06888DF7 Time : 0.0 sec. user=mdettweiler [2016-10-01 08:51:00] 635*2^1441344-1 is not prime. Res64: B81CC1FB5B117CC2 Time : 0.0 sec. user=mdettweiler [2016-10-01 08:51:22] 689*2^1441344-1 is not prime. Res64: 94FC8723F05873A6 Time : 0.0 sec. user=mdettweiler [2016-10-01 08:51:23] 809*2^1441344-1 is not prime. Res64: 6A1C55A153C7E2D8 Time : 0.0 sec. user=mdettweiler [2016-10-01 08:51:23] 893*2^1441344-1 is not prime. Res64: 8C0BFE805084A20E Time : 0.0 sec. user=mdettweiler [2016-10-01 08:51:23] 927*2^1441344-1 is not prime. Res64: C6B27915028CC144 Time : 0.0 sec. user=mdettweiler [2016-10-01 08:51:24] 667*2^1441345-1 is not prime. Res64: 67FFDD5526D7A026 Time : 0.0 sec. user=mdettweiler [2016-10-01 09:16:42] 799*2^1441345-1 is not prime. Res64: 2E41B5DD9323E038 Time : 0.0 sec. user=mdettweiler [2016-10-01 09:16:43] 889*2^1441345-1 is not prime. Res64: 3E261D59D7F33D44 Time : 0.0 sec. user=mdettweiler [2016-10-01 09:16:43] 895*2^1441345-1 is not prime. Res64: E7A8851F3FE1556A Time : 0.0 sec. user=mdettweiler [2016-10-01 09:16:44] 987*2^1441345-1 is not prime. Res64: D0291091445EE300 Time : 0.0 sec. user=mdettweiler [2016-10-01 09:16:44] 671*2^1441346-1 is not prime. Res64: 71A00EDA28B6CBAE Time : 0.0 sec. user=mdettweiler [2016-10-01 09:27:03] 815*2^1441346-1 is not prime. Res64: 8AB1ACEFC74E20C3 Time : 0.0 sec. user=mdettweiler [2016-10-01 09:27:03] 843*2^1441346-1 is not prime. Res64: 5EBE1DD4C83E63E0 Time : 0.0 sec. user=mdettweiler [2016-10-01 09:27:04] 857*2^1441346-1 is not prime. Res64: 77B73E4CBFE6A86B Time : 0.0 sec. user=mdettweiler [2016-10-01 09:27:05] 867*2^1441346-1 is not prime. Res64: B8D7A690FD73DEE5 Time : 0.0 sec. user=mdettweiler [2016-10-01 09:27:05] 887*2^1441346-1 is not prime. Res64: 1F882E79BB3E9522 Time : 0.0 sec. user=mdettweiler [2016-10-01 09:36:29] 941*2^1441346-1 is not prime. Res64: 70D6B03B42A70D07 Time : 0.0 sec. user=mdettweiler [2016-10-01 09:36:29] 601*2^1441347-1 is not prime. Res64: C4FFB1FE44C3E050 Time : 0.0 sec. user=mdettweiler [2016-10-01 09:36:30] 751*2^1441347-1 is not prime. Res64: AF7CFD857F6CEF73 Time : 0.0 sec. user=mdettweiler [2016-10-01 09:36:30] 871*2^1441347-1 is not prime. Res64: A990EE08E2E5BA49 Time : 0.0 sec. user=mdettweiler [2016-10-01 09:36:31] 873*2^1441347-1 is not prime. Res64: E3392F422C9405B9 Time : 0.0 sec. user=mdettweiler [2016-10-01 09:36:39] 879*2^1441347-1 is not prime. Res64: 622EF08F382D3D47 Time : 0.0 sec. user=mdettweiler [2016-10-01 09:36:40] 909*2^1441347-1 is not prime. Res64: 42ECA1A9CDB3D075 Time : 0.0 sec. user=mdettweiler [2016-10-01 09:36:40] 979*2^1441347-1 is not prime. Res64: 68250D5704972DF9 Time : 0.0 sec. user=mdettweiler [2016-10-01 09:36:40] 687*2^1441348-1 is not prime. Res64: ECD1F05733109AC2 Time : 0.0 sec. user=mdettweiler [2016-10-01 09:36:41] 803*2^1441348-1 is not prime. Res64: D499E7F7FBBDAC04 Time : 0.0 sec. user=mdettweiler [2016-10-01 10:02:04] 915*2^1441348-1 is not prime. Res64: 5A6840C8F7755534 Time : 0.0 sec. user=mdettweiler [2016-10-01 10:02:07] 615*2^1441349-1 is not prime. Res64: FEA68257B9D015CF Time : 0.0 sec. user=mdettweiler [2016-10-01 10:02:07] 649*2^1441349-1 is not prime. Res64: 66FD998502627B45 Time : 0.0 sec. user=mdettweiler [2016-10-01 10:02:09] 759*2^1441349-1 is not prime. Res64: 4E7151F1F5C06347 Time : 0.0 sec. user=mdettweiler [2016-10-01 10:02:10] 889*2^1441349-1 is not prime. Res64: 3EB457B23FCD6122 Time : 0.0 sec. user=mdettweiler [2016-10-01 10:12:28] 677*2^1441350-1 is not prime. Res64: 46D91D2D57848B5A Time : 0.0 sec. user=mdettweiler [2016-10-01 10:12:29] 711*2^1441350-1 is not prime. Res64: F066A62639594433 Time : 0.0 sec. user=mdettweiler [2016-10-01 10:12:31] 801*2^1441350-1 is not prime. Res64: 88FF6EE22845F261 Time : 0.0 sec. user=mdettweiler [2016-10-01 10:12:32] 843*2^1441350-1 is not prime. Res64: 74A1C9A8226EB380 Time : 0.0 sec. user=mdettweiler [2016-10-01 10:12:33] 861*2^1441350-1 is not prime. Res64: 697BE0CDF0013EF1 Time : 0.0 sec. user=mdettweiler [2016-10-01 10:21:58] 741*2^1441351-1 is not prime. Res64: 4DB232E14DAB4994 Time : 0.0 sec. user=mdettweiler [2016-10-01 10:21:59] 841*2^1441351-1 is not prime. Res64: DFD908A55495644C Time : 0.0 sec. user=mdettweiler [2016-10-01 10:21:59] 915*2^1441350-1 is not prime. Res64: 6A10A5BC88FF38B7 Time : 0.0 sec. user=mdettweiler [2016-10-01 10:21:59] 843*2^1441351-1 is not prime. Res64: 662F685FF8EF585A Time : 0.0 sec. user=mdettweiler [2016-10-01 10:21:59] 933*2^1441350-1 is not prime. Res64: C7925A2D276C336B Time : 0.0 sec. user=mdettweiler [2016-10-01 10:21:59] 859*2^1441351-1 is not prime. Res64: 4864CC59B0725079 Time : 0.0 sec. user=mdettweiler [2016-10-01 10:22:00] 645*2^1441351-1 is not prime. Res64: 01B73841D2B7D8B2 Time : 0.0 sec. user=mdettweiler [2016-10-01 10:22:00] 969*2^1441351-1 is not prime. Res64: 144A2D401826D011 Time : 0.0 sec. user=mdettweiler [2016-10-01 10:22:00] 661*2^1441351-1 is not prime. Res64: 650C5EB2A1C7174E Time : 0.0 sec. user=mdettweiler [2016-10-01 10:22:01] 679*2^1441351-1 is not prime. Res64: 409F9FDF4039AE46 Time : 0.0 sec. user=mdettweiler [2016-10-01 10:47:30] 929*2^1441352-1 is not prime. Res64: 6E96E54F2090818D Time : 0.0 sec. user=mdettweiler [2016-10-01 10:47:30] 627*2^1441353-1 is not prime. Res64: EE4A89BFC01C3571 Time : 0.0 sec. user=mdettweiler [2016-10-01 10:47:31] 745*2^1441353-1 is not prime. Res64: 93FD15A5E44FCD6D Time : 0.0 sec. user=mdettweiler [2016-10-01 10:47:31] 877*2^1441353-1 is not prime. Res64: 25CE009F2555DC05 Time : 0.0 sec. user=mdettweiler [2016-10-01 10:47:31] 949*2^1441353-1 is not prime. Res64: 40335CD80E0520A5 Time : 0.0 sec. user=mdettweiler [2016-10-01 10:58:07] 611*2^1441354-1 is not prime. Res64: 5411E93F88E4F775 Time : 0.0 sec. user=mdettweiler [2016-10-01 10:58:07] 621*2^1441354-1 is not prime. Res64: 1C45BB57AA3787A8 Time : 0.0 sec. user=mdettweiler [2016-10-01 10:58:08] 677*2^1441354-1 is not prime. Res64: 2DC57002BFA1549B Time : 0.0 sec. user=mdettweiler [2016-10-01 10:58:08] 687*2^1441354-1 is not prime. Res64: 8DD9AD8D6D68668B Time : 0.0 sec. user=mdettweiler [2016-10-01 10:58:08] 731*2^1441354-1 is not prime. Res64: 8063E8527E78EE74 Time : 0.0 sec. user=mdettweiler [2016-10-01 11:07:19] 833*2^1441354-1 is not prime. Res64: FC00EABEAB798BB7 Time : 0.0 sec. user=mdettweiler [2016-10-01 11:07:20] 945*2^1441354-1 is not prime. Res64: B21DF611E634C65F Time : 0.0 sec. user=mdettweiler [2016-10-01 11:07:22] 951*2^1441354-1 is not prime. Res64: 2CEE808077AAFC32 Time : 0.0 sec. user=mdettweiler [2016-10-01 11:07:23] 619*2^1441355-1 is not prime. Res64: 61342088BBAC1C34 Time : 0.0 sec. user=mdettweiler [2016-10-01 11:07:25] 651*2^1441355-1 is not prime. Res64: BC2552FE2C9C120B Time : 0.0 sec. user=mdettweiler [2016-10-01 11:07:27] 783*2^1441355-1 is not prime. Res64: 7C0FF52512648607 Time : 0.0 sec. user=mdettweiler [2016-10-01 11:07:29] 805*2^1441355-1 is not prime. Res64: 1864A2BA154EEAA6 Time : 0.0 sec. user=mdettweiler [2016-10-01 11:07:32] 823*2^1441355-1 is not prime. Res64: 4B729A0DF59486DE Time : 0.0 sec. user=mdettweiler [2016-10-01 11:07:37] 883*2^1441355-1 is not prime. Res64: 90E96A2A07DDDB49 Time : 0.0 sec. user=mdettweiler [2016-10-01 11:07:40] 949*2^1441355-1 is not prime. Res64: 2ABA1679D2046989 Time : 0.0 sec. user=mdettweiler [2016-10-01 11:32:58] 981*2^1441355-1 is not prime. Res64: B44BAD760C2D7C0E Time : 0.0 sec. user=mdettweiler [2016-10-01 11:32:58] 669*2^1441356-1 is not prime. Res64: C5280F223C5893BC Time : 0.0 sec. user=mdettweiler [2016-10-01 11:32:59] 707*2^1441356-1 is not prime. Res64: B1A64DB065500162 Time : 0.0 sec. user=mdettweiler [2016-10-01 11:32:59] 843*2^1441356-1 is not prime. Res64: 1B8EACE9346DB335 Time : 0.0 sec. user=mdettweiler [2016-10-01 11:32:59] 621*2^1441357-1 is not prime. Res64: 72DC6E1074FEC630 Time : 0.0 sec. user=mdettweiler [2016-10-01 11:43:59] 727*2^1441357-1 is not prime. Res64: 5B3A5F1A845752AB Time : 0.0 sec. user=mdettweiler [2016-10-01 11:43:59] 799*2^1441357-1 is not prime. Res64: 19BC5FA86C2E368E Time : 0.0 sec. user=mdettweiler [2016-10-01 11:44:00] 805*2^1441357-1 is not prime. Res64: 3A1F3D2F6BADEEBF Time : 0.0 sec. user=mdettweiler [2016-10-01 11:44:00] 819*2^1441357-1 is not prime. Res64: 1E5E8EF4B23BBB75 Time : 0.0 sec. user=mdettweiler [2016-10-01 11:44:01] 829*2^1441357-1 is not prime. Res64: 23F0429E5B45C2C6 Time : 0.0 sec. user=mdettweiler [2016-10-01 11:54:24] 993*2^1441358-1 is not prime. Res64: 0ABA2AAFFCCB7AF5 Time : 0.0 sec. user=mdettweiler [2016-10-01 11:54:24] 703*2^1441359-1 is not prime. Res64: 4C99F7F9B6C421C2 Time : 0.0 sec. user=mdettweiler [2016-10-01 11:54:24] 735*2^1441359-1 is not prime. Res64: 33748A0A5FD3B463 Time : 0.0 sec. user=mdettweiler [2016-10-01 11:54:25] 843*2^1441359-1 is not prime. Res64: 0DE72E007392B89A Time : 0.0 sec. user=mdettweiler [2016-10-01 11:54:25] 699*2^1441360-1 is not prime. Res64: D6B68F9B28FBE785 Time : 0.0 sec. user=mdettweiler [2016-10-01 11:54:28] 835*2^1441357-1 is not prime. Res64: 84CC8DA3B2300980 Time : 0.0 sec. user=mdettweiler [2016-10-01 11:54:28] 931*2^1441357-1 is not prime. Res64: 34E43D26C4238D49 Time : 0.0 sec. user=mdettweiler [2016-10-01 11:54:28] 957*2^1441357-1 is not prime. Res64: 9C9115E3D64CFE23 Time : 0.0 sec. user=mdettweiler [2016-10-01 11:54:29] 677*2^1441358-1 is not prime. Res64: EE49A924D71F9392 Time : 0.0 sec. user=mdettweiler [2016-10-01 11:54:29] 867*2^1441358-1 is not prime. Res64: FA17211973843D24 Time : 0.0 sec. user=mdettweiler [2016-10-01 12:20:47] 717*2^1441360-1 is not prime. Res64: 44B78249AF0E6ED9 Time : 0.0 sec. user=mdettweiler [2016-10-01 12:20:48] 825*2^1441360-1 is not prime. Res64: 495F9BF564D55BBE Time : 0.0 sec. user=mdettweiler [2016-10-01 12:20:48] 839*2^1441360-1 is not prime. Res64: D0F8BA669337FA06 Time : 0.0 sec. user=mdettweiler [2016-10-01 12:20:49] 849*2^1441360-1 is not prime. Res64: 5E6A8334756BC615 Time : 0.0 sec. user=mdettweiler [2016-10-01 12:20:49] 923*2^1441360-1 is not prime. Res64: FDE5D8F420C7C065 Time : 0.0 sec. user=mdettweiler [2016-10-01 12:31:25] 929*2^1441360-1 is not prime. Res64: 8A11A14F04E7AE46 Time : 0.0 sec. user=mdettweiler [2016-10-01 12:31:25] 799*2^1441361-1 is not prime. Res64: 2BDABEF37E4EEA86 Time : 0.0 sec. user=mdettweiler [2016-10-01 12:31:26] 811*2^1441361-1 is not prime. Res64: 9F968CCB16301976 Time : 0.0 sec. user=mdettweiler [2016-10-01 12:31:26] 647*2^1441362-1 is not prime. Res64: 931345165A21E256 Time : 0.0 sec. user=mdettweiler [2016-10-01 12:31:26] 677*2^1441362-1 is not prime. Res64: 94F25DB9E30234F0 Time : 0.0 sec. user=mdettweiler [2016-10-01 12:41:56] 747*2^1441362-1 is not prime. Res64: E620317D1082F799 Time : 0.0 sec. user=mdettweiler [2016-10-01 12:41:56] 833*2^1441362-1 is not prime. Res64: 0F8308F3C8E41B43 Time : 0.0 sec. user=mdettweiler [2016-10-01 12:41:56] 885*2^1441362-1 is not prime. Res64: BCE7BDB8828CD240 Time : 0.0 sec. user=mdettweiler [2016-10-01 12:41:56] 639*2^1441363-1 is not prime. Res64: B9AB96519C68CF56 Time : 0.0 sec. user=mdettweiler [2016-10-01 12:41:57] 649*2^1441363-1 is not prime. Res64: D878558A93718FD1 Time : 0.0 sec. user=mdettweiler [2016-10-01 12:42:09] 681*2^1441363-1 is not prime. Res64: 8B226E05DF7415A1 Time : 0.0 sec. user=mdettweiler [2016-10-01 12:42:10] 793*2^1441363-1 is not prime. Res64: 177710C7093579E4 Time : 0.0 sec. user=mdettweiler [2016-10-01 12:42:10] 805*2^1441363-1 is not prime. Res64: 220B27E66FB0B013 Time : 0.0 sec. user=mdettweiler [2016-10-01 12:42:10] 609*2^1441364-1 is not prime. Res64: 12A2645FD0B79993 Time : 0.0 sec. user=mdettweiler [2016-10-01 12:42:11] 743*2^1441364-1 is not prime. Res64: 5494F8B1376FF50B Time : 0.0 sec. user=mdettweiler [2016-10-01 13:09:49] 749*2^1441364-1 is not prime. Res64: AE6CB0263E7844ED Time : 0.0 sec. user=mdettweiler [2016-10-01 13:09:50] 855*2^1441364-1 is not prime. Res64: 23AF5C08F2FD6C4E Time : 0.0 sec. user=mdettweiler [2016-10-01 13:09:51] 609*2^1441365-1 is not prime. Res64: B4AF5106634D9E95 Time : 0.0 sec. user=mdettweiler [2016-10-01 13:09:52] 699*2^1441365-1 is not prime. Res64: FF43CD35224C1A27 Time : 0.0 sec. user=mdettweiler [2016-10-01 13:09:52] 777*2^1441365-1 is not prime. Res64: 6169BE151C49CC1E Time : 0.0 sec. user=mdettweiler [2016-10-01 13:20:27] 795*2^1441365-1 is not prime. Res64: 11982DA521778B41 Time : 0.0 sec. user=mdettweiler [2016-10-01 13:20:27] 817*2^1441365-1 is not prime. Res64: 9F494239494A0D85 Time : 0.0 sec. user=mdettweiler [2016-10-01 13:20:28] 819*2^1441365-1 is not prime. Res64: BCD519537D8A9B1C Time : 0.0 sec. user=mdettweiler [2016-10-01 13:20:28] 861*2^1441365-1 is not prime. Res64: E4C4C037DFF9949F Time : 0.0 sec. user=mdettweiler [2016-10-01 13:20:28] 927*2^1441365-1 is not prime. Res64: D9AF542CCF3EF62C Time : 0.0 sec. user=mdettweiler [2016-10-01 13:30:45] 961*2^1441365-1 is not prime. Res64: 2FF91602F9C1BFB0 Time : 0.0 sec. user=mdettweiler [2016-10-01 13:30:45] 635*2^1441366-1 is not prime. Res64: 5248C76A540C8C8E Time : 0.0 sec. user=mdettweiler [2016-10-01 13:30:45] 645*2^1441366-1 is not prime. Res64: AFF9BD8D1B26BBB7 Time : 0.0 sec. user=mdettweiler [2016-10-01 13:30:46] 663*2^1441366-1 is not prime. Res64: 45736F3CD58F00AF Time : 0.0 sec. user=mdettweiler [2016-10-01 13:30:46] 801*2^1441366-1 is not prime. Res64: 91F3BBBCE9708E23 Time : 0.0 sec. user=mdettweiler [2016-10-01 13:30:48] 857*2^1441366-1 is not prime. Res64: 09EC2F9960094349 Time : 0.0 sec. user=mdettweiler [2016-10-01 13:30:48] 975*2^1441366-1 is not prime. Res64: 91615124F37F7B37 Time : 0.0 sec. user=mdettweiler [2016-10-01 13:30:49] 603*2^1441367-1 is not prime. Res64: 5F60F6EC759D72F3 Time : 0.0 sec. user=mdettweiler [2016-10-01 13:30:49] 609*2^1441367-1 is not prime. Res64: 1DEF5AF2998C670E Time : 0.0 sec. user=mdettweiler [2016-10-01 13:30:49] 619*2^1441367-1 is not prime. Res64: F5C6B2D55C13CC52 Time : 0.0 sec. user=mdettweiler [2016-10-01 13:57:42] 729*2^1441367-1 is not prime. Res64: F49485CB19CB1E6F Time : 0.0 sec. user=mdettweiler [2016-10-01 13:57:43] 889*2^1441367-1 is not prime. Res64: 76D4E405806FE469 Time : 0.0 sec. user=mdettweiler [2016-10-01 13:57:43] 955*2^1441367-1 is not prime. Res64: 38B5571F65687F1E Time : 0.0 sec. user=mdettweiler [2016-10-01 13:57:43] 669*2^1441368-1 is not prime. Res64: E45086CC1759E9B3 Time : 0.0 sec. user=mdettweiler [2016-10-01 13:57:44] 683*2^1441368-1 is not prime. Res64: D825B914C1E53BB6 Time : 0.0 sec. user=mdettweiler [2016-10-01 14:08:03] 765*2^1441368-1 is not prime. Res64: 0EF999CA70209322 Time : 0.0 sec. user=mdettweiler [2016-10-01 14:08:05] 957*2^1441368-1 is not prime. Res64: 26E22A438F71424C Time : 0.0 sec. user=mdettweiler [2016-10-01 14:08:07] 747*2^1441369-1 is not prime. Res64: 0DBAB2D472FB1E45 Time : 0.0 sec. user=mdettweiler [2016-10-01 14:08:08] 867*2^1441369-1 is not prime. Res64: 74FC2EEF1C16CF97 Time : 0.0 sec. user=mdettweiler [2016-10-01 14:08:08] 615*2^1441370-1 is not prime. Res64: 199072ADEFCA586D Time : 0.0 sec. user=mdettweiler [2016-10-01 14:17:35] 709*2^1441371-1 is not prime. Res64: 18D2A78D320DBD7F Time : 0.0 sec. user=mdettweiler [2016-10-01 14:17:35] 735*2^1441371-1 is not prime. Res64: CB95125AE83CF024 Time : 0.0 sec. user=mdettweiler [2016-10-01 14:17:36] 793*2^1441371-1 is not prime. Res64: 78B37FE1C6487FEA Time : 0.0 sec. user=mdettweiler [2016-10-01 14:17:36] 979*2^1441371-1 is not prime. Res64: 3B59C36AAAB7E0EC Time : 0.0 sec. user=mdettweiler [2016-10-01 14:17:37] 749*2^1441372-1 is not prime. Res64: 8D234D406284494D Time : 0.0 sec. user=mdettweiler [2016-10-01 14:18:14] 635*2^1441370-1 is not prime. Res64: 1CEC7F1C9C467ECC Time : 0.0 sec. user=mdettweiler [2016-10-01 14:18:15] 783*2^1441370-1 is not prime. Res64: 2446DEA535F7F9A3 Time : 0.0 sec. user=mdettweiler [2016-10-01 14:18:15] 797*2^1441370-1 is not prime. Res64: 954DF444015FFA32 Time : 0.0 sec. user=mdettweiler [2016-10-01 14:18:16] 893*2^1441370-1 is not prime. Res64: A469E61DE1B538A1 Time : 0.0 sec. user=mdettweiler [2016-10-01 14:18:16] 915*2^1441370-1 is not prime. Res64: 8704C51353B5D35C Time : 0.0 sec. user=mdettweiler [2016-10-01 14:43:02] 797*2^1441372-1 is not prime. Res64: 5DA012260F3240BE Time : 0.0 sec. user=mdettweiler [2016-10-01 14:43:03] 863*2^1441372-1 is not prime. Res64: 47B3253F0C664C99 Time : 0.0 sec. user=mdettweiler [2016-10-01 14:43:03] 965*2^1441372-1 is not prime. Res64: 6853B2A730F0559F Time : 0.0 sec. user=mdettweiler [2016-10-01 14:43:03] 757*2^1441373-1 is not prime. Res64: 9A4CDF8B143650D5 Time : 0.0 sec. user=mdettweiler [2016-10-01 14:43:04] 871*2^1441373-1 is not prime. Res64: E0C3EFC9F3DE359C Time : 0.0 sec. user=mdettweiler [2016-10-01 14:53:28] 885*2^1441373-1 is not prime. Res64: 7E73FD8B60516F16 Time : 0.0 sec. user=mdettweiler [2016-10-01 14:53:29] 927*2^1441373-1 is not prime. Res64: 83E9B9F21728048B Time : 0.0 sec. user=mdettweiler [2016-10-01 14:53:29] 957*2^1441373-1 is not prime. Res64: 50CF26EAF671D5E4 Time : 0.0 sec. user=mdettweiler [2016-10-01 14:53:29] 621*2^1441374-1 is not prime. Res64: 7D663900AB89BEDD Time : 0.0 sec. user=mdettweiler [2016-10-01 14:53:30] 663*2^1441374-1 is not prime. Res64: 7EE9A82F9CD9A9E0 Time : 0.0 sec. user=mdettweiler [2016-10-01 15:02:58] 693*2^1441374-1 is not prime. Res64: D6B37A70BA3364B9 Time : 0.0 sec. user=mdettweiler [2016-10-01 15:02:59] 791*2^1441374-1 is not prime. Res64: DBF194412BCC15CC Time : 0.0 sec. user=mdettweiler [2016-10-01 15:03:00] 975*2^1441374-1 is not prime. Res64: BDB7756AA923D4BC Time : 0.0 sec. user=mdettweiler [2016-10-01 15:03:00] 993*2^1441374-1 is not prime. Res64: 3B5EC5DDC4E1E88E Time : 0.0 sec. user=mdettweiler [2016-10-01 15:03:01] 673*2^1441375-1 is not prime. Res64: E145E72E2228DA0B Time : 0.0 sec. user=mdettweiler [2016-10-01 15:03:32] 705*2^1441375-1 is not prime. Res64: 18A595AF599B0751 Time : 0.0 sec. user=mdettweiler [2016-10-01 15:03:33] 723*2^1441375-1 is not prime. Res64: 721250ECC632279C Time : 0.0 sec. user=mdettweiler [2016-10-01 15:03:33] 735*2^1441375-1 is not prime. Res64: 4FCED0EE88B058AA Time : 0.0 sec. user=mdettweiler [2016-10-01 15:03:34] 783*2^1441375-1 is not prime. Res64: DEDA28FE1EC84582 Time : 0.0 sec. user=mdettweiler [2016-10-01 15:03:35] 789*2^1441375-1 is not prime. Res64: C6A31EFC352F1BFC Time : 0.0 sec. user=mdettweiler [2016-10-01 15:28:13] 883*2^1441375-1 is not prime. Res64: 3390142BDFF27912 Time : 0.0 sec. user=mdettweiler [2016-10-01 15:28:13] 891*2^1441375-1 is not prime. Res64: AD2C53A0B219D332 Time : 0.0 sec. user=mdettweiler [2016-10-01 15:28:14] 969*2^1441375-1 is not prime. Res64: 579EC60464D7F16A Time : 0.0 sec. user=mdettweiler [2016-10-01 15:28:14] 603*2^1441376-1 is not prime. Res64: EF87DDA874570809 Time : 0.0 sec. user=mdettweiler [2016-10-01 15:28:14] 609*2^1441376-1 is not prime. Res64: E3E120A59DF14F03 Time : 0.0 sec. user=mdettweiler [2016-10-01 15:38:35] 645*2^1441376-1 is not prime. Res64: D1C1A6B8C19CB89B Time : 0.0 sec. user=mdettweiler [2016-10-01 15:38:35] 675*2^1441376-1 is not prime. Res64: AE0F70FDB6A34BAD Time : 0.0 sec. user=mdettweiler [2016-10-01 15:38:36] 755*2^1441376-1 is not prime. Res64: 12D4F36A397D84C3 Time : 0.0 sec. user=mdettweiler [2016-10-01 15:38:36] 785*2^1441376-1 is not prime. Res64: 1A3ACDE7C2CE3A43 Time : 0.0 sec. user=mdettweiler [2016-10-01 15:38:37] 983*2^1441376-1 is not prime. Res64: 324B4BD08103C35E Time : 0.0 sec. user=mdettweiler [2016-10-01 15:48:31] 609*2^1441377-1 is not prime. Res64: 8F12B965CA659CA7 Time : 0.0 sec. user=mdettweiler [2016-10-01 15:48:31] 637*2^1441377-1 is not prime. Res64: 8783FDB97E7D9FAE Time : 0.0 sec. user=mdettweiler [2016-10-01 15:48:31] 667*2^1441377-1 is not prime. Res64: A86BCDC495268373 Time : 0.0 sec. user=mdettweiler [2016-10-01 15:48:32] 681*2^1441377-1 is not prime. Res64: 9B5FDA5D5B15756B Time : 0.0 sec. user=mdettweiler [2016-10-01 15:48:32] 747*2^1441377-1 is not prime. Res64: E0E21148C1806A52 Time : 0.0 sec. user=mdettweiler [2016-10-01 15:48:54] 985*2^1441377-1 is not prime. Res64: 53A6F93073237DFE Time : 0.0 sec. user=mdettweiler [2016-10-01 15:48:55] 665*2^1441378-1 is not prime. Res64: 08AFF00CD74B1F87 Time : 0.0 sec. user=mdettweiler [2016-10-01 15:48:55] 857*2^1441378-1 is not prime. Res64: A89D886F899239A5 Time : 0.0 sec. user=mdettweiler [2016-10-01 15:48:56] 951*2^1441378-1 is not prime. Res64: B7CC6A9619E3FD90 Time : 0.0 sec. user=mdettweiler [2016-10-01 15:48:56] 1001*2^1441378-1 is not prime. Res64: AF0A6FCEE2E9FC80 Time : 0.0 sec. user=mdettweiler [2016-10-01 16:13:22] 621*2^1441379-1 is not prime. Res64: 3486DE9D24BE3798 Time : 0.0 sec. user=mdettweiler [2016-10-01 16:13:24] 741*2^1441379-1 is not prime. Res64: 9FA677DCD212FEF5 Time : 0.0 sec. user=mdettweiler [2016-10-01 16:13:26] 759*2^1441379-1 is not prime. Res64: 9E5F25D95D0C7548 Time : 0.0 sec. user=mdettweiler [2016-10-01 16:13:27] 799*2^1441379-1 is not prime. Res64: 75754551D448EE89 Time : 0.0 sec. user=mdettweiler [2016-10-01 16:13:28] 813*2^1441379-1 is not prime. Res64: 5958CBB6B65E5985 Time : 0.0 sec. user=mdettweiler [2016-10-01 16:23:52] 819*2^1441379-1 is not prime. Res64: E411CFD9015EED1F Time : 0.0 sec. user=mdettweiler [2016-10-01 16:23:53] 829*2^1441379-1 is not prime. Res64: 3B2BF1F00490BE21 Time : 0.0 sec. user=mdettweiler [2016-10-01 16:23:53] 949*2^1441379-1 is not prime. Res64: 7AB3C730A43552B5 Time : 0.0 sec. user=mdettweiler [2016-10-01 16:23:53] 993*2^1441379-1 is not prime. Res64: C274736843F6A857 Time : 0.0 sec. user=mdettweiler [2016-10-01 16:23:54] 773*2^1441380-1 is not prime. Res64: EF0A03FF85B57E4C Time : 0.0 sec. user=mdettweiler [2016-10-01 16:33:39] 809*2^1441380-1 is not prime. Res64: 73F939072E4933B9 Time : 0.0 sec. user=mdettweiler [2016-10-01 16:33:39] 845*2^1441380-1 is not prime. Res64: ECBEBE99B37A93ED Time : 0.0 sec. user=mdettweiler [2016-10-01 16:33:39] 625*2^1441381-1 is not prime. Res64: 69F139159430F4E7 Time : 0.0 sec. user=mdettweiler [2016-10-01 16:33:40] 651*2^1441381-1 is not prime. Res64: 3EECF2F66A26CED5 Time : 0.0 sec. user=mdettweiler [2016-10-01 16:33:40] 685*2^1441381-1 is not prime. Res64: 965B3D03BD9B16F8 Time : 0.0 sec. user=mdettweiler [2016-10-01 16:34:19] 741*2^1441381-1 is not prime. Res64: 49CC24AE44DB043B Time : 0.0 sec. user=mdettweiler [2016-10-01 16:34:19] 871*2^1441381-1 is not prime. Res64: 5AEC09ACCD5644F2 Time : 0.0 sec. user=mdettweiler [2016-10-01 16:34:20] 931*2^1441381-1 is not prime. Res64: 114E2E0CB76A6BA7 Time : 0.0 sec. user=mdettweiler [2016-10-01 16:34:20] 987*2^1441381-1 is not prime. Res64: 9A0969ED10870F00 Time : 0.0 sec. user=mdettweiler [2016-10-01 16:34:20] 665*2^1441382-1 is not prime. Res64: 7C3FD24877FFE121 Time : 0.0 sec. user=mdettweiler [2016-10-01 16:58:51] 797*2^1441382-1 is not prime. Res64: 2CE39F077BCAEA05 Time : 0.0 sec. user=mdettweiler [2016-10-01 16:58:52] 827*2^1441382-1 is not prime. Res64: 831627CCD482D90B Time : 0.0 sec. user=mdettweiler [2016-10-01 16:58:52] 915*2^1441382-1 is not prime. Res64: CF9E97EDAD98B2AB Time : 0.0 sec. user=mdettweiler [2016-10-01 16:58:52] 921*2^1441382-1 is not prime. Res64: 7999D80D1EF7A912 Time : 0.0 sec. user=mdettweiler [2016-10-01 16:58:53] 953*2^1441382-1 is not prime. Res64: 8FD9655D0AF68343 Time : 0.0 sec. user=mdettweiler [2016-10-01 17:09:18] 981*2^1441382-1 is not prime. Res64: D547AD3CD0E0DD3D Time : 0.0 sec. user=mdettweiler [2016-10-01 17:09:18] 995*2^1441382-1 is not prime. Res64: F7BD5883AD83AD02 Time : 0.0 sec. user=mdettweiler [2016-10-01 17:09:19] 619*2^1441383-1 is not prime. Res64: 532B40785A806CC4 Time : 0.0 sec. user=mdettweiler [2016-10-01 17:09:19] 661*2^1441383-1 is not prime. Res64: D8EF9630FF0BF9AA Time : 0.0 sec. user=mdettweiler [2016-10-01 17:09:19] 693*2^1441383-1 is not prime. Res64: 9C29026B1F6189A5 Time : 0.0 sec. user=mdettweiler [2016-10-01 17:18:57] 705*2^1441383-1 is not prime. Res64: 80E81E925E1D9933 Time : 0.0 sec. user=mdettweiler [2016-10-01 17:18:57] 789*2^1441383-1 is not prime. Res64: A5180AAEA13DBB3C Time : 0.0 sec. user=mdettweiler [2016-10-01 17:18:58] 823*2^1441383-1 is not prime. Res64: C64DC701AFBC57C9 Time : 0.0 sec. user=mdettweiler [2016-10-01 17:18:58] 853*2^1441383-1 is not prime. Res64: CC7B0349619E01B4 Time : 0.0 sec. user=mdettweiler [2016-10-01 17:18:58] 859*2^1441383-1 is not prime. Res64: 5874ECC778107A05 Time : 0.0 sec. user=mdettweiler [2016-10-01 17:19:33] 879*2^1441383-1 is not prime. Res64: 43EB325E12343CFE Time : 0.0 sec. user=mdettweiler [2016-10-01 17:19:34] 895*2^1441383-1 is not prime. Res64: 26217265356E8666 Time : 0.0 sec. user=mdettweiler [2016-10-01 17:19:34] 921*2^1441383-1 is not prime. Res64: B13985FD2F04B2D9 Time : 0.0 sec. user=mdettweiler [2016-10-01 17:19:35] 963*2^1441383-1 is not prime. Res64: D40904B6E453BE75 Time : 0.0 sec. user=mdettweiler [2016-10-01 17:19:36] 657*2^1441384-1 is not prime. Res64: D08F3C8F5862F4AF Time : 0.0 sec. user=mdettweiler [2016-10-01 17:44:07] 849*2^1441384-1 is not prime. Res64: E49F72E37801A43E Time : 0.0 sec. user=mdettweiler [2016-10-01 17:44:08] 857*2^1441384-1 is not prime. Res64: B1D312BDA93C2B8E Time : 0.0 sec. user=mdettweiler [2016-10-01 17:44:08] 869*2^1441384-1 is not prime. Res64: 064F3F5E9D6138F0 Time : 0.0 sec. user=mdettweiler [2016-10-01 17:44:08] 721*2^1441385-1 is not prime. Res64: 9E1FC8B26843A170 Time : 0.0 sec. user=mdettweiler [2016-10-01 17:44:09] 771*2^1441385-1 is not prime. Res64: EACF6FB79AF4AEAB Time : 0.0 sec. user=mdettweiler [2016-10-01 17:54:44] 777*2^1441385-1 is not prime. Res64: ADBBFDF3BEFEDC5B Time : 0.0 sec. user=mdettweiler [2016-10-01 17:54:45] 795*2^1441385-1 is not prime. Res64: 5A6D2A99A9AF01A7 Time : 0.0 sec. user=mdettweiler [2016-10-01 17:54:45] 847*2^1441385-1 is not prime. Res64: FA0A5A2D2AFFC16A Time : 0.0 sec. user=mdettweiler [2016-10-01 17:54:45] 861*2^1441385-1 is not prime. Res64: E651DBE1EBCC4401 Time : 0.0 sec. user=mdettweiler [2016-10-01 17:54:46] 865*2^1441385-1 is not prime. Res64: 65C149A573FEB259 Time : 0.0 sec. user=mdettweiler [2016-10-01 18:04:37] 871*2^1441385-1 is not prime. Res64: 2D8D73D6C852C884 Time : 0.0 sec. user=mdettweiler [2016-10-01 18:04:39] 981*2^1441385-1 is not prime. Res64: EFBB03D654A27653 Time : 0.0 sec. user=mdettweiler [2016-10-01 18:04:40] 987*2^1441385-1 is not prime. Res64: 6777AC7E9625723C Time : 0.0 sec. user=mdettweiler [2016-10-01 18:04:41] 825*2^1441386-1 is not prime. Res64: 976CA6F39937ED79 Time : 0.0 sec. user=mdettweiler [2016-10-01 18:04:42] 851*2^1441386-1 is not prime. Res64: 2E7C12E4C024AED7 Time : 0.0 sec. user=mdettweiler [2016-10-01 18:05:04] 881*2^1441386-1 is not prime. Res64: CD771ADE66ABDCF9 Time : 0.0 sec. user=mdettweiler [2016-10-01 18:05:05] 893*2^1441386-1 is not prime. Res64: 84FBF1FAD463966B Time : 0.0 sec. user=mdettweiler [2016-10-01 18:05:07] 625*2^1441387-1 is not prime. Res64: AFCC00A2927DDAD7 Time : 0.0 sec. user=mdettweiler [2016-10-01 18:05:08] 681*2^1441387-1 is not prime. Res64: 037EF7FD5C7164FC Time : 0.0 sec. user=mdettweiler [2016-10-01 18:05:09] 919*2^1441387-1 is not prime. Res64: 15F17F0017FA4BB9 Time : 0.0 sec. user=mdettweiler [2016-10-01 18:29:34] 603*2^1441388-1 is not prime. Res64: 33329A9DF40ECD38 Time : 0.0 sec. user=mdettweiler [2016-10-01 18:29:35] 623*2^1441388-1 is not prime. Res64: 55AD045FF3B3F573 Time : 0.0 sec. user=mdettweiler [2016-10-01 18:29:35] 725*2^1441388-1 is not prime. Res64: 8E5EA91799F7DE84 Time : 0.0 sec. user=mdettweiler [2016-10-01 18:29:35] 893*2^1441388-1 is not prime. Res64: 119FC44329F14E3D Time : 0.0 sec. user=mdettweiler [2016-10-01 18:29:36] 927*2^1441388-1 is not prime. Res64: 1241CE9275957E8F Time : 0.0 sec. user=mdettweiler [2016-10-01 18:40:12] 957*2^1441388-1 is not prime. Res64: 84F241CB5C5B437A Time : 0.0 sec. user=mdettweiler [2016-10-01 18:40:13] 963*2^1441388-1 is not prime. Res64: 73ED6097316D07FF Time : 0.0 sec. user=mdettweiler [2016-10-01 18:40:13] 609*2^1441389-1 is not prime. Res64: 8326F551B7EBFEBA Time : 0.0 sec. user=mdettweiler [2016-10-01 18:40:13] 625*2^1441389-1 is not prime. Res64: 041CE3EBC2E64F31 Time : 0.0 sec. user=mdettweiler [2016-10-01 18:40:14] 655*2^1441389-1 is not prime. Res64: EF31022080F494A4 Time : 0.0 sec. user=mdettweiler [2016-10-01 18:50:01] 781*2^1441389-1 is not prime. Res64: 31D047E568BEC11A Time : 0.0 sec. user=mdettweiler [2016-10-01 18:50:02] 787*2^1441389-1 is not prime. Res64: 1EBED3447295554A Time : 0.0 sec. user=mdettweiler [2016-10-01 18:50:02] 865*2^1441389-1 is not prime. Res64: DFFE43F1166EFDB4 Time : 0.0 sec. user=mdettweiler [2016-10-01 18:50:03] 895*2^1441389-1 is not prime. Res64: B9787B8576227113 Time : 0.0 sec. user=mdettweiler [2016-10-01 18:50:03] 603*2^1441390-1 is not prime. Res64: 72E3884C153EE6AC Time : 0.0 sec. user=mdettweiler [2016-10-01 18:50:26] 647*2^1441390-1 is not prime. Res64: 784638544F8EC5EC Time : 0.0 sec. user=mdettweiler [2016-10-01 18:50:26] 801*2^1441390-1 is not prime. Res64: BBA4F28177A08902 Time : 0.0 sec. user=mdettweiler [2016-10-01 18:50:27] 843*2^1441390-1 is not prime. Res64: 7C44F1F5185036D9 Time : 0.0 sec. user=mdettweiler [2016-10-01 18:50:27] 867*2^1441390-1 is not prime. Res64: 8ECD0EB724577E60 Time : 0.0 sec. user=mdettweiler [2016-10-01 18:50:28] 911*2^1441390-1 is not prime. Res64: 4FE3DC06254F9C82 Time : 0.0 sec. user=mdettweiler [2016-10-01 19:14:52] 957*2^1441390-1 is not prime. Res64: EFE4D9E22081D304 Time : 0.0 sec. user=mdettweiler [2016-10-01 19:14:52] 619*2^1441391-1 is not prime. Res64: 79B6E21E0B526DF0 Time : 0.0 sec. user=mdettweiler [2016-10-01 19:14:53] 711*2^1441391-1 is not prime. Res64: A03AC9CE6B56D109 Time : 0.0 sec. user=mdettweiler [2016-10-01 19:14:54] 741*2^1441391-1 is not prime. Res64: 57DE73B0146F2773 Time : 0.0 sec. user=mdettweiler [2016-10-01 19:14:55] 753*2^1441391-1 is not prime. Res64: DF227360063847F7 Time : 0.0 sec. user=mdettweiler [2016-10-01 19:25:25] 775*2^1441391-1 is not prime. Res64: 6FA41CA21E0AB0D1 Time : 0.0 sec. user=mdettweiler [2016-10-01 19:25:26] 781*2^1441391-1 is not prime. Res64: E128A370A81A7A1E Time : 0.0 sec. user=mdettweiler [2016-10-01 19:25:26] 783*2^1441391-1 is not prime. Res64: E94FE2F063F5F85B Time : 0.0 sec. user=mdettweiler [2016-10-01 19:25:26] 789*2^1441391-1 is not prime. Res64: 1928FA583DCD619E Time : 0.0 sec. user=mdettweiler [2016-10-01 19:25:27] 669*2^1441392-1 is not prime. Res64: E172EE6ECFD2234E Time : 0.0 sec. user=mdettweiler [2016-10-01 19:35:22] 779*2^1441392-1 is not prime. Res64: CFD24C7FBDEB0820 Time : 0.0 sec. user=mdettweiler [2016-10-01 19:35:22] 819*2^1441392-1 is not prime. Res64: B62F0F69D967C3CD Time : 0.0 sec. user=mdettweiler [2016-10-01 19:35:23] 825*2^1441392-1 is not prime. Res64: 8942960D1E3ABD41 Time : 0.0 sec. user=mdettweiler [2016-10-01 19:35:23] 685*2^1441393-1 is not prime. Res64: EAEBC594082F8548 Time : 0.0 sec. user=mdettweiler [2016-10-01 19:35:24] 715*2^1441393-1 is not prime. Res64: F08DF29D3EC9B630 Time : 0.0 sec. user=mdettweiler [2016-10-01 19:35:42] 855*2^1441393-1 is not prime. Res64: B2EB59A432D93992 Time : 0.0 sec. user=mdettweiler [2016-10-01 19:35:43] 877*2^1441393-1 is not prime. Res64: 90A87F07AAB35A2E Time : 0.0 sec. user=mdettweiler [2016-10-01 19:35:43] 897*2^1441393-1 is not prime. Res64: 9D93CF4C6B480681 Time : 0.0 sec. user=mdettweiler [2016-10-01 19:35:43] 957*2^1441393-1 is not prime. Res64: 14BC6A50CFFC4934 Time : 0.0 sec. user=mdettweiler [2016-10-01 19:35:44] 605*2^1441394-1 is not prime. Res64: C75C6AF495556493 Time : 0.0 sec. user=mdettweiler [2016-10-01 20:00:29] 641*2^1441394-1 is not prime. Res64: D32FBA265D5CEDAC Time : 0.0 sec. user=mdettweiler [2016-10-01 20:00:30] 731*2^1441394-1 is not prime. Res64: 8BB3416FF6D19A08 Time : 0.0 sec. user=mdettweiler [2016-10-01 20:00:31] 753*2^1441394-1 is not prime. Res64: 75D538C65DEE5195 Time : 0.0 sec. user=mdettweiler [2016-10-01 20:00:31] 755*2^1441394-1 is not prime. Res64: C40923807FACDA2B Time : 0.0 sec. user=mdettweiler [2016-10-01 20:00:32] 837*2^1441394-1 is not prime. Res64: 1822EAB03865D971 Time : 0.0 sec. user=mdettweiler [2016-10-01 20:10:43] 861*2^1441394-1 is not prime. Res64: 3EDFE62B37191A84 Time : 0.0 sec. user=mdettweiler [2016-10-01 20:10:44] 875*2^1441394-1 is not prime. Res64: CEE40AD10B02358B Time : 0.0 sec. user=mdettweiler [2016-10-01 20:10:45] 953*2^1441394-1 is not prime. Res64: D4F55A022D71DFC6 Time : 0.0 sec. user=mdettweiler [2016-10-01 20:10:45] 649*2^1441395-1 is not prime. Res64: 6E36549353EAFE27 Time : 0.0 sec. user=mdettweiler [2016-10-01 20:10:46] 663*2^1441395-1 is not prime. Res64: 2D803660B0AE291E Time : 0.0 sec. user=mdettweiler [2016-10-01 20:20:33] 699*2^1441395-1 is not prime. Res64: 087399C37D05D457 Time : 0.0 sec. user=mdettweiler [2016-10-01 20:20:33] 895*2^1441395-1 is not prime. Res64: 314E31D909601FAE Time : 0.0 sec. user=mdettweiler [2016-10-01 20:20:34] 999*2^1441395-1 is not prime. Res64: B6D527C414DC2683 Time : 0.0 sec. user=mdettweiler [2016-10-01 20:20:34] 603*2^1441396-1 is not prime. Res64: 34A3DF2978CB529C Time : 0.0 sec. user=mdettweiler [2016-10-01 20:20:34] 707*2^1441396-1 is not prime. Res64: DECC8566470A29B5 Time : 0.0 sec. user=mdettweiler [2016-10-01 20:20:46] 749*2^1441396-1 is not prime. Res64: A4F3BFF18113D900 Time : 0.0 sec. user=mdettweiler [2016-10-01 20:20:46] 765*2^1441396-1 is not prime. Res64: 327D1BA7B51A0FBE Time : 0.0 sec. user=mdettweiler [2016-10-01 20:20:46] 873*2^1441396-1 is not prime. Res64: 5F1982F31299EAA6 Time : 0.0 sec. user=mdettweiler [2016-10-01 20:20:47] 965*2^1441396-1 is not prime. Res64: 8037B7A440157ED7 Time : 0.0 sec. user=mdettweiler [2016-10-01 20:20:48] 621*2^1441397-1 is not prime. Res64: 5EDA8AA0CEB3C0C2 Time : 0.0 sec. user=mdettweiler [2016-10-01 20:46:49] 627*2^1441397-1 is not prime. Res64: E1226576D95559B8 Time : 0.0 sec. user=mdettweiler [2016-10-01 20:46:50] 675*2^1441397-1 is not prime. Res64: 3581D4BC77CB15DC Time : 0.0 sec. user=mdettweiler [2016-10-01 20:46:50] 691*2^1441397-1 is not prime. Res64: 2F642D5A120F6EE6 Time : 0.0 sec. user=mdettweiler [2016-10-01 20:46:51] 801*2^1441397-1 is not prime. Res64: E01F942CFA175A04 Time : 0.0 sec. user=mdettweiler [2016-10-01 20:46:51] 867*2^1441397-1 is not prime. Res64: B526F1A3FF8FD37F Time : 0.0 sec. user=mdettweiler [2016-10-01 20:57:01] 915*2^1441397-1 is not prime. Res64: DBBC0B83ED8A43AA Time : 0.0 sec. user=mdettweiler [2016-10-01 20:57:01] 647*2^1441398-1 is not prime. Res64: 536504C99C21C6B4 Time : 0.0 sec. user=mdettweiler [2016-10-01 20:57:01] 777*2^1441398-1 is not prime. Res64: 626DD9F0B13B29B3 Time : 0.0 sec. user=mdettweiler [2016-10-01 20:57:02] 795*2^1441398-1 is not prime. Res64: BF8AC56EDCA7109F Time : 0.0 sec. user=mdettweiler [2016-10-01 20:57:02] 887*2^1441398-1 is not prime. Res64: 4191A70EB76C3D04 Time : 0.0 sec. user=mdettweiler [2016-10-01 21:06:57] 923*2^1441398-1 is not prime. Res64: 15D3CD6B2704BD0A Time : 0.0 sec. user=mdettweiler [2016-10-01 21:06:59] 971*2^1441398-1 is not prime. Res64: A345D9BB8039E753 Time : 0.0 sec. user=mdettweiler [2016-10-01 21:07:00] 1001*2^1441398-1 is not prime. Res64: 9901510426FD686A Time : 0.0 sec. user=mdettweiler [2016-10-01 21:07:01] 765*2^1441399-1 is not prime. Res64: BD8411ED68A2BD71 Time : 0.0 sec. user=mdettweiler [2016-10-01 21:07:02] 793*2^1441399-1 is not prime. Res64: 7DCC2507E17BDEEA Time : 0.0 sec. user=mdettweiler [2016-10-01 21:07:04] 813*2^1441399-1 is not prime. Res64: 8CB6DC06C577739C Time : 0.0 sec. user=mdettweiler [2016-10-01 21:07:05] 841*2^1441399-1 is not prime. Res64: 3922AA5AF5BA63AD Time : 0.0 sec. user=mdettweiler [2016-10-01 21:07:07] 861*2^1441399-1 is not prime. Res64: EE424EF4FDD1BF36 Time : 0.0 sec. user=mdettweiler [2016-10-01 21:07:09] 933*2^1441399-1 is not prime. Res64: F30B1590A8B4E2DF Time : 0.0 sec. user=mdettweiler [2016-10-01 21:07:11] 979*2^1441399-1 is not prime. Res64: 12E3FE5A43BF9DD9 Time : 0.0 sec. user=mdettweiler [2016-10-01 21:32:25] 747*2^1441400-1 is not prime. Res64: 222B0F2711D9C8F6 Time : 0.0 sec. user=mdettweiler [2016-10-01 21:32:25] 767*2^1441400-1 is not prime. Res64: 9CB74C740EC7E8A6 Time : 0.0 sec. user=mdettweiler [2016-10-01 21:32:26] 845*2^1441400-1 is not prime. Res64: E4AC2F853585A21B Time : 0.0 sec. user=mdettweiler [2016-10-01 21:32:26] 857*2^1441400-1 is not prime. Res64: 860B92C2DDF6C185 Time : 0.0 sec. user=mdettweiler [2016-10-01 21:32:26] 615*2^1441401-1 is not prime. Res64: 02FCE5018A7578C0 Time : 0.0 sec. user=mdettweiler [2016-10-01 21:42:20] 835*2^1441401-1 is not prime. Res64: D8C525D54A4BA905 Time : 0.0 sec. user=mdettweiler [2016-10-01 21:42:20] 837*2^1441401-1 is not prime. Res64: 9D901D1D9F43E46E Time : 0.0 sec. user=mdettweiler [2016-10-01 21:42:21] 997*2^1441401-1 is not prime. Res64: D9F1A542E6911944 Time : 0.0 sec. user=mdettweiler [2016-10-01 21:42:21] 645*2^1441402-1 is not prime. Res64: 41515C6DB01DC851 Time : 0.0 sec. user=mdettweiler [2016-10-01 21:42:21] 657*2^1441402-1 is not prime. Res64: 469FBB0F70BCFCCB Time : 0.0 sec. user=mdettweiler [2016-10-01 21:52:34] 665*2^1441402-1 is not prime. Res64: 300876FB47DEE93B Time : 0.0 sec. user=mdettweiler [2016-10-01 21:52:35] 815*2^1441402-1 is not prime. Res64: B7DF941A7261F3A2 Time : 0.0 sec. user=mdettweiler [2016-10-01 21:52:35] 957*2^1441402-1 is not prime. Res64: CC8C7C760B5F3BE4 Time : 0.0 sec. user=mdettweiler [2016-10-01 21:52:35] 619*2^1441403-1 is not prime. Res64: B41FE3C2F10D1044 Time : 0.0 sec. user=mdettweiler [2016-10-01 21:52:36] 663*2^1441403-1 is not prime. Res64: 009C7755A29B9F15 Time : 0.0 sec. user=mdettweiler [2016-10-01 21:52:44] 789*2^1441403-1 is not prime. Res64: 0A364A563181A939 Time : 0.0 sec. user=mdettweiler [2016-10-01 21:52:45] 943*2^1441403-1 is not prime. Res64: 3D29FA5EA40219FE Time : 0.0 sec. user=mdettweiler [2016-10-01 21:52:45] 683*2^1441404-1 is not prime. Res64: 0473E6B48DFA34B5 Time : 0.0 sec. user=mdettweiler [2016-10-01 21:52:45] 699*2^1441404-1 is not prime. Res64: 871941556B4FC72F Time : 0.0 sec. user=mdettweiler [2016-10-01 21:52:46] 717*2^1441404-1 is not prime. Res64: 7402C0B27AE1680F Time : 0.0 sec. user=mdettweiler [2016-10-01 22:17:57] 803*2^1441404-1 is not prime. Res64: E9DAA6AC46C090A0 Time : 0.0 sec. user=mdettweiler [2016-10-01 22:18:00] 965*2^1441404-1 is not prime. Res64: 4180389F119F1BEC Time : 0.0 sec. user=mdettweiler [2016-10-01 22:18:01] 645*2^1441405-1 is not prime. Res64: 1CB5FBB20C6C1E99 Time : 0.0 sec. user=mdettweiler [2016-10-01 22:18:02] 651*2^1441405-1 is not prime. Res64: 5F5B630134F40A98 Time : 0.0 sec. user=mdettweiler [2016-10-01 22:18:02] 667*2^1441405-1 is not prime. Res64: 39598C79A82E91F2 Time : 0.0 sec. user=mdettweiler [2016-10-01 22:27:41] 871*2^1441405-1 is not prime. Res64: D3E8C85928E4A8D3 Time : 0.0 sec. user=mdettweiler [2016-10-01 22:27:42] 885*2^1441405-1 is not prime. Res64: D6424F1414B197C4 Time : 0.0 sec. user=mdettweiler [2016-10-01 22:27:42] 955*2^1441405-1 is not prime. Res64: 7F5805EBCAC7E1A0 Time : 0.0 sec. user=mdettweiler [2016-10-01 22:27:43] 755*2^1441406-1 is not prime. Res64: 24378CC4D62FFC9A Time : 0.0 sec. user=mdettweiler [2016-10-01 22:27:43] 897*2^1441406-1 is not prime. Res64: C700EA3DD457219A Time : 0.0 sec. user=mdettweiler [2016-10-01 22:37:57] 625*2^1441407-1 is not prime. Res64: 895D82EBBE8BA658 Time : 0.0 sec. user=mdettweiler [2016-10-01 22:37:58] 711*2^1441407-1 is not prime. Res64: BAC3987B205397A1 Time : 0.0 sec. user=mdettweiler [2016-10-01 22:37:58] 751*2^1441407-1 is not prime. Res64: F93737967C24FA72 Time : 0.0 sec. user=mdettweiler [2016-10-01 22:37:59] 765*2^1441407-1 is not prime. Res64: 2CBCC3B99EFED7F1 Time : 0.0 sec. user=mdettweiler [2016-10-01 22:37:59] 623*2^1441408-1 is not prime. Res64: 44035A630C3956E8 Time : 0.0 sec. user=mdettweiler [2016-10-01 22:38:08] 635*2^1441408-1 is not prime. Res64: 6314CBFD46EAF4FA Time : 0.0 sec. user=mdettweiler [2016-10-01 22:38:08] 639*2^1441408-1 is not prime. Res64: 8A4E4B8E6DAFD7AA Time : 0.0 sec. user=mdettweiler [2016-10-01 22:38:08] 663*2^1441408-1 is not prime. Res64: E13541CB60BF5732 Time : 0.0 sec. user=mdettweiler [2016-10-01 22:38:09] 677*2^1441408-1 is not prime. Res64: 1CE6620581B34D28 Time : 0.0 sec. user=mdettweiler [2016-10-01 22:38:09] 819*2^1441408-1 is not prime. Res64: 7317FFB6790427A3 Time : 0.0 sec. user=mdettweiler [2016-10-01 23:03:32] 887*2^1441408-1 is not prime. Res64: 50D9D097402F9569 Time : 0.0 sec. user=mdettweiler [2016-10-01 23:03:33] 685*2^1441409-1 is not prime. Res64: 26B7964B44872344 Time : 0.0 sec. user=mdettweiler [2016-10-01 23:03:34] 705*2^1441409-1 is not prime. Res64: 196EC7818164C692 Time : 0.0 sec. user=mdettweiler [2016-10-01 23:03:35] 727*2^1441409-1 is not prime. Res64: 318ABC83D7B9F699 Time : 0.0 sec. user=mdettweiler [2016-10-01 23:03:36] 781*2^1441409-1 is not prime. Res64: B7F04ADD564FA84F Time : 0.0 sec. user=mdettweiler [2016-10-01 23:13:01] 867*2^1441409-1 is not prime. Res64: BEE0BD57D8325C24 Time : 0.0 sec. user=mdettweiler [2016-10-01 23:13:01] 741*2^1441410-1 is not prime. Res64: D650CFA4F25A929A Time : 0.0 sec. user=mdettweiler [2016-10-01 23:13:02] 783*2^1441410-1 is not prime. Res64: E22FD07400162BE7 Time : 0.0 sec. user=mdettweiler [2016-10-01 23:23:30] 971*2^1441410-1 is not prime. Res64: 23E5CF6E3CCE0ADC Time : 0.0 sec. user=mdettweiler [2016-10-01 23:23:30] 601*2^1441411-1 is not prime. Res64: 1873ABCF9D742A51 Time : 0.0 sec. user=mdettweiler [2016-10-01 23:23:31] 693*2^1441411-1 is not prime. Res64: AAE0E5650679348F Time : 0.0 sec. user=mdettweiler [2016-10-01 23:23:32] 705*2^1441411-1 is not prime. Res64: 4D26D4DEB0FD7395 Time : 0.0 sec. user=mdettweiler [2016-10-01 23:23:33] 835*2^1441411-1 is not prime. Res64: EC8874876AB8FD36 Time : 0.0 sec. user=mdettweiler [2016-10-01 23:23:49] 859*2^1441411-1 is not prime. Res64: F87E6C54CD3C30E2 Time : 0.0 sec. user=mdettweiler [2016-10-01 23:23:50] 635*2^1441412-1 is not prime. Res64: 78596C694B256393 Time : 0.0 sec. user=mdettweiler [2016-10-01 23:23:50] 677*2^1441412-1 is not prime. Res64: 0EAC0D6D11C293C5 Time : 0.0 sec. user=mdettweiler [2016-10-01 23:23:51] 735*2^1441412-1 is not prime. Res64: B85761C0E5585EA0 Time : 0.0 sec. user=mdettweiler [2016-10-01 23:23:51] 753*2^1441412-1 is not prime. Res64: E09DF90BCB53F6DB Time : 0.0 sec. user=mdettweiler [2016-10-01 23:49:58] 767*2^1441412-1 is not prime. Res64: 23EE80E56C092B4F Time : 0.0 sec. user=mdettweiler [2016-10-01 23:49:59] 899*2^1441412-1 is not prime. Res64: DFAAF3B40AC3C434 Time : 0.0 sec. user=mdettweiler [2016-10-01 23:49:59] 903*2^1441412-1 is not prime. Res64: 46DDF32E720AA327 Time : 0.0 sec. user=mdettweiler [2016-10-01 23:50:00] 935*2^1441412-1 is not prime. Res64: B464DBDEF2419C64 Time : 0.0 sec. user=mdettweiler [2016-10-01 23:50:00] 615*2^1441413-1 is not prime. Res64: 0BC6474E15C3DD20 Time : 0.0 sec.