user=vaughan [2009-07-08 00:05:37] 591*2^702745-1 is not prime. Res64: BFE6A54C4018DC78 Time : 5755.0 sec. user=vaughan [2009-07-08 00:08:17] 477*2^702746-1 is not prime. Res64: 3B80427CDE61B925 Time : 5658.0 sec. user=vaughan [2009-07-08 00:15:12] 593*2^702746-1 is not prime. Res64: 1598E74A5D5F3052 Time : 5787.0 sec. user=vaughan [2009-07-08 00:17:48] 553*2^702747-1 is not prime. Res64: 4296562F221AF4C2 Time : 5671.0 sec. user=vaughan [2009-07-08 00:25:15] 571*2^702747-1 is not prime. Res64: 561660D993D62A96 Time : 5833.0 sec. user=vaughan [2009-07-08 00:26:55] 435*2^702748-1 is not prime. Res64: F4C4C5AA490CA770 Time : 5664.0 sec. user=vaughan [2009-07-08 00:33:50] 453*2^702748-1 is not prime. Res64: ECC1F2A8D8E15796 Time : 5792.0 sec. user=vaughan [2009-07-08 00:35:43] 483*2^702748-1 is not prime. Res64: 2E52BACAF7C9541E Time : 5649.0 sec. user=vaughan [2009-07-08 00:42:32] 525*2^702748-1 is not prime. Res64: 7DCE310AFA7860C2 Time : 5707.0 sec. user=vaughan [2009-07-08 00:43:47] 537*2^702748-1 is not prime. Res64: 83CD6940EB5C9064 Time : 5539.0 sec. user=vaughan [2009-07-08 00:50:32] 579*2^702749-1 is not prime. Res64: 5BCFFC40655B291F Time : 5607.0 sec. user=vaughan [2009-07-08 00:51:45] 431*2^702750-1 is not prime. Res64: E86B473B1ACEF5C1 Time : 5429.0 sec. user=vaughan [2009-07-08 00:58:32] 465*2^702750-1 is not prime. Res64: BFA9BAF3E2C9F992 Time : 5507.0 sec. user=vaughan [2009-07-08 00:59:42] 483*2^702750-1 is not prime. Res64: 2FEEF3BC3320146B Time : 5342.0 sec. user=vaughan [2009-07-08 01:06:30] 453*2^702751-1 is not prime. Res64: 60D57B008490450F Time : 5407.0 sec. user=vaughan [2009-07-08 01:07:36] 561*2^702751-1 is not prime. Res64: F03CEAA5DE45C4B9 Time : 5274.0 sec. user=vaughan [2009-07-08 01:14:31] 507*2^702752-1 is not prime. Res64: EC35C61A75ACC5F1 Time : 5335.0 sec. user=vaughan [2009-07-08 01:15:33] 599*2^702752-1 is not prime. Res64: 7C8D9CB74A739FFE Time : 5180.0 sec. user=vaughan [2009-07-08 01:22:33] 409*2^702753-1 is not prime. Res64: 7A3CFF19EEC4C3C1 Time : 5202.0 sec. user=vaughan [2009-07-08 01:23:31] 481*2^702753-1 is not prime. Res64: 8D3AA6E491E881E6 Time : 5072.0 sec. user=vaughan [2009-07-08 01:30:31] 525*2^702753-1 is not prime. Res64: F1E3F027DAF7EF7D Time : 5094.0 sec. user=vaughan [2009-07-08 01:31:25] 529*2^702753-1 is not prime. Res64: CEE2F957D1E8F49D Time : 4988.0 sec. user=vaughan [2009-07-08 01:38:30] 595*2^702753-1 is not prime. Res64: 96A27E6A822E4DA8 Time : 4998.0 sec. user=vaughan [2009-07-08 01:39:22] 437*2^702754-1 is not prime. Res64: D62ECDEF42077A69 Time : 4894.0 sec. user=vaughan [2009-07-08 01:46:34] 461*2^702754-1 is not prime. Res64: 1CBDF16B9B5310C7 Time : 4879.0 sec. user=vaughan [2009-07-08 01:47:16] 495*2^702754-1 is not prime. Res64: 8BC98A1F0DAB7CAD Time : 4821.0 sec. user=vaughan [2009-07-08 01:54:36] 521*2^702754-1 is not prime. Res64: E7FED25027540DF4 Time : 4846.0 sec. user=vaughan [2009-07-08 01:55:10] 531*2^702754-1 is not prime. Res64: 695279C50E71AF36 Time : 4767.0 sec. user=vaughan [2009-07-08 02:02:36] 545*2^702754-1 is not prime. Res64: 0F7DDD18E033673B Time : 4805.0 sec. user=vaughan [2009-07-08 02:03:10] 411*2^702755-1 is not prime. Res64: 2074AADCD9CB3B3D Time : 4763.0 sec. user=vaughan [2009-07-08 02:10:33] 433*2^702755-1 is not prime. Res64: 9DE16C11E9E130D9 Time : 4801.0 sec. user=vaughan [2009-07-08 02:11:04] 459*2^702755-1 is not prime. Res64: AA68DBC04A50B1D3 Time : 4759.0 sec. user=vaughan [2009-07-08 02:18:33] 465*2^702755-1 is not prime. Res64: CCA65ACB2C1DDB75 Time : 4801.0 sec. user=vaughan [2009-07-08 02:18:59] 573*2^702755-1 is not prime. Res64: FC323A1E69FA8AB8 Time : 4757.0 sec. user=vaughan [2009-07-08 02:26:38] 503*2^702756-1 is not prime. Res64: BDFB2C183D1A92D2 Time : 4808.0 sec. user=vaughan [2009-07-08 02:26:51] 545*2^702758-1 is not prime. Res64: CC4AE7689C6ED749 Time : 4755.0 sec. user=vaughan [2009-07-08 02:34:42] 585*2^702758-1 is not prime. Res64: 8A43970CF50B0897 Time : 4811.0 sec. user=vaughan [2009-07-08 02:34:44] 439*2^702759-1 is not prime. Res64: 76D0141E2F522CE0 Time : 4751.0 sec. user=vaughan [2009-07-08 02:42:38] 511*2^702759-1 is not prime. Res64: 7377142C99BF572B Time : 4747.0 sec. user=vaughan [2009-07-08 02:42:43] 469*2^702759-1 is not prime. Res64: D6EC89FDD485AA4E Time : 4810.0 sec. user=vaughan [2009-07-08 02:52:00] 539*2^702760-1 is not prime. Res64: 8D3BB3FD9BE35E90 Time : 4835.0 sec. user=vaughan [2009-07-08 02:52:19] 489*2^702760-1 is not prime. Res64: 4245E1A2F4D7BDBD Time : 4908.0 sec. user=vaughan [2009-07-08 03:01:19] 567*2^702760-1 is not prime. Res64: 018F47CE26081A49 Time : 4917.0 sec. user=vaughan [2009-07-08 03:01:58] 563*2^702760-1 is not prime. Res64: 35FA61B5A9455B59 Time : 5008.0 sec. user=vaughan [2009-07-08 03:11:13] 547*2^702761-1 is not prime. Res64: 2618FF1CF7E478FD Time : 5037.0 sec. user=vaughan [2009-07-08 03:12:02] 475*2^702761-1 is not prime. Res64: 2AE1BDA3BF7F8267 Time : 5129.0 sec. user=vaughan [2009-07-08 03:20:50] 447*2^702762-1 is not prime. Res64: 463126A0CFA38B25 Time : 5140.0 sec. user=vaughan [2009-07-08 03:22:10] 401*2^702762-1 is not prime. Res64: 004509F08C444939 Time : 5254.0 sec. user=vaughan [2009-07-08 03:30:06] 503*2^702762-1 is not prime. Res64: 0F73BA7D3D187D97 Time : 5217.0 sec. user=vaughan [2009-07-08 03:31:26] 447*2^702626-1 is not prime. Res64: E107C28657C56202 Time : 5330.0 sec. user=vaughan [2009-07-08 03:40:03] 493*2^702763-1 is not prime. Res64: 80BC95E25646CB39 Time : 5339.0 sec. user=vaughan [2009-07-08 03:41:33] 587*2^702762-1 is not prime. Res64: 3705F3E71B3B9D21 Time : 5460.0 sec. user=vaughan [2009-07-08 03:49:33] 573*2^702763-1 is not prime. Res64: 0C98C0972CB1DC86 Time : 5434.0 sec. user=vaughan [2009-07-08 03:51:09] 523*2^702763-1 is not prime. Res64: 89D9D46242592952 Time : 5556.0 sec. user=vaughan [2009-07-08 03:58:40] 539*2^702764-1 is not prime. Res64: 2BB89E16D1721958 Time : 5509.0 sec. user=vaughan [2009-07-08 04:00:25] 479*2^702764-1 is not prime. Res64: 57F4B4E4C48EA1AE Time : 5627.0 sec. user=vaughan [2009-07-08 04:08:17] 409*2^702765-1 is not prime. Res64: D0B593631D9A1173 Time : 5613.0 sec. user=vaughan [2009-07-08 04:10:02] 585*2^702764-1 is not prime. Res64: F04E8A67DF6BD698 Time : 5720.0 sec. user=vaughan [2009-07-08 04:17:41] 411*2^702766-1 is not prime. Res64: C0E2AF46104C7CEA Time : 5703.0 sec. user=vaughan [2009-07-08 04:19:21] 443*2^702766-1 is not prime. Res64: 0BCA99D2F3320CFF Time : 5798.0 sec. user=vaughan [2009-07-08 04:27:23] 477*2^702766-1 is not prime. Res64: BBFFDFC2DC5E914F Time : 5723.0 sec. user=vaughan [2009-07-08 04:29:08] 513*2^702766-1 is not prime. Res64: 19F9B0C5240B778F Time : 5809.0 sec. user=vaughan [2009-07-08 04:37:07] 561*2^702766-1 is not prime. Res64: 11816A95D32B0F17 Time : 5748.0 sec. user=vaughan [2009-07-08 04:38:45] 573*2^702766-1 is not prime. Res64: EC1E2251E9770381 Time : 5808.0 sec. user=vaughan [2009-07-08 04:47:00] 593*2^702766-1 is not prime. Res64: 16934649DFCB9E79 Time : 5747.0 sec. user=vaughan [2009-07-08 04:48:52] 543*2^702767-1 is not prime. Res64: 5A41D912E65AA764 Time : 5810.0 sec. user=vaughan [2009-07-08 04:56:34] 553*2^702767-1 is not prime. Res64: E201BF02A92E3971 Time : 5744.0 sec. user=vaughan [2009-07-08 04:58:24] 573*2^702767-1 is not prime. Res64: EDECD68F1CF15597 Time : 5774.0 sec. user=vaughan [2009-07-08 05:06:29] 405*2^702768-1 is not prime. Res64: 77DC34EFEFD2066F Time : 5784.0 sec. user=vaughan [2009-07-08 05:08:28] 555*2^702768-1 is not prime. Res64: 1409BFAAA7AB8440 Time : 5822.0 sec. user=vaughan [2009-07-08 05:16:13] 563*2^702768-1 is not prime. Res64: 8FA4B3B50CBADCE1 Time : 5770.0 sec. user=vaughan [2009-07-08 05:18:30] 441*2^702769-1 is not prime. Res64: 4AF44ED313B4FBA9 Time : 5817.0 sec. user=vaughan [2009-07-08 05:25:53] 499*2^702769-1 is not prime. Res64: F7CC6A47865628AB Time : 5781.0 sec. user=vaughan [2009-07-08 05:28:37] 595*2^702769-1 is not prime. Res64: CEB9ADEB5A8EC8B3 Time : 5848.0 sec. user=vaughan [2009-07-08 05:35:53] 431*2^702770-1 is not prime. Res64: A1BC43668152090D Time : 5834.0 sec. user=vaughan [2009-07-08 05:38:22] 467*2^702770-1 is not prime. Res64: 9859A6CB23AF30BA Time : 5877.0 sec. user=vaughan [2009-07-08 05:45:06] 521*2^702770-1 is not prime. Res64: BC83A6D2DAA5A245 Time : 5810.0 sec. user=vaughan [2009-07-08 05:47:48] 411*2^702771-1 is not prime. Res64: 87D876626BE35875 Time : 5866.0 sec. user=vaughan [2009-07-08 05:54:39] 415*2^702771-1 is not prime. Res64: 2E1F675A72C5E057 Time : 5819.0 sec. user=vaughan [2009-07-08 05:58:05] 439*2^702771-1 is not prime. Res64: 4F6439545348836E Time : 5924.0 sec. user=vaughan [2009-07-08 06:03:50] 489*2^702771-1 is not prime. Res64: 1BF082EF99524CEB Time : 5788.0 sec. user=vaughan [2009-07-08 06:07:31] 541*2^702771-1 is not prime. Res64: 6A83E45EC226E357 Time : 5903.0 sec. user=vaughan [2009-07-08 06:13:16] 549*2^702771-1 is not prime. Res64: D1D16F2BDFBE3685 Time : 5770.0 sec. user=vaughan [2009-07-08 06:17:12] 483*2^702772-1 is not prime. Res64: D21CDC4434DC005B Time : 5908.0 sec. user=vaughan [2009-07-08 06:22:53] 485*2^702772-1 is not prime. Res64: 6790FE350672E55B Time : 5754.0 sec. user=vaughan [2009-07-08 06:26:40] 497*2^702772-1 is not prime. Res64: A5DDD59AB3969A44 Time : 5868.0 sec. user=vaughan [2009-07-08 06:31:56] 537*2^702772-1 is not prime. Res64: 3F406771DDD73339 Time : 5722.0 sec. user=vaughan [2009-07-08 06:36:00] 451*2^702773-1 is not prime. Res64: 6A247E006AB24EEB Time : 5856.0 sec. user=vaughan [2009-07-08 06:41:36] 589*2^702773-1 is not prime. Res64: 91515A0769E29114 Time : 5707.0 sec. user=vaughan [2009-07-08 06:45:53] 411*2^702774-1 is not prime. Res64: 9FB8ACFCEA7E73B0 Time : 5845.0 sec. user=vaughan [2009-07-08 06:51:08] 425*2^702774-1 is not prime. Res64: 03142558812F9E82 Time : 5695.0 sec. user=vaughan [2009-07-08 06:55:10] 555*2^702774-1 is not prime. Res64: 0060577C0552407A Time : 5801.0 sec. user=vaughan [2009-07-08 07:00:19] 563*2^702774-1 is not prime. Res64: 60019C36A0EB370A Time : 5667.0 sec. user=vaughan [2009-07-08 07:04:43] 567*2^702774-1 is not prime. Res64: ED4C861459DB03F9 Time : 5766.0 sec. user=vaughan [2009-07-08 07:10:17] 421*2^702775-1 is not prime. Res64: 458D9D2E2DDA17D0 Time : 5665.0 sec. user=vaughan [2009-07-08 07:14:27] 429*2^702775-1 is not prime. Res64: 7E69032099997517 Time : 5766.0 sec. user=vaughan [2009-07-08 07:19:39] 433*2^702775-1 is not prime. Res64: 81E74663E80D919C Time : 5673.0 sec. user=vaughan [2009-07-08 07:24:03] 463*2^702775-1 is not prime. Res64: FFBBE9C9908A83F4 Time : 5775.0 sec. user=vaughan [2009-07-08 07:29:07] 465*2^702775-1 is not prime. Res64: 45C62BBE379F689D Time : 5668.0 sec. user=vaughan [2009-07-08 07:33:29] 595*2^702775-1 is not prime. Res64: 31C0888AEDC6F586 Time : 5724.0 sec. user=vaughan [2009-07-08 07:38:41] 539*2^702776-1 is not prime. Res64: FE47CC240C8DB3EA Time : 5691.0 sec. user=vaughan [2009-07-08 07:42:40] 557*2^702776-1 is not prime. Res64: A9A51B1FAB10F543 Time : 5709.0 sec. user=vaughan [2009-07-08 07:47:59] 405*2^702777-1 is not prime. Res64: 6FBED3B85D823212 Time : 5683.0 sec. user=vaughan [2009-07-08 07:52:42] 409*2^702777-1 is not prime. Res64: A1B1F56286F24E7F Time : 5731.0 sec. user=vaughan [2009-07-08 07:57:41] 465*2^702777-1 is not prime. Res64: 484B874301C3CD3F Time : 5688.0 sec. user=vaughan [2009-07-08 08:01:58] 537*2^702777-1 is not prime. Res64: 4C8C5F57B0362275 Time : 5718.0 sec. user=vaughan [2009-07-08 08:07:15] 435*2^702778-1 is not prime. Res64: C8CB8A2FA0DA1A4F Time : 5719.0 sec. user=vaughan [2009-07-08 08:11:37] 453*2^702778-1 is not prime. Res64: 5ED9C3098A3C101B Time : 5737.0 sec. user=vaughan [2009-07-08 08:16:31] 533*2^702778-1 is not prime. Res64: A7D384C60F4FFEDF Time : 5695.0 sec. user=vaughan [2009-07-08 08:21:16] 597*2^702778-1 is not prime. Res64: 5DD45AD09B754519 Time : 5723.0 sec. user=vaughan [2009-07-08 08:25:49] 469*2^702779-1 is not prime. Res64: EFC29002F2CFA7B3 Time : 5681.0 sec. user=vaughan [2009-07-08 08:30:47] 495*2^702779-1 is not prime. Res64: E530865A073DB1B0 Time : 5738.0 sec. user=vaughan [2009-07-08 08:35:27] 531*2^702779-1 is not prime. Res64: 7B3FD2C562182542 Time : 5708.0 sec. user=vaughan [2009-07-08 08:40:26] 543*2^702779-1 is not prime. Res64: 7E23BA732C029D03 Time : 5743.0 sec. user=vaughan [2009-07-08 08:45:06] 571*2^702779-1 is not prime. Res64: B5E01FD15988B00F Time : 5690.0 sec. user=vaughan [2009-07-08 08:49:45] 579*2^702779-1 is not prime. Res64: D6E3BEFA553CB12B Time : 5718.0 sec. user=vaughan [2009-07-08 08:54:28] 459*2^702780-1 is not prime. Res64: 8C4D63D60F668B1C Time : 5689.0 sec. user=vaughan [2009-07-08 08:59:18] 515*2^702780-1 is not prime. Res64: DBBA9DD49D5CA5B3 Time : 5715.0 sec. user=vaughan [2009-07-08 09:03:56] 563*2^702780-1 is not prime. Res64: 66DDBCA4BBF78173 Time : 5689.0 sec. user=vaughan [2009-07-08 09:09:00] 441*2^702781-1 is not prime. Res64: 70C62AAAA9B4DD72 Time : 5732.0 sec. user=vaughan [2009-07-08 09:13:21] 447*2^702781-1 is not prime. Res64: 570B672F4E4D3347 Time : 5680.0 sec. user=vaughan [2009-07-08 09:18:15] 507*2^702781-1 is not prime. Res64: 6F939712F5BE8558 Time : 5735.0 sec. user=vaughan [2009-07-08 09:22:49] 549*2^702781-1 is not prime. Res64: D464FC9209CEC482 Time : 5691.0 sec. user=vaughan [2009-07-08 09:28:04] 483*2^702782-1 is not prime. Res64: E02D10B3FE055037 Time : 5723.0 sec. user=vaughan [2009-07-08 09:32:38] 495*2^702782-1 is not prime. Res64: 9C4255D8A79CC9CF Time : 5697.0 sec. user=vaughan [2009-07-08 09:37:52] 537*2^702782-1 is not prime. Res64: 33CBA66599DCEE1C Time : 5754.0 sec. user=vaughan [2009-07-08 09:42:23] 423*2^702783-1 is not prime. Res64: D5C06BE9BE8AE921 Time : 5708.0 sec. user=vaughan [2009-07-08 09:47:27] 451*2^702783-1 is not prime. Res64: A3E592D9ACD6E1DF Time : 5750.0 sec. user=vaughan [2009-07-08 09:51:44] 483*2^702783-1 is not prime. Res64: 5A6387BD6F8DC7DA Time : 5713.0 sec. user=vaughan [2009-07-08 09:56:21] 571*2^702783-1 is not prime. Res64: 93735B348664F3B2 Time : 5706.0 sec. user=vaughan [2009-07-08 10:01:06] 495*2^702784-1 is not prime. Res64: 4CBC919866B7BA8F Time : 5717.0 sec. user=vaughan [2009-07-08 10:06:04] 513*2^702784-1 is not prime. Res64: 0327645C3614DC43 Time : 5717.0 sec. user=vaughan [2009-07-08 10:10:26] 539*2^702784-1 is not prime. Res64: A969E70385B43258 Time : 5699.0 sec. user=vaughan [2009-07-08 10:15:54] 549*2^702784-1 is not prime. Res64: E50E3264F034D9BF Time : 5728.0 sec. user=vaughan [2009-07-08 10:20:06] 569*2^702784-1 is not prime. Res64: E9769FAAC39E0A88 Time : 5701.0 sec. user=vaughan [2009-07-08 10:24:50] 587*2^702784-1 is not prime. Res64: 682BE68BA23F8FB6 Time : 5705.0 sec. user=vaughan [2009-07-08 10:29:30] 597*2^702784-1 is not prime. Res64: C5021572733D337A Time : 5702.0 sec. user=vaughan [2009-07-08 10:34:42] 405*2^702785-1 is not prime. Res64: 1B2237CDC8CC705F Time : 5724.0 sec. user=vaughan [2009-07-08 10:39:21] 421*2^702785-1 is not prime. Res64: ED3FB89C24CE8650 Time : 5725.0 sec. user=vaughan [2009-07-08 10:44:30] 487*2^702785-1 is not prime. Res64: 96765BE3213A29D4 Time : 5730.0 sec. user=vaughan [2009-07-08 10:48:34] 511*2^702785-1 is not prime. Res64: 0E70174F74CC9698 Time : 5713.0 sec. user=vaughan [2009-07-08 10:53:58] 591*2^702785-1 is not prime. Res64: 015141CE2B573CDB Time : 5743.0 sec. user=vaughan [2009-07-08 10:58:13] 417*2^702786-1 is not prime. Res64: AA717664B1DF5D19 Time : 5725.0 sec. user=vaughan [2009-07-08 11:03:57] 437*2^702786-1 is not prime. Res64: 5273D45D548452ED Time : 5753.0 sec. user=vaughan [2009-07-08 11:08:04] 465*2^702786-1 is not prime. Res64: DFCC9542C64A9A95 Time : 5726.0 sec. user=vaughan [2009-07-08 11:13:38] 537*2^702786-1 is not prime. Res64: BB6DAEA813A7B71A Time : 5746.0 sec. user=vaughan [2009-07-08 11:17:45] 441*2^702787-1 is not prime. Res64: 444DA8F1FA558C39 Time : 5723.0 sec. user=vaughan [2009-07-08 11:23:15] 451*2^702787-1 is not prime. Res64: 5E9C8FAB2FE9FB1D Time : 5748.0 sec. user=vaughan [2009-07-08 11:27:08] 471*2^702787-1 is not prime. Res64: 8B1FE02E7EE4E8F5 Time : 5724.0 sec. user=vaughan [2009-07-08 11:33:20] 483*2^702787-1 is not prime. Res64: 3E96360D024BE744 Time : 5819.0 sec. user=vaughan [2009-07-08 11:36:40] 531*2^702787-1 is not prime. Res64: 8881739278CCD29A Time : 5734.0 sec. user=vaughan [2009-07-08 11:43:27] 589*2^702787-1 is not prime. Res64: BE16EAE3BF3800AC Time : 5843.0 sec. user=vaughan [2009-07-08 11:46:08] 465*2^702788-1 is not prime. Res64: 720156EE8F3EA709 Time : 5742.0 sec. user=vaughan [2009-07-08 11:53:07] 489*2^702788-1 is not prime. Res64: 5895458E4CDB7FE2 Time : 5833.0 sec. user=vaughan [2009-07-08 11:55:23] 503*2^702788-1 is not prime. Res64: C5DDCE1F55D87FDC Time : 5717.0 sec. user=vaughan [2009-07-08 12:03:10] 471*2^702789-1 is not prime. Res64: 912B67E72B0946FF Time : 5900.0 sec. user=vaughan [2009-07-08 12:04:59] 487*2^702789-1 is not prime. Res64: 688CCBFDE939A918 Time : 5729.0 sec. user=vaughan [2009-07-08 12:12:50] 595*2^702789-1 is not prime. Res64: FC4B384FE8478A48 Time : 5888.0 sec. user=vaughan [2009-07-08 12:14:19] 401*2^702790-1 is not prime. Res64: 54133248AD9D333C Time : 5698.0 sec. user=vaughan [2009-07-08 12:22:52] 447*2^702790-1 is not prime. Res64: 2649E931E6AA8D94 Time : 5902.0 sec. user=vaughan [2009-07-08 12:24:03] 451*2^702791-1 is not prime. Res64: 300EBF1DAB8AD06C Time : 5729.0 sec. user=vaughan [2009-07-08 12:32:48] 453*2^702791-1 is not prime. Res64: 0B6E7C33DAB903F2 Time : 5930.0 sec. user=vaughan [2009-07-08 12:33:42] 459*2^702791-1 is not prime. Res64: E4BB5F5CA53DE712 Time : 5729.0 sec. user=vaughan [2009-07-08 12:42:06] 493*2^702791-1 is not prime. Res64: 257B6419DBF78793 Time : 5889.0 sec. user=vaughan [2009-07-08 12:42:50] 519*2^702791-1 is not prime. Res64: F6D758EFE3875DCB Time : 5687.0 sec. user=vaughan [2009-07-08 12:51:44] 429*2^702792-1 is not prime. Res64: 37BF7533FAFA4B93 Time : 5887.0 sec. user=vaughan [2009-07-08 12:52:18] 447*2^702792-1 is not prime. Res64: FE79FFAA57A8E982 Time : 5673.0 sec. user=vaughan [2009-07-08 13:02:02] 503*2^702792-1 is not prime. Res64: 425DEF4721B7A823 Time : 5927.0 sec. user=vaughan [2009-07-08 13:02:05] 555*2^702792-1 is not prime. Res64: 4D5748B66B352881 Time : 5697.0 sec. user=vaughan [2009-07-08 13:11:08] 471*2^702793-1 is not prime. Res64: C4C80C58F6F4BF95 Time : 5668.0 sec. user=vaughan [2009-07-08 13:11:14] 411*2^702793-1 is not prime. Res64: 214E3C0ACD7B99EC Time : 5875.0 sec. user=vaughan [2009-07-08 13:20:49] 577*2^702793-1 is not prime. Res64: EFC56C02DB395DDA Time : 5681.0 sec. user=vaughan [2009-07-08 13:21:19] 511*2^702793-1 is not prime. Res64: 25FB62CDBA6A04DA Time : 5873.0 sec. user=vaughan [2009-07-08 13:30:41] 403*2^702795-1 is not prime. Res64: 04FAB91ADC825610 Time : 5718.0 sec. user=vaughan [2009-07-08 13:31:45] 585*2^702794-1 is not prime. Res64: 8173BD0DEF71596B Time : 5918.0 sec. user=vaughan [2009-07-08 13:40:10] 543*2^702795-1 is not prime. Res64: BDE579A7997DD929 Time : 5712.0 sec. user=vaughan [2009-07-08 13:41:56] 511*2^702795-1 is not prime. Res64: 9F99F2909BFF78A1 Time : 5926.0 sec. user=vaughan [2009-07-08 13:48:55] 579*2^702795-1 is not prime. Res64: 05F55E9863493BD8 Time : 5676.0 sec. user=vaughan [2009-07-08 13:50:45] 553*2^702795-1 is not prime. Res64: BF01495C9A920A11 Time : 5876.0 sec. user=vaughan [2009-07-08 13:58:10] 483*2^702796-1 is not prime. Res64: 3339FA43FD4A64C4 Time : 5648.0 sec. user=vaughan [2009-07-08 13:59:50] 435*2^702796-1 is not prime. Res64: 6E9C7DC94CA736E6 Time : 5818.0 sec. user=vaughan [2009-07-08 14:08:09] 417*2^702797-1 is not prime. Res64: 031AC7F4EE1D0789 Time : 5667.0 sec. user=vaughan [2009-07-08 14:10:20] 587*2^702796-1 is not prime. Res64: A0AE649873F6CC45 Time : 5852.0 sec. user=vaughan [2009-07-08 14:17:36] 447*2^702797-1 is not prime. Res64: D99C5C30D1C9637C Time : 5686.0 sec. user=vaughan [2009-07-08 14:20:18] 445*2^702797-1 is not prime. Res64: 5F30FC6176E3D4FF Time : 5892.0 sec. user=vaughan [2009-07-08 14:27:20] 519*2^702797-1 is not prime. Res64: F7D548755ECB7E22 Time : 5702.0 sec. user=vaughan [2009-07-08 14:30:36] 487*2^702797-1 is not prime. Res64: 6191674747EC9090 Time : 5933.0 sec. user=vaughan [2009-07-08 14:36:54] 571*2^702797-1 is not prime. Res64: B1BCFB9F0B171B4A Time : 5689.0 sec. user=vaughan [2009-07-08 14:41:08] 529*2^702797-1 is not prime. Res64: A4AF9B5D00E0A144 Time : 5946.0 sec. user=vaughan [2009-07-08 14:46:39] 417*2^702798-1 is not prime. Res64: 95E2F6C280522366 Time : 5731.0 sec. user=vaughan [2009-07-08 14:51:25] 425*2^702798-1 is not prime. Res64: BCD6D1620D922652 Time : 6011.0 sec. user=vaughan [2009-07-08 14:56:10] 443*2^702798-1 is not prime. Res64: AE9EF907258987F9 Time : 5721.0 sec. user=vaughan [2009-07-08 15:01:10] 495*2^702798-1 is not prime. Res64: 1C783123FAEB1281 Time : 5991.0 sec. user=vaughan [2009-07-08 15:05:27] 415*2^702799-1 is not prime. Res64: 81A9E26636D1BE98 Time : 5686.0 sec. user=vaughan [2009-07-08 15:10:52] 451*2^702799-1 is not prime. Res64: 3A3C2F415E7369E1 Time : 5947.0 sec. user=vaughan [2009-07-08 15:14:43] 489*2^702799-1 is not prime. Res64: 70A60620E17EA17A Time : 5673.0 sec. user=vaughan [2009-07-08 15:20:23] 585*2^702800-1 is not prime. Res64: B3488786AA6E11BE Time : 5907.0 sec. user=vaughan [2009-07-08 15:24:06] 427*2^702801-1 is not prime. Res64: FF6FFB8A773EDFDE Time : 5711.0 sec. user=vaughan [2009-07-08 15:30:14] 511*2^702801-1 is not prime. Res64: 9DB9DD6B0456C284 Time : 5969.0 sec. user=vaughan [2009-07-08 15:33:36] 529*2^702801-1 is not prime. Res64: 832FC8396CD7D257 Time : 5727.0 sec. user=vaughan [2009-07-08 15:39:29] 577*2^702801-1 is not prime. Res64: 9CEA10DB51DDD5DF Time : 5979.0 sec. user=vaughan [2009-07-08 15:43:11] 423*2^702802-1 is not prime. Res64: 49B79B3C261C0EE5 Time : 5702.0 sec. user=vaughan [2009-07-08 15:49:32] 437*2^702802-1 is not prime. Res64: 594B4802869B04BE Time : 5953.0 sec. user=vaughan [2009-07-08 15:52:58] 453*2^702802-1 is not prime. Res64: EFA384C1C964AD44 Time : 5723.0 sec. user=vaughan [2009-07-08 15:58:50] 513*2^702802-1 is not prime. Res64: 30A14E45F49690D8 Time : 5912.0 sec. user=vaughan [2009-07-08 16:02:35] 445*2^702803-1 is not prime. Res64: 322E548E6FC32654 Time : 5715.0 sec. user=vaughan [2009-07-08 16:09:17] 495*2^702803-1 is not prime. Res64: 08B08D55487E2D62 Time : 5921.0 sec. user=vaughan [2009-07-08 16:11:57] 573*2^702803-1 is not prime. Res64: 2361DD4B65408743 Time : 5703.0 sec. user=vaughan [2009-07-08 16:18:48] 589*2^702803-1 is not prime. Res64: B48DF40B8D30C82E Time : 5860.0 sec. user=vaughan [2009-07-08 16:21:35] 419*2^702804-1 is not prime. Res64: 54B6859524E80B3B Time : 5696.0 sec. user=vaughan [2009-07-08 16:28:19] 557*2^702804-1 is not prime. Res64: 9CEB70BD510D5A62 Time : 5814.0 sec. user=vaughan [2009-07-08 16:31:15] 409*2^702805-1 is not prime. Res64: C234ADCEDF2C4717 Time : 5705.0 sec. user=vaughan [2009-07-08 16:37:19] 421*2^702805-1 is not prime. Res64: 018A3FA53BBE1596 Time : 5769.0 sec. user=vaughan [2009-07-08 16:40:39] 481*2^702805-1 is not prime. Res64: 9A61522C382647FE Time : 5712.0 sec. user=vaughan [2009-07-08 16:47:02] 495*2^702805-1 is not prime. Res64: 4CA9A1CA20F24C98 Time : 5771.0 sec. user=vaughan [2009-07-08 16:49:59] 577*2^702805-1 is not prime. Res64: C729DC2468962033 Time : 5716.0 sec. user=vaughan [2009-07-08 16:56:51] 407*2^702806-1 is not prime. Res64: 4C99C6613A14D4CE Time : 5789.0 sec. user=vaughan [2009-07-08 16:59:16] 515*2^702806-1 is not prime. Res64: FFCE15987B3090CC Time : 5710.0 sec. user=vaughan [2009-07-08 17:06:32] 531*2^702807-1 is not prime. Res64: 82689ABAC9771668 Time : 5778.0 sec. user=vaughan [2009-07-08 17:08:23] 553*2^702807-1 is not prime. Res64: 61DDB5B7CDB47D62 Time : 5687.0 sec. user=vaughan [2009-07-08 17:16:16] 555*2^702807-1 is not prime. Res64: 370BD423BC64B8E1 Time : 5807.0 sec. user=vaughan [2009-07-08 17:18:12] 435*2^702808-1 is not prime. Res64: F27752E66A7DBD6A Time : 5701.0 sec. user=vaughan [2009-07-08 17:25:33] 483*2^702808-1 is not prime. Res64: F9120FD3ED3F7478 Time : 5761.0 sec. user=vaughan [2009-07-08 17:27:27] 441*2^702809-1 is not prime. Res64: BF09CCE5DC6697BA Time : 5669.0 sec. user=vaughan [2009-07-08 17:35:14] 459*2^702809-1 is not prime. Res64: 1B86C457A98FDC59 Time : 5784.0 sec. user=vaughan [2009-07-08 17:36:47] 549*2^702809-1 is not prime. Res64: B733E3D75DAFD526 Time : 5652.0 sec. user=vaughan [2009-07-08 17:44:21] 567*2^702809-1 is not prime. Res64: 2E5DE6D91E29DD1D Time : 5704.0 sec. user=vaughan [2009-07-08 17:46:06] 571*2^702809-1 is not prime. Res64: 815E06B3BE29AA27 Time : 5649.0 sec. user=vaughan [2009-07-08 17:54:08] 447*2^702810-1 is not prime. Res64: D004BEA704C11C29 Time : 5721.0 sec. user=vaughan [2009-07-08 17:55:35] 503*2^702810-1 is not prime. Res64: 5F3E596DD1080F8D Time : 5640.0 sec. user=vaughan [2009-07-08 18:03:28] 537*2^702810-1 is not prime. Res64: 63D28307980473A9 Time : 5709.0 sec. user=vaughan [2009-07-08 18:05:21] 441*2^702811-1 is not prime. Res64: 88E88703C9A5B8F3 Time : 5646.0 sec. user=vaughan [2009-07-08 18:12:51] 463*2^702811-1 is not prime. Res64: F42948840CA765D8 Time : 5733.0 sec. user=vaughan [2009-07-08 18:14:36] 465*2^702811-1 is not prime. Res64: A282D7299821B7AE Time : 5637.0 sec. user=vaughan [2009-07-08 18:22:30] 495*2^702811-1 is not prime. Res64: 2771FB213356FF01 Time : 5728.0 sec. user=vaughan [2009-07-08 18:24:10] 505*2^702811-1 is not prime. Res64: 36D3A7D8E1A17036 Time : 5651.0 sec. user=vaughan [2009-07-08 18:32:32] 595*2^702811-1 is not prime. Res64: 27CD680491321F14 Time : 5741.0 sec. user=vaughan [2009-07-08 18:33:54] 435*2^702812-1 is not prime. Res64: F8DA82C6CBBD2300 Time : 5678.0 sec. user=vaughan [2009-07-08 18:41:34] 459*2^702812-1 is not prime. Res64: E9266A01012280DA Time : 5702.0 sec. user=vaughan [2009-07-08 18:43:05] 467*2^702812-1 is not prime. Res64: D2D326A772A1209A Time : 5682.0 sec. user=vaughan [2009-07-08 18:51:26] 519*2^702812-1 is not prime. Res64: 3C8136BC68B6E223 Time : 5710.0 sec. user=vaughan [2009-07-08 18:52:34] 545*2^702812-1 is not prime. Res64: 20C0BA611338482F Time : 5662.0 sec. user=vaughan [2009-07-08 19:00:56] 499*2^702813-1 is not prime. Res64: CED818F9BF11B433 Time : 5723.0 sec. user=vaughan [2009-07-08 19:01:56] 453*2^702814-1 is not prime. Res64: 3D3171C4833729E4 Time : 5669.0 sec. user=vaughan [2009-07-08 19:10:06] 491*2^702814-1 is not prime. Res64: 492FD8D90DD891C2 Time : 5692.0 sec. user=vaughan [2009-07-08 19:11:03] 551*2^702814-1 is not prime. Res64: 6D915C8511EA7338 Time : 5656.0 sec. user=vaughan [2009-07-08 19:19:08] 567*2^702814-1 is not prime. Res64: 83CF479DE3E6C96A Time : 5687.0 sec. user=vaughan [2009-07-08 19:20:20] 573*2^702814-1 is not prime. Res64: FE39BD7B454F4503 Time : 5654.0 sec. user=vaughan [2009-07-08 19:28:51] 433*2^702815-1 is not prime. Res64: 95F287365FC22175 Time : 5684.0 sec. user=vaughan [2009-07-08 19:29:43] 451*2^702815-1 is not prime. Res64: 5B9186BA4EB10118 Time : 5648.0 sec. user=vaughan [2009-07-08 19:38:10] 475*2^702815-1 is not prime. Res64: 8EC29E5DD9B502C5 Time : 5682.0 sec. user=vaughan [2009-07-08 19:38:56] 525*2^702815-1 is not prime. Res64: 744BB0352F9BB79F Time : 5615.0 sec. user=vaughan [2009-07-08 19:47:59] 591*2^702815-1 is not prime. Res64: 88B3730FA28E6F93 Time : 5708.0 sec. user=vaughan [2009-07-08 19:48:50] 437*2^702816-1 is not prime. Res64: AE23DC39488CA2DE Time : 5654.0 sec. user=vaughan [2009-07-08 19:58:04] 459*2^702816-1 is not prime. Res64: CB820E85FE8AAAC0 Time : 5735.0 sec. user=vaughan [2009-07-08 19:58:42] 497*2^702816-1 is not prime. Res64: 5EACBE89BB8CF25C Time : 5673.0 sec. user=vaughan [2009-07-08 20:07:19] 421*2^702817-1 is not prime. Res64: AF5FA62AB85A20F2 Time : 5687.0 sec. user=vaughan [2009-07-08 20:07:53] 435*2^702817-1 is not prime. Res64: 8631D87D1296A3B2 Time : 5639.0 sec. user=vaughan [2009-07-08 20:16:48] 549*2^702817-1 is not prime. Res64: 599B5B75F48C18AB Time : 5715.0 sec. user=vaughan [2009-07-08 20:17:22] 561*2^702817-1 is not prime. Res64: 03956956B474FA71 Time : 5657.0 sec. user=vaughan [2009-07-08 20:26:21] 483*2^702818-1 is not prime. Res64: A3B5441C347D7311 Time : 5695.0 sec. user=vaughan [2009-07-08 20:27:00] 525*2^702818-1 is not prime. Res64: 1FC228E4BD621D6B Time : 5666.0 sec. user=vaughan [2009-07-08 20:35:38] 459*2^702819-1 is not prime. Res64: 990EB2EFEE8685B5 Time : 5683.0 sec. user=vaughan [2009-07-08 20:36:18] 481*2^702819-1 is not prime. Res64: 3E18571847EF290E Time : 5662.0 sec. user=vaughan [2009-07-08 20:45:28] 553*2^702819-1 is not prime. Res64: B9F5B4AF2474553E Time : 5722.0 sec. user=vaughan [2009-07-08 20:45:49] 483*2^702820-1 is not prime. Res64: 32593F91CF7FF841 Time : 5687.0 sec. user=vaughan [2009-07-08 20:55:07] 539*2^702820-1 is not prime. Res64: 05E91E7A7D29FB4C Time : 5759.0 sec. user=vaughan [2009-07-08 20:55:21] 529*2^702821-1 is not prime. Res64: 2956E5511E268BC8 Time : 5701.0 sec. user=vaughan [2009-07-08 21:04:59] 431*2^702822-1 is not prime. Res64: 2024369B241EED64 Time : 5716.0 sec. user=vaughan [2009-07-08 21:05:11] 577*2^702821-1 is not prime. Res64: 1B4006B938C1A70B Time : 5780.0 sec. user=vaughan [2009-07-08 21:14:15] 521*2^702822-1 is not prime. Res64: DE76ECC394A909CC Time : 5719.0 sec. user=vaughan [2009-07-08 21:14:24] 455*2^702822-1 is not prime. Res64: 9D3C2130881C9CFC Time : 5774.0 sec. user=vaughan [2009-07-08 21:23:37] 441*2^702823-1 is not prime. Res64: B79837928C981CC3 Time : 5687.0 sec. user=vaughan [2009-07-08 21:23:50] 573*2^702822-1 is not prime. Res64: E42D37D1A60DE016 Time : 5751.0 sec. user=vaughan [2009-07-08 21:33:11] 407*2^702824-1 is not prime. Res64: CA803DCB8A8121DF Time : 5669.0 sec. user=vaughan [2009-07-08 21:33:43] 499*2^702823-1 is not prime. Res64: 75F51866BD1AC21D Time : 5739.0 sec. user=vaughan [2009-07-08 21:34:41] 543*2^702827-1 is not prime. Res64: 6837AC73E1BC7FFB Time : 756.0 sec. user=vaughan [2009-07-08 21:35:21] 587*2^702826-1 is not prime. Res64: E390AEC99DD6C764 Time : 796.0 sec. user=vaughan [2009-07-08 21:37:56] 523*2^702827-1 is not prime. Res64: 6D9995BC7974768D Time : 951.0 sec. user=vaughan [2009-07-08 21:39:16] 435*2^702827-1 is not prime. Res64: 882937B948CA5AE6 Time : 1031.0 sec. user=vaughan [2009-07-08 21:42:31] 525*2^702824-1 is not prime. Res64: 811E524D3AD061AE Time : 5679.0 sec. user=vaughan [2009-07-08 21:42:52] 425*2^702824-1 is not prime. Res64: 1F1AF248657BC292 Time : 5734.0 sec. user=vaughan [2009-07-08 21:51:59] 599*2^702824-1 is not prime. Res64: D584597DC0F4BCBC Time : 5677.0 sec. user=vaughan [2009-07-08 21:52:47] 539*2^702824-1 is not prime. Res64: D7E3FE6782A27E51 Time : 5759.0 sec. user=vaughan [2009-07-08 22:01:38] 429*2^702825-1 is not prime. Res64: A688863644A5A3C9 Time : 5679.0 sec. user=vaughan [2009-07-08 22:02:51] 405*2^702825-1 is not prime. Res64: AD09A41C5322D05B Time : 5790.0 sec. user=vaughan [2009-07-08 22:11:18] 469*2^702825-1 is not prime. Res64: EF42C7355710A69F Time : 5701.0 sec. user=vaughan [2009-07-08 22:12:44] 441*2^702825-1 is not prime. Res64: 3C541C6845B8BE72 Time : 5827.0 sec. user=vaughan [2009-07-08 22:20:48] 475*2^702825-1 is not prime. Res64: F2AF8FE08CB792CD Time : 5699.0 sec. user=vaughan [2009-07-08 22:22:30] 471*2^702825-1 is not prime. Res64: F1C5098C390DC544 Time : 5822.0 sec. user=vaughan [2009-07-08 22:30:12] 529*2^702825-1 is not prime. Res64: 9B72D8C49DDC5924 Time : 5691.0 sec. user=vaughan [2009-07-08 22:32:06] 507*2^702825-1 is not prime. Res64: 1620017318F8B43B Time : 5819.0 sec. user=vaughan [2009-07-08 22:39:22] 405*2^702826-1 is not prime. Res64: 5C5CD9243B8CD79F Time : 5663.0 sec. user=vaughan [2009-07-08 22:41:35] 447*2^702826-1 is not prime. Res64: 5AC6F13560203C61 Time : 5784.0 sec. user=vaughan [2009-07-08 22:48:38] 461*2^702826-1 is not prime. Res64: ED2CB21F01E72C98 Time : 5664.0 sec. user=vaughan [2009-07-08 22:50:34] 561*2^702826-1 is not prime. Res64: D1A8F36EDC71097E Time : 5770.0 sec. user=vaughan [2009-07-08 22:57:58] 589*2^702827-1 is not prime. Res64: EF5314158C48004C Time : 5661.0 sec. user=vaughan [2009-07-08 23:00:05] 467*2^702828-1 is not prime. Res64: DD43F73973DCF879 Time : 5775.0 sec. user=vaughan [2009-07-08 23:07:09] 473*2^702828-1 is not prime. Res64: D41E7CD1FC926FB0 Time : 5639.0 sec. user=vaughan [2009-07-08 23:09:13] 479*2^702828-1 is not prime. Res64: 3C0209B9DAD02DE7 Time : 5730.0 sec. user=vaughan [2009-07-08 23:16:20] 507*2^702828-1 is not prime. Res64: 513239E34F617E94 Time : 5629.0 sec. user=vaughan [2009-07-08 23:18:17] 515*2^702828-1 is not prime. Res64: 277C05F5D84EEA0B Time : 5726.0 sec. user=vaughan [2009-07-08 23:25:55] 435*2^702829-1 is not prime. Res64: E8E40305B8A88D61 Time : 5636.0 sec. user=vaughan [2009-07-08 23:28:14] 441*2^702829-1 is not prime. Res64: 20608B06E073EC1B Time : 5727.0 sec. user=vaughan [2009-07-08 23:35:22] 511*2^702829-1 is not prime. Res64: E6B8245566EF0398 Time : 5625.0 sec. user=vaughan [2009-07-08 23:38:16] 411*2^702830-1 is not prime. Res64: 7C631A22F364635A Time : 5726.0 sec. user=vaughan [2009-07-08 23:44:30] 477*2^702830-1 is not prime. Res64: A811E4D81E28CF10 Time : 5592.0 sec. user=vaughan [2009-07-08 23:47:20] 525*2^702830-1 is not prime. Res64: 044CAE8DE95F9A7C Time : 5677.0 sec. user=vaughan [2009-07-08 23:53:44] 493*2^702831-1 is not prime. Res64: 94C5276DD9A22458 Time : 5576.0 sec. user=vaughan [2009-07-08 23:56:30] 535*2^702831-1 is not prime. Res64: 10D590F13BEEAF0D Time : 5640.0 sec.