user=vaughan [2012-02-14 00:01:33] 497*2^1122914-1 is not prime. Res64: 8BA497DFCB7D4800 Time : 0.0 sec. user=vaughan [2012-02-14 00:01:38] 533*2^1122914-1 is not prime. Res64: AB46C82881175E75 Time : 0.0 sec. user=vaughan [2012-02-14 00:01:56] 567*2^1122914-1 is not prime. Res64: 557690405260992D Time : 0.0 sec. user=vaughan [2012-02-14 00:02:05] 595*2^1122915-1 is not prime. Res64: 7987E56565B3D9B7 Time : 0.0 sec. user=vaughan [2012-02-14 00:04:21] 451*2^1123183-1 is not prime. Res64: 7CC72753232B23B1 Time : 0.0 sec. user=vaughan [2012-02-14 00:04:22] 453*2^1123183-1 is not prime. Res64: AD9D3F8716F94ACA Time : 0.0 sec. user=vaughan [2012-02-14 00:04:29] 463*2^1123183-1 is not prime. Res64: 72B810C78494DF52 Time : 0.0 sec. user=vaughan [2012-02-14 00:04:30] 479*2^1123184-1 is not prime. Res64: 6B8219145CE90506 Time : 0.0 sec. user=vaughan [2012-02-14 00:05:42] 479*2^1123196-1 is not prime. Res64: F5A2CF0732F7C411 Time : 0.0 sec. user=vaughan [2012-02-14 00:05:43] 545*2^1123196-1 is not prime. Res64: 7EA5891CBE3C25C6 Time : 0.0 sec. user=vaughan [2012-02-14 00:08:31] 423*2^1123188-1 is not prime. Res64: 7D81F8BB49F8236D Time : 0.0 sec. user=vaughan [2012-02-14 00:08:33] 483*2^1123188-1 is not prime. Res64: 55003D37BE33766E Time : 0.0 sec. user=vaughan [2012-02-14 00:08:37] 527*2^1123188-1 is not prime. Res64: 8FDC6D03D3A40B90 Time : 0.0 sec. user=vaughan [2012-02-14 00:08:37] 569*2^1123188-1 is not prime. Res64: B97228BF6290C1DD Time : 0.0 sec. user=vaughan [2012-02-14 00:08:50] 507*2^1123189-1 is not prime. Res64: CB0E8A86CF6EEF48 Time : 0.0 sec. user=vaughan [2012-02-14 00:08:50] 421*2^1123189-1 is not prime. Res64: 5E1D0F8BCAE582B6 Time : 0.0 sec. user=vaughan [2012-02-14 00:08:51] 577*2^1123189-1 is not prime. Res64: 1F3D0A59BE23720F Time : 0.0 sec. user=vaughan [2012-02-14 00:08:53] 477*2^1123189-1 is not prime. Res64: 6DF0EC2C4EAD6469 Time : 0.0 sec. user=vaughan [2012-02-14 00:09:18] 587*2^1123196-1 is not prime. Res64: 6E854BD5717C5286 Time : 0.0 sec. user=vaughan [2012-02-14 00:09:19] 417*2^1123197-1 is not prime. Res64: C4BF632ED6F02AEE Time : 0.0 sec. user=vaughan [2012-02-14 00:10:27] 593*2^1123194-1 is not prime. Res64: 55C65CF11D0EE7E8 Time : 0.0 sec. user=vaughan [2012-02-14 00:10:28] 473*2^1123196-1 is not prime. Res64: 70FD3735E4D43666 Time : 0.0 sec. user=vaughan [2012-02-14 00:10:40] 439*2^1123197-1 is not prime. Res64: 657E3307E43577B5 Time : 0.0 sec. user=vaughan [2012-02-14 00:10:43] 465*2^1123197-1 is not prime. Res64: B12070C01F177C81 Time : 0.0 sec. user=vaughan [2012-02-14 00:12:14] 443*2^1122918-1 is not prime. Res64: A435826C55C0FA42 Time : 0.0 sec. user=vaughan [2012-02-14 00:12:23] 465*2^1123193-1 is not prime. Res64: AEC5559BD90C12CB Time : 0.0 sec. user=vaughan [2012-02-14 00:12:26] 487*2^1123193-1 is not prime. Res64: E2E014D1227F25FB Time : 0.0 sec. user=vaughan [2012-02-14 00:15:02] 499*2^1123201-1 is not prime. Res64: B0A42A7E156F9325 Time : 0.0 sec. user=vaughan [2012-02-14 00:15:04] 511*2^1123201-1 is not prime. Res64: 6CAE56555F8F8AAA Time : 0.0 sec. user=vaughan [2012-02-14 00:15:28] 405*2^1123202-1 is not prime. Res64: 5687AAA8FA26C136 Time : 0.0 sec. user=vaughan [2012-02-14 00:15:30] 425*2^1123202-1 is not prime. Res64: BEFDEAB8CF1C67FC Time : 0.0 sec. user=vaughan [2012-02-14 00:28:59] 535*2^1123209-1 is not prime. Res64: D2DA9AB5A257C2E8 Time : 0.0 sec. user=vaughan [2012-02-14 00:28:59] 483*2^1123198-1 is not prime. Res64: 589854A737811151 Time : 0.0 sec. user=vaughan [2012-02-14 00:28:59] 507*2^1123198-1 is not prime. Res64: 22BB0AB83F350F37 Time : 0.0 sec. user=vaughan [2012-02-14 00:28:59] 581*2^1123210-1 is not prime. Res64: 3024BE2778EE9CFE Time : 0.0 sec. user=vaughan [2012-02-14 00:29:01] 585*2^1123203-1 is not prime. Res64: BD256EEB668120E5 Time : 0.0 sec. user=vaughan [2012-02-14 00:29:03] 595*2^1123203-1 is not prime. Res64: 231CC9EDB304FC78 Time : 0.0 sec. user=vaughan [2012-02-14 00:29:03] 421*2^1123199-1 is not prime. Res64: 63F826513D056213 Time : 0.0 sec. user=vaughan [2012-02-14 00:29:05] 595*2^1123199-1 is not prime. Res64: 090BBE51F170EDA0 Time : 0.0 sec. user=vaughan [2012-02-14 00:29:11] 419*2^1123204-1 is not prime. Res64: D97E46A83BA2A4B6 Time : 0.0 sec. user=vaughan [2012-02-14 00:29:12] 437*2^1123204-1 is not prime. Res64: 276365949A02CEBF Time : 0.0 sec. user=vaughan [2012-02-14 00:29:19] 513*2^1123194-1 is not prime. Res64: BA6D3DE7CD09A794 Time : 0.0 sec. user=vaughan [2012-02-14 00:29:20] 563*2^1123194-1 is not prime. Res64: FCC66BBE203085EC Time : 0.0 sec. user=vaughan [2012-02-14 00:30:11] 453*2^1123204-1 is not prime. Res64: 99493341BFEF4230 Time : 0.0 sec. user=vaughan [2012-02-14 00:30:12] 527*2^1123204-1 is not prime. Res64: D389C68E5D8A0E5F Time : 0.0 sec. user=vaughan [2012-02-14 00:30:12] 411*2^1122919-1 is not prime. Res64: D61F5E8E5A54AE37 Time : 0.0 sec. user=vaughan [2012-02-14 00:30:13] 421*2^1122919-1 is not prime. Res64: 4D8DA23FA1F1D466 Time : 0.0 sec. user=vaughan [2012-02-14 00:30:18] 501*2^1123214-1 is not prime. Res64: B72D71D6CE10BAE3 Time : 0.0 sec. user=vaughan [2012-02-14 00:30:19] 575*2^1123214-1 is not prime. Res64: 5BA96963EF6B26B6 Time : 0.0 sec. user=vaughan [2012-02-14 00:30:30] 471*2^1123197-1 is not prime. Res64: 6AB5A82F859DF3B4 Time : 0.0 sec. user=vaughan [2012-02-14 00:30:31] 453*2^1123198-1 is not prime. Res64: FD24529DFED0379D Time : 0.0 sec. user=juhehe [2012-02-14 00:31:37] 411*2^1123201-1 is not prime. Res64: EBD3213D0AF18EB6 Time : 0.0 sec. user=vaughan [2012-02-14 00:31:42] 507*2^1123216-1 is not prime. Res64: FA96BCCABF42AD85 Time : 0.0 sec. user=vaughan [2012-02-14 00:31:43] 527*2^1123216-1 is not prime. Res64: 17B3392718905FD5 Time : 0.0 sec. user=juhehe [2012-02-14 00:32:03] 429*2^1123201-1 is not prime. Res64: CCC7F92A860BAE5A Time : 0.0 sec. user=vaughan [2012-02-14 00:33:58] 497*2^1123202-1 is not prime. Res64: 7BEE7A4CD49DCF80 Time : 0.0 sec. user=vaughan [2012-02-14 00:33:58] 503*2^1123202-1 is not prime. Res64: C9B869F48177A16A Time : 0.0 sec. user=vaughan [2012-02-14 00:34:46] 567*2^1123220-1 is not prime. Res64: 78E5A8216055F7B0 Time : 0.0 sec. user=vaughan [2012-02-14 00:34:47] 599*2^1123220-1 is not prime. Res64: 930EAA810EE8AA80 Time : 0.0 sec. user=vaughan [2012-02-14 00:35:10] 469*2^1123221-1 is not prime. Res64: 53C8E12ED761E184 Time : 0.0 sec. user=vaughan [2012-02-14 00:35:11] 549*2^1123221-1 is not prime. Res64: E4C66DF36896B19B Time : 0.0 sec. user=vaughan [2012-02-14 00:35:27] 541*2^1123215-1 is not prime. Res64: DA71C1E806A388D6 Time : 0.0 sec. user=vaughan [2012-02-14 00:35:27] 573*2^1123215-1 is not prime. Res64: C44BA13FC57DEFB5 Time : 0.0 sec. user=vaughan [2012-02-14 00:36:54] 413*2^1123200-1 is not prime. Res64: 4B79CBF0C16CF104 Time : 0.0 sec. user=vaughan [2012-02-14 00:36:55] 479*2^1123200-1 is not prime. Res64: 2D4D99E0F737D649 Time : 0.0 sec. user=vaughan [2012-02-14 00:36:55] 527*2^1123200-1 is not prime. Res64: BBCE2FBC2D8611D1 Time : 0.0 sec. user=vaughan [2012-02-14 00:36:56] 539*2^1123200-1 is not prime. Res64: B125DB78A1F67310 Time : 0.0 sec. user=vaughan [2012-02-14 00:36:57] 555*2^1123200-1 is not prime. Res64: 7E3F123F8DA9B6CB Time : 0.0 sec. user=vaughan [2012-02-14 00:36:58] 567*2^1123200-1 is not prime. Res64: 204376319C83EBE9 Time : 0.0 sec. user=vaughan [2012-02-14 00:38:26] 533*2^1123204-1 is not prime. Res64: A5EE8D19949BECDA Time : 0.0 sec. user=vaughan [2012-02-14 00:38:26] 489*2^1123205-1 is not prime. Res64: 095A9A9DBF60BED6 Time : 0.0 sec. user=vaughan [2012-02-14 00:38:27] 507*2^1123205-1 is not prime. Res64: EB192C1B88762BAE Time : 0.0 sec. user=vaughan [2012-02-14 00:38:28] 591*2^1123205-1 is not prime. Res64: EC6D1EC9DBAB11F4 Time : 0.0 sec. user=vaughan [2012-02-14 00:38:49] 483*2^1123206-1 is not prime. Res64: 54CFBDEEFAA91C6B Time : 0.0 sec. user=vaughan [2012-02-14 00:38:50] 531*2^1123207-1 is not prime. Res64: BDC5025FD271F53D Time : 0.0 sec. user=vaughan [2012-02-14 00:39:07] 465*2^1123208-1 is not prime. Res64: 1DF466C110014910 Time : 0.0 sec. user=vaughan [2012-02-14 00:39:08] 515*2^1123208-1 is not prime. Res64: 8DF4755DE5BFD60D Time : 0.0 sec. user=vaughan [2012-02-14 00:43:54] 537*2^1123208-1 is not prime. Res64: 7EF36A4C1087AACC Time : 0.0 sec. user=vaughan [2012-02-14 00:43:54] 441*2^1123209-1 is not prime. Res64: E1BEAE3FE6F49504 Time : 0.0 sec. user=vaughan [2012-02-14 00:44:01] 495*2^1123209-1 is not prime. Res64: 762B08537C086658 Time : 0.0 sec. user=vaughan [2012-02-14 00:44:02] 499*2^1123209-1 is not prime. Res64: 3C036137C6AA1533 Time : 0.0 sec. user=vaughan [2012-02-14 00:44:45] 413*2^1123212-1 is not prime. Res64: DA642E11D98B8A6C Time : 0.0 sec. user=vaughan [2012-02-14 00:44:46] 507*2^1123212-1 is not prime. Res64: 2F8510FDC3DE6978 Time : 0.0 sec. user=vaughan [2012-02-14 00:44:53] 585*2^1123212-1 is not prime. Res64: E08338F7A4E80596 Time : 0.0 sec. user=vaughan [2012-02-14 00:44:54] 465*2^1123213-1 is not prime. Res64: 8EC474CEA85079AE Time : 0.0 sec. user=vaughan [2012-02-14 00:45:07] 549*2^1123213-1 is not prime. Res64: 0439A1E37EA26564 Time : 0.0 sec. user=vaughan [2012-02-14 00:45:08] 591*2^1123213-1 is not prime. Res64: 327F2A54958F6D7D Time : 0.0 sec. user=vaughan [2012-02-14 00:45:08] 595*2^1123213-1 is not prime. Res64: ACD9A20A514052B0 Time : 0.0 sec. user=vaughan [2012-02-14 00:45:08] 437*2^1123214-1 is not prime. Res64: A699344241B71727 Time : 0.0 sec. user=vaughan [2012-02-14 00:48:39] 585*2^1123221-1 is not prime. Res64: 40998FA49C30DDA7 Time : 0.0 sec. user=vaughan [2012-02-14 00:48:39] 447*2^1123222-1 is not prime. Res64: 2D943CCDC27ABE7C Time : 0.0 sec. user=vaughan [2012-02-14 00:48:49] 493*2^1123219-1 is not prime. Res64: 5C885834F08E6A8D Time : 0.0 sec. user=vaughan [2012-02-14 00:48:49] 515*2^1123220-1 is not prime. Res64: 67FB853C723E48E7 Time : 0.0 sec. user=vaughan [2012-02-14 00:49:07] 549*2^1123217-1 is not prime. Res64: BEA074EF053CC4D2 Time : 0.0 sec. user=vaughan [2012-02-14 00:49:07] 565*2^1123217-1 is not prime. Res64: D36C8BE0D0B0430A Time : 0.0 sec. user=vaughan [2012-02-14 00:50:38] 541*2^1123225-1 is not prime. Res64: 75EC335CA9235455 Time : 0.0 sec. user=vaughan [2012-02-14 00:50:39] 477*2^1123226-1 is not prime. Res64: B21A9E4D65776409 Time : 0.0 sec. user=vaughan [2012-02-14 00:51:27] 495*2^1123228-1 is not prime. Res64: EC6001B1C55EFAEE Time : 0.0 sec. user=vaughan [2012-02-14 00:51:27] 513*2^1123228-1 is not prime. Res64: FA924245F47A9F88 Time : 0.0 sec. user=vaughan [2012-02-14 00:53:09] 437*2^1123230-1 is not prime. Res64: DDFF040DBDCEFECC Time : 0.0 sec. user=vaughan [2012-02-14 00:53:10] 503*2^1123230-1 is not prime. Res64: 0BE6A0B2F19C753B Time : 0.0 sec. user=vaughan [2012-02-14 00:53:58] 551*2^1123222-1 is not prime. Res64: 4C7A90CD19A07978 Time : 0.0 sec. user=vaughan [2012-02-14 00:53:58] 451*2^1123223-1 is not prime. Res64: 2D824A29B92AF107 Time : 0.0 sec. user=vaughan [2012-02-14 00:54:24] 463*2^1123231-1 is not prime. Res64: 5E92FE167B8AB69B Time : 0.0 sec. user=vaughan [2012-02-14 00:54:24] 475*2^1123231-1 is not prime. Res64: C91ACDB53017FC79 Time : 0.0 sec. user=vaughan [2012-02-14 00:54:48] 499*2^1123231-1 is not prime. Res64: A275F0AE431B9599 Time : 0.0 sec. user=vaughan [2012-02-14 00:54:48] 511*2^1123231-1 is not prime. Res64: D1D0E3FBAD739533 Time : 0.0 sec. user=vaughan [2012-02-14 00:55:15] 483*2^1123227-1 is not prime. Res64: AA577D0A7DC68169 Time : 0.0 sec. user=vaughan [2012-02-14 00:55:15] 511*2^1123227-1 is not prime. Res64: 7C7849A191A0C239 Time : 0.0 sec. user=vaughan [2012-02-14 01:00:16] 541*2^1123231-1 is not prime. Res64: E45FF1CE1701AE65 Time : 0.0 sec. user=vaughan [2012-02-14 01:00:17] 573*2^1123231-1 is not prime. Res64: 61A87614CED101DF Time : 0.0 sec. user=vaughan [2012-02-14 01:01:18] 525*2^1123222-1 is not prime. Res64: F9CB2F3E1A111184 Time : 0.0 sec. user=vaughan [2012-02-14 01:01:19] 563*2^1123224-1 is not prime. Res64: 0BAACF2EF8149D77 Time : 0.0 sec. user=vaughan [2012-02-14 01:01:19] 545*2^1123222-1 is not prime. Res64: DE7C8C10FB082C2C Time : 0.0 sec. user=vaughan [2012-02-14 01:01:20] 415*2^1123225-1 is not prime. Res64: F612BC627B7BD6AA Time : 0.0 sec. user=juhehe [2012-02-14 01:02:48] 431*2^1123230-1 is not prime. Res64: 1A521DF8A8B15A3E Time : 0.0 sec. user=vaughan [2012-02-14 01:02:50] 563*2^1123228-1 is not prime. Res64: 6CDDD772A70E34F2 Time : 0.0 sec. user=vaughan [2012-02-14 01:02:51] 459*2^1123229-1 is not prime. Res64: 739167B72EAEE5D5 Time : 0.0 sec. user=juhehe [2012-02-14 01:03:20] 515*2^1123230-1 is not prime. Res64: D687A0E31FED6F44 Time : 0.0 sec. user=vaughan [2012-02-14 01:07:10] 543*2^1123227-1 is not prime. Res64: 519CDB6238FBDE84 Time : 0.0 sec. user=vaughan [2012-02-14 01:07:12] 443*2^1123228-1 is not prime. Res64: F8D288F4A0CB2F45 Time : 0.0 sec. user=vaughan [2012-02-14 01:08:18] 573*2^1123243-1 is not prime. Res64: B8135ACC52E42153 Time : 0.0 sec. user=vaughan [2012-02-14 01:08:19] 409*2^1123245-1 is not prime. Res64: 3D1D35BEAF773B45 Time : 0.0 sec. user=vaughan [2012-02-14 01:08:54] 537*2^1123226-1 is not prime. Res64: 958D91BCD837B3AE Time : 0.0 sec. user=vaughan [2012-02-14 01:08:56] 433*2^1123227-1 is not prime. Res64: 1E1C3615961512F0 Time : 0.0 sec. user=vaughan [2012-02-14 01:10:13] 557*2^1123230-1 is not prime. Res64: 8C2985F1E753A5F6 Time : 0.0 sec. user=vaughan [2012-02-14 01:10:14] 441*2^1123231-1 is not prime. Res64: 289DAC626D323109 Time : 0.0 sec. user=vaughan [2012-02-14 01:11:46] 573*2^1123246-1 is not prime. Res64: 010A22F2A7617FAF Time : 0.0 sec. user=vaughan [2012-02-14 01:11:47] 587*2^1123246-1 is not prime. Res64: F8FAAC9E20782580 Time : 0.0 sec. user=vaughan [2012-02-14 01:12:30] 421*2^1123247-1 is not prime. Res64: 425F11FEBF3E8E6F Time : 0.0 sec. user=vaughan [2012-02-14 01:12:31] 465*2^1123247-1 is not prime. Res64: 2FB8866B1D3A82E0 Time : 0.0 sec. user=vaughan [2012-02-14 01:14:00] 569*2^1123248-1 is not prime. Res64: FD8E342F141DDA85 Time : 0.0 sec. user=vaughan [2012-02-14 01:14:01] 411*2^1123249-1 is not prime. Res64: D7BDC53EED3AA5A6 Time : 0.0 sec. user=vaughan [2012-02-14 01:14:18] 505*2^1123247-1 is not prime. Res64: 12FD99B990FFFEF1 Time : 0.0 sec. user=vaughan [2012-02-14 01:14:19] 531*2^1123247-1 is not prime. Res64: 5D731CB9B320AF76 Time : 0.0 sec. user=vaughan [2012-02-14 01:14:26] 457*2^1123249-1 is not prime. Res64: FDCDC2111B81251B Time : 0.0 sec. user=vaughan [2012-02-14 01:14:27] 499*2^1123249-1 is not prime. Res64: EB2BE3E440047A6D Time : 0.0 sec. user=vaughan [2012-02-14 01:15:21] 537*2^1123236-1 is not prime. Res64: C3C144EC685067C0 Time : 0.0 sec. user=vaughan [2012-02-14 01:15:22] 439*2^1123237-1 is not prime. Res64: 19957A5B3F61BEB6 Time : 0.0 sec. user=vaughan [2012-02-14 01:15:26] 573*2^1123235-1 is not prime. Res64: 94FEC50E36491973 Time : 0.0 sec. user=vaughan [2012-02-14 01:15:26] 425*2^1123236-1 is not prime. Res64: E9058F093D221205 Time : 0.0 sec. user=vaughan [2012-02-14 01:15:41] 469*2^1123237-1 is not prime. Res64: 3C9BCA0A2196380B Time : 0.0 sec. user=vaughan [2012-02-14 01:15:41] 549*2^1123237-1 is not prime. Res64: 9DC607E89125685E Time : 0.0 sec. user=vaughan [2012-02-14 01:16:00] 525*2^1123238-1 is not prime. Res64: 6796628548D2884B Time : 0.0 sec. user=vaughan [2012-02-14 01:16:01] 591*2^1123238-1 is not prime. Res64: 075C260775F6767C Time : 0.0 sec. user=vaughan [2012-02-14 01:18:35] 489*2^1123248-1 is not prime. Res64: 3C455D7CA3EF6BDD Time : 0.0 sec. user=vaughan [2012-02-14 01:18:35] 527*2^1123248-1 is not prime. Res64: C66201F66BC2CE84 Time : 0.0 sec. user=vaughan [2012-02-14 01:19:55] 417*2^1123250-1 is not prime. Res64: AE24EB046FBBBDF6 Time : 0.0 sec. user=vaughan [2012-02-14 01:19:55] 563*2^1123250-1 is not prime. Res64: 835E1F63615A0752 Time : 0.0 sec. user=vaughan [2012-02-14 01:20:38] 509*2^1123240-1 is not prime. Res64: B188BB8BCE4BDBE8 Time : 0.0 sec. user=vaughan [2012-02-14 01:20:39] 549*2^1123240-1 is not prime. Res64: DCBA586367D5E717 Time : 0.0 sec. user=vaughan [2012-02-14 01:20:44] 439*2^1123241-1 is not prime. Res64: 779EEF4C46D5712C Time : 0.0 sec. user=vaughan [2012-02-14 01:20:44] 483*2^1123242-1 is not prime. Res64: 11F8DC52B3C9E000 Time : 0.0 sec. user=vaughan [2012-02-14 01:20:56] 551*2^1123242-1 is not prime. Res64: 440E294392B55624 Time : 0.0 sec. user=vaughan [2012-02-14 01:20:56] 587*2^1123242-1 is not prime. Res64: CA8384DFF8D9DDEF Time : 0.0 sec. user=vaughan [2012-02-14 01:20:59] 411*2^1123243-1 is not prime. Res64: 8C7D27CA8FDC7985 Time : 0.0 sec. user=vaughan [2012-02-14 01:21:00] 519*2^1123243-1 is not prime. Res64: 31B74B173D05F411 Time : 0.0 sec. user=vaughan [2012-02-14 01:21:21] 585*2^1123232-1 is not prime. Res64: CD384790C36C413D Time : 0.0 sec. user=vaughan [2012-02-14 01:21:21] 441*2^1123233-1 is not prime. Res64: 6AB63DE5D43243CA Time : 0.0 sec. user=vaughan [2012-02-14 01:21:22] 577*2^1123233-1 is not prime. Res64: 3ACC912B4668AAC6 Time : 0.0 sec. user=vaughan [2012-02-14 01:21:23] 491*2^1123234-1 is not prime. Res64: D3E4FC5E1C61B5C6 Time : 0.0 sec. user=vaughan [2012-02-14 01:21:23] 587*2^1123234-1 is not prime. Res64: 755C285D5FBF1DBD Time : 0.0 sec. user=vaughan [2012-02-14 01:21:24] 481*2^1123235-1 is not prime. Res64: 91A98AF0CE081D42 Time : 0.0 sec. user=vaughan [2012-02-14 01:23:25] 433*2^1123239-1 is not prime. Res64: 865964265CDC962C Time : 0.0 sec. user=vaughan [2012-02-14 01:23:26] 481*2^1123239-1 is not prime. Res64: 0EB4F1434E48CF07 Time : 0.0 sec. user=vaughan [2012-02-14 01:23:29] 513*2^1123239-1 is not prime. Res64: B97303E44F703554 Time : 0.0 sec. user=vaughan [2012-02-14 01:23:30] 543*2^1123239-1 is not prime. Res64: 3847ACBCFBA98D9C Time : 0.0 sec. user=vaughan [2012-02-14 01:24:29] 415*2^1123245-1 is not prime. Res64: E80F469D08081BE0 Time : 0.0 sec. user=vaughan [2012-02-14 01:24:29] 411*2^1123246-1 is not prime. Res64: E0D728B0D8BB14E6 Time : 0.0 sec. user=vaughan [2012-02-14 01:24:57] 585*2^1123250-1 is not prime. Res64: A8E1AFD0C5AB4EDA Time : 0.0 sec. user=vaughan [2012-02-14 01:24:58] 493*2^1123251-1 is not prime. Res64: 08DB484002C1D3BC Time : 0.0 sec. user=vaughan [2012-02-14 01:26:01] 461*2^1123246-1 is not prime. Res64: 513360F45DC528B4 Time : 0.0 sec. user=vaughan [2012-02-14 01:26:01] 561*2^1123246-1 is not prime. Res64: 785133750A7BB4F2 Time : 0.0 sec. user=vaughan [2012-02-14 01:27:59] 511*2^1123255-1 is not prime. Res64: 786EE7A7EFF15B23 Time : 0.0 sec. user=vaughan [2012-02-14 01:28:00] 535*2^1123255-1 is not prime. Res64: 65845061E510DF0F Time : 0.0 sec. user=vaughan [2012-02-14 01:33:11] 495*2^1123259-1 is not prime. Res64: E49C1B59E5CA2E88 Time : 0.0 sec. user=vaughan [2012-02-14 01:33:12] 589*2^1123259-1 is not prime. Res64: 0422E9103F2F6947 Time : 0.0 sec. user=vaughan [2012-02-14 01:33:36] 451*2^1123261-1 is not prime. Res64: 921C5ED99C04D55D Time : 0.0 sec. user=vaughan [2012-02-14 01:33:36] 469*2^1123261-1 is not prime. Res64: 9043D787F1204F31 Time : 0.0 sec. user=vaughan [2012-02-14 01:33:38] 423*2^1123252-1 is not prime. Res64: 8B7E121CC14B6D4E Time : 0.0 sec. user=vaughan [2012-02-14 01:33:39] 485*2^1123252-1 is not prime. Res64: D268273621A9C4E7 Time : 0.0 sec. user=vaughan [2012-02-14 01:33:41] 411*2^1123253-1 is not prime. Res64: 66276F0398ED5678 Time : 0.0 sec. user=vaughan [2012-02-14 01:33:42] 547*2^1123253-1 is not prime. Res64: CD20E39B8128AA82 Time : 0.0 sec. user=vaughan [2012-02-14 01:33:48] 587*2^1123260-1 is not prime. Res64: 1060BA5007ED8625 Time : 0.0 sec. user=vaughan [2012-02-14 01:33:48] 441*2^1123261-1 is not prime. Res64: 726390AC86DD42C7 Time : 0.0 sec. user=vaughan [2012-02-14 01:34:04] 437*2^1123262-1 is not prime. Res64: 3AE6EBB92C417C5C Time : 0.0 sec. user=vaughan [2012-02-14 01:34:05] 411*2^1123263-1 is not prime. Res64: 0AFB600F54A94871 Time : 0.0 sec. user=juhehe [2012-02-14 01:34:06] 413*2^1123254-1 is not prime. Res64: BDBD61A040315558 Time : 0.0 sec. user=juhehe [2012-02-14 01:34:39] 513*2^1123254-1 is not prime. Res64: 16F8EA2A9BC0D282 Time : 0.0 sec. user=vaughan [2012-02-14 01:35:10] 417*2^1123254-1 is not prime. Res64: 8DDBD1ABBA3C2E4E Time : 0.0 sec. user=vaughan [2012-02-14 01:35:11] 437*2^1123254-1 is not prime. Res64: 481AAC060052E490 Time : 0.0 sec. user=vaughan [2012-02-14 01:35:29] 537*2^1123261-1 is not prime. Res64: 2081EAC75745A80C Time : 0.0 sec. user=vaughan [2012-02-14 01:35:30] 541*2^1123261-1 is not prime. Res64: 0933E233C1107847 Time : 0.0 sec. user=juhehe [2012-02-14 01:35:54] 575*2^1122946-1 is not prime. Res64: AE6F5BF68A846A5E Time : 0.0 sec. user=vaughan [2012-02-14 01:43:14] 451*2^1123267-1 is not prime. Res64: 6EA0A7BEF1334503 Time : 0.0 sec. user=vaughan [2012-02-14 01:43:15] 523*2^1123267-1 is not prime. Res64: 442EE22262C17A56 Time : 0.0 sec. user=vaughan [2012-02-14 01:44:12] 573*2^1123254-1 is not prime. Res64: C098CA3671349B5F Time : 0.0 sec. user=vaughan [2012-02-14 01:44:13] 469*2^1123255-1 is not prime. Res64: 92CE252FDE08EFE9 Time : 0.0 sec. user=vaughan [2012-02-14 01:44:30] 595*2^1123267-1 is not prime. Res64: C931AE61130675B9 Time : 0.0 sec. user=vaughan [2012-02-14 01:44:31] 435*2^1123268-1 is not prime. Res64: 4DCD09FB176FA467 Time : 0.0 sec. user=vaughan [2012-02-14 01:44:55] 471*2^1123258-1 is not prime. Res64: 54669F00CD889A59 Time : 0.0 sec. user=vaughan [2012-02-14 01:44:56] 533*2^1123258-1 is not prime. Res64: 5734F1CDD9202901 Time : 0.0 sec. user=vaughan [2012-02-14 01:47:35] 451*2^1123279-1 is not prime. Res64: 736724B2DED64D19 Time : 0.0 sec. user=vaughan [2012-02-14 01:47:36] 447*2^1123280-1 is not prime. Res64: 485E77B89D10C280 Time : 0.0 sec. user=vaughan [2012-02-14 01:48:27] 567*2^1123256-1 is not prime. Res64: C9BE5229C8ACC667 Time : 0.0 sec. user=vaughan [2012-02-14 01:48:27] 529*2^1123257-1 is not prime. Res64: 5933B29F409E9440 Time : 0.0 sec. user=vaughan [2012-02-14 01:49:36] 507*2^1123277-1 is not prime. Res64: AC5E7A7DADE58BCD Time : 0.0 sec. user=vaughan [2012-02-14 01:49:37] 549*2^1123277-1 is not prime. Res64: 6BC25843BFFB07C9 Time : 0.0 sec. user=vaughan [2012-02-14 01:52:18] 415*2^1123263-1 is not prime. Res64: 88583F7BC06E3439 Time : 0.0 sec. user=vaughan [2012-02-14 01:52:18] 583*2^1123263-1 is not prime. Res64: 214015857D619B35 Time : 0.0 sec. user=vaughan [2012-02-14 01:52:18] 429*2^1123263-1 is not prime. Res64: 607DD5146F1F04BE Time : 0.0 sec. user=vaughan [2012-02-14 01:52:19] 429*2^1123264-1 is not prime. Res64: 5AF5E45CCBD98FA0 Time : 0.0 sec. user=vaughan [2012-02-14 01:52:37] 479*2^1123264-1 is not prime. Res64: 78D57708D877D05A Time : 0.0 sec. user=vaughan [2012-02-14 01:52:38] 513*2^1123264-1 is not prime. Res64: 31064719BD44443E Time : 0.0 sec. user=vaughan [2012-02-14 01:52:57] 409*2^1123265-1 is not prime. Res64: ADE4BD3E1C0A517E Time : 0.0 sec. user=vaughan [2012-02-14 01:52:58] 453*2^1123266-1 is not prime. Res64: 0D9E3266EBB0F0AF Time : 0.0 sec. user=vaughan [2012-02-14 01:53:13] 427*2^1123281-1 is not prime. Res64: 553D1E041EE11785 Time : 0.0 sec. user=vaughan [2012-02-14 01:53:13] 459*2^1123281-1 is not prime. Res64: 5796A43DAB2FC586 Time : 0.0 sec. user=vaughan [2012-02-14 01:53:39] 459*2^1123284-1 is not prime. Res64: 6F80B608FC22B013 Time : 0.0 sec. user=vaughan [2012-02-14 01:53:40] 483*2^1123284-1 is not prime. Res64: 17B37DBFA74C9EB0 Time : 0.0 sec. user=juhehe [2012-02-14 01:54:28] 455*2^1123286-1 is not prime. Res64: ABAD6C5934E1C457 Time : 0.0 sec. user=vaughan [2012-02-14 01:54:41] 467*2^1123280-1 is not prime. Res64: D6E15AB22307E1B2 Time : 0.0 sec. user=vaughan [2012-02-14 01:54:41] 479*2^1123280-1 is not prime. Res64: B1D5812911F4610F Time : 0.0 sec. user=vaughan [2012-02-14 01:54:55] 463*2^1123283-1 is not prime. Res64: 5BF11465FBBA7167 Time : 0.0 sec. user=vaughan [2012-02-14 01:54:56] 585*2^1123283-1 is not prime. Res64: 2CDC051A9A374EA0 Time : 0.0 sec. user=vaughan [2012-02-14 01:55:13] 439*2^1123269-1 is not prime. Res64: AB25B2FB31F65810 Time : 0.0 sec. user=vaughan [2012-02-14 01:55:13] 471*2^1123269-1 is not prime. Res64: AEE7D99316B6A9B6 Time : 0.0 sec. user=vaughan [2012-02-14 01:55:18] 487*2^1123269-1 is not prime. Res64: 0FF765BA1751AD39 Time : 0.0 sec. user=vaughan [2012-02-14 01:55:18] 499*2^1123269-1 is not prime. Res64: E41BAAA6FA7003E9 Time : 0.0 sec. user=vaughan [2012-02-14 01:55:27] 465*2^1123270-1 is not prime. Res64: D7FCDFA4397CF2F8 Time : 0.0 sec. user=vaughan [2012-02-14 01:55:28] 471*2^1123270-1 is not prime. Res64: 6B70DCA1B6916AD0 Time : 0.0 sec. user=vaughan [2012-02-14 01:55:35] 561*2^1123270-1 is not prime. Res64: E763C5B89C909F6A Time : 0.0 sec. user=vaughan [2012-02-14 01:55:35] 421*2^1123271-1 is not prime. Res64: EF50F747B9A52768 Time : 0.0 sec. user=vaughan [2012-02-14 01:56:56] 555*2^1123285-1 is not prime. Res64: 45F6517D12165D17 Time : 0.0 sec. user=vaughan [2012-02-14 01:56:56] 437*2^1123286-1 is not prime. Res64: 931DE1C5D592BDC5 Time : 0.0 sec. user=vaughan [2012-02-14 01:59:01] 447*2^1123277-1 is not prime. Res64: AA7728772EBC5FC2 Time : 0.0 sec. user=vaughan [2012-02-14 01:59:02] 477*2^1123277-1 is not prime. Res64: 2AC575AC944D105E Time : 0.0 sec. user=vaughan [2012-02-14 02:02:56] 565*2^1123277-1 is not prime. Res64: BDD9E047A2114320 Time : 0.0 sec. user=vaughan [2012-02-14 02:02:56] 405*2^1123275-1 is not prime. Res64: 317683C4374AD985 Time : 0.0 sec. user=vaughan [2012-02-14 02:02:57] 503*2^1123278-1 is not prime. Res64: 14AB4FDDE70FA780 Time : 0.0 sec. user=vaughan [2012-02-14 02:02:58] 575*2^1123276-1 is not prime. Res64: C02DE27DA87EBB0B Time : 0.0 sec. user=vaughan [2012-02-14 02:03:00] 587*2^1123276-1 is not prime. Res64: 3EAE44546441A21F Time : 0.0 sec. user=vaughan [2012-02-14 02:03:01] 593*2^1123276-1 is not prime. Res64: 426AB1FA5E4ABFD3 Time : 0.0 sec. user=juhehe [2012-02-14 02:05:25] 525*2^1123284-1 is not prime. Res64: 68673D32989AFC3A Time : 0.0 sec. user=vaughan [2012-02-14 02:05:46] 453*2^1123271-1 is not prime. Res64: D265F38BB591CAF3 Time : 0.0 sec. user=vaughan [2012-02-14 02:05:47] 549*2^1123273-1 is not prime. Res64: 1476C9973EA7361A Time : 0.0 sec. user=vaughan [2012-02-14 02:05:49] 425*2^1123274-1 is not prime. Res64: 4B030AB37B7BB7FF Time : 0.0 sec. user=vaughan [2012-02-14 02:05:50] 531*2^1123274-1 is not prime. Res64: 6B48205106F05C43 Time : 0.0 sec. user=vaughan [2012-02-14 02:05:52] 483*2^1123274-1 is not prime. Res64: DF4232A8714C7F04 Time : 0.0 sec. user=vaughan [2012-02-14 02:05:54] 551*2^1123274-1 is not prime. Res64: 85B0C770D4B71632 Time : 0.0 sec. user=juhehe [2012-02-14 02:05:58] 409*2^1123285-1 is not prime. Res64: D3D57AEECA729AD6 Time : 0.0 sec. user=vaughan [2012-02-14 02:05:59] 425*2^1123282-1 is not prime. Res64: 2D15B7F24FB9EAE3 Time : 0.0 sec. user=vaughan [2012-02-14 02:06:00] 513*2^1123282-1 is not prime. Res64: 9D617650C0F78C63 Time : 0.0 sec. user=vaughan [2012-02-14 02:06:02] 475*2^1123281-1 is not prime. Res64: 4E4CF66ED142CD26 Time : 0.0 sec. user=vaughan [2012-02-14 02:06:03] 565*2^1123281-1 is not prime. Res64: CFAA8BA4BBC1CDDB Time : 0.0 sec. user=vaughan [2012-02-14 02:07:11] 507*2^1123288-1 is not prime. Res64: 296BB3D2C47299D5 Time : 0.0 sec. user=vaughan [2012-02-14 02:07:12] 509*2^1123288-1 is not prime. Res64: E1BDA5EFF9B5363B Time : 0.0 sec. user=vaughan [2012-02-14 02:07:33] 457*2^1123285-1 is not prime. Res64: 412307F4FF1B3BAC Time : 0.0 sec. user=vaughan [2012-02-14 02:07:35] 471*2^1123285-1 is not prime. Res64: C14DE19E4DA2C62A Time : 0.0 sec. user=vaughan [2012-02-14 02:07:50] 537*2^1123286-1 is not prime. Res64: 65DEF7BD0C556E7D Time : 0.0 sec. user=vaughan [2012-02-14 02:07:51] 433*2^1123287-1 is not prime. Res64: 656D67B9369654F3 Time : 0.0 sec. user=vaughan [2012-02-14 02:09:07] 413*2^1123288-1 is not prime. Res64: 15F6A36F3A14A888 Time : 0.0 sec. user=vaughan [2012-02-14 02:09:08] 419*2^1123288-1 is not prime. Res64: B2E1CE6CD6C4D0A6 Time : 0.0 sec. user=vaughan [2012-02-14 02:10:03] 469*2^1123229-1 is not prime. Res64: 93B4026AEEBA60C0 Time : 0.0 sec. user=vaughan [2012-02-14 02:10:04] 477*2^1123229-1 is not prime. Res64: D7BC57FBFD969659 Time : 0.0 sec. user=juhehe [2012-02-14 02:12:24] 505*2^1123291-1 is not prime. Res64: 0163B7E108662444 Time : 0.0 sec. user=vaughan [2012-02-14 02:12:53] 501*2^1123290-1 is not prime. Res64: 3F75A1F759111C95 Time : 0.0 sec. user=vaughan [2012-02-14 02:12:54] 513*2^1123290-1 is not prime. Res64: 0C410D6D15C155C4 Time : 0.0 sec. user=vaughan [2012-02-14 02:13:18] 405*2^1123291-1 is not prime. Res64: 64413CFF48518C59 Time : 0.0 sec. user=vaughan [2012-02-14 02:13:19] 451*2^1123291-1 is not prime. Res64: 7E77078F269BDB1F Time : 0.0 sec. user=vaughan [2012-02-14 02:14:13] 567*2^1123288-1 is not prime. Res64: 3ED78F9B0DD2550A Time : 0.0 sec. user=vaughan [2012-02-14 02:14:14] 573*2^1123288-1 is not prime. Res64: B4F5C1AF6A0D46CD Time : 0.0 sec. user=vaughan [2012-02-14 02:15:51] 595*2^1123291-1 is not prime. Res64: BEE4F7F456108807 Time : 0.0 sec. user=vaughan [2012-02-14 02:15:51] 435*2^1123292-1 is not prime. Res64: 35D318A7FF15F1BD Time : 0.0 sec. user=vaughan [2012-02-14 02:15:53] 447*2^1123292-1 is not prime. Res64: A645B9FBD5428A0C Time : 0.0 sec. user=vaughan [2012-02-14 02:15:53] 495*2^1123292-1 is not prime. Res64: 2355B6E8C5776B05 Time : 0.0 sec. user=vaughan [2012-02-14 02:18:00] 425*2^1123294-1 is not prime. Res64: 263C503752A0CBAD Time : 0.0 sec. user=vaughan [2012-02-14 02:18:01] 521*2^1123294-1 is not prime. Res64: 7BC8661CF13E3B25 Time : 0.0 sec. user=vaughan [2012-02-14 02:19:29] 429*2^1123288-1 is not prime. Res64: 27F4B68999A67643 Time : 0.0 sec. user=vaughan [2012-02-14 02:19:29] 437*2^1123288-1 is not prime. Res64: 95FEB4E2D386C6AB Time : 0.0 sec. user=vaughan [2012-02-14 02:21:09] 439*2^1123287-1 is not prime. Res64: 19F6E01F914A2415 Time : 0.0 sec. user=vaughan [2012-02-14 02:21:09] 579*2^1123287-1 is not prime. Res64: 749740AE09566714 Time : 0.0 sec. user=vaughan [2012-02-14 02:26:11] 527*2^1123266-1 is not prime. Res64: 50F1EA24B723CAC9 Time : 0.0 sec. user=vaughan [2012-02-14 02:26:52] 487*2^1123301-1 is not prime. Res64: 0D8878C9B60910DA Time : 0.0 sec. user=vaughan [2012-02-14 02:26:53] 547*2^1123301-1 is not prime. Res64: 05ED7A8C6A8BDE59 Time : 0.0 sec. user=vaughan [2012-02-14 02:27:59] 537*2^1123288-1 is not prime. Res64: 292B7DE40815C4D2 Time : 0.0 sec. user=vaughan [2012-02-14 02:28:00] 549*2^1123288-1 is not prime. Res64: AC3701AB4A1FFE4A Time : 0.0 sec. user=vaughan [2012-02-14 02:29:09] 411*2^1123289-1 is not prime. Res64: 5E7CA349936E93F9 Time : 0.0 sec. user=vaughan [2012-02-14 02:29:09] 445*2^1123289-1 is not prime. Res64: 0F0F8FB65BA6FDED Time : 0.0 sec. user=vaughan [2012-02-14 02:29:19] 465*2^1123289-1 is not prime. Res64: F5B4E19E5B287A37 Time : 0.0 sec. user=vaughan [2012-02-14 02:29:20] 511*2^1123289-1 is not prime. Res64: 8D3AE588A82E98C1 Time : 0.0 sec. user=vaughan [2012-02-14 02:29:29] 589*2^1123289-1 is not prime. Res64: 26CB44EE362414D3 Time : 0.0 sec. user=vaughan [2012-02-14 02:29:30] 401*2^1123290-1 is not prime. Res64: 135F74C39F842E34 Time : 0.0 sec. user=vaughan [2012-02-14 02:29:46] 579*2^1123292-1 is not prime. Res64: 4415B28D7A104861 Time : 0.0 sec. user=vaughan [2012-02-14 02:29:47] 409*2^1123293-1 is not prime. Res64: 3A1D4201A32F9427 Time : 0.0 sec. user=vaughan [2012-02-14 02:29:52] 411*2^1123290-1 is not prime. Res64: 22886DDED758E4CA Time : 0.0 sec. user=vaughan [2012-02-14 02:29:53] 417*2^1123293-1 is not prime. Res64: 570D25C00E399ADE Time : 0.0 sec. user=vaughan [2012-02-14 02:29:53] 413*2^1123290-1 is not prime. Res64: 2AF35D935A659200 Time : 0.0 sec. user=vaughan [2012-02-14 02:29:53] 445*2^1123293-1 is not prime. Res64: 925976B5F5D3893E Time : 0.0 sec. user=vaughan [2012-02-14 02:30:02] 459*2^1123293-1 is not prime. Res64: 76AB84D638DE0E2E Time : 0.0 sec. user=vaughan [2012-02-14 02:30:02] 529*2^1123293-1 is not prime. Res64: D061E585CC33FB93 Time : 0.0 sec. user=vaughan [2012-02-14 02:30:10] 549*2^1123293-1 is not prime. Res64: D878B7C409423730 Time : 0.0 sec. user=vaughan [2012-02-14 02:30:11] 597*2^1123293-1 is not prime. Res64: 17C393ED44E1BF6B Time : 0.0 sec. user=juhehe [2012-02-14 02:31:02] 473*2^1123304-1 is not prime. Res64: 5AFDF47E82B24F63 Time : 0.0 sec. user=vaughan [2012-02-14 02:32:32] 503*2^1123304-1 is not prime. Res64: 0D179BE1914F35D0 Time : 0.0 sec. user=vaughan [2012-02-14 02:32:34] 585*2^1123304-1 is not prime. Res64: BDEC94F4AEF70651 Time : 0.0 sec. user=vaughan [2012-02-14 02:32:58] 587*2^1123304-1 is not prime. Res64: DAEAF8D17CF76AF1 Time : 0.0 sec. user=vaughan [2012-02-14 02:32:59] 427*2^1123305-1 is not prime. Res64: 8D55EE41B208B522 Time : 0.0 sec. user=vaughan [2012-02-14 02:33:04] 453*2^1123302-1 is not prime. Res64: B200B8224D2BBEF9 Time : 0.0 sec. user=vaughan [2012-02-14 02:33:04] 483*2^1123302-1 is not prime. Res64: 0DE14615522BDE32 Time : 0.0 sec. user=vaughan [2012-02-14 02:33:35] 527*2^1123294-1 is not prime. Res64: 6AC4A9F9F250ABFF Time : 0.0 sec. user=vaughan [2012-02-14 02:33:36] 567*2^1123294-1 is not prime. Res64: A7DCB66C2BF11819 Time : 0.0 sec. user=vaughan [2012-02-14 02:34:20] 525*2^1123302-1 is not prime. Res64: 952F0996DDF67217 Time : 0.0 sec. user=vaughan [2012-02-14 02:34:23] 441*2^1123303-1 is not prime. Res64: 5ABBBB33CB1E8F4F Time : 0.0 sec. user=juhehe [2012-02-14 02:36:47] 405*2^1123298-1 is not prime. Res64: 84C3099D4BC0DB0A Time : 0.0 sec. user=vaughan [2012-02-14 02:36:54] 477*2^1123306-1 is not prime. Res64: 9BFD58EF0AF31AB1 Time : 0.0 sec. user=vaughan [2012-02-14 02:36:55] 567*2^1123306-1 is not prime. Res64: 6D7A42435507DD04 Time : 0.0 sec. user=vaughan [2012-02-14 02:37:03] 425*2^1123306-1 is not prime. Res64: 3C5285964FC89BF0 Time : 0.0 sec. user=vaughan [2012-02-14 02:37:04] 465*2^1123306-1 is not prime. Res64: 7DF0CD5116ABD178 Time : 0.0 sec. user=juhehe [2012-02-14 02:37:16] 437*2^1123300-1 is not prime. Res64: 456BEDD7FFE7D960 Time : 0.0 sec. user=vaughan [2012-02-14 02:38:00] 533*2^1123300-1 is not prime. Res64: 739DF74BEA796736 Time : 0.0 sec. user=vaughan [2012-02-14 02:38:01] 549*2^1123300-1 is not prime. Res64: A81A4596ED12DA84 Time : 0.0 sec. user=vaughan [2012-02-14 02:38:02] 447*2^1123300-1 is not prime. Res64: 51CB41D74FF00414 Time : 0.0 sec. user=vaughan [2012-02-14 02:38:02] 453*2^1123300-1 is not prime. Res64: E6C0A6F610AC3685 Time : 0.0 sec. user=vaughan [2012-02-14 02:39:23] 463*2^1123307-1 is not prime. Res64: 34F513DEAB2992CF Time : 0.0 sec. user=vaughan [2012-02-14 02:39:23] 573*2^1123307-1 is not prime. Res64: 48FB917351CFC932 Time : 0.0 sec. user=vaughan [2012-02-14 02:39:33] 571*2^1123301-1 is not prime. Res64: 9904F793CDC7479C Time : 0.0 sec. user=vaughan [2012-02-14 02:39:33] 417*2^1123302-1 is not prime. Res64: 6EA0E7589454715A Time : 0.0 sec. user=vaughan [2012-02-14 02:39:45] 555*2^1123305-1 is not prime. Res64: 6ABF81D186CE07F3 Time : 0.0 sec. user=vaughan [2012-02-14 02:39:46] 579*2^1123305-1 is not prime. Res64: BCE7318145A8A57F Time : 0.0 sec. user=vaughan [2012-02-14 02:39:54] 587*2^1123294-1 is not prime. Res64: 13375CFC0F93AA29 Time : 0.0 sec. user=vaughan [2012-02-14 02:39:55] 489*2^1123295-1 is not prime. Res64: B542EEFA475635A9 Time : 0.0 sec. user=vaughan [2012-02-14 02:42:45] 595*2^1123295-1 is not prime. Res64: F9BDEDDBE427EACF Time : 0.0 sec. user=vaughan [2012-02-14 02:42:46] 421*2^1123297-1 is not prime. Res64: 18C6536D0052BE9D Time : 0.0 sec. user=vaughan [2012-02-14 02:42:47] 469*2^1123297-1 is not prime. Res64: 43963E144AFC23B8 Time : 0.0 sec. user=vaughan [2012-02-14 02:42:48] 549*2^1123297-1 is not prime. Res64: 2EECFD33134F0755 Time : 0.0 sec. user=vaughan [2012-02-14 02:46:37] 439*2^1123309-1 is not prime. Res64: 095DBD34D93E12D6 Time : 0.0 sec. user=vaughan [2012-02-14 02:46:38] 465*2^1123309-1 is not prime. Res64: 0945F24028FC205B Time : 0.0 sec. user=juhehe [2012-02-14 02:48:57] 495*2^1123317-1 is not prime. Res64: 5AB413A0D2E91608 Time : 0.0 sec. user=vaughan [2012-02-14 02:50:42] 431*2^1123298-1 is not prime. Res64: 6066E45B9B324930 Time : 0.0 sec. user=vaughan [2012-02-14 02:50:42] 453*2^1123298-1 is not prime. Res64: 9FF032C03D41BFA1 Time : 0.0 sec. user=vaughan [2012-02-14 02:50:43] 415*2^1123299-1 is not prime. Res64: DA74C0A1B102F364 Time : 0.0 sec. user=vaughan [2012-02-14 02:50:43] 513*2^1123299-1 is not prime. Res64: 4872714A2DE74677 Time : 0.0 sec. user=vaughan [2012-02-14 02:50:43] 483*2^1123299-1 is not prime. Res64: 51ACF5B88DD72EF9 Time : 0.0 sec. user=vaughan [2012-02-14 02:50:44] 553*2^1123299-1 is not prime. Res64: 7BD7FD4EBBDEABBC Time : 0.0 sec. user=vaughan [2012-02-14 02:52:18] 507*2^1123317-1 is not prime. Res64: E77AA0EB7769D994 Time : 0.0 sec. user=vaughan [2012-02-14 02:52:19] 559*2^1123317-1 is not prime. Res64: A8D3E218670D3B70 Time : 0.0 sec. user=vaughan [2012-02-14 02:52:43] 577*2^1123317-1 is not prime. Res64: 0177B3EA2F4F0CCE Time : 0.0 sec. user=vaughan [2012-02-14 02:52:44] 575*2^1123318-1 is not prime. Res64: 4C3FFA90BDD71677 Time : 0.0 sec. user=vaughan [2012-02-14 02:54:03] 489*2^1123308-1 is not prime. Res64: 353BFF54805C9F8C Time : 0.0 sec. user=vaughan [2012-02-14 02:54:03] 549*2^1123308-1 is not prime. Res64: 55F771B2258A281C Time : 0.0 sec. user=vaughan [2012-02-14 02:58:01] 557*2^1123308-1 is not prime. Res64: 9204D487BDC56324 Time : 0.0 sec. user=vaughan [2012-02-14 02:58:01] 427*2^1123309-1 is not prime. Res64: 3176376EC9323767 Time : 0.0 sec. user=vaughan [2012-02-14 02:58:25] 465*2^1123321-1 is not prime. Res64: 1149A1DEFA8F1ED7 Time : 0.0 sec. user=vaughan [2012-02-14 02:58:26] 537*2^1123321-1 is not prime. Res64: B84DF99944EC4842 Time : 0.0 sec. user=vaughan [2012-02-14 02:58:33] 417*2^1123322-1 is not prime. Res64: 1E16856B420A1607 Time : 0.0 sec. user=vaughan [2012-02-14 02:58:33] 467*2^1123322-1 is not prime. Res64: FA8AD58463306D6D Time : 0.0 sec. user=vaughan [2012-02-14 02:59:04] 433*2^1123319-1 is not prime. Res64: 0A3F1F3B4C53C0B4 Time : 0.0 sec. user=vaughan [2012-02-14 02:59:05] 469*2^1123319-1 is not prime. Res64: AD4AC7EBF1E8F5BC Time : 0.0 sec. user=vaughan [2012-02-14 03:00:20] 589*2^1123319-1 is not prime. Res64: F4F12B86918F7D1F Time : 0.0 sec. user=vaughan [2012-02-14 03:00:22] 423*2^1123320-1 is not prime. Res64: A8CBB15DF10FD9E0 Time : 0.0 sec. user=vaughan [2012-02-14 03:00:37] 495*2^1123324-1 is not prime. Res64: 90EF17D97AFE65B3 Time : 0.0 sec. user=vaughan [2012-02-14 03:00:53] 527*2^1123324-1 is not prime. Res64: 1D87FF6F797757D1 Time : 0.0 sec. user=vaughan [2012-02-14 03:04:19] 529*2^1123313-1 is not prime. Res64: 243AFB449C269824 Time : 0.0 sec. user=vaughan [2012-02-14 03:04:20] 549*2^1123313-1 is not prime. Res64: A54BD7A7EE34E523 Time : 0.0 sec. user=vaughan [2012-02-14 03:04:33] 535*2^1123315-1 is not prime. Res64: CED813B66D45C3D8 Time : 0.0 sec. user=vaughan [2012-02-14 03:04:35] 595*2^1123315-1 is not prime. Res64: 7D0787326A619356 Time : 0.0 sec. user=vaughan [2012-02-14 03:04:41] 449*2^1123316-1 is not prime. Res64: 6F6A58752D4F2052 Time : 0.0 sec. user=vaughan [2012-02-14 03:04:42] 515*2^1123316-1 is not prime. Res64: 145082D5AF73D5EC Time : 0.0 sec. user=vaughan [2012-02-14 03:04:47] 573*2^1123316-1 is not prime. Res64: 692A64B801F8AAD8 Time : 0.0 sec. user=vaughan [2012-02-14 03:04:48] 465*2^1123317-1 is not prime. Res64: 0A9DB63221463AD9 Time : 0.0 sec. user=vaughan [2012-02-14 03:05:47] 511*2^1123325-1 is not prime. Res64: C589930521313C7D Time : 0.0 sec. user=vaughan [2012-02-14 03:05:48] 537*2^1123325-1 is not prime. Res64: 8440F68DFEA223CB Time : 0.0 sec. user=vaughan [2012-02-14 03:06:09] 525*2^1123310-1 is not prime. Res64: 26D4E55C538F1C26 Time : 0.0 sec. user=vaughan [2012-02-14 03:06:09] 493*2^1123311-1 is not prime. Res64: 810180C92A75AE35 Time : 0.0 sec. user=vaughan [2012-02-14 03:06:14] 585*2^1123311-1 is not prime. Res64: 174ECF1F7F4064D0 Time : 0.0 sec. user=vaughan [2012-02-14 03:06:16] 527*2^1123312-1 is not prime. Res64: 3327B54A68FCC9E0 Time : 0.0 sec. user=vaughan [2012-02-14 03:06:23] 587*2^1123326-1 is not prime. Res64: 181551189BC9BE9E Time : 0.0 sec. user=vaughan [2012-02-14 03:06:25] 465*2^1123327-1 is not prime. Res64: 09670B1D31010458 Time : 0.0 sec. user=vaughan [2012-02-14 03:06:30] 495*2^1123313-1 is not prime. Res64: F751730A396F357B Time : 0.0 sec. user=vaughan [2012-02-14 03:06:31] 501*2^1123313-1 is not prime. Res64: 3270B7976D14FCB7 Time : 0.0 sec. user=vaughan [2012-02-14 03:06:48] 437*2^1123314-1 is not prime. Res64: 2E5E01C8C33762A0 Time : 0.0 sec. user=vaughan [2012-02-14 03:06:50] 451*2^1123315-1 is not prime. Res64: AA15507E2D5720BA Time : 0.0 sec. user=juhehe [2012-02-14 03:06:52] 541*2^1123327-1 is not prime. Res64: C4AE8215F7F96ED2 Time : 0.0 sec. user=juhehe [2012-02-14 03:08:04] 453*2^1123320-1 is not prime. Res64: 1B64BD26BF439ED4 Time : 0.0 sec. user=vaughan [2012-02-14 03:08:06] 577*2^1123309-1 is not prime. Res64: D6E2ADBB71695729 Time : 0.0 sec. user=vaughan [2012-02-14 03:08:08] 483*2^1123310-1 is not prime. Res64: 6BCC79F3B850CFC9 Time : 0.0 sec. user=vaughan [2012-02-14 03:08:18] 511*2^1123319-1 is not prime. Res64: 7A5E8BF40D1B9FC7 Time : 0.0 sec. user=vaughan [2012-02-14 03:08:20] 579*2^1123319-1 is not prime. Res64: AF94C3054077A3BE Time : 0.0 sec. user=juhehe [2012-02-14 03:08:37] 495*2^1123322-1 is not prime. Res64: 4D623EE7DF231BB0 Time : 0.0 sec. user=vaughan [2012-02-14 03:09:04] 561*2^1123322-1 is not prime. Res64: D667697C500ED83D Time : 0.0 sec. user=vaughan [2012-02-14 03:09:06] 585*2^1123322-1 is not prime. Res64: E4016B4A258D291B Time : 0.0 sec. user=vaughan [2012-02-14 03:09:09] 583*2^1123323-1 is not prime. Res64: 8F206FC08345725E Time : 0.0 sec. user=vaughan [2012-02-14 03:09:13] 453*2^1123324-1 is not prime. Res64: 761A9480DFD05DB6 Time : 0.0 sec. user=vaughan [2012-02-14 03:10:36] 441*2^1123325-1 is not prime. Res64: 15FA483A78D67519 Time : 0.0 sec. user=vaughan [2012-02-14 03:10:36] 487*2^1123325-1 is not prime. Res64: F5F312DA3A753D1D Time : 0.0 sec. user=vaughan [2012-02-14 03:12:03] 545*2^1123330-1 is not prime. Res64: 1C2A7AE6D41A14C4 Time : 0.0 sec. user=vaughan [2012-02-14 03:12:04] 567*2^1123330-1 is not prime. Res64: 18FDA0066A72CC5B Time : 0.0 sec. user=vaughan [2012-02-14 03:12:30] 587*2^1123330-1 is not prime. Res64: DF2B5E9524E1B489 Time : 0.0 sec. user=vaughan [2012-02-14 03:16:53] 565*2^1123325-1 is not prime. Res64: 30F8A714DCB9F0A4 Time : 0.0 sec. user=vaughan [2012-02-14 03:16:53] 473*2^1123326-1 is not prime. Res64: 91754AF2DCAF15A2 Time : 0.0 sec. user=vaughan [2012-02-14 03:19:39] 549*2^1123333-1 is not prime. Res64: 27CBCB36524C944E Time : 0.0 sec. user=vaughan [2012-02-14 03:19:39] 559*2^1123333-1 is not prime. Res64: 9902FD8CAC95F662 Time : 0.0 sec. user=vaughan [2012-02-14 03:19:56] 565*2^1123333-1 is not prime. Res64: 9A97F8269C2A7544 Time : 0.0 sec. user=vaughan [2012-02-14 03:19:56] 407*2^1123334-1 is not prime. Res64: 74F81E957C907942 Time : 0.0 sec. user=vaughan [2012-02-14 03:22:52] 551*2^1123326-1 is not prime. Res64: FB9B3AEC8B2A2C68 Time : 0.0 sec. user=vaughan [2012-02-14 03:22:52] 563*2^1123326-1 is not prime. Res64: 63AC4384E6B39DAB Time : 0.0 sec. user=vaughan [2012-02-14 03:22:53] 573*2^1123326-1 is not prime. Res64: F3B3635D71623D38 Time : 0.0 sec. user=vaughan [2012-02-14 03:22:53] 581*2^1123326-1 is not prime. Res64: 60A005B3DCEF6B29 Time : 0.0 sec. user=juhehe [2012-02-14 03:24:48] 435*2^1123342-1 is not prime. Res64: DC4303380C9ED566 Time : 0.0 sec. user=vaughan [2012-02-14 03:25:24] 585*2^1123334-1 is not prime. Res64: 95EBAD79F1ECD459 Time : 0.0 sec. user=vaughan [2012-02-14 03:25:25] 469*2^1123335-1 is not prime. Res64: 9B7C172F3B998C17 Time : 0.0 sec. user=vaughan [2012-02-14 03:26:11] 495*2^1123340-1 is not prime. Res64: 82CF520C010EDA53 Time : 0.0 sec. user=vaughan [2012-02-14 03:26:12] 503*2^1123340-1 is not prime. Res64: 5865BD5FCD2464CE Time : 0.0 sec. user=vaughan [2012-02-14 03:26:33] 501*2^1123335-1 is not prime. Res64: B084E675158C1CCE Time : 0.0 sec. user=vaughan [2012-02-14 03:26:34] 523*2^1123335-1 is not prime. Res64: 5D5424904320A253 Time : 0.0 sec. user=vaughan [2012-02-14 03:28:41] 427*2^1123333-1 is not prime. Res64: 7D79693D0F5BA72A Time : 0.0 sec. user=vaughan [2012-02-14 03:28:41] 435*2^1123333-1 is not prime. Res64: 8872F0446D9C26EE Time : 0.0 sec. user=vaughan [2012-02-14 03:31:54] 447*2^1123349-1 is not prime. Res64: 48619181A56C9BBC Time : 0.0 sec. user=vaughan [2012-02-14 03:31:55] 495*2^1123350-1 is not prime. Res64: 1C10DA2360780DD4 Time : 0.0 sec. user=vaughan [2012-02-14 03:32:07] 495*2^1123339-1 is not prime. Res64: DCA7A481F668D041 Time : 0.0 sec. user=vaughan [2012-02-14 03:32:10] 417*2^1123340-1 is not prime. Res64: 117D9278ADAFBD7C Time : 0.0 sec. user=vaughan [2012-02-14 03:32:30] 505*2^1123331-1 is not prime. Res64: A8F09F3BDE53890C Time : 0.0 sec. user=vaughan [2012-02-14 03:34:55] 499*2^1123333-1 is not prime. Res64: 5587FEB1629DB08F Time : 0.0 sec. user=vaughan [2012-02-14 03:34:57] 519*2^1123333-1 is not prime. Res64: EF0318B1B260DF03 Time : 0.0 sec. user=vaughan [2012-02-14 03:35:23] 559*2^1123327-1 is not prime. Res64: F7284F1675552350 Time : 0.0 sec. user=vaughan [2012-02-14 03:35:23] 507*2^1123329-1 is not prime. Res64: 139EEC44D2C65C5A Time : 0.0 sec. user=vaughan [2012-02-14 03:35:24] 465*2^1123328-1 is not prime. Res64: 28C04F50647EC6F3 Time : 0.0 sec. user=vaughan [2012-02-14 03:35:24] 555*2^1123329-1 is not prime. Res64: DC7A2B0154508818 Time : 0.0 sec. user=vaughan [2012-02-14 03:35:24] 425*2^1123330-1 is not prime. Res64: 055C71CB7734D39B Time : 0.0 sec. user=vaughan [2012-02-14 03:35:25] 521*2^1123330-1 is not prime. Res64: BA574146F2E3C408 Time : 0.0 sec. user=vaughan [2012-02-14 03:38:53] 453*2^1123336-1 is not prime. Res64: 03F8CBE4071390C5 Time : 0.0 sec. user=vaughan [2012-02-14 03:38:54] 573*2^1123336-1 is not prime. Res64: 8B6454510AEF0B94 Time : 0.0 sec. user=vaughan [2012-02-14 03:39:08] 587*2^1123336-1 is not prime. Res64: BD87271CEB022D45 Time : 0.0 sec. user=vaughan [2012-02-14 03:39:09] 585*2^1123337-1 is not prime. Res64: 1CBA2A8E9A303DE6 Time : 0.0 sec. user=juhehe [2012-02-14 03:39:18] 445*2^1123343-1 is not prime. Res64: 12D03A76AFA71AEE Time : 0.0 sec. user=vaughan [2012-02-14 03:39:20] 473*2^1123338-1 is not prime. Res64: 1C4713563A32017C Time : 0.0 sec. user=vaughan [2012-02-14 03:39:20] 495*2^1123338-1 is not prime. Res64: 9C47ABA71DD9412C Time : 0.0 sec. user=vaughan [2012-02-14 03:39:25] 513*2^1123338-1 is not prime. Res64: 3149BFB547E2FC43 Time : 0.0 sec. user=vaughan [2012-02-14 03:39:25] 421*2^1123339-1 is not prime. Res64: 3A589F348C781A5F Time : 0.0 sec. user=juhehe [2012-02-14 03:40:02] 545*2^1123346-1 is not prime. Res64: 6AD849C4C3D41D67 Time : 0.0 sec. user=vaughan [2012-02-14 03:40:09] 593*2^1123346-1 is not prime. Res64: 97E56F27705EC917 Time : 0.0 sec. user=vaughan [2012-02-14 03:40:10] 543*2^1123347-1 is not prime. Res64: 7A5D72E284ABCF11 Time : 0.0 sec. user=vaughan [2012-02-14 03:40:14] 453*2^1123348-1 is not prime. Res64: 2D0618F36DD7C84A Time : 0.0 sec. user=vaughan [2012-02-14 03:40:14] 513*2^1123348-1 is not prime. Res64: BE71DA2B134D78B9 Time : 0.0 sec. user=vaughan [2012-02-14 03:41:07] 525*2^1123350-1 is not prime. Res64: 1021F87419FD1862 Time : 0.0 sec. user=vaughan [2012-02-14 03:41:07] 557*2^1123350-1 is not prime. Res64: 15BBFA69B41B0379 Time : 0.0 sec. user=vaughan [2012-02-14 03:41:08] 585*2^1123350-1 is not prime. Res64: FA571886DFA6237C Time : 0.0 sec. user=vaughan [2012-02-14 03:41:09] 475*2^1123351-1 is not prime. Res64: CDC1B52D4E72241F Time : 0.0 sec. user=vaughan [2012-02-14 03:41:33] 533*2^1123348-1 is not prime. Res64: 2C979C9F9DEF4C20 Time : 0.0 sec. user=vaughan [2012-02-14 03:41:34] 417*2^1123349-1 is not prime. Res64: DAF132226723A477 Time : 0.0 sec. user=juhehe [2012-02-14 03:42:43] 441*2^1123353-1 is not prime. Res64: 358C09850E38976A Time : 0.0 sec. user=vaughan [2012-02-14 03:42:53] 577*2^1123345-1 is not prime. Res64: 8B7F01013A6CFED7 Time : 0.0 sec. user=vaughan [2012-02-14 03:42:53] 525*2^1123346-1 is not prime. Res64: 47AF7028EACE2FB6 Time : 0.0 sec. user=vaughan [2012-02-14 03:43:01] 425*2^1123340-1 is not prime. Res64: 35A94FCFC9AA9A7C Time : 0.0 sec. user=vaughan [2012-02-14 03:43:02] 447*2^1123340-1 is not prime. Res64: 4A45C114F658D0EF Time : 0.0 sec. user=vaughan [2012-02-14 03:43:16] 455*2^1123340-1 is not prime. Res64: F5C481E77361CB13 Time : 0.0 sec. user=vaughan [2012-02-14 03:43:17] 473*2^1123340-1 is not prime. Res64: 27D07A6BC5CA1F25 Time : 0.0 sec. user=vaughan [2012-02-14 03:43:25] 417*2^1123341-1 is not prime. Res64: 189940F3B6051352 Time : 0.0 sec. user=vaughan [2012-02-14 03:43:25] 459*2^1123341-1 is not prime. Res64: 55F01337C38ACE41 Time : 0.0 sec. user=vaughan [2012-02-14 03:43:44] 467*2^1123342-1 is not prime. Res64: 953FB197EFF8C989 Time : 0.0 sec. user=vaughan [2012-02-14 03:43:45] 495*2^1123342-1 is not prime. Res64: 699D561A2A625318 Time : 0.0 sec. user=vaughan [2012-02-14 03:43:57] 525*2^1123351-1 is not prime. Res64: 501666E26ADABC0F Time : 0.0 sec. user=vaughan [2012-02-14 03:43:58] 535*2^1123351-1 is not prime. Res64: 23062729E6F54721 Time : 0.0 sec. user=vaughan [2012-02-14 03:45:57] 413*2^1123354-1 is not prime. Res64: 860F2B55AC314D2C Time : 0.0 sec. user=vaughan [2012-02-14 03:45:58] 463*2^1123355-1 is not prime. Res64: F5D2FA1885C7B8E6 Time : 0.0 sec. user=vaughan [2012-02-14 03:48:15] 519*2^1123343-1 is not prime. Res64: 2E1E0DC29FE6AA2B Time : 0.0 sec. user=vaughan [2012-02-14 03:48:16] 457*2^1123345-1 is not prime. Res64: 4108D5D2432C7FF1 Time : 0.0 sec. user=vaughan [2012-02-14 03:51:29] 471*2^1123353-1 is not prime. Res64: 427A37E74463E20F Time : 0.0 sec. user=vaughan [2012-02-14 03:51:29] 565*2^1123353-1 is not prime. Res64: 9CF9070E8F8BACDB Time : 0.0 sec. user=vaughan [2012-02-14 03:51:44] 439*2^1123357-1 is not prime. Res64: 940D8F474BAF9321 Time : 0.0 sec. user=vaughan [2012-02-14 03:51:45] 477*2^1123357-1 is not prime. Res64: DF4C556543C46FF5 Time : 0.0 sec. user=vaughan [2012-02-14 03:52:25] 483*2^1123358-1 is not prime. Res64: 5209170611C367F8 Time : 0.0 sec. user=vaughan [2012-02-14 03:52:26] 507*2^1123358-1 is not prime. Res64: CCC0956AB218C5E8 Time : 0.0 sec. user=vaughan [2012-02-14 03:52:42] 455*2^1123356-1 is not prime. Res64: 7C922A4316F705FB Time : 0.0 sec. user=vaughan [2012-02-14 03:52:43] 485*2^1123356-1 is not prime. Res64: A50D55103AF667A5 Time : 0.0 sec. user=vaughan [2012-02-14 03:53:47] 501*2^1123350-1 is not prime. Res64: B3B1EB4379742998 Time : 0.0 sec. user=vaughan [2012-02-14 03:53:48] 513*2^1123350-1 is not prime. Res64: 6C566880ED79ABF9 Time : 0.0 sec. user=vaughan [2012-02-14 03:58:02] 495*2^1123357-1 is not prime. Res64: 7D7774EF7AFB6B39 Time : 0.0 sec. user=vaughan [2012-02-14 03:58:02] 423*2^1123358-1 is not prime. Res64: A04DA5749B55BE6F Time : 0.0 sec. user=juhehe [2012-02-14 04:00:35] 507*2^1123365-1 is not prime. Res64: BAFEB5E61FB4ED05 Time : 0.0 sec. user=vaughan [2012-02-14 04:02:39] 583*2^1123363-1 is not prime. Res64: BC9760D08E930E59 Time : 0.0 sec. user=vaughan [2012-02-14 04:02:40] 435*2^1123364-1 is not prime. Res64: AFD481866B972B05 Time : 0.0 sec. user=vaughan [2012-02-14 04:02:45] 495*2^1123363-1 is not prime. Res64: 709A7C1B9A94EE4B Time : 0.0 sec. user=vaughan [2012-02-14 04:02:46] 553*2^1123363-1 is not prime. Res64: 95830F8E1D973BF2 Time : 0.0 sec. user=vaughan [2012-02-14 04:02:59] 405*2^1123352-1 is not prime. Res64: 86D0364193B4C68F Time : 0.0 sec. user=vaughan [2012-02-14 04:03:00] 449*2^1123352-1 is not prime. Res64: 97053484BE7EC31D Time : 0.0 sec. user=vaughan [2012-02-14 04:03:00] 413*2^1123352-1 is not prime. Res64: A9C230354A31CCF9 Time : 0.0 sec. user=vaughan [2012-02-14 04:03:01] 573*2^1123352-1 is not prime. Res64: 100582BEC9FBD1B2 Time : 0.0 sec. user=vaughan [2012-02-14 04:03:17] 537*2^1123356-1 is not prime. Res64: 98FCDFC64E41E426 Time : 0.0 sec. user=vaughan [2012-02-14 04:03:18] 421*2^1123357-1 is not prime. Res64: 78945DDB59307806 Time : 0.0 sec. user=vaughan [2012-02-14 04:05:29] 483*2^1123370-1 is not prime. Res64: 05E2449B59B920B0 Time : 0.0 sec. user=vaughan [2012-02-14 04:05:31] 501*2^1123370-1 is not prime. Res64: A3A44EB336004130 Time : 0.0 sec. user=vaughan [2012-02-14 04:05:45] 503*2^1123370-1 is not prime. Res64: 759DEBF541A13107 Time : 0.0 sec. user=vaughan [2012-02-14 04:05:47] 545*2^1123370-1 is not prime. Res64: 13701B7BF575DB95 Time : 0.0 sec. user=juhehe [2012-02-14 04:10:37] 547*2^1123361-1 is not prime. Res64: 3B59C165030DAEC7 Time : 0.0 sec. user=vaughan [2012-02-14 04:11:16] 513*2^1123362-1 is not prime. Res64: 36E12AD830717C09 Time : 0.0 sec. user=vaughan [2012-02-14 04:11:19] 421*2^1123363-1 is not prime. Res64: C5D153002E521E1E Time : 0.0 sec. user=juhehe [2012-02-14 04:11:30] 447*2^1123362-1 is not prime. Res64: CEA7D5AFA03C03DD Time : 0.0 sec. user=vaughan [2012-02-14 04:11:32] 429*2^1123363-1 is not prime. Res64: 23DE002E66A6C1CF Time : 0.0 sec. user=vaughan [2012-02-14 04:11:35] 539*2^1123372-1 is not prime. Res64: 0395A6788E3FF5E0 Time : 0.0 sec. user=vaughan [2012-02-14 04:11:38] 483*2^1123363-1 is not prime. Res64: 5842BFE0165598D7 Time : 0.0 sec. user=vaughan [2012-02-14 04:11:46] 559*2^1123373-1 is not prime. Res64: CC816236F7240BAD Time : 0.0 sec. user=vaughan [2012-02-14 04:11:53] 411*2^1123359-1 is not prime. Res64: 43DCD58B6C3F65DD Time : 0.0 sec. user=vaughan [2012-02-14 04:11:56] 459*2^1123359-1 is not prime. Res64: 8EC9E79C1688915E Time : 0.0 sec. user=vaughan [2012-02-14 04:12:12] 527*2^1123374-1 is not prime. Res64: 953794D8D2350BFB Time : 0.0 sec. user=vaughan [2012-02-14 04:12:13] 587*2^1123374-1 is not prime. Res64: 28F11AFCE1EF9644 Time : 0.0 sec. user=vaughan [2012-02-14 04:12:46] 447*2^1123364-1 is not prime. Res64: 615166A7FCA315A7 Time : 0.0 sec. user=vaughan [2012-02-14 04:12:46] 545*2^1123364-1 is not prime. Res64: A136620B552B9063 Time : 0.0 sec. user=vaughan [2012-02-14 04:13:29] 513*2^1123360-1 is not prime. Res64: C7A82F4F87F53FA2 Time : 0.0 sec. user=vaughan [2012-02-14 04:13:31] 533*2^1123360-1 is not prime. Res64: 0E5ADDC4D6E41AB5 Time : 0.0 sec. user=vaughan [2012-02-14 04:13:43] 489*2^1123361-1 is not prime. Res64: 1CB62AAA5ECEFDA2 Time : 0.0 sec. user=vaughan [2012-02-14 04:13:44] 517*2^1123361-1 is not prime. Res64: 08F9D98CDA3858B1 Time : 0.0 sec. user=vaughan [2012-02-14 04:13:55] 571*2^1123361-1 is not prime. Res64: 402F20B46C381DA4 Time : 0.0 sec. user=vaughan [2012-02-14 04:13:57] 577*2^1123361-1 is not prime. Res64: 72BF0A28A9F416A3 Time : 0.0 sec. user=vaughan [2012-02-14 04:13:59] 431*2^1123362-1 is not prime. Res64: 5A419D9611B097B2 Time : 0.0 sec. user=vaughan [2012-02-14 04:14:00] 437*2^1123362-1 is not prime. Res64: 18A6CE9B236A8725 Time : 0.0 sec. user=vaughan [2012-02-14 04:17:25] 479*2^1123372-1 is not prime. Res64: 0BB1B9331D55E9D0 Time : 0.0 sec. user=vaughan [2012-02-14 04:17:26] 525*2^1123372-1 is not prime. Res64: 6C497E8629FBEECE Time : 0.0 sec. user=vaughan [2012-02-14 04:17:27] 591*2^1123365-1 is not prime. Res64: 14EF0C81FC5B48D0 Time : 0.0 sec. user=vaughan [2012-02-14 04:17:28] 453*2^1123366-1 is not prime. Res64: 132A4ECB4469C1F6 Time : 0.0 sec. user=juhehe [2012-02-14 04:18:30] 525*2^1123376-1 is not prime. Res64: 27BFC6944C1BC8EA Time : 0.0 sec. user=vaughan [2012-02-14 04:18:41] 463*2^1123375-1 is not prime. Res64: D0C2172D671166A9 Time : 0.0 sec. user=vaughan [2012-02-14 04:18:42] 475*2^1123375-1 is not prime. Res64: 7D8D12F0D4A11BF0 Time : 0.0 sec. user=vaughan [2012-02-14 04:19:28] 501*2^1123359-1 is not prime. Res64: 998291054D6F6D1F Time : 0.0 sec. user=vaughan [2012-02-14 04:19:29] 513*2^1123359-1 is not prime. Res64: 2478B3423F1F2C2F Time : 0.0 sec. user=vaughan [2012-02-14 04:19:29] 523*2^1123359-1 is not prime. Res64: 5F31830D46761E0C Time : 0.0 sec. user=vaughan [2012-02-14 04:19:30] 531*2^1123359-1 is not prime. Res64: F17270AC4C0A5A1A Time : 0.0 sec. user=vaughan [2012-02-14 04:19:33] 565*2^1123359-1 is not prime. Res64: BA1A89B940727E4E Time : 0.0 sec. user=vaughan [2012-02-14 04:19:33] 571*2^1123359-1 is not prime. Res64: 5A9F375E723F1514 Time : 0.0 sec. user=vaughan [2012-02-14 04:19:58] 455*2^1123366-1 is not prime. Res64: 911828C2E30DBB7A Time : 0.0 sec. user=vaughan [2012-02-14 04:19:59] 543*2^1123367-1 is not prime. Res64: 228E0E051C09BD19 Time : 0.0 sec. user=vaughan [2012-02-14 04:20:10] 411*2^1123369-1 is not prime. Res64: A7C88147C70BB800 Time : 0.0 sec. user=vaughan [2012-02-14 04:20:11] 421*2^1123369-1 is not prime. Res64: B95D677C61A927FC Time : 0.0 sec. user=vaughan [2012-02-14 04:20:17] 441*2^1123369-1 is not prime. Res64: 3EAD6DFAE2C67618 Time : 0.0 sec. user=vaughan [2012-02-14 04:20:18] 561*2^1123369-1 is not prime. Res64: 51ED05DDCC5254B3 Time : 0.0 sec. user=vaughan [2012-02-14 04:20:37] 597*2^1123369-1 is not prime. Res64: 58AA015D499F5513 Time : 0.0 sec. user=vaughan [2012-02-14 04:20:38] 411*2^1123370-1 is not prime. Res64: 8870AC7DDD214AD5 Time : 0.0 sec. user=vaughan [2012-02-14 04:24:00] 537*2^1123376-1 is not prime. Res64: 988D3E1AAAF06854 Time : 0.0 sec. user=vaughan [2012-02-14 04:24:00] 539*2^1123376-1 is not prime. Res64: 9F80A85D2F0E686E Time : 0.0 sec. user=vaughan [2012-02-14 04:24:01] 563*2^1123376-1 is not prime. Res64: 125FD32814F06F4C Time : 0.0 sec. user=vaughan [2012-02-14 04:24:02] 573*2^1123376-1 is not prime. Res64: 9626F63158D0589E Time : 0.0 sec. user=vaughan [2012-02-14 04:24:10] 455*2^1123376-1 is not prime. Res64: D8F33DFC92C8343E Time : 0.0 sec. user=vaughan [2012-02-14 04:24:10] 459*2^1123376-1 is not prime. Res64: C19C6A0F59656A90 Time : 0.0 sec. user=vaughan [2012-02-14 04:25:38] 421*2^1123379-1 is not prime. Res64: BF01BBFE19A9A888 Time : 0.0 sec. user=vaughan [2012-02-14 04:25:38] 441*2^1123379-1 is not prime. Res64: E123153169DEDE83 Time : 0.0 sec. user=vaughan [2012-02-14 04:26:55] 437*2^1123378-1 is not prime. Res64: E4A279FDC665FF98 Time : 0.0 sec. user=vaughan [2012-02-14 04:26:55] 495*2^1123378-1 is not prime. Res64: C1EA73BA5C38CD72 Time : 0.0 sec. user=vaughan [2012-02-14 04:28:21] 405*2^1123372-1 is not prime. Res64: CE78382CF972F913 Time : 0.0 sec. user=vaughan [2012-02-14 04:28:22] 449*2^1123372-1 is not prime. Res64: A32D0680C2341D0A Time : 0.0 sec. user=vaughan [2012-02-14 04:30:49] 531*2^1123375-1 is not prime. Res64: 38D77C45E6B7BE04 Time : 0.0 sec. user=vaughan [2012-02-14 04:30:51] 425*2^1123376-1 is not prime. Res64: 291E18422E30BBAE Time : 0.0 sec. user=vaughan [2012-02-14 04:32:01] 405*2^1123382-1 is not prime. Res64: DB3DACA50A079904 Time : 0.0 sec. user=vaughan [2012-02-14 04:32:03] 477*2^1123382-1 is not prime. Res64: 9B56B2E4013DED12 Time : 0.0 sec. user=juhehe [2012-02-14 04:36:25] 417*2^1123386-1 is not prime. Res64: 63FF6144321DC42F Time : 0.0 sec. user=vaughan [2012-02-14 04:37:53] 413*2^1123378-1 is not prime. Res64: 14E876B6EE6D035E Time : 0.0 sec. user=vaughan [2012-02-14 04:37:54] 435*2^1123378-1 is not prime. Res64: 363B6A1662973925 Time : 0.0 sec. user=juhehe [2012-02-14 04:42:08] 405*2^1123380-1 is not prime. Res64: 2FFB74A1BD427E70 Time : 0.0 sec. user=vaughan [2012-02-14 04:42:40] 539*2^1123380-1 is not prime. Res64: C99A16B1394E3FC4 Time : 0.0 sec. user=vaughan [2012-02-14 04:42:41] 555*2^1123380-1 is not prime. Res64: 1D74AE47C9776434 Time : 0.0 sec. user=juhehe [2012-02-14 04:42:56] 569*2^1123380-1 is not prime. Res64: 73CACAD7488014DD Time : 0.0 sec. user=vaughan [2012-02-14 04:43:04] 499*2^1123381-1 is not prime. Res64: 4D7C113828DB6B85 Time : 0.0 sec. user=vaughan [2012-02-14 04:43:05] 511*2^1123381-1 is not prime. Res64: 533EDB3BFB66012B Time : 0.0 sec. user=vaughan [2012-02-14 04:43:28] 409*2^1123377-1 is not prime. Res64: E80EDBD997EA229F Time : 0.0 sec. user=vaughan [2012-02-14 04:43:29] 555*2^1123377-1 is not prime. Res64: E5459909BE5A27A2 Time : 0.0 sec. user=vaughan [2012-02-14 04:43:29] 447*2^1123377-1 is not prime. Res64: 012AB893280856B8 Time : 0.0 sec. user=vaughan [2012-02-14 04:43:30] 577*2^1123377-1 is not prime. Res64: 3ED4E3B0ED52ECFC Time : 0.0 sec. user=vaughan [2012-02-14 04:43:31] 517*2^1123385-1 is not prime. Res64: 606E8086093247E0 Time : 0.0 sec. user=vaughan [2012-02-14 04:43:32] 547*2^1123385-1 is not prime. Res64: F5249051F5E135CF Time : 0.0 sec. user=vaughan [2012-02-14 04:44:06] 439*2^1123383-1 is not prime. Res64: EEB634E9D651491B Time : 0.0 sec. user=vaughan [2012-02-14 04:44:07] 501*2^1123383-1 is not prime. Res64: 2B228D1C526C1CDE Time : 0.0 sec. user=vaughan [2012-02-14 04:44:45] 465*2^1123386-1 is not prime. Res64: D10A862F85E4D913 Time : 0.0 sec. user=vaughan [2012-02-14 04:44:46] 587*2^1123386-1 is not prime. Res64: 80AD553A1612F8E9 Time : 0.0 sec. user=vaughan [2012-02-14 04:45:13] 441*2^1123391-1 is not prime. Res64: 38E5B1C6AF61E150 Time : 0.0 sec. user=vaughan [2012-02-14 04:45:14] 579*2^1123391-1 is not prime. Res64: 4FB25475DC492571 Time : 0.0 sec. user=vaughan [2012-02-14 04:45:23] 405*2^1123396-1 is not prime. Res64: 864647D84E8B69C8 Time : 0.0 sec. user=vaughan [2012-02-14 04:45:23] 497*2^1123396-1 is not prime. Res64: BEC8E2EEEA18BDE1 Time : 0.0 sec. user=vaughan [2012-02-14 04:45:26] 557*2^1123392-1 is not prime. Res64: 922C7A023CB95BEA Time : 0.0 sec. user=vaughan [2012-02-14 04:45:27] 405*2^1123393-1 is not prime. Res64: 3601FB56020E4B7F Time : 0.0 sec. user=vaughan [2012-02-14 04:48:11] 565*2^1123383-1 is not prime. Res64: 1441F03CAA40B67F Time : 0.0 sec. user=vaughan [2012-02-14 04:48:12] 407*2^1123384-1 is not prime. Res64: 9AEE1D07F317A782 Time : 0.0 sec. user=vaughan [2012-02-14 04:48:18] 525*2^1123396-1 is not prime. Res64: 7566C7D12677FD9B Time : 0.0 sec. user=vaughan [2012-02-14 04:48:19] 579*2^1123396-1 is not prime. Res64: 2D0C32E54AF216CD Time : 0.0 sec. user=vaughan [2012-02-14 04:48:21] 413*2^1123384-1 is not prime. Res64: C30BBE437798E504 Time : 0.0 sec. user=vaughan [2012-02-14 04:48:22] 423*2^1123384-1 is not prime. Res64: C7770E25059DDA0E Time : 0.0 sec. user=vaughan [2012-02-14 04:48:32] 453*2^1123384-1 is not prime. Res64: D134C265DCD9ED48 Time : 0.0 sec. user=vaughan [2012-02-14 04:48:33] 563*2^1123384-1 is not prime. Res64: FD7B850065D9E4F3 Time : 0.0 sec. user=vaughan [2012-02-14 04:48:39] 465*2^1123385-1 is not prime. Res64: 2848DA68AAE34923 Time : 0.0 sec. user=vaughan [2012-02-14 04:48:41] 495*2^1123385-1 is not prime. Res64: 0988A211A5145ED2 Time : 0.0 sec. user=vaughan [2012-02-14 04:48:55] 541*2^1123381-1 is not prime. Res64: 169F4426EE011826 Time : 0.0 sec. user=vaughan [2012-02-14 04:48:56] 591*2^1123381-1 is not prime. Res64: E270A782EAFDC67A Time : 0.0 sec. user=vaughan [2012-02-14 04:50:16] 501*2^1123394-1 is not prime. Res64: 8F77900C16258E3D Time : 0.0 sec. user=vaughan [2012-02-14 04:50:17] 451*2^1123395-1 is not prime. Res64: DE64CC02E9557519 Time : 0.0 sec. user=vaughan [2012-02-14 04:51:49] 425*2^1123398-1 is not prime. Res64: 01470010C2B6E2DB Time : 0.0 sec. user=vaughan [2012-02-14 04:51:49] 461*2^1123398-1 is not prime. Res64: 930C8D53E56BF224 Time : 0.0 sec. user=vaughan [2012-02-14 04:52:01] 589*2^1123385-1 is not prime. Res64: F9E8EE6083E2DFC1 Time : 0.0 sec. user=vaughan [2012-02-14 04:52:02] 595*2^1123385-1 is not prime. Res64: DA397CF833FAD86E Time : 0.0 sec. user=vaughan [2012-02-14 04:53:25] 429*2^1123399-1 is not prime. Res64: 04D89B4AABD9A098 Time : 0.0 sec. user=vaughan [2012-02-14 04:53:25] 505*2^1123399-1 is not prime. Res64: BB1F820DFDED90DD Time : 0.0 sec. user=juhehe [2012-02-14 04:54:20] 555*2^1123399-1 is not prime. Res64: A9322E01FE9B2E38 Time : 0.0 sec. user=vaughan [2012-02-14 04:56:55] 481*2^1123389-1 is not prime. Res64: 9DC9589216BC3534 Time : 0.0 sec. user=vaughan [2012-02-14 04:56:55] 559*2^1123389-1 is not prime. Res64: 0166960054DDCC18 Time : 0.0 sec. user=vaughan [2012-02-14 04:57:04] 461*2^1123390-1 is not prime. Res64: 1C36351FE39E2A91 Time : 0.0 sec. user=vaughan [2012-02-14 04:57:04] 533*2^1123390-1 is not prime. Res64: A7C3E18E31DD9F81 Time : 0.0 sec. user=vaughan [2012-02-14 04:57:10] 545*2^1123390-1 is not prime. Res64: AB7A89D5001CF48B Time : 0.0 sec. user=vaughan [2012-02-14 04:57:11] 597*2^1123390-1 is not prime. Res64: 6A7A21529977CE44 Time : 0.0 sec. user=vaughan [2012-02-14 04:57:35] 423*2^1123391-1 is not prime. Res64: FAC2401988BE1455 Time : 0.0 sec. user=vaughan [2012-02-14 04:57:35] 433*2^1123391-1 is not prime. Res64: 7F57FA91F6E49A19 Time : 0.0 sec. user=vaughan [2012-02-14 05:03:37] 531*2^1123387-1 is not prime. Res64: 12C29253195F48EA Time : 0.0 sec. user=vaughan [2012-02-14 05:03:38] 479*2^1123388-1 is not prime. Res64: F57F15B6786F6DFB Time : 0.0 sec. user=vaughan [2012-02-14 05:03:38] 525*2^1123388-1 is not prime. Res64: 14F8F637FD6A8514 Time : 0.0 sec. user=vaughan [2012-02-14 05:03:39] 533*2^1123388-1 is not prime. Res64: 78AA65CFFBDAA5E5 Time : 0.0 sec. user=vaughan [2012-02-14 05:03:41] 539*2^1123388-1 is not prime. Res64: 8E44DDC8F0367A68 Time : 0.0 sec. user=vaughan [2012-02-14 05:03:42] 545*2^1123388-1 is not prime. Res64: 2A05E0A25AB9D689 Time : 0.0 sec. user=vaughan [2012-02-14 05:05:10] 433*2^1123407-1 is not prime. Res64: B06E105799422F20 Time : 0.0 sec. user=vaughan [2012-02-14 05:05:12] 445*2^1123407-1 is not prime. Res64: 4765A92A3B27DB65 Time : 0.0 sec. user=vaughan [2012-02-14 05:06:30] 405*2^1123407-1 is not prime. Res64: CA668CC645C86741 Time : 0.0 sec. user=vaughan [2012-02-14 05:06:32] 429*2^1123407-1 is not prime. Res64: 21209D5ED2294A62 Time : 0.0 sec. user=vaughan [2012-02-14 05:06:48] 465*2^1123407-1 is not prime. Res64: 3C9B79E6CA964032 Time : 0.0 sec. user=vaughan [2012-02-14 05:06:50] 489*2^1123407-1 is not prime. Res64: F9C63AA491B106BA Time : 0.0 sec. user=vaughan [2012-02-14 05:07:55] 529*2^1123397-1 is not prime. Res64: 4AFD051FF2E47A94 Time : 0.0 sec. user=vaughan [2012-02-14 05:07:55] 537*2^1123397-1 is not prime. Res64: 14610F7EE62F91E3 Time : 0.0 sec. user=vaughan [2012-02-14 05:09:36] 579*2^1123404-1 is not prime. Res64: 6F7B898C3ABB82C2 Time : 0.0 sec. user=vaughan [2012-02-14 05:09:37] 415*2^1123405-1 is not prime. Res64: 861324101E488446 Time : 0.0 sec. user=vaughan [2012-02-14 05:09:45] 419*2^1123408-1 is not prime. Res64: 68007CC8D89FAF64 Time : 0.0 sec. user=vaughan [2012-02-14 05:09:46] 429*2^1123408-1 is not prime. Res64: EA50935B2D1E41BD Time : 0.0 sec. user=vaughan [2012-02-14 05:09:52] 417*2^1123397-1 is not prime. Res64: 459362EA734207C9 Time : 0.0 sec. user=vaughan [2012-02-14 05:09:54] 475*2^1123397-1 is not prime. Res64: 22908D39FF69871F Time : 0.0 sec. user=vaughan [2012-02-14 05:10:51] 557*2^1123406-1 is not prime. Res64: E74C3D9388A93584 Time : 0.0 sec. user=vaughan [2012-02-14 05:10:52] 563*2^1123406-1 is not prime. Res64: 848AAFAB868BDFB7 Time : 0.0 sec. user=vaughan [2012-02-14 05:11:37] 561*2^1123411-1 is not prime. Res64: F7C327E70CD6E58B Time : 0.0 sec. user=vaughan [2012-02-14 05:11:40] 405*2^1123412-1 is not prime. Res64: A051CD5ECC48492D Time : 0.0 sec. user=juhehe [2012-02-14 05:12:14] 519*2^1123415-1 is not prime. Res64: 7265A7752FC35F85 Time : 0.0 sec. user=vaughan [2012-02-14 05:12:33] 579*2^1123399-1 is not prime. Res64: 712F1CEB2849E1FA Time : 0.0 sec. user=vaughan [2012-02-14 05:12:35] 539*2^1123400-1 is not prime. Res64: 94EB10C0A99B9535 Time : 0.0 sec. user=vaughan [2012-02-14 05:13:13] 465*2^1123414-1 is not prime. Res64: 47998602E45936B5 Time : 0.0 sec. user=vaughan [2012-02-14 05:13:14] 489*2^1123415-1 is not prime. Res64: 6C165998B606CF40 Time : 0.0 sec. user=juhehe [2012-02-14 05:13:21] 585*2^1123400-1 is not prime. Res64: E1C7F870A46A6168 Time : 0.0 sec. user=vaughan [2012-02-14 05:13:38] 597*2^1123401-1 is not prime. Res64: B7AD9E0DE8E4F44D Time : 0.0 sec. user=vaughan [2012-02-14 05:13:39] 447*2^1123402-1 is not prime. Res64: F5FF469877D5E0B6 Time : 0.0 sec. user=vaughan [2012-02-14 05:14:04] 483*2^1123402-1 is not prime. Res64: 07B4F477B43F52C3 Time : 0.0 sec. user=vaughan [2012-02-14 05:14:05] 533*2^1123402-1 is not prime. Res64: 368026F79BB9BC4C Time : 0.0 sec. user=juhehe [2012-02-14 05:14:23] 477*2^1123402-1 is not prime. Res64: 7783B46CEADB52D5 Time : 0.0 sec. user=vaughan [2012-02-14 05:15:06] 477*2^1123405-1 is not prime. Res64: 0411570320E9333B Time : 0.0 sec. user=vaughan [2012-02-14 05:15:09] 555*2^1123405-1 is not prime. Res64: 3D93F1F7EA5FAA9E Time : 0.0 sec. user=vaughan [2012-02-14 05:16:26] 475*2^1123411-1 is not prime. Res64: B54759E5A3DBF82A Time : 0.0 sec. user=vaughan [2012-02-14 05:16:27] 493*2^1123411-1 is not prime. Res64: 087980DA749AC22C Time : 0.0 sec. user=vaughan [2012-02-14 05:22:55] 573*2^1123407-1 is not prime. Res64: 7B00FE000BB8BD18 Time : 0.0 sec. user=vaughan [2012-02-14 05:22:56] 583*2^1123407-1 is not prime. Res64: 447D8E766D421314 Time : 0.0 sec. user=vaughan [2012-02-14 05:23:01] 435*2^1123408-1 is not prime. Res64: 741C4C9F5CD5382A Time : 0.0 sec. user=vaughan [2012-02-14 05:23:02] 483*2^1123408-1 is not prime. Res64: 7C3F4828159D5005 Time : 0.0 sec. user=vaughan [2012-02-14 05:23:14] 495*2^1123408-1 is not prime. Res64: F3F9C71EDCA20F7A Time : 0.0 sec. user=vaughan [2012-02-14 05:23:14] 459*2^1123409-1 is not prime. Res64: BB47F2391654EBC3 Time : 0.0 sec. user=vaughan [2012-02-14 05:23:19] 589*2^1123409-1 is not prime. Res64: C3D8F6343F23DE14 Time : 0.0 sec. user=vaughan [2012-02-14 05:23:20] 465*2^1123410-1 is not prime. Res64: 7E84D076BE0F1731 Time : 0.0 sec. user=vaughan [2012-02-14 05:25:00] 571*2^1123421-1 is not prime. Res64: FAB9363173B908A8 Time : 0.0 sec. user=vaughan [2012-02-14 05:25:01] 591*2^1123421-1 is not prime. Res64: 038AAA364A0BAB69 Time : 0.0 sec. user=vaughan [2012-02-14 05:25:14] 439*2^1123403-1 is not prime. Res64: 23F19EA6B665E573 Time : 0.0 sec. user=vaughan [2012-02-14 05:25:15] 475*2^1123403-1 is not prime. Res64: 13B1222AD948F3A3 Time : 0.0 sec. user=vaughan [2012-02-14 05:25:17] 549*2^1123403-1 is not prime. Res64: 006AFFCC0F944740 Time : 0.0 sec. user=vaughan [2012-02-14 05:25:17] 483*2^1123404-1 is not prime. Res64: 2AF8DACC6F50A273 Time : 0.0 sec. user=vaughan [2012-02-14 05:25:52] 555*2^1123410-1 is not prime. Res64: AA51A9BF483F9A5E Time : 0.0 sec. user=vaughan [2012-02-14 05:25:53] 585*2^1123410-1 is not prime. Res64: B85983383311DF90 Time : 0.0 sec. user=vaughan [2012-02-14 05:26:40] 517*2^1123413-1 is not prime. Res64: 86FF9BEB2BE26BBE Time : 0.0 sec. user=vaughan [2012-02-14 05:26:42] 425*2^1123414-1 is not prime. Res64: 702133F4FEC7033D Time : 0.0 sec. user=vaughan [2012-02-14 05:27:51] 447*2^1123422-1 is not prime. Res64: 02A3F55FA8E68CED Time : 0.0 sec. user=vaughan [2012-02-14 05:27:52] 501*2^1123422-1 is not prime. Res64: 9C5364252F251436 Time : 0.0 sec. user=vaughan [2012-02-14 05:28:04] 587*2^1123422-1 is not prime. Res64: C470D091D3D90450 Time : 0.0 sec. user=vaughan [2012-02-14 05:28:05] 423*2^1123424-1 is not prime. Res64: 4D079B6AA61F2E86 Time : 0.0 sec. user=juhehe [2012-02-14 05:30:09] 433*2^1123427-1 is not prime. Res64: E1C6D1A7ED611B48 Time : 0.0 sec. user=vaughan [2012-02-14 05:31:02] 525*2^1123425-1 is not prime. Res64: 7C80E25419C0100F Time : 0.0 sec. user=vaughan [2012-02-14 05:31:03] 565*2^1123425-1 is not prime. Res64: F6DC2704740C7F1D Time : 0.0 sec. user=vaughan [2012-02-14 05:31:27] 587*2^1123426-1 is not prime. Res64: 7A01C264BBD02383 Time : 0.0 sec. user=vaughan [2012-02-14 05:31:28] 403*2^1123427-1 is not prime. Res64: 8DEC19A154E828B7 Time : 0.0 sec. user=vaughan [2012-02-14 05:33:03] 589*2^1123427-1 is not prime. Res64: 24D57C24258C2B96 Time : 0.0 sec. user=vaughan [2012-02-14 05:33:04] 465*2^1123428-1 is not prime. Res64: 897D89FC0E0A4B37 Time : 0.0 sec. user=vaughan [2012-02-14 05:33:55] 531*2^1123415-1 is not prime. Res64: 15FF4F2F42A52486 Time : 0.0 sec. user=vaughan [2012-02-14 05:33:55] 413*2^1123416-1 is not prime. Res64: 4FAB7B47160E917B Time : 0.0 sec. user=vaughan [2012-02-14 05:33:57] 485*2^1123416-1 is not prime. Res64: 7C95BCE2385826B1 Time : 0.0 sec. user=vaughan [2012-02-14 05:33:57] 557*2^1123416-1 is not prime. Res64: D3F888667EE2F557 Time : 0.0 sec. user=vaughan [2012-02-14 05:34:04] 563*2^1123416-1 is not prime. Res64: AE910D0F251813F7 Time : 0.0 sec. user=vaughan [2012-02-14 05:34:05] 597*2^1123416-1 is not prime. Res64: 2944DBD748DC4D89 Time : 0.0 sec. user=vaughan [2012-02-14 05:34:29] 435*2^1123417-1 is not prime. Res64: 2F29719187B45C87 Time : 0.0 sec. user=vaughan [2012-02-14 05:34:29] 511*2^1123417-1 is not prime. Res64: 2077E0E2A74A1C1A Time : 0.0 sec. user=vaughan [2012-02-14 05:35:50] 573*2^1123424-1 is not prime. Res64: 4995E0F2F8E0E75A Time : 0.0 sec. user=vaughan [2012-02-14 05:35:51] 599*2^1123424-1 is not prime. Res64: 23E5C82F0E7975B6 Time : 0.0 sec. user=vaughan [2012-02-14 05:37:09] 551*2^1123426-1 is not prime. Res64: F12674713CB059E4 Time : 0.0 sec. user=vaughan [2012-02-14 05:37:10] 561*2^1123426-1 is not prime. Res64: 0E345B91BEDF9346 Time : 0.0 sec. user=vaughan [2012-02-14 05:42:40] 583*2^1123431-1 is not prime. Res64: 1B83A118A541F881 Time : 0.0 sec. user=vaughan [2012-02-14 05:42:41] 507*2^1123432-1 is not prime. Res64: 7EB61516541B6D13 Time : 0.0 sec. user=vaughan [2012-02-14 05:44:44] 567*2^1123428-1 is not prime. Res64: 3012925D0E967705 Time : 0.0 sec. user=vaughan [2012-02-14 05:44:44] 481*2^1123429-1 is not prime. Res64: B69752DCF7D3F245 Time : 0.0 sec. user=vaughan [2012-02-14 05:44:46] 501*2^1123434-1 is not prime. Res64: 6D7BB1788D1F193D Time : 0.0 sec. user=vaughan [2012-02-14 05:44:47] 503*2^1123434-1 is not prime. Res64: F3E318265174A55B Time : 0.0 sec. user=vaughan [2012-02-14 05:44:48] 495*2^1123424-1 is not prime. Res64: EECC3D07BCEE5343 Time : 0.0 sec. user=vaughan [2012-02-14 05:44:49] 543*2^1123424-1 is not prime. Res64: 665E1F478F10A9E2 Time : 0.0 sec. user=juhehe [2012-02-14 05:44:49] 503*2^1123428-1 is not prime. Res64: AEE087275FDB6879 Time : 0.0 sec. user=vaughan [2012-02-14 05:45:12] 501*2^1123430-1 is not prime. Res64: 56B2DAF619D72557 Time : 0.0 sec. user=vaughan [2012-02-14 05:45:12] 533*2^1123430-1 is not prime. Res64: 84E5D9C288747BAA Time : 0.0 sec. user=juhehe [2012-02-14 05:45:32] 545*2^1123430-1 is not prime. Res64: E67AAF9FED619851 Time : 0.0 sec. user=vaughan [2012-02-14 05:46:20] 405*2^1123431-1 is not prime. Res64: 6A94A78CDA7F8449 Time : 0.0 sec. user=vaughan [2012-02-14 05:46:20] 465*2^1123431-1 is not prime. Res64: C3B10BC1B52063E9 Time : 0.0 sec. user=vaughan [2012-02-14 05:47:28] 495*2^1123427-1 is not prime. Res64: 890714F4C75EB26C Time : 0.0 sec. user=vaughan [2012-02-14 05:47:28] 511*2^1123427-1 is not prime. Res64: B59E290D9174127F Time : 0.0 sec. user=vaughan [2012-02-14 05:47:44] 403*2^1123419-1 is not prime. Res64: D4C827EB8910F8AE Time : 0.0 sec. user=vaughan [2012-02-14 05:47:45] 483*2^1123418-1 is not prime. Res64: 04EFD4CE0C35A88B Time : 0.0 sec. user=vaughan [2012-02-14 05:47:45] 549*2^1123419-1 is not prime. Res64: 3BAE591D8C02C84E Time : 0.0 sec. user=vaughan [2012-02-14 05:47:45] 501*2^1123418-1 is not prime. Res64: E7C5AE68DE82ED70 Time : 0.0 sec. user=vaughan [2012-02-14 05:47:49] 405*2^1123421-1 is not prime. Res64: E52DCB1B70068259 Time : 0.0 sec. user=vaughan [2012-02-14 05:47:49] 411*2^1123421-1 is not prime. Res64: 89798861FA65C6B9 Time : 0.0 sec. user=juhehe [2012-02-14 05:48:03] 493*2^1123439-1 is not prime. Res64: 8ADFD5F1352AC1CE Time : 0.0 sec. user=vaughan [2012-02-14 05:49:21] 403*2^1123439-1 is not prime. Res64: 8F03E02C9CC53E00 Time : 0.0 sec. user=vaughan [2012-02-14 05:49:22] 435*2^1123439-1 is not prime. Res64: 84B5C945EAA7C4A2 Time : 0.0 sec. user=vaughan [2012-02-14 05:49:36] 439*2^1123439-1 is not prime. Res64: D68AB345F4728967 Time : 0.0 sec. user=vaughan [2012-02-14 05:49:37] 481*2^1123439-1 is not prime. Res64: F7A0E6AEDE7BFFD2 Time : 0.0 sec. user=vaughan [2012-02-14 05:51:17] 539*2^1123440-1 is not prime. Res64: 83E38C10F6D99411 Time : 0.0 sec. user=vaughan [2012-02-14 05:51:18] 405*2^1123441-1 is not prime. Res64: E30E22FB0067649A Time : 0.0 sec. user=vaughan [2012-02-14 05:51:42] 425*2^1123426-1 is not prime. Res64: FE55EC6A3A83EA55 Time : 0.0 sec. user=vaughan [2012-02-14 05:51:42] 443*2^1123426-1 is not prime. Res64: AACA46A5E8F91509 Time : 0.0 sec. user=vaughan [2012-02-14 05:52:21] 405*2^1123440-1 is not prime. Res64: 9A30D944DB77DAC9 Time : 0.0 sec. user=vaughan [2012-02-14 05:52:22] 513*2^1123440-1 is not prime. Res64: 0198889ADAF466D0 Time : 0.0 sec. user=vaughan [2012-02-14 05:52:52] 421*2^1123441-1 is not prime. Res64: 9D8F651CF45FE375 Time : 0.0 sec. user=vaughan [2012-02-14 05:52:52] 439*2^1123441-1 is not prime. Res64: 12C958F571D09894 Time : 0.0 sec. user=vaughan [2012-02-14 05:57:50] 539*2^1123432-1 is not prime. Res64: CB544CD11673B678 Time : 0.0 sec. user=vaughan [2012-02-14 05:57:51] 569*2^1123432-1 is not prime. Res64: 199C47A4B66CD031 Time : 0.0 sec. user=vaughan [2012-02-14 05:57:55] 481*2^1123433-1 is not prime. Res64: DACC38671B5ABBFE Time : 0.0 sec. user=vaughan [2012-02-14 05:57:55] 507*2^1123433-1 is not prime. Res64: 308611E0DCBE14D8 Time : 0.0 sec. user=vaughan [2012-02-14 05:58:05] 537*2^1123433-1 is not prime. Res64: EF3E406A1D0E8FF2 Time : 0.0 sec. user=vaughan [2012-02-14 05:58:06] 589*2^1123433-1 is not prime. Res64: FF4604DFD75960CC Time : 0.0 sec. user=vaughan [2012-02-14 05:58:13] 483*2^1123434-1 is not prime. Res64: F743896B3EED6F2F Time : 0.0 sec. user=vaughan [2012-02-14 05:58:14] 497*2^1123434-1 is not prime. Res64: 8850D66BA9AC36E3 Time : 0.0 sec. user=vaughan [2012-02-14 06:01:37] 401*2^1123438-1 is not prime. Res64: 2F46194C40AE80F4 Time : 0.0 sec. user=vaughan [2012-02-14 06:01:38] 581*2^1123438-1 is not prime. Res64: B5B5C44A044028BC Time : 0.0 sec. user=vaughan [2012-02-14 06:02:05] 523*2^1123443-1 is not prime. Res64: 4B6FF5CD2FF6D834 Time : 0.0 sec. user=vaughan [2012-02-14 06:02:06] 519*2^1123444-1 is not prime. Res64: 07B356ECB74D7778 Time : 0.0 sec. user=vaughan [2012-02-14 06:02:49] 473*2^1123436-1 is not prime. Res64: FFE688CC550BB213 Time : 0.0 sec. user=vaughan [2012-02-14 06:02:51] 517*2^1123437-1 is not prime. Res64: 0C1229E67EEA5A41 Time : 0.0 sec. user=vaughan [2012-02-14 06:03:19] 567*2^1123444-1 is not prime. Res64: 814A30B6F103F389 Time : 0.0 sec. user=vaughan [2012-02-14 06:03:20] 569*2^1123444-1 is not prime. Res64: DBAA752CBB29327B Time : 0.0 sec. user=vaughan [2012-02-14 06:04:35] 525*2^1123446-1 is not prime. Res64: BED4C30523F61B57 Time : 0.0 sec. user=vaughan [2012-02-14 06:04:36] 563*2^1123446-1 is not prime. Res64: E21230D789E08AD7 Time : 0.0 sec. user=juhehe [2012-02-14 06:05:57] 507*2^1123454-1 is not prime. Res64: 53C5BA470BE16C4F Time : 0.0 sec. user=vaughan [2012-02-14 06:06:57] 507*2^1123434-1 is not prime. Res64: 7B247E2BFE0AFD46 Time : 0.0 sec. user=vaughan [2012-02-14 06:06:59] 415*2^1123435-1 is not prime. Res64: 6A3858F430B6A4D4 Time : 0.0 sec. user=vaughan [2012-02-14 06:07:02] 553*2^1123435-1 is not prime. Res64: 8E3CDC6747FD2662 Time : 0.0 sec. user=vaughan [2012-02-14 06:07:06] 405*2^1123436-1 is not prime. Res64: AC1CDE2FF712C510 Time : 0.0 sec. user=vaughan [2012-02-14 06:08:52] 459*2^1123445-1 is not prime. Res64: 5B2273BFFE34DEBC Time : 0.0 sec. user=vaughan [2012-02-14 06:08:53] 511*2^1123445-1 is not prime. Res64: 91CCCE68C13C9813 Time : 0.0 sec. user=vaughan [2012-02-14 06:10:41] 545*2^1123454-1 is not prime. Res64: B2D0506AA76D3E6D Time : 0.0 sec. user=vaughan [2012-02-14 06:10:42] 573*2^1123454-1 is not prime. Res64: 4090102FAA86B563 Time : 0.0 sec. user=vaughan [2012-02-14 06:10:45] 441*2^1123441-1 is not prime. Res64: FCBA811D29CF9626 Time : 0.0 sec. user=vaughan [2012-02-14 06:10:46] 447*2^1123441-1 is not prime. Res64: A0ED01D51A09A0AA Time : 0.0 sec. user=vaughan [2012-02-14 06:10:54] 477*2^1123441-1 is not prime. Res64: 4EB94F8491CC1730 Time : 0.0 sec. user=vaughan [2012-02-14 06:10:57] 591*2^1123441-1 is not prime. Res64: 38E223A1F47BCBE4 Time : 0.0 sec. user=vaughan [2012-02-14 06:11:00] 515*2^1123442-1 is not prime. Res64: 322CF6A65053996C Time : 0.0 sec. user=vaughan [2012-02-14 06:11:01] 545*2^1123442-1 is not prime. Res64: A5CF96C56D882D6D Time : 0.0 sec. user=vaughan [2012-02-14 06:11:07] 501*2^1123455-1 is not prime. Res64: 6836A30B9AADB479 Time : 0.0 sec. user=vaughan [2012-02-14 06:11:12] 531*2^1123455-1 is not prime. Res64: 7C8C61594C4FE640 Time : 0.0 sec. user=vaughan [2012-02-14 06:11:12] 535*2^1123455-1 is not prime. Res64: 5B659F45CA59B736 Time : 0.0 sec. user=vaughan [2012-02-14 06:11:13] 541*2^1123455-1 is not prime. Res64: 15212C0CDD6DC75E Time : 0.0 sec. user=vaughan [2012-02-14 06:11:26] 551*2^1123442-1 is not prime. Res64: 6326F37D911D24FE Time : 0.0 sec. user=vaughan [2012-02-14 06:11:27] 483*2^1123443-1 is not prime. Res64: 278E30511DCC145E Time : 0.0 sec. user=vaughan [2012-02-14 06:12:39] 495*2^1123458-1 is not prime. Res64: FBA36D60E6FB9DE3 Time : 0.0 sec. user=vaughan [2012-02-14 06:12:42] 555*2^1123458-1 is not prime. Res64: D35F96E99ACF434A Time : 0.0 sec. user=vaughan [2012-02-14 06:13:47] 441*2^1123457-1 is not prime. Res64: D84EDD2ADCCC85B9 Time : 0.0 sec. user=vaughan [2012-02-14 06:13:48] 443*2^1123458-1 is not prime. Res64: 166C85C0C0B73584 Time : 0.0 sec. user=juhehe [2012-02-14 06:15:59] 453*2^1123447-1 is not prime. Res64: 94A058BCB292E6F1 Time : 0.0 sec. user=juhehe [2012-02-14 06:16:58] 579*2^1123447-1 is not prime. Res64: 8A24AC82D48DED98 Time : 0.0 sec. user=vaughan [2012-02-14 06:17:17] 577*2^1123445-1 is not prime. Res64: 3BB3C421DD36EDEF Time : 0.0 sec. user=vaughan [2012-02-14 06:17:18] 589*2^1123445-1 is not prime. Res64: 5357307A9725A731 Time : 0.0 sec. user=vaughan [2012-02-14 06:17:43] 549*2^1123447-1 is not prime. Res64: 3A1330968399AC6F Time : 0.0 sec. user=vaughan [2012-02-14 06:17:44] 559*2^1123447-1 is not prime. Res64: 265B54108D6DDD09 Time : 0.0 sec. user=vaughan [2012-02-14 06:18:55] 487*2^1123449-1 is not prime. Res64: 625903D1A6BBDBDE Time : 0.0 sec. user=vaughan [2012-02-14 06:18:56] 437*2^1123450-1 is not prime. Res64: 5F108F2AE8EC0FA8 Time : 0.0 sec. user=vaughan [2012-02-14 06:21:50] 483*2^1123447-1 is not prime. Res64: A05AC7390EBFC695 Time : 0.0 sec. user=vaughan [2012-02-14 06:21:51] 489*2^1123447-1 is not prime. Res64: A3F190D8BF3780FF Time : 0.0 sec. user=vaughan [2012-02-14 06:22:17] 461*2^1123450-1 is not prime. Res64: A84BD5D76D66EFB2 Time : 0.0 sec. user=vaughan [2012-02-14 06:22:18] 495*2^1123450-1 is not prime. Res64: 02293BB370077718 Time : 0.0 sec. user=juhehe [2012-02-14 06:23:53] 481*2^1123465-1 is not prime. Res64: 70A8AC95EBB5F93C Time : 0.0 sec. user=vaughan [2012-02-14 06:24:25] 549*2^1123464-1 is not prime. Res64: A8F9C2DA738CD98D Time : 0.0 sec. user=vaughan [2012-02-14 06:24:26] 555*2^1123464-1 is not prime. Res64: 2924EFB71E4B9EA6 Time : 0.0 sec. user=vaughan [2012-02-14 06:28:34] 455*2^1123462-1 is not prime. Res64: 82AB02BD6936686F Time : 0.0 sec. user=vaughan [2012-02-14 06:28:35] 483*2^1123462-1 is not prime. Res64: 207A9E7B0E42A61F Time : 0.0 sec. user=vaughan [2012-02-14 06:29:42] 423*2^1123464-1 is not prime. Res64: C28206FB53638F8E Time : 0.0 sec. user=vaughan [2012-02-14 06:29:43] 525*2^1123464-1 is not prime. Res64: 165C32BD8A32FA18 Time : 0.0 sec. user=vaughan [2012-02-14 06:31:01] 471*2^1123470-1 is not prime. Res64: 76BE6ECB1F74826B Time : 0.0 sec. user=vaughan [2012-02-14 06:31:02] 483*2^1123470-1 is not prime. Res64: 81469E444B938138 Time : 0.0 sec. user=vaughan [2012-02-14 06:31:51] 587*2^1123450-1 is not prime. Res64: 34B0C0EE4649B05D Time : 0.0 sec. user=vaughan [2012-02-14 06:31:52] 513*2^1123452-1 is not prime. Res64: 6AC3C0B9FB37F865 Time : 0.0 sec. user=vaughan [2012-02-14 06:31:52] 549*2^1123452-1 is not prime. Res64: 6E6430B0B44D2A04 Time : 0.0 sec. user=vaughan [2012-02-14 06:31:53] 557*2^1123452-1 is not prime. Res64: C8008CB4D5051FEB Time : 0.0 sec. user=vaughan [2012-02-14 06:31:57] 429*2^1123453-1 is not prime. Res64: B7FC5986EE00208C Time : 0.0 sec. user=vaughan [2012-02-14 06:31:57] 477*2^1123453-1 is not prime. Res64: 2A7F91A2D217C737 Time : 0.0 sec. user=vaughan [2012-02-14 06:32:07] 461*2^1123466-1 is not prime. Res64: 2287FC4A8E2B93FD Time : 0.0 sec. user=vaughan [2012-02-14 06:32:08] 593*2^1123466-1 is not prime. Res64: 5CFA618970FBC558 Time : 0.0 sec. user=vaughan [2012-02-14 06:32:32] 451*2^1123471-1 is not prime. Res64: E62E44B51433A0C5 Time : 0.0 sec. user=vaughan [2012-02-14 06:32:32] 489*2^1123471-1 is not prime. Res64: 1D8AAE567F6C4AFE Time : 0.0 sec. user=vaughan [2012-02-14 06:32:37] 563*2^1123458-1 is not prime. Res64: BF071D786EA5A5EF Time : 0.0 sec. user=vaughan [2012-02-14 06:32:38] 567*2^1123458-1 is not prime. Res64: B00A31EAA581FF89 Time : 0.0 sec. user=vaughan [2012-02-14 06:32:40] 495*2^1123468-1 is not prime. Res64: 9CF1CFFA793902B8 Time : 0.0 sec. user=vaughan [2012-02-14 06:32:41] 519*2^1123468-1 is not prime. Res64: D1DF05F660C66465 Time : 0.0 sec. user=vaughan [2012-02-14 06:32:43] 503*2^1123460-1 is not prime. Res64: 3A50B66BA26E1256 Time : 0.0 sec. user=vaughan [2012-02-14 06:32:44] 515*2^1123460-1 is not prime. Res64: 0F782C8866B93EE0 Time : 0.0 sec. user=vaughan [2012-02-14 06:32:55] 415*2^1123461-1 is not prime. Res64: D6D5DF9A7B74167A Time : 0.0 sec. user=vaughan [2012-02-14 06:32:55] 475*2^1123461-1 is not prime. Res64: AF36886988008A5A Time : 0.0 sec. user=vaughan [2012-02-14 06:33:01] 507*2^1123461-1 is not prime. Res64: 44C971CF33F7B0E8 Time : 0.0 sec. user=vaughan [2012-02-14 06:33:02] 537*2^1123461-1 is not prime. Res64: 35C32960499DC453 Time : 0.0 sec. user=vaughan [2012-02-14 06:33:25] 435*2^1123456-1 is not prime. Res64: BBAFDB36B31FC6F7 Time : 0.0 sec. user=vaughan [2012-02-14 06:33:26] 439*2^1123457-1 is not prime. Res64: EB863DACE3DF4DB9 Time : 0.0 sec. user=vaughan [2012-02-14 06:35:18] 531*2^1123471-1 is not prime. Res64: FC871A368501DC74 Time : 0.0 sec. user=vaughan [2012-02-14 06:35:19] 413*2^1123472-1 is not prime. Res64: 58BC29DA191217AB Time : 0.0 sec. user=vaughan [2012-02-14 06:35:30] 595*2^1123465-1 is not prime. Res64: EB1D2C2F547AF413 Time : 0.0 sec. user=vaughan [2012-02-14 06:35:30] 447*2^1123466-1 is not prime. Res64: 751DBA2BC9233991 Time : 0.0 sec. user=vaughan [2012-02-14 06:36:28] 565*2^1123461-1 is not prime. Res64: C5817DB79545020E Time : 0.0 sec. user=vaughan [2012-02-14 06:36:29] 405*2^1123462-1 is not prime. Res64: 2F97724E43587247 Time : 0.0 sec. user=vaughan [2012-02-14 06:39:52] 409*2^1123463-1 is not prime. Res64: 53EADCC810E9F4C4 Time : 0.0 sec. user=vaughan [2012-02-14 06:39:53] 411*2^1123463-1 is not prime. Res64: 80B14AFA8995911B Time : 0.0 sec. user=juhehe [2012-02-14 06:41:46] 595*2^1123477-1 is not prime. Res64: C019606A1DE47C14 Time : 0.0 sec. user=vaughan [2012-02-14 06:44:15] 425*2^1123478-1 is not prime. Res64: 4924A87E85E4696B Time : 0.0 sec. user=vaughan [2012-02-14 06:44:15] 575*2^1123478-1 is not prime. Res64: A2D20A35D4B62900 Time : 0.0 sec. user=juhehe [2012-02-14 06:47:22] 467*2^1123472-1 is not prime. Res64: 829529B4D86C8ED7 Time : 0.0 sec. user=vaughan [2012-02-14 06:47:44] 471*2^1123467-1 is not prime. Res64: 67793F9751F58F21 Time : 0.0 sec. user=vaughan [2012-02-14 06:47:44] 493*2^1123467-1 is not prime. Res64: DF7F2BBD4CFD303A Time : 0.0 sec. user=vaughan [2012-02-14 06:48:03] 513*2^1123467-1 is not prime. Res64: A608B5DC0A47DCB6 Time : 0.0 sec. user=vaughan [2012-02-14 06:48:03] 419*2^1123468-1 is not prime. Res64: 301D8E960B69185C Time : 0.0 sec. user=vaughan [2012-02-14 06:48:03] 413*2^1123468-1 is not prime. Res64: 25B7CC7EEE8EEBB4 Time : 0.0 sec. user=vaughan [2012-02-14 06:48:04] 485*2^1123468-1 is not prime. Res64: D34872352CB4FC12 Time : 0.0 sec. user=juhehe [2012-02-14 06:48:06] 501*2^1123473-1 is not prime. Res64: A1E680408B77AF3C Time : 0.0 sec. user=vaughan [2012-02-14 06:48:23] 587*2^1123470-1 is not prime. Res64: 046ACBC22F78290A Time : 0.0 sec. user=vaughan [2012-02-14 06:48:23] 441*2^1123471-1 is not prime. Res64: 7612E54135B5D096 Time : 0.0 sec. user=vaughan [2012-02-14 06:48:49] 499*2^1123465-1 is not prime. Res64: 366E17AEE34DB71E Time : 0.0 sec. user=vaughan [2012-02-14 06:48:49] 547*2^1123465-1 is not prime. Res64: 54D053EAA368AD07 Time : 0.0 sec. user=vaughan [2012-02-14 06:48:56] 567*2^1123465-1 is not prime. Res64: 9132237AFD5C95D8 Time : 0.0 sec. user=vaughan [2012-02-14 06:48:56] 589*2^1123465-1 is not prime. Res64: F49526052C3EB851 Time : 0.0 sec. user=vaughan [2012-02-14 06:49:54] 477*2^1123474-1 is not prime. Res64: C64165EBF6B6DAAE Time : 0.0 sec. user=vaughan [2012-02-14 06:49:55] 483*2^1123474-1 is not prime. Res64: A5CA84DABAE863F7 Time : 0.0 sec. user=vaughan [2012-02-14 06:50:18] 521*2^1123474-1 is not prime. Res64: 2947C6B12364FED7 Time : 0.0 sec. user=vaughan [2012-02-14 06:50:18] 409*2^1123475-1 is not prime. Res64: 398518CC0B261638 Time : 0.0 sec. user=vaughan [2012-02-14 06:50:48] 485*2^1123482-1 is not prime. Res64: 73402F14301740AC Time : 0.0 sec. user=vaughan [2012-02-14 06:50:49] 525*2^1123482-1 is not prime. Res64: B81D3B153536497E Time : 0.0 sec. user=vaughan [2012-02-14 06:51:31] 519*2^1123475-1 is not prime. Res64: 6FED4D852881CD7E Time : 0.0 sec. user=vaughan [2012-02-14 06:51:32] 553*2^1123475-1 is not prime. Res64: 4C5A9F9B1FF0C7D7 Time : 0.0 sec. user=vaughan [2012-02-14 06:52:16] 467*2^1123488-1 is not prime. Res64: 68FEE7D8A84402E0 Time : 0.0 sec. user=vaughan [2012-02-14 06:52:17] 503*2^1123488-1 is not prime. Res64: 9E7D81C3D9E9DC1A Time : 0.0 sec. user=vaughan [2012-02-14 06:53:43] 453*2^1123488-1 is not prime. Res64: BD0DBF4C7BD24E7B Time : 0.0 sec. user=vaughan [2012-02-14 06:53:43] 459*2^1123488-1 is not prime. Res64: 858926004DF9C94B Time : 0.0 sec. user=vaughan [2012-02-14 06:54:05] 407*2^1123490-1 is not prime. Res64: 708C92ABA60AD74B Time : 0.0 sec. user=vaughan [2012-02-14 06:54:06] 525*2^1123490-1 is not prime. Res64: 4B2D08730091D569 Time : 0.0 sec. user=vaughan [2012-02-14 06:55:12] 553*2^1123479-1 is not prime. Res64: 8D930076F88A686D Time : 0.0 sec. user=vaughan [2012-02-14 06:55:12] 525*2^1123481-1 is not prime. Res64: 822FFFDFF5D75676 Time : 0.0 sec. user=vaughan [2012-02-14 06:56:22] 559*2^1123481-1 is not prime. Res64: 646F8E853D423FA5 Time : 0.0 sec. user=vaughan [2012-02-14 06:56:23] 579*2^1123481-1 is not prime. Res64: 30F49303702DC19E Time : 0.0 sec. user=vaughan [2012-02-14 06:56:59] 561*2^1123493-1 is not prime. Res64: 9EAB6FD9DF19062C Time : 0.0 sec. user=vaughan [2012-02-14 06:57:00] 431*2^1123494-1 is not prime. Res64: 2DBF5ED280EEAC39 Time : 0.0 sec. user=vaughan [2012-02-14 06:57:08] 593*2^1123476-1 is not prime. Res64: EE79DFDD309D945F Time : 0.0 sec. user=vaughan [2012-02-14 06:57:09] 499*2^1123477-1 is not prime. Res64: 2E0D7C961FD9F3A0 Time : 0.0 sec. user=vaughan [2012-02-14 06:58:52] 437*2^1123476-1 is not prime. Res64: 1550B1EA1FAA168D Time : 0.0 sec. user=vaughan [2012-02-14 06:58:53] 539*2^1123476-1 is not prime. Res64: E3806511D642ACA3 Time : 0.0 sec. user=juhehe [2012-02-14 06:59:38] 469*2^1123495-1 is not prime. Res64: 7E73448882136F4A Time : 0.0 sec. user=vaughan [2012-02-14 07:02:05] 437*2^1123494-1 is not prime. Res64: CBBF97610D1FD61D Time : 0.0 sec. user=vaughan [2012-02-14 07:02:08] 453*2^1123494-1 is not prime. Res64: C70BFAC79EC520CC Time : 0.0 sec. user=vaughan [2012-02-14 07:04:04] 535*2^1123495-1 is not prime. Res64: 976BDFE906B99C99 Time : 0.0 sec. user=vaughan [2012-02-14 07:04:11] 405*2^1123496-1 is not prime. Res64: DB04E4C14447D7BF Time : 0.0 sec. user=vaughan [2012-02-14 07:05:04] 563*2^1123504-1 is not prime. Res64: 96F8AAEB6E37103B Time : 0.0 sec. user=vaughan [2012-02-14 07:05:12] 489*2^1123505-1 is not prime. Res64: 2CBE33FEEA136B51 Time : 0.0 sec. user=vaughan [2012-02-14 07:07:22] 507*2^1123488-1 is not prime. Res64: F37D4C646EA058A5 Time : 0.0 sec. user=vaughan [2012-02-14 07:07:23] 547*2^1123489-1 is not prime. Res64: 9F2FDB87DCB6D9F6 Time : 0.0 sec. user=vaughan [2012-02-14 07:07:32] 567*2^1123490-1 is not prime. Res64: 1F2F266AD79956F2 Time : 0.0 sec. user=vaughan [2012-02-14 07:07:33] 513*2^1123491-1 is not prime. Res64: D8CC2BD3615E55B6 Time : 0.0 sec. user=vaughan [2012-02-14 07:07:42] 585*2^1123491-1 is not prime. Res64: 13CFBE9DB9379FF2 Time : 0.0 sec. user=vaughan [2012-02-14 07:07:42] 455*2^1123492-1 is not prime. Res64: 8252FE972ABBC83D Time : 0.0 sec. user=vaughan [2012-02-14 07:07:47] 485*2^1123492-1 is not prime. Res64: 4D84EE8231058BEB Time : 0.0 sec. user=vaughan [2012-02-14 07:07:48] 511*2^1123493-1 is not prime. Res64: ECF9CA8088A77A20 Time : 0.0 sec. user=vaughan [2012-02-14 07:07:55] 505*2^1123507-1 is not prime. Res64: 94293195FDDCFABD Time : 0.0 sec. user=vaughan [2012-02-14 07:08:11] 437*2^1123504-1 is not prime. Res64: F13AC9FFE38E5446 Time : 0.0 sec. user=vaughan [2012-02-14 07:08:18] 415*2^1123503-1 is not prime. Res64: 071A79E46CA055C9 Time : 0.0 sec. user=vaughan [2012-02-14 07:08:25] 465*2^1123503-1 is not prime. Res64: 369E9D4FB571EEC6 Time : 0.0 sec. user=vaughan [2012-02-14 07:10:36] 407*2^1123504-1 is not prime. Res64: D3391D73B49D6B5A Time : 0.0 sec. user=vaughan [2012-02-14 07:10:38] 419*2^1123504-1 is not prime. Res64: 9DE6E6DD01E4E509 Time : 0.0 sec. user=vaughan [2012-02-14 07:10:57] 563*2^1123506-1 is not prime. Res64: 051CA02C990182DE Time : 0.0 sec. user=vaughan [2012-02-14 07:10:59] 433*2^1123507-1 is not prime. Res64: 5C5AF1FFE92C30C9 Time : 0.0 sec. user=vaughan [2012-02-14 07:11:14] 495*2^1123494-1 is not prime. Res64: CB999D5A93577995 Time : 0.0 sec. user=vaughan [2012-02-14 07:11:15] 501*2^1123494-1 is not prime. Res64: 33734745020E0053 Time : 0.0 sec. user=vaughan [2012-02-14 07:12:02] 519*2^1123504-1 is not prime. Res64: 35E244DC41052029 Time : 0.0 sec. user=vaughan [2012-02-14 07:12:03] 539*2^1123504-1 is not prime. Res64: 14DDB2F634D97161 Time : 0.0 sec. user=vaughan [2012-02-14 07:13:49] 587*2^1123502-1 is not prime. Res64: F236D9ADC6E9A43E Time : 0.0 sec. user=vaughan [2012-02-14 07:14:06] 405*2^1123502-1 is not prime. Res64: DD0F13E9B25DCC82 Time : 0.0 sec. user=vaughan [2012-02-14 07:15:08] 529*2^1123493-1 is not prime. Res64: 362FD163774AD2F9 Time : 0.0 sec. user=vaughan [2012-02-14 07:15:08] 547*2^1123493-1 is not prime. Res64: 8EB3043CD583F1BC Time : 0.0 sec. user=vaughan [2012-02-14 07:15:57] 585*2^1123482-1 is not prime. Res64: 6A189830251BE95C Time : 0.0 sec. user=vaughan [2012-02-14 07:15:58] 411*2^1123483-1 is not prime. Res64: E919A1727D25D814 Time : 0.0 sec. user=vaughan [2012-02-14 07:15:59] 585*2^1123484-1 is not prime. Res64: 1B6B128A06F29104 Time : 0.0 sec. user=vaughan [2012-02-14 07:16:00] 573*2^1123486-1 is not prime. Res64: 24E0A33B7EC771C7 Time : 0.0 sec. user=vaughan [2012-02-14 07:16:01] 469*2^1123487-1 is not prime. Res64: 755930D674C90B55 Time : 0.0 sec. user=vaughan [2012-02-14 07:16:02] 531*2^1123487-1 is not prime. Res64: 6AEB8AF45C69ED46 Time : 0.0 sec. user=vaughan [2012-02-14 07:16:47] 503*2^1123494-1 is not prime. Res64: 672AA29E6B9E7BF7 Time : 0.0 sec. user=vaughan [2012-02-14 07:16:47] 521*2^1123494-1 is not prime. Res64: 50FFD0A47C02BD86 Time : 0.0 sec. user=vaughan [2012-02-14 07:17:07] 481*2^1123509-1 is not prime. Res64: 1ED2CE6E096D48C3 Time : 0.0 sec. user=vaughan [2012-02-14 07:17:26] 541*2^1123507-1 is not prime. Res64: BD52E18766962B37 Time : 0.0 sec. user=juhehe [2012-02-14 07:17:31] 441*2^1123509-1 is not prime. Res64: 96AD56C58BEE5975 Time : 0.0 sec. user=juhehe [2012-02-14 07:18:28] 417*2^1123496-1 is not prime. Res64: F1DD118B134DDBD2 Time : 0.0 sec. user=juhehe [2012-02-14 07:19:27] 411*2^1123501-1 is not prime. Res64: F3BF5036A532B930 Time : 0.0 sec. user=vaughan [2012-02-14 07:24:38] 557*2^1123496-1 is not prime. Res64: AD25FA9E6A270977 Time : 0.0 sec. user=vaughan [2012-02-14 07:24:39] 475*2^1123497-1 is not prime. Res64: A0D423C031586821 Time : 0.0 sec. user=vaughan [2012-02-14 07:24:58] 435*2^1123499-1 is not prime. Res64: D03378FCDB6CA17D Time : 0.0 sec. user=vaughan [2012-02-14 07:24:58] 467*2^1123500-1 is not prime. Res64: 6A03592F33637A8B Time : 0.0 sec. user=vaughan [2012-02-14 07:24:58] 413*2^1123500-1 is not prime. Res64: 2332C9F44BFE2915 Time : 0.0 sec. user=vaughan [2012-02-14 07:24:59] 549*2^1123500-1 is not prime. Res64: D62E208D65F00972 Time : 0.0 sec. user=vaughan [2012-02-14 07:25:18] 427*2^1123501-1 is not prime. Res64: 383E9C9D8CD78E51 Time : 0.0 sec. user=vaughan [2012-02-14 07:25:18] 477*2^1123501-1 is not prime. Res64: FDDFAFE94FB49250 Time : 0.0 sec. user=juhehe [2012-02-14 07:35:26] 585*2^1123514-1 is not prime. Res64: 8D768A508C84190E Time : 0.0 sec. user=vaughan [2012-02-14 07:35:49] 525*2^1123514-1 is not prime. Res64: D4D71885993DBE19 Time : 0.0 sec. user=vaughan [2012-02-14 07:35:52] 525*2^1123508-1 is not prime. Res64: 562C4CDC6A117F20 Time : 0.0 sec. user=vaughan [2012-02-14 07:35:53] 439*2^1123509-1 is not prime. Res64: 7B1368379008D35B Time : 0.0 sec. user=vaughan [2012-02-14 07:38:09] 465*2^1123517-1 is not prime. Res64: 7A4AD5BCEFEF7AC3 Time : 0.0 sec. user=juhehe [2012-02-14 07:49:49] 415*2^1123515-1 is not prime. Res64: 98F9F2CFEAD72E74 Time : 0.0 sec. user=juhehe [2012-02-14 07:50:35] 441*2^1123515-1 is not prime. Res64: 170F460FA1D72D54 Time : 0.0 sec. user=juhehe [2012-02-14 07:53:19] 501*2^1122354-1 is not prime. Res64: E223C44F80243437 Time : 0.0 sec. user=juhehe [2012-02-14 08:11:11] 431*2^1123518-1 is not prime. Res64: D33DF4B415FECA32 Time : 0.0 sec. user=juhehe [2012-02-14 08:21:01] 413*2^1123518-1 is not prime. Res64: C2ADACD9F3198192 Time : 0.0 sec. user=juhehe [2012-02-14 08:22:05] 423*2^1123518-1 is not prime. Res64: 94A21EE537503C88 Time : 0.0 sec. user=juhehe [2012-02-14 08:29:07] 423*2^1122538-1 is not prime. Res64: 6320124C503F1C00 Time : 0.0 sec. user=juhehe [2012-02-14 08:46:58] 543*2^1122543-1 is not prime. Res64: 907B187F5AEDF83E Time : 0.0 sec. user=juhehe [2012-02-14 08:52:24] 453*2^1122538-1 is not prime. Res64: CABEE7FCC54B8E2C Time : 0.0 sec. user=juhehe [2012-02-14 08:53:11] 523*2^1122543-1 is not prime. Res64: 063DC92E25E0445C Time : 0.0 sec. user=juhehe [2012-02-14 09:08:05] 513*2^1123518-1 is not prime. Res64: C8D78AF230E92A8C Time : 0.0 sec. user=juhehe [2012-02-14 09:23:29] 415*2^1123519-1 is not prime. Res64: 6F8121981CD47F62 Time : 0.0 sec. user=juhehe [2012-02-14 09:24:28] 481*2^1123519-1 is not prime. Res64: 14D01BFEDC297068 Time : 0.0 sec. user=juhehe [2012-02-14 09:30:49] 589*2^1123519-1 is not prime. Res64: BE4A4BED7AEE6A0B Time : 0.0 sec. user=juhehe [2012-02-14 09:51:24] 479*2^1123520-1 is not prime. Res64: 606775B7B47456F9 Time : 0.0 sec. user=juhehe [2012-02-14 09:54:48] 447*2^1123520-1 is not prime. Res64: F3B36CC621B6D05B Time : 0.0 sec. user=juhehe [2012-02-14 09:55:49] 467*2^1123520-1 is not prime. Res64: B15619CF3B56CC0E Time : 0.0 sec. user=juhehe [2012-02-14 10:10:56] 549*2^1123521-1 is not prime. Res64: 9E99B39C4B4ED4B5 Time : 0.0 sec. user=juhehe [2012-02-14 10:25:59] 491*2^1123522-1 is not prime. Res64: 31E752AABDBCA25D Time : 0.0 sec. user=juhehe [2012-02-14 10:27:11] 513*2^1123522-1 is not prime. Res64: 68EC7B6ED0BE18B1 Time : 0.0 sec. user=juhehe [2012-02-14 10:29:41] 551*2^1123522-1 is not prime. Res64: 9C1CAC605F0570CD Time : 0.0 sec. user=juhehe [2012-02-14 10:48:26] 453*2^1123523-1 is not prime. Res64: E640BB0A966884F5 Time : 0.0 sec. user=juhehe [2012-02-14 10:57:15] 433*2^1123523-1 is not prime. Res64: A3D7FB947EE31676 Time : 0.0 sec. user=juhehe [2012-02-14 10:58:15] 441*2^1123523-1 is not prime. Res64: 19853A1EBFB0B902 Time : 0.0 sec. user=juhehe [2012-02-14 11:07:18] 523*2^1123523-1 is not prime. Res64: 976EEF30EC2DF03D Time : 0.0 sec. user=juhehe [2012-02-14 11:26:09] 497*2^1123524-1 is not prime. Res64: 67FAFD40931479B4 Time : 0.0 sec. user=juhehe [2012-02-14 11:28:23] 413*2^1123524-1 is not prime. Res64: C53E6E98A11C8130 Time : 0.0 sec. user=juhehe [2012-02-14 11:29:34] 459*2^1123524-1 is not prime. Res64: 054DCA37D7E0EA5F Time : 0.0 sec. user=juhehe [2012-02-14 11:45:03] 503*2^1123524-1 is not prime. Res64: B9481DD568A13F53 Time : 0.0 sec. user=juhehe [2012-02-14 11:59:50] 545*2^1123524-1 is not prime. Res64: 5538D0229617EB9A Time : 0.0 sec. user=juhehe [2012-02-14 12:00:47] 549*2^1123524-1 is not prime. Res64: 5139AFAE059A5E8E Time : 0.0 sec. user=juhehe [2012-02-14 12:03:58] 519*2^1123525-1 is not prime. Res64: B4859E3ACB4A572A Time : 0.0 sec. user=juhehe [2012-02-14 12:22:53] 437*2^1123526-1 is not prime. Res64: E984768F5450DA2A Time : 0.0 sec. user=juhehe [2012-02-14 12:31:10] 531*2^1123525-1 is not prime. Res64: 183A69E34DDD9542 Time : 0.0 sec. user=juhehe [2012-02-14 12:32:16] 407*2^1123526-1 is not prime. Res64: 6A28799764B71FE6 Time : 0.0 sec. user=juhehe [2012-02-14 12:41:47] 551*2^1123526-1 is not prime. Res64: 54B82AAF615F09EA Time : 0.0 sec. user=juhehe [2012-02-14 13:00:42] 465*2^1123527-1 is not prime. Res64: 2FDEA6124317C90E Time : 0.0 sec. user=juhehe [2012-02-14 13:02:36] 581*2^1123526-1 is not prime. Res64: D44F4CEB5756DD70 Time : 0.0 sec. user=juhehe [2012-02-14 13:03:29] 587*2^1123526-1 is not prime. Res64: 7E384700B1D61F31 Time : 0.0 sec. user=juhehe [2012-02-14 13:18:48] 511*2^1123527-1 is not prime. Res64: 13DB6480587E15D2 Time : 0.0 sec. user=juhehe [2012-02-14 13:33:48] 513*2^1123527-1 is not prime. Res64: 343809B5D23D98A0 Time : 0.0 sec. user=juhehe [2012-02-14 13:34:59] 583*2^1123527-1 is not prime. Res64: 3939F232C3D2DD99 Time : 0.0 sec. user=juhehe [2012-02-14 13:36:42] 533*2^1123528-1 is not prime. Res64: 2E4FCF18A0110A95 Time : 0.0 sec. user=juhehe [2012-02-14 13:54:37] 565*2^1123529-1 is not prime. Res64: 9029AF6331BD5B94 Time : 0.0 sec. user=juhehe [2012-02-14 14:05:11] 575*2^1123528-1 is not prime. Res64: 4D810D63A3858E61 Time : 0.0 sec. user=juhehe [2012-02-14 14:06:10] 597*2^1123528-1 is not prime. Res64: 135536B21F99B781 Time : 0.0 sec. user=juhehe [2012-02-14 14:12:33] 447*2^1123530-1 is not prime. Res64: 75C0B710673E1A59 Time : 0.0 sec. user=juhehe [2012-02-14 14:30:30] 501*2^1123530-1 is not prime. Res64: 09798F7A6209C4CE Time : 0.0 sec. user=juhehe [2012-02-14 14:36:28] 453*2^1123530-1 is not prime. Res64: 07FE82B2E28B4C3A Time : 0.0 sec. user=juhehe [2012-02-14 14:37:37] 473*2^1123530-1 is not prime. Res64: E38ABD3CA07970C0 Time : 0.0 sec. user=juhehe [2012-02-14 14:48:23] 503*2^1123530-1 is not prime. Res64: B335D0D60D35CD93 Time : 0.0 sec. user=juhehe [2012-02-14 15:07:58] 525*2^1123530-1 is not prime. Res64: DCF932DE3F52C8EB Time : 0.0 sec. user=juhehe [2012-02-14 15:08:50] 555*2^1123530-1 is not prime. Res64: 751E226D9810A984 Time : 0.0 sec. user=juhehe [2012-02-14 15:39:11] 415*2^1123531-1 is not prime. Res64: 2183CE86C2C02198 Time : 0.0 sec. user=juhehe [2012-02-14 15:40:15] 429*2^1123531-1 is not prime. Res64: D906091948E9E671 Time : 0.0 sec. user=juhehe [2012-02-14 16:10:32] 453*2^1123531-1 is not prime. Res64: 8C70105357412FCB Time : 0.0 sec. user=juhehe [2012-02-14 16:11:28] 465*2^1123531-1 is not prime. Res64: D00E4BAA5B53E190 Time : 0.0 sec. user=juhehe [2012-02-14 16:41:41] 531*2^1123531-1 is not prime. Res64: FA2EA24006692FC3 Time : 0.0 sec. user=juhehe [2012-02-14 16:42:53] 541*2^1123531-1 is not prime. Res64: 605FD14516D658E9 Time : 0.0 sec. user=vaughan [2012-02-14 16:50:08] 469*2^1123517-1 is not prime. Res64: 5C2372428E62F36E Time : 0.0 sec. user=vaughan [2012-02-14 16:50:51] 429*2^1123503-1 is not prime. Res64: FBF4B0CD278AE5E6 Time : 0.0 sec. user=vaughan [2012-02-14 16:51:09] 523*2^1123503-1 is not prime. Res64: DE753CE870FE0764 Time : 0.0 sec. user=vaughan [2012-02-14 16:51:26] 475*2^1123505-1 is not prime. Res64: FF8C47711F36F081 Time : 0.0 sec. user=vaughan [2012-02-14 16:51:35] 405*2^1122957-1 is not prime. Res64: 55D942A5A400C63F Time : 0.0 sec. user=vaughan [2012-02-14 16:51:45] 537*2^1123506-1 is not prime. Res64: DBE0E188F94DDAD2 Time : 0.0 sec. user=vaughan [2012-02-14 16:51:48] 519*2^1123507-1 is not prime. Res64: 80A36EA0F232D03E Time : 0.0 sec. user=vaughan [2012-02-14 16:52:37] 447*2^1123504-1 is not prime. Res64: 8C6D282F9F6CF137 Time : 0.0 sec. user=vaughan [2012-02-14 16:57:23] 567*2^1123506-1 is not prime. Res64: C6F7DFFDF75BEE0A Time : 0.0 sec. user=vaughan [2012-02-14 16:57:37] 559*2^1123509-1 is not prime. Res64: 809BF937B27D90AC Time : 0.0 sec. user=vaughan [2012-02-14 16:58:42] 439*2^1123507-1 is not prime. Res64: BE64CD0AFFD9A862 Time : 0.0 sec. user=vaughan [2012-02-14 16:59:10] 425*2^1122958-1 is not prime. Res64: 3CB8BD59ED96C7E3 Time : 0.0 sec. user=vaughan [2012-02-14 16:59:42] 583*2^1123507-1 is not prime. Res64: AFFA567E5824BF7D Time : 0.0 sec. user=vaughan [2012-02-14 17:02:35] 423*2^1123512-1 is not prime. Res64: 1D809D7C02646DE9 Time : 0.0 sec. user=vaughan [2012-02-14 17:02:37] 437*2^1123512-1 is not prime. Res64: 1BEFAAA807A9606D Time : 0.0 sec. user=vaughan [2012-02-14 17:03:22] 413*2^1122972-1 is not prime. Res64: F43A82491504BC5B Time : 0.0 sec. user=vaughan [2012-02-14 17:03:24] 453*2^1122972-1 is not prime. Res64: 631B920B358AB2FA Time : 0.0 sec. user=vaughan [2012-02-14 17:03:28] 557*2^1123512-1 is not prime. Res64: 5F532F2ED4E648CC Time : 0.0 sec. user=vaughan [2012-02-14 17:03:30] 427*2^1123513-1 is not prime. Res64: 00800C98F284A138 Time : 0.0 sec. user=vaughan [2012-02-14 17:05:51] 561*2^1122910-1 is not prime. Res64: 17EDFD3768D4B4B8 Time : 0.0 sec. user=vaughan [2012-02-14 17:05:52] 591*2^1122910-1 is not prime. Res64: 85864A10088073BD Time : 0.0 sec. user=vaughan [2012-02-14 17:06:25] 447*2^1123502-1 is not prime. Res64: 9BC57B5A707EE9DA Time : 0.0 sec. user=vaughan [2012-02-14 17:06:47] 591*2^1123502-1 is not prime. Res64: 14E7D511F06D4984 Time : 0.0 sec. user=vaughan [2012-02-14 17:10:25] 593*2^1123532-1 is not prime. Res64: A0E69098B1284D48 Time : 0.0 sec. user=vaughan [2012-02-14 17:10:26] 591*2^1123533-1 is not prime. Res64: 801EC9A188C843EF Time : 0.0 sec. user=vaughan [2012-02-14 17:12:54] 527*2^1123536-1 is not prime. Res64: E64905EDC8FC39C5 Time : 0.0 sec. user=vaughan [2012-02-14 17:12:54] 585*2^1123536-1 is not prime. Res64: 5CFFD4CC42C70497 Time : 0.0 sec. user=vaughan [2012-02-14 17:13:05] 439*2^1123537-1 is not prime. Res64: 1EC3061133EF253D Time : 0.0 sec. user=vaughan [2012-02-14 17:13:06] 441*2^1123537-1 is not prime. Res64: 1B0E1EDF6E24AF58 Time : 0.0 sec. user=juhehe [2012-02-14 17:13:07] 595*2^1123531-1 is not prime. Res64: 474474BD32C556D3 Time : 0.0 sec. user=vaughan [2012-02-14 17:13:10] 517*2^1123537-1 is not prime. Res64: 674F831FDCD2A749 Time : 0.0 sec. user=vaughan [2012-02-14 17:13:11] 473*2^1123538-1 is not prime. Res64: 6EFFF0CAA67D49F6 Time : 0.0 sec. user=vaughan [2012-02-14 17:13:16] 561*2^1123538-1 is not prime. Res64: EDD3032C62842B17 Time : 0.0 sec. user=vaughan [2012-02-14 17:13:17] 471*2^1123539-1 is not prime. Res64: 93314163F0412D47 Time : 0.0 sec. user=juhehe [2012-02-14 17:13:59] 545*2^1123532-1 is not prime. Res64: 653CDB9AA6B24726 Time : 0.0 sec. user=vaughan [2012-02-14 17:16:15] 585*2^1122905-1 is not prime. Res64: D8537C55163FC7E8 Time : 0.0 sec. user=vaughan [2012-02-14 17:16:16] 595*2^1122905-1 is not prime. Res64: 08813C29BA3FB7FC Time : 0.0 sec. user=vaughan [2012-02-14 17:18:31] 465*2^1123510-1 is not prime. Res64: 740934559F0B0D1D Time : 0.0 sec. user=vaughan [2012-02-14 17:18:31] 521*2^1123510-1 is not prime. Res64: 27C812873D0C0EA9 Time : 0.0 sec. user=vaughan [2012-02-14 17:18:43] 425*2^1123514-1 is not prime. Res64: 62E35F493E54E971 Time : 0.0 sec. user=vaughan [2012-02-14 17:18:44] 503*2^1123514-1 is not prime. Res64: 9D6D4A297941A410 Time : 0.0 sec. user=vaughan [2012-02-14 17:18:51] 447*2^1123510-1 is not prime. Res64: ECE43246F53E53E2 Time : 0.0 sec. user=vaughan [2012-02-14 17:18:52] 455*2^1123510-1 is not prime. Res64: C8B199B2114B2964 Time : 0.0 sec. user=vaughan [2012-02-14 17:19:01] 511*2^1123511-1 is not prime. Res64: 09BB1DB4C61BCC02 Time : 0.0 sec. user=vaughan [2012-02-14 17:19:01] 581*2^1123510-1 is not prime. Res64: FEFE55B4D5E80235 Time : 0.0 sec. user=vaughan [2012-02-14 17:19:02] 595*2^1123511-1 is not prime. Res64: 0FDACADBBC3152CA Time : 0.0 sec. user=vaughan [2012-02-14 17:19:02] 505*2^1123511-1 is not prime. Res64: 8342D45C9F903202 Time : 0.0 sec. user=vaughan [2012-02-14 17:19:05] 537*2^1123513-1 is not prime. Res64: 06ECFCDCA8AED9A9 Time : 0.0 sec. user=vaughan [2012-02-14 17:19:06] 541*2^1123513-1 is not prime. Res64: 8D799B1F2681D9F0 Time : 0.0 sec. user=vaughan [2012-02-14 17:19:10] 577*2^1123513-1 is not prime. Res64: B3592930D3E220B6 Time : 0.0 sec. user=vaughan [2012-02-14 17:19:11] 589*2^1123513-1 is not prime. Res64: 97E48F28D821D8D4 Time : 0.0 sec. user=vaughan [2012-02-14 17:20:38] 527*2^1123512-1 is not prime. Res64: 1408D0788EB4B4B5 Time : 0.0 sec. user=vaughan [2012-02-14 17:20:39] 537*2^1123512-1 is not prime. Res64: E0DAA582D7E0015B Time : 0.0 sec. user=vaughan [2012-02-14 17:21:46] 523*2^1123535-1 is not prime. Res64: 205160BC3600D88E Time : 0.0 sec. user=vaughan [2012-02-14 17:21:46] 579*2^1123535-1 is not prime. Res64: CFC0807217EC08D3 Time : 0.0 sec. user=vaughan [2012-02-14 17:21:47] 509*2^1123544-1 is not prime. Res64: 3C291D04D691BA05 Time : 0.0 sec. user=vaughan [2012-02-14 17:22:06] 437*2^1123536-1 is not prime. Res64: 66992F6681A0A00E Time : 0.0 sec. user=vaughan [2012-02-14 17:22:06] 497*2^1123536-1 is not prime. Res64: 0EBC081FB9CEA9EC Time : 0.0 sec. user=vaughan [2012-02-14 17:22:34] 549*2^1123547-1 is not prime. Res64: 8F645C46487C69EC Time : 0.0 sec. user=vaughan [2012-02-14 17:22:34] 569*2^1123548-1 is not prime. Res64: 12D3AF01424D45C6 Time : 0.0 sec. user=vaughan [2012-02-14 17:23:20] 421*2^1123549-1 is not prime. Res64: 57FD74BF12B11B51 Time : 0.0 sec. user=vaughan [2012-02-14 17:23:20] 477*2^1123549-1 is not prime. Res64: 153690A4D60D8A51 Time : 0.0 sec. user=vaughan [2012-02-14 17:23:30] 523*2^1123539-1 is not prime. Res64: 88143656E743DF81 Time : 0.0 sec. user=vaughan [2012-02-14 17:23:30] 525*2^1123540-1 is not prime. Res64: 640F3DE0FF160B7A Time : 0.0 sec. user=vaughan [2012-02-14 17:24:12] 495*2^1123554-1 is not prime. Res64: F9CD206A3EAF3A12 Time : 0.0 sec. user=vaughan [2012-02-14 17:24:37] 489*2^1123549-1 is not prime. Res64: E6E11AAEB6C69CB6 Time : 0.0 sec. user=vaughan [2012-02-14 17:24:49] 505*2^1123543-1 is not prime. Res64: 9BD964F59997B3AE Time : 0.0 sec. user=vaughan [2012-02-14 17:24:49] 479*2^1123544-1 is not prime. Res64: 009A839B175B5F5D Time : 0.0 sec. user=vaughan [2012-02-14 17:24:50] 411*2^1123543-1 is not prime. Res64: 309D965CE96D8EF3 Time : 0.0 sec. user=vaughan [2012-02-14 17:24:50] 453*2^1123543-1 is not prime. Res64: 33856A80DD3C6F77 Time : 0.0 sec. user=vaughan [2012-02-14 17:26:10] 525*2^1123546-1 is not prime. Res64: 4CDF242F9215DF15 Time : 0.0 sec. user=vaughan [2012-02-14 17:26:11] 581*2^1123546-1 is not prime. Res64: B1DFEE113564AD43 Time : 0.0 sec. user=vaughan [2012-02-14 17:30:17] 513*2^1123551-1 is not prime. Res64: 7DC0F65CD01A2579 Time : 0.0 sec. user=vaughan [2012-02-14 17:30:18] 595*2^1123551-1 is not prime. Res64: 1FE03E524BE6DB52 Time : 0.0 sec. user=vaughan [2012-02-14 17:30:28] 555*2^1122954-1 is not prime. Res64: F82165B585904E28 Time : 0.0 sec. user=vaughan [2012-02-14 17:30:29] 511*2^1122955-1 is not prime. Res64: A7E86B858FCB66A7 Time : 0.0 sec. user=vaughan [2012-02-14 17:30:45] 441*2^1123513-1 is not prime. Res64: 9821C9F5A9E3F417 Time : 0.0 sec. user=vaughan [2012-02-14 17:30:46] 465*2^1123513-1 is not prime. Res64: BFEDD05E8AD6670A Time : 0.0 sec. user=vaughan [2012-02-14 17:34:07] 591*2^1123553-1 is not prime. Res64: F9B73A7617699600 Time : 0.0 sec. user=vaughan [2012-02-14 17:34:07] 595*2^1123553-1 is not prime. Res64: AC8EE8528EC7FE06 Time : 0.0 sec. user=vaughan [2012-02-14 17:34:26] 481*2^1123555-1 is not prime. Res64: 7E79162D10A7DC1D Time : 0.0 sec. user=vaughan [2012-02-14 17:34:26] 499*2^1123555-1 is not prime. Res64: FAEE287EF61CEF82 Time : 0.0 sec. user=vaughan [2012-02-14 17:34:31] 487*2^1123557-1 is not prime. Res64: 45B9DAFABDB0ECF2 Time : 0.0 sec. user=vaughan [2012-02-14 17:34:31] 529*2^1123557-1 is not prime. Res64: AFCFEA63ACCFF1C1 Time : 0.0 sec. user=vaughan [2012-02-14 17:36:46] 501*2^1123547-1 is not prime. Res64: 943B3034C6459155 Time : 0.0 sec. user=vaughan [2012-02-14 17:36:46] 529*2^1123547-1 is not prime. Res64: 4AC5ED3BD3CDDE16 Time : 0.0 sec. user=vaughan [2012-02-14 17:42:22] 543*2^1123563-1 is not prime. Res64: BED867467E5622BE Time : 0.0 sec. user=vaughan [2012-02-14 17:42:22] 539*2^1123564-1 is not prime. Res64: B6A51BECB2DD0436 Time : 0.0 sec. user=vaughan [2012-02-14 17:43:07] 405*2^1123565-1 is not prime. Res64: F82F70B46FCB1060 Time : 0.0 sec. user=vaughan [2012-02-14 17:43:08] 487*2^1123565-1 is not prime. Res64: 73E119ADFE448D0F Time : 0.0 sec. user=juhehe [2012-02-14 17:44:15] 465*2^1123554-1 is not prime. Res64: 5925323C5ED277B1 Time : 0.0 sec. user=juhehe [2012-02-14 17:45:25] 579*2^1123557-1 is not prime. Res64: D8AE67C54A7F2A6E Time : 0.0 sec. user=vaughan [2012-02-14 17:47:40] 483*2^1123550-1 is not prime. Res64: CE31C74EEBF095E1 Time : 0.0 sec. user=vaughan [2012-02-14 17:47:41] 567*2^1123550-1 is not prime. Res64: 8856DADD5A0CF103 Time : 0.0 sec. user=vaughan [2012-02-14 17:48:15] 405*2^1123551-1 is not prime. Res64: 72D60552728FC6EE Time : 0.0 sec. user=vaughan [2012-02-14 17:48:15] 489*2^1123551-1 is not prime. Res64: F7ADD863B2D8CC04 Time : 0.0 sec. user=vaughan [2012-02-14 17:50:03] 559*2^1123569-1 is not prime. Res64: 4BD003439A27FDCD Time : 0.0 sec. user=vaughan [2012-02-14 17:50:04] 425*2^1123570-1 is not prime. Res64: D368D0CE96215FAB Time : 0.0 sec. user=vaughan [2012-02-14 17:52:14] 453*2^1123566-1 is not prime. Res64: 3E852B314ACBB4EC Time : 0.0 sec. user=vaughan [2012-02-14 17:52:15] 557*2^1123566-1 is not prime. Res64: 7C204240DB228D2E Time : 0.0 sec. user=vaughan [2012-02-14 17:52:33] 405*2^1123567-1 is not prime. Res64: 9D12666905C4DD72 Time : 0.0 sec. user=vaughan [2012-02-14 17:52:34] 441*2^1123567-1 is not prime. Res64: 7EFDAAA309178D72 Time : 0.0 sec. user=vaughan [2012-02-14 17:52:41] 563*2^1123562-1 is not prime. Res64: F428375E4EF417A3 Time : 0.0 sec. user=vaughan [2012-02-14 17:52:42] 489*2^1123563-1 is not prime. Res64: 34613EB232EBF19D Time : 0.0 sec. user=vaughan [2012-02-14 17:53:00] 493*2^1123563-1 is not prime. Res64: 3996EE113C5472EC Time : 0.0 sec. user=vaughan [2012-02-14 17:53:01] 523*2^1123563-1 is not prime. Res64: 54C55029F0CEE792 Time : 0.0 sec. user=vaughan [2012-02-14 17:53:50] 549*2^1123567-1 is not prime. Res64: 0621A69EBDE6B762 Time : 0.0 sec. user=vaughan [2012-02-14 17:53:51] 405*2^1123568-1 is not prime. Res64: 2FF6B243880D870E Time : 0.0 sec. user=vaughan [2012-02-14 17:54:23] 443*2^1123566-1 is not prime. Res64: C5FC45FE1609F33B Time : 0.0 sec. user=vaughan [2012-02-14 17:54:24] 447*2^1123566-1 is not prime. Res64: 01F0FC3C3476F79F Time : 0.0 sec. user=vaughan [2012-02-14 17:55:03] 403*2^1123571-1 is not prime. Res64: E0AFD22626B5FDCD Time : 0.0 sec. user=vaughan [2012-02-14 17:55:04] 459*2^1123571-1 is not prime. Res64: B566F1CA87637B88 Time : 0.0 sec. user=vaughan [2012-02-14 17:55:20] 505*2^1123571-1 is not prime. Res64: FB3FD332868550D2 Time : 0.0 sec. user=vaughan [2012-02-14 17:55:21] 549*2^1123571-1 is not prime. Res64: 5C2470E115868AEE Time : 0.0 sec. user=vaughan [2012-02-14 17:55:27] 405*2^1123572-1 is not prime. Res64: CA68053E5F590FEE Time : 0.0 sec. user=vaughan [2012-02-14 17:55:27] 459*2^1123572-1 is not prime. Res64: E98C3009E6898165 Time : 0.0 sec. user=vaughan [2012-02-14 17:56:01] 495*2^1123558-1 is not prime. Res64: CB1B2BE4923B4E55 Time : 0.0 sec. user=vaughan [2012-02-14 17:56:02] 513*2^1123558-1 is not prime. Res64: 85946ED4CA691D51 Time : 0.0 sec. user=vaughan [2012-02-14 17:56:20] 559*2^1123559-1 is not prime. Res64: A02B2747C23EE615 Time : 0.0 sec. user=vaughan [2012-02-14 17:56:21] 571*2^1123559-1 is not prime. Res64: 06B9321E7677F3A0 Time : 0.0 sec. user=vaughan [2012-02-14 17:56:34] 515*2^1123560-1 is not prime. Res64: B9B4B44E8958F846 Time : 0.0 sec. user=vaughan [2012-02-14 17:56:34] 525*2^1123560-1 is not prime. Res64: DA1D6C79A9A62C3B Time : 0.0 sec. user=vaughan [2012-02-14 17:56:37] 413*2^1123560-1 is not prime. Res64: A351E927823DDC23 Time : 0.0 sec. user=vaughan [2012-02-14 17:56:37] 479*2^1123560-1 is not prime. Res64: 2860C05CEBA6EE87 Time : 0.0 sec. user=vaughan [2012-02-14 17:58:09] 525*2^1123562-1 is not prime. Res64: 11B46518B6623452 Time : 0.0 sec. user=vaughan [2012-02-14 17:58:09] 561*2^1123562-1 is not prime. Res64: A2B57B2E82F88015 Time : 0.0 sec. user=vaughan [2012-02-14 18:02:10] 427*2^1123573-1 is not prime. Res64: 7A10ACE538942ED3 Time : 0.0 sec. user=vaughan [2012-02-14 18:02:11] 477*2^1123573-1 is not prime. Res64: 08BECB242FE6A162 Time : 0.0 sec. user=vaughan [2012-02-14 18:02:40] 537*2^1123540-1 is not prime. Res64: 6523AE20593A1D93 Time : 0.0 sec. user=vaughan [2012-02-14 18:02:41] 571*2^1123541-1 is not prime. Res64: 5449DBDEE9E9DD8F Time : 0.0 sec. user=vaughan [2012-02-14 18:02:43] 577*2^1123541-1 is not prime. Res64: 50719C38816844D5 Time : 0.0 sec. user=vaughan [2012-02-14 18:02:53] 559*2^1123573-1 is not prime. Res64: FA1EAA3DFB956A73 Time : 0.0 sec. user=vaughan [2012-02-14 18:02:56] 425*2^1123574-1 is not prime. Res64: 9BFA8FC882BE1494 Time : 0.0 sec. user=vaughan [2012-02-14 18:03:07] 421*2^1123559-1 is not prime. Res64: 1C832C7ACD5F7346 Time : 0.0 sec. user=vaughan [2012-02-14 18:03:08] 441*2^1123559-1 is not prime. Res64: BB6FC15E6A751007 Time : 0.0 sec. user=vaughan [2012-02-14 18:03:21] 455*2^1123542-1 is not prime. Res64: 917CFE3FE802CA9B Time : 0.0 sec. user=vaughan [2012-02-14 18:03:22] 557*2^1123542-1 is not prime. Res64: AC75AAF6AD115F1D Time : 0.0 sec. user=vaughan [2012-02-14 18:03:24] 587*2^1123542-1 is not prime. Res64: 8487DACD3B1F020A Time : 0.0 sec. user=vaughan [2012-02-14 18:03:28] 537*2^1123560-1 is not prime. Res64: 9E4C6BC29C03AD2E Time : 0.0 sec. user=vaughan [2012-02-14 18:03:29] 557*2^1123560-1 is not prime. Res64: 39EE6B13618A495B Time : 0.0 sec. user=vaughan [2012-02-14 18:03:34] 547*2^1123561-1 is not prime. Res64: 92CE8B92F7F764AE Time : 0.0 sec. user=vaughan [2012-02-14 18:03:35] 503*2^1123562-1 is not prime. Res64: 19F51FC7BF40D342 Time : 0.0 sec. user=vaughan [2012-02-14 18:09:50] 591*2^1123575-1 is not prime. Res64: F7E7E363A32EAD0B Time : 0.0 sec. user=vaughan [2012-02-14 18:09:52] 413*2^1123576-1 is not prime. Res64: 13F9A5C9F2D08478 Time : 0.0 sec. user=vaughan [2012-02-14 18:11:50] 527*2^1123570-1 is not prime. Res64: 660B01C38D3F438D Time : 0.0 sec. user=vaughan [2012-02-14 18:11:54] 593*2^1123570-1 is not prime. Res64: 6825D2B1DD4B6ECD Time : 0.0 sec. user=vaughan [2012-02-14 18:12:22] 461*2^1123570-1 is not prime. Res64: 384CE6BEB052109C Time : 0.0 sec. user=vaughan [2012-02-14 18:12:23] 513*2^1123570-1 is not prime. Res64: 7E1E6CCDFAA47480 Time : 0.0 sec. user=vaughan [2012-02-14 18:14:36] 467*2^1123572-1 is not prime. Res64: DDA85F1FEFE5C747 Time : 0.0 sec. user=vaughan [2012-02-14 18:14:37] 563*2^1123572-1 is not prime. Res64: B25D44C4DB381408 Time : 0.0 sec. user=vaughan [2012-02-14 18:15:59] 469*2^1123581-1 is not prime. Res64: 4D5BD021B0EBDADD Time : 0.0 sec. user=vaughan [2012-02-14 18:16:00] 475*2^1123581-1 is not prime. Res64: 9030360AE30B34DE Time : 0.0 sec. user=vaughan [2012-02-14 18:16:11] 529*2^1123581-1 is not prime. Res64: 1DAD7A6AA536E08F Time : 0.0 sec. user=vaughan [2012-02-14 18:16:12] 531*2^1123581-1 is not prime. Res64: 12BA3C8EC692AE57 Time : 0.0 sec. user=vaughan [2012-02-14 18:16:21] 447*2^1123582-1 is not prime. Res64: 67AC30A1C41B43BA Time : 0.0 sec. user=vaughan [2012-02-14 18:16:21] 527*2^1123582-1 is not prime. Res64: 0722E87DAC97E22E Time : 0.0 sec. user=juhehe [2012-02-14 18:16:38] 461*2^1123574-1 is not prime. Res64: 280852CA5C50ADC2 Time : 0.0 sec. user=juhehe [2012-02-14 18:18:18] 545*2^1123574-1 is not prime. Res64: 9DC390DBF0CC933C Time : 0.0 sec. user=vaughan [2012-02-14 18:18:27] 539*2^1123552-1 is not prime. Res64: AF93B3041AE98647 Time : 0.0 sec. user=vaughan [2012-02-14 18:18:28] 439*2^1123553-1 is not prime. Res64: ADE69530991F783D Time : 0.0 sec. user=vaughan [2012-02-14 18:18:28] 495*2^1123553-1 is not prime. Res64: 63A9514B2ECE1060 Time : 0.0 sec. user=vaughan [2012-02-14 18:19:56] 447*2^1123576-1 is not prime. Res64: 852DE3DACF427303 Time : 0.0 sec. user=vaughan [2012-02-14 18:19:56] 455*2^1123576-1 is not prime. Res64: 91FC4B8CEF75B6BE Time : 0.0 sec. user=vaughan [2012-02-14 18:20:07] 421*2^1123577-1 is not prime. Res64: 0D9A0304784CD8D6 Time : 0.0 sec. user=vaughan [2012-02-14 18:20:08] 435*2^1123577-1 is not prime. Res64: 5511D67DA3C416D5 Time : 0.0 sec. user=vaughan [2012-02-14 18:21:21] 477*2^1123580-1 is not prime. Res64: B8746B077C9CDB41 Time : 0.0 sec. user=vaughan [2012-02-14 18:21:22] 483*2^1123580-1 is not prime. Res64: 370DF28AE4D69607 Time : 0.0 sec. user=vaughan [2012-02-14 18:21:57] 511*2^1123585-1 is not prime. Res64: BCE98545537F326E Time : 0.0 sec. user=vaughan [2012-02-14 18:21:58] 535*2^1123585-1 is not prime. Res64: 13F37817AA2939DE Time : 0.0 sec. user=vaughan [2012-02-14 18:22:45] 585*2^1123586-1 is not prime. Res64: 14FDA1D06FE0173F Time : 0.0 sec. user=vaughan [2012-02-14 18:22:46] 529*2^1123587-1 is not prime. Res64: DBDE94A877D55B4E Time : 0.0 sec. user=vaughan [2012-02-14 18:23:37] 413*2^1123578-1 is not prime. Res64: 10A6AA5B8B7B7255 Time : 0.0 sec. user=vaughan [2012-02-14 18:23:37] 453*2^1123578-1 is not prime. Res64: 0A1F018EEC15140E Time : 0.0 sec. user=vaughan [2012-02-14 18:23:57] 511*2^1123579-1 is not prime. Res64: E343C09AAA462D5D Time : 0.0 sec. user=vaughan [2012-02-14 18:23:58] 467*2^1123580-1 is not prime. Res64: B8F2C39D2DE01593 Time : 0.0 sec. user=vaughan [2012-02-14 18:25:15] 503*2^1123580-1 is not prime. Res64: 1F218766E81BA134 Time : 0.0 sec. user=vaughan [2012-02-14 18:25:16] 439*2^1123581-1 is not prime. Res64: 1498BCAD3E9674B1 Time : 0.0 sec. user=vaughan [2012-02-14 18:28:45] 593*2^1123574-1 is not prime. Res64: 700A243D20E0E5AB Time : 0.0 sec. user=vaughan [2012-02-14 18:28:46] 451*2^1123575-1 is not prime. Res64: 9BA0EE56BEB64539 Time : 0.0 sec. user=vaughan [2012-02-14 18:29:40] 521*2^1123590-1 is not prime. Res64: 735F1C4E84CD5868 Time : 0.0 sec. user=vaughan [2012-02-14 18:29:40] 543*2^1123590-1 is not prime. Res64: 480949491854B365 Time : 0.0 sec. user=vaughan [2012-02-14 18:30:06] 511*2^1123575-1 is not prime. Res64: 6F1FF858B0039A58 Time : 0.0 sec. user=vaughan [2012-02-14 18:30:07] 583*2^1123575-1 is not prime. Res64: 31DF0E3B2118E5B1 Time : 0.0 sec. user=vaughan [2012-02-14 18:34:09] 435*2^1123583-1 is not prime. Res64: 62C0A79472E0F899 Time : 0.0 sec. user=vaughan [2012-02-14 18:34:10] 481*2^1123583-1 is not prime. Res64: E2FE87925F26EC48 Time : 0.0 sec. user=vaughan [2012-02-14 18:34:25] 511*2^1123583-1 is not prime. Res64: C19753648342714F Time : 0.0 sec. user=vaughan [2012-02-14 18:34:25] 519*2^1123583-1 is not prime. Res64: 8F04B5E50C629AB3 Time : 0.0 sec. user=vaughan [2012-02-14 18:34:38] 565*2^1123583-1 is not prime. Res64: F3F50E6A6F34F98E Time : 0.0 sec. user=vaughan [2012-02-14 18:34:38] 525*2^1123584-1 is not prime. Res64: 7943C2DE92E241B2 Time : 0.0 sec. user=vaughan [2012-02-14 18:34:45] 567*2^1123584-1 is not prime. Res64: 75FDBB6FEFE6EE3B Time : 0.0 sec. user=vaughan [2012-02-14 18:34:45] 465*2^1123585-1 is not prime. Res64: 0EAAEF142A164166 Time : 0.0 sec. user=vaughan [2012-02-14 18:36:14] 499*2^1123585-1 is not prime. Res64: B5C037179E8137E9 Time : 0.0 sec. user=vaughan [2012-02-14 18:36:14] 507*2^1123585-1 is not prime. Res64: 3A6DEEF92E4D013F Time : 0.0 sec. user=vaughan [2012-02-14 18:36:50] 507*2^1123596-1 is not prime. Res64: 5A499070B372603E Time : 0.0 sec. user=vaughan [2012-02-14 18:36:51] 525*2^1123598-1 is not prime. Res64: 11097CAB12F4412A Time : 0.0 sec. user=vaughan [2012-02-14 18:37:01] 545*2^1123598-1 is not prime. Res64: 9367E8955698B77E Time : 0.0 sec. user=vaughan [2012-02-14 18:37:01] 423*2^1123599-1 is not prime. Res64: C6F1CEB6BD3D3AA6 Time : 0.0 sec. user=vaughan [2012-02-14 18:37:12] 465*2^1123599-1 is not prime. Res64: F3EF7B79BA5DD5EB Time : 0.0 sec. user=vaughan [2012-02-14 18:37:13] 483*2^1123599-1 is not prime. Res64: 35C99EC06D631DA0 Time : 0.0 sec. user=vaughan [2012-02-14 18:41:41] 465*2^1123601-1 is not prime. Res64: 6EB3D41B0015FD85 Time : 0.0 sec. user=vaughan [2012-02-14 18:41:42] 489*2^1123601-1 is not prime. Res64: A30C7A7D8385AE30 Time : 0.0 sec. user=vaughan [2012-02-14 18:42:30] 537*2^1123601-1 is not prime. Res64: 025CF2FA3311683C Time : 0.0 sec. user=vaughan [2012-02-14 18:42:30] 549*2^1123601-1 is not prime. Res64: A323333E04039E48 Time : 0.0 sec. user=vaughan [2012-02-14 18:47:32] 413*2^1123588-1 is not prime. Res64: 72537B7A8EB15F52 Time : 0.0 sec. user=vaughan [2012-02-14 18:47:32] 429*2^1123588-1 is not prime. Res64: 2F7A28F4284401DB Time : 0.0 sec. user=vaughan [2012-02-14 18:47:37] 465*2^1123600-1 is not prime. Res64: 61AFB923C56C57DD Time : 0.0 sec. user=vaughan [2012-02-14 18:47:38] 489*2^1123600-1 is not prime. Res64: 8CBC8BAAD14E4649 Time : 0.0 sec. user=vaughan [2012-02-14 18:47:43] 539*2^1123600-1 is not prime. Res64: 316C645437B5EB9C Time : 0.0 sec. user=vaughan [2012-02-14 18:47:44] 411*2^1123601-1 is not prime. Res64: 1E4304BDE88EC7FB Time : 0.0 sec. user=vaughan [2012-02-14 18:47:50] 537*2^1123589-1 is not prime. Res64: 7307233C400BA68E Time : 0.0 sec. user=vaughan [2012-02-14 18:47:51] 413*2^1123590-1 is not prime. Res64: A73C0F4D1993F74C Time : 0.0 sec. user=juhehe [2012-02-14 18:47:57] 511*2^1123599-1 is not prime. Res64: 5B4DF81A66EDEE1A Time : 0.0 sec. user=vaughan [2012-02-14 18:47:58] 447*2^1123590-1 is not prime. Res64: 89F33E9C7138AAED Time : 0.0 sec. user=vaughan [2012-02-14 18:47:59] 473*2^1123590-1 is not prime. Res64: B74A6620F517DBD5 Time : 0.0 sec. user=vaughan [2012-02-14 18:49:06] 441*2^1123601-1 is not prime. Res64: E1192F0C19D8483C Time : 0.0 sec. user=vaughan [2012-02-14 18:49:07] 445*2^1123601-1 is not prime. Res64: 2D5DEE697D9FF2F4 Time : 0.0 sec. user=vaughan [2012-02-14 18:49:24] 441*2^1123605-1 is not prime. Res64: 3F6A207AC83A7992 Time : 0.0 sec. user=vaughan [2012-02-14 18:49:24] 537*2^1123605-1 is not prime. Res64: 3A343762CBC35662 Time : 0.0 sec. user=juhehe [2012-02-14 18:49:31] 553*2^1123599-1 is not prime. Res64: 5DBE88D3E2CDAB88 Time : 0.0 sec. user=vaughan [2012-02-14 18:53:05] 411*2^1123595-1 is not prime. Res64: 09C5F1B6F70466D8 Time : 0.0 sec. user=vaughan [2012-02-14 18:53:06] 413*2^1123596-1 is not prime. Res64: 50E9185AE96C3C94 Time : 0.0 sec. user=vaughan [2012-02-14 18:53:13] 475*2^1123591-1 is not prime. Res64: 1118D4A23B3B2EE7 Time : 0.0 sec. user=vaughan [2012-02-14 18:53:14] 535*2^1123591-1 is not prime. Res64: 2328DE622B550A25 Time : 0.0 sec. user=vaughan [2012-02-14 18:53:47] 561*2^1123591-1 is not prime. Res64: 70C85FE421C80C9B Time : 0.0 sec. user=vaughan [2012-02-14 18:53:47] 427*2^1123593-1 is not prime. Res64: B3D3AE0FB6CDF7C3 Time : 0.0 sec. user=vaughan [2012-02-14 18:54:34] 417*2^1123602-1 is not prime. Res64: D1D2D5249EEEB854 Time : 0.0 sec. user=vaughan [2012-02-14 18:54:35] 423*2^1123602-1 is not prime. Res64: 29529B828E76D2A3 Time : 0.0 sec. user=vaughan [2012-02-14 18:54:55] 495*2^1123602-1 is not prime. Res64: 357A0B9D5F498E77 Time : 0.0 sec. user=vaughan [2012-02-14 18:54:55] 525*2^1123602-1 is not prime. Res64: 44C04BCB0A9F03EF Time : 0.0 sec. user=vaughan [2012-02-14 18:56:12] 493*2^1123603-1 is not prime. Res64: 097790C50E1CB230 Time : 0.0 sec. user=vaughan [2012-02-14 18:56:12] 573*2^1123603-1 is not prime. Res64: DA84F40795A0F8A0 Time : 0.0 sec. user=vaughan [2012-02-14 18:57:56] 423*2^1123610-1 is not prime. Res64: ECCAF4A41068A59F Time : 0.0 sec. user=vaughan [2012-02-14 18:57:57] 501*2^1123610-1 is not prime. Res64: E87485A48EEFCDC8 Time : 0.0 sec. user=vaughan [2012-02-14 18:58:02] 531*2^1123610-1 is not prime. Res64: 5B8BE01C0807008D Time : 0.0 sec. user=vaughan [2012-02-14 18:58:03] 533*2^1123610-1 is not prime. Res64: C42EFA229E8426ED Time : 0.0 sec. user=vaughan [2012-02-14 18:58:18] 545*2^1123610-1 is not prime. Res64: 2BB34D0E5E36B4A1 Time : 0.0 sec. user=vaughan [2012-02-14 18:58:18] 415*2^1123611-1 is not prime. Res64: A061DA9E3B774E14 Time : 0.0 sec. user=vaughan [2012-02-14 19:01:30] 555*2^1123611-1 is not prime. Res64: E76ACCEF15497ED6 Time : 0.0 sec. user=vaughan [2012-02-14 19:01:31] 595*2^1123611-1 is not prime. Res64: 9A933A73BC97E33A Time : 0.0 sec. user=vaughan [2012-02-14 19:02:15] 483*2^1123612-1 is not prime. Res64: 404B3D3CF6350F86 Time : 0.0 sec. user=vaughan [2012-02-14 19:02:15] 495*2^1123612-1 is not prime. Res64: ADF6FFD45A2E6D54 Time : 0.0 sec. user=vaughan [2012-02-14 19:09:09] 501*2^1123617-1 is not prime. Res64: E0B141385965FC60 Time : 0.0 sec. user=vaughan [2012-02-14 19:09:10] 447*2^1123618-1 is not prime. Res64: F9B1F6C8989A3EAA Time : 0.0 sec. user=vaughan [2012-02-14 19:21:18] 563*2^1123622-1 is not prime. Res64: ADF07DD50234E36F Time : 0.0 sec. user=vaughan [2012-02-14 19:21:19] 433*2^1123623-1 is not prime. Res64: 091504B8F8A74B0E Time : 0.0 sec. user=vaughan [2012-02-14 19:22:03] 451*2^1123623-1 is not prime. Res64: C13CA41826501F28 Time : 0.0 sec. user=vaughan [2012-02-14 19:22:03] 555*2^1123623-1 is not prime. Res64: 14F0BCFBFBDDD82C Time : 0.0 sec. user=vaughan [2012-02-14 19:28:58] 591*2^1123623-1 is not prime. Res64: 80B5596A0EDABA80 Time : 0.0 sec. user=vaughan [2012-02-14 19:28:59] 595*2^1123623-1 is not prime. Res64: D9BDED5947BB426A Time : 0.0 sec. user=juhehe [2012-02-14 19:36:12] 465*2^1123614-1 is not prime. Res64: 6412D3AFFF5B3768 Time : 0.0 sec. user=juhehe [2012-02-14 19:36:44] 461*2^1123618-1 is not prime. Res64: 47A0A6D811B2AD9A Time : 0.0 sec. user=vaughan [2012-02-14 19:41:04] 423*2^1123624-1 is not prime. Res64: AE35727EF3E667AD Time : 0.0 sec. user=vaughan [2012-02-14 19:41:05] 519*2^1123624-1 is not prime. Res64: 88DB258507A3A4D7 Time : 0.0 sec. user=vaughan [2012-02-14 19:41:48] 527*2^1123624-1 is not prime. Res64: 1215C1EFC3A2D9E6 Time : 0.0 sec. user=vaughan [2012-02-14 19:41:48] 569*2^1123624-1 is not prime. Res64: D0DCEBF1DD0BD401 Time : 0.0 sec. user=vaughan [2012-02-14 19:48:42] 465*2^1123625-1 is not prime. Res64: 3EB7DE0F3CDD52A3 Time : 0.0 sec. user=vaughan [2012-02-14 19:48:42] 511*2^1123625-1 is not prime. Res64: A8B9BBA4173B562B Time : 0.0 sec. user=vaughan [2012-02-14 20:00:50] 461*2^1123626-1 is not prime. Res64: 11309516778BF2E0 Time : 0.0 sec. user=vaughan [2012-02-14 20:00:51] 587*2^1123626-1 is not prime. Res64: 22E152A21292EDE2 Time : 0.0 sec. user=vaughan [2012-02-14 20:01:34] 593*2^1123626-1 is not prime. Res64: 7C61A3E9A172B474 Time : 0.0 sec. user=vaughan [2012-02-14 20:01:41] 429*2^1123627-1 is not prime. Res64: 760B810EBE7B4D7A Time : 0.0 sec. user=juhehe [2012-02-14 20:07:27] 529*2^1123625-1 is not prime. Res64: F7C5B507DBF9474E Time : 0.0 sec. user=juhehe [2012-02-14 20:07:59] 413*2^1123626-1 is not prime. Res64: 64585CBC5DE60962 Time : 0.0 sec. user=vaughan [2012-02-14 20:08:11] 519*2^1123612-1 is not prime. Res64: F547A7D0C048DFD4 Time : 0.0 sec. user=vaughan [2012-02-14 20:08:13] 533*2^1123612-1 is not prime. Res64: AE6703A54219EF18 Time : 0.0 sec. user=vaughan [2012-02-14 20:08:14] 447*2^1123621-1 is not prime. Res64: 04DA71129E7593BA Time : 0.0 sec. user=vaughan [2012-02-14 20:08:16] 579*2^1123605-1 is not prime. Res64: 04C38F5A7D4ACF24 Time : 0.0 sec. user=vaughan [2012-02-14 20:08:18] 465*2^1123621-1 is not prime. Res64: E8971021418EFB3B Time : 0.0 sec. user=vaughan [2012-02-14 20:08:20] 535*2^1123615-1 is not prime. Res64: 4DCDEF12319CF6EA Time : 0.0 sec. user=vaughan [2012-02-14 20:08:20] 595*2^1123605-1 is not prime. Res64: 1DBA7DB37F6B8055 Time : 0.0 sec. user=vaughan [2012-02-14 20:08:21] 507*2^1123616-1 is not prime. Res64: C661BDB0612ED9CD Time : 0.0 sec. user=vaughan [2012-02-14 20:08:25] 423*2^1123614-1 is not prime. Res64: 94F98C316127E059 Time : 0.0 sec. user=vaughan [2012-02-14 20:08:26] 483*2^1123618-1 is not prime. Res64: 8B0DA01B23BB09BC Time : 0.0 sec. user=vaughan [2012-02-14 20:08:26] 425*2^1123614-1 is not prime. Res64: 2124782A98E43360 Time : 0.0 sec. user=vaughan [2012-02-14 20:08:32] 433*2^1123619-1 is not prime. Res64: 46AE70C55895D8E9 Time : 0.0 sec. user=vaughan [2012-02-14 20:08:32] 489*2^1123627-1 is not prime. Res64: 8E067B153DE1B7C5 Time : 0.0 sec. user=vaughan [2012-02-14 20:08:34] 463*2^1123615-1 is not prime. Res64: 72CC530469C70DCC Time : 0.0 sec. user=vaughan [2012-02-14 20:08:35] 525*2^1123622-1 is not prime. Res64: D2A9122F96AC4325 Time : 0.0 sec. user=vaughan [2012-02-14 20:08:35] 489*2^1123615-1 is not prime. Res64: 7B14FD5066CE1C50 Time : 0.0 sec. user=vaughan [2012-02-14 20:08:35] 589*2^1123627-1 is not prime. Res64: ADB438B32AA18861 Time : 0.0 sec. user=vaughan [2012-02-14 20:08:36] 551*2^1123622-1 is not prime. Res64: 04F109EE3C9B80E9 Time : 0.0 sec. user=vaughan [2012-02-14 20:08:40] 567*2^1123620-1 is not prime. Res64: 68387F17F769E0EC Time : 0.0 sec. user=vaughan [2012-02-14 20:08:42] 597*2^1123620-1 is not prime. Res64: FD6DB2441B15F97D Time : 0.0 sec. user=vaughan [2012-02-14 20:08:44] 415*2^1123609-1 is not prime. Res64: 89E689923DE7943F Time : 0.0 sec. user=vaughan [2012-02-14 20:08:45] 561*2^1123609-1 is not prime. Res64: 82331919B96A6EFC Time : 0.0 sec. user=vaughan [2012-02-14 20:08:58] 405*2^1123621-1 is not prime. Res64: FF7F9485856E77F8 Time : 0.0 sec. user=vaughan [2012-02-14 20:08:59] 421*2^1123621-1 is not prime. Res64: 980A4B993EC7D6C8 Time : 0.0 sec. user=vaughan [2012-02-14 20:09:18] 437*2^1123586-1 is not prime. Res64: 8AE7B930BB6BA954 Time : 0.0 sec. user=vaughan [2012-02-14 20:09:20] 477*2^1123586-1 is not prime. Res64: 38EE03308EBEF747 Time : 0.0 sec. user=vaughan [2012-02-14 20:09:22] 501*2^1123586-1 is not prime. Res64: 93FE08094D86AEB9 Time : 0.0 sec. user=vaughan [2012-02-14 20:09:25] 501*2^1123619-1 is not prime. Res64: EDC9DF324867533D Time : 0.0 sec. user=vaughan [2012-02-14 20:09:27] 543*2^1123619-1 is not prime. Res64: 58C6AEE82D0D7B09 Time : 0.0 sec. user=vaughan [2012-02-14 20:09:37] 525*2^1123613-1 is not prime. Res64: 3DCA034E9AB20154 Time : 0.0 sec. user=vaughan [2012-02-14 20:09:39] 559*2^1123613-1 is not prime. Res64: 4099BE95A673E264 Time : 0.0 sec. user=vaughan [2012-02-14 20:09:42] 559*2^1123599-1 is not prime. Res64: EB322C1C2C5C9452 Time : 0.0 sec. user=vaughan [2012-02-14 20:09:43] 571*2^1123599-1 is not prime. Res64: 87BC4426BA472726 Time : 0.0 sec. user=vaughan [2012-02-14 20:09:44] 407*2^1123600-1 is not prime. Res64: 8CEB888B27E71946 Time : 0.0 sec. user=vaughan [2012-02-14 20:09:44] 567*2^1123613-1 is not prime. Res64: F2215C11CE48D0D4 Time : 0.0 sec. user=vaughan [2012-02-14 20:09:45] 411*2^1123614-1 is not prime. Res64: 2A985A192F0D7F37 Time : 0.0 sec. user=vaughan [2012-02-14 20:09:50] 597*2^1123605-1 is not prime. Res64: 6E28ADB91FC510F5 Time : 0.0 sec. user=vaughan [2012-02-14 20:09:52] 443*2^1123606-1 is not prime. Res64: 8774CDDC6E4F5264 Time : 0.0 sec. user=vaughan [2012-02-14 20:09:57] 539*2^1123588-1 is not prime. Res64: 31C535EE0ADDEA76 Time : 0.0 sec. user=vaughan [2012-02-14 20:10:04] 569*2^1123588-1 is not prime. Res64: E15DE42A80C88A96 Time : 0.0 sec. user=vaughan [2012-02-14 20:10:05] 575*2^1123606-1 is not prime. Res64: DEDB0298C2D67FF8 Time : 0.0 sec. user=vaughan [2012-02-14 20:10:06] 477*2^1123589-1 is not prime. Res64: AC77291AF278E129 Time : 0.0 sec. user=vaughan [2012-02-14 20:10:07] 591*2^1123606-1 is not prime. Res64: 2712B577166A8B24 Time : 0.0 sec. user=vaughan [2012-02-14 20:10:18] 421*2^1123607-1 is not prime. Res64: 68699A6816CA86F4 Time : 0.0 sec. user=vaughan [2012-02-14 20:10:19] 441*2^1123607-1 is not prime. Res64: 7DD0D92F3425A237 Time : 0.0 sec. user=vaughan [2012-02-14 20:10:21] 477*2^1123621-1 is not prime. Res64: 2566EE04C212D75E Time : 0.0 sec. user=vaughan [2012-02-14 20:10:23] 407*2^1123622-1 is not prime. Res64: 4962CC1A2372F2DB Time : 0.0 sec. user=vaughan [2012-02-14 20:10:25] 595*2^1123603-1 is not prime. Res64: 1B87FB3A5374102E Time : 0.0 sec. user=vaughan [2012-02-14 20:10:29] 477*2^1123604-1 is not prime. Res64: C3EAD77294458091 Time : 0.0 sec. user=vaughan [2012-02-14 20:10:29] 531*2^1123607-1 is not prime. Res64: 0782B1102972AE3F Time : 0.0 sec. user=vaughan [2012-02-14 20:10:29] 417*2^1123622-1 is not prime. Res64: 521804E1BB1604B0 Time : 0.0 sec. user=vaughan [2012-02-14 20:10:30] 515*2^1123608-1 is not prime. Res64: 765B4DFF513D3D17 Time : 0.0 sec. user=vaughan [2012-02-14 20:10:31] 503*2^1123622-1 is not prime. Res64: 71036334989141CF Time : 0.0 sec. user=vaughan [2012-02-14 20:20:42] 435*2^1123628-1 is not prime. Res64: 221DF665B1F6EF12 Time : 0.0 sec. user=vaughan [2012-02-14 20:20:42] 557*2^1123628-1 is not prime. Res64: 60CCF52C4AFDC6DE Time : 0.0 sec. user=vaughan [2012-02-14 20:21:45] 427*2^1123629-1 is not prime. Res64: B1076E5F88C651D0 Time : 0.0 sec. user=vaughan [2012-02-14 20:21:46] 459*2^1123629-1 is not prime. Res64: 7867B7B0ADE39341 Time : 0.0 sec. user=vaughan [2012-02-14 20:28:25] 497*2^1123636-1 is not prime. Res64: E75298A3CB3F8CEF Time : 0.0 sec. user=vaughan [2012-02-14 20:28:26] 545*2^1123636-1 is not prime. Res64: A76F9F3C83F0D0F9 Time : 0.0 sec. user=vaughan [2012-02-14 20:29:44] 537*2^1123637-1 is not prime. Res64: DA1EB55B93BC537D Time : 0.0 sec. user=vaughan [2012-02-14 20:29:45] 589*2^1123637-1 is not prime. Res64: 26EA18C1AC911EA1 Time : 0.0 sec. user=vaughan [2012-02-14 20:31:27] 419*2^1123648-1 is not prime. Res64: 860FDD55F1054316 Time : 0.0 sec. user=vaughan [2012-02-14 20:31:28] 453*2^1123648-1 is not prime. Res64: 97444D419E96DE09 Time : 0.0 sec. user=vaughan [2012-02-14 20:31:33] 401*2^1123650-1 is not prime. Res64: 145087D0AFD48CFF Time : 0.0 sec. user=vaughan [2012-02-14 20:31:35] 437*2^1123650-1 is not prime. Res64: 66F4A712BCBFF33A Time : 0.0 sec. user=vaughan [2012-02-14 20:36:18] 517*2^1123633-1 is not prime. Res64: 997F4646E5855EF1 Time : 0.0 sec. user=vaughan [2012-02-14 20:36:19] 591*2^1123633-1 is not prime. Res64: DD4A84CF87A2DC4A Time : 0.0 sec. user=vaughan [2012-02-14 20:37:31] 587*2^1123644-1 is not prime. Res64: 837798900B467C6A Time : 0.0 sec. user=vaughan [2012-02-14 20:37:31] 439*2^1123643-1 is not prime. Res64: 417187CC30640ED4 Time : 0.0 sec. user=vaughan [2012-02-14 20:37:32] 519*2^1123645-1 is not prime. Res64: 27877A4F8208911C Time : 0.0 sec. user=vaughan [2012-02-14 20:37:32] 465*2^1123643-1 is not prime. Res64: 012A4B923C8F4EA1 Time : 0.0 sec. user=juhehe [2012-02-14 20:38:42] 555*2^1123629-1 is not prime. Res64: 7543D752CCCA61D0 Time : 0.0 sec. user=juhehe [2012-02-14 20:39:15] 461*2^1123630-1 is not prime. Res64: 80C839799BC59365 Time : 0.0 sec. user=vaughan [2012-02-14 20:39:28] 439*2^1123633-1 is not prime. Res64: 4C9560D0E212679E Time : 0.0 sec. user=vaughan [2012-02-14 20:39:29] 499*2^1123633-1 is not prime. Res64: BF359AC6A297CE7B Time : 0.0 sec. user=vaughan [2012-02-14 20:39:41] 469*2^1123637-1 is not prime. Res64: 94C9AEC94437EA23 Time : 0.0 sec. user=vaughan [2012-02-14 20:39:42] 489*2^1123637-1 is not prime. Res64: 6FAF01017C1BCAAB Time : 0.0 sec. user=vaughan [2012-02-14 20:40:03] 525*2^1123638-1 is not prime. Res64: DA160B444CC99683 Time : 0.0 sec. user=vaughan [2012-02-14 20:40:04] 439*2^1123639-1 is not prime. Res64: ACB1981B57019005 Time : 0.0 sec. user=vaughan [2012-02-14 20:40:31] 525*2^1123650-1 is not prime. Res64: 0338B5D50984D483 Time : 0.0 sec. user=vaughan [2012-02-14 20:40:33] 563*2^1123650-1 is not prime. Res64: C8766E87E58B55EE Time : 0.0 sec. user=vaughan [2012-02-14 20:41:33] 489*2^1123651-1 is not prime. Res64: B6B7425CE087DBEA Time : 0.0 sec. user=vaughan [2012-02-14 20:41:34] 505*2^1123651-1 is not prime. Res64: 8DC7117C00A0DC5D Time : 0.0 sec. user=vaughan [2012-02-14 20:44:29] 535*2^1123635-1 is not prime. Res64: EEA273E798D14A8A Time : 0.0 sec. user=vaughan [2012-02-14 20:44:30] 437*2^1123636-1 is not prime. Res64: 49004CB46EA0DDD6 Time : 0.0 sec. user=vaughan [2012-02-14 20:44:33] 413*2^1123638-1 is not prime. Res64: 99D900AB299B4192 Time : 0.0 sec. user=vaughan [2012-02-14 20:44:34] 443*2^1123638-1 is not prime. Res64: 1AF89BE099BD66D3 Time : 0.0 sec. user=vaughan [2012-02-14 20:45:58] 537*2^1123645-1 is not prime. Res64: F3F136214BE2BB94 Time : 0.0 sec. user=vaughan [2012-02-14 20:45:59] 541*2^1123645-1 is not prime. Res64: 717E9E86F781286E Time : 0.0 sec. user=vaughan [2012-02-14 20:46:04] 477*2^1123646-1 is not prime. Res64: 28ED7711D02BFA08 Time : 0.0 sec. user=vaughan [2012-02-14 20:46:05] 483*2^1123646-1 is not prime. Res64: 49E23DC5128B20C2 Time : 0.0 sec. user=vaughan [2012-02-14 20:46:23] 405*2^1123647-1 is not prime. Res64: D9BB8AE560CD4189 Time : 0.0 sec. user=vaughan [2012-02-14 20:46:24] 553*2^1123647-1 is not prime. Res64: FB56E8B35588C3DD Time : 0.0 sec. user=vaughan [2012-02-14 20:46:26] 525*2^1123649-1 is not prime. Res64: 464F2EC5DCE94000 Time : 0.0 sec. user=vaughan [2012-02-14 20:46:27] 571*2^1123649-1 is not prime. Res64: 7BC46362E95386EC Time : 0.0 sec. user=vaughan [2012-02-14 20:48:17] 519*2^1123651-1 is not prime. Res64: 246EB7ED19138211 Time : 0.0 sec. user=vaughan [2012-02-14 20:48:18] 425*2^1123652-1 is not prime. Res64: 4BC41785CFB7F52E Time : 0.0 sec. user=vaughan [2012-02-14 20:48:20] 485*2^1123632-1 is not prime. Res64: 7830792F521DBF1B Time : 0.0 sec. user=vaughan [2012-02-14 20:48:21] 427*2^1123633-1 is not prime. Res64: 81DE121D5825E74C Time : 0.0 sec. user=vaughan [2012-02-14 20:49:27] 567*2^1123642-1 is not prime. Res64: F426C18BD67F8AFC Time : 0.0 sec. user=vaughan [2012-02-14 20:49:28] 581*2^1123642-1 is not prime. Res64: A23F5FC67A3CE053 Time : 0.0 sec. user=vaughan [2012-02-14 20:50:31] 509*2^1123648-1 is not prime. Res64: 77E3866D51634C48 Time : 0.0 sec. user=vaughan [2012-02-14 20:50:31] 411*2^1123649-1 is not prime. Res64: A77C9401640AA82D Time : 0.0 sec. user=vaughan [2012-02-14 20:50:45] 525*2^1123652-1 is not prime. Res64: FB59882851C7B1D5 Time : 0.0 sec. user=vaughan [2012-02-14 20:50:46] 573*2^1123652-1 is not prime. Res64: F736775BB0B2C116 Time : 0.0 sec. user=vaughan [2012-02-14 20:52:25] 499*2^1123653-1 is not prime. Res64: 2FD8FE86F21E661B Time : 0.0 sec. user=vaughan [2012-02-14 20:52:26] 517*2^1123653-1 is not prime. Res64: 8001EBD289C5500A Time : 0.0 sec. user=vaughan [2012-02-14 20:52:35] 565*2^1123653-1 is not prime. Res64: E378D776D8C7B86B Time : 0.0 sec. user=vaughan [2012-02-14 20:52:35] 595*2^1123653-1 is not prime. Res64: 222696B6347F475B Time : 0.0 sec. user=vaughan [2012-02-14 20:52:37] 587*2^1123630-1 is not prime. Res64: 8B99F96C2B8E5E1C Time : 0.0 sec. user=vaughan [2012-02-14 20:52:37] 525*2^1123631-1 is not prime. Res64: 5923A0657D10DE83 Time : 0.0 sec. user=vaughan [2012-02-14 20:52:51] 483*2^1123634-1 is not prime. Res64: C1095690334BB5B7 Time : 0.0 sec. user=vaughan [2012-02-14 20:52:52] 415*2^1123635-1 is not prime. Res64: 8373F8C5BFE2C081 Time : 0.0 sec. user=vaughan [2012-02-14 20:52:59] 417*2^1123637-1 is not prime. Res64: 77C8BA184579608E Time : 0.0 sec. user=vaughan [2012-02-14 20:52:59] 447*2^1123637-1 is not prime. Res64: CD29D206572085A8 Time : 0.0 sec. user=vaughan [2012-02-14 21:00:22] 489*2^1123659-1 is not prime. Res64: 33343BD506BDB974 Time : 0.0 sec. user=vaughan [2012-02-14 21:00:27] 511*2^1123659-1 is not prime. Res64: EEB121F1DAAD3006 Time : 0.0 sec. user=vaughan [2012-02-14 21:01:22] 513*2^1123659-1 is not prime. Res64: EA5768D0CE45D926 Time : 0.0 sec. user=vaughan [2012-02-14 21:01:23] 553*2^1123659-1 is not prime. Res64: 535D9C6BE7F9C362 Time : 0.0 sec. user=vaughan [2012-02-14 21:04:08] 461*2^1123654-1 is not prime. Res64: DD413AA9371769DC Time : 0.0 sec. user=vaughan [2012-02-14 21:04:10] 477*2^1123654-1 is not prime. Res64: E4AA90663C6C105E Time : 0.0 sec. user=vaughan [2012-02-14 21:05:08] 453*2^1123656-1 is not prime. Res64: DE41D0DA5EF516BD Time : 0.0 sec. user=vaughan [2012-02-14 21:05:09] 509*2^1123656-1 is not prime. Res64: BF07CB353BCAF4C3 Time : 0.0 sec. user=vaughan [2012-02-14 21:05:11] 525*2^1123654-1 is not prime. Res64: A33D1CE2C194F611 Time : 0.0 sec. user=vaughan [2012-02-14 21:05:12] 411*2^1123655-1 is not prime. Res64: 572BB2600DF5536D Time : 0.0 sec. user=vaughan [2012-02-14 21:08:06] 459*2^1123665-1 is not prime. Res64: 87C4B0122C3558CC Time : 0.0 sec. user=vaughan [2012-02-14 21:08:07] 495*2^1123665-1 is not prime. Res64: EE0AB4D3443764F3 Time : 0.0 sec. user=juhehe [2012-02-14 21:10:05] 427*2^1123657-1 is not prime. Res64: 894DACBB44BFD4F6 Time : 0.0 sec. user=vaughan [2012-02-14 21:10:20] 549*2^1123657-1 is not prime. Res64: E1036A4BEEA67379 Time : 0.0 sec. user=vaughan [2012-02-14 21:10:21] 567*2^1123657-1 is not prime. Res64: DF7360B0259174A8 Time : 0.0 sec. user=juhehe [2012-02-14 21:10:32] 469*2^1123657-1 is not prime. Res64: 6BE6F5E21CC296E1 Time : 0.0 sec. user=vaughan [2012-02-14 21:10:36] 417*2^1123658-1 is not prime. Res64: DFF0A5F691140F54 Time : 0.0 sec. user=vaughan [2012-02-14 21:10:41] 425*2^1123658-1 is not prime. Res64: 7CED0928B63EFA89 Time : 0.0 sec. user=vaughan [2012-02-14 21:10:59] 507*2^1123658-1 is not prime. Res64: 6409330D7902A336 Time : 0.0 sec. user=vaughan [2012-02-14 21:11:01] 471*2^1123659-1 is not prime. Res64: B8693F47224AC91E Time : 0.0 sec. user=vaughan [2012-02-14 21:11:34] 557*2^1123668-1 is not prime. Res64: BE024901FBDB3CDB Time : 0.0 sec. user=vaughan [2012-02-14 21:11:35] 567*2^1123668-1 is not prime. Res64: 6C69DEDF1EE1B9F0 Time : 0.0 sec. user=vaughan [2012-02-14 21:13:16] 465*2^1123669-1 is not prime. Res64: DEEF5ED4563A4E86 Time : 0.0 sec. user=vaughan [2012-02-14 21:13:17] 507*2^1123669-1 is not prime. Res64: 4BE5FAEBF4EAD749 Time : 0.0 sec. user=vaughan [2012-02-14 21:13:28] 517*2^1123669-1 is not prime. Res64: 4300AAB029F798F7 Time : 0.0 sec. user=vaughan [2012-02-14 21:13:29] 577*2^1123669-1 is not prime. Res64: FEFD4C258DE5FDC7 Time : 0.0 sec. user=vaughan [2012-02-14 21:15:29] 455*2^1123640-1 is not prime. Res64: C62E73932DEF2673 Time : 0.0 sec. user=vaughan [2012-02-14 21:15:29] 555*2^1123641-1 is not prime. Res64: F19C48A141EBE381 Time : 0.0 sec. user=vaughan [2012-02-14 21:15:30] 483*2^1123642-1 is not prime. Res64: 22A64534E952C973 Time : 0.0 sec. user=vaughan [2012-02-14 21:15:46] 495*2^1123643-1 is not prime. Res64: 8CE50E16B954E290 Time : 0.0 sec. user=vaughan [2012-02-14 21:15:46] 459*2^1123644-1 is not prime. Res64: 8D68031B78C0BF73 Time : 0.0 sec. user=vaughan [2012-02-14 21:15:47] 557*2^1123644-1 is not prime. Res64: 9C7E72A75FE3A399 Time : 0.0 sec. user=vaughan [2012-02-14 21:16:11] 577*2^1123645-1 is not prime. Res64: 56E9BCACA592729A Time : 0.0 sec. user=vaughan [2012-02-14 21:16:12] 589*2^1123645-1 is not prime. Res64: 65015CE4196E77A7 Time : 0.0 sec. user=vaughan [2012-02-14 21:16:13] 425*2^1123646-1 is not prime. Res64: 572E129AEFD1173F Time : 0.0 sec. user=vaughan [2012-02-14 21:20:19] 423*2^1123672-1 is not prime. Res64: C37E45EC02428669 Time : 0.0 sec. user=vaughan [2012-02-14 21:20:19] 435*2^1123672-1 is not prime. Res64: 14E216E3E4A58AEC Time : 0.0 sec. user=vaughan [2012-02-14 21:21:03] 513*2^1123660-1 is not prime. Res64: 7B378E166B792625 Time : 0.0 sec. user=vaughan [2012-02-14 21:21:04] 519*2^1123660-1 is not prime. Res64: 7D8DC9EC2CC8898A Time : 0.0 sec. user=vaughan [2012-02-14 21:21:04] 583*2^1123659-1 is not prime. Res64: 3D69846DEF64A0B2 Time : 0.0 sec. user=vaughan [2012-02-14 21:21:05] 443*2^1123660-1 is not prime. Res64: 47353BC396687292 Time : 0.0 sec. user=vaughan [2012-02-14 21:21:11] 453*2^1123672-1 is not prime. Res64: CFD4D8795E2CA0FD Time : 0.0 sec. user=vaughan [2012-02-14 21:21:12] 483*2^1123672-1 is not prime. Res64: CA31F5C29B7F4703 Time : 0.0 sec. user=vaughan [2012-02-14 21:22:35] 421*2^1123661-1 is not prime. Res64: 2A53B8778881A4D9 Time : 0.0 sec. user=vaughan [2012-02-14 21:22:36] 475*2^1123661-1 is not prime. Res64: 28A4EBA5AECA0BA3 Time : 0.0 sec. user=vaughan [2012-02-14 21:22:38] 487*2^1123661-1 is not prime. Res64: C1696069791B94A2 Time : 0.0 sec. user=vaughan [2012-02-14 21:22:39] 507*2^1123662-1 is not prime. Res64: 51E94356849D543E Time : 0.0 sec. user=vaughan [2012-02-14 21:23:00] 581*2^1123662-1 is not prime. Res64: E8D50BB9FDEC2222 Time : 0.0 sec. user=vaughan [2012-02-14 21:23:01] 451*2^1123663-1 is not prime. Res64: 9D06C44420D49294 Time : 0.0 sec. user=vaughan [2012-02-14 21:23:07] 453*2^1123663-1 is not prime. Res64: EB9252952805171D Time : 0.0 sec. user=vaughan [2012-02-14 21:23:07] 465*2^1123663-1 is not prime. Res64: 064F9ECD33E65DD6 Time : 0.0 sec. user=vaughan [2012-02-14 21:27:53] 489*2^1123673-1 is not prime. Res64: 264D4E8608344B9C Time : 0.0 sec. user=vaughan [2012-02-14 21:27:53] 571*2^1123673-1 is not prime. Res64: C0BDF7B61D671DB6 Time : 0.0 sec. user=vaughan [2012-02-14 21:28:24] 443*2^1123666-1 is not prime. Res64: E638AB025FA972DE Time : 0.0 sec. user=vaughan [2012-02-14 21:28:24] 503*2^1123666-1 is not prime. Res64: 403D21FCFDD18DC7 Time : 0.0 sec. user=vaughan [2012-02-14 21:29:26] 567*2^1123666-1 is not prime. Res64: 92607156BD86602F Time : 0.0 sec. user=vaughan [2012-02-14 21:29:26] 433*2^1123667-1 is not prime. Res64: 47BA230D4C153E5E Time : 0.0 sec. user=vaughan [2012-02-14 21:30:32] 525*2^1123668-1 is not prime. Res64: 548EA4DAB4B51129 Time : 0.0 sec. user=vaughan [2012-02-14 21:30:33] 537*2^1123668-1 is not prime. Res64: 0D2F55AA74824F6B Time : 0.0 sec. user=vaughan [2012-02-14 21:32:18] 485*2^1123672-1 is not prime. Res64: 0C21EAFD0685D082 Time : 0.0 sec. user=vaughan [2012-02-14 21:32:19] 489*2^1123672-1 is not prime. Res64: C0B7F01AE62822B0 Time : 0.0 sec. user=vaughan [2012-02-14 21:32:27] 507*2^1123676-1 is not prime. Res64: 8ADA2BBCAEA589D3 Time : 0.0 sec. user=vaughan [2012-02-14 21:32:28] 557*2^1123676-1 is not prime. Res64: 932DFB952AF17B68 Time : 0.0 sec. user=vaughan [2012-02-14 21:33:17] 537*2^1123672-1 is not prime. Res64: E8166B2E7557B976 Time : 0.0 sec. user=vaughan [2012-02-14 21:33:18] 539*2^1123672-1 is not prime. Res64: 80FF884DE2D7AC09 Time : 0.0 sec. user=vaughan [2012-02-14 21:33:26] 441*2^1123673-1 is not prime. Res64: CFF22006122C299B Time : 0.0 sec. user=vaughan [2012-02-14 21:33:27] 477*2^1123673-1 is not prime. Res64: BB7452DA60F59751 Time : 0.0 sec. user=vaughan [2012-02-14 21:34:07] 443*2^1123678-1 is not prime. Res64: 1591F94EF15C053B Time : 0.0 sec. user=vaughan [2012-02-14 21:34:08] 595*2^1123679-1 is not prime. Res64: F4F0D0BC802CF500 Time : 0.0 sec. user=vaughan [2012-02-14 21:34:21] 423*2^1123680-1 is not prime. Res64: 45864EAF323E849A Time : 0.0 sec. user=vaughan [2012-02-14 21:34:22] 473*2^1123680-1 is not prime. Res64: 0C6C753FDEB5F99D Time : 0.0 sec. user=vaughan [2012-02-14 21:36:59] 437*2^1123670-1 is not prime. Res64: 5D96370D53D45401 Time : 0.0 sec. user=vaughan [2012-02-14 21:37:00] 501*2^1123670-1 is not prime. Res64: 4E8D11EED9C1BF7F Time : 0.0 sec. user=vaughan [2012-02-14 21:37:12] 567*2^1123670-1 is not prime. Res64: FD6297812CB1D22A Time : 0.0 sec. user=vaughan [2012-02-14 21:37:12] 423*2^1123671-1 is not prime. Res64: 620F86F5A55891CB Time : 0.0 sec. user=vaughan [2012-02-14 21:37:17] 441*2^1123671-1 is not prime. Res64: A9E21E56E1B1515A Time : 0.0 sec. user=vaughan [2012-02-14 21:37:18] 571*2^1123671-1 is not prime. Res64: D30E3A4E6215D930 Time : 0.0 sec. user=vaughan [2012-02-14 21:40:04] 455*2^1123684-1 is not prime. Res64: 2D9B79A33DD047C0 Time : 0.0 sec. user=vaughan [2012-02-14 21:40:05] 483*2^1123684-1 is not prime. Res64: A9E93F9B732F1BBF Time : 0.0 sec. user=vaughan [2012-02-14 21:40:55] 585*2^1123685-1 is not prime. Res64: 370246C2FD196ACF Time : 0.0 sec. user=vaughan [2012-02-14 21:40:55] 485*2^1123686-1 is not prime. Res64: 25AFE7D77A0CBB39 Time : 0.0 sec. user=vaughan [2012-02-14 21:41:14] 447*2^1123674-1 is not prime. Res64: 66CBF700D3FCA47F Time : 0.0 sec. user=vaughan [2012-02-14 21:41:14] 473*2^1123674-1 is not prime. Res64: 7B5746E852347D85 Time : 0.0 sec. user=juhehe [2012-02-14 21:41:27] 425*2^1123674-1 is not prime. Res64: 379C6362F4DFDC53 Time : 0.0 sec. user=vaughan [2012-02-14 21:41:32] 441*2^1123675-1 is not prime. Res64: 3BEF14D7A0CB8551 Time : 0.0 sec. user=vaughan [2012-02-14 21:41:32] 447*2^1123676-1 is not prime. Res64: 550A0D888E575533 Time : 0.0 sec. user=juhehe [2012-02-14 21:41:54] 593*2^1123674-1 is not prime. Res64: 71B2F6542B2E1361 Time : 0.0 sec. user=vaughan [2012-02-14 21:41:58] 483*2^1123676-1 is not prime. Res64: 512E89C5D9CCDA26 Time : 0.0 sec. user=vaughan [2012-02-14 21:41:58] 503*2^1123676-1 is not prime. Res64: 872E110E6215A551 Time : 0.0 sec. user=vaughan [2012-02-14 21:47:37] 411*2^1123690-1 is not prime. Res64: C6B432EC6D8F56A3 Time : 0.0 sec. user=vaughan [2012-02-14 21:47:38] 413*2^1123690-1 is not prime. Res64: 8921F8261081DF4C Time : 0.0 sec. user=vaughan [2012-02-14 21:53:20] 503*2^1123692-1 is not prime. Res64: 7E1BBEFD069FB3CA Time : 0.0 sec. user=vaughan [2012-02-14 21:53:21] 563*2^1123692-1 is not prime. Res64: 97A2D90EE46FF732 Time : 0.0 sec. user=vaughan [2012-02-14 21:54:55] 503*2^1123694-1 is not prime. Res64: EA7AB9006932F83D Time : 0.0 sec. user=vaughan [2012-02-14 21:54:56] 525*2^1123694-1 is not prime. Res64: 896264CF317521AE Time : 0.0 sec. user=vaughan [2012-02-14 21:55:15] 429*2^1123695-1 is not prime. Res64: EB27822460AB2DBA Time : 0.0 sec. user=vaughan [2012-02-14 21:55:16] 465*2^1123695-1 is not prime. Res64: D988469F1DBB69E3 Time : 0.0 sec. user=vaughan [2012-02-14 21:57:09] 485*2^1123684-1 is not prime. Res64: 8B07557374AE8808 Time : 0.0 sec. user=vaughan [2012-02-14 21:57:10] 469*2^1123685-1 is not prime. Res64: 915B7F244F4F6F29 Time : 0.0 sec. user=vaughan [2012-02-14 21:57:10] 507*2^1123684-1 is not prime. Res64: A5A0774D8BFF625D Time : 0.0 sec. user=vaughan [2012-02-14 21:57:10] 517*2^1123685-1 is not prime. Res64: 0BB9CCAF645B5B97 Time : 0.0 sec. user=vaughan [2012-02-14 21:58:39] 537*2^1123686-1 is not prime. Res64: 27C2F0AD050D48EA Time : 0.0 sec. user=vaughan [2012-02-14 21:58:39] 531*2^1123687-1 is not prime. Res64: 5A05CA9B59A0F536 Time : 0.0 sec. user=vaughan [2012-02-14 21:58:45] 549*2^1123687-1 is not prime. Res64: D652B1F771EAC3AB Time : 0.0 sec. user=vaughan [2012-02-14 21:58:45] 583*2^1123687-1 is not prime. Res64: 6BFE69DB0A317CC6 Time : 0.0 sec. user=vaughan [2012-02-14 21:59:02] 489*2^1123688-1 is not prime. Res64: 24DCFBBDE2670F80 Time : 0.0 sec. user=vaughan [2012-02-14 21:59:03] 533*2^1123688-1 is not prime. Res64: BE07340D5324C82D Time : 0.0 sec. user=vaughan [2012-02-14 21:59:11] 549*2^1123689-1 is not prime. Res64: 98F959EACA5559B9 Time : 0.0 sec. user=vaughan [2012-02-14 21:59:12] 565*2^1123689-1 is not prime. Res64: CFFC4A0AE70AA9F4 Time : 0.0 sec. user=vaughan [2012-02-14 21:59:50] 585*2^1123691-1 is not prime. Res64: 116D360DD9FB5965 Time : 0.0 sec. user=vaughan [2012-02-14 21:59:51] 447*2^1123692-1 is not prime. Res64: 20D4F71F1FD028B9 Time : 0.0 sec. user=vaughan [2012-02-14 21:59:55] 485*2^1123698-1 is not prime. Res64: 36C565690C00577B Time : 0.0 sec. user=vaughan [2012-02-14 21:59:56] 585*2^1123698-1 is not prime. Res64: 1413E5E515A76A16 Time : 0.0 sec. user=vaughan [2012-02-14 22:00:38] 569*2^1123692-1 is not prime. Res64: 36C82A7189835918 Time : 0.0 sec. user=vaughan [2012-02-14 22:00:39] 411*2^1123693-1 is not prime. Res64: 77C268E3C019FEC0 Time : 0.0 sec. user=vaughan [2012-02-14 22:00:45] 421*2^1123699-1 is not prime. Res64: A57A780D6E4E37D4 Time : 0.0 sec. user=vaughan [2012-02-14 22:00:47] 441*2^1123699-1 is not prime. Res64: F8CF8F7DA078638F Time : 0.0 sec. user=vaughan [2012-02-14 22:01:04] 451*2^1123693-1 is not prime. Res64: EA15FA3BC4BACB16 Time : 0.0 sec. user=vaughan [2012-02-14 22:01:07] 407*2^1123694-1 is not prime. Res64: 7CD05B65C98AD5DA Time : 0.0 sec. user=vaughan [2012-02-14 22:07:25] 451*2^1123701-1 is not prime. Res64: E0575B611A11D9F4 Time : 0.0 sec. user=vaughan [2012-02-14 22:07:25] 465*2^1123701-1 is not prime. Res64: 18B97F69E3008DDF Time : 0.0 sec. user=vaughan [2012-02-14 22:08:22] 467*2^1123690-1 is not prime. Res64: DCA9BD522BF1987F Time : 0.0 sec. user=vaughan [2012-02-14 22:08:23] 495*2^1123690-1 is not prime. Res64: 0DEB2B80E6C72A0E Time : 0.0 sec. user=vaughan [2012-02-14 22:09:24] 527*2^1123690-1 is not prime. Res64: 5EAA19C8FBDCE8CB Time : 0.0 sec. user=vaughan [2012-02-14 22:09:25] 575*2^1123690-1 is not prime. Res64: 930427CB85CDBC95 Time : 0.0 sec. user=vaughan [2012-02-14 22:10:30] 439*2^1123691-1 is not prime. Res64: 1D5118395D516423 Time : 0.0 sec. user=vaughan [2012-02-14 22:10:31] 475*2^1123691-1 is not prime. Res64: 92F38CEEFEAA4236 Time : 0.0 sec. user=vaughan [2012-02-14 22:12:10] 463*2^1123699-1 is not prime. Res64: 65064399C8710720 Time : 0.0 sec. user=vaughan [2012-02-14 22:12:11] 495*2^1123699-1 is not prime. Res64: E8D3967314E80450 Time : 0.0 sec. user=vaughan [2012-02-14 22:12:25] 417*2^1123700-1 is not prime. Res64: 0B2B248EA1598F5D Time : 0.0 sec. user=vaughan [2012-02-14 22:12:32] 519*2^1123700-1 is not prime. Res64: 9A667112A29EA8C4 Time : 0.0 sec. user=juhehe [2012-02-14 22:12:45] 523*2^1123699-1 is not prime. Res64: EFD7B724EECA4A66 Time : 0.0 sec. user=vaughan [2012-02-14 22:12:55] 579*2^1123700-1 is not prime. Res64: 56526803F8AE4B2D Time : 0.0 sec. user=vaughan [2012-02-14 22:12:56] 585*2^1123700-1 is not prime. Res64: A1C7B8ACB372BB75 Time : 0.0 sec. user=juhehe [2012-02-14 22:13:13] 563*2^1123700-1 is not prime. Res64: 6461AD716AA0B99B Time : 0.0 sec. user=vaughan [2012-02-14 22:14:13] 487*2^1123701-1 is not prime. Res64: D90010FF3DF8996C Time : 0.0 sec. user=vaughan [2012-02-14 22:14:14] 529*2^1123701-1 is not prime. Res64: F20AD003CDDEBE56 Time : 0.0 sec. user=vaughan [2012-02-14 22:15:46] 585*2^1123701-1 is not prime. Res64: 30C846DB41F78A79 Time : 0.0 sec. user=vaughan [2012-02-14 22:15:46] 433*2^1123703-1 is not prime. Res64: 574A1F5BADD82CCD Time : 0.0 sec. user=vaughan [2012-02-14 22:16:10] 453*2^1123703-1 is not prime. Res64: 84D80D377425E574 Time : 0.0 sec. user=vaughan [2012-02-14 22:16:10] 549*2^1123703-1 is not prime. Res64: 5C83AAE2536AFC1F Time : 0.0 sec. user=vaughan [2012-02-14 22:19:43] 523*2^1123707-1 is not prime. Res64: 01AD813C94CC16B3 Time : 0.0 sec. user=vaughan [2012-02-14 22:19:44] 553*2^1123707-1 is not prime. Res64: 4206920FB077C992 Time : 0.0 sec. user=vaughan [2012-02-14 22:20:40] 575*2^1123708-1 is not prime. Res64: C71E6FDBFAA78021 Time : 0.0 sec. user=vaughan [2012-02-14 22:20:41] 559*2^1123709-1 is not prime. Res64: EB44A5BCC5DD5FAD Time : 0.0 sec. user=vaughan [2012-02-14 22:21:21] 519*2^1123696-1 is not prime. Res64: 4D9CD84449A7ACD4 Time : 0.0 sec. user=vaughan [2012-02-14 22:21:21] 475*2^1123697-1 is not prime. Res64: 26027F39031DB383 Time : 0.0 sec. user=vaughan [2012-02-14 22:21:33] 525*2^1123680-1 is not prime. Res64: F3088DF9EB1FB394 Time : 0.0 sec. user=vaughan [2012-02-14 22:21:33] 549*2^1123680-1 is not prime. Res64: D6C8226E6E7B0A5C Time : 0.0 sec. user=vaughan [2012-02-14 22:21:33] 507*2^1123697-1 is not prime. Res64: 9437ABAB208323A7 Time : 0.0 sec. user=vaughan [2012-02-14 22:21:34] 511*2^1123697-1 is not prime. Res64: 5024345570C1C39C Time : 0.0 sec. user=vaughan [2012-02-14 22:21:34] 477*2^1123681-1 is not prime. Res64: 31CA001EB6C99824 Time : 0.0 sec. user=vaughan [2012-02-14 22:21:39] 571*2^1123697-1 is not prime. Res64: A7E916A8189D2574 Time : 0.0 sec. user=vaughan [2012-02-14 22:21:39] 461*2^1123698-1 is not prime. Res64: 8C06C17842FDEBA4 Time : 0.0 sec. user=vaughan [2012-02-14 22:21:49] 425*2^1123682-1 is not prime. Res64: AAD35263C7922930 Time : 0.0 sec. user=vaughan [2012-02-14 22:21:50] 501*2^1123682-1 is not prime. Res64: 9FBC8BF1F64A6524 Time : 0.0 sec. user=vaughan [2012-02-14 22:21:50] 585*2^1123682-1 is not prime. Res64: 4F89D4EB419CEBE5 Time : 0.0 sec. user=vaughan [2012-02-14 22:22:14] 451*2^1123683-1 is not prime. Res64: 9F12455A433C1960 Time : 0.0 sec. user=vaughan [2012-02-14 22:22:14] 523*2^1123683-1 is not prime. Res64: B532F91F6CD251AC Time : 0.0 sec. user=vaughan [2012-02-14 22:22:15] 543*2^1123683-1 is not prime. Res64: D35388EED7C3636A Time : 0.0 sec. user=vaughan [2012-02-14 22:27:13] 405*2^1123711-1 is not prime. Res64: 9D9F301F4C135341 Time : 0.0 sec. user=vaughan [2012-02-14 22:27:14] 411*2^1123711-1 is not prime. Res64: BC09424F83F09E0D Time : 0.0 sec. user=vaughan [2012-02-14 22:27:43] 497*2^1123706-1 is not prime. Res64: 62D5DC96594BC8F7 Time : 0.0 sec. user=vaughan [2012-02-14 22:27:44] 585*2^1123706-1 is not prime. Res64: 59E2F95695A35876 Time : 0.0 sec. user=vaughan [2012-02-14 22:28:28] 465*2^1123708-1 is not prime. Res64: E9E3DBF145ABB77F Time : 0.0 sec. user=vaughan [2012-02-14 22:28:28] 495*2^1123708-1 is not prime. Res64: 3BD4D599FB063BCE Time : 0.0 sec. user=vaughan [2012-02-14 22:28:47] 443*2^1123710-1 is not prime. Res64: 55F4C313933DBEDB Time : 0.0 sec. user=vaughan [2012-02-14 22:28:47] 537*2^1123710-1 is not prime. Res64: 5E4ACB900121EA68 Time : 0.0 sec. user=vaughan [2012-02-14 22:33:03] 425*2^1123704-1 is not prime. Res64: 0877362D1D81A257 Time : 0.0 sec. user=vaughan [2012-02-14 22:33:03] 573*2^1123703-1 is not prime. Res64: 824F5434C42143FE Time : 0.0 sec. user=vaughan [2012-02-14 22:33:03] 497*2^1123704-1 is not prime. Res64: C00941EB7E22C535 Time : 0.0 sec. user=vaughan [2012-02-14 22:33:04] 413*2^1123704-1 is not prime. Res64: 4C9CF4CF2E3C8430 Time : 0.0 sec. user=vaughan [2012-02-14 22:34:33] 503*2^1123704-1 is not prime. Res64: B1FC08CC780C2B2C Time : 0.0 sec. user=vaughan [2012-02-14 22:34:34] 569*2^1123704-1 is not prime. Res64: B90B6525EC8B8FD3 Time : 0.0 sec. user=vaughan [2012-02-14 22:34:40] 597*2^1123704-1 is not prime. Res64: 3008368259D287AE Time : 0.0 sec. user=vaughan [2012-02-14 22:34:41] 405*2^1123705-1 is not prime. Res64: 83A2BA975FFB3329 Time : 0.0 sec. user=vaughan [2012-02-14 22:34:52] 477*2^1123705-1 is not prime. Res64: F5B987327E0DDB37 Time : 0.0 sec. user=vaughan [2012-02-14 22:34:53] 495*2^1123705-1 is not prime. Res64: DC4C35226E5CE124 Time : 0.0 sec. user=vaughan [2012-02-14 22:35:05] 435*2^1123718-1 is not prime. Res64: 8440C9343E8038D3 Time : 0.0 sec. user=vaughan [2012-02-14 22:35:06] 467*2^1123718-1 is not prime. Res64: 14938532111B76D8 Time : 0.0 sec. user=vaughan [2012-02-14 22:35:06] 499*2^1123705-1 is not prime. Res64: CC6605D062F9EF24 Time : 0.0 sec. user=vaughan [2012-02-14 22:35:07] 567*2^1123705-1 is not prime. Res64: 384E4A7C09B65488 Time : 0.0 sec. user=vaughan [2012-02-14 22:36:36] 483*2^1123718-1 is not prime. Res64: FBD64E1392C900E6 Time : 0.0 sec. user=vaughan [2012-02-14 22:36:36] 503*2^1123718-1 is not prime. Res64: C4B202864544A29A Time : 0.0 sec. user=vaughan [2012-02-14 22:37:01] 533*2^1123718-1 is not prime. Res64: 93B66F14522DB65E Time : 0.0 sec. user=vaughan [2012-02-14 22:37:02] 563*2^1123718-1 is not prime. Res64: FA19F8DC7F55184C Time : 0.0 sec. user=vaughan [2012-02-14 22:39:29] 403*2^1123719-1 is not prime. Res64: E49974BF603FE6E9 Time : 0.0 sec. user=vaughan [2012-02-14 22:39:30] 411*2^1123719-1 is not prime. Res64: 9ABDCCD0D033DC9A Time : 0.0 sec. user=vaughan [2012-02-14 22:40:26] 423*2^1123719-1 is not prime. Res64: CFBC35930A4763E3 Time : 0.0 sec. user=vaughan [2012-02-14 22:40:27] 549*2^1123719-1 is not prime. Res64: 71F87244869F9063 Time : 0.0 sec. user=vaughan [2012-02-14 22:43:11] 525*2^1123713-1 is not prime. Res64: 4C79D6C1C5245AE0 Time : 0.0 sec. user=vaughan [2012-02-14 22:43:12] 413*2^1123714-1 is not prime. Res64: 07E4EA6EE5DB9EA2 Time : 0.0 sec. user=vaughan [2012-02-14 22:43:30] 579*2^1123715-1 is not prime. Res64: C769BE6EFECDE767 Time : 0.0 sec. user=vaughan [2012-02-14 22:43:31] 591*2^1123715-1 is not prime. Res64: F943EB201FE917C4 Time : 0.0 sec. user=vaughan [2012-02-14 22:43:51] 413*2^1123716-1 is not prime. Res64: E23B9253A84E0BB7 Time : 0.0 sec. user=vaughan [2012-02-14 22:43:52] 455*2^1123716-1 is not prime. Res64: A40A0ADC7788B2BF Time : 0.0 sec. user=juhehe [2012-02-14 22:44:10] 405*2^1123716-1 is not prime. Res64: 012CB8FA56624B7A Time : 0.0 sec. user=juhehe [2012-02-14 22:44:35] 477*2^1123717-1 is not prime. Res64: B18460007229508F Time : 0.0 sec. user=vaughan [2012-02-14 22:47:00] 473*2^1123724-1 is not prime. Res64: 852300A484E484D4 Time : 0.0 sec. user=vaughan [2012-02-14 22:47:00] 457*2^1123725-1 is not prime. Res64: 9F53B2BD17BAC628 Time : 0.0 sec. user=vaughan [2012-02-14 22:48:21] 465*2^1123711-1 is not prime. Res64: 638E656A03BC970A Time : 0.0 sec. user=vaughan [2012-02-14 22:48:22] 479*2^1123712-1 is not prime. Res64: 6D2B6578627003B2 Time : 0.0 sec. user=vaughan [2012-02-14 22:49:26] 519*2^1123712-1 is not prime. Res64: E5EDEAF74AB975A2 Time : 0.0 sec. user=vaughan [2012-02-14 22:49:26] 573*2^1123712-1 is not prime. Res64: DC697626F7A93095 Time : 0.0 sec. user=vaughan [2012-02-14 22:50:28] 409*2^1123713-1 is not prime. Res64: 2C72F5B17B657E4C Time : 0.0 sec. user=vaughan [2012-02-14 22:50:28] 507*2^1123713-1 is not prime. Res64: D195269A28A44AB2 Time : 0.0 sec. user=vaughan [2012-02-14 22:55:21] 469*2^1123725-1 is not prime. Res64: CA08DF69D3A9F3A5 Time : 0.0 sec. user=vaughan [2012-02-14 22:55:21] 511*2^1123725-1 is not prime. Res64: 544925B999F6D9DE Time : 0.0 sec. user=vaughan [2012-02-14 22:55:53] 567*2^1123730-1 is not prime. Res64: 4F1EFDEF43BE8854 Time : 0.0 sec. user=vaughan [2012-02-14 22:55:54] 405*2^1123731-1 is not prime. Res64: 1DFBEDCFAE7E48B7 Time : 0.0 sec. user=vaughan [2012-02-14 22:56:15] 597*2^1123725-1 is not prime. Res64: 8DD1119A1C03515C Time : 0.0 sec. user=vaughan [2012-02-14 22:56:16] 587*2^1123726-1 is not prime. Res64: B51B3853758443A6 Time : 0.0 sec. user=vaughan [2012-02-14 22:56:36] 505*2^1123727-1 is not prime. Res64: 89FDB56D753CB609 Time : 0.0 sec. user=vaughan [2012-02-14 22:56:37] 511*2^1123727-1 is not prime. Res64: 5E6AA2B57AAB7E7A Time : 0.0 sec. user=vaughan [2012-02-14 22:57:25] 541*2^1123731-1 is not prime. Res64: 72BC82AEE09639F2 Time : 0.0 sec. user=vaughan [2012-02-14 22:57:26] 591*2^1123731-1 is not prime. Res64: 65FABD682688D2C4 Time : 0.0 sec. user=vaughan [2012-02-14 22:57:51] 563*2^1123732-1 is not prime. Res64: 303F6265994923DF Time : 0.0 sec. user=vaughan [2012-02-14 22:57:52] 573*2^1123732-1 is not prime. Res64: 88D47AE414418690 Time : 0.0 sec. user=vaughan [2012-02-14 22:59:15] 411*2^1123733-1 is not prime. Res64: C5F64280DA2A9194 Time : 0.0 sec. user=vaughan [2012-02-14 22:59:15] 589*2^1123733-1 is not prime. Res64: 4A78A5A32A7A960D Time : 0.0 sec. user=vaughan [2012-02-14 23:00:13] 411*2^1123734-1 is not prime. Res64: B8909F4AE8FBB399 Time : 0.0 sec. user=vaughan [2012-02-14 23:00:14] 423*2^1123734-1 is not prime. Res64: 737DE1207462B4F8 Time : 0.0 sec. user=vaughan [2012-02-14 23:05:42] 483*2^1123720-1 is not prime. Res64: 90EB05336AD6830F Time : 0.0 sec. user=vaughan [2012-02-14 23:05:43] 537*2^1123720-1 is not prime. Res64: 2A249C7C5556EC44 Time : 0.0 sec. user=vaughan [2012-02-14 23:05:57] 441*2^1123721-1 is not prime. Res64: 7DB60D8860CBD964 Time : 0.0 sec. user=vaughan [2012-02-14 23:05:59] 561*2^1123721-1 is not prime. Res64: 8EC9761E21060162 Time : 0.0 sec. user=vaughan [2012-02-14 23:06:02] 437*2^1123722-1 is not prime. Res64: 448A2E9D192DBF9C Time : 0.0 sec. user=vaughan [2012-02-14 23:06:04] 503*2^1123722-1 is not prime. Res64: D2EF0892EAF3C1E8 Time : 0.0 sec. user=vaughan [2012-02-14 23:06:46] 479*2^1123736-1 is not prime. Res64: CF2420100DA34FE3 Time : 0.0 sec. user=vaughan [2012-02-14 23:06:47] 525*2^1123736-1 is not prime. Res64: CC72C91095457057 Time : 0.0 sec. user=vaughan [2012-02-14 23:09:03] 437*2^1123728-1 is not prime. Res64: 803D5B2A9A2078BE Time : 0.0 sec. user=vaughan [2012-02-14 23:09:05] 549*2^1123727-1 is not prime. Res64: D1AFC8BB1D8DEE51 Time : 0.0 sec. user=vaughan [2012-02-14 23:09:05] 453*2^1123728-1 is not prime. Res64: F225A0F3FD13A93F Time : 0.0 sec. user=vaughan [2012-02-14 23:09:06] 419*2^1123728-1 is not prime. Res64: 01AE22C5DB5BD2A8 Time : 0.0 sec. user=vaughan [2012-02-14 23:10:33] 509*2^1123728-1 is not prime. Res64: C7AA537A2A0A6B35 Time : 0.0 sec. user=vaughan [2012-02-14 23:10:37] 527*2^1123728-1 is not prime. Res64: 19845AD796B0FD74 Time : 0.0 sec. user=vaughan [2012-02-14 23:10:44] 549*2^1123728-1 is not prime. Res64: B4A76C720441290F Time : 0.0 sec. user=vaughan [2012-02-14 23:10:46] 589*2^1123729-1 is not prime. Res64: CE57231C2B6E5DE7 Time : 0.0 sec. user=vaughan [2012-02-14 23:10:51] 425*2^1123730-1 is not prime. Res64: 02EA1CF10D4ACF18 Time : 0.0 sec. user=vaughan [2012-02-14 23:10:53] 437*2^1123730-1 is not prime. Res64: 2F6E29992648EDF4 Time : 0.0 sec. user=vaughan [2012-02-14 23:11:10] 411*2^1123731-1 is not prime. Res64: DEA2F0C19B61D146 Time : 0.0 sec. user=vaughan [2012-02-14 23:11:12] 511*2^1123731-1 is not prime. Res64: 565D9532A4B84C0A Time : 0.0 sec. user=vaughan [2012-02-14 23:14:09] 437*2^1123734-1 is not prime. Res64: 8E67D0B821CE5FCE Time : 0.0 sec. user=vaughan [2012-02-14 23:14:10] 465*2^1123734-1 is not prime. Res64: F16FC017C64946F2 Time : 0.0 sec. user=vaughan [2012-02-14 23:14:27] 525*2^1123734-1 is not prime. Res64: 3A587C17D6304505 Time : 0.0 sec. user=vaughan [2012-02-14 23:14:28] 587*2^1123734-1 is not prime. Res64: F8B68E9D80BFA4EF Time : 0.0 sec. user=vaughan [2012-02-14 23:14:48] 411*2^1123735-1 is not prime. Res64: DCBC2A652CB3C30B Time : 0.0 sec. user=vaughan [2012-02-14 23:14:49] 525*2^1123735-1 is not prime. Res64: 72E315391A2584B6 Time : 0.0 sec. user=juhehe [2012-02-14 23:15:35] 425*2^1123736-1 is not prime. Res64: 8E36067B3331FFA5 Time : 0.0 sec. user=juhehe [2012-02-14 23:15:59] 437*2^1123736-1 is not prime. Res64: 3773E5AE310D61C9 Time : 0.0 sec. user=vaughan [2012-02-14 23:16:45] 593*2^1123742-1 is not prime. Res64: 9CC600F0961FF3A3 Time : 0.0 sec. user=vaughan [2012-02-14 23:16:46] 445*2^1123743-1 is not prime. Res64: 0221240941BA48D2 Time : 0.0 sec. user=vaughan [2012-02-14 23:18:15] 413*2^1123744-1 is not prime. Res64: B6B06EF6F9183EA1 Time : 0.0 sec. user=vaughan [2012-02-14 23:18:16] 479*2^1123744-1 is not prime. Res64: 6C47DAE728149C64 Time : 0.0 sec. user=vaughan [2012-02-14 23:18:41] 489*2^1123744-1 is not prime. Res64: DFA18BEB5760035B Time : 0.0 sec. user=vaughan [2012-02-14 23:18:42] 507*2^1123744-1 is not prime. Res64: B2C186BDCD54D2A4 Time : 0.0 sec. user=vaughan [2012-02-14 23:19:02] 563*2^1123744-1 is not prime. Res64: AF8E4A98A514B99B Time : 0.0 sec. user=vaughan [2012-02-14 23:19:03] 569*2^1123744-1 is not prime. Res64: 97D1FA1F94EB2504 Time : 0.0 sec. user=vaughan [2012-02-14 23:20:00] 441*2^1123745-1 is not prime. Res64: FF8F9C2C1D3A0AE7 Time : 0.0 sec. user=vaughan [2012-02-14 23:20:01] 481*2^1123745-1 is not prime. Res64: 06F763AB14C50258 Time : 0.0 sec. user=vaughan [2012-02-14 23:23:00] 437*2^1123742-1 is not prime. Res64: 7C863CB0D911A8A4 Time : 0.0 sec. user=vaughan [2012-02-14 23:23:01] 561*2^1123742-1 is not prime. Res64: BBA63B14C44425F9 Time : 0.0 sec. user=vaughan [2012-02-14 23:24:01] 471*2^1123743-1 is not prime. Res64: 84364024541ECF9C Time : 0.0 sec. user=vaughan [2012-02-14 23:24:02] 493*2^1123743-1 is not prime. Res64: 887F58DC5B588337 Time : 0.0 sec. user=vaughan [2012-02-14 23:24:28] 553*2^1123743-1 is not prime. Res64: CEEB5A26EA2D9F68 Time : 0.0 sec. user=vaughan [2012-02-14 23:24:29] 559*2^1123743-1 is not prime. Res64: A98BFD0D9CFAF210 Time : 0.0 sec. user=vaughan [2012-02-14 23:26:34] 587*2^1123746-1 is not prime. Res64: 6CD6621749F3D36A Time : 0.0 sec. user=vaughan [2012-02-14 23:26:34] 593*2^1123746-1 is not prime. Res64: 12CD2C2CFE9D0D24 Time : 0.0 sec. user=vaughan [2012-02-14 23:27:40] 571*2^1123721-1 is not prime. Res64: BAB4742741FFA9DB Time : 0.0 sec. user=vaughan [2012-02-14 23:27:41] 579*2^1123721-1 is not prime. Res64: 948B1E4473D1EBF7 Time : 0.0 sec. user=vaughan [2012-02-14 23:27:42] 413*2^1123722-1 is not prime. Res64: 5865427894836223 Time : 0.0 sec. user=vaughan [2012-02-14 23:27:54] 507*2^1123722-1 is not prime. Res64: 73EC956F9C0B08AD Time : 0.0 sec. user=vaughan [2012-02-14 23:27:55] 513*2^1123722-1 is not prime. Res64: 0BF19F7B75E6FADA Time : 0.0 sec. user=vaughan [2012-02-14 23:27:56] 521*2^1123722-1 is not prime. Res64: 165886E10819E9F6 Time : 0.0 sec. user=vaughan [2012-02-14 23:28:17] 551*2^1123722-1 is not prime. Res64: 891E635DB9B38AF7 Time : 0.0 sec. user=vaughan [2012-02-14 23:28:19] 451*2^1123723-1 is not prime. Res64: 20BDF0A03BB7E355 Time : 0.0 sec. user=vaughan [2012-02-14 23:28:20] 459*2^1123724-1 is not prime. Res64: D3345FB54D7E156A Time : 0.0 sec. user=vaughan [2012-02-14 23:28:42] 585*2^1123737-1 is not prime. Res64: 877A97BD3EAB55CB Time : 0.0 sec. user=vaughan [2012-02-14 23:28:43] 435*2^1123739-1 is not prime. Res64: 30B7BCD4B9C6E6B2 Time : 0.0 sec. user=vaughan [2012-02-14 23:29:49] 505*2^1123739-1 is not prime. Res64: ABF90D02AC9148FF Time : 0.0 sec. user=vaughan [2012-02-14 23:29:50] 483*2^1123740-1 is not prime. Res64: 6F2B17AA334DCA3E Time : 0.0 sec. user=vaughan [2012-02-14 23:30:55] 515*2^1123740-1 is not prime. Res64: 2841CF50F022788D Time : 0.0 sec. user=vaughan [2012-02-14 23:30:55] 579*2^1123740-1 is not prime. Res64: DC4F3FF7682257A8 Time : 0.0 sec. user=vaughan [2012-02-14 23:37:52] 403*2^1123751-1 is not prime. Res64: 1493E9A8CD86A6A5 Time : 0.0 sec. user=vaughan [2012-02-14 23:37:53] 409*2^1123751-1 is not prime. Res64: A804B67A770FBB30 Time : 0.0 sec. user=vaughan [2012-02-14 23:38:50] 555*2^1123753-1 is not prime. Res64: 0E098A3E6D3F306E Time : 0.0 sec. user=vaughan [2012-02-14 23:38:50] 507*2^1123754-1 is not prime. Res64: A8D61AF857CD2E2E Time : 0.0 sec. user=vaughan [2012-02-14 23:39:22] 421*2^1123751-1 is not prime. Res64: 3D261CCB08F8C7DD Time : 0.0 sec. user=vaughan [2012-02-14 23:39:23] 433*2^1123751-1 is not prime. Res64: 7CBE67E1CB89CFA2 Time : 0.0 sec. user=vaughan [2012-02-14 23:39:46] 545*2^1123754-1 is not prime. Res64: B9F9E4BCF1D78831 Time : 0.0 sec. user=vaughan [2012-02-14 23:39:46] 495*2^1123755-1 is not prime. Res64: 318F4E5EEA261221 Time : 0.0 sec. user=vaughan [2012-02-14 23:39:52] 445*2^1123751-1 is not prime. Res64: AAEF29056B24FDDA Time : 0.0 sec. user=vaughan [2012-02-14 23:39:52] 579*2^1123751-1 is not prime. Res64: E7DB1C309492297B Time : 0.0 sec. user=vaughan [2012-02-14 23:45:01] 443*2^1123750-1 is not prime. Res64: F26E87CAB5A0987C Time : 0.0 sec. user=vaughan [2012-02-14 23:45:02] 453*2^1123750-1 is not prime. Res64: 64BD1D0289DB34DA Time : 0.0 sec. user=vaughan [2012-02-14 23:45:07] 499*2^1123747-1 is not prime. Res64: 2E24E0BFF25AEC77 Time : 0.0 sec. user=vaughan [2012-02-14 23:45:07] 523*2^1123747-1 is not prime. Res64: DE71AEF650650178 Time : 0.0 sec. user=vaughan [2012-02-14 23:45:08] 483*2^1123747-1 is not prime. Res64: B1F2FAC4F892E74B Time : 0.0 sec. user=vaughan [2012-02-14 23:45:09] 495*2^1123747-1 is not prime. Res64: 2E70CF2DD6D192C9 Time : 0.0 sec. user=vaughan [2012-02-14 23:45:21] 471*2^1123750-1 is not prime. Res64: 36397EA2E2C3710F Time : 0.0 sec. user=vaughan [2012-02-14 23:45:22] 483*2^1123750-1 is not prime. Res64: 25A21C4DB725C811 Time : 0.0 sec. user=vaughan [2012-02-14 23:45:39] 525*2^1123750-1 is not prime. Res64: 96A870D31A890376 Time : 0.0 sec. user=vaughan [2012-02-14 23:45:39] 567*2^1123750-1 is not prime. Res64: F2FABE51644C2ACD Time : 0.0 sec. user=vaughan [2012-02-14 23:46:20] 423*2^1123758-1 is not prime. Res64: 098119C82638B295 Time : 0.0 sec. user=vaughan [2012-02-14 23:46:21] 473*2^1123758-1 is not prime. Res64: 5D613491ADC13769 Time : 0.0 sec. user=vaughan [2012-02-14 23:46:43] 553*2^1123747-1 is not prime. Res64: F69AC1DD3C3A3018 Time : 0.0 sec. user=vaughan [2012-02-14 23:46:43] 449*2^1123748-1 is not prime. Res64: 97D96245B9D1AD3A Time : 0.0 sec. user=vaughan [2012-02-14 23:46:44] 495*2^1123748-1 is not prime. Res64: D6EEE08801337AAE Time : 0.0 sec. user=vaughan [2012-02-14 23:46:45] 537*2^1123748-1 is not prime. Res64: DDECE706C9813B34 Time : 0.0 sec. user=vaughan [2012-02-14 23:46:53] 585*2^1123748-1 is not prime. Res64: DF424A45110ED5FA Time : 0.0 sec. user=vaughan [2012-02-14 23:46:53] 579*2^1123749-1 is not prime. Res64: BA670420FA3CE517 Time : 0.0 sec. user=juhehe [2012-02-14 23:46:53] 581*2^1123750-1 is not prime. Res64: 6259B964E7B900A3 Time : 0.0 sec. user=vaughan [2012-02-14 23:47:16] 597*2^1123749-1 is not prime. Res64: 41C158A1EC920C1D Time : 0.0 sec. user=vaughan [2012-02-14 23:47:17] 405*2^1123750-1 is not prime. Res64: EE3B960232286BBB Time : 0.0 sec. user=juhehe [2012-02-14 23:47:20] 593*2^1123750-1 is not prime. Res64: 5B8EAD4DBFDA48F3 Time : 0.0 sec. user=vaughan [2012-02-14 23:50:09] 489*2^1123745-1 is not prime. Res64: D1482C682926FAFB Time : 0.0 sec. user=vaughan [2012-02-14 23:50:10] 507*2^1123745-1 is not prime. Res64: DE2763E3E2C1DF04 Time : 0.0 sec. user=vaughan [2012-02-14 23:50:28] 517*2^1123745-1 is not prime. Res64: DC4BCC91E0012A54 Time : 0.0 sec. user=vaughan [2012-02-14 23:50:28] 411*2^1123746-1 is not prime. Res64: A65D7A29ECA87280 Time : 0.0 sec. user=vaughan [2012-02-14 23:50:33] 521*2^1123746-1 is not prime. Res64: A2B31AE588E83C68 Time : 0.0 sec. user=vaughan [2012-02-14 23:50:33] 531*2^1123746-1 is not prime. Res64: C2031DEFE75FD81E Time : 0.0 sec. user=vaughan [2012-02-14 23:50:46] 501*2^1123755-1 is not prime. Res64: 24565C76E062FE5E Time : 0.0 sec. user=vaughan [2012-02-14 23:50:47] 535*2^1123755-1 is not prime. Res64: 56ED28982E6B1A5B Time : 0.0 sec.