user=vaughan [2009-07-27 00:04:14] 479*2^704660-1 is not prime. Res64: 4F9B3DE035BBC0C5 Time : 4795.0 sec. user=vaughan [2009-07-27 00:07:30] 519*2^704660-1 is not prime. Res64: AA8213668C11DD78 Time : 4774.0 sec. user=vaughan [2009-07-27 00:12:13] 537*2^704660-1 is not prime. Res64: EA9FD12E7A0D6ECF Time : 4794.0 sec. user=vaughan [2009-07-27 00:15:30] 557*2^704660-1 is not prime. Res64: A4811682EE8A2D64 Time : 4779.0 sec. user=vaughan [2009-07-27 00:20:13] 579*2^704660-1 is not prime. Res64: 3848AA626335CE58 Time : 4794.0 sec. user=vaughan [2009-07-27 00:23:30] 585*2^704660-1 is not prime. Res64: 20DC00EE5A1D0A5D Time : 4784.0 sec. user=vaughan [2009-07-27 00:28:14] 409*2^704661-1 is not prime. Res64: 60DC1915BDE87A64 Time : 4794.0 sec. user=vaughan [2009-07-27 00:31:30] 427*2^704661-1 is not prime. Res64: 7298707E747BDF5F Time : 4789.0 sec. user=vaughan [2009-07-27 00:36:13] 471*2^704661-1 is not prime. Res64: AE0A7084B1FD2AFB Time : 4794.0 sec. user=vaughan [2009-07-27 00:40:13] 487*2^704661-1 is not prime. Res64: 4A891A83ECC0AB5A Time : 4835.0 sec. user=vaughan [2009-07-27 00:44:11] 455*2^704662-1 is not prime. Res64: 770CE04BC0081BB1 Time : 4792.0 sec. user=vaughan [2009-07-27 00:47:18] 465*2^704663-1 is not prime. Res64: 81EFCD4D2EAB03A0 Time : 4736.0 sec. user=vaughan [2009-07-27 00:47:25] 527*2^704662-1 is not prime. Res64: D78CEFA6829F0849 Time : 4793.0 sec. user=vaughan [2009-07-27 00:52:07] 501*2^704663-1 is not prime. Res64: 12481D0E245651AA Time : 4789.0 sec. user=vaughan [2009-07-27 00:55:21] 505*2^704663-1 is not prime. Res64: 4387917F55C421C7 Time : 4793.0 sec. user=vaughan [2009-07-27 01:00:03] 519*2^704663-1 is not prime. Res64: DED434BDE47E8B73 Time : 4786.0 sec. user=vaughan [2009-07-27 01:04:35] 573*2^704663-1 is not prime. Res64: DE4436791D40CDAE Time : 4868.0 sec. user=vaughan [2009-07-27 01:09:17] 585*2^704663-1 is not prime. Res64: 3DC76FE7B115D7A8 Time : 4862.0 sec. user=vaughan [2009-07-27 01:12:17] 465*2^704664-1 is not prime. Res64: 3A91486A776E7B4C Time : 4852.0 sec. user=vaughan [2009-07-27 01:16:53] 489*2^704664-1 is not prime. Res64: 4B1D704FFDA5592D Time : 4838.0 sec. user=vaughan [2009-07-27 01:19:59] 497*2^704664-1 is not prime. Res64: 385604E841F8D831 Time : 4828.0 sec. user=vaughan [2009-07-27 01:24:27] 543*2^704664-1 is not prime. Res64: 8D8B2C13A88594AB Time : 4813.0 sec. user=vaughan [2009-07-27 01:27:37] 441*2^704665-1 is not prime. Res64: 92164B43D20A22BA Time : 4807.0 sec. user=vaughan [2009-07-27 01:32:03] 477*2^704665-1 is not prime. Res64: 61F6907A776FA80D Time : 4790.0 sec. user=vaughan [2009-07-27 01:35:17] 541*2^704665-1 is not prime. Res64: 8B520F2571935AE5 Time : 4787.0 sec. user=vaughan [2009-07-27 01:39:38] 567*2^704665-1 is not prime. Res64: 0399EBFB12D839F5 Time : 4766.0 sec. user=vaughan [2009-07-27 01:42:59] 589*2^704665-1 is not prime. Res64: 16E090B5887DC7D2 Time : 4769.0 sec. user=vaughan [2009-07-27 01:47:15] 597*2^704665-1 is not prime. Res64: 05B12F7C73B23FCC Time : 4741.0 sec. user=vaughan [2009-07-27 01:50:43] 407*2^704666-1 is not prime. Res64: B2C80BAF0B5E1905 Time : 4753.0 sec. user=vaughan [2009-07-27 01:54:52] 503*2^704666-1 is not prime. Res64: AE585301761D5EA8 Time : 4719.0 sec. user=vaughan [2009-07-27 01:58:29] 545*2^704666-1 is not prime. Res64: C577D7EA055F2A40 Time : 4696.0 sec. user=vaughan [2009-07-27 02:02:29] 567*2^704666-1 is not prime. Res64: D26DED2B35BE7B19 Time : 4699.0 sec. user=vaughan [2009-07-27 02:06:15] 475*2^704667-1 is not prime. Res64: 5F41095696965FBD Time : 4730.0 sec. user=vaughan [2009-07-27 02:10:06] 543*2^704667-1 is not prime. Res64: 8C72420BE11746D6 Time : 4679.0 sec. user=vaughan [2009-07-27 02:14:03] 579*2^704667-1 is not prime. Res64: FC1BC96C3CDA10E3 Time : 4722.0 sec. user=vaughan [2009-07-27 02:14:30] 587*2^704666-1 is not prime. Res64: 19138B5015554F00 Time : 5232.0 sec. user=vaughan [2009-07-27 02:17:44] 583*2^704667-1 is not prime. Res64: 96012BAD630B51AD Time : 4661.0 sec. user=vaughan [2009-07-27 02:21:50] 585*2^704667-1 is not prime. Res64: 3A515041194964AE Time : 467.0 sec. user=vaughan [2009-07-27 02:25:23] 465*2^704668-1 is not prime. Res64: 2C67980BAB04DD5F Time : 459.0 sec. user=vaughan [2009-07-27 02:29:37] 483*2^704668-1 is not prime. Res64: B91AE8688B364B1D Time : 467.0 sec. user=vaughan [2009-07-27 02:33:02] 563*2^704668-1 is not prime. Res64: 1EB188EE36885548 Time : 459.0 sec. user=vaughan [2009-07-27 02:37:22] 597*2^704668-1 is not prime. Res64: 5724C6FE2F0FAE15 Time : 465.0 sec. user=vaughan [2009-07-27 02:40:39] 559*2^704669-1 is not prime. Res64: E9E348A2B451845F Time : 457.0 sec. user=vaughan [2009-07-27 02:40:44] 419*2^704668-1 is not prime. Res64: 55EA8B6C26029006 Time : 1574.0 sec. user=vaughan [2009-07-27 02:45:02] 417*2^704670-1 is not prime. Res64: 0C01965E88F7394F Time : 460.0 sec. user=vaughan [2009-07-27 02:48:16] 465*2^704670-1 is not prime. Res64: A22E4D53981DD30E Time : 457.0 sec. user=vaughan [2009-07-27 02:52:42] 587*2^704670-1 is not prime. Res64: EF2749ADB51FBAA9 Time : 460.0 sec. user=vaughan [2009-07-27 02:55:53] 423*2^704671-1 is not prime. Res64: D9AEF9D82A52AE0E Time : 457.0 sec. user=vaughan [2009-07-27 03:00:22] 465*2^704671-1 is not prime. Res64: C7C9A57B62DF2249 Time : 460.0 sec. user=vaughan [2009-07-27 03:03:31] 559*2^704671-1 is not prime. Res64: 3428EF6DC83FD6CA Time : 458.0 sec. user=vaughan [2009-07-27 03:08:03] 423*2^704672-1 is not prime. Res64: E85C6E019ED8D721 Time : 461.0 sec. user=vaughan [2009-07-27 03:11:08] 593*2^704672-1 is not prime. Res64: 0FCEF837F1E8BC12 Time : 457.0 sec. user=vaughan [2009-07-27 03:15:44] 507*2^704673-1 is not prime. Res64: E248F381617BE060 Time : 461.0 sec. user=vaughan [2009-07-27 03:18:45] 517*2^704673-1 is not prime. Res64: 6A076C08746BF228 Time : 457.0 sec. user=vaughan [2009-07-27 03:23:26] 565*2^704673-1 is not prime. Res64: 7A33FC1D17ED4085 Time : 462.0 sec. user=vaughan [2009-07-27 03:26:22] 597*2^704673-1 is not prime. Res64: 155F204461715D6B Time : 457.0 sec. user=vaughan [2009-07-27 03:31:08] 425*2^704674-1 is not prime. Res64: 79E63AD7B8213C40 Time : 462.0 sec. user=vaughan [2009-07-27 03:33:59] 483*2^704674-1 is not prime. Res64: 7FA593B321F29948 Time : 457.0 sec. user=vaughan [2009-07-27 03:37:42] 527*2^704670-1 is not prime. Res64: AE1C70306E6A75BE Time : 3419.0 sec. user=vaughan [2009-07-27 03:38:50] 527*2^704674-1 is not prime. Res64: 287D43DD8044B062 Time : 462.0 sec. user=vaughan [2009-07-27 03:41:35] 433*2^704675-1 is not prime. Res64: B10D950C42CA49CA Time : 456.0 sec. user=vaughan [2009-07-27 03:46:32] 557*2^704676-1 is not prime. Res64: E58824955AE8BECB Time : 462.0 sec. user=vaughan [2009-07-27 03:49:11] 577*2^704677-1 is not prime. Res64: 570CADDE2D0EAC71 Time : 456.0 sec. user=vaughan [2009-07-27 03:54:14] 551*2^704678-1 is not prime. Res64: FD878DAE5816B3FE Time : 462.0 sec. user=vaughan [2009-07-27 03:56:47] 411*2^704679-1 is not prime. Res64: CAB8693F9F4FF8FC Time : 456.0 sec. user=vaughan [2009-07-27 04:01:55] 429*2^704679-1 is not prime. Res64: E699878230B37FDD Time : 461.0 sec. user=vaughan [2009-07-27 04:04:23] 439*2^704679-1 is not prime. Res64: DB6E99346149B8D2 Time : 456.0 sec. user=vaughan [2009-07-27 04:09:36] 441*2^704679-1 is not prime. Res64: FA2062E7DFB8EC4A Time : 461.0 sec. user=vaughan [2009-07-27 04:11:59] 511*2^704679-1 is not prime. Res64: E4CFBE38CAF73410 Time : 456.0 sec. user=vaughan [2009-07-27 04:17:17] 513*2^704679-1 is not prime. Res64: 9C00991838A63CE8 Time : 461.0 sec. user=vaughan [2009-07-27 04:19:35] 523*2^704679-1 is not prime. Res64: 3E49B9A484706381 Time : 456.0 sec. user=vaughan [2009-07-27 04:24:58] 571*2^704679-1 is not prime. Res64: 8DEEF5F64686C503 Time : 461.0 sec. user=vaughan [2009-07-27 04:27:11] 453*2^704680-1 is not prime. Res64: E631D6A7B42BFF9B Time : 456.0 sec. user=vaughan [2009-07-27 04:32:40] 483*2^704680-1 is not prime. Res64: 545ED69988EF621C Time : 462.0 sec. user=vaughan [2009-07-27 04:34:47] 509*2^704680-1 is not prime. Res64: E04A8DF530E4BAC7 Time : 456.0 sec. user=vaughan [2009-07-27 04:40:22] 537*2^704680-1 is not prime. Res64: 6432AA669D329DE0 Time : 462.0 sec. user=vaughan [2009-07-27 04:42:23] 563*2^704680-1 is not prime. Res64: FC817521C5A3F14A Time : 456.0 sec. user=vaughan [2009-07-27 04:48:04] 567*2^704680-1 is not prime. Res64: 4C71F3A70A5FAAEB Time : 462.0 sec. user=vaughan [2009-07-27 04:49:59] 569*2^704680-1 is not prime. Res64: 277774609CA43E5E Time : 457.0 sec. user=vaughan [2009-07-27 04:55:46] 597*2^704680-1 is not prime. Res64: C84FEC05405CC480 Time : 462.0 sec. user=vaughan [2009-07-27 04:57:35] 411*2^704681-1 is not prime. Res64: 93C36BDF8FD8A807 Time : 457.0 sec. user=vaughan [2009-07-27 05:03:27] 517*2^704681-1 is not prime. Res64: 7777F42CD819B352 Time : 461.0 sec. user=vaughan [2009-07-27 05:05:11] 525*2^704682-1 is not prime. Res64: BD3F6CF3BF4B3377 Time : 457.0 sec. user=vaughan [2009-07-27 05:11:08] 519*2^704683-1 is not prime. Res64: FCC9891407F10252 Time : 461.0 sec. user=vaughan [2009-07-27 05:12:47] 555*2^704683-1 is not prime. Res64: EADBE324E33BF396 Time : 457.0 sec. user=vaughan [2009-07-27 05:18:49] 477*2^704684-1 is not prime. Res64: 7B15F660D10D92C3 Time : 461.0 sec. user=vaughan [2009-07-27 05:20:23] 539*2^704684-1 is not prime. Res64: DDEDE6B9ACCF0656 Time : 456.0 sec. user=vaughan [2009-07-27 05:26:30] 567*2^704684-1 is not prime. Res64: 4BD72B4DD416FE58 Time : 461.0 sec. user=vaughan [2009-07-27 05:27:59] 587*2^704684-1 is not prime. Res64: 9B680803520C6C65 Time : 456.0 sec. user=vaughan [2009-07-27 05:34:12] 409*2^704685-1 is not prime. Res64: 94C01D0F19811343 Time : 462.0 sec. user=vaughan [2009-07-27 05:35:34] 445*2^704685-1 is not prime. Res64: 01923FB91D73A647 Time : 455.0 sec. user=vaughan [2009-07-27 05:41:53] 451*2^704685-1 is not prime. Res64: D4B7C53CFF5B5B6E Time : 461.0 sec. user=vaughan [2009-07-27 05:43:09] 597*2^704685-1 is not prime. Res64: 19D558DF8F4F16EB Time : 455.0 sec. user=vaughan [2009-07-27 05:49:33] 411*2^704686-1 is not prime. Res64: B7916C9D5B03F3D1 Time : 460.0 sec. user=vaughan [2009-07-27 05:50:45] 561*2^704686-1 is not prime. Res64: C4493004B14813B0 Time : 456.0 sec. user=vaughan [2009-07-27 05:57:13] 451*2^704687-1 is not prime. Res64: F1630BE2329E5AB2 Time : 460.0 sec. user=vaughan [2009-07-27 05:58:21] 493*2^704687-1 is not prime. Res64: 8610FA07481572E6 Time : 457.0 sec. user=vaughan [2009-07-27 06:04:54] 589*2^704687-1 is not prime. Res64: 0AE2EDE357D9CD1E Time : 461.0 sec. user=vaughan [2009-07-27 06:05:57] 527*2^704688-1 is not prime. Res64: D547CB917CD5DE7B Time : 457.0 sec. user=vaughan [2009-07-27 06:06:51] 485*2^704676-1 is not prime. Res64: ECB562974F5A6035 Time : 8949.0 sec. user=vaughan [2009-07-27 06:12:34] 539*2^704688-1 is not prime. Res64: 33740274F10CDFA0 Time : 460.0 sec. user=vaughan [2009-07-27 06:13:33] 597*2^704688-1 is not prime. Res64: F3B72AC399CB85B6 Time : 457.0 sec. user=vaughan [2009-07-27 06:20:14] 511*2^704689-1 is not prime. Res64: FBABBA6D07FD902A Time : 460.0 sec. user=vaughan [2009-07-27 06:21:09] 517*2^704689-1 is not prime. Res64: 609BDAF87572B1CD Time : 457.0 sec. user=vaughan [2009-07-27 06:27:55] 525*2^704689-1 is not prime. Res64: C137E64CB3954786 Time : 461.0 sec. user=vaughan [2009-07-27 06:28:45] 411*2^704690-1 is not prime. Res64: 6EC95D472CE3A6D2 Time : 457.0 sec. user=vaughan [2009-07-27 06:34:19] 411*2^704689-1 is not prime. Res64: E9082EBB369B2ED0 Time : 1649.0 sec. user=vaughan [2009-07-27 06:35:35] 417*2^704690-1 is not prime. Res64: 08E3BA1888FB0E60 Time : 461.0 sec. user=vaughan [2009-07-27 06:36:20] 503*2^704690-1 is not prime. Res64: 2BFC4E649AF78B30 Time : 456.0 sec. user=vaughan [2009-07-27 06:43:15] 545*2^704690-1 is not prime. Res64: 3AFF3AE5455AF6BD Time : 461.0 sec. user=vaughan [2009-07-27 06:43:57] 585*2^704690-1 is not prime. Res64: 959CDF574229160C Time : 457.0 sec. user=vaughan [2009-07-27 06:50:53] 415*2^704691-1 is not prime. Res64: C7F92172256100B9 Time : 459.0 sec. user=vaughan [2009-07-27 06:51:32] 511*2^704691-1 is not prime. Res64: 9DCF2E8653723DC7 Time : 456.0 sec. user=vaughan [2009-07-27 06:58:34] 483*2^704692-1 is not prime. Res64: 2EF5340B0ACE7681 Time : 461.0 sec. user=vaughan [2009-07-27 06:59:06] 513*2^704692-1 is not prime. Res64: 6475FDD0DB94E1A2 Time : 454.0 sec. user=vaughan [2009-07-27 07:02:25] 531*2^704690-1 is not prime. Res64: A2C03E0092ADE93B Time : 1687.0 sec. user=vaughan [2009-07-27 07:06:16] 539*2^704692-1 is not prime. Res64: 22D9A37E649DA573 Time : 462.0 sec. user=vaughan [2009-07-27 07:06:40] 411*2^704693-1 is not prime. Res64: 20E80A63D49504AA Time : 454.0 sec. user=vaughan [2009-07-27 07:13:59] 517*2^704693-1 is not prime. Res64: 03D03B2776E34717 Time : 463.0 sec. user=vaughan [2009-07-27 07:14:15] 561*2^704693-1 is not prime. Res64: D49255B594F0F177 Time : 455.0 sec. user=vaughan [2009-07-27 07:21:42] 521*2^704694-1 is not prime. Res64: DF2652CE833335EA Time : 463.0 sec. user=vaughan [2009-07-27 07:21:50] 415*2^704695-1 is not prime. Res64: 3CB6761E0C782481 Time : 455.0 sec. user=vaughan [2009-07-27 07:32:35] 421*2^704693-1 is not prime. Res64: 2AC17D9E1D3CB7CB Time : 1811.0 sec. user=vaughan [2009-07-27 07:47:49] 495*2^704696-1 is not prime. Res64: 548BAD67E8FCC8A8 Time : 1567.0 sec. user=vaughan [2009-07-27 07:47:50] 537*2^704696-1 is not prime. Res64: AAEC618BDD1E1BB4 Time : 1560.0 sec. user=vaughan [2009-07-27 07:55:26] 537*2^704697-1 is not prime. Res64: A4EB0996557F651A Time : 456.0 sec. user=vaughan [2009-07-27 07:55:30] 517*2^704697-1 is not prime. Res64: 3ADC532E4D312F22 Time : 461.0 sec. user=vaughan [2009-07-27 08:02:11] 501*2^704697-1 is not prime. Res64: 6B514E09C72C376B Time : 1776.0 sec. user=vaughan [2009-07-27 08:03:02] 413*2^704698-1 is not prime. Res64: 969E2C7AB5256C86 Time : 456.0 sec. user=vaughan [2009-07-27 08:03:11] 471*2^704698-1 is not prime. Res64: ADB64C17694B797D Time : 461.0 sec. user=vaughan [2009-07-27 08:10:38] 507*2^704698-1 is not prime. Res64: 646B94AE76E12A2E Time : 456.0 sec. user=vaughan [2009-07-27 08:10:52] 525*2^704698-1 is not prime. Res64: 04B05DEE13676EB3 Time : 461.0 sec. user=vaughan [2009-07-27 08:18:14] 567*2^704698-1 is not prime. Res64: 6C3F21326C33E062 Time : 456.0 sec. user=vaughan [2009-07-27 08:18:33] 581*2^704698-1 is not prime. Res64: 563AD5CBDD60F423 Time : 461.0 sec. user=vaughan [2009-07-27 08:25:50] 433*2^704699-1 is not prime. Res64: 9346F5A8F5CD970E Time : 456.0 sec. user=vaughan [2009-07-27 08:26:14] 463*2^704699-1 is not prime. Res64: 7AD589FE9E69FD4F Time : 461.0 sec. user=vaughan [2009-07-27 08:32:16] 483*2^704698-1 is not prime. Res64: 4F0431B30F8E7782 Time : 1806.0 sec. user=vaughan [2009-07-27 08:33:26] 555*2^704700-1 is not prime. Res64: 72232C6A1605C168 Time : 456.0 sec. user=vaughan [2009-07-27 08:33:55] 569*2^704700-1 is not prime. Res64: 9E3453C257CC01FE Time : 461.0 sec. user=vaughan [2009-07-27 08:41:02] 415*2^704701-1 is not prime. Res64: 60431F65B7C7BE51 Time : 456.0 sec. user=vaughan [2009-07-27 08:41:35] 471*2^704701-1 is not prime. Res64: 1466CA668DEF537E Time : 460.0 sec. user=vaughan [2009-07-27 08:48:38] 477*2^704701-1 is not prime. Res64: F2B10CA4E4E9E4F3 Time : 456.0 sec. user=vaughan [2009-07-27 08:49:15] 505*2^704701-1 is not prime. Res64: 1089A0BBBB0A4C43 Time : 460.0 sec. user=vaughan [2009-07-27 08:56:13] 511*2^704701-1 is not prime. Res64: A4D52C802A0D233A Time : 455.0 sec. user=vaughan [2009-07-27 08:56:56] 437*2^704702-1 is not prime. Res64: E589127D46C8524E Time : 461.0 sec. user=vaughan [2009-07-27 09:03:43] 587*2^704700-1 is not prime. Res64: 51C8A3F09C02D75C Time : 1888.0 sec. user=vaughan [2009-07-27 09:03:49] 503*2^704702-1 is not prime. Res64: E6EC6C67F0C240C4 Time : 456.0 sec. user=vaughan [2009-07-27 09:04:37] 515*2^704702-1 is not prime. Res64: B6F21618A2F04439 Time : 461.0 sec. user=vaughan [2009-07-27 09:11:24] 593*2^704702-1 is not prime. Res64: 2C72CA8ED1A6DA29 Time : 455.0 sec. user=vaughan [2009-07-27 09:12:17] 465*2^704703-1 is not prime. Res64: 91464A20466CBFD8 Time : 460.0 sec. user=vaughan [2009-07-27 09:19:00] 471*2^704703-1 is not prime. Res64: 2CA4C58975A09B31 Time : 456.0 sec. user=vaughan [2009-07-27 09:19:57] 483*2^704703-1 is not prime. Res64: F972167C7E3B6B9C Time : 460.0 sec. user=vaughan [2009-07-27 09:26:36] 437*2^704704-1 is not prime. Res64: 2C0FC9C3030FCF0D Time : 456.0 sec. user=vaughan [2009-07-27 09:27:38] 479*2^704704-1 is not prime. Res64: 60884A41D999E7AD Time : 461.0 sec. user=vaughan [2009-07-27 09:34:12] 495*2^704704-1 is not prime. Res64: 57102B9A7DEABA32 Time : 456.0 sec. user=vaughan [2009-07-27 09:35:19] 533*2^704704-1 is not prime. Res64: 2A935C26AD3AB816 Time : 461.0 sec. user=vaughan [2009-07-27 09:35:25] 557*2^704702-1 is not prime. Res64: 1CDB6D76C41B12A9 Time : 1903.0 sec. user=vaughan [2009-07-27 09:41:48] 567*2^704704-1 is not prime. Res64: 179990FDB5FE7102 Time : 456.0 sec. user=vaughan [2009-07-27 09:43:00] 483*2^704706-1 is not prime. Res64: 41394AE2B96F9C90 Time : 461.0 sec. user=vaughan [2009-07-27 09:49:24] 451*2^704707-1 is not prime. Res64: AF093557715F9188 Time : 456.0 sec. user=vaughan [2009-07-27 09:50:41] 425*2^704708-1 is not prime. Res64: CDA689761438A9B9 Time : 461.0 sec. user=vaughan [2009-07-27 09:56:59] 459*2^704708-1 is not prime. Res64: 0632A74676D8750E Time : 455.0 sec. user=vaughan [2009-07-27 09:58:22] 525*2^704708-1 is not prime. Res64: AEA9D5B2A52E5A41 Time : 461.0 sec. user=vaughan [2009-07-27 10:04:35] 599*2^704708-1 is not prime. Res64: 0562AFED4A812F78 Time : 456.0 sec. user=vaughan [2009-07-27 10:06:03] 459*2^704709-1 is not prime. Res64: 3CA17D5731D40EAE Time : 461.0 sec. user=vaughan [2009-07-27 10:07:15] 563*2^704706-1 is not prime. Res64: E51D6AFE7793AF4F Time : 1911.0 sec. user=vaughan [2009-07-27 10:12:11] 471*2^704709-1 is not prime. Res64: 726B6FF403C617F5 Time : 456.0 sec. user=vaughan [2009-07-27 10:13:44] 595*2^704709-1 is not prime. Res64: E208CC325BB1FF54 Time : 461.0 sec. user=vaughan [2009-07-27 10:19:47] 461*2^704710-1 is not prime. Res64: 9D262701A62D19EF Time : 456.0 sec. user=vaughan [2009-07-27 10:21:24] 555*2^704710-1 is not prime. Res64: 6C907C911D656045 Time : 460.0 sec. user=vaughan [2009-07-27 10:27:22] 441*2^704711-1 is not prime. Res64: 327355553B7F061C Time : 455.0 sec. user=vaughan [2009-07-27 10:29:06] 475*2^704711-1 is not prime. Res64: 4C6BA9ED3CC81B4B Time : 462.0 sec. user=vaughan [2009-07-27 10:34:56] 511*2^704711-1 is not prime. Res64: ED0D3D8F647266B4 Time : 454.0 sec. user=vaughan [2009-07-27 10:36:48] 549*2^704711-1 is not prime. Res64: C9773A072054B058 Time : 462.0 sec. user=vaughan [2009-07-27 10:38:59] 405*2^704710-1 is not prime. Res64: 21113F391524DD52 Time : 1904.0 sec. user=vaughan [2009-07-27 10:42:31] 437*2^704712-1 is not prime. Res64: D72E21158D552994 Time : 455.0 sec. user=vaughan [2009-07-27 10:44:30] 587*2^704712-1 is not prime. Res64: D27A97A8C6EBB5DA Time : 462.0 sec. user=vaughan [2009-07-27 10:50:06] 525*2^704713-1 is not prime. Res64: D4FEB9C36D7E6AE0 Time : 455.0 sec. user=vaughan [2009-07-27 10:52:11] 533*2^704714-1 is not prime. Res64: C322EF09FE46AA18 Time : 461.0 sec. user=vaughan [2009-07-27 10:57:41] 453*2^704715-1 is not prime. Res64: 2604DA1170066D6B Time : 455.0 sec. user=vaughan [2009-07-27 10:59:52] 475*2^704715-1 is not prime. Res64: FCACDAAA8528203A Time : 461.0 sec. user=vaughan [2009-07-27 11:05:16] 511*2^704715-1 is not prime. Res64: EC77E7B09585F51E Time : 455.0 sec. user=vaughan [2009-07-27 11:07:34] 585*2^704715-1 is not prime. Res64: 83D1DE409A4A6B1B Time : 462.0 sec. user=vaughan [2009-07-27 11:12:51] 413*2^704716-1 is not prime. Res64: E6007F5A2DDE7503 Time : 455.0 sec. user=vaughan [2009-07-27 11:15:15] 443*2^704716-1 is not prime. Res64: 9222C10F4510014C Time : 461.0 sec. user=vaughan [2009-07-27 11:20:26] 455*2^704716-1 is not prime. Res64: A99E9626F2E2451D Time : 455.0 sec. user=vaughan [2009-07-27 11:22:57] 525*2^704716-1 is not prime. Res64: C9FFC644CDF50BD8 Time : 462.0 sec. user=vaughan [2009-07-27 11:28:02] 537*2^704716-1 is not prime. Res64: BCEE73460A686B0B Time : 457.0 sec. user=vaughan [2009-07-27 11:30:39] 441*2^704717-1 is not prime. Res64: C16E298A97E61407 Time : 462.0 sec. user=vaughan [2009-07-27 11:35:37] 425*2^704718-1 is not prime. Res64: F2438130EAC18C97 Time : 455.0 sec. user=vaughan [2009-07-27 11:38:17] 485*2^704718-1 is not prime. Res64: FC2E72B4CC0328A0 Time : 458.0 sec. user=vaughan [2009-07-27 11:43:11] 507*2^704718-1 is not prime. Res64: 16716455C679DB43 Time : 454.0 sec. user=vaughan [2009-07-27 11:45:56] 527*2^704718-1 is not prime. Res64: 06E0B63554445F6B Time : 459.0 sec. user=vaughan [2009-07-27 11:50:45] 573*2^704718-1 is not prime. Res64: 467C5A1FE06F48D7 Time : 454.0 sec. user=vaughan [2009-07-27 11:53:35] 439*2^704719-1 is not prime. Res64: FB9ADFF6A244B012 Time : 460.0 sec. user=vaughan [2009-07-27 11:55:55] 439*2^704713-1 is not prime. Res64: 6CDAC3E6CD2C07BF Time : 4616.0 sec. user=vaughan [2009-07-27 11:58:19] 465*2^704719-1 is not prime. Res64: 0411506F801CF8B9 Time : 454.0 sec. user=vaughan [2009-07-27 12:01:13] 505*2^704719-1 is not prime. Res64: 2CF6A8BD5A74BA10 Time : 458.0 sec. user=vaughan [2009-07-27 12:05:53] 555*2^704719-1 is not prime. Res64: 8196F56AC83D3D86 Time : 454.0 sec. user=vaughan [2009-07-27 12:08:51] 559*2^704719-1 is not prime. Res64: D2C52678B1A5D992 Time : 458.0 sec. user=vaughan [2009-07-27 12:13:27] 595*2^704719-1 is not prime. Res64: 1AF44D3D86971201 Time : 454.0 sec. user=vaughan [2009-07-27 12:16:29] 465*2^704720-1 is not prime. Res64: AC2CC4FAE28B51EE Time : 458.0 sec. user=vaughan [2009-07-27 12:21:01] 503*2^704720-1 is not prime. Res64: 3922E7B579514822 Time : 454.0 sec. user=vaughan [2009-07-27 12:24:07] 557*2^704720-1 is not prime. Res64: F9801D2B95CC69EC Time : 458.0 sec. user=vaughan [2009-07-27 12:28:09] 525*2^704719-1 is not prime. Res64: 1A20D486AFB5221F Time : 1934.0 sec. user=vaughan [2009-07-27 12:28:35] 577*2^704721-1 is not prime. Res64: EE28C093C29E740F Time : 454.0 sec. user=vaughan [2009-07-27 12:31:45] 585*2^704721-1 is not prime. Res64: F0D97F6CB1C1D46E Time : 458.0 sec. user=vaughan [2009-07-27 12:36:09] 467*2^704722-1 is not prime. Res64: 1EDA3AC716C49C91 Time : 454.0 sec. user=vaughan [2009-07-27 12:39:23] 477*2^704722-1 is not prime. Res64: 213AB0DB2D2A61F1 Time : 458.0 sec. user=vaughan [2009-07-27 12:43:44] 497*2^704722-1 is not prime. Res64: C6241B29D1D7FF6D Time : 455.0 sec. user=vaughan [2009-07-27 12:47:01] 433*2^704723-1 is not prime. Res64: EF61F762E8EEF960 Time : 458.0 sec. user=vaughan [2009-07-27 12:51:18] 489*2^704723-1 is not prime. Res64: 07B2CC5A17AEC6B5 Time : 454.0 sec. user=vaughan [2009-07-27 12:54:39] 565*2^704723-1 is not prime. Res64: 209FFEA185B19EFE Time : 458.0 sec. user=vaughan [2009-07-27 12:58:52] 595*2^704723-1 is not prime. Res64: 704EE0A1EC8D03BE Time : 454.0 sec. user=vaughan [2009-07-27 13:00:39] 447*2^704722-1 is not prime. Res64: 1CB52AD0C347569A Time : 1950.0 sec. user=vaughan [2009-07-27 13:02:17] 593*2^704724-1 is not prime. Res64: 86563181FB47043F Time : 458.0 sec. user=vaughan [2009-07-27 13:06:26] 465*2^704725-1 is not prime. Res64: B62E48DEB569F1B7 Time : 454.0 sec. user=vaughan [2009-07-27 13:09:56] 437*2^704726-1 is not prime. Res64: 8922E516E16737CB Time : 459.0 sec. user=vaughan [2009-07-27 13:14:00] 563*2^704726-1 is not prime. Res64: 88661D0DB41D49D9 Time : 454.0 sec. user=vaughan [2009-07-27 13:17:34] 581*2^704726-1 is not prime. Res64: 3FA0A60723CFCBA0 Time : 458.0 sec. user=vaughan [2009-07-27 13:21:34] 483*2^704727-1 is not prime. Res64: 4F36D3B32C421022 Time : 455.0 sec. user=vaughan [2009-07-27 13:25:12] 489*2^704727-1 is not prime. Res64: CBB6D0D1987511EB Time : 458.0 sec. user=vaughan [2009-07-27 13:29:09] 511*2^704727-1 is not prime. Res64: A10A40BBB66F249D Time : 455.0 sec. user=vaughan [2009-07-27 13:32:50] 559*2^704727-1 is not prime. Res64: B5F6E69EF2470334 Time : 458.0 sec. user=vaughan [2009-07-27 13:33:17] 541*2^704725-1 is not prime. Res64: 0792B02CE0860F22 Time : 1958.0 sec. user=vaughan [2009-07-27 13:36:43] 573*2^704727-1 is not prime. Res64: F8099F0F356BB7BE Time : 455.0 sec. user=vaughan [2009-07-27 13:40:28] 483*2^704728-1 is not prime. Res64: B9A3201EE3EBB5B0 Time : 458.0 sec. user=vaughan [2009-07-27 13:44:18] 435*2^704729-1 is not prime. Res64: F167607CEB466E6C Time : 456.0 sec. user=vaughan [2009-07-27 13:48:06] 459*2^704729-1 is not prime. Res64: 131E8FA4239CC2F5 Time : 458.0 sec. user=vaughan [2009-07-27 13:51:52] 579*2^704729-1 is not prime. Res64: F7F8E0434C2121D2 Time : 455.0 sec. user=vaughan [2009-07-27 13:55:44] 417*2^704730-1 is not prime. Res64: 566B7FD2BA383B28 Time : 458.0 sec. user=vaughan [2009-07-27 13:59:26] 465*2^704730-1 is not prime. Res64: 59BA5B0C68543D6B Time : 455.0 sec. user=vaughan [2009-07-27 14:03:23] 515*2^704730-1 is not prime. Res64: E19699019B2BA2C4 Time : 459.0 sec. user=vaughan [2009-07-27 14:06:08] 485*2^704728-1 is not prime. Res64: CE8E9BC29D2B587D Time : 1971.0 sec. user=vaughan [2009-07-27 14:07:00] 527*2^704730-1 is not prime. Res64: 51D54C5606697D4F Time : 455.0 sec. user=vaughan [2009-07-27 14:11:01] 537*2^704730-1 is not prime. Res64: 2F4AAF8299680598 Time : 458.0 sec. user=vaughan [2009-07-27 14:14:35] 405*2^704731-1 is not prime. Res64: FF8D17CBDB1A0BD4 Time : 456.0 sec. user=vaughan [2009-07-27 14:18:44] 421*2^704731-1 is not prime. Res64: C30A56D3AF307FE1 Time : 463.0 sec. user=vaughan [2009-07-27 14:22:11] 447*2^704732-1 is not prime. Res64: 6E9B6D617B1B0A64 Time : 457.0 sec. user=vaughan [2009-07-27 14:26:23] 489*2^704732-1 is not prime. Res64: 59F9A91641AE712E Time : 459.0 sec. user=vaughan [2009-07-27 14:29:44] 519*2^704732-1 is not prime. Res64: 2EC7FD7F3B63F776 Time : 453.0 sec. user=vaughan [2009-07-27 14:34:04] 525*2^704732-1 is not prime. Res64: C33B58CAD4D65103 Time : 461.0 sec. user=vaughan [2009-07-27 14:36:06] 543*2^704730-1 is not prime. Res64: A9947B1FB0C2AC63 Time : 1798.0 sec. user=vaughan [2009-07-27 14:37:17] 537*2^704732-1 is not prime. Res64: 0F5FED7DFE11B963 Time : 453.0 sec. user=vaughan [2009-07-27 14:41:46] 563*2^704732-1 is not prime. Res64: BCE27A404BBFBC5E Time : 462.0 sec. user=vaughan [2009-07-27 14:44:50] 471*2^704733-1 is not prime. Res64: C9F5682F140CEDEA Time : 453.0 sec. user=vaughan [2009-07-27 14:49:27] 487*2^704733-1 is not prime. Res64: 9F861C2728CE5C32 Time : 461.0 sec. user=vaughan [2009-07-27 14:52:22] 423*2^704734-1 is not prime. Res64: 2D633830BEDEBC92 Time : 452.0 sec. user=vaughan [2009-07-27 14:57:09] 447*2^704734-1 is not prime. Res64: 7D4F1898A4C1211E Time : 462.0 sec. user=vaughan [2009-07-27 14:59:55] 455*2^704734-1 is not prime. Res64: 6B89081ACA16CE40 Time : 453.0 sec. user=vaughan [2009-07-27 15:04:11] 587*2^704732-1 is not prime. Res64: 363D80ADAE2E7781 Time : 1685.0 sec. user=vaughan [2009-07-27 15:04:50] 461*2^704734-1 is not prime. Res64: A55B0FE4ABDA5BFC Time : 461.0 sec. user=vaughan [2009-07-27 15:07:27] 483*2^704734-1 is not prime. Res64: 350717FEE68D5DE0 Time : 452.0 sec. user=vaughan [2009-07-27 15:12:31] 521*2^704734-1 is not prime. Res64: 1026E094F98D2D27 Time : 461.0 sec. user=vaughan [2009-07-27 15:14:59] 533*2^704734-1 is not prime. Res64: 814C2278794F253E Time : 452.0 sec. user=vaughan [2009-07-27 15:20:13] 561*2^704734-1 is not prime. Res64: E06D7CA16084622F Time : 462.0 sec. user=vaughan [2009-07-27 15:22:31] 403*2^704735-1 is not prime. Res64: 770830F81307F82C Time : 452.0 sec. user=vaughan [2009-07-27 15:27:54] 421*2^704735-1 is not prime. Res64: 37DADA5956575807 Time : 461.0 sec. user=vaughan [2009-07-27 15:30:03] 481*2^704735-1 is not prime. Res64: D1841D8B4E8FFD3D Time : 452.0 sec. user=vaughan [2009-07-27 15:31:50] 495*2^704734-1 is not prime. Res64: B7002F43E697A1A1 Time : 1659.0 sec. user=vaughan [2009-07-27 15:35:36] 573*2^704735-1 is not prime. Res64: 8B1F3ADA84B64EF2 Time : 462.0 sec. user=vaughan [2009-07-27 15:37:35] 459*2^704736-1 is not prime. Res64: E93A5472B4F0F7C2 Time : 452.0 sec. user=vaughan [2009-07-27 15:43:17] 427*2^704737-1 is not prime. Res64: 7B80780F826C49B1 Time : 461.0 sec. user=vaughan [2009-07-27 15:45:08] 429*2^704737-1 is not prime. Res64: 621739C39F33E671 Time : 453.0 sec. user=vaughan [2009-07-27 15:50:58] 517*2^704737-1 is not prime. Res64: 8C282EF1FDE73F7E Time : 461.0 sec. user=vaughan [2009-07-27 15:52:40] 507*2^704738-1 is not prime. Res64: 31C17B1FBA8E2B74 Time : 453.0 sec. user=vaughan [2009-07-27 15:58:39] 533*2^704738-1 is not prime. Res64: 2AC4393058ADEE94 Time : 461.0 sec. user=vaughan [2009-07-27 15:58:43] 597*2^704736-1 is not prime. Res64: 434834A394788DA6 Time : 1614.0 sec. user=vaughan [2009-07-27 16:00:12] 415*2^704739-1 is not prime. Res64: 599DE994833CE9BD Time : 452.0 sec. user=vaughan [2009-07-27 16:06:19] 493*2^704739-1 is not prime. Res64: C6058CA4C830289B Time : 460.0 sec. user=vaughan [2009-07-27 16:07:44] 595*2^704739-1 is not prime. Res64: F865024BB827C452 Time : 452.0 sec. user=vaughan [2009-07-27 16:14:00] 513*2^704740-1 is not prime. Res64: B7C2DF95C02561F0 Time : 461.0 sec. user=vaughan [2009-07-27 16:15:16] 569*2^704740-1 is not prime. Res64: 0D1CA8C5B48771DB Time : 452.0 sec. user=vaughan [2009-07-27 16:21:41] 447*2^704741-1 is not prime. Res64: 7594C3F389D88CFF Time : 461.0 sec. user=vaughan [2009-07-27 16:22:48] 423*2^704742-1 is not prime. Res64: B9650C6EBA6A349A Time : 452.0 sec. user=vaughan [2009-07-27 16:29:21] 567*2^704742-1 is not prime. Res64: 5262C371A3F99A07 Time : 460.0 sec. user=vaughan [2009-07-27 16:30:21] 587*2^704742-1 is not prime. Res64: E2D8556873411F39 Time : 453.0 sec. user=vaughan [2009-07-27 16:36:59] 411*2^704743-1 is not prime. Res64: 9C151C6CCC86F2C4 Time : 458.0 sec. user=vaughan [2009-07-27 16:37:55] 465*2^704743-1 is not prime. Res64: 61DEBFF749268F4D Time : 454.0 sec. user=vaughan [2009-07-27 16:41:25] 549*2^704739-1 is not prime. Res64: A716478BCC116055 Time : 2563.0 sec. user=vaughan [2009-07-27 16:44:37] 475*2^704743-1 is not prime. Res64: 43F0FD0C2E015D1B Time : 458.0 sec. user=vaughan [2009-07-27 16:45:29] 511*2^704743-1 is not prime. Res64: C89B0E00C8E16FD6 Time : 454.0 sec. user=vaughan [2009-07-27 16:52:17] 423*2^704744-1 is not prime. Res64: 561CCA707D11ED2D Time : 460.0 sec. user=vaughan [2009-07-27 16:53:04] 437*2^704744-1 is not prime. Res64: 001763C6B3B88D11 Time : 455.0 sec. user=vaughan [2009-07-27 16:59:55] 557*2^704744-1 is not prime. Res64: 6C89809F42A44CF3 Time : 458.0 sec. user=vaughan [2009-07-27 17:00:39] 599*2^704744-1 is not prime. Res64: 49A239169AE9B5D0 Time : 455.0 sec. user=vaughan [2009-07-27 17:07:34] 409*2^704745-1 is not prime. Res64: A5478E92DF3F7461 Time : 459.0 sec. user=vaughan [2009-07-27 17:08:14] 459*2^704745-1 is not prime. Res64: F347D30C06FB81FE Time : 455.0 sec. user=vaughan [2009-07-27 17:15:13] 517*2^704745-1 is not prime. Res64: 9023C13E978DE0A4 Time : 459.0 sec. user=vaughan [2009-07-27 17:15:48] 577*2^704745-1 is not prime. Res64: 8C2A06885BF55D94 Time : 454.0 sec. user=vaughan [2009-07-27 17:22:51] 411*2^704746-1 is not prime. Res64: 8E376D570902C5FE Time : 458.0 sec. user=vaughan [2009-07-27 17:23:23] 527*2^704746-1 is not prime. Res64: CAACCEDBD8C05853 Time : 455.0 sec. user=vaughan [2009-07-27 17:30:30] 581*2^704746-1 is not prime. Res64: 4F015BEC299FD96F Time : 459.0 sec. user=vaughan [2009-07-27 17:30:57] 465*2^704747-1 is not prime. Res64: A928F23D918196E7 Time : 454.0 sec. user=vaughan [2009-07-27 17:38:09] 405*2^704748-1 is not prime. Res64: A2B1C0AA4066450B Time : 459.0 sec. user=vaughan [2009-07-27 17:38:31] 423*2^704748-1 is not prime. Res64: E26B835F9C16E0FC Time : 454.0 sec. user=vaughan [2009-07-27 17:45:49] 437*2^704748-1 is not prime. Res64: 8791472B4DCED3ED Time : 460.0 sec. user=vaughan [2009-07-27 17:46:06] 473*2^704748-1 is not prime. Res64: ECCAFDE8B6BE8D13 Time : 455.0 sec. user=vaughan [2009-07-27 17:53:28] 479*2^704748-1 is not prime. Res64: D01CDF9E8B2C4483 Time : 460.0 sec. user=vaughan [2009-07-27 17:53:40] 555*2^704748-1 is not prime. Res64: C800D404F60B7D7D Time : 455.0 sec. user=vaughan [2009-07-27 18:01:06] 429*2^704749-1 is not prime. Res64: DC21B89751AD5725 Time : 458.0 sec. user=vaughan [2009-07-27 18:01:15] 435*2^704749-1 is not prime. Res64: 45D4E94A7F844F60 Time : 455.0 sec. user=vaughan [2009-07-27 18:08:45] 471*2^704749-1 is not prime. Res64: 7702AADF69D05A0D Time : 459.0 sec. user=vaughan [2009-07-27 18:08:49] 537*2^704749-1 is not prime. Res64: F0603F77B730A62C Time : 454.0 sec. user=vaughan [2009-07-27 18:16:23] 417*2^704750-1 is not prime. Res64: 6D1E45A169914CB9 Time : 454.0 sec. user=vaughan [2009-07-27 18:16:24] 565*2^704749-1 is not prime. Res64: 6D13CA45977F9CB0 Time : 459.0 sec. user=vaughan [2009-07-27 18:23:58] 561*2^704750-1 is not prime. Res64: 7D639A0DC1BEC572 Time : 455.0 sec. user=vaughan [2009-07-27 18:24:03] 465*2^704751-1 is not prime. Res64: B45A07ECB5104EB6 Time : 460.0 sec. user=vaughan [2009-07-27 18:25:41] 573*2^704743-1 is not prime. Res64: 7504FA1486E5CC9B Time : 6257.0 sec. user=vaughan [2009-07-27 18:31:33] 513*2^704751-1 is not prime. Res64: 59AEEDF87FD80C19 Time : 455.0 sec. user=vaughan [2009-07-27 18:31:42] 549*2^704751-1 is not prime. Res64: C19145D7441426C0 Time : 460.0 sec. user=vaughan [2009-07-27 18:39:08] 437*2^704752-1 is not prime. Res64: 39D890932E56F200 Time : 455.0 sec. user=vaughan [2009-07-27 18:39:21] 567*2^704752-1 is not prime. Res64: D1E11C5E5D3BE001 Time : 459.0 sec. user=vaughan [2009-07-27 18:46:43] 411*2^704753-1 is not prime. Res64: E756855AF746F2D0 Time : 455.0 sec. user=vaughan [2009-07-27 18:47:00] 487*2^704753-1 is not prime. Res64: 17D983772A69CB99 Time : 460.0 sec. user=vaughan [2009-07-27 18:54:18] 507*2^704753-1 is not prime. Res64: 66CB6287F7CF7182 Time : 455.0 sec. user=vaughan [2009-07-27 18:54:38] 589*2^704753-1 is not prime. Res64: 966197E00E280DA2 Time : 459.0 sec. user=vaughan [2009-07-27 18:54:54] 413*2^704752-1 is not prime. Res64: F2332A7CEDE7A7B8 Time : 1753.0 sec. user=vaughan [2009-07-27 19:01:54] 411*2^704754-1 is not prime. Res64: 65C84F21ADB0D728 Time : 456.0 sec. user=vaughan [2009-07-27 19:02:19] 417*2^704754-1 is not prime. Res64: 0753C4AA3F566F6F Time : 462.0 sec. user=vaughan [2009-07-27 19:09:29] 497*2^704754-1 is not prime. Res64: DD6C97749995D111 Time : 455.0 sec. user=vaughan [2009-07-27 19:09:59] 531*2^704754-1 is not prime. Res64: D51B488EB5243448 Time : 460.0 sec. user=vaughan [2009-07-27 19:17:04] 555*2^704754-1 is not prime. Res64: 5380412F2AE08C44 Time : 455.0 sec. user=vaughan [2009-07-27 19:17:37] 405*2^704755-1 is not prime. Res64: 65AB7A9F4384BDDC Time : 459.0 sec. user=vaughan [2009-07-27 19:24:40] 429*2^704755-1 is not prime. Res64: 7F2399CEC0A1EB0F Time : 456.0 sec. user=vaughan [2009-07-27 19:25:16] 463*2^704755-1 is not prime. Res64: 7D2DA103FD0865BE Time : 460.0 sec. user=vaughan [2009-07-27 19:32:15] 481*2^704755-1 is not prime. Res64: C2CAA90932871759 Time : 456.0 sec. user=vaughan [2009-07-27 19:32:56] 493*2^704755-1 is not prime. Res64: C795297424CDF95C Time : 461.0 sec. user=vaughan [2009-07-27 19:33:48] 431*2^704754-1 is not prime. Res64: 807DEE72D8712267 Time : 2334.0 sec. user=vaughan [2009-07-27 19:39:50] 495*2^704755-1 is not prime. Res64: BBEFB5E9F3BBBDCD Time : 455.0 sec. user=vaughan [2009-07-27 19:40:34] 535*2^704755-1 is not prime. Res64: 74EF968960F2C1F8 Time : 459.0 sec. user=vaughan [2009-07-27 19:47:25] 405*2^704756-1 is not prime. Res64: EAE5A0DA4730588E Time : 455.0 sec. user=vaughan [2009-07-27 19:48:12] 435*2^704756-1 is not prime. Res64: F0CD48806CE91BC3 Time : 459.0 sec. user=vaughan [2009-07-27 19:55:01] 455*2^704756-1 is not prime. Res64: 13964851CE5088F2 Time : 457.0 sec. user=vaughan [2009-07-27 19:55:50] 587*2^704756-1 is not prime. Res64: 6A9D34948FE0C49D Time : 459.0 sec. user=vaughan [2009-07-27 20:02:35] 445*2^704757-1 is not prime. Res64: 843525AC0A1A1D8B Time : 455.0 sec. user=vaughan [2009-07-27 20:03:30] 507*2^704757-1 is not prime. Res64: 192D4296BF30B9F3 Time : 461.0 sec. user=vaughan [2009-07-27 20:10:08] 517*2^704757-1 is not prime. Res64: 0444E58A20DCD5A9 Time : 454.0 sec. user=vaughan [2009-07-27 20:11:11] 571*2^704757-1 is not prime. Res64: B840E6F5FA6122D3 Time : 462.0 sec. user=vaughan [2009-07-27 20:17:41] 401*2^704758-1 is not prime. Res64: 2FD01735CC53CB8D Time : 454.0 sec. user=vaughan [2009-07-27 20:18:52] 435*2^704758-1 is not prime. Res64: 5143251436F315DC Time : 462.0 sec. user=vaughan [2009-07-27 20:25:13] 471*2^704758-1 is not prime. Res64: 9FDF72233702CFA0 Time : 453.0 sec. user=vaughan [2009-07-27 20:26:33] 561*2^704758-1 is not prime. Res64: 1AF3B64C8B04D231 Time : 462.0 sec. user=vaughan [2009-07-27 20:32:44] 439*2^704759-1 is not prime. Res64: 833C1ED1C07CD447 Time : 452.0 sec. user=vaughan [2009-07-27 20:34:14] 489*2^704759-1 is not prime. Res64: EFF3CEE0E06F25B3 Time : 462.0 sec. user=vaughan [2009-07-27 20:40:16] 493*2^704759-1 is not prime. Res64: C39275CCF7D4D352 Time : 452.0 sec. user=vaughan [2009-07-27 20:41:55] 543*2^704759-1 is not prime. Res64: 46D802915285C070 Time : 462.0 sec. user=vaughan [2009-07-27 20:47:48] 565*2^704759-1 is not prime. Res64: 2C16FAF75EEE35B9 Time : 452.0 sec. user=vaughan [2009-07-27 20:49:36] 579*2^704759-1 is not prime. Res64: 408BC1EEF9D2B57D Time : 462.0 sec. user=vaughan [2009-07-27 20:55:20] 595*2^704759-1 is not prime. Res64: 911E03A84D33B92C Time : 452.0 sec. user=vaughan [2009-07-27 20:57:17] 515*2^704760-1 is not prime. Res64: 97B25CEA86BBC190 Time : 462.0 sec. user=vaughan [2009-07-27 21:02:53] 597*2^704760-1 is not prime. Res64: 9AA423DF397C23B6 Time : 453.0 sec. user=vaughan [2009-07-27 21:04:58] 439*2^704761-1 is not prime. Res64: 241C8368F7D4FB5E Time : 462.0 sec. user=vaughan [2009-07-27 21:10:25] 441*2^704761-1 is not prime. Res64: EE0A5CF8382E6B60 Time : 452.0 sec. user=vaughan [2009-07-27 21:11:02] 595*2^704755-1 is not prime. Res64: 2A3C6B35ADE9892A Time : 5834.0 sec. user=vaughan [2009-07-27 21:12:39] 445*2^704763-1 is not prime. Res64: 786ACBBDBBC2DD7B Time : 462.0 sec. user=vaughan [2009-07-27 21:17:57] 453*2^704763-1 is not prime. Res64: D312DAABCADC46C3 Time : 452.0 sec. user=vaughan [2009-07-27 21:20:21] 583*2^704763-1 is not prime. Res64: AE0BFA81D02C26C8 Time : 463.0 sec. user=vaughan [2009-07-27 21:25:30] 413*2^704764-1 is not prime. Res64: 1565E7648B0CF8A6 Time : 453.0 sec. user=vaughan [2009-07-27 21:28:02] 453*2^704764-1 is not prime. Res64: 4572F2A356462882 Time : 461.0 sec. user=vaughan [2009-07-27 21:33:02] 485*2^704764-1 is not prime. Res64: C88CAC5EB5A42D5A Time : 452.0 sec. user=vaughan [2009-07-27 21:35:43] 533*2^704764-1 is not prime. Res64: 684024E4257A449D Time : 461.0 sec. user=vaughan [2009-07-27 21:40:00] 471*2^704763-1 is not prime. Res64: 07D898DE1DEACBF7 Time : 1738.0 sec. user=vaughan [2009-07-27 21:40:35] 545*2^704764-1 is not prime. Res64: 8F14C5B2295D6C22 Time : 453.0 sec. user=vaughan [2009-07-27 21:43:22] 549*2^704764-1 is not prime. Res64: EA940AEAA9D81B24 Time : 459.0 sec. user=vaughan [2009-07-27 21:48:11] 441*2^704765-1 is not prime. Res64: BC8CD494BDCC02D6 Time : 456.0 sec. user=vaughan [2009-07-27 21:51:00] 465*2^704765-1 is not prime. Res64: BDA2FB1B694EEC76 Time : 458.0 sec. user=vaughan [2009-07-27 21:55:46] 481*2^704765-1 is not prime. Res64: A58EE07AEEB52BCE Time : 455.0 sec. user=vaughan [2009-07-27 21:58:38] 591*2^704765-1 is not prime. Res64: B9EB1E6CC3731EBF Time : 458.0 sec. user=vaughan [2009-07-27 22:03:23] 405*2^704766-1 is not prime. Res64: 6A4AF882B16F2E43 Time : 457.0 sec. user=vaughan [2009-07-27 22:06:16] 483*2^704766-1 is not prime. Res64: 0E9F8B52D21354C0 Time : 459.0 sec. user=vaughan [2009-07-27 22:10:03] 405*2^704765-1 is not prime. Res64: 4CDFD2FE21E886AE Time : 1803.0 sec. user=vaughan [2009-07-27 22:10:58] 521*2^704766-1 is not prime. Res64: 23D1752FE882F93D Time : 456.0 sec. user=vaughan [2009-07-27 22:13:54] 581*2^704766-1 is not prime. Res64: 3B0BD457B58D0A82 Time : 459.0 sec. user=vaughan [2009-07-27 22:18:33] 505*2^704767-1 is not prime. Res64: 79B1B8D38B8F8A3C Time : 456.0 sec. user=vaughan [2009-07-27 22:21:32] 555*2^704767-1 is not prime. Res64: 3AA8092EDCABC5C6 Time : 458.0 sec. user=vaughan [2009-07-27 22:26:08] 589*2^704767-1 is not prime. Res64: 5C5D4240A8BE78E4 Time : 456.0 sec. user=vaughan [2009-07-27 22:29:10] 473*2^704768-1 is not prime. Res64: BBB3E56D67850E56 Time : 458.0 sec. user=vaughan [2009-07-27 22:33:44] 503*2^704768-1 is not prime. Res64: 42777DBA24265D80 Time : 456.0 sec. user=vaughan [2009-07-27 22:36:47] 539*2^704768-1 is not prime. Res64: C5D3A10C7BDF4E35 Time : 457.0 sec. user=vaughan [2009-07-27 22:40:41] 475*2^704767-1 is not prime. Res64: 7A9B2C4FF5F0EF0E Time : 1838.0 sec. user=vaughan [2009-07-27 22:41:20] 557*2^704768-1 is not prime. Res64: 6F769AA409468337 Time : 456.0 sec. user=vaughan [2009-07-27 22:44:25] 481*2^704769-1 is not prime. Res64: DD486A06A36650AE Time : 458.0 sec. user=vaughan [2009-07-27 22:48:56] 565*2^704769-1 is not prime. Res64: 90FA87AF731FBD35 Time : 456.0 sec. user=vaughan [2009-07-27 22:52:03] 495*2^704770-1 is not prime. Res64: 5038FEEA58EBB8B3 Time : 458.0 sec. user=vaughan [2009-07-27 22:56:32] 531*2^704770-1 is not prime. Res64: 615C796D11EB625E Time : 456.0 sec. user=vaughan [2009-07-27 22:59:41] 545*2^704770-1 is not prime. Res64: 8384CE70BED5D080 Time : 458.0 sec. user=vaughan [2009-07-27 23:04:07] 489*2^704771-1 is not prime. Res64: 15295CFE6012A492 Time : 455.0 sec. user=vaughan [2009-07-27 23:07:18] 571*2^704771-1 is not prime. Res64: 547AC9397DD66F11 Time : 457.0 sec. user=vaughan [2009-07-27 23:11:31] 507*2^704769-1 is not prime. Res64: 8C7B517853E974B9 Time : 1850.0 sec. user=vaughan [2009-07-27 23:11:42] 429*2^704772-1 is not prime. Res64: 7893E253F426F2CB Time : 455.0 sec. user=vaughan [2009-07-27 23:14:56] 527*2^704772-1 is not prime. Res64: 31F8289F8EDD4E46 Time : 458.0 sec. user=vaughan [2009-07-27 23:19:17] 557*2^704772-1 is not prime. Res64: DAE6FFCFB2192713 Time : 455.0 sec. user=vaughan [2009-07-27 23:22:34] 587*2^704772-1 is not prime. Res64: 7FCC5036ABE7B452 Time : 458.0 sec. user=vaughan [2009-07-27 23:26:53] 429*2^704773-1 is not prime. Res64: 3279D63A68705D19 Time : 456.0 sec. user=vaughan [2009-07-27 23:30:12] 451*2^704773-1 is not prime. Res64: E0F7F0840E8CEC86 Time : 458.0 sec. user=vaughan [2009-07-27 23:34:28] 517*2^704773-1 is not prime. Res64: A245E92A0EDDFB91 Time : 455.0 sec. user=vaughan [2009-07-27 23:37:50] 525*2^704773-1 is not prime. Res64: 1F41449755A51248 Time : 458.0 sec. user=vaughan [2009-07-27 23:46:07] 567*2^704773-1 is not prime. Res64: 6317CF1349782003 Time : 699.0 sec. user=vaughan [2009-07-27 23:46:37] 549*2^704772-1 is not prime. Res64: 34C227A45AA008CA Time : 2107.0 sec. user=vaughan [2009-07-27 23:46:38] 533*2^704774-1 is not prime. Res64: B26CD756245406CC Time : 528.0 sec. user=vaughan [2009-07-27 23:54:15] 587*2^704774-1 is not prime. Res64: 976503A0E36B7C00 Time : 458.0 sec. user=vaughan [2009-07-27 23:56:14] 441*2^704775-1 is not prime. Res64: 0F3C3F730756B51D Time : 546.0 sec.