user=tnerual [2008-12-22 00:07:08] 741*2^600154-1 is not prime. Res64: F975E5FB80223AD7 Time : 1277.0 sec. user=tnerual [2008-12-22 00:28:25] 783*2^600155-1 is not prime. Res64: 2C6AF1B4A019B221 Time : 1277.0 sec. user=tnerual [2008-12-22 00:49:43] 689*2^600156-1 is not prime. Res64: C20DC159DF65054F Time : 1279.0 sec. user=tnerual [2008-12-22 01:11:24] 749*2^600156-1 is not prime. Res64: C4094464AD3FFA75 Time : 1302.0 sec. user=tnerual [2008-12-22 01:32:39] 607*2^600157-1 is not prime. Res64: A0D097CFD1031524 Time : 1276.0 sec. user=tnerual [2008-12-22 01:54:02] 667*2^600157-1 is not prime. Res64: EA2C6EC3973C1E70 Time : 1283.0 sec. user=tnerual [2008-12-22 02:15:42] 715*2^600157-1 is not prime. Res64: 11E584EF0FD25E89 Time : 1300.0 sec. user=tnerual [2008-12-22 02:40:13] 747*2^600157-1 is not prime. Res64: 04EAF75446A6E8BA Time : 1471.0 sec. user=tnerual [2008-12-22 03:02:32] 663*2^600158-1 is not prime. Res64: 7A206D15DB7D923E Time : 1339.0 sec. user=tnerual [2008-12-22 03:23:57] 705*2^600158-1 is not prime. Res64: 08497C4F23CF1808 Time : 1285.0 sec. user=tnerual [2008-12-22 03:45:14] 743*2^600158-1 is not prime. Res64: 2F55CFBA5FB1C268 Time : 1277.0 sec. user=tnerual [2008-12-22 04:06:39] 767*2^600158-1 is not prime. Res64: AE660541521001DC Time : 1285.0 sec. user=tnerual [2008-12-22 04:27:58] 773*2^600158-1 is not prime. Res64: AA213C7A7041A4CE Time : 1279.0 sec. user=tnerual [2008-12-22 04:49:19] 705*2^600159-1 is not prime. Res64: 26A9490C4922544D Time : 1281.0 sec. user=tnerual [2008-12-22 05:10:37] 769*2^600159-1 is not prime. Res64: 9A67B90DEA2E21B0 Time : 1279.0 sec. user=tnerual [2008-12-22 05:31:57] 609*2^600160-1 is not prime. Res64: 9C2EEB9570E60E76 Time : 1281.0 sec. user=tnerual [2008-12-22 05:53:10] 629*2^600160-1 is not prime. Res64: FD6952053B97AC4D Time : 1274.0 sec. user=tnerual [2008-12-22 06:14:29] 695*2^600160-1 is not prime. Res64: 52DD5307C83E19FC Time : 1279.0 sec. user=tnerual [2008-12-22 06:35:45] 717*2^600160-1 is not prime. Res64: FBC0210E04F2D885 Time : 1276.0 sec. user=tnerual [2008-12-22 06:57:05] 607*2^600161-1 is not prime. Res64: 4FEF638C5547852C Time : 1280.0 sec. user=tnerual [2008-12-22 07:18:19] 627*2^600161-1 is not prime. Res64: 1679D4D26182D7ED Time : 1274.0 sec. user=tnerual [2008-12-22 07:39:35] 631*2^600161-1 is not prime. Res64: 9E8902AF573B3C8F Time : 1276.0 sec. user=tnerual [2008-12-22 08:00:54] 685*2^600161-1 is not prime. Res64: 162F05DD816A356B Time : 1279.0 sec. user=tnerual [2008-12-22 08:22:11] 711*2^600161-1 is not prime. Res64: 4C7A84E5A0D91ED8 Time : 1277.0 sec. user=tnerual [2008-12-22 08:43:29] 715*2^600161-1 is not prime. Res64: 4FB5DA6FA11441BB Time : 1278.0 sec. user=tnerual [2008-12-22 09:04:43] 671*2^600162-1 is not prime. Res64: BEEA78A498932A91 Time : 1274.0 sec. user=tnerual [2008-12-22 09:25:58] 683*2^600162-1 is not prime. Res64: 9025313CB37000B9 Time : 1275.0 sec. user=tnerual [2008-12-22 09:47:15] 725*2^600162-1 is not prime. Res64: DA62D670865830B1 Time : 1277.0 sec. user=em99010pepe [2008-12-22 10:07:27] 735*2^600163-1 is not prime. Res64: DED794BDAFD4FA56 Time : 470.0 sec. user=em99010pepe [2008-12-22 10:07:38] 793*2^600163-1 is not prime. Res64: A7DC891916651B81 Time : 469.0 sec. user=em99010pepe [2008-12-22 10:07:51] 699*2^600164-1 is not prime. Res64: 8C83A9D50B5AFA86 Time : 471.0 sec. user=tnerual [2008-12-22 10:08:29] 621*2^600163-1 is not prime. Res64: CFB5E65EB9E8CBDD Time : 1274.0 sec. user=em99010pepe [2008-12-22 10:15:17] 769*2^600163-1 is not prime. Res64: D870D2035FF58E26 Time : 939.0 sec. user=em99010pepe [2008-12-22 10:15:28] 675*2^600164-1 is not prime. Res64: 854C10A33F0D8F10 Time : 939.0 sec. user=em99010pepe [2008-12-22 10:15:39] 609*2^600165-1 is not prime. Res64: D74F463F6487FEE1 Time : 938.0 sec. user=em99010pepe [2008-12-22 10:23:05] 691*2^600165-1 is not prime. Res64: 50D74609FAB995DE Time : 938.0 sec. user=em99010pepe [2008-12-22 10:23:16] 765*2^600165-1 is not prime. Res64: DB4FB036A0D1A15F Time : 938.0 sec. user=em99010pepe [2008-12-22 10:23:27] 635*2^600166-1 is not prime. Res64: D886514AFDA2E5F4 Time : 936.0 sec. user=tnerual [2008-12-22 10:29:45] 657*2^600166-1 is not prime. Res64: 115156A69D593BCC Time : 1276.0 sec. user=em99010pepe [2008-12-22 10:30:55] 663*2^600166-1 is not prime. Res64: F4148B49244C6DCB Time : 938.0 sec. user=em99010pepe [2008-12-22 10:31:07] 671*2^600166-1 is not prime. Res64: E25AD5BD527FE9EF Time : 940.0 sec. user=em99010pepe [2008-12-22 10:31:18] 619*2^600167-1 is not prime. Res64: E7596E7F1F8BAEAF Time : 939.0 sec. user=em99010pepe [2008-12-22 10:38:47] 673*2^600167-1 is not prime. Res64: 03DE489E171647E6 Time : 942.0 sec. user=em99010pepe [2008-12-22 10:38:56] 675*2^600167-1 is not prime. Res64: FD6D1FF762D50ABC Time : 940.0 sec. user=em99010pepe [2008-12-22 10:39:09] 685*2^600167-1 is not prime. Res64: 15C8CFAA65B713D0 Time : 942.0 sec. user=em99010pepe [2008-12-22 10:46:38] 683*2^600168-1 is not prime. Res64: B4965DD02E469C79 Time : 944.0 sec. user=em99010pepe [2008-12-22 10:46:47] 723*2^600168-1 is not prime. Res64: 229FC6C8EBDABD93 Time : 940.0 sec. user=em99010pepe [2008-12-22 10:46:58] 747*2^600168-1 is not prime. Res64: 7A127D9C462CA630 Time : 940.0 sec. user=tnerual [2008-12-22 10:50:58] 605*2^600168-1 is not prime. Res64: A208B6E242D254A8 Time : 1273.0 sec. user=em99010pepe [2008-12-22 10:54:32] 639*2^600169-1 is not prime. Res64: 501825E4C4D76F90 Time : 945.0 sec. user=em99010pepe [2008-12-22 10:54:42] 721*2^600169-1 is not prime. Res64: 895FB6151659F31E Time : 946.0 sec. user=em99010pepe [2008-12-22 10:54:53] 665*2^600170-1 is not prime. Res64: E990A75F59E9A4DC Time : 944.0 sec. user=em99010pepe [2008-12-22 11:02:27] 711*2^600170-1 is not prime. Res64: 248FA96B10B89F15 Time : 950.0 sec. user=em99010pepe [2008-12-22 11:02:36] 741*2^600170-1 is not prime. Res64: 7B8DDB30E1BB4273 Time : 949.0 sec. user=em99010pepe [2008-12-22 11:02:45] 767*2^600170-1 is not prime. Res64: FA85F4230AE57F67 Time : 947.0 sec. user=em99010pepe [2008-12-22 11:10:15] 791*2^600170-1 is not prime. Res64: 8D9149C25211743E Time : 943.0 sec. user=em99010pepe [2008-12-22 11:10:23] 643*2^600171-1 is not prime. Res64: 71B66DD63002437E Time : 941.0 sec. user=em99010pepe [2008-12-22 11:10:34] 705*2^600171-1 is not prime. Res64: 81BA2254AD3B0C4A Time : 941.0 sec. user=tnerual [2008-12-22 11:12:15] 783*2^600170-1 is not prime. Res64: 3A4AFCC03FACD90F Time : 1277.0 sec. user=em99010pepe [2008-12-22 11:18:04] 741*2^600171-1 is not prime. Res64: 42C5756BEAD838A5 Time : 937.0 sec. user=em99010pepe [2008-12-22 11:18:12] 775*2^600171-1 is not prime. Res64: B5F9EDB19F4F8733 Time : 936.0 sec. user=em99010pepe [2008-12-22 11:18:18] 781*2^600171-1 is not prime. Res64: 793E3EEB9357999F Time : 934.0 sec. user=em99010pepe [2008-12-22 11:25:52] 603*2^600172-1 is not prime. Res64: 4D6D2E9E037FAE7A Time : 937.0 sec. user=em99010pepe [2008-12-22 11:26:00] 623*2^600172-1 is not prime. Res64: F837C35088C8F602 Time : 937.0 sec. user=em99010pepe [2008-12-22 11:26:06] 723*2^600172-1 is not prime. Res64: A00DB40CF378374C Time : 934.0 sec. user=tnerual [2008-12-22 11:33:34] 735*2^600172-1 is not prime. Res64: A9228BC50B98D9C0 Time : 1279.0 sec. user=em99010pepe [2008-12-22 11:33:41] 615*2^600173-1 is not prime. Res64: 16790028EEC6744C Time : 937.0 sec. user=em99010pepe [2008-12-22 11:33:48] 619*2^600173-1 is not prime. Res64: 9ACC892EC3400B85 Time : 936.0 sec. user=em99010pepe [2008-12-22 11:33:53] 729*2^600173-1 is not prime. Res64: A393BC2FE874CE20 Time : 935.0 sec. user=em99010pepe [2008-12-22 11:41:30] 745*2^600173-1 is not prime. Res64: EF8F0EFBF2A3D0EE Time : 938.0 sec. user=em99010pepe [2008-12-22 11:41:36] 605*2^600174-1 is not prime. Res64: DF182007913B6247 Time : 936.0 sec. user=em99010pepe [2008-12-22 11:41:40] 663*2^600174-1 is not prime. Res64: C544C5A62239EE46 Time : 934.0 sec. user=em99010pepe [2008-12-22 11:49:18] 711*2^600174-1 is not prime. Res64: 4196AF415E31A16D Time : 937.0 sec. user=em99010pepe [2008-12-22 11:49:24] 717*2^600174-1 is not prime. Res64: 4D558B6E73E284E5 Time : 936.0 sec. user=em99010pepe [2008-12-22 11:49:27] 765*2^600174-1 is not prime. Res64: E8592A707DFC315E Time : 934.0 sec. user=tnerual [2008-12-22 11:54:51] 707*2^600174-1 is not prime. Res64: 2B56DC64B049D63B Time : 1278.0 sec. user=em99010pepe [2008-12-22 11:57:07] 773*2^600174-1 is not prime. Res64: D7F631AB430FD033 Time : 937.0 sec. user=em99010pepe [2008-12-22 11:57:11] 633*2^600175-1 is not prime. Res64: 4C95CB455849CA52 Time : 935.0 sec. user=em99010pepe [2008-12-22 11:57:15] 639*2^600175-1 is not prime. Res64: AB096062CF8FBB5E Time : 935.0 sec. user=em99010pepe [2008-12-22 12:04:55] 645*2^600175-1 is not prime. Res64: DC95E083D8933A0E Time : 937.0 sec. user=em99010pepe [2008-12-22 12:04:59] 661*2^600175-1 is not prime. Res64: 11FFA68BA6D589DE Time : 936.0 sec. user=em99010pepe [2008-12-22 12:05:01] 723*2^600175-1 is not prime. Res64: E336B6D26B64246C Time : 934.0 sec. user=em99010pepe [2008-12-22 12:12:44] 611*2^600178-1 is not prime. Res64: 70852DF538E49C13 Time : 937.0 sec. user=em99010pepe [2008-12-22 12:12:48] 705*2^600178-1 is not prime. Res64: 62F1EE33E8BF96C8 Time : 937.0 sec. user=em99010pepe [2008-12-22 12:12:48] 737*2^600178-1 is not prime. Res64: C121959C1FBDECC2 Time : 933.0 sec. user=tnerual [2008-12-22 12:16:08] 759*2^600175-1 is not prime. Res64: 0E7C4E6C83B4921A Time : 1278.0 sec. user=em99010pepe [2008-12-22 12:20:35] 619*2^600179-1 is not prime. Res64: F2691F91AF83E64E Time : 940.0 sec. user=em99010pepe [2008-12-22 12:20:35] 645*2^600179-1 is not prime. Res64: DDB8CF782B11CDCB Time : 936.0 sec. user=em99010pepe [2008-12-22 12:20:36] 703*2^600179-1 is not prime. Res64: 82DA1F45B8656A5F Time : 935.0 sec. user=em99010pepe [2008-12-22 12:28:21] 705*2^600179-1 is not prime. Res64: 1EBF57E2A6E2015E Time : 937.0 sec. user=em99010pepe [2008-12-22 12:28:23] 609*2^600180-1 is not prime. Res64: E88CCD132438F860 Time : 935.0 sec. user=em99010pepe [2008-12-22 12:28:24] 711*2^600179-1 is not prime. Res64: 0FDFDCD842213D34 Time : 936.0 sec. user=em99010pepe [2008-12-22 12:36:10] 669*2^600180-1 is not prime. Res64: 2A7A8CE0ADB269EF Time : 935.0 sec. user=em99010pepe [2008-12-22 12:36:10] 777*2^600180-1 is not prime. Res64: 960822DE269DCBBE Time : 934.0 sec. user=em99010pepe [2008-12-22 12:36:11] 699*2^600180-1 is not prime. Res64: 13B19307A196A46F Time : 936.0 sec. user=tnerual [2008-12-22 12:37:22] 615*2^600180-1 is not prime. Res64: 8664D58D771A9D33 Time : 1274.0 sec. user=em99010pepe [2008-12-22 12:43:57] 789*2^600180-1 is not prime. Res64: BC53DEE39D0F2CD6 Time : 934.0 sec. user=em99010pepe [2008-12-22 12:43:58] 779*2^600180-1 is not prime. Res64: 00C051BEE42BE4B1 Time : 937.0 sec. user=em99010pepe [2008-12-22 12:43:59] 601*2^600181-1 is not prime. Res64: 77BDF964FC57B87F Time : 935.0 sec. user=em99010pepe [2008-12-22 12:51:44] 621*2^600181-1 is not prime. Res64: 5402AB9FC0742FBA Time : 934.0 sec. user=em99010pepe [2008-12-22 12:51:47] 607*2^600181-1 is not prime. Res64: 3946A7E2092CFE27 Time : 938.0 sec. user=em99010pepe [2008-12-22 12:51:48] 757*2^600181-1 is not prime. Res64: B0F58753547FCE51 Time : 937.0 sec. user=tnerual [2008-12-22 12:58:40] 799*2^600181-1 is not prime. Res64: 0FEDEBA30863554D Time : 1278.0 sec. user=em99010pepe [2008-12-22 12:59:31] 623*2^600182-1 is not prime. Res64: 329F8FBEFF68CDBC Time : 934.0 sec. user=em99010pepe [2008-12-22 12:59:35] 753*2^600182-1 is not prime. Res64: 8C4B4D5104CB880B Time : 937.0 sec. user=em99010pepe [2008-12-22 12:59:36] 693*2^600183-1 is not prime. Res64: 4422901A29957731 Time : 937.0 sec. user=em99010pepe [2008-12-22 13:07:18] 735*2^600183-1 is not prime. Res64: 5967104333E72B0C Time : 934.0 sec. user=em99010pepe [2008-12-22 13:07:24] 675*2^600184-1 is not prime. Res64: 3AE8087DC582B506 Time : 937.0 sec. user=em99010pepe [2008-12-22 13:07:25] 795*2^600183-1 is not prime. Res64: B77A6B934C445EA5 Time : 938.0 sec. user=em99010pepe [2008-12-22 13:15:05] 697*2^600185-1 is not prime. Res64: 9EA6C6DFECAF2343 Time : 934.0 sec. user=em99010pepe [2008-12-22 13:15:12] 777*2^600185-1 is not prime. Res64: D0D0ABEC9C6D2A01 Time : 936.0 sec. user=em99010pepe [2008-12-22 13:15:13] 711*2^600185-1 is not prime. Res64: EC4D251B14DD5997 Time : 938.0 sec. user=tnerual [2008-12-22 13:20:00] 773*2^600184-1 is not prime. Res64: 9C4C418CAC87C784 Time : 1281.0 sec. user=em99010pepe [2008-12-22 13:22:52] 795*2^600185-1 is not prime. Res64: E42C420CDB249DC2 Time : 934.0 sec. user=em99010pepe [2008-12-22 13:23:00] 799*2^600185-1 is not prime. Res64: F0CE63B501AC984C Time : 937.0 sec. user=em99010pepe [2008-12-22 13:23:02] 711*2^600186-1 is not prime. Res64: F2D69341E917579E Time : 937.0 sec. user=em99010pepe [2008-12-22 13:30:39] 741*2^600186-1 is not prime. Res64: C83F4FA127F849AA Time : 934.0 sec. user=em99010pepe [2008-12-22 13:30:48] 649*2^600187-1 is not prime. Res64: 8821D25E04012EDE Time : 936.0 sec. user=em99010pepe [2008-12-22 13:30:50] 751*2^600187-1 is not prime. Res64: E4E533EE1DAFE9D6 Time : 937.0 sec. user=em99010pepe [2008-12-22 13:38:27] 735*2^600188-1 is not prime. Res64: DB17C546FCB59241 Time : 935.0 sec. user=em99010pepe [2008-12-22 13:38:36] 755*2^600188-1 is not prime. Res64: 06A0648DB15F2CF3 Time : 937.0 sec. user=em99010pepe [2008-12-22 13:38:39] 627*2^600189-1 is not prime. Res64: 694F915493F59CAF Time : 938.0 sec. user=tnerual [2008-12-22 13:41:18] 687*2^600188-1 is not prime. Res64: A6941FCC162847D7 Time : 1279.0 sec. user=em99010pepe [2008-12-22 13:46:13] 685*2^600189-1 is not prime. Res64: B51BDD15A8B0B4B4 Time : 934.0 sec. user=em99010pepe [2008-12-22 13:46:24] 741*2^600189-1 is not prime. Res64: 0F7AB010DABB764D Time : 936.0 sec. user=em99010pepe [2008-12-22 13:46:27] 605*2^600190-1 is not prime. Res64: D085AB64778916B5 Time : 937.0 sec. user=em99010pepe [2008-12-22 13:54:01] 663*2^600190-1 is not prime. Res64: 48E056BFD8B24BF3 Time : 934.0 sec. user=em99010pepe [2008-12-22 13:54:12] 671*2^600190-1 is not prime. Res64: 0A47B95FB783971B Time : 937.0 sec. user=em99010pepe [2008-12-22 13:54:16] 695*2^600190-1 is not prime. Res64: A5A82F3C51703D23 Time : 938.0 sec. user=em99010pepe [2008-12-22 14:01:49] 685*2^600191-1 is not prime. Res64: D40A474E0B40F321 Time : 936.0 sec. user=em99010pepe [2008-12-22 14:02:00] 735*2^600191-1 is not prime. Res64: 19FC0123DB41BB81 Time : 936.0 sec. user=em99010pepe [2008-12-22 14:02:05] 675*2^600192-1 is not prime. Res64: D5DEA51924004BE8 Time : 938.0 sec. user=tnerual [2008-12-22 14:02:36] 663*2^600191-1 is not prime. Res64: 16C2546BA29E9E42 Time : 1279.0 sec. user=em99010pepe [2008-12-22 14:09:36] 767*2^600192-1 is not prime. Res64: 9B433AF39EC070CA Time : 935.0 sec. user=em99010pepe [2008-12-22 14:09:48] 625*2^600193-1 is not prime. Res64: E2A264238800CAB2 Time : 937.0 sec. user=em99010pepe [2008-12-22 14:09:54] 649*2^600193-1 is not prime. Res64: 3605D008DF0A3886 Time : 939.0 sec. user=em99010pepe [2008-12-22 14:17:23] 765*2^600193-1 is not prime. Res64: 3E0D6CDA9FE21AA7 Time : 934.0 sec. user=em99010pepe [2008-12-22 14:17:36] 615*2^600194-1 is not prime. Res64: 8C324814E75B065A Time : 936.0 sec. user=em99010pepe [2008-12-22 14:17:42] 623*2^600194-1 is not prime. Res64: 5B41B776AA974634 Time : 937.0 sec. user=tnerual [2008-12-22 14:23:54] 683*2^600194-1 is not prime. Res64: 5422B6A3F43B61A9 Time : 1279.0 sec. user=em99010pepe [2008-12-22 14:25:11] 705*2^600194-1 is not prime. Res64: 7AD807AD1699D7E2 Time : 936.0 sec. user=em99010pepe [2008-12-22 14:25:25] 783*2^600194-1 is not prime. Res64: 2560CB14EF64AC10 Time : 938.0 sec. user=em99010pepe [2008-12-22 14:25:31] 613*2^600195-1 is not prime. Res64: F2B88B5392B817E5 Time : 937.0 sec. user=tnerual [2008-12-22 14:45:13] 711*2^600197-1 is not prime. Res64: A138147757676FCC Time : 1279.0 sec. user=em99010pepe [2008-12-22 15:02:01] 725*2^600198-1 is not prime. Res64: 4E5EB2981B69C38B Time : 469.0 sec. user=em99010pepe [2008-12-22 15:02:16] 765*2^600199-1 is not prime. Res64: 895540978694A215 Time : 470.0 sec. user=em99010pepe [2008-12-22 15:02:36] 603*2^600200-1 is not prime. Res64: 6EA306ACC9E2A893 Time : 471.0 sec. user=tnerual [2008-12-22 15:06:29] 651*2^600198-1 is not prime. Res64: 9ED04C49B4DDCBF3 Time : 1277.0 sec. user=em99010pepe [2008-12-22 15:09:49] 679*2^600199-1 is not prime. Res64: E7495C9B7689A782 Time : 937.0 sec. user=em99010pepe [2008-12-22 15:10:04] 771*2^600199-1 is not prime. Res64: 9058B7902292670D Time : 938.0 sec. user=em99010pepe [2008-12-22 15:10:23] 615*2^600200-1 is not prime. Res64: 04F1A67B0BC9198C Time : 937.0 sec. user=em99010pepe [2008-12-22 15:17:36] 677*2^600200-1 is not prime. Res64: B52BBCECAA00DFCA Time : 935.0 sec. user=em99010pepe [2008-12-22 15:17:52] 743*2^600200-1 is not prime. Res64: 2846C48B8C7FCD11 Time : 936.0 sec. user=em99010pepe [2008-12-22 15:18:12] 767*2^600200-1 is not prime. Res64: F3F5BE7876FC487A Time : 937.0 sec. user=em99010pepe [2008-12-22 15:25:24] 681*2^600201-1 is not prime. Res64: DB48A11E0858F037 Time : 936.0 sec. user=em99010pepe [2008-12-22 15:25:39] 751*2^600201-1 is not prime. Res64: 03A02575AFFF91A8 Time : 935.0 sec. user=em99010pepe [2008-12-22 15:25:58] 777*2^600201-1 is not prime. Res64: 611FF1401CB1768F Time : 935.0 sec. user=tnerual [2008-12-22 15:27:46] 639*2^600201-1 is not prime. Res64: AF46B1FEF13A6107 Time : 1278.0 sec. user=tnerual [2008-12-22 15:49:05] 717*2^600205-1 is not prime. Res64: 7EEAA81B420E588E Time : 1280.0 sec. user=tnerual [2008-12-22 22:54:49] 645*2^600206-1 is not prime. Res64: 936669C0DA535AA8 Time : 25544.0 sec. user=tnerual [2008-12-22 23:20:37] 675*2^600206-1 is not prime. Res64: C1AD6CEFA4D3E22E Time : 1548.0 sec. user=tnerual [2008-12-22 23:42:00] 755*2^600206-1 is not prime. Res64: CC08378C51545ED3 Time : 1284.0 sec.