user=vaughan [2009-08-31 00:05:12] 765*2^711553-1 is not prime. Res64: 93D061A2C19EC00D Time : 706.0 sec. user=vaughan [2009-08-31 00:05:24] 789*2^711553-1 is not prime. Res64: B3F8CBEE20476723 Time : 702.0 sec. user=vaughan [2009-08-31 00:16:58] 623*2^711554-1 is not prime. Res64: EBD4252EB77A35FA Time : 706.0 sec. user=vaughan [2009-08-31 00:17:06] 627*2^711554-1 is not prime. Res64: 9C63E2BDF3DC555D Time : 702.0 sec. user=vaughan [2009-08-31 00:28:43] 633*2^711554-1 is not prime. Res64: 5EE229A61051E44E Time : 705.0 sec. user=vaughan [2009-08-31 00:28:49] 657*2^711554-1 is not prime. Res64: 478716CFFE7724AE Time : 703.0 sec. user=vaughan [2009-08-31 00:40:40] 731*2^711554-1 is not prime. Res64: B24F47F40481133F Time : 717.0 sec. user=vaughan [2009-08-31 00:40:44] 755*2^711554-1 is not prime. Res64: 4DE43B4B8C83931A Time : 716.0 sec. user=vaughan [2009-08-31 00:52:37] 785*2^711554-1 is not prime. Res64: DFB394A0688E33BD Time : 717.0 sec. user=vaughan [2009-08-31 00:52:42] 675*2^711555-1 is not prime. Res64: 76B540C67B7604A7 Time : 719.0 sec. user=vaughan [2009-08-31 01:04:34] 709*2^711555-1 is not prime. Res64: 78456529D4684279 Time : 717.0 sec. user=vaughan [2009-08-31 01:04:40] 741*2^711555-1 is not prime. Res64: 0D49ADDD0C795894 Time : 719.0 sec. user=vaughan [2009-08-31 01:16:29] 765*2^711555-1 is not prime. Res64: 9D6F1B89E476C321 Time : 715.0 sec. user=vaughan [2009-08-31 01:17:19] 723*2^711556-1 is not prime. Res64: B5D1F81E2EC93586 Time : 759.0 sec. user=vaughan [2009-08-31 01:28:22] 735*2^711556-1 is not prime. Res64: 2C0EF9A5457E416E Time : 714.0 sec. user=vaughan [2009-08-31 01:29:52] 743*2^711556-1 is not prime. Res64: B7297D2BDA50D970 Time : 753.0 sec. user=vaughan [2009-08-31 01:40:18] 655*2^711557-1 is not prime. Res64: 5E57B7AA162DCCDD Time : 717.0 sec. user=vaughan [2009-08-31 01:41:59] 669*2^711557-1 is not prime. Res64: 4BAA6D9652355DAA Time : 727.0 sec. user=vaughan [2009-08-31 01:52:16] 699*2^711557-1 is not prime. Res64: 188CC9FB1D73A2BF Time : 719.0 sec. user=vaughan [2009-08-31 01:53:59] 735*2^711557-1 is not prime. Res64: ACE94614EA392CF3 Time : 720.0 sec. user=vaughan [2009-08-31 02:04:15] 799*2^711557-1 is not prime. Res64: 5E805432FE937746 Time : 719.0 sec. user=vaughan [2009-08-31 02:05:55] 765*2^711558-1 is not prime. Res64: A4DBD186FCABB2AD Time : 716.0 sec. user=vaughan [2009-08-31 02:16:29] 619*2^711559-1 is not prime. Res64: 98C39DADAD8E7AF4 Time : 735.0 sec. user=vaughan [2009-08-31 02:17:57] 693*2^711559-1 is not prime. Res64: A7625063445FAFD7 Time : 722.0 sec. user=vaughan [2009-08-31 02:28:48] 759*2^711559-1 is not prime. Res64: 9C67B71A12B0B131 Time : 739.0 sec. user=vaughan [2009-08-31 02:30:33] 603*2^711560-1 is not prime. Res64: 3D254575155FD6D2 Time : 756.0 sec. user=vaughan [2009-08-31 02:41:10] 725*2^711560-1 is not prime. Res64: 79025EBEAB5AE053 Time : 742.0 sec. user=vaughan [2009-08-31 02:43:12] 777*2^711560-1 is not prime. Res64: 707D5E479CF5ADFF Time : 759.0 sec. user=vaughan [2009-08-31 02:53:31] 705*2^711561-1 is not prime. Res64: 51EEC2052DEAA6A9 Time : 741.0 sec. user=vaughan [2009-08-31 02:55:22] 777*2^711561-1 is not prime. Res64: 446A9AFC38750931 Time : 730.0 sec. user=vaughan [2009-08-31 03:05:55] 781*2^711561-1 is not prime. Res64: 860269F5C7A55E3A Time : 744.0 sec. user=vaughan [2009-08-31 03:07:23] 611*2^711562-1 is not prime. Res64: 291DCD8F0FA609A6 Time : 721.0 sec. user=vaughan [2009-08-31 03:18:11] 765*2^711562-1 is not prime. Res64: AC49F0A12E5E8C3D Time : 736.0 sec. user=vaughan [2009-08-31 03:19:21] 783*2^711563-1 is not prime. Res64: 97562D2FCCD14BB3 Time : 718.0 sec. user=vaughan [2009-08-31 03:30:21] 627*2^711564-1 is not prime. Res64: 14E609B9093D4602 Time : 730.0 sec. user=vaughan [2009-08-31 03:31:13] 719*2^711564-1 is not prime. Res64: DFE0DCB45375E3DC Time : 712.0 sec. user=vaughan [2009-08-31 03:42:19] 749*2^711564-1 is not prime. Res64: B4FABA6A28EF7AC9 Time : 718.0 sec. user=vaughan [2009-08-31 03:43:27] 609*2^711565-1 is not prime. Res64: 969B4D7FA4373E5C Time : 734.0 sec. user=vaughan [2009-08-31 03:53:52] 771*2^711565-1 is not prime. Res64: 83A0C26697675C34 Time : 693.0 sec. user=vaughan [2009-08-31 03:55:48] 761*2^711566-1 is not prime. Res64: DFA5F36C20A5A7A8 Time : 741.0 sec. user=vaughan [2009-08-31 04:06:04] 795*2^711566-1 is not prime. Res64: 11D0750336E9EF08 Time : 732.0 sec. user=vaughan [2009-08-31 04:08:16] 609*2^711567-1 is not prime. Res64: 85AD3293A6904B05 Time : 749.0 sec. user=vaughan [2009-08-31 04:18:19] 619*2^711567-1 is not prime. Res64: 6DA0C1A63114CFC1 Time : 735.0 sec. user=vaughan [2009-08-31 04:20:33] 675*2^711567-1 is not prime. Res64: E169E22F22E8C3AE Time : 737.0 sec. user=vaughan [2009-08-31 04:30:37] 769*2^711567-1 is not prime. Res64: B1477D8E8F41A948 Time : 739.0 sec. user=vaughan [2009-08-31 04:32:47] 615*2^711568-1 is not prime. Res64: 0701309CF18DBAA1 Time : 734.0 sec. user=vaughan [2009-08-31 04:42:51] 623*2^711568-1 is not prime. Res64: 5736765A38C4E9AC Time : 734.0 sec. user=vaughan [2009-08-31 04:44:58] 677*2^711568-1 is not prime. Res64: 0C9C1D914B063348 Time : 732.0 sec. user=vaughan [2009-08-31 04:54:56] 677*2^711570-1 is not prime. Res64: 25E5306BA0E7E1ED Time : 725.0 sec. user=vaughan [2009-08-31 04:57:35] 711*2^711570-1 is not prime. Res64: 8E14F0A678E942E8 Time : 757.0 sec. user=vaughan [2009-08-31 05:15:15] 797*2^711570-1 is not prime. Res64: D8D3E6AB3DF80C7D Time : 1061.0 sec. user=vaughan [2009-08-31 05:16:07] 713*2^711570-1 is not prime. Res64: 8A646B29DDBC2789 Time : 1271.0 sec. user=vaughan [2009-08-31 05:27:16] 651*2^711571-1 is not prime. Res64: E49E91E5CB6EF56E Time : 721.0 sec. user=vaughan [2009-08-31 05:28:07] 793*2^711571-1 is not prime. Res64: 8D5D2B0C89E2848C Time : 721.0 sec. user=vaughan [2009-08-31 05:39:04] 617*2^711572-1 is not prime. Res64: BEC9791D29EC06DB Time : 708.0 sec. user=vaughan [2009-08-31 05:39:35] 797*2^711572-1 is not prime. Res64: BBCFCB0DBF04C5D2 Time : 689.0 sec. user=vaughan [2009-08-31 05:51:05] 721*2^711573-1 is not prime. Res64: 9613598C38B3983F Time : 690.0 sec. user=vaughan [2009-08-31 05:51:19] 669*2^711573-1 is not prime. Res64: 59BC4699F8523D93 Time : 736.0 sec. user=vaughan [2009-08-31 06:02:34] 745*2^711573-1 is not prime. Res64: DCE6745B3A89309D Time : 689.0 sec. user=vaughan [2009-08-31 06:03:37] 765*2^711573-1 is not prime. Res64: BB013BBCCF3010C0 Time : 738.0 sec. user=vaughan [2009-08-31 06:14:10] 769*2^711573-1 is not prime. Res64: 992B30687CD29294 Time : 696.0 sec. user=vaughan [2009-08-31 06:15:35] 789*2^711573-1 is not prime. Res64: 980B2713E5580922 Time : 718.0 sec. user=vaughan [2009-08-31 06:25:52] 621*2^711574-1 is not prime. Res64: 6345A593F4A05608 Time : 702.0 sec. user=vaughan [2009-08-31 06:27:21] 623*2^711574-1 is not prime. Res64: AEAC235E5992539B Time : 706.0 sec. user=vaughan [2009-08-31 06:37:35] 603*2^711575-1 is not prime. Res64: BD51AE0A2BB62F33 Time : 703.0 sec. user=vaughan [2009-08-31 06:39:07] 609*2^711575-1 is not prime. Res64: DC1F127B613AA378 Time : 706.0 sec. user=vaughan [2009-08-31 06:49:18] 619*2^711575-1 is not prime. Res64: EBBF67911B6DEFB4 Time : 703.0 sec. user=vaughan [2009-08-31 06:50:53] 663*2^711575-1 is not prime. Res64: 4454332D9BD3A011 Time : 706.0 sec. user=vaughan [2009-08-31 07:00:53] 685*2^711575-1 is not prime. Res64: 4D8D4D1B374B43A9 Time : 695.0 sec. user=vaughan [2009-08-31 07:03:06] 789*2^711575-1 is not prime. Res64: C21BC2BEFE80176F Time : 733.0 sec. user=vaughan [2009-08-31 07:12:22] 633*2^711576-1 is not prime. Res64: F512F5BA8CF8D429 Time : 690.0 sec. user=vaughan [2009-08-31 07:15:25] 669*2^711576-1 is not prime. Res64: 13443505D7830770 Time : 740.0 sec. user=vaughan [2009-08-31 07:23:52] 693*2^711576-1 is not prime. Res64: BFCC28FFD1527ACC Time : 690.0 sec. user=vaughan [2009-08-31 07:27:29] 777*2^711576-1 is not prime. Res64: 0507577850C07E28 Time : 724.0 sec. user=vaughan [2009-08-31 07:35:19] 609*2^711577-1 is not prime. Res64: 0D20B29C412DA21D Time : 688.0 sec. user=vaughan [2009-08-31 07:39:18] 615*2^711577-1 is not prime. Res64: 4C55BF806C7EA3EC Time : 709.0 sec. user=vaughan [2009-08-31 07:46:47] 687*2^711577-1 is not prime. Res64: 5061C053C038C2D5 Time : 688.0 sec. user=vaughan [2009-08-31 07:51:06] 691*2^711577-1 is not prime. Res64: DAF8DDAE7B344F27 Time : 708.0 sec. user=vaughan [2009-08-31 07:58:36] 605*2^711578-1 is not prime. Res64: 1B3C4DB59D48704A Time : 710.0 sec. user=vaughan [2009-08-31 08:03:07] 641*2^711578-1 is not prime. Res64: 68DAB097179DA3B4 Time : 721.0 sec. user=vaughan [2009-08-31 08:10:54] 671*2^711578-1 is not prime. Res64: BA4ADC7791285453 Time : 738.0 sec. user=vaughan [2009-08-31 08:15:15] 707*2^711578-1 is not prime. Res64: 8DF8361042279EEA Time : 728.0 sec. user=vaughan [2009-08-31 08:23:15] 735*2^711579-1 is not prime. Res64: 292E9470742F2A74 Time : 741.0 sec. user=vaughan [2009-08-31 08:27:29] 769*2^711579-1 is not prime. Res64: 4C0DC8FE8574FEE7 Time : 734.0 sec. user=vaughan [2009-08-31 08:35:38] 795*2^711579-1 is not prime. Res64: FDC2D880D3ED8B80 Time : 743.0 sec. user=vaughan [2009-08-31 08:39:44] 605*2^711580-1 is not prime. Res64: B1332BEE8C7B6181 Time : 735.0 sec. user=vaughan [2009-08-31 08:48:02] 693*2^711580-1 is not prime. Res64: AE810A08776E6CC4 Time : 744.0 sec. user=vaughan [2009-08-31 08:51:59] 755*2^711580-1 is not prime. Res64: C346A54F260C8921 Time : 735.0 sec. user=vaughan [2009-08-31 09:00:18] 615*2^711581-1 is not prime. Res64: 5CE64FCA4DD94ECC Time : 736.0 sec. user=vaughan [2009-08-31 09:04:11] 645*2^711581-1 is not prime. Res64: 1B22B95EB0CCC407 Time : 732.0 sec. user=vaughan [2009-08-31 09:12:33] 657*2^711581-1 is not prime. Res64: 678251EA848FB250 Time : 735.0 sec. user=vaughan [2009-08-31 09:16:17] 711*2^711581-1 is not prime. Res64: D1EFE8CBD23A4247 Time : 726.0 sec. user=vaughan [2009-08-31 09:24:52] 727*2^711581-1 is not prime. Res64: 6638266CC01F8B90 Time : 739.0 sec. user=vaughan [2009-08-31 09:28:24] 741*2^711581-1 is not prime. Res64: 2D54FC4AAFE58256 Time : 727.0 sec. user=vaughan [2009-08-31 09:36:52] 747*2^711581-1 is not prime. Res64: D2859D1E45262C12 Time : 720.0 sec. user=vaughan [2009-08-31 09:40:23] 681*2^711582-1 is not prime. Res64: DC4DB437DFB76752 Time : 719.0 sec. user=vaughan [2009-08-31 09:48:40] 713*2^711582-1 is not prime. Res64: F87D626842E317C2 Time : 708.0 sec. user=vaughan [2009-08-31 09:52:22] 791*2^711582-1 is not prime. Res64: 002B8D8051CC7E39 Time : 719.0 sec. user=vaughan [2009-08-31 10:00:31] 797*2^711582-1 is not prime. Res64: 4CDF07D3E128B2D2 Time : 711.0 sec. user=vaughan [2009-08-31 10:04:21] 679*2^711583-1 is not prime. Res64: E25C734640C7916F Time : 719.0 sec. user=vaughan [2009-08-31 10:12:22] 729*2^711583-1 is not prime. Res64: 15FF2A3365F286ED Time : 711.0 sec. user=vaughan [2009-08-31 10:16:18] 745*2^711583-1 is not prime. Res64: 05CBF7366CEF8F5B Time : 717.0 sec. user=vaughan [2009-08-31 10:24:14] 771*2^711583-1 is not prime. Res64: 3D9546EEEF264833 Time : 713.0 sec. user=vaughan [2009-08-31 10:28:21] 657*2^711584-1 is not prime. Res64: A69FA5F5727FD770 Time : 723.0 sec. user=vaughan [2009-08-31 10:36:19] 717*2^711584-1 is not prime. Res64: C68C9B3B9F51D8A0 Time : 726.0 sec. user=vaughan [2009-08-31 10:40:23] 755*2^711584-1 is not prime. Res64: 262D8914B3AF38C0 Time : 722.0 sec. user=vaughan [2009-08-31 10:48:21] 759*2^711584-1 is not prime. Res64: 68600E735D2CE3FE Time : 722.0 sec. user=vaughan [2009-08-31 10:52:25] 767*2^711584-1 is not prime. Res64: E214C885C96CE6D0 Time : 722.0 sec. user=vaughan [2009-08-31 11:00:23] 773*2^711584-1 is not prime. Res64: D83837D2C8067C28 Time : 722.0 sec. user=vaughan [2009-08-31 11:04:24] 657*2^711585-1 is not prime. Res64: 31AC02300BE3B0B9 Time : 719.0 sec. user=vaughan [2009-08-31 11:12:20] 765*2^711585-1 is not prime. Res64: A9111E4B3C19CD5E Time : 717.0 sec. user=vaughan [2009-08-31 11:16:26] 633*2^711586-1 is not prime. Res64: F3496F34C65A38F7 Time : 722.0 sec. user=vaughan [2009-08-31 11:24:26] 635*2^711586-1 is not prime. Res64: 879E378E405807BA Time : 726.0 sec. user=vaughan [2009-08-31 11:28:47] 647*2^711586-1 is not prime. Res64: B6380FD157E0E742 Time : 742.0 sec. user=vaughan [2009-08-31 11:36:41] 653*2^711586-1 is not prime. Res64: 619B0A5E45414031 Time : 735.0 sec. user=vaughan [2009-08-31 11:41:08] 677*2^711586-1 is not prime. Res64: 28771FDECCF2624C Time : 741.0 sec. user=vaughan [2009-08-31 11:48:56] 609*2^711587-1 is not prime. Res64: CCDDDE6814E344E0 Time : 736.0 sec. user=vaughan [2009-08-31 11:53:34] 621*2^711587-1 is not prime. Res64: AB88F150A44C3CFC Time : 746.0 sec. user=vaughan [2009-08-31 12:01:08] 645*2^711587-1 is not prime. Res64: 0CA7D3D062FDB877 Time : 732.0 sec. user=vaughan [2009-08-31 12:06:27] 693*2^711587-1 is not prime. Res64: 952F44159FF8B06C Time : 773.0 sec. user=vaughan [2009-08-31 12:13:18] 705*2^711587-1 is not prime. Res64: 5BE51EFE8EF295A1 Time : 730.0 sec. user=vaughan [2009-08-31 12:19:18] 759*2^711587-1 is not prime. Res64: 1851AC16DBD9A4EA Time : 771.0 sec. user=vaughan [2009-08-31 12:25:27] 775*2^711587-1 is not prime. Res64: 95486DCA76026169 Time : 730.0 sec. user=vaughan [2009-08-31 12:31:50] 633*2^711588-1 is not prime. Res64: E4AC174CB3E3EE10 Time : 752.0 sec. user=vaughan [2009-08-31 12:37:33] 687*2^711589-1 is not prime. Res64: B4F2C0524661F75D Time : 726.0 sec. user=vaughan [2009-08-31 12:44:01] 747*2^711589-1 is not prime. Res64: 9D6040F6E56F43DB Time : 731.0 sec. user=vaughan [2009-08-31 12:49:37] 789*2^711589-1 is not prime. Res64: B04A2A5D159F554A Time : 724.0 sec. user=vaughan [2009-08-31 12:56:01] 677*2^711590-1 is not prime. Res64: 78DBB106626E1E5A Time : 720.0 sec. user=vaughan [2009-08-31 13:01:38] 693*2^711591-1 is not prime. Res64: 13800B4DEC051ED9 Time : 721.0 sec. user=vaughan [2009-08-31 13:08:23] 751*2^711591-1 is not prime. Res64: FF5495A9857BF31C Time : 742.0 sec. user=vaughan [2009-08-31 13:13:55] 775*2^711591-1 is not prime. Res64: 0007A175E2486814 Time : 738.0 sec. user=vaughan [2009-08-31 13:20:43] 615*2^711592-1 is not prime. Res64: 586293C0ACBD5D3B Time : 740.0 sec. user=vaughan [2009-08-31 13:26:07] 797*2^711592-1 is not prime. Res64: 85EAF25E7BAC2152 Time : 732.0 sec. user=vaughan [2009-08-31 13:33:01] 649*2^711593-1 is not prime. Res64: 08841C842675CD28 Time : 738.0 sec. user=vaughan [2009-08-31 13:38:22] 691*2^711593-1 is not prime. Res64: 89007D0BFD792BFC Time : 735.0 sec. user=vaughan [2009-08-31 13:45:20] 697*2^711593-1 is not prime. Res64: 19CF9B83A87306C4 Time : 739.0 sec. user=vaughan [2009-08-31 13:50:35] 727*2^711593-1 is not prime. Res64: A984E51F3E39602F Time : 734.0 sec. user=vaughan [2009-08-31 13:57:39] 741*2^711593-1 is not prime. Res64: 9A95EDA46BCEE907 Time : 740.0 sec. user=vaughan [2009-08-31 14:02:46] 621*2^711594-1 is not prime. Res64: 3239820FB58E7287 Time : 731.0 sec. user=vaughan [2009-08-31 14:09:47] 663*2^711594-1 is not prime. Res64: 9CD098E21C50605C Time : 728.0 sec. user=vaughan [2009-08-31 14:15:03] 683*2^711594-1 is not prime. Res64: 24120AA017E0D5E0 Time : 737.0 sec. user=vaughan [2009-08-31 14:21:55] 707*2^711594-1 is not prime. Res64: C2BA0E28E81364EA Time : 728.0 sec. user=vaughan [2009-08-31 14:27:17] 673*2^711595-1 is not prime. Res64: 333C0BCD5D5C66E0 Time : 735.0 sec. user=vaughan [2009-08-31 14:33:49] 679*2^711595-1 is not prime. Res64: F1675C880ABF69AE Time : 715.0 sec. user=vaughan [2009-08-31 14:39:15] 741*2^711595-1 is not prime. Res64: C790240A9868A9F1 Time : 718.0 sec. user=vaughan [2009-08-31 14:45:33] 603*2^711596-1 is not prime. Res64: FB60A4519F0D4B77 Time : 704.0 sec. user=vaughan [2009-08-31 14:50:57] 635*2^711596-1 is not prime. Res64: 749B37AF8A4A4AE6 Time : 702.0 sec. user=vaughan [2009-08-31 14:57:18] 685*2^711597-1 is not prime. Res64: E5146FC919830C50 Time : 706.0 sec. user=vaughan [2009-08-31 15:02:26] 765*2^711597-1 is not prime. Res64: 37875B786F3168F7 Time : 689.0 sec. user=vaughan [2009-08-31 15:09:02] 781*2^711597-1 is not prime. Res64: 7F573875136844B1 Time : 705.0 sec. user=vaughan [2009-08-31 15:13:56] 647*2^711598-1 is not prime. Res64: 4CF20524EF06C77F Time : 690.0 sec. user=vaughan [2009-08-31 15:20:48] 687*2^711598-1 is not prime. Res64: 4D55F4C3263CCDA5 Time : 706.0 sec. user=vaughan [2009-08-31 15:25:26] 743*2^711598-1 is not prime. Res64: DB62F555C2ADE6BA Time : 690.0 sec. user=vaughan [2009-08-31 15:32:35] 645*2^711599-1 is not prime. Res64: 177FA430C10759F4 Time : 707.0 sec. user=vaughan [2009-08-31 15:36:56] 685*2^711599-1 is not prime. Res64: 44132860257D8111 Time : 690.0 sec. user=vaughan [2009-08-31 15:44:21] 745*2^711599-1 is not prime. Res64: 94599A1F712D26B3 Time : 706.0 sec. user=vaughan [2009-08-31 15:48:24] 753*2^711600-1 is not prime. Res64: 30FD12F6847D58ED Time : 688.0 sec. user=vaughan [2009-08-31 15:56:05] 797*2^711600-1 is not prime. Res64: 520E7C9994A70902 Time : 704.0 sec. user=vaughan [2009-08-31 15:59:53] 615*2^711601-1 is not prime. Res64: 0225A7F59DB86D8A Time : 689.0 sec. user=vaughan [2009-08-31 16:07:49] 619*2^711601-1 is not prime. Res64: 683DEE136393CC4B Time : 704.0 sec. user=vaughan [2009-08-31 16:11:21] 687*2^711601-1 is not prime. Res64: 824DDE7F71C83E96 Time : 688.0 sec. user=vaughan [2009-08-31 16:19:58] 727*2^711601-1 is not prime. Res64: 04DAFF1EAD10C304 Time : 730.0 sec. user=vaughan [2009-08-31 16:22:53] 635*2^711602-1 is not prime. Res64: A9E1ACBA38EFC1FE Time : 692.0 sec. user=vaughan [2009-08-31 16:32:11] 645*2^711602-1 is not prime. Res64: A5239E4669451162 Time : 734.0 sec. user=vaughan [2009-08-31 16:34:25] 677*2^711602-1 is not prime. Res64: 8AE4EDAA8EBB3D13 Time : 692.0 sec. user=vaughan [2009-08-31 16:44:24] 731*2^711602-1 is not prime. Res64: E32697F56F03FC48 Time : 734.0 sec. user=vaughan [2009-08-31 16:45:57] 625*2^711603-1 is not prime. Res64: 160080A933B821A5 Time : 692.0 sec. user=vaughan [2009-08-31 16:56:38] 691*2^711603-1 is not prime. Res64: E51F3ADE0CB609B6 Time : 734.0 sec. user=vaughan [2009-08-31 16:57:28] 699*2^711603-1 is not prime. Res64: 9761A5D31365E3BA Time : 691.0 sec. user=vaughan [2009-08-31 17:08:50] 735*2^711603-1 is not prime. Res64: 35CF9DA0B26CAA43 Time : 732.0 sec. user=vaughan [2009-08-31 17:09:00] 793*2^711603-1 is not prime. Res64: A28611F59AD86D78 Time : 693.0 sec. user=vaughan [2009-08-31 17:20:32] 657*2^711604-1 is not prime. Res64: CEC29FA761A693CA Time : 692.0 sec. user=vaughan [2009-08-31 17:21:03] 623*2^711604-1 is not prime. Res64: 61EF486EC92D9F68 Time : 733.0 sec. user=vaughan [2009-08-31 17:32:04] 675*2^711604-1 is not prime. Res64: CE67F71350692AE5 Time : 692.0 sec. user=vaughan [2009-08-31 17:33:15] 677*2^711604-1 is not prime. Res64: B54FE9704F37F2B8 Time : 733.0 sec. user=vaughan [2009-08-31 17:43:34] 649*2^711605-1 is not prime. Res64: D0704D145F256ED4 Time : 691.0 sec. user=vaughan [2009-08-31 17:45:12] 655*2^711605-1 is not prime. Res64: 01ED8301B0469445 Time : 718.0 sec. user=vaughan [2009-08-31 17:55:03] 697*2^711605-1 is not prime. Res64: 31681CF065AF073E Time : 689.0 sec. user=vaughan [2009-08-31 17:56:58] 727*2^711605-1 is not prime. Res64: 68BC5FA3D8C41478 Time : 707.0 sec. user=vaughan [2009-08-31 18:06:33] 711*2^711606-1 is not prime. Res64: 4E760ED1CF2B3952 Time : 690.0 sec. user=vaughan [2009-08-31 18:08:46] 603*2^711607-1 is not prime. Res64: 86414146034AA5DC Time : 708.0 sec. user=vaughan [2009-08-31 18:18:03] 649*2^711607-1 is not prime. Res64: 51FBBEC54A134DC3 Time : 690.0 sec. user=vaughan [2009-08-31 18:20:33] 629*2^711608-1 is not prime. Res64: 0669B986C9C26F8E Time : 707.0 sec. user=vaughan [2009-08-31 18:29:33] 687*2^711608-1 is not prime. Res64: 679856DED71ED5A5 Time : 690.0 sec. user=vaughan [2009-08-31 18:32:20] 725*2^711608-1 is not prime. Res64: A3AC1B759F5B6677 Time : 707.0 sec. user=vaughan [2009-08-31 18:41:02] 735*2^711608-1 is not prime. Res64: F79DF8463368A107 Time : 689.0 sec. user=vaughan [2009-08-31 18:44:03] 747*2^711608-1 is not prime. Res64: DDDFB94840E3864A Time : 703.0 sec. user=vaughan [2009-08-31 18:52:38] 601*2^711609-1 is not prime. Res64: 097A4230B9947274 Time : 696.0 sec. user=vaughan [2009-08-31 18:55:43] 667*2^711609-1 is not prime. Res64: EBBED926FF496C9E Time : 701.0 sec. user=vaughan [2009-08-31 19:04:23] 789*2^711609-1 is not prime. Res64: 6BC37C1A019EAE98 Time : 705.0 sec. user=vaughan [2009-08-31 19:07:24] 677*2^711610-1 is not prime. Res64: 3795EAD423758C4D Time : 701.0 sec. user=vaughan [2009-08-31 19:16:12] 713*2^711610-1 is not prime. Res64: 90777339953060CE Time : 709.0 sec. user=vaughan [2009-08-31 19:19:54] 777*2^711610-1 is not prime. Res64: 347F2C313472A886 Time : 750.0 sec. user=vaughan [2009-08-31 19:28:21] 619*2^711611-1 is not prime. Res64: 187208952E6AD1ED Time : 729.0 sec. user=vaughan [2009-08-31 19:32:40] 741*2^711611-1 is not prime. Res64: 8710804110B5359C Time : 767.0 sec. user=vaughan [2009-08-31 19:40:23] 639*2^711612-1 is not prime. Res64: B616C33DA74AA0DD Time : 723.0 sec. user=vaughan [2009-08-31 19:45:07] 675*2^711612-1 is not prime. Res64: E5064E145BF7EDD7 Time : 747.0 sec. user=vaughan [2009-08-31 19:52:25] 683*2^711612-1 is not prime. Res64: AABFC1A92F1CC997 Time : 722.0 sec. user=vaughan [2009-08-31 19:57:26] 765*2^711612-1 is not prime. Res64: 977E638995C423AD Time : 739.0 sec. user=vaughan [2009-08-31 20:04:21] 651*2^711613-1 is not prime. Res64: EF344E40F95DD79B Time : 716.0 sec. user=vaughan [2009-08-31 20:09:36] 715*2^711613-1 is not prime. Res64: 747A55963787EB66 Time : 730.0 sec. user=vaughan [2009-08-31 20:16:16] 635*2^711614-1 is not prime. Res64: F2EC0561D68D5644 Time : 715.0 sec. user=vaughan [2009-08-31 20:21:37] 741*2^711614-1 is not prime. Res64: 4AB575EC7B96DB7A Time : 722.0 sec. user=vaughan [2009-08-31 20:28:04] 747*2^711614-1 is not prime. Res64: A753C61570998264 Time : 708.0 sec. user=vaughan [2009-08-31 20:33:25] 609*2^711615-1 is not prime. Res64: 65806E8415E2875D Time : 708.0 sec. user=vaughan [2009-08-31 20:39:45] 649*2^711615-1 is not prime. Res64: 14BFD1D8F27EC327 Time : 701.0 sec. user=vaughan [2009-08-31 20:45:44] 691*2^711615-1 is not prime. Res64: 70A8F5D293C829C0 Time : 739.0 sec. user=vaughan [2009-08-31 20:51:22] 639*2^711616-1 is not prime. Res64: 85FC5F1445AAC453 Time : 698.0 sec. user=vaughan [2009-08-31 20:57:59] 693*2^711616-1 is not prime. Res64: B338050CB11D9E38 Time : 736.0 sec. user=vaughan [2009-08-31 21:02:54] 755*2^711616-1 is not prime. Res64: A3AF7262148C2F91 Time : 692.0 sec. user=vaughan [2009-08-31 21:09:54] 759*2^711616-1 is not prime. Res64: 47F8DB49C300B00E Time : 715.0 sec. user=vaughan [2009-08-31 21:14:38] 691*2^711617-1 is not prime. Res64: 1B00A8CC29B30462 Time : 704.0 sec. user=vaughan [2009-08-31 21:21:36] 729*2^711617-1 is not prime. Res64: 2E75AED451116098 Time : 702.0 sec. user=vaughan [2009-08-31 21:26:23] 731*2^711618-1 is not prime. Res64: FD7135C8BF4AE211 Time : 705.0 sec. user=vaughan [2009-08-31 21:33:17] 755*2^711618-1 is not prime. Res64: 4064F407D345B86D Time : 701.0 sec. user=vaughan [2009-08-31 21:38:07] 765*2^711618-1 is not prime. Res64: AC51644BC3586662 Time : 704.0 sec. user=vaughan [2009-08-31 21:44:59] 619*2^711619-1 is not prime. Res64: 1D06115BB67E112C Time : 702.0 sec. user=vaughan [2009-08-31 21:49:50] 741*2^711619-1 is not prime. Res64: 853B072BA2124684 Time : 703.0 sec. user=vaughan [2009-08-31 21:57:04] 635*2^711620-1 is not prime. Res64: 53617B22E8C6B232 Time : 725.0 sec. user=vaughan [2009-08-31 22:01:22] 647*2^711620-1 is not prime. Res64: 843CC56471FC4306 Time : 692.0 sec. user=vaughan [2009-08-31 22:09:31] 759*2^711620-1 is not prime. Res64: 03970CD4AF691385 Time : 747.0 sec. user=vaughan [2009-08-31 22:13:37] 773*2^711620-1 is not prime. Res64: 708C1B7AD699F4AE Time : 735.0 sec. user=vaughan [2009-08-31 22:22:08] 785*2^711620-1 is not prime. Res64: 82C29BE032E16BA7 Time : 757.0 sec. user=vaughan [2009-08-31 22:25:51] 601*2^711621-1 is not prime. Res64: 0CA8A825005BE1D0 Time : 734.0 sec. user=vaughan [2009-08-31 22:34:43] 669*2^711621-1 is not prime. Res64: E7FCDE91E4F6DA70 Time : 755.0 sec. user=vaughan [2009-08-31 22:38:07] 645*2^711622-1 is not prime. Res64: 76DC6F5CE246A36E Time : 736.0 sec. user=vaughan [2009-08-31 22:47:21] 661*2^711623-1 is not prime. Res64: 1845B78610AA9019 Time : 758.0 sec. user=vaughan [2009-08-31 22:50:22] 771*2^711623-1 is not prime. Res64: 67F8D8946CED28E9 Time : 736.0 sec. user=vaughan [2009-08-31 22:59:26] 627*2^711624-1 is not prime. Res64: 80DA2F6B6B20E47A Time : 725.0 sec. user=vaughan [2009-08-31 23:02:45] 657*2^711624-1 is not prime. Res64: 6F56F02E7C4A3085 Time : 743.0 sec. user=vaughan [2009-08-31 23:11:27] 663*2^711624-1 is not prime. Res64: 528E1DAC1C8F813A Time : 721.0 sec. user=vaughan [2009-08-31 23:15:05] 705*2^711624-1 is not prime. Res64: 91113D2C2A8DE175 Time : 740.0 sec. user=vaughan [2009-08-31 23:23:11] 737*2^711624-1 is not prime. Res64: EF831BBACB7CF97E Time : 704.0 sec. user=vaughan [2009-08-31 23:27:23] 625*2^711625-1 is not prime. Res64: 3CB3406A2B0AF793 Time : 738.0 sec. user=vaughan [2009-08-31 23:34:55] 661*2^711625-1 is not prime. Res64: 137AA80014F2754B Time : 704.0 sec. user=vaughan [2009-08-31 23:39:23] 721*2^711625-1 is not prime. Res64: 4399B2BF076AAA88 Time : 721.0 sec. user=vaughan [2009-08-31 23:46:46] 603*2^711626-1 is not prime. Res64: E42016CFF17B7891 Time : 711.0 sec. user=vaughan [2009-08-31 23:51:25] 615*2^711626-1 is not prime. Res64: 6856BBA77302367E Time : 723.0 sec. user=vaughan [2009-08-31 23:58:48] 671*2^711626-1 is not prime. Res64: 36AB864E46A85BA9 Time : 722.0 sec.