user=vaughan [2009-07-10 00:01:21] 453*2^702915-1 is not prime. Res64: 7327871B316B5C2E Time : 5826.0 sec. user=vaughan [2009-07-10 00:06:27] 523*2^702915-1 is not prime. Res64: 7E73986D86EAE9BF Time : 5617.0 sec. user=vaughan [2009-07-10 00:11:22] 583*2^702915-1 is not prime. Res64: AD866B6F546AB856 Time : 5854.0 sec. user=vaughan [2009-07-10 00:15:49] 595*2^702915-1 is not prime. Res64: 6F92EFD704FFE4FD Time : 5624.0 sec. user=vaughan [2009-07-10 00:21:29] 405*2^702916-1 is not prime. Res64: 65C271221696BEC9 Time : 5877.0 sec. user=vaughan [2009-07-10 00:25:39] 519*2^702916-1 is not prime. Res64: B23117FEBBD1F9F8 Time : 5651.0 sec. user=vaughan [2009-07-10 00:31:03] 569*2^702916-1 is not prime. Res64: 54FDFC96D61997F3 Time : 5849.0 sec. user=vaughan [2009-07-10 00:35:25] 511*2^702917-1 is not prime. Res64: 12A55E29A46315A4 Time : 5685.0 sec. user=vaughan [2009-07-10 00:41:21] 517*2^702917-1 is not prime. Res64: 9987540F5BE96B19 Time : 5912.0 sec. user=vaughan [2009-07-10 00:44:48] 513*2^702918-1 is not prime. Res64: A5102C7B3F4DC03B Time : 5678.0 sec. user=vaughan [2009-07-10 00:51:14] 511*2^702919-1 is not prime. Res64: 340370040E86B6AA Time : 5918.0 sec. user=vaughan [2009-07-10 00:54:16] 525*2^702920-1 is not prime. Res64: 21C2A13E10F19F29 Time : 5666.0 sec. user=vaughan [2009-07-10 01:00:47] 563*2^702920-1 is not prime. Res64: 47A0E95180243E1E Time : 5880.0 sec. user=vaughan [2009-07-10 01:03:54] 593*2^702920-1 is not prime. Res64: A13886EABD29214C Time : 5672.0 sec. user=vaughan [2009-07-10 01:10:46] 405*2^702921-1 is not prime. Res64: 3FBE5530389A23DE Time : 5902.0 sec. user=vaughan [2009-07-10 01:13:48] 469*2^702921-1 is not prime. Res64: CEC2E1D62242EAE9 Time : 5726.0 sec. user=vaughan [2009-07-10 01:20:38] 475*2^702921-1 is not prime. Res64: C40F9619BF0A3EA4 Time : 5904.0 sec. user=vaughan [2009-07-10 01:23:23] 517*2^702921-1 is not prime. Res64: 90E3F01B07390F15 Time : 5745.0 sec. user=vaughan [2009-07-10 01:31:15] 535*2^702921-1 is not prime. Res64: 8D8EC35EA43FF64B Time : 5981.0 sec. user=vaughan [2009-07-10 01:33:12] 585*2^702921-1 is not prime. Res64: CD525B84F3FF0B43 Time : 5770.0 sec. user=vaughan [2009-07-10 01:41:28] 495*2^702922-1 is not prime. Res64: E67E525D5F895970 Time : 6008.0 sec. user=vaughan [2009-07-10 01:42:46] 551*2^702922-1 is not prime. Res64: 45C95B33CDB173F8 Time : 5779.0 sec. user=vaughan [2009-07-10 01:50:38] 561*2^702922-1 is not prime. Res64: 11110D38C51C2EA4 Time : 5956.0 sec. user=vaughan [2009-07-10 01:52:02] 451*2^702923-1 is not prime. Res64: BA358D00C1B8BC5A Time : 5773.0 sec. user=vaughan [2009-07-10 02:00:53] 505*2^702923-1 is not prime. Res64: D04ACB4094158AB5 Time : 5964.0 sec. user=vaughan [2009-07-10 02:01:53] 565*2^702923-1 is not prime. Res64: D64F0889642FF502 Time : 5775.0 sec. user=vaughan [2009-07-10 02:11:29] 453*2^702924-1 is not prime. Res64: 5F6C0B404D139A13 Time : 6027.0 sec. user=vaughan [2009-07-10 02:11:37] 473*2^702924-1 is not prime. Res64: A32A57FB44D03851 Time : 5772.0 sec. user=vaughan [2009-07-10 02:20:45] 527*2^702924-1 is not prime. Res64: 7606A970DCC896B7 Time : 5758.0 sec. user=vaughan [2009-07-10 02:21:19] 483*2^702924-1 is not prime. Res64: 2132B434CAB9BDE6 Time : 5999.0 sec. user=vaughan [2009-07-10 02:30:07] 587*2^702924-1 is not prime. Res64: A0159AB0FE918EB6 Time : 5751.0 sec. user=vaughan [2009-07-10 02:30:45] 557*2^702924-1 is not prime. Res64: 7C40C610FA673B30 Time : 5971.0 sec. user=vaughan [2009-07-10 02:39:59] 541*2^702925-1 is not prime. Res64: E58CC46821F987EF Time : 5765.0 sec. user=vaughan [2009-07-10 02:40:48] 441*2^702925-1 is not prime. Res64: 464988BA88FBAED2 Time : 6001.0 sec. user=vaughan [2009-07-10 02:49:15] 501*2^702926-1 is not prime. Res64: B8657A219545CEDF Time : 5727.0 sec. user=vaughan [2009-07-10 02:50:24] 483*2^702926-1 is not prime. Res64: BBA5C4350C45CD3E Time : 5979.0 sec. user=vaughan [2009-07-10 02:58:44] 515*2^702926-1 is not prime. Res64: 13754E77959E5EC3 Time : 5722.0 sec. user=vaughan [2009-07-10 02:59:52] 507*2^702926-1 is not prime. Res64: E03B25F9EE272486 Time : 5954.0 sec. user=vaughan [2009-07-10 03:08:06] 581*2^702926-1 is not prime. Res64: DF1311B928FB86E6 Time : 5694.0 sec. user=vaughan [2009-07-10 03:09:47] 567*2^702926-1 is not prime. Res64: 4EC16F77CC2969B5 Time : 5913.0 sec. user=vaughan [2009-07-10 03:17:47] 513*2^702927-1 is not prime. Res64: F0CB9CED55DBEF41 Time : 5702.0 sec. user=vaughan [2009-07-10 03:20:05] 471*2^702927-1 is not prime. Res64: BD2AFE3D2540B258 Time : 5917.0 sec. user=vaughan [2009-07-10 03:26:48] 419*2^702928-1 is not prime. Res64: 0C9F001EDFF48194 Time : 5686.0 sec. user=vaughan [2009-07-10 03:29:27] 523*2^702927-1 is not prime. Res64: 44DCEA781174B577 Time : 5929.0 sec. user=vaughan [2009-07-10 03:35:53] 509*2^702928-1 is not prime. Res64: 327C98EE4DCBA89B Time : 5640.0 sec. user=vaughan [2009-07-10 03:39:09] 453*2^702928-1 is not prime. Res64: F4AC9A6C67BB0644 Time : 5896.0 sec. user=vaughan [2009-07-10 03:45:20] 411*2^702929-1 is not prime. Res64: 5CA17FC08D0FB636 Time : 5623.0 sec. user=vaughan [2009-07-10 03:48:48] 563*2^702928-1 is not prime. Res64: C99A145AF6B78AC8 Time : 5840.0 sec. user=vaughan [2009-07-10 03:54:40] 421*2^702929-1 is not prime. Res64: C7F0517CDCECBDEE Time : 5636.0 sec. user=vaughan [2009-07-10 03:58:39] 465*2^702929-1 is not prime. Res64: 896BB8266CFC5A12 Time : 5840.0 sec. user=vaughan [2009-07-10 04:04:16] 469*2^702929-1 is not prime. Res64: E47857796FF3B26E Time : 5649.0 sec. user=vaughan [2009-07-10 04:08:57] 571*2^702929-1 is not prime. Res64: 40E784592C9EE769 Time : 5892.0 sec. user=vaughan [2009-07-10 04:13:40] 563*2^702930-1 is not prime. Res64: 9F6D2B43EE54C58D Time : 5622.0 sec. user=vaughan [2009-07-10 04:18:10] 581*2^702930-1 is not prime. Res64: 8EFAD9F36C536CDC Time : 5842.0 sec. user=vaughan [2009-07-10 04:22:42] 405*2^702931-1 is not prime. Res64: F6DA94CA475DD7F0 Time : 5607.0 sec. user=vaughan [2009-07-10 04:27:45] 415*2^702931-1 is not prime. Res64: 284066565BF13EB2 Time : 5841.0 sec. user=vaughan [2009-07-10 04:31:56] 549*2^702931-1 is not prime. Res64: 3EDFEC976A841FB7 Time : 5592.0 sec. user=vaughan [2009-07-10 04:37:46] 561*2^702931-1 is not prime. Res64: 23C5EE18E73F2261 Time : 5874.0 sec. user=vaughan [2009-07-10 04:41:33] 477*2^702932-1 is not prime. Res64: C44FF01DF35C49BD Time : 5607.0 sec. user=vaughan [2009-07-10 04:47:20] 515*2^702932-1 is not prime. Res64: C08F773809300BFC Time : 5853.0 sec. user=vaughan [2009-07-10 04:50:37] 519*2^702932-1 is not prime. Res64: 2DB01B0ED6340A0A Time : 5570.0 sec. user=vaughan [2009-07-10 04:57:23] 525*2^702932-1 is not prime. Res64: F8F90F6D702A7CD4 Time : 5838.0 sec. user=vaughan [2009-07-10 05:00:05] 533*2^702932-1 is not prime. Res64: 6F6D438E174999B4 Time : 5597.0 sec. user=vaughan [2009-07-10 05:07:25] 539*2^702932-1 is not prime. Res64: F5E1AE469096B9ED Time : 5879.0 sec. user=vaughan [2009-07-10 05:09:25] 517*2^702933-1 is not prime. Res64: 73B863DB0154DF66 Time : 5612.0 sec. user=vaughan [2009-07-10 05:17:16] 425*2^702934-1 is not prime. Res64: 6F2D4911DF523402 Time : 5888.0 sec. user=vaughan [2009-07-10 05:18:32] 453*2^702934-1 is not prime. Res64: 0CF418C893C001B0 Time : 5593.0 sec. user=vaughan [2009-07-10 05:25:28] 461*2^702934-1 is not prime. Res64: AE49CDFF69A82F3E Time : 5800.0 sec. user=vaughan [2009-07-10 05:26:26] 483*2^702934-1 is not prime. Res64: 35B318BEC1D0882E Time : 5506.0 sec. user=vaughan [2009-07-10 05:33:35] 491*2^702934-1 is not prime. Res64: 64044968455382D2 Time : 5697.0 sec. user=vaughan [2009-07-10 05:34:18] 445*2^702935-1 is not prime. Res64: 1D92F1F20F5EC412 Time : 5402.0 sec. user=vaughan [2009-07-10 05:41:50] 481*2^702935-1 is not prime. Res64: 6CF55F4EF00685ED Time : 5574.0 sec. user=vaughan [2009-07-10 05:42:35] 429*2^702936-1 is not prime. Res64: 77609102F218FC41 Time : 5335.0 sec. user=vaughan [2009-07-10 05:49:55] 485*2^702936-1 is not prime. Res64: 6E78B7F5364B3977 Time : 5505.0 sec. user=vaughan [2009-07-10 05:50:31] 503*2^702936-1 is not prime. Res64: 8E1EDF4D69BBB680 Time : 5269.0 sec. user=vaughan [2009-07-10 05:58:01] 537*2^702936-1 is not prime. Res64: 654787D996668AAB Time : 5416.0 sec. user=vaughan [2009-07-10 05:58:26] 587*2^702936-1 is not prime. Res64: 4FE7922089FAA711 Time : 5190.0 sec. user=vaughan [2009-07-10 06:06:03] 421*2^702937-1 is not prime. Res64: 383B397BE69364E3 Time : 5298.0 sec. user=vaughan [2009-07-10 06:06:24] 465*2^702937-1 is not prime. Res64: E23B03E1BA0574B6 Time : 5091.0 sec. user=vaughan [2009-07-10 06:14:04] 471*2^702937-1 is not prime. Res64: 7E81E51A7A1333AF Time : 5204.0 sec. user=vaughan [2009-07-10 06:14:22] 473*2^702938-1 is not prime. Res64: 72F983C0F955AACC Time : 5025.0 sec. user=vaughan [2009-07-10 06:22:08] 415*2^702939-1 is not prime. Res64: AC77F478BF861EAA Time : 5085.0 sec. user=vaughan [2009-07-10 06:22:19] 445*2^702939-1 is not prime. Res64: 12DAADEA5CEC0163 Time : 4934.0 sec. user=vaughan [2009-07-10 06:30:12] 451*2^702939-1 is not prime. Res64: 66C28933FAC4D478 Time : 4967.0 sec. user=vaughan [2009-07-10 06:30:19] 573*2^702939-1 is not prime. Res64: 2440E7CFBE43E691 Time : 4854.0 sec. user=vaughan [2009-07-10 06:38:13] 455*2^702940-1 is not prime. Res64: 938A3C10D1594F52 Time : 4858.0 sec. user=vaughan [2009-07-10 06:38:22] 513*2^702940-1 is not prime. Res64: A4954078DB775AD0 Time : 4790.0 sec. user=vaughan [2009-07-10 06:46:12] 533*2^702940-1 is not prime. Res64: 6B9FF3B6F6FDB0DA Time : 4844.0 sec. user=vaughan [2009-07-10 06:46:22] 537*2^702940-1 is not prime. Res64: BF33CAD8A765A678 Time : 4797.0 sec. user=vaughan [2009-07-10 06:54:18] 411*2^702941-1 is not prime. Res64: 88E2550773132D96 Time : 4801.0 sec. user=vaughan [2009-07-10 06:54:20] 587*2^702940-1 is not prime. Res64: A032EB219DCB0BF7 Time : 4845.0 sec. user=vaughan [2009-07-10 07:02:13] 561*2^702941-1 is not prime. Res64: 976E522E4DB98F98 Time : 4778.0 sec. user=vaughan [2009-07-10 07:02:20] 417*2^702941-1 is not prime. Res64: 39CF1FF69B424503 Time : 4830.0 sec. user=vaughan [2009-07-10 07:10:07] 423*2^702942-1 is not prime. Res64: B7A55FAFCA311436 Time : 4776.0 sec. user=vaughan [2009-07-10 07:10:27] 417*2^702942-1 is not prime. Res64: F2A07119B761AC98 Time : 4832.0 sec. user=vaughan [2009-07-10 07:18:04] 503*2^702942-1 is not prime. Res64: 172722D2D92253F6 Time : 4778.0 sec. user=vaughan [2009-07-10 07:18:34] 437*2^702942-1 is not prime. Res64: C1219114CD91977E Time : 4833.0 sec. user=vaughan [2009-07-10 07:26:29] 423*2^702943-1 is not prime. Res64: FB9DFEC02BF01841 Time : 4805.0 sec. user=vaughan [2009-07-10 07:27:32] 557*2^702942-1 is not prime. Res64: A8DA1E2FB193AE2C Time : 4889.0 sec. user=vaughan [2009-07-10 07:35:54] 481*2^702943-1 is not prime. Res64: B41638DC4005741F Time : 4893.0 sec. user=vaughan [2009-07-10 07:37:11] 441*2^702943-1 is not prime. Res64: 237EFAF66E7B4E7E Time : 4987.0 sec. user=vaughan [2009-07-10 07:45:27] 407*2^702944-1 is not prime. Res64: DD622CF04927E4FB Time : 4988.0 sec. user=vaughan [2009-07-10 07:47:00] 553*2^702943-1 is not prime. Res64: D4220BFD282F40DF Time : 5092.0 sec. user=vaughan [2009-07-10 07:55:01] 557*2^702944-1 is not prime. Res64: 4C3C4EAE8C9E3C20 Time : 5082.0 sec. user=vaughan [2009-07-10 07:56:02] 525*2^702944-1 is not prime. Res64: 15A4BFF4BB086B53 Time : 5151.0 sec. user=vaughan [2009-07-10 08:04:44] 405*2^702945-1 is not prime. Res64: F4EFB0F0FD66EE2D Time : 5182.0 sec. user=vaughan [2009-07-10 08:06:28] 585*2^702944-1 is not prime. Res64: 156335F5FDE110A8 Time : 5296.0 sec. user=vaughan [2009-07-10 08:14:30] 457*2^702945-1 is not prime. Res64: 0CD254397AF39457 Time : 5288.0 sec. user=vaughan [2009-07-10 08:16:25] 409*2^702945-1 is not prime. Res64: 33F1D6E80BFCC5CF Time : 5413.0 sec. user=vaughan [2009-07-10 08:23:42] 529*2^702945-1 is not prime. Res64: 06594E7063096EE8 Time : 5364.0 sec. user=vaughan [2009-07-10 08:25:42] 461*2^702946-1 is not prime. Res64: ACFE29769D0EE599 Time : 5482.0 sec. user=vaughan [2009-07-10 08:33:38] 483*2^702946-1 is not prime. Res64: A373CC679482A25F Time : 5486.0 sec. user=vaughan [2009-07-10 08:36:03] 497*2^702946-1 is not prime. Res64: C1DB789F70217574 Time : 5623.0 sec. user=vaughan [2009-07-10 08:43:23] 433*2^702947-1 is not prime. Res64: D236D2EFAC793935 Time : 5596.0 sec. user=vaughan [2009-07-10 08:46:02] 511*2^702947-1 is not prime. Res64: 0C6BA3BEB122B54E Time : 5736.0 sec. user=vaughan [2009-07-10 08:53:01] 531*2^702947-1 is not prime. Res64: 71EB07C49711DB4F Time : 5697.0 sec. user=vaughan [2009-07-10 08:55:43] 553*2^702947-1 is not prime. Res64: D2C5C5532EF8985F Time : 5829.0 sec. user=vaughan [2009-07-10 09:02:20] 589*2^702947-1 is not prime. Res64: 4A748051FE35FE45 Time : 5751.0 sec. user=vaughan [2009-07-10 09:04:58] 419*2^702948-1 is not prime. Res64: FC20375153475CA4 Time : 5846.0 sec. user=vaughan [2009-07-10 09:11:49] 459*2^702948-1 is not prime. Res64: EBCDEC5DE14EAA6A Time : 5755.0 sec. user=vaughan [2009-07-10 09:14:25] 467*2^702948-1 is not prime. Res64: 193A502D72664C2A Time : 5834.0 sec. user=vaughan [2009-07-10 09:21:19] 485*2^702948-1 is not prime. Res64: 4754AD4392D643F4 Time : 5753.0 sec. user=vaughan [2009-07-10 09:24:14] 513*2^702948-1 is not prime. Res64: B0FB6EB19FE8C137 Time : 5834.0 sec. user=vaughan [2009-07-10 09:30:59] 567*2^702948-1 is not prime. Res64: 0C7E49281E0D0F92 Time : 5758.0 sec. user=vaughan [2009-07-10 09:33:28] 569*2^702948-1 is not prime. Res64: A7FFD5B1A6A86085 Time : 5846.0 sec. user=vaughan [2009-07-10 09:40:17] 511*2^702949-1 is not prime. Res64: 2A5E3BEDFC4F9CF3 Time : 5733.0 sec. user=vaughan [2009-07-10 09:42:52] 549*2^702949-1 is not prime. Res64: 6338B5FD88CBBB45 Time : 5784.0 sec. user=vaughan [2009-07-10 09:50:00] 483*2^702950-1 is not prime. Res64: D5C329EB65238E3C Time : 5730.0 sec. user=vaughan [2009-07-10 09:52:29] 521*2^702950-1 is not prime. Res64: E01F93D338B00720 Time : 5764.0 sec. user=vaughan [2009-07-10 09:59:24] 557*2^702950-1 is not prime. Res64: 5EADC9B94E26EED2 Time : 5742.0 sec. user=vaughan [2009-07-10 10:01:33] 441*2^702951-1 is not prime. Res64: AFE522EBEE4DDDDA Time : 5751.0 sec. user=vaughan [2009-07-10 10:08:54] 493*2^702951-1 is not prime. Res64: 2D6F3285113AFD7F Time : 5716.0 sec. user=vaughan [2009-07-10 10:11:07] 531*2^702951-1 is not prime. Res64: 7423369F3CB1DABC Time : 5704.0 sec. user=vaughan [2009-07-10 10:18:34] 405*2^702952-1 is not prime. Res64: 819EBBF7DCCBEAF2 Time : 5712.0 sec. user=vaughan [2009-07-10 10:21:31] 419*2^702952-1 is not prime. Res64: F3B156B1F77E4034 Time : 5729.0 sec. user=vaughan [2009-07-10 10:28:12] 437*2^702952-1 is not prime. Res64: F8F1BACECF97A7A3 Time : 5711.0 sec. user=vaughan [2009-07-10 10:31:29] 527*2^702952-1 is not prime. Res64: 6113C200F2A9A2B8 Time : 5747.0 sec. user=vaughan [2009-07-10 10:37:28] 533*2^702952-1 is not prime. Res64: 3BC9739C222A9852 Time : 5708.0 sec. user=vaughan [2009-07-10 10:40:49] 539*2^702952-1 is not prime. Res64: 2058E10A006AA962 Time : 5751.0 sec. user=vaughan [2009-07-10 10:47:07] 465*2^702953-1 is not prime. Res64: A7569FEC576C16E8 Time : 5718.0 sec. user=vaughan [2009-07-10 10:51:00] 537*2^702953-1 is not prime. Res64: 6BCA2073EB75B7A4 Time : 5795.0 sec. user=vaughan [2009-07-10 10:57:01] 503*2^702954-1 is not prime. Res64: 5970860C7DB83751 Time : 5742.0 sec. user=vaughan [2009-07-10 11:01:03] 563*2^702954-1 is not prime. Res64: 9E672B2F78F8E5BA Time : 5809.0 sec. user=vaughan [2009-07-10 11:06:48] 405*2^702955-1 is not prime. Res64: 825CB8391FE3FA6C Time : 5749.0 sec. user=vaughan [2009-07-10 11:11:25] 453*2^702955-1 is not prime. Res64: B8710CC0AEE3238B Time : 5878.0 sec. user=vaughan [2009-07-10 11:16:44] 471*2^702955-1 is not prime. Res64: C370562D161D1386 Time : 5787.0 sec. user=vaughan [2009-07-10 11:21:18] 481*2^702955-1 is not prime. Res64: 9D81D00FB443F6F9 Time : 5906.0 sec. user=vaughan [2009-07-10 11:26:36] 493*2^702955-1 is not prime. Res64: D0E55AE4964DC003 Time : 5797.0 sec. user=vaughan [2009-07-10 11:30:59] 541*2^702955-1 is not prime. Res64: C5C003B8B36AFC8F Time : 5910.0 sec. user=vaughan [2009-07-10 11:35:52] 459*2^702956-1 is not prime. Res64: EB4662904D2C2AB0 Time : 5788.0 sec. user=vaughan [2009-07-10 11:40:23] 427*2^702957-1 is not prime. Res64: AE867458D84652B6 Time : 5931.0 sec. user=vaughan [2009-07-10 11:45:20] 495*2^702957-1 is not prime. Res64: 9FDF24E115455806 Time : 5787.0 sec. user=vaughan [2009-07-10 11:50:30] 531*2^702957-1 is not prime. Res64: 446EE251A3DFBDD1 Time : 5963.0 sec. user=vaughan [2009-07-10 11:55:03] 483*2^702958-1 is not prime. Res64: 8B277F86F790B587 Time : 5789.0 sec. user=vaughan [2009-07-10 12:00:50] 525*2^702958-1 is not prime. Res64: 25BBE972D45D5F7B Time : 5960.0 sec. user=vaughan [2009-07-10 12:04:58] 533*2^702958-1 is not prime. Res64: BF4B5207FD79FCF6 Time : 5806.0 sec. user=vaughan [2009-07-10 12:11:08] 403*2^702959-1 is not prime. Res64: 8534015DA9E391D4 Time : 5979.0 sec. user=vaughan [2009-07-10 12:14:29] 435*2^702959-1 is not prime. Res64: 61A05EA48D8A0C01 Time : 5821.0 sec. user=vaughan [2009-07-10 12:21:02] 451*2^702959-1 is not prime. Res64: 1BB596CCAD4E7C8F Time : 6013.0 sec. user=vaughan [2009-07-10 12:24:22] 465*2^702959-1 is not prime. Res64: 1029EEC8A3E35B6F Time : 5835.0 sec. user=vaughan [2009-07-10 12:30:21] 555*2^702960-1 is not prime. Res64: A32F25F1756F524F Time : 5961.0 sec. user=vaughan [2009-07-10 12:33:32] 563*2^702960-1 is not prime. Res64: F0D05D66858A01AC Time : 5791.0 sec. user=vaughan [2009-07-10 12:39:39] 525*2^702961-1 is not prime. Res64: 74A434413424B26A Time : 5916.0 sec. user=vaughan [2009-07-10 12:43:16] 577*2^702961-1 is not prime. Res64: 5947A0F89EC7414A Time : 5788.0 sec. user=vaughan [2009-07-10 12:49:27] 417*2^702962-1 is not prime. Res64: D4E46ECD94193DE5 Time : 5882.0 sec. user=vaughan [2009-07-10 12:52:38] 467*2^702962-1 is not prime. Res64: 8BCE0F84658DC17E Time : 5755.0 sec. user=vaughan [2009-07-10 12:59:14] 483*2^702962-1 is not prime. Res64: 07728561A8DB794C Time : 5876.0 sec. user=vaughan [2009-07-10 13:02:20] 561*2^702962-1 is not prime. Res64: 3F6A4C930DE80242 Time : 5744.0 sec. user=vaughan [2009-07-10 13:08:29] 415*2^702963-1 is not prime. Res64: 53D0D7F12E1008B4 Time : 5850.0 sec. user=vaughan [2009-07-10 13:11:33] 429*2^702963-1 is not prime. Res64: 1AE5A993FB5C0E85 Time : 5741.0 sec. user=vaughan [2009-07-10 13:18:45] 495*2^702963-1 is not prime. Res64: F9CF3C49A29DDE30 Time : 5902.0 sec. user=vaughan [2009-07-10 13:20:58] 501*2^702963-1 is not prime. Res64: B6815EE147D1D504 Time : 5739.0 sec. user=vaughan [2009-07-10 13:28:20] 543*2^702963-1 is not prime. Res64: 3F280A03F4A4FDB4 Time : 5870.0 sec. user=vaughan [2009-07-10 13:30:10] 573*2^702963-1 is not prime. Res64: FB8674AB795E2337 Time : 5707.0 sec. user=vaughan [2009-07-10 13:38:24] 595*2^702963-1 is not prime. Res64: 103CDACBEABC65B5 Time : 5854.0 sec. user=vaughan [2009-07-10 13:40:07] 423*2^702964-1 is not prime. Res64: FA71121957121EC1 Time : 5709.0 sec. user=vaughan [2009-07-10 13:47:54] 429*2^702964-1 is not prime. Res64: C65B88C99AAA6404 Time : 5806.0 sec. user=vaughan [2009-07-10 13:49:26] 435*2^702964-1 is not prime. Res64: 024DDB1B6DEC72A2 Time : 5697.0 sec. user=vaughan [2009-07-10 13:57:12] 519*2^702964-1 is not prime. Res64: 0A81B209B5B1511C Time : 5771.0 sec. user=vaughan [2009-07-10 13:58:41] 525*2^702964-1 is not prime. Res64: 1B50336520399024 Time : 5660.0 sec. user=vaughan [2009-07-10 14:07:05] 527*2^702964-1 is not prime. Res64: 40FF243D8DF553A1 Time : 5804.0 sec. user=vaughan [2009-07-10 14:07:45] 441*2^702965-1 is not prime. Res64: EE82AC2BAD299E87 Time : 5653.0 sec. user=vaughan [2009-07-10 14:16:20] 477*2^702965-1 is not prime. Res64: 66EE2D0BD7A5D471 Time : 5801.0 sec. user=vaughan [2009-07-10 14:16:51] 547*2^702965-1 is not prime. Res64: 6D329B50804B2526 Time : 5616.0 sec. user=vaughan [2009-07-10 14:26:02] 411*2^702966-1 is not prime. Res64: 1F5188CB410B85CD Time : 5795.0 sec. user=vaughan [2009-07-10 14:26:03] 437*2^702966-1 is not prime. Res64: A17A523F0384D559 Time : 5605.0 sec. user=vaughan [2009-07-10 14:35:34] 557*2^702966-1 is not prime. Res64: E8370F3169D47E9F Time : 5594.0 sec. user=vaughan [2009-07-10 14:35:59] 455*2^702966-1 is not prime. Res64: 4B00A3C356089D31 Time : 5805.0 sec. user=vaughan [2009-07-10 14:44:46] 593*2^702966-1 is not prime. Res64: EFD2E3B247740BCE Time : 5593.0 sec. user=vaughan [2009-07-10 14:45:40] 585*2^702966-1 is not prime. Res64: A3C23A3A031D8C9F Time : 5832.0 sec. user=vaughan [2009-07-10 14:53:51] 465*2^702967-1 is not prime. Res64: 72831B6988F3274B Time : 5573.0 sec. user=vaughan [2009-07-10 14:55:16] 453*2^702967-1 is not prime. Res64: 02FEEFD3145C2F0E Time : 5792.0 sec. user=vaughan [2009-07-10 15:03:05] 573*2^702967-1 is not prime. Res64: 4809A2B32679027F Time : 5575.0 sec. user=vaughan [2009-07-10 15:04:13] 555*2^702967-1 is not prime. Res64: 50A90647A0C3FD6E Time : 5753.0 sec. user=vaughan [2009-07-10 15:12:11] 401*2^702970-1 is not prime. Res64: 3691F7632B93746B Time : 5524.0 sec. user=vaughan [2009-07-10 15:13:38] 589*2^702967-1 is not prime. Res64: BAA9E40BB4B10519 Time : 5715.0 sec. user=vaughan [2009-07-10 15:21:21] 545*2^702970-1 is not prime. Res64: 9FF281B1E3E8DFB8 Time : 5516.0 sec. user=vaughan [2009-07-10 15:22:43] 461*2^702970-1 is not prime. Res64: 933E38A7B9DCF882 Time : 5690.0 sec. user=vaughan [2009-07-10 15:30:36] 403*2^702971-1 is not prime. Res64: DE961B200B6A84F2 Time : 5515.0 sec. user=vaughan [2009-07-10 15:31:55] 581*2^702970-1 is not prime. Res64: 629EFC7D6A8F04FD Time : 5683.0 sec. user=vaughan [2009-07-10 15:38:52] 571*2^702971-1 is not prime. Res64: 234939C120F239CB Time : 5468.0 sec. user=vaughan [2009-07-10 15:40:19] 433*2^702971-1 is not prime. Res64: 92D1FB715CB57E23 Time : 5594.0 sec. user=vaughan [2009-07-10 15:48:02] 405*2^702972-1 is not prime. Res64: 79FD846F7C1907F9 Time : 5471.0 sec. user=vaughan [2009-07-10 15:49:53] 585*2^702971-1 is not prime. Res64: 0E1BF449833F6E96 Time : 5614.0 sec. user=vaughan [2009-07-10 15:57:06] 485*2^702972-1 is not prime. Res64: B009430937A2A149 Time : 5463.0 sec. user=vaughan [2009-07-10 15:59:07] 425*2^702972-1 is not prime. Res64: CFED5B195CFB848A Time : 5586.0 sec. user=vaughan [2009-07-10 16:06:13] 545*2^702972-1 is not prime. Res64: E8E51228502BFB42 Time : 5439.0 sec. user=vaughan [2009-07-10 16:08:13] 563*2^702972-1 is not prime. Res64: 7461E4C2169EA8FD Time : 5534.0 sec. user=vaughan [2009-07-10 16:15:19] 579*2^702972-1 is not prime. Res64: 62D366EE686B267E Time : 5433.0 sec. user=vaughan [2009-07-10 16:17:34] 439*2^702973-1 is not prime. Res64: 5746BC75723AA76E Time : 5514.0 sec. user=vaughan [2009-07-10 16:23:53] 519*2^702973-1 is not prime. Res64: 8D6D8823BD155119 Time : 5402.0 sec. user=vaughan [2009-07-10 16:26:21] 577*2^702973-1 is not prime. Res64: 56B1336F73BF2A81 Time : 5466.0 sec. user=vaughan [2009-07-10 16:32:53] 595*2^702973-1 is not prime. Res64: ADA8A12B80DB846A Time : 5388.0 sec. user=vaughan [2009-07-10 16:35:37] 417*2^702974-1 is not prime. Res64: A4F04099FF0D50E3 Time : 5484.0 sec. user=vaughan [2009-07-10 16:42:22] 483*2^702974-1 is not prime. Res64: A7C4433D213CF7D2 Time : 5411.0 sec. user=vaughan [2009-07-10 16:46:08] 533*2^702974-1 is not prime. Res64: 33E0947EA5918BDC Time : 5550.0 sec. user=vaughan [2009-07-10 16:51:38] 561*2^702974-1 is not prime. Res64: E76D1B650CD26C6E Time : 5417.0 sec. user=vaughan [2009-07-10 16:55:54] 573*2^702974-1 is not prime. Res64: 1F073493E4476DB3 Time : 5591.0 sec. user=vaughan [2009-07-10 17:00:52] 453*2^702975-1 is not prime. Res64: 1047FD39C3B4DC55 Time : 5416.0 sec. user=vaughan [2009-07-10 17:06:10] 511*2^702975-1 is not prime. Res64: FEFC671F34C8D5E5 Time : 5655.0 sec. user=vaughan [2009-07-10 17:10:14] 513*2^702975-1 is not prime. Res64: BF27CD4058D42DAA Time : 5482.0 sec. user=vaughan [2009-07-10 17:15:32] 541*2^702975-1 is not prime. Res64: E64C772F90AECDB2 Time : 5713.0 sec. user=vaughan [2009-07-10 17:19:14] 583*2^702975-1 is not prime. Res64: 08342E918E0C3CDB Time : 5472.0 sec. user=vaughan [2009-07-10 17:24:58] 591*2^702975-1 is not prime. Res64: 84B16D628780F759 Time : 5705.0 sec. user=vaughan [2009-07-10 17:28:18] 413*2^702976-1 is not prime. Res64: 23CDF7F748CD2C69 Time : 5472.0 sec. user=vaughan [2009-07-10 17:34:32] 455*2^702976-1 is not prime. Res64: EC6E0885582A16FF Time : 5725.0 sec. user=vaughan [2009-07-10 17:37:50] 441*2^702977-1 is not prime. Res64: C6E1503B95DA41DA Time : 5498.0 sec. user=vaughan [2009-07-10 17:44:19] 445*2^702977-1 is not prime. Res64: 786EB177A801AB4D Time : 5766.0 sec. user=vaughan [2009-07-10 17:47:16] 465*2^702977-1 is not prime. Res64: FBF0F231708997E2 Time : 5518.0 sec. user=vaughan [2009-07-10 17:54:13] 549*2^702977-1 is not prime. Res64: 6937159B476E07F5 Time : 5799.0 sec. user=vaughan [2009-07-10 17:56:47] 559*2^702977-1 is not prime. Res64: D72FBC57E28FFDD7 Time : 5574.0 sec. user=vaughan [2009-07-10 18:03:31] 571*2^702977-1 is not prime. Res64: 7EA97402264D33ED Time : 5830.0 sec. user=vaughan [2009-07-10 18:05:20] 453*2^702978-1 is not prime. Res64: 8988374EB394F0FC Time : 5547.0 sec. user=vaughan [2009-07-10 18:13:09] 525*2^702978-1 is not prime. Res64: 96FEF6775BE8DBC3 Time : 5852.0 sec. user=vaughan [2009-07-10 18:14:16] 555*2^702978-1 is not prime. Res64: A43524423B5AAB8C Time : 5514.0 sec. user=vaughan [2009-07-10 18:22:53] 585*2^702978-1 is not prime. Res64: CD402DD755DEFD47 Time : 5806.0 sec. user=vaughan [2009-07-10 18:23:26] 415*2^702979-1 is not prime. Res64: BD794FDA98020C16 Time : 5508.0 sec. user=vaughan [2009-07-10 18:32:43] 469*2^702979-1 is not prime. Res64: 7CBE16D613FD6527 Time : 5809.0 sec. user=vaughan [2009-07-10 18:32:45] 511*2^702979-1 is not prime. Res64: C4B243ADA492B2CF Time : 5513.0 sec. user=vaughan [2009-07-10 18:42:12] 483*2^702980-1 is not prime. Res64: 6F884E95F02A333C Time : 5518.0 sec. user=vaughan [2009-07-10 18:42:37] 467*2^702980-1 is not prime. Res64: 36CD4C5D9382A71C Time : 5787.0 sec. user=vaughan [2009-07-10 18:52:00] 557*2^702980-1 is not prime. Res64: 4561FF1F5FE33324 Time : 5566.0 sec. user=vaughan [2009-07-10 18:52:44] 519*2^702980-1 is not prime. Res64: 18B95BB66BEEE91B Time : 5832.0 sec. user=vaughan [2009-07-10 19:02:02] 471*2^702981-1 is not prime. Res64: 1951D78D77AE0785 Time : 5624.0 sec. user=vaughan [2009-07-10 19:03:19] 465*2^702981-1 is not prime. Res64: 3F982399C132CE03 Time : 5901.0 sec. user=vaughan [2009-07-10 19:11:39] 555*2^702981-1 is not prime. Res64: 574FCD943BEF4F7E Time : 5629.0 sec. user=vaughan [2009-07-10 19:12:59] 537*2^702981-1 is not prime. Res64: 60790485CD637A58 Time : 5907.0 sec. user=vaughan [2009-07-10 19:21:16] 581*2^702982-1 is not prime. Res64: 515FA01BBADBB00F Time : 5640.0 sec. user=vaughan [2009-07-10 19:22:19] 567*2^702982-1 is not prime. Res64: D297FA6221B89B22 Time : 5880.0 sec. user=vaughan [2009-07-10 19:30:46] 505*2^702983-1 is not prime. Res64: FFFC20FF83879521 Time : 5639.0 sec. user=vaughan [2009-07-10 19:32:00] 453*2^702983-1 is not prime. Res64: 53266E6272107049 Time : 5867.0 sec. user=vaughan [2009-07-10 19:39:57] 437*2^702984-1 is not prime. Res64: 3CCF9D9E77173FC2 Time : 5678.0 sec. user=vaughan [2009-07-10 19:41:34] 519*2^702983-1 is not prime. Res64: 08C7A06C3C322E67 Time : 5884.0 sec. user=vaughan [2009-07-10 19:49:40] 557*2^702984-1 is not prime. Res64: 597839739C3E3D76 Time : 5724.0 sec. user=vaughan [2009-07-10 19:51:52] 555*2^702984-1 is not prime. Res64: 8ACAA789D0FF6132 Time : 5923.0 sec. user=vaughan [2009-07-10 19:57:50] 531*2^702985-1 is not prime. Res64: 52CE6AEC6029A9AA Time : 5665.0 sec. user=vaughan [2009-07-10 20:00:22] 597*2^702984-1 is not prime. Res64: 6626CC9FB078A113 Time : 5849.0 sec. user=vaughan [2009-07-10 20:07:12] 555*2^702985-1 is not prime. Res64: 1484F5DC90799400 Time : 5667.0 sec. user=vaughan [2009-07-10 20:09:58] 535*2^702985-1 is not prime. Res64: F78A5EB0885B05AE Time : 5835.0 sec. user=vaughan [2009-07-10 20:16:43] 437*2^702986-1 is not prime. Res64: 13B9FB7F5E1EE814 Time : 5671.0 sec. user=vaughan [2009-07-10 20:19:30] 477*2^702986-1 is not prime. Res64: 5108BF03BC5457FD Time : 5813.0 sec. user=vaughan [2009-07-10 20:25:48] 483*2^702986-1 is not prime. Res64: E465CAAA57224417 Time : 5628.0 sec. user=vaughan [2009-07-10 20:28:40] 537*2^702986-1 is not prime. Res64: ADE408FD2B1ECFBA Time : 5756.0 sec. user=vaughan [2009-07-10 20:34:37] 561*2^702986-1 is not prime. Res64: EB8776209E6842DA Time : 5555.0 sec. user=vaughan [2009-07-10 20:38:57] 429*2^702987-1 is not prime. Res64: 57D44C5C85BB9C91 Time : 5738.0 sec. user=vaughan [2009-07-10 20:44:00] 453*2^702987-1 is not prime. Res64: D390B5B77C893652 Time : 5541.0 sec. user=vaughan [2009-07-10 20:48:19] 529*2^702987-1 is not prime. Res64: 7E962BDF3D123E40 Time : 5720.0 sec. user=vaughan [2009-07-10 20:52:47] 553*2^702987-1 is not prime. Res64: D2F7EF3BC150ADA2 Time : 5492.0 sec. user=vaughan [2009-07-10 20:57:51] 537*2^702988-1 is not prime. Res64: 3DB183D6D0C68CC7 Time : 5732.0 sec. user=vaughan [2009-07-10 21:02:11] 459*2^702989-1 is not prime. Res64: 92BDDE81D6C4DB88 Time : 5485.0 sec. user=vaughan [2009-07-10 21:07:38] 469*2^702989-1 is not prime. Res64: D500293CE140DC53 Time : 5738.0 sec. user=vaughan [2009-07-10 21:11:11] 481*2^702989-1 is not prime. Res64: 5F88379C6B7A6F30 Time : 5475.0 sec. user=vaughan [2009-07-10 21:16:44] 559*2^702989-1 is not prime. Res64: 81490C8046E136BF Time : 5710.0 sec. user=vaughan [2009-07-10 21:20:26] 577*2^702989-1 is not prime. Res64: 7EE292286F612464 Time : 5447.0 sec. user=vaughan [2009-07-10 21:26:46] 447*2^702990-1 is not prime. Res64: 81880D009A6151F0 Time : 5694.0 sec. user=vaughan [2009-07-10 21:29:51] 461*2^702990-1 is not prime. Res64: C9BC78549E860621 Time : 5521.0 sec. user=vaughan [2009-07-10 21:35:39] 515*2^702990-1 is not prime. Res64: 418101F7C619CACE Time : 5717.0 sec. user=vaughan [2009-07-10 21:38:51] 521*2^702990-1 is not prime. Res64: 306F122289EE3DC3 Time : 5500.0 sec. user=vaughan [2009-07-10 21:44:26] 527*2^702990-1 is not prime. Res64: 1C37B0EFB93AE4BE Time : 5668.0 sec. user=vaughan [2009-07-10 21:47:30] 429*2^702991-1 is not prime. Res64: 2743C6FFD4CD55D7 Time : 5447.0 sec. user=vaughan [2009-07-10 21:54:06] 531*2^702991-1 is not prime. Res64: F0187F38725A96EE Time : 5676.0 sec. user=vaughan [2009-07-10 21:56:54] 557*2^702992-1 is not prime. Res64: B93DF21A268E8B82 Time : 5467.0 sec. user=vaughan [2009-07-10 22:03:42] 563*2^702992-1 is not prime. Res64: D6C503D17C8E0EB0 Time : 5702.0 sec. user=vaughan [2009-07-10 22:06:34] 457*2^702993-1 is not prime. Res64: 66455F70F6E90C8F Time : 5518.0 sec. user=vaughan [2009-07-10 22:13:08] 577*2^702993-1 is not prime. Res64: 7CF1CA1D72A2D054 Time : 5651.0 sec. user=vaughan [2009-07-10 22:15:37] 597*2^702993-1 is not prime. Res64: 0C852E4A8BE56861 Time : 5497.0 sec. user=vaughan [2009-07-10 22:23:09] 513*2^702994-1 is not prime. Res64: 6ACF6727C300BA9E Time : 5691.0 sec. user=vaughan [2009-07-10 22:25:10] 567*2^702994-1 is not prime. Res64: 086798E2CB69C26B Time : 5543.0 sec. user=vaughan [2009-07-10 22:33:23] 587*2^702994-1 is not prime. Res64: 58EBB43CFB37A9DD Time : 5732.0 sec. user=vaughan [2009-07-10 22:34:55] 403*2^702995-1 is not prime. Res64: E2B45170AF76D69C Time : 5564.0 sec. user=vaughan [2009-07-10 22:42:54] 445*2^702995-1 is not prime. Res64: 9B2140CCE4D83B7E Time : 5716.0 sec. user=vaughan [2009-07-10 22:44:18] 469*2^702995-1 is not prime. Res64: 573E293099EB1F08 Time : 5587.0 sec. user=vaughan [2009-07-10 22:51:58] 595*2^702995-1 is not prime. Res64: 18D01D3EF81536E0 Time : 5715.0 sec. user=vaughan [2009-07-10 22:52:56] 455*2^702996-1 is not prime. Res64: D5D1957757472EBA Time : 5550.0 sec. user=vaughan [2009-07-10 23:00:31] 459*2^702996-1 is not prime. Res64: 2982E5AC01AD1987 Time : 5625.0 sec. user=vaughan [2009-07-10 23:01:30] 597*2^702996-1 is not prime. Res64: AF15DA4C403BE3A0 Time : 5499.0 sec. user=vaughan [2009-07-10 23:09:15] 405*2^702997-1 is not prime. Res64: 096C7456CE270848 Time : 5616.0 sec. user=vaughan [2009-07-10 23:09:56] 447*2^702997-1 is not prime. Res64: 89D765272AF14FAA Time : 5465.0 sec. user=vaughan [2009-07-10 23:17:47] 507*2^702997-1 is not prime. Res64: 631B76F240BDC49F Time : 5601.0 sec. user=vaughan [2009-07-10 23:18:33] 549*2^702997-1 is not prime. Res64: E93E762FC78B9751 Time : 5464.0 sec. user=vaughan [2009-07-10 23:26:22] 565*2^702997-1 is not prime. Res64: E0DEC5DF7DE925CD Time : 5536.0 sec. user=vaughan [2009-07-10 23:27:06] 589*2^702997-1 is not prime. Res64: CD6D602119EAEFA2 Time : 5412.0 sec. user=vaughan [2009-07-10 23:35:40] 425*2^702998-1 is not prime. Res64: 8DB5187B57D7C819 Time : 5518.0 sec. user=vaughan [2009-07-10 23:36:04] 575*2^702998-1 is not prime. Res64: 1BC3EC1635CDE5E7 Time : 5370.0 sec. user=vaughan [2009-07-10 23:44:56] 423*2^702999-1 is not prime. Res64: EED465BCAE87D2EA Time : 5508.0 sec. user=vaughan [2009-07-10 23:45:11] 481*2^702999-1 is not prime. Res64: F35FA1C9F8428482 Time : 5375.0 sec. user=vaughan [2009-07-10 23:54:12] 555*2^702999-1 is not prime. Res64: 6555F2F37C53CE7C Time : 5342.0 sec. user=vaughan [2009-07-10 23:54:16] 511*2^702999-1 is not prime. Res64: 414D81BEC1B15AC1 Time : 5467.0 sec.