user=gd_barnes
[2009-08-07 00:00:20]
587*2^706880-1 is not prime.  Res64: 4D7F5E6E49219ABB  Time : 3372.0 sec.
user=vaughan
[2009-08-07 00:01:05]
515*2^706892-1 is not prime.  Res64: FA4EC327DBD1B103  Time : 855.0 sec.
user=gd_barnes
[2009-08-07 00:02:40]
423*2^706882-1 is not prime.  Res64: 74E80106904D9E01  Time : 3363.0 sec.
user=vaughan
[2009-08-07 00:07:10]
465*2^706894-1 is not prime.  Res64: EFDD652E06AECD71  Time : 464.0 sec.
user=gd_barnes
[2009-08-07 00:07:28]
561*2^706882-1 is not prime.  Res64: D9645789F0CD5ED7  Time : 3368.0 sec.
user=vaughan
[2009-08-07 00:07:32]
491*2^706894-1 is not prime.  Res64: E532A50CB917EF84  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 00:08:37]
465*2^706883-1 is not prime.  Res64: A102048D31516BDC  Time : 3371.0 sec.
user=vaughan
[2009-08-07 00:08:52]
599*2^706892-1 is not prime.  Res64: C8AA33F348C855FA  Time : 1068.0 sec.
user=vaughan
[2009-08-07 00:10:24]
499*2^706893-1 is not prime.  Res64: BFBF98D7291665B0  Time : 866.0 sec.
user=gd_barnes
[2009-08-07 00:11:34]
525*2^706884-1 is not prime.  Res64: B01A9D798ED5A0A1  Time : 3372.0 sec.
user=vaughan
[2009-08-07 00:12:49]
461*2^706894-1 is not prime.  Res64: 117BA09B1BC90C45  Time : 840.0 sec.
user=gd_barnes
[2009-08-07 00:13:52]
495*2^706885-1 is not prime.  Res64: 2F1C91876ECF2A4E  Time : 3362.0 sec.
user=vaughan
[2009-08-07 00:14:52]
475*2^706895-1 is not prime.  Res64: A12B0032066D50B2  Time : 463.0 sec.
user=vaughan
[2009-08-07 00:15:05]
445*2^706895-1 is not prime.  Res64: C1FA94A9582F1BFA  Time : 840.0 sec.
user=vaughan
[2009-08-07 00:15:09]
455*2^706896-1 is not prime.  Res64: 9D3ABE464E9C249B  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 00:18:41]
407*2^706886-1 is not prime.  Res64: BC45D8953DDE9963  Time : 3367.0 sec.
user=gd_barnes
[2009-08-07 00:19:51]
515*2^706886-1 is not prime.  Res64: DE245CF8BFAA329A  Time : 3370.0 sec.
user=vaughan
[2009-08-07 00:22:34]
525*2^706898-1 is not prime.  Res64: 5ABC9AA98E0FD929  Time : 462.0 sec.
user=vaughan
[2009-08-07 00:22:45]
483*2^706899-1 is not prime.  Res64: 5D9C99A4A4A5DB03  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 00:22:48]
433*2^706887-1 is not prime.  Res64: EEA4FBE11F7A5BE5  Time : 3371.0 sec.
user=vaughan
[2009-08-07 00:24:46]
457*2^706897-1 is not prime.  Res64: D57E736E54EE7639  Time : 862.0 sec.
user=gd_barnes
[2009-08-07 00:25:05]
495*2^706888-1 is not prime.  Res64: 0594AC3C5E6E5F3A  Time : 3363.0 sec.
user=vaughan
[2009-08-07 00:26:49]
549*2^706897-1 is not prime.  Res64: 9321A9E1DC42724A  Time : 840.0 sec.
user=vaughan
[2009-08-07 00:27:41]
567*2^706896-1 is not prime.  Res64: 2C9B2A1A635A3823  Time : 1130.0 sec.
user=vaughan
[2009-08-07 00:29:14]
459*2^706899-1 is not prime.  Res64: A88A079553E9ECCD  Time : 849.0 sec.
user=gd_barnes
[2009-08-07 00:29:55]
459*2^706889-1 is not prime.  Res64: 195DCF00D77ABE6D  Time : 3368.0 sec.
user=vaughan
[2009-08-07 00:30:18]
513*2^706899-1 is not prime.  Res64: 4D9D4F64DF765395  Time : 464.0 sec.
user=vaughan
[2009-08-07 00:30:21]
553*2^706899-1 is not prime.  Res64: C48E2F08FB865153  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 00:31:04]
469*2^706889-1 is not prime.  Res64: A2C29C996F4196ED  Time : 3370.0 sec.
user=gd_barnes
[2009-08-07 00:34:02]
579*2^706889-1 is not prime.  Res64: 1EF8EC63A3945EEF  Time : 3371.0 sec.
user=gd_barnes
[2009-08-07 00:36:17]
531*2^706890-1 is not prime.  Res64: AEA4D63B00E1E1F1  Time : 3362.0 sec.
user=vaughan
[2009-08-07 00:37:57]
495*2^706902-1 is not prime.  Res64: 79BE03F5D52D0597  Time : 456.0 sec.
user=vaughan
[2009-08-07 00:38:01]
425*2^706902-1 is not prime.  Res64: D20B2BB2539C1532  Time : 463.0 sec.
user=vaughan
[2009-08-07 00:39:31]
569*2^706900-1 is not prime.  Res64: 83EEAD9D80011ACF  Time : 885.0 sec.
user=vaughan
[2009-08-07 00:41:06]
411*2^706901-1 is not prime.  Res64: 7AFAB86954316D1D  Time : 857.0 sec.
user=gd_barnes
[2009-08-07 00:41:08]
483*2^706891-1 is not prime.  Res64: 52DC911E340D3FB6  Time : 3368.0 sec.
user=gd_barnes
[2009-08-07 00:42:19]
483*2^706892-1 is not prime.  Res64: CE1A25BF8FDD9E0A  Time : 3370.0 sec.
user=vaughan
[2009-08-07 00:42:55]
487*2^706901-1 is not prime.  Res64: 3C84C1B38A15C52D  Time : 821.0 sec.
user=gd_barnes
[2009-08-07 00:45:16]
557*2^706892-1 is not prime.  Res64: E0C3B3113225A042  Time : 3371.0 sec.
user=vaughan
[2009-08-07 00:45:33]
429*2^706903-1 is not prime.  Res64: 709774AC411D08E4  Time : 456.0 sec.
user=vaughan
[2009-08-07 00:45:43]
441*2^706903-1 is not prime.  Res64: BA6B5C4DAA813C7D  Time : 463.0 sec.
user=vaughan
[2009-08-07 00:46:23]
451*2^706901-1 is not prime.  Res64: 61406AD92C99089C  Time : 1122.0 sec.
user=gd_barnes
[2009-08-07 00:47:30]
427*2^706893-1 is not prime.  Res64: CDCE7F4B4C09BFBF  Time : 3363.0 sec.
user=gd_barnes
[2009-08-07 00:52:22]
423*2^706894-1 is not prime.  Res64: 08727EDF5B6DE5F1  Time : 3368.0 sec.
user=vaughan
[2009-08-07 00:53:10]
533*2^706904-1 is not prime.  Res64: 3CCC2D32A46D918D  Time : 457.0 sec.
user=vaughan
[2009-08-07 00:53:25]
409*2^706905-1 is not prime.  Res64: 8A46596A4D81F68E  Time : 462.0 sec.
user=gd_barnes
[2009-08-07 00:53:32]
443*2^706894-1 is not prime.  Res64: C2CE4C340477DB5B  Time : 3369.0 sec.
user=vaughan
[2009-08-07 00:53:43]
465*2^706903-1 is not prime.  Res64: 6F4FBB27F31C6BBE  Time : 852.0 sec.
user=vaughan
[2009-08-07 00:54:52]
511*2^706903-1 is not prime.  Res64: 581F40FBD45DCD2E  Time : 827.0 sec.
user=gd_barnes
[2009-08-07 00:56:31]
573*2^706894-1 is not prime.  Res64: 03E0D118556067B5  Time : 3372.0 sec.
user=vaughan
[2009-08-07 00:57:03]
595*2^706903-1 is not prime.  Res64: B2A484DB7B789081  Time : 849.0 sec.
user=gd_barnes
[2009-08-07 00:58:42]
463*2^706895-1 is not prime.  Res64: 0A64A5C29B95A003  Time : 3363.0 sec.
user=vaughan
[2009-08-07 01:00:49]
481*2^706905-1 is not prime.  Res64: D961D602E66FD5B6  Time : 460.0 sec.
user=vaughan
[2009-08-07 01:01:11]
597*2^706905-1 is not prime.  Res64: F1DDE8F7F724272B  Time : 466.0 sec.
user=gd_barnes
[2009-08-07 01:03:35]
453*2^706896-1 is not prime.  Res64: 6A8457B90F1A9205  Time : 3367.0 sec.
user=gd_barnes
[2009-08-07 01:04:47]
557*2^706896-1 is not prime.  Res64: E486A488406BE26B  Time : 3370.0 sec.
user=vaughan
[2009-08-07 01:05:10]
459*2^706905-1 is not prime.  Res64: DD352580786CD817  Time : 1128.0 sec.
user=gd_barnes
[2009-08-07 01:07:45]
489*2^706897-1 is not prime.  Res64: C97E8A0F5FC01CC4  Time : 3371.0 sec.
user=vaughan
[2009-08-07 01:08:05]
497*2^706906-1 is not prime.  Res64: A17C8F80C91ED77A  Time : 862.0 sec.
user=vaughan
[2009-08-07 01:08:25]
513*2^706908-1 is not prime.  Res64: 715AF304BCBB8B87  Time : 457.0 sec.
user=vaughan
[2009-08-07 01:08:45]
575*2^706906-1 is not prime.  Res64: BEE59296CB2D6918  Time : 833.0 sec.
user=vaughan
[2009-08-07 01:08:53]
545*2^706908-1 is not prime.  Res64: BC3FF925D41570D7  Time : 463.0 sec.
user=gd_barnes
[2009-08-07 01:09:55]
453*2^706898-1 is not prime.  Res64: D4FA24062030BCEB  Time : 3363.0 sec.
user=vaughan
[2009-08-07 01:10:48]
519*2^706907-1 is not prime.  Res64: E688E5B98371C00E  Time : 827.0 sec.
user=gd_barnes
[2009-08-07 01:14:49]
493*2^706899-1 is not prime.  Res64: 363F18A3E02502D3  Time : 3368.0 sec.
user=gd_barnes
[2009-08-07 01:16:01]
511*2^706899-1 is not prime.  Res64: D0F745DBFA5A57F3  Time : 3370.0 sec.
user=vaughan
[2009-08-07 01:16:02]
589*2^706909-1 is not prime.  Res64: 05C9E3348CC6433F  Time : 457.0 sec.
user=vaughan
[2009-08-07 01:16:42]
483*2^706910-1 is not prime.  Res64: 832F644F85AD3FB9  Time : 469.0 sec.
user=gd_barnes
[2009-08-07 01:19:00]
437*2^706900-1 is not prime.  Res64: 48B602A05FD87774  Time : 3372.0 sec.
user=gd_barnes
[2009-08-07 01:21:09]
587*2^706900-1 is not prime.  Res64: D380D794276171D3  Time : 3364.0 sec.
user=vaughan
[2009-08-07 01:22:17]
549*2^706909-1 is not prime.  Res64: 459E32BCF466DE54  Time : 852.0 sec.
user=vaughan
[2009-08-07 01:22:23]
405*2^706910-1 is not prime.  Res64: 92239F3A3541CDAA  Time : 818.0 sec.
user=vaughan
[2009-08-07 01:23:23]
435*2^706909-1 is not prime.  Res64: 07FA69AC9CE1ADAE  Time : 1093.0 sec.
user=vaughan
[2009-08-07 01:23:40]
535*2^706911-1 is not prime.  Res64: 72919FEB30AF7B25  Time : 458.0 sec.
user=vaughan
[2009-08-07 01:24:31]
421*2^706913-1 is not prime.  Res64: B03131F9BDDE3AB0  Time : 470.0 sec.
user=vaughan
[2009-08-07 01:24:35]
411*2^706911-1 is not prime.  Res64: 4E3A55C36DF5EC8D  Time : 828.0 sec.
user=gd_barnes
[2009-08-07 01:26:02]
423*2^706902-1 is not prime.  Res64: 4CDEC90C691F5E0E  Time : 3367.0 sec.
user=gd_barnes
[2009-08-07 01:27:15]
503*2^706902-1 is not prime.  Res64: DF54CCA59E6C7C19  Time : 3371.0 sec.
user=gd_barnes
[2009-08-07 01:30:14]
557*2^706902-1 is not prime.  Res64: AF56A5CD98327A57  Time : 3372.0 sec.
user=vaughan
[2009-08-07 01:31:21]
549*2^706913-1 is not prime.  Res64: 1EDC661890AFD1A0  Time : 462.0 sec.
user=vaughan
[2009-08-07 01:32:17]
585*2^706913-1 is not prime.  Res64: 74BEC6034EFD01BB  Time : 466.0 sec.
user=gd_barnes
[2009-08-07 01:32:20]
411*2^706903-1 is not prime.  Res64: FBB5729CF3D9369F  Time : 3363.0 sec.
user=vaughan
[2009-08-07 01:36:09]
525*2^706913-1 is not prime.  Res64: 1F331317AD0D2AD2  Time : 826.0 sec.
user=vaughan
[2009-08-07 01:36:40]
507*2^706913-1 is not prime.  Res64: 181EC4CE66E0B0FE  Time : 863.0 sec.
user=gd_barnes
[2009-08-07 01:37:17]
555*2^706903-1 is not prime.  Res64: 9B20D4BC42945098  Time : 3369.0 sec.
user=vaughan
[2009-08-07 01:37:40]
527*2^706914-1 is not prime.  Res64: 4FF43335DFF0E178  Time : 786.0 sec.
user=gd_barnes
[2009-08-07 01:38:29]
589*2^706903-1 is not prime.  Res64: 50F19EF630FE9ADC  Time : 3370.0 sec.
user=vaughan
[2009-08-07 01:38:58]
519*2^706915-1 is not prime.  Res64: BFEACEC308A26FEB  Time : 458.0 sec.
user=vaughan
[2009-08-07 01:40:00]
555*2^706915-1 is not prime.  Res64: 225462FA45EAEA1E  Time : 463.0 sec.
user=gd_barnes
[2009-08-07 01:41:29]
417*2^706904-1 is not prime.  Res64: 02E7A043B331EDF5  Time : 3373.0 sec.
user=vaughan
[2009-08-07 01:42:36]
529*2^706913-1 is not prime.  Res64: 998B63AE41DD684D  Time : 1154.0 sec.
user=gd_barnes
[2009-08-07 01:43:34]
465*2^706905-1 is not prime.  Res64: 847B2386943EBEC3  Time : 3364.0 sec.
user=vaughan
[2009-08-07 01:46:34]
571*2^706919-1 is not prime.  Res64: 62011BE3510E51EB  Time : 457.0 sec.
user=vaughan
[2009-08-07 01:47:42]
425*2^706920-1 is not prime.  Res64: A89686248D300FA1  Time : 463.0 sec.
user=gd_barnes
[2009-08-07 01:48:30]
475*2^706905-1 is not prime.  Res64: 8A0EC5540B1EBFD0  Time : 3368.0 sec.
user=gd_barnes
[2009-08-07 01:49:43]
491*2^706906-1 is not prime.  Res64: 183769B01759F04D  Time : 3371.0 sec.
user=vaughan
[2009-08-07 01:50:43]
577*2^706917-1 is not prime.  Res64: FAC3E815B1BF7A1A  Time : 875.0 sec.
user=vaughan
[2009-08-07 01:51:31]
435*2^706919-1 is not prime.  Res64: 5D2491DA41470680  Time : 831.0 sec.
user=vaughan
[2009-08-07 01:52:02]
447*2^706918-1 is not prime.  Res64: 725AC85023043829  Time : 922.0 sec.
user=gd_barnes
[2009-08-07 01:52:44]
439*2^706907-1 is not prime.  Res64: 29F551D2491583D6  Time : 3374.0 sec.
user=vaughan
[2009-08-07 01:54:10]
567*2^706920-1 is not prime.  Res64: 5C5C806965E1342D  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 01:54:45]
437*2^706908-1 is not prime.  Res64: 029982E7860657F6  Time : 3363.0 sec.
user=vaughan
[2009-08-07 01:55:23]
577*2^706921-1 is not prime.  Res64: DA640CA4F2553F3A  Time : 461.0 sec.
user=gd_barnes
[2009-08-07 01:59:44]
549*2^706908-1 is not prime.  Res64: ED3180180AC085F4  Time : 3369.0 sec.
user=gd_barnes
[2009-08-07 02:00:57]
585*2^706908-1 is not prime.  Res64: 1A19E26A3FA03F4F  Time : 3370.0 sec.
user=vaughan
[2009-08-07 02:01:46]
553*2^706923-1 is not prime.  Res64: 3FE689D3FBF63B2D  Time : 456.0 sec.
user=vaughan
[2009-08-07 02:01:54]
447*2^706920-1 is not prime.  Res64: 7F6910FC30BFAC4C  Time : 1158.0 sec.
user=vaughan
[2009-08-07 02:03:05]
443*2^706924-1 is not prime.  Res64: 3082BAF43C80B899  Time : 462.0 sec.
user=gd_barnes
[2009-08-07 02:03:58]
499*2^706909-1 is not prime.  Res64: 0310AA56B9F79FEB  Time : 3373.0 sec.
user=vaughan
[2009-08-07 02:05:07]
503*2^706922-1 is not prime.  Res64: 5C09FA8C69114140  Time : 864.0 sec.
user=vaughan
[2009-08-07 02:05:46]
551*2^706922-1 is not prime.  Res64: F2B4EDA51FEECDD8  Time : 855.0 sec.
user=gd_barnes
[2009-08-07 02:05:58]
581*2^706910-1 is not prime.  Res64: B7D5A1E8BA20A490  Time : 3363.0 sec.
user=vaughan
[2009-08-07 02:06:48]
415*2^706923-1 is not prime.  Res64: A8FD063E7ACDEE0B  Time : 887.0 sec.
user=vaughan
[2009-08-07 02:09:23]
507*2^706924-1 is not prime.  Res64: 9B2014914DA8169E  Time : 457.0 sec.
user=vaughan
[2009-08-07 02:10:47]
593*2^706924-1 is not prime.  Res64: 985EAB6167C63C52  Time : 463.0 sec.
user=gd_barnes
[2009-08-07 02:10:59]
423*2^706911-1 is not prime.  Res64: 23BE982BE1DABEB6  Time : 3370.0 sec.
user=gd_barnes
[2009-08-07 02:12:10]
531*2^706911-1 is not prime.  Res64: 81E05925BA026F80  Time : 3370.0 sec.
user=gd_barnes
[2009-08-07 02:15:13]
445*2^706913-1 is not prime.  Res64: 6F1C3AA2A118BD5A  Time : 3373.0 sec.
user=vaughan
[2009-08-07 02:17:00]
515*2^706926-1 is not prime.  Res64: 44AC4076D463179F  Time : 458.0 sec.
user=gd_barnes
[2009-08-07 02:17:10]
489*2^706913-1 is not prime.  Res64: 2F97C540E0461C84  Time : 3362.0 sec.
user=vaughan
[2009-08-07 02:18:28]
573*2^706926-1 is not prime.  Res64: CD485972C8B3EF61  Time : 462.0 sec.
user=vaughan
[2009-08-07 02:19:14]
475*2^706925-1 is not prime.  Res64: 55A9AD5AA658AB88  Time : 847.0 sec.
user=vaughan
[2009-08-07 02:19:33]
589*2^706925-1 is not prime.  Res64: CF2EE4C0DFAF3FF2  Time : 827.0 sec.
user=vaughan
[2009-08-07 02:21:33]
575*2^706924-1 is not prime.  Res64: 1145B1818C0189A6  Time : 1179.0 sec.
user=vaughan
[2009-08-07 02:21:36]
485*2^706926-1 is not prime.  Res64: 8CB4EFD4D3D5AA7F  Time : 888.0 sec.
user=gd_barnes
[2009-08-07 02:22:13]
543*2^706914-1 is not prime.  Res64: D2A43936A333B877  Time : 3371.0 sec.
user=gd_barnes
[2009-08-07 02:23:25]
567*2^706914-1 is not prime.  Res64: 8FECE2DE3D7636F7  Time : 3370.0 sec.
user=vaughan
[2009-08-07 02:24:36]
489*2^706927-1 is not prime.  Res64: 886CE1ABB59A0493  Time : 457.0 sec.
user=vaughan
[2009-08-07 02:26:11]
465*2^706928-1 is not prime.  Res64: EA27858A1CAA3344  Time : 463.0 sec.
user=gd_barnes
[2009-08-07 02:26:27]
411*2^706915-1 is not prime.  Res64: 66B91E40EB4AC652  Time : 3373.0 sec.
user=gd_barnes
[2009-08-07 02:28:23]
451*2^706917-1 is not prime.  Res64: CC8F55D01DB0E8D8  Time : 3363.0 sec.
user=vaughan
[2009-08-07 02:32:13]
535*2^706929-1 is not prime.  Res64: 696FB52ECF05ED92  Time : 457.0 sec.
user=vaughan
[2009-08-07 02:33:24]
507*2^706928-1 is not prime.  Res64: 772DD25F836FF8F8  Time : 850.0 sec.
user=gd_barnes
[2009-08-07 02:33:26]
461*2^706918-1 is not prime.  Res64: B2B8B9AEA46EFC1C  Time : 3369.0 sec.
user=vaughan
[2009-08-07 02:33:53]
571*2^706929-1 is not prime.  Res64: 6E0B0150167234DB  Time : 462.0 sec.
user=vaughan
[2009-08-07 02:33:55]
539*2^706928-1 is not prime.  Res64: 81889065083A308B  Time : 862.0 sec.
user=gd_barnes
[2009-08-07 02:34:38]
489*2^706919-1 is not prime.  Res64: 5E88C84FC0CE0D66  Time : 3369.0 sec.
user=vaughan
[2009-08-07 02:36:09]
441*2^706929-1 is not prime.  Res64: 0628DF08179EBC8A  Time : 873.0 sec.
user=gd_barnes
[2009-08-07 02:37:42]
437*2^706920-1 is not prime.  Res64: 8111A35C7E5E33CA  Time : 3373.0 sec.
user=gd_barnes
[2009-08-07 02:39:35]
453*2^706920-1 is not prime.  Res64: 9EB03A9E6DDE21DA  Time : 3362.0 sec.
user=vaughan
[2009-08-07 02:39:54]
471*2^706930-1 is not prime.  Res64: 30C93E0BE7669FB2  Time : 462.0 sec.
user=vaughan
[2009-08-07 02:40:18]
557*2^706928-1 is not prime.  Res64: 8B8E58E2945CF8BD  Time : 1125.0 sec.
user=vaughan
[2009-08-07 02:41:36]
597*2^706930-1 is not prime.  Res64: 115F4CCD75840581  Time : 463.0 sec.
user=gd_barnes
[2009-08-07 02:44:40]
437*2^706922-1 is not prime.  Res64: 9FCF870A597ED857  Time : 3370.0 sec.
user=gd_barnes
[2009-08-07 02:45:53]
497*2^706922-1 is not prime.  Res64: 441632B63341F194  Time : 3370.0 sec.
user=vaughan
[2009-08-07 02:47:17]
567*2^706930-1 is not prime.  Res64: 2A42F74E7E2F829C  Time : 833.0 sec.
user=vaughan
[2009-08-07 02:47:30]
563*2^706932-1 is not prime.  Res64: 6BBBBC24BF066D09  Time : 457.0 sec.
user=vaughan
[2009-08-07 02:48:17]
403*2^706931-1 is not prime.  Res64: CC99F9DC9BC429D6  Time : 862.0 sec.
user=gd_barnes
[2009-08-07 02:48:56]
495*2^706923-1 is not prime.  Res64: 4291360E5B7360CF  Time : 3373.0 sec.
user=vaughan
[2009-08-07 02:49:18]
579*2^706932-1 is not prime.  Res64: 53564B014977E242  Time : 463.0 sec.
user=vaughan
[2009-08-07 02:50:32]
489*2^706931-1 is not prime.  Res64: C9B07AFC34845BE3  Time : 864.0 sec.
user=gd_barnes
[2009-08-07 02:50:48]
423*2^706924-1 is not prime.  Res64: CF0FCA569C903037  Time : 3363.0 sec.
user=vaughan
[2009-08-07 02:55:06]
549*2^706933-1 is not prime.  Res64: 09EBAAF0F939116D  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 02:55:54]
489*2^706924-1 is not prime.  Res64: DCF0BDFD390642B9  Time : 3370.0 sec.
user=vaughan
[2009-08-07 02:57:00]
407*2^706934-1 is not prime.  Res64: 999B38F1890AA31E  Time : 462.0 sec.
user=gd_barnes
[2009-08-07 02:57:06]
497*2^706924-1 is not prime.  Res64: 0466B6855F927752  Time : 3369.0 sec.
user=vaughan
[2009-08-07 02:59:02]
569*2^706932-1 is not prime.  Res64: 483DE9E5DF82A794  Time : 1124.0 sec.
user=gd_barnes
[2009-08-07 03:00:10]
459*2^706925-1 is not prime.  Res64: FB69A339195835C5  Time : 3372.0 sec.
user=vaughan
[2009-08-07 03:01:06]
465*2^706933-1 is not prime.  Res64: E3EDDD06A47C3727  Time : 829.0 sec.
user=vaughan
[2009-08-07 03:01:59]
567*2^706933-1 is not prime.  Res64: 30E0ACD41D193C9F  Time : 822.0 sec.
user=gd_barnes
[2009-08-07 03:02:01]
455*2^706926-1 is not prime.  Res64: 278A9E2E3EB24E32  Time : 3363.0 sec.
user=vaughan
[2009-08-07 03:02:42]
557*2^706934-1 is not prime.  Res64: F460E99DE60220B8  Time : 456.0 sec.
user=vaughan
[2009-08-07 03:04:31]
525*2^706934-1 is not prime.  Res64: BD5916F1781876EA  Time : 839.0 sec.
user=vaughan
[2009-08-07 03:04:41]
433*2^706935-1 is not prime.  Res64: C2DD1BED0EE50910  Time : 461.0 sec.
user=gd_barnes
[2009-08-07 03:07:08]
587*2^706926-1 is not prime.  Res64: 8CC8153A84E45B29  Time : 3369.0 sec.
user=gd_barnes
[2009-08-07 03:08:21]
423*2^706927-1 is not prime.  Res64: C33CC413398357FF  Time : 3371.0 sec.
user=vaughan
[2009-08-07 03:10:18]
455*2^706936-1 is not prime.  Res64: C45282922A61102E  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 03:11:24]
475*2^706927-1 is not prime.  Res64: BB96A0BEB616878A  Time : 3371.0 sec.
user=vaughan
[2009-08-07 03:12:24]
489*2^706937-1 is not prime.  Res64: CAD707EC688D33F9  Time : 463.0 sec.
user=gd_barnes
[2009-08-07 03:13:12]
555*2^706927-1 is not prime.  Res64: E903DE0339A5E942  Time : 3362.0 sec.
user=vaughan
[2009-08-07 03:15:48]
583*2^706935-1 is not prime.  Res64: 447FFD630098E788  Time : 883.0 sec.
user=vaughan
[2009-08-07 03:16:48]
585*2^706935-1 is not prime.  Res64: 080A45F234D6E79D  Time : 890.0 sec.
user=vaughan
[2009-08-07 03:17:54]
453*2^706938-1 is not prime.  Res64: 79762FDC32499A42  Time : 456.0 sec.
user=vaughan
[2009-08-07 03:18:03]
459*2^706935-1 is not prime.  Res64: 7F7C4DD127C6D392  Time : 1142.0 sec.
user=gd_barnes
[2009-08-07 03:18:23]
459*2^706929-1 is not prime.  Res64: 848A133503D7A4D8  Time : 3370.0 sec.
user=vaughan
[2009-08-07 03:19:33]
445*2^706937-1 is not prime.  Res64: 4433EF382AF9DBCC  Time : 902.0 sec.
user=gd_barnes
[2009-08-07 03:19:35]
481*2^706929-1 is not prime.  Res64: 09EFEE2A5E1DF5BC  Time : 3370.0 sec.
user=vaughan
[2009-08-07 03:20:07]
497*2^706938-1 is not prime.  Res64: 7065D5A30A84E3FC  Time : 463.0 sec.
user=gd_barnes
[2009-08-07 03:22:38]
595*2^706929-1 is not prime.  Res64: D01624679B97A63A  Time : 3371.0 sec.
user=gd_barnes
[2009-08-07 03:24:25]
413*2^706930-1 is not prime.  Res64: 43F74D39FF8500AA  Time : 3362.0 sec.
user=vaughan
[2009-08-07 03:25:30]
589*2^706939-1 is not prime.  Res64: 732C894EE5ABCC79  Time : 456.0 sec.
user=vaughan
[2009-08-07 03:27:48]
593*2^706940-1 is not prime.  Res64: 408C3D08B7948B2D  Time : 462.0 sec.
user=gd_barnes
[2009-08-07 03:29:36]
575*2^706930-1 is not prime.  Res64: 0BAAE17E7B732BCC  Time : 3370.0 sec.
user=vaughan
[2009-08-07 03:30:24]
421*2^706939-1 is not prime.  Res64: 1BB392DE1A08526F  Time : 876.0 sec.
user=gd_barnes
[2009-08-07 03:30:49]
411*2^706931-1 is not prime.  Res64: 14F314843725615D  Time : 3371.0 sec.
user=vaughan
[2009-08-07 03:30:59]
451*2^706939-1 is not prime.  Res64: 65B312AB509D4D78  Time : 851.0 sec.
user=vaughan
[2009-08-07 03:33:07]
537*2^706941-1 is not prime.  Res64: 8E7E3EC982C5AC5B  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 03:33:52]
493*2^706931-1 is not prime.  Res64: 9FBE31B0AB0702F8  Time : 3370.0 sec.
user=vaughan
[2009-08-07 03:34:19]
477*2^706940-1 is not prime.  Res64: B0DBF2D0CEF59DC7  Time : 886.0 sec.
user=vaughan
[2009-08-07 03:35:33]
571*2^706941-1 is not prime.  Res64: 0C011CB92B2AB34B  Time : 465.0 sec.
user=gd_barnes
[2009-08-07 03:35:37]
545*2^706932-1 is not prime.  Res64: 0A69BB4D06C3FED8  Time : 3362.0 sec.
user=vaughan
[2009-08-07 03:37:12]
595*2^706939-1 is not prime.  Res64: F5CF53F0180290BF  Time : 1149.0 sec.
user=vaughan
[2009-08-07 03:40:43]
591*2^706943-1 is not prime.  Res64: 534668E9B5C2DE4B  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 03:40:50]
411*2^706933-1 is not prime.  Res64: 059E016313B5D9C5  Time : 3370.0 sec.
user=gd_barnes
[2009-08-07 03:42:03]
451*2^706933-1 is not prime.  Res64: 43045B16D1C9AB8A  Time : 3370.0 sec.
user=vaughan
[2009-08-07 03:43:16]
527*2^706944-1 is not prime.  Res64: D14A7C31C8F196E9  Time : 463.0 sec.
user=vaughan
[2009-08-07 03:44:53]
483*2^706942-1 is not prime.  Res64: 5C08B6B2E5D3D407  Time : 870.0 sec.
user=vaughan
[2009-08-07 03:45:00]
571*2^706943-1 is not prime.  Res64: 1A6C143A76503718  Time : 842.0 sec.
user=gd_barnes
[2009-08-07 03:45:07]
595*2^706933-1 is not prime.  Res64: E9C443A0BCD5E671  Time : 3371.0 sec.
user=gd_barnes
[2009-08-07 03:46:49]
533*2^706934-1 is not prime.  Res64: D2DCAF75C17C78BA  Time : 3361.0 sec.
user=vaughan
[2009-08-07 03:48:19]
561*2^706945-1 is not prime.  Res64: 2EF56396106A3188  Time : 456.0 sec.
user=vaughan
[2009-08-07 03:48:37]
507*2^706944-1 is not prime.  Res64: E366E4A35309C97C  Time : 858.0 sec.
user=vaughan
[2009-08-07 03:50:58]
525*2^706946-1 is not prime.  Res64: 9F524915E59EDF18  Time : 462.0 sec.
user=gd_barnes
[2009-08-07 03:52:03]
587*2^706934-1 is not prime.  Res64: C145DEC69350F12C  Time : 3369.0 sec.
user=gd_barnes
[2009-08-07 03:53:16]
445*2^706935-1 is not prime.  Res64: FD2248224B1FE58C  Time : 3370.0 sec.
user=vaughan
[2009-08-07 03:55:56]
511*2^706947-1 is not prime.  Res64: C9F6FFB7EB1530A5  Time : 457.0 sec.
user=vaughan
[2009-08-07 03:56:00]
471*2^706945-1 is not prime.  Res64: 609091F4B6A357D1  Time : 1128.0 sec.
user=gd_barnes
[2009-08-07 03:56:20]
489*2^706935-1 is not prime.  Res64: B441CDAE949B15AC  Time : 3370.0 sec.
user=gd_barnes
[2009-08-07 03:58:01]
429*2^706936-1 is not prime.  Res64: CDAFB0D9D14991FF  Time : 3360.0 sec.
user=vaughan
[2009-08-07 03:58:40]
585*2^706947-1 is not prime.  Res64: B3283E0D796B2B41  Time : 462.0 sec.
user=vaughan
[2009-08-07 03:58:46]
545*2^706946-1 is not prime.  Res64: 1E3472D959515B40  Time : 833.0 sec.
user=vaughan
[2009-08-07 03:59:34]
551*2^706946-1 is not prime.  Res64: D0CCB463679697E8  Time : 874.0 sec.
user=vaughan
[2009-08-07 04:02:55]
549*2^706947-1 is not prime.  Res64: E36710FBBB9216C4  Time : 858.0 sec.
user=gd_barnes
[2009-08-07 04:03:17]
511*2^706937-1 is not prime.  Res64: 3300EDE8ADF477AD  Time : 3369.0 sec.
user=vaughan
[2009-08-07 04:03:32]
449*2^706948-1 is not prime.  Res64: 1E65440A0B4F81DC  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 04:04:31]
443*2^706938-1 is not prime.  Res64: 1EF5693F9E5F33E3  Time : 3370.0 sec.
user=vaughan
[2009-08-07 04:06:20]
565*2^706949-1 is not prime.  Res64: A35478D95A38A8B1  Time : 460.0 sec.
user=gd_barnes
[2009-08-07 04:07:35]
465*2^706938-1 is not prime.  Res64: 9A6215B527CE94A5  Time : 3371.0 sec.
user=gd_barnes
[2009-08-07 04:09:13]
515*2^706938-1 is not prime.  Res64: 70B939F3E4FE5A09  Time : 3361.0 sec.
user=vaughan
[2009-08-07 04:11:08]
465*2^706950-1 is not prime.  Res64: D73C5E702974C999  Time : 456.0 sec.
user=vaughan
[2009-08-07 04:12:02]
589*2^706949-1 is not prime.  Res64: 6795C8697B3240AC  Time : 796.0 sec.
user=vaughan
[2009-08-07 04:12:43]
485*2^706948-1 is not prime.  Res64: B6D6A7A6A7767006  Time : 1004.0 sec.
user=vaughan
[2009-08-07 04:12:51]
401*2^706950-1 is not prime.  Res64: 858D81C7FAA357BC  Time : 797.0 sec.
user=vaughan
[2009-08-07 04:14:02]
415*2^706951-1 is not prime.  Res64: FC4D98B57EC6E3EC  Time : 462.0 sec.
user=gd_barnes
[2009-08-07 04:14:30]
467*2^706940-1 is not prime.  Res64: 24E6210C2FBE6380  Time : 3368.0 sec.
user=vaughan
[2009-08-07 04:15:43]
413*2^706950-1 is not prime.  Res64: 69EC910D99A77FBB  Time : 769.0 sec.
user=gd_barnes
[2009-08-07 04:15:45]
515*2^706940-1 is not prime.  Res64: 402A085F90DC3A63  Time : 3370.0 sec.
user=vaughan
[2009-08-07 04:18:44]
595*2^706951-1 is not prime.  Res64: 9EAD548B86557903  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 04:18:49]
471*2^706941-1 is not prime.  Res64: 63F1FFA68FA65286  Time : 3371.0 sec.
user=gd_barnes
[2009-08-07 04:20:26]
475*2^706941-1 is not prime.  Res64: 9528AF1819E20D8B  Time : 3361.0 sec.
user=vaughan
[2009-08-07 04:21:44]
439*2^706953-1 is not prime.  Res64: D10E34B81CF9BBFA  Time : 462.0 sec.
user=vaughan
[2009-08-07 04:24:47]
435*2^706952-1 is not prime.  Res64: 62EC4FEB0A07B906  Time : 765.0 sec.
user=gd_barnes
[2009-08-07 04:25:45]
435*2^706942-1 is not prime.  Res64: FF891EA69878A9BC  Time : 3369.0 sec.
user=vaughan
[2009-08-07 04:25:50]
587*2^706952-1 is not prime.  Res64: A6A337BDA12F649E  Time : 780.0 sec.
user=vaughan
[2009-08-07 04:26:20]
565*2^706953-1 is not prime.  Res64: 2F835EEBDDB10E3D  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 04:26:59]
581*2^706942-1 is not prime.  Res64: F4E5862CD5E7F129  Time : 3370.0 sec.
user=vaughan
[2009-08-07 04:27:35]
533*2^706952-1 is not prime.  Res64: A32B702BA8725F7B  Time : 892.0 sec.
user=vaughan
[2009-08-07 04:28:32]
459*2^706953-1 is not prime.  Res64: 443F85FBB034F639  Time : 770.0 sec.
user=vaughan
[2009-08-07 04:29:26]
491*2^706954-1 is not prime.  Res64: 4FE8B74F006D485A  Time : 462.0 sec.
user=gd_barnes
[2009-08-07 04:30:04]
423*2^706944-1 is not prime.  Res64: EDD24CD67BF0BB19  Time : 3372.0 sec.
user=gd_barnes
[2009-08-07 04:31:38]
557*2^706944-1 is not prime.  Res64: 826FDCC686B43F73  Time : 3361.0 sec.
user=vaughan
[2009-08-07 04:33:57]
437*2^706956-1 is not prime.  Res64: 144EBB114EFC3651  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 04:36:59]
589*2^706945-1 is not prime.  Res64: 2762B121C3C3BE96  Time : 3370.0 sec.
user=vaughan
[2009-08-07 04:37:07]
489*2^706957-1 is not prime.  Res64: F36EB2AB61AC1732  Time : 461.0 sec.
user=vaughan
[2009-08-07 04:37:32]
525*2^706954-1 is not prime.  Res64: F8EE28127AE00FA1  Time : 766.0 sec.
user=gd_barnes
[2009-08-07 04:38:14]
507*2^706946-1 is not prime.  Res64: 3F65551AFA8AA89D  Time : 3371.0 sec.
user=vaughan
[2009-08-07 04:38:25]
489*2^706955-1 is not prime.  Res64: 2E109EB25782185E  Time : 755.0 sec.
user=vaughan
[2009-08-07 04:41:08]
421*2^706957-1 is not prime.  Res64: ECDAB413B4F63A31  Time : 756.0 sec.
user=gd_barnes
[2009-08-07 04:41:17]
575*2^706946-1 is not prime.  Res64: 5CB614565E8F75F3  Time : 3371.0 sec.
user=vaughan
[2009-08-07 04:41:33]
461*2^706958-1 is not prime.  Res64: 7F984933693B881A  Time : 456.0 sec.
user=vaughan
[2009-08-07 04:41:51]
597*2^706956-1 is not prime.  Res64: 6BFCA37606FA103E  Time : 856.0 sec.
user=gd_barnes
[2009-08-07 04:42:50]
581*2^706946-1 is not prime.  Res64: BF98DC843A93BBF2  Time : 3361.0 sec.
user=vaughan
[2009-08-07 04:44:50]
545*2^706958-1 is not prime.  Res64: DCEA36371B6BC761  Time : 463.0 sec.
user=gd_barnes
[2009-08-07 04:48:12]
413*2^706948-1 is not prime.  Res64: 92F07BEBF35E27D8  Time : 3369.0 sec.
user=vaughan
[2009-08-07 04:49:09]
501*2^706959-1 is not prime.  Res64: F4DF060619E88AD0  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 04:49:27]
437*2^706948-1 is not prime.  Res64: 1C1D2A6F1DBF9905  Time : 3371.0 sec.
user=vaughan
[2009-08-07 04:49:59]
551*2^706958-1 is not prime.  Res64: 378CFF94330A112A  Time : 747.0 sec.
user=vaughan
[2009-08-07 04:50:55]
563*2^706958-1 is not prime.  Res64: 260ABB34CA9842EF  Time : 750.0 sec.
user=gd_barnes
[2009-08-07 04:52:32]
519*2^706948-1 is not prime.  Res64: B7C4EC9B7988DF16  Time : 3372.0 sec.
user=vaughan
[2009-08-07 04:52:35]
559*2^706959-1 is not prime.  Res64: 68C35F83D4980DD4  Time : 465.0 sec.
user=vaughan
[2009-08-07 04:53:41]
423*2^706959-1 is not prime.  Res64: AD44403CC77548E9  Time : 753.0 sec.
user=gd_barnes
[2009-08-07 04:54:02]
579*2^706948-1 is not prime.  Res64: C05833A626327A1F  Time : 3361.0 sec.
user=vaughan
[2009-08-07 04:56:00]
513*2^706959-1 is not prime.  Res64: 06CA94B721344060  Time : 849.0 sec.
user=vaughan
[2009-08-07 04:56:45]
597*2^706960-1 is not prime.  Res64: 0DFBC956D035DB06  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 04:59:27]
447*2^706950-1 is not prime.  Res64: 1A1929F0C7BDB53C  Time : 3370.0 sec.
user=vaughan
[2009-08-07 05:00:16]
571*2^706961-1 is not prime.  Res64: 41C4CE766F9F87FC  Time : 462.0 sec.
user=gd_barnes
[2009-08-07 05:00:42]
521*2^706950-1 is not prime.  Res64: DC8F7FC4B83E1A8F  Time : 3371.0 sec.
user=vaughan
[2009-08-07 05:02:30]
421*2^706961-1 is not prime.  Res64: 9CDC13FF7DA002FC  Time : 751.0 sec.
user=vaughan
[2009-08-07 05:03:23]
495*2^706961-1 is not prime.  Res64: A84C5A42DC0F9B9B  Time : 749.0 sec.
user=gd_barnes
[2009-08-07 05:03:47]
453*2^706951-1 is not prime.  Res64: 0733D72513D5C4FE  Time : 3372.0 sec.
user=vaughan
[2009-08-07 05:04:21]
527*2^706962-1 is not prime.  Res64: A83FA8C4DF8DAAEC  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 05:05:15]
525*2^706951-1 is not prime.  Res64: CD17E391B27AD8E1  Time : 3362.0 sec.
user=vaughan
[2009-08-07 05:06:20]
591*2^706961-1 is not prime.  Res64: 1996631FD7C08DB4  Time : 759.0 sec.
user=vaughan
[2009-08-07 05:07:57]
563*2^706962-1 is not prime.  Res64: C7283EB873FB7A7E  Time : 461.0 sec.
user=vaughan
[2009-08-07 05:10:14]
453*2^706962-1 is not prime.  Res64: 4894E0553A816162  Time : 855.0 sec.
user=gd_barnes
[2009-08-07 05:10:41]
445*2^706953-1 is not prime.  Res64: D3DEDD93E6182B39  Time : 3371.0 sec.
user=gd_barnes
[2009-08-07 05:11:56]
471*2^706953-1 is not prime.  Res64: 82D24248A122FBB9  Time : 3372.0 sec.
user=vaughan
[2009-08-07 05:11:56]
595*2^706963-1 is not prime.  Res64: 643423071486B426  Time : 455.0 sec.
user=gd_barnes
[2009-08-07 05:15:01]
461*2^706954-1 is not prime.  Res64: 91B2B5026400E52C  Time : 3372.0 sec.
user=vaughan
[2009-08-07 05:15:18]
475*2^706963-1 is not prime.  Res64: 5F265B65848AA6B5  Time : 769.0 sec.
user=vaughan
[2009-08-07 05:15:40]
545*2^706964-1 is not prime.  Res64: 98B2DB224190A144  Time : 463.0 sec.
user=vaughan
[2009-08-07 05:16:08]
489*2^706963-1 is not prime.  Res64: 8B00D412C50875CC  Time : 766.0 sec.
user=gd_barnes
[2009-08-07 05:16:26]
483*2^706954-1 is not prime.  Res64: 6FA75F7882FC100D  Time : 3361.0 sec.
user=vaughan
[2009-08-07 05:18:58]
495*2^706964-1 is not prime.  Res64: DF805EB32A5AA03D  Time : 758.0 sec.
user=vaughan
[2009-08-07 05:19:33]
555*2^706965-1 is not prime.  Res64: C95F1203F0389691  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 05:21:54]
433*2^706955-1 is not prime.  Res64: 7082E809883781DF  Time : 3369.0 sec.
user=gd_barnes
[2009-08-07 05:23:10]
473*2^706956-1 is not prime.  Res64: 02D80697ACFD844A  Time : 3371.0 sec.
user=vaughan
[2009-08-07 05:23:25]
581*2^706966-1 is not prime.  Res64: F2B7E73D45E97F69  Time : 465.0 sec.
user=vaughan
[2009-08-07 05:24:51]
409*2^706965-1 is not prime.  Res64: 19195DB8564E0512  Time : 877.0 sec.
user=gd_barnes
[2009-08-07 05:26:16]
567*2^706957-1 is not prime.  Res64: 9F68DC1DF862E726  Time : 3372.0 sec.
user=vaughan
[2009-08-07 05:27:10]
405*2^706968-1 is not prime.  Res64: 37B0C0B27B36B885  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 05:27:40]
417*2^706958-1 is not prime.  Res64: BD2D5A1BC79E272B  Time : 3362.0 sec.
user=vaughan
[2009-08-07 05:27:53]
567*2^706966-1 is not prime.  Res64: 07FEA59287D2A708  Time : 755.0 sec.
user=vaughan
[2009-08-07 05:28:58]
587*2^706966-1 is not prime.  Res64: 2240AF1462E061B2  Time : 771.0 sec.
user=vaughan
[2009-08-07 05:31:21]
515*2^706968-1 is not prime.  Res64: A7BFDD58C11DF94C  Time : 476.0 sec.
user=vaughan
[2009-08-07 05:31:34]
465*2^706967-1 is not prime.  Res64: 97F43A8FC69C3106  Time : 756.0 sec.
user=gd_barnes
[2009-08-07 05:33:09]
503*2^706958-1 is not prime.  Res64: 0B0C4F57C9D8A3F3  Time : 3370.0 sec.
user=gd_barnes
[2009-08-07 05:34:25]
557*2^706958-1 is not prime.  Res64: 2E442BD9ED12EBFE  Time : 3371.0 sec.
user=vaughan
[2009-08-07 05:34:48]
427*2^706969-1 is not prime.  Res64: B4AECB1AF6B8FBD7  Time : 458.0 sec.
user=gd_barnes
[2009-08-07 05:37:30]
481*2^706959-1 is not prime.  Res64: AA96C16EDF6E7E70  Time : 3373.0 sec.
user=gd_barnes
[2009-08-07 05:38:51]
543*2^706959-1 is not prime.  Res64: DE2AC9F8C727C4A0  Time : 3361.0 sec.
user=vaughan
[2009-08-07 05:39:05]
501*2^706970-1 is not prime.  Res64: 41680937A10C431C  Time : 464.0 sec.
user=vaughan
[2009-08-07 05:39:27]
549*2^706968-1 is not prime.  Res64: D7DC9B8C73254570  Time : 876.0 sec.
user=vaughan
[2009-08-07 05:40:37]
489*2^706969-1 is not prime.  Res64: 9DA7C8FFBF7AAFF9  Time : 764.0 sec.
user=vaughan
[2009-08-07 05:41:50]
499*2^706969-1 is not prime.  Res64: CADA6208875666E9  Time : 772.0 sec.
user=vaughan
[2009-08-07 05:42:24]
433*2^706971-1 is not prime.  Res64: EDF79E38B9BDBB3D  Time : 456.0 sec.
user=vaughan
[2009-08-07 05:44:18]
503*2^706970-1 is not prime.  Res64: 00545BD68C555B34  Time : 765.0 sec.
user=gd_barnes
[2009-08-07 05:44:22]
537*2^706960-1 is not prime.  Res64: A21735EE657A31DB  Time : 3370.0 sec.
user=gd_barnes
[2009-08-07 05:45:38]
405*2^706961-1 is not prime.  Res64: D748C0485A2FD8A4  Time : 3371.0 sec.
user=vaughan
[2009-08-07 05:46:47]
411*2^706973-1 is not prime.  Res64: 78279CEA400C67F7  Time : 463.0 sec.
user=gd_barnes
[2009-08-07 05:48:45]
537*2^706961-1 is not prime.  Res64: 239154F53BB66250  Time : 3373.0 sec.
user=vaughan
[2009-08-07 05:50:01]
561*2^706973-1 is not prime.  Res64: 0CCCCF42CEBD3A1C  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 05:50:04]
431*2^706962-1 is not prime.  Res64: 9FC196CB65CC9BA0  Time : 3362.0 sec.
user=vaughan
[2009-08-07 05:53:27]
481*2^706973-1 is not prime.  Res64: 7306B7CD3146BC30  Time : 770.0 sec.
user=vaughan
[2009-08-07 05:54:04]
435*2^706973-1 is not prime.  Res64: 27D3AD54A61CEC45  Time : 877.0 sec.
user=vaughan
[2009-08-07 05:54:24]
559*2^706973-1 is not prime.  Res64: 19D83088AAB85CA3  Time : 754.0 sec.
user=vaughan
[2009-08-07 05:54:28]
593*2^706974-1 is not prime.  Res64: F31FCA3F0C9F3AD6  Time : 462.0 sec.
user=gd_barnes
[2009-08-07 05:55:37]
543*2^706962-1 is not prime.  Res64: DFB6DF90548FECD3  Time : 3370.0 sec.
user=gd_barnes
[2009-08-07 05:56:53]
581*2^706962-1 is not prime.  Res64: 53A55B3C73428E14  Time : 3371.0 sec.
user=vaughan
[2009-08-07 05:56:54]
565*2^706973-1 is not prime.  Res64: 1DD557004E6EBB71  Time : 757.0 sec.
user=vaughan
[2009-08-07 05:57:37]
423*2^706975-1 is not prime.  Res64: EE4C534FA01CE544  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 06:00:00]
495*2^706963-1 is not prime.  Res64: 32BEB5D9FAADAA73  Time : 3374.0 sec.
user=gd_barnes
[2009-08-07 06:01:18]
483*2^706964-1 is not prime.  Res64: 529982C322140F7A  Time : 3363.0 sec.
user=vaughan
[2009-08-07 06:02:11]
507*2^706976-1 is not prime.  Res64: B7A9AC245A280006  Time : 463.0 sec.
user=vaughan
[2009-08-07 06:05:13]
495*2^706978-1 is not prime.  Res64: 56A476F852E0DD1D  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 06:06:51]
471*2^706965-1 is not prime.  Res64: F3205757B594DE8D  Time : 3371.0 sec.
user=vaughan
[2009-08-07 06:06:59]
583*2^706975-1 is not prime.  Res64: B2C71D4652AD149C  Time : 812.0 sec.
user=vaughan
[2009-08-07 06:08:04]
503*2^706976-1 is not prime.  Res64: 50B60E829AFC6251  Time : 820.0 sec.
user=gd_barnes
[2009-08-07 06:08:06]
443*2^706966-1 is not prime.  Res64: 850969D3410A7F13  Time : 3370.0 sec.
user=vaughan
[2009-08-07 06:09:52]
439*2^706979-1 is not prime.  Res64: CC6FFAB64D7EA66F  Time : 461.0 sec.
user=vaughan
[2009-08-07 06:10:58]
435*2^706978-1 is not prime.  Res64: 695B5565C8F6E49E  Time : 844.0 sec.
user=gd_barnes
[2009-08-07 06:11:14]
513*2^706966-1 is not prime.  Res64: 4A67274C0839C015  Time : 3373.0 sec.
user=vaughan
[2009-08-07 06:11:26]
459*2^706976-1 is not prime.  Res64: 316C2FF7E135FD26  Time : 1042.0 sec.
user=gd_barnes
[2009-08-07 06:12:31]
403*2^706967-1 is not prime.  Res64: F8DA688C8425E483  Time : 3365.0 sec.
user=vaughan
[2009-08-07 06:12:49]
463*2^706979-1 is not prime.  Res64: B63263D83A846555  Time : 456.0 sec.
user=vaughan
[2009-08-07 06:17:39]
513*2^706980-1 is not prime.  Res64: 8C868DA6555CCDCE  Time : 467.0 sec.
user=gd_barnes
[2009-08-07 06:18:04]
465*2^706968-1 is not prime.  Res64: 73D847F2B8BFCCC9  Time : 3370.0 sec.
user=gd_barnes
[2009-08-07 06:19:21]
473*2^706968-1 is not prime.  Res64: B94E6ADE5875993B  Time : 3371.0 sec.
user=vaughan
[2009-08-07 06:20:26]
507*2^706982-1 is not prime.  Res64: 296EED16E4085258  Time : 457.0 sec.
user=vaughan
[2009-08-07 06:20:52]
553*2^706979-1 is not prime.  Res64: C3A9143E7DD6FD32  Time : 833.0 sec.
user=vaughan
[2009-08-07 06:21:48]
455*2^706980-1 is not prime.  Res64: DFE4249CD12D4B9D  Time : 824.0 sec.
user=gd_barnes
[2009-08-07 06:22:29]
411*2^706969-1 is not prime.  Res64: 80AC72C34722B7D2  Time : 3373.0 sec.
user=gd_barnes
[2009-08-07 06:23:44]
469*2^706969-1 is not prime.  Res64: A5D1856E937B07E2  Time : 3364.0 sec.
user=vaughan
[2009-08-07 06:24:34]
477*2^706981-1 is not prime.  Res64: B907C411B29765FB  Time : 816.0 sec.
user=vaughan
[2009-08-07 06:25:19]
521*2^706982-1 is not prime.  Res64: 3F020BE18AE471EC  Time : 460.0 sec.
user=vaughan
[2009-08-07 06:28:02]
471*2^706983-1 is not prime.  Res64: 0D9A895C47471365  Time : 456.0 sec.
user=vaughan
[2009-08-07 06:28:44]
455*2^706982-1 is not prime.  Res64: 2359669B7D78FE19  Time : 1038.0 sec.
user=gd_barnes
[2009-08-07 06:29:18]
515*2^706970-1 is not prime.  Res64: 69779D2351C03031  Time : 3369.0 sec.
user=gd_barnes
[2009-08-07 06:30:34]
525*2^706970-1 is not prime.  Res64: ACECF4F61EE51C04  Time : 3369.0 sec.
user=vaughan
[2009-08-07 06:33:01]
495*2^706984-1 is not prime.  Res64: D3290D2BE05FF6D2  Time : 462.0 sec.
user=vaughan
[2009-08-07 06:33:24]
523*2^706983-1 is not prime.  Res64: 70DEC4DC0412D699  Time : 752.0 sec.
user=gd_barnes
[2009-08-07 06:33:43]
531*2^706971-1 is not prime.  Res64: CF59F035CDC4B000  Time : 3373.0 sec.
user=vaughan
[2009-08-07 06:34:11]
555*2^706983-1 is not prime.  Res64: 51351D94CD1A30E3  Time : 743.0 sec.
user=gd_barnes
[2009-08-07 06:34:58]
449*2^706972-1 is not prime.  Res64: 54A3F81A870DE405  Time : 3367.0 sec.
user=vaughan
[2009-08-07 06:35:38]
519*2^706984-1 is not prime.  Res64: BF0CD163AD5E3356  Time : 457.0 sec.
user=vaughan
[2009-08-07 06:37:15]
435*2^706984-1 is not prime.  Res64: 2E9D550DEFF8C319  Time : 761.0 sec.
user=gd_barnes
[2009-08-07 06:40:32]
571*2^706973-1 is not prime.  Res64: 81BD94E2FD52C6E1  Time : 3370.0 sec.
user=vaughan
[2009-08-07 06:40:44]
575*2^706984-1 is not prime.  Res64: 7781506E3E9A76DE  Time : 463.0 sec.
user=gd_barnes
[2009-08-07 06:41:48]
503*2^706974-1 is not prime.  Res64: 20C415B41EC8F325  Time : 3370.0 sec.
user=vaughan
[2009-08-07 06:43:15]
513*2^706986-1 is not prime.  Res64: A2F25EEBB6A5935A  Time : 458.0 sec.
user=vaughan
[2009-08-07 06:43:54]
549*2^706984-1 is not prime.  Res64: 744755AFE4417A7B  Time : 910.0 sec.
user=gd_barnes
[2009-08-07 06:44:58]
405*2^706975-1 is not prime.  Res64: 7BD56EDA90173D86  Time : 3373.0 sec.
user=gd_barnes
[2009-08-07 06:46:11]
535*2^706975-1 is not prime.  Res64: DA7874128550B6C5  Time : 3367.0 sec.
user=vaughan
[2009-08-07 06:46:23]
587*2^706984-1 is not prime.  Res64: 98391784FCABF366  Time : 780.0 sec.
user=vaughan
[2009-08-07 06:47:33]
445*2^706985-1 is not prime.  Res64: 2EA15FDD6A5167E6  Time : 802.0 sec.
user=vaughan
[2009-08-07 06:48:26]
439*2^706987-1 is not prime.  Res64: 352548289122E2EA  Time : 462.0 sec.
user=vaughan
[2009-08-07 06:50:26]
537*2^706986-1 is not prime.  Res64: 88B35C760DC2AC3B  Time : 791.0 sec.
user=vaughan
[2009-08-07 06:50:51]
489*2^706987-1 is not prime.  Res64: DDDE0D3867703811  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 06:51:46]
557*2^706976-1 is not prime.  Res64: 65B896EDABF1F5BA  Time : 3369.0 sec.
user=gd_barnes
[2009-08-07 06:53:03]
571*2^706977-1 is not prime.  Res64: EE564B2EFC7A777D  Time : 3370.0 sec.
user=vaughan
[2009-08-07 06:56:08]
489*2^706988-1 is not prime.  Res64: E6DF6A8C79FECE0C  Time : 462.0 sec.
user=gd_barnes
[2009-08-07 06:56:11]
545*2^706978-1 is not prime.  Res64: 7BC63E43FDC8436B  Time : 3372.0 sec.
user=gd_barnes
[2009-08-07 06:57:23]
555*2^706978-1 is not prime.  Res64: 70BE3FD1B6D03E46  Time : 3365.0 sec.
user=vaughan
[2009-08-07 06:58:27]
451*2^706989-1 is not prime.  Res64: 4D5CCAF110B35446  Time : 456.0 sec.
user=vaughan
[2009-08-07 06:59:21]
583*2^706987-1 is not prime.  Res64: 0DB54AB8000BA681  Time : 778.0 sec.
user=vaughan
[2009-08-07 06:59:45]
493*2^706987-1 is not prime.  Res64: 640A3440F9A57D09  Time : 951.0 sec.
user=vaughan
[2009-08-07 07:00:25]
417*2^706988-1 is not prime.  Res64: A133624E41FF86CF  Time : 772.0 sec.
user=gd_barnes
[2009-08-07 07:02:58]
505*2^706979-1 is not prime.  Res64: BD2E8048DD33BBE0  Time : 3368.0 sec.
user=vaughan
[2009-08-07 07:03:24]
533*2^706988-1 is not prime.  Res64: 4FE7DFF2DB0B74C1  Time : 778.0 sec.
user=vaughan
[2009-08-07 07:03:50]
425*2^706990-1 is not prime.  Res64: 51175E953A47B5E2  Time : 462.0 sec.
user=gd_barnes
[2009-08-07 07:04:16]
479*2^706980-1 is not prime.  Res64: 998873A9DD821DFF  Time : 3370.0 sec.
user=vaughan
[2009-08-07 07:06:03]
477*2^706990-1 is not prime.  Res64: 2DDD4CAB74E1F6CD  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 07:07:26]
565*2^706981-1 is not prime.  Res64: 751A9F18A1A642B3  Time : 3372.0 sec.
user=gd_barnes
[2009-08-07 07:08:37]
461*2^706982-1 is not prime.  Res64: F8FD92F5B77AC0A8  Time : 3366.0 sec.
user=vaughan
[2009-08-07 07:11:32]
465*2^706991-1 is not prime.  Res64: E27EE244801D8ED1  Time : 462.0 sec.
user=vaughan
[2009-08-07 07:13:12]
483*2^706990-1 is not prime.  Res64: F14734CE010200CA  Time : 831.0 sec.
user=vaughan
[2009-08-07 07:13:39]
405*2^706992-1 is not prime.  Res64: 62A3944C0EE9EEBE  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 07:14:13]
581*2^706982-1 is not prime.  Res64: 1BD5307FBA6AF477  Time : 3369.0 sec.
user=vaughan
[2009-08-07 07:14:23]
591*2^706990-1 is not prime.  Res64: 81043D173A239B19  Time : 838.0 sec.
user=gd_barnes
[2009-08-07 07:15:30]
439*2^706983-1 is not prime.  Res64: FA81C2B3E167DB74  Time : 3369.0 sec.
user=vaughan
[2009-08-07 07:17:29]
463*2^706991-1 is not prime.  Res64: 80475843E1212007  Time : 846.0 sec.
user=vaughan
[2009-08-07 07:17:36]
581*2^706990-1 is not prime.  Res64: 0802F2CD0BAA9032  Time : 1071.0 sec.
user=gd_barnes
[2009-08-07 07:18:40]
583*2^706983-1 is not prime.  Res64: 8BC7978BC1C81BB1  Time : 3371.0 sec.
user=vaughan
[2009-08-07 07:19:15]
513*2^706992-1 is not prime.  Res64: 1703C1E87E98DFB9  Time : 463.0 sec.
user=gd_barnes
[2009-08-07 07:19:49]
419*2^706984-1 is not prime.  Res64: 8B31FA7A511133C5  Time : 3365.0 sec.
user=vaughan
[2009-08-07 07:21:15]
569*2^706992-1 is not prime.  Res64: B964F2C565940888  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 07:25:27]
567*2^706984-1 is not prime.  Res64: 98AE39FA2C39D8AD  Time : 3369.0 sec.
user=vaughan
[2009-08-07 07:26:42]
567*2^706992-1 is not prime.  Res64: 441E2664C9ED89B8  Time : 810.0 sec.
user=gd_barnes
[2009-08-07 07:26:43]
573*2^706984-1 is not prime.  Res64: 35E52466E73364EC  Time : 3369.0 sec.
user=vaughan
[2009-08-07 07:26:57]
429*2^706996-1 is not prime.  Res64: 136109527171DFAA  Time : 462.0 sec.
user=vaughan
[2009-08-07 07:27:51]
525*2^706993-1 is not prime.  Res64: A64005CBD0A61BC1  Time : 808.0 sec.
user=vaughan
[2009-08-07 07:28:51]
405*2^706997-1 is not prime.  Res64: 74B0865403A5DB5D  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 07:29:54]
597*2^706984-1 is not prime.  Res64: E889BF6052A88AA6  Time : 3371.0 sec.
user=gd_barnes
[2009-08-07 07:31:03]
465*2^706986-1 is not prime.  Res64: 3EAFD539AC2F088E  Time : 3365.0 sec.
user=vaughan
[2009-08-07 07:31:26]
563*2^706994-1 is not prime.  Res64: 8D1278474069D9E4  Time : 837.0 sec.
user=vaughan
[2009-08-07 07:34:39]
481*2^706999-1 is not prime.  Res64: 5AF567F7B6C8B545  Time : 462.0 sec.
user=vaughan
[2009-08-07 07:35:31]
495*2^706995-1 is not prime.  Res64: A6EB55C083180D6D  Time : 1076.0 sec.
user=vaughan
[2009-08-07 07:36:28]
523*2^706999-1 is not prime.  Res64: 83807B5738F4F687  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 07:36:40]
587*2^706986-1 is not prime.  Res64: DE3C720B13C0D13A  Time : 3368.0 sec.
user=gd_barnes
[2009-08-07 07:37:57]
483*2^706987-1 is not prime.  Res64: BD61CAB3F175E56B  Time : 3369.0 sec.
user=vaughan
[2009-08-07 07:40:36]
411*2^706999-1 is not prime.  Res64: 0F44208D483D9296  Time : 834.0 sec.
user=gd_barnes
[2009-08-07 07:41:09]
505*2^706987-1 is not prime.  Res64: 8D8DB55A3F650CCF  Time : 3371.0 sec.
user=vaughan
[2009-08-07 07:41:51]
493*2^706999-1 is not prime.  Res64: 0AF9B429398CE2BE  Time : 840.0 sec.
user=gd_barnes
[2009-08-07 07:42:16]
549*2^706987-1 is not prime.  Res64: BFFCBF59FAA3B42C  Time : 3365.0 sec.
user=vaughan
[2009-08-07 07:42:21]
549*2^707001-1 is not prime.  Res64: FE99B1743AAFFB4F  Time : 462.0 sec.
user=vaughan
[2009-08-07 07:44:05]
435*2^707002-1 is not prime.  Res64: 6D37DD3A4BA45E8A  Time : 457.0 sec.
user=vaughan
[2009-08-07 07:45:42]
529*2^707001-1 is not prime.  Res64: 7C2F1218901C89BC  Time : 856.0 sec.
user=gd_barnes
[2009-08-07 07:47:54]
495*2^706989-1 is not prime.  Res64: 14F8CAFB1173E2A2  Time : 3368.0 sec.
user=gd_barnes
[2009-08-07 07:49:11]
597*2^706989-1 is not prime.  Res64: 51FB56C1C08D6B25  Time : 3368.0 sec.
user=vaughan
[2009-08-07 07:50:03]
501*2^707003-1 is not prime.  Res64: EC69F948F2095842  Time : 462.0 sec.
user=vaughan
[2009-08-07 07:51:41]
503*2^707004-1 is not prime.  Res64: 73DCA3037B4980A0  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 07:52:23]
461*2^706990-1 is not prime.  Res64: 1A03FDDF1B5E3F8E  Time : 3372.0 sec.
user=gd_barnes
[2009-08-07 07:53:29]
467*2^706990-1 is not prime.  Res64: 5311F2E483505BBA  Time : 3366.0 sec.
user=vaughan
[2009-08-07 07:54:18]
565*2^707001-1 is not prime.  Res64: 4634B435178F8A1F  Time : 1127.0 sec.
user=vaughan
[2009-08-07 07:54:27]
513*2^707002-1 is not prime.  Res64: 6F29E7C4F14E0F70  Time : 831.0 sec.
user=vaughan
[2009-08-07 07:55:13]
451*2^707003-1 is not prime.  Res64: 46BB1B97B372A12C  Time : 802.0 sec.
user=vaughan
[2009-08-07 07:57:45]
451*2^707005-1 is not prime.  Res64: B2EB937D5858361C  Time : 462.0 sec.
user=gd_barnes
[2009-08-07 07:59:07]
433*2^706991-1 is not prime.  Res64: 973F8077A741940C  Time : 3369.0 sec.
user=vaughan
[2009-08-07 07:59:18]
511*2^707005-1 is not prime.  Res64: A9544D8B440D82EE  Time : 457.0 sec.
user=vaughan
[2009-08-07 07:59:40]
525*2^707004-1 is not prime.  Res64: B9D87FF8F66A41FD  Time : 838.0 sec.
user=gd_barnes
[2009-08-07 08:00:24]
579*2^706991-1 is not prime.  Res64: E17C0BA7124D6081  Time : 3368.0 sec.
user=gd_barnes
[2009-08-07 08:03:37]
453*2^706992-1 is not prime.  Res64: F73360EADEC6E853  Time : 3371.0 sec.
user=gd_barnes
[2009-08-07 08:04:43]
497*2^706992-1 is not prime.  Res64: CBC05E572E5337AD  Time : 3366.0 sec.
user=vaughan
[2009-08-07 08:05:27]
567*2^707006-1 is not prime.  Res64: 39176D0FA955817D  Time : 462.0 sec.
user=vaughan
[2009-08-07 08:06:54]
493*2^707007-1 is not prime.  Res64: 6365D98A6C519867  Time : 456.0 sec.
user=vaughan
[2009-08-07 08:08:05]
521*2^707006-1 is not prime.  Res64: 2224ACB362C931AB  Time : 818.0 sec.
user=vaughan
[2009-08-07 08:08:37]
551*2^707006-1 is not prime.  Res64: 7A8005FF710BFFDA  Time : 805.0 sec.
user=gd_barnes
[2009-08-07 08:10:21]
499*2^706993-1 is not prime.  Res64: E35B15351D6D2FDD  Time : 3368.0 sec.
user=gd_barnes
[2009-08-07 08:11:39]
565*2^706993-1 is not prime.  Res64: B22DAD27F037E41F  Time : 3369.0 sec.
user=vaughan
[2009-08-07 08:12:24]
477*2^707006-1 is not prime.  Res64: 8B815F4CA6E7D286  Time : 1086.0 sec.
user=vaughan
[2009-08-07 08:13:10]
439*2^707009-1 is not prime.  Res64: 6DB72734CC53EA4B  Time : 463.0 sec.
user=vaughan
[2009-08-07 08:13:35]
553*2^707007-1 is not prime.  Res64: 300B2AB8BB356E0A  Time : 835.0 sec.
user=vaughan
[2009-08-07 08:14:30]
501*2^707009-1 is not prime.  Res64: 169B6328F1F398B3  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 08:14:52]
573*2^706995-1 is not prime.  Res64: EDF1ACBBA79EB5F6  Time : 3372.0 sec.
user=gd_barnes
[2009-08-07 08:15:56]
537*2^706996-1 is not prime.  Res64: A88EA31D9F95E48C  Time : 3367.0 sec.
user=vaughan
[2009-08-07 08:20:53]
447*2^707010-1 is not prime.  Res64: FBE41E751AF5313F  Time : 463.0 sec.
user=vaughan
[2009-08-07 08:21:33]
549*2^707009-1 is not prime.  Res64: F91B7C9B379C13CA  Time : 808.0 sec.
user=gd_barnes
[2009-08-07 08:21:35]
487*2^706997-1 is not prime.  Res64: A6A019394E4A11F9  Time : 3368.0 sec.
user=vaughan
[2009-08-07 08:21:45]
567*2^707009-1 is not prime.  Res64: 1818C3B2E0CFC190  Time : 788.0 sec.
user=vaughan
[2009-08-07 08:22:06]
421*2^707011-1 is not prime.  Res64: 32FF8CAA6EC2765D  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 08:22:52]
423*2^706999-1 is not prime.  Res64: 27F0D7358F38E947  Time : 3369.0 sec.
user=gd_barnes
[2009-08-07 08:26:06]
549*2^706999-1 is not prime.  Res64: 507CD156B32F74E6  Time : 3372.0 sec.
user=vaughan
[2009-08-07 08:27:03]
513*2^707010-1 is not prime.  Res64: E327FCB77EE45703  Time : 808.0 sec.
user=gd_barnes
[2009-08-07 08:27:09]
439*2^707001-1 is not prime.  Res64: 8549C769B1F4FA69  Time : 3366.0 sec.
user=vaughan
[2009-08-07 08:28:35]
531*2^707011-1 is not prime.  Res64: 87E0C9619A1091BC  Time : 462.0 sec.
user=vaughan
[2009-08-07 08:29:27]
443*2^707010-1 is not prime.  Res64: 41A02BB8E01C3454  Time : 1023.0 sec.
user=vaughan
[2009-08-07 08:29:42]
591*2^707013-1 is not prime.  Res64: CBCDCB9AA5D4E88D  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 08:32:49]
477*2^707002-1 is not prime.  Res64: F7BCFCA68871B054  Time : 3369.0 sec.
user=gd_barnes
[2009-08-07 08:34:06]
497*2^707002-1 is not prime.  Res64: 6EF36A13D54DA700  Time : 3369.0 sec.
user=vaughan
[2009-08-07 08:35:04]
453*2^707012-1 is not prime.  Res64: 08C5B58460064F90  Time : 811.0 sec.
user=vaughan
[2009-08-07 08:35:27]
565*2^707013-1 is not prime.  Res64: 80F96B14860981E9  Time : 822.0 sec.
user=vaughan
[2009-08-07 08:36:17]
459*2^707015-1 is not prime.  Res64: 059D87FF2044EF26  Time : 462.0 sec.
user=vaughan
[2009-08-07 08:37:18]
475*2^707015-1 is not prime.  Res64: BF933B22FCA3EF9A  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 08:37:21]
445*2^707003-1 is not prime.  Res64: 12B8F8EE5075B8B8  Time : 3372.0 sec.
user=gd_barnes
[2009-08-07 08:38:22]
453*2^707003-1 is not prime.  Res64: 3554406BC005A569  Time : 3367.0 sec.
user=vaughan
[2009-08-07 08:40:41]
555*2^707014-1 is not prime.  Res64: D8C8C000FE6F786A  Time : 819.0 sec.
user=vaughan
[2009-08-07 08:43:58]
441*2^707017-1 is not prime.  Res64: D71C426A8C88B4B3  Time : 461.0 sec.
user=gd_barnes
[2009-08-07 08:44:03]
557*2^707004-1 is not prime.  Res64: 0E45CE1E0957F4EE  Time : 3369.0 sec.
user=vaughan
[2009-08-07 08:44:55]
489*2^707017-1 is not prime.  Res64: 307EF7A4C7A59933  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 08:45:20]
415*2^707005-1 is not prime.  Res64: B73F36E2EF9D0053  Time : 3370.0 sec.
user=vaughan
[2009-08-07 08:46:31]
465*2^707015-1 is not prime.  Res64: 94B6D94777A0DDEB  Time : 1025.0 sec.
user=vaughan
[2009-08-07 08:48:15]
497*2^707016-1 is not prime.  Res64: 929F86E7B79BF3A1  Time : 791.0 sec.
user=gd_barnes
[2009-08-07 08:48:35]
407*2^707006-1 is not prime.  Res64: D1549349AE2C744F  Time : 3373.0 sec.
user=vaughan
[2009-08-07 08:49:00]
409*2^707017-1 is not prime.  Res64: C63655AA7854CB8C  Time : 813.0 sec.
user=gd_barnes
[2009-08-07 08:49:36]
473*2^707006-1 is not prime.  Res64: 284471279CEECDF6  Time : 3367.0 sec.
user=vaughan
[2009-08-07 08:51:40]
525*2^707018-1 is not prime.  Res64: 2336DA3338DF4087  Time : 462.0 sec.
user=vaughan
[2009-08-07 08:52:31]
433*2^707019-1 is not prime.  Res64: 24A04982AD18D8E3  Time : 456.0 sec.
user=vaughan
[2009-08-07 08:53:32]
595*2^707017-1 is not prime.  Res64: D59EF58169C9D569  Time : 771.0 sec.
user=gd_barnes
[2009-08-07 08:55:16]
403*2^707007-1 is not prime.  Res64: FBC705609E2E7739  Time : 3369.0 sec.
user=gd_barnes
[2009-08-07 08:56:34]
585*2^707007-1 is not prime.  Res64: 787F8E9B6B19AA1A  Time : 3370.0 sec.
user=vaughan
[2009-08-07 08:59:22]
587*2^707020-1 is not prime.  Res64: E7CFE3CFE8F4208D  Time : 462.0 sec.
user=gd_barnes
[2009-08-07 08:59:50]
465*2^707008-1 is not prime.  Res64: 7A110A50286B4EEC  Time : 3373.0 sec.
user=vaughan
[2009-08-07 09:00:08]
475*2^707021-1 is not prime.  Res64: ABAA0CC13A0D7DE1  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 09:00:49]
575*2^707008-1 is not prime.  Res64: 867B35D65168AC17  Time : 3367.0 sec.
user=vaughan
[2009-08-07 09:00:50]
511*2^707019-1 is not prime.  Res64: 3993043C62D35B06  Time : 756.0 sec.
user=vaughan
[2009-08-07 09:00:53]
495*2^707019-1 is not prime.  Res64: 685AF2D38B04DC77  Time : 862.0 sec.
user=vaughan
[2009-08-07 09:01:38]
447*2^707020-1 is not prime.  Res64: 200A54FB2F544364  Time : 771.0 sec.
user=vaughan
[2009-08-07 09:06:04]
417*2^707022-1 is not prime.  Res64: 76A1332D248E479D  Time : 752.0 sec.
user=gd_barnes
[2009-08-07 09:06:31]
401*2^707010-1 is not prime.  Res64: 338B9340787B1568  Time : 3370.0 sec.
user=vaughan
[2009-08-07 09:07:04]
527*2^707022-1 is not prime.  Res64: 5C55F20562499558  Time : 462.0 sec.
user=vaughan
[2009-08-07 09:07:45]
593*2^707022-1 is not prime.  Res64: 495080726BFAD1FE  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 09:07:48]
423*2^707010-1 is not prime.  Res64: 321656823C4AC5DC  Time : 3369.0 sec.
user=gd_barnes
[2009-08-07 09:11:03]
475*2^707011-1 is not prime.  Res64: 4E9F30FAA86E1C17  Time : 3371.0 sec.
user=gd_barnes
[2009-08-07 09:12:02]
499*2^707011-1 is not prime.  Res64: 8F1F7E16D796CAF9  Time : 3366.0 sec.
user=vaughan
[2009-08-07 09:13:49]
483*2^707023-1 is not prime.  Res64: 68FA3A1FE34F68B2  Time : 779.0 sec.
user=vaughan
[2009-08-07 09:14:46]
503*2^707024-1 is not prime.  Res64: 7B63519922E4DBEC  Time : 462.0 sec.
user=vaughan
[2009-08-07 09:15:05]
555*2^707023-1 is not prime.  Res64: 574B912F64365C33  Time : 808.0 sec.
user=vaughan
[2009-08-07 09:15:21]
405*2^707025-1 is not prime.  Res64: 2B47CAD4944A3978  Time : 456.0 sec.
user=vaughan
[2009-08-07 09:16:59]
511*2^707023-1 is not prime.  Res64: CF37CC6C25294941  Time : 967.0 sec.
user=gd_barnes
[2009-08-07 09:17:44]
429*2^707013-1 is not prime.  Res64: 0BA814B497C9A5E5  Time : 3369.0 sec.
user=vaughan
[2009-08-07 09:19:01]
595*2^707023-1 is not prime.  Res64: 63D57300C0671ADB  Time : 778.0 sec.
user=gd_barnes
[2009-08-07 09:19:02]
423*2^707014-1 is not prime.  Res64: 567BE58FEC7215EF  Time : 3370.0 sec.
user=gd_barnes
[2009-08-07 09:22:18]
491*2^707014-1 is not prime.  Res64: 23D164DF1CDC7967  Time : 3372.0 sec.
user=vaughan
[2009-08-07 09:22:28]
471*2^707026-1 is not prime.  Res64: 0051B11B68B79EF5  Time : 462.0 sec.
user=vaughan
[2009-08-07 09:22:58]
433*2^707027-1 is not prime.  Res64: E2A5D1CE3EB90511  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 09:23:16]
453*2^707015-1 is not prime.  Res64: FBE1FC58CF07E89B  Time : 3367.0 sec.
user=vaughan
[2009-08-07 09:26:17]
411*2^707026-1 is not prime.  Res64: 727B1F4AB57D6C01  Time : 748.0 sec.
user=vaughan
[2009-08-07 09:28:07]
597*2^707026-1 is not prime.  Res64: 959F93950F849EE1  Time : 782.0 sec.
user=gd_barnes
[2009-08-07 09:28:58]
455*2^707016-1 is not prime.  Res64: F23CB7877B020187  Time : 3369.0 sec.
user=vaughan
[2009-08-07 09:30:11]
537*2^707028-1 is not prime.  Res64: C0219DF3ABE5323D  Time : 463.0 sec.
user=gd_barnes
[2009-08-07 09:30:16]
485*2^707016-1 is not prime.  Res64: 831EDEA6ECA3B1C3  Time : 3370.0 sec.
user=vaughan
[2009-08-07 09:30:34]
549*2^707028-1 is not prime.  Res64: 4A8B0A670DFC6A83  Time : 456.0 sec.
user=vaughan
[2009-08-07 09:32:03]
531*2^707027-1 is not prime.  Res64: B06B8994662F90AC  Time : 783.0 sec.
user=vaughan
[2009-08-07 09:33:05]
465*2^707027-1 is not prime.  Res64: BFF4700960EA56D8  Time : 967.0 sec.
user=gd_barnes
[2009-08-07 09:33:33]
499*2^707017-1 is not prime.  Res64: A6C135ABB69655AF  Time : 3372.0 sec.
user=gd_barnes
[2009-08-07 09:34:29]
531*2^707017-1 is not prime.  Res64: B16C6F8B92DD01A6  Time : 3367.0 sec.
user=vaughan
[2009-08-07 09:37:56]
483*2^707030-1 is not prime.  Res64: 0AAE37C1A53D2B5C  Time : 465.0 sec.
user=vaughan
[2009-08-07 09:38:08]
445*2^707031-1 is not prime.  Res64: 544061373DD52C2F  Time : 454.0 sec.
user=vaughan
[2009-08-07 09:39:21]
559*2^707029-1 is not prime.  Res64: 0B2580876484EFA1  Time : 784.0 sec.
user=gd_barnes
[2009-08-07 09:40:11]
403*2^707019-1 is not prime.  Res64: 4CBA22197739E65E  Time : 3369.0 sec.
user=vaughan
[2009-08-07 09:41:01]
577*2^707029-1 is not prime.  Res64: 9137F7106EA80EB3  Time : 774.0 sec.
user=gd_barnes
[2009-08-07 09:41:29]
489*2^707019-1 is not prime.  Res64: 48E50C3411CED0D8  Time : 3369.0 sec.
user=gd_barnes
[2009-08-07 09:44:48]
595*2^707019-1 is not prime.  Res64: 10D78B5E11A60CCC  Time : 3373.0 sec.
user=vaughan
[2009-08-07 09:44:55]
405*2^707032-1 is not prime.  Res64: CFD135C9D43F8150  Time : 772.0 sec.
user=vaughan
[2009-08-07 09:45:40]
489*2^707032-1 is not prime.  Res64: 984EB337302B0C9A  Time : 465.0 sec.
user=gd_barnes
[2009-08-07 09:45:43]
567*2^707020-1 is not prime.  Res64: C08AFF7347156318  Time : 3367.0 sec.
user=vaughan
[2009-08-07 09:45:44]
527*2^707032-1 is not prime.  Res64: 57065CD5A10DBE84  Time : 456.0 sec.
user=vaughan
[2009-08-07 09:48:47]
423*2^707032-1 is not prime.  Res64: 443C2B10BAE20E6D  Time : 942.0 sec.
user=gd_barnes
[2009-08-07 09:51:26]
507*2^707022-1 is not prime.  Res64: B95C3CBE074517ED  Time : 3370.0 sec.
user=vaughan
[2009-08-07 09:52:11]
563*2^707032-1 is not prime.  Res64: 59190CA6A3520E90  Time : 770.0 sec.
user=gd_barnes
[2009-08-07 09:52:44]
513*2^707022-1 is not prime.  Res64: 9D650FC64B576BB0  Time : 3370.0 sec.
user=vaughan
[2009-08-07 09:53:19]
447*2^707034-1 is not prime.  Res64: 5FFC4442331507AD  Time : 456.0 sec.
user=vaughan
[2009-08-07 09:53:24]
413*2^707034-1 is not prime.  Res64: 555B3D826E34EEF3  Time : 465.0 sec.
user=vaughan
[2009-08-07 09:54:32]
421*2^707033-1 is not prime.  Res64: D02A8B0FC819AB43  Time : 811.0 sec.
user=gd_barnes
[2009-08-07 09:56:01]
587*2^707022-1 is not prime.  Res64: B91D1824FBD1730D  Time : 3371.0 sec.
user=gd_barnes
[2009-08-07 09:56:56]
439*2^707023-1 is not prime.  Res64: 0604FC224C0254C4  Time : 3367.0 sec.
user=vaughan
[2009-08-07 09:58:35]
571*2^707033-1 is not prime.  Res64: 52318A5B1A60BBC9  Time : 820.0 sec.
user=vaughan
[2009-08-07 10:00:53]
555*2^707035-1 is not prime.  Res64: 1CE0B5556B984E3D  Time : 455.0 sec.
user=vaughan
[2009-08-07 10:01:08]
479*2^707036-1 is not prime.  Res64: F40B6B246696D72D  Time : 465.0 sec.
user=gd_barnes
[2009-08-07 10:02:40]
465*2^707024-1 is not prime.  Res64: 17B842745EDDA182  Time : 3369.0 sec.
user=gd_barnes
[2009-08-07 10:03:57]
441*2^707025-1 is not prime.  Res64: C8F18D5F93E320CF  Time : 3370.0 sec.
user=vaughan
[2009-08-07 10:05:34]
519*2^707035-1 is not prime.  Res64: 261A1B06CF04EDB5  Time : 803.0 sec.
user=vaughan
[2009-08-07 10:06:25]
421*2^707035-1 is not prime.  Res64: 8948F5B12779DFDD  Time : 1058.0 sec.
user=gd_barnes
[2009-08-07 10:07:16]
469*2^707025-1 is not prime.  Res64: 810078CAEC5AD0C5  Time : 3373.0 sec.
user=vaughan
[2009-08-07 10:08:04]
439*2^707037-1 is not prime.  Res64: 02AD2DE1E06AEA3B  Time : 812.0 sec.
user=gd_barnes
[2009-08-07 10:08:08]
471*2^707025-1 is not prime.  Res64: 3FA236991E2CC964  Time : 3366.0 sec.
user=vaughan
[2009-08-07 10:08:27]
591*2^707038-1 is not prime.  Res64: 4CE75E2D0027D749  Time : 454.0 sec.
user=vaughan
[2009-08-07 10:08:52]
411*2^707039-1 is not prime.  Res64: AE5EE3A9B71B6FEB  Time : 464.0 sec.
user=vaughan
[2009-08-07 10:12:09]
551*2^707038-1 is not prime.  Res64: 164A47734CFB5F5A  Time : 815.0 sec.
user=gd_barnes
[2009-08-07 10:13:53]
523*2^707027-1 is not prime.  Res64: 1C40560BE7CC29E0  Time : 3369.0 sec.
user=gd_barnes
[2009-08-07 10:15:11]
423*2^707028-1 is not prime.  Res64: E868736E3424BD3C  Time : 3369.0 sec.
user=vaughan
[2009-08-07 10:16:01]
525*2^707042-1 is not prime.  Res64: A20945003A69DEBB  Time : 454.0 sec.
user=vaughan
[2009-08-07 10:16:36]
533*2^707042-1 is not prime.  Res64: 336D1B037082F72C  Time : 464.0 sec.
user=vaughan
[2009-08-07 10:18:17]
425*2^707040-1 is not prime.  Res64: 8EF44AB44F8858DE  Time : 764.0 sec.
user=gd_barnes
[2009-08-07 10:18:30]
473*2^707028-1 is not prime.  Res64: 2B415887C0D2F9E7  Time : 3372.0 sec.
user=gd_barnes
[2009-08-07 10:19:22]
567*2^707028-1 is not prime.  Res64: FF797FCCB34CB168  Time : 3366.0 sec.
user=vaughan
[2009-08-07 10:21:35]
469*2^707041-1 is not prime.  Res64: EC2F23A1D3CF7164  Time : 811.0 sec.
user=vaughan
[2009-08-07 10:22:45]
527*2^707040-1 is not prime.  Res64: 25E835D08C7E840C  Time : 980.0 sec.
user=vaughan
[2009-08-07 10:23:35]
571*2^707043-1 is not prime.  Res64: D27D33331FC3961F  Time : 454.0 sec.
user=vaughan
[2009-08-07 10:24:20]
429*2^707044-1 is not prime.  Res64: 6A1837B327B8F78D  Time : 464.0 sec.
user=gd_barnes
[2009-08-07 10:25:07]
417*2^707030-1 is not prime.  Res64: 296C54E78E0492F2  Time : 3369.0 sec.
user=vaughan
[2009-08-07 10:25:27]
563*2^707042-1 is not prime.  Res64: A7419687A261E985  Time : 798.0 sec.
user=gd_barnes
[2009-08-07 10:26:25]
525*2^707030-1 is not prime.  Res64: CD09FAA4EEC66F97  Time : 3369.0 sec.
user=gd_barnes
[2009-08-07 10:29:45]
429*2^707032-1 is not prime.  Res64: 06CF4F729E3E82AD  Time : 3373.0 sec.
user=gd_barnes
[2009-08-07 10:30:34]
447*2^707032-1 is not prime.  Res64: 6051E7CFF255F0EC  Time : 3365.0 sec.
user=vaughan
[2009-08-07 10:31:10]
411*2^707045-1 is not prime.  Res64: 8672D27F1F729455  Time : 455.0 sec.
user=vaughan
[2009-08-07 10:31:39]
465*2^707044-1 is not prime.  Res64: 92D1417705CA9C39  Time : 803.0 sec.
user=vaughan
[2009-08-07 10:32:03]
561*2^707045-1 is not prime.  Res64: 359A5C04C3D9CA6B  Time : 463.0 sec.
user=vaughan
[2009-08-07 10:34:45]
513*2^707044-1 is not prime.  Res64: 84CC156741C34FB2  Time : 790.0 sec.
user=gd_barnes
[2009-08-07 10:36:20]
569*2^707032-1 is not prime.  Res64: 6803FC1C58AE736C  Time : 3369.0 sec.
user=gd_barnes
[2009-08-07 10:37:38]
477*2^707033-1 is not prime.  Res64: EADD200B051A9B4A  Time : 3369.0 sec.
user=vaughan
[2009-08-07 10:38:46]
559*2^707047-1 is not prime.  Res64: F851CDEC3419C388  Time : 456.0 sec.
user=vaughan
[2009-08-07 10:39:02]
501*2^707046-1 is not prime.  Res64: EC60E9C33FD2AF7D  Time : 816.0 sec.
user=vaughan
[2009-08-07 10:39:44]
413*2^707048-1 is not prime.  Res64: 74980DF864D64856  Time : 461.0 sec.
user=vaughan
[2009-08-07 10:40:19]
545*2^707044-1 is not prime.  Res64: B44151775D98A8FB  Time : 1054.0 sec.
user=gd_barnes
[2009-08-07 10:41:00]
487*2^707033-1 is not prime.  Res64: D3AB7226DB34B1BF  Time : 3373.0 sec.
user=gd_barnes
[2009-08-07 10:41:48]
423*2^707034-1 is not prime.  Res64: E8BF31C27289C4B0  Time : 3365.0 sec.
user=vaughan
[2009-08-07 10:44:25]
595*2^707047-1 is not prime.  Res64: FB0D7625FBEF2569  Time : 766.0 sec.
user=vaughan
[2009-08-07 10:46:23]
533*2^707048-1 is not prime.  Res64: 9091C67FFC47879E  Time : 457.0 sec.
user=vaughan
[2009-08-07 10:47:25]
427*2^707049-1 is not prime.  Res64: C4F8E7EB96780F8E  Time : 461.0 sec.
user=gd_barnes
[2009-08-07 10:47:33]
453*2^707035-1 is not prime.  Res64: F45F58E0B99858BD  Time : 3367.0 sec.
user=vaughan
[2009-08-07 10:48:01]
425*2^707048-1 is not prime.  Res64: EB33B17CB41B44A9  Time : 797.0 sec.
user=gd_barnes
[2009-08-07 10:48:52]
541*2^707035-1 is not prime.  Res64: D42BD54E90C6E1B0  Time : 3368.0 sec.
user=vaughan
[2009-08-07 10:52:01]
415*2^707049-1 is not prime.  Res64: 37E00B150D6DF3E5  Time : 779.0 sec.
user=gd_barnes
[2009-08-07 10:52:14]
425*2^707038-1 is not prime.  Res64: DC89DA75C0928201  Time : 3373.0 sec.
user=gd_barnes
[2009-08-07 10:53:02]
465*2^707038-1 is not prime.  Res64: 19D8850C94CBDEAF  Time : 3366.0 sec.
user=vaughan
[2009-08-07 10:54:00]
401*2^707050-1 is not prime.  Res64: 225E6F7B066E8876  Time : 457.0 sec.
user=vaughan
[2009-08-07 10:55:07]
423*2^707050-1 is not prime.  Res64: A9352957B216A798  Time : 462.0 sec.
user=vaughan
[2009-08-07 10:56:11]
481*2^707049-1 is not prime.  Res64: 59F91B81B21F1306  Time : 952.0 sec.
user=vaughan
[2009-08-07 10:56:59]
595*2^707049-1 is not prime.  Res64: A2A64C8DE8586BCC  Time : 755.0 sec.
user=gd_barnes
[2009-08-07 10:58:46]
445*2^707039-1 is not prime.  Res64: 60990E492065E47E  Time : 3367.0 sec.
user=gd_barnes
[2009-08-07 11:00:06]
459*2^707039-1 is not prime.  Res64: 671528C492F26D2A  Time : 3369.0 sec.
user=vaughan
[2009-08-07 11:00:41]
575*2^707050-1 is not prime.  Res64: 27E50C2352770F91  Time : 760.0 sec.
user=vaughan
[2009-08-07 11:01:37]
427*2^707053-1 is not prime.  Res64: 4A2C8C008AC442AB  Time : 470.0 sec.
user=vaughan
[2009-08-07 11:02:48]
429*2^707053-1 is not prime.  Res64: 634C83FFB333E5BC  Time : 461.0 sec.
user=gd_barnes
[2009-08-07 11:03:28]
411*2^707041-1 is not prime.  Res64: 65E8BF991E452E04  Time : 3372.0 sec.
user=gd_barnes
[2009-08-07 11:04:14]
541*2^707041-1 is not prime.  Res64: F72CC6E57FEEF63F  Time : 3366.0 sec.
user=vaughan
[2009-08-07 11:04:44]
405*2^707052-1 is not prime.  Res64: 75D4145C51130669  Time : 764.0 sec.
user=vaughan
[2009-08-07 11:09:25]
537*2^707053-1 is not prime.  Res64: 2EA967299CD604A3  Time : 746.0 sec.
user=vaughan
[2009-08-07 11:09:26]
423*2^707054-1 is not prime.  Res64: 8A0387EF1CD81511  Time : 469.0 sec.
user=gd_barnes
[2009-08-07 11:10:01]
593*2^707042-1 is not prime.  Res64: FE253A4B5F98E80F  Time : 3368.0 sec.
user=vaughan
[2009-08-07 11:10:30]
503*2^707054-1 is not prime.  Res64: BA2E5D4A15F0E0A7  Time : 462.0 sec.
user=gd_barnes
[2009-08-07 11:11:19]
451*2^707043-1 is not prime.  Res64: 8DDFC6FCC26100F2  Time : 3368.0 sec.
user=vaughan
[2009-08-07 11:11:22]
511*2^707053-1 is not prime.  Res64: A074ED4DD9EE9516  Time : 912.0 sec.
user=vaughan
[2009-08-07 11:14:09]
417*2^707054-1 is not prime.  Res64: 4549FC283E1BB11C  Time : 808.0 sec.
user=gd_barnes
[2009-08-07 11:14:43]
485*2^707044-1 is not prime.  Res64: 65BC4EFF41BC2489  Time : 3373.0 sec.
user=gd_barnes
[2009-08-07 11:15:28]
489*2^707044-1 is not prime.  Res64: 43C2F051451C69CA  Time : 3366.0 sec.
user=vaughan
[2009-08-07 11:17:02]
485*2^707056-1 is not prime.  Res64: 2691BD55AD1F276F  Time : 456.0 sec.
user=vaughan
[2009-08-07 11:18:06]
465*2^707055-1 is not prime.  Res64: AACB2F712CCB6563  Time : 802.0 sec.
user=vaughan
[2009-08-07 11:18:12]
487*2^707057-1 is not prime.  Res64: 6A2CC2007B5F1719  Time : 462.0 sec.
user=gd_barnes
[2009-08-07 11:21:15]
589*2^707045-1 is not prime.  Res64: 38468072BD547C57  Time : 3368.0 sec.
user=vaughan
[2009-08-07 11:22:31]
531*2^707055-1 is not prime.  Res64: F4149FFBF8C16E96  Time : 786.0 sec.
user=gd_barnes
[2009-08-07 11:22:34]
521*2^707046-1 is not prime.  Res64: 58A78C74F8DF38C9  Time : 3369.0 sec.
user=vaughan
[2009-08-07 11:24:38]
497*2^707058-1 is not prime.  Res64: D700230F25C671EA  Time : 456.0 sec.
user=vaughan
[2009-08-07 11:25:54]
555*2^707058-1 is not prime.  Res64: FA4C1D272A20D1D9  Time : 462.0 sec.
user=gd_barnes
[2009-08-07 11:25:57]
423*2^707047-1 is not prime.  Res64: 6A950C1EB121A05E  Time : 3372.0 sec.
user=gd_barnes
[2009-08-07 11:26:42]
523*2^707047-1 is not prime.  Res64: 2EBC799DE779BDC6  Time : 3368.0 sec.
user=vaughan
[2009-08-07 11:27:35]
567*2^707057-1 is not prime.  Res64: 8D9383182837B4C0  Time : 806.0 sec.
user=vaughan
[2009-08-07 11:27:57]
561*2^707057-1 is not prime.  Res64: 3C3237133CB886E5  Time : 995.0 sec.
user=vaughan
[2009-08-07 11:31:33]
525*2^707058-1 is not prime.  Res64: 8E3F704F45829579  Time : 807.0 sec.
user=vaughan
[2009-08-07 11:32:15]
463*2^707059-1 is not prime.  Res64: E227806E5606A635  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 11:32:28]
489*2^707048-1 is not prime.  Res64: 5566ED4D7E7D2A43  Time : 3368.0 sec.
user=vaughan
[2009-08-07 11:33:37]
483*2^707059-1 is not prime.  Res64: 5AEC1D1739153C80  Time : 463.0 sec.
user=gd_barnes
[2009-08-07 11:33:48]
503*2^707048-1 is not prime.  Res64: D92F37C5A156A4A8  Time : 3370.0 sec.
user=vaughan
[2009-08-07 11:35:54]
411*2^707059-1 is not prime.  Res64: 8194D5AA337547F7  Time : 803.0 sec.
user=gd_barnes
[2009-08-07 11:37:12]
537*2^707049-1 is not prime.  Res64: 0F35844FCBB73FE8  Time : 3373.0 sec.
user=gd_barnes
[2009-08-07 11:37:54]
549*2^707049-1 is not prime.  Res64: F4D514FC540DEC1B  Time : 3366.0 sec.
user=vaughan
[2009-08-07 11:39:51]
563*2^707060-1 is not prime.  Res64: EF5C1D4E4DF87744  Time : 456.0 sec.
user=vaughan
[2009-08-07 11:41:24]
451*2^707061-1 is not prime.  Res64: 09473054EDFDC730  Time : 467.0 sec.
user=vaughan
[2009-08-07 11:41:43]
467*2^707060-1 is not prime.  Res64: 36628FBCBD91D409  Time : 848.0 sec.
user=gd_barnes
[2009-08-07 11:43:43]
531*2^707050-1 is not prime.  Res64: ABCE5D541C895EAC  Time : 3370.0 sec.
user=gd_barnes
[2009-08-07 11:45:02]
593*2^707050-1 is not prime.  Res64: 55AE052EA6F22789  Time : 3370.0 sec.
user=vaughan
[2009-08-07 11:46:03]
525*2^707060-1 is not prime.  Res64: 23E63E055AF28D6E  Time : 870.0 sec.
user=vaughan
[2009-08-07 11:46:56]
503*2^707060-1 is not prime.  Res64: BC62804C95AD940D  Time : 1140.0 sec.
user=vaughan
[2009-08-07 11:47:28]
455*2^707062-1 is not prime.  Res64: AA6E3D6DA5B1445D  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 11:48:27]
483*2^707052-1 is not prime.  Res64: A0590344D3BFF771  Time : 3373.0 sec.
user=vaughan
[2009-08-07 11:49:06]
477*2^707062-1 is not prime.  Res64: DEA268D473C35604  Time : 464.0 sec.
user=gd_barnes
[2009-08-07 11:49:08]
507*2^707052-1 is not prime.  Res64: 1D64043268BA4914  Time : 3366.0 sec.
user=vaughan
[2009-08-07 11:49:48]
565*2^707061-1 is not prime.  Res64: BE4BCD7C5A8CE809  Time : 834.0 sec.
user=gd_barnes
[2009-08-07 11:54:57]
547*2^707053-1 is not prime.  Res64: 99569381D0BD3DDF  Time : 3371.0 sec.
user=vaughan
[2009-08-07 11:55:11]
493*2^707063-1 is not prime.  Res64: 9F8AD7EB223A9CD1  Time : 464.0 sec.
user=vaughan
[2009-08-07 11:55:48]
495*2^707062-1 is not prime.  Res64: 78BBAAE67A7C5325  Time : 847.0 sec.
user=gd_barnes
[2009-08-07 11:56:16]
555*2^707053-1 is not prime.  Res64: CB3E2CEF6FA91153  Time : 3370.0 sec.
user=vaughan
[2009-08-07 11:56:54]
567*2^707064-1 is not prime.  Res64: 84281B29FAF0E837  Time : 468.0 sec.
user=gd_barnes
[2009-08-07 11:59:41]
521*2^707054-1 is not prime.  Res64: 317BF8353B66F20A  Time : 3373.0 sec.
user=vaughan
[2009-08-07 11:59:51]
433*2^707063-1 is not prime.  Res64: 428C592BC178DEAD  Time : 828.0 sec.
user=gd_barnes
[2009-08-07 12:00:22]
525*2^707054-1 is not prime.  Res64: 692E4DA56434E000  Time : 3368.0 sec.
user=vaughan
[2009-08-07 12:02:48]
511*2^707065-1 is not prime.  Res64: 268FF5CD8483B32E  Time : 458.0 sec.
user=vaughan
[2009-08-07 12:03:38]
421*2^707065-1 is not prime.  Res64: 98C2FE070C089159  Time : 831.0 sec.
user=vaughan
[2009-08-07 12:04:37]
483*2^707066-1 is not prime.  Res64: 344FD7A32215E129  Time : 463.0 sec.
user=vaughan
[2009-08-07 12:05:00]
489*2^707063-1 is not prime.  Res64: 66AD49B745F801DA  Time : 1084.0 sec.
user=gd_barnes
[2009-08-07 12:06:11]
597*2^707056-1 is not prime.  Res64: 73831FE029D7DC9B  Time : 3370.0 sec.
user=gd_barnes
[2009-08-07 12:07:30]
517*2^707057-1 is not prime.  Res64: 0F37B10195C91DB5  Time : 3371.0 sec.
user=vaughan
[2009-08-07 12:09:49]
537*2^707065-1 is not prime.  Res64: 3C5CB25D027383FB  Time : 841.0 sec.
user=vaughan
[2009-08-07 12:10:24]
449*2^707068-1 is not prime.  Res64: E39458A6ADA4C8B3  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 12:10:56]
423*2^707058-1 is not prime.  Res64: 7B906F8F96FF7482  Time : 3373.0 sec.
user=gd_barnes
[2009-08-07 12:11:35]
437*2^707058-1 is not prime.  Res64: 975E0C675860FF48  Time : 3367.0 sec.
user=vaughan
[2009-08-07 12:12:20]
525*2^707068-1 is not prime.  Res64: D427B3037B1CF1EB  Time : 463.0 sec.
user=vaughan
[2009-08-07 12:13:30]
553*2^707067-1 is not prime.  Res64: 5A0F8E3F9B5AD0B7  Time : 819.0 sec.
user=vaughan
[2009-08-07 12:16:46]
453*2^707068-1 is not prime.  Res64: 8D9F0524FB7D1D8F  Time : 788.0 sec.
user=gd_barnes
[2009-08-07 12:17:26]
581*2^707058-1 is not prime.  Res64: 25DD9595CAD51CDC  Time : 3371.0 sec.
user=vaughan
[2009-08-07 12:18:00]
437*2^707070-1 is not prime.  Res64: 36DA6A8DD03ADD46  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 12:18:44]
439*2^707059-1 is not prime.  Res64: AC901D9686312712  Time : 3370.0 sec.
user=vaughan
[2009-08-07 12:20:02]
405*2^707071-1 is not prime.  Res64: E44F08041CE0AC5B  Time : 462.0 sec.
user=gd_barnes
[2009-08-07 12:22:11]
583*2^707059-1 is not prime.  Res64: 2AC868FCF0B2A4D5  Time : 3374.0 sec.
user=vaughan
[2009-08-07 12:22:21]
597*2^707068-1 is not prime.  Res64: 44E4AB2E9EEC66DD  Time : 1041.0 sec.
user=gd_barnes
[2009-08-07 12:22:48]
437*2^707060-1 is not prime.  Res64: 71A386495A300046  Time : 3367.0 sec.
user=vaughan
[2009-08-07 12:23:07]
579*2^707069-1 is not prime.  Res64: 465FC6339497BA2A  Time : 798.0 sec.
user=vaughan
[2009-08-07 12:25:36]
447*2^707072-1 is not prime.  Res64: 4A559693FCF7E8BC  Time : 457.0 sec.
user=vaughan
[2009-08-07 12:27:14]
411*2^707071-1 is not prime.  Res64: 7FD5F99EBEA83A50  Time : 824.0 sec.
user=vaughan
[2009-08-07 12:27:44]
489*2^707072-1 is not prime.  Res64: 7A3B1E06A56632E9  Time : 462.0 sec.
user=gd_barnes
[2009-08-07 12:28:39]
409*2^707061-1 is not prime.  Res64: 4D077E4F3DF11227  Time : 3371.0 sec.
user=gd_barnes
[2009-08-07 12:29:58]
475*2^707061-1 is not prime.  Res64: 5E61DCC8F5ED2634  Time : 3370.0 sec.
user=vaughan
[2009-08-07 12:30:27]
465*2^707071-1 is not prime.  Res64: 373A8DC348A02716  Time : 821.0 sec.
user=vaughan
[2009-08-07 12:33:13]
483*2^707074-1 is not prime.  Res64: 34E2766F8C89F38B  Time : 458.0 sec.
user=gd_barnes
[2009-08-07 12:33:26]
579*2^707061-1 is not prime.  Res64: D8B55ECBDC5E73E0  Time : 3374.0 sec.
user=gd_barnes
[2009-08-07 12:34:02]
453*2^707062-1 is not prime.  Res64: CBFC7BE611FC5F67  Time : 3368.0 sec.
user=vaughan
[2009-08-07 12:35:25]
531*2^707075-1 is not prime.  Res64: 59A8F127343566D9  Time : 461.0 sec.
user=vaughan
[2009-08-07 12:36:57]
435*2^707074-1 is not prime.  Res64: C2BE6CA7093E856C  Time : 830.0 sec.
user=gd_barnes
[2009-08-07 12:39:53]
561*2^707062-1 is not prime.  Res64: D62A78482CB5805A  Time : 3370.0 sec.
user=vaughan
[2009-08-07 12:40:49]
591*2^707073-1 is not prime.  Res64: E49F0DFEF28ED78B  Time : 1108.0 sec.
user=vaughan
[2009-08-07 12:40:50]
465*2^707077-1 is not prime.  Res64: 98D14BC50511AD4B  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 12:41:12]
591*2^707062-1 is not prime.  Res64: 1355948C665D2939  Time : 3370.0 sec.
user=vaughan
[2009-08-07 12:41:30]
481*2^707075-1 is not prime.  Res64: A12CFD322D7D1C48  Time : 856.0 sec.
user=vaughan
[2009-08-07 12:43:07]
453*2^707078-1 is not prime.  Res64: BD9EDD604D884184  Time : 462.0 sec.
user=vaughan
[2009-08-07 12:44:06]
485*2^707076-1 is not prime.  Res64: 6F3D369806EAAE5D  Time : 820.0 sec.
user=gd_barnes
[2009-08-07 12:44:39]
589*2^707063-1 is not prime.  Res64: 7B29273BBE843606  Time : 3372.0 sec.
user=gd_barnes
[2009-08-07 12:45:16]
593*2^707064-1 is not prime.  Res64: 7AD60C00A1710DE4  Time : 3368.0 sec.
user=vaughan
[2009-08-07 12:48:26]
483*2^707080-1 is not prime.  Res64: 1B57025BA477EBD4  Time : 456.0 sec.
user=vaughan
[2009-08-07 12:50:35]
503*2^707078-1 is not prime.  Res64: 7968C7E1FD9E809F  Time : 818.0 sec.
user=vaughan
[2009-08-07 12:50:50]
549*2^707081-1 is not prime.  Res64: 5BDB60CDF8B766B4  Time : 463.0 sec.
user=gd_barnes
[2009-08-07 12:51:07]
441*2^707065-1 is not prime.  Res64: 09A2203AB2139CA7  Time : 3370.0 sec.
user=gd_barnes
[2009-08-07 12:52:26]
425*2^707066-1 is not prime.  Res64: DF1DCB1845CDAC7D  Time : 3370.0 sec.
user=vaughan
[2009-08-07 12:55:21]
525*2^707081-1 is not prime.  Res64: 4EF26C65EFF3BF4E  Time : 831.0 sec.
user=gd_barnes
[2009-08-07 12:55:54]
451*2^707067-1 is not prime.  Res64: 662F30D6AD400997  Time : 3373.0 sec.
user=vaughan
[2009-08-07 12:56:03]
405*2^707082-1 is not prime.  Res64: C7DD02EBAAE28784  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 12:56:28]
429*2^707068-1 is not prime.  Res64: 2B2AFB950B41EC04  Time : 3366.0 sec.
user=vaughan
[2009-08-07 12:57:33]
565*2^707081-1 is not prime.  Res64: D340644AD15C6BEB  Time : 807.0 sec.
user=vaughan
[2009-08-07 12:58:32]
425*2^707082-1 is not prime.  Res64: 119DE0F32807612C  Time : 462.0 sec.
user=vaughan
[2009-08-07 12:58:43]
449*2^707080-1 is not prime.  Res64: 5A56B3E7C3749D3C  Time : 1075.0 sec.
user=gd_barnes
[2009-08-07 13:02:21]
459*2^707069-1 is not prime.  Res64: 5C3736C6992CAC87  Time : 3370.0 sec.
user=vaughan
[2009-08-07 13:03:39]
453*2^707083-1 is not prime.  Res64: 0B46BB64A9162DAC  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 13:03:40]
537*2^707069-1 is not prime.  Res64: 3A7E759A6D9BB4C9  Time : 3370.0 sec.
user=vaughan
[2009-08-07 13:04:08]
417*2^707082-1 is not prime.  Res64: 88C897978849BF3F  Time : 813.0 sec.
user=vaughan
[2009-08-07 13:06:14]
483*2^707084-1 is not prime.  Res64: B3BBB3AFA2C67A4A  Time : 462.0 sec.
user=gd_barnes
[2009-08-07 13:07:09]
443*2^707070-1 is not prime.  Res64: AF6616D77AF8B937  Time : 3373.0 sec.
user=gd_barnes
[2009-08-07 13:07:42]
515*2^707070-1 is not prime.  Res64: CED628EF5963FC62  Time : 3367.0 sec.
user=vaughan
[2009-08-07 13:08:36]
411*2^707083-1 is not prime.  Res64: 52CC472257ADB71A  Time : 795.0 sec.
user=vaughan
[2009-08-07 13:10:30]
477*2^707084-1 is not prime.  Res64: DCB1F3E2E32F9E65  Time : 777.0 sec.
user=vaughan
[2009-08-07 13:11:16]
459*2^707085-1 is not prime.  Res64: 5D000973E0368AAE  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 13:13:33]
573*2^707071-1 is not prime.  Res64: 3F181E1274DD3062  Time : 3368.0 sec.
user=vaughan
[2009-08-07 13:13:56]
443*2^707086-1 is not prime.  Res64: B904812AF38CA047  Time : 462.0 sec.
user=gd_barnes
[2009-08-07 13:14:54]
483*2^707072-1 is not prime.  Res64: 2ACEDCF49A056539  Time : 3371.0 sec.
user=vaughan
[2009-08-07 13:15:37]
557*2^707084-1 is not prime.  Res64: 7FE4F9C66A51D84A  Time : 1015.0 sec.
user=vaughan
[2009-08-07 13:17:31]
405*2^707086-1 is not prime.  Res64: ECB0B4098D6C6F23  Time : 803.0 sec.
user=gd_barnes
[2009-08-07 13:18:23]
499*2^707073-1 is not prime.  Res64: D5101F4A25171BDD  Time : 3372.0 sec.
user=vaughan
[2009-08-07 13:18:52]
421*2^707087-1 is not prime.  Res64: 720F304BA2AC4C4C  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 13:18:55]
401*2^707074-1 is not prime.  Res64: 064B410BB1DB14A7  Time : 3367.0 sec.
user=vaughan
[2009-08-07 13:21:38]
523*2^707087-1 is not prime.  Res64: 787558C24CBC7FCE  Time : 462.0 sec.
user=vaughan
[2009-08-07 13:22:07]
551*2^707086-1 is not prime.  Res64: AE1283D2E95E3EA5  Time : 811.0 sec.
user=vaughan
[2009-08-07 13:23:35]
581*2^707086-1 is not prime.  Res64: A376712E9E146F6F  Time : 786.0 sec.
user=gd_barnes
[2009-08-07 13:24:47]
585*2^707075-1 is not prime.  Res64: 2FF73BBA158B7911  Time : 3368.0 sec.
user=gd_barnes
[2009-08-07 13:26:08]
483*2^707076-1 is not prime.  Res64: F367B6DF7E400CFC  Time : 3370.0 sec.
user=vaughan
[2009-08-07 13:26:29]
517*2^707089-1 is not prime.  Res64: 66E70DA776A395A5  Time : 457.0 sec.
user=vaughan
[2009-08-07 13:29:21]
547*2^707089-1 is not prime.  Res64: 0C48B79F08BA0982  Time : 463.0 sec.
user=gd_barnes
[2009-08-07 13:29:37]
499*2^707077-1 is not prime.  Res64: 5FA532BBA9268230  Time : 3372.0 sec.
user=gd_barnes
[2009-08-07 13:30:09]
447*2^707078-1 is not prime.  Res64: CC96B17CD00C8737  Time : 3367.0 sec.
user=vaughan
[2009-08-07 13:31:07]
569*2^707088-1 is not prime.  Res64: 0B0EC2D4E4CB90AA  Time : 816.0 sec.
user=vaughan
[2009-08-07 13:33:08]
557*2^707088-1 is not prime.  Res64: E0690500075E1F65  Time : 1052.0 sec.
user=vaughan
[2009-08-07 13:34:03]
475*2^707091-1 is not prime.  Res64: BC50401A516E198B  Time : 454.0 sec.
user=vaughan
[2009-08-07 13:35:44]
567*2^707089-1 is not prime.  Res64: D66906B22268978D  Time : 818.0 sec.
user=gd_barnes
[2009-08-07 13:36:01]
423*2^707079-1 is not prime.  Res64: B02F4FAA31F4440D  Time : 3368.0 sec.
user=vaughan
[2009-08-07 13:36:59]
501*2^707090-1 is not prime.  Res64: 21D22FA4CEE87EDA  Time : 804.0 sec.
user=vaughan
[2009-08-07 13:37:06]
495*2^707091-1 is not prime.  Res64: BA76E1C67629CCDC  Time : 466.0 sec.
user=gd_barnes
[2009-08-07 13:37:22]
511*2^707081-1 is not prime.  Res64: 4489AF120F2C0E2B  Time : 3370.0 sec.
user=gd_barnes
[2009-08-07 13:40:52]
591*2^707081-1 is not prime.  Res64: 7643F9539A4B5437  Time : 3373.0 sec.
user=gd_barnes
[2009-08-07 13:41:21]
401*2^707082-1 is not prime.  Res64: D0C201DAABE4AE45  Time : 3365.0 sec.
user=vaughan
[2009-08-07 13:41:37]
539*2^707092-1 is not prime.  Res64: 2E9FC56B1BA05599  Time : 455.0 sec.
user=vaughan
[2009-08-07 13:44:49]
425*2^707094-1 is not prime.  Res64: CA4760D795D42C10  Time : 464.0 sec.
user=vaughan
[2009-08-07 13:45:00]
455*2^707092-1 is not prime.  Res64: B1FFD640CA294A88  Time : 833.0 sec.
user=gd_barnes
[2009-08-07 13:47:15]
501*2^707082-1 is not prime.  Res64: 0E1A01BFFB1ED7AE  Time : 3368.0 sec.
user=gd_barnes
[2009-08-07 13:48:36]
521*2^707082-1 is not prime.  Res64: DAECB31F3D8AF616  Time : 3370.0 sec.
user=vaughan
[2009-08-07 13:49:11]
573*2^707094-1 is not prime.  Res64: D17AE8CEE2CC32DB  Time : 455.0 sec.
user=vaughan
[2009-08-07 13:49:53]
563*2^707092-1 is not prime.  Res64: 1D123B5211B1AFD7  Time : 849.0 sec.
user=vaughan
[2009-08-07 13:50:40]
547*2^707093-1 is not prime.  Res64: 6CEA2111B44A28CC  Time : 821.0 sec.
user=vaughan
[2009-08-07 13:51:40]
489*2^707092-1 is not prime.  Res64: 086AFE8244127BB9  Time : 1113.0 sec.
user=gd_barnes
[2009-08-07 13:52:07]
429*2^707083-1 is not prime.  Res64: 4036BF779FD3174B  Time : 3373.0 sec.
user=vaughan
[2009-08-07 13:52:34]
405*2^707095-1 is not prime.  Res64: 33B757F513B3C4E7  Time : 465.0 sec.
user=gd_barnes
[2009-08-07 13:52:35]
595*2^707083-1 is not prime.  Res64: 84C0FD6BCC3C3439  Time : 3367.0 sec.
user=vaughan
[2009-08-07 13:56:45]
579*2^707095-1 is not prime.  Res64: E2241755C3EDBA88  Time : 454.0 sec.
user=gd_barnes
[2009-08-07 13:58:28]
457*2^707085-1 is not prime.  Res64: FA98C76326B01A4E  Time : 3368.0 sec.
user=vaughan
[2009-08-07 13:59:02]
453*2^707095-1 is not prime.  Res64: B0B0E2CC9BB21B51  Time : 842.0 sec.
user=gd_barnes
[2009-08-07 13:59:50]
465*2^707085-1 is not prime.  Res64: DBA11AE563D42A34  Time : 3370.0 sec.
user=vaughan
[2009-08-07 14:00:18]
499*2^707097-1 is not prime.  Res64: 7711B4C1A255CF1D  Time : 465.0 sec.
user=gd_barnes
[2009-08-07 14:03:21]
455*2^707086-1 is not prime.  Res64: 36DE7388779A3801  Time : 3372.0 sec.
user=gd_barnes
[2009-08-07 14:03:48]
545*2^707086-1 is not prime.  Res64: 39B52C1AB670A50C  Time : 3366.0 sec.
user=vaughan
[2009-08-07 14:03:55]
437*2^707096-1 is not prime.  Res64: 611D254AFF813058  Time : 842.0 sec.
user=vaughan
[2009-08-07 14:04:11]
573*2^707096-1 is not prime.  Res64: 407EFED31983D00F  Time : 811.0 sec.
user=vaughan
[2009-08-07 14:04:19]
495*2^707098-1 is not prime.  Res64: DAF77F636DC4270E  Time : 454.0 sec.
user=vaughan
[2009-08-07 14:08:02]
455*2^707100-1 is not prime.  Res64: 970BEC474FE4233A  Time : 465.0 sec.
user=vaughan
[2009-08-07 14:09:32]
585*2^707096-1 is not prime.  Res64: 705CAC0AAE11CEBF  Time : 1072.0 sec.
user=gd_barnes
[2009-08-07 14:09:42]
505*2^707087-1 is not prime.  Res64: D1D71B3DEDF5B7E0  Time : 3369.0 sec.
user=gd_barnes
[2009-08-07 14:11:04]
553*2^707087-1 is not prime.  Res64: E941B87364503538  Time : 3370.0 sec.
user=vaughan
[2009-08-07 14:11:53]
411*2^707101-1 is not prime.  Res64: 155A4B4ADC2BD01A  Time : 454.0 sec.
user=vaughan
[2009-08-07 14:11:59]
481*2^707099-1 is not prime.  Res64: 2A73633C237DEB78  Time : 777.0 sec.
user=gd_barnes
[2009-08-07 14:14:36]
477*2^707089-1 is not prime.  Res64: 0ADCD5F90B2039CD  Time : 3373.0 sec.
user=gd_barnes
[2009-08-07 14:15:02]
537*2^707089-1 is not prime.  Res64: 858694D5F8CD87F9  Time : 3367.0 sec.
user=vaughan
[2009-08-07 14:15:45]
421*2^707101-1 is not prime.  Res64: DEBA1DFC81CD690D  Time : 464.0 sec.
user=vaughan
[2009-08-07 14:17:05]
539*2^707100-1 is not prime.  Res64: D5E05253F26CEDD8  Time : 790.0 sec.
user=vaughan
[2009-08-07 14:17:16]
585*2^707100-1 is not prime.  Res64: E8B1E8D742627417  Time : 785.0 sec.
user=vaughan
[2009-08-07 14:19:27]
441*2^707103-1 is not prime.  Res64: 4376E7A26F188395  Time : 454.0 sec.
user=gd_barnes
[2009-08-07 14:20:56]
537*2^707090-1 is not prime.  Res64: 62ED7981D0158017  Time : 3369.0 sec.
user=gd_barnes
[2009-08-07 14:22:18]
465*2^707091-1 is not prime.  Res64: 98307F1A0A8B7FDD  Time : 3370.0 sec.
user=vaughan
[2009-08-07 14:23:29]
573*2^707103-1 is not prime.  Res64: 3091D3F349F0F999  Time : 464.0 sec.
user=vaughan
[2009-08-07 14:25:01]
445*2^707103-1 is not prime.  Res64: 23FCE83A02646A43  Time : 782.0 sec.
user=gd_barnes
[2009-08-07 14:25:51]
531*2^707091-1 is not prime.  Res64: B536C26838758F5A  Time : 3374.0 sec.
user=gd_barnes
[2009-08-07 14:26:15]
585*2^707091-1 is not prime.  Res64: 0AE46535C417A568  Time : 3367.0 sec.
user=vaughan
[2009-08-07 14:26:24]
405*2^707102-1 is not prime.  Res64: A63980FA1A7D2FC4  Time : 1012.0 sec.
user=vaughan
[2009-08-07 14:27:01]
513*2^707104-1 is not prime.  Res64: B148DCECC217BB5A  Time : 454.0 sec.
user=vaughan
[2009-08-07 14:30:22]
507*2^707104-1 is not prime.  Res64: DD76DD8800A6AFDA  Time : 787.0 sec.
user=vaughan
[2009-08-07 14:30:31]
419*2^707104-1 is not prime.  Res64: 24DDF1EB7AB451AA  Time : 806.0 sec.
user=vaughan
[2009-08-07 14:31:15]
567*2^707104-1 is not prime.  Res64: 720386CA4F581A27  Time : 467.0 sec.
user=gd_barnes
[2009-08-07 14:32:10]
435*2^707093-1 is not prime.  Res64: C9FF02F26A289FCE  Time : 3369.0 sec.
user=gd_barnes
[2009-08-07 14:33:31]
455*2^707094-1 is not prime.  Res64: 2ABEB0A47D41287D  Time : 3370.0 sec.
user=vaughan
[2009-08-07 14:34:35]
585*2^707105-1 is not prime.  Res64: 7120D38997EAF106  Time : 454.0 sec.
user=gd_barnes
[2009-08-07 14:37:05]
507*2^707094-1 is not prime.  Res64: A2392F8D0642E7AA  Time : 3373.0 sec.
user=gd_barnes
[2009-08-07 14:37:28]
551*2^707094-1 is not prime.  Res64: 295425A9DB7F5351  Time : 3367.0 sec.
user=vaughan
[2009-08-07 14:37:34]
481*2^707105-1 is not prime.  Res64: A83D3800CD3CAD90  Time : 753.0 sec.
user=vaughan
[2009-08-07 14:38:58]
551*2^707106-1 is not prime.  Res64: C7A3BC2D8846EBD8  Time : 464.0 sec.
user=vaughan
[2009-08-07 14:41:55]
547*2^707105-1 is not prime.  Res64: 2367CF3C11647BCA  Time : 931.0 sec.
user=vaughan
[2009-08-07 14:42:09]
587*2^707106-1 is not prime.  Res64: CD7E3782EB7A7CE0  Time : 454.0 sec.
user=vaughan
[2009-08-07 14:42:50]
591*2^707105-1 is not prime.  Res64: 063B4CF1F40D4ED7  Time : 748.0 sec.
user=vaughan
[2009-08-07 14:43:06]
525*2^707106-1 is not prime.  Res64: 0631F7C50FFA595B  Time : 756.0 sec.
user=gd_barnes
[2009-08-07 14:43:24]
493*2^707095-1 is not prime.  Res64: 38262F5615FABEED  Time : 3370.0 sec.
user=gd_barnes
[2009-08-07 14:44:45]
535*2^707095-1 is not prime.  Res64: 095AF48C62A56309  Time : 3369.0 sec.
user=vaughan
[2009-08-07 14:46:42]
579*2^707107-1 is not prime.  Res64: 0238C4B00466B190  Time : 464.0 sec.
user=gd_barnes
[2009-08-07 14:48:19]
587*2^707096-1 is not prime.  Res64: EE95591C18252931  Time : 3372.0 sec.
user=gd_barnes
[2009-08-07 14:48:41]
537*2^707097-1 is not prime.  Res64: BF6BF2C7F2F90169  Time : 3366.0 sec.
user=vaughan
[2009-08-07 14:49:43]
537*2^707108-1 is not prime.  Res64: D3E1D8550BBC9C4C  Time : 454.0 sec.
user=vaughan
[2009-08-07 14:50:35]
573*2^707107-1 is not prime.  Res64: 3D1573F9EC275684  Time : 781.0 sec.
user=vaughan
[2009-08-07 14:54:25]
443*2^707110-1 is not prime.  Res64: BFC8FABCBA9A958F  Time : 463.0 sec.
user=gd_barnes
[2009-08-07 14:54:37]
513*2^707098-1 is not prime.  Res64: DF4A926544025789  Time : 3369.0 sec.
user=vaughan
[2009-08-07 14:55:52]
573*2^707108-1 is not prime.  Res64: 951FF7463C70D579  Time : 782.0 sec.
user=gd_barnes
[2009-08-07 14:55:59]
579*2^707099-1 is not prime.  Res64: AFC63D9F6FFF448A  Time : 3369.0 sec.
user=vaughan
[2009-08-07 14:56:21]
495*2^707109-1 is not prime.  Res64: 24A9BBF1B1D6D3B8  Time : 795.0 sec.
user=vaughan
[2009-08-07 14:57:17]
527*2^707110-1 is not prime.  Res64: 32789FCD8C4F012B  Time : 454.0 sec.
user=vaughan
[2009-08-07 14:58:53]
405*2^707108-1 is not prime.  Res64: 6D1ADF9885428A90  Time : 1018.0 sec.
user=gd_barnes
[2009-08-07 14:59:34]
513*2^707100-1 is not prime.  Res64: 12740AE41DAF9759  Time : 3373.0 sec.
user=gd_barnes
[2009-08-07 14:59:55]
515*2^707100-1 is not prime.  Res64: A83FC367C5E1A4C8  Time : 3367.0 sec.
user=vaughan
[2009-08-07 15:02:09]
411*2^707111-1 is not prime.  Res64: D7BE1B5074E130A6  Time : 464.0 sec.
user=vaughan
[2009-08-07 15:03:54]
581*2^707110-1 is not prime.  Res64: 7D228F30BE740CC0  Time : 799.0 sec.
user=vaughan
[2009-08-07 15:04:51]
425*2^707112-1 is not prime.  Res64: 9B3D2892B8EB48EA  Time : 454.0 sec.
user=gd_barnes
[2009-08-07 15:05:51]
503*2^707102-1 is not prime.  Res64: A5812F2695E52DAE  Time : 3369.0 sec.
user=gd_barnes
[2009-08-07 15:07:13]
415*2^707103-1 is not prime.  Res64: EBBE6E82BBF2D7AA  Time : 3369.0 sec.
user=vaughan
[2009-08-07 15:08:44]
463*2^707111-1 is not prime.  Res64: A8C025C108A51EBA  Time : 772.0 sec.
user=vaughan
[2009-08-07 15:09:33]
413*2^707112-1 is not prime.  Res64: 69CFCFEB8094D850  Time : 792.0 sec.
user=vaughan
[2009-08-07 15:09:53]
429*2^707113-1 is not prime.  Res64: BD780C6E424683CE  Time : 464.0 sec.
user=gd_barnes
[2009-08-07 15:10:48]
489*2^707103-1 is not prime.  Res64: 5C1C44CB2A099771  Time : 3373.0 sec.
user=gd_barnes
[2009-08-07 15:11:09]
565*2^707103-1 is not prime.  Res64: D3AF86EFD3B23559  Time : 3367.0 sec.
user=vaughan
[2009-08-07 15:12:25]
417*2^707114-1 is not prime.  Res64: 2FED060F97022F50  Time : 454.0 sec.
user=vaughan
[2009-08-07 15:16:00]
459*2^707112-1 is not prime.  Res64: 080D291B9637514A  Time : 1027.0 sec.
user=gd_barnes
[2009-08-07 15:17:05]
519*2^707104-1 is not prime.  Res64: 5978D0468BA87F13  Time : 3369.0 sec.
user=vaughan
[2009-08-07 15:17:21]
435*2^707113-1 is not prime.  Res64: E4DDAE527CD3B185  Time : 807.0 sec.
user=vaughan
[2009-08-07 15:17:36]
403*2^707115-1 is not prime.  Res64: E15302F22E125672  Time : 463.0 sec.
user=gd_barnes
[2009-08-07 15:18:27]
539*2^707104-1 is not prime.  Res64: A533FDCF8CF33926  Time : 3370.0 sec.
user=vaughan
[2009-08-07 15:19:58]
481*2^707115-1 is not prime.  Res64: 985F7C79CD2327A1  Time : 453.0 sec.
user=vaughan
[2009-08-07 15:21:35]
533*2^707114-1 is not prime.  Res64: 18CC621775E856B6  Time : 771.0 sec.
user=gd_barnes
[2009-08-07 15:22:03]
529*2^707105-1 is not prime.  Res64: 40FB871366B61C7B  Time : 3373.0 sec.
user=gd_barnes
[2009-08-07 15:22:22]
537*2^707105-1 is not prime.  Res64: AAC5398D57D1C183  Time : 3367.0 sec.
user=vaughan
[2009-08-07 15:22:44]
585*2^707114-1 is not prime.  Res64: 2453FECEEBA387E6  Time : 791.0 sec.
user=vaughan
[2009-08-07 15:25:20]
453*2^707116-1 is not prime.  Res64: A2559B05677166FB  Time : 464.0 sec.
user=vaughan
[2009-08-07 15:27:32]
587*2^707116-1 is not prime.  Res64: 76C51689D06A05F2  Time : 454.0 sec.
user=gd_barnes
[2009-08-07 15:28:20]
567*2^707106-1 is not prime.  Res64: 86542FF993A0E75D  Time : 3371.0 sec.
user=gd_barnes
[2009-08-07 15:29:41]
585*2^707106-1 is not prime.  Res64: F68F50B83FEB9B09  Time : 3370.0 sec.
user=vaughan
[2009-08-07 15:30:35]
437*2^707116-1 is not prime.  Res64: 547233A09E7D3BD1  Time : 794.0 sec.
user=vaughan
[2009-08-07 15:33:00]
583*2^707115-1 is not prime.  Res64: 3BEF2231CAA270C7  Time : 1020.0 sec.
user=vaughan
[2009-08-07 15:33:04]
529*2^707117-1 is not prime.  Res64: B070E815DDFFE7C7  Time : 464.0 sec.
user=gd_barnes
[2009-08-07 15:33:17]
451*2^707107-1 is not prime.  Res64: D0ADCDEC8216830C  Time : 3372.0 sec.
user=gd_barnes
[2009-08-07 15:33:34]
519*2^707107-1 is not prime.  Res64: E1D267499CE967FB  Time : 3366.0 sec.
user=vaughan
[2009-08-07 15:34:46]
441*2^707117-1 is not prime.  Res64: AE16F1A839364CC0  Time : 791.0 sec.
user=vaughan
[2009-08-07 15:35:06]
567*2^707117-1 is not prime.  Res64: 0E5AE27ABD74BDE2  Time : 454.0 sec.
user=vaughan
[2009-08-07 15:36:14]
517*2^707117-1 is not prime.  Res64: C247A09780675614  Time : 810.0 sec.
user=gd_barnes
[2009-08-07 15:39:33]
549*2^707109-1 is not prime.  Res64: 89F7CA20205193D2  Time : 3370.0 sec.
user=vaughan
[2009-08-07 15:40:47]
511*2^707119-1 is not prime.  Res64: 583CC7E187382021  Time : 463.0 sec.
user=gd_barnes
[2009-08-07 15:40:55]
565*2^707109-1 is not prime.  Res64: A3D161549CC5843A  Time : 3370.0 sec.
user=vaughan
[2009-08-07 15:42:43]
489*2^707120-1 is not prime.  Res64: 5E91E9F260A26DDD  Time : 457.0 sec.
user=vaughan
[2009-08-07 15:43:33]
525*2^707118-1 is not prime.  Res64: 72A73EBCC0C255C7  Time : 778.0 sec.
user=gd_barnes
[2009-08-07 15:44:32]
447*2^707110-1 is not prime.  Res64: 397227E14D0B2664  Time : 3373.0 sec.
user=gd_barnes
[2009-08-07 15:44:48]
467*2^707110-1 is not prime.  Res64: C0C96F37ACA8E1ED  Time : 3367.0 sec.
user=vaughan
[2009-08-07 15:47:34]
483*2^707120-1 is not prime.  Res64: 262AC238EE519DD4  Time : 768.0 sec.
user=vaughan
[2009-08-07 15:48:29]
525*2^707120-1 is not prime.  Res64: 635B7528E591C44C  Time : 462.0 sec.
user=vaughan
[2009-08-07 15:49:27]
509*2^707120-1 is not prime.  Res64: A9B4FD641EE11004  Time : 793.0 sec.
user=vaughan
[2009-08-07 15:49:42]
489*2^707119-1 is not prime.  Res64: 728DD9AE290887D4  Time : 1002.0 sec.
user=vaughan
[2009-08-07 15:50:21]
593*2^707120-1 is not prime.  Res64: 2161CB0EA8C330F4  Time : 458.0 sec.
user=gd_barnes
[2009-08-07 15:50:47]
423*2^707111-1 is not prime.  Res64: 921BA271607F5016  Time : 3370.0 sec.
user=gd_barnes
[2009-08-07 15:52:09]
595*2^707111-1 is not prime.  Res64: DF4850A975250DB6  Time : 3370.0 sec.
user=gd_barnes
[2009-08-07 15:55:47]
527*2^707112-1 is not prime.  Res64: 0E08273ECF23CF5C  Time : 3373.0 sec.
user=gd_barnes
[2009-08-07 15:56:02]
587*2^707112-1 is not prime.  Res64: A1FFCBE7FCEFA4BF  Time : 3367.0 sec.
user=vaughan
[2009-08-07 15:56:10]
435*2^707122-1 is not prime.  Res64: 58D7195CA5A513E5  Time : 461.0 sec.
user=vaughan
[2009-08-07 15:56:57]
465*2^707121-1 is not prime.  Res64: D3F7B68095360409  Time : 804.0 sec.
user=vaughan
[2009-08-07 15:57:56]
581*2^707122-1 is not prime.  Res64: DAEE4CC7C3867357  Time : 456.0 sec.
user=vaughan
[2009-08-07 16:00:40]
529*2^707121-1 is not prime.  Res64: 4AB94611593C5C4C  Time : 786.0 sec.
user=gd_barnes
[2009-08-07 16:02:01]
425*2^707114-1 is not prime.  Res64: 00DBADB99F246E91  Time : 3370.0 sec.
user=vaughan
[2009-08-07 16:02:52]
453*2^707122-1 is not prime.  Res64: 5F8BAC9F4506AD88  Time : 806.0 sec.
user=gd_barnes
[2009-08-07 16:03:23]
507*2^707114-1 is not prime.  Res64: 96AE149C7A021DED  Time : 3370.0 sec.
user=vaughan
[2009-08-07 16:03:51]
513*2^707124-1 is not prime.  Res64: 94F5F61B9D941D00  Time : 461.0 sec.
user=vaughan
[2009-08-07 16:05:33]
567*2^707124-1 is not prime.  Res64: ED61C7545C12D5CF  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 16:07:01]
433*2^707115-1 is not prime.  Res64: 69D8853625D57DE8  Time : 3373.0 sec.
user=vaughan
[2009-08-07 16:07:11]
461*2^707122-1 is not prime.  Res64: F3D7BC7DAEAA16C7  Time : 1049.0 sec.
user=gd_barnes
[2009-08-07 16:07:14]
459*2^707115-1 is not prime.  Res64: E3598D5FF09ADED6  Time : 3366.0 sec.
user=vaughan
[2009-08-07 16:10:19]
545*2^707124-1 is not prime.  Res64: 3288D096EDFA5564  Time : 802.0 sec.
user=vaughan
[2009-08-07 16:11:32]
489*2^707125-1 is not prime.  Res64: 6234EB7943576B44  Time : 462.0 sec.
user=vaughan
[2009-08-07 16:13:10]
499*2^707125-1 is not prime.  Res64: AC5DFA7EB6412055  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 16:13:15]
595*2^707115-1 is not prime.  Res64: 683FC20217FFA2B6  Time : 3370.0 sec.
user=vaughan
[2009-08-07 16:13:51]
585*2^707124-1 is not prime.  Res64: A8DCB370F018668A  Time : 791.0 sec.
user=gd_barnes
[2009-08-07 16:14:37]
575*2^707116-1 is not prime.  Res64: 3995D82BDE760090  Time : 3370.0 sec.
user=vaughan
[2009-08-07 16:16:16]
451*2^707125-1 is not prime.  Res64: BF7E87B3232DC46A  Time : 805.0 sec.
user=gd_barnes
[2009-08-07 16:18:16]
447*2^707117-1 is not prime.  Res64: 3FE181CED302536E  Time : 3373.0 sec.
user=gd_barnes
[2009-08-07 16:18:28]
507*2^707117-1 is not prime.  Res64: FA4F6DAF564837C0  Time : 3367.0 sec.
user=vaughan
[2009-08-07 16:19:13]
585*2^707126-1 is not prime.  Res64: 595D837A3632FA09  Time : 462.0 sec.
user=vaughan
[2009-08-07 16:20:47]
591*2^707126-1 is not prime.  Res64: 1247635EA532B7E5  Time : 458.0 sec.
user=vaughan
[2009-08-07 16:23:23]
563*2^707126-1 is not prime.  Res64: E2D6C6B58F04B386  Time : 784.0 sec.
user=gd_barnes
[2009-08-07 16:24:29]
417*2^707118-1 is not prime.  Res64: 6135FD9C0FF4408F  Time : 3370.0 sec.
user=vaughan
[2009-08-07 16:24:42]
483*2^707126-1 is not prime.  Res64: 80091C1E1CA846B2  Time : 1051.0 sec.
user=gd_barnes
[2009-08-07 16:25:52]
423*2^707118-1 is not prime.  Res64: 17645B4AA0CBCC26  Time : 3371.0 sec.
user=vaughan
[2009-08-07 16:26:53]
471*2^707127-1 is not prime.  Res64: A2BDE8A484F46509  Time : 782.0 sec.
user=vaughan
[2009-08-07 16:26:54]
567*2^707128-1 is not prime.  Res64: 92B8012E33E73A21  Time : 461.0 sec.
user=vaughan
[2009-08-07 16:28:23]
465*2^707129-1 is not prime.  Res64: 592D51007AFFD26E  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 16:29:30]
531*2^707119-1 is not prime.  Res64: DC6317F9A39371B1  Time : 3373.0 sec.
user=vaughan
[2009-08-07 16:29:34]
549*2^707127-1 is not prime.  Res64: 9DD5AB9FECEF4B3F  Time : 798.0 sec.
user=gd_barnes
[2009-08-07 16:29:41]
595*2^707119-1 is not prime.  Res64: 3BA1BD05369D86CA  Time : 3367.0 sec.
user=vaughan
[2009-08-07 16:34:37]
435*2^707132-1 is not prime.  Res64: EE710E4EFA4DB257  Time : 463.0 sec.
user=gd_barnes
[2009-08-07 16:35:42]
519*2^707120-1 is not prime.  Res64: 3B7397DD2B21BEA9  Time : 3369.0 sec.
user=vaughan
[2009-08-07 16:35:57]
477*2^707132-1 is not prime.  Res64: 66A4FFCC221E66CD  Time : 454.0 sec.
user=vaughan
[2009-08-07 16:36:41]
565*2^707129-1 is not prime.  Res64: 5950E6013D5493FB  Time : 798.0 sec.
user=gd_barnes
[2009-08-07 16:37:06]
539*2^707120-1 is not prime.  Res64: 32521F9805849824  Time : 3371.0 sec.
user=vaughan
[2009-08-07 16:39:26]
421*2^707131-1 is not prime.  Res64: 53DDE4CC4154B9C5  Time : 753.0 sec.
user=gd_barnes
[2009-08-07 16:40:45]
499*2^707121-1 is not prime.  Res64: 99DE1DB39091C5FE  Time : 3373.0 sec.
user=gd_barnes
[2009-08-07 16:40:54]
507*2^707121-1 is not prime.  Res64: 7F0DB2693E9153C0  Time : 3366.0 sec.
user=vaughan
[2009-08-07 16:41:46]
567*2^707130-1 is not prime.  Res64: 47FE1E9929B2B626  Time : 1024.0 sec.
user=vaughan
[2009-08-07 16:42:00]
563*2^707132-1 is not prime.  Res64: BE2A4C4B3075F582  Time : 747.0 sec.
user=vaughan
[2009-08-07 16:42:21]
417*2^707133-1 is not prime.  Res64: CAB2E03271BB859F  Time : 464.0 sec.
user=vaughan
[2009-08-07 16:43:31]
471*2^707133-1 is not prime.  Res64: AD2CD1ADEF03F285  Time : 454.0 sec.
user=gd_barnes
[2009-08-07 16:46:56]
445*2^707123-1 is not prime.  Res64: 33348186268B5845  Time : 3369.0 sec.
user=vaughan
[2009-08-07 16:47:58]
571*2^707133-1 is not prime.  Res64: CB802245E201C62F  Time : 677.0 sec.
user=gd_barnes
[2009-08-07 16:48:19]
511*2^707123-1 is not prime.  Res64: 2026B7998DD307C5  Time : 3371.0 sec.
user=vaughan
[2009-08-07 16:50:05]
463*2^707135-1 is not prime.  Res64: 36E260624D4DCD17  Time : 464.0 sec.
user=vaughan
[2009-08-07 16:51:05]
595*2^707135-1 is not prime.  Res64: 2568DA3870A1154F  Time : 454.0 sec.
user=vaughan
[2009-08-07 16:51:18]
411*2^707134-1 is not prime.  Res64: 4B77C426339855B0  Time : 712.0 sec.
user=gd_barnes
[2009-08-07 16:51:58]
553*2^707123-1 is not prime.  Res64: EDBC205EE26B0B5A  Time : 3371.0 sec.
user=gd_barnes
[2009-08-07 16:52:07]
413*2^707124-1 is not prime.  Res64: 2B9110A4E9467C71  Time : 3365.0 sec.
user=vaughan
[2009-08-07 16:54:02]
445*2^707135-1 is not prime.  Res64: DCF7EAABDDE03FA8  Time : 722.0 sec.
user=vaughan
[2009-08-07 16:57:49]
409*2^707137-1 is not prime.  Res64: D908FCEA934096C9  Time : 464.0 sec.
user=gd_barnes
[2009-08-07 16:58:10]
593*2^707124-1 is not prime.  Res64: 9EF1D791BF461FC9  Time : 3369.0 sec.
user=vaughan
[2009-08-07 16:58:34]
567*2^707134-1 is not prime.  Res64: C2419E4B4F0F838C  Time : 1008.0 sec.
user=vaughan
[2009-08-07 16:58:40]
427*2^707137-1 is not prime.  Res64: 56127A08294CFF39  Time : 455.0 sec.
user=gd_barnes
[2009-08-07 16:59:33]
481*2^707125-1 is not prime.  Res64: 1F89C527A1AC0152  Time : 3370.0 sec.
user=vaughan
[2009-08-07 17:01:09]
593*2^707136-1 is not prime.  Res64: AC6C4C59C7E37996  Time : 791.0 sec.
user=gd_barnes
[2009-08-07 17:03:13]
555*2^707125-1 is not prime.  Res64: 69818CB697AB48B9  Time : 3372.0 sec.
user=gd_barnes
[2009-08-07 17:03:21]
557*2^707126-1 is not prime.  Res64: E8F2541A755CC6BF  Time : 3367.0 sec.
user=vaughan
[2009-08-07 17:04:12]
439*2^707137-1 is not prime.  Res64: 15D65D0A540EF3B8  Time : 774.0 sec.
user=vaughan
[2009-08-07 17:05:33]
483*2^707138-1 is not prime.  Res64: CAB826CD3E3C55B1  Time : 464.0 sec.
user=vaughan
[2009-08-07 17:06:14]
445*2^707139-1 is not prime.  Res64: DCF0D3768400827E  Time : 454.0 sec.
user=vaughan
[2009-08-07 17:07:13]
589*2^707137-1 is not prime.  Res64: 5AB5479EDFB1FA84  Time : 791.0 sec.
user=gd_barnes
[2009-08-07 17:09:23]
403*2^707127-1 is not prime.  Res64: A06A70970BDD450E  Time : 3368.0 sec.
user=gd_barnes
[2009-08-07 17:10:46]
531*2^707127-1 is not prime.  Res64: 8306DA12EC7CE2D7  Time : 3369.0 sec.
user=vaughan
[2009-08-07 17:13:16]
549*2^707141-1 is not prime.  Res64: 1C05725055ED5CD5  Time : 463.0 sec.
user=vaughan
[2009-08-07 17:13:49]
401*2^707142-1 is not prime.  Res64: CBBB0DA7E66EEB4D  Time : 455.0 sec.
user=gd_barnes
[2009-08-07 17:14:27]
405*2^707128-1 is not prime.  Res64: 924B5B6AC2E3A589  Time : 3372.0 sec.
user=gd_barnes
[2009-08-07 17:14:33]
429*2^707128-1 is not prime.  Res64: 24907AEE87413FC9  Time : 3365.0 sec.
user=vaughan
[2009-08-07 17:14:38]
483*2^707140-1 is not prime.  Res64: 833D07B0EA22DDAC  Time : 809.0 sec.
user=vaughan
[2009-08-07 17:16:13]
507*2^707138-1 is not prime.  Res64: F65AB24D199185E3  Time : 1059.0 sec.
user=vaughan
[2009-08-07 17:17:20]
547*2^707141-1 is not prime.  Res64: B002CF8643EDE075  Time : 788.0 sec.
user=gd_barnes
[2009-08-07 17:20:37]
503*2^707130-1 is not prime.  Res64: FE65B6B214807DFC  Time : 3368.0 sec.
user=vaughan
[2009-08-07 17:20:45]
483*2^707142-1 is not prime.  Res64: ED1E890675DBB5BA  Time : 812.0 sec.
user=vaughan
[2009-08-07 17:21:03]
493*2^707143-1 is not prime.  Res64: 63DB16E1EDD84F1E  Time : 467.0 sec.
user=vaughan
[2009-08-07 17:21:25]
525*2^707143-1 is not prime.  Res64: 78366E9B00053C43  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 17:22:00]
411*2^707131-1 is not prime.  Res64: D0BABD72DBB0F0B2  Time : 3368.0 sec.
user=gd_barnes
[2009-08-07 17:25:42]
545*2^707132-1 is not prime.  Res64: FAA49F9A9ECB4872  Time : 3373.0 sec.
user=gd_barnes
[2009-08-07 17:25:47]
405*2^707133-1 is not prime.  Res64: D08C31123F9078C5  Time : 3366.0 sec.
user=vaughan
[2009-08-07 17:27:48]
589*2^707143-1 is not prime.  Res64: 636A4C8D25C0E4EB  Time : 790.0 sec.
user=vaughan
[2009-08-07 17:28:47]
487*2^707145-1 is not prime.  Res64: EA0334EB35BAE428  Time : 464.0 sec.
user=vaughan
[2009-08-07 17:28:59]
507*2^707145-1 is not prime.  Res64: 557B89C15602A4EA  Time : 454.0 sec.
user=vaughan
[2009-08-07 17:30:32]
459*2^707144-1 is not prime.  Res64: DB04CD95F7AD5705  Time : 793.0 sec.
user=gd_barnes
[2009-08-07 17:31:51]
445*2^707133-1 is not prime.  Res64: E894E5CC6DF4FF94  Time : 3369.0 sec.
user=gd_barnes
[2009-08-07 17:33:14]
595*2^707133-1 is not prime.  Res64: D9C21A506F8A3920  Time : 3368.0 sec.
user=vaughan
[2009-08-07 17:34:16]
437*2^707144-1 is not prime.  Res64: A89ED4C90AF8CF99  Time : 1083.0 sec.
user=vaughan
[2009-08-07 17:34:33]
427*2^707145-1 is not prime.  Res64: FF08EE2DB165C914  Time : 828.0 sec.
user=vaughan
[2009-08-07 17:36:28]
531*2^707146-1 is not prime.  Res64: A3C17BF6F78EB566  Time : 461.0 sec.
user=vaughan
[2009-08-07 17:36:37]
545*2^707146-1 is not prime.  Res64: A943116D190734A9  Time : 458.0 sec.
user=gd_barnes
[2009-08-07 17:36:56]
423*2^707134-1 is not prime.  Res64: 32CA7B1BD282C40E  Time : 3372.0 sec.
user=gd_barnes
[2009-08-07 17:37:00]
525*2^707134-1 is not prime.  Res64: 8D5DBCF97E3DC8AC  Time : 3366.0 sec.
user=vaughan
[2009-08-07 17:40:52]
503*2^707146-1 is not prime.  Res64: 6CAFBF3DD1BBF897  Time : 784.0 sec.
user=gd_barnes
[2009-08-07 17:43:05]
537*2^707136-1 is not prime.  Res64: E9BED48FFD0292E6  Time : 3369.0 sec.
user=vaughan
[2009-08-07 17:43:51]
567*2^707146-1 is not prime.  Res64: CB17ADEEF688AA95  Time : 799.0 sec.
user=vaughan
[2009-08-07 17:44:09]
539*2^707148-1 is not prime.  Res64: 308495E6CED70DDD  Time : 461.0 sec.
user=vaughan
[2009-08-07 17:44:14]
549*2^707148-1 is not prime.  Res64: 483D28317BDAEA78  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 17:44:29]
597*2^707136-1 is not prime.  Res64: 9241E7ADD7C92440  Time : 3370.0 sec.
user=vaughan
[2009-08-07 17:48:10]
473*2^707148-1 is not prime.  Res64: F40C258D271F8297  Time : 817.0 sec.
user=gd_barnes
[2009-08-07 17:48:11]
447*2^707137-1 is not prime.  Res64: 1D56A21DD71AD742  Time : 3373.0 sec.
user=gd_barnes
[2009-08-07 17:48:14]
565*2^707137-1 is not prime.  Res64: 763EA30A2C8D7EE3  Time : 3367.0 sec.
user=vaughan
[2009-08-07 17:51:51]
447*2^707150-1 is not prime.  Res64: 42EE98CEAD6BEAC8  Time : 457.0 sec.
user=vaughan
[2009-08-07 17:51:54]
499*2^707149-1 is not prime.  Res64: CC94DE11AA030B3E  Time : 465.0 sec.
user=vaughan
[2009-08-07 17:52:31]
549*2^707147-1 is not prime.  Res64: B70A59578DEC0534  Time : 1095.0 sec.
user=gd_barnes
[2009-08-07 17:54:19]
503*2^707138-1 is not prime.  Res64: 010CBF04781242F6  Time : 3369.0 sec.
user=vaughan
[2009-08-07 17:54:26]
421*2^707149-1 is not prime.  Res64: 59A8C6152141A6C9  Time : 814.0 sec.
user=gd_barnes
[2009-08-07 17:55:43]
437*2^707140-1 is not prime.  Res64: D3D3B65D51088232  Time : 3371.0 sec.
user=vaughan
[2009-08-07 17:57:38]
457*2^707149-1 is not prime.  Res64: 02175D544AEA57B3  Time : 827.0 sec.
user=gd_barnes
[2009-08-07 17:59:26]
533*2^707140-1 is not prime.  Res64: A8D5A9DFF89EC53E  Time : 3373.0 sec.
user=gd_barnes
[2009-08-07 17:59:27]
529*2^707141-1 is not prime.  Res64: 58B0F9B12322F1C5  Time : 3366.0 sec.
user=vaughan
[2009-08-07 17:59:27]
541*2^707151-1 is not prime.  Res64: CD591932EF9FD617  Time : 456.0 sec.
user=vaughan
[2009-08-07 17:59:36]
483*2^707152-1 is not prime.  Res64: 2DB330A2906EEC1C  Time : 462.0 sec.
user=vaughan
[2009-08-07 18:02:33]
587*2^707150-1 is not prime.  Res64: 7F31C84339CDD3E8  Time : 863.0 sec.
user=gd_barnes
[2009-08-07 18:05:32]
557*2^707142-1 is not prime.  Res64: 764F15A79FC5F267  Time : 3369.0 sec.
user=gd_barnes
[2009-08-07 18:06:56]
463*2^707143-1 is not prime.  Res64: EDD02062B31D51B3  Time : 3370.0 sec.
user=vaughan
[2009-08-07 18:07:03]
423*2^707154-1 is not prime.  Res64: 4B66FC51890D08FC  Time : 456.0 sec.
user=vaughan
[2009-08-07 18:07:18]
437*2^707154-1 is not prime.  Res64: D047277174B1A820  Time : 462.0 sec.
user=vaughan
[2009-08-07 18:08:23]
445*2^707153-1 is not prime.  Res64: 5FBC890C60969DDB  Time : 838.0 sec.
user=gd_barnes
[2009-08-07 18:10:40]
549*2^707143-1 is not prime.  Res64: 8F09A8E837BDF3E9  Time : 3373.0 sec.
user=gd_barnes
[2009-08-07 18:10:41]
553*2^707143-1 is not prime.  Res64: 0E1AA4ADBA2E0FD3  Time : 3368.0 sec.
user=vaughan
[2009-08-07 18:11:13]
507*2^707152-1 is not prime.  Res64: 38C9F4C48D4BF66A  Time : 1122.0 sec.
user=vaughan
[2009-08-07 18:11:14]
529*2^707153-1 is not prime.  Res64: C898F4087E00F3A5  Time : 816.0 sec.
user=vaughan
[2009-08-07 18:14:39]
567*2^707154-1 is not prime.  Res64: 9D363F538514CEB5  Time : 456.0 sec.
user=vaughan
[2009-08-07 18:15:01]
415*2^707155-1 is not prime.  Res64: D60606BE3A9B9AD3  Time : 463.0 sec.
user=vaughan
[2009-08-07 18:16:35]
501*2^707154-1 is not prime.  Res64: 2F28E5C7D46BF700  Time : 842.0 sec.
user=gd_barnes
[2009-08-07 18:16:47]
587*2^707144-1 is not prime.  Res64: 53DE27874FABFC8E  Time : 3370.0 sec.
user=gd_barnes
[2009-08-07 18:18:11]
525*2^707145-1 is not prime.  Res64: 8372873A14E169CF  Time : 3371.0 sec.
user=gd_barnes
[2009-08-07 18:21:53]
437*2^707146-1 is not prime.  Res64: D985D5A6DD89AD15  Time : 3366.0 sec.
user=gd_barnes
[2009-08-07 18:21:55]
579*2^707145-1 is not prime.  Res64: 2493E5FBBBC4091F  Time : 3374.0 sec.
user=vaughan
[2009-08-07 18:22:15]
595*2^707155-1 is not prime.  Res64: 78F67C2CE60A597C  Time : 456.0 sec.
user=vaughan
[2009-08-07 18:22:21]
519*2^707155-1 is not prime.  Res64: BEED08D2CD40162C  Time : 839.0 sec.
user=vaughan
[2009-08-07 18:22:43]
417*2^707156-1 is not prime.  Res64: 8A046CF1748291A0  Time : 463.0 sec.
user=vaughan
[2009-08-07 18:24:50]
589*2^707155-1 is not prime.  Res64: 5BC38FAEB2AC6111  Time : 817.0 sec.
user=gd_barnes
[2009-08-07 18:28:01]
463*2^707147-1 is not prime.  Res64: D4271AEDA4282548  Time : 3370.0 sec.
user=gd_barnes
[2009-08-07 18:29:25]
511*2^707147-1 is not prime.  Res64: 688C14E5CA7CB5A8  Time : 3371.0 sec.
user=vaughan
[2009-08-07 18:29:51]
517*2^707157-1 is not prime.  Res64: 0A17B7A0FE751C7F  Time : 456.0 sec.
user=vaughan
[2009-08-07 18:30:02]
583*2^707155-1 is not prime.  Res64: 61624E2E0A4D1A1A  Time : 1129.0 sec.
user=vaughan
[2009-08-07 18:30:27]
549*2^707157-1 is not prime.  Res64: 534AC5231ECFC52D  Time : 465.0 sec.
user=vaughan
[2009-08-07 18:30:36]
449*2^707156-1 is not prime.  Res64: 8A4A984BDEF9C75B  Time : 841.0 sec.
user=gd_barnes
[2009-08-07 18:33:07]
411*2^707149-1 is not prime.  Res64: 9F9ADB5DF0129F95  Time : 3367.0 sec.
user=gd_barnes
[2009-08-07 18:33:10]
597*2^707148-1 is not prime.  Res64: BA9F7763C103371F  Time : 3374.0 sec.
user=vaughan
[2009-08-07 18:36:57]
529*2^707157-1 is not prime.  Res64: C21F1F0C61944491  Time : 876.0 sec.
user=vaughan
[2009-08-07 18:37:27]
527*2^707158-1 is not prime.  Res64: E7A420965A3D7A0B  Time : 456.0 sec.
user=vaughan
[2009-08-07 18:38:10]
411*2^707159-1 is not prime.  Res64: 91B175743373B26D  Time : 463.0 sec.
user=vaughan
[2009-08-07 18:39:14]
559*2^707157-1 is not prime.  Res64: 0FC2D3AFF02170E5  Time : 864.0 sec.
user=gd_barnes
[2009-08-07 18:39:15]
429*2^707149-1 is not prime.  Res64: 493921922AF15257  Time : 3370.0 sec.
user=gd_barnes
[2009-08-07 18:40:39]
501*2^707150-1 is not prime.  Res64: A6E61C3898C33F92  Time : 3370.0 sec.
user=gd_barnes
[2009-08-07 18:44:20]
465*2^707151-1 is not prime.  Res64: 116418CEA72BA15E  Time : 3366.0 sec.
user=gd_barnes
[2009-08-07 18:44:24]
445*2^707151-1 is not prime.  Res64: AF102B60F95A2888  Time : 3373.0 sec.
user=vaughan
[2009-08-07 18:45:05]
465*2^707160-1 is not prime.  Res64: 54885BBC8567DB57  Time : 458.0 sec.
user=vaughan
[2009-08-07 18:45:08]
441*2^707159-1 is not prime.  Res64: 3B13A3BD1B16E3B4  Time : 872.0 sec.
user=vaughan
[2009-08-07 18:46:01]
473*2^707160-1 is not prime.  Res64: 1B3BEF7BB38CD9F0  Time : 471.0 sec.
user=vaughan
[2009-08-07 18:49:59]
591*2^707158-1 is not prime.  Res64: 51F574FDD1034CEC  Time : 1197.0 sec.
user=gd_barnes
[2009-08-07 18:50:28]
409*2^707153-1 is not prime.  Res64: 753B537AF625B6FD  Time : 3369.0 sec.
user=vaughan
[2009-08-07 18:50:50]
589*2^707159-1 is not prime.  Res64: E5EB853E62CA33B2  Time : 833.0 sec.
user=gd_barnes
[2009-08-07 18:51:52]
511*2^707153-1 is not prime.  Res64: 53B16541EE006A97  Time : 3369.0 sec.
user=vaughan
[2009-08-07 18:52:42]
483*2^707162-1 is not prime.  Res64: 83BDEFD5447F4A48  Time : 457.0 sec.
user=vaughan
[2009-08-07 18:53:37]
569*2^707160-1 is not prime.  Res64: 4475E3272E068F57  Time : 863.0 sec.
user=vaughan
[2009-08-07 18:53:43]
507*2^707162-1 is not prime.  Res64: D999F4E2143742C6  Time : 462.0 sec.
user=gd_barnes
[2009-08-07 18:55:34]
571*2^707153-1 is not prime.  Res64: CD8FC42A3A379BBA  Time : 3368.0 sec.
user=gd_barnes
[2009-08-07 18:55:39]
567*2^707153-1 is not prime.  Res64: 93E02319BECC171E  Time : 3373.0 sec.
user=vaughan
[2009-08-07 18:59:43]
495*2^707162-1 is not prime.  Res64: B2483FB4042625E6  Time : 875.0 sec.
user=vaughan
[2009-08-07 19:00:19]
507*2^707164-1 is not prime.  Res64: 652247DC80EF2515  Time : 457.0 sec.
user=vaughan
[2009-08-07 19:01:25]
573*2^707164-1 is not prime.  Res64: 290502BD8ED34D8F  Time : 462.0 sec.
user=gd_barnes
[2009-08-07 19:01:42]
525*2^707154-1 is not prime.  Res64: 47BB6B0EC3ED0A70  Time : 3378.0 sec.
user=gd_barnes
[2009-08-07 19:03:07]
555*2^707154-1 is not prime.  Res64: 9359A6C8BD2D3C88  Time : 3371.0 sec.
user=vaughan
[2009-08-07 19:04:38]
501*2^707163-1 is not prime.  Res64: 59572080F4A5BF12  Time : 829.0 sec.
user=gd_barnes
[2009-08-07 19:06:47]
561*2^707155-1 is not prime.  Res64: 365B07FDD2F41879  Time : 3367.0 sec.
user=gd_barnes
[2009-08-07 19:06:53]
523*2^707155-1 is not prime.  Res64: 0007C6363D3F55F5  Time : 3373.0 sec.
user=vaughan
[2009-08-07 19:07:24]
533*2^707164-1 is not prime.  Res64: 683388C4CF226955  Time : 827.0 sec.
user=vaughan
[2009-08-07 19:07:55]
487*2^707165-1 is not prime.  Res64: 4F4DED6B6EC696CD  Time : 456.0 sec.
user=vaughan
[2009-08-07 19:09:07]
561*2^707165-1 is not prime.  Res64: AB435F16CAEA4521  Time : 463.0 sec.
user=vaughan
[2009-08-07 19:09:07]
563*2^707162-1 is not prime.  Res64: 6D7716CCAA977955  Time : 1148.0 sec.
user=gd_barnes
[2009-08-07 19:12:57]
495*2^707156-1 is not prime.  Res64: D4934CCC9A52B2C2  Time : 3370.0 sec.
user=vaughan
[2009-08-07 19:13:41]
465*2^707165-1 is not prime.  Res64: 126C085994877FBC  Time : 839.0 sec.
user=gd_barnes
[2009-08-07 19:14:21]
427*2^707157-1 is not prime.  Res64: 4981259B00E87E65  Time : 3370.0 sec.
user=vaughan
[2009-08-07 19:15:31]
555*2^707167-1 is not prime.  Res64: 39415EBA5D071D80  Time : 456.0 sec.
user=vaughan
[2009-08-07 19:16:49]
559*2^707167-1 is not prime.  Res64: CE6BBACDECEEF6EC  Time : 462.0 sec.
user=gd_barnes
[2009-08-07 19:18:00]
445*2^707157-1 is not prime.  Res64: 74E4E2CDC3BDA6C7  Time : 3367.0 sec.
user=gd_barnes
[2009-08-07 19:18:08]
465*2^707157-1 is not prime.  Res64: 673E1C7C618CD3C8  Time : 3373.0 sec.
user=vaughan
[2009-08-07 19:18:08]
521*2^707166-1 is not prime.  Res64: 7A79D2FACEC826AD  Time : 810.0 sec.
user=vaughan
[2009-08-07 19:20:55]
441*2^707167-1 is not prime.  Res64: D62C01960D7A7972  Time : 812.0 sec.
user=vaughan
[2009-08-07 19:23:07]
503*2^707170-1 is not prime.  Res64: FE8EA2585A1DF0CC  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 19:24:10]
571*2^707157-1 is not prime.  Res64: 1C862497E89C6087  Time : 3369.0 sec.
user=vaughan
[2009-08-07 19:24:31]
531*2^707170-1 is not prime.  Res64: 8EA076AE72F63A1A  Time : 462.0 sec.
user=gd_barnes
[2009-08-07 19:25:36]
423*2^707158-1 is not prime.  Res64: 57A8A58E7580D8A8  Time : 3371.0 sec.
user=vaughan
[2009-08-07 19:27:49]
563*2^707168-1 is not prime.  Res64: 33DCD60CA9B18FDA  Time : 1122.0 sec.
user=vaughan
[2009-08-07 19:27:50]
549*2^707169-1 is not prime.  Res64: 3A9364753AB9F485  Time : 849.0 sec.
user=gd_barnes
[2009-08-07 19:29:13]
573*2^707159-1 is not prime.  Res64: F44A3B967520FB37  Time : 3366.0 sec.
user=gd_barnes
[2009-08-07 19:29:24]
579*2^707159-1 is not prime.  Res64: 6DF9268CCB1A5C2B  Time : 3375.0 sec.
user=vaughan
[2009-08-07 19:30:43]
531*2^707171-1 is not prime.  Res64: 89D026C8EA7635A1  Time : 456.0 sec.
user=vaughan
[2009-08-07 19:31:52]
411*2^707171-1 is not prime.  Res64: BEFAD59C395745A4  Time : 824.0 sec.
user=vaughan
[2009-08-07 19:32:13]
453*2^707172-1 is not prime.  Res64: 986E2E97E676CFCE  Time : 462.0 sec.
user=vaughan
[2009-08-07 19:34:33]
465*2^707171-1 is not prime.  Res64: 4788A83AC640B17F  Time : 818.0 sec.
user=gd_barnes
[2009-08-07 19:35:24]
593*2^707160-1 is not prime.  Res64: EF2A973D597A02DE  Time : 3369.0 sec.
user=gd_barnes
[2009-08-07 19:36:49]
511*2^707161-1 is not prime.  Res64: AAF33F40D2A4BA80  Time : 3371.0 sec.
user=vaughan
[2009-08-07 19:38:20]
593*2^707172-1 is not prime.  Res64: 1E3F73FC12B7DD3E  Time : 457.0 sec.
user=vaughan
[2009-08-07 19:39:55]
465*2^707173-1 is not prime.  Res64: F3599C79F9DA1A7A  Time : 462.0 sec.
user=gd_barnes
[2009-08-07 19:40:26]
555*2^707161-1 is not prime.  Res64: 2CB040E01365BD4F  Time : 3366.0 sec.
user=gd_barnes
[2009-08-07 19:40:40]
435*2^707162-1 is not prime.  Res64: 5C02B30337D79F03  Time : 3376.0 sec.
user=vaughan
[2009-08-07 19:41:50]
563*2^707172-1 is not prime.  Res64: D1583BED9D97DE01  Time : 840.0 sec.
user=vaughan
[2009-08-07 19:45:57]
597*2^707173-1 is not prime.  Res64: 873081683EE51649  Time : 458.0 sec.
user=vaughan
[2009-08-07 19:46:24]
411*2^707173-1 is not prime.  Res64: 34BE42332B65EF2F  Time : 872.0 sec.
user=gd_barnes
[2009-08-07 19:46:38]
465*2^707163-1 is not prime.  Res64: 6E0B9C66E02E9A15  Time : 3370.0 sec.
user=vaughan
[2009-08-07 19:46:47]
557*2^707172-1 is not prime.  Res64: 8AD44C7817D50240  Time : 1138.0 sec.
user=vaughan
[2009-08-07 19:47:38]
461*2^707174-1 is not prime.  Res64: B63D3110FF221EF9  Time : 463.0 sec.
user=gd_barnes
[2009-08-07 19:48:05]
435*2^707164-1 is not prime.  Res64: 0C14A985805A8913  Time : 3373.0 sec.
user=vaughan
[2009-08-07 19:48:39]
477*2^707173-1 is not prime.  Res64: A520E594675A076A  Time : 846.0 sec.
user=gd_barnes
[2009-08-07 19:51:39]
587*2^707164-1 is not prime.  Res64: A5D6F4B8AA5DE4C3  Time : 3366.0 sec.
user=gd_barnes
[2009-08-07 19:51:55]
459*2^707165-1 is not prime.  Res64: B64BB4C728FB1F76  Time : 3376.0 sec.
user=vaughan
[2009-08-07 19:53:34]
575*2^707174-1 is not prime.  Res64: 70569519AB06F9C8  Time : 458.0 sec.
user=vaughan
[2009-08-07 19:55:21]
579*2^707175-1 is not prime.  Res64: D9330952854F2237  Time : 463.0 sec.
user=vaughan
[2009-08-07 19:56:27]
563*2^707174-1 is not prime.  Res64: 43B8BC3665C3AC75  Time : 877.0 sec.
user=gd_barnes
[2009-08-07 19:57:51]
579*2^707165-1 is not prime.  Res64: 3F43E50C6B77B12E  Time : 3369.0 sec.
user=gd_barnes
[2009-08-07 19:59:18]
485*2^707166-1 is not prime.  Res64: 607DBD2679D83E2D  Time : 3371.0 sec.
user=vaughan
[2009-08-07 20:00:42]
405*2^707175-1 is not prime.  Res64: 7578B99AA88275CE  Time : 859.0 sec.
user=vaughan
[2009-08-07 20:01:10]
511*2^707177-1 is not prime.  Res64: A34C1CBD53311054  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 20:02:52]
587*2^707166-1 is not prime.  Res64: 93D70BE8E8F138AC  Time : 3365.0 sec.
user=vaughan
[2009-08-07 20:02:57]
569*2^707176-1 is not prime.  Res64: 1FFAE6D3A0250D7C  Time : 858.0 sec.
user=vaughan
[2009-08-07 20:03:02]
537*2^707177-1 is not prime.  Res64: 97D20A63D1B4BE05  Time : 462.0 sec.
user=gd_barnes
[2009-08-07 20:03:10]
421*2^707167-1 is not prime.  Res64: 5457844BE33E5E42  Time : 3377.0 sec.
user=vaughan
[2009-08-07 20:06:31]
543*2^707175-1 is not prime.  Res64: 4E84CB1DDE1622D9  Time : 1185.0 sec.
user=vaughan
[2009-08-07 20:08:46]
429*2^707179-1 is not prime.  Res64: 9CADCD840721397D  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 20:09:04]
459*2^707169-1 is not prime.  Res64: 29ADD1EEA838E588  Time : 3367.0 sec.
user=gd_barnes
[2009-08-07 20:10:33]
465*2^707170-1 is not prime.  Res64: CEB3567AB9249826  Time : 3372.0 sec.
user=vaughan
[2009-08-07 20:10:44]
405*2^707180-1 is not prime.  Res64: 4044D9EDC57D5A8E  Time : 462.0 sec.
user=vaughan
[2009-08-07 20:11:10]
549*2^707177-1 is not prime.  Res64: DEFCA8BE16C9A709  Time : 883.0 sec.
user=gd_barnes
[2009-08-07 20:14:04]
587*2^707170-1 is not prime.  Res64: AB99FD1B8E819A3E  Time : 3364.0 sec.
user=gd_barnes
[2009-08-07 20:14:25]
597*2^707170-1 is not prime.  Res64: 4EA91FEC31FDDFD5  Time : 3377.0 sec.
user=vaughan
[2009-08-07 20:14:50]
563*2^707178-1 is not prime.  Res64: B774C8F06EF2657B  Time : 848.0 sec.
user=vaughan
[2009-08-07 20:16:22]
503*2^707180-1 is not prime.  Res64: 648E882EE19A4112  Time : 457.0 sec.
user=vaughan
[2009-08-07 20:17:09]
523*2^707179-1 is not prime.  Res64: B780A6AF4011C3EA  Time : 852.0 sec.
user=vaughan
[2009-08-07 20:18:27]
585*2^707180-1 is not prime.  Res64: C573C9D8AC705531  Time : 463.0 sec.
user=gd_barnes
[2009-08-07 20:20:18]
565*2^707171-1 is not prime.  Res64: 239CE5521DE5F2C8  Time : 3368.0 sec.
user=gd_barnes
[2009-08-07 20:21:47]
539*2^707172-1 is not prime.  Res64: 82106792959F6F85  Time : 3371.0 sec.
user=vaughan
[2009-08-07 20:23:59]
525*2^707182-1 is not prime.  Res64: B61BDF10B74FA705  Time : 458.0 sec.
user=gd_barnes
[2009-08-07 20:25:16]
567*2^707172-1 is not prime.  Res64: DFD252221639A5D2  Time : 3363.0 sec.
user=vaughan
[2009-08-07 20:25:24]
599*2^707180-1 is not prime.  Res64: 94A70CBE0669B17A  Time : 855.0 sec.
user=gd_barnes
[2009-08-07 20:25:41]
569*2^707172-1 is not prime.  Res64: A2AB875891D55368  Time : 3377.0 sec.
user=vaughan
[2009-08-07 20:25:50]
479*2^707180-1 is not prime.  Res64: 3FB083B2741C934D  Time : 1160.0 sec.
user=vaughan
[2009-08-07 20:26:09]
525*2^707183-1 is not prime.  Res64: 7457F67CC2D797EC  Time : 463.0 sec.
user=vaughan
[2009-08-07 20:28:23]
455*2^707182-1 is not prime.  Res64: BE93DBF31745B43A  Time : 813.0 sec.
user=vaughan
[2009-08-07 20:30:40]
523*2^707183-1 is not prime.  Res64: 40C6574F6A2D0C73  Time : 812.0 sec.
user=gd_barnes
[2009-08-07 20:31:31]
519*2^707173-1 is not prime.  Res64: 441D00557D4F2ACB  Time : 3367.0 sec.
user=vaughan
[2009-08-07 20:31:35]
539*2^707184-1 is not prime.  Res64: 7BACD9D47FD021CC  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 20:33:01]
591*2^707173-1 is not prime.  Res64: 297D56B386121C38  Time : 3372.0 sec.
user=vaughan
[2009-08-07 20:33:51]
415*2^707185-1 is not prime.  Res64: DD30415F744B796C  Time : 463.0 sec.
user=gd_barnes
[2009-08-07 20:36:29]
483*2^707174-1 is not prime.  Res64: E2FC1986247AB554  Time : 3363.0 sec.
user=gd_barnes
[2009-08-07 20:36:56]
533*2^707174-1 is not prime.  Res64: 88C8D2F1672F7EBE  Time : 3376.0 sec.
user=vaughan
[2009-08-07 20:39:10]
549*2^707184-1 is not prime.  Res64: 6435CAB3AAF1EC41  Time : 826.0 sec.
user=vaughan
[2009-08-07 20:39:11]
565*2^707185-1 is not prime.  Res64: 564D5D6F169942A9  Time : 456.0 sec.
user=vaughan
[2009-08-07 20:41:33]
447*2^707186-1 is not prime.  Res64: B7310126CC1EDE15  Time : 463.0 sec.
user=vaughan
[2009-08-07 20:41:57]
507*2^707185-1 is not prime.  Res64: 1FB5EB3E0DEDBA41  Time : 814.0 sec.
user=gd_barnes
[2009-08-07 20:42:44]
441*2^707175-1 is not prime.  Res64: F981CF7D68C45A3B  Time : 3366.0 sec.
user=vaughan
[2009-08-07 20:44:02]
531*2^707185-1 is not prime.  Res64: CF4C3A3D0C1713C2  Time : 802.0 sec.
user=vaughan
[2009-08-07 20:44:08]
567*2^707184-1 is not prime.  Res64: 570F0EB370EB57A9  Time : 1098.0 sec.
user=gd_barnes
[2009-08-07 20:44:14]
519*2^707176-1 is not prime.  Res64: 44279B3C1071B5EB  Time : 3369.0 sec.
user=vaughan
[2009-08-07 20:46:47]
489*2^707187-1 is not prime.  Res64: C6902C4D1465D291  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 20:47:43]
575*2^707176-1 is not prime.  Res64: 1FFE4891376419D6  Time : 3364.0 sec.
user=gd_barnes
[2009-08-07 20:48:12]
447*2^707177-1 is not prime.  Res64: 0DAA7CD1310ABC12  Time : 3378.0 sec.
user=vaughan
[2009-08-07 20:49:15]
529*2^707187-1 is not prime.  Res64: F4A1642021598027  Time : 462.0 sec.
user=vaughan
[2009-08-07 20:52:57]
581*2^707186-1 is not prime.  Res64: E212344CBF82A3EA  Time : 827.0 sec.
user=gd_barnes
[2009-08-07 20:53:58]
559*2^707177-1 is not prime.  Res64: 1D5B7D1309EF09BD  Time : 3367.0 sec.
user=vaughan
[2009-08-07 20:54:24]
477*2^707189-1 is not prime.  Res64: 7ECD92C08C4F142F  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 20:55:29]
413*2^707178-1 is not prime.  Res64: 7D764F2F901D9164  Time : 3371.0 sec.
user=vaughan
[2009-08-07 20:55:35]
429*2^707188-1 is not prime.  Res64: 680969550F6E4470  Time : 818.0 sec.
user=vaughan
[2009-08-07 20:56:56]
447*2^707190-1 is not prime.  Res64: DFC65FD95554ADD8  Time : 461.0 sec.
user=vaughan
[2009-08-07 20:57:14]
537*2^707188-1 is not prime.  Res64: C7CB9355F720314F  Time : 792.0 sec.
user=gd_barnes
[2009-08-07 20:58:54]
471*2^707179-1 is not prime.  Res64: B4E51CDB1193034C  Time : 3363.0 sec.
user=gd_barnes
[2009-08-07 20:59:26]
447*2^707180-1 is not prime.  Res64: A1E4E22243B553E2  Time : 3376.0 sec.
user=vaughan
[2009-08-07 21:02:00]
463*2^707191-1 is not prime.  Res64: 7AF0BCACBFA98B8C  Time : 456.0 sec.
user=vaughan
[2009-08-07 21:02:17]
563*2^707188-1 is not prime.  Res64: 52F69B3B3B39B6B6  Time : 1089.0 sec.
user=vaughan
[2009-08-07 21:04:39]
499*2^707191-1 is not prime.  Res64: 680F52FC196A1273  Time : 463.0 sec.
user=gd_barnes
[2009-08-07 21:05:11]
525*2^707180-1 is not prime.  Res64: 9D049BCEBFC4485C  Time : 3367.0 sec.
user=vaughan
[2009-08-07 21:06:39]
515*2^707190-1 is not prime.  Res64: FC412BEE1061ED0C  Time : 823.0 sec.
user=gd_barnes
[2009-08-07 21:06:43]
557*2^707180-1 is not prime.  Res64: 0B3FEA070771D1BA  Time : 3370.0 sec.
user=vaughan
[2009-08-07 21:09:19]
489*2^707191-1 is not prime.  Res64: B204E126C65EC43A  Time : 824.0 sec.
user=vaughan
[2009-08-07 21:09:36]
447*2^707192-1 is not prime.  Res64: 3D9A1B6847AF19DB  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 21:10:07]
465*2^707181-1 is not prime.  Res64: 582F898A3A14737C  Time : 3364.0 sec.
user=vaughan
[2009-08-07 21:10:41]
535*2^707191-1 is not prime.  Res64: 1C90E68F3D54C8E8  Time : 807.0 sec.
user=gd_barnes
[2009-08-07 21:10:42]
577*2^707181-1 is not prime.  Res64: 697BEB43487BA7C7  Time : 3377.0 sec.
user=vaughan
[2009-08-07 21:12:21]
519*2^707192-1 is not prime.  Res64: 6B6D722447D252DF  Time : 463.0 sec.
user=gd_barnes
[2009-08-07 21:16:25]
423*2^707184-1 is not prime.  Res64: 234C091680FFC966  Time : 3368.0 sec.
user=vaughan
[2009-08-07 21:17:12]
459*2^707193-1 is not prime.  Res64: 832E8C542C15F95E  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 21:17:57]
503*2^707184-1 is not prime.  Res64: B368F23FCD58B1F7  Time : 3370.0 sec.
user=vaughan
[2009-08-07 21:20:03]
411*2^707195-1 is not prime.  Res64: 58B662C29C28CCC1  Time : 463.0 sec.
user=vaughan
[2009-08-07 21:20:33]
405*2^707193-1 is not prime.  Res64: 1836D902E386618C  Time : 834.0 sec.
user=vaughan
[2009-08-07 21:20:44]
479*2^707192-1 is not prime.  Res64: 13467D13741BF139  Time : 1107.0 sec.
user=gd_barnes
[2009-08-07 21:21:19]
543*2^707184-1 is not prime.  Res64: 5FCDA9B8361CEA0C  Time : 3363.0 sec.
user=gd_barnes
[2009-08-07 21:21:58]
563*2^707184-1 is not prime.  Res64: 942FA7D3EC8C4C1F  Time : 3377.0 sec.
user=vaughan
[2009-08-07 21:23:44]
441*2^707193-1 is not prime.  Res64: 9832ACBCFFBAA150  Time : 865.0 sec.
user=vaughan
[2009-08-07 21:24:16]
411*2^707194-1 is not prime.  Res64: 1358C3432E7F9694  Time : 815.0 sec.
user=vaughan
[2009-08-07 21:24:50]
511*2^707195-1 is not prime.  Res64: 059252F599A4B399  Time : 458.0 sec.
user=gd_barnes
[2009-08-07 21:27:39]
535*2^707185-1 is not prime.  Res64: B0F79C831ED7AA90  Time : 3369.0 sec.
user=vaughan
[2009-08-07 21:27:45]
531*2^707195-1 is not prime.  Res64: 79A60C111BBB4D3B  Time : 462.0 sec.
user=gd_barnes
[2009-08-07 21:29:12]
425*2^707186-1 is not prime.  Res64: 5E191D723E53CE92  Time : 3372.0 sec.
user=vaughan
[2009-08-07 21:32:26]
435*2^707198-1 is not prime.  Res64: 81421643C206F11B  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 21:32:32]
503*2^707186-1 is not prime.  Res64: D8D2096D0112698C  Time : 3363.0 sec.
user=gd_barnes
[2009-08-07 21:33:14]
561*2^707186-1 is not prime.  Res64: 84D35C2E25FC9B53  Time : 3378.0 sec.
user=vaughan
[2009-08-07 21:34:37]
595*2^707195-1 is not prime.  Res64: CDCD3776202D3A9B  Time : 844.0 sec.
user=vaughan
[2009-08-07 21:35:27]
465*2^707199-1 is not prime.  Res64: C90C08578EA3B467  Time : 462.0 sec.
user=vaughan
[2009-08-07 21:37:39]
505*2^707197-1 is not prime.  Res64: E23DB1A23767B027  Time : 835.0 sec.
user=vaughan
[2009-08-07 21:37:59]
565*2^707197-1 is not prime.  Res64: FD6E3D21A69380FB  Time : 823.0 sec.
user=gd_barnes
[2009-08-07 21:38:53]
483*2^707188-1 is not prime.  Res64: 10AEBBD823212973  Time : 3369.0 sec.
user=vaughan
[2009-08-07 21:39:34]
485*2^707196-1 is not prime.  Res64: 9F41A79272776AAC  Time : 1130.0 sec.
user=vaughan
[2009-08-07 21:40:02]
481*2^707199-1 is not prime.  Res64: 39D4A69FA362CEB1  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 21:40:26]
597*2^707188-1 is not prime.  Res64: EB98CDD23D87F21A  Time : 3372.0 sec.
user=vaughan
[2009-08-07 21:43:08]
565*2^707201-1 is not prime.  Res64: 33832375F16B26AD  Time : 461.0 sec.
user=gd_barnes
[2009-08-07 21:43:45]
487*2^707189-1 is not prime.  Res64: 90A1E87E0081B082  Time : 3363.0 sec.
user=gd_barnes
[2009-08-07 21:44:30]
437*2^707190-1 is not prime.  Res64: A8A7A48DC20EA03F  Time : 3379.0 sec.
user=vaughan
[2009-08-07 21:47:38]
483*2^707202-1 is not prime.  Res64: 0FCA35E5F2BF67DB  Time : 456.0 sec.
user=vaughan
[2009-08-07 21:48:46]
489*2^707201-1 is not prime.  Res64: ACDB01E17D62E73E  Time : 849.0 sec.
user=gd_barnes
[2009-08-07 21:50:07]
585*2^707190-1 is not prime.  Res64: 3DC83BAFD99C8CD1  Time : 3369.0 sec.
user=vaughan
[2009-08-07 21:50:50]
439*2^707203-1 is not prime.  Res64: 8DF57A5DDBD8649D  Time : 462.0 sec.
user=vaughan
[2009-08-07 21:51:30]
571*2^707201-1 is not prime.  Res64: 398566202E49CAA2  Time : 831.0 sec.
user=vaughan
[2009-08-07 21:51:40]
579*2^707201-1 is not prime.  Res64: EC1A6A56B51F5218  Time : 822.0 sec.
user=gd_barnes
[2009-08-07 21:51:40]
469*2^707191-1 is not prime.  Res64: 036DF7443D235B53  Time : 3371.0 sec.
user=gd_barnes
[2009-08-07 21:54:58]
405*2^707192-1 is not prime.  Res64: 9DE24E26E5B919A4  Time : 3364.0 sec.
user=vaughan
[2009-08-07 21:55:14]
583*2^707203-1 is not prime.  Res64: 2A5538A587C820C6  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 21:55:45]
407*2^707192-1 is not prime.  Res64: 3EA922CB54C7F8B9  Time : 3379.0 sec.
user=vaughan
[2009-08-07 21:58:15]
405*2^707202-1 is not prime.  Res64: F05979882DAE98CF  Time : 1121.0 sec.
user=vaughan
[2009-08-07 21:58:33]
599*2^707204-1 is not prime.  Res64: 95E0A1E086649C3F  Time : 463.0 sec.
user=gd_barnes
[2009-08-07 22:01:21]
537*2^707192-1 is not prime.  Res64: AE4604D8E3F8573C  Time : 3370.0 sec.
user=vaughan
[2009-08-07 22:02:50]
595*2^707203-1 is not prime.  Res64: 773AD6F44217BDA5  Time : 845.0 sec.
user=vaughan
[2009-08-07 22:02:50]
403*2^707207-1 is not prime.  Res64: 855E3CDF85949366  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 22:02:54]
429*2^707193-1 is not prime.  Res64: D455CDB5FD09BCAF  Time : 3371.0 sec.
user=vaughan
[2009-08-07 22:05:15]
555*2^707205-1 is not prime.  Res64: FBBFF460F5472CAC  Time : 825.0 sec.
user=vaughan
[2009-08-07 22:05:18]
471*2^707206-1 is not prime.  Res64: 36EAAE22451BB012  Time : 818.0 sec.
user=gd_barnes
[2009-08-07 22:06:11]
577*2^707193-1 is not prime.  Res64: 410283B69D7895F1  Time : 3365.0 sec.
user=vaughan
[2009-08-07 22:06:16]
553*2^707207-1 is not prime.  Res64: 1807BD4FC49D06BA  Time : 463.0 sec.
user=gd_barnes
[2009-08-07 22:07:00]
453*2^707194-1 is not prime.  Res64: B49457607A19D36F  Time : 3378.0 sec.
user=vaughan
[2009-08-07 22:10:26]
537*2^707208-1 is not prime.  Res64: D5AFEE3EBF3D143A  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 22:12:34]
445*2^707195-1 is not prime.  Res64: 3AE189EE55C36CE2  Time : 3369.0 sec.
user=vaughan
[2009-08-07 22:13:59]
405*2^707211-1 is not prime.  Res64: 69899A8C8E04DC4A  Time : 464.0 sec.
user=gd_barnes
[2009-08-07 22:14:08]
519*2^707195-1 is not prime.  Res64: EB2569A3FEE92B9D  Time : 3371.0 sec.
user=vaughan
[2009-08-07 22:17:06]
531*2^707207-1 is not prime.  Res64: 9EF5AE424E820ADC  Time : 1131.0 sec.
user=vaughan
[2009-08-07 22:17:08]
479*2^707208-1 is not prime.  Res64: 90ACC6773D8A8565  Time : 858.0 sec.
user=gd_barnes
[2009-08-07 22:17:24]
527*2^707196-1 is not prime.  Res64: E649AADA6A3A5161  Time : 3365.0 sec.
user=vaughan
[2009-08-07 22:18:03]
541*2^707211-1 is not prime.  Res64: D173EB5008990763  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 22:18:16]
427*2^707197-1 is not prime.  Res64: BB5F7BC01C188602  Time : 3378.0 sec.
user=vaughan
[2009-08-07 22:18:50]
595*2^707209-1 is not prime.  Res64: 52610CFB34F9C800  Time : 815.0 sec.
user=vaughan
[2009-08-07 22:19:01]
417*2^707210-1 is not prime.  Res64: 141DE8E75794D02E  Time : 823.0 sec.
user=vaughan
[2009-08-07 22:21:42]
497*2^707212-1 is not prime.  Res64: 7F48D9170E9D477F  Time : 463.0 sec.
user=gd_barnes
[2009-08-07 22:23:48]
585*2^707198-1 is not prime.  Res64: 893E3CD3663CB0B9  Time : 3369.0 sec.
user=gd_barnes
[2009-08-07 22:25:23]
469*2^707199-1 is not prime.  Res64: A9218B8DB5F90692  Time : 3371.0 sec.
user=vaughan
[2009-08-07 22:25:39]
405*2^707213-1 is not prime.  Res64: 8542DCAE88DC7CA9  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 22:28:37]
453*2^707200-1 is not prime.  Res64: 032C57E04A730AE5  Time : 3365.0 sec.
user=vaughan
[2009-08-07 22:29:24]
487*2^707213-1 is not prime.  Res64: 6069C23D419FBDC8  Time : 462.0 sec.
user=gd_barnes
[2009-08-07 22:29:32]
467*2^707200-1 is not prime.  Res64: 072C5ABBB37F6D90  Time : 3378.0 sec.
user=vaughan
[2009-08-07 22:31:24]
563*2^707212-1 is not prime.  Res64: 2AABE71B6658E2AF  Time : 856.0 sec.
user=vaughan
[2009-08-07 22:32:42]
481*2^707213-1 is not prime.  Res64: 8938FCFF8F4DE7A2  Time : 821.0 sec.
user=vaughan
[2009-08-07 22:32:54]
475*2^707213-1 is not prime.  Res64: 7CB868EA0460F0DB  Time : 845.0 sec.
user=vaughan
[2009-08-07 22:33:16]
571*2^707213-1 is not prime.  Res64: 85995147BCA7374E  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 22:35:01]
585*2^707201-1 is not prime.  Res64: EA4C29CB92AA10B2  Time : 3368.0 sec.
user=vaughan
[2009-08-07 22:36:05]
545*2^707212-1 is not prime.  Res64: C9C1897B69D20507  Time : 1139.0 sec.
user=gd_barnes
[2009-08-07 22:36:37]
513*2^707202-1 is not prime.  Res64: 2364F17B54C7ACB5  Time : 3372.0 sec.
user=vaughan
[2009-08-07 22:37:07]
447*2^707214-1 is not prime.  Res64: 8DC66F781A2D6592  Time : 463.0 sec.
user=gd_barnes
[2009-08-07 22:39:49]
495*2^707203-1 is not prime.  Res64: 524B4483A46B3C85  Time : 3364.0 sec.
user=gd_barnes
[2009-08-07 22:40:47]
555*2^707203-1 is not prime.  Res64: DEBDD54CC19E6CC1  Time : 3378.0 sec.
user=vaughan
[2009-08-07 22:40:53]
493*2^707215-1 is not prime.  Res64: C30C49650491D2F7  Time : 458.0 sec.
user=vaughan
[2009-08-07 22:44:48]
455*2^707216-1 is not prime.  Res64: 12F4E85DB17510C1  Time : 462.0 sec.
user=vaughan
[2009-08-07 22:45:49]
543*2^707214-1 is not prime.  Res64: 51C825C9FEB275D3  Time : 866.0 sec.
user=gd_barnes
[2009-08-07 22:46:15]
573*2^707204-1 is not prime.  Res64: B4F10DABEAFC64F1  Time : 3368.0 sec.
user=vaughan
[2009-08-07 22:46:36]
555*2^707214-1 is not prime.  Res64: A051B45DB58C3FAC  Time : 834.0 sec.
user=vaughan
[2009-08-07 22:47:28]
405*2^707215-1 is not prime.  Res64: 4A384F0C7612ED86  Time : 875.0 sec.
user=gd_barnes
[2009-08-07 22:47:52]
507*2^707206-1 is not prime.  Res64: CB1013D7FF88E82B  Time : 3372.0 sec.
user=vaughan
[2009-08-07 22:48:30]
595*2^707217-1 is not prime.  Res64: 1FF13DE1C0C84E58  Time : 458.0 sec.
user=gd_barnes
[2009-08-07 22:51:02]
561*2^707206-1 is not prime.  Res64: 6A91D4B2FD0DF563  Time : 3364.0 sec.
user=gd_barnes
[2009-08-07 22:52:02]
451*2^707207-1 is not prime.  Res64: A5AAC08490EC689D  Time : 3377.0 sec.
user=vaughan
[2009-08-07 22:52:29]
461*2^707218-1 is not prime.  Res64: 396E5AE9B5540616  Time : 462.0 sec.
user=vaughan
[2009-08-07 22:55:26]
553*2^707215-1 is not prime.  Res64: 608A52B9585A071F  Time : 1161.0 sec.
user=vaughan
[2009-08-07 22:56:07]
525*2^707221-1 is not prime.  Res64: 5860AABDADD49B87  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 22:57:28]
589*2^707207-1 is not prime.  Res64: 08483C7F2B637E7C  Time : 3367.0 sec.
user=gd_barnes
[2009-08-07 22:59:06]
427*2^707209-1 is not prime.  Res64: 902088CEB5F04C56  Time : 3372.0 sec.
user=vaughan
[2009-08-07 23:00:02]
471*2^707218-1 is not prime.  Res64: 2A6EFB0F3FAD0135  Time : 853.0 sec.
user=vaughan
[2009-08-07 23:00:07]
465*2^707220-1 is not prime.  Res64: ADAAA9A46AF934D9  Time : 811.0 sec.
user=vaughan
[2009-08-07 23:00:12]
577*2^707221-1 is not prime.  Res64: 5C7943F560518843  Time : 463.0 sec.
user=vaughan
[2009-08-07 23:01:42]
473*2^707220-1 is not prime.  Res64: 5915D9779B69AE99  Time : 863.0 sec.
user=gd_barnes
[2009-08-07 23:02:15]
545*2^707210-1 is not prime.  Res64: 83FB5E5509C7C30B  Time : 3364.0 sec.
user=gd_barnes
[2009-08-07 23:03:17]
483*2^707211-1 is not prime.  Res64: 3DBE072B254AA863  Time : 3377.0 sec.
user=vaughan
[2009-08-07 23:03:43]
407*2^707222-1 is not prime.  Res64: 7F76B7A97BC24D95  Time : 456.0 sec.
user=vaughan
[2009-08-07 23:07:54]
419*2^707224-1 is not prime.  Res64: 2F1B8432F7A48697  Time : 462.0 sec.
user=gd_barnes
[2009-08-07 23:08:42]
591*2^707211-1 is not prime.  Res64: 5A9863380A0B126F  Time : 3368.0 sec.
user=gd_barnes
[2009-08-07 23:10:20]
513*2^707212-1 is not prime.  Res64: B0F2DAE7439D2162  Time : 3372.0 sec.
user=vaughan
[2009-08-07 23:11:19]
549*2^707224-1 is not prime.  Res64: C879A16F7F18B71C  Time : 456.0 sec.
user=gd_barnes
[2009-08-07 23:13:28]
567*2^707212-1 is not prime.  Res64: 501ECCB253A0DCEB  Time : 3364.0 sec.
user=vaughan
[2009-08-07 23:14:17]
501*2^707223-1 is not prime.  Res64: D9A9B52B937545BA  Time : 850.0 sec.
user=gd_barnes
[2009-08-07 23:14:33]
417*2^707213-1 is not prime.  Res64: EFE58C63469D4B8C  Time : 3377.0 sec.
user=vaughan
[2009-08-07 23:14:46]
493*2^707223-1 is not prime.  Res64: 15064C2A3CC8756D  Time : 884.0 sec.
user=vaughan
[2009-08-07 23:14:59]
591*2^707221-1 is not prime.  Res64: 4948810B9ECA67D4  Time : 1173.0 sec.
user=vaughan
[2009-08-07 23:15:38]
481*2^707225-1 is not prime.  Res64: 0A5FFF12A4F5C51C  Time : 464.0 sec.
user=vaughan
[2009-08-07 23:16:09]
479*2^707224-1 is not prime.  Res64: ECCB4DDEA830D5E5  Time : 867.0 sec.
user=vaughan
[2009-08-07 23:18:56]
585*2^707225-1 is not prime.  Res64: 11ED39C4C1109A5C  Time : 457.0 sec.
user=gd_barnes
[2009-08-07 23:19:55]
559*2^707213-1 is not prime.  Res64: 7406E67FBE9FEC22  Time : 3367.0 sec.
user=gd_barnes
[2009-08-07 23:21:34]
567*2^707213-1 is not prime.  Res64: 42210A4A9DEE11FB  Time : 3371.0 sec.
user=vaughan
[2009-08-07 23:23:21]
551*2^707226-1 is not prime.  Res64: BA9ADBFE9FCC732B  Time : 463.0 sec.
user=gd_barnes
[2009-08-07 23:24:41]
413*2^707214-1 is not prime.  Res64: 7A0CAB3BF01B12CA  Time : 3364.0 sec.
user=gd_barnes
[2009-08-07 23:25:49]
453*2^707214-1 is not prime.  Res64: DC4DF56B67CE33BD  Time : 3377.0 sec.
user=vaughan
[2009-08-07 23:26:32]
453*2^707227-1 is not prime.  Res64: F91745076B9FBF3A  Time : 456.0 sec.
user=vaughan
[2009-08-07 23:28:22]
443*2^707226-1 is not prime.  Res64: 15D7B4B1747BE90E  Time : 846.0 sec.
user=vaughan
[2009-08-07 23:29:06]
497*2^707226-1 is not prime.  Res64: F7457CE37D67949A  Time : 861.0 sec.
user=vaughan
[2009-08-07 23:30:53]
421*2^707227-1 is not prime.  Res64: 2CD2FDDCBC43CFF0  Time : 885.0 sec.
user=vaughan
[2009-08-07 23:31:03]
417*2^707228-1 is not prime.  Res64: 5444366F5D4093D0  Time : 462.0 sec.
user=gd_barnes
[2009-08-07 23:31:10]
535*2^707215-1 is not prime.  Res64: 562A6D48B66E1F96  Time : 3369.0 sec.
user=gd_barnes
[2009-08-07 23:32:49]
579*2^707215-1 is not prime.  Res64: D2ED5411A1845616  Time : 3372.0 sec.
user=vaughan
[2009-08-07 23:34:08]
427*2^707229-1 is not prime.  Res64: E0AF74DD3E0BDE54  Time : 456.0 sec.
user=vaughan
[2009-08-07 23:34:40]
501*2^707226-1 is not prime.  Res64: 75AD9E8539E0EBDE  Time : 1182.0 sec.
user=gd_barnes
[2009-08-07 23:35:54]
441*2^707217-1 is not prime.  Res64: 109DC389275BD70D  Time : 3365.0 sec.
user=gd_barnes
[2009-08-07 23:37:04]
457*2^707217-1 is not prime.  Res64: 7D37149A765AE91F  Time : 3378.0 sec.
user=vaughan
[2009-08-07 23:38:45]
425*2^707230-1 is not prime.  Res64: 7370AD11E148E13B  Time : 462.0 sec.
user=vaughan
[2009-08-07 23:41:45]
555*2^707230-1 is not prime.  Res64: 904FC10FD10C4CB5  Time : 457.0 sec.
user=vaughan
[2009-08-07 23:42:13]
471*2^707229-1 is not prime.  Res64: 1F6DA3CA9674DF92  Time : 831.0 sec.
user=gd_barnes
[2009-08-07 23:42:22]
465*2^707219-1 is not prime.  Res64: 24E409A0A1EBF7AE  Time : 3367.0 sec.
user=vaughan
[2009-08-07 23:43:19]
495*2^707229-1 is not prime.  Res64: 06611583A75A231B  Time : 854.0 sec.
user=vaughan
[2009-08-07 23:43:57]
405*2^707230-1 is not prime.  Res64: 1BB575A32D6EE4D0  Time : 784.0 sec.
user=gd_barnes
[2009-08-07 23:44:02]
525*2^707220-1 is not prime.  Res64: 428437E422178EC4  Time : 3370.0 sec.
user=vaughan
[2009-08-07 23:46:26]
579*2^707231-1 is not prime.  Res64: 1477D943D85D737E  Time : 461.0 sec.
user=gd_barnes
[2009-08-07 23:47:07]
531*2^707221-1 is not prime.  Res64: 41CCAEE5683DD538  Time : 3365.0 sec.
user=gd_barnes
[2009-08-07 23:48:19]
565*2^707221-1 is not prime.  Res64: 48519B855FF121D2  Time : 3377.0 sec.
user=vaughan
[2009-08-07 23:49:21]
437*2^707232-1 is not prime.  Res64: 88B33760ADAC97C0  Time : 456.0 sec.
user=vaughan
[2009-08-07 23:53:08]
505*2^707231-1 is not prime.  Res64: 5F386A15B743C242  Time : 1109.0 sec.
user=gd_barnes
[2009-08-07 23:53:36]
545*2^707222-1 is not prime.  Res64: B0551425C691D2BB  Time : 3368.0 sec.
user=vaughan
[2009-08-07 23:54:08]
585*2^707232-1 is not prime.  Res64: 979D25A873F2D892  Time : 462.0 sec.
user=gd_barnes
[2009-08-07 23:55:16]
409*2^707223-1 is not prime.  Res64: 3392EA9DA3C8AFAB  Time : 3371.0 sec.
user=vaughan
[2009-08-07 23:55:30]
459*2^707232-1 is not prime.  Res64: 51D2B5192C09CFA2  Time : 798.0 sec.
user=vaughan
[2009-08-07 23:56:56]
479*2^707232-1 is not prime.  Res64: 32712AABA34BFCDA  Time : 818.0 sec.
user=vaughan
[2009-08-07 23:56:57]
525*2^707233-1 is not prime.  Res64: 3337143262CC6870  Time : 456.0 sec.
user=vaughan
[2009-08-07 23:57:30]
525*2^707232-1 is not prime.  Res64: C3F3DEE7A99EFFE5  Time : 813.0 sec.
user=gd_barnes
[2009-08-07 23:58:19]
489*2^707224-1 is not prime.  Res64: 3CC3A8C7CD68D201  Time : 3364.0 sec.
user=gd_barnes
[2009-08-07 23:59:35]
527*2^707224-1 is not prime.  Res64: 440207BBEACB1175  Time : 3378.0 sec.