user=vaughan [2010-07-02 00:01:09] 447*2^838440-1 is not prime. Res64: 8329CAD6D13D13A9 Time : 50956.0 sec. user=vaughan [2010-07-02 00:01:14] 543*2^838535-1 is not prime. Res64: BDFC061BD3F78EF3 Time : 34243.0 sec. user=vaughan [2010-07-02 00:02:44] 593*2^838466-1 is not prime. Res64: E7C7C5E74D22EE16 Time : 46161.0 sec. user=vaughan [2010-07-02 00:03:08] 525*2^838550-1 is not prime. Res64: 0723F42E8198F966 Time : 32252.0 sec. user=vaughan [2010-07-02 00:03:17] 415*2^838549-1 is not prime. Res64: 6544D562707EBC5B Time : 32379.0 sec. user=vaughan [2010-07-02 00:05:45] 483*2^838718-1 is not prime. Res64: 839DDE65C8B57E1E Time : 3335.0 sec. user=vaughan [2010-07-02 00:07:52] 597*2^838596-1 is not prime. Res64: 7B9BEF05751B38B7 Time : 25624.0 sec. user=vaughan [2010-07-02 00:08:51] 489*2^838539-1 is not prime. Res64: 7196F7936E141C46 Time : 34282.0 sec. user=vaughan [2010-07-02 00:09:00] 575*2^838726-1 is not prime. Res64: 0AC68D0114666C58 Time : 2083.0 sec. user=vaughan [2010-07-02 00:10:00] 507*2^838732-1 is not prime. Res64: CDAFD5023DA5DD0A Time : 720.0 sec. user=vaughan [2010-07-02 00:11:32] 465*2^838476-1 is not prime. Res64: EFB97F6134B67A4C Time : 45429.0 sec. user=vaughan [2010-07-02 00:11:56] 435*2^838733-1 is not prime. Res64: 8544F44992DE6A4D Time : 721.0 sec. user=vaughan [2010-07-02 00:12:03] 477*2^838733-1 is not prime. Res64: 0849EB8B89141BC4 Time : 721.0 sec. user=vaughan [2010-07-02 00:12:19] 449*2^838732-1 is not prime. Res64: C1DF98EE7CDE070F Time : 923.0 sec. user=vaughan [2010-07-02 00:12:26] 405*2^838597-1 is not prime. Res64: F10F218DB8E19F06 Time : 25633.0 sec. user=vaughan [2010-07-02 00:12:54] 453*2^838732-1 is not prime. Res64: 3C0D6CE0A86F4D7C Time : 939.0 sec. user=vaughan [2010-07-02 00:13:22] 455*2^838732-1 is not prime. Res64: CB5B15C059812263 Time : 933.0 sec. user=vaughan [2010-07-02 00:14:04] 533*2^838732-1 is not prime. Res64: 2CB9DA526829BEB2 Time : 923.0 sec. user=vaughan [2010-07-02 00:17:38] 437*2^837658-1 is not prime. Res64: 9E780E0D82F29CC7 Time : 26512.0 sec. user=vaughan [2010-07-02 00:18:18] 493*2^838591-1 is not prime. Res64: 159A951969FB019D Time : 26547.0 sec. user=vaughan [2010-07-02 00:18:29] 571*2^838541-1 is not prime. Res64: 7761903131C2EDCA Time : 34242.0 sec. user=vaughan [2010-07-02 00:19:26] 411*2^838555-1 is not prime. Res64: 24CCEE3A5C5C8002 Time : 32255.0 sec. user=vaughan [2010-07-02 00:19:37] 405*2^838555-1 is not prime. Res64: B0270AFB2A66BFFA Time : 32380.0 sec. user=vaughan [2010-07-02 00:24:04] 507*2^838736-1 is not prime. Res64: 60D4A1331C185A5D Time : 721.0 sec. user=vaughan [2010-07-02 00:24:05] 531*2^838735-1 is not prime. Res64: E745A56FB512A6E7 Time : 845.0 sec. user=vaughan [2010-07-02 00:24:19] 447*2^838736-1 is not prime. Res64: FE0C4583B81ED6A2 Time : 743.0 sec. user=vaughan [2010-07-02 00:25:03] 551*2^838474-1 is not prime. Res64: 6DE238328968DF82 Time : 46456.0 sec. user=vaughan [2010-07-02 00:25:24] 485*2^838602-1 is not prime. Res64: 6B2196A2DD114CD9 Time : 25652.0 sec. user=vaughan [2010-07-02 00:26:02] 485*2^838446-1 is not prime. Res64: C6F8668C72C324DE Time : 51316.0 sec. user=vaughan [2010-07-02 00:26:07] 405*2^838546-1 is not prime. Res64: 1035E9845153BDE9 Time : 34279.0 sec. user=Flatlander [2010-07-02 00:27:26] 549*2^838720-1 is not prime. Res64: EA6D81D57359EF77 Time : 4242.0 sec. user=Flatlander [2010-07-02 00:27:27] 567*2^838720-1 is not prime. Res64: 24D5CB01FC270897 Time : 4242.0 sec. user=Flatlander [2010-07-02 00:27:28] 465*2^838721-1 is not prime. Res64: B709DE98180BDD63 Time : 4242.0 sec. user=Flatlander [2010-07-02 00:27:28] 571*2^838721-1 is not prime. Res64: CF3040F17AF6D1BA Time : 4241.0 sec. user=Flatlander [2010-07-02 00:27:29] 401*2^838722-1 is not prime. Res64: DA7644A7770330B7 Time : 4241.0 sec. user=vaughan [2010-07-02 00:28:04] 519*2^838736-1 is not prime. Res64: 688C3051F9C32965 Time : 944.0 sec. user=vaughan [2010-07-02 00:28:43] 585*2^838736-1 is not prime. Res64: 9C14AAFA06D9FB9B Time : 948.0 sec. user=vaughan [2010-07-02 00:28:58] 593*2^838736-1 is not prime. Res64: B739E269517D627F Time : 936.0 sec. user=vaughan [2010-07-02 00:29:34] 495*2^838737-1 is not prime. Res64: 7BFA43B497563CEC Time : 929.0 sec. user=vaughan [2010-07-02 00:29:50] 439*2^838603-1 is not prime. Res64: 161C5148B6024A1C Time : 25654.0 sec. user=vaughan [2010-07-02 00:35:40] 461*2^838598-1 is not prime. Res64: AD15E93307020409 Time : 26530.0 sec. user=vaughan [2010-07-02 00:35:44] 559*2^838549-1 is not prime. Res64: 9C9CED49B5318EE3 Time : 34243.0 sec. user=vaughan [2010-07-02 00:35:44] 523*2^838563-1 is not prime. Res64: 4F3B879E52390726 Time : 32259.0 sec. user=vaughan [2010-07-02 00:35:57] 489*2^838561-1 is not prime. Res64: 0043774ADCD35BF6 Time : 32379.0 sec. user=vaughan [2010-07-02 00:36:04] 433*2^838739-1 is not prime. Res64: 2C63BD5E4D89C527 Time : 720.0 sec. user=vaughan [2010-07-02 00:36:14] 557*2^838598-1 is not prime. Res64: D4FCDF9A5A342A11 Time : 26555.0 sec. user=vaughan [2010-07-02 00:36:19] 581*2^838738-1 is not prime. Res64: B410EFDA3A79571E Time : 731.0 sec. user=vaughan [2010-07-02 00:37:06] 511*2^838739-1 is not prime. Res64: 7035E8093164CADE Time : 719.0 sec. user=vaughan [2010-07-02 00:39:35] 447*2^838460-1 is not prime. Res64: 77D087BB0C6F9F26 Time : 49847.0 sec. user=vaughan [2010-07-02 00:40:56] 417*2^838436-1 is not prime. Res64: 1A51DA18EE15635F Time : 54031.0 sec. user=vaughan [2010-07-02 00:42:36] 473*2^838608-1 is not prime. Res64: A3167AA677496CAF Time : 25670.0 sec. user=vaughan [2010-07-02 00:43:24] 447*2^838554-1 is not prime. Res64: 57C1261A3913AE40 Time : 34277.0 sec. user=vaughan [2010-07-02 00:43:24] 511*2^838741-1 is not prime. Res64: 4C3609EAB4D1088D Time : 920.0 sec. user=vaughan [2010-07-02 00:44:01] 549*2^838741-1 is not prime. Res64: 9D94BAE4B5C510BD Time : 918.0 sec. user=vaughan [2010-07-02 00:44:42] 587*2^838482-1 is not prime. Res64: 3E6EA76AD474F543 Time : 46364.0 sec. user=vaughan [2010-07-02 00:45:17] 423*2^838742-1 is not prime. Res64: 7DBBC34B0200FF95 Time : 978.0 sec. user=vaughan [2010-07-02 00:45:27] 501*2^838742-1 is not prime. Res64: 7F6786EA20282434 Time : 953.0 sec. user=vaughan [2010-07-02 00:47:00] 437*2^838610-1 is not prime. Res64: 9FC6C31351BD3B78 Time : 25668.0 sec. user=vaughan [2010-07-02 00:48:04] 583*2^838743-1 is not prime. Res64: A4609F2E02C58FB5 Time : 720.0 sec. user=vaughan [2010-07-02 00:48:19] 489*2^838744-1 is not prime. Res64: 6F0DBCB19AED6996 Time : 720.0 sec. user=vaughan [2010-07-02 00:48:29] 501*2^838422-1 is not prime. Res64: 75D612C18442496D Time : 56347.0 sec. user=vaughan [2010-07-02 00:49:06] 549*2^838744-1 is not prime. Res64: 02DA8167C6F5F0C7 Time : 720.0 sec. user=vaughan [2010-07-02 00:49:32] 537*2^838481-1 is not prime. Res64: 7B9AEA738B528FC3 Time : 46878.0 sec. user=vaughan [2010-07-02 00:52:02] 471*2^838569-1 is not prime. Res64: 8662FF320B0E65EF Time : 32259.0 sec. user=vaughan [2010-07-02 00:52:17] 515*2^838568-1 is not prime. Res64: 447223190CA66F3B Time : 32377.0 sec. user=vaughan [2010-07-02 00:52:58] 421*2^838555-1 is not prime. Res64: 1FA03BEFEB41B626 Time : 34242.0 sec. user=vaughan [2010-07-02 00:53:31] 573*2^838606-1 is not prime. Res64: F71BFA0DFD2FCC4A Time : 26560.0 sec. user=vaughan [2010-07-02 00:54:04] 441*2^838607-1 is not prime. Res64: E7FAC5CA6E97B335 Time : 26580.0 sec. user=vaughan [2010-07-02 00:59:04] 585*2^838745-1 is not prime. Res64: 2AB49524A18C0836 Time : 939.0 sec. user=vaughan [2010-07-02 00:59:37] 589*2^838745-1 is not prime. Res64: 535109C82AFF178D Time : 935.0 sec. user=vaughan [2010-07-02 00:59:48] 483*2^838614-1 is not prime. Res64: A9CB1CFF16821DA0 Time : 25679.0 sec. user=vaughan [2010-07-02 01:00:05] 595*2^838747-1 is not prime. Res64: 02F880C8C9778A09 Time : 721.0 sec. user=vaughan [2010-07-02 01:00:20] 417*2^838748-1 is not prime. Res64: 8CFE4B572CFCADBD Time : 721.0 sec. user=vaughan [2010-07-02 01:00:39] 595*2^838559-1 is not prime. Res64: C6FB1DEC0AF40C3C Time : 34274.0 sec. user=vaughan [2010-07-02 01:00:52] 515*2^838746-1 is not prime. Res64: BBF1C8C5F3A23D40 Time : 934.0 sec. user=vaughan [2010-07-02 01:01:05] 573*2^838748-1 is not prime. Res64: D09811877E0DC0EC Time : 720.0 sec. user=vaughan [2010-07-02 01:01:29] 451*2^838747-1 is not prime. Res64: AE1E237D53C1ED38 Time : 961.0 sec. user=vaughan [2010-07-02 01:04:10] 567*2^838614-1 is not prime. Res64: 374D314BF928576A Time : 25675.0 sec. user=vaughan [2010-07-02 01:05:17] 521*2^838734-1 is not prime. Res64: 4D635E3453E7F6A1 Time : 3572.0 sec. user=Flatlander [2010-07-02 01:05:48] 465*2^838731-1 is not prime. Res64: A8153D1ED861D3BE Time : 4170.0 sec. user=Flatlander [2010-07-02 01:05:49] 493*2^838731-1 is not prime. Res64: 30816B53BD6C3539 Time : 4169.0 sec. user=Flatlander [2010-07-02 01:05:50] 531*2^838731-1 is not prime. Res64: D228273BD1EEFB1D Time : 4169.0 sec. user=Flatlander [2010-07-02 01:05:51] 571*2^838731-1 is not prime. Res64: 696FD659B6B8FF09 Time : 4168.0 sec. user=Flatlander [2010-07-02 01:05:51] 591*2^838731-1 is not prime. Res64: 0E97990AAC83C0EF Time : 4166.0 sec. user=vaughan [2010-07-02 01:08:21] 523*2^838575-1 is not prime. Res64: C63B0252B4A5FCF6 Time : 32264.0 sec. user=vaughan [2010-07-02 01:08:38] 405*2^838575-1 is not prime. Res64: B8738F0D426662DB Time : 32376.0 sec. user=vaughan [2010-07-02 01:08:44] 595*2^838455-1 is not prime. Res64: 3F926093400C6D8E Time : 52087.0 sec. user=vaughan [2010-07-02 01:09:38] 523*2^838735-1 is not prime. Res64: DC1A7A7A3E40A3AA Time : 3638.0 sec. user=vaughan [2010-07-02 01:10:12] 453*2^838564-1 is not prime. Res64: 89FD5BDF9A0583C8 Time : 34240.0 sec. user=vaughan [2010-07-02 01:11:25] 589*2^838613-1 is not prime. Res64: 47C7477BD8B93045 Time : 26591.0 sec. user=vaughan [2010-07-02 01:11:57] 401*2^838614-1 is not prime. Res64: 108918B843BBE383 Time : 26612.0 sec. user=vaughan [2010-07-02 01:12:05] 505*2^838751-1 is not prime. Res64: 0F44E5C5A8E76737 Time : 720.0 sec. user=vaughan [2010-07-02 01:12:20] 525*2^838751-1 is not prime. Res64: 45B5497DF617CC77 Time : 721.0 sec. user=vaughan [2010-07-02 01:13:04] 503*2^838752-1 is not prime. Res64: F35A8FF323FE859E Time : 719.0 sec. user=vaughan [2010-07-02 01:13:13] 525*2^838496-1 is not prime. Res64: 4E5ED5CC3F8674CE Time : 45426.0 sec. user=vaughan [2010-07-02 01:14:33] 463*2^838751-1 is not prime. Res64: 5CC702A2F0EFC28F Time : 929.0 sec. user=vaughan [2010-07-02 01:15:39] 465*2^838751-1 is not prime. Res64: 36F9B58DE72EE498 Time : 962.0 sec. user=vaughan [2010-07-02 01:16:41] 437*2^838752-1 is not prime. Res64: 8B9BD6D370A648B9 Time : 949.0 sec. user=vaughan [2010-07-02 01:16:59] 481*2^838623-1 is not prime. Res64: 9B6018E00512F9CF Time : 25692.0 sec. user=vaughan [2010-07-02 01:17:00] 513*2^838752-1 is not prime. Res64: FA1CBB82C8E2E9A8 Time : 930.0 sec. user=vaughan [2010-07-02 01:17:55] 577*2^838565-1 is not prime. Res64: D1A6C3E839A23A27 Time : 34270.0 sec. user=vaughan [2010-07-02 01:20:26] 525*2^838469-1 is not prime. Res64: 3203D5CF9B4AB4CA Time : 50442.0 sec. user=vaughan [2010-07-02 01:20:49] 413*2^838498-1 is not prime. Res64: CE03CAA0DE76F054 Time : 45588.0 sec. user=vaughan [2010-07-02 01:21:21] 447*2^838624-1 is not prime. Res64: 3DFDE93EB9FE276E Time : 25688.0 sec. user=vaughan [2010-07-02 01:24:06] 447*2^838756-1 is not prime. Res64: A8FD8E060EC4C1F0 Time : 721.0 sec. user=vaughan [2010-07-02 01:24:20] 455*2^838756-1 is not prime. Res64: 9412891794D7F3B0 Time : 720.0 sec. user=vaughan [2010-07-02 01:24:20] 453*2^838443-1 is not prime. Res64: 5DEEF81F6D1FB045 Time : 55533.0 sec. user=vaughan [2010-07-02 01:24:40] 519*2^838583-1 is not prime. Res64: E4E22C854D5B595C Time : 32269.0 sec. user=vaughan [2010-07-02 01:24:57] 511*2^838579-1 is not prime. Res64: 25592E95B3DCE75B Time : 32375.0 sec. user=vaughan [2010-07-02 01:25:04] 539*2^838756-1 is not prime. Res64: 23D970D41E268D62 Time : 720.0 sec. user=vaughan [2010-07-02 01:27:27] 409*2^838571-1 is not prime. Res64: 83FA53631462FC43 Time : 34236.0 sec. user=vaughan [2010-07-02 01:29:44] 499*2^838621-1 is not prime. Res64: D52016A263D42CD8 Time : 26637.0 sec. user=vaughan [2010-07-02 01:30:02] 477*2^838757-1 is not prime. Res64: 836DD348ADD4B2C4 Time : 929.0 sec. user=vaughan [2010-07-02 01:30:21] 561*2^838622-1 is not prime. Res64: A3CF132305DA2E6F Time : 26663.0 sec. user=vaughan [2010-07-02 01:31:39] 507*2^838757-1 is not prime. Res64: AC5A60D2C15B2FB4 Time : 960.0 sec. user=vaughan [2010-07-02 01:32:27] 559*2^838757-1 is not prime. Res64: 0CE272CBB5EF830D Time : 946.0 sec. user=vaughan [2010-07-02 01:32:38] 443*2^838758-1 is not prime. Res64: B9AA5625A701286C Time : 937.0 sec. user=vaughan [2010-07-02 01:32:49] 559*2^838469-1 is not prime. Res64: 3BF06B02A4235BF6 Time : 51179.0 sec. user=vaughan [2010-07-02 01:34:34] 417*2^838628-1 is not prime. Res64: D7A36C15FB717D30 Time : 25731.0 sec. user=vaughan [2010-07-02 01:35:08] 453*2^838502-1 is not prime. Res64: 7B4D1080F6512776 Time : 45664.0 sec. user=vaughan [2010-07-02 01:35:11] 563*2^838574-1 is not prime. Res64: D74C945C92907F41 Time : 34262.0 sec. user=vaughan [2010-07-02 01:36:06] 553*2^838759-1 is not prime. Res64: 363915ADEBAD71BA Time : 721.0 sec. user=vaughan [2010-07-02 01:36:21] 573*2^838759-1 is not prime. Res64: E134854FD2BA97DD Time : 721.0 sec. user=vaughan [2010-07-02 01:37:03] 483*2^838760-1 is not prime. Res64: 229D4CEDD98FDEFA Time : 720.0 sec. user=Flatlander [2010-07-02 01:38:03] 503*2^838740-1 is not prime. Res64: F5B2C8B60049AA15 Time : 4232.0 sec. user=Flatlander [2010-07-02 01:38:04] 545*2^838740-1 is not prime. Res64: 132B1D268D227E15 Time : 4232.0 sec. user=Flatlander [2010-07-02 01:38:04] 557*2^838740-1 is not prime. Res64: 8C033891AD79110A Time : 4230.0 sec. user=Flatlander [2010-07-02 01:38:05] 415*2^838741-1 is not prime. Res64: E685B9E318AF71EA Time : 4229.0 sec. user=Flatlander [2010-07-02 01:38:05] 439*2^838741-1 is not prime. Res64: EB4B09D39D9AB697 Time : 4228.0 sec. user=vaughan [2010-07-02 01:38:11] 441*2^838431-1 is not prime. Res64: BFF571CD4C1DF401 Time : 58108.0 sec. user=vaughan [2010-07-02 01:39:06] 545*2^838630-1 is not prime. Res64: 212800AC9BDCA648 Time : 25737.0 sec. user=vaughan [2010-07-02 01:40:58] 441*2^838589-1 is not prime. Res64: BC7DE6E5C5BBA7EE Time : 32273.0 sec. user=vaughan [2010-07-02 01:41:18] 513*2^838588-1 is not prime. Res64: 1EC899F4CB86D326 Time : 32376.0 sec. user=vaughan [2010-07-02 01:44:42] 567*2^838576-1 is not prime. Res64: DFA98C80BD88E1B6 Time : 34234.0 sec. user=vaughan [2010-07-02 01:45:34] 537*2^838760-1 is not prime. Res64: 857948CAECA720EC Time : 932.0 sec. user=vaughan [2010-07-02 01:47:31] 599*2^838760-1 is not prime. Res64: 73AB209A5492E3FE Time : 952.0 sec. user=vaughan [2010-07-02 01:48:07] 523*2^838763-1 is not prime. Res64: BDF00DB43324588F Time : 721.0 sec. user=vaughan [2010-07-02 01:48:14] 475*2^838761-1 is not prime. Res64: 69F9E83F3710475F Time : 947.0 sec. user=vaughan [2010-07-02 01:48:21] 549*2^838763-1 is not prime. Res64: 3F531B48BD28F8F9 Time : 721.0 sec. user=vaughan [2010-07-02 01:48:22] 565*2^838761-1 is not prime. Res64: 34869A32DD2E9404 Time : 943.0 sec. user=vaughan [2010-07-02 01:48:33] 527*2^838626-1 is not prime. Res64: 21C2C8D9EA2FEA48 Time : 26725.0 sec. user=vaughan [2010-07-02 01:49:03] 423*2^838764-1 is not prime. Res64: 1864079815171592 Time : 720.0 sec. user=vaughan [2010-07-02 01:49:09] 573*2^838626-1 is not prime. Res64: 15F2C2E64026A4EB Time : 26748.0 sec. user=vaughan [2010-07-02 01:52:11] 595*2^838609-1 is not prime. Res64: E0E864A5F29399FF Time : 25773.0 sec. user=vaughan [2010-07-02 01:52:28] 431*2^838578-1 is not prime. Res64: 4AE80DB92D6A69E7 Time : 34260.0 sec. user=vaughan [2010-07-02 01:52:36] 423*2^838482-1 is not prime. Res64: 159852EB5439A8C1 Time : 50558.0 sec. user=vaughan [2010-07-02 01:53:41] 551*2^838502-1 is not prime. Res64: F898E3577AD2DCC4 Time : 46510.0 sec. user=vaughan [2010-07-02 01:53:57] 593*2^838752-1 is not prime. Res64: A1B3BACD8102642D Time : 2920.0 sec. user=vaughan [2010-07-02 01:56:35] 453*2^838630-1 is not prime. Res64: A38D2ABB785990C2 Time : 25770.0 sec. user=vaughan [2010-07-02 01:57:14] 585*2^838508-1 is not prime. Res64: C13BC54D05B3D19C Time : 45723.0 sec. user=vaughan [2010-07-02 01:57:17] 595*2^838595-1 is not prime. Res64: C260E6A5EEEDE58B Time : 32278.0 sec. user=vaughan [2010-07-02 01:57:38] 459*2^838593-1 is not prime. Res64: 3152F61A50318D12 Time : 32375.0 sec. user=vaughan [2010-07-02 01:58:10] 451*2^838755-1 is not prime. Res64: 5D2061009A4398F0 Time : 2913.0 sec. user=vaughan [2010-07-02 02:00:10] 405*2^838767-1 is not prime. Res64: 9E1427B77398049A Time : 724.0 sec. user=vaughan [2010-07-02 02:00:24] 451*2^838767-1 is not prime. Res64: 31FB9E9C66A2F56E Time : 723.0 sec. user=vaughan [2010-07-02 02:01:05] 479*2^838768-1 is not prime. Res64: 3027FFBD3BBB7CBD Time : 722.0 sec. user=vaughan [2010-07-02 02:01:31] 521*2^838766-1 is not prime. Res64: A54DDD0A5F8DE7DA Time : 957.0 sec. user=vaughan [2010-07-02 02:01:58] 549*2^838584-1 is not prime. Res64: 04DCFD818A6ECA32 Time : 34235.0 sec. user=vaughan [2010-07-02 02:03:18] 545*2^838766-1 is not prime. Res64: 0D8CD177680B3248 Time : 946.0 sec. user=vaughan [2010-07-02 02:03:44] 441*2^838767-1 is not prime. Res64: 67E4A6146B4D2250 Time : 930.0 sec. user=vaughan [2010-07-02 02:04:03] 489*2^838767-1 is not prime. Res64: 1400A57D9C666013 Time : 940.0 sec. user=vaughan [2010-07-02 02:05:38] 565*2^838449-1 is not prime. Res64: 31226B428BB338F2 Time : 56912.0 sec. user=vaughan [2010-07-02 02:06:30] 481*2^838609-1 is not prime. Res64: E66E0F7268F2C0A3 Time : 26760.0 sec. user=vaughan [2010-07-02 02:07:04] 537*2^838609-1 is not prime. Res64: 555019AD235C05E1 Time : 26780.0 sec. user=vaughan [2010-07-02 02:08:27] 573*2^838482-1 is not prime. Res64: 21503F7FEDADBA26 Time : 51399.0 sec. user=vaughan [2010-07-02 02:09:27] 441*2^838637-1 is not prime. Res64: 1172D1B1632D1633 Time : 25793.0 sec. user=vaughan [2010-07-02 02:09:44] 489*2^837629-1 is not prime. Res64: 6235A38BD660D535 Time : 34257.0 sec. user=vaughan [2010-07-02 02:13:36] 571*2^838601-1 is not prime. Res64: 219602A11961267A Time : 32283.0 sec. user=vaughan [2010-07-02 02:13:53] 423*2^838638-1 is not prime. Res64: D1F76411029261CE Time : 25792.0 sec. user=vaughan [2010-07-02 02:14:00] 549*2^838600-1 is not prime. Res64: 52097D83EAE4D0FF Time : 32376.0 sec. user=Flatlander [2010-07-02 02:16:25] 489*2^838753-1 is not prime. Res64: D7CBB05B756D2074 Time : 4232.0 sec. user=Flatlander [2010-07-02 02:16:26] 541*2^838753-1 is not prime. Res64: B6FFA9E3235F6ABF Time : 4232.0 sec. user=Flatlander [2010-07-02 02:16:27] 425*2^838754-1 is not prime. Res64: A77BB9E4E7A319E1 Time : 4231.0 sec. user=Flatlander [2010-07-02 02:16:28] 495*2^838754-1 is not prime. Res64: 58A9FF28040E23B7 Time : 4230.0 sec. user=Flatlander [2010-07-02 02:16:28] 533*2^838754-1 is not prime. Res64: 1387635A1FD65215 Time : 4229.0 sec. user=vaughan [2010-07-02 02:16:57] 425*2^838772-1 is not prime. Res64: 5ED7DA671E1B3D60 Time : 925.0 sec. user=vaughan [2010-07-02 02:18:37] 579*2^838772-1 is not prime. Res64: A09C428300F10151 Time : 919.0 sec. user=vaughan [2010-07-02 02:19:25] 521*2^838590-1 is not prime. Res64: 9332D44C33E41557 Time : 34245.0 sec. user=vaughan [2010-07-02 02:19:55] 517*2^838773-1 is not prime. Res64: 0A4261D46FF7C050 Time : 952.0 sec. user=vaughan [2010-07-02 02:20:01] 435*2^838517-1 is not prime. Res64: 8A016FBF37AE1116 Time : 45629.0 sec. user=vaughan [2010-07-02 02:20:02] 429*2^838773-1 is not prime. Res64: F7089E2C13101498 Time : 977.0 sec. user=vaughan [2010-07-02 02:24:45] 511*2^838635-1 is not prime. Res64: 3D02195B74666F95 Time : 26816.0 sec. user=vaughan [2010-07-02 02:25:22] 455*2^838636-1 is not prime. Res64: 03987D29C95BDB38 Time : 26840.0 sec. user=vaughan [2010-07-02 02:26:31] 567*2^838510-1 is not prime. Res64: 3A61F3E435554190 Time : 46995.0 sec. user=vaughan [2010-07-02 02:26:31] 593*2^838770-1 is not prime. Res64: CA1DFCA50647D0CD Time : 1581.0 sec. user=vaughan [2010-07-02 02:26:35] 493*2^838771-1 is not prime. Res64: 251459010AAF48DE Time : 1571.0 sec. user=vaughan [2010-07-02 02:26:52] 585*2^838640-1 is not prime. Res64: 16F01AC3E546F555 Time : 25820.0 sec. user=vaughan [2010-07-02 02:27:11] 595*2^838591-1 is not prime. Res64: 273EABEB53910D3F Time : 34267.0 sec. user=vaughan [2010-07-02 02:27:20] 573*2^838439-1 is not prime. Res64: 30FBC55FDED8738F Time : 59835.0 sec. user=vaughan [2010-07-02 02:30:05] 475*2^838607-1 is not prime. Res64: DF8CDCC36211CE2F Time : 32297.0 sec. user=vaughan [2010-07-02 02:30:40] 561*2^838606-1 is not prime. Res64: F7EF6545CCEFBC74 Time : 32396.0 sec. user=vaughan [2010-07-02 02:31:13] 459*2^838641-1 is not prime. Res64: 3664BAAE4CE56AB5 Time : 25813.0 sec. user=vaughan [2010-07-02 02:31:22] 475*2^838493-1 is not prime. Res64: D2092EFF4A2F20F0 Time : 51026.0 sec. user=vaughan [2010-07-02 02:32:36] 485*2^838776-1 is not prime. Res64: 2E8FEE5A8BFCA3E0 Time : 938.0 sec. user=vaughan [2010-07-02 02:33:56] 423*2^838494-1 is not prime. Res64: A9CD3B8E4CBC76D0 Time : 51120.0 sec. user=vaughan [2010-07-02 02:33:56] 567*2^838776-1 is not prime. Res64: 15C42CC8B3BD9556 Time : 918.0 sec. user=vaughan [2010-07-02 02:35:52] 561*2^838777-1 is not prime. Res64: 3E82E594BAAB3DB9 Time : 950.0 sec. user=vaughan [2010-07-02 02:35:56] 421*2^838777-1 is not prime. Res64: 81F942CEDC647250 Time : 961.0 sec. user=vaughan [2010-07-02 02:37:01] 421*2^838597-1 is not prime. Res64: 78E08F9571358E86 Time : 34265.0 sec. user=vaughan [2010-07-02 02:42:40] 447*2^838640-1 is not prime. Res64: 31A525C4824A5923 Time : 26848.0 sec. user=vaughan [2010-07-02 02:43:03] 569*2^838524-1 is not prime. Res64: 05436AD39A103C5B Time : 45368.0 sec. user=vaughan [2010-07-02 02:43:13] 479*2^838640-1 is not prime. Res64: CE876D8D5E942870 Time : 26867.0 sec. user=vaughan [2010-07-02 02:43:47] 501*2^838769-1 is not prime. Res64: F5AC9F5CC7CF7D84 Time : 2990.0 sec. user=vaughan [2010-07-02 02:44:08] 589*2^838643-1 is not prime. Res64: C2932918F65B1753 Time : 25843.0 sec. user=vaughan [2010-07-02 02:44:32] 561*2^838597-1 is not prime. Res64: 56C3F5E440CDA68E Time : 34269.0 sec. user=vaughan [2010-07-02 02:45:07] 441*2^838461-1 is not prime. Res64: FEFEF80B6D5755F9 Time : 56904.0 sec. user=vaughan [2010-07-02 02:46:29] 517*2^838613-1 is not prime. Res64: AC66CE1A9A9EE22D Time : 32307.0 sec. user=vaughan [2010-07-02 02:47:07] 435*2^838612-1 is not prime. Res64: 7314980EBDA322EA Time : 32402.0 sec. user=vaughan [2010-07-02 02:48:16] 465*2^838781-1 is not prime. Res64: 7444DDE7148C42F6 Time : 940.0 sec. user=vaughan [2010-07-02 02:48:24] 579*2^838644-1 is not prime. Res64: F4B4ACEA781425C7 Time : 25826.0 sec. user=Flatlander [2010-07-02 02:48:26] 453*2^838764-1 is not prime. Res64: 410AFE49050ABD29 Time : 4220.0 sec. user=Flatlander [2010-07-02 02:48:27] 465*2^838764-1 is not prime. Res64: D7EC2B5F0CE67588 Time : 4220.0 sec. user=Flatlander [2010-07-02 02:48:28] 473*2^838764-1 is not prime. Res64: F30B110151CF436E Time : 4219.0 sec. user=Flatlander [2010-07-02 02:48:29] 479*2^838764-1 is not prime. Res64: 3496D3C86BAC7923 Time : 4219.0 sec. user=Flatlander [2010-07-02 02:48:29] 563*2^838764-1 is not prime. Res64: 47AE5966E2E4571F Time : 4218.0 sec. user=vaughan [2010-07-02 02:49:05] 587*2^838770-1 is not prime. Res64: 1ECAABC64F427FBD Time : 3055.0 sec. user=vaughan [2010-07-02 02:49:59] 577*2^838781-1 is not prime. Res64: 62AA32015C0A27F9 Time : 962.0 sec. user=vaughan [2010-07-02 02:51:27] 483*2^838782-1 is not prime. Res64: 72632724F7C5364F Time : 930.0 sec. user=vaughan [2010-07-02 02:51:30] 413*2^838782-1 is not prime. Res64: FCAB78D92FB2B5A8 Time : 937.0 sec. user=vaughan [2010-07-02 02:54:37] 441*2^838603-1 is not prime. Res64: FC8B5D37BF9777C6 Time : 34285.0 sec. user=vaughan [2010-07-02 02:55:13] 519*2^838771-1 is not prime. Res64: 14E4DD79D3644939 Time : 3248.0 sec. user=vaughan [2010-07-02 02:57:45] 469*2^838501-1 is not prime. Res64: 57ECC5F5A602F48E Time : 50669.0 sec. user=vaughan [2010-07-02 03:00:00] 479*2^838520-1 is not prime. Res64: C2BE45A4B4A22875 Time : 47504.0 sec. user=vaughan [2010-07-02 03:00:38] 501*2^838643-1 is not prime. Res64: 9DBDC569D0BC98CB Time : 26882.0 sec. user=vaughan [2010-07-02 03:01:05] 585*2^838643-1 is not prime. Res64: 06DA747DC97D5E54 Time : 26894.0 sec. user=vaughan [2010-07-02 03:01:20] 441*2^838651-1 is not prime. Res64: 70DDD2D7334024A2 Time : 25859.0 sec. user=vaughan [2010-07-02 03:01:54] 491*2^838606-1 is not prime. Res64: 23811E64461158FD Time : 34272.0 sec. user=vaughan [2010-07-02 03:02:54] 525*2^838618-1 is not prime. Res64: 01A73E226F883247 Time : 32317.0 sec. user=vaughan [2010-07-02 03:03:04] 591*2^838501-1 is not prime. Res64: 816E035C3E76D175 Time : 50959.0 sec. user=vaughan [2010-07-02 03:03:34] 471*2^838618-1 is not prime. Res64: 9D4FF1355C4ED693 Time : 32408.0 sec. user=vaughan [2010-07-02 03:03:40] 491*2^838786-1 is not prime. Res64: CC7CADB728290041 Time : 923.0 sec. user=vaughan [2010-07-02 03:05:35] 413*2^838652-1 is not prime. Res64: 379000E6E7E36E55 Time : 25840.0 sec. user=vaughan [2010-07-02 03:05:50] 587*2^838536-1 is not prime. Res64: 71316AC5698E03C3 Time : 45255.0 sec. user=vaughan [2010-07-02 03:06:12] 483*2^838788-1 is not prime. Res64: 93CDE93F33A4FE38 Time : 972.0 sec. user=vaughan [2010-07-02 03:06:58] 513*2^838788-1 is not prime. Res64: FD2A665CBD2AAD29 Time : 927.0 sec. user=vaughan [2010-07-02 03:07:16] 485*2^838788-1 is not prime. Res64: A382DD16F2BD852A Time : 948.0 sec. user=vaughan [2010-07-02 03:07:54] 569*2^838788-1 is not prime. Res64: ABF98151983B466D Time : 761.0 sec. user=vaughan [2010-07-02 03:12:05] 515*2^838610-1 is not prime. Res64: BDDCB5D5B2AE8ED1 Time : 34298.0 sec. user=vaughan [2010-07-02 03:17:16] 595*2^838783-1 is not prime. Res64: DADF6F792A0FB311 Time : 2010.0 sec. user=vaughan [2010-07-02 03:18:28] 459*2^838649-1 is not prime. Res64: 373B637222017C13 Time : 26909.0 sec. user=vaughan [2010-07-02 03:18:32] 565*2^838653-1 is not prime. Res64: DF7532C52E4F4D0C Time : 25876.0 sec. user=vaughan [2010-07-02 03:18:59] 433*2^838651-1 is not prime. Res64: BE88A46DE0EE8091 Time : 26922.0 sec. user=vaughan [2010-07-02 03:19:12] 581*2^838790-1 is not prime. Res64: 7794C6AFC32ACA9B Time : 932.0 sec. user=vaughan [2010-07-02 03:19:12] 567*2^838613-1 is not prime. Res64: A02373CD111ABA80 Time : 34270.0 sec. user=vaughan [2010-07-02 03:19:14] 483*2^838626-1 is not prime. Res64: 8EE016FA81873EC9 Time : 32324.0 sec. user=vaughan [2010-07-02 03:19:54] 525*2^837698-1 is not prime. Res64: D58801C5C561653E Time : 32407.0 sec. user=vaughan [2010-07-02 03:20:34] 565*2^838791-1 is not prime. Res64: DDA3DE422673A7B8 Time : 761.0 sec. user=vaughan [2010-07-02 03:21:48] 511*2^838513-1 is not prime. Res64: A8F6CC3706AF8980 Time : 49972.0 sec. user=vaughan [2010-07-02 03:21:48] 511*2^838791-1 is not prime. Res64: 36785AE7C7908A91 Time : 936.0 sec. user=vaughan [2010-07-02 03:21:49] 425*2^838474-1 is not prime. Res64: 1F13DABA16BCD9CE Time : 57083.0 sec. user=vaughan [2010-07-02 03:21:59] 543*2^838787-1 is not prime. Res64: C09D3993303AB2F2 Time : 1974.0 sec. user=vaughan [2010-07-02 03:22:32] 513*2^838791-1 is not prime. Res64: 2856B5B7E44B1B14 Time : 933.0 sec. user=vaughan [2010-07-02 03:22:50] 413*2^838656-1 is not prime. Res64: 70E589075F87B761 Time : 25856.0 sec. user=vaughan [2010-07-02 03:23:24] 555*2^838791-1 is not prime. Res64: 451113CBF1ACB6A1 Time : 968.0 sec. user=Flatlander [2010-07-02 03:26:21] 511*2^838775-1 is not prime. Res64: 9BA3FD6C96787AAA Time : 4193.0 sec. user=Flatlander [2010-07-02 03:26:22] 579*2^838775-1 is not prime. Res64: 81622289F51DA52E Time : 4194.0 sec. user=Flatlander [2010-07-02 03:26:23] 595*2^838775-1 is not prime. Res64: 88244EB722DFB6F3 Time : 4194.0 sec. user=Flatlander [2010-07-02 03:26:23] 455*2^838776-1 is not prime. Res64: B2CD89AF16338D68 Time : 4194.0 sec. user=Flatlander [2010-07-02 03:26:24] 459*2^838776-1 is not prime. Res64: BEEA6AF92459319B Time : 4194.0 sec. user=vaughan [2010-07-02 03:27:58] 437*2^838446-1 is not prime. Res64: 470D352AB15FF119 Time : 62255.0 sec. user=vaughan [2010-07-02 03:28:23] 467*2^838548-1 is not prime. Res64: 68FB0AAEF57C0F6D Time : 44965.0 sec. user=vaughan [2010-07-02 03:29:20] 405*2^838615-1 is not prime. Res64: 53814379407D66D5 Time : 34297.0 sec. user=vaughan [2010-07-02 03:33:27] 469*2^838527-1 is not prime. Res64: B45A4B267D1D316D Time : 48106.0 sec. user=vaughan [2010-07-02 03:33:32] 547*2^838793-1 is not prime. Res64: C379853AFC33B287 Time : 778.0 sec. user=vaughan [2010-07-02 03:35:35] 511*2^838633-1 is not prime. Res64: C5B0C30B0EDE469D Time : 32331.0 sec. user=vaughan [2010-07-02 03:35:41] 523*2^838659-1 is not prime. Res64: 02B102AB3C907D35 Time : 25888.0 sec. user=vaughan [2010-07-02 03:36:17] 471*2^838633-1 is not prime. Res64: DDC5A23BFF0139D7 Time : 32400.0 sec. user=vaughan [2010-07-02 03:36:22] 425*2^838654-1 is not prime. Res64: D9CB9364592EA983 Time : 26938.0 sec. user=vaughan [2010-07-02 03:36:31] 467*2^838620-1 is not prime. Res64: 21F89AD6456B8713 Time : 34270.0 sec. user=vaughan [2010-07-02 03:36:55] 491*2^838654-1 is not prime. Res64: C503323100A4FC4F Time : 26952.0 sec. user=vaughan [2010-07-02 03:40:02] 483*2^838660-1 is not prime. Res64: E69904141323D6DC Time : 25869.0 sec. user=vaughan [2010-07-02 03:42:23] 475*2^838793-1 is not prime. Res64: C6BCFCD16D1895A5 Time : 1391.0 sec. user=vaughan [2010-07-02 03:42:42] 545*2^838514-1 is not prime. Res64: 67B6FD4E90AADE9F Time : 50851.0 sec. user=vaughan [2010-07-02 03:45:53] 465*2^838527-1 is not prime. Res64: 668D0008D0CB843C Time : 48895.0 sec. user=vaughan [2010-07-02 03:46:34] 413*2^838796-1 is not prime. Res64: F9416416BE05F0E3 Time : 1389.0 sec. user=vaughan [2010-07-02 03:46:39] 563*2^838624-1 is not prime. Res64: 759B092632974CF5 Time : 34299.0 sec. user=vaughan [2010-07-02 03:49:03] 513*2^838794-1 is not prime. Res64: EDB75F0AA68BD73B Time : 1634.0 sec. user=vaughan [2010-07-02 03:50:19] 447*2^838792-1 is not prime. Res64: 080D055BFDA8D161 Time : 1983.0 sec. user=vaughan [2010-07-02 03:50:46] 565*2^838571-1 is not prime. Res64: D9C5DFBDE277E641 Time : 42784.0 sec. user=vaughan [2010-07-02 03:51:37] 507*2^838778-1 is not prime. Res64: 3827AF4376A7602F Time : 5103.0 sec. user=vaughan [2010-07-02 03:51:46] 473*2^838778-1 is not prime. Res64: 58F6F4AC7123A7B1 Time : 5115.0 sec. user=vaughan [2010-07-02 03:51:56] 533*2^838634-1 is not prime. Res64: 67258E80A396987D Time : 32337.0 sec. user=vaughan [2010-07-02 03:52:37] 521*2^838634-1 is not prime. Res64: F790AA3464A08C74 Time : 32410.0 sec. user=vaughan [2010-07-02 03:52:53] 475*2^838665-1 is not prime. Res64: 9C25069D19E7F15C Time : 25901.0 sec. user=vaughan [2010-07-02 03:53:47] 525*2^838626-1 is not prime. Res64: 16E543CDB2676261 Time : 34267.0 sec. user=vaughan [2010-07-02 03:54:14] 553*2^838659-1 is not prime. Res64: 95CF92C32D38A06D Time : 26970.0 sec. user=vaughan [2010-07-02 03:54:48] 447*2^838660-1 is not prime. Res64: F91A01A39F1E192C Time : 26980.0 sec. user=vaughan [2010-07-02 03:55:03] 421*2^838795-1 is not prime. Res64: 4089B2D01B415FB6 Time : 1984.0 sec. user=vaughan [2010-07-02 03:57:16] 527*2^838666-1 is not prime. Res64: AE64DE3B18667C53 Time : 25886.0 sec. user=Flatlander [2010-07-02 03:58:37] 521*2^838786-1 is not prime. Res64: 0E062A8CE73144BE Time : 4206.0 sec. user=vaughan [2010-07-02 03:58:38] 429*2^838795-1 is not prime. Res64: 8CA7ECB449BB2818 Time : 2165.0 sec. user=Flatlander [2010-07-02 03:58:38] 435*2^838787-1 is not prime. Res64: 86FEDBE8FDB935A6 Time : 4205.0 sec. user=Flatlander [2010-07-02 03:58:39] 465*2^838787-1 is not prime. Res64: 782A2EC760D575D3 Time : 4205.0 sec. user=Flatlander [2010-07-02 03:58:39] 501*2^838787-1 is not prime. Res64: 70FA3F485493C124 Time : 4203.0 sec. user=Flatlander [2010-07-02 03:58:40] 505*2^838787-1 is not prime. Res64: 73B6CA1897757F90 Time : 4202.0 sec. user=vaughan [2010-07-02 04:00:14] 513*2^838486-1 is not prime. Res64: B422CE891F4DDC1B Time : 57448.0 sec. user=vaughan [2010-07-02 04:03:53] 439*2^838631-1 is not prime. Res64: E1560F66A7FB982D Time : 34296.0 sec. user=vaughan [2010-07-02 04:06:57] 577*2^838537-1 is not prime. Res64: 7679BE0C8CECF9F9 Time : 48744.0 sec. user=vaughan [2010-07-02 04:08:13] 451*2^838639-1 is not prime. Res64: F0A87C5D0E9C6B3E Time : 32340.0 sec. user=vaughan [2010-07-02 04:08:58] 513*2^838638-1 is not prime. Res64: 33EF54CA4B2D9740 Time : 32410.0 sec. user=vaughan [2010-07-02 04:10:10] 473*2^838670-1 is not prime. Res64: EFAADAE25C33AB52 Time : 25919.0 sec. user=vaughan [2010-07-02 04:11:04] 439*2^838609-1 is not prime. Res64: 2B37D4D33C3622CF Time : 34266.0 sec. user=vaughan [2010-07-02 04:12:03] 525*2^838665-1 is not prime. Res64: 5FEE73FC8A78F282 Time : 26992.0 sec. user=vaughan [2010-07-02 04:12:43] 443*2^838666-1 is not prime. Res64: EDDE77AB449A4ADA Time : 27012.0 sec. user=vaughan [2010-07-02 04:13:19] 415*2^838801-1 is not prime. Res64: 009BAFF8EF4F46A6 Time : 1855.0 sec. user=vaughan [2010-07-02 04:14:30] 489*2^838671-1 is not prime. Res64: CCFEA2B9D1985BE2 Time : 25900.0 sec. user=vaughan [2010-07-02 04:17:54] 435*2^838577-1 is not prime. Res64: EFD81C386F931ECE Time : 43068.0 sec. user=vaughan [2010-07-02 04:18:59] 545*2^838802-1 is not prime. Res64: 222C0DFEDE69FC66 Time : 1944.0 sec. user=vaughan [2010-07-02 04:19:36] 539*2^838460-1 is not prime. Res64: 96FCED51FAE2C6D4 Time : 62875.0 sec. user=vaughan [2010-07-02 04:20:00] 445*2^838803-1 is not prime. Res64: 418B9345461A0891 Time : 1856.0 sec. user=vaughan [2010-07-02 04:20:42] 459*2^838532-1 is not prime. Res64: 7C9A7138257D7FD0 Time : 50343.0 sec. user=vaughan [2010-07-02 04:21:10] 477*2^838634-1 is not prime. Res64: 598185293E0DF14F Time : 34298.0 sec. user=vaughan [2010-07-02 04:23:12] 523*2^838803-1 is not prime. Res64: 52B91BAEB7126FC4 Time : 1973.0 sec. user=vaughan [2010-07-02 04:24:32] 593*2^838642-1 is not prime. Res64: FB8C566853DC947D Time : 32345.0 sec. user=vaughan [2010-07-02 04:25:19] 525*2^838642-1 is not prime. Res64: 65285652593C21A7 Time : 32412.0 sec. user=vaughan [2010-07-02 04:26:42] 549*2^838803-1 is not prime. Res64: 21801F7406D8098A Time : 2105.0 sec. user=vaughan [2010-07-02 04:26:55] 507*2^838804-1 is not prime. Res64: B0B7ABFD81D24563 Time : 2109.0 sec. user=vaughan [2010-07-02 04:27:21] 597*2^838678-1 is not prime. Res64: A32BA41C5B375E85 Time : 25919.0 sec. user=vaughan [2010-07-02 04:28:20] 567*2^837714-1 is not prime. Res64: CA6EF5EFFD9319FB Time : 34263.0 sec. user=vaughan [2010-07-02 04:29:02] 573*2^838806-1 is not prime. Res64: CEC481586B25ABA5 Time : 2040.0 sec. user=vaughan [2010-07-02 04:29:56] 545*2^838670-1 is not prime. Res64: 9AD4FEB4C4353714 Time : 27025.0 sec. user=vaughan [2010-07-02 04:29:59] 557*2^838548-1 is not prime. Res64: 24B94D115D5E0793 Time : 48548.0 sec. user=vaughan [2010-07-02 04:30:36] 423*2^838671-1 is not prime. Res64: B38824D8DEF96CA3 Time : 27039.0 sec. user=vaughan [2010-07-02 04:31:44] 527*2^838680-1 is not prime. Res64: 6BB2FDA1AF4327A9 Time : 25905.0 sec. user=vaughan [2010-07-02 04:35:59] 463*2^838807-1 is not prime. Res64: 647C197010460391 Time : 2241.0 sec. user=Flatlander [2010-07-02 04:37:07] 507*2^838796-1 is not prime. Res64: 700209E16BE307B9 Time : 4241.0 sec. user=Flatlander [2010-07-02 04:37:08] 587*2^838796-1 is not prime. Res64: 7BE2DA684EB906FA Time : 4241.0 sec. user=Flatlander [2010-07-02 04:37:08] 405*2^838797-1 is not prime. Res64: F430189E9A49BE2A Time : 4239.0 sec. user=Flatlander [2010-07-02 04:37:09] 507*2^838797-1 is not prime. Res64: 11832FA998EA4762 Time : 4239.0 sec. user=Flatlander [2010-07-02 04:37:10] 465*2^838798-1 is not prime. Res64: E49EFB942E7001D3 Time : 4238.0 sec. user=vaughan [2010-07-02 04:38:22] 551*2^837718-1 is not prime. Res64: 1A368D549B1E3483 Time : 34292.0 sec. user=vaughan [2010-07-02 04:39:55] 525*2^838548-1 is not prime. Res64: A47DCEB9533E323A Time : 49199.0 sec. user=vaughan [2010-07-02 04:40:48] 493*2^838587-1 is not prime. Res64: A29CA364399C0EDB Time : 43399.0 sec. user=vaughan [2010-07-02 04:40:50] 577*2^838645-1 is not prime. Res64: 91A5B32A8DD4A9E9 Time : 32349.0 sec. user=vaughan [2010-07-02 04:41:39] 499*2^838645-1 is not prime. Res64: 1F6AA6E7FFA2E315 Time : 32412.0 sec. user=vaughan [2010-07-02 04:44:35] 521*2^838682-1 is not prime. Res64: F94FFF5DBB9D7BAC Time : 25915.0 sec. user=vaughan [2010-07-02 04:45:05] 511*2^838497-1 is not prime. Res64: 999BE6CFE21E0F35 Time : 58090.0 sec. user=vaughan [2010-07-02 04:45:37] 437*2^838640-1 is not prime. Res64: 92CA573B69E4694D Time : 34261.0 sec. user=vaughan [2010-07-02 04:47:54] 559*2^838679-1 is not prime. Res64: E0FD87D5173923A6 Time : 27036.0 sec. user=vaughan [2010-07-02 04:48:29] 447*2^838680-1 is not prime. Res64: CCCFBB979D445066 Time : 27043.0 sec. user=vaughan [2010-07-02 04:49:00] 485*2^838686-1 is not prime. Res64: 3BE3F9C1EC014053 Time : 25904.0 sec. user=vaughan [2010-07-02 04:55:26] 423*2^838812-1 is not prime. Res64: 92874A7DF294F6B0 Time : 2527.0 sec. user=vaughan [2010-07-02 04:55:38] 513*2^838642-1 is not prime. Res64: B7FC34D69386E7F9 Time : 34292.0 sec. user=vaughan [2010-07-02 04:55:59] 403*2^838815-1 is not prime. Res64: 028B6C1FD54FAFC0 Time : 1967.0 sec. user=vaughan [2010-07-02 04:57:07] 425*2^838652-1 is not prime. Res64: C4199C861BD5934D Time : 32337.0 sec. user=vaughan [2010-07-02 04:57:58] 417*2^838652-1 is not prime. Res64: 886A38A1C1AD13CD Time : 32402.0 sec. user=vaughan [2010-07-02 04:58:29] 495*2^838813-1 is not prime. Res64: FEF74F1CC583520E Time : 2370.0 sec. user=vaughan [2010-07-02 05:00:19] 469*2^838551-1 is not prime. Res64: 6A1C1B11AEC48DBF Time : 50007.0 sec. user=vaughan [2010-07-02 05:01:22] 525*2^838813-1 is not prime. Res64: E0B76A1C4FA7D881 Time : 2482.0 sec. user=vaughan [2010-07-02 05:01:46] 543*2^838815-1 is not prime. Res64: 933337B7ABF8869A Time : 2104.0 sec. user=vaughan [2010-07-02 05:01:49] 489*2^838688-1 is not prime. Res64: 54A1CF24D15AD2CE Time : 25918.0 sec. user=vaughan [2010-07-02 05:02:03] 579*2^838815-1 is not prime. Res64: 90570116E1FFD4D7 Time : 2108.0 sec. user=vaughan [2010-07-02 05:02:53] 451*2^838643-1 is not prime. Res64: CDA51355431AB32A Time : 34259.0 sec. user=vaughan [2010-07-02 05:03:01] 413*2^838816-1 is not prime. Res64: CABBFF1DEEAD61A5 Time : 2039.0 sec. user=vaughan [2010-07-02 05:03:51] 455*2^838572-1 is not prime. Res64: B0B869D46E687523 Time : 47110.0 sec. user=vaughan [2010-07-02 05:05:48] 543*2^838683-1 is not prime. Res64: B3E89F52BDF03588 Time : 27027.0 sec. user=vaughan [2010-07-02 05:06:12] 505*2^838691-1 is not prime. Res64: 762BC30E9E554D22 Time : 25907.0 sec. user=vaughan [2010-07-02 05:06:25] 447*2^838684-1 is not prime. Res64: C43ABA2241D5D3CD Time : 27035.0 sec. user=vaughan [2010-07-02 05:10:23] 475*2^838591-1 is not prime. Res64: 7912221F122C480F Time : 44130.0 sec. user=Flatlander [2010-07-02 05:10:53] 483*2^838807-1 is not prime. Res64: F13BA2A3B100EFF6 Time : 4332.0 sec. user=Flatlander [2010-07-02 05:10:53] 541*2^838807-1 is not prime. Res64: D4C614D569B87ED2 Time : 4331.0 sec. user=Flatlander [2010-07-02 05:10:53] 423*2^838808-1 is not prime. Res64: 4795F990EF3E8289 Time : 4330.0 sec. user=Flatlander [2010-07-02 05:10:54] 447*2^838809-1 is not prime. Res64: BE49F516AD98D438 Time : 4330.0 sec. user=Flatlander [2010-07-02 05:10:54] 457*2^838809-1 is not prime. Res64: 674D0B0E1DAA99EB Time : 4329.0 sec. user=vaughan [2010-07-02 05:11:07] 425*2^838476-1 is not prime. Res64: 5C1209A171D8A790 Time : 63488.0 sec. user=vaughan [2010-07-02 05:11:34] 475*2^838817-1 is not prime. Res64: B06F345465653E93 Time : 2134.0 sec. user=vaughan [2010-07-02 05:12:52] 503*2^838572-1 is not prime. Res64: AFF282F77548C90F Time : 47634.0 sec. user=vaughan [2010-07-02 05:12:54] 469*2^838645-1 is not prime. Res64: 7FA595D9CD4C002C Time : 34292.0 sec. user=vaughan [2010-07-02 05:13:27] 503*2^838656-1 is not prime. Res64: A0DC60599BA01F9D Time : 32339.0 sec. user=vaughan [2010-07-02 05:14:18] 483*2^837746-1 is not prime. Res64: 6E93241A5A879CE1 Time : 32401.0 sec. user=vaughan [2010-07-02 05:17:25] 447*2^838822-1 is not prime. Res64: 2CEC236E765E1097 Time : 1319.0 sec. user=vaughan [2010-07-02 05:18:59] 431*2^837786-1 is not prime. Res64: E74FBC60F342A511 Time : 25920.0 sec. user=vaughan [2010-07-02 05:20:10] 437*2^838648-1 is not prime. Res64: D923580E7EF37385 Time : 34251.0 sec. user=vaughan [2010-07-02 05:23:26] 499*2^838699-1 is not prime. Res64: 797CCD36BEF57CE1 Time : 25911.0 sec. user=vaughan [2010-07-02 05:23:41] 571*2^838823-1 is not prime. Res64: A81C66D7AB1F48D2 Time : 1339.0 sec. user=vaughan [2010-07-02 05:23:45] 587*2^838690-1 is not prime. Res64: A571BCCF5FCAACE5 Time : 27030.0 sec. user=vaughan [2010-07-02 05:24:22] 433*2^838691-1 is not prime. Res64: 51E5F2F6D0BFBFC0 Time : 27035.0 sec. user=vaughan [2010-07-02 05:29:36] 545*2^838508-1 is not prime. Res64: A927BB84D249323A Time : 58621.0 sec. user=vaughan [2010-07-02 05:29:45] 465*2^838661-1 is not prime. Res64: 2555EECDD8053256 Time : 32338.0 sec. user=vaughan [2010-07-02 05:30:09] 437*2^838652-1 is not prime. Res64: AB814911D11C69F5 Time : 34283.0 sec. user=vaughan [2010-07-02 05:30:39] 451*2^838661-1 is not prime. Res64: 696887F1C2BB410A Time : 32405.0 sec. user=vaughan [2010-07-02 05:32:47] 585*2^838826-1 is not prime. Res64: 5880465B7EC70FDE Time : 1273.0 sec. user=vaughan [2010-07-02 05:36:14] 495*2^838702-1 is not prime. Res64: 7D8CFBB96517B65A Time : 25927.0 sec. user=vaughan [2010-07-02 05:36:48] 585*2^838823-1 is not prime. Res64: F1D873327F4C2E73 Time : 2102.0 sec. user=vaughan [2010-07-02 05:37:08] 525*2^838824-1 is not prime. Res64: FB3AE5D1514A71CD Time : 2106.0 sec. user=vaughan [2010-07-02 05:37:25] 525*2^838653-1 is not prime. Res64: 990B586726A92B63 Time : 34245.0 sec. user=vaughan [2010-07-02 05:38:34] 421*2^838579-1 is not prime. Res64: 8B1CD7552033FA05 Time : 47614.0 sec. user=vaughan [2010-07-02 05:38:49] 507*2^838828-1 is not prime. Res64: 63BB464EE4C9BF93 Time : 1284.0 sec. user=vaughan [2010-07-02 05:39:29] 413*2^838578-1 is not prime. Res64: 3C4A58F85B2F7C79 Time : 47884.0 sec. user=vaughan [2010-07-02 05:40:40] 453*2^838704-1 is not prime. Res64: DC936F51DAA40097 Time : 25913.0 sec. user=vaughan [2010-07-02 05:41:10] 519*2^838568-1 is not prime. Res64: B21E941D6D30EEF1 Time : 49709.0 sec. user=vaughan [2010-07-02 05:41:39] 567*2^838698-1 is not prime. Res64: CF47A5209B860569 Time : 27030.0 sec. user=vaughan [2010-07-02 05:42:19] 523*2^838699-1 is not prime. Res64: 1B1149C4F4AEB100 Time : 27037.0 sec. user=vaughan [2010-07-02 05:46:04] 531*2^838667-1 is not prime. Res64: 32EAF0A639B76F8F Time : 32339.0 sec. user=vaughan [2010-07-02 05:46:59] 495*2^838667-1 is not prime. Res64: 63ABCBEEB9CE0916 Time : 32406.0 sec. user=vaughan [2010-07-02 05:47:23] 577*2^838829-1 is not prime. Res64: 9B77D1DBB78BC1E2 Time : 1421.0 sec. user=vaughan [2010-07-02 05:47:25] 537*2^838656-1 is not prime. Res64: 295EECC1ED25C822 Time : 34284.0 sec. user=vaughan [2010-07-02 05:48:23] 417*2^838602-1 is not prime. Res64: 79239443C64A126A Time : 45039.0 sec. user=vaughan [2010-07-02 05:51:50] 507*2^838822-1 is not prime. Res64: 47E28AA3EF13E60D Time : 3351.0 sec. user=vaughan [2010-07-02 05:53:30] 549*2^838707-1 is not prime. Res64: D24B8674E269C1ED Time : 25932.0 sec. user=Flatlander [2010-07-02 05:54:15] 561*2^838817-1 is not prime. Res64: 54F15C05CC09932F Time : 4624.0 sec. user=Flatlander [2010-07-02 05:54:16] 405*2^838818-1 is not prime. Res64: B43504C3E0EDFDB9 Time : 4624.0 sec. user=Flatlander [2010-07-02 05:54:16] 411*2^838819-1 is not prime. Res64: 6B3CF281E545BC69 Time : 4622.0 sec. user=Flatlander [2010-07-02 05:54:16] 489*2^838819-1 is not prime. Res64: 4246F5F8BDB67B29 Time : 4621.0 sec. user=Flatlander [2010-07-02 05:54:17] 495*2^838819-1 is not prime. Res64: 0BADEB227CBE0386 Time : 4621.0 sec. user=vaughan [2010-07-02 05:54:43] 489*2^838659-1 is not prime. Res64: 658FF51080E053C6 Time : 34246.0 sec. user=vaughan [2010-07-02 05:56:42] 445*2^838823-1 is not prime. Res64: 8FA0E24D7DBB3728 Time : 3492.0 sec. user=vaughan [2010-07-02 05:57:20] 433*2^838831-1 is not prime. Res64: 3D7305E8A91F2FAB Time : 1472.0 sec. user=vaughan [2010-07-02 05:57:59] 423*2^838710-1 is not prime. Res64: 9F2CCC539CB73ED9 Time : 25925.0 sec. user=vaughan [2010-07-02 05:58:34] 555*2^838824-1 is not prime. Res64: 839F1859C14A2455 Time : 3333.0 sec. user=vaughan [2010-07-02 05:58:59] 463*2^838799-1 is not prime. Res64: E72E0F7C133CD5E7 Time : 8727.0 sec. user=vaughan [2010-07-02 06:00:05] 473*2^838704-1 is not prime. Res64: 22E44730E2E74927 Time : 27062.0 sec. user=vaughan [2010-07-02 06:00:45] 497*2^838704-1 is not prime. Res64: E19348C19EA69D9B Time : 27072.0 sec. user=vaughan [2010-07-02 06:02:22] 565*2^838673-1 is not prime. Res64: DE3D489EE08D9732 Time : 32339.0 sec. user=vaughan [2010-07-02 06:03:19] 481*2^838673-1 is not prime. Res64: 01E819291E1F0947 Time : 32407.0 sec. user=vaughan [2010-07-02 06:04:41] 475*2^838661-1 is not prime. Res64: 285B4F450260C573 Time : 34285.0 sec. user=vaughan [2010-07-02 06:05:44] 417*2^837630-1 is not prime. Res64: F2883B384373AB95 Time : 48411.0 sec. user=vaughan [2010-07-02 06:07:31] 549*2^838831-1 is not prime. Res64: 35656847E590671B Time : 1721.0 sec. user=vaughan [2010-07-02 06:11:19] 511*2^838715-1 is not prime. Res64: 452BC186BD1129F1 Time : 25966.0 sec. user=vaughan [2010-07-02 06:11:47] 489*2^838831-1 is not prime. Res64: 0559E1B9F34A2B1F Time : 2100.0 sec. user=vaughan [2010-07-02 06:12:00] 481*2^838665-1 is not prime. Res64: D043338D542555C3 Time : 34247.0 sec. user=vaughan [2010-07-02 06:12:19] 493*2^838831-1 is not prime. Res64: A2CF7A710ABB4C4F Time : 2112.0 sec. user=vaughan [2010-07-02 06:13:10] 525*2^838488-1 is not prime. Res64: 341A137ADA5888B4 Time : 64979.0 sec. user=vaughan [2010-07-02 06:13:34] 503*2^838520-1 is not prime. Res64: 340E397580EAA38E Time : 58954.0 sec. user=vaughan [2010-07-02 06:13:34] 467*2^838840-1 is not prime. Res64: 9EDD5261CBF03B42 Time : 875.0 sec. user=vaughan [2010-07-02 06:15:16] 465*2^838834-1 is not prime. Res64: 1C17D0196901F539 Time : 1673.0 sec. user=vaughan [2010-07-02 06:15:49] 563*2^838716-1 is not prime. Res64: 90DFD136D6B2AEBA Time : 25965.0 sec. user=vaughan [2010-07-02 06:18:40] 525*2^838680-1 is not prime. Res64: 47FCC2721990CF2D Time : 32340.0 sec. user=vaughan [2010-07-02 06:18:58] 591*2^838585-1 is not prime. Res64: AEE646AE09B6D63A Time : 49316.0 sec. user=vaughan [2010-07-02 06:19:03] 505*2^838711-1 is not prime. Res64: 1887FD3BF8582EFD Time : 27128.0 sec. user=vaughan [2010-07-02 06:19:39] 455*2^838680-1 is not prime. Res64: 168CD856D0FF2330 Time : 32408.0 sec. user=vaughan [2010-07-02 06:19:45] 541*2^838711-1 is not prime. Res64: C3D7385000C367D6 Time : 27141.0 sec. user=vaughan [2010-07-02 06:21:57] 517*2^838669-1 is not prime. Res64: A4D6F4D475268613 Time : 34286.0 sec. user=vaughan [2010-07-02 06:24:54] 587*2^838834-1 is not prime. Res64: EC2CA5634FA83F8F Time : 1984.0 sec. user=vaughan [2010-07-02 06:25:13] 485*2^838608-1 is not prime. Res64: B7E05AEE99A7FC16 Time : 46207.0 sec. user=vaughan [2010-07-02 06:25:20] 585*2^838590-1 is not prime. Res64: 31B8A23309DCF024 Time : 48868.0 sec. user=vaughan [2010-07-02 06:28:10] 429*2^838843-1 is not prime. Res64: F1A7F5BD8411F2A4 Time : 876.0 sec. user=vaughan [2010-07-02 06:29:05] 525*2^838720-1 is not prime. Res64: 89D3FAC5123BDB33 Time : 26002.0 sec. user=vaughan [2010-07-02 06:29:10] 451*2^838839-1 is not prime. Res64: 46855AD7FBD2929A Time : 1909.0 sec. user=vaughan [2010-07-02 06:29:18] 495*2^838670-1 is not prime. Res64: 46EF79CE96F40CE3 Time : 34249.0 sec. user=vaughan [2010-07-02 06:33:29] 505*2^838723-1 is not prime. Res64: 7BF558FF74A68CDE Time : 25994.0 sec. user=vaughan [2010-07-02 06:34:30] 533*2^838592-1 is not prime. Res64: 9545F96A78CB3107 Time : 49089.0 sec. user=vaughan [2010-07-02 06:34:58] 477*2^838685-1 is not prime. Res64: 3C59493F177CAAAA Time : 32340.0 sec. user=vaughan [2010-07-02 06:35:59] 519*2^838684-1 is not prime. Res64: A46E5B3039F2B4AC Time : 32409.0 sec. user=vaughan [2010-07-02 06:36:24] 565*2^838841-1 is not prime. Res64: 2C6847B8F48AC26C Time : 1733.0 sec. user=vaughan [2010-07-02 06:37:49] 591*2^838841-1 is not prime. Res64: 4673812A84CA7D3C Time : 1563.0 sec. user=vaughan [2010-07-02 06:37:53] 593*2^838716-1 is not prime. Res64: 7D6B7CE884E52F9E Time : 27188.0 sec. user=vaughan [2010-07-02 06:38:08] 525*2^838842-1 is not prime. Res64: 814F538EB2DD25FE Time : 1550.0 sec. user=vaughan [2010-07-02 06:38:33] 439*2^838717-1 is not prime. Res64: 9D91A191D1429619 Time : 27198.0 sec. user=vaughan [2010-07-02 06:39:12] 465*2^838675-1 is not prime. Res64: B4B47AD9D139FD14 Time : 34286.0 sec. user=vaughan [2010-07-02 06:42:52] 531*2^838847-1 is not prime. Res64: 205B60FB00611BE5 Time : 882.0 sec. user=vaughan [2010-07-02 06:44:12] 585*2^838838-1 is not prime. Res64: F1283F1A166D2E44 Time : 2849.0 sec. user=vaughan [2010-07-02 06:46:33] 439*2^838679-1 is not prime. Res64: 16DEF2A0460ABE3E Time : 34247.0 sec. user=vaughan [2010-07-02 06:46:46] 439*2^838843-1 is not prime. Res64: 6EBEA8667C7B37D5 Time : 1889.0 sec. user=vaughan [2010-07-02 06:46:48] 465*2^838726-1 is not prime. Res64: 3059A6438EA7C9B6 Time : 26026.0 sec. user=vaughan [2010-07-02 06:46:56] 585*2^838601-1 is not prime. Res64: 0D7AC571C0A6433E Time : 48599.0 sec. user=vaughan [2010-07-02 06:51:14] 489*2^838727-1 is not prime. Res64: CE2F1E34FBA38C8A Time : 26019.0 sec. user=vaughan [2010-07-02 06:51:29] 401*2^838690-1 is not prime. Res64: A31A8556EFC24F48 Time : 32344.0 sec. user=vaughan [2010-07-02 06:52:34] 507*2^838689-1 is not prime. Res64: 9828B2352FEB7151 Time : 32412.0 sec. user=Flatlander [2010-07-02 06:53:26] 407*2^838826-1 is not prime. Res64: 9EB5070E29C52D79 Time : 6152.0 sec. user=Flatlander [2010-07-02 06:53:27] 483*2^838826-1 is not prime. Res64: 4BBEF30E33630726 Time : 6152.0 sec. user=Flatlander [2010-07-02 06:53:28] 495*2^838826-1 is not prime. Res64: 26F814985AF8EB25 Time : 6153.0 sec. user=Flatlander [2010-07-02 06:53:29] 497*2^838826-1 is not prime. Res64: 78B5F67CC79CD2BC Time : 6153.0 sec. user=Flatlander [2010-07-02 06:53:29] 507*2^838826-1 is not prime. Res64: 5E27F4E3ED5FE8FB Time : 6152.0 sec. user=vaughan [2010-07-02 06:56:02] 589*2^838847-1 is not prime. Res64: B0467DFDEFFE1BC7 Time : 1611.0 sec. user=vaughan [2010-07-02 06:56:18] 507*2^838681-1 is not prime. Res64: 683AB88309A76C2C Time : 34276.0 sec. user=vaughan [2010-07-02 06:56:40] 573*2^838723-1 is not prime. Res64: 05F855A2D6F32856 Time : 27243.0 sec. user=vaughan [2010-07-02 06:57:24] 425*2^838724-1 is not prime. Res64: 46492082234E95DD Time : 27259.0 sec. user=vaughan [2010-07-02 06:57:33] 583*2^838851-1 is not prime. Res64: 584393488DDFBCC5 Time : 882.0 sec. user=vaughan [2010-07-02 06:59:42] 557*2^838614-1 is not prime. Res64: CE7C83B6DA8AA631 Time : 47234.0 sec. user=vaughan [2010-07-02 07:01:21] 503*2^838602-1 is not prime. Res64: 084B2F5B90DDA902 Time : 49323.0 sec. user=vaughan [2010-07-02 07:03:46] 581*2^838682-1 is not prime. Res64: 9A19F3F36C717F0B Time : 34243.0 sec. user=vaughan [2010-07-02 07:03:56] 405*2^838537-1 is not prime. Res64: EBB07A380B048529 Time : 59509.0 sec. user=vaughan [2010-07-02 07:04:30] 477*2^838730-1 is not prime. Res64: E1BAEC9EADC94BCD Time : 26048.0 sec. user=vaughan [2010-07-02 07:04:48] 585*2^838850-1 is not prime. Res64: 8517D2DA3D55D283 Time : 1703.0 sec. user=vaughan [2010-07-02 07:08:02] 517*2^838697-1 is not prime. Res64: 908C0C2423B72CB8 Time : 32352.0 sec. user=vaughan [2010-07-02 07:08:59] 415*2^838731-1 is not prime. Res64: 6356E489865D1F9B Time : 26052.0 sec. user=vaughan [2010-07-02 07:09:08] 403*2^838851-1 is not prime. Res64: A497DDA40D218B3C Time : 1879.0 sec. user=vaughan [2010-07-02 07:09:10] 495*2^838698-1 is not prime. Res64: 09928EE9C14BA1A5 Time : 32418.0 sec. user=vaughan [2010-07-02 07:09:28] 441*2^838851-1 is not prime. Res64: 4B311FFD3874DD25 Time : 1880.0 sec. user=vaughan [2010-07-02 07:11:46] 419*2^838852-1 is not prime. Res64: D6126BDC2463DCFE Time : 1653.0 sec. user=vaughan [2010-07-02 07:12:16] 565*2^838857-1 is not prime. Res64: 1F5974114BFF1EBA Time : 883.0 sec. user=vaughan [2010-07-02 07:13:22] 465*2^838501-1 is not prime. Res64: 6BFC8D9CDF601897 Time : 66019.0 sec. user=vaughan [2010-07-02 07:13:26] 587*2^838686-1 is not prime. Res64: 220A44B9FFE69A2E Time : 34269.0 sec. user=vaughan [2010-07-02 07:15:25] 577*2^838601-1 is not prime. Res64: 4B95BCF527464360 Time : 50370.0 sec. user=vaughan [2010-07-02 07:15:27] 543*2^838727-1 is not prime. Res64: 96C7291034CC79EC Time : 27276.0 sec. user=vaughan [2010-07-02 07:16:08] 453*2^838728-1 is not prime. Res64: 746E58A41EF2EF39 Time : 27288.0 sec. user=vaughan [2010-07-02 07:20:59] 533*2^838688-1 is not prime. Res64: 85F7C572C7D7D85F Time : 34233.0 sec. user=vaughan [2010-07-02 07:22:11] 563*2^838734-1 is not prime. Res64: E6CD6B00E0DE27B9 Time : 26059.0 sec. user=vaughan [2010-07-02 07:22:18] 513*2^838852-1 is not prime. Res64: BD82231B6EA977D0 Time : 2132.0 sec. user=vaughan [2010-07-02 07:24:33] 553*2^838703-1 is not prime. Res64: A590EF031FE328C3 Time : 32356.0 sec. user=vaughan [2010-07-02 07:25:47] 595*2^838703-1 is not prime. Res64: 9A4EA6A940DAA0C2 Time : 32429.0 sec. user=vaughan [2010-07-02 07:26:43] 557*2^838736-1 is not prime. Res64: C3DF49992A456914 Time : 26057.0 sec. user=vaughan [2010-07-02 07:26:59] 447*2^838862-1 is not prime. Res64: 65641732CA8BC26D Time : 883.0 sec. user=vaughan [2010-07-02 07:28:33] 411*2^838610-1 is not prime. Res64: 65C3C32953A001A5 Time : 49904.0 sec. user=vaughan [2010-07-02 07:30:34] 497*2^838692-1 is not prime. Res64: 0EE8E70B9AE18C36 Time : 34238.0 sec. user=vaughan [2010-07-02 07:31:53] 555*2^838855-1 is not prime. Res64: 658F10740D61D9E5 Time : 2150.0 sec. user=vaughan [2010-07-02 07:32:25] 521*2^838610-1 is not prime. Res64: C65D4618C6CC4791 Time : 49778.0 sec. user=vaughan [2010-07-02 07:33:23] 573*2^838623-1 is not prime. Res64: 0DBFE7F5442762CB Time : 48186.0 sec. user=vaughan [2010-07-02 07:34:26] 545*2^838732-1 is not prime. Res64: 11B6E5427CF70FB0 Time : 27330.0 sec. user=vaughan [2010-07-02 07:35:07] 569*2^838732-1 is not prime. Res64: A10FA1226EDD68F7 Time : 27338.0 sec. user=vaughan [2010-07-02 07:38:11] 465*2^838695-1 is not prime. Res64: 008C7A5DD0AF7940 Time : 34220.0 sec. user=vaughan [2010-07-02 07:40:05] 571*2^838739-1 is not prime. Res64: F3918CCBC91DD01B Time : 26081.0 sec. user=vaughan [2010-07-02 07:40:06] 597*2^838860-1 is not prime. Res64: A9D0418C6F6D2440 Time : 2118.0 sec. user=vaughan [2010-07-02 07:41:05] 573*2^838707-1 is not prime. Res64: 22CCE06FF369027C Time : 32369.0 sec. user=vaughan [2010-07-02 07:41:55] 481*2^838865-1 is not prime. Res64: C32117D365639806 Time : 896.0 sec. user=vaughan [2010-07-02 07:42:22] 483*2^838708-1 is not prime. Res64: 7303AE2B68C0CB6C Time : 32442.0 sec. user=vaughan [2010-07-02 07:44:11] 511*2^838861-1 is not prime. Res64: 3D52D287919298ED Time : 2103.0 sec. user=vaughan [2010-07-02 07:44:31] 581*2^838742-1 is not prime. Res64: A6583E061F8224D3 Time : 26082.0 sec. user=vaughan [2010-07-02 07:44:33] 405*2^838862-1 is not prime. Res64: 717D21CB692758A0 Time : 2105.0 sec. user=Flatlander [2010-07-02 07:47:00] 585*2^838835-1 is not prime. Res64: 1F75387ADDD19400 Time : 6763.0 sec. user=Flatlander [2010-07-02 07:47:01] 457*2^838837-1 is not prime. Res64: 4FB64E1C3EF805CB Time : 6763.0 sec. user=Flatlander [2010-07-02 07:47:02] 499*2^838837-1 is not prime. Res64: 6F9EB12204D440D4 Time : 6763.0 sec. user=Flatlander [2010-07-02 07:47:02] 555*2^838837-1 is not prime. Res64: 825F70F7923708DD Time : 6762.0 sec. user=Flatlander [2010-07-02 07:47:03] 447*2^838838-1 is not prime. Res64: 38EC268B8ED52821 Time : 6763.0 sec. user=vaughan [2010-07-02 07:47:41] 451*2^838701-1 is not prime. Res64: 66BF1460C1E73A17 Time : 34212.0 sec. user=vaughan [2010-07-02 07:49:58] 563*2^838614-1 is not prime. Res64: 556A4AC4E84B141A Time : 50138.0 sec. user=vaughan [2010-07-02 07:53:13] 507*2^838737-1 is not prime. Res64: 56B4F97E36E9D47A Time : 27335.0 sec. user=vaughan [2010-07-02 07:53:56] 405*2^838738-1 is not prime. Res64: 365FD2F03D01BFB1 Time : 27338.0 sec. user=vaughan [2010-07-02 07:55:21] 433*2^838703-1 is not prime. Res64: E057AE4C71530D04 Time : 34210.0 sec. user=vaughan [2010-07-02 07:56:34] 437*2^838868-1 is not prime. Res64: 955297352EB2B34B Time : 879.0 sec. user=vaughan [2010-07-02 07:57:40] 435*2^838714-1 is not prime. Res64: 9EBA2C55A0FDA048 Time : 32386.0 sec. user=vaughan [2010-07-02 07:57:48] 565*2^838745-1 is not prime. Res64: 55AF8FB8C72E4849 Time : 26113.0 sec. user=vaughan [2010-07-02 07:59:00] 411*2^838715-1 is not prime. Res64: D04D9C625C44529B Time : 32461.0 sec. user=vaughan [2010-07-02 08:00:34] 515*2^838550-1 is not prime. Res64: 6498B3A07813146E Time : 60906.0 sec. user=vaughan [2010-07-02 08:01:13] 425*2^838862-1 is not prime. Res64: 61514D6B4700D1CB Time : 2966.0 sec. user=vaughan [2010-07-02 08:02:12] 579*2^838747-1 is not prime. Res64: AB00740D3F49925E Time : 26112.0 sec. user=vaughan [2010-07-02 08:02:41] 453*2^838840-1 is not prime. Res64: 3F24072AAEEA216A Time : 7447.0 sec. user=vaughan [2010-07-02 08:04:54] 457*2^838705-1 is not prime. Res64: D0D52498FA2977C7 Time : 34197.0 sec. user=vaughan [2010-07-02 08:08:06] 573*2^838863-1 is not prime. Res64: 6E16000D6EF16571 Time : 2748.0 sec. user=vaughan [2010-07-02 08:09:10] 549*2^838624-1 is not prime. Res64: DBB15F10B39C6DE5 Time : 50097.0 sec. user=vaughan [2010-07-02 08:09:52] 513*2^838611-1 is not prime. Res64: BB6CFB3D10920415 Time : 51857.0 sec. user=vaughan [2010-07-02 08:11:15] 481*2^838873-1 is not prime. Res64: 409287D2042CCB36 Time : 882.0 sec. user=vaughan [2010-07-02 08:11:54] 485*2^838866-1 is not prime. Res64: 232DB9FA10B0AAB6 Time : 2401.0 sec. user=vaughan [2010-07-02 08:11:58] 411*2^838743-1 is not prime. Res64: 8AEB0F68C16FFD2F Time : 27379.0 sec. user=vaughan [2010-07-02 08:12:42] 487*2^838709-1 is not prime. Res64: 3FC8CD9D5CD3939A Time : 34214.0 sec. user=vaughan [2010-07-02 08:12:46] 413*2^838744-1 is not prime. Res64: 1DCFBF7AA33C7241 Time : 27393.0 sec. user=vaughan [2010-07-02 08:14:05] 571*2^838719-1 is not prime. Res64: 9788469E827ECA25 Time : 32392.0 sec. user=vaughan [2010-07-02 08:15:31] 405*2^838720-1 is not prime. Res64: 95E2C5795914697F Time : 32471.0 sec. user=vaughan [2010-07-02 08:15:33] 489*2^838751-1 is not prime. Res64: CD82A2189219C988 Time : 26145.0 sec. user=vaughan [2010-07-02 08:15:41] 563*2^838516-1 is not prime. Res64: 0B9EC645B577C61C Time : 67029.0 sec. user=vaughan [2010-07-02 08:17:09] 453*2^838666-1 is not prime. Res64: 83743E78ED275BCE Time : 41558.0 sec. user=vaughan [2010-07-02 08:19:22] 539*2^838868-1 is not prime. Res64: 83ED3F8E0BF57CA7 Time : 2111.0 sec. user=vaughan [2010-07-02 08:19:35] 459*2^838869-1 is not prime. Res64: C6F19C2FE28BEE20 Time : 2103.0 sec. user=vaughan [2010-07-02 08:19:57] 539*2^838752-1 is not prime. Res64: 5B1C37A654C14C51 Time : 26147.0 sec. user=vaughan [2010-07-02 08:20:52] 549*2^838867-1 is not prime. Res64: F405F79EB5BDA138 Time : 2445.0 sec. user=vaughan [2010-07-02 08:22:28] 459*2^838712-1 is not prime. Res64: 217A6147E58493E6 Time : 34216.0 sec. user=vaughan [2010-07-02 08:24:08] 433*2^838623-1 is not prime. Res64: C63C877F26096362 Time : 51353.0 sec. user=vaughan [2010-07-02 08:25:53] 539*2^838876-1 is not prime. Res64: E1B4438A4E0E1690 Time : 878.0 sec. user=vaughan [2010-07-02 08:27:15] 421*2^838847-1 is not prime. Res64: 970E4EC3A790272D Time : 7341.0 sec. user=vaughan [2010-07-02 08:30:05] 523*2^838715-1 is not prime. Res64: 1490CBA7895A6A16 Time : 34222.0 sec. user=vaughan [2010-07-02 08:30:29] 443*2^838726-1 is not prime. Res64: 462FAF292C7B38EB Time : 32398.0 sec. user=vaughan [2010-07-02 08:30:45] 567*2^838750-1 is not prime. Res64: 46D7AF6674217316 Time : 27434.0 sec. user=vaughan [2010-07-02 08:30:58] 441*2^838665-1 is not prime. Res64: 56014716C47C79C3 Time : 42589.0 sec. user=vaughan [2010-07-02 08:31:39] 433*2^838751-1 is not prime. Res64: 0DBA233AE44DF86F Time : 27456.0 sec. user=vaughan [2010-07-02 08:31:58] 455*2^838726-1 is not prime. Res64: C5195DBAEEDBDDB6 Time : 32479.0 sec. user=vaughan [2010-07-02 08:33:16] 567*2^838757-1 is not prime. Res64: 8D833176974F47D5 Time : 26178.0 sec. user=Flatlander [2010-07-02 08:34:47] 485*2^838854-1 is not prime. Res64: 179D07ECA1C33A69 Time : 6076.0 sec. user=Flatlander [2010-07-02 08:34:48] 525*2^838854-1 is not prime. Res64: B1A9A6F96D322F7E Time : 6076.0 sec. user=Flatlander [2010-07-02 08:34:49] 525*2^838855-1 is not prime. Res64: 3E19C3BB7CC8F9CC Time : 6077.0 sec. user=Flatlander [2010-07-02 08:34:49] 535*2^838855-1 is not prime. Res64: 434BA1A0752449BA Time : 6076.0 sec. user=Flatlander [2010-07-02 08:34:50] 553*2^838855-1 is not prime. Res64: 702E4699DF067CBE Time : 6077.0 sec. user=vaughan [2010-07-02 08:35:36] 433*2^838875-1 is not prime. Res64: 8C2FDA35EFB3F070 Time : 1976.0 sec. user=vaughan [2010-07-02 08:36:47] 593*2^838874-1 is not prime. Res64: E4EA74A4F4A3BF1D Time : 2133.0 sec. user=vaughan [2010-07-02 08:37:42] 493*2^838759-1 is not prime. Res64: 37F8D493110955BA Time : 26181.0 sec. user=vaughan [2010-07-02 08:37:56] 541*2^838875-1 is not prime. Res64: 8D8A0310EF4819E5 Time : 1790.0 sec. user=vaughan [2010-07-02 08:39:49] 537*2^838717-1 is not prime. Res64: 7F82DDC392D5001E Time : 34221.0 sec. user=vaughan [2010-07-02 08:40:36] 593*2^838880-1 is not prime. Res64: 112E8AE744489D04 Time : 883.0 sec. user=vaughan [2010-07-02 08:46:49] 535*2^838729-1 is not prime. Res64: 2AD0E276A1137980 Time : 32401.0 sec. user=vaughan [2010-07-02 08:47:21] 483*2^838722-1 is not prime. Res64: 5F62D1E092DBC9CC Time : 34221.0 sec. user=vaughan [2010-07-02 08:48:20] 547*2^838729-1 is not prime. Res64: 73314FAE9190C1A0 Time : 32483.0 sec. user=vaughan [2010-07-02 08:49:38] 469*2^838755-1 is not prime. Res64: 71DAF8E342BF9269 Time : 27493.0 sec. user=vaughan [2010-07-02 08:50:29] 579*2^838755-1 is not prime. Res64: 1EF62B7DDD3959F9 Time : 27513.0 sec. user=vaughan [2010-07-02 08:50:58] 425*2^838762-1 is not prime. Res64: 828CD4799E8ADA57 Time : 26184.0 sec. user=vaughan [2010-07-02 08:52:35] 425*2^838678-1 is not prime. Res64: 52FD6A9174369FF8 Time : 42064.0 sec. user=vaughan [2010-07-02 08:54:27] 481*2^838879-1 is not prime. Res64: 8F668D7D4147D570 Time : 2105.0 sec. user=vaughan [2010-07-02 08:54:41] 511*2^838879-1 is not prime. Res64: CFEBFFA838DFD6D5 Time : 2106.0 sec. user=vaughan [2010-07-02 08:55:16] 557*2^838884-1 is not prime. Res64: 5604218903633400 Time : 881.0 sec. user=vaughan [2010-07-02 08:55:22] 489*2^838765-1 is not prime. Res64: FB5A533568B5F3EE Time : 26177.0 sec. user=vaughan [2010-07-02 08:57:04] 459*2^838725-1 is not prime. Res64: CF2B064F3A0B1867 Time : 34221.0 sec. user=vaughan [2010-07-02 08:58:31] 441*2^838877-1 is not prime. Res64: 5C71125309CF2830 Time : 2796.0 sec. user=vaughan [2010-07-02 09:00:10] 441*2^838881-1 is not prime. Res64: 9D48588890A9C5F9 Time : 1975.0 sec. user=vaughan [2010-07-02 09:02:24] 405*2^838625-1 is not prime. Res64: F981DD4D67333326 Time : 53215.0 sec. user=vaughan [2010-07-02 09:02:25] 583*2^838563-1 is not prime. Res64: B6D2F91D945EC7BC Time : 62607.0 sec. user=vaughan [2010-07-02 09:03:10] 447*2^838734-1 is not prime. Res64: AF60BCAF244733A8 Time : 32403.0 sec. user=vaughan [2010-07-02 09:04:38] 575*2^838678-1 is not prime. Res64: 403DBFD06A151957 Time : 42621.0 sec. user=vaughan [2010-07-02 09:04:38] 597*2^838726-1 is not prime. Res64: C079D17BC75F8B59 Time : 34221.0 sec. user=vaughan [2010-07-02 09:04:40] 513*2^838734-1 is not prime. Res64: C98CFBC66FDEA114 Time : 32483.0 sec. user=vaughan [2010-07-02 09:07:41] 525*2^838530-1 is not prime. Res64: 095426566E25262B Time : 67688.0 sec. user=Flatlander [2010-07-02 09:07:44] 467*2^838870-1 is not prime. Res64: 542A789990DE7D97 Time : 4839.0 sec. user=Flatlander [2010-07-02 09:07:45] 477*2^838870-1 is not prime. Res64: 5E322059A51FCBC8 Time : 4839.0 sec. user=Flatlander [2010-07-02 09:07:45] 495*2^838870-1 is not prime. Res64: E80E13AA999F2D0D Time : 4837.0 sec. user=Flatlander [2010-07-02 09:07:45] 453*2^838871-1 is not prime. Res64: 6B786B7E3ED0FEEB Time : 4836.0 sec. user=Flatlander [2010-07-02 09:07:46] 489*2^838871-1 is not prime. Res64: C5F4B3EFCF009843 Time : 4835.0 sec. user=vaughan [2010-07-02 09:08:26] 503*2^838760-1 is not prime. Res64: 9A078CEA771A845C Time : 27522.0 sec. user=vaughan [2010-07-02 09:08:31] 463*2^838883-1 is not prime. Res64: CFF367D47C1D2407 Time : 1975.0 sec. user=vaughan [2010-07-02 09:08:43] 539*2^838768-1 is not prime. Res64: 24AEC3F8E6537DF0 Time : 26193.0 sec. user=vaughan [2010-07-02 09:09:20] 593*2^838760-1 is not prime. Res64: 54AE05E77E0BFB7D Time : 27539.0 sec. user=vaughan [2010-07-02 09:09:58] 519*2^838888-1 is not prime. Res64: 9FF4D9CFEFF782C1 Time : 882.0 sec. user=vaughan [2010-07-02 09:10:13] 573*2^838883-1 is not prime. Res64: A536A1FF5FD975F6 Time : 1936.0 sec. user=vaughan [2010-07-02 09:11:54] 447*2^838682-1 is not prime. Res64: FD991B73552839FB Time : 42165.0 sec. user=vaughan [2010-07-02 09:13:06] 559*2^838769-1 is not prime. Res64: A57C4C7033D6E187 Time : 26191.0 sec. user=vaughan [2010-07-02 09:14:21] 481*2^838729-1 is not prime. Res64: 769CAB0900B8EF17 Time : 34223.0 sec. user=vaughan [2010-07-02 09:16:08] 417*2^838880-1 is not prime. Res64: BBC03243FDD9B355 Time : 3315.0 sec. user=vaughan [2010-07-02 09:19:11] 573*2^838631-1 is not prime. Res64: F2E5B03C99D53B55 Time : 53151.0 sec. user=vaughan [2010-07-02 09:19:30] 527*2^838738-1 is not prime. Res64: CD7B816DB35DFAC7 Time : 32404.0 sec. user=vaughan [2010-07-02 09:21:00] 567*2^838738-1 is not prime. Res64: F786BCD75E87A4C7 Time : 32483.0 sec. user=vaughan [2010-07-02 09:21:55] 587*2^838730-1 is not prime. Res64: 4269078F4679BAF0 Time : 34221.0 sec. user=vaughan [2010-07-02 09:24:42] 565*2^838893-1 is not prime. Res64: 8176AC021A214063 Time : 884.0 sec. user=vaughan [2010-07-02 09:26:27] 533*2^838774-1 is not prime. Res64: 043F0651A8DFB784 Time : 26220.0 sec. user=vaughan [2010-07-02 09:27:16] 511*2^838767-1 is not prime. Res64: 31B0710585082C12 Time : 27523.0 sec. user=vaughan [2010-07-02 09:28:14] 527*2^838768-1 is not prime. Res64: B64D6028C13ED211 Time : 27546.0 sec. user=vaughan [2010-07-02 09:29:30] 575*2^838886-1 is not prime. Res64: 46B4AD293CF0FB36 Time : 2104.0 sec. user=vaughan [2010-07-02 09:29:43] 495*2^838888-1 is not prime. Res64: 2A062F2C6687BBB3 Time : 2103.0 sec. user=vaughan [2010-07-02 09:30:47] 403*2^838775-1 is not prime. Res64: 86058D175EF4E355 Time : 26214.0 sec. user=vaughan [2010-07-02 09:31:43] 567*2^838733-1 is not prime. Res64: E2BDB79F70003791 Time : 34230.0 sec. user=vaughan [2010-07-02 09:31:44] 481*2^838883-1 is not prime. Res64: D3BB758A845DF91B Time : 3296.0 sec. user=vaughan [2010-07-02 09:35:42] 421*2^838889-1 is not prime. Res64: 7DAE5911C3CC01F2 Time : 2132.0 sec. user=vaughan [2010-07-02 09:35:54] 471*2^838743-1 is not prime. Res64: 4786BF40CDE03836 Time : 32410.0 sec. user=vaughan [2010-07-02 09:36:43] 441*2^838689-1 is not prime. Res64: 75F45911C6B28855 Time : 42318.0 sec. user=vaughan [2010-07-02 09:37:28] 501*2^838743-1 is not prime. Res64: 467EBCFA5EB6C782 Time : 32491.0 sec. user=vaughan [2010-07-02 09:39:12] 439*2^838897-1 is not prime. Res64: 29EC3B2129985AA5 Time : 870.0 sec. user=vaughan [2010-07-02 09:39:24] 481*2^838735-1 is not prime. Res64: 4C6CA6D9B5092A28 Time : 34233.0 sec. user=vaughan [2010-07-02 09:46:09] 461*2^838894-1 is not prime. Res64: E1CBD0FD062B8DDF Time : 2156.0 sec. user=Flatlander [2010-07-02 09:47:35] 551*2^838882-1 is not prime. Res64: 22BAF77D56E42A67 Time : 4363.0 sec. user=Flatlander [2010-07-02 09:47:35] 409*2^838883-1 is not prime. Res64: CAD7E21237B2A761 Time : 4362.0 sec. user=Flatlander [2010-07-02 09:47:36] 411*2^838883-1 is not prime. Res64: 11018588F67C772E Time : 4361.0 sec. user=Flatlander [2010-07-02 09:47:37] 433*2^838883-1 is not prime. Res64: D8242BB7B88DFFBA Time : 4361.0 sec. user=Flatlander [2010-07-02 09:47:38] 453*2^838883-1 is not prime. Res64: 8F436650BEA66148 Time : 4360.0 sec. user=vaughan [2010-07-02 09:48:41] 597*2^838888-1 is not prime. Res64: 4AA08A6BBD683F1A Time : 3009.0 sec. user=vaughan [2010-07-02 09:49:06] 423*2^838738-1 is not prime. Res64: 451CCE2E636383EB Time : 34238.0 sec. user=vaughan [2010-07-02 09:49:07] 461*2^838682-1 is not prime. Res64: CA06F844FA99DE28 Time : 44243.0 sec. user=vaughan [2010-07-02 09:49:08] 435*2^838547-1 is not prime. Res64: C29941B44C984223 Time : 67930.0 sec. user=vaughan [2010-07-02 09:49:50] 573*2^838576-1 is not prime. Res64: 6965996E2DA1FF91 Time : 63223.0 sec. user=vaughan [2010-07-02 09:50:49] 485*2^838636-1 is not prime. Res64: 4CA70588673AE7AD Time : 53514.0 sec. user=vaughan [2010-07-02 09:51:47] 437*2^838896-1 is not prime. Res64: 672A76DAE3871C1E Time : 2139.0 sec. user=vaughan [2010-07-02 09:52:10] 495*2^838749-1 is not prime. Res64: 5E9A5C34E577B45C Time : 32409.0 sec. user=vaughan [2010-07-02 09:53:53] 559*2^838749-1 is not prime. Res64: B473B872F4DE90CF Time : 32496.0 sec. user=vaughan [2010-07-02 09:53:54] 527*2^838900-1 is not prime. Res64: 5C54A6C3967C6296 Time : 883.0 sec. user=vaughan [2010-07-02 09:56:38] 565*2^838629-1 is not prime. Res64: B483C71EEA67055B Time : 54769.0 sec. user=vaughan [2010-07-02 09:56:45] 479*2^838740-1 is not prime. Res64: A8F4190CF66A9A85 Time : 34238.0 sec. user=vaughan [2010-07-02 10:00:02] 475*2^838701-1 is not prime. Res64: FCA571D721C4B473 Time : 42086.0 sec. user=vaughan [2010-07-02 10:00:11] 525*2^838778-1 is not prime. Res64: FD054BFDD7E8549C Time : 27199.0 sec. user=vaughan [2010-07-02 10:02:31] 467*2^838898-1 is not prime. Res64: 96597354802BBE15 Time : 1982.0 sec. user=vaughan [2010-07-02 10:03:20] 507*2^838898-1 is not prime. Res64: FBA3739926A26055 Time : 2017.0 sec. user=vaughan [2010-07-02 10:06:24] 433*2^838743-1 is not prime. Res64: DA127E1A0C15EAC6 Time : 34241.0 sec. user=vaughan [2010-07-02 10:08:26] 545*2^838754-1 is not prime. Res64: 78D900D6FB0CF22E Time : 32406.0 sec. user=vaughan [2010-07-02 10:08:41] 503*2^838906-1 is not prime. Res64: ACD21AAC0A66632C Time : 887.0 sec. user=vaughan [2010-07-02 10:10:03] 411*2^838781-1 is not prime. Res64: 386B23E4CF5344F7 Time : 27531.0 sec. user=vaughan [2010-07-02 10:10:11] 415*2^838755-1 is not prime. Res64: 29A3C90207399460 Time : 32493.0 sec. user=vaughan [2010-07-02 10:10:48] 459*2^838893-1 is not prime. Res64: 491AE3DA5457CE77 Time : 3738.0 sec. user=vaughan [2010-07-02 10:14:05] 579*2^838745-1 is not prime. Res64: 35ABB5FE8901355A Time : 34241.0 sec. user=vaughan [2010-07-02 10:19:48] 473*2^838560-1 is not prime. Res64: A7711A6344D987C1 Time : 67622.0 sec. user=vaughan [2010-07-02 10:20:13] 437*2^838594-1 is not prime. Res64: C798D064DF490941 Time : 62503.0 sec. user=vaughan [2010-07-02 10:20:41] 525*2^838902-1 is not prime. Res64: C8A851F4E239B974 Time : 1919.0 sec. user=Flatlander [2010-07-02 10:21:26] 527*2^838890-1 is not prime. Res64: 14FFC676C596A3D4 Time : 4419.0 sec. user=Flatlander [2010-07-02 10:21:26] 587*2^838890-1 is not prime. Res64: A8FF085577B423B8 Time : 4418.0 sec. user=Flatlander [2010-07-02 10:21:27] 531*2^838891-1 is not prime. Res64: 883D717DB83A1BBD Time : 4418.0 sec. user=Flatlander [2010-07-02 10:21:27] 515*2^838892-1 is not prime. Res64: A9A5B7772AD9B1B6 Time : 4417.0 sec. user=Flatlander [2010-07-02 10:21:27] 533*2^838892-1 is not prime. Res64: 4C97D378FD7C3D4B Time : 4416.0 sec. user=vaughan [2010-07-02 10:22:05] 559*2^838773-1 is not prime. Res64: EFBA5840A2E2EA22 Time : 29736.0 sec. user=vaughan [2010-07-02 10:23:18] 435*2^838643-1 is not prime. Res64: 62E01AC3D15CB6A8 Time : 53630.0 sec. user=vaughan [2010-07-02 10:23:28] 479*2^838908-1 is not prime. Res64: C8D1DBE3F782EBB4 Time : 887.0 sec. user=vaughan [2010-07-02 10:23:40] 495*2^838750-1 is not prime. Res64: 55F320E0667C61AE Time : 34243.0 sec. user=vaughan [2010-07-02 10:24:40] 413*2^838760-1 is not prime. Res64: 1639508B0876EA87 Time : 32401.0 sec. user=vaughan [2010-07-02 10:25:55] 425*2^838774-1 is not prime. Res64: 8904AE1155A3DF30 Time : 29931.0 sec. user=vaughan [2010-07-02 10:26:28] 507*2^838709-1 is not prime. Res64: 9D9D1D5E97E4EFFE Time : 42048.0 sec. user=vaughan [2010-07-02 10:26:30] 473*2^838760-1 is not prime. Res64: AE1963E77AD32834 Time : 32493.0 sec. user=vaughan [2010-07-02 10:26:52] 433*2^838899-1 is not prime. Res64: 916A7054213DD6CA Time : 3308.0 sec. user=vaughan [2010-07-02 10:31:23] 585*2^838751-1 is not prime. Res64: FB48A4A79E790D89 Time : 34244.0 sec. user=vaughan [2010-07-02 10:31:42] 569*2^838692-1 is not prime. Res64: 04ABC96C582B7009 Time : 45105.0 sec. user=vaughan [2010-07-02 10:35:58] 453*2^838907-1 is not prime. Res64: 422791CB6A9F5325 Time : 2007.0 sec. user=vaughan [2010-07-02 10:36:30] 503*2^838784-1 is not prime. Res64: 8C2B61F49921CC38 Time : 28342.0 sec. user=vaughan [2010-07-02 10:36:41] 465*2^838899-1 is not prime. Res64: 3118EC5FD2AFD536 Time : 3660.0 sec. user=vaughan [2010-07-02 10:37:10] 585*2^838907-1 is not prime. Res64: C9D0A8A2D52B51BB Time : 2031.0 sec. user=vaughan [2010-07-02 10:38:16] 441*2^838911-1 is not prime. Res64: C0A97DFCBC229962 Time : 889.0 sec. user=vaughan [2010-07-02 10:40:39] 461*2^838638-1 is not prime. Res64: 37BF963B399562A6 Time : 55992.0 sec. user=vaughan [2010-07-02 10:40:52] 539*2^838900-1 is not prime. Res64: B9A5664D5D8E641E Time : 3283.0 sec. user=vaughan [2010-07-02 10:40:55] 511*2^838765-1 is not prime. Res64: EB66E9CAEADCAB34 Time : 32398.0 sec. user=vaughan [2010-07-02 10:40:57] 453*2^838755-1 is not prime. Res64: 0A731CE775368A57 Time : 34245.0 sec. user=vaughan [2010-07-02 10:42:49] 597*2^838765-1 is not prime. Res64: 2726058594BE0493 Time : 32491.0 sec. user=vaughan [2010-07-02 10:44:01] 409*2^838905-1 is not prime. Res64: 2B2A4E7074EDD100 Time : 3134.0 sec. user=vaughan [2010-07-02 10:45:01] 513*2^838786-1 is not prime. Res64: D3170ADE21A97625 Time : 28597.0 sec. user=vaughan [2010-07-02 10:48:42] 483*2^838758-1 is not prime. Res64: 803A5F6A759603D3 Time : 34247.0 sec. user=vaughan [2010-07-02 10:48:43] 571*2^838607-1 is not prime. Res64: 69EABE17B4D8EA95 Time : 62042.0 sec. user=vaughan [2010-07-02 10:53:00] 413*2^838916-1 is not prime. Res64: 0084E6F1FB77D84B Time : 885.0 sec. user=vaughan [2010-07-02 10:56:39] 597*2^838576-1 is not prime. Res64: 222B8A399B678067 Time : 67024.0 sec. user=vaughan [2010-07-02 10:57:10] 447*2^838770-1 is not prime. Res64: E5AEE5CB6B20B641 Time : 32394.0 sec. user=vaughan [2010-07-02 10:58:07] 567*2^838908-1 is not prime. Res64: 53A24CE8C172FF5E Time : 2839.0 sec. user=vaughan [2010-07-02 10:58:15] 495*2^838760-1 is not prime. Res64: A5D0E92E146479B8 Time : 34248.0 sec. user=vaughan [2010-07-02 10:59:09] 521*2^838770-1 is not prime. Res64: 12BFDA187C7C3298 Time : 32491.0 sec. user=vaughan [2010-07-02 10:59:31] 519*2^838652-1 is not prime. Res64: 1C8A6775C531AFD6 Time : 53968.0 sec. user=vaughan [2010-07-02 11:01:27] 563*2^838704-1 is not prime. Res64: 3B1AD60A8E761BB6 Time : 45018.0 sec. user=Flatlander [2010-07-02 11:02:09] 587*2^838900-1 is not prime. Res64: 542EF03FDCA5325F Time : 4470.0 sec. user=Flatlander [2010-07-02 11:02:10] 455*2^838902-1 is not prime. Res64: 459305E8C2FAD516 Time : 4469.0 sec. user=Flatlander [2010-07-02 11:02:11] 495*2^838902-1 is not prime. Res64: 44BD809310A06EC5 Time : 4468.0 sec. user=Flatlander [2010-07-02 11:02:11] 503*2^838902-1 is not prime. Res64: CD03801FAD06E53F Time : 4467.0 sec. user=Flatlander [2010-07-02 11:02:12] 507*2^838902-1 is not prime. Res64: 60A43770CB18C3E4 Time : 4466.0 sec. user=vaughan [2010-07-02 11:03:12] 565*2^838719-1 is not prime. Res64: B6D5ABA589AD1129 Time : 42640.0 sec. user=vaughan [2010-07-02 11:06:03] 527*2^838762-1 is not prime. Res64: 26EE37DB7B480A7F Time : 34253.0 sec. user=vaughan [2010-07-02 11:06:54] 483*2^838914-1 is not prime. Res64: EC6146C65E677D0F Time : 1856.0 sec. user=vaughan [2010-07-02 11:07:47] 549*2^838919-1 is not prime. Res64: D4F64FE2FAF6558A Time : 887.0 sec. user=vaughan [2010-07-02 11:08:01] 595*2^838915-1 is not prime. Res64: 35E6C2391B266B3B Time : 1851.0 sec. user=vaughan [2010-07-02 11:09:00] 589*2^838909-1 is not prime. Res64: 4479676726F46E4B Time : 2898.0 sec. user=vaughan [2010-07-02 11:11:09] 503*2^838916-1 is not prime. Res64: FAEC5ED5EA82ABF6 Time : 1816.0 sec. user=vaughan [2010-07-02 11:11:37] 455*2^838790-1 is not prime. Res64: C53068B9CAF34FEF Time : 29417.0 sec. user=vaughan [2010-07-02 11:12:38] 407*2^838646-1 is not prime. Res64: BA31509686B2A3A5 Time : 55799.0 sec. user=vaughan [2010-07-02 11:13:28] 575*2^838774-1 is not prime. Res64: 7B7B87325AF971B3 Time : 32393.0 sec. user=vaughan [2010-07-02 11:15:30] 409*2^838775-1 is not prime. Res64: 5D771E9CA8045BD4 Time : 32490.0 sec. user=vaughan [2010-07-02 11:15:33] 447*2^838766-1 is not prime. Res64: CC5D3ED66BB838F9 Time : 34252.0 sec. user=vaughan [2010-07-02 11:19:59] 589*2^838619-1 is not prime. Res64: 68112ED4F3848140 Time : 62134.0 sec. user=vaughan [2010-07-02 11:20:19] 585*2^838790-1 is not prime. Res64: 8B72D359BB1B998E Time : 29684.0 sec. user=vaughan [2010-07-02 11:20:56] 469*2^838915-1 is not prime. Res64: A467FD064B5A033E Time : 2655.0 sec. user=vaughan [2010-07-02 11:21:06] 405*2^838913-1 is not prime. Res64: 54AC91F72B01CDF2 Time : 3254.0 sec. user=vaughan [2010-07-02 11:23:22] 563*2^838768-1 is not prime. Res64: 83FB1ED06C68E31F Time : 34255.0 sec. user=vaughan [2010-07-02 11:28:29] 435*2^838717-1 is not prime. Res64: 10BEE5B53059F59C Time : 44599.0 sec. user=vaughan [2010-07-02 11:29:42] 531*2^838779-1 is not prime. Res64: 6A5B618BD2565743 Time : 32378.0 sec. user=vaughan [2010-07-02 11:31:06] 405*2^838920-1 is not prime. Res64: 93B288742E8F1DDB Time : 1979.0 sec. user=vaughan [2010-07-02 11:31:50] 449*2^838780-1 is not prime. Res64: 561FD68BCF686033 Time : 32470.0 sec. user=vaughan [2010-07-02 11:32:17] 505*2^838727-1 is not prime. Res64: 23AD5677AA16F47D Time : 42760.0 sec. user=vaughan [2010-07-02 11:32:47] 565*2^838777-1 is not prime. Res64: BAFB7C9DD0EF3433 Time : 32882.0 sec. user=vaughan [2010-07-02 11:32:50] 563*2^838772-1 is not prime. Res64: 40BF03A945B39088 Time : 34253.0 sec. user=vaughan [2010-07-02 11:33:28] 587*2^838660-1 is not prime. Res64: 2F8DA2B42CB6187C Time : 54198.0 sec. user=vaughan [2010-07-02 11:36:02] 525*2^838590-1 is not prime. Res64: 3C52C2C0AFEF4EDA Time : 67570.0 sec. user=Flatlander [2010-07-02 11:36:19] 407*2^838910-1 is not prime. Res64: BE7936BCD5FFC9CA Time : 4492.0 sec. user=Flatlander [2010-07-02 11:36:20] 447*2^838910-1 is not prime. Res64: 81EAE8713BBEEBCA Time : 4492.0 sec. user=Flatlander [2010-07-02 11:36:20] 483*2^838910-1 is not prime. Res64: 8893BF0358E00942 Time : 4492.0 sec. user=Flatlander [2010-07-02 11:36:21] 495*2^838910-1 is not prime. Res64: 56E4F6ACBBACA091 Time : 4492.0 sec. user=Flatlander [2010-07-02 11:36:21] 525*2^838910-1 is not prime. Res64: BC093CCF13E1D2CB Time : 4492.0 sec. user=vaughan [2010-07-02 11:36:56] 589*2^838777-1 is not prime. Res64: 5E034EF3CE433ACD Time : 33095.0 sec. user=vaughan [2010-07-02 11:37:06] 539*2^838924-1 is not prime. Res64: 851F3FCC154C2CC0 Time : 1813.0 sec. user=vaughan [2010-07-02 11:39:04] 475*2^838925-1 is not prime. Res64: 7AB8A77BBD53CB51 Time : 1863.0 sec. user=vaughan [2010-07-02 11:40:34] 519*2^838925-1 is not prime. Res64: D4684B8D86F0589F Time : 1765.0 sec. user=vaughan [2010-07-02 11:40:42] 545*2^838774-1 is not prime. Res64: C8D907088E363CD5 Time : 34259.0 sec. user=vaughan [2010-07-02 11:42:14] 525*2^838666-1 is not prime. Res64: B790E4045EBFFAD1 Time : 53835.0 sec. user=vaughan [2010-07-02 11:43:07] 405*2^838918-1 is not prime. Res64: 5F70779B28018220 Time : 3546.0 sec. user=vaughan [2010-07-02 11:45:44] 573*2^838792-1 is not prime. Res64: 887AB803EB00412C Time : 30432.0 sec. user=vaughan [2010-07-02 11:45:56] 585*2^838785-1 is not prime. Res64: BBC3E723381B8A92 Time : 32367.0 sec. user=vaughan [2010-07-02 11:48:09] 447*2^838786-1 is not prime. Res64: A1B9C3FCCF80EE78 Time : 32462.0 sec. user=vaughan [2010-07-02 11:50:06] 593*2^838776-1 is not prime. Res64: E7CE901B9B7BD7EB Time : 34241.0 sec. user=vaughan [2010-07-02 11:54:12] 589*2^838795-1 is not prime. Res64: 5BDE17C4797BB46B Time : 30682.0 sec. user=vaughan [2010-07-02 11:55:20] 501*2^838727-1 is not prime. Res64: 26F244DD820ECB51 Time : 44205.0 sec. user=vaughan [2010-07-02 11:55:25] 453*2^838631-1 is not prime. Res64: 984239DA5251B38D Time : 62585.0 sec. user=vaughan [2010-07-02 11:56:57] 469*2^838671-1 is not prime. Res64: FE40ECE3A74C556F Time : 53720.0 sec. user=vaughan [2010-07-02 11:58:03] 415*2^838779-1 is not prime. Res64: CE97F22F4D46B991 Time : 34253.0 sec. user=vaughan [2010-07-02 12:01:39] 541*2^838735-1 is not prime. Res64: 9F5303A54D85C2B1 Time : 42608.0 sec. user=vaughan [2010-07-02 12:02:11] 501*2^838790-1 is not prime. Res64: D296F325758095C2 Time : 32357.0 sec. user=vaughan [2010-07-02 12:04:08] 481*2^838925-1 is not prime. Res64: AFFF570FBB3D5D85 Time : 3307.0 sec. user=vaughan [2010-07-02 12:04:20] 537*2^838933-1 is not prime. Res64: 897251CD8C25840E Time : 1426.0 sec. user=vaughan [2010-07-02 12:04:28] 575*2^838790-1 is not prime. Res64: AFFAC016244E3BE8 Time : 32455.0 sec. user=vaughan [2010-07-02 12:07:23] 501*2^838782-1 is not prime. Res64: 98027EA41B3C19A8 Time : 34223.0 sec. user=vaughan [2010-07-02 12:10:49] 441*2^838925-1 is not prime. Res64: E8E0C35E9DD4AB5C Time : 3782.0 sec. user=vaughan [2010-07-02 12:12:57] 439*2^838929-1 is not prime. Res64: FD40C824BB6D7401 Time : 3111.0 sec. user=vaughan [2010-07-02 12:15:26] 573*2^838784-1 is not prime. Res64: 81B4D49AA4B51CA1 Time : 34255.0 sec. user=Flatlander [2010-07-02 12:16:40] 507*2^838922-1 is not prime. Res64: 2FF2895EABA64956 Time : 4466.0 sec. user=Flatlander [2010-07-02 12:16:41] 561*2^838922-1 is not prime. Res64: 523FA92DE324513E Time : 4466.0 sec. user=Flatlander [2010-07-02 12:16:42] 429*2^838924-1 is not prime. Res64: 5BDC797B3226DCB2 Time : 4465.0 sec. user=Flatlander [2010-07-02 12:16:43] 435*2^838924-1 is not prime. Res64: 9A2FB286601A46D5 Time : 4464.0 sec. user=vaughan [2010-07-02 12:16:43] 593*2^838934-1 is not prime. Res64: 867E4F967BD68D8F Time : 2015.0 sec. user=Flatlander [2010-07-02 12:16:44] 437*2^838924-1 is not prime. Res64: 7369CF3FD1398D55 Time : 4464.0 sec. user=vaughan [2010-07-02 12:18:36] 431*2^838682-1 is not prime. Res64: C0E1B99745E0641D Time : 53416.0 sec. user=vaughan [2010-07-02 12:18:38] 477*2^838793-1 is not prime. Res64: E55D197053E6B31E Time : 32364.0 sec. user=vaughan [2010-07-02 12:20:22] 525*2^838604-1 is not prime. Res64: 0771C7CBDFF3A69D Time : 67970.0 sec. user=vaughan [2010-07-02 12:20:24] 481*2^838799-1 is not prime. Res64: 0AEBC60ED454FC0A Time : 31483.0 sec. user=vaughan [2010-07-02 12:21:00] 507*2^838793-1 is not prime. Res64: 855B8FE4C9BB3887 Time : 32467.0 sec. user=vaughan [2010-07-02 12:22:31] 411*2^838734-1 is not prime. Res64: CFED6ADF4ADFD8CC Time : 44387.0 sec. user=vaughan [2010-07-02 12:23:41] 563*2^838938-1 is not prime. Res64: 9D7DF3B12EBFCC13 Time : 772.0 sec. user=vaughan [2010-07-02 12:25:02] 545*2^838788-1 is not prime. Res64: BB2CC6127B6B5ED6 Time : 34225.0 sec. user=vaughan [2010-07-02 12:27:52] 489*2^838639-1 is not prime. Res64: B13D5BC2318A9DDB Time : 62065.0 sec. user=vaughan [2010-07-02 12:29:00] 411*2^838801-1 is not prime. Res64: CE9A2445512FEB2A Time : 31738.0 sec. user=vaughan [2010-07-02 12:29:37] 459*2^838683-1 is not prime. Res64: AAF16B2B31BDC529 Time : 53740.0 sec. user=vaughan [2010-07-02 12:31:17] 473*2^838746-1 is not prime. Res64: F2D42B4834ADF334 Time : 42395.0 sec. user=vaughan [2010-07-02 12:33:00] 483*2^838790-1 is not prime. Res64: FA06ABB2DFE29F14 Time : 34267.0 sec. user=vaughan [2010-07-02 12:34:15] 529*2^838937-1 is not prime. Res64: C2407C15BA23E990 Time : 1806.0 sec. user=vaughan [2010-07-02 12:34:33] 473*2^838938-1 is not prime. Res64: 83DE25C520A792D0 Time : 1813.0 sec. user=vaughan [2010-07-02 12:35:07] 465*2^838799-1 is not prime. Res64: 976E65562672D816 Time : 32372.0 sec. user=vaughan [2010-07-02 12:36:47] 497*2^838944-1 is not prime. Res64: C83B1E7679AB9CFE Time : 787.0 sec. user=vaughan [2010-07-02 12:37:27] 595*2^838799-1 is not prime. Res64: 126B8096FAB1DBBB Time : 32470.0 sec. user=vaughan [2010-07-02 12:37:27] 525*2^838782-1 is not prime. Res64: 719687E54FA8ED9F Time : 35687.0 sec. user=vaughan [2010-07-02 12:39:58] 453*2^838783-1 is not prime. Res64: 4AF42ED6CAF76755 Time : 35805.0 sec. user=vaughan [2010-07-02 12:42:34] 419*2^838792-1 is not prime. Res64: 0279E5446804BD3F Time : 34229.0 sec. user=vaughan [2010-07-02 12:43:13] 507*2^838928-1 is not prime. Res64: A1C2CD5FC30AAE39 Time : 4937.0 sec. user=vaughan [2010-07-02 12:43:51] 553*2^838939-1 is not prime. Res64: B666ACEDC656B2BF Time : 1853.0 sec. user=vaughan [2010-07-02 12:49:50] 483*2^838946-1 is not prime. Res64: 86E12D831D00A963 Time : 784.0 sec. user=vaughan [2010-07-02 12:50:23] 465*2^838793-1 is not prime. Res64: CCA6447F956579A4 Time : 34272.0 sec. user=vaughan [2010-07-02 12:50:24] 519*2^838691-1 is not prime. Res64: 6E5FAB487FD2B7E2 Time : 53720.0 sec. user=Flatlander [2010-07-02 12:51:07] 463*2^838931-1 is not prime. Res64: 77054C6B2BF281D1 Time : 4485.0 sec. user=Flatlander [2010-07-02 12:51:07] 595*2^838931-1 is not prime. Res64: 32BEBBB5D900D3A5 Time : 4484.0 sec. user=Flatlander [2010-07-02 12:51:08] 425*2^838932-1 is not prime. Res64: FF3DE128DBCD44C3 Time : 4483.0 sec. user=Flatlander [2010-07-02 12:51:08] 447*2^838932-1 is not prime. Res64: 6E602618A7538E8A Time : 4482.0 sec. user=Flatlander [2010-07-02 12:51:09] 579*2^838932-1 is not prime. Res64: 7BCC0A56DC63C8E8 Time : 4482.0 sec. user=vaughan [2010-07-02 12:51:22] 437*2^838940-1 is not prime. Res64: 4F0598A3EFD6CC63 Time : 2079.0 sec. user=vaughan [2010-07-02 12:51:31] 567*2^838804-1 is not prime. Res64: 7A50C1BE44A7BE07 Time : 32376.0 sec. user=vaughan [2010-07-02 12:52:11] 559*2^838929-1 is not prime. Res64: 3FC9FA58E3C0EAB1 Time : 4866.0 sec. user=vaughan [2010-07-02 12:53:10] 567*2^838618-1 is not prime. Res64: 17A217743A9BA55F Time : 67733.0 sec. user=vaughan [2010-07-02 12:53:49] 481*2^838805-1 is not prime. Res64: 1A5A3A8CD03B8CBE Time : 32472.0 sec. user=vaughan [2010-07-02 12:54:00] 525*2^838805-1 is not prime. Res64: A8BA634ECD0A0FCF Time : 32467.0 sec. user=vaughan [2010-07-02 12:54:18] 463*2^838739-1 is not prime. Res64: 3E6826654587CB61 Time : 44956.0 sec. user=vaughan [2010-07-02 12:56:02] 451*2^838933-1 is not prime. Res64: 3C4DAE7C2984337D Time : 4737.0 sec. user=vaughan [2010-07-02 12:59:01] 415*2^838759-1 is not prime. Res64: 7B650C7D5D968644 Time : 41892.0 sec. user=vaughan [2010-07-02 12:59:51] 545*2^838798-1 is not prime. Res64: 4F8B67171461D5CB Time : 34232.0 sec. user=vaughan [2010-07-02 13:01:08] 463*2^838651-1 is not prime. Res64: C94D54A31AFDDB60 Time : 61737.0 sec. user=vaughan [2010-07-02 13:02:14] 421*2^838807-1 is not prime. Res64: 003F7BA4B7F2AA83 Time : 32698.0 sec. user=vaughan [2010-07-02 13:02:35] 411*2^838949-1 is not prime. Res64: 890445A5E3349330 Time : 765.0 sec. user=vaughan [2010-07-02 13:04:15] 499*2^838945-1 is not prime. Res64: AA5439367BFFA805 Time : 1800.0 sec. user=vaughan [2010-07-02 13:05:22] 517*2^838933-1 is not prime. Res64: C3682AFAE9E62200 Time : 5179.0 sec. user=vaughan [2010-07-02 13:07:42] 525*2^838800-1 is not prime. Res64: 0D15983F08A09E4E Time : 34272.0 sec. user=vaughan [2010-07-02 13:07:46] 495*2^838810-1 is not prime. Res64: 8A6E30D325DCBB1E Time : 32374.0 sec. user=vaughan [2010-07-02 13:09:56] 407*2^838946-1 is not prime. Res64: A45BBA3EE92ECBF2 Time : 2123.0 sec. user=vaughan [2010-07-02 13:10:09] 513*2^838810-1 is not prime. Res64: 93F8C07EAE67C0B6 Time : 32471.0 sec. user=vaughan [2010-07-02 13:15:28] 533*2^838954-1 is not prime. Res64: A0BCF71C56335C56 Time : 774.0 sec. user=vaughan [2010-07-02 13:15:58] 429*2^838948-1 is not prime. Res64: 7CF88C52447FF2F4 Time : 1966.0 sec. user=vaughan [2010-07-02 13:17:09] 561*2^838802-1 is not prime. Res64: 6BAE35115F911273 Time : 34231.0 sec. user=vaughan [2010-07-02 13:18:48] 577*2^838701-1 is not prime. Res64: B234468A03E9283D Time : 53919.0 sec. user=vaughan [2010-07-02 13:21:50] 525*2^838951-1 is not prime. Res64: B2A665A13B36F8D3 Time : 1828.0 sec. user=vaughan [2010-07-02 13:22:22] 565*2^838691-1 is not prime. Res64: 916C81F1DAD6A09E Time : 55558.0 sec. user=vaughan [2010-07-02 13:23:10] 453*2^838948-1 is not prime. Res64: AF8D25A59C190948 Time : 2358.0 sec. user=vaughan [2010-07-02 13:24:01] 511*2^838815-1 is not prime. Res64: 0A1C64D6C4ABE49F Time : 32370.0 sec. user=vaughan [2010-07-02 13:25:02] 453*2^838806-1 is not prime. Res64: 458CD20F0AE6526A Time : 34275.0 sec. user=vaughan [2010-07-02 13:25:19] 507*2^838953-1 is not prime. Res64: BD9FD1875725B992 Time : 1988.0 sec. user=vaughan [2010-07-02 13:26:25] 525*2^838810-1 is not prime. Res64: B52A6762576DE695 Time : 33376.0 sec. user=vaughan [2010-07-02 13:26:28] 523*2^838815-1 is not prime. Res64: E0E60F3726A855AA Time : 32469.0 sec. user=vaughan [2010-07-02 13:27:45] 447*2^838769-1 is not prime. Res64: 2E1680307469674F Time : 41645.0 sec. user=vaughan [2010-07-02 13:28:16] 427*2^838957-1 is not prime. Res64: 69864006CDF290BC Time : 768.0 sec. user=vaughan [2010-07-02 13:31:44] 427*2^838609-1 is not prime. Res64: 0568B6AF4772E3B8 Time : 68004.0 sec. user=Flatlander [2010-07-02 13:33:47] 479*2^838940-1 is not prime. Res64: ED6B973219DF26AF Time : 4622.0 sec. user=Flatlander [2010-07-02 13:33:47] 495*2^838940-1 is not prime. Res64: FD1ED78C0853F941 Time : 4620.0 sec. user=Flatlander [2010-07-02 13:33:48] 519*2^838940-1 is not prime. Res64: 6126289977BF2BE9 Time : 4620.0 sec. user=Flatlander [2010-07-02 13:33:49] 487*2^838941-1 is not prime. Res64: F7E5D4BB2E3D7036 Time : 4619.0 sec. user=Flatlander [2010-07-02 13:33:49] 499*2^838941-1 is not prime. Res64: 2380DBAC7AD2130F Time : 4617.0 sec. user=vaughan [2010-07-02 13:34:24] 511*2^838809-1 is not prime. Res64: 4712A91FFAB06382 Time : 34232.0 sec. user=vaughan [2010-07-02 13:34:33] 455*2^838812-1 is not prime. Res64: 312FBF4F3D59B3E2 Time : 33603.0 sec. user=vaughan [2010-07-02 13:34:51] 507*2^838789-1 is not prime. Res64: A0F9E141D4B1EEF0 Time : 38053.0 sec. user=vaughan [2010-07-02 13:37:04] 589*2^838789-1 is not prime. Res64: 408ED107B12160AB Time : 38159.0 sec. user=vaughan [2010-07-02 13:37:23] 453*2^838660-1 is not prime. Res64: B0163E05DB9F00EA Time : 61729.0 sec. user=vaughan [2010-07-02 13:39:04] 593*2^838954-1 is not prime. Res64: EC3437ABA5DF7EEA Time : 2088.0 sec. user=vaughan [2010-07-02 13:39:14] 435*2^838954-1 is not prime. Res64: 80A8C4E4DD5CA03A Time : 2592.0 sec. user=vaughan [2010-07-02 13:40:15] 503*2^838820-1 is not prime. Res64: F7D96F0EF2180921 Time : 32366.0 sec. user=vaughan [2010-07-02 13:40:18] 417*2^838749-1 is not prime. Res64: 5E6C58CDF5EB5771 Time : 46246.0 sec. user=vaughan [2010-07-02 13:41:06] 447*2^838961-1 is not prime. Res64: FBF0A0AB3BA086D6 Time : 770.0 sec. user=vaughan [2010-07-02 13:41:37] 585*2^838955-1 is not prime. Res64: 56F09942A3E006EA Time : 2176.0 sec. user=vaughan [2010-07-02 13:42:21] 531*2^838810-1 is not prime. Res64: 792F98CB6A83CAEB Time : 34277.0 sec. user=vaughan [2010-07-02 13:42:45] 557*2^838820-1 is not prime. Res64: 706CB6ED433D4AEC Time : 32466.0 sec. user=vaughan [2010-07-02 13:48:51] 423*2^838958-1 is not prime. Res64: 40AAE522A71A906E Time : 1541.0 sec. user=vaughan [2010-07-02 13:49:35] 577*2^838713-1 is not prime. Res64: 26CEA860AD04EF02 Time : 53519.0 sec. user=vaughan [2010-07-02 13:49:53] 431*2^838778-1 is not prime. Res64: 2AEB11BB4F1150D4 Time : 41002.0 sec. user=vaughan [2010-07-02 13:51:39] 549*2^838813-1 is not prime. Res64: F50C11A20EFE6060 Time : 34230.0 sec. user=vaughan [2010-07-02 13:53:52] 451*2^838965-1 is not prime. Res64: EC775DE47EA17CAE Time : 767.0 sec. user=vaughan [2010-07-02 13:56:30] 551*2^838822-1 is not prime. Res64: DD71B7ACAD834244 Time : 32364.0 sec. user=vaughan [2010-07-02 13:58:57] 583*2^838815-1 is not prime. Res64: E006827C97B5F826 Time : 34296.0 sec. user=vaughan [2010-07-02 13:59:04] 435*2^838823-1 is not prime. Res64: 76321907427A0163 Time : 32466.0 sec. user=vaughan [2010-07-02 13:59:40] 595*2^838815-1 is not prime. Res64: 93C7F133AEDE2CEB Time : 34280.0 sec. user=vaughan [2010-07-02 14:01:13] 585*2^838956-1 is not prime. Res64: 0EBD565AAA57413B Time : 3077.0 sec. user=vaughan [2010-07-02 14:04:54] 537*2^838701-1 is not prime. Res64: 21BA143D190F2832 Time : 56740.0 sec. user=vaughan [2010-07-02 14:07:38] 597*2^838816-1 is not prime. Res64: 64CB3FF6ED96CFB5 Time : 34554.0 sec. user=Flatlander [2010-07-02 14:08:43] 571*2^838949-1 is not prime. Res64: 3A42499B8E1821C2 Time : 4653.0 sec. user=Flatlander [2010-07-02 14:08:44] 441*2^838951-1 is not prime. Res64: 8DD964AA50270AA6 Time : 4653.0 sec. user=Flatlander [2010-07-02 14:08:45] 451*2^838951-1 is not prime. Res64: D6589C1E9CA48674 Time : 4653.0 sec. user=Flatlander [2010-07-02 14:08:45] 493*2^838951-1 is not prime. Res64: DD89F83C742E050A Time : 4652.0 sec. user=Flatlander [2010-07-02 14:08:46] 511*2^838951-1 is not prime. Res64: 6D021710110F3CF5 Time : 4652.0 sec. user=vaughan [2010-07-02 14:08:57] 589*2^838819-1 is not prime. Res64: 57552BD745249E57 Time : 34235.0 sec. user=vaughan [2010-07-02 14:10:52] 413*2^838678-1 is not prime. Res64: BEA3E992DE503D6A Time : 61229.0 sec. user=vaughan [2010-07-02 14:11:43] 503*2^838724-1 is not prime. Res64: 7B63BEFF6A1C6F4B Time : 53177.0 sec. user=vaughan [2010-07-02 14:12:03] 517*2^838957-1 is not prime. Res64: 4A6624E0D0C467D0 Time : 3365.0 sec. user=vaughan [2010-07-02 14:12:45] 529*2^838827-1 is not prime. Res64: DD3550EC44A9521A Time : 32359.0 sec. user=vaughan [2010-07-02 14:12:48] 567*2^838957-1 is not prime. Res64: 74B1459BD84AAFB8 Time : 3057.0 sec. user=vaughan [2010-07-02 14:13:05] 415*2^838789-1 is not prime. Res64: 1FFD98A244D5E027 Time : 40386.0 sec. user=vaughan [2010-07-02 14:14:36] 533*2^838964-1 is not prime. Res64: A0D169516A46B8FB Time : 2123.0 sec. user=vaughan [2010-07-02 14:15:24] 453*2^838828-1 is not prime. Res64: 74E8E81B3CF31938 Time : 32467.0 sec. user=vaughan [2010-07-02 14:16:42] 597*2^838756-1 is not prime. Res64: AFB525FE38E4B666 Time : 47009.0 sec. user=vaughan [2010-07-02 14:16:59] 465*2^838821-1 is not prime. Res64: 1E9F4F49511C2A7F Time : 34282.0 sec. user=vaughan [2010-07-02 14:17:20] 481*2^838965-1 is not prime. Res64: 46CBA83EEA5E5D60 Time : 2143.0 sec. user=vaughan [2010-07-02 14:21:22] 441*2^838959-1 is not prime. Res64: C669462489447796 Time : 3363.0 sec. user=vaughan [2010-07-02 14:24:11] 511*2^838963-1 is not prime. Res64: 56F6EC166D2E1CA0 Time : 2707.0 sec. user=vaughan [2010-07-02 14:26:13] 453*2^838822-1 is not prime. Res64: 62571A8A4A703367 Time : 34235.0 sec. user=vaughan [2010-07-02 14:27:16] 549*2^838792-1 is not prime. Res64: 555B92778DDE8922 Time : 40129.0 sec. user=vaughan [2010-07-02 14:27:29] 425*2^838712-1 is not prime. Res64: D87F39D562416D43 Time : 56358.0 sec. user=vaughan [2010-07-02 14:29:01] 483*2^838830-1 is not prime. Res64: 5D0F788CD753D50B Time : 32357.0 sec. user=vaughan [2010-07-02 14:30:18] 441*2^838793-1 is not prime. Res64: 9918B41BB97AB06E Time : 40279.0 sec. user=vaughan [2010-07-02 14:31:42] 405*2^838831-1 is not prime. Res64: 683F7AABD91EAE72 Time : 32464.0 sec. user=vaughan [2010-07-02 14:31:55] 441*2^838967-1 is not prime. Res64: 5B7182DA3E1E1982 Time : 2583.0 sec. user=vaughan [2010-07-02 14:33:29] 447*2^838732-1 is not prime. Res64: 6D1873AA4CC4EDA0 Time : 52614.0 sec. user=vaughan [2010-07-02 14:33:32] 493*2^838639-1 is not prime. Res64: 9F57EB4D986D1254 Time : 69582.0 sec. user=vaughan [2010-07-02 14:34:20] 539*2^838824-1 is not prime. Res64: 6752935BC6E357AF Time : 34288.0 sec. user=vaughan [2010-07-02 14:35:42] 579*2^838820-1 is not prime. Res64: EE8CB5953595D02F Time : 35467.0 sec. user=vaughan [2010-07-02 14:40:45] 551*2^838798-1 is not prime. Res64: 7BE85EA7D7188156 Time : 40038.0 sec. user=vaughan [2010-07-02 14:42:55] 495*2^838973-1 is not prime. Res64: 7FC8E9ED93C3440C Time : 1807.0 sec. user=vaughan [2010-07-02 14:43:30] 513*2^838827-1 is not prime. Res64: 005049EA32799E58 Time : 34236.0 sec. user=vaughan [2010-07-02 14:44:31] 567*2^838972-1 is not prime. Res64: 5EC41B5EEC829D40 Time : 1948.0 sec. user=vaughan [2010-07-02 14:45:15] 517*2^838833-1 is not prime. Res64: 794FC3D33DFA2BC0 Time : 32351.0 sec. user=vaughan [2010-07-02 14:45:48] 577*2^838821-1 is not prime. Res64: 753416CF157C33E0 Time : 35809.0 sec. user=vaughan [2010-07-02 14:46:44] 571*2^838973-1 is not prime. Res64: 8DAD70D01F29F360 Time : 1928.0 sec. user=vaughan [2010-07-02 14:48:01] 549*2^838833-1 is not prime. Res64: 9F69EECC9172C95F Time : 32463.0 sec. user=vaughan [2010-07-02 14:49:18] 433*2^838975-1 is not prime. Res64: 350ECB8B8F868438 Time : 1918.0 sec. user=vaughan [2010-07-02 14:49:20] 421*2^838969-1 is not prime. Res64: 8CF0D9BBD3718ED5 Time : 2886.0 sec. user=vaughan [2010-07-02 14:51:39] 435*2^838829-1 is not prime. Res64: C230D4D38EF3EE76 Time : 34290.0 sec. user=vaughan [2010-07-02 14:52:18] 499*2^838687-1 is not prime. Res64: 2AFAA3575C51DEC5 Time : 61479.0 sec. user=Flatlander [2010-07-02 14:53:41] 547*2^838961-1 is not prime. Res64: 12F66998F53887B8 Time : 4791.0 sec. user=Flatlander [2010-07-02 14:53:42] 447*2^838962-1 is not prime. Res64: 5037A3FC5C92BF20 Time : 4790.0 sec. user=Flatlander [2010-07-02 14:53:42] 483*2^838962-1 is not prime. Res64: 8E22ACF8A4A2FC64 Time : 4789.0 sec. user=Flatlander [2010-07-02 14:53:42] 485*2^838962-1 is not prime. Res64: 19F349A76ABE1FFD Time : 4787.0 sec. user=Flatlander [2010-07-02 14:53:43] 513*2^838962-1 is not prime. Res64: 3BF1BF90E43AE100 Time : 4787.0 sec. user=vaughan [2010-07-02 14:54:39] 483*2^838726-1 is not prime. Res64: 454575FE04AD9D3F Time : 55296.0 sec. user=vaughan [2010-07-02 14:56:34] 447*2^838745-1 is not prime. Res64: A64BD087A9DA9EF2 Time : 51420.0 sec. user=vaughan [2010-07-02 14:56:52] 451*2^838975-1 is not prime. Res64: 0F4F1F5D25E04E60 Time : 2130.0 sec. user=vaughan [2010-07-02 14:58:50] 589*2^838967-1 is not prime. Res64: 01D04FC5EA0B87DE Time : 3898.0 sec. user=vaughan [2010-07-02 15:00:27] 461*2^838762-1 is not prime. Res64: F6E5BDD9ED008EA6 Time : 48319.0 sec. user=vaughan [2010-07-02 15:00:46] 567*2^838830-1 is not prime. Res64: 6A84F9315C8CDC5A Time : 34237.0 sec. user=vaughan [2010-07-02 15:01:31] 445*2^838841-1 is not prime. Res64: C9C1BDED133A6FF8 Time : 32349.0 sec. user=vaughan [2010-07-02 15:04:22] 477*2^838841-1 is not prime. Res64: 0612E3D47C3F47D6 Time : 32463.0 sec. user=vaughan [2010-07-02 15:06:17] 559*2^838809-1 is not prime. Res64: 91C03688EAE72EB7 Time : 39560.0 sec. user=vaughan [2010-07-02 15:08:57] 525*2^838831-1 is not prime. Res64: 69AEE6AC79C21A21 Time : 34292.0 sec. user=vaughan [2010-07-02 15:10:02] 459*2^838824-1 is not prime. Res64: F3C1D52112170D10 Time : 36493.0 sec. user=vaughan [2010-07-02 15:10:50] 475*2^838975-1 is not prime. Res64: B4949EB4DD942F36 Time : 2798.0 sec. user=vaughan [2010-07-02 15:11:39] 465*2^838984-1 is not prime. Res64: 2960A69EC9AC7D84 Time : 769.0 sec. user=vaughan [2010-07-02 15:15:39] 483*2^838976-1 is not prime. Res64: 61CAC733DE8E434B Time : 2624.0 sec. user=vaughan [2010-07-02 15:16:38] 485*2^838758-1 is not prime. Res64: 7AFD57C940741AA5 Time : 50173.0 sec. user=vaughan [2010-07-02 15:16:40] 507*2^838978-1 is not prime. Res64: 446304C1357476F4 Time : 2025.0 sec. user=vaughan [2010-07-02 15:17:23] 495*2^838733-1 is not prime. Res64: B16BB96FA5C2DF73 Time : 54974.0 sec. user=vaughan [2010-07-02 15:17:45] 495*2^838843-1 is not prime. Res64: 345715EE4599F36E Time : 32345.0 sec. user=vaughan [2010-07-02 15:17:57] 583*2^838647-1 is not prime. Res64: 09D0B4919E6FFC6A Time : 70136.0 sec. user=vaughan [2010-07-02 15:18:02] 521*2^838834-1 is not prime. Res64: 32F52D07C6044017 Time : 34237.0 sec. user=vaughan [2010-07-02 15:18:56] 525*2^838825-1 is not prime. Res64: 723012C465AD0632 Time : 36764.0 sec. user=vaughan [2010-07-02 15:20:06] 403*2^838979-1 is not prime. Res64: B6DB7C24BEED4723 Time : 2135.0 sec. user=vaughan [2010-07-02 15:20:39] 405*2^838845-1 is not prime. Res64: 693DFEFCC4D4F84C Time : 32461.0 sec. user=vaughan [2010-07-02 15:21:24] 447*2^838800-1 is not prime. Res64: 5B77049FFB3F5700 Time : 42302.0 sec. user=vaughan [2010-07-02 15:21:29] 557*2^838700-1 is not prime. Res64: F4151B05F00F5018 Time : 61518.0 sec. user=vaughan [2010-07-02 15:22:40] 423*2^838980-1 is not prime. Res64: E3A21A4FF1389C39 Time : 2156.0 sec. user=vaughan [2010-07-02 15:24:02] 597*2^838800-1 is not prime. Res64: E86676AF1CEEE0AC Time : 42427.0 sec. user=vaughan [2010-07-02 15:24:27] 431*2^838986-1 is not prime. Res64: 5BC7495D8617E834 Time : 768.0 sec. user=vaughan [2010-07-02 15:25:15] 569*2^838980-1 is not prime. Res64: C89C2D40F3925C44 Time : 2157.0 sec. user=Flatlander [2010-07-02 15:25:33] 581*2^838970-1 is not prime. Res64: 8F8BCB54100C62E6 Time : 4605.0 sec. user=Flatlander [2010-07-02 15:25:34] 593*2^838970-1 is not prime. Res64: A7599EB359D95D10 Time : 4605.0 sec. user=Flatlander [2010-07-02 15:25:35] 459*2^838971-1 is not prime. Res64: 19C4C26337F4519E Time : 4604.0 sec. user=Flatlander [2010-07-02 15:25:35] 571*2^838971-1 is not prime. Res64: 5A2E95C0B765DEF4 Time : 4603.0 sec. user=Flatlander [2010-07-02 15:25:36] 497*2^838972-1 is not prime. Res64: B505F081C1EEA4EC Time : 4602.0 sec. user=vaughan [2010-07-02 15:26:18] 453*2^838838-1 is not prime. Res64: D843DCAB2C5ABA5F Time : 34295.0 sec. user=vaughan [2010-07-02 15:26:25] 469*2^838981-1 is not prime. Res64: 2B88C9E7D78BEB66 Time : 2224.0 sec. user=vaughan [2010-07-02 15:29:13] 567*2^838769-1 is not prime. Res64: 76112EA262A76290 Time : 48720.0 sec. user=vaughan [2010-07-02 15:29:45] 565*2^838983-1 is not prime. Res64: 58851308B0C94129 Time : 1973.0 sec. user=vaughan [2010-07-02 15:34:02] 429*2^838849-1 is not prime. Res64: BAFDA386E9A56E71 Time : 32344.0 sec. user=vaughan [2010-07-02 15:35:20] 465*2^838820-1 is not prime. Res64: FD1AF280CC190843 Time : 39325.0 sec. user=vaughan [2010-07-02 15:35:21] 507*2^838841-1 is not prime. Res64: F196D46CBA25AB9D Time : 34240.0 sec. user=vaughan [2010-07-02 15:36:36] 435*2^838769-1 is not prime. Res64: 0C987ECB2F49B878 Time : 49440.0 sec. user=vaughan [2010-07-02 15:36:59] 483*2^838850-1 is not prime. Res64: 19FC5603546EA8F5 Time : 32461.0 sec. user=vaughan [2010-07-02 15:37:17] 525*2^838993-1 is not prime. Res64: 2E0EE3117F0CBE9C Time : 770.0 sec. user=vaughan [2010-07-02 15:39:59] 589*2^838739-1 is not prime. Res64: 941509F484EF809C Time : 54837.0 sec. user=vaughan [2010-07-02 15:43:39] 437*2^838842-1 is not prime. Res64: B97E0885870B69EE Time : 34299.0 sec. user=vaughan [2010-07-02 15:43:39] 563*2^838828-1 is not prime. Res64: 16353E9B32517BC7 Time : 37480.0 sec. user=vaughan [2010-07-02 15:46:42] 465*2^838987-1 is not prime. Res64: F6A0BDD51B12F293 Time : 1862.0 sec. user=vaughan [2010-07-02 15:49:44] 463*2^838999-1 is not prime. Res64: 0DF6A759DC11548B Time : 748.0 sec. user=vaughan [2010-07-02 15:50:05] 501*2^838713-1 is not prime. Res64: 307445837C4C4DC7 Time : 60836.0 sec. user=vaughan [2010-07-02 15:50:16] 561*2^838853-1 is not prime. Res64: CA968B11622F716D Time : 32327.0 sec. user=vaughan [2010-07-02 15:52:20] 441*2^838829-1 is not prime. Res64: 8D7C84B895164BB2 Time : 37734.0 sec. user=vaughan [2010-07-02 15:52:36] 577*2^838845-1 is not prime. Res64: F719B279AFF1C027 Time : 34239.0 sec. user=vaughan [2010-07-02 15:53:19] 577*2^838853-1 is not prime. Res64: 6702C65141F6410B Time : 32445.0 sec. user=vaughan [2010-07-02 15:54:36] 537*2^838985-1 is not prime. Res64: 76F4FD83620F68EA Time : 2625.0 sec. user=vaughan [2010-07-02 15:56:07] 439*2^838993-1 is not prime. Res64: 8C0DB67EE05DFF79 Time : 2007.0 sec. user=vaughan [2010-07-02 15:56:41] 405*2^838992-1 is not prime. Res64: DC95BC0A982B03F1 Time : 2195.0 sec. user=vaughan [2010-07-02 15:56:52] 417*2^838781-1 is not prime. Res64: EF30E1A2F0C3F22F Time : 48330.0 sec. user=vaughan [2010-07-02 15:57:09] 481*2^838995-1 is not prime. Res64: 3C4A73865D97BDA4 Time : 1843.0 sec. user=vaughan [2010-07-02 15:58:10] 459*2^838988-1 is not prime. Res64: AB33F66754283E1A Time : 2490.0 sec. user=vaughan [2010-07-02 15:58:28] 439*2^838657-1 is not prime. Res64: FA56305C1A65EA11 Time : 70731.0 sec. user=vaughan [2010-07-02 15:59:07] 547*2^838993-1 is not prime. Res64: 09847A923A8DC832 Time : 2033.0 sec. user=vaughan [2010-07-02 16:00:19] 471*2^838777-1 is not prime. Res64: CAFAC6FC22A6F77A Time : 49218.0 sec. user=vaughan [2010-07-02 16:01:03] 419*2^838848-1 is not prime. Res64: 357180DC2DFEE585 Time : 34305.0 sec. user=vaughan [2010-07-02 16:01:59] 417*2^839000-1 is not prime. Res64: 0758FE832004B81B Time : 736.0 sec. user=vaughan [2010-07-02 16:02:50] 441*2^838755-1 is not prime. Res64: BD25A82F0E5F9801 Time : 53646.0 sec. user=vaughan [2010-07-02 16:06:11] 453*2^838996-1 is not prime. Res64: 076346E9F7CA0646 Time : 2187.0 sec. user=vaughan [2010-07-02 16:06:31] 415*2^838861-1 is not prime. Res64: 661958CD31DA7DE0 Time : 32309.0 sec. user=vaughan [2010-07-02 16:08:34] 465*2^838827-1 is not prime. Res64: 83B98DCC2F0FDCBF Time : 39342.0 sec. user=vaughan [2010-07-02 16:09:38] 525*2^838861-1 is not prime. Res64: BA6DA715949903D1 Time : 32428.0 sec. user=vaughan [2010-07-02 16:09:52] 513*2^838851-1 is not prime. Res64: 12AF26D3E9916B49 Time : 34241.0 sec. user=Flatlander [2010-07-02 16:11:43] 565*2^838981-1 is not prime. Res64: 3E36D6EE759C494E Time : 4679.0 sec. user=Flatlander [2010-07-02 16:11:44] 501*2^838982-1 is not prime. Res64: D2EB386160A84614 Time : 4680.0 sec. user=Flatlander [2010-07-02 16:11:45] 439*2^838983-1 is not prime. Res64: ED0871107C6F017E Time : 4680.0 sec. user=Flatlander [2010-07-02 16:11:45] 451*2^838983-1 is not prime. Res64: F1B36636763F5A98 Time : 4679.0 sec. user=Flatlander [2010-07-02 16:11:46] 471*2^838983-1 is not prime. Res64: DDDA8CC87F6E9FBC Time : 4679.0 sec. user=vaughan [2010-07-02 16:14:16] 475*2^839003-1 is not prime. Res64: E46E503EFC633014 Time : 737.0 sec. user=vaughan [2010-07-02 16:17:05] 465*2^838831-1 is not prime. Res64: 515AD37646A8B06C Time : 38452.0 sec. user=vaughan [2010-07-02 16:17:11] 567*2^838790-1 is not prime. Res64: 75702F7F5F12D9AF Time : 47647.0 sec. user=vaughan [2010-07-02 16:18:04] 405*2^838731-1 is not prime. Res64: 2085CE825E22BFFC Time : 59029.0 sec. user=vaughan [2010-07-02 16:18:19] 497*2^838852-1 is not prime. Res64: FA4C63D8500E81A5 Time : 34306.0 sec. user=vaughan [2010-07-02 16:21:15] 585*2^839000-1 is not prime. Res64: DFFE3DFE6898388F Time : 1508.0 sec. user=vaughan [2010-07-02 16:21:46] 595*2^838999-1 is not prime. Res64: EE73726027013274 Time : 2103.0 sec. user=vaughan [2010-07-02 16:22:46] 407*2^838864-1 is not prime. Res64: F46CEE2CC9FC445D Time : 32293.0 sec. user=vaughan [2010-07-02 16:24:54] 557*2^839000-1 is not prime. Res64: 30B60403520E4347 Time : 1817.0 sec. user=vaughan [2010-07-02 16:25:46] 495*2^839002-1 is not prime. Res64: D6B246D40113D993 Time : 1599.0 sec. user=vaughan [2010-07-02 16:25:55] 591*2^838761-1 is not prime. Res64: AAC3D2AEFAB1C1CF Time : 53587.0 sec. user=vaughan [2010-07-02 16:25:58] 525*2^838864-1 is not prime. Res64: B4D9E51DEA71A263 Time : 32411.0 sec. user=vaughan [2010-07-02 16:26:02] 483*2^838832-1 is not prime. Res64: F35144764344CF24 Time : 38723.0 sec. user=vaughan [2010-07-02 16:26:15] 517*2^839001-1 is not prime. Res64: F00FA833745C3658 Time : 1745.0 sec. user=vaughan [2010-07-02 16:26:29] 573*2^839006-1 is not prime. Res64: 0188CE366B383060 Time : 733.0 sec. user=vaughan [2010-07-02 16:26:58] 527*2^838782-1 is not prime. Res64: 02C9FB144E3445BF Time : 49435.0 sec. user=vaughan [2010-07-02 16:27:10] 447*2^838856-1 is not prime. Res64: E365C8206B214C83 Time : 34252.0 sec. user=vaughan [2010-07-02 16:30:31] 587*2^839000-1 is not prime. Res64: 224D9F2EB60CE0EA Time : 2031.0 sec. user=vaughan [2010-07-02 16:33:11] 473*2^838806-1 is not prime. Res64: F77216194386B1FE Time : 45537.0 sec. user=vaughan [2010-07-02 16:35:33] 571*2^839001-1 is not prime. Res64: 5089AF74D13F8D10 Time : 2242.0 sec. user=vaughan [2010-07-02 16:35:38] 543*2^838859-1 is not prime. Res64: 5AE85A5A2208C4C2 Time : 34313.0 sec. user=vaughan [2010-07-02 16:37:03] 501*2^838806-1 is not prime. Res64: B4C1F47BD3419152 Time : 45735.0 sec. user=vaughan [2010-07-02 16:37:43] 471*2^838801-1 is not prime. Res64: 5E7D21E2869359DA Time : 46502.0 sec. user=vaughan [2010-07-02 16:38:19] 467*2^838832-1 is not prime. Res64: 9BC0480CA8810E81 Time : 39530.0 sec. user=vaughan [2010-07-02 16:39:06] 443*2^839010-1 is not prime. Res64: 4B5EB4BB1C9C079E Time : 758.0 sec. user=vaughan [2010-07-02 16:39:07] 579*2^838867-1 is not prime. Res64: 2557BEDB5AEAC6F5 Time : 32282.0 sec. user=vaughan [2010-07-02 16:40:03] 413*2^839004-1 is not prime. Res64: EEDB9C0193466C98 Time : 2033.0 sec. user=vaughan [2010-07-02 16:41:44] 455*2^838670-1 is not prime. Res64: 878198333048557A Time : 71294.0 sec. user=Flatlander [2010-07-02 16:41:58] 577*2^838993-1 is not prime. Res64: 1606133466A9F5DC Time : 4581.0 sec. user=Flatlander [2010-07-02 16:41:59] 411*2^838994-1 is not prime. Res64: FDCC11249674DF02 Time : 4581.0 sec. user=Flatlander [2010-07-02 16:42:00] 473*2^838994-1 is not prime. Res64: 63D6B767EB3149BB Time : 4581.0 sec. user=Flatlander [2010-07-02 16:42:01] 521*2^838994-1 is not prime. Res64: 0AA21D9B3E62EE79 Time : 4581.0 sec. user=Flatlander [2010-07-02 16:42:02] 525*2^838994-1 is not prime. Res64: F405DE292756609E Time : 4581.0 sec. user=vaughan [2010-07-02 16:42:28] 519*2^838868-1 is not prime. Res64: F17F6E4F35E0CEF1 Time : 32406.0 sec. user=vaughan [2010-07-02 16:44:23] 551*2^838862-1 is not prime. Res64: 0E20B64480A3C01E Time : 34257.0 sec. user=vaughan [2010-07-02 16:45:32] 489*2^838745-1 is not prime. Res64: 02C4BD12253965A7 Time : 57876.0 sec. user=vaughan [2010-07-02 16:49:35] 455*2^838774-1 is not prime. Res64: 960A6BBD87303FE8 Time : 52868.0 sec. user=vaughan [2010-07-02 16:50:48] 467*2^839008-1 is not prime. Res64: F2CD5C4A172774CF Time : 1773.0 sec. user=vaughan [2010-07-02 16:50:49] 433*2^838835-1 is not prime. Res64: 21C35C5097195443 Time : 39439.0 sec. user=vaughan [2010-07-02 16:52:00] 417*2^839013-1 is not prime. Res64: C2BFB15399983D9C Time : 775.0 sec. user=vaughan [2010-07-02 16:52:52] 553*2^838863-1 is not prime. Res64: EF6780B4B892F518 Time : 34314.0 sec. user=vaughan [2010-07-02 16:55:21] 459*2^838791-1 is not prime. Res64: A0917D294CDE727C Time : 49771.0 sec. user=vaughan [2010-07-02 16:55:22] 567*2^839008-1 is not prime. Res64: B447178A4A187E29 Time : 1827.0 sec. user=vaughan [2010-07-02 16:55:35] 511*2^838873-1 is not prime. Res64: 9A7D146F1772E480 Time : 32275.0 sec. user=vaughan [2010-07-02 16:57:39] 411*2^839009-1 is not prime. Res64: A3E492AFD26C8CC9 Time : 1914.0 sec. user=vaughan [2010-07-02 16:58:00] 547*2^838813-1 is not prime. Res64: 7CB5634A9D0A676B Time : 45439.0 sec. user=vaughan [2010-07-02 16:59:00] 411*2^838874-1 is not prime. Res64: 048939A20D3E8F49 Time : 32401.0 sec. user=vaughan [2010-07-02 16:59:31] 555*2^838839-1 is not prime. Res64: 876F1203543B01A6 Time : 39692.0 sec. user=vaughan [2010-07-02 17:01:34] 591*2^838865-1 is not prime. Res64: C61681A2C52B0A57 Time : 34261.0 sec. user=vaughan [2010-07-02 17:04:37] 429*2^839017-1 is not prime. Res64: 34843D79A236AEA6 Time : 758.0 sec. user=vaughan [2010-07-02 17:08:14] 511*2^839011-1 is not prime. Res64: D95154628EACBCFF Time : 1961.0 sec. user=vaughan [2010-07-02 17:10:06] 433*2^838867-1 is not prime. Res64: F157AB8BBF2D1492 Time : 34316.0 sec. user=vaughan [2010-07-02 17:12:01] 483*2^838878-1 is not prime. Res64: 521433B666E273AB Time : 32276.0 sec. user=vaughan [2010-07-02 17:12:25] 525*2^838841-1 is not prime. Res64: 855E47681035ADC5 Time : 40001.0 sec. user=vaughan [2010-07-02 17:12:39] 511*2^839017-1 is not prime. Res64: FFEDD51CFE4C9031 Time : 1037.0 sec. user=vaughan [2010-07-02 17:12:46] 571*2^838781-1 is not prime. Res64: 7CCA9D62F8058087 Time : 52731.0 sec. user=vaughan [2010-07-02 17:13:49] 585*2^839010-1 is not prime. Res64: 6807A3CBD630E4AE Time : 2598.0 sec. user=vaughan [2010-07-02 17:13:56] 407*2^838760-1 is not prime. Res64: 24CCED8A1C7A0A95 Time : 56976.0 sec. user=vaughan [2010-07-02 17:14:21] 513*2^839008-1 is not prime. Res64: 100668CDA4AE010B Time : 3154.0 sec. user=vaughan [2010-07-02 17:15:31] 485*2^838878-1 is not prime. Res64: F17B44BF529AE6E7 Time : 32401.0 sec. user=vaughan [2010-07-02 17:16:50] 565*2^839019-1 is not prime. Res64: 32682223F2688834 Time : 734.0 sec. user=vaughan [2010-07-02 17:18:12] 489*2^838823-1 is not prime. Res64: B9CCD208DEBDFED6 Time : 44273.0 sec. user=vaughan [2010-07-02 17:18:47] 493*2^838871-1 is not prime. Res64: 9F176F8274D745E2 Time : 34266.0 sec. user=vaughan [2010-07-02 17:19:34] 595*2^839009-1 is not prime. Res64: 8306BDE9C78810AE Time : 3198.0 sec. user=vaughan [2010-07-02 17:23:30] 487*2^839013-1 is not prime. Res64: BF01C4E9DC4E73C3 Time : 2607.0 sec. user=vaughan [2010-07-02 17:24:28] 585*2^838841-1 is not prime. Res64: 97415AFF6A0DB152 Time : 40389.0 sec. user=vaughan [2010-07-02 17:25:14] 525*2^839016-1 is not prime. Res64: 2A6F99F7C6A610D3 Time : 2066.0 sec. user=vaughan [2010-07-02 17:25:31] 593*2^838682-1 is not prime. Res64: C833F048606F0C8F Time : 71532.0 sec. user=Flatlander [2010-07-02 17:25:39] 507*2^839005-1 is not prime. Res64: 1887E690C5226086 Time : 4431.0 sec. user=Flatlander [2010-07-02 17:25:39] 591*2^839005-1 is not prime. Res64: 3D712B5894D78473 Time : 4430.0 sec. user=Flatlander [2010-07-02 17:25:40] 595*2^839005-1 is not prime. Res64: 4AB123AD17E87235 Time : 4429.0 sec. user=Flatlander [2010-07-02 17:25:41] 501*2^839006-1 is not prime. Res64: F3B69273E6BA324D Time : 4428.0 sec. user=Flatlander [2010-07-02 17:25:42] 557*2^839006-1 is not prime. Res64: 5A7DF8AC0004997D Time : 4428.0 sec. user=vaughan [2010-07-02 17:26:06] 513*2^838798-1 is not prime. Res64: DB28684E4A1E7FE0 Time : 50264.0 sec. user=vaughan [2010-07-02 17:27:19] 471*2^838873-1 is not prime. Res64: E121CF165AEC952A Time : 34319.0 sec. user=vaughan [2010-07-02 17:28:28] 465*2^838881-1 is not prime. Res64: 13A8DA3C9A729A30 Time : 32279.0 sec. user=vaughan [2010-07-02 17:29:38] 423*2^839022-1 is not prime. Res64: 95EAE59DB58F7255 Time : 768.0 sec. user=vaughan [2010-07-02 17:31:26] 503*2^839018-1 is not prime. Res64: BA2186ECA0FAF0D4 Time : 2027.0 sec. user=vaughan [2010-07-02 17:32:06] 435*2^838882-1 is not prime. Res64: 59F2190A69B1F1DD Time : 32408.0 sec. user=vaughan [2010-07-02 17:33:18] 451*2^838843-1 is not prime. Res64: 8BBBA5F3BCCAFC9E Time : 40650.0 sec. user=vaughan [2010-07-02 17:35:25] 585*2^838788-1 is not prime. Res64: DB920E7C9E637230 Time : 52661.0 sec. user=vaughan [2010-07-02 17:36:01] 513*2^838875-1 is not prime. Res64: DA2AF18DD3F27666 Time : 34267.0 sec. user=vaughan [2010-07-02 17:38:11] 487*2^838833-1 is not prime. Res64: D9861DA25D77ACFB Time : 43021.0 sec. user=vaughan [2010-07-02 17:39:30] 557*2^838848-1 is not prime. Res64: C118492728B70FF5 Time : 39900.0 sec. user=vaughan [2010-07-02 17:42:44] 549*2^838773-1 is not prime. Res64: 1B301017CFBBE98A Time : 56227.0 sec. user=vaughan [2010-07-02 17:43:02] 411*2^839021-1 is not prime. Res64: FD5FCD4AD4918766 Time : 1822.0 sec. user=vaughan [2010-07-02 17:43:16] 579*2^839025-1 is not prime. Res64: 1F2594E56FD33ACC Time : 818.0 sec. user=vaughan [2010-07-02 17:44:34] 537*2^838877-1 is not prime. Res64: BCDA6C39097F81BA Time : 34313.0 sec. user=vaughan [2010-07-02 17:44:55] 579*2^838884-1 is not prime. Res64: 8D47B13387DACCF3 Time : 32286.0 sec. user=vaughan [2010-07-02 17:47:02] 421*2^838811-1 is not prime. Res64: 4807F7A995EF436B Time : 48900.0 sec. user=vaughan [2010-07-02 17:47:18] 507*2^839021-1 is not prime. Res64: 21135FD247201181 Time : 2009.0 sec. user=vaughan [2010-07-02 17:48:39] 417*2^838886-1 is not prime. Res64: DCDE1DB8B0B51A18 Time : 32420.0 sec. user=vaughan [2010-07-02 17:50:27] 453*2^838811-1 is not prime. Res64: 272BBF89DD6EA638 Time : 49065.0 sec. user=vaughan [2010-07-02 17:53:12] 423*2^838880-1 is not prime. Res64: BF2C9EBE5724B6EE Time : 34244.0 sec. user=vaughan [2010-07-02 17:54:37] 423*2^839023-1 is not prime. Res64: 76BAE6E02659583B Time : 1763.0 sec. user=Flatlander [2010-07-02 17:54:49] 401*2^839014-1 is not prime. Res64: CDB6040EE7C25E25 Time : 4366.0 sec. user=Flatlander [2010-07-02 17:54:49] 447*2^839014-1 is not prime. Res64: 205F7F9C98490A91 Time : 4364.0 sec. user=Flatlander [2010-07-02 17:54:50] 521*2^839014-1 is not prime. Res64: 11513436B07FC9F6 Time : 4364.0 sec. user=Flatlander [2010-07-02 17:54:51] 411*2^839015-1 is not prime. Res64: A42A46E04A747A78 Time : 4363.0 sec. user=Flatlander [2010-07-02 17:54:52] 459*2^839015-1 is not prime. Res64: F720DD2773000863 Time : 4363.0 sec. user=vaughan [2010-07-02 17:56:58] 579*2^839028-1 is not prime. Res64: E3DD53DFC142D92B Time : 822.0 sec. user=vaughan [2010-07-02 17:58:01] 591*2^838793-1 is not prime. Res64: C97CEE73758A9CD9 Time : 52573.0 sec. user=vaughan [2010-07-02 17:58:08] 499*2^838843-1 is not prime. Res64: BB664CF8941B04B3 Time : 41950.0 sec. user=vaughan [2010-07-02 17:59:53] 553*2^838847-1 is not prime. Res64: 99A5628E56E0D907 Time : 41449.0 sec. user=vaughan [2010-07-02 18:00:18] 541*2^838803-1 is not prime. Res64: D327C8F7D9049348 Time : 50973.0 sec. user=vaughan [2010-07-02 18:01:21] 501*2^838889-1 is not prime. Res64: 6B2B0AA103AEC197 Time : 32291.0 sec. user=vaughan [2010-07-02 18:01:50] 459*2^838881-1 is not prime. Res64: 92A63B63D7810DC0 Time : 34306.0 sec. user=vaughan [2010-07-02 18:02:11] 595*2^839025-1 is not prime. Res64: 92B4BD38C777F75E Time : 1845.0 sec. user=vaughan [2010-07-02 18:02:33] 469*2^838859-1 is not prime. Res64: 4EEAB1EC2F517D67 Time : 39672.0 sec. user=vaughan [2010-07-02 18:03:34] 545*2^838700-1 is not prime. Res64: 7AE3EC520E9C8A25 Time : 71384.0 sec. user=vaughan [2010-07-02 18:05:11] 431*2^838890-1 is not prime. Res64: FDCED3431E2292DD Time : 32432.0 sec. user=vaughan [2010-07-02 18:08:15] 437*2^838848-1 is not prime. Res64: E68C63BC476F52B3 Time : 41686.0 sec. user=vaughan [2010-07-02 18:08:27] 447*2^839020-1 is not prime. Res64: D46C0ECFD13A195B Time : 3612.0 sec. user=vaughan [2010-07-02 18:10:25] 549*2^838884-1 is not prime. Res64: F56665294C5164D1 Time : 34236.0 sec. user=vaughan [2010-07-02 18:10:39] 419*2^839032-1 is not prime. Res64: AA429F0C6B6BEB2B Time : 821.0 sec. user=vaughan [2010-07-02 18:11:36] 495*2^838785-1 is not prime. Res64: F19BC6E3CEBBE035 Time : 55590.0 sec. user=vaughan [2010-07-02 18:11:42] 593*2^839022-1 is not prime. Res64: D4E91ED542FBF842 Time : 2892.0 sec. user=vaughan [2010-07-02 18:13:02] 405*2^839022-1 is not prime. Res64: 055FB51920B63143 Time : 3519.0 sec. user=vaughan [2010-07-02 18:13:56] 557*2^839028-1 is not prime. Res64: 1CFEC4CFDC0D9FF2 Time : 1853.0 sec. user=vaughan [2010-07-02 18:15:39] 587*2^839022-1 is not prime. Res64: 5F5287AA5EDE0831 Time : 3365.0 sec. user=vaughan [2010-07-02 18:17:48] 537*2^838896-1 is not prime. Res64: 3D514953A33782D8 Time : 32298.0 sec. user=vaughan [2010-07-02 18:18:11] 481*2^838853-1 is not prime. Res64: 6B3DC592CFB31109 Time : 41475.0 sec. user=vaughan [2010-07-02 18:19:03] 477*2^838885-1 is not prime. Res64: ECD44802E530BE47 Time : 34302.0 sec. user=vaughan [2010-07-02 18:20:42] 507*2^838802-1 is not prime. Res64: D4DBE879E07F463B Time : 52489.0 sec. user=vaughan [2010-07-02 18:21:43] 597*2^838896-1 is not prime. Res64: 4C5D57DC9A994244 Time : 32443.0 sec. user=vaughan [2010-07-02 18:24:09] 475*2^839031-1 is not prime. Res64: 64A07C0407E5D4AF Time : 1772.0 sec. user=vaughan [2010-07-02 18:24:28] 555*2^839037-1 is not prime. Res64: 52B2130B46B0550E Time : 829.0 sec. user=vaughan [2010-07-02 18:26:18] 517*2^838865-1 is not prime. Res64: 148DC60AE3173198 Time : 39466.0 sec. user=vaughan [2010-07-02 18:27:39] 575*2^838888-1 is not prime. Res64: FD22E93604F266BA Time : 34235.0 sec. user=vaughan [2010-07-02 18:32:57] 569*2^838852-1 is not prime. Res64: 4861D9707298FD2B Time : 42369.0 sec. user=vaughan [2010-07-02 18:32:59] 405*2^839035-1 is not prime. Res64: AF595D7EC68801D9 Time : 1849.0 sec. user=vaughan [2010-07-02 18:34:14] 429*2^838900-1 is not prime. Res64: 1535E5C70A759680 Time : 32300.0 sec. user=vaughan [2010-07-02 18:34:52] 567*2^839029-1 is not prime. Res64: 018C76CEB8675A3D Time : 2854.0 sec. user=vaughan [2010-07-02 18:36:05] 479*2^838812-1 is not prime. Res64: 04EED245153624B6 Time : 51491.0 sec. user=vaughan [2010-07-02 18:36:19] 405*2^838890-1 is not prime. Res64: EE7F527AB53A9E80 Time : 34301.0 sec. user=vaughan [2010-07-02 18:38:14] 503*2^838866-1 is not prime. Res64: D9905EC1A9B5DBDE Time : 39949.0 sec. user=vaughan [2010-07-02 18:38:16] 489*2^838900-1 is not prime. Res64: 77D482F7848B8685 Time : 32448.0 sec. user=vaughan [2010-07-02 18:38:16] 535*2^839041-1 is not prime. Res64: 175DC84F5EA8F9BA Time : 828.0 sec. user=Flatlander [2010-07-02 18:38:39] 555*2^839023-1 is not prime. Res64: 308C595B74E28596 Time : 4375.0 sec. user=Flatlander [2010-07-02 18:38:40] 459*2^839024-1 is not prime. Res64: DFE55DD84368CB44 Time : 4375.0 sec. user=Flatlander [2010-07-02 18:38:41] 509*2^839024-1 is not prime. Res64: 7CA435E20CD08A11 Time : 4374.0 sec. user=Flatlander [2010-07-02 18:38:42] 519*2^839024-1 is not prime. Res64: EAB1CE4DA1831595 Time : 4374.0 sec. user=Flatlander [2010-07-02 18:38:43] 557*2^839024-1 is not prime. Res64: 08E1405A0BF0D752 Time : 4373.0 sec. user=vaughan [2010-07-02 18:40:11] 453*2^838794-1 is not prime. Res64: 2217A090DAD9DE22 Time : 55102.0 sec. user=vaughan [2010-07-02 18:41:23] 529*2^838853-1 is not prime. Res64: 1721DDF9A862DA74 Time : 42609.0 sec. user=vaughan [2010-07-02 18:43:14] 573*2^839038-1 is not prime. Res64: 6D5F4D7771E49310 Time : 1811.0 sec. user=vaughan [2010-07-02 18:43:25] 519*2^838712-1 is not prime. Res64: B5EC5678629038E8 Time : 71415.0 sec. user=vaughan [2010-07-02 18:43:32] 539*2^838816-1 is not prime. Res64: C193B4D5DDB24F48 Time : 51213.0 sec. user=vaughan [2010-07-02 18:44:41] 499*2^839037-1 is not prime. Res64: D7659BA50EF7A513 Time : 2173.0 sec. user=vaughan [2010-07-02 18:44:53] 523*2^838895-1 is not prime. Res64: 47BD2BF7E6645377 Time : 34233.0 sec. user=vaughan [2010-07-02 18:45:37] 567*2^839038-1 is not prime. Res64: E7FD18B9D4AD98A3 Time : 2035.0 sec. user=vaughan [2010-07-02 18:48:14] 489*2^839039-1 is not prime. Res64: FB11FC7AB48E3EF5 Time : 1955.0 sec. user=vaughan [2010-07-02 18:48:27] 413*2^838872-1 is not prime. Res64: CEFADA745D347B71 Time : 39510.0 sec. user=vaughan [2010-07-02 18:50:13] 439*2^839039-1 is not prime. Res64: 94FF32B23D3804D3 Time : 2176.0 sec. user=vaughan [2010-07-02 18:50:41] 465*2^838905-1 is not prime. Res64: A335E5F86E33752D Time : 32311.0 sec. user=vaughan [2010-07-02 18:51:54] 519*2^839044-1 is not prime. Res64: 9413BE1EC891C57D Time : 818.0 sec. user=vaughan [2010-07-02 18:53:35] 421*2^838897-1 is not prime. Res64: 9DD69C640096A221 Time : 34300.0 sec. user=vaughan [2010-07-02 18:53:44] 477*2^839041-1 is not prime. Res64: 1BA8AA0806858748 Time : 1775.0 sec. user=vaughan [2010-07-02 18:54:49] 585*2^838905-1 is not prime. Res64: 48BC2632F91694FA Time : 32456.0 sec. user=vaughan [2010-07-02 18:59:07] 453*2^838816-1 is not prime. Res64: 96BE8F8FA18295BC Time : 52151.0 sec. user=vaughan [2010-07-02 19:02:07] 545*2^838898-1 is not prime. Res64: 0C6707DFACD50EF4 Time : 34224.0 sec. user=vaughan [2010-07-02 19:02:17] 459*2^838880-1 is not prime. Res64: FE43EB6D87939E9C Time : 38289.0 sec. user=vaughan [2010-07-02 19:02:29] 563*2^838816-1 is not prime. Res64: 18A2AFAE7A010119 Time : 52313.0 sec. user=vaughan [2010-07-02 19:04:36] 437*2^839042-1 is not prime. Res64: DBB4623EF1CC0C3E Time : 1897.0 sec. user=vaughan [2010-07-02 19:05:42] 599*2^839048-1 is not prime. Res64: 9480D594EB6D889B Time : 828.0 sec. user=vaughan [2010-07-02 19:05:59] 495*2^838809-1 is not prime. Res64: F0B5D0D2C03E2950 Time : 54346.0 sec. user=vaughan [2010-07-02 19:07:10] 423*2^838908-1 is not prime. Res64: 0FDFE050767E9AE8 Time : 32324.0 sec. user=Flatlander [2010-07-02 19:07:36] 535*2^839031-1 is not prime. Res64: 22CB865F31C68375 Time : 4363.0 sec. user=Flatlander [2010-07-02 19:07:37] 541*2^839031-1 is not prime. Res64: D130B4BFF3F31F4F Time : 4362.0 sec. user=vaughan [2010-07-02 19:07:37] 527*2^838860-1 is not prime. Res64: F1585809AA3F8EE5 Time : 43388.0 sec. user=Flatlander [2010-07-02 19:07:38] 579*2^839031-1 is not prime. Res64: 04FA069F26DB9102 Time : 4361.0 sec. user=Flatlander [2010-07-02 19:07:39] 595*2^839031-1 is not prime. Res64: D6B91EF65FDBF4EA Time : 4361.0 sec. user=Flatlander [2010-07-02 19:07:39] 405*2^839032-1 is not prime. Res64: D495DDF751743518 Time : 4359.0 sec. user=vaughan [2010-07-02 19:08:03] 593*2^839042-1 is not prime. Res64: D145DBF02B1B4FAA Time : 1991.0 sec. user=vaughan [2010-07-02 19:10:04] 479*2^838876-1 is not prime. Res64: 009EDE6584268BF1 Time : 39654.0 sec. user=vaughan [2010-07-02 19:10:50] 537*2^838900-1 is not prime. Res64: 4971A52207303766 Time : 34286.0 sec. user=vaughan [2010-07-02 19:11:21] 525*2^838908-1 is not prime. Res64: 6EFB15465585BD0B Time : 32471.0 sec. user=vaughan [2010-07-02 19:13:54] 495*2^838820-1 is not prime. Res64: BC33B042B3484826 Time : 52386.0 sec. user=vaughan [2010-07-02 19:14:43] 561*2^839045-1 is not prime. Res64: 8C2F2BA2C8678D40 Time : 1889.0 sec. user=vaughan [2010-07-02 19:15:52] 469*2^838861-1 is not prime. Res64: 8F8FA2FFD431AA08 Time : 43613.0 sec. user=vaughan [2010-07-02 19:16:38] 453*2^839046-1 is not prime. Res64: 8ECC4AFA657DD98E Time : 1917.0 sec. user=vaughan [2010-07-02 19:18:57] 581*2^839046-1 is not prime. Res64: 318EAB10CF4F60FD Time : 1842.0 sec. user=vaughan [2010-07-02 19:19:22] 551*2^838902-1 is not prime. Res64: 151E83049DDB585C Time : 34216.0 sec. user=vaughan [2010-07-02 19:19:30] 461*2^839050-1 is not prime. Res64: FB199D9DCC2E47DB Time : 828.0 sec. user=vaughan [2010-07-02 19:19:34] 551*2^839046-1 is not prime. Res64: 8699DF96B1C62C8E Time : 2037.0 sec. user=vaughan [2010-07-02 19:21:00] 567*2^838729-1 is not prime. Res64: D5F44AA8AE2BEF5B Time : 70416.0 sec. user=vaughan [2010-07-02 19:23:11] 459*2^839049-1 is not prime. Res64: 7723FAD8A03E3DD7 Time : 1767.0 sec. user=vaughan [2010-07-02 19:23:36] 413*2^838912-1 is not prime. Res64: DC2A77DC68E9D11C Time : 32336.0 sec. user=vaughan [2010-07-02 19:26:31] 485*2^838896-1 is not prime. Res64: 22BC18A01FC04AB1 Time : 36440.0 sec. user=vaughan [2010-07-02 19:27:54] 495*2^838912-1 is not prime. Res64: F69B2D6170DA4F2F Time : 32485.0 sec. user=vaughan [2010-07-02 19:28:05] 587*2^838906-1 is not prime. Res64: 3FEF9535B5904761 Time : 34280.0 sec. user=vaughan [2010-07-02 19:29:20] 585*2^838824-1 is not prime. Res64: 5306025E13AF5E1B Time : 51930.0 sec. user=vaughan [2010-07-02 19:33:05] 599*2^838820-1 is not prime. Res64: 4D11658A054CCD6E Time : 53280.0 sec. user=vaughan [2010-07-02 19:33:21] 543*2^839055-1 is not prime. Res64: E3CCBACDDF6D7C8C Time : 831.0 sec. user=vaughan [2010-07-02 19:33:43] 571*2^838881-1 is not prime. Res64: 8A5DFCB9471FE984 Time : 39765.0 sec. user=vaughan [2010-07-02 19:35:27] 453*2^839050-1 is not prime. Res64: CE23B96A028D462B Time : 1852.0 sec. user=vaughan [2010-07-02 19:36:07] 591*2^839046-1 is not prime. Res64: C78BB4E9F01C348E Time : 2753.0 sec. user=vaughan [2010-07-02 19:36:36] 595*2^838907-1 is not prime. Res64: 171248C1C374A0B4 Time : 34213.0 sec. user=vaughan [2010-07-02 19:40:03] 515*2^838916-1 is not prime. Res64: 97F8241B4F164318 Time : 32349.0 sec. user=vaughan [2010-07-02 19:40:32] 507*2^839052-1 is not prime. Res64: D5CCD0C22AF16AEA Time : 1950.0 sec. user=vaughan [2010-07-02 19:41:07] 571*2^838863-1 is not prime. Res64: E90A8D932ACB0895 Time : 44336.0 sec. user=vaughan [2010-07-02 19:44:27] 549*2^838917-1 is not prime. Res64: 56B0EB962CD1371C Time : 32499.0 sec. user=vaughan [2010-07-02 19:45:21] 569*2^838908-1 is not prime. Res64: CF1551D4062F9B19 Time : 34277.0 sec. user=vaughan [2010-07-02 19:47:09] 405*2^839058-1 is not prime. Res64: 0D5797E9086961F7 Time : 829.0 sec. user=vaughan [2010-07-02 19:47:17] 563*2^839054-1 is not prime. Res64: 83F8CDCF0BACEFD5 Time : 1838.0 sec. user=vaughan [2010-07-02 19:47:47] 591*2^839053-1 is not prime. Res64: 74952CDA84BE08F7 Time : 1983.0 sec. user=vaughan [2010-07-02 19:49:23] 433*2^839055-1 is not prime. Res64: 41C7F1E7D939C9A1 Time : 1826.0 sec. user=vaughan [2010-07-02 19:49:29] 567*2^838825-1 is not prime. Res64: 8937E93F7FD4E9B7 Time : 52746.0 sec. user=vaughan [2010-07-02 19:49:32] 585*2^838904-1 is not prime. Res64: A49763816D1E20B0 Time : 35924.0 sec. user=vaughan [2010-07-02 19:49:37] 421*2^838865-1 is not prime. Res64: 086846A8FF69B3B3 Time : 44574.0 sec. user=vaughan [2010-07-02 19:50:08] 425*2^838748-1 is not prime. Res64: 6C4C653DA60FE40D Time : 68499.0 sec. user=Flatlander [2010-07-02 19:50:44] 525*2^839044-1 is not prime. Res64: 1455A61040EDCCE0 Time : 4320.0 sec. user=Flatlander [2010-07-02 19:50:45] 533*2^839044-1 is not prime. Res64: 139A2E57207AC083 Time : 4319.0 sec. user=Flatlander [2010-07-02 19:50:45] 587*2^839044-1 is not prime. Res64: BFA34CA2E0ACD8F5 Time : 4318.0 sec. user=Flatlander [2010-07-02 19:50:46] 597*2^839044-1 is not prime. Res64: C181AD4E016D5A33 Time : 4317.0 sec. user=Flatlander [2010-07-02 19:50:47] 411*2^839045-1 is not prime. Res64: B35E6CE1A770C644 Time : 4316.0 sec. user=vaughan [2010-07-02 19:51:34] 483*2^839056-1 is not prime. Res64: A88D56800A419AEE Time : 1703.0 sec. user=vaughan [2010-07-02 19:53:53] 559*2^838911-1 is not prime. Res64: D014467F90FF2771 Time : 34213.0 sec. user=vaughan [2010-07-02 19:55:44] 561*2^838886-1 is not prime. Res64: AC5C0D03EC07AB17 Time : 39789.0 sec. user=vaughan [2010-07-02 19:56:27] 589*2^838919-1 is not prime. Res64: EB67B0C792768F7E Time : 32357.0 sec. user=vaughan [2010-07-02 19:59:36] 465*2^838830-1 is not prime. Res64: BFB8F07BA2335EE3 Time : 52200.0 sec. user=vaughan [2010-07-02 20:00:48] 567*2^839062-1 is not prime. Res64: 52ECDEB5777DFA37 Time : 819.0 sec. user=vaughan [2010-07-02 20:00:58] 515*2^838920-1 is not prime. Res64: 72F3AB5F2DE446B0 Time : 32509.0 sec. user=vaughan [2010-07-02 20:02:47] 489*2^838913-1 is not prime. Res64: 755C61379FDC3A98 Time : 34284.0 sec. user=vaughan [2010-07-02 20:05:00] 551*2^839058-1 is not prime. Res64: FDD90405EBB32F6F Time : 1774.0 sec. user=vaughan [2010-07-02 20:06:04] 573*2^839058-1 is not prime. Res64: 5890AD20A1A12A3B Time : 1797.0 sec. user=vaughan [2010-07-02 20:08:47] 475*2^838821-1 is not prime. Res64: 1D0EE335C53D5A62 Time : 55254.0 sec. user=vaughan [2010-07-02 20:11:29] 563*2^838916-1 is not prime. Res64: EF53C6514FB2065A Time : 34232.0 sec. user=vaughan [2010-07-02 20:12:11] 549*2^838821-1 is not prime. Res64: 04568880F2D4B08E Time : 55423.0 sec. user=vaughan [2010-07-02 20:12:31] 405*2^838911-1 is not prime. Res64: 5A3B2E014EC1BCE4 Time : 35353.0 sec. user=vaughan [2010-07-02 20:12:47] 521*2^838926-1 is not prime. Res64: 79D3FCB7CD1C1010 Time : 32359.0 sec. user=vaughan [2010-07-02 20:14:32] 433*2^839067-1 is not prime. Res64: 855FDF8CC611FFA2 Time : 824.0 sec. user=vaughan [2010-07-02 20:14:45] 505*2^838867-1 is not prime. Res64: 6B34058C03C2BB93 Time : 45280.0 sec. user=vaughan [2010-07-02 20:15:23] 541*2^838831-1 is not prime. Res64: E14F338D21FACFEA Time : 52609.0 sec. user=vaughan [2010-07-02 20:17:26] 471*2^838927-1 is not prime. Res64: 134F7B529DF39AFF Time : 32516.0 sec. user=vaughan [2010-07-02 20:18:21] 539*2^838764-1 is not prime. Res64: 1EEECE4C8E9162FA Time : 67210.0 sec. user=vaughan [2010-07-02 20:18:32] 435*2^839063-1 is not prime. Res64: DC2D85B2BF9DFA6A Time : 1844.0 sec. user=vaughan [2010-07-02 20:19:32] 461*2^839066-1 is not prime. Res64: A398638327A9587A Time : 1678.0 sec. user=vaughan [2010-07-02 20:19:46] 453*2^839063-1 is not prime. Res64: E7A65BC4A0086B7A Time : 1823.0 sec. user=vaughan [2010-07-02 20:20:05] 533*2^838834-1 is not prime. Res64: D4E45077B753FF6E Time : 52302.0 sec. user=vaughan [2010-07-02 20:20:12] 433*2^838919-1 is not prime. Res64: 533A8A8BB5511091 Time : 34290.0 sec. user=Flatlander [2010-07-02 20:20:21] 421*2^839051-1 is not prime. Res64: 421C7C933D81E502 Time : 4360.0 sec. user=Flatlander [2010-07-02 20:20:22] 451*2^839051-1 is not prime. Res64: 234053BDE3F2A023 Time : 4359.0 sec. user=Flatlander [2010-07-02 20:20:22] 459*2^839051-1 is not prime. Res64: 6D381390F35BA579 Time : 4358.0 sec. user=Flatlander [2010-07-02 20:20:23] 489*2^839051-1 is not prime. Res64: B0689A1D2A992C76 Time : 4357.0 sec. user=Flatlander [2010-07-02 20:20:24] 467*2^839052-1 is not prime. Res64: 757BFF4E4A0EF73B Time : 4357.0 sec. user=vaughan [2010-07-02 20:23:16] 599*2^838868-1 is not prime. Res64: 654FB50C117B3064 Time : 45525.0 sec. user=vaughan [2010-07-02 20:24:57] 551*2^838894-1 is not prime. Res64: 14986335E9A546F1 Time : 40384.0 sec. user=vaughan [2010-07-02 20:27:12] 415*2^838843-1 is not prime. Res64: 9FD8391EE50DCE5D Time : 51219.0 sec. user=vaughan [2010-07-02 20:28:14] 445*2^839069-1 is not prime. Res64: 03C9D7FD4B2C4B1A Time : 823.0 sec. user=vaughan [2010-07-02 20:28:51] 503*2^838920-1 is not prime. Res64: FF24B842D32FD168 Time : 34237.0 sec. user=vaughan [2010-07-02 20:29:03] 501*2^838929-1 is not prime. Res64: 36ED56E8B17E6DC8 Time : 32361.0 sec. user=vaughan [2010-07-02 20:31:23] 591*2^839062-1 is not prime. Res64: 10FD3A5E845F56A1 Time : 2645.0 sec. user=vaughan [2010-07-02 20:33:10] 557*2^838920-1 is not prime. Res64: 9EE48BE45922A6A4 Time : 34419.0 sec. user=vaughan [2010-07-02 20:33:15] 553*2^839067-1 is not prime. Res64: FD87A1BD6E9B2F95 Time : 1695.0 sec. user=vaughan [2010-07-02 20:33:46] 579*2^838929-1 is not prime. Res64: 13F5F4DF00024B7E Time : 32517.0 sec. user=vaughan [2010-07-02 20:37:31] 513*2^838924-1 is not prime. Res64: 8C12F35707C6A498 Time : 34289.0 sec. user=vaughan [2010-07-02 20:41:07] 595*2^839055-1 is not prime. Res64: 9441C22BB550C071 Time : 4893.0 sec. user=vaughan [2010-07-02 20:42:02] 571*2^839073-1 is not prime. Res64: 69907D2B5FEE8EE8 Time : 829.0 sec. user=vaughan [2010-07-02 20:45:18] 535*2^838935-1 is not prime. Res64: DB4FBE851AF4ABAE Time : 32362.0 sec. user=vaughan [2010-07-02 20:46:11] 413*2^838928-1 is not prime. Res64: 604B8623C3A78BFB Time : 34238.0 sec. user=vaughan [2010-07-02 20:46:20] 483*2^839070-1 is not prime. Res64: 320B61CF0830CFDC Time : 1608.0 sec. user=vaughan [2010-07-02 20:47:27] 469*2^838847-1 is not prime. Res64: B4872E90C568230E Time : 51735.0 sec. user=vaughan [2010-07-02 20:48:02] 441*2^838779-1 is not prime. Res64: 350D9C6B812142F4 Time : 66042.0 sec. user=vaughan [2010-07-02 20:48:31] 597*2^838873-1 is not prime. Res64: 2CDEE0997256E910 Time : 46243.0 sec. user=vaughan [2010-07-02 20:49:17] 573*2^839067-1 is not prime. Res64: A8963DCD1059EA82 Time : 2592.0 sec. user=vaughan [2010-07-02 20:50:06] 437*2^838936-1 is not prime. Res64: AE5EB17B8289DAFD Time : 32518.0 sec. user=vaughan [2010-07-02 20:50:25] 523*2^838847-1 is not prime. Res64: 136FDAE46F1B5356 Time : 51905.0 sec. user=vaughan [2010-07-02 20:50:34] 501*2^839070-1 is not prime. Res64: F24D7560F82AB334 Time : 1848.0 sec. user=vaughan [2010-07-02 20:53:01] 503*2^838860-1 is not prime. Res64: 43F5633C0B0ED26E Time : 49745.0 sec. user=vaughan [2010-07-02 20:53:52] 581*2^838930-1 is not prime. Res64: 6A1E3F94456EB6EB Time : 33624.0 sec. user=vaughan [2010-07-02 20:54:38] 455*2^839070-1 is not prime. Res64: 6B681C8AD5319406 Time : 2165.0 sec. user=vaughan [2010-07-02 20:54:53] 459*2^838929-1 is not prime. Res64: DD09CE3B4C74B0F2 Time : 34291.0 sec. user=vaughan [2010-07-02 20:55:07] 449*2^838900-1 is not prime. Res64: C9C32C3C40665E5E Time : 40704.0 sec. user=vaughan [2010-07-02 20:55:50] 519*2^839075-1 is not prime. Res64: 2BD6E9D14D546224 Time : 829.0 sec. user=vaughan [2010-07-02 20:57:36] 415*2^838875-1 is not prime. Res64: 79A9197CABBA6F33 Time : 46524.0 sec. user=vaughan [2010-07-02 21:01:33] 501*2^838937-1 is not prime. Res64: BDEC91BCBB7CB98B Time : 32362.0 sec. user=Flatlander [2010-07-02 21:01:53] 555*2^839064-1 is not prime. Res64: C5F2F9A7E33C621B Time : 4264.0 sec. user=Flatlander [2010-07-02 21:01:54] 429*2^839065-1 is not prime. Res64: ABE9F76D5936C3B7 Time : 4264.0 sec. user=Flatlander [2010-07-02 21:01:54] 477*2^839065-1 is not prime. Res64: 27DD9D7A635E26C5 Time : 4262.0 sec. user=Flatlander [2010-07-02 21:01:55] 535*2^839065-1 is not prime. Res64: B3909FDA296459C8 Time : 4261.0 sec. user=Flatlander [2010-07-02 21:01:55] 437*2^839066-1 is not prime. Res64: 1397EC43EFED6C8E Time : 4260.0 sec. user=vaughan [2010-07-02 21:03:27] 503*2^838930-1 is not prime. Res64: C707C74DCF4C3A54 Time : 34237.0 sec. user=vaughan [2010-07-02 21:03:45] 551*2^839074-1 is not prime. Res64: 0BFC892A6496639C Time : 1830.0 sec. user=vaughan [2010-07-02 21:06:24] 513*2^838938-1 is not prime. Res64: 8C0412A52E4E57BC Time : 32516.0 sec. user=vaughan [2010-07-02 21:09:47] 415*2^838825-1 is not prime. Res64: 6393E7541E0CDAF1 Time : 57840.0 sec. user=vaughan [2010-07-02 21:10:16] 459*2^839081-1 is not prime. Res64: 45EA7BC761392487 Time : 867.0 sec. user=vaughan [2010-07-02 21:12:14] 541*2^838933-1 is not prime. Res64: 7BEFF6BF7EE17325 Time : 34292.0 sec. user=vaughan [2010-07-02 21:12:45] 535*2^838825-1 is not prime. Res64: 9EB4B3719C16B7C9 Time : 57980.0 sec. user=vaughan [2010-07-02 21:14:19] 435*2^838859-1 is not prime. Res64: 2EFBEBADA270DAF2 Time : 51277.0 sec. user=vaughan [2010-07-02 21:14:52] 573*2^838936-1 is not prime. Res64: 14C6EF4CCE84E556 Time : 33476.0 sec. user=vaughan [2010-07-02 21:15:10] 469*2^839077-1 is not prime. Res64: D6159955A8896F2F Time : 1731.0 sec. user=vaughan [2010-07-02 21:15:56] 503*2^838798-1 is not prime. Res64: 32DB9CE2584C0CB9 Time : 64079.0 sec. user=vaughan [2010-07-02 21:17:48] 533*2^838942-1 is not prime. Res64: 0B3839E8DDF32582 Time : 32351.0 sec. user=vaughan [2010-07-02 21:18:00] 531*2^839074-1 is not prime. Res64: 275BB0700560C318 Time : 2797.0 sec. user=vaughan [2010-07-02 21:18:57] 561*2^839077-1 is not prime. Res64: 44415E23EA413A1A Time : 1779.0 sec. user=vaughan [2010-07-02 21:20:01] 479*2^839080-1 is not prime. Res64: 97609BE0D7ADD27D Time : 1522.0 sec. user=vaughan [2010-07-02 21:20:15] 453*2^838874-1 is not prime. Res64: 437DB25BEB0AD3C3 Time : 47982.0 sec. user=vaughan [2010-07-02 21:20:44] 455*2^838936-1 is not prime. Res64: C0A268AEAFFE1B97 Time : 34238.0 sec. user=vaughan [2010-07-02 21:20:53] 507*2^838878-1 is not prime. Res64: 86332AE78895E685 Time : 47121.0 sec. user=vaughan [2010-07-02 21:22:45] 589*2^838943-1 is not prime. Res64: BE9010F4C473C98C Time : 32506.0 sec. user=vaughan [2010-07-02 21:23:53] 453*2^838863-1 is not prime. Res64: CD0AE42B1E032C6F Time : 50908.0 sec. user=vaughan [2010-07-02 21:24:07] 579*2^839084-1 is not prime. Res64: 655D212FCE67B75E Time : 832.0 sec. user=vaughan [2010-07-02 21:25:56] 435*2^838907-1 is not prime. Res64: C7CD684E8AA3D7B9 Time : 41154.0 sec. user=vaughan [2010-07-02 21:27:47] 531*2^839059-1 is not prime. Res64: 7BECE7372005C2B7 Time : 6435.0 sec. user=vaughan [2010-07-02 21:29:34] 593*2^838936-1 is not prime. Res64: BBEFEC2AD57ADC3B Time : 34291.0 sec. user=vaughan [2010-07-02 21:30:11] 559*2^838879-1 is not prime. Res64: 54AC6F83AF1F27E3 Time : 47414.0 sec. user=Flatlander [2010-07-02 21:30:21] 439*2^839071-1 is not prime. Res64: 6A864F7915B9D9AB Time : 4195.0 sec. user=Flatlander [2010-07-02 21:30:22] 453*2^839071-1 is not prime. Res64: B0BE89E5084486A3 Time : 4195.0 sec. user=Flatlander [2010-07-02 21:30:22] 483*2^839071-1 is not prime. Res64: 6F7A72835E87B567 Time : 4193.0 sec. user=Flatlander [2010-07-02 21:30:23] 405*2^839072-1 is not prime. Res64: 35D832E29D253C49 Time : 4193.0 sec. user=Flatlander [2010-07-02 21:30:24] 437*2^839072-1 is not prime. Res64: D8E1D74AE9B37DCE Time : 4192.0 sec. user=vaughan [2010-07-02 21:32:18] 559*2^839079-1 is not prime. Res64: 22A5305012181539 Time : 2504.0 sec. user=vaughan [2010-07-02 21:33:18] 541*2^839083-1 is not prime. Res64: 788BF2A4D9F27981 Time : 1773.0 sec. user=vaughan [2010-07-02 21:34:02] 437*2^838946-1 is not prime. Res64: B824F09302867101 Time : 32335.0 sec. user=vaughan [2010-07-02 21:34:20] 507*2^838941-1 is not prime. Res64: 0923F4BDE81ACAD9 Time : 33344.0 sec. user=vaughan [2010-07-02 21:37:58] 517*2^839089-1 is not prime. Res64: 972D0F26F01513FB Time : 832.0 sec. user=vaughan [2010-07-02 21:38:03] 555*2^838938-1 is not prime. Res64: 3B5BD181738F51E6 Time : 34241.0 sec. user=vaughan [2010-07-02 21:39:04] 525*2^838946-1 is not prime. Res64: E89E90D060015B18 Time : 32497.0 sec. user=vaughan [2010-07-02 21:40:57] 499*2^838813-1 is not prime. Res64: E0E73D8757426937 Time : 62482.0 sec. user=vaughan [2010-07-02 21:41:43] 585*2^838866-1 is not prime. Res64: CF6B0B08E3E270C5 Time : 50900.0 sec. user=vaughan [2010-07-02 21:42:06] 511*2^839075-1 is not prime. Res64: 77610DEEBBAAEF89 Time : 3660.0 sec. user=vaughan [2010-07-02 21:46:39] 463*2^839087-1 is not prime. Res64: 2954C7F682F66264 Time : 1891.0 sec. user=vaughan [2010-07-02 21:46:54] 413*2^838940-1 is not prime. Res64: 9A1566A85EAD0444 Time : 34289.0 sec. user=vaughan [2010-07-02 21:48:31] 595*2^839087-1 is not prime. Res64: 579DAAEE4F3D68AE Time : 1830.0 sec. user=vaughan [2010-07-02 21:48:48] 487*2^838889-1 is not prime. Res64: B5D64CB0A3610776 Time : 45984.0 sec. user=vaughan [2010-07-02 21:49:59] 413*2^839088-1 is not prime. Res64: 8A0C09C9FCBD8150 Time : 1862.0 sec. user=vaughan [2010-07-02 21:50:17] 489*2^838952-1 is not prime. Res64: 721BBDA8BE59C2B6 Time : 32326.0 sec. user=vaughan [2010-07-02 21:51:42] 529*2^839093-1 is not prime. Res64: 0C61B918A959DCFC Time : 824.0 sec. user=vaughan [2010-07-02 21:52:10] 485*2^839088-1 is not prime. Res64: 1620241A82D651FB Time : 1929.0 sec. user=vaughan [2010-07-02 21:53:24] 525*2^838949-1 is not prime. Res64: 285CAE09E0EA9320 Time : 32581.0 sec. user=vaughan [2010-07-02 21:54:37] 497*2^838882-1 is not prime. Res64: 6454AD6B2954EE63 Time : 48082.0 sec. user=vaughan [2010-07-02 21:54:50] 495*2^838876-1 is not prime. Res64: E4E73FB7E4516D75 Time : 49498.0 sec. user=vaughan [2010-07-02 21:55:20] 507*2^838944-1 is not prime. Res64: BAE1872EBCB9DDB9 Time : 34219.0 sec. user=vaughan [2010-07-02 21:55:23] 411*2^838954-1 is not prime. Res64: BD62322BA7C75BC4 Time : 32495.0 sec. user=vaughan [2010-07-02 21:55:40] 479*2^838912-1 is not prime. Res64: E22CA28AA536060F Time : 41352.0 sec. user=vaughan [2010-07-02 22:03:19] 549*2^838883-1 is not prime. Res64: 3C9820111851ED52 Time : 48337.0 sec. user=vaughan [2010-07-02 22:04:15] 495*2^838945-1 is not prime. Res64: 42B26B8706D9EC21 Time : 34276.0 sec. user=vaughan [2010-07-02 22:05:01] 563*2^838826-1 is not prime. Res64: E96D21CBC9807AD3 Time : 60835.0 sec. user=vaughan [2010-07-02 22:05:32] 405*2^839097-1 is not prime. Res64: F0F8922E63FD0B28 Time : 830.0 sec. user=vaughan [2010-07-02 22:06:32] 579*2^838956-1 is not prime. Res64: E9D16BF342DA4D0F Time : 32326.0 sec. user=vaughan [2010-07-02 22:06:57] 405*2^839091-1 is not prime. Res64: A2DEEE152D5306F0 Time : 2350.0 sec. user=vaughan [2010-07-02 22:07:24] 417*2^839093-1 is not prime. Res64: 0BDD7D3C9335E58E Time : 2046.0 sec. user=vaughan [2010-07-02 22:09:21] 469*2^838879-1 is not prime. Res64: E7AD3C0B7DFCE3C4 Time : 49932.0 sec. user=Flatlander [2010-07-02 22:10:52] 525*2^839081-1 is not prime. Res64: 841ABD446BBE200B Time : 4136.0 sec. user=Flatlander [2010-07-02 22:10:53] 413*2^839082-1 is not prime. Res64: 5090C52DD2490384 Time : 4136.0 sec. user=Flatlander [2010-07-02 22:10:54] 507*2^839082-1 is not prime. Res64: 13B6C2137135E28F Time : 4136.0 sec. user=Flatlander [2010-07-02 22:10:54] 521*2^839082-1 is not prime. Res64: 031E8EF455E2EF53 Time : 4135.0 sec. user=Flatlander [2010-07-02 22:10:55] 505*2^839083-1 is not prime. Res64: 6BB5A88C9EF43A57 Time : 4134.0 sec. user=vaughan [2010-07-02 22:11:42] 587*2^838956-1 is not prime. Res64: 9C3B5FA34D936AF0 Time : 32494.0 sec. user=vaughan [2010-07-02 22:12:26] 561*2^838957-1 is not prime. Res64: E82C67E08CCF7ACA Time : 32018.0 sec. user=vaughan [2010-07-02 22:12:38] 595*2^838947-1 is not prime. Res64: 2D9F68435C8943D6 Time : 34205.0 sec. user=vaughan [2010-07-02 22:12:56] 405*2^838830-1 is not prime. Res64: 5E6397C05C3A7776 Time : 60551.0 sec. user=vaughan [2010-07-02 22:14:51] 447*2^838830-1 is not prime. Res64: 83CDE4CE50AD2FC9 Time : 60630.0 sec. user=vaughan [2010-07-02 22:15:48] 463*2^838903-1 is not prime. Res64: 9E4B417B2272206C Time : 44758.0 sec. user=vaughan [2010-07-02 22:19:18] 563*2^839100-1 is not prime. Res64: 7DD64493FC9149D9 Time : 826.0 sec. user=vaughan [2010-07-02 22:20:40] 465*2^839095-1 is not prime. Res64: FB9D457985252CAB Time : 2041.0 sec. user=vaughan [2010-07-02 22:21:35] 417*2^838949-1 is not prime. Res64: F4ADC7C9DC831FBC Time : 34273.0 sec. user=vaughan [2010-07-02 22:22:35] 427*2^839097-1 is not prime. Res64: 1BBB7BA01762C65A Time : 1825.0 sec. user=vaughan [2010-07-02 22:22:42] 587*2^839094-1 is not prime. Res64: 752DA3DA24A710D4 Time : 2436.0 sec. user=vaughan [2010-07-02 22:22:48] 435*2^838958-1 is not prime. Res64: 26870DD108A1869B Time : 32328.0 sec. user=vaughan [2010-07-02 22:24:30] 435*2^838889-1 is not prime. Res64: 433DF05FC3736B6D Time : 48126.0 sec. user=vaughan [2010-07-02 22:25:02] 465*2^838924-1 is not prime. Res64: D9D56F2A33038682 Time : 40910.0 sec. user=vaughan [2010-07-02 22:26:28] 573*2^839092-1 is not prime. Res64: 182BD94EC9C63A10 Time : 3250.0 sec. user=vaughan [2010-07-02 22:28:02] 525*2^838960-1 is not prime. Res64: A42AF9F029DE0F87 Time : 32495.0 sec. user=vaughan [2010-07-02 22:28:23] 477*2^838886-1 is not prime. Res64: 72DE62983B03450F Time : 49046.0 sec. user=vaughan [2010-07-02 22:29:00] 411*2^838843-1 is not prime. Res64: 5CB04756468D2258 Time : 58550.0 sec. user=vaughan [2010-07-02 22:29:54] 461*2^838954-1 is not prime. Res64: 7838C7D232600929 Time : 34203.0 sec. user=vaughan [2010-07-02 22:31:33] 469*2^838967-1 is not prime. Res64: AFEF02FBDE0C91D0 Time : 31318.0 sec. user=vaughan [2010-07-02 22:33:25] 469*2^839105-1 is not prime. Res64: 3764A14D91B85BD1 Time : 847.0 sec. user=vaughan [2010-07-02 22:36:26] 489*2^839095-1 is not prime. Res64: FCDBD2078487B3A8 Time : 2874.0 sec. user=vaughan [2010-07-02 22:37:10] 563*2^838888-1 is not prime. Res64: 2001D2D02E5179B9 Time : 49308.0 sec. user=vaughan [2010-07-02 22:37:16] 561*2^839095-1 is not prime. Res64: 5566A4C92EF82ADB Time : 2836.0 sec. user=vaughan [2010-07-02 22:38:55] 405*2^838956-1 is not prime. Res64: 887C08409C097A05 Time : 34273.0 sec. user=vaughan [2010-07-02 22:39:03] 587*2^838964-1 is not prime. Res64: DC8AFEA8B9EF429E Time : 32329.0 sec. user=vaughan [2010-07-02 22:39:20] 405*2^839101-1 is not prime. Res64: 78B9A367CBEA2819 Time : 1944.0 sec. user=Flatlander [2010-07-02 22:39:38] 513*2^839091-1 is not prime. Res64: 67D867FD4C2587E9 Time : 4152.0 sec. user=Flatlander [2010-07-02 22:39:39] 531*2^839091-1 is not prime. Res64: 00B2D43FF2DAA1C7 Time : 4152.0 sec. user=Flatlander [2010-07-02 22:39:39] 455*2^839092-1 is not prime. Res64: CDBC7DE3FB6D8BFC Time : 4150.0 sec. user=Flatlander [2010-07-02 22:39:40] 549*2^839092-1 is not prime. Res64: DFA075C629FF0A11 Time : 4149.0 sec. user=Flatlander [2010-07-02 22:39:41] 563*2^839092-1 is not prime. Res64: 4B3CA9B2DD6A0030 Time : 4149.0 sec. user=vaughan [2010-07-02 22:40:15] 517*2^838889-1 is not prime. Res64: 9CA5DD3957CED943 Time : 48937.0 sec. user=vaughan [2010-07-02 22:41:45] 465*2^839101-1 is not prime. Res64: CC620918B4C7DCDC Time : 2062.0 sec. user=vaughan [2010-07-02 22:43:07] 511*2^838909-1 is not prime. Res64: 9B7603B0A153E601 Time : 44574.0 sec. user=vaughan [2010-07-02 22:44:22] 495*2^838966-1 is not prime. Res64: 99700F919D6A8024 Time : 32497.0 sec. user=vaughan [2010-07-02 22:47:08] 489*2^839108-1 is not prime. Res64: 85EF8CDA897D2013 Time : 823.0 sec. user=vaughan [2010-07-02 22:47:12] 447*2^838930-1 is not prime. Res64: C252A1500AC1920F Time : 40496.0 sec. user=vaughan [2010-07-02 22:47:12] 531*2^838957-1 is not prime. Res64: 45FB64BFE6D632B0 Time : 34204.0 sec. user=vaughan [2010-07-02 22:50:44] 563*2^838972-1 is not prime. Res64: AD2BE9E4B14F71A4 Time : 31141.0 sec. user=vaughan [2010-07-02 22:52:39] 567*2^839105-1 is not prime. Res64: 0BA691354EB1E039 Time : 1804.0 sec. user=vaughan [2010-07-02 22:53:05] 453*2^838862-1 is not prime. Res64: EDDFF57479C1695A Time : 56383.0 sec. user=vaughan [2010-07-02 22:54:37] 575*2^838906-1 is not prime. Res64: E1827909CD696F9C Time : 46679.0 sec. user=vaughan [2010-07-02 22:55:04] 529*2^839105-1 is not prime. Res64: 40914D67F4DEC295 Time : 2065.0 sec. user=vaughan [2010-07-02 22:55:18] 479*2^838968-1 is not prime. Res64: 139081B71CBCBE87 Time : 32328.0 sec. user=vaughan [2010-07-02 22:56:16] 591*2^838958-1 is not prime. Res64: D5C20860A6F24EAF Time : 34274.0 sec. user=vaughan [2010-07-02 23:00:41] 557*2^838968-1 is not prime. Res64: DA5AB246542511F5 Time : 32497.0 sec. user=vaughan [2010-07-02 23:01:04] 597*2^839113-1 is not prime. Res64: 063378C9A2147815 Time : 836.0 sec. user=vaughan [2010-07-02 23:02:09] 495*2^838893-1 is not prime. Res64: F4DE5942CE44224F Time : 50007.0 sec. user=vaughan [2010-07-02 23:02:29] 587*2^839106-1 is not prime. Res64: 1235C51736080A0B Time : 2160.0 sec. user=vaughan [2010-07-02 23:04:29] 525*2^838962-1 is not prime. Res64: 0A0464A3F33E749E Time : 34206.0 sec. user=vaughan [2010-07-02 23:08:26] 427*2^839109-1 is not prime. Res64: 694651A756630448 Time : 1869.0 sec. user=vaughan [2010-07-02 23:09:28] 597*2^838936-1 is not prime. Res64: DA8C2FFFCF823D3F Time : 40070.0 sec. user=vaughan [2010-07-02 23:09:52] 525*2^838976-1 is not prime. Res64: 789C892A88E899D4 Time : 30983.0 sec. user=vaughan [2010-07-02 23:10:24] 451*2^838895-1 is not prime. Res64: 58CC8CB9FB9C4787 Time : 50238.0 sec. user=vaughan [2010-07-02 23:10:25] 469*2^838919-1 is not prime. Res64: CBE4A3C594D983DE Time : 44502.0 sec. user=vaughan [2010-07-02 23:10:54] 437*2^839106-1 is not prime. Res64: 31A9415985261C91 Time : 2892.0 sec. user=vaughan [2010-07-02 23:11:06] 557*2^839108-1 is not prime. Res64: C67FB9EFCD45E3A9 Time : 2079.0 sec. user=vaughan [2010-07-02 23:11:27] 499*2^838833-1 is not prime. Res64: 9C3E95D2CDCF43A2 Time : 62988.0 sec. user=vaughan [2010-07-02 23:11:31] 405*2^838973-1 is not prime. Res64: 6718D966ED407567 Time : 32326.0 sec. user=vaughan [2010-07-02 23:13:35] 507*2^838833-1 is not prime. Res64: 37713D44E262B406 Time : 63076.0 sec. user=vaughan [2010-07-02 23:13:39] 465*2^838966-1 is not prime. Res64: 5FAA40E649AEB660 Time : 34279.0 sec. user=vaughan [2010-07-02 23:14:58] 417*2^839117-1 is not prime. Res64: 642062C1ABECEAE9 Time : 834.0 sec. user=vaughan [2010-07-02 23:16:10] 527*2^839112-1 is not prime. Res64: A792943507B02858 Time : 2065.0 sec. user=vaughan [2010-07-02 23:17:00] 465*2^838974-1 is not prime. Res64: 5FF3CAA2E74BE6B9 Time : 32496.0 sec. user=vaughan [2010-07-02 23:17:08] 429*2^838879-1 is not prime. Res64: 6647C47F78FBB67C Time : 54087.0 sec. user=vaughan [2010-07-02 23:17:15] 573*2^838902-1 is not prime. Res64: 29BD6E0CD3160674 Time : 48488.0 sec. user=Flatlander [2010-07-02 23:20:06] 505*2^839101-1 is not prime. Res64: 4A80AD484CB3D537 Time : 4149.0 sec. user=Flatlander [2010-07-02 23:20:07] 437*2^839102-1 is not prime. Res64: EE171DD2FFCFBE50 Time : 4148.0 sec. user=Flatlander [2010-07-02 23:20:07] 525*2^839102-1 is not prime. Res64: 0476C54FC42E31C9 Time : 4147.0 sec. user=Flatlander [2010-07-02 23:20:08] 561*2^839102-1 is not prime. Res64: AB0C8E24C5D31C34 Time : 4146.0 sec. user=Flatlander [2010-07-02 23:20:09] 415*2^839103-1 is not prime. Res64: 8D327DB4349C3C2E Time : 4146.0 sec. user=vaughan [2010-07-02 23:21:47] 571*2^838967-1 is not prime. Res64: 4D40EB78C392AC00 Time : 34208.0 sec. user=vaughan [2010-07-02 23:22:45] 533*2^839114-1 is not prime. Res64: 16F846DCE68A46CB Time : 1805.0 sec. user=vaughan [2010-07-02 23:24:31] 483*2^838916-1 is not prime. Res64: 8F3C2F15165BFA22 Time : 45833.0 sec. user=vaughan [2010-07-02 23:26:12] 413*2^839110-1 is not prime. Res64: 648674040EB93411 Time : 2812.0 sec. user=vaughan [2010-07-02 23:27:47] 435*2^838976-1 is not prime. Res64: E8E4AB9A90311874 Time : 32326.0 sec. user=vaughan [2010-07-02 23:28:50] 511*2^839119-1 is not prime. Res64: 79E34AB56B5B5337 Time : 832.0 sec. user=vaughan [2010-07-02 23:29:08] 481*2^838983-1 is not prime. Res64: 0F6BCF725AD78F24 Time : 30754.0 sec. user=vaughan [2010-07-02 23:29:10] 453*2^839115-1 is not prime. Res64: C2AB36AF71288F47 Time : 2046.0 sec. user=vaughan [2010-07-02 23:31:00] 411*2^838969-1 is not prime. Res64: CDDB250BC6ADCB59 Time : 34280.0 sec. user=vaughan [2010-07-02 23:32:57] 489*2^838945-1 is not prime. Res64: 20A7D14C8DA1FD85 Time : 39700.0 sec. user=vaughan [2010-07-02 23:33:20] 465*2^838976-1 is not prime. Res64: 4CEE6ACBBD192AFB Time : 32498.0 sec. user=vaughan [2010-07-02 23:35:20] 517*2^838897-1 is not prime. Res64: 71D12F703C2DACC1 Time : 50933.0 sec. user=vaughan [2010-07-02 23:35:33] 511*2^839117-1 is not prime. Res64: 02F076E2E7DED451 Time : 1984.0 sec. user=vaughan [2010-07-02 23:36:29] 425*2^838928-1 is not prime. Res64: 32498848D0787568 Time : 44190.0 sec. user=vaughan [2010-07-02 23:39:05] 507*2^838972-1 is not prime. Res64: FF575B39697A14B9 Time : 34208.0 sec. user=vaughan [2010-07-02 23:42:44] 521*2^838890-1 is not prime. Res64: AE9858323FB01CD1 Time : 52504.0 sec. user=vaughan [2010-07-02 23:42:50] 477*2^839122-1 is not prime. Res64: 208F4AF0C368D077 Time : 840.0 sec. user=vaughan [2010-07-02 23:44:02] 501*2^838979-1 is not prime. Res64: 856F747BCC7F09C2 Time : 32327.0 sec. user=vaughan [2010-07-02 23:44:22] 525*2^838898-1 is not prime. Res64: 25BB3DC637D501A0 Time : 51215.0 sec. user=vaughan [2010-07-02 23:45:06] 527*2^839118-1 is not prime. Res64: 8064BABD6BD96911 Time : 2052.0 sec. user=vaughan [2010-07-02 23:48:21] 513*2^838974-1 is not prime. Res64: 508777032A2DCE68 Time : 34282.0 sec. user=vaughan [2010-07-02 23:48:21] 437*2^838988-1 is not prime. Res64: EB6DF26F85CEE624 Time : 30703.0 sec. user=Flatlander [2010-07-02 23:48:45] 525*2^839110-1 is not prime. Res64: FA88CBE031F3E51A Time : 4142.0 sec. user=Flatlander [2010-07-02 23:48:46] 555*2^839110-1 is not prime. Res64: 232AD38533BD17FA Time : 4142.0 sec. user=Flatlander [2010-07-02 23:48:47] 439*2^839111-1 is not prime. Res64: 18BF31A0173426EA Time : 4141.0 sec. user=Flatlander [2010-07-02 23:48:48] 425*2^839112-1 is not prime. Res64: 9A79882FE9E8DAFE Time : 4141.0 sec. user=Flatlander [2010-07-02 23:48:49] 479*2^839112-1 is not prime. Res64: 131892A8F614333F Time : 4140.0 sec. user=vaughan [2010-07-02 23:49:40] 555*2^838980-1 is not prime. Res64: 0AF2BE4593C07C04 Time : 32499.0 sec. user=vaughan [2010-07-02 23:50:03] 525*2^839119-1 is not prime. Res64: 128D994BDF6CB290 Time : 2034.0 sec. user=vaughan [2010-07-02 23:53:22] 507*2^839121-1 is not prime. Res64: F22FB17B24C4F808 Time : 1836.0 sec. user=vaughan [2010-07-02 23:54:25] 465*2^838914-1 is not prime. Res64: 08FB25EECF0DB986 Time : 48163.0 sec. user=vaughan [2010-07-02 23:54:36] 471*2^838926-1 is not prime. Res64: 25FC0F0D45CF419E Time : 45718.0 sec. user=vaughan [2010-07-02 23:54:49] 453*2^838954-1 is not prime. Res64: 85C6E2B056449F4E Time : 39349.0 sec. user=vaughan [2010-07-02 23:56:22] 493*2^838975-1 is not prime. Res64: 52C5EB9368DA163F Time : 34209.0 sec. user=vaughan [2010-07-02 23:56:49] 513*2^839124-1 is not prime. Res64: 884EC8E4A954AE79 Time : 839.0 sec. user=vaughan [2010-07-03 00:00:20] 411*2^838985-1 is not prime. Res64: 71161A407FAB0DFB Time : 32329.0 sec.