user=vaughan [2011-05-15 00:05:03] 979*2^938829-1 is not prime. Res64: 0725897E717CD630 Time : 1234.0 sec. user=vaughan [2011-05-15 00:05:08] 969*2^938828-1 is not prime. Res64: E1F80206071B5986 Time : 1625.0 sec. user=vaughan [2011-05-15 00:08:07] 945*2^938830-1 is not prime. Res64: DAE2FF3D07F4A160 Time : 1227.0 sec. user=vaughan [2011-05-15 00:08:18] 873*2^938830-1 is not prime. Res64: 916CB4F87F186C46 Time : 1264.0 sec. user=vaughan [2011-05-15 00:08:31] 927*2^938829-1 is not prime. Res64: 68F82ECBB20CF770 Time : 1443.0 sec. user=vaughan [2011-05-15 00:09:06] 867*2^938830-1 is not prime. Res64: 42D48DC953FE56A5 Time : 1388.0 sec. user=vaughan [2011-05-15 00:11:26] 891*2^938830-1 is not prime. Res64: 3DCE4EDB09105B13 Time : 1433.0 sec. user=vaughan [2011-05-15 00:16:04] 829*2^938591-1 is not prime. Res64: B0394A4657E48A4B Time : 1182.0 sec. user=vaughan [2011-05-15 00:25:45] 901*2^938591-1 is not prime. Res64: 771B126FCACCD7DD Time : 1242.0 sec. user=vaughan [2011-05-15 00:29:03] 955*2^938591-1 is not prime. Res64: 6688419F227253AB Time : 1256.0 sec. user=vaughan [2011-05-15 00:29:15] 915*2^938592-1 is not prime. Res64: 4A6A060A35C2C7F8 Time : 1257.0 sec. user=vaughan [2011-05-15 00:31:41] 949*2^938591-1 is not prime. Res64: 9F7969929C84B39F Time : 1593.0 sec. user=vaughan [2011-05-15 00:32:13] 883*2^938831-1 is not prime. Res64: BFB4D979C1698535 Time : 1387.0 sec. user=vaughan [2011-05-15 00:32:24] 865*2^938831-1 is not prime. Res64: E74ADE64869A3A29 Time : 1433.0 sec. user=vaughan [2011-05-15 00:35:21] 895*2^938831-1 is not prime. Res64: 6CEA83712F5625E1 Time : 1435.0 sec. user=vaughan [2011-05-15 00:35:44] 909*2^938831-1 is not prime. Res64: 0070539D666E4F85 Time : 1180.0 sec. user=vaughan [2011-05-15 00:51:43] 921*2^938831-1 is not prime. Res64: 2F11A37A9BFD86B8 Time : 1559.0 sec. user=vaughan [2011-05-15 00:54:18] 981*2^938831-1 is not prime. Res64: 8DCE63B9220CC4CA Time : 1515.0 sec. user=vaughan [2011-05-15 00:54:21] 835*2^938833-1 is not prime. Res64: 1BD7E1F8B0B7F7E7 Time : 1506.0 sec. user=vaughan [2011-05-15 00:54:40] 877*2^938833-1 is not prime. Res64: 8F7A4DEAEB89BE21 Time : 1347.0 sec. user=vaughan [2011-05-15 00:55:54] 903*2^938834-1 is not prime. Res64: D9A8CA802BBE21A9 Time : 1410.0 sec. user=vaughan [2011-05-15 00:57:35] 867*2^938833-1 is not prime. Res64: F4869FC749C54A29 Time : 1554.0 sec. user=vaughan [2011-05-15 00:58:44] 801*2^938835-1 is not prime. Res64: 27DC3EB02D8882F2 Time : 1403.0 sec. user=vaughan [2011-05-15 01:01:24] 895*2^938835-1 is not prime. Res64: A1CD2EB1A76F79B5 Time : 1540.0 sec. user=vaughan [2011-05-15 01:11:46] 801*2^938837-1 is not prime. Res64: B5DE4F44B9D3C307 Time : 1204.0 sec. user=vaughan [2011-05-15 01:13:33] 867*2^938837-1 is not prime. Res64: DCE4AEF2F5D538C8 Time : 1155.0 sec. user=vaughan [2011-05-15 01:13:58] 871*2^938837-1 is not prime. Res64: 2D8C5F00306C1F96 Time : 1177.0 sec. user=vaughan [2011-05-15 01:16:20] 825*2^938838-1 is not prime. Res64: 57A4D1F76CA0159E Time : 1300.0 sec. user=vaughan [2011-05-15 01:18:08] 903*2^938836-1 is not prime. Res64: 44D35966E27D34F4 Time : 2078.0 sec. user=vaughan [2011-05-15 01:19:14] 859*2^938839-1 is not prime. Res64: 9A66B438F1D80CBE Time : 1402.0 sec. user=vaughan [2011-05-15 01:21:54] 979*2^938839-1 is not prime. Res64: E97A11FF5BFFF2EB Time : 1231.0 sec. user=vaughan [2011-05-15 01:22:08] 961*2^938839-1 is not prime. Res64: 69EABAB55B25ED56 Time : 1404.0 sec. user=vaughan [2011-05-15 01:23:07] 943*2^938839-1 is not prime. Res64: B253A430E8777BBF Time : 1532.0 sec. user=vaughan [2011-05-15 01:31:36] 843*2^938840-1 is not prime. Res64: 42AF1CCADDE51B4F Time : 1190.0 sec. user=vaughan [2011-05-15 01:32:53] 977*2^938840-1 is not prime. Res64: FB60F88407E3DDDC Time : 1160.0 sec. user=vaughan [2011-05-15 01:33:41] 805*2^938841-1 is not prime. Res64: 8D93A9F3C37E43D9 Time : 1183.0 sec. user=vaughan [2011-05-15 01:38:03] 921*2^938841-1 is not prime. Res64: 5A519C8F9A1AABF2 Time : 1303.0 sec. user=vaughan [2011-05-15 01:40:12] 983*2^938836-1 is not prime. Res64: 041D1B1E10D36190 Time : 3400.0 sec. user=vaughan [2011-05-15 01:42:03] 999*2^938841-1 is not prime. Res64: C41C7D779C9764C8 Time : 1209.0 sec. user=vaughan [2011-05-15 01:42:33] 991*2^938841-1 is not prime. Res64: 845864477523F2FE Time : 1400.0 sec. user=vaughan [2011-05-15 01:45:32] 803*2^938842-1 is not prime. Res64: 64E6CE972F98EE49 Time : 1404.0 sec. user=vaughan [2011-05-15 01:48:29] 867*2^938842-1 is not prime. Res64: D3B7E0548520BF6E Time : 1522.0 sec. user=vaughan [2011-05-15 01:52:15] 881*2^938842-1 is not prime. Res64: FB6000FF753A4596 Time : 1240.0 sec. user=vaughan [2011-05-15 01:52:19] 887*2^938842-1 is not prime. Res64: AA912CF797B75565 Time : 1166.0 sec. user=vaughan [2011-05-15 01:53:27] 915*2^938843-1 is not prime. Res64: D6E10E194E1D3478 Time : 1186.0 sec. user=vaughan [2011-05-15 01:59:44] 943*2^938843-1 is not prime. Res64: B084E9F5A622EF13 Time : 1301.0 sec. user=vaughan [2011-05-15 02:02:01] 945*2^938843-1 is not prime. Res64: E9476548812BE721 Time : 1198.0 sec. user=vaughan [2011-05-15 02:05:58] 949*2^938843-1 is not prime. Res64: D42116C5ECEE7FBC Time : 1406.0 sec. user=vaughan [2011-05-15 02:08:54] 969*2^938843-1 is not prime. Res64: FC96DE751BEC52CC Time : 1402.0 sec. user=vaughan [2011-05-15 02:11:45] 947*2^938844-1 is not prime. Res64: 10DB82A90C176FE4 Time : 1166.0 sec. user=vaughan [2011-05-15 02:12:55] 993*2^938843-1 is not prime. Res64: B9307EA9A63A7C2D Time : 1240.0 sec. user=vaughan [2011-05-15 02:13:13] 969*2^938844-1 is not prime. Res64: D681DA39A02440AD Time : 1186.0 sec. user=vaughan [2011-05-15 02:13:52] 985*2^938843-1 is not prime. Res64: CB91520D68AF979F Time : 1523.0 sec. user=vaughan [2011-05-15 02:21:25] 849*2^938845-1 is not prime. Res64: 153C19C8589AC8DC Time : 1301.0 sec. user=vaughan [2011-05-15 02:22:00] 867*2^938845-1 is not prime. Res64: 576F4575E7E71ECC Time : 1199.0 sec. user=vaughan [2011-05-15 02:29:25] 955*2^938845-1 is not prime. Res64: 7CE7F95BD35BE3E1 Time : 1407.0 sec. user=vaughan [2011-05-15 02:31:05] 923*2^938846-1 is not prime. Res64: BC5B3B90DD92A5C8 Time : 1160.0 sec. user=vaughan [2011-05-15 02:32:26] 825*2^938846-1 is not prime. Res64: E159F1E9926E78D8 Time : 1413.0 sec. user=vaughan [2011-05-15 02:32:56] 957*2^938846-1 is not prime. Res64: 08F64ECC9A89C875 Time : 1201.0 sec. user=vaughan [2011-05-15 02:33:15] 963*2^938846-1 is not prime. Res64: E18BF777F440F368 Time : 1203.0 sec. user=ototero [2011-05-15 02:34:20] 801*2^938818-1 is not prime. Res64: 3051B790FA43FD54 Time : 15307.0 sec. user=ototero [2011-05-15 02:34:20] 827*2^938818-1 is not prime. Res64: 46A4B595479C63DC Time : 15307.0 sec. user=ototero [2011-05-15 02:34:20] 857*2^938818-1 is not prime. Res64: 6CA653973FCE7D0E Time : 15306.0 sec. user=ototero [2011-05-15 02:34:20] 945*2^938818-1 is not prime. Res64: 5A3B9A7943DE7FF7 Time : 15306.0 sec. user=ototero [2011-05-15 02:34:20] 951*2^938818-1 is not prime. Res64: 19AA60BA23895B67 Time : 15306.0 sec. user=ototero [2011-05-15 02:34:20] 957*2^938818-1 is not prime. Res64: 601183614A49D41A Time : 15305.0 sec. user=ototero [2011-05-15 02:34:21] 895*2^938819-1 is not prime. Res64: DF03B46F16D81089 Time : 15306.0 sec. user=ototero [2011-05-15 02:34:21] 839*2^938820-1 is not prime. Res64: B0304A0D1C509D2E Time : 15306.0 sec. user=ototero [2011-05-15 02:34:21] 857*2^938820-1 is not prime. Res64: 060F505B30AA7A94 Time : 15305.0 sec. user=ototero [2011-05-15 02:34:21] 875*2^938820-1 is not prime. Res64: 5D59E3C09B1BC19C Time : 15305.0 sec. user=vaughan [2011-05-15 02:39:15] 1001*2^938846-1 is not prime. Res64: 3348ACC88BAF021B Time : 1523.0 sec. user=vaughan [2011-05-15 02:42:18] 963*2^938847-1 is not prime. Res64: D1EFCA0FD352DF1D Time : 1218.0 sec. user=vaughan [2011-05-15 02:43:08] 849*2^938847-1 is not prime. Res64: 99CE509B53E6331E Time : 1304.0 sec. user=vaughan [2011-05-15 02:50:40] 825*2^938848-1 is not prime. Res64: D01A538F9AB28CDA Time : 1176.0 sec. user=vaughan [2011-05-15 02:52:32] 831*2^938849-1 is not prime. Res64: B746813467B14CD3 Time : 1177.0 sec. user=vaughan [2011-05-15 02:52:46] 973*2^938847-1 is not prime. Res64: D6475F53EED70DC1 Time : 1402.0 sec. user=vaughan [2011-05-15 02:53:16] 837*2^938849-1 is not prime. Res64: B42C8E1BBBDF759A Time : 1201.0 sec. user=vaughan [2011-05-15 02:55:49] 833*2^938848-1 is not prime. Res64: 3B1D29A34FBE727B Time : 1403.0 sec. user=vaughan [2011-05-15 03:03:34] 803*2^938852-1 is not prime. Res64: 7964459316AFBB27 Time : 1277.0 sec. user=vaughan [2011-05-15 03:04:40] 951*2^938851-1 is not prime. Res64: 34F9F6012DBA5F56 Time : 1525.0 sec. user=vaughan [2011-05-15 03:04:51] 899*2^938852-1 is not prime. Res64: 58A981C14B129F99 Time : 1304.0 sec. user=vaughan [2011-05-15 03:10:53] 915*2^938852-1 is not prime. Res64: 15B4B8D3277CDF8D Time : 1213.0 sec. user=vaughan [2011-05-15 03:12:15] 935*2^938852-1 is not prime. Res64: 3B7BF7E32BA3728B Time : 1183.0 sec. user=vaughan [2011-05-15 03:12:59] 963*2^938852-1 is not prime. Res64: 05D7C61059B99C82 Time : 1184.0 sec. user=vaughan [2011-05-15 03:16:10] 959*2^938852-1 is not prime. Res64: 5F9DCDD3BEF80317 Time : 1404.0 sec. user=vaughan [2011-05-15 03:19:17] 867*2^938853-1 is not prime. Res64: CA15F3F1966DA5F7 Time : 1408.0 sec. user=vaughan [2011-05-15 03:23:37] 921*2^938853-1 is not prime. Res64: AE9C695778EE945B Time : 1204.0 sec. user=vaughan [2011-05-15 03:26:32] 813*2^938854-1 is not prime. Res64: B2ECF2ECE53E13E1 Time : 1302.0 sec. user=vaughan [2011-05-15 03:30:01] 945*2^938853-1 is not prime. Res64: 5A91A89E89F641BD Time : 1521.0 sec. user=vaughan [2011-05-15 03:31:17] 821*2^938854-1 is not prime. Res64: D0D5FC7467D4000C Time : 1224.0 sec. user=vaughan [2011-05-15 03:32:00] 833*2^938854-1 is not prime. Res64: 620BAD2975AF1AB2 Time : 1185.0 sec. user=vaughan [2011-05-15 03:32:47] 885*2^938854-1 is not prime. Res64: 29BB274E21D9CA8B Time : 1188.0 sec. user=vaughan [2011-05-15 03:39:34] 945*2^938854-1 is not prime. Res64: C3A181F6F62A0F5A Time : 1404.0 sec. user=vaughan [2011-05-15 03:42:38] 993*2^938854-1 is not prime. Res64: 2391A97293D5367B Time : 1401.0 sec. user=vaughan [2011-05-15 03:43:40] 819*2^938855-1 is not prime. Res64: 0A0D724EC47F28A7 Time : 1203.0 sec. user=vaughan [2011-05-15 03:48:14] 963*2^938855-1 is not prime. Res64: B4BF9BF9CE3103AD Time : 1302.0 sec. user=vaughan [2011-05-15 03:51:42] 875*2^938856-1 is not prime. Res64: 97B6332C0E3CFAF1 Time : 1225.0 sec. user=vaughan [2011-05-15 03:51:43] 903*2^938856-1 is not prime. Res64: A40BDB20A9B68954 Time : 1184.0 sec. user=vaughan [2011-05-15 03:52:34] 999*2^938856-1 is not prime. Res64: 2B570EB4F9EA8C34 Time : 1187.0 sec. user=vaughan [2011-05-15 03:55:32] 845*2^938856-1 is not prime. Res64: ABEF385CCF63D970 Time : 1531.0 sec. user=vaughan [2011-05-15 04:02:56] 829*2^938857-1 is not prime. Res64: 36FC70F0A853F46F Time : 1403.0 sec. user=vaughan [2011-05-15 04:04:03] 885*2^938857-1 is not prime. Res64: CC95606EFF950914 Time : 1223.0 sec. user=vaughan [2011-05-15 04:06:03] 847*2^938857-1 is not prime. Res64: 9CF18AE2C10EE354 Time : 1405.0 sec. user=vaughan [2011-05-15 04:09:52] 897*2^938857-1 is not prime. Res64: F5FF538A1D0E16A5 Time : 1299.0 sec. user=vaughan [2011-05-15 04:11:28] 815*2^938858-1 is not prime. Res64: BC65AF7C21991AC2 Time : 1186.0 sec. user=vaughan [2011-05-15 04:11:31] 945*2^938857-1 is not prime. Res64: D0BE81CBEADBC575 Time : 1189.0 sec. user=vaughan [2011-05-15 04:12:21] 845*2^938858-1 is not prime. Res64: CDEFBFBAC7FF06D8 Time : 1188.0 sec. user=vaughan [2011-05-15 04:20:59] 915*2^938858-1 is not prime. Res64: 72AFBDC7436F4156 Time : 1527.0 sec. user=vaughan [2011-05-15 04:25:53] 945*2^938858-1 is not prime. Res64: 136FA1546B03FF40 Time : 1310.0 sec. user=vaughan [2011-05-15 04:26:16] 923*2^938858-1 is not prime. Res64: 2158AD373BAE21CC Time : 1401.0 sec. user=vaughan [2011-05-15 04:29:30] 835*2^938859-1 is not prime. Res64: BEE107288AC21D2A Time : 1408.0 sec. user=vaughan [2011-05-15 04:30:54] 875*2^938860-1 is not prime. Res64: A7D80A41DD21AA0B Time : 1164.0 sec. user=vaughan [2011-05-15 04:31:34] 949*2^938859-1 is not prime. Res64: BC1D62948FD8C48A Time : 1303.0 sec. user=vaughan [2011-05-15 04:31:36] 839*2^938860-1 is not prime. Res64: 4C434455BE876BC7 Time : 1208.0 sec. user=vaughan [2011-05-15 04:32:08] 811*2^938861-1 is not prime. Res64: B4836DC370925C52 Time : 1187.0 sec. user=vaughan [2011-05-15 04:46:23] 871*2^938861-1 is not prime. Res64: 6472797EB862A005 Time : 1524.0 sec. user=vaughan [2011-05-15 04:47:21] 939*2^938861-1 is not prime. Res64: BC418A8D3F12259F Time : 1288.0 sec. user=vaughan [2011-05-15 04:49:42] 955*2^938861-1 is not prime. Res64: 39D2D2AED8621594 Time : 1406.0 sec. user=vaughan [2011-05-15 04:50:14] 915*2^938862-1 is not prime. Res64: D6F5F761A0F163D8 Time : 1161.0 sec. user=vaughan [2011-05-15 04:51:55] 891*2^938863-1 is not prime. Res64: 0B1B11D7714051B3 Time : 1187.0 sec. user=vaughan [2011-05-15 04:52:05] 861*2^938863-1 is not prime. Res64: 43A6E794658D4A0C Time : 1229.0 sec. user=vaughan [2011-05-15 04:52:55] 893*2^938862-1 is not prime. Res64: DA206BB08D1FA498 Time : 1406.0 sec. user=vaughan [2011-05-15 04:53:14] 829*2^938863-1 is not prime. Res64: EA879BD298526119 Time : 1300.0 sec. user=vaughan [2011-05-15 05:08:34] 817*2^938865-1 is not prime. Res64: 2204EFD3DE90242E Time : 1273.0 sec. user=vaughan [2011-05-15 05:09:34] 909*2^938865-1 is not prime. Res64: C7A26ED53E087AC8 Time : 1161.0 sec. user=vaughan [2011-05-15 05:11:40] 919*2^938865-1 is not prime. Res64: F92692614AAE7FC6 Time : 1185.0 sec. user=vaughan [2011-05-15 05:11:46] 995*2^938864-1 is not prime. Res64: 370D8476120256EF Time : 1524.0 sec. user=vaughan [2011-05-15 05:12:33] 951*2^938865-1 is not prime. Res64: 97AA7E8DA4F28F03 Time : 1228.0 sec. user=vaughan [2011-05-15 05:13:04] 819*2^938865-1 is not prime. Res64: 6225784892EBFC4D Time : 1403.0 sec. user=vaughan [2011-05-15 05:14:57] 991*2^938865-1 is not prime. Res64: 3401333B4C396FCE Time : 1303.0 sec. user=vaughan [2011-05-15 05:16:19] 969*2^938865-1 is not prime. Res64: FD1D5C5490F55ECE Time : 1404.0 sec. user=vaughan [2011-05-15 05:28:35] 999*2^938865-1 is not prime. Res64: BF06EB802135BECD Time : 1201.0 sec. user=vaughan [2011-05-15 05:29:02] 801*2^938866-1 is not prime. Res64: 2C952CD2659A0FA4 Time : 1169.0 sec. user=vaughan [2011-05-15 05:32:14] 855*2^938866-1 is not prime. Res64: 35B757056314FA7A Time : 1234.0 sec. user=vaughan [2011-05-15 05:32:17] 949*2^938867-1 is not prime. Res64: 9345A5483F8F91AB Time : 1184.0 sec. user=vaughan [2011-05-15 05:36:29] 899*2^938868-1 is not prime. Res64: 117B74A652EB68D0 Time : 1405.0 sec. user=vaughan [2011-05-15 05:36:39] 967*2^938869-1 is not prime. Res64: DA8526A30506DFB0 Time : 1303.0 sec. user=vaughan [2011-05-15 05:37:06] 825*2^938867-1 is not prime. Res64: 8FF857CDD1748244 Time : 1520.0 sec. user=vaughan [2011-05-15 05:39:45] 979*2^938869-1 is not prime. Res64: 5C6ABDEAC4A8C495 Time : 1406.0 sec. user=vaughan [2011-05-15 05:48:27] 885*2^938870-1 is not prime. Res64: C861458165AD5342 Time : 1166.0 sec. user=vaughan [2011-05-15 05:48:33] 861*2^938870-1 is not prime. Res64: 27F297328B7E667E Time : 1199.0 sec. user=vaughan [2011-05-15 05:51:59] 945*2^938870-1 is not prime. Res64: 2EB64258AAF0ACB7 Time : 1183.0 sec. user=vaughan [2011-05-15 05:52:43] 923*2^938870-1 is not prime. Res64: D49A1AD35AD3E278 Time : 1230.0 sec. user=vaughan [2011-05-15 05:58:21] 999*2^938871-1 is not prime. Res64: 48E9596D2B82EA9F Time : 1302.0 sec. user=vaughan [2011-05-15 05:59:52] 885*2^938871-1 is not prime. Res64: 631BE0FDC9EDF0CA Time : 1403.0 sec. user=vaughan [2011-05-15 06:02:33] 855*2^938872-1 is not prime. Res64: 402B36324273F457 Time : 1527.0 sec. user=vaughan [2011-05-15 06:03:08] 863*2^938872-1 is not prime. Res64: D4F4EB35AF4C885B Time : 1403.0 sec. user=vaughan [2011-05-15 06:07:54] 899*2^938872-1 is not prime. Res64: 41881D5B29D560DF Time : 1167.0 sec. user=vaughan [2011-05-15 06:08:33] 903*2^938872-1 is not prime. Res64: 84E46BDCB98515C8 Time : 1200.0 sec. user=vaughan [2011-05-15 06:11:41] 965*2^938872-1 is not prime. Res64: A7427C07D173AECE Time : 1182.0 sec. user=vaughan [2011-05-15 06:13:18] 999*2^938872-1 is not prime. Res64: BB46E6A241DA3C2E Time : 1235.0 sec. user=vaughan [2011-05-15 06:20:03] 837*2^938873-1 is not prime. Res64: 1FBC55876F4FBF12 Time : 1302.0 sec. user=vaughan [2011-05-15 06:23:14] 855*2^938873-1 is not prime. Res64: 5F40BDD94405C524 Time : 1403.0 sec. user=vaughan [2011-05-15 06:26:27] 803*2^938874-1 is not prime. Res64: 2140286D7E4843F3 Time : 1400.0 sec. user=vaughan [2011-05-15 06:27:50] 825*2^938874-1 is not prime. Res64: 99EBD653A893CB9E Time : 1196.0 sec. user=vaughan [2011-05-15 06:28:06] 939*2^938873-1 is not prime. Res64: A0B37E86E2A50ECC Time : 1534.0 sec. user=vaughan [2011-05-15 06:29:26] 885*2^938874-1 is not prime. Res64: 0F4382F145D5AB83 Time : 1253.0 sec. user=vaughan [2011-05-15 06:31:24] 951*2^938874-1 is not prime. Res64: 98924E59232E9D55 Time : 1184.0 sec. user=vaughan [2011-05-15 06:33:08] 983*2^938874-1 is not prime. Res64: 56A61A4B7BE8FF13 Time : 1191.0 sec. user=vaughan [2011-05-15 06:41:52] 841*2^938875-1 is not prime. Res64: C437534D04302B42 Time : 1310.0 sec. user=vaughan [2011-05-15 06:46:40] 843*2^938875-1 is not prime. Res64: 0556E72B927FB2BC Time : 1406.0 sec. user=vaughan [2011-05-15 06:47:32] 915*2^938875-1 is not prime. Res64: 287F86D91BE42994 Time : 1182.0 sec. user=vaughan [2011-05-15 06:49:37] 895*2^938875-1 is not prime. Res64: 2EB8CC2BE67868E4 Time : 1390.0 sec. user=vaughan [2011-05-15 06:50:53] 985*2^938875-1 is not prime. Res64: 6C4F8243AF044ED5 Time : 1287.0 sec. user=vaughan [2011-05-15 06:51:08] 803*2^938876-1 is not prime. Res64: FD5BF897B75E8453 Time : 1185.0 sec. user=vaughan [2011-05-15 06:52:38] 979*2^938875-1 is not prime. Res64: B031ACE95C99F05E Time : 1472.0 sec. user=vaughan [2011-05-15 06:53:31] 899*2^938876-1 is not prime. Res64: 6B24F2CEF8642B34 Time : 1224.0 sec. user=ototero [2011-05-15 06:55:23] 861*2^938849-1 is not prime. Res64: 5EE7BDBA0B5DF8E2 Time : 15662.0 sec. user=ototero [2011-05-15 06:55:24] 909*2^938849-1 is not prime. Res64: 398A4EB9BACF8940 Time : 15662.0 sec. user=ototero [2011-05-15 06:55:25] 955*2^938849-1 is not prime. Res64: 7EC500BB3AD07351 Time : 15663.0 sec. user=ototero [2011-05-15 06:55:26] 979*2^938849-1 is not prime. Res64: 02D06662653D031A Time : 15663.0 sec. user=ototero [2011-05-15 06:55:27] 987*2^938849-1 is not prime. Res64: C2F723024BE9D9E9 Time : 15664.0 sec. user=ototero [2011-05-15 06:55:27] 997*2^938849-1 is not prime. Res64: 09E0ECB649A25948 Time : 15664.0 sec. user=ototero [2011-05-15 06:55:28] 945*2^938850-1 is not prime. Res64: 8FDB796E29C4453C Time : 15664.0 sec. user=ototero [2011-05-15 06:55:28] 859*2^938851-1 is not prime. Res64: 330AB226ED75E592 Time : 15664.0 sec. user=ototero [2011-05-15 06:55:29] 885*2^938851-1 is not prime. Res64: A80B3FDB1B94C6EB Time : 15665.0 sec. user=ototero [2011-05-15 06:55:29] 943*2^938851-1 is not prime. Res64: 2B9C3812C2F16754 Time : 15664.0 sec. user=vaughan [2011-05-15 07:04:48] 957*2^938876-1 is not prime. Res64: E0ACA3BF1E59E1C9 Time : 1377.0 sec. user=vaughan [2011-05-15 07:07:20] 885*2^938877-1 is not prime. Res64: 5D0CB386936A0395 Time : 1189.0 sec. user=vaughan [2011-05-15 07:10:49] 801*2^938878-1 is not prime. Res64: D60D129738773A7A Time : 1182.0 sec. user=vaughan [2011-05-15 07:11:15] 963*2^938876-1 is not prime. Res64: F1C5CA1ED19D8E0E Time : 1475.0 sec. user=vaughan [2011-05-15 07:12:14] 949*2^938877-1 is not prime. Res64: 45F92A807110B23A Time : 1282.0 sec. user=vaughan [2011-05-15 07:13:27] 911*2^938878-1 is not prime. Res64: 504708929C58D2F3 Time : 1196.0 sec. user=vaughan [2011-05-15 07:14:45] 927*2^938877-1 is not prime. Res64: 06011965B9D10544 Time : 1508.0 sec. user=vaughan [2011-05-15 07:21:18] 813*2^938878-1 is not prime. Res64: EE0C3972C3F63850 Time : 1720.0 sec. user=vaughan [2011-05-15 07:27:15] 941*2^938882-1 is not prime. Res64: FA95DE964FA4612C Time : 1195.0 sec. user=vaughan [2011-05-15 07:28:39] 843*2^938882-1 is not prime. Res64: 41E998B8CEA69B24 Time : 1432.0 sec. user=vaughan [2011-05-15 07:30:49] 957*2^938882-1 is not prime. Res64: 3CC1F87CD9A1F8DC Time : 1200.0 sec. user=vaughan [2011-05-15 07:32:46] 871*2^938883-1 is not prime. Res64: 25A7BA95992BFC0F Time : 1233.0 sec. user=vaughan [2011-05-15 07:33:26] 825*2^938884-1 is not prime. Res64: 934A04666B07F25E Time : 1200.0 sec. user=vaughan [2011-05-15 07:36:42] 853*2^938883-1 is not prime. Res64: 72DA91F9B4131F71 Time : 1528.0 sec. user=vaughan [2011-05-15 07:40:10] 827*2^938884-1 is not prime. Res64: 9276CD1A1D6F283A Time : 1525.0 sec. user=vaughan [2011-05-15 07:47:03] 887*2^938884-1 is not prime. Res64: 9BC2DB8D9B4D8E70 Time : 1188.0 sec. user=vaughan [2011-05-15 07:50:00] 833*2^938884-1 is not prime. Res64: C40CEE52124A8D68 Time : 1722.0 sec. user=vaughan [2011-05-15 07:50:40] 987*2^938884-1 is not prime. Res64: BE97F59011624D7A Time : 1191.0 sec. user=vaughan [2011-05-15 07:52:39] 905*2^938884-1 is not prime. Res64: B4D9A177CF901D66 Time : 1440.0 sec. user=vaughan [2011-05-15 07:53:58] 865*2^938885-1 is not prime. Res64: 9BBE3DECD77BB792 Time : 1232.0 sec. user=vaughan [2011-05-15 07:54:15] 825*2^938885-1 is not prime. Res64: 1609168C6CC70990 Time : 1289.0 sec. user=vaughan [2011-05-15 08:02:05] 969*2^938885-1 is not prime. Res64: A055C027FF3BF8ED Time : 1523.0 sec. user=vaughan [2011-05-15 08:05:39] 921*2^938886-1 is not prime. Res64: F786E0354A34D7D3 Time : 1529.0 sec. user=vaughan [2011-05-15 08:06:26] 931*2^938887-1 is not prime. Res64: 503A5FE81C0E7EC7 Time : 1164.0 sec. user=vaughan [2011-05-15 08:10:49] 819*2^938888-1 is not prime. Res64: C35D7AF0D8909105 Time : 1209.0 sec. user=vaughan [2011-05-15 08:13:51] 935*2^938888-1 is not prime. Res64: EC2DF80C15522FAE Time : 1194.0 sec. user=vaughan [2011-05-15 08:14:32] 829*2^938889-1 is not prime. Res64: 012D3107AF7D55E7 Time : 1218.0 sec. user=vaughan [2011-05-15 08:16:46] 843*2^938888-1 is not prime. Res64: FD966BE90B7CD086 Time : 1447.0 sec. user=vaughan [2011-05-15 08:18:38] 939*2^938887-1 is not prime. Res64: 4694A168F79588AB Time : 1718.0 sec. user=vaughan [2011-05-15 08:26:01] 985*2^938889-1 is not prime. Res64: 002443781215FA20 Time : 1176.0 sec. user=vaughan [2011-05-15 08:27:25] 861*2^938889-1 is not prime. Res64: 311C1C72A36E2287 Time : 1521.0 sec. user=vaughan [2011-05-15 08:30:58] 865*2^938889-1 is not prime. Res64: DDAAA45577A574B4 Time : 1520.0 sec. user=vaughan [2011-05-15 08:31:35] 803*2^938890-1 is not prime. Res64: 0886F6760E20B413 Time : 1247.0 sec. user=vaughan [2011-05-15 08:34:17] 887*2^938890-1 is not prime. Res64: 00DE27D5071D7A3F Time : 1227.0 sec. user=vaughan [2011-05-15 08:34:54] 987*2^938890-1 is not prime. Res64: 3F15818BAC9F8FB7 Time : 1222.0 sec. user=vaughan [2011-05-15 08:41:14] 889*2^938891-1 is not prime. Res64: 85B66E96BF972E92 Time : 1469.0 sec. user=vaughan [2011-05-15 08:45:36] 893*2^938892-1 is not prime. Res64: 994CE101488C5CEF Time : 1175.0 sec. user=vaughan [2011-05-15 08:47:24] 873*2^938892-1 is not prime. Res64: 9191049AFE172168 Time : 1726.0 sec. user=vaughan [2011-05-15 08:52:36] 847*2^938893-1 is not prime. Res64: 150238CAE03BA841 Time : 1512.0 sec. user=vaughan [2011-05-15 08:52:39] 877*2^938893-1 is not prime. Res64: 4BC983C287A21130 Time : 1264.0 sec. user=vaughan [2011-05-15 08:54:55] 915*2^938893-1 is not prime. Res64: E58799D0596CCD9B Time : 1239.0 sec. user=vaughan [2011-05-15 08:55:25] 951*2^938893-1 is not prime. Res64: 240E3E3F30CE8A7F Time : 1231.0 sec. user=vaughan [2011-05-15 08:56:13] 855*2^938893-1 is not prime. Res64: FBA3ABC6F2462783 Time : 1516.0 sec. user=vaughan [2011-05-15 09:05:07] 987*2^938893-1 is not prime. Res64: FDC5D839C8038438 Time : 1171.0 sec. user=vaughan [2011-05-15 09:05:35] 979*2^938893-1 is not prime. Res64: F8142F2AB7042F9C Time : 1462.0 sec. user=vaughan [2011-05-15 09:12:26] 887*2^938894-1 is not prime. Res64: 4EAE60A23A7AE8E0 Time : 1187.0 sec. user=vaughan [2011-05-15 09:15:37] 927*2^938894-1 is not prime. Res64: 680CDC1B3C44D2D7 Time : 1242.0 sec. user=vaughan [2011-05-15 09:15:56] 831*2^938894-1 is not prime. Res64: CF305F0617CC4193 Time : 1712.0 sec. user=vaughan [2011-05-15 09:16:12] 941*2^938894-1 is not prime. Res64: A7121E6CB00CBACB Time : 1247.0 sec. user=vaughan [2011-05-15 09:17:46] 851*2^938894-1 is not prime. Res64: D11ACA5B2BF04259 Time : 1511.0 sec. user=vaughan [2011-05-15 09:21:26] 805*2^938895-1 is not prime. Res64: E3D6296E9D3FD891 Time : 1513.0 sec. user=vaughan [2011-05-15 09:25:08] 849*2^938895-1 is not prime. Res64: 0C254692251F20D2 Time : 1201.0 sec. user=vaughan [2011-05-15 09:30:00] 871*2^938895-1 is not prime. Res64: 4EAAE9382785AC5F Time : 1465.0 sec. user=vaughan [2011-05-15 09:32:11] 895*2^938895-1 is not prime. Res64: C1C7DA9D3C47A95D Time : 1185.0 sec. user=vaughan [2011-05-15 09:36:29] 949*2^938895-1 is not prime. Res64: D79222EE47C3825C Time : 1252.0 sec. user=vaughan [2011-05-15 09:37:13] 961*2^938895-1 is not prime. Res64: 49745B4ED74E652E Time : 1262.0 sec. user=vaughan [2011-05-15 09:42:56] 839*2^938896-1 is not prime. Res64: 575CC8DE93E5FF43 Time : 1511.0 sec. user=vaughan [2011-05-15 09:44:32] 951*2^938895-1 is not prime. Res64: E29CC199BFC19A9D Time : 1716.0 sec. user=vaughan [2011-05-15 09:44:58] 869*2^938896-1 is not prime. Res64: A65BACF91DA01E5A Time : 1190.0 sec. user=vaughan [2011-05-15 09:46:44] 843*2^938896-1 is not prime. Res64: C73E299AB88B397A Time : 1519.0 sec. user=vaughan [2011-05-15 09:52:05] 865*2^938897-1 is not prime. Res64: ADA43297F537684E Time : 1194.0 sec. user=vaughan [2011-05-15 09:54:21] 873*2^938896-1 is not prime. Res64: 1E5D0DD5F6A9AA6C Time : 1461.0 sec. user=vaughan [2011-05-15 09:57:43] 867*2^938897-1 is not prime. Res64: 658AB7C2736CBBAD Time : 1274.0 sec. user=vaughan [2011-05-15 09:58:45] 937*2^938897-1 is not prime. Res64: 371B9DAFCBA32717 Time : 1292.0 sec. user=vaughan [2011-05-15 10:04:54] 893*2^938898-1 is not prime. Res64: 63B51ACB7BDAC0BD Time : 1196.0 sec. user=vaughan [2011-05-15 10:08:05] 821*2^938898-1 is not prime. Res64: 83AA81D0C0B28342 Time : 1510.0 sec. user=vaughan [2011-05-15 10:11:58] 945*2^938898-1 is not prime. Res64: 479DD06A19647A52 Time : 1193.0 sec. user=vaughan [2011-05-15 10:11:58] 927*2^938898-1 is not prime. Res64: 80DD87F055162D2A Time : 1514.0 sec. user=vaughan [2011-05-15 10:13:04] 885*2^938898-1 is not prime. Res64: D484380EBAE7FA2A Time : 1712.0 sec. user=vaughan [2011-05-15 10:18:44] 835*2^938899-1 is not prime. Res64: 0AAC13F494363A7B Time : 1463.0 sec. user=vaughan [2011-05-15 10:18:52] 873*2^938899-1 is not prime. Res64: B5ED4D0A7BB2D784 Time : 1269.0 sec. user=vaughan [2011-05-15 10:19:30] 969*2^938899-1 is not prime. Res64: 3D92882D63B2B9B9 Time : 1245.0 sec. user=vaughan [2011-05-15 10:24:31] 975*2^938899-1 is not prime. Res64: F54331ED996A1812 Time : 1177.0 sec. user=vaughan [2011-05-15 10:31:53] 999*2^938901-1 is not prime. Res64: DCE7FFAF2CC615CE Time : 1196.0 sec. user=vaughan [2011-05-15 10:33:16] 805*2^938901-1 is not prime. Res64: 0800C16722486ECC Time : 1511.0 sec. user=vaughan [2011-05-15 10:37:16] 885*2^938901-1 is not prime. Res64: 5B1470E19AD0064D Time : 1519.0 sec. user=vaughan [2011-05-15 10:40:11] 913*2^938903-1 is not prime. Res64: 2913C23DA4429358 Time : 1279.0 sec. user=vaughan [2011-05-15 10:40:19] 963*2^938903-1 is not prime. Res64: 99E78F08ADFFDE04 Time : 1249.0 sec. user=vaughan [2011-05-15 10:41:33] 833*2^938902-1 is not prime. Res64: 54D4E9C89E740D16 Time : 1709.0 sec. user=vaughan [2011-05-15 10:43:09] 995*2^938902-1 is not prime. Res64: 2614B8EF39708517 Time : 1466.0 sec. user=vaughan [2011-05-15 10:44:08] 857*2^938904-1 is not prime. Res64: 86FFDD7C5D9E7C2F Time : 1177.0 sec. user=vaughan [2011-05-15 10:51:50] 903*2^938904-1 is not prime. Res64: 9972839BC2AC9623 Time : 1198.0 sec. user=vaughan [2011-05-15 10:58:27] 959*2^938904-1 is not prime. Res64: 32ABE6025FAE62C4 Time : 1511.0 sec. user=vaughan [2011-05-15 11:01:11] 847*2^938905-1 is not prime. Res64: 81C58110A9EA688C Time : 1252.0 sec. user=vaughan [2011-05-15 11:01:21] 831*2^938905-1 is not prime. Res64: E16DE863DA6C9540 Time : 1270.0 sec. user=vaughan [2011-05-15 11:02:26] 805*2^938905-1 is not prime. Res64: 1AAF6E8D3B370E9E Time : 1511.0 sec. user=vaughan [2011-05-15 11:03:45] 999*2^938905-1 is not prime. Res64: 6032BDFE95C287F5 Time : 1177.0 sec. user=vaughan [2011-05-15 11:07:27] 981*2^938905-1 is not prime. Res64: 185414D60B9F2112 Time : 1458.0 sec. user=vaughan [2011-05-15 11:09:58] 919*2^938905-1 is not prime. Res64: 9CABF26DEF6904FB Time : 1705.0 sec. user=vaughan [2011-05-15 11:11:43] 867*2^938906-1 is not prime. Res64: EFC8673B060C7AEC Time : 1194.0 sec. user=vaughan [2011-05-15 11:21:46] 887*2^938906-1 is not prime. Res64: 157F0C530EF966D8 Time : 1235.0 sec. user=ototero [2011-05-15 11:22:00] 843*2^938879-1 is not prime. Res64: 52D9BD8864A4CC92 Time : 15989.0 sec. user=ototero [2011-05-15 11:22:01] 803*2^938880-1 is not prime. Res64: 26A70F0D7DB6ADCA Time : 15989.0 sec. user=ototero [2011-05-15 11:22:01] 857*2^938880-1 is not prime. Res64: 3232D9991B83D3FF Time : 15988.0 sec. user=ototero [2011-05-15 11:22:01] 923*2^938880-1 is not prime. Res64: 2CA9F3B645EA678E Time : 15986.0 sec. user=ototero [2011-05-15 11:22:01] 811*2^938881-1 is not prime. Res64: CC95C0A619D68924 Time : 15985.0 sec. user=ototero [2011-05-15 11:22:01] 849*2^938881-1 is not prime. Res64: 8DE813AC641FE1C6 Time : 15983.0 sec. user=ototero [2011-05-15 11:22:01] 889*2^938881-1 is not prime. Res64: 65B888D6470ECF71 Time : 15982.0 sec. user=ototero [2011-05-15 11:22:02] 951*2^938881-1 is not prime. Res64: 5329F3DE2D9818D9 Time : 15981.0 sec. user=ototero [2011-05-15 11:22:02] 997*2^938881-1 is not prime. Res64: BE4DDC4A895B1AF5 Time : 15979.0 sec. user=ototero [2011-05-15 11:22:02] 831*2^938882-1 is not prime. Res64: C46D0694D56E4F46 Time : 15977.0 sec. user=vaughan [2011-05-15 11:22:09] 923*2^938906-1 is not prime. Res64: B2C713BFD73F4AFB Time : 1249.0 sec. user=vaughan [2011-05-15 11:23:53] 875*2^938906-1 is not prime. Res64: EC62CF5F937907AC Time : 1526.0 sec. user=vaughan [2011-05-15 11:24:10] 983*2^938906-1 is not prime. Res64: E2F20FCFA10DE01F Time : 1225.0 sec. user=vaughan [2011-05-15 11:27:49] 963*2^938906-1 is not prime. Res64: 0F1BFBE4A2C2A63F Time : 1524.0 sec. user=vaughan [2011-05-15 11:31:27] 871*2^938907-1 is not prime. Res64: 98431E2A5D724451 Time : 1441.0 sec. user=vaughan [2011-05-15 11:31:34] 825*2^938909-1 is not prime. Res64: 5EE1211B0EDF4669 Time : 1192.0 sec. user=vaughan [2011-05-15 11:38:34] 989*2^938908-1 is not prime. Res64: 08676FB6B995F9E0 Time : 1716.0 sec. user=vaughan [2011-05-15 11:42:18] 939*2^938909-1 is not prime. Res64: 77A0A30ADB536727 Time : 1232.0 sec. user=vaughan [2011-05-15 11:42:49] 977*2^938912-1 is not prime. Res64: 39C97532E5FC51CD Time : 1240.0 sec. user=vaughan [2011-05-15 11:44:50] 877*2^938913-1 is not prime. Res64: 95EE3897DF6A3157 Time : 1241.0 sec. user=vaughan [2011-05-15 11:49:20] 835*2^938913-1 is not prime. Res64: A56D164E90057F76 Time : 1527.0 sec. user=vaughan [2011-05-15 11:51:26] 803*2^938914-1 is not prime. Res64: 254D77F7A9AFEEA4 Time : 1192.0 sec. user=vaughan [2011-05-15 11:53:16] 921*2^938913-1 is not prime. Res64: 9F77E04EBC902076 Time : 1527.0 sec. user=vaughan [2011-05-15 11:55:26] 937*2^938913-1 is not prime. Res64: 0877110B463D4433 Time : 1439.0 sec. user=vaughan [2011-05-15 12:02:48] 833*2^938914-1 is not prime. Res64: 99A017B0896073AA Time : 1230.0 sec. user=vaughan [2011-05-15 12:03:30] 951*2^938914-1 is not prime. Res64: E264142ED0A65A43 Time : 1241.0 sec. user=vaughan [2011-05-15 12:05:05] 823*2^938915-1 is not prime. Res64: E26321F4DCA785CB Time : 1216.0 sec. user=vaughan [2011-05-15 12:06:59] 813*2^938914-1 is not prime. Res64: FA88298090A0C054 Time : 1705.0 sec. user=vaughan [2011-05-15 12:11:39] 871*2^938915-1 is not prime. Res64: C1A15C66E6D5DC73 Time : 1213.0 sec. user=vaughan [2011-05-15 12:14:46] 859*2^938915-1 is not prime. Res64: 5CC1B7EB4ACB202F Time : 1526.0 sec. user=vaughan [2011-05-15 12:18:40] 867*2^938916-1 is not prime. Res64: 51B3442017E6A608 Time : 1524.0 sec. user=vaughan [2011-05-15 12:19:19] 903*2^938916-1 is not prime. Res64: 076E479138D08429 Time : 1433.0 sec. user=vaughan [2011-05-15 12:23:51] 905*2^938916-1 is not prime. Res64: CF7B41F81552D160 Time : 1263.0 sec. user=vaughan [2011-05-15 12:24:28] 801*2^938917-1 is not prime. Res64: A60DF60E09174FAC Time : 1259.0 sec. user=vaughan [2011-05-15 12:24:43] 805*2^938917-1 is not prime. Res64: CB8822F68C536C7E Time : 1179.0 sec. user=vaughan [2011-05-15 12:31:33] 825*2^938918-1 is not prime. Res64: A4F8C3E7D9A1D15A Time : 1194.0 sec. user=vaughan [2011-05-15 12:35:34] 861*2^938917-1 is not prime. Res64: 096AAFAB6BA8DF78 Time : 1715.0 sec. user=vaughan [2011-05-15 12:40:10] 893*2^938918-1 is not prime. Res64: A00FF3504B9E1ADE Time : 1524.0 sec. user=vaughan [2011-05-15 12:43:14] 813*2^938920-1 is not prime. Res64: B9661E442926BA93 Time : 1435.0 sec. user=vaughan [2011-05-15 12:44:04] 975*2^938919-1 is not prime. Res64: EF8B0A304CE7C0A1 Time : 1524.0 sec. user=vaughan [2011-05-15 12:44:20] 873*2^938920-1 is not prime. Res64: E662EF8C2083A4AE Time : 1178.0 sec. user=vaughan [2011-05-15 12:44:55] 849*2^938920-1 is not prime. Res64: 21A971879D20A002 Time : 1264.0 sec. user=vaughan [2011-05-15 12:45:24] 855*2^938920-1 is not prime. Res64: E8905BAEBB50E8E8 Time : 1256.0 sec. user=vaughan [2011-05-15 12:51:27] 999*2^938920-1 is not prime. Res64: 9C6566083DAA06F0 Time : 1194.0 sec. user=vaughan [2011-05-15 13:03:57] 887*2^938922-1 is not prime. Res64: E6F53A306A1CC052 Time : 1177.0 sec. user=vaughan [2011-05-15 13:04:02] 871*2^938921-1 is not prime. Res64: F9C240EFE78B2DCB Time : 1709.0 sec. user=vaughan [2011-05-15 13:05:35] 925*2^938921-1 is not prime. Res64: 3CFC7FCF39A7FFE8 Time : 1526.0 sec. user=vaughan [2011-05-15 13:05:58] 921*2^938922-1 is not prime. Res64: 23536B83357781A0 Time : 1263.0 sec. user=vaughan [2011-05-15 13:06:20] 947*2^938922-1 is not prime. Res64: B575271B58C89AC8 Time : 1256.0 sec. user=vaughan [2011-05-15 13:07:08] 945*2^938921-1 is not prime. Res64: A76323F88BFDD623 Time : 1434.0 sec. user=vaughan [2011-05-15 13:09:35] 957*2^938921-1 is not prime. Res64: 44A1A45DE1FEA7D9 Time : 1531.0 sec. user=vaughan [2011-05-15 13:11:21] 827*2^938924-1 is not prime. Res64: 9598EF4F699B4B5E Time : 1194.0 sec. user=vaughan [2011-05-15 13:23:32] 855*2^938924-1 is not prime. Res64: 43FCE6BC07CF7B8C Time : 1176.0 sec. user=vaughan [2011-05-15 13:27:03] 999*2^938925-1 is not prime. Res64: 6C90C261420CEF9B Time : 1265.0 sec. user=vaughan [2011-05-15 13:27:17] 801*2^938926-1 is not prime. Res64: 0886B355A95DE7AA Time : 1257.0 sec. user=vaughan [2011-05-15 13:31:02] 937*2^938925-1 is not prime. Res64: 53F9A5FAEEA8A361 Time : 1528.0 sec. user=vaughan [2011-05-15 13:31:08] 815*2^938926-1 is not prime. Res64: 7A9F20AC8098B96D Time : 1440.0 sec. user=vaughan [2011-05-15 13:31:14] 873*2^938926-1 is not prime. Res64: A42B5F87F8D140F1 Time : 1193.0 sec. user=vaughan [2011-05-15 13:32:34] 857*2^938924-1 is not prime. Res64: 83BE65ABF8F17254 Time : 1712.0 sec. user=vaughan [2011-05-15 13:35:05] 825*2^938926-1 is not prime. Res64: 4A5DED7962622FF3 Time : 1531.0 sec. user=vaughan [2011-05-15 13:43:07] 975*2^938926-1 is not prime. Res64: 20C05473BC0B13CA Time : 1176.0 sec. user=vaughan [2011-05-15 13:48:09] 813*2^938927-1 is not prime. Res64: 95C4BF3E9AC0134A Time : 1266.0 sec. user=vaughan [2011-05-15 13:48:12] 819*2^938927-1 is not prime. Res64: 5966C9EFEE87E8AC Time : 1256.0 sec. user=vaughan [2011-05-15 13:51:08] 927*2^938928-1 is not prime. Res64: 78BB3B65008934D0 Time : 1194.0 sec. user=vaughan [2011-05-15 13:55:01] 849*2^938928-1 is not prime. Res64: B0278A18234A2F32 Time : 1433.0 sec. user=vaughan [2011-05-15 13:56:29] 841*2^938927-1 is not prime. Res64: CBFC593840922430 Time : 1527.0 sec. user=vaughan [2011-05-15 14:00:30] 993*2^938928-1 is not prime. Res64: 36B4999C5518A9FD Time : 1525.0 sec. user=vaughan [2011-05-15 14:00:57] 975*2^938928-1 is not prime. Res64: 669214CD76D965A6 Time : 1704.0 sec. user=vaughan [2011-05-15 14:02:47] 885*2^938929-1 is not prime. Res64: F3EF8663ABB85735 Time : 1180.0 sec. user=vaughan [2011-05-15 14:09:09] 825*2^938930-1 is not prime. Res64: 09F3B95F57350101 Time : 1257.0 sec. user=vaughan [2011-05-15 14:09:13] 955*2^938929-1 is not prime. Res64: 4EEC81C6FA6C9DE1 Time : 1264.0 sec. user=vaughan [2011-05-15 14:11:02] 851*2^938930-1 is not prime. Res64: 4F5F56F0B146528C Time : 1194.0 sec. user=vaughan [2011-05-15 14:19:03] 861*2^938930-1 is not prime. Res64: 13A5719F74C261E7 Time : 1442.0 sec. user=vaughan [2011-05-15 14:21:49] 927*2^938930-1 is not prime. Res64: 089B3B197ED4DEE4 Time : 1520.0 sec. user=vaughan [2011-05-15 14:22:22] 909*2^938931-1 is not prime. Res64: 60FD0E4CE1E29A84 Time : 1176.0 sec. user=vaughan [2011-05-15 14:26:02] 977*2^938930-1 is not prime. Res64: F2A36691DA7F3142 Time : 1533.0 sec. user=vaughan [2011-05-15 14:29:35] 1001*2^938930-1 is not prime. Res64: 47EAC6237CEEF9DE Time : 1719.0 sec. user=vaughan [2011-05-15 14:30:08] 949*2^938931-1 is not prime. Res64: F3BA0A0D86970A2E Time : 1259.0 sec. user=vaughan [2011-05-15 14:30:18] 855*2^938932-1 is not prime. Res64: 3B85D5EF64DEBE8B Time : 1265.0 sec. user=vaughan [2011-05-15 14:30:56] 947*2^938932-1 is not prime. Res64: 192395B6CAE7A4CF Time : 1194.0 sec. user=vaughan [2011-05-15 14:42:00] 807*2^938934-1 is not prime. Res64: E3600A9121F80EBE Time : 1178.0 sec. user=vaughan [2011-05-15 14:43:04] 957*2^938932-1 is not prime. Res64: C73A82A60C7116FE Time : 1441.0 sec. user=vaughan [2011-05-15 14:47:17] 811*2^938933-1 is not prime. Res64: 1D4E08A39E0B50F7 Time : 1529.0 sec. user=vaughan [2011-05-15 14:50:50] 861*2^938935-1 is not prime. Res64: 8A92D6AA7FCC4530 Time : 1194.0 sec. user=vaughan [2011-05-15 14:51:05] 971*2^938934-1 is not prime. Res64: 265E656526F051BB Time : 1258.0 sec. user=vaughan [2011-05-15 14:51:07] 855*2^938935-1 is not prime. Res64: F4579D73D70A863A Time : 1250.0 sec. user=vaughan [2011-05-15 14:51:32] 851*2^938934-1 is not prime. Res64: 456C7FFE6F107822 Time : 1530.0 sec. user=vaughan [2011-05-15 14:58:07] 903*2^938934-1 is not prime. Res64: AA0EF22FCD3F2B7B Time : 1712.0 sec. user=vaughan [2011-05-15 15:02:31] 889*2^938935-1 is not prime. Res64: 5A4DA9F35C3C9656 Time : 1232.0 sec. user=vaughan [2011-05-15 15:06:54] 869*2^938936-1 is not prime. Res64: EEA8AA77DAB79F67 Time : 1431.0 sec. user=vaughan [2011-05-15 15:10:43] 957*2^938936-1 is not prime. Res64: 7523A3400DCE3A31 Time : 1193.0 sec. user=vaughan [2011-05-15 15:11:40] 999*2^938936-1 is not prime. Res64: 4CD71F634AF14229 Time : 1234.0 sec. user=vaughan [2011-05-15 15:11:48] 963*2^938936-1 is not prime. Res64: 47EDF17EB87BDCE5 Time : 1244.0 sec. user=vaughan [2011-05-15 15:12:42] 923*2^938936-1 is not prime. Res64: 5BE755DC576FF18E Time : 1525.0 sec. user=vaughan [2011-05-15 15:17:00] 919*2^938937-1 is not prime. Res64: A3167ED42F49EC5C Time : 1528.0 sec. user=vaughan [2011-05-15 15:23:14] 815*2^938938-1 is not prime. Res64: F67C015036A89731 Time : 1243.0 sec. user=vaughan [2011-05-15 15:26:42] 997*2^938937-1 is not prime. Res64: 51E96FFCE4C2526A Time : 1715.0 sec. user=vaughan [2011-05-15 15:30:36] 855*2^938938-1 is not prime. Res64: A1669185AA5094C7 Time : 1194.0 sec. user=vaughan [2011-05-15 15:30:56] 825*2^938938-1 is not prime. Res64: 40A0708E07AD9898 Time : 1442.0 sec. user=vaughan [2011-05-15 15:32:10] 915*2^938938-1 is not prime. Res64: 7438996CD83026C5 Time : 1231.0 sec. user=vaughan [2011-05-15 15:32:30] 843*2^938939-1 is not prime. Res64: 70F1DC65FE227847 Time : 1242.0 sec. user=vaughan [2011-05-15 15:38:03] 825*2^938940-1 is not prime. Res64: 26AF99B84BF6C328 Time : 1522.0 sec. user=vaughan [2011-05-15 15:42:26] 933*2^938940-1 is not prime. Res64: ECFD829597FE80E9 Time : 1526.0 sec. user=vaughan [2011-05-15 15:43:28] 983*2^938940-1 is not prime. Res64: 6500CA074A8FCFE5 Time : 1214.0 sec. user=ototero [2011-05-15 15:45:09] 863*2^938910-1 is not prime. Res64: 6C68F8F17EC4D75D Time : 15787.0 sec. user=ototero [2011-05-15 15:45:09] 963*2^938910-1 is not prime. Res64: DF92660DBFCA9149 Time : 15787.0 sec. user=ototero [2011-05-15 15:45:09] 965*2^938910-1 is not prime. Res64: 4069294A477C2FEB Time : 15786.0 sec. user=ototero [2011-05-15 15:45:09] 829*2^938911-1 is not prime. Res64: 38B5F3A936CA6128 Time : 15786.0 sec. user=ototero [2011-05-15 15:45:09] 901*2^938911-1 is not prime. Res64: 01115308D304FA0B Time : 15786.0 sec. user=ototero [2011-05-15 15:45:09] 999*2^938911-1 is not prime. Res64: 792B761504650B18 Time : 15785.0 sec. user=ototero [2011-05-15 15:45:10] 815*2^938912-1 is not prime. Res64: 8F96264DA61C4788 Time : 15786.0 sec. user=ototero [2011-05-15 15:45:10] 855*2^938912-1 is not prime. Res64: 0CEB9CED2E7A380F Time : 15786.0 sec. user=ototero [2011-05-15 15:45:10] 873*2^938912-1 is not prime. Res64: F56D21AC5CAE71C2 Time : 15785.0 sec. user=ototero [2011-05-15 15:45:10] 945*2^938912-1 is not prime. Res64: 314CA653FBD742AB Time : 15785.0 sec. user=vaughan [2011-05-15 15:50:33] 825*2^938941-1 is not prime. Res64: 39CAB179E3D69CDB Time : 1198.0 sec. user=vaughan [2011-05-15 15:52:56] 945*2^938941-1 is not prime. Res64: ECBF434F09D643E7 Time : 1247.0 sec. user=vaughan [2011-05-15 15:53:43] 831*2^938942-1 is not prime. Res64: 12181B2CFBC80511 Time : 1273.0 sec. user=vaughan [2011-05-15 15:55:01] 871*2^938941-1 is not prime. Res64: A908D5A89A049A0E Time : 1446.0 sec. user=vaughan [2011-05-15 15:55:25] 811*2^938941-1 is not prime. Res64: 76781C7B6533B974 Time : 1724.0 sec. user=vaughan [2011-05-15 16:03:06] 941*2^938942-1 is not prime. Res64: 971411E959BCABE1 Time : 1178.0 sec. user=vaughan [2011-05-15 16:03:22] 843*2^938942-1 is not prime. Res64: B4C69D5BD655E87C Time : 1519.0 sec. user=vaughan [2011-05-15 16:07:52] 903*2^938942-1 is not prime. Res64: 3B4AF819FF094B22 Time : 1526.0 sec. user=vaughan [2011-05-15 16:10:29] 961*2^938947-1 is not prime. Res64: FD957EFA2337EF01 Time : 1197.0 sec. user=vaughan [2011-05-15 16:13:44] 839*2^938948-1 is not prime. Res64: 151F4195FEEF0AA0 Time : 1248.0 sec. user=vaughan [2011-05-15 16:14:59] 959*2^938948-1 is not prime. Res64: 0D144DC342079CEB Time : 1277.0 sec. user=vaughan [2011-05-15 16:19:01] 977*2^938948-1 is not prime. Res64: 64A8409FA0488867 Time : 1441.0 sec. user=vaughan [2011-05-15 16:22:43] 825*2^938950-1 is not prime. Res64: 9DE135F06FB410D0 Time : 1178.0 sec. user=vaughan [2011-05-15 16:24:24] 867*2^938949-1 is not prime. Res64: E39B8D0D947BBFF4 Time : 1739.0 sec. user=vaughan [2011-05-15 16:28:44] 857*2^938950-1 is not prime. Res64: 4AC864D4DEDF06EB Time : 1523.0 sec. user=vaughan [2011-05-15 16:30:24] 933*2^938950-1 is not prime. Res64: 13649F6445A6AF56 Time : 1196.0 sec. user=vaughan [2011-05-15 16:33:14] 861*2^938950-1 is not prime. Res64: B3F191C49220F1F9 Time : 1522.0 sec. user=vaughan [2011-05-15 16:34:29] 951*2^938950-1 is not prime. Res64: C899BD4C7E4A6BA6 Time : 1245.0 sec. user=vaughan [2011-05-15 16:36:04] 913*2^938951-1 is not prime. Res64: D7CEBC8D2AB43775 Time : 1265.0 sec. user=vaughan [2011-05-15 16:43:02] 939*2^938951-1 is not prime. Res64: 21DE33C00C32CA61 Time : 1441.0 sec. user=vaughan [2011-05-15 16:43:08] 817*2^938953-1 is not prime. Res64: 67378E4951614AA6 Time : 1225.0 sec. user=vaughan [2011-05-15 16:50:18] 895*2^938953-1 is not prime. Res64: 43AA3833E413A3C9 Time : 1194.0 sec. user=vaughan [2011-05-15 16:53:17] 831*2^938953-1 is not prime. Res64: 0894F58E6D73851B Time : 1734.0 sec. user=vaughan [2011-05-15 16:53:58] 835*2^938953-1 is not prime. Res64: F25A5AF82F93E9FB Time : 1515.0 sec. user=vaughan [2011-05-15 16:55:02] 957*2^938953-1 is not prime. Res64: B3A64083666A3CB4 Time : 1234.0 sec. user=vaughan [2011-05-15 16:56:47] 825*2^938954-1 is not prime. Res64: 5E050F48B04BA3D6 Time : 1243.0 sec. user=vaughan [2011-05-15 16:58:32] 951*2^938953-1 is not prime. Res64: EE7A907654FBB12A Time : 1519.0 sec. user=vaughan [2011-05-15 17:03:53] 887*2^938954-1 is not prime. Res64: 1CE91E389356793E Time : 1246.0 sec. user=vaughan [2011-05-15 17:07:02] 833*2^938954-1 is not prime. Res64: 2F6A213D4A092D2E Time : 1440.0 sec. user=vaughan [2011-05-15 17:10:11] 981*2^938954-1 is not prime. Res64: 4417A4FBFD0CA732 Time : 1193.0 sec. user=vaughan [2011-05-15 17:15:35] 909*2^938955-1 is not prime. Res64: FB97AEF2C747E494 Time : 1233.0 sec. user=vaughan [2011-05-15 17:17:31] 961*2^938955-1 is not prime. Res64: C0E9977CF47C790C Time : 1244.0 sec. user=vaughan [2011-05-15 17:19:20] 871*2^938955-1 is not prime. Res64: 63A5C55E3DB16EB5 Time : 1523.0 sec. user=vaughan [2011-05-15 17:22:02] 995*2^938954-1 is not prime. Res64: 748ED2B693DF3417 Time : 1726.0 sec. user=vaughan [2011-05-15 17:23:58] 999*2^938955-1 is not prime. Res64: C84FCB33A7C8595A Time : 1526.0 sec. user=vaughan [2011-05-15 17:24:37] 843*2^938956-1 is not prime. Res64: C2BA4FCFA284ED8E Time : 1245.0 sec. user=vaughan [2011-05-15 17:30:06] 923*2^938956-1 is not prime. Res64: 92C0B17677CFFC99 Time : 1196.0 sec. user=vaughan [2011-05-15 17:31:01] 857*2^938956-1 is not prime. Res64: 22ED6250B1D9E0B9 Time : 1439.0 sec. user=vaughan [2011-05-15 17:36:08] 983*2^938956-1 is not prime. Res64: B6E59462353C6C53 Time : 1234.0 sec. user=vaughan [2011-05-15 17:38:15] 993*2^938956-1 is not prime. Res64: 567BEECCB7D175BD Time : 1244.0 sec. user=vaughan [2011-05-15 17:44:37] 829*2^938957-1 is not prime. Res64: 39715358642A91D3 Time : 1517.0 sec. user=vaughan [2011-05-15 17:45:11] 843*2^938958-1 is not prime. Res64: A491965C1654C26B Time : 1234.0 sec. user=vaughan [2011-05-15 17:49:20] 821*2^938958-1 is not prime. Res64: 84E441F56356A4A0 Time : 1523.0 sec. user=vaughan [2011-05-15 17:50:29] 971*2^938958-1 is not prime. Res64: 3AF2C52B00277EA3 Time : 1223.0 sec. user=vaughan [2011-05-15 17:50:46] 931*2^938957-1 is not prime. Res64: 1B195F2DDCBF9C23 Time : 1724.0 sec. user=vaughan [2011-05-15 17:55:04] 977*2^938958-1 is not prime. Res64: D1E2EF6E47471E22 Time : 1443.0 sec. user=vaughan [2011-05-15 17:56:50] 885*2^938959-1 is not prime. Res64: DA99675774F3D813 Time : 1242.0 sec. user=vaughan [2011-05-15 17:59:10] 925*2^938959-1 is not prime. Res64: B1A471818DE31659 Time : 1255.0 sec. user=vaughan [2011-05-15 18:05:58] 813*2^938960-1 is not prime. Res64: 57EB59ECEAD91D2F Time : 1247.0 sec. user=vaughan [2011-05-15 18:10:05] 951*2^938959-1 is not prime. Res64: AFAF24F69EF077A9 Time : 1528.0 sec. user=vaughan [2011-05-15 18:10:24] 811*2^938961-1 is not prime. Res64: B80E6A06D8C778D8 Time : 1195.0 sec. user=vaughan [2011-05-15 18:14:44] 825*2^938960-1 is not prime. Res64: 3EAFA358A7CF540F Time : 1525.0 sec. user=vaughan [2011-05-15 18:17:23] 945*2^938961-1 is not prime. Res64: 1B315B78BB10B4B3 Time : 1233.0 sec. user=vaughan [2011-05-15 18:18:47] 895*2^938961-1 is not prime. Res64: CC4CD42669246917 Time : 1423.0 sec. user=vaughan [2011-05-15 18:19:20] 885*2^938961-1 is not prime. Res64: CDD064CE99E252A4 Time : 1714.0 sec. user=vaughan [2011-05-15 18:19:54] 951*2^938961-1 is not prime. Res64: 16FD88221995C304 Time : 1245.0 sec. user=vaughan [2011-05-15 18:26:42] 979*2^938961-1 is not prime. Res64: 15D403D1EEE2867E Time : 1245.0 sec. user=vaughan [2011-05-15 18:30:18] 811*2^938963-1 is not prime. Res64: BA9A8F40C8AA52BE Time : 1194.0 sec. user=vaughan [2011-05-15 18:34:48] 951*2^938962-1 is not prime. Res64: EA0C0FA7F81B0FD5 Time : 1484.0 sec. user=vaughan [2011-05-15 18:37:56] 939*2^938963-1 is not prime. Res64: 3D963DAEC2B15AF9 Time : 1233.0 sec. user=vaughan [2011-05-15 18:39:27] 859*2^938963-1 is not prime. Res64: 1AF155003EEB628D Time : 1484.0 sec. user=vaughan [2011-05-15 18:40:39] 857*2^938964-1 is not prime. Res64: 8D55F9549D62B08E Time : 1246.0 sec. user=vaughan [2011-05-15 18:41:55] 991*2^938963-1 is not prime. Res64: 12AFB76D54A19507 Time : 1388.0 sec. user=vaughan [2011-05-15 18:47:00] 809*2^938964-1 is not prime. Res64: EF8DEF3036CBDEFF Time : 1661.0 sec. user=vaughan [2011-05-15 18:47:27] 909*2^938964-1 is not prime. Res64: 84AA1BE485819850 Time : 1245.0 sec. user=vaughan [2011-05-15 18:50:13] 969*2^938964-1 is not prime. Res64: A2DB39F68A1E0B47 Time : 1195.0 sec. user=vaughan [2011-05-15 18:58:30] 885*2^938965-1 is not prime. Res64: 8272853A63CA1FBC Time : 1234.0 sec. user=vaughan [2011-05-15 18:59:22] 831*2^938965-1 is not prime. Res64: BDBF2D735F24F4D6 Time : 1475.0 sec. user=vaughan [2011-05-15 19:01:32] 919*2^938965-1 is not prime. Res64: 2221E9F3ED381EBA Time : 1254.0 sec. user=vaughan [2011-05-15 19:04:02] 895*2^938965-1 is not prime. Res64: 36B8A712240196F0 Time : 1476.0 sec. user=vaughan [2011-05-15 19:04:59] 957*2^938965-1 is not prime. Res64: 48C5B8E11BF9D202 Time : 1385.0 sec. user=vaughan [2011-05-15 19:07:50] 953*2^938966-1 is not prime. Res64: 0150CAF8D6980C98 Time : 1223.0 sec. user=vaughan [2011-05-15 19:10:08] 891*2^938967-1 is not prime. Res64: E3BEFF62715C9E34 Time : 1196.0 sec. user=vaughan [2011-05-15 19:14:22] 979*2^938965-1 is not prime. Res64: 79A0CE4446567DCF Time : 1642.0 sec. user=vaughan [2011-05-15 19:18:43] 963*2^938967-1 is not prime. Res64: 5BF3B03376517850 Time : 1213.0 sec. user=vaughan [2011-05-15 19:21:45] 839*2^938968-1 is not prime. Res64: 94A82CD38A3C6422 Time : 1213.0 sec. user=vaughan [2011-05-15 19:23:48] 803*2^938968-1 is not prime. Res64: 937B572EE8705C5F Time : 1466.0 sec. user=vaughan [2011-05-15 19:27:05] 885*2^938969-1 is not prime. Res64: 43E872326816E751 Time : 1155.0 sec. user=vaughan [2011-05-15 19:28:02] 837*2^938969-1 is not prime. Res64: 0086003D5C70ACCE Time : 1384.0 sec. user=vaughan [2011-05-15 19:28:29] 975*2^938968-1 is not prime. Res64: 7C4EE93DB3A48F4E Time : 1467.0 sec. user=vaughan [2011-05-15 19:29:40] 845*2^938970-1 is not prime. Res64: 979C35025C7642AD Time : 1172.0 sec. user=vaughan [2011-05-15 19:38:41] 927*2^938970-1 is not prime. Res64: 1F24721513500993 Time : 1198.0 sec. user=vaughan [2011-05-15 19:41:48] 893*2^938970-1 is not prime. Res64: D5863DA8A4B61B0F Time : 1647.0 sec. user=vaughan [2011-05-15 19:41:59] 835*2^938971-1 is not prime. Res64: 09667ACC320BEF4E Time : 1214.0 sec. user=vaughan [2011-05-15 19:46:21] 859*2^938971-1 is not prime. Res64: 84D63547891D69D8 Time : 1156.0 sec. user=vaughan [2011-05-15 19:48:36] 855*2^938971-1 is not prime. Res64: 550AB024CCC87920 Time : 1488.0 sec. user=vaughan [2011-05-15 19:49:13] 857*2^938972-1 is not prime. Res64: B2C22A8C29D71372 Time : 1173.0 sec. user=vaughan [2011-05-15 19:51:40] 901*2^938971-1 is not prime. Res64: 2E98636315DAEC3B Time : 1418.0 sec. user=vaughan [2011-05-15 19:53:35] 961*2^938971-1 is not prime. Res64: 603C2098027B7613 Time : 1506.0 sec. user=vaughan [2011-05-15 19:58:40] 817*2^938973-1 is not prime. Res64: 9D1C14530AC05955 Time : 1199.0 sec. user=ototero [2011-05-15 20:00:06] 871*2^938943-1 is not prime. Res64: D86BCA12FD5AE5D5 Time : 15296.0 sec. user=ototero [2011-05-15 20:00:06] 855*2^938944-1 is not prime. Res64: 3B359234A05A0A67 Time : 15295.0 sec. user=ototero [2011-05-15 20:00:07] 903*2^938944-1 is not prime. Res64: BA2DA54C1CEB3825 Time : 15296.0 sec. user=ototero [2011-05-15 20:00:07] 801*2^938945-1 is not prime. Res64: 748A9633A6E3FF9A Time : 15296.0 sec. user=ototero [2011-05-15 20:00:07] 925*2^938945-1 is not prime. Res64: EB6AA6443F2AC6DB Time : 15295.0 sec. user=ototero [2011-05-15 20:00:07] 917*2^938946-1 is not prime. Res64: 7E8FBD9B99CCDB2F Time : 15295.0 sec. user=ototero [2011-05-15 20:00:07] 923*2^938946-1 is not prime. Res64: BB797325D16A0CBF Time : 15295.0 sec. user=ototero [2011-05-15 20:00:07] 813*2^938947-1 is not prime. Res64: 8419660BDDDCAA65 Time : 15294.0 sec. user=ototero [2011-05-15 20:00:08] 871*2^938947-1 is not prime. Res64: A692AD4816BE7499 Time : 15295.0 sec. user=ototero [2011-05-15 20:00:08] 885*2^938947-1 is not prime. Res64: CD6762158250E11A Time : 15295.0 sec. user=vaughan [2011-05-15 20:02:12] 955*2^938973-1 is not prime. Res64: 92A876948F9B3CF1 Time : 1213.0 sec. user=vaughan [2011-05-15 20:05:36] 999*2^938973-1 is not prime. Res64: 8A1D3C35935A8262 Time : 1155.0 sec. user=vaughan [2011-05-15 20:08:46] 887*2^938974-1 is not prime. Res64: FA2484797FD7DB8F Time : 1173.0 sec. user=vaughan [2011-05-15 20:10:22] 891*2^938973-1 is not prime. Res64: 7A32C071C680232A Time : 1714.0 sec. user=vaughan [2011-05-15 20:14:02] 827*2^938974-1 is not prime. Res64: 8EFD1F63DD9EB8AA Time : 1527.0 sec. user=vaughan [2011-05-15 20:15:38] 897*2^938974-1 is not prime. Res64: C7D5AE7A3D293DC4 Time : 1438.0 sec. user=vaughan [2011-05-15 20:18:36] 971*2^938974-1 is not prime. Res64: 69DF64C1A4F8A3A5 Time : 1196.0 sec. user=vaughan [2011-05-15 20:18:56] 941*2^938974-1 is not prime. Res64: 9CD7B0FECD37E1EB Time : 1521.0 sec. user=vaughan [2011-05-15 20:22:24] 817*2^938977-1 is not prime. Res64: A47B5DA2D6DBA77D Time : 1213.0 sec. user=vaughan [2011-05-15 20:24:51] 935*2^938978-1 is not prime. Res64: DE302B9BFB9D842B Time : 1155.0 sec. user=vaughan [2011-05-15 20:28:18] 913*2^938979-1 is not prime. Res64: 6CD073EFF724BEFF Time : 1172.0 sec. user=vaughan [2011-05-15 20:38:34] 927*2^938980-1 is not prime. Res64: 4EB1C336F47E4934 Time : 1198.0 sec. user=vaughan [2011-05-15 20:38:53] 961*2^938979-1 is not prime. Res64: 4F1494BAFA644B9B Time : 1712.0 sec. user=vaughan [2011-05-15 20:39:18] 857*2^938980-1 is not prime. Res64: 7652A8B1A54480A0 Time : 1516.0 sec. user=vaughan [2011-05-15 20:39:31] 863*2^938980-1 is not prime. Res64: 97C708C82CE5DFD0 Time : 1434.0 sec. user=vaughan [2011-05-15 20:42:35] 997*2^938981-1 is not prime. Res64: 6F9B31294F1DF64E Time : 1211.0 sec. user=vaughan [2011-05-15 20:44:07] 923*2^938982-1 is not prime. Res64: A1FA36C47D2683E0 Time : 1156.0 sec. user=vaughan [2011-05-15 20:44:21] 867*2^938981-1 is not prime. Res64: 5AAF420DE235F6D5 Time : 1525.0 sec. user=vaughan [2011-05-15 20:47:52] 947*2^938982-1 is not prime. Res64: 33F9DDC10D41A073 Time : 1174.0 sec. user=vaughan [2011-05-15 20:58:33] 813*2^938983-1 is not prime. Res64: 2DD25F2991B6FD87 Time : 1199.0 sec. user=vaughan [2011-05-15 21:02:49] 825*2^938984-1 is not prime. Res64: D3EECEAC9BEBD8CD Time : 1214.0 sec. user=vaughan [2011-05-15 21:03:21] 945*2^938984-1 is not prime. Res64: 0E2F682160C95C49 Time : 1154.0 sec. user=vaughan [2011-05-15 21:03:26] 951*2^938983-1 is not prime. Res64: 6B2F5B60376BBA78 Time : 1436.0 sec. user=vaughan [2011-05-15 21:04:42] 891*2^938983-1 is not prime. Res64: 95B5A5E59E57B7D6 Time : 1524.0 sec. user=vaughan [2011-05-15 21:07:26] 885*2^938985-1 is not prime. Res64: 15900CA50B1ABF23 Time : 1174.0 sec. user=vaughan [2011-05-15 21:07:27] 873*2^938983-1 is not prime. Res64: CDBE852ECF4A605C Time : 1714.0 sec. user=vaughan [2011-05-15 21:09:44] 819*2^938985-1 is not prime. Res64: 3CDC87ECBF96CE53 Time : 1524.0 sec. user=vaughan [2011-05-15 21:18:29] 889*2^938985-1 is not prime. Res64: FE3F4560D4766D6A Time : 1196.0 sec. user=vaughan [2011-05-15 21:22:36] 951*2^938985-1 is not prime. Res64: 1620AD5B55884E2C Time : 1155.0 sec. user=vaughan [2011-05-15 21:23:02] 921*2^938985-1 is not prime. Res64: A37E47EACCA7E91C Time : 1213.0 sec. user=vaughan [2011-05-15 21:27:00] 813*2^938987-1 is not prime. Res64: 83429A971E9351B7 Time : 1174.0 sec. user=vaughan [2011-05-15 21:27:24] 997*2^938985-1 is not prime. Res64: 5A98A02DA92F8734 Time : 1438.0 sec. user=vaughan [2011-05-15 21:30:12] 917*2^938986-1 is not prime. Res64: 083C1DF1E8F66F73 Time : 1531.0 sec. user=vaughan [2011-05-15 21:35:14] 839*2^938988-1 is not prime. Res64: A757F52FDA575A36 Time : 1530.0 sec. user=vaughan [2011-05-15 21:35:55] 809*2^938988-1 is not prime. Res64: 976187437AF9633C Time : 1708.0 sec. user=vaughan [2011-05-15 21:38:30] 899*2^938988-1 is not prime. Res64: DBEB689E9B8F9082 Time : 1201.0 sec. user=vaughan [2011-05-15 21:41:52] 905*2^938988-1 is not prime. Res64: 0AF415ACD7B14F14 Time : 1156.0 sec. user=vaughan [2011-05-15 21:43:17] 909*2^938988-1 is not prime. Res64: 9626AA8BD6599A81 Time : 1215.0 sec. user=vaughan [2011-05-15 21:46:34] 957*2^938988-1 is not prime. Res64: FC6A97D1963EB73E Time : 1174.0 sec. user=vaughan [2011-05-15 21:51:26] 831*2^938989-1 is not prime. Res64: 749870E7B5E1EC44 Time : 1443.0 sec. user=vaughan [2011-05-15 21:55:38] 951*2^938989-1 is not prime. Res64: 5C1D2CC3C51557FD Time : 1526.0 sec. user=vaughan [2011-05-15 21:58:30] 945*2^938990-1 is not prime. Res64: 9184F1AE4A82C96D Time : 1201.0 sec. user=vaughan [2011-05-15 22:00:38] 957*2^938989-1 is not prime. Res64: B82C1D96E5EE8182 Time : 1525.0 sec. user=vaughan [2011-05-15 22:01:07] 957*2^938990-1 is not prime. Res64: 85B6FB851CC2450F Time : 1155.0 sec. user=vaughan [2011-05-15 22:03:33] 951*2^938991-1 is not prime. Res64: 37AAE7D3343DCDBA Time : 1216.0 sec. user=vaughan [2011-05-15 22:04:28] 875*2^938990-1 is not prime. Res64: 6265B6978E6C6BCB Time : 1713.0 sec. user=vaughan [2011-05-15 22:06:10] 873*2^938992-1 is not prime. Res64: 704A146C57251450 Time : 1176.0 sec. user=vaughan [2011-05-15 22:15:19] 903*2^938992-1 is not prime. Res64: 493548EDC3E7844B Time : 1434.0 sec. user=vaughan [2011-05-15 22:18:29] 847*2^938993-1 is not prime. Res64: EE377AEE60601357 Time : 1200.0 sec. user=vaughan [2011-05-15 22:20:26] 871*2^938993-1 is not prime. Res64: 19216F009EDE1A7F Time : 1159.0 sec. user=vaughan [2011-05-15 22:21:05] 995*2^938992-1 is not prime. Res64: 75D68CCF64DAE991 Time : 1527.0 sec. user=vaughan [2011-05-15 22:23:46] 851*2^938994-1 is not prime. Res64: 7BAF521FE3D6B8DD Time : 1214.0 sec. user=vaughan [2011-05-15 22:25:43] 873*2^938995-1 is not prime. Res64: 109A04524573FE8A Time : 1173.0 sec. user=vaughan [2011-05-15 22:26:00] 867*2^938993-1 is not prime. Res64: 2F56BE4E9A0D68D1 Time : 1522.0 sec. user=vaughan [2011-05-15 22:32:55] 993*2^938994-1 is not prime. Res64: 6F5B3DC5DD7B7558 Time : 1707.0 sec. user=vaughan [2011-05-15 22:38:29] 915*2^938995-1 is not prime. Res64: 091F80E81BA0E6CA Time : 1200.0 sec. user=vaughan [2011-05-15 22:39:19] 885*2^938995-1 is not prime. Res64: 3DE1EA55502BBD4B Time : 1440.0 sec. user=vaughan [2011-05-15 22:39:40] 919*2^938995-1 is not prime. Res64: F1F8D83F66DADF92 Time : 1156.0 sec. user=vaughan [2011-05-15 22:44:00] 951*2^938995-1 is not prime. Res64: 22FF4318C1C8818A Time : 1214.0 sec. user=vaughan [2011-05-15 22:45:17] 837*2^938996-1 is not prime. Res64: 441A76FB5346FC20 Time : 1174.0 sec. user=vaughan [2011-05-15 22:58:33] 849*2^938997-1 is not prime. Res64: 34228EF26609F1D3 Time : 1204.0 sec. user=vaughan [2011-05-15 22:58:56] 889*2^938997-1 is not prime. Res64: DF29DC93F49928FF Time : 1156.0 sec. user=vaughan [2011-05-15 23:04:14] 971*2^938998-1 is not prime. Res64: 54D7922800425F74 Time : 1214.0 sec. user=vaughan [2011-05-15 23:04:51] 811*2^938999-1 is not prime. Res64: A7F03AE5BD5FEFE0 Time : 1174.0 sec. user=vaughan [2011-05-15 23:18:12] 865*2^938999-1 is not prime. Res64: D1AF73B17AF183BB Time : 1156.0 sec. user=vaughan [2011-05-15 23:18:40] 825*2^938999-1 is not prime. Res64: B463A44489D53C4D Time : 1208.0 sec. user=vaughan [2011-05-15 23:24:26] 819*2^939000-1 is not prime. Res64: 82EC71258038FF54 Time : 1176.0 sec. user=vaughan [2011-05-15 23:24:27] 973*2^938999-1 is not prime. Res64: C7D54FCBF5DEA37F Time : 1213.0 sec. user=vaughan [2011-05-15 23:37:27] 857*2^939000-1 is not prime. Res64: 637A34966D4F317E Time : 1155.0 sec. user=vaughan [2011-05-15 23:38:46] 863*2^939000-1 is not prime. Res64: 5F556A199B2CBB6B Time : 1206.0 sec. user=vaughan [2011-05-15 23:44:00] 887*2^939000-1 is not prime. Res64: 8283EEE99321E809 Time : 1174.0 sec. user=vaughan [2011-05-15 23:44:40] 983*2^939000-1 is not prime. Res64: FF354FEDA1917144 Time : 1213.0 sec. user=vaughan [2011-05-15 23:56:42] 801*2^939001-1 is not prime. Res64: DC0851B1D7F9BFF2 Time : 1156.0 sec. user=vaughan [2011-05-15 23:58:50] 829*2^939001-1 is not prime. Res64: E4BD90C85B4C6079 Time : 1205.0 sec.