user=vaughan [2011-05-02 00:03:06] 859*2^937343-1 is not prime. Res64: 50433837FCF7E09F Time : 1267.0 sec. user=vaughan [2011-05-02 00:06:41] 943*2^937343-1 is not prime. Res64: DC8A75C8B76BBBB9 Time : 1216.0 sec. user=vaughan [2011-05-02 00:08:35] 985*2^937343-1 is not prime. Res64: 2BB8EFCA87B47E58 Time : 1216.0 sec. user=vaughan [2011-05-02 00:11:01] 825*2^937344-1 is not prime. Res64: 5549CDAF8D2EE680 Time : 1195.0 sec. user=vaughan [2011-05-02 00:11:47] 837*2^937344-1 is not prime. Res64: DB49D81F45C851FB Time : 1227.0 sec. user=vaughan [2011-05-02 00:12:01] 815*2^937344-1 is not prime. Res64: D251367BF02C36D4 Time : 1309.0 sec. user=vaughan [2011-05-02 00:15:33] 903*2^937344-1 is not prime. Res64: 9648E290A9EB05F1 Time : 1273.0 sec. user=vaughan [2011-05-02 00:20:03] 861*2^937345-1 is not prime. Res64: 0A0DD19D316DD478 Time : 1191.0 sec. user=vaughan [2011-05-02 00:24:13] 909*2^937345-1 is not prime. Res64: AB51300389D8BA9D Time : 1267.0 sec. user=vaughan [2011-05-02 00:26:53] 825*2^937346-1 is not prime. Res64: AC72CBB7734DEA88 Time : 1213.0 sec. user=vaughan [2011-05-02 00:28:44] 867*2^937346-1 is not prime. Res64: 28842931EB5133B8 Time : 1210.0 sec. user=vaughan [2011-05-02 00:30:52] 963*2^937346-1 is not prime. Res64: BF8BC5439601D56F Time : 1191.0 sec. user=vaughan [2011-05-02 00:32:15] 829*2^937347-1 is not prime. Res64: 26E8164C5D786D32 Time : 1229.0 sec. user=vaughan [2011-05-02 00:33:48] 819*2^937348-1 is not prime. Res64: EE1ADA9C5E88874A Time : 1307.0 sec. user=vaughan [2011-05-02 00:36:40] 825*2^937348-1 is not prime. Res64: 8207D57AEE3BDAAF Time : 1268.0 sec. user=vaughan [2011-05-02 00:39:53] 927*2^937348-1 is not prime. Res64: A93907773E1DFDAD Time : 1190.0 sec. user=vaughan [2011-05-02 00:45:21] 847*2^937349-1 is not prime. Res64: B94C2E307DB1C2E8 Time : 1268.0 sec. user=vaughan [2011-05-02 00:47:06] 855*2^937349-1 is not prime. Res64: 07D3D4E65A689D41 Time : 1213.0 sec. user=vaughan [2011-05-02 00:48:54] 879*2^937349-1 is not prime. Res64: A289EBC2D4BC5D39 Time : 1211.0 sec. user=vaughan [2011-05-02 00:50:43] 949*2^937349-1 is not prime. Res64: 5860CE3BE80F91C2 Time : 1191.0 sec. user=vaughan [2011-05-02 00:52:39] 955*2^937349-1 is not prime. Res64: ACF563BAE2D12037 Time : 1225.0 sec. user=vaughan [2011-05-02 00:55:35] 885*2^937350-1 is not prime. Res64: CFA17E317E863810 Time : 1307.0 sec. user=vaughan [2011-05-02 00:57:47] 1001*2^937350-1 is not prime. Res64: DE58AD8CE9FB3E92 Time : 1267.0 sec. user=vaughan [2011-05-02 00:59:43] 811*2^937351-1 is not prime. Res64: 0D398393194B45B3 Time : 1190.0 sec. user=vaughan [2011-05-02 01:06:28] 945*2^937352-1 is not prime. Res64: 6EDFA95677E43284 Time : 1267.0 sec. user=vaughan [2011-05-02 01:07:18] 805*2^937353-1 is not prime. Res64: 106AD8155370040B Time : 1212.0 sec. user=vaughan [2011-05-02 01:09:04] 885*2^937353-1 is not prime. Res64: 68A3536DB8C42882 Time : 1210.0 sec. user=vaughan [2011-05-02 01:10:36] 825*2^937355-1 is not prime. Res64: E1A81AE6B51B2FF3 Time : 1193.0 sec. user=vaughan [2011-05-02 01:13:06] 837*2^937356-1 is not prime. Res64: 5C60678276477248 Time : 1227.0 sec. user=vaughan [2011-05-02 01:17:22] 927*2^937356-1 is not prime. Res64: 016659BB6BEC6586 Time : 1308.0 sec. user=vaughan [2011-05-02 01:18:55] 831*2^937358-1 is not prime. Res64: D748115BB6466CA4 Time : 1268.0 sec. user=vaughan [2011-05-02 01:19:29] 897*2^937358-1 is not prime. Res64: 27AF7587E294E684 Time : 1187.0 sec. user=vaughan [2011-05-02 01:27:30] 1001*2^937358-1 is not prime. Res64: A8D2F6A3945AC628 Time : 1212.0 sec. user=vaughan [2011-05-02 01:27:35] 911*2^937358-1 is not prime. Res64: E15BDFE73FA0029A Time : 1267.0 sec. user=vaughan [2011-05-02 01:29:20] 861*2^937359-1 is not prime. Res64: 6740D75EC21EB86C Time : 1216.0 sec. user=vaughan [2011-05-02 01:30:27] 913*2^937359-1 is not prime. Res64: 75E4B60AE6DDF236 Time : 1191.0 sec. user=vaughan [2011-05-02 01:33:32] 819*2^937360-1 is not prime. Res64: 949B7AF9BD738911 Time : 1226.0 sec. user=vaughan [2011-05-02 01:39:05] 999*2^937360-1 is not prime. Res64: 3020746DF207C578 Time : 1304.0 sec. user=vaughan [2011-05-02 01:39:18] 941*2^937362-1 is not prime. Res64: 94E8CFBB43915D36 Time : 1189.0 sec. user=vaughan [2011-05-02 01:40:03] 805*2^937361-1 is not prime. Res64: 42B6380DC510F9FC Time : 1268.0 sec. user=vaughan [2011-05-02 01:47:38] 983*2^937362-1 is not prime. Res64: 7735818DCFF67DA9 Time : 1208.0 sec. user=vaughan [2011-05-02 01:48:41] 861*2^937363-1 is not prime. Res64: 0DC283719A5C8736 Time : 1267.0 sec. user=vaughan [2011-05-02 01:49:27] 855*2^937364-1 is not prime. Res64: 2F86D32FF968BD41 Time : 1208.0 sec. user=vaughan [2011-05-02 01:50:18] 875*2^937364-1 is not prime. Res64: F2648346AB3C204C Time : 1191.0 sec. user=vaughan [2011-05-02 01:53:59] 897*2^937364-1 is not prime. Res64: 232E280A049E0D43 Time : 1228.0 sec. user=vaughan [2011-05-02 01:59:15] 819*2^937365-1 is not prime. Res64: F386DA476CA6C05D Time : 1198.0 sec. user=vaughan [2011-05-02 02:00:52] 983*2^937364-1 is not prime. Res64: 2A9F4D23D29D5183 Time : 1307.0 sec. user=vaughan [2011-05-02 02:01:10] 861*2^937366-1 is not prime. Res64: 75FB631B6C3B39F4 Time : 1267.0 sec. user=vaughan [2011-05-02 02:07:51] 923*2^937366-1 is not prime. Res64: 2CBDDB3A594421FE Time : 1213.0 sec. user=vaughan [2011-05-02 02:09:38] 885*2^937367-1 is not prime. Res64: B10A26C3D3A10ADD Time : 1212.0 sec. user=vaughan [2011-05-02 02:09:47] 975*2^937366-1 is not prime. Res64: 7E4A513C152CC30C Time : 1266.0 sec. user=vaughan [2011-05-02 02:10:10] 955*2^937367-1 is not prime. Res64: F4FD1982F38D785D Time : 1192.0 sec. user=vaughan [2011-05-02 02:14:42] 981*2^937367-1 is not prime. Res64: C53BBA5D2EA5B301 Time : 1243.0 sec. user=vaughan [2011-05-02 02:19:40] 991*2^937367-1 is not prime. Res64: 9A96379A31FFE2CD Time : 1226.0 sec. user=vaughan [2011-05-02 02:22:17] 935*2^937368-1 is not prime. Res64: AC85C00B0EE6F32D Time : 1268.0 sec. user=vaughan [2011-05-02 02:22:38] 803*2^937368-1 is not prime. Res64: BA095920980C261F Time : 1306.0 sec. user=vaughan [2011-05-02 02:28:24] 855*2^937369-1 is not prime. Res64: A556DCED18DF1986 Time : 1234.0 sec. user=vaughan [2011-05-02 02:30:02] 885*2^937369-1 is not prime. Res64: 50AB45FAB5D38027 Time : 1193.0 sec. user=vaughan [2011-05-02 02:30:11] 867*2^937369-1 is not prime. Res64: 13C21F8C070A5F4E Time : 1233.0 sec. user=vaughan [2011-05-02 02:30:56] 877*2^937369-1 is not prime. Res64: 4F8FB79A6DA6F969 Time : 1270.0 sec. user=vaughan [2011-05-02 02:35:52] 987*2^937369-1 is not prime. Res64: C6B753AB2A13CFEB Time : 1270.0 sec. user=vaughan [2011-05-02 02:39:25] 801*2^937370-1 is not prime. Res64: 8C046B34006BB027 Time : 1185.0 sec. user=vaughan [2011-05-02 02:43:24] 833*2^937370-1 is not prime. Res64: DF6A220579086891 Time : 1267.0 sec. user=vaughan [2011-05-02 02:44:22] 875*2^937370-1 is not prime. Res64: 730867FE878BB9B5 Time : 1304.0 sec. user=vaughan [2011-05-02 02:48:54] 893*2^937370-1 is not prime. Res64: 63049EC644919BAB Time : 1230.0 sec. user=vaughan [2011-05-02 02:49:54] 859*2^937371-1 is not prime. Res64: 568DC73A1B33FB48 Time : 1192.0 sec. user=vaughan [2011-05-02 02:50:43] 871*2^937371-1 is not prime. Res64: 9E3AC352FB357AB5 Time : 1232.0 sec. user=vaughan [2011-05-02 02:52:02] 903*2^937371-1 is not prime. Res64: B0AF3CC32B086536 Time : 1266.0 sec. user=vaughan [2011-05-02 02:56:59] 909*2^937371-1 is not prime. Res64: 90A547D9679E014F Time : 1268.0 sec. user=vaughan [2011-05-02 02:59:16] 991*2^937371-1 is not prime. Res64: 2C8D4D51401C7324 Time : 1191.0 sec. user=vaughan [2011-05-02 03:04:28] 863*2^937372-1 is not prime. Res64: EED4ABC84544258F Time : 1265.0 sec. user=vaughan [2011-05-02 03:06:05] 939*2^937372-1 is not prime. Res64: 27A69C19AB781826 Time : 1303.0 sec. user=vaughan [2011-05-02 03:09:26] 829*2^937373-1 is not prime. Res64: 0573D315D4E7B323 Time : 1232.0 sec. user=vaughan [2011-05-02 03:09:47] 937*2^937373-1 is not prime. Res64: F1B2F1446D1FE7CD Time : 1193.0 sec. user=vaughan [2011-05-02 03:11:16] 979*2^937373-1 is not prime. Res64: 2483157C377AB824 Time : 1233.0 sec. user=vaughan [2011-05-02 03:13:06] 873*2^937374-1 is not prime. Res64: F50FFD53D79D313A Time : 1264.0 sec. user=vaughan [2011-05-02 03:18:05] 893*2^937374-1 is not prime. Res64: BCEA6A82E59DF0D2 Time : 1267.0 sec. user=vaughan [2011-05-02 03:18:59] 965*2^937374-1 is not prime. Res64: F53AC75398693837 Time : 1183.0 sec. user=vaughan [2011-05-02 03:25:33] 859*2^937375-1 is not prime. Res64: 2A68E22DD890E013 Time : 1265.0 sec. user=vaughan [2011-05-02 03:27:48] 861*2^937375-1 is not prime. Res64: C02C712BF05C6D9F Time : 1303.0 sec. user=vaughan [2011-05-02 03:29:40] 873*2^937375-1 is not prime. Res64: 60A3B0692236890F Time : 1194.0 sec. user=vaughan [2011-05-02 03:29:58] 871*2^937375-1 is not prime. Res64: 85DA1AE3F3E21B0D Time : 1232.0 sec. user=vaughan [2011-05-02 03:31:50] 885*2^937375-1 is not prime. Res64: 34D4270CD38966AB Time : 1234.0 sec. user=vaughan [2011-05-02 03:34:08] 973*2^937375-1 is not prime. Res64: 229CECCC2080FC09 Time : 1263.0 sec. user=vaughan [2011-05-02 03:38:46] 993*2^937376-1 is not prime. Res64: 1B15A7D343FADA73 Time : 1187.0 sec. user=vaughan [2011-05-02 03:39:12] 827*2^937376-1 is not prime. Res64: DB179FCA4F100FE9 Time : 1267.0 sec. user=vaughan [2011-05-02 03:46:37] 999*2^937376-1 is not prime. Res64: C5FD37DDF0CC1191 Time : 1264.0 sec. user=vaughan [2011-05-02 03:49:31] 867*2^937377-1 is not prime. Res64: AE7E6D8E29FDA4A1 Time : 1303.0 sec. user=vaughan [2011-05-02 03:49:32] 871*2^937377-1 is not prime. Res64: 3C934F716C3A9589 Time : 1193.0 sec. user=vaughan [2011-05-02 03:50:29] 889*2^937377-1 is not prime. Res64: 44782E3FCDFC784D Time : 1231.0 sec. user=vaughan [2011-05-02 03:52:24] 937*2^937377-1 is not prime. Res64: 6220DA0533B7ED70 Time : 1235.0 sec. user=vaughan [2011-05-02 03:55:14] 815*2^937378-1 is not prime. Res64: A0762FEDED780C64 Time : 1266.0 sec. user=vaughan [2011-05-02 03:58:31] 867*2^937378-1 is not prime. Res64: 4C0C8AD1206AF8ED Time : 1185.0 sec. user=vaughan [2011-05-02 04:00:19] 909*2^937379-1 is not prime. Res64: 32004D2FCCAA9F8A Time : 1267.0 sec. user=vaughan [2011-05-02 04:07:38] 993*2^937379-1 is not prime. Res64: 4C7013766A69C61E Time : 1262.0 sec. user=vaughan [2011-05-02 04:09:26] 899*2^937380-1 is not prime. Res64: 59CBDF743731111E Time : 1194.0 sec. user=vaughan [2011-05-02 04:11:01] 861*2^937381-1 is not prime. Res64: 05C332FF5C96AB1A Time : 1232.0 sec. user=vaughan [2011-05-02 04:11:11] 893*2^937380-1 is not prime. Res64: B830221CFCDD2B14 Time : 1300.0 sec. user=vaughan [2011-05-02 04:12:54] 895*2^937381-1 is not prime. Res64: A3CACAE74CF4BE2D Time : 1231.0 sec. user=vaughan [2011-05-02 04:16:14] 901*2^937381-1 is not prime. Res64: ABB7B903C1D8C847 Time : 1261.0 sec. user=vaughan [2011-05-02 04:18:20] 801*2^937382-1 is not prime. Res64: D6E159876909B4B7 Time : 1189.0 sec. user=vaughan [2011-05-02 04:21:29] 831*2^937382-1 is not prime. Res64: 9CE17FD9B26FF4D9 Time : 1271.0 sec. user=vaughan [2011-05-02 04:28:40] 873*2^937382-1 is not prime. Res64: 2A545D4E2ED5C465 Time : 1262.0 sec. user=vaughan [2011-05-02 04:29:18] 897*2^937382-1 is not prime. Res64: 0329CC127A89E65A Time : 1192.0 sec. user=vaughan [2011-05-02 04:31:34] 871*2^937383-1 is not prime. Res64: 4769D26CD0E84501 Time : 1233.0 sec. user=vaughan [2011-05-02 04:32:47] 895*2^937383-1 is not prime. Res64: 5D59B4D68CDCFA47 Time : 1297.0 sec. user=vaughan [2011-05-02 04:33:28] 951*2^937383-1 is not prime. Res64: B3A485B5E32A5703 Time : 1235.0 sec. user=vaughan [2011-05-02 04:37:16] 869*2^937384-1 is not prime. Res64: A2C4AF05B7ED87EB Time : 1262.0 sec. user=vaughan [2011-05-02 04:38:04] 841*2^937385-1 is not prime. Res64: 539D627F719E340E Time : 1184.0 sec. user=vaughan [2011-05-02 04:42:40] 867*2^937385-1 is not prime. Res64: DDF2E5152CACD3D3 Time : 1271.0 sec. user=vaughan [2011-05-02 04:49:10] 815*2^937386-1 is not prime. Res64: 587F57578B06142D Time : 1192.0 sec. user=vaughan [2011-05-02 04:49:38] 937*2^937385-1 is not prime. Res64: 5A737ED287EC4B93 Time : 1258.0 sec. user=vaughan [2011-05-02 04:52:11] 833*2^937386-1 is not prime. Res64: 0EF0EA2FAA407B0E Time : 1237.0 sec. user=vaughan [2011-05-02 04:54:01] 975*2^937386-1 is not prime. Res64: 4196967F0DF000D6 Time : 1233.0 sec. user=vaughan [2011-05-02 04:54:18] 963*2^937386-1 is not prime. Res64: 82E06B0A1E3A6832 Time : 1291.0 sec. user=vaughan [2011-05-02 04:57:50] 849*2^937387-1 is not prime. Res64: A0B9F4FFBEB3D393 Time : 1186.0 sec. user=vaughan [2011-05-02 04:58:19] 813*2^937387-1 is not prime. Res64: 0A5EB107DFD9518E Time : 1263.0 sec. user=vaughan [2011-05-02 05:03:48] 859*2^937387-1 is not prime. Res64: D0547F369D52CD2D Time : 1269.0 sec. user=vaughan [2011-05-02 05:09:06] 883*2^937387-1 is not prime. Res64: 7354749E1A37DF0B Time : 1196.0 sec. user=vaughan [2011-05-02 05:10:42] 945*2^937387-1 is not prime. Res64: 50ED94738B5A54DE Time : 1264.0 sec. user=vaughan [2011-05-02 05:12:44] 817*2^937389-1 is not prime. Res64: A5B0FC886953DA09 Time : 1233.0 sec. user=vaughan [2011-05-02 05:14:34] 825*2^937389-1 is not prime. Res64: 088C0CB2F13EDE7F Time : 1234.0 sec. user=vaughan [2011-05-02 05:16:00] 877*2^937389-1 is not prime. Res64: 6360BCF3E8767550 Time : 1303.0 sec. user=vaughan [2011-05-02 05:17:37] 889*2^937389-1 is not prime. Res64: B76D29DB161308CB Time : 1187.0 sec. user=vaughan [2011-05-02 05:19:21] 999*2^937389-1 is not prime. Res64: 561A6B96F481B952 Time : 1263.0 sec. user=vaughan [2011-05-02 05:24:53] 825*2^937390-1 is not prime. Res64: 5A692DA750C25661 Time : 1265.0 sec. user=vaughan [2011-05-02 05:28:58] 867*2^937390-1 is not prime. Res64: D360DE3C549CDC94 Time : 1192.0 sec. user=vaughan [2011-05-02 05:31:43] 897*2^937390-1 is not prime. Res64: F2B9750AB305A462 Time : 1262.0 sec. user=vaughan [2011-05-02 05:33:16] 911*2^937390-1 is not prime. Res64: 79B4FBB14F1A11FD Time : 1232.0 sec. user=vaughan [2011-05-02 05:34:59] 995*2^937390-1 is not prime. Res64: B1454701C54198AB Time : 1225.0 sec. user=vaughan [2011-05-02 05:37:22] 895*2^937391-1 is not prime. Res64: 2A5D2F66302C38E9 Time : 1186.0 sec. user=vaughan [2011-05-02 05:37:42] 855*2^937391-1 is not prime. Res64: 02B59FD9050C1FC4 Time : 1302.0 sec. user=vaughan [2011-05-02 05:40:25] 955*2^937391-1 is not prime. Res64: 1B3939513D68BD73 Time : 1265.0 sec. user=vaughan [2011-05-02 05:45:44] 887*2^937392-1 is not prime. Res64: 4848B6704870EB01 Time : 1251.0 sec. user=vaughan [2011-05-02 05:48:51] 831*2^937393-1 is not prime. Res64: 3463F713BB5EE94D Time : 1193.0 sec. user=vaughan [2011-05-02 05:52:46] 847*2^937393-1 is not prime. Res64: 18A4CAEE12A9A89A Time : 1263.0 sec. user=vaughan [2011-05-02 05:53:40] 861*2^937393-1 is not prime. Res64: FD4BAF9FBADE26C6 Time : 1224.0 sec. user=vaughan [2011-05-02 05:55:23] 937*2^937393-1 is not prime. Res64: DDFDC2CFA4E1AFFB Time : 1224.0 sec. user=vaughan [2011-05-02 05:57:06] 851*2^937394-1 is not prime. Res64: 2C5CCF6FF0AD19C7 Time : 1184.0 sec. user=vaughan [2011-05-02 05:59:24] 823*2^937395-1 is not prime. Res64: 575B80243169EB61 Time : 1303.0 sec. user=vaughan [2011-05-02 06:01:29] 829*2^937395-1 is not prime. Res64: 20A711C052B6A3AB Time : 1265.0 sec. user=vaughan [2011-05-02 06:06:53] 969*2^937395-1 is not prime. Res64: 39433736471B48A0 Time : 1269.0 sec. user=vaughan [2011-05-02 06:08:45] 985*2^937395-1 is not prime. Res64: F713738F43DC6F21 Time : 1194.0 sec. user=vaughan [2011-05-02 06:13:50] 843*2^937396-1 is not prime. Res64: 2F30ADCC39C3304C Time : 1264.0 sec. user=vaughan [2011-05-02 06:14:12] 897*2^937396-1 is not prime. Res64: 1B5F34BDFED43B7D Time : 1233.0 sec. user=vaughan [2011-05-02 06:15:59] 801*2^937397-1 is not prime. Res64: 652BE76A1C975127 Time : 1236.0 sec. user=vaughan [2011-05-02 06:16:50] 825*2^937397-1 is not prime. Res64: F7F35DFDD9695C06 Time : 1184.0 sec. user=vaughan [2011-05-02 06:21:07] 879*2^937397-1 is not prime. Res64: 7E12AB1FADEC4D1E Time : 1303.0 sec. user=vaughan [2011-05-02 06:22:32] 971*2^937398-1 is not prime. Res64: 8ABB86A325AE3BB8 Time : 1264.0 sec. user=vaughan [2011-05-02 06:27:57] 831*2^937399-1 is not prime. Res64: 860615A4191531D2 Time : 1264.0 sec. user=vaughan [2011-05-02 06:28:44] 891*2^937399-1 is not prime. Res64: 54117E6B80A03701 Time : 1200.0 sec. user=vaughan [2011-05-02 06:34:44] 973*2^937399-1 is not prime. Res64: 7D9BBE6DD11B62EF Time : 1232.0 sec. user=vaughan [2011-05-02 06:35:04] 961*2^937399-1 is not prime. Res64: A40AF993BF77876C Time : 1274.0 sec. user=vaughan [2011-05-02 06:36:33] 875*2^937400-1 is not prime. Res64: B9D5AB0CAAF007D2 Time : 1235.0 sec. user=vaughan [2011-05-02 06:36:38] 915*2^937400-1 is not prime. Res64: 5A7B19EDE5DBF413 Time : 1188.0 sec. user=vaughan [2011-05-02 06:42:56] 929*2^937400-1 is not prime. Res64: 004EEA8FBEDD2584 Time : 1309.0 sec. user=vaughan [2011-05-02 06:43:47] 945*2^937400-1 is not prime. Res64: 1D82E50E2DBA4956 Time : 1275.0 sec. user=vaughan [2011-05-02 06:48:37] 951*2^937401-1 is not prime. Res64: AE31CA7959478121 Time : 1193.0 sec. user=vaughan [2011-05-02 06:48:59] 871*2^937401-1 is not prime. Res64: C75D4E1AA2EFA97B Time : 1263.0 sec. user=vaughan [2011-05-02 06:55:10] 801*2^937402-1 is not prime. Res64: 542E276FCC56C876 Time : 1226.0 sec. user=vaughan [2011-05-02 06:56:08] 891*2^937402-1 is not prime. Res64: E13C1D50F860DCF5 Time : 1264.0 sec. user=vaughan [2011-05-02 06:56:23] 825*2^937403-1 is not prime. Res64: 43BDA74A0F5A9709 Time : 1185.0 sec. user=vaughan [2011-05-02 06:56:55] 917*2^937402-1 is not prime. Res64: F722CB8BBD10CB45 Time : 1223.0 sec. user=vaughan [2011-05-02 07:04:41] 909*2^937404-1 is not prime. Res64: 541362F3FAFCD700 Time : 1305.0 sec. user=vaughan [2011-05-02 07:04:53] 915*2^937404-1 is not prime. Res64: A0A88719BA557406 Time : 1266.0 sec. user=vaughan [2011-05-02 07:08:31] 935*2^937404-1 is not prime. Res64: E74690206106C01D Time : 1194.0 sec. user=vaughan [2011-05-02 07:10:02] 959*2^937404-1 is not prime. Res64: 4CE0B3B4F4E6AA77 Time : 1263.0 sec. user=vaughan [2011-05-02 07:15:42] 965*2^937404-1 is not prime. Res64: 5CD963C59340020C Time : 1232.0 sec. user=vaughan [2011-05-02 07:16:02] 937*2^937405-1 is not prime. Res64: 66DD130B0011CB73 Time : 1179.0 sec. user=vaughan [2011-05-02 07:17:13] 831*2^937405-1 is not prime. Res64: CEF6AB7776431AAF Time : 1266.0 sec. user=vaughan [2011-05-02 07:17:31] 801*2^937406-1 is not prime. Res64: B560C583CAEA7795 Time : 1236.0 sec. user=vaughan [2011-05-02 07:25:56] 935*2^937406-1 is not prime. Res64: 8CBA0E72C07C18F4 Time : 1264.0 sec. user=vaughan [2011-05-02 07:26:23] 825*2^937406-1 is not prime. Res64: 339CF3B42B8A2E5C Time : 1302.0 sec. user=vaughan [2011-05-02 07:28:29] 923*2^937408-1 is not prime. Res64: 8FC285972EC83C9A Time : 1198.0 sec. user=vaughan [2011-05-02 07:31:02] 927*2^937408-1 is not prime. Res64: BDBFE95A6BF6C977 Time : 1261.0 sec. user=vaughan [2011-05-02 07:35:53] 933*2^937408-1 is not prime. Res64: F5BD3DEE1FA1A2E0 Time : 1192.0 sec. user=vaughan [2011-05-02 07:36:23] 929*2^937408-1 is not prime. Res64: CFB3386025A6E5F1 Time : 1242.0 sec. user=vaughan [2011-05-02 07:38:15] 941*2^937410-1 is not prime. Res64: 1A09F38243F312A2 Time : 1245.0 sec. user=vaughan [2011-05-02 07:38:19] 843*2^937410-1 is not prime. Res64: 07BC5462AAE898B1 Time : 1266.0 sec. user=vaughan [2011-05-02 07:47:05] 963*2^937410-1 is not prime. Res64: 06F15CD6B1EBF1F4 Time : 1269.0 sec. user=vaughan [2011-05-02 07:48:07] 971*2^937410-1 is not prime. Res64: 5BF9F784D7DBCCED Time : 1304.0 sec. user=vaughan [2011-05-02 07:48:21] 885*2^937411-1 is not prime. Res64: 51EF6BFCBA1D163D Time : 1193.0 sec. user=vaughan [2011-05-02 07:52:11] 939*2^937411-1 is not prime. Res64: CA5DD9E0BB61A4D7 Time : 1269.0 sec. user=vaughan [2011-05-02 07:55:30] 969*2^937411-1 is not prime. Res64: 1E9F66A7050346EE Time : 1177.0 sec. user=vaughan [2011-05-02 07:56:52] 973*2^937411-1 is not prime. Res64: B2408943D67A1C65 Time : 1229.0 sec. user=vaughan [2011-05-02 07:58:36] 875*2^937412-1 is not prime. Res64: A118F9C3536F2421 Time : 1221.0 sec. user=vaughan [2011-05-02 07:59:23] 897*2^937412-1 is not prime. Res64: A8F5B4157B6E0E54 Time : 1265.0 sec. user=vaughan [2011-05-02 08:08:09] 899*2^937412-1 is not prime. Res64: B1994FD892387264 Time : 1264.0 sec. user=vaughan [2011-05-02 08:08:14] 937*2^937413-1 is not prime. Res64: 471D2ED914EF0FF3 Time : 1193.0 sec. user=vaughan [2011-05-02 08:09:49] 895*2^937413-1 is not prime. Res64: 1D8BF41A99E43253 Time : 1302.0 sec. user=vaughan [2011-05-02 08:12:47] 975*2^937414-1 is not prime. Res64: 6113E8164B792BE9 Time : 1236.0 sec. user=vaughan [2011-05-02 08:15:10] 843*2^937415-1 is not prime. Res64: 2DF0D030CE2F0B26 Time : 1180.0 sec. user=vaughan [2011-05-02 08:17:15] 855*2^937415-1 is not prime. Res64: 848A3939D284F63F Time : 1224.0 sec. user=vaughan [2011-05-02 08:18:58] 895*2^937415-1 is not prime. Res64: 03EB68525F70EA7F Time : 1222.0 sec. user=vaughan [2011-05-02 08:20:27] 969*2^937415-1 is not prime. Res64: 6F669C2A8267E1A4 Time : 1264.0 sec. user=vaughan [2011-05-02 08:28:08] 893*2^937416-1 is not prime. Res64: CB4F3B88588AF0F9 Time : 1194.0 sec. user=vaughan [2011-05-02 08:29:13] 875*2^937416-1 is not prime. Res64: F7D21CBAD77CDCDC Time : 1264.0 sec. user=vaughan [2011-05-02 08:31:32] 999*2^937416-1 is not prime. Res64: FD9A29D9019E270D Time : 1303.0 sec. user=vaughan [2011-05-02 08:33:53] 885*2^937417-1 is not prime. Res64: E5DA4E05CC470D5A Time : 1267.0 sec. user=vaughan [2011-05-02 08:34:45] 897*2^937417-1 is not prime. Res64: A0C7C9D9960D1F78 Time : 1175.0 sec. user=vaughan [2011-05-02 08:37:54] 931*2^937417-1 is not prime. Res64: 1E9A1BDD39D35B4A Time : 1239.0 sec. user=vaughan [2011-05-02 08:39:37] 921*2^937418-1 is not prime. Res64: 86A642E8174CEC45 Time : 1239.0 sec. user=vaughan [2011-05-02 08:41:31] 923*2^937418-1 is not prime. Res64: 4FE21D0F73C11446 Time : 1264.0 sec. user=vaughan [2011-05-02 08:47:59] 995*2^937418-1 is not prime. Res64: 02509CA8532986D7 Time : 1192.0 sec. user=vaughan [2011-05-02 08:50:17] 823*2^937419-1 is not prime. Res64: 77D3A6B21AA39B61 Time : 1264.0 sec. user=vaughan [2011-05-02 08:53:15] 873*2^937419-1 is not prime. Res64: 6C63AC694355853D Time : 1303.0 sec. user=vaughan [2011-05-02 08:54:27] 969*2^937419-1 is not prime. Res64: B6238DECCA3B0D3C Time : 1182.0 sec. user=vaughan [2011-05-02 08:55:04] 919*2^937419-1 is not prime. Res64: 7A767FC94067E509 Time : 1271.0 sec. user=vaughan [2011-05-02 08:58:32] 985*2^937419-1 is not prime. Res64: 33C66112CE956581 Time : 1238.0 sec. user=vaughan [2011-05-02 09:00:16] 813*2^937420-1 is not prime. Res64: 7478889633AC477F Time : 1239.0 sec. user=vaughan [2011-05-02 09:02:35] 885*2^937420-1 is not prime. Res64: A0A500AB0653DEBF Time : 1264.0 sec. user=vaughan [2011-05-02 09:07:53] 871*2^937421-1 is not prime. Res64: DB3791A88DEA9F5F Time : 1194.0 sec. user=vaughan [2011-05-02 09:11:20] 931*2^937421-1 is not prime. Res64: 37A24188F5673467 Time : 1263.0 sec. user=vaughan [2011-05-02 09:14:09] 983*2^937422-1 is not prime. Res64: A67CEA21602B4639 Time : 1182.0 sec. user=vaughan [2011-05-02 09:14:57] 965*2^937422-1 is not prime. Res64: 237B2FA48DC59078 Time : 1303.0 sec. user=vaughan [2011-05-02 09:16:11] 819*2^937423-1 is not prime. Res64: 5C5EF834AEAD06AD Time : 1268.0 sec. user=vaughan [2011-05-02 09:19:05] 945*2^937423-1 is not prime. Res64: 260A4FC137FBF2A6 Time : 1233.0 sec. user=vaughan [2011-05-02 09:20:49] 945*2^937424-1 is not prime. Res64: 55C6149DFE414CF7 Time : 1233.0 sec. user=vaughan [2011-05-02 09:23:38] 805*2^937425-1 is not prime. Res64: 6F5B3086B188A268 Time : 1263.0 sec. user=vaughan [2011-05-02 09:27:47] 847*2^937425-1 is not prime. Res64: ADDC3655560032D4 Time : 1194.0 sec. user=vaughan [2011-05-02 09:32:23] 921*2^937425-1 is not prime. Res64: 647107EBC353400C Time : 1263.0 sec. user=vaughan [2011-05-02 09:33:58] 937*2^937425-1 is not prime. Res64: E2E6B71CF3F38306 Time : 1189.0 sec. user=vaughan [2011-05-02 09:36:38] 815*2^937426-1 is not prime. Res64: D110351B01FF7489 Time : 1301.0 sec. user=vaughan [2011-05-02 09:37:23] 825*2^937426-1 is not prime. Res64: 804A83C796ED77FC Time : 1272.0 sec. user=vaughan [2011-05-02 09:39:40] 917*2^937426-1 is not prime. Res64: 7D5E24F2A56696F4 Time : 1235.0 sec. user=vaughan [2011-05-02 09:41:22] 957*2^937426-1 is not prime. Res64: 88315DD98CC7A1DD Time : 1233.0 sec. user=vaughan [2011-05-02 09:44:42] 805*2^937427-1 is not prime. Res64: 5DA4049D0C80A4D1 Time : 1264.0 sec. user=vaughan [2011-05-02 20:52:39] 871*2^937427-1 is not prime. Res64: 53B9A16AE00D216C Time : 41092.0 sec. user=vaughan [2011-05-02 20:59:05] 949*2^937427-1 is not prime. Res64: CA21A9FA57F330AA Time : 41203.0 sec. user=vaughan [2011-05-02 21:00:44] 985*2^937427-1 is not prime. Res64: 31BA2C40701884BB Time : 41207.0 sec. user=vaughan [2011-05-02 21:03:31] 843*2^937428-1 is not prime. Res64: A0FA2324B58A78C4 Time : 41213.0 sec. user=vaughan [2011-05-02 21:05:45] 887*2^937428-1 is not prime. Res64: E1D293E762F93DCF Time : 41303.0 sec. user=vaughan [2011-05-02 21:06:00] 899*2^937428-1 is not prime. Res64: 07E4A21BF423C804 Time : 41180.0 sec. user=vaughan [2011-05-02 21:07:56] 945*2^937428-1 is not prime. Res64: 4A58F4B5FABF7BDF Time : 41194.0 sec. user=vaughan [2011-05-02 21:11:11] 877*2^937429-1 is not prime. Res64: 6A1F1E9D40EA3E93 Time : 41189.0 sec. user=vaughan [2011-05-02 21:12:55] 957*2^937429-1 is not prime. Res64: CA79DBF57E755D42 Time : 1216.0 sec. user=vaughan [2011-05-02 21:19:55] 859*2^937431-1 is not prime. Res64: 27120423FCEA0327 Time : 1250.0 sec. user=vaughan [2011-05-02 21:20:13] 969*2^937431-1 is not prime. Res64: 50A6F7C9304C340A Time : 1169.0 sec. user=vaughan [2011-05-02 21:24:41] 899*2^937432-1 is not prime. Res64: 3939A6F0B669B75C Time : 1271.0 sec. user=vaughan [2011-05-02 21:25:41] 983*2^937432-1 is not prime. Res64: 1250B283230F4F03 Time : 1182.0 sec. user=vaughan [2011-05-02 21:27:33] 975*2^937432-1 is not prime. Res64: ED6285AD2D78D787 Time : 1309.0 sec. user=vaughan [2011-05-02 21:27:38] 897*2^937433-1 is not prime. Res64: 77E0D9AAEB3B5221 Time : 1182.0 sec. user=vaughan [2011-05-02 21:32:04] 915*2^937433-1 is not prime. Res64: F162E609916BB13A Time : 1253.0 sec. user=vaughan [2011-05-02 21:32:58] 981*2^937433-1 is not prime. Res64: 0A80C53AAAEF25F8 Time : 1204.0 sec. user=vaughan [2011-05-02 21:39:50] 991*2^937433-1 is not prime. Res64: 1A26F99206A2ECA8 Time : 1177.0 sec. user=vaughan [2011-05-02 21:40:41] 985*2^937433-1 is not prime. Res64: 9B65405AE9A57344 Time : 1247.0 sec. user=vaughan [2011-05-02 21:45:17] 819*2^937435-1 is not prime. Res64: F4719534E5462510 Time : 1177.0 sec. user=vaughan [2011-05-02 21:45:51] 851*2^937434-1 is not prime. Res64: 2FAB970A8E30EEA5 Time : 1270.0 sec. user=vaughan [2011-05-02 21:47:04] 803*2^937436-1 is not prime. Res64: BB1F0FB4986BB46D Time : 1166.0 sec. user=vaughan [2011-05-02 21:49:20] 895*2^937435-1 is not prime. Res64: 06DC04A6A68DB327 Time : 1308.0 sec. user=vaughan [2011-05-02 21:52:53] 899*2^937436-1 is not prime. Res64: 95F8AA481235C97C Time : 1249.0 sec. user=vaughan [2011-05-02 21:53:01] 927*2^937436-1 is not prime. Res64: 5F3136CF73EC76A2 Time : 1203.0 sec. user=vaughan [2011-05-02 21:59:44] 963*2^937436-1 is not prime. Res64: 826BBCC1F4728FC8 Time : 1194.0 sec. user=vaughan [2011-05-02 22:01:38] 987*2^937436-1 is not prime. Res64: 9DAE13F49509E764 Time : 1257.0 sec. user=vaughan [2011-05-02 22:04:56] 817*2^937437-1 is not prime. Res64: 345117A4A6C20AB6 Time : 1180.0 sec. user=vaughan [2011-05-02 22:06:53] 915*2^937437-1 is not prime. Res64: 7833B318D97D8E8E Time : 1189.0 sec. user=vaughan [2011-05-02 22:07:28] 895*2^937437-1 is not prime. Res64: 3BD61C4EB5B776AA Time : 1297.0 sec. user=vaughan [2011-05-02 22:09:50] 949*2^937437-1 is not prime. Res64: 19E15771D28EE605 Time : 1230.0 sec. user=vaughan [2011-05-02 22:12:58] 811*2^937439-1 is not prime. Res64: 78273FDE9AA91D0B Time : 1197.0 sec. user=vaughan [2011-05-02 22:14:01] 955*2^937437-1 is not prime. Res64: F0B356723EEFD5FC Time : 1268.0 sec. user=vaughan [2011-05-02 22:19:49] 825*2^937439-1 is not prime. Res64: 55A47DB43C0BCEFF Time : 1205.0 sec. user=vaughan [2011-05-02 22:22:46] 861*2^937439-1 is not prime. Res64: D4027C1AE1BC2B04 Time : 1268.0 sec. user=vaughan [2011-05-02 22:24:17] 931*2^937439-1 is not prime. Res64: 497C4D441CFB5E65 Time : 1161.0 sec. user=vaughan [2011-05-02 22:26:19] 939*2^937439-1 is not prime. Res64: 9ECD44132365F342 Time : 1166.0 sec. user=vaughan [2011-05-02 22:29:13] 959*2^937440-1 is not prime. Res64: E3342293CC89CADA Time : 1306.0 sec. user=vaughan [2011-05-02 22:29:51] 999*2^937440-1 is not prime. Res64: FCFC880C8856D68E Time : 1201.0 sec. user=vaughan [2011-05-02 22:32:53] 805*2^937441-1 is not prime. Res64: E2F502E969A3D669 Time : 1195.0 sec. user=vaughan [2011-05-02 22:35:08] 957*2^937441-1 is not prime. Res64: 89E2195C209E1FB9 Time : 1268.0 sec. user=vaughan [2011-05-02 22:39:52] 997*2^937441-1 is not prime. Res64: 7199C3C826230A14 Time : 1204.0 sec. user=vaughan [2011-05-02 22:43:36] 825*2^937442-1 is not prime. Res64: E20E87B13498CAC6 Time : 1159.0 sec. user=vaughan [2011-05-02 22:43:54] 813*2^937442-1 is not prime. Res64: 3BF373EC57676A38 Time : 1268.0 sec. user=vaughan [2011-05-02 22:45:46] 873*2^937442-1 is not prime. Res64: E91DF23A4130F86C Time : 1167.0 sec. user=vaughan [2011-05-02 22:49:53] 915*2^937442-1 is not prime. Res64: 8C77961CE425DAE8 Time : 1203.0 sec. user=vaughan [2011-05-02 22:50:58] 885*2^937442-1 is not prime. Res64: FEC205EE1732A200 Time : 1305.0 sec. user=vaughan [2011-05-02 22:52:48] 923*2^937442-1 is not prime. Res64: 1E09E2F8378170C3 Time : 1195.0 sec. user=vaughan [2011-05-02 22:56:15] 945*2^937442-1 is not prime. Res64: DC3A290B4B100FD5 Time : 1268.0 sec. user=vaughan [2011-05-02 23:00:00] 983*2^937442-1 is not prime. Res64: DA412470A5A1E837 Time : 1208.0 sec. user=vaughan [2011-05-02 23:02:52] 995*2^937442-1 is not prime. Res64: FE6ED1D309456EF2 Time : 1156.0 sec. user=vaughan [2011-05-02 23:05:01] 853*2^937443-1 is not prime. Res64: 96B714D99E49E2E5 Time : 1267.0 sec. user=vaughan [2011-05-02 23:05:15] 901*2^937443-1 is not prime. Res64: D29D74E8AAC5AB14 Time : 1169.0 sec. user=vaughan [2011-05-02 23:09:54] 961*2^937443-1 is not prime. Res64: EBE70BF2154B5208 Time : 1202.0 sec. user=vaughan [2011-05-02 23:12:44] 807*2^937444-1 is not prime. Res64: EAF7F2DA8DF0925C Time : 1306.0 sec. user=vaughan [2011-05-02 23:12:44] 873*2^937444-1 is not prime. Res64: EE857F8C1FC06E6B Time : 1196.0 sec. user=vaughan [2011-05-02 23:17:21] 923*2^937444-1 is not prime. Res64: E944E9F031D13A61 Time : 1267.0 sec. user=vaughan [2011-05-02 23:20:07] 979*2^937445-1 is not prime. Res64: DC2F550FE4CDB1CB Time : 1207.0 sec. user=vaughan [2011-05-02 23:22:08] 881*2^937446-1 is not prime. Res64: 27F67C16F79AA3BF Time : 1156.0 sec. user=vaughan [2011-05-02 23:24:44] 841*2^937447-1 is not prime. Res64: 750BE8160B37C56C Time : 1170.0 sec. user=vaughan [2011-05-02 23:26:07] 993*2^937446-1 is not prime. Res64: D681B8120EAE3490 Time : 1266.0 sec. user=vaughan [2011-05-02 23:29:56] 913*2^937447-1 is not prime. Res64: 59D27FB485C22BDD Time : 1202.0 sec. user=vaughan [2011-05-02 23:32:42] 993*2^937447-1 is not prime. Res64: 8AF864C64600D9DE Time : 1198.0 sec. user=vaughan [2011-05-02 23:34:31] 931*2^937447-1 is not prime. Res64: B21782A67DCF8881 Time : 1308.0 sec. user=vaughan [2011-05-02 23:38:26] 959*2^937448-1 is not prime. Res64: 1F1A6AD514374FAC Time : 1266.0 sec. user=vaughan [2011-05-02 23:40:17] 963*2^937448-1 is not prime. Res64: BC2B2B00F9ECCD44 Time : 1210.0 sec. user=vaughan [2011-05-02 23:41:26] 951*2^937449-1 is not prime. Res64: B3E3BFBB1B921B03 Time : 1159.0 sec. user=vaughan [2011-05-02 23:44:12] 857*2^937450-1 is not prime. Res64: AABBECF3629D5C77 Time : 1169.0 sec. user=vaughan [2011-05-02 23:47:14] 867*2^937450-1 is not prime. Res64: 5B58AB1660E068D6 Time : 1267.0 sec. user=vaughan [2011-05-02 23:50:01] 995*2^937450-1 is not prime. Res64: A45ABA14F59C68FA Time : 1205.0 sec. user=vaughan [2011-05-02 23:52:37] 841*2^937451-1 is not prime. Res64: 96CCE4B0246F1881 Time : 1197.0 sec. user=vaughan [2011-05-02 23:56:16] 955*2^937451-1 is not prime. Res64: 9ECE8D6A76D68B69 Time : 1308.0 sec. user=vaughan [2011-05-02 23:59:34] 999*2^937451-1 is not prime. Res64: D9AE44CA6559D65F Time : 1268.0 sec. user=vaughan [2011-05-03 00:00:26] 923*2^937452-1 is not prime. Res64: 5F797C45AC4CDE72 Time : 1209.0 sec. user=vaughan [2011-05-03 00:00:42] 859*2^937453-1 is not prime. Res64: ECB123A52818A9BB Time : 1156.0 sec.