user=mdettweiler [2012-08-20 00:02:33] 981*2^1226777-1 is not prime. Res64: BA9971EDE366AEA0 Time : 0.0 sec. user=mdettweiler [2012-08-20 00:02:33] 633*2^1226778-1 is not prime. Res64: 63CAB0A5FD3A0423 Time : 0.0 sec. user=mdettweiler [2012-08-20 00:09:14] 735*2^1226778-1 is not prime. Res64: F6BC1A9A60238884 Time : 0.0 sec. user=mdettweiler [2012-08-20 00:09:16] 905*2^1226778-1 is not prime. Res64: 606E88BD6BD757EE Time : 0.0 sec. user=vaughan [2012-08-20 00:16:51] 879*2^1226777-1 is not prime. Res64: C4A544E9E5FE4F0F Time : 0.0 sec. user=mdettweiler [2012-08-20 00:23:22] 685*2^1226779-1 is not prime. Res64: BC9EE4F549CE7B7D Time : 0.0 sec. user=mdettweiler [2012-08-20 00:23:22] 745*2^1226779-1 is not prime. Res64: 3E19D797E8038559 Time : 0.0 sec. user=mdettweiler [2012-08-20 00:30:13] 765*2^1226779-1 is not prime. Res64: 239B6529CD3A42FB Time : 0.0 sec. user=mdettweiler [2012-08-20 00:30:13] 835*2^1226779-1 is not prime. Res64: 1EDDE3705EBB5FF0 Time : 0.0 sec. user=mdettweiler [2012-08-20 00:31:20] 971*2^1226778-1 is not prime. Res64: C3C8C0D762F20C03 Time : 0.0 sec. user=mdettweiler [2012-08-20 00:33:58] 1001*2^1226778-1 is not prime. Res64: 5413D47B54F64FCB Time : 0.0 sec. user=gd_barnes [2012-08-20 00:36:34] 973*2^1226779-1 is not prime. Res64: 59B32FF7AADA5011 Time : 0.0 sec. user=mdettweiler [2012-08-20 00:44:09] 743*2^1226780-1 is not prime. Res64: B177C9D795219017 Time : 0.0 sec. user=mdettweiler [2012-08-20 00:44:09] 759*2^1226780-1 is not prime. Res64: 21481D8C4529C13E Time : 0.0 sec. user=mdettweiler [2012-08-20 00:51:02] 855*2^1226780-1 is not prime. Res64: 7E13E5DB28FF009C Time : 0.0 sec. user=mdettweiler [2012-08-20 00:51:02] 983*2^1226780-1 is not prime. Res64: 27DD76C4C8550115 Time : 0.0 sec. user=vaughan [2012-08-20 00:54:31] 999*2^1226779-1 is not prime. Res64: DDCDDEBBC7C3A71C Time : 0.0 sec. user=mdettweiler [2012-08-20 01:04:54] 811*2^1226781-1 is not prime. Res64: 9F7D0A6661AD0F89 Time : 0.0 sec. user=mdettweiler [2012-08-20 01:04:55] 901*2^1226781-1 is not prime. Res64: D20E39B68A68FE34 Time : 0.0 sec. user=mdettweiler [2012-08-20 01:05:29] 639*2^1226781-1 is not prime. Res64: 49D3D18C1AFA0108 Time : 0.0 sec. user=mdettweiler [2012-08-20 01:07:32] 691*2^1226781-1 is not prime. Res64: 4178F2CD071DCAD2 Time : 0.0 sec. user=mdettweiler [2012-08-20 01:11:48] 611*2^1226782-1 is not prime. Res64: 26515C648D3B20B4 Time : 0.0 sec. user=mdettweiler [2012-08-20 01:11:49] 623*2^1226782-1 is not prime. Res64: 9A145FBD7DA51FFD Time : 0.0 sec. user=mdettweiler [2012-08-20 01:25:45] 651*2^1226782-1 is not prime. Res64: E3E66E34A67B8083 Time : 0.0 sec. user=mdettweiler [2012-08-20 01:25:46] 675*2^1226782-1 is not prime. Res64: 26D0C482FE62E13C Time : 0.0 sec. user=vaughan [2012-08-20 01:32:12] 645*2^1226782-1 is not prime. Res64: 22941902DBF2E388 Time : 0.0 sec. user=mdettweiler [2012-08-20 01:32:39] 737*2^1226782-1 is not prime. Res64: 278A926A1EC98B08 Time : 0.0 sec. user=mdettweiler [2012-08-20 01:32:40] 777*2^1226782-1 is not prime. Res64: 92FD0A851ECCCA3C Time : 0.0 sec. user=mdettweiler [2012-08-20 01:38:54] 681*2^1226782-1 is not prime. Res64: 027793B9CE378A82 Time : 0.0 sec. user=mdettweiler [2012-08-20 01:41:05] 717*2^1226782-1 is not prime. Res64: 446B5407770EF716 Time : 0.0 sec. user=mdettweiler [2012-08-20 01:46:34] 673*2^1226783-1 is not prime. Res64: 97E6B6A6255EA376 Time : 0.0 sec. user=mdettweiler [2012-08-20 01:46:34] 705*2^1226783-1 is not prime. Res64: F7D2297AEF788288 Time : 0.0 sec. user=mdettweiler [2012-08-20 01:53:26] 939*2^1226783-1 is not prime. Res64: 71F8416A9584A070 Time : 0.0 sec. user=mdettweiler [2012-08-20 01:53:26] 943*2^1226783-1 is not prime. Res64: DE1D605A738AB669 Time : 0.0 sec. user=mdettweiler [2012-08-20 02:07:20] 635*2^1226784-1 is not prime. Res64: EB9A54654B2B7E00 Time : 0.0 sec. user=mdettweiler [2012-08-20 02:07:21] 657*2^1226784-1 is not prime. Res64: B05FDEDE78A151CA Time : 0.0 sec. user=vaughan [2012-08-20 02:09:53] 915*2^1226783-1 is not prime. Res64: 5C1E454086C4395E Time : 0.0 sec. user=mdettweiler [2012-08-20 02:12:25] 949*2^1226783-1 is not prime. Res64: 82E7F5BBE036C853 Time : 0.0 sec. user=mdettweiler [2012-08-20 02:14:12] 747*2^1226784-1 is not prime. Res64: 5E4E028F22270491 Time : 0.0 sec. user=mdettweiler [2012-08-20 02:14:12] 803*2^1226784-1 is not prime. Res64: 9E5F80944EFA6434 Time : 0.0 sec. user=mdettweiler [2012-08-20 02:14:41] 963*2^1226783-1 is not prime. Res64: 85CAD9527B6BF48E Time : 0.0 sec. user=mdettweiler [2012-08-20 02:28:33] 899*2^1226784-1 is not prime. Res64: B4DF8B8D21DD10D2 Time : 0.0 sec. user=mdettweiler [2012-08-20 02:28:35] 727*2^1226785-1 is not prime. Res64: 1371742D39F19DB6 Time : 0.0 sec. user=mdettweiler [2012-08-20 02:34:59] 799*2^1226785-1 is not prime. Res64: 968436B2759C1ED2 Time : 0.0 sec. user=mdettweiler [2012-08-20 02:35:01] 805*2^1226785-1 is not prime. Res64: CAB32D692ADC586D Time : 0.0 sec. user=mdettweiler [2012-08-20 02:46:42] 817*2^1226785-1 is not prime. Res64: B3119AAE6B2C81F4 Time : 0.0 sec. user=mdettweiler [2012-08-20 02:47:14] 775*2^1226785-1 is not prime. Res64: 50B754504BAADD50 Time : 0.0 sec. user=vaughan [2012-08-20 02:47:39] 741*2^1226785-1 is not prime. Res64: BC6C53FE9FDDCFBA Time : 0.0 sec. user=mdettweiler [2012-08-20 02:49:29] 889*2^1226785-1 is not prime. Res64: 1A53C3A81BAF9E99 Time : 0.0 sec. user=mdettweiler [2012-08-20 02:49:31] 985*2^1226785-1 is not prime. Res64: CAB4A0B0472FBFE4 Time : 0.0 sec. user=mdettweiler [2012-08-20 02:56:00] 635*2^1226786-1 is not prime. Res64: 1C0AA6A21D0CCC06 Time : 0.0 sec. user=mdettweiler [2012-08-20 02:56:00] 677*2^1226786-1 is not prime. Res64: C3962E1301E009A6 Time : 0.0 sec. user=mdettweiler [2012-08-20 03:10:22] 815*2^1226786-1 is not prime. Res64: C963506990D4B951 Time : 0.0 sec. user=mdettweiler [2012-08-20 03:10:23] 619*2^1226787-1 is not prime. Res64: 8318A39F87642A11 Time : 0.0 sec. user=mdettweiler [2012-08-20 03:16:49] 625*2^1226787-1 is not prime. Res64: B38AECAB35C95CEF Time : 0.0 sec. user=mdettweiler [2012-08-20 03:16:50] 643*2^1226787-1 is not prime. Res64: 7FE2339505C1D22B Time : 0.0 sec. user=mdettweiler [2012-08-20 03:21:16] 743*2^1226786-1 is not prime. Res64: C01E5A0C75CC1355 Time : 0.0 sec. user=mdettweiler [2012-08-20 03:21:46] 767*2^1226786-1 is not prime. Res64: 487B9D1331110F65 Time : 0.0 sec. user=vaughan [2012-08-20 03:25:20] 785*2^1226786-1 is not prime. Res64: 9C076A08AF0E91EE Time : 0.0 sec. user=mdettweiler [2012-08-20 03:31:26] 669*2^1226787-1 is not prime. Res64: 9215606F4F2B7633 Time : 0.0 sec. user=mdettweiler [2012-08-20 03:31:29] 741*2^1226787-1 is not prime. Res64: 4ABEEBECCFF79786 Time : 0.0 sec. user=mdettweiler [2012-08-20 03:37:38] 793*2^1226787-1 is not prime. Res64: DCDADE109BE102FE Time : 0.0 sec. user=mdettweiler [2012-08-20 03:37:39] 945*2^1226787-1 is not prime. Res64: BF8F3CE5DE89E914 Time : 0.0 sec. user=mdettweiler [2012-08-20 03:52:21] 927*2^1226788-1 is not prime. Res64: ECEAD8F326EFB1FF Time : 0.0 sec. user=mdettweiler [2012-08-20 03:52:22] 933*2^1226788-1 is not prime. Res64: 40864887BD6FBF10 Time : 0.0 sec. user=mdettweiler [2012-08-20 03:53:16] 677*2^1226788-1 is not prime. Res64: 4C22BE7A3AE5CA76 Time : 0.0 sec. user=mdettweiler [2012-08-20 03:56:23] 827*2^1226788-1 is not prime. Res64: 5004E9082A5BD5E8 Time : 0.0 sec. user=mdettweiler [2012-08-20 03:58:41] 993*2^1226788-1 is not prime. Res64: C12BB309E8FAAC9B Time : 0.0 sec. user=mdettweiler [2012-08-20 03:58:41] 655*2^1226789-1 is not prime. Res64: 5BC915327C9BE3DD Time : 0.0 sec. user=vaughan [2012-08-20 04:03:00] 845*2^1226788-1 is not prime. Res64: 501D319BB413442A Time : 0.0 sec. user=mdettweiler [2012-08-20 04:13:10] 697*2^1226789-1 is not prime. Res64: 9A60558192F9ECD8 Time : 0.0 sec. user=mdettweiler [2012-08-20 04:13:13] 795*2^1226789-1 is not prime. Res64: 863BAAB542074527 Time : 0.0 sec. user=mdettweiler [2012-08-20 04:19:27] 717*2^1226790-1 is not prime. Res64: 0FB1707CF2A2A8F3 Time : 0.0 sec. user=mdettweiler [2012-08-20 04:19:28] 791*2^1226790-1 is not prime. Res64: 4697D52D30F1F011 Time : 0.0 sec. user=mdettweiler [2012-08-20 04:26:36] 889*2^1226789-1 is not prime. Res64: 53D6DFB2F6528712 Time : 0.0 sec. user=mdettweiler [2012-08-20 04:29:49] 711*2^1226790-1 is not prime. Res64: 4D91085C2FDEAC73 Time : 0.0 sec. user=mdettweiler [2012-08-20 04:34:14] 867*2^1226790-1 is not prime. Res64: E6FB69E28FE4626F Time : 0.0 sec. user=mdettweiler [2012-08-20 04:34:15] 873*2^1226790-1 is not prime. Res64: 60F3DD1839CDD7CF Time : 0.0 sec. user=mdettweiler [2012-08-20 04:40:17] 703*2^1226791-1 is not prime. Res64: D347257788ACD0C0 Time : 0.0 sec. user=mdettweiler [2012-08-20 04:40:18] 741*2^1226791-1 is not prime. Res64: 2A65334292922530 Time : 0.0 sec. user=vaughan [2012-08-20 04:40:42] 825*2^1226790-1 is not prime. Res64: D4FA5C19151E2A43 Time : 0.0 sec. user=mdettweiler [2012-08-20 04:55:02] 841*2^1226791-1 is not prime. Res64: 50ACF0E3FFA3EAF7 Time : 0.0 sec. user=mdettweiler [2012-08-20 04:55:02] 871*2^1226791-1 is not prime. Res64: F854D9DF6E804DD9 Time : 0.0 sec. user=mdettweiler [2012-08-20 04:58:30] 745*2^1226791-1 is not prime. Res64: D891152ACC17B276 Time : 0.0 sec. user=mdettweiler [2012-08-20 05:01:08] 873*2^1226791-1 is not prime. Res64: D4E7F4BF6B3E72CC Time : 0.0 sec. user=mdettweiler [2012-08-20 05:01:09] 883*2^1226791-1 is not prime. Res64: 222E73D8CC03B69A Time : 0.0 sec. user=mdettweiler [2012-08-20 05:04:33] 811*2^1226791-1 is not prime. Res64: 27DF952966CC12B7 Time : 0.0 sec. user=mdettweiler [2012-08-20 05:15:48] 605*2^1226792-1 is not prime. Res64: C70B33748152A28C Time : 0.0 sec. user=mdettweiler [2012-08-20 05:15:49] 629*2^1226792-1 is not prime. Res64: C28C0EC761831F4B Time : 0.0 sec. user=vaughan [2012-08-20 05:18:22] 999*2^1226791-1 is not prime. Res64: 017BFBAF4DDB2032 Time : 0.0 sec. user=mdettweiler [2012-08-20 05:21:57] 843*2^1226792-1 is not prime. Res64: 955F3BA61E777557 Time : 0.0 sec. user=mdettweiler [2012-08-20 05:21:57] 873*2^1226792-1 is not prime. Res64: 39BE3C845C45FB89 Time : 0.0 sec. user=mdettweiler [2012-08-20 05:31:36] 713*2^1226792-1 is not prime. Res64: 02D8154E647C5B71 Time : 0.0 sec. user=mdettweiler [2012-08-20 05:36:36] 945*2^1226792-1 is not prime. Res64: BE21E36134C51358 Time : 0.0 sec. user=mdettweiler [2012-08-20 05:36:36] 957*2^1226792-1 is not prime. Res64: 25D93122C0F1A542 Time : 0.0 sec. user=mdettweiler [2012-08-20 05:37:50] 875*2^1226792-1 is not prime. Res64: 2C7E2AA9EFE1900D Time : 0.0 sec. user=mdettweiler [2012-08-20 05:42:43] 849*2^1226793-1 is not prime. Res64: 5CEE22E1FDDE0212 Time : 0.0 sec. user=mdettweiler [2012-08-20 05:42:44] 945*2^1226793-1 is not prime. Res64: 451598040B8057C5 Time : 0.0 sec. user=gd_barnes [2012-08-20 05:47:12] 657*2^1226793-1 is not prime. Res64: 3459F57D57CCB270 Time : 0.0 sec. user=gd_barnes [2012-08-20 05:47:31] 679*2^1226793-1 is not prime. Res64: 71EEA1AF2E42B9A3 Time : 0.0 sec. user=vaughan [2012-08-20 05:56:35] 847*2^1226793-1 is not prime. Res64: 7E52B4FB77A7DF6B Time : 0.0 sec. user=mdettweiler [2012-08-20 05:57:22] 717*2^1226794-1 is not prime. Res64: 0C95D238B57151C8 Time : 0.0 sec. user=mdettweiler [2012-08-20 05:57:23] 783*2^1226794-1 is not prime. Res64: E44FD11511B85797 Time : 0.0 sec. user=mdettweiler [2012-08-20 06:03:30] 827*2^1226794-1 is not prime. Res64: 096947A9396B6233 Time : 0.0 sec. user=mdettweiler [2012-08-20 06:03:31] 685*2^1226795-1 is not prime. Res64: EBEF3566F05D33B5 Time : 0.0 sec. user=mdettweiler [2012-08-20 06:03:55] 987*2^1226793-1 is not prime. Res64: CE56FD7E43B400F4 Time : 0.0 sec. user=mdettweiler [2012-08-20 06:12:19] 791*2^1226794-1 is not prime. Res64: C419FD3650B1C995 Time : 0.0 sec. user=mdettweiler [2012-08-20 06:18:10] 753*2^1226795-1 is not prime. Res64: E703717B2965DC3D Time : 0.0 sec. user=mdettweiler [2012-08-20 06:18:10] 943*2^1226795-1 is not prime. Res64: A59DDE52A52495D1 Time : 0.0 sec. user=mdettweiler [2012-08-20 06:24:24] 683*2^1226796-1 is not prime. Res64: A63789C5706EFEE8 Time : 0.0 sec. user=mdettweiler [2012-08-20 06:24:24] 719*2^1226796-1 is not prime. Res64: 13B1C777328CB97E Time : 0.0 sec. user=vaughan [2012-08-20 06:34:16] 733*2^1226795-1 is not prime. Res64: CBD93A3AAEBD6251 Time : 0.0 sec. user=mdettweiler [2012-08-20 06:36:59] 845*2^1226796-1 is not prime. Res64: 75D2FEE7EAE3C81F Time : 0.0 sec. user=mdettweiler [2012-08-20 06:38:55] 615*2^1226797-1 is not prime. Res64: 17C54692B667B5BD Time : 0.0 sec. user=mdettweiler [2012-08-20 06:38:55] 621*2^1226797-1 is not prime. Res64: 4D3D18AEDFF1E86A Time : 0.0 sec. user=mdettweiler [2012-08-20 06:45:10] 649*2^1226797-1 is not prime. Res64: F7EDE67DF884423A Time : 0.0 sec. user=mdettweiler [2012-08-20 06:45:11] 729*2^1226797-1 is not prime. Res64: 8243F8D5692F9942 Time : 0.0 sec. user=mdettweiler [2012-08-20 06:45:38] 857*2^1226796-1 is not prime. Res64: D67A8B9B3588AF20 Time : 0.0 sec. user=gd_barnes [2012-08-20 06:46:49] 875*2^1226796-1 is not prime. Res64: 42CD251399FC5C9F Time : 0.0 sec. user=gd_barnes [2012-08-20 06:47:42] 887*2^1226796-1 is not prime. Res64: 26B678C6C39511B4 Time : 0.0 sec. user=mdettweiler [2012-08-20 06:59:41] 885*2^1226797-1 is not prime. Res64: 77C8AF8F161DB928 Time : 0.0 sec. user=mdettweiler [2012-08-20 06:59:41] 961*2^1226797-1 is not prime. Res64: E5C74C72F21EA61D Time : 0.0 sec. user=mdettweiler [2012-08-20 07:05:56] 623*2^1226798-1 is not prime. Res64: B3F44D8F8A8433C5 Time : 0.0 sec. user=mdettweiler [2012-08-20 07:05:57] 687*2^1226798-1 is not prime. Res64: C07CCFBED899933A Time : 0.0 sec. user=mdettweiler [2012-08-20 07:10:13] 805*2^1226797-1 is not prime. Res64: E08C6029E5AFD26A Time : 0.0 sec. user=vaughan [2012-08-20 07:12:00] 799*2^1226797-1 is not prime. Res64: 4032A521AA6B0B26 Time : 0.0 sec. user=mdettweiler [2012-08-20 07:18:53] 753*2^1226798-1 is not prime. Res64: 8A4008AC0853B307 Time : 0.0 sec. user=mdettweiler [2012-08-20 07:20:27] 767*2^1226798-1 is not prime. Res64: 71878B29876F4B00 Time : 0.0 sec. user=mdettweiler [2012-08-20 07:20:28] 773*2^1226798-1 is not prime. Res64: 56A4A9B068236B53 Time : 0.0 sec. user=mdettweiler [2012-08-20 07:26:43] 963*2^1226798-1 is not prime. Res64: 3C1ECA5878223CAB Time : 0.0 sec. user=mdettweiler [2012-08-20 07:26:44] 971*2^1226798-1 is not prime. Res64: ED02A8628D3C754D Time : 0.0 sec. user=mdettweiler [2012-08-20 07:41:13] 827*2^1226800-1 is not prime. Res64: 3DEFEDA5B811D4FB Time : 0.0 sec. user=mdettweiler [2012-08-20 07:41:14] 833*2^1226800-1 is not prime. Res64: E6E4E7896649EEDE Time : 0.0 sec. user=mdettweiler [2012-08-20 07:43:23] 769*2^1226799-1 is not prime. Res64: 63112F8DFA160612 Time : 0.0 sec. user=mdettweiler [2012-08-20 07:47:31] 927*2^1226800-1 is not prime. Res64: 0FE5A65FD00021D3 Time : 0.0 sec. user=mdettweiler [2012-08-20 07:47:32] 975*2^1226800-1 is not prime. Res64: 1ECCC2D16C0AA1EB Time : 0.0 sec. user=vaughan [2012-08-20 07:49:44] 913*2^1226799-1 is not prime. Res64: D42ACB7B5BAA6BB6 Time : 0.0 sec. user=mdettweiler [2012-08-20 07:52:19] 755*2^1226800-1 is not prime. Res64: 00B7A055A7FA1C45 Time : 0.0 sec. user=mdettweiler [2012-08-20 08:02:02] 983*2^1226800-1 is not prime. Res64: A927ED29ED7B83EF Time : 0.0 sec. user=mdettweiler [2012-08-20 08:02:03] 615*2^1226801-1 is not prime. Res64: 9437FAB939F82743 Time : 0.0 sec. user=mdettweiler [2012-08-20 08:08:17] 855*2^1226801-1 is not prime. Res64: EF2957AE54E1EDD8 Time : 0.0 sec. user=mdettweiler [2012-08-20 08:08:18] 987*2^1226801-1 is not prime. Res64: 8C2A980955D0D2A9 Time : 0.0 sec. user=mdettweiler [2012-08-20 08:16:42] 777*2^1226801-1 is not prime. Res64: 2A160BEAE84F91FD Time : 0.0 sec. user=mdettweiler [2012-08-20 08:23:00] 885*2^1226802-1 is not prime. Res64: 0E67DFCA6B44BA61 Time : 0.0 sec. user=mdettweiler [2012-08-20 08:23:00] 977*2^1226802-1 is not prime. Res64: 632C8181C9ADA1EE Time : 0.0 sec. user=mdettweiler [2012-08-20 08:25:46] 741*2^1226802-1 is not prime. Res64: 4FC6CC6A23CB33FC Time : 0.0 sec. user=vaughan [2012-08-20 08:27:23] 737*2^1226802-1 is not prime. Res64: B22A8ADB934B36B8 Time : 0.0 sec. user=mdettweiler [2012-08-20 08:29:07] 631*2^1226803-1 is not prime. Res64: A5921BC03A18764B Time : 0.0 sec. user=mdettweiler [2012-08-20 08:29:07] 639*2^1226803-1 is not prime. Res64: FFB153D3CD492283 Time : 0.0 sec. user=mdettweiler [2012-08-20 08:43:45] 871*2^1226803-1 is not prime. Res64: 93144A25E87E1184 Time : 0.0 sec. user=mdettweiler [2012-08-20 08:43:46] 843*2^1226804-1 is not prime. Res64: 0ED36454BACB5CCC Time : 0.0 sec. user=mdettweiler [2012-08-20 08:49:53] 735*2^1226805-1 is not prime. Res64: 2420598E5CB568C1 Time : 0.0 sec. user=mdettweiler [2012-08-20 08:49:53] 741*2^1226805-1 is not prime. Res64: A860A9D980B58633 Time : 0.0 sec. user=mdettweiler [2012-08-20 08:50:23] 649*2^1226803-1 is not prime. Res64: 9A0F5F88ED81CE77 Time : 0.0 sec. user=mdettweiler [2012-08-20 09:02:27] 885*2^1226804-1 is not prime. Res64: 407A9154E2582824 Time : 0.0 sec. user=mdettweiler [2012-08-20 09:04:32] 805*2^1226805-1 is not prime. Res64: 48B3E2B16F9FDE80 Time : 0.0 sec. user=mdettweiler [2012-08-20 09:04:32] 837*2^1226805-1 is not prime. Res64: B0AC2451387A3E7E Time : 0.0 sec. user=vaughan [2012-08-20 09:05:08] 903*2^1226804-1 is not prime. Res64: DC9F9E449123274B Time : 0.0 sec. user=mdettweiler [2012-08-20 09:10:39] 861*2^1226805-1 is not prime. Res64: BC7B123CB0E7A5E1 Time : 0.0 sec. user=mdettweiler [2012-08-20 09:10:41] 921*2^1226805-1 is not prime. Res64: 25D8593168955985 Time : 0.0 sec. user=mdettweiler [2012-08-20 09:22:43] 985*2^1226805-1 is not prime. Res64: D347CADBB75AD3A9 Time : 0.0 sec. user=mdettweiler [2012-08-20 09:25:19] 785*2^1226806-1 is not prime. Res64: 1B7F2E3C2B9D5C75 Time : 0.0 sec. user=mdettweiler [2012-08-20 09:25:19] 881*2^1226806-1 is not prime. Res64: 8AEF7CB874922B33 Time : 0.0 sec. user=mdettweiler [2012-08-20 09:32:02] 911*2^1226806-1 is not prime. Res64: E180D1FD7ADE67D5 Time : 0.0 sec. user=mdettweiler [2012-08-20 09:32:02] 957*2^1226806-1 is not prime. Res64: 72E76C4FC795FC0A Time : 0.0 sec. user=mdettweiler [2012-08-20 09:38:14] 743*2^1226806-1 is not prime. Res64: D9DAFB9CBF8826E0 Time : 0.0 sec. user=vaughan [2012-08-20 09:42:49] 891*2^1226806-1 is not prime. Res64: 8B9BD776E70DEDD7 Time : 0.0 sec. user=mdettweiler [2012-08-20 09:46:05] 633*2^1226807-1 is not prime. Res64: 945BD179AE304561 Time : 0.0 sec. user=mdettweiler [2012-08-20 09:46:06] 649*2^1226807-1 is not prime. Res64: CBC3109A799A96E4 Time : 0.0 sec. user=mdettweiler [2012-08-20 09:52:51] 651*2^1226807-1 is not prime. Res64: 7168F35A8AB53EA9 Time : 0.0 sec. user=mdettweiler [2012-08-20 09:52:52] 661*2^1226807-1 is not prime. Res64: 1317D556568C7632 Time : 0.0 sec. user=mdettweiler [2012-08-20 09:54:59] 615*2^1226807-1 is not prime. Res64: 603C1A4628BD70FB Time : 0.0 sec. user=mdettweiler [2012-08-20 10:06:52] 861*2^1226807-1 is not prime. Res64: 3DE0F835B01867E3 Time : 0.0 sec. user=mdettweiler [2012-08-20 10:06:53] 865*2^1226807-1 is not prime. Res64: DFAE10956844CA89 Time : 0.0 sec. user=mdettweiler [2012-08-20 10:13:10] 729*2^1226807-1 is not prime. Res64: 10D097798A42ADD8 Time : 0.0 sec. user=mdettweiler [2012-08-20 10:13:39] 605*2^1226808-1 is not prime. Res64: 1C9FD630FA6CD045 Time : 0.0 sec. user=mdettweiler [2012-08-20 10:13:40] 689*2^1226808-1 is not prime. Res64: 7E1DD1B1C32D7201 Time : 0.0 sec. user=vaughan [2012-08-20 10:20:27] 759*2^1226807-1 is not prime. Res64: BCF71F7999C2F315 Time : 0.0 sec. user=mdettweiler [2012-08-20 10:27:29] 735*2^1226808-1 is not prime. Res64: B1BAF74871936450 Time : 0.0 sec. user=mdettweiler [2012-08-20 10:27:49] 753*2^1226808-1 is not prime. Res64: 4815DEA89F0C94C6 Time : 0.0 sec. user=mdettweiler [2012-08-20 10:27:50] 879*2^1226808-1 is not prime. Res64: 82135E186D55728A Time : 0.0 sec. user=mdettweiler [2012-08-20 10:34:27] 741*2^1226809-1 is not prime. Res64: 9D6D291005A59E38 Time : 0.0 sec. user=mdettweiler [2012-08-20 10:34:27] 829*2^1226809-1 is not prime. Res64: ED671272D732FF16 Time : 0.0 sec. user=mdettweiler [2012-08-20 10:46:44] 927*2^1226808-1 is not prime. Res64: 1CC7ADFC5F6EDAC8 Time : 0.0 sec. user=mdettweiler [2012-08-20 10:48:39] 717*2^1226810-1 is not prime. Res64: 1ABD2286CB6A9947 Time : 0.0 sec. user=mdettweiler [2012-08-20 10:48:39] 801*2^1226810-1 is not prime. Res64: B1EE2EB9686A6B24 Time : 0.0 sec. user=mdettweiler [2012-08-20 10:55:14] 1001*2^1226810-1 is not prime. Res64: 20CC4B8458D08CA0 Time : 0.0 sec. user=mdettweiler [2012-08-20 10:55:14] 619*2^1226811-1 is not prime. Res64: 1F51CE5DF34AE171 Time : 0.0 sec. user=vaughan [2012-08-20 10:58:08] 885*2^1226809-1 is not prime. Res64: B86D426923B13127 Time : 0.0 sec. user=mdettweiler [2012-08-20 11:00:51] 945*2^1226809-1 is not prime. Res64: B1023F5A01FE50A5 Time : 0.0 sec. user=mdettweiler [2012-08-20 11:09:25] 783*2^1226811-1 is not prime. Res64: 3003FFAB44B564E2 Time : 0.0 sec. user=mdettweiler [2012-08-20 11:09:28] 945*2^1226811-1 is not prime. Res64: FA5A3BD0959BFAEA Time : 0.0 sec. user=mdettweiler [2012-08-20 11:17:12] 949*2^1226811-1 is not prime. Res64: FAE0331D41F10E30 Time : 0.0 sec. user=mdettweiler [2012-08-20 11:20:20] 679*2^1226811-1 is not prime. Res64: B7B8A595C7014B86 Time : 0.0 sec. user=mdettweiler [2012-08-20 11:30:23] 699*2^1226812-1 is not prime. Res64: 2B484388836ED316 Time : 0.0 sec. user=mdettweiler [2012-08-20 11:30:24] 983*2^1226812-1 is not prime. Res64: E1FA457764C592F1 Time : 0.0 sec. user=mdettweiler [2012-08-20 11:34:17] 693*2^1226812-1 is not prime. Res64: 94EF5F669E81DD8D Time : 0.0 sec. user=vaughan [2012-08-20 11:35:48] 687*2^1226812-1 is not prime. Res64: 54FD1EF66B7F8281 Time : 0.0 sec. user=mdettweiler [2012-08-20 11:51:15] 715*2^1226813-1 is not prime. Res64: 754F22C226D48A30 Time : 0.0 sec. user=mdettweiler [2012-08-20 11:51:16] 727*2^1226813-1 is not prime. Res64: 7619D2B9546E07B9 Time : 0.0 sec. user=mdettweiler [2012-08-20 11:53:48] 691*2^1226813-1 is not prime. Res64: 53B681B735816947 Time : 0.0 sec. user=mdettweiler [2012-08-20 11:55:18] 605*2^1226812-1 is not prime. Res64: 14F3B0A17193AC4C Time : 0.0 sec. user=mdettweiler [2012-08-20 12:08:26] 747*2^1226813-1 is not prime. Res64: 1CBFB0EE7DF2D44D Time : 0.0 sec. user=mdettweiler [2012-08-20 12:12:01] 879*2^1226813-1 is not prime. Res64: AED58E34EE84173D Time : 0.0 sec. user=mdettweiler [2012-08-20 12:12:04] 889*2^1226813-1 is not prime. Res64: 600FA56D9588C1F8 Time : 0.0 sec. user=vaughan [2012-08-20 12:13:31] 811*2^1226813-1 is not prime. Res64: FD4FE37D48D87E88 Time : 0.0 sec. user=mdettweiler [2012-08-20 12:16:04] 635*2^1226814-1 is not prime. Res64: EAC8D6567226C901 Time : 0.0 sec. user=mdettweiler [2012-08-20 12:16:04] 693*2^1226814-1 is not prime. Res64: FB196EA26F939072 Time : 0.0 sec. user=mdettweiler [2012-08-20 12:26:06] 925*2^1226813-1 is not prime. Res64: 4463CE7E4C3B7E03 Time : 0.0 sec. user=mdettweiler [2012-08-20 12:32:55] 601*2^1226815-1 is not prime. Res64: E09A9A236E92AA6C Time : 0.0 sec. user=mdettweiler [2012-08-20 12:32:55] 771*2^1226815-1 is not prime. Res64: A810A8907B020086 Time : 0.0 sec. user=mdettweiler [2012-08-20 12:36:50] 919*2^1226815-1 is not prime. Res64: 8D2764DA6E459D28 Time : 0.0 sec. user=mdettweiler [2012-08-20 12:36:50] 617*2^1226816-1 is not prime. Res64: DEBBC5FEDCE32E83 Time : 0.0 sec. user=mdettweiler [2012-08-20 12:41:08] 807*2^1226814-1 is not prime. Res64: 019214E35F6FD410 Time : 0.0 sec. user=vaughan [2012-08-20 12:51:11] 853*2^1226815-1 is not prime. Res64: 0E74AC39D5DDD3DE Time : 0.0 sec. user=mdettweiler [2012-08-20 12:53:44] 635*2^1226816-1 is not prime. Res64: 82F45EFBFCB2AB38 Time : 0.0 sec. user=mdettweiler [2012-08-20 12:53:45] 645*2^1226816-1 is not prime. Res64: DB3D69AFFBA67B73 Time : 0.0 sec. user=mdettweiler [2012-08-20 12:57:39] 657*2^1226816-1 is not prime. Res64: F29B0B61CA809912 Time : 0.0 sec. user=mdettweiler [2012-08-20 12:57:40] 693*2^1226816-1 is not prime. Res64: F65FAF6FA9F74E9F Time : 0.0 sec. user=mdettweiler [2012-08-20 12:58:18] 633*2^1226816-1 is not prime. Res64: 1A5B6A623418DBAC Time : 0.0 sec. user=mdettweiler [2012-08-20 13:13:35] 725*2^1226816-1 is not prime. Res64: 127EBDFD879F06AA Time : 0.0 sec. user=mdettweiler [2012-08-20 13:14:34] 897*2^1226816-1 is not prime. Res64: 1F65DEAADFA3BDE4 Time : 0.0 sec. user=mdettweiler [2012-08-20 13:14:34] 903*2^1226816-1 is not prime. Res64: 42F6B246ED5FC400 Time : 0.0 sec. user=mdettweiler [2012-08-20 13:18:28] 601*2^1226817-1 is not prime. Res64: 0DBB7823ABCA50DE Time : 0.0 sec. user=mdettweiler [2012-08-20 13:18:28] 609*2^1226817-1 is not prime. Res64: C8E870FAC3CF59BE Time : 0.0 sec. user=vaughan [2012-08-20 13:28:52] 873*2^1226816-1 is not prime. Res64: F0300AC3FD2131DF Time : 0.0 sec. user=mdettweiler [2012-08-20 13:29:41] 681*2^1226817-1 is not prime. Res64: 22431E4FA8D9F9AA Time : 0.0 sec. user=mdettweiler [2012-08-20 13:35:19] 741*2^1226817-1 is not prime. Res64: 42989D0EA3E60311 Time : 0.0 sec. user=mdettweiler [2012-08-20 13:35:19] 769*2^1226817-1 is not prime. Res64: E751D207E7EED00B Time : 0.0 sec. user=mdettweiler [2012-08-20 13:39:12] 831*2^1226817-1 is not prime. Res64: E2C2ABF32DD227BA Time : 0.0 sec. user=mdettweiler [2012-08-20 13:39:13] 889*2^1226817-1 is not prime. Res64: F01C1E141CED3F67 Time : 0.0 sec. user=mdettweiler [2012-08-20 13:44:07] 711*2^1226817-1 is not prime. Res64: 034E0D8F60A403FB Time : 0.0 sec. user=mdettweiler [2012-08-20 13:56:05] 773*2^1226818-1 is not prime. Res64: 24802B0522441D0E Time : 0.0 sec. user=mdettweiler [2012-08-20 13:56:05] 791*2^1226818-1 is not prime. Res64: ECB27BB18E96E912 Time : 0.0 sec. user=mdettweiler [2012-08-20 13:59:58] 825*2^1226818-1 is not prime. Res64: 3567A1F35198DE80 Time : 0.0 sec. user=mdettweiler [2012-08-20 13:59:59] 975*2^1226818-1 is not prime. Res64: A17779138C380BD6 Time : 0.0 sec. user=mdettweiler [2012-08-20 14:00:11] 979*2^1226817-1 is not prime. Res64: 2232C7D12C9B2EE1 Time : 0.0 sec. user=vaughan [2012-08-20 14:06:40] 891*2^1226817-1 is not prime. Res64: 533FE3CA5B2A4BBE Time : 0.0 sec. user=mdettweiler [2012-08-20 14:14:29] 685*2^1226819-1 is not prime. Res64: 4D854373A30E9DBA Time : 0.0 sec. user=mdettweiler [2012-08-20 14:16:52] 811*2^1226819-1 is not prime. Res64: FD6CE829A4FD5E75 Time : 0.0 sec. user=mdettweiler [2012-08-20 14:16:52] 855*2^1226819-1 is not prime. Res64: 9F88CBEE81A9801A Time : 0.0 sec. user=mdettweiler [2012-08-20 14:20:44] 939*2^1226819-1 is not prime. Res64: D39C70987FDD1105 Time : 0.0 sec. user=mdettweiler [2012-08-20 14:20:44] 609*2^1226820-1 is not prime. Res64: C4DC5035C9CF3959 Time : 0.0 sec. user=mdettweiler [2012-08-20 14:30:26] 669*2^1226820-1 is not prime. Res64: C09DCA2AF0B69401 Time : 0.0 sec. user=mdettweiler [2012-08-20 14:37:39] 765*2^1226820-1 is not prime. Res64: 352BBE6F86FEE950 Time : 0.0 sec. user=mdettweiler [2012-08-20 14:37:39] 773*2^1226820-1 is not prime. Res64: 6E964989A041C3CC Time : 0.0 sec. user=mdettweiler [2012-08-20 14:41:31] 809*2^1226820-1 is not prime. Res64: B6CB33AFD14B662C Time : 0.0 sec. user=mdettweiler [2012-08-20 14:41:32] 825*2^1226820-1 is not prime. Res64: 7FCEC2DFAF51B07B Time : 0.0 sec. user=vaughan [2012-08-20 14:44:24] 723*2^1226820-1 is not prime. Res64: 2C9C36A664578E97 Time : 0.0 sec. user=mdettweiler [2012-08-20 14:45:03] 737*2^1226820-1 is not prime. Res64: AC8D0BFD026C7726 Time : 0.0 sec. user=mdettweiler [2012-08-20 14:58:26] 625*2^1226821-1 is not prime. Res64: 2945379CEA97F65F Time : 0.0 sec. user=mdettweiler [2012-08-20 14:58:27] 649*2^1226821-1 is not prime. Res64: 893A998BF99E6E5C Time : 0.0 sec. user=mdettweiler [2012-08-20 15:01:03] 887*2^1226820-1 is not prime. Res64: 428FB65B9E42E20A Time : 0.0 sec. user=mdettweiler [2012-08-20 15:02:19] 939*2^1226821-1 is not prime. Res64: C809DBC168DC7CC6 Time : 0.0 sec. user=mdettweiler [2012-08-20 15:02:20] 651*2^1226822-1 is not prime. Res64: F030F0A307C3F1D6 Time : 0.0 sec. user=mdettweiler [2012-08-20 15:18:01] 753*2^1226822-1 is not prime. Res64: B8FC7959B221B84E Time : 0.0 sec. user=mdettweiler [2012-08-20 15:19:14] 885*2^1226822-1 is not prime. Res64: 8A1B7ABEC8C93551 Time : 0.0 sec. user=mdettweiler [2012-08-20 15:19:14] 987*2^1226822-1 is not prime. Res64: 8BBA577CFE3A14CA Time : 0.0 sec. user=vaughan [2012-08-20 15:22:04] 743*2^1226822-1 is not prime. Res64: 9A05F0B8C7DD4A50 Time : 0.0 sec. user=mdettweiler [2012-08-20 15:23:07] 723*2^1226823-1 is not prime. Res64: 5D157BB963A7DAD3 Time : 0.0 sec. user=mdettweiler [2012-08-20 15:23:07] 829*2^1226823-1 is not prime. Res64: D566962B9753B80E Time : 0.0 sec. user=mdettweiler [2012-08-20 15:35:53] 619*2^1226823-1 is not prime. Res64: B3E3954D7E4DC28C Time : 0.0 sec. user=mdettweiler [2012-08-20 15:40:01] 919*2^1226823-1 is not prime. Res64: 8AE7D4B37AA58064 Time : 0.0 sec. user=mdettweiler [2012-08-20 15:40:01] 945*2^1226823-1 is not prime. Res64: 76623608BB9FBF44 Time : 0.0 sec. user=mdettweiler [2012-08-20 15:43:54] 985*2^1226823-1 is not prime. Res64: 247402A3E86FC227 Time : 0.0 sec. user=mdettweiler [2012-08-20 15:43:54] 645*2^1226824-1 is not prime. Res64: 3CB0ADD3F297142C Time : 0.0 sec. user=mdettweiler [2012-08-20 15:50:54] 913*2^1226823-1 is not prime. Res64: A1B194C2C3835CF5 Time : 0.0 sec. user=vaughan [2012-08-20 15:59:43] 963*2^1226823-1 is not prime. Res64: 90C8CEED97864764 Time : 0.0 sec. user=mdettweiler [2012-08-20 16:00:48] 743*2^1226824-1 is not prime. Res64: 1C5EF16B1ACEF7A0 Time : 0.0 sec. user=mdettweiler [2012-08-20 16:00:49] 827*2^1226824-1 is not prime. Res64: F050DC97E45FB0CC Time : 0.0 sec. user=mdettweiler [2012-08-20 16:04:41] 975*2^1226824-1 is not prime. Res64: C0F819371945BB5B Time : 0.0 sec. user=mdettweiler [2012-08-20 16:04:42] 649*2^1226825-1 is not prime. Res64: 69073370483CCBE8 Time : 0.0 sec. user=mdettweiler [2012-08-20 16:08:02] 663*2^1226824-1 is not prime. Res64: A84787BE3D7F3EE5 Time : 0.0 sec. user=mdettweiler [2012-08-20 16:21:36] 831*2^1226825-1 is not prime. Res64: C63F53349930BC3D Time : 0.0 sec. user=mdettweiler [2012-08-20 16:21:36] 925*2^1226825-1 is not prime. Res64: 6532C692E15D48DA Time : 0.0 sec. user=mdettweiler [2012-08-20 16:23:05] 711*2^1226825-1 is not prime. Res64: 0DB1BDEA82C7C4F1 Time : 0.0 sec. user=mdettweiler [2012-08-20 16:25:52] 981*2^1226825-1 is not prime. Res64: 6B8DC34075D54893 Time : 0.0 sec. user=mdettweiler [2012-08-20 16:25:52] 677*2^1226826-1 is not prime. Res64: FDA8D544F316C21F Time : 0.0 sec. user=vaughan [2012-08-20 16:37:24] 741*2^1226825-1 is not prime. Res64: 63D1706C68AA1BDA Time : 0.0 sec. user=mdettweiler [2012-08-20 16:39:55] 825*2^1226826-1 is not prime. Res64: 62B67E97B37F0963 Time : 0.0 sec. user=mdettweiler [2012-08-20 16:42:26] 861*2^1226826-1 is not prime. Res64: B4C28F34D3EC5B68 Time : 0.0 sec. user=mdettweiler [2012-08-20 16:42:26] 905*2^1226826-1 is not prime. Res64: 05E638195AC8DF95 Time : 0.0 sec. user=mdettweiler [2012-08-20 16:46:42] 609*2^1226827-1 is not prime. Res64: 87629598A9C15E01 Time : 0.0 sec. user=mdettweiler [2012-08-20 16:46:42] 645*2^1226827-1 is not prime. Res64: 71585B59AC107559 Time : 0.0 sec. user=mdettweiler [2012-08-20 16:55:02] 603*2^1226827-1 is not prime. Res64: 60CBB2F308635C50 Time : 0.0 sec. user=mdettweiler [2012-08-20 17:03:13] 931*2^1226827-1 is not prime. Res64: B9EE9FCDE94F94CC Time : 0.0 sec. user=mdettweiler [2012-08-20 17:03:13] 617*2^1226828-1 is not prime. Res64: 103565B733538D82 Time : 0.0 sec. user=mdettweiler [2012-08-20 17:07:29] 735*2^1226828-1 is not prime. Res64: BD296D260B8EA13B Time : 0.0 sec. user=mdettweiler [2012-08-20 17:07:30] 767*2^1226828-1 is not prime. Res64: 525BB13C0A700C4B Time : 0.0 sec. user=mdettweiler [2012-08-20 17:12:16] 919*2^1226827-1 is not prime. Res64: 62DA36052E383D8C Time : 0.0 sec. user=vaughan [2012-08-20 17:15:04] 801*2^1226827-1 is not prime. Res64: B0A82370B3EDEE46 Time : 0.0 sec. user=mdettweiler [2012-08-20 17:24:10] 833*2^1226828-1 is not prime. Res64: 4D4E70F4C1EB955F Time : 0.0 sec. user=mdettweiler [2012-08-20 17:24:10] 845*2^1226828-1 is not prime. Res64: 25ACABFEF47A4EA5 Time : 0.0 sec. user=mdettweiler [2012-08-20 17:28:18] 935*2^1226828-1 is not prime. Res64: 3D09DAA20B5AACEC Time : 0.0 sec. user=mdettweiler [2012-08-20 17:28:18] 999*2^1226828-1 is not prime. Res64: A43E83B536E383CA Time : 0.0 sec. user=mdettweiler [2012-08-20 17:43:13] 627*2^1226829-1 is not prime. Res64: DDEECB832AFF37BE Time : 0.0 sec. user=mdettweiler [2012-08-20 17:44:59] 735*2^1226829-1 is not prime. Res64: A2C8286B48A630AD Time : 0.0 sec. user=mdettweiler [2012-08-20 17:44:59] 745*2^1226829-1 is not prime. Res64: 4F30BE567AA159DC Time : 0.0 sec. user=mdettweiler [2012-08-20 17:49:05] 877*2^1226829-1 is not prime. Res64: 8DEF349D8B403528 Time : 0.0 sec. user=mdettweiler [2012-08-20 17:49:05] 907*2^1226829-1 is not prime. Res64: 51414276F36FBB12 Time : 0.0 sec. user=vaughan [2012-08-20 17:53:05] 675*2^1226829-1 is not prime. Res64: 2E98707B838E7593 Time : 0.0 sec. user=mdettweiler [2012-08-20 17:59:44] 797*2^1226828-1 is not prime. Res64: CD4926CBEE5E0D13 Time : 0.0 sec. user=mdettweiler [2012-08-20 18:05:46] 717*2^1226830-1 is not prime. Res64: 69465E165C10AC32 Time : 0.0 sec. user=mdettweiler [2012-08-20 18:05:46] 723*2^1226830-1 is not prime. Res64: 2D31033377852191 Time : 0.0 sec. user=mdettweiler [2012-08-20 18:09:52] 885*2^1226830-1 is not prime. Res64: 2D5844D7416279AB Time : 0.0 sec. user=mdettweiler [2012-08-20 18:09:53] 917*2^1226830-1 is not prime. Res64: 5178266AD09DC6A2 Time : 0.0 sec. user=mdettweiler [2012-08-20 18:13:51] 949*2^1226829-1 is not prime. Res64: 8B7F9D105E554EF9 Time : 0.0 sec. user=mdettweiler [2012-08-20 18:26:35] 823*2^1226831-1 is not prime. Res64: CBE99AFF17C6A6F6 Time : 0.0 sec. user=mdettweiler [2012-08-20 18:26:35] 855*2^1226831-1 is not prime. Res64: CD5ADA05212DB4F3 Time : 0.0 sec. user=mdettweiler [2012-08-20 18:30:41] 865*2^1226831-1 is not prime. Res64: 128B1C1A08A28A2E Time : 0.0 sec. user=mdettweiler [2012-08-20 18:30:41] 945*2^1226831-1 is not prime. Res64: 57C2E2FB98C96A09 Time : 0.0 sec. user=vaughan [2012-08-20 18:30:44] 987*2^1226830-1 is not prime. Res64: 538960C23CAC2527 Time : 0.0 sec. user=mdettweiler [2012-08-20 18:31:07] 715*2^1226831-1 is not prime. Res64: 0B6BA12EDBDD8AB3 Time : 0.0 sec. user=mdettweiler [2012-08-20 18:45:33] 969*2^1226831-1 is not prime. Res64: D3F58E6ED0D573B7 Time : 0.0 sec. user=mdettweiler [2012-08-20 18:47:23] 689*2^1226832-1 is not prime. Res64: FA87319567CBE467 Time : 0.0 sec. user=mdettweiler [2012-08-20 18:47:24] 867*2^1226832-1 is not prime. Res64: 40EFE9D130ED2054 Time : 0.0 sec. user=mdettweiler [2012-08-20 18:51:30] 625*2^1226833-1 is not prime. Res64: EECCAD88CE92BF6A Time : 0.0 sec. user=mdettweiler [2012-08-20 18:51:30] 639*2^1226833-1 is not prime. Res64: CC2D825030DA5BA0 Time : 0.0 sec. user=mdettweiler [2012-08-20 19:02:31] 651*2^1226833-1 is not prime. Res64: D2E4F3ECCEC8301A Time : 0.0 sec. user=mdettweiler [2012-08-20 19:08:11] 729*2^1226833-1 is not prime. Res64: DFCD5221F48284C0 Time : 0.0 sec. user=mdettweiler [2012-08-20 19:08:12] 747*2^1226833-1 is not prime. Res64: D9F6A819158CA37A Time : 0.0 sec. user=vaughan [2012-08-20 19:08:24] 649*2^1226833-1 is not prime. Res64: 3AA9B4D5DFAAC7A7 Time : 0.0 sec. user=mdettweiler [2012-08-20 19:12:17] 811*2^1226833-1 is not prime. Res64: B31BC21F4456CB29 Time : 0.0 sec. user=mdettweiler [2012-08-20 19:12:17] 937*2^1226833-1 is not prime. Res64: E01BEA3FD8E833D1 Time : 0.0 sec. user=mdettweiler [2012-08-20 19:16:50] 687*2^1226833-1 is not prime. Res64: 849F4996D7C61B01 Time : 0.0 sec. user=mdettweiler [2012-08-20 19:29:01] 711*2^1226834-1 is not prime. Res64: 02093AE0818F0515 Time : 0.0 sec. user=mdettweiler [2012-08-20 19:29:02] 797*2^1226834-1 is not prime. Res64: 67C0908C717EF362 Time : 0.0 sec. user=mdettweiler [2012-08-20 19:33:10] 995*2^1226834-1 is not prime. Res64: A942048ABEF38A2D Time : 0.0 sec. user=mdettweiler [2012-08-20 19:33:10] 1001*2^1226834-1 is not prime. Res64: 1027317BD2CCB10A Time : 0.0 sec. user=mdettweiler [2012-08-20 19:33:53] 705*2^1226834-1 is not prime. Res64: 1A2D7843AE668E47 Time : 0.0 sec. user=vaughan [2012-08-20 19:46:03] 857*2^1226834-1 is not prime. Res64: B3E222C58D65AF9E Time : 0.0 sec. user=mdettweiler [2012-08-20 19:47:53] 643*2^1226835-1 is not prime. Res64: 3B32F4F99EF56D97 Time : 0.0 sec. user=mdettweiler [2012-08-20 19:49:58] 801*2^1226835-1 is not prime. Res64: 4156E37D7E599E7C Time : 0.0 sec. user=mdettweiler [2012-08-20 19:49:59] 943*2^1226835-1 is not prime. Res64: AB9F6F33602B4A19 Time : 0.0 sec. user=mdettweiler [2012-08-20 19:53:59] 951*2^1226835-1 is not prime. Res64: 25621CBEFFC7E049 Time : 0.0 sec. user=mdettweiler [2012-08-20 19:53:59] 985*2^1226835-1 is not prime. Res64: 689274339C1F5091 Time : 0.0 sec. user=mdettweiler [2012-08-20 20:05:09] 675*2^1226836-1 is not prime. Res64: 2596712224A83D60 Time : 0.0 sec. user=mdettweiler [2012-08-20 20:10:47] 735*2^1226836-1 is not prime. Res64: D6BEB6ED28EBA7FC Time : 0.0 sec. user=mdettweiler [2012-08-20 20:10:49] 759*2^1226836-1 is not prime. Res64: 7704934510269E44 Time : 0.0 sec. user=mdettweiler [2012-08-20 20:14:48] 843*2^1226836-1 is not prime. Res64: 61C993D79B259E72 Time : 0.0 sec. user=mdettweiler [2012-08-20 20:14:48] 857*2^1226836-1 is not prime. Res64: 2022E333DAF62098 Time : 0.0 sec. user=mdettweiler [2012-08-20 20:19:54] 717*2^1226836-1 is not prime. Res64: 8EAC2664EB2337AF Time : 0.0 sec. user=vaughan [2012-08-20 20:23:44] 707*2^1226836-1 is not prime. Res64: B6A2EF420C5C2386 Time : 0.0 sec. user=mdettweiler [2012-08-20 20:31:44] 923*2^1226836-1 is not prime. Res64: A8B4B8ABED6D8221 Time : 0.0 sec. user=mdettweiler [2012-08-20 20:31:44] 727*2^1226837-1 is not prime. Res64: 699B1CC8D26C3BDB Time : 0.0 sec. user=mdettweiler [2012-08-20 20:35:38] 847*2^1226837-1 is not prime. Res64: 0F5E1E3835F03ED6 Time : 0.0 sec. user=mdettweiler [2012-08-20 20:35:38] 879*2^1226837-1 is not prime. Res64: D9DF80A60723E652 Time : 0.0 sec. user=mdettweiler [2012-08-20 20:37:47] 903*2^1226836-1 is not prime. Res64: 02DE83274962E8B2 Time : 0.0 sec. user=mdettweiler [2012-08-20 20:52:34] 991*2^1226837-1 is not prime. Res64: BA418B760F65E09E Time : 0.0 sec. user=mdettweiler [2012-08-20 20:52:34] 635*2^1226838-1 is not prime. Res64: D9AAF0BCCD9D8B4C Time : 0.0 sec. user=mdettweiler [2012-08-20 20:53:00] 925*2^1226837-1 is not prime. Res64: 81BC3BCC28337C41 Time : 0.0 sec. user=mdettweiler [2012-08-20 20:56:26] 663*2^1226838-1 is not prime. Res64: C19292DE63A5EF36 Time : 0.0 sec. user=mdettweiler [2012-08-20 20:56:26] 677*2^1226838-1 is not prime. Res64: 8940156EF5B6BF0D Time : 0.0 sec. user=vaughan [2012-08-20 21:01:25] 937*2^1226837-1 is not prime. Res64: D529C996C3DDE578 Time : 0.0 sec. user=mdettweiler [2012-08-20 21:11:41] 713*2^1226838-1 is not prime. Res64: EC3824848407B3AC Time : 0.0 sec. user=mdettweiler [2012-08-20 21:13:22] 755*2^1226838-1 is not prime. Res64: 53B432893156F9D2 Time : 0.0 sec. user=mdettweiler [2012-08-20 21:13:24] 923*2^1226838-1 is not prime. Res64: AD609586A8C98354 Time : 0.0 sec. user=mdettweiler [2012-08-20 21:17:17] 1001*2^1226838-1 is not prime. Res64: 8BEB62D216A0DDF6 Time : 0.0 sec. user=mdettweiler [2012-08-20 21:17:17] 609*2^1226839-1 is not prime. Res64: F105E7DFF3455FAF Time : 0.0 sec. user=mdettweiler [2012-08-20 21:26:31] 977*2^1226838-1 is not prime. Res64: B3FB10F0499C5661 Time : 0.0 sec. user=mdettweiler [2012-08-20 21:34:17] 725*2^1226840-1 is not prime. Res64: 9E51545C95331214 Time : 0.0 sec. user=mdettweiler [2012-08-20 21:34:17] 743*2^1226840-1 is not prime. Res64: 44438B486DBFC041 Time : 0.0 sec. user=mdettweiler [2012-08-20 21:38:08] 839*2^1226840-1 is not prime. Res64: 9164EA19BB3C73FF Time : 0.0 sec. user=mdettweiler [2012-08-20 21:38:08] 935*2^1226840-1 is not prime. Res64: 21E24E7E32FA7604 Time : 0.0 sec. user=vaughan [2012-08-20 21:39:08] 705*2^1226839-1 is not prime. Res64: 62531E93F289F7E4 Time : 0.0 sec. user=mdettweiler [2012-08-20 21:45:05] 913*2^1226839-1 is not prime. Res64: 54C865C3B766E990 Time : 0.0 sec. user=mdettweiler [2012-08-20 21:55:16] 745*2^1226841-1 is not prime. Res64: FC7A8BED55FDE678 Time : 0.0 sec. user=mdettweiler [2012-08-20 21:55:17] 777*2^1226841-1 is not prime. Res64: E987195A78667BE1 Time : 0.0 sec. user=mdettweiler [2012-08-20 21:59:04] 885*2^1226841-1 is not prime. Res64: 9AE90932E6745C61 Time : 0.0 sec. user=mdettweiler [2012-08-20 21:59:04] 955*2^1226841-1 is not prime. Res64: 39748E69C7871919 Time : 0.0 sec. user=mdettweiler [2012-08-20 22:01:05] 999*2^1226840-1 is not prime. Res64: 5AE4C8EC8BCF05CA Time : 0.0 sec. user=mdettweiler [2012-08-20 22:16:13] 635*2^1226842-1 is not prime. Res64: F6032A43D804FBC0 Time : 0.0 sec. user=mdettweiler [2012-08-20 22:16:13] 713*2^1226842-1 is not prime. Res64: 836F8640EF7BD60B Time : 0.0 sec. user=vaughan [2012-08-20 22:16:47] 979*2^1226841-1 is not prime. Res64: F386E6A20237C6E1 Time : 0.0 sec. user=mdettweiler [2012-08-20 22:18:12] 611*2^1226842-1 is not prime. Res64: B77CD1529DE7DB69 Time : 0.0 sec. user=mdettweiler [2012-08-20 22:20:00] 917*2^1226842-1 is not prime. Res64: 01D494E5F943FADB Time : 0.0 sec. user=mdettweiler [2012-08-20 22:20:01] 619*2^1226843-1 is not prime. Res64: 1F03A6AE57B5F5C0 Time : 0.0 sec. user=mdettweiler [2012-08-20 22:33:58] 621*2^1226843-1 is not prime. Res64: 3D07F9AB3F0B4DDE Time : 0.0 sec. user=mdettweiler [2012-08-20 22:37:14] 741*2^1226843-1 is not prime. Res64: 3834FC9D67146896 Time : 0.0 sec. user=mdettweiler [2012-08-20 22:37:14] 825*2^1226843-1 is not prime. Res64: B2CB2F0E291D5E54 Time : 0.0 sec. user=mdettweiler [2012-08-20 22:40:56] 973*2^1226843-1 is not prime. Res64: 6E09865944264797 Time : 0.0 sec. user=mdettweiler [2012-08-20 22:40:56] 991*2^1226843-1 is not prime. Res64: 1E74405E16703AE4 Time : 0.0 sec. user=mdettweiler [2012-08-20 22:51:03] 969*2^1226843-1 is not prime. Res64: 590417140722EA98 Time : 0.0 sec. user=vaughan [2012-08-20 22:54:28] 955*2^1226843-1 is not prime. Res64: B544B0DADA34D749 Time : 0.0 sec. user=mdettweiler [2012-08-20 22:58:10] 809*2^1226844-1 is not prime. Res64: 0A381A0ECD92CECD Time : 0.0 sec. user=mdettweiler [2012-08-20 22:58:10] 947*2^1226844-1 is not prime. Res64: F1336013569DEB79 Time : 0.0 sec. user=mdettweiler [2012-08-20 23:01:53] 645*2^1226845-1 is not prime. Res64: E8C8C5BCA2CA973D Time : 0.0 sec. user=mdettweiler [2012-08-20 23:01:54] 699*2^1226845-1 is not prime. Res64: 7AB41F2DC3A6A58F Time : 0.0 sec. user=mdettweiler [2012-08-20 23:06:36] 717*2^1226844-1 is not prime. Res64: CECCF50ADC8AF576 Time : 0.0 sec. user=mdettweiler [2012-08-20 23:19:05] 819*2^1226845-1 is not prime. Res64: D613FC32BB4B47A1 Time : 0.0 sec. user=mdettweiler [2012-08-20 23:19:06] 831*2^1226845-1 is not prime. Res64: 1A451B35A16B7497 Time : 0.0 sec. user=mdettweiler [2012-08-20 23:22:34] 727*2^1226845-1 is not prime. Res64: B604EB569C5FBDFB Time : 0.0 sec. user=mdettweiler [2012-08-20 23:22:51] 859*2^1226845-1 is not prime. Res64: E4455DE26234F3D1 Time : 0.0 sec. user=mdettweiler [2012-08-20 23:22:52] 919*2^1226845-1 is not prime. Res64: 0EB01A4289B1802E Time : 0.0 sec. user=vaughan [2012-08-20 23:32:12] 757*2^1226845-1 is not prime. Res64: 372982BDFEDC828B Time : 0.0 sec. user=mdettweiler [2012-08-20 23:37:25] 957*2^1226845-1 is not prime. Res64: 1A9955500E23D6F4 Time : 0.0 sec. user=mdettweiler [2012-08-20 23:40:04] 663*2^1226846-1 is not prime. Res64: CE2C161DFEFEF5D2 Time : 0.0 sec. user=mdettweiler [2012-08-20 23:40:04] 675*2^1226846-1 is not prime. Res64: AF8E8775CF55A77E Time : 0.0 sec. user=mdettweiler [2012-08-20 23:43:47] 713*2^1226846-1 is not prime. Res64: 0AD4B1970759FF15 Time : 0.0 sec. user=mdettweiler [2012-08-20 23:43:47] 825*2^1226846-1 is not prime. Res64: 2590FD22E5332C1B Time : 0.0 sec. user=mdettweiler [2012-08-20 23:58:18] 707*2^1226846-1 is not prime. Res64: 473D69AC8449BC02 Time : 0.0 sec. user=mdettweiler [2012-08-21 00:00:59] 935*2^1226846-1 is not prime. Res64: 2E74E6260DCB8F6E Time : 0.0 sec. user=mdettweiler [2012-08-21 00:01:00] 957*2^1226846-1 is not prime. Res64: 024DC2D767D4ED45 Time : 0.0 sec.