user=vaughan [2012-10-30 00:28:57] 1001*2^1233358-1 is not prime. Res64: 1B6D84C303CD62C6 Time : 0.0 sec. user=vaughan [2012-10-30 01:06:40] 603*2^1233359-1 is not prime. Res64: 0E32AEB0335AA4DF Time : 0.0 sec. user=vaughan [2012-10-30 01:44:23] 693*2^1233359-1 is not prime. Res64: 99F0FC96D4EDD4E5 Time : 0.0 sec. user=vaughan [2012-10-30 02:22:04] 729*2^1233359-1 is not prime. Res64: 222468B189D97319 Time : 0.0 sec. user=vaughan [2012-10-30 02:59:46] 799*2^1233359-1 is not prime. Res64: C26B54F8FFF92B08 Time : 0.0 sec. user=vaughan [2012-10-30 03:37:37] 829*2^1233359-1 is not prime. Res64: F11E9849440975C7 Time : 0.0 sec. user=vaughan [2012-10-30 04:15:23] 879*2^1233359-1 is not prime. Res64: 622F3A6F7B00B1A4 Time : 0.0 sec. user=vaughan [2012-10-30 04:53:07] 909*2^1233359-1 is not prime. Res64: 4256CFE114B8107C Time : 0.0 sec. user=vaughan [2012-10-30 05:30:48] 693*2^1233360-1 is not prime. Res64: FBCE70727E8CF695 Time : 0.0 sec. user=vaughan [2012-10-30 06:08:30] 747*2^1233360-1 is not prime. Res64: 4466046CB24116D2 Time : 0.0 sec. user=vaughan [2012-10-30 06:46:15] 797*2^1233360-1 is not prime. Res64: 43AB4849C547F4AC Time : 0.0 sec. user=vaughan [2012-10-30 07:24:00] 803*2^1233360-1 is not prime. Res64: DA4CBC72B181E68E Time : 0.0 sec. user=vaughan [2012-10-30 08:01:47] 879*2^1233360-1 is not prime. Res64: A84388856D1D03DA Time : 0.0 sec. user=vaughan [2012-10-30 08:39:36] 645*2^1233361-1 is not prime. Res64: 26AA903026DED367 Time : 0.0 sec. user=vaughan [2012-10-30 09:17:19] 895*2^1233361-1 is not prime. Res64: D7EA17828BFF0F46 Time : 0.0 sec. user=vaughan [2012-10-30 09:55:02] 735*2^1233362-1 is not prime. Res64: 3A15B7072C02C01C Time : 0.0 sec. user=vaughan [2012-10-30 10:32:47] 885*2^1233362-1 is not prime. Res64: 629529C2CCDD59FE Time : 0.0 sec. user=vaughan [2012-10-30 11:10:35] 887*2^1233362-1 is not prime. Res64: EC657218E3BF5EDC Time : 0.0 sec. user=vaughan [2012-10-30 11:48:40] 605*2^1233232-1 is not prime. Res64: F7FEB96CE7535D82 Time : 0.0 sec. user=vaughan [2012-10-30 12:26:21] 653*2^1233232-1 is not prime. Res64: 78AA14EB742DDE35 Time : 0.0 sec. user=vaughan [2012-10-30 13:04:04] 797*2^1233232-1 is not prime. Res64: 851B39AA90091C88 Time : 0.0 sec. user=vaughan [2012-10-30 13:41:48] 899*2^1233232-1 is not prime. Res64: 135C44E113639DA7 Time : 0.0 sec. user=mdettweiler [2012-10-30 13:52:30] 655*2^1233357-1 is not prime. Res64: D5C739D2A482E99F Time : 0.0 sec. user=mdettweiler [2012-10-30 13:52:31] 669*2^1233357-1 is not prime. Res64: FE5DAE9B19695872 Time : 0.0 sec. user=mdettweiler [2012-10-30 13:53:10] 727*2^1233357-1 is not prime. Res64: 2D21672F3D2F0546 Time : 0.0 sec. user=mdettweiler [2012-10-30 13:53:11] 741*2^1233357-1 is not prime. Res64: B225324F71589D62 Time : 0.0 sec. user=mdettweiler [2012-10-30 14:14:02] 923*2^1233232-1 is not prime. Res64: 1E977148A031707E Time : 0.0 sec. user=mdettweiler [2012-10-30 14:14:04] 637*2^1233233-1 is not prime. Res64: 2F7ECAA8BEC670A0 Time : 0.0 sec. user=mdettweiler [2012-10-30 14:14:45] 759*2^1233233-1 is not prime. Res64: 825768F6701D26D5 Time : 0.0 sec. user=mdettweiler [2012-10-30 14:14:46] 879*2^1233233-1 is not prime. Res64: 639D4A3D173FC013 Time : 0.0 sec. user=vaughan [2012-10-30 14:19:32] 903*2^1233232-1 is not prime. Res64: A8BE057AE5B9A878 Time : 0.0 sec. user=mdettweiler [2012-10-30 14:35:25] 969*2^1233233-1 is not prime. Res64: 74E319C49F2CF4B9 Time : 0.0 sec. user=mdettweiler [2012-10-30 14:35:26] 991*2^1233233-1 is not prime. Res64: BE7C6D58116E70E4 Time : 0.0 sec. user=mdettweiler [2012-10-30 14:35:52] 611*2^1233234-1 is not prime. Res64: 4C9CD0164C3849A1 Time : 0.0 sec. user=mdettweiler [2012-10-30 14:35:53] 935*2^1233362-1 is not prime. Res64: 69F117685E303D61 Time : 0.0 sec. user=mdettweiler [2012-10-30 14:56:23] 691*2^1233363-1 is not prime. Res64: B5073A97CAA018FC Time : 0.0 sec. user=mdettweiler [2012-10-30 14:56:24] 781*2^1233363-1 is not prime. Res64: AFB1C315D62B9FE3 Time : 0.0 sec. user=mdettweiler [2012-10-30 14:56:50] 819*2^1233363-1 is not prime. Res64: 3A251EA8BE3C7595 Time : 0.0 sec. user=mdettweiler [2012-10-30 14:56:50] 963*2^1233363-1 is not prime. Res64: A07BA60AF51F58D0 Time : 0.0 sec. user=vaughan [2012-10-30 14:57:14] 963*2^1233362-1 is not prime. Res64: 8B22818D4153BB02 Time : 0.0 sec. user=mdettweiler [2012-10-30 15:17:12] 665*2^1233364-1 is not prime. Res64: 3DACDF0681A26F5F Time : 0.0 sec. user=mdettweiler [2012-10-30 15:17:13] 759*2^1233364-1 is not prime. Res64: D993568DBD3EA995 Time : 0.0 sec. user=mdettweiler [2012-10-30 15:17:38] 855*2^1233364-1 is not prime. Res64: BC0D5FDDF886BCDB Time : 0.0 sec. user=mdettweiler [2012-10-30 15:17:39] 857*2^1233364-1 is not prime. Res64: 34DC3B16C173EF04 Time : 0.0 sec. user=vaughan [2012-10-30 15:34:59] 983*2^1233364-1 is not prime. Res64: 00FE35324E55B1DE Time : 0.0 sec. user=mdettweiler [2012-10-30 15:38:04] 619*2^1233365-1 is not prime. Res64: 176F67ECFF23B991 Time : 0.0 sec. user=mdettweiler [2012-10-30 15:38:04] 729*2^1233365-1 is not prime. Res64: 7B9C0BF4CF3076B0 Time : 0.0 sec. user=mdettweiler [2012-10-30 15:38:26] 865*2^1233365-1 is not prime. Res64: A5013B3D63CABA86 Time : 0.0 sec. user=mdettweiler [2012-10-30 15:38:26] 889*2^1233365-1 is not prime. Res64: E4E209B95605D878 Time : 0.0 sec. user=mdettweiler [2012-10-30 15:58:52] 635*2^1233366-1 is not prime. Res64: 63B929F291F53568 Time : 0.0 sec. user=mdettweiler [2012-10-30 15:58:53] 647*2^1233366-1 is not prime. Res64: 928421C0A9B4F27F Time : 0.0 sec. user=mdettweiler [2012-10-30 15:59:14] 873*2^1233366-1 is not prime. Res64: E6B3F4FF7CE09AF1 Time : 0.0 sec. user=mdettweiler [2012-10-30 15:59:15] 875*2^1233366-1 is not prime. Res64: 4FA0FDED35148BDC Time : 0.0 sec. user=vaughan [2012-10-30 16:12:41] 925*2^1233365-1 is not prime. Res64: 261875478D786211 Time : 0.0 sec. user=mdettweiler [2012-10-30 16:19:40] 663*2^1233367-1 is not prime. Res64: 103BEF92FA04EE79 Time : 0.0 sec. user=mdettweiler [2012-10-30 16:19:40] 703*2^1233367-1 is not prime. Res64: 35D41736057D6BB1 Time : 0.0 sec. user=mdettweiler [2012-10-30 16:20:03] 759*2^1233367-1 is not prime. Res64: 1767FE2F8447CA2B Time : 0.0 sec. user=mdettweiler [2012-10-30 16:20:03] 765*2^1233367-1 is not prime. Res64: 26F775411190E9E9 Time : 0.0 sec. user=vaughan [2012-10-30 16:50:35] 891*2^1233367-1 is not prime. Res64: 7F30A6AF1BD240B4 Time : 0.0 sec. user=mdettweiler [2012-10-30 17:11:32] 919*2^1233367-1 is not prime. Res64: B316D9585A9032BE Time : 0.0 sec. user=mdettweiler [2012-10-30 17:11:36] 951*2^1233367-1 is not prime. Res64: 7CA918CBC31EFAC0 Time : 0.0 sec. user=mdettweiler [2012-10-30 17:16:45] 993*2^1233367-1 is not prime. Res64: CE9986403B6893CB Time : 0.0 sec. user=mdettweiler [2012-10-30 17:16:46] 615*2^1233368-1 is not prime. Res64: BA4FD91F349608C7 Time : 0.0 sec. user=vaughan [2012-10-30 17:28:16] 669*2^1233368-1 is not prime. Res64: 9522C2662F86990F Time : 0.0 sec. user=mdettweiler [2012-10-30 17:32:58] 677*2^1233368-1 is not prime. Res64: 729296FFF887E43B Time : 0.0 sec. user=mdettweiler [2012-10-30 17:32:59] 687*2^1233368-1 is not prime. Res64: 995DBD4470595C19 Time : 0.0 sec. user=mdettweiler [2012-10-30 17:37:43] 773*2^1233368-1 is not prime. Res64: CB804F3EDC876CF4 Time : 0.0 sec. user=mdettweiler [2012-10-30 17:37:44] 797*2^1233368-1 is not prime. Res64: 1420B11C066C3192 Time : 0.0 sec. user=mdettweiler [2012-10-30 17:53:49] 657*2^1233369-1 is not prime. Res64: D44CE28B8E267EB0 Time : 0.0 sec. user=mdettweiler [2012-10-30 17:53:50] 661*2^1233369-1 is not prime. Res64: 7C705B28F1DF0F6E Time : 0.0 sec. user=mdettweiler [2012-10-30 17:58:35] 747*2^1233369-1 is not prime. Res64: CA58BF296240DBF8 Time : 0.0 sec. user=mdettweiler [2012-10-30 17:58:35] 895*2^1233369-1 is not prime. Res64: 15F5F5A2B6369580 Time : 0.0 sec. user=vaughan [2012-10-30 18:05:57] 893*2^1233368-1 is not prime. Res64: 70E2169906556D32 Time : 0.0 sec. user=mdettweiler [2012-10-30 18:14:45] 969*2^1233369-1 is not prime. Res64: E9E6D847312BB9AE Time : 0.0 sec. user=mdettweiler [2012-10-30 18:14:46] 635*2^1233370-1 is not prime. Res64: 8469110E4F2AD222 Time : 0.0 sec. user=mdettweiler [2012-10-30 18:19:26] 665*2^1233370-1 is not prime. Res64: F24B560CCC97BBBF Time : 0.0 sec. user=mdettweiler [2012-10-30 18:19:27] 971*2^1233370-1 is not prime. Res64: 39EC44D013B0ED93 Time : 0.0 sec. user=mdettweiler [2012-10-30 18:35:44] 621*2^1233371-1 is not prime. Res64: 658BDE503DE1C304 Time : 0.0 sec. user=mdettweiler [2012-10-30 18:35:45] 631*2^1233371-1 is not prime. Res64: B0C5D9E096966FE5 Time : 0.0 sec. user=mdettweiler [2012-10-30 18:40:22] 741*2^1233371-1 is not prime. Res64: 0AD4795B203D6E95 Time : 0.0 sec. user=mdettweiler [2012-10-30 18:40:23] 783*2^1233371-1 is not prime. Res64: 742DDDD7141CF321 Time : 0.0 sec. user=vaughan [2012-10-30 18:43:40] 981*2^1233370-1 is not prime. Res64: 92E728023B7A3375 Time : 0.0 sec. user=mdettweiler [2012-10-30 18:56:59] 801*2^1233371-1 is not prime. Res64: B6CA288C6F4B1F18 Time : 0.0 sec. user=mdettweiler [2012-10-30 18:57:00] 813*2^1233371-1 is not prime. Res64: FC834E4E8CC35BFB Time : 0.0 sec. user=mdettweiler [2012-10-30 19:01:48] 955*2^1233371-1 is not prime. Res64: F3B2FDC9C8E42EDD Time : 0.0 sec. user=mdettweiler [2012-10-30 19:01:50] 797*2^1233372-1 is not prime. Res64: CDD2C2887A7A7BFE Time : 0.0 sec. user=mdettweiler [2012-10-30 19:18:41] 675*2^1233373-1 is not prime. Res64: 21EA20E44E6AE3BA Time : 0.0 sec. user=mdettweiler [2012-10-30 19:18:43] 721*2^1233373-1 is not prime. Res64: 1ADBDF0ECE3BC41D Time : 0.0 sec. user=vaughan [2012-10-30 19:21:21] 923*2^1233372-1 is not prime. Res64: 95C4CA7A38440646 Time : 0.0 sec. user=mdettweiler [2012-10-30 19:23:36] 727*2^1233373-1 is not prime. Res64: 1CBCE958ACA9FF98 Time : 0.0 sec. user=mdettweiler [2012-10-30 19:23:36] 801*2^1233373-1 is not prime. Res64: 92EC4E0C387DCB2D Time : 0.0 sec. user=mdettweiler [2012-10-30 19:40:33] 895*2^1233373-1 is not prime. Res64: BCBAFEFA1D9E5AEE Time : 0.0 sec. user=mdettweiler [2012-10-30 19:40:34] 951*2^1233373-1 is not prime. Res64: E50E971CAFEFF795 Time : 0.0 sec. user=mdettweiler [2012-10-30 19:45:17] 885*2^1233374-1 is not prime. Res64: 5DE8D48C4057EE6E Time : 0.0 sec. user=mdettweiler [2012-10-30 19:45:17] 897*2^1233374-1 is not prime. Res64: 3A181D3AF3DA76FD Time : 0.0 sec. user=vaughan [2012-10-30 19:59:00] 663*2^1233374-1 is not prime. Res64: A46316335D38C8AD Time : 0.0 sec. user=mdettweiler [2012-10-30 20:02:03] 903*2^1233374-1 is not prime. Res64: 689909ABD01550EF Time : 0.0 sec. user=mdettweiler [2012-10-30 20:02:04] 917*2^1233374-1 is not prime. Res64: C3F129B7B9264511 Time : 0.0 sec. user=mdettweiler [2012-10-30 20:06:38] 923*2^1233374-1 is not prime. Res64: 11197FDA03D1B783 Time : 0.0 sec. user=mdettweiler [2012-10-30 20:06:41] 953*2^1233374-1 is not prime. Res64: 3B9321EF030DEC83 Time : 0.0 sec. user=mdettweiler [2012-10-30 20:23:03] 789*2^1233375-1 is not prime. Res64: 6318F64F89BAC69C Time : 0.0 sec. user=mdettweiler [2012-10-30 20:23:03] 895*2^1233375-1 is not prime. Res64: 325EB3CDDC987AC3 Time : 0.0 sec. user=mdettweiler [2012-10-30 20:27:46] 609*2^1233376-1 is not prime. Res64: A43B25928F18663B Time : 0.0 sec. user=mdettweiler [2012-10-30 20:27:46] 657*2^1233376-1 is not prime. Res64: 3099B07360B66A18 Time : 0.0 sec. user=vaughan [2012-10-30 20:36:40] 705*2^1233375-1 is not prime. Res64: E7FEB3318D903FA2 Time : 0.0 sec. user=mdettweiler [2012-10-30 20:44:03] 675*2^1233376-1 is not prime. Res64: 1156F96E75BC3D34 Time : 0.0 sec. user=mdettweiler [2012-10-30 20:44:03] 693*2^1233376-1 is not prime. Res64: F65D2C48D3266AF8 Time : 0.0 sec. user=mdettweiler [2012-10-30 20:48:39] 705*2^1233376-1 is not prime. Res64: 471B8C805B93B14B Time : 0.0 sec. user=mdettweiler [2012-10-30 20:48:39] 755*2^1233376-1 is not prime. Res64: 2E993ACE63A388F4 Time : 0.0 sec. user=mdettweiler [2012-10-30 21:05:04] 923*2^1233376-1 is not prime. Res64: 01302E9CE3BD3253 Time : 0.0 sec. user=mdettweiler [2012-10-30 21:05:07] 685*2^1233377-1 is not prime. Res64: 3DEC289997C9C747 Time : 0.0 sec. user=mdettweiler [2012-10-30 21:09:38] 711*2^1233377-1 is not prime. Res64: 9B9AAD07AD548A25 Time : 0.0 sec. user=mdettweiler [2012-10-30 21:09:41] 795*2^1233377-1 is not prime. Res64: 8EA04B56EAB8591F Time : 0.0 sec. user=vaughan [2012-10-30 21:14:24] 845*2^1233376-1 is not prime. Res64: BD4F22F41C430E24 Time : 0.0 sec. user=mdettweiler [2012-10-30 21:25:59] 867*2^1233377-1 is not prime. Res64: D1C4B2A86C6B08BB Time : 0.0 sec. user=mdettweiler [2012-10-30 21:26:00] 879*2^1233377-1 is not prime. Res64: 55DF911675D678BF Time : 0.0 sec. user=mdettweiler [2012-10-30 21:30:32] 885*2^1233377-1 is not prime. Res64: 10B095580C286FDD Time : 0.0 sec. user=mdettweiler [2012-10-30 21:30:32] 915*2^1233377-1 is not prime. Res64: B1817949ED570834 Time : 0.0 sec. user=mdettweiler [2012-10-30 21:46:51] 945*2^1233377-1 is not prime. Res64: 7B665436410A64B2 Time : 0.0 sec. user=mdettweiler [2012-10-30 21:46:52] 605*2^1233378-1 is not prime. Res64: 5A2F93BFBF9758B6 Time : 0.0 sec. user=mdettweiler [2012-10-30 21:51:24] 633*2^1233378-1 is not prime. Res64: D9A576B9FC74E81D Time : 0.0 sec. user=mdettweiler [2012-10-30 21:51:25] 677*2^1233378-1 is not prime. Res64: 5E5B48880E628F45 Time : 0.0 sec. user=vaughan [2012-10-30 21:52:09] 931*2^1233377-1 is not prime. Res64: B928326CFBEF2E5B Time : 0.0 sec. user=mdettweiler [2012-10-30 22:07:40] 833*2^1233378-1 is not prime. Res64: 3B2F07A0F5F48759 Time : 0.0 sec. user=mdettweiler [2012-10-30 22:07:41] 881*2^1233378-1 is not prime. Res64: 7A05CB90FB73395C Time : 0.0 sec. user=mdettweiler [2012-10-30 22:12:12] 645*2^1233379-1 is not prime. Res64: 1F9ABFE804A85F6F Time : 0.0 sec. user=mdettweiler [2012-10-30 22:12:13] 679*2^1233379-1 is not prime. Res64: 69B616B496F41E1F Time : 0.0 sec. user=mdettweiler [2012-10-30 22:28:33] 741*2^1233379-1 is not prime. Res64: 2D3EF00A0C3D6911 Time : 0.0 sec. user=mdettweiler [2012-10-30 22:28:33] 769*2^1233379-1 is not prime. Res64: EED76C4499A81AD1 Time : 0.0 sec. user=vaughan [2012-10-30 22:29:47] 709*2^1233379-1 is not prime. Res64: 9B65F2C70187F047 Time : 0.0 sec. user=mdettweiler [2012-10-30 22:33:05] 793*2^1233379-1 is not prime. Res64: BB7DE4238AE1F58F Time : 0.0 sec. user=mdettweiler [2012-10-30 22:33:06] 835*2^1233379-1 is not prime. Res64: FFACB2F9B8021D87 Time : 0.0 sec. user=mdettweiler [2012-10-30 22:49:22] 853*2^1233379-1 is not prime. Res64: D54EEC477262E84E Time : 0.0 sec. user=mdettweiler [2012-10-30 22:49:23] 891*2^1233379-1 is not prime. Res64: DADF633B9C6A33C8 Time : 0.0 sec. user=mdettweiler [2012-10-30 22:53:57] 925*2^1233379-1 is not prime. Res64: EDD37DA1DBFF8EBC Time : 0.0 sec. user=mdettweiler [2012-10-30 22:53:57] 973*2^1233379-1 is not prime. Res64: EE262FDEFB96A2C8 Time : 0.0 sec. user=vaughan [2012-10-30 23:07:29] 909*2^1233379-1 is not prime. Res64: F4D579AB56410AF5 Time : 0.0 sec. user=mdettweiler [2012-10-30 23:10:11] 735*2^1233380-1 is not prime. Res64: 7AB36F82C87D07AC Time : 0.0 sec. user=mdettweiler [2012-10-30 23:10:13] 743*2^1233380-1 is not prime. Res64: 3CC2E0CAE79B6B38 Time : 0.0 sec. user=mdettweiler [2012-10-30 23:14:44] 789*2^1233380-1 is not prime. Res64: 92F9AB172B36C11B Time : 0.0 sec. user=mdettweiler [2012-10-30 23:14:49] 797*2^1233380-1 is not prime. Res64: 59C458306DA3E246 Time : 0.0 sec. user=mdettweiler [2012-10-30 23:31:03] 959*2^1233380-1 is not prime. Res64: C4DF23AE3946F160 Time : 0.0 sec. user=mdettweiler [2012-10-30 23:31:03] 609*2^1233381-1 is not prime. Res64: 03CEA5C176716FB0 Time : 0.0 sec. user=mdettweiler [2012-10-30 23:35:53] 621*2^1233381-1 is not prime. Res64: CB2460BFFE5B8EA0 Time : 0.0 sec. user=mdettweiler [2012-10-30 23:35:54] 675*2^1233381-1 is not prime. Res64: D1EF9E2FB00B4134 Time : 0.0 sec. user=vaughan [2012-10-30 23:45:15] 819*2^1233380-1 is not prime. Res64: 5AD2CFED41FC4A4C Time : 0.0 sec. user=mdettweiler [2012-10-30 23:51:49] 901*2^1233381-1 is not prime. Res64: 6530DE6CDC932C84 Time : 0.0 sec. user=mdettweiler [2012-10-30 23:51:49] 621*2^1233382-1 is not prime. Res64: 88F0B301F9EA681E Time : 0.0 sec. user=mdettweiler [2012-10-30 23:56:40] 645*2^1233382-1 is not prime. Res64: 36C882D58209EABE Time : 0.0 sec. user=mdettweiler [2012-10-30 23:56:40] 815*2^1233382-1 is not prime. Res64: B55BF25B0CCE031C Time : 0.0 sec.