user=mdettweiler [2009-03-30 00:04:00] 579*2^665981-1 is not prime. Res64: DED65D995C4ACD06 Time : 2704.0 sec. user=mdettweiler [2009-03-30 00:05:50] 417*2^665982-1 is not prime. Res64: 94ED4162C8E36FB8 Time : 2706.0 sec. user=mdettweiler [2009-03-30 00:08:15] 431*2^665982-1 is not prime. Res64: 68F8C429CADB4FDA Time : 2705.0 sec. user=glennpat [2009-03-30 00:09:12] 405*2^665970-1 is not prime. Res64: 7ACBDF32B333F41B Time : 9554.0 sec. user=mdettweiler [2009-03-30 00:13:01] 555*2^665982-1 is not prime. Res64: FF5D872568823F9E Time : 2706.0 sec. user=mdettweiler [2009-03-30 00:14:52] 567*2^665982-1 is not prime. Res64: FDE3C01803A4F7FE Time : 2706.0 sec. user=mdettweiler [2009-03-30 00:17:15] 453*2^665983-1 is not prime. Res64: 31FC1BD39D2E069C Time : 2705.0 sec. user=glennpat [2009-03-30 00:19:49] 405*2^665971-1 is not prime. Res64: CEC1CC3211DDE3F9 Time : 9554.0 sec. user=mdettweiler [2009-03-30 00:22:04] 555*2^665983-1 is not prime. Res64: BE7CD5AD2D9FE601 Time : 2708.0 sec. user=mdettweiler [2009-03-30 00:23:53] 479*2^665984-1 is not prime. Res64: AE6AEFFDA1094235 Time : 2706.0 sec. user=mdettweiler [2009-03-30 00:26:17] 415*2^665985-1 is not prime. Res64: 2C105ADE13495437 Time : 2705.0 sec. user=glennpat [2009-03-30 00:30:26] 535*2^665971-1 is not prime. Res64: 04BB4FA4EE7A1D5C Time : 9554.0 sec. user=mdettweiler [2009-03-30 00:31:03] 447*2^665985-1 is not prime. Res64: AB974B666849592E Time : 2706.0 sec. user=mdettweiler [2009-03-30 00:32:53] 457*2^665985-1 is not prime. Res64: 63C0D84C47D779A5 Time : 2704.0 sec. user=mdettweiler [2009-03-30 00:35:19] 481*2^665985-1 is not prime. Res64: C92E8C8EEBD839A8 Time : 2706.0 sec. user=mdettweiler [2009-03-30 00:40:04] 531*2^665985-1 is not prime. Res64: FB1FC643ECB37EF8 Time : 2706.0 sec. user=glennpat [2009-03-30 00:41:04] 533*2^665972-1 is not prime. Res64: 669BAC8EC9457E0C Time : 9554.0 sec. user=mdettweiler [2009-03-30 00:41:54] 453*2^665986-1 is not prime. Res64: 57B2B94F7D70EC58 Time : 2705.0 sec. user=mdettweiler [2009-03-30 00:44:19] 439*2^665987-1 is not prime. Res64: 9AA1886F61B8F5EB Time : 2706.0 sec. user=mdettweiler [2009-03-30 00:49:05] 441*2^665987-1 is not prime. Res64: E1919BC4E3A45A32 Time : 2705.0 sec. user=mdettweiler [2009-03-30 00:50:54] 553*2^665987-1 is not prime. Res64: 39E1E4F61CB0A7BA Time : 2704.0 sec. user=glennpat [2009-03-30 00:51:40] 559*2^665973-1 is not prime. Res64: 08935FA46837104C Time : 9554.0 sec. user=mdettweiler [2009-03-30 00:53:20] 565*2^665987-1 is not prime. Res64: 38E414BDC885ECB4 Time : 2705.0 sec. user=mdettweiler [2009-03-30 00:58:06] 423*2^665988-1 is not prime. Res64: B1909C5A06D12115 Time : 2705.0 sec. user=mdettweiler [2009-03-30 00:59:56] 425*2^665988-1 is not prime. Res64: 0192FA4964755F59 Time : 2704.0 sec. user=glennpat [2009-03-30 01:02:16] 533*2^665974-1 is not prime. Res64: 66B2DC982473614D Time : 9554.0 sec. user=mdettweiler [2009-03-30 01:02:21] 485*2^665988-1 is not prime. Res64: 004255F0B4FCA938 Time : 2706.0 sec. user=mdettweiler [2009-03-30 01:07:07] 421*2^665989-1 is not prime. Res64: DB56C7C55300A2BA Time : 2703.0 sec. user=mdettweiler [2009-03-30 01:08:56] 429*2^665989-1 is not prime. Res64: C26BDE07E9FE6D71 Time : 2704.0 sec. user=mdettweiler [2009-03-30 01:11:22] 477*2^665989-1 is not prime. Res64: D49E418D12847D76 Time : 2705.0 sec. user=glennpat [2009-03-30 01:12:53] 459*2^665976-1 is not prime. Res64: B0D9F438F1F9C942 Time : 9555.0 sec. user=mdettweiler [2009-03-30 01:16:08] 525*2^665989-1 is not prime. Res64: 8690167E42C6DB1A Time : 2705.0 sec. user=mdettweiler [2009-03-30 01:17:58] 595*2^665989-1 is not prime. Res64: C0A63A83CDCC58C4 Time : 2705.0 sec. user=mdettweiler [2009-03-30 01:20:24] 597*2^665989-1 is not prime. Res64: B68A515981971B16 Time : 2705.0 sec. user=glennpat [2009-03-30 01:23:29] 471*2^665977-1 is not prime. Res64: 5D0BE6C9301C4C2E Time : 9547.0 sec. user=mdettweiler [2009-03-30 01:25:12] 453*2^665990-1 is not prime. Res64: 605A7B8F0381E3B6 Time : 2709.0 sec. user=mdettweiler [2009-03-30 01:26:59] 467*2^665990-1 is not prime. Res64: B1F6BB6139093A5F Time : 2705.0 sec. user=mdettweiler [2009-03-30 01:29:24] 537*2^665990-1 is not prime. Res64: 9C371865B2760813 Time : 2705.0 sec. user=glennpat [2009-03-30 01:34:06] 455*2^665980-1 is not prime. Res64: A885FA508519F2D5 Time : 9548.0 sec. user=mdettweiler [2009-03-30 01:34:10] 557*2^665990-1 is not prime. Res64: 9B24F5741AA2C507 Time : 2705.0 sec. user=mdettweiler [2009-03-30 01:35:59] 409*2^665991-1 is not prime. Res64: 6A213B238E3EA7B6 Time : 2705.0 sec. user=mdettweiler [2009-03-30 01:38:25] 513*2^665991-1 is not prime. Res64: 9CA3181737F0A983 Time : 2705.0 sec. user=mdettweiler [2009-03-30 01:43:12] 419*2^665992-1 is not prime. Res64: 29E02E2F90EE2AC4 Time : 2706.0 sec. user=glennpat [2009-03-30 01:44:43] 417*2^665981-1 is not prime. Res64: 53BDB912B0692164 Time : 9548.0 sec. user=mdettweiler [2009-03-30 01:45:00] 447*2^665992-1 is not prime. Res64: 161B1C5CF704F200 Time : 2704.0 sec. user=mdettweiler [2009-03-30 01:47:26] 517*2^665993-1 is not prime. Res64: 110DF912A0BD6F94 Time : 2705.0 sec. user=mdettweiler [2009-03-30 01:52:12] 401*2^665994-1 is not prime. Res64: 0FACC9476E1C7BD5 Time : 2705.0 sec. user=mdettweiler [2009-03-30 01:54:01] 417*2^665994-1 is not prime. Res64: 089553939CD0FFA0 Time : 2705.0 sec. user=glennpat [2009-03-30 01:55:20] 571*2^665981-1 is not prime. Res64: C2227DED1CF7A541 Time : 9549.0 sec. user=mdettweiler [2009-03-30 01:56:27] 483*2^665994-1 is not prime. Res64: EBFD2C97274F7676 Time : 2705.0 sec. user=mdettweiler [2009-03-30 02:01:14] 473*2^665996-1 is not prime. Res64: 0E77DE0CC4BC43AA Time : 2706.0 sec. user=mdettweiler [2009-03-30 02:03:01] 477*2^665996-1 is not prime. Res64: EEE3CEFE18FBAE0E Time : 2703.0 sec. user=mdettweiler [2009-03-30 02:05:28] 503*2^665996-1 is not prime. Res64: 52570FF260157B4B Time : 2704.0 sec. user=glennpat [2009-03-30 02:05:58] 455*2^665982-1 is not prime. Res64: DDE96E688050CA3C Time : 9551.0 sec. user=mdettweiler [2009-03-30 02:10:14] 405*2^665997-1 is not prime. Res64: 4995E022A436BFFF Time : 2702.0 sec. user=mdettweiler [2009-03-30 02:12:02] 495*2^665997-1 is not prime. Res64: B47D84DA5846A147 Time : 2704.0 sec. user=mdettweiler [2009-03-30 02:14:29] 555*2^665997-1 is not prime. Res64: 7962C69B57DE1A54 Time : 2705.0 sec. user=glennpat [2009-03-30 02:16:35] 447*2^665984-1 is not prime. Res64: 51C7537D4EF1F9A7 Time : 9552.0 sec. user=mdettweiler [2009-03-30 02:19:16] 471*2^665998-1 is not prime. Res64: 0974E8900790CC87 Time : 2706.0 sec. user=mdettweiler [2009-03-30 02:21:02] 495*2^665998-1 is not prime. Res64: 5301B2B4828DA07D Time : 2703.0 sec. user=mdettweiler [2009-03-30 02:23:35] 525*2^665998-1 is not prime. Res64: EFCEB517C2995D35 Time : 2710.0 sec. user=glennpat [2009-03-30 02:27:13] 459*2^665985-1 is not prime. Res64: 35307FCBEEF4B6DC Time : 9553.0 sec. user=mdettweiler [2009-03-30 02:28:16] 573*2^665998-1 is not prime. Res64: 7B5401038E33B2FA Time : 2705.0 sec. user=mdettweiler [2009-03-30 02:30:04] 451*2^665999-1 is not prime. Res64: 193CD7092B78239B Time : 2704.0 sec. user=mdettweiler [2009-03-30 02:32:32] 459*2^665999-1 is not prime. Res64: 88365B3720150433 Time : 2706.0 sec. user=mdettweiler [2009-03-30 02:37:17] 501*2^665999-1 is not prime. Res64: F03CF5523477AA93 Time : 2705.0 sec. user=glennpat [2009-03-30 02:37:50] 465*2^665986-1 is not prime. Res64: 091C5683F7522D2F Time : 9553.0 sec. user=mdettweiler [2009-03-30 02:39:05] 525*2^665999-1 is not prime. Res64: 6EBF008C15D242C9 Time : 2705.0 sec. user=mdettweiler [2009-03-30 02:41:34] 429*2^666000-1 is not prime. Res64: 8D68A32C8ED24D23 Time : 2707.0 sec. user=mdettweiler [2009-03-30 02:46:18] 527*2^666000-1 is not prime. Res64: 159BB61A0BC02708 Time : 2704.0 sec. user=mdettweiler [2009-03-30 02:48:05] 555*2^666000-1 is not prime. Res64: 3B10B25C51920362 Time : 2704.0 sec. user=glennpat [2009-03-30 02:48:27] 589*2^665987-1 is not prime. Res64: 4EE5E1B8B40A8C9D Time : 9555.0 sec. user=mdettweiler [2009-03-30 02:50:34] 541*2^666001-1 is not prime. Res64: 7B305DF8FE3A3879 Time : 2706.0 sec. user=mdettweiler [2009-03-30 02:55:20] 559*2^666001-1 is not prime. Res64: 1D4C183F6CB6B8BC Time : 2706.0 sec. user=mdettweiler [2009-03-30 02:57:06] 521*2^666002-1 is not prime. Res64: 4BD72945EDE92B84 Time : 2704.0 sec. user=glennpat [2009-03-30 02:59:04] 525*2^665988-1 is not prime. Res64: 4B68A5768989C6EE Time : 9555.0 sec. user=mdettweiler [2009-03-30 02:59:36] 433*2^666003-1 is not prime. Res64: D9399D7BFC15768D Time : 2707.0 sec. user=mdettweiler [2009-03-30 03:04:21] 523*2^666003-1 is not prime. Res64: 61AEDFDD945B35BD Time : 2705.0 sec. user=mdettweiler [2009-03-30 03:06:06] 553*2^666003-1 is not prime. Res64: 49455FBC1578D954 Time : 2704.0 sec. user=mdettweiler [2009-03-30 03:08:36] 549*2^666004-1 is not prime. Res64: 6EDCF488E649E5EE Time : 2702.0 sec. user=glennpat [2009-03-30 03:09:57] 517*2^665989-1 is not prime. Res64: F94A9ECCE8217C85 Time : 9571.0 sec. user=mdettweiler [2009-03-30 03:13:21] 587*2^666004-1 is not prime. Res64: 23F3C1665FE95C32 Time : 2705.0 sec. user=mdettweiler [2009-03-30 03:15:08] 469*2^666005-1 is not prime. Res64: 7F55663A5513100F Time : 2704.0 sec. user=mdettweiler [2009-03-30 03:17:38] 507*2^666005-1 is not prime. Res64: 07BD6CAFADDDDAF2 Time : 2706.0 sec. user=glennpat [2009-03-30 03:20:34] 461*2^665990-1 is not prime. Res64: E6C3CEB632147839 Time : 9570.0 sec. user=mdettweiler [2009-03-30 03:22:23] 519*2^666005-1 is not prime. Res64: A7344F6006970F51 Time : 2706.0 sec. user=mdettweiler [2009-03-30 03:25:53] 443*2^666006-1 is not prime. Res64: 68E01AFAEEFC4D71 Time : 2809.0 sec. user=mdettweiler [2009-03-30 03:26:39] 465*2^666006-1 is not prime. Res64: A411F3108A017380 Time : 2705.0 sec. user=glennpat [2009-03-30 03:31:11] 483*2^665991-1 is not prime. Res64: F4BB3AD7056BD351 Time : 9571.0 sec. user=mdettweiler [2009-03-30 03:31:24] 485*2^666006-1 is not prime. Res64: 776BA8D0AE5487ED Time : 2706.0 sec. user=mdettweiler [2009-03-30 03:33:09] 503*2^666006-1 is not prime. Res64: 9D04F42CEDF0980B Time : 2704.0 sec. user=mdettweiler [2009-03-30 03:35:41] 405*2^666007-1 is not prime. Res64: 12D19B39727E6330 Time : 2707.0 sec. user=mdettweiler [2009-03-30 03:40:25] 429*2^666007-1 is not prime. Res64: F9CF0D6C0C0D0291 Time : 2705.0 sec. user=glennpat [2009-03-30 03:41:48] 467*2^665992-1 is not prime. Res64: 4DA87CA400E027C8 Time : 9572.0 sec. user=mdettweiler [2009-03-30 03:42:10] 483*2^666007-1 is not prime. Res64: A31980EDA02E5A02 Time : 2704.0 sec. user=mdettweiler [2009-03-30 03:44:42] 499*2^666007-1 is not prime. Res64: DAA7FB2D2BE36C30 Time : 2706.0 sec. user=mdettweiler [2009-03-30 03:49:25] 523*2^666007-1 is not prime. Res64: 2B10FD3BF2FBE018 Time : 2705.0 sec. user=mdettweiler [2009-03-30 03:51:10] 495*2^666008-1 is not prime. Res64: 5E71BAF9D95EE39B Time : 2704.0 sec. user=glennpat [2009-03-30 03:52:26] 453*2^665995-1 is not prime. Res64: 8D5978CE69F49DDB Time : 9574.0 sec. user=mdettweiler [2009-03-30 03:53:43] 533*2^666008-1 is not prime. Res64: 88B79B8D0AE436E7 Time : 2707.0 sec. user=mdettweiler [2009-03-30 03:58:27] 465*2^666009-1 is not prime. Res64: 2AF371D9E38BED52 Time : 2706.0 sec. user=mdettweiler [2009-03-30 04:00:11] 559*2^666009-1 is not prime. Res64: 0409BAFBBFD1CAD8 Time : 2703.0 sec. user=mdettweiler [2009-03-30 04:02:44] 519*2^666011-1 is not prime. Res64: FB43A3459A8019D1 Time : 2706.0 sec. user=glennpat [2009-03-30 04:03:05] 585*2^665996-1 is not prime. Res64: 371F6B85DB68D8B8 Time : 9576.0 sec. user=mdettweiler [2009-03-30 04:07:28] 571*2^666011-1 is not prime. Res64: 0DAF97E237798A04 Time : 2705.0 sec. user=mdettweiler [2009-03-30 04:09:13] 579*2^666012-1 is not prime. Res64: C12F278FC8D4EA50 Time : 2539.0 sec. user=mdettweiler [2009-03-30 04:11:46] 557*2^666012-1 is not prime. Res64: 31553FC8E2FA007E Time : 2707.0 sec. user=glennpat [2009-03-30 04:13:42] 435*2^665998-1 is not prime. Res64: 5FB3980560901F91 Time : 9576.0 sec. user=mdettweiler [2009-03-30 04:16:28] 427*2^666013-1 is not prime. Res64: 18DFF5E00218113B Time : 2704.0 sec. user=mdettweiler [2009-03-30 04:18:13] 429*2^666013-1 is not prime. Res64: 545AA665CEED3E8F Time : 2704.0 sec. user=mdettweiler [2009-03-30 04:20:47] 465*2^666013-1 is not prime. Res64: 0D0C697CA7A5AC5C Time : 2706.0 sec. user=glennpat [2009-03-30 04:24:19] 445*2^665999-1 is not prime. Res64: DBCF3BC039416861 Time : 9576.0 sec. user=mdettweiler [2009-03-30 04:25:30] 477*2^666013-1 is not prime. Res64: 78A8C204E76A5AD0 Time : 2705.0 sec. user=mdettweiler [2009-03-30 04:27:14] 549*2^666013-1 is not prime. Res64: FC58B5E9287E4078 Time : 2704.0 sec. user=mdettweiler [2009-03-30 04:29:49] 589*2^666013-1 is not prime. Res64: DA583D853DA0F34D Time : 2707.0 sec. user=mdettweiler [2009-03-30 04:34:30] 495*2^666014-1 is not prime. Res64: A74FA52420378824 Time : 2705.0 sec. user=glennpat [2009-03-30 04:34:56] 531*2^665999-1 is not prime. Res64: C0C781CA5A9B3CB7 Time : 9576.0 sec. user=mdettweiler [2009-03-30 04:36:14] 525*2^666014-1 is not prime. Res64: 62C9E856334E8F34 Time : 2704.0 sec. user=mdettweiler [2009-03-30 04:38:49] 593*2^666014-1 is not prime. Res64: F8797FEA9C23A69F Time : 2706.0 sec. user=mdettweiler [2009-03-30 04:43:32] 493*2^666015-1 is not prime. Res64: AF2CF13D54411DB5 Time : 2705.0 sec. user=mdettweiler [2009-03-30 04:45:15] 513*2^666015-1 is not prime. Res64: F81603E876DBC06D Time : 2704.0 sec. user=glennpat [2009-03-30 04:45:31] 555*2^666001-1 is not prime. Res64: 5D20D3FD3BBA7906 Time : 9573.0 sec. user=mdettweiler [2009-03-30 04:47:51] 543*2^666015-1 is not prime. Res64: D4E0B10CDC258BCA Time : 2707.0 sec. user=mdettweiler [2009-03-30 04:52:32] 509*2^666016-1 is not prime. Res64: 5E2DD9ADE25026BD Time : 2705.0 sec. user=mdettweiler [2009-03-30 04:54:16] 539*2^666016-1 is not prime. Res64: 899072D2D323DC04 Time : 2704.0 sec. user=glennpat [2009-03-30 04:56:08] 451*2^666003-1 is not prime. Res64: 0C72DFCCE94F8F80 Time : 9573.0 sec. user=mdettweiler [2009-03-30 04:56:52] 469*2^666017-1 is not prime. Res64: A725F3D54AA52A71 Time : 2706.0 sec. user=mdettweiler [2009-03-30 05:01:34] 559*2^666017-1 is not prime. Res64: 62218B39B2220B2E Time : 2714.0 sec. user=mdettweiler [2009-03-30 05:03:16] 585*2^666017-1 is not prime. Res64: EECA4B499489992E Time : 2703.0 sec. user=mdettweiler [2009-03-30 05:05:54] 507*2^666018-1 is not prime. Res64: C19BA18D03EB7056 Time : 2707.0 sec. user=glennpat [2009-03-30 05:06:44] 569*2^666004-1 is not prime. Res64: 7212D13FCD230631 Time : 9572.0 sec. user=mdettweiler [2009-03-30 05:10:34] 573*2^666018-1 is not prime. Res64: A911F87BF93740C2 Time : 2704.0 sec. user=mdettweiler [2009-03-30 05:12:18] 433*2^666019-1 is not prime. Res64: 78512B0C585C1660 Time : 2704.0 sec. user=mdettweiler [2009-03-30 05:14:55] 469*2^666019-1 is not prime. Res64: 5E61A5D56B5F926C Time : 2706.0 sec. user=glennpat [2009-03-30 05:17:22] 417*2^666006-1 is not prime. Res64: 86BD4BC1D4309CE2 Time : 9572.0 sec. user=mdettweiler [2009-03-30 05:19:35] 483*2^666019-1 is not prime. Res64: 068C818349565F10 Time : 2705.0 sec. user=mdettweiler [2009-03-30 05:21:17] 583*2^666019-1 is not prime. Res64: 3156A66EB404FD07 Time : 2703.0 sec. user=mdettweiler [2009-03-30 05:23:57] 455*2^666020-1 is not prime. Res64: AA274615C4879A6E Time : 2708.0 sec. user=glennpat [2009-03-30 05:28:00] 525*2^666006-1 is not prime. Res64: 9F3BC491C3EDFFA8 Time : 9573.0 sec. user=mdettweiler [2009-03-30 05:28:37] 519*2^666020-1 is not prime. Res64: E6764A4EEFA8F12B Time : 2705.0 sec. user=mdettweiler [2009-03-30 05:30:19] 567*2^666020-1 is not prime. Res64: E3AE378C082D03C3 Time : 2704.0 sec. user=mdettweiler [2009-03-30 05:32:58] 439*2^666021-1 is not prime. Res64: 78E9F27FB71C8014 Time : 2707.0 sec. user=mdettweiler [2009-03-30 05:37:37] 441*2^666021-1 is not prime. Res64: 0A79D53F565ADFB4 Time : 2705.0 sec. user=glennpat [2009-03-30 05:38:35] 493*2^666007-1 is not prime. Res64: 54DD93BD6E0DBE94 Time : 9571.0 sec. user=mdettweiler [2009-03-30 05:39:19] 469*2^666021-1 is not prime. Res64: B57AE27E76347CE5 Time : 2704.0 sec. user=mdettweiler [2009-03-30 05:41:59] 585*2^666021-1 is not prime. Res64: B183237D2B13D71B Time : 2707.0 sec. user=mdettweiler [2009-03-30 05:46:38] 561*2^666022-1 is not prime. Res64: 25E091AF1C1CF50C Time : 2704.0 sec. user=mdettweiler [2009-03-30 05:48:20] 591*2^666022-1 is not prime. Res64: A0D7782EA3BE53D1 Time : 2704.0 sec. user=glennpat [2009-03-30 05:49:13] 557*2^666008-1 is not prime. Res64: 0BF23C8DF532E50F Time : 9556.0 sec. user=mdettweiler [2009-03-30 05:51:02] 463*2^666023-1 is not prime. Res64: EB3DE63CB3B17ABA Time : 2708.0 sec. user=mdettweiler [2009-03-30 05:55:42] 423*2^666024-1 is not prime. Res64: D5F13804179526B9 Time : 2708.0 sec. user=mdettweiler [2009-03-30 05:57:26] 455*2^666024-1 is not prime. Res64: 91DC4A786F2A58CF Time : 2708.0 sec. user=glennpat [2009-03-30 05:59:49] 549*2^666011-1 is not prime. Res64: 0DD37CB0FF112AEC Time : 9555.0 sec. user=mdettweiler [2009-03-30 06:00:06] 563*2^666024-1 is not prime. Res64: 35B92AE1BE2714A4 Time : 2711.0 sec. user=mdettweiler [2009-03-30 06:04:46] 541*2^666025-1 is not prime. Res64: D56E7CAD140321CE Time : 2711.0 sec. user=mdettweiler [2009-03-30 06:06:29] 555*2^666025-1 is not prime. Res64: AAC1A7E79FB9A899 Time : 2712.0 sec. user=mdettweiler [2009-03-30 06:09:10] 561*2^666025-1 is not prime. Res64: 20A50C8EA4BCF8F0 Time : 2713.0 sec. user=glennpat [2009-03-30 06:10:24] 587*2^666012-1 is not prime. Res64: 03F17B3E5044EB91 Time : 9553.0 sec. user=mdettweiler [2009-03-30 06:13:49] 453*2^666026-1 is not prime. Res64: 7633480D6B863D79 Time : 2713.0 sec. user=mdettweiler [2009-03-30 06:15:32] 545*2^666026-1 is not prime. Res64: 1D0B51E9E36D773E Time : 2713.0 sec. user=mdettweiler [2009-03-30 06:18:13] 593*2^666026-1 is not prime. Res64: 2FE6D876F2056785 Time : 2715.0 sec. user=glennpat [2009-03-30 06:21:03] 519*2^666013-1 is not prime. Res64: F001A2C82F655827 Time : 9555.0 sec. user=mdettweiler [2009-03-30 06:22:52] 429*2^666027-1 is not prime. Res64: ABB259B6EF32DF25 Time : 2715.0 sec. user=mdettweiler [2009-03-30 06:24:35] 437*2^666028-1 is not prime. Res64: 758B34A5E079B3BD Time : 2716.0 sec. user=mdettweiler [2009-03-30 06:27:15] 443*2^666028-1 is not prime. Res64: 8C3667D58BE8B5CA Time : 2716.0 sec. user=glennpat [2009-03-30 06:31:41] 573*2^666014-1 is not prime. Res64: B1206464D82B48C2 Time : 9555.0 sec. user=mdettweiler [2009-03-30 06:31:55] 453*2^666028-1 is not prime. Res64: 23FA6F75FAC8A388 Time : 2717.0 sec. user=mdettweiler [2009-03-30 06:33:38] 485*2^666028-1 is not prime. Res64: 997F53E09C71AD76 Time : 2718.0 sec. user=mdettweiler [2009-03-30 06:36:19] 527*2^666028-1 is not prime. Res64: A30FB3D400D0E8F3 Time : 2717.0 sec. user=mdettweiler [2009-03-30 06:40:58] 597*2^666028-1 is not prime. Res64: AA2E50384FD1388F Time : 2716.0 sec. user=glennpat [2009-03-30 06:42:17] 595*2^666015-1 is not prime. Res64: 78D76EA22D51E7D0 Time : 9553.0 sec. user=mdettweiler [2009-03-30 06:42:40] 441*2^666029-1 is not prime. Res64: 920324E7D0E4E2CF Time : 2715.0 sec. user=mdettweiler [2009-03-30 06:45:21] 469*2^666029-1 is not prime. Res64: B33A227058603B4B Time : 2715.0 sec. user=mdettweiler [2009-03-30 06:49:59] 477*2^666029-1 is not prime. Res64: 4FBFD87DB1B9D5E8 Time : 2713.0 sec. user=mdettweiler [2009-03-30 06:51:42] 487*2^666029-1 is not prime. Res64: C70CD5129CDF71FF Time : 2713.0 sec. user=glennpat [2009-03-30 06:52:55] 529*2^666017-1 is not prime. Res64: 75FF2C204E7650A9 Time : 9553.0 sec. user=mdettweiler [2009-03-30 06:54:23] 577*2^666029-1 is not prime. Res64: 02C12984FF96B7EB Time : 2713.0 sec. user=mdettweiler [2009-03-30 06:59:02] 483*2^666030-1 is not prime. Res64: A74EA5C906B79539 Time : 2713.0 sec. user=mdettweiler [2009-03-30 07:00:44] 513*2^666030-1 is not prime. Res64: 0CF2487002540FFE Time : 2712.0 sec. user=mdettweiler [2009-03-30 07:03:25] 521*2^666030-1 is not prime. Res64: C42A5977E28C06F4 Time : 2712.0 sec. user=glennpat [2009-03-30 07:03:31] 555*2^666018-1 is not prime. Res64: 47ABDD5D5AB15B9C Time : 9552.0 sec. user=mdettweiler [2009-03-30 07:08:03] 593*2^666030-1 is not prime. Res64: 1ECB3A76F21546FC Time : 2711.0 sec. user=mdettweiler [2009-03-30 07:09:45] 421*2^666031-1 is not prime. Res64: 982416089D8A865D Time : 2710.0 sec. user=mdettweiler [2009-03-30 07:12:26] 493*2^666031-1 is not prime. Res64: 2EA9598B13D3ACD0 Time : 2711.0 sec. user=glennpat [2009-03-30 07:14:07] 511*2^666019-1 is not prime. Res64: 0275BE96EA5CF4F9 Time : 9552.0 sec. user=mdettweiler [2009-03-30 07:17:06] 455*2^666032-1 is not prime. Res64: 17D692EC24526C69 Time : 2711.0 sec. user=mdettweiler [2009-03-30 07:18:47] 587*2^666032-1 is not prime. Res64: 6D390BADCC88F54A Time : 2709.0 sec. user=mdettweiler [2009-03-30 07:21:28] 529*2^666033-1 is not prime. Res64: 0ACB1C702522BB5C Time : 2709.0 sec. user=glennpat [2009-03-30 07:24:44] 585*2^666020-1 is not prime. Res64: 06296DDD31E11959 Time : 9553.0 sec. user=mdettweiler [2009-03-30 07:26:08] 549*2^666033-1 is not prime. Res64: 622163A4A453D8E2 Time : 2711.0 sec. user=mdettweiler [2009-03-30 07:27:49] 413*2^666034-1 is not prime. Res64: 86A77854D5EE5D7F Time : 2709.0 sec. user=mdettweiler [2009-03-30 07:30:31] 447*2^666034-1 is not prime. Res64: BB0F97CD8CB6B00A Time : 2711.0 sec. user=mdettweiler [2009-03-30 07:35:12] 503*2^666034-1 is not prime. Res64: 0ECDE3E3C304F7A1 Time : 2713.0 sec. user=glennpat [2009-03-30 07:35:22] 499*2^666021-1 is not prime. Res64: 2E1BE609F2D82B32 Time : 9554.0 sec. user=mdettweiler [2009-03-30 07:36:53] 531*2^666034-1 is not prime. Res64: 7EC4AA9F60761503 Time : 2711.0 sec. user=mdettweiler [2009-03-30 07:39:35] 421*2^666035-1 is not prime. Res64: AAF6FD623AE95244 Time : 2712.0 sec. user=mdettweiler [2009-03-30 07:44:15] 459*2^666035-1 is not prime. Res64: 457841FC29E74BF5 Time : 2713.0 sec. user=mdettweiler [2009-03-30 07:45:56] 543*2^666035-1 is not prime. Res64: 0243EEF966EE24B9 Time : 2712.0 sec. user=glennpat [2009-03-30 07:46:00] 525*2^666023-1 is not prime. Res64: C2CB037AC447BE66 Time : 9556.0 sec. user=mdettweiler [2009-03-30 07:48:39] 525*2^666036-1 is not prime. Res64: 16D0C87CCF9F5884 Time : 2714.0 sec. user=mdettweiler [2009-03-30 07:53:18] 545*2^666036-1 is not prime. Res64: 74CFDDD6F3E33690 Time : 2715.0 sec. user=mdettweiler [2009-03-30 07:54:59] 557*2^666036-1 is not prime. Res64: 5E27AAA5F7B12A35 Time : 2714.0 sec. user=glennpat [2009-03-30 07:56:37] 525*2^666025-1 is not prime. Res64: CF50E75CCD192AE8 Time : 9555.0 sec. user=mdettweiler [2009-03-30 07:57:41] 563*2^666036-1 is not prime. Res64: 8DCB4847930AE208 Time : 2715.0 sec. user=mdettweiler [2009-03-30 08:02:22] 477*2^666037-1 is not prime. Res64: 3A60CB0E65DE3CA8 Time : 2716.0 sec. user=mdettweiler [2009-03-30 08:04:02] 495*2^666038-1 is not prime. Res64: 2755F4657FE3C1F5 Time : 2715.0 sec. user=mdettweiler [2009-03-30 08:06:45] 563*2^666038-1 is not prime. Res64: E475B028F3BFFC24 Time : 2717.0 sec. user=glennpat [2009-03-30 08:07:16] 407*2^666026-1 is not prime. Res64: 465CBC0CF264620C Time : 9557.0 sec. user=mdettweiler [2009-03-30 08:11:25] 511*2^666039-1 is not prime. Res64: 3547255D1619CF09 Time : 2717.0 sec. user=mdettweiler [2009-03-30 08:13:06] 565*2^666039-1 is not prime. Res64: 34F52FAFF7C8358A Time : 2717.0 sec. user=mdettweiler [2009-03-30 08:15:48] 479*2^666040-1 is not prime. Res64: 8781D279C65B0849 Time : 2717.0 sec. user=glennpat [2009-03-30 08:17:52] 565*2^666027-1 is not prime. Res64: E9ABF89DA62AA39C Time : 9557.0 sec. user=mdettweiler [2009-03-30 08:20:29] 593*2^666040-1 is not prime. Res64: 4F7B293849186E1E Time : 2717.0 sec. user=mdettweiler [2009-03-30 08:22:09] 447*2^666042-1 is not prime. Res64: 39C8F46AB0A8D6DA Time : 2716.0 sec. user=mdettweiler [2009-03-30 08:24:52] 567*2^666042-1 is not prime. Res64: 788206C30F7B9E03 Time : 2717.0 sec. user=glennpat [2009-03-30 08:28:30] 489*2^666028-1 is not prime. Res64: 6D26B07BCB3935E0 Time : 9558.0 sec. user=mdettweiler [2009-03-30 08:29:31] 593*2^666042-1 is not prime. Res64: FA7FBAFE6B09A413 Time : 2716.0 sec. user=mdettweiler [2009-03-30 08:31:12] 415*2^666043-1 is not prime. Res64: C39CC26DF16A2447 Time : 2716.0 sec. user=mdettweiler [2009-03-30 08:33:55] 465*2^666043-1 is not prime. Res64: 6AEA4F11BFBD84E2 Time : 2716.0 sec. user=mdettweiler [2009-03-30 08:38:35] 495*2^666043-1 is not prime. Res64: 7F32E1608856D9BE Time : 2717.0 sec. user=glennpat [2009-03-30 08:39:07] 459*2^666029-1 is not prime. Res64: 2D53A415EF4E5317 Time : 9559.0 sec. user=mdettweiler [2009-03-30 08:40:14] 583*2^666043-1 is not prime. Res64: C671F1ECE1C693B4 Time : 2715.0 sec. user=mdettweiler [2009-03-30 08:42:59] 415*2^666045-1 is not prime. Res64: 228569C78E83260D Time : 2718.0 sec. user=mdettweiler [2009-03-30 08:47:38] 429*2^666045-1 is not prime. Res64: 2C8B8DFC04ED1E17 Time : 2717.0 sec. user=mdettweiler [2009-03-30 08:49:18] 459*2^666045-1 is not prime. Res64: 5315666CE3EFEF90 Time : 2716.0 sec. user=glennpat [2009-03-30 08:49:44] 461*2^666030-1 is not prime. Res64: 420E31C47397D12E Time : 9560.0 sec. user=mdettweiler [2009-03-30 08:52:03] 495*2^666045-1 is not prime. Res64: 36C895DA7D936ECF Time : 2718.0 sec. user=mdettweiler [2009-03-30 08:56:47] 511*2^666045-1 is not prime. Res64: 7916932C1D712E90 Time : 2722.0 sec. user=mdettweiler [2009-03-30 08:58:26] 581*2^666046-1 is not prime. Res64: C199605368B3C5FB Time : 2720.0 sec. user=glennpat [2009-03-30 09:00:20] 591*2^666030-1 is not prime. Res64: C7D753900349E44E Time : 9557.0 sec. user=mdettweiler [2009-03-30 09:01:12] 439*2^666047-1 is not prime. Res64: 5C1D2D124693F65F Time : 2724.0 sec. user=mdettweiler [2009-03-30 09:05:55] 469*2^666047-1 is not prime. Res64: 8CD02D8FA6D7A1BC Time : 2726.0 sec. user=mdettweiler [2009-03-30 09:07:36] 571*2^666047-1 is not prime. Res64: 00D13E7B999ECE84 Time : 2727.0 sec. user=mdettweiler [2009-03-30 09:10:22] 573*2^666047-1 is not prime. Res64: 95C130D1E5AE26F2 Time : 2730.0 sec. user=glennpat [2009-03-30 09:11:08] 435*2^666032-1 is not prime. Res64: 55CB3AC980C92365 Time : 9567.0 sec. user=mdettweiler [2009-03-30 09:15:01] 473*2^666048-1 is not prime. Res64: 6B5151403AD1324D Time : 2730.0 sec. user=mdettweiler [2009-03-30 09:16:40] 485*2^666048-1 is not prime. Res64: E5477524E3485D96 Time : 2728.0 sec. user=mdettweiler [2009-03-30 09:19:24] 503*2^666048-1 is not prime. Res64: E48C58BCC7A86B5F Time : 2729.0 sec. user=glennpat [2009-03-30 09:21:46] 577*2^666033-1 is not prime. Res64: 8805D3A222330DD6 Time : 9569.0 sec. user=mdettweiler [2009-03-30 09:24:02] 537*2^666048-1 is not prime. Res64: D026CC88D9EAE362 Time : 2727.0 sec. user=mdettweiler [2009-03-30 09:25:42] 421*2^666049-1 is not prime. Res64: D36EBB8763E70A8E Time : 2728.0 sec. user=mdettweiler [2009-03-30 09:28:26] 435*2^666049-1 is not prime. Res64: 64C91607C1CE9D65 Time : 2728.0 sec. user=glennpat [2009-03-30 09:32:24] 411*2^666035-1 is not prime. Res64: 644FBED7158595B2 Time : 9569.0 sec. user=mdettweiler [2009-03-30 09:33:05] 511*2^666049-1 is not prime. Res64: 1CFE2CEDB795F90F Time : 2727.0 sec. user=mdettweiler [2009-03-30 09:34:43] 525*2^666049-1 is not prime. Res64: 7039D3B744BF69CF Time : 2725.0 sec. user=mdettweiler [2009-03-30 09:37:27] 411*2^666050-1 is not prime. Res64: 6CC2E3E755215ED5 Time : 2724.0 sec. user=mdettweiler [2009-03-30 09:42:07] 495*2^666050-1 is not prime. Res64: 907EE65B6AA5FD3F Time : 2720.0 sec. user=glennpat [2009-03-30 09:43:01] 527*2^666036-1 is not prime. Res64: 8987AD2845802018 Time : 9571.0 sec. user=mdettweiler [2009-03-30 09:43:45] 501*2^666050-1 is not prime. Res64: 6301A37396222F46 Time : 2719.0 sec. user=mdettweiler [2009-03-30 09:46:29] 405*2^666051-1 is not prime. Res64: E5CD44C0A87084B8 Time : 2717.0 sec. user=mdettweiler [2009-03-30 09:51:08] 415*2^666051-1 is not prime. Res64: E2C97AA982D916D7 Time : 2713.0 sec. user=mdettweiler [2009-03-30 09:52:46] 453*2^666051-1 is not prime. Res64: 33E99B03F992C5AA Time : 2710.0 sec. user=glennpat [2009-03-30 09:53:38] 405*2^666037-1 is not prime. Res64: 345A7B530EE02024 Time : 9571.0 sec. user=mdettweiler [2009-03-30 09:55:32] 585*2^666051-1 is not prime. Res64: 94533E00357C37D2 Time : 2710.0 sec. user=mdettweiler [2009-03-30 10:00:10] 405*2^666052-1 is not prime. Res64: 10C7BFB4608FCE91 Time : 2709.0 sec. user=mdettweiler [2009-03-30 10:01:48] 447*2^666052-1 is not prime. Res64: C9CB870B52E96E40 Time : 2708.0 sec. user=glennpat [2009-03-30 10:04:16] 439*2^666039-1 is not prime. Res64: DF06B2BD8D344E78 Time : 9572.0 sec. user=mdettweiler [2009-03-30 10:04:33] 507*2^666052-1 is not prime. Res64: EFDFC2BBC9A83666 Time : 2709.0 sec. user=mdettweiler [2009-03-30 10:09:12] 519*2^666053-1 is not prime. Res64: 926364EB2EEC0C70 Time : 2710.0 sec. user=mdettweiler [2009-03-30 10:10:50] 571*2^666053-1 is not prime. Res64: 95EDF163402C157A Time : 2709.0 sec. user=mdettweiler [2009-03-30 10:13:37] 585*2^666053-1 is not prime. Res64: 250A259754540C6B Time : 2711.0 sec. user=glennpat [2009-03-30 10:14:53] 447*2^666041-1 is not prime. Res64: 43607B5A8E8AE55E Time : 9571.0 sec. user=mdettweiler [2009-03-30 10:18:13] 413*2^666054-1 is not prime. Res64: 451D3ACE675D0630 Time : 2708.0 sec. user=mdettweiler [2009-03-30 10:19:51] 437*2^666054-1 is not prime. Res64: D7E4F8B7316C3E98 Time : 2708.0 sec. user=mdettweiler [2009-03-30 10:22:38] 405*2^666055-1 is not prime. Res64: 2AC42583B88C2789 Time : 2711.0 sec. user=glennpat [2009-03-30 10:25:30] 441*2^666043-1 is not prime. Res64: A8F43C9F4883AF46 Time : 9570.0 sec. user=mdettweiler [2009-03-30 10:27:15] 411*2^666055-1 is not prime. Res64: EDDE1B987FEF91E0 Time : 2709.0 sec. user=mdettweiler [2009-03-30 10:28:53] 463*2^666055-1 is not prime. Res64: 577E077914D091AD Time : 2708.0 sec. user=mdettweiler [2009-03-30 10:31:39] 465*2^666055-1 is not prime. Res64: 85D9D3B68509214B Time : 2710.0 sec. user=glennpat [2009-03-30 10:36:07] 477*2^666044-1 is not prime. Res64: AEDA9030DE181F41 Time : 9570.0 sec. user=mdettweiler [2009-03-30 10:36:16] 471*2^666055-1 is not prime. Res64: D916F541F9B44363 Time : 2708.0 sec. user=mdettweiler [2009-03-30 10:37:54] 579*2^666055-1 is not prime. Res64: 14E6EF0F2ED4F848 Time : 2708.0 sec. user=mdettweiler [2009-03-30 10:40:40] 473*2^666056-1 is not prime. Res64: 8D983EB38154EA9B Time : 2708.0 sec. user=mdettweiler [2009-03-30 10:45:18] 495*2^666056-1 is not prime. Res64: FB4D8A9DC87E19DA Time : 2708.0 sec. user=glennpat [2009-03-30 10:46:46] 507*2^666045-1 is not prime. Res64: E9C720E9DFD979CB Time : 9571.0 sec. user=mdettweiler [2009-03-30 10:46:55] 503*2^666056-1 is not prime. Res64: E21B4A6E1688938A Time : 2707.0 sec. user=mdettweiler [2009-03-30 10:49:42] 427*2^666057-1 is not prime. Res64: BB1D66B8FF5932F5 Time : 2709.0 sec. user=mdettweiler [2009-03-30 10:54:19] 475*2^666057-1 is not prime. Res64: 7F3DAB6EEC9F6508 Time : 2707.0 sec. user=mdettweiler [2009-03-30 10:55:57] 507*2^666057-1 is not prime. Res64: DA53C3B2E3293DD1 Time : 2708.0 sec. user=glennpat [2009-03-30 10:57:21] 441*2^666047-1 is not prime. Res64: 312BBB6707309772 Time : 9570.0 sec. user=mdettweiler [2009-03-30 10:58:44] 537*2^666057-1 is not prime. Res64: 6CA71CD30DCB5B8C Time : 2707.0 sec. user=mdettweiler [2009-03-30 11:03:21] 423*2^666058-1 is not prime. Res64: C52B2B57D6BF5B5A Time : 2708.0 sec. user=mdettweiler [2009-03-30 11:04:58] 435*2^666058-1 is not prime. Res64: B66CC849BA399D45 Time : 2707.0 sec. user=mdettweiler [2009-03-30 11:07:46] 465*2^666058-1 is not prime. Res64: 0D38C5ABA60514D3 Time : 2708.0 sec. user=glennpat [2009-03-30 11:07:59] 423*2^666048-1 is not prime. Res64: 8633C7E4199EB100 Time : 9569.0 sec. user=mdettweiler [2009-03-30 11:12:23] 581*2^666058-1 is not prime. Res64: D7B09E1E45EF8460 Time : 2708.0 sec. user=mdettweiler [2009-03-30 11:13:59] 403*2^666059-1 is not prime. Res64: 78BD46B0C1F13FD3 Time : 2706.0 sec. user=mdettweiler [2009-03-30 11:16:47] 465*2^666059-1 is not prime. Res64: 912E057FB3D1E134 Time : 2709.0 sec. user=glennpat [2009-03-30 11:18:37] 549*2^666048-1 is not prime. Res64: EB0F5A7EF4299986 Time : 9570.0 sec. user=mdettweiler [2009-03-30 11:21:24] 455*2^666060-1 is not prime. Res64: F57F3DFF274D00B7 Time : 2708.0 sec. user=mdettweiler [2009-03-30 11:23:01] 527*2^666060-1 is not prime. Res64: A39856DC038B6F28 Time : 2707.0 sec. user=mdettweiler [2009-03-30 11:25:49] 429*2^666061-1 is not prime. Res64: EFF2282E09F0D5B2 Time : 2709.0 sec. user=glennpat [2009-03-30 11:29:14] 547*2^666049-1 is not prime. Res64: 1B592326AD0326DA Time : 9571.0 sec. user=mdettweiler [2009-03-30 11:30:25] 439*2^666061-1 is not prime. Res64: 3F3DC93EAF2141ED Time : 2708.0 sec. user=mdettweiler [2009-03-30 11:32:02] 505*2^666061-1 is not prime. Res64: 1F83AD62DAD092D0 Time : 2707.0 sec. user=mdettweiler [2009-03-30 11:34:50] 561*2^666061-1 is not prime. Res64: 626AC37EE5ED9FDD Time : 2708.0 sec. user=mdettweiler [2009-03-30 11:39:27] 565*2^666061-1 is not prime. Res64: 8D6E392B0A375A81 Time : 2708.0 sec. user=glennpat [2009-03-30 11:39:50] 545*2^666050-1 is not prime. Res64: 06D453683017808C Time : 9570.0 sec. user=mdettweiler [2009-03-30 11:41:02] 405*2^666062-1 is not prime. Res64: 6727ECA873F05BFD Time : 2705.0 sec. user=mdettweiler [2009-03-30 11:43:52] 447*2^666062-1 is not prime. Res64: 8B47F657BB918604 Time : 2708.0 sec. user=mdettweiler [2009-03-30 11:48:28] 483*2^666062-1 is not prime. Res64: 06543AA8D2C93226 Time : 2707.0 sec. user=mdettweiler [2009-03-30 11:50:04] 507*2^666062-1 is not prime. Res64: E0B6AD9B0FDB9AF7 Time : 2706.0 sec. user=glennpat [2009-03-30 11:50:27] 591*2^666051-1 is not prime. Res64: 23EB83663178337A Time : 9559.0 sec. user=mdettweiler [2009-03-30 11:52:54] 525*2^666062-1 is not prime. Res64: A1BBD6DABC0AE4B2 Time : 2708.0 sec. user=mdettweiler [2009-03-30 11:57:30] 557*2^666062-1 is not prime. Res64: 556D04843935F345 Time : 2707.0 sec. user=mdettweiler [2009-03-30 11:59:05] 429*2^666063-1 is not prime. Res64: 229C3CEAB039BD60 Time : 2706.0 sec. user=glennpat [2009-03-30 12:01:05] 537*2^666052-1 is not prime. Res64: 3F86CCBC78273804 Time : 9559.0 sec. user=mdettweiler [2009-03-30 12:01:55] 451*2^666063-1 is not prime. Res64: C15FF01FE1947978 Time : 2708.0 sec. user=mdettweiler [2009-03-30 12:06:30] 481*2^666063-1 is not prime. Res64: 2F1D4C36A5977EF6 Time : 2706.0 sec. user=mdettweiler [2009-03-30 12:08:06] 583*2^666063-1 is not prime. Res64: 56019C1AE296AB64 Time : 2705.0 sec. user=mdettweiler [2009-03-30 12:10:56] 413*2^666064-1 is not prime. Res64: A4D7CAB8A51645CA Time : 2707.0 sec. user=glennpat [2009-03-30 12:11:41] 589*2^666053-1 is not prime. Res64: F433548ACBEB1B8C Time : 9557.0 sec. user=mdettweiler [2009-03-30 12:15:32] 519*2^666064-1 is not prime. Res64: 808BFB71828AEE6C Time : 2707.0 sec. user=mdettweiler [2009-03-30 12:17:07] 539*2^666064-1 is not prime. Res64: C7244A2DBD87A83E Time : 2705.0 sec. user=mdettweiler [2009-03-30 12:19:57] 549*2^666064-1 is not prime. Res64: 7DB191837F249B8A Time : 2707.0 sec. user=glennpat [2009-03-30 12:22:19] 415*2^666055-1 is not prime. Res64: ED5709F4F4EBBAA1 Time : 9559.0 sec. user=mdettweiler [2009-03-30 12:24:34] 587*2^666064-1 is not prime. Res64: 01AD4A281770DDF3 Time : 2707.0 sec. user=mdettweiler [2009-03-30 12:26:09] 411*2^666065-1 is not prime. Res64: E6F94E2DFDC5EB16 Time : 2707.0 sec. user=mdettweiler [2009-03-30 12:29:00] 459*2^666065-1 is not prime. Res64: A70BA5EA3574BBDF Time : 2708.0 sec. user=glennpat [2009-03-30 12:32:55] 435*2^666056-1 is not prime. Res64: C62B96E701E373EF Time : 9557.0 sec. user=mdettweiler [2009-03-30 12:33:38] 465*2^666065-1 is not prime. Res64: C5BF59476CE2A515 Time : 2710.0 sec. user=mdettweiler [2009-03-30 12:35:15] 579*2^666065-1 is not prime. Res64: 9FB3D41EDE55FEC1 Time : 2711.0 sec. user=mdettweiler [2009-03-30 12:38:09] 495*2^666066-1 is not prime. Res64: BCECAD5E6BE4E9F9 Time : 2715.0 sec. user=mdettweiler [2009-03-30 12:42:49] 507*2^666066-1 is not prime. Res64: C8D783D3D3BC2BAC Time : 2719.0 sec. user=glennpat [2009-03-30 12:43:34] 573*2^666056-1 is not prime. Res64: 5F518620BBB193D2 Time : 9558.0 sec. user=mdettweiler [2009-03-30 12:44:25] 405*2^666067-1 is not prime. Res64: DE6D3DE6A861C218 Time : 2720.0 sec. user=mdettweiler [2009-03-30 12:47:18] 489*2^666067-1 is not prime. Res64: E2AF7A9F9781C724 Time : 2724.0 sec. user=mdettweiler [2009-03-30 12:51:57] 523*2^666067-1 is not prime. Res64: 8D3B4E26AFBE88BB Time : 2727.0 sec. user=mdettweiler [2009-03-30 12:53:32] 549*2^666067-1 is not prime. Res64: 7779AC42D4A18C02 Time : 2727.0 sec. user=glennpat [2009-03-30 12:54:12] 549*2^666057-1 is not prime. Res64: CBA2706102DAEB50 Time : 9559.0 sec. user=mdettweiler [2009-03-30 12:56:25] 595*2^666067-1 is not prime. Res64: F140668A06D705CD Time : 2729.0 sec. user=mdettweiler [2009-03-30 13:01:00] 437*2^666068-1 is not prime. Res64: 73C20B7FC74096ED Time : 2728.0 sec. user=mdettweiler [2009-03-30 13:02:35] 459*2^666068-1 is not prime. Res64: ED99B6B8BC1F162A Time : 2728.0 sec. user=glennpat [2009-03-30 13:04:59] 561*2^666058-1 is not prime. Res64: 17EA9A870104D5FC Time : 9569.0 sec. user=mdettweiler [2009-03-30 13:05:28] 473*2^666068-1 is not prime. Res64: 25E5F3E49D000B21 Time : 2731.0 sec. user=mdettweiler [2009-03-30 13:10:03] 537*2^666068-1 is not prime. Res64: 55BFF53CB955E655 Time : 2730.0 sec. user=mdettweiler [2009-03-30 13:11:39] 585*2^666068-1 is not prime. Res64: EF5CD7922433306A Time : 2730.0 sec. user=mdettweiler [2009-03-30 13:14:31] 459*2^666069-1 is not prime. Res64: EF6C477D6D4EBA91 Time : 2732.0 sec. user=glennpat [2009-03-30 13:15:39] 425*2^666060-1 is not prime. Res64: 28D5487938318499 Time : 9572.0 sec. user=mdettweiler [2009-03-30 13:19:07] 455*2^666070-1 is not prime. Res64: C874CCF99A560F1A Time : 2729.0 sec. user=mdettweiler [2009-03-30 13:20:42] 521*2^666070-1 is not prime. Res64: DE199353964A1002 Time : 2727.0 sec. user=mdettweiler [2009-03-30 13:23:35] 567*2^666070-1 is not prime. Res64: 33D26CBC80695B1A Time : 2726.0 sec. user=glennpat [2009-03-30 13:26:16] 469*2^666061-1 is not prime. Res64: 6D805CC5A2F60EF3 Time : 9571.0 sec. user=mdettweiler [2009-03-30 13:28:10] 581*2^666070-1 is not prime. Res64: 2DB36277B75AEE0C Time : 2722.0 sec. user=mdettweiler [2009-03-30 13:29:46] 519*2^666071-1 is not prime. Res64: FF528D034079AA62 Time : 2721.0 sec. user=mdettweiler [2009-03-30 13:32:38] 573*2^666071-1 is not prime. Res64: F24B6F31B1BDA33B Time : 2720.0 sec. user=glennpat [2009-03-30 13:37:02] 417*2^666062-1 is not prime. Res64: D2E7C1CB3436E493 Time : 9581.0 sec. user=mdettweiler [2009-03-30 13:37:12] 425*2^666072-1 is not prime. Res64: ACB8EA55E5383124 Time : 2716.0 sec. user=mdettweiler [2009-03-30 13:38:47] 459*2^666072-1 is not prime. Res64: 521A9BFAB8FEF467 Time : 2716.0 sec. user=mdettweiler [2009-03-30 13:41:40] 525*2^666072-1 is not prime. Res64: C3353065492C46C7 Time : 2716.0 sec. user=mdettweiler [2009-03-30 13:46:17] 557*2^666072-1 is not prime. Res64: F9F7E52E86668360 Time : 2717.0 sec. user=glennpat [2009-03-30 13:47:38] 537*2^666062-1 is not prime. Res64: B9FE23D6B6EFC9C5 Time : 9579.0 sec. user=mdettweiler [2009-03-30 13:47:52] 421*2^666073-1 is not prime. Res64: 1921B3ED8E3FAD96 Time : 2717.0 sec. user=mdettweiler [2009-03-30 13:50:47] 477*2^666073-1 is not prime. Res64: 1639A66FE5E1500F Time : 2719.0 sec. user=mdettweiler [2009-03-30 13:55:25] 489*2^666073-1 is not prime. Res64: 78B8AC25765A37C4 Time : 2722.0 sec. user=mdettweiler [2009-03-30 13:57:00] 507*2^666073-1 is not prime. Res64: 9CD7C76F283367AD Time : 2721.0 sec. user=glennpat [2009-03-30 13:58:26] 465*2^666063-1 is not prime. Res64: A65DBA78A0224BA7 Time : 9589.0 sec. user=mdettweiler [2009-03-30 13:59:55] 555*2^666073-1 is not prime. Res64: 28DC0057DC4BABC8 Time : 2724.0 sec. user=mdettweiler [2009-03-30 14:04:29] 425*2^666074-1 is not prime. Res64: A834192D994B21B3 Time : 2722.0 sec. user=mdettweiler [2009-03-30 14:06:04] 495*2^666074-1 is not prime. Res64: 4EB20752DFF5A58C Time : 2722.0 sec. user=mdettweiler [2009-03-30 14:08:59] 533*2^666074-1 is not prime. Res64: FE465E688A8C005D Time : 2724.0 sec. user=glennpat [2009-03-30 14:09:04] 437*2^666064-1 is not prime. Res64: 86BA9D9519F65AA1 Time : 9591.0 sec. user=mdettweiler [2009-03-30 14:13:34] 529*2^666075-1 is not prime. Res64: 8AB5677FFE64A78A Time : 2724.0 sec. user=mdettweiler [2009-03-30 14:15:09] 535*2^666075-1 is not prime. Res64: 6506C6F34EE04ADF Time : 2724.0 sec. user=mdettweiler [2009-03-30 14:18:03] 573*2^666075-1 is not prime. Res64: F48D52BCC5839FF8 Time : 2725.0 sec. user=glennpat [2009-03-30 14:20:02] 405*2^666065-1 is not prime. Res64: 9555514DC0F10C62 Time : 9612.0 sec. user=mdettweiler [2009-03-30 14:22:36] 595*2^666075-1 is not prime. Res64: 8AA4DB4065DD76FE Time : 2724.0 sec. user=mdettweiler [2009-03-30 14:24:11] 413*2^666076-1 is not prime. Res64: 789712432EAB64A2 Time : 2724.0 sec. user=mdettweiler [2009-03-30 14:27:06] 437*2^666076-1 is not prime. Res64: B266ADF93FC2E910 Time : 2726.0 sec. user=glennpat [2009-03-30 14:30:37] 473*2^666066-1 is not prime. Res64: 425DA976B43D10D7 Time : 9610.0 sec. user=mdettweiler [2009-03-30 14:31:40] 483*2^666076-1 is not prime. Res64: C290D4226B565C72 Time : 2723.0 sec. user=mdettweiler [2009-03-30 14:33:15] 587*2^666076-1 is not prime. Res64: 83F4571874129ABB Time : 2723.0 sec. user=mdettweiler [2009-03-30 14:36:10] 417*2^666077-1 is not prime. Res64: 52C2ED1BE3EA5DAA Time : 2723.0 sec. user=mdettweiler [2009-03-30 14:40:44] 445*2^666077-1 is not prime. Res64: 24B1046828B44505 Time : 2719.0 sec. user=glennpat [2009-03-30 14:41:14] 451*2^666067-1 is not prime. Res64: 6AE4FF876BFA3E0B Time : 9609.0 sec. user=mdettweiler [2009-03-30 14:42:19] 511*2^666077-1 is not prime. Res64: 39C6159328C38CEB Time : 2719.0 sec. user=mdettweiler [2009-03-30 14:45:14] 453*2^666078-1 is not prime. Res64: 1B94DA6E4DF45E8F Time : 2719.0 sec. user=mdettweiler [2009-03-30 14:50:18] 461*2^666078-1 is not prime. Res64: E3DC6D73A054C1F0 Time : 2749.0 sec. user=mdettweiler [2009-03-30 14:51:24] 495*2^666078-1 is not prime. Res64: E23AFF2953C3EF46 Time : 2720.0 sec. user=glennpat [2009-03-30 14:51:52] 417*2^666068-1 is not prime. Res64: 62A93A49D1FB95E0 Time : 9611.0 sec. user=mdettweiler [2009-03-30 14:54:23] 507*2^666078-1 is not prime. Res64: C57C31B17AC32BBE Time : 2724.0 sec. user=mdettweiler [2009-03-30 14:58:53] 563*2^666078-1 is not prime. Res64: 2D34E10CBB453004 Time : 2719.0 sec. user=mdettweiler [2009-03-30 15:00:27] 415*2^666079-1 is not prime. Res64: 9831ECBA9087D5E7 Time : 2719.0 sec. user=glennpat [2009-03-30 15:02:29] 519*2^666068-1 is not prime. Res64: 990B990481ABC5C2 Time : 9610.0 sec. user=mdettweiler [2009-03-30 15:03:22] 583*2^666079-1 is not prime. Res64: E13549C5D531E9CB Time : 2719.0 sec. user=mdettweiler [2009-03-30 15:07:57] 585*2^666080-1 is not prime. Res64: BCC3CED0AB7FD69F Time : 2721.0 sec. user=mdettweiler [2009-03-30 15:09:30] 429*2^666081-1 is not prime. Res64: 26F11B5AF5885437 Time : 2719.0 sec. user=mdettweiler [2009-03-30 15:12:26] 529*2^666081-1 is not prime. Res64: E2C7D3D978C0B899 Time : 2720.0 sec. user=glennpat [2009-03-30 15:13:28] 487*2^666069-1 is not prime. Res64: AB3CD610D34D09A8 Time : 9633.0 sec. user=mdettweiler [2009-03-30 15:16:58] 555*2^666081-1 is not prime. Res64: 4E2CBBA6480F8496 Time : 2718.0 sec. user=mdettweiler [2009-03-30 15:18:31] 571*2^666081-1 is not prime. Res64: 80A90130DE1A2E98 Time : 2716.0 sec. user=mdettweiler [2009-03-30 15:21:29] 437*2^666082-1 is not prime. Res64: A78711E499217C2F Time : 2719.0 sec. user=glennpat [2009-03-30 15:24:04] 459*2^666071-1 is not prime. Res64: A695B8AC0ACC244F Time : 9630.0 sec. user=mdettweiler [2009-03-30 15:26:00] 477*2^666082-1 is not prime. Res64: 5CFC30AE2230E94D Time : 2717.0 sec. user=mdettweiler [2009-03-30 15:27:33] 511*2^666083-1 is not prime. Res64: C3B550C23D921C89 Time : 2715.0 sec. user=mdettweiler [2009-03-30 15:30:30] 447*2^666084-1 is not prime. Res64: 4599B1DB815FCA12 Time : 2716.0 sec. user=glennpat [2009-03-30 15:34:36] 515*2^666072-1 is not prime. Res64: E760F74BB29CCF43 Time : 9625.0 sec. user=mdettweiler [2009-03-30 15:35:02] 453*2^666084-1 is not prime. Res64: 73330CC1784ABBFE Time : 2692.0 sec. user=mdettweiler [2009-03-30 15:36:34] 455*2^666084-1 is not prime. Res64: C5FF4C77FA1CBF1D Time : 2711.0 sec. user=mdettweiler [2009-03-30 15:39:31] 597*2^666084-1 is not prime. Res64: 0BB24A8AC7BB8DDB Time : 2711.0 sec. user=mdettweiler [2009-03-30 15:44:03] 465*2^666085-1 is not prime. Res64: F6AEC8C99DAFA43F Time : 2711.0 sec. user=glennpat [2009-03-30 15:45:09] 435*2^666073-1 is not prime. Res64: 471D7DD959D6463D Time : 9611.0 sec. user=mdettweiler [2009-03-30 15:45:37] 471*2^666085-1 is not prime. Res64: 579B58E5AD9864BC Time : 2710.0 sec. user=mdettweiler [2009-03-30 15:48:34] 519*2^666085-1 is not prime. Res64: D191E0077D04A343 Time : 2712.0 sec. user=mdettweiler [2009-03-30 15:53:05] 531*2^666085-1 is not prime. Res64: 6AF325AA10003A6A Time : 2708.0 sec. user=mdettweiler [2009-03-30 15:54:38] 537*2^666085-1 is not prime. Res64: A3E805560DA5DED5 Time : 2708.0 sec. user=glennpat [2009-03-30 15:55:41] 567*2^666073-1 is not prime. Res64: F947846EC519EB53 Time : 9602.0 sec. user=mdettweiler [2009-03-30 15:57:35] 501*2^666086-1 is not prime. Res64: 1349D14FFEA8362E Time : 2709.0 sec. user=mdettweiler [2009-03-30 16:02:08] 585*2^666086-1 is not prime. Res64: 2D979A6977F52E09 Time : 2710.0 sec. user=mdettweiler [2009-03-30 16:03:39] 593*2^666086-1 is not prime. Res64: 223C60D0F6421D40 Time : 2708.0 sec. user=glennpat [2009-03-30 16:06:14] 561*2^666074-1 is not prime. Res64: C765C8B320EC652D Time : 9598.0 sec. user=mdettweiler [2009-03-30 16:06:38] 405*2^666087-1 is not prime. Res64: AAD18020FBBAE003 Time : 2710.0 sec. user=mdettweiler [2009-03-30 16:11:12] 451*2^666087-1 is not prime. Res64: 144912E633C8F483 Time : 2712.0 sec. user=mdettweiler [2009-03-30 16:12:43] 513*2^666087-1 is not prime. Res64: CEC29805E9767CF4 Time : 2710.0 sec. user=mdettweiler [2009-03-30 16:15:42] 523*2^666087-1 is not prime. Res64: 4BF57296B4B942E9 Time : 2712.0 sec. user=glennpat [2009-03-30 16:16:47] 585*2^666075-1 is not prime. Res64: 8DC89CF81264F746 Time : 9585.0 sec. user=mdettweiler [2009-03-30 16:20:16] 419*2^666088-1 is not prime. Res64: 857E131FAD169E40 Time : 2715.0 sec. user=mdettweiler [2009-03-30 16:21:48] 533*2^666088-1 is not prime. Res64: DFF8ABFEA9839D60 Time : 2714.0 sec. user=mdettweiler [2009-03-30 16:24:47] 411*2^666089-1 is not prime. Res64: 72523EE9EE52DB6F Time : 2716.0 sec. user=glennpat [2009-03-30 16:27:31] 527*2^666076-1 is not prime. Res64: A7024C92BFD70F8F Time : 9593.0 sec. user=mdettweiler [2009-03-30 16:29:21] 577*2^666089-1 is not prime. Res64: 7A3BE0C31006CDDF Time : 2718.0 sec. user=mdettweiler [2009-03-30 16:30:52] 527*2^666090-1 is not prime. Res64: 8182EC8F66A15778 Time : 2715.0 sec. user=mdettweiler [2009-03-30 16:33:51] 415*2^666091-1 is not prime. Res64: 1A088A4D50BD0B9C Time : 2718.0 sec. user=glennpat [2009-03-30 16:38:10] 447*2^666078-1 is not prime. Res64: 987EF9A52FFB0A1B Time : 9584.0 sec. user=mdettweiler [2009-03-30 16:38:26] 439*2^666091-1 is not prime. Res64: 19C1E80FF0DD5F36 Time : 2721.0 sec. user=mdettweiler [2009-03-30 16:39:59] 519*2^666091-1 is not prime. Res64: 77197745896DCF3E Time : 2721.0 sec. user=mdettweiler [2009-03-30 16:42:59] 435*2^666092-1 is not prime. Res64: DCB2B86871967A05 Time : 2724.0 sec. user=mdettweiler [2009-03-30 16:47:36] 557*2^666092-1 is not prime. Res64: 9E47BD118BFBC76D Time : 2728.0 sec. user=glennpat [2009-03-30 16:48:49] 551*2^666078-1 is not prime. Res64: BF2EAF48D25DBCA0 Time : 9585.0 sec. user=mdettweiler [2009-03-30 16:49:07] 405*2^666093-1 is not prime. Res64: 02ADE8FAB3195777 Time : 2728.0 sec. user=mdettweiler [2009-03-30 16:52:08] 517*2^666093-1 is not prime. Res64: 23C6B48CBC69EA97 Time : 2730.0 sec. user=mdettweiler [2009-03-30 16:56:45] 455*2^666094-1 is not prime. Res64: 6637F89B10ADB7AA Time : 2733.0 sec. user=mdettweiler [2009-03-30 16:58:16] 513*2^666094-1 is not prime. Res64: C6832C73B0883C96 Time : 2733.0 sec. user=glennpat [2009-03-30 16:59:33] 407*2^666080-1 is not prime. Res64: 08188EE165D2948B Time : 9572.0 sec. user=mdettweiler [2009-03-30 17:01:18] 433*2^666095-1 is not prime. Res64: 93073A77718D5255 Time : 2736.0 sec. user=mdettweiler [2009-03-30 17:05:55] 553*2^666095-1 is not prime. Res64: 686978AF8B461593 Time : 2739.0 sec. user=mdettweiler [2009-03-30 17:07:26] 485*2^666096-1 is not prime. Res64: A90606A3C12DF829 Time : 2738.0 sec. user=mdettweiler [2009-03-30 17:10:23] 537*2^666096-1 is not prime. Res64: F737488293C82C1E Time : 2737.0 sec. user=glennpat [2009-03-30 17:10:36] 535*2^666081-1 is not prime. Res64: 20F91B94BF055037 Time : 9599.0 sec. user=mdettweiler [2009-03-30 17:14:56] 405*2^666097-1 is not prime. Res64: 3A97BE47154F2C0A Time : 2736.0 sec. user=mdettweiler [2009-03-30 17:16:29] 465*2^666097-1 is not prime. Res64: DFDD97B8ED051856 Time : 2737.0 sec. user=mdettweiler [2009-03-30 17:19:26] 517*2^666097-1 is not prime. Res64: 8C184D46B26B852A Time : 2735.0 sec. user=glennpat [2009-03-30 17:21:38] 525*2^666082-1 is not prime. Res64: 5A39D1FB53E7EAEE Time : 9624.0 sec. user=mdettweiler [2009-03-30 17:24:02] 495*2^666099-1 is not prime. Res64: 210406A025885170 Time : 2736.0 sec. user=mdettweiler [2009-03-30 17:25:33] 449*2^666100-1 is not prime. Res64: A794EF4D646A2168 Time : 2734.0 sec. user=mdettweiler [2009-03-30 17:28:32] 455*2^666100-1 is not prime. Res64: 35E05A2AEAC5CEE2 Time : 2733.0 sec. user=glennpat [2009-03-30 17:32:10] 525*2^666084-1 is not prime. Res64: FC867D790B229152 Time : 9619.0 sec. user=mdettweiler [2009-03-30 17:33:07] 587*2^666100-1 is not prime. Res64: 5D8EC01D1E13F2EC Time : 2731.0 sec. user=mdettweiler [2009-03-30 17:34:40] 459*2^666101-1 is not prime. Res64: D6B041FD996D512B Time : 2733.0 sec. user=mdettweiler [2009-03-30 17:37:37] 465*2^666101-1 is not prime. Res64: 16A35A79D48A7303 Time : 2729.0 sec. user=mdettweiler [2009-03-30 17:42:13] 475*2^666101-1 is not prime. Res64: 1725FACF3C3E6556 Time : 2728.0 sec. user=glennpat [2009-03-30 17:42:42] 481*2^666085-1 is not prime. Res64: B54A802897B56F5D Time : 9613.0 sec. user=mdettweiler [2009-03-30 17:43:45] 529*2^666101-1 is not prime. Res64: 9D3E60D976C80E45 Time : 2729.0 sec. user=mdettweiler [2009-03-30 17:46:41] 485*2^666102-1 is not prime. Res64: F65938265440E6E3 Time : 2723.0 sec. user=mdettweiler [2009-03-30 17:51:16] 527*2^666102-1 is not prime. Res64: 6FAE4EA650934439 Time : 2722.0 sec. user=mdettweiler [2009-03-30 17:52:50] 423*2^666103-1 is not prime. Res64: B986062106D443B8 Time : 2724.0 sec. user=glennpat [2009-03-30 17:53:14] 507*2^666086-1 is not prime. Res64: 945DA5AF7B05BED4 Time : 9586.0 sec. user=mdettweiler [2009-03-30 17:55:47] 475*2^666103-1 is not prime. Res64: 7B01F2389898E47D Time : 2724.0 sec. user=mdettweiler [2009-03-30 18:00:22] 511*2^666103-1 is not prime. Res64: 9AB92F283087C074 Time : 2726.0 sec. user=mdettweiler [2009-03-30 18:01:54] 541*2^666103-1 is not prime. Res64: CD462CB3C7A2B8BB Time : 2726.0 sec. user=glennpat [2009-03-30 18:03:44] 423*2^666087-1 is not prime. Res64: 4EFC0D117FDE480C Time : 9580.0 sec. user=mdettweiler [2009-03-30 18:04:53] 553*2^666103-1 is not prime. Res64: 375D7D437E8E8096 Time : 2727.0 sec. user=mdettweiler [2009-03-30 18:09:29] 555*2^666103-1 is not prime. Res64: 8A68B91051E4D16C Time : 2727.0 sec. user=mdettweiler [2009-03-30 18:11:03] 459*2^666104-1 is not prime. Res64: B0127487449547AA Time : 2730.0 sec. user=mdettweiler [2009-03-30 18:14:02] 465*2^666104-1 is not prime. Res64: E9F80900985F3D6C Time : 2731.0 sec. user=glennpat [2009-03-30 18:14:15] 579*2^666087-1 is not prime. Res64: 30B5020BB368129E Time : 9579.0 sec. user=mdettweiler [2009-03-30 18:18:39] 479*2^666104-1 is not prime. Res64: 751D89E440A5C067 Time : 2732.0 sec. user=mdettweiler [2009-03-30 18:20:11] 525*2^666104-1 is not prime. Res64: 6F8271B180513754 Time : 2732.0 sec. user=mdettweiler [2009-03-30 18:23:11] 539*2^666104-1 is not prime. Res64: 1AA9DA0A10803E61 Time : 2734.0 sec. user=glennpat [2009-03-30 18:24:46] 501*2^666090-1 is not prime. Res64: 9E078D393C36C17D Time : 9577.0 sec. user=mdettweiler [2009-03-30 18:27:46] 453*2^665260-1 is not prime. Res64: 580BF9E107B451AF Time : 2734.0 sec. user=mdettweiler [2009-03-30 18:29:20] 525*2^666105-1 is not prime. Res64: C5E218FAEF6B38A7 Time : 2736.0 sec. user=mdettweiler [2009-03-30 18:32:20] 591*2^666105-1 is not prime. Res64: 0833D7B4D89B3212 Time : 2739.0 sec. user=glennpat [2009-03-30 18:35:23] 549*2^666091-1 is not prime. Res64: 2887F55B26279CE4 Time : 9582.0 sec. user=mdettweiler [2009-03-30 18:36:54] 439*2^665263-1 is not prime. Res64: 20E821754CBD8859 Time : 2738.0 sec. user=mdettweiler [2009-03-30 18:38:29] 497*2^666106-1 is not prime. Res64: 3A9A2FAA6C424EFE Time : 2740.0 sec. user=mdettweiler [2009-03-30 18:41:29] 475*2^666107-1 is not prime. Res64: 71BDEB9C234363AF Time : 2742.0 sec. user=glennpat [2009-03-30 18:46:01] 471*2^666093-1 is not prime. Res64: C0FDFA2908042557 Time : 9587.0 sec. user=mdettweiler [2009-03-30 18:46:03] 497*2^665266-1 is not prime. Res64: 58377191D9D8D10C Time : 2741.0 sec. user=mdettweiler [2009-03-30 18:47:37] 425*2^666108-1 is not prime. Res64: 008ED8D14425325C Time : 2743.0 sec. user=mdettweiler [2009-03-30 18:50:38] 503*2^666108-1 is not prime. Res64: EB7650BB61627327 Time : 2745.0 sec. user=mdettweiler [2009-03-30 18:55:12] 569*2^666108-1 is not prime. Res64: BD97EA31B240026F Time : 2743.0 sec. user=glennpat [2009-03-30 18:56:31] 451*2^666095-1 is not prime. Res64: 1A76E32BBC94A978 Time : 9585.0 sec. user=mdettweiler [2009-03-30 18:56:47] 451*2^666109-1 is not prime. Res64: A39F1D83F49A4A0B Time : 2744.0 sec. user=mdettweiler [2009-03-30 18:59:47] 471*2^666109-1 is not prime. Res64: 2B9BC56098AB8F0D Time : 2745.0 sec. user=mdettweiler [2009-03-30 19:04:21] 495*2^666109-1 is not prime. Res64: 7E3C190065D6F1A4 Time : 2742.0 sec. user=mdettweiler [2009-03-30 19:05:57] 567*2^666110-1 is not prime. Res64: 227074857B1A3ABC Time : 2747.0 sec. user=glennpat [2009-03-30 19:07:14] 585*2^666096-1 is not prime. Res64: B8FE51BD3633FFAC Time : 9583.0 sec. user=mdettweiler [2009-03-30 19:08:58] 591*2^666110-1 is not prime. Res64: E2574B4D11A1F4E4 Time : 2747.0 sec. user=mdettweiler [2009-03-30 19:13:31] 549*2^666111-1 is not prime. Res64: C326D38CEDC6B74E Time : 2745.0 sec. user=mdettweiler [2009-03-30 19:15:06] 447*2^666112-1 is not prime. Res64: CCE965E4BC96E476 Time : 2747.0 sec. user=glennpat [2009-03-30 19:17:49] 525*2^666098-1 is not prime. Res64: 70E66DB9AB20476D Time : 9579.0 sec. user=mdettweiler [2009-03-30 19:18:07] 489*2^666113-1 is not prime. Res64: 22B77B3E520CB9A3 Time : 2747.0 sec. user=mdettweiler [2009-03-30 19:22:38] 591*2^666113-1 is not prime. Res64: 00568B8BE4D3B4B5 Time : 2744.0 sec. user=mdettweiler [2009-03-30 19:24:11] 473*2^666114-1 is not prime. Res64: E0CCBBA3212EC32A Time : 2742.0 sec. user=mdettweiler [2009-03-30 19:27:10] 465*2^666115-1 is not prime. Res64: EC7CE0F0EC9D1DAA Time : 2741.0 sec. user=glennpat [2009-03-30 19:28:20] 597*2^666100-1 is not prime. Res64: 85C47C3EFD8B78E9 Time : 9571.0 sec. user=mdettweiler [2009-03-30 19:31:40] 539*2^666116-1 is not prime. Res64: 940A7589415185A0 Time : 2737.0 sec. user=mdettweiler [2009-03-30 19:33:13] 585*2^666116-1 is not prime. Res64: 7F26CC9EF10F5E02 Time : 2736.0 sec. user=mdettweiler [2009-03-30 19:36:12] 507*2^666117-1 is not prime. Res64: 0051A5B5CC0DD3E0 Time : 2735.0 sec. user=glennpat [2009-03-30 19:38:53] 455*2^666102-1 is not prime. Res64: 837DE94105C490FF Time : 9561.0 sec. user=mdettweiler [2009-03-30 19:40:41] 517*2^666117-1 is not prime. Res64: 0EAEC762391B4321 Time : 2729.0 sec. user=mdettweiler [2009-03-30 19:42:15] 577*2^666117-1 is not prime. Res64: 901307BFBFFA2155 Time : 2728.0 sec. user=mdettweiler [2009-03-30 19:45:14] 595*2^666117-1 is not prime. Res64: 5A808574FAA36646 Time : 2727.0 sec. user=glennpat [2009-03-30 19:49:23] 483*2^666103-1 is not prime. Res64: 3DEC50F7587977DE Time : 9528.0 sec. user=mdettweiler [2009-03-30 19:49:44] 405*2^666118-1 is not prime. Res64: 15724F82DE23281A Time : 2723.0 sec. user=mdettweiler [2009-03-30 19:51:16] 467*2^666118-1 is not prime. Res64: 985DFA9AFC566E74 Time : 2720.0 sec. user=mdettweiler [2009-03-30 19:54:15] 511*2^666119-1 is not prime. Res64: 0F0BC877C4DCE640 Time : 2717.0 sec. user=mdettweiler [2009-03-30 19:58:44] 525*2^666119-1 is not prime. Res64: E544E7F85689FA66 Time : 2713.0 sec. user=glennpat [2009-03-30 19:59:53] 483*2^665252-1 is not prime. Res64: ECC951955051FBAD Time : 9495.0 sec. user=mdettweiler [2009-03-30 20:00:18] 589*2^666119-1 is not prime. Res64: AB5E22F7AFE0A41A Time : 2712.0 sec. user=mdettweiler [2009-03-30 20:03:18] 597*2^666120-1 is not prime. Res64: 94C86E4C915F2E04 Time : 2711.0 sec. user=mdettweiler [2009-03-30 20:07:46] 477*2^666121-1 is not prime. Res64: A034A86175F75BF8 Time : 2708.0 sec. user=mdettweiler [2009-03-30 20:09:18] 531*2^666121-1 is not prime. Res64: 5D4FC260E3C3A16E Time : 2707.0 sec. user=glennpat [2009-03-30 20:10:22] 597*2^665256-1 is not prime. Res64: 0D04853DFB00390A Time : 9492.0 sec. user=mdettweiler [2009-03-30 20:12:18] 405*2^666122-1 is not prime. Res64: 2FDCB9E24F3FE09B Time : 2708.0 sec. user=mdettweiler [2009-03-30 20:16:48] 501*2^666122-1 is not prime. Res64: DD149F43493EB7AC Time : 2708.0 sec. user=mdettweiler [2009-03-30 20:18:20] 525*2^666122-1 is not prime. Res64: 7502638392FCE055 Time : 2707.0 sec. user=glennpat [2009-03-30 20:20:53] 599*2^666104-1 is not prime. Res64: 63D8AC9DE349C8DE Time : 9491.0 sec. user=mdettweiler [2009-03-30 20:21:20] 409*2^666123-1 is not prime. Res64: BC8D0EE917CDD545 Time : 2709.0 sec. user=mdettweiler [2009-03-30 20:25:49] 439*2^666123-1 is not prime. Res64: 63DD43195C33C460 Time : 2708.0 sec. user=mdettweiler [2009-03-30 20:27:22] 471*2^666123-1 is not prime. Res64: C41D9D2BC81067C9 Time : 2708.0 sec. user=mdettweiler [2009-03-30 20:30:21] 553*2^666123-1 is not prime. Res64: D8A42603E1DDBC0C Time : 2707.0 sec. user=glennpat [2009-03-30 20:31:24] 573*2^666106-1 is not prime. Res64: 50315A268786440C Time : 9491.0 sec. user=mdettweiler [2009-03-30 20:34:52] 423*2^666124-1 is not prime. Res64: BFA9BB3E58142553 Time : 2708.0 sec. user=mdettweiler [2009-03-30 20:36:24] 429*2^666124-1 is not prime. Res64: 9869DA9D06B87829 Time : 2708.0 sec. user=mdettweiler [2009-03-30 20:39:24] 443*2^666124-1 is not prime. Res64: 86491A1F694D56D1 Time : 2709.0 sec. user=glennpat [2009-03-30 20:41:54] 473*2^666108-1 is not prime. Res64: 1A2FF7A249DDB005 Time : 9490.0 sec. user=mdettweiler [2009-03-30 20:43:52] 525*2^666124-1 is not prime. Res64: BD66D2A87B2F1729 Time : 2708.0 sec. user=mdettweiler [2009-03-30 20:45:25] 533*2^666124-1 is not prime. Res64: DDDCAADDF7E7BCF1 Time : 2707.0 sec. user=mdettweiler [2009-03-30 20:48:26] 563*2^666124-1 is not prime. Res64: C07C2F5371D39779 Time : 2708.0 sec. user=glennpat [2009-03-30 20:52:25] 489*2^666109-1 is not prime. Res64: B4565B40F9F6632A Time : 9490.0 sec. user=mdettweiler [2009-03-30 20:52:54] 537*2^666125-1 is not prime. Res64: CE246EA4B4093967 Time : 2708.0 sec. user=mdettweiler [2009-03-30 20:54:26] 461*2^666126-1 is not prime. Res64: EA95241CB51FD772 Time : 2708.0 sec. user=mdettweiler [2009-03-30 20:57:27] 525*2^666126-1 is not prime. Res64: 39FE84202483F83F Time : 2709.0 sec. user=mdettweiler [2009-03-30 21:01:55] 563*2^666126-1 is not prime. Res64: 0E9E8F3648CDDD1F Time : 2708.0 sec. user=glennpat [2009-03-30 21:02:56] 465*2^666111-1 is not prime. Res64: BCF570BB8D0D101A Time : 9490.0 sec. user=mdettweiler [2009-03-30 21:03:28] 593*2^666126-1 is not prime. Res64: 979919F41ED06792 Time : 2708.0 sec. user=mdettweiler [2009-03-30 21:06:29] 511*2^666127-1 is not prime. Res64: B54D5A2638B5FD0E Time : 2709.0 sec. user=mdettweiler [2009-03-30 21:10:57] 465*2^666128-1 is not prime. Res64: AA30964361828F1C Time : 2708.0 sec. user=mdettweiler [2009-03-30 21:12:29] 503*2^666128-1 is not prime. Res64: 07F3D9C932C766C3 Time : 2707.0 sec. user=glennpat [2009-03-30 21:13:27] 571*2^666113-1 is not prime. Res64: A4A962A89E544CD7 Time : 9485.0 sec. user=mdettweiler [2009-03-30 21:15:31] 507*2^666128-1 is not prime. Res64: 05F301E08EB26DA3 Time : 2710.0 sec. user=mdettweiler [2009-03-30 21:19:58] 557*2^666128-1 is not prime. Res64: AA41397A0DECF800 Time : 2707.0 sec. user=mdettweiler [2009-03-30 21:21:31] 567*2^666128-1 is not prime. Res64: 6BD39F78807A6471 Time : 2707.0 sec. user=glennpat [2009-03-30 21:23:58] 449*2^666116-1 is not prime. Res64: 4E0AAF8E8641A338 Time : 9477.0 sec. user=mdettweiler [2009-03-30 21:24:33] 439*2^666129-1 is not prime. Res64: 6D733642B6EEECA9 Time : 2709.0 sec. user=mdettweiler [2009-03-30 21:29:00] 507*2^666129-1 is not prime. Res64: 1ED222CE840F9ECE Time : 2708.0 sec. user=mdettweiler [2009-03-30 21:30:33] 555*2^666129-1 is not prime. Res64: 58B6569C4D98344A Time : 2709.0 sec. user=mdettweiler [2009-03-30 21:33:35] 565*2^666129-1 is not prime. Res64: AB202E3A2CE96D6F Time : 2709.0 sec. user=glennpat [2009-03-30 21:34:28] 549*2^666117-1 is not prime. Res64: 72BD47D91062AC7A Time : 9477.0 sec. user=mdettweiler [2009-03-30 21:38:01] 525*2^666130-1 is not prime. Res64: 78E7B5B0587E895E Time : 2708.0 sec. user=mdettweiler [2009-03-30 21:39:35] 531*2^666130-1 is not prime. Res64: 6E9325B1A0D4A4DB Time : 2709.0 sec. user=mdettweiler [2009-03-30 21:42:38] 445*2^666131-1 is not prime. Res64: 6451E2336CEEFD88 Time : 2711.0 sec. user=glennpat [2009-03-30 21:45:00] 527*2^666118-1 is not prime. Res64: 3022E08124E95838 Time : 9466.0 sec. user=mdettweiler [2009-03-30 21:47:03] 505*2^666131-1 is not prime. Res64: FDB85517FFE0A70C Time : 2708.0 sec. user=mdettweiler [2009-03-30 21:48:37] 479*2^666132-1 is not prime. Res64: 535301F6810FE936 Time : 2709.0 sec. user=mdettweiler [2009-03-30 21:51:39] 503*2^666132-1 is not prime. Res64: CF39DC485CB4EF78 Time : 2710.0 sec. user=glennpat [2009-03-30 21:55:30] 595*2^666119-1 is not prime. Res64: 3C94BC61450451A6 Time : 9461.0 sec. user=mdettweiler [2009-03-30 21:56:05] 513*2^666132-1 is not prime. Res64: C352FB66A3753B30 Time : 2708.0 sec. user=mdettweiler [2009-03-30 21:57:38] 525*2^666132-1 is not prime. Res64: CDC97DB41F226AC5 Time : 2709.0 sec. user=mdettweiler [2009-03-30 22:00:41] 549*2^666132-1 is not prime. Res64: CB32A2D3D594EB2E Time : 2710.0 sec. user=mdettweiler [2009-03-30 22:05:07] 451*2^666133-1 is not prime. Res64: AC36DCC7BCFDBF52 Time : 2709.0 sec. user=glennpat [2009-03-30 22:06:01] 461*2^666122-1 is not prime. Res64: 9008374C48CBC8FF Time : 9461.0 sec. user=mdettweiler [2009-03-30 22:06:40] 517*2^666133-1 is not prime. Res64: 323FDFD8A420CBA7 Time : 2709.0 sec. user=mdettweiler [2009-03-30 22:09:43] 503*2^666134-1 is not prime. Res64: 91AC9E8686AFCE21 Time : 2710.0 sec. user=mdettweiler [2009-03-30 22:14:09] 585*2^666134-1 is not prime. Res64: 61302E4993AF40A9 Time : 2709.0 sec. user=mdettweiler [2009-03-30 22:15:41] 405*2^666135-1 is not prime. Res64: F21D626C6B0FDBB0 Time : 2709.0 sec. user=glennpat [2009-03-30 22:16:31] 415*2^666123-1 is not prime. Res64: 41CD359B65B7F49A Time : 9458.0 sec. user=mdettweiler [2009-03-30 22:18:45] 423*2^666135-1 is not prime. Res64: EA78BFAD1B70FACA Time : 2710.0 sec. user=mdettweiler [2009-03-30 22:23:09] 501*2^666135-1 is not prime. Res64: 2DAD9D75C1657A5A Time : 2708.0 sec. user=mdettweiler [2009-03-30 22:24:42] 543*2^666135-1 is not prime. Res64: 59559471347511A1 Time : 2707.0 sec. user=glennpat [2009-03-30 22:27:03] 413*2^666124-1 is not prime. Res64: 08FABE3A6A28FD33 Time : 9460.0 sec. user=mdettweiler [2009-03-30 22:27:47] 405*2^666136-1 is not prime. Res64: 5FB3DC4435EE02A0 Time : 2709.0 sec. user=mdettweiler [2009-03-30 22:32:11] 529*2^666137-1 is not prime. Res64: DC0DF651D7114FF0 Time : 2708.0 sec. user=mdettweiler [2009-03-30 22:33:44] 423*2^666138-1 is not prime. Res64: 3A745D6096B96374 Time : 2707.0 sec. user=mdettweiler [2009-03-30 22:36:49] 443*2^666138-1 is not prime. Res64: E9B0B883EDD9DAAC Time : 2710.0 sec. user=glennpat [2009-03-30 22:37:34] 527*2^666124-1 is not prime. Res64: 0F7A5C4177C4BDC0 Time : 9462.0 sec. user=mdettweiler [2009-03-30 22:41:12] 485*2^666138-1 is not prime. Res64: E45DB4A71764DF32 Time : 2708.0 sec. user=mdettweiler [2009-03-30 22:42:46] 495*2^666138-1 is not prime. Res64: 8E0FDDC1E493D52A Time : 2708.0 sec. user=mdettweiler [2009-03-30 22:45:51] 573*2^666138-1 is not prime. Res64: FF5D1E3DE8187A6E Time : 2710.0 sec. user=glennpat [2009-03-30 22:48:04] 465*2^666126-1 is not prime. Res64: 1F31ACF7031046B4 Time : 9462.0 sec. user=mdettweiler [2009-03-30 22:50:14] 433*2^666139-1 is not prime. Res64: 51D3D24059312013 Time : 2707.0 sec. user=mdettweiler [2009-03-30 22:51:46] 463*2^666139-1 is not prime. Res64: A19E8BA43B8F9BF4 Time : 2706.0 sec. user=mdettweiler [2009-03-30 22:54:52] 531*2^666139-1 is not prime. Res64: 07262987DF544008 Time : 2709.0 sec. user=glennpat [2009-03-30 22:58:34] 471*2^666127-1 is not prime. Res64: 24476B2F3522E858 Time : 9461.0 sec. user=mdettweiler [2009-03-30 22:59:16] 467*2^666140-1 is not prime. Res64: 40E6808B33CF7E9A Time : 2707.0 sec. user=mdettweiler [2009-03-30 23:00:48] 473*2^666140-1 is not prime. Res64: 32F93FB74F10EEBF Time : 2707.0 sec. user=mdettweiler [2009-03-30 23:03:54] 537*2^666140-1 is not prime. Res64: 5F3F5B0BB353FA01 Time : 2709.0 sec. user=mdettweiler [2009-03-30 23:08:18] 475*2^666141-1 is not prime. Res64: 560C9CDE73AA0084 Time : 2709.0 sec. user=glennpat [2009-03-30 23:09:08] 519*2^666128-1 is not prime. Res64: 2977CB479F17FA4A Time : 9464.0 sec. user=mdettweiler [2009-03-30 23:09:50] 405*2^666142-1 is not prime. Res64: 466137C7426F6A8B Time : 2708.0 sec. user=mdettweiler [2009-03-30 23:12:56] 491*2^666142-1 is not prime. Res64: 6997329919AB1F99 Time : 2710.0 sec. user=mdettweiler [2009-03-30 23:17:21] 503*2^666142-1 is not prime. Res64: 6A348EFAEBABA6D5 Time : 2710.0 sec. user=mdettweiler [2009-03-30 23:18:52] 465*2^666143-1 is not prime. Res64: C062EF4C9588DF00 Time : 2708.0 sec. user=glennpat [2009-03-30 23:19:38] 457*2^666129-1 is not prime. Res64: 147A80EE235A90E0 Time : 9464.0 sec. user=mdettweiler [2009-03-30 23:22:01] 481*2^666143-1 is not prime. Res64: D12D0592D04EE1F8 Time : 2712.0 sec. user=mdettweiler [2009-03-30 23:26:25] 573*2^666143-1 is not prime. Res64: B420B66808CA95ED Time : 2713.0 sec. user=mdettweiler [2009-03-30 23:27:58] 589*2^666143-1 is not prime. Res64: 3CF32BDB377EAA5C Time : 2712.0 sec. user=glennpat [2009-03-30 23:30:10] 495*2^666130-1 is not prime. Res64: 9A405257239AAC70 Time : 9465.0 sec. user=mdettweiler [2009-03-30 23:31:06] 479*2^666144-1 is not prime. Res64: 72EBC01BCE090A84 Time : 2715.0 sec. user=mdettweiler [2009-03-30 23:35:28] 503*2^666144-1 is not prime. Res64: D7CC3D782DA16D62 Time : 2714.0 sec. user=mdettweiler [2009-03-30 23:37:00] 513*2^666144-1 is not prime. Res64: 398FC6B34F8683A4 Time : 2714.0 sec. user=mdettweiler [2009-03-30 23:40:08] 569*2^666144-1 is not prime. Res64: 649960D6EEEC0E56 Time : 2716.0 sec. user=glennpat [2009-03-30 23:40:40] 425*2^666132-1 is not prime. Res64: 4307896497DBF72F Time : 9464.0 sec. user=mdettweiler [2009-03-30 23:44:30] 405*2^666145-1 is not prime. Res64: C619B1BB15C989ED Time : 2715.0 sec. user=mdettweiler [2009-03-30 23:46:02] 489*2^666145-1 is not prime. Res64: 212F7A21C509325F Time : 2714.0 sec. user=mdettweiler [2009-03-30 23:49:10] 495*2^666145-1 is not prime. Res64: 0D24B82A6AC6F98F Time : 2716.0 sec. user=glennpat [2009-03-30 23:51:11] 527*2^666132-1 is not prime. Res64: 6155F00385A87DC0 Time : 9464.0 sec. user=mdettweiler [2009-03-30 23:53:31] 555*2^666145-1 is not prime. Res64: E7B0F8167821C5C0 Time : 2713.0 sec. user=mdettweiler [2009-03-30 23:55:03] 437*2^666146-1 is not prime. Res64: B52DB84373102C52 Time : 2713.0 sec. user=mdettweiler [2009-03-30 23:58:12] 473*2^666146-1 is not prime. Res64: AF6103F899D7D621 Time : 2716.0 sec.