user=vaughan [2012-01-24 00:01:03] 485*2^1111936-1 is not prime. Res64: 2944CA139AA88206 Time : 0.0 sec. user=vaughan [2012-01-24 00:01:03] 567*2^1111936-1 is not prime. Res64: BA7DE7E4353F5F57 Time : 0.0 sec. user=Sashixi [2012-01-24 00:02:47] 447*2^1111964-1 is not prime. Res64: A7ED513F5A875DC6 Time : 0.0 sec. user=vaughan [2012-01-24 00:02:50] 529*2^1111941-1 is not prime. Res64: 754D7098F0BD2A0B Time : 0.0 sec. user=vaughan [2012-01-24 00:02:53] 549*2^1111941-1 is not prime. Res64: B94BCBAE48281520 Time : 0.0 sec. user=vaughan [2012-01-24 00:02:53] 425*2^1111942-1 is not prime. Res64: FC002E48DD1D7B6C Time : 0.0 sec. user=vaughan [2012-01-24 00:02:54] 491*2^1111942-1 is not prime. Res64: 466761290532C9D1 Time : 0.0 sec. user=vaughan [2012-01-24 00:03:22] 477*2^1111957-1 is not prime. Res64: FE96F8C003F2BF46 Time : 0.0 sec. user=vaughan [2012-01-24 00:03:23] 561*2^1111957-1 is not prime. Res64: 336E4D174DDB83A8 Time : 0.0 sec. user=vaughan [2012-01-24 00:03:36] 429*2^1111951-1 is not prime. Res64: B63CB6208E060477 Time : 0.0 sec. user=vaughan [2012-01-24 00:03:41] 441*2^1111951-1 is not prime. Res64: D318FB274E1A8A2D Time : 0.0 sec. user=vaughan [2012-01-24 00:04:45] 561*2^1111942-1 is not prime. Res64: 852E9DA9881AAE41 Time : 0.0 sec. user=vaughan [2012-01-24 00:04:46] 567*2^1111942-1 is not prime. Res64: A88CCDAA4DA1AE62 Time : 0.0 sec. user=vaughan [2012-01-24 00:05:44] 439*2^1111947-1 is not prime. Res64: E6B8D532405F2A70 Time : 0.0 sec. user=vaughan [2012-01-24 00:05:44] 451*2^1111947-1 is not prime. Res64: BAEE3B2B3021BFB3 Time : 0.0 sec. user=vaughan [2012-01-24 00:05:50] 405*2^1111747-1 is not prime. Res64: 58B7242AECDA023C Time : 0.0 sec. user=vaughan [2012-01-24 00:05:50] 489*2^1111747-1 is not prime. Res64: 1B3831D2E49DB92B Time : 0.0 sec. user=vaughan [2012-01-24 00:05:51] 505*2^1111747-1 is not prime. Res64: 92DEC7276D517F6F Time : 0.0 sec. user=vaughan [2012-01-24 00:05:59] 589*2^1111943-1 is not prime. Res64: 764102A91DEE8A44 Time : 0.0 sec. user=vaughan [2012-01-24 00:06:00] 413*2^1111944-1 is not prime. Res64: DAD16027ACCFCC38 Time : 0.0 sec. user=Sashixi [2012-01-24 00:06:26] 531*2^1111965-1 is not prime. Res64: F71F1AC69EB0FE0E Time : 0.0 sec. user=Sashixi [2012-01-24 00:06:30] 577*2^1111965-1 is not prime. Res64: D020E16565BE99A4 Time : 0.0 sec. user=vaughan [2012-01-24 00:07:26] 507*2^1111961-1 is not prime. Res64: 9F68E0AA4C273307 Time : 0.0 sec. user=vaughan [2012-01-24 00:07:27] 529*2^1111961-1 is not prime. Res64: 06E3EB853242C658 Time : 0.0 sec. user=vaughan [2012-01-24 00:09:05] 587*2^1111944-1 is not prime. Res64: DF712BA20FA7D702 Time : 0.0 sec. user=vaughan [2012-01-24 00:09:06] 415*2^1111945-1 is not prime. Res64: F9BD1C194ADD78E7 Time : 0.0 sec. user=vaughan [2012-01-24 00:10:05] 497*2^1111948-1 is not prime. Res64: 2E33229C1FAFF7E4 Time : 0.0 sec. user=vaughan [2012-01-24 00:10:06] 513*2^1111948-1 is not prime. Res64: 8D96988D5515A15B Time : 0.0 sec. user=Sashixi [2012-01-24 00:11:11] 595*2^1111969-1 is not prime. Res64: 5893FA547EE5EC96 Time : 0.0 sec. user=vaughan [2012-01-24 00:11:44] 597*2^1111960-1 is not prime. Res64: A39E4B435327EDDE Time : 0.0 sec. user=vaughan [2012-01-24 00:11:45] 405*2^1111961-1 is not prime. Res64: 87A88BD9CCC080E9 Time : 0.0 sec. user=henryzz [2012-01-24 00:12:25] 573*2^1111963-1 is not prime. Res64: 0514EA71838A81F4 Time : 0.0 sec. user=juhehe [2012-01-24 00:12:36] 477*2^1111964-1 is not prime. Res64: 30D98FAB44F9B287 Time : 0.0 sec. user=Sashixi [2012-01-24 00:12:40] 503*2^1111970-1 is not prime. Res64: B13FEA4A73DA1AE4 Time : 0.0 sec. user=vaughan [2012-01-24 00:12:53] 525*2^1111949-1 is not prime. Res64: 724C68B220A8B53E Time : 0.0 sec. user=vaughan [2012-01-24 00:12:54] 465*2^1111950-1 is not prime. Res64: BB1029C64BB3F0FD Time : 0.0 sec. user=Sashixi [2012-01-24 00:13:01] 595*2^1111971-1 is not prime. Res64: E9B5D0D0B64349A8 Time : 0.0 sec. user=vaughan [2012-01-24 00:13:57] 475*2^1111965-1 is not prime. Res64: 9FD844F0EAAB7238 Time : 0.0 sec. user=vaughan [2012-01-24 00:13:58] 507*2^1111965-1 is not prime. Res64: 202A527A2D701FB4 Time : 0.0 sec. user=henryzz [2012-01-24 00:15:10] 505*2^1111967-1 is not prime. Res64: 03D58C830778CD5F Time : 0.0 sec. user=Sashixi [2012-01-24 00:16:19] 411*2^1111975-1 is not prime. Res64: 79DFEF992A615B78 Time : 0.0 sec. user=vaughan [2012-01-24 00:16:48] 567*2^1111968-1 is not prime. Res64: EE35F6F14060E14A Time : 0.0 sec. user=vaughan [2012-01-24 00:16:48] 411*2^1111969-1 is not prime. Res64: 38F3C3FB74B44526 Time : 0.0 sec. user=vaughan [2012-01-24 00:16:49] 597*2^1111968-1 is not prime. Res64: E508FA0C1A844E24 Time : 0.0 sec. user=vaughan [2012-01-24 00:16:49] 415*2^1111969-1 is not prime. Res64: 484C9A2E6773EB57 Time : 0.0 sec. user=henryzz [2012-01-24 00:17:14] 429*2^1111968-1 is not prime. Res64: 77BE3D27123C50C1 Time : 0.0 sec. user=vaughan [2012-01-24 00:17:28] 407*2^1111970-1 is not prime. Res64: 1C9972D394B19FFD Time : 0.0 sec. user=vaughan [2012-01-24 00:17:28] 467*2^1111970-1 is not prime. Res64: 3578A47DA28FE005 Time : 0.0 sec. user=vaughan [2012-01-24 00:18:37] 417*2^1111958-1 is not prime. Res64: 4B7C66F54CC9E36C Time : 0.0 sec. user=vaughan [2012-01-24 00:18:38] 431*2^1111958-1 is not prime. Res64: A5D88B98A3E79BB3 Time : 0.0 sec. user=vaughan [2012-01-24 00:19:18] 503*2^1111958-1 is not prime. Res64: F5797045FD431395 Time : 0.0 sec. user=vaughan [2012-01-24 00:19:19] 441*2^1111959-1 is not prime. Res64: 210C1BC62532755D Time : 0.0 sec. user=Sashixi [2012-01-24 00:19:43] 523*2^1111979-1 is not prime. Res64: 1FC8A0E2A2FE678F Time : 0.0 sec. user=vaughan [2012-01-24 00:19:50] 591*2^1111966-1 is not prime. Res64: 9C34CFAE1CC9B7B6 Time : 0.0 sec. user=vaughan [2012-01-24 00:19:50] 463*2^1111967-1 is not prime. Res64: EE4313AEE4DB7391 Time : 0.0 sec. user=Sashixi [2012-01-24 00:19:55] 531*2^1111979-1 is not prime. Res64: F7585AFFA66D5F83 Time : 0.0 sec. user=vaughan [2012-01-24 00:20:11] 453*2^1111956-1 is not prime. Res64: D8BBA26282C01BB0 Time : 0.0 sec. user=vaughan [2012-01-24 00:20:12] 455*2^1111956-1 is not prime. Res64: 35436D0461A62B88 Time : 0.0 sec. user=vaughan [2012-01-24 00:20:21] 497*2^1111972-1 is not prime. Res64: 15E9FE1833A180E0 Time : 0.0 sec. user=vaughan [2012-01-24 00:20:22] 539*2^1111972-1 is not prime. Res64: 665A26CDDDA3BB84 Time : 0.0 sec. user=vaughan [2012-01-24 00:20:31] 479*2^1111960-1 is not prime. Res64: 7A4DC3D52659C967 Time : 0.0 sec. user=vaughan [2012-01-24 00:20:32] 537*2^1111960-1 is not prime. Res64: E0DFDCB18A9A8DBD Time : 0.0 sec. user=vaughan [2012-01-24 00:20:34] 537*2^1111956-1 is not prime. Res64: E43C7EF467832E3D Time : 0.0 sec. user=vaughan [2012-01-24 00:20:34] 563*2^1111956-1 is not prime. Res64: 879490FB235D4835 Time : 0.0 sec. user=vaughan [2012-01-24 00:20:47] 585*2^1111956-1 is not prime. Res64: 3931CCE3C6C0E3EC Time : 0.0 sec. user=vaughan [2012-01-24 00:20:48] 469*2^1111957-1 is not prime. Res64: B28F6094AE1F03EB Time : 0.0 sec. user=vaughan [2012-01-24 00:22:15] 469*2^1111959-1 is not prime. Res64: 2688BA5FF98D148C Time : 0.0 sec. user=vaughan [2012-01-24 00:22:15] 559*2^1111959-1 is not prime. Res64: 3211B5A05B320B7C Time : 0.0 sec. user=vaughan [2012-01-24 00:23:02] 591*2^1111961-1 is not prime. Res64: 5910880889D737FC Time : 0.0 sec. user=henryzz [2012-01-24 00:23:02] 449*2^1111972-1 is not prime. Res64: DFEC302A6526CF60 Time : 0.0 sec. user=vaughan [2012-01-24 00:23:02] 483*2^1111962-1 is not prime. Res64: 7ECC9A575C8A1F47 Time : 0.0 sec. user=Sashixi [2012-01-24 00:24:16] 537*2^1111982-1 is not prime. Res64: 4D798FB2007BD68D Time : 0.0 sec. user=vaughan [2012-01-24 00:24:55] 417*2^1111976-1 is not prime. Res64: 001A61C5BDE02758 Time : 0.0 sec. user=vaughan [2012-01-24 00:24:56] 509*2^1111976-1 is not prime. Res64: 17B18F5ABFBF539C Time : 0.0 sec. user=vaughan [2012-01-24 00:25:07] 585*2^1111962-1 is not prime. Res64: F691D970F9C99EAC Time : 0.0 sec. user=vaughan [2012-01-24 00:25:07] 433*2^1111963-1 is not prime. Res64: 066178540411D7AB Time : 0.0 sec. user=Sashixi [2012-01-24 00:25:55] 573*2^1111984-1 is not prime. Res64: 505AE395310E817F Time : 0.0 sec. user=Sashixi [2012-01-24 00:26:30] 411*2^1111985-1 is not prime. Res64: 8D2CEE73A9794749 Time : 0.0 sec. user=vaughan [2012-01-24 00:26:45] 469*2^1111975-1 is not prime. Res64: 8A69818E4EADE21E Time : 0.0 sec. user=vaughan [2012-01-24 00:26:47] 495*2^1111977-1 is not prime. Res64: BF2E88DD64B0E2EE Time : 0.0 sec. user=vaughan [2012-01-24 00:26:48] 423*2^1111975-1 is not prime. Res64: 30F4C22AD072BC5A Time : 0.0 sec. user=vaughan [2012-01-24 00:26:50] 545*2^1111970-1 is not prime. Res64: D818EBB984C2D675 Time : 0.0 sec. user=vaughan [2012-01-24 00:28:11] 533*2^1111964-1 is not prime. Res64: 9F7753747A98BD0F Time : 0.0 sec. user=vaughan [2012-01-24 00:28:11] 429*2^1111965-1 is not prime. Res64: E5A0E8D5A7772CC5 Time : 0.0 sec. user=vaughan [2012-01-24 00:28:32] 489*2^1111987-1 is not prime. Res64: 1F0A2176DE08322C Time : 0.0 sec. user=vaughan [2012-01-24 00:28:36] 465*2^1111986-1 is not prime. Res64: F06579A9B3F30D56 Time : 0.0 sec. user=vaughan [2012-01-24 00:28:38] 579*2^1111985-1 is not prime. Res64: 59604B6EDDF431C0 Time : 0.0 sec. user=vaughan [2012-01-24 00:28:52] 455*2^1111980-1 is not prime. Res64: D479CAA498E70D49 Time : 0.0 sec. user=vaughan [2012-01-24 00:28:52] 405*2^1111981-1 is not prime. Res64: 4E4477FB7D3162D2 Time : 0.0 sec. user=vaughan [2012-01-24 00:29:11] 537*2^1111945-1 is not prime. Res64: 1514D8AE3AA9D33D Time : 0.0 sec. user=vaughan [2012-01-24 00:29:13] 451*2^1111847-1 is not prime. Res64: 4A207EFFCA7E86E1 Time : 0.0 sec. user=vaughan [2012-01-24 00:29:13] 489*2^1111847-1 is not prime. Res64: 56061AF2DB67A741 Time : 0.0 sec. user=vaughan [2012-01-24 00:29:46] 503*2^1111966-1 is not prime. Res64: FBA085F2B74C546B Time : 0.0 sec. user=vaughan [2012-01-24 00:29:47] 507*2^1111966-1 is not prime. Res64: 2D2AD486B9EC3FA4 Time : 0.0 sec. user=Sashixi [2012-01-24 00:29:49] 565*2^1111985-1 is not prime. Res64: 694AF8A78B3AABC5 Time : 0.0 sec. user=vaughan [2012-01-24 00:29:58] 439*2^1111973-1 is not prime. Res64: 08B0AC2EBC502DD5 Time : 0.0 sec. user=vaughan [2012-01-24 00:30:04] 441*2^1111981-1 is not prime. Res64: 234B3777CC6DDECE Time : 0.0 sec. user=vaughan [2012-01-24 00:30:32] 515*2^1111976-1 is not prime. Res64: 86830FB7100B17BD Time : 0.0 sec. user=vaughan [2012-01-24 00:30:33] 427*2^1111977-1 is not prime. Res64: BD465A414C19C2B9 Time : 0.0 sec. user=vaughan [2012-01-24 00:30:36] 421*2^1111985-1 is not prime. Res64: 98B327E9EB760195 Time : 0.0 sec. user=vaughan [2012-01-24 00:30:40] 595*2^1111967-1 is not prime. Res64: 4561FF70E42205BD Time : 0.0 sec. user=vaughan [2012-01-24 00:30:40] 423*2^1111968-1 is not prime. Res64: 77829DEA0675D25B Time : 0.0 sec. user=vaughan [2012-01-24 00:31:34] 587*2^1111984-1 is not prime. Res64: BA0D497FF94A67AB Time : 0.0 sec. user=vaughan [2012-01-24 00:31:56] 409*2^1111857-1 is not prime. Res64: 95B7A7611420B76C Time : 0.0 sec. user=vaughan [2012-01-24 00:31:57] 507*2^1111857-1 is not prime. Res64: 13C8E27E02C5C61F Time : 0.0 sec. user=vaughan [2012-01-24 00:32:55] 421*2^1111979-1 is not prime. Res64: A20297306A4D1CB4 Time : 0.0 sec. user=vaughan [2012-01-24 00:32:56] 429*2^1111977-1 is not prime. Res64: BD537885B3CF7ECF Time : 0.0 sec. user=Sashixi [2012-01-24 00:33:06] 471*2^1111989-1 is not prime. Res64: 94F05E34169D2D00 Time : 0.0 sec. user=Sashixi [2012-01-24 00:33:09] 465*2^1111990-1 is not prime. Res64: D760E7D6E5F0CEBB Time : 0.0 sec. user=vaughan [2012-01-24 00:34:18] 445*2^1111973-1 is not prime. Res64: B4D11A94693ED358 Time : 0.0 sec. user=juhehe [2012-01-24 00:34:22] 489*2^1111984-1 is not prime. Res64: 3860AE24997D0506 Time : 0.0 sec. user=vaughan [2012-01-24 00:34:23] 421*2^1111981-1 is not prime. Res64: C367BD1B08EB7249 Time : 0.0 sec. user=henryzz [2012-01-24 00:35:46] 571*2^1111983-1 is not prime. Res64: 92059B644080C454 Time : 0.0 sec. user=henryzz [2012-01-24 00:37:02] 535*2^1111985-1 is not prime. Res64: 183D56FF03274F47 Time : 0.0 sec. user=Sashixi [2012-01-24 00:37:35] 497*2^1111994-1 is not prime. Res64: 145EC7CE9C27F5B0 Time : 0.0 sec. user=vaughan [2012-01-24 00:38:19] 587*2^1111982-1 is not prime. Res64: 3292DC876B1D0BC9 Time : 0.0 sec. user=vaughan [2012-01-24 00:38:20] 423*2^1111983-1 is not prime. Res64: 04695778E658A39D Time : 0.0 sec. user=henryzz [2012-01-24 00:38:57] 593*2^1111986-1 is not prime. Res64: 74FF857FD8B9E370 Time : 0.0 sec. user=Sashixi [2012-01-24 00:39:23] 475*2^1111997-1 is not prime. Res64: E87ED53F946B97CD Time : 0.0 sec. user=Sashixi [2012-01-24 00:40:01] 517*2^1111997-1 is not prime. Res64: 712A0D12471DCF3F Time : 0.0 sec. user=Sashixi [2012-01-24 00:42:52] 515*2^1111998-1 is not prime. Res64: 73BAF99BC64D2125 Time : 0.0 sec. user=henryzz [2012-01-24 00:44:36] 589*2^1111993-1 is not prime. Res64: 7C0149AAD58756EE Time : 0.0 sec. user=vaughan [2012-01-24 00:46:15] 495*2^1111989-1 is not prime. Res64: BFBE6E105235A3BE Time : 0.0 sec. user=vaughan [2012-01-24 00:46:16] 499*2^1111989-1 is not prime. Res64: 7741253A3CD0EF89 Time : 0.0 sec. user=Sashixi [2012-01-24 00:46:23] 441*2^1112001-1 is not prime. Res64: C4B509416096BB09 Time : 0.0 sec. user=Sashixi [2012-01-24 00:46:49] 499*2^1112001-1 is not prime. Res64: 15E10E0D98147454 Time : 0.0 sec. user=Sashixi [2012-01-24 00:50:52] 527*2^1112002-1 is not prime. Res64: 49F360824FDCB3BF Time : 0.0 sec. user=Sashixi [2012-01-24 00:52:46] 483*2^1112004-1 is not prime. Res64: 707A072BD7A5A428 Time : 0.0 sec. user=Sashixi [2012-01-24 00:53:16] 539*2^1112004-1 is not prime. Res64: 16493DABD21061AD Time : 0.0 sec. user=juhehe [2012-01-24 00:56:09] 531*2^1112001-1 is not prime. Res64: AE5239808BE409D1 Time : 0.0 sec. user=Sashixi [2012-01-24 00:56:25] 545*2^1112004-1 is not prime. Res64: 0176020524187EAF Time : 0.0 sec. user=vaughan [2012-01-24 00:56:48] 509*2^1112000-1 is not prime. Res64: 3BBA312ACB7A8CEF Time : 0.0 sec. user=vaughan [2012-01-24 00:56:49] 525*2^1112000-1 is not prime. Res64: 755F99D670CE273B Time : 0.0 sec. user=henryzz [2012-01-24 00:58:12] 507*2^1112002-1 is not prime. Res64: 007A03A73130E923 Time : 0.0 sec. user=henryzz [2012-01-24 00:59:21] 525*2^1112002-1 is not prime. Res64: 0B6533A7150C0F36 Time : 0.0 sec. user=Sashixi [2012-01-24 00:59:45] 403*2^1112007-1 is not prime. Res64: 398D07FD92DCC8B8 Time : 0.0 sec. user=Sashixi [2012-01-24 01:00:08] 439*2^1112007-1 is not prime. Res64: AFB6FB5BA7145AA8 Time : 0.0 sec. user=henryzz [2012-01-24 01:01:06] 465*2^1112004-1 is not prime. Res64: 0AA13317C7CCC53A Time : 0.0 sec. user=Sashixi [2012-01-24 01:03:51] 451*2^1112007-1 is not prime. Res64: 88B07327C12042D1 Time : 0.0 sec. user=vaughan [2012-01-24 01:04:29] 445*2^1112003-1 is not prime. Res64: 8EE2CE5DD692BC2C Time : 0.0 sec. user=vaughan [2012-01-24 01:04:30] 425*2^1112004-1 is not prime. Res64: 55C91F76F5912D85 Time : 0.0 sec. user=henryzz [2012-01-24 01:06:07] 531*2^1112005-1 is not prime. Res64: 97AB191F82F25D19 Time : 0.0 sec. user=Sashixi [2012-01-24 01:06:10] 465*2^1112007-1 is not prime. Res64: B623E17887E6C4E5 Time : 0.0 sec. user=Sashixi [2012-01-24 01:06:39] 471*2^1112007-1 is not prime. Res64: 73F8AB6885191D2F Time : 0.0 sec. user=Sashixi [2012-01-24 01:09:46] 501*2^1112007-1 is not prime. Res64: 867FA7CEB07EB87C Time : 0.0 sec. user=vaughan [2012-01-24 01:12:42] 503*2^1112006-1 is not prime. Res64: 60050D46F708B9A2 Time : 0.0 sec. user=vaughan [2012-01-24 01:12:44] 581*2^1112006-1 is not prime. Res64: A7248D3F0F2556E6 Time : 0.0 sec. user=Sashixi [2012-01-24 01:13:12] 461*2^1112010-1 is not prime. Res64: 4DDBE83503F4FE5F Time : 0.0 sec. user=Sashixi [2012-01-24 01:13:33] 495*2^1112010-1 is not prime. Res64: 9748945BE01D804F Time : 0.0 sec. user=Sashixi [2012-01-24 01:17:14] 489*2^1112011-1 is not prime. Res64: E320BAD4C87A73A6 Time : 0.0 sec. user=juhehe [2012-01-24 01:17:53] 493*2^1112007-1 is not prime. Res64: 7793E1532E583C57 Time : 0.0 sec. user=Sashixi [2012-01-24 01:19:19] 457*2^1112013-1 is not prime. Res64: CF458EC2640B4236 Time : 0.0 sec. user=Sashixi [2012-01-24 01:19:57] 511*2^1112013-1 is not prime. Res64: DC2A82DE0ED5D060 Time : 0.0 sec. user=henryzz [2012-01-24 01:21:15] 417*2^1112010-1 is not prime. Res64: 5E32C1F2C82F216B Time : 0.0 sec. user=Sashixi [2012-01-24 01:22:58] 461*2^1112014-1 is not prime. Res64: FF98523EB86FD971 Time : 0.0 sec. user=henryzz [2012-01-24 01:23:02] 521*2^1112010-1 is not prime. Res64: FD90B655BE420E9F Time : 0.0 sec. user=vaughan [2012-01-24 01:23:12] 559*2^1112007-1 is not prime. Res64: 02AC5068BE96E2B2 Time : 0.0 sec. user=vaughan [2012-01-24 01:23:14] 469*2^1112009-1 is not prime. Res64: E99E6401B29152EC Time : 0.0 sec. user=Sashixi [2012-01-24 01:26:33] 433*2^1112015-1 is not prime. Res64: 727FF93091736A00 Time : 0.0 sec. user=Sashixi [2012-01-24 01:27:02] 469*2^1112015-1 is not prime. Res64: 2AB7ADF1883DE6B6 Time : 0.0 sec. user=henryzz [2012-01-24 01:28:12] 471*2^1112013-1 is not prime. Res64: 53EF186D65BCF15C Time : 0.0 sec. user=Sashixi [2012-01-24 01:30:35] 511*2^1112015-1 is not prime. Res64: 88F5D821E9947A4B Time : 0.0 sec. user=vaughan [2012-01-24 01:31:04] 477*2^1112012-1 is not prime. Res64: F8007D218B6427B5 Time : 0.0 sec. user=vaughan [2012-01-24 01:31:05] 483*2^1112012-1 is not prime. Res64: C9E52FA6A65B1819 Time : 0.0 sec. user=henryzz [2012-01-24 01:31:11] 425*2^1112014-1 is not prime. Res64: 06E095C098408B24 Time : 0.0 sec. user=Sashixi [2012-01-24 01:32:37] 531*2^1112015-1 is not prime. Res64: B69A6CF07B33B195 Time : 0.0 sec. user=Sashixi [2012-01-24 01:33:21] 465*2^1112016-1 is not prime. Res64: 076607DDE1A3F377 Time : 0.0 sec. user=Sashixi [2012-01-24 01:36:15] 557*2^1112016-1 is not prime. Res64: A312E240A3DA6E1A Time : 0.0 sec. user=vaughan [2012-01-24 01:39:12] 513*2^1112014-1 is not prime. Res64: 5827DE7D83E90F4A Time : 0.0 sec. user=vaughan [2012-01-24 01:39:13] 421*2^1112015-1 is not prime. Res64: 9C0E8958B151EF55 Time : 0.0 sec. user=juhehe [2012-01-24 01:39:36] 519*2^1112015-1 is not prime. Res64: 5151BD7C39C05FB6 Time : 0.0 sec. user=Sashixi [2012-01-24 01:39:36] 549*2^1112017-1 is not prime. Res64: ADD0687E7B0FAF84 Time : 0.0 sec. user=Sashixi [2012-01-24 01:40:29] 483*2^1112018-1 is not prime. Res64: C00AA14E135E31AB Time : 0.0 sec. user=henryzz [2012-01-24 01:42:53] 525*2^1112016-1 is not prime. Res64: E2443A00BBCA5E8E Time : 0.0 sec. user=Sashixi [2012-01-24 01:44:07] 595*2^1112019-1 is not prime. Res64: 28D3C406452932B3 Time : 0.0 sec. user=henryzz [2012-01-24 01:44:14] 587*2^1112016-1 is not prime. Res64: 72E48F3FB79738DF Time : 0.0 sec. user=Sashixi [2012-01-24 01:46:03] 525*2^1112022-1 is not prime. Res64: 941CF8653E15AE58 Time : 0.0 sec. user=Sashixi [2012-01-24 01:47:00] 423*2^1112023-1 is not prime. Res64: 07E245069E1E554F Time : 0.0 sec. user=Sashixi [2012-01-24 01:49:30] 441*2^1112023-1 is not prime. Res64: F5E726B5D16D635B Time : 0.0 sec. user=vaughan [2012-01-24 01:49:55] 429*2^1112017-1 is not prime. Res64: 9BC4DD71214B09C7 Time : 0.0 sec. user=vaughan [2012-01-24 01:49:56] 531*2^1112017-1 is not prime. Res64: 591A830B6EBE22E9 Time : 0.0 sec. user=henryzz [2012-01-24 01:50:07] 551*2^1112018-1 is not prime. Res64: CA820AD3288AFD37 Time : 0.0 sec. user=Sashixi [2012-01-24 01:52:31] 519*2^1112024-1 is not prime. Res64: 9954EA6B2698EB8E Time : 0.0 sec. user=Sashixi [2012-01-24 01:53:58] 563*2^1112024-1 is not prime. Res64: DE6B9C66797BD63A Time : 0.0 sec. user=henryzz [2012-01-24 01:54:10] 513*2^1112022-1 is not prime. Res64: 7C54F6923F699EDD Time : 0.0 sec. user=vaughan [2012-01-24 01:57:27] 565*2^1112021-1 is not prime. Res64: 960338797F77D71C Time : 0.0 sec. user=vaughan [2012-01-24 01:57:28] 401*2^1112022-1 is not prime. Res64: 2EF602DAD885333B Time : 0.0 sec. user=Sashixi [2012-01-24 01:57:31] 465*2^1112025-1 is not prime. Res64: 6ECC100D776F7643 Time : 0.0 sec. user=Sashixi [2012-01-24 01:59:16] 561*2^1112026-1 is not prime. Res64: 1FE78733EA2342D1 Time : 0.0 sec. user=Sashixi [2012-01-24 02:00:11] 575*2^1112026-1 is not prime. Res64: A54A796FC2606A85 Time : 0.0 sec. user=juhehe [2012-01-24 02:01:17] 413*2^1112024-1 is not prime. Res64: 106527FDB8C279DE Time : 0.0 sec. user=Sashixi [2012-01-24 02:02:57] 511*2^1112027-1 is not prime. Res64: DB42B1DF9F5289D8 Time : 0.0 sec. user=henryzz [2012-01-24 02:04:29] 459*2^1112025-1 is not prime. Res64: 53F1E3C94CC5387E Time : 0.0 sec. user=vaughan [2012-01-24 02:05:17] 481*2^1112023-1 is not prime. Res64: 95A6ED4258E29D85 Time : 0.0 sec. user=vaughan [2012-01-24 02:05:18] 525*2^1112023-1 is not prime. Res64: 86902CA75BAE6FD8 Time : 0.0 sec. user=Sashixi [2012-01-24 02:05:52] 559*2^1112029-1 is not prime. Res64: 0B4AC54C1F35C102 Time : 0.0 sec. user=Sashixi [2012-01-24 02:07:11] 597*2^1112029-1 is not prime. Res64: BC43E09BEE3FA8EA Time : 0.0 sec. user=henryzz [2012-01-24 02:07:41] 495*2^1112026-1 is not prime. Res64: CD89FE2E66D8342A Time : 0.0 sec. user=Sashixi [2012-01-24 02:11:09] 571*2^1112031-1 is not prime. Res64: 92B4323C37FD82BA Time : 0.0 sec. user=henryzz [2012-01-24 02:11:39] 597*2^1112028-1 is not prime. Res64: 981B0896E46DF540 Time : 0.0 sec. user=Sashixi [2012-01-24 02:12:36] 513*2^1112032-1 is not prime. Res64: 982F0AA76963FBA8 Time : 0.0 sec. user=Sashixi [2012-01-24 02:13:33] 549*2^1112032-1 is not prime. Res64: 418157D3BF19CD74 Time : 0.0 sec. user=vaughan [2012-01-24 02:15:55] 425*2^1112028-1 is not prime. Res64: AE4C2C6FFDD6C7A9 Time : 0.0 sec. user=vaughan [2012-01-24 02:15:55] 513*2^1112028-1 is not prime. Res64: 291439FB678146AD Time : 0.0 sec. user=Sashixi [2012-01-24 02:16:25] 589*2^1112033-1 is not prime. Res64: B8A47D9D793449BA Time : 0.0 sec. user=henryzz [2012-01-24 02:16:44] 525*2^1112030-1 is not prime. Res64: 01E9553A7CAA5563 Time : 0.0 sec. user=Sashixi [2012-01-24 02:19:21] 417*2^1112036-1 is not prime. Res64: DD70D4BB2C82081B Time : 0.0 sec. user=Sashixi [2012-01-24 02:20:38] 479*2^1112036-1 is not prime. Res64: 5413CC5761F88EAD Time : 0.0 sec. user=juhehe [2012-01-24 02:23:06] 511*2^1112033-1 is not prime. Res64: 886CC10938230E42 Time : 0.0 sec. user=vaughan [2012-01-24 02:23:37] 581*2^1112030-1 is not prime. Res64: 80048733BE8A53FA Time : 0.0 sec. user=vaughan [2012-01-24 02:23:38] 565*2^1112031-1 is not prime. Res64: A1FCF4E557057D90 Time : 0.0 sec. user=Sashixi [2012-01-24 02:24:27] 483*2^1112038-1 is not prime. Res64: AFC5346A7AB8B228 Time : 0.0 sec. user=henryzz [2012-01-24 02:24:56] 503*2^1112034-1 is not prime. Res64: 9092B12C2578D61A Time : 0.0 sec. user=Sashixi [2012-01-24 02:26:15] 525*2^1112039-1 is not prime. Res64: 40F4BB2BF7100D1D Time : 0.0 sec. user=Sashixi [2012-01-24 02:26:59] 573*2^1112039-1 is not prime. Res64: 624B13E7D8873830 Time : 0.0 sec. user=henryzz [2012-01-24 02:28:41] 443*2^1112038-1 is not prime. Res64: 463BDFCBA561EF09 Time : 0.0 sec. user=Sashixi [2012-01-24 02:29:42] 473*2^1112040-1 is not prime. Res64: 6B3B196F9912268D Time : 0.0 sec. user=vaughan [2012-01-24 02:31:35] 415*2^1112035-1 is not prime. Res64: E65DF03E22A0BD56 Time : 0.0 sec. user=vaughan [2012-01-24 02:31:36] 555*2^1112035-1 is not prime. Res64: D819DDB3DF5B8FA9 Time : 0.0 sec. user=Sashixi [2012-01-24 02:32:30] 539*2^1112040-1 is not prime. Res64: AF2207AC0C29E4E2 Time : 0.0 sec. user=henryzz [2012-01-24 02:33:14] 561*2^1112038-1 is not prime. Res64: 13B15BCCBA946EBA Time : 0.0 sec. user=Sashixi [2012-01-24 02:33:58] 567*2^1112040-1 is not prime. Res64: A0044DEDEF79BDEF Time : 0.0 sec. user=Sashixi [2012-01-24 02:37:51] 535*2^1112041-1 is not prime. Res64: 69587DE39B61DFCB Time : 0.0 sec. user=henryzz [2012-01-24 02:38:31] 525*2^1112040-1 is not prime. Res64: 1014AF8E171A0ACF Time : 0.0 sec. user=Sashixi [2012-01-24 02:39:41] 425*2^1112042-1 is not prime. Res64: 02B021835E4212B2 Time : 0.0 sec. user=Sashixi [2012-01-24 02:40:26] 431*2^1112042-1 is not prime. Res64: 3BB296C31CED41FE Time : 0.0 sec. user=vaughan [2012-01-24 02:42:14] 447*2^1112040-1 is not prime. Res64: E5259BFEF2E5AD8E Time : 0.0 sec. user=vaughan [2012-01-24 02:42:15] 465*2^1112040-1 is not prime. Res64: FEF4F48B87F57A87 Time : 0.0 sec. user=Sashixi [2012-01-24 02:43:45] 495*2^1112042-1 is not prime. Res64: 84C89DF99A73D857 Time : 0.0 sec. user=juhehe [2012-01-24 02:44:50] 569*2^1112040-1 is not prime. Res64: FCE5381958623806 Time : 0.0 sec. user=Sashixi [2012-01-24 02:45:51] 451*2^1112043-1 is not prime. Res64: 4E350B5A635C39AB Time : 0.0 sec. user=henryzz [2012-01-24 02:46:11] 555*2^1112041-1 is not prime. Res64: AD4D2C1AE797B183 Time : 0.0 sec. user=Sashixi [2012-01-24 02:47:18] 513*2^1112044-1 is not prime. Res64: 5E0A0DE21CCFFB98 Time : 0.0 sec. user=vaughan [2012-01-24 02:50:10] 405*2^1112041-1 is not prime. Res64: A50E17404A840C78 Time : 0.0 sec. user=vaughan [2012-01-24 02:50:10] 517*2^1112041-1 is not prime. Res64: A0015F6A06A569BB Time : 0.0 sec. user=henryzz [2012-01-24 02:50:19] 477*2^1112042-1 is not prime. Res64: 7DFCBA85937D05FC Time : 0.0 sec. user=Sashixi [2012-01-24 02:51:21] 527*2^1112044-1 is not prime. Res64: 658210B167AEB988 Time : 0.0 sec. user=Sashixi [2012-01-24 02:53:00] 587*2^1112044-1 is not prime. Res64: 4AD75B3DED07858B Time : 0.0 sec. user=henryzz [2012-01-24 02:54:01] 455*2^1112044-1 is not prime. Res64: 0946E5DC86D8628A Time : 0.0 sec. user=Sashixi [2012-01-24 02:54:09] 447*2^1112045-1 is not prime. Res64: 8C3DE6D6A440EE2E Time : 0.0 sec. user=Sashixi [2012-01-24 02:57:40] 411*2^1112046-1 is not prime. Res64: A788B5A98C126F36 Time : 0.0 sec. user=vaughan [2012-01-24 02:58:17] 521*2^1112042-1 is not prime. Res64: F6466065312D2075 Time : 0.0 sec. user=vaughan [2012-01-24 02:58:17] 587*2^1112042-1 is not prime. Res64: B47F0E1572AF7A16 Time : 0.0 sec. user=Sashixi [2012-01-24 02:59:31] 471*2^1112046-1 is not prime. Res64: ABBED60AF6404E71 Time : 0.0 sec. user=henryzz [2012-01-24 03:00:08] 573*2^1112044-1 is not prime. Res64: DC0DD82D75C234A5 Time : 0.0 sec. user=Sashixi [2012-01-24 03:00:43] 527*2^1112046-1 is not prime. Res64: 90CB18DD9008DF7B Time : 0.0 sec. user=Sashixi [2012-01-24 03:04:37] 463*2^1112047-1 is not prime. Res64: D3CF993D5685E475 Time : 0.0 sec. user=Sashixi [2012-01-24 03:06:36] 483*2^1112047-1 is not prime. Res64: 1866F662988353E7 Time : 0.0 sec. user=juhehe [2012-01-24 03:06:40] 443*2^1112046-1 is not prime. Res64: A26431CCE1772359 Time : 0.0 sec. user=henryzz [2012-01-24 03:07:10] 483*2^1112046-1 is not prime. Res64: 6977A09142F7494B Time : 0.0 sec. user=Sashixi [2012-01-24 03:07:41] 503*2^1112048-1 is not prime. Res64: 10EE969F89DC9DB6 Time : 0.0 sec. user=vaughan [2012-01-24 03:09:24] 529*2^1112045-1 is not prime. Res64: B704404711A69857 Time : 0.0 sec. user=vaughan [2012-01-24 03:09:26] 561*2^1112045-1 is not prime. Res64: 79F9EE9C3619A75B Time : 0.0 sec. user=Sashixi [2012-01-24 03:11:02] 441*2^1112049-1 is not prime. Res64: 80EBC334B52F7285 Time : 0.0 sec. user=henryzz [2012-01-24 03:11:25] 439*2^1112047-1 is not prime. Res64: 033A043F20E00C1F Time : 0.0 sec. user=Sashixi [2012-01-24 03:13:23] 425*2^1112050-1 is not prime. Res64: E29FC3CC7416D316 Time : 0.0 sec. user=Sashixi [2012-01-24 03:13:56] 555*2^1112050-1 is not prime. Res64: 924FEDE90CB42E18 Time : 0.0 sec. user=henryzz [2012-01-24 03:15:05] 459*2^1112048-1 is not prime. Res64: E1565C29A9406FEC Time : 0.0 sec. user=vaughan [2012-01-24 03:17:19] 567*2^1112046-1 is not prime. Res64: 77AA57664174C6E7 Time : 0.0 sec. user=vaughan [2012-01-24 03:17:20] 585*2^1112046-1 is not prime. Res64: 133B75BEE4742195 Time : 0.0 sec. user=Sashixi [2012-01-24 03:18:03] 465*2^1112051-1 is not prime. Res64: 4CC3C940FC4686AA Time : 0.0 sec. user=Sashixi [2012-01-24 03:19:57] 405*2^1112052-1 is not prime. Res64: 0FD7D2192F92BC82 Time : 0.0 sec. user=henryzz [2012-01-24 03:20:56] 513*2^1112050-1 is not prime. Res64: 07172CE7580DEBDD Time : 0.0 sec. user=Sashixi [2012-01-24 03:21:07] 555*2^1112052-1 is not prime. Res64: BBCF60FADB4BE865 Time : 0.0 sec. user=Sashixi [2012-01-24 03:24:28] 471*2^1112053-1 is not prime. Res64: 6B21C4F20C625C65 Time : 0.0 sec. user=vaughan [2012-01-24 03:25:33] 535*2^1112049-1 is not prime. Res64: 355F1AAE0F5ECE5E Time : 0.0 sec. user=vaughan [2012-01-24 03:25:34] 559*2^1112049-1 is not prime. Res64: 18C35301EEA63D62 Time : 0.0 sec. user=Sashixi [2012-01-24 03:26:57] 565*2^1112053-1 is not prime. Res64: 33DDC9577AFF4EB5 Time : 0.0 sec. user=Sashixi [2012-01-24 03:27:07] 465*2^1112055-1 is not prime. Res64: 0C2602D48E8228B9 Time : 0.0 sec. user=juhehe [2012-01-24 03:28:28] 447*2^1112052-1 is not prime. Res64: 6B1D34C8AA6510B3 Time : 0.0 sec. user=henryzz [2012-01-24 03:28:38] 549*2^1112052-1 is not prime. Res64: 6E483104853F3B8C Time : 0.0 sec. user=Sashixi [2012-01-24 03:31:16] 453*2^1112056-1 is not prime. Res64: 5CE66CA823D1E129 Time : 0.0 sec. user=Sashixi [2012-01-24 03:33:17] 455*2^1112056-1 is not prime. Res64: 24BDA6A48F642383 Time : 0.0 sec. user=henryzz [2012-01-24 03:33:21] 481*2^1112053-1 is not prime. Res64: 2E708048D8175972 Time : 0.0 sec. user=Sashixi [2012-01-24 03:34:28] 495*2^1112056-1 is not prime. Res64: E28BCE01D597BF6D Time : 0.0 sec. user=henryzz [2012-01-24 03:35:22] 493*2^1112055-1 is not prime. Res64: BD7E6C849647B147 Time : 0.0 sec. user=vaughan [2012-01-24 03:36:49] 587*2^1112052-1 is not prime. Res64: 3533A6F8DAF91D42 Time : 0.0 sec. user=vaughan [2012-01-24 03:36:50] 465*2^1112053-1 is not prime. Res64: A22244539AC50171 Time : 0.0 sec. user=Sashixi [2012-01-24 03:37:49] 587*2^1112056-1 is not prime. Res64: 7EF2A0494DEEE4AA Time : 0.0 sec. user=Sashixi [2012-01-24 03:40:23] 471*2^1112058-1 is not prime. Res64: B9DC179C0AD27BEC Time : 0.0 sec. user=Sashixi [2012-01-24 03:40:59] 571*2^1112057-1 is not prime. Res64: 9FDE93DFE4E3D3F8 Time : 0.0 sec. user=henryzz [2012-01-24 03:42:37] 485*2^1112056-1 is not prime. Res64: 30A58083E809C623 Time : 0.0 sec. user=vaughan [2012-01-24 03:44:24] 513*2^1112055-1 is not prime. Res64: 40908E5FBDC734B0 Time : 0.0 sec. user=vaughan [2012-01-24 03:44:25] 579*2^1112055-1 is not prime. Res64: FAB710C6E3F1C75A Time : 0.0 sec. user=Sashixi [2012-01-24 03:44:49] 531*2^1112059-1 is not prime. Res64: 330B830C4D870386 Time : 0.0 sec. user=Sashixi [2012-01-24 03:46:30] 549*2^1112059-1 is not prime. Res64: 78DC8FE0B973873A Time : 0.0 sec. user=Sashixi [2012-01-24 03:47:49] 599*2^1112060-1 is not prime. Res64: D2E561D1245E8EC2 Time : 0.0 sec. user=henryzz [2012-01-24 03:50:04] 429*2^1112059-1 is not prime. Res64: 290ACDF370788B65 Time : 0.0 sec. user=juhehe [2012-01-24 03:50:13] 503*2^1112058-1 is not prime. Res64: 0AF5038C8C7C9250 Time : 0.0 sec. user=Sashixi [2012-01-24 03:51:19] 471*2^1112061-1 is not prime. Res64: EA48B64D40B6190E Time : 0.0 sec. user=vaughan [2012-01-24 03:52:35] 597*2^1112056-1 is not prime. Res64: 791AEE3705F7EC52 Time : 0.0 sec. user=vaughan [2012-01-24 03:52:36] 567*2^1112057-1 is not prime. Res64: B3377C5764796763 Time : 0.0 sec. user=Sashixi [2012-01-24 03:54:00] 537*2^1112061-1 is not prime. Res64: 13B9A06EB35983E2 Time : 0.0 sec. user=henryzz [2012-01-24 03:54:18] 483*2^1112060-1 is not prime. Res64: 61F4C28C450A0F6E Time : 0.0 sec. user=Sashixi [2012-01-24 03:54:30] 577*2^1112061-1 is not prime. Res64: 913855587A975196 Time : 0.0 sec. user=henryzz [2012-01-24 03:56:19] 439*2^1112061-1 is not prime. Res64: 3E101A0B5F93D178 Time : 0.0 sec. user=Sashixi [2012-01-24 03:58:13] 481*2^1112063-1 is not prime. Res64: 23A3DCAE3143AFC0 Time : 0.0 sec. user=Sashixi [2012-01-24 03:59:29] 595*2^1112063-1 is not prime. Res64: 3BE253202372C50F Time : 0.0 sec. user=Sashixi [2012-01-24 04:01:22] 423*2^1112064-1 is not prime. Res64: E128B73784D38F0D Time : 0.0 sec. user=henryzz [2012-01-24 04:03:27] 579*2^1112061-1 is not prime. Res64: 8FCB3D5BD204FF2F Time : 0.0 sec. user=vaughan [2012-01-24 04:04:02] 447*2^1112061-1 is not prime. Res64: 1618534DE07DFBD6 Time : 0.0 sec. user=vaughan [2012-01-24 04:04:03] 459*2^1112061-1 is not prime. Res64: 8943D08B0F3938E7 Time : 0.0 sec. user=Sashixi [2012-01-24 04:04:54] 409*2^1112065-1 is not prime. Res64: 4B555B1D55FFDE45 Time : 0.0 sec. user=Sashixi [2012-01-24 04:07:23] 561*2^1112065-1 is not prime. Res64: EF9BAE43A489ECC3 Time : 0.0 sec. user=Sashixi [2012-01-24 04:08:08] 589*2^1112065-1 is not prime. Res64: FC2F583A876B7365 Time : 0.0 sec. user=vaughan [2012-01-24 04:11:18] 525*2^1112062-1 is not prime. Res64: B7C558283C407BCA Time : 0.0 sec. user=vaughan [2012-01-24 04:11:19] 533*2^1112062-1 is not prime. Res64: D87888125A0B30F0 Time : 0.0 sec. user=Sashixi [2012-01-24 04:11:30] 419*2^1112068-1 is not prime. Res64: EF4AFD503658036D Time : 0.0 sec. user=henryzz [2012-01-24 04:11:38] 513*2^1112064-1 is not prime. Res64: D1FB703E081E4273 Time : 0.0 sec. user=juhehe [2012-01-24 04:11:54] 405*2^1112065-1 is not prime. Res64: 9259109AE86916F8 Time : 0.0 sec. user=Sashixi [2012-01-24 04:12:55] 483*2^1112068-1 is not prime. Res64: 1C1C3DB0C005E59F Time : 0.0 sec. user=Sashixi [2012-01-24 04:14:51] 489*2^1112068-1 is not prime. Res64: 22DC7B818CC6D54C Time : 0.0 sec. user=henryzz [2012-01-24 04:15:34] 565*2^1112065-1 is not prime. Res64: FEA074FB98703C85 Time : 0.0 sec. user=henryzz [2012-01-24 04:17:58] 441*2^1112067-1 is not prime. Res64: F3FD92BB55398247 Time : 0.0 sec. user=Sashixi [2012-01-24 04:18:42] 441*2^1112069-1 is not prime. Res64: 0ED8227F6A8E19B8 Time : 0.0 sec. user=vaughan [2012-01-24 04:19:24] 489*2^1112065-1 is not prime. Res64: 6FABCFDD2ED23DD0 Time : 0.0 sec. user=vaughan [2012-01-24 04:19:24] 555*2^1112065-1 is not prime. Res64: C8E2B54A0240F46B Time : 0.0 sec. user=Sashixi [2012-01-24 04:20:31] 549*2^1112069-1 is not prime. Res64: BAFA28D64F5B0C6E Time : 0.0 sec. user=Sashixi [2012-01-24 04:21:34] 483*2^1112070-1 is not prime. Res64: 82EDFE07F63F133E Time : 0.0 sec. user=henryzz [2012-01-24 04:24:09] 497*2^1112068-1 is not prime. Res64: C4C5A27DF1B36169 Time : 0.0 sec. user=Sashixi [2012-01-24 04:25:03] 493*2^1112071-1 is not prime. Res64: CAE31A6CF890606D Time : 0.0 sec. user=Sashixi [2012-01-24 04:26:33] 561*2^1112071-1 is not prime. Res64: B8BF496831F79409 Time : 0.0 sec. user=Sashixi [2012-01-24 04:28:43] 507*2^1112072-1 is not prime. Res64: C69F48FBA93A85AA Time : 0.0 sec. user=vaughan [2012-01-24 04:30:34] 417*2^1112069-1 is not prime. Res64: 729DF5283ACB3481 Time : 0.0 sec. user=vaughan [2012-01-24 04:30:35] 421*2^1112069-1 is not prime. Res64: D6AE9039137E1CE1 Time : 0.0 sec. user=Sashixi [2012-01-24 04:32:14] 599*2^1112072-1 is not prime. Res64: 8B3283B0AE3E4FF0 Time : 0.0 sec. user=henryzz [2012-01-24 04:32:41] 511*2^1112071-1 is not prime. Res64: 0D70A126561F3F82 Time : 0.0 sec. user=juhehe [2012-01-24 04:33:38] 559*2^1112071-1 is not prime. Res64: 56D85A02A0293E4C Time : 0.0 sec. user=Sashixi [2012-01-24 04:34:28] 507*2^1112073-1 is not prime. Res64: 258C6C49384B48F5 Time : 0.0 sec. user=Sashixi [2012-01-24 04:35:12] 503*2^1112074-1 is not prime. Res64: D05C402F8BC0E428 Time : 0.0 sec. user=henryzz [2012-01-24 04:36:15] 525*2^1112072-1 is not prime. Res64: 5600136386B5E239 Time : 0.0 sec. user=vaughan [2012-01-24 04:37:57] 423*2^1112071-1 is not prime. Res64: AF16716CF9CEB2BD Time : 0.0 sec. user=vaughan [2012-01-24 04:37:58] 483*2^1112071-1 is not prime. Res64: BCFA6153D025010B Time : 0.0 sec. user=Sashixi [2012-01-24 04:38:46] 531*2^1112074-1 is not prime. Res64: 831F1970BE8347C6 Time : 0.0 sec. user=henryzz [2012-01-24 04:39:34] 539*2^1112072-1 is not prime. Res64: 134FCA73A22BA0B9 Time : 0.0 sec. user=Sashixi [2012-01-24 04:40:15] 533*2^1112074-1 is not prime. Res64: 7AF6579A6DF3FFFD Time : 0.0 sec. user=Sashixi [2012-01-24 04:42:20] 433*2^1112075-1 is not prime. Res64: 05A6B58B7130CAA5 Time : 0.0 sec. user=henryzz [2012-01-24 04:45:34] 513*2^1112074-1 is not prime. Res64: 2152F5285619D3C8 Time : 0.0 sec. user=Sashixi [2012-01-24 04:45:44] 557*2^1112076-1 is not prime. Res64: B1FE0B1E6F697A09 Time : 0.0 sec. user=vaughan [2012-01-24 04:45:47] 439*2^1112073-1 is not prime. Res64: 9C49AA8ECC32BAE5 Time : 0.0 sec. user=vaughan [2012-01-24 04:45:48] 499*2^1112073-1 is not prime. Res64: 8C0C353496291875 Time : 0.0 sec. user=Sashixi [2012-01-24 04:47:48] 465*2^1112077-1 is not prime. Res64: 9DF2157EFE4346A7 Time : 0.0 sec. user=Sashixi [2012-01-24 04:48:40] 505*2^1112077-1 is not prime. Res64: AC74DD051080BED0 Time : 0.0 sec. user=Sashixi [2012-01-24 04:52:15] 503*2^1112078-1 is not prime. Res64: D623C69BD754E5A9 Time : 0.0 sec. user=Sashixi [2012-01-24 04:53:42] 531*2^1112079-1 is not prime. Res64: 9CCA4D5BD32481A8 Time : 0.0 sec. user=henryzz [2012-01-24 04:54:07] 587*2^1112076-1 is not prime. Res64: 4D0EC4C7DEAC6F3A Time : 0.0 sec. user=juhehe [2012-01-24 04:55:23] 405*2^1112077-1 is not prime. Res64: 9D9F57FFB53DE277 Time : 0.0 sec. user=Sashixi [2012-01-24 04:55:52] 573*2^1112079-1 is not prime. Res64: C5EACB38CBB6F4CD Time : 0.0 sec. user=vaughan [2012-01-24 04:56:45] 525*2^1112076-1 is not prime. Res64: 9730F31AE4F0336F Time : 0.0 sec. user=vaughan [2012-01-24 04:56:45] 539*2^1112076-1 is not prime. Res64: 97D1846BEB805443 Time : 0.0 sec. user=henryzz [2012-01-24 04:57:14] 405*2^1112078-1 is not prime. Res64: AB387BC9A56691D1 Time : 0.0 sec. user=Sashixi [2012-01-24 04:59:19] 563*2^1112080-1 is not prime. Res64: C0ED1F48FE000544 Time : 0.0 sec. user=Sashixi [2012-01-24 05:00:45] 465*2^1112081-1 is not prime. Res64: 81A0290F8EE374F7 Time : 0.0 sec. user=henryzz [2012-01-24 05:01:08] 525*2^1112078-1 is not prime. Res64: 68C0A6408464BE5D Time : 0.0 sec. user=Sashixi [2012-01-24 05:02:20] 537*2^1112081-1 is not prime. Res64: 1FD32F38F8EA083E Time : 0.0 sec. user=vaughan [2012-01-24 05:04:15] 417*2^1112078-1 is not prime. Res64: 25EC63ACD28A4613 Time : 0.0 sec. user=vaughan [2012-01-24 05:04:16] 447*2^1112078-1 is not prime. Res64: D5CBDFCB901CE1BE Time : 0.0 sec. user=Sashixi [2012-01-24 05:05:40] 401*2^1112082-1 is not prime. Res64: 6E3FBF6857B48FF6 Time : 0.0 sec. user=henryzz [2012-01-24 05:06:57] 483*2^1112080-1 is not prime. Res64: 47512A7E362ADCC2 Time : 0.0 sec. user=Sashixi [2012-01-24 05:07:18] 485*2^1112082-1 is not prime. Res64: 6185657FA90FBB41 Time : 0.0 sec. user=Sashixi [2012-01-24 05:09:20] 409*2^1112085-1 is not prime. Res64: D0A6E666543DD034 Time : 0.0 sec. user=vaughan [2012-01-24 05:12:11] 587*2^1112080-1 is not prime. Res64: 7DFCE9F3538BF7F1 Time : 0.0 sec. user=vaughan [2012-01-24 05:12:12] 405*2^1112081-1 is not prime. Res64: 65D7C9DF2D8BB6A0 Time : 0.0 sec. user=Sashixi [2012-01-24 05:12:37] 409*2^1112087-1 is not prime. Res64: B119DD816F2AA2C4 Time : 0.0 sec. user=Sashixi [2012-01-24 05:14:01] 423*2^1112087-1 is not prime. Res64: CE1260F9F711B3C1 Time : 0.0 sec. user=henryzz [2012-01-24 05:14:43] 523*2^1112083-1 is not prime. Res64: A14F5179C7F38EBC Time : 0.0 sec. user=Sashixi [2012-01-24 05:15:38] 589*2^1112087-1 is not prime. Res64: 23F7ADBE634769C4 Time : 0.0 sec. user=juhehe [2012-01-24 05:17:08] 541*2^1112083-1 is not prime. Res64: 956B16D696BD6DA9 Time : 0.0 sec. user=henryzz [2012-01-24 05:18:05] 443*2^1112086-1 is not prime. Res64: 8110085D2A8FE4D0 Time : 0.0 sec. user=Sashixi [2012-01-24 05:19:14] 547*2^1112089-1 is not prime. Res64: 58F5121D6B7AD495 Time : 0.0 sec. user=Sashixi [2012-01-24 05:20:49] 483*2^1112090-1 is not prime. Res64: 0ED236A0B75BFF60 Time : 0.0 sec. user=henryzz [2012-01-24 05:22:15] 585*2^1112087-1 is not prime. Res64: 249CC5289A56022A Time : 0.0 sec. user=Sashixi [2012-01-24 05:22:51] 593*2^1112090-1 is not prime. Res64: 8AFEF14A9D23429F Time : 0.0 sec. user=vaughan [2012-01-24 05:23:08] 471*2^1112085-1 is not prime. Res64: 883AB6AFAF23FEC0 Time : 0.0 sec. user=vaughan [2012-01-24 05:23:09] 579*2^1112085-1 is not prime. Res64: 823C49B58267E001 Time : 0.0 sec. user=Sashixi [2012-01-24 05:26:03] 579*2^1112092-1 is not prime. Res64: 40152B8AF7008BB9 Time : 0.0 sec. user=Sashixi [2012-01-24 05:27:26] 567*2^1112093-1 is not prime. Res64: 7A76CE218053145E Time : 0.0 sec. user=Sashixi [2012-01-24 05:28:53] 431*2^1112094-1 is not prime. Res64: EA42707A07B23463 Time : 0.0 sec. user=henryzz [2012-01-24 05:28:58] 425*2^1112090-1 is not prime. Res64: 815F819BDF09E6B6 Time : 0.0 sec. user=vaughan [2012-01-24 05:30:48] 437*2^1112088-1 is not prime. Res64: 9A9AFCD56CC9FF03 Time : 0.0 sec. user=vaughan [2012-01-24 05:30:49] 435*2^1112089-1 is not prime. Res64: 75A552A2935C86DC Time : 0.0 sec. user=Sashixi [2012-01-24 05:32:52] 587*2^1112094-1 is not prime. Res64: 8A8011F9353E62D3 Time : 0.0 sec. user=Sashixi [2012-01-24 05:34:33] 465*2^1112095-1 is not prime. Res64: 652575A0DCE8A0DB Time : 0.0 sec. user=henryzz [2012-01-24 05:35:20] 423*2^1112094-1 is not prime. Res64: A3E300EC99913E64 Time : 0.0 sec. user=Sashixi [2012-01-24 05:36:23] 495*2^1112096-1 is not prime. Res64: 05097AFDEBD11862 Time : 0.0 sec. user=vaughan [2012-01-24 05:38:21] 585*2^1112091-1 is not prime. Res64: 440203520BE717FB Time : 0.0 sec. user=vaughan [2012-01-24 05:38:22] 595*2^1112091-1 is not prime. Res64: 62F8A9216C495A47 Time : 0.0 sec. user=juhehe [2012-01-24 05:38:52] 513*2^1112094-1 is not prime. Res64: 92AA25F59BE995E5 Time : 0.0 sec. user=Sashixi [2012-01-24 05:39:25] 501*2^1112097-1 is not prime. Res64: EA28B43BFFC0E013 Time : 0.0 sec. user=henryzz [2012-01-24 05:39:58] 557*2^1112094-1 is not prime. Res64: 317C43BAB13BFD0D Time : 0.0 sec. user=Sashixi [2012-01-24 05:40:46] 549*2^1112097-1 is not prime. Res64: 77E5478B414A4601 Time : 0.0 sec. user=Sashixi [2012-01-24 05:42:31] 585*2^1112097-1 is not prime. Res64: E1A6578118776580 Time : 0.0 sec. user=henryzz [2012-01-24 05:43:49] 511*2^1112095-1 is not prime. Res64: A7C0C22AF171860A Time : 0.0 sec. user=Sashixi [2012-01-24 05:46:18] 433*2^1112099-1 is not prime. Res64: 8751DD9299AEFC3A Time : 0.0 sec. user=Sashixi [2012-01-24 05:48:08] 441*2^1112099-1 is not prime. Res64: 3884531D32697D3B Time : 0.0 sec. user=vaughan [2012-01-24 05:49:33] 519*2^1112096-1 is not prime. Res64: 54A29BABEA85C467 Time : 0.0 sec. user=vaughan [2012-01-24 05:49:34] 499*2^1112097-1 is not prime. Res64: E88B2C8F454F44C7 Time : 0.0 sec. user=Sashixi [2012-01-24 05:49:51] 447*2^1112100-1 is not prime. Res64: 404C0E9C8C4C1CCA Time : 0.0 sec. user=henryzz [2012-01-24 05:51:05] 491*2^1112098-1 is not prime. Res64: BF70873B270B716C Time : 0.0 sec. user=Sashixi [2012-01-24 05:52:55] 515*2^1112100-1 is not prime. Res64: E829E2F51DD2BCB5 Time : 0.0 sec. user=Sashixi [2012-01-24 05:54:18] 405*2^1112101-1 is not prime. Res64: 3EF3DBDB85883417 Time : 0.0 sec. user=Sashixi [2012-01-24 05:55:44] 411*2^1112101-1 is not prime. Res64: 66BD5F26A0C87E7A Time : 0.0 sec. user=henryzz [2012-01-24 05:56:32] 595*2^1112099-1 is not prime. Res64: B97044DF7288C90F Time : 0.0 sec. user=vaughan [2012-01-24 05:57:15] 545*2^1112098-1 is not prime. Res64: 36852EB96E240601 Time : 0.0 sec. user=vaughan [2012-01-24 05:57:16] 403*2^1112099-1 is not prime. Res64: 1A12EC03E6DFC45F Time : 0.0 sec. user=Sashixi [2012-01-24 05:59:46] 505*2^1112101-1 is not prime. Res64: 6EF4C15A6338C496 Time : 0.0 sec. user=juhehe [2012-01-24 06:00:34] 513*2^1112100-1 is not prime. Res64: A0D4A2437914B9E3 Time : 0.0 sec. user=henryzz [2012-01-24 06:00:53] 549*2^1112100-1 is not prime. Res64: 38C171986A347926 Time : 0.0 sec. user=Sashixi [2012-01-24 06:01:44] 577*2^1112101-1 is not prime. Res64: D8D7E82260131F23 Time : 0.0 sec. user=Sashixi [2012-01-24 06:03:14] 481*2^1112103-1 is not prime. Res64: B8FFDD261764B627 Time : 0.0 sec. user=henryzz [2012-01-24 06:04:59] 465*2^1112101-1 is not prime. Res64: 366BDE9254C25AA6 Time : 0.0 sec. user=vaughan [2012-01-24 06:05:03] 459*2^1112100-1 is not prime. Res64: 3EDCA32625626A79 Time : 0.0 sec. user=vaughan [2012-01-24 06:05:04] 465*2^1112100-1 is not prime. Res64: C62735F7C3D31A3D Time : 0.0 sec. user=Sashixi [2012-01-24 06:06:04] 447*2^1112104-1 is not prime. Res64: 519301DAE321E73A Time : 0.0 sec. user=Sashixi [2012-01-24 06:07:48] 569*2^1112104-1 is not prime. Res64: 255D78D08E677887 Time : 0.0 sec. user=Sashixi [2012-01-24 06:08:49] 597*2^1112104-1 is not prime. Res64: 3F96730E78798FAE Time : 0.0 sec. user=henryzz [2012-01-24 06:12:38] 573*2^1112103-1 is not prime. Res64: EDC7D239C7736CCF Time : 0.0 sec. user=Sashixi [2012-01-24 06:13:16] 431*2^1112106-1 is not prime. Res64: 56C67190721F7406 Time : 0.0 sec. user=Sashixi [2012-01-24 06:15:00] 405*2^1112107-1 is not prime. Res64: 67C8EBFAAC739169 Time : 0.0 sec. user=vaughan [2012-01-24 06:16:12] 407*2^1112102-1 is not prime. Res64: AA8FEA3A65B03A71 Time : 0.0 sec. user=vaughan [2012-01-24 06:16:12] 557*2^1112102-1 is not prime. Res64: 1E137E9F1EA10D5A Time : 0.0 sec. user=Sashixi [2012-01-24 06:16:40] 531*2^1112107-1 is not prime. Res64: 23D7D90EB26DD6EC Time : 0.0 sec. user=henryzz [2012-01-24 06:18:53] 411*2^1112105-1 is not prime. Res64: 0FCCC5E88846D088 Time : 0.0 sec. user=Sashixi [2012-01-24 06:19:37] 473*2^1112108-1 is not prime. Res64: 9DA503654F00E60E Time : 0.0 sec. user=Sashixi [2012-01-24 06:21:00] 495*2^1112108-1 is not prime. Res64: 71BB26AF91DEAC87 Time : 0.0 sec. user=Sashixi [2012-01-24 06:22:11] 465*2^1112109-1 is not prime. Res64: ED613371B08E1D9D Time : 0.0 sec. user=henryzz [2012-01-24 06:22:16] 593*2^1112106-1 is not prime. Res64: 47A763AC8F0C243B Time : 0.0 sec. user=juhehe [2012-01-24 06:22:24] 525*2^1112106-1 is not prime. Res64: DF91FC0218042F3D Time : 0.0 sec. user=vaughan [2012-01-24 06:23:42] 525*2^1112105-1 is not prime. Res64: 42195C0E0382C0EC Time : 0.0 sec. user=vaughan [2012-01-24 06:23:42] 579*2^1112105-1 is not prime. Res64: 2143BCD4D3D0E0E2 Time : 0.0 sec. user=henryzz [2012-01-24 06:25:33] 573*2^1112107-1 is not prime. Res64: 42496175377B995A Time : 0.0 sec. user=Sashixi [2012-01-24 06:26:40] 483*2^1112110-1 is not prime. Res64: 14F7A54E3FC43077 Time : 0.0 sec. user=Sashixi [2012-01-24 06:28:29] 503*2^1112110-1 is not prime. Res64: 63A2248BAC7CFBFE Time : 0.0 sec. user=Sashixi [2012-01-24 06:30:13] 453*2^1112111-1 is not prime. Res64: 28E888B5FBF044B0 Time : 0.0 sec. user=vaughan [2012-01-24 06:31:23] 425*2^1112108-1 is not prime. Res64: 353348E3FA0AD42C Time : 0.0 sec. user=vaughan [2012-01-24 06:31:23] 435*2^1112108-1 is not prime. Res64: 77B801FF51B06962 Time : 0.0 sec. user=Sashixi [2012-01-24 06:33:01] 511*2^1112111-1 is not prime. Res64: 118A8B500E137CB5 Time : 0.0 sec. user=Sashixi [2012-01-24 06:34:22] 405*2^1112112-1 is not prime. Res64: 489144D61AFA4A2E Time : 0.0 sec. user=Sashixi [2012-01-24 06:35:19] 557*2^1112112-1 is not prime. Res64: F33BC1C48066ADFB Time : 0.0 sec. user=henryzz [2012-01-24 06:35:44] 461*2^1112110-1 is not prime. Res64: 64EFB1C4C6D286BF Time : 0.0 sec. user=Sashixi [2012-01-24 06:40:18] 471*2^1112115-1 is not prime. Res64: 811071C752CD5949 Time : 0.0 sec. user=henryzz [2012-01-24 06:40:22] 475*2^1112111-1 is not prime. Res64: 1A57CC89DCF8E402 Time : 0.0 sec. user=Sashixi [2012-01-24 06:41:37] 555*2^1112115-1 is not prime. Res64: 2E3DFB5885A9EB6B Time : 0.0 sec. user=vaughan [2012-01-24 06:42:34] 513*2^1112110-1 is not prime. Res64: 0E8E95AC74BC3A33 Time : 0.0 sec. user=vaughan [2012-01-24 06:42:34] 411*2^1112111-1 is not prime. Res64: B653FC674D4EAC78 Time : 0.0 sec. user=Sashixi [2012-01-24 06:43:43] 485*2^1112116-1 is not prime. Res64: 5BE7056CEF49E440 Time : 0.0 sec. user=juhehe [2012-01-24 06:44:11] 471*2^1112113-1 is not prime. Res64: BA293E2BB57B98CD Time : 0.0 sec. user=henryzz [2012-01-24 06:46:39] 411*2^1112113-1 is not prime. Res64: 8D1A000774BEB3BD Time : 0.0 sec. user=Sashixi [2012-01-24 06:46:52] 439*2^1112117-1 is not prime. Res64: FD92917AF70A8B85 Time : 0.0 sec. user=Sashixi [2012-01-24 06:48:09] 447*2^1112117-1 is not prime. Res64: 712C6652A11CFC07 Time : 0.0 sec. user=Sashixi [2012-01-24 06:48:50] 451*2^1112117-1 is not prime. Res64: B88AA05568FC4CFA Time : 0.0 sec. user=vaughan [2012-01-24 06:50:14] 477*2^1112113-1 is not prime. Res64: 65C715DA5445A7F3 Time : 0.0 sec. user=vaughan [2012-01-24 06:50:15] 559*2^1112113-1 is not prime. Res64: D8F12F831FC35069 Time : 0.0 sec. user=henryzz [2012-01-24 06:50:15] 531*2^1112114-1 is not prime. Res64: CC7CAF99BEF18A3A Time : 0.0 sec. user=vaughan [2012-01-24 06:57:47] 545*2^1112116-1 is not prime. Res64: 04CA71E7563332C1 Time : 0.0 sec. user=vaughan [2012-01-24 06:57:48] 575*2^1112116-1 is not prime. Res64: 14D4AB2576E2562C Time : 0.0 sec. user=henryzz [2012-01-24 06:59:06] 589*2^1112117-1 is not prime. Res64: FBF616D667BB1CFA Time : 0.0 sec. user=henryzz [2012-01-24 07:03:27] 413*2^1112118-1 is not prime. Res64: F35DA09B4D582E8F Time : 0.0 sec. user=juhehe [2012-01-24 07:05:56] 525*2^1112118-1 is not prime. Res64: BE83920D04B90F53 Time : 0.0 sec. user=vaughan [2012-01-24 07:08:55] 471*2^1112118-1 is not prime. Res64: 147803FD51BFEBB1 Time : 0.0 sec. user=vaughan [2012-01-24 07:08:56] 507*2^1112118-1 is not prime. Res64: 8744F15C691999D9 Time : 0.0 sec. user=henryzz [2012-01-24 07:10:20] 415*2^1112119-1 is not prime. Res64: 760A888808B4566C Time : 0.0 sec. user=henryzz [2012-01-24 07:15:34] 465*2^1112119-1 is not prime. Res64: 543B6E01B7821B41 Time : 0.0 sec. user=vaughan [2012-01-24 07:16:31] 441*2^1112119-1 is not prime. Res64: 445ED115074F9625 Time : 0.0 sec. user=vaughan [2012-01-24 07:16:32] 463*2^1112119-1 is not prime. Res64: 842719F40BE959A4 Time : 0.0 sec. user=vaughan [2012-01-24 07:24:11] 469*2^1112119-1 is not prime. Res64: 4E491E68AEA2CA32 Time : 0.0 sec. user=vaughan [2012-01-24 07:24:12] 483*2^1112119-1 is not prime. Res64: C7325A72FAD43076 Time : 0.0 sec. user=henryzz [2012-01-24 07:24:32] 499*2^1112119-1 is not prime. Res64: 6011F4A75F59C97A Time : 0.0 sec. user=juhehe [2012-01-24 07:27:44] 407*2^1112120-1 is not prime. Res64: C553B3133370DAA7 Time : 0.0 sec. user=henryzz [2012-01-24 07:28:25] 559*2^1112119-1 is not prime. Res64: DA8389D14B79ADFC Time : 0.0 sec. user=henryzz [2012-01-24 07:34:58] 483*2^1112120-1 is not prime. Res64: 08D255BE55B35134 Time : 0.0 sec. user=vaughan [2012-01-24 07:35:23] 437*2^1112120-1 is not prime. Res64: EA92CC64C4C5C19D Time : 0.0 sec. user=vaughan [2012-01-24 07:35:23] 479*2^1112120-1 is not prime. Res64: 55DD81FDF09D60BA Time : 0.0 sec. user=henryzz [2012-01-24 07:38:45] 489*2^1112120-1 is not prime. Res64: 5AE6F43212098692 Time : 0.0 sec. user=vaughan [2012-01-24 07:42:50] 539*2^1112120-1 is not prime. Res64: 6D912BAC09A23446 Time : 0.0 sec. user=vaughan [2012-01-24 07:42:51] 429*2^1112121-1 is not prime. Res64: D6E024549176AB5E Time : 0.0 sec. user=henryzz [2012-01-24 07:48:26] 561*2^1112122-1 is not prime. Res64: A5A72215DAA50B12 Time : 0.0 sec. user=vaughan [2012-01-24 07:50:25] 471*2^1112122-1 is not prime. Res64: 8A18DF33E06E2E8D Time : 0.0 sec. user=vaughan [2012-01-24 07:50:26] 525*2^1112122-1 is not prime. Res64: DF01F576DDA3F537 Time : 0.0 sec. user=henryzz [2012-01-24 07:52:42] 439*2^1112123-1 is not prime. Res64: 989A3DD397EC1AF9 Time : 0.0 sec. user=henryzz [2012-01-24 07:58:27] 453*2^1112124-1 is not prime. Res64: E7E21CBB13F233C1 Time : 0.0 sec. user=vaughan [2012-01-24 08:01:37] 483*2^1112124-1 is not prime. Res64: 6F3828C5F8344C5F Time : 0.0 sec. user=vaughan [2012-01-24 08:01:38] 567*2^1112124-1 is not prime. Res64: 4F6B255C44B97D92 Time : 0.0 sec. user=henryzz [2012-01-24 08:04:14] 585*2^1112124-1 is not prime. Res64: D976C0C9EF74866E Time : 0.0 sec. user=vaughan [2012-01-24 08:08:50] 415*2^1112125-1 is not prime. Res64: 693D4DEB180542C3 Time : 0.0 sec. user=vaughan [2012-01-24 08:08:51] 547*2^1112125-1 is not prime. Res64: 8D65D979B665D43B Time : 0.0 sec. user=henryzz [2012-01-24 08:12:21] 437*2^1112126-1 is not prime. Res64: 5173F3A383DB04FD Time : 0.0 sec. user=vaughan [2012-01-24 08:16:08] 503*2^1112126-1 is not prime. Res64: 2978056B104DCFCE Time : 0.0 sec. user=vaughan [2012-01-24 08:16:09] 575*2^1112126-1 is not prime. Res64: D922F21E1052ED1F Time : 0.0 sec. user=henryzz [2012-01-24 08:18:20] 441*2^1112127-1 is not prime. Res64: DA4E2C1BB587047C Time : 0.0 sec. user=henryzz [2012-01-24 08:23:15] 471*2^1112127-1 is not prime. Res64: AC282E066AF03D46 Time : 0.0 sec. user=vaughan [2012-01-24 08:27:08] 543*2^1112127-1 is not prime. Res64: 8B813B238FC4F881 Time : 0.0 sec. user=vaughan [2012-01-24 08:27:09] 549*2^1112127-1 is not prime. Res64: C6DE297A25D47EA0 Time : 0.0 sec. user=henryzz [2012-01-24 08:28:35] 465*2^1112128-1 is not prime. Res64: 54FA3A27CBF5E3EF Time : 0.0 sec. user=vaughan [2012-01-24 08:34:15] 485*2^1112128-1 is not prime. Res64: 4E737AC332D6FA00 Time : 0.0 sec. user=vaughan [2012-01-24 08:34:16] 495*2^1112128-1 is not prime. Res64: 0FBD74AD85D05CAC Time : 0.0 sec. user=henryzz [2012-01-24 08:38:08] 527*2^1112128-1 is not prime. Res64: 49A67A0F32AC49E3 Time : 0.0 sec. user=vaughan [2012-01-24 08:41:35] 533*2^1112128-1 is not prime. Res64: 3D925247C52DF724 Time : 0.0 sec. user=vaughan [2012-01-24 08:41:36] 483*2^1112130-1 is not prime. Res64: 72E9DC1223DCA6C0 Time : 0.0 sec. user=henryzz [2012-01-24 08:43:44] 513*2^1112130-1 is not prime. Res64: 354FE7FDDB7CC019 Time : 0.0 sec. user=henryzz [2012-01-24 08:47:29] 525*2^1112130-1 is not prime. Res64: 7E843A61F14ACF20 Time : 0.0 sec. user=vaughan [2012-01-24 08:52:29] 587*2^1112130-1 is not prime. Res64: E46A65BFD085DCC9 Time : 0.0 sec. user=vaughan [2012-01-24 08:52:29] 405*2^1112131-1 is not prime. Res64: BC978435BCD7C8AF Time : 0.0 sec. user=henryzz [2012-01-24 08:54:18] 505*2^1112131-1 is not prime. Res64: C7264B0DFAF52CF5 Time : 0.0 sec. user=vaughan [2012-01-24 08:59:36] 435*2^1112132-1 is not prime. Res64: AA48F88D7C46F5CB Time : 0.0 sec. user=vaughan [2012-01-24 08:59:36] 515*2^1112132-1 is not prime. Res64: 903FAEA74674968B Time : 0.0 sec. user=henryzz [2012-01-24 09:06:34] 585*2^1112132-1 is not prime. Res64: 0BFB1B5018D88697 Time : 0.0 sec. user=vaughan [2012-01-24 09:06:57] 533*2^1112134-1 is not prime. Res64: E8F2139563B2BBAB Time : 0.0 sec. user=vaughan [2012-01-24 09:06:59] 593*2^1112134-1 is not prime. Res64: 9B9A154353D68037 Time : 0.0 sec. user=henryzz [2012-01-24 09:12:19] 523*2^1112135-1 is not prime. Res64: 02DD0DDE6CC68D8E Time : 0.0 sec. user=henryzz [2012-01-24 09:12:42] 553*2^1112135-1 is not prime. Res64: 7681A03E7E294689 Time : 0.0 sec. user=vaughan [2012-01-24 09:17:51] 585*2^1112135-1 is not prime. Res64: 5FB3E311E218D2FE Time : 0.0 sec. user=vaughan [2012-01-24 09:17:51] 459*2^1112136-1 is not prime. Res64: 436A290DEDD58C75 Time : 0.0 sec. user=henryzz [2012-01-24 09:22:21] 567*2^1112136-1 is not prime. Res64: 08C2BEBAB86A77FA Time : 0.0 sec. user=vaughan [2012-01-24 09:24:56] 597*2^1112136-1 is not prime. Res64: 6AF29623A55C7BA7 Time : 0.0 sec. user=vaughan [2012-01-24 09:24:56] 405*2^1112137-1 is not prime. Res64: A5D4E9EDBC218A01 Time : 0.0 sec. user=vaughan [2012-01-24 09:32:24] 567*2^1112137-1 is not prime. Res64: 0197E23B7A318264 Time : 0.0 sec. user=vaughan [2012-01-24 09:32:25] 589*2^1112137-1 is not prime. Res64: 7FD248B0D1C1A030 Time : 0.0 sec. user=henryzz [2012-01-24 09:33:33] 511*2^1112137-1 is not prime. Res64: FE00777FA0943C79 Time : 0.0 sec. user=henryzz [2012-01-24 09:38:03] 453*2^1112138-1 is not prime. Res64: BDC79FF7BCC28E31 Time : 0.0 sec. user=henryzz [2012-01-24 09:38:52] 503*2^1112138-1 is not prime. Res64: 9ACA6D008E172C8D Time : 0.0 sec. user=vaughan [2012-01-24 09:43:33] 507*2^1112138-1 is not prime. Res64: 7BB5DCF5003BB7FD Time : 0.0 sec. user=vaughan [2012-01-24 09:43:33] 545*2^1112138-1 is not prime. Res64: A7BF2D1C2C8D56A1 Time : 0.0 sec. user=vaughan [2012-01-24 09:45:50] 507*2^1111974-1 is not prime. Res64: 41985BD2A29CCF31 Time : 0.0 sec. user=henryzz [2012-01-24 09:48:53] 567*2^1112140-1 is not prime. Res64: 50616BE9C54A3529 Time : 0.0 sec. user=vaughan [2012-01-24 09:50:03] 445*2^1111977-1 is not prime. Res64: 28649C736D71FF41 Time : 0.0 sec. user=vaughan [2012-01-24 09:50:49] 549*2^1112141-1 is not prime. Res64: 570DC2ECC3CD861F Time : 0.0 sec. user=vaughan [2012-01-24 09:50:50] 423*2^1112142-1 is not prime. Res64: D84B5E13BF9F2340 Time : 0.0 sec. user=vaughan [2012-01-24 09:51:24] 459*2^1111979-1 is not prime. Res64: FF9F395353879AA5 Time : 0.0 sec. user=vaughan [2012-01-24 09:53:47] 439*2^1111981-1 is not prime. Res64: 3F8820DA9D261D71 Time : 0.0 sec. user=vaughan [2012-01-24 09:58:24] 495*2^1112142-1 is not prime. Res64: 32071AC5AFFE71DB Time : 0.0 sec. user=vaughan [2012-01-24 09:58:24] 503*2^1112142-1 is not prime. Res64: 0C1AD6C08D37476F Time : 0.0 sec. user=henryzz [2012-01-24 09:59:20] 537*2^1112142-1 is not prime. Res64: 5A3607A5AC16A587 Time : 0.0 sec. user=henryzz [2012-01-24 10:01:25] 585*2^1112142-1 is not prime. Res64: A7E0E33C0EB90920 Time : 0.0 sec. user=vaughan [2012-01-24 10:01:28] 417*2^1111910-1 is not prime. Res64: 0B9DC30FC4DF84FD Time : 0.0 sec. user=vaughan [2012-01-24 10:01:45] 489*2^1111924-1 is not prime. Res64: DEB03B70193099A4 Time : 0.0 sec. user=vaughan [2012-01-24 10:03:16] 437*2^1111988-1 is not prime. Res64: 0EAFBED6EFEA5F25 Time : 0.0 sec. user=vaughan [2012-01-24 10:03:16] 495*2^1111988-1 is not prime. Res64: 11ACC5A8CCBC49F1 Time : 0.0 sec. user=vaughan [2012-01-24 10:03:59] 415*2^1111989-1 is not prime. Res64: 3E0CE4DFC8F9716B Time : 0.0 sec. user=vaughan [2012-01-24 10:04:00] 465*2^1111989-1 is not prime. Res64: CBE4C975A1233C6F Time : 0.0 sec. user=Sashixi [2012-01-24 10:04:43] 481*2^1111505-1 is not prime. Res64: 8FB862358513A6D2 Time : 0.0 sec. user=henryzz [2012-01-24 10:06:08] 429*2^1112143-1 is not prime. Res64: 24CB7C68B5CCEEF3 Time : 0.0 sec. user=Sashixi [2012-01-24 10:06:45] 507*2^1111509-1 is not prime. Res64: 130F1FFCD9CE1A0E Time : 0.0 sec. user=vaughan [2012-01-24 10:08:41] 465*2^1111993-1 is not prime. Res64: 1B526911FFDEE665 Time : 0.0 sec. user=vaughan [2012-01-24 10:08:42] 511*2^1111993-1 is not prime. Res64: 606312D363CD60DD Time : 0.0 sec. user=vaughan [2012-01-24 10:09:31] 499*2^1112143-1 is not prime. Res64: 955C2F0483240BD4 Time : 0.0 sec. user=vaughan [2012-01-24 10:09:33] 523*2^1112143-1 is not prime. Res64: EDD9C8EAD01522BE Time : 0.0 sec. user=henryzz [2012-01-24 10:13:35] 589*2^1112143-1 is not prime. Res64: 54EF3B83E735CD9A Time : 0.0 sec. user=vaughan [2012-01-24 10:14:26] 495*2^1111998-1 is not prime. Res64: 9A6F3940C1DED648 Time : 0.0 sec. user=vaughan [2012-01-24 10:14:27] 513*2^1111998-1 is not prime. Res64: C73E1281FD76E123 Time : 0.0 sec. user=vaughan [2012-01-24 10:15:19] 405*2^1112001-1 is not prime. Res64: B951044B30EFE827 Time : 0.0 sec. user=vaughan [2012-01-24 10:15:20] 409*2^1112001-1 is not prime. Res64: FF70839604FF4B3F Time : 0.0 sec. user=vaughan [2012-01-24 10:16:48] 585*2^1112144-1 is not prime. Res64: BE8E667BD62B0297 Time : 0.0 sec. user=vaughan [2012-01-24 10:16:48] 457*2^1112145-1 is not prime. Res64: D71DF4F9FE26AE2A Time : 0.0 sec. user=vaughan [2012-01-24 10:22:14] 525*2^1112143-1 is not prime. Res64: 3FE90F5B3D32DC46 Time : 0.0 sec. user=vaughan [2012-01-24 10:22:15] 549*2^1112143-1 is not prime. Res64: 590D6DB0885441DF Time : 0.0 sec. user=vaughan [2012-01-24 10:24:15] 485*2^1112148-1 is not prime. Res64: 101F6640440A73D1 Time : 0.0 sec. user=vaughan [2012-01-24 10:24:15] 503*2^1112148-1 is not prime. Res64: FC3C9C5BE7BBE814 Time : 0.0 sec. user=vaughan [2012-01-24 10:25:04] 595*2^1112143-1 is not prime. Res64: 4839156B22802DF8 Time : 0.0 sec. user=vaughan [2012-01-24 10:25:05] 543*2^1112144-1 is not prime. Res64: 8B8564D92C3B815E Time : 0.0 sec. user=henryzz [2012-01-24 10:25:42] 431*2^1112150-1 is not prime. Res64: 127B2152F1E02A19 Time : 0.0 sec. user=Sashixi [2012-01-24 10:25:59] 495*2^1112152-1 is not prime. Res64: 5DDC1DAC506A80A7 Time : 0.0 sec. user=vaughan [2012-01-24 10:26:29] 469*2^1112145-1 is not prime. Res64: 1511A62D06C9EDD5 Time : 0.0 sec. user=vaughan [2012-01-24 10:26:30] 507*2^1112145-1 is not prime. Res64: 8C9BAECB92C33714 Time : 0.0 sec. user=henryzz [2012-01-24 10:26:30] 545*2^1112148-1 is not prime. Res64: 80884791C63A0007 Time : 0.0 sec. user=Sashixi [2012-01-24 10:28:19] 517*2^1112153-1 is not prime. Res64: 65A5EE059C42E316 Time : 0.0 sec. user=vaughan [2012-01-24 10:30:16] 565*2^1112145-1 is not prime. Res64: 3B438BB5F035592B Time : 0.0 sec. user=vaughan [2012-01-24 10:30:17] 531*2^1112146-1 is not prime. Res64: D34C1923FDFC84A2 Time : 0.0 sec. user=vaughan [2012-01-24 10:31:22] 583*2^1111947-1 is not prime. Res64: B57DC462641BA460 Time : 0.0 sec. user=vaughan [2012-01-24 10:31:23] 437*2^1111948-1 is not prime. Res64: BCF196DC55B4E751 Time : 0.0 sec. user=henryzz [2012-01-24 10:32:10] 573*2^1112152-1 is not prime. Res64: EB07FD267C3804CC Time : 0.0 sec. user=vaughan [2012-01-24 10:35:33] 565*2^1112153-1 is not prime. Res64: 8FF3A42FA8B955D5 Time : 0.0 sec. user=vaughan [2012-01-24 10:35:34] 585*2^1112153-1 is not prime. Res64: A044F3014929C186 Time : 0.0 sec. user=vaughan [2012-01-24 10:39:48] 405*2^1112151-1 is not prime. Res64: BCFDF3341F7A9D6D Time : 0.0 sec. user=vaughan [2012-01-24 10:39:48] 565*2^1112151-1 is not prime. Res64: 7FE4AB34B54A8074 Time : 0.0 sec. user=vaughan [2012-01-24 10:40:27] 413*2^1112152-1 is not prime. Res64: 3D43C25CBD4AAB6E Time : 0.0 sec. user=vaughan [2012-01-24 10:40:28] 423*2^1112152-1 is not prime. Res64: F3515449ADFD84BF Time : 0.0 sec. user=henryzz [2012-01-24 10:40:52] 507*2^1112154-1 is not prime. Res64: C2CE486FC9A67827 Time : 0.0 sec. user=vaughan [2012-01-24 10:42:44] 573*2^1112156-1 is not prime. Res64: AB7B89D7DE3F6BFC Time : 0.0 sec. user=vaughan [2012-01-24 10:42:44] 593*2^1112156-1 is not prime. Res64: 6DAC21A0177F7691 Time : 0.0 sec. user=vaughan [2012-01-24 10:43:35] 529*2^1112153-1 is not prime. Res64: 0643A19BF059F2C2 Time : 0.0 sec. user=vaughan [2012-01-24 10:43:36] 537*2^1112153-1 is not prime. Res64: 7D2CA451026A6804 Time : 0.0 sec. user=Sashixi [2012-01-24 10:48:53] 511*2^1112159-1 is not prime. Res64: 4E93FB9A8E021B5B Time : 0.0 sec. user=vaughan [2012-01-24 10:50:14] 405*2^1112158-1 is not prime. Res64: C67BD581FFC01C44 Time : 0.0 sec. user=vaughan [2012-01-24 10:50:14] 441*2^1112158-1 is not prime. Res64: 1CD52CE2183AEB91 Time : 0.0 sec. user=henryzz [2012-01-24 10:50:26] 433*2^1112159-1 is not prime. Res64: CFA650F4619C394F Time : 0.0 sec. user=vaughan [2012-01-24 10:50:53] 475*2^1112155-1 is not prime. Res64: 2F910FD4FC1463C4 Time : 0.0 sec. user=vaughan [2012-01-24 10:50:53] 511*2^1112155-1 is not prime. Res64: 56F68E99322198E7 Time : 0.0 sec. user=Sashixi [2012-01-24 10:51:15] 597*2^1112160-1 is not prime. Res64: AA834007CDA08BB6 Time : 0.0 sec. user=vaughan [2012-01-24 10:51:39] 541*2^1112155-1 is not prime. Res64: DC41D402D37B55CC Time : 0.0 sec. user=vaughan [2012-01-24 10:51:40] 573*2^1112155-1 is not prime. Res64: 43EA00C220D15286 Time : 0.0 sec. user=vaughan [2012-01-24 10:57:04] 477*2^1112149-1 is not prime. Res64: 1943D11474E73D90 Time : 0.0 sec. user=vaughan [2012-01-24 10:57:05] 411*2^1112150-1 is not prime. Res64: 426DD99E64A7CB96 Time : 0.0 sec. user=vaughan [2012-01-24 10:57:22] 455*2^1112150-1 is not prime. Res64: EC2E70EE4C098312 Time : 0.0 sec. user=vaughan [2012-01-24 10:57:23] 587*2^1112150-1 is not prime. Res64: 442809A5DE539D13 Time : 0.0 sec. user=vaughan [2012-01-24 10:58:33] 451*2^1112157-1 is not prime. Res64: 8B58D74D89CB17AF Time : 0.0 sec. user=vaughan [2012-01-24 10:58:34] 495*2^1112157-1 is not prime. Res64: A5C2DCA902689096 Time : 0.0 sec. user=vaughan [2012-01-24 11:00:11] 495*2^1112158-1 is not prime. Res64: FC2D136CB4F72DBF Time : 0.0 sec. user=vaughan [2012-01-24 11:00:13] 533*2^1112158-1 is not prime. Res64: 3CEF37F8B6D2469D Time : 0.0 sec. user=vaughan [2012-01-24 11:01:26] 415*2^1112163-1 is not prime. Res64: 33858E6593439BC5 Time : 0.0 sec. user=vaughan [2012-01-24 11:01:32] 531*2^1112159-1 is not prime. Res64: DD51DD14F1876B33 Time : 0.0 sec. user=vaughan [2012-01-24 11:01:46] 429*2^1112163-1 is not prime. Res64: E714097AF13AE695 Time : 0.0 sec. user=vaughan [2012-01-24 11:06:42] 405*2^1112161-1 is not prime. Res64: 8FBCC145560833E7 Time : 0.0 sec. user=vaughan [2012-01-24 11:06:44] 411*2^1112161-1 is not prime. Res64: E2284C54F1E71D67 Time : 0.0 sec. user=vaughan [2012-01-24 11:08:34] 537*2^1112165-1 is not prime. Res64: A9A12AD2636191CF Time : 0.0 sec. user=vaughan [2012-01-24 11:08:36] 573*2^1112166-1 is not prime. Res64: F4F9121FD9BF3ECE Time : 0.0 sec. user=Sashixi [2012-01-24 11:11:58] 469*2^1112167-1 is not prime. Res64: 28C15FE0C2BEE3A5 Time : 0.0 sec. user=Sashixi [2012-01-24 11:13:59] 599*2^1112168-1 is not prime. Res64: 107E2D6CFFE6CD08 Time : 0.0 sec. user=vaughan [2012-01-24 11:16:04] 553*2^1112167-1 is not prime. Res64: 4C7B2D2BF8885473 Time : 0.0 sec. user=vaughan [2012-01-24 11:16:05] 495*2^1112168-1 is not prime. Res64: 5468581E602FE74A Time : 0.0 sec. user=vaughan [2012-01-24 11:16:12] 471*2^1112163-1 is not prime. Res64: 1996DC09341FC9C0 Time : 0.0 sec. user=vaughan [2012-01-24 11:16:13] 565*2^1112163-1 is not prime. Res64: 26FC5B02F2620A0A Time : 0.0 sec. user=vaughan [2012-01-24 11:16:50] 525*2^1112164-1 is not prime. Res64: 7A005F00A54C5C76 Time : 0.0 sec. user=vaughan [2012-01-24 11:16:51] 563*2^1112164-1 is not prime. Res64: E5BF79A9967A160A Time : 0.0 sec. user=vaughan [2012-01-24 11:18:34] 593*2^1112166-1 is not prime. Res64: C55E7EB5EDBFF616 Time : 0.0 sec. user=vaughan [2012-01-24 11:18:34] 453*2^1112167-1 is not prime. Res64: 6A056935F2CF92C0 Time : 0.0 sec. user=vaughan [2012-01-24 11:26:43] 429*2^1112161-1 is not prime. Res64: AB39B33A3CB656AB Time : 0.0 sec. user=vaughan [2012-01-24 11:26:43] 551*2^1112162-1 is not prime. Res64: 242CF8E0773023B6 Time : 0.0 sec. user=vaughan [2012-01-24 11:27:14] 525*2^1112168-1 is not prime. Res64: 15F535ADE258FB48 Time : 0.0 sec. user=vaughan [2012-01-24 11:27:15] 567*2^1112168-1 is not prime. Res64: A057C3A9D6CFBA67 Time : 0.0 sec. user=vaughan [2012-01-24 11:28:07] 447*2^1112169-1 is not prime. Res64: D6599BFF0F76C4B8 Time : 0.0 sec. user=vaughan [2012-01-24 11:28:08] 425*2^1112170-1 is not prime. Res64: E0A816BC96642EB0 Time : 0.0 sec. user=Sashixi [2012-01-24 11:32:14] 585*2^1112174-1 is not prime. Res64: 2F14D962E305A7CA Time : 0.0 sec. user=Sashixi [2012-01-24 11:34:20] 405*2^1112175-1 is not prime. Res64: 938A44CD518A473B Time : 0.0 sec. user=vaughan [2012-01-24 11:34:36] 407*2^1112174-1 is not prime. Res64: C6A998ABFDA3BB65 Time : 0.0 sec. user=vaughan [2012-01-24 11:34:37] 563*2^1112174-1 is not prime. Res64: 26EDA0A204788929 Time : 0.0 sec. user=vaughan [2012-01-24 11:34:39] 537*2^1112172-1 is not prime. Res64: 473B885EB9F8B4FA Time : 0.0 sec. user=vaughan [2012-01-24 11:34:40] 555*2^1112172-1 is not prime. Res64: C646EBDA3FF5D026 Time : 0.0 sec. user=vaughan [2012-01-24 11:34:52] 513*2^1112172-1 is not prime. Res64: DB6DFAE314764A86 Time : 0.0 sec. user=vaughan [2012-01-24 11:34:53] 525*2^1112172-1 is not prime. Res64: 49599F6E44F95955 Time : 0.0 sec. user=vaughan [2012-01-24 11:38:55] 567*2^1112160-1 is not prime. Res64: 02CA5312C58C5A9D Time : 0.0 sec. user=vaughan [2012-01-24 11:42:03] 523*2^1112175-1 is not prime. Res64: 57557565EF69B062 Time : 0.0 sec. user=vaughan [2012-01-24 11:42:04] 535*2^1112175-1 is not prime. Res64: E21CA1C23166B7D9 Time : 0.0 sec. user=vaughan [2012-01-24 11:43:17] 567*2^1112173-1 is not prime. Res64: A70738157C02D694 Time : 0.0 sec. user=vaughan [2012-01-24 11:43:17] 597*2^1112173-1 is not prime. Res64: 45233EFBD9AEA3D9 Time : 0.0 sec. user=vaughan [2012-01-24 11:52:20] 447*2^1112170-1 is not prime. Res64: BEF029C18531EFB6 Time : 0.0 sec. user=vaughan [2012-01-24 11:52:21] 505*2^1112171-1 is not prime. Res64: 65ED0F63382FD52C Time : 0.0 sec. user=vaughan [2012-01-24 11:52:34] 583*2^1112175-1 is not prime. Res64: 24B07D4CFE7A9FA8 Time : 0.0 sec. user=vaughan [2012-01-24 11:52:35] 429*2^1112176-1 is not prime. Res64: A932DAE134BF38B1 Time : 0.0 sec. user=vaughan [2012-01-24 11:52:38] 591*2^1112171-1 is not prime. Res64: 866642F57033C314 Time : 0.0 sec. user=vaughan [2012-01-24 11:52:39] 595*2^1112171-1 is not prime. Res64: 57A71F3D51EF44CA Time : 0.0 sec. user=vaughan [2012-01-24 11:52:54] 487*2^1112177-1 is not prime. Res64: 6C63754E8FCCD2A4 Time : 0.0 sec. user=vaughan [2012-01-24 11:52:55] 517*2^1112177-1 is not prime. Res64: BD09E194B50D100B Time : 0.0 sec. user=vaughan [2012-01-24 11:53:10] 441*2^1112177-1 is not prime. Res64: 17A5932654FA46D5 Time : 0.0 sec. user=vaughan [2012-01-24 11:53:11] 469*2^1112177-1 is not prime. Res64: 12658B5216FE6ED5 Time : 0.0 sec. user=Sashixi [2012-01-24 11:53:29] 517*2^1112181-1 is not prime. Res64: 138D2E849F08601E Time : 0.0 sec. user=vaughan [2012-01-24 11:53:30] 505*2^1112179-1 is not prime. Res64: 253B7D3BEBDDB03F Time : 0.0 sec. user=vaughan [2012-01-24 11:53:31] 515*2^1112180-1 is not prime. Res64: 519359D385177092 Time : 0.0 sec. user=Sashixi [2012-01-24 11:55:36] 555*2^1112181-1 is not prime. Res64: 6FDE8D811F6AA2EA Time : 0.0 sec. user=vaughan [2012-01-24 12:00:40] 413*2^1112182-1 is not prime. Res64: 9FA31C7BBB2EB616 Time : 0.0 sec. user=vaughan [2012-01-24 12:00:41] 477*2^1112182-1 is not prime. Res64: FE978A3270C7655C Time : 0.0 sec. user=vaughan [2012-01-24 12:03:38] 515*2^1112178-1 is not prime. Res64: 9B387B18CE32C573 Time : 0.0 sec. user=vaughan [2012-01-24 12:03:39] 451*2^1112179-1 is not prime. Res64: 51C3254E81EBC761 Time : 0.0 sec. user=vaughan [2012-01-24 12:04:37] 599*2^1112180-1 is not prime. Res64: 50AC719B89E234CB Time : 0.0 sec. user=vaughan [2012-01-24 12:04:39] 495*2^1112181-1 is not prime. Res64: 4867FCA5562B15D7 Time : 0.0 sec. user=vaughan [2012-01-24 12:08:09] 503*2^1112184-1 is not prime. Res64: FEF716D3075410D3 Time : 0.0 sec. user=vaughan [2012-01-24 12:08:10] 471*2^1112185-1 is not prime. Res64: 3F32E294F117EA8E Time : 0.0 sec. user=vaughan [2012-01-24 12:09:08] 507*2^1112182-1 is not prime. Res64: 7D6F3062FE89FEEF Time : 0.0 sec. user=vaughan [2012-01-24 12:09:09] 525*2^1112182-1 is not prime. Res64: 1DA948C7FBD1DAD7 Time : 0.0 sec. user=vaughan [2012-01-24 12:11:16] 527*2^1112182-1 is not prime. Res64: 80EFF1FEC4572D45 Time : 0.0 sec. user=vaughan [2012-01-24 12:11:18] 551*2^1112182-1 is not prime. Res64: 2AE2B530114F9AF7 Time : 0.0 sec. user=vaughan [2012-01-24 12:13:41] 585*2^1112183-1 is not prime. Res64: DA1D371030293124 Time : 0.0 sec. user=vaughan [2012-01-24 12:13:43] 595*2^1112183-1 is not prime. Res64: 0498DEECA3CE09FA Time : 0.0 sec. user=Sashixi [2012-01-24 12:14:42] 485*2^1112188-1 is not prime. Res64: B167467FD2136FB2 Time : 0.0 sec. user=Sashixi [2012-01-24 12:16:38] 405*2^1112190-1 is not prime. Res64: F8D5735D5486D891 Time : 0.0 sec. user=vaughan [2012-01-24 12:18:29] 549*2^1112177-1 is not prime. Res64: F70135036229EDAB Time : 0.0 sec. user=vaughan [2012-01-24 12:18:30] 483*2^1112178-1 is not prime. Res64: BA1E2335BE521AC6 Time : 0.0 sec. user=vaughan [2012-01-24 12:19:37] 507*2^1112185-1 is not prime. Res64: 0171AC83EA8FF27A Time : 0.0 sec. user=vaughan [2012-01-24 12:19:37] 489*2^1112188-1 is not prime. Res64: 6AE3861632397DA8 Time : 0.0 sec. user=vaughan [2012-01-24 12:19:38] 531*2^1112185-1 is not prime. Res64: 80DE71DD6D17E6F3 Time : 0.0 sec. user=vaughan [2012-01-24 12:19:38] 451*2^1112189-1 is not prime. Res64: 68FA7A19882C5EC6 Time : 0.0 sec. user=vaughan [2012-01-24 12:26:43] 425*2^1112190-1 is not prime. Res64: AFEF9086B3670CE0 Time : 0.0 sec. user=vaughan [2012-01-24 12:26:44] 453*2^1112190-1 is not prime. Res64: CA3281D27F498501 Time : 0.0 sec. user=vaughan [2012-01-24 12:27:19] 595*2^1112187-1 is not prime. Res64: 6E1C418C7AD2A8CF Time : 0.0 sec. user=vaughan [2012-01-24 12:27:20] 413*2^1112188-1 is not prime. Res64: 8E1CF40E0816B80B Time : 0.0 sec. user=vaughan [2012-01-24 12:28:59] 573*2^1112186-1 is not prime. Res64: E20C885B3D3CAC7C Time : 0.0 sec. user=vaughan [2012-01-24 12:29:00] 513*2^1112187-1 is not prime. Res64: 984214CDF62C56DF Time : 0.0 sec. user=vaughan [2012-01-24 12:29:40] 419*2^1112188-1 is not prime. Res64: B95C212C98D6FF82 Time : 0.0 sec. user=vaughan [2012-01-24 12:29:41] 435*2^1112188-1 is not prime. Res64: 41FB66FF5E36A789 Time : 0.0 sec. user=vaughan [2012-01-24 12:34:03] 495*2^1112194-1 is not prime. Res64: 76571F2732C4F088 Time : 0.0 sec. user=vaughan [2012-01-24 12:34:03] 459*2^1112195-1 is not prime. Res64: AEEF18EB4759E5F6 Time : 0.0 sec. user=Sashixi [2012-01-24 12:35:31] 561*2^1112197-1 is not prime. Res64: 5F59B59EFF8BBB69 Time : 0.0 sec. user=Sashixi [2012-01-24 12:37:52] 431*2^1112198-1 is not prime. Res64: 6C4903AB2F944074 Time : 0.0 sec. user=vaughan [2012-01-24 12:39:32] 591*2^1112185-1 is not prime. Res64: C3488B434A6EE9E7 Time : 0.0 sec. user=vaughan [2012-01-24 12:39:32] 501*2^1112186-1 is not prime. Res64: 53D5D82C7F54E316 Time : 0.0 sec. user=vaughan [2012-01-24 12:39:47] 523*2^1112187-1 is not prime. Res64: AD7E221158DEB2B8 Time : 0.0 sec. user=vaughan [2012-01-24 12:39:47] 571*2^1112187-1 is not prime. Res64: D11C3BC567396A07 Time : 0.0 sec. user=vaughan [2012-01-24 12:40:10] 501*2^1112190-1 is not prime. Res64: E2466A85F5BB3561 Time : 0.0 sec. user=vaughan [2012-01-24 12:40:12] 549*2^1112193-1 is not prime. Res64: 8A480D885B90F9C3 Time : 0.0 sec. user=vaughan [2012-01-24 12:41:02] 571*2^1112193-1 is not prime. Res64: ECAAD9C2048B50E7 Time : 0.0 sec. user=vaughan [2012-01-24 12:41:02] 491*2^1112194-1 is not prime. Res64: 4264C95406DDEEE6 Time : 0.0 sec. user=vaughan [2012-01-24 12:43:43] 553*2^1112195-1 is not prime. Res64: 174FFA71DA34BCF3 Time : 0.0 sec. user=vaughan [2012-01-24 12:43:44] 585*2^1112195-1 is not prime. Res64: 222038CD60CD21A5 Time : 0.0 sec. user=vaughan [2012-01-24 12:45:36] 441*2^1112199-1 is not prime. Res64: AB8C100F346F64E2 Time : 0.0 sec. user=vaughan [2012-01-24 12:45:36] 489*2^1112199-1 is not prime. Res64: D80B9E0CFF078D89 Time : 0.0 sec. user=vaughan [2012-01-24 12:47:43] 405*2^1112196-1 is not prime. Res64: 274FAA115F5FE111 Time : 0.0 sec. user=vaughan [2012-01-24 12:47:44] 593*2^1112196-1 is not prime. Res64: B7C111EB0BD69570 Time : 0.0 sec. user=vaughan [2012-01-24 12:48:16] 471*2^1112197-1 is not prime. Res64: AB4C6B4A133290E5 Time : 0.0 sec. user=vaughan [2012-01-24 12:48:17] 555*2^1112197-1 is not prime. Res64: 4F8D8F9857C5B156 Time : 0.0 sec. user=vaughan [2012-01-24 12:52:38] 483*2^1112200-1 is not prime. Res64: B881EDE7CE6EF970 Time : 0.0 sec. user=vaughan [2012-01-24 12:52:39] 445*2^1112201-1 is not prime. Res64: EECE9E90CBFC73F7 Time : 0.0 sec. user=vaughan [2012-01-24 12:55:59] 531*2^1112199-1 is not prime. Res64: 772564B9AAADDF7E Time : 0.0 sec. user=vaughan [2012-01-24 12:56:00] 455*2^1112200-1 is not prime. Res64: 74F96D5B38B0A548 Time : 0.0 sec. user=Sashixi [2012-01-24 12:56:49] 447*2^1112204-1 is not prime. Res64: 82DD47B436497A90 Time : 0.0 sec. user=Sashixi [2012-01-24 12:58:40] 477*2^1112204-1 is not prime. Res64: C6ADCDDDC53FD15C Time : 0.0 sec. user=vaughan [2012-01-24 12:59:58] 483*2^1112203-1 is not prime. Res64: CABD0BAD795283CD Time : 0.0 sec. user=vaughan [2012-01-24 12:59:58] 417*2^1112204-1 is not prime. Res64: 47322D7C97AE49C4 Time : 0.0 sec. user=vaughan [2012-01-24 13:01:48] 447*2^1112201-1 is not prime. Res64: 140CDD4B56D7C5DC Time : 0.0 sec. user=vaughan [2012-01-24 13:01:50] 487*2^1112201-1 is not prime. Res64: 1C562FAA8451806D Time : 0.0 sec. user=vaughan [2012-01-24 13:05:20] 525*2^1112201-1 is not prime. Res64: 25B626DCF221B860 Time : 0.0 sec. user=vaughan [2012-01-24 13:05:21] 425*2^1112202-1 is not prime. Res64: 2D93F6E0633E5949 Time : 0.0 sec. user=vaughan [2012-01-24 13:06:04] 525*2^1112202-1 is not prime. Res64: 597F7E2793D9A1B8 Time : 0.0 sec. user=vaughan [2012-01-24 13:06:06] 453*2^1112203-1 is not prime. Res64: BAD4C2EDAEADF2A6 Time : 0.0 sec. user=vaughan [2012-01-24 13:09:48] 501*2^1112198-1 is not prime. Res64: 0456C89A30957319 Time : 0.0 sec. user=vaughan [2012-01-24 13:09:50] 507*2^1112198-1 is not prime. Res64: B25F6A39C3BA228E Time : 0.0 sec. user=vaughan [2012-01-24 13:11:30] 465*2^1112208-1 is not prime. Res64: 88C425DCD79FDDF5 Time : 0.0 sec. user=vaughan [2012-01-24 13:11:32] 485*2^1112208-1 is not prime. Res64: B85958BF661AB572 Time : 0.0 sec. user=vaughan [2012-01-24 13:16:40] 447*2^1112206-1 is not prime. Res64: 7EB7DB42611ECADA Time : 0.0 sec. user=vaughan [2012-01-24 13:16:41] 477*2^1112206-1 is not prime. Res64: 8CB012AAE32789F8 Time : 0.0 sec. user=vaughan [2012-01-24 13:17:25] 463*2^1112207-1 is not prime. Res64: BD206D85BD94AE66 Time : 0.0 sec. user=vaughan [2012-01-24 13:17:25] 549*2^1112207-1 is not prime. Res64: B02B6A1A85D4D6EC Time : 0.0 sec. user=Sashixi [2012-01-24 13:17:48] 563*2^1112210-1 is not prime. Res64: 2EA268E71C7863E8 Time : 0.0 sec. user=vaughan [2012-01-24 13:18:08] 559*2^1112207-1 is not prime. Res64: 309763411F1B16A3 Time : 0.0 sec. user=vaughan [2012-01-24 13:18:09] 589*2^1112207-1 is not prime. Res64: 9412CD8C15747B5F Time : 0.0 sec. user=vaughan [2012-01-24 13:18:38] 511*2^1112209-1 is not prime. Res64: CB221B5E3F1DD7D3 Time : 0.0 sec. user=vaughan [2012-01-24 13:18:39] 423*2^1112210-1 is not prime. Res64: 7477B5D0F9D3B0CA Time : 0.0 sec. user=Sashixi [2012-01-24 13:19:38] 581*2^1112210-1 is not prime. Res64: 843E1A2D4809C3E9 Time : 0.0 sec. user=vaughan [2012-01-24 13:23:00] 421*2^1112209-1 is not prime. Res64: D2210369CAF7C59A Time : 0.0 sec. user=vaughan [2012-01-24 13:23:01] 469*2^1112209-1 is not prime. Res64: 88B987BD87D17487 Time : 0.0 sec. user=vaughan [2012-01-24 13:24:05] 509*2^1112208-1 is not prime. Res64: 0E21E6E6729B1E04 Time : 0.0 sec. user=vaughan [2012-01-24 13:24:05] 569*2^1112208-1 is not prime. Res64: 7375041600262D92 Time : 0.0 sec. user=vaughan [2012-01-24 13:25:56] 465*2^1112211-1 is not prime. Res64: 2E3C3A17781C12FE Time : 0.0 sec. user=vaughan [2012-01-24 13:25:56] 489*2^1112211-1 is not prime. Res64: D090F13AC63952D6 Time : 0.0 sec. user=vaughan [2012-01-24 13:32:22] 453*2^1112210-1 is not prime. Res64: C31B32977675EDC7 Time : 0.0 sec. user=vaughan [2012-01-24 13:32:22] 503*2^1112210-1 is not prime. Res64: 64FE2457B03EBC3E Time : 0.0 sec. user=vaughan [2012-01-24 13:35:48] 441*2^1112205-1 is not prime. Res64: F3C248A545189A2E Time : 0.0 sec. user=vaughan [2012-01-24 13:35:49] 459*2^1112205-1 is not prime. Res64: B2E77C030D50E5B6 Time : 0.0 sec. user=vaughan [2012-01-24 13:36:04] 481*2^1112205-1 is not prime. Res64: 0960645AF758F241 Time : 0.0 sec. user=vaughan [2012-01-24 13:36:05] 531*2^1112205-1 is not prime. Res64: 19C70A764F4437B6 Time : 0.0 sec. user=vaughan [2012-01-24 13:36:36] 419*2^1112212-1 is not prime. Res64: E7F6FF2454D0D2C8 Time : 0.0 sec. user=vaughan [2012-01-24 13:36:37] 497*2^1112212-1 is not prime. Res64: B577B63DD7DD873E Time : 0.0 sec. user=vaughan [2012-01-24 13:37:42] 525*2^1112214-1 is not prime. Res64: 9AA26D51E0504F42 Time : 0.0 sec. user=vaughan [2012-01-24 13:37:42] 587*2^1112214-1 is not prime. Res64: 41CC0E7F491F9E25 Time : 0.0 sec. user=Sashixi [2012-01-24 13:39:16] 439*2^1112217-1 is not prime. Res64: 5C61BACB6C4C181E Time : 0.0 sec. user=Sashixi [2012-01-24 13:41:14] 581*2^1112218-1 is not prime. Res64: 255AF50A3932A355 Time : 0.0 sec. user=vaughan [2012-01-24 13:41:46] 527*2^1112212-1 is not prime. Res64: 15CBF6D99E91194E Time : 0.0 sec. user=vaughan [2012-01-24 13:41:47] 563*2^1112212-1 is not prime. Res64: 5579795CEEA0AC12 Time : 0.0 sec. user=vaughan [2012-01-24 13:42:25] 421*2^1112213-1 is not prime. Res64: DFB4359A7FBA0B57 Time : 0.0 sec. user=vaughan [2012-01-24 13:42:26] 495*2^1112213-1 is not prime. Res64: 317C5C48EBD82513 Time : 0.0 sec. user=vaughan [2012-01-24 13:44:55] 507*2^1112218-1 is not prime. Res64: D4DB4800689F7495 Time : 0.0 sec. user=vaughan [2012-01-24 13:44:55] 567*2^1112218-1 is not prime. Res64: 92459077C59F798A Time : 0.0 sec. user=vaughan [2012-01-24 13:51:57] 579*2^1112217-1 is not prime. Res64: 359B34F948A34B4D Time : 0.0 sec. user=vaughan [2012-01-24 13:51:58] 497*2^1112218-1 is not prime. Res64: 3A17CE9A8649F05F Time : 0.0 sec. user=vaughan [2012-01-24 13:52:23] 479*2^1112220-1 is not prime. Res64: 497AC017CA23B415 Time : 0.0 sec. user=vaughan [2012-01-24 13:52:23] 567*2^1112220-1 is not prime. Res64: D131535BE8B75FB3 Time : 0.0 sec. user=vaughan [2012-01-24 13:53:10] 481*2^1112215-1 is not prime. Res64: A744E17DA1701343 Time : 0.0 sec. user=vaughan [2012-01-24 13:53:11] 535*2^1112215-1 is not prime. Res64: EDA3A236ED6D57B0 Time : 0.0 sec. user=vaughan [2012-01-24 13:53:46] 503*2^1112216-1 is not prime. Res64: B91E9FD895726414 Time : 0.0 sec. user=vaughan [2012-01-24 13:53:46] 537*2^1112216-1 is not prime. Res64: 9DB220039E494386 Time : 0.0 sec. user=vaughan [2012-01-24 13:56:37] 493*2^1112219-1 is not prime. Res64: 8B714CA8B107F4B0 Time : 0.0 sec. user=vaughan [2012-01-24 13:56:38] 505*2^1112219-1 is not prime. Res64: 49B750AEF3F60BC5 Time : 0.0 sec. user=Sashixi [2012-01-24 14:00:07] 575*2^1112224-1 is not prime. Res64: A8D5A7D37537D015 Time : 0.0 sec. user=vaughan [2012-01-24 14:00:38] 405*2^1112220-1 is not prime. Res64: E4914A4A345DE3F3 Time : 0.0 sec. user=vaughan [2012-01-24 14:00:39] 473*2^1112220-1 is not prime. Res64: DE9DF1123DC489D7 Time : 0.0 sec. user=Sashixi [2012-01-24 14:02:15] 593*2^1112224-1 is not prime. Res64: DDAD590F091E6DA9 Time : 0.0 sec. user=vaughan [2012-01-24 14:04:17] 567*2^1112224-1 is not prime. Res64: 1166B7CA5144289A Time : 0.0 sec. user=vaughan [2012-01-24 14:04:18] 573*2^1112224-1 is not prime. Res64: 1594B3E51AACBC85 Time : 0.0 sec. user=vaughan [2012-01-24 14:05:41] 461*2^1112214-1 is not prime. Res64: 9B280B702FE5D69E Time : 0.0 sec. user=vaughan [2012-01-24 14:05:42] 495*2^1112214-1 is not prime. Res64: 5A28864C01F20110 Time : 0.0 sec. user=vaughan [2012-01-24 14:08:46] 515*2^1112222-1 is not prime. Res64: 519AE26536F72A0F Time : 0.0 sec. user=vaughan [2012-01-24 14:08:47] 561*2^1112222-1 is not prime. Res64: 78D52DF47B5E67A1 Time : 0.0 sec. user=vaughan [2012-01-24 14:09:35] 513*2^1112224-1 is not prime. Res64: C44C708609D7010D Time : 0.0 sec. user=vaughan [2012-01-24 14:09:36] 533*2^1112224-1 is not prime. Res64: E8A1B21B9A21AC4F Time : 0.0 sec. user=vaughan [2012-01-24 14:11:19] 485*2^1112226-1 is not prime. Res64: DAA9E5970E176E60 Time : 0.0 sec. user=vaughan [2012-01-24 14:11:20] 405*2^1112227-1 is not prime. Res64: E678CDB254A96FA9 Time : 0.0 sec. user=vaughan [2012-01-24 14:18:06] 409*2^1112225-1 is not prime. Res64: EF685A4EAFCE29A4 Time : 0.0 sec. user=vaughan [2012-01-24 14:18:06] 507*2^1112225-1 is not prime. Res64: 172AA60E665BFCA0 Time : 0.0 sec. user=vaughan [2012-01-24 14:18:32] 495*2^1112227-1 is not prime. Res64: 0377289A96D5B2F1 Time : 0.0 sec. user=vaughan [2012-01-24 14:18:32] 573*2^1112227-1 is not prime. Res64: 4B3DD5A43E2524B0 Time : 0.0 sec. user=vaughan [2012-01-24 14:18:48] 517*2^1112225-1 is not prime. Res64: 8D8AE13E483BE950 Time : 0.0 sec. user=vaughan [2012-01-24 14:18:48] 437*2^1112226-1 is not prime. Res64: 2E20812AC9D70075 Time : 0.0 sec. user=Sashixi [2012-01-24 14:20:19] 525*2^1112230-1 is not prime. Res64: 1E355BC611FAF189 Time : 0.0 sec. user=Sashixi [2012-01-24 14:22:19] 595*2^1112231-1 is not prime. Res64: F2879F6C62FC06A8 Time : 0.0 sec. user=vaughan [2012-01-24 14:25:03] 421*2^1112227-1 is not prime. Res64: 0AA1C580724C33A0 Time : 0.0 sec. user=vaughan [2012-01-24 14:25:04] 483*2^1112227-1 is not prime. Res64: C4C27E9B2F1BB1DA Time : 0.0 sec. user=vaughan [2012-01-24 14:29:30] 525*2^1112229-1 is not prime. Res64: 3DA0C488DE2A03B8 Time : 0.0 sec. user=vaughan [2012-01-24 14:29:31] 571*2^1112229-1 is not prime. Res64: 09A864D0CED86402 Time : 0.0 sec. user=vaughan [2012-01-24 14:29:32] 583*2^1112227-1 is not prime. Res64: 87227F5AAF175170 Time : 0.0 sec. user=vaughan [2012-01-24 14:29:32] 449*2^1112228-1 is not prime. Res64: 2E8CACC171AA7DA3 Time : 0.0 sec. user=vaughan [2012-01-24 14:30:07] 573*2^1112228-1 is not prime. Res64: BF566EE3050D6A94 Time : 0.0 sec. user=vaughan [2012-01-24 14:30:08] 459*2^1112229-1 is not prime. Res64: 000FB7E1C04F4724 Time : 0.0 sec. user=vaughan [2012-01-24 14:30:29] 419*2^1112232-1 is not prime. Res64: 60E47EB27FFDE3DB Time : 0.0 sec. user=vaughan [2012-01-24 14:30:30] 467*2^1112232-1 is not prime. Res64: CE40C4FDC2E8125A Time : 0.0 sec. user=vaughan [2012-01-24 14:31:28] 563*2^1112222-1 is not prime. Res64: EC39FFCEF4E8BA96 Time : 0.0 sec. user=vaughan [2012-01-24 14:31:28] 581*2^1112222-1 is not prime. Res64: 21D6DE0CDBABB1D8 Time : 0.0 sec. user=vaughan [2012-01-24 14:31:36] 591*2^1112222-1 is not prime. Res64: 76EB0D0322B29612 Time : 0.0 sec. user=vaughan [2012-01-24 14:31:37] 451*2^1112223-1 is not prime. Res64: 36FE02F62B659EB3 Time : 0.0 sec. user=vaughan [2012-01-24 14:37:04] 575*2^1112230-1 is not prime. Res64: DF45C83DD898957D Time : 0.0 sec. user=vaughan [2012-01-24 14:37:04] 465*2^1112231-1 is not prime. Res64: A8FE4653D8BEB6C2 Time : 0.0 sec. user=vaughan [2012-01-24 14:37:37] 501*2^1112234-1 is not prime. Res64: 7A8D66ECDA8E9F4F Time : 0.0 sec. user=vaughan [2012-01-24 14:37:38] 521*2^1112234-1 is not prime. Res64: 3988221EF9561595 Time : 0.0 sec. user=Sashixi [2012-01-24 14:40:02] 569*2^1112236-1 is not prime. Res64: CCE022A40737BF6B Time : 0.0 sec. user=Sashixi [2012-01-24 14:42:09] 435*2^1112237-1 is not prime. Res64: 46516977C3A585AE Time : 0.0 sec. user=vaughan [2012-01-24 14:42:43] 425*2^1112234-1 is not prime. Res64: CD25453C70EF74C6 Time : 0.0 sec. user=vaughan [2012-01-24 14:42:44] 437*2^1112234-1 is not prime. Res64: B018B1B75A58FA31 Time : 0.0 sec. user=vaughan [2012-01-24 14:44:51] 429*2^1112236-1 is not prime. Res64: A143FC79D86D38E1 Time : 0.0 sec. user=vaughan [2012-01-24 14:44:51] 437*2^1112236-1 is not prime. Res64: 8BD559965C10DADB Time : 0.0 sec. user=vaughan [2012-01-24 14:45:24] 421*2^1112233-1 is not prime. Res64: B310FA2020ECB0D9 Time : 0.0 sec. user=vaughan [2012-01-24 14:45:25] 591*2^1112233-1 is not prime. Res64: 083970E040EBFA31 Time : 0.0 sec. user=vaughan [2012-01-24 14:54:37] 453*2^1112235-1 is not prime. Res64: 7629646E8EE12A21 Time : 0.0 sec. user=vaughan [2012-01-24 14:54:38] 591*2^1112235-1 is not prime. Res64: 48923611E54D743E Time : 0.0 sec. user=vaughan [2012-01-24 14:55:08] 453*2^1112236-1 is not prime. Res64: B411D45F0B8255DD Time : 0.0 sec. user=vaughan [2012-01-24 14:55:10] 563*2^1112236-1 is not prime. Res64: 58FCE5203F7D1A10 Time : 0.0 sec. user=vaughan [2012-01-24 14:56:54] 471*2^1112239-1 is not prime. Res64: 826F01810A6DCEB9 Time : 0.0 sec. user=vaughan [2012-01-24 14:56:54] 511*2^1112239-1 is not prime. Res64: 283238FC9C137094 Time : 0.0 sec. user=vaughan [2012-01-24 14:58:05] 451*2^1112237-1 is not prime. Res64: 71D3BD84E685E864 Time : 0.0 sec. user=vaughan [2012-01-24 14:58:06] 469*2^1112237-1 is not prime. Res64: 56011F7A5A536B02 Time : 0.0 sec. user=vaughan [2012-01-24 14:59:15] 549*2^1112232-1 is not prime. Res64: ABC24CD6A00F56AF Time : 0.0 sec. user=vaughan [2012-01-24 14:59:15] 563*2^1112232-1 is not prime. Res64: A6F0A5141FCC8E26 Time : 0.0 sec. user=Sashixi [2012-01-24 14:59:53] 551*2^1112242-1 is not prime. Res64: 3E1BCA136BEEEBCE Time : 0.0 sec. user=Sashixi [2012-01-24 15:01:41] 493*2^1112243-1 is not prime. Res64: 0AF70233611BB9EA Time : 0.0 sec. user=vaughan [2012-01-24 15:02:36] 489*2^1112237-1 is not prime. Res64: 37328D673263EBCF Time : 0.0 sec. user=vaughan [2012-01-24 15:02:37] 519*2^1112237-1 is not prime. Res64: 02E952302FB10F74 Time : 0.0 sec. user=vaughan [2012-01-24 15:03:50] 425*2^1112242-1 is not prime. Res64: A52CAF3BCA92943A Time : 0.0 sec. user=vaughan [2012-01-24 15:03:51] 513*2^1112242-1 is not prime. Res64: 8BBB80B706E26FF5 Time : 0.0 sec. user=vaughan [2012-01-24 15:05:50] 565*2^1112237-1 is not prime. Res64: 29AD082048C792BE Time : 0.0 sec. user=vaughan [2012-01-24 15:05:52] 483*2^1112238-1 is not prime. Res64: 5BD693F911FBFB00 Time : 0.0 sec. user=vaughan [2012-01-24 15:06:35] 421*2^1112239-1 is not prime. Res64: 7F6D7F7A40FAC591 Time : 0.0 sec. user=vaughan [2012-01-24 15:06:36] 433*2^1112239-1 is not prime. Res64: 83CD4016B7470E97 Time : 0.0 sec. user=vaughan [2012-01-24 15:11:07] 413*2^1112244-1 is not prime. Res64: 54B719A442D223DE Time : 0.0 sec. user=vaughan [2012-01-24 15:11:08] 419*2^1112244-1 is not prime. Res64: 6537B94932D8D1D0 Time : 0.0 sec. user=vaughan [2012-01-24 15:13:33] 471*2^1112241-1 is not prime. Res64: 5C587BE79117E561 Time : 0.0 sec. user=vaughan [2012-01-24 15:13:34] 423*2^1112242-1 is not prime. Res64: 502254A142822929 Time : 0.0 sec. user=vaughan [2012-01-24 15:15:40] 505*2^1112243-1 is not prime. Res64: 9CB01CF06172636A Time : 0.0 sec. user=vaughan [2012-01-24 15:15:41] 571*2^1112243-1 is not prime. Res64: D68026920C2B9512 Time : 0.0 sec. user=Sashixi [2012-01-24 15:21:08] 437*2^1112250-1 is not prime. Res64: 9A36E78CDE6D112D Time : 0.0 sec. user=vaughan [2012-01-24 15:21:25] 549*2^1112239-1 is not prime. Res64: D8EB18B2DE43036E Time : 0.0 sec. user=vaughan [2012-01-24 15:21:26] 483*2^1112240-1 is not prime. Res64: DFD49CD316F09350 Time : 0.0 sec. user=vaughan [2012-01-24 15:21:33] 503*2^1112240-1 is not prime. Res64: 517AD8C82EE58783 Time : 0.0 sec. user=vaughan [2012-01-24 15:21:33] 405*2^1112241-1 is not prime. Res64: 1BD51627BD18FFED Time : 0.0 sec. user=vaughan [2012-01-24 15:21:47] 585*2^1112244-1 is not prime. Res64: 9515F3F679E8227E Time : 0.0 sec. user=vaughan [2012-01-24 15:21:48] 465*2^1112245-1 is not prime. Res64: 8386ED4A97E860C7 Time : 0.0 sec. user=vaughan [2012-01-24 15:23:03] 557*2^1112246-1 is not prime. Res64: 52985BACE4A5DBFF Time : 0.0 sec. user=vaughan [2012-01-24 15:23:03] 561*2^1112246-1 is not prime. Res64: A8071FCA9809797E Time : 0.0 sec. user=Sashixi [2012-01-24 15:23:22] 405*2^1112251-1 is not prime. Res64: 1B4E07E2480B2CF0 Time : 0.0 sec. user=vaughan [2012-01-24 15:30:17] 477*2^1112252-1 is not prime. Res64: 42D23345E5B1186F Time : 0.0 sec. user=vaughan [2012-01-24 15:30:17] 495*2^1112252-1 is not prime. Res64: E0E432427BB4DA4E Time : 0.0 sec. user=vaughan [2012-01-24 15:31:00] 525*2^1112245-1 is not prime. Res64: 604A1BB7C57C1B34 Time : 0.0 sec. user=vaughan [2012-01-24 15:31:00] 541*2^1112245-1 is not prime. Res64: 3A140000C58B79C2 Time : 0.0 sec. user=vaughan [2012-01-24 15:31:01] 441*2^1112247-1 is not prime. Res64: 1DDD19743E785265 Time : 0.0 sec. user=vaughan [2012-01-24 15:31:02] 527*2^1112248-1 is not prime. Res64: BD0DAB038097E1CC Time : 0.0 sec. user=vaughan [2012-01-24 15:31:33] 407*2^1112246-1 is not prime. Res64: 36A69AD461455130 Time : 0.0 sec. user=vaughan [2012-01-24 15:31:33] 455*2^1112246-1 is not prime. Res64: DFB75F0FB6A7F2E8 Time : 0.0 sec. user=vaughan [2012-01-24 15:35:26] 441*2^1112251-1 is not prime. Res64: 951E9E11300AC7A8 Time : 0.0 sec. user=vaughan [2012-01-24 15:35:27] 417*2^1112252-1 is not prime. Res64: B43BD8D5A7658049 Time : 0.0 sec. user=vaughan [2012-01-24 15:37:27] 517*2^1112253-1 is not prime. Res64: 4403640AA83C0692 Time : 0.0 sec. user=vaughan [2012-01-24 15:37:28] 435*2^1112254-1 is not prime. Res64: BD2F1E7603F95E07 Time : 0.0 sec. user=vaughan [2012-01-24 15:42:16] 557*2^1112252-1 is not prime. Res64: 1D51C78B93D0FF75 Time : 0.0 sec. user=vaughan [2012-01-24 15:42:17] 417*2^1112253-1 is not prime. Res64: 3119F202CBF82781 Time : 0.0 sec. user=Sashixi [2012-01-24 15:42:46] 501*2^1112255-1 is not prime. Res64: D79A2E7283967C3B Time : 0.0 sec. user=vaughan [2012-01-24 15:43:02] 427*2^1112253-1 is not prime. Res64: 6B7D7F6380EB1238 Time : 0.0 sec. user=vaughan [2012-01-24 15:43:02] 429*2^1112253-1 is not prime. Res64: 397A1E30A18E53FA Time : 0.0 sec. user=Sashixi [2012-01-24 15:44:56] 525*2^1112258-1 is not prime. Res64: D45E9FAF5793A913 Time : 0.0 sec. user=vaughan [2012-01-24 15:48:30] 421*2^1112255-1 is not prime. Res64: 9720D8EE737F98A4 Time : 0.0 sec. user=vaughan [2012-01-24 15:48:31] 459*2^1112255-1 is not prime. Res64: 0695C98775CB4960 Time : 0.0 sec. user=vaughan [2012-01-24 15:49:19] 563*2^1112248-1 is not prime. Res64: C53B64DAEFDE53FE Time : 0.0 sec. user=vaughan [2012-01-24 15:49:19] 465*2^1112249-1 is not prime. Res64: 1B6A5236E0C5E376 Time : 0.0 sec. user=vaughan [2012-01-24 15:49:26] 503*2^1112258-1 is not prime. Res64: 095275F8155C2532 Time : 0.0 sec. user=vaughan [2012-01-24 15:49:27] 507*2^1112258-1 is not prime. Res64: EF1E800360569D51 Time : 0.0 sec. user=vaughan [2012-01-24 15:49:57] 513*2^1112254-1 is not prime. Res64: 15A935EE2ED06943 Time : 0.0 sec. user=vaughan [2012-01-24 15:49:57] 561*2^1112254-1 is not prime. Res64: F32F7E119383E557 Time : 0.0 sec. user=vaughan [2012-01-24 15:56:38] 585*2^1112258-1 is not prime. Res64: 8AF60CF896861CBF Time : 0.0 sec. user=vaughan [2012-01-24 15:56:38] 403*2^1112259-1 is not prime. Res64: D7589F1EE9489DCB Time : 0.0 sec. user=vaughan [2012-01-24 15:58:12] 537*2^1112256-1 is not prime. Res64: C5FCE8DC89D498F6 Time : 0.0 sec. user=vaughan [2012-01-24 15:58:13] 567*2^1112256-1 is not prime. Res64: 30A10DA2FEC39337 Time : 0.0 sec. user=vaughan [2012-01-24 16:03:57] 519*2^1112261-1 is not prime. Res64: D3D82A9FCE964B44 Time : 0.0 sec. user=vaughan [2012-01-24 16:03:58] 493*2^1112259-1 is not prime. Res64: 03800A8942E8DD3F Time : 0.0 sec. user=vaughan [2012-01-24 16:04:04] 525*2^1112261-1 is not prime. Res64: 262FFA685A266F3F Time : 0.0 sec. user=vaughan [2012-01-24 16:04:05] 573*2^1112259-1 is not prime. Res64: 08DBD40433992E08 Time : 0.0 sec. user=Sashixi [2012-01-24 16:05:34] 521*2^1112262-1 is not prime. Res64: 77C25D0052E11638 Time : 0.0 sec. user=vaughan [2012-01-24 16:07:25] 433*2^1112259-1 is not prime. Res64: 3688FE57FB8BD6E5 Time : 0.0 sec. user=vaughan [2012-01-24 16:07:26] 489*2^1112259-1 is not prime. Res64: 84EB5EEEB1CCD903 Time : 0.0 sec. user=Sashixi [2012-01-24 16:07:47] 523*2^1112263-1 is not prime. Res64: 264A8A92957A1CB4 Time : 0.0 sec. user=vaughan [2012-01-24 16:08:02] 453*2^1112260-1 is not prime. Res64: D64BFE422AEFA419 Time : 0.0 sec. user=vaughan [2012-01-24 16:08:03] 489*2^1112260-1 is not prime. Res64: E54DFE939E36E098 Time : 0.0 sec. user=vaughan [2012-01-24 16:08:16] 563*2^1112260-1 is not prime. Res64: 21D69E26A8CCC198 Time : 0.0 sec. user=vaughan [2012-01-24 16:08:16] 417*2^1112261-1 is not prime. Res64: 031AF2E24D73155C Time : 0.0 sec. user=vaughan [2012-01-24 16:15:57] 495*2^1112265-1 is not prime. Res64: E44DA63040138AFD Time : 0.0 sec. user=vaughan [2012-01-24 16:15:57] 511*2^1112265-1 is not prime. Res64: BA94D51CF811A7C0 Time : 0.0 sec. user=vaughan [2012-01-24 16:18:32] 585*2^1112255-1 is not prime. Res64: 2B78036722014376 Time : 0.0 sec. user=vaughan [2012-01-24 16:18:33] 429*2^1112256-1 is not prime. Res64: 66F7B7DD706DD06B Time : 0.0 sec. user=vaughan [2012-01-24 16:18:36] 453*2^1112256-1 is not prime. Res64: B348CEDB55141D64 Time : 0.0 sec. user=vaughan [2012-01-24 16:18:36] 513*2^1112256-1 is not prime. Res64: 1A889B07345574A8 Time : 0.0 sec. user=vaughan [2012-01-24 16:18:47] 529*2^1112261-1 is not prime. Res64: E8FB6139D7E16A80 Time : 0.0 sec. user=vaughan [2012-01-24 16:18:48] 561*2^1112261-1 is not prime. Res64: CA519A5AB271230E Time : 0.0 sec. user=vaughan [2012-01-24 16:19:32] 489*2^1112263-1 is not prime. Res64: 16D44386BD981F6A Time : 0.0 sec. user=vaughan [2012-01-24 16:19:32] 511*2^1112263-1 is not prime. Res64: 432C767D3EF4EED7 Time : 0.0 sec. user=vaughan [2012-01-24 16:21:20] 595*2^1112263-1 is not prime. Res64: 3108FDFFD4F8A684 Time : 0.0 sec. user=vaughan [2012-01-24 16:21:20] 509*2^1112264-1 is not prime. Res64: 4094C72C4828F1A0 Time : 0.0 sec. user=vaughan [2012-01-24 16:23:03] 435*2^1112267-1 is not prime. Res64: E41D098B46C08FA0 Time : 0.0 sec. user=vaughan [2012-01-24 16:23:03] 523*2^1112267-1 is not prime. Res64: 9A85437954D56AA0 Time : 0.0 sec. user=Sashixi [2012-01-24 16:25:46] 513*2^1112268-1 is not prime. Res64: 235FA3C413880D6D Time : 0.0 sec. user=vaughan [2012-01-24 16:26:21] 551*2^1112266-1 is not prime. Res64: 0FE8929D6831B522 Time : 0.0 sec. user=vaughan [2012-01-24 16:26:22] 593*2^1112266-1 is not prime. Res64: A594188EF3C7CC89 Time : 0.0 sec. user=Sashixi [2012-01-24 16:27:37] 495*2^1112269-1 is not prime. Res64: 4032D53B2BAC03CC Time : 0.0 sec. user=vaughan [2012-01-24 16:30:32] 419*2^1112268-1 is not prime. Res64: 93C2DA05644F6E26 Time : 0.0 sec. user=vaughan [2012-01-24 16:30:32] 473*2^1112268-1 is not prime. Res64: 28D6A8D6C5025304 Time : 0.0 sec. user=vaughan [2012-01-24 16:34:42] 571*2^1112267-1 is not prime. Res64: E59DE4F4A4F872B9 Time : 0.0 sec. user=vaughan [2012-01-24 16:34:43] 413*2^1112268-1 is not prime. Res64: 24D5672CABD7709A Time : 0.0 sec. user=vaughan [2012-01-24 16:37:10] 479*2^1112268-1 is not prime. Res64: F5CC7DD468684C2B Time : 0.0 sec. user=vaughan [2012-01-24 16:37:11] 483*2^1112268-1 is not prime. Res64: FE393A6E2A041DDA Time : 0.0 sec. user=vaughan [2012-01-24 16:41:17] 595*2^1112269-1 is not prime. Res64: 5DF952B1DC8766D4 Time : 0.0 sec. user=vaughan [2012-01-24 16:41:19] 417*2^1112270-1 is not prime. Res64: 9A9C00E0097CB6CD Time : 0.0 sec. user=vaughan [2012-01-24 16:42:12] 537*2^1112270-1 is not prime. Res64: D837B0278D963B1D Time : 0.0 sec. user=vaughan [2012-01-24 16:42:12] 561*2^1112270-1 is not prime. Res64: FBCBE890C473BAC6 Time : 0.0 sec. user=vaughan [2012-01-24 16:43:57] 563*2^1112268-1 is not prime. Res64: 2BCC2D6F718F846F Time : 0.0 sec. user=vaughan [2012-01-24 16:43:58] 585*2^1112268-1 is not prime. Res64: F3516CA7185914F5 Time : 0.0 sec. user=vaughan [2012-01-24 16:44:23] 555*2^1112269-1 is not prime. Res64: 8EA58BAB44F81AD9 Time : 0.0 sec. user=vaughan [2012-01-24 16:44:23] 561*2^1112269-1 is not prime. Res64: 446BB6D655FD6CD7 Time : 0.0 sec. user=Sashixi [2012-01-24 16:45:44] 531*2^1112274-1 is not prime. Res64: 41F2267E549D7E92 Time : 0.0 sec. user=Sashixi [2012-01-24 16:47:20] 421*2^1112275-1 is not prime. Res64: DF303FB038E5F697 Time : 0.0 sec. user=vaughan [2012-01-24 16:49:15] 461*2^1112274-1 is not prime. Res64: 198262AA78DF9CEF Time : 0.0 sec. user=vaughan [2012-01-24 16:49:15] 473*2^1112274-1 is not prime. Res64: D1BDBB410E9B12A5 Time : 0.0 sec. user=vaughan [2012-01-24 16:52:41] 465*2^1112265-1 is not prime. Res64: DC0827F666F7B07C Time : 0.0 sec. user=vaughan [2012-01-24 16:52:41] 475*2^1112265-1 is not prime. Res64: 227350AD758158D9 Time : 0.0 sec. user=vaughan [2012-01-24 16:54:07] 517*2^1112273-1 is not prime. Res64: CA76B7CB01987399 Time : 0.0 sec. user=vaughan [2012-01-24 16:54:08] 567*2^1112273-1 is not prime. Res64: 135DB3D7E82E1D25 Time : 0.0 sec. user=vaughan [2012-01-24 16:55:09] 485*2^1112272-1 is not prime. Res64: 25A086FFC5A2182C Time : 0.0 sec. user=vaughan [2012-01-24 16:55:09] 489*2^1112272-1 is not prime. Res64: AB38E32BD29847B0 Time : 0.0 sec. user=vaughan [2012-01-24 16:55:58] 549*2^1112272-1 is not prime. Res64: FB3F93F24A7F9795 Time : 0.0 sec. user=vaughan [2012-01-24 16:56:00] 487*2^1112273-1 is not prime. Res64: 506B40F5EF27FE98 Time : 0.0 sec. user=vaughan [2012-01-24 16:56:42] 589*2^1112275-1 is not prime. Res64: 7F4DC568DCC13888 Time : 0.0 sec. user=vaughan [2012-01-24 16:56:43] 417*2^1112276-1 is not prime. Res64: D7B0EDF757C45E4B Time : 0.0 sec. user=vaughan [2012-01-24 17:02:52] 555*2^1112274-1 is not prime. Res64: 05FDB79359347B2F Time : 0.0 sec. user=vaughan [2012-01-24 17:02:53] 563*2^1112274-1 is not prime. Res64: 22FEFEECCB2AA28A Time : 0.0 sec. user=Sashixi [2012-01-24 17:08:07] 459*2^1112280-1 is not prime. Res64: 0A7351E62A717D53 Time : 0.0 sec. user=vaughan [2012-01-24 17:08:20] 517*2^1112277-1 is not prime. Res64: 9BC0644974DA71B5 Time : 0.0 sec. user=vaughan [2012-01-24 17:08:22] 435*2^1112278-1 is not prime. Res64: C54B527E5C272DAD Time : 0.0 sec. user=Sashixi [2012-01-24 17:09:49] 415*2^1112281-1 is not prime. Res64: 06AA2A5AB7E842E0 Time : 0.0 sec. user=vaughan [2012-01-24 17:09:56] 545*2^1112276-1 is not prime. Res64: 06DD96768311C538 Time : 0.0 sec. user=vaughan [2012-01-24 17:09:56] 557*2^1112276-1 is not prime. Res64: 227EA78694ED6AF6 Time : 0.0 sec. user=vaughan [2012-01-24 17:11:08] 425*2^1112276-1 is not prime. Res64: 53DD7667ABF582D2 Time : 0.0 sec. user=vaughan [2012-01-24 17:11:10] 449*2^1112276-1 is not prime. Res64: 59FDC626124368A0 Time : 0.0 sec. user=vaughan [2012-01-24 17:14:10] 579*2^1112276-1 is not prime. Res64: 99D6A1007E671D1C Time : 0.0 sec. user=vaughan [2012-01-24 17:14:11] 409*2^1112277-1 is not prime. Res64: F6DBF5C9D49C2FD2 Time : 0.0 sec. user=vaughan [2012-01-24 17:15:32] 421*2^1112281-1 is not prime. Res64: ECAA01D4955759C6 Time : 0.0 sec. user=vaughan [2012-01-24 17:15:33] 555*2^1112281-1 is not prime. Res64: E36E6A3072F05CA9 Time : 0.0 sec. user=vaughan [2012-01-24 17:18:33] 403*2^1112271-1 is not prime. Res64: 3B13A534A8E1979C Time : 0.0 sec. user=vaughan [2012-01-24 17:18:34] 415*2^1112271-1 is not prime. Res64: 652672EB2C5CEC46 Time : 0.0 sec. user=vaughan [2012-01-24 17:18:35] 489*2^1112271-1 is not prime. Res64: 129BBAB6EA330D76 Time : 0.0 sec. user=vaughan [2012-01-24 17:18:36] 541*2^1112271-1 is not prime. Res64: 6EED8700695E4AF1 Time : 0.0 sec. user=vaughan [2012-01-24 17:20:23] 545*2^1112278-1 is not prime. Res64: 7132724F2F415B66 Time : 0.0 sec. user=vaughan [2012-01-24 17:20:24] 411*2^1112279-1 is not prime. Res64: 6D096381392AF251 Time : 0.0 sec. user=vaughan [2012-01-24 17:21:00] 565*2^1112279-1 is not prime. Res64: 7C4411C7F6CCA9A4 Time : 0.0 sec. user=vaughan [2012-01-24 17:21:02] 423*2^1112280-1 is not prime. Res64: A86DC02E1156494A Time : 0.0 sec. user=vaughan [2012-01-24 17:22:58] 513*2^1112284-1 is not prime. Res64: 4AF3E07A1CE5305A Time : 0.0 sec. user=vaughan [2012-01-24 17:22:59] 539*2^1112284-1 is not prime. Res64: 60B50EA2790DF5CA Time : 0.0 sec. user=vaughan [2012-01-24 17:26:58] 411*2^1112283-1 is not prime. Res64: 699016B3C2B06FDB Time : 0.0 sec. user=vaughan [2012-01-24 17:27:00] 471*2^1112283-1 is not prime. Res64: CCD46C85FAF919A0 Time : 0.0 sec. user=vaughan [2012-01-24 17:31:34] 529*2^1112283-1 is not prime. Res64: D6E4736CFDBB1725 Time : 0.0 sec. user=vaughan [2012-01-24 17:31:35] 423*2^1112284-1 is not prime. Res64: 1F07A3A62EE3175D Time : 0.0 sec. user=vaughan [2012-01-24 17:32:23] 495*2^1112284-1 is not prime. Res64: 9E07674443478655 Time : 0.0 sec. user=vaughan [2012-01-24 17:32:24] 507*2^1112284-1 is not prime. Res64: 0B1534B47C061211 Time : 0.0 sec. user=vaughan [2012-01-24 17:34:50] 511*2^1112285-1 is not prime. Res64: 15B88085F77FAA69 Time : 0.0 sec. user=vaughan [2012-01-24 17:34:50] 591*2^1112285-1 is not prime. Res64: 88F2E82830970EF2 Time : 0.0 sec. user=vaughan [2012-01-24 17:39:13] 545*2^1112284-1 is not prime. Res64: 95331770EA3152A6 Time : 0.0 sec. user=vaughan [2012-01-24 17:39:14] 447*2^1112285-1 is not prime. Res64: 47E619364A4509F7 Time : 0.0 sec. user=vaughan [2012-01-24 17:41:54] 491*2^1109914-1 is not prime. Res64: 403BF771D859B93B Time : 0.0 sec. user=vaughan [2012-01-24 17:41:55] 495*2^1109914-1 is not prime. Res64: 9DC8D9FF40372D62 Time : 0.0 sec. user=vaughan [2012-01-24 17:43:03] 507*2^1112286-1 is not prime. Res64: B8F3BD62DE88DC80 Time : 0.0 sec. user=vaughan [2012-01-24 17:43:04] 581*2^1112286-1 is not prime. Res64: D75AB3DD214BC4EB Time : 0.0 sec. user=henryzz [2012-01-24 17:43:45] 509*2^1112168-1 is not prime. Res64: 5A2A982C6FA7F33F Time : 0.0 sec. user=henryzz [2012-01-24 17:44:25] 585*2^1112160-1 is not prime. Res64: 24B5B76E56F3B44B Time : 0.0 sec. user=vaughan [2012-01-24 17:46:58] 407*2^1109912-1 is not prime. Res64: 02142528A39F3FFD Time : 0.0 sec. user=vaughan [2012-01-24 17:46:59] 515*2^1109912-1 is not prime. Res64: 303274554E65B3AF Time : 0.0 sec. user=vaughan [2012-01-24 17:47:42] 429*2^1112287-1 is not prime. Res64: 30DF54D98C12F321 Time : 0.0 sec. user=vaughan [2012-01-24 17:47:43] 523*2^1112287-1 is not prime. Res64: 79430D6B1F990990 Time : 0.0 sec. user=vaughan [2012-01-24 17:48:23] 507*2^1112282-1 is not prime. Res64: F04572528A63C490 Time : 0.0 sec. user=vaughan [2012-01-24 17:48:24] 521*2^1112282-1 is not prime. Res64: 8DC2210EDE109C31 Time : 0.0 sec. user=vaughan [2012-01-24 17:49:38] 433*2^1112291-1 is not prime. Res64: 9A893D3217A53D79 Time : 0.0 sec. user=vaughan [2012-01-24 17:49:39] 555*2^1112292-1 is not prime. Res64: 4E15D0FC75C082F8 Time : 0.0 sec. user=henryzz [2012-01-24 17:51:10] 411*2^1112163-1 is not prime. Res64: 2C4662C0076F901A Time : 0.0 sec. user=henryzz [2012-01-24 17:51:38] 487*2^1112165-1 is not prime. Res64: 8F14B8A4B1C7E8FD Time : 0.0 sec. user=vaughan [2012-01-24 17:56:51] 481*2^1112289-1 is not prime. Res64: F733584903A7847F Time : 0.0 sec. user=vaughan [2012-01-24 17:56:52] 537*2^1112289-1 is not prime. Res64: 564589253CD6846B Time : 0.0 sec. user=vaughan [2012-01-24 17:57:31] 405*2^1112290-1 is not prime. Res64: D10F4DBA6A93733C Time : 0.0 sec. user=vaughan [2012-01-24 17:57:32] 461*2^1112290-1 is not prime. Res64: 4B56297E50318D7F Time : 0.0 sec. user=vaughan [2012-01-24 17:59:56] 579*2^1112292-1 is not prime. Res64: 6A45091CD9865D04 Time : 0.0 sec. user=vaughan [2012-01-24 17:59:57] 425*2^1112294-1 is not prime. Res64: 7D77BEA3E658DDDC Time : 0.0 sec. user=vaughan [2012-01-24 18:01:14] 527*2^1112296-1 is not prime. Res64: 62ADC9C633971634 Time : 0.0 sec. user=vaughan [2012-01-24 18:01:16] 573*2^1112296-1 is not prime. Res64: 872DB622C06A8554 Time : 0.0 sec. user=vaughan [2012-01-24 18:08:03] 573*2^1112294-1 is not prime. Res64: A0D3919C493C55FF Time : 0.0 sec. user=vaughan [2012-01-24 18:08:05] 441*2^1112295-1 is not prime. Res64: F02CF7DF24B39D5E Time : 0.0 sec. user=vaughan [2012-01-24 18:08:19] 571*2^1112297-1 is not prime. Res64: B631F4A0CCFD34C3 Time : 0.0 sec. user=vaughan [2012-01-24 18:08:21] 585*2^1112297-1 is not prime. Res64: 52256B6BAB882CB5 Time : 0.0 sec. user=vaughan [2012-01-24 18:08:47] 541*2^1112295-1 is not prime. Res64: DEA5B26E71243612 Time : 0.0 sec. user=vaughan [2012-01-24 18:08:48] 455*2^1112296-1 is not prime. Res64: B54CB18F32457AED Time : 0.0 sec. user=henryzz [2012-01-24 18:09:36] 527*2^1112298-1 is not prime. Res64: 6B1420125D9A41AE Time : 0.0 sec. user=vaughan [2012-01-24 18:11:37] 459*2^1112289-1 is not prime. Res64: C1EB08D378638079 Time : 0.0 sec. user=vaughan [2012-01-24 18:11:38] 589*2^1112287-1 is not prime. Res64: ACADEFC6CD2A7043 Time : 0.0 sec. user=vaughan [2012-01-24 18:11:40] 469*2^1112289-1 is not prime. Res64: B42C456E40EB367A Time : 0.0 sec. user=vaughan [2012-01-24 18:11:43] 539*2^1112288-1 is not prime. Res64: EBCCB2E902E02604 Time : 0.0 sec. user=henryzz [2012-01-24 18:13:56] 485*2^1112298-1 is not prime. Res64: FC6A60D5711B2B45 Time : 0.0 sec. user=vaughan [2012-01-24 18:15:36] 465*2^1112297-1 is not prime. Res64: 6C4F747F18BA42E8 Time : 0.0 sec. user=vaughan [2012-01-24 18:15:36] 507*2^1112297-1 is not prime. Res64: B7A0D0D43F8E7870 Time : 0.0 sec. user=vaughan [2012-01-24 18:15:49] 471*2^1112298-1 is not prime. Res64: 9FE2C8B57A9476EA Time : 0.0 sec. user=vaughan [2012-01-24 18:15:49] 483*2^1112298-1 is not prime. Res64: 4B09058FDC80ACC9 Time : 0.0 sec. user=vaughan [2012-01-24 18:16:12] 529*2^1112301-1 is not prime. Res64: FE9DE92E2205FC9B Time : 0.0 sec. user=vaughan [2012-01-24 18:16:13] 549*2^1112301-1 is not prime. Res64: 3BB26CA30C7E400A Time : 0.0 sec. user=henryzz [2012-01-24 18:16:38] 453*2^1112302-1 is not prime. Res64: F3095B11018E9DF4 Time : 0.0 sec. user=vaughan [2012-01-24 18:19:41] 421*2^1112299-1 is not prime. Res64: ED439DE2CA1E7A73 Time : 0.0 sec. user=vaughan [2012-01-24 18:19:42] 463*2^1112299-1 is not prime. Res64: 5B983DDAEFA213DC Time : 0.0 sec. user=henryzz [2012-01-24 18:21:20] 579*2^1112301-1 is not prime. Res64: E50372FB0A80FF74 Time : 0.0 sec. user=vaughan [2012-01-24 18:24:06] 573*2^1112299-1 is not prime. Res64: 67A147FFA660AD3A Time : 0.0 sec. user=vaughan [2012-01-24 18:24:08] 583*2^1112299-1 is not prime. Res64: 57B2D7BC875A7287 Time : 0.0 sec. user=vaughan [2012-01-24 18:27:49] 597*2^1112304-1 is not prime. Res64: 85F4AF11900A8955 Time : 0.0 sec. user=vaughan [2012-01-24 18:27:50] 405*2^1112305-1 is not prime. Res64: 49320BD349E84E2B Time : 0.0 sec. user=vaughan [2012-01-24 18:32:53] 563*2^1112304-1 is not prime. Res64: 193D17AE107C9ED5 Time : 0.0 sec. user=vaughan [2012-01-24 18:32:54] 587*2^1112304-1 is not prime. Res64: 000CF3989D063E35 Time : 0.0 sec. user=vaughan [2012-01-24 18:33:13] 561*2^1112302-1 is not prime. Res64: AE2D78D0D52DBAAA Time : 0.0 sec. user=vaughan [2012-01-24 18:33:13] 441*2^1112303-1 is not prime. Res64: F13EFA7664F40BB7 Time : 0.0 sec. user=vaughan [2012-01-24 18:34:00] 595*2^1112303-1 is not prime. Res64: E7D7D0176D048160 Time : 0.0 sec. user=vaughan [2012-01-24 18:34:01] 419*2^1112304-1 is not prime. Res64: FD5A6E91D942D9A0 Time : 0.0 sec. user=vaughan [2012-01-24 18:35:08] 473*2^1112306-1 is not prime. Res64: A3A6F5B15B1D6690 Time : 0.0 sec. user=vaughan [2012-01-24 18:35:09] 477*2^1112306-1 is not prime. Res64: 64E673DC803BB02E Time : 0.0 sec. user=henryzz [2012-01-24 18:35:11] 563*2^1112306-1 is not prime. Res64: 0164B5EE05DEB7AC Time : 0.0 sec. user=vaughan [2012-01-24 18:36:58] 585*2^1112300-1 is not prime. Res64: 7A4FCE86E9BE76A4 Time : 0.0 sec. user=vaughan [2012-01-24 18:36:59] 415*2^1112301-1 is not prime. Res64: 7DD5142BAF124353 Time : 0.0 sec. user=henryzz [2012-01-24 18:42:15] 589*2^1112309-1 is not prime. Res64: 85F51B141FDEBF92 Time : 0.0 sec. user=vaughan [2012-01-24 18:43:03] 421*2^1112309-1 is not prime. Res64: A6956F5CA86DF040 Time : 0.0 sec. user=vaughan [2012-01-24 18:43:04] 481*2^1112309-1 is not prime. Res64: 07654AE55B35B64A Time : 0.0 sec. user=henryzz [2012-01-24 18:43:11] 501*2^1112307-1 is not prime. Res64: A4FE7D0D6A632E34 Time : 0.0 sec. user=vaughan [2012-01-24 18:44:30] 411*2^1112305-1 is not prime. Res64: 5E4B37A9AB6C27C4 Time : 0.0 sec. user=vaughan [2012-01-24 18:44:31] 425*2^1112306-1 is not prime. Res64: 4CC16DDEC973D7B4 Time : 0.0 sec. user=vaughan [2012-01-24 18:45:25] 495*2^1112306-1 is not prime. Res64: 2E4E901694314133 Time : 0.0 sec. user=vaughan [2012-01-24 18:45:26] 497*2^1112306-1 is not prime. Res64: BC492C7CBEF84A17 Time : 0.0 sec. user=vaughan [2012-01-24 18:49:41] 483*2^1112308-1 is not prime. Res64: F93E6B150D821245 Time : 0.0 sec. user=vaughan [2012-01-24 18:49:42] 533*2^1112308-1 is not prime. Res64: B8B33FA67DFA55A2 Time : 0.0 sec. user=henryzz [2012-01-24 18:50:50] 511*2^1112311-1 is not prime. Res64: 60A5688221ABED60 Time : 0.0 sec. user=vaughan [2012-01-24 18:52:01] 413*2^1112308-1 is not prime. Res64: 42D550AD56651574 Time : 0.0 sec. user=vaughan [2012-01-24 18:52:02] 435*2^1112308-1 is not prime. Res64: 9F70B1C57D090F4D Time : 0.0 sec. user=vaughan [2012-01-24 18:54:00] 439*2^1112311-1 is not prime. Res64: 19A825ABEAD06F26 Time : 0.0 sec. user=vaughan [2012-01-24 18:54:01] 453*2^1112311-1 is not prime. Res64: 35AF029C9571971A Time : 0.0 sec. user=vaughan [2012-01-24 18:54:29] 457*2^1112313-1 is not prime. Res64: 9377CDABCBC0B7DC Time : 0.0 sec. user=vaughan [2012-01-24 18:54:29] 501*2^1112313-1 is not prime. Res64: D1F8ED15E3DA4E2D Time : 0.0 sec. user=vaughan [2012-01-24 18:59:24] 451*2^1112307-1 is not prime. Res64: AB223B3136EB3246 Time : 0.0 sec. user=vaughan [2012-01-24 18:59:24] 471*2^1112307-1 is not prime. Res64: 69E80C097DC32C81 Time : 0.0 sec. user=vaughan [2012-01-24 18:59:25] 475*2^1112307-1 is not prime. Res64: 3D602F717204745E Time : 0.0 sec. user=vaughan [2012-01-24 18:59:25] 493*2^1112307-1 is not prime. Res64: 99C223CD6F0E10AB Time : 0.0 sec. user=vaughan [2012-01-24 19:00:29] 519*2^1112311-1 is not prime. Res64: DD27733661B0C3F3 Time : 0.0 sec. user=vaughan [2012-01-24 19:00:33] 409*2^1112313-1 is not prime. Res64: 8EB0578075E0A4E4 Time : 0.0 sec. user=henryzz [2012-01-24 19:00:36] 465*2^1112316-1 is not prime. Res64: E63DE6FDF4B2F559 Time : 0.0 sec. user=vaughan [2012-01-24 19:01:51] 553*2^1112315-1 is not prime. Res64: 0CB6C9CBD132A2EE Time : 0.0 sec. user=vaughan [2012-01-24 19:01:53] 579*2^1112315-1 is not prime. Res64: F6D20BFF0271A0F7 Time : 0.0 sec. user=vaughan [2012-01-24 19:08:32] 559*2^1112313-1 is not prime. Res64: C8E4E21C5E6B56C4 Time : 0.0 sec. user=vaughan [2012-01-24 19:08:33] 577*2^1112313-1 is not prime. Res64: 4FB591DDE680A988 Time : 0.0 sec. user=vaughan [2012-01-24 19:09:31] 477*2^1112317-1 is not prime. Res64: AF1BC4F8AF01FC7E Time : 0.0 sec. user=vaughan [2012-01-24 19:09:32] 495*2^1112317-1 is not prime. Res64: 8FDB52104745F600 Time : 0.0 sec. user=vaughan [2012-01-24 19:09:40] 413*2^1112314-1 is not prime. Res64: 2B45E2F23FF3CE5F Time : 0.0 sec. user=vaughan [2012-01-24 19:09:41] 423*2^1112314-1 is not prime. Res64: 5D48A5524EE1CCDB Time : 0.0 sec. user=henryzz [2012-01-24 19:10:24] 453*2^1112318-1 is not prime. Res64: 36C8342C896F4400 Time : 0.0 sec. user=vaughan [2012-01-24 19:10:25] 503*2^1112314-1 is not prime. Res64: B2240C188AC3890E Time : 0.0 sec. user=vaughan [2012-01-24 19:10:26] 525*2^1112314-1 is not prime. Res64: 515B2E06281ED0D7 Time : 0.0 sec. user=henryzz [2012-01-24 19:11:31] 435*2^1112317-1 is not prime. Res64: 56DD10B747907C14 Time : 0.0 sec. user=henryzz [2012-01-24 19:17:15] 597*2^1112320-1 is not prime. Res64: C780427689F08CD4 Time : 0.0 sec. user=vaughan [2012-01-24 19:20:51] 437*2^1112322-1 is not prime. Res64: 7CF90B36E99A1ECF Time : 0.0 sec. user=vaughan [2012-01-24 19:20:52] 507*2^1112322-1 is not prime. Res64: 02D285A526BAC638 Time : 0.0 sec. user=vaughan [2012-01-24 19:20:59] 525*2^1112318-1 is not prime. Res64: BCF2EC215A4F1F15 Time : 0.0 sec. user=vaughan [2012-01-24 19:21:00] 481*2^1112319-1 is not prime. Res64: 7760455548D48D28 Time : 0.0 sec. user=vaughan [2012-01-24 19:21:49] 489*2^1112319-1 is not prime. Res64: BE0114869E4E75A1 Time : 0.0 sec. user=vaughan [2012-01-24 19:21:50] 565*2^1112319-1 is not prime. Res64: 1AC0B0A5345FB5A9 Time : 0.0 sec. user=vaughan [2012-01-24 19:23:47] 485*2^1112316-1 is not prime. Res64: A454D302DA909AFB Time : 0.0 sec. user=vaughan [2012-01-24 19:23:48] 537*2^1112316-1 is not prime. Res64: D0DB99C10815B717 Time : 0.0 sec. user=vaughan [2012-01-24 19:26:02] 533*2^1112320-1 is not prime. Res64: 4913167948E3B890 Time : 0.0 sec. user=vaughan [2012-01-24 19:26:03] 537*2^1112320-1 is not prime. Res64: E55D4738FDB6B900 Time : 0.0 sec. user=vaughan [2012-01-24 19:28:05] 577*2^1112325-1 is not prime. Res64: 0F861C265EFC1149 Time : 0.0 sec. user=vaughan [2012-01-24 19:28:06] 585*2^1112325-1 is not prime. Res64: 53A2E4D3CF702E36 Time : 0.0 sec. user=vaughan [2012-01-24 19:28:25] 445*2^1112321-1 is not prime. Res64: D63BDDB2AA4B7332 Time : 0.0 sec. user=vaughan [2012-01-24 19:28:25] 475*2^1112321-1 is not prime. Res64: ABE4D06402644BB2 Time : 0.0 sec. user=vaughan [2012-01-24 19:30:27] 559*2^1112321-1 is not prime. Res64: 1A31F0ED630D0604 Time : 0.0 sec. user=vaughan [2012-01-24 19:30:27] 577*2^1112321-1 is not prime. Res64: BD4D2390354D64E9 Time : 0.0 sec. user=henryzz [2012-01-24 19:31:10] 565*2^1112325-1 is not prime. Res64: 2D7A826AA63416CF Time : 0.0 sec. user=vaughan [2012-01-24 19:35:30] 501*2^1112327-1 is not prime. Res64: EBD73E428B44D5CC Time : 0.0 sec. user=vaughan [2012-01-24 19:35:30] 549*2^1112327-1 is not prime. Res64: FFC12BC7A8502944 Time : 0.0 sec. user=henryzz [2012-01-24 19:36:03] 525*2^1112328-1 is not prime. Res64: F50510A559C65372 Time : 0.0 sec. user=vaughan [2012-01-24 19:37:03] 487*2^1112325-1 is not prime. Res64: 85AEAD831D0F4D57 Time : 0.0 sec. user=vaughan [2012-01-24 19:37:03] 525*2^1112325-1 is not prime. Res64: 0D47EA5CE5564250 Time : 0.0 sec. user=henryzz [2012-01-24 19:40:46] 549*2^1112328-1 is not prime. Res64: E03DDA3D6EF8AC56 Time : 0.0 sec. user=henryzz [2012-01-24 19:43:04] 411*2^1112329-1 is not prime. Res64: BC1AE5A33FDE6741 Time : 0.0 sec. user=vaughan [2012-01-24 19:44:09] 511*2^1112323-1 is not prime. Res64: 0216FA75C00B61E8 Time : 0.0 sec. user=vaughan [2012-01-24 19:44:10] 435*2^1112324-1 is not prime. Res64: 9A2D9543BAD277AA Time : 0.0 sec. user=vaughan [2012-01-24 19:44:11] 539*2^1112324-1 is not prime. Res64: 50A8289CC739B6C3 Time : 0.0 sec. user=vaughan [2012-01-24 19:44:12] 469*2^1112325-1 is not prime. Res64: 87C57ADFC7E5C120 Time : 0.0 sec. user=vaughan [2012-01-24 19:44:45] 503*2^1112326-1 is not prime. Res64: F112D39356A68588 Time : 0.0 sec. user=vaughan [2012-01-24 19:44:46] 507*2^1112326-1 is not prime. Res64: 73C49B1A950CFC1E Time : 0.0 sec. user=vaughan [2012-01-24 19:46:05] 559*2^1112327-1 is not prime. Res64: F293DBB6B08D2329 Time : 0.0 sec. user=vaughan [2012-01-24 19:46:06] 595*2^1112327-1 is not prime. Res64: 36B5C5FB94BE092C Time : 0.0 sec. user=vaughan [2012-01-24 19:46:49] 425*2^1112328-1 is not prime. Res64: 942F20AF910B06A9 Time : 0.0 sec. user=vaughan [2012-01-24 19:46:50] 467*2^1112328-1 is not prime. Res64: E7A1E30D18E57761 Time : 0.0 sec. user=vaughan [2012-01-24 19:47:15] 435*2^1112329-1 is not prime. Res64: C7A0C012429D9EE0 Time : 0.0 sec. user=vaughan [2012-01-24 19:47:16] 471*2^1112329-1 is not prime. Res64: EF6C560F773A3870 Time : 0.0 sec. user=vaughan [2012-01-24 19:54:38] 573*2^1112332-1 is not prime. Res64: 03247B4D1A0E7A61 Time : 0.0 sec. user=vaughan [2012-01-24 19:54:39] 417*2^1112333-1 is not prime. Res64: DF609AE73F4DE17D Time : 0.0 sec. user=vaughan [2012-01-24 19:57:27] 559*2^1112329-1 is not prime. Res64: 7C5067518620654C Time : 0.0 sec. user=vaughan [2012-01-24 19:57:28] 411*2^1112330-1 is not prime. Res64: C17D8B9ED0426E88 Time : 0.0 sec. user=vaughan [2012-01-24 19:58:15] 525*2^1112330-1 is not prime. Res64: 124B33868449EF4E Time : 0.0 sec. user=vaughan [2012-01-24 19:58:16] 445*2^1112331-1 is not prime. Res64: EB2C166B017475F6 Time : 0.0 sec. user=henryzz [2012-01-24 19:59:55] 501*2^1112334-1 is not prime. Res64: E849B000EFDD2A7D Time : 0.0 sec. user=vaughan [2012-01-24 20:02:09] 423*2^1112332-1 is not prime. Res64: 010B548B03778205 Time : 0.0 sec. user=vaughan [2012-01-24 20:02:11] 567*2^1112332-1 is not prime. Res64: 75DA8FBA61DA5F5B Time : 0.0 sec. user=vaughan [2012-01-24 20:02:18] 567*2^1112334-1 is not prime. Res64: 9EB3D48981A6B0AE Time : 0.0 sec. user=vaughan [2012-01-24 20:02:18] 441*2^1112335-1 is not prime. Res64: A4B94CD789DAB26C Time : 0.0 sec. user=henryzz [2012-01-24 20:03:04] 523*2^1112335-1 is not prime. Res64: C70A4FCC7C1A2FF0 Time : 0.0 sec. user=vaughan [2012-01-24 20:04:55] 565*2^1112333-1 is not prime. Res64: 05A91E00D1C7DF75 Time : 0.0 sec. user=vaughan [2012-01-24 20:04:58] 423*2^1112334-1 is not prime. Res64: 80C07816F066626D Time : 0.0 sec. user=vaughan [2012-01-24 20:06:20] 431*2^1112334-1 is not prime. Res64: 36D6CA56368EF836 Time : 0.0 sec. user=vaughan [2012-01-24 20:06:23] 473*2^1112334-1 is not prime. Res64: E4791D8BC27C5205 Time : 0.0 sec. user=henryzz [2012-01-24 20:08:46] 563*2^1112336-1 is not prime. Res64: 4BB29F73C19865D5 Time : 0.0 sec. user=henryzz [2012-01-24 20:08:52] 465*2^1112337-1 is not prime. Res64: E94AD5B4B4693E18 Time : 0.0 sec. user=vaughan [2012-01-24 20:09:23] 531*2^1112331-1 is not prime. Res64: 509BB62DD4FBC942 Time : 0.0 sec. user=vaughan [2012-01-24 20:09:24] 555*2^1112331-1 is not prime. Res64: 09C13C64DB307DFD Time : 0.0 sec. user=vaughan [2012-01-24 20:13:31] 535*2^1112335-1 is not prime. Res64: B7D81BE4B9D4E352 Time : 0.0 sec. user=vaughan [2012-01-24 20:13:32] 589*2^1112335-1 is not prime. Res64: B76DA008BE0CAF17 Time : 0.0 sec. user=vaughan [2012-01-24 20:13:57] 447*2^1112340-1 is not prime. Res64: A582883EA385C2D6 Time : 0.0 sec. user=vaughan [2012-01-24 20:13:58] 513*2^1112340-1 is not prime. Res64: 2ED3BEB8BB5CDC51 Time : 0.0 sec. user=vaughan [2012-01-24 20:19:34] 495*2^1112338-1 is not prime. Res64: 721B4E2EB3D3EC72 Time : 0.0 sec. user=vaughan [2012-01-24 20:19:35] 551*2^1112338-1 is not prime. Res64: 65BA3772724940DC Time : 0.0 sec. user=vaughan [2012-01-24 20:21:17] 405*2^1112341-1 is not prime. Res64: FFBF4E9BD2AFF074 Time : 0.0 sec. user=vaughan [2012-01-24 20:21:19] 489*2^1112341-1 is not prime. Res64: D8B3CD3617C3E4FD Time : 0.0 sec. user=vaughan [2012-01-24 20:22:32] 463*2^1112339-1 is not prime. Res64: F8AC0EB15FE7CAD5 Time : 0.0 sec. user=vaughan [2012-01-24 20:22:33] 511*2^1112339-1 is not prime. Res64: 967FE0719755C814 Time : 0.0 sec. user=vaughan [2012-01-24 20:23:12] 531*2^1112339-1 is not prime. Res64: E6A9F3C55CC9339F Time : 0.0 sec. user=vaughan [2012-01-24 20:23:13] 589*2^1112339-1 is not prime. Res64: 9C95343C4B9E0F60 Time : 0.0 sec. user=henryzz [2012-01-24 20:24:18] 587*2^1112342-1 is not prime. Res64: 2A15E3A0910E9F96 Time : 0.0 sec. user=vaughan [2012-01-24 20:28:47] 553*2^1112343-1 is not prime. Res64: 3E1EEA7333F1BBF3 Time : 0.0 sec. user=vaughan [2012-01-24 20:28:49] 591*2^1112343-1 is not prime. Res64: 68ED586D8FBFA241 Time : 0.0 sec. user=henryzz [2012-01-24 20:33:48] 429*2^1112344-1 is not prime. Res64: 6B3638F4B5B6D411 Time : 0.0 sec. user=vaughan [2012-01-24 20:33:54] 511*2^1112341-1 is not prime. Res64: 1B0F676D30F8303F Time : 0.0 sec. user=vaughan [2012-01-24 20:33:54] 525*2^1112341-1 is not prime. Res64: 3E272576E4B3E599 Time : 0.0 sec. user=henryzz [2012-01-24 20:34:03] 569*2^1112344-1 is not prime. Res64: 9ABC9D65FD1342DA Time : 0.0 sec. user=vaughan [2012-01-24 20:34:38] 591*2^1112341-1 is not prime. Res64: B774C02C5EB3E9E6 Time : 0.0 sec. user=vaughan [2012-01-24 20:34:39] 435*2^1112342-1 is not prime. Res64: 03D705B20BC9282A Time : 0.0 sec. user=vaughan [2012-01-24 20:35:19] 493*2^1112343-1 is not prime. Res64: 0232F36002101BE0 Time : 0.0 sec. user=vaughan [2012-01-24 20:35:19] 523*2^1112343-1 is not prime. Res64: 7FD194CF03DFA84A Time : 0.0 sec. user=vaughan [2012-01-24 20:35:20] 475*2^1112337-1 is not prime. Res64: 68FE98F4D1B9343B Time : 0.0 sec. user=vaughan [2012-01-24 20:35:21] 555*2^1112337-1 is not prime. Res64: F1F8FBF2B07B9B7F Time : 0.0 sec. user=vaughan [2012-01-24 20:35:25] 437*2^1112338-1 is not prime. Res64: ECEE55D282D02FC2 Time : 0.0 sec. user=vaughan [2012-01-24 20:35:25] 467*2^1112338-1 is not prime. Res64: A2F9AA2B880A23C3 Time : 0.0 sec. user=henryzz [2012-01-24 20:38:54] 445*2^1112345-1 is not prime. Res64: 9759BDB114CA563D Time : 0.0 sec. user=vaughan [2012-01-24 20:39:32] 533*2^1112344-1 is not prime. Res64: DA73EA8A69904FBD Time : 0.0 sec. user=vaughan [2012-01-24 20:39:33] 567*2^1112344-1 is not prime. Res64: 7A718ECD4B71FAA7 Time : 0.0 sec. user=vaughan [2012-01-24 20:40:18] 567*2^1112346-1 is not prime. Res64: 790A7E598DB6DAEC Time : 0.0 sec. user=vaughan [2012-01-24 20:40:19] 581*2^1112346-1 is not prime. Res64: E7EE7ADD0ED73969 Time : 0.0 sec. user=vaughan [2012-01-24 20:41:21] 435*2^1112344-1 is not prime. Res64: 6E405963F0796A57 Time : 0.0 sec. user=vaughan [2012-01-24 20:41:22] 437*2^1112344-1 is not prime. Res64: D841E05FEE1D2C82 Time : 0.0 sec. user=vaughan [2012-01-24 20:48:07] 511*2^1112347-1 is not prime. Res64: CA58382837B4A997 Time : 0.0 sec. user=vaughan [2012-01-24 20:48:08] 579*2^1112347-1 is not prime. Res64: 489B21424082230D Time : 0.0 sec. user=vaughan [2012-01-24 20:50:06] 565*2^1112345-1 is not prime. Res64: 4908A828C5CD433E Time : 0.0 sec. user=vaughan [2012-01-24 20:50:06] 425*2^1112346-1 is not prime. Res64: BBC8A721286B5EC3 Time : 0.0 sec. user=vaughan [2012-01-24 20:52:32] 421*2^1112347-1 is not prime. Res64: 5D04967892752768 Time : 0.0 sec. user=vaughan [2012-01-24 20:52:33] 495*2^1112347-1 is not prime. Res64: B1B9DD2CCEE1CA29 Time : 0.0 sec. user=henryzz [2012-01-24 20:54:21] 595*2^1112349-1 is not prime. Res64: ED7B73532A740E82 Time : 0.0 sec. user=vaughan [2012-01-24 20:55:41] 461*2^1112350-1 is not prime. Res64: 686771C859D5DF9D Time : 0.0 sec. user=vaughan [2012-01-24 20:55:42] 477*2^1112350-1 is not prime. Res64: 9B427DB94BFE6D3A Time : 0.0 sec. user=henryzz [2012-01-24 20:57:34] 555*2^1112350-1 is not prime. Res64: 8A14AA8BA089D2A5 Time : 0.0 sec. user=vaughan [2012-01-24 20:59:00] 583*2^1112347-1 is not prime. Res64: 7F5516CCC2C0695B Time : 0.0 sec. user=vaughan [2012-01-24 20:59:01] 473*2^1112348-1 is not prime. Res64: E9244AE101917750 Time : 0.0 sec. user=vaughan [2012-01-24 20:59:31] 545*2^1112348-1 is not prime. Res64: 8157AFF107AAD674 Time : 0.0 sec. user=vaughan [2012-01-24 20:59:32] 571*2^1112349-1 is not prime. Res64: 4AD3E3EF3350DF41 Time : 0.0 sec. user=henryzz [2012-01-24 21:03:23] 561*2^1112350-1 is not prime. Res64: 27A1523FC9B03B77 Time : 0.0 sec. user=vaughan [2012-01-24 21:04:57] 481*2^1112345-1 is not prime. Res64: 8BA5614CBF378D87 Time : 0.0 sec. user=vaughan [2012-01-24 21:04:58] 547*2^1112345-1 is not prime. Res64: 77AEBA06725B517C Time : 0.0 sec. user=vaughan [2012-01-24 21:07:07] 441*2^1112355-1 is not prime. Res64: 034D0132BE5000F1 Time : 0.0 sec. user=vaughan [2012-01-24 21:07:10] 465*2^1112355-1 is not prime. Res64: 1746970289128FF7 Time : 0.0 sec. user=henryzz [2012-01-24 21:07:31] 431*2^1112354-1 is not prime. Res64: FEFA24F353D4B002 Time : 0.0 sec. user=vaughan [2012-01-24 21:08:10] 559*2^1112351-1 is not prime. Res64: 822A883A386E35FC Time : 0.0 sec. user=vaughan [2012-01-24 21:08:11] 565*2^1112351-1 is not prime. Res64: AB23C81CAF32A75E Time : 0.0 sec. user=vaughan [2012-01-24 21:10:16] 527*2^1112350-1 is not prime. Res64: F5777C0F9DD16E47 Time : 0.0 sec. user=vaughan [2012-01-24 21:10:19] 533*2^1112350-1 is not prime. Res64: 7645A03A202F17A4 Time : 0.0 sec. user=vaughan [2012-01-24 21:11:03] 451*2^1112351-1 is not prime. Res64: 812B5DEE2307CCC1 Time : 0.0 sec. user=vaughan [2012-01-24 21:11:04] 465*2^1112351-1 is not prime. Res64: 495F1FFE40192DEF Time : 0.0 sec. user=vaughan [2012-01-24 21:12:29] 503*2^1112354-1 is not prime. Res64: B9F857036BF2FC00 Time : 0.0 sec. user=vaughan [2012-01-24 21:12:30] 433*2^1112355-1 is not prime. Res64: 06A83FA26C9959DE Time : 0.0 sec. user=vaughan [2012-01-24 21:14:58] 405*2^1112356-1 is not prime. Res64: 40690EB2818FD456 Time : 0.0 sec. user=vaughan [2012-01-24 21:14:58] 507*2^1112356-1 is not prime. Res64: 70BFD59649919516 Time : 0.0 sec. user=vaughan [2012-01-24 21:17:48] 481*2^1112355-1 is not prime. Res64: 6E6FB9F8B3316C5E Time : 0.0 sec. user=vaughan [2012-01-24 21:17:48] 529*2^1112355-1 is not prime. Res64: 2123FC04E9E42317 Time : 0.0 sec. user=vaughan [2012-01-24 21:22:35] 567*2^1112357-1 is not prime. Res64: 72119D1547D75745 Time : 0.0 sec. user=vaughan [2012-01-24 21:22:36] 437*2^1112358-1 is not prime. Res64: DA11B1C58B6C80BF Time : 0.0 sec. user=henryzz [2012-01-24 21:22:43] 555*2^1112358-1 is not prime. Res64: D109438D123072D7 Time : 0.0 sec. user=henryzz [2012-01-24 21:23:19] 561*2^1112357-1 is not prime. Res64: 69C33914CA693C0A Time : 0.0 sec. user=vaughan [2012-01-24 21:25:41] 517*2^1112357-1 is not prime. Res64: 5DBF01B9469E22F8 Time : 0.0 sec. user=vaughan [2012-01-24 21:25:41] 529*2^1112357-1 is not prime. Res64: 9B2F86BBBB5F1E12 Time : 0.0 sec. user=vaughan [2012-01-24 21:26:28] 447*2^1112357-1 is not prime. Res64: 284163A9CAC2CC33 Time : 0.0 sec. user=vaughan [2012-01-24 21:26:29] 511*2^1112357-1 is not prime. Res64: 145D222D55054856 Time : 0.0 sec. user=henryzz [2012-01-24 21:28:45] 487*2^1112361-1 is not prime. Res64: 66BE2082BF99105F Time : 0.0 sec. user=vaughan [2012-01-24 21:33:47] 435*2^1112362-1 is not prime. Res64: 82F0370656FF3E76 Time : 0.0 sec. user=vaughan [2012-01-24 21:33:48] 491*2^1112362-1 is not prime. Res64: B55DE6047C87412D Time : 0.0 sec. user=vaughan [2012-01-24 21:33:59] 453*2^1112352-1 is not prime. Res64: C24BED6917BB057C Time : 0.0 sec. user=vaughan [2012-01-24 21:34:00] 479*2^1112352-1 is not prime. Res64: 3F87767F4808C77D Time : 0.0 sec. user=vaughan [2012-01-24 21:34:08] 503*2^1112352-1 is not prime. Res64: 91504BFD0D9AEDBC Time : 0.0 sec. user=vaughan [2012-01-24 21:34:08] 425*2^1112354-1 is not prime. Res64: F0566CCEAD286331 Time : 0.0 sec. user=vaughan [2012-01-24 21:35:27] 463*2^1112359-1 is not prime. Res64: 1A199489D3D5AB0D Time : 0.0 sec. user=vaughan [2012-01-24 21:35:28] 505*2^1112359-1 is not prime. Res64: 340E998444E7F417 Time : 0.0 sec. user=vaughan [2012-01-24 21:35:54] 593*2^1112360-1 is not prime. Res64: 98115A2A5C3E13CE Time : 0.0 sec. user=vaughan [2012-01-24 21:35:55] 599*2^1112360-1 is not prime. Res64: D140E43DC71F85F5 Time : 0.0 sec. user=henryzz [2012-01-24 21:38:40] 561*2^1112362-1 is not prime. Res64: C6ABB4ED9B9A0C50 Time : 0.0 sec. user=vaughan [2012-01-24 21:41:26] 445*2^1112363-1 is not prime. Res64: E55A21073210B34E Time : 0.0 sec. user=vaughan [2012-01-24 21:41:26] 453*2^1112363-1 is not prime. Res64: 923DF301F1494ADF Time : 0.0 sec. user=vaughan [2012-01-24 21:41:28] 555*2^1112365-1 is not prime. Res64: 27BF23854D394CCC Time : 0.0 sec. user=vaughan [2012-01-24 21:41:29] 437*2^1112366-1 is not prime. Res64: B5352566FA527D50 Time : 0.0 sec. user=vaughan [2012-01-24 21:45:45] 555*2^1112364-1 is not prime. Res64: DF4C0FD1A42A9FE4 Time : 0.0 sec. user=vaughan [2012-01-24 21:45:46] 429*2^1112365-1 is not prime. Res64: D452EEB569DB379A Time : 0.0 sec. user=vaughan [2012-01-24 21:46:47] 489*2^1112363-1 is not prime. Res64: AD8DE83AD16BB95A Time : 0.0 sec. user=vaughan [2012-01-24 21:46:48] 493*2^1112363-1 is not prime. Res64: C4301C3513674CB2 Time : 0.0 sec. user=henryzz [2012-01-24 21:47:01] 579*2^1112367-1 is not prime. Res64: 2F923D5A62DCD15B Time : 0.0 sec. user=vaughan [2012-01-24 21:47:43] 511*2^1112363-1 is not prime. Res64: 190FDAF182C98A55 Time : 0.0 sec. user=vaughan [2012-01-24 21:47:43] 549*2^1112364-1 is not prime. Res64: 452670D4CB42D5EC Time : 0.0 sec. user=vaughan [2012-01-24 21:48:48] 409*2^1112367-1 is not prime. Res64: 42166B390D027833 Time : 0.0 sec. user=vaughan [2012-01-24 21:48:49] 513*2^1112367-1 is not prime. Res64: 0855398C465C8A8B Time : 0.0 sec. user=henryzz [2012-01-24 21:53:14] 553*2^1112367-1 is not prime. Res64: 2EC25B50F4415D9D Time : 0.0 sec. user=vaughan [2012-01-24 21:54:13] 507*2^1112366-1 is not prime. Res64: 5602AB52E772D100 Time : 0.0 sec. user=vaughan [2012-01-24 21:54:14] 563*2^1112366-1 is not prime. Res64: 2C30AF8D717B8D5C Time : 0.0 sec. user=vaughan [2012-01-24 21:58:41] 429*2^1112368-1 is not prime. Res64: F36F8BC7C3D39FF2 Time : 0.0 sec. user=vaughan [2012-01-24 21:58:42] 437*2^1112368-1 is not prime. Res64: 09E8CE09A530461D Time : 0.0 sec. user=henryzz [2012-01-24 21:59:25] 481*2^1112369-1 is not prime. Res64: BAB813F257DA69C7 Time : 0.0 sec. user=vaughan [2012-01-24 22:00:07] 501*2^1112370-1 is not prime. Res64: 2CE5C69CE42172F4 Time : 0.0 sec. user=vaughan [2012-01-24 22:00:11] 503*2^1112370-1 is not prime. Res64: 51124B860F4D514F Time : 0.0 sec. user=henryzz [2012-01-24 22:02:53] 599*2^1112372-1 is not prime. Res64: 84CCF7ABAAD4E151 Time : 0.0 sec. user=vaughan [2012-01-24 22:02:54] 485*2^1112368-1 is not prime. Res64: 8F80836A1A711D3F Time : 0.0 sec. user=vaughan [2012-01-24 22:02:56] 567*2^1112368-1 is not prime. Res64: 6DF36C8E12175EBC Time : 0.0 sec. user=vaughan [2012-01-24 22:07:50] 573*2^1112374-1 is not prime. Res64: 29D764BD02B33F43 Time : 0.0 sec. user=vaughan [2012-01-24 22:07:51] 421*2^1112375-1 is not prime. Res64: DB4AB1F3645DCD85 Time : 0.0 sec. user=vaughan [2012-01-24 22:07:54] 507*2^1112361-1 is not prime. Res64: FB062D6A6046E82D Time : 0.0 sec. user=vaughan [2012-01-24 22:07:56] 405*2^1112362-1 is not prime. Res64: 8BDA47A3D500814D Time : 0.0 sec. user=vaughan [2012-01-24 22:11:50] 583*2^1112371-1 is not prime. Res64: 415EB1C72A281E30 Time : 0.0 sec. user=vaughan [2012-01-24 22:11:51] 423*2^1112372-1 is not prime. Res64: E0FF41A66B82FCB7 Time : 0.0 sec. user=vaughan [2012-01-24 22:12:14] 467*2^1112372-1 is not prime. Res64: 1B38B38CA863ABEA Time : 0.0 sec. user=vaughan [2012-01-24 22:12:16] 563*2^1112372-1 is not prime. Res64: 365E1A5B1E2664E6 Time : 0.0 sec. user=vaughan [2012-01-24 22:15:11] 427*2^1112373-1 is not prime. Res64: 337D3A57F8FE43B4 Time : 0.0 sec. user=vaughan [2012-01-24 22:15:13] 525*2^1112373-1 is not prime. Res64: 0C44BDBF76C18C3E Time : 0.0 sec. user=vaughan [2012-01-24 22:15:18] 595*2^1112377-1 is not prime. Res64: 19FD3C27C3EE6A58 Time : 0.0 sec. user=vaughan [2012-01-24 22:15:18] 425*2^1112378-1 is not prime. Res64: 8EA91A8A8FF92B04 Time : 0.0 sec. user=henryzz [2012-01-24 22:16:19] 563*2^1112376-1 is not prime. Res64: 07A2742038AD54E4 Time : 0.0 sec. user=henryzz [2012-01-24 22:17:28] 437*2^1112378-1 is not prime. Res64: D6FBCB6A94B1C9A8 Time : 0.0 sec. user=vaughan [2012-01-24 22:19:49] 481*2^1112375-1 is not prime. Res64: 545A89BC8C7C294E Time : 0.0 sec. user=vaughan [2012-01-24 22:19:50] 519*2^1112375-1 is not prime. Res64: 9EC32172777168F0 Time : 0.0 sec. user=vaughan [2012-01-24 22:23:25] 595*2^1112375-1 is not prime. Res64: F4C148E897838DC7 Time : 0.0 sec. user=vaughan [2012-01-24 22:23:26] 537*2^1112376-1 is not prime. Res64: 757070F9AD18B262 Time : 0.0 sec. user=vaughan [2012-01-24 22:24:04] 421*2^1112377-1 is not prime. Res64: 81B6D7BFD4B310EC Time : 0.0 sec. user=vaughan [2012-01-24 22:24:05] 565*2^1112377-1 is not prime. Res64: 8F0DA368CD8E087C Time : 0.0 sec. user=vaughan [2012-01-24 22:26:51] 483*2^1112380-1 is not prime. Res64: 0E6E23F68979F765 Time : 0.0 sec. user=vaughan [2012-01-24 22:26:52] 579*2^1112380-1 is not prime. Res64: F79F3D774241F10C Time : 0.0 sec. user=henryzz [2012-01-24 22:28:17] 437*2^1112380-1 is not prime. Res64: 83F892FBE83F1DB1 Time : 0.0 sec. user=vaughan [2012-01-24 22:30:34] 533*2^1112378-1 is not prime. Res64: 6B85FA8C7A991F1C Time : 0.0 sec. user=vaughan [2012-01-24 22:30:35] 513*2^1112379-1 is not prime. Res64: C9D89A1FD19ECCA6 Time : 0.0 sec. user=henryzz [2012-01-24 22:32:44] 485*2^1112382-1 is not prime. Res64: F030AE7CDA2E2DC4 Time : 0.0 sec. user=vaughan [2012-01-24 22:33:32] 585*2^1112370-1 is not prime. Res64: A1554335116B2EC4 Time : 0.0 sec. user=vaughan [2012-01-24 22:33:33] 475*2^1112371-1 is not prime. Res64: C9DCE6296C62C69D Time : 0.0 sec. user=vaughan [2012-01-24 22:33:35] 531*2^1112371-1 is not prime. Res64: 21B5AEFC44389168 Time : 0.0 sec. user=vaughan [2012-01-24 22:33:36] 549*2^1112371-1 is not prime. Res64: 0CBC2BEB04ED82E9 Time : 0.0 sec. user=vaughan [2012-01-24 22:34:10] 579*2^1112379-1 is not prime. Res64: 80E677F850336B62 Time : 0.0 sec. user=vaughan [2012-01-24 22:34:11] 429*2^1112380-1 is not prime. Res64: D80CFC736E30D189 Time : 0.0 sec. user=vaughan [2012-01-24 22:34:42] 501*2^1112382-1 is not prime. Res64: D249657CAE8035CD Time : 0.0 sec. user=vaughan [2012-01-24 22:34:42] 507*2^1112382-1 is not prime. Res64: BAC22A3A9AA976CB Time : 0.0 sec. user=vaughan [2012-01-24 22:39:21] 447*2^1112381-1 is not prime. Res64: C0C5B012E8531BC5 Time : 0.0 sec. user=vaughan [2012-01-24 22:39:21] 549*2^1112381-1 is not prime. Res64: 6F4B0BCC08D31EFD Time : 0.0 sec. user=henryzz [2012-01-24 22:40:36] 447*2^1112386-1 is not prime. Res64: 2D8387B24F24A801 Time : 0.0 sec. user=vaughan [2012-01-24 22:42:05] 525*2^1112384-1 is not prime. Res64: 054B71D8750F70C1 Time : 0.0 sec. user=vaughan [2012-01-24 22:42:06] 563*2^1112384-1 is not prime. Res64: EAF60F9B2140EA99 Time : 0.0 sec. user=henryzz [2012-01-24 22:48:01] 525*2^1112386-1 is not prime. Res64: 5F37C29B8BE4CA1C Time : 0.0 sec. user=vaughan [2012-01-24 22:48:13] 593*2^1112382-1 is not prime. Res64: 5A43A6F6B1C91948 Time : 0.0 sec. user=vaughan [2012-01-24 22:48:13] 421*2^1112383-1 is not prime. Res64: 14E1EA9D2400FB3D Time : 0.0 sec. user=vaughan [2012-01-24 22:48:54] 481*2^1112383-1 is not prime. Res64: 1EDACC2F1CB01545 Time : 0.0 sec. user=vaughan [2012-01-24 22:48:54] 413*2^1112384-1 is not prime. Res64: 232DCB4FE2D23A70 Time : 0.0 sec. user=vaughan [2012-01-24 22:51:39] 473*2^1112384-1 is not prime. Res64: 41F04F961C72B172 Time : 0.0 sec. user=vaughan [2012-01-24 22:51:40] 503*2^1112384-1 is not prime. Res64: 62046038FA98441E Time : 0.0 sec. user=henryzz [2012-01-24 22:52:35] 441*2^1112389-1 is not prime. Res64: C8C84EB688516C60 Time : 0.0 sec. user=vaughan [2012-01-24 22:53:54] 415*2^1112389-1 is not prime. Res64: 9E56F32E1428527E Time : 0.0 sec. user=vaughan [2012-01-24 22:53:54] 439*2^1112389-1 is not prime. Res64: F0A19CC9A56C2D09 Time : 0.0 sec. user=vaughan [2012-01-24 22:56:04] 575*2^1112386-1 is not prime. Res64: 23AEFFA26D857CF4 Time : 0.0 sec. user=vaughan [2012-01-24 22:56:05] 405*2^1112388-1 is not prime. Res64: BA97DE08E4F0BFAA Time : 0.0 sec. user=vaughan [2012-01-24 22:59:20] 525*2^1112382-1 is not prime. Res64: 02F17CA37DE7BD57 Time : 0.0 sec. user=vaughan [2012-01-24 22:59:20] 537*2^1112382-1 is not prime. Res64: AB3C499CA9033C22 Time : 0.0 sec. user=vaughan [2012-01-24 22:59:52] 459*2^1112388-1 is not prime. Res64: 8634A37EA75CCE09 Time : 0.0 sec. user=vaughan [2012-01-24 22:59:52] 555*2^1112388-1 is not prime. Res64: 189CD8031680F0BD Time : 0.0 sec. user=vaughan [2012-01-24 23:00:25] 557*2^1112388-1 is not prime. Res64: DF6CCFD6158545D5 Time : 0.0 sec. user=vaughan [2012-01-24 23:00:27] 569*2^1112388-1 is not prime. Res64: 0AE8BC5C4BF9F7E9 Time : 0.0 sec. user=vaughan [2012-01-24 23:01:42] 405*2^1112393-1 is not prime. Res64: 9FA6ED1EA4ED0698 Time : 0.0 sec. user=vaughan [2012-01-24 23:01:43] 477*2^1112393-1 is not prime. Res64: 0E6623B3C654821B Time : 0.0 sec. user=henryzz [2012-01-24 23:04:38] 565*2^1112389-1 is not prime. Res64: CBC3B9C87B3CAC4C Time : 0.0 sec. user=henryzz [2012-01-24 23:04:44] 567*2^1112393-1 is not prime. Res64: 976485AF25572967 Time : 0.0 sec. user=vaughan [2012-01-24 23:06:55] 507*2^1112389-1 is not prime. Res64: 720746F1A4F44A60 Time : 0.0 sec. user=vaughan [2012-01-24 23:06:57] 511*2^1112389-1 is not prime. Res64: AD258DE7EFD6A55C Time : 0.0 sec. user=vaughan [2012-01-24 23:09:00] 413*2^1112394-1 is not prime. Res64: DD57A4277FC9A3A8 Time : 0.0 sec. user=vaughan [2012-01-24 23:09:01] 531*2^1112394-1 is not prime. Res64: E61718B313F18784 Time : 0.0 sec. user=vaughan [2012-01-24 23:09:40] 533*2^1112392-1 is not prime. Res64: D8F068047EEDEE49 Time : 0.0 sec. user=vaughan [2012-01-24 23:09:41] 569*2^1112392-1 is not prime. Res64: F80B3C8AEACB369B Time : 0.0 sec. user=vaughan [2012-01-24 23:15:48] 511*2^1112393-1 is not prime. Res64: A64406C1EC8F08C1 Time : 0.0 sec. user=vaughan [2012-01-24 23:15:49] 525*2^1112393-1 is not prime. Res64: 4882ECB26105D95D Time : 0.0 sec. user=henryzz [2012-01-24 23:17:25] 479*2^1112396-1 is not prime. Res64: 9AE7A5B296B1F4C6 Time : 0.0 sec. user=henryzz [2012-01-24 23:18:42] 567*2^1112394-1 is not prime. Res64: CCA02B5343408E45 Time : 0.0 sec. user=vaughan [2012-01-24 23:20:36] 503*2^1112396-1 is not prime. Res64: 8625751C2F3B8CC2 Time : 0.0 sec. user=vaughan [2012-01-24 23:20:36] 519*2^1112396-1 is not prime. Res64: 40BD33C089B23467 Time : 0.0 sec. user=vaughan [2012-01-24 23:21:37] 495*2^1112390-1 is not prime. Res64: 8C2E24E2604D27EF Time : 0.0 sec. user=vaughan [2012-01-24 23:21:37] 483*2^1112391-1 is not prime. Res64: 8068C7BBE95D9742 Time : 0.0 sec. user=vaughan [2012-01-24 23:21:39] 541*2^1112391-1 is not prime. Res64: E60606B02BE40F3C Time : 0.0 sec. user=vaughan [2012-01-24 23:21:39] 485*2^1112392-1 is not prime. Res64: 35ABBFA727168892 Time : 0.0 sec. user=vaughan [2012-01-24 23:24:34] 573*2^1112394-1 is not prime. Res64: 834AB8D3A1C5E7E1 Time : 0.0 sec. user=vaughan [2012-01-24 23:24:35] 405*2^1112395-1 is not prime. Res64: 3329C485DD6C1B83 Time : 0.0 sec. user=vaughan [2012-01-24 23:25:15] 415*2^1112395-1 is not prime. Res64: AFE51515E6B06374 Time : 0.0 sec. user=vaughan [2012-01-24 23:25:15] 421*2^1112395-1 is not prime. Res64: 9DE2CE1884642D7C Time : 0.0 sec. user=vaughan [2012-01-24 23:25:32] 405*2^1112396-1 is not prime. Res64: 4F2D3B9935C447D4 Time : 0.0 sec. user=vaughan [2012-01-24 23:25:33] 455*2^1112396-1 is not prime. Res64: 5A4E43A32ACE2374 Time : 0.0 sec. user=vaughan [2012-01-24 23:28:27] 481*2^1112399-1 is not prime. Res64: 35DD92FE8D2168A3 Time : 0.0 sec. user=vaughan [2012-01-24 23:28:28] 511*2^1112399-1 is not prime. Res64: 42F3A5C7691D843E Time : 0.0 sec. user=henryzz [2012-01-24 23:29:20] 453*2^1112400-1 is not prime. Res64: 65E64952EC3EB6FA Time : 0.0 sec. user=vaughan [2012-01-24 23:29:33] 427*2^1112397-1 is not prime. Res64: E0C92BCDAA23228B Time : 0.0 sec. user=vaughan [2012-01-24 23:29:34] 499*2^1112397-1 is not prime. Res64: 0EB6071A6EA37382 Time : 0.0 sec. user=vaughan [2012-01-24 23:35:51] 465*2^1112401-1 is not prime. Res64: 26AA113E5DE61B3E Time : 0.0 sec. user=vaughan [2012-01-24 23:35:51] 431*2^1112402-1 is not prime. Res64: 86FCECB6F79D903B Time : 0.0 sec. user=vaughan [2012-01-24 23:36:14] 579*2^1112397-1 is not prime. Res64: 5C239C6D968B1577 Time : 0.0 sec. user=vaughan [2012-01-24 23:36:15] 413*2^1112398-1 is not prime. Res64: 34C98852DD2A7C57 Time : 0.0 sec. user=vaughan [2012-01-24 23:37:01] 527*2^1112398-1 is not prime. Res64: D0597FEDDE286749 Time : 0.0 sec. user=vaughan [2012-01-24 23:37:01] 459*2^1112399-1 is not prime. Res64: AA61FA668D7301A3 Time : 0.0 sec. user=henryzz [2012-01-24 23:38:19] 447*2^1112400-1 is not prime. Res64: 72B38E52945B1F17 Time : 0.0 sec. user=vaughan [2012-01-24 23:42:46] 495*2^1112402-1 is not prime. Res64: 463B784C858C4FCE Time : 0.0 sec. user=vaughan [2012-01-24 23:42:47] 561*2^1112402-1 is not prime. Res64: 844889C596CF472A Time : 0.0 sec. user=henryzz [2012-01-24 23:43:17] 529*2^1112405-1 is not prime. Res64: 24B82CE6ED5B23B7 Time : 0.0 sec. user=vaughan [2012-01-24 23:43:23] 473*2^1112400-1 is not prime. Res64: EA17876FA524C37B Time : 0.0 sec. user=vaughan [2012-01-24 23:43:24] 439*2^1112401-1 is not prime. Res64: A204AD88F56EF705 Time : 0.0 sec. user=henryzz [2012-01-24 23:45:10] 517*2^1112405-1 is not prime. Res64: 90ABA4F4FF59A879 Time : 0.0 sec. user=vaughan [2012-01-24 23:47:40] 425*2^1112406-1 is not prime. Res64: CA0B92C46EAA3142 Time : 0.0 sec. user=vaughan [2012-01-24 23:47:41] 563*2^1112406-1 is not prime. Res64: DEA0FC7D57DF9A6E Time : 0.0 sec. user=vaughan [2012-01-24 23:51:43] 511*2^1112397-1 is not prime. Res64: 6523EE494771CC0A Time : 0.0 sec. user=vaughan [2012-01-24 23:51:44] 577*2^1112397-1 is not prime. Res64: 115820E2B4790205 Time : 0.0 sec. user=vaughan [2012-01-24 23:52:15] 585*2^1112403-1 is not prime. Res64: 0D2A757A8E1352F2 Time : 0.0 sec. user=vaughan [2012-01-24 23:52:16] 495*2^1112405-1 is not prime. Res64: 926BD5C4751EFB71 Time : 0.0 sec. user=vaughan [2012-01-24 23:55:28] 483*2^1112412-1 is not prime. Res64: D82ABC5A46D13773 Time : 0.0 sec. user=vaughan [2012-01-24 23:55:29] 497*2^1112412-1 is not prime. Res64: 99FCC0BDF8935877 Time : 0.0 sec. user=henryzz [2012-01-24 23:57:17] 515*2^1112412-1 is not prime. Res64: E7A524DFFE1C7BEE Time : 0.0 sec. user=vaughan [2012-01-24 23:58:38] 453*2^1112411-1 is not prime. Res64: C4042C60AC6953AC Time : 0.0 sec. user=vaughan [2012-01-24 23:58:39] 595*2^1112411-1 is not prime. Res64: FF3BA33FCF3CC27B Time : 0.0 sec. user=vaughan [2012-01-25 00:00:53] 447*2^1112409-1 is not prime. Res64: 05681953F99CDE6D Time : 0.0 sec. user=vaughan [2012-01-25 00:00:54] 535*2^1112409-1 is not prime. Res64: 77D472274B704B73 Time : 0.0 sec.