user=vaughan [2009-08-03 00:01:15] 549*2^705709-1 is not prime. Res64: 5C721C2AE086F89E Time : 461.0 sec. user=vaughan [2009-08-03 00:01:28] 479*2^705708-1 is not prime. Res64: 336A399CF3E427B4 Time : 695.0 sec. user=vaughan [2009-08-03 00:01:30] 483*2^705708-1 is not prime. Res64: 81030F14360825E4 Time : 696.0 sec. user=vaughan [2009-08-03 00:01:32] 485*2^705708-1 is not prime. Res64: 1C9477BC71F12976 Time : 697.0 sec. user=vaughan [2009-08-03 00:01:45] 435*2^705709-1 is not prime. Res64: 7142432D110E9A5D Time : 693.0 sec. user=vaughan [2009-08-03 00:07:12] 577*2^705709-1 is not prime. Res64: 163A616A761E0D55 Time : 455.0 sec. user=vaughan [2009-08-03 00:08:56] 589*2^705709-1 is not prime. Res64: 2E2BCB9F6FC8DAB9 Time : 461.0 sec. user=vaughan [2009-08-03 00:12:50] 407*2^705710-1 is not prime. Res64: 728B7E06B9EF324F Time : 682.0 sec. user=vaughan [2009-08-03 00:12:50] 489*2^705711-1 is not prime. Res64: AD01F23A5549CC08 Time : 679.0 sec. user=vaughan [2009-08-03 00:12:51] 515*2^705710-1 is not prime. Res64: 6A4B44D6FCC7153D Time : 682.0 sec. user=vaughan [2009-08-03 00:13:06] 535*2^705711-1 is not prime. Res64: A736C3D8BF73D3AC Time : 681.0 sec. user=vaughan [2009-08-03 00:14:47] 549*2^705711-1 is not prime. Res64: A52653C651C8FF5B Time : 455.0 sec. user=vaughan [2009-08-03 00:16:37] 419*2^705712-1 is not prime. Res64: C2C41B2289F55F5A Time : 461.0 sec. user=vaughan [2009-08-03 00:22:23] 465*2^705713-1 is not prime. Res64: 942DDE308CA7DA18 Time : 456.0 sec. user=vaughan [2009-08-03 00:23:50] 479*2^705712-1 is not prime. Res64: 453384E9E78D69FD Time : 660.0 sec. user=vaughan [2009-08-03 00:23:51] 563*2^705712-1 is not prime. Res64: D2C0028683961214 Time : 661.0 sec. user=vaughan [2009-08-03 00:23:51] 455*2^705712-1 is not prime. Res64: 152D814648E4AA3A Time : 661.0 sec. user=vaughan [2009-08-03 00:24:05] 435*2^705713-1 is not prime. Res64: 67479A25A29EE11A Time : 659.0 sec. user=vaughan [2009-08-03 00:24:18] 489*2^705713-1 is not prime. Res64: 45E1BB186C249C30 Time : 461.0 sec. user=vaughan [2009-08-03 00:29:59] 559*2^705713-1 is not prime. Res64: EE00754FBF162108 Time : 456.0 sec. user=vaughan [2009-08-03 00:31:59] 449*2^705716-1 is not prime. Res64: BDD2676FCF0CFF82 Time : 461.0 sec. user=vaughan [2009-08-03 00:35:10] 411*2^705715-1 is not prime. Res64: C40D103130C65F02 Time : 679.0 sec. user=vaughan [2009-08-03 00:35:10] 425*2^705714-1 is not prime. Res64: 460B89280CA4E673 Time : 680.0 sec. user=vaughan [2009-08-03 00:35:11] 593*2^705714-1 is not prime. Res64: 8D4F2EA7D9FBB603 Time : 680.0 sec. user=vaughan [2009-08-03 00:35:24] 499*2^705715-1 is not prime. Res64: E01F74D9D56D3E10 Time : 679.0 sec. user=vaughan [2009-08-03 00:37:35] 459*2^705716-1 is not prime. Res64: A64929A8078A8790 Time : 456.0 sec. user=vaughan [2009-08-03 00:39:39] 537*2^705717-1 is not prime. Res64: 68A852FB491FBE3F Time : 460.0 sec. user=vaughan [2009-08-03 00:45:10] 447*2^705720-1 is not prime. Res64: F45A5485069986DF Time : 455.0 sec. user=vaughan [2009-08-03 00:45:53] 425*2^705718-1 is not prime. Res64: C7DD7408A42F1964 Time : 643.0 sec. user=vaughan [2009-08-03 00:45:54] 555*2^705718-1 is not prime. Res64: BC2AEFDD04B6A4BE Time : 644.0 sec. user=vaughan [2009-08-03 00:45:56] 595*2^705719-1 is not prime. Res64: EBBF2EF9A47DC727 Time : 645.0 sec. user=vaughan [2009-08-03 00:46:09] 413*2^705720-1 is not prime. Res64: FABBFA13D7167657 Time : 645.0 sec. user=vaughan [2009-08-03 00:47:27] 525*2^705720-1 is not prime. Res64: A56714A6917210A8 Time : 468.0 sec. user=vaughan [2009-08-03 00:52:46] 421*2^705721-1 is not prime. Res64: C8003F0B80FA072C Time : 456.0 sec. user=vaughan [2009-08-03 00:55:13] 531*2^705721-1 is not prime. Res64: D53A511EC1DA7BDE Time : 466.0 sec. user=vaughan [2009-08-03 00:56:12] 429*2^705721-1 is not prime. Res64: A4CF2E010CEBAC44 Time : 619.0 sec. user=vaughan [2009-08-03 00:56:13] 511*2^705721-1 is not prime. Res64: 3CC4AD6AC2296B98 Time : 619.0 sec. user=vaughan [2009-08-03 00:56:14] 517*2^705721-1 is not prime. Res64: 9BF4CF72033E63B8 Time : 618.0 sec. user=vaughan [2009-08-03 00:56:28] 525*2^705721-1 is not prime. Res64: B90080AD2BFE76E1 Time : 619.0 sec. user=vaughan [2009-08-03 01:00:23] 447*2^705722-1 is not prime. Res64: DCA415BB2A049E90 Time : 457.0 sec. user=vaughan [2009-08-03 01:02:57] 503*2^705722-1 is not prime. Res64: 4121E0A9879E7405 Time : 464.0 sec. user=vaughan [2009-08-03 01:06:39] 411*2^705723-1 is not prime. Res64: F9631C53E0F76280 Time : 627.0 sec. user=vaughan [2009-08-03 01:06:40] 441*2^705723-1 is not prime. Res64: F61FC61F677A3768 Time : 627.0 sec. user=vaughan [2009-08-03 01:06:41] 471*2^705723-1 is not prime. Res64: 7F6FD60BA022E0C8 Time : 627.0 sec. user=vaughan [2009-08-03 01:06:54] 495*2^705723-1 is not prime. Res64: D58E1186362D58A0 Time : 626.0 sec. user=vaughan [2009-08-03 01:07:59] 437*2^705724-1 is not prime. Res64: 1323DF1B46F3B4DB Time : 456.0 sec. user=vaughan [2009-08-03 01:10:37] 507*2^705724-1 is not prime. Res64: 883864B026C31BDD Time : 460.0 sec. user=vaughan [2009-08-03 01:15:45] 547*2^705725-1 is not prime. Res64: 33359E6D776E71B3 Time : 466.0 sec. user=vaughan [2009-08-03 01:18:11] 545*2^705724-1 is not prime. Res64: 5EE91D5725F9875F Time : 692.0 sec. user=vaughan [2009-08-03 01:18:12] 481*2^705725-1 is not prime. Res64: 983658682C7196BD Time : 693.0 sec. user=vaughan [2009-08-03 01:18:14] 507*2^705725-1 is not prime. Res64: F9623EE03F88EC56 Time : 693.0 sec. user=vaughan [2009-08-03 01:18:20] 589*2^705725-1 is not prime. Res64: 9FFABC99481D0BAE Time : 463.0 sec. user=vaughan [2009-08-03 01:18:30] 529*2^705725-1 is not prime. Res64: 6B639868E22415B2 Time : 696.0 sec. user=vaughan [2009-08-03 01:24:05] 437*2^705726-1 is not prime. Res64: CC386B0FB1CE5A65 Time : 501.0 sec. user=vaughan [2009-08-03 01:26:09] 557*2^705726-1 is not prime. Res64: 27849A6C6E1AEC10 Time : 469.0 sec. user=vaughan [2009-08-03 01:29:16] 501*2^705726-1 is not prime. Res64: 80D1E9AE42F7C327 Time : 665.0 sec. user=vaughan [2009-08-03 01:29:19] 527*2^705726-1 is not prime. Res64: 4D97CF9C89057661 Time : 665.0 sec. user=vaughan [2009-08-03 01:29:19] 471*2^705726-1 is not prime. Res64: 4D24D38C8B0C463D Time : 668.0 sec. user=vaughan [2009-08-03 01:29:32] 593*2^705726-1 is not prime. Res64: 5052CEC18531A032 Time : 662.0 sec. user=vaughan [2009-08-03 01:31:41] 405*2^705727-1 is not prime. Res64: FDA6192F34672557 Time : 457.0 sec. user=vaughan [2009-08-03 01:33:49] 511*2^705727-1 is not prime. Res64: 53C5EADB6D9F3F8E Time : 460.0 sec. user=vaughan [2009-08-03 01:39:17] 473*2^705728-1 is not prime. Res64: 47D0840B5C743480 Time : 456.0 sec. user=vaughan [2009-08-03 01:39:38] 531*2^705727-1 is not prime. Res64: CB8D67ACBC064F45 Time : 622.0 sec. user=vaughan [2009-08-03 01:39:42] 559*2^705727-1 is not prime. Res64: AF77A80A8A6452D6 Time : 624.0 sec. user=vaughan [2009-08-03 01:39:42] 583*2^705727-1 is not prime. Res64: E10D5C34D4E30D60 Time : 624.0 sec. user=vaughan [2009-08-03 01:39:53] 589*2^705727-1 is not prime. Res64: 87A6924D3C077441 Time : 621.0 sec. user=vaughan [2009-08-03 01:41:29] 469*2^705729-1 is not prime. Res64: 2A028ADEC2C06630 Time : 460.0 sec. user=vaughan [2009-08-03 01:46:53] 559*2^705729-1 is not prime. Res64: AC858FB0B1C47ACD Time : 456.0 sec. user=vaughan [2009-08-03 01:49:09] 403*2^705731-1 is not prime. Res64: 1FCC0E54742794C2 Time : 460.0 sec. user=vaughan [2009-08-03 01:50:27] 571*2^705729-1 is not prime. Res64: B3A41C10AB683913 Time : 649.0 sec. user=vaughan [2009-08-03 01:50:31] 575*2^705730-1 is not prime. Res64: CF73DB7EE0F3D9E0 Time : 649.0 sec. user=vaughan [2009-08-03 01:50:32] 453*2^705730-1 is not prime. Res64: 7D66C1EA8EC68125 Time : 650.0 sec. user=vaughan [2009-08-03 01:50:44] 593*2^705730-1 is not prime. Res64: 00C725828B8D3E00 Time : 651.0 sec. user=vaughan [2009-08-03 01:54:29] 445*2^705731-1 is not prime. Res64: D6FEE5F7DAACD154 Time : 456.0 sec. user=vaughan [2009-08-03 01:56:49] 475*2^705731-1 is not prime. Res64: F46D6133ADFACC7E Time : 460.0 sec. user=vaughan [2009-08-03 02:00:46] 579*2^705731-1 is not prime. Res64: 3264E63CFF6F8CDA Time : 619.0 sec. user=vaughan [2009-08-03 02:00:50] 591*2^705731-1 is not prime. Res64: 13193A066D72D45D Time : 619.0 sec. user=vaughan [2009-08-03 02:00:51] 585*2^705732-1 is not prime. Res64: D762AEF29E7CDD88 Time : 619.0 sec. user=vaughan [2009-08-03 02:01:04] 451*2^705733-1 is not prime. Res64: E216491D5F85C2C8 Time : 620.0 sec. user=vaughan [2009-08-03 02:02:05] 481*2^705733-1 is not prime. Res64: 52E80C98F45F4CD2 Time : 456.0 sec. user=vaughan [2009-08-03 02:04:29] 537*2^705733-1 is not prime. Res64: E0C4259106791B02 Time : 460.0 sec. user=vaughan [2009-08-03 02:09:41] 423*2^705734-1 is not prime. Res64: DCFB2A0C399189B1 Time : 456.0 sec. user=vaughan [2009-08-03 02:11:02] 549*2^705733-1 is not prime. Res64: CF60E202C6F76F1D Time : 616.0 sec. user=vaughan [2009-08-03 02:11:06] 577*2^705733-1 is not prime. Res64: FA9BCEDC0C116BA2 Time : 616.0 sec. user=vaughan [2009-08-03 02:11:06] 565*2^705733-1 is not prime. Res64: 9A30BA91635ACE3D Time : 616.0 sec. user=vaughan [2009-08-03 02:11:19] 591*2^705733-1 is not prime. Res64: F24EE7BF553E2D1D Time : 615.0 sec. user=vaughan [2009-08-03 02:12:10] 425*2^705734-1 is not prime. Res64: E331B6FADFC1F986 Time : 461.0 sec. user=vaughan [2009-08-03 02:17:17] 495*2^705734-1 is not prime. Res64: 633FF2FA0F8F0A46 Time : 456.0 sec. user=vaughan [2009-08-03 02:19:57] 479*2^705736-1 is not prime. Res64: B44A1CBC10350006 Time : 467.0 sec. user=vaughan [2009-08-03 02:21:43] 521*2^705734-1 is not prime. Res64: B8B4B2858CD356B4 Time : 641.0 sec. user=vaughan [2009-08-03 02:21:45] 573*2^705735-1 is not prime. Res64: 9222BB9CCCFBA979 Time : 640.0 sec. user=vaughan [2009-08-03 02:21:46] 551*2^705734-1 is not prime. Res64: 79783D20CC1E705D Time : 641.0 sec. user=vaughan [2009-08-03 02:22:02] 453*2^705736-1 is not prime. Res64: A829EE1582FE8E57 Time : 643.0 sec. user=vaughan [2009-08-03 02:24:55] 507*2^705736-1 is not prime. Res64: 97A5645947124582 Time : 458.0 sec. user=vaughan [2009-08-03 02:27:54] 527*2^705736-1 is not prime. Res64: C67BDE520A8DDB39 Time : 477.0 sec. user=vaughan [2009-08-03 02:32:32] 465*2^705738-1 is not prime. Res64: 993B424A2AE582BB Time : 457.0 sec. user=vaughan [2009-08-03 02:32:57] 563*2^705736-1 is not prime. Res64: F1420865E9CA0110 Time : 672.0 sec. user=vaughan [2009-08-03 02:32:57] 539*2^705736-1 is not prime. Res64: 153ADAA50405B404 Time : 674.0 sec. user=vaughan [2009-08-03 02:32:59] 511*2^705737-1 is not prime. Res64: F28A90B8872D5599 Time : 673.0 sec. user=vaughan [2009-08-03 02:33:13] 417*2^705738-1 is not prime. Res64: 4AB00AB451DD1015 Time : 671.0 sec. user=vaughan [2009-08-03 02:35:37] 513*2^705738-1 is not prime. Res64: 9FAAA0FD1C537A14 Time : 463.0 sec. user=vaughan [2009-08-03 02:40:08] 411*2^705739-1 is not prime. Res64: B44A98C2438F53C0 Time : 456.0 sec. user=vaughan [2009-08-03 02:43:19] 579*2^705740-1 is not prime. Res64: 33CE54395A86D667 Time : 462.0 sec. user=vaughan [2009-08-03 02:43:32] 489*2^705739-1 is not prime. Res64: 958172206FA77B7B Time : 635.0 sec. user=vaughan [2009-08-03 02:43:33] 481*2^705739-1 is not prime. Res64: 86252268B8826A60 Time : 636.0 sec. user=vaughan [2009-08-03 02:43:34] 483*2^705740-1 is not prime. Res64: 65CD8E98095C562C Time : 635.0 sec. user=vaughan [2009-08-03 02:43:46] 545*2^705740-1 is not prime. Res64: 726B3F20C2563CB5 Time : 633.0 sec. user=vaughan [2009-08-03 02:47:44] 585*2^705740-1 is not prime. Res64: 9EE69E48B2A012A3 Time : 456.0 sec. user=vaughan [2009-08-03 02:51:00] 459*2^705741-1 is not prime. Res64: 1C7BF7B032FACA37 Time : 461.0 sec. user=vaughan [2009-08-03 02:54:01] 507*2^705741-1 is not prime. Res64: 35170A882BD055A9 Time : 628.0 sec. user=vaughan [2009-08-03 02:54:01] 465*2^705741-1 is not prime. Res64: F414D05FFB61E6CA Time : 629.0 sec. user=vaughan [2009-08-03 02:54:03] 517*2^705741-1 is not prime. Res64: 1A441C3CB0C85B04 Time : 629.0 sec. user=vaughan [2009-08-03 02:54:15] 579*2^705741-1 is not prime. Res64: 3E29BDB655A7D84D Time : 629.0 sec. user=vaughan [2009-08-03 02:55:20] 455*2^705742-1 is not prime. Res64: 4EE4AF64375B1E69 Time : 456.0 sec. user=vaughan [2009-08-03 02:58:45] 477*2^705742-1 is not prime. Res64: CD7FEA303CFC555D Time : 465.0 sec. user=vaughan [2009-08-03 03:02:56] 445*2^705743-1 is not prime. Res64: 49600D891334C066 Time : 456.0 sec. user=vaughan [2009-08-03 03:05:17] 495*2^705742-1 is not prime. Res64: 6FECB75D86CEEF58 Time : 676.0 sec. user=vaughan [2009-08-03 03:05:18] 533*2^705742-1 is not prime. Res64: 65E97F2D1814D940 Time : 677.0 sec. user=vaughan [2009-08-03 03:05:18] 545*2^705742-1 is not prime. Res64: BC7380263838EFB5 Time : 675.0 sec. user=vaughan [2009-08-03 03:05:32] 423*2^705743-1 is not prime. Res64: 10859299DAF1308F Time : 677.0 sec. user=vaughan [2009-08-03 03:06:28] 451*2^705743-1 is not prime. Res64: BB60B85D7B018B44 Time : 463.0 sec. user=vaughan [2009-08-03 03:10:32] 519*2^705743-1 is not prime. Res64: 2ACBFA80F8FAE7F0 Time : 456.0 sec. user=vaughan [2009-08-03 03:14:10] 569*2^705744-1 is not prime. Res64: 9A9377CB1561B6EF Time : 463.0 sec. user=vaughan [2009-08-03 03:17:46] 549*2^705743-1 is not prime. Res64: 9C4EF035EC09BFE7 Time : 750.0 sec. user=vaughan [2009-08-03 03:18:08] 421*2^705745-1 is not prime. Res64: 71647672C261C9E8 Time : 456.0 sec. user=vaughan [2009-08-03 03:18:19] 525*2^705744-1 is not prime. Res64: 042138CCD7C41583 Time : 781.0 sec. user=vaughan [2009-08-03 03:20:36] 527*2^705744-1 is not prime. Res64: 694CC68837F83184 Time : 904.0 sec. user=vaughan [2009-08-03 03:21:10] 413*2^705744-1 is not prime. Res64: 6E37659CE7EB76B3 Time : 952.0 sec. user=vaughan [2009-08-03 03:21:52] 541*2^705745-1 is not prime. Res64: 0C9F68090F5F1579 Time : 462.0 sec. user=vaughan [2009-08-03 03:25:44] 407*2^705746-1 is not prime. Res64: 81B2EF5B8434EAC0 Time : 456.0 sec. user=vaughan [2009-08-03 03:28:45] 589*2^705745-1 is not prime. Res64: 7EA047E4618D25A2 Time : 659.0 sec. user=vaughan [2009-08-03 03:29:33] 567*2^705746-1 is not prime. Res64: 70DBAA879E4B2EF4 Time : 461.0 sec. user=vaughan [2009-08-03 03:29:58] 515*2^705746-1 is not prime. Res64: 3F2BAD13DC03F91F Time : 699.0 sec. user=vaughan [2009-08-03 03:33:20] 587*2^705746-1 is not prime. Res64: 9371ED2A99CEB9A9 Time : 457.0 sec. user=vaughan [2009-08-03 03:34:39] 551*2^705746-1 is not prime. Res64: 5804911B92EBDE3F Time : 843.0 sec. user=vaughan [2009-08-03 03:38:17] 469*2^705747-1 is not prime. Res64: 22A56D43E6C4DD4B Time : 524.0 sec. user=vaughan [2009-08-03 03:39:05] 561*2^705746-1 is not prime. Res64: 491BA657C7AB8F0E Time : 1075.0 sec. user=vaughan [2009-08-03 03:39:58] 451*2^705747-1 is not prime. Res64: 6E9E25E509E1248B Time : 674.0 sec. user=vaughan [2009-08-03 03:40:54] 475*2^705747-1 is not prime. Res64: 422651EEA6843CF7 Time : 454.0 sec. user=vaughan [2009-08-03 03:41:10] 471*2^705747-1 is not prime. Res64: 24017831550342E7 Time : 673.0 sec. user=vaughan [2009-08-03 03:45:59] 493*2^705747-1 is not prime. Res64: BF3C62482B77EFDC Time : 462.0 sec. user=vaughan [2009-08-03 03:47:27] 483*2^705747-1 is not prime. Res64: 27A8E7D4F673754E Time : 768.0 sec. user=vaughan [2009-08-03 03:48:30] 465*2^705749-1 is not prime. Res64: 935472DFA4B0E69D Time : 456.0 sec. user=vaughan [2009-08-03 03:51:10] 447*2^705749-1 is not prime. Res64: 947DE3D0DB5E49F9 Time : 672.0 sec. user=vaughan [2009-08-03 03:52:44] 511*2^705749-1 is not prime. Res64: F43A38F6E00136AE Time : 694.0 sec. user=vaughan [2009-08-03 03:53:41] 537*2^705749-1 is not prime. Res64: 11C81BE40EB6E626 Time : 462.0 sec. user=vaughan [2009-08-03 03:54:43] 419*2^705748-1 is not prime. Res64: CEC54B29B8734C14 Time : 938.0 sec. user=vaughan [2009-08-03 03:56:06] 443*2^705750-1 is not prime. Res64: B16C324D821A208B Time : 456.0 sec. user=vaughan [2009-08-03 04:01:23] 469*2^705751-1 is not prime. Res64: 754852EDF6D5CBDA Time : 463.0 sec. user=vaughan [2009-08-03 04:01:44] 549*2^705749-1 is not prime. Res64: E3788BD36C561E9A Time : 858.0 sec. user=vaughan [2009-08-03 04:02:16] 537*2^705750-1 is not prime. Res64: DC43614644CA59EA Time : 666.0 sec. user=vaughan [2009-08-03 04:03:41] 583*2^705751-1 is not prime. Res64: 214190D2184605B4 Time : 456.0 sec. user=vaughan [2009-08-03 04:04:05] 567*2^705750-1 is not prime. Res64: 6C24195CB85F7294 Time : 681.0 sec. user=vaughan [2009-08-03 04:09:04] 447*2^705752-1 is not prime. Res64: 47C2F0953AE9AD37 Time : 462.0 sec. user=vaughan [2009-08-03 04:09:44] 475*2^705751-1 is not prime. Res64: 080711FEEE36E104 Time : 901.0 sec. user=vaughan [2009-08-03 04:11:16] 437*2^705754-1 is not prime. Res64: FAE8385140B52E05 Time : 456.0 sec. user=vaughan [2009-08-03 04:13:41] 435*2^705754-1 is not prime. Res64: D305FB7D2CEAD023 Time : 685.0 sec. user=vaughan [2009-08-03 04:15:21] 411*2^705754-1 is not prime. Res64: 14557E88A2273B6F Time : 817.0 sec. user=vaughan [2009-08-03 04:15:25] 453*2^705754-1 is not prime. Res64: 866C13831772B128 Time : 680.0 sec. user=vaughan [2009-08-03 04:16:47] 525*2^705754-1 is not prime. Res64: E139C60D854E7ECF Time : 464.0 sec. user=vaughan [2009-08-03 04:18:52] 573*2^705754-1 is not prime. Res64: 2CF3882F40CA5899 Time : 457.0 sec. user=vaughan [2009-08-03 04:24:27] 519*2^705755-1 is not prime. Res64: 968A8189B2584F19 Time : 646.0 sec. user=vaughan [2009-08-03 04:24:28] 563*2^705756-1 is not prime. Res64: BEDF0ED259716332 Time : 462.0 sec. user=vaughan [2009-08-03 04:25:20] 567*2^705754-1 is not prime. Res64: 9A0E1CDAC6D7095B Time : 936.0 sec. user=vaughan [2009-08-03 04:26:28] 597*2^705756-1 is not prime. Res64: 23527E16016DFC9D Time : 457.0 sec. user=vaughan [2009-08-03 04:27:02] 497*2^705756-1 is not prime. Res64: 49057E1A1979BCAD Time : 697.0 sec. user=vaughan [2009-08-03 04:30:05] 573*2^705755-1 is not prime. Res64: D61ED61A9E312BAD Time : 884.0 sec. user=vaughan [2009-08-03 04:32:08] 441*2^705757-1 is not prime. Res64: 53F0123332113CD9 Time : 461.0 sec. user=vaughan [2009-08-03 04:34:03] 501*2^705758-1 is not prime. Res64: 43C9D88AADEADEE1 Time : 456.0 sec. user=vaughan [2009-08-03 04:35:22] 427*2^705757-1 is not prime. Res64: 0B233C7BA0BB34AF Time : 655.0 sec. user=vaughan [2009-08-03 04:38:27] 563*2^705758-1 is not prime. Res64: 91A26623430026B6 Time : 685.0 sec. user=vaughan [2009-08-03 04:39:49] 433*2^705759-1 is not prime. Res64: 0D84C6C64DAB62E3 Time : 462.0 sec. user=vaughan [2009-08-03 04:40:43] 483*2^705758-1 is not prime. Res64: AAD48B02AD61E60C Time : 923.0 sec. user=vaughan [2009-08-03 04:41:38] 465*2^705759-1 is not prime. Res64: 7E69A95D478EFEDA Time : 455.0 sec. user=vaughan [2009-08-03 04:43:35] 591*2^705758-1 is not prime. Res64: ED5D4A6F2E0C3017 Time : 810.0 sec. user=vaughan [2009-08-03 04:46:38] 543*2^705759-1 is not prime. Res64: 29AD3C7408D6A768 Time : 676.0 sec. user=vaughan [2009-08-03 04:47:30] 509*2^705760-1 is not prime. Res64: 73BEC15F1990F226 Time : 462.0 sec. user=vaughan [2009-08-03 04:49:13] 421*2^705761-1 is not prime. Res64: 09025948C6D82275 Time : 455.0 sec. user=vaughan [2009-08-03 04:49:58] 553*2^705759-1 is not prime. Res64: 8BBD61B05B740FA4 Time : 691.0 sec. user=vaughan [2009-08-03 04:55:11] 537*2^705761-1 is not prime. Res64: E5FFFBE222214C5A Time : 462.0 sec. user=vaughan [2009-08-03 04:56:00] 527*2^705760-1 is not prime. Res64: 846FE7F243F40FF2 Time : 917.0 sec. user=vaughan [2009-08-03 04:56:49] 559*2^705761-1 is not prime. Res64: 3E46CE50284098B3 Time : 456.0 sec. user=vaughan [2009-08-03 04:57:36] 529*2^705761-1 is not prime. Res64: C6AEEC77292D203C Time : 658.0 sec. user=vaughan [2009-08-03 04:57:48] 487*2^705761-1 is not prime. Res64: BE88502188264C1F Time : 853.0 sec. user=vaughan [2009-08-03 05:01:32] 577*2^705761-1 is not prime. Res64: 00C3A06E0C91B8A2 Time : 694.0 sec. user=vaughan [2009-08-03 05:02:52] 405*2^705762-1 is not prime. Res64: 9939EA914ECBC795 Time : 461.0 sec. user=vaughan [2009-08-03 05:04:26] 555*2^705762-1 is not prime. Res64: 52FD6E8EF2598E94 Time : 457.0 sec. user=vaughan [2009-08-03 05:08:42] 411*2^705763-1 is not prime. Res64: 7FAD286C9E548935 Time : 667.0 sec. user=vaughan [2009-08-03 05:10:33] 425*2^705764-1 is not prime. Res64: CEBA1533E0835C24 Time : 461.0 sec. user=vaughan [2009-08-03 05:11:38] 483*2^705762-1 is not prime. Res64: F447C1C365C3CEAC Time : 938.0 sec. user=vaughan [2009-08-03 05:11:44] 549*2^705763-1 is not prime. Res64: 8F7CBD56C826BBB0 Time : 836.0 sec. user=vaughan [2009-08-03 05:12:02] 437*2^705764-1 is not prime. Res64: FC48DF06788F602B Time : 457.0 sec. user=vaughan [2009-08-03 05:12:54] 595*2^705763-1 is not prime. Res64: 1E0C927117436D36 Time : 682.0 sec. user=vaughan [2009-08-03 05:18:14] 585*2^705764-1 is not prime. Res64: 04B31266783E0838 Time : 461.0 sec. user=vaughan [2009-08-03 05:19:37] 451*2^705765-1 is not prime. Res64: C66CEDB860BAD0F1 Time : 455.0 sec. user=vaughan [2009-08-03 05:20:05] 503*2^705764-1 is not prime. Res64: E31EF255564BF28D Time : 683.0 sec. user=vaughan [2009-08-03 05:24:12] 507*2^705765-1 is not prime. Res64: 24C391CAFE53C0D7 Time : 679.0 sec. user=vaughan [2009-08-03 05:25:08] 447*2^705765-1 is not prime. Res64: 7D3585ED572639CF Time : 805.0 sec. user=vaughan [2009-08-03 05:25:55] 591*2^705765-1 is not prime. Res64: E56951B027F9D419 Time : 461.0 sec. user=vaughan [2009-08-03 05:27:09] 427*2^705765-1 is not prime. Res64: 5CB8C10A5C54870A Time : 931.0 sec. user=vaughan [2009-08-03 05:27:13] 465*2^705766-1 is not prime. Res64: 69587CD857796518 Time : 456.0 sec. user=vaughan [2009-08-03 05:31:54] 433*2^705767-1 is not prime. Res64: 24BFC8B5C3F34ACE Time : 709.0 sec. user=vaughan [2009-08-03 05:33:36] 549*2^705767-1 is not prime. Res64: 247206CA6B29A7B5 Time : 461.0 sec. user=vaughan [2009-08-03 05:34:48] 423*2^705768-1 is not prime. Res64: CF1085F956297FE6 Time : 455.0 sec. user=vaughan [2009-08-03 05:35:27] 511*2^705767-1 is not prime. Res64: 94A8E816B4CFA738 Time : 675.0 sec. user=vaughan [2009-08-03 05:38:38] 523*2^705767-1 is not prime. Res64: D696F292A437EB3D Time : 810.0 sec. user=vaughan [2009-08-03 05:41:18] 539*2^705768-1 is not prime. Res64: 964862C44F0D785C Time : 462.0 sec. user=vaughan [2009-08-03 05:42:21] 595*2^705767-1 is not prime. Res64: E2450D573740E506 Time : 913.0 sec. user=vaughan [2009-08-03 05:42:24] 555*2^705768-1 is not prime. Res64: D35FE848BF015684 Time : 456.0 sec. user=vaughan [2009-08-03 05:43:06] 515*2^705768-1 is not prime. Res64: 7CD3197AB74F1D30 Time : 672.0 sec. user=vaughan [2009-08-03 05:46:48] 567*2^705768-1 is not prime. Res64: E5FB4C1C25DE7014 Time : 681.0 sec. user=vaughan [2009-08-03 05:48:59] 435*2^705769-1 is not prime. Res64: C47E4765AC0F3F5E Time : 461.0 sec. user=vaughan [2009-08-03 05:50:00] 525*2^705769-1 is not prime. Res64: E8DBF856438D8932 Time : 456.0 sec. user=vaughan [2009-08-03 05:52:20] 429*2^705769-1 is not prime. Res64: 3307871CBE8D6C2B Time : 822.0 sec. user=vaughan [2009-08-03 05:54:34] 597*2^705769-1 is not prime. Res64: 48C4F1176AFFA5CF Time : 688.0 sec. user=vaughan [2009-08-03 05:56:40] 545*2^705770-1 is not prime. Res64: 4224903EAC86C1F8 Time : 461.0 sec. user=vaughan [2009-08-03 05:57:33] 489*2^705769-1 is not prime. Res64: 6AED20B80A900E43 Time : 912.0 sec. user=vaughan [2009-08-03 05:57:36] 563*2^705770-1 is not prime. Res64: A8733156C8F1521A Time : 456.0 sec. user=vaughan [2009-08-03 05:58:14] 411*2^705770-1 is not prime. Res64: 9E6A5147A808F0B0 Time : 686.0 sec. user=vaughan [2009-08-03 06:04:22] 565*2^705771-1 is not prime. Res64: 3F31213A7409A048 Time : 462.0 sec. user=vaughan [2009-08-03 06:05:13] 563*2^705772-1 is not prime. Res64: 7894930A89A4ECAB Time : 458.0 sec. user=vaughan [2009-08-03 06:05:29] 465*2^705771-1 is not prime. Res64: 6D0F7BA7F37440E8 Time : 655.0 sec. user=vaughan [2009-08-03 06:06:24] 567*2^705770-1 is not prime. Res64: 2C8856595026C9BA Time : 845.0 sec. user=vaughan [2009-08-03 06:09:38] 439*2^705773-1 is not prime. Res64: 6849DDD4B15D84E0 Time : 684.0 sec. user=vaughan [2009-08-03 06:12:03] 587*2^705774-1 is not prime. Res64: 672A4B8F7B465FB3 Time : 462.0 sec. user=vaughan [2009-08-03 06:12:40] 485*2^705772-1 is not prime. Res64: 01BFA6AC10EA4701 Time : 907.0 sec. user=vaughan [2009-08-03 06:12:49] 465*2^705775-1 is not prime. Res64: CF39F02740BD93BF Time : 457.0 sec. user=vaughan [2009-08-03 06:16:56] 471*2^705775-1 is not prime. Res64: EBBCCC015CBABDF4 Time : 688.0 sec. user=vaughan [2009-08-03 06:19:44] 563*2^705776-1 is not prime. Res64: 8274D6002B4F7FE9 Time : 461.0 sec. user=vaughan [2009-08-03 06:20:01] 511*2^705775-1 is not prime. Res64: C317E31E00033232 Time : 817.0 sec. user=vaughan [2009-08-03 06:20:25] 427*2^705777-1 is not prime. Res64: 308D3833050CEC2D Time : 457.0 sec. user=vaughan [2009-08-03 06:20:56] 579*2^705775-1 is not prime. Res64: 5E8ECBDE0D069FFB Time : 678.0 sec. user=vaughan [2009-08-03 06:27:26] 495*2^705777-1 is not prime. Res64: 490267EBC386EA4E Time : 463.0 sec. user=vaughan [2009-08-03 06:28:00] 429*2^705777-1 is not prime. Res64: E4DA8E148E95136C Time : 664.0 sec. user=vaughan [2009-08-03 06:28:01] 401*2^705778-1 is not prime. Res64: 6CC503ABAB9C42BE Time : 456.0 sec. user=vaughan [2009-08-03 06:28:06] 573*2^705776-1 is not prime. Res64: 6C6F6C82F86E63E2 Time : 926.0 sec. user=vaughan [2009-08-03 06:32:26] 423*2^705778-1 is not prime. Res64: 92BAE729205E6EA3 Time : 690.0 sec. user=vaughan [2009-08-03 06:34:00] 565*2^705777-1 is not prime. Res64: 3475EE9EE2204315 Time : 839.0 sec. user=vaughan [2009-08-03 06:35:08] 467*2^705778-1 is not prime. Res64: FD7A934E0C9B8BB3 Time : 463.0 sec. user=vaughan [2009-08-03 06:35:37] 495*2^705779-1 is not prime. Res64: 3D1943A2293300B5 Time : 456.0 sec. user=vaughan [2009-08-03 06:39:39] 489*2^705779-1 is not prime. Res64: 016AE5818726A00F Time : 699.0 sec. user=vaughan [2009-08-03 06:42:49] 455*2^705780-1 is not prime. Res64: C0D27B68399DE210 Time : 461.0 sec. user=vaughan [2009-08-03 06:43:13] 503*2^705780-1 is not prime. Res64: 267FCE3C703DA844 Time : 456.0 sec. user=vaughan [2009-08-03 06:43:35] 523*2^705779-1 is not prime. Res64: 6181CD031962D906 Time : 929.0 sec. user=vaughan [2009-08-03 06:43:41] 405*2^705780-1 is not prime. Res64: CFC03D5A4430D0E7 Time : 675.0 sec. user=vaughan [2009-08-03 06:47:08] 447*2^705780-1 is not prime. Res64: D11802506737A327 Time : 788.0 sec. user=vaughan [2009-08-03 06:50:30] 527*2^705780-1 is not prime. Res64: 66D4527B4D72536A Time : 461.0 sec. user=vaughan [2009-08-03 06:50:49] 597*2^705780-1 is not prime. Res64: 828B83410EA0E25E Time : 456.0 sec. user=vaughan [2009-08-03 06:51:23] 515*2^705780-1 is not prime. Res64: 95D260473E6E692C Time : 704.0 sec. user=vaughan [2009-08-03 06:55:06] 441*2^705781-1 is not prime. Res64: C102011DE92543FF Time : 686.0 sec. user=vaughan [2009-08-03 06:58:11] 477*2^705782-1 is not prime. Res64: 885CF666B97BBA3B Time : 461.0 sec. user=vaughan [2009-08-03 06:58:25] 545*2^705782-1 is not prime. Res64: 8D4F6BE55002B7ED Time : 456.0 sec. user=vaughan [2009-08-03 06:58:54] 411*2^705781-1 is not prime. Res64: 025583624FC988DA Time : 920.0 sec. user=vaughan [2009-08-03 07:01:21] 417*2^705782-1 is not prime. Res64: B54B67B4E76BEDCA Time : 854.0 sec. user=vaughan [2009-08-03 07:02:18] 557*2^705782-1 is not prime. Res64: B3D9D660299E9E24 Time : 655.0 sec. user=vaughan [2009-08-03 07:05:52] 493*2^705783-1 is not prime. Res64: 7091E79302F1B690 Time : 461.0 sec. user=vaughan [2009-08-03 07:06:01] 553*2^705783-1 is not prime. Res64: 4A37234419BACCF7 Time : 456.0 sec. user=vaughan [2009-08-03 07:06:37] 561*2^705782-1 is not prime. Res64: BDB801129F6474B2 Time : 691.0 sec. user=vaughan [2009-08-03 07:13:33] 469*2^705785-1 is not prime. Res64: D12CE0A241DD0FD6 Time : 461.0 sec. user=vaughan [2009-08-03 07:13:37] 507*2^705785-1 is not prime. Res64: 5194706D6B17A5BA Time : 456.0 sec. user=vaughan [2009-08-03 07:14:02] 445*2^705785-1 is not prime. Res64: 06CF403A41CFC8DA Time : 704.0 sec. user=vaughan [2009-08-03 07:14:30] 559*2^705783-1 is not prime. Res64: A11761A43C21E995 Time : 936.0 sec. user=vaughan [2009-08-03 07:14:52] 575*2^705784-1 is not prime. Res64: ED95E2E0533CB55B Time : 811.0 sec. user=vaughan [2009-08-03 07:18:03] 561*2^705785-1 is not prime. Res64: C5E88F4C4392BD9F Time : 687.0 sec. user=vaughan [2009-08-03 07:21:14] 589*2^705785-1 is not prime. Res64: EE7588B57BF012C1 Time : 457.0 sec. user=vaughan [2009-08-03 07:21:15] 565*2^705785-1 is not prime. Res64: 50BE8D83B0900B5E Time : 462.0 sec. user=vaughan [2009-08-03 07:24:58] 483*2^705786-1 is not prime. Res64: 1C33F98186AC3EFF Time : 656.0 sec. user=vaughan [2009-08-03 07:28:50] 439*2^705787-1 is not prime. Res64: 3CAE3DF020D233A1 Time : 456.0 sec. user=vaughan [2009-08-03 07:28:56] 453*2^705787-1 is not prime. Res64: 5213DD812C142256 Time : 461.0 sec. user=vaughan [2009-08-03 07:29:04] 497*2^705786-1 is not prime. Res64: C5071285414ED448 Time : 852.0 sec. user=vaughan [2009-08-03 07:29:28] 503*2^705786-1 is not prime. Res64: 4C8C5A834019784A Time : 685.0 sec. user=vaughan [2009-08-03 07:30:06] 485*2^705786-1 is not prime. Res64: 38AE49C4D9B42327 Time : 936.0 sec. user=vaughan [2009-08-03 07:35:54] 437*2^705794-1 is not prime. Res64: F3A081B948E8B312 Time : 656.0 sec. user=vaughan [2009-08-03 07:36:26] 521*2^705794-1 is not prime. Res64: 8DA65804623B1AF3 Time : 456.0 sec. user=vaughan [2009-08-03 07:36:37] 405*2^705795-1 is prime! Time : 461.0 sec. user=vaughan [2009-08-03 07:41:04] 573*2^705795-1 is not prime. Res64: CA8A104950B7DC97 Time : 696.0 sec. user=vaughan [2009-08-03 07:43:10] 459*2^705795-1 is not prime. Res64: FA437308A2EE3438 Time : 846.0 sec. user=vaughan [2009-08-03 07:44:02] 563*2^705796-1 is not prime. Res64: CC38355BADCBCF7F Time : 456.0 sec. user=vaughan [2009-08-03 07:44:18] 475*2^705797-1 is not prime. Res64: 172F7933C04A8734 Time : 461.0 sec. user=vaughan [2009-08-03 07:45:33] 485*2^705796-1 is not prime. Res64: CBBCFE69EE13A5FB Time : 928.0 sec. user=vaughan [2009-08-03 07:47:01] 507*2^705796-1 is not prime. Res64: 67F79EE820476EB7 Time : 667.0 sec. user=vaughan [2009-08-03 07:51:38] 473*2^705798-1 is not prime. Res64: E901A2028EF9CAE0 Time : 456.0 sec. user=vaughan [2009-08-03 07:51:59] 485*2^705798-1 is not prime. Res64: E002E4E1D399AE3D Time : 461.0 sec. user=vaughan [2009-08-03 07:52:18] 517*2^705797-1 is not prime. Res64: 00B4FF4B107EE845 Time : 674.0 sec. user=vaughan [2009-08-03 07:55:52] 417*2^705798-1 is not prime. Res64: 80A6329CE2386AEF Time : 762.0 sec. user=vaughan [2009-08-03 07:57:55] 505*2^705799-1 is not prime. Res64: 07087F37AE819708 Time : 655.0 sec. user=vaughan [2009-08-03 07:59:01] 555*2^705798-1 is not prime. Res64: F67B2943FAF753CD Time : 808.0 sec. user=vaughan [2009-08-03 07:59:14] 553*2^705799-1 is not prime. Res64: 07C2C754EFE2B4C8 Time : 456.0 sec. user=vaughan [2009-08-03 07:59:40] 555*2^705799-1 is not prime. Res64: 1B458372CCCA6EE6 Time : 461.0 sec. user=vaughan [2009-08-03 08:03:31] 559*2^705799-1 is not prime. Res64: C904D92C790D8E23 Time : 673.0 sec. user=vaughan [2009-08-03 08:06:50] 489*2^705800-1 is not prime. Res64: 9F605DC82FD669E2 Time : 456.0 sec. user=vaughan [2009-08-03 08:07:21] 539*2^705800-1 is not prime. Res64: 4409F021E8C78A46 Time : 461.0 sec. user=vaughan [2009-08-03 08:08:54] 459*2^705800-1 is not prime. Res64: 356AEF8A1B18F20C Time : 659.0 sec. user=vaughan [2009-08-03 08:09:52] 589*2^705799-1 is not prime. Res64: 201F921DF9490D82 Time : 840.0 sec. user=vaughan [2009-08-03 08:14:26] 567*2^705800-1 is not prime. Res64: 8F9C3D56C7DB850E Time : 456.0 sec. user=vaughan [2009-08-03 08:14:37] 467*2^705800-1 is not prime. Res64: D47657E1E1AC6062 Time : 936.0 sec. user=vaughan [2009-08-03 08:15:03] 475*2^705801-1 is not prime. Res64: 65A0B9ED2E06F3D4 Time : 462.0 sec. user=vaughan [2009-08-03 08:15:13] 543*2^705800-1 is not prime. Res64: 0CD10AC687A50DE9 Time : 702.0 sec. user=vaughan [2009-08-03 08:19:28] 499*2^705801-1 is not prime. Res64: 50F5D8B3469604E2 Time : 634.0 sec. user=vaughan [2009-08-03 08:22:02] 413*2^705802-1 is not prime. Res64: D289413E976A9049 Time : 456.0 sec. user=vaughan [2009-08-03 08:22:43] 491*2^705802-1 is not prime. Res64: FF4656C858ED05E3 Time : 460.0 sec. user=vaughan [2009-08-03 08:24:34] 549*2^705801-1 is not prime. Res64: 09B706D340A1C8B8 Time : 882.0 sec. user=vaughan [2009-08-03 08:26:48] 545*2^705802-1 is not prime. Res64: 3588AFE15265E9A7 Time : 695.0 sec. user=vaughan [2009-08-03 08:29:38] 445*2^705803-1 is not prime. Res64: F75532F64E28DB48 Time : 456.0 sec. user=vaughan [2009-08-03 08:30:04] 435*2^705802-1 is not prime. Res64: 4B1E0466571E9FFF Time : 928.0 sec. user=vaughan [2009-08-03 08:30:25] 463*2^705787-1 is not prime. Res64: 430E4415397762C8 Time : 462.0 sec. user=vaughan [2009-08-03 08:30:40] 573*2^705802-1 is not prime. Res64: 067FB1B5ADF0FDD4 Time : 672.0 sec. user=vaughan [2009-08-03 08:37:14] 523*2^705787-1 is not prime. Res64: 0DD2AC671DAA0D65 Time : 456.0 sec. user=vaughan [2009-08-03 08:38:06] 503*2^705788-1 is not prime. Res64: C6DAC0C3C4E591B9 Time : 462.0 sec. user=vaughan [2009-08-03 08:38:11] 499*2^705787-1 is not prime. Res64: F955213B15EB1670 Time : 684.0 sec. user=vaughan [2009-08-03 08:38:13] 493*2^705787-1 is not prime. Res64: B614643C7CFA78EE Time : 819.0 sec. user=vaughan [2009-08-03 08:41:40] 507*2^705789-1 is not prime. Res64: 80C96BBF5C081562 Time : 661.0 sec. user=vaughan [2009-08-03 08:44:51] 511*2^705789-1 is not prime. Res64: B37F20B64D701DE2 Time : 457.0 sec. user=vaughan [2009-08-03 08:45:24] 531*2^705787-1 is not prime. Res64: E76F7231577A38C4 Time : 920.0 sec. user=vaughan [2009-08-03 08:45:47] 425*2^705790-1 is not prime. Res64: E749B760867D89E7 Time : 462.0 sec. user=vaughan [2009-08-03 08:49:33] 437*2^705790-1 is not prime. Res64: 1F2965BDBCE8AF04 Time : 682.0 sec. user=vaughan [2009-08-03 08:51:56] 443*2^705790-1 is not prime. Res64: 085B88648A3E0885 Time : 823.0 sec. user=vaughan [2009-08-03 08:52:27] 533*2^705790-1 is not prime. Res64: D7EEA44E0D2B9C39 Time : 457.0 sec. user=vaughan [2009-08-03 08:53:00] 525*2^705790-1 is not prime. Res64: 80E7332974D8376A Time : 680.0 sec. user=vaughan [2009-08-03 08:53:28] 421*2^705791-1 is not prime. Res64: 0A3B5DE00C265710 Time : 461.0 sec. user=vaughan [2009-08-03 09:00:03] 459*2^705792-1 is not prime. Res64: 2E8F4F5EC986CA46 Time : 457.0 sec. user=vaughan [2009-08-03 09:00:32] 597*2^705790-1 is not prime. Res64: 532D5422DFE71FA8 Time : 908.0 sec. user=vaughan [2009-08-03 09:00:53] 475*2^705791-1 is not prime. Res64: EE78433A5459154C Time : 680.0 sec. user=vaughan [2009-08-03 09:01:09] 503*2^705792-1 is not prime. Res64: AA498D3ED2B4C128 Time : 462.0 sec. user=vaughan [2009-08-03 09:04:29] 497*2^705792-1 is not prime. Res64: 2CE9131D322C72C2 Time : 689.0 sec. user=vaughan [2009-08-03 09:05:24] 455*2^705792-1 is not prime. Res64: 6A1ABFF7CE5649C5 Time : 809.0 sec. user=vaughan [2009-08-03 09:07:39] 513*2^705792-1 is not prime. Res64: A045FF9567A2DE04 Time : 457.0 sec. user=vaughan [2009-08-03 09:08:50] 441*2^705793-1 is not prime. Res64: B07B53EDE54539B3 Time : 462.0 sec. user=vaughan [2009-08-03 09:12:12] 435*2^705793-1 is not prime. Res64: 6542C81F697F758F Time : 679.0 sec. user=vaughan [2009-08-03 09:15:15] 549*2^705793-1 is not prime. Res64: 76D286F43EE63F4E Time : 456.0 sec. user=vaughan [2009-08-03 09:15:37] 471*2^705793-1 is not prime. Res64: 07208FC66907F50D Time : 668.0 sec. user=vaughan [2009-08-03 09:15:56] 427*2^705793-1 is not prime. Res64: 4A9F167F9493F84C Time : 925.0 sec. user=vaughan [2009-08-03 09:16:31] 577*2^705793-1 is not prime. Res64: 37AF07264977EEAB Time : 461.0 sec. user=vaughan [2009-08-03 09:19:23] 499*2^705793-1 is not prime. Res64: 060D6C3DD02B9C69 Time : 839.0 sec. user=vaughan [2009-08-03 09:22:51] 493*2^705803-1 is not prime. Res64: DA2527ECC8CDE253 Time : 456.0 sec. user=vaughan [2009-08-03 09:23:38] 475*2^705803-1 is not prime. Res64: 608C40F5CD4D4E39 Time : 686.0 sec. user=vaughan [2009-08-03 09:24:12] 579*2^705804-1 is not prime. Res64: 2B5FC25996C9E776 Time : 461.0 sec. user=vaughan [2009-08-03 09:27:12] 473*2^705804-1 is not prime. Res64: 39D2C710FA8D13B6 Time : 695.0 sec. user=vaughan [2009-08-03 09:30:27] 465*2^705805-1 is not prime. Res64: 8DB0A2E10815B25C Time : 456.0 sec. user=vaughan [2009-08-03 09:31:17] 527*2^705804-1 is not prime. Res64: 621225BB29A08A38 Time : 921.0 sec. user=vaughan [2009-08-03 09:31:53] 525*2^705805-1 is not prime. Res64: DF4348CB16852EF8 Time : 461.0 sec. user=vaughan [2009-08-03 09:33:02] 427*2^705805-1 is not prime. Res64: 6B681B5B0E783F4C Time : 820.0 sec. user=vaughan [2009-08-03 09:35:04] 469*2^705805-1 is not prime. Res64: 8CCDA74A450E5A7F Time : 686.0 sec. user=vaughan [2009-08-03 09:38:03] 447*2^705806-1 is not prime. Res64: 04BAE4A19987FBFC Time : 456.0 sec. user=vaughan [2009-08-03 09:38:18] 425*2^705806-1 is not prime. Res64: 3CE6D11574EF9FDA Time : 666.0 sec. user=vaughan [2009-08-03 09:39:35] 429*2^705807-1 is not prime. Res64: 39F34D48FAD4F0EA Time : 462.0 sec. user=vaughan [2009-08-03 09:45:39] 429*2^705808-1 is not prime. Res64: 3B5F453CA4B1C250 Time : 456.0 sec. user=vaughan [2009-08-03 09:46:23] 579*2^705807-1 is not prime. Res64: 2F09CB418483618E Time : 679.0 sec. user=vaughan [2009-08-03 09:46:42] 563*2^705806-1 is not prime. Res64: 0DA2202C1351AF27 Time : 925.0 sec. user=vaughan [2009-08-03 09:46:43] 469*2^705807-1 is not prime. Res64: 9E0878AAF207EB7B Time : 821.0 sec. user=vaughan [2009-08-03 09:47:16] 495*2^705808-1 is not prime. Res64: C8F97B354BB946E4 Time : 461.0 sec. user=vaughan [2009-08-03 09:49:21] 485*2^705808-1 is not prime. Res64: 4A6CE9570AE41806 Time : 663.0 sec. user=vaughan [2009-08-03 09:53:16] 509*2^705808-1 is not prime. Res64: 6BB1A2AB9E5F4736 Time : 457.0 sec. user=vaughan [2009-08-03 09:54:57] 487*2^705809-1 is not prime. Res64: ADDF75FF2F519979 Time : 461.0 sec. user=vaughan [2009-08-03 09:58:16] 537*2^705808-1 is not prime. Res64: 0E52175DA644CE28 Time : 713.0 sec. user=vaughan [2009-08-03 10:00:04] 567*2^705809-1 is not prime. Res64: A6749A48FEF10A1F Time : 644.0 sec. user=vaughan [2009-08-03 10:00:52] 411*2^705810-1 is not prime. Res64: 4CF5D7A9A561E127 Time : 457.0 sec. user=vaughan [2009-08-03 10:01:42] 481*2^705809-1 is not prime. Res64: E90CA704007A3D01 Time : 907.0 sec. user=vaughan [2009-08-03 10:02:38] 417*2^705810-1 is not prime. Res64: 659EC8CBCC57C22C Time : 461.0 sec. user=vaughan [2009-08-03 10:02:39] 441*2^705809-1 is not prime. Res64: A82A6ECEA5137128 Time : 958.0 sec. user=vaughan [2009-08-03 10:08:27] 405*2^705811-1 is not prime. Res64: CA7AA685E704D0BE Time : 455.0 sec. user=vaughan [2009-08-03 10:10:04] 447*2^705810-1 is not prime. Res64: 3AB2CDF5C110F191 Time : 708.0 sec. user=vaughan [2009-08-03 10:10:19] 441*2^705811-1 is not prime. Res64: 7101D5EBE6CC085F Time : 461.0 sec. user=vaughan [2009-08-03 10:10:35] 543*2^705810-1 is not prime. Res64: BF1E10967CA98189 Time : 631.0 sec. user=vaughan [2009-08-03 10:16:02] 511*2^705811-1 is not prime. Res64: 7963276C0F950DBC Time : 455.0 sec. user=vaughan [2009-08-03 10:16:32] 411*2^705811-1 is not prime. Res64: DE6CFFEEE62585A2 Time : 891.0 sec. user=vaughan [2009-08-03 10:18:00] 555*2^705811-1 is not prime. Res64: 4BA531553ED1C445 Time : 461.0 sec. user=vaughan [2009-08-03 10:18:32] 475*2^705811-1 is not prime. Res64: 13DACD3D4FDB7C6B Time : 953.0 sec. user=vaughan [2009-08-03 10:21:24] 405*2^705812-1 is not prime. Res64: D346EB6931AD34CF Time : 649.0 sec. user=vaughan [2009-08-03 10:21:40] 541*2^705811-1 is not prime. Res64: AE23BA07071C0FDC Time : 696.0 sec. user=vaughan [2009-08-03 10:23:39] 417*2^705812-1 is not prime. Res64: 281A36D4588F9EB7 Time : 457.0 sec. user=vaughan [2009-08-03 10:25:41] 539*2^705812-1 is not prime. Res64: B949214511E1A3D2 Time : 462.0 sec. user=vaughan [2009-08-03 10:31:15] 555*2^705813-1 is not prime. Res64: 32535DB68D871AB5 Time : 457.0 sec. user=vaughan [2009-08-03 10:31:31] 507*2^705812-1 is not prime. Res64: 79A70098CAF6F6ED Time : 899.0 sec. user=vaughan [2009-08-03 10:31:54] 459*2^705813-1 is not prime. Res64: 47A536848B5BCD11 Time : 630.0 sec. user=vaughan [2009-08-03 10:33:22] 585*2^705813-1 is not prime. Res64: 7284350A367B87D3 Time : 462.0 sec. user=vaughan [2009-08-03 10:33:29] 517*2^705813-1 is not prime. Res64: 5270414D4B227081 Time : 709.0 sec. user=vaughan [2009-08-03 10:34:33] 439*2^705813-1 is not prime. Res64: 6C2C676A88DB0E01 Time : 961.0 sec. user=vaughan [2009-08-03 10:38:50] 595*2^705813-1 is not prime. Res64: 17121D41D0FD84D6 Time : 456.0 sec. user=vaughan [2009-08-03 10:41:03] 521*2^705814-1 is not prime. Res64: 78FE26B27F0D8FF5 Time : 462.0 sec. user=vaughan [2009-08-03 10:43:05] 503*2^705814-1 is not prime. Res64: F8960F5E8E384D68 Time : 671.0 sec. user=vaughan [2009-08-03 10:45:00] 527*2^705814-1 is not prime. Res64: B1A8398387D13650 Time : 692.0 sec. user=vaughan [2009-08-03 10:45:35] 491*2^705814-1 is not prime. Res64: 2D43975B3D7969D8 Time : 844.0 sec. user=vaughan [2009-08-03 10:46:25] 453*2^705815-1 is not prime. Res64: 633EA7AA312BED1B Time : 455.0 sec. user=vaughan [2009-08-03 10:48:44] 489*2^705815-1 is not prime. Res64: 447E0023F4E1C2F7 Time : 462.0 sec. user=vaughan [2009-08-03 10:50:12] 561*2^705814-1 is not prime. Res64: CA413D7B836F0273 Time : 939.0 sec. user=vaughan [2009-08-03 10:53:42] 511*2^705815-1 is not prime. Res64: DEA1BEFAACC8367E Time : 637.0 sec. user=vaughan [2009-08-03 10:54:04] 405*2^705816-1 is not prime. Res64: F349CE4473809702 Time : 459.0 sec. user=vaughan [2009-08-03 10:56:25] 425*2^705816-1 is not prime. Res64: B4C23632B2EBB965 Time : 461.0 sec. user=vaughan [2009-08-03 10:56:38] 531*2^705815-1 is not prime. Res64: 0C84FAF49CCB18F6 Time : 699.0 sec. user=vaughan [2009-08-03 10:59:49] 543*2^705815-1 is not prime. Res64: FE54B095D08B8907 Time : 855.0 sec. user=vaughan [2009-08-03 11:01:39] 515*2^705816-1 is not prime. Res64: 06CF0C690A62D433 Time : 459.0 sec. user=vaughan [2009-08-03 11:04:06] 525*2^705816-1 is not prime. Res64: BDA194C5A1004AD5 Time : 461.0 sec. user=vaughan [2009-08-03 11:04:25] 429*2^705816-1 is not prime. Res64: F7EFD6AFCD8047B4 Time : 853.0 sec. user=vaughan [2009-08-03 11:04:36] 485*2^705816-1 is not prime. Res64: 1EBFAC9D40730242 Time : 654.0 sec. user=vaughan [2009-08-03 11:07:41] 537*2^705816-1 is not prime. Res64: 781DA3D0046C48BB Time : 663.0 sec. user=vaughan [2009-08-03 11:09:19] 441*2^705817-1 is not prime. Res64: 393F275FBB7B3B38 Time : 460.0 sec. user=vaughan [2009-08-03 11:11:47] 507*2^705817-1 is not prime. Res64: 42689DACA7571EED Time : 461.0 sec. user=vaughan [2009-08-03 11:12:02] 597*2^705816-1 is not prime. Res64: 2ED6B2255AA55E41 Time : 734.0 sec. user=vaughan [2009-08-03 11:15:23] 595*2^705817-1 is not prime. Res64: 9CEFB0CD729E1769 Time : 647.0 sec. user=vaughan [2009-08-03 11:16:42] 531*2^705817-1 is not prime. Res64: 359A58C21ADAA27A Time : 737.0 sec. user=vaughan [2009-08-03 11:16:54] 473*2^705818-1 is not prime. Res64: 67DFE33C8381696C Time : 455.0 sec. user=vaughan [2009-08-03 11:18:28] 425*2^705818-1 is not prime. Res64: 25EED2BE46CD8822 Time : 647.0 sec. user=vaughan [2009-08-03 11:19:28] 501*2^705818-1 is not prime. Res64: E8686DB8BE75BEF5 Time : 461.0 sec. user=vaughan [2009-08-03 11:24:08] 515*2^705818-1 is not prime. Res64: 8410DF47A7BD66FC Time : 726.0 sec. user=vaughan [2009-08-03 11:24:30] 511*2^705819-1 is not prime. Res64: 66265C1D339F23A1 Time : 456.0 sec. user=vaughan [2009-08-03 11:26:49] 563*2^705818-1 is not prime. Res64: D3F526F923BE4FBC Time : 687.0 sec. user=vaughan [2009-08-03 11:27:09] 429*2^705820-1 is not prime. Res64: 7EBABB36B5111B90 Time : 461.0 sec. user=vaughan [2009-08-03 11:29:36] 543*2^705819-1 is not prime. Res64: A71BDE4E853F0EDB Time : 669.0 sec. user=vaughan [2009-08-03 11:30:30] 433*2^705819-1 is not prime. Res64: 1F19E912CDDCA1DD Time : 829.0 sec. user=vaughan [2009-08-03 11:32:06] 513*2^705820-1 is not prime. Res64: B55DA9F21C2B5820 Time : 457.0 sec. user=vaughan [2009-08-03 11:34:51] 539*2^705820-1 is not prime. Res64: 5B67FC3BDFFD1AE7 Time : 462.0 sec. user=vaughan [2009-08-03 11:36:46] 453*2^705820-1 is not prime. Res64: 0180BE0678F04AF6 Time : 758.0 sec. user=vaughan [2009-08-03 11:38:03] 537*2^705820-1 is not prime. Res64: 3A57248CFBAB2C05 Time : 674.0 sec. user=vaughan [2009-08-03 11:39:42] 487*2^705821-1 is not prime. Res64: AB315ECB4BC8DF35 Time : 457.0 sec. user=vaughan [2009-08-03 11:40:43] 587*2^705820-1 is not prime. Res64: 39C0C6740C2588BD Time : 667.0 sec. user=vaughan [2009-08-03 11:42:32] 507*2^705821-1 is not prime. Res64: 224742A2446B55E0 Time : 461.0 sec. user=vaughan [2009-08-03 11:44:58] 445*2^705821-1 is not prime. Res64: DDDE2737B9A66D9A Time : 869.0 sec. user=vaughan [2009-08-03 11:47:25] 413*2^705822-1 is not prime. Res64: 980A838AA2143CCD Time : 464.0 sec. user=vaughan [2009-08-03 11:48:52] 401*2^705822-1 is not prime. Res64: ACBB2A69E21CEA37 Time : 649.0 sec. user=vaughan [2009-08-03 11:50:17] 437*2^705822-1 is not prime. Res64: 74207F8272FFA1FE Time : 465.0 sec. user=vaughan [2009-08-03 11:50:28] 529*2^705821-1 is not prime. Res64: 3DD34FB867A6D17E Time : 822.0 sec. user=vaughan [2009-08-03 11:52:12] 417*2^705822-1 is not prime. Res64: 631F05D1F80CE3BE Time : 690.0 sec. user=vaughan [2009-08-03 11:55:01] 503*2^705822-1 is not prime. Res64: 85EEDD165B71D44C Time : 456.0 sec. user=vaughan [2009-08-03 11:57:58] 567*2^705822-1 is not prime. Res64: 4C3668D6D5971ABD Time : 461.0 sec. user=vaughan [2009-08-03 11:59:44] 485*2^705822-1 is not prime. Res64: AB238BF02585D79D Time : 886.0 sec. user=vaughan [2009-08-03 12:00:00] 513*2^705822-1 is not prime. Res64: 4935D6944537FCD1 Time : 668.0 sec. user=vaughan [2009-08-03 12:02:36] 559*2^705823-1 is not prime. Res64: 25B81AF205F60D6F Time : 455.0 sec. user=vaughan [2009-08-03 12:03:43] 463*2^705823-1 is not prime. Res64: B6A5DC718EBACAE9 Time : 691.0 sec. user=vaughan [2009-08-03 12:04:17] 441*2^705823-1 is not prime. Res64: 04EEC01AF88C8DFA Time : 829.0 sec. user=vaughan [2009-08-03 12:05:40] 413*2^705824-1 is not prime. Res64: F9B10E093693046B Time : 462.0 sec. user=vaughan [2009-08-03 12:10:12] 555*2^705825-1 is not prime. Res64: A8C26588D12B780F Time : 456.0 sec. user=vaughan [2009-08-03 12:11:04] 441*2^705825-1 is not prime. Res64: 4CBA3BCBE46DEEE9 Time : 665.0 sec. user=vaughan [2009-08-03 12:13:21] 463*2^705827-1 is not prime. Res64: BF6F5F238AEE7796 Time : 462.0 sec. user=vaughan [2009-08-03 12:14:01] 479*2^705824-1 is not prime. Res64: A6554C695759C0F6 Time : 857.0 sec. user=vaughan [2009-08-03 12:14:47] 495*2^705826-1 is not prime. Res64: A9D5DA2BD19F2A0D Time : 664.0 sec. user=vaughan [2009-08-03 12:16:44] 497*2^705826-1 is not prime. Res64: 0AA537BFBDCC827B Time : 747.0 sec. user=vaughan [2009-08-03 12:17:48] 413*2^705828-1 is not prime. Res64: 6DACCFAF0D6F57E1 Time : 456.0 sec. user=vaughan [2009-08-03 12:21:02] 453*2^705828-1 is not prime. Res64: 212E4FE982EDD256 Time : 462.0 sec. user=vaughan [2009-08-03 12:22:09] 419*2^705828-1 is not prime. Res64: 09E2BF919C9329E3 Time : 665.0 sec. user=vaughan [2009-08-03 12:25:24] 511*2^705829-1 is not prime. Res64: 6795A5F4FA934A27 Time : 456.0 sec. user=vaughan [2009-08-03 12:26:12] 579*2^705828-1 is not prime. Res64: 90BEA87D4AA5B8E0 Time : 686.0 sec. user=vaughan [2009-08-03 12:28:08] 483*2^705828-1 is not prime. Res64: 8CD8AD137D626DD9 Time : 847.0 sec. user=vaughan [2009-08-03 12:28:43] 565*2^705829-1 is not prime. Res64: F07CD8AC436CF838 Time : 461.0 sec. user=vaughan [2009-08-03 12:30:20] 439*2^705829-1 is not prime. Res64: 9AEC7A567963C1E6 Time : 816.0 sec. user=vaughan [2009-08-03 12:33:00] 593*2^705830-1 is not prime. Res64: DE2E6A40650A2F56 Time : 456.0 sec. user=vaughan [2009-08-03 12:33:01] 405*2^705830-1 is not prime. Res64: 1D14C8557881576C Time : 652.0 sec. user=vaughan [2009-08-03 12:36:24] 555*2^705831-1 is not prime. Res64: ADEA402B8DDBAB36 Time : 461.0 sec. user=vaughan [2009-08-03 12:37:20] 511*2^705831-1 is not prime. Res64: 66015D9171E51516 Time : 668.0 sec. user=vaughan [2009-08-03 12:40:36] 449*2^705832-1 is not prime. Res64: 1AC2BDCDEE1AB891 Time : 456.0 sec. user=vaughan [2009-08-03 12:43:13] 531*2^705831-1 is not prime. Res64: EE549F4F013811FD Time : 906.0 sec. user=vaughan [2009-08-03 12:43:49] 455*2^705832-1 is not prime. Res64: 59475412FC87E449 Time : 648.0 sec. user=vaughan [2009-08-03 12:44:05] 485*2^705832-1 is not prime. Res64: C93FC426D1DAA202 Time : 461.0 sec. user=vaughan [2009-08-03 12:44:09] 405*2^705832-1 is not prime. Res64: 692270272BFB6886 Time : 829.0 sec. user=vaughan [2009-08-03 12:48:12] 465*2^705833-1 is not prime. Res64: B8457549086B29C9 Time : 456.0 sec. user=vaughan [2009-08-03 12:48:56] 525*2^705832-1 is not prime. Res64: 021ABE7A0BD562A7 Time : 696.0 sec. user=vaughan [2009-08-03 12:51:46] 497*2^705834-1 is not prime. Res64: B345771928FC702F Time : 461.0 sec. user=vaughan [2009-08-03 12:54:22] 529*2^705833-1 is not prime. Res64: 8FAFEB651F11651F Time : 633.0 sec. user=vaughan [2009-08-03 12:55:49] 587*2^705834-1 is not prime. Res64: BCEBEDCD7EB7EDA7 Time : 457.0 sec. user=vaughan [2009-08-03 12:58:35] 513*2^705834-1 is not prime. Res64: 6AAB6B6EB955DABC Time : 866.0 sec. user=vaughan [2009-08-03 12:58:40] 507*2^705833-1 is not prime. Res64: B2F3ECD8DC4DD3A9 Time : 927.0 sec. user=vaughan [2009-08-03 12:59:27] 469*2^705835-1 is not prime. Res64: CCE9500C0CC8B655 Time : 461.0 sec. user=vaughan [2009-08-03 13:00:28] 453*2^705835-1 is not prime. Res64: 4E1EA941E9EC2E1E Time : 692.0 sec. user=vaughan [2009-08-03 13:03:25] 539*2^705836-1 is not prime. Res64: 2E3A9C08E8D800ED Time : 457.0 sec. user=vaughan [2009-08-03 13:05:25] 449*2^705836-1 is not prime. Res64: 1B8EABD451EDBAA8 Time : 663.0 sec. user=vaughan [2009-08-03 13:07:07] 573*2^705836-1 is not prime. Res64: 2FF769AA26728F0F Time : 460.0 sec. user=vaughan [2009-08-03 13:11:01] 447*2^705837-1 is not prime. Res64: FA605F1CD923747D Time : 456.0 sec. user=vaughan [2009-08-03 13:11:44] 427*2^705837-1 is not prime. Res64: 6F23C9095E44FDA5 Time : 676.0 sec. user=vaughan [2009-08-03 13:11:45] 557*2^705836-1 is not prime. Res64: BA40CA02D309D365 Time : 790.0 sec. user=vaughan [2009-08-03 13:13:19] 567*2^705836-1 is not prime. Res64: D95409882F034C86 Time : 879.0 sec. user=vaughan [2009-08-03 13:14:49] 537*2^705837-1 is not prime. Res64: 4D40A3ABEBFD5559 Time : 462.0 sec. user=vaughan [2009-08-03 13:16:32] 517*2^705837-1 is not prime. Res64: 5A07EACEEFAC59AC Time : 667.0 sec. user=vaughan [2009-08-03 13:18:38] 425*2^705838-1 is not prime. Res64: 630A5012D740088B Time : 457.0 sec. user=vaughan [2009-08-03 13:22:31] 555*2^705838-1 is not prime. Res64: F3C0E5DF480089C5 Time : 463.0 sec. user=vaughan [2009-08-03 13:23:01] 447*2^705838-1 is not prime. Res64: 490858064A7E57DA Time : 677.0 sec. user=vaughan [2009-08-03 13:24:50] 461*2^705838-1 is not prime. Res64: 11F9F09BA90BA3EC Time : 785.0 sec. user=vaughan [2009-08-03 13:26:14] 591*2^705838-1 is not prime. Res64: BDDFC6615772FC8E Time : 457.0 sec. user=vaughan [2009-08-03 13:27:36] 471*2^705838-1 is not prime. Res64: 6998B222CB2377A6 Time : 857.0 sec. user=vaughan [2009-08-03 13:27:38] 581*2^705838-1 is not prime. Res64: E4C563B1CAB38E58 Time : 667.0 sec. user=vaughan [2009-08-03 13:30:12] 435*2^705839-1 is not prime. Res64: F6AF1476B87EA5A2 Time : 462.0 sec. user=vaughan [2009-08-03 13:33:50] 425*2^705840-1 is not prime. Res64: 84A6DD96C8D03585 Time : 457.0 sec. user=vaughan [2009-08-03 13:34:05] 493*2^705839-1 is not prime. Res64: 05BE5813250F1AE9 Time : 665.0 sec. user=vaughan [2009-08-03 13:37:44] 571*2^705839-1 is not prime. Res64: 68AF492223A623D0 Time : 774.0 sec. user=vaughan [2009-08-03 13:37:54] 563*2^705840-1 is not prime. Res64: B1E6148A7AF27EB4 Time : 463.0 sec. user=vaughan [2009-08-03 13:38:40] 513*2^705840-1 is not prime. Res64: D43B2B7925435E32 Time : 663.0 sec. user=vaughan [2009-08-03 13:41:22] 465*2^705840-1 is not prime. Res64: 460377DD78AABBED Time : 827.0 sec. user=vaughan [2009-08-03 13:41:26] 441*2^705841-1 is not prime. Res64: ED663841EFE49693 Time : 456.0 sec. user=vaughan [2009-08-03 13:45:16] 469*2^705841-1 is not prime. Res64: 22B0B4E24BF7184C Time : 671.0 sec. user=vaughan [2009-08-03 13:45:36] 597*2^705841-1 is not prime. Res64: 3DB6AB369D872EA5 Time : 463.0 sec. user=vaughan [2009-08-03 13:49:02] 581*2^705842-1 is not prime. Res64: 67FB220E219BB6EA Time : 456.0 sec. user=vaughan [2009-08-03 13:49:46] 525*2^705842-1 is not prime. Res64: 679CD56930836DB6 Time : 666.0 sec. user=vaughan [2009-08-03 13:50:42] 505*2^705841-1 is not prime. Res64: 7C65429E571D9878 Time : 778.0 sec. user=vaughan [2009-08-03 13:53:17] 543*2^705843-1 is not prime. Res64: 9C172B6147125CD7 Time : 461.0 sec. user=vaughan [2009-08-03 13:56:07] 561*2^705842-1 is not prime. Res64: 121DF7353022B92F Time : 885.0 sec. user=vaughan [2009-08-03 13:56:38] 595*2^705843-1 is not prime. Res64: AB5B1071B745B057 Time : 456.0 sec. user=vaughan [2009-08-03 13:56:46] 489*2^705843-1 is not prime. Res64: 946F10635FA57E11 Time : 690.0 sec. user=vaughan [2009-08-03 14:00:36] 429*2^705844-1 is not prime. Res64: 35707FEAF049D529 Time : 650.0 sec. user=vaughan [2009-08-03 14:00:58] 539*2^705844-1 is not prime. Res64: CA9217054F39AC99 Time : 461.0 sec. user=vaughan [2009-08-03 14:04:12] 435*2^705844-1 is not prime. Res64: D40BB2BFC8F65F27 Time : 811.0 sec. user=vaughan [2009-08-03 14:04:14] 597*2^705844-1 is not prime. Res64: 5BC1351A67EC57E6 Time : 456.0 sec. user=vaughan [2009-08-03 14:07:53] 421*2^705845-1 is not prime. Res64: 7AEA2D12823FB7C3 Time : 668.0 sec. user=vaughan [2009-08-03 14:08:35] 431*2^705846-1 is not prime. Res64: 4283131803B769D4 Time : 457.0 sec. user=vaughan [2009-08-03 14:10:45] 563*2^705844-1 is not prime. Res64: 24B2B48E52E9B037 Time : 878.0 sec. user=vaughan [2009-08-03 14:11:50] 593*2^705846-1 is not prime. Res64: 7EFC0519DE6D2957 Time : 456.0 sec. user=vaughan [2009-08-03 14:12:25] 525*2^705845-1 is not prime. Res64: 9DB0E992C2B3E67F Time : 709.0 sec. user=vaughan [2009-08-03 14:16:12] 441*2^705847-1 is not prime. Res64: 700DD048E7FF4AB5 Time : 457.0 sec. user=vaughan [2009-08-03 14:17:32] 465*2^705846-1 is not prime. Res64: 24CE7F8B44A6E071 Time : 800.0 sec. user=vaughan [2009-08-03 14:19:09] 433*2^705847-1 is not prime. Res64: 204AFE4D796A499D Time : 677.0 sec. user=vaughan [2009-08-03 14:19:26] 465*2^705847-1 is not prime. Res64: 7BBC86BA4F706FA1 Time : 456.0 sec. user=vaughan [2009-08-03 14:23:49] 473*2^705848-1 is not prime. Res64: CBEC88978DEDAFBB Time : 457.0 sec. user=vaughan [2009-08-03 14:24:06] 523*2^705847-1 is not prime. Res64: EE19899532F6C299 Time : 702.0 sec. user=vaughan [2009-08-03 14:25:56] 451*2^705847-1 is not prime. Res64: 847E87AE89A2F526 Time : 911.0 sec. user=vaughan [2009-08-03 14:27:02] 533*2^705848-1 is not prime. Res64: 3743CE5AD000AD51 Time : 456.0 sec. user=vaughan [2009-08-03 14:30:21] 525*2^705848-1 is not prime. Res64: B2CCCAACE6003218 Time : 672.0 sec. user=vaughan [2009-08-03 14:30:32] 479*2^705848-1 is not prime. Res64: 0D06E5B276AB5697 Time : 780.0 sec. user=vaughan [2009-08-03 14:31:26] 557*2^705848-1 is not prime. Res64: 44F8E81C1B392F64 Time : 457.0 sec. user=vaughan [2009-08-03 14:34:38] 525*2^705849-1 is not prime. Res64: 0045A5900852EB0E Time : 456.0 sec. user=vaughan [2009-08-03 14:35:05] 585*2^705848-1 is not prime. Res64: 65234B7FCC2ECAAE Time : 659.0 sec. user=vaughan [2009-08-03 14:39:04] 587*2^705850-1 is not prime. Res64: 04714ECE91DA870B Time : 458.0 sec. user=vaughan [2009-08-03 14:41:01] 511*2^705849-1 is not prime. Res64: 39C718EF3B89B3A5 Time : 905.0 sec. user=vaughan [2009-08-03 14:41:51] 401*2^705850-1 is not prime. Res64: E4E72778DE1E213B Time : 691.0 sec. user=vaughan [2009-08-03 14:42:14] 445*2^705851-1 is not prime. Res64: 7896C0D4CA1FC230 Time : 456.0 sec. user=vaughan [2009-08-03 14:44:48] 527*2^705850-1 is not prime. Res64: A23EF763F244FDA4 Time : 856.0 sec. user=vaughan [2009-08-03 14:46:07] 451*2^705851-1 is not prime. Res64: 9F359FF7F9AC0ACE Time : 662.0 sec. user=vaughan [2009-08-03 14:46:43] 459*2^705851-1 is not prime. Res64: 9C899A1F5BDE36EE Time : 459.0 sec. user=vaughan [2009-08-03 14:49:49] 565*2^705851-1 is not prime. Res64: 90E32CF715A6F7E9 Time : 455.0 sec. user=vaughan [2009-08-03 14:53:24] 493*2^705851-1 is not prime. Res64: D43E44031CFF770C Time : 694.0 sec. user=vaughan [2009-08-03 14:54:23] 467*2^705852-1 is not prime. Res64: 29785F73639BE3DD Time : 460.0 sec. user=vaughan [2009-08-03 14:56:44] 465*2^705851-1 is not prime. Res64: 27DB463B0818319F Time : 944.0 sec. user=vaughan [2009-08-03 14:57:01] 447*2^705852-1 is not prime. Res64: 5AA46CC06394D8F1 Time : 654.0 sec. user=vaughan [2009-08-03 14:57:25] 513*2^705852-1 is not prime. Res64: 2345A9307D3B3DF3 Time : 456.0 sec. user=vaughan [2009-08-03 14:58:49] 405*2^705852-1 is not prime. Res64: B91310520FC863F5 Time : 841.0 sec. user=vaughan [2009-08-03 15:02:00] 567*2^705852-1 is not prime. Res64: CB75B4F2C21EB014 Time : 457.0 sec. user=vaughan [2009-08-03 15:04:53] 525*2^705852-1 is not prime. Res64: 364A8AE34FC2D04D Time : 689.0 sec. user=vaughan [2009-08-03 15:05:02] 481*2^705853-1 is not prime. Res64: 37ED7A1405E71DF3 Time : 457.0 sec. user=vaughan [2009-08-03 15:08:00] 411*2^705853-1 is not prime. Res64: A87126664CDA8302 Time : 659.0 sec. user=vaughan [2009-08-03 15:09:38] 591*2^705853-1 is not prime. Res64: B51395C14B531C57 Time : 458.0 sec. user=vaughan [2009-08-03 15:11:41] 569*2^705852-1 is not prime. Res64: 756EE28BF7D8E776 Time : 897.0 sec. user=vaughan [2009-08-03 15:12:30] 517*2^705853-1 is not prime. Res64: A3B22B3345528738 Time : 821.0 sec. user=vaughan [2009-08-03 15:12:38] 483*2^705854-1 is not prime. Res64: A289E0B0B41FBF27 Time : 457.0 sec. user=vaughan [2009-08-03 15:16:01] 425*2^705854-1 is not prime. Res64: 0906230119C47474 Time : 668.0 sec. user=vaughan [2009-08-03 15:17:17] 469*2^705855-1 is not prime. Res64: 2EEB834ED4E411FD Time : 459.0 sec. user=vaughan [2009-08-03 15:19:08] 495*2^705854-1 is not prime. Res64: A7A6AD05E0878799 Time : 668.0 sec. user=vaughan [2009-08-03 15:20:14] 437*2^705856-1 is not prime. Res64: 839A7451FF5A6E29 Time : 456.0 sec. user=vaughan [2009-08-03 15:24:56] 535*2^705855-1 is not prime. Res64: AF7E3F2D8FF5E139 Time : 746.0 sec. user=vaughan [2009-08-03 15:24:56] 479*2^705856-1 is not prime. Res64: 632F22B6D004D700 Time : 459.0 sec. user=vaughan [2009-08-03 15:25:02] 489*2^705855-1 is not prime. Res64: 42A86A8842503B43 Time : 801.0 sec. user=vaughan [2009-08-03 15:27:11] 447*2^705856-1 is not prime. Res64: 64E6981428278392 Time : 670.0 sec. user=vaughan [2009-08-03 15:27:50] 573*2^705856-1 is not prime. Res64: C3B42E4DC89D7DA7 Time : 456.0 sec. user=vaughan [2009-08-03 15:29:49] 509*2^705856-1 is not prime. Res64: 2A0244897645D3DF Time : 641.0 sec. user=vaughan [2009-08-03 15:32:33] 517*2^705857-1 is not prime. Res64: 497C49F1F48415EE Time : 457.0 sec. user=vaughan [2009-08-03 15:35:26] 525*2^705858-1 is not prime. Res64: 2BFCFA272427DEB2 Time : 456.0 sec. user=vaughan [2009-08-03 15:38:53] 565*2^705857-1 is not prime. Res64: 5D56B94CA8C451BC Time : 702.0 sec. user=vaughan [2009-08-03 15:39:34] 511*2^705857-1 is not prime. Res64: D8F5443DF996F7D0 Time : 879.0 sec. user=vaughan [2009-08-03 15:40:11] 453*2^705860-1 is not prime. Res64: 099B5DEBE43D1C97 Time : 458.0 sec. user=vaughan [2009-08-03 15:40:38] 437*2^705860-1 is not prime. Res64: 720CF1922243365F Time : 649.0 sec. user=vaughan [2009-08-03 15:40:39] 549*2^705857-1 is not prime. Res64: 2B7CF7635A70D073 Time : 937.0 sec. user=vaughan [2009-08-03 15:43:02] 479*2^705860-1 is not prime. Res64: F4754944C0FB7DBD Time : 456.0 sec. user=vaughan [2009-08-03 15:47:48] 593*2^705860-1 is not prime. Res64: 101F4A7559A3D7FD Time : 457.0 sec. user=vaughan [2009-08-03 15:50:23] 503*2^705860-1 is not prime. Res64: 38B80C32BDBB347A Time : 690.0 sec. user=vaughan [2009-08-03 15:50:38] 423*2^705862-1 is not prime. Res64: 68A10FB7EE77CC3F Time : 456.0 sec. user=vaughan [2009-08-03 15:51:36] 599*2^705860-1 is not prime. Res64: CA24945B3417C133 Time : 658.0 sec. user=vaughan [2009-08-03 15:53:11] 533*2^705860-1 is not prime. Res64: A8FC84DB05BCEB4D Time : 818.0 sec. user=vaughan [2009-08-03 15:55:23] 529*2^705861-1 is not prime. Res64: 84FD5E9A5AFFC956 Time : 884.0 sec. user=vaughan [2009-08-03 15:55:25] 495*2^705862-1 is not prime. Res64: C2F172220B3FDC85 Time : 457.0 sec. user=vaughan [2009-08-03 15:58:15] 441*2^705863-1 is not prime. Res64: 83935485914C03F2 Time : 457.0 sec. user=vaughan [2009-08-03 16:01:32] 411*2^705863-1 is not prime. Res64: 75E72DE062EF4498 Time : 670.0 sec. user=vaughan [2009-08-03 16:03:00] 453*2^705863-1 is not prime. Res64: 4152DFEA19C0729B Time : 684.0 sec. user=vaughan [2009-08-03 16:03:03] 587*2^705864-1 is not prime. Res64: BEC7F23BADDC4EF2 Time : 458.0 sec. user=vaughan [2009-08-03 16:05:51] 409*2^705865-1 is not prime. Res64: D0FC31797B1CF922 Time : 457.0 sec. user=vaughan [2009-08-03 16:06:02] 465*2^705863-1 is not prime. Res64: 2FA8EED4631755DA Time : 771.0 sec. user=vaughan [2009-08-03 16:10:10] 589*2^705863-1 is not prime. Res64: 28F2F0B15E055115 Time : 887.0 sec. user=vaughan [2009-08-03 16:10:41] 483*2^705866-1 is not prime. Res64: 196F4961BCD3F244 Time : 458.0 sec. user=vaughan [2009-08-03 16:12:35] 427*2^705865-1 is not prime. Res64: B793275D55E23CD7 Time : 663.0 sec. user=vaughan [2009-08-03 16:13:27] 581*2^705866-1 is not prime. Res64: 2739A5C9EEEFD073 Time : 457.0 sec. user=vaughan [2009-08-03 16:14:35] 589*2^705865-1 is not prime. Res64: 9FA7D438079C3C85 Time : 695.0 sec. user=vaughan [2009-08-03 16:18:18] 433*2^705867-1 is not prime. Res64: 141D5BC70305B219 Time : 458.0 sec. user=vaughan [2009-08-03 16:18:25] 587*2^705866-1 is not prime. Res64: 20E5CD42E14EA841 Time : 743.0 sec. user=vaughan [2009-08-03 16:21:02] 511*2^705867-1 is not prime. Res64: DE839580353E0110 Time : 456.0 sec. user=vaughan [2009-08-03 16:23:28] 593*2^705866-1 is not prime. Res64: 6271E2E41D52C9CE Time : 798.0 sec. user=vaughan [2009-08-03 16:23:36] 493*2^705867-1 is not prime. Res64: 4F94FAA07058164B Time : 661.0 sec. user=vaughan [2009-08-03 16:25:31] 579*2^705867-1 is not prime. Res64: 7DB27629014D9FC5 Time : 656.0 sec. user=vaughan [2009-08-03 16:25:55] 405*2^705868-1 is not prime. Res64: DF23DDF40B59CE5C Time : 458.0 sec. user=vaughan [2009-08-03 16:28:38] 483*2^705868-1 is not prime. Res64: 3FBDFD2779C7A0DE Time : 457.0 sec. user=vaughan [2009-08-03 16:30:00] 437*2^705868-1 is not prime. Res64: 5F4A7AB463911953 Time : 695.0 sec. user=vaughan [2009-08-03 16:33:35] 411*2^705869-1 is not prime. Res64: B60362197C0BE38E Time : 461.0 sec. user=vaughan [2009-08-03 16:34:12] 537*2^705868-1 is not prime. Res64: 602F1F8F79DCC6BF Time : 636.0 sec. user=vaughan [2009-08-03 16:34:51] 485*2^705868-1 is not prime. Res64: B7F7C85BA8092955 Time : 683.0 sec. user=vaughan [2009-08-03 16:36:02] 575*2^705868-1 is not prime. Res64: D5BB1E2957E674A2 Time : 631.0 sec. user=vaughan [2009-08-03 16:36:14] 441*2^705869-1 is not prime. Res64: 0E9E8C714C1AD030 Time : 457.0 sec. user=vaughan [2009-08-03 16:41:16] 561*2^705869-1 is not prime. Res64: B7C71A9E7CB8DE06 Time : 462.0 sec. user=vaughan [2009-08-03 16:41:49] 559*2^705869-1 is not prime. Res64: A7D40A2D210A3361 Time : 709.0 sec. user=vaughan [2009-08-03 16:43:50] 405*2^705871-1 is not prime. Res64: 8F16AEB6229D19CC Time : 456.0 sec. user=vaughan [2009-08-03 16:45:18] 401*2^705870-1 is not prime. Res64: 5846D282F7C030FE Time : 666.0 sec. user=vaughan [2009-08-03 16:47:25] 501*2^705870-1 is not prime. Res64: 6DD27AF737A73951 Time : 683.0 sec. user=vaughan [2009-08-03 16:47:59] 437*2^705870-1 is not prime. Res64: FA11F1430FC33C76 Time : 788.0 sec. user=vaughan [2009-08-03 16:48:57] 493*2^705871-1 is not prime. Res64: EC0C7F2A346265EC Time : 462.0 sec. user=vaughan [2009-08-03 16:51:26] 425*2^705872-1 is not prime. Res64: E5ACDA2B04DBE49A Time : 456.0 sec. user=vaughan [2009-08-03 16:54:13] 413*2^705872-1 is not prime. Res64: 9912135F5F088334 Time : 744.0 sec. user=vaughan [2009-08-03 16:56:27] 437*2^705872-1 is not prime. Res64: 1D9EB903908F959E Time : 670.0 sec. user=vaughan [2009-08-03 16:56:38] 593*2^705872-1 is not prime. Res64: 66EB893E26063052 Time : 461.0 sec. user=vaughan [2009-08-03 16:58:34] 479*2^705872-1 is not prime. Res64: 79ED83CB75B2691D Time : 669.0 sec. user=vaughan [2009-08-03 16:59:02] 439*2^705873-1 is not prime. Res64: 9679B50B589EEA57 Time : 456.0 sec. user=vaughan [2009-08-03 17:01:16] 525*2^705872-1 is not prime. Res64: 4BB019F7D79213B5 Time : 797.0 sec. user=vaughan [2009-08-03 17:04:19] 401*2^705874-1 is not prime. Res64: 00C74DFD6B1F3808 Time : 461.0 sec. user=vaughan [2009-08-03 17:05:45] 549*2^705873-1 is not prime. Res64: 377E6F28A19C9FC1 Time : 692.0 sec. user=vaughan [2009-08-03 17:06:38] 465*2^705874-1 is not prime. Res64: 6BBE4BB36AE88B08 Time : 456.0 sec. user=vaughan [2009-08-03 17:07:21] 571*2^705873-1 is not prime. Res64: E1E9B75B0A53CB17 Time : 654.0 sec. user=vaughan [2009-08-03 17:09:10] 447*2^705874-1 is not prime. Res64: E07EF5E5164E4753 Time : 637.0 sec. user=vaughan [2009-08-03 17:12:00] 527*2^705874-1 is not prime. Res64: 1A1B4C5C775D8606 Time : 461.0 sec. user=vaughan [2009-08-03 17:13:32] 513*2^705874-1 is not prime. Res64: 4366024B9C361B87 Time : 737.0 sec. user=vaughan [2009-08-03 17:14:14] 593*2^705874-1 is not prime. Res64: CBB020911AB41CA5 Time : 456.0 sec. user=vaughan [2009-08-03 17:18:53] 445*2^705875-1 is not prime. Res64: F440141806536228 Time : 692.0 sec. user=vaughan [2009-08-03 17:19:00] 575*2^705874-1 is not prime. Res64: 08AFD92B8C133847 Time : 795.0 sec. user=vaughan [2009-08-03 17:19:43] 463*2^705875-1 is not prime. Res64: 27DAFA9218CB649F Time : 463.0 sec. user=vaughan [2009-08-03 17:19:46] 451*2^705875-1 is not prime. Res64: 3B724D1A8A09D499 Time : 637.0 sec. user=vaughan [2009-08-03 17:21:49] 595*2^705875-1 is not prime. Res64: FEAAD9764FD1D8DB Time : 456.0 sec. user=vaughan [2009-08-03 17:27:25] 477*2^705877-1 is not prime. Res64: 0352BA3959673936 Time : 462.0 sec. user=vaughan [2009-08-03 17:28:26] 475*2^705875-1 is not prime. Res64: 5030CAE644F63424 Time : 894.0 sec. user=vaughan [2009-08-03 17:29:25] 549*2^705877-1 is not prime. Res64: 217678DFFC50A9A4 Time : 456.0 sec. user=vaughan [2009-08-03 17:30:15] 537*2^705876-1 is not prime. Res64: 71BEC87AC91464EA Time : 682.0 sec. user=vaughan [2009-08-03 17:30:45] 495*2^705877-1 is not prime. Res64: DA3352E05C77FFCA Time : 659.0 sec. user=vaughan [2009-08-03 17:32:02] 469*2^705877-1 is not prime. Res64: 48AB72068475623E Time : 782.0 sec. user=vaughan [2009-08-03 17:35:07] 589*2^705877-1 is not prime. Res64: 310AA2FAA39AD0E3 Time : 462.0 sec. user=vaughan [2009-08-03 17:37:00] 503*2^705878-1 is not prime. Res64: D85355CC59FE31BB Time : 455.0 sec. user=vaughan [2009-08-03 17:41:39] 551*2^705878-1 is not prime. Res64: 4364E5814BE84525 Time : 684.0 sec. user=vaughan [2009-08-03 17:42:03] 445*2^705879-1 is not prime. Res64: F1F18FD178BA4E78 Time : 678.0 sec. user=vaughan [2009-08-03 17:42:39] 437*2^705878-1 is not prime. Res64: FD075C83DBA70C13 Time : 853.0 sec. user=vaughan [2009-08-03 17:42:49] 481*2^705879-1 is not prime. Res64: B7DB679AEDA157DA Time : 462.0 sec. user=vaughan [2009-08-03 17:44:35] 511*2^705879-1 is not prime. Res64: F99BEC9A3EE2B70D Time : 455.0 sec. user=vaughan [2009-08-03 17:45:38] 459*2^705879-1 is not prime. Res64: FD9CE956B97AAD72 Time : 816.0 sec. user=vaughan [2009-08-03 17:50:32] 405*2^705880-1 is not prime. Res64: 924021E2398BDD33 Time : 463.0 sec. user=vaughan [2009-08-03 17:52:11] 539*2^705880-1 is not prime. Res64: FBEDFF1700711498 Time : 456.0 sec. user=vaughan [2009-08-03 17:52:51] 573*2^705879-1 is not prime. Res64: 9339840F37435593 Time : 648.0 sec. user=vaughan [2009-08-03 17:53:28] 555*2^705879-1 is not prime. Res64: 8D94FF0A5EABA16D Time : 709.0 sec. user=vaughan [2009-08-03 17:57:54] 595*2^705879-1 is not prime. Res64: 64471792D4E76090 Time : 915.0 sec. user=vaughan [2009-08-03 17:58:14] 485*2^705882-1 is not prime. Res64: 1404CF038A7CD501 Time : 463.0 sec. user=vaughan [2009-08-03 17:59:30] 587*2^705880-1 is not prime. Res64: 958A049CCA578EEE Time : 832.0 sec. user=vaughan [2009-08-03 17:59:47] 581*2^705882-1 is not prime. Res64: AB9E49B0F96F246A Time : 456.0 sec. user=vaughan [2009-08-03 18:04:08] 441*2^705883-1 is not prime. Res64: 8A5E1C33CBF59135 Time : 678.0 sec. user=vaughan [2009-08-03 18:05:03] 483*2^705884-1 is not prime. Res64: 327887421FA970FD Time : 695.0 sec. user=vaughan [2009-08-03 18:05:56] 539*2^705884-1 is not prime. Res64: B18B9A346DBF6FB1 Time : 462.0 sec. user=vaughan [2009-08-03 18:07:23] 465*2^705886-1 is not prime. Res64: 05E053D98C891E33 Time : 456.0 sec. user=vaughan [2009-08-03 18:12:32] 507*2^705884-1 is not prime. Res64: 2A52380D942742CB Time : 878.0 sec. user=vaughan [2009-08-03 18:12:57] 579*2^705884-1 is not prime. Res64: A1BD0832DB4ED38B Time : 807.0 sec. user=vaughan [2009-08-03 18:13:38] 573*2^705886-1 is not prime. Res64: 9617EC8461DE357B Time : 462.0 sec. user=vaughan [2009-08-03 18:14:59] 501*2^705887-1 is not prime. Res64: 12AAE0C7F3B393B4 Time : 456.0 sec. user=vaughan [2009-08-03 18:15:27] 513*2^705886-1 is not prime. Res64: EB4CD35BB3CCA5A9 Time : 679.0 sec. user=vaughan [2009-08-03 18:16:28] 561*2^705886-1 is not prime. Res64: 3C639686A3F0D45A Time : 685.0 sec. user=vaughan [2009-08-03 18:21:21] 565*2^705887-1 is not prime. Res64: 62BB7D002ADE0987 Time : 463.0 sec. user=vaughan [2009-08-03 18:22:36] 589*2^705887-1 is not prime. Res64: D94743FB0330071B Time : 457.0 sec. user=vaughan [2009-08-03 18:25:50] 549*2^705887-1 is not prime. Res64: FC52EDC51A343A65 Time : 774.0 sec. user=vaughan [2009-08-03 18:26:40] 513*2^705888-1 is not prime. Res64: 6AE6D086C7B17643 Time : 673.0 sec. user=vaughan [2009-08-03 18:26:48] 505*2^705887-1 is not prime. Res64: C787A4AB195E29C0 Time : 856.0 sec. user=vaughan [2009-08-03 18:27:40] 539*2^705888-1 is not prime. Res64: 3BA13557BEDEBC91 Time : 673.0 sec. user=vaughan [2009-08-03 18:29:04] 597*2^705888-1 is not prime. Res64: 5A11612DBC9B6928 Time : 463.0 sec. user=vaughan [2009-08-03 18:30:12] 411*2^705889-1 is not prime. Res64: D7A935DB48BD217A Time : 456.0 sec. user=vaughan [2009-08-03 18:36:46] 545*2^705890-1 is not prime. Res64: A31A296A3DC377D8 Time : 463.0 sec. user=vaughan [2009-08-03 18:37:48] 415*2^705891-1 is not prime. Res64: 9B83F0D22435F6EC Time : 456.0 sec. user=vaughan [2009-08-03 18:37:57] 495*2^705889-1 is not prime. Res64: 030A1BE3054920E9 Time : 677.0 sec. user=vaughan [2009-08-03 18:38:15] 457*2^705889-1 is not prime. Res64: 263D76120178959C Time : 745.0 sec. user=vaughan [2009-08-03 18:38:57] 521*2^705890-1 is not prime. Res64: 2D3A3917FDB2CE7A Time : 678.0 sec. user=vaughan [2009-08-03 18:40:23] 595*2^705889-1 is not prime. Res64: F75D9864525518DE Time : 815.0 sec. user=vaughan [2009-08-03 18:44:31] 469*2^705891-1 is not prime. Res64: F5F0319CE3D9281D Time : 466.0 sec. user=vaughan [2009-08-03 18:45:25] 529*2^705891-1 is not prime. Res64: EC6B352F0898FFFD Time : 457.0 sec. user=vaughan [2009-08-03 18:48:52] 549*2^705891-1 is not prime. Res64: 9489C0250489299D Time : 656.0 sec. user=vaughan [2009-08-03 18:50:00] 595*2^705891-1 is not prime. Res64: 70ADF8212645D829 Time : 663.0 sec. user=vaughan [2009-08-03 18:50:19] 571*2^705891-1 is not prime. Res64: E4A284C46EADD911 Time : 725.0 sec. user=vaughan [2009-08-03 18:52:14] 449*2^705892-1 is not prime. Res64: FDF1AF036341311A Time : 463.0 sec. user=vaughan [2009-08-03 18:53:01] 537*2^705892-1 is not prime. Res64: F85C99A34108927B Time : 456.0 sec. user=vaughan [2009-08-03 18:53:10] 447*2^705892-1 is not prime. Res64: 5B305C2C79B09B49 Time : 768.0 sec. user=vaughan [2009-08-03 18:59:56] 489*2^705893-1 is not prime. Res64: 83F7C5FE32C36CD5 Time : 462.0 sec. user=vaughan [2009-08-03 19:00:16] 579*2^705892-1 is not prime. Res64: 7C6134DAE23FAF14 Time : 684.0 sec. user=vaughan [2009-08-03 19:00:37] 511*2^705893-1 is not prime. Res64: 57AA25EF066B6945 Time : 456.0 sec. user=vaughan [2009-08-03 19:01:09] 435*2^705893-1 is not prime. Res64: 9AFAEF71AAE5B19D Time : 669.0 sec. user=vaughan [2009-08-03 19:02:35] 481*2^705893-1 is not prime. Res64: 56BBAF74933A5F03 Time : 736.0 sec. user=vaughan [2009-08-03 19:06:12] 485*2^705894-1 is not prime. Res64: 49315072843542FE Time : 782.0 sec. user=vaughan [2009-08-03 19:07:37] 421*2^705895-1 is not prime. Res64: C320BD4D74E23DAA Time : 461.0 sec. user=vaughan [2009-08-03 19:08:13] 429*2^705895-1 is not prime. Res64: 1F0ECE70F48EECDC Time : 456.0 sec. user=vaughan [2009-08-03 19:11:03] 423*2^705895-1 is not prime. Res64: 66C6726D68BDF7C3 Time : 647.0 sec. user=vaughan [2009-08-03 19:12:31] 531*2^705895-1 is not prime. Res64: A7F853D91209EF71 Time : 683.0 sec. user=vaughan [2009-08-03 19:15:01] 417*2^705896-1 is not prime. Res64: BFFE0F9119DBB783 Time : 746.0 sec. user=vaughan [2009-08-03 19:15:19] 509*2^705896-1 is not prime. Res64: 8FBC3714DEEA1BA3 Time : 462.0 sec. user=vaughan [2009-08-03 19:15:50] 539*2^705896-1 is not prime. Res64: 31F6065CDC96BCFC Time : 457.0 sec. user=vaughan [2009-08-03 19:19:41] 483*2^705896-1 is not prime. Res64: 54054BA676C66C5A Time : 809.0 sec. user=vaughan [2009-08-03 19:21:58] 585*2^705896-1 is not prime. Res64: 5B27E2E579F7CE8A Time : 655.0 sec. user=vaughan [2009-08-03 19:23:01] 471*2^705897-1 is not prime. Res64: C0225685EFAC2AA1 Time : 462.0 sec. user=vaughan [2009-08-03 19:23:26] 499*2^705897-1 is not prime. Res64: FFF644894C960C05 Time : 457.0 sec. user=vaughan [2009-08-03 19:23:32] 429*2^705897-1 is not prime. Res64: 4ED8F1ECBA19C6C5 Time : 661.0 sec. user=vaughan [2009-08-03 19:27:33] 447*2^705897-1 is not prime. Res64: 9925B75017D40D2D Time : 752.0 sec. user=vaughan [2009-08-03 19:30:49] 443*2^705898-1 is not prime. Res64: 7FEA580FEF651440 Time : 468.0 sec. user=vaughan [2009-08-03 19:31:02] 461*2^705898-1 is not prime. Res64: A9A574EC11C35EC4 Time : 456.0 sec. user=vaughan [2009-08-03 19:32:42] 549*2^705897-1 is not prime. Res64: CA5432DB58E908EA Time : 781.0 sec. user=vaughan [2009-08-03 19:32:50] 577*2^705897-1 is not prime. Res64: A23A3A56324F5F94 Time : 652.0 sec. user=vaughan [2009-08-03 19:34:40] 411*2^705899-1 is not prime. Res64: 9A093E62164B7AE3 Time : 668.0 sec. user=vaughan [2009-08-03 19:38:30] 433*2^705899-1 is not prime. Res64: 5B6DFD39552949D9 Time : 461.0 sec. user=vaughan [2009-08-03 19:38:37] 413*2^705900-1 is not prime. Res64: 8FC3DB8FDADD9B0A Time : 455.0 sec. user=vaughan [2009-08-03 19:39:16] 421*2^705899-1 is not prime. Res64: 3DB2555AFA8B5D99 Time : 704.0 sec. user=vaughan [2009-08-03 19:43:39] 465*2^705900-1 is not prime. Res64: CB45BA318AF50447 Time : 649.0 sec. user=vaughan [2009-08-03 19:45:25] 455*2^705900-1 is not prime. Res64: 0328EC5948484653 Time : 763.0 sec. user=vaughan [2009-08-03 19:45:44] 527*2^705900-1 is not prime. Res64: 502BBB92D4EC6A6E Time : 664.0 sec. user=vaughan [2009-08-03 19:46:12] 567*2^705900-1 is not prime. Res64: D47CAB022AF65C68 Time : 462.0 sec. user=vaughan [2009-08-03 19:46:13] 579*2^705900-1 is not prime. Res64: 1CC3F28420764FCB Time : 456.0 sec. user=vaughan [2009-08-03 19:52:46] 495*2^705901-1 is not prime. Res64: 90C97D5301A27A36 Time : 810.0 sec. user=vaughan [2009-08-03 19:53:49] 563*2^705902-1 is not prime. Res64: B0F3184A33C5BA9A Time : 456.0 sec. user=vaughan [2009-08-03 19:53:54] 437*2^705902-1 is not prime. Res64: 22334CB47C2F775A Time : 462.0 sec. user=vaughan [2009-08-03 19:54:48] 511*2^705901-1 is not prime. Res64: 6CE78C01C08691E0 Time : 669.0 sec. user=vaughan [2009-08-03 19:57:14] 405*2^705902-1 is not prime. Res64: EF457133A422E532 Time : 690.0 sec. user=vaughan [2009-08-03 20:00:19] 541*2^705901-1 is not prime. Res64: C31FCB869BBC1BFB Time : 895.0 sec. user=vaughan [2009-08-03 20:01:25] 459*2^705903-1 is not prime. Res64: C7C4EFBB670C6BFC Time : 456.0 sec. user=vaughan [2009-08-03 20:01:36] 437*2^705904-1 is not prime. Res64: F96868E4EAB80C5D Time : 463.0 sec. user=vaughan [2009-08-03 20:05:35] 563*2^705904-1 is not prime. Res64: E6F8BC4EB062C209 Time : 647.0 sec. user=vaughan [2009-08-03 20:06:13] 593*2^705902-1 is not prime. Res64: D5A68C4307A59E26 Time : 807.0 sec. user=vaughan [2009-08-03 20:08:48] 447*2^705905-1 is not prime. Res64: 5ED95F530F1AEF1A Time : 694.0 sec. user=vaughan [2009-08-03 20:09:02] 475*2^705905-1 is not prime. Res64: B21AEB7435CAB4E0 Time : 457.0 sec. user=vaughan [2009-08-03 20:09:17] 431*2^705906-1 is not prime. Res64: AF2EFF40145B1D97 Time : 462.0 sec. user=vaughan [2009-08-03 20:14:51] 465*2^705905-1 is not prime. Res64: 0EB244A3F0628443 Time : 872.0 sec. user=vaughan [2009-08-03 20:16:38] 573*2^705906-1 is not prime. Res64: 7FF736A909FA082F Time : 457.0 sec. user=vaughan [2009-08-03 20:16:46] 501*2^705906-1 is not prime. Res64: AD783B1D9C2098D4 Time : 671.0 sec. user=vaughan [2009-08-03 20:16:59] 581*2^705906-1 is not prime. Res64: 6D4BD793517349C9 Time : 462.0 sec. user=vaughan [2009-08-03 20:19:22] 527*2^705906-1 is not prime. Res64: 364536547EA65B23 Time : 789.0 sec. user=vaughan [2009-08-03 20:20:13] 531*2^705906-1 is not prime. Res64: C142AEE51F14DF2E Time : 685.0 sec. user=vaughan [2009-08-03 20:24:15] 439*2^705907-1 is not prime. Res64: 12EE5ABE45BB1769 Time : 458.0 sec. user=vaughan [2009-08-03 20:24:42] 471*2^705907-1 is not prime. Res64: 6534A5AA65A2FEEB Time : 463.0 sec. user=vaughan [2009-08-03 20:28:04] 451*2^705907-1 is not prime. Res64: 865114BE0575A2F8 Time : 679.0 sec. user=vaughan [2009-08-03 20:28:41] 593*2^705906-1 is not prime. Res64: 5B528D06908D713E Time : 830.0 sec. user=vaughan [2009-08-03 20:31:34] 567*2^705908-1 is not prime. Res64: 30C5F2F1E52025E5 Time : 681.0 sec. user=vaughan [2009-08-03 20:31:50] 579*2^705908-1 is not prime. Res64: CD75822DDB31C115 Time : 456.0 sec. user=vaughan [2009-08-03 20:32:15] 417*2^705908-1 is not prime. Res64: 17823033B90565BB Time : 773.0 sec. user=vaughan [2009-08-03 20:32:23] 599*2^705908-1 is not prime. Res64: BBD24136BF672B50 Time : 461.0 sec. user=vaughan [2009-08-03 20:39:15] 415*2^705909-1 is not prime. Res64: CB94991CA8254AF9 Time : 671.0 sec. user=vaughan [2009-08-03 20:39:27] 567*2^705910-1 is not prime. Res64: 091E5059FEE0CDBC Time : 457.0 sec. user=vaughan [2009-08-03 20:40:04] 519*2^705911-1 is not prime. Res64: 96265348BEE10FBA Time : 461.0 sec. user=vaughan [2009-08-03 20:42:14] 559*2^705909-1 is not prime. Res64: AF42C3D36C3CEFB3 Time : 814.0 sec. user=vaughan [2009-08-03 20:42:44] 483*2^705910-1 is not prime. Res64: 8384D243D172FAB8 Time : 670.0 sec. user=vaughan [2009-08-03 20:44:38] 451*2^705911-1 is not prime. Res64: BA999AD9411439F7 Time : 743.0 sec. user=vaughan [2009-08-03 20:47:03] 559*2^705911-1 is not prime. Res64: FECDD92C2712C681 Time : 457.0 sec. user=vaughan [2009-08-03 20:47:45] 579*2^705911-1 is not prime. Res64: B5B05B66DCDFDF9F Time : 461.0 sec. user=vaughan [2009-08-03 20:50:16] 525*2^705911-1 is not prime. Res64: 4EA9A1275B95761A Time : 661.0 sec. user=vaughan [2009-08-03 20:54:17] 425*2^705912-1 is not prime. Res64: 197BBF02A401B3EF Time : 693.0 sec. user=vaughan [2009-08-03 20:54:38] 453*2^705912-1 is not prime. Res64: 3CEA85B2B9132918 Time : 455.0 sec. user=vaughan [2009-08-03 20:55:27] 503*2^705912-1 is not prime. Res64: 4AA6FB0C4E10F32C Time : 462.0 sec. user=vaughan [2009-08-03 20:56:17] 423*2^705912-1 is not prime. Res64: F8F64F17B644C7CE Time : 843.0 sec. user=vaughan [2009-08-03 20:56:59] 447*2^705912-1 is not prime. Res64: 3640E30DAB65B93F Time : 741.0 sec. user=vaughan [2009-08-03 21:01:16] 563*2^705912-1 is not prime. Res64: 26CE410BAE0E5304 Time : 661.0 sec. user=vaughan [2009-08-03 21:02:14] 435*2^705913-1 is not prime. Res64: 946BF823648D5D55 Time : 456.0 sec. user=vaughan [2009-08-03 21:03:10] 559*2^705913-1 is not prime. Res64: 870C7CC9720B3627 Time : 463.0 sec. user=vaughan [2009-08-03 21:05:52] 587*2^705912-1 is not prime. Res64: 1CB348CEE09E3CD2 Time : 695.0 sec. user=vaughan [2009-08-03 21:08:36] 453*2^705914-1 is not prime. Res64: D89A95EE808C1F1E Time : 697.0 sec. user=vaughan [2009-08-03 21:08:42] 565*2^705913-1 is not prime. Res64: 5E4EEDFB5D10379E Time : 745.0 sec. user=vaughan [2009-08-03 21:09:50] 483*2^705914-1 is not prime. Res64: A280F2BAEC54F978 Time : 456.0 sec. user=vaughan [2009-08-03 21:10:52] 545*2^705914-1 is not prime. Res64: FEA987EDD6CCB245 Time : 462.0 sec. user=vaughan [2009-08-03 21:11:48] 477*2^705914-1 is not prime. Res64: A42739D13750A0C2 Time : 632.0 sec. user=vaughan [2009-08-03 21:16:52] 411*2^705915-1 is not prime. Res64: 36CDDC97EE65B979 Time : 660.0 sec. user=vaughan [2009-08-03 21:17:26] 451*2^705915-1 is not prime. Res64: D0B19E025E5BE8EB Time : 456.0 sec. user=vaughan [2009-08-03 21:18:33] 459*2^705915-1 is not prime. Res64: FC60CA35CC2DC74A Time : 461.0 sec. user=vaughan [2009-08-03 21:19:13] 415*2^705915-1 is not prime. Res64: 296260EED97414DE Time : 637.0 sec. user=vaughan [2009-08-03 21:19:30] 433*2^705915-1 is not prime. Res64: 09EAE07378F312D3 Time : 648.0 sec. user=vaughan [2009-08-03 21:22:03] 529*2^705915-1 is not prime. Res64: D52121FAFA51A942 Time : 615.0 sec. user=vaughan [2009-08-03 21:25:01] 447*2^705916-1 is not prime. Res64: 6289635442AFD1A2 Time : 455.0 sec. user=vaughan [2009-08-03 21:26:15] 483*2^705916-1 is not prime. Res64: 19BA47C9AB3C6B76 Time : 462.0 sec. user=vaughan [2009-08-03 21:27:43] 553*2^705915-1 is not prime. Res64: 8EE2BF7057D6ED79 Time : 652.0 sec. user=vaughan [2009-08-03 21:29:41] 593*2^705916-1 is not prime. Res64: 086F7C9D94864F52 Time : 629.0 sec. user=vaughan [2009-08-03 21:30:06] 405*2^705917-1 is not prime. Res64: 1D2F10FC9980048D Time : 637.0 sec. user=vaughan [2009-08-03 21:32:17] 441*2^705917-1 is not prime. Res64: 7383CB032EB95C35 Time : 614.0 sec. user=vaughan [2009-08-03 21:32:35] 487*2^705917-1 is not prime. Res64: 8AF72763881D1302 Time : 454.0 sec. user=vaughan [2009-08-03 21:33:59] 511*2^705917-1 is not prime. Res64: 5B48548179DDF0AF Time : 464.0 sec. user=vaughan [2009-08-03 21:39:02] 537*2^705917-1 is not prime. Res64: AC9DDF23FF52409D Time : 679.0 sec. user=vaughan [2009-08-03 21:40:09] 557*2^705918-1 is not prime. Res64: EBD16031C1C0E7D0 Time : 454.0 sec. user=vaughan [2009-08-03 21:41:07] 417*2^705918-1 is not prime. Res64: 976DDA4ED7B2AF14 Time : 686.0 sec. user=vaughan [2009-08-03 21:41:43] 585*2^705918-1 is not prime. Res64: 892D6D8D3E42F7BB Time : 464.0 sec. user=vaughan [2009-08-03 21:42:10] 515*2^705918-1 is not prime. Res64: 996CA8806F09A49C Time : 724.0 sec. user=vaughan [2009-08-03 21:42:55] 551*2^705918-1 is not prime. Res64: 2315E233ADFE3879 Time : 638.0 sec. user=vaughan [2009-08-03 21:47:43] 511*2^705919-1 is not prime. Res64: 76BB82EFBBDD1B53 Time : 454.0 sec. user=vaughan [2009-08-03 21:49:28] 405*2^705920-1 is not prime. Res64: B9AEDE3C3661837C Time : 465.0 sec. user=vaughan [2009-08-03 21:50:21] 493*2^705919-1 is not prime. Res64: 7ABAF6A2217487F6 Time : 679.0 sec. user=vaughan [2009-08-03 21:52:29] 589*2^705919-1 is not prime. Res64: A5B5FAB650D3E5A6 Time : 682.0 sec. user=vaughan [2009-08-03 21:53:35] 465*2^705920-1 is not prime. Res64: 532B44110A4BF617 Time : 640.0 sec. user=vaughan [2009-08-03 21:54:07] 425*2^705920-1 is not prime. Res64: 0F379E0ED710677F Time : 717.0 sec. user=vaughan [2009-08-03 21:55:17] 405*2^705921-1 is not prime. Res64: 02F1F1FD492A176C Time : 455.0 sec. user=vaughan [2009-08-03 21:57:12] 529*2^705921-1 is not prime. Res64: 08C33C2F9FDD3BFE Time : 465.0 sec. user=vaughan [2009-08-03 22:01:37] 535*2^705921-1 is not prime. Res64: E44633BD0C1C0BE0 Time : 687.0 sec. user=vaughan [2009-08-03 22:02:51] 525*2^705922-1 is not prime. Res64: A96A46242ACA1348 Time : 454.0 sec. user=vaughan [2009-08-03 22:04:05] 571*2^705921-1 is not prime. Res64: 5097B0C179AD6774 Time : 697.0 sec. user=vaughan [2009-08-03 22:04:33] 435*2^705922-1 is not prime. Res64: 980DA6B36AAC96B7 Time : 658.0 sec. user=vaughan [2009-08-03 22:04:56] 533*2^705922-1 is not prime. Res64: 4517C00638F3590E Time : 464.0 sec. user=vaughan [2009-08-03 22:06:58] 483*2^705922-1 is not prime. Res64: 15D145EDC9617BF2 Time : 771.0 sec. user=vaughan [2009-08-03 22:10:24] 585*2^705923-1 is not prime. Res64: 19E00C7A07814672 Time : 453.0 sec. user=vaughan [2009-08-03 22:12:40] 405*2^705925-1 is not prime. Res64: 6F2AF8393124DA13 Time : 464.0 sec. user=vaughan [2009-08-03 22:13:04] 501*2^705923-1 is not prime. Res64: 89BEC29FECA9F1FA Time : 687.0 sec. user=vaughan [2009-08-03 22:15:03] 465*2^705924-1 is not prime. Res64: 8031EEA71794D441 Time : 631.0 sec. user=vaughan [2009-08-03 22:15:16] 595*2^705923-1 is not prime. Res64: 761F6684514EFB19 Time : 671.0 sec. user=vaughan [2009-08-03 22:17:58] 525*2^705925-1 is not prime. Res64: 883CA9ACC73FCD89 Time : 454.0 sec. user=vaughan [2009-08-03 22:18:51] 465*2^705925-1 is not prime. Res64: F9824B121B6A8E10 Time : 713.0 sec. user=vaughan [2009-08-03 22:20:26] 595*2^705925-1 is not prime. Res64: 72D78DD3BDBE173D Time : 466.0 sec. user=vaughan [2009-08-03 22:24:23] 567*2^705926-1 is not prime. Res64: 3432A0AE941F9FDA Time : 679.0 sec. user=vaughan [2009-08-03 22:25:31] 585*2^705927-1 is not prime. Res64: 715AF20B21896688 Time : 453.0 sec. user=vaughan [2009-08-03 22:25:36] 441*2^705927-1 is not prime. Res64: 0B5CC881DE523E72 Time : 633.0 sec. user=vaughan [2009-08-03 22:27:07] 493*2^705927-1 is not prime. Res64: 72CCC0D53DDD9794 Time : 712.0 sec. user=vaughan [2009-08-03 22:28:12] 483*2^705928-1 is not prime. Res64: BB4CDBF5396DE371 Time : 466.0 sec. user=vaughan [2009-08-03 22:32:18] 413*2^705928-1 is not prime. Res64: ADB01548FD524116 Time : 807.0 sec. user=vaughan [2009-08-03 22:33:06] 411*2^705929-1 is not prime. Res64: E0EC717BCDDF372D Time : 455.0 sec. user=vaughan [2009-08-03 22:35:55] 437*2^705930-1 is not prime. Res64: 2749FFABA52EB2C3 Time : 464.0 sec. user=vaughan [2009-08-03 22:36:20] 567*2^705929-1 is not prime. Res64: 96FFDA04F0A8E442 Time : 644.0 sec. user=vaughan [2009-08-03 22:36:44] 539*2^705928-1 is not prime. Res64: 1B3811040FE29E1B Time : 741.0 sec. user=vaughan [2009-08-03 22:40:36] 579*2^705929-1 is not prime. Res64: 2417D73C8BF34D3A Time : 809.0 sec. user=vaughan [2009-08-03 22:40:42] 483*2^705930-1 is not prime. Res64: 493BE5F3EB255633 Time : 456.0 sec. user=vaughan [2009-08-03 22:43:37] 513*2^705930-1 is not prime. Res64: 3F4B783622272D99 Time : 463.0 sec. user=vaughan [2009-08-03 22:46:42] 471*2^705930-1 is not prime. Res64: 6B227F780529C791 Time : 864.0 sec. user=vaughan [2009-08-03 22:47:22] 525*2^705930-1 is not prime. Res64: 901DCEF3F7ED9DB3 Time : 662.0 sec. user=vaughan [2009-08-03 22:48:18] 411*2^705931-1 is not prime. Res64: 3718CDEE1C610F31 Time : 456.0 sec. user=vaughan [2009-08-03 22:48:34] 563*2^705930-1 is not prime. Res64: 3432DFE05D9769A8 Time : 710.0 sec. user=vaughan [2009-08-03 22:51:19] 421*2^705931-1 is not prime. Res64: D97BF7D097900334 Time : 463.0 sec. user=vaughan [2009-08-03 22:53:34] 587*2^705930-1 is not prime. Res64: E43B1E82ADD32807 Time : 778.0 sec. user=vaughan [2009-08-03 22:55:54] 423*2^705932-1 is not prime. Res64: 20C9AEFD20F705A8 Time : 456.0 sec. user=vaughan [2009-08-03 22:58:23] 499*2^705931-1 is not prime. Res64: 1C84CD79EC6369A3 Time : 661.0 sec. user=vaughan [2009-08-03 22:59:00] 515*2^705932-1 is not prime. Res64: 1CBDCEC2CC2E66F0 Time : 461.0 sec. user=vaughan [2009-08-03 23:00:40] 507*2^705932-1 is not prime. Res64: 9559B55EFF313083 Time : 726.0 sec. user=vaughan [2009-08-03 23:01:44] 463*2^705931-1 is not prime. Res64: 83D131116A3D1DFE Time : 908.0 sec. user=vaughan [2009-08-03 23:03:30] 507*2^705933-1 is not prime. Res64: 2CA5A2D674A70655 Time : 456.0 sec. user=vaughan [2009-08-03 23:06:42] 529*2^705933-1 is not prime. Res64: BECD34686F124CA3 Time : 462.0 sec. user=vaughan [2009-08-03 23:06:52] 573*2^705932-1 is not prime. Res64: 0FAFA8A399B6B7A4 Time : 798.0 sec. user=vaughan [2009-08-03 23:09:11] 511*2^705933-1 is not prime. Res64: 7F8200E22E307E44 Time : 648.0 sec. user=vaughan [2009-08-03 23:11:06] 525*2^705934-1 is not prime. Res64: 0F0116A602AABB78 Time : 456.0 sec. user=vaughan [2009-08-03 23:12:53] 555*2^705933-1 is not prime. Res64: C21476F3675868F5 Time : 733.0 sec. user=vaughan [2009-08-03 23:14:24] 561*2^705934-1 is not prime. Res64: 4E96413399B5EBB2 Time : 462.0 sec. user=vaughan [2009-08-03 23:16:26] 443*2^705934-1 is not prime. Res64: AA0701103409E1FF Time : 882.0 sec. user=vaughan [2009-08-03 23:18:42] 441*2^705935-1 is not prime. Res64: 9957AE15F7C5E201 Time : 456.0 sec. user=vaughan [2009-08-03 23:18:59] 421*2^705935-1 is not prime. Res64: 5AA80E4C1036F443 Time : 727.0 sec. user=vaughan [2009-08-03 23:20:02] 433*2^705935-1 is not prime. Res64: E20941E47BC53AEB Time : 651.0 sec. user=vaughan [2009-08-03 23:22:05] 527*2^705936-1 is not prime. Res64: 9CC351680AB29242 Time : 461.0 sec. user=vaughan [2009-08-03 23:24:01] 459*2^705935-1 is not prime. Res64: 71011F4BDCD48626 Time : 669.0 sec. user=vaughan [2009-08-03 23:26:17] 435*2^705937-1 is not prime. Res64: 9B0CEFC6A938E0DC Time : 455.0 sec. user=vaughan [2009-08-03 23:27:59] 567*2^705936-1 is not prime. Res64: 888DBFF63943E68F Time : 693.0 sec. user=vaughan [2009-08-03 23:29:46] 437*2^705938-1 is not prime. Res64: EFA8B6A029B9BC65 Time : 461.0 sec. user=vaughan [2009-08-03 23:30:34] 567*2^705937-1 is not prime. Res64: 7C277AC68BD23C68 Time : 695.0 sec. user=vaughan [2009-08-03 23:30:36] 577*2^705937-1 is not prime. Res64: 994765A3FAED50C6 Time : 635.0 sec. user=vaughan [2009-08-03 23:33:54] 451*2^705939-1 is not prime. Res64: 47628E8EDEC6A93E Time : 457.0 sec. user=vaughan [2009-08-03 23:35:26] 447*2^705938-1 is not prime. Res64: 0615BAE2C38DC060 Time : 685.0 sec. user=vaughan [2009-08-03 23:37:26] 481*2^705939-1 is not prime. Res64: 3FA1E4469730BE08 Time : 460.0 sec. user=vaughan [2009-08-03 23:40:36] 469*2^705939-1 is not prime. Res64: 5E2455B5B22CFD68 Time : 757.0 sec. user=vaughan [2009-08-03 23:41:11] 437*2^705940-1 is not prime. Res64: FFBBA878D8949F32 Time : 635.0 sec. user=vaughan [2009-08-03 23:41:30] 489*2^705940-1 is not prime. Res64: FC60D1B4794AF80F Time : 457.0 sec. user=vaughan [2009-08-03 23:41:58] 495*2^705939-1 is not prime. Res64: 91381D381EC391F6 Time : 684.0 sec. user=vaughan [2009-08-03 23:45:07] 537*2^705940-1 is not prime. Res64: 858F7C448EDF4CB2 Time : 461.0 sec. user=vaughan [2009-08-03 23:46:39] 525*2^705940-1 is not prime. Res64: F0E1540F9E06895D Time : 673.0 sec. user=vaughan [2009-08-03 23:49:08] 421*2^705941-1 is not prime. Res64: 90BDE10FF84A743C Time : 459.0 sec. user=vaughan [2009-08-03 23:51:51] 587*2^705940-1 is not prime. Res64: 9ADBDAD57C96B1A3 Time : 640.0 sec. user=vaughan [2009-08-03 23:52:38] 569*2^705940-1 is not prime. Res64: 830E3DB075383888 Time : 722.0 sec. user=vaughan [2009-08-03 23:52:48] 453*2^705942-1 is not prime. Res64: 846B8E2D23E18877 Time : 461.0 sec. user=vaughan [2009-08-03 23:53:09] 525*2^705941-1 is not prime. Res64: 6344381B681140ED Time : 672.0 sec. user=vaughan [2009-08-03 23:56:44] 567*2^705942-1 is not prime. Res64: 8FEC525B51AD00E9 Time : 456.0 sec. user=vaughan [2009-08-03 23:58:07] 551*2^705942-1 is not prime. Res64: 37FEE65229A6455A Time : 689.0 sec.