user=mdettweiler [2015-07-09 00:08:03] 813*2^1402528-1 is not prime. Res64: 9433A17BB951509A Time : 0.0 sec. user=mdettweiler [2015-07-09 00:08:04] 905*2^1402528-1 is not prime. Res64: 82AF40D42231A4EF Time : 0.0 sec. user=mdettweiler [2015-07-09 00:17:55] 657*2^1402529-1 is not prime. Res64: 2365E4C9B0699CA3 Time : 0.0 sec. user=mdettweiler [2015-07-09 00:17:56] 675*2^1402529-1 is not prime. Res64: 29F0E0A7E721B0A5 Time : 0.0 sec. user=mdettweiler [2015-07-09 00:18:00] 909*2^1402528-1 is not prime. Res64: 4DC4DCB51B5C4373 Time : 0.0 sec. user=mdettweiler [2015-07-09 00:18:01] 999*2^1402528-1 is not prime. Res64: 126065A46027C5CC Time : 0.0 sec. user=mdettweiler [2015-07-09 00:25:38] 787*2^1402529-1 is not prime. Res64: 1B76588CFF0040B9 Time : 0.0 sec. user=mdettweiler [2015-07-09 00:25:38] 861*2^1402529-1 is not prime. Res64: 2AF99C1052A4CE1E Time : 0.0 sec. user=mdettweiler [2015-07-09 00:35:21] 909*2^1402529-1 is not prime. Res64: 5AD43678E959FD6E Time : 0.0 sec. user=mdettweiler [2015-07-09 00:35:22] 611*2^1402530-1 is not prime. Res64: E8CFACCA3A63EAA9 Time : 0.0 sec. user=mdettweiler [2015-07-09 00:35:23] 803*2^1402530-1 is not prime. Res64: 66DC518C3DD78B6D Time : 0.0 sec. user=mdettweiler [2015-07-09 00:35:23] 927*2^1402530-1 is not prime. Res64: 40F3FB296933B636 Time : 0.0 sec. user=mdettweiler [2015-07-09 00:42:59] 663*2^1402531-1 is not prime. Res64: 9A63BE578CCEA278 Time : 0.0 sec. user=mdettweiler [2015-07-09 00:42:59] 673*2^1402531-1 is not prime. Res64: 4AAB403422CA90BD Time : 0.0 sec. user=mdettweiler [2015-07-09 00:52:46] 849*2^1402531-1 is not prime. Res64: 2BD9E2CCB2905B5F Time : 0.0 sec. user=mdettweiler [2015-07-09 00:52:46] 741*2^1402531-1 is not prime. Res64: 6532F012A9683B21 Time : 0.0 sec. user=mdettweiler [2015-07-09 00:52:46] 819*2^1402531-1 is not prime. Res64: 118520B39857C245 Time : 0.0 sec. user=mdettweiler [2015-07-09 00:52:46] 873*2^1402531-1 is not prime. Res64: B07C1D815CB142DB Time : 0.0 sec. user=mdettweiler [2015-07-09 01:00:22] 925*2^1402531-1 is not prime. Res64: D1A7F36358F6B577 Time : 0.0 sec. user=mdettweiler [2015-07-09 01:00:23] 969*2^1402531-1 is not prime. Res64: A193A6B2717C8514 Time : 0.0 sec. user=mdettweiler [2015-07-09 01:10:08] 617*2^1402532-1 is not prime. Res64: A700EDEDFFB65CFB Time : 0.0 sec. user=mdettweiler [2015-07-09 01:10:08] 629*2^1402532-1 is not prime. Res64: 0E33C3E71522173F Time : 0.0 sec. user=mdettweiler [2015-07-09 01:10:11] 687*2^1402532-1 is not prime. Res64: 1034695EE46AAE7E Time : 0.0 sec. user=mdettweiler [2015-07-09 01:10:11] 833*2^1402532-1 is not prime. Res64: FBC3194457608CC7 Time : 0.0 sec. user=mdettweiler [2015-07-09 01:17:51] 879*2^1402532-1 is not prime. Res64: DF676B83864C0BF6 Time : 0.0 sec. user=mdettweiler [2015-07-09 01:17:51] 727*2^1402533-1 is not prime. Res64: EC8E05AF053B7F03 Time : 0.0 sec. user=mdettweiler [2015-07-09 01:27:31] 867*2^1402533-1 is not prime. Res64: 681D9620D75FF8D7 Time : 0.0 sec. user=mdettweiler [2015-07-09 01:27:32] 999*2^1402533-1 is not prime. Res64: 5D246F69EA887C62 Time : 0.0 sec. user=mdettweiler [2015-07-09 01:27:38] 623*2^1402534-1 is not prime. Res64: B147B1797FF3CEB6 Time : 0.0 sec. user=mdettweiler [2015-07-09 01:27:39] 657*2^1402534-1 is not prime. Res64: 588DB10B7F00FB4B Time : 0.0 sec. user=mdettweiler [2015-07-09 01:35:12] 741*2^1402534-1 is not prime. Res64: 16F9043CCE8AE0D6 Time : 0.0 sec. user=mdettweiler [2015-07-09 01:35:13] 747*2^1402534-1 is not prime. Res64: 646457F839D246C0 Time : 0.0 sec. user=mdettweiler [2015-07-09 01:45:12] 791*2^1402534-1 is not prime. Res64: 743473DB3E444A11 Time : 0.0 sec. user=mdettweiler [2015-07-09 01:45:12] 885*2^1402534-1 is not prime. Res64: 2515DC72A528CB33 Time : 0.0 sec. user=mdettweiler [2015-07-09 01:45:14] 897*2^1402534-1 is not prime. Res64: 80D95D88F5A1FA89 Time : 0.0 sec. user=mdettweiler [2015-07-09 01:45:15] 951*2^1402534-1 is not prime. Res64: 4FAFCBB6E69CE57E Time : 0.0 sec. user=mdettweiler [2015-07-09 01:52:39] 655*2^1402535-1 is not prime. Res64: ACE40E42428F4F9D Time : 0.0 sec. user=mdettweiler [2015-07-09 01:52:39] 825*2^1402535-1 is not prime. Res64: 8C75823FEDC6A076 Time : 0.0 sec. user=mdettweiler [2015-07-09 02:02:37] 843*2^1402535-1 is not prime. Res64: 316F10FCB377961E Time : 0.0 sec. user=mdettweiler [2015-07-09 02:02:37] 973*2^1402535-1 is not prime. Res64: D03F1B1341CCFB38 Time : 0.0 sec. user=mdettweiler [2015-07-09 02:02:38] 981*2^1402535-1 is not prime. Res64: B8E789018DC33832 Time : 0.0 sec. user=mdettweiler [2015-07-09 02:02:39] 861*2^1402535-1 is not prime. Res64: 4C52525FEAFDB45A Time : 0.0 sec. user=mdettweiler [2015-07-09 02:10:02] 633*2^1402536-1 is not prime. Res64: 2670581BA0E9D7E3 Time : 0.0 sec. user=mdettweiler [2015-07-09 02:10:02] 683*2^1402536-1 is not prime. Res64: EC58B2B29430B615 Time : 0.0 sec. user=mdettweiler [2015-07-09 02:20:23] 689*2^1402536-1 is not prime. Res64: 43E037743ACF10FE Time : 0.0 sec. user=mdettweiler [2015-07-09 02:20:24] 825*2^1402536-1 is not prime. Res64: 1AE3110EC1DA24E3 Time : 0.0 sec. user=mdettweiler [2015-07-09 02:20:25] 873*2^1402536-1 is not prime. Res64: DF7C60CB2BE5FB3D Time : 0.0 sec. user=mdettweiler [2015-07-09 02:20:25] 875*2^1402536-1 is not prime. Res64: A6857B6575D9F54D Time : 0.0 sec. user=mdettweiler [2015-07-09 02:27:27] 933*2^1402536-1 is not prime. Res64: 2E1B375DFE465550 Time : 0.0 sec. user=mdettweiler [2015-07-09 02:27:27] 639*2^1402537-1 is not prime. Res64: 9C51CCBB8BDCA560 Time : 0.0 sec. user=mdettweiler [2015-07-09 02:37:47] 645*2^1402537-1 is not prime. Res64: 716E14A75BAABD45 Time : 0.0 sec. user=mdettweiler [2015-07-09 02:37:47] 729*2^1402537-1 is not prime. Res64: E48ED431E6414BCD Time : 0.0 sec. user=mdettweiler [2015-07-09 02:37:48] 765*2^1402537-1 is not prime. Res64: CB860A8F3784191C Time : 0.0 sec. user=mdettweiler [2015-07-09 02:37:48] 775*2^1402537-1 is not prime. Res64: 3BB402E5FD7B125D Time : 0.0 sec. user=mdettweiler [2015-07-09 02:44:59] 829*2^1402537-1 is not prime. Res64: 2CD0D053CF1319DB Time : 0.0 sec. user=mdettweiler [2015-07-09 02:45:00] 937*2^1402537-1 is not prime. Res64: 872328C34CD85002 Time : 0.0 sec. user=mdettweiler [2015-07-09 02:55:18] 945*2^1402537-1 is not prime. Res64: A24FD1E274974585 Time : 0.0 sec. user=mdettweiler [2015-07-09 02:55:19] 997*2^1402537-1 is not prime. Res64: DF505AA8D2F0F633 Time : 0.0 sec. user=mdettweiler [2015-07-09 02:55:19] 657*2^1402538-1 is not prime. Res64: 54C883B1A1C031BE Time : 0.0 sec. user=mdettweiler [2015-07-09 02:55:20] 743*2^1402538-1 is not prime. Res64: C86BB874C1BD794C Time : 0.0 sec. user=S_K_ [2015-07-09 02:58:06] 861*2^1402533-1 is not prime. Res64: 803691E1E16385D1 Time : 0.0 sec. user=mdettweiler [2015-07-09 03:02:23] 767*2^1402538-1 is not prime. Res64: C6D1DAE61155AD27 Time : 0.0 sec. user=mdettweiler [2015-07-09 03:02:24] 831*2^1402538-1 is not prime. Res64: 8BAE9C28EB9D83B3 Time : 0.0 sec. user=mdettweiler [2015-07-09 03:12:42] 875*2^1402538-1 is not prime. Res64: 22C58AE40AF926F6 Time : 0.0 sec. user=mdettweiler [2015-07-09 03:12:42] 921*2^1402538-1 is not prime. Res64: E357F4DD43254392 Time : 0.0 sec. user=mdettweiler [2015-07-09 03:12:43] 923*2^1402538-1 is not prime. Res64: 27FA9E9918FA06AA Time : 0.0 sec. user=mdettweiler [2015-07-09 03:12:44] 633*2^1402539-1 is not prime. Res64: A982644C87C9C503 Time : 0.0 sec. user=mdettweiler [2015-07-09 03:19:57] 703*2^1402539-1 is not prime. Res64: 565057CD81E43E75 Time : 0.0 sec. user=mdettweiler [2015-07-09 03:19:58] 735*2^1402539-1 is not prime. Res64: 144D543E7BE89778 Time : 0.0 sec. user=mdettweiler [2015-07-09 03:30:09] 829*2^1402539-1 is not prime. Res64: 4FE0977548A377C9 Time : 0.0 sec. user=mdettweiler [2015-07-09 03:30:14] 913*2^1402539-1 is not prime. Res64: D95ECB9C659A6EC5 Time : 0.0 sec. user=mdettweiler [2015-07-09 03:30:19] 931*2^1402539-1 is not prime. Res64: BC7FCB5F84E221D1 Time : 0.0 sec. user=mdettweiler [2015-07-09 03:30:22] 635*2^1402540-1 is not prime. Res64: 0B76DA5A019E7AE4 Time : 0.0 sec. user=mdettweiler [2015-07-09 03:37:22] 803*2^1402540-1 is not prime. Res64: 939C6A3B3A5F14D9 Time : 0.0 sec. user=mdettweiler [2015-07-09 03:37:23] 833*2^1402540-1 is not prime. Res64: 9BC4A6D024BC6C9E Time : 0.0 sec. user=mdettweiler [2015-07-09 03:48:10] 899*2^1402540-1 is not prime. Res64: 69EE5EF4E7B2BDFC Time : 0.0 sec. user=mdettweiler [2015-07-09 03:48:11] 989*2^1402540-1 is not prime. Res64: 3E03034EA44DF2C4 Time : 0.0 sec. user=mdettweiler [2015-07-09 03:48:14] 811*2^1402541-1 is not prime. Res64: D92204DF92A3983F Time : 0.0 sec. user=mdettweiler [2015-07-09 03:48:15] 611*2^1402542-1 is not prime. Res64: BBB578F72058DD15 Time : 0.0 sec. user=mdettweiler [2015-07-09 03:55:00] 635*2^1402542-1 is not prime. Res64: 2A2E189C8A656470 Time : 0.0 sec. user=mdettweiler [2015-07-09 03:55:00] 657*2^1402542-1 is not prime. Res64: BD5D485CC5A04686 Time : 0.0 sec. user=mdettweiler [2015-07-09 04:05:49] 747*2^1402542-1 is not prime. Res64: F126B37BCF6E8CA8 Time : 0.0 sec. user=mdettweiler [2015-07-09 04:05:49] 791*2^1402542-1 is not prime. Res64: 3E904E3BBD7E7DCF Time : 0.0 sec. user=mdettweiler [2015-07-09 04:05:50] 755*2^1402542-1 is not prime. Res64: 716E02FBD3AF7335 Time : 0.0 sec. user=mdettweiler [2015-07-09 04:05:50] 801*2^1402542-1 is not prime. Res64: DB1739514BA0C4F8 Time : 0.0 sec. user=mdettweiler [2015-07-09 04:12:21] 843*2^1402542-1 is not prime. Res64: 1083E268CE34621C Time : 0.0 sec. user=mdettweiler [2015-07-09 04:12:22] 917*2^1402542-1 is not prime. Res64: B6BF0563E347526E Time : 0.0 sec. user=mdettweiler [2015-07-09 04:23:27] 941*2^1402542-1 is not prime. Res64: 48CFF4D8F0A8E73E Time : 0.0 sec. user=mdettweiler [2015-07-09 04:23:27] 709*2^1402543-1 is not prime. Res64: 2E26197C54CD03F9 Time : 0.0 sec. user=mdettweiler [2015-07-09 04:23:27] 649*2^1402543-1 is not prime. Res64: 0879FB84465DA57C Time : 0.0 sec. user=mdettweiler [2015-07-09 04:23:27] 723*2^1402543-1 is not prime. Res64: 6D6D6FC262BCC4CC Time : 0.0 sec. user=mdettweiler [2015-07-09 04:29:43] 793*2^1402543-1 is not prime. Res64: F51409E0D2F7B68D Time : 0.0 sec. user=mdettweiler [2015-07-09 04:29:43] 831*2^1402543-1 is not prime. Res64: 9DE376DCFAA6E932 Time : 0.0 sec. user=mdettweiler [2015-07-09 04:40:49] 889*2^1402543-1 is not prime. Res64: DC4C0A1ECFC04B38 Time : 0.0 sec. user=mdettweiler [2015-07-09 04:40:49] 855*2^1402543-1 is not prime. Res64: B054D67C286C1567 Time : 0.0 sec. user=mdettweiler [2015-07-09 04:40:49] 915*2^1402543-1 is not prime. Res64: DB8860BE969B1D1C Time : 0.0 sec. user=mdettweiler [2015-07-09 04:40:49] 861*2^1402543-1 is not prime. Res64: 290CAB3E8FB7D699 Time : 0.0 sec. user=mdettweiler [2015-07-09 04:47:05] 919*2^1402543-1 is not prime. Res64: 72AA63EC23DB44C3 Time : 0.0 sec. user=mdettweiler [2015-07-09 04:47:05] 973*2^1402543-1 is not prime. Res64: 8D59701FFD10724A Time : 0.0 sec. user=mdettweiler [2015-07-09 04:58:11] 789*2^1402544-1 is not prime. Res64: BEBAD69C1B1F4087 Time : 0.0 sec. user=mdettweiler [2015-07-09 04:58:12] 929*2^1402544-1 is not prime. Res64: 8133D905B4D66E7C Time : 0.0 sec. user=mdettweiler [2015-07-09 04:58:13] 617*2^1402544-1 is not prime. Res64: 41B1B1F0C28E41FB Time : 0.0 sec. user=mdettweiler [2015-07-09 04:58:13] 729*2^1402544-1 is not prime. Res64: 447430352A30CB13 Time : 0.0 sec. user=mdettweiler [2015-07-09 05:04:26] 935*2^1402544-1 is not prime. Res64: 143F607E2E4B04D0 Time : 0.0 sec. user=mdettweiler [2015-07-09 05:04:28] 741*2^1402545-1 is not prime. Res64: DF35B1B007F42F52 Time : 0.0 sec. user=mdettweiler [2015-07-09 05:15:34] 651*2^1402546-1 is not prime. Res64: 80F2232BB0899E4D Time : 0.0 sec. user=mdettweiler [2015-07-09 05:15:35] 723*2^1402546-1 is not prime. Res64: D83190191A29E5A0 Time : 0.0 sec. user=mdettweiler [2015-07-09 05:15:36] 759*2^1402545-1 is not prime. Res64: 6719C4753EA6D19E Time : 0.0 sec. user=mdettweiler [2015-07-09 05:15:37] 635*2^1402546-1 is not prime. Res64: 8E94D4DDDCE7D345 Time : 0.0 sec. user=mdettweiler [2015-07-09 05:22:05] 737*2^1402546-1 is not prime. Res64: 3293EFB38E767244 Time : 0.0 sec. user=mdettweiler [2015-07-09 05:22:05] 777*2^1402546-1 is not prime. Res64: 0D89EA3206F24711 Time : 0.0 sec. user=mdettweiler [2015-07-09 05:32:59] 933*2^1402546-1 is not prime. Res64: 3372DAF0454B3126 Time : 0.0 sec. user=mdettweiler [2015-07-09 05:32:59] 813*2^1402546-1 is not prime. Res64: B79F23750FB3A004 Time : 0.0 sec. user=mdettweiler [2015-07-09 05:32:59] 945*2^1402546-1 is not prime. Res64: 0368445F1C5B7B0E Time : 0.0 sec. user=mdettweiler [2015-07-09 05:32:59] 917*2^1402546-1 is not prime. Res64: 09C609CC11F90FAB Time : 0.0 sec. user=mdettweiler [2015-07-09 05:39:29] 813*2^1402547-1 is not prime. Res64: 09CAE36E4DF1A630 Time : 0.0 sec. user=mdettweiler [2015-07-09 05:39:30] 883*2^1402547-1 is not prime. Res64: 18D46E8B2E4A0598 Time : 0.0 sec. user=mdettweiler [2015-07-09 05:50:20] 985*2^1402547-1 is not prime. Res64: DC3BA50FE00A8C57 Time : 0.0 sec. user=mdettweiler [2015-07-09 05:50:20] 993*2^1402547-1 is not prime. Res64: 433508AAF28600C3 Time : 0.0 sec. user=mdettweiler [2015-07-09 05:50:20] 885*2^1402547-1 is not prime. Res64: E16B1ACF15CA9BD2 Time : 0.0 sec. user=mdettweiler [2015-07-09 05:50:21] 955*2^1402547-1 is not prime. Res64: A3E37B8D32F44E30 Time : 0.0 sec. user=mdettweiler [2015-07-09 05:56:50] 633*2^1402548-1 is not prime. Res64: 291F68DB7BF35E41 Time : 0.0 sec. user=mdettweiler [2015-07-09 05:56:51] 707*2^1402548-1 is not prime. Res64: DC2456402B9A3173 Time : 0.0 sec. user=mdettweiler [2015-07-09 06:07:42] 737*2^1402548-1 is not prime. Res64: 0DFF4CE17FC685B5 Time : 0.0 sec. user=mdettweiler [2015-07-09 06:07:43] 621*2^1402549-1 is not prime. Res64: 9A1687EDAAF966DD Time : 0.0 sec. user=mdettweiler [2015-07-09 06:07:43] 945*2^1402548-1 is not prime. Res64: 82D404070C79E99F Time : 0.0 sec. user=mdettweiler [2015-07-09 06:07:43] 675*2^1402549-1 is not prime. Res64: 1344999E3D2A08D1 Time : 0.0 sec. user=mdettweiler [2015-07-09 06:14:12] 691*2^1402549-1 is not prime. Res64: D4C148D22964CB53 Time : 0.0 sec. user=mdettweiler [2015-07-09 06:14:12] 603*2^1402550-1 is not prime. Res64: A5E740D6888BEC11 Time : 0.0 sec. user=mdettweiler [2015-07-09 06:25:08] 875*2^1402550-1 is not prime. Res64: 602F9E4B7C0FBDE1 Time : 0.0 sec. user=mdettweiler [2015-07-09 06:25:08] 911*2^1402550-1 is not prime. Res64: 2E40CFC51717BD10 Time : 0.0 sec. user=mdettweiler [2015-07-09 06:25:08] 789*2^1402551-1 is not prime. Res64: 3F26D70589673F9B Time : 0.0 sec. user=mdettweiler [2015-07-09 06:25:09] 795*2^1402551-1 is not prime. Res64: 4AB4ED7D1D936C05 Time : 0.0 sec. user=mdettweiler [2015-07-09 06:31:33] 865*2^1402551-1 is not prime. Res64: 627A35C85D67F310 Time : 0.0 sec. user=mdettweiler [2015-07-09 06:31:33] 885*2^1402551-1 is not prime. Res64: F5CC5B68062F7D1B Time : 0.0 sec. user=mdettweiler [2015-07-09 06:42:31] 951*2^1402551-1 is not prime. Res64: 9717DDE3B1CC6AFD Time : 0.0 sec. user=mdettweiler [2015-07-09 06:42:31] 615*2^1402552-1 is not prime. Res64: E55BABEBFFF0D8C4 Time : 0.0 sec. user=mdettweiler [2015-07-09 06:42:31] 961*2^1402551-1 is not prime. Res64: 251C1EB468393BD9 Time : 0.0 sec. user=mdettweiler [2015-07-09 06:42:31] 635*2^1402552-1 is not prime. Res64: B15E9B96DC4D528B Time : 0.0 sec. user=mdettweiler [2015-07-09 06:48:54] 677*2^1402552-1 is not prime. Res64: F6CBBB729B795B97 Time : 0.0 sec. user=mdettweiler [2015-07-09 06:48:54] 713*2^1402552-1 is not prime. Res64: DB07038B8716DC7B Time : 0.0 sec. user=mdettweiler [2015-07-09 06:59:53] 875*2^1402552-1 is not prime. Res64: 53C86F9256A452AD Time : 0.0 sec. user=mdettweiler [2015-07-09 06:59:53] 983*2^1402552-1 is not prime. Res64: C0E62F16CC7CE564 Time : 0.0 sec. user=mdettweiler [2015-07-09 06:59:54] 825*2^1402552-1 is not prime. Res64: 8342A6C5A1601B01 Time : 0.0 sec. user=mdettweiler [2015-07-09 06:59:55] 849*2^1402552-1 is not prime. Res64: AAD38DED3AE1324A Time : 0.0 sec. user=mdettweiler [2015-07-09 07:06:16] 621*2^1402554-1 is not prime. Res64: 80FA29A995743F39 Time : 0.0 sec. user=mdettweiler [2015-07-09 07:06:18] 677*2^1402554-1 is not prime. Res64: CAFB52FF281F0D9E Time : 0.0 sec. user=mdettweiler [2015-07-09 07:17:14] 725*2^1402554-1 is not prime. Res64: 5F844BE878954753 Time : 0.0 sec. user=mdettweiler [2015-07-09 07:17:14] 905*2^1402554-1 is not prime. Res64: 00F5D36AAD3C1E1B Time : 0.0 sec. user=mdettweiler [2015-07-09 07:17:14] 1001*2^1402554-1 is not prime. Res64: D610FDD8E9FE59D4 Time : 0.0 sec. user=mdettweiler [2015-07-09 07:17:15] 639*2^1402555-1 is not prime. Res64: 3C75FD0BB6AFDC9E Time : 0.0 sec. user=mdettweiler [2015-07-09 07:23:53] 649*2^1402555-1 is not prime. Res64: A65005A8A2B906B2 Time : 0.0 sec. user=mdettweiler [2015-07-09 07:23:54] 789*2^1402555-1 is not prime. Res64: 3D1EE3B3CC131379 Time : 0.0 sec. user=mdettweiler [2015-07-09 07:34:37] 951*2^1402555-1 is not prime. Res64: 3E459F6579D2C7D5 Time : 0.0 sec. user=mdettweiler [2015-07-09 07:34:37] 843*2^1402555-1 is not prime. Res64: BFC61709E314C0C9 Time : 0.0 sec. user=mdettweiler [2015-07-09 07:34:37] 773*2^1402556-1 is not prime. Res64: 162342BF7452FB38 Time : 0.0 sec. user=mdettweiler [2015-07-09 07:34:37] 861*2^1402555-1 is not prime. Res64: 0EBBBFDDB0C6C53B Time : 0.0 sec. user=mdettweiler [2015-07-09 07:41:17] 623*2^1402558-1 is not prime. Res64: 941DFC0B8ED14290 Time : 0.0 sec. user=mdettweiler [2015-07-09 07:41:17] 731*2^1402558-1 is not prime. Res64: B6718E534D640525 Time : 0.0 sec. user=mdettweiler [2015-07-09 07:51:59] 693*2^1402559-1 is not prime. Res64: BBE5B257395A7D10 Time : 0.0 sec. user=mdettweiler [2015-07-09 07:51:59] 957*2^1402558-1 is not prime. Res64: CA36838DFF648354 Time : 0.0 sec. user=mdettweiler [2015-07-09 07:52:00] 735*2^1402559-1 is not prime. Res64: 1578308D437154FD Time : 0.0 sec. user=mdettweiler [2015-07-09 07:52:00] 663*2^1402559-1 is not prime. Res64: 346429FA35191C5C Time : 0.0 sec. user=mdettweiler [2015-07-09 07:58:39] 741*2^1402559-1 is not prime. Res64: E8529054FBE18824 Time : 0.0 sec. user=mdettweiler [2015-07-09 07:58:39] 753*2^1402559-1 is not prime. Res64: D7CEED7417DCD7D9 Time : 0.0 sec. user=mdettweiler [2015-07-09 08:09:21] 813*2^1402559-1 is not prime. Res64: E2691590CB7C5A19 Time : 0.0 sec. user=mdettweiler [2015-07-09 08:09:21] 969*2^1402559-1 is not prime. Res64: 2AD6AAB1056669BF Time : 0.0 sec. user=mdettweiler [2015-07-09 08:09:22] 883*2^1402559-1 is not prime. Res64: A7A9320AD7475432 Time : 0.0 sec. user=mdettweiler [2015-07-09 08:09:22] 985*2^1402559-1 is not prime. Res64: 83240B6C8FC366CE Time : 0.0 sec. user=mdettweiler [2015-07-09 08:16:01] 991*2^1402559-1 is not prime. Res64: F1666C756FE0D11C Time : 0.0 sec. user=mdettweiler [2015-07-09 08:16:01] 693*2^1402560-1 is not prime. Res64: BDA325DF2321129A Time : 0.0 sec. user=mdettweiler [2015-07-09 08:26:46] 695*2^1402560-1 is not prime. Res64: 74FDBC6F580A5E78 Time : 0.0 sec. user=mdettweiler [2015-07-09 08:26:47] 789*2^1402560-1 is not prime. Res64: B5A1EEBFF367F389 Time : 0.0 sec. user=mdettweiler [2015-07-09 08:26:48] 795*2^1402560-1 is not prime. Res64: 8546097C265AB073 Time : 0.0 sec. user=mdettweiler [2015-07-09 08:26:48] 857*2^1402560-1 is not prime. Res64: 058B320582522B87 Time : 0.0 sec. user=mdettweiler [2015-07-09 08:33:23] 909*2^1402560-1 is not prime. Res64: 86EFFD508B7C6551 Time : 0.0 sec. user=mdettweiler [2015-07-09 08:33:23] 917*2^1402560-1 is not prime. Res64: 1659BD9E945F0028 Time : 0.0 sec. user=mdettweiler [2015-07-09 08:44:07] 927*2^1402560-1 is not prime. Res64: 6A31794C0E7C2D0C Time : 0.0 sec. user=mdettweiler [2015-07-09 08:44:07] 999*2^1402560-1 is not prime. Res64: 44EB2AFFED082E63 Time : 0.0 sec. user=mdettweiler [2015-07-09 08:44:09] 625*2^1402561-1 is not prime. Res64: 620C317A360EB1ED Time : 0.0 sec. user=mdettweiler [2015-07-09 08:44:09] 747*2^1402561-1 is not prime. Res64: 17A66125BF511CBA Time : 0.0 sec. user=mdettweiler [2015-07-09 08:50:45] 771*2^1402561-1 is not prime. Res64: CD78DD192481F02B Time : 0.0 sec. user=mdettweiler [2015-07-09 08:50:45] 829*2^1402561-1 is not prime. Res64: 8A433FCCF2720D1E Time : 0.0 sec. user=mdettweiler [2015-07-09 09:01:30] 867*2^1402561-1 is not prime. Res64: 6E0C4E0868FC9842 Time : 0.0 sec. user=mdettweiler [2015-07-09 09:01:31] 925*2^1402561-1 is not prime. Res64: 2B6EABA464AB0CB7 Time : 0.0 sec. user=mdettweiler [2015-07-09 09:01:31] 937*2^1402561-1 is not prime. Res64: 53D8576098465EAC Time : 0.0 sec. user=mdettweiler [2015-07-09 09:01:32] 999*2^1402561-1 is not prime. Res64: F0D75C3054909E40 Time : 0.0 sec. user=mdettweiler [2015-07-09 09:08:08] 633*2^1402562-1 is not prime. Res64: 943D5D6D6B53F797 Time : 0.0 sec. user=mdettweiler [2015-07-09 09:08:08] 663*2^1402563-1 is not prime. Res64: 6582B067E4D1A283 Time : 0.0 sec. user=mdettweiler [2015-07-09 09:19:12] 781*2^1402563-1 is not prime. Res64: DEF7B97E01DECD84 Time : 0.0 sec. user=mdettweiler [2015-07-09 09:19:12] 793*2^1402563-1 is not prime. Res64: DF7AD8DD530B6B87 Time : 0.0 sec. user=mdettweiler [2015-07-09 09:19:13] 801*2^1402563-1 is not prime. Res64: CF57EA96E3F4ACF0 Time : 0.0 sec. user=mdettweiler [2015-07-09 09:19:13] 871*2^1402563-1 is not prime. Res64: EC6C7B7FAF6D5A8D Time : 0.0 sec. user=mdettweiler [2015-07-09 09:25:30] 921*2^1402563-1 is not prime. Res64: CE860269D9989CD9 Time : 0.0 sec. user=mdettweiler [2015-07-09 09:25:30] 905*2^1402564-1 is not prime. Res64: E03C1950B8D30880 Time : 0.0 sec. user=mdettweiler [2015-07-09 09:36:37] 965*2^1402564-1 is not prime. Res64: BD0320D82C411840 Time : 0.0 sec. user=mdettweiler [2015-07-09 09:36:38] 711*2^1402565-1 is not prime. Res64: 5155D6423C527D49 Time : 0.0 sec. user=mdettweiler [2015-07-09 09:36:38] 927*2^1402565-1 is not prime. Res64: 78FF21400A068D4E Time : 0.0 sec. user=mdettweiler [2015-07-09 09:36:38] 955*2^1402565-1 is not prime. Res64: CEA206EC0E640FE1 Time : 0.0 sec. user=mdettweiler [2015-07-09 09:42:53] 957*2^1402565-1 is not prime. Res64: 3FB05058BA7C76F0 Time : 0.0 sec. user=mdettweiler [2015-07-09 09:42:53] 717*2^1402566-1 is not prime. Res64: B6880DC4B5479255 Time : 0.0 sec. user=mdettweiler [2015-07-09 09:54:01] 1001*2^1402566-1 is not prime. Res64: 641DA6BE04725305 Time : 0.0 sec. user=mdettweiler [2015-07-09 09:54:02] 729*2^1402567-1 is not prime. Res64: 1D6D93DF10B54F59 Time : 0.0 sec. user=mdettweiler [2015-07-09 09:54:03] 807*2^1402566-1 is not prime. Res64: E281BDC8785EDDA7 Time : 0.0 sec. user=mdettweiler [2015-07-09 09:54:03] 833*2^1402566-1 is not prime. Res64: 457B31CDAC8C6882 Time : 0.0 sec. user=mdettweiler [2015-07-09 10:00:15] 873*2^1402567-1 is not prime. Res64: C25FCA0385D635CE Time : 0.0 sec. user=mdettweiler [2015-07-09 10:00:15] 915*2^1402567-1 is not prime. Res64: 08ACF083320FFEE4 Time : 0.0 sec. user=mdettweiler [2015-07-09 10:11:28] 931*2^1402567-1 is not prime. Res64: 58FF54933FBA1704 Time : 0.0 sec. user=mdettweiler [2015-07-09 10:11:29] 979*2^1402567-1 is not prime. Res64: 715A6054BE147844 Time : 0.0 sec. user=mdettweiler [2015-07-09 10:11:29] 993*2^1402567-1 is not prime. Res64: 3E3A81ACC10EF7C5 Time : 0.0 sec. user=mdettweiler [2015-07-09 10:11:30] 623*2^1402568-1 is not prime. Res64: 5DB908EF6F4E7410 Time : 0.0 sec. user=S_K_ [2015-07-09 10:13:26] 709*2^1402563-1 is not prime. Res64: 5B97161C93016147 Time : 0.0 sec. user=mdettweiler [2015-07-09 10:17:43] 665*2^1402568-1 is not prime. Res64: 020FEC3321E46D0F Time : 0.0 sec. user=mdettweiler [2015-07-09 10:17:43] 677*2^1402568-1 is not prime. Res64: 1AEEB31AFB8CF013 Time : 0.0 sec. user=mdettweiler [2015-07-09 10:28:56] 789*2^1402569-1 is not prime. Res64: 4AFA58B408D6D479 Time : 0.0 sec. user=mdettweiler [2015-07-09 10:28:57] 817*2^1402569-1 is not prime. Res64: 89446AA245917281 Time : 0.0 sec. user=mdettweiler [2015-07-09 10:28:58] 727*2^1402569-1 is not prime. Res64: 31D1A6A8F563AA25 Time : 0.0 sec. user=mdettweiler [2015-07-09 10:28:58] 781*2^1402569-1 is not prime. Res64: 57DDFE0E1829B832 Time : 0.0 sec. user=mdettweiler [2015-07-09 10:35:09] 975*2^1402569-1 is not prime. Res64: B67BBF791E99536F Time : 0.0 sec. user=mdettweiler [2015-07-09 10:35:09] 979*2^1402569-1 is not prime. Res64: 9DE81DF6CA685EF1 Time : 0.0 sec. user=mdettweiler [2015-07-09 10:46:23] 991*2^1402569-1 is not prime. Res64: A752C76CDF487989 Time : 0.0 sec. user=mdettweiler [2015-07-09 10:46:23] 997*2^1402569-1 is not prime. Res64: B9D5D4C4EAC97DC9 Time : 0.0 sec. user=mdettweiler [2015-07-09 10:46:25] 665*2^1402570-1 is not prime. Res64: 046C0D769FCDE412 Time : 0.0 sec. user=mdettweiler [2015-07-09 10:46:26] 773*2^1402570-1 is not prime. Res64: 8DB541E8AECF2AE5 Time : 0.0 sec. user=mdettweiler [2015-07-09 10:52:39] 917*2^1402570-1 is not prime. Res64: B36F65A32E78D37A Time : 0.0 sec. user=mdettweiler [2015-07-09 10:52:39] 957*2^1402570-1 is not prime. Res64: BEEBA14C70C15A86 Time : 0.0 sec. user=mdettweiler [2015-07-09 11:04:12] 615*2^1402571-1 is not prime. Res64: 25FF6E675C279EA9 Time : 0.0 sec. user=mdettweiler [2015-07-09 11:04:13] 909*2^1402571-1 is not prime. Res64: C439965048620081 Time : 0.0 sec. user=mdettweiler [2015-07-09 11:04:14] 879*2^1402571-1 is not prime. Res64: 9005A95D6F98B155 Time : 0.0 sec. user=mdettweiler [2015-07-09 11:04:14] 913*2^1402571-1 is not prime. Res64: A436C15308156D2C Time : 0.0 sec. user=mdettweiler [2015-07-09 11:11:06] 693*2^1402572-1 is not prime. Res64: 6583E5697751DA2C Time : 0.0 sec. user=mdettweiler [2015-07-09 11:11:07] 737*2^1402572-1 is not prime. Res64: BB8F94E75F2A247E Time : 0.0 sec. user=mdettweiler [2015-07-09 11:24:07] 777*2^1402572-1 is not prime. Res64: A0D524D091C48909 Time : 0.0 sec. user=mdettweiler [2015-07-09 11:24:07] 749*2^1402572-1 is not prime. Res64: 309348ED9C25E9F2 Time : 0.0 sec. user=mdettweiler [2015-07-09 11:24:07] 797*2^1402572-1 is not prime. Res64: AC2FCB01D6E5F94B Time : 0.0 sec. user=mdettweiler [2015-07-09 11:24:07] 753*2^1402572-1 is not prime. Res64: 8D26442D4707757E Time : 0.0 sec. user=mdettweiler [2015-07-09 11:30:14] 803*2^1402572-1 is not prime. Res64: CD35B36FC1B78089 Time : 0.0 sec. user=mdettweiler [2015-07-09 11:30:14] 903*2^1402572-1 is not prime. Res64: 033AC9B12D8AE384 Time : 0.0 sec. user=mdettweiler [2015-07-09 11:43:01] 679*2^1402573-1 is not prime. Res64: 0F7786E5E90BB4F1 Time : 0.0 sec. user=mdettweiler [2015-07-09 11:43:01] 687*2^1402573-1 is not prime. Res64: 99CF8C982C913217 Time : 0.0 sec. user=mdettweiler [2015-07-09 11:43:06] 909*2^1402572-1 is not prime. Res64: 5179DAA6CF5CB2F9 Time : 0.0 sec. user=mdettweiler [2015-07-09 11:43:06] 959*2^1402572-1 is not prime. Res64: 9A1B8457D4A8B196 Time : 0.0 sec. user=mdettweiler [2015-07-09 11:49:01] 741*2^1402573-1 is not prime. Res64: 160073502843FD65 Time : 0.0 sec. user=mdettweiler [2015-07-09 11:49:01] 769*2^1402573-1 is not prime. Res64: 135A39041C091522 Time : 0.0 sec. user=mdettweiler [2015-07-09 12:01:13] 861*2^1402573-1 is not prime. Res64: 118E715444584D1B Time : 0.0 sec. user=mdettweiler [2015-07-09 12:01:13] 937*2^1402573-1 is not prime. Res64: D19245DFB61B71CE Time : 0.0 sec. user=mdettweiler [2015-07-09 12:01:18] 635*2^1402574-1 is not prime. Res64: 720402468DD6EFD6 Time : 0.0 sec. user=mdettweiler [2015-07-09 12:01:19] 663*2^1402574-1 is not prime. Res64: F3189B1A2119995E Time : 0.0 sec. user=mdettweiler [2015-07-09 12:07:01] 705*2^1402574-1 is not prime. Res64: E48F905D59B6C724 Time : 0.0 sec. user=mdettweiler [2015-07-09 12:07:01] 707*2^1402574-1 is not prime. Res64: 6D64E88B0AB03EA2 Time : 0.0 sec. user=mdettweiler [2015-07-09 12:19:17] 921*2^1402574-1 is not prime. Res64: 088D15115DAE1672 Time : 0.0 sec. user=mdettweiler [2015-07-09 12:19:17] 643*2^1402575-1 is not prime. Res64: 507813D17C026A8C Time : 0.0 sec. user=mdettweiler [2015-07-09 12:19:20] 741*2^1402574-1 is not prime. Res64: CD325A449B4E7D31 Time : 0.0 sec. user=mdettweiler [2015-07-09 12:19:21] 915*2^1402574-1 is not prime. Res64: 6DF02125AE012207 Time : 0.0 sec. user=mdettweiler [2015-07-09 12:24:45] 651*2^1402575-1 is not prime. Res64: 848B78389F8639BC Time : 0.0 sec. user=mdettweiler [2015-07-09 12:24:45] 691*2^1402575-1 is not prime. Res64: B2B6EEB9C5D411D5 Time : 0.0 sec. user=mdettweiler [2015-07-09 12:36:40] 921*2^1402575-1 is not prime. Res64: F9CEC86F203BE36C Time : 0.0 sec. user=mdettweiler [2015-07-09 12:36:40] 933*2^1402575-1 is not prime. Res64: C9C76142BBC6748A Time : 0.0 sec. user=mdettweiler [2015-07-09 12:36:42] 645*2^1402576-1 is not prime. Res64: DADEE876BD56F1AD Time : 0.0 sec. user=mdettweiler [2015-07-09 12:36:42] 675*2^1402576-1 is not prime. Res64: 2F2BC09328033F72 Time : 0.0 sec. user=mdettweiler [2015-07-09 12:42:06] 873*2^1402576-1 is not prime. Res64: 9FA60016760C46BC Time : 0.0 sec. user=mdettweiler [2015-07-09 12:42:07] 903*2^1402576-1 is not prime. Res64: 43479225186B67A8 Time : 0.0 sec. user=mdettweiler [2015-07-09 12:54:02] 939*2^1402576-1 is not prime. Res64: 7800DC2881B49864 Time : 0.0 sec. user=mdettweiler [2015-07-09 12:54:02] 631*2^1402577-1 is not prime. Res64: 807028E75C1B886D Time : 0.0 sec. user=mdettweiler [2015-07-09 12:54:03] 831*2^1402577-1 is not prime. Res64: FBB6D8C836770193 Time : 0.0 sec. user=mdettweiler [2015-07-09 12:54:03] 931*2^1402577-1 is not prime. Res64: 92A5A73ABC2CAC6C Time : 0.0 sec. user=mdettweiler [2015-07-09 12:59:30] 981*2^1402577-1 is not prime. Res64: E2FFC5D83F332BA4 Time : 0.0 sec. user=mdettweiler [2015-07-09 12:59:31] 985*2^1402577-1 is not prime. Res64: 98386AC615700869 Time : 0.0 sec. user=mdettweiler [2015-07-09 13:11:27] 671*2^1402578-1 is not prime. Res64: 1438DB566D2AD701 Time : 0.0 sec. user=mdettweiler [2015-07-09 13:11:27] 681*2^1402578-1 is not prime. Res64: 65AB73A81A2E8F9C Time : 0.0 sec. user=mdettweiler [2015-07-09 13:11:29] 711*2^1402578-1 is not prime. Res64: 5C24ED156E542059 Time : 0.0 sec. user=mdettweiler [2015-07-09 13:11:30] 735*2^1402578-1 is not prime. Res64: 655B6C108A7939BD Time : 0.0 sec. user=mdettweiler [2015-07-09 13:16:56] 833*2^1402578-1 is not prime. Res64: 02A7A784AB7739E2 Time : 0.0 sec. user=mdettweiler [2015-07-09 13:16:57] 603*2^1402579-1 is not prime. Res64: 8AA2D5618A7C9528 Time : 0.0 sec. user=mdettweiler [2015-07-09 13:28:59] 691*2^1402579-1 is not prime. Res64: 7B813D466FE06209 Time : 0.0 sec. user=mdettweiler [2015-07-09 13:29:00] 609*2^1402579-1 is not prime. Res64: DD6440AAD3231293 Time : 0.0 sec. user=mdettweiler [2015-07-09 13:29:00] 769*2^1402579-1 is not prime. Res64: C7DCD56E38657E0B Time : 0.0 sec. user=mdettweiler [2015-07-09 13:29:00] 685*2^1402579-1 is not prime. Res64: AEC8DA2BA2B273AA Time : 0.0 sec. user=mdettweiler [2015-07-09 13:34:24] 813*2^1402579-1 is not prime. Res64: D91C2EAA4736DF2A Time : 0.0 sec. user=mdettweiler [2015-07-09 13:34:25] 859*2^1402579-1 is not prime. Res64: 6EA77CFDF2D02BA0 Time : 0.0 sec. user=mdettweiler [2015-07-09 13:46:28] 951*2^1402579-1 is not prime. Res64: 84B9A42DC958FDED Time : 0.0 sec. user=mdettweiler [2015-07-09 13:46:29] 891*2^1402579-1 is not prime. Res64: 90B3478B3D00B834 Time : 0.0 sec. user=mdettweiler [2015-07-09 13:46:29] 961*2^1402579-1 is not prime. Res64: 82AC57DED047E2C5 Time : 0.0 sec. user=mdettweiler [2015-07-09 13:46:29] 895*2^1402579-1 is not prime. Res64: B9374067A7F1C34C Time : 0.0 sec. user=mdettweiler [2015-07-09 13:51:49] 665*2^1402580-1 is not prime. Res64: 1DCC84205DBC9504 Time : 0.0 sec. user=mdettweiler [2015-07-09 13:51:50] 699*2^1402580-1 is not prime. Res64: 7878A12158B10BB3 Time : 0.0 sec. user=S_K_ [2015-07-09 14:00:46] 663*2^1402578-1 is not prime. Res64: 758D32C215F65596 Time : 0.0 sec. user=mdettweiler [2015-07-09 14:03:51] 707*2^1402580-1 is not prime. Res64: B833451999CF7AA6 Time : 0.0 sec. user=mdettweiler [2015-07-09 14:03:52] 935*2^1402580-1 is not prime. Res64: 362503B4DA11C6E6 Time : 0.0 sec. user=mdettweiler [2015-07-09 14:03:53] 819*2^1402580-1 is not prime. Res64: A6BA0314DA6B8611 Time : 0.0 sec. user=mdettweiler [2015-07-09 14:03:54] 983*2^1402580-1 is not prime. Res64: EB648716C1E8AA5B Time : 0.0 sec. user=mdettweiler [2015-07-09 14:09:11] 607*2^1402581-1 is not prime. Res64: 051901897BE3F044 Time : 0.0 sec. user=mdettweiler [2015-07-09 14:09:12] 847*2^1402581-1 is not prime. Res64: 40E80F62EC424C08 Time : 0.0 sec. user=mdettweiler [2015-07-09 14:21:41] 859*2^1402581-1 is not prime. Res64: DDC6C9AAB9FCEA02 Time : 0.0 sec. user=mdettweiler [2015-07-09 14:21:41] 961*2^1402581-1 is not prime. Res64: D4F3DC095CF59619 Time : 0.0 sec. user=mdettweiler [2015-07-09 14:21:43] 991*2^1402581-1 is not prime. Res64: 9711311F9F2C9EB6 Time : 0.0 sec. user=mdettweiler [2015-07-09 14:21:44] 997*2^1402581-1 is not prime. Res64: 56F2FC2204F56387 Time : 0.0 sec. user=mdettweiler [2015-07-09 14:26:44] 635*2^1402582-1 is not prime. Res64: 06DC7414A6611143 Time : 0.0 sec. user=mdettweiler [2015-07-09 14:26:45] 681*2^1402582-1 is not prime. Res64: D7496254502300DF Time : 0.0 sec. user=mdettweiler [2015-07-09 14:39:04] 813*2^1402582-1 is not prime. Res64: C8D4E776B173A9BA Time : 0.0 sec. user=mdettweiler [2015-07-09 14:39:04] 843*2^1402582-1 is not prime. Res64: F8A3B0786E04C6A3 Time : 0.0 sec. user=mdettweiler [2015-07-09 14:39:06] 873*2^1402582-1 is not prime. Res64: C0AD147804E14A1B Time : 0.0 sec. user=mdettweiler [2015-07-09 14:39:06] 603*2^1402583-1 is not prime. Res64: A72668CA9D59EF39 Time : 0.0 sec. user=mdettweiler [2015-07-09 14:44:07] 705*2^1402583-1 is not prime. Res64: 9D22E7673936E863 Time : 0.0 sec. user=mdettweiler [2015-07-09 14:44:07] 729*2^1402583-1 is not prime. Res64: 119B7D93EAE9E30C Time : 0.0 sec. user=mdettweiler [2015-07-09 14:56:33] 949*2^1402583-1 is not prime. Res64: F3882AEC24F798A3 Time : 0.0 sec. user=mdettweiler [2015-07-09 14:56:33] 969*2^1402583-1 is not prime. Res64: 70E2AB67AF07C63F Time : 0.0 sec. user=mdettweiler [2015-07-09 14:56:34] 605*2^1402584-1 is not prime. Res64: 3E5F6696AD81035C Time : 0.0 sec. user=mdettweiler [2015-07-09 14:56:35] 899*2^1402584-1 is not prime. Res64: D054113B557E9DB8 Time : 0.0 sec. user=mdettweiler [2015-07-09 15:01:32] 905*2^1402584-1 is not prime. Res64: 4071FEB8D5832F5A Time : 0.0 sec. user=mdettweiler [2015-07-09 15:01:33] 927*2^1402584-1 is not prime. Res64: 9EB0CCAE26F1A034 Time : 0.0 sec. user=mdettweiler [2015-07-09 15:13:56] 947*2^1402584-1 is not prime. Res64: 9271014F417454AE Time : 0.0 sec. user=mdettweiler [2015-07-09 15:13:56] 741*2^1402585-1 is not prime. Res64: F9758C09F179D6C1 Time : 0.0 sec. user=mdettweiler [2015-07-09 15:13:58] 885*2^1402585-1 is not prime. Res64: 9EA751F0099BDF6D Time : 0.0 sec. user=mdettweiler [2015-07-09 15:13:58] 897*2^1402585-1 is not prime. Res64: F83C8C4C139C9124 Time : 0.0 sec. user=mdettweiler [2015-07-09 15:18:55] 981*2^1402585-1 is not prime. Res64: F3E33A15CEBBCA05 Time : 0.0 sec. user=mdettweiler [2015-07-09 15:18:55] 623*2^1402586-1 is not prime. Res64: 1B040BAB8BE6F15D Time : 0.0 sec. user=mdettweiler [2015-07-09 15:31:21] 707*2^1402586-1 is not prime. Res64: 1C928FF4ACBEADDD Time : 0.0 sec. user=mdettweiler [2015-07-09 15:31:21] 677*2^1402586-1 is not prime. Res64: 51C8F9619A4BC8DB Time : 0.0 sec. user=mdettweiler [2015-07-09 15:31:21] 843*2^1402586-1 is not prime. Res64: 0BC571D5EA5E211A Time : 0.0 sec. user=mdettweiler [2015-07-09 15:31:22] 683*2^1402586-1 is not prime. Res64: 633219EDC1E5797B Time : 0.0 sec. user=mdettweiler [2015-07-09 15:36:15] 873*2^1402586-1 is not prime. Res64: 518978407504EF8D Time : 0.0 sec. user=mdettweiler [2015-07-09 15:36:15] 903*2^1402586-1 is not prime. Res64: 21495DFED3294BAF Time : 0.0 sec. user=mdettweiler [2015-07-09 15:48:45] 699*2^1402587-1 is not prime. Res64: D2CEB2F28BBEFA94 Time : 0.0 sec. user=mdettweiler [2015-07-09 15:48:46] 741*2^1402587-1 is not prime. Res64: 1AFD2E50A5AFBCD2 Time : 0.0 sec. user=mdettweiler [2015-07-09 15:48:46] 871*2^1402587-1 is not prime. Res64: DADBF5E93B3A3707 Time : 0.0 sec. user=mdettweiler [2015-07-09 15:48:46] 963*2^1402587-1 is not prime. Res64: 3B6018CA66DBE994 Time : 0.0 sec. user=mdettweiler [2015-07-09 15:53:38] 689*2^1402588-1 is not prime. Res64: E5A3DBE54EBE33D7 Time : 0.0 sec. user=mdettweiler [2015-07-09 15:53:38] 755*2^1402588-1 is not prime. Res64: DAB565E0517D7BE7 Time : 0.0 sec. user=mdettweiler [2015-07-09 16:06:08] 909*2^1402588-1 is not prime. Res64: A6B8662B44026AF1 Time : 0.0 sec. user=mdettweiler [2015-07-09 16:06:09] 957*2^1402588-1 is not prime. Res64: D17C68CE9A4D75B5 Time : 0.0 sec. user=mdettweiler [2015-07-09 16:06:09] 969*2^1402588-1 is not prime. Res64: 8AC39A7870C34473 Time : 0.0 sec. user=mdettweiler [2015-07-09 16:06:09] 987*2^1402588-1 is not prime. Res64: 831A3CD498CBAC16 Time : 0.0 sec. user=mdettweiler [2015-07-09 16:11:01] 631*2^1402589-1 is not prime. Res64: 7E5A59522ED9E610 Time : 0.0 sec. user=mdettweiler [2015-07-09 16:11:02] 685*2^1402589-1 is not prime. Res64: 50703C5ECFD7D472 Time : 0.0 sec. user=mdettweiler [2015-07-09 16:23:35] 775*2^1402589-1 is not prime. Res64: C432ABC4010614C8 Time : 0.0 sec. user=mdettweiler [2015-07-09 16:23:35] 855*2^1402589-1 is not prime. Res64: A44C1A373B54772D Time : 0.0 sec. user=mdettweiler [2015-07-09 16:23:36] 939*2^1402589-1 is not prime. Res64: 3E83BF64CA80E50B Time : 0.0 sec. user=mdettweiler [2015-07-09 16:23:37] 949*2^1402589-1 is not prime. Res64: 58EC3CB3EF990F08 Time : 0.0 sec. user=mdettweiler [2015-07-09 16:28:26] 969*2^1402589-1 is not prime. Res64: 0874A061EAA2161F Time : 0.0 sec. user=mdettweiler [2015-07-09 16:28:27] 611*2^1402590-1 is not prime. Res64: E8A82654EE669769 Time : 0.0 sec. user=mdettweiler [2015-07-09 16:40:56] 665*2^1402590-1 is not prime. Res64: 1A615984B91B5D6C Time : 0.0 sec. user=mdettweiler [2015-07-09 16:40:57] 671*2^1402590-1 is not prime. Res64: DBA0C0A065C51B52 Time : 0.0 sec. user=mdettweiler [2015-07-09 16:40:58] 717*2^1402590-1 is not prime. Res64: 3DA6BB1F583A30E9 Time : 0.0 sec. user=mdettweiler [2015-07-09 16:40:58] 777*2^1402590-1 is not prime. Res64: AE926A075D6F99D9 Time : 0.0 sec. user=mdettweiler [2015-07-09 16:45:48] 801*2^1402590-1 is not prime. Res64: 649FC24B230E8244 Time : 0.0 sec. user=mdettweiler [2015-07-09 16:45:48] 821*2^1402590-1 is not prime. Res64: BF708646180215C1 Time : 0.0 sec. user=mdettweiler [2015-07-09 16:58:21] 635*2^1402592-1 is not prime. Res64: D5076548D2B5C907 Time : 0.0 sec. user=mdettweiler [2015-07-09 16:58:22] 677*2^1402592-1 is not prime. Res64: 4CE087E61AA182E2 Time : 0.0 sec. user=mdettweiler [2015-07-09 16:58:22] 975*2^1402591-1 is not prime. Res64: A9D3ECC7E87F10F2 Time : 0.0 sec. user=mdettweiler [2015-07-09 16:58:23] 603*2^1402592-1 is not prime. Res64: 9784A77C3D6AEA13 Time : 0.0 sec. user=mdettweiler [2015-07-09 17:03:10] 797*2^1402592-1 is not prime. Res64: 9CDA78B8B640FAC7 Time : 0.0 sec. user=mdettweiler [2015-07-09 17:03:12] 825*2^1402592-1 is prime! Time : 0.0 sec. user=mdettweiler [2015-07-09 17:15:49] 875*2^1402592-1 is not prime. Res64: 8C5237EC70D19C62 Time : 0.0 sec. user=mdettweiler [2015-07-09 17:15:49] 983*2^1402592-1 is not prime. Res64: 32703D1536279F8B Time : 0.0 sec. user=mdettweiler [2015-07-09 17:15:51] 657*2^1402593-1 is not prime. Res64: 02894854AAB25C9A Time : 0.0 sec. user=mdettweiler [2015-07-09 17:15:52] 675*2^1402593-1 is not prime. Res64: 147CAA5D0BFCB1EF Time : 0.0 sec. user=mdettweiler [2015-07-09 17:33:20] 889*2^1402593-1 is not prime. Res64: 65D9D6DE61D18D2F Time : 0.0 sec. user=mdettweiler [2015-07-09 17:33:20] 741*2^1402593-1 is not prime. Res64: 90C7C594C77D0372 Time : 0.0 sec. user=mdettweiler [2015-07-09 17:33:20] 949*2^1402593-1 is not prime. Res64: 56581C50DA74DA5A Time : 0.0 sec. user=mdettweiler [2015-07-09 17:33:21] 759*2^1402593-1 is not prime. Res64: E8B8E8F9D2A0F5CE Time : 0.0 sec. user=mdettweiler [2015-07-09 17:50:50] 621*2^1402594-1 is not prime. Res64: 13D64B9D558A1F73 Time : 0.0 sec. user=mdettweiler [2015-07-09 17:50:50] 675*2^1402594-1 is not prime. Res64: 094932F37B3CB3E9 Time : 0.0 sec. user=mdettweiler [2015-07-09 17:50:52] 955*2^1402593-1 is not prime. Res64: 9ACFAB9A799BE7E0 Time : 0.0 sec. user=mdettweiler [2015-07-09 17:50:52] 987*2^1402593-1 is not prime. Res64: 3A0233B6FAA37B8E Time : 0.0 sec. user=mdettweiler [2015-07-09 18:08:14] 785*2^1402594-1 is not prime. Res64: 5ECAC64AADC369B6 Time : 0.0 sec. user=mdettweiler [2015-07-09 18:08:15] 891*2^1402594-1 is not prime. Res64: 0BC98F7F31D64D79 Time : 0.0 sec. user=mdettweiler [2015-07-09 18:08:18] 945*2^1402594-1 is not prime. Res64: 490052B4A16338D2 Time : 0.0 sec. user=mdettweiler [2015-07-09 18:08:19] 603*2^1402595-1 is not prime. Res64: 4603325C7B7B3C1C Time : 0.0 sec. user=mdettweiler [2015-07-09 18:15:05] 645*2^1402595-1 is not prime. Res64: CB12EFFBA4958BCA Time : 0.0 sec. user=mdettweiler [2015-07-09 18:15:06] 699*2^1402595-1 is not prime. Res64: FE36E904659BE079 Time : 0.0 sec. user=mdettweiler [2015-07-09 18:25:41] 883*2^1402595-1 is not prime. Res64: C743AAE162CB53C3 Time : 0.0 sec. user=mdettweiler [2015-07-09 18:25:42] 999*2^1402595-1 is not prime. Res64: 68FB91D52127DBC6 Time : 0.0 sec. user=mdettweiler [2015-07-09 18:25:46] 753*2^1402595-1 is not prime. Res64: 8049D60BD5365AAE Time : 0.0 sec. user=mdettweiler [2015-07-09 18:25:52] 829*2^1402595-1 is not prime. Res64: 4B5A7A234C7D9C11 Time : 0.0 sec. user=mdettweiler [2015-07-09 18:32:40] 623*2^1402596-1 is not prime. Res64: 42EC7FA19D850549 Time : 0.0 sec. user=mdettweiler [2015-07-09 18:32:41] 683*2^1402596-1 is not prime. Res64: 9728076DE2A51D97 Time : 0.0 sec. user=mdettweiler [2015-07-09 18:43:13] 689*2^1402596-1 is not prime. Res64: 089C90C26F645AE4 Time : 0.0 sec. user=mdettweiler [2015-07-09 18:43:14] 737*2^1402596-1 is not prime. Res64: FD339F7AA5C9A2C2 Time : 0.0 sec. user=mdettweiler [2015-07-09 18:43:36] 759*2^1402596-1 is not prime. Res64: A19FF2611C822FC7 Time : 0.0 sec. user=mdettweiler [2015-07-09 18:43:37] 773*2^1402596-1 is not prime. Res64: 09B8A731E524EFD5 Time : 0.0 sec. user=mdettweiler [2015-07-09 18:50:08] 783*2^1402596-1 is not prime. Res64: 37BB62425AF99B7C Time : 0.0 sec. user=mdettweiler [2015-07-09 18:50:08] 887*2^1402596-1 is not prime. Res64: BD7E2C3F5B083912 Time : 0.0 sec. user=mdettweiler [2015-07-09 19:00:42] 909*2^1402596-1 is not prime. Res64: 072573C054CA13B7 Time : 0.0 sec. user=mdettweiler [2015-07-09 19:00:43] 983*2^1402596-1 is not prime. Res64: DC5E71D3C6C470AA Time : 0.0 sec. user=mdettweiler [2015-07-09 19:01:07] 619*2^1402597-1 is not prime. Res64: DDC12F5A9A1B078F Time : 0.0 sec. user=mdettweiler [2015-07-09 19:01:08] 727*2^1402597-1 is not prime. Res64: 8BE1D061FBBA1D7A Time : 0.0 sec. user=mdettweiler [2015-07-09 19:07:30] 729*2^1402597-1 is not prime. Res64: 8C7C20EDBB341298 Time : 0.0 sec. user=mdettweiler [2015-07-09 19:07:30] 771*2^1402597-1 is not prime. Res64: 6900A31285F80172 Time : 0.0 sec. user=mdettweiler [2015-07-09 19:18:07] 777*2^1402597-1 is not prime. Res64: F03B704171B30443 Time : 0.0 sec. user=mdettweiler [2015-07-09 19:18:07] 635*2^1402598-1 is not prime. Res64: FAECE7F918948F5C Time : 0.0 sec. user=mdettweiler [2015-07-09 19:18:34] 755*2^1402598-1 is not prime. Res64: F9D9BE74516A825A Time : 0.0 sec. user=mdettweiler [2015-07-09 19:18:34] 773*2^1402598-1 is not prime. Res64: ADACE493DF849456 Time : 0.0 sec. user=mdettweiler [2015-07-09 19:24:51] 885*2^1402598-1 is not prime. Res64: F2972A16D1FC8031 Time : 0.0 sec. user=mdettweiler [2015-07-09 19:24:52] 897*2^1402598-1 is not prime. Res64: 6B87625DEE171033 Time : 0.0 sec. user=mdettweiler [2015-07-09 19:35:28] 977*2^1402598-1 is not prime. Res64: EBFB01CEE806EF3C Time : 0.0 sec. user=mdettweiler [2015-07-09 19:35:29] 615*2^1402599-1 is not prime. Res64: CF9043C13506A1A4 Time : 0.0 sec. user=mdettweiler [2015-07-09 19:35:55] 619*2^1402599-1 is not prime. Res64: E2FF41408ED19C1A Time : 0.0 sec. user=mdettweiler [2015-07-09 19:35:55] 661*2^1402599-1 is not prime. Res64: A0CE17DD176241A0 Time : 0.0 sec. user=mdettweiler [2015-07-09 19:42:13] 679*2^1402599-1 is not prime. Res64: 89D2F156D6B4CB7B Time : 0.0 sec. user=mdettweiler [2015-07-09 19:42:13] 793*2^1402599-1 is not prime. Res64: 5F3F1E44DB8FD99F Time : 0.0 sec. user=mdettweiler [2015-07-09 19:52:49] 629*2^1402600-1 is not prime. Res64: 156CF8766B817CBC Time : 0.0 sec. user=mdettweiler [2015-07-09 19:52:49] 677*2^1402600-1 is not prime. Res64: AF2401EB5F1296F4 Time : 0.0 sec. user=mdettweiler [2015-07-09 19:53:19] 693*2^1402600-1 is not prime. Res64: A3E7CB10224A0469 Time : 0.0 sec. user=mdettweiler [2015-07-09 19:53:19] 735*2^1402600-1 is not prime. Res64: 692C8683A520644E Time : 0.0 sec. user=mdettweiler [2015-07-09 19:59:34] 839*2^1402600-1 is not prime. Res64: CC5FBFF3A7567561 Time : 0.0 sec. user=mdettweiler [2015-07-09 19:59:34] 959*2^1402600-1 is not prime. Res64: 239E1C1922A302FA Time : 0.0 sec. user=S_K_ [2015-07-09 20:06:20] 833*2^1402590-1 is not prime. Res64: 0CCF0CE856EC638C Time : 0.0 sec. user=mdettweiler [2015-07-09 20:10:12] 995*2^1402600-1 is not prime. Res64: 74EC1888B20C0B4C Time : 0.0 sec. user=mdettweiler [2015-07-09 20:10:13] 645*2^1402601-1 is not prime. Res64: E5C11F327A6CA2A7 Time : 0.0 sec. user=mdettweiler [2015-07-09 20:10:40] 685*2^1402601-1 is not prime. Res64: 202CA9A00511F0AA Time : 0.0 sec. user=mdettweiler [2015-07-09 20:10:40] 691*2^1402601-1 is not prime. Res64: 13427E0F60D2CE68 Time : 0.0 sec. user=mdettweiler [2015-07-09 20:16:58] 741*2^1402601-1 is not prime. Res64: 8D2ABFC0EBFA2FEB Time : 0.0 sec. user=mdettweiler [2015-07-09 20:16:59] 705*2^1402602-1 is not prime. Res64: 9C2049FC7BDD5EEE Time : 0.0 sec. user=mdettweiler [2015-07-09 20:27:42] 711*2^1402602-1 is not prime. Res64: 009D284D0844859F Time : 0.0 sec. user=mdettweiler [2015-07-09 20:27:43] 723*2^1402602-1 is not prime. Res64: D056A358A8B2BECD Time : 0.0 sec. user=mdettweiler [2015-07-09 20:28:10] 755*2^1402602-1 is not prime. Res64: 0E94F4F33D100B75 Time : 0.0 sec. user=mdettweiler [2015-07-09 20:28:11] 801*2^1402602-1 is not prime. Res64: D2D08980BD730EDA Time : 0.0 sec. user=mdettweiler [2015-07-09 20:34:28] 807*2^1402602-1 is not prime. Res64: 911631D69A60BD1D Time : 0.0 sec. user=mdettweiler [2015-07-09 20:34:28] 815*2^1402602-1 is not prime. Res64: A7B96A2A38E2E998 Time : 0.0 sec. user=mdettweiler [2015-07-09 20:45:04] 873*2^1402602-1 is not prime. Res64: 20975537FAEBA07F Time : 0.0 sec. user=mdettweiler [2015-07-09 20:45:04] 633*2^1402603-1 is not prime. Res64: D24985CCC614C03A Time : 0.0 sec. user=mdettweiler [2015-07-09 20:45:33] 885*2^1402603-1 is not prime. Res64: 82B3DDEAD8517BC9 Time : 0.0 sec. user=mdettweiler [2015-07-09 20:45:33] 961*2^1402603-1 is not prime. Res64: 878851F80A786185 Time : 0.0 sec. user=mdettweiler [2015-07-09 20:51:50] 969*2^1402603-1 is not prime. Res64: 26E4A9DE7F51DF8C Time : 0.0 sec. user=mdettweiler [2015-07-09 20:51:50] 985*2^1402603-1 is not prime. Res64: 58D3F010D68698DC Time : 0.0 sec. user=mdettweiler [2015-07-09 21:02:27] 999*2^1402603-1 is not prime. Res64: 66A4F36DCC8B6462 Time : 0.0 sec. user=mdettweiler [2015-07-09 21:02:29] 605*2^1402604-1 is not prime. Res64: 0B4AE58A1ED399C0 Time : 0.0 sec. user=mdettweiler [2015-07-09 21:02:56] 873*2^1402604-1 is not prime. Res64: 088BE196E75B025B Time : 0.0 sec. user=mdettweiler [2015-07-09 21:02:57] 679*2^1402605-1 is not prime. Res64: BD77A58755B42BD9 Time : 0.0 sec. user=mdettweiler [2015-07-09 21:09:12] 751*2^1402605-1 is not prime. Res64: 3B03D5AC2AAEB610 Time : 0.0 sec. user=mdettweiler [2015-07-09 21:09:13] 847*2^1402605-1 is not prime. Res64: 51651A1F48B85E95 Time : 0.0 sec. user=mdettweiler [2015-07-09 21:20:08] 867*2^1402605-1 is not prime. Res64: 05D33C685814FC96 Time : 0.0 sec. user=mdettweiler [2015-07-09 21:20:08] 991*2^1402605-1 is not prime. Res64: 324F3C90261BA9F7 Time : 0.0 sec. user=mdettweiler [2015-07-09 21:20:21] 997*2^1402605-1 is not prime. Res64: F09F7EA08F817D2B Time : 0.0 sec. user=mdettweiler [2015-07-09 21:20:21] 603*2^1402606-1 is not prime. Res64: ED990E34657F5EA6 Time : 0.0 sec. user=mdettweiler [2015-07-09 21:26:36] 611*2^1402606-1 is not prime. Res64: D2B148C6E69DF5DE Time : 0.0 sec. user=mdettweiler [2015-07-09 21:26:37] 647*2^1402606-1 is not prime. Res64: 3FAF323212194419 Time : 0.0 sec. user=mdettweiler [2015-07-09 21:37:29] 765*2^1402606-1 is not prime. Res64: 640ABB528B810169 Time : 0.0 sec. user=mdettweiler [2015-07-09 21:37:30] 773*2^1402606-1 is not prime. Res64: 5F40D6C2286A2D6C Time : 0.0 sec. user=mdettweiler [2015-07-09 21:37:41] 825*2^1402606-1 is not prime. Res64: 779514157CD40D1D Time : 0.0 sec. user=mdettweiler [2015-07-09 21:37:42] 843*2^1402606-1 is not prime. Res64: F471B5F5F8D1B88D Time : 0.0 sec. user=mdettweiler [2015-07-09 21:43:57] 857*2^1402606-1 is not prime. Res64: 690E4ADDF2DEF5BC Time : 0.0 sec. user=mdettweiler [2015-07-09 21:43:58] 887*2^1402606-1 is not prime. Res64: 81235547D15BEE53 Time : 0.0 sec. user=mdettweiler [2015-07-09 21:54:53] 911*2^1402606-1 is not prime. Res64: 1CA96ECC3808FFBB Time : 0.0 sec. user=mdettweiler [2015-07-09 21:54:53] 917*2^1402606-1 is not prime. Res64: C83DDD817255BD42 Time : 0.0 sec. user=mdettweiler [2015-07-09 21:55:04] 945*2^1402606-1 is not prime. Res64: 2DCEFB315432797E Time : 0.0 sec. user=mdettweiler [2015-07-09 21:55:05] 971*2^1402606-1 is not prime. Res64: CD537BBD13519B32 Time : 0.0 sec. user=mdettweiler [2015-07-09 22:01:21] 759*2^1402607-1 is not prime. Res64: A6B98D8E021C74F2 Time : 0.0 sec. user=mdettweiler [2015-07-09 22:01:22] 979*2^1402607-1 is not prime. Res64: F8E6ACEC1CEDA156 Time : 0.0 sec. user=mdettweiler [2015-07-09 22:12:14] 705*2^1402608-1 is not prime. Res64: A698277D17CC48AC Time : 0.0 sec. user=mdettweiler [2015-07-09 22:12:14] 797*2^1402608-1 is not prime. Res64: 4EAC9FF2DB0947D3 Time : 0.0 sec. user=mdettweiler [2015-07-09 22:12:26] 845*2^1402608-1 is not prime. Res64: 7E71B5913F7E3C83 Time : 0.0 sec. user=mdettweiler [2015-07-09 22:12:27] 875*2^1402608-1 is not prime. Res64: D1CB2C5F2079416D Time : 0.0 sec. user=mdettweiler [2015-07-09 22:19:03] 879*2^1402608-1 is not prime. Res64: 9D7AF558F0D33B93 Time : 0.0 sec. user=mdettweiler [2015-07-09 22:19:03] 909*2^1402608-1 is not prime. Res64: F607AC52F130C889 Time : 0.0 sec. user=mdettweiler [2015-07-09 22:29:35] 969*2^1402608-1 is not prime. Res64: 33E65E0F6422309F Time : 0.0 sec. user=mdettweiler [2015-07-09 22:29:36] 705*2^1402609-1 is not prime. Res64: 67B563BB2ACDB353 Time : 0.0 sec. user=mdettweiler [2015-07-09 22:29:47] 741*2^1402609-1 is not prime. Res64: 4FF5CC5834E6A76E Time : 0.0 sec. user=mdettweiler [2015-07-09 22:29:48] 831*2^1402609-1 is not prime. Res64: 46B8F726C4CB76A3 Time : 0.0 sec. user=mdettweiler [2015-07-09 22:36:24] 897*2^1402609-1 is not prime. Res64: 566A4EE93CFBA14E Time : 0.0 sec. user=mdettweiler [2015-07-09 22:36:24] 951*2^1402609-1 is not prime. Res64: 3B618CB9B5E9BF53 Time : 0.0 sec. user=mdettweiler [2015-07-09 22:46:57] 999*2^1402609-1 is not prime. Res64: 42735EA22EE9A600 Time : 0.0 sec. user=mdettweiler [2015-07-09 22:46:58] 717*2^1402610-1 is not prime. Res64: A67C0F46F5E1B67A Time : 0.0 sec. user=mdettweiler [2015-07-09 22:47:09] 773*2^1402610-1 is not prime. Res64: 72BBCDA3FA6F2169 Time : 0.0 sec. user=mdettweiler [2015-07-09 22:47:09] 785*2^1402610-1 is not prime. Res64: E0F1FCF8B3AFD4BA Time : 0.0 sec. user=mdettweiler [2015-07-09 22:53:46] 857*2^1402610-1 is not prime. Res64: 1309A53CC231E6C7 Time : 0.0 sec. user=mdettweiler [2015-07-09 22:53:46] 893*2^1402610-1 is not prime. Res64: A72692D1C0EFCB9A Time : 0.0 sec. user=mdettweiler [2015-07-09 23:04:21] 911*2^1402610-1 is not prime. Res64: B148BFED5E6D84B7 Time : 0.0 sec. user=mdettweiler [2015-07-09 23:04:22] 971*2^1402610-1 is not prime. Res64: 403669D8CDB71974 Time : 0.0 sec. user=mdettweiler [2015-07-09 23:04:32] 1001*2^1402610-1 is not prime. Res64: B50350BC315BA9FB Time : 0.0 sec. user=mdettweiler [2015-07-09 23:04:34] 669*2^1402611-1 is not prime. Res64: 56E8ABD380778DEB Time : 0.0 sec. user=mdettweiler [2015-07-09 23:11:09] 709*2^1402611-1 is not prime. Res64: 043AAB2399DBBD81 Time : 0.0 sec. user=mdettweiler [2015-07-09 23:11:10] 753*2^1402611-1 is not prime. Res64: 7F7A7A2E10478AE7 Time : 0.0 sec. user=mdettweiler [2015-07-09 23:22:01] 783*2^1402611-1 is not prime. Res64: CAEE6EB647A8C7A8 Time : 0.0 sec. user=mdettweiler [2015-07-09 23:22:01] 823*2^1402611-1 is not prime. Res64: 5117983004AFA33E Time : 0.0 sec. user=mdettweiler [2015-07-09 23:22:03] 879*2^1402611-1 is not prime. Res64: AF515447B5E0ED30 Time : 0.0 sec. user=mdettweiler [2015-07-09 23:22:04] 903*2^1402611-1 is not prime. Res64: 36B0AF23E313AF9F Time : 0.0 sec. user=mdettweiler [2015-07-09 23:28:41] 921*2^1402611-1 is not prime. Res64: 18866378C7104120 Time : 0.0 sec. user=mdettweiler [2015-07-09 23:28:41] 979*2^1402611-1 is not prime. Res64: 2847C01E0C28B465 Time : 0.0 sec. user=mdettweiler [2015-07-09 23:39:22] 639*2^1402612-1 is not prime. Res64: 5340B1FCE5D05B2A Time : 0.0 sec. user=mdettweiler [2015-07-09 23:39:22] 665*2^1402612-1 is not prime. Res64: E2BDE021805564C1 Time : 0.0 sec. user=mdettweiler [2015-07-09 23:39:24] 705*2^1402612-1 is not prime. Res64: 20D4C83D4BA152BF Time : 0.0 sec. user=mdettweiler [2015-07-09 23:39:25] 717*2^1402612-1 is not prime. Res64: 3A2A1E504F5E1E16 Time : 0.0 sec. user=mdettweiler [2015-07-09 23:46:03] 983*2^1402612-1 is not prime. Res64: E965875CA87B263C Time : 0.0 sec. user=mdettweiler [2015-07-09 23:46:03] 989*2^1402612-1 is not prime. Res64: 915DF204DADF53D8 Time : 0.0 sec. user=mdettweiler [2015-07-09 23:56:44] 999*2^1402612-1 is not prime. Res64: E52D89A84FC55C57 Time : 0.0 sec. user=mdettweiler [2015-07-09 23:56:44] 657*2^1402613-1 is not prime. Res64: D853486A1D261FD2 Time : 0.0 sec. user=mdettweiler [2015-07-09 23:56:46] 679*2^1402613-1 is not prime. Res64: 51EEC3C7AFBA0E4D Time : 0.0 sec. user=mdettweiler [2015-07-09 23:56:46] 715*2^1402613-1 is not prime. Res64: D480F8266232A4D9 Time : 0.0 sec.