user=mdettweiler [2016-10-25 00:03:00] 675*2^1443852-1 is not prime. Res64: C7F0477C6D1ECCE3 Time : 0.0 sec. user=mdettweiler [2016-10-25 00:03:02] 683*2^1443852-1 is not prime. Res64: C04249A9E7937269 Time : 0.0 sec. user=mdettweiler [2016-10-25 00:03:03] 765*2^1443852-1 is not prime. Res64: 47CA35A0E34A5DAD Time : 0.0 sec. user=mdettweiler [2016-10-25 00:03:06] 857*2^1443852-1 is not prime. Res64: 5A8D466D83A6EF80 Time : 0.0 sec. user=mdettweiler [2016-10-25 00:03:11] 887*2^1443852-1 is not prime. Res64: BFFD708EB1B883D8 Time : 0.0 sec. user=mdettweiler [2016-10-25 00:15:06] 947*2^1443852-1 is not prime. Res64: D1EC2F54BB92CEC9 Time : 0.0 sec. user=mdettweiler [2016-10-25 00:15:07] 965*2^1443852-1 is not prime. Res64: 1DA5A6A02D6ECFC5 Time : 0.0 sec. user=mdettweiler [2016-10-25 00:15:09] 983*2^1443852-1 is not prime. Res64: E9D08A1CC00359CA Time : 0.0 sec. user=mdettweiler [2016-10-25 00:15:10] 699*2^1443853-1 is not prime. Res64: 736CB340932CED2A Time : 0.0 sec. user=mdettweiler [2016-10-25 00:15:11] 745*2^1443853-1 is not prime. Res64: C04155407174BF68 Time : 0.0 sec. user=mdettweiler [2016-10-25 00:26:23] 757*2^1443853-1 is not prime. Res64: DC4D31F8B8E91A1E Time : 0.0 sec. user=mdettweiler [2016-10-25 00:26:24] 805*2^1443853-1 is not prime. Res64: 763E847A424884F8 Time : 0.0 sec. user=mdettweiler [2016-10-25 00:26:24] 919*2^1443853-1 is not prime. Res64: BDDEDD750EE4DCFA Time : 0.0 sec. user=mdettweiler [2016-10-25 00:26:24] 945*2^1443853-1 is not prime. Res64: 9D959629D13FA52D Time : 0.0 sec. user=mdettweiler [2016-10-25 00:26:25] 955*2^1443853-1 is not prime. Res64: 54010305936E8DC4 Time : 0.0 sec. user=mdettweiler [2016-10-25 00:41:19] 887*2^1443854-1 is not prime. Res64: A5644285F89ED41B Time : 0.0 sec. user=mdettweiler [2016-10-25 00:41:20] 685*2^1443855-1 is not prime. Res64: 0C16986C189F5CB4 Time : 0.0 sec. user=mdettweiler [2016-10-25 00:41:20] 709*2^1443855-1 is not prime. Res64: C1D71CB7474BCAC0 Time : 0.0 sec. user=mdettweiler [2016-10-25 00:41:20] 735*2^1443855-1 is not prime. Res64: 279202A64CFF5144 Time : 0.0 sec. user=mdettweiler [2016-10-25 00:41:21] 819*2^1443855-1 is not prime. Res64: 26A223787D45AEC5 Time : 0.0 sec. user=mdettweiler [2016-10-25 00:47:59] 831*2^1443855-1 is not prime. Res64: CD5E550A1BB6401C Time : 0.0 sec. user=mdettweiler [2016-10-25 00:47:59] 933*2^1443855-1 is not prime. Res64: 0DDAA83BA6CBE5FA Time : 0.0 sec. user=mdettweiler [2016-10-25 00:47:59] 973*2^1443855-1 is not prime. Res64: E7E7E9F875468F5B Time : 0.0 sec. user=mdettweiler [2016-10-25 00:48:00] 693*2^1443856-1 is not prime. Res64: 0F05FDC75EE11643 Time : 0.0 sec. user=mdettweiler [2016-10-25 00:48:00] 743*2^1443856-1 is not prime. Res64: 02866E00443C985A Time : 0.0 sec. user=mdettweiler [2016-10-25 01:00:06] 755*2^1443856-1 is not prime. Res64: 7BB0A742DD5BBA67 Time : 0.0 sec. user=mdettweiler [2016-10-25 01:00:09] 779*2^1443856-1 is not prime. Res64: C40E5BAAF843F6C2 Time : 0.0 sec. user=mdettweiler [2016-10-25 01:00:10] 813*2^1443856-1 is not prime. Res64: 15E7BE033943A62E Time : 0.0 sec. user=mdettweiler [2016-10-25 01:00:16] 849*2^1443856-1 is not prime. Res64: FD63CC344F4945A9 Time : 0.0 sec. user=mdettweiler [2016-10-25 01:00:18] 905*2^1443856-1 is not prime. Res64: 4F1435042881B4D4 Time : 0.0 sec. user=mdettweiler [2016-10-25 01:11:00] 965*2^1443856-1 is not prime. Res64: 09B6BAE2FD926B97 Time : 0.0 sec. user=mdettweiler [2016-10-25 01:11:04] 993*2^1443856-1 is not prime. Res64: D206B2802D96B1B2 Time : 0.0 sec. user=mdettweiler [2016-10-25 01:11:05] 999*2^1443856-1 is not prime. Res64: 799C58A7DA412249 Time : 0.0 sec. user=mdettweiler [2016-10-25 01:11:07] 601*2^1443857-1 is not prime. Res64: 9DFF187CEC06AF94 Time : 0.0 sec. user=mdettweiler [2016-10-25 01:11:10] 607*2^1443857-1 is not prime. Res64: BE2A2F42E6DD2F9C Time : 0.0 sec. user=mdettweiler [2016-10-25 01:26:01] 615*2^1443857-1 is not prime. Res64: 858A0B5206F7A898 Time : 0.0 sec. user=mdettweiler [2016-10-25 01:26:03] 619*2^1443857-1 is not prime. Res64: D29A49ECD73131DB Time : 0.0 sec. user=mdettweiler [2016-10-25 01:26:04] 697*2^1443857-1 is not prime. Res64: 9B12A91DA5A42A5D Time : 0.0 sec. user=mdettweiler [2016-10-25 01:26:05] 717*2^1443857-1 is not prime. Res64: 65FACD8AF00BF217 Time : 0.0 sec. user=mdettweiler [2016-10-25 01:26:06] 841*2^1443857-1 is not prime. Res64: D7A2B7B181879AF9 Time : 0.0 sec. user=mdettweiler [2016-10-25 01:32:35] 901*2^1443857-1 is not prime. Res64: AAEF8A2970D6A105 Time : 0.0 sec. user=mdettweiler [2016-10-25 01:32:41] 957*2^1443857-1 is not prime. Res64: DA16418BD16F883A Time : 0.0 sec. user=mdettweiler [2016-10-25 01:32:45] 967*2^1443857-1 is not prime. Res64: 86B52B11B7953A4F Time : 0.0 sec. user=mdettweiler [2016-10-25 01:32:48] 945*2^1443858-1 is not prime. Res64: 8CAD15A08A817748 Time : 0.0 sec. user=mdettweiler [2016-10-25 01:32:51] 705*2^1443859-1 is not prime. Res64: 73F05E217E938818 Time : 0.0 sec. user=mdettweiler [2016-10-25 01:45:18] 789*2^1443859-1 is not prime. Res64: 8B0D54EC3C328A5D Time : 0.0 sec. user=mdettweiler [2016-10-25 01:45:19] 993*2^1443859-1 is not prime. Res64: 1B06D6EE50311EBB Time : 0.0 sec. user=mdettweiler [2016-10-25 01:45:19] 999*2^1443859-1 is not prime. Res64: 1B3639148D96DE0D Time : 0.0 sec. user=mdettweiler [2016-10-25 01:45:20] 635*2^1443860-1 is not prime. Res64: 6EEE511DEDAD792A Time : 0.0 sec. user=mdettweiler [2016-10-25 01:45:21] 677*2^1443860-1 is not prime. Res64: E6063C8FA9ABA349 Time : 0.0 sec. user=mdettweiler [2016-10-25 01:56:22] 719*2^1443860-1 is not prime. Res64: 5C98FF2F1DF07F55 Time : 0.0 sec. user=mdettweiler [2016-10-25 01:56:22] 845*2^1443860-1 is not prime. Res64: 6FADBD69849E3972 Time : 0.0 sec. user=mdettweiler [2016-10-25 01:56:23] 897*2^1443860-1 is not prime. Res64: 2259CC0B81B4CAAA Time : 0.0 sec. user=mdettweiler [2016-10-25 01:56:23] 983*2^1443860-1 is not prime. Res64: B735BA1A888F874C Time : 0.0 sec. user=mdettweiler [2016-10-25 01:56:23] 685*2^1443861-1 is not prime. Res64: 587E8331E014CD23 Time : 0.0 sec. user=mdettweiler [2016-10-25 02:10:57] 711*2^1443861-1 is not prime. Res64: A3A9172E8F6343C3 Time : 0.0 sec. user=mdettweiler [2016-10-25 02:11:01] 837*2^1443861-1 is not prime. Res64: 356F9B0834F58026 Time : 0.0 sec. user=mdettweiler [2016-10-25 02:11:05] 849*2^1443861-1 is not prime. Res64: C17A370D7F65D0FF Time : 0.0 sec. user=mdettweiler [2016-10-25 02:18:09] 951*2^1443861-1 is not prime. Res64: 12E8F95D4C7B2694 Time : 0.0 sec. user=mdettweiler [2016-10-25 02:18:10] 761*2^1443862-1 is not prime. Res64: E1231DE86EC656FE Time : 0.0 sec. user=mdettweiler [2016-10-25 02:18:10] 801*2^1443862-1 is not prime. Res64: EF2CB9D3FB62B367 Time : 0.0 sec. user=mdettweiler [2016-10-25 02:18:11] 885*2^1443862-1 is not prime. Res64: A046B03758458301 Time : 0.0 sec. user=mdettweiler [2016-10-25 02:18:11] 917*2^1443862-1 is not prime. Res64: C48073C1A291041A Time : 0.0 sec. user=mdettweiler [2016-10-25 02:30:32] 951*2^1443862-1 is not prime. Res64: A36854819D5C5C57 Time : 0.0 sec. user=mdettweiler [2016-10-25 02:30:32] 1001*2^1443862-1 is not prime. Res64: 34BF786B4965B5FC Time : 0.0 sec. user=mdettweiler [2016-10-25 02:30:33] 609*2^1443863-1 is not prime. Res64: 8B08D063389B2F21 Time : 0.0 sec. user=mdettweiler [2016-10-25 02:30:33] 633*2^1443863-1 is not prime. Res64: 0466842C0ACD908A Time : 0.0 sec. user=mdettweiler [2016-10-25 02:30:34] 669*2^1443863-1 is not prime. Res64: 9917634766D4C04C Time : 0.0 sec. user=mdettweiler [2016-10-25 02:41:23] 861*2^1443863-1 is not prime. Res64: 3A8E16B2A4F76C15 Time : 0.0 sec. user=mdettweiler [2016-10-25 02:41:24] 985*2^1443863-1 is not prime. Res64: 32FCA1CA078551BC Time : 0.0 sec. user=mdettweiler [2016-10-25 02:41:25] 999*2^1443863-1 is not prime. Res64: F07BCFFE8ED5F8C3 Time : 0.0 sec. user=mdettweiler [2016-10-25 02:41:26] 605*2^1443864-1 is not prime. Res64: D5DD23214E8796EE Time : 0.0 sec. user=mdettweiler [2016-10-25 02:41:27] 629*2^1443864-1 is not prime. Res64: 6AC00B6A5DDF9290 Time : 0.0 sec. user=mdettweiler [2016-10-25 03:04:08] 635*2^1443864-1 is not prime. Res64: 04475EDC89F8F43F Time : 0.0 sec. user=mdettweiler [2016-10-25 03:04:09] 665*2^1443864-1 is not prime. Res64: B621DCC80C3DB565 Time : 0.0 sec. user=mdettweiler [2016-10-25 03:04:10] 857*2^1443864-1 is not prime. Res64: AE068BE69D28C227 Time : 0.0 sec. user=mdettweiler [2016-10-25 03:04:12] 699*2^1443865-1 is not prime. Res64: 650BA32C97E1A8CC Time : 0.0 sec. user=mdettweiler [2016-10-25 03:04:14] 729*2^1443865-1 is not prime. Res64: 5D9D8260972BE20F Time : 0.0 sec. user=mdettweiler [2016-10-25 03:16:40] 765*2^1443865-1 is not prime. Res64: B862D1C9A5CA40EC Time : 0.0 sec. user=mdettweiler [2016-10-25 03:16:41] 789*2^1443865-1 is not prime. Res64: 633D5F78DBE1CB68 Time : 0.0 sec. user=mdettweiler [2016-10-25 03:16:42] 817*2^1443865-1 is not prime. Res64: E4A565C027C9123B Time : 0.0 sec. user=mdettweiler [2016-10-25 03:16:42] 895*2^1443865-1 is not prime. Res64: 526A4D5ABD70B356 Time : 0.0 sec. user=mdettweiler [2016-10-25 03:16:43] 615*2^1443866-1 is not prime. Res64: 88BE4468A1307EF7 Time : 0.0 sec. user=mdettweiler [2016-10-25 03:28:21] 617*2^1443866-1 is not prime. Res64: 64A63E0D4914D27A Time : 0.0 sec. user=mdettweiler [2016-10-25 03:28:23] 677*2^1443866-1 is not prime. Res64: B9ED4BBC2C1D6C1D Time : 0.0 sec. user=mdettweiler [2016-10-25 03:28:25] 773*2^1443866-1 is not prime. Res64: DF3D18362C97E83A Time : 0.0 sec. user=mdettweiler [2016-10-25 03:28:26] 825*2^1443866-1 is not prime. Res64: A1E6B172436CCCAE Time : 0.0 sec. user=mdettweiler [2016-10-25 03:28:27] 857*2^1443866-1 is not prime. Res64: E5BC897E0FD477AB Time : 0.0 sec. user=mdettweiler [2016-10-25 03:52:01] 941*2^1443866-1 is not prime. Res64: D130A2C82DDC5EBB Time : 0.0 sec. user=mdettweiler [2016-10-25 04:04:06] 835*2^1443867-1 is not prime. Res64: F39E44B3E0AFCE85 Time : 0.0 sec. user=mdettweiler [2016-10-25 04:04:13] 975*2^1443867-1 is not prime. Res64: B7BEA85E32F213EC Time : 0.0 sec. user=mdettweiler [2016-10-25 04:04:17] 657*2^1443868-1 is not prime. Res64: 744D1C4F596AE0A9 Time : 0.0 sec. user=mdettweiler [2016-10-25 04:04:22] 723*2^1443868-1 is not prime. Res64: 4B66395C0A311F56 Time : 0.0 sec. user=mdettweiler [2016-10-25 04:04:26] 735*2^1443868-1 is not prime. Res64: ECCB9F39B755E87E Time : 0.0 sec. user=mdettweiler [2016-10-25 04:15:42] 825*2^1443868-1 is not prime. Res64: D084B5B3E5DEE44E Time : 0.0 sec. user=mdettweiler [2016-10-25 04:15:43] 839*2^1443868-1 is not prime. Res64: CBC76E54E4A1A4D1 Time : 0.0 sec. user=mdettweiler [2016-10-25 04:15:43] 845*2^1443868-1 is not prime. Res64: D2334B9669794DF6 Time : 0.0 sec. user=mdettweiler [2016-10-25 04:15:43] 993*2^1443868-1 is not prime. Res64: 94CB5D99AF228CD7 Time : 0.0 sec. user=mdettweiler [2016-10-25 04:15:43] 675*2^1443869-1 is not prime. Res64: 268F79D6809A4480 Time : 0.0 sec. user=mdettweiler [2016-10-25 04:55:34] 729*2^1443869-1 is not prime. Res64: 148B330FA9B0FDEC Time : 0.0 sec. user=mdettweiler [2016-10-25 04:55:35] 811*2^1443869-1 is not prime. Res64: 27B13B7E51DF194D Time : 0.0 sec. user=mdettweiler [2016-10-25 04:55:35] 825*2^1443869-1 is not prime. Res64: AA9D340CD7CEF98E Time : 0.0 sec. user=mdettweiler [2016-10-25 04:55:35] 829*2^1443869-1 is not prime. Res64: 692C6A3AB755227A Time : 0.0 sec. user=mdettweiler [2016-10-25 04:55:35] 831*2^1443869-1 is not prime. Res64: D2A832485CBB2E7F Time : 0.0 sec. user=mdettweiler [2016-10-25 05:04:28] 837*2^1443869-1 is not prime. Res64: 9B2BF9A2B25699C4 Time : 0.0 sec. user=mdettweiler [2016-10-25 05:04:29] 879*2^1443869-1 is not prime. Res64: D6FC8F3399F49B0B Time : 0.0 sec. user=mdettweiler [2016-10-25 05:04:30] 987*2^1443869-1 is not prime. Res64: 4A628177F53A3A6B Time : 0.0 sec. user=mdettweiler [2016-10-25 05:04:31] 717*2^1443870-1 is not prime. Res64: 1F0D46F85535E503 Time : 0.0 sec. user=mdettweiler [2016-10-25 05:04:31] 741*2^1443870-1 is not prime. Res64: FD19FB1F261634E9 Time : 0.0 sec. user=mdettweiler [2016-10-25 05:45:17] 747*2^1443870-1 is not prime. Res64: 6C9025EB079A1614 Time : 0.0 sec. user=mdettweiler [2016-10-25 05:45:17] 765*2^1443870-1 is not prime. Res64: 0869974E925AE912 Time : 0.0 sec. user=mdettweiler [2016-10-25 05:45:18] 767*2^1443870-1 is not prime. Res64: 51791FD48C3C864A Time : 0.0 sec. user=mdettweiler [2016-10-25 05:45:18] 791*2^1443870-1 is not prime. Res64: B4FA382458BF8AFE Time : 0.0 sec. user=mdettweiler [2016-10-25 05:45:18] 891*2^1443870-1 is not prime. Res64: DCE7FECDD73CC249 Time : 0.0 sec. user=mdettweiler [2016-10-25 05:54:02] 609*2^1443871-1 is not prime. Res64: 81868B195E3BB545 Time : 0.0 sec. user=mdettweiler [2016-10-25 05:54:02] 615*2^1443871-1 is not prime. Res64: 9DD7F99BC489D4B9 Time : 0.0 sec. user=mdettweiler [2016-10-25 05:54:02] 661*2^1443871-1 is not prime. Res64: 18F05D426A2CF7EC Time : 0.0 sec. user=mdettweiler [2016-10-25 05:54:02] 679*2^1443871-1 is not prime. Res64: A1641120B60651C0 Time : 0.0 sec. user=mdettweiler [2016-10-25 05:54:03] 735*2^1443871-1 is not prime. Res64: 017378B9C6744515 Time : 0.0 sec. user=mdettweiler [2016-10-25 06:34:39] 793*2^1443871-1 is not prime. Res64: DE430B12A1131930 Time : 0.0 sec. user=mdettweiler [2016-10-25 06:34:39] 859*2^1443871-1 is not prime. Res64: 167E95BA95DA2EF3 Time : 0.0 sec. user=mdettweiler [2016-10-25 06:34:40] 885*2^1443871-1 is not prime. Res64: 7300EB0EEE2F6973 Time : 0.0 sec. user=mdettweiler [2016-10-25 06:34:40] 889*2^1443871-1 is not prime. Res64: 03F15DCA1645B92D Time : 0.0 sec. user=mdettweiler [2016-10-25 06:34:40] 951*2^1443871-1 is not prime. Res64: F444E4941F391756 Time : 0.0 sec. user=mdettweiler [2016-10-25 06:42:52] 973*2^1443871-1 is not prime. Res64: 2B0E0DF9691344DC Time : 0.0 sec. user=mdettweiler [2016-10-25 06:42:52] 975*2^1443871-1 is not prime. Res64: 98A6E4BDCC883AE6 Time : 0.0 sec. user=mdettweiler [2016-10-25 06:42:52] 743*2^1443872-1 is not prime. Res64: 22AA21464251F2ED Time : 0.0 sec. user=mdettweiler [2016-10-25 06:42:52] 855*2^1443872-1 is not prime. Res64: 04F7795DE5F510C9 Time : 0.0 sec. user=mdettweiler [2016-10-25 06:42:52] 609*2^1443873-1 is not prime. Res64: AE343C816AFD0B2F Time : 0.0 sec. user=mdettweiler [2016-10-25 07:21:38] 885*2^1443861-1 is not prime. Res64: DC2D6ED298C5D62D Time : 0.0 sec. user=mdettweiler [2016-10-25 07:21:39] 945*2^1443861-1 is not prime. Res64: 772E14E2E099220D Time : 0.0 sec. user=mdettweiler [2016-10-25 07:22:47] 691*2^1443873-1 is not prime. Res64: 6837DCB40979F01B Time : 0.0 sec. user=mdettweiler [2016-10-25 07:22:48] 745*2^1443873-1 is not prime. Res64: 5804F89522FA030F Time : 0.0 sec. user=mdettweiler [2016-10-25 07:22:48] 759*2^1443873-1 is not prime. Res64: 40FA243E5E355D6C Time : 0.0 sec. user=mdettweiler [2016-10-25 07:22:48] 871*2^1443873-1 is not prime. Res64: D749DAA47836854F Time : 0.0 sec. user=mdettweiler [2016-10-25 07:22:48] 663*2^1443874-1 is not prime. Res64: D3C08C8F3A1455A4 Time : 0.0 sec. user=mdettweiler [2016-10-25 07:30:29] 755*2^1443874-1 is not prime. Res64: 264CDA4F8BB3945B Time : 0.0 sec. user=mdettweiler [2016-10-25 07:30:29] 773*2^1443874-1 is not prime. Res64: 943D4736AD5D1FA9 Time : 0.0 sec. user=mdettweiler [2016-10-25 07:30:30] 891*2^1443874-1 is not prime. Res64: D049FCB5C122635E Time : 0.0 sec. user=mdettweiler [2016-10-25 07:30:30] 951*2^1443874-1 is not prime. Res64: A222EC3A2CD187E7 Time : 0.0 sec. user=mdettweiler [2016-10-25 07:30:30] 699*2^1443875-1 is not prime. Res64: 5B79D4FFEB4A53C9 Time : 0.0 sec. user=mdettweiler [2016-10-25 07:50:39] 601*2^1443867-1 is not prime. Res64: 49233F9358EE9487 Time : 0.0 sec. user=mdettweiler [2016-10-25 07:50:39] 651*2^1443867-1 is not prime. Res64: 5D73EEDC13BFC100 Time : 0.0 sec. user=mdettweiler [2016-10-25 07:50:39] 669*2^1443867-1 is not prime. Res64: 7D6F71B94FA0831A Time : 0.0 sec. user=mdettweiler [2016-10-25 07:50:39] 753*2^1443867-1 is not prime. Res64: BDA1637263CFEAF8 Time : 0.0 sec. user=mdettweiler [2016-10-25 08:07:00] 735*2^1443875-1 is not prime. Res64: BD377E48E234008F Time : 0.0 sec. user=mdettweiler [2016-10-25 08:07:01] 771*2^1443875-1 is not prime. Res64: A895BDBAE81A414C Time : 0.0 sec. user=mdettweiler [2016-10-25 08:07:02] 775*2^1443875-1 is not prime. Res64: FA7EFB8A94C14C06 Time : 0.0 sec. user=mdettweiler [2016-10-25 08:07:03] 783*2^1443875-1 is not prime. Res64: 13A55560361FA546 Time : 0.0 sec. user=mdettweiler [2016-10-25 08:07:04] 859*2^1443875-1 is not prime. Res64: 241DEC19255CFC01 Time : 0.0 sec. user=mdettweiler [2016-10-25 08:08:08] 871*2^1443875-1 is not prime. Res64: 5B03C7CBB7A18B31 Time : 0.0 sec. user=mdettweiler [2016-10-25 08:08:11] 913*2^1443875-1 is not prime. Res64: D3D545D7815BD6D6 Time : 0.0 sec. user=mdettweiler [2016-10-25 08:08:12] 949*2^1443875-1 is not prime. Res64: 36F718F811876420 Time : 0.0 sec. user=mdettweiler [2016-10-25 08:08:13] 623*2^1443876-1 is not prime. Res64: A9F3B1520A0F86C1 Time : 0.0 sec. user=mdettweiler [2016-10-25 08:08:14] 723*2^1443876-1 is not prime. Res64: 9D0AC8065670747A Time : 0.0 sec. user=mdettweiler [2016-10-25 08:15:39] 725*2^1443876-1 is not prime. Res64: 70306C3EACFE2358 Time : 0.0 sec. user=mdettweiler [2016-10-25 08:15:40] 933*2^1443876-1 is not prime. Res64: F55AA7CE23D91A7E Time : 0.0 sec. user=mdettweiler [2016-10-25 08:15:40] 983*2^1443876-1 is not prime. Res64: 6F2AFFAD68CB41B9 Time : 0.0 sec. user=mdettweiler [2016-10-25 08:15:41] 601*2^1443877-1 is not prime. Res64: AFBAF168D6C4A3D8 Time : 0.0 sec. user=mdettweiler [2016-10-25 08:15:42] 619*2^1443877-1 is not prime. Res64: 20B7631A62640572 Time : 0.0 sec. user=mdettweiler [2016-10-25 08:35:18] 645*2^1443877-1 is not prime. Res64: 8C0690BA6FA06476 Time : 0.0 sec. user=mdettweiler [2016-10-25 08:35:19] 675*2^1443877-1 is not prime. Res64: 2DD92FB21621F0DC Time : 0.0 sec. user=mdettweiler [2016-10-25 08:35:19] 685*2^1443877-1 is not prime. Res64: E74872EAEF0CF04C Time : 0.0 sec. user=mdettweiler [2016-10-25 08:35:19] 687*2^1443877-1 is not prime. Res64: 68AD8CE5256E15D1 Time : 0.0 sec. user=mdettweiler [2016-10-25 08:35:19] 759*2^1443877-1 is not prime. Res64: A6151A565FF1D030 Time : 0.0 sec. user=mdettweiler [2016-10-25 08:51:49] 805*2^1443877-1 is not prime. Res64: 8E098262181949EA Time : 0.0 sec. user=mdettweiler [2016-10-25 08:51:49] 919*2^1443877-1 is not prime. Res64: D97942A27D04F9E7 Time : 0.0 sec. user=mdettweiler [2016-10-25 08:51:49] 937*2^1443877-1 is not prime. Res64: CD51B0DD2F1D778F Time : 0.0 sec. user=mdettweiler [2016-10-25 08:51:50] 945*2^1443877-1 is not prime. Res64: 6E1E6023C6E9BCB0 Time : 0.0 sec. user=mdettweiler [2016-10-25 08:51:50] 955*2^1443877-1 is not prime. Res64: 1145DC4E5A48FB5A Time : 0.0 sec. user=mdettweiler [2016-10-25 08:53:01] 999*2^1443877-1 is not prime. Res64: D0165DD30EDBDE5A Time : 0.0 sec. user=mdettweiler [2016-10-25 08:53:02] 731*2^1443878-1 is not prime. Res64: B6F5C5C99EB72F2C Time : 0.0 sec. user=mdettweiler [2016-10-25 08:53:02] 791*2^1443878-1 is not prime. Res64: 41EA9652BC513760 Time : 0.0 sec. user=mdettweiler [2016-10-25 08:53:02] 861*2^1443878-1 is not prime. Res64: D70587F37BFF08F7 Time : 0.0 sec. user=mdettweiler [2016-10-25 08:53:02] 971*2^1443878-1 is not prime. Res64: 54B6C8E8BED86E4B Time : 0.0 sec. user=mdettweiler [2016-10-25 09:00:24] 693*2^1443879-1 is not prime. Res64: 94C2274B2D052289 Time : 0.0 sec. user=mdettweiler [2016-10-25 09:00:25] 751*2^1443879-1 is not prime. Res64: 907C753BC2498081 Time : 0.0 sec. user=mdettweiler [2016-10-25 09:00:26] 635*2^1443880-1 is not prime. Res64: B7E110015D063ECF Time : 0.0 sec. user=mdettweiler [2016-10-25 09:00:26] 665*2^1443880-1 is not prime. Res64: 1CFE1A72F440DCB6 Time : 0.0 sec. user=mdettweiler [2016-10-25 09:00:27] 747*2^1443880-1 is not prime. Res64: FB1BFFC61BCF281F Time : 0.0 sec. user=mdettweiler [2016-10-25 09:19:53] 777*2^1443880-1 is not prime. Res64: FA370B4D8574BE40 Time : 0.0 sec. user=mdettweiler [2016-10-25 09:19:55] 785*2^1443880-1 is not prime. Res64: D83727C7A2D95695 Time : 0.0 sec. user=mdettweiler [2016-10-25 09:19:56] 863*2^1443880-1 is not prime. Res64: DE3E8697A614CB24 Time : 0.0 sec. user=mdettweiler [2016-10-25 09:19:57] 939*2^1443880-1 is not prime. Res64: 2384646BF277026F Time : 0.0 sec. user=mdettweiler [2016-10-25 09:19:57] 645*2^1443881-1 is not prime. Res64: 0C085052D12B6CA4 Time : 0.0 sec. user=mdettweiler [2016-10-25 09:36:26] 769*2^1443881-1 is not prime. Res64: 3102507C09731417 Time : 0.0 sec. user=mdettweiler [2016-10-25 09:36:26] 795*2^1443881-1 is not prime. Res64: F6251443F8B8A68E Time : 0.0 sec. user=mdettweiler [2016-10-25 09:36:26] 799*2^1443881-1 is not prime. Res64: AFEC975E6EB982DA Time : 0.0 sec. user=mdettweiler [2016-10-25 09:36:26] 955*2^1443881-1 is not prime. Res64: 3238CE2FF37C4EB3 Time : 0.0 sec. user=mdettweiler [2016-10-25 09:36:27] 797*2^1443882-1 is not prime. Res64: 6E5BE6D0D52FE0DD Time : 0.0 sec. user=mdettweiler [2016-10-25 09:37:29] 887*2^1443882-1 is not prime. Res64: C81C12E397976AAE Time : 0.0 sec. user=mdettweiler [2016-10-25 09:37:29] 923*2^1443882-1 is not prime. Res64: 958BB63AECB7D5F1 Time : 0.0 sec. user=mdettweiler [2016-10-25 09:37:29] 951*2^1443882-1 is not prime. Res64: 6627FF77B376244D Time : 0.0 sec. user=mdettweiler [2016-10-25 09:37:30] 619*2^1443883-1 is not prime. Res64: 2A404160F2CF1E58 Time : 0.0 sec. user=mdettweiler [2016-10-25 09:37:30] 703*2^1443883-1 is not prime. Res64: 879D67F5862EE18B Time : 0.0 sec. user=mdettweiler [2016-10-25 09:45:02] 709*2^1443883-1 is not prime. Res64: FF12C97D002A3F3C Time : 0.0 sec. user=mdettweiler [2016-10-25 09:45:02] 745*2^1443883-1 is not prime. Res64: 8DC087F412614ED1 Time : 0.0 sec. user=mdettweiler [2016-10-25 09:45:02] 765*2^1443883-1 is not prime. Res64: 78FB33651255B0A3 Time : 0.0 sec. user=mdettweiler [2016-10-25 09:45:02] 793*2^1443883-1 is not prime. Res64: 2625E1E5EFF0DDAA Time : 0.0 sec. user=mdettweiler [2016-10-25 09:45:03] 805*2^1443883-1 is not prime. Res64: 315C6D8722234C06 Time : 0.0 sec. user=mdettweiler [2016-10-25 10:04:41] 885*2^1443883-1 is not prime. Res64: 70C9374528E6D4F8 Time : 0.0 sec. user=mdettweiler [2016-10-25 10:04:42] 895*2^1443883-1 is not prime. Res64: EAAB1C81CCD0738D Time : 0.0 sec. user=mdettweiler [2016-10-25 10:04:42] 901*2^1443883-1 is not prime. Res64: BC1DF20B6C8677FB Time : 0.0 sec. user=mdettweiler [2016-10-25 10:04:43] 913*2^1443883-1 is not prime. Res64: 2B1B2123F4AAD838 Time : 0.0 sec. user=mdettweiler [2016-10-25 10:04:44] 973*2^1443883-1 is not prime. Res64: 7683A0409CC2DEE5 Time : 0.0 sec. user=mdettweiler [2016-10-25 10:21:04] 837*2^1443884-1 is not prime. Res64: 8F00CEBD47374A99 Time : 0.0 sec. user=mdettweiler [2016-10-25 10:21:06] 875*2^1443884-1 is not prime. Res64: 8E1A520AF9D2F798 Time : 0.0 sec. user=mdettweiler [2016-10-25 10:21:07] 929*2^1443884-1 is not prime. Res64: 23141AEEEF3C5B6E Time : 0.0 sec. user=mdettweiler [2016-10-25 10:21:08] 721*2^1443885-1 is not prime. Res64: 0BC8ECA53AEB57F5 Time : 0.0 sec. user=mdettweiler [2016-10-25 10:21:08] 765*2^1443885-1 is not prime. Res64: FE0BC5F94D6C546F Time : 0.0 sec. user=mdettweiler [2016-10-25 10:22:03] 819*2^1443885-1 is not prime. Res64: 1D5BDFD0A54C8A9F Time : 0.0 sec. user=mdettweiler [2016-10-25 10:22:04] 885*2^1443885-1 is not prime. Res64: C8BB574BE44FA37B Time : 0.0 sec. user=mdettweiler [2016-10-25 10:22:05] 927*2^1443885-1 is not prime. Res64: A4DFF84563BE9439 Time : 0.0 sec. user=mdettweiler [2016-10-25 10:22:06] 937*2^1443885-1 is not prime. Res64: 90CF39E18A9C2629 Time : 0.0 sec. user=mdettweiler [2016-10-25 10:22:06] 949*2^1443885-1 is not prime. Res64: 235E234345635A16 Time : 0.0 sec. user=mdettweiler [2016-10-25 10:29:47] 961*2^1443885-1 is not prime. Res64: E5A0804892915129 Time : 0.0 sec. user=mdettweiler [2016-10-25 10:29:47] 617*2^1443886-1 is not prime. Res64: 18BC769108AAC52B Time : 0.0 sec. user=mdettweiler [2016-10-25 10:29:48] 645*2^1443886-1 is not prime. Res64: E8118E9CA2EAED09 Time : 0.0 sec. user=mdettweiler [2016-10-25 10:29:48] 695*2^1443886-1 is not prime. Res64: 267B2E293B3D45F3 Time : 0.0 sec. user=mdettweiler [2016-10-25 10:29:48] 843*2^1443886-1 is not prime. Res64: 43B703528E9706AC Time : 0.0 sec. user=mdettweiler [2016-10-25 10:49:35] 911*2^1443886-1 is not prime. Res64: 42C33E40B5078487 Time : 0.0 sec. user=mdettweiler [2016-10-25 10:49:35] 947*2^1443886-1 is not prime. Res64: 008DF1177CE53D41 Time : 0.0 sec. user=mdettweiler [2016-10-25 10:49:35] 661*2^1443887-1 is not prime. Res64: 601FC7E957FE4F0C Time : 0.0 sec. user=mdettweiler [2016-10-25 10:49:36] 735*2^1443887-1 is not prime. Res64: 87559C0D91434CE6 Time : 0.0 sec. user=mdettweiler [2016-10-25 10:49:36] 633*2^1443888-1 is not prime. Res64: EFFBD627D4611051 Time : 0.0 sec. user=mdettweiler [2016-10-25 11:05:51] 635*2^1443888-1 is not prime. Res64: 485FD22CC0AF3A8F Time : 0.0 sec. user=mdettweiler [2016-10-25 11:05:53] 669*2^1443888-1 is not prime. Res64: E0C2658F82415810 Time : 0.0 sec. user=mdettweiler [2016-10-25 11:05:54] 773*2^1443888-1 is not prime. Res64: F7910B666E55187D Time : 0.0 sec. user=mdettweiler [2016-10-25 11:05:55] 905*2^1443888-1 is not prime. Res64: 177FA69A3641E99C Time : 0.0 sec. user=mdettweiler [2016-10-25 11:05:56] 935*2^1443888-1 is not prime. Res64: 821E5E4FD21AC942 Time : 0.0 sec. user=mdettweiler [2016-10-25 11:06:58] 999*2^1443888-1 is not prime. Res64: DDA53707F6D27153 Time : 0.0 sec. user=mdettweiler [2016-10-25 11:06:59] 609*2^1443889-1 is not prime. Res64: BFDD7A09F7B7315D Time : 0.0 sec. user=mdettweiler [2016-10-25 11:07:00] 829*2^1443889-1 is not prime. Res64: A0841DD96D78CAAA Time : 0.0 sec. user=mdettweiler [2016-10-25 11:07:02] 919*2^1443889-1 is not prime. Res64: A54F565CBF5E7CB7 Time : 0.0 sec. user=mdettweiler [2016-10-25 11:07:04] 951*2^1443889-1 is not prime. Res64: C1E94EB0DEB0121A Time : 0.0 sec. user=mdettweiler [2016-10-25 11:14:29] 975*2^1443889-1 is not prime. Res64: 24E36B32294585AE Time : 0.0 sec. user=mdettweiler [2016-10-25 11:14:30] 645*2^1443890-1 is not prime. Res64: 9F1DC2B4CDD5F047 Time : 0.0 sec. user=mdettweiler [2016-10-25 11:14:30] 741*2^1443890-1 is not prime. Res64: 76DBE6597F332309 Time : 0.0 sec. user=mdettweiler [2016-10-25 11:14:30] 743*2^1443890-1 is not prime. Res64: 33FBBF776FE5325E Time : 0.0 sec. user=mdettweiler [2016-10-25 11:14:30] 747*2^1443890-1 is not prime. Res64: 4EC85463D2A7741D Time : 0.0 sec. user=mdettweiler [2016-10-25 11:34:10] 755*2^1443890-1 is not prime. Res64: 67259D8930E253A4 Time : 0.0 sec. user=mdettweiler [2016-10-25 11:34:11] 797*2^1443890-1 is not prime. Res64: 4E671AFC0616A942 Time : 0.0 sec. user=mdettweiler [2016-10-25 11:34:11] 941*2^1443890-1 is not prime. Res64: EEC26C6E3CF2B091 Time : 0.0 sec. user=mdettweiler [2016-10-25 11:34:11] 957*2^1443890-1 is not prime. Res64: D967CBF4A796E7C5 Time : 0.0 sec. user=mdettweiler [2016-10-25 11:34:12] 651*2^1443891-1 is not prime. Res64: 8BC3CE9FAD7788AA Time : 0.0 sec. user=mdettweiler [2016-10-25 11:50:47] 705*2^1443891-1 is not prime. Res64: 1BB252BE526E29EE Time : 0.0 sec. user=mdettweiler [2016-10-25 11:50:47] 955*2^1443891-1 is not prime. Res64: 493496CFD2BA172B Time : 0.0 sec. user=mdettweiler [2016-10-25 11:50:48] 675*2^1443892-1 is not prime. Res64: 7E96E4B6E17E0DF7 Time : 0.0 sec. user=mdettweiler [2016-10-25 11:50:48] 687*2^1443892-1 is not prime. Res64: 130905D3114E857D Time : 0.0 sec. user=mdettweiler [2016-10-25 11:50:49] 693*2^1443892-1 is not prime. Res64: DE7566FD1CA1B57D Time : 0.0 sec. user=mdettweiler [2016-10-25 11:51:50] 723*2^1443892-1 is not prime. Res64: B418368120FE8FDE Time : 0.0 sec. user=mdettweiler [2016-10-25 11:51:51] 915*2^1443892-1 is not prime. Res64: B8A8E033CD9A0EBC Time : 0.0 sec. user=mdettweiler [2016-10-25 11:51:51] 721*2^1443893-1 is not prime. Res64: 111443B73A26B6FA Time : 0.0 sec. user=mdettweiler [2016-10-25 11:51:52] 837*2^1443893-1 is not prime. Res64: F2761D48BD113091 Time : 0.0 sec. user=mdettweiler [2016-10-25 11:51:52] 937*2^1443893-1 is not prime. Res64: 9F6EFB54F2879E1C Time : 0.0 sec. user=mdettweiler [2016-10-25 11:59:18] 939*2^1443893-1 is not prime. Res64: DD8BA25FBF135753 Time : 0.0 sec. user=mdettweiler [2016-10-25 11:59:19] 955*2^1443893-1 is not prime. Res64: 4A4386803D3DD3F6 Time : 0.0 sec. user=mdettweiler [2016-10-25 11:59:19] 615*2^1443894-1 is not prime. Res64: 0AA28591A55E28D5 Time : 0.0 sec. user=mdettweiler [2016-10-25 11:59:19] 635*2^1443894-1 is not prime. Res64: 93EB71A33D50B9CC Time : 0.0 sec. user=mdettweiler [2016-10-25 11:59:19] 737*2^1443894-1 is not prime. Res64: 22F80EF9DE43BBA1 Time : 0.0 sec. user=mdettweiler [2016-10-25 12:18:52] 747*2^1443894-1 is not prime. Res64: B08407B712AB5D70 Time : 0.0 sec. user=mdettweiler [2016-10-25 12:18:52] 881*2^1443894-1 is not prime. Res64: 91CD012638985A37 Time : 0.0 sec. user=mdettweiler [2016-10-25 12:18:52] 903*2^1443894-1 is not prime. Res64: F1F4357623153AA1 Time : 0.0 sec. user=mdettweiler [2016-10-25 12:18:53] 921*2^1443894-1 is not prime. Res64: B169C75396F38F4F Time : 0.0 sec. user=mdettweiler [2016-10-25 12:18:53] 993*2^1443894-1 is not prime. Res64: F42532C9D9E2F51A Time : 0.0 sec. user=mdettweiler [2016-10-25 12:35:40] 619*2^1443895-1 is not prime. Res64: 5885DF8942DA508E Time : 0.0 sec. user=mdettweiler [2016-10-25 12:35:41] 651*2^1443895-1 is not prime. Res64: 5614A0F2B41D0010 Time : 0.0 sec. user=mdettweiler [2016-10-25 12:35:41] 763*2^1443895-1 is not prime. Res64: BB6280D23079BAA7 Time : 0.0 sec. user=mdettweiler [2016-10-25 12:35:41] 789*2^1443895-1 is not prime. Res64: 6EA389E0A875EED0 Time : 0.0 sec. user=mdettweiler [2016-10-25 12:35:41] 843*2^1443895-1 is not prime. Res64: ABF46D43442D00FC Time : 0.0 sec. user=mdettweiler [2016-10-25 12:36:34] 891*2^1443895-1 is not prime. Res64: 186FB2F90661485F Time : 0.0 sec. user=mdettweiler [2016-10-25 12:36:34] 645*2^1443896-1 is not prime. Res64: 1852FAA08D73104B Time : 0.0 sec. user=mdettweiler [2016-10-25 12:36:35] 725*2^1443896-1 is not prime. Res64: 5BECE16713841FF1 Time : 0.0 sec. user=mdettweiler [2016-10-25 12:36:35] 767*2^1443896-1 is not prime. Res64: 0AA9ABD985657913 Time : 0.0 sec. user=mdettweiler [2016-10-25 12:36:35] 855*2^1443896-1 is not prime. Res64: 4FDC4555DC26F2F3 Time : 0.0 sec. user=mdettweiler [2016-10-25 12:44:06] 935*2^1443896-1 is not prime. Res64: 6CD83E58699E82C7 Time : 0.0 sec. user=mdettweiler [2016-10-25 12:44:06] 957*2^1443896-1 is not prime. Res64: 010F2BC09598EDEB Time : 0.0 sec. user=mdettweiler [2016-10-25 12:44:07] 993*2^1443896-1 is not prime. Res64: 62FC444E2A663F82 Time : 0.0 sec. user=mdettweiler [2016-10-25 12:44:07] 649*2^1443897-1 is not prime. Res64: 21BC54E0C26937F7 Time : 0.0 sec. user=mdettweiler [2016-10-25 12:44:07] 667*2^1443897-1 is not prime. Res64: 9D0B1F4AA50B2736 Time : 0.0 sec. user=mdettweiler [2016-10-25 13:03:39] 681*2^1443897-1 is not prime. Res64: 5E20AB1CFB71B0FD Time : 0.0 sec. user=mdettweiler [2016-10-25 13:03:40] 739*2^1443897-1 is not prime. Res64: 5C8DF7A37AD52C18 Time : 0.0 sec. user=mdettweiler [2016-10-25 13:03:41] 741*2^1443897-1 is not prime. Res64: 011AF6841C540681 Time : 0.0 sec. user=mdettweiler [2016-10-25 13:03:44] 777*2^1443897-1 is not prime. Res64: 0B3BF5C181879787 Time : 0.0 sec. user=mdettweiler [2016-10-25 13:03:46] 837*2^1443897-1 is not prime. Res64: 13B8D24A579C1C89 Time : 0.0 sec. user=mdettweiler [2016-10-25 13:21:04] 915*2^1443897-1 is not prime. Res64: 6FD1A8031931C0E6 Time : 0.0 sec. user=mdettweiler [2016-10-25 13:21:04] 937*2^1443897-1 is not prime. Res64: 085B8C4E4B680CC0 Time : 0.0 sec. user=mdettweiler [2016-10-25 13:21:04] 657*2^1443898-1 is not prime. Res64: 5C77E4E92E3EB5D0 Time : 0.0 sec. user=mdettweiler [2016-10-25 13:21:04] 665*2^1443898-1 is not prime. Res64: F2C55A78F2694779 Time : 0.0 sec. user=mdettweiler [2016-10-25 13:21:05] 791*2^1443898-1 is not prime. Res64: 29CD2BCD956365E6 Time : 0.0 sec. user=mdettweiler [2016-10-25 13:21:45] 825*2^1443898-1 is not prime. Res64: 96F6A344926E4C16 Time : 0.0 sec. user=mdettweiler [2016-10-25 13:21:46] 911*2^1443898-1 is not prime. Res64: 5382BD4394655784 Time : 0.0 sec. user=mdettweiler [2016-10-25 13:21:46] 933*2^1443898-1 is not prime. Res64: 6993262E9750EC63 Time : 0.0 sec. user=mdettweiler [2016-10-25 13:21:46] 945*2^1443898-1 is not prime. Res64: 87DBD1EE89D43FEB Time : 0.0 sec. user=mdettweiler [2016-10-25 13:21:46] 995*2^1443898-1 is not prime. Res64: 9AAC5447364981F4 Time : 0.0 sec. user=mdettweiler [2016-10-25 13:29:53] 775*2^1443899-1 is not prime. Res64: EB18435F9757E60E Time : 0.0 sec. user=mdettweiler [2016-10-25 13:29:53] 819*2^1443899-1 is not prime. Res64: 1B8A790F5D47C5E8 Time : 0.0 sec. user=mdettweiler [2016-10-25 13:29:53] 825*2^1443899-1 is not prime. Res64: CAD181948EDCA82B Time : 0.0 sec. user=mdettweiler [2016-10-25 13:29:53] 855*2^1443899-1 is not prime. Res64: 4AF544F6064A9136 Time : 0.0 sec. user=mdettweiler [2016-10-25 13:29:54] 895*2^1443899-1 is not prime. Res64: 95F8C001E41DF628 Time : 0.0 sec. user=mdettweiler [2016-10-25 13:50:12] 993*2^1443899-1 is not prime. Res64: 097127490258D2A1 Time : 0.0 sec. user=mdettweiler [2016-10-25 13:50:13] 707*2^1443900-1 is not prime. Res64: FE25FA2940551849 Time : 0.0 sec. user=mdettweiler [2016-10-25 13:50:13] 765*2^1443900-1 is not prime. Res64: B8262C87E7D7BFD4 Time : 0.0 sec. user=mdettweiler [2016-10-25 13:50:13] 795*2^1443900-1 is not prime. Res64: 1073086847777B72 Time : 0.0 sec. user=mdettweiler [2016-10-25 13:50:13] 803*2^1443900-1 is not prime. Res64: 931BBE8F28DDC881 Time : 0.0 sec. user=mdettweiler [2016-10-25 14:08:24] 825*2^1443900-1 is not prime. Res64: 976A536871AABBC5 Time : 0.0 sec. user=mdettweiler [2016-10-25 14:08:25] 839*2^1443900-1 is not prime. Res64: 0F1A32D17C53DE1E Time : 0.0 sec. user=mdettweiler [2016-10-25 14:08:25] 639*2^1443901-1 is not prime. Res64: 78D0DB8B9DF828C4 Time : 0.0 sec. user=mdettweiler [2016-10-25 14:08:25] 679*2^1443901-1 is not prime. Res64: 5E822AE2F794FAE9 Time : 0.0 sec. user=mdettweiler [2016-10-25 14:08:26] 681*2^1443901-1 is not prime. Res64: 9E24482C0AF59043 Time : 0.0 sec. user=mdettweiler [2016-10-25 14:09:20] 685*2^1443901-1 is not prime. Res64: 4E7AB15E545D1CA4 Time : 0.0 sec. user=mdettweiler [2016-10-25 14:09:21] 747*2^1443901-1 is not prime. Res64: AB520F4D8C1ECC74 Time : 0.0 sec. user=mdettweiler [2016-10-25 14:09:21] 775*2^1443901-1 is not prime. Res64: 9C654CD3A569BF87 Time : 0.0 sec. user=mdettweiler [2016-10-25 14:09:21] 871*2^1443901-1 is not prime. Res64: B2C8AA61574C358E Time : 0.0 sec. user=mdettweiler [2016-10-25 14:09:21] 657*2^1443902-1 is not prime. Res64: 9E0A5455ABB4175E Time : 0.0 sec. user=mdettweiler [2016-10-25 14:21:09] 711*2^1443902-1 is not prime. Res64: B2DEB238A44772C9 Time : 0.0 sec. user=mdettweiler [2016-10-25 14:21:09] 767*2^1443902-1 is not prime. Res64: E0350C70EE0C960C Time : 0.0 sec. user=mdettweiler [2016-10-25 14:21:09] 785*2^1443902-1 is not prime. Res64: F41C15D42B0E40E0 Time : 0.0 sec. user=mdettweiler [2016-10-25 14:21:09] 825*2^1443902-1 is not prime. Res64: ED00A31F6C091F49 Time : 0.0 sec. user=mdettweiler [2016-10-25 14:21:10] 875*2^1443902-1 is not prime. Res64: 8C4624DBF4DA4AA2 Time : 0.0 sec. user=mdettweiler [2016-10-25 14:39:53] 953*2^1443902-1 is not prime. Res64: C9C1C0588AFC474D Time : 0.0 sec. user=mdettweiler [2016-10-25 14:39:53] 957*2^1443902-1 is not prime. Res64: 469CCDEAF3C0AA3D Time : 0.0 sec. user=mdettweiler [2016-10-25 14:39:53] 977*2^1443902-1 is not prime. Res64: 014FA21C9970595C Time : 0.0 sec. user=mdettweiler [2016-10-25 14:39:53] 981*2^1443902-1 is not prime. Res64: CECC90D351887094 Time : 0.0 sec. user=mdettweiler [2016-10-25 14:39:54] 609*2^1443903-1 is not prime. Res64: E33CC8D951064239 Time : 0.0 sec. user=mdettweiler [2016-10-25 14:56:01] 703*2^1443903-1 is not prime. Res64: AB0297F1DB1583B4 Time : 0.0 sec. user=mdettweiler [2016-10-25 14:56:01] 723*2^1443903-1 is not prime. Res64: 9309A12664A5A0A4 Time : 0.0 sec. user=mdettweiler [2016-10-25 14:56:02] 735*2^1443903-1 is not prime. Res64: 909EFE5CB26761DD Time : 0.0 sec. user=mdettweiler [2016-10-25 14:56:02] 741*2^1443903-1 is not prime. Res64: 9554EDB52F7F0948 Time : 0.0 sec. user=mdettweiler [2016-10-25 14:56:02] 763*2^1443903-1 is not prime. Res64: DE51B7EA6E3FF52F Time : 0.0 sec. user=mdettweiler [2016-10-25 14:57:21] 829*2^1443903-1 is not prime. Res64: 1CC72BA089EB4F85 Time : 0.0 sec. user=mdettweiler [2016-10-25 14:57:22] 961*2^1443903-1 is not prime. Res64: E931B734D8F4ED83 Time : 0.0 sec. user=mdettweiler [2016-10-25 14:57:22] 615*2^1443904-1 is not prime. Res64: 323D101ED5F30A0A Time : 0.0 sec. user=mdettweiler [2016-10-25 14:57:22] 623*2^1443904-1 is not prime. Res64: A88E0DC8D9A79560 Time : 0.0 sec. user=mdettweiler [2016-10-25 14:57:22] 677*2^1443904-1 is not prime. Res64: 1320CB4327358F18 Time : 0.0 sec. user=mdettweiler [2016-10-25 15:06:51] 747*2^1443904-1 is not prime. Res64: 97BD92408D3172A0 Time : 0.0 sec. user=mdettweiler [2016-10-25 15:06:55] 869*2^1443904-1 is not prime. Res64: B28CCB579C1AC74E Time : 0.0 sec. user=mdettweiler [2016-10-25 15:06:59] 959*2^1443904-1 is not prime. Res64: D40BA8CCA16D8555 Time : 0.0 sec. user=mdettweiler [2016-10-25 15:07:01] 983*2^1443904-1 is not prime. Res64: 8BE6D209590A39B5 Time : 0.0 sec. user=mdettweiler [2016-10-25 15:07:03] 601*2^1443905-1 is not prime. Res64: A84417A01A17F796 Time : 0.0 sec. user=mdettweiler [2016-10-25 15:24:45] 691*2^1443905-1 is not prime. Res64: E0DE2F12D4B2756B Time : 0.0 sec. user=mdettweiler [2016-10-25 15:24:45] 717*2^1443905-1 is not prime. Res64: F6A39F4AA321AD6A Time : 0.0 sec. user=mdettweiler [2016-10-25 15:24:45] 727*2^1443905-1 is not prime. Res64: E764D8E2D35AB8C5 Time : 0.0 sec. user=mdettweiler [2016-10-25 15:24:46] 741*2^1443905-1 is not prime. Res64: 67FC614D4E580E29 Time : 0.0 sec. user=mdettweiler [2016-10-25 15:24:46] 789*2^1443905-1 is not prime. Res64: 8E77EBFF28DB8D33 Time : 0.0 sec. user=mdettweiler [2016-10-25 15:40:52] 811*2^1443905-1 is not prime. Res64: 146E39C3B8586B9C Time : 0.0 sec. user=mdettweiler [2016-10-25 15:40:52] 717*2^1443906-1 is not prime. Res64: 9E6BEB054A1D1688 Time : 0.0 sec. user=mdettweiler [2016-10-25 15:40:52] 767*2^1443906-1 is not prime. Res64: EE167DE7809484EA Time : 0.0 sec. user=mdettweiler [2016-10-25 15:40:52] 821*2^1443906-1 is not prime. Res64: 18C63BBCCB02ABA5 Time : 0.0 sec. user=mdettweiler [2016-10-25 15:40:53] 993*2^1443906-1 is not prime. Res64: A13581CB022A6576 Time : 0.0 sec. user=mdettweiler [2016-10-25 15:42:11] 1001*2^1443906-1 is not prime. Res64: 27DBFDF84F434B35 Time : 0.0 sec. user=mdettweiler [2016-10-25 15:42:11] 619*2^1443907-1 is not prime. Res64: 7E00B9FD0923396A Time : 0.0 sec. user=mdettweiler [2016-10-25 15:42:11] 741*2^1443907-1 is not prime. Res64: 4EC350E59A8D3F42 Time : 0.0 sec. user=mdettweiler [2016-10-25 15:42:12] 805*2^1443907-1 is not prime. Res64: EBF783C0DDE97104 Time : 0.0 sec. user=mdettweiler [2016-10-25 15:42:12] 819*2^1443907-1 is not prime. Res64: 203E977962F73970 Time : 0.0 sec. user=mdettweiler [2016-10-25 15:52:11] 835*2^1443907-1 is not prime. Res64: 069E30325D42B91B Time : 0.0 sec. user=mdettweiler [2016-10-25 15:52:12] 873*2^1443907-1 is not prime. Res64: 56A7B552AF6C62FD Time : 0.0 sec. user=mdettweiler [2016-10-25 15:52:12] 931*2^1443907-1 is not prime. Res64: 1DCA9526D2EC734E Time : 0.0 sec. user=mdettweiler [2016-10-25 15:52:13] 635*2^1443908-1 is not prime. Res64: 0B159759E5E217CA Time : 0.0 sec. user=mdettweiler [2016-10-25 15:52:13] 647*2^1443908-1 is not prime. Res64: 4316F0DAE9BC5830 Time : 0.0 sec. user=mdettweiler [2016-10-25 16:09:36] 777*2^1443908-1 is not prime. Res64: 15DBBB320A39F0D3 Time : 0.0 sec. user=mdettweiler [2016-10-25 16:09:37] 797*2^1443908-1 is not prime. Res64: DE4850BE1087ABD9 Time : 0.0 sec. user=mdettweiler [2016-10-25 16:09:38] 855*2^1443908-1 is not prime. Res64: 8EA1C890373A5108 Time : 0.0 sec. user=mdettweiler [2016-10-25 16:09:38] 999*2^1443908-1 is not prime. Res64: 72D2FC6DB85973D0 Time : 0.0 sec. user=mdettweiler [2016-10-25 16:09:38] 669*2^1443909-1 is not prime. Res64: 1FEE3C598E9719CB Time : 0.0 sec. user=mdettweiler [2016-10-25 16:25:41] 709*2^1443909-1 is not prime. Res64: C378E8C188FBD82F Time : 0.0 sec. user=mdettweiler [2016-10-25 16:25:41] 817*2^1443909-1 is not prime. Res64: 8CAF85BF08FA6BEE Time : 0.0 sec. user=mdettweiler [2016-10-25 16:25:42] 969*2^1443909-1 is not prime. Res64: 841CA0C471FA1984 Time : 0.0 sec. user=mdettweiler [2016-10-25 16:25:42] 603*2^1443910-1 is not prime. Res64: 26BB4960D833F719 Time : 0.0 sec. user=mdettweiler [2016-10-25 16:25:43] 755*2^1443910-1 is not prime. Res64: D3C42202750C91E8 Time : 0.0 sec. user=mdettweiler [2016-10-25 16:27:00] 825*2^1443910-1 is not prime. Res64: 896C6123E4A13B24 Time : 0.0 sec. user=mdettweiler [2016-10-25 16:27:00] 855*2^1443910-1 is not prime. Res64: D2BAF3273BFF893A Time : 0.0 sec. user=mdettweiler [2016-10-25 16:27:00] 885*2^1443910-1 is not prime. Res64: 05560FD182DC9AB5 Time : 0.0 sec. user=mdettweiler [2016-10-25 16:27:00] 911*2^1443910-1 is not prime. Res64: 5648DDC1E457B7FD Time : 0.0 sec. user=mdettweiler [2016-10-25 16:27:01] 603*2^1443911-1 is not prime. Res64: 9FCEC8CE255AE2EF Time : 0.0 sec. user=mdettweiler [2016-10-25 16:36:58] 661*2^1443911-1 is not prime. Res64: 0ADEAB49AFFA1D15 Time : 0.0 sec. user=mdettweiler [2016-10-25 16:36:58] 685*2^1443911-1 is not prime. Res64: C297B70A0223C046 Time : 0.0 sec. user=mdettweiler [2016-10-25 16:36:59] 705*2^1443911-1 is not prime. Res64: C3D47C4D13E9F493 Time : 0.0 sec. user=mdettweiler [2016-10-25 16:36:59] 711*2^1443911-1 is not prime. Res64: 76EFF7F7CC673782 Time : 0.0 sec. user=mdettweiler [2016-10-25 16:36:59] 753*2^1443911-1 is not prime. Res64: 01BCC45949AF17CF Time : 0.0 sec. user=mdettweiler [2016-10-25 16:54:28] 789*2^1443911-1 is not prime. Res64: D8A27FD973E400F2 Time : 0.0 sec. user=mdettweiler [2016-10-25 16:54:28] 885*2^1443911-1 is not prime. Res64: 413E31C5DDBDB9E4 Time : 0.0 sec. user=mdettweiler [2016-10-25 16:54:28] 909*2^1443911-1 is not prime. Res64: 869310FC928E7782 Time : 0.0 sec. user=mdettweiler [2016-10-25 16:54:28] 949*2^1443911-1 is not prime. Res64: 15DF1350E984BC26 Time : 0.0 sec. user=mdettweiler [2016-10-25 16:54:28] 981*2^1443911-1 is not prime. Res64: 7091A778D664B020 Time : 0.0 sec. user=mdettweiler [2016-10-25 17:10:36] 633*2^1443912-1 is not prime. Res64: 0F3A67913F3BDCB1 Time : 0.0 sec. user=mdettweiler [2016-10-25 17:10:36] 875*2^1443912-1 is not prime. Res64: 9813FFD2894FECD4 Time : 0.0 sec. user=mdettweiler [2016-10-25 17:10:36] 983*2^1443912-1 is not prime. Res64: CE5C9DCC8CEF79CA Time : 0.0 sec. user=mdettweiler [2016-10-25 17:10:37] 607*2^1443913-1 is not prime. Res64: 1030B5FAF0181CD3 Time : 0.0 sec. user=mdettweiler [2016-10-25 17:10:37] 637*2^1443913-1 is not prime. Res64: FB6B49A8E309CF4A Time : 0.0 sec. user=mdettweiler [2016-10-25 17:11:48] 639*2^1443913-1 is not prime. Res64: 76F2025B9D845D53 Time : 0.0 sec. user=mdettweiler [2016-10-25 17:11:48] 651*2^1443913-1 is not prime. Res64: 1909E940B4531F9D Time : 0.0 sec. user=mdettweiler [2016-10-25 17:11:48] 715*2^1443913-1 is not prime. Res64: 520427155AC884CF Time : 0.0 sec. user=mdettweiler [2016-10-25 17:11:49] 771*2^1443913-1 is not prime. Res64: A293D252DE6CFBDD Time : 0.0 sec. user=mdettweiler [2016-10-25 17:11:49] 877*2^1443913-1 is not prime. Res64: 62C672737C9254B8 Time : 0.0 sec. user=mdettweiler [2016-10-25 17:21:38] 915*2^1443913-1 is not prime. Res64: 27C026E7082C50E9 Time : 0.0 sec. user=mdettweiler [2016-10-25 17:21:39] 671*2^1443914-1 is not prime. Res64: 4305E818AE91C39B Time : 0.0 sec. user=mdettweiler [2016-10-25 17:21:39] 717*2^1443914-1 is not prime. Res64: 14CEEA9493AEEC41 Time : 0.0 sec. user=mdettweiler [2016-10-25 17:21:39] 773*2^1443914-1 is not prime. Res64: 928D675540F9A98D Time : 0.0 sec. user=mdettweiler [2016-10-25 17:21:39] 783*2^1443914-1 is not prime. Res64: 321EBA646C99DBBF Time : 0.0 sec. user=mdettweiler [2016-10-25 17:39:17] 935*2^1443914-1 is not prime. Res64: E4F043C8FA3FFD92 Time : 0.0 sec. user=mdettweiler [2016-10-25 17:39:18] 649*2^1443915-1 is not prime. Res64: D8F102B5A6FBA880 Time : 0.0 sec. user=mdettweiler [2016-10-25 17:39:18] 663*2^1443915-1 is not prime. Res64: 3EB0E46A0093D618 Time : 0.0 sec. user=mdettweiler [2016-10-25 17:39:18] 751*2^1443915-1 is not prime. Res64: FF5338BE7C5240B4 Time : 0.0 sec. user=mdettweiler [2016-10-25 17:39:18] 765*2^1443915-1 is not prime. Res64: A4873F6D365ABE82 Time : 0.0 sec. user=mdettweiler [2016-10-25 17:55:20] 789*2^1443915-1 is not prime. Res64: 32C98F8B8918A7A4 Time : 0.0 sec. user=mdettweiler [2016-10-25 17:55:20] 861*2^1443915-1 is not prime. Res64: 10866685C1BEDF3D Time : 0.0 sec. user=mdettweiler [2016-10-25 17:55:21] 963*2^1443915-1 is not prime. Res64: B6174C09DDFD8904 Time : 0.0 sec. user=mdettweiler [2016-10-25 17:55:21] 615*2^1443916-1 is not prime. Res64: 605E98667F3F73AC Time : 0.0 sec. user=mdettweiler [2016-10-25 17:55:21] 675*2^1443916-1 is not prime. Res64: F7BB81E9AC90B9E2 Time : 0.0 sec. user=mdettweiler [2016-10-25 17:56:28] 719*2^1443916-1 is not prime. Res64: 1D9FCEF4A927FC5C Time : 0.0 sec. user=mdettweiler [2016-10-25 17:56:28] 803*2^1443916-1 is not prime. Res64: A29D8EF89ECDEB7D Time : 0.0 sec. user=mdettweiler [2016-10-25 17:56:29] 813*2^1443916-1 is not prime. Res64: 325FEAF0E6D3F593 Time : 0.0 sec. user=mdettweiler [2016-10-25 17:56:29] 843*2^1443916-1 is not prime. Res64: 9AC0EBB02210E267 Time : 0.0 sec. user=mdettweiler [2016-10-25 17:56:29] 873*2^1443916-1 is not prime. Res64: 69676ACF20FAEE49 Time : 0.0 sec. user=mdettweiler [2016-10-25 18:06:27] 655*2^1443599-1 is not prime. Res64: 66F6FE602532DE0A Time : 0.0 sec. user=mdettweiler [2016-10-25 18:06:28] 899*2^1443916-1 is not prime. Res64: 3BBB8CB971A8631E Time : 0.0 sec. user=mdettweiler [2016-10-25 18:06:29] 905*2^1443916-1 is not prime. Res64: 022FA10914612719 Time : 0.0 sec. user=mdettweiler [2016-10-25 18:06:30] 741*2^1443917-1 is not prime. Res64: 93DD664740F6997D Time : 0.0 sec. user=mdettweiler [2016-10-25 18:06:31] 867*2^1443917-1 is not prime. Res64: 34DEE684F3E57F3F Time : 0.0 sec. user=mdettweiler [2016-10-25 18:25:19] 885*2^1443917-1 is not prime. Res64: 2D116FFD586E13DA Time : 0.0 sec. user=mdettweiler [2016-10-25 18:25:19] 605*2^1443918-1 is not prime. Res64: AA9D76D12AFC0D6C Time : 0.0 sec. user=mdettweiler [2016-10-25 18:25:19] 657*2^1443918-1 is not prime. Res64: DCE56B778657BC6C Time : 0.0 sec. user=mdettweiler [2016-10-25 18:25:19] 761*2^1443918-1 is not prime. Res64: D9981AF2CEEDE1D8 Time : 0.0 sec. user=mdettweiler [2016-10-25 18:25:20] 765*2^1443918-1 is not prime. Res64: F1E1893BFC8B6829 Time : 0.0 sec. user=mdettweiler [2016-10-25 18:42:26] 887*2^1443918-1 is not prime. Res64: 832FE182027120CB Time : 0.0 sec. user=mdettweiler [2016-10-25 18:42:26] 893*2^1443918-1 is not prime. Res64: 06FBEA04B3E7C5EB Time : 0.0 sec. user=mdettweiler [2016-10-25 18:42:26] 601*2^1443919-1 is not prime. Res64: 38B6BDCB2496FB0B Time : 0.0 sec. user=mdettweiler [2016-10-25 18:42:27] 615*2^1443919-1 is not prime. Res64: 2DB9D43E029B1A67 Time : 0.0 sec. user=mdettweiler [2016-10-25 18:42:27] 663*2^1443919-1 is not prime. Res64: 63F066050BD6C3EF Time : 0.0 sec. user=mdettweiler [2016-10-25 18:44:01] 679*2^1443919-1 is not prime. Res64: C0C55B57A93B3128 Time : 0.0 sec. user=mdettweiler [2016-10-25 18:44:01] 741*2^1443919-1 is not prime. Res64: 95C4E5E2F8D77C90 Time : 0.0 sec. user=mdettweiler [2016-10-25 18:44:02] 763*2^1443919-1 is not prime. Res64: 049B31DDF16A3877 Time : 0.0 sec. user=mdettweiler [2016-10-25 18:44:02] 813*2^1443919-1 is not prime. Res64: B813B583C097F7F0 Time : 0.0 sec. user=mdettweiler [2016-10-25 18:44:03] 885*2^1443919-1 is not prime. Res64: F929A85103044B89 Time : 0.0 sec. user=mdettweiler [2016-10-25 18:54:49] 909*2^1443919-1 is not prime. Res64: CB5B8DE4CAACD192 Time : 0.0 sec. user=mdettweiler [2016-10-25 18:54:49] 743*2^1443920-1 is not prime. Res64: BCA83856DBEB0BB6 Time : 0.0 sec. user=mdettweiler [2016-10-25 18:54:49] 797*2^1443920-1 is not prime. Res64: 7D97633D8787B109 Time : 0.0 sec. user=mdettweiler [2016-10-25 18:54:50] 857*2^1443920-1 is not prime. Res64: 118DFD639D0990EF Time : 0.0 sec. user=mdettweiler [2016-10-25 18:54:50] 875*2^1443920-1 is not prime. Res64: DD5C654D68C3DA96 Time : 0.0 sec. user=mdettweiler [2016-10-25 19:13:44] 879*2^1443920-1 is not prime. Res64: 2C5E96793E6BE9F6 Time : 0.0 sec. user=mdettweiler [2016-10-25 19:13:45] 999*2^1443920-1 is not prime. Res64: 4518A987EFD3AACF Time : 0.0 sec. user=mdettweiler [2016-10-25 19:13:45] 609*2^1443921-1 is not prime. Res64: 78BD09C7CEB616A3 Time : 0.0 sec. user=mdettweiler [2016-10-25 19:13:46] 751*2^1443921-1 is not prime. Res64: CFC84EA79C2DB211 Time : 0.0 sec. user=mdettweiler [2016-10-25 19:13:46] 835*2^1443921-1 is not prime. Res64: 4C8A279B6BA7DA5A Time : 0.0 sec. user=mdettweiler [2016-10-25 19:32:09] 861*2^1443921-1 is not prime. Res64: E30C418AD9520562 Time : 0.0 sec. user=mdettweiler [2016-10-25 19:32:09] 955*2^1443921-1 is not prime. Res64: B6142AD9D596078C Time : 0.0 sec. user=mdettweiler [2016-10-25 19:32:09] 999*2^1443921-1 is not prime. Res64: 4F5280CAA15335D7 Time : 0.0 sec. user=mdettweiler [2016-10-25 19:32:10] 671*2^1443922-1 is not prime. Res64: 03406275CC6164E4 Time : 0.0 sec. user=mdettweiler [2016-10-25 19:32:10] 717*2^1443922-1 is not prime. Res64: 4E4039F694296BF6 Time : 0.0 sec. user=mdettweiler [2016-10-25 19:33:57] 843*2^1443922-1 is not prime. Res64: 29E2473DCEDB6C99 Time : 0.0 sec. user=mdettweiler [2016-10-25 19:33:58] 951*2^1443922-1 is not prime. Res64: FF0954B6717F1C4F Time : 0.0 sec. user=mdettweiler [2016-10-25 19:33:58] 987*2^1443922-1 is not prime. Res64: 819248FB550E84AA Time : 0.0 sec. user=mdettweiler [2016-10-25 19:33:58] 649*2^1443923-1 is not prime. Res64: DBE234E79D2659F4 Time : 0.0 sec. user=mdettweiler [2016-10-25 19:33:58] 753*2^1443923-1 is not prime. Res64: A20E234DB725983F Time : 0.0 sec. user=mdettweiler [2016-10-25 19:44:50] 771*2^1443923-1 is not prime. Res64: BA9AD5CC84C73638 Time : 0.0 sec. user=mdettweiler [2016-10-25 19:44:51] 945*2^1443923-1 is not prime. Res64: CE3E9B7439E7D319 Time : 0.0 sec. user=mdettweiler [2016-10-25 19:44:51] 949*2^1443923-1 is not prime. Res64: C4A0A693790B12A1 Time : 0.0 sec. user=mdettweiler [2016-10-25 19:44:51] 955*2^1443923-1 is not prime. Res64: 694FCE7A3BD90D3D Time : 0.0 sec. user=mdettweiler [2016-10-25 19:44:51] 991*2^1443923-1 is not prime. Res64: 06502DB71569DCBF Time : 0.0 sec. user=mdettweiler [2016-10-25 20:03:55] 657*2^1443924-1 is not prime. Res64: EEB5E3C1741A5EE1 Time : 0.0 sec. user=mdettweiler [2016-10-25 20:03:56] 693*2^1443924-1 is not prime. Res64: 19404F935F81D700 Time : 0.0 sec. user=mdettweiler [2016-10-25 20:03:57] 707*2^1443924-1 is not prime. Res64: 0A8E5E07C6F42946 Time : 0.0 sec. user=mdettweiler [2016-10-25 20:03:58] 699*2^1443925-1 is not prime. Res64: AF37AAC878218669 Time : 0.0 sec. user=mdettweiler [2016-10-25 20:03:58] 727*2^1443925-1 is not prime. Res64: A51A8637F9C0B640 Time : 0.0 sec. user=mdettweiler [2016-10-25 20:20:11] 765*2^1443925-1 is not prime. Res64: 40DAF4BC4D0CFA3D Time : 0.0 sec. user=mdettweiler [2016-10-25 20:20:16] 847*2^1443925-1 is not prime. Res64: 36A94802D89A0DA4 Time : 0.0 sec. user=mdettweiler [2016-10-25 20:20:19] 849*2^1443925-1 is not prime. Res64: F5863EEA1ECC3550 Time : 0.0 sec. user=mdettweiler [2016-10-25 20:20:20] 897*2^1443925-1 is not prime. Res64: 5C3599D3E33F89A8 Time : 0.0 sec. user=mdettweiler [2016-10-25 20:20:22] 957*2^1443925-1 is not prime. Res64: B7B8A2233CAA3388 Time : 0.0 sec. user=mdettweiler [2016-10-25 20:22:01] 975*2^1443925-1 is not prime. Res64: E1B47CF0953C14D0 Time : 0.0 sec. user=mdettweiler [2016-10-25 20:22:04] 985*2^1443925-1 is not prime. Res64: AFE01AECE0023766 Time : 0.0 sec. user=mdettweiler [2016-10-25 20:22:05] 617*2^1443926-1 is not prime. Res64: FE2C966C1E116BD3 Time : 0.0 sec. user=mdettweiler [2016-10-25 20:22:05] 671*2^1443926-1 is not prime. Res64: 3B055DE6E9674526 Time : 0.0 sec. user=mdettweiler [2016-10-25 20:22:07] 683*2^1443926-1 is not prime. Res64: E1D776ECD71F4C64 Time : 0.0 sec. user=mdettweiler [2016-10-25 20:31:42] 741*2^1443926-1 is not prime. Res64: FCB8AA3C7BCEBF02 Time : 0.0 sec. user=mdettweiler [2016-10-25 20:31:42] 747*2^1443926-1 is not prime. Res64: 19AF532B374EDC60 Time : 0.0 sec. user=mdettweiler [2016-10-25 20:31:43] 833*2^1443926-1 is not prime. Res64: 33D19AE24CEF5362 Time : 0.0 sec. user=mdettweiler [2016-10-25 20:31:43] 873*2^1443926-1 is not prime. Res64: 44D7583C10440177 Time : 0.0 sec. user=mdettweiler [2016-10-25 20:31:43] 887*2^1443926-1 is not prime. Res64: 74000D39A2A2BF8C Time : 0.0 sec. user=mdettweiler [2016-10-25 20:49:27] 911*2^1443926-1 is not prime. Res64: AA191C2B9FD5FFA6 Time : 0.0 sec. user=mdettweiler [2016-10-25 20:49:28] 621*2^1443927-1 is not prime. Res64: BA277BBEE7EDA437 Time : 0.0 sec. user=mdettweiler [2016-10-25 20:49:28] 895*2^1443927-1 is not prime. Res64: 5E79E92FFC6B8B53 Time : 0.0 sec. user=mdettweiler [2016-10-25 20:49:29] 901*2^1443927-1 is not prime. Res64: 336E7404FD7F9601 Time : 0.0 sec. user=mdettweiler [2016-10-25 20:49:29] 623*2^1443928-1 is not prime. Res64: 44F43670E5B06A96 Time : 0.0 sec. user=mdettweiler [2016-10-25 21:06:16] 707*2^1443928-1 is not prime. Res64: 8C9E82B9ECC167DC Time : 0.0 sec. user=mdettweiler [2016-10-25 21:06:17] 773*2^1443928-1 is not prime. Res64: 854B3DB709404BAD Time : 0.0 sec. user=mdettweiler [2016-10-25 21:06:18] 797*2^1443928-1 is not prime. Res64: D5200D4B4F0BAF46 Time : 0.0 sec. user=mdettweiler [2016-10-25 21:06:19] 845*2^1443928-1 is not prime. Res64: A865C4E37244821A Time : 0.0 sec. user=mdettweiler [2016-10-25 21:06:20] 927*2^1443928-1 is not prime. Res64: DD4D69898EBFBBEA Time : 0.0 sec. user=mdettweiler [2016-10-25 21:07:22] 619*2^1443929-1 is not prime. Res64: 7B2D04FE27F211F6 Time : 0.0 sec. user=mdettweiler [2016-10-25 21:07:25] 627*2^1443929-1 is not prime. Res64: 3BF5332E1F996CA9 Time : 0.0 sec. user=mdettweiler [2016-10-25 21:07:26] 697*2^1443929-1 is not prime. Res64: 24B85DAC72BAC39C Time : 0.0 sec. user=mdettweiler [2016-10-25 21:07:27] 745*2^1443929-1 is not prime. Res64: E3C0B0581A05F18F Time : 0.0 sec. user=mdettweiler [2016-10-25 21:07:29] 769*2^1443929-1 is not prime. Res64: 3237A0C3F8F3140F Time : 0.0 sec. user=mdettweiler [2016-10-25 21:16:55] 861*2^1443929-1 is not prime. Res64: E09905CE2448D78E Time : 0.0 sec. user=mdettweiler [2016-10-25 21:16:55] 865*2^1443929-1 is not prime. Res64: EB126A1C729946CF Time : 0.0 sec. user=mdettweiler [2016-10-25 21:16:55] 909*2^1443929-1 is not prime. Res64: 58D0FD4B2289E7E4 Time : 0.0 sec. user=mdettweiler [2016-10-25 21:16:55] 945*2^1443929-1 is not prime. Res64: 51F7BF2C02C17CCE Time : 0.0 sec. user=mdettweiler [2016-10-25 21:16:56] 627*2^1443930-1 is not prime. Res64: A8F46ED1EF757670 Time : 0.0 sec. user=mdettweiler [2016-10-25 21:34:53] 707*2^1443930-1 is not prime. Res64: 3090B001532543C8 Time : 0.0 sec. user=mdettweiler [2016-10-25 21:34:53] 603*2^1443931-1 is not prime. Res64: F8112EAE0B7BB8D9 Time : 0.0 sec. user=mdettweiler [2016-10-25 21:34:54] 631*2^1443931-1 is not prime. Res64: AF45725AB70E821E Time : 0.0 sec. user=mdettweiler [2016-10-25 21:34:54] 663*2^1443931-1 is not prime. Res64: 7E06BD511D51FF72 Time : 0.0 sec. user=mdettweiler [2016-10-25 21:34:54] 715*2^1443931-1 is not prime. Res64: B57B56448F23C581 Time : 0.0 sec. user=mdettweiler [2016-10-25 21:51:18] 861*2^1443931-1 is not prime. Res64: 8FB038120A663AFD Time : 0.0 sec. user=mdettweiler [2016-10-25 21:51:19] 871*2^1443931-1 is not prime. Res64: F5D691CE18C23B20 Time : 0.0 sec. user=mdettweiler [2016-10-25 21:51:19] 925*2^1443931-1 is not prime. Res64: F08840337399F442 Time : 0.0 sec. user=mdettweiler [2016-10-25 21:51:20] 669*2^1443932-1 is not prime. Res64: 66CA385FE77E4878 Time : 0.0 sec. user=mdettweiler [2016-10-25 21:51:21] 675*2^1443932-1 is not prime. Res64: A267A6FC969BA17E Time : 0.0 sec. user=mdettweiler [2016-10-25 21:52:19] 749*2^1443932-1 is not prime. Res64: CFB8D1AF84325312 Time : 0.0 sec. user=mdettweiler [2016-10-25 21:52:20] 903*2^1443932-1 is not prime. Res64: 8DDE3677236AFAEC Time : 0.0 sec. user=mdettweiler [2016-10-25 21:52:20] 909*2^1443932-1 is not prime. Res64: BA410FFC7351D1F0 Time : 0.0 sec. user=mdettweiler [2016-10-25 21:52:20] 915*2^1443932-1 is not prime. Res64: 7AEA929ACF0AB2F9 Time : 0.0 sec. user=mdettweiler [2016-10-25 21:52:21] 963*2^1443932-1 is not prime. Res64: 9E488C7F794682B6 Time : 0.0 sec. user=mdettweiler [2016-10-25 22:01:48] 669*2^1443933-1 is not prime. Res64: 5662FD27D2818C09 Time : 0.0 sec. user=mdettweiler [2016-10-25 22:01:49] 805*2^1443933-1 is not prime. Res64: 0454A62242B0E546 Time : 0.0 sec. user=mdettweiler [2016-10-25 22:01:50] 891*2^1443933-1 is not prime. Res64: 89A5337580C69690 Time : 0.0 sec. user=mdettweiler [2016-10-25 22:01:51] 985*2^1443933-1 is not prime. Res64: 725630B5AD198801 Time : 0.0 sec. user=mdettweiler [2016-10-25 22:01:52] 605*2^1443934-1 is not prime. Res64: FC1B79527D6CE5DF Time : 0.0 sec. user=mdettweiler [2016-10-25 22:19:35] 611*2^1443934-1 is not prime. Res64: 6F0A3FE54D6602F2 Time : 0.0 sec. user=mdettweiler [2016-10-25 22:19:35] 695*2^1443934-1 is not prime. Res64: 1D7564275F3D383C Time : 0.0 sec. user=mdettweiler [2016-10-25 22:19:36] 723*2^1443934-1 is not prime. Res64: 19E5074D8F6572B6 Time : 0.0 sec. user=mdettweiler [2016-10-25 22:19:36] 765*2^1443934-1 is not prime. Res64: FF239B7B9185EA01 Time : 0.0 sec. user=mdettweiler [2016-10-25 22:19:36] 783*2^1443934-1 is not prime. Res64: D25BDF6E0E5F9504 Time : 0.0 sec. user=mdettweiler [2016-10-25 22:36:05] 897*2^1443934-1 is not prime. Res64: 60DEAFD018EDDF55 Time : 0.0 sec. user=mdettweiler [2016-10-25 22:36:05] 917*2^1443934-1 is not prime. Res64: 059776E22B6795F8 Time : 0.0 sec. user=mdettweiler [2016-10-25 22:36:06] 945*2^1443934-1 is not prime. Res64: 03614311F7E56416 Time : 0.0 sec. user=mdettweiler [2016-10-25 22:36:06] 983*2^1443934-1 is not prime. Res64: 6F181E0FEC62BB86 Time : 0.0 sec. user=mdettweiler [2016-10-25 22:36:06] 685*2^1443935-1 is not prime. Res64: 395EC59FD3F8464A Time : 0.0 sec. user=mdettweiler [2016-10-25 22:36:58] 841*2^1443935-1 is not prime. Res64: 68B8F020599B1C66 Time : 0.0 sec. user=mdettweiler [2016-10-25 22:36:58] 883*2^1443935-1 is not prime. Res64: 2DF872673CE4223F Time : 0.0 sec. user=mdettweiler [2016-10-25 22:36:58] 949*2^1443935-1 is not prime. Res64: B16806A65F349C6C Time : 0.0 sec. user=mdettweiler [2016-10-25 22:36:59] 689*2^1443936-1 is not prime. Res64: 5BECA9D40E0E75A8 Time : 0.0 sec. user=mdettweiler [2016-10-25 22:36:59] 693*2^1443936-1 is not prime. Res64: 12805BEC41D4EB71 Time : 0.0 sec. user=mdettweiler [2016-10-25 22:46:28] 789*2^1443936-1 is not prime. Res64: 6D028C562128CC0F Time : 0.0 sec. user=mdettweiler [2016-10-25 22:46:29] 845*2^1443936-1 is not prime. Res64: 8A8D2F6FDDFEF4A7 Time : 0.0 sec. user=mdettweiler [2016-10-25 22:46:29] 879*2^1443936-1 is not prime. Res64: C92DCC54005E3486 Time : 0.0 sec. user=mdettweiler [2016-10-25 22:46:29] 905*2^1443936-1 is not prime. Res64: 1D03DB18D1A8AAC7 Time : 0.0 sec. user=mdettweiler [2016-10-25 22:46:29] 969*2^1443936-1 is not prime. Res64: DF8C1DAD70C8B219 Time : 0.0 sec. user=mdettweiler [2016-10-25 23:04:18] 999*2^1443936-1 is not prime. Res64: 6B7904DD09780445 Time : 0.0 sec. user=mdettweiler [2016-10-25 23:04:21] 607*2^1443937-1 is not prime. Res64: ACC42C11A41932FE Time : 0.0 sec. user=mdettweiler [2016-10-25 23:04:23] 649*2^1443937-1 is not prime. Res64: 9B31A08F0A456A17 Time : 0.0 sec. user=mdettweiler [2016-10-25 23:04:25] 661*2^1443937-1 is not prime. Res64: DE400F2FE2D75262 Time : 0.0 sec. user=mdettweiler [2016-10-25 23:04:26] 667*2^1443937-1 is not prime. Res64: 571C539CD3CC802F Time : 0.0 sec. user=mdettweiler [2016-10-25 23:20:41] 771*2^1443937-1 is not prime. Res64: 57F0C24D1F0EE36D Time : 0.0 sec. user=mdettweiler [2016-10-25 23:20:42] 937*2^1443937-1 is not prime. Res64: EC9720C5E5E52955 Time : 0.0 sec. user=mdettweiler [2016-10-25 23:20:42] 753*2^1443938-1 is not prime. Res64: 8687F89646958943 Time : 0.0 sec. user=mdettweiler [2016-10-25 23:20:42] 791*2^1443938-1 is not prime. Res64: 7282E715E7CC5314 Time : 0.0 sec. user=mdettweiler [2016-10-25 23:20:43] 993*2^1443938-1 is not prime. Res64: E2187262A0F8BBF1 Time : 0.0 sec. user=mdettweiler [2016-10-25 23:21:32] 609*2^1443939-1 is not prime. Res64: 3DDE6B0B8635E7A0 Time : 0.0 sec. user=mdettweiler [2016-10-25 23:21:32] 639*2^1443939-1 is not prime. Res64: 4FF205A122D2448A Time : 0.0 sec. user=mdettweiler [2016-10-25 23:21:32] 913*2^1443939-1 is not prime. Res64: 32BABC01B1AF2795 Time : 0.0 sec. user=mdettweiler [2016-10-25 23:21:33] 919*2^1443939-1 is not prime. Res64: D1759571AC5947F7 Time : 0.0 sec. user=mdettweiler [2016-10-25 23:21:33] 887*2^1443940-1 is not prime. Res64: 940397E9892A960D Time : 0.0 sec. user=mdettweiler [2016-10-25 23:31:13] 933*2^1443940-1 is not prime. Res64: 0FD83F1DF5706BFD Time : 0.0 sec. user=mdettweiler [2016-10-25 23:31:13] 957*2^1443940-1 is not prime. Res64: 9CB22564F9259779 Time : 0.0 sec. user=mdettweiler [2016-10-25 23:31:13] 645*2^1443941-1 is not prime. Res64: 03019E61A6100DDF Time : 0.0 sec. user=mdettweiler [2016-10-25 23:31:14] 871*2^1443941-1 is not prime. Res64: 5224B2A19BC5A626 Time : 0.0 sec. user=mdettweiler [2016-10-25 23:31:14] 955*2^1443941-1 is not prime. Res64: 96DFE9B7E8FDE0EE Time : 0.0 sec. user=mdettweiler [2016-10-25 23:50:03] 981*2^1443941-1 is not prime. Res64: 3FA9A69DF84B8FEC Time : 0.0 sec. user=mdettweiler [2016-10-25 23:50:04] 991*2^1443941-1 is not prime. Res64: 8061BE15611DA084 Time : 0.0 sec. user=mdettweiler [2016-10-25 23:50:04] 621*2^1443942-1 is not prime. Res64: 71DFC368E7F79B89 Time : 0.0 sec. user=mdettweiler [2016-10-25 23:50:04] 711*2^1443942-1 is not prime. Res64: 5D19838BF15BDA00 Time : 0.0 sec. user=mdettweiler [2016-10-25 23:50:05] 725*2^1443942-1 is not prime. Res64: DED57AADDE278747 Time : 0.0 sec.