user=vaughan [2009-07-09 00:03:00] 541*2^702831-1 is not prime. Res64: C45C9522D3B69492 Time : 5568.0 sec. user=vaughan [2009-07-09 00:05:31] 559*2^702831-1 is not prime. Res64: 52FF4E19805BA66B Time : 5606.0 sec. user=vaughan [2009-07-09 00:12:10] 413*2^702832-1 is not prime. Res64: 140D75AB5698E384 Time : 5568.0 sec. user=vaughan [2009-07-09 00:15:22] 419*2^702832-1 is not prime. Res64: F820D47749FA2B4F Time : 5627.0 sec. user=vaughan [2009-07-09 00:21:36] 485*2^702832-1 is not prime. Res64: 2FC43B6F41CC2AD3 Time : 5578.0 sec. user=vaughan [2009-07-09 00:24:56] 593*2^702832-1 is not prime. Res64: 209D4D90FEF00DFF Time : 5662.0 sec. user=vaughan [2009-07-09 00:31:15] 409*2^702833-1 is not prime. Res64: BCE86B4DE7BCB0A1 Time : 5598.0 sec. user=vaughan [2009-07-09 00:34:37] 465*2^702833-1 is not prime. Res64: 8CC565E32C69B658 Time : 5672.0 sec. user=vaughan [2009-07-09 00:40:38] 475*2^702833-1 is not prime. Res64: 48AC106A773FF36B Time : 5609.0 sec. user=vaughan [2009-07-09 00:44:13] 547*2^702833-1 is not prime. Res64: 923F17F8F8A7EDD4 Time : 5700.0 sec. user=vaughan [2009-07-09 00:50:25] 595*2^702833-1 is not prime. Res64: 065FCFB39AEF64CD Time : 5645.0 sec. user=vaughan [2009-07-09 00:54:16] 431*2^702834-1 is not prime. Res64: 6D36A67B654533D7 Time : 5759.0 sec. user=vaughan [2009-07-09 00:59:56] 483*2^702834-1 is not prime. Res64: 562595A7B6DA2F12 Time : 5641.0 sec. user=vaughan [2009-07-09 01:03:51] 485*2^702834-1 is not prime. Res64: 898D44F618C77A1F Time : 5737.0 sec. user=vaughan [2009-07-09 01:09:35] 501*2^702834-1 is not prime. Res64: 8632D688A8E40A2A Time : 5653.0 sec. user=vaughan [2009-07-09 01:14:09] 465*2^702835-1 is not prime. Res64: 3FED1FEAA4881B83 Time : 5753.0 sec. user=vaughan [2009-07-09 01:19:09] 475*2^702835-1 is not prime. Res64: 5AFB9A10F0789D0B Time : 5680.0 sec. user=vaughan [2009-07-09 01:23:31] 493*2^702835-1 is not prime. Res64: 64A74FD4DA539BA6 Time : 5772.0 sec. user=vaughan [2009-07-09 01:28:31] 499*2^702835-1 is not prime. Res64: 318DC3F69D577476 Time : 5687.0 sec. user=vaughan [2009-07-09 01:32:36] 511*2^702835-1 is not prime. Res64: 54E65FED5694C382 Time : 5766.0 sec. user=vaughan [2009-07-09 01:37:46] 519*2^702835-1 is not prime. Res64: 46BB00541F9BAF57 Time : 5686.0 sec. user=vaughan [2009-07-09 01:42:04] 555*2^702835-1 is not prime. Res64: 9005BAA50CF7A746 Time : 5794.0 sec. user=vaughan [2009-07-09 01:47:28] 453*2^702836-1 is not prime. Res64: F96EDB395548D729 Time : 5719.0 sec. user=vaughan [2009-07-09 01:52:28] 455*2^702836-1 is not prime. Res64: 28006F5A47CD7ED7 Time : 5826.0 sec. user=vaughan [2009-07-09 01:57:21] 465*2^702836-1 is not prime. Res64: 112CB9A1E9F265F0 Time : 5745.0 sec. user=vaughan [2009-07-09 02:02:17] 573*2^702836-1 is not prime. Res64: 1D8555ACE5F3CF6B Time : 5841.0 sec. user=vaughan [2009-07-09 02:06:58] 441*2^702837-1 is not prime. Res64: A64A31365F6832E9 Time : 5743.0 sec. user=vaughan [2009-07-09 02:11:18] 405*2^702838-1 is not prime. Res64: B11BBD16F8FDF213 Time : 5801.0 sec. user=vaughan [2009-07-09 02:16:25] 425*2^702838-1 is not prime. Res64: E56D0E17C45DFBC8 Time : 5747.0 sec. user=vaughan [2009-07-09 02:20:26] 437*2^702838-1 is not prime. Res64: 0490EB123C1AAA13 Time : 5773.0 sec. user=vaughan [2009-07-09 02:25:33] 525*2^702838-1 is not prime. Res64: DD802F1709BABF93 Time : 5708.0 sec. user=vaughan [2009-07-09 02:29:04] 591*2^702838-1 is not prime. Res64: 173D88DC4B72B9BF Time : 5689.0 sec. user=vaughan [2009-07-09 02:33:31] 403*2^702839-1 is not prime. Res64: 673A02AA2C330C9D Time : 5616.0 sec. user=vaughan [2009-07-09 02:37:06] 511*2^702839-1 is not prime. Res64: 65857E9B810E3AF0 Time : 5595.0 sec. user=vaughan [2009-07-09 02:41:27] 595*2^702839-1 is not prime. Res64: 2E76804033D73276 Time : 5512.0 sec. user=vaughan [2009-07-09 02:45:07] 405*2^702840-1 is not prime. Res64: 1870A806043F1118 Time : 5458.0 sec. user=vaughan [2009-07-09 02:49:23] 473*2^702840-1 is not prime. Res64: C4BCF97DD8F17E8A Time : 5414.0 sec. user=vaughan [2009-07-09 02:53:10] 525*2^702840-1 is not prime. Res64: 5FBAC6DC84AF2884 Time : 5379.0 sec. user=vaughan [2009-07-09 02:57:21] 543*2^702840-1 is not prime. Res64: 09B962D8CFBC089D Time : 5330.0 sec. user=vaughan [2009-07-09 03:01:11] 567*2^702840-1 is not prime. Res64: 03431D85A649A140 Time : 5315.0 sec. user=vaughan [2009-07-09 03:05:17] 585*2^702840-1 is not prime. Res64: D697C73D785DDE0A Time : 5252.0 sec. user=vaughan [2009-07-09 03:09:09] 465*2^702841-1 is not prime. Res64: 51E7020ED2B528BD Time : 5226.0 sec. user=vaughan [2009-07-09 03:13:13] 471*2^702841-1 is not prime. Res64: BBDE668A43CC96E5 Time : 5145.0 sec. user=vaughan [2009-07-09 03:17:12] 425*2^702842-1 is not prime. Res64: 026ECEB2AB35B5AB Time : 5084.0 sec. user=vaughan [2009-07-09 03:21:05] 467*2^702842-1 is not prime. Res64: C5D1A5907884BE5F Time : 5024.0 sec. user=vaughan [2009-07-09 03:25:18] 525*2^702842-1 is not prime. Res64: 022C570852C258A3 Time : 4981.0 sec. user=vaughan [2009-07-09 03:29:03] 429*2^702843-1 is not prime. Res64: 8A59B9FB09264A64 Time : 4925.0 sec. user=vaughan [2009-07-09 03:33:24] 439*2^702843-1 is not prime. Res64: 8EC7F4D37EA11062 Time : 4927.0 sec. user=vaughan [2009-07-09 03:36:56] 475*2^702843-1 is not prime. Res64: A3B6940A3F44B578 Time : 4831.0 sec. user=vaughan [2009-07-09 03:41:26] 529*2^702843-1 is not prime. Res64: A4246A74222722EF Time : 4861.0 sec. user=vaughan [2009-07-09 03:44:55] 541*2^702843-1 is not prime. Res64: D78EC902CAA67A55 Time : 4762.0 sec. user=vaughan [2009-07-09 03:49:24] 543*2^702843-1 is not prime. Res64: 7B829C501E37EAB8 Time : 4820.0 sec. user=vaughan [2009-07-09 03:52:54] 555*2^702843-1 is not prime. Res64: 50873222B0B2676E Time : 4763.0 sec. user=vaughan [2009-07-09 03:57:23] 583*2^702843-1 is not prime. Res64: 9A9E0517CBFED90C Time : 4818.0 sec. user=vaughan [2009-07-09 04:00:51] 423*2^702844-1 is not prime. Res64: 8979E8F714FA68DF Time : 4764.0 sec. user=vaughan [2009-07-09 04:05:24] 453*2^702844-1 is not prime. Res64: C775F5BEB7767E1F Time : 4817.0 sec. user=vaughan [2009-07-09 04:08:51] 483*2^702844-1 is not prime. Res64: 2047E8E56BA7C3BB Time : 4768.0 sec. user=vaughan [2009-07-09 04:13:22] 409*2^702845-1 is not prime. Res64: 7CB18215D010027C Time : 4812.0 sec. user=vaughan [2009-07-09 04:16:51] 487*2^702845-1 is not prime. Res64: 78FE3950C080AE88 Time : 4771.0 sec. user=vaughan [2009-07-09 04:21:20] 565*2^702845-1 is not prime. Res64: 45042872C67FCB36 Time : 4809.0 sec. user=vaughan [2009-07-09 04:24:47] 577*2^702845-1 is not prime. Res64: 0379E0D280239CCB Time : 4770.0 sec. user=vaughan [2009-07-09 04:30:07] 447*2^702846-1 is not prime. Res64: F0590A5C7F16D70B Time : 4858.0 sec. user=vaughan [2009-07-09 04:34:16] 453*2^702846-1 is not prime. Res64: 356C2947EFA6947C Time : 4863.0 sec. user=vaughan [2009-07-09 04:40:14] 593*2^702846-1 is not prime. Res64: 078B78E0F36AF910 Time : 4982.0 sec. user=vaughan [2009-07-09 04:43:41] 421*2^702847-1 is not prime. Res64: 0F2B48628814D116 Time : 4956.0 sec. user=vaughan [2009-07-09 04:50:13] 451*2^702847-1 is not prime. Res64: CFA9C7FE46DD6230 Time : 5095.0 sec. user=vaughan [2009-07-09 04:53:08] 519*2^702847-1 is not prime. Res64: 7B2FCE0A1A411AEC Time : 5045.0 sec. user=vaughan [2009-07-09 04:59:45] 437*2^702848-1 is not prime. Res64: CDA77577B85972AB Time : 5181.0 sec. user=vaughan [2009-07-09 05:02:54] 519*2^702848-1 is not prime. Res64: 0EB6B1D22828E5B4 Time : 5159.0 sec. user=vaughan [2009-07-09 05:09:50] 567*2^702848-1 is not prime. Res64: 7B0636D6824E93AF Time : 5304.0 sec. user=vaughan [2009-07-09 05:12:33] 501*2^702849-1 is not prime. Res64: 531F14934506AFB9 Time : 5258.0 sec. user=vaughan [2009-07-09 05:18:43] 511*2^702849-1 is not prime. Res64: B36C616715F053A0 Time : 5359.0 sec. user=vaughan [2009-07-09 05:21:45] 535*2^702849-1 is not prime. Res64: D279F6B661AC0CA3 Time : 5331.0 sec. user=vaughan [2009-07-09 05:28:16] 411*2^702850-1 is not prime. Res64: 5B61132664A7DD0A Time : 5453.0 sec. user=vaughan [2009-07-09 05:31:15] 465*2^702850-1 is not prime. Res64: 19364185C42EE299 Time : 5424.0 sec. user=vaughan [2009-07-09 05:37:50] 471*2^702850-1 is not prime. Res64: 25BC24F2DD6364EF Time : 5547.0 sec. user=vaughan [2009-07-09 05:40:45] 483*2^702850-1 is not prime. Res64: 32ED8DC9F0924F12 Time : 5514.0 sec. user=vaughan [2009-07-09 05:47:30] 495*2^702850-1 is not prime. Res64: E7A41E0EC1A24262 Time : 5648.0 sec. user=vaughan [2009-07-09 05:50:29] 531*2^702850-1 is not prime. Res64: 6849A6D5318A1AF8 Time : 5618.0 sec. user=vaughan [2009-07-09 05:57:21] 581*2^702850-1 is not prime. Res64: 4E3A4B9D8ECC1D7F Time : 5761.0 sec. user=vaughan [2009-07-09 05:59:59] 451*2^702851-1 is not prime. Res64: C72144C097F16EA5 Time : 5712.0 sec. user=vaughan [2009-07-09 06:06:36] 465*2^702851-1 is not prime. Res64: FBB2F0ADAED4842F Time : 5789.0 sec. user=vaughan [2009-07-09 06:09:30] 511*2^702851-1 is not prime. Res64: 9B84158B23C377D5 Time : 5715.0 sec. user=vaughan [2009-07-09 06:15:42] 585*2^702851-1 is not prime. Res64: 25B7996B3643723D Time : 5728.0 sec. user=vaughan [2009-07-09 06:18:54] 425*2^702852-1 is not prime. Res64: 423BC47123AD8957 Time : 5713.0 sec. user=vaughan [2009-07-09 06:25:27] 503*2^702852-1 is not prime. Res64: 83B3CFE3B232A67E Time : 5714.0 sec. user=vaughan [2009-07-09 06:28:36] 527*2^702852-1 is not prime. Res64: CF1A9D8E90B8071C Time : 5728.0 sec. user=vaughan [2009-07-09 06:34:46] 429*2^702853-1 is not prime. Res64: C5DACC2027DE511A Time : 5701.0 sec. user=vaughan [2009-07-09 06:37:44] 435*2^702853-1 is not prime. Res64: BEC50A5287ED1C84 Time : 5690.0 sec. user=vaughan [2009-07-09 06:44:08] 507*2^702853-1 is not prime. Res64: 85BA9BD9131373EC Time : 5658.0 sec. user=vaughan [2009-07-09 06:46:53] 525*2^702853-1 is not prime. Res64: 927781DAFCE7B185 Time : 5660.0 sec. user=vaughan [2009-07-09 06:53:53] 595*2^702853-1 is not prime. Res64: F902D66B133AA522 Time : 5710.0 sec. user=vaughan [2009-07-09 06:56:39] 407*2^702854-1 is not prime. Res64: C33E88916379073C Time : 5694.0 sec. user=vaughan [2009-07-09 07:04:08] 425*2^702854-1 is not prime. Res64: 1326BF15C60EC915 Time : 5752.0 sec. user=vaughan [2009-07-09 07:06:25] 501*2^702854-1 is not prime. Res64: E81E390C3E92DD7C Time : 5710.0 sec. user=vaughan [2009-07-09 07:14:16] 593*2^702854-1 is not prime. Res64: F67088A4DA957237 Time : 5787.0 sec. user=vaughan [2009-07-09 07:15:57] 573*2^702856-1 is not prime. Res64: E8E4058E12A026BE Time : 5713.0 sec. user=vaughan [2009-07-09 07:23:29] 477*2^702857-1 is not prime. Res64: C2DBE71E1CEFBB02 Time : 5759.0 sec. user=vaughan [2009-07-09 07:25:09] 507*2^702857-1 is not prime. Res64: AACFC26141769B9E Time : 5680.0 sec. user=vaughan [2009-07-09 07:32:32] 589*2^702857-1 is not prime. Res64: 45FDC859D806DE42 Time : 5711.0 sec. user=vaughan [2009-07-09 07:34:25] 461*2^702858-1 is not prime. Res64: D107EBF9CA53A7D6 Time : 5667.0 sec. user=vaughan [2009-07-09 07:41:58] 411*2^702859-1 is not prime. Res64: 83231DF0B37EF55B Time : 5722.0 sec. user=vaughan [2009-07-09 07:44:04] 505*2^702859-1 is not prime. Res64: 68009B099B316E76 Time : 5674.0 sec. user=vaughan [2009-07-09 07:51:40] 531*2^702859-1 is not prime. Res64: 37AB8F44CC95BF14 Time : 5758.0 sec. user=vaughan [2009-07-09 07:53:31] 561*2^702859-1 is not prime. Res64: 45CEAC358C8B75DD Time : 5677.0 sec. user=vaughan [2009-07-09 08:01:42] 447*2^702860-1 is not prime. Res64: 7EC02AA1D59934A3 Time : 5775.0 sec. user=vaughan [2009-07-09 08:03:13] 495*2^702860-1 is not prime. Res64: 6498A5C13AF69DAD Time : 5677.0 sec. user=vaughan [2009-07-09 08:11:45] 515*2^702860-1 is not prime. Res64: 32636EB6DDE5F852 Time : 5819.0 sec. user=vaughan [2009-07-09 08:12:59] 537*2^702860-1 is not prime. Res64: 83CAD61359425DB4 Time : 5715.0 sec. user=vaughan [2009-07-09 08:21:35] 557*2^702860-1 is not prime. Res64: 3A8BE503A2FC107D Time : 5848.0 sec. user=vaughan [2009-07-09 08:22:41] 451*2^702861-1 is not prime. Res64: 860D838294D94DAA Time : 5748.0 sec. user=vaughan [2009-07-09 08:31:33] 487*2^702861-1 is not prime. Res64: 39124A75D2830CED Time : 5860.0 sec. user=vaughan [2009-07-09 08:32:19] 531*2^702861-1 is not prime. Res64: CBEA23D508FB7BE7 Time : 5740.0 sec. user=vaughan [2009-07-09 08:41:12] 435*2^702862-1 is not prime. Res64: 26F0385BC5267FCE Time : 5825.0 sec. user=vaughan [2009-07-09 08:41:48] 521*2^702862-1 is not prime. Res64: A74B0EE205A201F1 Time : 5723.0 sec. user=vaughan [2009-07-09 08:51:07] 411*2^702863-1 is not prime. Res64: 7B97081E7C8B060D Time : 5811.0 sec. user=vaughan [2009-07-09 08:51:39] 523*2^702863-1 is not prime. Res64: 6446B7EF40031A06 Time : 5742.0 sec. user=vaughan [2009-07-09 09:00:58] 455*2^702864-1 is not prime. Res64: B45078E38C8EA1D6 Time : 5849.0 sec. user=vaughan [2009-07-09 09:01:19] 473*2^702864-1 is not prime. Res64: 8261F1218FCEB6F7 Time : 5771.0 sec. user=vaughan [2009-07-09 09:10:19] 509*2^702864-1 is not prime. Res64: B6D4F5CADDD13CF8 Time : 5867.0 sec. user=vaughan [2009-07-09 09:10:40] 421*2^702865-1 is not prime. Res64: C92C46805D71DEC3 Time : 5775.0 sec. user=vaughan [2009-07-09 09:20:12] 499*2^702865-1 is not prime. Res64: 74045DFE02180A98 Time : 5894.0 sec. user=vaughan [2009-07-09 09:20:19] 507*2^702865-1 is not prime. Res64: 23932CC987D44E6F Time : 5776.0 sec. user=vaughan [2009-07-09 09:30:02] 561*2^702866-1 is not prime. Res64: 770A0BABB226B36D Time : 5902.0 sec. user=vaughan [2009-07-09 09:30:10] 465*2^702867-1 is not prime. Res64: 468437EEAF15FBEF Time : 5799.0 sec. user=vaughan [2009-07-09 09:39:21] 489*2^702867-1 is not prime. Res64: 303D3767E696DAA5 Time : 5859.0 sec. user=vaughan [2009-07-09 09:39:36] 513*2^702867-1 is not prime. Res64: 12287E184F56FA8A Time : 5783.0 sec. user=vaughan [2009-07-09 09:49:06] 437*2^702868-1 is not prime. Res64: E6DC0B9ADECC6939 Time : 5768.0 sec. user=vaughan [2009-07-09 09:49:12] 571*2^702867-1 is not prime. Res64: A9D40BC6B86A86B2 Time : 5848.0 sec. user=vaughan [2009-07-09 09:58:36] 537*2^702868-1 is not prime. Res64: 39484C35256E7DF0 Time : 5755.0 sec. user=vaughan [2009-07-09 09:58:40] 483*2^702868-1 is not prime. Res64: 98D9706F4F2B38D0 Time : 5825.0 sec. user=vaughan [2009-07-09 10:07:56] 549*2^702868-1 is not prime. Res64: 933957B553AFC1E5 Time : 5784.0 sec. user=vaughan [2009-07-09 10:08:01] 597*2^702868-1 is not prime. Res64: 6762454F9D6CF50F Time : 5742.0 sec. user=vaughan [2009-07-09 10:17:31] 417*2^702869-1 is not prime. Res64: 9C04F061C7005566 Time : 5779.0 sec. user=vaughan [2009-07-09 10:17:35] 435*2^702869-1 is not prime. Res64: 1497F020C966C443 Time : 5747.0 sec. user=vaughan [2009-07-09 10:26:53] 445*2^702869-1 is not prime. Res64: 66AB3F751C9FC3A8 Time : 5746.0 sec. user=vaughan [2009-07-09 10:27:05] 469*2^702869-1 is not prime. Res64: 95092DBF9503D248 Time : 5727.0 sec. user=vaughan [2009-07-09 10:36:46] 571*2^702869-1 is not prime. Res64: AE1D960B6436FBA8 Time : 5727.0 sec. user=vaughan [2009-07-09 10:36:47] 495*2^702869-1 is not prime. Res64: 2B06AE908E75FAFE Time : 5749.0 sec. user=vaughan [2009-07-09 10:46:23] 473*2^702870-1 is not prime. Res64: B3D6C036536F9DE7 Time : 5743.0 sec. user=vaughan [2009-07-09 10:46:46] 465*2^702870-1 is not prime. Res64: 4BDF6999A3ADE874 Time : 5787.0 sec. user=vaughan [2009-07-09 10:55:39] 489*2^702871-1 is not prime. Res64: AE55A43BDC303398 Time : 5720.0 sec. user=vaughan [2009-07-09 10:56:11] 593*2^702870-1 is not prime. Res64: 42285D82AF9D8C69 Time : 5759.0 sec. user=vaughan [2009-07-09 11:05:15] 595*2^702871-1 is not prime. Res64: 2CA0F2E88042DF3D Time : 5705.0 sec. user=vaughan [2009-07-09 11:06:21] 583*2^702871-1 is not prime. Res64: 554813C958775614 Time : 5779.0 sec. user=vaughan [2009-07-09 11:14:31] 407*2^702872-1 is not prime. Res64: F94CE55C8F26E0AA Time : 5696.0 sec. user=vaughan [2009-07-09 11:15:44] 405*2^702872-1 is not prime. Res64: 7E18F6F0BB6909DB Time : 5783.0 sec. user=vaughan [2009-07-09 11:23:46] 459*2^702872-1 is not prime. Res64: 14A13925BB0805AD Time : 5680.0 sec. user=vaughan [2009-07-09 11:25:15] 539*2^702872-1 is not prime. Res64: 462AEF75997F1D60 Time : 5763.0 sec. user=vaughan [2009-07-09 11:33:23] 599*2^702872-1 is not prime. Res64: 2D769560B91A3994 Time : 5687.0 sec. user=vaughan [2009-07-09 11:35:31] 549*2^702873-1 is not prime. Res64: AF63D4AC2BADA1A6 Time : 5811.0 sec. user=vaughan [2009-07-09 11:42:57] 411*2^702874-1 is not prime. Res64: 2F2567E7CFB555AE Time : 5697.0 sec. user=vaughan [2009-07-09 11:45:57] 555*2^702873-1 is not prime. Res64: E7CC966336737BDF Time : 5882.0 sec. user=vaughan [2009-07-09 11:52:34] 495*2^702874-1 is not prime. Res64: CFFAB1B0359FE14B Time : 5699.0 sec. user=vaughan [2009-07-09 11:55:43] 477*2^702874-1 is not prime. Res64: 1B8CF0856DDE6E4A Time : 5892.0 sec. user=vaughan [2009-07-09 12:02:27] 475*2^702875-1 is not prime. Res64: 84F0981BF49940BC Time : 5722.0 sec. user=vaughan [2009-07-09 12:05:51] 497*2^702874-1 is not prime. Res64: 9C61066B0DB97467 Time : 5938.0 sec. user=vaughan [2009-07-09 12:12:16] 563*2^702876-1 is not prime. Res64: D5E41E0B7F4644C7 Time : 5730.0 sec. user=vaughan [2009-07-09 12:15:43] 587*2^702876-1 is not prime. Res64: 7FB7876507EAD7D0 Time : 5936.0 sec. user=vaughan [2009-07-09 12:21:32] 597*2^702876-1 is not prime. Res64: 4382084BA295E0FD Time : 5710.0 sec. user=vaughan [2009-07-09 12:25:23] 519*2^702877-1 is not prime. Res64: 2D980EC1311B6FB7 Time : 5918.0 sec. user=vaughan [2009-07-09 12:30:58] 405*2^702878-1 is not prime. Res64: E97CF9BDD5F41764 Time : 5720.0 sec. user=vaughan [2009-07-09 12:35:12] 591*2^702878-1 is not prime. Res64: C373F989FA7A8503 Time : 5941.0 sec. user=vaughan [2009-07-09 12:40:25] 415*2^702879-1 is not prime. Res64: 021C13DD761D85EA Time : 5710.0 sec. user=vaughan [2009-07-09 12:44:39] 423*2^702879-1 is not prime. Res64: 71136C8F928E4E2D Time : 5898.0 sec. user=vaughan [2009-07-09 12:49:39] 465*2^702879-1 is not prime. Res64: E54D896BAB4EA416 Time : 5708.0 sec. user=vaughan [2009-07-09 12:54:01] 553*2^702879-1 is not prime. Res64: 5510768699917BF5 Time : 5897.0 sec. user=vaughan [2009-07-09 12:58:59] 447*2^702880-1 is not prime. Res64: 175F7231FD977905 Time : 5713.0 sec. user=vaughan [2009-07-09 13:04:43] 453*2^702880-1 is not prime. Res64: 67575476983400E8 Time : 5968.0 sec. user=vaughan [2009-07-09 13:08:42] 465*2^702880-1 is not prime. Res64: 9C68A7A8A1515567 Time : 5719.0 sec. user=vaughan [2009-07-09 13:14:42] 527*2^702880-1 is not prime. Res64: 2835F27AF03689B1 Time : 5952.0 sec. user=vaughan [2009-07-09 13:18:06] 587*2^702880-1 is not prime. Res64: 7440B91D9C7C366D Time : 5709.0 sec. user=vaughan [2009-07-09 13:24:18] 421*2^702881-1 is not prime. Res64: 9941B61A2EE352D2 Time : 5902.0 sec. user=vaughan [2009-07-09 13:27:49] 475*2^702881-1 is not prime. Res64: 11FA0E2B755D7623 Time : 5715.0 sec. user=vaughan [2009-07-09 13:34:29] 487*2^702881-1 is not prime. Res64: 806BB28C7822899D Time : 5926.0 sec. user=vaughan [2009-07-09 13:37:24] 495*2^702881-1 is not prime. Res64: 446C940D25C5067C Time : 5697.0 sec. user=vaughan [2009-07-09 13:45:01] 547*2^702881-1 is not prime. Res64: 4E5A10BB7A5D0124 Time : 5950.0 sec. user=vaughan [2009-07-09 13:47:13] 507*2^702882-1 is not prime. Res64: 109BAF9E5759828C Time : 5697.0 sec. user=vaughan [2009-07-09 13:55:28] 525*2^702882-1 is not prime. Res64: 5F543AD3BC5FCFBE Time : 5985.0 sec. user=vaughan [2009-07-09 13:57:02] 593*2^702882-1 is not prime. Res64: D058166238591E2A Time : 5731.0 sec. user=vaughan [2009-07-09 14:04:58] 439*2^702883-1 is not prime. Res64: A044FB4FB9071231 Time : 5975.0 sec. user=vaughan [2009-07-09 14:06:16] 441*2^702883-1 is not prime. Res64: 47D2AEEEBA195547 Time : 5719.0 sec. user=vaughan [2009-07-09 14:14:03] 589*2^702883-1 is not prime. Res64: 9A8F81D1C1080F49 Time : 5931.0 sec. user=vaughan [2009-07-09 14:15:22] 595*2^702883-1 is not prime. Res64: A14A89E0D14A3B88 Time : 5697.0 sec. user=vaughan [2009-07-09 14:23:53] 507*2^702884-1 is not prime. Res64: D232BCED536096B1 Time : 5954.0 sec. user=vaughan [2009-07-09 14:24:50] 573*2^702884-1 is not prime. Res64: 06AB82D8C3896BEE Time : 5711.0 sec. user=vaughan [2009-07-09 14:33:30] 599*2^702884-1 is not prime. Res64: 246C09C8BA4B9A49 Time : 5969.0 sec. user=vaughan [2009-07-09 14:34:21] 459*2^702885-1 is not prime. Res64: 06DF1F793EB367EF Time : 5722.0 sec. user=vaughan [2009-07-09 14:42:33] 585*2^702885-1 is not prime. Res64: 6F1A29409D2BE419 Time : 5870.0 sec. user=vaughan [2009-07-09 14:43:31] 461*2^702886-1 is not prime. Res64: 74225631F2324FFB Time : 5689.0 sec. user=vaughan [2009-07-09 14:51:47] 525*2^702886-1 is not prime. Res64: EAC9B2C8B340E856 Time : 5825.0 sec. user=vaughan [2009-07-09 14:52:39] 423*2^702887-1 is not prime. Res64: DEB340FB4CFE9D57 Time : 5673.0 sec. user=vaughan [2009-07-09 15:01:15] 511*2^702887-1 is not prime. Res64: D8D792C8826CE62F Time : 5817.0 sec. user=vaughan [2009-07-09 15:01:56] 413*2^702888-1 is not prime. Res64: 85841B1BDB88B0B4 Time : 5647.0 sec. user=vaughan [2009-07-09 15:11:07] 423*2^702888-1 is not prime. Res64: 72274F50B4CC1BD4 Time : 5798.0 sec. user=vaughan [2009-07-09 15:11:48] 509*2^702888-1 is not prime. Res64: 850DCD829C146764 Time : 5664.0 sec. user=vaughan [2009-07-09 15:20:57] 527*2^702888-1 is not prime. Res64: 3B7F640D13326F34 Time : 5756.0 sec. user=vaughan [2009-07-09 15:21:19] 537*2^702888-1 is not prime. Res64: F5A55857934B7BDD Time : 5646.0 sec. user=vaughan [2009-07-09 15:30:20] 555*2^702888-1 is not prime. Res64: 8CF17BF512481899 Time : 5692.0 sec. user=vaughan [2009-07-09 15:30:59] 557*2^702888-1 is not prime. Res64: F831E9D53B4BE2B6 Time : 5637.0 sec. user=vaughan [2009-07-09 15:40:04] 489*2^702889-1 is not prime. Res64: 2DA2F4C418CB7F40 Time : 5706.0 sec. user=vaughan [2009-07-09 15:40:20] 549*2^702889-1 is not prime. Res64: 014ADFD6887AA850 Time : 5645.0 sec. user=vaughan [2009-07-09 15:50:08] 559*2^702889-1 is not prime. Res64: 04B13D28C0B04D06 Time : 5765.0 sec. user=vaughan [2009-07-09 15:50:15] 477*2^702890-1 is not prime. Res64: 8A704014F6E17644 Time : 5693.0 sec. user=vaughan [2009-07-09 15:59:35] 537*2^702890-1 is not prime. Res64: BD0867DD5154E88B Time : 5742.0 sec. user=vaughan [2009-07-09 15:59:44] 593*2^702890-1 is not prime. Res64: D92C76B0A5EEB4F5 Time : 5694.0 sec. user=vaughan [2009-07-09 16:08:53] 453*2^702891-1 is not prime. Res64: B9626660E66FE258 Time : 5723.0 sec. user=vaughan [2009-07-09 16:09:02] 483*2^702891-1 is not prime. Res64: CE7D0C25BF99F08E Time : 5681.0 sec. user=vaughan [2009-07-09 16:18:04] 565*2^702891-1 is not prime. Res64: C7985577FEFE8A43 Time : 5732.0 sec. user=vaughan [2009-07-09 16:18:12] 591*2^702891-1 is not prime. Res64: 348C552AB1B18E40 Time : 5682.0 sec. user=vaughan [2009-07-09 16:27:42] 413*2^702892-1 is not prime. Res64: AB53871CDFAF86F9 Time : 5703.0 sec. user=vaughan [2009-07-09 16:28:06] 595*2^702891-1 is not prime. Res64: 41E70B5213C8D5CC Time : 5779.0 sec. user=vaughan [2009-07-09 16:36:30] 495*2^702892-1 is not prime. Res64: FA57670BE4CB20D4 Time : 5674.0 sec. user=vaughan [2009-07-09 16:37:20] 435*2^702892-1 is not prime. Res64: 810A218C7C820AD0 Time : 5766.0 sec. user=vaughan [2009-07-09 16:46:15] 435*2^702893-1 is not prime. Res64: 6FD8AC0977F1365E Time : 5667.0 sec. user=vaughan [2009-07-09 16:47:38] 533*2^702892-1 is not prime. Res64: 76CEF7068A2754CF Time : 5792.0 sec. user=vaughan [2009-07-09 16:55:46] 561*2^702893-1 is not prime. Res64: E5F4F288146A0F1F Time : 5667.0 sec. user=vaughan [2009-07-09 16:57:13] 511*2^702893-1 is not prime. Res64: E003BC06D490EB18 Time : 5777.0 sec. user=vaughan [2009-07-09 17:05:19] 421*2^702895-1 is not prime. Res64: 72CAF66F45044BB5 Time : 5660.0 sec. user=vaughan [2009-07-09 17:06:51] 587*2^702894-1 is not prime. Res64: A376DBF530F0576A Time : 5791.0 sec. user=vaughan [2009-07-09 17:14:48] 499*2^702895-1 is not prime. Res64: 3CE70D4535E6316B Time : 5668.0 sec. user=vaughan [2009-07-09 17:16:36] 493*2^702895-1 is not prime. Res64: 8F240B9658220014 Time : 5792.0 sec. user=vaughan [2009-07-09 17:24:01] 573*2^702895-1 is not prime. Res64: B5183DBF78AD4BE1 Time : 5626.0 sec. user=vaughan [2009-07-09 17:25:34] 519*2^702895-1 is not prime. Res64: C4F5E3A81D6690A2 Time : 5726.0 sec. user=vaughan [2009-07-09 17:33:36] 447*2^702896-1 is not prime. Res64: 58A5CFE2143E3A09 Time : 5632.0 sec. user=vaughan [2009-07-09 17:35:33] 589*2^702895-1 is not prime. Res64: BE3E122820E042B2 Time : 5758.0 sec. user=vaughan [2009-07-09 17:42:45] 479*2^702896-1 is not prime. Res64: DCDBACF5D7B5D583 Time : 5623.0 sec. user=vaughan [2009-07-09 17:44:51] 455*2^702896-1 is not prime. Res64: 744B465B39924D28 Time : 5758.0 sec. user=vaughan [2009-07-09 17:52:14] 557*2^702896-1 is not prime. Res64: 9264D65BC4098782 Time : 5642.0 sec. user=vaughan [2009-07-09 17:54:59] 509*2^702896-1 is not prime. Res64: C9E77BD10BA98ACC Time : 5815.0 sec. user=vaughan [2009-07-09 18:01:49] 465*2^702897-1 is not prime. Res64: 3E4BA70BCBE71B35 Time : 5647.0 sec. user=vaughan [2009-07-09 18:04:53] 501*2^702897-1 is not prime. Res64: B31F0D82476EA7AE Time : 5807.0 sec. user=vaughan [2009-07-09 18:10:59] 531*2^702897-1 is not prime. Res64: 64C1F9795945C6F5 Time : 5669.0 sec. user=vaughan [2009-07-09 18:14:10] 571*2^702897-1 is not prime. Res64: 7FF6CEE34337E788 Time : 5811.0 sec. user=vaughan [2009-07-09 18:20:10] 579*2^702897-1 is not prime. Res64: 7F28DADA64B59075 Time : 5635.0 sec. user=vaughan [2009-07-09 18:23:19] 437*2^702898-1 is not prime. Res64: 5B9232E10B46FD0B Time : 5741.0 sec. user=vaughan [2009-07-09 18:29:14] 471*2^702898-1 is not prime. Res64: 1F3C6A985D1A41E3 Time : 5608.0 sec. user=vaughan [2009-07-09 18:32:34] 495*2^702898-1 is not prime. Res64: 9A852E1DBF6E6D7A Time : 5722.0 sec. user=vaughan [2009-07-09 18:38:32] 527*2^702898-1 is not prime. Res64: FFD272615B773C5C Time : 5593.0 sec. user=vaughan [2009-07-09 18:42:23] 597*2^702898-1 is not prime. Res64: DB0B4E7691BF3C58 Time : 5732.0 sec. user=vaughan [2009-07-09 18:48:07] 435*2^702899-1 is not prime. Res64: 28602F60D87E6F8D Time : 5599.0 sec. user=vaughan [2009-07-09 18:52:24] 469*2^702899-1 is not prime. Res64: 6FAE7D96DFB8E120 Time : 5748.0 sec. user=vaughan [2009-07-09 18:57:25] 543*2^702899-1 is not prime. Res64: 6373575344ECAF7B Time : 5604.0 sec. user=vaughan [2009-07-09 19:02:21] 545*2^702900-1 is not prime. Res64: 288C53DF6DC17021 Time : 5808.0 sec. user=vaughan [2009-07-09 19:07:05] 549*2^702900-1 is not prime. Res64: 1406078E39433679 Time : 5609.0 sec. user=vaughan [2009-07-09 19:11:49] 531*2^702901-1 is not prime. Res64: 446B9C5ADDBFFFBD Time : 5777.0 sec. user=vaughan [2009-07-09 19:16:23] 547*2^702901-1 is not prime. Res64: E5DDC6665EC8E6FE Time : 5618.0 sec. user=vaughan [2009-07-09 19:21:00] 559*2^702901-1 is not prime. Res64: E43EB980F6092527 Time : 5769.0 sec. user=vaughan [2009-07-09 19:25:26] 565*2^702901-1 is not prime. Res64: 91AD0935D2F8434C Time : 5592.0 sec. user=vaughan [2009-07-09 19:30:36] 577*2^702901-1 is not prime. Res64: BDD07AFE2B87E589 Time : 5738.0 sec. user=vaughan [2009-07-09 19:34:54] 453*2^702902-1 is not prime. Res64: 98CA97336186C200 Time : 5586.0 sec. user=vaughan [2009-07-09 19:39:41] 507*2^702902-1 is not prime. Res64: FBAC951E7A691EB3 Time : 5689.0 sec. user=vaughan [2009-07-09 19:44:13] 515*2^702902-1 is not prime. Res64: 957A961787648CA8 Time : 5594.0 sec. user=vaughan [2009-07-09 19:49:48] 545*2^702902-1 is not prime. Res64: AF2A3B0688925401 Time : 5738.0 sec. user=vaughan [2009-07-09 19:54:09] 563*2^702902-1 is not prime. Res64: 55A15B0BF8E1612A Time : 5639.0 sec. user=vaughan [2009-07-09 19:59:58] 573*2^702902-1 is not prime. Res64: F5CFBA3ACA70F619 Time : 5799.0 sec. user=vaughan [2009-07-09 20:03:40] 439*2^702903-1 is not prime. Res64: 9F79AB5F095343BB Time : 5666.0 sec. user=vaughan [2009-07-09 20:09:18] 475*2^702903-1 is not prime. Res64: 55A0BA4DA01B788E Time : 5804.0 sec. user=vaughan [2009-07-09 20:12:48] 549*2^702903-1 is not prime. Res64: 803E66073B862630 Time : 5656.0 sec. user=vaughan [2009-07-09 20:18:37] 573*2^702903-1 is not prime. Res64: ABA9EF5019F322CE Time : 5774.0 sec. user=vaughan [2009-07-09 20:21:59] 595*2^702903-1 is not prime. Res64: E45F2B2B6E50ECA9 Time : 5632.0 sec. user=vaughan [2009-07-09 20:28:24] 569*2^702904-1 is not prime. Res64: 2DD08FE261AB9C6B Time : 5760.0 sec. user=vaughan [2009-07-09 20:31:16] 441*2^702905-1 is not prime. Res64: F6016D9F929E0335 Time : 5632.0 sec. user=vaughan [2009-07-09 20:38:00] 469*2^702905-1 is not prime. Res64: ECC7FF3A62660858 Time : 5739.0 sec. user=vaughan [2009-07-09 20:40:40] 477*2^702905-1 is not prime. Res64: 8B9296DBF4A3BC80 Time : 5615.0 sec. user=vaughan [2009-07-09 20:42:20] 415*2^702909-1 is not prime. Res64: C2470CE2FD24A406 Time : 772.0 sec. user=vaughan [2009-07-09 20:42:23] 471*2^702909-1 is not prime. Res64: B19658CEB8778F89 Time : 775.0 sec. user=vaughan [2009-07-09 20:43:48] 447*2^702909-1 is not prime. Res64: 8EDA59C17B842B9C Time : 860.0 sec. user=vaughan [2009-07-09 20:44:00] 451*2^702909-1 is not prime. Res64: F3EB6AD688347893 Time : 872.0 sec. user=vaughan [2009-07-09 20:47:06] 487*2^702905-1 is not prime. Res64: 826A60DAF2895563 Time : 5717.0 sec. user=vaughan [2009-07-09 20:49:58] 537*2^702905-1 is not prime. Res64: B513E933976738B0 Time : 5615.0 sec. user=vaughan [2009-07-09 20:56:47] 595*2^702905-1 is not prime. Res64: 5F7C91FE6910BF46 Time : 5748.0 sec. user=vaughan [2009-07-09 20:59:44] 405*2^702906-1 is not prime. Res64: 722BD1D8E65B6364 Time : 5658.0 sec. user=vaughan [2009-07-09 21:06:59] 411*2^702906-1 is not prime. Res64: 9B298FF56FACF770 Time : 5783.0 sec. user=vaughan [2009-07-09 21:09:32] 465*2^702906-1 is not prime. Res64: CE9546DA3DF2931D Time : 5679.0 sec. user=vaughan [2009-07-09 21:17:36] 483*2^702906-1 is not prime. Res64: 3B7F9AE4D4DFF6EA Time : 5875.0 sec. user=vaughan [2009-07-09 21:19:11] 501*2^702906-1 is not prime. Res64: 0D1BC6D03EB2E7E8 Time : 5698.0 sec. user=vaughan [2009-07-09 21:26:47] 521*2^702906-1 is not prime. Res64: 00015A120099C299 Time : 5819.0 sec. user=vaughan [2009-07-09 21:28:33] 531*2^702906-1 is not prime. Res64: A443463212ABC7CB Time : 5664.0 sec. user=vaughan [2009-07-09 21:36:29] 405*2^702907-1 is not prime. Res64: D896CD66694CEF2A Time : 5791.0 sec. user=vaughan [2009-07-09 21:37:30] 429*2^702907-1 is not prime. Res64: 3396A386FEBFC8BB Time : 5631.0 sec. user=vaughan [2009-07-09 21:46:52] 417*2^702908-1 is not prime. Res64: 194737875E78D2FF Time : 5644.0 sec. user=vaughan [2009-07-09 21:46:55] 589*2^702907-1 is not prime. Res64: 81399A65C4EB8034 Time : 5858.0 sec. user=vaughan [2009-07-09 21:55:18] 519*2^702908-1 is not prime. Res64: ECDF3E7EEB793648 Time : 5599.0 sec. user=vaughan [2009-07-09 21:55:40] 507*2^702908-1 is not prime. Res64: 78636B1859D7D24C Time : 5823.0 sec. user=vaughan [2009-07-09 22:04:35] 525*2^702909-1 is not prime. Res64: 64621D3ADCEBAB1D Time : 5599.0 sec. user=vaughan [2009-07-09 22:04:57] 545*2^702908-1 is not prime. Res64: 90667900ED9572AD Time : 5794.0 sec. user=vaughan [2009-07-09 22:14:30] 561*2^702910-1 is not prime. Res64: 95D0D7EAB54C00B9 Time : 5630.0 sec. user=vaughan [2009-07-09 22:15:13] 595*2^702909-1 is not prime. Res64: 7CAE5452AEE08068 Time : 5833.0 sec. user=vaughan [2009-07-09 22:23:39] 403*2^702911-1 is not prime. Res64: 3A179D3E213C99B9 Time : 5622.0 sec. user=vaughan [2009-07-09 22:24:15] 591*2^702910-1 is not prime. Res64: 651FD9B0BCF9C772 Time : 5830.0 sec. user=vaughan [2009-07-09 22:32:50] 595*2^702911-1 is not prime. Res64: 25F5067636CDE1C0 Time : 5586.0 sec. user=vaughan [2009-07-09 22:33:48] 579*2^702911-1 is not prime. Res64: 0205DD5E3EE74F61 Time : 5821.0 sec. user=vaughan [2009-07-09 22:42:05] 485*2^702912-1 is not prime. Res64: D45404844886D496 Time : 5553.0 sec. user=vaughan [2009-07-09 22:43:32] 419*2^702912-1 is not prime. Res64: 2E66C7FE7C2563DA Time : 5793.0 sec. user=vaughan [2009-07-09 22:51:28] 563*2^702912-1 is not prime. Res64: 4321DC749448F937 Time : 5537.0 sec. user=vaughan [2009-07-09 22:53:34] 555*2^702912-1 is not prime. Res64: 19EC5CF9A725F3C0 Time : 5758.0 sec. user=vaughan [2009-07-09 23:00:40] 427*2^702913-1 is not prime. Res64: 431B6909425A5647 Time : 5527.0 sec. user=vaughan [2009-07-09 23:02:49] 569*2^702912-1 is not prime. Res64: 796AA57815FABCBC Time : 5762.0 sec. user=vaughan [2009-07-09 23:10:11] 481*2^702913-1 is not prime. Res64: F03015806D518347 Time : 5561.0 sec. user=vaughan [2009-07-09 23:12:37] 435*2^702913-1 is not prime. Res64: 55331346C5B6BC79 Time : 5768.0 sec. user=vaughan [2009-07-09 23:19:50] 511*2^702913-1 is not prime. Res64: FFF55F40DA230FDA Time : 5578.0 sec. user=vaughan [2009-07-09 23:22:47] 541*2^702913-1 is not prime. Res64: 4E5D34788087271A Time : 5752.0 sec. user=vaughan [2009-07-09 23:29:22] 547*2^702913-1 is not prime. Res64: 4FFC30F4D74B29E3 Time : 5644.0 sec. user=vaughan [2009-07-09 23:32:24] 565*2^702913-1 is not prime. Res64: FA3F51D7B56CFFAA Time : 5804.0 sec. user=vaughan [2009-07-09 23:38:23] 483*2^702914-1 is not prime. Res64: 1EFCA63C695D2F5F Time : 5628.0 sec. user=vaughan [2009-07-09 23:42:14] 497*2^702914-1 is not prime. Res64: 44E87815AB760BE4 Time : 5837.0 sec. user=vaughan [2009-07-09 23:47:39] 525*2^702914-1 is not prime. Res64: F1DF113F1377CA60 Time : 5589.0 sec. user=vaughan [2009-07-09 23:51:35] 551*2^702914-1 is not prime. Res64: 915F049833D9EB43 Time : 5782.0 sec. user=vaughan [2009-07-09 23:57:02] 585*2^702914-1 is not prime. Res64: F2AC5C9640451353 Time : 5603.0 sec.