user=vaughan
[2009-08-31 00:01:17]
453*2^712396-1 is not prime.  Res64: 78CF33559F96DF03  Time : 478.0 sec.
user=vaughan
[2009-08-31 00:02:39]
595*2^712395-1 is not prime.  Res64: 54F55706B9C93712  Time : 873.0 sec.
user=gd_barnes
[2009-08-31 00:02:43]
493*2^712391-1 is not prime.  Res64: 5CED682087834D8D  Time : 3369.0 sec.
user=gd_barnes
[2009-08-31 00:05:50]
425*2^712392-1 is not prime.  Res64: 7710F1EF015F4551  Time : 3367.0 sec.
user=vaughan
[2009-08-31 00:09:07]
519*2^712396-1 is not prime.  Res64: 9C165785B89823F4  Time : 470.0 sec.
user=gd_barnes
[2009-08-31 00:13:58]
421*2^712393-1 is not prime.  Res64: BF9F7CBF46376FB4  Time : 3370.0 sec.
user=vaughan
[2009-08-31 00:16:28]
563*2^712396-1 is not prime.  Res64: 12C85F99FFC0A5BC  Time : 829.0 sec.
user=gd_barnes
[2009-08-31 00:17:04]
477*2^712393-1 is not prime.  Res64: 58E5380ADF50203E  Time : 3368.0 sec.
user=vaughan
[2009-08-31 00:17:09]
559*2^712397-1 is not prime.  Res64: FF1EE07793670029  Time : 482.0 sec.
user=vaughan
[2009-08-31 00:25:01]
431*2^712398-1 is not prime.  Res64: 9A5D0892B9B1F15D  Time : 472.0 sec.
user=gd_barnes
[2009-08-31 00:25:11]
411*2^712394-1 is not prime.  Res64: DBAC10E2E7C56D30  Time : 3370.0 sec.
user=gd_barnes
[2009-08-31 00:28:17]
507*2^712394-1 is not prime.  Res64: 6CCE637482A6F9A0  Time : 3367.0 sec.
user=vaughan
[2009-08-31 00:30:54]
577*2^712397-1 is not prime.  Res64: 248E28DED8990189  Time : 866.0 sec.
user=vaughan
[2009-08-31 00:33:01]
437*2^712398-1 is not prime.  Res64: D72A450442ACE095  Time : 480.0 sec.
user=gd_barnes
[2009-08-31 00:36:31]
411*2^712395-1 is not prime.  Res64: 3FF68E8299BBC01C  Time : 3375.0 sec.
user=gd_barnes
[2009-08-31 00:39:32]
453*2^712395-1 is not prime.  Res64: 903FC6B9DD4A57AC  Time : 3369.0 sec.
user=vaughan
[2009-08-31 00:40:55]
585*2^712398-1 is not prime.  Res64: FE6E52ED0C4907B9  Time : 474.0 sec.
user=vaughan
[2009-08-31 00:45:36]
567*2^712398-1 is not prime.  Res64: 8A02086CEDF9D57A  Time : 882.0 sec.
user=gd_barnes
[2009-08-31 00:47:51]
435*2^712396-1 is not prime.  Res64: DB0F50B72B506462  Time : 3382.0 sec.
user=vaughan
[2009-08-31 00:48:50]
471*2^712399-1 is not prime.  Res64: 2703658398462C50  Time : 475.0 sec.
user=gd_barnes
[2009-08-31 00:50:47]
497*2^712396-1 is not prime.  Res64: F91D411259996578  Time : 3370.0 sec.
user=vaughan
[2009-08-31 00:56:41]
555*2^712399-1 is not prime.  Res64: B76D50E266132715  Time : 471.0 sec.
user=gd_barnes
[2009-08-31 00:59:11]
405*2^712397-1 is not prime.  Res64: 56F9E7CAF80899A7  Time : 3388.0 sec.
user=vaughan
[2009-08-31 01:00:17]
483*2^712399-1 is not prime.  Res64: 8BA652492E459DD1  Time : 881.0 sec.
user=gd_barnes
[2009-08-31 01:02:02]
537*2^712397-1 is not prime.  Res64: 49C2C458463EFCB5  Time : 3372.0 sec.
user=vaughan
[2009-08-31 01:04:34]
465*2^712400-1 is not prime.  Res64: C1257C6D3A5568F5  Time : 474.0 sec.
user=gd_barnes
[2009-08-31 01:10:33]
571*2^712397-1 is not prime.  Res64: 6EDAF722E38BCF85  Time : 3395.0 sec.
user=vaughan
[2009-08-31 01:12:21]
511*2^712401-1 is not prime.  Res64: 785074DB632F4B30  Time : 467.0 sec.
user=gd_barnes
[2009-08-31 01:13:17]
423*2^712398-1 is not prime.  Res64: CCABA5085B37A981  Time : 3373.0 sec.
user=vaughan
[2009-08-31 01:15:03]
599*2^712400-1 is not prime.  Res64: 2D33CC4A4EB93B71  Time : 886.0 sec.
user=vaughan
[2009-08-31 01:20:10]
561*2^712402-1 is not prime.  Res64: 1E524FFA9655206A  Time : 469.0 sec.
user=gd_barnes
[2009-08-31 01:21:51]
483*2^712398-1 is not prime.  Res64: 5D9F935BE669BE36  Time : 3400.0 sec.
user=gd_barnes
[2009-08-31 01:24:33]
507*2^712398-1 is not prime.  Res64: 19DAD65C36311315  Time : 3376.0 sec.
user=vaughan
[2009-08-31 01:28:05]
463*2^712403-1 is not prime.  Res64: 57C06BF27CE97785  Time : 475.0 sec.
user=vaughan
[2009-08-31 01:29:40]
445*2^712403-1 is not prime.  Res64: 10E81852E1DE2AFF  Time : 877.0 sec.
user=gd_barnes
[2009-08-31 01:33:10]
591*2^712398-1 is not prime.  Res64: 0E6DAF4555A8941E  Time : 3399.0 sec.
user=gd_barnes
[2009-08-31 01:35:50]
451*2^712399-1 is not prime.  Res64: 48B97C4C3D4D8A83  Time : 3378.0 sec.
user=vaughan
[2009-08-31 01:36:06]
483*2^712404-1 is not prime.  Res64: 0C654D33590F7101  Time : 481.0 sec.
user=vaughan
[2009-08-31 01:44:09]
545*2^712404-1 is not prime.  Res64: 7BB33AEDEB021961  Time : 869.0 sec.
user=vaughan
[2009-08-31 01:44:10]
531*2^712405-1 is not prime.  Res64: 545199FBE9E1B5A8  Time : 484.0 sec.
user=gd_barnes
[2009-08-31 01:44:26]
489*2^712399-1 is not prime.  Res64: 8D3B924CC096EB9E  Time : 3395.0 sec.
user=gd_barnes
[2009-08-31 01:47:06]
589*2^712399-1 is not prime.  Res64: E67D0A7383858ADC  Time : 3380.0 sec.
user=vaughan
[2009-08-31 01:52:17]
405*2^712406-1 is not prime.  Res64: 830BBB66665ABEDF  Time : 487.0 sec.
user=gd_barnes
[2009-08-31 01:55:41]
483*2^712400-1 is not prime.  Res64: 1BD82473C1DC9146  Time : 3390.0 sec.
user=vaughan
[2009-08-31 01:57:55]
577*2^712405-1 is not prime.  Res64: 00303951B13D067A  Time : 826.0 sec.
user=gd_barnes
[2009-08-31 01:58:23]
487*2^712401-1 is not prime.  Res64: 74CC8883DBFE6E3E  Time : 3381.0 sec.
user=vaughan
[2009-08-31 02:00:19]
525*2^712406-1 is not prime.  Res64: DFA15A560FDFA2B5  Time : 482.0 sec.
user=gd_barnes
[2009-08-31 02:06:55]
535*2^712401-1 is not prime.  Res64: 8DE21D6F1604B883  Time : 3383.0 sec.
user=vaughan
[2009-08-31 02:08:28]
405*2^712407-1 is not prime.  Res64: 59DFC2F99A2FC7BC  Time : 489.0 sec.
user=gd_barnes
[2009-08-31 02:09:40]
441*2^712403-1 is not prime.  Res64: 6B75E389B7DA15DE  Time : 3383.0 sec.
user=vaughan
[2009-08-31 02:10:06]
591*2^712406-1 is not prime.  Res64: 747DD20DB02153B9  Time : 731.0 sec.
user=vaughan
[2009-08-31 02:16:38]
453*2^712407-1 is not prime.  Res64: 5DBC9BEABA88DB3E  Time : 490.0 sec.
user=gd_barnes
[2009-08-31 02:18:09]
501*2^712403-1 is not prime.  Res64: C577A225AFB9942A  Time : 3378.0 sec.
user=gd_barnes
[2009-08-31 02:20:57]
589*2^712403-1 is not prime.  Res64: 79DA785BC99572F9  Time : 3384.0 sec.
user=vaughan
[2009-08-31 02:22:16]
565*2^712407-1 is not prime.  Res64: D6B41830EB01D4CC  Time : 730.0 sec.
user=vaughan
[2009-08-31 02:24:41]
583*2^712407-1 is not prime.  Res64: E36EA61B05B64B75  Time : 483.0 sec.
user=gd_barnes
[2009-08-31 02:29:25]
415*2^712405-1 is not prime.  Res64: E1532A2301D0480B  Time : 3375.0 sec.
user=gd_barnes
[2009-08-31 02:32:13]
469*2^712405-1 is not prime.  Res64: A067477B88417E81  Time : 3383.0 sec.
user=vaughan
[2009-08-31 02:32:48]
565*2^712409-1 is not prime.  Res64: 432F5A622A42D56F  Time : 487.0 sec.
user=vaughan
[2009-08-31 02:34:20]
481*2^712409-1 is not prime.  Res64: CB2DBA4DAD992C1C  Time : 724.0 sec.
user=gd_barnes
[2009-08-31 02:40:38]
503*2^712406-1 is not prime.  Res64: 9082DF81651468AE  Time : 3372.0 sec.
user=vaughan
[2009-08-31 02:41:07]
495*2^712410-1 is not prime.  Res64: 43D769F9BA367EA4  Time : 499.0 sec.
user=gd_barnes
[2009-08-31 02:43:30]
507*2^712406-1 is not prime.  Res64: 8498AE1AEFDC83F9  Time : 3384.0 sec.
user=vaughan
[2009-08-31 02:46:27]
501*2^712410-1 is not prime.  Res64: 626C6AD90D9A8768  Time : 727.0 sec.
user=vaughan
[2009-08-31 02:49:17]
593*2^712410-1 is not prime.  Res64: 3C1644FC930D0161  Time : 490.0 sec.
user=gd_barnes
[2009-08-31 02:51:53]
587*2^712406-1 is not prime.  Res64: 69024710FC299BF7  Time : 3372.0 sec.
user=gd_barnes
[2009-08-31 02:54:47]
593*2^712406-1 is not prime.  Res64: 913C1CBA926043FD  Time : 3384.0 sec.
user=vaughan
[2009-08-31 02:57:32]
475*2^712411-1 is not prime.  Res64: 7D28BDD9470AECEF  Time : 495.0 sec.
user=vaughan
[2009-08-31 02:58:35]
415*2^712411-1 is not prime.  Res64: 19FB1F7591C0912C  Time : 728.0 sec.
user=gd_barnes
[2009-08-31 03:03:08]
409*2^712407-1 is not prime.  Res64: 948E51F98F8C841E  Time : 3373.0 sec.
user=vaughan
[2009-08-31 03:05:46]
541*2^712411-1 is not prime.  Res64: D2A47B6FEF78254B  Time : 495.0 sec.
user=gd_barnes
[2009-08-31 03:06:06]
493*2^712407-1 is not prime.  Res64: A868AF6346F3FED8  Time : 3386.0 sec.
user=vaughan
[2009-08-31 03:10:42]
455*2^712412-1 is not prime.  Res64: 7DB5D452A12EAE15  Time : 727.0 sec.
user=vaughan
[2009-08-31 03:13:53]
573*2^712412-1 is not prime.  Res64: B30D4C53DCEB740E  Time : 488.0 sec.
user=gd_barnes
[2009-08-31 03:14:24]
429*2^712408-1 is not prime.  Res64: E94123C94ADEA80F  Time : 3375.0 sec.
user=gd_barnes
[2009-08-31 03:17:25]
435*2^712409-1 is not prime.  Res64: 20B8E696C1CA02CE  Time : 3388.0 sec.
user=vaughan
[2009-08-31 03:22:05]
511*2^712413-1 is not prime.  Res64: DAD8C0BBDE7F3253  Time : 493.0 sec.
user=vaughan
[2009-08-31 03:22:53]
471*2^712413-1 is not prime.  Res64: E5B1D84F5A067083  Time : 731.0 sec.
user=gd_barnes
[2009-08-31 03:25:40]
447*2^712410-1 is not prime.  Res64: 4110072291C6CA3B  Time : 3375.0 sec.
user=gd_barnes
[2009-08-31 03:28:44]
465*2^712410-1 is not prime.  Res64: E30F50530B7B0250  Time : 3391.0 sec.
user=vaughan
[2009-08-31 03:30:20]
555*2^712413-1 is not prime.  Res64: 368895F71EB3ECE9  Time : 496.0 sec.
user=vaughan
[2009-08-31 03:35:43]
565*2^712413-1 is not prime.  Res64: B180E54CC9D962E3  Time : 771.0 sec.
user=gd_barnes
[2009-08-31 03:36:55]
531*2^712410-1 is not prime.  Res64: B5A1A89028E1A02F  Time : 3377.0 sec.
user=vaughan
[2009-08-31 03:38:16]
527*2^712414-1 is not prime.  Res64: E5EB24C686F511A4  Time : 477.0 sec.
user=gd_barnes
[2009-08-31 03:40:04]
405*2^712411-1 is not prime.  Res64: DBEE390B05605469  Time : 3394.0 sec.
user=vaughan
[2009-08-31 03:46:12]
475*2^712415-1 is not prime.  Res64: 766B191920CAF8F2  Time : 477.0 sec.
user=gd_barnes
[2009-08-31 03:48:10]
493*2^712411-1 is not prime.  Res64: D9191480C1D83E12  Time : 3377.0 sec.
user=vaughan
[2009-08-31 03:49:56]
573*2^712414-1 is not prime.  Res64: C33FB38E065BDD67  Time : 854.0 sec.
user=gd_barnes
[2009-08-31 03:51:22]
511*2^712411-1 is not prime.  Res64: DAE56FBFE99F7706  Time : 3395.0 sec.
user=vaughan
[2009-08-31 03:54:25]
525*2^712416-1 is not prime.  Res64: EFCF76716EACC9B8  Time : 493.0 sec.
user=gd_barnes
[2009-08-31 03:59:24]
483*2^712412-1 is not prime.  Res64: 290AF6A240F596FC  Time : 3376.0 sec.
user=vaughan
[2009-08-31 04:01:54]
421*2^712417-1 is not prime.  Res64: 409565D048AB89C5  Time : 718.0 sec.
user=vaughan
[2009-08-31 04:02:36]
441*2^712417-1 is not prime.  Res64: D266AB1F15EAD9BC  Time : 491.0 sec.
user=gd_barnes
[2009-08-31 04:02:37]
585*2^712412-1 is not prime.  Res64: 37FAE67FBEBC9A20  Time : 3391.0 sec.
user=vaughan
[2009-08-31 04:10:36]
531*2^712417-1 is not prime.  Res64: 7291C4FAA1C0E538  Time : 480.0 sec.
user=gd_barnes
[2009-08-31 04:10:39]
525*2^712413-1 is not prime.  Res64: 10AE6AA5F3C3AB7C  Time : 3375.0 sec.
user=gd_barnes
[2009-08-31 04:13:49]
537*2^712413-1 is not prime.  Res64: ECE3F6453882F75C  Time : 3384.0 sec.
user=vaughan
[2009-08-31 04:16:02]
517*2^712417-1 is not prime.  Res64: EADBE3D034681EA4  Time : 848.0 sec.
user=vaughan
[2009-08-31 04:18:33]
467*2^712418-1 is not prime.  Res64: 2AACA99975ADE96F  Time : 477.0 sec.
user=gd_barnes
[2009-08-31 04:21:53]
461*2^712414-1 is not prime.  Res64: 521483E62C8F374E  Time : 3374.0 sec.
user=gd_barnes
[2009-08-31 04:25:03]
513*2^712414-1 is not prime.  Res64: B7816396F157563A  Time : 3379.0 sec.
user=vaughan
[2009-08-31 04:26:39]
575*2^712418-1 is not prime.  Res64: B86647199FE9665E  Time : 486.0 sec.
user=vaughan
[2009-08-31 04:28:18]
561*2^712418-1 is not prime.  Res64: 37D7F42B3850D303  Time : 736.0 sec.
user=gd_barnes
[2009-08-31 04:33:07]
403*2^712415-1 is not prime.  Res64: AAD1A8C8B3825C9B  Time : 3372.0 sec.
user=vaughan
[2009-08-31 04:34:43]
493*2^712419-1 is not prime.  Res64: FB9473DAA6402588  Time : 484.0 sec.
user=gd_barnes
[2009-08-31 04:36:17]
503*2^712416-1 is not prime.  Res64: D0FD347F66974A6D  Time : 3374.0 sec.
user=vaughan
[2009-08-31 04:40:22]
423*2^712420-1 is not prime.  Res64: CAC1FA440A508B3B  Time : 724.0 sec.
user=vaughan
[2009-08-31 04:42:50]
443*2^712420-1 is not prime.  Res64: 945CA40978E03129  Time : 487.0 sec.
user=gd_barnes
[2009-08-31 04:44:20]
527*2^712416-1 is not prime.  Res64: 226E2CCFBC0F1283  Time : 3370.0 sec.
user=gd_barnes
[2009-08-31 04:47:30]
427*2^712417-1 is not prime.  Res64: E674F652A676AA07  Time : 3368.0 sec.
user=vaughan
[2009-08-31 04:50:55]
441*2^712421-1 is not prime.  Res64: 2F161DD57FB21CB8  Time : 486.0 sec.
user=vaughan
[2009-08-31 04:52:36]
533*2^712420-1 is not prime.  Res64: 237932DDA455DE32  Time : 734.0 sec.
user=gd_barnes
[2009-08-31 04:55:35]
465*2^712417-1 is not prime.  Res64: 3D31C94CC9065A97  Time : 3371.0 sec.
user=gd_barnes
[2009-08-31 04:58:44]
435*2^712418-1 is not prime.  Res64: 07A9DBF3CC8A41BA  Time : 3367.0 sec.
user=vaughan
[2009-08-31 04:59:05]
577*2^712421-1 is not prime.  Res64: 52A48B63A9A089B3  Time : 490.0 sec.
user=gd_barnes
[2009-08-31 05:06:50]
497*2^712418-1 is not prime.  Res64: 7984D122EF79C9A9  Time : 3371.0 sec.
user=gd_barnes
[2009-08-31 05:09:57]
533*2^712418-1 is not prime.  Res64: 10B9EDBEF9A66189  Time : 3368.0 sec.
user=vaughan
[2009-08-31 05:15:10]
401*2^712422-1 is not prime.  Res64: 7E320B00B4ECDE83  Time : 1354.0 sec.
user=vaughan
[2009-08-31 05:16:08]
521*2^712422-1 is not prime.  Res64: 6BF8A0F4FB3A8B3C  Time : 1023.0 sec.
user=gd_barnes
[2009-08-31 05:18:03]
433*2^712419-1 is not prime.  Res64: D262CEB6F87647AC  Time : 3370.0 sec.
user=gd_barnes
[2009-08-31 05:21:10]
441*2^712419-1 is not prime.  Res64: F5169572E662F04E  Time : 3367.0 sec.
user=vaughan
[2009-08-31 05:24:14]
441*2^712423-1 is not prime.  Res64: 867A1F1E50824C76  Time : 486.0 sec.
user=vaughan
[2009-08-31 05:26:37]
587*2^712422-1 is not prime.  Res64: 8F080659857E7808  Time : 687.0 sec.
user=gd_barnes
[2009-08-31 05:29:18]
437*2^712420-1 is not prime.  Res64: 9D95D678B44F1D67  Time : 3371.0 sec.
user=gd_barnes
[2009-08-31 05:32:23]
465*2^712420-1 is not prime.  Res64: F3C43F71398E3F3F  Time : 3367.0 sec.
user=vaughan
[2009-08-31 05:32:28]
509*2^712424-1 is not prime.  Res64: 494F62A2062A40EC  Time : 494.0 sec.
user=vaughan
[2009-08-31 05:38:28]
481*2^712425-1 is not prime.  Res64: 168FD599568F53E8  Time : 711.0 sec.
user=gd_barnes
[2009-08-31 05:40:31]
487*2^712421-1 is not prime.  Res64: 110C4D546AF0AE45  Time : 3371.0 sec.
user=vaughan
[2009-08-31 05:40:46]
419*2^712428-1 is not prime.  Res64: C7EC86904AE1E1BC  Time : 498.0 sec.
user=gd_barnes
[2009-08-31 05:43:37]
489*2^712421-1 is not prime.  Res64: 38591F95457A21CF  Time : 3367.0 sec.
user=vaughan
[2009-08-31 05:48:41]
479*2^712428-1 is not prime.  Res64: 53A3C1727DFF0F37  Time : 476.0 sec.
user=gd_barnes
[2009-08-31 05:51:47]
423*2^712422-1 is not prime.  Res64: 45B81D7BBF30F231  Time : 3372.0 sec.
user=vaughan
[2009-08-31 05:52:12]
459*2^712428-1 is not prime.  Res64: FA39ABEBB51277C3  Time : 825.0 sec.
user=gd_barnes
[2009-08-31 05:54:55]
503*2^712422-1 is not prime.  Res64: 3F92674FC9AC2FBB  Time : 3371.0 sec.
user=vaughan
[2009-08-31 05:56:41]
513*2^712428-1 is not prime.  Res64: 1641795330863896  Time : 480.0 sec.
user=gd_barnes
[2009-08-31 06:03:09]
555*2^712422-1 is not prime.  Res64: 9B878B35809B4436  Time : 3380.0 sec.
user=vaughan
[2009-08-31 06:04:39]
411*2^712430-1 is not prime.  Res64: D3C990E3D1B2E4F2  Time : 478.0 sec.
user=gd_barnes
[2009-08-31 06:06:09]
581*2^712422-1 is not prime.  Res64: 4718348536A769D4  Time : 3372.0 sec.
user=vaughan
[2009-08-31 06:06:47]
465*2^712429-1 is not prime.  Res64: A64F5381F445CBB6  Time : 875.0 sec.
user=vaughan
[2009-08-31 06:12:36]
557*2^712430-1 is not prime.  Res64: C4C178D6BE26B5C7  Time : 477.0 sec.
user=gd_barnes
[2009-08-31 06:14:30]
525*2^712423-1 is not prime.  Res64: 49EA97AC966E2BEC  Time : 3387.0 sec.
user=gd_barnes
[2009-08-31 06:17:24]
465*2^712424-1 is not prime.  Res64: A2F972C3C7060D6E  Time : 3374.0 sec.
user=vaughan
[2009-08-31 06:20:38]
465*2^712431-1 is not prime.  Res64: AE93EA46ECECD01E  Time : 482.0 sec.
user=vaughan
[2009-08-31 06:21:18]
441*2^712431-1 is not prime.  Res64: DD8C3DE76AB63E0A  Time : 871.0 sec.
user=gd_barnes
[2009-08-31 06:25:52]
475*2^712427-1 is not prime.  Res64: BE368645B816BCDD  Time : 3394.0 sec.
user=gd_barnes
[2009-08-31 06:28:38]
585*2^712427-1 is not prime.  Res64: 4DAF54DE80184194  Time : 3375.0 sec.
user=vaughan
[2009-08-31 06:28:42]
583*2^712431-1 is not prime.  Res64: F1DC8DE17D8417A0  Time : 484.0 sec.
user=vaughan
[2009-08-31 06:35:06]
591*2^712431-1 is not prime.  Res64: 83A63957200DA31B  Time : 828.0 sec.
user=vaughan
[2009-08-31 06:36:38]
539*2^712432-1 is not prime.  Res64: F4DBB62A87D10EAA  Time : 476.0 sec.
user=gd_barnes
[2009-08-31 06:37:14]
473*2^712428-1 is not prime.  Res64: 719B6EE353640088  Time : 3403.0 sec.
user=gd_barnes
[2009-08-31 06:39:53]
485*2^712428-1 is not prime.  Res64: C4FD5255EFE8C871  Time : 3376.0 sec.
user=vaughan
[2009-08-31 06:44:34]
501*2^712433-1 is not prime.  Res64: D1F3CF11B595054F  Time : 476.0 sec.
user=gd_barnes
[2009-08-31 06:48:36]
411*2^712429-1 is not prime.  Res64: EA1770C286412ECD  Time : 3409.0 sec.
user=vaughan
[2009-08-31 06:49:28]
477*2^712433-1 is not prime.  Res64: B9CF43DEC743D1A4  Time : 862.0 sec.
user=gd_barnes
[2009-08-31 06:51:08]
507*2^712429-1 is not prime.  Res64: E8A50A0D527F6FEB  Time : 3374.0 sec.
user=vaughan
[2009-08-31 06:52:28]
401*2^712434-1 is not prime.  Res64: 2899B657610DF4CD  Time : 474.0 sec.
user=gd_barnes
[2009-08-31 06:59:57]
423*2^712430-1 is not prime.  Res64: 2B767CC95F5C9295  Time : 3408.0 sec.
user=vaughan
[2009-08-31 07:00:18]
555*2^712434-1 is not prime.  Res64: 0804E198F9DFF0B6  Time : 470.0 sec.
user=gd_barnes
[2009-08-31 07:02:23]
561*2^712430-1 is not prime.  Res64: C8AA0924E6D4CCC5  Time : 3374.0 sec.
user=vaughan
[2009-08-31 07:02:38]
443*2^712434-1 is not prime.  Res64: A84DD68C1770A46D  Time : 790.0 sec.
user=vaughan
[2009-08-31 07:08:12]
585*2^712434-1 is not prime.  Res64: 77374169E88AE615  Time : 474.0 sec.
user=gd_barnes
[2009-08-31 07:11:19]
513*2^712431-1 is not prime.  Res64: A99B82667A41F07C  Time : 3409.0 sec.
user=gd_barnes
[2009-08-31 07:13:38]
535*2^712431-1 is not prime.  Res64: AB5142570756C6FA  Time : 3374.0 sec.
user=vaughan
[2009-08-31 07:16:00]
411*2^712435-1 is not prime.  Res64: 02C0EDC133B84AD3  Time : 802.0 sec.
user=vaughan
[2009-08-31 07:16:01]
493*2^712435-1 is not prime.  Res64: 31E0EDE59CA96264  Time : 469.0 sec.
user=gd_barnes
[2009-08-31 07:22:38]
467*2^712432-1 is not prime.  Res64: 257605D6761ECCEA  Time : 3406.0 sec.
user=vaughan
[2009-08-31 07:24:00]
427*2^712437-1 is not prime.  Res64: 78707C7500A09F42  Time : 480.0 sec.
user=gd_barnes
[2009-08-31 07:24:52]
537*2^712432-1 is not prime.  Res64: D937B7FC31694927  Time : 3374.0 sec.
user=vaughan
[2009-08-31 07:26:19]
573*2^712436-1 is not prime.  Res64: 62411422DC20161B  Time : 619.0 sec.
user=vaughan
[2009-08-31 07:31:54]
471*2^712437-1 is not prime.  Res64: C33BB8F6B5B2CEAF  Time : 474.0 sec.
user=gd_barnes
[2009-08-31 07:33:59]
547*2^712433-1 is not prime.  Res64: 6AD7B1F86C9E59D4  Time : 3405.0 sec.
user=gd_barnes
[2009-08-31 07:36:07]
571*2^712433-1 is not prime.  Res64: 966EDF8B25FC8A28  Time : 3374.0 sec.
user=vaughan
[2009-08-31 07:38:00]
423*2^712438-1 is not prime.  Res64: 02916C32D52BEE88  Time : 701.0 sec.
user=vaughan
[2009-08-31 07:39:53]
561*2^712438-1 is not prime.  Res64: 529D61542A108FA9  Time : 479.0 sec.
user=gd_barnes
[2009-08-31 07:45:20]
437*2^712434-1 is not prime.  Res64: 3072871F3325D321  Time : 3404.0 sec.
user=gd_barnes
[2009-08-31 07:47:22]
473*2^712434-1 is not prime.  Res64: DFB63C8106A067A2  Time : 3375.0 sec.
user=vaughan
[2009-08-31 07:47:56]
549*2^712439-1 is not prime.  Res64: 349AE23F8BBC2F4A  Time : 483.0 sec.
user=vaughan
[2009-08-31 07:49:53]
525*2^712439-1 is not prime.  Res64: AB5550793ADD1F7E  Time : 713.0 sec.
user=vaughan
[2009-08-31 07:56:00]
525*2^712440-1 is not prime.  Res64: 91E72EF90121A92B  Time : 484.0 sec.
user=gd_barnes
[2009-08-31 07:56:40]
563*2^712434-1 is not prime.  Res64: CA452C12D597D29D  Time : 3403.0 sec.
user=gd_barnes
[2009-08-31 07:58:37]
405*2^712435-1 is not prime.  Res64: CB50A5B99A3F23C7  Time : 3374.0 sec.
user=vaughan
[2009-08-31 08:03:54]
569*2^712440-1 is not prime.  Res64: 0AE8EB77506E75E7  Time : 474.0 sec.
user=vaughan
[2009-08-31 08:04:30]
549*2^712440-1 is not prime.  Res64: F115738674B15C44  Time : 878.0 sec.
user=gd_barnes
[2009-08-31 08:07:59]
495*2^712435-1 is not prime.  Res64: A02CD39DCDE4F84F  Time : 3400.0 sec.
user=gd_barnes
[2009-08-31 08:09:51]
555*2^712435-1 is not prime.  Res64: 35CE9F71AA6BDDCE  Time : 3373.0 sec.
user=vaughan
[2009-08-31 08:11:55]
541*2^712441-1 is not prime.  Res64: 8B066B395FC2E2D2  Time : 481.0 sec.
user=vaughan
[2009-08-31 08:19:10]
407*2^712442-1 is not prime.  Res64: 3DBF8C7A415865EC  Time : 880.0 sec.
user=gd_barnes
[2009-08-31 08:19:20]
429*2^712437-1 is not prime.  Res64: 6C9967269671AFC7  Time : 3402.0 sec.
user=vaughan
[2009-08-31 08:19:44]
493*2^712443-1 is not prime.  Res64: EB6935D321CC1371  Time : 470.0 sec.
user=gd_barnes
[2009-08-31 08:21:06]
537*2^712437-1 is not prime.  Res64: 97DB3E5D8B384E98  Time : 3374.0 sec.
user=vaughan
[2009-08-31 08:27:37]
595*2^712443-1 is not prime.  Res64: E0392D5A24D9FFD5  Time : 473.0 sec.
user=gd_barnes
[2009-08-31 08:30:40]
421*2^712439-1 is not prime.  Res64: 75882E6BFC0139DC  Time : 3401.0 sec.
user=gd_barnes
[2009-08-31 08:32:21]
505*2^712439-1 is not prime.  Res64: 81F77D6D60322814  Time : 3374.0 sec.
user=vaughan
[2009-08-31 08:33:51]
553*2^712443-1 is not prime.  Res64: 9DC49EAE849B102E  Time : 881.0 sec.
user=vaughan
[2009-08-31 08:35:37]
507*2^712444-1 is not prime.  Res64: 03EBE117BCA34C04  Time : 480.0 sec.
user=gd_barnes
[2009-08-31 08:41:59]
447*2^712440-1 is not prime.  Res64: 60313B4A34ECF6B1  Time : 3400.0 sec.
user=gd_barnes
[2009-08-31 08:43:35]
515*2^712440-1 is not prime.  Res64: BDDE95C9E0A5253A  Time : 3373.0 sec.
user=vaughan
[2009-08-31 08:43:35]
529*2^712445-1 is not prime.  Res64: FC5E6964CFEE5259  Time : 478.0 sec.
user=vaughan
[2009-08-31 08:44:43]
517*2^712445-1 is not prime.  Res64: 737E9234EE07D73C  Time : 653.0 sec.
user=vaughan
[2009-08-31 08:51:41]
495*2^712446-1 is not prime.  Res64: 6B8A31AB3C0193E2  Time : 486.0 sec.
user=gd_barnes
[2009-08-31 08:53:15]
415*2^712441-1 is not prime.  Res64: AA2E58778892FE0F  Time : 3395.0 sec.
user=vaughan
[2009-08-31 08:53:59]
451*2^712447-1 is not prime.  Res64: CD49A7C94EE3B2FB  Time : 557.0 sec.
user=gd_barnes
[2009-08-31 08:54:47]
471*2^712441-1 is not prime.  Res64: 4BC096B3FFCE769E  Time : 3370.0 sec.
user=vaughan
[2009-08-31 08:59:42]
465*2^712447-1 is not prime.  Res64: 60B41AFE92192820  Time : 481.0 sec.
user=vaughan
[2009-08-31 09:03:03]
405*2^712448-1 is not prime.  Res64: CE3C306124E5FDE1  Time : 545.0 sec.
user=gd_barnes
[2009-08-31 09:04:29]
447*2^712442-1 is not prime.  Res64: 630EECCB17A2B0E1  Time : 3390.0 sec.
user=gd_barnes
[2009-08-31 09:06:01]
453*2^712443-1 is not prime.  Res64: D6A19833B49E052B  Time : 3370.0 sec.
user=vaughan
[2009-08-31 09:07:42]
509*2^712448-1 is not prime.  Res64: 8253179B7894E2C5  Time : 480.0 sec.
user=vaughan
[2009-08-31 09:12:34]
557*2^712448-1 is not prime.  Res64: 3FC53DD05BD80E6D  Time : 571.0 sec.
user=vaughan
[2009-08-31 09:15:42]
441*2^712449-1 is not prime.  Res64: DB2D83129F6D9DF4  Time : 480.0 sec.
user=gd_barnes
[2009-08-31 09:15:44]
573*2^712443-1 is not prime.  Res64: 039DD7430DCDEE58  Time : 3384.0 sec.
user=gd_barnes
[2009-08-31 09:17:13]
437*2^712444-1 is not prime.  Res64: 2BFF8CC1C49492FA  Time : 3367.0 sec.
user=vaughan
[2009-08-31 09:22:59]
537*2^712449-1 is not prime.  Res64: 2D1494CE91F76340  Time : 625.0 sec.
user=vaughan
[2009-08-31 09:23:42]
559*2^712449-1 is not prime.  Res64: FBE728370D6EBED7  Time : 480.0 sec.
user=gd_barnes
[2009-08-31 09:26:57]
527*2^712444-1 is not prime.  Res64: D692DE39EEC61C1A  Time : 3377.0 sec.
user=gd_barnes
[2009-08-31 09:28:26]
597*2^712444-1 is not prime.  Res64: 1FD818B2D9AEB841  Time : 3365.0 sec.
user=vaughan
[2009-08-31 09:31:35]
403*2^712451-1 is not prime.  Res64: 4265CD64B1466DAC  Time : 474.0 sec.
user=vaughan
[2009-08-31 09:31:36]
567*2^712450-1 is not prime.  Res64: 446EBE24DD7F6846  Time : 517.0 sec.
user=gd_barnes
[2009-08-31 09:38:12]
425*2^712446-1 is not prime.  Res64: 5097C9F8CFF12A76  Time : 3373.0 sec.
user=gd_barnes
[2009-08-31 09:39:39]
515*2^712446-1 is not prime.  Res64: 3BF35432EAF62BBF  Time : 3364.0 sec.
user=vaughan
[2009-08-31 09:39:41]
475*2^712451-1 is not prime.  Res64: FF315C1C9E3B8813  Time : 487.0 sec.
user=vaughan
[2009-08-31 09:44:04]
595*2^712451-1 is not prime.  Res64: 6FE505943465F9A1  Time : 749.0 sec.
user=vaughan
[2009-08-31 09:47:46]
527*2^712452-1 is not prime.  Res64: 9C3E5EDD003FF995  Time : 486.0 sec.
user=gd_barnes
[2009-08-31 09:49:27]
489*2^712447-1 is not prime.  Res64: E830FF2597087F2C  Time : 3372.0 sec.
user=gd_barnes
[2009-08-31 09:50:52]
417*2^712448-1 is not prime.  Res64: C9755B6140948801  Time : 3365.0 sec.
user=vaughan
[2009-08-31 09:55:40]
593*2^712452-1 is not prime.  Res64: BC0D6AED144724A6  Time : 474.0 sec.
user=vaughan
[2009-08-31 09:57:45]
545*2^712452-1 is not prime.  Res64: F013B1F4AF44AF5A  Time : 821.0 sec.
user=gd_barnes
[2009-08-31 10:00:41]
585*2^712448-1 is not prime.  Res64: 7420DD8CD092F671  Time : 3372.0 sec.
user=gd_barnes
[2009-08-31 10:02:07]
429*2^712449-1 is not prime.  Res64: 0A73D98CBFE0A2A0  Time : 3366.0 sec.
user=vaughan
[2009-08-31 10:03:28]
517*2^712453-1 is not prime.  Res64: E7345131C7D89544  Time : 468.0 sec.
user=vaughan
[2009-08-31 10:11:16]
591*2^712453-1 is not prime.  Res64: F3FEA65E0560DFFC  Time : 468.0 sec.
user=gd_barnes
[2009-08-31 10:11:56]
413*2^712450-1 is not prime.  Res64: CB9BBFBFF8871DA4  Time : 3372.0 sec.
user=vaughan
[2009-08-31 10:12:22]
541*2^712453-1 is not prime.  Res64: 5F822268C1103D21  Time : 877.0 sec.
user=gd_barnes
[2009-08-31 10:13:19]
477*2^712450-1 is not prime.  Res64: 11381FC5D47A9E0A  Time : 3366.0 sec.
user=vaughan
[2009-08-31 10:19:15]
473*2^712454-1 is not prime.  Res64: 374B37BDB3D48446  Time : 479.0 sec.
user=vaughan
[2009-08-31 10:21:29]
563*2^712454-1 is not prime.  Res64: E71EB7DF5956C61A  Time : 547.0 sec.
user=gd_barnes
[2009-08-31 10:23:09]
433*2^712451-1 is not prime.  Res64: 95CAEC39D772864D  Time : 3372.0 sec.
user=gd_barnes
[2009-08-31 10:24:31]
453*2^712451-1 is not prime.  Res64: 86FDE236F2F89A0F  Time : 3365.0 sec.
user=vaughan
[2009-08-31 10:27:11]
437*2^712456-1 is not prime.  Res64: BF633EF5BE036DAF  Time : 476.0 sec.
user=vaughan
[2009-08-31 10:30:03]
465*2^712456-1 is not prime.  Res64: 449D940E64AD6C5C  Time : 514.0 sec.
user=gd_barnes
[2009-08-31 10:34:23]
405*2^712452-1 is not prime.  Res64: F4386EE2331DED4C  Time : 3371.0 sec.
user=vaughan
[2009-08-31 10:35:08]
447*2^712457-1 is not prime.  Res64: 0FB1563420FC3A8F  Time : 477.0 sec.
user=gd_barnes
[2009-08-31 10:35:45]
503*2^712452-1 is not prime.  Res64: DD527D68C753EFE3  Time : 3366.0 sec.
user=vaughan
[2009-08-31 10:38:47]
585*2^712457-1 is not prime.  Res64: CB4A4B06C1F5871B  Time : 524.0 sec.
user=vaughan
[2009-08-31 10:43:07]
461*2^712458-1 is not prime.  Res64: 251C5B9366092D62  Time : 479.0 sec.
user=gd_barnes
[2009-08-31 10:45:38]
411*2^712453-1 is not prime.  Res64: 7EE4BAAF918A9642  Time : 3372.0 sec.
user=gd_barnes
[2009-08-31 10:46:58]
471*2^712453-1 is not prime.  Res64: 653AEA411B74BA9B  Time : 3366.0 sec.
user=vaughan
[2009-08-31 10:47:37]
429*2^712459-1 is not prime.  Res64: A1391B322018B125  Time : 530.0 sec.
user=vaughan
[2009-08-31 10:50:55]
439*2^712459-1 is not prime.  Res64: 18C4A923F1703976  Time : 468.0 sec.
user=vaughan
[2009-08-31 10:55:20]
579*2^712459-1 is not prime.  Res64: 6FE18F611CCD7F9D  Time : 463.0 sec.
user=gd_barnes
[2009-08-31 10:56:52]
549*2^712453-1 is not prime.  Res64: D710DCBA1201FB0F  Time : 3371.0 sec.
user=gd_barnes
[2009-08-31 10:58:11]
567*2^712453-1 is not prime.  Res64: CA77AF54132C5BE7  Time : 3364.0 sec.
user=vaughan
[2009-08-31 10:58:42]
455*2^712460-1 is not prime.  Res64: 816A5ED41B46F067  Time : 467.0 sec.
user=vaughan
[2009-08-31 11:03:26]
473*2^712460-1 is not prime.  Res64: C42D3BE0C8EB0401  Time : 487.0 sec.
user=vaughan
[2009-08-31 11:06:35]
427*2^712461-1 is not prime.  Res64: E2F9D4691A248F6D  Time : 473.0 sec.
user=gd_barnes
[2009-08-31 11:08:06]
495*2^712454-1 is not prime.  Res64: 90A251EBB7FBF418  Time : 3371.0 sec.
user=gd_barnes
[2009-08-31 11:09:24]
481*2^712455-1 is not prime.  Res64: B772A22D42274B15  Time : 3366.0 sec.
user=vaughan
[2009-08-31 11:11:09]
451*2^712461-1 is not prime.  Res64: A1F76A3B948011FE  Time : 464.0 sec.
user=vaughan
[2009-08-31 11:14:22]
531*2^712461-1 is not prime.  Res64: 74A6ECEDDEA552DB  Time : 468.0 sec.
user=gd_barnes
[2009-08-31 11:19:20]
563*2^712456-1 is not prime.  Res64: 95EAA69056D45150  Time : 3371.0 sec.
user=vaughan
[2009-08-31 11:19:56]
491*2^712462-1 is not prime.  Res64: 1E07F1767270D342  Time : 527.0 sec.
user=gd_barnes
[2009-08-31 11:20:36]
421*2^712457-1 is not prime.  Res64: 56458F1C3DC25205  Time : 3365.0 sec.
user=vaughan
[2009-08-31 11:22:16]
581*2^712462-1 is not prime.  Res64: 50A4C26FC1F12D28  Time : 474.0 sec.
user=vaughan
[2009-08-31 11:30:18]
555*2^712464-1 is not prime.  Res64: BEE7ACDD95CB5A8C  Time : 482.0 sec.
user=gd_barnes
[2009-08-31 11:30:36]
589*2^712457-1 is not prime.  Res64: 73CA98009B5E7393  Time : 3373.0 sec.
user=gd_barnes
[2009-08-31 11:31:50]
421*2^712459-1 is not prime.  Res64: D2133647BD663FD0  Time : 3365.0 sec.
user=vaughan
[2009-08-31 11:33:18]
413*2^712464-1 is not prime.  Res64: A8D854F946A16BDC  Time : 802.0 sec.
user=vaughan
[2009-08-31 11:38:23]
427*2^712465-1 is not prime.  Res64: 64FF6211C2FFC49E  Time : 485.0 sec.
user=gd_barnes
[2009-08-31 11:41:48]
451*2^712459-1 is not prime.  Res64: 843B12ADB4EEFDB5  Time : 3371.0 sec.
user=gd_barnes
[2009-08-31 11:43:02]
489*2^712459-1 is not prime.  Res64: 8C8BBEC291DB30C2  Time : 3365.0 sec.
user=vaughan
[2009-08-31 11:46:22]
503*2^712466-1 is not prime.  Res64: 74FF846580F3805C  Time : 479.0 sec.
user=vaughan
[2009-08-31 11:47:56]
431*2^712466-1 is not prime.  Res64: 75AAFBD9F971FC94  Time : 878.0 sec.
user=gd_barnes
[2009-08-31 11:53:03]
477*2^712460-1 is not prime.  Res64: 4102CB999E4C3D5A  Time : 3371.0 sec.
user=gd_barnes
[2009-08-31 11:54:16]
545*2^712460-1 is not prime.  Res64: E580DB2A55784351  Time : 3365.0 sec.
user=vaughan
[2009-08-31 11:54:20]
595*2^712467-1 is not prime.  Res64: 26E87FDF9EDD9CD2  Time : 478.0 sec.
user=vaughan
[2009-08-31 12:02:25]
495*2^712468-1 is prime!  Time : 486.0 sec.
user=vaughan
[2009-08-31 12:02:29]
443*2^712468-1 is not prime.  Res64: 4B3FA6B0D74A9482  Time : 874.0 sec.
user=gd_barnes
[2009-08-31 12:04:17]
559*2^712461-1 is not prime.  Res64: 4C7BA34A2DECE71D  Time : 3371.0 sec.
user=gd_barnes
[2009-08-31 12:05:30]
577*2^712461-1 is not prime.  Res64: C7B0A2C4DE25B89E  Time : 3366.0 sec.
user=vaughan
[2009-08-31 12:10:24]
569*2^712468-1 is not prime.  Res64: DD6CBDD6030B7F7C  Time : 479.0 sec.
user=gd_barnes
[2009-08-31 12:15:31]
511*2^712463-1 is not prime.  Res64: 15AB2BE8C5ADE2D2  Time : 3371.0 sec.
user=gd_barnes
[2009-08-31 12:16:43]
527*2^712464-1 is not prime.  Res64: 7ECCD5A63C5459EC  Time : 3367.0 sec.
user=vaughan
[2009-08-31 12:17:03]
459*2^712469-1 is not prime.  Res64: BDC1FEEC13D00955  Time : 875.0 sec.
user=vaughan
[2009-08-31 12:18:16]
559*2^712469-1 is not prime.  Res64: 8166EF8EFE37A692  Time : 473.0 sec.
user=vaughan
[2009-08-31 12:26:19]
483*2^712470-1 is not prime.  Res64: 7BBB56C9214DAC6E  Time : 483.0 sec.
user=gd_barnes
[2009-08-31 12:26:45]
429*2^712465-1 is not prime.  Res64: 7B01880D2118ACB0  Time : 3369.0 sec.
user=gd_barnes
[2009-08-31 12:27:56]
565*2^712465-1 is not prime.  Res64: CB35EFC16BE7CC97  Time : 3366.0 sec.
user=vaughan
[2009-08-31 12:31:02]
473*2^712470-1 is not prime.  Res64: DAD914F7BDEB7DD1  Time : 839.0 sec.
user=vaughan
[2009-08-31 12:34:12]
557*2^712470-1 is not prime.  Res64: 56B0EB556700CDDF  Time : 473.0 sec.
user=gd_barnes
[2009-08-31 12:38:00]
441*2^712467-1 is not prime.  Res64: E5BC0F4117B1611A  Time : 3372.0 sec.
user=gd_barnes
[2009-08-31 12:39:08]
543*2^712467-1 is not prime.  Res64: BCD1820A6B4CCBB1  Time : 3366.0 sec.
user=vaughan
[2009-08-31 12:42:07]
425*2^712472-1 is not prime.  Res64: 2E542D3FFA1F77E2  Time : 475.0 sec.
user=vaughan
[2009-08-31 12:42:40]
505*2^712471-1 is not prime.  Res64: 41861FD2BC5E1043  Time : 698.0 sec.
user=gd_barnes
[2009-08-31 12:49:14]
453*2^712468-1 is not prime.  Res64: B7520F27E24BBACA  Time : 3371.0 sec.
user=vaughan
[2009-08-31 12:50:03]
447*2^712474-1 is not prime.  Res64: 6A1228A87048A682  Time : 476.0 sec.
user=gd_barnes
[2009-08-31 12:50:22]
485*2^712468-1 is not prime.  Res64: 8604B9A7B8556F71  Time : 3366.0 sec.
user=vaughan
[2009-08-31 12:53:31]
533*2^712474-1 is not prime.  Res64: 5E2A48A21681F761  Time : 651.0 sec.
user=vaughan
[2009-08-31 12:58:05]
411*2^712475-1 is not prime.  Res64: 7414821ED8CD71A8  Time : 482.0 sec.
user=gd_barnes
[2009-08-31 13:00:28]
469*2^712469-1 is not prime.  Res64: 75D3D1EC260C57D2  Time : 3371.0 sec.
user=gd_barnes
[2009-08-31 13:01:35]
549*2^712469-1 is not prime.  Res64: A988E128D1D45AD9  Time : 3366.0 sec.
user=vaughan
[2009-08-31 13:06:13]
573*2^712475-1 is not prime.  Res64: B038ADBE69EC7D66  Time : 488.0 sec.
user=vaughan
[2009-08-31 13:07:16]
453*2^712475-1 is not prime.  Res64: FEFE06A4E6AF40AE  Time : 825.0 sec.
user=gd_barnes
[2009-08-31 13:11:43]
405*2^712470-1 is not prime.  Res64: 861207C4B4C785E7  Time : 3372.0 sec.
user=gd_barnes
[2009-08-31 13:12:48]
447*2^712470-1 is not prime.  Res64: 28AC0C0E0B5AB15B  Time : 3365.0 sec.
user=vaughan
[2009-08-31 13:14:10]
507*2^712476-1 is not prime.  Res64: F0C216EB83C19F33  Time : 478.0 sec.
user=vaughan
[2009-08-31 13:20:31]
537*2^712476-1 is not prime.  Res64: DE6AC2689C01BBCD  Time : 795.0 sec.
user=vaughan
[2009-08-31 13:22:15]
405*2^712477-1 is not prime.  Res64: 16631C67043FF95B  Time : 485.0 sec.
user=gd_barnes
[2009-08-31 13:22:56]
489*2^712471-1 is not prime.  Res64: 61EAC2FFF92D5CA0  Time : 3371.0 sec.
user=gd_barnes
[2009-08-31 13:24:02]
499*2^712471-1 is not prime.  Res64: 9DB035F4B083EEDF  Time : 3366.0 sec.
user=vaughan
[2009-08-31 13:30:18]
495*2^712477-1 is not prime.  Res64: DD2A36DFFFCD78AB  Time : 483.0 sec.
user=vaughan
[2009-08-31 13:32:24]
427*2^712477-1 is not prime.  Res64: 64A9D8CAD9FE0D57  Time : 713.0 sec.
user=gd_barnes
[2009-08-31 13:34:11]
537*2^712472-1 is not prime.  Res64: 00CE2602ACC6B14F  Time : 3371.0 sec.
user=gd_barnes
[2009-08-31 13:35:14]
435*2^712474-1 is not prime.  Res64: 8AAD5266477263FF  Time : 3366.0 sec.
user=vaughan
[2009-08-31 13:38:11]
525*2^712478-1 is not prime.  Res64: 8BC862614E08B891  Time : 473.0 sec.
user=gd_barnes
[2009-08-31 13:45:26]
575*2^712474-1 is not prime.  Res64: F113955A4400B2A0  Time : 3373.0 sec.
user=vaughan
[2009-08-31 13:46:01]
573*2^712478-1 is not prime.  Res64: 16C8808BE93201FF  Time : 818.0 sec.
user=vaughan
[2009-08-31 13:46:03]
465*2^712479-1 is not prime.  Res64: FB5F92AC7A71BB0C  Time : 472.0 sec.
user=gd_barnes
[2009-08-31 13:46:28]
421*2^712475-1 is not prime.  Res64: 60486C6F0ADDBDE2  Time : 3366.0 sec.
user=vaughan
[2009-08-31 13:54:13]
489*2^712480-1 is not prime.  Res64: CF18F24050C86039  Time : 491.0 sec.
user=gd_barnes
[2009-08-31 13:56:39]
425*2^712476-1 is not prime.  Res64: E7A734239C7B708A  Time : 3371.0 sec.
user=vaughan
[2009-08-31 13:57:15]
511*2^712479-1 is not prime.  Res64: C34BA05917424B5E  Time : 675.0 sec.
user=gd_barnes
[2009-08-31 13:57:41]
485*2^712476-1 is not prime.  Res64: FB5E5167E07D78C7  Time : 3366.0 sec.
user=vaughan
[2009-08-31 14:02:11]
563*2^712480-1 is not prime.  Res64: C75D70BBF7018AA3  Time : 478.0 sec.
user=vaughan
[2009-08-31 14:06:50]
525*2^712481-1 is not prime.  Res64: A0EB54ECE91CBC58  Time : 575.0 sec.
user=gd_barnes
[2009-08-31 14:07:54]
557*2^712476-1 is not prime.  Res64: F10C873FE1951E3E  Time : 3371.0 sec.
user=gd_barnes
[2009-08-31 14:08:55]
597*2^712476-1 is not prime.  Res64: 75361686432C8391  Time : 3367.0 sec.
user=vaughan
[2009-08-31 14:10:10]
431*2^712482-1 is not prime.  Res64: 2F9F5277179D78EA  Time : 479.0 sec.
user=vaughan
[2009-08-31 14:17:13]
503*2^712482-1 is not prime.  Res64: 85B165AE5312958C  Time : 623.0 sec.
user=vaughan
[2009-08-31 14:18:16]
451*2^712483-1 is not prime.  Res64: FFED03FD6B77EB46  Time : 486.0 sec.
user=gd_barnes
[2009-08-31 14:19:08]
405*2^712478-1 is not prime.  Res64: 738D38CD230998EB  Time : 3372.0 sec.
user=gd_barnes
[2009-08-31 14:20:07]
495*2^712478-1 is not prime.  Res64: D02FE6F1B9AE2A8B  Time : 3365.0 sec.
user=vaughan
[2009-08-31 14:24:53]
499*2^712483-1 is not prime.  Res64: 4BF060A6EE914C46  Time : 460.0 sec.
user=vaughan
[2009-08-31 14:26:06]
541*2^712483-1 is not prime.  Res64: A776106C61D2D533  Time : 470.0 sec.
user=gd_barnes
[2009-08-31 14:30:23]
585*2^712478-1 is not prime.  Res64: 0DBFC815259E7BCF  Time : 3372.0 sec.
user=gd_barnes
[2009-08-31 14:31:20]
459*2^712479-1 is not prime.  Res64: 97F4D55B6A088E5D  Time : 3366.0 sec.
user=vaughan
[2009-08-31 14:34:14]
525*2^712484-1 is not prime.  Res64: A8EC1A6DC036F877  Time : 488.0 sec.
user=vaughan
[2009-08-31 14:34:38]
447*2^712484-1 is not prime.  Res64: CED64DE7BB88B377  Time : 585.0 sec.
user=gd_barnes
[2009-08-31 14:41:36]
481*2^712479-1 is not prime.  Res64: 028C6CA8B5BAB91C  Time : 3371.0 sec.
user=vaughan
[2009-08-31 14:42:27]
405*2^712485-1 is not prime.  Res64: EFB0D1AEDEDF55FA  Time : 494.0 sec.
user=gd_barnes
[2009-08-31 14:42:34]
549*2^712480-1 is not prime.  Res64: A38FFDD450FF60A5  Time : 3366.0 sec.
user=vaughan
[2009-08-31 14:45:02]
409*2^712485-1 is not prime.  Res64: A281F528220C9CEC  Time : 624.0 sec.
user=vaughan
[2009-08-31 14:50:37]
447*2^712485-1 is not prime.  Res64: B8C36F9D783F8F56  Time : 490.0 sec.
user=gd_barnes
[2009-08-31 14:52:51]
475*2^712481-1 is not prime.  Res64: 8D104720142732A6  Time : 3372.0 sec.
user=vaughan
[2009-08-31 14:53:29]
411*2^712486-1 is not prime.  Res64: 37CF7868E11357B2  Time : 507.0 sec.
user=gd_barnes
[2009-08-31 14:53:48]
425*2^712482-1 is not prime.  Res64: D5B1C638220C5A57  Time : 3367.0 sec.
user=vaughan
[2009-08-31 14:58:37]
525*2^712486-1 is not prime.  Res64: F59E3DF31FD21129  Time : 480.0 sec.
user=gd_barnes
[2009-08-31 15:04:11]
521*2^712482-1 is not prime.  Res64: 5183683551977DB9  Time : 3377.0 sec.
user=vaughan
[2009-08-31 15:04:23]
597*2^712486-1 is not prime.  Res64: 3FD9B19530CC6FC2  Time : 654.0 sec.
user=gd_barnes
[2009-08-31 15:05:04]
415*2^712483-1 is not prime.  Res64: F8B04F38261AACC4  Time : 3369.0 sec.
user=vaughan
[2009-08-31 15:06:37]
523*2^712487-1 is not prime.  Res64: 3CCEA174525CDB13  Time : 481.0 sec.
user=vaughan
[2009-08-31 15:13:12]
423*2^712488-1 is not prime.  Res64: BC864D1358D2324C  Time : 530.0 sec.
user=vaughan
[2009-08-31 15:14:44]
515*2^712488-1 is not prime.  Res64: C70E9E5B714B3907  Time : 487.0 sec.
user=gd_barnes
[2009-08-31 15:15:25]
573*2^712483-1 is not prime.  Res64: 6BF1C7C739618C88  Time : 3377.0 sec.
user=gd_barnes
[2009-08-31 15:16:16]
589*2^712483-1 is not prime.  Res64: 47CD99EDBF61994B  Time : 3369.0 sec.
user=vaughan
[2009-08-31 15:22:42]
537*2^712488-1 is not prime.  Res64: A5AF97F27B62C408  Time : 478.0 sec.
user=vaughan
[2009-08-31 15:24:26]
525*2^712488-1 is not prime.  Res64: B11D1E7AD32C7C7E  Time : 674.0 sec.
user=gd_barnes
[2009-08-31 15:26:40]
539*2^712484-1 is not prime.  Res64: 3D2E1821C0E45B91  Time : 3377.0 sec.
user=gd_barnes
[2009-08-31 15:27:30]
599*2^712484-1 is not prime.  Res64: 44CE356F6D1A7FCC  Time : 3370.0 sec.
user=vaughan
[2009-08-31 15:30:45]
535*2^712489-1 is not prime.  Res64: 14C97F175742ABA8  Time : 483.0 sec.
user=vaughan
[2009-08-31 15:33:49]
547*2^712489-1 is not prime.  Res64: 2718CE6D27FD6186  Time : 563.0 sec.
user=gd_barnes
[2009-08-31 15:37:55]
441*2^712485-1 is not prime.  Res64: 132EE6F16A432739  Time : 3379.0 sec.
user=gd_barnes
[2009-08-31 15:38:49]
405*2^712486-1 is not prime.  Res64: C87F94F02A1B73DD  Time : 3375.0 sec.
user=vaughan
[2009-08-31 15:38:55]
561*2^712490-1 is not prime.  Res64: BE02F503FB94A2AC  Time : 490.0 sec.
user=vaughan
[2009-08-31 15:46:14]
405*2^712491-1 is not prime.  Res64: B1AA315F4B11E36D  Time : 745.0 sec.
user=vaughan
[2009-08-31 15:47:00]
511*2^712491-1 is not prime.  Res64: 12DA9B8DEB714529  Time : 485.0 sec.
user=gd_barnes
[2009-08-31 15:49:12]
545*2^712486-1 is not prime.  Res64: 17B265C8366E81BB  Time : 3381.0 sec.
user=gd_barnes
[2009-08-31 15:50:08]
453*2^712487-1 is not prime.  Res64: 68002E27C5ED0C80  Time : 3380.0 sec.
user=vaughan
[2009-08-31 15:55:10]
583*2^712491-1 is not prime.  Res64: BE329976014A85B2  Time : 490.0 sec.
user=vaughan
[2009-08-31 15:58:27]
571*2^712491-1 is not prime.  Res64: 9C7340CF7E81A17B  Time : 734.0 sec.
user=gd_barnes
[2009-08-31 16:00:29]
573*2^712487-1 is not prime.  Res64: F609E82A7442B789  Time : 3379.0 sec.
user=gd_barnes
[2009-08-31 16:01:26]
507*2^712488-1 is not prime.  Res64: 974CD025D8054B9A  Time : 3382.0 sec.
user=vaughan
[2009-08-31 16:03:16]
519*2^712492-1 is not prime.  Res64: 20C496611D5B50FE  Time : 487.0 sec.
user=vaughan
[2009-08-31 16:10:38]
525*2^712492-1 is not prime.  Res64: 99CC2A2509582450  Time : 731.0 sec.
user=vaughan
[2009-08-31 16:11:29]
579*2^712492-1 is not prime.  Res64: 4DF2A9C82AF564A3  Time : 493.0 sec.
user=gd_barnes
[2009-08-31 16:11:45]
563*2^712488-1 is not prime.  Res64: A63851929CC53133  Time : 3380.0 sec.
user=gd_barnes
[2009-08-31 16:12:40]
415*2^712489-1 is not prime.  Res64: FB6C4105C71E8B94  Time : 3384.0 sec.
user=vaughan
[2009-08-31 16:19:33]
425*2^712494-1 is not prime.  Res64: B726DDD16462206D  Time : 484.0 sec.
user=vaughan
[2009-08-31 16:22:57]
565*2^712493-1 is not prime.  Res64: F5CC7511DF73A59F  Time : 739.0 sec.
user=gd_barnes
[2009-08-31 16:23:01]
405*2^712490-1 is not prime.  Res64: 428354A96BE22234  Time : 3381.0 sec.
user=gd_barnes
[2009-08-31 16:23:53]
545*2^712490-1 is not prime.  Res64: 49A00E5C6BD72394  Time : 3383.0 sec.
user=vaughan
[2009-08-31 16:27:51]
593*2^712494-1 is not prime.  Res64: D5B48890C286BD3E  Time : 499.0 sec.
user=gd_barnes
[2009-08-31 16:34:16]
415*2^712491-1 is not prime.  Res64: E5A7D808FDE4BB86  Time : 3381.0 sec.
user=vaughan
[2009-08-31 16:34:57]
421*2^712495-1 is not prime.  Res64: A782CA1B08A2932D  Time : 720.0 sec.
user=gd_barnes
[2009-08-31 16:35:05]
469*2^712491-1 is not prime.  Res64: DBD6509D136CB0A3  Time : 3376.0 sec.
user=vaughan
[2009-08-31 16:36:04]
479*2^712496-1 is not prime.  Res64: 6643F5CC22467785  Time : 493.0 sec.
user=vaughan
[2009-08-31 16:44:09]
507*2^712497-1 is not prime.  Res64: 9AB9CDC501B08FA9  Time : 485.0 sec.
user=gd_barnes
[2009-08-31 16:45:32]
405*2^712492-1 is not prime.  Res64: C647EE85EFEB35F6  Time : 3380.0 sec.
user=gd_barnes
[2009-08-31 16:46:19]
423*2^712492-1 is not prime.  Res64: 4604DFCBFD9EA448  Time : 3371.0 sec.
user=vaughan
[2009-08-31 16:46:53]
441*2^712497-1 is not prime.  Res64: 6A1B366EC41A4889  Time : 716.0 sec.
user=vaughan
[2009-08-31 16:52:22]
531*2^712497-1 is not prime.  Res64: 0AD9228375072FD0  Time : 493.0 sec.
user=gd_barnes
[2009-08-31 16:56:47]
549*2^712492-1 is not prime.  Res64: 909FBEC5682369C3  Time : 3378.0 sec.
user=gd_barnes
[2009-08-31 16:57:32]
563*2^712492-1 is not prime.  Res64: 16AB667A55EA6EF5  Time : 3366.0 sec.
user=vaughan
[2009-08-31 16:58:51]
441*2^712499-1 is not prime.  Res64: 621A12B86549EE28  Time : 719.0 sec.
user=vaughan
[2009-08-31 17:00:38]
523*2^712499-1 is not prime.  Res64: 80003A5B1D4D0FB8  Time : 496.0 sec.
user=gd_barnes
[2009-08-31 17:08:03]
483*2^712494-1 is not prime.  Res64: 4A5A6971C5C0057F  Time : 3378.0 sec.
user=gd_barnes
[2009-08-31 17:08:45]
513*2^712494-1 is not prime.  Res64: 615725931795DA0C  Time : 3365.0 sec.
user=vaughan
[2009-08-31 17:08:53]
527*2^712500-1 is not prime.  Res64: 399E94665443CB77  Time : 495.0 sec.
user=vaughan
[2009-08-31 17:10:53]
515*2^712500-1 is not prime.  Res64: BF183528AED9C595  Time : 723.0 sec.
user=vaughan
[2009-08-31 17:17:00]
557*2^712500-1 is not prime.  Res64: 85D4EEFAC8E94BAB  Time : 487.0 sec.
user=gd_barnes
[2009-08-31 17:19:18]
535*2^712495-1 is not prime.  Res64: 248CCA886AB7EA7F  Time : 3378.0 sec.
user=gd_barnes
[2009-08-31 17:19:59]
595*2^712495-1 is not prime.  Res64: E18FC3D6C457D151  Time : 3366.0 sec.
user=vaughan
[2009-08-31 17:23:00]
411*2^712501-1 is not prime.  Res64: EBB786B0BCCC9899  Time : 728.0 sec.
user=vaughan
[2009-08-31 17:25:04]
415*2^712501-1 is not prime.  Res64: 9DE2C45130CAC913  Time : 484.0 sec.
user=gd_barnes
[2009-08-31 17:30:34]
439*2^712497-1 is not prime.  Res64: 69BC97DD5B6E37DA  Time : 3378.0 sec.
user=gd_barnes
[2009-08-31 17:31:11]
457*2^712497-1 is not prime.  Res64: 86389EB703855BC2  Time : 3366.0 sec.
user=vaughan
[2009-08-31 17:33:13]
565*2^712501-1 is not prime.  Res64: D8A3979FA0202AC7  Time : 490.0 sec.
user=vaughan
[2009-08-31 17:35:55]
525*2^712501-1 is not prime.  Res64: 7D4375B446ABFD27  Time : 775.0 sec.
user=vaughan
[2009-08-31 17:41:25]
461*2^712502-1 is not prime.  Res64: 801D643E4DC58793  Time : 493.0 sec.
user=gd_barnes
[2009-08-31 17:41:49]
559*2^712497-1 is not prime.  Res64: 48CC27A02E4BEAB0  Time : 3377.0 sec.
user=gd_barnes
[2009-08-31 17:42:24]
545*2^712498-1 is not prime.  Res64: 644BE70940DB5FE3  Time : 3365.0 sec.
user=vaughan
[2009-08-31 17:49:24]
507*2^712502-1 is not prime.  Res64: 1A091B5B42CBDF95  Time : 480.0 sec.
user=vaughan
[2009-08-31 17:50:28]
477*2^712502-1 is not prime.  Res64: 4B6A9B068BDF21DE  Time : 873.0 sec.
user=gd_barnes
[2009-08-31 17:53:05]
423*2^712500-1 is not prime.  Res64: A6779B25CA1B5B3D  Time : 3378.0 sec.
user=gd_barnes
[2009-08-31 17:53:37]
513*2^712500-1 is not prime.  Res64: BCF13C74B53C6A52  Time : 3365.0 sec.
user=vaughan
[2009-08-31 17:57:22]
591*2^712503-1 is not prime.  Res64: C1D6B757733E570F  Time : 479.0 sec.
user=gd_barnes
[2009-08-31 18:04:20]
539*2^712500-1 is not prime.  Res64: EECDD0843C1B4249  Time : 3377.0 sec.
user=gd_barnes
[2009-08-31 18:04:50]
545*2^712500-1 is not prime.  Res64: 4B205E0545036912  Time : 3365.0 sec.
user=vaughan
[2009-08-31 18:05:00]
407*2^712504-1 is not prime.  Res64: F6D0C928AEBE9FBF  Time : 872.0 sec.
user=vaughan
[2009-08-31 18:05:30]
409*2^712505-1 is not prime.  Res64: 8406FEF3EF2EE640  Time : 489.0 sec.
user=vaughan
[2009-08-31 18:13:40]
431*2^712506-1 is not prime.  Res64: 28215A4CDD53E6EA  Time : 491.0 sec.
user=gd_barnes
[2009-08-31 18:15:35]
439*2^712501-1 is not prime.  Res64: 83B88CEC46F9C9E5  Time : 3377.0 sec.
user=gd_barnes
[2009-08-31 18:16:03]
447*2^712501-1 is not prime.  Res64: D0243F10728BCE80  Time : 3365.0 sec.
user=vaughan
[2009-08-31 18:19:38]
589*2^712505-1 is not prime.  Res64: DFD5F5A072F46663  Time : 878.0 sec.
user=vaughan
[2009-08-31 18:21:36]
437*2^712506-1 is not prime.  Res64: F3E4467856F2C79A  Time : 477.0 sec.
user=gd_barnes
[2009-08-31 18:26:51]
425*2^712502-1 is not prime.  Res64: BF167A9557A6DB2C  Time : 3377.0 sec.
user=gd_barnes
[2009-08-31 18:27:16]
437*2^712502-1 is not prime.  Res64: EF91A1639A3F0F6D  Time : 3365.0 sec.
user=vaughan
[2009-08-31 18:29:33]
573*2^712506-1 is not prime.  Res64: FF1D837BBDED16B4  Time : 478.0 sec.
user=vaughan
[2009-08-31 18:33:43]
567*2^712506-1 is not prime.  Res64: 41C9FD381FA5920F  Time : 846.0 sec.
user=vaughan
[2009-08-31 18:37:42]
503*2^712508-1 is not prime.  Res64: 19E7B103A2A995ED  Time : 490.0 sec.
user=gd_barnes
[2009-08-31 18:38:07]
433*2^712503-1 is not prime.  Res64: D1C8DF0FB375E045  Time : 3379.0 sec.
user=gd_barnes
[2009-08-31 18:38:29]
583*2^712503-1 is not prime.  Res64: 1CCD533100DCA052  Time : 3365.0 sec.
user=vaughan
[2009-08-31 18:45:48]
545*2^712508-1 is not prime.  Res64: 2C0E46348E2A8F23  Time : 725.0 sec.
user=vaughan
[2009-08-31 18:45:55]
573*2^712508-1 is not prime.  Res64: F90F5DC288AE80DB  Time : 493.0 sec.
user=gd_barnes
[2009-08-31 18:49:26]
489*2^712504-1 is not prime.  Res64: 119336271B23C47B  Time : 3381.0 sec.
user=gd_barnes
[2009-08-31 18:49:42]
507*2^712504-1 is not prime.  Res64: C30A53D2980DB1BB  Time : 3365.0 sec.
user=vaughan
[2009-08-31 18:53:48]
425*2^712510-1 is not prime.  Res64: F3203385E107964C  Time : 473.0 sec.
user=vaughan
[2009-08-31 19:00:22]
595*2^712509-1 is not prime.  Res64: 3FB05AB80AB47ED6  Time : 874.0 sec.
user=gd_barnes
[2009-08-31 19:00:48]
475*2^712505-1 is not prime.  Res64: 604D0F0439DBC8DF  Time : 3388.0 sec.
user=gd_barnes
[2009-08-31 19:00:57]
517*2^712505-1 is not prime.  Res64: FB00A2D24CC089DE  Time : 3367.0 sec.
user=vaughan
[2009-08-31 19:01:58]
513*2^712510-1 is not prime.  Res64: 430FF4BB9769AB47  Time : 490.0 sec.
user=vaughan
[2009-08-31 19:10:00]
531*2^712511-1 is not prime.  Res64: A460562D114D29AC  Time : 482.0 sec.
user=gd_barnes
[2009-08-31 19:12:09]
485*2^712506-1 is not prime.  Res64: 168CC629148390FA  Time : 3394.0 sec.
user=gd_barnes
[2009-08-31 19:12:12]
525*2^712506-1 is not prime.  Res64: B71AEF28B6B0720C  Time : 3369.0 sec.
user=vaughan
[2009-08-31 19:15:02]
527*2^712510-1 is not prime.  Res64: 12843FBED24B64BC  Time : 880.0 sec.
user=vaughan
[2009-08-31 19:18:05]
405*2^712512-1 is not prime.  Res64: C8039CBB8859DF02  Time : 485.0 sec.
user=gd_barnes
[2009-08-31 19:23:26]
553*2^712507-1 is not prime.  Res64: EE72DB5757C58304  Time : 3370.0 sec.
user=gd_barnes
[2009-08-31 19:23:31]
475*2^712507-1 is not prime.  Res64: EE0C5946F9A2BA18  Time : 3400.0 sec.
user=vaughan
[2009-08-31 19:26:04]
459*2^712512-1 is not prime.  Res64: DA3513C923748641  Time : 479.0 sec.
user=vaughan
[2009-08-31 19:29:38]
447*2^712512-1 is not prime.  Res64: 5D5304E3D71C515A  Time : 876.0 sec.
user=vaughan
[2009-08-31 19:34:01]
429*2^712513-1 is not prime.  Res64: 11B866F53C7D54C4  Time : 477.0 sec.
user=gd_barnes
[2009-08-31 19:34:41]
549*2^712509-1 is not prime.  Res64: EE094677B9703E3A  Time : 3372.0 sec.
user=gd_barnes
[2009-08-31 19:34:52]
427*2^712509-1 is not prime.  Res64: 5AE5490853857E19  Time : 3406.0 sec.
user=vaughan
[2009-08-31 19:42:16]
447*2^712514-1 is not prime.  Res64: 835A1FECF86E31C5  Time : 495.0 sec.
user=vaughan
[2009-08-31 19:42:30]
517*2^712513-1 is not prime.  Res64: FC07A37067F9CE98  Time : 772.0 sec.
user=gd_barnes
[2009-08-31 19:45:56]
467*2^712510-1 is not prime.  Res64: 294095A097751A75  Time : 3374.0 sec.
user=gd_barnes
[2009-08-31 19:46:15]
465*2^712510-1 is not prime.  Res64: 0F87DDDCAAED42DC  Time : 3409.0 sec.
user=vaughan
[2009-08-31 19:50:33]
409*2^712515-1 is not prime.  Res64: EFF7FFF6178C064E  Time : 497.0 sec.
user=vaughan
[2009-08-31 19:54:40]
511*2^712515-1 is not prime.  Res64: B1D7FC6C7BDDB119  Time : 730.0 sec.
user=gd_barnes
[2009-08-31 19:57:10]
587*2^712510-1 is not prime.  Res64: 3F9F815D64EA37C8  Time : 3373.0 sec.
user=gd_barnes
[2009-08-31 19:57:37]
567*2^712510-1 is not prime.  Res64: 0F88F44D9496E1E2  Time : 3409.0 sec.
user=vaughan
[2009-08-31 19:58:47]
583*2^712515-1 is not prime.  Res64: CA38CE3915D5090D  Time : 494.0 sec.
user=vaughan
[2009-08-31 20:06:45]
567*2^712517-1 is not prime.  Res64: 98284C5333453C1A  Time : 478.0 sec.
user=vaughan
[2009-08-31 20:07:09]
563*2^712516-1 is not prime.  Res64: 9D8C046D21819B87  Time : 749.0 sec.
user=gd_barnes
[2009-08-31 20:08:25]
429*2^712512-1 is not prime.  Res64: 534B69B8E7FC61A6  Time : 3374.0 sec.
user=gd_barnes
[2009-08-31 20:08:58]
413*2^712512-1 is not prime.  Res64: 9CD37C455CE5147E  Time : 3409.0 sec.
user=vaughan
[2009-08-31 20:14:48]
589*2^712517-1 is not prime.  Res64: B96112364616D274  Time : 483.0 sec.
user=vaughan
[2009-08-31 20:19:13]
401*2^712518-1 is not prime.  Res64: 038D1D77190480AD  Time : 724.0 sec.
user=gd_barnes
[2009-08-31 20:19:39]
569*2^712512-1 is not prime.  Res64: 6405850BB3CE7F07  Time : 3373.0 sec.
user=gd_barnes
[2009-08-31 20:20:20]
587*2^712512-1 is not prime.  Res64: 38CB1324D7FF117A  Time : 3409.0 sec.
user=vaughan
[2009-08-31 20:22:55]
501*2^712518-1 is not prime.  Res64: 6F9984365035BD99  Time : 487.0 sec.
user=vaughan
[2009-08-31 20:30:34]
525*2^712518-1 is not prime.  Res64: 85856B524685B03E  Time : 682.0 sec.
user=gd_barnes
[2009-08-31 20:30:54]
533*2^712514-1 is not prime.  Res64: D5C14F9859E5F7EA  Time : 3373.0 sec.
user=vaughan
[2009-08-31 20:31:03]
441*2^712519-1 is not prime.  Res64: 2CA658B20B9A37DA  Time : 489.0 sec.
user=gd_barnes
[2009-08-31 20:31:41]
545*2^712514-1 is not prime.  Res64: 27066C1DDD884A7F  Time : 3409.0 sec.
user=vaughan
[2009-08-31 20:39:03]
523*2^712519-1 is not prime.  Res64: 2267E63DDCD23E7A  Time : 480.0 sec.
user=vaughan
[2009-08-31 20:40:48]
465*2^712519-1 is not prime.  Res64: D2DA986BE5F1F88C  Time : 614.0 sec.
user=gd_barnes
[2009-08-31 20:42:09]
523*2^712515-1 is not prime.  Res64: 7EA5C2C7EE23FCC0  Time : 3374.0 sec.
user=gd_barnes
[2009-08-31 20:43:03]
535*2^712515-1 is not prime.  Res64: 103786C806747D20  Time : 3408.0 sec.
user=vaughan
[2009-08-31 20:47:03]
589*2^712519-1 is not prime.  Res64: 491C493931D3BF2A  Time : 481.0 sec.
user=vaughan
[2009-08-31 20:49:47]
449*2^712520-1 is not prime.  Res64: 109FCEA39E3723E3  Time : 539.0 sec.
user=gd_barnes
[2009-08-31 20:53:23]
575*2^712516-1 is not prime.  Res64: FEB719E9718A90DA  Time : 3373.0 sec.
user=gd_barnes
[2009-08-31 20:54:26]
439*2^712517-1 is not prime.  Res64: 114A2B7C694EB857  Time : 3410.0 sec.
user=vaughan
[2009-08-31 20:55:07]
563*2^712520-1 is not prime.  Res64: 746B9994928C1F6C  Time : 484.0 sec.
user=vaughan
[2009-08-31 21:00:40]
537*2^712521-1 is not prime.  Res64: 37E4AF71CB3C4F13  Time : 653.0 sec.
user=vaughan
[2009-08-31 21:03:12]
555*2^712522-1 is not prime.  Res64: 6DD34407EA0F310C  Time : 485.0 sec.
user=gd_barnes
[2009-08-31 21:04:37]
471*2^712518-1 is not prime.  Res64: 9D80BF39F7AC1A86  Time : 3372.0 sec.
user=gd_barnes
[2009-08-31 21:05:41]
495*2^712518-1 is not prime.  Res64: 603CFD36824FE8D3  Time : 3403.0 sec.
user=vaughan
[2009-08-31 21:11:15]
473*2^712524-1 is not prime.  Res64: A8B5554DC90FE5E7  Time : 483.0 sec.
user=vaughan
[2009-08-31 21:13:34]
445*2^712523-1 is not prime.  Res64: 6B27FB07A7E3761B  Time : 775.0 sec.
user=gd_barnes
[2009-08-31 21:15:50]
551*2^712518-1 is not prime.  Res64: 6B44005D76A5B411  Time : 3371.0 sec.
user=gd_barnes
[2009-08-31 21:16:57]
567*2^712518-1 is not prime.  Res64: 453BCA3B9DDF1258  Time : 3397.0 sec.
user=vaughan
[2009-08-31 21:19:25]
563*2^712524-1 is not prime.  Res64: 5F3F9A5A49A03746  Time : 491.0 sec.
user=vaughan
[2009-08-31 21:24:50]
441*2^712525-1 is not prime.  Res64: F9CB5F58A93934A2  Time : 677.0 sec.
user=gd_barnes
[2009-08-31 21:27:04]
511*2^712519-1 is not prime.  Res64: 0DFB90D989C2650F  Time : 3370.0 sec.
user=vaughan
[2009-08-31 21:27:35]
585*2^712526-1 is not prime.  Res64: C1C789887A04581E  Time : 491.0 sec.
user=gd_barnes
[2009-08-31 21:28:13]
553*2^712519-1 is not prime.  Res64: 82D61924D064D51A  Time : 3392.0 sec.
user=vaughan
[2009-08-31 21:35:31]
591*2^712526-1 is not prime.  Res64: 6EC412FFD53B1668  Time : 642.0 sec.
user=vaughan
[2009-08-31 21:35:42]
523*2^712527-1 is not prime.  Res64: B40CF7FBCE7BB4D2  Time : 488.0 sec.
user=gd_barnes
[2009-08-31 21:38:17]
467*2^712520-1 is not prime.  Res64: D8B82A794510A47C  Time : 3369.0 sec.
user=gd_barnes
[2009-08-31 21:39:28]
495*2^712520-1 is not prime.  Res64: BECE8B3539D68D39  Time : 3385.0 sec.
user=vaughan
[2009-08-31 21:43:32]
465*2^712528-1 is not prime.  Res64: 50FCCFA43F8372B3  Time : 471.0 sec.
user=gd_barnes
[2009-08-31 21:49:30]
549*2^712521-1 is not prime.  Res64: DDE33F36112C6FEF  Time : 3367.0 sec.
user=vaughan
[2009-08-31 21:49:55]
429*2^712528-1 is not prime.  Res64: 0A64D4F3854D6EB2  Time : 865.0 sec.
user=gd_barnes
[2009-08-31 21:50:44]
579*2^712521-1 is not prime.  Res64: 58E6593222E324D4  Time : 3379.0 sec.
user=vaughan
[2009-08-31 21:51:34]
597*2^712528-1 is not prime.  Res64: E51A4F613A248746  Time : 482.0 sec.
user=vaughan
[2009-08-31 21:59:45]
579*2^712529-1 is not prime.  Res64: 21465C4C9A1CA0F9  Time : 491.0 sec.
user=gd_barnes
[2009-08-31 22:00:44]
527*2^712524-1 is not prime.  Res64: 936D9D77B10596E7  Time : 3367.0 sec.
user=vaughan
[2009-08-31 22:01:23]
507*2^712529-1 is not prime.  Res64: FDE3C37039EFA82F  Time : 689.0 sec.
user=gd_barnes
[2009-08-31 22:01:59]
549*2^712524-1 is not prime.  Res64: 350519DEAEA2E21F  Time : 3378.0 sec.
user=vaughan
[2009-08-31 22:07:48]
589*2^712529-1 is not prime.  Res64: 3443D1B89180C56D  Time : 483.0 sec.
user=gd_barnes
[2009-08-31 22:11:56]
561*2^712525-1 is not prime.  Res64: B4B878E2B5588B0D  Time : 3366.0 sec.
user=gd_barnes
[2009-08-31 22:13:14]
447*2^712526-1 is not prime.  Res64: 842B1A2E94A97C9E  Time : 3377.0 sec.
user=vaughan
[2009-08-31 22:15:12]
503*2^712530-1 is not prime.  Res64: BFCD4A7AF4EAF6DB  Time : 830.0 sec.
user=vaughan
[2009-08-31 22:15:40]
515*2^712530-1 is not prime.  Res64: 896D657B8A3FC560  Time : 472.0 sec.
user=gd_barnes
[2009-08-31 22:23:10]
429*2^712527-1 is not prime.  Res64: 2DFE93CFD73EF5F6  Time : 3366.0 sec.
user=vaughan
[2009-08-31 22:23:43]
463*2^712531-1 is not prime.  Res64: 73E22DD4BD473C8D  Time : 484.0 sec.
user=gd_barnes
[2009-08-31 22:24:29]
419*2^712528-1 is not prime.  Res64: 794FA840B89C565D  Time : 3376.0 sec.
user=vaughan
[2009-08-31 22:29:09]
405*2^712531-1 is not prime.  Res64: 10C56813DF2DD87E  Time : 837.0 sec.
user=vaughan
[2009-08-31 22:31:34]
447*2^712532-1 is not prime.  Res64: 3315CC40717892D6  Time : 471.0 sec.
user=gd_barnes
[2009-08-31 22:34:22]
519*2^712528-1 is not prime.  Res64: 10D17B79AF9E7647  Time : 3366.0 sec.
user=gd_barnes
[2009-08-31 22:35:45]
567*2^712528-1 is not prime.  Res64: E2B5979A66690949  Time : 3377.0 sec.
user=vaughan
[2009-08-31 22:39:31]
495*2^712532-1 is not prime.  Res64: 04350118BF43B0F0  Time : 478.0 sec.
user=vaughan
[2009-08-31 22:43:53]
467*2^712532-1 is not prime.  Res64: 713C6F934533FFD7  Time : 884.0 sec.
user=gd_barnes
[2009-08-31 22:45:36]
465*2^712529-1 is not prime.  Res64: B2BC014DDFD72B39  Time : 3366.0 sec.
user=gd_barnes
[2009-08-31 22:47:01]
571*2^712529-1 is not prime.  Res64: B18F24CDCD361A79  Time : 3378.0 sec.
user=vaughan
[2009-08-31 22:47:23]
499*2^712533-1 is not prime.  Res64: 2485CD835A66D67F  Time : 473.0 sec.
user=vaughan
[2009-08-31 22:55:31]
413*2^712534-1 is not prime.  Res64: 32D11495F9E029BB  Time : 488.0 sec.
user=gd_barnes
[2009-08-31 22:56:50]
411*2^712530-1 is not prime.  Res64: E2288C19CCCC8923  Time : 3367.0 sec.
user=vaughan
[2009-08-31 22:57:44]
559*2^712533-1 is not prime.  Res64: 01A925D8EB3A04F2  Time : 831.0 sec.
user=gd_barnes
[2009-08-31 22:58:16]
513*2^712530-1 is not prime.  Res64: EB5C6103F497FE3F  Time : 3377.0 sec.
user=vaughan
[2009-08-31 23:03:38]
483*2^712534-1 is not prime.  Res64: 0D3B26D8D9D70270  Time : 487.0 sec.
user=gd_barnes
[2009-08-31 23:08:02]
531*2^712530-1 is not prime.  Res64: 5EB0FECBCDC110FA  Time : 3366.0 sec.
user=gd_barnes
[2009-08-31 23:09:31]
581*2^712530-1 is not prime.  Res64: 0C86CCDBF31F8390  Time : 3377.0 sec.
user=vaughan
[2009-08-31 23:10:00]
555*2^712534-1 is not prime.  Res64: BF44AE04E94BD299  Time : 736.0 sec.
user=vaughan
[2009-08-31 23:11:47]
409*2^712535-1 is not prime.  Res64: 54CCE2D7FEB74F48  Time : 489.0 sec.
user=gd_barnes
[2009-08-31 23:19:16]
541*2^712531-1 is not prime.  Res64: AEF32046EA18932D  Time : 3366.0 sec.
user=vaughan
[2009-08-31 23:20:07]
481*2^712535-1 is not prime.  Res64: 7E24A705DA54514F  Time : 500.0 sec.
user=gd_barnes
[2009-08-31 23:20:47]
459*2^712532-1 is not prime.  Res64: B2E1F7F2E6BD7F9A  Time : 3378.0 sec.
user=vaughan
[2009-08-31 23:22:02]
475*2^712535-1 is not prime.  Res64: AD81B1D588C9B3C9  Time : 722.0 sec.
user=vaughan
[2009-08-31 23:28:19]
503*2^712536-1 is not prime.  Res64: AC59B380AAE32C47  Time : 492.0 sec.
user=gd_barnes
[2009-08-31 23:30:29]
563*2^712532-1 is not prime.  Res64: 3B3C62C24FE7E57D  Time : 3367.0 sec.
user=gd_barnes
[2009-08-31 23:32:03]
451*2^712533-1 is not prime.  Res64: 961E219C3B86CC13  Time : 3378.0 sec.
user=vaughan
[2009-08-31 23:34:01]
435*2^712537-1 is not prime.  Res64: 7184C542C62263A9  Time : 719.0 sec.
user=vaughan
[2009-08-31 23:36:37]
441*2^712537-1 is not prime.  Res64: CDB0466485E87026  Time : 498.0 sec.
user=gd_barnes
[2009-08-31 23:41:42]
565*2^712533-1 is not prime.  Res64: BF54FAA129FA34B9  Time : 3366.0 sec.
user=gd_barnes
[2009-08-31 23:43:18]
585*2^712533-1 is not prime.  Res64: 85DB335B778BDFBF  Time : 3377.0 sec.
user=vaughan
[2009-08-31 23:43:59]
567*2^712537-1 is not prime.  Res64: 7309A47CC0B87FD2  Time : 598.0 sec.
user=vaughan
[2009-08-31 23:44:42]
447*2^712538-1 is not prime.  Res64: 9269B783A48A0DF0  Time : 485.0 sec.
user=vaughan
[2009-08-31 23:52:42]
451*2^712539-1 is not prime.  Res64: 703B1407976CE160  Time : 480.0 sec.
user=gd_barnes
[2009-08-31 23:52:55]
545*2^712534-1 is not prime.  Res64: CB5D8D0744EF335C  Time : 3366.0 sec.
user=gd_barnes
[2009-08-31 23:54:33]
593*2^712534-1 is not prime.  Res64: 4931ABE3BFE49EC5  Time : 3377.0 sec.
user=vaughan
[2009-08-31 23:54:51]
575*2^712538-1 is not prime.  Res64: 35C3A853DEA48688  Time : 652.0 sec.