user=vaughan [2009-08-09 00:00:27] 717*2^709110-1 is not prime. Res64: 7C94C364B84B9D93 Time : 551.0 sec. user=vaughan [2009-08-09 00:00:49] 705*2^709108-1 is not prime. Res64: AECD9A7AD6653BD2 Time : 691.0 sec. user=vaughan [2009-08-09 00:02:38] 635*2^709110-1 is not prime. Res64: 785CA9DF89E2E15B Time : 687.0 sec. user=vaughan [2009-08-09 00:05:02] 795*2^709109-1 is not prime. Res64: 6B771F9C5942B619 Time : 862.0 sec. user=vaughan [2009-08-09 00:05:25] 797*2^709110-1 is not prime. Res64: FBCFBFEC19077BB5 Time : 572.0 sec. user=vaughan [2009-08-09 00:05:36] 699*2^709109-1 is not prime. Res64: 7964D03CD0DD4369 Time : 915.0 sec. user=vaughan [2009-08-09 00:06:12] 773*2^709110-1 is not prime. Res64: 33BC2642F6326E3D Time : 881.0 sec. user=vaughan [2009-08-09 00:06:33] 777*2^709110-1 is not prime. Res64: 424BC7A7C7FAB6F6 Time : 712.0 sec. user=vaughan [2009-08-09 00:07:16] 645*2^709111-1 is not prime. Res64: 3C67D2473CA525C7 Time : 573.0 sec. user=vaughan [2009-08-09 00:08:25] 657*2^709109-1 is not prime. Res64: 77CE9AFCB5B64C57 Time : 1111.0 sec. user=vaughan [2009-08-09 00:08:59] 663*2^709111-1 is not prime. Res64: 21E866A9416B1C49 Time : 572.0 sec. user=vaughan [2009-08-09 00:09:38] 735*2^709111-1 is not prime. Res64: 76DF9B83B9852936 Time : 551.0 sec. user=vaughan [2009-08-09 00:09:57] 649*2^709111-1 is not prime. Res64: CB52D26B9E325DC6 Time : 703.0 sec. user=vaughan [2009-08-09 00:12:19] 771*2^709111-1 is not prime. Res64: FB25645E41D776ED Time : 690.0 sec. user=vaughan [2009-08-09 00:14:06] 617*2^709112-1 is not prime. Res64: EC36CF2B70AC21BF Time : 688.0 sec. user=vaughan [2009-08-09 00:14:56] 665*2^709112-1 is not prime. Res64: 4DE27C230E336DDD Time : 571.0 sec. user=vaughan [2009-08-09 00:16:44] 699*2^709113-1 is not prime. Res64: A1095CB0E95B590E Time : 568.0 sec. user=vaughan [2009-08-09 00:18:22] 649*2^709113-1 is not prime. Res64: A9A54AA84A3D7AA6 Time : 709.0 sec. user=vaughan [2009-08-09 00:18:30] 605*2^709114-1 is not prime. Res64: 42A0D024F76BC0E7 Time : 571.0 sec. user=vaughan [2009-08-09 00:18:48] 645*2^709114-1 is not prime. Res64: BF3CFE50FED952AE Time : 550.0 sec. user=vaughan [2009-08-09 00:19:17] 645*2^709112-1 is not prime. Res64: 32CB9492292CA4DD Time : 855.0 sec. user=vaughan [2009-08-09 00:19:43] 719*2^709112-1 is not prime. Res64: AF2BA5A034A7DCCA Time : 847.0 sec. user=vaughan [2009-08-09 00:20:02] 755*2^709112-1 is not prime. Res64: 754E099E6C4D215A Time : 830.0 sec. user=vaughan [2009-08-09 00:21:36] 701*2^709114-1 is not prime. Res64: 1BF96AB04157CB1D Time : 699.0 sec. user=vaughan [2009-08-09 00:23:46] 601*2^709115-1 is not prime. Res64: D945D2DBD7AB75BB Time : 688.0 sec. user=vaughan [2009-08-09 00:24:25] 693*2^709115-1 is not prime. Res64: 0F9CF76B9CEEA23A Time : 569.0 sec. user=vaughan [2009-08-09 00:25:32] 685*2^709115-1 is not prime. Res64: 5BB5D84ADA6F9069 Time : 686.0 sec. user=vaughan [2009-08-09 00:26:14] 715*2^709115-1 is not prime. Res64: 1C2176E5FADF07A2 Time : 570.0 sec. user=vaughan [2009-08-09 00:26:15] 705*2^709113-1 is not prime. Res64: DB7589C463B4DD07 Time : 1070.0 sec. user=vaughan [2009-08-09 00:27:57] 639*2^709116-1 is not prime. Res64: C1F6B9D18A7FB9B7 Time : 549.0 sec. user=vaughan [2009-08-09 00:27:59] 623*2^709116-1 is not prime. Res64: 59A9C530A080A60B Time : 569.0 sec. user=tnerual [2009-08-09 00:30:10] 715*2^709111-1 is not prime. Res64: 8BD2B21616ABDD2E Time : 1821.0 sec. user=vaughan [2009-08-09 00:30:11] 775*2^709115-1 is not prime. Res64: EB9E11D2912C13E4 Time : 709.0 sec. user=vaughan [2009-08-09 00:32:33] 675*2^709116-1 is not prime. Res64: 277CEC0D08657FFE Time : 796.0 sec. user=vaughan [2009-08-09 00:32:57] 689*2^709116-1 is not prime. Res64: 6C1B7877EB1A3A91 Time : 794.0 sec. user=vaughan [2009-08-09 00:33:14] 705*2^709116-1 is not prime. Res64: D4D25E3A07A11486 Time : 698.0 sec. user=vaughan [2009-08-09 00:33:23] 693*2^709116-1 is not prime. Res64: ED5376E65182638D Time : 802.0 sec. user=vaughan [2009-08-09 00:33:59] 719*2^709116-1 is not prime. Res64: 947C8E15123AB028 Time : 575.0 sec. user=vaughan [2009-08-09 00:35:14] 707*2^709116-1 is not prime. Res64: BA6052102DC6E946 Time : 688.0 sec. user=vaughan [2009-08-09 00:35:51] 777*2^709116-1 is not prime. Res64: C632E8C76E5326EE Time : 577.0 sec. user=vaughan [2009-08-09 00:36:58] 737*2^709116-1 is not prime. Res64: BCA343D16009D829 Time : 686.0 sec. user=vaughan [2009-08-09 00:37:07] 727*2^709117-1 is not prime. Res64: AFCB1AFB54BFC241 Time : 550.0 sec. user=vaughan [2009-08-09 00:37:31] 651*2^709118-1 is not prime. Res64: 8F28BFEF558A6031 Time : 572.0 sec. user=vaughan [2009-08-09 00:42:00] 797*2^709118-1 is not prime. Res64: 0D1BAF1FFB90E3ED Time : 710.0 sec. user=vaughan [2009-08-09 00:43:36] 645*2^709121-1 is not prime. Res64: 9BF52A2D3CA6F235 Time : 578.0 sec. user=vaughan [2009-08-09 00:44:51] 735*2^709120-1 is not prime. Res64: 0F397202FE10AF47 Time : 697.0 sec. user=vaughan [2009-08-09 00:44:57] 745*2^709119-1 is not prime. Res64: E49C8C797D77A086 Time : 744.0 sec. user=vaughan [2009-08-09 00:45:26] 735*2^709121-1 is not prime. Res64: 16FC16FBD27051F7 Time : 575.0 sec. user=vaughan [2009-08-09 00:46:17] 781*2^709121-1 is not prime. Res64: 48C1ED98DD1416F6 Time : 550.0 sec. user=vaughan [2009-08-09 00:46:41] 705*2^709121-1 is not prime. Res64: 70F8FD7F52539197 Time : 688.0 sec. user=vaughan [2009-08-09 00:47:04] 647*2^709122-1 is not prime. Res64: B066177866805972 Time : 573.0 sec. user=vaughan [2009-08-09 00:48:23] 775*2^709121-1 is not prime. Res64: 7661A1AE3E319916 Time : 686.0 sec. user=vaughan [2009-08-09 00:48:38] 785*2^709120-1 is not prime. Res64: 1986D5EBE0259733 Time : 916.0 sec. user=vaughan [2009-08-09 00:48:49] 677*2^709120-1 is not prime. Res64: BABFB98E043615B8 Time : 952.0 sec. user=vaughan [2009-08-09 00:49:41] 645*2^709117-1 is not prime. Res64: 71069090DBEF2864 Time : 1406.0 sec. user=vaughan [2009-08-09 00:53:07] 713*2^709122-1 is not prime. Res64: 5636844875EA386F Time : 572.0 sec. user=vaughan [2009-08-09 00:53:48] 695*2^709122-1 is not prime. Res64: FC3A0D5DF56FAD8D Time : 708.0 sec. user=vaughan [2009-08-09 00:54:54] 797*2^709122-1 is not prime. Res64: 8183A404BE987B13 Time : 568.0 sec. user=vaughan [2009-08-09 00:55:24] 619*2^709123-1 is not prime. Res64: AA58E4982420A2C3 Time : 547.0 sec. user=vaughan [2009-08-09 00:56:30] 741*2^709122-1 is not prime. Res64: 80BED43516799B9C Time : 699.0 sec. user=vaughan [2009-08-09 00:56:36] 693*2^709123-1 is not prime. Res64: 369270CAE4610720 Time : 572.0 sec. user=vaughan [2009-08-09 00:58:07] 777*2^709122-1 is not prime. Res64: 1D346D3FF7C0D70C Time : 790.0 sec. user=vaughan [2009-08-09 00:58:09] 649*2^709123-1 is not prime. Res64: 03E36CC9F87F5653 Time : 688.0 sec. user=vaughan [2009-08-09 00:59:49] 677*2^709124-1 is not prime. Res64: E95E45FBCF297A4A Time : 686.0 sec. user=tnerual [2009-08-09 01:00:31] 665*2^709118-1 is not prime. Res64: DB4A7AD43264D176 Time : 1821.0 sec. user=vaughan [2009-08-09 01:02:37] 741*2^709125-1 is not prime. Res64: 14491659D9B122C8 Time : 570.0 sec. user=vaughan [2009-08-09 01:04:11] 679*2^709125-1 is not prime. Res64: A4105442C7EBB0C3 Time : 933.0 sec. user=vaughan [2009-08-09 01:04:23] 677*2^709126-1 is not prime. Res64: 695729B8761A8923 Time : 569.0 sec. user=vaughan [2009-08-09 01:04:32] 723*2^709126-1 is not prime. Res64: 3E6D0C5D36F3C78D Time : 548.0 sec. user=vaughan [2009-08-09 01:05:06] 691*2^709125-1 is not prime. Res64: 09994AFAA915594F Time : 977.0 sec. user=vaughan [2009-08-09 01:05:37] 617*2^709126-1 is not prime. Res64: 018A1BEA798E4FA2 Time : 709.0 sec. user=vaughan [2009-08-09 01:06:05] 777*2^709126-1 is not prime. Res64: 811F5D124BE2253C Time : 569.0 sec. user=vaughan [2009-08-09 01:08:08] 765*2^709126-1 is not prime. Res64: B6A1AD646263F377 Time : 698.0 sec. user=vaughan [2009-08-09 01:09:30] 709*2^709125-1 is not prime. Res64: 9080D0228923305A Time : 1189.0 sec. user=vaughan [2009-08-09 01:09:36] 645*2^709127-1 is not prime. Res64: 186E3C36AD1B8C9B Time : 687.0 sec. user=vaughan [2009-08-09 01:11:15] 663*2^709127-1 is not prime. Res64: B2B3E806A071712B Time : 687.0 sec. user=vaughan [2009-08-09 01:11:36] 615*2^709127-1 is not prime. Res64: 29739CE8CE9CA0C3 Time : 809.0 sec. user=vaughan [2009-08-09 01:12:05] 775*2^709127-1 is not prime. Res64: 07F5856118F7CF26 Time : 568.0 sec. user=vaughan [2009-08-09 01:13:40] 795*2^709128-1 is not prime. Res64: E3552065171AA255 Time : 548.0 sec. user=vaughan [2009-08-09 01:14:03] 777*2^709128-1 is not prime. Res64: 3961707E4CBA2F66 Time : 580.0 sec. user=vaughan [2009-08-09 01:15:51] 765*2^709129-1 is not prime. Res64: 7FA3874CFB5E0DA8 Time : 586.0 sec. user=vaughan [2009-08-09 01:17:27] 687*2^709129-1 is not prime. Res64: 44DA71FA26FA347C Time : 710.0 sec. user=vaughan [2009-08-09 01:18:27] 799*2^709127-1 is not prime. Res64: 6A4B0545D7533705 Time : 856.0 sec. user=vaughan [2009-08-09 01:19:40] 619*2^709129-1 is not prime. Res64: AC14D8F08B41E026 Time : 874.0 sec. user=vaughan [2009-08-09 01:19:45] 615*2^709130-1 is not prime. Res64: 11236A1AE41C558F Time : 698.0 sec. user=vaughan [2009-08-09 01:21:04] 773*2^709130-1 is not prime. Res64: 7895C4322AF5BFF0 Time : 688.0 sec. user=vaughan [2009-08-09 01:22:25] 669*2^709131-1 is not prime. Res64: 9DE702F322AE0120 Time : 620.0 sec. user=vaughan [2009-08-09 01:22:41] 797*2^709130-1 is not prime. Res64: 5F82744419148416 Time : 686.0 sec. user=vaughan [2009-08-09 01:23:24] 675*2^709131-1 is not prime. Res64: 0C90BB83D6193C5C Time : 584.0 sec. user=vaughan [2009-08-09 01:24:21] 739*2^709131-1 is not prime. Res64: B0E391963238C925 Time : 618.0 sec. user=vaughan [2009-08-09 01:25:08] 625*2^709131-1 is not prime. Res64: F4912CB17C157392 Time : 812.0 sec. user=vaughan [2009-08-09 01:26:10] 603*2^709132-1 is not prime. Res64: F23879395AFB6624 Time : 619.0 sec. user=vaughan [2009-08-09 01:28:55] 633*2^709130-1 is not prime. Res64: 392864261D0E2DC4 Time : 1165.0 sec. user=vaughan [2009-08-09 01:29:17] 693*2^709132-1 is not prime. Res64: 84320DA940A0423D Time : 711.0 sec. user=tnerual [2009-08-09 01:30:51] 735*2^709127-1 is not prime. Res64: 9EA6AC154B3200F2 Time : 1820.0 sec. user=vaughan [2009-08-09 01:31:23] 607*2^709133-1 is not prime. Res64: 8581999B5BDA6DBE Time : 698.0 sec. user=vaughan [2009-08-09 01:31:45] 695*2^709132-1 is not prime. Res64: 59475D64051FEC42 Time : 798.0 sec. user=vaughan [2009-08-09 01:32:33] 685*2^709133-1 is not prime. Res64: 9C4F918965F80D90 Time : 689.0 sec. user=vaughan [2009-08-09 01:32:45] 699*2^709133-1 is not prime. Res64: E1B3DD0450160FAB Time : 620.0 sec. user=vaughan [2009-08-09 01:32:57] 789*2^709133-1 is not prime. Res64: 5B3EA0B4B4CB523E Time : 573.0 sec. user=vaughan [2009-08-09 01:32:57] 797*2^709132-1 is not prime. Res64: 33C2F968FC3B3250 Time : 797.0 sec. user=vaughan [2009-08-09 01:34:07] 781*2^709133-1 is not prime. Res64: 3C404360A97781C7 Time : 687.0 sec. user=vaughan [2009-08-09 01:34:39] 671*2^709134-1 is not prime. Res64: 15DCA8D60F0F2C25 Time : 619.0 sec. user=vaughan [2009-08-09 01:36:39] 717*2^709134-1 is not prime. Res64: CBE6FEBD3B361034 Time : 629.0 sec. user=vaughan [2009-08-09 01:37:35] 681*2^709134-1 is not prime. Res64: A254039D6E526147 Time : 747.0 sec. user=vaughan [2009-08-09 01:41:05] 731*2^709134-1 is not prime. Res64: 9EFF48F6A863889A Time : 708.0 sec. user=vaughan [2009-08-09 01:42:30] 615*2^709136-1 is not prime. Res64: 59F6A3926ADC705C Time : 573.0 sec. user=vaughan [2009-08-09 01:43:01] 791*2^709134-1 is not prime. Res64: 055C5F685554C4FD Time : 698.0 sec. user=vaughan [2009-08-09 01:43:04] 709*2^709135-1 is not prime. Res64: F41DA6CD707F668B Time : 619.0 sec. user=vaughan [2009-08-09 01:44:00] 693*2^709135-1 is not prime. Res64: 15DA3534AD276605 Time : 688.0 sec. user=vaughan [2009-08-09 01:44:55] 785*2^709136-1 is not prime. Res64: 07C2A7AE87778E3A Time : 616.0 sec. user=vaughan [2009-08-09 01:45:03] 685*2^709135-1 is not prime. Res64: 0CB4FE2A74CF5607 Time : 798.0 sec. user=vaughan [2009-08-09 01:45:32] 755*2^709136-1 is not prime. Res64: DA36CABC31260519 Time : 685.0 sec. user=vaughan [2009-08-09 01:46:15] 717*2^709136-1 is not prime. Res64: 80CA9564F367976F Time : 798.0 sec. user=vaughan [2009-08-09 01:46:52] 635*2^709138-1 is not prime. Res64: B06BAC623FF4455F Time : 613.0 sec. user=vaughan [2009-08-09 01:48:57] 725*2^709134-1 is not prime. Res64: 54A92DAC9F0D4EA4 Time : 1202.0 sec. user=vaughan [2009-08-09 01:51:49] 677*2^709138-1 is not prime. Res64: 372575217C04EEBC Time : 559.0 sec. user=vaughan [2009-08-09 01:51:52] 665*2^709138-1 is not prime. Res64: 2A4754731DBD1DE1 Time : 857.0 sec. user=vaughan [2009-08-09 01:52:50] 609*2^709139-1 is not prime. Res64: 1144D6C4F5575478 Time : 586.0 sec. user=vaughan [2009-08-09 01:52:55] 671*2^709138-1 is not prime. Res64: A95C3520FA290790 Time : 710.0 sec. user=vaughan [2009-08-09 01:54:38] 675*2^709139-1 is not prime. Res64: FE1623C8F2DAF27B Time : 583.0 sec. user=vaughan [2009-08-09 01:54:39] 791*2^709138-1 is not prime. Res64: 2583F8F1C04437C3 Time : 698.0 sec. user=vaughan [2009-08-09 01:55:28] 645*2^709139-1 is not prime. Res64: 8249A2A2780A6A70 Time : 688.0 sec. user=vaughan [2009-08-09 01:56:46] 723*2^709140-1 is not prime. Res64: 6D983469644BE63A Time : 594.0 sec. user=vaughan [2009-08-09 01:57:00] 627*2^709140-1 is not prime. Res64: 93BC19B7984EC3B5 Time : 688.0 sec. user=vaughan [2009-08-09 01:58:21] 685*2^709139-1 is not prime. Res64: BEF399F958F0E382 Time : 798.0 sec. user=vaughan [2009-08-09 01:59:32] 669*2^709140-1 is not prime. Res64: 17A476474CD4539A Time : 797.0 sec. user=tnerual [2009-08-09 02:01:11] 747*2^709134-1 is not prime. Res64: 6016E69EF4517AE9 Time : 1820.0 sec. user=vaughan [2009-08-09 02:01:16] 777*2^709140-1 is not prime. Res64: 70857F0A2674491D Time : 567.0 sec. user=vaughan [2009-08-09 02:03:00] 639*2^709141-1 is not prime. Res64: 235F77B4EA6246C2 Time : 610.0 sec. user=vaughan [2009-08-09 02:04:43] 675*2^709141-1 is not prime. Res64: 8F86E495DB3A918B Time : 709.0 sec. user=vaughan [2009-08-09 02:04:59] 679*2^709141-1 is not prime. Res64: 9B80302D29275F95 Time : 621.0 sec. user=vaughan [2009-08-09 02:05:20] 619*2^709141-1 is not prime. Res64: 4B68CADD19DA432D Time : 809.0 sec. user=vaughan [2009-08-09 02:06:16] 717*2^709141-1 is not prime. Res64: 0F619045D58E2B32 Time : 698.0 sec. user=vaughan [2009-08-09 02:06:55] 727*2^709141-1 is not prime. Res64: 2FCA0C022BD4B10F Time : 688.0 sec. user=vaughan [2009-08-09 02:07:01] 799*2^709141-1 is not prime. Res64: 3E00DDB62536F48B Time : 615.0 sec. user=vaughan [2009-08-09 02:08:26] 671*2^709142-1 is not prime. Res64: D08F07698128E27A Time : 687.0 sec. user=vaughan [2009-08-09 02:09:26] 737*2^709140-1 is not prime. Res64: 03249850F39F5018 Time : 1229.0 sec. user=vaughan [2009-08-09 02:10:45] 795*2^709143-1 is not prime. Res64: DBD0E6F3497212DE Time : 569.0 sec. user=vaughan [2009-08-09 02:11:39] 705*2^709142-1 is not prime. Res64: 921BB7B54A57256A Time : 798.0 sec. user=vaughan [2009-08-09 02:12:50] 741*2^709143-1 is not prime. Res64: BEF5DB9F0AEE95C0 Time : 798.0 sec. user=vaughan [2009-08-09 02:13:17] 619*2^709145-1 is not prime. Res64: DCDEB270FE63B2BB Time : 618.0 sec. user=vaughan [2009-08-09 02:15:17] 699*2^709145-1 is not prime. Res64: E6B4DB0974B91B0A Time : 618.0 sec. user=vaughan [2009-08-09 02:16:33] 679*2^709145-1 is not prime. Res64: B9844D50C79FAA82 Time : 710.0 sec. user=vaughan [2009-08-09 02:17:13] 635*2^709146-1 is not prime. Res64: ED8DD10D5C270607 Time : 612.0 sec. user=vaughan [2009-08-09 02:17:54] 741*2^709145-1 is not prime. Res64: 12F79355AC0D90EC Time : 698.0 sec. user=vaughan [2009-08-09 02:18:15] 735*2^709145-1 is not prime. Res64: BECCB9FC8DA91912 Time : 776.0 sec. user=vaughan [2009-08-09 02:18:24] 799*2^709145-1 is not prime. Res64: 99B7D4EBBE98A4F6 Time : 689.0 sec. user=vaughan [2009-08-09 02:19:52] 695*2^709146-1 is not prime. Res64: 766B7C3FB98C84CF Time : 686.0 sec. user=vaughan [2009-08-09 02:20:09] 741*2^709146-1 is not prime. Res64: CD2CC040D58F66CB Time : 564.0 sec. user=vaughan [2009-08-09 02:23:21] 629*2^709148-1 is not prime. Res64: BF232C22B9E76951 Time : 604.0 sec. user=vaughan [2009-08-09 02:24:57] 619*2^709147-1 is not prime. Res64: 099025F4EDE00EF3 Time : 798.0 sec. user=vaughan [2009-08-09 02:25:21] 669*2^709148-1 is not prime. Res64: ACE74ADCE3E221E9 Time : 604.0 sec. user=vaughan [2009-08-09 02:26:08] 703*2^709147-1 is not prime. Res64: 54EC513937CCCAE8 Time : 798.0 sec. user=vaughan [2009-08-09 02:27:15] 753*2^709148-1 is not prime. Res64: B5D13999D738C87A Time : 602.0 sec. user=vaughan [2009-08-09 02:28:21] 677*2^709148-1 is not prime. Res64: 5D08A235ABD363F2 Time : 708.0 sec. user=vaughan [2009-08-09 02:29:33] 797*2^709148-1 is not prime. Res64: 9B27F58B41968855 Time : 699.0 sec. user=vaughan [2009-08-09 02:29:33] 657*2^709150-1 is not prime. Res64: BEE443306F66B6FB Time : 565.0 sec. user=vaughan [2009-08-09 02:29:52] 711*2^709149-1 is not prime. Res64: 51616607A00E0966 Time : 689.0 sec. user=vaughan [2009-08-09 02:31:01] 625*2^709149-1 is not prime. Res64: E97CBA3B3A5C009B Time : 767.0 sec. user=vaughan [2009-08-09 02:31:18] 647*2^709150-1 is not prime. Res64: 6E949A0EE84CB580 Time : 686.0 sec. user=vaughan [2009-08-09 02:31:21] 713*2^709146-1 is not prime. Res64: F0219040605BA960 Time : 1315.0 sec. user=tnerual [2009-08-09 02:31:41] 751*2^709143-1 is not prime. Res64: 33079CADC23B04FD Time : 1830.0 sec. user=vaughan [2009-08-09 02:32:58] 681*2^709150-1 is not prime. Res64: 88D1FBC950018514 Time : 577.0 sec. user=vaughan [2009-08-09 02:34:51] 773*2^709150-1 is not prime. Res64: 95732EFD8FBF5739 Time : 570.0 sec. user=vaughan [2009-08-09 02:36:40] 735*2^709151-1 is not prime. Res64: 597F2276F2476F2F Time : 566.0 sec. user=vaughan [2009-08-09 02:38:36] 623*2^709152-1 is not prime. Res64: 416B0774A4EF931F Time : 543.0 sec. user=vaughan [2009-08-09 02:40:06] 707*2^709150-1 is not prime. Res64: 2CCCD2A4C1A7959D Time : 909.0 sec. user=vaughan [2009-08-09 02:40:10] 745*2^709151-1 is not prime. Res64: DDFE9968FADEAB1A Time : 709.0 sec. user=vaughan [2009-08-09 02:41:10] 615*2^709152-1 is not prime. Res64: CDB8FF806ABFCBF4 Time : 698.0 sec. user=vaughan [2009-08-09 02:41:21] 627*2^709152-1 is not prime. Res64: F78DF486C6EDD4D2 Time : 689.0 sec. user=vaughan [2009-08-09 02:42:18] 705*2^709151-1 is not prime. Res64: 5D3016CCCE022F65 Time : 970.0 sec. user=vaughan [2009-08-09 02:42:36] 607*2^709153-1 is not prime. Res64: 43D38C64A9BC0933 Time : 578.0 sec. user=vaughan [2009-08-09 02:42:44] 723*2^709152-1 is prime! Time : 686.0 sec. user=vaughan [2009-08-09 02:44:29] 609*2^709153-1 is not prime. Res64: BEB7FF1A67914DBB Time : 578.0 sec. user=vaughan [2009-08-09 02:44:44] 653*2^709152-1 is not prime. Res64: 44FCA7B466D9B683 Time : 824.0 sec. user=vaughan [2009-08-09 02:46:20] 637*2^709153-1 is not prime. Res64: 138FD2A189FA7569 Time : 580.0 sec. user=vaughan [2009-08-09 02:47:48] 741*2^709153-1 is not prime. Res64: A66F52FC7B3D0FBE Time : 553.0 sec. user=vaughan [2009-08-09 02:51:16] 779*2^709152-1 is not prime. Res64: 8E14CFCA6101360B Time : 1195.0 sec. user=vaughan [2009-08-09 02:51:59] 687*2^709154-1 is not prime. Res64: 29062E8FDB6D4743 Time : 709.0 sec. user=vaughan [2009-08-09 02:52:07] 679*2^709155-1 is not prime. Res64: C947ED78AAD84CC4 Time : 571.0 sec. user=vaughan [2009-08-09 02:52:48] 711*2^709154-1 is not prime. Res64: 8B7DA3C78C8551E4 Time : 698.0 sec. user=vaughan [2009-08-09 02:52:49] 773*2^709154-1 is not prime. Res64: 9D7073B1D3212F0B Time : 689.0 sec. user=vaughan [2009-08-09 02:54:01] 631*2^709157-1 is not prime. Res64: 1A4A4B6ECEEB22A0 Time : 572.0 sec. user=vaughan [2009-08-09 02:54:11] 699*2^709156-1 is not prime. Res64: 57AFCC4574095364 Time : 687.0 sec. user=vaughan [2009-08-09 02:55:48] 641*2^709154-1 is not prime. Res64: A72D649E1F0D50D5 Time : 943.0 sec. user=vaughan [2009-08-09 02:55:53] 727*2^709157-1 is not prime. Res64: 8C42A2D3DDBC95FC Time : 573.0 sec. user=vaughan [2009-08-09 02:56:56] 759*2^709157-1 is not prime. Res64: 435917DBB188A274 Time : 549.0 sec. user=vaughan [2009-08-09 02:58:43] 685*2^709157-1 is not prime. Res64: 988E93917C4A2295 Time : 839.0 sec. user=vaughan [2009-08-09 02:58:43] 643*2^709155-1 is not prime. Res64: BDFE477356904E01 Time : 985.0 sec. user=vaughan [2009-08-09 03:01:37] 671*2^709158-1 is not prime. Res64: 4D04FA4800192C95 Time : 570.0 sec. user=tnerual [2009-08-09 03:02:04] 797*2^709152-1 is not prime. Res64: C1343C4F2E95E946 Time : 1823.0 sec. user=vaughan [2009-08-09 03:03:33] 773*2^709158-1 is not prime. Res64: 2671142033804022 Time : 572.0 sec. user=vaughan [2009-08-09 03:03:49] 627*2^709158-1 is not prime. Res64: C00E0861F0401B58 Time : 711.0 sec. user=vaughan [2009-08-09 03:04:17] 755*2^709158-1 is not prime. Res64: 62DA4598F9B111ED Time : 688.0 sec. user=vaughan [2009-08-09 03:04:26] 711*2^709158-1 is not prime. Res64: E2F1A55085BAC3BF Time : 698.0 sec. user=vaughan [2009-08-09 03:05:24] 675*2^709159-1 is not prime. Res64: CCEBE40CC780BD00 Time : 571.0 sec. user=vaughan [2009-08-09 03:05:36] 615*2^709159-1 is not prime. Res64: BE79644FD824C990 Time : 686.0 sec. user=vaughan [2009-08-09 03:06:07] 771*2^709159-1 is not prime. Res64: 1A2F84CF917DCDC0 Time : 552.0 sec. user=vaughan [2009-08-09 03:10:59] 621*2^709158-1 is not prime. Res64: DCEA631FE90D6690 Time : 1183.0 sec. user=vaughan [2009-08-09 03:11:08] 789*2^709160-1 is not prime. Res64: 7E5E3595874E42BE Time : 572.0 sec. user=vaughan [2009-08-09 03:11:17] 663*2^709159-1 is not prime. Res64: 53AF07997D08DBAD Time : 929.0 sec. user=vaughan [2009-08-09 03:13:01] 675*2^709161-1 is not prime. Res64: 75331B527E16D3D9 Time : 568.0 sec. user=vaughan [2009-08-09 03:13:17] 659*2^709160-1 is not prime. Res64: 95DB2204514EF007 Time : 874.0 sec. user=vaughan [2009-08-09 03:14:54] 671*2^709162-1 is not prime. Res64: 3B958FAFB4141115 Time : 571.0 sec. user=vaughan [2009-08-09 03:15:11] 699*2^709160-1 is not prime. Res64: 7F8C0FCA9F7DBD95 Time : 988.0 sec. user=vaughan [2009-08-09 03:15:19] 731*2^709162-1 is not prime. Res64: 404E2A8508A94F7D Time : 552.0 sec. user=vaughan [2009-08-09 03:15:38] 739*2^709161-1 is not prime. Res64: 3870BAB9EC073014 Time : 709.0 sec. user=vaughan [2009-08-09 03:15:44] 777*2^709161-1 is not prime. Res64: 0454FC321024D65A Time : 687.0 sec. user=vaughan [2009-08-09 03:16:03] 623*2^709162-1 is not prime. Res64: 8786B8B81E1B4155 Time : 698.0 sec. user=vaughan [2009-08-09 03:17:02] 717*2^709162-1 is not prime. Res64: 1F2E755BE94A4926 Time : 686.0 sec. user=vaughan [2009-08-09 03:20:44] 669*2^709163-1 is not prime. Res64: DFD8A2E3728E451D Time : 576.0 sec. user=vaughan [2009-08-09 03:22:36] 741*2^709163-1 is not prime. Res64: 17E18671F9694D5F Time : 575.0 sec. user=vaughan [2009-08-09 03:24:30] 629*2^709164-1 is not prime. Res64: D5CFE4DB3EC56D3C Time : 576.0 sec. user=vaughan [2009-08-09 03:24:30] 707*2^709164-1 is not prime. Res64: A19D34670E0FF40E Time : 552.0 sec. user=vaughan [2009-08-09 03:25:56] 759*2^709163-1 is not prime. Res64: 34C382B010FECB6B Time : 759.0 sec. user=vaughan [2009-08-09 03:27:08] 679*2^709163-1 is not prime. Res64: 1B54FF42DD79FB94 Time : 951.0 sec. user=vaughan [2009-08-09 03:27:12] 771*2^709165-1 is not prime. Res64: 0870C81AA98398E9 Time : 688.0 sec. user=vaughan [2009-08-09 03:27:27] 729*2^709165-1 is not prime. Res64: 2EB2B62478FECBDB Time : 709.0 sec. user=vaughan [2009-08-09 03:27:41] 675*2^709166-1 is not prime. Res64: 03489801AE5795EE Time : 698.0 sec. user=vaughan [2009-08-09 03:28:28] 755*2^709166-1 is not prime. Res64: 63FEF629BE79E99E Time : 686.0 sec. user=vaughan [2009-08-09 03:30:17] 773*2^709166-1 is not prime. Res64: 0E8426EFA4AE50F1 Time : 573.0 sec. user=vaughan [2009-08-09 03:32:06] 621*2^709167-1 is not prime. Res64: 7CB7F16CB1B33094 Time : 571.0 sec. user=vaughan [2009-08-09 03:32:12] 663*2^709164-1 is not prime. Res64: 97DB6D938540C80D Time : 1022.0 sec. user=tnerual [2009-08-09 03:32:30] 625*2^709161-1 is not prime. Res64: E64B43C5614B33C9 Time : 1826.0 sec. user=vaughan [2009-08-09 03:32:59] 621*2^709163-1 is not prime. Res64: 7529BAF0858D60F9 Time : 1321.0 sec. user=vaughan [2009-08-09 03:33:44] 703*2^709167-1 is not prime. Res64: BD58ED8167657429 Time : 554.0 sec. user=vaughan [2009-08-09 03:34:06] 693*2^709167-1 is not prime. Res64: AD0FE8E72E2A32FF Time : 576.0 sec. user=vaughan [2009-08-09 03:38:39] 615*2^709168-1 is not prime. Res64: C4958CCF01701A50 Time : 687.0 sec. user=vaughan [2009-08-09 03:39:15] 665*2^709168-1 is not prime. Res64: 6EE7ECF15734BCD9 Time : 708.0 sec. user=vaughan [2009-08-09 03:39:19] 755*2^709168-1 is not prime. Res64: CBDEBDD7CA59A525 Time : 698.0 sec. user=vaughan [2009-08-09 03:39:51] 601*2^709169-1 is not prime. Res64: 1504A171BAA098F1 Time : 574.0 sec. user=vaughan [2009-08-09 03:39:54] 777*2^709168-1 is not prime. Res64: 97EF1D1F9FDC1080 Time : 686.0 sec. user=vaughan [2009-08-09 03:40:08] 765*2^709167-1 is not prime. Res64: F20336473E61DC68 Time : 852.0 sec. user=vaughan [2009-08-09 03:41:43] 631*2^709169-1 is not prime. Res64: 9E36574D62290A74 Time : 577.0 sec. user=vaughan [2009-08-09 03:42:57] 603*2^709168-1 is not prime. Res64: 37EB44A08EF2C742 Time : 949.0 sec. user=vaughan [2009-08-09 03:42:58] 791*2^709170-1 is not prime. Res64: 09E9AB42CA63449B Time : 554.0 sec. user=vaughan [2009-08-09 03:43:38] 797*2^709170-1 is not prime. Res64: B995E80F034359DB Time : 572.0 sec. user=vaughan [2009-08-09 03:47:24] 691*2^709169-1 is not prime. Res64: 6AC1FAB8CF817AC3 Time : 912.0 sec. user=vaughan [2009-08-09 03:49:22] 669*2^709172-1 is not prime. Res64: 6DC97D2E07C38C18 Time : 571.0 sec. user=vaughan [2009-08-09 03:50:07] 735*2^709171-1 is not prime. Res64: 58EE33006DED2E00 Time : 688.0 sec. user=vaughan [2009-08-09 03:50:51] 653*2^709170-1 is not prime. Res64: 0D704195FB70F736 Time : 1072.0 sec. user=vaughan [2009-08-09 03:50:56] 629*2^709172-1 is not prime. Res64: DC4233C79407C903 Time : 698.0 sec. user=vaughan [2009-08-09 03:51:04] 623*2^709172-1 is not prime. Res64: 58D33F06F5077FCF Time : 709.0 sec. user=vaughan [2009-08-09 03:51:12] 609*2^709173-1 is not prime. Res64: DDD1C116B692E371 Time : 569.0 sec. user=vaughan [2009-08-09 03:51:21] 677*2^709172-1 is not prime. Res64: 97F5390E6056CFA1 Time : 687.0 sec. user=vaughan [2009-08-09 03:52:06] 691*2^709173-1 is not prime. Res64: 4CC36B4B231036C4 Time : 548.0 sec. user=vaughan [2009-08-09 03:53:05] 727*2^709173-1 is not prime. Res64: BE6335B4CCAA0EE5 Time : 567.0 sec. user=vaughan [2009-08-09 03:54:51] 689*2^709172-1 is not prime. Res64: DFED68677687A9E6 Time : 883.0 sec. user=vaughan [2009-08-09 03:56:16] 639*2^709173-1 is not prime. Res64: 6B5C527E95F0C21A Time : 799.0 sec. user=vaughan [2009-08-09 03:58:50] 635*2^709174-1 is not prime. Res64: 25ECA0D8FF0317B3 Time : 569.0 sec. user=vaughan [2009-08-09 04:00:41] 673*2^709175-1 is not prime. Res64: 51B08739F1A0BA87 Time : 569.0 sec. user=vaughan [2009-08-09 04:00:47] 769*2^709173-1 is not prime. Res64: EE8CE6EC3E650EE9 Time : 803.0 sec. user=vaughan [2009-08-09 04:01:13] 759*2^709175-1 is not prime. Res64: A68D3F301C138F73 Time : 547.0 sec. user=vaughan [2009-08-09 04:01:34] 737*2^709174-1 is not prime. Res64: 869D7172C6544F3E Time : 687.0 sec. user=vaughan [2009-08-09 04:02:35] 783*2^709175-1 is not prime. Res64: 53CD332C06A3D868 Time : 571.0 sec. user=vaughan [2009-08-09 04:02:35] 651*2^709175-1 is not prime. Res64: C278E7A749D5FF5C Time : 699.0 sec. user=vaughan [2009-08-09 04:02:47] 675*2^709175-1 is not prime. Res64: E7FD171BA64398A2 Time : 686.0 sec. user=vaughan [2009-08-09 04:02:53] 669*2^709175-1 is not prime. Res64: 4F91B6B348B0F76F Time : 709.0 sec. user=tnerual [2009-08-09 04:02:55] 641*2^709170-1 is not prime. Res64: AA1DB9C2A4E91D23 Time : 1825.0 sec. user=vaughan [2009-08-09 04:08:20] 693*2^709176-1 is not prime. Res64: 9381A45071BDF3E3 Time : 570.0 sec. user=vaughan [2009-08-09 04:08:27] 657*2^709176-1 is not prime. Res64: 593D4080016DFF2A Time : 816.0 sec. user=vaughan [2009-08-09 04:09:35] 683*2^709176-1 is not prime. Res64: 30323C890A8D99F5 Time : 799.0 sec. user=vaughan [2009-08-09 04:10:08] 719*2^709176-1 is not prime. Res64: 109D34BE918854EC Time : 567.0 sec. user=vaughan [2009-08-09 04:10:21] 691*2^709177-1 is not prime. Res64: 4A4A1FE3FA5DE1FB Time : 548.0 sec. user=vaughan [2009-08-09 04:11:15] 755*2^709174-1 is not prime. Res64: A3389086A623E09B Time : 1224.0 sec. user=vaughan [2009-08-09 04:12:05] 617*2^709178-1 is not prime. Res64: 7DB331FC5B9498B1 Time : 570.0 sec. user=vaughan [2009-08-09 04:13:03] 717*2^709177-1 is not prime. Res64: E02D84822D53EB7E Time : 689.0 sec. user=vaughan [2009-08-09 04:14:06] 747*2^709176-1 is not prime. Res64: 917AC2A5312FE107 Time : 799.0 sec. user=vaughan [2009-08-09 04:14:13] 707*2^709178-1 is not prime. Res64: 2723681489E7BF9E Time : 698.0 sec. user=vaughan [2009-08-09 04:14:14] 713*2^709178-1 is not prime. Res64: A60619E0C962F036 Time : 687.0 sec. user=vaughan [2009-08-09 04:14:42] 639*2^709179-1 is not prime. Res64: 51629026DDEB2A8D Time : 710.0 sec. user=vaughan [2009-08-09 04:17:47] 675*2^709179-1 is not prime. Res64: 1BC24A6CBF08BE80 Time : 567.0 sec. user=vaughan [2009-08-09 04:19:27] 653*2^709180-1 is not prime. Res64: C1A40F69BBEF3B40 Time : 547.0 sec. user=vaughan [2009-08-09 04:19:36] 629*2^709180-1 is not prime. Res64: 5EA8E2F40A6C0DAA Time : 568.0 sec. user=vaughan [2009-08-09 04:21:33] 693*2^709180-1 is not prime. Res64: B5018A538BCE6719 Time : 568.0 sec. user=vaughan [2009-08-09 04:21:34] 775*2^709179-1 is not prime. Res64: 165AEB587B2CB798 Time : 787.0 sec. user=vaughan [2009-08-09 04:22:53] 789*2^709179-1 is not prime. Res64: 0BDE45AD937FFD71 Time : 798.0 sec. user=vaughan [2009-08-09 04:24:32] 735*2^709180-1 is not prime. Res64: E6E34B4C4656B1A3 Time : 689.0 sec. user=vaughan [2009-08-09 04:25:40] 631*2^709181-1 is not prime. Res64: 60B037786ACAD92A Time : 687.0 sec. user=vaughan [2009-08-09 04:25:50] 607*2^709181-1 is not prime. Res64: 32D25669D68C5EAA Time : 698.0 sec. user=vaughan [2009-08-09 04:26:31] 651*2^709181-1 is not prime. Res64: CA883DE0CC029D1E Time : 709.0 sec. user=vaughan [2009-08-09 04:27:16] 717*2^709181-1 is not prime. Res64: 9CA9C9F255325EB9 Time : 569.0 sec. user=vaughan [2009-08-09 04:27:25] 777*2^709180-1 is not prime. Res64: D4882D0995FA725E Time : 799.0 sec. user=vaughan [2009-08-09 04:28:36] 741*2^709181-1 is not prime. Res64: 484FA7D9B47449C6 Time : 549.0 sec. user=vaughan [2009-08-09 04:29:08] 789*2^709181-1 is not prime. Res64: 291B6A2E61A86A03 Time : 572.0 sec. user=vaughan [2009-08-09 04:31:02] 611*2^709182-1 is not prime. Res64: C03B557BFF7C24F9 Time : 569.0 sec. user=tnerual [2009-08-09 04:33:08] 663*2^709179-1 is not prime. Res64: 7741A9750722BB84 Time : 1813.0 sec. user=vaughan [2009-08-09 04:33:34] 687*2^709180-1 is not prime. Res64: 4BD35D928B2BB63C Time : 1339.0 sec. user=vaughan [2009-08-09 04:34:14] 705*2^709182-1 is not prime. Res64: 958C6522C0396033 Time : 760.0 sec. user=vaughan [2009-08-09 04:35:59] 791*2^709182-1 is not prime. Res64: 06107CC214B1653A Time : 688.0 sec. user=vaughan [2009-08-09 04:36:10] 741*2^709182-1 is not prime. Res64: D31538C4D3EEAC0F Time : 797.0 sec. user=vaughan [2009-08-09 04:36:45] 759*2^709184-1 is not prime. Res64: 7A3BA680E0ECDA54 Time : 570.0 sec. user=vaughan [2009-08-09 04:37:05] 609*2^709183-1 is not prime. Res64: 3EF229851EE766C1 Time : 685.0 sec. user=vaughan [2009-08-09 04:37:28] 633*2^709183-1 is not prime. Res64: EA255B31B57E56DD Time : 698.0 sec. user=vaughan [2009-08-09 04:37:44] 627*2^709185-1 is not prime. Res64: FB5F1F96733C23BD Time : 548.0 sec. user=vaughan [2009-08-09 04:38:20] 693*2^709183-1 is not prime. Res64: 9B4B24F99FDE2CD2 Time : 709.0 sec. user=vaughan [2009-08-09 04:38:36] 691*2^709185-1 is not prime. Res64: 0B88852EAF614DEC Time : 568.0 sec. user=vaughan [2009-08-09 04:40:33] 709*2^709185-1 is not prime. Res64: 5199739C8C02B3B6 Time : 571.0 sec. user=vaughan [2009-08-09 04:40:43] 607*2^709185-1 is not prime. Res64: 1BA1498486F5BCB2 Time : 798.0 sec. user=vaughan [2009-08-09 04:46:14] 703*2^709187-1 is not prime. Res64: 82A6ED641095C796 Time : 569.0 sec. user=vaughan [2009-08-09 04:46:52] 651*2^709186-1 is not prime. Res64: A8502E10412B7B62 Time : 758.0 sec. user=vaughan [2009-08-09 04:46:53] 707*2^709188-1 is not prime. Res64: EE343E758AF64BB2 Time : 549.0 sec. user=vaughan [2009-08-09 04:47:27] 765*2^709186-1 is not prime. Res64: F418FFAD59BEEF3E Time : 688.0 sec. user=vaughan [2009-08-09 04:48:07] 777*2^709188-1 is not prime. Res64: D842EB9DEC301A6D Time : 571.0 sec. user=vaughan [2009-08-09 04:48:32] 733*2^709187-1 is not prime. Res64: D5955B9D935BFCCD Time : 687.0 sec. user=vaughan [2009-08-09 04:49:06] 799*2^709187-1 is not prime. Res64: FB33CE67D91B18B8 Time : 698.0 sec. user=vaughan [2009-08-09 04:49:27] 631*2^709187-1 is not prime. Res64: 6321655C7BBA62CE Time : 797.0 sec. user=vaughan [2009-08-09 04:50:05] 769*2^709189-1 is not prime. Res64: 230D4216133FA28E Time : 572.0 sec. user=vaughan [2009-08-09 04:50:09] 773*2^709188-1 is not prime. Res64: C520949BF1C3A903 Time : 709.0 sec. user=vaughan [2009-08-09 04:54:01] 619*2^709191-1 is not prime. Res64: 65F59DC4327F902B Time : 798.0 sec. user=vaughan [2009-08-09 04:55:44] 691*2^709191-1 is not prime. Res64: C789C55AD67C8AA9 Time : 570.0 sec. user=vaughan [2009-08-09 04:56:02] 629*2^709192-1 is not prime. Res64: 9E82A51746CEF092 Time : 549.0 sec. user=vaughan [2009-08-09 04:56:07] 603*2^709186-1 is not prime. Res64: 635F64E2C48F70B2 Time : 1353.0 sec. user=vaughan [2009-08-09 04:57:38] 615*2^709193-1 is not prime. Res64: 689B1536E0E28170 Time : 571.0 sec. user=vaughan [2009-08-09 04:58:57] 639*2^709192-1 is not prime. Res64: A1F52EEAB22CB90A Time : 690.0 sec. user=vaughan [2009-08-09 04:59:03] 793*2^709191-1 is not prime. Res64: 4E253B54A6C5F3C4 Time : 731.0 sec. user=vaughan [2009-08-09 04:59:36] 745*2^709193-1 is not prime. Res64: 3B2E27DC67059B4A Time : 571.0 sec. user=vaughan [2009-08-09 04:59:58] 657*2^709193-1 is not prime. Res64: ACB98EB323AD82FA Time : 686.0 sec. user=vaughan [2009-08-09 05:00:43] 675*2^709193-1 is not prime. Res64: 8221AFEBA7D3C2CC Time : 698.0 sec. user=vaughan [2009-08-09 05:01:59] 663*2^709194-1 is not prime. Res64: AD70994E03DA7776 Time : 710.0 sec. user=vaughan [2009-08-09 05:02:44] 735*2^709193-1 is not prime. Res64: 10D1CA38970DE6CE Time : 797.0 sec. user=tnerual [2009-08-09 05:03:22] 789*2^709185-1 is not prime. Res64: 33E1B2B557D64D32 Time : 1814.0 sec. user=vaughan [2009-08-09 05:05:11] 679*2^709195-1 is not prime. Res64: 02E622D811E81557 Time : 549.0 sec. user=vaughan [2009-08-09 05:05:14] 619*2^709195-1 is not prime. Res64: 7FF75EC816F3655D Time : 570.0 sec. user=vaughan [2009-08-09 05:07:06] 741*2^709195-1 is not prime. Res64: 8CCC703C67920603 Time : 568.0 sec. user=vaughan [2009-08-09 05:07:17] 725*2^709194-1 is not prime. Res64: 7C9FCB5726EB3E10 Time : 796.0 sec. user=vaughan [2009-08-09 05:09:06] 677*2^709196-1 is not prime. Res64: B48C60F0A85DC7D9 Time : 570.0 sec. user=vaughan [2009-08-09 05:10:25] 765*2^709195-1 is not prime. Res64: FA95F5012A53ECA8 Time : 689.0 sec. user=vaughan [2009-08-09 05:10:53] 733*2^709195-1 is not prime. Res64: D60535429FEE8590 Time : 886.0 sec. user=vaughan [2009-08-09 05:11:25] 773*2^709196-1 is not prime. Res64: 22811E3B9BD66AF3 Time : 687.0 sec. user=vaughan [2009-08-09 05:12:22] 661*2^709197-1 is not prime. Res64: EC7E40E078B8F15A Time : 699.0 sec. user=vaughan [2009-08-09 05:13:48] 699*2^709197-1 is not prime. Res64: 400ADB9F1CBFAF20 Time : 710.0 sec. user=vaughan [2009-08-09 05:14:19] 609*2^709199-1 is not prime. Res64: B4A5F36FE7118E04 Time : 548.0 sec. user=vaughan [2009-08-09 05:14:41] 655*2^709199-1 is not prime. Res64: D6C8486B070B3BD8 Time : 567.0 sec. user=vaughan [2009-08-09 05:15:04] 771*2^709195-1 is not prime. Res64: 9EAFA8BE80BB55AC Time : 961.0 sec. user=vaughan [2009-08-09 05:16:00] 687*2^709198-1 is not prime. Res64: A07DDF9F3384198C Time : 796.0 sec. user=vaughan [2009-08-09 05:16:34] 661*2^709199-1 is not prime. Res64: D9DA2B9DE63E543A Time : 568.0 sec. user=vaughan [2009-08-09 05:18:35] 799*2^709199-1 is not prime. Res64: 272DB881EB11D81A Time : 569.0 sec. user=vaughan [2009-08-09 05:20:35] 789*2^709199-1 is not prime. Res64: DE2A4859D53A1B8C Time : 798.0 sec. user=vaughan [2009-08-09 05:21:53] 633*2^709200-1 is not prime. Res64: CB50F3C71949AE59 Time : 688.0 sec. user=vaughan [2009-08-09 05:22:51] 695*2^709200-1 is not prime. Res64: 72DCEFCE1FD0741E Time : 686.0 sec. user=vaughan [2009-08-09 05:23:29] 705*2^709201-1 is not prime. Res64: 246AA86265B4E92A Time : 550.0 sec. user=vaughan [2009-08-09 05:24:01] 717*2^709200-1 is not prime. Res64: 84AADDF0B973CBA7 Time : 699.0 sec. user=vaughan [2009-08-09 05:24:09] 799*2^709201-1 is not prime. Res64: 7C8E2D0FDC87CECF Time : 568.0 sec. user=vaughan [2009-08-09 05:25:37] 789*2^709200-1 is not prime. Res64: 11DF30C890094CAE Time : 709.0 sec. user=vaughan [2009-08-09 05:26:03] 671*2^709202-1 is not prime. Res64: 30CAA15023C4435E Time : 569.0 sec. user=vaughan [2009-08-09 05:28:04] 711*2^709202-1 is not prime. Res64: 05CFCAE13FBFC52C Time : 570.0 sec. user=vaughan [2009-08-09 05:28:26] 603*2^709202-1 is not prime. Res64: B1545554E07F1B2F Time : 802.0 sec. user=vaughan [2009-08-09 05:29:17] 665*2^709202-1 is not prime. Res64: 32B467ABE3C84DAD Time : 797.0 sec. user=vaughan [2009-08-09 05:30:47] 693*2^709200-1 is not prime. Res64: 71FCE6DB9D1DD2D0 Time : 1194.0 sec. user=vaughan [2009-08-09 05:32:36] 723*2^709203-1 is not prime. Res64: FFFBA7EDF3F332E5 Time : 548.0 sec. user=vaughan [2009-08-09 05:33:20] 619*2^709203-1 is not prime. Res64: CAFCFBCB0B492BBF Time : 688.0 sec. user=tnerual [2009-08-09 05:33:35] 773*2^709198-1 is not prime. Res64: FAD6A316FCE91EA7 Time : 1813.0 sec. user=vaughan [2009-08-09 05:33:39] 635*2^709204-1 is not prime. Res64: 58FCC06D00AB139E Time : 570.0 sec. user=vaughan [2009-08-09 05:33:52] 767*2^709202-1 is not prime. Res64: 2F2815D215F36FF6 Time : 797.0 sec. user=vaughan [2009-08-09 05:34:18] 703*2^709203-1 is not prime. Res64: E8F7B37178B118A1 Time : 687.0 sec. user=vaughan [2009-08-09 05:35:30] 717*2^709205-1 is not prime. Res64: F5F822830BE318F9 Time : 567.0 sec. user=vaughan [2009-08-09 05:35:38] 735*2^709203-1 is not prime. Res64: 23FBBA46AA112E37 Time : 698.0 sec. user=vaughan [2009-08-09 05:37:26] 773*2^709204-1 is not prime. Res64: 3E499477C842E557 Time : 709.0 sec. user=vaughan [2009-08-09 05:37:35] 729*2^709205-1 is not prime. Res64: 448ECF237C7F2E07 Time : 571.0 sec. user=vaughan [2009-08-09 05:41:45] 633*2^709207-1 is not prime. Res64: 099B1FFCB8B23882 Time : 549.0 sec. user=vaughan [2009-08-09 05:42:33] 783*2^709206-1 is not prime. Res64: AD5C845D85B83752 Time : 796.0 sec. user=vaughan [2009-08-09 05:43:04] 759*2^709207-1 is not prime. Res64: 88268E97E9DB0F99 Time : 565.0 sec. user=vaughan [2009-08-09 05:43:53] 723*2^709206-1 is not prime. Res64: 4664D0F68EF8A3F4 Time : 927.0 sec. user=vaughan [2009-08-09 05:44:48] 681*2^709207-1 is not prime. Res64: 480DBFC33F57D214 Time : 688.0 sec. user=vaughan [2009-08-09 05:44:59] 645*2^709208-1 is not prime. Res64: 2D51501B5485C32F Time : 569.0 sec. user=vaughan [2009-08-09 05:45:44] 635*2^709208-1 is not prime. Res64: 608EDAF5930B9239 Time : 687.0 sec. user=vaughan [2009-08-09 05:46:21] 601*2^709207-1 is not prime. Res64: DEE0B37E53EF91B1 Time : 935.0 sec. user=vaughan [2009-08-09 05:47:05] 705*2^709209-1 is not prime. Res64: BCBFDDF9E68AA2C8 Time : 570.0 sec. user=vaughan [2009-08-09 05:47:09] 633*2^709208-1 is not prime. Res64: DC2DBBE8A3972BEB Time : 797.0 sec. user=vaughan [2009-08-09 05:47:16] 669*2^709208-1 is not prime. Res64: A5BD48E7707D6715 Time : 698.0 sec. user=vaughan [2009-08-09 05:49:15] 657*2^709209-1 is not prime. Res64: D75455DD1F55CE13 Time : 709.0 sec. user=vaughan [2009-08-09 05:50:53] 701*2^709210-1 is not prime. Res64: 3DCB4E0F12D66EE7 Time : 548.0 sec. user=vaughan [2009-08-09 05:52:31] 783*2^709210-1 is not prime. Res64: 95B7193615D06A92 Time : 567.0 sec. user=vaughan [2009-08-09 05:54:30] 619*2^709211-1 is not prime. Res64: 8DB6B2B078198953 Time : 571.0 sec. user=vaughan [2009-08-09 05:55:50] 723*2^709210-1 is not prime. Res64: 7A047EEE0B44694D Time : 797.0 sec. user=vaughan [2009-08-09 05:56:15] 615*2^709211-1 is not prime. Res64: 8D85984056768523 Time : 688.0 sec. user=vaughan [2009-08-09 05:56:34] 669*2^709212-1 is not prime. Res64: 78D303D6C44D5C00 Time : 569.0 sec. user=vaughan [2009-08-09 05:57:10] 621*2^709211-1 is not prime. Res64: D67C61B9FC1D509C Time : 686.0 sec. user=vaughan [2009-08-09 05:58:54] 779*2^709212-1 is not prime. Res64: EC0D8FA7C000D0FE Time : 698.0 sec. user=vaughan [2009-08-09 05:59:28] 791*2^709210-1 is not prime. Res64: 923D2F718B218FCF Time : 935.0 sec. user=vaughan [2009-08-09 06:00:02] 727*2^709213-1 is not prime. Res64: 45D0BBC7CD4EA1C6 Time : 549.0 sec. user=vaughan [2009-08-09 06:00:25] 737*2^709212-1 is not prime. Res64: E39270A0D25428F3 Time : 796.0 sec. user=vaughan [2009-08-09 06:01:04] 687*2^709213-1 is not prime. Res64: EAAE0442D64BCFB3 Time : 709.0 sec. user=vaughan [2009-08-09 06:01:59] 635*2^709214-1 is not prime. Res64: 467292FD2EB9DD2C Time : 568.0 sec. user=tnerual [2009-08-09 06:03:49] 685*2^709207-1 is not prime. Res64: 448D1B3A940A0F53 Time : 1814.0 sec. user=vaughan [2009-08-09 06:04:01] 641*2^709214-1 is not prime. Res64: AF499E1A339052C5 Time : 571.0 sec. user=vaughan [2009-08-09 06:05:47] 663*2^709211-1 is not prime. Res64: CCCDBE16FC3A9290 Time : 1166.0 sec. user=vaughan [2009-08-09 06:06:03] 643*2^709215-1 is not prime. Res64: F340D8F28824F6B9 Time : 570.0 sec. user=vaughan [2009-08-09 06:07:43] 741*2^709214-1 is not prime. Res64: AB22848B57B92BD1 Time : 688.0 sec. user=vaughan [2009-08-09 06:08:36] 663*2^709215-1 is not prime. Res64: 29C435C24548167C Time : 687.0 sec. user=vaughan [2009-08-09 06:09:07] 705*2^709214-1 is not prime. Res64: 95E06A75158215CC Time : 797.0 sec. user=vaughan [2009-08-09 06:09:12] 685*2^709215-1 is not prime. Res64: ED79F540C49FF6CA Time : 550.0 sec. user=vaughan [2009-08-09 06:10:31] 669*2^709215-1 is not prime. Res64: 19F8DE2B88BC4AD5 Time : 698.0 sec. user=vaughan [2009-08-09 06:11:30] 741*2^709215-1 is not prime. Res64: 113DE2F34143496B Time : 571.0 sec. user=vaughan [2009-08-09 06:12:53] 709*2^709215-1 is not prime. Res64: BA7CCACC7B5C0946 Time : 709.0 sec. user=vaughan [2009-08-09 06:13:25] 675*2^709215-1 is not prime. Res64: 67C7B927EADD4BBA Time : 838.0 sec. user=vaughan [2009-08-09 06:13:30] 609*2^709216-1 is not prime. Res64: 13A536245E5520DD Time : 569.0 sec. user=vaughan [2009-08-09 06:13:42] 693*2^709215-1 is not prime. Res64: 78FF7BFAAAB7290A Time : 797.0 sec. user=vaughan [2009-08-09 06:15:33] 675*2^709217-1 is not prime. Res64: A1B8CE5720E41799 Time : 570.0 sec. user=vaughan [2009-08-09 06:18:18] 705*2^709218-1 is not prime. Res64: 4D810C8C505EB838 Time : 546.0 sec. user=vaughan [2009-08-09 06:19:10] 715*2^709217-1 is not prime. Res64: 5E25EFF9E1C62434 Time : 687.0 sec. user=vaughan [2009-08-09 06:20:03] 605*2^709218-1 is not prime. Res64: 5D12E92F645ADE2B Time : 687.0 sec. user=vaughan [2009-08-09 06:21:01] 765*2^709219-1 is not prime. Res64: 950F2F2CA25DEF6D Time : 571.0 sec. user=vaughan [2009-08-09 06:22:10] 603*2^709219-1 is not prime. Res64: A541661CC9D07544 Time : 699.0 sec. user=vaughan [2009-08-09 06:22:24] 621*2^709218-1 is not prime. Res64: A4726240255279B0 Time : 797.0 sec. user=vaughan [2009-08-09 06:22:59] 607*2^709221-1 is not prime. Res64: E9C7D43F418069F6 Time : 569.0 sec. user=vaughan [2009-08-09 06:24:42] 743*2^709220-1 is not prime. Res64: 2F9EC258C0737811 Time : 709.0 sec. user=vaughan [2009-08-09 06:25:01] 627*2^709221-1 is not prime. Res64: 39D5A6F69B7F0894 Time : 569.0 sec. user=vaughan [2009-08-09 06:25:56] 789*2^709220-1 is not prime. Res64: 506A30685E7B694B Time : 751.0 sec. user=vaughan [2009-08-09 06:25:59] 747*2^709216-1 is not prime. Res64: FB7CE0F7A51841B5 Time : 1212.0 sec. user=vaughan [2009-08-09 06:27:02] 609*2^709221-1 is not prime. Res64: 4FDB922E84A19583 Time : 800.0 sec. user=vaughan [2009-08-09 06:27:26] 651*2^709221-1 is not prime. Res64: 59ABBA4D0450A7BA Time : 548.0 sec. user=vaughan [2009-08-09 06:30:27] 723*2^709222-1 is not prime. Res64: 5DC54C2CF1AB7C42 Time : 567.0 sec. user=vaughan [2009-08-09 06:30:38] 717*2^709221-1 is not prime. Res64: 01B1E0A285004153 Time : 688.0 sec. user=vaughan [2009-08-09 06:31:28] 747*2^709221-1 is not prime. Res64: 8E6843DF1AE4F5AE Time : 685.0 sec. user=vaughan [2009-08-09 06:32:30] 777*2^709222-1 is not prime. Res64: 8C707A87B00DDFFF Time : 571.0 sec. user=vaughan [2009-08-09 06:33:48] 741*2^709222-1 is not prime. Res64: FBF9EAFE45E64C4B Time : 698.0 sec. user=tnerual [2009-08-09 06:34:15] 763*2^709215-1 is not prime. Res64: EC5A39645321F02A Time : 1827.0 sec. user=vaughan [2009-08-09 06:34:33] 685*2^709223-1 is not prime. Res64: 95CDC9A189380E4D Time : 572.0 sec. user=vaughan [2009-08-09 06:35:44] 743*2^709222-1 is not prime. Res64: 6062770C62573357 Time : 800.0 sec. user=vaughan [2009-08-09 06:36:31] 619*2^709223-1 is not prime. Res64: 02227FF0EE1062A3 Time : 709.0 sec. user=vaughan [2009-08-09 06:36:35] 781*2^709223-1 is not prime. Res64: A24533D0B2F190CB Time : 549.0 sec. user=vaughan [2009-08-09 06:39:32] 729*2^709223-1 is not prime. Res64: 634F312042737723 Time : 816.0 sec. user=vaughan [2009-08-09 06:39:59] 675*2^709224-1 is not prime. Res64: AE89DABA7D86BCA9 Time : 572.0 sec. user=vaughan [2009-08-09 06:40:23] 753*2^709223-1 is not prime. Res64: D1403369489C616B Time : 801.0 sec. user=vaughan [2009-08-09 06:41:57] 687*2^709225-1 is not prime. Res64: D25D46961F85102D Time : 567.0 sec. user=vaughan [2009-08-09 06:42:07] 683*2^709224-1 is not prime. Res64: E6E08DD05C169A73 Time : 689.0 sec. user=vaughan [2009-08-09 06:42:55] 685*2^709225-1 is not prime. Res64: 7CB461490E84E281 Time : 687.0 sec. user=vaughan [2009-08-09 06:44:04] 777*2^709225-1 is not prime. Res64: E6FE294B08281502 Time : 571.0 sec. user=vaughan [2009-08-09 06:45:26] 741*2^709225-1 is not prime. Res64: 547497C9F2666442 Time : 698.0 sec. user=vaughan [2009-08-09 06:45:42] 619*2^709227-1 is not prime. Res64: 1F1997E552F51D20 Time : 547.0 sec. user=vaughan [2009-08-09 06:46:43] 745*2^709223-1 is not prime. Res64: 5BB8C73D9520E53A Time : 1245.0 sec. user=vaughan [2009-08-09 06:48:20] 609*2^709227-1 is not prime. Res64: 951DD3957473E5FA Time : 709.0 sec. user=vaughan [2009-08-09 06:49:05] 747*2^709226-1 is not prime. Res64: B00A0994EBA9C816 Time : 801.0 sec. user=vaughan [2009-08-09 06:49:28] 649*2^709227-1 is not prime. Res64: 1559B62D9024BF17 Time : 569.0 sec. user=vaughan [2009-08-09 06:51:25] 703*2^709227-1 is not prime. Res64: 124788CD8A2270CE Time : 568.0 sec. user=vaughan [2009-08-09 06:52:27] 625*2^709227-1 is not prime. Res64: 9E6252A086CA56B3 Time : 775.0 sec. user=vaughan [2009-08-09 06:53:34] 705*2^709227-1 is not prime. Res64: E64342979E6C0E68 Time : 688.0 sec. user=vaughan [2009-08-09 06:53:35] 677*2^709228-1 is not prime. Res64: 76D9416D149A5507 Time : 571.0 sec. user=vaughan [2009-08-09 06:53:46] 685*2^709227-1 is not prime. Res64: 86BF25923B111031 Time : 803.0 sec. user=vaughan [2009-08-09 06:54:20] 795*2^709227-1 is not prime. Res64: A373E957220F7B18 Time : 685.0 sec. user=vaughan [2009-08-09 06:54:51] 689*2^709228-1 is not prime. Res64: A5DF069E8C279348 Time : 549.0 sec. user=vaughan [2009-08-09 06:57:05] 687*2^709228-1 is not prime. Res64: D69F52CAF76D80C8 Time : 699.0 sec. user=vaughan [2009-08-09 06:58:59] 619*2^709231-1 is not prime. Res64: 074BC225E6178BA4 Time : 571.0 sec. user=vaughan [2009-08-09 07:00:10] 627*2^709230-1 is not prime. Res64: 604C7619FCF04926 Time : 710.0 sec. user=vaughan [2009-08-09 07:00:56] 645*2^709231-1 is not prime. Res64: F4E8F6E06C367C85 Time : 571.0 sec. user=vaughan [2009-08-09 07:02:28] 795*2^709230-1 is not prime. Res64: 720D2AB3E0B629D5 Time : 804.0 sec. user=vaughan [2009-08-09 07:03:05] 665*2^709232-1 is not prime. Res64: 7D6E81483BCBB2A3 Time : 571.0 sec. user=vaughan [2009-08-09 07:03:58] 777*2^709232-1 is not prime. Res64: 3591FEB0C85568BE Time : 548.0 sec. user=tnerual [2009-08-09 07:04:42] 751*2^709225-1 is not prime. Res64: 1F5DF643EF0BBF75 Time : 1828.0 sec. user=vaughan [2009-08-09 07:05:03] 603*2^709232-1 is not prime. Res64: 35A5815647E0A8DA Time : 689.0 sec. user=vaughan [2009-08-09 07:05:47] 735*2^709232-1 is not prime. Res64: 9EC078674DFE80DC Time : 687.0 sec. user=vaughan [2009-08-09 07:06:17] 723*2^709231-1 is not prime. Res64: C597432E47445CBB Time : 831.0 sec. user=vaughan [2009-08-09 07:06:45] 783*2^709228-1 is not prime. Res64: E6D055113C05351C Time : 1202.0 sec. user=vaughan [2009-08-09 07:07:10] 717*2^709232-1 is not prime. Res64: 705E27D92DBC5A86 Time : 804.0 sec. user=vaughan [2009-08-09 07:08:28] 611*2^709234-1 is not prime. Res64: 6DE3B523451837AE Time : 569.0 sec. user=vaughan [2009-08-09 07:08:43] 685*2^709233-1 is not prime. Res64: 883619CC63F1BB5B Time : 698.0 sec. user=vaughan [2009-08-09 07:10:26] 663*2^709234-1 is not prime. Res64: D5AD5B6227CE083B Time : 570.0 sec. user=vaughan [2009-08-09 07:11:59] 651*2^709234-1 is not prime. Res64: A7A2F0E18C425FEE Time : 710.0 sec. user=vaughan [2009-08-09 07:12:33] 723*2^709234-1 is not prime. Res64: D5F29098E7449F75 Time : 568.0 sec. user=vaughan [2009-08-09 07:13:04] 747*2^709234-1 is not prime. Res64: 462CFA8862A3098B Time : 546.0 sec. user=vaughan [2009-08-09 07:15:51] 675*2^709234-1 is not prime. Res64: 20E8074D9A163ABF Time : 804.0 sec. user=vaughan [2009-08-09 07:16:32] 643*2^709235-1 is not prime. Res64: 0E9E138885D1949B Time : 689.0 sec. user=vaughan [2009-08-09 07:17:13] 679*2^709235-1 is not prime. Res64: BB181A505F32A0B5 Time : 687.0 sec. user=vaughan [2009-08-09 07:17:59] 645*2^709237-1 is not prime. Res64: 4D8E08B324A1AC15 Time : 572.0 sec. user=vaughan [2009-08-09 07:19:57] 747*2^709237-1 is not prime. Res64: 65268A1B0875AC0F Time : 571.0 sec. user=vaughan [2009-08-09 07:20:06] 771*2^709235-1 is not prime. Res64: 008C90C731E13020 Time : 830.0 sec. user=vaughan [2009-08-09 07:20:22] 699*2^709237-1 is not prime. Res64: DA1AE29D92B1A6FF Time : 699.0 sec. user=vaughan [2009-08-09 07:20:40] 773*2^709236-1 is not prime. Res64: 572D4154C03D9DD1 Time : 810.0 sec. user=vaughan [2009-08-09 07:22:03] 623*2^709238-1 is not prime. Res64: DB31F384C4AC2A7B Time : 570.0 sec. user=vaughan [2009-08-09 07:22:15] 645*2^709238-1 is not prime. Res64: 01729E57CAC3B343 Time : 551.0 sec. user=vaughan [2009-08-09 07:23:49] 775*2^709237-1 is not prime. Res64: 7024FFF65A16EDF3 Time : 710.0 sec. user=vaughan [2009-08-09 07:25:22] 725*2^709236-1 is not prime. Res64: AC4AC79B7F82DCA5 Time : 1118.0 sec. user=vaughan [2009-08-09 07:27:28] 633*2^709239-1 is not prime. Res64: 9B0E6B23CC60BAEA Time : 569.0 sec. user=vaughan [2009-08-09 07:27:59] 797*2^709238-1 is not prime. Res64: E8A0FA203EFE381D Time : 687.0 sec. user=vaughan [2009-08-09 07:28:38] 621*2^709239-1 is not prime. Res64: 6CE8EF5F95FE5A83 Time : 685.0 sec. user=vaughan [2009-08-09 07:29:22] 709*2^709239-1 is not prime. Res64: C4A65226E3D8452E Time : 565.0 sec. user=vaughan [2009-08-09 07:29:27] 711*2^709238-1 is not prime. Res64: 26F8CD2B6092FA98 Time : 816.0 sec. user=vaughan [2009-08-09 07:31:22] 713*2^709240-1 is not prime. Res64: E42F04006D78EA46 Time : 547.0 sec. user=vaughan [2009-08-09 07:31:32] 707*2^709240-1 is not prime. Res64: 51B62886F98EF8D2 Time : 569.0 sec. user=vaughan [2009-08-09 07:32:01] 775*2^709239-1 is not prime. Res64: BFEEA8999C2BC3AB Time : 699.0 sec. user=vaughan [2009-08-09 07:34:17] 645*2^709240-1 is not prime. Res64: 874B8AC039D71253 Time : 817.0 sec. user=vaughan [2009-08-09 07:34:41] 745*2^709239-1 is not prime. Res64: 2864E976884023AA Time : 876.0 sec. user=tnerual [2009-08-09 07:35:07] 755*2^709234-1 is not prime. Res64: 7D76CD080F8D6D36 Time : 1825.0 sec. user=vaughan [2009-08-09 07:35:38] 615*2^709241-1 is not prime. Res64: 278370B19BCA5AF5 Time : 710.0 sec. user=vaughan [2009-08-09 07:36:59] 691*2^709241-1 is not prime. Res64: D93293958972420F Time : 572.0 sec. user=vaughan [2009-08-09 07:38:48] 609*2^709243-1 is not prime. Res64: FF9800FDD9B195E4 Time : 567.0 sec. user=vaughan [2009-08-09 07:39:28] 611*2^709242-1 is not prime. Res64: 058A969CA8EE2E95 Time : 689.0 sec. user=vaughan [2009-08-09 07:40:04] 711*2^709242-1 is not prime. Res64: E70FA060AADDBB74 Time : 686.0 sec. user=vaughan [2009-08-09 07:40:32] 735*2^709243-1 is not prime. Res64: 43F2247EBF7D0ED0 Time : 550.0 sec. user=vaughan [2009-08-09 07:41:03] 745*2^709243-1 is not prime. Res64: 87C9C1E3B9CFF88A Time : 571.0 sec. user=vaughan [2009-08-09 07:43:00] 685*2^709243-1 is not prime. Res64: 64CF0C56F27CDD46 Time : 813.0 sec. user=vaughan [2009-08-09 07:43:38] 783*2^709243-1 is not prime. Res64: E522A367AD0A1311 Time : 697.0 sec. user=vaughan [2009-08-09 07:46:27] 773*2^709244-1 is not prime. Res64: 0A0697F1E691626F Time : 568.0 sec. user=vaughan [2009-08-09 07:46:43] 669*2^709241-1 is not prime. Res64: C1FD200713C324A4 Time : 1281.0 sec. user=vaughan [2009-08-09 07:46:50] 743*2^709244-1 is not prime. Res64: 6F7530BB5FAFBBB4 Time : 729.0 sec. user=vaughan [2009-08-09 07:47:27] 759*2^709244-1 is not prime. Res64: 51E44A586EE763BE Time : 709.0 sec. user=vaughan [2009-08-09 07:47:50] 615*2^709244-1 is not prime. Res64: E39527BD7BE22D01 Time : 813.0 sec. user=vaughan [2009-08-09 07:48:16] 711*2^709245-1 is not prime. Res64: D64583767DC098F0 Time : 568.0 sec. user=vaughan [2009-08-09 07:49:40] 741*2^709246-1 is not prime. Res64: A6020614F0B2C187 Time : 548.0 sec. user=vaughan [2009-08-09 07:50:31] 755*2^709246-1 is not prime. Res64: 65941A9137B21E21 Time : 568.0 sec. user=vaughan [2009-08-09 07:50:55] 795*2^709245-1 is not prime. Res64: 65D468ED8FE9D9C8 Time : 688.0 sec. user=vaughan [2009-08-09 07:51:30] 723*2^709246-1 is not prime. Res64: 6459CDAD0618F83E Time : 686.0 sec. user=vaughan [2009-08-09 07:55:17] 615*2^709247-1 is not prime. Res64: 21448FF6CE5AF983 Time : 699.0 sec. user=vaughan [2009-08-09 07:55:57] 619*2^709247-1 is not prime. Res64: 4FECD43FA185CBFB Time : 570.0 sec. user=vaughan [2009-08-09 07:56:31] 765*2^709246-1 is not prime. Res64: DD6DC6DC84B20798 Time : 811.0 sec. user=vaughan [2009-08-09 07:57:46] 765*2^709248-1 is not prime. Res64: B0A2E6431695DC2F Time : 570.0 sec. user=vaughan [2009-08-09 07:58:48] 637*2^709249-1 is not prime. Res64: 581A5A4C3E519832 Time : 548.0 sec. user=vaughan [2009-08-09 07:59:16] 741*2^709247-1 is not prime. Res64: D2D9CCCF0BF72BB7 Time : 709.0 sec. user=vaughan [2009-08-09 08:00:01] 675*2^709249-1 is not prime. Res64: 06702A4762AB2D2C Time : 570.0 sec. user=vaughan [2009-08-09 08:01:23] 759*2^709248-1 is not prime. Res64: CEE456701B5FC622 Time : 813.0 sec. user=vaughan [2009-08-09 08:02:00] 705*2^709247-1 is not prime. Res64: 5027EF93D2136418 Time : 910.0 sec. user=vaughan [2009-08-09 08:02:24] 721*2^709249-1 is not prime. Res64: 0D14D33C2ECD6B28 Time : 689.0 sec. user=vaughan [2009-08-09 08:02:57] 623*2^709250-1 is not prime. Res64: 683FD4883C4324D0 Time : 687.0 sec. user=vaughan [2009-08-09 08:05:07] 673*2^709247-1 is not prime. Res64: E6D82803CEE0F611 Time : 1104.0 sec. user=vaughan [2009-08-09 08:05:26] 665*2^709250-1 is not prime. Res64: F163D08340AEC9FA Time : 569.0 sec. user=tnerual [2009-08-09 08:05:27] 749*2^709244-1 is not prime. Res64: 4A8DE81074AD57B2 Time : 1820.0 sec. user=vaughan [2009-08-09 08:06:56] 635*2^709250-1 is not prime. Res64: 474F7B4AEE3EDB48 Time : 699.0 sec. user=vaughan [2009-08-09 08:07:18] 711*2^709250-1 is not prime. Res64: 9A0CD817D16A74A8 Time : 573.0 sec. user=vaughan [2009-08-09 08:07:59] 713*2^709250-1 is not prime. Res64: D9DB86DD4DF50D0E Time : 551.0 sec. user=vaughan [2009-08-09 08:09:31] 735*2^709250-1 is not prime. Res64: 1E05D724967E17EB Time : 570.0 sec. user=vaughan [2009-08-09 08:10:01] 675*2^709250-1 is not prime. Res64: D1A2C8C170DCD622 Time : 811.0 sec. user=vaughan [2009-08-09 08:11:07] 731*2^709250-1 is not prime. Res64: 197E63E356CA0C91 Time : 711.0 sec. user=vaughan [2009-08-09 08:13:52] 797*2^709250-1 is not prime. Res64: A56131A287EF586E Time : 688.0 sec. user=vaughan [2009-08-09 08:14:23] 613*2^709251-1 is not prime. Res64: 0C5F1E6EC06E1C9D Time : 686.0 sec. user=vaughan [2009-08-09 08:14:54] 691*2^709251-1 is not prime. Res64: 3076099B639483D8 Time : 568.0 sec. user=vaughan [2009-08-09 08:14:54] 753*2^709250-1 is not prime. Res64: A679228D1C22E8C5 Time : 811.0 sec. user=vaughan [2009-08-09 08:15:37] 783*2^709250-1 is not prime. Res64: 206C6783DA07A928 Time : 818.0 sec. user=vaughan [2009-08-09 08:16:46] 697*2^709253-1 is not prime. Res64: ED284B8510664694 Time : 569.0 sec. user=vaughan [2009-08-09 08:17:08] 605*2^709254-1 is not prime. Res64: 0778C2F68A055AAC Time : 549.0 sec. user=vaughan [2009-08-09 08:18:34] 743*2^709252-1 is not prime. Res64: 1221F6E5D1FBB1D2 Time : 698.0 sec. user=vaughan [2009-08-09 08:19:00] 611*2^709254-1 is not prime. Res64: D115050858E2644D Time : 569.0 sec. user=vaughan [2009-08-09 08:22:56] 649*2^709255-1 is not prime. Res64: 16E43CB479EADCF2 Time : 709.0 sec. user=vaughan [2009-08-09 08:23:30] 783*2^709254-1 is not prime. Res64: 1E12225B67F0A260 Time : 809.0 sec. user=vaughan [2009-08-09 08:24:24] 783*2^709255-1 is not prime. Res64: 43532EDA7A9746D5 Time : 570.0 sec. user=vaughan [2009-08-09 08:25:22] 673*2^709255-1 is not prime. Res64: 781BD71639AE553C Time : 690.0 sec. user=vaughan [2009-08-09 08:25:29] 615*2^709251-1 is not prime. Res64: 9DAE6BB6FA9A778B Time : 1223.0 sec. user=vaughan [2009-08-09 08:25:49] 685*2^709255-1 is not prime. Res64: 64A6C65A9D6117C3 Time : 686.0 sec. user=vaughan [2009-08-09 08:26:16] 699*2^709257-1 is not prime. Res64: C121CEAD72402025 Time : 570.0 sec. user=vaughan [2009-08-09 08:26:17] 681*2^709258-1 is not prime. Res64: F51A8D349ED6A82D Time : 550.0 sec. user=vaughan [2009-08-09 08:28:25] 623*2^709256-1 is not prime. Res64: A4E91FC8F4C95A02 Time : 811.0 sec. user=vaughan [2009-08-09 08:28:32] 707*2^709258-1 is not prime. Res64: ADF6839819034F76 Time : 573.0 sec. user=vaughan [2009-08-09 08:29:40] 725*2^709256-1 is not prime. Res64: 0C931FBFA7063D18 Time : 843.0 sec. user=vaughan [2009-08-09 08:30:12] 695*2^709258-1 is not prime. Res64: 3312400EDE3D60D8 Time : 699.0 sec. user=vaughan [2009-08-09 08:33:54] 645*2^709259-1 is not prime. Res64: CB75263B08D78115 Time : 570.0 sec. user=vaughan [2009-08-09 08:34:45] 609*2^709259-1 is not prime. Res64: 3CACBFFE3CDCB3B4 Time : 710.0 sec. user=vaughan [2009-08-09 08:35:27] 669*2^709260-1 is not prime. Res64: F4809B1C7BFD06A8 Time : 550.0 sec. user=vaughan [2009-08-09 08:35:43] 623*2^709260-1 is not prime. Res64: 23635B6170DF0F6D Time : 567.0 sec. user=tnerual [2009-08-09 08:35:46] 693*2^709252-1 is not prime. Res64: 5B542F7D7E878157 Time : 1820.0 sec. user=vaughan [2009-08-09 08:36:49] 675*2^709259-1 is not prime. Res64: 18F65C5AF1BF3ED1 Time : 688.0 sec. user=vaughan [2009-08-09 08:36:58] 615*2^709259-1 is not prime. Res64: A9102AD2BAE1AA0B Time : 808.0 sec. user=vaughan [2009-08-09 08:37:15] 789*2^709259-1 is not prime. Res64: 3750DAD4C195BB4D Time : 687.0 sec. user=vaughan [2009-08-09 08:38:01] 725*2^709260-1 is not prime. Res64: 1BB6C9F1F41C3770 Time : 569.0 sec. user=vaughan [2009-08-09 08:41:50] 727*2^709261-1 is not prime. Res64: 8EB1AD79404437A2 Time : 698.0 sec. user=vaughan [2009-08-09 08:41:54] 689*2^709260-1 is not prime. Res64: D9F7EEB1587AF125 Time : 809.0 sec. user=vaughan [2009-08-09 08:42:20] 783*2^709260-1 is not prime. Res64: 8C4C78F88A92F437 Time : 760.0 sec. user=vaughan [2009-08-09 08:43:25] 769*2^709261-1 is not prime. Res64: B6C1FFB708B22EF6 Time : 571.0 sec. user=vaughan [2009-08-09 08:44:36] 705*2^709262-1 is not prime. Res64: 444A2BD9E91ACDE0 Time : 550.0 sec. user=vaughan [2009-08-09 08:45:14] 771*2^709262-1 is not prime. Res64: FCC847F81E8447B3 Time : 571.0 sec. user=vaughan [2009-08-09 08:46:22] 745*2^709259-1 is not prime. Res64: 432076963612F774 Time : 1254.0 sec. user=vaughan [2009-08-09 08:46:33] 777*2^709261-1 is not prime. Res64: 8C7B245BC32E1FE4 Time : 708.0 sec. user=vaughan [2009-08-09 08:47:33] 769*2^709263-1 is not prime. Res64: 4EA303F1CE26E378 Time : 572.0 sec. user=vaughan [2009-08-09 08:48:17] 691*2^709263-1 is not prime. Res64: 371236C090C2CD5D Time : 688.0 sec. user=vaughan [2009-08-09 08:48:41] 739*2^709263-1 is not prime. Res64: A740985D24A15E75 Time : 686.0 sec. user=vaughan [2009-08-09 08:50:26] 693*2^709263-1 is not prime. Res64: D7A869E6E73F96A1 Time : 808.0 sec. user=vaughan [2009-08-09 08:52:54] 645*2^709264-1 is not prime. Res64: DBFD0D5EBCA7F7AF Time : 569.0 sec. user=vaughan [2009-08-09 08:53:29] 789*2^709263-1 is not prime. Res64: 915AA5FB217A9F10 Time : 699.0 sec. user=vaughan [2009-08-09 08:53:47] 657*2^709264-1 is not prime. Res64: 6930E5833525E1D5 Time : 551.0 sec. user=vaughan [2009-08-09 08:54:45] 759*2^709264-1 is not prime. Res64: 3D9D2D8350ECAE1C Time : 571.0 sec. user=vaughan [2009-08-09 08:55:06] 629*2^709264-1 is not prime. Res64: 2F26153E78BB6E6E Time : 766.0 sec. user=vaughan [2009-08-09 08:55:22] 793*2^709263-1 is not prime. Res64: 0E677F21C8DC1D0A Time : 808.0 sec. user=vaughan [2009-08-09 08:57:04] 771*2^709265-1 is not prime. Res64: 24B82D9ACF3A6B8E Time : 571.0 sec. user=vaughan [2009-08-09 08:58:22] 711*2^709265-1 is not prime. Res64: ABC8CFA592B1F547 Time : 709.0 sec. user=vaughan [2009-08-09 08:59:45] 711*2^709266-1 is not prime. Res64: 6370C1D958AC4F80 Time : 688.0 sec. user=vaughan [2009-08-09 09:00:06] 717*2^709266-1 is not prime. Res64: 1D6FA96B48B01F8E Time : 686.0 sec. user=vaughan [2009-08-09 09:02:23] 663*2^709267-1 is not prime. Res64: 117CC8632D402915 Time : 569.0 sec. user=vaughan [2009-08-09 09:02:57] 675*2^709267-1 is not prime. Res64: 2FA35581D36F1684 Time : 550.0 sec. user=vaughan [2009-08-09 09:03:53] 615*2^709267-1 is not prime. Res64: 6392F2BBD1C7EAAC Time : 807.0 sec. user=vaughan [2009-08-09 09:04:14] 765*2^709267-1 is not prime. Res64: 9FEF3E8779FC204E Time : 569.0 sec. user=vaughan [2009-08-09 09:05:07] 673*2^709267-1 is not prime. Res64: 6F7344C6998B3FD5 Time : 699.0 sec. user=tnerual [2009-08-09 09:06:05] 669*2^709263-1 is not prime. Res64: A0EAD5A10775638D Time : 1819.0 sec. user=vaughan [2009-08-09 09:06:31] 759*2^709268-1 is not prime. Res64: 758A179DB2A6FDFA Time : 568.0 sec. user=vaughan [2009-08-09 09:07:50] 629*2^709268-1 is not prime. Res64: 903B6877FD67BA02 Time : 764.0 sec. user=vaughan [2009-08-09 09:08:20] 649*2^709265-1 is not prime. Res64: 0253BCC2DCB7B9BC Time : 1318.0 sec. user=vaughan [2009-08-09 09:08:50] 633*2^709268-1 is not prime. Res64: C052505A562D5D22 Time : 808.0 sec. user=vaughan [2009-08-09 09:10:11] 627*2^709269-1 is not prime. Res64: E059EDE056426A48 Time : 709.0 sec. user=vaughan [2009-08-09 09:11:14] 747*2^709269-1 is not prime. Res64: CCA13D25F38CF072 Time : 689.0 sec. user=vaughan [2009-08-09 09:11:32] 605*2^709270-1 is not prime. Res64: 94E73E26F27AD15A Time : 686.0 sec. user=vaughan [2009-08-09 09:11:53] 647*2^709270-1 is not prime. Res64: 84699A141F4CD20B Time : 571.0 sec. user=vaughan [2009-08-09 09:12:07] 665*2^709270-1 is not prime. Res64: 6402C9C63B817353 Time : 550.0 sec. user=vaughan [2009-08-09 09:13:44] 695*2^709270-1 is not prime. Res64: 081B0D6225986A13 Time : 570.0 sec. user=vaughan [2009-08-09 09:16:02] 615*2^709271-1 is not prime. Res64: A52B63BF16710E07 Time : 571.0 sec. user=vaughan [2009-08-09 09:16:45] 791*2^709270-1 is not prime. Res64: A79F128F5FFEA0B5 Time : 699.0 sec. user=vaughan [2009-08-09 09:17:21] 687*2^709270-1 is not prime. Res64: 81639E4E77059B3C Time : 808.0 sec. user=vaughan [2009-08-09 09:21:06] 645*2^709271-1 is not prime. Res64: 2A6D6A8C72B86002 Time : 796.0 sec. user=vaughan [2009-08-09 09:21:15] 737*2^709272-1 is not prime. Res64: EE159773069CBC76 Time : 549.0 sec. user=vaughan [2009-08-09 09:21:24] 675*2^709272-1 is not prime. Res64: 5D27A0C8D2DDF1E7 Time : 571.0 sec. user=vaughan [2009-08-09 09:22:01] 735*2^709271-1 is not prime. Res64: EC599F1FEF11BC9C Time : 710.0 sec. user=vaughan [2009-08-09 09:22:16] 711*2^709271-1 is not prime. Res64: 4106587FC1BEA3EC Time : 806.0 sec. user=vaughan [2009-08-09 09:22:42] 763*2^709271-1 is not prime. Res64: BA3FAFFD3503AE88 Time : 688.0 sec. user=vaughan [2009-08-09 09:22:59] 633*2^709272-1 is not prime. Res64: EA66C2B8190B9A90 Time : 687.0 sec. user=vaughan [2009-08-09 09:23:13] 747*2^709272-1 is not prime. Res64: 2A35C6EC12F90CAD Time : 569.0 sec. user=vaughan [2009-08-09 09:25:33] 753*2^709272-1 is not prime. Res64: A7A525C9EE0894F5 Time : 571.0 sec. user=vaughan [2009-08-09 09:28:23] 705*2^709273-1 is not prime. Res64: 3187AA1078C69630 Time : 699.0 sec. user=vaughan [2009-08-09 09:29:40] 661*2^709271-1 is not prime. Res64: CFB3B8715389D628 Time : 1280.0 sec. user=vaughan [2009-08-09 09:30:23] 769*2^709273-1 is not prime. Res64: 5E01795ED50531C5 Time : 548.0 sec. user=vaughan [2009-08-09 09:30:48] 715*2^709273-1 is not prime. Res64: B0D7B095F509185A Time : 808.0 sec. user=vaughan [2009-08-09 09:30:52] 677*2^709274-1 is not prime. Res64: B317B3499DE00D67 Time : 568.0 sec. user=vaughan [2009-08-09 09:32:41] 747*2^709277-1 is not prime. Res64: 0CBE47E42F290B97 Time : 569.0 sec. user=vaughan [2009-08-09 09:33:50] 683*2^709274-1 is not prime. Res64: 2E36DCE7E0D53B0B Time : 709.0 sec. user=vaughan [2009-08-09 09:33:59] 741*2^709273-1 is not prime. Res64: 24DBCD205AD2897A Time : 773.0 sec. user=vaughan [2009-08-09 09:34:10] 677*2^709276-1 is not prime. Res64: 01A19BC517E0B6E4 Time : 688.0 sec. user=vaughan [2009-08-09 09:34:25] 743*2^709276-1 is not prime. Res64: 103291E0CB1F0C46 Time : 686.0 sec. user=vaughan [2009-08-09 09:35:04] 757*2^709277-1 is not prime. Res64: C253E7AFC4C4317A Time : 571.0 sec. user=vaughan [2009-08-09 09:35:44] 705*2^709274-1 is not prime. Res64: 82F89E4D83E47D06 Time : 808.0 sec. user=tnerual [2009-08-09 09:36:28] 609*2^709271-1 is not prime. Res64: 4768685AC332E195 Time : 1823.0 sec. user=vaughan [2009-08-09 09:39:32] 615*2^709279-1 is not prime. Res64: 823050A8C4829D25 Time : 549.0 sec. user=vaughan [2009-08-09 09:40:02] 771*2^709277-1 is not prime. Res64: D9DCF50EC6A511D9 Time : 699.0 sec. user=vaughan [2009-08-09 09:40:19] 705*2^709279-1 is not prime. Res64: A59CC18B9237B0F9 Time : 568.0 sec. user=vaughan [2009-08-09 09:42:10] 709*2^709279-1 is not prime. Res64: 8B56CF081EE92477 Time : 569.0 sec. user=vaughan [2009-08-09 09:44:14] 675*2^709279-1 is not prime. Res64: 6ECDE5BC28A6DD44 Time : 807.0 sec. user=vaughan [2009-08-09 09:44:35] 615*2^709281-1 is not prime. Res64: E4C5BFB22BCBCDD0 Time : 571.0 sec. user=vaughan [2009-08-09 09:45:39] 689*2^709280-1 is not prime. Res64: 286670405B0B01BF Time : 689.0 sec. user=vaughan [2009-08-09 09:45:40] 763*2^709279-1 is not prime. Res64: DB25C34441E8A1DC Time : 710.0 sec. user=vaughan [2009-08-09 09:45:52] 725*2^709280-1 is not prime. Res64: A317DE28D8D0A1AA Time : 687.0 sec. user=vaughan [2009-08-09 09:46:20] 677*2^709280-1 is not prime. Res64: A7C40CDB1F0C41EB Time : 741.0 sec. user=vaughan [2009-08-09 09:48:39] 691*2^709281-1 is not prime. Res64: 05748A7A6F620DD5 Time : 547.0 sec. user=vaughan [2009-08-09 09:49:10] 627*2^709281-1 is not prime. Res64: 3D0EE2DD4C0F0A80 Time : 806.0 sec. user=vaughan [2009-08-09 09:49:49] 651*2^709282-1 is not prime. Res64: E2D21C941420AF3E Time : 570.0 sec. user=vaughan [2009-08-09 09:50:38] 603*2^709279-1 is not prime. Res64: E1E8B713948F5B32 Time : 1258.0 sec. user=vaughan [2009-08-09 09:51:39] 653*2^709282-1 is not prime. Res64: 6B14E589FB64EDD4 Time : 569.0 sec. user=vaughan [2009-08-09 09:51:41] 777*2^709281-1 is not prime. Res64: 748907B7C40C8D1B Time : 699.0 sec. user=vaughan [2009-08-09 09:54:04] 741*2^709282-1 is not prime. Res64: 1C2424CCF6773AF7 Time : 570.0 sec. user=vaughan [2009-08-09 09:57:07] 785*2^709282-1 is not prime. Res64: 4BAD58055F923E87 Time : 688.0 sec. user=vaughan [2009-08-09 09:57:17] 669*2^709283-1 is not prime. Res64: 78B2E004F35B5419 Time : 685.0 sec. user=vaughan [2009-08-09 09:57:29] 631*2^709283-1 is not prime. Res64: 257B9DDC9F95404E Time : 710.0 sec. user=vaughan [2009-08-09 09:57:39] 723*2^709282-1 is not prime. Res64: 3F36C37D1F611758 Time : 806.0 sec. user=vaughan [2009-08-09 09:57:48] 783*2^709283-1 is not prime. Res64: 03AD6F2223EE9ADA Time : 549.0 sec. user=vaughan [2009-08-09 09:59:18] 737*2^709284-1 is not prime. Res64: 7F05BF813E906DF3 Time : 569.0 sec. user=vaughan [2009-08-09 10:00:26] 705*2^709283-1 is not prime. Res64: D1EAAE2EF3264B33 Time : 846.0 sec. user=vaughan [2009-08-09 10:01:08] 783*2^709284-1 is not prime. Res64: A7D348460B02866E Time : 569.0 sec. user=vaughan [2009-08-09 10:02:37] 609*2^709284-1 is not prime. Res64: F878AC16BF4A03AF Time : 807.0 sec. user=vaughan [2009-08-09 10:03:20] 601*2^709285-1 is not prime. Res64: A4CE335FCE22C4F0 Time : 699.0 sec. user=vaughan [2009-08-09 10:03:35] 607*2^709285-1 is not prime. Res64: 9E08C585E4F57333 Time : 571.0 sec. user=tnerual [2009-08-09 10:06:48] 681*2^709281-1 is not prime. Res64: 8FC5AD4482A22048 Time : 1821.0 sec. user=vaughan [2009-08-09 10:06:57] 641*2^709286-1 is not prime. Res64: 0FED1D110898DF55 Time : 549.0 sec. user=vaughan [2009-08-09 10:08:35] 729*2^709285-1 is not prime. Res64: 2811A2466BF230AA Time : 689.0 sec. user=vaughan [2009-08-09 10:08:44] 765*2^709285-1 is not prime. Res64: 58D662CB59259E68 Time : 687.0 sec. user=vaughan [2009-08-09 10:08:48] 657*2^709286-1 is not prime. Res64: E7640A70FBDCCD83 Time : 570.0 sec. user=vaughan [2009-08-09 10:09:18] 771*2^709285-1 is not prime. Res64: F1825C1C88FC07BD Time : 709.0 sec. user=vaughan [2009-08-09 10:09:20] 753*2^709284-1 is not prime. Res64: E3CEF4D3E1575085 Time : 1122.0 sec. user=vaughan [2009-08-09 10:10:36] 643*2^709287-1 is not prime. Res64: E750203030D4AB5F Time : 568.0 sec. user=vaughan [2009-08-09 10:11:06] 799*2^709285-1 is not prime. Res64: B1DB862E1E5681E6 Time : 808.0 sec. user=vaughan [2009-08-09 10:13:05] 615*2^709288-1 is not prime. Res64: 36F94A9807E510E6 Time : 570.0 sec. user=vaughan [2009-08-09 10:14:29] 693*2^709286-1 is not prime. Res64: 5D654CF3D200F7DD Time : 843.0 sec. user=vaughan [2009-08-09 10:14:57] 735*2^709287-1 is not prime. Res64: 806BBD57412A4FAA Time : 698.0 sec. user=vaughan [2009-08-09 10:16:04] 691*2^709287-1 is not prime. Res64: D4D01981812CFF12 Time : 807.0 sec. user=vaughan [2009-08-09 10:16:05] 675*2^709289-1 is not prime. Res64: AC6445612A7D7507 Time : 548.0 sec. user=vaughan [2009-08-09 10:18:18] 635*2^709290-1 is not prime. Res64: 9D664BA69C499BF4 Time : 570.0 sec. user=vaughan [2009-08-09 10:20:04] 691*2^709289-1 is not prime. Res64: C7155E6A37F76FF5 Time : 689.0 sec. user=vaughan [2009-08-09 10:20:05] 603*2^709291-1 is not prime. Res64: E73EFA57E1408046 Time : 570.0 sec. user=vaughan [2009-08-09 10:20:10] 711*2^709289-1 is not prime. Res64: 65F66D8B0FD1EAD4 Time : 687.0 sec. user=vaughan [2009-08-09 10:21:06] 713*2^709290-1 is not prime. Res64: 4F93B5F82E700C41 Time : 708.0 sec. user=vaughan [2009-08-09 10:22:35] 639*2^709291-1 is not prime. Res64: 8D3635D0125730FF Time : 570.0 sec. user=vaughan [2009-08-09 10:24:33] 619*2^709291-1 is not prime. Res64: 2BDBBBEDFB3445B2 Time : 808.0 sec. user=vaughan [2009-08-09 10:25:15] 717*2^709292-1 is not prime. Res64: 20390716A56EE28B Time : 550.0 sec. user=vaughan [2009-08-09 10:26:36] 605*2^709292-1 is not prime. Res64: F09A6E7008079489 Time : 699.0 sec. user=vaughan [2009-08-09 10:27:48] 745*2^709291-1 is not prime. Res64: 0937D005E7341E4C Time : 799.0 sec. user=vaughan [2009-08-09 10:27:49] 657*2^709293-1 is not prime. Res64: 954FDADD8EF8D4ED Time : 571.0 sec. user=vaughan [2009-08-09 10:28:21] 783*2^709290-1 is not prime. Res64: 458A9489EE6E79B1 Time : 1141.0 sec. user=vaughan [2009-08-09 10:29:31] 609*2^709292-1 is not prime. Res64: CEECF1EABE757FD1 Time : 807.0 sec. user=vaughan [2009-08-09 10:29:33] 623*2^709294-1 is not prime. Res64: D9929305142BA7B0 Time : 569.0 sec. user=vaughan [2009-08-09 10:31:31] 781*2^709293-1 is not prime. Res64: 69CD202501ADCE26 Time : 687.0 sec. user=vaughan [2009-08-09 10:31:36] 741*2^709294-1 is not prime. Res64: 65B2E8E3089FFBBA Time : 686.0 sec. user=vaughan [2009-08-09 10:32:05] 753*2^709295-1 is not prime. Res64: F9D2DB16A3AC8AE2 Time : 571.0 sec. user=vaughan [2009-08-09 10:32:55] 791*2^709294-1 is not prime. Res64: 4A778412845F916A Time : 709.0 sec. user=vaughan [2009-08-09 10:34:25] 781*2^709295-1 is not prime. Res64: 78931CACC48809CA Time : 550.0 sec. user=tnerual [2009-08-09 10:37:09] 723*2^709288-1 is not prime. Res64: F02DA51FA94249EE Time : 1821.0 sec. user=vaughan [2009-08-09 10:37:19] 639*2^709297-1 is not prime. Res64: AB53757DB7E0E834 Time : 571.0 sec. user=vaughan [2009-08-09 10:38:00] 775*2^709295-1 is not prime. Res64: 4C122CA62D302373 Time : 808.0 sec. user=vaughan [2009-08-09 10:38:14] 783*2^709295-1 is not prime. Res64: 03AC9CF6A78A51FF Time : 698.0 sec. user=vaughan [2009-08-09 10:39:04] 727*2^709297-1 is not prime. Res64: A574E39F9DBA7DE2 Time : 571.0 sec. user=vaughan [2009-08-09 10:40:37] 619*2^709297-1 is not prime. Res64: B1FC65A4C89F0EFF Time : 769.0 sec. user=vaughan [2009-08-09 10:41:37] 633*2^709298-1 is not prime. Res64: 2E4BC33CA44210FD Time : 573.0 sec. user=vaughan [2009-08-09 10:42:59] 687*2^709297-1 is not prime. Res64: 2CB997914631EC4D Time : 808.0 sec. user=vaughan [2009-08-09 10:43:00] 729*2^709297-1 is not prime. Res64: 1D76F7BFAEDB03D2 Time : 689.0 sec. user=vaughan [2009-08-09 10:43:03] 777*2^709297-1 is not prime. Res64: 474E74D4FE88F18A Time : 687.0 sec. user=vaughan [2009-08-09 10:43:34] 731*2^709298-1 is not prime. Res64: 06B0FAAF722767DA Time : 550.0 sec. user=vaughan [2009-08-09 10:44:44] 677*2^709298-1 is not prime. Res64: 376E06FA3B941BE2 Time : 709.0 sec. user=vaughan [2009-08-09 10:46:46] 663*2^709299-1 is not prime. Res64: AA5B86EEC2A876A6 Time : 567.0 sec. user=vaughan [2009-08-09 10:47:09] 685*2^709297-1 is not prime. Res64: E784CF89DAAD77AB Time : 1128.0 sec. user=vaughan [2009-08-09 10:48:34] 677*2^709300-1 is not prime. Res64: 2B8F0135B120EAF1 Time : 570.0 sec. user=vaughan [2009-08-09 10:49:52] 795*2^709299-1 is not prime. Res64: 317280286D64DA0D Time : 699.0 sec. user=vaughan [2009-08-09 10:51:09] 707*2^709300-1 is not prime. Res64: D1845292FA66CA43 Time : 572.0 sec. user=vaughan [2009-08-09 10:51:28] 789*2^709299-1 is not prime. Res64: 5D0B13A4972DF7C4 Time : 809.0 sec. user=vaughan [2009-08-09 10:52:42] 697*2^709301-1 is not prime. Res64: 2A0F87F12D89783C Time : 549.0 sec. user=vaughan [2009-08-09 10:54:26] 699*2^709300-1 is not prime. Res64: 40CFACFFBD185AF1 Time : 829.0 sec. user=vaughan [2009-08-09 10:54:28] 627*2^709301-1 is not prime. Res64: 12D0EA2EA8F8B29E Time : 688.0 sec. user=vaughan [2009-08-09 10:54:30] 691*2^709301-1 is not prime. Res64: A596DE58A9C33FA3 Time : 687.0 sec. user=vaughan [2009-08-09 10:56:15] 651*2^709302-1 is not prime. Res64: 58B5BAB106681B9F Time : 569.0 sec. user=vaughan [2009-08-09 10:56:27] 735*2^709300-1 is not prime. Res64: 7BAF7BB751E9F81B Time : 808.0 sec. user=vaughan [2009-08-09 10:56:34] 769*2^709301-1 is not prime. Res64: CFB9E84CBB949F65 Time : 710.0 sec. user=vaughan [2009-08-09 10:58:02] 681*2^709302-1 is not prime. Res64: 0B673917ED277901 Time : 568.0 sec. user=vaughan [2009-08-09 11:00:37] 755*2^709302-1 is not prime. Res64: 4E081C5CFD76D238 Time : 568.0 sec. user=vaughan [2009-08-09 11:01:30] 723*2^709302-1 is not prime. Res64: 5F1F11CE93FBC904 Time : 698.0 sec. user=vaughan [2009-08-09 11:01:52] 709*2^709303-1 is not prime. Res64: 65B9486933019463 Time : 550.0 sec. user=vaughan [2009-08-09 11:04:56] 693*2^709303-1 is not prime. Res64: 89B0FD948C314B3A Time : 809.0 sec. user=vaughan [2009-08-09 11:05:42] 743*2^709304-1 is not prime. Res64: 132E7328A7F97D71 Time : 567.0 sec. user=vaughan [2009-08-09 11:05:43] 665*2^709302-1 is not prime. Res64: EB1C6EF9D49DDF03 Time : 1114.0 sec. user=vaughan [2009-08-09 11:05:55] 635*2^709304-1 is not prime. Res64: FB166D47DE61B6F2 Time : 687.0 sec. user=vaughan [2009-08-09 11:05:56] 659*2^709304-1 is not prime. Res64: F1B227B377BFE226 Time : 687.0 sec. user=tnerual [2009-08-09 11:07:30] 773*2^709298-1 is not prime. Res64: 4687B7BA9FFFFD87 Time : 1821.0 sec. user=vaughan [2009-08-09 11:07:32] 649*2^709305-1 is not prime. Res64: EBC3C56E27F40CD8 Time : 570.0 sec. user=vaughan [2009-08-09 11:08:13] 793*2^709303-1 is not prime. Res64: BF522B0641673D70 Time : 827.0 sec. user=vaughan [2009-08-09 11:08:23] 789*2^709304-1 is not prime. Res64: DFC733EA0A69A209 Time : 709.0 sec. user=vaughan [2009-08-09 11:09:56] 755*2^709304-1 is not prime. Res64: C0EFC2F3D7D03CD8 Time : 809.0 sec. user=vaughan [2009-08-09 11:10:06] 651*2^709305-1 is not prime. Res64: B4E63B2830CE960A Time : 569.0 sec. user=vaughan [2009-08-09 11:11:00] 679*2^709305-1 is not prime. Res64: E741670644741307 Time : 549.0 sec. user=vaughan [2009-08-09 11:13:08] 669*2^709305-1 is not prime. Res64: 0DF789F270621084 Time : 698.0 sec. user=vaughan [2009-08-09 11:15:10] 721*2^709305-1 is not prime. Res64: DFD5C6DBCF0C8D05 Time : 568.0 sec. user=vaughan [2009-08-09 11:17:01] 711*2^709307-1 is not prime. Res64: B9991178457814BB Time : 569.0 sec. user=vaughan [2009-08-09 11:17:23] 645*2^709306-1 is not prime. Res64: CF0ADBC4F489689E Time : 687.0 sec. user=vaughan [2009-08-09 11:17:23] 795*2^709305-1 is not prime. Res64: CBC4E48BFD7A67CF Time : 688.0 sec. user=vaughan [2009-08-09 11:18:23] 685*2^709305-1 is not prime. Res64: 2F47786708E5A223 Time : 807.0 sec. user=vaughan [2009-08-09 11:19:37] 633*2^709308-1 is not prime. Res64: E3EE428448B1D03B Time : 572.0 sec. user=vaughan [2009-08-09 11:20:10] 695*2^709308-1 is not prime. Res64: 5F69A4306C38C294 Time : 550.0 sec. user=vaughan [2009-08-09 11:20:13] 799*2^709307-1 is not prime. Res64: 9357B22F8F36FA5A Time : 710.0 sec. user=vaughan [2009-08-09 11:21:24] 733*2^709307-1 is not prime. Res64: DCE201322822399F Time : 791.0 sec. user=vaughan [2009-08-09 11:23:24] 735*2^709305-1 is not prime. Res64: 2E95C1E8D253CF4F Time : 1061.0 sec. user=vaughan [2009-08-09 11:23:24] 627*2^709308-1 is not prime. Res64: 54F319B79313D2C5 Time : 808.0 sec. user=vaughan [2009-08-09 11:24:37] 767*2^709308-1 is not prime. Res64: 002CAC42DDE8777E Time : 567.0 sec. user=vaughan [2009-08-09 11:24:45] 749*2^709308-1 is not prime. Res64: 128A778173AFC814 Time : 698.0 sec. user=vaughan [2009-08-09 11:26:31] 721*2^709309-1 is not prime. Res64: 94BF16880622EB15 Time : 570.0 sec. user=vaughan [2009-08-09 11:28:48] 707*2^709310-1 is not prime. Res64: 7C8944EDEC8C5E6C Time : 686.0 sec. user=vaughan [2009-08-09 11:28:51] 713*2^709310-1 is not prime. Res64: 17F2167C94B3CB29 Time : 688.0 sec. user=vaughan [2009-08-09 11:29:08] 685*2^709311-1 is not prime. Res64: AD90F75844623FCB Time : 572.0 sec. user=vaughan [2009-08-09 11:29:19] 705*2^709311-1 is not prime. Res64: E46D6BC742D13096 Time : 550.0 sec. user=vaughan [2009-08-09 11:31:52] 661*2^709311-1 is not prime. Res64: 07AB95B905D6C1ED Time : 809.0 sec. user=vaughan [2009-08-09 11:32:02] 709*2^709311-1 is not prime. Res64: FA53101B7B01860A Time : 710.0 sec. user=vaughan [2009-08-09 11:34:07] 609*2^709312-1 is not prime. Res64: 78A1779D660CCB0E Time : 570.0 sec. user=vaughan [2009-08-09 11:34:43] 741*2^709311-1 is not prime. Res64: 131FB2BF0403D9D6 Time : 799.0 sec. user=vaughan [2009-08-09 11:36:01] 639*2^709312-1 is not prime. Res64: A50EB5572610B875 Time : 570.0 sec. user=vaughan [2009-08-09 11:36:23] 635*2^709312-1 is not prime. Res64: 8429C6157A766A3E Time : 698.0 sec. user=vaughan [2009-08-09 11:36:51] 603*2^709312-1 is not prime. Res64: A5AFF4E209F0580E Time : 807.0 sec. user=tnerual [2009-08-09 11:37:50] 765*2^709306-1 is not prime. Res64: DADDACA451F80FE8 Time : 1820.0 sec. user=vaughan [2009-08-09 11:38:29] 699*2^709313-1 is not prime. Res64: 211A632F0562232B Time : 550.0 sec. user=vaughan [2009-08-09 11:38:34] 657*2^709313-1 is not prime. Res64: 9FB5617CA8054D71 Time : 567.0 sec. user=vaughan [2009-08-09 11:40:14] 653*2^709312-1 is not prime. Res64: 2436F8B37814AAC8 Time : 686.0 sec. user=vaughan [2009-08-09 11:40:18] 735*2^709312-1 is not prime. Res64: 09537217C572BCA7 Time : 688.0 sec. user=vaughan [2009-08-09 11:42:14] 769*2^709311-1 is not prime. Res64: 61643944C0E9C7F3 Time : 1130.0 sec. user=vaughan [2009-08-09 11:43:34] 789*2^709313-1 is not prime. Res64: A67C81FB24E04990 Time : 567.0 sec. user=vaughan [2009-08-09 11:43:51] 775*2^709313-1 is not prime. Res64: 4461BC60EF9A9DD1 Time : 709.0 sec. user=vaughan [2009-08-09 11:45:21] 727*2^709313-1 is not prime. Res64: 4FD15A183BB5C91F Time : 810.0 sec. user=vaughan [2009-08-09 11:45:29] 635*2^709314-1 is not prime. Res64: 12FEB21CAA3AB95D Time : 568.0 sec. user=vaughan [2009-08-09 11:47:38] 669*2^709316-1 is not prime. Res64: 306A383BC89421E5 Time : 549.0 sec. user=vaughan [2009-08-09 11:48:02] 711*2^709314-1 is not prime. Res64: C853A4B1E5951D63 Time : 699.0 sec. user=vaughan [2009-08-09 11:48:04] 669*2^709317-1 is not prime. Res64: B0EA492BBCB37D40 Time : 570.0 sec. user=vaughan [2009-08-09 11:48:55] 621*2^709314-1 is not prime. Res64: 702A1F090F2D970D Time : 852.0 sec. user=vaughan [2009-08-09 11:50:18] 731*2^709314-1 is not prime. Res64: BF4469FBF053E199 Time : 807.0 sec. user=vaughan [2009-08-09 11:51:40] 657*2^709318-1 is not prime. Res64: 23F261B8F194281C Time : 686.0 sec. user=vaughan [2009-08-09 11:51:47] 713*2^709318-1 is not prime. Res64: E1DF4FFC0086251A Time : 689.0 sec. user=vaughan [2009-08-09 11:53:02] 735*2^709319-1 is not prime. Res64: BAAB9C9EEA2BC6E4 Time : 568.0 sec. user=vaughan [2009-08-09 11:54:59] 695*2^709320-1 is not prime. Res64: 6700EF33A2CF7129 Time : 571.0 sec. user=vaughan [2009-08-09 11:55:40] 799*2^709319-1 is not prime. Res64: 49EB5E70EFA13C37 Time : 709.0 sec. user=vaughan [2009-08-09 11:56:47] 719*2^709320-1 is not prime. Res64: 02F709BB6BBF46A0 Time : 549.0 sec. user=vaughan [2009-08-09 11:57:33] 735*2^709320-1 is not prime. Res64: 8B156430848AE9CF Time : 569.0 sec. user=vaughan [2009-08-09 11:58:50] 689*2^709320-1 is not prime. Res64: 4ECE55AC279BAE82 Time : 810.0 sec. user=vaughan [2009-08-09 11:59:40] 725*2^709320-1 is not prime. Res64: DD1C2695DBF31EEB Time : 698.0 sec. user=vaughan [2009-08-09 12:01:09] 607*2^709321-1 is not prime. Res64: 35F540407F3EDC09 Time : 734.0 sec. user=vaughan [2009-08-09 12:02:32] 687*2^709321-1 is not prime. Res64: F1856DA448E31CA8 Time : 570.0 sec. user=vaughan [2009-08-09 12:02:32] 765*2^709318-1 is not prime. Res64: FD0B83AD63AD06F2 Time : 1218.0 sec. user=vaughan [2009-08-09 12:03:06] 645*2^709321-1 is not prime. Res64: B1C79A2161CA7910 Time : 686.0 sec. user=vaughan [2009-08-09 12:03:14] 679*2^709321-1 is not prime. Res64: DAF0B4BD6E30314C Time : 687.0 sec. user=vaughan [2009-08-09 12:03:47] 637*2^709321-1 is not prime. Res64: AD4157C9E2726B25 Time : 809.0 sec. user=vaughan [2009-08-09 12:04:27] 717*2^709321-1 is not prime. Res64: DEC6816E08939678 Time : 569.0 sec. user=vaughan [2009-08-09 12:05:56] 747*2^709321-1 is not prime. Res64: 0CCE74079796DFBE Time : 549.0 sec. user=vaughan [2009-08-09 12:07:04] 633*2^709322-1 is not prime. Res64: B9665227B6191C91 Time : 571.0 sec. user=vaughan [2009-08-09 12:07:30] 741*2^709321-1 is not prime. Res64: A256FC63375B249B Time : 710.0 sec. user=vaughan [2009-08-09 12:11:18] 705*2^709322-1 is not prime. Res64: BE1E452790700A1A Time : 699.0 sec. user=tnerual [2009-08-09 12:11:28] 663*2^709315-1 is not prime. Res64: 039D776B09A42FEC Time : 2018.0 sec. user=vaughan [2009-08-09 12:11:59] 771*2^709322-1 is not prime. Res64: 6A3005301C1C1A88 Time : 567.0 sec. user=vaughan [2009-08-09 12:12:18] 645*2^709322-1 is not prime. Res64: C53AC0647C7C3A1F Time : 809.0 sec. user=vaughan [2009-08-09 12:13:57] 727*2^709325-1 is not prime. Res64: 226658E71BC0B30B Time : 570.0 sec. user=vaughan [2009-08-09 12:14:33] 629*2^709324-1 is not prime. Res64: 1A5EEA9AE2FC3A7B Time : 687.0 sec. user=vaughan [2009-08-09 12:14:43] 663*2^709324-1 is not prime. Res64: 48EA3C7F1CB37BC5 Time : 689.0 sec. user=vaughan [2009-08-09 12:15:04] 741*2^709325-1 is not prime. Res64: 9F787D115F0E10FD Time : 549.0 sec. user=vaughan [2009-08-09 12:15:34] 755*2^709322-1 is not prime. Res64: 54670E0930AE1DB9 Time : 865.0 sec. user=vaughan [2009-08-09 12:16:33] 705*2^709326-1 is not prime. Res64: 5A008DF3234917D9 Time : 569.0 sec. user=vaughan [2009-08-09 12:17:16] 669*2^709325-1 is not prime. Res64: C242EA59583EC75E Time : 809.0 sec. user=vaughan [2009-08-09 12:19:19] 717*2^709326-1 is not prime. Res64: AFF6E73F1142C988 Time : 710.0 sec. user=vaughan [2009-08-09 12:20:18] 789*2^709323-1 is not prime. Res64: 65915729201E6F63 Time : 1066.0 sec. user=vaughan [2009-08-09 12:21:26] 705*2^709327-1 is not prime. Res64: C64BB44239FED7DE Time : 567.0 sec. user=vaughan [2009-08-09 12:22:57] 673*2^709327-1 is not prime. Res64: B3A72669CD1B47B4 Time : 699.0 sec. user=vaughan [2009-08-09 12:23:26] 617*2^709328-1 is not prime. Res64: 922027C5916F3177 Time : 569.0 sec. user=vaughan [2009-08-09 12:24:14] 683*2^709328-1 is not prime. Res64: 39DA385B6CEAEE05 Time : 550.0 sec. user=vaughan [2009-08-09 12:25:46] 729*2^709327-1 is not prime. Res64: BECF5366A07B050F Time : 808.0 sec. user=vaughan [2009-08-09 12:25:59] 665*2^709328-1 is not prime. Res64: 4B9D417ACC28D2D7 Time : 687.0 sec. user=vaughan [2009-08-09 12:26:00] 667*2^709329-1 is not prime. Res64: E6561F9C4D7EEC20 Time : 567.0 sec. user=vaughan [2009-08-09 12:26:11] 677*2^709328-1 is not prime. Res64: 9CC63FFD10DB4CDA Time : 688.0 sec. user=vaughan [2009-08-09 12:29:52] 699*2^709328-1 is not prime. Res64: 42668490CB4103C3 Time : 858.0 sec. user=vaughan [2009-08-09 12:30:45] 669*2^709329-1 is not prime. Res64: 1CD74EA001A42D20 Time : 809.0 sec. user=vaughan [2009-08-09 12:30:55] 747*2^709329-1 is not prime. Res64: A467AD46C91AD6CA Time : 569.0 sec. user=vaughan [2009-08-09 12:31:08] 679*2^709329-1 is not prime. Res64: F9F5B9BEBA246E26 Time : 709.0 sec. user=vaughan [2009-08-09 12:32:55] 635*2^709330-1 is not prime. Res64: 48B4F66C14D038FC Time : 569.0 sec. user=vaughan [2009-08-09 12:33:22] 755*2^709330-1 is not prime. Res64: FEB567F1BF3BD54B Time : 548.0 sec. user=vaughan [2009-08-09 12:34:36] 795*2^709329-1 is not prime. Res64: 86ACF41C0996A9C2 Time : 699.0 sec. user=vaughan [2009-08-09 12:35:30] 715*2^709331-1 is not prime. Res64: 2F2CF2A4975D4A62 Time : 570.0 sec. user=vaughan [2009-08-09 12:37:01] 705*2^709329-1 is not prime. Res64: 8B84A82C9EA30549 Time : 1003.0 sec. user=vaughan [2009-08-09 12:37:25] 669*2^709331-1 is not prime. Res64: 903E7D7B23A34753 Time : 686.0 sec. user=vaughan [2009-08-09 12:37:39] 741*2^709331-1 is not prime. Res64: CF675CEF33AFB988 Time : 688.0 sec. user=vaughan [2009-08-09 12:39:14] 783*2^709330-1 is not prime. Res64: 515F26A43C7E44C8 Time : 809.0 sec. user=vaughan [2009-08-09 12:40:24] 639*2^709333-1 is not prime. Res64: 21C11066516B558D Time : 569.0 sec. user=tnerual [2009-08-09 12:41:46] 703*2^709327-1 is not prime. Res64: 64BAD5010EDF6668 Time : 1818.0 sec. user=vaughan [2009-08-09 12:42:24] 627*2^709334-1 is not prime. Res64: 6F026B19E5565C05 Time : 569.0 sec. user=vaughan [2009-08-09 12:42:32] 641*2^709334-1 is not prime. Res64: 63F9AF8B0969DAD8 Time : 550.0 sec. user=vaughan [2009-08-09 12:42:57] 687*2^709333-1 is not prime. Res64: B9E7ED979DF9FA76 Time : 709.0 sec. user=vaughan [2009-08-09 12:43:42] 647*2^709332-1 is not prime. Res64: 94B70AEF1D57AC57 Time : 830.0 sec. user=vaughan [2009-08-09 12:44:14] 765*2^709332-1 is not prime. Res64: 108D5E02B0C40444 Time : 809.0 sec. user=vaughan [2009-08-09 12:45:00] 705*2^709334-1 is not prime. Res64: 5F9A384BEAE7F68D Time : 570.0 sec. user=vaughan [2009-08-09 12:46:14] 693*2^709334-1 is not prime. Res64: D234698F2E67105D Time : 699.0 sec. user=vaughan [2009-08-09 12:48:52] 711*2^709334-1 is not prime. Res64: 9470950770BE5A0A Time : 687.0 sec. user=vaughan [2009-08-09 12:49:06] 633*2^709335-1 is not prime. Res64: 0EA7F7A37EF14D60 Time : 687.0 sec. user=vaughan [2009-08-09 12:49:55] 723*2^709335-1 is not prime. Res64: C54239CDB461A0D8 Time : 572.0 sec. user=vaughan [2009-08-09 12:51:42] 719*2^709336-1 is not prime. Res64: 61613C5FD31F6CBC Time : 550.0 sec. user=vaughan [2009-08-09 12:51:51] 789*2^709335-1 is not prime. Res64: 36E2D1DA347B6018 Time : 568.0 sec. user=vaughan [2009-08-09 12:52:42] 649*2^709335-1 is not prime. Res64: CAE0FD4E2E89A0B8 Time : 809.0 sec. user=vaughan [2009-08-09 12:54:30] 619*2^709337-1 is not prime. Res64: DEA2D63B1B200DB6 Time : 570.0 sec. user=vaughan [2009-08-09 12:54:47] 723*2^709336-1 is not prime. Res64: AE530384C78E26C9 Time : 710.0 sec. user=vaughan [2009-08-09 12:56:11] 765*2^709336-1 is not prime. Res64: E63BD40170D1C840 Time : 749.0 sec. user=vaughan [2009-08-09 12:56:47] 707*2^709334-1 is not prime. Res64: 683CA99037B37B83 Time : 1186.0 sec. user=vaughan [2009-08-09 12:57:43] 773*2^709336-1 is not prime. Res64: DAF80D035EEA8A9C Time : 810.0 sec. user=vaughan [2009-08-09 12:57:54] 669*2^709337-1 is not prime. Res64: F87E5C136CDED875 Time : 700.0 sec. user=vaughan [2009-08-09 12:59:27] 663*2^709338-1 is not prime. Res64: 1C4B08FFD2F10F9C Time : 572.0 sec. user=vaughan [2009-08-09 13:00:18] 711*2^709337-1 is not prime. Res64: E788A6520B1B31F2 Time : 686.0 sec. user=vaughan [2009-08-09 13:00:34] 759*2^709337-1 is not prime. Res64: EA8ABBC8AF80EA71 Time : 688.0 sec. user=vaughan [2009-08-09 13:00:52] 705*2^709338-1 is not prime. Res64: 1786C2A556F17652 Time : 550.0 sec. user=vaughan [2009-08-09 13:01:19] 725*2^709338-1 is not prime. Res64: DCB0BB7AC7BBE9DA Time : 568.0 sec. user=vaughan [2009-08-09 13:04:01] 745*2^709339-1 is not prime. Res64: D366CF5736110201 Time : 571.0 sec. user=vaughan [2009-08-09 13:06:09] 741*2^709339-1 is not prime. Res64: 95EC2DE7DB2F3182 Time : 807.0 sec. user=vaughan [2009-08-09 13:06:36] 771*2^709339-1 is not prime. Res64: 8AF624E2BC8C2EAD Time : 709.0 sec. user=vaughan [2009-08-09 13:08:37] 775*2^709339-1 is not prime. Res64: C532C96006EB2251 Time : 746.0 sec. user=vaughan [2009-08-09 13:08:58] 717*2^709341-1 is not prime. Res64: EBCAE5C549FFE840 Time : 571.0 sec. user=vaughan [2009-08-09 13:09:32] 649*2^709341-1 is not prime. Res64: 7AF25BF9E23E39D1 Time : 699.0 sec. user=vaughan [2009-08-09 13:10:01] 675*2^709342-1 is not prime. Res64: 2C90C8C7B7E4AEDC Time : 549.0 sec. user=vaughan [2009-08-09 13:10:50] 681*2^709342-1 is not prime. Res64: D5F532F7AEEA89E2 Time : 571.0 sec. user=vaughan [2009-08-09 13:11:11] 659*2^709340-1 is not prime. Res64: DB48DCEF7A960ADE Time : 809.0 sec. user=vaughan [2009-08-09 13:11:45] 795*2^709341-1 is not prime. Res64: 8A1335FCD13A12DF Time : 687.0 sec. user=vaughan [2009-08-09 13:12:03] 665*2^709342-1 is not prime. Res64: B597C69AC0201C56 Time : 689.0 sec. user=tnerual [2009-08-09 13:12:04] 781*2^709335-1 is not prime. Res64: 488EBDA46F34FA30 Time : 1818.0 sec. user=vaughan [2009-08-09 13:13:30] 741*2^709342-1 is not prime. Res64: 67DCC7E642B2C8A5 Time : 569.0 sec. user=vaughan [2009-08-09 13:18:26] 621*2^709343-1 is not prime. Res64: 34282E4251F2D093 Time : 710.0 sec. user=vaughan [2009-08-09 13:18:26] 669*2^709343-1 is not prime. Res64: 2CF49EAE5C7C5299 Time : 568.0 sec. user=vaughan [2009-08-09 13:18:30] 635*2^709340-1 is not prime. Res64: 5A7B5BB7FC12B105 Time : 1303.0 sec. user=vaughan [2009-08-09 13:19:10] 789*2^709343-1 is not prime. Res64: DB1E02B3CD06A5B6 Time : 550.0 sec. user=vaughan [2009-08-09 13:19:37] 603*2^709343-1 is not prime. Res64: C0F9153F4ECF57BE Time : 808.0 sec. user=vaughan [2009-08-09 13:20:20] 615*2^709344-1 is not prime. Res64: 4BD988A6A2717B75 Time : 570.0 sec. user=vaughan [2009-08-09 13:21:11] 685*2^709343-1 is not prime. Res64: B470744955F99CBA Time : 699.0 sec. user=vaughan [2009-08-09 13:21:43] 633*2^709343-1 is not prime. Res64: 8406189D7FCE0AAD Time : 786.0 sec. user=vaughan [2009-08-09 13:23:03] 775*2^709345-1 is not prime. Res64: 4225BF805C466672 Time : 573.0 sec. user=vaughan [2009-08-09 13:23:11] 693*2^709344-1 is not prime. Res64: 7A5374F9ECB6B437 Time : 686.0 sec. user=vaughan [2009-08-09 13:23:30] 705*2^709344-1 is not prime. Res64: 8EF2C20EA0D4B696 Time : 688.0 sec. user=vaughan [2009-08-09 13:24:39] 689*2^709344-1 is not prime. Res64: 93F6D13B42BC1B36 Time : 809.0 sec. user=vaughan [2009-08-09 13:27:57] 651*2^709347-1 is not prime. Res64: B08BEF3790511817 Time : 571.0 sec. user=vaughan [2009-08-09 13:28:20] 793*2^709347-1 is not prime. Res64: 850B31AB575C4EA9 Time : 551.0 sec. user=vaughan [2009-08-09 13:29:52] 695*2^709348-1 is not prime. Res64: 230CD9A6689E8095 Time : 572.0 sec. user=vaughan [2009-08-09 13:30:15] 799*2^709345-1 is not prime. Res64: B8CCFFDFCB7F1065 Time : 709.0 sec. user=vaughan [2009-08-09 13:32:34] 681*2^709350-1 is not prime. Res64: 1C25DEBFC0031137 Time : 571.0 sec. user=vaughan [2009-08-09 13:32:49] 743*2^709348-1 is not prime. Res64: 48A12C9F05F138DB Time : 698.0 sec. user=vaughan [2009-08-09 13:33:05] 663*2^709348-1 is not prime. Res64: A5789EF5EE826739 Time : 808.0 sec. user=vaughan [2009-08-09 13:34:38] 693*2^709350-1 is not prime. Res64: C064BFF308FDB104 Time : 687.0 sec. user=vaughan [2009-08-09 13:34:58] 717*2^709350-1 is not prime. Res64: 37D93F3F92DABA04 Time : 688.0 sec. user=vaughan [2009-08-09 13:35:38] 749*2^709348-1 is not prime. Res64: C231E6409C5481B0 Time : 835.0 sec. user=vaughan [2009-08-09 13:36:00] 705*2^709347-1 is not prime. Res64: AA4F105CAD80835E Time : 1050.0 sec. user=vaughan [2009-08-09 13:37:26] 791*2^709350-1 is not prime. Res64: D1D0E3CBF305121B Time : 570.0 sec. user=vaughan [2009-08-09 13:37:30] 603*2^709351-1 is not prime. Res64: D88EF1E24D22FE9F Time : 550.0 sec. user=vaughan [2009-08-09 13:38:07] 783*2^709350-1 is not prime. Res64: D228B98889610966 Time : 809.0 sec. user=vaughan [2009-08-09 13:39:20] 705*2^709351-1 is not prime. Res64: F3C2611CBED6FF04 Time : 568.0 sec. user=vaughan [2009-08-09 13:42:05] 789*2^709351-1 is not prime. Res64: FA28A76D588E891C Time : 710.0 sec. user=vaughan [2009-08-09 13:42:07] 609*2^709352-1 is not prime. Res64: F65A5FDFB001C100 Time : 574.0 sec. user=tnerual [2009-08-09 13:42:22] 707*2^709344-1 is not prime. Res64: BD6687DB44207518 Time : 1818.0 sec. user=vaughan [2009-08-09 13:44:28] 635*2^709352-1 is not prime. Res64: 2767F8DFC8F9D3AB Time : 699.0 sec. user=vaughan [2009-08-09 13:46:04] 713*2^709352-1 is not prime. Res64: 71CEED4EF2684A98 Time : 686.0 sec. user=vaughan [2009-08-09 13:46:25] 753*2^709352-1 is not prime. Res64: E6CDD9C6A36A4004 Time : 688.0 sec. user=vaughan [2009-08-09 13:46:33] 665*2^709352-1 is not prime. Res64: 0ACDC3148C7F5B10 Time : 808.0 sec. user=vaughan [2009-08-09 13:46:39] 789*2^709353-1 is not prime. Res64: 5451C1428CB817AA Time : 549.0 sec. user=vaughan [2009-08-09 13:46:54] 679*2^709353-1 is not prime. Res64: 2083051F4CD26D19 Time : 569.0 sec. user=vaughan [2009-08-09 13:48:51] 705*2^709354-1 is not prime. Res64: 3451151CA3345648 Time : 571.0 sec. user=vaughan [2009-08-09 13:50:49] 797*2^709352-1 is not prime. Res64: EB60E9E8BFCDCB91 Time : 911.0 sec. user=vaughan [2009-08-09 13:51:36] 605*2^709354-1 is not prime. Res64: F6FA95E4D0B31A83 Time : 809.0 sec. user=vaughan [2009-08-09 13:51:38] 609*2^709356-1 is not prime. Res64: 4E15422D66F82738 Time : 571.0 sec. user=vaughan [2009-08-09 13:52:19] 649*2^709353-1 is not prime. Res64: 77FEB1F4E69C7D73 Time : 979.0 sec. user=vaughan [2009-08-09 13:53:55] 783*2^709354-1 is not prime. Res64: 4535974111B2D677 Time : 710.0 sec. user=vaughan [2009-08-09 13:55:48] 765*2^709356-1 is not prime. Res64: 1573F43C4302D741 Time : 549.0 sec. user=vaughan [2009-08-09 13:56:06] 689*2^709356-1 is not prime. Res64: 8968B7014CEFFDDB Time : 699.0 sec. user=vaughan [2009-08-09 13:56:23] 651*2^709357-1 is not prime. Res64: 740023EC3A6D0D95 Time : 569.0 sec. user=vaughan [2009-08-09 13:57:31] 707*2^709356-1 is not prime. Res64: DB57EA7BB09C0B97 Time : 687.0 sec. user=vaughan [2009-08-09 13:57:53] 749*2^709356-1 is not prime. Res64: E7B1AA10B4297233 Time : 688.0 sec. user=vaughan [2009-08-09 13:58:21] 675*2^709357-1 is not prime. Res64: 91FAD63183153357 Time : 571.0 sec. user=vaughan [2009-08-09 14:00:01] 759*2^709356-1 is not prime. Res64: 8EF1386E7E2E2EA5 Time : 808.0 sec. user=vaughan [2009-08-09 14:01:06] 757*2^709357-1 is not prime. Res64: 992477AE9D4B2C9E Time : 569.0 sec. user=vaughan [2009-08-09 14:04:57] 693*2^709358-1 is not prime. Res64: 7A9AD4A92D9A45A8 Time : 549.0 sec. user=vaughan [2009-08-09 14:05:04] 751*2^709357-1 is not prime. Res64: 218B17840F9AF48D Time : 808.0 sec. user=vaughan [2009-08-09 14:05:45] 645*2^709358-1 is not prime. Res64: D959C6B725C17153 Time : 710.0 sec. user=vaughan [2009-08-09 14:05:52] 633*2^709359-1 is not prime. Res64: 5080BDCB56D4C851 Time : 569.0 sec. user=vaughan [2009-08-09 14:06:10] 699*2^709357-1 is not prime. Res64: 0AACB18E8BB2726C Time : 922.0 sec. user=vaughan [2009-08-09 14:06:36] 777*2^709357-1 is not prime. Res64: 37ED2B58755B9813 Time : 858.0 sec. user=vaughan [2009-08-09 14:07:44] 743*2^709358-1 is not prime. Res64: BB079BB02A9789EA Time : 699.0 sec. user=vaughan [2009-08-09 14:07:51] 635*2^709360-1 is not prime. Res64: 34602A659F15F54A Time : 571.0 sec. user=vaughan [2009-08-09 14:08:57] 639*2^709359-1 is not prime. Res64: 5EEF527F3B782542 Time : 686.0 sec. user=vaughan [2009-08-09 14:09:20] 751*2^709359-1 is not prime. Res64: 4DC3A852EDE4DDE3 Time : 687.0 sec. user=vaughan [2009-08-09 14:10:36] 713*2^709360-1 is not prime. Res64: 755289A753A942B6 Time : 570.0 sec. user=tnerual [2009-08-09 14:12:39] 627*2^709356-1 is not prime. Res64: BB7222B7C44BE7EB Time : 1817.0 sec. user=vaughan [2009-08-09 14:13:17] 663*2^709360-1 is not prime. Res64: 59F2D39CF60D786B Time : 796.0 sec. user=vaughan [2009-08-09 14:14:07] 717*2^709360-1 is not prime. Res64: FA52DA086CEE76CE Time : 551.0 sec. user=vaughan [2009-08-09 14:15:22] 685*2^709361-1 is not prime. Res64: 6BCD1320610C7D92 Time : 570.0 sec. user=vaughan [2009-08-09 14:17:17] 695*2^709362-1 is not prime. Res64: 258123F8B186CD22 Time : 567.0 sec. user=vaughan [2009-08-09 14:17:34] 679*2^709361-1 is not prime. Res64: 105A7159B713174D Time : 709.0 sec. user=vaughan [2009-08-09 14:18:13] 747*2^709360-1 is not prime. Res64: 9ACB32BCD91B6065 Time : 789.0 sec. user=vaughan [2009-08-09 14:19:21] 683*2^709362-1 is not prime. Res64: E848F878CDE3E614 Time : 698.0 sec. user=vaughan [2009-08-09 14:20:07] 709*2^709363-1 is not prime. Res64: 3C8B82C73DD30831 Time : 571.0 sec. user=vaughan [2009-08-09 14:20:24] 711*2^709362-1 is not prime. Res64: 6B248A5C379069C5 Time : 687.0 sec. user=vaughan [2009-08-09 14:20:26] 691*2^709361-1 is not prime. Res64: BADC608BAC6D626A Time : 856.0 sec. user=vaughan [2009-08-09 14:20:48] 705*2^709363-1 is not prime. Res64: 382F2344845568A3 Time : 688.0 sec. user=vaughan [2009-08-09 14:23:18] 743*2^709364-1 is not prime. Res64: F987DFAB017349E1 Time : 551.0 sec. user=vaughan [2009-08-09 14:24:24] 697*2^709361-1 is not prime. Res64: 4A9E11E00B5B27B3 Time : 1068.0 sec. user=vaughan [2009-08-09 14:24:51] 767*2^709364-1 is not prime. Res64: 66147B89C42AB764 Time : 569.0 sec. user=vaughan [2009-08-09 14:26:28] 719*2^709364-1 is not prime. Res64: C051900AFCF07FA3 Time : 791.0 sec. user=vaughan [2009-08-09 14:26:44] 657*2^709365-1 is not prime. Res64: ABA8FCB4AD0C9CAA Time : 568.0 sec. user=vaughan [2009-08-09 14:29:23] 709*2^709365-1 is not prime. Res64: D6531ACC706E3CD1 Time : 709.0 sec. user=vaughan [2009-08-09 14:29:38] 777*2^709365-1 is not prime. Res64: 1124232366938C3C Time : 571.0 sec. user=vaughan [2009-08-09 14:31:00] 759*2^709365-1 is not prime. Res64: DC68C4D9337E4C9C Time : 699.0 sec. user=vaughan [2009-08-09 14:31:26] 735*2^709365-1 is not prime. Res64: E0E160ECABA03E8E Time : 793.0 sec. user=vaughan [2009-08-09 14:31:49] 645*2^709366-1 is not prime. Res64: 416404CA1A87BCC6 Time : 685.0 sec. user=vaughan [2009-08-09 14:32:16] 633*2^709367-1 is not prime. Res64: 6B5465157ECBCC37 Time : 688.0 sec. user=vaughan [2009-08-09 14:32:29] 759*2^709367-1 is not prime. Res64: B81E8726A3F64ABA Time : 551.0 sec. user=vaughan [2009-08-09 14:34:20] 753*2^709368-1 is not prime. Res64: 3DA7AF1326D504E2 Time : 569.0 sec. user=vaughan [2009-08-09 14:34:29] 663*2^709366-1 is not prime. Res64: 51875B97BE665240 Time : 843.0 sec. user=vaughan [2009-08-09 14:36:12] 601*2^709369-1 is not prime. Res64: 344D03EAFE813AD4 Time : 569.0 sec. user=vaughan [2009-08-09 14:39:07] 625*2^709369-1 is not prime. Res64: 56A6B51571CDAA90 Time : 569.0 sec. user=vaughan [2009-08-09 14:39:43] 789*2^709368-1 is not prime. Res64: 3A1F5995EA76206A Time : 795.0 sec. user=vaughan [2009-08-09 14:41:12] 609*2^709369-1 is not prime. Res64: BE36A8C93CF07CBB Time : 709.0 sec. user=vaughan [2009-08-09 14:41:38] 605*2^709370-1 is not prime. Res64: 3AE5C0FC8669EBF4 Time : 549.0 sec. user=vaughan [2009-08-09 14:42:38] 667*2^709369-1 is not prime. Res64: 88D783247C25D091 Time : 698.0 sec. user=tnerual [2009-08-09 14:42:57] 677*2^709364-1 is not prime. Res64: 89AA48F43519BE3C Time : 1818.0 sec. user=vaughan [2009-08-09 14:43:16] 747*2^709369-1 is not prime. Res64: 3B49B8DE98776339 Time : 687.0 sec. user=vaughan [2009-08-09 14:43:43] 751*2^709369-1 is not prime. Res64: 6B554CCD76B690A5 Time : 687.0 sec. user=vaughan [2009-08-09 14:43:48] 657*2^709370-1 is not prime. Res64: CE467A17A785B5FC Time : 568.0 sec. user=vaughan [2009-08-09 14:44:45] 681*2^709369-1 is not prime. Res64: BC540950B9B9F7DB Time : 799.0 sec. user=vaughan [2009-08-09 14:44:52] 627*2^709368-1 is not prime. Res64: 0DE7F0DCE836F487 Time : 1229.0 sec. user=vaughan [2009-08-09 14:45:39] 745*2^709371-1 is not prime. Res64: 07E9A7B7CDB381D5 Time : 567.0 sec. user=vaughan [2009-08-09 14:46:57] 679*2^709371-1 is not prime. Res64: 68881844EE5DBFCB Time : 748.0 sec. user=vaughan [2009-08-09 14:48:36] 605*2^709372-1 is not prime. Res64: E03D6DDE27AE468C Time : 570.0 sec. user=vaughan [2009-08-09 14:50:50] 675*2^709372-1 is not prime. Res64: 9FD528A450BF0A10 Time : 552.0 sec. user=vaughan [2009-08-09 14:53:01] 615*2^709372-1 is not prime. Res64: 09047DF67C3134E7 Time : 798.0 sec. user=vaughan [2009-08-09 14:53:01] 629*2^709372-1 is not prime. Res64: 11C0FD944FD16F7F Time : 709.0 sec. user=vaughan [2009-08-09 14:53:18] 607*2^709373-1 is not prime. Res64: 88C53CADAAC234A8 Time : 570.0 sec. user=vaughan [2009-08-09 14:54:17] 689*2^709372-1 is not prime. Res64: 6846478C66C158B9 Time : 699.0 sec. user=vaughan [2009-08-09 14:54:42] 735*2^709372-1 is not prime. Res64: C6FFC9F21ECC3EEB Time : 686.0 sec. user=vaughan [2009-08-09 14:55:09] 745*2^709373-1 is not prime. Res64: EE122F01E3F863FD Time : 570.0 sec. user=vaughan [2009-08-09 14:55:12] 779*2^709372-1 is not prime. Res64: 347C079F4902D5A6 Time : 689.0 sec. user=vaughan [2009-08-09 14:58:05] 651*2^709373-1 is not prime. Res64: 8F9675962149D883 Time : 800.0 sec. user=vaughan [2009-08-09 14:58:07] 635*2^709374-1 is not prime. Res64: D1E4B612FF03AF97 Time : 571.0 sec. user=vaughan [2009-08-09 14:59:49] 611*2^709374-1 is not prime. Res64: 992DA1485ED9223F Time : 772.0 sec. user=vaughan [2009-08-09 15:00:00] 641*2^709374-1 is not prime. Res64: 6E544C8CB18A789D Time : 551.0 sec. user=vaughan [2009-08-09 15:02:46] 633*2^709375-1 is not prime. Res64: 74BD1F280BE68660 Time : 568.0 sec. user=vaughan [2009-08-09 15:04:24] 727*2^709373-1 is not prime. Res64: 439FB0DAE597643F Time : 1172.0 sec. user=vaughan [2009-08-09 15:04:40] 723*2^709375-1 is not prime. Res64: CDC04F3989B362B8 Time : 571.0 sec. user=vaughan [2009-08-09 15:04:51] 755*2^709374-1 is not prime. Res64: 91F6B50536A2B793 Time : 710.0 sec. user=vaughan [2009-08-09 15:05:56] 675*2^709375-1 is not prime. Res64: 704CA481DBF11DB4 Time : 699.0 sec. user=vaughan [2009-08-09 15:06:09] 679*2^709375-1 is not prime. Res64: D8B8E5026D56FFCD Time : 687.0 sec. user=vaughan [2009-08-09 15:06:19] 711*2^709374-1 is not prime. Res64: EB9C311E004C5AAD Time : 798.0 sec. user=vaughan [2009-08-09 15:06:41] 765*2^709375-1 is not prime. Res64: 549848197AD4DFD3 Time : 689.0 sec. user=vaughan [2009-08-09 15:07:35] 725*2^709376-1 is not prime. Res64: 4FF2C959DD16D637 Time : 568.0 sec. user=vaughan [2009-08-09 15:09:07] 789*2^709376-1 is not prime. Res64: 7D89581BA7C9B2B4 Time : 547.0 sec. user=vaughan [2009-08-09 15:11:23] 771*2^709375-1 is not prime. Res64: EF6674B12F8C6466 Time : 798.0 sec. user=vaughan [2009-08-09 15:12:14] 735*2^709377-1 is not prime. Res64: 796BAF077D998747 Time : 568.0 sec. user=vaughan [2009-08-09 15:12:55] 743*2^709376-1 is not prime. Res64: 57EEC39D207D7ECD Time : 786.0 sec. user=tnerual [2009-08-09 15:13:19] 719*2^709372-1 is not prime. Res64: C3F4E0161F4CE6A6 Time : 1822.0 sec. user=vaughan [2009-08-09 15:14:09] 781*2^709377-1 is not prime. Res64: B8EC53AA4667FA13 Time : 570.0 sec. user=vaughan [2009-08-09 15:16:41] 605*2^709378-1 is not prime. Res64: 83739ECFBCFA8D84 Time : 710.0 sec. user=vaughan [2009-08-09 15:17:04] 759*2^709380-1 is not prime. Res64: 4103BBA6749761D4 Time : 569.0 sec. user=vaughan [2009-08-09 15:17:34] 621*2^709378-1 is not prime. Res64: 792A1C793BB14411 Time : 699.0 sec. user=vaughan [2009-08-09 15:17:36] 665*2^709378-1 is not prime. Res64: 239AC50E3EA5D718 Time : 687.0 sec. user=vaughan [2009-08-09 15:18:10] 695*2^709380-1 is not prime. Res64: 1C4BB1031A2D4989 Time : 690.0 sec. user=vaughan [2009-08-09 15:18:14] 767*2^709380-1 is not prime. Res64: C0E40A8F1C2274FD Time : 547.0 sec. user=vaughan [2009-08-09 15:19:39] 771*2^709379-1 is not prime. Res64: 614FEA727F1CEA2D Time : 800.0 sec. user=vaughan [2009-08-09 15:21:46] 687*2^709381-1 is not prime. Res64: 82BD94C5BA3107E2 Time : 572.0 sec. user=vaughan [2009-08-09 15:23:40] 683*2^709382-1 is not prime. Res64: 6765EBD2EBACD024 Time : 571.0 sec. user=vaughan [2009-08-09 15:23:58] 777*2^709377-1 is not prime. Res64: 087B713A4E8D09E8 Time : 1175.0 sec. user=vaughan [2009-08-09 15:24:38] 797*2^709380-1 is not prime. Res64: DD6C0CB55218A403 Time : 795.0 sec. user=vaughan [2009-08-09 15:26:01] 691*2^709381-1 is not prime. Res64: 98A64EF501CFFB99 Time : 786.0 sec. user=vaughan [2009-08-09 15:26:35] 783*2^709383-1 is not prime. Res64: B532DA6CF9AC018E Time : 571.0 sec. user=vaughan [2009-08-09 15:27:23] 755*2^709384-1 is not prime. Res64: EACDCF3A9FDB4233 Time : 549.0 sec. user=vaughan [2009-08-09 15:28:30] 735*2^709383-1 is not prime. Res64: B21F8030E576A29C Time : 709.0 sec. user=vaughan [2009-08-09 15:29:03] 677*2^709384-1 is not prime. Res64: B4F4CDA2EF0F8807 Time : 687.0 sec. user=vaughan [2009-08-09 15:29:13] 657*2^709384-1 is not prime. Res64: 1A629FFACC5A8766 Time : 699.0 sec. user=vaughan [2009-08-09 15:29:41] 693*2^709384-1 is not prime. Res64: 6EBABA18099FC1B1 Time : 691.0 sec. user=vaughan [2009-08-09 15:31:15] 657*2^709385-1 is not prime. Res64: A2A7AA09D05D6689 Time : 569.0 sec. user=vaughan [2009-08-09 15:33:01] 765*2^709384-1 is not prime. Res64: BDEEC1C53F178BC3 Time : 802.0 sec. user=vaughan [2009-08-09 15:33:09] 717*2^709385-1 is not prime. Res64: 0134CFCBAFC9F520 Time : 570.0 sec. user=vaughan [2009-08-09 15:36:06] 647*2^709386-1 is not prime. Res64: D78226F7397E40CB Time : 571.0 sec. user=vaughan [2009-08-09 15:36:31] 725*2^709386-1 is not prime. Res64: 46AD6A0536A2EBF2 Time : 548.0 sec. user=vaughan [2009-08-09 15:37:56] 795*2^709385-1 is not prime. Res64: 532E8A323A67B25C Time : 798.0 sec. user=vaughan [2009-08-09 15:39:48] 627*2^709386-1 is not prime. Res64: FF439FE6806FEC7A Time : 827.0 sec. user=vaughan [2009-08-09 15:40:45] 793*2^709387-1 is not prime. Res64: 35ABE351A9D10A04 Time : 570.0 sec. user=vaughan [2009-08-09 15:40:45] 621*2^709387-1 is not prime. Res64: CB1C8E04CFB0D185 Time : 735.0 sec. user=vaughan [2009-08-09 15:41:16] 735*2^709387-1 is not prime. Res64: 3C697BC2F6DD0482 Time : 723.0 sec. user=vaughan [2009-08-09 15:41:22] 765*2^709387-1 is not prime. Res64: AE10D18FFDBD039E Time : 701.0 sec. user=vaughan [2009-08-09 15:41:25] 703*2^709387-1 is not prime. Res64: 8485E9D1BE742466 Time : 742.0 sec. user=vaughan [2009-08-09 15:42:38] 759*2^709388-1 is not prime. Res64: 188FFC0534B92907 Time : 569.0 sec. user=vaughan [2009-08-09 15:42:38] 775*2^709385-1 is not prime. Res64: E780F1F7181AFF95 Time : 1120.0 sec. user=tnerual [2009-08-09 15:43:38] 617*2^709382-1 is not prime. Res64: 16EF743A1B069797 Time : 1819.0 sec. user=vaughan [2009-08-09 15:45:36] 767*2^709388-1 is not prime. Res64: C3EE91E7EFC08691 Time : 570.0 sec. user=vaughan [2009-08-09 15:45:41] 765*2^709389-1 is not prime. Res64: 79AE6FCD51F9FF7C Time : 550.0 sec. user=vaughan [2009-08-09 15:46:19] 755*2^709388-1 is not prime. Res64: 1FAF71BBA91F58B8 Time : 798.0 sec. user=vaughan [2009-08-09 15:50:15] 605*2^709390-1 is not prime. Res64: 5DC9AF376533696E Time : 570.0 sec. user=vaughan [2009-08-09 15:51:15] 769*2^709389-1 is not prime. Res64: 00C8E150BBE9E1DE Time : 799.0 sec. user=vaughan [2009-08-09 15:52:08] 619*2^709391-1 is not prime. Res64: 0A2E6E51245F8783 Time : 570.0 sec. user=vaughan [2009-08-09 15:52:59] 675*2^709390-1 is not prime. Res64: 06188D80606FBE9A Time : 734.0 sec. user=vaughan [2009-08-09 15:53:01] 741*2^709390-1 is not prime. Res64: 98426EC6EAE7CA31 Time : 699.0 sec. user=vaughan [2009-08-09 15:53:17] 717*2^709390-1 is not prime. Res64: 9D4857929955D7F1 Time : 721.0 sec. user=vaughan [2009-08-09 15:53:46] 615*2^709391-1 is not prime. Res64: C37F9C5B46E07A54 Time : 741.0 sec. user=vaughan [2009-08-09 15:54:49] 789*2^709391-1 is not prime. Res64: F75836F4F307CC82 Time : 548.0 sec. user=vaughan [2009-08-09 15:55:04] 789*2^709389-1 is not prime. Res64: C11565BD7B08AD3E Time : 916.0 sec. user=vaughan [2009-08-09 15:55:05] 745*2^709391-1 is not prime. Res64: 02DE6425D1696D62 Time : 569.0 sec. user=vaughan [2009-08-09 15:58:09] 645*2^709391-1 is not prime. Res64: 2EC8DB0A444A4877 Time : 931.0 sec. user=vaughan [2009-08-09 15:59:38] 623*2^709392-1 is not prime. Res64: D3FDE0E132BBCD8E Time : 799.0 sec. user=vaughan [2009-08-09 15:59:42] 629*2^709392-1 is not prime. Res64: 2625A8161F9DBBEA Time : 567.0 sec. user=vaughan [2009-08-09 16:01:38] 665*2^709392-1 is not prime. Res64: 0FE3589C929C5CCA Time : 570.0 sec. user=vaughan [2009-08-09 16:03:58] 675*2^709394-1 is not prime. Res64: 1F98454D5C12322A Time : 549.0 sec. user=vaughan [2009-08-09 16:04:32] 731*2^709394-1 is not prime. Res64: 67969B1949D36C4F Time : 568.0 sec. user=vaughan [2009-08-09 16:04:34] 635*2^709392-1 is not prime. Res64: 3BA72BC0E56234DA Time : 799.0 sec. user=vaughan [2009-08-09 16:04:39] 723*2^709392-1 is not prime. Res64: F8C8C7B916AE282C Time : 699.0 sec. user=vaughan [2009-08-09 16:05:12] 695*2^709392-1 is not prime. Res64: F594745DDAF90B8C Time : 734.0 sec. user=vaughan [2009-08-09 16:05:18] 765*2^709393-1 is not prime. Res64: 4D0769C103862B08 Time : 722.0 sec. user=vaughan [2009-08-09 16:06:06] 769*2^709393-1 is not prime. Res64: F99E84895CDCD18A Time : 741.0 sec. user=vaughan [2009-08-09 16:09:10] 609*2^709395-1 is not prime. Res64: 859D7A499E4F83EF Time : 568.0 sec. user=vaughan [2009-08-09 16:10:03] 701*2^709394-1 is not prime. Res64: AC1B403F411B8301 Time : 899.0 sec. user=vaughan [2009-08-09 16:11:09] 651*2^709395-1 is not prime. Res64: 8B16A3C7F1313E1F Time : 571.0 sec. user=vaughan [2009-08-09 16:12:57] 755*2^709394-1 is not prime. Res64: FB1BA9CB29213F7C Time : 800.0 sec. user=vaughan [2009-08-09 16:13:06] 669*2^709395-1 is not prime. Res64: 1634FC6033C1C540 Time : 549.0 sec. user=tnerual [2009-08-09 16:13:57] 673*2^709391-1 is not prime. Res64: 679F9A41BB23B9B2 Time : 1819.0 sec. user=vaughan [2009-08-09 16:14:00] 709*2^709395-1 is not prime. Res64: 9FCED30FD5540746 Time : 569.0 sec. user=vaughan [2009-08-09 16:15:27] 741*2^709394-1 is not prime. Res64: 93705CAF1F1B8D4B Time : 1038.0 sec. user=vaughan [2009-08-09 16:16:20] 789*2^709395-1 is not prime. Res64: 5E5C06899F91AAF7 Time : 701.0 sec. user=vaughan [2009-08-09 16:17:20] 657*2^709396-1 is not prime. Res64: D0ECE86B8B9BA800 Time : 722.0 sec. user=vaughan [2009-08-09 16:17:24] 623*2^709396-1 is not prime. Res64: C31FCE118F142710 Time : 732.0 sec. user=vaughan [2009-08-09 16:17:55] 751*2^709395-1 is not prime. Res64: CE43D29862E95CBE Time : 801.0 sec. user=vaughan [2009-08-09 16:18:26] 695*2^709396-1 is not prime. Res64: E98A0EE7391DF178 Time : 740.0 sec. user=vaughan [2009-08-09 16:18:41] 675*2^709397-1 is not prime. Res64: 6089B7ADA69A06F1 Time : 571.0 sec. user=vaughan [2009-08-09 16:20:39] 795*2^709398-1 is not prime. Res64: D8817FEACAD1A655 Time : 570.0 sec. user=vaughan [2009-08-09 16:22:16] 645*2^709399-1 is not prime. Res64: 669981FBA4DC8429 Time : 551.0 sec. user=vaughan [2009-08-09 16:23:30] 741*2^709399-1 is not prime. Res64: 5D2241FDAA52ABCD Time : 570.0 sec. user=vaughan [2009-08-09 16:23:52] 695*2^709398-1 is not prime. Res64: 9D49938FFE9F66C0 Time : 829.0 sec. user=vaughan [2009-08-09 16:26:18] 601*2^709399-1 is not prime. Res64: 377F84EEFDEFE4D1 Time : 802.0 sec. user=vaughan [2009-08-09 16:27:58] 771*2^709399-1 is not prime. Res64: 5EA1B92ADC65B509 Time : 699.0 sec. user=vaughan [2009-08-09 16:28:11] 663*2^709400-1 is not prime. Res64: 1A20E33BD759E4C0 Time : 570.0 sec. user=vaughan [2009-08-09 16:29:21] 793*2^709399-1 is not prime. Res64: A1DC38F0AC3C9321 Time : 721.0 sec. user=vaughan [2009-08-09 16:29:36] 603*2^709400-1 is not prime. Res64: D01C26A8050BC803 Time : 732.0 sec. user=vaughan [2009-08-09 16:30:08] 677*2^709400-1 is not prime. Res64: DB0748B9E0D410BB Time : 570.0 sec. user=vaughan [2009-08-09 16:30:47] 645*2^709400-1 is not prime. Res64: BAF0FD9BFD382B2E Time : 741.0 sec. user=vaughan [2009-08-09 16:31:20] 609*2^709400-1 is not prime. Res64: 792993E937E0685E Time : 805.0 sec. user=vaughan [2009-08-09 16:31:25] 607*2^709401-1 is not prime. Res64: 5B1D69C7F3C87ABB Time : 550.0 sec. user=vaughan [2009-08-09 16:32:58] 625*2^709401-1 is not prime. Res64: B4FD806522965ACC Time : 568.0 sec. user=vaughan [2009-08-09 16:36:18] 759*2^709399-1 is not prime. Res64: 65596C9EC382B5B1 Time : 1251.0 sec. user=vaughan [2009-08-09 16:36:54] 661*2^709401-1 is not prime. Res64: 9C8AD531CB81EED0 Time : 782.0 sec. user=vaughan [2009-08-09 16:37:40] 747*2^709401-1 is not prime. Res64: 5B18B2374F220E88 Time : 569.0 sec. user=vaughan [2009-08-09 16:39:36] 617*2^709402-1 is not prime. Res64: E888D3A169C7335D Time : 568.0 sec. user=vaughan [2009-08-09 16:39:38] 711*2^709401-1 is not prime. Res64: 193D073C64C8F890 Time : 700.0 sec. user=vaughan [2009-08-09 16:39:41] 705*2^709401-1 is not prime. Res64: 8585E0F6BBED3060 Time : 803.0 sec. user=vaughan [2009-08-09 16:40:33] 777*2^709402-1 is not prime. Res64: AB2178C5E4D1AA66 Time : 548.0 sec. user=vaughan [2009-08-09 16:41:22] 777*2^709401-1 is not prime. Res64: C609D1255690530E Time : 721.0 sec. user=vaughan [2009-08-09 16:41:47] 781*2^709401-1 is not prime. Res64: 56D26494BDCFC6B2 Time : 731.0 sec. user=vaughan [2009-08-09 16:42:29] 693*2^709403-1 is not prime. Res64: 89C99B3B8021DED6 Time : 572.0 sec. user=vaughan [2009-08-09 16:43:07] 657*2^709402-1 is not prime. Res64: 9F5277E98D416573 Time : 740.0 sec. user=tnerual [2009-08-09 16:44:19] 681*2^709399-1 is not prime. Res64: 4A085F98F2924449 Time : 1822.0 sec. user=vaughan [2009-08-09 16:44:44] 677*2^709402-1 is not prime. Res64: 75D168CA1A6C4660 Time : 804.0 sec. user=vaughan [2009-08-09 16:47:09] 605*2^709404-1 is not prime. Res64: BF0C383D73E7D5E4 Time : 569.0 sec. user=vaughan [2009-08-09 16:49:05] 663*2^709404-1 is not prime. Res64: 341F5EACB991846A Time : 570.0 sec. user=vaughan [2009-08-09 16:49:43] 609*2^709405-1 is not prime. Res64: DE04633AFA92E320 Time : 550.0 sec. user=vaughan [2009-08-09 16:50:09] 741*2^709403-1 is not prime. Res64: 1F26B569E1344012 Time : 795.0 sec. user=vaughan [2009-08-09 16:51:16] 725*2^709404-1 is not prime. Res64: 956EFC536E2E3C1E Time : 699.0 sec. user=vaughan [2009-08-09 16:51:59] 741*2^709405-1 is not prime. Res64: DFA714ABD98DFE79 Time : 571.0 sec. user=vaughan [2009-08-09 16:53:06] 767*2^709404-1 is not prime. Res64: 9F5AE30FD5C54599 Time : 806.0 sec. user=vaughan [2009-08-09 16:53:22] 625*2^709405-1 is not prime. Res64: 11B266D589153AD9 Time : 720.0 sec. user=vaughan [2009-08-09 16:54:00] 691*2^709405-1 is not prime. Res64: 7E042569B2A59A13 Time : 733.0 sec. user=vaughan [2009-08-09 16:55:27] 739*2^709403-1 is not prime. Res64: C67AD0141CF60DD5 Time : 1149.0 sec. user=vaughan [2009-08-09 16:55:28] 789*2^709405-1 is not prime. Res64: 738F5858CFF6D473 Time : 741.0 sec. user=vaughan [2009-08-09 16:56:43] 625*2^709407-1 is not prime. Res64: 7D7300B48861135D Time : 574.0 sec. user=vaughan [2009-08-09 16:58:06] 609*2^709407-1 is not prime. Res64: D91D61F2AEB32C06 Time : 803.0 sec. user=vaughan [2009-08-09 16:58:34] 691*2^709407-1 is not prime. Res64: 81046EAB6C6B12D6 Time : 569.0 sec. user=vaughan [2009-08-09 16:58:53] 741*2^709407-1 is not prime. Res64: 4398AAB647BE58FB Time : 550.0 sec. user=vaughan [2009-08-09 17:01:27] 747*2^709408-1 is not prime. Res64: 896B9DB379B0680D Time : 568.0 sec. user=vaughan [2009-08-09 17:02:56] 645*2^709408-1 is not prime. Res64: DAF49CDA0E1D2EE6 Time : 700.0 sec. user=vaughan [2009-08-09 17:03:33] 765*2^709407-1 is not prime. Res64: B60636C3B4F3CB93 Time : 804.0 sec. user=vaughan [2009-08-09 17:05:23] 775*2^709409-1 is not prime. Res64: E767970A50C3F3AB Time : 721.0 sec. user=vaughan [2009-08-09 17:06:12] 789*2^709409-1 is not prime. Res64: D3C5D8E7D4C16AB1 Time : 732.0 sec. user=vaughan [2009-08-09 17:06:13] 631*2^709411-1 is not prime. Res64: 3E5C3DB23AACFC2B Time : 570.0 sec. user=vaughan [2009-08-09 17:06:33] 697*2^709409-1 is not prime. Res64: 56D98FBF3A311B59 Time : 807.0 sec. user=vaughan [2009-08-09 17:07:48] 777*2^709410-1 is not prime. Res64: C66E2AFDF07B054E Time : 740.0 sec. user=vaughan [2009-08-09 17:08:02] 615*2^709412-1 is not prime. Res64: 52D027FF1A45F1E4 Time : 549.0 sec. user=vaughan [2009-08-09 17:08:04] 771*2^709411-1 is not prime. Res64: 2ECCFCEA1B4894FB Time : 570.0 sec. user=vaughan [2009-08-09 17:10:57] 635*2^709412-1 is not prime. Res64: 897E8C434E3D32A7 Time : 570.0 sec. user=vaughan [2009-08-09 17:11:32] 693*2^709411-1 is not prime. Res64: 0F7A6DAEA02A347A Time : 806.0 sec. user=vaughan [2009-08-09 17:14:35] 677*2^709412-1 is not prime. Res64: F2BBFD5C4A14785A Time : 699.0 sec. user=tnerual [2009-08-09 17:14:38] 755*2^709406-1 is not prime. Res64: 2A59611D6402BD53 Time : 1819.0 sec. user=vaughan [2009-08-09 17:15:07] 677*2^709410-1 is not prime. Res64: B552BDB42D33F53C Time : 1180.0 sec. user=vaughan [2009-08-09 17:15:45] 615*2^709413-1 is not prime. Res64: E0E678B13D41E43D Time : 573.0 sec. user=vaughan [2009-08-09 17:17:12] 685*2^709413-1 is not prime. Res64: 10F4236F22434EF5 Time : 550.0 sec. user=vaughan [2009-08-09 17:17:24] 699*2^709412-1 is not prime. Res64: 7AB49DC02EDBCA91 Time : 721.0 sec. user=vaughan [2009-08-09 17:17:32] 657*2^709414-1 is not prime. Res64: 8A33AB6F83079449 Time : 568.0 sec. user=vaughan [2009-08-09 17:18:25] 717*2^709412-1 is not prime. Res64: 6DA8EB0A186FD3FD Time : 733.0 sec. user=vaughan [2009-08-09 17:18:31] 689*2^709412-1 is not prime. Res64: 756F1F896BFF168E Time : 898.0 sec. user=vaughan [2009-08-09 17:19:57] 649*2^709413-1 is not prime. Res64: 0686B2A4D2BBCA3F Time : 804.0 sec. user=vaughan [2009-08-09 17:20:08] 681*2^709413-1 is not prime. Res64: 3FC23A7F5AA61154 Time : 740.0 sec. user=vaughan [2009-08-09 17:20:25] 665*2^709414-1 is not prime. Res64: B6F06048B966C17A Time : 568.0 sec. user=vaughan [2009-08-09 17:24:57] 737*2^709414-1 is not prime. Res64: 2122E9506ABEB088 Time : 805.0 sec. user=vaughan [2009-08-09 17:25:15] 693*2^709416-1 is not prime. Res64: 8F8ADB1CD1014D2E Time : 570.0 sec. user=vaughan [2009-08-09 17:26:13] 651*2^709415-1 is not prime. Res64: 61882B7A4A966AFA Time : 698.0 sec. user=vaughan [2009-08-09 17:26:22] 695*2^709416-1 is not prime. Res64: 9D7408282285D781 Time : 550.0 sec. user=vaughan [2009-08-09 17:27:05] 767*2^709416-1 is not prime. Res64: 4DCE265472B078B1 Time : 573.0 sec. user=vaughan [2009-08-09 17:29:25] 717*2^709416-1 is not prime. Res64: 2414EAFC2B0C07E2 Time : 722.0 sec. user=vaughan [2009-08-09 17:29:57] 699*2^709417-1 is not prime. Res64: CDF6BEFD848D2CB6 Time : 572.0 sec. user=vaughan [2009-08-09 17:30:37] 779*2^709416-1 is not prime. Res64: E51B7D53754E3019 Time : 732.0 sec. user=vaughan [2009-08-09 17:31:27] 601*2^709417-1 is not prime. Res64: 3303206EE667E2A8 Time : 776.0 sec. user=vaughan [2009-08-09 17:32:29] 691*2^709417-1 is not prime. Res64: 0BF91AD0811BD735 Time : 741.0 sec. user=vaughan [2009-08-09 17:33:22] 607*2^709417-1 is not prime. Res64: C43B9ED01BBE17C6 Time : 805.0 sec. user=vaughan [2009-08-09 17:34:22] 629*2^709416-1 is not prime. Res64: 9CC05B175A90B719 Time : 1155.0 sec. user=vaughan [2009-08-09 17:34:42] 605*2^709418-1 is not prime. Res64: 3D97B19252027F51 Time : 567.0 sec. user=vaughan [2009-08-09 17:35:30] 713*2^709418-1 is not prime. Res64: 91A9E3B326C1320F Time : 548.0 sec. user=vaughan [2009-08-09 17:36:35] 755*2^709418-1 is not prime. Res64: C095C039484D061D Time : 570.0 sec. user=vaughan [2009-08-09 17:37:52] 617*2^709418-1 is not prime. Res64: 9985300AA1D941C5 Time : 699.0 sec. user=vaughan [2009-08-09 17:38:22] 715*2^709417-1 is not prime. Res64: FE453D6F7724CD06 Time : 805.0 sec. user=vaughan [2009-08-09 17:39:25] 797*2^709418-1 is not prime. Res64: 16987C5AF28B3F24 Time : 568.0 sec. user=vaughan [2009-08-09 17:41:25] 771*2^709418-1 is not prime. Res64: 9B165F20C579203A Time : 720.0 sec. user=vaughan [2009-08-09 17:42:49] 619*2^709419-1 is not prime. Res64: 305742C0930B0B6B Time : 732.0 sec. user=vaughan [2009-08-09 17:44:14] 723*2^709420-1 is not prime. Res64: 9B0B8E02B2B8E04E Time : 572.0 sec. user=vaughan [2009-08-09 17:44:40] 743*2^709420-1 is not prime. Res64: 3545C6109C3AC8FF Time : 550.0 sec. user=vaughan [2009-08-09 17:44:49] 711*2^709419-1 is not prime. Res64: 8B2933551F58DC7A Time : 741.0 sec. user=tnerual [2009-08-09 17:44:57] 615*2^709416-1 is not prime. Res64: E43727211D721E4B Time : 1819.0 sec. user=vaughan [2009-08-09 17:45:27] 625*2^709419-1 is not prime. Res64: 075EC85BF2006ADF Time : 841.0 sec. user=vaughan [2009-08-09 17:46:05] 777*2^709420-1 is not prime. Res64: A2A762607117FD6B Time : 570.0 sec. user=vaughan [2009-08-09 17:46:50] 653*2^709420-1 is not prime. Res64: 1CD27CAF35C00CF8 Time : 808.0 sec. user=vaughan [2009-08-09 17:48:53] 747*2^709421-1 is not prime. Res64: FC47170E1FE85D09 Time : 569.0 sec. user=vaughan [2009-08-09 17:49:32] 619*2^709421-1 is not prime. Res64: 72C8A23EFFBAE46B Time : 700.0 sec. user=vaughan [2009-08-09 17:51:49] 715*2^709421-1 is not prime. Res64: 5061892E37350991 Time : 807.0 sec. user=vaughan [2009-08-09 17:53:04] 677*2^709420-1 is not prime. Res64: 354294A4DADF08DB Time : 1123.0 sec. user=vaughan [2009-08-09 17:53:26] 653*2^709422-1 is not prime. Res64: 9E436E2B51A97812 Time : 721.0 sec. user=vaughan [2009-08-09 17:53:45] 603*2^709423-1 is not prime. Res64: CC7CECE6D4038603 Time : 571.0 sec. user=vaughan [2009-08-09 17:53:51] 609*2^709423-1 is not prime. Res64: 62CBF9007EFE3A9C Time : 551.0 sec. user=vaughan [2009-08-09 17:55:01] 765*2^709422-1 is not prime. Res64: 4B78D32019F334FD Time : 732.0 sec. user=vaughan [2009-08-09 17:55:35] 765*2^709423-1 is not prime. Res64: CAF5332BBEA6B588 Time : 570.0 sec. user=vaughan [2009-08-09 17:57:09] 625*2^709423-1 is not prime. Res64: F3D47A165C57BB43 Time : 740.0 sec. user=vaughan [2009-08-09 17:58:23] 767*2^709424-1 is not prime. Res64: ED0A53825E7D62A1 Time : 570.0 sec. user=vaughan [2009-08-09 18:00:08] 729*2^709423-1 is not prime. Res64: 0195E9C1DD23E39F Time : 881.0 sec. user=vaughan [2009-08-09 18:00:18] 717*2^709424-1 is not prime. Res64: 21BE4B4984F123D8 Time : 808.0 sec. user=vaughan [2009-08-09 18:01:11] 649*2^709425-1 is not prime. Res64: DF15D25818A9C438 Time : 699.0 sec. user=vaughan [2009-08-09 18:02:59] 615*2^709427-1 is not prime. Res64: 3748EA0BD4C8F89C Time : 548.0 sec. user=vaughan [2009-08-09 18:03:13] 609*2^709427-1 is not prime. Res64: 4180FA3B4EC56FA6 Time : 568.0 sec. user=vaughan [2009-08-09 18:05:04] 699*2^709427-1 is not prime. Res64: 6C36DE7E61DD6640 Time : 570.0 sec. user=vaughan [2009-08-09 18:05:15] 603*2^709426-1 is not prime. Res64: 1B0F9D4B29FBB1FC Time : 806.0 sec. user=vaughan [2009-08-09 18:05:27] 737*2^709426-1 is not prime. Res64: AFFDEC82E23FEE8A Time : 721.0 sec. user=vaughan [2009-08-09 18:07:13] 643*2^709427-1 is not prime. Res64: 6297D189A1043111 Time : 732.0 sec. user=vaughan [2009-08-09 18:07:54] 683*2^709428-1 is not prime. Res64: 62A44C3A176E6FFB Time : 571.0 sec. user=vaughan [2009-08-09 18:09:30] 669*2^709428-1 is not prime. Res64: 8951B6E5A7F23150 Time : 741.0 sec. user=vaughan [2009-08-09 18:12:07] 667*2^709429-1 is not prime. Res64: AC03472508973FEE Time : 548.0 sec. user=vaughan [2009-08-09 18:12:09] 725*2^709428-1 is not prime. Res64: 22E719C478EC3ED4 Time : 721.0 sec. user=vaughan [2009-08-09 18:12:41] 691*2^709429-1 is not prime. Res64: CA539274E022A20D Time : 568.0 sec. user=vaughan [2009-08-09 18:12:50] 625*2^709429-1 is not prime. Res64: 8AAB176ABA815E0A Time : 699.0 sec. user=vaughan [2009-08-09 18:13:47] 615*2^709429-1 is not prime. Res64: 261ABF75B00C8602 Time : 809.0 sec. user=vaughan [2009-08-09 18:14:32] 741*2^709429-1 is not prime. Res64: EE0951072C1C0CF2 Time : 569.0 sec. user=vaughan [2009-08-09 18:15:07] 657*2^709426-1 is not prime. Res64: 02577C0A21B353E6 Time : 1324.0 sec. user=vaughan [2009-08-09 18:17:22] 627*2^709430-1 is not prime. Res64: 604857A58D72A1CE Time : 568.0 sec. user=vaughan [2009-08-09 18:17:29] 757*2^709429-1 is not prime. Res64: BE6AD341373B59B1 Time : 722.0 sec. user=vaughan [2009-08-09 18:18:43] 751*2^709429-1 is not prime. Res64: 73C7D5E27598F423 Time : 808.0 sec. user=vaughan [2009-08-09 18:19:25] 789*2^709429-1 is not prime. Res64: 5BA0440AC3B2A22E Time : 732.0 sec. user=vaughan [2009-08-09 18:21:17] 663*2^709430-1 is not prime. Res64: D6E6FF7B511724CB Time : 550.0 sec. user=vaughan [2009-08-09 18:21:50] 635*2^709430-1 is not prime. Res64: 5BA9D00946A8354B Time : 740.0 sec. user=vaughan [2009-08-09 18:22:12] 743*2^709430-1 is not prime. Res64: 97D24AA0604A2618 Time : 571.0 sec. user=vaughan [2009-08-09 18:24:02] 703*2^709431-1 is not prime. Res64: F3E215ABEEE2C271 Time : 570.0 sec. user=vaughan [2009-08-09 18:24:29] 613*2^709431-1 is not prime. Res64: 4934656625856139 Time : 699.0 sec. user=vaughan [2009-08-09 18:26:32] 707*2^709430-1 is not prime. Res64: 4F2D11DD2FDB3B4A Time : 863.0 sec. user=vaughan [2009-08-09 18:26:52] 781*2^709431-1 is not prime. Res64: 5CE9A44A25FAA582 Time : 570.0 sec. user=vaughan [2009-08-09 18:27:14] 669*2^709431-1 is not prime. Res64: 367B9F2B7BC8BCCD Time : 807.0 sec. user=vaughan [2009-08-09 18:29:29] 603*2^709432-1 is not prime. Res64: E4A8C0C9867371BE Time : 721.0 sec. user=tnerual [2009-08-09 18:30:00] 705*2^709423-1 is not prime. Res64: 968CC2268D914437 Time : 2704.0 sec. user=vaughan [2009-08-09 18:30:26] 735*2^709432-1 is not prime. Res64: AED508493A64F3E5 Time : 550.0 sec. user=vaughan [2009-08-09 18:31:38] 723*2^709432-1 is not prime. Res64: 03A9DEB08CE5AB32 Time : 733.0 sec. user=vaughan [2009-08-09 18:31:41] 727*2^709433-1 is not prime. Res64: 067D14A1DC618300 Time : 570.0 sec. user=vaughan [2009-08-09 18:32:12] 617*2^709432-1 is not prime. Res64: 9B0D504B7DCC41B1 Time : 809.0 sec. user=vaughan [2009-08-09 18:33:32] 771*2^709433-1 is not prime. Res64: F4ECFB3611388ED3 Time : 571.0 sec. user=vaughan [2009-08-09 18:33:56] 739*2^709431-1 is not prime. Res64: 751603692098EC62 Time : 1129.0 sec. user=vaughan [2009-08-09 18:34:11] 679*2^709433-1 is not prime. Res64: DC4848728D195716 Time : 741.0 sec. user=vaughan [2009-08-09 18:36:07] 789*2^709433-1 is not prime. Res64: 68F6DF6841C90F4A Time : 699.0 sec. user=vaughan [2009-08-09 18:36:20] 683*2^709434-1 is not prime. Res64: ED3CB012CE95DB31 Time : 568.0 sec. user=vaughan [2009-08-09 18:39:33] 631*2^709435-1 is not prime. Res64: 5FC75FACA8E38136 Time : 548.0 sec. user=vaughan [2009-08-09 18:39:59] 635*2^709434-1 is not prime. Res64: 3788E3B8ABADFF6D Time : 807.0 sec. user=vaughan [2009-08-09 18:40:40] 755*2^709434-1 is not prime. Res64: 39EDA4FBE7C4D943 Time : 806.0 sec. user=vaughan [2009-08-09 18:41:10] 765*2^709435-1 is not prime. Res64: 0238B83A37E9A309 Time : 570.0 sec. user=vaughan [2009-08-09 18:41:30] 609*2^709435-1 is not prime. Res64: B8F88381B734CE53 Time : 721.0 sec. user=vaughan [2009-08-09 18:43:03] 633*2^709436-1 is not prime. Res64: E224C8A6C5AA5F0F Time : 571.0 sec. user=vaughan [2009-08-09 18:43:50] 715*2^709435-1 is not prime. Res64: 51F3703AA635A762 Time : 732.0 sec. user=vaughan [2009-08-09 18:45:39] 609*2^709436-1 is not prime. Res64: B3F5F0A01196E216 Time : 807.0 sec. user=vaughan [2009-08-09 18:45:50] 607*2^709437-1 is not prime. Res64: 7F147BE4259CFB60 Time : 570.0 sec. user=vaughan [2009-08-09 18:46:32] 707*2^709436-1 is not prime. Res64: D1E47A544ABA3155 Time : 742.0 sec. user=vaughan [2009-08-09 18:47:46] 789*2^709436-1 is not prime. Res64: 45078589BF3CE6FD Time : 699.0 sec. user=vaughan [2009-08-09 18:48:46] 747*2^709437-1 is not prime. Res64: 5F5932E9D2F667BC Time : 553.0 sec. user=vaughan [2009-08-09 18:50:37] 731*2^709438-1 is not prime. Res64: F518C7A029FE0724 Time : 567.0 sec. user=vaughan [2009-08-09 18:52:31] 601*2^709439-1 is not prime. Res64: CA1FE51388B4D5A1 Time : 568.0 sec. user=vaughan [2009-08-09 18:53:32] 761*2^709438-1 is not prime. Res64: E0712011D219451F Time : 723.0 sec. user=vaughan [2009-08-09 18:53:40] 759*2^709437-1 is not prime. Res64: F4274AB012BD69A0 Time : 821.0 sec. user=vaughan [2009-08-09 18:53:52] 699*2^709436-1 is not prime. Res64: 75769E6A55BDDFED Time : 1196.0 sec. user=vaughan [2009-08-09 18:54:05] 777*2^709437-1 is not prime. Res64: B2D123318A0B1ABE Time : 805.0 sec. user=vaughan [2009-08-09 18:55:22] 655*2^709439-1 is not prime. Res64: DF0DE4F15595F10C Time : 572.0 sec. user=vaughan [2009-08-09 18:56:03] 615*2^709439-1 is not prime. Res64: 3D3DB6BB50BA7980 Time : 733.0 sec. user=vaughan [2009-08-09 18:57:53] 705*2^709439-1 is not prime. Res64: 8B1A1558A4226A94 Time : 548.0 sec. user=vaughan [2009-08-09 18:58:45] 669*2^709439-1 is not prime. Res64: 98C1CAD3E1E79C03 Time : 733.0 sec. user=vaughan [2009-08-09 18:59:04] 621*2^709439-1 is not prime. Res64: E64A81C97F91AE2C Time : 805.0 sec. user=vaughan [2009-08-09 18:59:26] 693*2^709439-1 is not prime. Res64: 1B22CF513751B8AD Time : 700.0 sec. user=vaughan [2009-08-09 19:00:07] 707*2^709440-1 is not prime. Res64: 7998CF92874F578D Time : 570.0 sec. user=vaughan [2009-08-09 19:01:58] 735*2^709440-1 is not prime. Res64: 0AA1FAD7842A6761 Time : 568.0 sec. user=vaughan [2009-08-09 19:04:50] 747*2^709442-1 is not prime. Res64: 2FE64D2934E6D761 Time : 568.0 sec. user=vaughan [2009-08-09 19:05:29] 615*2^709441-1 is not prime. Res64: 96DE57A1971236C4 Time : 718.0 sec. user=vaughan [2009-08-09 19:07:03] 685*2^709443-1 is not prime. Res64: CAB9301930665F82 Time : 550.0 sec. user=vaughan [2009-08-09 19:07:31] 603*2^709442-1 is not prime. Res64: FDC6B126071E64C3 Time : 806.0 sec. user=vaughan [2009-08-09 19:07:48] 705*2^709441-1 is not prime. Res64: CB2BD3242233099E Time : 848.0 sec. user=vaughan [2009-08-09 19:08:11] 791*2^709442-1 is not prime. Res64: 96194AF967D5E15C Time : 728.0 sec. user=vaughan [2009-08-09 19:09:34] 705*2^709444-1 is not prime. Res64: C9D43798B20764D0 Time : 568.0 sec. user=vaughan [2009-08-09 19:10:48] 703*2^709443-1 is not prime. Res64: 58EB4AC69FA45980 Time : 723.0 sec. user=vaughan [2009-08-09 19:11:03] 605*2^709444-1 is not prime. Res64: 8F975358C7782DDD Time : 697.0 sec. user=vaughan [2009-08-09 19:11:27] 765*2^709444-1 is not prime. Res64: 4E0AFDAE5E150772 Time : 569.0 sec. user=vaughan [2009-08-09 19:12:31] 741*2^709443-1 is not prime. Res64: C23B674DCF9D19DD Time : 807.0 sec. user=vaughan [2009-08-09 19:12:37] 789*2^709441-1 is not prime. Res64: 9E8FF2317CFD8AC5 Time : 1125.0 sec. user=vaughan [2009-08-09 19:14:20] 785*2^709444-1 is not prime. Res64: F3374613D2FDE61A Time : 570.0 sec. user=vaughan [2009-08-09 19:16:11] 655*2^709445-1 is not prime. Res64: D32F194C1A78006F Time : 548.0 sec. user=tnerual [2009-08-09 19:16:19] 625*2^709435-1 is not prime. Res64: 3EE26E9E4A862128 Time : 2779.0 sec. user=vaughan [2009-08-09 19:17:25] 601*2^709445-1 is not prime. Res64: 256083932CD1D15E Time : 716.0 sec. user=vaughan [2009-08-09 19:19:04] 787*2^709445-1 is not prime. Res64: FBAFE5FA0C527379 Time : 570.0 sec. user=vaughan [2009-08-09 19:20:19] 775*2^709445-1 is not prime. Res64: B83B231D7B8BDBBC Time : 728.0 sec. user=vaughan [2009-08-09 19:20:54] 715*2^709445-1 is not prime. Res64: A14F4890516B4AB2 Time : 786.0 sec. user=vaughan [2009-08-09 19:20:56] 711*2^709445-1 is not prime. Res64: 98982F4BC15ECD81 Time : 805.0 sec. user=vaughan [2009-08-09 19:20:58] 795*2^709446-1 is not prime. Res64: 6DEBE33105EF44EB Time : 571.0 sec. user=vaughan [2009-08-09 19:22:39] 705*2^709446-1 is not prime. Res64: 90BC0E6E1030216C Time : 697.0 sec. user=vaughan [2009-08-09 19:22:51] 789*2^709445-1 is not prime. Res64: A067CC8869598BB7 Time : 723.0 sec. user=vaughan [2009-08-09 19:23:50] 663*2^709447-1 is not prime. Res64: 450A2489C09813DF Time : 571.0 sec. user=vaughan [2009-08-09 19:25:17] 633*2^709447-1 is not prime. Res64: B4B1B3701EB64009 Time : 760.0 sec. user=vaughan [2009-08-09 19:25:20] 729*2^709447-1 is not prime. Res64: 380559DFD612A848 Time : 549.0 sec. user=vaughan [2009-08-09 19:25:56] 603*2^709447-1 is not prime. Res64: 5BA86C4E6862ED1F Time : 805.0 sec. user=vaughan [2009-08-09 19:28:33] 677*2^709448-1 is not prime. Res64: FDC9C48D9E89E5AD Time : 569.0 sec. user=vaughan [2009-08-09 19:29:24] 623*2^709448-1 is not prime. Res64: 177A3D8F035FB987 Time : 719.0 sec. user=vaughan [2009-08-09 19:30:29] 709*2^709449-1 is not prime. Res64: 4B201766F4945100 Time : 571.0 sec. user=vaughan [2009-08-09 19:32:40] 777*2^709448-1 is not prime. Res64: 5190D50E74FE104C Time : 741.0 sec. user=vaughan [2009-08-09 19:33:08] 625*2^709449-1 is not prime. Res64: 3C5C699E2C4FD7E5 Time : 734.0 sec. user=vaughan [2009-08-09 19:33:21] 657*2^709450-1 is not prime. Res64: 648C4178927FD587 Time : 571.0 sec. user=vaughan [2009-08-09 19:34:20] 759*2^709449-1 is not prime. Res64: FA06A12F7EFCC8BA Time : 701.0 sec. user=vaughan [2009-08-09 19:34:21] 681*2^709449-1 is not prime. Res64: 278529EF03525477 Time : 805.0 sec. user=vaughan [2009-08-09 19:34:33] 671*2^709450-1 is not prime. Res64: 6E9FB4D0EBA2BF7E Time : 553.0 sec. user=vaughan [2009-08-09 19:34:40] 653*2^709450-1 is not prime. Res64: D590507422BA884F Time : 709.0 sec. user=vaughan [2009-08-09 19:37:26] 663*2^709450-1 is not prime. Res64: AEBFEE729765DB4B Time : 729.0 sec. user=vaughan [2009-08-09 19:38:03] 673*2^709451-1 is not prime. Res64: 9E55E28CD8457E57 Time : 570.0 sec. user=vaughan [2009-08-09 19:39:21] 649*2^709451-1 is not prime. Res64: DAF6082347DB49C6 Time : 805.0 sec. user=vaughan [2009-08-09 19:39:59] 783*2^709451-1 is not prime. Res64: EC056C4A45A3BB22 Time : 570.0 sec. user=vaughan [2009-08-09 19:41:34] 693*2^709451-1 is not prime. Res64: 5D73A2B012BB6D3B Time : 730.0 sec. user=vaughan [2009-08-09 19:42:51] 653*2^709452-1 is not prime. Res64: B7FC3C7D53243AA2 Time : 571.0 sec. user=vaughan [2009-08-09 19:43:43] 607*2^709453-1 is not prime. Res64: E9A7A6C15F0BC1F5 Time : 551.0 sec. user=vaughan [2009-08-09 19:45:12] 629*2^709452-1 is not prime. Res64: DE5570731A7E8352 Time : 752.0 sec. user=vaughan [2009-08-09 19:45:20] 633*2^709452-1 is not prime. Res64: 2F116FCF55AE65A3 Time : 732.0 sec. user=vaughan [2009-08-09 19:46:00] 695*2^709452-1 is not prime. Res64: D527D924D0562788 Time : 700.0 sec. user=vaughan [2009-08-09 19:46:19] 679*2^709453-1 is not prime. Res64: EDEF1CFC177985D5 Time : 699.0 sec. user=tnerual [2009-08-09 19:46:37] 603*2^709448-1 is not prime. Res64: 988C78CB6A5412E8 Time : 1818.0 sec. user=vaughan [2009-08-09 19:47:32] 743*2^709454-1 is not prime. Res64: 22DAC07ACEF95247 Time : 569.0 sec. user=vaughan [2009-08-09 19:47:49] 749*2^709452-1 is not prime. Res64: DABA1DF9D614FFD3 Time : 808.0 sec. user=vaughan [2009-08-09 19:49:29] 791*2^709454-1 is not prime. Res64: 6AB9466FEA08AE4C Time : 571.0 sec. user=vaughan [2009-08-09 19:49:33] 665*2^709454-1 is not prime. Res64: 2BA540D6D05C1B1D Time : 727.0 sec. user=vaughan [2009-08-09 19:52:21] 781*2^709455-1 is not prime. Res64: 54EA6701EFB17DD4 Time : 571.0 sec. user=vaughan [2009-08-09 19:52:44] 767*2^709454-1 is not prime. Res64: BFC679DB2E77C6F8 Time : 803.0 sec. user=vaughan [2009-08-09 19:52:52] 623*2^709456-1 is not prime. Res64: CE1283FFC6FB6DBB Time : 550.0 sec. user=vaughan [2009-08-09 19:53:44] 675*2^709455-1 is not prime. Res64: F486F6406EF717F5 Time : 731.0 sec. user=vaughan [2009-08-09 19:57:06] 705*2^709458-1 is not prime. Res64: CB02285FE683B169 Time : 574.0 sec. user=vaughan [2009-08-09 19:57:37] 695*2^709456-1 is not prime. Res64: 7A332F8F6A473BAF Time : 737.0 sec. user=vaughan [2009-08-09 19:57:42] 719*2^709456-1 is not prime. Res64: D281BFC52F9DA615 Time : 702.0 sec. user=vaughan [2009-08-09 19:57:45] 693*2^709456-1 is not prime. Res64: FB23944C0196E57F Time : 753.0 sec. user=vaughan [2009-08-09 19:58:00] 631*2^709457-1 is not prime. Res64: F1E57789B1F853A5 Time : 701.0 sec. user=vaughan [2009-08-09 19:59:02] 747*2^709458-1 is not prime. Res64: 8DB2E2A0F0685D79 Time : 573.0 sec. user=vaughan [2009-08-09 20:01:16] 725*2^709458-1 is not prime. Res64: DE87380337309F2D Time : 807.0 sec. user=vaughan [2009-08-09 20:01:39] 767*2^709458-1 is not prime. Res64: 9330BA858FAFB770 Time : 726.0 sec. user=vaughan [2009-08-09 20:01:52] 603*2^709459-1 is not prime. Res64: 1F656A7C93ADD882 Time : 572.0 sec. user=vaughan [2009-08-09 20:02:03] 703*2^709459-1 is not prime. Res64: F6BF278A19138107 Time : 551.0 sec. user=vaughan [2009-08-09 20:05:54] 675*2^709460-1 is not prime. Res64: 1DD869808833921A Time : 730.0 sec. user=vaughan [2009-08-09 20:06:06] 663*2^709459-1 is not prime. Res64: 16392F31C0BE1C1C Time : 803.0 sec. user=vaughan [2009-08-09 20:06:37] 707*2^709460-1 is not prime. Res64: 6BF73C78D071F084 Time : 572.0 sec. user=vaughan [2009-08-09 20:08:36] 611*2^709462-1 is not prime. Res64: 8AB277249B86C4CD Time : 575.0 sec. user=vaughan [2009-08-09 20:09:22] 649*2^709461-1 is not prime. Res64: F003F06AA528849D Time : 701.0 sec. user=vaughan [2009-08-09 20:09:40] 745*2^709461-1 is not prime. Res64: 91360A13C61305EC Time : 701.0 sec. user=vaughan [2009-08-09 20:09:52] 767*2^709460-1 is not prime. Res64: F26206B43A9BBA67 Time : 736.0 sec. user=vaughan [2009-08-09 20:10:17] 741*2^709461-1 is not prime. Res64: F4DE2AC900BB5079 Time : 753.0 sec. user=vaughan [2009-08-09 20:11:14] 685*2^709463-1 is not prime. Res64: 97A4F26C1BE75B83 Time : 551.0 sec. user=vaughan [2009-08-09 20:11:25] 785*2^709462-1 is not prime. Res64: 52FDB13202011808 Time : 573.0 sec. user=vaughan [2009-08-09 20:13:46] 765*2^709462-1 is not prime. Res64: 140254C767396CF7 Time : 727.0 sec. user=vaughan [2009-08-09 20:14:41] 747*2^709462-1 is not prime. Res64: 0CE3CA07714C7B55 Time : 806.0 sec. user=vaughan [2009-08-09 20:16:09] 763*2^709463-1 is not prime. Res64: 014A65F211778465 Time : 572.0 sec. user=tnerual [2009-08-09 20:16:56] 735*2^709457-1 is not prime. Res64: 953512F471B15451 Time : 1819.0 sec. user=vaughan [2009-08-09 20:18:03] 705*2^709463-1 is not prime. Res64: DB50625945964E97 Time : 729.0 sec. user=vaughan [2009-08-09 20:18:06] 789*2^709463-1 is not prime. Res64: 51E70DF978851901 Time : 571.0 sec. user=vaughan [2009-08-09 20:19:29] 753*2^709463-1 is not prime. Res64: 5DE5A0979A716E7C Time : 804.0 sec. user=vaughan [2009-08-09 20:20:25] 649*2^709465-1 is not prime. Res64: B3094168C79D5892 Time : 551.0 sec. user=vaughan [2009-08-09 20:20:54] 685*2^709465-1 is not prime. Res64: 1E21ACDCDF4EE48F Time : 569.0 sec. user=vaughan [2009-08-09 20:21:02] 705*2^709464-1 is not prime. Res64: 1A947AE7FBECFA30 Time : 700.0 sec. user=vaughan [2009-08-09 20:21:19] 759*2^709464-1 is not prime. Res64: 237A57E688FEF84B Time : 699.0 sec. user=vaughan [2009-08-09 20:22:17] 765*2^709464-1 is not prime. Res64: 5393489CEE55007B Time : 746.0 sec. user=vaughan [2009-08-09 20:22:50] 609*2^709465-1 is not prime. Res64: 1BF279E7FE606448 Time : 753.0 sec. user=vaughan [2009-08-09 20:25:39] 777*2^709465-1 is not prime. Res64: 74078947862BE3A3 Time : 570.0 sec. user=vaughan [2009-08-09 20:25:51] 741*2^709465-1 is not prime. Res64: 2CB62DFA6BE41404 Time : 725.0 sec. user=vaughan [2009-08-09 20:27:35] 717*2^709466-1 is not prime. Res64: 9BBCBDCA2AB251E0 Time : 570.0 sec. user=vaughan [2009-08-09 20:28:05] 751*2^709465-1 is not prime. Res64: 7941D1E7D9024D32 Time : 805.0 sec. user=vaughan [2009-08-09 20:29:33] 601*2^709467-1 is not prime. Res64: 95D6A33F92C0905D Time : 549.0 sec. user=vaughan [2009-08-09 20:30:15] 683*2^709466-1 is not prime. Res64: B0DE0B25B6ECDD6E Time : 732.0 sec. user=vaughan [2009-08-09 20:30:24] 643*2^709467-1 is not prime. Res64: 81F876075D8BBC34 Time : 570.0 sec. user=vaughan [2009-08-09 20:32:41] 685*2^709467-1 is not prime. Res64: 7DA6C63C0A040FFA Time : 700.0 sec. user=vaughan [2009-08-09 20:32:51] 741*2^709466-1 is not prime. Res64: 2704B83CCD70ADA6 Time : 802.0 sec. user=vaughan [2009-08-09 20:32:57] 739*2^709467-1 is not prime. Res64: 6A9515A2030CB639 Time : 699.0 sec. user=vaughan [2009-08-09 20:34:22] 623*2^709468-1 is not prime. Res64: C3368F25BD519337 Time : 726.0 sec. user=vaughan [2009-08-09 20:35:09] 695*2^709468-1 is not prime. Res64: 8BEDADA585C0C1A7 Time : 570.0 sec. user=vaughan [2009-08-09 20:35:22] 663*2^709468-1 is not prime. Res64: 79D4ADE6227002E2 Time : 752.0 sec. user=vaughan [2009-08-09 20:37:06] 755*2^709468-1 is not prime. Res64: D14A60D9FC662082 Time : 571.0 sec. user=vaughan [2009-08-09 20:38:13] 749*2^709468-1 is not prime. Res64: 405EDF8621D90A94 Time : 742.0 sec. user=vaughan [2009-08-09 20:38:42] 615*2^709470-1 is not prime. Res64: 12EC95B52E8FBF9B Time : 549.0 sec. user=vaughan [2009-08-09 20:39:55] 657*2^709470-1 is not prime. Res64: 3E7BCF6E3274720B Time : 571.0 sec. user=vaughan [2009-08-09 20:41:28] 795*2^709469-1 is not prime. Res64: F23EB92006E09F2E Time : 803.0 sec. user=vaughan [2009-08-09 20:42:24] 651*2^709470-1 is not prime. Res64: 00164BA3D15DFC92 Time : 729.0 sec. user=vaughan [2009-08-09 20:44:21] 677*2^709470-1 is not prime. Res64: B889C536AC0B72CB Time : 700.0 sec. user=vaughan [2009-08-09 20:44:36] 603*2^709471-1 is not prime. Res64: 3D02A19D3DD3396D Time : 700.0 sec. user=vaughan [2009-08-09 20:44:37] 679*2^709471-1 is not prime. Res64: 3A5CA2C55F03A320 Time : 568.0 sec. user=vaughan [2009-08-09 20:46:15] 773*2^709470-1 is not prime. Res64: 274F3B59778FCD48 Time : 804.0 sec. user=vaughan [2009-08-09 20:46:30] 619*2^709471-1 is not prime. Res64: CE1C6B8F7931A95E Time : 728.0 sec. user=vaughan [2009-08-09 20:46:35] 605*2^709472-1 is not prime. Res64: 2C9E775DE63FDB06 Time : 570.0 sec. user=tnerual [2009-08-09 20:47:14] 633*2^709466-1 is not prime. Res64: 45CAB9FA13E92F46 Time : 1818.0 sec. user=vaughan [2009-08-09 20:47:51] 645*2^709472-1 is not prime. Res64: 79F429DE8677FEA3 Time : 549.0 sec. user=vaughan [2009-08-09 20:47:54] 759*2^709471-1 is not prime. Res64: 556339DF11FABA6E Time : 752.0 sec. user=vaughan [2009-08-09 20:49:26] 797*2^709472-1 is not prime. Res64: E5CE495776A51313 Time : 571.0 sec. user=vaughan [2009-08-09 20:50:36] 615*2^709472-1 is not prime. Res64: EEAE758BDEADFFA8 Time : 744.0 sec. user=vaughan [2009-08-09 20:54:06] 621*2^709474-1 is not prime. Res64: 4DA45D118175BF77 Time : 569.0 sec. user=vaughan [2009-08-09 20:54:35] 789*2^709473-1 is not prime. Res64: F49C8DBBB2D1F9F8 Time : 731.0 sec. user=vaughan [2009-08-09 20:54:50] 657*2^709473-1 is not prime. Res64: 9950BBFE20471061 Time : 802.0 sec. user=vaughan [2009-08-09 20:56:01] 795*2^709473-1 is not prime. Res64: 3A2E87E07B5FD1DB Time : 700.0 sec. user=vaughan [2009-08-09 20:56:04] 715*2^709475-1 is not prime. Res64: 2A512670F9996526 Time : 569.0 sec. user=vaughan [2009-08-09 20:56:15] 617*2^709474-1 is not prime. Res64: 5DE440AC5B22CD1F Time : 699.0 sec. user=vaughan [2009-08-09 20:57:00] 629*2^709476-1 is not prime. Res64: 9A7A2B3AE98D65C8 Time : 549.0 sec. user=vaughan [2009-08-09 20:58:50] 619*2^709475-1 is not prime. Res64: 11797BF33FC8D602 Time : 740.0 sec. user=vaughan [2009-08-09 20:58:57] 669*2^709476-1 is not prime. Res64: B33BBE2FBAFA42A3 Time : 571.0 sec. user=vaughan [2009-08-09 20:59:37] 681*2^709474-1 is not prime. Res64: E6A4B58EA8FCC2D8 Time : 802.0 sec. user=vaughan [2009-08-09 21:00:28] 647*2^709476-1 is not prime. Res64: 7E48C8538BB5B25B Time : 754.0 sec. user=vaughan [2009-08-09 21:02:44] 783*2^709476-1 is not prime. Res64: D7ED139C08B88E90 Time : 728.0 sec. user=vaughan [2009-08-09 21:03:38] 789*2^709476-1 is not prime. Res64: 027D40F761337536 Time : 572.0 sec. user=vaughan [2009-08-09 21:05:33] 687*2^709477-1 is not prime. Res64: CCC9DEB17AF14738 Time : 569.0 sec. user=vaughan [2009-08-09 21:06:09] 743*2^709478-1 is not prime. Res64: 43212DA870D22E99 Time : 549.0 sec. user=vaughan [2009-08-09 21:06:45] 615*2^709477-1 is not prime. Res64: F73A817C1B8EC3A7 Time : 731.0 sec. user=vaughan [2009-08-09 21:07:40] 649*2^709477-1 is not prime. Res64: 4EE5F944A42E43EE Time : 699.0 sec. user=vaughan [2009-08-09 21:07:54] 605*2^709478-1 is not prime. Res64: E07FA10901C02158 Time : 699.0 sec. user=vaughan [2009-08-09 21:08:09] 645*2^709477-1 is not prime. Res64: D379573A07BF8F4E Time : 799.0 sec. user=vaughan [2009-08-09 21:08:27] 751*2^709479-1 is not prime. Res64: 59093A94624CB453 Time : 570.0 sec. user=vaughan [2009-08-09 21:11:18] 649*2^709479-1 is not prime. Res64: 5792E5660435422C Time : 748.0 sec. user=vaughan [2009-08-09 21:12:55] 609*2^709480-1 is not prime. Res64: 9C1FA7AB94F4CAA3 Time : 798.0 sec. user=vaughan [2009-08-09 21:13:01] 653*2^709480-1 is not prime. Res64: B4DB4418B2ED03BB Time : 754.0 sec. user=vaughan [2009-08-09 21:13:09] 631*2^709481-1 is not prime. Res64: D7A783A87A0C4784 Time : 571.0 sec. user=vaughan [2009-08-09 21:14:52] 713*2^709480-1 is not prime. Res64: E1C5F753A86414C3 Time : 728.0 sec. user=vaughan [2009-08-09 21:15:01] 681*2^709482-1 is not prime. Res64: 6974FE45B6FB5D35 Time : 568.0 sec. user=vaughan [2009-08-09 21:15:18] 695*2^709482-1 is not prime. Res64: E46878225E9D66AB Time : 549.0 sec. user=tnerual [2009-08-09 21:17:38] 759*2^709475-1 is not prime. Res64: 1933F5B56A282133 Time : 1824.0 sec. user=vaughan [2009-08-09 21:17:58] 765*2^709482-1 is not prime. Res64: F094676FD78D9A6F Time : 571.0 sec. user=vaughan [2009-08-09 21:18:54] 725*2^709482-1 is not prime. Res64: 379D6F97CDF8D0AB Time : 729.0 sec. user=vaughan [2009-08-09 21:19:20] 731*2^709482-1 is not prime. Res64: 1DB40848ABACB4F8 Time : 700.0 sec. user=vaughan [2009-08-09 21:19:32] 735*2^709482-1 is not prime. Res64: EA394104E1827466 Time : 698.0 sec. user=vaughan [2009-08-09 21:21:24] 755*2^709482-1 is not prime. Res64: 1B689815DA972FB6 Time : 795.0 sec. user=vaughan [2009-08-09 21:22:39] 675*2^709483-1 is not prime. Res64: 9868285626D776FF Time : 570.0 sec. user=vaughan [2009-08-09 21:24:25] 751*2^709483-1 is not prime. Res64: 0AC69B425C1FA6CE Time : 547.0 sec. user=vaughan [2009-08-09 21:24:26] 631*2^709483-1 is not prime. Res64: FF88CC30A3E9FD96 Time : 788.0 sec. user=vaughan [2009-08-09 21:24:29] 723*2^709483-1 is not prime. Res64: 28B980710578C296 Time : 568.0 sec. user=vaughan [2009-08-09 21:25:33] 673*2^709483-1 is not prime. Res64: 15DB698BDF0E4E73 Time : 753.0 sec. user=vaughan [2009-08-09 21:26:11] 633*2^709483-1 is not prime. Res64: B42DB725EC7F8BE2 Time : 796.0 sec. user=vaughan [2009-08-09 21:27:28] 675*2^709484-1 is not prime. Res64: D3C55EBD9A6D0F25 Time : 570.0 sec. user=vaughan [2009-08-09 21:31:00] 709*2^709483-1 is not prime. Res64: 5AA2CCF34B31E0D8 Time : 968.0 sec. user=vaughan [2009-08-09 21:31:01] 755*2^709484-1 is not prime. Res64: DA20A1E0EEA8D240 Time : 702.0 sec. user=vaughan [2009-08-09 21:31:04] 687*2^709484-1 is not prime. Res64: 1541123B241F1604 Time : 730.0 sec. user=vaughan [2009-08-09 21:31:11] 773*2^709484-1 is not prime. Res64: E707D56A26F570AE Time : 699.0 sec. user=vaughan [2009-08-09 21:32:07] 607*2^709485-1 is not prime. Res64: F082A3400CBD8E3C Time : 568.0 sec. user=vaughan [2009-08-09 21:33:34] 655*2^709485-1 is not prime. Res64: 7120DD5DAF7FDD85 Time : 549.0 sec. user=vaughan [2009-08-09 21:33:59] 691*2^709485-1 is not prime. Res64: AC89F2CC84E11E7C Time : 571.0 sec. user=vaughan [2009-08-09 21:34:39] 789*2^709484-1 is not prime. Res64: 7A683B6E99E5C687 Time : 795.0 sec. user=vaughan [2009-08-09 21:36:59] 743*2^709486-1 is not prime. Res64: 11154A417EEACBC6 Time : 571.0 sec. user=vaughan [2009-08-09 21:37:53] 657*2^709485-1 is not prime. Res64: CE48FBC35AB2D43A Time : 807.0 sec. user=vaughan [2009-08-09 21:38:06] 611*2^709486-1 is not prime. Res64: A82239B44F9371BB Time : 753.0 sec. user=vaughan [2009-08-09 21:39:29] 671*2^709486-1 is not prime. Res64: 091F34C7C964D306 Time : 798.0 sec. user=vaughan [2009-08-09 21:41:36] 635*2^709488-1 is not prime. Res64: FCFF2523795C437E Time : 570.0 sec. user=vaughan [2009-08-09 21:42:39] 603*2^709487-1 is not prime. Res64: 0B88536663CE8411 Time : 699.0 sec. user=vaughan [2009-08-09 21:42:43] 639*2^709488-1 is not prime. Res64: 36BCCB60FCAC9F7A Time : 549.0 sec. user=vaughan [2009-08-09 21:42:51] 715*2^709487-1 is not prime. Res64: 75E857F37818EB39 Time : 700.0 sec. user=vaughan [2009-08-09 21:43:12] 615*2^709487-1 is not prime. Res64: BF73C2D05891A97A Time : 729.0 sec. user=vaughan [2009-08-09 21:43:29] 695*2^709488-1 is not prime. Res64: AA27C81E0C8941A6 Time : 571.0 sec. user=vaughan [2009-08-09 21:46:31] 735*2^709488-1 is not prime. Res64: 52C72BF216270ABB Time : 572.0 sec. user=vaughan [2009-08-09 21:47:55] 725*2^709488-1 is not prime. Res64: 576517D21C28BD3E Time : 796.0 sec. user=tnerual [2009-08-09 21:47:58] 657*2^709484-1 is not prime. Res64: B798ABB7984789AB Time : 1820.0 sec. user=vaughan [2009-08-09 21:50:39] 619*2^709489-1 is not prime. Res64: 119EE29225FA9205 Time : 753.0 sec. user=vaughan [2009-08-09 21:50:40] 601*2^709487-1 is not prime. Res64: 929F6EFA936D7FF4 Time : 1180.0 sec. user=vaughan [2009-08-09 21:51:06] 699*2^709489-1 is not prime. Res64: 93583399AD604481 Time : 570.0 sec. user=vaughan [2009-08-09 21:51:16] 753*2^709488-1 is not prime. Res64: 07A674403E00B372 Time : 803.0 sec. user=vaughan [2009-08-09 21:51:52] 741*2^709489-1 is not prime. Res64: A614317778B574A9 Time : 550.0 sec. user=vaughan [2009-08-09 21:52:46] 639*2^709489-1 is not prime. Res64: 6730B8539B87BBF4 Time : 797.0 sec. user=vaughan [2009-08-09 21:52:57] 675*2^709490-1 is not prime. Res64: DBA5C7F040075AD8 Time : 568.0 sec. user=vaughan [2009-08-09 21:54:19] 721*2^709489-1 is not prime. Res64: FC55435B94133EAB Time : 700.0 sec. user=vaughan [2009-08-09 21:54:30] 765*2^709489-1 is not prime. Res64: F9CFF6DAFC0DA438 Time : 699.0 sec. user=vaughan [2009-08-09 21:55:22] 645*2^709490-1 is not prime. Res64: 08F3713606AB2CAD Time : 730.0 sec. user=vaughan [2009-08-09 21:56:00] 711*2^709490-1 is not prime. Res64: 1B4F9FC3FABBD0BA Time : 569.0 sec. user=vaughan [2009-08-09 22:00:35] 609*2^709492-1 is not prime. Res64: A1FE2427A6A990EC Time : 569.0 sec. user=vaughan [2009-08-09 22:01:03] 629*2^709492-1 is not prime. Res64: 7E2BE24C49E56CB9 Time : 551.0 sec. user=vaughan [2009-08-09 22:01:13] 615*2^709491-1 is not prime. Res64: B099C6923BAE7F0E Time : 798.0 sec. user=vaughan [2009-08-09 22:02:28] 719*2^709492-1 is not prime. Res64: 7979E1A874A37030 Time : 571.0 sec. user=vaughan [2009-08-09 22:03:11] 705*2^709491-1 is not prime. Res64: A1E4A3BD73B0061B Time : 752.0 sec. user=vaughan [2009-08-09 22:04:47] 617*2^709492-1 is not prime. Res64: D62D5065E8DA0BD8 Time : 811.0 sec. user=vaughan [2009-08-09 22:05:31] 781*2^709493-1 is not prime. Res64: D61260EF18CCE552 Time : 571.0 sec. user=vaughan [2009-08-09 22:05:59] 765*2^709492-1 is not prime. Res64: 99502D64F0A40D82 Time : 700.0 sec. user=vaughan [2009-08-09 22:06:04] 657*2^709492-1 is not prime. Res64: BADCDF8B52AF8568 Time : 798.0 sec. user=vaughan [2009-08-09 22:06:08] 627*2^709493-1 is not prime. Res64: E2D0F0C4094002C3 Time : 698.0 sec. user=vaughan [2009-08-09 22:07:31] 759*2^709493-1 is not prime. Res64: A76C91D79FF375A5 Time : 729.0 sec. user=vaughan [2009-08-09 22:10:05] 681*2^709494-1 is not prime. Res64: D6B8142AF67D0F31 Time : 570.0 sec. user=vaughan [2009-08-09 22:10:14] 683*2^709494-1 is not prime. Res64: F143F7AE66620DDB Time : 552.0 sec. user=vaughan [2009-08-09 22:11:57] 773*2^709494-1 is not prime. Res64: 2E0AB5F708489979 Time : 570.0 sec. user=vaughan [2009-08-09 22:12:41] 751*2^709491-1 is not prime. Res64: C680F53A36C11BCC Time : 1321.0 sec. user=vaughan [2009-08-09 22:14:29] 741*2^709494-1 is not prime. Res64: AF34C383D4C91B23 Time : 796.0 sec. user=vaughan [2009-08-09 22:14:59] 623*2^709496-1 is not prime. Res64: 3F141A83800F1FBE Time : 568.0 sec. user=vaughan [2009-08-09 22:15:43] 797*2^709494-1 is not prime. Res64: 7E121CF51635CEA7 Time : 753.0 sec. user=vaughan [2009-08-09 22:17:39] 669*2^709496-1 is not prime. Res64: 9028ABD2E1884F1C Time : 700.0 sec. user=vaughan [2009-08-09 22:17:48] 649*2^709497-1 is not prime. Res64: C440DA53BEB060D8 Time : 700.0 sec. user=vaughan [2009-08-09 22:17:56] 673*2^709495-1 is not prime. Res64: 7033FE21CC6C35A8 Time : 789.0 sec. user=tnerual [2009-08-09 22:18:17] 619*2^709491-1 is not prime. Res64: 1EC73FD056AD43C7 Time : 1819.0 sec. user=vaughan [2009-08-09 22:19:21] 785*2^709496-1 is not prime. Res64: CA97789DE93240B8 Time : 797.0 sec. user=vaughan [2009-08-09 22:19:25] 651*2^709498-1 is not prime. Res64: 20491450D5C5B3B5 Time : 551.0 sec. user=vaughan [2009-08-09 22:19:32] 765*2^709497-1 is not prime. Res64: 594C044985631E41 Time : 567.0 sec. user=vaughan [2009-08-09 22:19:41] 699*2^709497-1 is not prime. Res64: 551DD4A057F8F6EE Time : 730.0 sec. user=vaughan [2009-08-09 22:21:28] 681*2^709498-1 is not prime. Res64: 1EA84384541FE076 Time : 571.0 sec. user=vaughan [2009-08-09 22:24:31] 705*2^709499-1 is not prime. Res64: 5C19487A0669C790 Time : 572.0 sec. user=vaughan [2009-08-09 22:27:46] 619*2^709499-1 is not prime. Res64: A028A63E32CCA9E2 Time : 797.0 sec. user=vaughan [2009-08-09 22:28:16] 711*2^709499-1 is not prime. Res64: ED6809DE1BAD79A3 Time : 754.0 sec. user=vaughan [2009-08-09 22:28:34] 665*2^709500-1 is not prime. Res64: 16E1571FED9882FD Time : 549.0 sec. user=vaughan [2009-08-09 22:28:59] 675*2^709500-1 is not prime. Res64: 1DC085289F782F7C Time : 567.0 sec. user=vaughan [2009-08-09 22:29:19] 733*2^709499-1 is not prime. Res64: D629A59A43EEED12 Time : 700.0 sec. user=vaughan [2009-08-09 22:29:27] 745*2^709499-1 is not prime. Res64: 5D83AE7FC46B6592 Time : 699.0 sec. user=vaughan [2009-08-09 22:30:59] 779*2^709500-1 is not prime. Res64: 7E415925DE708436 Time : 571.0 sec. user=vaughan [2009-08-09 22:31:18] 775*2^709499-1 is not prime. Res64: 6507D2165EE6520B Time : 802.0 sec. user=vaughan [2009-08-09 22:31:50] 723*2^709500-1 is not prime. Res64: 5735A8BE33AA7FC7 Time : 729.0 sec. user=vaughan [2009-08-09 22:32:37] 799*2^709499-1 is not prime. Res64: BB3503814D66DFAB Time : 796.0 sec. user=vaughan [2009-08-09 22:34:03] 625*2^709501-1 is not prime. Res64: 1563D0AEFB22D981 Time : 572.0 sec. user=vaughan [2009-08-09 22:34:37] 747*2^709498-1 is not prime. Res64: E63814C7DD5974B6 Time : 1316.0 sec. user=vaughan [2009-08-09 22:37:45] 775*2^709501-1 is not prime. Res64: 981F475617A6293E Time : 551.0 sec. user=vaughan [2009-08-09 22:38:31] 677*2^709502-1 is not prime. Res64: B886F6220A9E4F70 Time : 572.0 sec. user=vaughan [2009-08-09 22:40:31] 763*2^709503-1 is not prime. Res64: 71A276AD3626E3E2 Time : 572.0 sec. user=vaughan [2009-08-09 22:40:49] 715*2^709501-1 is not prime. Res64: A8761603104CDDB7 Time : 753.0 sec. user=vaughan [2009-08-09 22:40:58] 755*2^709502-1 is not prime. Res64: 5EC90193941F8378 Time : 699.0 sec. user=vaughan [2009-08-09 22:41:01] 681*2^709501-1 is not prime. Res64: 97690CE91C8D18C6 Time : 796.0 sec. user=vaughan [2009-08-09 22:41:05] 785*2^709502-1 is not prime. Res64: 117908DAA7B8E6B7 Time : 698.0 sec. user=vaughan [2009-08-09 22:43:32] 669*2^709505-1 is not prime. Res64: FD620D860DBC976A Time : 569.0 sec. user=vaughan [2009-08-09 22:44:01] 635*2^709504-1 is not prime. Res64: 91F353BAF6731C4F Time : 731.0 sec. user=vaughan [2009-08-09 22:44:32] 623*2^709504-1 is not prime. Res64: C072952DD778D33B Time : 794.0 sec. user=vaughan [2009-08-09 22:45:54] 743*2^709504-1 is not prime. Res64: 2680B32923861058 Time : 797.0 sec. user=vaughan [2009-08-09 22:46:53] 627*2^709506-1 is not prime. Res64: 27064BA98E506CDE Time : 548.0 sec. user=vaughan [2009-08-09 22:47:57] 747*2^709506-1 is not prime. Res64: 40E7784ACDEAF79C Time : 567.0 sec. user=tnerual [2009-08-09 22:48:35] 789*2^709499-1 is not prime. Res64: F96641736AD4935C Time : 1818.0 sec. user=vaughan [2009-08-09 22:49:56] 783*2^709506-1 is not prime. Res64: 4B1C2621933953BF Time : 565.0 sec. user=vaughan [2009-08-09 22:52:39] 631*2^709507-1 is not prime. Res64: 206B50E89B75F66D Time : 701.0 sec. user=vaughan [2009-08-09 22:52:44] 635*2^709508-1 is not prime. Res64: F9704A35105E017B Time : 700.0 sec. user=vaughan [2009-08-09 22:52:54] 665*2^709508-1 is not prime. Res64: 3CFFE2F50EE4B768 Time : 562.0 sec. user=vaughan [2009-08-09 22:53:19] 615*2^709507-1 is not prime. Res64: 0ED609FC01DAD61A Time : 750.0 sec. user=vaughan [2009-08-09 22:54:16] 705*2^709507-1 is not prime. Res64: FC7D1C9FEFFB952B Time : 795.0 sec. user=vaughan [2009-08-09 22:56:00] 727*2^709509-1 is not prime. Res64: DE1B8A42127D07D1 Time : 547.0 sec. user=vaughan [2009-08-09 22:56:05] 799*2^709505-1 is not prime. Res64: 4EA85C2CB97505AF Time : 1288.0 sec. user=vaughan [2009-08-09 22:56:10] 743*2^709508-1 is not prime. Res64: 6607C688E81514EA Time : 730.0 sec. user=vaughan [2009-08-09 22:57:21] 735*2^709509-1 is not prime. Res64: FF53FE1CC3F95480 Time : 564.0 sec. user=vaughan [2009-08-09 22:58:08] 753*2^709508-1 is not prime. Res64: D7C6E71BF218EB7D Time : 816.0 sec. user=vaughan [2009-08-09 22:59:10] 667*2^709509-1 is not prime. Res64: 59105AFF578035F7 Time : 796.0 sec. user=vaughan [2009-08-09 22:59:19] 781*2^709509-1 is not prime. Res64: B6F2E7BB2333553F Time : 563.0 sec. user=vaughan [2009-08-09 23:02:16] 773*2^709510-1 is not prime. Res64: 35CD9121206319EE Time : 562.0 sec. user=vaughan [2009-08-09 23:04:31] 635*2^709510-1 is not prime. Res64: 150398B25FEE2E2A Time : 712.0 sec. user=vaughan [2009-08-09 23:04:37] 695*2^709510-1 is not prime. Res64: 53366D7486A3415F Time : 713.0 sec. user=vaughan [2009-08-09 23:04:56] 685*2^709511-1 is not prime. Res64: A97D20F6240427E6 Time : 536.0 sec. user=vaughan [2009-08-09 23:05:54] 621*2^709511-1 is not prime. Res64: 3B511A1088BFC80A Time : 755.0 sec. user=vaughan [2009-08-09 23:06:31] 741*2^709511-1 is not prime. Res64: 1F747020455607F2 Time : 551.0 sec. user=vaughan [2009-08-09 23:07:36] 675*2^709511-1 is not prime. Res64: 470CB13E9C0120FC Time : 800.0 sec. user=vaughan [2009-08-09 23:08:30] 693*2^709512-1 is not prime. Res64: 7F02AD1F00703B15 Time : 551.0 sec. user=vaughan [2009-08-09 23:08:55] 705*2^709511-1 is not prime. Res64: C16BA850F6AC3918 Time : 765.0 sec. user=vaughan [2009-08-09 23:11:25] 759*2^709512-1 is not prime. Res64: 5A9B2F10300F9ADE Time : 550.0 sec. user=vaughan [2009-08-09 23:12:03] 789*2^709511-1 is not prime. Res64: 90242CC5BB150049 Time : 835.0 sec. user=vaughan [2009-08-09 23:12:28] 675*2^709512-1 is not prime. Res64: B197E1AEFEB62CB2 Time : 798.0 sec. user=vaughan [2009-08-09 23:13:58] 637*2^709513-1 is not prime. Res64: 03E97BBD842BD12D Time : 543.0 sec. user=vaughan [2009-08-09 23:15:55] 741*2^709513-1 is not prime. Res64: 1EBB3DFA97E3082E Time : 565.0 sec. user=vaughan [2009-08-09 23:16:11] 777*2^709512-1 is not prime. Res64: 0D1A6230901B4B71 Time : 700.0 sec. user=vaughan [2009-08-09 23:16:11] 609*2^709513-1 is not prime. Res64: A4BBBFC67BF369B4 Time : 695.0 sec. user=vaughan [2009-08-09 23:16:50] 703*2^709511-1 is not prime. Res64: ADE28831C9BD2326 Time : 1245.0 sec. user=vaughan [2009-08-09 23:17:52] 675*2^709514-1 is not prime. Res64: EAD67617F7C66414 Time : 563.0 sec. user=vaughan [2009-08-09 23:18:14] 705*2^709513-1 is not prime. Res64: 159CAB906C5AAFCF Time : 740.0 sec. user=tnerual [2009-08-09 23:18:55] 751*2^709509-1 is not prime. Res64: 057F98ADACCD6C4F Time : 1820.0 sec. user=vaughan [2009-08-09 23:20:46] 797*2^709514-1 is not prime. Res64: 4CF68D9F7EEDDE03 Time : 561.0 sec. user=vaughan [2009-08-09 23:20:52] 605*2^709514-1 is not prime. Res64: 8C8A2E56386C2E94 Time : 796.0 sec. user=vaughan [2009-08-09 23:21:31] 707*2^709514-1 is not prime. Res64: 107A3761930A90FD Time : 756.0 sec. user=vaughan [2009-08-09 23:23:03] 711*2^709515-1 is not prime. Res64: 4BE07EB827EECE77 Time : 545.0 sec. user=vaughan [2009-08-09 23:25:19] 775*2^709515-1 is not prime. Res64: 6AB4C5D27DE3F2F9 Time : 564.0 sec. user=vaughan [2009-08-09 23:25:42] 709*2^709515-1 is not prime. Res64: CBFDEB65044149AA Time : 794.0 sec. user=vaughan [2009-08-09 23:27:11] 675*2^709515-1 is not prime. Res64: 04624818BAE43703 Time : 908.0 sec. user=vaughan [2009-08-09 23:27:16] 699*2^709516-1 is not prime. Res64: B98BCA14AA373B08 Time : 564.0 sec. user=vaughan [2009-08-09 23:27:46] 623*2^709516-1 is not prime. Res64: 117D626FB66C6499 Time : 695.0 sec. user=vaughan [2009-08-09 23:27:50] 615*2^709516-1 is not prime. Res64: 458824C742B68A16 Time : 699.0 sec. user=vaughan [2009-08-09 23:32:20] 783*2^709516-1 is not prime. Res64: 47C62DB30F4895C5 Time : 846.0 sec. user=vaughan [2009-08-09 23:32:49] 741*2^709517-1 is not prime. Res64: 69DA8B6A405AD4C2 Time : 723.0 sec. user=vaughan [2009-08-09 23:33:09] 627*2^709518-1 is not prime. Res64: ECD3AB9BEFD64F87 Time : 606.0 sec. user=vaughan [2009-08-09 23:33:54] 621*2^709518-1 is not prime. Res64: 49C8568FD8352298 Time : 744.0 sec. user=vaughan [2009-08-09 23:34:08] 747*2^709517-1 is not prime. Res64: F7D668D6C7EF42F5 Time : 797.0 sec. user=vaughan [2009-08-09 23:34:17] 713*2^709518-1 is not prime. Res64: 9852C8A74D088C0D Time : 539.0 sec. user=vaughan [2009-08-09 23:36:16] 763*2^709519-1 is not prime. Res64: 88872369FBD74278 Time : 540.0 sec. user=vaughan [2009-08-09 23:38:58] 601*2^709519-1 is not prime. Res64: 69DBC93AAB0CB5CD Time : 796.0 sec. user=vaughan [2009-08-09 23:39:17] 765*2^709519-1 is not prime. Res64: 8BDAF62B25B671F2 Time : 691.0 sec. user=vaughan [2009-08-09 23:39:23] 609*2^709520-1 is not prime. Res64: 682A4CCD3AED33B2 Time : 694.0 sec. user=vaughan [2009-08-09 23:42:10] 699*2^709520-1 is not prime. Res64: 552CD63F1697B465 Time : 562.0 sec. user=vaughan [2009-08-09 23:42:11] 785*2^709520-1 is not prime. Res64: 7D4813C58A09F745 Time : 543.0 sec. user=vaughan [2009-08-09 23:42:28] 625*2^709519-1 is not prime. Res64: EE2294542732C2DB Time : 917.0 sec. user=vaughan [2009-08-09 23:42:51] 653*2^709516-1 is not prime. Res64: 0948E06E9F5ABD2B Time : 1561.0 sec. user=vaughan [2009-08-09 23:43:40] 739*2^709521-1 is not prime. Res64: B81DD54CBE3CBCA8 Time : 563.0 sec. user=vaughan [2009-08-09 23:45:33] 745*2^709521-1 is not prime. Res64: 1542B56F1B0E1B4F Time : 557.0 sec. user=vaughan [2009-08-09 23:45:43] 615*2^709521-1 is not prime. Res64: FF19C25FACCA48F8 Time : 741.0 sec. user=vaughan [2009-08-09 23:46:32] 639*2^709521-1 is not prime. Res64: 4BBDE8034276B9F3 Time : 758.0 sec. user=vaughan [2009-08-09 23:47:23] 705*2^709521-1 is not prime. Res64: 0367E12B13947926 Time : 795.0 sec. user=vaughan [2009-08-09 23:50:49] 781*2^709521-1 is not prime. Res64: 4EA5E15458C0AD34 Time : 693.0 sec. user=vaughan [2009-08-09 23:50:59] 653*2^709522-1 is not prime. Res64: 7CD673020B5BA83B Time : 696.0 sec. user=vaughan [2009-08-09 23:51:14] 681*2^709522-1 is not prime. Res64: D7ADE2324910393F Time : 544.0 sec. user=tnerual [2009-08-09 23:51:21] 651*2^709517-1 is not prime. Res64: BB1519BD32F43D22 Time : 1946.0 sec. user=vaughan [2009-08-09 23:51:34] 671*2^709522-1 is not prime. Res64: 5F565932A33D2963 Time : 564.0 sec. user=vaughan [2009-08-09 23:52:16] 751*2^709521-1 is not prime. Res64: EF0D520780EC135C Time : 798.0 sec. user=vaughan [2009-08-09 23:52:59] 693*2^709523-1 is not prime. Res64: 577A1DF96D738370 Time : 560.0 sec. user=vaughan [2009-08-09 23:54:52] 675*2^709524-1 is not prime. Res64: 24654BFB6D17C225 Time : 559.0 sec. user=vaughan [2009-08-09 23:56:32] 705*2^709522-1 is not prime. Res64: 9A7BBEC3FBE44895 Time : 844.0 sec. user=vaughan [2009-08-09 23:58:05] 705*2^709524-1 is not prime. Res64: 15F0BDC2998F4A0D Time : 742.0 sec. user=vaughan [2009-08-09 23:59:10] 767*2^709524-1 is not prime. Res64: 35A5075A7314B896 Time : 758.0 sec.