user=vaughan [2011-05-10 00:02:12] 949*2^938231-1 is not prime. Res64: B2E76B25A432C6F2 Time : 1245.0 sec. user=vaughan [2011-05-10 00:03:40] 891*2^938250-1 is not prime. Res64: 965ADD93CD599BEA Time : 1191.0 sec. user=vaughan [2011-05-10 00:06:38] 971*2^938250-1 is not prime. Res64: E631839DD6A46099 Time : 1231.0 sec. user=vaughan [2011-05-10 00:08:34] 961*2^938251-1 is not prime. Res64: 49B6659C516D876E Time : 1230.0 sec. user=vaughan [2011-05-10 00:09:18] 957*2^938250-1 is not prime. Res64: E4C5B33B95D1456A Time : 1402.0 sec. user=vaughan [2011-05-10 00:11:47] 921*2^938253-1 is not prime. Res64: 23055DE528FC7E1C Time : 1222.0 sec. user=vaughan [2011-05-10 00:13:33] 827*2^938252-1 is not prime. Res64: 1430CCD4E7159AE3 Time : 1370.0 sec. user=vaughan [2011-05-10 00:20:44] 979*2^938255-1 is not prime. Res64: 28E8FF3F42EAFDCE Time : 1270.0 sec. user=vaughan [2011-05-10 00:22:51] 843*2^938256-1 is not prime. Res64: 3782ED26007FB9DC Time : 1240.0 sec. user=vaughan [2011-05-10 00:23:33] 801*2^938257-1 is not prime. Res64: 3294663D7306A6BF Time : 1193.0 sec. user=vaughan [2011-05-10 00:27:08] 861*2^938257-1 is not prime. Res64: 79AAB61D94610A7D Time : 1230.0 sec. user=vaughan [2011-05-10 00:29:06] 979*2^938257-1 is not prime. Res64: E2FAF197D3FD1D07 Time : 1232.0 sec. user=vaughan [2011-05-10 00:31:42] 997*2^938257-1 is not prime. Res64: 8FAB4C2F18DCEB09 Time : 1344.0 sec. user=vaughan [2011-05-10 00:31:53] 921*2^938258-1 is not prime. Res64: BD8A94E61F528418 Time : 1206.0 sec. user=vaughan [2011-05-10 00:35:57] 935*2^938258-1 is not prime. Res64: DA2EB9429FDF92D3 Time : 1344.0 sec. user=vaughan [2011-05-10 00:41:52] 909*2^938259-1 is not prime. Res64: AA9A890276172142 Time : 1268.0 sec. user=vaughan [2011-05-10 00:43:00] 961*2^938259-1 is not prime. Res64: 6B47461D173AC0EE Time : 1209.0 sec. user=vaughan [2011-05-10 00:43:30] 975*2^938259-1 is not prime. Res64: DA451D0725ADAEA3 Time : 1197.0 sec. user=vaughan [2011-05-10 00:47:39] 825*2^938261-1 is not prime. Res64: 11DA95BCEBAA1105 Time : 1232.0 sec. user=ototero [2011-05-10 00:48:39] 843*2^938206-1 is not prime. Res64: CD00555CF75CA84A Time : 15228.0 sec. user=ototero [2011-05-10 00:48:39] 855*2^938206-1 is not prime. Res64: E7E2691785DEAC84 Time : 15228.0 sec. user=ototero [2011-05-10 00:48:39] 911*2^938206-1 is not prime. Res64: 42CBFB004273B3FC Time : 15228.0 sec. user=ototero [2011-05-10 00:48:39] 819*2^938207-1 is not prime. Res64: 3D2C6604012985F6 Time : 15227.0 sec. user=ototero [2011-05-10 00:48:39] 895*2^938207-1 is not prime. Res64: 342E15F80C0AD231 Time : 15227.0 sec. user=ototero [2011-05-10 00:48:40] 963*2^938207-1 is not prime. Res64: CF69B517F41EA9FD Time : 15228.0 sec. user=ototero [2011-05-10 00:48:40] 979*2^938207-1 is not prime. Res64: 07184B71AE14C386 Time : 15227.0 sec. user=ototero [2011-05-10 00:48:40] 815*2^938208-1 is not prime. Res64: 08358602DF1CBE00 Time : 15227.0 sec. user=ototero [2011-05-10 00:48:40] 819*2^938208-1 is not prime. Res64: 4D73DF8290C10B38 Time : 15227.0 sec. user=ototero [2011-05-10 00:48:40] 905*2^938208-1 is not prime. Res64: ED58A6B8B161A76B Time : 15226.0 sec. user=vaughan [2011-05-10 00:49:37] 957*2^938261-1 is not prime. Res64: 6403B673C22C5CC6 Time : 1231.0 sec. user=vaughan [2011-05-10 00:51:48] 805*2^938263-1 is not prime. Res64: E2E6FBA0026EEC07 Time : 1195.0 sec. user=vaughan [2011-05-10 00:52:59] 997*2^938261-1 is not prime. Res64: E81A10EC3C0142C9 Time : 1277.0 sec. user=vaughan [2011-05-10 00:57:19] 853*2^938263-1 is not prime. Res64: F3A16E5E5351CB4A Time : 1282.0 sec. user=vaughan [2011-05-10 01:03:02] 873*2^938263-1 is not prime. Res64: E49FBFB9A920A2D7 Time : 1203.0 sec. user=vaughan [2011-05-10 01:03:02] 861*2^938263-1 is not prime. Res64: EC0CE24ADD0495FC Time : 1270.0 sec. user=vaughan [2011-05-10 01:03:24] 873*2^938264-1 is not prime. Res64: E3440CA48286EE6D Time : 1194.0 sec. user=vaughan [2011-05-10 01:08:09] 917*2^938264-1 is not prime. Res64: 27B54AC3253E1A21 Time : 1230.0 sec. user=vaughan [2011-05-10 01:10:08] 955*2^938267-1 is not prime. Res64: 9900262911EE9115 Time : 1231.0 sec. user=vaughan [2011-05-10 01:11:34] 843*2^938268-1 is not prime. Res64: AD58C70E64BE9CF9 Time : 1186.0 sec. user=vaughan [2011-05-10 01:13:17] 923*2^938268-1 is not prime. Res64: C582EBEB62EE0FAA Time : 1218.0 sec. user=vaughan [2011-05-10 01:17:44] 927*2^938268-1 is not prime. Res64: 9941BED8D184A712 Time : 1225.0 sec. user=vaughan [2011-05-10 01:23:01] 999*2^938268-1 is not prime. Res64: 3532DEF6C1E26D99 Time : 1200.0 sec. user=vaughan [2011-05-10 01:23:22] 877*2^938269-1 is not prime. Res64: 45FFAD17F6909411 Time : 1198.0 sec. user=vaughan [2011-05-10 01:24:10] 855*2^938269-1 is not prime. Res64: 862EA7E0AC54457F Time : 1269.0 sec. user=vaughan [2011-05-10 01:28:43] 999*2^938269-1 is not prime. Res64: CB70CDD5A4387A68 Time : 1234.0 sec. user=vaughan [2011-05-10 01:30:44] 827*2^938270-1 is not prime. Res64: 2AE0CB6E9DA46D90 Time : 1236.0 sec. user=vaughan [2011-05-10 01:31:28] 887*2^938270-1 is not prime. Res64: D98926956C3ABD9D Time : 1194.0 sec. user=vaughan [2011-05-10 01:34:35] 971*2^938270-1 is not prime. Res64: D3081AE0A5EBBDE3 Time : 1278.0 sec. user=vaughan [2011-05-10 01:39:14] 861*2^938271-1 is not prime. Res64: 1FBBB7CE8246117A Time : 1291.0 sec. user=vaughan [2011-05-10 01:43:12] 959*2^938272-1 is not prime. Res64: D6EF44B492A148CF Time : 1191.0 sec. user=vaughan [2011-05-10 01:43:23] 843*2^938272-1 is not prime. Res64: F8F62CF0AEA1ACF6 Time : 1222.0 sec. user=vaughan [2011-05-10 01:45:13] 885*2^938273-1 is not prime. Res64: 3B3B58D28F36EE46 Time : 1263.0 sec. user=vaughan [2011-05-10 01:49:14] 987*2^938273-1 is not prime. Res64: 38B3994EEE050923 Time : 1231.0 sec. user=vaughan [2011-05-10 01:51:16] 837*2^938274-1 is not prime. Res64: 6BDC14B3BF6FC91A Time : 1232.0 sec. user=vaughan [2011-05-10 01:51:31] 891*2^938274-1 is not prime. Res64: C7D3D118D1C6CC64 Time : 1204.0 sec. user=vaughan [2011-05-10 01:56:50] 903*2^938274-1 is not prime. Res64: 68DBDB1E02D4A714 Time : 1335.0 sec. user=vaughan [2011-05-10 02:01:04] 983*2^938274-1 is not prime. Res64: 5661EB800CDF7CFF Time : 1311.0 sec. user=vaughan [2011-05-10 02:03:03] 855*2^938275-1 is not prime. Res64: 26B43939A79DCB95 Time : 1191.0 sec. user=vaughan [2011-05-10 02:03:44] 857*2^938278-1 is not prime. Res64: 5F310C11F9C9FD54 Time : 1221.0 sec. user=vaughan [2011-05-10 02:06:25] 863*2^938278-1 is not prime. Res64: 98BF62B77531ED66 Time : 1272.0 sec. user=vaughan [2011-05-10 02:09:47] 995*2^938278-1 is not prime. Res64: B55F9FD6773D4D91 Time : 1234.0 sec. user=vaughan [2011-05-10 02:11:33] 861*2^938279-1 is not prime. Res64: B764F11A011CA34D Time : 1202.0 sec. user=vaughan [2011-05-10 02:11:50] 859*2^938279-1 is not prime. Res64: DE955E58BE20C37F Time : 1235.0 sec. user=vaughan [2011-05-10 02:18:41] 943*2^938279-1 is not prime. Res64: 07456737EAEE30FF Time : 1312.0 sec. user=vaughan [2011-05-10 02:22:26] 875*2^938280-1 is not prime. Res64: 5D4A77D503F0EBA0 Time : 1282.0 sec. user=vaughan [2011-05-10 02:22:58] 915*2^938280-1 is not prime. Res64: E978B5FF4B99228A Time : 1196.0 sec. user=vaughan [2011-05-10 02:24:01] 975*2^938280-1 is not prime. Res64: 026104CD59D4BADC Time : 1217.0 sec. user=vaughan [2011-05-10 02:27:33] 807*2^938281-1 is not prime. Res64: 57D85C758A7A1B69 Time : 1269.0 sec. user=vaughan [2011-05-10 02:30:17] 939*2^938281-1 is not prime. Res64: 38B51710C83E6468 Time : 1230.0 sec. user=vaughan [2011-05-10 02:31:32] 815*2^938282-1 is not prime. Res64: 1118B6D899453D27 Time : 1199.0 sec. user=vaughan [2011-05-10 02:32:20] 893*2^938282-1 is not prime. Res64: 2852A6BC3438EDF6 Time : 1231.0 sec. user=vaughan [2011-05-10 02:40:21] 935*2^938282-1 is not prime. Res64: CD6E4205F052B93E Time : 1301.0 sec. user=vaughan [2011-05-10 02:42:57] 949*2^938283-1 is not prime. Res64: D5CD5DA2DE3AA3C0 Time : 1200.0 sec. user=vaughan [2011-05-10 02:43:44] 1001*2^938282-1 is not prime. Res64: B05E204A1068224A Time : 1278.0 sec. user=vaughan [2011-05-10 02:44:18] 813*2^938284-1 is not prime. Res64: D9B786B61C563F03 Time : 1217.0 sec. user=vaughan [2011-05-10 02:48:45] 869*2^938284-1 is not prime. Res64: 6CC21EF0D2145E27 Time : 1272.0 sec. user=vaughan [2011-05-10 02:50:48] 899*2^938284-1 is not prime. Res64: 71D045A8FEC9CA19 Time : 1231.0 sec. user=vaughan [2011-05-10 02:51:31] 987*2^938284-1 is not prime. Res64: CC6E07C89F9174B7 Time : 1199.0 sec. user=vaughan [2011-05-10 02:52:56] 885*2^938285-1 is not prime. Res64: A99E12B86AD84F07 Time : 1236.0 sec. user=vaughan [2011-05-10 03:02:00] 937*2^938285-1 is not prime. Res64: AF8FE624A72A64A0 Time : 1300.0 sec. user=vaughan [2011-05-10 03:02:49] 955*2^938285-1 is not prime. Res64: 21F58F4AA2CE8A6F Time : 1192.0 sec. user=vaughan [2011-05-10 03:04:35] 833*2^938286-1 is not prime. Res64: 6818AB0E13ACB03C Time : 1217.0 sec. user=vaughan [2011-05-10 03:05:01] 821*2^938286-1 is not prime. Res64: 1D0104B132D3F611 Time : 1277.0 sec. user=vaughan [2011-05-10 03:09:57] 945*2^938286-1 is not prime. Res64: 16D6DE4F38DA5EE5 Time : 1272.0 sec. user=vaughan [2011-05-10 03:11:21] 971*2^938286-1 is not prime. Res64: 0A9D58ED53D7450D Time : 1234.0 sec. user=vaughan [2011-05-10 03:11:32] 1001*2^938286-1 is not prime. Res64: DFA19FA9EB971363 Time : 1202.0 sec. user=vaughan [2011-05-10 03:13:30] 813*2^938287-1 is not prime. Res64: D98CE391D0CBD3F4 Time : 1235.0 sec. user=vaughan [2011-05-10 03:22:46] 939*2^938287-1 is not prime. Res64: 178F0DA0EAB0E901 Time : 1197.0 sec. user=vaughan [2011-05-10 03:23:38] 861*2^938287-1 is not prime. Res64: 0D065D2367913F04 Time : 1298.0 sec. user=vaughan [2011-05-10 03:24:52] 985*2^938287-1 is not prime. Res64: 7185EA3FD6BAFACC Time : 1218.0 sec. user=vaughan [2011-05-10 03:26:18] 855*2^938288-1 is not prime. Res64: FF4A575E88E534F8 Time : 1278.0 sec. user=vaughan [2011-05-10 03:31:07] 835*2^938289-1 is not prime. Res64: 05595FDF3AED8AD7 Time : 1271.0 sec. user=vaughan [2011-05-10 03:31:31] 885*2^938289-1 is not prime. Res64: C189F60CAAE6A57F Time : 1199.0 sec. user=vaughan [2011-05-10 03:31:54] 877*2^938289-1 is not prime. Res64: 28FD6FD88EB2181C Time : 1233.0 sec. user=vaughan [2011-05-10 03:34:05] 907*2^938289-1 is not prime. Res64: 1B555D15E55C1EF1 Time : 1236.0 sec. user=vaughan [2011-05-10 03:42:39] 949*2^938289-1 is not prime. Res64: 418D03B387148758 Time : 1193.0 sec. user=vaughan [2011-05-10 03:45:09] 803*2^938290-1 is not prime. Res64: 90A38880F148E4AB Time : 1218.0 sec. user=vaughan [2011-05-10 03:45:16] 997*2^938289-1 is not prime. Res64: C31108E0C16873B5 Time : 1298.0 sec. user=vaughan [2011-05-10 03:47:36] 843*2^938290-1 is not prime. Res64: 319C6C2D20B11FF1 Time : 1279.0 sec. user=vaughan [2011-05-10 03:51:34] 873*2^938290-1 is not prime. Res64: 9507D1A6AA43F424 Time : 1203.0 sec. user=vaughan [2011-05-10 03:52:23] 855*2^938290-1 is not prime. Res64: 09FB63F0B468A773 Time : 1276.0 sec. user=vaughan [2011-05-10 03:52:30] 887*2^938290-1 is not prime. Res64: A55EAE4615C87ECB Time : 1236.0 sec. user=vaughan [2011-05-10 03:54:40] 917*2^938290-1 is not prime. Res64: 9ED3B12A251D5CFD Time : 1235.0 sec. user=vaughan [2011-05-10 04:02:30] 945*2^938290-1 is not prime. Res64: FC9745C8F7DB293E Time : 1191.0 sec. user=vaughan [2011-05-10 04:05:27] 951*2^938290-1 is not prime. Res64: 5859DF629A35277A Time : 1219.0 sec. user=vaughan [2011-05-10 04:06:56] 855*2^938291-1 is not prime. Res64: 605B534E118F6184 Time : 1300.0 sec. user=vaughan [2011-05-10 04:08:53] 999*2^938291-1 is not prime. Res64: 40F37678E67BE1E3 Time : 1277.0 sec. user=vaughan [2011-05-10 04:11:35] 819*2^938292-1 is not prime. Res64: 390BADAF83D234BB Time : 1202.0 sec. user=vaughan [2011-05-10 04:13:07] 877*2^938293-1 is not prime. Res64: 1162A25E8FCAA36A Time : 1237.0 sec. user=vaughan [2011-05-10 04:13:32] 863*2^938292-1 is not prime. Res64: 803F270F22FECA9F Time : 1270.0 sec. user=vaughan [2011-05-10 04:15:15] 919*2^938293-1 is not prime. Res64: 1822AD51DF008DBB Time : 1236.0 sec. user=vaughan [2011-05-10 04:22:26] 925*2^938293-1 is not prime. Res64: C7EC9189C13BBE96 Time : 1196.0 sec. user=vaughan [2011-05-10 04:25:45] 937*2^938293-1 is not prime. Res64: 3CEC87887505C82B Time : 1218.0 sec. user=vaughan [2011-05-10 04:28:36] 825*2^938294-1 is not prime. Res64: C0318465D1E5DCC4 Time : 1300.0 sec. user=vaughan [2011-05-10 04:30:10] 941*2^938294-1 is not prime. Res64: 7C3967B59B086E0E Time : 1278.0 sec. user=ototero [2011-05-10 05:02:51] 923*2^938264-1 is not prime. Res64: 3CC98D8049C3B1FC Time : 15250.0 sec. user=ototero [2011-05-10 05:02:51] 937*2^938265-1 is not prime. Res64: ED81110B22F82AD9 Time : 15250.0 sec. user=ototero [2011-05-10 05:02:51] 975*2^938265-1 is not prime. Res64: 43218B684963D499 Time : 15250.0 sec. user=ototero [2011-05-10 05:02:52] 999*2^938265-1 is not prime. Res64: 5343F7E691C2DD73 Time : 15251.0 sec. user=ototero [2011-05-10 05:02:52] 843*2^938266-1 is not prime. Res64: 6C8994619442DB2E Time : 15250.0 sec. user=ototero [2011-05-10 05:02:52] 957*2^938266-1 is not prime. Res64: A31FAA792894E30A Time : 15250.0 sec. user=ototero [2011-05-10 05:02:52] 889*2^938267-1 is not prime. Res64: EA8E26A48C8CB8F3 Time : 15250.0 sec. user=ototero [2011-05-10 05:02:52] 903*2^938267-1 is not prime. Res64: BDFB36AD8C762763 Time : 15249.0 sec. user=ototero [2011-05-10 05:02:52] 931*2^938267-1 is not prime. Res64: BF57B6CCB7CFD3FC Time : 15249.0 sec. user=ototero [2011-05-10 05:02:53] 939*2^938267-1 is not prime. Res64: 6DFAE3CB3FDDB36B Time : 15250.0 sec. user=vaughan [2011-05-10 06:55:10] 895*2^938295-1 is not prime. Res64: D9D7C172C6EED1C1 Time : 9164.0 sec. user=vaughan [2011-05-10 06:55:13] 819*2^938295-1 is not prime. Res64: 0FC884F7CABB323B Time : 9727.0 sec. user=vaughan [2011-05-10 06:55:43] 831*2^938295-1 is not prime. Res64: BDD019A7091AD9F4 Time : 9628.0 sec. user=vaughan [2011-05-10 06:56:05] 823*2^938295-1 is not prime. Res64: 4E96910010385D93 Time : 9753.0 sec. user=vaughan [2011-05-10 06:58:49] 979*2^938295-1 is not prime. Res64: DB741837A38380D6 Time : 8919.0 sec. user=vaughan [2011-05-10 06:58:49] 963*2^938295-1 is not prime. Res64: 945D3CD69EC56D98 Time : 9013.0 sec. user=vaughan [2011-05-10 06:59:23] 953*2^938294-1 is not prime. Res64: 7A724E60CFE0B608 Time : 10068.0 sec. user=vaughan [2011-05-10 06:59:35] 921*2^938295-1 is not prime. Res64: F7E25313F43A4EB9 Time : 9231.0 sec. user=vaughan [2011-05-10 07:15:14] 951*2^938299-1 is not prime. Res64: AB8E904E85D3933D Time : 1201.0 sec. user=vaughan [2011-05-10 07:15:48] 963*2^938300-1 is not prime. Res64: 2BF4E8EE5126EFF2 Time : 1205.0 sec. user=vaughan [2011-05-10 07:15:58] 889*2^938301-1 is not prime. Res64: 70DE2888214180F6 Time : 1186.0 sec. user=vaughan [2011-05-10 07:16:07] 999*2^938300-1 is not prime. Res64: BCEFBCF41605C9EA Time : 1203.0 sec. user=vaughan [2011-05-10 07:19:09] 891*2^938302-1 is not prime. Res64: 21A76B494C7893FA Time : 1220.0 sec. user=vaughan [2011-05-10 07:19:09] 811*2^938303-1 is not prime. Res64: 91626EA9ED8C85E7 Time : 1186.0 sec. user=vaughan [2011-05-10 07:19:09] 873*2^938302-1 is not prime. Res64: 145CD19652FF0A2E Time : 1220.0 sec. user=vaughan [2011-05-10 07:19:34] 949*2^938303-1 is not prime. Res64: EF4A4695F91EB0FA Time : 1199.0 sec. user=vaughan [2011-05-10 07:35:37] 917*2^938304-1 is not prime. Res64: 89E107A81FAE608C Time : 1224.0 sec. user=vaughan [2011-05-10 07:35:43] 847*2^938305-1 is not prime. Res64: 3E4C240D737CB5B8 Time : 1186.0 sec. user=vaughan [2011-05-10 07:36:09] 817*2^938305-1 is not prime. Res64: C2DAD2EC96A28A69 Time : 1222.0 sec. user=vaughan [2011-05-10 07:36:37] 985*2^938305-1 is not prime. Res64: A41F2B6359E0E29F Time : 1230.0 sec. user=vaughan [2011-05-10 07:39:06] 935*2^938306-1 is not prime. Res64: 0492EE0AEBBF69F7 Time : 1197.0 sec. user=vaughan [2011-05-10 07:39:37] 801*2^938306-1 is not prime. Res64: 72069EA64CD88398 Time : 1228.0 sec. user=vaughan [2011-05-10 07:39:40] 971*2^938306-1 is not prime. Res64: 6B3F5DC2E9FA82A2 Time : 1231.0 sec. user=vaughan [2011-05-10 07:39:40] 981*2^938306-1 is not prime. Res64: 32486CE462D2F518 Time : 1206.0 sec. user=vaughan [2011-05-10 07:55:30] 825*2^938308-1 is not prime. Res64: 0BAA763314B43452 Time : 1187.0 sec. user=vaughan [2011-05-10 07:56:18] 871*2^938307-1 is not prime. Res64: 2F2CE72867970344 Time : 1241.0 sec. user=vaughan [2011-05-10 07:56:50] 989*2^938308-1 is not prime. Res64: 1EF463F2225E25F4 Time : 1241.0 sec. user=vaughan [2011-05-10 07:58:00] 969*2^938309-1 is not prime. Res64: CF332C2823091372 Time : 1283.0 sec. user=vaughan [2011-05-10 07:58:51] 845*2^938310-1 is not prime. Res64: FBA774EEABB67B6F Time : 1186.0 sec. user=vaughan [2011-05-10 07:59:39] 977*2^938310-1 is not prime. Res64: 5AEB56F0D2036835 Time : 1199.0 sec. user=vaughan [2011-05-10 07:59:55] 891*2^938310-1 is not prime. Res64: DE58C8039A222109 Time : 1218.0 sec. user=vaughan [2011-05-10 08:00:02] 951*2^938310-1 is not prime. Res64: 08BDE81645693BC3 Time : 1222.0 sec. user=vaughan [2011-05-10 08:15:20] 1001*2^938310-1 is not prime. Res64: 132B2F6503FAA02F Time : 1191.0 sec. user=vaughan [2011-05-10 08:16:56] 855*2^938311-1 is not prime. Res64: 80F953906415A432 Time : 1239.0 sec. user=vaughan [2011-05-10 08:17:29] 951*2^938311-1 is not prime. Res64: CC51C3CF2AF7717A Time : 1239.0 sec. user=vaughan [2011-05-10 08:18:40] 983*2^938312-1 is not prime. Res64: 0CCD8657047EEC03 Time : 1189.0 sec. user=vaughan [2011-05-10 08:19:22] 819*2^938312-1 is not prime. Res64: 47A655851AA864AD Time : 1282.0 sec. user=vaughan [2011-05-10 08:19:42] 901*2^938313-1 is not prime. Res64: 8A7661222971DB15 Time : 1203.0 sec. user=vaughan [2011-05-10 08:20:12] 991*2^938313-1 is not prime. Res64: 452381331E736561 Time : 1217.0 sec. user=vaughan [2011-05-10 08:20:26] 821*2^938314-1 is not prime. Res64: 9CD4A7DA6BCCF038 Time : 1224.0 sec. user=vaughan [2011-05-10 08:35:04] 827*2^938314-1 is not prime. Res64: C0E2B9B0A9497BFC Time : 1185.0 sec. user=vaughan [2011-05-10 08:37:36] 881*2^938314-1 is not prime. Res64: 4B9158DF5D3FC5AF Time : 1241.0 sec. user=vaughan [2011-05-10 08:38:09] 895*2^938315-1 is not prime. Res64: 8C29A4859BDDBACA Time : 1240.0 sec. user=vaughan [2011-05-10 08:38:26] 963*2^938315-1 is not prime. Res64: 08C0950A40B0F060 Time : 1186.0 sec. user=vaughan [2011-05-10 08:39:41] 875*2^938316-1 is not prime. Res64: 73EA541A77FC7257 Time : 1200.0 sec. user=vaughan [2011-05-10 08:40:32] 993*2^938316-1 is not prime. Res64: D3B50E264A45B12F Time : 1220.0 sec. user=vaughan [2011-05-10 08:40:43] 857*2^938316-1 is not prime. Res64: 0B4CF4076CCB6DAE Time : 1282.0 sec. user=vaughan [2011-05-10 08:40:50] 999*2^938316-1 is not prime. Res64: 6C4D6FEF857115EA Time : 1224.0 sec. user=vaughan [2011-05-10 08:54:52] 817*2^938317-1 is not prime. Res64: 0FB6282B0AE08084 Time : 1188.0 sec. user=vaughan [2011-05-10 08:58:20] 885*2^938317-1 is not prime. Res64: E679928CB783427D Time : 1244.0 sec. user=vaughan [2011-05-10 08:58:50] 919*2^938317-1 is not prime. Res64: 90CC2E76331C9EF3 Time : 1241.0 sec. user=vaughan [2011-05-10 09:00:05] 935*2^938318-1 is not prime. Res64: 0BC4C4878704562B Time : 1299.0 sec. user=vaughan [2011-05-10 09:02:07] 831*2^938319-1 is not prime. Res64: D4315FEF82AA21B2 Time : 1284.0 sec. user=vaughan [2011-05-10 09:02:15] 963*2^938318-1 is not prime. Res64: BC8E9683100C21A5 Time : 1354.0 sec. user=vaughan [2011-05-10 09:05:08] 865*2^938319-1 is not prime. Res64: 2C8AC162DDB02DF6 Time : 1458.0 sec. user=vaughan [2011-05-10 09:05:36] 977*2^938318-1 is not prime. Res64: 15DAD195F340067A Time : 1504.0 sec. user=vaughan [2011-05-10 09:14:38] 975*2^938319-1 is not prime. Res64: 01F1374F781CAC43 Time : 1187.0 sec. user=ototero [2011-05-10 09:16:24] 903*2^938296-1 is not prime. Res64: 910A2D83B823007C Time : 15211.0 sec. user=ototero [2011-05-10 09:16:24] 933*2^938296-1 is not prime. Res64: B26D87E2A66E6DA1 Time : 15211.0 sec. user=ototero [2011-05-10 09:16:24] 975*2^938296-1 is not prime. Res64: 97484C01C78145FE Time : 15210.0 sec. user=ototero [2011-05-10 09:16:24] 989*2^938296-1 is not prime. Res64: 50B56016790BF8CE Time : 15210.0 sec. user=ototero [2011-05-10 09:16:24] 837*2^938297-1 is not prime. Res64: 7D3644C0BFAC7E22 Time : 15210.0 sec. user=ototero [2011-05-10 09:16:24] 867*2^938297-1 is not prime. Res64: F952910663987F21 Time : 15210.0 sec. user=ototero [2011-05-10 09:16:24] 837*2^938298-1 is not prime. Res64: 846CD77D326A2ECE Time : 15209.0 sec. user=ototero [2011-05-10 09:16:25] 927*2^938298-1 is not prime. Res64: 80B02335479851EE Time : 15210.0 sec. user=ototero [2011-05-10 09:16:25] 963*2^938298-1 is not prime. Res64: 01941671EEA7D05D Time : 15210.0 sec. user=ototero [2011-05-10 09:16:25] 913*2^938299-1 is not prime. Res64: BC2FE2B9CD6816A0 Time : 15209.0 sec. user=vaughan [2011-05-10 09:18:59] 979*2^938319-1 is not prime. Res64: EAA83D0A8BC88873 Time : 1240.0 sec. user=vaughan [2011-05-10 09:19:30] 849*2^938320-1 is not prime. Res64: 7DA39C54208B0D6C Time : 1240.0 sec. user=vaughan [2011-05-10 09:23:31] 989*2^938320-1 is not prime. Res64: 1AB41CEA0B4FF86B Time : 1285.0 sec. user=vaughan [2011-05-10 09:24:15] 927*2^938320-1 is not prime. Res64: 2B779629B53BA4FD Time : 1451.0 sec. user=vaughan [2011-05-10 09:27:12] 801*2^938321-1 is not prime. Res64: 4CBF2551342D1D15 Time : 1498.0 sec. user=vaughan [2011-05-10 09:32:33] 865*2^938321-1 is not prime. Res64: 9B94D9D82A5E5C99 Time : 1646.0 sec. user=vaughan [2011-05-10 09:34:33] 885*2^938321-1 is not prime. Res64: 8B1FA314C0AE71BC Time : 1195.0 sec. user=vaughan [2011-05-10 09:35:07] 867*2^938321-1 is not prime. Res64: 974FD957A9D3785E Time : 1771.0 sec. user=vaughan [2011-05-10 09:39:36] 837*2^938324-1 is not prime. Res64: AA502E09B3DF59D5 Time : 1237.0 sec. user=vaughan [2011-05-10 09:40:10] 875*2^938324-1 is not prime. Res64: 16AF2AF4065292F2 Time : 1241.0 sec. user=vaughan [2011-05-10 09:44:27] 969*2^938324-1 is not prime. Res64: 35B18BA5BC59BC6B Time : 1256.0 sec. user=vaughan [2011-05-10 09:48:27] 983*2^938324-1 is not prime. Res64: F98B2622D8057A66 Time : 1452.0 sec. user=vaughan [2011-05-10 09:52:17] 895*2^938325-1 is not prime. Res64: A16F206EC3B576DB Time : 1505.0 sec. user=vaughan [2011-05-10 09:54:23] 957*2^938326-1 is not prime. Res64: 8C58B2F9E2512BDD Time : 1190.0 sec. user=vaughan [2011-05-10 09:59:49] 841*2^938327-1 is not prime. Res64: DF47A9F02392D71D Time : 1213.0 sec. user=vaughan [2011-05-10 09:59:58] 891*2^938326-1 is not prime. Res64: 83BE9857C1807DFA Time : 1646.0 sec. user=vaughan [2011-05-10 10:00:21] 999*2^938327-1 is not prime. Res64: 5BF0A5760FE3927C Time : 1211.0 sec. user=vaughan [2011-05-10 10:04:36] 983*2^938326-1 is not prime. Res64: 7C914670A8AAE0DC Time : 1769.0 sec. user=vaughan [2011-05-10 10:04:49] 905*2^938328-1 is not prime. Res64: F2BE70CED8E0B172 Time : 1223.0 sec. user=vaughan [2011-05-10 10:12:38] 947*2^938328-1 is not prime. Res64: 25FCD37C33A5E083 Time : 1451.0 sec. user=vaughan [2011-05-10 10:14:09] 801*2^938329-1 is not prime. Res64: 8BCA72A1985669C3 Time : 1187.0 sec. user=vaughan [2011-05-10 10:17:12] 959*2^938328-1 is not prime. Res64: 5B326A1E9807FBAB Time : 1495.0 sec. user=vaughan [2011-05-10 10:20:06] 831*2^938329-1 is not prime. Res64: BEC87CE6FABFCC96 Time : 1218.0 sec. user=vaughan [2011-05-10 10:20:39] 841*2^938329-1 is not prime. Res64: 88E2B29BFF5F6B19 Time : 1218.0 sec. user=vaughan [2011-05-10 10:25:15] 895*2^938329-1 is not prime. Res64: A8E085D4D15C819A Time : 1227.0 sec. user=vaughan [2011-05-10 10:27:22] 835*2^938329-1 is not prime. Res64: 23AF9D72AFC980E9 Time : 1644.0 sec. user=vaughan [2011-05-10 10:33:52] 997*2^938329-1 is not prime. Res64: F5925C651C973219 Time : 1183.0 sec. user=vaughan [2011-05-10 10:34:01] 885*2^938329-1 is not prime. Res64: 8D8F2A1D3D11D85A Time : 1765.0 sec. user=vaughan [2011-05-10 10:36:41] 985*2^938329-1 is not prime. Res64: B1003A9C86846C7B Time : 1444.0 sec. user=vaughan [2011-05-10 10:40:22] 861*2^938330-1 is not prime. Res64: 19D6D4AE738EE6A1 Time : 1217.0 sec. user=vaughan [2011-05-10 10:40:54] 871*2^938331-1 is not prime. Res64: 5ED2162924115DAD Time : 1215.0 sec. user=vaughan [2011-05-10 10:42:20] 831*2^938330-1 is not prime. Res64: 447C7D025685A2B5 Time : 1508.0 sec. user=vaughan [2011-05-10 10:45:40] 903*2^938331-1 is not prime. Res64: 8DA3D738831521A1 Time : 1225.0 sec. user=vaughan [2011-05-10 10:53:34] 813*2^938332-1 is not prime. Res64: ADB95EF2BB04593C Time : 1183.0 sec. user=vaughan [2011-05-10 10:54:46] 909*2^938331-1 is not prime. Res64: 8835104C7CE2EC51 Time : 1644.0 sec. user=vaughan [2011-05-10 11:00:37] 975*2^938332-1 is not prime. Res64: 5AC223D10B8CCF7E Time : 1216.0 sec. user=vaughan [2011-05-10 11:00:51] 929*2^938332-1 is not prime. Res64: 4139FA1F85493138 Time : 1450.0 sec. user=vaughan [2011-05-10 11:01:09] 987*2^938332-1 is not prime. Res64: 253A6D3FEFF97A45 Time : 1215.0 sec. user=vaughan [2011-05-10 11:03:31] 869*2^938332-1 is not prime. Res64: 8BE311CF59270F50 Time : 1771.0 sec. user=vaughan [2011-05-10 11:06:06] 855*2^938333-1 is not prime. Res64: 4D3F05DDA079F2C8 Time : 1226.0 sec. user=vaughan [2011-05-10 11:07:25] 995*2^938332-1 is not prime. Res64: 0791E6E92398A211 Time : 1505.0 sec. user=vaughan [2011-05-10 11:13:16] 939*2^938333-1 is not prime. Res64: 2347761EB0646C31 Time : 1183.0 sec. user=vaughan [2011-05-10 11:20:50] 851*2^938334-1 is not prime. Res64: 4654C43A5F1853B6 Time : 1213.0 sec. user=vaughan [2011-05-10 11:21:24] 913*2^938335-1 is not prime. Res64: 311678DFBAF5BD0F Time : 1215.0 sec. user=vaughan [2011-05-10 11:22:22] 987*2^938333-1 is not prime. Res64: C82E9DBAC84AA002 Time : 1656.0 sec. user=vaughan [2011-05-10 11:25:06] 975*2^938334-1 is not prime. Res64: FA19E28974880FD6 Time : 1456.0 sec. user=vaughan [2011-05-10 11:26:38] 963*2^938336-1 is not prime. Res64: 224CD654C9583911 Time : 1232.0 sec. user=vaughan [2011-05-10 11:32:32] 983*2^938336-1 is not prime. Res64: 1432667853A05477 Time : 1507.0 sec. user=vaughan [2011-05-10 11:32:57] 805*2^938337-1 is not prime. Res64: 90EC7D7CBE5485F0 Time : 1181.0 sec. user=vaughan [2011-05-10 11:33:03] 845*2^938336-1 is not prime. Res64: BA332CFB33F196E6 Time : 1772.0 sec. user=vaughan [2011-05-10 11:41:05] 849*2^938337-1 is not prime. Res64: 4BDC87B0B269BDFC Time : 1216.0 sec. user=vaughan [2011-05-10 11:41:39] 889*2^938337-1 is not prime. Res64: 6AAB3F4029757605 Time : 1216.0 sec. user=vaughan [2011-05-10 11:47:04] 885*2^938338-1 is not prime. Res64: 2233715FEEE5FDB0 Time : 1227.0 sec. user=vaughan [2011-05-10 11:49:25] 813*2^938338-1 is not prime. Res64: 2B5063A7A5C66FF6 Time : 1460.0 sec. user=vaughan [2011-05-10 11:49:47] 975*2^938337-1 is not prime. Res64: DC5DE188574646C6 Time : 1645.0 sec. user=vaughan [2011-05-10 11:52:42] 971*2^938338-1 is not prime. Res64: 173813C728A431A6 Time : 1186.0 sec. user=vaughan [2011-05-10 11:57:40] 887*2^938338-1 is not prime. Res64: 48EFB9110C36E1BE Time : 1508.0 sec. user=vaughan [2011-05-10 12:01:20] 829*2^938339-1 is not prime. Res64: D3D0DA88691B561A Time : 1215.0 sec. user=vaughan [2011-05-10 12:01:53] 859*2^938339-1 is not prime. Res64: F4C0B0EBBAD3CC21 Time : 1214.0 sec. user=vaughan [2011-05-10 12:02:35] 987*2^938338-1 is not prime. Res64: BC3AF16793D96187 Time : 1772.0 sec. user=vaughan [2011-05-10 12:07:32] 979*2^938339-1 is not prime. Res64: 53EBCE3E15A0BFF9 Time : 1228.0 sec. user=vaughan [2011-05-10 12:12:25] 893*2^938340-1 is not prime. Res64: E59DDBE7F8AFC3B4 Time : 1184.0 sec. user=vaughan [2011-05-10 12:13:46] 879*2^938340-1 is not prime. Res64: F660330472FE784D Time : 1461.0 sec. user=vaughan [2011-05-10 12:17:07] 887*2^938340-1 is not prime. Res64: 8FAAA2294D8175AA Time : 1641.0 sec. user=vaughan [2011-05-10 12:21:37] 923*2^938340-1 is not prime. Res64: D1AABA30150F2E6A Time : 1218.0 sec. user=vaughan [2011-05-10 12:22:11] 929*2^938340-1 is not prime. Res64: 533658877D367954 Time : 1219.0 sec. user=vaughan [2011-05-10 12:22:48] 915*2^938340-1 is not prime. Res64: 87380773E9013C9D Time : 1508.0 sec. user=vaughan [2011-05-10 12:27:56] 855*2^938341-1 is not prime. Res64: 5749EA30B3C22843 Time : 1225.0 sec. user=vaughan [2011-05-10 12:32:08] 931*2^938341-1 is not prime. Res64: E1AAA0B7F8922795 Time : 1183.0 sec. user=vaughan [2011-05-10 12:32:11] 987*2^938340-1 is not prime. Res64: D5B8C15B8DC48D80 Time : 1776.0 sec. user=vaughan [2011-05-10 12:38:00] 939*2^938341-1 is not prime. Res64: 734D5C7598BB2F33 Time : 1454.0 sec. user=vaughan [2011-05-10 12:41:54] 825*2^938342-1 is not prime. Res64: 2B45914E8AB9FDAC Time : 1217.0 sec. user=vaughan [2011-05-10 12:42:26] 885*2^938342-1 is not prime. Res64: D107C96529D32D14 Time : 1216.0 sec. user=vaughan [2011-05-10 12:44:38] 955*2^938341-1 is not prime. Res64: 7F3DEEE35F35FC6D Time : 1651.0 sec. user=vaughan [2011-05-10 12:47:50] 1001*2^938342-1 is not prime. Res64: 6CF67911999CACCA Time : 1503.0 sec. user=vaughan [2011-05-10 12:48:21] 895*2^938343-1 is not prime. Res64: 9945BF2E1AD3B40F Time : 1225.0 sec. user=vaughan [2011-05-10 12:51:49] 969*2^938343-1 is not prime. Res64: CEB77D6D5EEC3B63 Time : 1182.0 sec. user=vaughan [2011-05-10 13:01:36] 803*2^938344-1 is not prime. Res64: 405FC22EB0DB540E Time : 1765.0 sec. user=vaughan [2011-05-10 13:02:10] 917*2^938344-1 is not prime. Res64: 79947FD555EE50DC Time : 1217.0 sec. user=vaughan [2011-05-10 13:02:20] 807*2^938344-1 is not prime. Res64: D0AB596BD79573E4 Time : 1460.0 sec. user=vaughan [2011-05-10 13:02:41] 993*2^938344-1 is not prime. Res64: 540012CCD0B29812 Time : 1215.0 sec. user=vaughan [2011-05-10 13:08:51] 891*2^938346-1 is not prime. Res64: 31A1F5C0841C70F4 Time : 1230.0 sec. user=vaughan [2011-05-10 13:11:32] 945*2^938346-1 is not prime. Res64: 93E7B4BE14C4E573 Time : 1183.0 sec. user=vaughan [2011-05-10 13:14:54] 897*2^938345-1 is not prime. Res64: 917DA23F0CF4F65B Time : 1817.0 sec. user=vaughan [2011-05-10 13:16:26] 873*2^938346-1 is not prime. Res64: DA07151506340308 Time : 1716.0 sec. user=vaughan [2011-05-10 13:22:27] 973*2^938347-1 is not prime. Res64: 0A190CA04CD78982 Time : 1217.0 sec. user=vaughan [2011-05-10 13:22:58] 813*2^938348-1 is not prime. Res64: 347655C111553378 Time : 1217.0 sec. user=vaughan [2011-05-10 13:29:19] 959*2^938348-1 is not prime. Res64: E2310F5E908989C4 Time : 1228.0 sec. user=ototero [2011-05-10 13:30:54] 815*2^938322-1 is not prime. Res64: BF586CA6B0109649 Time : 15269.0 sec. user=ototero [2011-05-10 13:30:54] 821*2^938322-1 is not prime. Res64: 1CE2586B34CF785E Time : 15269.0 sec. user=ototero [2011-05-10 13:30:54] 885*2^938322-1 is not prime. Res64: C2974E71CDEA4747 Time : 15268.0 sec. user=ototero [2011-05-10 13:30:55] 957*2^938322-1 is not prime. Res64: E05B9D72EC71FB22 Time : 15269.0 sec. user=ototero [2011-05-10 13:30:55] 963*2^938322-1 is not prime. Res64: 005EAB03C2B12A04 Time : 15269.0 sec. user=ototero [2011-05-10 13:30:55] 813*2^938323-1 is not prime. Res64: 0896ACA6FF563B4B Time : 15268.0 sec. user=ototero [2011-05-10 13:30:55] 889*2^938323-1 is not prime. Res64: B2BDD5797D599109 Time : 15268.0 sec. user=ototero [2011-05-10 13:30:56] 945*2^938323-1 is not prime. Res64: A0D24118D4254E6C Time : 15269.0 sec. user=ototero [2011-05-10 13:30:56] 951*2^938323-1 is not prime. Res64: AC034B59F3A22F92 Time : 15268.0 sec. user=ototero [2011-05-10 13:30:56] 999*2^938323-1 is not prime. Res64: 90FE420C1FF40D3D Time : 15268.0 sec. user=vaughan [2011-05-10 13:31:14] 963*2^938348-1 is not prime. Res64: 539CA554C3550336 Time : 1182.0 sec. user=vaughan [2011-05-10 13:33:06] 993*2^938347-1 is not prime. Res64: E0AED06D6360BE5B Time : 1847.0 sec. user=vaughan [2011-05-10 13:41:43] 963*2^938346-1 is not prime. Res64: 04E3AF2A37747774 Time : 2407.0 sec. user=vaughan [2011-05-10 13:42:43] 813*2^938350-1 is not prime. Res64: 36D17977B818F82F Time : 1217.0 sec. user=vaughan [2011-05-10 13:43:14] 821*2^938350-1 is not prime. Res64: D5C25FEAD2F47634 Time : 1216.0 sec. user=vaughan [2011-05-10 13:49:14] 919*2^938349-1 is not prime. Res64: 63B24B54F92278E9 Time : 1969.0 sec. user=vaughan [2011-05-10 13:49:45] 843*2^938350-1 is not prime. Res64: AC42CF3013B9A68C Time : 1227.0 sec. user=vaughan [2011-05-10 13:49:51] 861*2^938349-1 is not prime. Res64: 17BADEC3FB09FC99 Time : 2098.0 sec. user=vaughan [2011-05-10 13:50:56] 919*2^938353-1 is not prime. Res64: BF4EBBAF4A7907CF Time : 1182.0 sec. user=vaughan [2011-05-10 14:02:58] 831*2^938354-1 is not prime. Res64: B073FBE751CAADEB Time : 1216.0 sec. user=vaughan [2011-05-10 14:03:33] 923*2^938354-1 is not prime. Res64: 74FD0C0FB96FB18D Time : 1219.0 sec. user=vaughan [2011-05-10 14:03:47] 937*2^938353-1 is not prime. Res64: 467A937DE470CE0A Time : 1841.0 sec. user=vaughan [2011-05-10 14:10:18] 895*2^938355-1 is not prime. Res64: 819531718D1EC157 Time : 1233.0 sec. user=vaughan [2011-05-10 14:10:41] 813*2^938356-1 is not prime. Res64: 3E36C2C04CCD8723 Time : 1185.0 sec. user=vaughan [2011-05-10 14:21:52] 945*2^938353-1 is not prime. Res64: 78FD25CACD251E84 Time : 2409.0 sec. user=vaughan [2011-05-10 14:21:54] 1001*2^938354-1 is not prime. Res64: A48E7D90D7AFB6BC Time : 1960.0 sec. user=vaughan [2011-05-10 14:23:17] 839*2^938356-1 is not prime. Res64: C16BF85E80B56FD7 Time : 1219.0 sec. user=vaughan [2011-05-10 14:23:49] 893*2^938358-1 is not prime. Res64: 73679655210F58A9 Time : 1217.0 sec. user=vaughan [2011-05-10 14:24:53] 803*2^938356-1 is not prime. Res64: FEC0553CEEE8D1A7 Time : 2102.0 sec. user=vaughan [2011-05-10 14:30:22] 975*2^938359-1 is not prime. Res64: F4134FAEEDC3BAF7 Time : 1181.0 sec. user=vaughan [2011-05-10 14:30:47] 885*2^938359-1 is not prime. Res64: 481639929DBF5C18 Time : 1230.0 sec. user=vaughan [2011-05-10 14:34:44] 829*2^938359-1 is not prime. Res64: B943411BF4555CA4 Time : 1857.0 sec. user=vaughan [2011-05-10 14:43:34] 865*2^938361-1 is not prime. Res64: 0DBCDBD3F12F6A46 Time : 1217.0 sec. user=vaughan [2011-05-10 14:44:07] 877*2^938361-1 is not prime. Res64: 7640C8392AF01B7C Time : 1218.0 sec. user=vaughan [2011-05-10 14:50:04] 955*2^938361-1 is not prime. Res64: 69C79A594961D39C Time : 1183.0 sec. user=vaughan [2011-05-10 14:51:16] 979*2^938361-1 is not prime. Res64: 7E217DCB3D71F2CA Time : 1230.0 sec. user=vaughan [2011-05-10 14:55:02] 807*2^938361-1 is not prime. Res64: 34C503E36A43FCF9 Time : 1988.0 sec. user=vaughan [2011-05-10 15:00:05] 951*2^938361-1 is not prime. Res64: 14774F9E811669D8 Time : 2113.0 sec. user=vaughan [2011-05-10 15:02:19] 983*2^938360-1 is not prime. Res64: CA23AA7421193E62 Time : 2427.0 sec. user=vaughan [2011-05-10 15:03:48] 941*2^938362-1 is not prime. Res64: D6A8E38D77A9766D Time : 1214.0 sec. user=vaughan [2011-05-10 15:04:21] 823*2^938363-1 is not prime. Res64: CDD7E6A22D9A44BF Time : 1214.0 sec. user=vaughan [2011-05-10 15:05:39] 815*2^938362-1 is not prime. Res64: 63D7E27F7F777EE0 Time : 1855.0 sec. user=vaughan [2011-05-10 15:09:56] 879*2^938363-1 is not prime. Res64: D2E5422E0746CFB6 Time : 1192.0 sec. user=vaughan [2011-05-10 15:11:42] 913*2^938363-1 is not prime. Res64: A34DAB106DD2271A Time : 1226.0 sec. user=vaughan [2011-05-10 15:24:04] 927*2^938364-1 is not prime. Res64: 465BFD68BCE6B6D2 Time : 1216.0 sec. user=vaughan [2011-05-10 15:24:39] 831*2^938365-1 is not prime. Res64: 495BE25A6AEECF4E Time : 1218.0 sec. user=vaughan [2011-05-10 15:27:58] 943*2^938363-1 is not prime. Res64: 855174581CB642BD Time : 1977.0 sec. user=vaughan [2011-05-10 15:29:38] 919*2^938365-1 is not prime. Res64: CF21021C6DBFAA63 Time : 1182.0 sec. user=vaughan [2011-05-10 15:32:10] 999*2^938365-1 is not prime. Res64: BF4862C1A30153D1 Time : 1229.0 sec. user=vaughan [2011-05-10 15:35:33] 963*2^938363-1 is not prime. Res64: 12036AA4DC2B2F2F Time : 2129.0 sec. user=vaughan [2011-05-10 15:36:24] 877*2^938365-1 is not prime. Res64: 525AFEEC3D534A1A Time : 1846.0 sec. user=vaughan [2011-05-10 15:43:03] 843*2^938364-1 is not prime. Res64: 44C9713BB0070D54 Time : 2444.0 sec. user=vaughan [2011-05-10 15:44:25] 935*2^938366-1 is not prime. Res64: DB8DD0A86CAFFFEE Time : 1221.0 sec. user=vaughan [2011-05-10 15:45:01] 861*2^938367-1 is not prime. Res64: 86224F02C093E49F Time : 1223.0 sec. user=vaughan [2011-05-10 15:49:20] 833*2^938368-1 is not prime. Res64: 221D28A119107B1B Time : 1182.0 sec. user=vaughan [2011-05-10 15:52:39] 843*2^938368-1 is not prime. Res64: E234C10E0C28A1AD Time : 1229.0 sec. user=vaughan [2011-05-10 16:01:16] 865*2^938367-1 is not prime. Res64: 96EBDC335BF76CBC Time : 1998.0 sec. user=vaughan [2011-05-10 16:04:47] 897*2^938369-1 is not prime. Res64: 5ABEE6FB1D2BBB46 Time : 1222.0 sec. user=vaughan [2011-05-10 16:05:19] 925*2^938369-1 is not prime. Res64: 26A14AF877DA235A Time : 1219.0 sec. user=vaughan [2011-05-10 16:07:21] 837*2^938369-1 is not prime. Res64: 50F182377FB3E0C1 Time : 1857.0 sec. user=vaughan [2011-05-10 16:09:12] 941*2^938370-1 is not prime. Res64: 2FFCBE229DBDA558 Time : 1192.0 sec. user=vaughan [2011-05-10 16:11:01] 909*2^938368-1 is not prime. Res64: 0BC2498E1BB82C55 Time : 2128.0 sec. user=vaughan [2011-05-10 16:13:06] 885*2^938372-1 is not prime. Res64: BDD33EE9D4169E11 Time : 1227.0 sec. user=vaughan [2011-05-10 16:23:14] 865*2^938369-1 is not prime. Res64: 5031F4955283DAE6 Time : 2412.0 sec. user=vaughan [2011-05-10 16:25:06] 829*2^938373-1 is not prime. Res64: 20F56C596BE727CA Time : 1220.0 sec. user=vaughan [2011-05-10 16:25:39] 861*2^938373-1 is not prime. Res64: 51D25B21B51F0B32 Time : 1221.0 sec. user=ototero [2011-05-10 16:27:01] 937*2^938201-1 is not prime. Res64: 9830A45480B844DC Time : 72607.0 sec. user=ototero [2011-05-10 16:27:01] 867*2^938202-1 is not prime. Res64: C49647BCFAA1B848 Time : 72606.0 sec. user=ototero [2011-05-10 16:27:01] 873*2^938202-1 is not prime. Res64: 8EA76FB796E52D70 Time : 72606.0 sec. user=ototero [2011-05-10 16:27:01] 893*2^938202-1 is not prime. Res64: 9BE062A8F7F7F661 Time : 72606.0 sec. user=ototero [2011-05-10 16:27:02] 915*2^938202-1 is not prime. Res64: 8A7841DF7C8F2F04 Time : 72606.0 sec. user=vaughan [2011-05-10 16:28:54] 937*2^938373-1 is not prime. Res64: 5441A818CC448D1A Time : 1182.0 sec. user=vaughan [2011-05-10 16:33:34] 947*2^938374-1 is not prime. Res64: A564A5CDA943941A Time : 1228.0 sec. user=vaughan [2011-05-10 16:33:59] 977*2^938372-1 is not prime. Res64: 9361E526E34852AB Time : 1964.0 sec. user=vaughan [2011-05-10 16:38:04] 885*2^938373-1 is not prime. Res64: DA11501DAD0B46AC Time : 1844.0 sec. user=vaughan [2011-05-10 16:45:25] 957*2^938377-1 is not prime. Res64: 657EFA41F25D3F1B Time : 1220.0 sec. user=vaughan [2011-05-10 16:45:59] 831*2^938378-1 is not prime. Res64: 8B1C60103115C761 Time : 1221.0 sec. user=vaughan [2011-05-10 16:46:07] 891*2^938374-1 is not prime. Res64: 1F0044C2D97C6D71 Time : 2107.0 sec. user=vaughan [2011-05-10 16:48:37] 861*2^938379-1 is not prime. Res64: BDCF080267328414 Time : 1183.0 sec. user=vaughan [2011-05-10 16:52:49] 955*2^938373-1 is not prime. Res64: 05E486CD4EDD2F7A Time : 2538.0 sec. user=vaughan [2011-05-10 16:53:59] 843*2^938380-1 is not prime. Res64: 7585EF5EE676654A Time : 1226.0 sec. user=vaughan [2011-05-10 17:01:56] 863*2^938374-1 is not prime. Res64: A546C74152CB46DC Time : 3085.0 sec. user=vaughan [2011-05-10 17:03:48] 981*2^938375-1 is not prime. Res64: 7A95599C18221C6A Time : 2435.0 sec. user=vaughan [2011-05-10 17:05:48] 887*2^938380-1 is not prime. Res64: EA95B7A7A773D7A3 Time : 1223.0 sec. user=vaughan [2011-05-10 17:06:23] 927*2^938380-1 is not prime. Res64: 7EF0570B5118CB4C Time : 1225.0 sec. user=vaughan [2011-05-10 17:06:53] 855*2^938380-1 is not prime. Res64: 4B0AB38053DA1434 Time : 1974.0 sec. user=vaughan [2011-05-10 17:08:18] 959*2^938380-1 is not prime. Res64: DD8C6EF32B3728D6 Time : 1181.0 sec. user=vaughan [2011-05-10 17:09:00] 873*2^938380-1 is not prime. Res64: 0A60CC22EFA6AF7D Time : 1857.0 sec. user=vaughan [2011-05-10 17:14:27] 995*2^938380-1 is not prime. Res64: A9193914B9C30E73 Time : 1228.0 sec. user=vaughan [2011-05-10 17:21:35] 929*2^938380-1 is not prime. Res64: DA4662CBBD14B3BC Time : 2128.0 sec. user=vaughan [2011-05-10 17:26:08] 925*2^938381-1 is not prime. Res64: 06463B774699E84F Time : 1220.0 sec. user=vaughan [2011-05-10 17:26:45] 921*2^938382-1 is not prime. Res64: C5358F857C2E3B39 Time : 1222.0 sec. user=vaughan [2011-05-10 17:28:01] 891*2^938383-1 is not prime. Res64: 763932791F61516D Time : 1183.0 sec. user=vaughan [2011-05-10 17:34:51] 897*2^938384-1 is not prime. Res64: CD8DF5E354D42024 Time : 1224.0 sec. user=vaughan [2011-05-10 17:40:05] 803*2^938384-1 is not prime. Res64: 361BB39F17B00000 Time : 1866.0 sec. user=vaughan [2011-05-10 17:40:06] 885*2^938383-1 is not prime. Res64: B26D621CF8CEBAEB Time : 1993.0 sec. user=vaughan [2011-05-10 17:44:45] 885*2^938381-1 is not prime. Res64: D15FD0D3217E8CF8 Time : 2457.0 sec. user=ototero [2011-05-10 17:44:53] 911*2^938350-1 is not prime. Res64: C2FE3342819C858E Time : 15236.0 sec. user=ototero [2011-05-10 17:44:53] 917*2^938350-1 is not prime. Res64: 19056A22FB2B1E19 Time : 15236.0 sec. user=ototero [2011-05-10 17:44:53] 987*2^938350-1 is not prime. Res64: C93F4214839E659A Time : 15235.0 sec. user=ototero [2011-05-10 17:44:54] 979*2^938351-1 is not prime. Res64: 3286DBA633560206 Time : 15235.0 sec. user=ototero [2011-05-10 17:44:54] 981*2^938351-1 is not prime. Res64: D83A532CF9233599 Time : 15235.0 sec. user=ototero [2011-05-10 17:44:54] 815*2^938352-1 is not prime. Res64: E8F7CDCFF848F8D4 Time : 15234.0 sec. user=ototero [2011-05-10 17:44:54] 983*2^938352-1 is not prime. Res64: 300D62FF8791D70C Time : 15234.0 sec. user=ototero [2011-05-10 17:44:54] 807*2^938353-1 is not prime. Res64: A8D2B3ED354D7905 Time : 15233.0 sec. user=ototero [2011-05-10 17:44:54] 847*2^938353-1 is not prime. Res64: 53D38FC12922CF5D Time : 15233.0 sec. user=ototero [2011-05-10 17:44:54] 897*2^938353-1 is not prime. Res64: 738B2B3E7901D894 Time : 15233.0 sec. user=vaughan [2011-05-10 17:46:30] 871*2^938385-1 is not prime. Res64: 47F10374309CDE02 Time : 1222.0 sec. user=vaughan [2011-05-10 17:47:06] 885*2^938385-1 is not prime. Res64: ECB76D0D507436B3 Time : 1221.0 sec. user=vaughan [2011-05-10 17:47:45] 921*2^938385-1 is not prime. Res64: 53168E957CDB294B Time : 1184.0 sec. user=vaughan [2011-05-10 17:55:19] 979*2^938385-1 is not prime. Res64: 6B206BC07CE86E5B Time : 1228.0 sec. user=vaughan [2011-05-10 17:56:51] 861*2^938385-1 is not prime. Res64: D595D599CE6B3A2D Time : 2117.0 sec. user=vaughan [2011-05-10 18:06:57] 951*2^938390-1 is not prime. Res64: 4085C908F067ADC4 Time : 1228.0 sec. user=vaughan [2011-05-10 18:07:37] 829*2^938391-1 is not prime. Res64: 33DD8E5F1A91AE83 Time : 1193.0 sec. user=vaughan [2011-05-10 18:07:38] 823*2^938391-1 is not prime. Res64: 6333F3267E777F70 Time : 1232.0 sec. user=vaughan [2011-05-10 18:10:41] 867*2^938386-1 is not prime. Res64: E3447D1E44674D6F Time : 1837.0 sec. user=vaughan [2011-05-10 18:12:54] 911*2^938386-1 is not prime. Res64: 997FF7E82B9E91C8 Time : 1969.0 sec. user=vaughan [2011-05-10 18:15:56] 873*2^938391-1 is not prime. Res64: 4E6E84CD17B8CD21 Time : 1238.0 sec. user=vaughan [2011-05-10 18:23:41] 829*2^938387-1 is not prime. Res64: 93EE74382C6EAD44 Time : 2336.0 sec. user=vaughan [2011-05-10 18:27:17] 843*2^938392-1 is not prime. Res64: 84F935A7AE9B8DE2 Time : 1220.0 sec. user=vaughan [2011-05-10 18:27:24] 915*2^938392-1 is not prime. Res64: 18CC479664522FE4 Time : 1187.0 sec. user=vaughan [2011-05-10 18:27:57] 939*2^938393-1 is not prime. Res64: 47F2E5AA81B3B554 Time : 1219.0 sec. user=vaughan [2011-05-10 18:28:53] 931*2^938391-1 is not prime. Res64: 329C39521847756D Time : 1922.0 sec. user=vaughan [2011-05-10 18:36:21] 821*2^938394-1 is not prime. Res64: E14D5B72188D274C Time : 1225.0 sec. user=vaughan [2011-05-10 18:36:52] 803*2^938394-1 is not prime. Res64: F68AE062D8520845 Time : 1572.0 sec. user=vaughan [2011-05-10 18:39:36] 807*2^938394-1 is not prime. Res64: 5AB77CF9B9D225B9 Time : 1603.0 sec. user=vaughan [2011-05-10 18:47:06] 1001*2^938394-1 is not prime. Res64: 938157F5FC789E14 Time : 1182.0 sec. user=vaughan [2011-05-10 18:47:48] 993*2^938394-1 is not prime. Res64: 4330BAC35CB73EDC Time : 1231.0 sec. user=vaughan [2011-05-10 18:48:29] 829*2^938395-1 is not prime. Res64: F23F9677D690FA21 Time : 1232.0 sec. user=vaughan [2011-05-10 18:52:51] 873*2^938394-1 is not prime. Res64: 5A5B35C5A8B29794 Time : 1750.0 sec. user=vaughan [2011-05-10 18:56:28] 849*2^938395-1 is not prime. Res64: 644F5DC6F4B68AB9 Time : 1655.0 sec. user=vaughan [2011-05-10 18:56:48] 853*2^938395-1 is not prime. Res64: A04CB4FA46825D64 Time : 1227.0 sec. user=vaughan [2011-05-10 19:01:03] 859*2^938395-1 is not prime. Res64: 6756F7039DDE5C3B Time : 1451.0 sec. user=vaughan [2011-05-10 19:04:44] 891*2^938395-1 is not prime. Res64: 189F734F91A4D204 Time : 1508.0 sec. user=vaughan [2011-05-10 19:07:02] 961*2^938395-1 is not prime. Res64: D99E328C5945BD82 Time : 1197.0 sec. user=vaughan [2011-05-10 19:08:44] 969*2^938395-1 is not prime. Res64: A36E9D7DB0DC5F7F Time : 1256.0 sec. user=vaughan [2011-05-10 19:09:23] 855*2^938396-1 is not prime. Res64: AD3356D18D593993 Time : 1254.0 sec. user=vaughan [2011-05-10 19:17:27] 859*2^938397-1 is not prime. Res64: C08BE3990918DB21 Time : 1239.0 sec. user=vaughan [2011-05-10 19:22:21] 903*2^938396-1 is not prime. Res64: E2C977BBA6079C0A Time : 1770.0 sec. user=vaughan [2011-05-10 19:23:52] 923*2^938396-1 is not prime. Res64: 6248135433958A17 Time : 1645.0 sec. user=vaughan [2011-05-10 19:25:13] 825*2^938398-1 is not prime. Res64: 29938A7DB272CBFF Time : 1450.0 sec. user=vaughan [2011-05-10 19:26:49] 863*2^938398-1 is not prime. Res64: F484E8C854EA7FD6 Time : 1187.0 sec. user=vaughan [2011-05-10 19:29:31] 885*2^938398-1 is not prime. Res64: 18EAC49221CA6298 Time : 1247.0 sec. user=vaughan [2011-05-10 19:29:46] 833*2^938398-1 is not prime. Res64: CA8C063D1D52DCF5 Time : 1502.0 sec. user=vaughan [2011-05-10 19:30:10] 995*2^938398-1 is not prime. Res64: B5D2EAC79D97DCC4 Time : 1247.0 sec. user=vaughan [2011-05-10 19:37:58] 823*2^938399-1 is not prime. Res64: A5A4F36520ACDB2D Time : 1232.0 sec. user=vaughan [2011-05-10 19:46:34] 877*2^938401-1 is not prime. Res64: 8547EC5A6D0DBB21 Time : 1185.0 sec. user=vaughan [2011-05-10 19:49:22] 871*2^938401-1 is not prime. Res64: 15A8B8BB8C72238B Time : 1449.0 sec. user=vaughan [2011-05-10 19:50:16] 939*2^938401-1 is not prime. Res64: 050E8FD2BF39C63E Time : 1246.0 sec. user=vaughan [2011-05-10 19:50:57] 843*2^938402-1 is not prime. Res64: 78E040A12EAE6A82 Time : 1247.0 sec. user=vaughan [2011-05-10 19:51:17] 865*2^938399-1 is not prime. Res64: DAD3F55681BFBBC1 Time : 1645.0 sec. user=vaughan [2011-05-10 19:51:54] 831*2^938399-1 is not prime. Res64: 7669890430CC8A11 Time : 1774.0 sec. user=vaughan [2011-05-10 19:54:56] 955*2^938401-1 is not prime. Res64: 2E87C71C6550CF96 Time : 1510.0 sec. user=vaughan [2011-05-10 19:58:29] 867*2^938402-1 is not prime. Res64: 2FED23D89F2B87FA Time : 1231.0 sec. user=vaughan [2011-05-10 20:06:20] 885*2^938402-1 is not prime. Res64: FC27E5A97E051F6E Time : 1186.0 sec. user=vaughan [2011-05-10 20:11:00] 951*2^938403-1 is not prime. Res64: 7C0090BACEBD3D04 Time : 1245.0 sec. user=vaughan [2011-05-10 20:11:41] 973*2^938403-1 is not prime. Res64: 73F230408D5796C0 Time : 1244.0 sec. user=vaughan [2011-05-10 20:13:30] 871*2^938403-1 is not prime. Res64: C37B0185F6CED589 Time : 1448.0 sec. user=vaughan [2011-05-10 20:18:43] 985*2^938403-1 is not prime. Res64: 63BD4E05EA25576E Time : 1646.0 sec. user=vaughan [2011-05-10 20:19:10] 987*2^938404-1 is not prime. Res64: C8B34BD3BB572359 Time : 1242.0 sec. user=vaughan [2011-05-10 20:20:02] 899*2^938404-1 is not prime. Res64: 6974DB6936A14183 Time : 1506.0 sec. user=vaughan [2011-05-10 20:21:20] 863*2^938404-1 is not prime. Res64: 52F9A7C067D0D574 Time : 1767.0 sec. user=vaughan [2011-05-10 20:26:04] 801*2^938405-1 is not prime. Res64: AAED0294B3959A38 Time : 1184.0 sec. user=vaughan [2011-05-10 20:31:41] 859*2^938405-1 is not prime. Res64: 46BBC9B197930221 Time : 1241.0 sec. user=vaughan [2011-05-10 20:32:21] 867*2^938405-1 is not prime. Res64: 32E5EEAB9E16CB4E Time : 1240.0 sec. user=vaughan [2011-05-10 20:37:46] 957*2^938405-1 is not prime. Res64: 7694A24421873A5D Time : 1456.0 sec. user=vaughan [2011-05-10 20:39:49] 921*2^938406-1 is not prime. Res64: 000015D7B6961057 Time : 1239.0 sec. user=vaughan [2011-05-10 20:45:19] 829*2^938407-1 is not prime. Res64: 7B0D1046220C76A3 Time : 1517.0 sec. user=vaughan [2011-05-10 20:45:50] 891*2^938407-1 is not prime. Res64: B8B447A887DEF6F6 Time : 1186.0 sec. user=vaughan [2011-05-10 20:46:09] 981*2^938405-1 is not prime. Res64: 031D8112F625B85C Time : 1646.0 sec. user=vaughan [2011-05-10 20:50:50] 861*2^938407-1 is not prime. Res64: 37057AC9E3D4C8AC Time : 1771.0 sec. user=vaughan [2011-05-10 20:52:40] 931*2^938407-1 is not prime. Res64: 7B8DDA27B23F4118 Time : 1260.0 sec. user=vaughan [2011-05-10 20:53:18] 837*2^938408-1 is not prime. Res64: 842699326C39B374 Time : 1257.0 sec. user=vaughan [2011-05-10 21:01:03] 929*2^938408-1 is not prime. Res64: 5656BC119CBEC879 Time : 1274.0 sec. user=vaughan [2011-05-10 21:01:54] 839*2^938408-1 is not prime. Res64: F17CB2CB83A7DC7F Time : 1448.0 sec. user=vaughan [2011-05-10 21:06:35] 835*2^938409-1 is not prime. Res64: 84200B0E45819D30 Time : 1245.0 sec. user=vaughan [2011-05-10 21:11:18] 977*2^938408-1 is not prime. Res64: 71BDB94A48AF44B2 Time : 1560.0 sec. user=vaughan [2011-05-10 21:15:20] 885*2^938409-1 is not prime. Res64: 6506F381B69AB383 Time : 1751.0 sec. user=vaughan [2011-05-10 21:17:02] 841*2^938411-1 is not prime. Res64: 96A0B51C128F07B4 Time : 1463.0 sec. user=vaughan [2011-05-10 21:17:40] 859*2^938411-1 is not prime. Res64: 896F03249113012B Time : 1463.0 sec. user=vaughan [2011-05-10 21:21:42] 987*2^938410-1 is not prime. Res64: 966D44A06CA494B5 Time : 1852.0 sec. user=vaughan [2011-05-10 21:25:37] 901*2^938411-1 is not prime. Res64: 0E2BAECEDEB82A40 Time : 1474.0 sec. user=vaughan [2011-05-10 21:27:46] 969*2^938411-1 is not prime. Res64: 29F223ED1BD0FBC4 Time : 1552.0 sec. user=vaughan [2011-05-10 21:28:19] 973*2^938411-1 is not prime. Res64: 1F7A8099684D6DCF Time : 1305.0 sec. user=vaughan [2011-05-10 21:36:44] 979*2^938411-1 is not prime. Res64: EFE33E1DF9515738 Time : 1526.0 sec. user=vaughan [2011-05-10 21:38:00] 809*2^938412-1 is not prime. Res64: 3F65A620BC11D994 Time : 1258.0 sec. user=vaughan [2011-05-10 21:38:39] 915*2^938412-1 is not prime. Res64: 4710F2E1BC8BDA01 Time : 1260.0 sec. user=vaughan [2011-05-10 21:42:47] 999*2^938411-1 is not prime. Res64: F54D55567690935B Time : 1648.0 sec. user=vaughan [2011-05-10 21:46:58] 967*2^938413-1 is not prime. Res64: B0609198FAC59E50 Time : 1281.0 sec. user=vaughan [2011-05-10 21:48:16] 987*2^938413-1 is not prime. Res64: 8F2B56AC7A8354FB Time : 1197.0 sec. user=vaughan [2011-05-10 21:51:13] 817*2^938413-1 is not prime. Res64: 2C40CBC23D83D7CE Time : 1771.0 sec. user=vaughan [2011-05-10 21:51:54] 985*2^938413-1 is not prime. Res64: 62B4F06E44FB51E7 Time : 1449.0 sec. user=ototero [2011-05-10 21:58:01] 861*2^938387-1 is not prime. Res64: EC616273E3B9F344 Time : 15186.0 sec. user=ototero [2011-05-10 21:58:01] 809*2^938388-1 is not prime. Res64: FACEE25ABF2A33F1 Time : 15186.0 sec. user=ototero [2011-05-10 21:58:01] 837*2^938388-1 is not prime. Res64: 8BD84FA06F699D21 Time : 15186.0 sec. user=ototero [2011-05-10 21:58:01] 909*2^938388-1 is not prime. Res64: A5487DAC43F95171 Time : 15185.0 sec. user=ototero [2011-05-10 21:58:01] 959*2^938388-1 is not prime. Res64: FB23C5978FDC32A6 Time : 15185.0 sec. user=ototero [2011-05-10 21:58:01] 831*2^938389-1 is not prime. Res64: CFF1479F47A1105A Time : 15185.0 sec. user=ototero [2011-05-10 21:58:02] 951*2^938389-1 is not prime. Res64: ACA7A95A2650586E Time : 15185.0 sec. user=ototero [2011-05-10 21:58:02] 999*2^938389-1 is not prime. Res64: 35920ED95B9D0BE1 Time : 15185.0 sec. user=ototero [2011-05-10 21:58:02] 813*2^938390-1 is not prime. Res64: 968C9B8E587C0343 Time : 15185.0 sec. user=ototero [2011-05-10 21:58:02] 861*2^938390-1 is not prime. Res64: 5B3009FF1566B290 Time : 15184.0 sec. user=vaughan [2011-05-10 21:59:05] 861*2^938414-1 is not prime. Res64: D55476ED32CE4025 Time : 1266.0 sec. user=vaughan [2011-05-10 21:59:44] 897*2^938414-1 is not prime. Res64: 63BF03A7A5FFAC49 Time : 1266.0 sec. user=vaughan [2011-05-10 22:01:43] 825*2^938414-1 is not prime. Res64: 46AE97C2BE553434 Time : 1499.0 sec. user=vaughan [2011-05-10 22:08:09] 885*2^938415-1 is not prime. Res64: B6E649F581A0A083 Time : 1193.0 sec. user=vaughan [2011-05-10 22:08:22] 805*2^938415-1 is not prime. Res64: 2705311FDDEF46B1 Time : 1284.0 sec. user=vaughan [2011-05-10 22:10:08] 945*2^938414-1 is not prime. Res64: 581C1D576D25AE8D Time : 1641.0 sec. user=vaughan [2011-05-10 22:16:03] 933*2^938415-1 is not prime. Res64: 40908B618DB080D5 Time : 1450.0 sec. user=vaughan [2011-05-10 22:20:10] 977*2^938418-1 is not prime. Res64: 1D9FC71CB0040BA5 Time : 1265.0 sec. user=vaughan [2011-05-10 22:20:38] 891*2^938415-1 is not prime. Res64: 86DF2E0AB6F2FFB6 Time : 1766.0 sec. user=vaughan [2011-05-10 22:20:48] 885*2^938419-1 is not prime. Res64: 68A68460909C8AAF Time : 1264.0 sec. user=vaughan [2011-05-10 22:26:51] 951*2^938419-1 is not prime. Res64: 68885903E6D1845A Time : 1508.0 sec. user=vaughan [2011-05-10 22:28:11] 979*2^938419-1 is not prime. Res64: 4813421C10FE6924 Time : 1202.0 sec. user=vaughan [2011-05-10 22:29:47] 833*2^938420-1 is not prime. Res64: D9E47FD4CA01DACE Time : 1285.0 sec. user=vaughan [2011-05-10 22:37:44] 855*2^938420-1 is not prime. Res64: FFE835E4E68C5CDF Time : 1656.0 sec. user=vaughan [2011-05-10 22:40:09] 915*2^938420-1 is not prime. Res64: 73DEAE2365208AE6 Time : 1446.0 sec. user=vaughan [2011-05-10 22:40:59] 935*2^938420-1 is not prime. Res64: 4EB1F9EDBF383E6D Time : 1249.0 sec. user=vaughan [2011-05-10 22:41:45] 963*2^938420-1 is not prime. Res64: 4BB8C12475957A88 Time : 1258.0 sec. user=vaughan [2011-05-10 22:48:16] 831*2^938422-1 is not prime. Res64: B3DC0389D172D20F Time : 1205.0 sec. user=vaughan [2011-05-10 22:49:59] 959*2^938420-1 is not prime. Res64: 57E9F28D509DA44D Time : 1761.0 sec. user=vaughan [2011-05-10 22:51:18] 843*2^938422-1 is not prime. Res64: C4DD1E7E62DF89AB Time : 1292.0 sec. user=vaughan [2011-05-10 22:51:52] 827*2^938422-1 is not prime. Res64: 7B401718F831973A Time : 1502.0 sec. user=vaughan [2011-05-10 23:01:56] 917*2^938422-1 is not prime. Res64: 58C685B76A40562A Time : 1257.0 sec. user=vaughan [2011-05-10 23:02:46] 987*2^938422-1 is not prime. Res64: 986C06A75E716721 Time : 1262.0 sec. user=vaughan [2011-05-10 23:04:25] 915*2^938422-1 is not prime. Res64: 86FF131A288C085D Time : 1457.0 sec. user=vaughan [2011-05-10 23:05:09] 873*2^938422-1 is not prime. Res64: C21E96C4B79E7AA8 Time : 1645.0 sec. user=vaughan [2011-05-10 23:08:00] 837*2^938424-1 is not prime. Res64: 3DF7CA9A62DD28C4 Time : 1185.0 sec. user=vaughan [2011-05-10 23:12:54] 929*2^938424-1 is not prime. Res64: 7D9A86D708D1FCD4 Time : 1296.0 sec. user=vaughan [2011-05-10 23:16:58] 945*2^938424-1 is not prime. Res64: A95C93A271212486 Time : 1506.0 sec. user=vaughan [2011-05-10 23:19:38] 903*2^938424-1 is not prime. Res64: F00828CBEC20122F Time : 1780.0 sec. user=vaughan [2011-05-10 23:23:07] 975*2^938424-1 is not prime. Res64: 2A4D920DFBD6D879 Time : 1271.0 sec. user=vaughan [2011-05-10 23:23:54] 861*2^938425-1 is not prime. Res64: F9570BDCAFB068BC Time : 1269.0 sec. user=vaughan [2011-05-10 23:27:42] 903*2^938426-1 is not prime. Res64: 7D7D1BC4AA97EBF6 Time : 1182.0 sec. user=vaughan [2011-05-10 23:27:55] 831*2^938426-1 is not prime. Res64: 950D7E3F4F20660B Time : 1410.0 sec. user=vaughan [2011-05-10 23:31:19] 893*2^938426-1 is not prime. Res64: 05A9A7869E96DF16 Time : 1571.0 sec. user=vaughan [2011-05-10 23:34:20] 953*2^938426-1 is not prime. Res64: 85A30FD8A16E0116 Time : 1287.0 sec. user=vaughan [2011-05-10 23:39:48] 819*2^938427-1 is not prime. Res64: 1189EFC594A49F10 Time : 1370.0 sec. user=vaughan [2011-05-10 23:44:36] 891*2^938427-1 is not prime. Res64: 6FA4A7F4A8BCC982 Time : 1289.0 sec. user=vaughan [2011-05-10 23:45:01] 955*2^938427-1 is not prime. Res64: 87F350FDC0F83028 Time : 1267.0 sec. user=vaughan [2011-05-10 23:45:36] 871*2^938427-1 is not prime. Res64: 22611969D3CDF8A4 Time : 1558.0 sec. user=vaughan [2011-05-10 23:47:32] 985*2^938427-1 is not prime. Res64: 7D19528828672651 Time : 1191.0 sec. user=vaughan [2011-05-10 23:49:52] 813*2^938428-1 is not prime. Res64: 25C1482A5D2A140B Time : 1318.0 sec. user=vaughan [2011-05-10 23:55:43] 885*2^938428-1 is not prime. Res64: B743C74252C6E30E Time : 1283.0 sec. user=vaughan [2011-05-10 23:55:46] 869*2^938428-1 is not prime. Res64: 06813AC26E8B9D52 Time : 1467.0 sec.