user=vaughan [2011-03-07 00:01:34] 907*2^798309-1 is not prime. Res64: 1DCF3E24010D6B06 Time : 1209.0 sec. user=vaughan [2011-03-07 00:03:41] 953*2^798146-1 is not prime. Res64: E909487124E88480 Time : 13262.0 sec. user=vaughan [2011-03-07 00:09:29] 801*2^798310-1 is not prime. Res64: 3C9355698F8C3110 Time : 1185.0 sec. user=vaughan [2011-03-07 00:14:27] 827*2^798310-1 is not prime. Res64: C0164148FC970EA7 Time : 1341.0 sec. user=vaughan [2011-03-07 00:20:55] 831*2^798310-1 is not prime. Res64: 9642375D601234F8 Time : 1462.0 sec. user=vaughan [2011-03-07 00:21:25] 885*2^798310-1 is not prime. Res64: 9F9745328D4F8415 Time : 1191.0 sec. user=vaughan [2011-03-07 00:25:27] 815*2^798306-1 is not prime. Res64: 283A60C71711F6EB Time : 4727.0 sec. user=vaughan [2011-03-07 00:29:12] 819*2^798311-1 is not prime. Res64: 3AEA88E052BA91D0 Time : 1183.0 sec. user=vaughan [2011-03-07 00:36:42] 819*2^798312-1 is not prime. Res64: 71A067BECEB52D5D Time : 1335.0 sec. user=vaughan [2011-03-07 00:41:18] 929*2^798312-1 is not prime. Res64: 2A0AD41CCE1D1564 Time : 1193.0 sec. user=vaughan [2011-03-07 00:45:16] 873*2^798312-1 is not prime. Res64: DF93406657472F7B Time : 1461.0 sec. user=vaughan [2011-03-07 00:48:52] 817*2^798313-1 is not prime. Res64: 076AD71BF7DA2E5C Time : 1181.0 sec. user=vaughan [2011-03-07 00:59:36] 855*2^798313-1 is not prime. Res64: 0E5B1043647E9844 Time : 1374.0 sec. user=vaughan [2011-03-07 01:02:19] 885*2^798313-1 is not prime. Res64: 631B1A37EA2AE2F4 Time : 1261.0 sec. user=vaughan [2011-03-07 01:10:13] 813*2^798314-1 is not prime. Res64: 8FB8395239539CDE Time : 1281.0 sec. user=vaughan [2011-03-07 01:11:39] 895*2^798313-1 is not prime. Res64: E2E0E87D97F85966 Time : 1583.0 sec. user=vaughan [2011-03-07 01:15:06] 891*2^798306-1 is not prime. Res64: 2E2452AD7D96022C Time : 7703.0 sec. user=vaughan [2011-03-07 01:15:25] 861*2^798306-1 is not prime. Res64: 104D67CDE5611CA3 Time : 7722.0 sec. user=vaughan [2011-03-07 01:23:51] 825*2^798314-1 is not prime. Res64: C92BD768F0A19840 Time : 1455.0 sec. user=vaughan [2011-03-07 01:24:36] 827*2^798314-1 is not prime. Res64: A45934F79CA71B61 Time : 1337.0 sec. user=vaughan [2011-03-07 01:29:41] 871*2^798067-1 is not prime. Res64: 5AFBD58AF6A7AFE1 Time : 24515.0 sec. user=vaughan [2011-03-07 01:29:47] 821*2^798066-1 is not prime. Res64: 56B53C5159D9EF88 Time : 24605.0 sec. user=vaughan [2011-03-07 01:31:52] 935*2^798314-1 is not prime. Res64: 4D9313E2D4948B1F Time : 1299.0 sec. user=vaughan [2011-03-07 01:34:30] 945*2^798067-1 is not prime. Res64: B1B428D941A3B6D0 Time : 24365.0 sec. user=vaughan [2011-03-07 01:36:16] 915*2^798067-1 is not prime. Res64: BDD7303132A20269 Time : 24783.0 sec. user=vaughan [2011-03-07 01:39:01] 941*2^798314-1 is not prime. Res64: E864CE4049F76017 Time : 1642.0 sec. user=ototero [2011-03-07 01:39:28] 991*2^798299-1 is not prime. Res64: C51D12557E8BB16B Time : 11234.0 sec. user=ototero [2011-03-07 01:39:28] 825*2^798301-1 is not prime. Res64: 4A30D10B60A8CD9A Time : 11234.0 sec. user=ototero [2011-03-07 01:39:28] 861*2^798301-1 is not prime. Res64: 39DE0208FF18B72F Time : 11234.0 sec. user=ototero [2011-03-07 01:39:29] 951*2^798301-1 is not prime. Res64: 97E03E2182208C86 Time : 11234.0 sec. user=ototero [2011-03-07 01:39:29] 961*2^798301-1 is not prime. Res64: 8D42E3D342DB6693 Time : 11234.0 sec. user=ototero [2011-03-07 01:39:29] 987*2^798301-1 is not prime. Res64: 843708543B17D430 Time : 11234.0 sec. user=ototero [2011-03-07 01:39:29] 903*2^798302-1 is not prime. Res64: 11D29A2AAD1ABE21 Time : 11233.0 sec. user=ototero [2011-03-07 01:39:29] 977*2^798302-1 is not prime. Res64: 82C7E5503A0C9675 Time : 11233.0 sec. user=ototero [2011-03-07 01:39:30] 1001*2^798302-1 is not prime. Res64: D8E9A8BD85C4C7E4 Time : 11234.0 sec. user=ototero [2011-03-07 01:39:30] 879*2^798303-1 is not prime. Res64: 8790507742BBBFEB Time : 11233.0 sec. user=vaughan [2011-03-07 01:46:56] 943*2^798315-1 is not prime. Res64: 203C440D8959E6CC Time : 1341.0 sec. user=vaughan [2011-03-07 01:48:01] 969*2^798315-1 is not prime. Res64: 3FCC47EDF592ABAD Time : 1101.0 sec. user=vaughan [2011-03-07 01:48:02] 981*2^798314-1 is not prime. Res64: CDC90FD6B4EA4F0C Time : 1452.0 sec. user=vaughan [2011-03-07 01:50:18] 899*2^798316-1 is not prime. Res64: 0458D5C722EA00E8 Time : 1231.0 sec. user=vaughan [2011-03-07 01:50:22] 801*2^798317-1 is not prime. Res64: 3C5435F674C2C666 Time : 952.0 sec. user=vaughan [2011-03-07 01:53:41] 989*2^798316-1 is not prime. Res64: 002D953100C86106 Time : 1310.0 sec. user=vaughan [2011-03-07 01:59:16] 829*2^798317-1 is not prime. Res64: 651528D65B0F89A4 Time : 1380.0 sec. user=vaughan [2011-03-07 02:06:14] 815*2^798322-1 is not prime. Res64: 494D5B79E67901C6 Time : 1093.0 sec. user=vaughan [2011-03-07 02:06:14] 983*2^798322-1 is not prime. Res64: CAC22EDBD50848BE Time : 952.0 sec. user=vaughan [2011-03-07 02:06:26] 915*2^798317-1 is not prime. Res64: 7AACBE6998E890F4 Time : 1645.0 sec. user=vaughan [2011-03-07 02:09:21] 803*2^798322-1 is not prime. Res64: 50EEEE43E80B7F72 Time : 1346.0 sec. user=vaughan [2011-03-07 02:10:41] 917*2^798322-1 is not prime. Res64: CADEED491049E78A Time : 1223.0 sec. user=vaughan [2011-03-07 02:12:30] 821*2^798322-1 is not prime. Res64: E398A02A8CFBB3A8 Time : 1469.0 sec. user=vaughan [2011-03-07 02:15:28] 853*2^798323-1 is not prime. Res64: 46A1A892A17692A6 Time : 1307.0 sec. user=vaughan [2011-03-07 02:22:11] 963*2^798323-1 is not prime. Res64: 0785F851244ACC6B Time : 957.0 sec. user=vaughan [2011-03-07 02:22:14] 861*2^798323-1 is not prime. Res64: 3EE6BA2BB5B0CFDF Time : 1378.0 sec. user=vaughan [2011-03-07 02:24:28] 939*2^798323-1 is not prime. Res64: 3B8375A276FA7C9B Time : 1095.0 sec. user=vaughan [2011-03-07 02:31:10] 909*2^798324-1 is not prime. Res64: 16AB0A05403F6467 Time : 1230.0 sec. user=vaughan [2011-03-07 02:31:29] 857*2^798324-1 is not prime. Res64: 8F8C38C08F8E99C0 Time : 1328.0 sec. user=vaughan [2011-03-07 02:33:37] 999*2^798323-1 is not prime. Res64: FBA0BC177D713B4F Time : 1631.0 sec. user=vaughan [2011-03-07 02:36:46] 965*2^798324-1 is not prime. Res64: 1E68C0F456DF9FC9 Time : 1456.0 sec. user=vaughan [2011-03-07 02:37:19] 969*2^798324-1 is not prime. Res64: 082590DCF3E0168A Time : 1311.0 sec. user=vaughan [2011-03-07 02:44:26] 805*2^798311-1 is not prime. Res64: D56598ECBB1A1264 Time : 9645.0 sec. user=ototero [2011-03-07 04:46:41] 957*2^798317-1 is not prime. Res64: D52500B861420DB7 Time : 11231.0 sec. user=ototero [2011-03-07 04:46:42] 881*2^798318-1 is not prime. Res64: E92B580093B194EC Time : 11231.0 sec. user=ototero [2011-03-07 04:46:42] 841*2^798319-1 is not prime. Res64: D4CB4A34FA4B423B Time : 11231.0 sec. user=ototero [2011-03-07 04:46:42] 853*2^798319-1 is not prime. Res64: 4281E76EAE6CDBEB Time : 11230.0 sec. user=ototero [2011-03-07 04:46:43] 861*2^798319-1 is not prime. Res64: CD591C5EFF69689C Time : 11230.0 sec. user=ototero [2011-03-07 04:46:43] 813*2^798320-1 is not prime. Res64: 4BD189DC719B86D3 Time : 11230.0 sec. user=ototero [2011-03-07 04:46:43] 843*2^798320-1 is not prime. Res64: F3146D9A7E10AF6B Time : 11229.0 sec. user=ototero [2011-03-07 04:46:43] 855*2^798320-1 is not prime. Res64: 80A8DE97F0C6BC16 Time : 11228.0 sec. user=ototero [2011-03-07 04:46:44] 885*2^798321-1 is not prime. Res64: 983F513B2DAFA313 Time : 11229.0 sec. user=ototero [2011-03-07 04:46:44] 937*2^798321-1 is not prime. Res64: B7DECEB9FF4CEBDD Time : 11228.0 sec. user=vaughan [2011-03-07 05:24:59] 825*2^798330-1 is not prime. Res64: B9EC8E5C5E6DFDA7 Time : 9634.0 sec. user=vaughan [2011-03-07 05:28:02] 879*2^798329-1 is not prime. Res64: 50A0FCE936824EB7 Time : 10276.0 sec. user=vaughan [2011-03-07 05:28:10] 991*2^798329-1 is not prime. Res64: AA3945D41C84FCD2 Time : 10252.0 sec. user=vaughan [2011-03-07 05:28:16] 843*2^798328-1 is not prime. Res64: 9BE354E2B7FB8863 Time : 10480.0 sec. user=vaughan [2011-03-07 05:28:48] 963*2^798327-1 is not prime. Res64: C80604C32F7A2722 Time : 10639.0 sec. user=vaughan [2011-03-07 05:31:52] 961*2^798325-1 is not prime. Res64: 47B36FDD5CA4FF02 Time : 11381.0 sec. user=vaughan [2011-03-07 05:32:12] 859*2^798327-1 is not prime. Res64: C3146B840D5B34EA Time : 10862.0 sec. user=vaughan [2011-03-07 05:32:16] 953*2^798326-1 is not prime. Res64: 514D92D662CC3648 Time : 11268.0 sec. user=vaughan [2011-03-07 05:32:23] 857*2^798326-1 is not prime. Res64: A407074E2AECFBBB Time : 11409.0 sec. user=vaughan [2011-03-07 05:48:01] 887*2^798338-1 is not prime. Res64: 32056E8E6790C569 Time : 969.0 sec. user=vaughan [2011-03-07 05:50:29] 827*2^798338-1 is not prime. Res64: C692BBF720C82A7D Time : 1301.0 sec. user=vaughan [2011-03-07 05:51:03] 867*2^798338-1 is not prime. Res64: 970B4B92B17A33BF Time : 1311.0 sec. user=vaughan [2011-03-07 05:51:11] 999*2^798336-1 is not prime. Res64: 8FCAA13A94EE3BED Time : 1389.0 sec. user=vaughan [2011-03-07 05:52:37] 923*2^798338-1 is not prime. Res64: EC8277395E87C1FF Time : 1226.0 sec. user=vaughan [2011-03-07 05:54:33] 1001*2^798338-1 is not prime. Res64: FCF2736821215C55 Time : 1337.0 sec. user=vaughan [2011-03-07 05:54:48] 849*2^798337-1 is not prime. Res64: 4DC29F652DE835C7 Time : 1593.0 sec. user=vaughan [2011-03-07 05:55:16] 859*2^798339-1 is not prime. Res64: 766133617BE21EFB Time : 1373.0 sec. user=vaughan [2011-03-07 06:04:06] 873*2^798339-1 is not prime. Res64: 68DEA3075D3085B2 Time : 966.0 sec. user=vaughan [2011-03-07 06:12:23] 895*2^798339-1 is not prime. Res64: 7E476C0EF134D41F Time : 1314.0 sec. user=vaughan [2011-03-07 06:12:49] 985*2^798339-1 is not prime. Res64: 4EB677698329305E Time : 1306.0 sec. user=vaughan [2011-03-07 06:13:03] 833*2^798340-1 is not prime. Res64: C61845D1363DC017 Time : 1226.0 sec. user=vaughan [2011-03-07 06:14:27] 915*2^798340-1 is not prime. Res64: 1E5D6F0C6ACADF5E Time : 1195.0 sec. user=vaughan [2011-03-07 06:14:57] 991*2^798339-1 is not prime. Res64: 615B003FCEF75816 Time : 1426.0 sec. user=vaughan [2011-03-07 06:18:00] 957*2^798340-1 is not prime. Res64: BFD389680E05D3DD Time : 1364.0 sec. user=vaughan [2011-03-07 06:20:07] 837*2^798341-1 is not prime. Res64: FAA0CD36FD9ADBE8 Time : 961.0 sec. user=vaughan [2011-03-07 06:22:11] 939*2^798340-1 is not prime. Res64: C5E0735155798CE7 Time : 1643.0 sec. user=ototero [2011-03-07 07:53:57] 917*2^798330-1 is not prime. Res64: 5CB8216BE6ED6A09 Time : 11232.0 sec. user=ototero [2011-03-07 07:53:57] 891*2^798331-1 is not prime. Res64: C762A2F9CB43630E Time : 11232.0 sec. user=ototero [2011-03-07 07:53:57] 939*2^798331-1 is not prime. Res64: 0609AC8DE42A20CD Time : 11232.0 sec. user=ototero [2011-03-07 07:53:58] 879*2^798332-1 is not prime. Res64: CD2A76C01DAFF21A Time : 11232.0 sec. user=ototero [2011-03-07 07:53:58] 897*2^798332-1 is not prime. Res64: AA49BD8E09F34425 Time : 11232.0 sec. user=ototero [2011-03-07 07:53:58] 903*2^798332-1 is not prime. Res64: 6D07E884733298FA Time : 11231.0 sec. user=ototero [2011-03-07 07:53:58] 819*2^798333-1 is not prime. Res64: 2FD9D27F49DE3539 Time : 11231.0 sec. user=ototero [2011-03-07 07:53:58] 829*2^798333-1 is not prime. Res64: 71BB28B7C102F7ED Time : 11230.0 sec. user=ototero [2011-03-07 07:53:58] 861*2^798333-1 is not prime. Res64: B1F68A716188D126 Time : 11230.0 sec. user=ototero [2011-03-07 07:53:59] 885*2^798335-1 is not prime. Res64: FFAE19823C0ADB30 Time : 11230.0 sec. user=vaughan [2011-03-07 08:05:49] 957*2^798336-1 is not prime. Res64: F2D909768AD82CC3 Time : 9650.0 sec. user=vaughan [2011-03-07 10:46:15] 975*2^798346-1 is not prime. Res64: 07CE7A135C2F7E9B Time : 9626.0 sec. user=ototero [2011-03-07 11:01:07] 917*2^798344-1 is not prime. Res64: 6490C51A16C5687A Time : 11228.0 sec. user=ototero [2011-03-07 11:01:07] 923*2^798344-1 is not prime. Res64: BDA5C157D7F04A80 Time : 11228.0 sec. user=ototero [2011-03-07 11:01:07] 945*2^798344-1 is not prime. Res64: 2929CD039B06887D Time : 11227.0 sec. user=ototero [2011-03-07 11:01:07] 811*2^798345-1 is not prime. Res64: C21D923B51D8600F Time : 11227.0 sec. user=ototero [2011-03-07 11:01:08] 817*2^798345-1 is not prime. Res64: 058BCE16305D4513 Time : 11228.0 sec. user=ototero [2011-03-07 11:01:08] 831*2^798345-1 is not prime. Res64: 157AF36423D30B76 Time : 11227.0 sec. user=ototero [2011-03-07 11:01:08] 813*2^798346-1 is not prime. Res64: B8C72D01E190E040 Time : 11227.0 sec. user=ototero [2011-03-07 11:01:08] 911*2^798346-1 is not prime. Res64: 5D0571A85B935982 Time : 11227.0 sec. user=ototero [2011-03-07 11:01:08] 923*2^798346-1 is not prime. Res64: CDF57D21228A27C1 Time : 11226.0 sec. user=ototero [2011-03-07 11:01:08] 933*2^798346-1 is not prime. Res64: AC3147376209F7C6 Time : 11226.0 sec. user=vaughan [2011-03-07 13:27:29] 823*2^798347-1 is not prime. Res64: 786795FD82D1B3F1 Time : 9675.0 sec. user=ototero [2011-03-07 14:08:20] 843*2^798347-1 is not prime. Res64: D52462206A51A076 Time : 11231.0 sec. user=ototero [2011-03-07 14:08:20] 879*2^798347-1 is not prime. Res64: 920F8073A2007064 Time : 11231.0 sec. user=ototero [2011-03-07 14:08:20] 961*2^798349-1 is not prime. Res64: D39F398799715281 Time : 11231.0 sec. user=ototero [2011-03-07 14:08:20] 985*2^798349-1 is not prime. Res64: 1EAA9C824D694125 Time : 11230.0 sec. user=ototero [2011-03-07 14:08:20] 999*2^798349-1 is not prime. Res64: 2D3989CC530FD2B2 Time : 11230.0 sec. user=ototero [2011-03-07 14:08:21] 825*2^798350-1 is not prime. Res64: F9D604935FF84307 Time : 11231.0 sec. user=ototero [2011-03-07 14:08:21] 875*2^798350-1 is not prime. Res64: C94A1A21F473FB2D Time : 11230.0 sec. user=ototero [2011-03-07 14:08:21] 915*2^798350-1 is not prime. Res64: 195761093B3C06E0 Time : 11230.0 sec. user=ototero [2011-03-07 14:08:21] 921*2^798350-1 is not prime. Res64: 876C86525B20ED0B Time : 11230.0 sec. user=ototero [2011-03-07 14:08:21] 953*2^798350-1 is not prime. Res64: 487F8ECA25C4366E Time : 11229.0 sec. user=vaughan [2011-03-07 16:07:53] 813*2^798367-1 is not prime. Res64: 7BDCBD97A7D4A564 Time : 9625.0 sec. user=ototero [2011-03-07 17:15:32] 831*2^798367-1 is not prime. Res64: 808736C175DBA973 Time : 11231.0 sec. user=ototero [2011-03-07 17:15:32] 871*2^798367-1 is not prime. Res64: 5BD27A1005064354 Time : 11230.0 sec. user=ototero [2011-03-07 17:15:32] 891*2^798367-1 is not prime. Res64: 86382AB74FC3F8E7 Time : 11230.0 sec. user=ototero [2011-03-07 17:15:32] 933*2^798367-1 is not prime. Res64: 6F5EA97A97C8B751 Time : 11230.0 sec. user=ototero [2011-03-07 17:15:32] 815*2^798368-1 is not prime. Res64: CF3932E30FB43D94 Time : 11229.0 sec. user=ototero [2011-03-07 17:15:32] 825*2^798368-1 is not prime. Res64: ECE6CF1B43628913 Time : 11229.0 sec. user=ototero [2011-03-07 17:15:33] 875*2^798368-1 is not prime. Res64: 4FFB96DE71C524BF Time : 11230.0 sec. user=ototero [2011-03-07 17:15:33] 945*2^798369-1 is not prime. Res64: 4511B4AABD6F3D41 Time : 11229.0 sec. user=ototero [2011-03-07 17:15:33] 955*2^798369-1 is not prime. Res64: 38152C58480EEAFE Time : 11229.0 sec. user=ototero [2011-03-07 17:15:33] 969*2^798369-1 is not prime. Res64: 2EF650808EB38737 Time : 11229.0 sec. user=vaughan [2011-03-07 18:01:52] 831*2^798343-1 is not prime. Res64: 6E1EAB1B9942A4CA Time : 42446.0 sec. user=vaughan [2011-03-07 18:01:54] 947*2^798342-1 is not prime. Res64: 991F217B6A5F82AF Time : 42532.0 sec. user=vaughan [2011-03-07 18:01:56] 969*2^798343-1 is not prime. Res64: 6137344A6A746B2F Time : 42236.0 sec. user=vaughan [2011-03-07 18:01:56] 833*2^798344-1 is not prime. Res64: FC03310F7C3E1E16 Time : 42109.0 sec. user=vaughan [2011-03-07 18:18:34] 989*2^798376-1 is not prime. Res64: B0E59A99AFD5C404 Time : 998.0 sec. user=vaughan [2011-03-07 18:20:11] 857*2^798376-1 is not prime. Res64: E0FF227D42D8C9C2 Time : 1100.0 sec. user=vaughan [2011-03-07 18:20:25] 987*2^798374-1 is not prime. Res64: 320A6FFED9F305BA Time : 1483.0 sec. user=kar_bon [2011-03-07 18:21:06] 813*2^798079-1 is not prime. Res64: A15746D61EB6BC6C Time : 80444.0 sec. user=kar_bon [2011-03-07 18:21:06] 843*2^798079-1 is not prime. Res64: 358F35FD6C9A9378 Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:07] 853*2^798079-1 is not prime. Res64: D5696971D3E43D89 Time : 80444.0 sec. user=kar_bon [2011-03-07 18:21:07] 891*2^798079-1 is not prime. Res64: 9BB8D305F6AA1061 Time : 80444.0 sec. user=kar_bon [2011-03-07 18:21:07] 979*2^798079-1 is not prime. Res64: 003D730A52010DE3 Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:07] 839*2^798080-1 is not prime. Res64: 06C882AB2D09A7F8 Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:08] 983*2^798080-1 is not prime. Res64: B500E4DBE186D9F4 Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:08] 807*2^798081-1 is not prime. Res64: C8282A9C284450E4 Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:08] 979*2^798081-1 is not prime. Res64: B41640D350FE0A61 Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:08] 825*2^798082-1 is not prime. Res64: F1FE3221FC7AFC91 Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:09] 823*2^798083-1 is not prime. Res64: 98D88B591E0FB08F Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:09] 813*2^798082-1 is not prime. Res64: 127BA7604B92C68E Time : 80444.0 sec. user=kar_bon [2011-03-07 18:21:09] 871*2^798083-1 is not prime. Res64: 30CE46605B6761FF Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:10] 843*2^798082-1 is not prime. Res64: F62E883C88501528 Time : 80444.0 sec. user=kar_bon [2011-03-07 18:21:10] 843*2^798084-1 is not prime. Res64: 7EFA4190B001AAAC Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:10] 861*2^798083-1 is not prime. Res64: F4C93D10D544F45D Time : 80444.0 sec. user=kar_bon [2011-03-07 18:21:10] 825*2^798085-1 is not prime. Res64: DF101A719C134D1E Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:11] 999*2^798083-1 is not prime. Res64: CDBF3985F9B22C26 Time : 80445.0 sec. user=kar_bon [2011-03-07 18:21:11] 895*2^798085-1 is not prime. Res64: F7D86A2E4A72FA9C Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:11] 983*2^798084-1 is not prime. Res64: 8B9AB4D34A77BDDD Time : 80444.0 sec. user=kar_bon [2011-03-07 18:21:11] 951*2^798085-1 is not prime. Res64: 595C221FC921553A Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:11] 867*2^798085-1 is not prime. Res64: 9C84047212E0362A Time : 80444.0 sec. user=kar_bon [2011-03-07 18:21:11] 813*2^798086-1 is not prime. Res64: 9E78BE63C71F141D Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:11] 897*2^798085-1 is not prime. Res64: E0F1BDEB95AC6CFF Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:11] 903*2^798086-1 is not prime. Res64: E08D081F3E795999 Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:12] 999*2^798085-1 is not prime. Res64: 6263FE00360385AD Time : 80444.0 sec. user=kar_bon [2011-03-07 18:21:12] 951*2^798087-1 is not prime. Res64: 4B3DB86B856764E4 Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:12] 843*2^798086-1 is not prime. Res64: FF3EF0A9A668BF6F Time : 80444.0 sec. user=kar_bon [2011-03-07 18:21:12] 993*2^798088-1 is not prime. Res64: EE51277B31FA9414 Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:12] 911*2^798086-1 is not prime. Res64: 528B7512957D5DA7 Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:12] 889*2^798089-1 is not prime. Res64: 729D4555D97CD75B Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:12] 813*2^798088-1 is not prime. Res64: F07E3156318DFB82 Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:12] 915*2^798090-1 is not prime. Res64: 5FD8AC1EA44334C0 Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:12] 851*2^798086-1 is not prime. Res64: 2EB24410C05B450E Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:12] 887*2^798088-1 is not prime. Res64: 971766D942DAB84C Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:13] 963*2^798090-1 is not prime. Res64: 89FA75D1BD8FE777 Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:13] 949*2^798087-1 is not prime. Res64: 4914E50E58CCFF79 Time : 80444.0 sec. user=kar_bon [2011-03-07 18:21:13] 885*2^798089-1 is not prime. Res64: 1F32E97AE4251238 Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:13] 925*2^798091-1 is not prime. Res64: E784F13AED177118 Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:13] 849*2^798088-1 is not prime. Res64: B60727FE9C78ABC0 Time : 80444.0 sec. user=kar_bon [2011-03-07 18:21:13] 987*2^798089-1 is not prime. Res64: 71AE5857137B7BEA Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:13] 875*2^798092-1 is not prime. Res64: 810F1357B7574A7B Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:13] 867*2^798089-1 is not prime. Res64: F1D3956C9AA7AD7C Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:13] 941*2^798090-1 is not prime. Res64: 3A2AB90715BBB8D2 Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:13] 999*2^798092-1 is not prime. Res64: 8D375ECBC2237EB1 Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:13] 925*2^798089-1 is not prime. Res64: CC1293FB9E75418E Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:13] 909*2^798091-1 is not prime. Res64: 148CDAAD34994D56 Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:13] 993*2^798094-1 is not prime. Res64: 3DCCB898D480B571 Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:13] 917*2^798090-1 is not prime. Res64: 962EC8E16049A006 Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:14] 873*2^798092-1 is not prime. Res64: 1A26B33BDEB306A8 Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:14] 805*2^798097-1 is not prime. Res64: B8A7E96682FA8ADB Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:14] 855*2^798091-1 is not prime. Res64: 706B11338CDFD9E0 Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:14] 959*2^798092-1 is not prime. Res64: AA7C7ECC3AC0D0F0 Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:14] 857*2^798098-1 is not prime. Res64: 7ED773D5CCCC7C34 Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:14] 993*2^798091-1 is not prime. Res64: 68324155091A0377 Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:14] 915*2^798094-1 is not prime. Res64: FDFDF4CB030D13FB Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:14] 1001*2^798098-1 is not prime. Res64: 08C44811C0FF6B13 Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:14] 899*2^798092-1 is not prime. Res64: 0011D153B2C22612 Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:14] 991*2^798095-1 is not prime. Res64: 7BCD1BC051711860 Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:15] 985*2^798099-1 is not prime. Res64: F379F1BF2D1A7A32 Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:15] 829*2^798093-1 is not prime. Res64: 130A874A3C8C9083 Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:15] 939*2^798097-1 is not prime. Res64: F6972F47AEEC7330 Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:15] 989*2^798100-1 is not prime. Res64: FC0D1673A1D0D373 Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:15] 921*2^798095-1 is not prime. Res64: 2F05DBA13E3E00B5 Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:15] 935*2^798098-1 is not prime. Res64: 94796ECF6031F5ED Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:15] 843*2^798102-1 is not prime. Res64: 22C2A7754FA98E06 Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:15] 915*2^798097-1 is not prime. Res64: C3EDDBBF33706AAB Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:15] 931*2^798099-1 is not prime. Res64: 744FBD68D19619AD Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:15] 803*2^798092-1 is not prime. Res64: 84CDA29D9FE143DC Time : 80444.0 sec. user=kar_bon [2011-03-07 18:21:15] 859*2^798103-1 is not prime. Res64: 41518529BFB351DB Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:15] 867*2^798098-1 is not prime. Res64: 6DAA417D2B08EB14 Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:15] 827*2^798100-1 is not prime. Res64: 30D56E02BFCAE240 Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:15] 935*2^798092-1 is not prime. Res64: 28A264CB10D5CBBB Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:15] 837*2^798104-1 is not prime. Res64: 71ECA779EC31B8B9 Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:15] 969*2^798099-1 is not prime. Res64: F429EC870A65BE79 Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:16] 885*2^798101-1 is not prime. Res64: ECB8D84FFC04A700 Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:16] 831*2^798094-1 is not prime. Res64: DD1F6FA6626D5F8F Time : 80444.0 sec. user=kar_bon [2011-03-07 18:21:16] 975*2^798105-1 is not prime. Res64: FF31CE0D7B847147 Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:16] 983*2^798100-1 is not prime. Res64: 34E9CC2F91A64CD1 Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:16] 923*2^798102-1 is not prime. Res64: 2587E7E6EE57B7BD Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:16] 839*2^798096-1 is not prime. Res64: A206ABFE62F3983C Time : 80444.0 sec. user=kar_bon [2011-03-07 18:21:16] 933*2^798106-1 is not prime. Res64: 99ED3AD576DFD7D9 Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:16] 927*2^798101-1 is not prime. Res64: 575063F2992C54DD Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:16] 871*2^798103-1 is not prime. Res64: 4F49EB011CBD8539 Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:16] 999*2^798097-1 is not prime. Res64: CD18CE6E1EB81E7D Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:16] 963*2^798107-1 is not prime. Res64: 0F9317843AE20B7D Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:16] 811*2^798103-1 is not prime. Res64: 5DEE00B4E6896A50 Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:16] 855*2^798104-1 is not prime. Res64: 7E14A579D4A27C62 Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:16] 995*2^798098-1 is not prime. Res64: 3F39C66C5E9AC717 Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:16] 837*2^798108-1 is not prime. Res64: 055431432E05FC61 Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:16] 895*2^798103-1 is not prime. Res64: 91E3653A81EAAB73 Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:17] 997*2^798105-1 is not prime. Res64: F991BB93C4FF8F4A Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:17] 943*2^798099-1 is not prime. Res64: 16EEAA0219BFB095 Time : 80444.0 sec. user=kar_bon [2011-03-07 18:21:17] 831*2^798110-1 is not prime. Res64: 6A9F4BD3E07F2EC8 Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:17] 895*2^798105-1 is not prime. Res64: 80382249B53FB4D9 Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:17] 941*2^798106-1 is not prime. Res64: AEEB1D8369890FD3 Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:17] 905*2^798100-1 is not prime. Res64: 33C6BE877CBE6C98 Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:17] 865*2^798111-1 is not prime. Res64: 39BAC851CFAF97C7 Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:17] 911*2^798106-1 is not prime. Res64: 8F0C931D048ADD94 Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:17] 979*2^798107-1 is not prime. Res64: EB66A6DFFE1E574D Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:17] 907*2^798101-1 is not prime. Res64: 57638C8E66ED1D19 Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:17] 949*2^798113-1 is not prime. Res64: 20209F32FD7C0B30 Time : 80439.0 sec. user=kar_bon [2011-03-07 18:21:17] 885*2^798107-1 is not prime. Res64: 21D267C96A8D5D87 Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:17] 877*2^798109-1 is not prime. Res64: 8581425F58BDAEA7 Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:17] 965*2^798102-1 is not prime. Res64: B482851704266AC4 Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:18] 825*2^798114-1 is not prime. Res64: 61E15EC06DECDA90 Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:18] 819*2^798108-1 is not prime. Res64: 10D92A7D61E11320 Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:18] 857*2^798110-1 is not prime. Res64: 8EF1A25F2446CCA2 Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:18] 883*2^798103-1 is not prime. Res64: 971DB9AB244BE831 Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:18] 873*2^798116-1 is not prime. Res64: C1206AFDE249A73E Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:18] 895*2^798109-1 is not prime. Res64: A07C798BCF855DDB Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:18] 961*2^798111-1 is not prime. Res64: 0BFF8AC255AADDDA Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:18] 927*2^798104-1 is not prime. Res64: 6F6ED47753E93A10 Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:18] 831*2^798117-1 is not prime. Res64: 5021FF2107306D77 Time : 80439.0 sec. user=kar_bon [2011-03-07 18:21:18] 859*2^798111-1 is not prime. Res64: 69675ED117006435 Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:18] 985*2^798113-1 is not prime. Res64: 2438147F0283BD7A Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:18] 803*2^798106-1 is not prime. Res64: BEB70FA9BF9C009C Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:18] 927*2^798117-1 is not prime. Res64: FC44B9B3A9BC1FCD Time : 80439.0 sec. user=kar_bon [2011-03-07 18:21:18] 879*2^798113-1 is not prime. Res64: 329832344DC1ABAA Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:19] 889*2^798115-1 is not prime. Res64: 3AA380FA5EF7632C Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:19] 861*2^798107-1 is not prime. Res64: 1E08034072FF3F2D Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:19] 911*2^798118-1 is not prime. Res64: B63A4568C616A635 Time : 80439.0 sec. user=kar_bon [2011-03-07 18:21:19] 821*2^798114-1 is not prime. Res64: 18D61C79818C0DF7 Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:19] 899*2^798116-1 is not prime. Res64: 0588874CCB35F7C8 Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:19] 981*2^798107-1 is not prime. Res64: 7823E54546CE20F3 Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:19] 839*2^798120-1 is not prime. Res64: 3C0F359336FADF63 Time : 80439.0 sec. user=kar_bon [2011-03-07 18:21:19] 969*2^798115-1 is not prime. Res64: F29E9DEE0B8E95FC Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:19] 837*2^798117-1 is not prime. Res64: 7C9F337F4C194FCA Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:19] 885*2^798109-1 is not prime. Res64: FEAA07639D1C9CAF Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:19] 895*2^798121-1 is not prime. Res64: E2D3BAE6EF998D35 Time : 80439.0 sec. user=kar_bon [2011-03-07 18:21:19] 963*2^798116-1 is not prime. Res64: 7AF85F86FF12BE84 Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:19] 833*2^798118-1 is not prime. Res64: 18D0D3DD5118D87B Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:19] 867*2^798110-1 is not prime. Res64: E71F9AE4A0D8B94B Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:19] 835*2^798123-1 is not prime. Res64: 3115BF6A9962C9BE Time : 80438.0 sec. user=kar_bon [2011-03-07 18:21:19] 915*2^798117-1 is not prime. Res64: 4C91CCD38D557690 Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:20] 855*2^798119-1 is not prime. Res64: BCCBF3DE782628A8 Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:20] 803*2^798112-1 is not prime. Res64: AA5B17B6B9545956 Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:20] 929*2^798124-1 is not prime. Res64: 92DAD57F1BB0F70B Time : 80439.0 sec. user=kar_bon [2011-03-07 18:21:20] 861*2^798118-1 is not prime. Res64: 984A7AF3846EE04F Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:20] 843*2^798120-1 is not prime. Res64: BACE1911D2B8FEAA Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:20] 815*2^798114-1 is not prime. Res64: 9970D042E7575481 Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:20] 815*2^798126-1 is not prime. Res64: E79B187053636CE4 Time : 80439.0 sec. user=kar_bon [2011-03-07 18:21:20] 985*2^798119-1 is not prime. Res64: AD81B1A20295A76A Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:20] 967*2^798121-1 is not prime. Res64: 7D5CE5DD88346896 Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:20] 913*2^798115-1 is not prime. Res64: 1E1A76B400F6DD7B Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:21] 941*2^798126-1 is not prime. Res64: EEB9BDA7ED0EA7B2 Time : 80439.0 sec. user=kar_bon [2011-03-07 18:21:21] 847*2^798121-1 is not prime. Res64: 94EFD9D5DA435601 Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:21] 861*2^798123-1 is not prime. Res64: 89228A4E91801126 Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:21] 953*2^798116-1 is not prime. Res64: FF86C311D6B5EC88 Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:21] 993*2^798127-1 is not prime. Res64: 9D2C4A2B9F3CCED2 Time : 80439.0 sec. user=kar_bon [2011-03-07 18:21:21] 875*2^798122-1 is not prime. Res64: A63E875851B813D2 Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:21] 959*2^798124-1 is not prime. Res64: 539D284C3E5A8B63 Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:21] 889*2^798117-1 is not prime. Res64: F98C94B8C9B72ECC Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:21] 861*2^798129-1 is not prime. Res64: 44ACB1971DC2848A Time : 80438.0 sec. user=kar_bon [2011-03-07 18:21:21] 897*2^798124-1 is not prime. Res64: 071DF8E417B0FE6D Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:21] 821*2^798126-1 is not prime. Res64: 2755569ED3C9A4E6 Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:22] 843*2^798118-1 is not prime. Res64: CF29FD8ABD9D8873 Time : 80443.0 sec. user=kar_bon [2011-03-07 18:21:22] 801*2^798126-1 is not prime. Res64: E28383975BF3F296 Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:22] 975*2^798126-1 is not prime. Res64: 7255DD2B4A7E9601 Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:22] 861*2^798119-1 is not prime. Res64: 3D1A36A69FD51118 Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:22] 893*2^798126-1 is not prime. Res64: 1320AF8EC3470583 Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:22] 875*2^798128-1 is not prime. Res64: 6F05500311C50EAE Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:22] 945*2^798120-1 is not prime. Res64: 823327EE707B5CE7 Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:22] 979*2^798127-1 is not prime. Res64: 682BE25027A72AB7 Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:22] 891*2^798129-1 is not prime. Res64: 1769D60727805D40 Time : 80439.0 sec. user=kar_bon [2011-03-07 18:21:22] 977*2^798122-1 is not prime. Res64: 4484F8A9F055B3E3 Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:23] 977*2^798128-1 is not prime. Res64: D117F77915AC7FC2 Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:23] 803*2^798124-1 is not prime. Res64: A33171145B435A6C Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:23] 861*2^798130-1 is not prime. Res64: C5A862D7B2DB9803 Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:23] 855*2^798130-1 is not prime. Res64: 6866E64D8CAAFEB0 Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:23] 907*2^798125-1 is not prime. Res64: 8BD99B2550C6CE91 Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:23] 879*2^798131-1 is not prime. Res64: B15197F482D39680 Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:23] 859*2^798131-1 is not prime. Res64: 7EBD674C32AA0B09 Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:23] 875*2^798126-1 is not prime. Res64: 8E351810A0603F9E Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:23] 947*2^798132-1 is not prime. Res64: AE34BF5066F71543 Time : 80439.0 sec. user=kar_bon [2011-03-07 18:21:23] 981*2^798131-1 is not prime. Res64: 0DDCE2AF9AFB42C1 Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:23] 931*2^798127-1 is not prime. Res64: 26DA8CFCE88931FF Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:23] 889*2^798133-1 is not prime. Res64: E21B9C6A410E205A Time : 80439.0 sec. user=kar_bon [2011-03-07 18:21:24] 877*2^798133-1 is not prime. Res64: 8AF4E1D652D3A220 Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:24] 879*2^798128-1 is not prime. Res64: F586DC1EEE7BC378 Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:24] 935*2^798134-1 is not prime. Res64: CBEB98953A85292E Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:24] 857*2^798134-1 is not prime. Res64: AA712C0A47B00B05 Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:24] 913*2^798135-1 is not prime. Res64: 42D6D82BAFAEC9C8 Time : 80439.0 sec. user=kar_bon [2011-03-07 18:21:24] 833*2^798130-1 is not prime. Res64: 55D0EB2B11E08922 Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:24] 981*2^798134-1 is not prime. Res64: 0ABC43EB6703AA6E Time : 80439.0 sec. user=kar_bon [2011-03-07 18:21:24] 923*2^798136-1 is not prime. Res64: D82CDB3DEB025892 Time : 80439.0 sec. user=kar_bon [2011-03-07 18:21:24] 873*2^798130-1 is not prime. Res64: 8C2C0BD04C86C99F Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:25] 843*2^798136-1 is not prime. Res64: 97781376E169C2DE Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:25] 969*2^798131-1 is not prime. Res64: 70DCD35466F8AF24 Time : 80442.0 sec. user=kar_bon [2011-03-07 18:21:25] 831*2^798137-1 is not prime. Res64: D43BF7EAA46A0EF5 Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:25] 829*2^798133-1 is not prime. Res64: 5DE72C8F237B1B7E Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:25] 957*2^798138-1 is not prime. Res64: 17900DC93551F9A1 Time : 80439.0 sec. user=kar_bon [2011-03-07 18:21:25] 813*2^798134-1 is not prime. Res64: B62046E7AAA6442D Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:25] 841*2^798139-1 is not prime. Res64: 6363AC7C59439BBA Time : 80439.0 sec. user=kar_bon [2011-03-07 18:21:25] 951*2^798134-1 is not prime. Res64: 607A50AF6C156FED Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:25] 975*2^798139-1 is not prime. Res64: 52C830D8EEF12B26 Time : 80439.0 sec. user=kar_bon [2011-03-07 18:21:26] 839*2^798136-1 is not prime. Res64: B9B7906FDE3DBE7C Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:26] 827*2^798140-1 is not prime. Res64: 5B3379B6E276097C Time : 80439.0 sec. user=kar_bon [2011-03-07 18:21:26] 989*2^798136-1 is not prime. Res64: 49E7A526C7E968B2 Time : 80441.0 sec. user=kar_bon [2011-03-07 18:21:26] 845*2^798140-1 is not prime. Res64: DB447867598AFBDD Time : 80439.0 sec. user=kar_bon [2011-03-07 18:21:26] 955*2^798137-1 is not prime. Res64: 5FCA69319F97D2C3 Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:26] 949*2^798141-1 is not prime. Res64: A2673E5AF8B635FD Time : 80438.0 sec. user=kar_bon [2011-03-07 18:21:26] 1001*2^798138-1 is not prime. Res64: FECCF84E2D6AD65B Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:26] 827*2^798142-1 is not prime. Res64: E1C00E436E6A225E Time : 80438.0 sec. user=kar_bon [2011-03-07 18:21:26] 919*2^798139-1 is not prime. Res64: 8179DF5651C8221B Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:27] 813*2^798143-1 is not prime. Res64: E14AB65CBD796A4F Time : 80439.0 sec. user=kar_bon [2011-03-07 18:21:27] 825*2^798140-1 is not prime. Res64: B9A0A720FA7D829F Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:27] 945*2^798143-1 is not prime. Res64: DAE89E8E77A3EAB3 Time : 80438.0 sec. user=kar_bon [2011-03-07 18:21:27] 833*2^798140-1 is not prime. Res64: 078E9C94939A58A9 Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:27] 865*2^798141-1 is not prime. Res64: 7C3087659B9AF46C Time : 80439.0 sec. user=kar_bon [2011-03-07 18:21:28] 821*2^798142-1 is not prime. Res64: 0AF25DFE08DF969B Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:28] 947*2^798142-1 is not prime. Res64: 1A5EA9E4B9C8CF1D Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:28] 879*2^798143-1 is not prime. Res64: D031E7BC34858657 Time : 80439.0 sec. user=kar_bon [2011-03-07 18:21:28] 949*2^798143-1 is not prime. Res64: F043430A75C3DADC Time : 80439.0 sec. user=kar_bon [2011-03-07 18:21:29] 873*2^798144-1 is not prime. Res64: C490770E95E26467 Time : 80440.0 sec. user=kar_bon [2011-03-07 18:21:29] 927*2^798144-1 is not prime. Res64: 3A622848CF6E5D33 Time : 80439.0 sec. user=kar_bon [2011-03-07 18:21:29] 983*2^798144-1 is not prime. Res64: A390D57C5F48F36A Time : 80439.0 sec. user=kar_bon [2011-03-07 18:21:29] 831*2^798145-1 is not prime. Res64: 7FDFCD45066B2E06 Time : 80439.0 sec. user=kar_bon [2011-03-07 18:21:30] 847*2^798145-1 is not prime. Res64: 4733289056D306F2 Time : 80439.0 sec. user=kar_bon [2011-03-07 18:21:30] 871*2^798145-1 is not prime. Res64: 7BBBDDA30669A862 Time : 80439.0 sec. user=vaughan [2011-03-07 18:22:22] 873*2^798376-1 is not prime. Res64: 29D229C31F800984 Time : 1228.0 sec. user=vaughan [2011-03-07 18:25:00] 909*2^798376-1 is not prime. Res64: 00692AA3F77D0281 Time : 1385.0 sec. user=vaughan [2011-03-07 18:35:24] 931*2^798377-1 is not prime. Res64: A5D404646E4C867D Time : 1011.0 sec. user=vaughan [2011-03-07 18:35:26] 999*2^798375-1 is not prime. Res64: CA47A54BD24BED7C Time : 2371.0 sec. user=vaughan [2011-03-07 18:35:32] 973*2^798375-1 is not prime. Res64: FF69C41A815B9AEA Time : 2377.0 sec. user=vaughan [2011-03-07 18:38:24] 801*2^798378-1 is not prime. Res64: 3440D241278C565F Time : 1093.0 sec. user=vaughan [2011-03-07 18:42:38] 885*2^798442-1 is not prime. Res64: 96F34D1F447F7B87 Time : 1216.0 sec. user=kar_bon [2011-03-07 18:44:34] 971*2^798146-1 is not prime. Res64: 1948A30AD168CC88 Time : 80278.0 sec. user=kar_bon [2011-03-07 18:44:35] 983*2^798146-1 is not prime. Res64: 8422F71463021596 Time : 80278.0 sec. user=kar_bon [2011-03-07 18:44:35] 993*2^798146-1 is not prime. Res64: C2529FC866F4C4EF Time : 80278.0 sec. user=kar_bon [2011-03-07 18:44:36] 1001*2^798146-1 is not prime. Res64: FAD2BBD1FC9B37D8 Time : 80279.0 sec. user=kar_bon [2011-03-07 18:44:36] 843*2^798147-1 is not prime. Res64: 857889A322F698B5 Time : 80278.0 sec. user=kar_bon [2011-03-07 18:44:36] 931*2^798147-1 is not prime. Res64: 01B71DC0AD536A2C Time : 80278.0 sec. user=kar_bon [2011-03-07 18:44:36] 827*2^798148-1 is not prime. Res64: 57EE00445521BDF7 Time : 80278.0 sec. user=kar_bon [2011-03-07 18:44:36] 987*2^798148-1 is not prime. Res64: 4E1D03E4A7ECA3EE Time : 80277.0 sec. user=kar_bon [2011-03-07 18:44:37] 847*2^798149-1 is not prime. Res64: 86DA3C082C8C9471 Time : 80278.0 sec. user=kar_bon [2011-03-07 18:44:37] 991*2^798149-1 is not prime. Res64: 774A710DCE106D8F Time : 80277.0 sec. user=kar_bon [2011-03-07 18:44:37] 921*2^798150-1 is not prime. Res64: 586093A26CDEEE35 Time : 80277.0 sec. user=kar_bon [2011-03-07 18:44:37] 825*2^798147-1 is not prime. Res64: C1688565B41CBA5E Time : 80280.0 sec. user=kar_bon [2011-03-07 18:44:37] 897*2^798152-1 is not prime. Res64: AC9A74A85F947DF9 Time : 80277.0 sec. user=kar_bon [2011-03-07 18:44:38] 871*2^798147-1 is not prime. Res64: 81B60E44BB430119 Time : 80280.0 sec. user=kar_bon [2011-03-07 18:44:38] 915*2^798153-1 is not prime. Res64: EDE8335F9672A020 Time : 80277.0 sec. user=kar_bon [2011-03-07 18:44:38] 825*2^798148-1 is not prime. Res64: 71A2BCF2C8D55702 Time : 80280.0 sec. user=kar_bon [2011-03-07 18:44:38] 825*2^798154-1 is not prime. Res64: 0345474A4FF716F2 Time : 80277.0 sec. user=kar_bon [2011-03-07 18:44:39] 833*2^798148-1 is not prime. Res64: 7F2928FA20C040A5 Time : 80280.0 sec. user=kar_bon [2011-03-07 18:44:39] 923*2^798154-1 is not prime. Res64: DD02CDE48303B6DB Time : 80278.0 sec. user=kar_bon [2011-03-07 18:44:39] 825*2^798149-1 is not prime. Res64: BAB4BCD84CDD8512 Time : 80280.0 sec. user=kar_bon [2011-03-07 18:44:39] 825*2^798156-1 is not prime. Res64: 98F74F1FB2B41FF5 Time : 80277.0 sec. user=kar_bon [2011-03-07 18:44:39] 955*2^798149-1 is not prime. Res64: 6FC1D45DCAEF7D42 Time : 80280.0 sec. user=kar_bon [2011-03-07 18:44:39] 885*2^798157-1 is not prime. Res64: 2C0403E9143C94F8 Time : 80277.0 sec. user=kar_bon [2011-03-07 18:44:39] 873*2^798150-1 is not prime. Res64: 3492081B186A9180 Time : 80279.0 sec. user=kar_bon [2011-03-07 18:44:39] 893*2^798158-1 is not prime. Res64: 97F86CB676EFF0A4 Time : 80277.0 sec. user=kar_bon [2011-03-07 18:44:40] 969*2^798151-1 is not prime. Res64: D5122027FBBCB2BB Time : 80280.0 sec. user=kar_bon [2011-03-07 18:44:40] 825*2^798160-1 is not prime. Res64: 15081561E9497C1B Time : 80277.0 sec. user=kar_bon [2011-03-07 18:44:40] 805*2^798153-1 is not prime. Res64: 5E6CB90515E86AA1 Time : 80280.0 sec. user=kar_bon [2011-03-07 18:44:40] 929*2^798160-1 is not prime. Res64: 07BFE1BD3083BDAC Time : 80277.0 sec. user=kar_bon [2011-03-07 18:44:40] 999*2^798153-1 is not prime. Res64: C314F9CEB51630F9 Time : 80279.0 sec. user=kar_bon [2011-03-07 18:44:40] 979*2^798161-1 is not prime. Res64: CDD4D6545070221C Time : 80276.0 sec. user=kar_bon [2011-03-07 18:44:40] 811*2^798149-1 is not prime. Res64: DDAA6A86C6EF5512 Time : 80281.0 sec. user=kar_bon [2011-03-07 18:44:40] 857*2^798154-1 is not prime. Res64: 814993DEEDECF48E Time : 80279.0 sec. user=kar_bon [2011-03-07 18:44:41] 951*2^798162-1 is not prime. Res64: 7C596CC479B3AA45 Time : 80277.0 sec. user=kar_bon [2011-03-07 18:44:41] 855*2^798149-1 is not prime. Res64: E2881466736A69BF Time : 80282.0 sec. user=kar_bon [2011-03-07 18:44:41] 903*2^798155-1 is not prime. Res64: 08E56B2A0308D194 Time : 80280.0 sec. user=kar_bon [2011-03-07 18:44:41] 869*2^798164-1 is not prime. Res64: 2CA13DF55847EFFD Time : 80277.0 sec. user=kar_bon [2011-03-07 18:44:41] 997*2^798149-1 is not prime. Res64: 42945306735CE3FA Time : 80281.0 sec. user=kar_bon [2011-03-07 18:44:41] 893*2^798156-1 is not prime. Res64: 1AA315052D1BA30B Time : 80279.0 sec. user=kar_bon [2011-03-07 18:44:41] 859*2^798165-1 is not prime. Res64: D60F8D15F1420591 Time : 80276.0 sec. user=kar_bon [2011-03-07 18:44:41] 861*2^798151-1 is not prime. Res64: 35FD6623510FE825 Time : 80281.0 sec. user=kar_bon [2011-03-07 18:44:41] 931*2^798157-1 is not prime. Res64: 16789348089798BF Time : 80279.0 sec. user=kar_bon [2011-03-07 18:44:41] 983*2^798166-1 is not prime. Res64: 7ABC442BD6C7243F Time : 80276.0 sec. user=kar_bon [2011-03-07 18:44:41] 957*2^798152-1 is not prime. Res64: 2416F54D141A9B50 Time : 80281.0 sec. user=kar_bon [2011-03-07 18:44:42] 825*2^798159-1 is not prime. Res64: D73BBBF49BD67EF7 Time : 80279.0 sec. user=kar_bon [2011-03-07 18:44:42] 801*2^798169-1 is not prime. Res64: B177D0231BB68385 Time : 80277.0 sec. user=kar_bon [2011-03-07 18:44:42] 919*2^798153-1 is not prime. Res64: EA187A4B729DE4E2 Time : 80281.0 sec. user=kar_bon [2011-03-07 18:44:42] 839*2^798160-1 is not prime. Res64: BE0F6FC5B5381653 Time : 80279.0 sec. user=kar_bon [2011-03-07 18:44:42] 893*2^798170-1 is not prime. Res64: 2DA3A9F4CF6859D2 Time : 80276.0 sec. user=kar_bon [2011-03-07 18:44:42] 833*2^798154-1 is not prime. Res64: B98815A731C61C2B Time : 80281.0 sec. user=kar_bon [2011-03-07 18:44:42] 861*2^798161-1 is not prime. Res64: ACEC2BAD8807EDEE Time : 80279.0 sec. user=kar_bon [2011-03-07 18:44:42] 909*2^798171-1 is not prime. Res64: 48E65642FD5B0A17 Time : 80276.0 sec. user=kar_bon [2011-03-07 18:44:42] 825*2^798155-1 is not prime. Res64: BFC74D70B0A6C0CC Time : 80281.0 sec. user=kar_bon [2011-03-07 18:44:42] 981*2^798161-1 is not prime. Res64: 05F31676E7919AA5 Time : 80278.0 sec. user=kar_bon [2011-03-07 18:44:42] 957*2^798172-1 is not prime. Res64: 2B1546D76B1C81A5 Time : 80275.0 sec. user=kar_bon [2011-03-07 18:44:42] 857*2^798156-1 is not prime. Res64: 235D9C86F8B819CB Time : 80280.0 sec. user=kar_bon [2011-03-07 18:44:42] 951*2^798163-1 is not prime. Res64: 3EED5789398A4E2D Time : 80278.0 sec. user=kar_bon [2011-03-07 18:44:43] 847*2^798173-1 is not prime. Res64: A61BA965F071CC95 Time : 80276.0 sec. user=kar_bon [2011-03-07 18:44:43] 801*2^798158-1 is not prime. Res64: FFE97FFF5B85C346 Time : 80281.0 sec. user=kar_bon [2011-03-07 18:44:43] 927*2^798164-1 is not prime. Res64: A0FD4D1B3FEE6F74 Time : 80279.0 sec. user=kar_bon [2011-03-07 18:44:43] 945*2^798173-1 is not prime. Res64: A9A7C66DC0C413A9 Time : 80276.0 sec. user=kar_bon [2011-03-07 18:44:43] 879*2^798159-1 is not prime. Res64: 09CE3E65E2740ECF Time : 80280.0 sec. user=kar_bon [2011-03-07 18:44:43] 895*2^798165-1 is not prime. Res64: 2B98ABF712812E80 Time : 80278.0 sec. user=kar_bon [2011-03-07 18:44:43] 871*2^798157-1 is not prime. Res64: 1F0238D1FF3F04C3 Time : 80281.0 sec. user=kar_bon [2011-03-07 18:44:43] 861*2^798174-1 is not prime. Res64: 5E781FF3A7E928C8 Time : 80275.0 sec. user=kar_bon [2011-03-07 18:44:43] 855*2^798160-1 is not prime. Res64: 6139390DC54B1558 Time : 80280.0 sec. user=kar_bon [2011-03-07 18:44:43] 987*2^798166-1 is not prime. Res64: 757A93F9CBD3191A Time : 80278.0 sec. user=kar_bon [2011-03-07 18:44:45] 827*2^798158-1 is not prime. Res64: DC751C03EA54FDF5 Time : 80283.0 sec. user=kar_bon [2011-03-07 18:44:46] 973*2^798175-1 is not prime. Res64: D6F27523362CB37A Time : 80278.0 sec. user=kar_bon [2011-03-07 18:44:46] 925*2^798161-1 is not prime. Res64: 6FF19C3C6431EDA5 Time : 80283.0 sec. user=kar_bon [2011-03-07 18:44:46] 891*2^798159-1 is not prime. Res64: B196A938E0002620 Time : 80283.0 sec. user=kar_bon [2011-03-07 18:44:46] 817*2^798169-1 is not prime. Res64: 5DA169DD78DA4E68 Time : 80281.0 sec. user=kar_bon [2011-03-07 18:44:47] 969*2^798176-1 is not prime. Res64: FDF67C9BA460437C Time : 80279.0 sec. user=kar_bon [2011-03-07 18:44:48] 867*2^798162-1 is not prime. Res64: 2DEC913B167FDAC8 Time : 80284.0 sec. user=kar_bon [2011-03-07 18:44:48] 927*2^798160-1 is not prime. Res64: D05577D6D01D27CD Time : 80285.0 sec. user=kar_bon [2011-03-07 18:44:48] 985*2^798169-1 is not prime. Res64: 9057481D271C8A48 Time : 80282.0 sec. user=kar_bon [2011-03-07 18:44:49] 845*2^798178-1 is not prime. Res64: 076F33AE376328B2 Time : 80280.0 sec. user=kar_bon [2011-03-07 18:44:49] 999*2^798163-1 is not prime. Res64: EF60DF51158FB66E Time : 80285.0 sec. user=kar_bon [2011-03-07 18:44:50] 931*2^798161-1 is not prime. Res64: E14A86B280572B7B Time : 80287.0 sec. user=kar_bon [2011-03-07 18:44:50] 861*2^798171-1 is not prime. Res64: 6D6CD37E310BD071 Time : 80284.0 sec. user=kar_bon [2011-03-07 18:44:50] 823*2^798179-1 is not prime. Res64: 4D5519840203D557 Time : 80281.0 sec. user=kar_bon [2011-03-07 18:44:51] 935*2^798164-1 is not prime. Res64: CCC0962CC3703F76 Time : 80287.0 sec. user=kar_bon [2011-03-07 18:44:51] 873*2^798162-1 is not prime. Res64: BBC693BD3742D780 Time : 80287.0 sec. user=kar_bon [2011-03-07 18:44:52] 915*2^798172-1 is not prime. Res64: A115C96CB5805EC3 Time : 80285.0 sec. user=kar_bon [2011-03-07 18:44:52] 879*2^798180-1 is not prime. Res64: 41ED786D33E7E6B3 Time : 80282.0 sec. user=kar_bon [2011-03-07 18:44:53] 945*2^798166-1 is not prime. Res64: 0B4DCBB7B4005C99 Time : 80288.0 sec. user=kar_bon [2011-03-07 18:44:53] 837*2^798164-1 is not prime. Res64: 8FCD254245E0BA11 Time : 80289.0 sec. user=kar_bon [2011-03-07 18:44:54] 829*2^798173-1 is not prime. Res64: D29EB48B006A8F61 Time : 80287.0 sec. user=kar_bon [2011-03-07 18:44:55] 979*2^798167-1 is not prime. Res64: AE2E1C118DAAEC50 Time : 80290.0 sec. user=kar_bon [2011-03-07 18:44:55] 965*2^798180-1 is not prime. Res64: 5555FB819E4847FF Time : 80285.0 sec. user=kar_bon [2011-03-07 18:44:55] 831*2^798165-1 is not prime. Res64: 40C0D4CE1BAEEFF6 Time : 80290.0 sec. user=kar_bon [2011-03-07 18:44:56] 889*2^798173-1 is not prime. Res64: BADA7A20023EC873 Time : 80289.0 sec. user=kar_bon [2011-03-07 18:44:56] 877*2^798169-1 is not prime. Res64: 223AEDC7F6EB9C29 Time : 80290.0 sec. user=kar_bon [2011-03-07 18:44:56] 1001*2^798182-1 is not prime. Res64: E20CA0EB77D7692F Time : 80286.0 sec. user=kar_bon [2011-03-07 18:44:57] 971*2^798166-1 is not prime. Res64: B332DDC0CFA4BE69 Time : 80292.0 sec. user=kar_bon [2011-03-07 18:44:57] 807*2^798174-1 is not prime. Res64: 1C7D21E877F6803F Time : 80289.0 sec. user=kar_bon [2011-03-07 18:44:58] 987*2^798170-1 is not prime. Res64: FAC9D484E0E152A0 Time : 80292.0 sec. user=kar_bon [2011-03-07 18:44:59] 951*2^798183-1 is not prime. Res64: 525F3393AC2D914C Time : 80288.0 sec. user=kar_bon [2011-03-07 18:44:59] 819*2^798168-1 is not prime. Res64: 0D8A0C7837EA8B8C Time : 80294.0 sec. user=kar_bon [2011-03-07 18:44:59] 951*2^798175-1 is not prime. Res64: EF4418495BF2B03C Time : 80291.0 sec. user=kar_bon [2011-03-07 18:45:00] 833*2^798172-1 is not prime. Res64: 68DD013569935734 Time : 80294.0 sec. user=kar_bon [2011-03-07 18:45:00] 905*2^798184-1 is not prime. Res64: 4FC47710773350F3 Time : 80289.0 sec. user=kar_bon [2011-03-07 18:45:00] 957*2^798169-1 is not prime. Res64: 793490B6E2A32B1C Time : 80294.0 sec. user=kar_bon [2011-03-07 18:45:01] 927*2^798176-1 is not prime. Res64: 73D46DC3882EB9F1 Time : 80293.0 sec. user=kar_bon [2011-03-07 18:45:02] 987*2^798172-1 is not prime. Res64: 1AF802ACB3D86AF3 Time : 80295.0 sec. user=kar_bon [2011-03-07 18:45:02] 925*2^798185-1 is not prime. Res64: A66D423141A13E44 Time : 80291.0 sec. user=kar_bon [2011-03-07 18:45:02] 849*2^798171-1 is not prime. Res64: 7298477494F035A6 Time : 80296.0 sec. user=kar_bon [2011-03-07 18:45:03] 813*2^798178-1 is not prime. Res64: 4EEA7E1ED29C1E67 Time : 80294.0 sec. user=kar_bon [2011-03-07 18:45:04] 855*2^798173-1 is not prime. Res64: 4591B3544ECF2703 Time : 80297.0 sec. user=kar_bon [2011-03-07 18:45:05] 855*2^798172-1 is not prime. Res64: EF2211ECFA895A0C Time : 80299.0 sec. user=kar_bon [2011-03-07 18:45:05] 971*2^798178-1 is not prime. Res64: D3A33970CA56DF10 Time : 80296.0 sec. user=kar_bon [2011-03-07 18:45:05] 955*2^798173-1 is not prime. Res64: 5FD1535D639F62FE Time : 80298.0 sec. user=kar_bon [2011-03-07 18:45:05] 801*2^798173-1 is not prime. Res64: D23739001314B67F Time : 80298.0 sec. user=kar_bon [2011-03-07 18:45:05] 927*2^798174-1 is not prime. Res64: B9A9462890E97BF5 Time : 80297.0 sec. user=kar_bon [2011-03-07 18:45:05] 979*2^798179-1 is not prime. Res64: 75FC51DB8E0D4074 Time : 80295.0 sec. user=kar_bon [2011-03-07 18:45:05] 861*2^798173-1 is not prime. Res64: E5D63C72B1C0A090 Time : 80298.0 sec. user=kar_bon [2011-03-07 18:45:05] 841*2^798187-1 is not prime. Res64: BF2F6C9B447A7416 Time : 80293.0 sec. user=kar_bon [2011-03-07 18:45:05] 833*2^798176-1 is not prime. Res64: BDBC00948DA904F5 Time : 80297.0 sec. user=kar_bon [2011-03-07 18:45:05] 959*2^798180-1 is not prime. Res64: 298AA3DABA42DBAB Time : 80295.0 sec. user=kar_bon [2011-03-07 18:45:05] 969*2^798173-1 is not prime. Res64: 7BFF819B678BFEF6 Time : 80297.0 sec. user=kar_bon [2011-03-07 18:45:06] 963*2^798188-1 is not prime. Res64: 22A47F7460B26F23 Time : 80294.0 sec. user=kar_bon [2011-03-07 18:45:07] 999*2^798176-1 is not prime. Res64: 8FF503D3F29F78EB Time : 80298.0 sec. user=kar_bon [2011-03-07 18:45:08] 925*2^798175-1 is not prime. Res64: C9675050A9B95ACE Time : 80300.0 sec. user=kar_bon [2011-03-07 18:45:08] 995*2^798182-1 is not prime. Res64: EC3908BD4B080D33 Time : 80298.0 sec. user=kar_bon [2011-03-07 18:45:08] 957*2^798190-1 is not prime. Res64: 0A13F583D1C1DD1E Time : 80295.0 sec. user=kar_bon [2011-03-07 18:45:08] 857*2^798178-1 is not prime. Res64: C117665581BC821E Time : 80299.0 sec. user=kar_bon [2011-03-07 18:45:09] 855*2^798176-1 is not prime. Res64: 281320F872D58CA1 Time : 80301.0 sec. user=kar_bon [2011-03-07 18:45:09] 879*2^798183-1 is not prime. Res64: 1DAF81A5D56EAD34 Time : 80298.0 sec. user=kar_bon [2011-03-07 18:45:10] 859*2^798191-1 is not prime. Res64: B640F618D9B8BA06 Time : 80297.0 sec. user=kar_bon [2011-03-07 18:45:11] 913*2^798179-1 is not prime. Res64: B269F482B2476821 Time : 80302.0 sec. user=kar_bon [2011-03-07 18:45:11] 919*2^798177-1 is not prime. Res64: A64B6952ED841335 Time : 80302.0 sec. user=kar_bon [2011-03-07 18:45:11] 875*2^798184-1 is not prime. Res64: A74A532ECE4C838F Time : 80300.0 sec. user=kar_bon [2011-03-07 18:45:12] 843*2^798192-1 is not prime. Res64: E1B41B78A5C3E9FF Time : 80299.0 sec. user=kar_bon [2011-03-07 18:45:12] 909*2^798180-1 is not prime. Res64: 529B0D453080864D Time : 80302.0 sec. user=kar_bon [2011-03-07 18:45:13] 915*2^798178-1 is not prime. Res64: DA1513ADDC6D6A95 Time : 80304.0 sec. user=kar_bon [2011-03-07 18:45:13] 811*2^798185-1 is not prime. Res64: D4AD3599D2A9D115 Time : 80302.0 sec. user=kar_bon [2011-03-07 18:45:13] 811*2^798193-1 is not prime. Res64: DDE20F30C793CE5D Time : 80299.0 sec. user=kar_bon [2011-03-07 18:45:14] 951*2^798181-1 is not prime. Res64: 96CA53224F0B052F Time : 80304.0 sec. user=kar_bon [2011-03-07 18:45:14] 943*2^798179-1 is not prime. Res64: 8FDE313AE2462ADA Time : 80305.0 sec. user=kar_bon [2011-03-07 18:45:15] 829*2^798187-1 is not prime. Res64: FD3F8E503C86EF49 Time : 80303.0 sec. user=kar_bon [2011-03-07 18:45:16] 813*2^798194-1 is not prime. Res64: 3FA245EF3F92AB58 Time : 80302.0 sec. user=kar_bon [2011-03-07 18:45:16] 805*2^798183-1 is not prime. Res64: 7F1DC55F840B7AE1 Time : 80306.0 sec. user=kar_bon [2011-03-07 18:45:16] 945*2^798180-1 is not prime. Res64: 06110AB5F204D27E Time : 80306.0 sec. user=kar_bon [2011-03-07 18:45:17] 885*2^798188-1 is not prime. Res64: 10CA6D9FE903176C Time : 80305.0 sec. user=kar_bon [2011-03-07 18:45:17] 825*2^798184-1 is not prime. Res64: 5D3D704E89DBDCB8 Time : 80306.0 sec. user=kar_bon [2011-03-07 18:45:17] 823*2^798195-1 is not prime. Res64: B7B3B9E50EFEC52E Time : 80303.0 sec. user=kar_bon [2011-03-07 18:45:18] 957*2^798181-1 is not prime. Res64: 935E33467CFEC777 Time : 80308.0 sec. user=kar_bon [2011-03-07 18:45:19] 915*2^798184-1 is not prime. Res64: 81EC2ABBB3D83CC6 Time : 80308.0 sec. user=kar_bon [2011-03-07 18:45:19] 945*2^798190-1 is not prime. Res64: 5A5CDEF011B82C61 Time : 80307.0 sec. user=kar_bon [2011-03-07 18:45:19] 965*2^798196-1 is not prime. Res64: 51B00E34B4085C9A Time : 80304.0 sec. user=kar_bon [2011-03-07 18:45:19] 849*2^798183-1 is not prime. Res64: AF0D98893BA369F0 Time : 80308.0 sec. user=kar_bon [2011-03-07 18:45:20] 807*2^798186-1 is not prime. Res64: 631933FFCF8C1512 Time : 80308.0 sec. user=kar_bon [2011-03-07 18:45:20] 811*2^798191-1 is not prime. Res64: 50450C5B431DF779 Time : 80307.0 sec. user=kar_bon [2011-03-07 18:45:22] 997*2^798197-1 is not prime. Res64: ECE1EEBC7296D36F Time : 80307.0 sec. user=kar_bon [2011-03-07 18:45:22] 863*2^798184-1 is not prime. Res64: 3127B586B27559C7 Time : 80311.0 sec. user=kar_bon [2011-03-07 18:45:22] 885*2^798187-1 is not prime. Res64: 3C64DB84448BA447 Time : 80310.0 sec. user=kar_bon [2011-03-07 18:45:22] 945*2^798191-1 is not prime. Res64: 1345A8DC7DA59088 Time : 80309.0 sec. user=kar_bon [2011-03-07 18:45:23] 805*2^798201-1 is not prime. Res64: 91B61AAD56943927 Time : 80307.0 sec. user=kar_bon [2011-03-07 18:45:24] 927*2^798184-1 is not prime. Res64: 147907049B4B4924 Time : 80313.0 sec. user=kar_bon [2011-03-07 18:45:24] 885*2^798189-1 is not prime. Res64: 2D0D4EB349BAE323 Time : 80312.0 sec. user=kar_bon [2011-03-07 18:45:25] 933*2^798192-1 is not prime. Res64: 4A78B6C50C632795 Time : 80311.0 sec. user=kar_bon [2011-03-07 18:45:25] 969*2^798201-1 is not prime. Res64: BFCC42685FAD4C70 Time : 80309.0 sec. user=kar_bon [2011-03-07 18:45:25] 903*2^798186-1 is not prime. Res64: 39A5F5D911E8F962 Time : 80313.0 sec. user=kar_bon [2011-03-07 18:45:26] 975*2^798190-1 is not prime. Res64: 9E96E61A5C893699 Time : 80313.0 sec. user=kar_bon [2011-03-07 18:45:26] 945*2^798193-1 is not prime. Res64: A4A20D69D4B3AFFF Time : 80312.0 sec. user=kar_bon [2011-03-07 18:45:27] 803*2^798202-1 is not prime. Res64: 1897E202C23A8FD4 Time : 80311.0 sec. user=kar_bon [2011-03-07 18:45:27] 813*2^798188-1 is not prime. Res64: 449B4AADAC48AF01 Time : 80315.0 sec. user=kar_bon [2011-03-07 18:45:27] 865*2^798191-1 is not prime. Res64: 8A2378E87EF81B9D Time : 80314.0 sec. user=kar_bon [2011-03-07 18:45:28] 927*2^798194-1 is not prime. Res64: 2D302933783647C3 Time : 80314.0 sec. user=kar_bon [2011-03-07 18:45:29] 911*2^798202-1 is not prime. Res64: 140C66E44729D1E9 Time : 80312.0 sec. user=kar_bon [2011-03-07 18:45:29] 979*2^798189-1 is not prime. Res64: BC015F1DC5D2FB02 Time : 80317.0 sec. user=kar_bon [2011-03-07 18:45:29] 893*2^798192-1 is not prime. Res64: EA0D3A78EA024544 Time : 80316.0 sec. user=kar_bon [2011-03-07 18:45:29] 973*2^798195-1 is not prime. Res64: CCB3BF9B3BD2F490 Time : 80314.0 sec. user=kar_bon [2011-03-07 18:45:30] 1001*2^798190-1 is not prime. Res64: F0462FE8651B44AC Time : 80317.0 sec. user=kar_bon [2011-03-07 18:45:30] 861*2^798203-1 is not prime. Res64: 0CD06FA474E19DE5 Time : 80313.0 sec. user=kar_bon [2011-03-07 18:45:31] 819*2^798193-1 is not prime. Res64: 299171507C0E209F Time : 80317.0 sec. user=kar_bon [2011-03-07 18:45:32] 867*2^798197-1 is not prime. Res64: 7E3C9C604D92C763 Time : 80317.0 sec. user=kar_bon [2011-03-07 18:45:32] 943*2^798191-1 is not prime. Res64: E99BE61A861A7134 Time : 80319.0 sec. user=kar_bon [2011-03-07 18:45:33] 927*2^798204-1 is not prime. Res64: 1A377801DC03BACE Time : 80316.0 sec. user=kar_bon [2011-03-07 18:45:33] 837*2^798194-1 is not prime. Res64: A608DA887806D300 Time : 80319.0 sec. user=kar_bon [2011-03-07 18:45:34] 933*2^798199-1 is not prime. Res64: B6F1057CE7B745F3 Time : 80319.0 sec. user=kar_bon [2011-03-07 18:45:34] 929*2^798192-1 is not prime. Res64: 3C23119E20628B2D Time : 80321.0 sec. user=kar_bon [2011-03-07 18:45:34] 957*2^798205-1 is not prime. Res64: E1DB98D6C5B33945 Time : 80316.0 sec. user=kar_bon [2011-03-07 18:45:34] 955*2^798195-1 is not prime. Res64: 76D9EEC4681ECFB9 Time : 80319.0 sec. user=kar_bon [2011-03-07 18:45:35] 855*2^798193-1 is not prime. Res64: E28D9E25CAAA4DC9 Time : 80321.0 sec. user=kar_bon [2011-03-07 18:45:35] 871*2^798201-1 is not prime. Res64: C03869064225610E Time : 80319.0 sec. user=kar_bon [2011-03-07 18:45:36] 971*2^798206-1 is not prime. Res64: 2A586783ED79C60A Time : 80318.0 sec. user=kar_bon [2011-03-07 18:45:36] 847*2^798197-1 is not prime. Res64: 14F5A10A6C97BE70 Time : 80321.0 sec. user=kar_bon [2011-03-07 18:45:37] 885*2^798194-1 is not prime. Res64: 23D2290F556C43E6 Time : 80323.0 sec. user=kar_bon [2011-03-07 18:45:37] 999*2^798201-1 is not prime. Res64: 33F606C69B31913A Time : 80321.0 sec. user=kar_bon [2011-03-07 18:45:38] 859*2^798207-1 is not prime. Res64: EB24A6D109D657F7 Time : 80319.0 sec. user=kar_bon [2011-03-07 18:45:38] 843*2^798198-1 is not prime. Res64: D9D4C349AA61049B Time : 80323.0 sec. user=kar_bon [2011-03-07 18:45:39] 887*2^798196-1 is not prime. Res64: EC1DA7EBEB6300E4 Time : 80324.0 sec. user=kar_bon [2011-03-07 18:45:39] 831*2^798202-1 is not prime. Res64: F3618B4B1F6CB116 Time : 80323.0 sec. user=kar_bon [2011-03-07 18:45:40] 845*2^798208-1 is not prime. Res64: 468210C33A22238E Time : 80321.0 sec. user=kar_bon [2011-03-07 18:45:40] 837*2^798201-1 is not prime. Res64: F270B15CD947F495 Time : 80324.0 sec. user=kar_bon [2011-03-07 18:45:41] 985*2^798197-1 is not prime. Res64: C33B761546D7355E Time : 80326.0 sec. user=kar_bon [2011-03-07 18:45:41] 995*2^798202-1 is not prime. Res64: 04843F95E2C4C173 Time : 80324.0 sec. user=kar_bon [2011-03-07 18:45:42] 867*2^798209-1 is not prime. Res64: 6B102132FFE2EE8D Time : 80323.0 sec. user=kar_bon [2011-03-07 18:45:42] 975*2^798201-1 is not prime. Res64: 38C228B499FC9245 Time : 80326.0 sec. user=kar_bon [2011-03-07 18:45:43] 985*2^798199-1 is not prime. Res64: BFA8844E23A809C6 Time : 80328.0 sec. user=kar_bon [2011-03-07 18:45:43] 973*2^798203-1 is not prime. Res64: 72B122E4DB701227 Time : 80326.0 sec. user=kar_bon [2011-03-07 18:45:44] 821*2^798202-1 is not prime. Res64: 493043E53A5C5833 Time : 80328.0 sec. user=kar_bon [2011-03-07 18:45:44] 889*2^798201-1 is not prime. Res64: 26B5098825AF654E Time : 80328.0 sec. user=kar_bon [2011-03-07 18:45:44] 861*2^798205-1 is not prime. Res64: B420F30B6A49ED48 Time : 80326.0 sec. user=kar_bon [2011-03-07 18:45:45] 923*2^798202-1 is not prime. Res64: 92250C4D1031B866 Time : 80328.0 sec. user=kar_bon [2011-03-07 18:45:45] 801*2^798202-1 is not prime. Res64: 114FF66A92DC7341 Time : 80329.0 sec. user=kar_bon [2011-03-07 18:45:45] 875*2^798206-1 is not prime. Res64: 50D984C097E69178 Time : 80327.0 sec. user=kar_bon [2011-03-07 18:45:45] 963*2^798203-1 is not prime. Res64: AC9C9B00B25436B2 Time : 80328.0 sec. user=kar_bon [2011-03-07 18:45:45] 881*2^798202-1 is not prime. Res64: 8B204F50607684B2 Time : 80328.0 sec. user=kar_bon [2011-03-07 18:45:45] 981*2^798206-1 is not prime. Res64: 944D601DF2739A28 Time : 80327.0 sec. user=kar_bon [2011-03-07 18:45:45] 969*2^798204-1 is not prime. Res64: 372F61C767267630 Time : 80327.0 sec. user=kar_bon [2011-03-07 18:45:45] 823*2^798203-1 is not prime. Res64: 6E05CE7E702FF60E Time : 80328.0 sec. user=kar_bon [2011-03-07 18:45:45] 871*2^798207-1 is not prime. Res64: 36E3D80591DDF768 Time : 80326.0 sec. user=kar_bon [2011-03-07 18:45:45] 923*2^798206-1 is not prime. Res64: 8C83444863F81BC3 Time : 80327.0 sec. user=kar_bon [2011-03-07 18:45:45] 863*2^798204-1 is not prime. Res64: E452C467452EBE45 Time : 80328.0 sec. user=kar_bon [2011-03-07 18:45:45] 989*2^798208-1 is not prime. Res64: AC43FDB46F5D1831 Time : 80326.0 sec. user=kar_bon [2011-03-07 18:45:45] 987*2^798206-1 is not prime. Res64: 95156F916B1CC5D9 Time : 80327.0 sec. user=kar_bon [2011-03-07 18:45:46] 951*2^798205-1 is not prime. Res64: F11D741ADF2B9803 Time : 80328.0 sec. user=kar_bon [2011-03-07 18:45:46] 801*2^798210-1 is not prime. Res64: 7AC1E985F79CFA11 Time : 80327.0 sec. user=kar_bon [2011-03-07 18:45:46] 979*2^798207-1 is not prime. Res64: CD8795A4B51540AB Time : 80327.0 sec. user=kar_bon [2011-03-07 18:45:46] 963*2^798206-1 is not prime. Res64: 530F3241954BA7E2 Time : 80328.0 sec. user=kar_bon [2011-03-07 18:45:46] 805*2^798211-1 is not prime. Res64: 52B4F92D19F534F2 Time : 80326.0 sec. user=kar_bon [2011-03-07 18:45:46] 801*2^798209-1 is not prime. Res64: A491C3AA91EAF463 Time : 80327.0 sec. user=kar_bon [2011-03-07 18:45:46] 993*2^798206-1 is not prime. Res64: 1A98319FD1F93678 Time : 80328.0 sec. user=kar_bon [2011-03-07 18:45:46] 859*2^798211-1 is not prime. Res64: 2DE9773F928325CC Time : 80326.0 sec. user=kar_bon [2011-03-07 18:45:46] 821*2^798210-1 is not prime. Res64: D1EA745C3E47A1F5 Time : 80327.0 sec. user=kar_bon [2011-03-07 18:45:46] 985*2^798207-1 is not prime. Res64: 1CCC4FD319607EDC Time : 80327.0 sec. user=kar_bon [2011-03-07 18:45:46] 811*2^798211-1 is not prime. Res64: CF7963780B806415 Time : 80326.0 sec. user=kar_bon [2011-03-07 18:45:46] 847*2^798209-1 is not prime. Res64: 6F38AC147E1CC41B Time : 80327.0 sec. user=kar_bon [2011-03-07 18:45:47] 975*2^798211-1 is not prime. Res64: 320ABF4691E7B981 Time : 80327.0 sec. user=kar_bon [2011-03-07 18:45:47] 801*2^798211-1 is not prime. Res64: 0057F2345A55F071 Time : 80328.0 sec. user=kar_bon [2011-03-07 18:45:47] 855*2^798212-1 is not prime. Res64: F9EDA23C5FE6D85E Time : 80326.0 sec. user=kar_bon [2011-03-07 18:45:47] 829*2^798211-1 is not prime. Res64: 7EED1AA611116DBB Time : 80327.0 sec. user=kar_bon [2011-03-07 18:45:47] 893*2^798212-1 is not prime. Res64: F5C3B8D02BAAB62D Time : 80326.0 sec. user=kar_bon [2011-03-07 18:45:47] 999*2^798211-1 is not prime. Res64: EC42E666B33756B6 Time : 80327.0 sec. user=kar_bon [2011-03-07 18:45:47] 849*2^798213-1 is not prime. Res64: D49C61202BC6209D Time : 80326.0 sec. user=kar_bon [2011-03-07 18:45:47] 873*2^798212-1 is not prime. Res64: 5F8774F174078F5E Time : 80326.0 sec. user=kar_bon [2011-03-07 18:45:48] 825*2^798214-1 is not prime. Res64: 053957B1FE55993E Time : 80326.0 sec. user=kar_bon [2011-03-07 18:45:48] 811*2^798213-1 is not prime. Res64: C7F8A868E7FC507B Time : 80327.0 sec. user=kar_bon [2011-03-07 18:45:48] 857*2^798214-1 is not prime. Res64: 22EF360D593B821C Time : 80326.0 sec. user=kar_bon [2011-03-07 18:45:48] 813*2^798214-1 is not prime. Res64: D7A9EF8EEFFE15F6 Time : 80327.0 sec. user=kar_bon [2011-03-07 18:45:48] 827*2^798214-1 is not prime. Res64: 5533E66DA3FE59BE Time : 80326.0 sec. user=kar_bon [2011-03-07 18:45:48] 917*2^798214-1 is not prime. Res64: 9671EF3521105B71 Time : 80326.0 sec. user=kar_bon [2011-03-07 18:45:49] 923*2^798214-1 is not prime. Res64: 824447DDD964A612 Time : 80327.0 sec. user=kar_bon [2011-03-07 18:45:49] 965*2^798214-1 is not prime. Res64: 29F147F1615D5C88 Time : 80326.0 sec. user=kar_bon [2011-03-07 18:45:49] 987*2^798214-1 is not prime. Res64: CF8649EB07A47382 Time : 80326.0 sec. user=kar_bon [2011-03-07 18:45:49] 939*2^798215-1 is not prime. Res64: 93DE49D055B6715C Time : 80325.0 sec. user=kar_bon [2011-03-07 18:45:50] 843*2^798216-1 is not prime. Res64: 715544F6A9631D38 Time : 80326.0 sec. user=kar_bon [2011-03-07 18:45:50] 867*2^798216-1 is not prime. Res64: 7E42E7B7F9A29AEC Time : 80326.0 sec. user=kar_bon [2011-03-07 18:45:50] 887*2^798216-1 is not prime. Res64: 0E20A7641483701C Time : 80325.0 sec. user=kar_bon [2011-03-07 18:45:50] 893*2^798216-1 is not prime. Res64: 1BBE0262168AF6B9 Time : 80325.0 sec. user=kar_bon [2011-03-07 18:46:19] 899*2^798216-1 is not prime. Res64: E4DA8C9BA547A88C Time : 80093.0 sec. user=kar_bon [2011-03-07 18:46:20] 817*2^798217-1 is not prime. Res64: D944E1DEE91737C3 Time : 80094.0 sec. user=kar_bon [2011-03-07 18:46:20] 931*2^798217-1 is not prime. Res64: 3C73B6903A5E450D Time : 80094.0 sec. user=kar_bon [2011-03-07 18:46:20] 801*2^798218-1 is not prime. Res64: A3FDDF5C7CAE33CB Time : 80093.0 sec. user=kar_bon [2011-03-07 18:46:20] 867*2^798218-1 is not prime. Res64: 35775C86F1478D53 Time : 80093.0 sec. user=kar_bon [2011-03-07 18:46:21] 887*2^798218-1 is not prime. Res64: 4BF58316F2F088A9 Time : 80094.0 sec. user=kar_bon [2011-03-07 18:46:21] 803*2^798220-1 is not prime. Res64: A782BB8728279E53 Time : 80093.0 sec. user=kar_bon [2011-03-07 18:46:21] 873*2^798220-1 is not prime. Res64: BE236F527BFBE66E Time : 80093.0 sec. user=kar_bon [2011-03-07 18:46:21] 983*2^798220-1 is not prime. Res64: 0661265BDD66C591 Time : 80092.0 sec. user=kar_bon [2011-03-07 18:46:22] 811*2^798221-1 is not prime. Res64: F380A5AFCAF7934A Time : 80093.0 sec. user=kar_bon [2011-03-07 18:46:22] 879*2^798221-1 is not prime. Res64: FC5485729A4B05B1 Time : 80093.0 sec. user=kar_bon [2011-03-07 18:46:22] 909*2^798220-1 is not prime. Res64: 4BBFE208DAE9C9E1 Time : 80093.0 sec. user=kar_bon [2011-03-07 18:46:22] 967*2^798221-1 is not prime. Res64: C213171062FE0CA1 Time : 80092.0 sec. user=kar_bon [2011-03-07 18:46:23] 987*2^798220-1 is not prime. Res64: CAD492DE1993E5B5 Time : 80094.0 sec. user=kar_bon [2011-03-07 18:46:23] 833*2^798222-1 is not prime. Res64: B92FE16B63224092 Time : 80093.0 sec. user=kar_bon [2011-03-07 18:46:23] 957*2^798221-1 is not prime. Res64: A4A05490F617BA09 Time : 80094.0 sec. user=kar_bon [2011-03-07 18:46:23] 977*2^798222-1 is not prime. Res64: E050548856277DA5 Time : 80093.0 sec. user=kar_bon [2011-03-07 18:46:23] 991*2^798221-1 is not prime. Res64: 929F9A3753114109 Time : 80093.0 sec. user=kar_bon [2011-03-07 18:46:23] 919*2^798223-1 is not prime. Res64: 9239FF4AE077CEF9 Time : 80092.0 sec. user=kar_bon [2011-03-07 18:46:23] 963*2^798222-1 is not prime. Res64: 85626F25D623F3E7 Time : 80093.0 sec. user=kar_bon [2011-03-07 18:46:23] 899*2^798224-1 is not prime. Res64: 94EDFFA9A72B6FD6 Time : 80092.0 sec. user=kar_bon [2011-03-07 18:46:24] 913*2^798223-1 is not prime. Res64: 1F96FB0A5B5373CD Time : 80094.0 sec. user=kar_bon [2011-03-07 18:46:24] 889*2^798225-1 is not prime. Res64: A557374800CA5D65 Time : 80093.0 sec. user=kar_bon [2011-03-07 18:46:24] 933*2^798223-1 is not prime. Res64: 49E2A5C526B4A72F Time : 80093.0 sec. user=kar_bon [2011-03-07 18:46:24] 981*2^798226-1 is not prime. Res64: F6B597220DA10D21 Time : 80092.0 sec. user=kar_bon [2011-03-07 18:46:24] 917*2^798224-1 is not prime. Res64: 537AC751562A96FF Time : 80093.0 sec. user=kar_bon [2011-03-07 18:46:24] 825*2^798228-1 is not prime. Res64: 43745B9EE4094F93 Time : 80092.0 sec. user=kar_bon [2011-03-07 18:46:24] 857*2^798226-1 is not prime. Res64: C44F25EA5259B6DE Time : 80092.0 sec. user=kar_bon [2011-03-07 18:46:24] 817*2^798229-1 is not prime. Res64: D4932D8E5B2AD614 Time : 80091.0 sec. user=kar_bon [2011-03-07 18:46:25] 879*2^798227-1 is not prime. Res64: A25D5E2267C464A0 Time : 80093.0 sec. user=kar_bon [2011-03-07 18:46:25] 843*2^798230-1 is not prime. Res64: A68E385F124BA48C Time : 80092.0 sec. user=kar_bon [2011-03-07 18:46:25] 843*2^798228-1 is not prime. Res64: 9A396FD057F04A94 Time : 80093.0 sec. user=kar_bon [2011-03-07 18:46:25] 901*2^798231-1 is not prime. Res64: 5A014246D8715935 Time : 80092.0 sec. user=kar_bon [2011-03-07 18:46:25] 915*2^798223-1 is not prime. Res64: 3FB8C8D437EC6356 Time : 80094.0 sec. user=kar_bon [2011-03-07 18:46:25] 825*2^798229-1 is not prime. Res64: 220D3EA95097863C Time : 80092.0 sec. user=kar_bon [2011-03-07 18:46:25] 871*2^798233-1 is not prime. Res64: 0D2FD3395DCA9A81 Time : 80091.0 sec. user=kar_bon [2011-03-07 18:46:26] 945*2^798223-1 is not prime. Res64: 6BBBBF111122D6AF Time : 80095.0 sec. user=kar_bon [2011-03-07 18:46:26] 965*2^798230-1 is not prime. Res64: AC9A556C3562C02A Time : 80093.0 sec. user=kar_bon [2011-03-07 18:46:26] 993*2^798234-1 is not prime. Res64: CC144A361D7CB022 Time : 80092.0 sec. user=kar_bon [2011-03-07 18:46:26] 927*2^798224-1 is not prime. Res64: 588C7ADFBF70C080 Time : 80095.0 sec. user=kar_bon [2011-03-07 18:46:26] 921*2^798231-1 is not prime. Res64: 48D56E2A9AFF0197 Time : 80093.0 sec. user=kar_bon [2011-03-07 18:46:26] 879*2^798236-1 is not prime. Res64: CE0DDFC37D8FC86A Time : 80092.0 sec. user=kar_bon [2011-03-07 18:46:26] 881*2^798226-1 is not prime. Res64: E88265CCCAC3DCFB Time : 80094.0 sec. user=kar_bon [2011-03-07 18:46:26] 939*2^798233-1 is not prime. Res64: 424A09D750648578 Time : 80092.0 sec. user=kar_bon [2011-03-07 18:46:26] 865*2^798237-1 is not prime. Res64: BB19E401E1BD4224 Time : 80091.0 sec. user=kar_bon [2011-03-07 18:46:26] 915*2^798227-1 is not prime. Res64: C8E9B944DA58B780 Time : 80094.0 sec. user=kar_bon [2011-03-07 18:46:26] 909*2^798235-1 is not prime. Res64: C6D54F12F568949D Time : 80092.0 sec. user=kar_bon [2011-03-07 18:46:26] 825*2^798238-1 is not prime. Res64: 4B2FDE6F181A28E5 Time : 80091.0 sec. user=kar_bon [2011-03-07 18:46:26] 905*2^798228-1 is not prime. Res64: 642A400DA46365E2 Time : 80094.0 sec. user=kar_bon [2011-03-07 18:46:27] 903*2^798236-1 is not prime. Res64: 739F3BEFF47DC727 Time : 80093.0 sec. user=kar_bon [2011-03-07 18:46:27] 979*2^798239-1 is not prime. Res64: 5F9D8E4E23359C6F Time : 80091.0 sec. user=kar_bon [2011-03-07 18:46:27] 961*2^798229-1 is not prime. Res64: 7C833D32787A3FA7 Time : 80094.0 sec. user=kar_bon [2011-03-07 18:46:27] 889*2^798237-1 is not prime. Res64: F47F69B0C54F179B Time : 80092.0 sec. user=kar_bon [2011-03-07 18:46:27] 895*2^798241-1 is not prime. Res64: C37F2B2B68B64D5C Time : 80091.0 sec. user=kar_bon [2011-03-07 18:46:27] 879*2^798231-1 is not prime. Res64: 58FF2B327245AC6C Time : 80094.0 sec. user=kar_bon [2011-03-07 18:46:27] 885*2^798238-1 is not prime. Res64: 360A4C116FE500CD Time : 80092.0 sec. user=kar_bon [2011-03-07 18:46:27] 957*2^798242-1 is not prime. Res64: F0CEC92C254B5FD2 Time : 80091.0 sec. user=kar_bon [2011-03-07 18:46:27] 837*2^798233-1 is not prime. Res64: C88B98A1395C5CA1 Time : 80093.0 sec. user=kar_bon [2011-03-07 18:46:27] 915*2^798240-1 is not prime. Res64: 22D75D3B7EE4F63C Time : 80091.0 sec. user=kar_bon [2011-03-07 18:46:27] 947*2^798244-1 is not prime. Res64: 1225E42CDEDEB31E Time : 80090.0 sec. user=kar_bon [2011-03-07 18:46:27] 921*2^798234-1 is not prime. Res64: CC09879FC5549F6D Time : 80093.0 sec. user=kar_bon [2011-03-07 18:46:27] 997*2^798241-1 is not prime. Res64: 5A3EAF42C52CAFEA Time : 80091.0 sec. user=kar_bon [2011-03-07 18:46:28] 871*2^798245-1 is not prime. Res64: 0E2C5B93C0A31BA7 Time : 80091.0 sec. user=kar_bon [2011-03-07 18:46:28] 945*2^798224-1 is not prime. Res64: A2F5EC20CB29CDB8 Time : 80097.0 sec. user=kar_bon [2011-03-07 18:46:28] 839*2^798236-1 is not prime. Res64: E4DAC03539A478EF Time : 80094.0 sec. user=kar_bon [2011-03-07 18:46:28] 963*2^798242-1 is not prime. Res64: A183E67C13AC38F2 Time : 80092.0 sec. user=kar_bon [2011-03-07 18:46:28] 843*2^798246-1 is not prime. Res64: B07A60CAED3EC75D Time : 80091.0 sec. user=kar_bon [2011-03-07 18:46:29] 933*2^798226-1 is not prime. Res64: F7B5FA19062E4610 Time : 80097.0 sec. user=kar_bon [2011-03-07 18:46:30] 861*2^798237-1 is not prime. Res64: 08074D983CE44B5C Time : 80095.0 sec. user=kar_bon [2011-03-07 18:46:30] 801*2^798245-1 is not prime. Res64: E1455AB144A20BAC Time : 80093.0 sec. user=kar_bon [2011-03-07 18:46:30] 915*2^798247-1 is not prime. Res64: 593F93BF65A4B240 Time : 80092.0 sec. user=kar_bon [2011-03-07 18:46:31] 963*2^798227-1 is not prime. Res64: E3804177434261CE Time : 80099.0 sec. user=kar_bon [2011-03-07 18:46:31] 961*2^798237-1 is not prime. Res64: 3ED1FC22ECFA0424 Time : 80096.0 sec. user=kar_bon [2011-03-07 18:46:32] 889*2^798245-1 is not prime. Res64: 447E06D7763F0EFB Time : 80095.0 sec. user=kar_bon [2011-03-07 18:46:32] 885*2^798250-1 is not prime. Res64: 21D41C8AF0EE3FD8 Time : 80094.0 sec. user=kar_bon [2011-03-07 18:46:33] 845*2^798228-1 is not prime. Res64: 79A3D5847BDB1EFB Time : 80101.0 sec. user=kar_bon [2011-03-07 18:46:33] 923*2^798238-1 is not prime. Res64: 306A85FE1EE22501 Time : 80098.0 sec. user=kar_bon [2011-03-07 18:46:33] 829*2^798247-1 is not prime. Res64: CAEC2C3EDDE3C26B Time : 80096.0 sec. user=kar_bon [2011-03-07 18:46:34] 859*2^798251-1 is not prime. Res64: 0151759E6C72F9B5 Time : 80096.0 sec. user=kar_bon [2011-03-07 18:46:35] 931*2^798229-1 is not prime. Res64: AF5BEBCC7FDC1FFD Time : 80102.0 sec. user=kar_bon [2011-03-07 18:46:35] 847*2^798241-1 is not prime. Res64: 6F5A0A3D0F8605CA Time : 80099.0 sec. user=kar_bon [2011-03-07 18:46:36] 837*2^798248-1 is not prime. Res64: 536A2B89F0E79D3B Time : 80098.0 sec. user=kar_bon [2011-03-07 18:46:36] 951*2^798253-1 is not prime. Res64: 4DE5BD1183BCAC95 Time : 80097.0 sec. user=kar_bon [2011-03-07 18:46:36] 981*2^798230-1 is not prime. Res64: 19DD8F000DE8D303 Time : 80103.0 sec. user=kar_bon [2011-03-07 18:46:37] 893*2^798242-1 is not prime. Res64: E0D3DA3B275CB0FD Time : 80101.0 sec. user=kar_bon [2011-03-07 18:46:38] 891*2^798250-1 is not prime. Res64: C78CF3FF6E51D851 Time : 80100.0 sec. user=kar_bon [2011-03-07 18:46:38] 917*2^798254-1 is not prime. Res64: 873E4E790478EFE1 Time : 80099.0 sec. user=kar_bon [2011-03-07 18:46:39] 807*2^798232-1 is not prime. Res64: 1AB89DD39F595010 Time : 80105.0 sec. user=kar_bon [2011-03-07 18:46:39] 963*2^798243-1 is not prime. Res64: E2AABD1809EFBD73 Time : 80102.0 sec. user=kar_bon [2011-03-07 18:46:39] 875*2^798252-1 is not prime. Res64: 49AD0D8C13B904B9 Time : 80100.0 sec. user=kar_bon [2011-03-07 18:46:40] 891*2^798255-1 is not prime. Res64: 056267EF98C72FBE Time : 80100.0 sec. user=kar_bon [2011-03-07 18:46:40] 951*2^798233-1 is not prime. Res64: F2D28532690D8935 Time : 80106.0 sec. user=kar_bon [2011-03-07 18:46:40] 867*2^798245-1 is not prime. Res64: BD151312310263FA Time : 80103.0 sec. user=kar_bon [2011-03-07 18:46:41] 987*2^798253-1 is not prime. Res64: E765F33FD09444A9 Time : 80102.0 sec. user=kar_bon [2011-03-07 18:46:41] 887*2^798256-1 is not prime. Res64: F27D7DE6FE67EF92 Time : 80101.0 sec. user=kar_bon [2011-03-07 18:46:42] 951*2^798235-1 is not prime. Res64: 0040C3204DA3EDE9 Time : 80108.0 sec. user=kar_bon [2011-03-07 18:46:43] 815*2^798246-1 is not prime. Res64: F0219A1AD76B4B15 Time : 80106.0 sec. user=kar_bon [2011-03-07 18:46:43] 983*2^798254-1 is not prime. Res64: F454495F3EA119FE Time : 80104.0 sec. user=kar_bon [2011-03-07 18:46:44] 879*2^798257-1 is not prime. Res64: B101A714FA1D3908 Time : 80104.0 sec. user=kar_bon [2011-03-07 18:46:44] 923*2^798236-1 is not prime. Res64: D811DE5226FA0B57 Time : 80109.0 sec. user=kar_bon [2011-03-07 18:46:44] 909*2^798247-1 is not prime. Res64: C6F9D13D13047709 Time : 80106.0 sec. user=kar_bon [2011-03-07 18:46:45] 933*2^798255-1 is not prime. Res64: 24831F37F0C6A291 Time : 80105.0 sec. user=kar_bon [2011-03-07 18:46:45] 927*2^798258-1 is not prime. Res64: 8D1E33DDD782FDBB Time : 80104.0 sec. user=kar_bon [2011-03-07 18:46:46] 919*2^798237-1 is not prime. Res64: A14060B64A55BC03 Time : 80111.0 sec. user=kar_bon [2011-03-07 18:46:47] 951*2^798249-1 is not prime. Res64: C44991DC165AE351 Time : 80109.0 sec. user=kar_bon [2011-03-07 18:46:47] 939*2^798256-1 is not prime. Res64: 740DA420DA855D94 Time : 80107.0 sec. user=kar_bon [2011-03-07 18:46:47] 885*2^798259-1 is not prime. Res64: 7DFBFDBA0C924DDE Time : 80106.0 sec. user=kar_bon [2011-03-07 18:46:48] 915*2^798238-1 is not prime. Res64: 83B322E5BFE1F9BD Time : 80113.0 sec. user=kar_bon [2011-03-07 18:46:48] 823*2^798251-1 is not prime. Res64: CCF28FD10569D62D Time : 80110.0 sec. user=kar_bon [2011-03-07 18:46:49] 925*2^798257-1 is not prime. Res64: FEE6638BFF13A853 Time : 80109.0 sec. user=kar_bon [2011-03-07 18:46:49] 845*2^798260-1 is not prime. Res64: EE8A4E912C9642BC Time : 80108.0 sec. user=kar_bon [2011-03-07 18:46:49] 927*2^798240-1 is not prime. Res64: 35CED705950BFED2 Time : 80113.0 sec. user=kar_bon [2011-03-07 18:46:50] 895*2^798253-1 is not prime. Res64: 538EFCA850E52E6F Time : 80111.0 sec. user=kar_bon [2011-03-07 18:46:51] 843*2^798259-1 is not prime. Res64: C65962482E1A43AF Time : 80110.0 sec. user=kar_bon [2011-03-07 18:46:51] 885*2^798242-1 is not prime. Res64: C781815A6FB9F52F Time : 80115.0 sec. user=kar_bon [2011-03-07 18:46:51] 851*2^798254-1 is not prime. Res64: 1D04AB389C8EACF7 Time : 80112.0 sec. user=kar_bon [2011-03-07 18:46:51] 825*2^798260-1 is not prime. Res64: B1C39735A5A618CA Time : 80110.0 sec. user=kar_bon [2011-03-07 18:46:52] 891*2^798243-1 is not prime. Res64: 06395835173D1B22 Time : 80116.0 sec. user=kar_bon [2011-03-07 18:46:52] 871*2^798255-1 is not prime. Res64: 92014976F160139D Time : 80112.0 sec. user=kar_bon [2011-03-07 18:46:52] 955*2^798261-1 is not prime. Res64: 0A6A85B61A172201 Time : 80111.0 sec. user=kar_bon [2011-03-07 18:46:52] 811*2^798245-1 is not prime. Res64: 799D9C000A8E21F2 Time : 80115.0 sec. user=kar_bon [2011-03-07 18:46:52] 903*2^798256-1 is not prime. Res64: 84271065AE5556AC Time : 80112.0 sec. user=kar_bon [2011-03-07 18:46:52] 991*2^798245-1 is not prime. Res64: B400605CA3A1EEB9 Time : 80115.0 sec. user=kar_bon [2011-03-07 18:46:52] 885*2^798257-1 is not prime. Res64: 9A987EED2641E382 Time : 80112.0 sec. user=kar_bon [2011-03-07 18:46:52] 841*2^798247-1 is not prime. Res64: 6E42DF40D45C1E08 Time : 80114.0 sec. user=kar_bon [2011-03-07 18:46:52] 971*2^798258-1 is not prime. Res64: A0DD73ED3D549909 Time : 80111.0 sec. user=kar_bon [2011-03-07 18:46:52] 949*2^798249-1 is not prime. Res64: 79BA2155323AA080 Time : 80114.0 sec. user=kar_bon [2011-03-07 18:46:53] 951*2^798259-1 is not prime. Res64: 22E719EDE2ADD79E Time : 80112.0 sec. user=kar_bon [2011-03-07 18:46:53] 987*2^798250-1 is not prime. Res64: 4E06B60B5ED390AA Time : 80115.0 sec. user=kar_bon [2011-03-07 18:46:53] 875*2^798260-1 is not prime. Res64: D8E11BF54282F055 Time : 80112.0 sec. user=kar_bon [2011-03-07 18:46:53] 859*2^798253-1 is not prime. Res64: AF4D40A945FECBA4 Time : 80114.0 sec. user=kar_bon [2011-03-07 18:46:53] 891*2^798262-1 is not prime. Res64: FE40BF906B6C82B8 Time : 80111.0 sec. user=kar_bon [2011-03-07 18:46:53] 999*2^798253-1 is not prime. Res64: 5D926363EBE57DFF Time : 80114.0 sec. user=kar_bon [2011-03-07 18:46:53] 809*2^798264-1 is not prime. Res64: C3CAD494777FF790 Time : 80111.0 sec. user=kar_bon [2011-03-07 18:46:53] 993*2^798254-1 is not prime. Res64: 76DEA720F756DD48 Time : 80114.0 sec. user=kar_bon [2011-03-07 18:46:53] 831*2^798265-1 is not prime. Res64: DC88388FBBD9323B Time : 80111.0 sec. user=kar_bon [2011-03-07 18:46:54] 869*2^798256-1 is not prime. Res64: E4FE692BA2FC1AB8 Time : 80114.0 sec. user=kar_bon [2011-03-07 18:46:54] 983*2^798266-1 is not prime. Res64: 17E8989F8AD58454 Time : 80111.0 sec. user=kar_bon [2011-03-07 18:46:54] 801*2^798257-1 is not prime. Res64: 4EF273930F085C60 Time : 80114.0 sec. user=kar_bon [2011-03-07 18:46:54] 919*2^798267-1 is not prime. Res64: 51DF8F320E096E6A Time : 80111.0 sec. user=kar_bon [2011-03-07 18:46:54] 991*2^798257-1 is not prime. Res64: F8F898F0789D6B9D Time : 80114.0 sec. user=kar_bon [2011-03-07 18:46:54] 929*2^798268-1 is not prime. Res64: DB202A8BB1140736 Time : 80110.0 sec. user=kar_bon [2011-03-07 18:46:54] 861*2^798259-1 is not prime. Res64: 6CD970A8B458EB53 Time : 80113.0 sec. user=kar_bon [2011-03-07 18:46:54] 861*2^798269-1 is not prime. Res64: 1B9E5965CD741EA7 Time : 80110.0 sec. user=kar_bon [2011-03-07 18:46:55] 843*2^798260-1 is not prime. Res64: C8D2A3DFDEF47C5F Time : 80114.0 sec. user=kar_bon [2011-03-07 18:46:55] 861*2^798270-1 is not prime. Res64: F680D271ACCB6995 Time : 80111.0 sec. user=kar_bon [2011-03-07 18:46:55] 987*2^798261-1 is not prime. Res64: C6E05C86C0E3136D Time : 80113.0 sec. user=kar_bon [2011-03-07 18:46:55] 921*2^798263-1 is not prime. Res64: E2E2969D2F20D73B Time : 80113.0 sec. user=kar_bon [2011-03-07 18:46:55] 975*2^798264-1 is not prime. Res64: 86C50935DD806793 Time : 80113.0 sec. user=kar_bon [2011-03-07 18:46:55] 843*2^798266-1 is not prime. Res64: E85F6F1C718FDC3F Time : 80112.0 sec. user=kar_bon [2011-03-07 18:46:56] 1001*2^798266-1 is not prime. Res64: 6C72813B4C898284 Time : 80113.0 sec. user=kar_bon [2011-03-07 18:46:56] 961*2^798267-1 is not prime. Res64: 0E906EBBE3D1D523 Time : 80113.0 sec. user=kar_bon [2011-03-07 18:46:56] 999*2^798268-1 is not prime. Res64: 502C58D2EED4CC17 Time : 80112.0 sec. user=kar_bon [2011-03-07 18:46:56] 885*2^798269-1 is not prime. Res64: 459CC8406FE2B9A6 Time : 80112.0 sec. user=kar_bon [2011-03-07 18:46:57] 971*2^798270-1 is not prime. Res64: 7894D311550B0245 Time : 80113.0 sec. user=kar_bon [2011-03-07 18:46:57] 871*2^798271-1 is not prime. Res64: 848FDE16CD87CF69 Time : 80112.0 sec. user=kar_bon [2011-03-07 18:46:57] 813*2^798272-1 is not prime. Res64: E990BB7B4B09E48C Time : 80112.0 sec. user=kar_bon [2011-03-07 18:46:57] 803*2^798274-1 is not prime. Res64: AE4B27E28D5186CD Time : 80111.0 sec. user=kar_bon [2011-03-07 18:46:57] 855*2^798275-1 is not prime. Res64: D15493D6F5F6B9CE Time : 80111.0 sec. user=kar_bon [2011-03-07 18:47:19] 991*2^798261-1 is not prime. Res64: 016813865185CD9D Time : 80137.0 sec. user=kar_bon [2011-03-07 18:47:19] 991*2^798263-1 is not prime. Res64: 5EC275432ED41E35 Time : 80137.0 sec. user=kar_bon [2011-03-07 18:47:20] 983*2^798264-1 is not prime. Res64: 780AD3BB395B2F69 Time : 80138.0 sec. user=kar_bon [2011-03-07 18:47:20] 945*2^798266-1 is not prime. Res64: EAFF9B1BF1B9927C Time : 80137.0 sec. user=kar_bon [2011-03-07 18:47:21] 983*2^798262-1 is not prime. Res64: 3F956F17B1CEF91B Time : 80139.0 sec. user=kar_bon [2011-03-07 18:47:21] 903*2^798267-1 is not prime. Res64: 5AB959564A88E8DB Time : 80138.0 sec. user=kar_bon [2011-03-07 18:47:21] 841*2^798271-1 is not prime. Res64: BC25B7A5930F5DCD Time : 80136.0 sec. user=kar_bon [2011-03-07 18:47:21] 887*2^798264-1 is not prime. Res64: 24C29FCF5118D881 Time : 80139.0 sec. user=kar_bon [2011-03-07 18:47:21] 915*2^798268-1 is not prime. Res64: C3A839117B9FC4D0 Time : 80137.0 sec. user=kar_bon [2011-03-07 18:47:22] 985*2^798275-1 is not prime. Res64: FF5479763A9EFA82 Time : 80136.0 sec. user=kar_bon [2011-03-07 18:47:23] 973*2^798271-1 is not prime. Res64: 0853C54A49111641 Time : 80138.0 sec. user=kar_bon [2011-03-07 18:47:24] 837*2^798266-1 is not prime. Res64: 3C2713E93C3E5ABF Time : 80141.0 sec. user=kar_bon [2011-03-07 18:47:24] 837*2^798269-1 is not prime. Res64: D034BBB7EBC49C03 Time : 80140.0 sec. user=kar_bon [2011-03-07 18:47:24] 885*2^798277-1 is not prime. Res64: 2F3EEB0EE778F26A Time : 80137.0 sec. user=kar_bon [2011-03-07 18:47:25] 921*2^798273-1 is not prime. Res64: 9A41F9478063BA26 Time : 80140.0 sec. user=kar_bon [2011-03-07 18:47:26] 901*2^798267-1 is not prime. Res64: 3F903F7403D1778F Time : 80143.0 sec. user=kar_bon [2011-03-07 18:47:26] 845*2^798270-1 is not prime. Res64: 59D43F21E07FA9B0 Time : 80142.0 sec. user=kar_bon [2011-03-07 18:47:26] 985*2^798277-1 is not prime. Res64: B7219C09DAC7D64F Time : 80139.0 sec. user=kar_bon [2011-03-07 18:47:26] 941*2^798274-1 is not prime. Res64: F2FE7CC2F8904C2C Time : 80140.0 sec. user=kar_bon [2011-03-07 18:47:27] 845*2^798268-1 is not prime. Res64: 1C1B5983F33F4FF6 Time : 80144.0 sec. user=kar_bon [2011-03-07 18:47:28] 829*2^798271-1 is not prime. Res64: B6BFB302E16ABD33 Time : 80143.0 sec. user=kar_bon [2011-03-07 18:47:28] 979*2^798279-1 is not prime. Res64: 4EA79039B567859A Time : 80141.0 sec. user=kar_bon [2011-03-07 18:47:28] 979*2^798275-1 is not prime. Res64: 7610BFEEDB6A8A2E Time : 80142.0 sec. user=kar_bon [2011-03-07 18:47:29] 831*2^798269-1 is not prime. Res64: 5631D453A397EA45 Time : 80145.0 sec. user=kar_bon [2011-03-07 18:47:30] 969*2^798271-1 is not prime. Res64: A372FFF7C36E0796 Time : 80145.0 sec. user=kar_bon [2011-03-07 18:47:30] 933*2^798280-1 is not prime. Res64: 6F6E1A9AECB42E9C Time : 80142.0 sec. user=kar_bon [2011-03-07 18:47:30] 987*2^798276-1 is not prime. Res64: 6B6EDE1EC6E6AF6C Time : 80143.0 sec. user=kar_bon [2011-03-07 18:47:31] 925*2^798269-1 is not prime. Res64: 1F1B8A39A0C8EACD Time : 80147.0 sec. user=kar_bon [2011-03-07 18:47:32] 897*2^798272-1 is not prime. Res64: 6CEE4529501832AF Time : 80147.0 sec. user=kar_bon [2011-03-07 18:47:32] 947*2^798282-1 is not prime. Res64: 064781C86BAE36D8 Time : 80144.0 sec. user=kar_bon [2011-03-07 18:47:32] 975*2^798277-1 is not prime. Res64: 70C001C660EA61C8 Time : 80145.0 sec. user=kar_bon [2011-03-07 18:47:33] 1001*2^798270-1 is not prime. Res64: 0B9527719234BC7D Time : 80149.0 sec. user=kar_bon [2011-03-07 18:47:33] 917*2^798274-1 is not prime. Res64: 6004A8DF8FC70B8B Time : 80147.0 sec. user=kar_bon [2011-03-07 18:47:34] 961*2^798279-1 is not prime. Res64: F191135C4C8BF764 Time : 80147.0 sec. user=kar_bon [2011-03-07 18:47:34] 895*2^798285-1 is not prime. Res64: CD1F91285BD285B3 Time : 80146.0 sec. user=kar_bon [2011-03-07 18:47:34] 951*2^798271-1 is not prime. Res64: 9550385592291A93 Time : 80149.0 sec. user=kar_bon [2011-03-07 18:47:35] 949*2^798275-1 is not prime. Res64: E0A16218066ED18B Time : 80149.0 sec. user=kar_bon [2011-03-07 18:47:36] 923*2^798280-1 is not prime. Res64: B5AD52B19C88CC9E Time : 80148.0 sec. user=kar_bon [2011-03-07 18:47:36] 949*2^798285-1 is not prime. Res64: 61EC6D4A8D96EECC Time : 80147.0 sec. user=kar_bon [2011-03-07 18:47:37] 875*2^798272-1 is not prime. Res64: 304706C6D241D22B Time : 80152.0 sec. user=kar_bon [2011-03-07 18:47:37] 909*2^798276-1 is not prime. Res64: EB78C06B776F8836 Time : 80151.0 sec. user=kar_bon [2011-03-07 18:47:37] 873*2^798282-1 is not prime. Res64: B8B69FCDB5BBF373 Time : 80149.0 sec. user=kar_bon [2011-03-07 18:47:38] 873*2^798286-1 is not prime. Res64: 4557CFDB8A2F7BFD Time : 80149.0 sec. user=kar_bon [2011-03-07 18:47:39] 821*2^798274-1 is not prime. Res64: CFFA559DB3D841AC Time : 80153.0 sec. user=kar_bon [2011-03-07 18:47:39] 901*2^798277-1 is not prime. Res64: 65212A267E81C7F5 Time : 80152.0 sec. user=kar_bon [2011-03-07 18:47:39] 935*2^798284-1 is not prime. Res64: F4A59E7F5B43A50D Time : 80151.0 sec. user=kar_bon [2011-03-07 18:47:40] 957*2^798286-1 is not prime. Res64: 9EE9B9E1DF047A2B Time : 80150.0 sec. user=kar_bon [2011-03-07 18:47:41] 939*2^798275-1 is not prime. Res64: 18CA01B1550F44A7 Time : 80155.0 sec. user=kar_bon [2011-03-07 18:47:41] 911*2^798278-1 is not prime. Res64: 0BCA50798D6DBEFC Time : 80154.0 sec. user=kar_bon [2011-03-07 18:47:41] 937*2^798285-1 is not prime. Res64: B4AB4A8B18C689D7 Time : 80152.0 sec. user=kar_bon [2011-03-07 18:47:42] 949*2^798287-1 is not prime. Res64: D5024170D4B2E01A Time : 80152.0 sec. user=kar_bon [2011-03-07 18:47:42] 899*2^798276-1 is not prime. Res64: DB9ABDF9C611764E Time : 80156.0 sec. user=kar_bon [2011-03-07 18:47:43] 845*2^798280-1 is not prime. Res64: B7E0CD03DBE33321 Time : 80155.0 sec. user=kar_bon [2011-03-07 18:47:43] 825*2^798286-1 is not prime. Res64: E046FF420612C137 Time : 80154.0 sec. user=kar_bon [2011-03-07 18:47:43] 819*2^798289-1 is not prime. Res64: 9E0AE003EE4530D4 Time : 80153.0 sec. user=kar_bon [2011-03-07 18:47:44] 895*2^798277-1 is not prime. Res64: 92BB95BCC91E2242 Time : 80157.0 sec. user=kar_bon [2011-03-07 18:47:45] 867*2^798281-1 is not prime. Res64: CC66AACDFD533FA6 Time : 80157.0 sec. user=kar_bon [2011-03-07 18:47:45] 971*2^798286-1 is not prime. Res64: FC649B6A306467A0 Time : 80155.0 sec. user=kar_bon [2011-03-07 18:47:46] 801*2^798290-1 is not prime. Res64: 0027368BA95F47CF Time : 80155.0 sec. user=kar_bon [2011-03-07 18:47:46] 875*2^798278-1 is not prime. Res64: 7BD9E3B09B080AAB Time : 80159.0 sec. user=kar_bon [2011-03-07 18:47:46] 871*2^798283-1 is not prime. Res64: A416A7F64F9845A4 Time : 80158.0 sec. user=kar_bon [2011-03-07 18:47:47] 979*2^798287-1 is not prime. Res64: 6DFA03BF0008A4EB Time : 80157.0 sec. user=kar_bon [2011-03-07 18:47:48] 945*2^798290-1 is not prime. Res64: 2A7BC74E3255F78A Time : 80157.0 sec. user=kar_bon [2011-03-07 18:47:48] 985*2^798279-1 is not prime. Res64: 95D9C54ABD371AE5 Time : 80161.0 sec. user=kar_bon [2011-03-07 18:47:49] 855*2^798289-1 is not prime. Res64: 44EC05FCAC9BBD3B Time : 80159.0 sec. user=kar_bon [2011-03-07 18:47:49] 895*2^798291-1 is not prime. Res64: 096316AE73C8DDD3 Time : 80158.0 sec. user=kar_bon [2011-03-07 18:47:49] 855*2^798281-1 is not prime. Res64: 786DFF57F6801D22 Time : 80161.0 sec. user=kar_bon [2011-03-07 18:47:49] 827*2^798290-1 is not prime. Res64: 65998709918DBE2A Time : 80158.0 sec. user=kar_bon [2011-03-07 18:47:49] 827*2^798292-1 is not prime. Res64: D970439092942BA9 Time : 80157.0 sec. user=kar_bon [2011-03-07 18:47:49] 859*2^798283-1 is not prime. Res64: C5426CD6BDB38DED Time : 80161.0 sec. user=kar_bon [2011-03-07 18:47:49] 995*2^798290-1 is not prime. Res64: F936108BA2A6669E Time : 80158.0 sec. user=kar_bon [2011-03-07 18:47:50] 999*2^798292-1 is not prime. Res64: 09D5FB7742C06DEC Time : 80158.0 sec. user=kar_bon [2011-03-07 18:47:50] 927*2^798285-1 is not prime. Res64: CC29365879BFEF76 Time : 80161.0 sec. user=kar_bon [2011-03-07 18:47:50] 975*2^798291-1 is not prime. Res64: 15E1CEB098217DE1 Time : 80159.0 sec. user=kar_bon [2011-03-07 18:47:50] 871*2^798293-1 is not prime. Res64: 40843821B89A2327 Time : 80158.0 sec. user=kar_bon [2011-03-07 18:47:50] 975*2^798285-1 is not prime. Res64: 2A5A21071123A56C Time : 80161.0 sec. user=kar_bon [2011-03-07 18:47:50] 989*2^798292-1 is not prime. Res64: 3472D8B664007179 Time : 80158.0 sec. user=kar_bon [2011-03-07 18:47:50] 951*2^798293-1 is not prime. Res64: C7B36EBBDA261EB5 Time : 80157.0 sec. user=kar_bon [2011-03-07 18:47:50] 917*2^798286-1 is not prime. Res64: DB6BFF8ADE6FCB6C Time : 80161.0 sec. user=kar_bon [2011-03-07 18:47:50] 801*2^798293-1 is not prime. Res64: BC52A6315C45AF3C Time : 80158.0 sec. user=kar_bon [2011-03-07 18:47:50] 841*2^798295-1 is not prime. Res64: F9DD2EBA50233C7B Time : 80157.0 sec. user=kar_bon [2011-03-07 18:47:50] 865*2^798287-1 is not prime. Res64: 0B41C166FEA357A3 Time : 80160.0 sec. user=kar_bon [2011-03-07 18:47:50] 901*2^798293-1 is not prime. Res64: 1B15AAC22CEFC8F1 Time : 80158.0 sec. user=kar_bon [2011-03-07 18:47:50] 891*2^798295-1 is not prime. Res64: 91FBACBB8DCBBC25 Time : 80156.0 sec. user=kar_bon [2011-03-07 18:47:51] 905*2^798288-1 is not prime. Res64: C666AC3105636D8D Time : 80161.0 sec. user=kar_bon [2011-03-07 18:47:51] 893*2^798294-1 is not prime. Res64: 385718A323E63516 Time : 80158.0 sec. user=kar_bon [2011-03-07 18:47:51] 973*2^798295-1 is not prime. Res64: 234F96547A7027C8 Time : 80157.0 sec. user=kar_bon [2011-03-07 18:47:51] 919*2^798289-1 is not prime. Res64: 56E17B5BC541E20E Time : 80161.0 sec. user=kar_bon [2011-03-07 18:47:51] 885*2^798295-1 is not prime. Res64: 5DE988EFCE52CBD3 Time : 80158.0 sec. user=kar_bon [2011-03-07 18:47:51] 893*2^798290-1 is not prime. Res64: 15EA990734141F44 Time : 80160.0 sec. user=kar_bon [2011-03-07 18:47:51] 915*2^798295-1 is not prime. Res64: 70E8CAFCB4C7050B Time : 80157.0 sec. user=kar_bon [2011-03-07 18:47:51] 849*2^798291-1 is not prime. Res64: 4939A1910B38CE15 Time : 80160.0 sec. user=kar_bon [2011-03-07 18:47:51] 999*2^798291-1 is not prime. Res64: EC7585ACBA508A0B Time : 80160.0 sec. user=vaughan [2011-03-07 18:48:01] 923*2^798442-1 is not prime. Res64: AA4B6A049D2D5E07 Time : 1382.0 sec. user=vaughan [2011-03-07 18:48:58] 987*2^798369-1 is not prime. Res64: AD7A72C7B8D0538C Time : 9666.0 sec. user=vaughan [2011-03-07 18:49:42] 935*2^798374-1 is not prime. Res64: 2C696015B3B42E81 Time : 3249.0 sec. user=vaughan [2011-03-07 18:50:09] 965*2^798374-1 is not prime. Res64: B5F7CAE85946E297 Time : 3269.0 sec. user=vaughan [2011-03-07 18:50:23] 861*2^798375-1 is not prime. Res64: 61A2C3D5E1000513 Time : 3277.0 sec. user=vaughan [2011-03-07 18:51:53] 987*2^798442-1 is not prime. Res64: D84D9A28217466B0 Time : 989.0 sec. user=vaughan [2011-03-07 18:56:34] 939*2^798443-1 is not prime. Res64: A58D118222C9C8C0 Time : 1090.0 sec. user=vaughan [2011-03-07 19:03:02] 949*2^798443-1 is not prime. Res64: A1534DD2F342E3F0 Time : 1224.0 sec. user=vaughan [2011-03-07 19:08:48] 855*2^798608-1 is not prime. Res64: 154AF797CDC60E63 Time : 1016.0 sec. user=vaughan [2011-03-07 19:13:39] 983*2^798564-1 is not prime. Res64: 3F0CAFBED3938523 Time : 1538.0 sec. user=vaughan [2011-03-07 19:16:04] 909*2^798608-1 is not prime. Res64: ED92105996A17300 Time : 1171.0 sec. user=vaughan [2011-03-07 19:25:44] 865*2^798609-1 is not prime. Res64: 9CCEA01116CF3B29 Time : 1017.0 sec. user=vaughan [2011-03-07 19:26:23] 959*2^798608-1 is not prime. Res64: 541C993CCBC238D8 Time : 1402.0 sec. user=vaughan [2011-03-07 19:35:07] 891*2^798610-1 is not prime. Res64: 306D9817C535BA5C Time : 1144.0 sec. user=vaughan [2011-03-07 19:38:46] 801*2^798610-1 is not prime. Res64: E118C0BAC928C702 Time : 1508.0 sec. user=vaughan [2011-03-07 19:41:39] 1001*2^798610-1 is not prime. Res64: 3B8F4FEE9F12686B Time : 955.0 sec. user=vaughan [2011-03-07 19:47:17] 843*2^798611-1 is not prime. Res64: 16027C7FA6EF0990 Time : 1254.0 sec. user=vaughan [2011-03-07 19:53:22] 879*2^798611-1 is not prime. Res64: D3AF33092BD2E83C Time : 1095.0 sec. user=vaughan [2011-03-07 19:57:33] 831*2^798613-1 is not prime. Res64: 09BDDD8D6BC5964E Time : 955.0 sec. user=vaughan [2011-03-07 20:01:36] 999*2^798611-1 is not prime. Res64: 05D3C8ED52C0E7ED Time : 1370.0 sec. user=vaughan [2011-03-07 20:07:32] 915*2^798613-1 is not prime. Res64: C561165607B841A7 Time : 1215.0 sec. user=vaughan [2011-03-07 20:11:33] 813*2^798614-1 is not prime. Res64: CC113D09F5A7159F Time : 1091.0 sec. user=vaughan [2011-03-07 20:13:25] 887*2^798614-1 is not prime. Res64: A3630D5A48C9739E Time : 952.0 sec. user=ototero [2011-03-07 20:22:45] 935*2^798372-1 is not prime. Res64: 4276D6FB8DABDD72 Time : 11232.0 sec. user=ototero [2011-03-07 20:22:45] 945*2^798372-1 is not prime. Res64: 5FB5B4699A66188F Time : 11231.0 sec. user=ototero [2011-03-07 20:22:45] 975*2^798372-1 is not prime. Res64: 42813015421A3EE7 Time : 11231.0 sec. user=ototero [2011-03-07 20:22:46] 801*2^798373-1 is not prime. Res64: 11C157BD4BE49E0E Time : 11232.0 sec. user=ototero [2011-03-07 20:22:46] 945*2^798373-1 is not prime. Res64: D0E6476427EC7A2A Time : 11231.0 sec. user=ototero [2011-03-07 20:22:46] 967*2^798373-1 is not prime. Res64: 568BAFE3159D21ED Time : 11231.0 sec. user=ototero [2011-03-07 20:22:46] 987*2^798373-1 is not prime. Res64: 90A8FCD29F2ADF95 Time : 11231.0 sec. user=ototero [2011-03-07 20:22:46] 861*2^798374-1 is not prime. Res64: 0BA32572B927FCC4 Time : 11230.0 sec. user=ototero [2011-03-07 20:22:46] 921*2^798374-1 is not prime. Res64: 948F257E12245B49 Time : 11230.0 sec. user=ototero [2011-03-07 20:22:47] 923*2^798374-1 is not prime. Res64: 5E4AD772E12D0844 Time : 11231.0 sec. user=vaughan [2011-03-07 20:24:23] 945*2^798614-1 is not prime. Res64: EC003402008DD0F9 Time : 1368.0 sec. user=vaughan [2011-03-07 20:27:48] 957*2^798614-1 is not prime. Res64: 4B03FF0F1EF146FC Time : 1216.0 sec. user=vaughan [2011-03-07 20:29:17] 865*2^798615-1 is not prime. Res64: A686B2AB0CC6DAD2 Time : 952.0 sec. user=vaughan [2011-03-07 20:29:45] 805*2^798615-1 is not prime. Res64: 0A273FC8E117CB19 Time : 1092.0 sec. user=vaughan [2011-03-07 20:45:08] 829*2^798619-1 is not prime. Res64: BDEAFF0A03175321 Time : 951.0 sec. user=vaughan [2011-03-07 20:47:17] 893*2^798618-1 is not prime. Res64: CC4A5CCED187033A Time : 1375.0 sec. user=vaughan [2011-03-07 20:47:52] 961*2^798619-1 is not prime. Res64: 5930562B9E620A9C Time : 1087.0 sec. user=vaughan [2011-03-07 20:47:59] 923*2^798618-1 is not prime. Res64: F36A996CE9DAA444 Time : 1211.0 sec. user=vaughan [2011-03-07 21:00:59] 825*2^798620-1 is not prime. Res64: EA47AC6F5441F101 Time : 951.0 sec. user=vaughan [2011-03-07 21:06:00] 937*2^798621-1 is not prime. Res64: C19AB7AB533AA234 Time : 1088.0 sec. user=vaughan [2011-03-07 21:08:11] 949*2^798621-1 is not prime. Res64: 2FC90128ED111257 Time : 1213.0 sec. user=vaughan [2011-03-07 21:10:23] 827*2^798620-1 is not prime. Res64: C7EF7BFF93B16422 Time : 1387.0 sec. user=ototero [2011-03-07 21:13:36] 803*2^798370-1 is not prime. Res64: 5DB2CD4189CA4BD8 Time : 16476.0 sec. user=ototero [2011-03-07 21:13:36] 843*2^798370-1 is not prime. Res64: 603D2D3D35639E6F Time : 16476.0 sec. user=ototero [2011-03-07 21:13:36] 823*2^798371-1 is not prime. Res64: BA2183D48918B542 Time : 16475.0 sec. user=ototero [2011-03-07 21:13:36] 841*2^798371-1 is not prime. Res64: 7FF3FA0E10D1E7AA Time : 16475.0 sec. user=ototero [2011-03-07 21:13:36] 933*2^798372-1 is not prime. Res64: 78322CF7C2C014D1 Time : 16475.0 sec. user=vaughan [2011-03-07 21:17:00] 975*2^798621-1 is not prime. Res64: 60E712958063A7B8 Time : 961.0 sec. user=vaughan [2011-03-07 21:24:12] 915*2^798622-1 is not prime. Res64: 20743E11D8643BFE Time : 1092.0 sec. user=vaughan [2011-03-07 21:28:15] 951*2^798622-1 is not prime. Res64: 032EA711CD6BD6FE Time : 1204.0 sec. user=vaughan [2011-03-07 21:29:29] 951*2^798607-1 is not prime. Res64: B05FEFF15233D760 Time : 9632.0 sec. user=vaughan [2011-03-07 21:32:51] 915*2^798623-1 is not prime. Res64: D032F03FCB63FF6D Time : 951.0 sec. user=vaughan [2011-03-07 21:33:28] 813*2^798623-1 is not prime. Res64: 75E7F7EB2271E017 Time : 1385.0 sec. user=vaughan [2011-03-07 21:42:19] 803*2^798624-1 is not prime. Res64: 1F081F6FAB573B1D Time : 1088.0 sec. user=vaughan [2011-03-07 21:48:22] 863*2^798624-1 is not prime. Res64: A535F0072E9E31DA Time : 1208.0 sec. user=vaughan [2011-03-07 21:48:41] 945*2^798624-1 is not prime. Res64: 9A971CA5518A3B29 Time : 950.0 sec. user=vaughan [2011-03-07 21:56:31] 983*2^798624-1 is not prime. Res64: BDF4D18EAB3C6D6D Time : 1384.0 sec. user=vaughan [2011-03-07 22:00:28] 817*2^798625-1 is not prime. Res64: 0FF6DD753A2A87B3 Time : 1089.0 sec. user=vaughan [2011-03-07 22:04:33] 889*2^798625-1 is not prime. Res64: 3DDCE98AC5698E48 Time : 953.0 sec. user=vaughan [2011-03-07 22:08:30] 841*2^798625-1 is not prime. Res64: D39B48C8A8BADF52 Time : 1208.0 sec. user=vaughan [2011-03-07 22:18:39] 837*2^798626-1 is not prime. Res64: 352ACC61CF3C8C0D Time : 1091.0 sec. user=vaughan [2011-03-07 22:19:27] 897*2^798625-1 is not prime. Res64: 0D1611E558BFA2BF Time : 1377.0 sec. user=vaughan [2011-03-07 22:20:21] 921*2^798626-1 is not prime. Res64: 5DA027887BFB3ABF Time : 948.0 sec. user=vaughan [2011-03-07 22:28:39] 923*2^798626-1 is not prime. Res64: B2304FF002274DCF Time : 1209.0 sec. user=vaughan [2011-03-07 22:36:11] 849*2^798627-1 is not prime. Res64: 2DA98FC15D9BB772 Time : 951.0 sec. user=vaughan [2011-03-07 22:36:51] 935*2^798626-1 is not prime. Res64: E76D3C8B304159E9 Time : 1092.0 sec. user=vaughan [2011-03-07 22:42:14] 843*2^798627-1 is not prime. Res64: 5A55142F1A086AAE Time : 1367.0 sec. user=vaughan [2011-03-07 22:48:51] 895*2^798627-1 is not prime. Res64: 4DAADAC9A934F646 Time : 1212.0 sec. user=vaughan [2011-03-07 22:52:03] 963*2^798627-1 is not prime. Res64: 006FAAB6829E0A44 Time : 952.0 sec. user=vaughan [2011-03-07 22:55:04] 973*2^798627-1 is not prime. Res64: CA0722D999E71290 Time : 1093.0 sec. user=vaughan [2011-03-07 23:05:01] 869*2^798628-1 is not prime. Res64: 011FBA1F3C01AF70 Time : 1367.0 sec. user=vaughan [2011-03-07 23:07:56] 861*2^798629-1 is not prime. Res64: 575A15A68C3E0B4F Time : 954.0 sec. user=vaughan [2011-03-07 23:09:00] 905*2^798628-1 is not prime. Res64: B741D6205D497263 Time : 1209.0 sec. user=vaughan [2011-03-07 23:13:18] 887*2^798630-1 is not prime. Res64: CB96AF87A8E82C4F Time : 1094.0 sec. user=vaughan [2011-03-07 23:16:37] 945*2^798342-1 is not prime. Res64: ECB51928AA5DD3E4 Time : 61428.0 sec. user=vaughan [2011-03-07 23:16:37] 997*2^798341-1 is not prime. Res64: 42868DD392980353 Time : 61454.0 sec. user=vaughan [2011-03-07 23:16:37] 915*2^798344-1 is not prime. Res64: 1F03FAB895CA8B78 Time : 60867.0 sec. user=vaughan [2011-03-07 23:16:37] 855*2^798343-1 is not prime. Res64: 3B20423453581DDF Time : 61300.0 sec. user=vaughan [2011-03-07 23:23:51] 965*2^798630-1 is not prime. Res64: E9C8BCEC920F3986 Time : 955.0 sec. user=vaughan [2011-03-07 23:27:57] 921*2^798630-1 is not prime. Res64: 80AAA6D50EB57265 Time : 1376.0 sec. user=vaughan [2011-03-07 23:29:10] 883*2^798631-1 is not prime. Res64: D9A2900ED15FF6D6 Time : 1210.0 sec. user=vaughan [2011-03-07 23:31:29] 931*2^798631-1 is not prime. Res64: 0F223DB90FBEB4C7 Time : 1092.0 sec. user=vaughan [2011-03-07 23:39:46] 903*2^798632-1 is not prime. Res64: 2A1E0049BDCDFA18 Time : 956.0 sec. user=vaughan [2011-03-07 23:40:53] 825*2^798632-1 is not prime. Res64: B33AED153C2296D8 Time : 1456.0 sec. user=vaughan [2011-03-07 23:41:26] 969*2^798631-1 is not prime. Res64: 95A2B6C615F84D7C Time : 1489.0 sec. user=vaughan [2011-03-07 23:42:35] 879*2^798632-1 is not prime. Res64: 0CAD4C4FAB28A05E Time : 1558.0 sec. user=vaughan [2011-03-07 23:44:56] 837*2^798632-1 is not prime. Res64: 06D21710C86732DB Time : 1699.0 sec. user=vaughan [2011-03-07 23:49:15] 807*2^798633-1 is not prime. Res64: CD313AC51F7C914E Time : 1205.0 sec. user=vaughan [2011-03-07 23:49:41] 885*2^798633-1 is not prime. Res64: 1146224F47770D45 Time : 1092.0 sec. user=vaughan [2011-03-07 23:50:54] 963*2^798632-1 is not prime. Res64: D3C38DCD2E9A2232 Time : 1378.0 sec. user=vaughan [2011-03-07 23:55:43] 915*2^798633-1 is not prime. Res64: 372D963A1CEBA54E Time : 957.0 sec.