user=vaughan [2011-11-11 00:01:36] 567*2^1047317-1 is not prime. Res64: 1A41C68F0557E62B Time : 1924.0 sec. user=vaughan [2011-11-11 00:02:19] 553*2^1047315-1 is not prime. Res64: 446DE11617308F4E Time : 3097.0 sec. user=vaughan [2011-11-11 00:03:14] 447*2^1047316-1 is not prime. Res64: E3B4F31F3C8F6C69 Time : 2617.0 sec. user=vaughan [2011-11-11 00:03:41] 561*2^1047319-1 is not prime. Res64: 4F85C83462605529 Time : 1287.0 sec. user=vaughan [2011-11-11 00:04:34] 549*2^1047319-1 is not prime. Res64: D1CF3509BE5CEB73 Time : 1390.0 sec. user=kar_bon [2011-11-11 00:05:53] 495*2^1047320-1 is not prime. Res64: 273D1E6C01F7F614 Time : 1264.0 sec. user=vaughan [2011-11-11 00:12:24] 423*2^1047318-1 is not prime. Res64: F2AB4F9BC2FA328C Time : 2249.0 sec. user=vaughan [2011-11-11 00:25:05] 423*2^1047322-1 is not prime. Res64: 77DEC3A8A934FE77 Time : 1284.0 sec. user=vaughan [2011-11-11 00:25:35] 593*2^1047320-1 is not prime. Res64: C742E36772A6B647 Time : 1937.0 sec. user=vaughan [2011-11-11 00:27:43] 459*2^1047321-1 is not prime. Res64: F2EAA860E3A7E4A9 Time : 2037.0 sec. user=vaughan [2011-11-11 00:27:51] 483*2^1047322-1 is not prime. Res64: F49CFAE7C49C5692 Time : 1397.0 sec. user=kar_bon [2011-11-11 00:30:10] 529*2^1047323-1 is not prime. Res64: C3A055B129C9DA46 Time : 1457.0 sec. user=vaughan [2011-11-11 00:32:48] 475*2^1047321-1 is not prime. Res64: 7C28F1C1CE3CA71A Time : 2154.0 sec. user=vaughan [2011-11-11 00:33:11] 499*2^1047321-1 is not prime. Res64: 2C7427C46C6BC661 Time : 1895.0 sec. user=vaughan [2011-11-11 00:33:59] 405*2^1047320-1 is not prime. Res64: 457F925FC17A3B93 Time : 3082.0 sec. user=vaughan [2011-11-11 00:36:26] 495*2^1047321-1 is not prime. Res64: 5B2D97F6FE1983BB Time : 2230.0 sec. user=vaughan [2011-11-11 00:46:30] 437*2^1047324-1 is not prime. Res64: 5511EA7014EC421F Time : 1286.0 sec. user=vaughan [2011-11-11 00:47:22] 579*2^1047321-1 is not prime. Res64: FE39C0551201ADEC Time : 2648.0 sec. user=vaughan [2011-11-11 00:49:37] 595*2^1047323-1 is not prime. Res64: 23CC881E2F4D277E Time : 2233.0 sec. user=vaughan [2011-11-11 00:51:04] 503*2^1047324-1 is not prime. Res64: 6F4638E0A0670CEB Time : 1393.0 sec. user=kar_bon [2011-11-11 00:51:25] 525*2^1047324-1 is not prime. Res64: ADE47F08015F0701 Time : 1274.0 sec. user=vaughan [2011-11-11 00:57:53] 453*2^1047324-1 is not prime. Res64: EF15FBCA96120898 Time : 1938.0 sec. user=vaughan [2011-11-11 01:00:59] 565*2^1047321-1 is not prime. Res64: 8C679C4B8FE4BA04 Time : 3520.0 sec. user=vaughan [2011-11-11 01:02:19] 473*2^1047324-1 is not prime. Res64: 58F7058635DF8827 Time : 2076.0 sec. user=vaughan [2011-11-11 01:04:04] 429*2^1047325-1 is not prime. Res64: BF2F09BF27827061 Time : 1853.0 sec. user=vaughan [2011-11-11 01:07:54] 581*2^1047326-1 is not prime. Res64: 20B1D68AC379738C Time : 1285.0 sec. user=vaughan [2011-11-11 01:08:55] 569*2^1047324-1 is not prime. Res64: 9CFB3E3FA258D2C5 Time : 2168.0 sec. user=kar_bon [2011-11-11 01:12:22] 465*2^1047328-1 is not prime. Res64: 3157AF607D0F44DD Time : 1257.0 sec. user=vaughan [2011-11-11 01:14:14] 573*2^1047326-1 is not prime. Res64: 58EC46FD8916D18F Time : 2268.0 sec. user=vaughan [2011-11-11 01:14:19] 437*2^1047328-1 is not prime. Res64: 066150924478B011 Time : 1395.0 sec. user=vaughan [2011-11-11 01:26:18] 585*2^1047327-1 is not prime. Res64: E55D4907FA6719E1 Time : 2201.0 sec. user=vaughan [2011-11-11 01:27:26] 457*2^1047325-1 is not prime. Res64: CEE6B62D4AE4E89C Time : 3208.0 sec. user=vaughan [2011-11-11 01:29:20] 503*2^1047330-1 is not prime. Res64: 9AAE65CE21109BBE Time : 1287.0 sec. user=vaughan [2011-11-11 01:30:22] 519*2^1047328-1 is not prime. Res64: C911BC45EE519277 Time : 1949.0 sec. user=vaughan [2011-11-11 01:31:15] 523*2^1047327-1 is not prime. Res64: 192F2E0776B6CCA3 Time : 2633.0 sec. user=kar_bon [2011-11-11 01:33:25] 537*2^1047330-1 is not prime. Res64: D123B754AFE9B9F8 Time : 1263.0 sec. user=vaughan [2011-11-11 01:34:53] 447*2^1047330-1 is not prime. Res64: BF594F714010AA6B Time : 1849.0 sec. user=vaughan [2011-11-11 01:36:37] 431*2^1047330-1 is not prime. Res64: BE9CF836B0F5F577 Time : 2058.0 sec. user=vaughan [2011-11-11 01:37:34] 593*2^1047330-1 is not prime. Res64: 6640DDFD06495BD2 Time : 1395.0 sec. user=vaughan [2011-11-11 01:45:08] 521*2^1047330-1 is not prime. Res64: A974A10E60F8E0B9 Time : 2173.0 sec. user=vaughan [2011-11-11 01:50:43] 499*2^1047333-1 is not prime. Res64: DA482072511CDD7C Time : 1283.0 sec. user=vaughan [2011-11-11 01:51:16] 555*2^1047330-1 is not prime. Res64: E1DD64393D546A7A Time : 2223.0 sec. user=kar_bon [2011-11-11 01:54:22] 491*2^1047334-1 is not prime. Res64: F029990EAEE1B53D Time : 1257.0 sec. user=vaughan [2011-11-11 01:54:27] 417*2^1047330-1 is not prime. Res64: 7B4F29551FF4F138 Time : 3208.0 sec. user=vaughan [2011-11-11 02:00:49] 555*2^1047334-1 is not prime. Res64: 9DB9AEAD70CE92AD Time : 1396.0 sec. user=vaughan [2011-11-11 02:02:55] 425*2^1047334-1 is not prime. Res64: 002156635324C455 Time : 1953.0 sec. user=vaughan [2011-11-11 02:03:01] 495*2^1047331-1 is not prime. Res64: 0044A86E81DA1171 Time : 2203.0 sec. user=vaughan [2011-11-11 02:05:32] 521*2^1047334-1 is not prime. Res64: C797F32F0F31FF28 Time : 1839.0 sec. user=vaughan [2011-11-11 02:11:18] 533*2^1047334-1 is not prime. Res64: 6FC159F39F0C8773 Time : 2082.0 sec. user=vaughan [2011-11-11 02:12:14] 423*2^1047335-1 is not prime. Res64: 5F68CC01DB4AF533 Time : 1291.0 sec. user=vaughan [2011-11-11 02:14:15] 457*2^1047333-1 is not prime. Res64: 8BC6F532B20664D9 Time : 2809.0 sec. user=vaughan [2011-11-11 02:15:10] 455*2^1047334-1 is not prime. Res64: 0C21AAC4885E5F6A Time : 2635.0 sec. user=kar_bon [2011-11-11 02:15:18] 595*2^1047335-1 is not prime. Res64: F190C386316EB410 Time : 1255.0 sec. user=vaughan [2011-11-11 02:20:32] 573*2^1047334-1 is not prime. Res64: 5A87743F41D6244A Time : 2125.0 sec. user=vaughan [2011-11-11 02:24:06] 511*2^1047337-1 is not prime. Res64: 33AC536B22A89708 Time : 1398.0 sec. user=vaughan [2011-11-11 02:27:35] 469*2^1047335-1 is not prime. Res64: 3405847FB69F11F8 Time : 2179.0 sec. user=vaughan [2011-11-11 02:33:40] 411*2^1047339-1 is not prime. Res64: 7740497C0896BCF7 Time : 1286.0 sec. user=kar_bon [2011-11-11 02:36:19] 533*2^1047340-1 is not prime. Res64: D8D91D36432BECCC Time : 1261.0 sec. user=vaughan [2011-11-11 02:36:22] 447*2^1047338-1 is not prime. Res64: D7F85AE1994B891B Time : 2001.0 sec. user=vaughan [2011-11-11 02:36:23] 431*2^1047338-1 is not prime. Res64: 9A01EDADDB8E444A Time : 2009.0 sec. user=vaughan [2011-11-11 02:36:29] 525*2^1047338-1 is not prime. Res64: E6BC153900BC55AC Time : 1857.0 sec. user=vaughan [2011-11-11 02:42:11] 421*2^1047337-1 is not prime. Res64: 398F1DF051EE41CA Time : 2864.0 sec. user=vaughan [2011-11-11 02:43:53] 575*2^1047338-1 is not prime. Res64: 4D57DCEAF6ED7FB3 Time : 1955.0 sec. user=vaughan [2011-11-11 02:46:48] 517*2^1047341-1 is not prime. Res64: 74B6B25B7DE694E5 Time : 1362.0 sec. user=vaughan [2011-11-11 02:54:36] 439*2^1047341-1 is not prime. Res64: F509C227348A5098 Time : 2044.0 sec. user=vaughan [2011-11-11 02:55:18] 455*2^1047342-1 is not prime. Res64: BDF8E88CCE5E0963 Time : 1298.0 sec. user=kar_bon [2011-11-11 02:57:24] 483*2^1047342-1 is not prime. Res64: D9466467CCDA085E Time : 1264.0 sec. user=vaughan [2011-11-11 02:58:44] 489*2^1047339-1 is not prime. Res64: 1E01A6CEC72C561D Time : 2670.0 sec. user=vaughan [2011-11-11 02:59:05] 489*2^1047340-1 is not prime. Res64: F8202110C2DA76D7 Time : 2635.0 sec. user=vaughan [2011-11-11 03:03:43] 547*2^1047341-1 is not prime. Res64: E6ACB3E6210AE572 Time : 2168.0 sec. user=vaughan [2011-11-11 03:07:05] 567*2^1047342-1 is not prime. Res64: F2446F6E2B3F8877 Time : 1836.0 sec. user=vaughan [2011-11-11 03:09:13] 495*2^1047342-1 is not prime. Res64: DCAE0939349B117B Time : 1972.0 sec. user=vaughan [2011-11-11 03:09:27] 551*2^1047342-1 is not prime. Res64: 886300A7F59CD37E Time : 1985.0 sec. user=vaughan [2011-11-11 03:09:52] 509*2^1047344-1 is not prime. Res64: 9BAABEBAA0B4B14F Time : 1384.0 sec. user=vaughan [2011-11-11 03:16:06] 523*2^1047343-1 is not prime. Res64: 997DBF85DF13535A Time : 1933.0 sec. user=vaughan [2011-11-11 03:16:45] 585*2^1047344-1 is not prime. Res64: 1D278F427A6AA2A4 Time : 1287.0 sec. user=kar_bon [2011-11-11 03:18:21] 565*2^1047345-1 is not prime. Res64: 4C4CD9EB50BECE91 Time : 1257.0 sec. user=vaughan [2011-11-11 03:27:48] 525*2^1047345-1 is not prime. Res64: 65F03C9D61B41646 Time : 1931.0 sec. user=vaughan [2011-11-11 03:32:51] 519*2^1047343-1 is not prime. Res64: 59FD5198813B7F19 Time : 3040.0 sec. user=vaughan [2011-11-11 03:33:07] 501*2^1047347-1 is not prime. Res64: 6516646A66953802 Time : 1395.0 sec. user=vaughan [2011-11-11 03:37:53] 497*2^1047346-1 is not prime. Res64: AA28EDD62547D7D6 Time : 1848.0 sec. user=vaughan [2011-11-11 03:38:19] 425*2^1047348-1 is not prime. Res64: 351731F351FFEAA7 Time : 1295.0 sec. user=kar_bon [2011-11-11 03:39:14] 453*2^1047348-1 is not prime. Res64: FF476BF33887F57D Time : 1253.0 sec. user=vaughan [2011-11-11 03:40:51] 495*2^1047346-1 is not prime. Res64: F9319DCAD7FC8518 Time : 2228.0 sec. user=vaughan [2011-11-11 03:41:39] 513*2^1047346-1 is not prime. Res64: 34465FAC8A0F48CA Time : 1946.0 sec. user=vaughan [2011-11-11 03:42:45] 521*2^1047346-1 is not prime. Res64: 08336C10CE79ED2A Time : 1998.0 sec. user=vaughan [2011-11-11 03:43:00] 461*2^1047346-1 is not prime. Res64: 0E8EC1890B2ECBEB Time : 2635.0 sec. user=vaughan [2011-11-11 03:48:16] 585*2^1047345-1 is not prime. Res64: 31683C47CB7BD7A9 Time : 2972.0 sec. user=vaughan [2011-11-11 03:48:17] 511*2^1047347-1 is not prime. Res64: B3ECB2D7E739D603 Time : 1931.0 sec. user=vaughan [2011-11-11 03:56:19] 597*2^1047348-1 is not prime. Res64: 9B530F3C219D9263 Time : 1392.0 sec. user=vaughan [2011-11-11 03:59:43] 451*2^1047349-1 is not prime. Res64: 41C85BC6E403BB83 Time : 1284.0 sec. user=vaughan [2011-11-11 03:59:51] 483*2^1047348-1 is not prime. Res64: 378BA04BF19E4F7B Time : 1923.0 sec. user=kar_bon [2011-11-11 04:00:18] 457*2^1047349-1 is not prime. Res64: 42E8EC33671E8B3F Time : 1263.0 sec. user=vaughan [2011-11-11 04:08:39] 415*2^1047349-1 is not prime. Res64: 8F8C65CC920DA0F5 Time : 1847.0 sec. user=vaughan [2011-11-11 04:14:01] 405*2^1047351-1 is not prime. Res64: FC8DBD6D2023D81E Time : 1943.0 sec. user=vaughan [2011-11-11 04:15:56] 433*2^1047351-1 is not prime. Res64: 3ADC67D48BBE2B7B Time : 1992.0 sec. user=vaughan [2011-11-11 04:18:05] 471*2^1047349-1 is not prime. Res64: F71CCCAEC699AAE5 Time : 2234.0 sec. user=vaughan [2011-11-11 04:19:31] 527*2^1047352-1 is not prime. Res64: CA7283C8A33E9056 Time : 1392.0 sec. user=vaughan [2011-11-11 04:20:21] 435*2^1047352-1 is not prime. Res64: BC9C11DB53618DA3 Time : 1924.0 sec. user=vaughan [2011-11-11 04:21:08] 441*2^1047353-1 is not prime. Res64: 9A1AD9F9ADC62A56 Time : 1286.0 sec. user=kar_bon [2011-11-11 04:21:12] 487*2^1047353-1 is not prime. Res64: DC2F9957184E36A7 Time : 1254.0 sec. user=vaughan [2011-11-11 04:26:54] 459*2^1047351-1 is not prime. Res64: 380037CA4D212274 Time : 2634.0 sec. user=vaughan [2011-11-11 04:27:29] 557*2^1047348-1 is not prime. Res64: B70ECB6A3A283447 Time : 3279.0 sec. user=vaughan [2011-11-11 04:31:55] 477*2^1047353-1 is not prime. Res64: 6C46E02FFD20FE11 Time : 1924.0 sec. user=vaughan [2011-11-11 04:38:56] 423*2^1047352-1 is not prime. Res64: 0AA37B7A5F2471E6 Time : 3040.0 sec. user=vaughan [2011-11-11 04:39:32] 501*2^1047353-1 is not prime. Res64: E9DDB8FBA6C74621 Time : 1853.0 sec. user=kar_bon [2011-11-11 04:42:05] 525*2^1047356-1 is not prime. Res64: E1609E3DEBFBEAA6 Time : 1252.0 sec. user=vaughan [2011-11-11 04:42:38] 477*2^1047356-1 is not prime. Res64: 4A3D3B0C995CF390 Time : 1291.0 sec. user=vaughan [2011-11-11 04:42:44] 589*2^1047355-1 is not prime. Res64: 8F1363939C4F5A82 Time : 1393.0 sec. user=vaughan [2011-11-11 04:46:28] 413*2^1047354-1 is not prime. Res64: C0E68939A3DCB385 Time : 1947.0 sec. user=vaughan [2011-11-11 04:49:06] 573*2^1047354-1 is not prime. Res64: D2928D38B8951096 Time : 1990.0 sec. user=vaughan [2011-11-11 04:52:35] 449*2^1047356-1 is not prime. Res64: 4826E33C5B24684F Time : 1935.0 sec. user=vaughan [2011-11-11 04:54:40] 561*2^1047355-1 is not prime. Res64: E0A2FF355A1A7002 Time : 2195.0 sec. user=kar_bon [2011-11-11 05:03:00] 435*2^1047359-1 is not prime. Res64: F377073892440B60 Time : 1254.0 sec. user=vaughan [2011-11-11 05:03:55] 471*2^1047357-1 is not prime. Res64: 14B466E96943A7D7 Time : 1920.0 sec. user=vaughan [2011-11-11 05:04:03] 441*2^1047359-1 is not prime. Res64: 0D0C7A3352EFB644 Time : 1285.0 sec. user=vaughan [2011-11-11 05:05:56] 531*2^1047359-1 is not prime. Res64: 56A3FCA36C4EE1B6 Time : 1393.0 sec. user=vaughan [2011-11-11 05:10:53] 539*2^1047356-1 is not prime. Res64: D66090FDA2B4C14E Time : 2639.0 sec. user=vaughan [2011-11-11 05:10:55] 567*2^1047358-1 is not prime. Res64: 9F6AD9EC32907A21 Time : 1883.0 sec. user=vaughan [2011-11-11 05:18:50] 559*2^1047359-1 is not prime. Res64: E9E8EEA1A04AE008 Time : 1943.0 sec. user=vaughan [2011-11-11 05:22:24] 413*2^1047360-1 is not prime. Res64: 8B1A5AD597A5E3F6 Time : 1999.0 sec. user=vaughan [2011-11-11 05:23:03] 429*2^1047357-1 is not prime. Res64: 57C812BA8662B3F8 Time : 3335.0 sec. user=kar_bon [2011-11-11 05:23:50] 563*2^1047360-1 is not prime. Res64: 3ACF19413B948A8E Time : 1250.0 sec. user=vaughan [2011-11-11 05:24:37] 525*2^1047360-1 is not prime. Res64: 0782BBA81A3EE385 Time : 1922.0 sec. user=vaughan [2011-11-11 05:25:30] 565*2^1047361-1 is not prime. Res64: 61D9E6088BF06460 Time : 1287.0 sec. user=vaughan [2011-11-11 05:29:07] 411*2^1047363-1 is not prime. Res64: 7CBF8969A40CF91D Time : 1392.0 sec. user=vaughan [2011-11-11 05:30:24] 443*2^1047358-1 is not prime. Res64: 9A1D29A8351BC99F Time : 3088.0 sec. user=vaughan [2011-11-11 05:31:39] 527*2^1047360-1 is not prime. Res64: 8177D7954DB3790F Time : 2219.0 sec. user=vaughan [2011-11-11 05:35:59] 517*2^1047361-1 is not prime. Res64: D8DDF9D7EA5B6DF8 Time : 1925.0 sec. user=vaughan [2011-11-11 05:42:21] 433*2^1047363-1 is not prime. Res64: 4CD88D62493F5EC7 Time : 1886.0 sec. user=kar_bon [2011-11-11 05:44:51] 543*2^1047363-1 is not prime. Res64: DCA3F8DD3DD02FCC Time : 1261.0 sec. user=vaughan [2011-11-11 05:46:56] 429*2^1047364-1 is not prime. Res64: B5EA033085804F32 Time : 1287.0 sec. user=vaughan [2011-11-11 05:51:17] 451*2^1047363-1 is not prime. Res64: AA71818A04AB68E6 Time : 1947.0 sec. user=vaughan [2011-11-11 05:52:22] 465*2^1047364-1 is not prime. Res64: E014B3BB6370047E Time : 1395.0 sec. user=vaughan [2011-11-11 05:54:50] 429*2^1047363-1 is not prime. Res64: 75D243DB5F6436F0 Time : 2637.0 sec. user=vaughan [2011-11-11 05:55:39] 453*2^1047363-1 is not prime. Res64: 5F9DD3205A7B2B30 Time : 1995.0 sec. user=vaughan [2011-11-11 05:56:38] 423*2^1047364-1 is not prime. Res64: 833293C0D11DBB1F Time : 1921.0 sec. user=kar_bon [2011-11-11 06:05:48] 507*2^1047366-1 is not prime. Res64: F70024E6C8458E4B Time : 1257.0 sec. user=vaughan [2011-11-11 06:08:05] 409*2^1047365-1 is not prime. Res64: 27BBBB59B88090D3 Time : 1926.0 sec. user=vaughan [2011-11-11 06:08:22] 525*2^1047366-1 is not prime. Res64: 05393F2CC0B012BA Time : 1286.0 sec. user=vaughan [2011-11-11 06:08:41] 549*2^1047364-1 is not prime. Res64: A2A1A83C4A05F2B5 Time : 2222.0 sec. user=vaughan [2011-11-11 06:13:39] 519*2^1047365-1 is not prime. Res64: C109E650889156FA Time : 1879.0 sec. user=vaughan [2011-11-11 06:15:33] 453*2^1047367-1 is not prime. Res64: D12142D279E9A096 Time : 1391.0 sec. user=vaughan [2011-11-11 06:17:20] 523*2^1047363-1 is not prime. Res64: 2D175B2B8FABA2AE Time : 3258.0 sec. user=vaughan [2011-11-11 06:20:19] 539*2^1047364-1 is not prime. Res64: BBA91918CDA4FC03 Time : 2996.0 sec. user=vaughan [2011-11-11 06:23:43] 537*2^1047366-1 is not prime. Res64: 34B2D4EB0E39745A Time : 1946.0 sec. user=kar_bon [2011-11-11 06:26:45] 549*2^1047367-1 is not prime. Res64: 2DA5242B06D318C4 Time : 1257.0 sec. user=vaughan [2011-11-11 06:28:43] 493*2^1047367-1 is not prime. Res64: 9659F80BB5B5F35C Time : 1925.0 sec. user=vaughan [2011-11-11 06:28:47] 483*2^1047367-1 is not prime. Res64: 010B403A4108664B Time : 1988.0 sec. user=vaughan [2011-11-11 06:29:48] 583*2^1047367-1 is not prime. Res64: 1A4674A4771ADFFE Time : 1286.0 sec. user=vaughan [2011-11-11 06:38:45] 465*2^1047367-1 is not prime. Res64: F578BC1D9CC392F7 Time : 2635.0 sec. user=vaughan [2011-11-11 06:38:45] 441*2^1047369-1 is not prime. Res64: 09F5360CA2E93395 Time : 1392.0 sec. user=vaughan [2011-11-11 06:39:44] 579*2^1047367-1 is not prime. Res64: 8672E255CF071941 Time : 1899.0 sec. user=vaughan [2011-11-11 06:44:17] 507*2^1047368-1 is not prime. Res64: 6C6BF73B21B3BA52 Time : 2136.0 sec. user=vaughan [2011-11-11 06:45:09] 439*2^1047369-1 is not prime. Res64: E63D1EFFB9F2E0E1 Time : 1890.0 sec. user=kar_bon [2011-11-11 06:47:42] 465*2^1047370-1 is not prime. Res64: E2C0B8BDF606C1B2 Time : 1257.0 sec. user=vaughan [2011-11-11 06:51:50] 445*2^1047371-1 is not prime. Res64: 3E6CB440969FDE28 Time : 1322.0 sec. user=vaughan [2011-11-11 06:54:51] 401*2^1047370-1 is not prime. Res64: 38B0222547823593 Time : 1868.0 sec. user=vaughan [2011-11-11 06:59:54] 525*2^1047370-1 is not prime. Res64: 4D9E68E5194BB00B Time : 1867.0 sec. user=vaughan [2011-11-11 07:00:17] 495*2^1047370-1 is not prime. Res64: 132A3C8D0932A861 Time : 1895.0 sec. user=vaughan [2011-11-11 07:00:22] 519*2^1047371-1 is not prime. Res64: 141365188063C003 Time : 1297.0 sec. user=vaughan [2011-11-11 07:00:44] 459*2^1047369-1 is not prime. Res64: C7A86209FC048FE0 Time : 2604.0 sec. user=vaughan [2011-11-11 07:00:53] 571*2^1047369-1 is not prime. Res64: BCF25C1C95B5B71A Time : 2435.0 sec. user=kar_bon [2011-11-11 07:08:43] 495*2^1047373-1 is not prime. Res64: DDD494265BCD33C1 Time : 1260.0 sec. user=vaughan [2011-11-11 07:11:04] 525*2^1047372-1 is not prime. Res64: 3C3148CE6718E2B4 Time : 1880.0 sec. user=vaughan [2011-11-11 07:13:01] 549*2^1047373-1 is not prime. Res64: C15D43CC7D366256 Time : 1271.0 sec. user=vaughan [2011-11-11 07:15:51] 465*2^1047373-1 is not prime. Res64: 04A9B9AA6C693B21 Time : 1842.0 sec. user=vaughan [2011-11-11 07:17:48] 427*2^1047373-1 is not prime. Res64: 074FFD88FFAC9C6A Time : 2012.0 sec. user=vaughan [2011-11-11 07:21:55] 595*2^1047375-1 is not prime. Res64: 04FDA98A9D59316F Time : 1293.0 sec. user=vaughan [2011-11-11 07:22:40] 465*2^1047371-1 is not prime. Res64: 41BDFFB3F2EF176A Time : 2635.0 sec. user=vaughan [2011-11-11 07:25:50] 507*2^1047374-1 is not prime. Res64: 0A8B982FDD4D6465 Time : 1859.0 sec. user=kar_bon [2011-11-11 07:29:41] 455*2^1047376-1 is not prime. Res64: 7F283B3E78120266 Time : 1257.0 sec. user=vaughan [2011-11-11 07:30:55] 405*2^1047375-1 is not prime. Res64: 12E660DF63ACA1E5 Time : 1861.0 sec. user=vaughan [2011-11-11 07:31:44] 579*2^1047375-1 is not prime. Res64: 74A7CCE3B034E685 Time : 1887.0 sec. user=vaughan [2011-11-11 07:34:14] 495*2^1047376-1 is not prime. Res64: 2C248E7524B1D9C4 Time : 1273.0 sec. user=vaughan [2011-11-11 07:35:27] 453*2^1047376-1 is not prime. Res64: A095B4C02CF76A61 Time : 2074.0 sec. user=vaughan [2011-11-11 07:36:01] 449*2^1047376-1 is not prime. Res64: 4685581735D77E19 Time : 2117.0 sec. user=vaughan [2011-11-11 07:42:17] 479*2^1047376-1 is not prime. Res64: 8F665708F3F0BD06 Time : 1874.0 sec. user=vaughan [2011-11-11 07:43:29] 597*2^1047376-1 is not prime. Res64: 11ABD84E39ACE11C Time : 1294.0 sec. user=vaughan [2011-11-11 07:46:22] 509*2^1047376-1 is not prime. Res64: EE1458809F2376A1 Time : 1831.0 sec. user=kar_bon [2011-11-11 07:50:37] 401*2^1047378-1 is not prime. Res64: 7ED0F4D702004D1A Time : 1255.0 sec. user=vaughan [2011-11-11 07:50:52] 575*2^1047376-1 is not prime. Res64: C18076AAF44BDC43 Time : 1984.0 sec. user=vaughan [2011-11-11 07:55:23] 433*2^1047379-1 is not prime. Res64: E2606B5D10ADF174 Time : 1269.0 sec. user=vaughan [2011-11-11 07:56:46] 465*2^1047377-1 is not prime. Res64: CA858538BEDC3E9C Time : 1856.0 sec. user=vaughan [2011-11-11 08:01:55] 483*2^1047378-1 is not prime. Res64: 8B3E0E702D3D466F Time : 1861.0 sec. user=vaughan [2011-11-11 08:03:08] 527*2^1047378-1 is not prime. Res64: 1A9E35F434443D5C Time : 1884.0 sec. user=vaughan [2011-11-11 08:05:03] 499*2^1047381-1 is not prime. Res64: D9C20D831AF2D9E0 Time : 1295.0 sec. user=vaughan [2011-11-11 08:06:33] 445*2^1047377-1 is not prime. Res64: 69C0631F733E143E Time : 2634.0 sec. user=kar_bon [2011-11-11 08:11:34] 507*2^1047382-1 is not prime. Res64: 23CC4454CCA67918 Time : 1257.0 sec. user=vaughan [2011-11-11 08:13:29] 439*2^1047381-1 is not prime. Res64: CB1620EFA8A9C269 Time : 1872.0 sec. user=vaughan [2011-11-11 08:16:32] 481*2^1047383-1 is not prime. Res64: FC40AEABEBF7398B Time : 1269.0 sec. user=vaughan [2011-11-11 08:16:41] 545*2^1047380-1 is not prime. Res64: 435B25DF3FB37105 Time : 2474.0 sec. user=vaughan [2011-11-11 08:17:35] 529*2^1047381-1 is not prime. Res64: 1B1BC46D19BA74D1 Time : 1873.0 sec. user=vaughan [2011-11-11 08:20:22] 587*2^1047380-1 is not prime. Res64: DEAD07401B1606BF Time : 2662.0 sec. user=vaughan [2011-11-11 08:26:37] 573*2^1047383-1 is not prime. Res64: 0E46DD12FF18C7D7 Time : 1294.0 sec. user=vaughan [2011-11-11 08:27:10] 463*2^1047383-1 is not prime. Res64: FC00AB3FA4C4C3DF Time : 2179.0 sec. user=vaughan [2011-11-11 08:27:42] 493*2^1047383-1 is not prime. Res64: EB345EBBB855BA1D Time : 1856.0 sec. user=vaughan [2011-11-11 08:33:13] 525*2^1047383-1 is not prime. Res64: BFE6CEB379539927 Time : 1878.0 sec. user=vaughan [2011-11-11 08:34:33] 559*2^1047383-1 is not prime. Res64: 4A53B07B62EFE8C3 Time : 1885.0 sec. user=kar_bon [2011-11-11 08:35:47] 479*2^1047384-1 is not prime. Res64: 164E5CF4B4EF0502 Time : 1452.0 sec. user=vaughan [2011-11-11 08:37:40] 531*2^1047385-1 is not prime. Res64: B1CC2594A6857A1E Time : 1268.0 sec. user=vaughan [2011-11-11 08:44:34] 525*2^1047384-1 is not prime. Res64: 085DE64B51F102D0 Time : 1866.0 sec. user=vaughan [2011-11-11 08:48:11] 507*2^1047386-1 is not prime. Res64: C2DA7D1B45DF2080 Time : 1294.0 sec. user=vaughan [2011-11-11 08:48:14] 453*2^1047386-1 is not prime. Res64: 74FFDD627C8209FE Time : 1839.0 sec. user=vaughan [2011-11-11 08:50:27] 473*2^1047384-1 is not prime. Res64: BC5F413510369719 Time : 2634.0 sec. user=vaughan [2011-11-11 08:58:38] 437*2^1047388-1 is not prime. Res64: 3487554879081905 Time : 1856.0 sec. user=vaughan [2011-11-11 08:58:49] 435*2^1047389-1 is not prime. Res64: EFD3E183143D38F2 Time : 1269.0 sec. user=kar_bon [2011-11-11 09:01:54] 417*2^1047389-1 is not prime. Res64: 89700A77E4EDD04E Time : 1566.0 sec. user=vaughan [2011-11-11 09:02:21] 451*2^1047387-1 is not prime. Res64: FAFD96899AF0A069 Time : 2112.0 sec. user=vaughan [2011-11-11 09:04:06] 483*2^1047388-1 is not prime. Res64: 1030467AADBB5EB3 Time : 1854.0 sec. user=vaughan [2011-11-11 09:04:19] 565*2^1047385-1 is not prime. Res64: 52A3E97E6F3A0023 Time : 2858.0 sec. user=vaughan [2011-11-11 09:05:56] 537*2^1047388-1 is not prime. Res64: B69C1876C5479EAD Time : 1883.0 sec. user=vaughan [2011-11-11 09:09:44] 445*2^1047389-1 is not prime. Res64: C060D83342300FB2 Time : 1294.0 sec. user=vaughan [2011-11-11 09:12:28] 477*2^1047386-1 is not prime. Res64: DAE2F3AC06E494FB Time : 3126.0 sec. user=vaughan [2011-11-11 09:15:42] 439*2^1047389-1 is not prime. Res64: 2FB8FA61C5CB4704 Time : 1868.0 sec. user=vaughan [2011-11-11 09:18:18] 565*2^1047389-1 is not prime. Res64: 3A7E5D1FE4FDC21C Time : 1804.0 sec. user=vaughan [2011-11-11 09:19:58] 589*2^1047389-1 is not prime. Res64: D0DAF15968617B8D Time : 1269.0 sec. user=kar_bon [2011-11-11 09:26:47] 585*2^1047390-1 is not prime. Res64: 355FACED69C53AB3 Time : 1493.0 sec. user=vaughan [2011-11-11 09:29:33] 579*2^1047389-1 is not prime. Res64: 4155B60FAEEF6C26 Time : 1856.0 sec. user=vaughan [2011-11-11 09:31:19] 459*2^1047392-1 is not prime. Res64: A7807E9477FEFCA1 Time : 1295.0 sec. user=vaughan [2011-11-11 09:34:20] 571*2^1047389-1 is not prime. Res64: 4A54D7B1EBF117CD Time : 2634.0 sec. user=vaughan [2011-11-11 09:34:57] 453*2^1047391-1 is not prime. Res64: 714D15E712A7AEB1 Time : 1851.0 sec. user=vaughan [2011-11-11 09:37:12] 421*2^1047391-1 is not prime. Res64: B06191F34F58DEAA Time : 2091.0 sec. user=vaughan [2011-11-11 09:37:16] 437*2^1047392-1 is not prime. Res64: 55A13F9E8C36DFA3 Time : 1881.0 sec. user=vaughan [2011-11-11 09:41:06] 499*2^1047393-1 is not prime. Res64: 18E59B30448EBCF3 Time : 1269.0 sec. user=vaughan [2011-11-11 09:46:49] 557*2^1047392-1 is not prime. Res64: AF8762A57EFB9248 Time : 1868.0 sec. user=vaughan [2011-11-11 09:48:24] 445*2^1047393-1 is not prime. Res64: 2493F1C0DD5EC06C Time : 1807.0 sec. user=vaughan [2011-11-11 09:51:05] 405*2^1047392-1 is not prime. Res64: 092C42A7F05A6279 Time : 2806.0 sec. user=vaughan [2011-11-11 09:52:53] 555*2^1047393-1 is not prime. Res64: 43D89210D00CB7F5 Time : 1294.0 sec. user=kar_bon [2011-11-11 09:55:47] 511*2^1047393-1 is not prime. Res64: 08578B7291B7AFA3 Time : 1740.0 sec. user=vaughan [2011-11-11 10:00:30] 525*2^1047393-1 is not prime. Res64: 8AAA18BDD8620695 Time : 1857.0 sec. user=vaughan [2011-11-11 10:02:17] 567*2^1047394-1 is not prime. Res64: 120E2C5FCC549877 Time : 1271.0 sec. user=vaughan [2011-11-11 10:03:19] 525*2^1047392-1 is not prime. Res64: D845AE7D54D5119F Time : 3052.0 sec. user=vaughan [2011-11-11 10:05:54] 483*2^1047394-1 is not prime. Res64: 3B9B7DEC50D5EC2F Time : 1857.0 sec. user=vaughan [2011-11-11 10:08:40] 533*2^1047394-1 is not prime. Res64: F035A39DCC4C42D2 Time : 1884.0 sec. user=vaughan [2011-11-11 10:11:57] 513*2^1047394-1 is not prime. Res64: 4DDFDB97C684FC02 Time : 2085.0 sec. user=vaughan [2011-11-11 10:14:31] 525*2^1047396-1 is not prime. Res64: F3A12F302711651C Time : 1298.0 sec. user=vaughan [2011-11-11 10:17:59] 481*2^1047395-1 is not prime. Res64: DA2F445414C3D782 Time : 1870.0 sec. user=vaughan [2011-11-11 10:18:17] 577*2^1047393-1 is not prime. Res64: B4C2A4DD5474CFB3 Time : 2637.0 sec. user=vaughan [2011-11-11 10:18:31] 579*2^1047395-1 is not prime. Res64: 88C230D32F9E654E Time : 1807.0 sec. user=kar_bon [2011-11-11 10:21:35] 585*2^1047396-1 is not prime. Res64: BDB3BC9A53A0199B Time : 1548.0 sec. user=vaughan [2011-11-11 10:23:29] 589*2^1047397-1 is not prime. Res64: E5B12487B4EA5B32 Time : 1273.0 sec. user=vaughan [2011-11-11 10:31:27] 499*2^1047397-1 is not prime. Res64: 251374FF641101F4 Time : 1857.0 sec. user=vaughan [2011-11-11 10:36:08] 489*2^1047399-1 is not prime. Res64: 9A4AE56FD5CE5FE1 Time : 1298.0 sec. user=vaughan [2011-11-11 10:36:46] 473*2^1047398-1 is not prime. Res64: 8DAD3E6BB8E22B64 Time : 1852.0 sec. user=vaughan [2011-11-11 10:37:56] 455*2^1047396-1 is not prime. Res64: B3D96212927AB876 Time : 2812.0 sec. user=vaughan [2011-11-11 10:40:04] 441*2^1047399-1 is not prime. Res64: 71AE6D7C0661E93D Time : 1884.0 sec. user=vaughan [2011-11-11 10:44:39] 577*2^1047401-1 is not prime. Res64: BC9DEAD5D5E4C39B Time : 1271.0 sec. user=vaughan [2011-11-11 10:46:55] 451*2^1047399-1 is not prime. Res64: 45D40BB6A026BE54 Time : 2099.0 sec. user=vaughan [2011-11-11 10:48:38] 507*2^1047401-1 is not prime. Res64: 3D2E6DD7C9792F80 Time : 1807.0 sec. user=kar_bon [2011-11-11 10:48:40] 525*2^1047401-1 is not prime. Res64: 117A14C7CB4A6B55 Time : 1624.0 sec. user=vaughan [2011-11-11 10:49:06] 493*2^1047399-1 is not prime. Res64: 9C6586DD31097065 Time : 1868.0 sec. user=vaughan [2011-11-11 10:55:33] 435*2^1047398-1 is not prime. Res64: 308A87D80E069C82 Time : 3134.0 sec. user=vaughan [2011-11-11 10:57:45] 463*2^1047403-1 is not prime. Res64: 66DC40DB6F3EE73D Time : 1297.0 sec. user=vaughan [2011-11-11 11:02:10] 483*2^1047400-1 is not prime. Res64: 51B3E5E2B3D7A4F4 Time : 2633.0 sec. user=vaughan [2011-11-11 11:02:24] 543*2^1047402-1 is not prime. Res64: 0DEB97E6ACE717F6 Time : 1857.0 sec. user=vaughan [2011-11-11 11:05:48] 585*2^1047404-1 is not prime. Res64: 9C51C09E76E93FBF Time : 1269.0 sec. user=vaughan [2011-11-11 11:07:39] 505*2^1047403-1 is not prime. Res64: D6F1C6A732D25D99 Time : 1853.0 sec. user=vaughan [2011-11-11 11:11:27] 465*2^1047404-1 is not prime. Res64: C81AA50A1F761534 Time : 1884.0 sec. user=kar_bon [2011-11-11 11:17:09] 465*2^1047406-1 is not prime. Res64: CD9AB4A4BAF13632 Time : 1709.0 sec. user=vaughan [2011-11-11 11:18:50] 481*2^1047405-1 is not prime. Res64: 4B00BFADE1DFC262 Time : 1812.0 sec. user=vaughan [2011-11-11 11:19:20] 501*2^1047407-1 is not prime. Res64: A36B236DFBD1C9E4 Time : 1295.0 sec. user=vaughan [2011-11-11 11:20:15] 597*2^1047406-1 is not prime. Res64: 5FE6950133E69755 Time : 1869.0 sec. user=vaughan [2011-11-11 11:22:08] 469*2^1047405-1 is not prime. Res64: 89EB8830EDF7D74F Time : 2113.0 sec. user=vaughan [2011-11-11 11:26:02] 437*2^1047404-1 is not prime. Res64: 73834B39651448EE Time : 2886.0 sec. user=vaughan [2011-11-11 11:26:58] 509*2^1047408-1 is not prime. Res64: A9721607FEEF3D23 Time : 1271.0 sec. user=vaughan [2011-11-11 11:33:18] 419*2^1047408-1 is not prime. Res64: 21E0FE05AAC05BCF Time : 1854.0 sec. user=vaughan [2011-11-11 11:38:33] 537*2^1047408-1 is not prime. Res64: 7DFCE9533D7F9198 Time : 1854.0 sec. user=vaughan [2011-11-11 11:40:57] 577*2^1047409-1 is not prime. Res64: 1071B4BF89B11258 Time : 1297.0 sec. user=vaughan [2011-11-11 11:42:47] 439*2^1047409-1 is not prime. Res64: 7549BD50BA1E4A47 Time : 1880.0 sec. user=vaughan [2011-11-11 11:46:03] 559*2^1047407-1 is not prime. Res64: 2F126167005D4327 Time : 2634.0 sec. user=kar_bon [2011-11-11 11:47:09] 555*2^1047409-1 is not prime. Res64: 90498DFC51A16EB0 Time : 1799.0 sec. user=vaughan [2011-11-11 11:48:04] 423*2^1047412-1 is not prime. Res64: 50AA11EBAC8B3284 Time : 1267.0 sec. user=vaughan [2011-11-11 11:48:33] 475*2^1047407-1 is not prime. Res64: E02C580048B9E354 Time : 3181.0 sec. user=vaughan [2011-11-11 11:49:01] 565*2^1047409-1 is not prime. Res64: 7DEA28238017E764 Time : 1811.0 sec. user=vaughan [2011-11-11 11:51:34] 467*2^1047410-1 is not prime. Res64: 4737EAD674A89ED8 Time : 1879.0 sec. user=vaughan [2011-11-11 11:57:10] 581*2^1047410-1 is not prime. Res64: 1AA89B1925294B0B Time : 2102.0 sec. user=vaughan [2011-11-11 12:02:32] 507*2^1047413-1 is not prime. Res64: D300FB6DC80BC346 Time : 1296.0 sec. user=vaughan [2011-11-11 12:04:31] 507*2^1047412-1 is not prime. Res64: 5A7D049E358123F2 Time : 1873.0 sec. user=vaughan [2011-11-11 12:09:16] 543*2^1047414-1 is not prime. Res64: D7CB45D115371DF0 Time : 1272.0 sec. user=vaughan [2011-11-11 12:09:40] 439*2^1047413-1 is not prime. Res64: BAAFDF4CDE468A4C Time : 1868.0 sec. user=vaughan [2011-11-11 12:14:01] 405*2^1047412-1 is not prime. Res64: 3981E81221330E5B Time : 2879.0 sec. user=vaughan [2011-11-11 12:14:21] 547*2^1047413-1 is not prime. Res64: E9DFE259D9E3BE78 Time : 1894.0 sec. user=kar_bon [2011-11-11 12:19:07] 495*2^1047414-1 is not prime. Res64: B729EBEC51EC3088 Time : 1918.0 sec. user=vaughan [2011-11-11 12:19:11] 415*2^1047415-1 is not prime. Res64: 1528D9E3016FFAFC Time : 1811.0 sec. user=vaughan [2011-11-11 12:22:42] 451*2^1047415-1 is not prime. Res64: C0BE8A61D065F743 Time : 1868.0 sec. user=vaughan [2011-11-11 12:24:07] 471*2^1047415-1 is not prime. Res64: CD96748FC468036F Time : 1295.0 sec. user=vaughan [2011-11-11 12:29:56] 413*2^1047414-1 is not prime. Res64: CBD43A1522E8725D Time : 2633.0 sec. user=vaughan [2011-11-11 12:30:23] 531*2^1047415-1 is not prime. Res64: 495C99924904CA81 Time : 1268.0 sec. user=vaughan [2011-11-11 12:32:13] 465*2^1047415-1 is not prime. Res64: CCF01D43AFAE8A9D Time : 2104.0 sec. user=vaughan [2011-11-11 12:35:26] 519*2^1047415-1 is not prime. Res64: 9D8395686B308D23 Time : 1855.0 sec. user=vaughan [2011-11-11 12:40:34] 483*2^1047416-1 is not prime. Res64: F0F3E48A6561E5D9 Time : 1854.0 sec. user=vaughan [2011-11-11 12:41:27] 567*2^1047414-1 is not prime. Res64: 6298D395528C88E2 Time : 3174.0 sec. user=vaughan [2011-11-11 12:45:40] 435*2^1047419-1 is not prime. Res64: 0295CA829D8CB838 Time : 1293.0 sec. user=vaughan [2011-11-11 12:45:44] 409*2^1047417-1 is not prime. Res64: EE1B017542CD4B09 Time : 1883.0 sec. user=kar_bon [2011-11-11 12:48:13] 499*2^1047417-1 is not prime. Res64: 6D72D85CCC64C001 Time : 1745.0 sec. user=vaughan [2011-11-11 12:49:30] 435*2^1047418-1 is not prime. Res64: 4F9AE3300BEDB4B1 Time : 1819.0 sec. user=vaughan [2011-11-11 12:51:32] 571*2^1047419-1 is not prime. Res64: B20F9B5A60DCB388 Time : 1269.0 sec. user=vaughan [2011-11-11 12:53:48] 581*2^1047418-1 is not prime. Res64: CE9FEF9AE780C47D Time : 1867.0 sec. user=vaughan [2011-11-11 13:02:05] 563*2^1047416-1 is not prime. Res64: 2391C3533D00EF4F Time : 2885.0 sec. user=vaughan [2011-11-11 13:06:21] 455*2^1047420-1 is not prime. Res64: FC292397412368E9 Time : 1855.0 sec. user=vaughan [2011-11-11 13:07:13] 411*2^1047421-1 is not prime. Res64: 237B25EA0A7019B5 Time : 1293.0 sec. user=vaughan [2011-11-11 13:07:17] 589*2^1047419-1 is not prime. Res64: EA469FE860AD217B Time : 2104.0 sec. user=vaughan [2011-11-11 13:11:28] 525*2^1047420-1 is not prime. Res64: 7888DEBE7B107824 Time : 1855.0 sec. user=vaughan [2011-11-11 13:12:42] 507*2^1047422-1 is not prime. Res64: 11F8573A39A9AD65 Time : 1271.0 sec. user=vaughan [2011-11-11 13:13:48] 523*2^1047419-1 is not prime. Res64: C72CD0A3FAEC310E Time : 2632.0 sec. user=kar_bon [2011-11-11 13:15:40] 549*2^1047421-1 is not prime. Res64: FAD33D1961A11854 Time : 1647.0 sec. user=vaughan [2011-11-11 13:17:05] 421*2^1047421-1 is not prime. Res64: 6AFC94F39C501CB4 Time : 1881.0 sec. user=vaughan [2011-11-11 13:20:26] 405*2^1047422-1 is not prime. Res64: 042FD50CFA6ABC61 Time : 1857.0 sec. user=vaughan [2011-11-11 13:24:55] 585*2^1047422-1 is not prime. Res64: DE44EC0A0CF4393C Time : 1867.0 sec. user=vaughan [2011-11-11 13:28:47] 559*2^1047423-1 is not prime. Res64: 0D56638511CEA02B Time : 1295.0 sec. user=vaughan [2011-11-11 13:33:54] 575*2^1047424-1 is not prime. Res64: 819275F4181E1171 Time : 1272.0 sec. user=vaughan [2011-11-11 13:34:10] 579*2^1047420-1 is not prime. Res64: FCC0AF397B7B40CE Time : 3164.0 sec. user=vaughan [2011-11-11 13:37:18] 471*2^1047423-1 is not prime. Res64: 394B93A46E7521F8 Time : 1858.0 sec. user=vaughan [2011-11-11 13:42:22] 533*2^1047424-1 is not prime. Res64: A41ED22642BBE06C Time : 1854.0 sec. user=vaughan [2011-11-11 13:42:27] 507*2^1047424-1 is not prime. Res64: 75EAA4D2EB9246C8 Time : 2110.0 sec. user=kar_bon [2011-11-11 13:42:51] 565*2^1047425-1 is not prime. Res64: FDAE2AC94D7E15A4 Time : 1631.0 sec. user=vaughan [2011-11-11 13:48:27] 453*2^1047426-1 is not prime. Res64: AD7E81C35FE1B811 Time : 1882.0 sec. user=vaughan [2011-11-11 13:49:24] 587*2^1047422-1 is not prime. Res64: 2B566E4109687351 Time : 2839.0 sec. user=vaughan [2011-11-11 13:50:20] 493*2^1047427-1 is not prime. Res64: AB4188A5F9B9BB12 Time : 1293.0 sec. user=vaughan [2011-11-11 13:50:39] 429*2^1047427-1 is not prime. Res64: E3780D0E5602B2B0 Time : 1813.0 sec. user=vaughan [2011-11-11 13:55:03] 589*2^1047427-1 is not prime. Res64: 20C19ABA856B7A93 Time : 1269.0 sec. user=vaughan [2011-11-11 13:56:06] 463*2^1047427-1 is not prime. Res64: 6F2203755DE5A5F4 Time : 1871.0 sec. user=vaughan [2011-11-11 13:57:39] 587*2^1047424-1 is not prime. Res64: E31ECCA30878D57A Time : 2631.0 sec. user=vaughan [2011-11-11 14:08:18] 481*2^1047429-1 is not prime. Res64: 36D926B6F9323D03 Time : 1860.0 sec. user=vaughan [2011-11-11 14:11:58] 555*2^1047430-1 is not prime. Res64: D0D740FA38B46B0B Time : 1298.0 sec. user=vaughan [2011-11-11 14:13:18] 565*2^1047429-1 is not prime. Res64: 93355A1D835657BC Time : 1857.0 sec. user=kar_bon [2011-11-11 14:14:40] 423*2^1047430-1 is not prime. Res64: 8D59898DCB3DF195 Time : 1909.0 sec. user=vaughan [2011-11-11 14:16:11] 445*2^1047431-1 is not prime. Res64: 1DE6033A93D915DF Time : 1268.0 sec. user=vaughan [2011-11-11 14:17:37] 595*2^1047429-1 is not prime. Res64: 5410B6F79370B448 Time : 2111.0 sec. user=vaughan [2011-11-11 14:19:53] 443*2^1047430-1 is not prime. Res64: 971B120C30767146 Time : 1887.0 sec. user=vaughan [2011-11-11 14:20:50] 433*2^1047431-1 is not prime. Res64: 916493F8AB2171BA Time : 1811.0 sec. user=vaughan [2011-11-11 14:26:45] 415*2^1047429-1 is not prime. Res64: DD47C8FDF7C51819 Time : 3155.0 sec. user=vaughan [2011-11-11 14:27:12] 463*2^1047431-1 is not prime. Res64: FC17606188D3481C Time : 1866.0 sec. user=vaughan [2011-11-11 14:33:37] 563*2^1047432-1 is not prime. Res64: 40D381CA7F8020B3 Time : 1300.0 sec. user=vaughan [2011-11-11 14:36:58] 545*2^1047430-1 is not prime. Res64: 317EBB26CBE6F353 Time : 2854.0 sec. user=vaughan [2011-11-11 14:37:23] 425*2^1047434-1 is not prime. Res64: A25223C35DEDCFE9 Time : 1273.0 sec. user=vaughan [2011-11-11 14:39:14] 525*2^1047432-1 is not prime. Res64: A719C7E7D3EAE75A Time : 1856.0 sec. user=vaughan [2011-11-11 14:41:30] 455*2^1047432-1 is not prime. Res64: AEC7D3BFB2C88B5F Time : 2631.0 sec. user=vaughan [2011-11-11 14:44:14] 477*2^1047433-1 is not prime. Res64: D015732A0BD09A59 Time : 1856.0 sec. user=kar_bon [2011-11-11 14:45:33] 567*2^1047433-1 is not prime. Res64: 3D14556A86599CB3 Time : 1852.0 sec. user=vaughan [2011-11-11 14:51:08] 405*2^1047435-1 is not prime. Res64: CC819B0B59D6C5D2 Time : 1818.0 sec. user=vaughan [2011-11-11 14:51:14] 507*2^1047434-1 is not prime. Res64: ABD7E1DC4A0738AC Time : 1881.0 sec. user=vaughan [2011-11-11 14:52:48] 461*2^1047434-1 is not prime. Res64: 706C20BC11560B92 Time : 2111.0 sec. user=vaughan [2011-11-11 14:55:10] 437*2^1047436-1 is not prime. Res64: E01631DCFFF5FACB Time : 1293.0 sec. user=vaughan [2011-11-11 14:58:21] 513*2^1047435-1 is not prime. Res64: B0CDE8B4925F5544 Time : 1869.0 sec. user=vaughan [2011-11-11 14:58:32] 573*2^1047436-1 is not prime. Res64: 0BA0F2984E083B54 Time : 1269.0 sec. user=vaughan [2011-11-11 15:10:09] 447*2^1047437-1 is not prime. Res64: 83558AFE0348BE7C Time : 1856.0 sec. user=vaughan [2011-11-11 15:15:07] 437*2^1047438-1 is not prime. Res64: 0F1E9EA9E6A9DC35 Time : 1854.0 sec. user=vaughan [2011-11-11 15:16:43] 423*2^1047442-1 is not prime. Res64: 9ED7003435611981 Time : 1293.0 sec. user=vaughan [2011-11-11 15:19:40] 581*2^1047442-1 is not prime. Res64: 5815D6F7BFAF3216 Time : 1269.0 sec. user=vaughan [2011-11-11 15:19:43] 471*2^1047435-1 is not prime. Res64: 72484362402D84D5 Time : 3178.0 sec. user=kar_bon [2011-11-11 15:21:16] 421*2^1047439-1 is not prime. Res64: DD88604D11B6E0D8 Time : 2142.0 sec. user=vaughan [2011-11-11 15:21:18] 559*2^1047439-1 is not prime. Res64: 31B17E5E8393A0B4 Time : 1810.0 sec. user=vaughan [2011-11-11 15:22:36] 459*2^1047441-1 is not prime. Res64: 9EFB4FD9BF106A75 Time : 1882.0 sec. user=vaughan [2011-11-11 15:24:56] 525*2^1047436-1 is not prime. Res64: 30F59F65F2917A13 Time : 2878.0 sec. user=vaughan [2011-11-11 15:25:21] 529*2^1047437-1 is not prime. Res64: 7C3528A95C3EF97F Time : 2631.0 sec. user=vaughan [2011-11-11 15:27:57] 529*2^1047441-1 is not prime. Res64: 3C41B7C8F7E99CA3 Time : 2109.0 sec. user=vaughan [2011-11-11 15:29:29] 525*2^1047442-1 is not prime. Res64: 83EFEDF4BE92FEB6 Time : 1868.0 sec. user=vaughan [2011-11-11 15:38:16] 519*2^1047443-1 is not prime. Res64: DDC4F7CC3E68A429 Time : 1294.0 sec. user=vaughan [2011-11-11 15:40:46] 549*2^1047443-1 is not prime. Res64: 33F4F2104C74C86D Time : 1267.0 sec. user=vaughan [2011-11-11 15:41:05] 451*2^1047443-1 is not prime. Res64: D07A54751B3FAFAD Time : 1856.0 sec. user=vaughan [2011-11-11 15:46:01] 475*2^1047443-1 is not prime. Res64: B052D9CCD2A98863 Time : 1854.0 sec. user=vaughan [2011-11-11 15:51:37] 465*2^1047444-1 is not prime. Res64: D025410B5FD4A21D Time : 1819.0 sec. user=kar_bon [2011-11-11 15:53:01] 455*2^1047444-1 is not prime. Res64: F223172A269F15B0 Time : 1904.0 sec. user=vaughan [2011-11-11 15:53:57] 483*2^1047444-1 is not prime. Res64: 5A29CD38D6A3EC57 Time : 1882.0 sec. user=vaughan [2011-11-11 15:59:50] 503*2^1047446-1 is not prime. Res64: 5EED47127FA10AD7 Time : 1294.0 sec. user=vaughan [2011-11-11 16:00:36] 407*2^1047446-1 is not prime. Res64: B713D46C629F6F07 Time : 1867.0 sec. user=vaughan [2011-11-11 16:01:53] 585*2^1047446-1 is not prime. Res64: E3F4AF482092E3AE Time : 1267.0 sec. user=vaughan [2011-11-11 16:03:09] 589*2^1047445-1 is not prime. Res64: B633BC2DCA425AC5 Time : 2112.0 sec. user=vaughan [2011-11-11 16:09:13] 577*2^1047445-1 is not prime. Res64: 84EF514C50296B54 Time : 2632.0 sec. user=vaughan [2011-11-11 16:12:01] 441*2^1047447-1 is not prime. Res64: 6D1C4B4B97DA0836 Time : 1856.0 sec. user=vaughan [2011-11-11 16:13:02] 419*2^1047444-1 is not prime. Res64: D0EDA8CB885851E5 Time : 3200.0 sec. user=vaughan [2011-11-11 16:13:21] 527*2^1047444-1 is not prime. Res64: 8C0C214D73810D1B Time : 2905.0 sec. user=vaughan [2011-11-11 16:16:57] 465*2^1047447-1 is not prime. Res64: 9949D7C7E7B0ABAE Time : 1856.0 sec. user=vaughan [2011-11-11 16:21:27] 559*2^1047447-1 is not prime. Res64: 827F2873CB3EBBDE Time : 1297.0 sec. user=vaughan [2011-11-11 16:21:58] 511*2^1047447-1 is not prime. Res64: 38233A2B8BDEB558 Time : 1821.0 sec. user=kar_bon [2011-11-11 16:22:53] 543*2^1047447-1 is not prime. Res64: 9A9AA4C6BA50D519 Time : 1792.0 sec. user=vaughan [2011-11-11 16:23:03] 423*2^1047450-1 is not prime. Res64: 7F561BB1F9EA39A8 Time : 1271.0 sec. user=vaughan [2011-11-11 16:25:19] 555*2^1047447-1 is not prime. Res64: 5511EDAD23A1EB2F Time : 1882.0 sec. user=vaughan [2011-11-11 16:31:43] 511*2^1047449-1 is not prime. Res64: B5C67DA35BBEE313 Time : 1867.0 sec. user=vaughan [2011-11-11 16:38:29] 433*2^1047451-1 is not prime. Res64: B6D2DB5FF9E75F6F Time : 2121.0 sec. user=vaughan [2011-11-11 16:42:57] 413*2^1047452-1 is not prime. Res64: 24F741E4D3FE60FC Time : 1857.0 sec. user=vaughan [2011-11-11 16:43:08] 565*2^1047453-1 is not prime. Res64: 0B30D7130DC05D73 Time : 1301.0 sec. user=vaughan [2011-11-11 16:44:10] 411*2^1047455-1 is not prime. Res64: 474CD62EA603CF89 Time : 1268.0 sec. user=vaughan [2011-11-11 16:47:50] 555*2^1047453-1 is not prime. Res64: E8A7372DFABAF27D Time : 1853.0 sec. user=kar_bon [2011-11-11 16:49:43] 561*2^1047454-1 is not prime. Res64: 328A8C9645B8B6E9 Time : 1610.0 sec. user=vaughan [2011-11-11 16:52:25] 491*2^1047454-1 is not prime. Res64: B999D9119D603E5E Time : 1828.0 sec. user=vaughan [2011-11-11 16:53:05] 453*2^1047451-1 is not prime. Res64: D149E2A652907FAB Time : 2632.0 sec. user=vaughan [2011-11-11 16:56:41] 453*2^1047455-1 is not prime. Res64: F0C94BB9FC455976 Time : 1882.0 sec. user=vaughan [2011-11-11 17:02:01] 537*2^1047452-1 is not prime. Res64: A7FF2FA208D54574 Time : 2920.0 sec. user=vaughan [2011-11-11 17:02:51] 465*2^1047455-1 is not prime. Res64: C549C7C27906797F Time : 1868.0 sec. user=vaughan [2011-11-11 17:04:45] 517*2^1047457-1 is not prime. Res64: 6C52CFFB68518B84 Time : 1298.0 sec. user=vaughan [2011-11-11 17:05:18] 531*2^1047457-1 is not prime. Res64: 4636333E053A67CB Time : 1268.0 sec. user=vaughan [2011-11-11 17:07:05] 435*2^1047452-1 is not prime. Res64: 4A2BC530D033C123 Time : 3243.0 sec. user=vaughan [2011-11-11 17:13:54] 429*2^1047457-1 is not prime. Res64: 5E631242EBDB25C6 Time : 1857.0 sec. user=vaughan [2011-11-11 17:14:19] 405*2^1047457-1 is not prime. Res64: 3F03A84DB1D131EE Time : 2150.0 sec. user=kar_bon [2011-11-11 17:17:07] 453*2^1047458-1 is not prime. Res64: 7E92081B94492BA6 Time : 1644.0 sec. user=vaughan [2011-11-11 17:18:44] 549*2^1047457-1 is not prime. Res64: 914FC2A15B7A0EEE Time : 1854.0 sec. user=vaughan [2011-11-11 17:22:46] 545*2^1047458-1 is not prime. Res64: 2BFE866D3D04FC86 Time : 1821.0 sec. user=vaughan [2011-11-11 17:26:20] 483*2^1047460-1 is not prime. Res64: B290E65968DFF17F Time : 1295.0 sec. user=vaughan [2011-11-11 17:26:27] 451*2^1047461-1 is not prime. Res64: E25511EBA940F2A7 Time : 1269.0 sec. user=vaughan [2011-11-11 17:28:04] 549*2^1047459-1 is not prime. Res64: 5B70989699666B8F Time : 1884.0 sec. user=vaughan [2011-11-11 17:34:00] 583*2^1047459-1 is not prime. Res64: B3FF6CD37FC8B345 Time : 1870.0 sec. user=vaughan [2011-11-11 17:36:58] 493*2^1047459-1 is not prime. Res64: 5551E2826FFAFAF5 Time : 2633.0 sec. user=vaughan [2011-11-11 17:44:48] 489*2^1047461-1 is not prime. Res64: 3D4F2999EA542901 Time : 1855.0 sec. user=vaughan [2011-11-11 17:47:33] 513*2^1047462-1 is not prime. Res64: 5DA4CAB203AAF07F Time : 1266.0 sec. user=vaughan [2011-11-11 17:47:56] 437*2^1047462-1 is not prime. Res64: 41EF880603058148 Time : 1296.0 sec. user=vaughan [2011-11-11 17:49:38] 525*2^1047461-1 is not prime. Res64: C29E29079E3B4ABF Time : 1855.0 sec. user=vaughan [2011-11-11 17:49:57] 495*2^1047461-1 is not prime. Res64: 4EB4D70F8CBDC6A7 Time : 2139.0 sec. user=vaughan [2011-11-11 17:52:57] 571*2^1047459-1 is not prime. Res64: E14CB3EA725074B9 Time : 3056.0 sec. user=vaughan [2011-11-11 17:53:03] 529*2^1047461-1 is not prime. Res64: D994A237D52C5B7C Time : 1817.0 sec. user=vaughan [2011-11-11 17:59:24] 521*2^1047462-1 is not prime. Res64: EBD4443EF7768F96 Time : 1880.0 sec. user=vaughan [2011-11-11 18:04:32] 477*2^1047461-1 is not prime. Res64: 685D643D4776ACFE Time : 3447.0 sec. user=vaughan [2011-11-11 18:05:11] 537*2^1047462-1 is not prime. Res64: 4B6217B188751FB6 Time : 1871.0 sec. user=vaughan [2011-11-11 18:08:42] 499*2^1047463-1 is not prime. Res64: D27A22EDF3041E1E Time : 1269.0 sec. user=vaughan [2011-11-11 18:09:30] 595*2^1047463-1 is not prime. Res64: 2715642CE0E3EC6B Time : 1295.0 sec. user=vaughan [2011-11-11 18:15:46] 573*2^1047462-1 is not prime. Res64: 55BB93A79DF4DE4D Time : 1858.0 sec. user=vaughan [2011-11-11 18:20:32] 453*2^1047464-1 is not prime. Res64: 5F5D60E61192BA9C Time : 1854.0 sec. user=vaughan [2011-11-11 18:20:54] 563*2^1047462-1 is not prime. Res64: 4311942C2DFC80DD Time : 2636.0 sec. user=vaughan [2011-11-11 18:23:16] 525*2^1047465-1 is not prime. Res64: 854900C05191BFB8 Time : 1814.0 sec. user=vaughan [2011-11-11 18:25:43] 409*2^1047465-1 is not prime. Res64: 483066C9F50A1C14 Time : 2146.0 sec. user=vaughan [2011-11-11 18:29:48] 537*2^1047468-1 is not prime. Res64: AB3B3CA196AB9605 Time : 1266.0 sec. user=vaughan [2011-11-11 18:30:49] 531*2^1047466-1 is not prime. Res64: C8CB08BB6280D629 Time : 1885.0 sec. user=vaughan [2011-11-11 18:31:04] 557*2^1047468-1 is not prime. Res64: 8E62E86E64E51A9F Time : 1294.0 sec. user=vaughan [2011-11-11 18:36:17] 593*2^1047466-1 is not prime. Res64: 4DA13A29C5C45130 Time : 1867.0 sec. user=vaughan [2011-11-11 18:44:02] 441*2^1047465-1 is not prime. Res64: 264787AF570C3E2C Time : 3065.0 sec. user=vaughan [2011-11-11 18:46:45] 427*2^1047469-1 is not prime. Res64: 87F91AA0C6B000CB Time : 1859.0 sec. user=vaughan [2011-11-11 18:50:55] 489*2^1047471-1 is not prime. Res64: AFA969503E25B996 Time : 1267.0 sec. user=vaughan [2011-11-11 18:51:28] 517*2^1047469-1 is not prime. Res64: 8153DE53B680BA7B Time : 1856.0 sec. user=vaughan [2011-11-11 18:52:37] 435*2^1047472-1 is not prime. Res64: CDBD5A7573172B55 Time : 1293.0 sec. user=vaughan [2011-11-11 18:53:33] 495*2^1047470-1 is not prime. Res64: 3622982C0144ABE3 Time : 1817.0 sec. user=vaughan [2011-11-11 19:01:23] 415*2^1047471-1 is not prime. Res64: 3A1E340045F5C38F Time : 2140.0 sec. user=vaughan [2011-11-11 19:02:06] 561*2^1047466-1 is not prime. Res64: D3AA23E15D8BADF0 Time : 3454.0 sec. user=vaughan [2011-11-11 19:02:16] 419*2^1047472-1 is not prime. Res64: FCE4B46650FF75D6 Time : 1888.0 sec. user=vaughan [2011-11-11 19:04:47] 567*2^1047469-1 is not prime. Res64: 0A861A0FC9656A8D Time : 2633.0 sec. user=vaughan [2011-11-11 19:07:30] 437*2^1047472-1 is not prime. Res64: 56E0B4BDEC194CB9 Time : 1873.0 sec. user=vaughan [2011-11-11 19:12:10] 573*2^1047472-1 is not prime. Res64: D553052D2F6D52BA Time : 1275.0 sec. user=vaughan [2011-11-11 19:14:20] 561*2^1047473-1 is not prime. Res64: 475CDA621B9D0272 Time : 1304.0 sec. user=vaughan [2011-11-11 19:17:45] 527*2^1047472-1 is not prime. Res64: BA9E26FBBE07EB59 Time : 1861.0 sec. user=vaughan [2011-11-11 19:22:27] 537*2^1047473-1 is not prime. Res64: 04A8AF0ABBCFAE31 Time : 1859.0 sec. user=vaughan [2011-11-11 19:23:59] 483*2^1047474-1 is not prime. Res64: C0B1B7B5D6EB7BE7 Time : 1826.0 sec. user=vaughan [2011-11-11 19:33:22] 519*2^1047475-1 is not prime. Res64: 70842B5464C48F60 Time : 1272.0 sec. user=vaughan [2011-11-11 19:33:45] 429*2^1047475-1 is not prime. Res64: 3AD3708681885A3A Time : 1889.0 sec. user=vaughan [2011-11-11 19:35:34] 507*2^1047472-1 is not prime. Res64: 9491D6E583AF9CC7 Time : 3092.0 sec. user=vaughan [2011-11-11 19:35:55] 473*2^1047476-1 is not prime. Res64: 2EE3C30CC029A61D Time : 1295.0 sec. user=vaughan [2011-11-11 19:36:59] 503*2^1047474-1 is not prime. Res64: B7A7ACEAF9F9A815 Time : 2137.0 sec. user=vaughan [2011-11-11 19:38:39] 495*2^1047475-1 is not prime. Res64: 9802EF2940307C38 Time : 1869.0 sec. user=vaughan [2011-11-11 19:48:39] 471*2^1047475-1 is not prime. Res64: B0D960CDE76702D9 Time : 2633.0 sec. user=vaughan [2011-11-11 19:48:39] 519*2^1047476-1 is not prime. Res64: 1808B2F137D5CCF4 Time : 1854.0 sec. user=vaughan [2011-11-11 19:53:20] 475*2^1047477-1 is not prime. Res64: C76A3261BFDD9BA8 Time : 1853.0 sec. user=vaughan [2011-11-11 19:54:12] 549*2^1047477-1 is not prime. Res64: 990BEBD4E9A18472 Time : 1813.0 sec. user=vaughan [2011-11-11 19:54:27] 585*2^1047477-1 is not prime. Res64: 8D94A78B194F01E8 Time : 1266.0 sec. user=vaughan [2011-11-11 19:57:32] 581*2^1047478-1 is not prime. Res64: 48FBD3E0B7CBA160 Time : 1297.0 sec. user=vaughan [2011-11-11 19:59:32] 513*2^1047474-1 is not prime. Res64: AFA59CE9F73FD197 Time : 3446.0 sec. user=vaughan [2011-11-11 20:05:08] 595*2^1047477-1 is not prime. Res64: 3572DCAC0584ED03 Time : 1883.0 sec. user=vaughan [2011-11-11 20:09:47] 411*2^1047479-1 is not prime. Res64: 34CF8D50F040C51A Time : 1868.0 sec. user=vaughan [2011-11-11 20:12:44] 597*2^1047478-1 is not prime. Res64: D8DD83C19FD59220 Time : 2145.0 sec. user=vaughan [2011-11-11 20:15:38] 597*2^1047480-1 is not prime. Res64: B7E9141D18581EC8 Time : 1271.0 sec. user=vaughan [2011-11-11 20:19:07] 577*2^1047481-1 is not prime. Res64: E256FA14C74D88C1 Time : 1295.0 sec. user=vaughan [2011-11-11 20:19:36] 469*2^1047479-1 is not prime. Res64: D895F4650571D8BA Time : 1857.0 sec. user=vaughan [2011-11-11 20:24:12] 523*2^1047479-1 is not prime. Res64: A050AC575033631F Time : 1852.0 sec. user=vaughan [2011-11-11 20:24:25] 543*2^1047479-1 is not prime. Res64: B9F817F8A961B154 Time : 1813.0 sec. user=vaughan [2011-11-11 20:26:55] 527*2^1047478-1 is not prime. Res64: CAD533B5547BA5D0 Time : 3081.0 sec. user=vaughan [2011-11-11 20:32:31] 451*2^1047479-1 is not prime. Res64: 284320A415C5ACBB Time : 2633.0 sec. user=vaughan [2011-11-11 20:36:37] 593*2^1047482-1 is not prime. Res64: 7723BFBFEAC83E5F Time : 1889.0 sec. user=vaughan [2011-11-11 20:36:49] 429*2^1047484-1 is not prime. Res64: B3814DEC5452EF44 Time : 1271.0 sec. user=vaughan [2011-11-11 20:40:42] 479*2^1047484-1 is not prime. Res64: 3E90F7C01BF86C30 Time : 1295.0 sec. user=vaughan [2011-11-11 20:40:56] 523*2^1047483-1 is not prime. Res64: 8E0D01683C46A77B Time : 1869.0 sec. user=vaughan [2011-11-11 20:48:27] 423*2^1047484-1 is not prime. Res64: EEDEFD96C215EAE7 Time : 2144.0 sec. user=vaughan [2011-11-11 20:50:35] 489*2^1047484-1 is not prime. Res64: D1A440DC2EA2F430 Time : 1860.0 sec. user=vaughan [2011-11-11 20:55:08] 497*2^1047484-1 is not prime. Res64: A51186366BC51D76 Time : 1856.0 sec. user=vaughan [2011-11-11 20:58:07] 547*2^1047485-1 is not prime. Res64: 894435EA3B1E46EB Time : 1278.0 sec. user=vaughan [2011-11-11 21:07:59] 511*2^1047485-1 is not prime. Res64: 554D38DF6C4A13EB Time : 1883.0 sec. user=vaughan [2011-11-11 21:12:05] 465*2^1047486-1 is not prime. Res64: 60848B69A6C64FD0 Time : 1869.0 sec. user=vaughan [2011-11-11 21:16:22] 481*2^1047485-1 is not prime. Res64: A5529C8FB435336F Time : 2632.0 sec. user=vaughan [2011-11-11 21:19:24] 513*2^1047486-1 is not prime. Res64: 285ED5ACCDACD08B Time : 1857.0 sec. user=vaughan [2011-11-11 21:19:43] 421*2^1047487-1 is not prime. Res64: F25953DCB0419E7B Time : 1296.0 sec. user=vaughan [2011-11-11 21:39:35] 549*2^1047487-1 is not prime. Res64: 03032DCC6C36BA8D Time : 1896.0 sec. user=vaughan [2011-11-11 21:41:24] 503*2^1047488-1 is not prime. Res64: 3F24D1A132B11A09 Time : 1301.0 sec. user=vaughan [2011-11-11 21:50:38] 459*2^1047488-1 is not prime. Res64: 684B610751916615 Time : 1874.0 sec. user=vaughan [2011-11-11 22:00:15] 555*2^1047487-1 is not prime. Res64: 841F4B2E2FB45F73 Time : 2633.0 sec. user=vaughan [2011-11-11 22:03:02] 585*2^1047488-1 is not prime. Res64: 3DABB1DACFD9B5BF Time : 1298.0 sec. user=vaughan [2011-11-11 22:11:08] 509*2^1047488-1 is not prime. Res64: 4F1DEC7FAB763AF1 Time : 1893.0 sec. user=vaughan [2011-11-11 22:20:53] 599*2^1047488-1 is not prime. Res64: 69943F45B98FA5FC Time : 1815.0 sec. user=vaughan [2011-11-11 22:24:40] 441*2^1047489-1 is not prime. Res64: F7653319E1A4BE9E Time : 1298.0 sec. user=vaughan [2011-11-11 22:42:40] 459*2^1047489-1 is not prime. Res64: 0AC7C7C9E3CFD2F9 Time : 1893.0 sec. user=vaughan [2011-11-11 22:44:07] 429*2^1047489-1 is not prime. Res64: BCA2612EBE2C1051 Time : 2632.0 sec. user=vaughan [2011-11-11 22:46:15] 579*2^1047489-1 is not prime. Res64: 65DBA306168CD779 Time : 1295.0 sec. user=vaughan [2011-11-11 22:51:14] 535*2^1047489-1 is not prime. Res64: 6C342F2DB71CC181 Time : 1822.0 sec. user=vaughan [2011-11-11 23:07:56] 421*2^1047491-1 is not prime. Res64: 17F03BCFC6E4C48A Time : 1301.0 sec. user=vaughan [2011-11-11 23:14:13] 467*2^1047490-1 is not prime. Res64: 17E0D87706744D8E Time : 1893.0 sec. user=vaughan [2011-11-11 23:21:33] 511*2^1047491-1 is not prime. Res64: BE6477BC9658C45D Time : 1819.0 sec. user=vaughan [2011-11-11 23:28:00] 525*2^1047490-1 is not prime. Res64: 265F8F891643408A Time : 2633.0 sec. user=vaughan [2011-11-11 23:29:44] 595*2^1047491-1 is not prime. Res64: BA5189361889DB87 Time : 1308.0 sec. user=vaughan [2011-11-11 23:45:45] 405*2^1047492-1 is not prime. Res64: 8B34E939F610ED3D Time : 1893.0 sec. user=vaughan [2011-11-11 23:51:22] 435*2^1047493-1 is not prime. Res64: EFDBD8CF049767DF Time : 1298.0 sec. user=vaughan [2011-11-11 23:51:59] 545*2^1047492-1 is not prime. Res64: 434BFCECD1233795 Time : 1827.0 sec.