user=vaughan [2009-07-06 00:00:31] 503*2^702524-1 is not prime. Res64: 221F6F1C343C3850 Time : 5313.0 sec. user=vaughan [2009-07-06 00:05:39] 405*2^702525-1 is not prime. Res64: CA6333B41993D15B Time : 5206.0 sec. user=vaughan [2009-07-06 00:09:09] 415*2^702525-1 is not prime. Res64: F53DC72D618FF482 Time : 5309.0 sec. user=vaughan [2009-07-06 00:13:57] 579*2^702525-1 is not prime. Res64: 4DAAACDD67317562 Time : 5171.0 sec. user=vaughan [2009-07-06 00:18:06] 591*2^702525-1 is not prime. Res64: FF2A855CFA7B7329 Time : 5308.0 sec. user=vaughan [2009-07-06 00:22:16] 595*2^702525-1 is not prime. Res64: 6BFA0CE643940947 Time : 5129.0 sec. user=vaughan [2009-07-06 00:26:55] 477*2^702526-1 is not prime. Res64: E2D624A293E16406 Time : 5285.0 sec. user=vaughan [2009-07-06 00:31:18] 521*2^702526-1 is not prime. Res64: 984081DA18BA9D26 Time : 5125.0 sec. user=vaughan [2009-07-06 00:35:39] 525*2^702526-1 is not prime. Res64: 377599F2ADF47E7F Time : 5262.0 sec. user=vaughan [2009-07-06 00:39:18] 441*2^702527-1 is not prime. Res64: B24BC2E010E421E0 Time : 5076.0 sec. user=vaughan [2009-07-06 00:44:00] 489*2^702527-1 is not prime. Res64: 768465F3B5C38B3B Time : 5215.0 sec. user=vaughan [2009-07-06 00:47:46] 549*2^702527-1 is not prime. Res64: 8E296681B0BFEA6D Time : 5106.0 sec. user=vaughan [2009-07-06 00:52:57] 473*2^702528-1 is not prime. Res64: 17CDBE5206CF6A4E Time : 5265.0 sec. user=vaughan [2009-07-06 00:56:59] 485*2^702528-1 is not prime. Res64: 1380C62887D120D4 Time : 5158.0 sec. user=vaughan [2009-07-06 01:02:00] 513*2^702528-1 is not prime. Res64: C0C7228D3FFA77DC Time : 5302.0 sec. user=vaughan [2009-07-06 01:05:35] 549*2^702528-1 is not prime. Res64: 7C8C5F47C11C4CFC Time : 5159.0 sec. user=vaughan [2009-07-06 01:11:04] 447*2^702529-1 is not prime. Res64: 334010090F2F82D4 Time : 5302.0 sec. user=vaughan [2009-07-06 01:14:00] 511*2^702529-1 is not prime. Res64: E06980C6A97167AA Time : 5124.0 sec. user=vaughan [2009-07-06 01:20:18] 515*2^702530-1 is not prime. Res64: 930BA4E70B484DF5 Time : 5314.0 sec. user=vaughan [2009-07-06 01:22:36] 567*2^702530-1 is not prime. Res64: 99A5C91A781CE60E Time : 5157.0 sec. user=vaughan [2009-07-06 01:30:07] 585*2^702530-1 is not prime. Res64: FC2181653D7FBA42 Time : 5376.0 sec. user=vaughan [2009-07-06 01:31:40] 411*2^702531-1 is not prime. Res64: ACB91DF2E18B3FE5 Time : 5162.0 sec. user=vaughan [2009-07-06 01:38:48] 415*2^702531-1 is not prime. Res64: 249817E1B6D2601A Time : 5379.0 sec. user=vaughan [2009-07-06 01:40:13] 465*2^702531-1 is not prime. Res64: BEF59BB39B351EF9 Time : 5176.0 sec. user=vaughan [2009-07-06 01:47:22] 513*2^702531-1 is not prime. Res64: 876ADDA6F83C07B9 Time : 5356.0 sec. user=vaughan [2009-07-06 01:48:28] 583*2^702531-1 is not prime. Res64: A822DBB4194498A3 Time : 5172.0 sec. user=vaughan [2009-07-06 01:56:09] 447*2^702532-1 is not prime. Res64: CF0B9A31A889A7CA Time : 5354.0 sec. user=vaughan [2009-07-06 01:56:58] 497*2^702532-1 is not prime. Res64: 49F21EB67EDC9AB2 Time : 5140.0 sec. user=vaughan [2009-07-06 02:05:18] 487*2^702533-1 is not prime. Res64: 65609AFE420DFA42 Time : 5379.0 sec. user=vaughan [2009-07-06 02:05:43] 537*2^702533-1 is not prime. Res64: 97EAFC4DF3A83F12 Time : 5186.0 sec. user=vaughan [2009-07-06 02:13:50] 483*2^702534-1 is not prime. Res64: B1E305961D789F42 Time : 5390.0 sec. user=vaughan [2009-07-06 02:14:02] 551*2^702534-1 is not prime. Res64: B1BA5ED0C845F707 Time : 5176.0 sec. user=vaughan [2009-07-06 02:23:07] 463*2^702535-1 is not prime. Res64: CFB5AE3758DAB838 Time : 5169.0 sec. user=vaughan [2009-07-06 02:23:31] 411*2^702535-1 is not prime. Res64: BBD34E23ADD2F930 Time : 5434.0 sec. user=vaughan [2009-07-06 02:32:06] 499*2^702535-1 is not prime. Res64: F3847C474F5D23E6 Time : 5191.0 sec. user=vaughan [2009-07-06 02:33:10] 475*2^702535-1 is not prime. Res64: BF3662DB20CA011B Time : 5470.0 sec. user=vaughan [2009-07-06 02:40:10] 455*2^702536-1 is not prime. Res64: 1128A458A5FEAC83 Time : 5170.0 sec. user=vaughan [2009-07-06 02:41:23] 435*2^702536-1 is not prime. Res64: 4772614A3E0895E9 Time : 5419.0 sec. user=vaughan [2009-07-06 02:49:15] 503*2^702536-1 is not prime. Res64: 4E4B7CADDD87A7A7 Time : 5199.0 sec. user=vaughan [2009-07-06 02:50:57] 473*2^702536-1 is not prime. Res64: C9B499404DF4B672 Time : 5439.0 sec. user=vaughan [2009-07-06 02:57:18] 429*2^702537-1 is not prime. Res64: 2E498346AEE967CE Time : 5138.0 sec. user=vaughan [2009-07-06 02:59:05] 573*2^702536-1 is not prime. Res64: 693A3EB336651442 Time : 5339.0 sec. user=vaughan [2009-07-06 03:05:58] 465*2^702537-1 is not prime. Res64: A9A1C7273D567A8F Time : 5145.0 sec. user=vaughan [2009-07-06 03:08:05] 439*2^702537-1 is not prime. Res64: D7524C39D981307B Time : 5357.0 sec. user=vaughan [2009-07-06 03:14:25] 487*2^702537-1 is not prime. Res64: E041901F8AB7280D Time : 5157.0 sec. user=vaughan [2009-07-06 03:17:14] 471*2^702537-1 is not prime. Res64: 8A3FB12DFF93EF34 Time : 5392.0 sec. user=vaughan [2009-07-06 03:23:43] 577*2^702537-1 is not prime. Res64: 8541D8EC662FB7B7 Time : 5205.0 sec. user=vaughan [2009-07-06 03:26:21] 499*2^702537-1 is not prime. Res64: A3ADFE1ED7F198C9 Time : 5412.0 sec. user=vaughan [2009-07-06 03:33:05] 491*2^702538-1 is not prime. Res64: D69E2DC29A363F69 Time : 5242.0 sec. user=vaughan [2009-07-06 03:35:42] 461*2^702538-1 is not prime. Res64: 72F1DCDBC1225DB4 Time : 5425.0 sec. user=vaughan [2009-07-06 03:42:04] 597*2^702538-1 is not prime. Res64: B9F93FB88D0BD433 Time : 5282.0 sec. user=vaughan [2009-07-06 03:44:55] 575*2^702538-1 is not prime. Res64: 3B83494339DBFBB5 Time : 5465.0 sec. user=vaughan [2009-07-06 03:50:55] 501*2^702539-1 is not prime. Res64: CB199B844F148262 Time : 5268.0 sec. user=vaughan [2009-07-06 03:53:15] 425*2^702540-1 is not prime. Res64: 12E2312FC684A824 Time : 5384.0 sec. user=vaughan [2009-07-06 03:59:23] 447*2^702540-1 is not prime. Res64: 082824F3150B40F1 Time : 5237.0 sec. user=vaughan [2009-07-06 04:01:34] 467*2^702540-1 is not prime. Res64: 4260EDC52021EB6E Time : 5304.0 sec. user=vaughan [2009-07-06 04:07:43] 549*2^702540-1 is not prime. Res64: 94CC3927D52F43C4 Time : 5253.0 sec. user=vaughan [2009-07-06 04:09:54] 569*2^702540-1 is not prime. Res64: 89C2F774DE324EE6 Time : 5311.0 sec. user=vaughan [2009-07-06 04:16:36] 441*2^702541-1 is not prime. Res64: 7617F49FA4BB6FFB Time : 5242.0 sec. user=vaughan [2009-07-06 04:18:54] 417*2^702542-1 is not prime. Res64: 5E769CEF5BAE2C6E Time : 5278.0 sec. user=vaughan [2009-07-06 04:24:47] 477*2^702542-1 is not prime. Res64: 95C147A4ADF13D40 Time : 5250.0 sec. user=vaughan [2009-07-06 04:27:06] 525*2^702542-1 is not prime. Res64: C97E2EF146FDE812 Time : 5281.0 sec. user=vaughan [2009-07-06 04:33:22] 591*2^702542-1 is not prime. Res64: A662012950E04F59 Time : 5244.0 sec. user=vaughan [2009-07-06 04:36:10] 585*2^702543-1 is not prime. Res64: EB5471A892B2023B Time : 5285.0 sec. user=vaughan [2009-07-06 04:42:40] 593*2^702544-1 is not prime. Res64: 9DBBF16A10EF1E6B Time : 5295.0 sec. user=vaughan [2009-07-06 04:45:23] 597*2^702544-1 is not prime. Res64: 385A599FE079E768 Time : 5289.0 sec. user=vaughan [2009-07-06 04:51:29] 489*2^702545-1 is not prime. Res64: D0E7CCF33313B297 Time : 5266.0 sec. user=vaughan [2009-07-06 04:54:34] 511*2^702545-1 is not prime. Res64: F8A141EA180337F3 Time : 5293.0 sec. user=vaughan [2009-07-06 04:59:39] 579*2^702545-1 is not prime. Res64: 3CBC2BBAE826A033 Time : 5195.0 sec. user=vaughan [2009-07-06 05:02:35] 437*2^702546-1 is not prime. Res64: C95B25A20E960F6A Time : 5213.0 sec. user=vaughan [2009-07-06 05:07:45] 443*2^702546-1 is not prime. Res64: 1DAA0E84E1E17598 Time : 5141.0 sec. user=vaughan [2009-07-06 05:10:38] 465*2^702546-1 is not prime. Res64: 79BB84DB6EFEFFCE Time : 5143.0 sec. user=vaughan [2009-07-06 05:16:06] 485*2^702546-1 is not prime. Res64: BB8083C2DA18B26C Time : 5111.0 sec. user=vaughan [2009-07-06 05:19:45] 567*2^702546-1 is not prime. Res64: AF2A51197769D86A Time : 5190.0 sec. user=vaughan [2009-07-06 05:25:10] 585*2^702546-1 is not prime. Res64: FC9E4D1B883FC622 Time : 5147.0 sec. user=vaughan [2009-07-06 05:29:22] 489*2^702547-1 is not prime. Res64: 198987E26743E9AF Time : 5269.0 sec. user=vaughan [2009-07-06 05:34:34] 511*2^702547-1 is not prime. Res64: 08BB85A07125CC0F Time : 5212.0 sec. user=vaughan [2009-07-06 05:38:25] 523*2^702547-1 is not prime. Res64: 1BF8283065A5C836 Time : 5311.0 sec. user=vaughan [2009-07-06 05:43:38] 449*2^702548-1 is not prime. Res64: 88004AFAB0115246 Time : 5222.0 sec. user=vaughan [2009-07-06 05:47:57] 459*2^702548-1 is not prime. Res64: 354D36A27F6F0B0D Time : 5343.0 sec. user=vaughan [2009-07-06 05:52:37] 471*2^702549-1 is not prime. Res64: 20D198AE90549024 Time : 5271.0 sec. user=vaughan [2009-07-06 05:56:26] 511*2^702549-1 is not prime. Res64: 646D4F2DDC83E694 Time : 5361.0 sec. user=vaughan [2009-07-06 06:00:30] 453*2^702550-1 is not prime. Res64: 09EBDCB1687354C1 Time : 5228.0 sec. user=vaughan [2009-07-06 06:04:52] 471*2^702550-1 is not prime. Res64: 2A5E6C3169B6F94E Time : 5322.0 sec. user=vaughan [2009-07-06 06:08:50] 525*2^702550-1 is not prime. Res64: 46313AD3C63B6072 Time : 5170.0 sec. user=vaughan [2009-07-06 06:12:59] 567*2^702550-1 is not prime. Res64: 5ED09312B7E6942B Time : 5256.0 sec. user=vaughan [2009-07-06 06:16:51] 587*2^702550-1 is not prime. Res64: 0ECF457261EE7AEE Time : 5122.0 sec. user=vaughan [2009-07-06 06:21:32] 423*2^702551-1 is not prime. Res64: ACED19A9D8584CB1 Time : 5218.0 sec. user=vaughan [2009-07-06 06:25:13] 445*2^702551-1 is not prime. Res64: 40165158E23C87D9 Time : 5134.0 sec. user=vaughan [2009-07-06 06:29:54] 459*2^702551-1 is not prime. Res64: BF77BCCD7F71AAAC Time : 5239.0 sec. user=vaughan [2009-07-06 06:33:52] 559*2^702551-1 is not prime. Res64: 7B0A45AD0D53355E Time : 5167.0 sec. user=vaughan [2009-07-06 06:38:37] 573*2^702551-1 is not prime. Res64: 30539A9F9EB628E1 Time : 5279.0 sec. user=vaughan [2009-07-06 06:42:46] 585*2^702551-1 is not prime. Res64: 79D2FD8F5292BF92 Time : 5201.0 sec. user=vaughan [2009-07-06 06:47:57] 419*2^702552-1 is not prime. Res64: A0BBC0BE97229E53 Time : 5292.0 sec. user=vaughan [2009-07-06 06:51:57] 423*2^702552-1 is not prime. Res64: 5BC05B7390041A62 Time : 5207.0 sec. user=vaughan [2009-07-06 06:57:10] 437*2^702552-1 is not prime. Res64: 506197E27FE6947F Time : 5268.0 sec. user=vaughan [2009-07-06 07:01:03] 447*2^702552-1 is not prime. Res64: E83C6BD4C58A7FE4 Time : 5189.0 sec. user=vaughan [2009-07-06 07:05:38] 497*2^702552-1 is not prime. Res64: 8701EA3255970E52 Time : 5233.0 sec. user=vaughan [2009-07-06 07:09:21] 507*2^702552-1 is not prime. Res64: B3A0B8DD9A339B50 Time : 5143.0 sec. user=vaughan [2009-07-06 07:13:59] 527*2^702552-1 is not prime. Res64: 6D5735D00B7835B3 Time : 5162.0 sec. user=vaughan [2009-07-06 07:17:23] 549*2^702552-1 is not prime. Res64: 5D7E328620C6EAD2 Time : 5086.0 sec. user=vaughan [2009-07-06 07:22:04] 441*2^702553-1 is not prime. Res64: D7804E62C25FB377 Time : 5138.0 sec. user=vaughan [2009-07-06 07:25:44] 471*2^702553-1 is not prime. Res64: E2089F37CFD45C79 Time : 5114.0 sec. user=vaughan [2009-07-06 07:31:25] 477*2^702553-1 is not prime. Res64: A5B57CC9D1582836 Time : 5193.0 sec. user=vaughan [2009-07-06 07:35:03] 499*2^702553-1 is not prime. Res64: 80E6ED3E312ABC49 Time : 5173.0 sec. user=vaughan [2009-07-06 07:39:55] 517*2^702553-1 is not prime. Res64: 6469C524490AE9F3 Time : 5216.0 sec. user=vaughan [2009-07-06 07:43:03] 525*2^702553-1 is not prime. Res64: 3BC02FD07D4CD0AC Time : 5173.0 sec. user=vaughan [2009-07-06 07:48:34] 589*2^702553-1 is not prime. Res64: 27D26F784432D4C1 Time : 5223.0 sec. user=vaughan [2009-07-06 07:52:16] 417*2^702554-1 is not prime. Res64: 323160C4488D3457 Time : 5223.0 sec. user=vaughan [2009-07-06 07:57:08] 431*2^702554-1 is not prime. Res64: 7FE7B422FBE30703 Time : 5234.0 sec. user=vaughan [2009-07-06 08:00:32] 437*2^702554-1 is not prime. Res64: 7017035CF1490C56 Time : 5201.0 sec. user=vaughan [2009-07-06 08:06:13] 495*2^702554-1 is not prime. Res64: 5E1F8D44E48FD61F Time : 5256.0 sec. user=vaughan [2009-07-06 08:10:16] 497*2^702554-1 is not prime. Res64: 66DAD51DFA3011EB Time : 5250.0 sec. user=vaughan [2009-07-06 08:15:38] 415*2^702555-1 is not prime. Res64: 9B2BBA1212E98EB2 Time : 5261.0 sec. user=vaughan [2009-07-06 08:18:59] 451*2^702555-1 is not prime. Res64: 0458BE1674426BEB Time : 5223.0 sec. user=vaughan [2009-07-06 08:23:58] 495*2^702555-1 is not prime. Res64: 819F81181C49599E Time : 5208.0 sec. user=vaughan [2009-07-06 08:27:49] 513*2^702555-1 is not prime. Res64: 177BE564EA8E8E52 Time : 5206.0 sec. user=vaughan [2009-07-06 08:33:18] 529*2^702555-1 is not prime. Res64: 11DD1FDC928D650D Time : 5260.0 sec. user=vaughan [2009-07-06 08:37:26] 531*2^702555-1 is not prime. Res64: 13085498887C1A8E Time : 5285.0 sec. user=vaughan [2009-07-06 08:42:43] 579*2^702555-1 is not prime. Res64: 22527D07D49B8D87 Time : 5324.0 sec. user=vaughan [2009-07-06 08:46:36] 585*2^702555-1 is not prime. Res64: D4DC297F7644671C Time : 5354.0 sec. user=vaughan [2009-07-06 08:51:55] 449*2^702556-1 is not prime. Res64: 797DEE4816EB7AF4 Time : 5391.0 sec. user=vaughan [2009-07-06 08:55:58] 455*2^702556-1 is not prime. Res64: 263D48C19DCB7B29 Time : 5414.0 sec. user=vaughan [2009-07-06 09:01:13] 495*2^702556-1 is not prime. Res64: 9334E23B9E894222 Time : 5388.0 sec. user=vaughan [2009-07-06 09:05:09] 569*2^702556-1 is not prime. Res64: 0F1AC960EF93E292 Time : 5407.0 sec. user=vaughan [2009-07-06 09:09:51] 417*2^702557-1 is not prime. Res64: 26071A9338241A0E Time : 5396.0 sec. user=vaughan [2009-07-06 09:14:02] 465*2^702557-1 is not prime. Res64: 4DF07A87B450063A Time : 5460.0 sec. user=vaughan [2009-07-06 09:19:35] 517*2^702557-1 is not prime. Res64: 92A69E47C1F7A072 Time : 5462.0 sec. user=vaughan [2009-07-06 09:23:28] 567*2^702557-1 is not prime. Res64: 63E55C103DB87820 Time : 5472.0 sec. user=vaughan [2009-07-06 09:28:48] 571*2^702557-1 is not prime. Res64: 7764F5EC49AF77D2 Time : 5500.0 sec. user=vaughan [2009-07-06 09:32:33] 437*2^702558-1 is not prime. Res64: A568A67C83510853 Time : 5521.0 sec. user=vaughan [2009-07-06 09:38:41] 555*2^702558-1 is not prime. Res64: B797FD0168DF6BC0 Time : 5548.0 sec. user=vaughan [2009-07-06 09:42:25] 411*2^702559-1 is not prime. Res64: B2AEE9996CDC7373 Time : 5529.0 sec. user=vaughan [2009-07-06 09:47:56] 423*2^702559-1 is not prime. Res64: A159597DD5EED717 Time : 5538.0 sec. user=vaughan [2009-07-06 09:51:46] 429*2^702559-1 is not prime. Res64: C703EFB253AF1561 Time : 5567.0 sec. user=vaughan [2009-07-06 09:57:24] 441*2^702559-1 is not prime. Res64: 6B73F8E3CB1F7DFA Time : 5606.0 sec. user=vaughan [2009-07-06 10:01:16] 493*2^702559-1 is not prime. Res64: F6C60E1B845BBEEF Time : 5608.0 sec. user=vaughan [2009-07-06 10:07:12] 437*2^702560-1 is not prime. Res64: B286014E908D79BE Time : 5634.0 sec. user=vaughan [2009-07-06 10:11:05] 465*2^702560-1 is not prime. Res64: 250AF437FB48C40A Time : 5619.0 sec. user=vaughan [2009-07-06 10:16:37] 567*2^702560-1 is not prime. Res64: A120B1BEA88F3C14 Time : 5634.0 sec. user=vaughan [2009-07-06 10:20:07] 585*2^702560-1 is not prime. Res64: 96B3BC89C78D430B Time : 5611.0 sec. user=vaughan [2009-07-06 10:25:50] 415*2^702561-1 is not prime. Res64: F517FA6CE3E8D404 Time : 5635.0 sec. user=vaughan [2009-07-06 10:28:52] 439*2^702561-1 is not prime. Res64: 98DB2F059BF4B490 Time : 5574.0 sec. user=vaughan [2009-07-06 10:34:26] 571*2^702561-1 is not prime. Res64: 925813AE7A324684 Time : 5593.0 sec. user=vaughan [2009-07-06 10:37:47] 447*2^702562-1 is not prime. Res64: 23D4E5BCA19E377D Time : 5559.0 sec. user=vaughan [2009-07-06 10:44:26] 483*2^702562-1 is not prime. Res64: B01B9BFD6FDCEAF4 Time : 5675.0 sec. user=vaughan [2009-07-06 10:47:20] 527*2^702562-1 is not prime. Res64: C325FFDB294C97A1 Time : 5598.0 sec. user=vaughan [2009-07-06 10:53:25] 465*2^702563-1 is not prime. Res64: 540476D44A528326 Time : 5630.0 sec. user=vaughan [2009-07-06 10:56:24] 453*2^702564-1 is not prime. Res64: E16F622C1857249F Time : 5577.0 sec. user=vaughan [2009-07-06 11:02:37] 473*2^702564-1 is not prime. Res64: 57CCA7DA57DA49E4 Time : 5629.0 sec. user=vaughan [2009-07-06 11:05:32] 483*2^702564-1 is not prime. Res64: DAA9749317B0696C Time : 5579.0 sec. user=vaughan [2009-07-06 11:12:21] 503*2^702564-1 is not prime. Res64: 79BE02919FD40832 Time : 5620.0 sec. user=vaughan [2009-07-06 11:15:04] 525*2^702564-1 is not prime. Res64: 18D3162927A95219 Time : 5560.0 sec. user=vaughan [2009-07-06 11:22:18] 563*2^702564-1 is not prime. Res64: 595B1D2B3B909DAE Time : 5662.0 sec. user=vaughan [2009-07-06 11:23:59] 579*2^702564-1 is not prime. Res64: 497E47C7110D19C1 Time : 5534.0 sec. user=vaughan [2009-07-06 11:31:22] 429*2^702565-1 is not prime. Res64: ADFB07B48A59324D Time : 5638.0 sec. user=vaughan [2009-07-06 11:33:06] 577*2^702565-1 is not prime. Res64: 40C021156D2E669C Time : 5510.0 sec. user=vaughan [2009-07-06 11:40:43] 589*2^702565-1 is not prime. Res64: B7BD68E2C7023573 Time : 5612.0 sec. user=vaughan [2009-07-06 11:42:04] 431*2^702566-1 is not prime. Res64: 1184DF1C03CAE50E Time : 5459.0 sec. user=vaughan [2009-07-06 11:49:03] 437*2^702566-1 is not prime. Res64: 69312EAF34213FB9 Time : 5546.0 sec. user=vaughan [2009-07-06 11:50:26] 567*2^702566-1 is not prime. Res64: 4C7D8F29A5BEDF28 Time : 5419.0 sec. user=vaughan [2009-07-06 11:57:34] 585*2^702566-1 is not prime. Res64: 093B9D2A94A6356B Time : 5504.0 sec. user=vaughan [2009-07-06 11:59:07] 423*2^702567-1 is not prime. Res64: 731DE7462802DB6F Time : 5415.0 sec. user=vaughan [2009-07-06 12:06:43] 433*2^702567-1 is not prime. Res64: 91E7E0AAC6D1932C Time : 5537.0 sec. user=vaughan [2009-07-06 12:08:14] 523*2^702567-1 is not prime. Res64: 939E71D368DB4BF5 Time : 5427.0 sec. user=vaughan [2009-07-06 12:15:20] 573*2^702567-1 is not prime. Res64: 7FEA6E8724BD1AB4 Time : 5454.0 sec. user=vaughan [2009-07-06 12:16:54] 453*2^702568-1 is not prime. Res64: 9E414B4EE4D8FF74 Time : 5374.0 sec. user=vaughan [2009-07-06 12:24:27] 537*2^702568-1 is not prime. Res64: 8B77C82D48B2DC02 Time : 5462.0 sec. user=vaughan [2009-07-06 12:25:32] 569*2^702568-1 is not prime. Res64: AFC16560E278F2DE Time : 5349.0 sec. user=vaughan [2009-07-06 12:33:32] 421*2^702569-1 is not prime. Res64: 4400660CF9D12BAE Time : 5455.0 sec. user=vaughan [2009-07-06 12:34:43] 405*2^702570-1 is not prime. Res64: F9BD38DA613B463D Time : 5351.0 sec. user=vaughan [2009-07-06 12:42:56] 413*2^702570-1 is not prime. Res64: 167B303250EC96B0 Time : 5435.0 sec. user=vaughan [2009-07-06 12:43:50] 423*2^702570-1 is not prime. Res64: 78D2A4189F7A4BD5 Time : 5326.0 sec. user=vaughan [2009-07-06 12:52:01] 429*2^702571-1 is not prime. Res64: 2B4BC45872EE07C9 Time : 5322.0 sec. user=vaughan [2009-07-06 12:52:50] 433*2^702571-1 is not prime. Res64: 903BB63E20B6346F Time : 5331.0 sec. user=vaughan [2009-07-06 13:01:08] 451*2^702571-1 is not prime. Res64: 38033E9A83D95D4E Time : 5386.0 sec. user=vaughan [2009-07-06 13:01:43] 493*2^702571-1 is not prime. Res64: C4A8CBF13A63E940 Time : 5318.0 sec. user=vaughan [2009-07-06 13:11:02] 549*2^702571-1 is not prime. Res64: 07B523F92922A526 Time : 5419.0 sec. user=vaughan [2009-07-06 13:11:17] 413*2^702572-1 is not prime. Res64: C9754D87E4FCC458 Time : 5353.0 sec. user=vaughan [2009-07-06 13:20:23] 525*2^702572-1 is not prime. Res64: A2F448ED24CDEF7C Time : 5481.0 sec. user=vaughan [2009-07-06 13:20:42] 545*2^702572-1 is not prime. Res64: 48D7D8CFE5E741FB Time : 5416.0 sec. user=vaughan [2009-07-06 13:30:00] 573*2^702572-1 is not prime. Res64: 22CF871DC0932E25 Time : 5546.0 sec. user=vaughan [2009-07-06 13:30:08] 507*2^702573-1 is not prime. Res64: BC66644B0DB4EC14 Time : 5461.0 sec. user=vaughan [2009-07-06 13:39:48] 577*2^702573-1 is not prime. Res64: 33CA912185787D43 Time : 5494.0 sec. user=vaughan [2009-07-06 13:39:57] 529*2^702573-1 is not prime. Res64: 4F224EC11DFEE126 Time : 5594.0 sec. user=vaughan [2009-07-06 13:49:03] 421*2^702575-1 is not prime. Res64: F442D0623E75D946 Time : 5530.0 sec. user=vaughan [2009-07-06 13:49:15] 503*2^702574-1 is not prime. Res64: F3C38D1BFCC27D64 Time : 5635.0 sec. user=vaughan [2009-07-06 13:58:25] 519*2^702575-1 is not prime. Res64: BEA36C6A571D18D1 Time : 5573.0 sec. user=vaughan [2009-07-06 13:58:52] 469*2^702575-1 is not prime. Res64: 3EC8A1E40259891D Time : 5665.0 sec. user=vaughan [2009-07-06 14:07:27] 425*2^702576-1 is not prime. Res64: 8D6B8C83A33A7EF4 Time : 5564.0 sec. user=vaughan [2009-07-06 14:07:52] 595*2^702575-1 is not prime. Res64: 5E14EE54C69F993F Time : 5660.0 sec. user=vaughan [2009-07-06 14:16:11] 405*2^702577-1 is not prime. Res64: 7DF2A889E573A12F Time : 5541.0 sec. user=vaughan [2009-07-06 14:16:33] 587*2^702576-1 is not prime. Res64: 349464CF4F75CAA4 Time : 5618.0 sec. user=vaughan [2009-07-06 14:25:38] 471*2^702577-1 is not prime. Res64: AE37C49BE898960E Time : 5568.0 sec. user=vaughan [2009-07-06 14:25:48] 465*2^702577-1 is not prime. Res64: BC4C4A948ED47F91 Time : 5627.0 sec. user=vaughan [2009-07-06 14:34:59] 473*2^702578-1 is not prime. Res64: 761056D72A3C04FB Time : 5596.0 sec. user=vaughan [2009-07-06 14:35:29] 425*2^702578-1 is not prime. Res64: 3A1AE778DAF73E8A Time : 5661.0 sec. user=vaughan [2009-07-06 14:44:25] 533*2^702578-1 is not prime. Res64: AF3E7371B0CB20FB Time : 5588.0 sec. user=vaughan [2009-07-06 14:45:04] 501*2^702578-1 is not prime. Res64: B5B7AC2CFBD566DE Time : 5643.0 sec. user=vaughan [2009-07-06 14:53:37] 567*2^702578-1 is not prime. Res64: DC1DCDA866F1BBC2 Time : 5575.0 sec. user=vaughan [2009-07-06 14:54:33] 551*2^702578-1 is not prime. Res64: 484D29E632995544 Time : 5650.0 sec. user=vaughan [2009-07-06 15:03:08] 565*2^702579-1 is not prime. Res64: 97C186C35160C15B Time : 5580.0 sec. user=vaughan [2009-07-06 15:04:17] 433*2^702579-1 is not prime. Res64: D478CF117D4E1C17 Time : 5657.0 sec. user=vaughan [2009-07-06 15:12:16] 595*2^702579-1 is not prime. Res64: C0266202223E82E4 Time : 5548.0 sec. user=vaughan [2009-07-06 15:13:25] 437*2^702580-1 is not prime. Res64: 785186023D08820F Time : 5608.0 sec. user=vaughan [2009-07-06 15:21:48] 489*2^702580-1 is not prime. Res64: B03E333F7664C370 Time : 5565.0 sec. user=vaughan [2009-07-06 15:22:53] 439*2^702581-1 is not prime. Res64: 9239A22F1CB63752 Time : 5618.0 sec. user=vaughan [2009-07-06 15:31:08] 529*2^702581-1 is not prime. Res64: 0636246B1225E6DF Time : 5563.0 sec. user=vaughan [2009-07-06 15:32:27] 591*2^702581-1 is not prime. Res64: D8AE7E03C6840B04 Time : 5615.0 sec. user=vaughan [2009-07-06 15:40:13] 483*2^702582-1 is not prime. Res64: 64474CEE531C5922 Time : 5566.0 sec. user=vaughan [2009-07-06 15:41:58] 503*2^702582-1 is not prime. Res64: 592D4DCAEB74F294 Time : 5646.0 sec. user=vaughan [2009-07-06 15:49:37] 507*2^702582-1 is not prime. Res64: 5D7DB43C53241A47 Time : 5606.0 sec. user=vaughan [2009-07-06 15:51:36] 465*2^702583-1 is not prime. Res64: 3345D6F08548CFD0 Time : 5703.0 sec. user=vaughan [2009-07-06 15:58:44] 523*2^702583-1 is not prime. Res64: 54D4A655C4E602F0 Time : 5586.0 sec. user=vaughan [2009-07-06 16:00:54] 549*2^702583-1 is not prime. Res64: 726A31B27A32D745 Time : 5706.0 sec. user=vaughan [2009-07-06 16:07:49] 553*2^702583-1 is not prime. Res64: 11903EC475563548 Time : 5571.0 sec. user=vaughan [2009-07-06 16:10:17] 573*2^702583-1 is not prime. Res64: 476CF8BE819417EE Time : 5688.0 sec. user=vaughan [2009-07-06 16:16:31] 423*2^702584-1 is not prime. Res64: D719AF965498C277 Time : 5526.0 sec. user=vaughan [2009-07-06 16:19:06] 465*2^702584-1 is not prime. Res64: 499E6E279CB9236F Time : 5643.0 sec. user=vaughan [2009-07-06 16:26:07] 597*2^702585-1 is not prime. Res64: 36E34A2EF8E01733 Time : 5550.0 sec. user=vaughan [2009-07-06 16:28:40] 483*2^702586-1 is not prime. Res64: AE1AF8D65C4930DC Time : 5647.0 sec. user=vaughan [2009-07-06 16:35:12] 497*2^702586-1 is not prime. Res64: 2B283360F9FC2533 Time : 5524.0 sec. user=vaughan [2009-07-06 16:37:32] 525*2^702586-1 is not prime. Res64: A7C97C5A7895F3BF Time : 5595.0 sec. user=vaughan [2009-07-06 16:44:27] 531*2^702586-1 is not prime. Res64: 303C380FBCA13DE6 Time : 5531.0 sec. user=vaughan [2009-07-06 16:46:55] 545*2^702586-1 is not prime. Res64: 304792637AAA355A Time : 5610.0 sec. user=vaughan [2009-07-06 16:53:45] 561*2^702586-1 is not prime. Res64: 81BA6158C2ABB230 Time : 5517.0 sec. user=vaughan [2009-07-06 16:56:46] 567*2^702586-1 is not prime. Res64: E94B03726325D1EF Time : 5633.0 sec. user=vaughan [2009-07-06 17:03:17] 465*2^702587-1 is not prime. Res64: 75DC9110C983DF66 Time : 5529.0 sec. user=vaughan [2009-07-06 17:06:52] 495*2^702587-1 is not prime. Res64: FF54A2ED8530313B Time : 5665.0 sec. user=vaughan [2009-07-06 17:12:57] 511*2^702587-1 is not prime. Res64: 11E5D7C1928F7C2A Time : 5564.0 sec. user=vaughan [2009-07-06 17:16:36] 519*2^702587-1 is not prime. Res64: A1F22EEE3D974FF1 Time : 5679.0 sec. user=vaughan [2009-07-06 17:22:53] 529*2^702587-1 is not prime. Res64: C862C8AB7EF2C89F Time : 5596.0 sec. user=vaughan [2009-07-06 17:26:48] 571*2^702587-1 is not prime. Res64: 6F5F512E47156997 Time : 5713.0 sec. user=vaughan [2009-07-06 17:32:11] 423*2^702588-1 is not prime. Res64: F83EC2E204006BEC Time : 5608.0 sec. user=vaughan [2009-07-06 17:36:19] 467*2^702588-1 is not prime. Res64: 7B0FB6E755F2CB63 Time : 5725.0 sec. user=vaughan [2009-07-06 17:41:30] 485*2^702588-1 is not prime. Res64: B034FDA95F8BBBFF Time : 5621.0 sec. user=vaughan [2009-07-06 17:45:42] 537*2^702588-1 is not prime. Res64: 9ACD3A926E457475 Time : 5726.0 sec. user=vaughan [2009-07-06 17:50:52] 429*2^702589-1 is not prime. Res64: 46D8F0679480605D Time : 5662.0 sec. user=vaughan [2009-07-06 17:55:09] 505*2^702589-1 is not prime. Res64: 27CE77EB7326FAF2 Time : 5763.0 sec. user=vaughan [2009-07-06 18:00:01] 577*2^702589-1 is not prime. Res64: E964A3B9630911EB Time : 5634.0 sec. user=vaughan [2009-07-06 18:04:22] 589*2^702589-1 is not prime. Res64: DBDB82A2F06E8984 Time : 5742.0 sec. user=vaughan [2009-07-06 18:08:58] 557*2^702590-1 is not prime. Res64: 6F5AE53FA1968865 Time : 5626.0 sec. user=vaughan [2009-07-06 18:13:21] 561*2^702590-1 is not prime. Res64: EC08AC5C323297E2 Time : 5749.0 sec. user=vaughan [2009-07-06 18:18:18] 591*2^702590-1 is not prime. Res64: A7443A6234C71E9E Time : 5632.0 sec. user=vaughan [2009-07-06 18:22:47] 459*2^702591-1 is not prime. Res64: B366808C72EB080C Time : 5752.0 sec. user=vaughan [2009-07-06 18:27:33] 475*2^702591-1 is not prime. Res64: 9608766A83287E57 Time : 5628.0 sec. user=vaughan [2009-07-06 18:32:02] 489*2^702591-1 is not prime. Res64: EE708DC374890BCD Time : 5716.0 sec. user=vaughan [2009-07-06 18:36:50] 535*2^702591-1 is not prime. Res64: 45EDED571363D0BA Time : 5613.0 sec. user=vaughan [2009-07-06 18:41:43] 429*2^702592-1 is not prime. Res64: 397FA581270FEBDE Time : 5691.0 sec. user=vaughan [2009-07-06 18:46:15] 447*2^702592-1 is not prime. Res64: AAD8507743E6D0C3 Time : 5599.0 sec. user=vaughan [2009-07-06 18:50:52] 441*2^702593-1 is not prime. Res64: CB4CCD9DB7BA78D7 Time : 5657.0 sec. user=vaughan [2009-07-06 18:55:23] 501*2^702594-1 is not prime. Res64: A9C64FF9309FE6D8 Time : 5550.0 sec. user=vaughan [2009-07-06 18:59:58] 555*2^702594-1 is not prime. Res64: E1335C1BA32076E5 Time : 5590.0 sec. user=vaughan [2009-07-06 19:04:36] 593*2^702594-1 is not prime. Res64: 25E686CC3E03F74C Time : 5546.0 sec. user=vaughan [2009-07-06 19:09:18] 489*2^702595-1 is not prime. Res64: 668BD286F91104FB Time : 5579.0 sec. user=vaughan [2009-07-06 19:14:05] 511*2^702595-1 is not prime. Res64: 886ADEE5FD60B296 Time : 5555.0 sec. user=vaughan [2009-07-06 19:19:32] 519*2^702595-1 is not prime. Res64: 1225BB1524056460 Time : 5630.0 sec. user=vaughan [2009-07-06 19:23:53] 531*2^702595-1 is not prime. Res64: 9AE7A83DE776D3DB Time : 5581.0 sec. user=vaughan [2009-07-06 19:29:20] 535*2^702595-1 is not prime. Res64: FB8FB5959145BF26 Time : 5652.0 sec. user=vaughan [2009-07-06 19:33:14] 405*2^702596-1 is not prime. Res64: BEDA156353FF6415 Time : 5594.0 sec. user=vaughan [2009-07-06 19:39:27] 477*2^702596-1 is not prime. Res64: E552B7790C2C1063 Time : 5705.0 sec. user=vaughan [2009-07-06 19:43:05] 529*2^702597-1 is not prime. Res64: 0EC5E62A92D457B7 Time : 5647.0 sec. user=vaughan [2009-07-06 19:48:56] 571*2^702597-1 is not prime. Res64: A1757517A6633D1F Time : 5736.0 sec. user=vaughan [2009-07-06 19:52:26] 435*2^702598-1 is not prime. Res64: 1D63FE5D22A4F3EB Time : 5648.0 sec. user=vaughan [2009-07-06 19:58:30] 447*2^702598-1 is not prime. Res64: 51D27A42DD391968 Time : 5743.0 sec. user=vaughan [2009-07-06 20:01:54] 527*2^702598-1 is not prime. Res64: D0975F64C0B85993 Time : 5661.0 sec. user=vaughan [2009-07-06 20:07:48] 567*2^702598-1 is not prime. Res64: F721CCB643F1AC08 Time : 5746.0 sec. user=vaughan [2009-07-06 20:11:36] 423*2^702599-1 is not prime. Res64: 399B479BF564558E Time : 5687.0 sec. user=vaughan [2009-07-06 20:17:28] 511*2^702599-1 is not prime. Res64: F4B4AAF238BEC059 Time : 5745.0 sec. user=vaughan [2009-07-06 20:21:13] 579*2^702599-1 is not prime. Res64: A2E5FF997E3CD6AD Time : 5698.0 sec. user=vaughan [2009-07-06 20:27:31] 425*2^702600-1 is not prime. Res64: 64A8A058FA2249A0 Time : 5799.0 sec. user=vaughan [2009-07-06 20:30:50] 447*2^702600-1 is not prime. Res64: D87A1A5E60B918B3 Time : 5727.0 sec. user=vaughan [2009-07-06 20:36:51] 455*2^702600-1 is not prime. Res64: 91308C96F68F5C15 Time : 5813.0 sec. user=vaughan [2009-07-06 20:40:02] 465*2^702600-1 is not prime. Res64: 220896E16A8BE67B Time : 5727.0 sec. user=vaughan [2009-07-06 20:46:19] 525*2^702600-1 is not prime. Res64: FF9E86F4E7E942EC Time : 5822.0 sec. user=vaughan [2009-07-06 20:49:11] 555*2^702600-1 is not prime. Res64: C1889FB068B46BDB Time : 5706.0 sec. user=vaughan [2009-07-06 20:55:10] 557*2^702600-1 is not prime. Res64: 42ACA9348447AAD9 Time : 5738.0 sec. user=vaughan [2009-07-06 20:58:36] 587*2^702600-1 is not prime. Res64: 5994CDA98A795DC0 Time : 5683.0 sec. user=vaughan [2009-07-06 21:05:14] 593*2^702600-1 is not prime. Res64: 2AF15AB7C471D0CE Time : 5755.0 sec. user=vaughan [2009-07-06 21:08:13] 409*2^702601-1 is not prime. Res64: C267FC63F8E0653D Time : 5699.0 sec. user=vaughan [2009-07-06 21:14:57] 427*2^702601-1 is not prime. Res64: ED467B22D4D5650A Time : 5730.0 sec. user=vaughan [2009-07-06 21:17:41] 505*2^702601-1 is not prime. Res64: 77BD482B731382E9 Time : 5676.0 sec. user=vaughan [2009-07-06 21:24:00] 507*2^702601-1 is not prime. Res64: A1862C523FF6E057 Time : 5704.0 sec. user=vaughan [2009-07-06 21:26:47] 537*2^702601-1 is not prime. Res64: B23B26A6B889B6B8 Time : 5661.0 sec. user=vaughan [2009-07-06 21:33:42] 407*2^702602-1 is not prime. Res64: CA0D198C954EA2F9 Time : 5713.0 sec. user=vaughan [2009-07-06 21:36:23] 453*2^702602-1 is not prime. Res64: A35769056F4BE77E Time : 5669.0 sec. user=vaughan [2009-07-06 21:42:56] 503*2^702602-1 is not prime. Res64: 02ECE28F86E7D1DA Time : 5708.0 sec. user=vaughan [2009-07-06 21:45:34] 537*2^702602-1 is not prime. Res64: A86DF438B7437727 Time : 5638.0 sec. user=vaughan [2009-07-06 21:51:58] 567*2^702602-1 is not prime. Res64: EA84297256EDAC1C Time : 5670.0 sec. user=vaughan [2009-07-06 21:54:55] 409*2^702603-1 is not prime. Res64: C557742FDB0C1896 Time : 5622.0 sec. user=vaughan [2009-07-06 22:01:59] 445*2^702603-1 is not prime. Res64: DD1A6726B2BB8394 Time : 5668.0 sec. user=vaughan [2009-07-06 22:04:40] 451*2^702603-1 is not prime. Res64: 7EF3EF31CB78089D Time : 5630.0 sec. user=vaughan [2009-07-06 22:12:00] 555*2^702603-1 is not prime. Res64: FCF6511B74EAF7C6 Time : 5709.0 sec. user=vaughan [2009-07-06 22:14:24] 583*2^702603-1 is not prime. Res64: 93D5743768B72B6A Time : 5662.0 sec. user=vaughan [2009-07-06 22:21:46] 447*2^702604-1 is not prime. Res64: 33786977389D2AA1 Time : 5727.0 sec. user=vaughan [2009-07-06 22:24:00] 485*2^702604-1 is not prime. Res64: F3878DF82BEC8F52 Time : 5690.0 sec. user=vaughan [2009-07-06 22:31:16] 507*2^702604-1 is not prime. Res64: 70D9955E21478132 Time : 5766.0 sec. user=vaughan [2009-07-06 22:33:17] 525*2^702604-1 is not prime. Res64: 83D1EA5B916023A9 Time : 5681.0 sec. user=vaughan [2009-07-06 22:40:33] 549*2^702604-1 is not prime. Res64: 46241D343A7E3FE5 Time : 5719.0 sec. user=vaughan [2009-07-06 22:42:38] 411*2^702605-1 is not prime. Res64: 839D35D5AA4D15A7 Time : 5666.0 sec. user=vaughan [2009-07-06 22:50:24] 411*2^702606-1 is not prime. Res64: B4611D2B502C4149 Time : 5727.0 sec. user=vaughan [2009-07-06 22:52:26] 473*2^702606-1 is not prime. Res64: F6CD20F7451AF1F5 Time : 5686.0 sec. user=vaughan [2009-07-06 22:59:09] 557*2^702606-1 is not prime. Res64: D26F8F41047DE2A8 Time : 5709.0 sec. user=vaughan [2009-07-06 23:00:32] 563*2^702606-1 is not prime. Res64: 891C9EF78F100C33 Time : 5625.0 sec. user=vaughan [2009-07-06 23:07:04] 451*2^702607-1 is not prime. Res64: 9BD0099E7833B332 Time : 5602.0 sec. user=vaughan [2009-07-06 23:08:26] 499*2^702607-1 is not prime. Res64: 5CC462FA46D365B4 Time : 5523.0 sec. user=vaughan [2009-07-06 23:15:02] 573*2^702608-1 is not prime. Res64: 5FD279B0E0AD8E7C Time : 5526.0 sec. user=vaughan [2009-07-06 23:16:20] 459*2^702609-1 is not prime. Res64: 80F474624C794CE2 Time : 5446.0 sec. user=vaughan [2009-07-06 23:23:02] 471*2^702609-1 is not prime. Res64: 2742EE2CED9553C8 Time : 5465.0 sec. user=vaughan [2009-07-06 23:24:15] 511*2^702609-1 is not prime. Res64: 6747141C8692E7BE Time : 5360.0 sec. user=vaughan [2009-07-06 23:31:01] 549*2^702609-1 is not prime. Res64: 081197D5B5DC496A Time : 5342.0 sec. user=vaughan [2009-07-06 23:32:10] 443*2^702610-1 is not prime. Res64: 5D8B920D5C28EF5D Time : 5250.0 sec. user=vaughan [2009-07-06 23:38:54] 465*2^702610-1 is not prime. Res64: 3DECED925908E657 Time : 5214.0 sec. user=vaughan [2009-07-06 23:40:11] 513*2^702610-1 is not prime. Res64: B9BD9CE8002B0EAE Time : 5147.0 sec. user=vaughan [2009-07-06 23:46:49] 597*2^702610-1 is not prime. Res64: A41E415358CF0E67 Time : 5103.0 sec. user=vaughan [2009-07-06 23:48:08] 411*2^702611-1 is not prime. Res64: 0136A122A5C6EA71 Time : 5048.0 sec. user=vaughan [2009-07-06 23:54:47] 505*2^702611-1 is not prime. Res64: DD9422E788B22478 Time : 5011.0 sec. user=vaughan [2009-07-06 23:56:05] 413*2^702612-1 is not prime. Res64: 31370471ABE5044B Time : 4968.0 sec.