user=vaughan [2009-02-23 00:00:23] 781*2^622083-1 is not prime. Res64: 210EDFCAB7046C91 Time : 4998.0 sec. user=vaughan [2009-02-23 00:01:52] 793*2^622083-1 is not prime. Res64: 34DC7CAE7BA2B239 Time : 5048.0 sec. user=vaughan [2009-02-23 00:05:14] 789*2^621696-1 is not prime. Res64: A8AD1938BF1E8EB9 Time : 68938.0 sec. user=vaughan [2009-02-23 00:05:44] 615*2^622084-1 is not prime. Res64: 2A78332DEA2CA04B Time : 5090.0 sec. user=vaughan [2009-02-23 00:08:54] 663*2^622084-1 is not prime. Res64: F8CED7E81D2E6588 Time : 4983.0 sec. user=vaughan [2009-02-23 00:10:22] 749*2^622084-1 is not prime. Res64: 09555282AE8EFE31 Time : 5030.0 sec. user=vaughan [2009-02-23 00:14:11] 645*2^622085-1 is not prime. Res64: BE105F1CA490C296 Time : 5088.0 sec. user=vaughan [2009-02-23 00:17:10] 781*2^622085-1 is not prime. Res64: 22B48D5BEE1E4C50 Time : 4982.0 sec. user=vaughan [2009-02-23 00:18:43] 615*2^622086-1 is not prime. Res64: 9AE30025D09B83A5 Time : 5028.0 sec. user=tnerual [2009-02-23 00:20:55] 731*2^622094-1 is not prime. Res64: 07019D7E52764CAC Time : 1496.0 sec. user=vaughan [2009-02-23 00:22:39] 723*2^622086-1 is not prime. Res64: 5DCE2D0C886D296B Time : 5088.0 sec. user=vaughan [2009-02-23 00:25:25] 795*2^622086-1 is not prime. Res64: EA5A771F9B64B525 Time : 4980.0 sec. user=vaughan [2009-02-23 00:27:04] 603*2^622087-1 is not prime. Res64: 3A2F4A98878CF01F Time : 5029.0 sec. user=vaughan [2009-02-23 00:28:00] 625*2^621711-1 is not prime. Res64: 30E3B8C5AD52EDA7 Time : 68961.0 sec. user=vaughan [2009-02-23 00:31:07] 625*2^622087-1 is not prime. Res64: 1A1B5BCA25DCC0EA Time : 5090.0 sec. user=vaughan [2009-02-23 00:33:41] 725*2^622088-1 is not prime. Res64: D8CD8DBF1C290DAB Time : 4979.0 sec. user=vaughan [2009-02-23 00:35:33] 797*2^622088-1 is not prime. Res64: 086C75CFBB1F2AE4 Time : 5037.0 sec. user=vaughan [2009-02-23 00:39:56] 751*2^622089-1 is not prime. Res64: 0630C6F1344A66BD Time : 5111.0 sec. user=vaughan [2009-02-23 00:42:48] 623*2^622090-1 is not prime. Res64: A2A09451B3FD6C84 Time : 5029.0 sec. user=tnerual [2009-02-23 00:44:11] 637*2^622097-1 is not prime. Res64: BE0E6AA8549C4ECA Time : 1396.0 sec. user=vaughan [2009-02-23 00:44:36] 633*2^622090-1 is not prime. Res64: FB824DFDD72ABE4A Time : 5078.0 sec. user=vaughan [2009-02-23 00:48:32] 615*2^622091-1 is not prime. Res64: FC6BF4341B3A0F3F Time : 5119.0 sec. user=vaughan [2009-02-23 00:50:48] 727*2^622097-1 is not prime. Res64: 62A70CB82B125E33 Time : 1368.0 sec. user=vaughan [2009-02-23 00:51:04] 619*2^622091-1 is not prime. Res64: C059FED2B7194E3C Time : 5029.0 sec. user=vaughan [2009-02-23 00:52:55] 663*2^622091-1 is not prime. Res64: A5A54CA84CB98619 Time : 5076.0 sec. user=vaughan [2009-02-23 00:57:01] 715*2^622091-1 is not prime. Res64: 874C7FBA25876643 Time : 5121.0 sec. user=vaughan [2009-02-23 00:59:24] 629*2^622092-1 is not prime. Res64: 9F2C8F5B815282DA Time : 5032.0 sec. user=vaughan [2009-02-23 01:01:16] 737*2^622092-1 is not prime. Res64: 46B43358EB04BE69 Time : 5075.0 sec. user=vaughan [2009-02-23 01:05:27] 749*2^622092-1 is not prime. Res64: 5A6DBED8FA65717C Time : 5119.0 sec. user=vaughan [2009-02-23 01:07:29] 651*2^621997-1 is not prime. Res64: 29239BECFA2A2876 Time : 44304.0 sec. user=vaughan [2009-02-23 01:07:39] 615*2^622093-1 is not prime. Res64: D5BD59137C1CE511 Time : 5030.0 sec. user=tnerual [2009-02-23 01:08:35] 773*2^622098-1 is not prime. Res64: C72E546355396A98 Time : 1464.0 sec. user=vaughan [2009-02-23 01:09:37] 757*2^622093-1 is not prime. Res64: 69841B43FAB9F1D8 Time : 5075.0 sec. user=vaughan [2009-02-23 01:12:39] 729*2^621997-1 is not prime. Res64: D0B4BCC23D8BBAFE Time : 44271.0 sec. user=vaughan [2009-02-23 01:13:40] 645*2^622099-1 is not prime. Res64: 16B71C8BB0A970E0 Time : 1372.0 sec. user=vaughan [2009-02-23 01:13:57] 771*2^622093-1 is not prime. Res64: D32F898281BBE780 Time : 5121.0 sec. user=vaughan [2009-02-23 01:15:57] 683*2^622094-1 is not prime. Res64: 4D70C93FEE251059 Time : 5030.0 sec. user=vaughan [2009-02-23 01:17:48] 613*2^621999-1 is not prime. Res64: 4DC2AB6F1DC0A336 Time : 44239.0 sec. user=vaughan [2009-02-23 01:17:59] 693*2^622094-1 is not prime. Res64: 3E6E41BFF8C160D0 Time : 5076.0 sec. user=vaughan [2009-02-23 01:22:23] 663*2^622095-1 is not prime. Res64: 3566DD9FCF40F3E8 Time : 5119.0 sec. user=vaughan [2009-02-23 01:23:01] 649*2^621999-1 is not prime. Res64: 82CEDF59EDD1138F Time : 44208.0 sec. user=vaughan [2009-02-23 01:24:15] 669*2^622095-1 is not prime. Res64: 4D0BA7284A7CB4A9 Time : 5033.0 sec. user=vaughan [2009-02-23 01:26:21] 675*2^622095-1 is not prime. Res64: 79685DCEB1DE1853 Time : 5069.0 sec. user=vaughan [2009-02-23 01:28:25] 775*2^621999-1 is not prime. Res64: 3D9EBB844745475C Time : 44193.0 sec. user=vaughan [2009-02-23 01:30:52] 693*2^622095-1 is not prime. Res64: 0EA7D72B3416FB3A Time : 5109.0 sec. user=vaughan [2009-02-23 01:32:32] 763*2^622095-1 is not prime. Res64: CA7C909F81B1BE0E Time : 5018.0 sec. user=tnerual [2009-02-23 01:33:08] 609*2^622101-1 is not prime. Res64: D9CB5607D5989134 Time : 1474.0 sec. user=vaughan [2009-02-23 01:33:52] 675*2^622001-1 is not prime. Res64: 09E981487665EC6A Time : 44178.0 sec. user=vaughan [2009-02-23 01:34:43] 623*2^622096-1 is not prime. Res64: 0F0D7A8C2EA6BF08 Time : 5062.0 sec. user=vaughan [2009-02-23 01:36:30] 617*2^622102-1 is not prime. Res64: 79A9294A2EED6A93 Time : 1371.0 sec. user=vaughan [2009-02-23 01:39:21] 693*2^622096-1 is not prime. Res64: 42809034AB9459FD Time : 5110.0 sec. user=vaughan [2009-02-23 01:39:21] 681*2^622002-1 is not prime. Res64: A3EBEAD0B67E4081 Time : 44168.0 sec. user=vaughan [2009-02-23 01:40:47] 747*2^622096-1 is not prime. Res64: 206BB289A6429D5A Time : 5017.0 sec. user=vaughan [2009-02-23 01:43:05] 631*2^622097-1 is not prime. Res64: B795E6AE707102E5 Time : 5062.0 sec. user=vaughan [2009-02-23 01:44:55] 765*2^622002-1 is not prime. Res64: EFDA88C013196C94 Time : 44160.0 sec. user=vaughan [2009-02-23 01:47:49] 669*2^622097-1 is not prime. Res64: 29FC85E52711B22F Time : 5111.0 sec. user=vaughan [2009-02-23 01:49:04] 711*2^622097-1 is not prime. Res64: 26B51665BCBAAF05 Time : 5019.0 sec. user=vaughan [2009-02-23 01:50:39] 693*2^622003-1 is not prime. Res64: 273EEC49AC7094B6 Time : 44168.0 sec. user=vaughan [2009-02-23 01:51:26] 717*2^622097-1 is not prime. Res64: C3359211F4ADA9E2 Time : 5062.0 sec. user=vaughan [2009-02-23 01:56:16] 799*2^622097-1 is not prime. Res64: 7EE09E7C64A64D33 Time : 5110.0 sec. user=vaughan [2009-02-23 01:56:20] 771*2^622003-1 is not prime. Res64: C45EE2571D32A624 Time : 44171.0 sec. user=tnerual [2009-02-23 01:56:55] 759*2^622104-1 is not prime. Res64: 6FFD8417EB990418 Time : 1428.0 sec. user=vaughan [2009-02-23 01:57:23] 621*2^622098-1 is not prime. Res64: 09761B4827D462EF Time : 5022.0 sec. user=vaughan [2009-02-23 01:59:15] 707*2^622106-1 is not prime. Res64: BBE55DF8A1E7EA76 Time : 1365.0 sec. user=vaughan [2009-02-23 01:59:48] 641*2^622098-1 is not prime. Res64: F7AFD48E5DC739F4 Time : 5055.0 sec. user=vaughan [2009-02-23 02:01:58] 699*2^622004-1 is not prime. Res64: 93B133A3B07B8CAA Time : 44171.0 sec. user=vaughan [2009-02-23 02:04:44] 725*2^622098-1 is not prime. Res64: E76848CA4241FE6E Time : 5089.0 sec. user=vaughan [2009-02-23 02:05:38] 747*2^622098-1 is not prime. Res64: 3DF4DA71B10CAAE7 Time : 4970.0 sec. user=vaughan [2009-02-23 02:07:36] 735*2^622005-1 is not prime. Res64: B81AC34440A81C0E Time : 44172.0 sec. user=vaughan [2009-02-23 02:08:10] 601*2^622099-1 is not prime. Res64: B898ED0DEA41FE18 Time : 5014.0 sec. user=vaughan [2009-02-23 02:13:11] 625*2^622099-1 is not prime. Res64: 8203E20AB9DE39C5 Time : 5079.0 sec. user=vaughan [2009-02-23 02:13:17] 751*2^622005-1 is not prime. Res64: 67FF4299E7E1527E Time : 44177.0 sec. user=vaughan [2009-02-23 02:13:54] 723*2^622099-1 is not prime. Res64: B3A5C0F68419A65E Time : 4970.0 sec. user=vaughan [2009-02-23 02:16:32] 735*2^622099-1 is not prime. Res64: 988EC708E54DD365 Time : 5017.0 sec. user=tnerual [2009-02-23 02:18:59] 759*2^622111-1 is not prime. Res64: 94AF8532DE13F762 Time : 1324.0 sec. user=vaughan [2009-02-23 02:19:00] 785*2^622006-1 is not prime. Res64: 09DD169CBCC5DC23 Time : 44180.0 sec. user=vaughan [2009-02-23 02:21:44] 765*2^622099-1 is not prime. Res64: 1BDDDFE36D512F69 Time : 5084.0 sec. user=vaughan [2009-02-23 02:22:02] 669*2^622112-1 is not prime. Res64: FC21FC86D0056B6B Time : 1367.0 sec. user=vaughan [2009-02-23 02:22:11] 633*2^622100-1 is not prime. Res64: 5ECFC0D30BC79A68 Time : 4967.0 sec. user=vaughan [2009-02-23 02:24:44] 633*2^622008-1 is not prime. Res64: ED9DA8C7F402DD1D Time : 44183.0 sec. user=vaughan [2009-02-23 02:24:53] 659*2^622100-1 is not prime. Res64: B9DBFAEDE63E2A8D Time : 5017.0 sec. user=vaughan [2009-02-23 02:30:09] 725*2^622100-1 is not prime. Res64: B4B26ADCC984C2DD Time : 5082.0 sec. user=vaughan [2009-02-23 02:30:28] 735*2^622008-1 is not prime. Res64: 331EC39E692D138B Time : 44187.0 sec. user=vaughan [2009-02-23 02:30:28] 767*2^622100-1 is not prime. Res64: E412E9E4756CFAD4 Time : 4969.0 sec. user=vaughan [2009-02-23 02:33:15] 649*2^622101-1 is not prime. Res64: F5501613B4E4C718 Time : 5018.0 sec. user=vaughan [2009-02-23 02:36:10] 687*2^622009-1 is not prime. Res64: 19DDEB07EF8E1BF2 Time : 44186.0 sec. user=vaughan [2009-02-23 02:38:35] 705*2^622102-1 is not prime. Res64: 93C3D6FE24C7CD50 Time : 5079.0 sec. user=vaughan [2009-02-23 02:38:44] 731*2^622102-1 is not prime. Res64: D43209873B6531E0 Time : 4967.0 sec. user=tnerual [2009-02-23 02:41:04] 731*2^622114-1 is not prime. Res64: 652972971EB591EF Time : 1325.0 sec. user=vaughan [2009-02-23 02:41:36] 643*2^622103-1 is not prime. Res64: 042FE145313B0836 Time : 5017.0 sec. user=vaughan [2009-02-23 02:41:55] 747*2^622010-1 is not prime. Res64: E343DAAF4C0B5C58 Time : 44191.0 sec. user=vaughan [2009-02-23 02:44:53] 651*2^622115-1 is not prime. Res64: D873C1BEFACD3645 Time : 1371.0 sec. user=vaughan [2009-02-23 02:47:02] 789*2^622103-1 is not prime. Res64: E6522761F73E162E Time : 4967.0 sec. user=vaughan [2009-02-23 02:47:03] 693*2^622103-1 is not prime. Res64: 83CC4281A0489AF5 Time : 5080.0 sec. user=vaughan [2009-02-23 02:47:42] 739*2^622011-1 is not prime. Res64: 8F21E3D892C91E59 Time : 44198.0 sec. user=vaughan [2009-02-23 02:49:58] 609*2^622104-1 is not prime. Res64: 8E9C12F8220AED96 Time : 5018.0 sec. user=vaughan [2009-02-23 02:53:28] 657*2^622013-1 is not prime. Res64: E5B4090EBADD2756 Time : 44204.0 sec. user=vaughan [2009-02-23 02:55:20] 747*2^622104-1 is not prime. Res64: D95A0290FC84ED96 Time : 4968.0 sec. user=vaughan [2009-02-23 02:55:33] 707*2^622104-1 is not prime. Res64: 6D3852CE4FF7F15E Time : 5082.0 sec. user=vaughan [2009-02-23 02:58:19] 641*2^622106-1 is not prime. Res64: 54B9D14CE17EDB5A Time : 5017.0 sec. user=vaughan [2009-02-23 02:59:08] 685*2^622013-1 is not prime. Res64: 0FA47E2C117CEA03 Time : 44204.0 sec. user=tnerual [2009-02-23 03:03:06] 645*2^622118-1 is not prime. Res64: 162EDF81ADCB6608 Time : 1322.0 sec. user=vaughan [2009-02-23 03:03:38] 783*2^622106-1 is not prime. Res64: 7A6796A03BDEF38A Time : 4971.0 sec. user=vaughan [2009-02-23 03:04:01] 755*2^622106-1 is not prime. Res64: 5BEB1807A57FEC39 Time : 5080.0 sec. user=vaughan [2009-02-23 03:04:49] 683*2^622014-1 is not prime. Res64: 3F211E95903DFF39 Time : 44202.0 sec. user=vaughan [2009-02-23 03:06:40] 775*2^622107-1 is not prime. Res64: 78428B7ABECADD2A Time : 5016.0 sec. user=vaughan [2009-02-23 03:10:31] 741*2^622014-1 is not prime. Res64: 352CFE68A6F8D934 Time : 44206.0 sec. user=vaughan [2009-02-23 03:11:54] 787*2^622109-1 is not prime. Res64: F88531D294E207A5 Time : 4970.0 sec. user=vaughan [2009-02-23 03:12:29] 745*2^622109-1 is not prime. Res64: BFC05D0AF72424F5 Time : 5081.0 sec. user=vaughan [2009-02-23 03:15:00] 711*2^622110-1 is not prime. Res64: 8493FB427C21CD56 Time : 5015.0 sec. user=vaughan [2009-02-23 03:16:13] 791*2^622014-1 is not prime. Res64: 0B91012ED0BFC3C9 Time : 44198.0 sec. user=vaughan [2009-02-23 03:20:14] 617*2^622112-1 is not prime. Res64: A2637FE13396C304 Time : 4971.0 sec. user=vaughan [2009-02-23 03:21:00] 603*2^622111-1 is not prime. Res64: FBE16F2C9862F2CB Time : 5085.0 sec. user=vaughan [2009-02-23 03:21:56] 717*2^622016-1 is not prime. Res64: 917E18DCB9A417CA Time : 44213.0 sec. user=vaughan [2009-02-23 03:23:29] 743*2^622112-1 is not prime. Res64: B36CBAD26539ED3A Time : 5022.0 sec. user=tnerual [2009-02-23 03:25:09] 713*2^622120-1 is not prime. Res64: E1AF28425B5DA894 Time : 1324.0 sec. user=vaughan [2009-02-23 03:27:37] 741*2^622017-1 is not prime. Res64: 69A2D13D6C23837C Time : 44218.0 sec. user=vaughan [2009-02-23 03:28:36] 657*2^622113-1 is not prime. Res64: 2B4861F5AAE74611 Time : 4978.0 sec. user=vaughan [2009-02-23 03:29:28] 785*2^622112-1 is not prime. Res64: DCC5848BA4611633 Time : 5084.0 sec. user=vaughan [2009-02-23 03:31:50] 685*2^622113-1 is not prime. Res64: B536012BEEAD46D0 Time : 5021.0 sec. user=vaughan [2009-02-23 03:33:21] 781*2^622017-1 is not prime. Res64: 70A00028F6E84B92 Time : 44215.0 sec. user=vaughan [2009-02-23 03:36:54] 635*2^622114-1 is not prime. Res64: 1DA0B3732CEE01D8 Time : 4980.0 sec. user=vaughan [2009-02-23 03:37:56] 781*2^622113-1 is not prime. Res64: 77C795C4FF3176FA Time : 5085.0 sec. user=vaughan [2009-02-23 03:39:03] 687*2^622018-1 is not prime. Res64: 356160D8A5C83CA6 Time : 44241.0 sec. user=vaughan [2009-02-23 03:40:13] 677*2^622114-1 is not prime. Res64: A66A60BAC7EC2417 Time : 5022.0 sec. user=vaughan [2009-02-23 03:44:46] 777*2^622018-1 is not prime. Res64: D2C6DECA3222D19F Time : 44270.0 sec. user=vaughan [2009-02-23 03:45:11] 679*2^622115-1 is not prime. Res64: 93B738B2763EA931 Time : 4980.0 sec. user=vaughan [2009-02-23 03:46:23] 619*2^622115-1 is not prime. Res64: F10DB119CEA35174 Time : 5080.0 sec. user=tnerual [2009-02-23 03:47:10] 691*2^622125-1 is not prime. Res64: E96C128B43E7293C Time : 1321.0 sec. user=vaughan [2009-02-23 03:48:34] 627*2^622116-1 is not prime. Res64: F394F8C7D5EEADE4 Time : 5022.0 sec. user=vaughan [2009-02-23 03:50:28] 629*2^622020-1 is not prime. Res64: 853D362D66837C32 Time : 44298.0 sec. user=vaughan [2009-02-23 03:53:35] 773*2^622116-1 is not prime. Res64: 0C62F8C16B51EF63 Time : 4987.0 sec. user=vaughan [2009-02-23 03:54:56] 635*2^622116-1 is not prime. Res64: 2930EDE2FF6961BB Time : 5087.0 sec. user=vaughan [2009-02-23 03:56:11] 707*2^622020-1 is not prime. Res64: 48636F5A3DAEAD0D Time : 44323.0 sec. user=vaughan [2009-02-23 03:57:05] 609*2^622117-1 is not prime. Res64: 839519C9B7E6B751 Time : 5031.0 sec. user=vaughan [2009-02-23 04:01:51] 793*2^622027-1 is not prime. Res64: 84743F504444ACC1 Time : 39632.0 sec. user=vaughan [2009-02-23 04:02:05] 765*2^622117-1 is not prime. Res64: D5FCFD18C93698D7 Time : 5001.0 sec. user=vaughan [2009-02-23 04:03:32] 741*2^622117-1 is not prime. Res64: 87B70061DED4A110 Time : 5098.0 sec. user=vaughan [2009-02-23 04:05:38] 665*2^622118-1 is not prime. Res64: 1AEFB50CAE8FA484 Time : 5043.0 sec. user=vaughan [2009-02-23 04:07:34] 647*2^622028-1 is not prime. Res64: BDBC22057B9BEBC0 Time : 39649.0 sec. user=tnerual [2009-02-23 04:09:14] 705*2^622128-1 is not prime. Res64: 14B327932A042796 Time : 1324.0 sec. user=vaughan [2009-02-23 04:10:23] 755*2^622118-1 is not prime. Res64: DA50DD214E8E6C25 Time : 5001.0 sec. user=vaughan [2009-02-23 04:12:00] 771*2^622118-1 is not prime. Res64: 8894FD39DD4CAD1F Time : 5098.0 sec. user=vaughan [2009-02-23 04:13:16] 625*2^622029-1 is not prime. Res64: D39770A11005961C Time : 39663.0 sec. user=vaughan [2009-02-23 04:14:00] 685*2^622119-1 is not prime. Res64: D5E29066D45F376B Time : 5043.0 sec. user=vaughan [2009-02-23 04:18:40] 735*2^622119-1 is not prime. Res64: 0E6A4031DB49162C Time : 5000.0 sec. user=vaughan [2009-02-23 04:19:00] 623*2^622030-1 is not prime. Res64: B3D2890FB097833C Time : 39686.0 sec. user=vaughan [2009-02-23 04:20:27] 751*2^622119-1 is not prime. Res64: 8FD5F0BEA98ACB11 Time : 5095.0 sec. user=vaughan [2009-02-23 04:22:21] 775*2^622119-1 is not prime. Res64: 1759C2811CA95F92 Time : 5043.0 sec. user=vaughan [2009-02-23 04:24:42] 741*2^622030-1 is not prime. Res64: 29D9C31ED5ECC329 Time : 39703.0 sec. user=vaughan [2009-02-23 04:26:58] 759*2^622120-1 is not prime. Res64: 966A383D7A19B498 Time : 5000.0 sec. user=vaughan [2009-02-23 04:28:57] 765*2^622120-1 is not prime. Res64: A759F63BAAB5093F Time : 5097.0 sec. user=vaughan [2009-02-23 04:30:24] 689*2^622032-1 is not prime. Res64: 06D45B5054FF5287 Time : 39714.0 sec. user=vaughan [2009-02-23 04:30:45] 679*2^622121-1 is not prime. Res64: FDB3FB25C0C3CB6E Time : 5045.0 sec. user=tnerual [2009-02-23 04:31:15] 685*2^622133-1 is not prime. Res64: 606259185D6351FA Time : 1321.0 sec. user=vaughan [2009-02-23 04:35:56] 795*2^622121-1 is not prime. Res64: B14C0FD82BE68AD4 Time : 5042.0 sec. user=vaughan [2009-02-23 04:36:06] 705*2^622033-1 is not prime. Res64: E6760FF78A9550F2 Time : 39729.0 sec. user=vaughan [2009-02-23 04:38:03] 635*2^622122-1 is not prime. Res64: 71BB37E51E06B40F Time : 5134.0 sec. user=vaughan [2009-02-23 04:40:24] 711*2^622122-1 is not prime. Res64: A7FEA74129897118 Time : 5124.0 sec. user=vaughan [2009-02-23 04:41:53] 605*2^622034-1 is not prime. Res64: 22B5D648425AD0ED Time : 39755.0 sec. user=vaughan [2009-02-23 04:44:51] 693*2^622123-1 is not prime. Res64: 2F7C00EB92E1F0C2 Time : 5077.0 sec. user=vaughan [2009-02-23 04:46:48] 771*2^622123-1 is not prime. Res64: 1E90C380E7032FF4 Time : 5148.0 sec. user=vaughan [2009-02-23 04:47:33] 685*2^622035-1 is not prime. Res64: 8F3DD01B71DB5375 Time : 39761.0 sec. user=vaughan [2009-02-23 04:48:57] 657*2^622125-1 is not prime. Res64: 6CCF3B5824D6075B Time : 5128.0 sec. user=vaughan [2009-02-23 04:53:15] 789*2^622035-1 is not prime. Res64: D00E679299C4BB14 Time : 39756.0 sec. user=tnerual [2009-02-23 04:53:19] 647*2^622138-1 is not prime. Res64: E12589A9FC0E1771 Time : 1324.0 sec. user=vaughan [2009-02-23 04:53:52] 777*2^622126-1 is not prime. Res64: 0CD62765C66804E7 Time : 5116.0 sec. user=vaughan [2009-02-23 04:55:54] 783*2^622126-1 is not prime. Res64: 1E48DE7EC4DEC1FB Time : 5186.0 sec. user=vaughan [2009-02-23 04:57:58] 785*2^622126-1 is not prime. Res64: A9CA3680F18CB202 Time : 5168.0 sec. user=vaughan [2009-02-23 04:58:57] 723*2^622036-1 is not prime. Res64: DAB8D0C69DF770A5 Time : 39770.0 sec. user=vaughan [2009-02-23 05:03:11] 621*2^622127-1 is not prime. Res64: D1361FF60B7E1AFD Time : 5177.0 sec. user=vaughan [2009-02-23 05:04:39] 691*2^622037-1 is not prime. Res64: 17B6365D6C90FEA8 Time : 39806.0 sec. user=vaughan [2009-02-23 05:04:59] 643*2^622127-1 is not prime. Res64: DB97E300BC197AE0 Time : 5223.0 sec. user=vaughan [2009-02-23 05:06:49] 703*2^622127-1 is not prime. Res64: D1F9CAADE5939B63 Time : 5196.0 sec. user=vaughan [2009-02-23 05:10:21] 641*2^622038-1 is not prime. Res64: FB7740099DABF6C1 Time : 39840.0 sec. user=vaughan [2009-02-23 05:11:35] 657*2^622128-1 is not prime. Res64: 4D946DC896436071 Time : 5184.0 sec. user=vaughan [2009-02-23 05:13:28] 665*2^622128-1 is not prime. Res64: 17EA10858CC2AFFC Time : 5225.0 sec. user=vaughan [2009-02-23 05:15:10] 737*2^622128-1 is not prime. Res64: 699A6A8BB20B28B9 Time : 5196.0 sec. user=tnerual [2009-02-23 05:15:20] 669*2^622140-1 is not prime. Res64: 3F4633406E2CCCAA Time : 1321.0 sec. user=vaughan [2009-02-23 05:16:03] 759*2^622039-1 is not prime. Res64: F31F21699BB9C91D Time : 39874.0 sec. user=vaughan [2009-02-23 05:19:51] 615*2^622131-1 is not prime. Res64: DDAD8FDC2F44C555 Time : 5176.0 sec. user=vaughan [2009-02-23 05:21:47] 677*2^622040-1 is not prime. Res64: B2D3BE62CB698D2B Time : 39813.0 sec. user=vaughan [2009-02-23 05:21:55] 675*2^622131-1 is not prime. Res64: 6EC479B54828C88B Time : 5219.0 sec. user=vaughan [2009-02-23 05:23:32] 783*2^622131-1 is not prime. Res64: C4E17162445B426D Time : 5187.0 sec. user=vaughan [2009-02-23 05:27:26] 785*2^622040-1 is not prime. Res64: A252E029CB42CE82 Time : 39799.0 sec. user=vaughan [2009-02-23 05:28:06] 705*2^622132-1 is not prime. Res64: 1501A33B2A56970D Time : 5161.0 sec. user=vaughan [2009-02-23 05:30:22] 785*2^622132-1 is not prime. Res64: BD1774D6B614DF50 Time : 5210.0 sec. user=vaughan [2009-02-23 05:31:53] 651*2^622133-1 is not prime. Res64: 649E8711F743117C Time : 5175.0 sec. user=vaughan [2009-02-23 05:33:09] 617*2^622042-1 is not prime. Res64: C3A49B1217D4B689 Time : 39791.0 sec. user=vaughan [2009-02-23 05:36:26] 795*2^622133-1 is not prime. Res64: 4D83347022B73A20 Time : 5163.0 sec. user=tnerual [2009-02-23 05:38:09] 715*2^622145-1 is not prime. Res64: 22F9127A53E2EF09 Time : 1369.0 sec. user=vaughan [2009-02-23 05:38:53] 615*2^622134-1 is not prime. Res64: 820483C04B057B09 Time : 5213.0 sec. user=vaughan [2009-02-23 05:38:53] 689*2^622044-1 is not prime. Res64: 6E59E8D2FAF32D2A Time : 39793.0 sec. user=vaughan [2009-02-23 05:40:14] 773*2^622134-1 is not prime. Res64: 8DC3BFD9A592B7F0 Time : 5174.0 sec. user=vaughan [2009-02-23 05:40:51] 633*2^622147-1 is not prime. Res64: 0765971E71C45CED Time : 991.0 sec. user=vaughan [2009-02-23 05:44:35] 737*2^622044-1 is not prime. Res64: DAB8D1E3DE9CD449 Time : 39779.0 sec. user=vaughan [2009-02-23 05:44:42] 609*2^622135-1 is not prime. Res64: 52D4637D7BF18175 Time : 5162.0 sec. user=vaughan [2009-02-23 05:47:17] 735*2^622135-1 is not prime. Res64: 28F038127F4D52C0 Time : 5210.0 sec. user=vaughan [2009-02-23 05:48:35] 633*2^622136-1 is not prime. Res64: 74182DAB17A70848 Time : 5174.0 sec. user=vaughan [2009-02-23 05:50:18] 777*2^622045-1 is not prime. Res64: 73C59B63EB67E9EA Time : 39772.0 sec. user=vaughan [2009-02-23 05:53:01] 741*2^622137-1 is not prime. Res64: 8A5DE0F1AEA9F936 Time : 5163.0 sec. user=vaughan [2009-02-23 05:55:46] 751*2^622137-1 is not prime. Res64: 3377279C52DD6C8D Time : 5210.0 sec. user=vaughan [2009-02-23 05:55:58] 741*2^622047-1 is not prime. Res64: B0359A739F4DCD81 Time : 39767.0 sec. user=vaughan [2009-02-23 05:56:57] 621*2^622138-1 is not prime. Res64: 53F1C7C88D1FE01E Time : 5172.0 sec. user=vaughan [2009-02-23 05:57:26] 639*2^622147-1 is not prime. Res64: E7FD603F03BFE908 Time : 1985.0 sec. user=vaughan [2009-02-23 06:01:17] 707*2^622138-1 is not prime. Res64: 7263ABD183D2ACB7 Time : 5121.0 sec. user=vaughan [2009-02-23 06:01:40] 629*2^622048-1 is not prime. Res64: E96D92D25DA88B7E Time : 39756.0 sec. user=tnerual [2009-02-23 06:03:33] 611*2^622150-1 is not prime. Res64: 812D7E933C633E0A Time : 1524.0 sec. user=vaughan [2009-02-23 06:04:13] 777*2^622138-1 is not prime. Res64: 230C9AC889857CA9 Time : 5170.0 sec. user=vaughan [2009-02-23 06:05:19] 619*2^622139-1 is not prime. Res64: C6B9B923137035AB Time : 5096.0 sec. user=vaughan [2009-02-23 06:07:22] 707*2^622048-1 is not prime. Res64: 96EC0AE069986956 Time : 39755.0 sec. user=vaughan [2009-02-23 06:09:32] 703*2^622139-1 is not prime. Res64: EBF2957B8A6842A9 Time : 5081.0 sec. user=vaughan [2009-02-23 06:12:41] 711*2^622139-1 is not prime. Res64: 42E444DC4F0562A9 Time : 5154.0 sec. user=vaughan [2009-02-23 06:13:02] 781*2^622049-1 is not prime. Res64: 1FFD2B0F04ECC82D Time : 39742.0 sec. user=vaughan [2009-02-23 06:13:41] 799*2^622139-1 is not prime. Res64: 1B191EC07641791A Time : 5085.0 sec. user=vaughan [2009-02-23 06:13:42] 685*2^622147-1 is not prime. Res64: 41FB312D3BB7B344 Time : 2961.0 sec. user=vaughan [2009-02-23 06:17:50] 625*2^622141-1 is not prime. Res64: C4AEBDCF4AEEC555 Time : 5038.0 sec. user=vaughan [2009-02-23 06:18:44] 647*2^622050-1 is not prime. Res64: 75150C9C481F9F5B Time : 39736.0 sec. user=vaughan [2009-02-23 06:21:12] 627*2^622142-1 is not prime. Res64: B6DE6F6FA407F136 Time : 5119.0 sec. user=vaughan [2009-02-23 06:22:02] 635*2^622142-1 is not prime. Res64: BE1075731621309A Time : 5045.0 sec. user=vaughan [2009-02-23 06:24:24] 735*2^622050-1 is not prime. Res64: 35578BE8383515FD Time : 39717.0 sec. user=tnerual [2009-02-23 06:25:33] 747*2^622153-1 is not prime. Res64: 663C26ED34A9B090 Time : 1321.0 sec. user=vaughan [2009-02-23 06:26:05] 649*2^622143-1 is not prime. Res64: 2C9FE8E31E9C74A7 Time : 4974.0 sec. user=vaughan [2009-02-23 06:29:39] 679*2^622143-1 is not prime. Res64: 1729F2FC4574A7EA Time : 5080.0 sec. user=vaughan [2009-02-23 06:30:06] 639*2^622051-1 is not prime. Res64: 53FCADE647B4685D Time : 39707.0 sec. user=vaughan [2009-02-23 06:30:23] 693*2^622143-1 is not prime. Res64: B47B8D32733F4883 Time : 5014.0 sec. user=vaughan [2009-02-23 06:32:15] 703*2^622147-1 is not prime. Res64: 60659A5A9753AD3F Time : 4073.0 sec. user=vaughan [2009-02-23 06:34:21] 695*2^622144-1 is not prime. Res64: 5CE251FA47ECFE85 Time : 4967.0 sec. user=vaughan [2009-02-23 06:35:48] 793*2^622051-1 is not prime. Res64: 673CD966F34AB944 Time : 39705.0 sec. user=vaughan [2009-02-23 06:38:08] 719*2^622144-1 is not prime. Res64: 617530E9CA7389B5 Time : 5082.0 sec. user=vaughan [2009-02-23 06:38:45] 723*2^622144-1 is not prime. Res64: 35693062BC021684 Time : 5015.0 sec. user=vaughan [2009-02-23 06:41:32] 693*2^622052-1 is not prime. Res64: 53FAA51EFFC7FB97 Time : 39690.0 sec. user=vaughan [2009-02-23 06:42:38] 633*2^622146-1 is not prime. Res64: D76E5E329CACD04E Time : 4968.0 sec. user=vaughan [2009-02-23 06:46:36] 671*2^622146-1 is not prime. Res64: D3744E7000EB9525 Time : 5082.0 sec. user=vaughan [2009-02-23 06:47:07] 765*2^622146-1 is not prime. Res64: 4C30D88A31376647 Time : 5016.0 sec. user=vaughan [2009-02-23 06:47:18] 781*2^622053-1 is not prime. Res64: 69F27003016272C4 Time : 39677.0 sec. user=tnerual [2009-02-23 06:47:37] 749*2^622156-1 is not prime. Res64: 25602FCB1B23FB9A Time : 1324.0 sec. user=vaughan [2009-02-23 06:50:03] 705*2^622147-1 is not prime. Res64: 4E17593E44812CEA Time : 5139.0 sec. user=vaughan [2009-02-23 06:50:57] 649*2^622149-1 is not prime. Res64: 7F5F679CD2FCF32B Time : 4971.0 sec. user=vaughan [2009-02-23 06:53:00] 675*2^622055-1 is not prime. Res64: C9BB56759713F928 Time : 39678.0 sec. user=vaughan [2009-02-23 06:55:04] 675*2^622149-1 is not prime. Res64: 7EC833378B003A9C Time : 5083.0 sec. user=vaughan [2009-02-23 06:55:28] 721*2^622149-1 is not prime. Res64: 02720B34D6409AAF Time : 5015.0 sec. user=vaughan [2009-02-23 06:58:42] 629*2^622056-1 is not prime. Res64: 4851C24A4AD6D29F Time : 39647.0 sec. user=vaughan [2009-02-23 06:59:14] 603*2^622150-1 is not prime. Res64: 6176D67208D4DBF7 Time : 4969.0 sec. user=vaughan [2009-02-23 07:03:32] 651*2^622150-1 is not prime. Res64: DCC3120AC68A4F4A Time : 5079.0 sec. user=vaughan [2009-02-23 07:03:49] 615*2^622151-1 is not prime. Res64: 6FDB57C91880B72C Time : 5015.0 sec. user=vaughan [2009-02-23 07:04:24] 607*2^622057-1 is not prime. Res64: F0C480EAE7DE9BFC Time : 39636.0 sec. user=vaughan [2009-02-23 07:06:49] 759*2^622147-1 is not prime. Res64: BDA43855981194B4 Time : 6145.0 sec. user=vaughan [2009-02-23 07:07:29] 759*2^622151-1 is not prime. Res64: 35B1BD25ACDB7A63 Time : 4968.0 sec. user=tnerual [2009-02-23 07:09:38] 681*2^622159-1 is not prime. Res64: A048F098359E674C Time : 1322.0 sec. user=vaughan [2009-02-23 07:10:08] 687*2^622057-1 is not prime. Res64: BE5C4EB556F43C64 Time : 39615.0 sec. user=vaughan [2009-02-23 07:11:59] 775*2^622151-1 is not prime. Res64: 30E4C86E0508A08D Time : 5082.0 sec. user=vaughan [2009-02-23 07:12:10] 789*2^622151-1 is not prime. Res64: 98E134888570EA6D Time : 5015.0 sec. user=vaughan [2009-02-23 07:15:47] 725*2^622152-1 is not prime. Res64: A28EBDCB9F319232 Time : 4966.0 sec. user=vaughan [2009-02-23 07:15:51] 675*2^622059-1 is not prime. Res64: 97AD9AEA46DB5C7B Time : 39608.0 sec. user=vaughan [2009-02-23 07:20:28] 777*2^622152-1 is not prime. Res64: 3A5695FF1ADBA7D3 Time : 5082.0 sec. user=vaughan [2009-02-23 07:20:32] 619*2^622153-1 is not prime. Res64: 303BF3E753AA4BBB Time : 5015.0 sec. user=vaughan [2009-02-23 07:21:34] 603*2^622060-1 is not prime. Res64: EB805A6800004B7C Time : 39599.0 sec. user=vaughan [2009-02-23 07:23:23] 683*2^622148-1 is not prime. Res64: 01C4407382FD4DD2 Time : 7139.0 sec. user=vaughan [2009-02-23 07:24:03] 715*2^622153-1 is not prime. Res64: 2A0777990908F280 Time : 4966.0 sec. user=vaughan [2009-02-23 07:27:13] 785*2^622060-1 is not prime. Res64: 8163380ED0A1A037 Time : 39595.0 sec. user=vaughan [2009-02-23 07:28:52] 775*2^622153-1 is not prime. Res64: 13F770969C4C6A30 Time : 5013.0 sec. user=vaughan [2009-02-23 07:28:55] 771*2^622153-1 is not prime. Res64: 4F7A36E968FBF425 Time : 5082.0 sec. user=tnerual [2009-02-23 07:31:39] 657*2^622161-1 is not prime. Res64: D168CC33D9DA02CC Time : 1321.0 sec. user=vaughan [2009-02-23 07:32:20] 683*2^622154-1 is not prime. Res64: 30A7E3A2621CB837 Time : 4968.0 sec. user=vaughan [2009-02-23 07:32:53] 651*2^622062-1 is not prime. Res64: 063008E3600C9BAD Time : 39587.0 sec. user=vaughan [2009-02-23 07:37:14] 675*2^622155-1 is not prime. Res64: E92F529FB358F943 Time : 5014.0 sec. user=vaughan [2009-02-23 07:37:24] 767*2^622154-1 is not prime. Res64: EB57148B45F27D78 Time : 5083.0 sec. user=vaughan [2009-02-23 07:38:38] 663*2^622063-1 is not prime. Res64: 44CDE962FE4B817E Time : 39574.0 sec. user=vaughan [2009-02-23 07:39:56] 687*2^622148-1 is not prime. Res64: 214ACC2BD328B453 Time : 8131.0 sec. user=vaughan [2009-02-23 07:40:38] 723*2^622155-1 is not prime. Res64: 33542003E57E4FC6 Time : 4969.0 sec. user=vaughan [2009-02-23 07:44:21] 753*2^622064-1 is not prime. Res64: C0BB22642A37C263 Time : 39563.0 sec. user=vaughan [2009-02-23 07:45:36] 719*2^622156-1 is not prime. Res64: BC72C46C32EC1DE1 Time : 5015.0 sec. user=vaughan [2009-02-23 07:45:52] 789*2^622155-1 is not prime. Res64: 1350383982FF5B11 Time : 5081.0 sec. user=vaughan [2009-02-23 07:48:54] 773*2^622156-1 is not prime. Res64: AAC5862F7C3CA9D7 Time : 4969.0 sec. user=vaughan [2009-02-23 07:50:02] 787*2^622065-1 is not prime. Res64: 96FAA679CCD3B4D5 Time : 39562.0 sec. user=tnerual [2009-02-23 07:53:41] 773*2^622166-1 is not prime. Res64: FC2F4392742FC6B6 Time : 1322.0 sec. user=vaughan [2009-02-23 07:53:58] 619*2^622157-1 is not prime. Res64: 69553645CC1CF139 Time : 5016.0 sec. user=vaughan [2009-02-23 07:54:21] 607*2^622157-1 is not prime. Res64: 597F040A53D49BC0 Time : 5083.0 sec. user=vaughan [2009-02-23 07:55:42] 773*2^622066-1 is not prime. Res64: 61CACB317C6C18A7 Time : 39539.0 sec. user=vaughan [2009-02-23 07:56:05] 689*2^622148-1 is not prime. Res64: CEEE42A148A315C1 Time : 9100.0 sec. user=vaughan [2009-02-23 07:57:11] 699*2^622157-1 is not prime. Res64: AC04D4329846E30B Time : 4970.0 sec. user=vaughan [2009-02-23 08:01:25] 753*2^622067-1 is not prime. Res64: 482D1DCD280F750A Time : 39540.0 sec. user=vaughan [2009-02-23 08:02:20] 735*2^622157-1 is not prime. Res64: 391A08884DABF5B8 Time : 5015.0 sec. user=vaughan [2009-02-23 08:02:51] 729*2^622157-1 is not prime. Res64: 948F94B60C1CB158 Time : 5084.0 sec. user=vaughan [2009-02-23 08:05:28] 641*2^622158-1 is not prime. Res64: C9A81762069DCC6A Time : 4970.0 sec. user=vaughan [2009-02-23 08:07:05] 767*2^622068-1 is not prime. Res64: BA49673E8506415E Time : 39513.0 sec. user=vaughan [2009-02-23 08:10:52] 693*2^622158-1 is not prime. Res64: 79C7B3C681F68F33 Time : 5025.0 sec. user=vaughan [2009-02-23 08:11:24] 683*2^622158-1 is not prime. Res64: D26F2DDFBD616E6D Time : 5089.0 sec. user=vaughan [2009-02-23 08:11:47] 749*2^622148-1 is not prime. Res64: 046E96006BE58F01 Time : 10041.0 sec. user=vaughan [2009-02-23 08:12:40] 629*2^621120-1 is not prime. Res64: C007E8523E8BBBE6 Time : 143312.0 sec. user=vaughan [2009-02-23 08:12:43] 747*2^622069-1 is not prime. Res64: DF7E7147669CCBDA Time : 39497.0 sec. user=vaughan [2009-02-23 08:13:53] 723*2^622159-1 is not prime. Res64: 43DED8CB1FD60B0B Time : 4977.0 sec. user=tnerual [2009-02-23 08:15:42] 725*2^622170-1 is not prime. Res64: 6F6A39DC56B9BC74 Time : 1322.0 sec. user=vaughan [2009-02-23 08:18:26] 675*2^622070-1 is not prime. Res64: 38DC303367C06307 Time : 39480.0 sec. user=vaughan [2009-02-23 08:19:14] 771*2^622159-1 is not prime. Res64: C0C01F44BB349075 Time : 5026.0 sec. user=vaughan [2009-02-23 08:19:52] 735*2^622159-1 is not prime. Res64: 093FDC517C3C666D Time : 5089.0 sec. user=vaughan [2009-02-23 08:22:09] 633*2^622160-1 is not prime. Res64: 8F41BDDD5B34AAAE Time : 4975.0 sec. user=vaughan [2009-02-23 08:24:10] 785*2^622072-1 is not prime. Res64: 7A2D91C887790D4A Time : 39477.0 sec. user=vaughan [2009-02-23 08:27:28] 643*2^622151-1 is not prime. Res64: EE77E230D039C30D Time : 9997.0 sec. user=vaughan [2009-02-23 08:27:38] 687*2^622160-1 is not prime. Res64: 7BF4F5B76A7C7EC8 Time : 5029.0 sec. user=vaughan [2009-02-23 08:28:20] 669*2^622160-1 is not prime. Res64: 9AB8FAF67EE74CE3 Time : 5088.0 sec. user=vaughan [2009-02-23 08:29:55] 721*2^622073-1 is not prime. Res64: 1FBABDBDE810B87A Time : 39471.0 sec. user=vaughan [2009-02-23 08:30:26] 609*2^622161-1 is not prime. Res64: D518BC283A05DD93 Time : 4977.0 sec. user=vaughan [2009-02-23 08:35:40] 781*2^622073-1 is not prime. Res64: 2D738A696F424447 Time : 39460.0 sec. user=vaughan [2009-02-23 08:35:58] 745*2^622161-1 is not prime. Res64: AF9BAD5E93C662D3 Time : 5028.0 sec. user=vaughan [2009-02-23 08:36:48] 741*2^622161-1 is not prime. Res64: 4EEC56659615C7F6 Time : 5089.0 sec. user=tnerual [2009-02-23 08:37:43] 715*2^622175-1 is not prime. Res64: 81F4F5A3F8A095B0 Time : 1321.0 sec. user=vaughan [2009-02-23 08:38:44] 747*2^622161-1 is not prime. Res64: 73EFA4C52826D27F Time : 4977.0 sec. user=vaughan [2009-02-23 08:41:23] 619*2^622075-1 is not prime. Res64: EFDC46DD64CC21C3 Time : 39452.0 sec. user=vaughan [2009-02-23 08:43:10] 651*2^622153-1 is not prime. Res64: 4056E7BEBD5E2B26 Time : 9944.0 sec. user=vaughan [2009-02-23 08:44:19] 653*2^622162-1 is not prime. Res64: 435767CD80ABF31B Time : 5027.0 sec. user=vaughan [2009-02-23 08:45:16] 781*2^622161-1 is not prime. Res64: D37DCC5ED60DCA29 Time : 5088.0 sec. user=vaughan [2009-02-23 08:47:03] 705*2^622164-1 is not prime. Res64: 97B043CE4B72D5DF Time : 4980.0 sec. user=vaughan [2009-02-23 08:47:08] 633*2^622076-1 is not prime. Res64: 0C4877FF49B8B696 Time : 39483.0 sec. user=vaughan [2009-02-23 08:52:50] 767*2^622076-1 is not prime. Res64: 82A94B5CF6CB9BA1 Time : 39484.0 sec. user=vaughan [2009-02-23 08:52:55] 677*2^622166-1 is not prime. Res64: 20EC02AA48D2D490 Time : 5043.0 sec. user=vaughan [2009-02-23 08:53:53] 707*2^622166-1 is not prime. Res64: F4EEDB20F4D20760 Time : 5098.0 sec. user=vaughan [2009-02-23 08:55:32] 625*2^622167-1 is not prime. Res64: 6ECB8272032A9A72 Time : 4992.0 sec. user=vaughan [2009-02-23 08:58:32] 621*2^622078-1 is not prime. Res64: 9CA455A925B39A6D Time : 39497.0 sec. user=vaughan [2009-02-23 08:58:45] 709*2^622155-1 is not prime. Res64: 5D02617BE4B52FB1 Time : 9903.0 sec. user=tnerual [2009-02-23 08:59:47] 657*2^622178-1 is not prime. Res64: 66C8C9D200F63C67 Time : 1324.0 sec. user=vaughan [2009-02-23 09:01:15] 735*2^622167-1 is not prime. Res64: 2286B8487C2EE4A3 Time : 5042.0 sec. user=vaughan [2009-02-23 09:02:21] 793*2^622167-1 is not prime. Res64: 8510D349A6719AE7 Time : 5098.0 sec. user=vaughan [2009-02-23 09:03:49] 637*2^622169-1 is not prime. Res64: F6B2B2B5F692749F Time : 4992.0 sec. user=vaughan [2009-02-23 09:04:17] 761*2^622078-1 is not prime. Res64: 52CA4E66D43DB570 Time : 39506.0 sec. user=vaughan [2009-02-23 09:09:37] 691*2^622169-1 is not prime. Res64: 5D08D6CD8EC2E687 Time : 5041.0 sec. user=vaughan [2009-02-23 09:09:59] 741*2^622079-1 is not prime. Res64: 2B8C816BB151B194 Time : 39521.0 sec. user=vaughan [2009-02-23 09:10:49] 711*2^622169-1 is not prime. Res64: 98371950DE7B9AED Time : 5098.0 sec. user=vaughan [2009-02-23 09:12:06] 615*2^622170-1 is not prime. Res64: C8F542DE0F4D9259 Time : 4992.0 sec. user=vaughan [2009-02-23 09:14:21] 627*2^622157-1 is not prime. Res64: 155E626D1A5D7E3E Time : 9726.0 sec. user=vaughan [2009-02-23 09:15:43] 789*2^622080-1 is not prime. Res64: 0B5616AE2552FE1F Time : 39524.0 sec. user=vaughan [2009-02-23 09:17:59] 735*2^622170-1 is not prime. Res64: F6B7F52CA089DFDC Time : 5041.0 sec. user=vaughan [2009-02-23 09:19:18] 777*2^622170-1 is not prime. Res64: 2C39DC20FF967CC0 Time : 5098.0 sec. user=vaughan [2009-02-23 09:20:24] 665*2^622172-1 is not prime. Res64: 9E0F1E01D806BFBA Time : 4993.0 sec. user=vaughan [2009-02-23 09:21:26] 715*2^622081-1 is not prime. Res64: 357A35A1CF0A6884 Time : 39532.0 sec. user=tnerual [2009-02-23 09:21:47] 681*2^622182-1 is not prime. Res64: 78B90E3F35DB7474 Time : 1321.0 sec. user=vaughan [2009-02-23 09:26:20] 719*2^622172-1 is not prime. Res64: 904CADB4B4A59903 Time : 5040.0 sec. user=vaughan [2009-02-23 09:27:09] 713*2^622082-1 is not prime. Res64: A22B2D2E900C20A0 Time : 39547.0 sec. user=vaughan [2009-02-23 09:27:45] 795*2^622173-1 is not prime. Res64: 34A303D626DB9C22 Time : 5094.0 sec. user=vaughan [2009-02-23 09:28:40] 605*2^622174-1 is not prime. Res64: 929A4A97AE43D5EE Time : 4992.0 sec. user=vaughan [2009-02-23 09:29:57] 693*2^622159-1 is not prime. Res64: A361590220303878 Time : 9595.0 sec. user=vaughan [2009-02-23 09:32:53] 685*2^622083-1 is not prime. Res64: 97526324A2A27C26 Time : 39570.0 sec. user=vaughan [2009-02-23 09:34:42] 675*2^622174-1 is not prime. Res64: 673862C382CA41F2 Time : 5030.0 sec. user=vaughan [2009-02-23 09:36:13] 681*2^622174-1 is not prime. Res64: C442FCE8819366D7 Time : 5090.0 sec. user=vaughan [2009-02-23 09:36:59] 601*2^622175-1 is not prime. Res64: EE0712A5241B1901 Time : 4986.0 sec. user=vaughan [2009-02-23 09:38:23] 605*2^622084-1 is not prime. Res64: 8098A025C4645DEF Time : 39578.0 sec. user=vaughan [2009-02-23 09:43:04] 615*2^622176-1 is not prime. Res64: 2017D341F8494C0D Time : 5030.0 sec. user=vaughan [2009-02-23 09:43:50] 657*2^622084-1 is not prime. Res64: 4CAC1F15477DAA25 Time : 39588.0 sec. user=vaughan [2009-02-23 09:44:41] 623*2^622176-1 is not prime. Res64: 2C4B16ED7BEDB6E4 Time : 5090.0 sec. user=vaughan [2009-02-23 09:45:16] 683*2^622176-1 is not prime. Res64: 1304D054B51FBF5F Time : 4987.0 sec. user=vaughan [2009-02-23 09:45:39] 601*2^622161-1 is not prime. Res64: C477CA793F94A3FC Time : 9531.0 sec. user=vaughan [2009-02-23 09:49:20] 757*2^622085-1 is not prime. Res64: 114FCEAF285C967A Time : 39581.0 sec. user=vaughan [2009-02-23 09:51:25] 779*2^622176-1 is not prime. Res64: 0C122AC24FA18233 Time : 5029.0 sec. user=vaughan [2009-02-23 09:53:12] 609*2^622177-1 is not prime. Res64: F6424913080CF1B3 Time : 5093.0 sec. user=vaughan [2009-02-23 09:53:34] 675*2^622177-1 is not prime. Res64: 41F88F9134FB422E Time : 4988.0 sec. user=vaughan [2009-02-23 09:54:44] 627*2^622086-1 is not prime. Res64: 73115BC4A9A5C7ED Time : 39572.0 sec. user=vaughan [2009-02-23 09:59:46] 777*2^622177-1 is not prime. Res64: B0AC5F061728A6D2 Time : 5029.0 sec. user=vaughan [2009-02-23 10:00:13] 783*2^622086-1 is not prime. Res64: 9819ED76C99DBBB5 Time : 39563.0 sec. user=vaughan [2009-02-23 10:01:21] 623*2^622164-1 is not prime. Res64: A6F8EC7B879F55A7 Time : 9478.0 sec. user=vaughan [2009-02-23 10:01:39] 641*2^622178-1 is not prime. Res64: 33BB3D33DA4C1F9F Time : 5091.0 sec. user=vaughan [2009-02-23 10:01:50] 771*2^622178-1 is not prime. Res64: B63DFDB378625AF5 Time : 4986.0 sec. user=vaughan [2009-02-23 10:05:38] 639*2^622087-1 is not prime. Res64: 3520344C07533884 Time : 39553.0 sec. user=vaughan [2009-02-23 10:08:19] 615*2^622179-1 is not prime. Res64: 072AEBF46813EFBF Time : 5040.0 sec. user=vaughan [2009-02-23 10:10:14] 675*2^622180-1 is not prime. Res64: B35F3AC56295626D Time : 4991.0 sec. user=vaughan [2009-02-23 10:10:14] 751*2^622179-1 is not prime. Res64: 37C142C2409AF523 Time : 5098.0 sec. user=vaughan [2009-02-23 10:11:05] 681*2^622089-1 is not prime. Res64: 7D06CC814D74A17F Time : 39558.0 sec. user=vaughan [2009-02-23 10:16:34] 795*2^622089-1 is not prime. Res64: 7B843F6735EA0C4C Time : 39562.0 sec. user=vaughan [2009-02-23 10:16:41] 607*2^622181-1 is not prime. Res64: D3B72A843CC76AAF Time : 5026.0 sec. user=vaughan [2009-02-23 10:17:45] 735*2^622168-1 is not prime. Res64: A491680EE2BFE42A Time : 9469.0 sec. user=vaughan [2009-02-23 10:18:30] 651*2^622181-1 is not prime. Res64: FC9EE1E6AA29445D Time : 4979.0 sec. user=vaughan [2009-02-23 10:18:42] 615*2^622181-1 is not prime. Res64: 93565728DBC44967 Time : 5089.0 sec. user=vaughan [2009-02-23 10:22:03] 723*2^622090-1 is not prime. Res64: C8571579980917BC Time : 39545.0 sec. user=vaughan [2009-02-23 10:25:01] 755*2^622182-1 is not prime. Res64: 218635A000D8DBEB Time : 5026.0 sec. user=vaughan [2009-02-23 10:26:47] 765*2^622182-1 is not prime. Res64: CC4657FE3C763322 Time : 4979.0 sec. user=vaughan [2009-02-23 10:27:11] 761*2^622182-1 is not prime. Res64: 9BAF6F8C9C38FDB3 Time : 5090.0 sec. user=vaughan [2009-02-23 10:27:29] 685*2^622091-1 is not prime. Res64: 862AC77D4B9C0A3C Time : 39543.0 sec. user=vaughan [2009-02-23 10:32:59] 759*2^622100-1 is not prime. Res64: 49F2B9B2BA5D382E Time : 33930.0 sec. user=vaughan [2009-02-23 10:33:24] 609*2^622183-1 is not prime. Res64: E057CEC7F852180B Time : 5027.0 sec. user=vaughan [2009-02-23 10:34:24] 733*2^622171-1 is not prime. Res64: 4801E8838E6B5F00 Time : 9499.0 sec. user=vaughan [2009-02-23 10:35:04] 675*2^622184-1 is not prime. Res64: 7D983C14D70C542E Time : 4979.0 sec. user=vaughan [2009-02-23 10:35:39] 745*2^622183-1 is not prime. Res64: 9AF8D7C36D3F3D76 Time : 5090.0 sec. user=vaughan [2009-02-23 10:38:28] 751*2^622101-1 is not prime. Res64: 18002D9CECF26901 Time : 33950.0 sec. user=vaughan [2009-02-23 10:41:47] 709*2^622185-1 is not prime. Res64: EB708D696D001E79 Time : 5028.0 sec. user=vaughan [2009-02-23 10:43:20] 623*2^622186-1 is not prime. Res64: A7BBBCC79759227C Time : 4976.0 sec. user=vaughan [2009-02-23 10:43:56] 603*2^622103-1 is not prime. Res64: 85D8AF17A9951A66 Time : 33968.0 sec. user=vaughan [2009-02-23 10:44:09] 759*2^622185-1 is not prime. Res64: 4B0FE4D0B0BA5810 Time : 5092.0 sec. user=vaughan [2009-02-23 10:49:23] 759*2^622103-1 is not prime. Res64: 4FDB6F2D50490019 Time : 33982.0 sec. user=vaughan [2009-02-23 10:50:06] 713*2^622186-1 is not prime. Res64: FF7263C059FC0DF4 Time : 5026.0 sec. user=vaughan [2009-02-23 10:51:09] 687*2^622174-1 is not prime. Res64: 6139DEAACBFBB1E6 Time : 9563.0 sec. user=vaughan [2009-02-23 10:51:37] 603*2^622187-1 is not prime. Res64: E3422204E5A59F3E Time : 4977.0 sec. user=vaughan [2009-02-23 10:52:37] 737*2^622186-1 is not prime. Res64: 8366E1EAD253E4CF Time : 5092.0 sec. user=vaughan [2009-02-23 10:54:53] 615*2^622104-1 is not prime. Res64: 523B6C15B258A184 Time : 33988.0 sec. user=vaughan [2009-02-23 10:58:27] 655*2^622187-1 is not prime. Res64: EBF94B97D09C1A96 Time : 5025.0 sec. user=vaughan [2009-02-23 10:59:54] 693*2^622187-1 is not prime. Res64: 871AEC7282C06FE1 Time : 4976.0 sec. user=vaughan [2009-02-23 11:00:20] 721*2^622105-1 is not prime. Res64: 69D6E17DB2BDDD70 Time : 33988.0 sec. user=vaughan [2009-02-23 11:01:07] 663*2^622187-1 is not prime. Res64: C9AA62D3CC4C8DA5 Time : 5094.0 sec. user=tnerual [2009-02-23 11:01:50] 675*2^622186-1 is not prime. Res64: F32393D98E39348D Time : 6003.0 sec. user=vaughan [2009-02-23 11:05:47] 773*2^622106-1 is not prime. Res64: D0D2E19BF5AA8FDE Time : 33986.0 sec. user=vaughan [2009-02-23 11:06:49] 605*2^622188-1 is not prime. Res64: A5847539BD56ABD5 Time : 5025.0 sec. user=vaughan [2009-02-23 11:06:51] 767*2^622176-1 is not prime. Res64: 108E217BED3B2664 Time : 9563.0 sec. user=vaughan [2009-02-23 11:08:11] 753*2^622188-1 is not prime. Res64: EA722BE293D60582 Time : 4976.0 sec. user=vaughan [2009-02-23 11:09:34] 663*2^622188-1 is not prime. Res64: 1381163D1AF3BB15 Time : 5093.0 sec. user=vaughan [2009-02-23 11:11:17] 691*2^622109-1 is not prime. Res64: 51074FAFFB761EA6 Time : 33982.0 sec. user=vaughan [2009-02-23 11:15:11] 721*2^622189-1 is not prime. Res64: F3BA503E7F42B9D6 Time : 5026.0 sec. user=vaughan [2009-02-23 11:16:28] 799*2^622189-1 is not prime. Res64: 78B0C8AB733309C9 Time : 4975.0 sec. user=vaughan [2009-02-23 11:16:37] 799*2^622109-1 is not prime. Res64: 817597061397439D Time : 33959.0 sec. user=vaughan [2009-02-23 11:18:01] 741*2^622189-1 is not prime. Res64: 73DBDB89F3AE2F0C Time : 5089.0 sec. user=vaughan [2009-02-23 11:22:05] 645*2^622111-1 is not prime. Res64: E708E37A4F4306EA Time : 33945.0 sec. user=vaughan [2009-02-23 11:23:14] 613*2^622179-1 is not prime. Res64: C43C2CCBC583F023 Time : 9604.0 sec. user=vaughan [2009-02-23 11:23:32] 687*2^622190-1 is not prime. Res64: 75BC02B54176E209 Time : 5026.0 sec. user=vaughan [2009-02-23 11:24:45] 693*2^622191-1 is not prime. Res64: 7366FCB7FF895891 Time : 4976.0 sec. user=tnerual [2009-02-23 11:25:55] 619*2^622199-1 is not prime. Res64: DAF32850F27454DA Time : 1445.0 sec. user=vaughan [2009-02-23 11:26:28] 661*2^622191-1 is not prime. Res64: 442983F13524B9C8 Time : 5089.0 sec. user=vaughan [2009-02-23 11:27:31] 767*2^622112-1 is not prime. Res64: 54A020648B7FCB5F Time : 33934.0 sec. user=vaughan [2009-02-23 11:31:54] 739*2^622191-1 is not prime. Res64: 8DE5372750490596 Time : 5015.0 sec. user=vaughan [2009-02-23 11:32:59] 669*2^622113-1 is not prime. Res64: 18ACFDD692A1A67D Time : 33923.0 sec. user=vaughan [2009-02-23 11:33:01] 775*2^622191-1 is not prime. Res64: E9296256D7607D72 Time : 4968.0 sec. user=vaughan [2009-02-23 11:34:56] 783*2^622191-1 is not prime. Res64: 60297526A9C40E35 Time : 5082.0 sec. user=vaughan [2009-02-23 11:38:28] 789*2^622113-1 is not prime. Res64: 0CC76B01C567886F Time : 33911.0 sec. user=vaughan [2009-02-23 11:38:54] 741*2^622181-1 is not prime. Res64: 9F4D3ACDFD994586 Time : 9609.0 sec. user=vaughan [2009-02-23 11:40:15] 605*2^622192-1 is not prime. Res64: F76E4A9D2D571AE2 Time : 5014.0 sec. user=vaughan [2009-02-23 11:41:18] 677*2^622192-1 is not prime. Res64: B95883343AD20619 Time : 4969.0 sec. user=vaughan [2009-02-23 11:43:24] 705*2^622192-1 is not prime. Res64: E98EF0FC582F6C62 Time : 5082.0 sec. user=vaughan [2009-02-23 11:43:53] 765*2^622114-1 is not prime. Res64: 8B7FC221CA25B07A Time : 33893.0 sec. user=tnerual [2009-02-23 11:48:07] 713*2^622202-1 is not prime. Res64: 6F979AEB7283F4B8 Time : 1332.0 sec. user=vaughan [2009-02-23 11:48:36] 743*2^622192-1 is not prime. Res64: FE17330D879C0766 Time : 5015.0 sec. user=vaughan [2009-02-23 11:49:22] 693*2^622115-1 is not prime. Res64: E900A6D83B3D7AAA Time : 33879.0 sec. user=vaughan [2009-02-23 11:49:35] 607*2^622193-1 is not prime. Res64: 48D9604A370D471B Time : 4968.0 sec. user=vaughan [2009-02-23 11:51:53] 685*2^622193-1 is not prime. Res64: 8C699469AF83E9F9 Time : 5082.0 sec. user=vaughan [2009-02-23 11:54:36] 607*2^622185-1 is not prime. Res64: D870A9D8B218CE7E Time : 9615.0 sec. user=vaughan [2009-02-23 11:54:50] 719*2^622116-1 is not prime. Res64: E49DB5EF031D0855 Time : 33863.0 sec. user=vaughan [2009-02-23 11:56:57] 635*2^622194-1 is not prime. Res64: E01A9E0F666B867B Time : 5013.0 sec. user=vaughan [2009-02-23 11:57:52] 663*2^622194-1 is not prime. Res64: 0899E199AC28ED3C Time : 4968.0 sec. user=vaughan [2009-02-23 12:00:17] 729*2^622117-1 is not prime. Res64: ABF683967D2FA481 Time : 33847.0 sec. user=vaughan [2009-02-23 12:00:20] 683*2^622194-1 is not prime. Res64: 713F0C8AB4E8B7B1 Time : 5081.0 sec. user=vaughan [2009-02-23 12:05:20] 767*2^622194-1 is not prime. Res64: 99FE82372212E084 Time : 5013.0 sec. user=vaughan [2009-02-23 12:05:44] 671*2^622118-1 is not prime. Res64: ECD5CF92676A56FA Time : 33829.0 sec. user=vaughan [2009-02-23 12:06:08] 773*2^622194-1 is not prime. Res64: 95556EF6D78DE9EC Time : 4968.0 sec. user=vaughan [2009-02-23 12:08:48] 715*2^622195-1 is not prime. Res64: 3AE2672280159D49 Time : 5080.0 sec. user=tnerual [2009-02-23 12:10:08] 759*2^622205-1 is not prime. Res64: F49A6A7DC14DD108 Time : 1322.0 sec. user=vaughan [2009-02-23 12:10:19] 609*2^622187-1 is not prime. Res64: E53D09616AA14258 Time : 9622.0 sec. user=vaughan [2009-02-23 12:11:12] 797*2^622118-1 is not prime. Res64: 70254051EE6AF069 Time : 33811.0 sec. user=vaughan [2009-02-23 12:13:42] 767*2^622196-1 is not prime. Res64: A3C47B8B28523F13 Time : 5016.0 sec. user=vaughan [2009-02-23 12:14:25] 727*2^622197-1 is not prime. Res64: F6D55918F06C2FF8 Time : 4968.0 sec. user=vaughan [2009-02-23 12:16:39] 723*2^622119-1 is not prime. Res64: C1C76858E5DE9BC8 Time : 33792.0 sec. user=vaughan [2009-02-23 12:17:16] 781*2^622197-1 is not prime. Res64: 4B933A6BD6FA8B30 Time : 5080.0 sec. user=vaughan [2009-02-23 12:22:03] 657*2^622198-1 is not prime. Res64: C97DFEECBEB91D50 Time : 5016.0 sec. user=vaughan [2009-02-23 12:22:07] 665*2^622120-1 is not prime. Res64: 6BF4BB7A1720289A Time : 33779.0 sec. user=vaughan [2009-02-23 12:22:40] 665*2^622198-1 is not prime. Res64: C426FA6FA99E60EE Time : 4966.0 sec. user=vaughan [2009-02-23 12:25:46] 755*2^622198-1 is not prime. Res64: DC0597B31D7A6219 Time : 5080.0 sec. user=vaughan [2009-02-23 12:26:01] 765*2^622188-1 is not prime. Res64: BDCAD3BCB926286B Time : 9622.0 sec. user=vaughan [2009-02-23 12:27:34] 657*2^622121-1 is not prime. Res64: A05FDDB3A64A2846 Time : 33765.0 sec. user=vaughan [2009-02-23 12:30:24] 729*2^622199-1 is not prime. Res64: AD7935E1A133870D Time : 5015.0 sec. user=vaughan [2009-02-23 12:30:57] 689*2^622200-1 is not prime. Res64: DB7BE8D7733AFD64 Time : 4966.0 sec. user=tnerual [2009-02-23 12:32:09] 743*2^622210-1 is not prime. Res64: 2BB50416CD1A9B4A Time : 1321.0 sec. user=vaughan [2009-02-23 12:33:03] 745*2^622121-1 is not prime. Res64: 24690B045484F74F Time : 33753.0 sec. user=vaughan [2009-02-23 12:34:12] 707*2^622200-1 is not prime. Res64: 31ACAD3CE648A991 Time : 5079.0 sec. user=vaughan [2009-02-23 12:38:33] 741*2^622122-1 is not prime. Res64: 3E6339AA167BE72A Time : 33740.0 sec. user=vaughan [2009-02-23 12:38:46] 615*2^622201-1 is not prime. Res64: 51561E81D443C4F0 Time : 5015.0 sec. user=vaughan [2009-02-23 12:39:14] 639*2^622201-1 is not prime. Res64: B8085F2F24A954F7 Time : 4967.0 sec. user=vaughan [2009-02-23 12:42:42] 687*2^622201-1 is not prime. Res64: 866098934776CE45 Time : 5082.0 sec. user=vaughan [2009-02-23 12:43:58] 665*2^622124-1 is not prime. Res64: CBA88F13804EA082 Time : 33722.0 sec. user=vaughan [2009-02-23 12:46:06] 753*2^622190-1 is not prime. Res64: 075AF2A273C71968 Time : 9886.0 sec. user=vaughan [2009-02-23 12:47:08] 665*2^622202-1 is not prime. Res64: 218BD3DD0547DCDD Time : 5016.0 sec. user=vaughan [2009-02-23 12:47:31] 675*2^622202-1 is not prime. Res64: B750D84A388D8AD2 Time : 4966.0 sec. user=vaughan [2009-02-23 12:49:26] 695*2^622126-1 is not prime. Res64: 0B5ED7EAD3AA91A8 Time : 33709.0 sec. user=vaughan [2009-02-23 12:51:09] 755*2^622202-1 is not prime. Res64: 119314FA3BD88028 Time : 5082.0 sec. user=tnerual [2009-02-23 12:54:09] 735*2^622216-1 is not prime. Res64: 6E3B0F93D42B24DD Time : 1320.0 sec. user=vaughan [2009-02-23 12:54:53] 619*2^622127-1 is not prime. Res64: 906AF1F30B0C8A3B Time : 33693.0 sec. user=vaughan [2009-02-23 12:55:28] 679*2^622203-1 is not prime. Res64: 4BE790BFE5833246 Time : 5014.0 sec. user=vaughan [2009-02-23 12:55:47] 751*2^622203-1 is not prime. Res64: 7707FA63147D01C8 Time : 4966.0 sec. user=vaughan [2009-02-23 12:59:37] 605*2^622204-1 is not prime. Res64: 7D808B8E0F34C70F Time : 5082.0 sec. user=vaughan [2009-02-23 13:00:20] 693*2^622127-1 is not prime. Res64: 3E5996680B35FC2A Time : 33677.0 sec. user=vaughan [2009-02-23 13:02:24] 639*2^622192-1 is not prime. Res64: 9D63E64B71BF9E00 Time : 9879.0 sec. user=vaughan [2009-02-23 13:03:50] 743*2^622204-1 is not prime. Res64: 6E827ED1CA664162 Time : 5015.0 sec. user=vaughan [2009-02-23 13:04:04] 645*2^622205-1 is not prime. Res64: 2CF30F27DB397A13 Time : 4967.0 sec. user=vaughan [2009-02-23 13:05:50] 705*2^622127-1 is not prime. Res64: 1BF5E447D931CE43 Time : 33665.0 sec. user=vaughan [2009-02-23 13:08:05] 729*2^622205-1 is not prime. Res64: 514066FD81C4B771 Time : 5081.0 sec. user=vaughan [2009-02-23 13:11:18] 765*2^622128-1 is not prime. Res64: 260A476EC5267A10 Time : 33650.0 sec. user=vaughan [2009-02-23 13:12:23] 677*2^622206-1 is not prime. Res64: CC354A2F5BA42663 Time : 5027.0 sec. user=vaughan [2009-02-23 13:12:31] 649*2^622207-1 is not prime. Res64: DF026D538DBDB03A Time : 4976.0 sec. user=tnerual [2009-02-23 13:16:11] 791*2^622218-1 is not prime. Res64: 5589FFCADB162DFF Time : 1322.0 sec. user=vaughan [2009-02-23 13:16:40] 663*2^622207-1 is not prime. Res64: FB040FD4AFD09FA5 Time : 5088.0 sec. user=vaughan [2009-02-23 13:16:50] 691*2^622131-1 is not prime. Res64: 82C62C89CEBDF588 Time : 33640.0 sec. user=vaughan [2009-02-23 13:20:46] 665*2^622208-1 is not prime. Res64: 085FB80B2E86E01D Time : 5029.0 sec. user=vaughan [2009-02-23 13:20:46] 735*2^622208-1 is not prime. Res64: 7F25808BB907F7D3 Time : 4975.0 sec. user=vaughan [2009-02-23 13:20:51] 651*2^622194-1 is not prime. Res64: 432022B1D46D895C Time : 9988.0 sec. user=vaughan [2009-02-23 13:22:17] 789*2^622131-1 is not prime. Res64: 8532C39336FFFA70 Time : 33626.0 sec. user=vaughan [2009-02-23 13:25:11] 625*2^622209-1 is not prime. Res64: 12DD7B0654565004 Time : 5091.0 sec. user=vaughan [2009-02-23 13:27:46] 679*2^622133-1 is not prime. Res64: 10A5B017211C4B92 Time : 33613.0 sec. user=vaughan [2009-02-23 13:29:05] 723*2^622210-1 is not prime. Res64: 77A881A22A856506 Time : 4977.0 sec. user=vaughan [2009-02-23 13:29:07] 765*2^622209-1 is not prime. Res64: 801A7FC19B43EA17 Time : 5028.0 sec. user=vaughan [2009-02-23 13:33:15] 741*2^622134-1 is not prime. Res64: 8F0BD0EE41E9A9DF Time : 33599.0 sec. user=vaughan [2009-02-23 13:33:37] 735*2^622210-1 is not prime. Res64: 741B41D6BD8BDF05 Time : 5089.0 sec. user=vaughan [2009-02-23 13:36:59] 669*2^622197-1 is not prime. Res64: 6E6E4C12834268BE Time : 9950.0 sec. user=vaughan [2009-02-23 13:37:22] 669*2^622212-1 is not prime. Res64: B04547D6DCDDB718 Time : 4977.0 sec. user=vaughan [2009-02-23 13:37:28] 735*2^622211-1 is not prime. Res64: 3D71AC0EE589B6D5 Time : 5027.0 sec. user=tnerual [2009-02-23 13:38:12] 737*2^622224-1 is not prime. Res64: 5A21641B452F4E5E Time : 1321.0 sec. user=vaughan [2009-02-23 13:38:44] 693*2^622135-1 is not prime. Res64: 94F92BEAAA692ECF Time : 33585.0 sec. user=vaughan [2009-02-23 13:42:06] 725*2^622212-1 is not prime. Res64: 610EF40A18B1E095 Time : 5090.0 sec. user=vaughan [2009-02-23 13:44:19] 709*2^622137-1 is not prime. Res64: 5D4B22A7A8C5FD3C Time : 33577.0 sec. user=vaughan [2009-02-23 13:45:40] 641*2^622214-1 is not prime. Res64: E96F26AE8408E396 Time : 4980.0 sec. user=vaughan [2009-02-23 13:45:51] 779*2^622212-1 is not prime. Res64: C30001E7BE710A8D Time : 5028.0 sec. user=vaughan [2009-02-23 13:49:47] 605*2^622138-1 is not prime. Res64: E0FC9001F321532A Time : 33563.0 sec. user=vaughan [2009-02-23 13:50:35] 665*2^622214-1 is not prime. Res64: DD0190A5F973CE72 Time : 5089.0 sec. user=vaughan [2009-02-23 13:52:42] 771*2^622199-1 is not prime. Res64: 08ADEB89452F97CD Time : 9951.0 sec. user=vaughan [2009-02-23 13:53:57] 609*2^622216-1 is not prime. Res64: 459609306ED0F7B5 Time : 4980.0 sec. user=vaughan [2009-02-23 13:54:12] 751*2^622215-1 is not prime. Res64: F361648BE79E7E03 Time : 5028.0 sec. user=vaughan [2009-02-23 13:55:16] 735*2^622138-1 is not prime. Res64: 04CEF9313925AE7F Time : 33551.0 sec. user=vaughan [2009-02-23 13:59:09] 675*2^622217-1 is not prime. Res64: 9407B042C1AB5877 Time : 5097.0 sec. user=tnerual [2009-02-23 14:00:14] 685*2^622229-1 is not prime. Res64: 8E9FE13042A1AA87 Time : 1322.0 sec. user=vaughan [2009-02-23 14:00:51] 621*2^622139-1 is not prime. Res64: A434B0DCDBAB3E2F Time : 33539.0 sec. user=vaughan [2009-02-23 14:02:29] 727*2^622217-1 is not prime. Res64: B7D915A98201201A Time : 4995.0 sec. user=vaughan [2009-02-23 14:02:50] 697*2^622217-1 is not prime. Res64: BB474D3E35CE6E59 Time : 5044.0 sec. user=vaughan [2009-02-23 14:06:15] 745*2^622139-1 is not prime. Res64: AA0F287BA08A4D3A Time : 33522.0 sec. user=vaughan [2009-02-23 14:08:49] 747*2^622217-1 is not prime. Res64: 22843172757A47D5 Time : 5167.0 sec. user=vaughan [2009-02-23 14:09:54] 799*2^622201-1 is not prime. Res64: 3E4BACB85A64DD43 Time : 10000.0 sec. user=vaughan [2009-02-23 14:11:23] 651*2^622218-1 is not prime. Res64: F5F12D73C06F6771 Time : 5032.0 sec. user=vaughan [2009-02-23 14:11:45] 653*2^622140-1 is not prime. Res64: 36B4931AFC010F3B Time : 33511.0 sec. user=vaughan [2009-02-23 14:11:52] 621*2^622218-1 is not prime. Res64: 45A1E9C5E9B02768 Time : 5084.0 sec. user=vaughan [2009-02-23 14:17:13] 705*2^622142-1 is not prime. Res64: 72D59C54D5B894B9 Time : 33496.0 sec. user=vaughan [2009-02-23 14:17:39] 765*2^622218-1 is not prime. Res64: E810A8672389E04A Time : 5190.0 sec. user=vaughan [2009-02-23 14:19:40] 663*2^622220-1 is not prime. Res64: DDEF8A8F4D64C1AF Time : 5033.0 sec. user=vaughan [2009-02-23 14:20:13] 615*2^622220-1 is not prime. Res64: 80266B3140E89AFE Time : 5085.0 sec. user=tnerual [2009-02-23 14:22:15] 669*2^622232-1 is not prime. Res64: 73F5A66596269B39 Time : 1321.0 sec. user=vaughan [2009-02-23 14:22:43] 675*2^622143-1 is not prime. Res64: CE8AB018EBCE7028 Time : 33484.0 sec. user=vaughan [2009-02-23 14:26:07] 627*2^622221-1 is not prime. Res64: 68C7439E80C640F2 Time : 5190.0 sec. user=vaughan [2009-02-23 14:27:57] 657*2^622222-1 is not prime. Res64: 85E7211544C3EB2A Time : 5033.0 sec. user=vaughan [2009-02-23 14:28:12] 763*2^622143-1 is not prime. Res64: B8C4515CF2F47645 Time : 33471.0 sec. user=vaughan [2009-02-23 14:28:35] 647*2^622222-1 is not prime. Res64: E8337D935F675C2A Time : 5085.0 sec. user=vaughan [2009-02-23 14:28:37] 665*2^622204-1 is not prime. Res64: 392A896A0EDC4269 Time : 10183.0 sec. user=vaughan [2009-02-23 14:33:42] 727*2^622145-1 is not prime. Res64: B72B2C54769D9270 Time : 33459.0 sec. user=vaughan [2009-02-23 14:34:35] 621*2^622223-1 is not prime. Res64: 81F2F99E80DCFE3D Time : 5190.0 sec. user=vaughan [2009-02-23 14:36:15] 707*2^622224-1 is not prime. Res64: 217814ED76E81FA2 Time : 5024.0 sec. user=vaughan [2009-02-23 14:36:57] 657*2^622224-1 is not prime. Res64: 04EAE432D5E144D1 Time : 5074.0 sec. user=vaughan [2009-02-23 14:39:14] 641*2^622146-1 is not prime. Res64: A832C2ECA98FD29B Time : 33447.0 sec. user=vaughan [2009-02-23 14:43:03] 767*2^622224-1 is not prime. Res64: BFA3F4766C8A374A Time : 5183.0 sec. user=tnerual [2009-02-23 14:44:17] 707*2^622236-1 is not prime. Res64: CB246E032D18BA12 Time : 1322.0 sec. user=vaughan [2009-02-23 14:44:35] 691*2^622225-1 is not prime. Res64: DBB59F829208BEA3 Time : 5029.0 sec. user=vaughan [2009-02-23 14:44:42] 615*2^622149-1 is not prime. Res64: 62C464466B5506E7 Time : 33436.0 sec. user=vaughan [2009-02-23 14:45:18] 651*2^622225-1 is not prime. Res64: E077D75B4797F68C Time : 5073.0 sec. user=vaughan [2009-02-23 14:47:14] 681*2^622207-1 is not prime. Res64: 5D011B8AB9E463E4 Time : 10359.0 sec. user=vaughan [2009-02-23 14:50:12] 781*2^622149-1 is not prime. Res64: 8E2CF71AEC1C5F91 Time : 33423.0 sec. user=vaughan [2009-02-23 14:51:48] 625*2^622227-1 is not prime. Res64: 884F9D36A5A4C26A Time : 5198.0 sec. user=vaughan [2009-02-23 14:53:20] 675*2^622227-1 is not prime. Res64: A621DAF963B07A69 Time : 5055.0 sec. user=vaughan [2009-02-23 14:54:14] 709*2^622227-1 is not prime. Res64: 55E2E87C1B27A55E Time : 5107.0 sec. user=vaughan [2009-02-23 14:55:38] 741*2^622150-1 is not prime. Res64: 88EEBB1CE76737C7 Time : 33405.0 sec. user=vaughan [2009-02-23 15:00:17] 665*2^622228-1 is not prime. Res64: 1A864632236334CE Time : 5201.0 sec. user=vaughan [2009-02-23 15:01:06] 663*2^622151-1 is not prime. Res64: F9B193446D58193B Time : 33392.0 sec. user=vaughan [2009-02-23 15:01:37] 777*2^622228-1 is not prime. Res64: BD3EB5E97A473E5A Time : 5055.0 sec. user=vaughan [2009-02-23 15:02:36] 783*2^622228-1 is not prime. Res64: FF55CFCC4EBE6B0A Time : 5108.0 sec. user=vaughan [2009-02-23 15:03:06] 765*2^622210-1 is not prime. Res64: 43FEE6F22605013A Time : 10367.0 sec. user=tnerual [2009-02-23 15:06:18] 721*2^622239-1 is not prime. Res64: 76AF3A630478C41B Time : 1321.0 sec. user=vaughan [2009-02-23 15:06:37] 683*2^622152-1 is not prime. Res64: 4B1D473A9BA1C3FB Time : 33379.0 sec. user=vaughan [2009-02-23 15:08:45] 711*2^622229-1 is not prime. Res64: 428103A154ADF995 Time : 5200.0 sec. user=vaughan [2009-02-23 15:09:55] 741*2^622229-1 is not prime. Res64: F7E80BBF419EFBB5 Time : 5055.0 sec. user=vaughan [2009-02-23 15:11:05] 671*2^622230-1 is not prime. Res64: ED2B3EE951A9DD16 Time : 5115.0 sec. user=vaughan [2009-02-23 15:12:01] 607*2^622153-1 is not prime. Res64: 5F1469C74BA4351F Time : 33363.0 sec. user=vaughan [2009-02-23 15:17:32] 673*2^622231-1 is not prime. Res64: 2C290E5921219E16 Time : 5218.0 sec. user=vaughan [2009-02-23 15:17:32] 729*2^622153-1 is not prime. Res64: A1B8FA67FECFE510 Time : 33353.0 sec. user=vaughan [2009-02-23 15:18:53] 741*2^622231-1 is not prime. Res64: 0479FF7A297DF86D Time : 5096.0 sec. user=vaughan [2009-02-23 15:20:12] 783*2^622231-1 is not prime. Res64: 87970A966DC1D469 Time : 5160.0 sec. user=vaughan [2009-02-23 15:22:18] 687*2^622214-1 is not prime. Res64: 429CFFB970174600 Time : 10577.0 sec. user=vaughan [2009-02-23 15:22:59] 633*2^622154-1 is not prime. Res64: 1B2F2B773F314848 Time : 33337.0 sec. user=vaughan [2009-02-23 15:26:33] 623*2^622232-1 is not prime. Res64: E83536C472F6440A Time : 5245.0 sec. user=vaughan [2009-02-23 15:27:50] 797*2^622232-1 is not prime. Res64: DA6E84168ECC57CA Time : 5121.0 sec. user=tnerual [2009-02-23 15:28:21] 759*2^622244-1 is not prime. Res64: 6D2D49E363379E3E Time : 1323.0 sec. user=vaughan [2009-02-23 15:28:25] 797*2^622154-1 is not prime. Res64: C8E362FEB8370536 Time : 33324.0 sec. user=vaughan [2009-02-23 15:29:49] 649*2^622233-1 is not prime. Res64: 6E39988986752736 Time : 5219.0 sec. user=vaughan [2009-02-23 15:33:53] 783*2^622155-1 is not prime. Res64: 9280398E166C041A Time : 33309.0 sec. user=vaughan [2009-02-23 15:35:43] 745*2^622233-1 is not prime. Res64: E293D258DEA25460 Time : 5215.0 sec. user=vaughan [2009-02-23 15:37:06] 701*2^622234-1 is not prime. Res64: 616F76F903185FB7 Time : 5143.0 sec. user=vaughan [2009-02-23 15:39:18] 643*2^622235-1 is not prime. Res64: 67D830B4AF347FA5 Time : 5246.0 sec. user=vaughan [2009-02-23 15:39:21] 735*2^622156-1 is not prime. Res64: 99EEEB82B16F07B6 Time : 33297.0 sec. user=vaughan [2009-02-23 15:42:55] 605*2^622218-1 is not prime. Res64: 4C6B6A512F42AD04 Time : 10609.0 sec. user=vaughan [2009-02-23 15:44:30] 627*2^622236-1 is not prime. Res64: 4F35865F1B57A1F6 Time : 5212.0 sec. user=vaughan [2009-02-23 15:44:47] 615*2^622157-1 is not prime. Res64: 2483ADDD7F7E6740 Time : 33281.0 sec. user=vaughan [2009-02-23 15:45:48] 629*2^622236-1 is not prime. Res64: FD2C02246DE9110A Time : 5168.0 sec. user=vaughan [2009-02-23 15:48:22] 705*2^622236-1 is not prime. Res64: B3622461EC4C8BE6 Time : 5289.0 sec. user=vaughan [2009-02-23 15:50:12] 727*2^622157-1 is not prime. Res64: 51C9E2C8FBBD80E7 Time : 33264.0 sec. user=tnerual [2009-02-23 15:50:26] 625*2^622249-1 is not prime. Res64: 9C69567A5CC62775 Time : 1326.0 sec. user=vaughan [2009-02-23 15:50:39] 635*2^621120-1 is not prime. Res64: B51868C2D9AEB174 Time : 170790.0 sec. user=vaughan [2009-02-23 15:53:21] 773*2^622236-1 is not prime. Res64: 537AB4F0E090491B Time : 5234.0 sec. user=vaughan [2009-02-23 15:54:43] 639*2^622237-1 is not prime. Res64: 4F195DD0A85D4805 Time : 5206.0 sec. user=vaughan [2009-02-23 15:55:36] 605*2^622158-1 is not prime. Res64: 244FA2E81C0C9080 Time : 33244.0 sec. user=vaughan [2009-02-23 15:57:55] 729*2^622237-1 is not prime. Res64: D8E49E2C38CF1B51 Time : 5360.0 sec. user=vaughan [2009-02-23 16:00:59] 649*2^622159-1 is not prime. Res64: 81601035B647206D Time : 33222.0 sec. user=vaughan [2009-02-23 16:02:23] 755*2^622238-1 is not prime. Res64: AD4EFBCFC92FFDDC Time : 5268.0 sec. user=vaughan [2009-02-23 16:03:48] 615*2^622239-1 is not prime. Res64: 2744CEC105CD602E Time : 5253.0 sec. user=vaughan [2009-02-23 16:06:23] 729*2^622159-1 is not prime. Res64: 8DC207054A92DE27 Time : 33203.0 sec. user=vaughan [2009-02-23 16:07:26] 691*2^622239-1 is not prime. Res64: 866F7DAE511D8BE7 Time : 5429.0 sec. user=vaughan [2009-02-23 16:08:15] 679*2^622221-1 is not prime. Res64: C8B9CFE713754F25 Time : 11151.0 sec. user=vaughan [2009-02-23 16:11:16] 705*2^622239-1 is not prime. Res64: 24780E77F7ADA576 Time : 5293.0 sec. user=vaughan [2009-02-23 16:11:47] 629*2^622160-1 is not prime. Res64: 183BB2D810933747 Time : 33186.0 sec. user=tnerual [2009-02-23 16:12:29] 707*2^622254-1 is not prime. Res64: 2E6AB8C12F4C669F Time : 1323.0 sec. user=vaughan [2009-02-23 16:12:44] 751*2^622239-1 is not prime. Res64: DD880A79C2391D9E Time : 5289.0 sec. user=vaughan [2009-02-23 16:17:02] 753*2^622160-1 is not prime. Res64: 2B71B3720D240A41 Time : 33158.0 sec. user=vaughan [2009-02-23 16:17:19] 741*2^622241-1 is not prime. Res64: 4FE8E8AF7C9D43B8 Time : 5521.0 sec. user=vaughan [2009-02-23 16:20:26] 717*2^622242-1 is not prime. Res64: 68B45ECFBCC6ABCF Time : 5318.0 sec. user=vaughan [2009-02-23 16:21:38] 791*2^622242-1 is not prime. Res64: 7ED62D3062EEBFA0 Time : 5298.0 sec. user=vaughan [2009-02-23 16:22:17] 717*2^622161-1 is not prime. Res64: 6080BC2868F5431D Time : 33130.0 sec. user=vaughan [2009-02-23 16:27:05] 639*2^622243-1 is not prime. Res64: 61CD0090BFD7162D Time : 5571.0 sec. user=vaughan [2009-02-23 16:28:30] 777*2^622161-1 is not prime. Res64: 25E659ADB888A6FF Time : 33159.0 sec. user=vaughan [2009-02-23 16:30:44] 703*2^622243-1 is not prime. Res64: E7897CBC4E2558DB Time : 5427.0 sec. user=vaughan [2009-02-23 16:31:24] 709*2^622243-1 is not prime. Res64: ED6B305CB5B6CCA8 Time : 5387.0 sec. user=vaughan [2009-02-23 16:32:29] 617*2^622226-1 is not prime. Res64: EDE1A98FB51A251C Time : 11498.0 sec. user=vaughan [2009-02-23 16:34:04] 705*2^622163-1 is not prime. Res64: 061F6C5B85F3F5AC Time : 33151.0 sec. user=tnerual [2009-02-23 16:34:35] 759*2^622256-1 is not prime. Res64: AE2A99418E93FC43 Time : 1326.0 sec. user=vaughan [2009-02-23 16:36:42] 615*2^622244-1 is not prime. Res64: D5E8A54A57BCCEE4 Time : 5646.0 sec. user=vaughan [2009-02-23 16:39:39] 661*2^622165-1 is not prime. Res64: E9018E5C49281BD8 Time : 33146.0 sec. user=vaughan [2009-02-23 16:41:02] 787*2^622245-1 is not prime. Res64: 1850831F31138C0F Time : 5467.0 sec. user=vaughan [2009-02-23 16:41:10] 717*2^622245-1 is not prime. Res64: 8AD919C5C2383607 Time : 5545.0 sec. user=vaughan [2009-02-23 16:45:07] 703*2^622167-1 is not prime. Res64: 4A8312F4E97CB6CB Time : 33134.0 sec. user=vaughan [2009-02-23 16:46:20] 653*2^622246-1 is not prime. Res64: CE7FA79A85272DE7 Time : 5715.0 sec. user=vaughan [2009-02-23 16:50:36] 765*2^622246-1 is not prime. Res64: 82C3D6F16C3304EF Time : 5503.0 sec. user=vaughan [2009-02-23 16:50:55] 713*2^622168-1 is not prime. Res64: 2CDB875A1E1835B2 Time : 33137.0 sec. user=vaughan [2009-02-23 16:51:30] 723*2^622246-1 is not prime. Res64: 0009E13FD964B6A7 Time : 5638.0 sec. user=vaughan [2009-02-23 16:55:55] 741*2^622247-1 is not prime. Res64: E162F56762E1F43B Time : 5743.0 sec. user=tnerual [2009-02-23 16:56:37] 753*2^622260-1 is not prime. Res64: A9933CB1C13A9FFF Time : 1322.0 sec. user=vaughan [2009-02-23 16:56:47] 657*2^622169-1 is not prime. Res64: C77C6B585F43AF49 Time : 33146.0 sec. user=vaughan [2009-02-23 16:57:42] 743*2^622228-1 is not prime. Res64: B79E2A2261DAEB37 Time : 12043.0 sec. user=vaughan [2009-02-23 17:00:07] 789*2^622248-1 is not prime. Res64: 69273D510085DF5C Time : 5537.0 sec. user=vaughan [2009-02-23 17:01:39] 773*2^622248-1 is not prime. Res64: EBDBC98FA66962AB Time : 5706.0 sec. user=vaughan [2009-02-23 17:02:39] 641*2^622170-1 is not prime. Res64: 02FD304FBF9F889A Time : 33158.0 sec. user=vaughan [2009-02-23 17:05:29] 665*2^622250-1 is not prime. Res64: 03398D509F69B12A Time : 5741.0 sec. user=vaughan [2009-02-23 17:08:27] 651*2^622171-1 is not prime. Res64: 3A2ED495C94333D2 Time : 33165.0 sec. user=vaughan [2009-02-23 17:09:37] 797*2^622250-1 is not prime. Res64: C74753F47FAA2F03 Time : 5552.0 sec. user=vaughan [2009-02-23 17:12:04] 783*2^622250-1 is not prime. Res64: DDF0CE306F4808EA Time : 5781.0 sec. user=vaughan [2009-02-23 17:14:18] 717*2^622172-1 is not prime. Res64: D7FD494C17C9493B Time : 33173.0 sec. user=vaughan [2009-02-23 17:15:07] 605*2^622252-1 is not prime. Res64: 6D5A0F9856E06E48 Time : 5749.0 sec. user=tnerual [2009-02-23 17:18:43] 739*2^622263-1 is not prime. Res64: 6671383E823C98CD Time : 1326.0 sec. user=vaughan [2009-02-23 17:19:07] 631*2^622253-1 is not prime. Res64: B6BF36A2719CFAE7 Time : 5599.0 sec. user=vaughan [2009-02-23 17:20:10] 645*2^622174-1 is not prime. Res64: 132E2F6B5175EEF1 Time : 33186.0 sec. user=vaughan [2009-02-23 17:22:12] 759*2^622252-1 is not prime. Res64: 7C6B158D941235E3 Time : 5862.0 sec. user=vaughan [2009-02-23 17:22:45] 735*2^622231-1 is not prime. Res64: 3586A6BFA2AEA360 Time : 12603.0 sec. user=vaughan [2009-02-23 17:24:47] 675*2^622253-1 is not prime. Res64: 2B90515E54900DBF Time : 5785.0 sec. user=vaughan [2009-02-23 17:25:59] 765*2^622174-1 is not prime. Res64: FFE30B05F24828F4 Time : 33196.0 sec. user=vaughan [2009-02-23 17:28:42] 679*2^622255-1 is not prime. Res64: F91813F247C5AE94 Time : 5639.0 sec. user=vaughan [2009-02-23 17:31:49] 759*2^622175-1 is not prime. Res64: 49C8BC05D4F1EF23 Time : 33203.0 sec. user=vaughan [2009-02-23 17:31:55] 683*2^622118-1 is not prime. Res64: EE0DAB5EFF9C2AB1 Time : 53223.0 sec. user=vaughan [2009-02-23 17:32:33] 625*2^622255-1 is not prime. Res64: A1673689956D2DE0 Time : 5952.0 sec. user=vaughan [2009-02-23 17:34:24] 705*2^622255-1 is not prime. Res64: 30056621104E0F19 Time : 5790.0 sec. user=vaughan [2009-02-23 17:37:40] 765*2^622176-1 is not prime. Res64: 45219E66FEF9B34B Time : 33211.0 sec. user=vaughan [2009-02-23 17:38:16] 759*2^622255-1 is not prime. Res64: C914F9930CB48A36 Time : 5669.0 sec. user=tnerual [2009-02-23 17:40:44] 717*2^622265-1 is not prime. Res64: 50EB19D50891793E Time : 1322.0 sec. user=vaughan [2009-02-23 17:42:54] 751*2^622255-1 is not prime. Res64: 009A2AB66007E1F1 Time : 6032.0 sec. user=vaughan [2009-02-23 17:43:29] 645*2^622177-1 is not prime. Res64: 80F7B389DDE60716 Time : 33214.0 sec. user=vaughan [2009-02-23 17:44:06] 623*2^622256-1 is not prime. Res64: 9F337B01BB6309BA Time : 5801.0 sec. user=vaughan [2009-02-23 17:47:07] 663*2^622234-1 is not prime. Res64: 45BD0FAE20D72F91 Time : 13033.0 sec. user=vaughan [2009-02-23 17:47:47] 615*2^622257-1 is not prime. Res64: 7D6C93E9BDFA903D Time : 5703.0 sec. user=vaughan [2009-02-23 17:49:22] 727*2^622177-1 is not prime. Res64: 7D786AE25E6F20F7 Time : 33223.0 sec. user=vaughan [2009-02-23 17:53:08] 669*2^622256-1 is not prime. Res64: D44BF423885EBEE7 Time : 6112.0 sec. user=vaughan [2009-02-23 17:53:41] 685*2^622257-1 is not prime. Res64: EDEE09EE5340C0D5 Time : 5783.0 sec. user=vaughan [2009-02-23 17:55:11] 791*2^622178-1 is not prime. Res64: 6457D19B48A9F447 Time : 33228.0 sec. user=vaughan [2009-02-23 17:57:21] 755*2^622258-1 is not prime. Res64: B5D9F62AAEA63FF2 Time : 5743.0 sec. user=vaughan [2009-02-23 18:01:02] 735*2^622180-1 is not prime. Res64: E47DED841475CFAC Time : 33235.0 sec. user=tnerual [2009-02-23 18:02:44] 665*2^622268-1 is not prime. Res64: F83E71F0F21EBDE0 Time : 1320.0 sec. user=vaughan [2009-02-23 18:03:14] 711*2^622259-1 is not prime. Res64: 79823121F26B72E7 Time : 5770.0 sec. user=vaughan [2009-02-23 18:03:23] 647*2^622258-1 is not prime. Res64: B277BB349496AC26 Time : 6177.0 sec. user=vaughan [2009-02-23 18:06:49] 669*2^622260-1 is not prime. Res64: 36C6E0FF2C8FCEB1 Time : 5725.0 sec. user=vaughan [2009-02-23 18:06:52] 759*2^622180-1 is not prime. Res64: 138E9396903302B6 Time : 33242.0 sec. user=vaughan [2009-02-23 18:11:39] 741*2^622237-1 is not prime. Res64: 7C4F7B59F18DFDAE Time : 13382.0 sec. user=vaughan [2009-02-23 18:12:43] 735*2^622181-1 is not prime. Res64: 0723EA59E15E53E0 Time : 33251.0 sec. user=vaughan [2009-02-23 18:12:48] 777*2^622260-1 is not prime. Res64: F19D16B17E1D09A8 Time : 5766.0 sec. user=vaughan [2009-02-23 18:13:44] 775*2^622259-1 is not prime. Res64: E35A0F39B39FAE90 Time : 6180.0 sec. user=vaughan [2009-02-23 18:15:42] 681*2^622267-1 is not prime. Res64: 527AB311A82451F6 Time : 2627.0 sec. user=vaughan [2009-02-23 18:16:23] 609*2^622261-1 is not prime. Res64: 61858301A34186BF Time : 5721.0 sec. user=vaughan [2009-02-23 18:18:35] 791*2^622182-1 is not prime. Res64: A46D469591D83F17 Time : 33258.0 sec. user=vaughan [2009-02-23 18:22:30] 691*2^622261-1 is not prime. Res64: 2723F456AE1477F2 Time : 5770.0 sec. user=vaughan [2009-02-23 18:23:59] 687*2^622261-1 is not prime. Res64: 8E05D9E7FAF981B3 Time : 6169.0 sec. user=vaughan [2009-02-23 18:24:24] 675*2^622183-1 is not prime. Res64: 42619F91839CE33E Time : 33265.0 sec. user=tnerual [2009-02-23 18:24:49] 619*2^622271-1 is not prime. Res64: 104E45FF6B7CE198 Time : 1325.0 sec. user=vaughan [2009-02-23 18:25:58] 799*2^622261-1 is not prime. Res64: E5216648D86CB34A Time : 5722.0 sec. user=vaughan [2009-02-23 18:30:17] 705*2^622185-1 is not prime. Res64: 4BA8708D9DBAD996 Time : 33275.0 sec. user=vaughan [2009-02-23 18:32:05] 723*2^622263-1 is not prime. Res64: 504946E16591BC9C Time : 5770.0 sec. user=vaughan [2009-02-23 18:34:08] 711*2^622262-1 is not prime. Res64: 5EFA66C12AE162C5 Time : 6158.0 sec. user=vaughan [2009-02-23 18:35:16] 633*2^622242-1 is not prime. Res64: 81BC10A1BEBA3400 Time : 13683.0 sec. user=vaughan [2009-02-23 18:35:30] 609*2^622264-1 is not prime. Res64: AFE89866242F473C Time : 5723.0 sec. user=vaughan [2009-02-23 18:36:06] 647*2^622186-1 is not prime. Res64: C9A1F367A7BBD050 Time : 33280.0 sec. user=vaughan [2009-02-23 18:41:40] 669*2^622265-1 is not prime. Res64: C916C4AA6ED49733 Time : 5771.0 sec. user=vaughan [2009-02-23 18:41:57] 723*2^622186-1 is not prime. Res64: 53554962B9D5C73E Time : 33289.0 sec. user=vaughan [2009-02-23 18:44:23] 627*2^622265-1 is not prime. Res64: 3905DAE213840369 Time : 6165.0 sec. user=vaughan [2009-02-23 18:45:02] 675*2^622265-1 is not prime. Res64: 5E687702BEDC731D Time : 5725.0 sec. user=tnerual [2009-02-23 18:46:51] 641*2^622274-1 is not prime. Res64: 5B437D3673C3A1CA Time : 1322.0 sec. user=vaughan [2009-02-23 18:47:48] 649*2^622187-1 is not prime. Res64: 8223007541C7ED18 Time : 33295.0 sec. user=vaughan [2009-02-23 18:51:19] 691*2^622265-1 is not prime. Res64: E81FADA1803E2710 Time : 5772.0 sec. user=vaughan [2009-02-23 18:53:38] 741*2^622187-1 is not prime. Res64: 0A9EBBE663AD2ECC Time : 33315.0 sec. user=vaughan [2009-02-23 18:54:36] 633*2^622266-1 is not prime. Res64: 8ED3F245D5F65447 Time : 5730.0 sec. user=vaughan [2009-02-23 18:54:40] 685*2^622265-1 is not prime. Res64: AFC3F5D3E6492858 Time : 6157.0 sec. user=vaughan [2009-02-23 18:58:42] 639*2^622273-1 is not prime. Res64: A67066951F13B371 Time : 2580.0 sec. user=vaughan [2009-02-23 18:59:28] 627*2^622188-1 is not prime. Res64: D1C57027410DD75C Time : 33338.0 sec. user=vaughan [2009-02-23 18:59:54] 659*2^622244-1 is not prime. Res64: 7112EBA3F9AFBB84 Time : 14208.0 sec. user=vaughan [2009-02-23 19:00:59] 765*2^622266-1 is not prime. Res64: B8DF21F2F33B1C61 Time : 5772.0 sec. user=vaughan [2009-02-23 19:04:05] 663*2^622267-1 is not prime. Res64: 8FF841F1DF3612E5 Time : 5724.0 sec. user=vaughan [2009-02-23 19:04:57] 711*2^622266-1 is not prime. Res64: 7E06DC6E8A83964E Time : 6166.0 sec. user=vaughan [2009-02-23 19:05:22] 777*2^622188-1 is not prime. Res64: 571449D4D536AA0C Time : 33363.0 sec. user=vaughan [2009-02-23 19:10:35] 615*2^622268-1 is not prime. Res64: C0E8B3C018C0E036 Time : 5772.0 sec. user=vaughan [2009-02-23 19:11:10] 665*2^622190-1 is not prime. Res64: 07B7F17B2464B036 Time : 33386.0 sec. user=vaughan [2009-02-23 19:13:32] 629*2^622268-1 is not prime. Res64: 2030537973FAB558 Time : 5716.0 sec. user=vaughan [2009-02-23 19:15:05] 759*2^622267-1 is not prime. Res64: A2E7388846B840E0 Time : 6152.0 sec. user=tnerual [2009-02-23 19:16:17] 609*2^622276-1 is not prime. Res64: A9CB6FF754E80AF0 Time : 1767.0 sec. user=vaughan [2009-02-23 19:17:01] 707*2^622190-1 is not prime. Res64: B8D7EA5CC9FB4562 Time : 33408.0 sec. user=vaughan [2009-02-23 19:20:14] 655*2^622269-1 is not prime. Res64: 4D65BA16CFAF8E03 Time : 5769.0 sec. user=vaughan [2009-02-23 19:22:48] 705*2^622191-1 is not prime. Res64: 3B4DB1DA35241341 Time : 33430.0 sec. user=vaughan [2009-02-23 19:23:06] 747*2^622269-1 is not prime. Res64: 87D3AF3F407665FD Time : 5719.0 sec. user=vaughan [2009-02-23 19:24:38] 775*2^622247-1 is not prime. Res64: 0E9C78B9133B1B30 Time : 14541.0 sec. user=vaughan [2009-02-23 19:25:21] 639*2^622269-1 is not prime. Res64: 1B684295E46A0EC1 Time : 6148.0 sec. user=vaughan [2009-02-23 19:28:38] 793*2^622191-1 is not prime. Res64: F0FEC2E2E5F39BC6 Time : 33453.0 sec. user=vaughan [2009-02-23 19:29:46] 755*2^622270-1 is not prime. Res64: F42866B4EEEE1D68 Time : 5765.0 sec. user=vaughan [2009-02-23 19:32:37] 791*2^622270-1 is not prime. Res64: F96E2AE822093B2A Time : 5716.0 sec. user=vaughan [2009-02-23 19:34:31] 795*2^622191-1 is not prime. Res64: D9540EEBF0116BA3 Time : 33477.0 sec. user=vaughan [2009-02-23 19:35:41] 707*2^622270-1 is not prime. Res64: F47D023680174859 Time : 6153.0 sec. user=vaughan [2009-02-23 19:39:09] 649*2^622277-1 is not prime. Res64: 2583AC0A2CD36639 Time : 2428.0 sec. user=vaughan [2009-02-23 19:39:20] 621*2^622271-1 is not prime. Res64: DFC9A20D400F594F Time : 5766.0 sec. user=vaughan [2009-02-23 19:40:24] 719*2^622192-1 is not prime. Res64: 82E4871F0AC55560 Time : 33501.0 sec. user=vaughan [2009-02-23 19:42:02] 665*2^622272-1 is not prime. Res64: 558CCF3D9C2F41C9 Time : 5714.0 sec. user=vaughan [2009-02-23 19:45:45] 715*2^622271-1 is not prime. Res64: 1F5F8580B42348FB Time : 6142.0 sec. user=vaughan [2009-02-23 19:46:09] 705*2^622193-1 is not prime. Res64: 03E09E698061F78E Time : 33520.0 sec. user=vaughan [2009-02-23 19:48:47] 693*2^622272-1 is not prime. Res64: DCAB5C95C5F9446D Time : 5759.0 sec. user=vaughan [2009-02-23 19:49:05] 705*2^622252-1 is not prime. Res64: 84A703C55875992A Time : 14770.0 sec. user=vaughan [2009-02-23 19:51:37] 721*2^622273-1 is not prime. Res64: 15CA51A7317A9D16 Time : 5714.0 sec. user=vaughan [2009-02-23 19:52:00] 769*2^622193-1 is not prime. Res64: 168102DD49E7EB3C Time : 33542.0 sec. user=vaughan [2009-02-23 19:56:05] 717*2^622272-1 is not prime. Res64: 2C6CCFF905775F19 Time : 6142.0 sec. user=vaughan [2009-02-23 19:57:50] 705*2^622194-1 is not prime. Res64: C0B1F0F414A5EDCF Time : 33562.0 sec. user=vaughan [2009-02-23 19:58:29] 633*2^622274-1 is not prime. Res64: A6B690D87AEE593C Time : 5759.0 sec. user=vaughan [2009-02-23 20:01:13] 645*2^622274-1 is not prime. Res64: AE49CB708A0E1F7A Time : 5715.0 sec. user=vaughan [2009-02-23 20:01:41] 675*2^622281-1 is not prime. Res64: 09A3581C3FA354BB Time : 1353.0 sec. user=tnerual [2009-02-23 20:03:15] 745*2^622279-1 is not prime. Res64: 8F02CDB06C49519F Time : 2819.0 sec. user=vaughan [2009-02-23 20:03:41] 649*2^622195-1 is not prime. Res64: 7400B3540DFA2BD8 Time : 33585.0 sec. user=vaughan [2009-02-23 20:06:16] 635*2^622274-1 is not prime. Res64: C650C630427FF25D Time : 6137.0 sec. user=vaughan [2009-02-23 20:08:01] 665*2^622274-1 is not prime. Res64: CCDE885AE2631017 Time : 5756.0 sec. user=vaughan [2009-02-23 20:09:30] 793*2^622195-1 is not prime. Res64: 042BC05DE585800C Time : 33607.0 sec. user=vaughan [2009-02-23 20:10:41] 663*2^622275-1 is not prime. Res64: 3B0904878D1010BE Time : 5712.0 sec. user=vaughan [2009-02-23 20:13:52] 633*2^622256-1 is not prime. Res64: 9110C21954965327 Time : 14738.0 sec. user=vaughan [2009-02-23 20:15:19] 647*2^622198-1 is not prime. Res64: F36D3520A698CE0A Time : 33627.0 sec. user=vaughan [2009-02-23 20:16:37] 677*2^622274-1 is not prime. Res64: 9A22E2BD379D6AD5 Time : 6149.0 sec. user=vaughan [2009-02-23 20:17:38] 699*2^622275-1 is not prime. Res64: 1982FA5E41AECF10 Time : 5758.0 sec. user=vaughan [2009-02-23 20:20:14] 789*2^622275-1 is not prime. Res64: 22B311110000026C Time : 5713.0 sec. user=vaughan [2009-02-23 20:21:11] 707*2^622198-1 is not prime. Res64: FE13FA56B22DC63A Time : 33651.0 sec. user=vaughan [2009-02-23 20:24:11] 791*2^622282-1 is not prime. Res64: 5A26D12BF5EE3E56 Time : 1351.0 sec. user=tnerual [2009-02-23 20:25:21] 603*2^622283-1 is not prime. Res64: 6AF6781DEF4D7255 Time : 1326.0 sec. user=vaughan [2009-02-23 20:26:59] 781*2^622275-1 is not prime. Res64: 3FAB44BA5D48C9AE Time : 6156.0 sec. user=vaughan [2009-02-23 20:27:01] 633*2^622199-1 is not prime. Res64: 0EDD1AEE7E7B33C2 Time : 33674.0 sec. user=vaughan [2009-02-23 20:27:21] 689*2^622276-1 is not prime. Res64: D77740B26417F8BF Time : 5762.0 sec. user=vaughan [2009-02-23 20:29:48] 735*2^622276-1 is not prime. Res64: 6C5A63426123EBBB Time : 5714.0 sec. user=vaughan [2009-02-23 20:32:50] 795*2^622200-1 is not prime. Res64: 8B237F2C2762AE9E Time : 33693.0 sec. user=vaughan [2009-02-23 20:36:59] 605*2^622278-1 is not prime. Res64: DD836F6399F14D34 Time : 5760.0 sec. user=vaughan [2009-02-23 20:37:24] 615*2^622277-1 is not prime. Res64: 97757580E1C3F5EA Time : 6165.0 sec. user=vaughan [2009-02-23 20:38:10] 717*2^622260-1 is not prime. Res64: 230A9B9C8D5DD3A7 Time : 14741.0 sec. user=vaughan [2009-02-23 20:38:40] 685*2^622201-1 is not prime. Res64: 36EEB9451F1F2A6B Time : 33723.0 sec. user=vaughan [2009-02-23 20:39:25] 777*2^622278-1 is not prime. Res64: 1585E71148B2A12D Time : 5720.0 sec. user=vaughan [2009-02-23 20:44:14] 747*2^622201-1 is not prime. Res64: 300D9E9B30EBB7A2 Time : 33729.0 sec. user=vaughan [2009-02-23 20:46:23] 609*2^622279-1 is not prime. Res64: 8877DF9C09A18338 Time : 5749.0 sec. user=vaughan [2009-02-23 20:46:42] 749*2^622284-1 is not prime. Res64: D5456F76EF61322B Time : 1351.0 sec. user=vaughan [2009-02-23 20:47:05] 797*2^622278-1 is not prime. Res64: D5C29A6D6B0D3415 Time : 6128.0 sec. user=tnerual [2009-02-23 20:47:22] 601*2^622285-1 is not prime. Res64: 413222312F1AABBE Time : 1321.0 sec. user=vaughan [2009-02-23 20:48:28] 619*2^622279-1 is not prime. Res64: F5FA0219B419248F Time : 5696.0 sec. user=vaughan [2009-02-23 20:49:43] 643*2^622203-1 is not prime. Res64: 20F262BB8CB1B4F9 Time : 33732.0 sec. user=vaughan [2009-02-23 20:54:46] 765*2^622279-1 is not prime. Res64: E1D08530804E6183 Time : 5673.0 sec. user=vaughan [2009-02-23 20:55:11] 735*2^622203-1 is not prime. Res64: EEDAE3901155D412 Time : 33732.0 sec. user=vaughan [2009-02-23 20:55:27] 729*2^622279-1 is not prime. Res64: 4653EE275169F14E Time : 6022.0 sec. user=vaughan [2009-02-23 20:56:49] 745*2^622263-1 is not prime. Res64: 2155D0DDB5916C81 Time : 14347.0 sec. user=vaughan [2009-02-23 20:56:49] 615*2^622280-1 is not prime. Res64: 2FDBC03496D86D17 Time : 5623.0 sec. user=vaughan [2009-02-23 21:00:41] 615*2^622204-1 is not prime. Res64: 36CBDBC580586107 Time : 33733.0 sec. user=vaughan [2009-02-23 21:03:08] 677*2^622280-1 is not prime. Res64: 0A98BBDC3D462D72 Time : 5602.0 sec. user=vaughan [2009-02-23 21:03:49] 663*2^622280-1 is not prime. Res64: 23677857661EC374 Time : 5908.0 sec. user=vaughan [2009-02-23 21:05:12] 755*2^622280-1 is not prime. Res64: 0049E0EACA78C7BF Time : 5555.0 sec. user=vaughan [2009-02-23 21:06:07] 735*2^622205-1 is not prime. Res64: 560256D43652CFAD Time : 33735.0 sec. user=vaughan [2009-02-23 21:09:13] 605*2^622288-1 is not prime. Res64: 214154C01822BCDE Time : 1351.0 sec. user=tnerual [2009-02-23 21:09:28] 695*2^622288-1 is not prime. Res64: 722C48FEAFC77A18 Time : 1326.0 sec. user=vaughan [2009-02-23 21:11:31] 681*2^622281-1 is not prime. Res64: 53A1FA0A93F3F746 Time : 5531.0 sec. user=vaughan [2009-02-23 21:11:37] 717*2^622206-1 is not prime. Res64: C2016561B9CAFF50 Time : 33736.0 sec. user=vaughan [2009-02-23 21:12:10] 767*2^622280-1 is not prime. Res64: 20C9A0BF6A5A2324 Time : 5789.0 sec. user=vaughan [2009-02-23 21:12:24] 713*2^622266-1 is not prime. Res64: 2D0F442E756E0A27 Time : 13780.0 sec. user=vaughan [2009-02-23 21:13:34] 781*2^622281-1 is not prime. Res64: 85ADACC9C7DE0FB1 Time : 5492.0 sec. user=vaughan [2009-02-23 21:17:07] 635*2^622208-1 is not prime. Res64: 1EC7EC5166D92EC0 Time : 33738.0 sec. user=vaughan [2009-02-23 21:19:55] 621*2^622282-1 is not prime. Res64: 25723914CFC1B452 Time : 5468.0 sec. user=vaughan [2009-02-23 21:20:31] 617*2^622282-1 is not prime. Res64: CAA7767A66DF2486 Time : 5687.0 sec. user=vaughan [2009-02-23 21:21:59] 701*2^622282-1 is not prime. Res64: A737367DAB56A267 Time : 5423.0 sec. user=vaughan [2009-02-23 21:22:36] 747*2^622208-1 is not prime. Res64: F4A159D48357B0FF Time : 33739.0 sec. user=vaughan [2009-02-23 21:27:58] 727*2^622269-1 is not prime. Res64: 292EF990DA076C4D Time : 13251.0 sec. user=vaughan [2009-02-23 21:28:06] 657*2^622210-1 is not prime. Res64: 2E5DEB6F5DA7A85F Time : 33742.0 sec. user=vaughan [2009-02-23 21:28:19] 755*2^622282-1 is not prime. Res64: FA458B464CEEA6FE Time : 5390.0 sec. user=vaughan [2009-02-23 21:28:52] 723*2^622282-1 is not prime. Res64: A9B509F6B87B7EE3 Time : 5567.0 sec. user=vaughan [2009-02-23 21:30:20] 765*2^622282-1 is not prime. Res64: E39F08FD983162AF Time : 5347.0 sec. user=tnerual [2009-02-23 21:31:29] 687*2^622292-1 is not prime. Res64: 3EDDE975DD519D19 Time : 1321.0 sec. user=vaughan [2009-02-23 21:31:45] 669*2^622292-1 is not prime. Res64: F859A0676000917D Time : 1352.0 sec. user=vaughan [2009-02-23 21:33:36] 715*2^622211-1 is not prime. Res64: 2229CAAB52117F08 Time : 33745.0 sec. user=vaughan [2009-02-23 21:36:41] 621*2^622283-1 is not prime. Res64: A84D83BA692F59D3 Time : 5320.0 sec. user=vaughan [2009-02-23 21:37:12] 615*2^622283-1 is not prime. Res64: 7FC72122BD252BF8 Time : 5456.0 sec. user=vaughan [2009-02-23 21:38:43] 685*2^622283-1 is not prime. Res64: C3E5C51F197F25C5 Time : 5283.0 sec. user=vaughan [2009-02-23 21:39:07] 693*2^622212-1 is not prime. Res64: A2E3F6007D878277 Time : 33748.0 sec. user=vaughan [2009-02-23 21:44:20] 669*2^622272-1 is not prime. Res64: 55F16CD648585378 Time : 12762.0 sec. user=vaughan [2009-02-23 21:44:34] 721*2^622213-1 is not prime. Res64: C256FFC283CE24C5 Time : 33747.0 sec. user=vaughan [2009-02-23 21:45:03] 623*2^622284-1 is not prime. Res64: 304D7D37311AB9E9 Time : 5245.0 sec. user=vaughan [2009-02-23 21:45:33] 705*2^622283-1 is not prime. Res64: 67115D7043D95F8D Time : 5337.0 sec. user=vaughan [2009-02-23 21:47:06] 719*2^622284-1 is not prime. Res64: 633773E320C613CF Time : 5212.0 sec. user=vaughan [2009-02-23 21:50:03] 711*2^622215-1 is not prime. Res64: 3E149F087DA23A29 Time : 33749.0 sec. user=vaughan [2009-02-23 21:53:28] 715*2^622285-1 is not prime. Res64: C5996A8133674479 Time : 5167.0 sec. user=tnerual [2009-02-23 21:53:35] 791*2^622294-1 is not prime. Res64: CF74701464FCA5C9 Time : 1326.0 sec. user=vaughan [2009-02-23 21:53:55] 685*2^622285-1 is not prime. Res64: 9C650444F1C14076 Time : 5216.0 sec. user=vaughan [2009-02-23 21:54:15] 609*2^622295-1 is not prime. Res64: 4F0059B4DBB52FD5 Time : 1351.0 sec. user=vaughan [2009-02-23 21:55:28] 727*2^622285-1 is not prime. Res64: 2C928B27FABA789A Time : 5140.0 sec. user=vaughan [2009-02-23 21:55:33] 637*2^622217-1 is not prime. Res64: A555FC551589F570 Time : 33750.0 sec. user=vaughan [2009-02-23 21:59:56] 753*2^622274-1 is not prime. Res64: 187C57D65DBD8886 Time : 12281.0 sec. user=vaughan [2009-02-23 22:01:03] 691*2^622217-1 is not prime. Res64: 16C08D67FBB4222A Time : 33750.0 sec. user=vaughan [2009-02-23 22:01:49] 601*2^622287-1 is not prime. Res64: ABFE55BBD5CA6E8B Time : 5090.0 sec. user=vaughan [2009-02-23 22:02:17] 625*2^622287-1 is not prime. Res64: F07D018EFF01D287 Time : 5093.0 sec. user=vaughan [2009-02-23 22:03:52] 705*2^622287-1 is not prime. Res64: 1F608A90EA9FFE7B Time : 5067.0 sec. user=vaughan [2009-02-23 22:06:33] 759*2^622217-1 is not prime. Res64: 368643C6A9D74521 Time : 33755.0 sec. user=vaughan [2009-02-23 22:10:12] 775*2^622287-1 is not prime. Res64: BC65E5B2E9A37144 Time : 5030.0 sec. user=vaughan [2009-02-23 22:10:38] 657*2^622288-1 is not prime. Res64: 191F3995423DEFB3 Time : 5013.0 sec. user=vaughan [2009-02-23 22:12:01] 663*2^622218-1 is not prime. Res64: F94FA508BB09ADF8 Time : 33755.0 sec. user=vaughan [2009-02-23 22:12:14] 645*2^622289-1 is not prime. Res64: B25941AAC7987FE8 Time : 5026.0 sec. user=tnerual [2009-02-23 22:15:37] 699*2^622297-1 is not prime. Res64: 6A2DB191A402251F Time : 1322.0 sec. user=vaughan [2009-02-23 22:16:20] 717*2^622277-1 is not prime. Res64: 0E50D5FD98CB8290 Time : 11786.0 sec. user=vaughan [2009-02-23 22:16:45] 747*2^622297-1 is not prime. Res64: AFF9AFC4FFE5B0CE Time : 1350.0 sec. user=vaughan [2009-02-23 22:17:31] 603*2^622220-1 is not prime. Res64: EA005C0F0E31EC01 Time : 33759.0 sec. user=vaughan [2009-02-23 22:18:34] 795*2^622289-1 is not prime. Res64: 91C7C95DF64B5106 Time : 5028.0 sec. user=vaughan [2009-02-23 22:19:01] 725*2^622290-1 is not prime. Res64: F2EC5D67DF1DCAD1 Time : 5014.0 sec. user=vaughan [2009-02-23 22:20:36] 777*2^622290-1 is not prime. Res64: 7F106065A8BE1FA3 Time : 5027.0 sec. user=vaughan [2009-02-23 22:22:57] 669*2^622221-1 is not prime. Res64: DA2286751C6A0CB8 Time : 33757.0 sec. user=vaughan [2009-02-23 22:26:58] 645*2^622291-1 is not prime. Res64: F73B668F8E3B9E6E Time : 5030.0 sec. user=vaughan [2009-02-23 22:27:22] 703*2^622291-1 is not prime. Res64: B1113446EC5C2B49 Time : 5013.0 sec. user=vaughan [2009-02-23 22:28:25] 695*2^622222-1 is not prime. Res64: 6959F2C079253A93 Time : 33755.0 sec. user=vaughan [2009-02-23 22:28:59] 603*2^622292-1 is not prime. Res64: CE96AF39C7479679 Time : 5027.0 sec. user=vaughan [2009-02-23 22:31:57] 633*2^622280-1 is not prime. Res64: 108796F86648F6E1 Time : 11240.0 sec. user=vaughan [2009-02-23 22:33:55] 605*2^622224-1 is not prime. Res64: 092C1C5426F61FE4 Time : 33757.0 sec. user=vaughan [2009-02-23 22:35:21] 693*2^622292-1 is not prime. Res64: 19EB908E4C9A6E82 Time : 5030.0 sec. user=vaughan [2009-02-23 22:35:43] 699*2^622292-1 is not prime. Res64: FDAC2EED19A274B8 Time : 5013.0 sec. user=vaughan [2009-02-23 22:37:23] 759*2^622292-1 is not prime. Res64: A2482ADE8F6D6A4B Time : 5029.0 sec. user=tnerual [2009-02-23 22:37:43] 635*2^622300-1 is not prime. Res64: 6356E58B6AE19D84 Time : 1326.0 sec. user=vaughan [2009-02-23 22:39:15] 607*2^622301-1 is not prime. Res64: 8938DC8804715AE1 Time : 1350.0 sec. user=vaughan [2009-02-23 22:39:24] 773*2^622224-1 is not prime. Res64: 6065DCF48A259AD0 Time : 33754.0 sec. user=vaughan [2009-02-23 22:43:43] 785*2^622292-1 is not prime. Res64: 75F68768B0ABE959 Time : 5028.0 sec. user=vaughan [2009-02-23 22:44:04] 669*2^622293-1 is not prime. Res64: 88241E037B5C2542 Time : 5013.0 sec. user=vaughan [2009-02-23 22:44:54] 717*2^622226-1 is not prime. Res64: 2BE0D520F51EDDCB Time : 33758.0 sec. user=vaughan [2009-02-23 22:45:45] 681*2^622293-1 is not prime. Res64: D2222D46B55A0177 Time : 5027.0 sec. user=vaughan [2009-02-23 22:49:24] 653*2^622282-1 is not prime. Res64: C39BC5F75484B86A Time : 10819.0 sec. user=vaughan [2009-02-23 22:50:21] 649*2^622227-1 is not prime. Res64: 2481F218C7FE09F7 Time : 33755.0 sec. user=vaughan [2009-02-23 22:52:19] 611*2^622294-1 is not prime. Res64: 7A5C99CAF04F2694 Time : 5041.0 sec. user=vaughan [2009-02-23 22:52:44] 681*2^622294-1 is not prime. Res64: 55DE85C261349855 Time : 5032.0 sec. user=vaughan [2009-02-23 22:54:19] 717*2^622294-1 is not prime. Res64: 644F3C4A56AD51CE Time : 5039.0 sec. user=vaughan [2009-02-23 22:55:51] 711*2^622227-1 is not prime. Res64: B217CF40639500BF Time : 33756.0 sec. user=tnerual [2009-02-23 22:59:45] 699*2^622304-1 is not prime. Res64: DEE7953C3FD014ED Time : 1322.0 sec. user=vaughan [2009-02-23 23:01:21] 691*2^622229-1 is not prime. Res64: CC7BE67F0FBA33AE Time : 33757.0 sec. user=vaughan [2009-02-23 23:01:26] 655*2^622295-1 is not prime. Res64: F84F070810708BAC Time : 5086.0 sec. user=vaughan [2009-02-23 23:01:48] 767*2^622304-1 is not prime. Res64: 43629278174B823A Time : 1353.0 sec. user=vaughan [2009-02-23 23:02:11] 685*2^622295-1 is not prime. Res64: 14C46D982FB53E7D Time : 5099.0 sec. user=vaughan [2009-02-23 23:03:39] 753*2^622295-1 is not prime. Res64: F2305058B2335532 Time : 5096.0 sec. user=vaughan [2009-02-23 23:06:47] 729*2^622229-1 is not prime. Res64: 781AED0ED80D93B1 Time : 33748.0 sec. user=vaughan [2009-02-23 23:10:34] 767*2^622296-1 is not prime. Res64: 01E12BE25AD52528 Time : 5131.0 sec. user=vaughan [2009-02-23 23:10:44] 693*2^622283-1 is not prime. Res64: 72DB292807ADBDDB Time : 10612.0 sec. user=vaughan [2009-02-23 23:11:46] 779*2^622296-1 is not prime. Res64: D455FEB3B58FFB8B Time : 5173.0 sec. user=vaughan [2009-02-23 23:12:15] 791*2^622230-1 is not prime. Res64: 8056C980F638CC5C Time : 33749.0 sec. user=vaughan [2009-02-23 23:12:41] 649*2^622297-1 is not prime. Res64: C91A6659F02C4650 Time : 5135.0 sec. user=vaughan [2009-02-23 23:17:47] 609*2^622232-1 is not prime. Res64: FFDFBDC35EF702B5 Time : 33752.0 sec. user=vaughan [2009-02-23 23:20:06] 651*2^622297-1 is not prime. Res64: 31FF9FE6E7E6BA08 Time : 5199.0 sec. user=tnerual [2009-02-23 23:21:47] 733*2^622307-1 is not prime. Res64: 464420233E03D5D8 Time : 1322.0 sec. user=vaughan [2009-02-23 23:21:50] 729*2^622297-1 is not prime. Res64: 586C6A2AC14DE0B7 Time : 5275.0 sec. user=vaughan [2009-02-23 23:22:08] 623*2^622298-1 is not prime. Res64: 5362833E58373CCA Time : 5200.0 sec. user=vaughan [2009-02-23 23:23:16] 693*2^622232-1 is not prime. Res64: 8A7A7F3D869359E4 Time : 33745.0 sec. user=vaughan [2009-02-23 23:24:20] 735*2^622308-1 is not prime. Res64: 906F2914A241C6F2 Time : 1352.0 sec. user=vaughan [2009-02-23 23:28:48] 657*2^622233-1 is not prime. Res64: B41FD04939445B26 Time : 33753.0 sec. user=vaughan [2009-02-23 23:29:41] 641*2^622298-1 is not prime. Res64: BF0C861059232E3E Time : 5272.0 sec. user=vaughan [2009-02-23 23:31:43] 755*2^622298-1 is not prime. Res64: 6F7ED46432155700 Time : 5271.0 sec. user=vaughan [2009-02-23 23:32:05] 753*2^622298-1 is not prime. Res64: 4CE0890E57C73F99 Time : 5388.0 sec. user=vaughan [2009-02-23 23:34:14] 791*2^622234-1 is not prime. Res64: 3C481C1BC97E90A4 Time : 33750.0 sec. user=vaughan [2009-02-23 23:35:44] 639*2^622287-1 is not prime. Res64: 0335F04035831978 Time : 10655.0 sec. user=vaughan [2009-02-23 23:39:22] 773*2^622298-1 is not prime. Res64: 476D02C9C98D8353 Time : 5350.0 sec. user=vaughan [2009-02-23 23:39:46] 685*2^622235-1 is not prime. Res64: B9CACE9BE1CC3441 Time : 33753.0 sec. user=vaughan [2009-02-23 23:41:18] 795*2^622299-1 is not prime. Res64: CD513DF37EDA675B Time : 5345.0 sec. user=vaughan [2009-02-23 23:42:33] 619*2^622299-1 is not prime. Res64: E71AEF10C8FDDE10 Time : 5516.0 sec. user=tnerual [2009-02-23 23:43:53] 705*2^622311-1 is not prime. Res64: 9936CD56E3572873 Time : 1326.0 sec. user=vaughan [2009-02-23 23:45:17] 737*2^622236-1 is not prime. Res64: 0FAF170E303DD2E4 Time : 33755.0 sec. user=vaughan [2009-02-23 23:46:51] 695*2^622312-1 is not prime. Res64: 17035C760E477711 Time : 1351.0 sec. user=vaughan [2009-02-23 23:48:56] 619*2^622301-1 is not prime. Res64: B7D1960B2983C035 Time : 5422.0 sec. user=vaughan [2009-02-23 23:50:52] 795*2^622301-1 is not prime. Res64: ECC62A0206DBAF68 Time : 5417.0 sec. user=vaughan [2009-02-23 23:50:53] 717*2^622237-1 is not prime. Res64: 21305E3D0B105DAB Time : 33761.0 sec. user=vaughan [2009-02-23 23:52:31] 775*2^622301-1 is not prime. Res64: CC106010427BB664 Time : 5611.0 sec. user=vaughan [2009-02-23 23:56:24] 617*2^622238-1 is not prime. Res64: 854B812CB443CBB0 Time : 33762.0 sec. user=vaughan [2009-02-23 23:58:31] 705*2^622302-1 is not prime. Res64: C8591DA045C49097 Time : 5493.0 sec.