user=vaughan [2009-08-11 00:01:24] 751*2^709971-1 is not prime. Res64: 2A0B215B359C065A Time : 596.0 sec. user=vaughan [2009-08-11 00:03:22] 709*2^709971-1 is not prime. Res64: 25A0E7894414B0B0 Time : 830.0 sec. user=vaughan [2009-08-11 00:06:27] 665*2^709972-1 is not prime. Res64: A00A34C91282E799 Time : 739.0 sec. user=vaughan [2009-08-11 00:06:50] 615*2^709972-1 is not prime. Res64: 3583B55A7E91DCB0 Time : 776.0 sec. user=vaughan [2009-08-11 00:07:42] 677*2^709972-1 is not prime. Res64: A0C276E121ABEFD3 Time : 811.0 sec. user=vaughan [2009-08-11 00:07:43] 657*2^709972-1 is not prime. Res64: 4CD33735F73A5129 Time : 822.0 sec. user=vaughan [2009-08-11 00:09:04] 789*2^709973-1 is not prime. Res64: DC41BF1FD99F70A8 Time : 594.0 sec. user=vaughan [2009-08-11 00:09:15] 681*2^709974-1 is not prime. Res64: 2FAB1186E3D8926A Time : 562.0 sec. user=vaughan [2009-08-11 00:09:28] 651*2^709973-1 is not prime. Res64: C1954A826AD31B1C Time : 893.0 sec. user=vaughan [2009-08-11 00:09:30] 677*2^709974-1 is not prime. Res64: DB359BEAA19693E3 Time : 595.0 sec. user=vaughan [2009-08-11 00:09:56] 769*2^709973-1 is not prime. Res64: 79A4FE892C834750 Time : 768.0 sec. user=vaughan [2009-08-11 00:11:21] 683*2^709974-1 is not prime. Res64: 1A2A7B6758F383CB Time : 597.0 sec. user=vaughan [2009-08-11 00:16:17] 757*2^709973-1 is not prime. Res64: C7F9AAA7D85B3BDD Time : 1274.0 sec. user=vaughan [2009-08-11 00:18:39] 695*2^709974-1 is not prime. Res64: F1A87B1354D50D9B Time : 918.0 sec. user=vaughan [2009-08-11 00:18:43] 645*2^709975-1 is not prime. Res64: 836B52D42D4EA37F Time : 568.0 sec. user=vaughan [2009-08-11 00:19:12] 765*2^709974-1 is not prime. Res64: 580A3C9D1D343D8E Time : 742.0 sec. user=vaughan [2009-08-11 00:19:14] 639*2^709975-1 is not prime. Res64: 0A1BAF39D646116D Time : 610.0 sec. user=vaughan [2009-08-11 00:19:40] 635*2^709976-1 is not prime. Res64: 0A63894D3CCAB576 Time : 610.0 sec. user=vaughan [2009-08-11 00:19:40] 717*2^709974-1 is not prime. Res64: C05358A859C11894 Time : 794.0 sec. user=vaughan [2009-08-11 00:20:28] 773*2^709974-1 is not prime. Res64: 2CDDA2606B32DC25 Time : 766.0 sec. user=vaughan [2009-08-11 00:20:54] 625*2^709975-1 is not prime. Res64: 7164CDF99C7B68CA Time : 791.0 sec. user=vaughan [2009-08-11 00:21:27] 747*2^709976-1 is not prime. Res64: E39BA75A5661FC37 Time : 607.0 sec. user=vaughan [2009-08-11 00:21:58] 659*2^709976-1 is not prime. Res64: 8AD327CED93EB022 Time : 723.0 sec. user=tnerual [2009-08-11 00:22:39] 793*2^709971-1 is not prime. Res64: 3B5520186B97A61B Time : 1822.0 sec. user=vaughan [2009-08-11 00:25:12] 685*2^709975-1 is not prime. Res64: 1151628A9E718341 Time : 944.0 sec. user=vaughan [2009-08-11 00:28:14] 631*2^709979-1 is not prime. Res64: 7E1C61C6FA90EF5F Time : 572.0 sec. user=vaughan [2009-08-11 00:29:19] 703*2^709979-1 is not prime. Res64: D1CE805563DEDDC6 Time : 606.0 sec. user=vaughan [2009-08-11 00:29:48] 705*2^709979-1 is not prime. Res64: 2AE27BA5637CA18B Time : 608.0 sec. user=vaughan [2009-08-11 00:31:00] 645*2^709979-1 is not prime. Res64: E1E92520B40C0195 Time : 708.0 sec. user=vaughan [2009-08-11 00:31:29] 725*2^709980-1 is not prime. Res64: 5B76D159D09DF6A1 Time : 603.0 sec. user=vaughan [2009-08-11 00:34:27] 795*2^709980-1 is not prime. Res64: 7B237109C2912C80 Time : 749.0 sec. user=vaughan [2009-08-11 00:34:29] 635*2^709980-1 is not prime. Res64: B9E227EDFB010D98 Time : 815.0 sec. user=vaughan [2009-08-11 00:34:29] 711*2^709979-1 is not prime. Res64: 07BD3131BFDC4E64 Time : 889.0 sec. user=vaughan [2009-08-11 00:34:32] 799*2^709979-1 is not prime. Res64: DA41D35D072D89EB Time : 845.0 sec. user=vaughan [2009-08-11 00:34:35] 621*2^709979-1 is not prime. Res64: AA0FD332400F40D1 Time : 956.0 sec. user=vaughan [2009-08-11 00:34:47] 635*2^709978-1 is not prime. Res64: A922BC4B770D97AA Time : 1111.0 sec. user=vaughan [2009-08-11 00:37:44] 681*2^709981-1 is not prime. Res64: 417350A82451B78F Time : 571.0 sec. user=vaughan [2009-08-11 00:39:27] 715*2^709981-1 is not prime. Res64: 765579223FA0D3CB Time : 609.0 sec. user=vaughan [2009-08-11 00:39:58] 741*2^709981-1 is not prime. Res64: D7358D5188230511 Time : 610.0 sec. user=vaughan [2009-08-11 00:41:08] 639*2^709981-1 is not prime. Res64: C9956255162385DA Time : 956.0 sec. user=vaughan [2009-08-11 00:41:39] 711*2^709982-1 is not prime. Res64: 50BD888A22B67A76 Time : 610.0 sec. user=vaughan [2009-08-11 00:42:41] 683*2^709982-1 is not prime. Res64: FC00CC714544E780 Time : 701.0 sec. user=vaughan [2009-08-11 00:46:11] 747*2^709982-1 is not prime. Res64: 9D2437EA0B600710 Time : 705.0 sec. user=vaughan [2009-08-11 00:47:12] 771*2^709982-1 is not prime. Res64: 8EE7E6A1BCFE9AFA Time : 763.0 sec. user=vaughan [2009-08-11 00:47:14] 793*2^709983-1 is not prime. Res64: 41016A120F63F97D Time : 570.0 sec. user=vaughan [2009-08-11 00:47:52] 765*2^709983-1 is not prime. Res64: 2D5DF3F1855E0A7F Time : 739.0 sec. user=vaughan [2009-08-11 00:48:12] 785*2^709982-1 is not prime. Res64: 1904597204462B9A Time : 823.0 sec. user=vaughan [2009-08-11 00:49:34] 609*2^709984-1 is not prime. Res64: 13513688F59121D8 Time : 608.0 sec. user=vaughan [2009-08-11 00:50:11] 623*2^709984-1 is not prime. Res64: CC042C6A177A4C6C Time : 614.0 sec. user=vaughan [2009-08-11 00:50:19] 643*2^709983-1 is not prime. Res64: 5A6F1B5B4DE9C890 Time : 944.0 sec. user=vaughan [2009-08-11 00:51:45] 601*2^709985-1 is not prime. Res64: C8FC9459580601FE Time : 607.0 sec. user=vaughan [2009-08-11 00:53:15] 703*2^709983-1 is not prime. Res64: 6B1C30DCC0A51AB7 Time : 1109.0 sec. user=tnerual [2009-08-11 00:54:50] 621*2^709981-1 is not prime. Res64: 9D8DD276B07F456E Time : 1931.0 sec. user=vaughan [2009-08-11 00:54:57] 645*2^709985-1 is not prime. Res64: EBF785CEFA998D35 Time : 736.0 sec. user=vaughan [2009-08-11 00:56:37] 697*2^709985-1 is not prime. Res64: 4A6976FBF397E96E Time : 563.0 sec. user=vaughan [2009-08-11 00:57:49] 639*2^709984-1 is not prime. Res64: 6414D1405891BF77 Time : 1002.0 sec. user=vaughan [2009-08-11 00:58:36] 675*2^709985-1 is not prime. Res64: 8796CDED17D3B548 Time : 745.0 sec. user=vaughan [2009-08-11 00:59:27] 735*2^709986-1 is not prime. Res64: 8E308FB120AF111E Time : 593.0 sec. user=vaughan [2009-08-11 01:00:04] 619*2^709987-1 is not prime. Res64: 7C657517E923D2D2 Time : 593.0 sec. user=vaughan [2009-08-11 01:00:33] 691*2^709985-1 is not prime. Res64: DA8BF211E02EB691 Time : 801.0 sec. user=vaughan [2009-08-11 01:00:50] 705*2^709985-1 is not prime. Res64: CD5080A8F762A411 Time : 779.0 sec. user=vaughan [2009-08-11 01:01:19] 759*2^709985-1 is not prime. Res64: 464E0EF9FF6E6437 Time : 788.0 sec. user=vaughan [2009-08-11 01:01:39] 663*2^709987-1 is not prime. Res64: DEFC26ADAA64ACEC Time : 594.0 sec. user=vaughan [2009-08-11 01:05:57] 645*2^709987-1 is not prime. Res64: 6080AC6283207B3A Time : 939.0 sec. user=vaughan [2009-08-11 01:06:01] 615*2^709988-1 is not prime. Res64: DF32B9A6A8A11182 Time : 565.0 sec. user=vaughan [2009-08-11 01:07:37] 699*2^709987-1 is not prime. Res64: AE6ECC06A5D25AF7 Time : 760.0 sec. user=vaughan [2009-08-11 01:09:18] 789*2^709989-1 is not prime. Res64: 008C6E113ABA2045 Time : 591.0 sec. user=vaughan [2009-08-11 01:09:53] 603*2^709990-1 is not prime. Res64: CEFEE5D60C0ADEDB Time : 590.0 sec. user=vaughan [2009-08-11 01:11:08] 751*2^709989-1 is not prime. Res64: D4B586DADA5E0A94 Time : 752.0 sec. user=vaughan [2009-08-11 01:11:30] 609*2^709991-1 is not prime. Res64: 9554A6B2A56706DA Time : 591.0 sec. user=vaughan [2009-08-11 01:12:47] 673*2^709987-1 is not prime. Res64: 07622C4279C6BA1A Time : 1173.0 sec. user=vaughan [2009-08-11 01:13:51] 657*2^709990-1 is not prime. Res64: E6B6F9720D56F3BF Time : 781.0 sec. user=vaughan [2009-08-11 01:14:02] 645*2^709990-1 is not prime. Res64: 03AC2526A37F973D Time : 809.0 sec. user=vaughan [2009-08-11 01:14:04] 713*2^709990-1 is not prime. Res64: AA72C1FA5A654533 Time : 765.0 sec. user=vaughan [2009-08-11 01:14:49] 655*2^709989-1 is not prime. Res64: C1A71A3C6604C52C Time : 1020.0 sec. user=vaughan [2009-08-11 01:15:24] 621*2^709991-1 is not prime. Res64: FF6310CA1E4CFE84 Time : 563.0 sec. user=vaughan [2009-08-11 01:19:11] 685*2^709991-1 is not prime. Res64: DD4996BDF63BC40E Time : 594.0 sec. user=vaughan [2009-08-11 01:19:45] 711*2^709991-1 is not prime. Res64: 74BBAAA1FA8AC974 Time : 592.0 sec. user=vaughan [2009-08-11 01:20:15] 649*2^709991-1 is not prime. Res64: 131DB1F07A323B15 Time : 758.0 sec. user=vaughan [2009-08-11 01:21:20] 635*2^709992-1 is not prime. Res64: 4F9100451117B1FC Time : 590.0 sec. user=vaughan [2009-08-11 01:21:37] 619*2^709991-1 is not prime. Res64: ED35708B2B516699 Time : 940.0 sec. user=vaughan [2009-08-11 01:23:42] 615*2^709992-1 is not prime. Res64: 29807954887171B9 Time : 754.0 sec. user=vaughan [2009-08-11 01:24:45] 705*2^709993-1 is not prime. Res64: 3AD366662723EFE8 Time : 561.0 sec. user=tnerual [2009-08-11 01:26:36] 685*2^709987-1 is not prime. Res64: A7EF5B23D60DA69B Time : 1906.0 sec. user=vaughan [2009-08-11 01:27:08] 669*2^709992-1 is not prime. Res64: A527AC140C4EE651 Time : 797.0 sec. user=vaughan [2009-08-11 01:27:36] 693*2^709992-1 is not prime. Res64: 63EE643F4ACF2AB0 Time : 814.0 sec. user=vaughan [2009-08-11 01:27:48] 713*2^709992-1 is not prime. Res64: C81A02A57132701A Time : 824.0 sec. user=vaughan [2009-08-11 01:28:56] 745*2^709993-1 is not prime. Res64: 95356702AA5A8F04 Time : 585.0 sec. user=vaughan [2009-08-11 01:29:07] 665*2^709992-1 is not prime. Res64: D6A2E8D5048ACC9C Time : 981.0 sec. user=vaughan [2009-08-11 01:29:29] 765*2^709993-1 is not prime. Res64: 8B78144D6DB86E0E Time : 584.0 sec. user=vaughan [2009-08-11 01:30:25] 699*2^709993-1 is not prime. Res64: C9EC0F70B65ABF1E Time : 936.0 sec. user=vaughan [2009-08-11 01:32:05] 641*2^709994-1 is not prime. Res64: 5076B2861C9D728A Time : 646.0 sec. user=vaughan [2009-08-11 01:33:07] 635*2^709994-1 is not prime. Res64: 8FBAA432BE5E2ADE Time : 772.0 sec. user=vaughan [2009-08-11 01:34:02] 755*2^709994-1 is not prime. Res64: 17D10C93301BDAB9 Time : 558.0 sec. user=vaughan [2009-08-11 01:36:27] 711*2^709994-1 is not prime. Res64: 32B1C8A9D35BA9DB Time : 765.0 sec. user=vaughan [2009-08-11 01:36:38] 677*2^709994-1 is not prime. Res64: 762D94A7FF226820 Time : 901.0 sec. user=vaughan [2009-08-11 01:39:09] 695*2^709996-1 is not prime. Res64: 1C16BAEC732749D3 Time : 613.0 sec. user=vaughan [2009-08-11 01:39:43] 707*2^709996-1 is not prime. Res64: 8D62702DD6B6C813 Time : 614.0 sec. user=vaughan [2009-08-11 01:40:38] 751*2^709995-1 is not prime. Res64: 049D8980D03A4D8C Time : 810.0 sec. user=vaughan [2009-08-11 01:41:17] 795*2^709995-1 is not prime. Res64: 54BD7F5CC535557A Time : 821.0 sec. user=vaughan [2009-08-11 01:41:38] 615*2^709996-1 is not prime. Res64: E19FDDFE5230C785 Time : 830.0 sec. user=vaughan [2009-08-11 01:42:48] 619*2^709997-1 is not prime. Res64: 80CCFB47001E09B4 Time : 643.0 sec. user=vaughan [2009-08-11 01:43:44] 727*2^709997-1 is not prime. Res64: D589F5F4B773F054 Time : 582.0 sec. user=vaughan [2009-08-11 01:45:11] 705*2^709996-1 is not prime. Res64: F77198D2F80FB334 Time : 965.0 sec. user=vaughan [2009-08-11 01:45:34] 749*2^709996-1 is not prime. Res64: 82EC12DD38B37445 Time : 910.0 sec. user=vaughan [2009-08-11 01:45:58] 691*2^709997-1 is not prime. Res64: 9FFE8CD472A188DB Time : 771.0 sec. user=vaughan [2009-08-11 01:49:13] 757*2^709997-1 is not prime. Res64: EBC3395599FEF287 Time : 766.0 sec. user=vaughan [2009-08-11 01:49:38] 663*2^709998-1 is not prime. Res64: 5DF2335A1C6E73B5 Time : 629.0 sec. user=vaughan [2009-08-11 01:50:21] 725*2^709998-1 is not prime. Res64: E2FA6B7FD2D1DE3B Time : 638.0 sec. user=vaughan [2009-08-11 01:51:43] 611*2^709998-1 is not prime. Res64: DE50EDBB3A62EF09 Time : 905.0 sec. user=vaughan [2009-08-11 01:53:21] 729*2^709999-1 is not prime. Res64: 8FF5E5E6F9C9EAEB Time : 633.0 sec. user=vaughan [2009-08-11 01:53:28] 741*2^709999-1 is not prime. Res64: 843BFEB426BC2E3C Time : 584.0 sec. user=vaughan [2009-08-11 01:54:13] 777*2^709998-1 is not prime. Res64: 4EE1231BFE206611 Time : 815.0 sec. user=vaughan [2009-08-11 01:55:06] 625*2^709999-1 is not prime. Res64: B1AD32C2FDB46D33 Time : 829.0 sec. user=vaughan [2009-08-11 01:55:16] 675*2^709999-1 is not prime. Res64: 9A88DF26A3CEB8D8 Time : 819.0 sec. user=tnerual [2009-08-11 01:56:57] 709*2^709995-1 is not prime. Res64: A934A686FA9DA121 Time : 1822.0 sec. user=vaughan [2009-08-11 01:58:53] 609*2^710000-1 is not prime. Res64: 7C72F190720984EA Time : 775.0 sec. user=vaughan [2009-08-11 02:00:20] 675*2^710000-1 is not prime. Res64: CF3CFD4A4BE823EB Time : 642.0 sec. user=vaughan [2009-08-11 02:01:00] 735*2^710000-1 is not prime. Res64: 685AACF2049D25F7 Time : 639.0 sec. user=vaughan [2009-08-11 02:01:45] 665*2^710000-1 is not prime. Res64: FF133DE82F3392F1 Time : 752.0 sec. user=vaughan [2009-08-11 02:01:47] 603*2^710000-1 is not prime. Res64: 264A05755E35C44D Time : 973.0 sec. user=vaughan [2009-08-11 02:03:12] 681*2^710002-1 is not prime. Res64: 262DFA529D426589 Time : 585.0 sec. user=vaughan [2009-08-11 02:04:02] 645*2^710002-1 is not prime. Res64: 863F52998F41E02F Time : 641.0 sec. user=vaughan [2009-08-11 02:06:22] 771*2^709999-1 is not prime. Res64: A6B6BEEB5933598E Time : 1271.0 sec. user=vaughan [2009-08-11 02:07:17] 695*2^710002-1 is not prime. Res64: 3FB9271C9E09141B Time : 785.0 sec. user=vaughan [2009-08-11 02:07:24] 679*2^710001-1 is not prime. Res64: 0EFD15AA32285339 Time : 941.0 sec. user=vaughan [2009-08-11 02:08:25] 741*2^710002-1 is not prime. Res64: B775016ED9550590 Time : 800.0 sec. user=vaughan [2009-08-11 02:08:44] 673*2^710003-1 is not prime. Res64: F41FFF66B08C8B63 Time : 808.0 sec. user=vaughan [2009-08-11 02:11:03] 635*2^710004-1 is not prime. Res64: 344EB1F61BBA3B5E Time : 643.0 sec. user=vaughan [2009-08-11 02:11:12] 629*2^710004-1 is not prime. Res64: 46594A16F76ABA07 Time : 739.0 sec. user=vaughan [2009-08-11 02:11:51] 689*2^710004-1 is not prime. Res64: E1AE788CB93B6871 Time : 651.0 sec. user=vaughan [2009-08-11 02:12:58] 687*2^710005-1 is not prime. Res64: DE6430ED07D3C1BB Time : 587.0 sec. user=vaughan [2009-08-11 02:14:05] 749*2^710004-1 is not prime. Res64: 8BC25A0558EFAF29 Time : 740.0 sec. user=vaughan [2009-08-11 02:14:43] 691*2^710005-1 is not prime. Res64: CD27DD159BFB9609 Time : 641.0 sec. user=vaughan [2009-08-11 02:18:19] 651*2^710005-1 is not prime. Res64: 69214823FD918D0B Time : 992.0 sec. user=vaughan [2009-08-11 02:20:55] 741*2^710005-1 is not prime. Res64: 4695A605BE99DE88 Time : 818.0 sec. user=vaughan [2009-08-11 02:21:36] 671*2^710006-1 is not prime. Res64: 9E5574C62DAD7830 Time : 634.0 sec. user=vaughan [2009-08-11 02:22:19] 641*2^710006-1 is not prime. Res64: 2CEC24FA0AE3D2AB Time : 815.0 sec. user=vaughan [2009-08-11 02:22:19] 615*2^710006-1 is not prime. Res64: FC82262A43E2F86A Time : 834.0 sec. user=vaughan [2009-08-11 02:22:22] 683*2^710006-1 is not prime. Res64: 4661387619C446DE Time : 631.0 sec. user=vaughan [2009-08-11 02:22:39] 705*2^710006-1 is not prime. Res64: 46E2A2FE1BDB6040 Time : 582.0 sec. user=vaughan [2009-08-11 02:23:18] 775*2^710005-1 is not prime. Res64: 0D2B385ADEC2B768 Time : 954.0 sec. user=vaughan [2009-08-11 02:24:03] 677*2^710006-1 is not prime. Res64: 8BED6F4029D4D7A6 Time : 772.0 sec. user=vaughan [2009-08-11 02:24:34] 729*2^710005-1 is not prime. Res64: 1C22BAB0F845859E Time : 1092.0 sec. user=vaughan [2009-08-11 02:25:14] 723*2^710008-1 is not prime. Res64: FAD35815CB48CC65 Time : 631.0 sec. user=vaughan [2009-08-11 02:26:49] 693*2^710007-1 is not prime. Res64: CB0350B3C95EE997 Time : 764.0 sec. user=tnerual [2009-08-11 02:27:14] 735*2^710003-1 is not prime. Res64: 17E957ABD777F10B Time : 1817.0 sec. user=vaughan [2009-08-11 02:32:06] 773*2^710010-1 is not prime. Res64: F98EA6CEE8BEBE56 Time : 630.0 sec. user=vaughan [2009-08-11 02:32:17] 733*2^710011-1 is not prime. Res64: 16D4A5AB892B60B9 Time : 579.0 sec. user=vaughan [2009-08-11 02:32:47] 651*2^710011-1 is not prime. Res64: 0A7860B69F7EA87A Time : 625.0 sec. user=vaughan [2009-08-11 02:34:33] 633*2^710010-1 is not prime. Res64: 5E09AFBACEEF3E6C Time : 818.0 sec. user=vaughan [2009-08-11 02:34:36] 685*2^710009-1 is not prime. Res64: 366CF482D90AC32A Time : 977.0 sec. user=vaughan [2009-08-11 02:35:37] 603*2^710012-1 is not prime. Res64: 218DD893BC78106F Time : 623.0 sec. user=vaughan [2009-08-11 02:36:16] 649*2^710011-1 is not prime. Res64: 19211B7A38418EC2 Time : 837.0 sec. user=vaughan [2009-08-11 02:36:36] 797*2^710010-1 is not prime. Res64: D085A0113E6D726E Time : 857.0 sec. user=vaughan [2009-08-11 02:36:55] 745*2^710011-1 is not prime. Res64: C8B6D1B028FB21B4 Time : 772.0 sec. user=vaughan [2009-08-11 02:38:28] 735*2^710011-1 is not prime. Res64: 98F64BFD54DD60F7 Time : 911.0 sec. user=vaughan [2009-08-11 02:39:31] 633*2^710012-1 is not prime. Res64: C6301778F8F65974 Time : 762.0 sec. user=vaughan [2009-08-11 02:41:18] 771*2^710011-1 is not prime. Res64: E71F788CCC4750DA Time : 1004.0 sec. user=vaughan [2009-08-11 02:41:57] 687*2^710012-1 is not prime. Res64: 83095AD16670ED04 Time : 580.0 sec. user=vaughan [2009-08-11 02:42:28] 683*2^710012-1 is not prime. Res64: 9DC6599780C8AE7A Time : 623.0 sec. user=vaughan [2009-08-11 02:43:12] 735*2^710012-1 is not prime. Res64: DF834C8F314F9927 Time : 625.0 sec. user=vaughan [2009-08-11 02:45:50] 787*2^710013-1 is not prime. Res64: C4F4E208D977B857 Time : 613.0 sec. user=vaughan [2009-08-11 02:47:46] 755*2^710012-1 is not prime. Res64: EDE43F5860D018EF Time : 793.0 sec. user=vaughan [2009-08-11 02:49:23] 603*2^710015-1 is not prime. Res64: 80D6BE635DAA5BCB Time : 749.0 sec. user=vaughan [2009-08-11 02:49:38] 717*2^710014-1 is not prime. Res64: D1EBB8A8FBFFCFAE Time : 802.0 sec. user=vaughan [2009-08-11 02:50:46] 621*2^710013-1 is not prime. Res64: 8F740949BEE948B5 Time : 970.0 sec. user=vaughan [2009-08-11 02:51:02] 765*2^710014-1 is not prime. Res64: F4AAAD442201A3C9 Time : 866.0 sec. user=vaughan [2009-08-11 02:51:27] 609*2^710016-1 is not prime. Res64: 0CBE388F266F2425 Time : 570.0 sec. user=vaughan [2009-08-11 02:51:53] 781*2^710015-1 is not prime. Res64: 03101373E626E3B5 Time : 742.0 sec. user=vaughan [2009-08-11 02:52:26] 653*2^710016-1 is not prime. Res64: E05ED3FD616E6221 Time : 599.0 sec. user=vaughan [2009-08-11 02:53:15] 705*2^710016-1 is not prime. Res64: D95B4BC6CD0A114D Time : 603.0 sec. user=vaughan [2009-08-11 02:53:38] 619*2^710015-1 is not prime. Res64: 47CF26C86AF66FDF Time : 910.0 sec. user=vaughan [2009-08-11 02:56:05] 735*2^710016-1 is not prime. Res64: 0913B505891E4F00 Time : 615.0 sec. user=tnerual [2009-08-11 02:57:33] 677*2^710012-1 is not prime. Res64: 67D289378E0DB45D Time : 1819.0 sec. user=vaughan [2009-08-11 02:59:06] 789*2^710015-1 is not prime. Res64: 5F49118A157CBD3B Time : 1068.0 sec. user=vaughan [2009-08-11 03:00:56] 683*2^710018-1 is not prime. Res64: E62F01A63B58A19A Time : 570.0 sec. user=vaughan [2009-08-11 03:01:26] 765*2^710016-1 is not prime. Res64: F65BFF6A5C063A9A Time : 820.0 sec. user=vaughan [2009-08-11 03:02:02] 767*2^710016-1 is not prime. Res64: 389C1D76BCA0A823 Time : 759.0 sec. user=vaughan [2009-08-11 03:02:30] 797*2^710018-1 is not prime. Res64: ACBB40DB33D8CD8E Time : 604.0 sec. user=vaughan [2009-08-11 03:03:09] 639*2^710017-1 is not prime. Res64: E867F45C364969D2 Time : 811.0 sec. user=vaughan [2009-08-11 03:03:15] 649*2^710019-1 is not prime. Res64: 3C0835612E32A7DE Time : 600.0 sec. user=vaughan [2009-08-11 03:05:18] 671*2^710018-1 is not prime. Res64: 746545EFA7DD4FB1 Time : 856.0 sec. user=vaughan [2009-08-11 03:05:45] 641*2^710018-1 is not prime. Res64: 21B85C4AAD450C2C Time : 899.0 sec. user=vaughan [2009-08-11 03:05:49] 691*2^710019-1 is not prime. Res64: 39853DB03592479F Time : 584.0 sec. user=vaughan [2009-08-11 03:07:45] 679*2^710019-1 is not prime. Res64: 93D71A105C4AE629 Time : 847.0 sec. user=vaughan [2009-08-11 03:10:08] 735*2^710019-1 is not prime. Res64: 07386FA74A35BE10 Time : 553.0 sec. user=vaughan [2009-08-11 03:12:04] 627*2^710021-1 is not prime. Res64: 9BBFEADD7D6262F7 Time : 574.0 sec. user=vaughan [2009-08-11 03:12:49] 775*2^710021-1 is not prime. Res64: 1D5E9E245A0434A3 Time : 574.0 sec. user=vaughan [2009-08-11 03:15:20] 679*2^710023-1 is not prime. Res64: BE8FAACA2F7EDD47 Time : 571.0 sec. user=vaughan [2009-08-11 03:15:40] 711*2^710021-1 is not prime. Res64: AEF73211DB0587E5 Time : 751.0 sec. user=vaughan [2009-08-11 03:15:54] 609*2^710020-1 is not prime. Res64: 5B324CD1AAD33C5A Time : 832.0 sec. user=vaughan [2009-08-11 03:16:01] 773*2^710018-1 is not prime. Res64: 8A6B11C5E5F31945 Time : 1448.0 sec. user=vaughan [2009-08-11 03:16:05] 753*2^710019-1 is not prime. Res64: 83B64E75572E88B0 Time : 879.0 sec. user=vaughan [2009-08-11 03:17:59] 709*2^710019-1 is not prime. Res64: 0AE0EFF6F2F678B0 Time : 1133.0 sec. user=vaughan [2009-08-11 03:19:07] 789*2^710021-1 is not prime. Res64: 6BEBA971F8843E25 Time : 829.0 sec. user=vaughan [2009-08-11 03:19:17] 663*2^710024-1 is not prime. Res64: C0EFC02A133D8F2A Time : 550.0 sec. user=vaughan [2009-08-11 03:19:18] 603*2^710023-1 is not prime. Res64: CFCFCD7B65331905 Time : 813.0 sec. user=vaughan [2009-08-11 03:21:15] 775*2^710023-1 is not prime. Res64: 2EEFC9326BBD806A Time : 810.0 sec. user=vaughan [2009-08-11 03:21:33] 675*2^710024-1 is not prime. Res64: 989A10D13C578DC4 Time : 570.0 sec. user=vaughan [2009-08-11 03:22:21] 785*2^710024-1 is not prime. Res64: D4893302AB0A418E Time : 572.0 sec. user=vaughan [2009-08-11 03:24:51] 609*2^710025-1 is not prime. Res64: 6F08937D74EC6D99 Time : 571.0 sec. user=tnerual [2009-08-11 03:28:02] 703*2^710019-1 is not prime. Res64: E808ACE2DF7C4544 Time : 1829.0 sec. user=vaughan [2009-08-11 03:28:05] 737*2^710026-1 is not prime. Res64: 0A93AC74770F65F6 Time : 528.0 sec. user=vaughan [2009-08-11 03:28:05] 625*2^710025-1 is not prime. Res64: 63239EFF0DF04C56 Time : 745.0 sec. user=vaughan [2009-08-11 03:28:41] 759*2^710025-1 is not prime. Res64: 78287702EE26CEAE Time : 756.0 sec. user=vaughan [2009-08-11 03:29:10] 669*2^710025-1 is not prime. Res64: FD361AA495143D50 Time : 797.0 sec. user=vaughan [2009-08-11 03:29:45] 717*2^710025-1 is not prime. Res64: 756F113C84D65D99 Time : 824.0 sec. user=vaughan [2009-08-11 03:30:41] 777*2^710028-1 is not prime. Res64: E1C635E4DB2C6ED6 Time : 548.0 sec. user=vaughan [2009-08-11 03:31:30] 661*2^710029-1 is not prime. Res64: E9F7B20E7E09A897 Time : 549.0 sec. user=vaughan [2009-08-11 03:32:58] 653*2^710026-1 is not prime. Res64: 06CDEACC46AFD38A Time : 832.0 sec. user=vaughan [2009-08-11 03:32:58] 639*2^710028-1 is not prime. Res64: 554EF40CD49264A2 Time : 820.0 sec. user=vaughan [2009-08-11 03:33:58] 667*2^710029-1 is not prime. Res64: 6A864F924A626DD3 Time : 548.0 sec. user=vaughan [2009-08-11 03:34:52] 663*2^710028-1 is not prime. Res64: F46205546E135D35 Time : 817.0 sec. user=vaughan [2009-08-11 03:35:30] 781*2^710025-1 is not prime. Res64: B50E0738DE669E67 Time : 1052.0 sec. user=vaughan [2009-08-11 03:37:12] 603*2^710030-1 is not prime. Res64: C2C0FE7589EA877E Time : 548.0 sec. user=vaughan [2009-08-11 03:40:21] 623*2^710030-1 is not prime. Res64: 3EA468E9E1D49A4E Time : 736.0 sec. user=vaughan [2009-08-11 03:40:32] 661*2^710031-1 is not prime. Res64: C8B1C1FC7A7C089B Time : 591.0 sec. user=vaughan [2009-08-11 03:41:04] 741*2^710030-1 is not prime. Res64: 80396424382E0245 Time : 743.0 sec. user=vaughan [2009-08-11 03:41:34] 703*2^710031-1 is not prime. Res64: 95553529DB5C83EE Time : 604.0 sec. user=vaughan [2009-08-11 03:42:08] 795*2^710030-1 is not prime. Res64: 98630E765EEABE53 Time : 779.0 sec. user=vaughan [2009-08-11 03:43:04] 649*2^710031-1 is not prime. Res64: 358036C622C29061 Time : 799.0 sec. user=vaughan [2009-08-11 03:44:13] 687*2^710032-1 is not prime. Res64: BCC32A6482302115 Time : 615.0 sec. user=vaughan [2009-08-11 03:45:37] 775*2^710031-1 is not prime. Res64: 1A875385AF059114 Time : 760.0 sec. user=vaughan [2009-08-11 03:46:51] 615*2^710033-1 is not prime. Res64: 000E3390A98B2DFF Time : 579.0 sec. user=vaughan [2009-08-11 03:47:43] 675*2^710032-1 is not prime. Res64: D38C876B5936C481 Time : 885.0 sec. user=vaughan [2009-08-11 03:49:13] 743*2^710032-1 is not prime. Res64: 9F8FDC0CD90DADDD Time : 861.0 sec. user=vaughan [2009-08-11 03:50:40] 725*2^710034-1 is not prime. Res64: 0F1236D041B6D63B Time : 608.0 sec. user=vaughan [2009-08-11 03:51:33] 759*2^710035-1 is not prime. Res64: 52E5187377C09F1D Time : 600.0 sec. user=vaughan [2009-08-11 03:52:21] 663*2^710034-1 is not prime. Res64: B59F98AAD4C9F156 Time : 721.0 sec. user=vaughan [2009-08-11 03:53:14] 645*2^710035-1 is not prime. Res64: 4F18383821580FF9 Time : 730.0 sec. user=vaughan [2009-08-11 03:54:01] 615*2^710036-1 is not prime. Res64: 3278E56EB25958FC Time : 589.0 sec. user=vaughan [2009-08-11 03:54:59] 603*2^710036-1 is not prime. Res64: 7107FB4DD5E68A6E Time : 772.0 sec. user=vaughan [2009-08-11 03:55:53] 779*2^710032-1 is not prime. Res64: 61F3CF1E4C7F5316 Time : 1223.0 sec. user=vaughan [2009-08-11 03:55:54] 707*2^710036-1 is not prime. Res64: A276CBAF7DAA8504 Time : 543.0 sec. user=vaughan [2009-08-11 03:56:10] 609*2^710036-1 is not prime. Res64: 55CC2844C4C07FB2 Time : 787.0 sec. user=vaughan [2009-08-11 03:58:26] 635*2^710036-1 is not prime. Res64: 8DB52E0CB521F6EC Time : 769.0 sec. user=tnerual [2009-08-11 03:58:27] 769*2^710029-1 is not prime. Res64: 90EBE3BDB97BFD8C Time : 1825.0 sec. user=vaughan [2009-08-11 04:01:50] 635*2^710038-1 is not prime. Res64: 66F234BFB0C7E98A Time : 670.0 sec. user=vaughan [2009-08-11 04:02:33] 647*2^710038-1 is not prime. Res64: 536A5431AD484269 Time : 661.0 sec. user=vaughan [2009-08-11 04:04:38] 687*2^710038-1 is not prime. Res64: F6E957161396317B Time : 737.0 sec. user=vaughan [2009-08-11 04:05:14] 655*2^710039-1 is not prime. Res64: 4DEA559F94117DDA Time : 673.0 sec. user=vaughan [2009-08-11 04:05:44] 713*2^710038-1 is not prime. Res64: EF696D5DFFC78A5E Time : 750.0 sec. user=vaughan [2009-08-11 04:06:52] 615*2^710041-1 is not prime. Res64: F4043745D626789D Time : 658.0 sec. user=vaughan [2009-08-11 04:07:48] 649*2^710037-1 is not prime. Res64: B17963BCD8464ABF Time : 1115.0 sec. user=vaughan [2009-08-11 04:08:04] 693*2^710039-1 is not prime. Res64: DA7529026AE9FC96 Time : 785.0 sec. user=vaughan [2009-08-11 04:09:31] 637*2^710041-1 is not prime. Res64: C858D636A9587D00 Time : 802.0 sec. user=vaughan [2009-08-11 04:10:50] 675*2^710041-1 is not prime. Res64: 1E7431D2B1ACA1C1 Time : 744.0 sec. user=vaughan [2009-08-11 04:11:08] 623*2^710042-1 is not prime. Res64: 43D2E65DAF3D5211 Time : 558.0 sec. user=vaughan [2009-08-11 04:11:52] 665*2^710042-1 is not prime. Res64: B13ED263FAC29E2E Time : 559.0 sec. user=vaughan [2009-08-11 04:14:46] 741*2^710042-1 is not prime. Res64: CF4B91A66CF183FE Time : 572.0 sec. user=vaughan [2009-08-11 04:16:03] 627*2^710040-1 is not prime. Res64: EC93469FD4EAFE38 Time : 1210.0 sec. user=vaughan [2009-08-11 04:16:33] 721*2^710043-1 is not prime. Res64: B1C6F36F202F621C Time : 581.0 sec. user=vaughan [2009-08-11 04:16:51] 675*2^710042-1 is not prime. Res64: 86EA41CF5237A2F9 Time : 733.0 sec. user=vaughan [2009-08-11 04:18:11] 649*2^710043-1 is not prime. Res64: 61CA3D06CE68ABB5 Time : 747.0 sec. user=vaughan [2009-08-11 04:21:04] 753*2^710043-1 is not prime. Res64: 88C493FBF42EA073 Time : 780.0 sec. user=vaughan [2009-08-11 04:21:22] 697*2^710045-1 is not prime. Res64: 2E89808355802A8E Time : 614.0 sec. user=vaughan [2009-08-11 04:21:53] 621*2^710037-1 is not prime. Res64: BCCCC1B30C1E4C6E Time : 2050.0 sec. user=vaughan [2009-08-11 04:22:06] 777*2^710045-1 is not prime. Res64: 2BB9E9DB666C4E49 Time : 614.0 sec. user=vaughan [2009-08-11 04:22:43] 657*2^710044-1 is not prime. Res64: E8F2CEC2C7A46284 Time : 792.0 sec. user=vaughan [2009-08-11 04:23:27] 675*2^710044-1 is not prime. Res64: C973D9920F5E3AF0 Time : 758.0 sec. user=vaughan [2009-08-11 04:24:51] 787*2^710045-1 is not prime. Res64: 11102633A24A5302 Time : 606.0 sec. user=vaughan [2009-08-11 04:26:35] 717*2^710046-1 is not prime. Res64: 1A5962534FBAE813 Time : 602.0 sec. user=tnerual [2009-08-11 04:28:48] 617*2^710042-1 is not prime. Res64: 78EF1F959043EA41 Time : 1821.0 sec. user=vaughan [2009-08-11 04:28:56] 783*2^710046-1 is not prime. Res64: 42AB0AA5A9EFAACF Time : 725.0 sec. user=vaughan [2009-08-11 04:29:11] 741*2^710043-1 is not prime. Res64: EFE3C73C94E763F0 Time : 1283.0 sec. user=vaughan [2009-08-11 04:30:24] 615*2^710047-1 is not prime. Res64: 487DF083BCECE498 Time : 734.0 sec. user=vaughan [2009-08-11 04:30:55] 703*2^710047-1 is not prime. Res64: 09DD0112B6FE1752 Time : 574.0 sec. user=vaughan [2009-08-11 04:31:39] 775*2^710047-1 is not prime. Res64: 04DE5177C4E6D97C Time : 573.0 sec. user=vaughan [2009-08-11 04:34:00] 681*2^710047-1 is not prime. Res64: 0DF95527326ADBD8 Time : 777.0 sec. user=vaughan [2009-08-11 04:34:14] 665*2^710048-1 is not prime. Res64: 63E00A476B3D4E2C Time : 563.0 sec. user=vaughan [2009-08-11 04:35:56] 713*2^710048-1 is not prime. Res64: 0BABA8DFDAA64F43 Time : 561.0 sec. user=vaughan [2009-08-11 04:36:08] 629*2^710048-1 is not prime. Res64: F76A6998FBABBE6D Time : 805.0 sec. user=vaughan [2009-08-11 04:36:52] 657*2^710048-1 is not prime. Res64: 4B1EBA033F95E700 Time : 806.0 sec. user=vaughan [2009-08-11 04:37:15] 799*2^710045-1 is not prime. Res64: E23122BDFC226F8D Time : 1272.0 sec. user=vaughan [2009-08-11 04:40:14] 651*2^710050-1 is not prime. Res64: E12B4EF0CC020A64 Time : 560.0 sec. user=vaughan [2009-08-11 04:41:01] 681*2^710050-1 is not prime. Res64: 39AAC899A6FEC391 Time : 562.0 sec. user=vaughan [2009-08-11 04:41:23] 795*2^710048-1 is not prime. Res64: EFC3F97F71256A67 Time : 747.0 sec. user=vaughan [2009-08-11 04:43:08] 759*2^710049-1 is not prime. Res64: BD0F0DC145D22459 Time : 764.0 sec. user=vaughan [2009-08-11 04:43:33] 631*2^710051-1 is not prime. Res64: F75A4214285E3A30 Time : 559.0 sec. user=vaughan [2009-08-11 04:45:15] 663*2^710051-1 is not prime. Res64: 3C674735ECEA55C6 Time : 559.0 sec. user=vaughan [2009-08-11 04:47:22] 755*2^710050-1 is not prime. Res64: F412E20E3718F070 Time : 802.0 sec. user=vaughan [2009-08-11 04:49:37] 725*2^710052-1 is not prime. Res64: D87A693F6B382918 Time : 563.0 sec. user=vaughan [2009-08-11 04:49:59] 675*2^710051-1 is not prime. Res64: 35E68A9200FDB68D Time : 832.0 sec. user=vaughan [2009-08-11 04:50:28] 759*2^710052-1 is not prime. Res64: 5B13E4CA64CD3E88 Time : 567.0 sec. user=vaughan [2009-08-11 04:50:54] 609*2^710052-1 is not prime. Res64: 43903E6F94A3D409 Time : 843.0 sec. user=vaughan [2009-08-11 04:51:00] 727*2^710049-1 is not prime. Res64: 6333B0C8E36BD0D1 Time : 1309.0 sec. user=vaughan [2009-08-11 04:53:07] 721*2^710053-1 is not prime. Res64: 429B4A49E0C9E2E9 Time : 574.0 sec. user=vaughan [2009-08-11 04:53:56] 609*2^710053-1 is not prime. Res64: 5431D39E17077E2B Time : 753.0 sec. user=vaughan [2009-08-11 04:54:53] 741*2^710053-1 is not prime. Res64: 52AB5BE78E63E1FA Time : 578.0 sec. user=vaughan [2009-08-11 04:55:49] 651*2^710053-1 is not prime. Res64: 95E9B31201B15056 Time : 761.0 sec. user=vaughan [2009-08-11 04:56:59] 683*2^710052-1 is not prime. Res64: 62C676464131FABD Time : 1184.0 sec. user=tnerual [2009-08-11 04:59:10] 753*2^710048-1 is not prime. Res64: B94A4E8D04EF2DE5 Time : 1822.0 sec. user=vaughan [2009-08-11 04:59:16] 635*2^710054-1 is not prime. Res64: BECEE9560FF9F3A3 Time : 579.0 sec. user=vaughan [2009-08-11 04:59:59] 717*2^710054-1 is not prime. Res64: 43390D0B269F96EE Time : 571.0 sec. user=vaughan [2009-08-11 05:00:50] 623*2^710054-1 is not prime. Res64: 43D811FEAAFCF5A9 Time : 808.0 sec. user=vaughan [2009-08-11 05:02:29] 791*2^710054-1 is not prime. Res64: D5DECDDD96E002B1 Time : 562.0 sec. user=vaughan [2009-08-11 05:03:09] 729*2^710047-1 is not prime. Res64: E024EB165B11E464 Time : 2477.0 sec. user=vaughan [2009-08-11 05:03:51] 707*2^710054-1 is not prime. Res64: 22D219F2A3B836C9 Time : 832.0 sec. user=vaughan [2009-08-11 05:04:12] 693*2^710055-1 is not prime. Res64: CC399FD3FF1A01C9 Time : 560.0 sec. user=vaughan [2009-08-11 05:04:13] 741*2^710054-1 is not prime. Res64: FF710041E8AE2CBD Time : 800.0 sec. user=vaughan [2009-08-11 05:06:27] 625*2^710055-1 is not prime. Res64: EC3EFD23E1C5ECD9 Time : 751.0 sec. user=vaughan [2009-08-11 05:08:26] 735*2^710055-1 is not prime. Res64: 0A6B13B6E86E6740 Time : 757.0 sec. user=vaughan [2009-08-11 05:08:33] 645*2^710056-1 is not prime. Res64: 890167C76B6D13B9 Time : 557.0 sec. user=vaughan [2009-08-11 05:09:17] 657*2^710056-1 is not prime. Res64: E73AC95F7A3AD7A4 Time : 558.0 sec. user=vaughan [2009-08-11 05:11:48] 695*2^710056-1 is not prime. Res64: F47037CEF7254B8D Time : 559.0 sec. user=vaughan [2009-08-11 05:13:28] 711*2^710057-1 is not prime. Res64: C30CA116E548748F Time : 556.0 sec. user=vaughan [2009-08-11 05:14:00] 675*2^710056-1 is not prime. Res64: 6DB706279A0CB9C0 Time : 790.0 sec. user=vaughan [2009-08-11 05:14:43] 773*2^710054-1 is not prime. Res64: 3038CF07AB041CF7 Time : 1423.0 sec. user=vaughan [2009-08-11 05:16:19] 783*2^710055-1 is not prime. Res64: 959042CA21719E0F Time : 1160.0 sec. user=vaughan [2009-08-11 05:17:10] 685*2^710057-1 is not prime. Res64: 116A15FB713885E2 Time : 799.0 sec. user=vaughan [2009-08-11 05:17:18] 741*2^710057-1 is not prime. Res64: 56E96F4F48D17D6E Time : 785.0 sec. user=vaughan [2009-08-11 05:17:49] 633*2^710058-1 is not prime. Res64: 91EFF79ADCB699BD Time : 557.0 sec. user=vaughan [2009-08-11 05:18:35] 725*2^710058-1 is not prime. Res64: F1836489E2DD26DC Time : 558.0 sec. user=vaughan [2009-08-11 05:18:54] 795*2^710057-1 is not prime. Res64: 06F2BB573FAA3848 Time : 747.0 sec. user=vaughan [2009-08-11 05:20:57] 627*2^710058-1 is not prime. Res64: 483DF302A7F032CB Time : 751.0 sec. user=vaughan [2009-08-11 05:21:03] 765*2^710058-1 is not prime. Res64: 73AB51B52DD60680 Time : 556.0 sec. user=vaughan [2009-08-11 05:22:45] 791*2^710058-1 is not prime. Res64: CB49FCF3AFB594D0 Time : 557.0 sec. user=vaughan [2009-08-11 05:26:59] 603*2^710059-1 is not prime. Res64: 3DBE35834424FEA5 Time : 779.0 sec. user=vaughan [2009-08-11 05:27:28] 775*2^710059-1 is not prime. Res64: C8A753607F1ACD18 Time : 579.0 sec. user=vaughan [2009-08-11 05:28:26] 789*2^710060-1 is not prime. Res64: CEDBE522C6F7CBB0 Time : 591.0 sec. user=tnerual [2009-08-11 05:29:29] 795*2^710055-1 is not prime. Res64: D8ED08D6C4722B7C Time : 1819.0 sec. user=vaughan [2009-08-11 05:29:52] 633*2^710059-1 is not prime. Res64: 96C001A489B6EDEF Time : 762.0 sec. user=vaughan [2009-08-11 05:29:56] 693*2^710059-1 is not prime. Res64: 362D1A3E28F92B44 Time : 759.0 sec. user=vaughan [2009-08-11 05:31:03] 795*2^710061-1 is not prime. Res64: F11FD75BECD3B3DC Time : 600.0 sec. user=vaughan [2009-08-11 05:31:13] 601*2^710061-1 is not prime. Res64: 190A4A5820104968 Time : 740.0 sec. user=vaughan [2009-08-11 05:32:52] 617*2^710062-1 is not prime. Res64: AE79DECCAB2E7A5F Time : 607.0 sec. user=vaughan [2009-08-11 05:33:24] 607*2^710061-1 is not prime. Res64: 1EEB2064C718D550 Time : 747.0 sec. user=vaughan [2009-08-11 05:35:43] 615*2^710059-1 is not prime. Res64: 82CAB51BC1467A25 Time : 1261.0 sec. user=vaughan [2009-08-11 05:36:39] 619*2^710059-1 is not prime. Res64: 3AB5644ED057D30F Time : 1220.0 sec. user=vaughan [2009-08-11 05:37:25] 653*2^710062-1 is not prime. Res64: 60913183E7EFBF06 Time : 598.0 sec. user=vaughan [2009-08-11 05:37:28] 747*2^710056-1 is not prime. Res64: B8927EBD7B3D4F9A Time : 2059.0 sec. user=vaughan [2009-08-11 05:38:20] 675*2^710062-1 is not prime. Res64: DAC2983AD0591A56 Time : 594.0 sec. user=vaughan [2009-08-11 05:39:36] 645*2^710062-1 is not prime. Res64: 38D6F2DB01749C2F Time : 757.0 sec. user=vaughan [2009-08-11 05:40:43] 621*2^710063-1 is not prime. Res64: C42C0A665BDF2FAA Time : 580.0 sec. user=vaughan [2009-08-11 05:42:15] 765*2^710062-1 is not prime. Res64: 66FBE9D214B07710 Time : 743.0 sec. user=vaughan [2009-08-11 05:42:24] 721*2^710063-1 is not prime. Res64: A741EC1C51DCBB02 Time : 572.0 sec. user=vaughan [2009-08-11 05:43:13] 669*2^710063-1 is not prime. Res64: 01C45A2535DB946A Time : 720.0 sec. user=vaughan [2009-08-11 05:44:23] 785*2^710062-1 is not prime. Res64: 5DF3B99914028FF0 Time : 868.0 sec. user=vaughan [2009-08-11 05:45:24] 759*2^710063-1 is not prime. Res64: BF66034EBF55B5E1 Time : 720.0 sec. user=vaughan [2009-08-11 05:46:46] 635*2^710064-1 is not prime. Res64: 73F472B27E58DCB1 Time : 561.0 sec. user=vaughan [2009-08-11 05:47:43] 719*2^710064-1 is not prime. Res64: 1A0DD013CBBA44D4 Time : 563.0 sec. user=vaughan [2009-08-11 05:50:01] 767*2^710064-1 is not prime. Res64: 73AE53A73FC14D43 Time : 558.0 sec. user=vaughan [2009-08-11 05:51:41] 667*2^710065-1 is not prime. Res64: 957C079048DE7150 Time : 558.0 sec. user=vaughan [2009-08-11 05:51:56] 753*2^710064-1 is not prime. Res64: 651E07E141D86C85 Time : 740.0 sec. user=vaughan [2009-08-11 05:52:13] 623*2^710064-1 is not prime. Res64: C711F62CBC7295C4 Time : 934.0 sec. user=vaughan [2009-08-11 05:52:44] 771*2^710063-1 is not prime. Res64: F2CE3BF31CDE3833 Time : 1021.0 sec. user=vaughan [2009-08-11 05:54:31] 773*2^710064-1 is not prime. Res64: 5AA1C9762D64CBDF Time : 736.0 sec. user=vaughan [2009-08-11 05:55:17] 679*2^710065-1 is not prime. Res64: ED0CA5D5CD682608 Time : 724.0 sec. user=vaughan [2009-08-11 05:56:04] 765*2^710065-1 is not prime. Res64: 9D1F46B13F606945 Time : 558.0 sec. user=vaughan [2009-08-11 05:57:03] 617*2^710066-1 is not prime. Res64: 57DA53A88CAE3A77 Time : 560.0 sec. user=vaughan [2009-08-11 05:57:27] 687*2^710065-1 is not prime. Res64: 2FE5148CBB9D2D12 Time : 785.0 sec. user=vaughan [2009-08-11 05:57:50] 715*2^710065-1 is not prime. Res64: 250F72A5BB5EFEBC Time : 746.0 sec. user=vaughan [2009-08-11 05:59:16] 793*2^710067-1 is not prime. Res64: 8D6BC2F5201C05A8 Time : 555.0 sec. user=tnerual [2009-08-11 05:59:49] 723*2^710062-1 is not prime. Res64: 0EFB8F99B82FC334 Time : 1820.0 sec. user=vaughan [2009-08-11 06:00:59] 635*2^710068-1 is not prime. Res64: 15C9D637551AACEA Time : 558.0 sec. user=vaughan [2009-08-11 06:04:52] 647*2^710068-1 is not prime. Res64: 68FC0A09DE42FD3E Time : 777.0 sec. user=vaughan [2009-08-11 06:05:22] 759*2^710069-1 is not prime. Res64: 7A29AEEA6EA3F2B5 Time : 558.0 sec. user=vaughan [2009-08-11 06:06:21] 641*2^710070-1 is not prime. Res64: FB6A0E62FE5173E0 Time : 559.0 sec. user=vaughan [2009-08-11 06:07:15] 711*2^710069-1 is not prime. Res64: 0E156DB94038F16E Time : 764.0 sec. user=vaughan [2009-08-11 06:07:44] 735*2^710069-1 is not prime. Res64: DA87AAAF2A6A8E45 Time : 747.0 sec. user=vaughan [2009-08-11 06:08:31] 761*2^710070-1 is not prime. Res64: ED14C21CD9078F3F Time : 555.0 sec. user=vaughan [2009-08-11 06:08:37] 777*2^710068-1 is not prime. Res64: CDF66D208EA66A06 Time : 985.0 sec. user=vaughan [2009-08-11 06:10:13] 603*2^710071-1 is not prime. Res64: CE0C3CD0480ADFAD Time : 554.0 sec. user=vaughan [2009-08-11 06:10:27] 681*2^710070-1 is not prime. Res64: 51BBD36AC6C03425 Time : 757.0 sec. user=vaughan [2009-08-11 06:10:56] 651*2^710070-1 is not prime. Res64: 186A3E1AD318B76C Time : 809.0 sec. user=vaughan [2009-08-11 06:12:01] 707*2^710064-1 is not prime. Res64: D89151104659CDA1 Time : 2073.0 sec. user=vaughan [2009-08-11 06:14:02] 657*2^710069-1 is not prime. Res64: 9DEDD3B4773E36A0 Time : 1278.0 sec. user=vaughan [2009-08-11 06:14:38] 621*2^710071-1 is not prime. Res64: 18AF85A52B1BB28F Time : 556.0 sec. user=vaughan [2009-08-11 06:15:40] 703*2^710071-1 is not prime. Res64: 6EA22A77D5F68297 Time : 559.0 sec. user=vaughan [2009-08-11 06:17:46] 665*2^710072-1 is not prime. Res64: C520BD76416E14DA Time : 556.0 sec. user=vaughan [2009-08-11 06:18:06] 619*2^710071-1 is not prime. Res64: 237862DC886804B1 Time : 794.0 sec. user=vaughan [2009-08-11 06:19:28] 657*2^710073-1 is not prime. Res64: FA0E5E14B13E01D3 Time : 555.0 sec. user=vaughan [2009-08-11 06:20:06] 709*2^710071-1 is not prime. Res64: E9952515539AE221 Time : 771.0 sec. user=vaughan [2009-08-11 06:20:14] 763*2^710071-1 is not prime. Res64: 1352A6A856F4BB26 Time : 751.0 sec. user=vaughan [2009-08-11 06:23:06] 727*2^710073-1 is not prime. Res64: A08335573F0BC26C Time : 759.0 sec. user=vaughan [2009-08-11 06:23:30] 745*2^710073-1 is not prime. Res64: F5DE0C04BD9F1BB5 Time : 754.0 sec. user=vaughan [2009-08-11 06:23:55] 675*2^710074-1 is not prime. Res64: F696BE2B01747843 Time : 558.0 sec. user=vaughan [2009-08-11 06:24:55] 681*2^710074-1 is not prime. Res64: 0B51199D0BEB5FDF Time : 556.0 sec. user=vaughan [2009-08-11 06:26:59] 791*2^710074-1 is not prime. Res64: 3E843BA80AADF3FC Time : 553.0 sec. user=vaughan [2009-08-11 06:28:31] 677*2^710072-1 is not prime. Res64: 1C1611917899FA00 Time : 1194.0 sec. user=vaughan [2009-08-11 06:28:43] 651*2^710075-1 is not prime. Res64: 4DA6FB44C24DB1CE Time : 555.0 sec. user=vaughan [2009-08-11 08:09:19] 647*2^710076-1 is not prime. Res64: ED1BDE5AA189A71D Time : 6324.0 sec. user=vaughan [2009-08-11 08:09:20] 633*2^710076-1 is not prime. Res64: 2EFC837E763F7558 Time : 6350.0 sec. user=vaughan [2009-08-11 08:09:20] 729*2^710077-1 is not prime. Res64: AC069878C971E38A Time : 6037.0 sec. user=vaughan [2009-08-11 08:09:20] 759*2^710075-1 is not prime. Res64: 042688DCC823BA1E Time : 6546.0 sec. user=tnerual [2009-08-11 08:09:21] 601*2^710071-1 is not prime. Res64: 6565752062907A90 Time : 7772.0 sec. user=vaughan [2009-08-11 08:09:23] 693*2^710076-1 is not prime. Res64: 38720C16DA704C79 Time : 6268.0 sec. user=vaughan [2009-08-11 08:09:23] 685*2^710075-1 is not prime. Res64: 24DC25370DEABB77 Time : 6557.0 sec. user=vaughan [2009-08-11 08:09:27] 629*2^710076-1 is not prime. Res64: 4805214F6BEA093F Time : 6381.0 sec. user=vaughan [2009-08-11 08:09:36] 751*2^710073-1 is not prime. Res64: 808F6FE4F657AB7F Time : 7055.0 sec. user=vaughan [2009-08-11 08:09:58] 633*2^710075-1 is not prime. Res64: E77460F4383E86CC Time : 6712.0 sec. user=vaughan [2009-08-11 08:10:04] 715*2^710077-1 is not prime. Res64: 0503FB3221977C68 Time : 6093.0 sec. user=vaughan [2009-08-11 08:10:20] 633*2^710074-1 is not prime. Res64: DE62EA3408967CB6 Time : 6978.0 sec. user=vaughan [2009-08-11 08:10:28] 717*2^710076-1 is not prime. Res64: 766AAFCADB0F9CD4 Time : 6210.0 sec. user=vaughan [2009-08-11 08:18:28] 657*2^710078-1 is not prime. Res64: 436819F5F399B479 Time : 549.0 sec. user=vaughan [2009-08-11 08:18:31] 609*2^710079-1 is not prime. Res64: 39B1FEF87F7C2CA4 Time : 549.0 sec. user=vaughan [2009-08-11 08:19:37] 615*2^710081-1 is not prime. Res64: 4C8BEF25DF7448E0 Time : 556.0 sec. user=vaughan [2009-08-11 08:19:44] 627*2^710082-1 is not prime. Res64: 8665129446C1786A Time : 556.0 sec. user=vaughan [2009-08-11 08:21:19] 633*2^710079-1 is not prime. Res64: 95BBEC066B7F26A0 Time : 712.0 sec. user=vaughan [2009-08-11 08:22:12] 677*2^710080-1 is not prime. Res64: 8C14B87588F286E8 Time : 735.0 sec. user=vaughan [2009-08-11 08:22:12] 691*2^710081-1 is not prime. Res64: 202E268EC9E64CC8 Time : 710.0 sec. user=vaughan [2009-08-11 08:22:19] 777*2^710081-1 is not prime. Res64: 19B8EED04737010E Time : 714.0 sec. user=vaughan [2009-08-11 08:23:22] 601*2^710081-1 is not prime. Res64: DA2DC80BA8B1FD2C Time : 781.0 sec. user=vaughan [2009-08-11 08:28:07] 713*2^710082-1 is not prime. Res64: 847531643C46BECA Time : 579.0 sec. user=vaughan [2009-08-11 08:28:12] 717*2^710082-1 is not prime. Res64: FFD387331546BCC0 Time : 581.0 sec. user=vaughan [2009-08-11 08:29:21] 741*2^710082-1 is not prime. Res64: 4E57847A65F50A17 Time : 584.0 sec. user=vaughan [2009-08-11 08:29:26] 777*2^710082-1 is not prime. Res64: 3053EA4AC9047FAA Time : 582.0 sec. user=vaughan [2009-08-11 08:29:42] 765*2^710080-1 is not prime. Res64: 12096888CBE5C69C Time : 1162.0 sec. user=vaughan [2009-08-11 08:29:42] 747*2^710080-1 is not prime. Res64: B7A6461D9FC0005F Time : 1178.0 sec. user=vaughan [2009-08-11 08:32:48] 615*2^710083-1 is not prime. Res64: EF25AAD9DE7FB843 Time : 689.0 sec. user=vaughan [2009-08-11 08:33:38] 705*2^710083-1 is not prime. Res64: E17149BFEA9C7FF6 Time : 686.0 sec. user=vaughan [2009-08-11 08:33:59] 719*2^710084-1 is not prime. Res64: 399CED8960328E6E Time : 700.0 sec. user=vaughan [2009-08-11 08:34:03] 693*2^710083-1 is not prime. Res64: 9DDDCBD39A4089AE Time : 712.0 sec. user=vaughan [2009-08-11 08:36:21] 789*2^710084-1 is not prime. Res64: 9D14B7F43C4DA03E Time : 780.0 sec. user=vaughan [2009-08-11 08:38:00] 607*2^710085-1 is not prime. Res64: 40631F3FEFB8EA20 Time : 593.0 sec. user=vaughan [2009-08-11 08:38:07] 625*2^710085-1 is not prime. Res64: 7E4DB21F2D9EDFBB Time : 595.0 sec. user=vaughan [2009-08-11 08:39:06] 675*2^710085-1 is not prime. Res64: 86DAB9E281F61D65 Time : 585.0 sec. user=vaughan [2009-08-11 08:39:12] 711*2^710085-1 is not prime. Res64: EC4DF2D121825BA2 Time : 586.0 sec. user=tnerual [2009-08-11 08:39:49] 713*2^710078-1 is not prime. Res64: 9333C07FEC7AB48F Time : 1828.0 sec. user=vaughan [2009-08-11 08:45:14] 617*2^710086-1 is not prime. Res64: 34F909703C1C9FA3 Time : 747.0 sec. user=vaughan [2009-08-11 08:45:32] 665*2^710080-1 is not prime. Res64: 1C7E4ED40C810A06 Time : 2156.0 sec. user=vaughan [2009-08-11 08:45:50] 623*2^710086-1 is not prime. Res64: F1760D71BECC0634 Time : 732.0 sec. user=vaughan [2009-08-11 08:46:31] 611*2^710086-1 is not prime. Res64: C423E1757010D5CC Time : 1009.0 sec. user=vaughan [2009-08-11 08:46:44] 651*2^710086-1 is not prime. Res64: 804AFD594C838166 Time : 766.0 sec. user=vaughan [2009-08-11 08:46:46] 677*2^710086-1 is not prime. Res64: E6B3F4077D293C09 Time : 763.0 sec. user=vaughan [2009-08-11 08:47:21] 783*2^710086-1 is not prime. Res64: BDF7AB78859BE536 Time : 561.0 sec. user=vaughan [2009-08-11 08:47:27] 619*2^710087-1 is not prime. Res64: 8DA1CC957BF00611 Time : 560.0 sec. user=vaughan [2009-08-11 08:48:26] 669*2^710087-1 is not prime. Res64: CE2C73BA9EF650BF Time : 561.0 sec. user=vaughan [2009-08-11 08:48:28] 685*2^710087-1 is not prime. Res64: B2E541172C8156B8 Time : 556.0 sec. user=vaughan [2009-08-11 08:51:09] 603*2^710086-1 is not prime. Res64: 7034FCDC70179D8C Time : 1288.0 sec. user=vaughan [2009-08-11 08:51:20] 737*2^710086-1 is not prime. Res64: 6995E0A3C620A5BB Time : 899.0 sec. user=vaughan [2009-08-11 08:56:40] 759*2^710088-1 is not prime. Res64: B46AAE726B0DBE87 Time : 559.0 sec. user=vaughan [2009-08-11 08:56:44] 691*2^710089-1 is not prime. Res64: E4D55201F825D8AA Time : 557.0 sec. user=vaughan [2009-08-11 08:57:42] 765*2^710089-1 is not prime. Res64: A9E5606C8B575BB5 Time : 557.0 sec. user=vaughan [2009-08-11 08:57:45] 605*2^710090-1 is not prime. Res64: 82DF559693965ABE Time : 557.0 sec. user=vaughan [2009-08-11 08:57:45] 605*2^710088-1 is not prime. Res64: 66492DE5DAA568C0 Time : 752.0 sec. user=vaughan [2009-08-11 08:58:08] 663*2^710088-1 is not prime. Res64: 116F812043303B74 Time : 738.0 sec. user=vaughan [2009-08-11 08:59:28] 723*2^710088-1 is not prime. Res64: 950E2C7EBA8F473D Time : 765.0 sec. user=vaughan [2009-08-11 08:59:38] 737*2^710088-1 is not prime. Res64: D09E118504BB76EB Time : 772.0 sec. user=vaughan [2009-08-11 09:02:04] 705*2^710088-1 is not prime. Res64: CB81DC655CE27F06 Time : 934.0 sec. user=vaughan [2009-08-11 09:05:29] 707*2^710090-1 is not prime. Res64: 7EB1AE99FB2D03EA Time : 849.0 sec. user=vaughan [2009-08-11 09:06:04] 717*2^710090-1 is not prime. Res64: 4567DD91F517A3C6 Time : 564.0 sec. user=vaughan [2009-08-11 09:06:10] 639*2^710091-1 is not prime. Res64: 38F694D296EF2DDF Time : 566.0 sec. user=vaughan [2009-08-11 09:07:11] 789*2^710091-1 is not prime. Res64: 59754E466BEA360A Time : 569.0 sec. user=vaughan [2009-08-11 09:07:11] 795*2^710091-1 is not prime. Res64: 6498496ACA55B5B3 Time : 567.0 sec. user=vaughan [2009-08-11 09:10:09] 705*2^710092-1 is not prime. Res64: 2E2BABA92AA030D2 Time : 744.0 sec. user=vaughan [2009-08-11 09:10:13] 755*2^710092-1 is not prime. Res64: 5A08FF7463B2C8DF Time : 725.0 sec. user=tnerual [2009-08-11 09:10:17] 739*2^710087-1 is not prime. Res64: 48A02998DB44AA64 Time : 1828.0 sec. user=vaughan [2009-08-11 09:11:54] 697*2^710093-1 is not prime. Res64: C8CC6B64FE79D684 Time : 746.0 sec. user=vaughan [2009-08-11 09:12:01] 635*2^710090-1 is not prime. Res64: 3008427F5B74914C Time : 1252.0 sec. user=vaughan [2009-08-11 09:12:07] 727*2^710093-1 is not prime. Res64: EE7ECED5CE6DB6AD Time : 749.0 sec. user=vaughan [2009-08-11 09:15:27] 663*2^710094-1 is not prime. Res64: B1A0DBE881A5C9B1 Time : 563.0 sec. user=vaughan [2009-08-11 09:15:36] 685*2^710095-1 is not prime. Res64: E3E1167490D9A571 Time : 566.0 sec. user=vaughan [2009-08-11 09:16:34] 759*2^710095-1 is not prime. Res64: FBF075FB74BA304A Time : 564.0 sec. user=vaughan [2009-08-11 09:16:36] 793*2^710095-1 is not prime. Res64: DD578B5E6152D488 Time : 565.0 sec. user=vaughan [2009-08-11 09:17:09] 735*2^710093-1 is not prime. Res64: 3A2F2B0E2E393000 Time : 905.0 sec. user=vaughan [2009-08-11 09:20:26] 641*2^710094-1 is not prime. Res64: F3D45458AF2A486B Time : 897.0 sec. user=vaughan [2009-08-11 09:21:51] 725*2^710096-1 is not prime. Res64: 06578D091407A085 Time : 703.0 sec. user=vaughan [2009-08-11 09:21:55] 777*2^710096-1 is not prime. Res64: BC3005DDA63DE548 Time : 702.0 sec. user=vaughan [2009-08-11 10:15:31] 777*2^710097-1 is not prime. Res64: 8C008264610C0A2D Time : 3817.0 sec. user=vaughan [2009-08-11 10:15:32] 677*2^710098-1 is not prime. Res64: 096F81D2C02ECDD1 Time : 3538.0 sec. user=vaughan [2009-08-11 10:15:32] 623*2^710098-1 is not prime. Res64: 7498B01339E6EC2B Time : 3805.0 sec. user=vaughan [2009-08-11 10:15:32] 663*2^710099-1 is not prime. Res64: BF6DD8E198FDE616 Time : 3217.0 sec. user=vaughan [2009-08-11 10:15:32] 601*2^710099-1 is not prime. Res64: 3B40B54F697238D4 Time : 3306.0 sec. user=vaughan [2009-08-11 10:15:33] 671*2^710098-1 is not prime. Res64: 9F4ABB21A39C4199 Time : 3598.0 sec. user=vaughan [2009-08-11 10:15:33] 621*2^710098-1 is not prime. Res64: 11483F3BA0872E78 Time : 3812.0 sec. user=vaughan [2009-08-11 10:15:35] 737*2^710098-1 is not prime. Res64: 1721D47AE6E38B11 Time : 3539.0 sec. user=vaughan [2009-08-11 10:15:35] 615*2^710088-1 is not prime. Res64: 05D10B6C3141A55D Time : 5403.0 sec. user=vaughan [2009-08-11 10:15:36] 665*2^710098-1 is not prime. Res64: 6D1E36F01DA907D5 Time : 3609.0 sec. user=vaughan [2009-08-11 10:15:37] 645*2^710099-1 is not prime. Res64: 7BE290EF420D31BC Time : 3226.0 sec. user=vaughan [2009-08-11 10:16:13] 743*2^710098-1 is not prime. Res64: FF7A78C3012ED172 Time : 3544.0 sec. user=tnerual [2009-08-11 10:16:37] 759*2^710097-1 is not prime. Res64: F60DB50C3A594724 Time : 3980.0 sec. user=vaughan [2009-08-11 10:25:21] 669*2^710099-1 is not prime. Res64: 2F0E739DB6502D4C Time : 589.0 sec. user=vaughan [2009-08-11 10:25:22] 651*2^710101-1 is not prime. Res64: 50760EDD4C3A1073 Time : 588.0 sec. user=vaughan [2009-08-11 10:25:25] 717*2^710101-1 is not prime. Res64: B47D52FE8D3A68FF Time : 589.0 sec. user=vaughan [2009-08-11 10:25:28] 777*2^710100-1 is not prime. Res64: 4494D7DF7B47BAC7 Time : 596.0 sec. user=vaughan [2009-08-11 10:27:01] 627*2^710100-1 is not prime. Res64: CE7E719A0B864B52 Time : 689.0 sec. user=vaughan [2009-08-11 10:27:12] 727*2^710101-1 is not prime. Res64: F360731E28AA5B54 Time : 695.0 sec. user=vaughan [2009-08-11 10:27:29] 703*2^710099-1 is not prime. Res64: 2669BC8D8695CEE3 Time : 717.0 sec. user=vaughan [2009-08-11 10:28:12] 717*2^710100-1 is not prime. Res64: 5FF98BB7613BA75B Time : 760.0 sec. user=vaughan [2009-08-11 10:28:16] 761*2^710102-1 is not prime. Res64: 5B0B0855B0DBF97C Time : 704.0 sec. user=vaughan [2009-08-11 10:34:50] 703*2^710103-1 is not prime. Res64: 81AAF9C8234D96B4 Time : 569.0 sec. user=vaughan [2009-08-11 10:34:52] 751*2^710103-1 is not prime. Res64: 5C6CF0F4FBDBC33B Time : 570.0 sec. user=vaughan [2009-08-11 10:34:55] 615*2^710104-1 is not prime. Res64: 270D823CAC31F771 Time : 571.0 sec. user=vaughan [2009-08-11 10:34:56] 675*2^710104-1 is not prime. Res64: 97C9C3373B6EDD94 Time : 568.0 sec. user=vaughan [2009-08-11 10:36:14] 625*2^710101-1 is not prime. Res64: 11EBC20D8F96725B Time : 1242.0 sec. user=vaughan [2009-08-11 10:37:30] 677*2^710102-1 is not prime. Res64: C19825043BDEA995 Time : 1277.0 sec. user=vaughan [2009-08-11 10:39:19] 657*2^710105-1 is not prime. Res64: 1CEAA40BBD0C1BCF Time : 738.0 sec. user=vaughan [2009-08-11 10:39:42] 697*2^710105-1 is not prime. Res64: B85807594D9F0A28 Time : 750.0 sec. user=vaughan [2009-08-11 10:40:26] 705*2^710105-1 is not prime. Res64: 2D53B30458FD2E37 Time : 777.0 sec. user=vaughan [2009-08-11 10:40:46] 787*2^710105-1 is not prime. Res64: 3833AF469632B649 Time : 750.0 sec. user=vaughan [2009-08-11 10:40:58] 715*2^710105-1 is not prime. Res64: E3461D5C30C2202D Time : 767.0 sec. user=vaughan [2009-08-11 10:44:11] 653*2^710106-1 is not prime. Res64: 3B74F4B4426FBDD8 Time : 561.0 sec. user=vaughan [2009-08-11 10:44:13] 711*2^710106-1 is not prime. Res64: 6819D82546FAB80B Time : 562.0 sec. user=vaughan [2009-08-11 10:44:15] 713*2^710106-1 is not prime. Res64: D1AA9234DE08E592 Time : 560.0 sec. user=vaughan [2009-08-11 10:44:17] 765*2^710106-1 is not prime. Res64: ACB22E54A0BF0816 Time : 561.0 sec. user=tnerual [2009-08-11 10:47:04] 613*2^710103-1 is not prime. Res64: 420109015D5E39E0 Time : 1827.0 sec. user=vaughan [2009-08-11 10:47:53] 715*2^710101-1 is not prime. Res64: CE2058DDFD9302C4 Time : 1938.0 sec. user=vaughan [2009-08-11 10:51:43] 645*2^710107-1 is not prime. Res64: 96CA9C81F8720A7E Time : 744.0 sec. user=vaughan [2009-08-11 10:52:16] 649*2^710107-1 is not prime. Res64: 2C4F77F944A5FAFA Time : 754.0 sec. user=vaughan [2009-08-11 10:53:17] 769*2^710107-1 is not prime. Res64: E65D6E1A08B906AA Time : 752.0 sec. user=vaughan [2009-08-11 10:53:20] 675*2^710107-1 is not prime. Res64: EF47ECA3AF664BF2 Time : 775.0 sec. user=vaughan [2009-08-11 10:53:42] 633*2^710108-1 is not prime. Res64: 17D26B69EE18FF76 Time : 765.0 sec. user=vaughan [2009-08-11 10:54:20] 687*2^710108-1 is not prime. Res64: DD1C1438A7EE130B Time : 609.0 sec. user=vaughan [2009-08-11 10:54:20] 699*2^710108-1 is not prime. Res64: A5027D1C70105F84 Time : 607.0 sec. user=vaughan [2009-08-11 10:54:22] 615*2^710109-1 is not prime. Res64: A580418C67DDA673 Time : 607.0 sec. user=vaughan [2009-08-11 10:54:23] 605*2^710110-1 is not prime. Res64: A7150C25C2E59CC6 Time : 607.0 sec. user=vaughan [2009-08-11 10:56:12] 767*2^710106-1 is not prime. Res64: 250940EC874C0F17 Time : 1199.0 sec. user=vaughan [2009-08-11 10:57:05] 625*2^710107-1 is not prime. Res64: 558ED5CF7E30362A Time : 1176.0 sec. user=vaughan [2009-08-11 11:03:43] 669*2^710111-1 is not prime. Res64: 8A89A4FD96D47325 Time : 720.0 sec. user=vaughan [2009-08-11 11:04:18] 685*2^710111-1 is not prime. Res64: 14078C7EA646CC32 Time : 722.0 sec. user=vaughan [2009-08-11 11:04:24] 779*2^710112-1 is not prime. Res64: 0AE9ECE05C2F9C41 Time : 602.0 sec. user=vaughan [2009-08-11 11:04:25] 797*2^710112-1 is not prime. Res64: 76E06F44FB8BDBCC Time : 602.0 sec. user=vaughan [2009-08-11 11:04:26] 759*2^710112-1 is not prime. Res64: 34428FC2E31483A7 Time : 606.0 sec. user=vaughan [2009-08-11 11:04:27] 737*2^710112-1 is not prime. Res64: FE69B2B5DBF12BA2 Time : 607.0 sec. user=vaughan [2009-08-11 11:05:19] 605*2^710112-1 is not prime. Res64: 8923B832B0A441DE Time : 722.0 sec. user=vaughan [2009-08-11 11:05:45] 657*2^710112-1 is not prime. Res64: 8BCA1B3411343710 Time : 745.0 sec. user=vaughan [2009-08-11 11:06:29] 695*2^710112-1 is not prime. Res64: 1B59D14BEA8A8469 Time : 768.0 sec. user=vaughan [2009-08-11 11:13:53] 635*2^710114-1 is not prime. Res64: 0250CC8FC5C79384 Time : 569.0 sec. user=vaughan [2009-08-11 11:13:57] 705*2^710115-1 is not prime. Res64: ECC9A9676B717AD2 Time : 571.0 sec. user=vaughan [2009-08-11 11:13:58] 651*2^710115-1 is not prime. Res64: D836F41A44C537E6 Time : 572.0 sec. user=vaughan [2009-08-11 11:14:00] 677*2^710114-1 is not prime. Res64: 56F86130362A1004 Time : 575.0 sec. user=vaughan [2009-08-11 11:15:52] 765*2^710113-1 is not prime. Res64: B6663C953BA37061 Time : 729.0 sec. user=vaughan [2009-08-11 11:16:05] 679*2^710113-1 is not prime. Res64: E86E578890D40E0A Time : 1140.0 sec. user=vaughan [2009-08-11 11:16:38] 617*2^710114-1 is not prime. Res64: 5E5491B2232C41B4 Time : 740.0 sec. user=tnerual [2009-08-11 11:17:32] 643*2^710111-1 is not prime. Res64: 9A257C7F288E86AA Time : 1828.0 sec. user=vaughan [2009-08-11 11:18:08] 781*2^710115-1 is not prime. Res64: 6313008AA3FDA6B1 Time : 769.0 sec. user=vaughan [2009-08-11 11:18:27] 649*2^710113-1 is not prime. Res64: 0CC5C313746356E6 Time : 1336.0 sec. user=vaughan [2009-08-11 11:18:48] 783*2^710115-1 is not prime. Res64: 9CC15F0CA3773BC0 Time : 783.0 sec. user=vaughan [2009-08-11 11:20:32] 617*2^710116-1 is not prime. Res64: FA4D2BE789E971AC Time : 843.0 sec. user=vaughan [2009-08-11 11:40:14] 649*2^710117-1 is not prime. Res64: C035F2399CF5F500 Time : 1416.0 sec. user=vaughan [2009-08-11 11:40:14] 631*2^710117-1 is not prime. Res64: 365D1FEAFDC9399D Time : 1450.0 sec. user=vaughan [2009-08-11 11:40:16] 681*2^710118-1 is not prime. Res64: 400F39E52A54BF92 Time : 1185.0 sec. user=vaughan [2009-08-11 11:40:16] 785*2^710116-1 is not prime. Res64: 5F6D3CC1068D212E Time : 1464.0 sec. user=vaughan [2009-08-11 11:40:16] 735*2^710116-1 is not prime. Res64: A398033364A55184 Time : 1577.0 sec. user=vaughan [2009-08-11 11:40:16] 663*2^710116-1 is not prime. Res64: A3387705F32F5197 Time : 1579.0 sec. user=vaughan [2009-08-11 11:40:17] 777*2^710117-1 is not prime. Res64: 4DC538499C57C2EF Time : 1310.0 sec. user=vaughan [2009-08-11 11:40:19] 695*2^710116-1 is not prime. Res64: 3D8CA6E09E53D91B Time : 1582.0 sec. user=vaughan [2009-08-11 11:40:19] 661*2^710111-1 is not prime. Res64: 0518756E8D90B426 Time : 3146.0 sec. user=vaughan [2009-08-11 11:40:21] 671*2^710118-1 is not prime. Res64: CBCD402750BDD113 Time : 1293.0 sec. user=vaughan [2009-08-11 11:40:25] 741*2^710117-1 is not prime. Res64: 9F42A5C96650F574 Time : 1337.0 sec. user=vaughan [2009-08-11 11:41:24] 657*2^710116-1 is not prime. Res64: 5C92F2584D84B223 Time : 1651.0 sec. user=tnerual [2009-08-11 11:47:51] 717*2^710117-1 is not prime. Res64: 2F30B7D3ED89FB63 Time : 1819.0 sec. user=vaughan [2009-08-11 11:50:35] 759*2^710119-1 is not prime. Res64: 0621EFC419ABE700 Time : 558.0 sec. user=vaughan [2009-08-11 11:50:35] 763*2^710119-1 is not prime. Res64: EFF3260566F7B437 Time : 558.0 sec. user=vaughan [2009-08-11 11:50:37] 797*2^710120-1 is not prime. Res64: 86E40D52F02369F0 Time : 558.0 sec. user=vaughan [2009-08-11 11:50:42] 681*2^710121-1 is not prime. Res64: CC1C11EDF598051F Time : 558.0 sec. user=vaughan [2009-08-11 11:52:08] 661*2^710119-1 is not prime. Res64: ACBA9552B72EB080 Time : 703.0 sec. user=vaughan [2009-08-11 11:52:15] 737*2^710118-1 is not prime. Res64: AADB993BE360270F Time : 714.0 sec. user=vaughan [2009-08-11 11:52:45] 723*2^710119-1 is not prime. Res64: 122F3E575531103A Time : 690.0 sec. user=vaughan [2009-08-11 11:52:45] 767*2^710120-1 is not prime. Res64: D8833AD0698705AE Time : 687.0 sec. user=vaughan [2009-08-11 11:54:41] 645*2^710120-1 is not prime. Res64: C52CC3924E33CCFE Time : 804.0 sec. user=vaughan [2009-08-11 11:55:41] 725*2^710118-1 is not prime. Res64: 8D8E55350AF01B33 Time : 927.0 sec. user=vaughan [2009-08-11 12:00:11] 675*2^710122-1 is not prime. Res64: 94BE49159FBF5502 Time : 577.0 sec. user=vaughan [2009-08-11 12:00:14] 743*2^710122-1 is not prime. Res64: 029D3F8F66204031 Time : 579.0 sec. user=vaughan [2009-08-11 12:00:15] 619*2^710123-1 is not prime. Res64: 951F4DD743961EB4 Time : 578.0 sec. user=vaughan [2009-08-11 12:00:22] 715*2^710123-1 is not prime. Res64: 28756CBF1899D1F5 Time : 580.0 sec. user=vaughan [2009-08-11 12:03:53] 623*2^710124-1 is not prime. Res64: 7C0C58BE8C13FC4C Time : 706.0 sec. user=vaughan [2009-08-11 12:04:15] 705*2^710124-1 is not prime. Res64: 34EFC73E94A8C049 Time : 690.0 sec. user=vaughan [2009-08-11 12:04:16] 639*2^710124-1 is not prime. Res64: ECD43A4098C38906 Time : 691.0 sec. user=vaughan [2009-08-11 12:04:17] 635*2^710124-1 is not prime. Res64: A8F958E60AD05D86 Time : 722.0 sec. user=vaughan [2009-08-11 12:04:46] 777*2^710120-1 is not prime. Res64: 6BA4E0EF0AD4FA09 Time : 1408.0 sec. user=vaughan [2009-08-11 12:08:08] 789*2^710124-1 is not prime. Res64: FEF88808C1E48B72 Time : 807.0 sec. user=vaughan [2009-08-11 12:10:27] 691*2^710125-1 is not prime. Res64: 45ED8CCE1E374C7C Time : 616.0 sec. user=vaughan [2009-08-11 12:10:30] 675*2^710126-1 is not prime. Res64: 690C84931C5011C0 Time : 615.0 sec. user=vaughan [2009-08-11 12:10:34] 751*2^710125-1 is not prime. Res64: CDA43417907C3FF7 Time : 620.0 sec. user=vaughan [2009-08-11 12:10:44] 693*2^710126-1 is not prime. Res64: 071159F3CCE29F68 Time : 622.0 sec. user=vaughan [2009-08-11 12:11:14] 675*2^710125-1 is not prime. Res64: 6394EA51184F1835 Time : 934.0 sec. user=vaughan [2009-08-11 12:15:38] 741*2^710126-1 is not prime. Res64: A1B84A17E4A7C16E Time : 705.0 sec. user=vaughan [2009-08-11 12:15:43] 755*2^710126-1 is not prime. Res64: 2A0C9C239E6781F4 Time : 689.0 sec. user=vaughan [2009-08-11 12:15:48] 675*2^710127-1 is not prime. Res64: 4742394811F4178F Time : 692.0 sec. user=vaughan [2009-08-11 12:16:14] 625*2^710121-1 is not prime. Res64: CEF342782B5186E7 Time : 2094.0 sec. user=vaughan [2009-08-11 12:16:15] 741*2^710127-1 is not prime. Res64: FB95DFEF47FBF400 Time : 719.0 sec. user=tnerual [2009-08-11 12:18:19] 735*2^710121-1 is not prime. Res64: 05F6F0DE6A66859A Time : 1828.0 sec. user=vaughan [2009-08-11 12:20:14] 769*2^710127-1 is not prime. Res64: D87A420BB52E708A Time : 587.0 sec. user=vaughan [2009-08-11 12:20:18] 781*2^710127-1 is not prime. Res64: 5DF3D2E447A02824 Time : 589.0 sec. user=vaughan [2009-08-11 12:20:22] 605*2^710128-1 is not prime. Res64: A2398A9FC6A7B201 Time : 588.0 sec. user=vaughan [2009-08-11 12:20:26] 623*2^710128-1 is not prime. Res64: 84AD473FA651086B Time : 582.0 sec. user=vaughan [2009-08-11 12:21:12] 765*2^710127-1 is not prime. Res64: 7B21A9CE1D5E5DBD Time : 784.0 sec. user=vaughan [2009-08-11 12:25:27] 751*2^710127-1 is not prime. Res64: 91EF4CE87074DFD3 Time : 1241.0 sec. user=vaughan [2009-08-11 12:27:11] 723*2^710128-1 is not prime. Res64: 1820BAE66EF46560 Time : 688.0 sec. user=vaughan [2009-08-11 12:27:17] 765*2^710128-1 is not prime. Res64: C72C9E4DAE353997 Time : 689.0 sec. user=vaughan [2009-08-11 12:27:19] 687*2^710128-1 is not prime. Res64: BC1692EC078648A4 Time : 701.0 sec. user=vaughan [2009-08-11 12:28:10] 649*2^710129-1 is not prime. Res64: D09A0C9B16E63CF4 Time : 715.0 sec. user=vaughan [2009-08-11 12:29:36] 661*2^710135-1 is not prime. Res64: 49708BC6CB827AE2 Time : 563.0 sec. user=vaughan [2009-08-11 12:29:40] 759*2^710135-1 is not prime. Res64: C68941E8057595F9 Time : 562.0 sec. user=vaughan [2009-08-11 12:29:43] 775*2^710135-1 is not prime. Res64: 1990A4E528522264 Time : 561.0 sec. user=vaughan [2009-08-11 12:29:47] 789*2^710135-1 is not prime. Res64: 492CDDF420515CAC Time : 561.0 sec. user=vaughan [2009-08-11 12:30:42] 677*2^710128-1 is not prime. Res64: 3525189BAE869108 Time : 1168.0 sec. user=vaughan [2009-08-11 12:34:38] 635*2^710136-1 is not prime. Res64: 6B2724DF18807EE1 Time : 806.0 sec. user=vaughan [2009-08-11 12:38:53] 669*2^710139-1 is not prime. Res64: 9030E0D4C9A2420C Time : 557.0 sec. user=vaughan [2009-08-11 12:38:56] 735*2^710139-1 is not prime. Res64: C3ED039F67E25342 Time : 556.0 sec. user=vaughan [2009-08-11 12:39:00] 605*2^710140-1 is not prime. Res64: CE608D771F4282B4 Time : 557.0 sec. user=vaughan [2009-08-11 12:39:03] 699*2^710140-1 is not prime. Res64: 07E4D4DAC9F789A8 Time : 556.0 sec. user=vaughan [2009-08-11 12:39:29] 619*2^710137-1 is not prime. Res64: 0B8290C29DA37A77 Time : 739.0 sec. user=vaughan [2009-08-11 12:39:43] 661*2^710137-1 is not prime. Res64: F348961BA4579AD9 Time : 746.0 sec. user=vaughan [2009-08-11 12:39:50] 747*2^710137-1 is not prime. Res64: DE0C612810F95368 Time : 751.0 sec. user=vaughan [2009-08-11 12:41:03] 791*2^710138-1 is not prime. Res64: CBB46601E538A8D3 Time : 773.0 sec. user=vaughan [2009-08-11 12:45:14] 683*2^710136-1 is not prime. Res64: D15319191462EFDA Time : 1187.0 sec. user=vaughan [2009-08-11 12:47:36] 711*2^710141-1 is not prime. Res64: FD46CDED63B819B7 Time : 778.0 sec. user=vaughan [2009-08-11 12:48:07] 781*2^710141-1 is not prime. Res64: 0822AEEE1069E47B Time : 554.0 sec. user=vaughan [2009-08-11 12:48:11] 651*2^710142-1 is not prime. Res64: BEED8E2841A7E79B Time : 555.0 sec. user=vaughan [2009-08-11 12:48:14] 731*2^710142-1 is not prime. Res64: A4468C42AAB151B9 Time : 554.0 sec. user=vaughan [2009-08-11 12:48:17] 615*2^710141-1 is not prime. Res64: 1AFED8323B04085A Time : 1055.0 sec. user=vaughan [2009-08-11 12:48:18] 747*2^710142-1 is not prime. Res64: C051397E8FB08605 Time : 556.0 sec. user=tnerual [2009-08-11 12:48:36] 633*2^710135-1 is not prime. Res64: 62DCBE2F58C40D7B Time : 1817.0 sec. user=vaughan [2009-08-11 12:51:24] 631*2^710129-1 is not prime. Res64: 106FC7D60AE7BA28 Time : 2110.0 sec. user=vaughan [2009-08-11 12:52:01] 755*2^710142-1 is not prime. Res64: 16B0212CD3C5E740 Time : 752.0 sec. user=vaughan [2009-08-11 12:52:22] 673*2^710143-1 is not prime. Res64: 0D9CCA2CABCFA1E0 Time : 759.0 sec. user=vaughan [2009-08-11 12:52:33] 679*2^710143-1 is not prime. Res64: D7840B450DAC4FE2 Time : 764.0 sec. user=vaughan [2009-08-11 12:54:00] 703*2^710143-1 is not prime. Res64: EE99F84301D084BB Time : 777.0 sec. user=vaughan [2009-08-11 12:58:03] 645*2^710144-1 is not prime. Res64: 8000D33FA1AD2F4B Time : 596.0 sec. user=vaughan [2009-08-11 12:58:10] 725*2^710144-1 is not prime. Res64: 2805B33A21E7621B Time : 599.0 sec. user=vaughan [2009-08-11 12:58:12] 785*2^710144-1 is not prime. Res64: 30BD9F2A17A8D473 Time : 598.0 sec. user=vaughan [2009-08-11 12:58:16] 649*2^710145-1 is not prime. Res64: 6C69AFC299561781 Time : 598.0 sec. user=vaughan [2009-08-11 13:01:37] 635*2^710144-1 is not prime. Res64: 115CBC741869696C Time : 841.0 sec. user=vaughan [2009-08-11 13:04:26] 739*2^710145-1 is not prime. Res64: 11923ADCFFF83C83 Time : 745.0 sec. user=vaughan [2009-08-11 13:04:49] 789*2^710145-1 is not prime. Res64: 4A505F06557BB4CB Time : 747.0 sec. user=vaughan [2009-08-11 13:04:58] 627*2^710145-1 is not prime. Res64: CF3C006EA744F294 Time : 1001.0 sec. user=vaughan [2009-08-11 13:05:08] 741*2^710146-1 is not prime. Res64: 87E7E5252A62DBAC Time : 755.0 sec. user=vaughan [2009-08-11 13:06:42] 777*2^710146-1 is not prime. Res64: 0487DFE53B175417 Time : 763.0 sec. user=vaughan [2009-08-11 13:06:56] 709*2^710143-1 is not prime. Res64: AD80379D875ED8B4 Time : 1302.0 sec. user=vaughan [2009-08-11 13:07:52] 615*2^710147-1 is not prime. Res64: 5F1307D72D79E2C4 Time : 589.0 sec. user=vaughan [2009-08-11 13:07:56] 645*2^710147-1 is not prime. Res64: DE954CF33BB5711E Time : 586.0 sec. user=vaughan [2009-08-11 13:08:01] 655*2^710147-1 is not prime. Res64: 35FC8F2B686FB334 Time : 590.0 sec. user=vaughan [2009-08-11 13:08:02] 663*2^710147-1 is not prime. Res64: DF1B206C6BF9EA15 Time : 586.0 sec. user=vaughan [2009-08-11 13:14:28] 733*2^710147-1 is not prime. Res64: DB4E5B752E93688E Time : 771.0 sec. user=vaughan [2009-08-11 13:15:53] 781*2^710147-1 is not prime. Res64: B9E5985FE7F70182 Time : 688.0 sec. user=vaughan [2009-08-11 13:16:17] 629*2^710148-1 is not prime. Res64: 104F38D957EC1F3F Time : 688.0 sec. user=vaughan [2009-08-11 13:16:47] 635*2^710148-1 is not prime. Res64: AAFB22F0196D8E97 Time : 699.0 sec. user=vaughan [2009-08-11 13:17:32] 685*2^710149-1 is not prime. Res64: 6995140A2A0C82BB Time : 580.0 sec. user=vaughan [2009-08-11 13:17:34] 641*2^710150-1 is not prime. Res64: 3EF8F4EA1C8C9D7D Time : 578.0 sec. user=vaughan [2009-08-11 13:17:43] 651*2^710150-1 is not prime. Res64: 8040BBDF7BBC5FE7 Time : 581.0 sec. user=vaughan [2009-08-11 13:17:44] 645*2^710150-1 is not prime. Res64: 30B254AF0DDBBD45 Time : 583.0 sec. user=vaughan [2009-08-11 13:18:35] 647*2^710148-1 is not prime. Res64: 28B443A90E74A67A Time : 713.0 sec. user=tnerual [2009-08-11 13:19:07] 651*2^710145-1 is not prime. Res64: 40077EF13E3BAC69 Time : 1831.0 sec. user=vaughan [2009-08-11 13:22:47] 633*2^710148-1 is not prime. Res64: F10E5F50432E7F5C Time : 1069.0 sec. user=vaughan [2009-08-11 13:25:50] 705*2^710148-1 is not prime. Res64: 4ECB79A1299239FC Time : 1134.0 sec. user=vaughan [2009-08-11 13:26:56] 705*2^710129-1 is not prime. Res64: BC9FA26E46A40D7D Time : 564.0 sec. user=vaughan [2009-08-11 13:27:00] 789*2^710129-1 is not prime. Res64: A3863A84F39F02A9 Time : 566.0 sec. user=vaughan [2009-08-11 13:27:11] 799*2^710129-1 is not prime. Res64: 8B852C4A633A4284 Time : 568.0 sec. user=vaughan [2009-08-11 13:27:13] 611*2^710130-1 is not prime. Res64: 43DF963ABF4B8187 Time : 569.0 sec. user=vaughan [2009-08-11 13:27:20] 685*2^710151-1 is not prime. Res64: 1AF7470443DCB554 Time : 687.0 sec. user=vaughan [2009-08-11 13:27:46] 709*2^710151-1 is not prime. Res64: 50730F4ED5B691C8 Time : 689.0 sec. user=vaughan [2009-08-11 13:28:27] 691*2^710129-1 is not prime. Res64: 18A5791AD6EC08D4 Time : 700.0 sec. user=vaughan [2009-08-11 13:29:18] 649*2^710151-1 is not prime. Res64: 0BAFFD5A79079DB6 Time : 890.0 sec. user=vaughan [2009-08-11 13:30:27] 641*2^710130-1 is not prime. Res64: 2FB1EC44E9D66208 Time : 712.0 sec. user=vaughan [2009-08-11 13:30:44] 735*2^710145-1 is not prime. Res64: 1F780184ED8B15AC Time : 2360.0 sec. user=vaughan [2009-08-11 13:36:12] 723*2^710130-1 is not prime. Res64: 4A7993081A1CA031 Time : 557.0 sec. user=vaughan [2009-08-11 13:36:15] 741*2^710130-1 is not prime. Res64: D612FD24E7384427 Time : 555.0 sec. user=vaughan [2009-08-11 13:36:26] 769*2^710131-1 is not prime. Res64: 0BBA69D194D32EEB Time : 555.0 sec. user=vaughan [2009-08-11 13:36:32] 633*2^710132-1 is not prime. Res64: CDF92746664EBBFF Time : 560.0 sec. user=vaughan [2009-08-11 13:38:26] 677*2^710130-1 is not prime. Res64: EC9EB141B0F932BD Time : 939.0 sec. user=vaughan [2009-08-11 13:38:46] 689*2^710132-1 is not prime. Res64: 6E949563D91B03EB Time : 686.0 sec. user=vaughan [2009-08-11 13:39:13] 743*2^710132-1 is not prime. Res64: 1FEC2BF86DBF52F3 Time : 687.0 sec. user=vaughan [2009-08-11 13:40:07] 627*2^710133-1 is not prime. Res64: 051DCBCC03E29602 Time : 700.0 sec. user=vaughan [2009-08-11 13:41:52] 759*2^710133-1 is not prime. Res64: 061973671A64A5BF Time : 754.0 sec. user=vaughan [2009-08-11 13:42:19] 765*2^710133-1 is not prime. Res64: B8D65BD8F5794AA9 Time : 713.0 sec. user=vaughan [2009-08-11 13:42:21] 711*2^710130-1 is not prime. Res64: 625EB3E955AFDD8A Time : 991.0 sec. user=vaughan [2009-08-11 13:45:26] 603*2^710152-1 is not prime. Res64: 3751C6688B3873E9 Time : 554.0 sec. user=vaughan [2009-08-11 13:45:27] 635*2^710152-1 is not prime. Res64: E0C2C22C23F5FBB4 Time : 552.0 sec. user=vaughan [2009-08-11 13:45:41] 687*2^710152-1 is not prime. Res64: 472491A3FC69452D Time : 555.0 sec. user=vaughan [2009-08-11 13:45:48] 689*2^710152-1 is not prime. Res64: CECA257BF8F4A371 Time : 556.0 sec. user=tnerual [2009-08-11 13:49:23] 657*2^710130-1 is not prime. Res64: B95ADD6C5F6E6180 Time : 1816.0 sec. user=vaughan [2009-08-11 13:50:13] 743*2^710152-1 is not prime. Res64: 2C0FED797AA7EBC4 Time : 687.0 sec. user=vaughan [2009-08-11 13:50:42] 649*2^710153-1 is not prime. Res64: 6AF67678830B38D0 Time : 689.0 sec. user=vaughan [2009-08-11 13:51:45] 721*2^710153-1 is not prime. Res64: 61A0CA68111BA72E Time : 699.0 sec. user=vaughan [2009-08-11 13:53:59] 727*2^710153-1 is not prime. Res64: CCAD3D5C89FFA851 Time : 727.0 sec. user=vaughan [2009-08-11 13:54:12] 741*2^710153-1 is not prime. Res64: 1137FD40B91DD4DC Time : 713.0 sec. user=vaughan [2009-08-11 13:54:40] 771*2^710153-1 is not prime. Res64: AF4321A5D07A6974 Time : 554.0 sec. user=vaughan [2009-08-11 13:54:42] 621*2^710154-1 is not prime. Res64: 4AD6B0DA31F3B43A Time : 555.0 sec. user=vaughan [2009-08-11 13:54:57] 657*2^710154-1 is not prime. Res64: 1606B6DAB833BF19 Time : 557.0 sec. user=vaughan [2009-08-11 13:55:03] 663*2^710154-1 is not prime. Res64: 7FA29443A05BF3C0 Time : 556.0 sec. user=vaughan [2009-08-11 13:58:07] 759*2^710153-1 is not prime. Res64: 1711481517360F75 Time : 946.0 sec. user=vaughan [2009-08-11 13:59:35] 695*2^710152-1 is not prime. Res64: DA8372080B83925C Time : 1269.0 sec. user=vaughan [2009-08-11 14:00:35] 735*2^710151-1 is not prime. Res64: 4AA4D5C61B73AD0B Time : 1791.0 sec. user=vaughan [2009-08-11 14:01:40] 707*2^710154-1 is not prime. Res64: A3E85BC03DCE2305 Time : 687.0 sec. user=vaughan [2009-08-11 14:02:10] 791*2^710154-1 is not prime. Res64: 3E9358FDA9022D58 Time : 688.0 sec. user=vaughan [2009-08-11 14:03:25] 603*2^710155-1 is not prime. Res64: 2BE92232C6CA61DD Time : 700.0 sec. user=vaughan [2009-08-11 14:03:55] 663*2^710155-1 is not prime. Res64: 154DECCE82D64D70 Time : 555.0 sec. user=vaughan [2009-08-11 14:03:56] 759*2^710155-1 is not prime. Res64: B69602384321910B Time : 554.0 sec. user=vaughan [2009-08-11 14:04:14] 623*2^710156-1 is not prime. Res64: BF81B94BC4B08DCB Time : 557.0 sec. user=vaughan [2009-08-11 14:04:20] 659*2^710156-1 is not prime. Res64: B279E787EBBEC15B Time : 557.0 sec. user=vaughan [2009-08-11 14:06:04] 631*2^710155-1 is not prime. Res64: A154EDC310319C49 Time : 713.0 sec. user=vaughan [2009-08-11 14:06:47] 609*2^710155-1 is not prime. Res64: 91123F7D268D9A1B Time : 768.0 sec. user=vaughan [2009-08-11 14:13:08] 735*2^710157-1 is not prime. Res64: B144A1F91191B49E Time : 688.0 sec. user=vaughan [2009-08-11 14:13:09] 759*2^710157-1 is not prime. Res64: A2B87E0586288D64 Time : 554.0 sec. user=vaughan [2009-08-11 14:13:12] 769*2^710157-1 is not prime. Res64: 26DCAFCA4CFF5125 Time : 556.0 sec. user=vaughan [2009-08-11 14:13:27] 705*2^710158-1 is not prime. Res64: 1AD7016DE5FA233B Time : 553.0 sec. user=vaughan [2009-08-11 14:13:37] 745*2^710159-1 is not prime. Res64: 33BB43E12B0F2316 Time : 558.0 sec. user=vaughan [2009-08-11 14:13:39] 741*2^710157-1 is not prime. Res64: 70F4BBF1BBB4EAEC Time : 689.0 sec. user=vaughan [2009-08-11 14:13:41] 735*2^710156-1 is not prime. Res64: 617C3931744254D5 Time : 934.0 sec. user=vaughan [2009-08-11 14:15:05] 751*2^710157-1 is not prime. Res64: 8CE24CFAC4420F86 Time : 700.0 sec. user=vaughan [2009-08-11 14:15:25] 759*2^710156-1 is not prime. Res64: D71ED1CB0A857198 Time : 951.0 sec. user=vaughan [2009-08-11 14:17:57] 771*2^710159-1 is not prime. Res64: BCD9288F74BC1E96 Time : 713.0 sec. user=tnerual [2009-08-11 14:19:50] 671*2^710154-1 is not prime. Res64: C07FC2D045623CC7 Time : 1827.0 sec. user=vaughan [2009-08-11 14:20:03] 689*2^710160-1 is not prime. Res64: 09B13807D0C08AD9 Time : 796.0 sec. user=vaughan [2009-08-11 14:22:22] 789*2^710160-1 is not prime. Res64: 8DA30571496931E7 Time : 553.0 sec. user=vaughan [2009-08-11 14:22:28] 615*2^710161-1 is not prime. Res64: A8B1613B65AB9FFF Time : 556.0 sec. user=vaughan [2009-08-11 14:22:43] 619*2^710161-1 is not prime. Res64: 185642C579DAB101 Time : 556.0 sec. user=vaughan [2009-08-11 14:22:55] 645*2^710161-1 is not prime. Res64: AFE871624ADCEA55 Time : 558.0 sec. user=vaughan [2009-08-11 14:24:34] 693*2^710160-1 is not prime. Res64: EE292C8DAABEC37C Time : 687.0 sec. user=vaughan [2009-08-11 14:25:07] 741*2^710162-1 is not prime. Res64: C016A0DFE6ED394B Time : 688.0 sec. user=vaughan [2009-08-11 14:26:45] 609*2^710163-1 is not prime. Res64: BDAE9194A1CD76CB Time : 701.0 sec. user=vaughan [2009-08-11 14:29:41] 755*2^710162-1 is not prime. Res64: AC5DEBB644919B91 Time : 960.0 sec. user=vaughan [2009-08-11 14:29:49] 775*2^710163-1 is not prime. Res64: AD295AF84707FDA9 Time : 712.0 sec. user=vaughan [2009-08-11 14:31:38] 651*2^710165-1 is not prime. Res64: F172C4CD862951E1 Time : 557.0 sec. user=vaughan [2009-08-11 14:31:43] 655*2^710165-1 is not prime. Res64: AEBAEEB1EFF0E87C Time : 555.0 sec. user=vaughan [2009-08-11 14:31:57] 669*2^710165-1 is not prime. Res64: 10EA0A4E5CD00417 Time : 554.0 sec. user=vaughan [2009-08-11 14:32:11] 625*2^710163-1 is not prime. Res64: F4F50DCA99716FE3 Time : 1006.0 sec. user=vaughan [2009-08-11 14:32:12] 691*2^710165-1 is not prime. Res64: 8218D211C0BBD2DA Time : 557.0 sec. user=vaughan [2009-08-11 14:33:31] 627*2^710165-1 is not prime. Res64: 0EECEB92267F5358 Time : 808.0 sec. user=vaughan [2009-08-11 14:33:48] 625*2^710157-1 is not prime. Res64: 4A5FC60FEA48BF0C Time : 1993.0 sec. user=vaughan [2009-08-11 14:36:01] 795*2^710165-1 is not prime. Res64: 7F7FFD50CEBFC53A Time : 687.0 sec. user=vaughan [2009-08-11 14:36:36] 627*2^710166-1 is not prime. Res64: AE2D1869DB6CA57B Time : 689.0 sec. user=vaughan [2009-08-11 14:38:25] 725*2^710166-1 is not prime. Res64: 64CB638B67776577 Time : 700.0 sec. user=vaughan [2009-08-11 14:40:54] 645*2^710167-1 is not prime. Res64: 96E594DE38060853 Time : 556.0 sec. user=vaughan [2009-08-11 14:41:00] 663*2^710167-1 is not prime. Res64: CB9EC10C93281537 Time : 557.0 sec. user=vaughan [2009-08-11 14:41:15] 705*2^710167-1 is not prime. Res64: 718093614F7199E9 Time : 558.0 sec. user=vaughan [2009-08-11 14:41:27] 617*2^710168-1 is not prime. Res64: 2C823BA11F916AC1 Time : 555.0 sec. user=vaughan [2009-08-11 14:41:42] 619*2^710167-1 is not prime. Res64: 1DCD94157D723859 Time : 713.0 sec. user=vaughan [2009-08-11 14:45:57] 609*2^710167-1 is not prime. Res64: 8D00E6B525766FC6 Time : 976.0 sec. user=vaughan [2009-08-11 14:47:16] 665*2^710168-1 is not prime. Res64: 08BFC48D396FED9F Time : 825.0 sec. user=vaughan [2009-08-11 14:47:27] 725*2^710168-1 is not prime. Res64: F0066AFB02A1D8CF Time : 687.0 sec. user=vaughan [2009-08-11 14:48:04] 753*2^710168-1 is not prime. Res64: 4A74E95DA8A279A3 Time : 688.0 sec. user=vaughan [2009-08-11 14:50:06] 759*2^710168-1 is not prime. Res64: EFB209FF10D16B28 Time : 701.0 sec. user=tnerual [2009-08-11 14:50:10] 609*2^710164-1 is not prime. Res64: 8B3D8C0D18BCEC41 Time : 1820.0 sec. user=vaughan [2009-08-11 14:50:11] 773*2^710168-1 is not prime. Res64: AE5261A70885526B Time : 557.0 sec. user=vaughan [2009-08-11 14:50:15] 657*2^710169-1 is not prime. Res64: E1DF7EDD4DA00979 Time : 555.0 sec. user=vaughan [2009-08-11 14:50:21] 759*2^710167-1 is not prime. Res64: 37C030F7929D7589 Time : 1090.0 sec. user=vaughan [2009-08-11 14:50:33] 705*2^710169-1 is not prime. Res64: DC3D7A7E3539438B Time : 559.0 sec. user=vaughan [2009-08-11 14:50:40] 765*2^710169-1 is not prime. Res64: 2C36BD0691C24C61 Time : 553.0 sec. user=vaughan [2009-08-11 14:53:35] 723*2^710170-1 is not prime. Res64: A1292D94E8D9215A Time : 714.0 sec. user=vaughan [2009-08-11 14:58:55] 615*2^710171-1 is not prime. Res64: 627778A04E07DFAD Time : 688.0 sec. user=vaughan [2009-08-11 14:59:28] 669*2^710171-1 is not prime. Res64: 571E584D25D6AB4A Time : 558.0 sec. user=vaughan [2009-08-11 14:59:30] 733*2^710171-1 is not prime. Res64: 2BB3EF995964803A Time : 555.0 sec. user=vaughan [2009-08-11 14:59:33] 619*2^710171-1 is not prime. Res64: D077A8DF0AEF08D5 Time : 689.0 sec. user=vaughan [2009-08-11 14:59:50] 665*2^710172-1 is not prime. Res64: A60703C6B402A77A Time : 557.0 sec. user=vaughan [2009-08-11 14:59:57] 669*2^710172-1 is not prime. Res64: 8840E3BA3F13BFD7 Time : 557.0 sec. user=vaughan [2009-08-11 15:00:28] 765*2^710170-1 is not prime. Res64: D5FAD3905FE0DC46 Time : 792.0 sec. user=vaughan [2009-08-11 15:01:46] 643*2^710171-1 is not prime. Res64: C5FAF168C80547B6 Time : 700.0 sec. user=vaughan [2009-08-11 15:02:40] 735*2^710170-1 is not prime. Res64: 0DEBCA5E911D7008 Time : 1004.0 sec. user=vaughan [2009-08-11 15:05:29] 623*2^710174-1 is not prime. Res64: 848F29EBB86D2CDB Time : 714.0 sec. user=vaughan [2009-08-11 15:08:43] 797*2^710174-1 is not prime. Res64: 25AA5695D666287B Time : 553.0 sec. user=vaughan [2009-08-11 15:08:44] 707*2^710174-1 is not prime. Res64: 2AB2C4D36F6A7DC5 Time : 556.0 sec. user=vaughan [2009-08-11 15:09:05] 709*2^710175-1 is not prime. Res64: 12962407DE6742F9 Time : 555.0 sec. user=vaughan [2009-08-11 15:09:15] 735*2^710175-1 is not prime. Res64: 2B51372F66298AB3 Time : 559.0 sec. user=vaughan [2009-08-11 15:10:02] 759*2^710171-1 is not prime. Res64: EACDA27EE1F58430 Time : 1181.0 sec. user=vaughan [2009-08-11 15:10:22] 665*2^710174-1 is not prime. Res64: B63E307855854ADB Time : 688.0 sec. user=vaughan [2009-08-11 15:11:01] 663*2^710175-1 is not prime. Res64: B2BA98C8A91BD32E Time : 689.0 sec. user=vaughan [2009-08-11 15:11:44] 669*2^710168-1 is not prime. Res64: 8ABB01FA9BE8039F Time : 2276.0 sec. user=vaughan [2009-08-11 15:12:47] 615*2^710176-1 is not prime. Res64: EDB68CB450FE79CD Time : 739.0 sec. user=vaughan [2009-08-11 15:13:26] 743*2^710176-1 is not prime. Res64: 2D7EE850D8EEA64D Time : 700.0 sec. user=vaughan [2009-08-11 15:17:22] 645*2^710177-1 is not prime. Res64: F4F1DAC122FEC365 Time : 714.0 sec. user=vaughan [2009-08-11 15:17:59] 675*2^710177-1 is not prime. Res64: 219DFF666B24F9B6 Time : 556.0 sec. user=vaughan [2009-08-11 15:18:00] 691*2^710177-1 is not prime. Res64: 0D0E6DD884C1F0A7 Time : 557.0 sec. user=vaughan [2009-08-11 15:18:12] 627*2^710177-1 is not prime. Res64: AE4EA377A6055849 Time : 932.0 sec. user=vaughan [2009-08-11 15:18:23] 735*2^710178-1 is not prime. Res64: 7E0F50CAEB4A4FAC Time : 558.0 sec. user=vaughan [2009-08-11 15:18:31] 777*2^710178-1 is not prime. Res64: 3DE01AD6DD40FC4A Time : 556.0 sec. user=tnerual [2009-08-11 15:20:29] 651*2^710171-1 is not prime. Res64: F0AA02F1321B4454 Time : 1819.0 sec. user=vaughan [2009-08-11 15:21:49] 633*2^710179-1 is not prime. Res64: F883A17C005611BE Time : 687.0 sec. user=vaughan [2009-08-11 15:22:30] 639*2^710179-1 is not prime. Res64: 67CC833752C3F81F Time : 689.0 sec. user=vaughan [2009-08-11 15:25:05] 795*2^710180-1 is not prime. Res64: 6B1A0D937F35BDC3 Time : 700.0 sec. user=vaughan [2009-08-11 15:25:51] 735*2^710180-1 is not prime. Res64: 14254340B29FE3D0 Time : 786.0 sec. user=vaughan [2009-08-11 15:27:11] 621*2^710181-1 is not prime. Res64: 2CFC2C46C0771802 Time : 553.0 sec. user=vaughan [2009-08-11 15:27:16] 679*2^710181-1 is not prime. Res64: 474B0076271080B0 Time : 556.0 sec. user=vaughan [2009-08-11 15:27:37] 717*2^710181-1 is not prime. Res64: 58F67D5EED813829 Time : 554.0 sec. user=vaughan [2009-08-11 15:27:46] 735*2^710181-1 is not prime. Res64: C82DEF902C7579C7 Time : 556.0 sec. user=vaughan [2009-08-11 15:27:49] 615*2^710179-1 is not prime. Res64: 6A74804278F5B9AE Time : 1068.0 sec. user=vaughan [2009-08-11 15:29:16] 797*2^710180-1 is not prime. Res64: 3680A1E685B988D8 Time : 714.0 sec. user=vaughan [2009-08-11 15:33:17] 657*2^710182-1 is not prime. Res64: 09AD784F27A28371 Time : 688.0 sec. user=vaughan [2009-08-11 15:33:59] 677*2^710182-1 is not prime. Res64: D5A40F2EE3F42053 Time : 689.0 sec. user=vaughan [2009-08-11 15:34:38] 681*2^710181-1 is not prime. Res64: 13C2881F2E1EABD0 Time : 986.0 sec. user=vaughan [2009-08-11 15:36:26] 663*2^710184-1 is not prime. Res64: 7B327ACB8E79896E Time : 555.0 sec. user=vaughan [2009-08-11 15:36:29] 665*2^710184-1 is not prime. Res64: 3533CF650528EE1F Time : 554.0 sec. user=vaughan [2009-08-11 15:36:45] 741*2^710182-1 is not prime. Res64: 7B072FB0C1EF4A29 Time : 700.0 sec. user=vaughan [2009-08-11 15:36:54] 725*2^710184-1 is not prime. Res64: 235F3718A08D5F46 Time : 557.0 sec. user=vaughan [2009-08-11 15:37:01] 759*2^710184-1 is not prime. Res64: FCD1E8BCED6BA925 Time : 555.0 sec. user=vaughan [2009-08-11 15:38:06] 765*2^710182-1 is not prime. Res64: 3FCAB32B1D72785B Time : 735.0 sec. user=vaughan [2009-08-11 15:41:10] 651*2^710185-1 is not prime. Res64: 629F341FD40EDDDE Time : 714.0 sec. user=vaughan [2009-08-11 15:44:51] 675*2^710185-1 is not prime. Res64: B6DD8247A7AC1FB2 Time : 694.0 sec. user=vaughan [2009-08-11 15:45:34] 715*2^710185-1 is not prime. Res64: 3BD271218659D996 Time : 695.0 sec. user=vaughan [2009-08-11 15:45:41] 603*2^710186-1 is not prime. Res64: 68E0822A089FA203 Time : 555.0 sec. user=vaughan [2009-08-11 15:45:43] 651*2^710186-1 is not prime. Res64: C21B18906AD0C25A Time : 554.0 sec. user=vaughan [2009-08-11 15:46:08] 669*2^710187-1 is not prime. Res64: 0723F35662A22A6B Time : 554.0 sec. user=vaughan [2009-08-11 15:46:15] 795*2^710187-1 is not prime. Res64: F2D5545BFAC6D10A Time : 554.0 sec. user=vaughan [2009-08-11 15:46:34] 675*2^710180-1 is not prime. Res64: BB39C2DE694D0D73 Time : 2091.0 sec. user=vaughan [2009-08-11 15:48:05] 607*2^710185-1 is not prime. Res64: DBA3C341F9D2EC83 Time : 1216.0 sec. user=vaughan [2009-08-11 15:48:44] 705*2^710186-1 is not prime. Res64: 4A920AF8F40235C4 Time : 719.0 sec. user=tnerual [2009-08-11 15:50:49] 741*2^710181-1 is not prime. Res64: 7657C0F748F4ACAB Time : 1820.0 sec. user=vaughan [2009-08-11 15:51:14] 729*2^710185-1 is not prime. Res64: 072F8EBA3255BE7E Time : 996.0 sec. user=vaughan [2009-08-11 15:52:01] 615*2^710188-1 is not prime. Res64: 40CDBD8C534F7808 Time : 835.0 sec. user=vaughan [2009-08-11 15:53:50] 623*2^710188-1 is not prime. Res64: 97B3FC602112D1BD Time : 761.0 sec. user=vaughan [2009-08-11 15:54:54] 723*2^710188-1 is not prime. Res64: 2CE7EF8D54B12A6E Time : 553.0 sec. user=vaughan [2009-08-11 15:54:57] 601*2^710189-1 is not prime. Res64: 2B1D6C668B785A10 Time : 554.0 sec. user=vaughan [2009-08-11 15:55:24] 619*2^710189-1 is not prime. Res64: 932D27B529EE219C Time : 557.0 sec. user=vaughan [2009-08-11 15:55:32] 759*2^710189-1 is not prime. Res64: 4E20D04B613D7790 Time : 557.0 sec. user=vaughan [2009-08-11 15:56:33] 629*2^710188-1 is not prime. Res64: D3E0985169310D44 Time : 703.0 sec. user=vaughan [2009-08-11 15:57:15] 689*2^710188-1 is not prime. Res64: 92D5F7038FF2A201 Time : 701.0 sec. user=vaughan [2009-08-11 16:00:56] 707*2^710190-1 is not prime. Res64: 034723B3C06582E9 Time : 732.0 sec. user=vaughan [2009-08-11 16:04:11] 635*2^710192-1 is not prime. Res64: 8637EB4993B9E680 Time : 557.0 sec. user=vaughan [2009-08-11 16:04:12] 693*2^710192-1 is not prime. Res64: 0A064F5E0F2B8BC5 Time : 555.0 sec. user=vaughan [2009-08-11 16:04:39] 717*2^710192-1 is not prime. Res64: FDF34D9450A02509 Time : 555.0 sec. user=vaughan [2009-08-11 16:04:47] 797*2^710192-1 is not prime. Res64: AA93AC31331FE910 Time : 555.0 sec. user=vaughan [2009-08-11 16:06:07] 651*2^710190-1 is not prime. Res64: D31DA7203745B4D1 Time : 1082.0 sec. user=vaughan [2009-08-11 16:06:27] 651*2^710191-1 is not prime. Res64: 87299EC1146AD460 Time : 866.0 sec. user=vaughan [2009-08-11 16:06:32] 673*2^710191-1 is not prime. Res64: 880A8C3069658738 Time : 762.0 sec. user=vaughan [2009-08-11 16:07:52] 783*2^710190-1 is not prime. Res64: 0DD0D1FD7228CFB9 Time : 998.0 sec. user=vaughan [2009-08-11 16:08:17] 621*2^710194-1 is not prime. Res64: 1E162649F370F520 Time : 704.0 sec. user=vaughan [2009-08-11 16:08:55] 675*2^710194-1 is not prime. Res64: 80E9D694F02BA90E Time : 700.0 sec. user=vaughan [2009-08-11 16:13:07] 731*2^710194-1 is not prime. Res64: 83C45EA5E3B7C740 Time : 731.0 sec. user=vaughan [2009-08-11 16:13:24] 609*2^710195-1 is not prime. Res64: D80B03B13C8D25F0 Time : 553.0 sec. user=vaughan [2009-08-11 16:13:28] 643*2^710195-1 is not prime. Res64: E937095A29820947 Time : 556.0 sec. user=vaughan [2009-08-11 16:13:56] 669*2^710195-1 is not prime. Res64: 77BED01659F430D0 Time : 558.0 sec. user=vaughan [2009-08-11 16:14:02] 675*2^710195-1 is not prime. Res64: BB03BAE8D40AB069 Time : 556.0 sec. user=vaughan [2009-08-11 16:19:14] 633*2^710196-1 is not prime. Res64: 131F8F14B7AD3A3F Time : 762.0 sec. user=vaughan [2009-08-11 16:20:00] 737*2^710196-1 is not prime. Res64: 968729A74210CB18 Time : 703.0 sec. user=vaughan [2009-08-11 16:20:24] 627*2^710196-1 is not prime. Res64: 567E3B0F4235B181 Time : 837.0 sec. user=vaughan [2009-08-11 16:20:36] 601*2^710197-1 is not prime. Res64: F28E5E31818621CE Time : 701.0 sec. user=tnerual [2009-08-11 16:21:08] 777*2^710190-1 is not prime. Res64: 49197DF3925C821B Time : 1820.0 sec. user=vaughan [2009-08-11 16:22:26] 789*2^710189-1 is not prime. Res64: BDC3666D843EBFCB Time : 2152.0 sec. user=vaughan [2009-08-11 16:22:41] 729*2^710197-1 is not prime. Res64: 4CFF013E6AD02C9F Time : 557.0 sec. user=vaughan [2009-08-11 16:22:44] 741*2^710197-1 is not prime. Res64: 52F19326497689E0 Time : 556.0 sec. user=vaughan [2009-08-11 16:23:10] 759*2^710197-1 is not prime. Res64: 883116D0D075AB74 Time : 554.0 sec. user=vaughan [2009-08-11 16:23:13] 775*2^710195-1 is not prime. Res64: 19B262634BA9A562 Time : 1026.0 sec. user=vaughan [2009-08-11 16:23:16] 641*2^710198-1 is not prime. Res64: A0F8F120B7EF8004 Time : 554.0 sec. user=vaughan [2009-08-11 16:24:17] 725*2^710196-1 is not prime. Res64: 1B4F4FAB0B4DAABC Time : 985.0 sec. user=vaughan [2009-08-11 16:25:19] 691*2^710197-1 is not prime. Res64: DE0771EB380073B4 Time : 732.0 sec. user=vaughan [2009-08-11 16:31:42] 619*2^710199-1 is not prime. Res64: D94DC36A523E6391 Time : 702.0 sec. user=vaughan [2009-08-11 16:31:56] 665*2^710200-1 is not prime. Res64: EA757BF4355F6AE8 Time : 555.0 sec. user=vaughan [2009-08-11 16:31:56] 791*2^710198-1 is not prime. Res64: 71859B7DFB03C9F0 Time : 763.0 sec. user=vaughan [2009-08-11 16:32:00] 735*2^710200-1 is not prime. Res64: 5FC1095376E16D55 Time : 556.0 sec. user=vaughan [2009-08-11 16:32:17] 605*2^710200-1 is not prime. Res64: 4BD9EB83102C2F4F Time : 701.0 sec. user=vaughan [2009-08-11 16:32:23] 747*2^710200-1 is not prime. Res64: 77BDA719825E1D4E Time : 553.0 sec. user=vaughan [2009-08-11 16:32:31] 607*2^710201-1 is not prime. Res64: 135CBF1902A90BB8 Time : 555.0 sec. user=vaughan [2009-08-11 16:34:53] 741*2^710199-1 is not prime. Res64: B5AC5E9DE9C53333 Time : 869.0 sec. user=vaughan [2009-08-11 16:37:31] 681*2^710202-1 is not prime. Res64: DCF78B5F6040EF3C Time : 732.0 sec. user=vaughan [2009-08-11 16:38:49] 765*2^710200-1 is not prime. Res64: 1CDD26BB5A5680AC Time : 936.0 sec. user=vaughan [2009-08-11 16:41:15] 679*2^710203-1 is not prime. Res64: E63BE112569BE326 Time : 555.0 sec. user=vaughan [2009-08-11 16:41:15] 797*2^710202-1 is not prime. Res64: 0C5ED9D2D2D56CD5 Time : 560.0 sec. user=vaughan [2009-08-11 16:41:39] 793*2^710203-1 is not prime. Res64: 79576EEF9B117714 Time : 556.0 sec. user=vaughan [2009-08-11 16:41:42] 775*2^710201-1 is not prime. Res64: 9A103E15F592C7FE Time : 1045.0 sec. user=vaughan [2009-08-11 16:41:47] 657*2^710205-1 is not prime. Res64: 1E692344269ED702 Time : 556.0 sec. user=vaughan [2009-08-11 16:43:25] 741*2^710202-1 is not prime. Res64: 7EDECBE2B335E075 Time : 703.0 sec. user=vaughan [2009-08-11 16:43:58] 681*2^710203-1 is not prime. Res64: 12740293E4247C6C Time : 701.0 sec. user=vaughan [2009-08-11 16:44:39] 615*2^710203-1 is not prime. Res64: 17A2E0898B813738 Time : 763.0 sec. user=vaughan [2009-08-11 16:46:54] 635*2^710200-1 is not prime. Res64: DE1461D2B66C0CF4 Time : 1468.0 sec. user=vaughan [2009-08-11 16:48:54] 699*2^710205-1 is not prime. Res64: 82B9904DD0C41928 Time : 841.0 sec. user=vaughan [2009-08-11 16:49:44] 617*2^710206-1 is not prime. Res64: 9B65E006323AE12E Time : 733.0 sec. user=vaughan [2009-08-11 16:50:29] 663*2^710206-1 is not prime. Res64: 7A74C8A0CDE23A92 Time : 555.0 sec. user=vaughan [2009-08-11 16:50:30] 675*2^710206-1 is not prime. Res64: 6D2854D486A70570 Time : 555.0 sec. user=vaughan [2009-08-11 16:50:53] 747*2^710206-1 is not prime. Res64: 00F364CF5671FE0D Time : 554.0 sec. user=vaughan [2009-08-11 16:51:02] 663*2^710207-1 is not prime. Res64: 073078DCCE99821C Time : 555.0 sec. user=tnerual [2009-08-11 16:51:24] 629*2^710200-1 is not prime. Res64: F5B8F8970FA3A74E Time : 1816.0 sec. user=vaughan [2009-08-11 16:55:04] 647*2^710206-1 is not prime. Res64: 8AFDE44A0F00689B Time : 975.0 sec. user=vaughan [2009-08-11 16:55:08] 711*2^710207-1 is not prime. Res64: FAC281E421844A07 Time : 703.0 sec. user=vaughan [2009-08-11 16:55:39] 763*2^710207-1 is not prime. Res64: 0F3647F85CC2F48A Time : 701.0 sec. user=vaughan [2009-08-11 16:57:21] 633*2^710208-1 is not prime. Res64: 7908CE9078856E3E Time : 763.0 sec. user=vaughan [2009-08-11 16:57:35] 645*2^710207-1 is not prime. Res64: 30395052E6480565 Time : 954.0 sec. user=vaughan [2009-08-11 16:59:43] 615*2^710209-1 is not prime. Res64: A3F78AA55954F84E Time : 554.0 sec. user=vaughan [2009-08-11 16:59:45] 667*2^710209-1 is not prime. Res64: 7D4D891F31853B66 Time : 556.0 sec. user=vaughan [2009-08-11 17:00:08] 691*2^710209-1 is not prime. Res64: D2FCCC89419C57F0 Time : 555.0 sec. user=vaughan [2009-08-11 17:00:17] 775*2^710209-1 is not prime. Res64: 4618EDE038B4A562 Time : 555.0 sec. user=vaughan [2009-08-11 17:01:56] 767*2^710208-1 is not prime. Res64: D87973BBF0553919 Time : 732.0 sec. user=vaughan [2009-08-11 17:03:18] 737*2^710208-1 is not prime. Res64: 6CC262DA5819333F Time : 864.0 sec. user=vaughan [2009-08-11 17:06:51] 783*2^710210-1 is not prime. Res64: 7D7FA54CF0433268 Time : 703.0 sec. user=vaughan [2009-08-11 17:07:21] 797*2^710210-1 is not prime. Res64: A4ACA1FA71A4B151 Time : 702.0 sec. user=vaughan [2009-08-11 17:08:57] 783*2^710211-1 is not prime. Res64: EC61CC1E2FAB3660 Time : 554.0 sec. user=vaughan [2009-08-11 17:08:58] 615*2^710212-1 is not prime. Res64: DC2E966026BF62EB Time : 553.0 sec. user=vaughan [2009-08-11 17:09:23] 653*2^710212-1 is not prime. Res64: 57399050A511B6A1 Time : 555.0 sec. user=vaughan [2009-08-11 17:09:33] 695*2^710212-1 is not prime. Res64: 974E75E0FA9F0E59 Time : 556.0 sec. user=vaughan [2009-08-11 17:10:04] 619*2^710211-1 is not prime. Res64: 381EA62C44BD6EF6 Time : 763.0 sec. user=vaughan [2009-08-11 17:11:38] 741*2^710210-1 is not prime. Res64: BB84C3F230F062FE Time : 994.0 sec. user=vaughan [2009-08-11 17:14:08] 777*2^710212-1 is not prime. Res64: 276C59A940FD9871 Time : 732.0 sec. user=vaughan [2009-08-11 17:14:51] 751*2^710211-1 is not prime. Res64: 7FC6D19B24D1AFE4 Time : 1036.0 sec. user=vaughan [2009-08-11 17:15:05] 735*2^710208-1 is not prime. Res64: 3C1F1F8BDD6DA73C Time : 1691.0 sec. user=vaughan [2009-08-11 17:16:26] 619*2^710213-1 is not prime. Res64: 0A0016BA73A08B2D Time : 788.0 sec. user=vaughan [2009-08-11 17:18:11] 787*2^710213-1 is not prime. Res64: 5FDD85DB72501B51 Time : 554.0 sec. user=vaughan [2009-08-11 17:18:12] 715*2^710213-1 is not prime. Res64: F95A53E7ED35E5A8 Time : 556.0 sec. user=vaughan [2009-08-11 17:18:33] 631*2^710213-1 is not prime. Res64: 4B19DF018AA33971 Time : 703.0 sec. user=vaughan [2009-08-11 17:18:36] 627*2^710214-1 is not prime. Res64: 6BDC109E788C0B47 Time : 553.0 sec. user=vaughan [2009-08-11 17:18:47] 707*2^710214-1 is not prime. Res64: D7E098B12CB92A04 Time : 555.0 sec. user=vaughan [2009-08-11 17:19:03] 675*2^710213-1 is not prime. Res64: 56CB2EF06766DCFA Time : 702.0 sec. user=tnerual [2009-08-11 17:21:43] 735*2^710210-1 is not prime. Res64: E4B2932159D071B5 Time : 1819.0 sec. user=vaughan [2009-08-11 17:22:48] 747*2^710214-1 is not prime. Res64: 7FCA0ADCE18E6F95 Time : 764.0 sec. user=vaughan [2009-08-11 17:26:21] 625*2^710215-1 is not prime. Res64: 671B70D32C05B47D Time : 733.0 sec. user=vaughan [2009-08-11 17:27:26] 681*2^710217-1 is not prime. Res64: 1F6EDFA3F4F3B60A Time : 554.0 sec. user=vaughan [2009-08-11 17:27:26] 649*2^710217-1 is not prime. Res64: 4CBB2B46BD3554A2 Time : 555.0 sec. user=vaughan [2009-08-11 17:27:49] 657*2^710218-1 is not prime. Res64: 1653977EF17D4AAF Time : 553.0 sec. user=vaughan [2009-08-11 17:27:59] 681*2^710218-1 is not prime. Res64: F0EE7155DB244FCD Time : 552.0 sec. user=vaughan [2009-08-11 17:28:43] 773*2^710216-1 is not prime. Res64: 1979B442E552FE6A Time : 737.0 sec. user=vaughan [2009-08-11 17:30:16] 747*2^710217-1 is not prime. Res64: 1BF21C9161F78160 Time : 703.0 sec. user=vaughan [2009-08-11 17:30:45] 687*2^710218-1 is not prime. Res64: 86D10EB44DCD4B37 Time : 702.0 sec. user=vaughan [2009-08-11 17:30:53] 675*2^710215-1 is not prime. Res64: D5D2282223EC4489 Time : 962.0 sec. user=vaughan [2009-08-11 17:33:48] 601*2^710215-1 is not prime. Res64: 3605639EE61E198D Time : 1330.0 sec. user=vaughan [2009-08-11 17:35:31] 663*2^710219-1 is not prime. Res64: E77A60CF451F8C98 Time : 763.0 sec. user=vaughan [2009-08-11 17:36:40] 629*2^710220-1 is not prime. Res64: E856545B735C3A11 Time : 554.0 sec. user=vaughan [2009-08-11 17:36:43] 771*2^710219-1 is not prime. Res64: C70F565CD15FD2C8 Time : 557.0 sec. user=vaughan [2009-08-11 17:37:04] 719*2^710220-1 is not prime. Res64: F5C7BDCBCD7102E7 Time : 556.0 sec. user=vaughan [2009-08-11 17:37:15] 759*2^710220-1 is not prime. Res64: 647C0DA137C15FC2 Time : 556.0 sec. user=vaughan [2009-08-11 17:38:35] 675*2^710219-1 is not prime. Res64: A367E5BA26F47E73 Time : 734.0 sec. user=vaughan [2009-08-11 17:41:29] 797*2^710220-1 is not prime. Res64: E25E7EF9D57F7756 Time : 766.0 sec. user=vaughan [2009-08-11 17:41:59] 615*2^710221-1 is not prime. Res64: B941C30DCBF646F5 Time : 703.0 sec. user=vaughan [2009-08-11 17:42:27] 625*2^710221-1 is not prime. Res64: 811A539431C01914 Time : 702.0 sec. user=vaughan [2009-08-11 17:43:55] 767*2^710216-1 is not prime. Res64: 39A4685D2B448438 Time : 1730.0 sec. user=vaughan [2009-08-11 17:45:54] 751*2^710221-1 is not prime. Res64: 1B7FFDF35B3BCE72 Time : 554.0 sec. user=vaughan [2009-08-11 17:45:56] 775*2^710221-1 is not prime. Res64: F6243804F7253354 Time : 553.0 sec. user=vaughan [2009-08-11 17:46:19] 623*2^710222-1 is not prime. Res64: 13653F2A8873BAC6 Time : 555.0 sec. user=vaughan [2009-08-11 17:46:30] 635*2^710222-1 is not prime. Res64: A49057751D42B536 Time : 555.0 sec. user=vaughan [2009-08-11 17:46:59] 645*2^710221-1 is not prime. Res64: FFA51CEC60D3BFBC Time : 967.0 sec. user=vaughan [2009-08-11 17:48:14] 741*2^710221-1 is not prime. Res64: D5711B0EF4DD9DDB Time : 763.0 sec. user=vaughan [2009-08-11 17:50:47] 677*2^710222-1 is not prime. Res64: 770177ABC21305A2 Time : 733.0 sec. user=vaughan [2009-08-11 17:51:53] 649*2^710221-1 is not prime. Res64: 6D6F67BB2EDE2772 Time : 1085.0 sec. user=tnerual [2009-08-11 17:52:03] 631*2^710219-1 is not prime. Res64: 53F959E3EBB9EA3D Time : 1821.0 sec. user=vaughan [2009-08-11 17:53:41] 705*2^710223-1 is not prime. Res64: 9579366EC84AB49E Time : 702.0 sec. user=vaughan [2009-08-11 17:54:08] 709*2^710223-1 is not prime. Res64: 08D28360CE584D86 Time : 702.0 sec. user=vaughan [2009-08-11 17:54:25] 767*2^710222-1 is not prime. Res64: E42A22B6F9C151D5 Time : 777.0 sec. user=vaughan [2009-08-11 17:55:10] 781*2^710223-1 is not prime. Res64: 66AFB0D030F52D53 Time : 556.0 sec. user=vaughan [2009-08-11 17:55:11] 645*2^710224-1 is not prime. Res64: 7991FC52D0097CFE Time : 556.0 sec. user=vaughan [2009-08-11 17:55:33] 663*2^710224-1 is not prime. Res64: E84AD0F4C283397F Time : 555.0 sec. user=vaughan [2009-08-11 17:55:43] 649*2^710225-1 is not prime. Res64: 46FD019EEAB3D0EF Time : 554.0 sec. user=vaughan [2009-08-11 18:00:57] 679*2^710225-1 is not prime. Res64: F7E8BC8C6D06A59D Time : 764.0 sec. user=vaughan [2009-08-11 18:02:34] 675*2^710225-1 is not prime. Res64: 5727627EA7D5E750 Time : 936.0 sec. user=vaughan [2009-08-11 18:03:00] 691*2^710225-1 is not prime. Res64: A6D7A1D08A897D2E Time : 733.0 sec. user=vaughan [2009-08-11 18:04:23] 683*2^710226-1 is not prime. Res64: 7A0B101772C08B7B Time : 553.0 sec. user=vaughan [2009-08-11 18:04:28] 735*2^710226-1 is not prime. Res64: 3F1BBB6D75B026CF Time : 557.0 sec. user=vaughan [2009-08-11 18:04:47] 741*2^710226-1 is not prime. Res64: A5CF95F0A75CA2E7 Time : 554.0 sec. user=vaughan [2009-08-11 18:04:59] 681*2^710227-1 is not prime. Res64: B78C79F908849288 Time : 556.0 sec. user=vaughan [2009-08-11 18:05:24] 777*2^710225-1 is not prime. Res64: 3B0CCFFA29C36CFF Time : 703.0 sec. user=vaughan [2009-08-11 18:05:49] 795*2^710225-1 is not prime. Res64: B03A8A7B57C165BF Time : 701.0 sec. user=vaughan [2009-08-11 18:06:12] 711*2^710225-1 is not prime. Res64: 3CE1E014CE295BE7 Time : 859.0 sec. user=vaughan [2009-08-11 18:10:11] 657*2^710226-1 is not prime. Res64: FBD9D6124360576F Time : 946.0 sec. user=vaughan [2009-08-11 18:13:31] 763*2^710223-1 is not prime. Res64: 61CF1B30F105E356 Time : 1776.0 sec. user=vaughan [2009-08-11 18:13:37] 793*2^710227-1 is not prime. Res64: 652365E2E555631E Time : 554.0 sec. user=vaughan [2009-08-11 18:13:41] 693*2^710227-1 is not prime. Res64: 48237A10049E934F Time : 764.0 sec. user=vaughan [2009-08-11 18:13:43] 633*2^710228-1 is not prime. Res64: BD17C985E882850E Time : 555.0 sec. user=vaughan [2009-08-11 18:14:01] 743*2^710228-1 is not prime. Res64: CB24321D6DF2B1C3 Time : 554.0 sec. user=vaughan [2009-08-11 18:14:13] 787*2^710229-1 is not prime. Res64: 546978731AC35818 Time : 554.0 sec. user=vaughan [2009-08-11 18:15:13] 769*2^710227-1 is not prime. Res64: F18441FCBF5FA196 Time : 733.0 sec. user=vaughan [2009-08-11 18:17:07] 623*2^710230-1 is not prime. Res64: CC2398CFB22151F9 Time : 703.0 sec. user=vaughan [2009-08-11 18:17:31] 653*2^710230-1 is not prime. Res64: 4EE856CE05CF5CCF Time : 702.0 sec. user=vaughan [2009-08-11 18:19:28] 765*2^710227-1 is not prime. Res64: 5D736AAA3E92C876 Time : 1015.0 sec. user=vaughan [2009-08-11 18:22:51] 703*2^710231-1 is not prime. Res64: 24B12ACF841F92CB Time : 555.0 sec. user=vaughan [2009-08-11 18:22:58] 627*2^710232-1 is not prime. Res64: D2909C57DB72B86D Time : 555.0 sec. user=vaughan [2009-08-11 18:23:09] 661*2^710231-1 is not prime. Res64: 258FB441597D172A Time : 779.0 sec. user=vaughan [2009-08-11 18:23:17] 633*2^710232-1 is not prime. Res64: 8652FC037C766397 Time : 556.0 sec. user=vaughan [2009-08-11 18:23:29] 713*2^710232-1 is not prime. Res64: B2DCEB521B6969EA Time : 556.0 sec. user=vaughan [2009-08-11 18:23:44] 791*2^710230-1 is not prime. Res64: 006D37A9DB2CF4F7 Time : 1052.0 sec. user=vaughan [2009-08-11 18:26:24] 759*2^710231-1 is not prime. Res64: AF4B93ED93A354AA Time : 764.0 sec. user=vaughan [2009-08-11 18:27:25] 777*2^710232-1 is not prime. Res64: 3CF4CE9EECAA013D Time : 732.0 sec. user=vaughan [2009-08-11 18:28:50] 649*2^710233-1 is not prime. Res64: 3B2E0BC8633D558E Time : 703.0 sec. user=vaughan [2009-08-11 18:29:11] 747*2^710233-1 is not prime. Res64: 64EAF76CD4781011 Time : 701.0 sec. user=vaughan [2009-08-11 18:32:06] 657*2^710234-1 is not prime. Res64: 2520D8F68E85AC60 Time : 555.0 sec. user=vaughan [2009-08-11 18:32:12] 671*2^710234-1 is not prime. Res64: 8FB327B953CA42ED Time : 554.0 sec. user=vaughan [2009-08-11 18:32:31] 785*2^710234-1 is not prime. Res64: 55335A0FB2138898 Time : 554.0 sec. user=vaughan [2009-08-11 18:32:44] 639*2^710235-1 is not prime. Res64: 594359E5EF33BCBB Time : 555.0 sec. user=vaughan [2009-08-11 18:36:03] 651*2^710234-1 is not prime. Res64: 18AC4DE7B8261E15 Time : 995.0 sec. user=vaughan [2009-08-11 18:36:39] 717*2^710234-1 is not prime. Res64: 314457B9DCDC500A Time : 810.0 sec. user=vaughan [2009-08-11 18:38:58] 735*2^710235-1 is not prime. Res64: 4244168DC5F1FF2B Time : 914.0 sec. user=vaughan [2009-08-11 18:39:07] 765*2^710235-1 is not prime. Res64: 93AF7B7ADF99D90A Time : 763.0 sec. user=vaughan [2009-08-11 18:39:39] 653*2^710236-1 is not prime. Res64: 5FC8635273F34C39 Time : 734.0 sec. user=vaughan [2009-08-11 18:40:32] 695*2^710236-1 is not prime. Res64: B6977068FE140176 Time : 703.0 sec. user=vaughan [2009-08-11 18:40:52] 717*2^710236-1 is not prime. Res64: B3AACD1724D04BF7 Time : 701.0 sec. user=vaughan [2009-08-11 18:41:18] 783*2^710236-1 is not prime. Res64: 1CF0D58A0CF1BD90 Time : 552.0 sec. user=vaughan [2009-08-11 18:41:26] 601*2^710237-1 is not prime. Res64: BEF4AB3A3CAF4356 Time : 554.0 sec. user=vaughan [2009-08-11 18:41:44] 669*2^710237-1 is not prime. Res64: 559A30309166CE3D Time : 554.0 sec. user=vaughan [2009-08-11 18:41:59] 759*2^710237-1 is not prime. Res64: EE3B2473CB4AACF4 Time : 555.0 sec. user=tnerual [2009-08-11 18:43:02] 721*2^710225-1 is not prime. Res64: 34ED02BEC3971E58 Time : 3059.0 sec. user=vaughan [2009-08-11 18:49:06] 679*2^710231-1 is not prime. Res64: 822541A6C123D378 Time : 2135.0 sec. user=vaughan [2009-08-11 18:50:26] 657*2^710238-1 is not prime. Res64: 0285E3892D482C4A Time : 827.0 sec. user=vaughan [2009-08-11 18:50:32] 759*2^710239-1 is not prime. Res64: 2094E1E128A2A3A5 Time : 554.0 sec. user=vaughan [2009-08-11 18:50:40] 771*2^710239-1 is not prime. Res64: 9BEA807E3627014B Time : 555.0 sec. user=vaughan [2009-08-11 18:50:58] 713*2^710240-1 is not prime. Res64: BD165DE943DBEA1E Time : 554.0 sec. user=vaughan [2009-08-11 18:51:15] 717*2^710240-1 is not prime. Res64: A03E71B55BD2793B Time : 556.0 sec. user=vaughan [2009-08-11 18:51:27] 771*2^710237-1 is not prime. Res64: 7243B96C4BEB41A0 Time : 925.0 sec. user=vaughan [2009-08-11 18:51:50] 677*2^710238-1 is not prime. Res64: 9CE4E800413B3482 Time : 763.0 sec. user=vaughan [2009-08-11 18:51:51] 707*2^710238-1 is not prime. Res64: 6EC30D2D0E59B56A Time : 732.0 sec. user=vaughan [2009-08-11 18:52:15] 645*2^710239-1 is not prime. Res64: AFD831ACF3D964DD Time : 703.0 sec. user=vaughan [2009-08-11 18:52:34] 649*2^710239-1 is not prime. Res64: 30E6A7BAC7B888FB Time : 702.0 sec. user=vaughan [2009-08-11 18:53:51] 665*2^710238-1 is not prime. Res64: CA524A899C73E9BB Time : 893.0 sec. user=vaughan [2009-08-11 18:59:48] 717*2^710241-1 is not prime. Res64: F30AF0EC5E59BD97 Time : 556.0 sec. user=vaughan [2009-08-11 18:59:57] 739*2^710241-1 is not prime. Res64: 58540465B35698F1 Time : 557.0 sec. user=vaughan [2009-08-11 19:00:14] 617*2^710242-1 is not prime. Res64: 6091ED23E826FD34 Time : 556.0 sec. user=vaughan [2009-08-11 19:00:31] 665*2^710242-1 is not prime. Res64: 6939DDFB9055AF12 Time : 556.0 sec. user=vaughan [2009-08-11 19:02:37] 669*2^710241-1 is not prime. Res64: 6971551EB17043C5 Time : 732.0 sec. user=vaughan [2009-08-11 19:03:58] 629*2^710244-1 is not prime. Res64: 442B41FBE6C93257 Time : 703.0 sec. user=vaughan [2009-08-11 19:04:03] 693*2^710243-1 is not prime. Res64: A0421D27CC355E5C Time : 732.0 sec. user=vaughan [2009-08-11 19:04:17] 657*2^710244-1 is not prime. Res64: 5F37DD06F367D0B1 Time : 703.0 sec. user=vaughan [2009-08-11 19:04:32] 643*2^710243-1 is not prime. Res64: 541A2040744BCB5F Time : 762.0 sec. user=vaughan [2009-08-11 19:08:29] 621*2^710243-1 is not prime. Res64: A3842466515FEBC4 Time : 1022.0 sec. user=vaughan [2009-08-11 19:09:04] 759*2^710244-1 is not prime. Res64: 0057A3C0940A63D0 Time : 557.0 sec. user=vaughan [2009-08-11 19:09:13] 687*2^710245-1 is not prime. Res64: 31EF0CFF18276ADE Time : 556.0 sec. user=vaughan [2009-08-11 19:09:31] 645*2^710246-1 is not prime. Res64: 8C11EA8936724D22 Time : 557.0 sec. user=vaughan [2009-08-11 19:09:45] 755*2^710246-1 is not prime. Res64: 3A684B4A690C61DE Time : 555.0 sec. user=vaughan [2009-08-11 19:13:07] 749*2^710244-1 is not prime. Res64: 1C1AD2F43ABFE04C Time : 1156.0 sec. user=vaughan [2009-08-11 19:15:41] 651*2^710247-1 is not prime. Res64: 768362780088D74E Time : 703.0 sec. user=vaughan [2009-08-11 19:15:50] 615*2^710247-1 is not prime. Res64: B51D60B0580A1CD0 Time : 793.0 sec. user=vaughan [2009-08-11 19:15:57] 739*2^710247-1 is not prime. Res64: 2F7F9B4554C50E00 Time : 700.0 sec. user=vaughan [2009-08-11 19:16:15] 703*2^710247-1 is not prime. Res64: 40B6394D559C0101 Time : 732.0 sec. user=vaughan [2009-08-11 19:17:16] 781*2^710247-1 is not prime. Res64: B7CC0C17AC9A7B2A Time : 765.0 sec. user=vaughan [2009-08-11 19:17:55] 639*2^710241-1 is not prime. Res64: 71F7AA9ACB8913D9 Time : 1729.0 sec. user=vaughan [2009-08-11 19:18:20] 729*2^710249-1 is not prime. Res64: C7E6B036DC4C5395 Time : 556.0 sec. user=vaughan [2009-08-11 19:18:29] 615*2^710250-1 is not prime. Res64: 738B97F4A78DF00F Time : 557.0 sec. user=vaughan [2009-08-11 19:18:46] 653*2^710250-1 is not prime. Res64: 1BF78F90E1D64A9C Time : 555.0 sec. user=vaughan [2009-08-11 19:19:00] 703*2^710251-1 is not prime. Res64: 92DFDCDF8A14E9DD Time : 555.0 sec. user=vaughan [2009-08-11 19:26:06] 657*2^710248-1 is not prime. Res64: 16E8E65E13960362 Time : 1057.0 sec. user=vaughan [2009-08-11 19:27:23] 603*2^710252-1 is not prime. Res64: 8715C8AA8A7235BF Time : 703.0 sec. user=vaughan [2009-08-11 19:27:35] 755*2^710254-1 is not prime. Res64: ED79D6CC0B57CDD0 Time : 556.0 sec. user=vaughan [2009-08-11 19:27:39] 669*2^710252-1 is not prime. Res64: 9CD5874F156AC190 Time : 702.0 sec. user=vaughan [2009-08-11 19:27:44] 619*2^710255-1 is not prime. Res64: 5B7202B380CE574C Time : 555.0 sec. user=vaughan [2009-08-11 19:28:03] 645*2^710255-1 is not prime. Res64: CD39542CAC9ADE69 Time : 558.0 sec. user=vaughan [2009-08-11 19:28:16] 693*2^710255-1 is not prime. Res64: F142DF6159DE80B0 Time : 557.0 sec. user=vaughan [2009-08-11 19:28:30] 693*2^710252-1 is not prime. Res64: E3DF03C6271D6211 Time : 735.0 sec. user=vaughan [2009-08-11 19:28:35] 771*2^710251-1 is not prime. Res64: 6B85C0D19A432EBA Time : 928.0 sec. user=vaughan [2009-08-11 19:30:00] 621*2^710253-1 is not prime. Res64: E9C3FA88AD99C08B Time : 764.0 sec. user=vaughan [2009-08-11 19:30:58] 605*2^710252-1 is not prime. Res64: 800A72396E8DA8E1 Time : 908.0 sec. user=vaughan [2009-08-11 19:36:49] 759*2^710255-1 is not prime. Res64: 8579D4620FB2E5FC Time : 554.0 sec. user=vaughan [2009-08-11 19:36:58] 609*2^710256-1 is not prime. Res64: 38901E0199399B0C Time : 554.0 sec. user=vaughan [2009-08-11 19:37:19] 635*2^710256-1 is not prime. Res64: F9C1EF2B16ABC652 Time : 556.0 sec. user=vaughan [2009-08-11 19:37:34] 657*2^710256-1 is not prime. Res64: F16C932E012DC5F7 Time : 558.0 sec. user=vaughan [2009-08-11 19:39:06] 753*2^710255-1 is not prime. Res64: 88C47F3FAF27C28D Time : 704.0 sec. user=vaughan [2009-08-11 19:39:20] 789*2^710255-1 is not prime. Res64: BF4C180BE38A85C9 Time : 701.0 sec. user=vaughan [2009-08-11 19:40:43] 689*2^710256-1 is not prime. Res64: E991F14684823FBC Time : 734.0 sec. user=vaughan [2009-08-11 19:42:43] 759*2^710256-1 is not prime. Res64: 2DB778AE56CFBD4F Time : 763.0 sec. user=vaughan [2009-08-11 19:43:56] 723*2^710256-1 is not prime. Res64: EC7E7E9364FE31B0 Time : 921.0 sec. user=vaughan [2009-08-11 19:44:16] 601*2^710257-1 is not prime. Res64: 80D49712915D37E5 Time : 798.0 sec. user=vaughan [2009-08-11 19:44:36] 715*2^710255-1 is not prime. Res64: 398499641EEAD80F Time : 1110.0 sec. user=vaughan [2009-08-11 19:46:05] 615*2^710257-1 is not prime. Res64: 68853930CF40A0ED Time : 556.0 sec. user=vaughan [2009-08-11 19:46:13] 619*2^710257-1 is not prime. Res64: 46315C04C8F05664 Time : 555.0 sec. user=vaughan [2009-08-11 19:46:34] 645*2^710257-1 is not prime. Res64: 77D2F734B3AFB74B Time : 555.0 sec. user=vaughan [2009-08-11 19:46:48] 661*2^710257-1 is not prime. Res64: CCDA3A16459E3F8B Time : 554.0 sec. user=vaughan [2009-08-11 19:46:57] 741*2^710253-1 is not prime. Res64: CED91CD54542441F Time : 1743.0 sec. user=tnerual [2009-08-11 19:48:45] 615*2^710241-1 is not prime. Res64: C4F329ECFE4A9DEF Time : 3943.0 sec. user=vaughan [2009-08-11 19:50:48] 741*2^710257-1 is not prime. Res64: E7AC8CEFDE175F5F Time : 703.0 sec. user=vaughan [2009-08-11 19:51:02] 645*2^710258-1 is not prime. Res64: 4CBD1B16ED072443 Time : 702.0 sec. user=vaughan [2009-08-11 19:52:56] 671*2^710258-1 is not prime. Res64: B9F01F441BFB7508 Time : 733.0 sec. user=vaughan [2009-08-11 19:55:21] 613*2^710259-1 is not prime. Res64: 418ADA5B7F96FC9B Time : 556.0 sec. user=vaughan [2009-08-11 19:55:27] 731*2^710258-1 is not prime. Res64: 867CC251D2AC0F9B Time : 764.0 sec. user=vaughan [2009-08-11 19:55:28] 619*2^710259-1 is not prime. Res64: B800FB4D533A9D5C Time : 556.0 sec. user=vaughan [2009-08-11 19:55:48] 625*2^710259-1 is not prime. Res64: A9F53CA91D95F54E Time : 555.0 sec. user=vaughan [2009-08-11 19:56:04] 789*2^710259-1 is not prime. Res64: FE7F7746633A0B09 Time : 556.0 sec. user=vaughan [2009-08-11 19:57:32] 773*2^710258-1 is not prime. Res64: CA8F6D63BB91304A Time : 796.0 sec. user=vaughan [2009-08-11 19:59:05] 743*2^710258-1 is not prime. Res64: 340B81DDB1CBD24A Time : 909.0 sec. user=vaughan [2009-08-11 20:02:15] 609*2^710259-1 is not prime. Res64: DB2E7C9033984E3B Time : 1059.0 sec. user=vaughan [2009-08-11 20:02:30] 719*2^710260-1 is not prime. Res64: 6AF9D267480227A2 Time : 703.0 sec. user=vaughan [2009-08-11 20:02:43] 685*2^710261-1 is not prime. Res64: 5B8B0D0A390445E9 Time : 702.0 sec. user=vaughan [2009-08-11 20:04:36] 627*2^710262-1 is not prime. Res64: E9C13DC3A916A0EB Time : 556.0 sec. user=vaughan [2009-08-11 20:04:46] 765*2^710262-1 is not prime. Res64: 323041AD0F24252A Time : 558.0 sec. user=vaughan [2009-08-11 20:05:03] 797*2^710262-1 is not prime. Res64: FFEC3A08205B54A5 Time : 555.0 sec. user=vaughan [2009-08-11 20:05:09] 769*2^710261-1 is not prime. Res64: 1CAD230997440B2B Time : 734.0 sec. user=vaughan [2009-08-11 20:05:19] 639*2^710263-1 is not prime. Res64: 050BD09D09E9437D Time : 555.0 sec. user=vaughan [2009-08-11 20:08:10] 755*2^710262-1 is not prime. Res64: CC70710F94DB4C3E Time : 763.0 sec. user=vaughan [2009-08-11 20:10:49] 741*2^710263-1 is not prime. Res64: 0FE81D9BC6218A97 Time : 797.0 sec. user=vaughan [2009-08-11 20:12:06] 793*2^710259-1 is not prime. Res64: 0840B3133B18F6DA Time : 1509.0 sec. user=vaughan [2009-08-11 20:13:52] 705*2^710265-1 is not prime. Res64: A6CCBF7B9EBED6CF Time : 556.0 sec. user=vaughan [2009-08-11 20:14:03] 739*2^710265-1 is not prime. Res64: 9A006B222DA31310 Time : 558.0 sec. user=vaughan [2009-08-11 20:14:13] 773*2^710264-1 is not prime. Res64: C9FBF89E99531BEA Time : 703.0 sec. user=vaughan [2009-08-11 20:14:17] 651*2^710266-1 is not prime. Res64: 287F9A26D12D52A0 Time : 555.0 sec. user=vaughan [2009-08-11 20:14:24] 679*2^710265-1 is not prime. Res64: 2AC2EC8DF7EA827A Time : 701.0 sec. user=vaughan [2009-08-11 20:14:33] 733*2^710267-1 is not prime. Res64: 769E40EA7985A328 Time : 554.0 sec. user=vaughan [2009-08-11 20:17:18] 763*2^710263-1 is not prime. Res64: 847D057BFBA521E1 Time : 1094.0 sec. user=vaughan [2009-08-11 20:17:22] 711*2^710267-1 is not prime. Res64: A6D8ABD97DAF4160 Time : 733.0 sec. user=vaughan [2009-08-11 20:18:25] 767*2^710264-1 is not prime. Res64: B51DC5730167882C Time : 970.0 sec. user=tnerual [2009-08-11 20:20:08] 677*2^710260-1 is not prime. Res64: 5FAD67E4F8756BD1 Time : 1822.0 sec. user=vaughan [2009-08-11 20:20:54] 759*2^710267-1 is not prime. Res64: FD904A9598A7688B Time : 764.0 sec. user=vaughan [2009-08-11 20:23:06] 759*2^710268-1 is not prime. Res64: E995FDEB00DD8160 Time : 555.0 sec. user=vaughan [2009-08-11 20:23:20] 765*2^710268-1 is not prime. Res64: 857ECEC9E35C78E7 Time : 557.0 sec. user=vaughan [2009-08-11 20:23:32] 745*2^710269-1 is not prime. Res64: E896D5BFCE3ACCB7 Time : 555.0 sec. user=vaughan [2009-08-11 20:23:38] 725*2^710268-1 is not prime. Res64: CEE2A00362DAD0B2 Time : 769.0 sec. user=vaughan [2009-08-11 20:23:49] 603*2^710270-1 is not prime. Res64: 2F64D790A403B799 Time : 556.0 sec. user=vaughan [2009-08-11 20:25:58] 639*2^710269-1 is not prime. Res64: 6D895A30391E1F5B Time : 705.0 sec. user=vaughan [2009-08-11 20:26:09] 747*2^710269-1 is not prime. Res64: 2058A7DAD7188CDD Time : 705.0 sec. user=vaughan [2009-08-11 20:29:33] 753*2^710270-1 is not prime. Res64: 291F5CCEAC0DC4DB Time : 731.0 sec. user=vaughan [2009-08-11 20:32:23] 703*2^710271-1 is not prime. Res64: 31337BFC4C35CB85 Time : 557.0 sec. user=vaughan [2009-08-11 20:32:35] 769*2^710271-1 is not prime. Res64: 9405E3B87BC294F2 Time : 555.0 sec. user=vaughan [2009-08-11 20:32:47] 603*2^710272-1 is not prime. Res64: 47524E838A5843AB Time : 556.0 sec. user=vaughan [2009-08-11 20:33:04] 657*2^710272-1 is not prime. Res64: 8BFC227973BA4886 Time : 556.0 sec. user=vaughan [2009-08-11 20:33:38] 685*2^710271-1 is not prime. Res64: 96877EFB55924D16 Time : 764.0 sec. user=vaughan [2009-08-11 20:34:05] 609*2^710271-1 is not prime. Res64: C493D2BCC4BC9703 Time : 940.0 sec. user=vaughan [2009-08-11 20:36:20] 653*2^710272-1 is not prime. Res64: 26AD80FA097ABE71 Time : 762.0 sec. user=vaughan [2009-08-11 20:37:40] 665*2^710272-1 is not prime. Res64: A2C2C5DE12378369 Time : 703.0 sec. user=vaughan [2009-08-11 20:37:47] 743*2^710270-1 is not prime. Res64: 5CDCD1CCBAB91B00 Time : 1229.0 sec. user=vaughan [2009-08-11 20:37:50] 735*2^710272-1 is not prime. Res64: D7710D14A0ADC187 Time : 702.0 sec. user=vaughan [2009-08-11 20:40:31] 737*2^710268-1 is not prime. Res64: B33612C94100F33F Time : 1705.0 sec. user=vaughan [2009-08-11 20:41:35] 657*2^710273-1 is not prime. Res64: DB0A082F09C52021 Time : 553.0 sec. user=vaughan [2009-08-11 20:41:48] 631*2^710273-1 is not prime. Res64: DCE4C63331DF51F8 Time : 735.0 sec. user=vaughan [2009-08-11 20:41:52] 691*2^710273-1 is not prime. Res64: A8183B37A1877B38 Time : 557.0 sec. user=vaughan [2009-08-11 20:42:00] 741*2^710273-1 is not prime. Res64: F376F68B7D3DCFB3 Time : 553.0 sec. user=vaughan [2009-08-11 20:42:18] 769*2^710273-1 is not prime. Res64: F636517AD3F4E159 Time : 554.0 sec. user=vaughan [2009-08-11 20:46:21] 795*2^710273-1 is not prime. Res64: B9D4BC474FB0F134 Time : 763.0 sec. user=vaughan [2009-08-11 20:48:57] 683*2^710274-1 is not prime. Res64: 383141A2F992697F Time : 757.0 sec. user=vaughan [2009-08-11 20:49:22] 711*2^710274-1 is not prime. Res64: EF4CBE929A504063 Time : 703.0 sec. user=vaughan [2009-08-11 20:49:31] 723*2^710274-1 is not prime. Res64: D926EB5B8BD2BC2C Time : 702.0 sec. user=vaughan [2009-08-11 20:49:55] 635*2^710274-1 is not prime. Res64: 1118307E3B41B512 Time : 950.0 sec. user=tnerual [2009-08-11 20:50:31] 615*2^710271-1 is not prime. Res64: 874C6B6CC15FF640 Time : 1823.0 sec. user=vaughan [2009-08-11 20:50:49] 755*2^710274-1 is not prime. Res64: 8C3F6FE1E8105C53 Time : 554.0 sec. user=vaughan [2009-08-11 20:51:06] 715*2^710275-1 is not prime. Res64: 41E713F29BBEACE8 Time : 554.0 sec. user=vaughan [2009-08-11 20:51:17] 759*2^710275-1 is not prime. Res64: BBF4550368CC3043 Time : 557.0 sec. user=vaughan [2009-08-11 20:51:34] 635*2^710276-1 is not prime. Res64: 7D109EADA2A0B8F1 Time : 556.0 sec. user=vaughan [2009-08-11 20:54:01] 609*2^710275-1 is not prime. Res64: CE3C01119097A71F Time : 734.0 sec. user=vaughan [2009-08-11 20:57:21] 717*2^710274-1 is not prime. Res64: BE321AB766AB94E4 Time : 1174.0 sec. user=vaughan [2009-08-11 20:59:06] 677*2^710276-1 is not prime. Res64: FEFA0708E6E03B8D Time : 765.0 sec. user=vaughan [2009-08-11 21:00:03] 605*2^710278-1 is not prime. Res64: 787D9C3D9089B042 Time : 554.0 sec. user=vaughan [2009-08-11 21:00:24] 611*2^710278-1 is not prime. Res64: B607F68962488070 Time : 558.0 sec. user=vaughan [2009-08-11 21:00:31] 621*2^710278-1 is not prime. Res64: BEBA6042EF130326 Time : 554.0 sec. user=vaughan [2009-08-11 21:00:49] 677*2^710278-1 is not prime. Res64: 23C5292959B3E414 Time : 555.0 sec. user=vaughan [2009-08-11 21:01:06] 615*2^710277-1 is not prime. Res64: 77556715E261929E Time : 704.0 sec. user=vaughan [2009-08-11 21:01:12] 655*2^710277-1 is not prime. Res64: 4935EC5C1775B650 Time : 702.0 sec. user=vaughan [2009-08-11 21:01:51] 601*2^710277-1 is not prime. Res64: 6E853AEBD66BB850 Time : 774.0 sec. user=vaughan [2009-08-11 21:05:42] 725*2^710274-1 is not prime. Res64: 5183661C99033FC4 Time : 1511.0 sec. user=vaughan [2009-08-11 21:05:57] 727*2^710277-1 is not prime. Res64: 83AD9100DF0BE512 Time : 962.0 sec. user=vaughan [2009-08-11 21:06:14] 689*2^710280-1 is not prime. Res64: 879F7B421D041F10 Time : 733.0 sec. user=vaughan [2009-08-11 21:11:50] 719*2^710280-1 is not prime. Res64: B72EABBFCF7E8DFB Time : 764.0 sec. user=vaughan [2009-08-11 21:12:47] 635*2^710282-1 is not prime. Res64: 01BBF453D66ED28D Time : 702.0 sec. user=vaughan [2009-08-11 21:12:54] 705*2^710282-1 is not prime. Res64: EBFAC42CB9A39C8D Time : 702.0 sec. user=vaughan [2009-08-11 21:14:34] 713*2^710282-1 is not prime. Res64: F61731FBC8B44983 Time : 763.0 sec. user=vaughan [2009-08-11 21:17:10] 707*2^710280-1 is not prime. Res64: 46DDC5B3CB034C29 Time : 1189.0 sec. user=vaughan [2009-08-11 21:18:27] 669*2^710283-1 is not prime. Res64: 9FB9BB884FD96109 Time : 733.0 sec. user=vaughan [2009-08-11 21:21:38] 755*2^710282-1 is not prime. Res64: 17780B58E191FCA0 Time : 941.0 sec. user=vaughan [2009-08-11 21:24:28] 741*2^710283-1 is not prime. Res64: 6B0C7D506F7CC36D Time : 701.0 sec. user=vaughan [2009-08-11 21:24:32] 685*2^710283-1 is not prime. Res64: 74DAB990B58F9DF2 Time : 763.0 sec. user=vaughan [2009-08-11 21:24:37] 745*2^710283-1 is not prime. Res64: E3D8F45AF8801CF2 Time : 703.0 sec. user=tnerual [2009-08-11 21:25:40] 765*2^710277-1 is not prime. Res64: A96AD9EDD108820F Time : 2109.0 sec. user=vaughan [2009-08-11 21:28:29] 735*2^710282-1 is not prime. Res64: 317043F7CC7F9C63 Time : 1368.0 sec. user=vaughan [2009-08-11 21:28:37] 775*2^710283-1 is not prime. Res64: D62838BE7326620A Time : 843.0 sec. user=vaughan [2009-08-11 21:30:41] 605*2^710284-1 is not prime. Res64: DEAD63F95A98F40E Time : 734.0 sec. user=vaughan [2009-08-11 21:32:14] 795*2^710283-1 is not prime. Res64: B3DDC2DD015FDB7C Time : 904.0 sec. user=vaughan [2009-08-11 21:35:01] 617*2^710284-1 is not prime. Res64: 7955987AE346EF95 Time : 804.0 sec. user=vaughan [2009-08-11 21:36:10] 675*2^710284-1 is not prime. Res64: 294056CFA94DB6F7 Time : 702.0 sec. user=vaughan [2009-08-11 21:36:17] 755*2^710284-1 is not prime. Res64: 76C168B4BC57F879 Time : 700.0 sec. user=vaughan [2009-08-11 21:37:15] 695*2^710284-1 is not prime. Res64: BC706A5DC97360F5 Time : 763.0 sec. user=vaughan [2009-08-11 21:41:57] 645*2^710285-1 is not prime. Res64: 8C07CBD41940AEAB Time : 808.0 sec. user=vaughan [2009-08-11 21:42:25] 655*2^710285-1 is not prime. Res64: 0E07943E5A35BF02 Time : 829.0 sec. user=vaughan [2009-08-11 21:42:55] 729*2^710285-1 is not prime. Res64: 77EEFAD044030240 Time : 734.0 sec. user=vaughan [2009-08-11 21:46:37] 781*2^710285-1 is not prime. Res64: 231F34B85B8E55A9 Time : 863.0 sec. user=vaughan [2009-08-11 21:47:53] 645*2^710287-1 is not prime. Res64: 099E01B32539491B Time : 703.0 sec. user=vaughan [2009-08-11 21:47:59] 693*2^710287-1 is not prime. Res64: 601A7B30E35E6BC2 Time : 702.0 sec. user=vaughan [2009-08-11 21:48:28] 783*2^710286-1 is not prime. Res64: DDD6230413353B86 Time : 807.0 sec. user=vaughan [2009-08-11 21:49:58] 759*2^710287-1 is not prime. Res64: AF8DF05A6E2890E2 Time : 763.0 sec. user=vaughan [2009-08-11 21:55:06] 629*2^710288-1 is not prime. Res64: 56BAD347C36AB4EF Time : 731.0 sec. user=vaughan [2009-08-11 21:55:24] 763*2^710287-1 is not prime. Res64: B5D647878B052474 Time : 807.0 sec. user=vaughan [2009-08-11 21:55:35] 615*2^710288-1 is not prime. Res64: 19CBCE4001EC2FF2 Time : 790.0 sec. user=vaughan [2009-08-11 21:57:37] 601*2^710281-1 is not prime. Res64: 8769603FFA85A079 Time : 3434.0 sec. user=vaughan [2009-08-11 21:57:43] 681*2^710281-1 is not prime. Res64: 10B307B0206F3970 Time : 3433.0 sec. user=vaughan [2009-08-11 21:58:00] 745*2^710281-1 is not prime. Res64: F76582D6D1B77DEF Time : 3432.0 sec. user=vaughan [2009-08-11 21:58:18] 765*2^710280-1 is not prime. Res64: E6A509862A5FF725 Time : 3495.0 sec. user=tnerual [2009-08-11 21:59:17] 765*2^710284-1 is not prime. Res64: FA88A2BCA5D5E59E Time : 2017.0 sec. user=vaughan [2009-08-11 21:59:29] 797*2^710288-1 is not prime. Res64: 65E97C053C167B33 Time : 697.0 sec. user=vaughan [2009-08-11 21:59:37] 609*2^710289-1 is not prime. Res64: 0BF3F71080DEBACC Time : 698.0 sec. user=vaughan [2009-08-11 22:00:25] 677*2^710288-1 is not prime. Res64: 9CB61A20468862EC Time : 828.0 sec. user=vaughan [2009-08-11 22:02:17] 787*2^710289-1 is not prime. Res64: B35526E6C73D6AE3 Time : 739.0 sec. user=vaughan [2009-08-11 22:02:42] 649*2^710289-1 is not prime. Res64: 6830C6612A06B933 Time : 854.0 sec. user=vaughan [2009-08-11 22:06:48] 777*2^710290-1 is not prime. Res64: 951C7BA7C03D9333 Time : 552.0 sec. user=vaughan [2009-08-11 22:06:52] 791*2^710290-1 is not prime. Res64: 7A70B7CD74F4D2C2 Time : 549.0 sec. user=vaughan [2009-08-11 22:07:02] 663*2^710290-1 is not prime. Res64: C19E821BC3451A0C Time : 716.0 sec. user=vaughan [2009-08-11 22:07:12] 615*2^710291-1 is not prime. Res64: 8965CEC47C592429 Time : 552.0 sec. user=vaughan [2009-08-11 22:07:35] 663*2^710291-1 is not prime. Res64: 1699CB4064E8A052 Time : 557.0 sec. user=vaughan [2009-08-11 22:09:26] 723*2^710290-1 is not prime. Res64: 2B90578F50CF07C6 Time : 831.0 sec. user=vaughan [2009-08-11 22:11:08] 745*2^710291-1 is not prime. Res64: 7C506FD5A450627C Time : 699.0 sec. user=vaughan [2009-08-11 22:12:09] 609*2^710292-1 is not prime. Res64: B6E07E2189B8192D Time : 752.0 sec. user=vaughan [2009-08-11 22:14:34] 629*2^710292-1 is not prime. Res64: 15DAD352CF318DCA Time : 737.0 sec. user=vaughan [2009-08-11 22:16:03] 669*2^710292-1 is not prime. Res64: A2C85E4E9FB6A589 Time : 556.0 sec. user=vaughan [2009-08-11 22:16:09] 719*2^710292-1 is not prime. Res64: E215520D5AC32EA9 Time : 557.0 sec. user=vaughan [2009-08-11 22:16:23] 749*2^710292-1 is not prime. Res64: D79FFD15E283F7BC Time : 552.0 sec. user=vaughan [2009-08-11 22:16:44] 681*2^710290-1 is not prime. Res64: 27851050D33039E7 Time : 1280.0 sec. user=vaughan [2009-08-11 22:16:52] 765*2^710292-1 is not prime. Res64: 0ABEA678F0B00A3B Time : 557.0 sec. user=vaughan [2009-08-11 22:17:29] 623*2^710292-1 is not prime. Res64: A131C982ABAF8106 Time : 1024.0 sec. user=vaughan [2009-08-11 22:17:36] 635*2^710292-1 is not prime. Res64: A9C4B0E7F4EF9F0F Time : 894.0 sec. user=vaughan [2009-08-11 22:19:07] 723*2^710292-1 is not prime. Res64: BD496BFE6D6DC3D7 Time : 725.0 sec. user=vaughan [2009-08-11 22:21:57] 777*2^710292-1 is not prime. Res64: 0038EE2C2085E3C2 Time : 751.0 sec. user=vaughan [2009-08-11 22:22:45] 797*2^710292-1 is not prime. Res64: 5F717417988581EA Time : 697.0 sec. user=vaughan [2009-08-11 22:24:38] 681*2^710293-1 is not prime. Res64: 276F895C44FC713C Time : 750.0 sec. user=vaughan [2009-08-11 22:25:20] 741*2^710293-1 is not prime. Res64: 8BEB7BA13B9C9F9B Time : 557.0 sec. user=vaughan [2009-08-11 22:25:23] 765*2^710293-1 is not prime. Res64: DFFC26667C10930A Time : 555.0 sec. user=vaughan [2009-08-11 22:25:39] 775*2^710293-1 is not prime. Res64: F1A02A4F28E2C230 Time : 556.0 sec. user=vaughan [2009-08-11 22:26:08] 645*2^710294-1 is not prime. Res64: 20ECD486A3D7143D Time : 557.0 sec. user=vaughan [2009-08-11 22:26:54] 691*2^710293-1 is not prime. Res64: 014DD88357D143DA Time : 740.0 sec. user=tnerual [2009-08-11 22:29:50] 705*2^710291-1 is not prime. Res64: 8CC077DE39F8778E Time : 1834.0 sec. user=vaughan [2009-08-11 22:31:14] 797*2^710294-1 is not prime. Res64: 5302158C965A0E0B Time : 727.0 sec. user=vaughan [2009-08-11 22:34:12] 755*2^710294-1 is not prime. Res64: 60457A20A634CDDD Time : 996.0 sec. user=vaughan [2009-08-11 22:34:26] 751*2^710295-1 is not prime. Res64: 1C03026DEA575120 Time : 701.0 sec. user=vaughan [2009-08-11 22:34:30] 671*2^710294-1 is not prime. Res64: 806EDB374125F720 Time : 1021.0 sec. user=vaughan [2009-08-11 22:34:36] 795*2^710295-1 is not prime. Res64: 0C134BCE6F5727FC Time : 556.0 sec. user=vaughan [2009-08-11 22:34:39] 645*2^710296-1 is not prime. Res64: 22734DFC09DE729C Time : 556.0 sec. user=vaughan [2009-08-11 22:34:51] 675*2^710296-1 is not prime. Res64: 605E45E77C0C23A0 Time : 552.0 sec. user=vaughan [2009-08-11 22:34:55] 649*2^710295-1 is not prime. Res64: D7EE4FDDD2B88020 Time : 778.0 sec. user=vaughan [2009-08-11 22:35:24] 689*2^710296-1 is not prime. Res64: 9CC921520A084C9E Time : 557.0 sec. user=vaughan [2009-08-11 22:37:11] 793*2^710295-1 is not prime. Res64: A86760611A494C84 Time : 753.0 sec. user=vaughan [2009-08-11 22:39:11] 695*2^710296-1 is not prime. Res64: 42F997A282E3A142 Time : 737.0 sec. user=vaughan [2009-08-11 22:43:18] 651*2^710297-1 is not prime. Res64: 664458D6041E2F71 Time : 724.0 sec. user=vaughan [2009-08-11 22:43:52] 777*2^710298-1 is not prime. Res64: 1F92EC17153539A6 Time : 554.0 sec. user=vaughan [2009-08-11 22:43:54] 773*2^710298-1 is not prime. Res64: 6A6BBDE47DEFD36C Time : 559.0 sec. user=vaughan [2009-08-11 22:44:00] 623*2^710294-1 is not prime. Res64: AE0DD0F2729D1F57 Time : 1636.0 sec. user=vaughan [2009-08-11 22:44:05] 723*2^710299-1 is not prime. Res64: 33F82EA03CAC8584 Time : 554.0 sec. user=vaughan [2009-08-11 22:44:40] 669*2^710300-1 is not prime. Res64: E08CE28057334F16 Time : 556.0 sec. user=vaughan [2009-08-11 22:46:02] 683*2^710298-1 is not prime. Res64: 0E4CA48600657BB1 Time : 696.0 sec. user=vaughan [2009-08-11 22:48:00] 733*2^710299-1 is not prime. Res64: 5143EE6B98D5F686 Time : 785.0 sec. user=vaughan [2009-08-11 22:48:48] 729*2^710297-1 is not prime. Res64: 2053C1BFA7FF8038 Time : 877.0 sec. user=vaughan [2009-08-11 22:49:40] 699*2^710300-1 is not prime. Res64: 24F7454FE5D4E47D Time : 750.0 sec. user=vaughan [2009-08-11 22:49:46] 735*2^710298-1 is not prime. Res64: 4157136EBFFB7B44 Time : 916.0 sec. user=vaughan [2009-08-11 22:51:27] 651*2^710301-1 is not prime. Res64: 5F073E96E6896C1C Time : 736.0 sec. user=vaughan [2009-08-11 22:53:08] 777*2^710301-1 is not prime. Res64: E5FDF2BBB44FDFD8 Time : 556.0 sec. user=vaughan [2009-08-11 22:53:09] 789*2^710301-1 is not prime. Res64: 0C8A722EE757C0B5 Time : 555.0 sec. user=vaughan [2009-08-11 22:53:23] 657*2^710302-1 is not prime. Res64: ED37EE0792FCA01A Time : 558.0 sec. user=vaughan [2009-08-11 22:53:56] 675*2^710302-1 is not prime. Res64: E07EAA8A552BFB3F Time : 557.0 sec. user=vaughan [2009-08-11 22:55:23] 709*2^710301-1 is not prime. Res64: 61FA327D20EF1D05 Time : 725.0 sec. user=vaughan [2009-08-11 22:57:39] 713*2^710302-1 is not prime. Res64: 4E1DC88C0D4F2DEF Time : 697.0 sec. user=vaughan [2009-08-11 23:00:55] 705*2^710303-1 is not prime. Res64: A2257212BD61882E Time : 775.0 sec. user=vaughan [2009-08-11 23:01:58] 775*2^710303-1 is not prime. Res64: 573E7F85F14E6188 Time : 738.0 sec. user=vaughan [2009-08-11 23:02:23] 635*2^710304-1 is not prime. Res64: CD461B40CE123561 Time : 555.0 sec. user=vaughan [2009-08-11 23:02:24] 699*2^710304-1 is not prime. Res64: 0FA7FA028D12CD87 Time : 555.0 sec. user=vaughan [2009-08-11 23:02:38] 723*2^710304-1 is not prime. Res64: 9649CFB253BA2AE9 Time : 555.0 sec. user=vaughan [2009-08-11 23:03:15] 607*2^710305-1 is not prime. Res64: 1BD66D5E52D9CBF5 Time : 559.0 sec. user=tnerual [2009-08-11 23:03:30] 607*2^710297-1 is not prime. Res64: B65D3FABC40BC9FC Time : 2020.0 sec. user=vaughan [2009-08-11 23:03:46] 627*2^710304-1 is not prime. Res64: 3F09CD609DB1BDC8 Time : 740.0 sec. user=vaughan [2009-08-11 23:05:00] 741*2^710303-1 is not prime. Res64: 356F5B3403014C3C Time : 972.0 sec. user=vaughan [2009-08-11 23:06:09] 615*2^710304-1 is not prime. Res64: FD238F3E0C7C0FD5 Time : 983.0 sec. user=vaughan [2009-08-11 23:07:43] 741*2^710305-1 is not prime. Res64: 249C377E139B8D13 Time : 740.0 sec. user=vaughan [2009-08-11 23:09:16] 603*2^710306-1 is not prime. Res64: C3145B5C840189F7 Time : 697.0 sec. user=vaughan [2009-08-11 23:11:16] 795*2^710301-1 is not prime. Res64: CF513E1C3B1D41A5 Time : 1637.0 sec. user=vaughan [2009-08-11 23:11:39] 619*2^710307-1 is not prime. Res64: E465EFF21E73C3F1 Time : 556.0 sec. user=vaughan [2009-08-11 23:11:40] 603*2^710308-1 is not prime. Res64: E0D01906CA583AFE Time : 556.0 sec. user=vaughan [2009-08-11 23:11:52] 635*2^710308-1 is not prime. Res64: 85B60ADECB819886 Time : 555.0 sec. user=vaughan [2009-08-11 23:12:33] 699*2^710308-1 is not prime. Res64: C6BD69F2B6F50A75 Time : 558.0 sec. user=vaughan [2009-08-11 23:13:35] 743*2^710306-1 is not prime. Res64: 576A08EDBC74288B Time : 697.0 sec. user=vaughan [2009-08-11 23:14:41] 711*2^710306-1 is not prime. Res64: DEAD817D6B4FE1DF Time : 826.0 sec. user=vaughan [2009-08-11 23:16:05] 783*2^710308-1 is not prime. Res64: C34A072994347EF9 Time : 739.0 sec. user=vaughan [2009-08-11 23:19:54] 657*2^710309-1 is not prime. Res64: CFEEAB284FEB24FD Time : 826.0 sec. user=vaughan [2009-08-11 23:20:05] 675*2^710309-1 is not prime. Res64: 7EA361A1508FC817 Time : 742.0 sec. user=vaughan [2009-08-11 23:20:07] 601*2^710309-1 is not prime. Res64: 8FA9AC7F11A2F58B Time : 907.0 sec. user=vaughan [2009-08-11 23:20:49] 795*2^710309-1 is not prime. Res64: 4BB360F390118754 Time : 693.0 sec. user=vaughan [2009-08-11 23:20:55] 707*2^710310-1 is not prime. Res64: 43508FBC56B37EEF Time : 556.0 sec. user=vaughan [2009-08-11 23:20:55] 755*2^710310-1 is not prime. Res64: 3B85E0206ACB1364 Time : 556.0 sec. user=vaughan [2009-08-11 23:21:07] 795*2^710310-1 is not prime. Res64: 0628B7798F08101E Time : 555.0 sec. user=vaughan [2009-08-11 23:21:51] 603*2^710311-1 is not prime. Res64: 9FDDF8FCE2A0740A Time : 559.0 sec. user=vaughan [2009-08-11 23:25:12] 645*2^710311-1 is not prime. Res64: E3EA06C4ABE3F8ED Time : 697.0 sec. user=vaughan [2009-08-11 23:27:18] 673*2^710311-1 is not prime. Res64: 898E61AE231655E8 Time : 758.0 sec. user=vaughan [2009-08-11 23:28:24] 685*2^710311-1 is not prime. Res64: E5FC1FFEE660FC5B Time : 740.0 sec. user=vaughan [2009-08-11 23:29:56] 743*2^710312-1 is not prime. Res64: BF91B3B2B3C38D15 Time : 541.0 sec. user=vaughan [2009-08-11 23:29:56] 767*2^710312-1 is not prime. Res64: 3EB9861A9A2AA352 Time : 541.0 sec. user=vaughan [2009-08-11 23:30:04] 797*2^710312-1 is not prime. Res64: 053A5CDEF47D3C80 Time : 537.0 sec. user=vaughan [2009-08-11 23:30:44] 609*2^710313-1 is not prime. Res64: FEED4708673A9002 Time : 533.0 sec. user=vaughan [2009-08-11 23:32:21] 665*2^710312-1 is not prime. Res64: 0DD155D04BF3A940 Time : 692.0 sec. user=vaughan [2009-08-11 23:32:26] 615*2^710312-1 is not prime. Res64: 102329B8BCF09E62 Time : 741.0 sec. user=vaughan [2009-08-11 23:33:04] 789*2^710311-1 is not prime. Res64: 1B1F9B06DC066EBF Time : 790.0 sec. user=tnerual [2009-08-11 23:35:50] 773*2^710308-1 is not prime. Res64: 21180D26ADB226E1 Time : 1941.0 sec. user=vaughan [2009-08-11 23:36:39] 641*2^710310-1 is not prime. Res64: 3FD43D933DA79F61 Time : 1523.0 sec. user=vaughan [2009-08-11 23:36:49] 691*2^710313-1 is not prime. Res64: C6A0825053E0D71F Time : 697.0 sec. user=vaughan [2009-08-11 23:38:04] 675*2^710314-1 is not prime. Res64: DA1FEFECADC60D8F Time : 489.0 sec. user=vaughan [2009-08-11 23:38:04] 671*2^710314-1 is not prime. Res64: 5C41EC151EFCFC51 Time : 489.0 sec. user=vaughan [2009-08-11 23:38:13] 717*2^710314-1 is not prime. Res64: 2D8D107607ED80C2 Time : 489.0 sec. user=vaughan [2009-08-11 23:38:26] 629*2^710312-1 is not prime. Res64: 8B90CADE1409269F Time : 1100.0 sec. user=vaughan [2009-08-11 23:38:52] 731*2^710314-1 is not prime. Res64: AEFDD05C8245A25D Time : 488.0 sec. user=vaughan [2009-08-11 23:39:55] 741*2^710313-1 is not prime. Res64: ABE12533A5F805C6 Time : 758.0 sec. user=vaughan [2009-08-11 23:40:43] 789*2^710313-1 is not prime. Res64: 4B0E1B2B4BEFA52D Time : 739.0 sec. user=vaughan [2009-08-11 23:43:53] 799*2^710315-1 is not prime. Res64: 0CB11826216BB88D Time : 692.0 sec. user=vaughan [2009-08-11 23:44:48] 707*2^710316-1 is not prime. Res64: 5704BD3C986FC2D6 Time : 742.0 sec. user=vaughan [2009-08-11 23:46:10] 757*2^710317-1 is not prime. Res64: C4B5A813220D4398 Time : 486.0 sec. user=vaughan [2009-08-11 23:46:10] 717*2^710317-1 is not prime. Res64: B0AC00348BCADD9D Time : 486.0 sec. user=vaughan [2009-08-11 23:46:22] 687*2^710318-1 is not prime. Res64: 8803CDC6ABA90AE0 Time : 489.0 sec. user=vaughan [2009-08-11 23:47:02] 679*2^710319-1 is not prime. Res64: 934FA076D0DB3019 Time : 490.0 sec. user=vaughan [2009-08-11 23:48:27] 639*2^710317-1 is not prime. Res64: 0BF26DBCBB73E268 Time : 698.0 sec. user=vaughan [2009-08-11 23:50:20] 717*2^710316-1 is not prime. Res64: C2BB28403D7F9DB5 Time : 1036.0 sec. user=vaughan [2009-08-11 23:52:57] 709*2^710319-1 is not prime. Res64: C394A705CB3FA934 Time : 782.0 sec. user=vaughan [2009-08-11 23:53:03] 723*2^710319-1 is not prime. Res64: 885BBCC4CA51B5B0 Time : 740.0 sec. user=vaughan [2009-08-11 23:54:21] 735*2^710320-1 is not prime. Res64: A8646112B3648118 Time : 491.0 sec. user=vaughan [2009-08-11 23:54:22] 765*2^710320-1 is not prime. Res64: 41EC7A5B55C21B3A Time : 492.0 sec. user=vaughan [2009-08-11 23:54:30] 615*2^710321-1 is not prime. Res64: 388792941C36338C Time : 488.0 sec. user=vaughan [2009-08-11 23:55:09] 675*2^710321-1 is not prime. Res64: F00BFCE554372D9C Time : 487.0 sec. user=vaughan [2009-08-11 23:55:27] 763*2^710319-1 is not prime. Res64: 53A68A49BDF71305 Time : 694.0 sec. user=vaughan [2009-08-11 23:55:38] 625*2^710317-1 is not prime. Res64: 44C7941B92B1AEE3 Time : 1139.0 sec. user=vaughan [2009-08-11 23:57:11] 635*2^710320-1 is not prime. Res64: EDA0331E76503824 Time : 744.0 sec. user=vaughan [2009-08-11 23:57:33] 797*2^710318-1 is not prime. Res64: EB40E6142CD238C4 Time : 1147.0 sec.