user=vaughan [2009-07-22 00:02:34] 597*2^704188-1 is not prime. Res64: 36306C918100DC85 Time : 4550.0 sec. user=vaughan [2009-07-22 00:02:48] 575*2^704188-1 is not prime. Res64: 0AF2EBD7769DB706 Time : 4588.0 sec. user=vaughan [2009-07-22 00:10:10] 495*2^704189-1 is not prime. Res64: B55D1A549C9F0971 Time : 4552.0 sec. user=vaughan [2009-07-22 00:10:30] 435*2^704189-1 is not prime. Res64: 51D58F1E44DC1229 Time : 4590.0 sec. user=vaughan [2009-07-22 00:17:45] 513*2^704190-1 is not prime. Res64: 572DF41E62272CA3 Time : 4553.0 sec. user=vaughan [2009-07-22 00:18:09] 413*2^704190-1 is not prime. Res64: DF046387341CAA5D Time : 4589.0 sec. user=vaughan [2009-07-22 00:25:20] 421*2^704191-1 is not prime. Res64: FE9D21C438242DA9 Time : 4553.0 sec. user=vaughan [2009-07-22 00:25:49] 585*2^704190-1 is not prime. Res64: C681BC66BAD07518 Time : 4590.0 sec. user=vaughan [2009-07-22 00:32:55] 451*2^704191-1 is not prime. Res64: 60E9E159BEB83AFD Time : 4552.0 sec. user=vaughan [2009-07-22 00:33:27] 423*2^704191-1 is not prime. Res64: 2B53BE16B0895C22 Time : 4590.0 sec. user=vaughan [2009-07-22 00:40:29] 405*2^704192-1 is not prime. Res64: FA6B06B480487BEB Time : 4551.0 sec. user=vaughan [2009-07-22 00:41:06] 535*2^704191-1 is not prime. Res64: 11F01DFDC6C27D3C Time : 4591.0 sec. user=vaughan [2009-07-22 00:48:04] 585*2^704192-1 is not prime. Res64: 391322E13F9953BB Time : 4551.0 sec. user=vaughan [2009-07-22 00:48:45] 407*2^704192-1 is not prime. Res64: 79796297B56F4FDE Time : 4592.0 sec. user=vaughan [2009-07-22 00:55:38] 587*2^704192-1 is not prime. Res64: DDBCDA1A57DB4BD3 Time : 4549.0 sec. user=vaughan [2009-07-22 00:56:24] 427*2^704193-1 is not prime. Res64: 83A628225777CED9 Time : 4593.0 sec. user=vaughan [2009-07-22 01:03:13] 439*2^704193-1 is not prime. Res64: 5221BBEEADD9EA39 Time : 4549.0 sec. user=vaughan [2009-07-22 01:04:02] 471*2^704193-1 is not prime. Res64: 1D733164B9DE55F1 Time : 4592.0 sec. user=vaughan [2009-07-22 01:10:49] 475*2^704193-1 is not prime. Res64: D45CB1650E4DACA5 Time : 4550.0 sec. user=vaughan [2009-07-22 01:11:39] 499*2^704193-1 is not prime. Res64: A2D975A2071BDFDE Time : 4591.0 sec. user=vaughan [2009-07-22 01:18:25] 571*2^704193-1 is not prime. Res64: 56E9A8578F45B421 Time : 4551.0 sec. user=vaughan [2009-07-22 01:19:17] 591*2^704193-1 is not prime. Res64: 4C02373790EDE427 Time : 4589.0 sec. user=vaughan [2009-07-22 01:26:00] 401*2^704194-1 is not prime. Res64: 7E3036BB8CBAF924 Time : 4550.0 sec. user=vaughan [2009-07-22 01:26:54] 413*2^704194-1 is not prime. Res64: 4A910F5370C9240E Time : 4584.0 sec. user=vaughan [2009-07-22 01:33:36] 425*2^704194-1 is not prime. Res64: CE5C3CAB87C06746 Time : 4551.0 sec. user=vaughan [2009-07-22 01:34:31] 443*2^704194-1 is not prime. Res64: C46A3F3EBEEA814F Time : 4583.0 sec. user=vaughan [2009-07-22 01:41:11] 447*2^704194-1 is not prime. Res64: 2FD2E810A99B3B57 Time : 4551.0 sec. user=vaughan [2009-07-22 01:42:09] 531*2^704194-1 is not prime. Res64: AD190B6543257A1F Time : 4581.0 sec. user=vaughan [2009-07-22 01:48:46] 533*2^704194-1 is not prime. Res64: C5C1D8B6A6E500B5 Time : 4552.0 sec. user=vaughan [2009-07-22 01:49:48] 441*2^704195-1 is not prime. Res64: 0704862D984B1CB5 Time : 4581.0 sec. user=vaughan [2009-07-22 01:56:20] 465*2^704195-1 is not prime. Res64: E9EC2A45F3F39905 Time : 4552.0 sec. user=vaughan [2009-07-22 01:57:27] 501*2^704195-1 is not prime. Res64: EC279187B11F4236 Time : 4581.0 sec. user=vaughan [2009-07-22 02:03:55] 511*2^704195-1 is not prime. Res64: A89DDE577FA6A0CD Time : 4552.0 sec. user=vaughan [2009-07-22 02:05:07] 543*2^704195-1 is not prime. Res64: 3C49CE3C455EDED0 Time : 4582.0 sec. user=vaughan [2009-07-22 02:11:31] 585*2^704195-1 is not prime. Res64: 9527685C889100C3 Time : 4553.0 sec. user=vaughan [2009-07-22 02:12:45] 557*2^704196-1 is not prime. Res64: 2BD79B408D9327A2 Time : 4581.0 sec. user=vaughan [2009-07-22 02:19:07] 405*2^704197-1 is not prime. Res64: 710A9A0C93EB4754 Time : 4554.0 sec. user=vaughan [2009-07-22 02:20:23] 441*2^704197-1 is not prime. Res64: FEEE4D0AA6C8C908 Time : 4581.0 sec. user=vaughan [2009-07-22 02:26:43] 495*2^704197-1 is not prime. Res64: E2BA1304755548A5 Time : 4554.0 sec. user=vaughan [2009-07-22 02:28:01] 511*2^704197-1 is not prime. Res64: F7925920CF7630B2 Time : 4582.0 sec. user=vaughan [2009-07-22 02:34:17] 431*2^704198-1 is not prime. Res64: 2E6C42019310DC25 Time : 4552.0 sec. user=vaughan [2009-07-22 02:35:37] 447*2^704198-1 is not prime. Res64: 013D17C3410416F5 Time : 4581.0 sec. user=vaughan [2009-07-22 02:41:53] 467*2^704198-1 is not prime. Res64: 745FC987463528EB Time : 4553.0 sec. user=vaughan [2009-07-22 02:43:16] 503*2^704198-1 is not prime. Res64: BCFFC2BA28CC3609 Time : 4583.0 sec. user=vaughan [2009-07-22 02:49:27] 545*2^704198-1 is not prime. Res64: BD7E6714E0EF1258 Time : 4551.0 sec. user=vaughan [2009-07-22 02:50:54] 551*2^704198-1 is not prime. Res64: 3B73DD59301C6370 Time : 4584.0 sec. user=vaughan [2009-07-22 02:57:02] 557*2^704198-1 is not prime. Res64: 57AC1EA02FDE379B Time : 4551.0 sec. user=vaughan [2009-07-22 02:58:32] 591*2^704198-1 is not prime. Res64: 8A62732530186CE6 Time : 4583.0 sec. user=vaughan [2009-07-22 03:04:37] 437*2^704200-1 is not prime. Res64: 71B64E3E0660A894 Time : 4552.0 sec. user=vaughan [2009-07-22 03:06:10] 447*2^704200-1 is not prime. Res64: E685E02A85A3F7DA Time : 4582.0 sec. user=vaughan [2009-07-22 03:12:15] 411*2^704201-1 is not prime. Res64: C952139C98E0AD2B Time : 4555.0 sec. user=vaughan [2009-07-22 03:13:47] 439*2^704201-1 is not prime. Res64: 7537674E58006088 Time : 4580.0 sec. user=vaughan [2009-07-22 03:19:49] 489*2^704201-1 is not prime. Res64: 5EBA95142E4FAE58 Time : 4554.0 sec. user=vaughan [2009-07-22 03:21:24] 507*2^704201-1 is not prime. Res64: 0753434FA01DE9FE Time : 4577.0 sec. user=vaughan [2009-07-22 03:27:24] 401*2^704202-1 is not prime. Res64: 78DB9D44776F87E8 Time : 4554.0 sec. user=vaughan [2009-07-22 03:29:01] 423*2^704202-1 is not prime. Res64: A439984B346F43E3 Time : 4576.0 sec. user=vaughan [2009-07-22 03:35:01] 453*2^704202-1 is not prime. Res64: C077AD0008BF7399 Time : 4555.0 sec. user=vaughan [2009-07-22 03:36:38] 495*2^704202-1 is not prime. Res64: 96B4F006CC462AEF Time : 4575.0 sec. user=vaughan [2009-07-22 03:42:36] 507*2^704202-1 is not prime. Res64: F98AA26AC327436A Time : 4553.0 sec. user=vaughan [2009-07-22 03:44:20] 525*2^704202-1 is not prime. Res64: 5E076EA2E73A3E19 Time : 4579.0 sec. user=vaughan [2009-07-22 03:50:09] 551*2^704202-1 is not prime. Res64: 206AF9B3BA3627FC Time : 4552.0 sec. user=vaughan [2009-07-22 03:52:02] 567*2^704202-1 is not prime. Res64: DD9E1134C8379BC5 Time : 4585.0 sec. user=vaughan [2009-07-22 03:57:42] 587*2^704202-1 is not prime. Res64: 5B7D0D90FAB55618 Time : 4550.0 sec. user=vaughan [2009-07-22 03:59:44] 553*2^704203-1 is not prime. Res64: 708B4BD8D5E61885 Time : 4588.0 sec. user=vaughan [2009-07-22 04:05:13] 555*2^704203-1 is not prime. Res64: 094171CCB81D23BE Time : 4546.0 sec. user=vaughan [2009-07-22 04:07:24] 583*2^704203-1 is not prime. Res64: 7C58C2B1BC744A6E Time : 4590.0 sec. user=vaughan [2009-07-22 04:12:46] 437*2^704204-1 is not prime. Res64: 08AEA71E1B0C2AFC Time : 4544.0 sec. user=vaughan [2009-07-22 04:15:05] 459*2^704204-1 is not prime. Res64: 4A6AC93F5B86DD7D Time : 4593.0 sec. user=vaughan [2009-07-22 04:20:20] 495*2^704204-1 is not prime. Res64: CC02ED87968C7AC4 Time : 4543.0 sec. user=vaughan [2009-07-22 04:22:44] 539*2^704204-1 is not prime. Res64: 8B4DA98709B8203C Time : 4594.0 sec. user=vaughan [2009-07-22 04:27:55] 545*2^704204-1 is not prime. Res64: 269214E45F18E609 Time : 4540.0 sec. user=vaughan [2009-07-22 04:30:23] 579*2^704204-1 is not prime. Res64: 04744076D43CE2F0 Time : 4596.0 sec. user=vaughan [2009-07-22 04:35:30] 415*2^704205-1 is not prime. Res64: ABD10C3ACAB78B9B Time : 4541.0 sec. user=vaughan [2009-07-22 04:38:01] 475*2^704205-1 is not prime. Res64: EC42B31414C17C22 Time : 4597.0 sec. user=vaughan [2009-07-22 04:43:06] 511*2^704205-1 is not prime. Res64: 74F8C713061E5EA8 Time : 4542.0 sec. user=vaughan [2009-07-22 04:45:40] 537*2^704205-1 is not prime. Res64: 6BF8F8F3596B5998 Time : 4599.0 sec. user=vaughan [2009-07-22 04:50:40] 597*2^704205-1 is not prime. Res64: 84A9C2CB09B5914A Time : 4539.0 sec. user=vaughan [2009-07-22 04:53:17] 477*2^704206-1 is not prime. Res64: 868A20B95D42585F Time : 4599.0 sec. user=vaughan [2009-07-22 04:58:16] 513*2^704206-1 is not prime. Res64: 90AA3BE10EC70F62 Time : 4541.0 sec. user=vaughan [2009-07-22 05:00:57] 421*2^704207-1 is not prime. Res64: 40CC9567860A2B16 Time : 4598.0 sec. user=vaughan [2009-07-22 05:06:25] 433*2^704207-1 is not prime. Res64: 6CE75019510F9BDD Time : 4576.0 sec. user=vaughan [2009-07-22 05:09:23] 453*2^704207-1 is not prime. Res64: A3FC8AC9B1900093 Time : 4642.0 sec. user=vaughan [2009-07-22 05:13:58] 531*2^704207-1 is not prime. Res64: 329700DBBF1C7F9E Time : 4577.0 sec. user=vaughan [2009-07-22 05:17:04] 553*2^704207-1 is not prime. Res64: AAF45C3AFF731A77 Time : 4641.0 sec. user=vaughan [2009-07-22 05:21:33] 459*2^704208-1 is not prime. Res64: 71D37668EE7EB26C Time : 4580.0 sec. user=vaughan [2009-07-22 05:24:43] 507*2^704208-1 is not prime. Res64: 26100C6F31782696 Time : 4639.0 sec. user=vaughan [2009-07-22 05:29:08] 513*2^704208-1 is not prime. Res64: EAD8ED5EAA53B974 Time : 4583.0 sec. user=vaughan [2009-07-22 05:32:21] 429*2^704209-1 is not prime. Res64: DF3488D2F38A267B Time : 4636.0 sec. user=vaughan [2009-07-22 05:36:45] 447*2^704209-1 is not prime. Res64: A03D7E66738514F7 Time : 4586.0 sec. user=vaughan [2009-07-22 05:39:59] 405*2^704210-1 is not prime. Res64: 498A165C73837CE8 Time : 4635.0 sec. user=vaughan [2009-07-22 05:44:19] 425*2^704210-1 is not prime. Res64: 40BE032830DBDD8F Time : 4585.0 sec. user=vaughan [2009-07-22 05:47:39] 447*2^704210-1 is not prime. Res64: C0459E7D20C70EE9 Time : 4636.0 sec. user=vaughan [2009-07-22 05:51:54] 473*2^704210-1 is not prime. Res64: 7DCE11C2A784DE5E Time : 4585.0 sec. user=vaughan [2009-07-22 05:55:19] 531*2^704210-1 is not prime. Res64: 23800319F89794DE Time : 4638.0 sec. user=vaughan [2009-07-22 05:59:29] 537*2^704210-1 is not prime. Res64: 8AC606A0170BACBF Time : 4584.0 sec. user=vaughan [2009-07-22 06:02:59] 545*2^704210-1 is not prime. Res64: 498521689474D82D Time : 4640.0 sec. user=vaughan [2009-07-22 06:07:05] 581*2^704210-1 is not prime. Res64: 037E2F89D52189C3 Time : 4585.0 sec. user=vaughan [2009-07-22 06:10:38] 403*2^704211-1 is not prime. Res64: FE4CF2528E63B642 Time : 4641.0 sec. user=vaughan [2009-07-22 06:14:39] 409*2^704211-1 is not prime. Res64: 31BFD719CFEAD739 Time : 4583.0 sec. user=vaughan [2009-07-22 06:18:19] 493*2^704211-1 is not prime. Res64: 913F326F349EF8B9 Time : 4643.0 sec. user=vaughan [2009-07-22 06:22:12] 513*2^704211-1 is not prime. Res64: B37CF1B466C1D8F8 Time : 4547.0 sec. user=vaughan [2009-07-22 06:26:00] 449*2^704212-1 is not prime. Res64: FBFB17DA1B4352D3 Time : 4597.0 sec. user=vaughan [2009-07-22 06:29:46] 483*2^704212-1 is not prime. Res64: 2E32DB072049EA24 Time : 4549.0 sec. user=vaughan [2009-07-22 06:33:43] 533*2^704212-1 is not prime. Res64: 87A53912B84EB744 Time : 4599.0 sec. user=vaughan [2009-07-22 06:37:19] 451*2^704213-1 is not prime. Res64: 76EE8A15CAC01989 Time : 4546.0 sec. user=vaughan [2009-07-22 06:41:24] 507*2^704213-1 is not prime. Res64: A4DA700A94383A5C Time : 4601.0 sec. user=vaughan [2009-07-22 06:44:53] 511*2^704213-1 is not prime. Res64: 7CFF1F8745494DCA Time : 4545.0 sec. user=vaughan [2009-07-22 06:49:02] 529*2^704213-1 is not prime. Res64: D95A9E33AA84FCC1 Time : 4602.0 sec. user=vaughan [2009-07-22 06:52:27] 571*2^704213-1 is not prime. Res64: 66B46F0EA5934F11 Time : 4542.0 sec. user=vaughan [2009-07-22 06:56:41] 465*2^704214-1 is not prime. Res64: 29344738ED4B1DFA Time : 4602.0 sec. user=vaughan [2009-07-22 07:00:03] 503*2^704214-1 is not prime. Res64: 8A0DAC680673B112 Time : 4544.0 sec. user=vaughan [2009-07-22 07:04:19] 527*2^704214-1 is not prime. Res64: 71ABC417FDE41B86 Time : 4601.0 sec. user=vaughan [2009-07-22 07:07:37] 441*2^704215-1 is not prime. Res64: 07814D5247BB824A Time : 4543.0 sec. user=vaughan [2009-07-22 07:11:58] 463*2^704215-1 is not prime. Res64: DB2BA00151AFCD5A Time : 4599.0 sec. user=vaughan [2009-07-22 07:15:12] 489*2^704215-1 is not prime. Res64: E550B4D027EE2CEE Time : 4543.0 sec. user=vaughan [2009-07-22 07:19:37] 595*2^704215-1 is not prime. Res64: 9558F704F390244D Time : 4598.0 sec. user=vaughan [2009-07-22 07:22:48] 425*2^704216-1 is not prime. Res64: 2E3DC2E91BF1EFDC Time : 4543.0 sec. user=vaughan [2009-07-22 07:27:15] 479*2^704216-1 is not prime. Res64: 1D048E914BE35E5C Time : 4597.0 sec. user=vaughan [2009-07-22 07:30:24] 495*2^704216-1 is not prime. Res64: 41B39350800FA1D7 Time : 4545.0 sec. user=vaughan [2009-07-22 07:34:53] 503*2^704216-1 is not prime. Res64: AF3A66767859C74A Time : 4594.0 sec. user=vaughan [2009-07-22 07:38:00] 563*2^704216-1 is not prime. Res64: 6EBD0D0D5D2C22AA Time : 4549.0 sec. user=vaughan [2009-07-22 07:42:32] 409*2^704217-1 is not prime. Res64: B0ACCF6C4D9E29E3 Time : 4592.0 sec. user=vaughan [2009-07-22 07:45:35] 465*2^704217-1 is not prime. Res64: 4D7E444DE9201B8E Time : 4549.0 sec. user=vaughan [2009-07-22 07:50:09] 475*2^704217-1 is not prime. Res64: 8FBC8AC795B51845 Time : 4586.0 sec. user=vaughan [2009-07-22 07:53:10] 565*2^704217-1 is not prime. Res64: BBED16EE3B6CEECD Time : 4551.0 sec. user=vaughan [2009-07-22 07:57:48] 507*2^704218-1 is not prime. Res64: 64AE295425527E37 Time : 4584.0 sec. user=vaughan [2009-07-22 08:00:45] 525*2^704218-1 is not prime. Res64: FE3ADF704D1EFBAA Time : 4552.0 sec. user=vaughan [2009-07-22 08:05:26] 403*2^704219-1 is not prime. Res64: F168551FC3137430 Time : 4584.0 sec. user=vaughan [2009-07-22 08:08:20] 489*2^704219-1 is not prime. Res64: F51F354E0595D901 Time : 4553.0 sec. user=vaughan [2009-07-22 08:13:04] 553*2^704219-1 is not prime. Res64: BE90B945C64E7B59 Time : 4583.0 sec. user=vaughan [2009-07-22 08:15:55] 447*2^704220-1 is not prime. Res64: 319EB3F0AF8267D5 Time : 4552.0 sec. user=vaughan [2009-07-22 08:20:42] 569*2^704220-1 is not prime. Res64: 4BACD7D557CF1095 Time : 4583.0 sec. user=vaughan [2009-07-22 08:23:31] 415*2^704221-1 is not prime. Res64: 5C406C5EC6C2D0C4 Time : 4554.0 sec. user=vaughan [2009-07-22 08:28:20] 421*2^704221-1 is not prime. Res64: E770DB6831153548 Time : 4582.0 sec. user=vaughan [2009-07-22 08:31:06] 465*2^704221-1 is not prime. Res64: 615CD6BC3A740488 Time : 4554.0 sec. user=vaughan [2009-07-22 08:35:59] 477*2^704221-1 is not prime. Res64: 9343DE3BDA99F2B3 Time : 4582.0 sec. user=vaughan [2009-07-22 08:38:41] 499*2^704221-1 is not prime. Res64: C012012AD432A6A1 Time : 4553.0 sec. user=vaughan [2009-07-22 08:43:37] 591*2^704221-1 is not prime. Res64: B78C5D5F8C819065 Time : 4582.0 sec. user=vaughan [2009-07-22 08:46:16] 417*2^704222-1 is not prime. Res64: B1C6AF76CCB41E0B Time : 4553.0 sec. user=vaughan [2009-07-22 08:51:16] 437*2^704222-1 is not prime. Res64: B580BF2BDEBB73AE Time : 4583.0 sec. user=vaughan [2009-07-22 08:53:51] 483*2^704222-1 is not prime. Res64: 246055D029995233 Time : 4551.0 sec. user=vaughan [2009-07-22 08:58:55] 495*2^704222-1 is not prime. Res64: 337BB318A76D3817 Time : 4583.0 sec. user=vaughan [2009-07-22 09:01:26] 533*2^704222-1 is not prime. Res64: 4E1DF1CD2BA13960 Time : 4552.0 sec. user=vaughan [2009-07-22 09:06:32] 593*2^704222-1 is not prime. Res64: 2FEEF053BE9BB674 Time : 4583.0 sec. user=vaughan [2009-07-22 09:09:02] 415*2^704223-1 is not prime. Res64: DEF072775901036D Time : 4552.0 sec. user=vaughan [2009-07-22 09:14:11] 595*2^704223-1 is not prime. Res64: 0AC659600C2931B4 Time : 4583.0 sec. user=vaughan [2009-07-22 09:16:38] 407*2^704224-1 is not prime. Res64: E2E6A9256DE2271F Time : 4553.0 sec. user=vaughan [2009-07-22 09:21:50] 419*2^704224-1 is not prime. Res64: B232603582B7FAE1 Time : 4584.0 sec. user=vaughan [2009-07-22 09:24:13] 429*2^704224-1 is not prime. Res64: ED0B57FF10AE3B0D Time : 4554.0 sec. user=vaughan [2009-07-22 09:29:28] 453*2^704224-1 is not prime. Res64: 92C37798C2B53574 Time : 4584.0 sec. user=vaughan [2009-07-22 09:31:49] 483*2^704224-1 is not prime. Res64: 459EBA49EA18448A Time : 4555.0 sec. user=vaughan [2009-07-22 09:37:08] 549*2^704224-1 is not prime. Res64: 0FEFBD6D066367D6 Time : 4586.0 sec. user=vaughan [2009-07-22 09:39:25] 569*2^704224-1 is not prime. Res64: 53F41BF333E28885 Time : 4554.0 sec. user=vaughan [2009-07-22 09:44:45] 411*2^704226-1 is not prime. Res64: 0BB9DD068AFC3687 Time : 4585.0 sec. user=vaughan [2009-07-22 09:47:00] 461*2^704226-1 is not prime. Res64: F55DEDE917DE466F Time : 4554.0 sec. user=vaughan [2009-07-22 09:52:22] 567*2^704226-1 is not prime. Res64: 959CEB3814EDA147 Time : 4584.0 sec. user=vaughan [2009-07-22 09:54:37] 581*2^704226-1 is not prime. Res64: 78504392EBFC7D33 Time : 4556.0 sec. user=vaughan [2009-07-22 10:00:00] 585*2^704226-1 is not prime. Res64: A1DE36A020B05CCE Time : 4583.0 sec. user=vaughan [2009-07-22 10:02:12] 429*2^704227-1 is not prime. Res64: F0FAC80BFE988454 Time : 4556.0 sec. user=vaughan [2009-07-22 10:07:38] 471*2^704227-1 is not prime. Res64: C7C112AFAB59A750 Time : 4582.0 sec. user=vaughan [2009-07-22 10:09:47] 549*2^704227-1 is not prime. Res64: EA73F6F17C2DB2F6 Time : 4556.0 sec. user=vaughan [2009-07-22 10:15:15] 417*2^704228-1 is not prime. Res64: 5379AB4ABE652D6B Time : 4581.0 sec. user=vaughan [2009-07-22 10:17:23] 435*2^704228-1 is not prime. Res64: 1B1837E8BDEE1056 Time : 4557.0 sec. user=vaughan [2009-07-22 10:22:53] 459*2^704228-1 is not prime. Res64: 63E98A3B3F1B61A0 Time : 4581.0 sec. user=vaughan [2009-07-22 10:24:58] 557*2^704228-1 is not prime. Res64: B84F56079806452B Time : 4556.0 sec. user=vaughan [2009-07-22 10:30:31] 459*2^704229-1 is not prime. Res64: 90C4742627D917BF Time : 4580.0 sec. user=vaughan [2009-07-22 10:32:33] 471*2^704229-1 is not prime. Res64: 0136D722A977CF69 Time : 4556.0 sec. user=vaughan [2009-07-22 10:38:08] 495*2^704230-1 is not prime. Res64: 7C63BA04F35FC0A8 Time : 4578.0 sec. user=vaughan [2009-07-22 10:40:09] 521*2^704230-1 is not prime. Res64: D3784D8FB196AAB4 Time : 4557.0 sec. user=vaughan [2009-07-22 10:45:46] 597*2^704230-1 is not prime. Res64: E8FECB2DE4D5AFA0 Time : 4578.0 sec. user=vaughan [2009-07-22 10:47:45] 411*2^704231-1 is not prime. Res64: C18AAFC45D7FD73A Time : 4556.0 sec. user=vaughan [2009-07-22 10:53:23] 433*2^704231-1 is not prime. Res64: 517ECC2581AEF70D Time : 4576.0 sec. user=vaughan [2009-07-22 10:55:21] 493*2^704231-1 is not prime. Res64: 711F577B3B90902B Time : 4556.0 sec. user=vaughan [2009-07-22 11:01:01] 505*2^704231-1 is not prime. Res64: E0AED3FB75BD8D18 Time : 4576.0 sec. user=vaughan [2009-07-22 11:02:56] 519*2^704231-1 is not prime. Res64: 21D58EA1DCD7C850 Time : 4556.0 sec. user=vaughan [2009-07-22 11:08:38] 525*2^704231-1 is not prime. Res64: F991E0FC2E9CAAA5 Time : 4576.0 sec. user=vaughan [2009-07-22 11:10:33] 571*2^704231-1 is not prime. Res64: F5A0D09F5B44F902 Time : 4556.0 sec. user=vaughan [2009-07-22 11:16:14] 573*2^704231-1 is not prime. Res64: 89D7372733732523 Time : 4574.0 sec. user=vaughan [2009-07-22 11:18:06] 485*2^704232-1 is not prime. Res64: A3838C10CE6FC78E Time : 4555.0 sec. user=vaughan [2009-07-22 11:23:53] 537*2^704232-1 is not prime. Res64: E55FB72E62A2F99D Time : 4575.0 sec. user=vaughan [2009-07-22 11:25:39] 507*2^704233-1 is not prime. Res64: 40FE641B0B1A26AD Time : 4552.0 sec. user=vaughan [2009-07-22 11:31:34] 595*2^704233-1 is not prime. Res64: 23E87609ED2D19D6 Time : 4579.0 sec. user=vaughan [2009-07-22 11:33:11] 447*2^704234-1 is not prime. Res64: 0978A0503A1686AC Time : 4548.0 sec. user=vaughan [2009-07-22 11:39:16] 477*2^704234-1 is not prime. Res64: 9AE935F3418C5F0A Time : 4583.0 sec. user=vaughan [2009-07-22 11:40:43] 561*2^704234-1 is not prime. Res64: 3D3A4F6FA41B83FF Time : 4545.0 sec. user=vaughan [2009-07-22 11:46:57] 567*2^704234-1 is not prime. Res64: 895261281C54DADE Time : 4586.0 sec. user=vaughan [2009-07-22 11:48:15] 451*2^704235-1 is not prime. Res64: C338F8346C5BF088 Time : 4542.0 sec. user=vaughan [2009-07-22 11:54:38] 453*2^704235-1 is not prime. Res64: EB09204D27DF7200 Time : 4590.0 sec. user=vaughan [2009-07-22 11:55:48] 459*2^704235-1 is not prime. Res64: A9451B82CC5B4283 Time : 4540.0 sec. user=vaughan [2009-07-22 12:02:19] 513*2^704235-1 is not prime. Res64: 54DB242B9E95B2A4 Time : 4593.0 sec. user=vaughan [2009-07-22 12:03:20] 543*2^704235-1 is not prime. Res64: FB0764B9453C2D46 Time : 4535.0 sec. user=vaughan [2009-07-22 12:10:01] 435*2^704236-1 is not prime. Res64: E3FC3EEFEB2C5E1F Time : 4598.0 sec. user=vaughan [2009-07-22 12:10:53] 563*2^704236-1 is not prime. Res64: 769AEF6C414C38C3 Time : 4532.0 sec. user=vaughan [2009-07-22 12:17:42] 569*2^704236-1 is not prime. Res64: CBDEE037B6E04BC8 Time : 4601.0 sec. user=vaughan [2009-07-22 12:18:26] 439*2^704237-1 is not prime. Res64: 225ACE955685D237 Time : 4530.0 sec. user=vaughan [2009-07-22 12:25:33] 441*2^704237-1 is not prime. Res64: E0B1BD4E76CB7862 Time : 4615.0 sec. user=vaughan [2009-07-22 12:25:58] 465*2^704237-1 is not prime. Res64: 29ADE5E9669CA0AE Time : 4525.0 sec. user=vaughan [2009-07-22 12:33:04] 489*2^704237-1 is not prime. Res64: 8CF41AC5D47AF4B6 Time : 4610.0 sec. user=vaughan [2009-07-22 12:33:30] 549*2^704237-1 is not prime. Res64: 054A73C6307B0E88 Time : 4524.0 sec. user=vaughan [2009-07-22 12:40:43] 571*2^704237-1 is not prime. Res64: 13595337FD55B6B5 Time : 4610.0 sec. user=vaughan [2009-07-22 12:41:04] 589*2^704237-1 is not prime. Res64: 29B8FAFF810AF0FD Time : 4526.0 sec. user=vaughan [2009-07-22 12:48:23] 413*2^704238-1 is not prime. Res64: E96E52157BAFD474 Time : 4609.0 sec. user=vaughan [2009-07-22 12:48:40] 417*2^704238-1 is not prime. Res64: E4F69D96F031CCA6 Time : 4530.0 sec. user=vaughan [2009-07-22 12:56:06] 495*2^704238-1 is not prime. Res64: DC2748ED17E8005A Time : 4611.0 sec. user=vaughan [2009-07-22 12:56:14] 525*2^704238-1 is not prime. Res64: 87A75B82AEC8A63D Time : 4531.0 sec. user=vaughan [2009-07-22 13:03:47] 429*2^704239-1 is not prime. Res64: 93E50CA86EC1D44A Time : 4532.0 sec. user=vaughan [2009-07-22 13:03:48] 527*2^704238-1 is not prime. Res64: 4F3CAEA51AC6FCFC Time : 4612.0 sec. user=vaughan [2009-07-22 13:11:20] 469*2^704239-1 is not prime. Res64: 3E3360C68D2F5CC0 Time : 4532.0 sec. user=vaughan [2009-07-22 13:11:31] 465*2^704239-1 is not prime. Res64: 1CD9A78A920455AE Time : 4613.0 sec. user=vaughan [2009-07-22 13:18:52] 531*2^704239-1 is not prime. Res64: EB77E44EB818B20E Time : 4532.0 sec. user=vaughan [2009-07-22 13:19:11] 493*2^704239-1 is not prime. Res64: BB6ED2A95A0717E2 Time : 4612.0 sec. user=vaughan [2009-07-22 13:26:24] 413*2^704240-1 is not prime. Res64: 54057A669561F3EF Time : 4531.0 sec. user=vaughan [2009-07-22 13:26:54] 595*2^704239-1 is not prime. Res64: EF4D152D47BC8BEA Time : 4613.0 sec. user=vaughan [2009-07-22 13:33:56] 599*2^704240-1 is not prime. Res64: A0B2183747077820 Time : 4531.0 sec. user=vaughan [2009-07-22 13:34:35] 465*2^704240-1 is not prime. Res64: 72DD005BA3155668 Time : 4613.0 sec. user=vaughan [2009-07-22 13:41:30] 445*2^704241-1 is not prime. Res64: D156C9D5CF83CE1E Time : 4532.0 sec. user=vaughan [2009-07-22 13:42:14] 415*2^704241-1 is not prime. Res64: 8DA68E71EB41A0F4 Time : 4601.0 sec. user=vaughan [2009-07-22 13:49:04] 565*2^704241-1 is not prime. Res64: 59435C6398250AB7 Time : 4534.0 sec. user=vaughan [2009-07-22 13:49:52] 459*2^704241-1 is not prime. Res64: 1C83425D74BDA4B3 Time : 4608.0 sec. user=vaughan [2009-07-22 13:56:40] 497*2^704242-1 is not prime. Res64: 2415294668008D78 Time : 4536.0 sec. user=vaughan [2009-07-22 13:57:32] 491*2^704242-1 is not prime. Res64: D81A747E859822E6 Time : 4609.0 sec. user=vaughan [2009-07-22 14:04:16] 555*2^704242-1 is not prime. Res64: FE8C26454F0144AF Time : 4536.0 sec. user=vaughan [2009-07-22 14:05:11] 527*2^704242-1 is not prime. Res64: FE0E2E6A5E5610AC Time : 4609.0 sec. user=vaughan [2009-07-22 14:11:51] 411*2^704243-1 is not prime. Res64: A4BD47C609FF508B Time : 4537.0 sec. user=vaughan [2009-07-22 14:12:50] 593*2^704242-1 is not prime. Res64: A8D268A1C4A74936 Time : 4605.0 sec. user=vaughan [2009-07-22 14:19:26] 497*2^704244-1 is not prime. Res64: 9EDD42509F211826 Time : 4540.0 sec. user=vaughan [2009-07-22 14:20:29] 557*2^704244-1 is not prime. Res64: 3A98BAF0EF26B360 Time : 4602.0 sec. user=vaughan [2009-07-22 14:27:01] 429*2^704245-1 is not prime. Res64: 86AED438DADCB2D2 Time : 4542.0 sec. user=vaughan [2009-07-22 14:28:10] 451*2^704245-1 is not prime. Res64: 40B5EB76617B2945 Time : 4599.0 sec. user=vaughan [2009-07-22 14:34:36] 591*2^704245-1 is not prime. Res64: A1F629A7062907C2 Time : 4545.0 sec. user=vaughan [2009-07-22 14:35:50] 483*2^704246-1 is not prime. Res64: FFE09B3DE773E98F Time : 4599.0 sec. user=vaughan [2009-07-22 14:42:13] 563*2^704246-1 is not prime. Res64: 7D14EE7A90095272 Time : 4550.0 sec. user=vaughan [2009-07-22 14:43:31] 585*2^704246-1 is not prime. Res64: 2E7A4BF62283F577 Time : 4598.0 sec. user=vaughan [2009-07-22 14:49:50] 475*2^704247-1 is not prime. Res64: 6C3CA567917C8B00 Time : 4555.0 sec. user=vaughan [2009-07-22 14:51:11] 489*2^704247-1 is not prime. Res64: A8A3DF327E7C1B0A Time : 4597.0 sec. user=vaughan [2009-07-22 14:57:25] 513*2^704247-1 is not prime. Res64: 7757D2C8EAF8EE9E Time : 4555.0 sec. user=vaughan [2009-07-22 14:58:51] 543*2^704247-1 is not prime. Res64: 08F84E64CC6A39F5 Time : 4598.0 sec. user=vaughan [2009-07-22 15:04:59] 585*2^704247-1 is not prime. Res64: A02F04BD91BE9EB7 Time : 4555.0 sec. user=vaughan [2009-07-22 15:06:31] 435*2^704248-1 is not prime. Res64: 6C83202C978F6E88 Time : 4599.0 sec. user=vaughan [2009-07-22 15:12:34] 453*2^704248-1 is not prime. Res64: 0BD385B25B390E3E Time : 4555.0 sec. user=vaughan [2009-07-22 15:14:13] 485*2^704248-1 is not prime. Res64: 1142A71B91DD55EA Time : 4601.0 sec. user=vaughan [2009-07-22 15:20:10] 573*2^704248-1 is not prime. Res64: D5551B09DEAD21DB Time : 4554.0 sec. user=vaughan [2009-07-22 15:21:53] 525*2^704249-1 is not prime. Res64: 944C0E2FAACF990D Time : 4602.0 sec. user=vaughan [2009-07-22 15:27:45] 537*2^704249-1 is not prime. Res64: 6555F8812458B695 Time : 4554.0 sec. user=vaughan [2009-07-22 15:29:35] 579*2^704249-1 is not prime. Res64: 94A0FEE875916AA8 Time : 4605.0 sec. user=vaughan [2009-07-22 15:35:21] 595*2^704249-1 is not prime. Res64: 71BF00E5AB69571A Time : 4555.0 sec. user=vaughan [2009-07-22 15:37:16] 417*2^704250-1 is not prime. Res64: AA2F545AC50F673E Time : 4607.0 sec. user=vaughan [2009-07-22 15:42:58] 431*2^704250-1 is not prime. Res64: 3BFF87D720C4961C Time : 4557.0 sec. user=vaughan [2009-07-22 15:45:00] 473*2^704250-1 is not prime. Res64: 22A0DF8B15F99E20 Time : 4610.0 sec. user=vaughan [2009-07-22 15:50:33] 521*2^704250-1 is not prime. Res64: 438DCABFB2071274 Time : 4557.0 sec. user=vaughan [2009-07-22 15:52:41] 525*2^704250-1 is not prime. Res64: 15C7FC85B6FB6C95 Time : 4611.0 sec. user=vaughan [2009-07-22 15:58:09] 519*2^704251-1 is not prime. Res64: 7E471B4163D5E9F1 Time : 4556.0 sec. user=vaughan [2009-07-22 16:00:21] 531*2^704251-1 is not prime. Res64: 5B4555285AF34096 Time : 4610.0 sec. user=vaughan [2009-07-22 16:05:44] 541*2^704251-1 is not prime. Res64: 5AB915E23D5B8F0B Time : 4554.0 sec. user=vaughan [2009-07-22 16:08:02] 405*2^704252-1 is not prime. Res64: A461AEDBB2F558FB Time : 4611.0 sec. user=vaughan [2009-07-22 16:13:19] 579*2^704252-1 is not prime. Res64: EF8200A98AA20B11 Time : 4554.0 sec. user=vaughan [2009-07-22 16:15:40] 593*2^704252-1 is not prime. Res64: 8E69D678623829BE Time : 4609.0 sec. user=vaughan [2009-07-22 16:20:54] 555*2^704253-1 is not prime. Res64: 51B721C8F24955A0 Time : 4555.0 sec. user=vaughan [2009-07-22 16:23:18] 571*2^704253-1 is not prime. Res64: 8F747113AA2BD3C4 Time : 4608.0 sec. user=vaughan [2009-07-22 16:28:30] 585*2^704253-1 is not prime. Res64: 6A15AD01190F08D6 Time : 4556.0 sec. user=vaughan [2009-07-22 16:30:56] 513*2^704254-1 is not prime. Res64: 9B191D84B2932715 Time : 4604.0 sec. user=vaughan [2009-07-22 16:36:04] 533*2^704254-1 is not prime. Res64: 0024196BD8A7A32E Time : 4555.0 sec. user=vaughan [2009-07-22 16:38:36] 567*2^704254-1 is not prime. Res64: F7FEA5AC46AB4C18 Time : 4603.0 sec. user=vaughan [2009-07-22 16:43:40] 441*2^704255-1 is not prime. Res64: 69518A1F31AFE398 Time : 4555.0 sec. user=vaughan [2009-07-22 16:46:16] 437*2^704256-1 is not prime. Res64: 0B51E40D7A833992 Time : 4601.0 sec. user=vaughan [2009-07-22 16:51:15] 473*2^704256-1 is not prime. Res64: E1ACB1139EDAC807 Time : 4554.0 sec. user=vaughan [2009-07-22 16:53:55] 479*2^704256-1 is not prime. Res64: EC1146B6363332A7 Time : 4599.0 sec. user=vaughan [2009-07-22 16:58:50] 497*2^704256-1 is not prime. Res64: 705243EE80775A3A Time : 4552.0 sec. user=vaughan [2009-07-22 17:01:34] 465*2^704257-1 is not prime. Res64: 7787FE3729625E6A Time : 4595.0 sec. user=vaughan [2009-07-22 17:06:26] 561*2^704257-1 is not prime. Res64: DC690D7A540BBAEF Time : 4553.0 sec. user=vaughan [2009-07-22 17:09:17] 495*2^704258-1 is not prime. Res64: B0E30123B3EB5491 Time : 4597.0 sec. user=vaughan [2009-07-22 17:14:01] 503*2^704258-1 is not prime. Res64: 4AFE7A4D32C92742 Time : 4552.0 sec. user=vaughan [2009-07-22 17:16:56] 525*2^704258-1 is not prime. Res64: D05E07776C4ED43F Time : 4595.0 sec. user=vaughan [2009-07-22 17:21:37] 533*2^704258-1 is not prime. Res64: 63DA38935AA38D2E Time : 4554.0 sec. user=vaughan [2009-07-22 17:24:35] 563*2^704258-1 is not prime. Res64: 0B26482CAE080D26 Time : 4594.0 sec. user=vaughan [2009-07-22 17:29:13] 459*2^704259-1 is not prime. Res64: 22B96904C1C29063 Time : 4554.0 sec. user=vaughan [2009-07-22 17:32:17] 465*2^704259-1 is not prime. Res64: 1F57CEFCA109F26E Time : 4597.0 sec. user=vaughan [2009-07-22 17:36:48] 495*2^704259-1 is not prime. Res64: 71ACBF268B20B44F Time : 4554.0 sec. user=vaughan [2009-07-22 17:39:55] 573*2^704259-1 is not prime. Res64: 916AB92C15E368E9 Time : 4597.0 sec. user=vaughan [2009-07-22 17:44:23] 583*2^704259-1 is not prime. Res64: 1792F14C19F9D945 Time : 4553.0 sec. user=vaughan [2009-07-22 17:47:34] 423*2^704260-1 is not prime. Res64: 639BF9E2EBF85D4A Time : 4598.0 sec. user=vaughan [2009-07-22 17:51:59] 429*2^704260-1 is not prime. Res64: 3BB9472E012858F4 Time : 4555.0 sec. user=vaughan [2009-07-22 17:55:15] 443*2^704260-1 is not prime. Res64: FAC436E4C3AA97D4 Time : 4599.0 sec. user=vaughan [2009-07-22 17:59:35] 537*2^704260-1 is not prime. Res64: F38EDE1BE0A4F1B7 Time : 4556.0 sec. user=vaughan [2009-07-22 18:02:54] 477*2^704261-1 is not prime. Res64: 8B173FBE02CE69B8 Time : 4598.0 sec. user=vaughan [2009-07-22 18:07:10] 517*2^704261-1 is not prime. Res64: 535982CF8B80137D Time : 4556.0 sec. user=vaughan [2009-07-22 18:10:33] 519*2^704261-1 is not prime. Res64: B9BD58AB739C9846 Time : 4598.0 sec. user=vaughan [2009-07-22 18:14:45] 529*2^704261-1 is not prime. Res64: D619EEFFCFD3BEFD Time : 4555.0 sec. user=vaughan [2009-07-22 18:18:12] 573*2^704262-1 is not prime. Res64: B3254112F784A7E2 Time : 4598.0 sec. user=vaughan [2009-07-22 18:22:21] 441*2^704263-1 is not prime. Res64: E3B4CB282966F1E7 Time : 4555.0 sec. user=vaughan [2009-07-22 18:25:50] 475*2^704263-1 is not prime. Res64: DA6B4AE1FBA6B72F Time : 4593.0 sec. user=vaughan [2009-07-22 18:29:55] 493*2^704263-1 is not prime. Res64: 619E84061DD7B308 Time : 4554.0 sec. user=vaughan [2009-07-22 18:33:30] 505*2^704263-1 is not prime. Res64: 22B6C28C30E63DF0 Time : 4594.0 sec. user=vaughan [2009-07-22 18:37:29] 555*2^704263-1 is not prime. Res64: A75749E0F19A55EE Time : 4552.0 sec. user=vaughan [2009-07-22 18:41:08] 479*2^704264-1 is not prime. Res64: 335AF99B34FA2358 Time : 4593.0 sec. user=vaughan [2009-07-22 18:45:05] 585*2^704264-1 is not prime. Res64: 1904DB25FEDCC7FF Time : 4552.0 sec. user=vaughan [2009-07-22 18:48:48] 409*2^704265-1 is not prime. Res64: EA7F40F92739DF18 Time : 4591.0 sec. user=vaughan [2009-07-22 18:52:39] 429*2^704265-1 is not prime. Res64: 968AA62A73B76494 Time : 4551.0 sec. user=vaughan [2009-07-22 18:56:28] 459*2^704265-1 is not prime. Res64: 9157C691909A9A47 Time : 4593.0 sec. user=vaughan [2009-07-22 19:00:15] 531*2^704265-1 is not prime. Res64: D37A6A3C22DA88F3 Time : 4552.0 sec. user=vaughan [2009-07-22 19:04:07] 555*2^704265-1 is not prime. Res64: A14A8A5A3C1F73A7 Time : 4593.0 sec. user=vaughan [2009-07-22 19:07:50] 437*2^704266-1 is not prime. Res64: B48E7D20387A2143 Time : 4552.0 sec. user=vaughan [2009-07-22 19:11:47] 447*2^704266-1 is not prime. Res64: 21B170DA4FDAB0B2 Time : 4592.0 sec. user=vaughan [2009-07-22 19:15:27] 507*2^704266-1 is not prime. Res64: 480C3A6B91D64DDD Time : 4552.0 sec. user=vaughan [2009-07-22 19:19:29] 531*2^704266-1 is not prime. Res64: A77C803A5275BE54 Time : 4595.0 sec. user=vaughan [2009-07-22 19:23:01] 551*2^704266-1 is not prime. Res64: 396933AA9729D0FA Time : 4551.0 sec. user=vaughan [2009-07-22 19:27:07] 433*2^704267-1 is not prime. Res64: B11F578BF1D915C6 Time : 4595.0 sec. user=vaughan [2009-07-22 19:30:37] 511*2^704267-1 is not prime. Res64: C06AE2D1000557E1 Time : 4552.0 sec. user=vaughan [2009-07-22 19:34:46] 585*2^704267-1 is not prime. Res64: 027E89430F29B6CC Time : 4594.0 sec. user=vaughan [2009-07-22 19:38:10] 423*2^704268-1 is not prime. Res64: CDE1B500CEBC3260 Time : 4550.0 sec. user=vaughan [2009-07-22 19:42:26] 429*2^704268-1 is not prime. Res64: 5C245644223410A4 Time : 4596.0 sec. user=vaughan [2009-07-22 19:45:47] 507*2^704268-1 is not prime. Res64: AF0A8C8FB310EA94 Time : 4552.0 sec. user=vaughan [2009-07-22 19:50:04] 567*2^704268-1 is not prime. Res64: 42622EDB03A74954 Time : 4594.0 sec. user=vaughan [2009-07-22 19:53:23] 569*2^704268-1 is not prime. Res64: B50CB84830136419 Time : 4554.0 sec. user=vaughan [2009-07-22 19:57:44] 411*2^704269-1 is not prime. Res64: 375815919B94D7A3 Time : 4596.0 sec. user=vaughan [2009-07-22 20:00:57] 417*2^704270-1 is not prime. Res64: 67869D7B22DCB09D Time : 4553.0 sec. user=vaughan [2009-07-22 20:05:23] 467*2^704270-1 is not prime. Res64: 498F6E5EC301EAE6 Time : 4596.0 sec. user=vaughan [2009-07-22 20:08:32] 557*2^704270-1 is not prime. Res64: 358E0E178E038EEC Time : 4553.0 sec. user=vaughan [2009-07-22 20:13:02] 587*2^704270-1 is not prime. Res64: AF2C989D19EFD63F Time : 4595.0 sec. user=vaughan [2009-07-22 20:16:09] 403*2^704271-1 is not prime. Res64: 0D6B1EE6AEC14C5A Time : 4555.0 sec. user=vaughan [2009-07-22 20:20:40] 423*2^704271-1 is not prime. Res64: F23C50A61ECAB0A6 Time : 4594.0 sec. user=vaughan [2009-07-22 20:23:45] 433*2^704271-1 is not prime. Res64: 96B339135EC4EF72 Time : 4556.0 sec. user=vaughan [2009-07-22 20:28:19] 459*2^704271-1 is not prime. Res64: 1E8A7A4C274D7DA6 Time : 4592.0 sec. user=vaughan [2009-07-22 20:31:20] 493*2^704271-1 is not prime. Res64: 3DEAD0EDAEEE6998 Time : 4554.0 sec. user=vaughan [2009-07-22 20:35:58] 531*2^704271-1 is not prime. Res64: 4601B60525FE057C Time : 4589.0 sec. user=vaughan [2009-07-22 20:38:56] 595*2^704271-1 is not prime. Res64: AC89F73AEFB1D85E Time : 4555.0 sec. user=vaughan [2009-07-22 20:43:38] 437*2^704272-1 is not prime. Res64: 8D5E5C6A306822BF Time : 4591.0 sec. user=vaughan [2009-07-22 20:46:31] 489*2^704272-1 is not prime. Res64: 5CB025DFE0981F19 Time : 4555.0 sec. user=vaughan [2009-07-22 20:51:16] 539*2^704272-1 is not prime. Res64: 4C45F1883BB47F47 Time : 4590.0 sec. user=vaughan [2009-07-22 20:54:06] 445*2^704273-1 is not prime. Res64: 62681BA303566EA4 Time : 4556.0 sec. user=vaughan [2009-07-22 20:58:55] 481*2^704273-1 is not prime. Res64: 340AFE76D78510C3 Time : 4589.0 sec. user=vaughan [2009-07-22 21:01:43] 401*2^704274-1 is not prime. Res64: 6B7CF86BA62F9F50 Time : 4556.0 sec. user=vaughan [2009-07-22 21:06:33] 483*2^704274-1 is not prime. Res64: F258F26EFF2720F8 Time : 4589.0 sec. user=vaughan [2009-07-22 21:09:17] 513*2^704274-1 is not prime. Res64: 00E02E1F761DBA5E Time : 4555.0 sec. user=vaughan [2009-07-22 21:14:11] 521*2^704274-1 is not prime. Res64: B6DE6E2EF3B4BDC4 Time : 4587.0 sec. user=vaughan [2009-07-22 21:16:53] 567*2^704274-1 is not prime. Res64: E2F40212F67E971D Time : 4556.0 sec. user=vaughan [2009-07-22 21:21:50] 593*2^704274-1 is not prime. Res64: E2027D15B1FD71F8 Time : 4588.0 sec. user=vaughan [2009-07-22 21:24:29] 429*2^704275-1 is not prime. Res64: 9BDDB3A552B98BDE Time : 4557.0 sec. user=vaughan [2009-07-22 21:29:29] 451*2^704275-1 is not prime. Res64: 6687CE8938A75F9C Time : 4588.0 sec. user=vaughan [2009-07-22 21:32:05] 463*2^704275-1 is not prime. Res64: 18A40C5E7E3C17E0 Time : 4556.0 sec. user=vaughan [2009-07-22 21:37:09] 481*2^704275-1 is not prime. Res64: DF65705C81F6C871 Time : 4589.0 sec. user=vaughan [2009-07-22 21:39:41] 495*2^704275-1 is not prime. Res64: 7C3BBCB6EE9D39D2 Time : 4556.0 sec. user=vaughan [2009-07-22 21:44:48] 573*2^704275-1 is not prime. Res64: E6DA392B8BE35754 Time : 4589.0 sec. user=vaughan [2009-07-22 21:47:16] 589*2^704275-1 is not prime. Res64: 6BEB42A529E23837 Time : 4556.0 sec. user=vaughan [2009-07-22 21:52:27] 465*2^704276-1 is not prime. Res64: 796572E320115099 Time : 4589.0 sec. user=vaughan [2009-07-22 21:54:51] 477*2^704276-1 is not prime. Res64: BEB2837878C50016 Time : 4555.0 sec. user=vaughan [2009-07-22 22:00:06] 519*2^704276-1 is not prime. Res64: 16C992CDD7F96442 Time : 4588.0 sec. user=vaughan [2009-07-22 22:02:25] 427*2^704277-1 is not prime. Res64: 66152D3AD2C41B5E Time : 4554.0 sec. user=vaughan [2009-07-22 22:07:46] 495*2^704277-1 is not prime. Res64: 67578F58A60B1550 Time : 4590.0 sec. user=vaughan [2009-07-22 22:09:59] 507*2^704277-1 is not prime. Res64: 010006D0B0558EF8 Time : 4553.0 sec. user=vaughan [2009-07-22 22:15:29] 529*2^704277-1 is not prime. Res64: F4C705C895CB2F5C Time : 4594.0 sec. user=vaughan [2009-07-22 22:17:33] 549*2^704277-1 is not prime. Res64: 9821BE52248BAC28 Time : 4550.0 sec. user=vaughan [2009-07-22 22:23:08] 571*2^704277-1 is not prime. Res64: EBF8746199226182 Time : 4596.0 sec. user=vaughan [2009-07-22 22:25:09] 595*2^704277-1 is not prime. Res64: 822E0AC559FB9DB0 Time : 4552.0 sec. user=vaughan [2009-07-22 22:30:49] 423*2^704278-1 is not prime. Res64: 66A3747782EA14D4 Time : 4598.0 sec. user=vaughan [2009-07-22 22:32:45] 483*2^704278-1 is not prime. Res64: 625710E7EB0B8F1B Time : 4552.0 sec. user=vaughan [2009-07-22 22:38:29] 495*2^704278-1 is not prime. Res64: B7F6EE3C6D3B868E Time : 4599.0 sec. user=vaughan [2009-07-22 22:40:19] 545*2^704278-1 is not prime. Res64: CF11D4D92B3107A4 Time : 4550.0 sec. user=vaughan [2009-07-22 22:46:07] 551*2^704278-1 is not prime. Res64: 7729F6AC4CEDB91D Time : 4598.0 sec. user=vaughan [2009-07-22 22:47:54] 597*2^704278-1 is not prime. Res64: F06965B3D321078D Time : 4549.0 sec. user=vaughan [2009-07-22 22:53:47] 433*2^704279-1 is not prime. Res64: 8AD907B659D1D0F9 Time : 4598.0 sec. user=vaughan [2009-07-22 22:55:30] 469*2^704279-1 is not prime. Res64: 7422DCFB8DDC7C45 Time : 4550.0 sec. user=vaughan [2009-07-22 23:01:28] 579*2^704279-1 is not prime. Res64: 2EA45B4B2A029340 Time : 4600.0 sec. user=vaughan [2009-07-22 23:03:06] 405*2^704280-1 is not prime. Res64: 6583A5736588C1AB Time : 4551.0 sec. user=vaughan [2009-07-22 23:09:06] 453*2^704280-1 is not prime. Res64: 9D49D3CEEADCF22A Time : 4600.0 sec. user=vaughan [2009-07-22 23:10:41] 527*2^704280-1 is not prime. Res64: E9F328F229823969 Time : 4550.0 sec. user=vaughan [2009-07-22 23:16:46] 563*2^704280-1 is not prime. Res64: E23DC3E9D4F71B2B Time : 4601.0 sec. user=vaughan [2009-07-22 23:18:17] 585*2^704280-1 is not prime. Res64: 9A5A87CEA2D7C91D Time : 4552.0 sec. user=vaughan [2009-07-22 23:24:24] 549*2^704281-1 is not prime. Res64: 7DE6D86B4CEA4CB0 Time : 4598.0 sec. user=vaughan [2009-07-22 23:25:52] 565*2^704281-1 is not prime. Res64: 269AFA5C7E67E3B8 Time : 4553.0 sec. user=vaughan [2009-07-22 23:32:03] 515*2^704282-1 is not prime. Res64: 994366F7787EB288 Time : 4594.0 sec. user=vaughan [2009-07-22 23:33:28] 585*2^704282-1 is not prime. Res64: D2D8689CF2EC5185 Time : 4555.0 sec. user=vaughan [2009-07-22 23:39:40] 587*2^704282-1 is not prime. Res64: 90AF1A2BCAA39085 Time : 4592.0 sec. user=vaughan [2009-07-22 23:41:03] 459*2^704283-1 is not prime. Res64: 036F0E6F5DE3D696 Time : 4554.0 sec. user=vaughan [2009-07-22 23:47:18] 501*2^704283-1 is not prime. Res64: FD047C5F33D1AEF8 Time : 4589.0 sec. user=vaughan [2009-07-22 23:48:39] 541*2^704283-1 is not prime. Res64: 9C2A30317FDEE32F Time : 4555.0 sec. user=vaughan [2009-07-22 23:54:56] 413*2^704284-1 is not prime. Res64: 6C8855DB6FCDFB2A Time : 4587.0 sec. user=vaughan [2009-07-22 23:56:14] 483*2^704284-1 is not prime. Res64: FDD32B877A4E970B Time : 4555.0 sec.