user=vaughan
[2009-08-08 00:01:50]
563*2^707234-1 is not prime.  Res64: 8A2862A35FC95BA1  Time : 462.0 sec.
user=vaughan
[2009-08-08 00:04:33]
523*2^707235-1 is not prime.  Res64: 851AB82F8116B57D  Time : 456.0 sec.
user=gd_barnes
[2009-08-08 00:04:50]
525*2^707225-1 is not prime.  Res64: EB46B5DFB877DA83  Time : 3368.0 sec.
user=gd_barnes
[2009-08-08 00:06:31]
565*2^707225-1 is not prime.  Res64: ACEBAB390752B1D9  Time : 3371.0 sec.
user=vaughan
[2009-08-08 00:08:42]
465*2^707235-1 is not prime.  Res64: 14DEAC1E5F333525  Time : 793.0 sec.
user=vaughan
[2009-08-08 00:09:32]
453*2^707236-1 is not prime.  Res64: 570D4051B1BE8DB3  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 00:09:33]
589*2^707225-1 is not prime.  Res64: C3141283814B1D38  Time : 3365.0 sec.
user=vaughan
[2009-08-08 00:10:36]
513*2^707235-1 is not prime.  Res64: 2C95645C86F53849  Time : 820.0 sec.
user=gd_barnes
[2009-08-08 00:10:50]
473*2^707226-1 is not prime.  Res64: EDDEBC405036D84F  Time : 3377.0 sec.
user=vaughan
[2009-08-08 00:11:05]
553*2^707235-1 is not prime.  Res64: F2A783E64BA7E6E0  Time : 815.0 sec.
user=vaughan
[2009-08-08 00:11:25]
541*2^707233-1 is not prime.  Res64: 5B182BBAD62697D6  Time : 1097.0 sec.
user=vaughan
[2009-08-08 00:12:09]
455*2^707236-1 is not prime.  Res64: CB37A71F9770B1E5  Time : 456.0 sec.
user=gd_barnes
[2009-08-08 00:16:02]
463*2^707227-1 is not prime.  Res64: A8966A3069A6F371  Time : 3367.0 sec.
user=vaughan
[2009-08-08 00:17:18]
465*2^707237-1 is not prime.  Res64: 8BAB19349889779E  Time : 466.0 sec.
user=gd_barnes
[2009-08-08 00:17:45]
531*2^707227-1 is not prime.  Res64: 167D776154D342A6  Time : 3371.0 sec.
user=vaughan
[2009-08-08 00:19:47]
433*2^707239-1 is not prime.  Res64: B441969F26446134  Time : 458.0 sec.
user=gd_barnes
[2009-08-08 00:20:45]
539*2^707228-1 is not prime.  Res64: 23CAE33DADDC83A8  Time : 3364.0 sec.
user=vaughan
[2009-08-08 00:21:59]
445*2^707237-1 is not prime.  Res64: AD486A32F0690696  Time : 797.0 sec.
user=gd_barnes
[2009-08-08 00:22:04]
415*2^707229-1 is not prime.  Res64: 74571C9663E8A403  Time : 3376.0 sec.
user=vaughan
[2009-08-08 00:24:16]
453*2^707238-1 is not prime.  Res64: E710DE1957D5B9C5  Time : 820.0 sec.
user=vaughan
[2009-08-08 00:24:58]
567*2^707238-1 is not prime.  Res64: 58198F927DDBF85C  Time : 833.0 sec.
user=vaughan
[2009-08-08 00:25:10]
549*2^707239-1 is not prime.  Res64: ECE79EB3CB70F01D  Time : 472.0 sec.
user=gd_barnes
[2009-08-08 00:27:17]
443*2^707230-1 is not prime.  Res64: AB6641BD04AA2555  Time : 3368.0 sec.
user=vaughan
[2009-08-08 00:27:25]
405*2^707240-1 is not prime.  Res64: E58AC5DE174DE26C  Time : 458.0 sec.
user=gd_barnes
[2009-08-08 00:28:58]
533*2^707230-1 is not prime.  Res64: 3B5B486AD3CE529D  Time : 3369.0 sec.
user=vaughan
[2009-08-08 00:29:33]
581*2^707238-1 is not prime.  Res64: 5C33D93C1AC799A9  Time : 1089.0 sec.
user=gd_barnes
[2009-08-08 00:31:59]
571*2^707231-1 is not prime.  Res64: 6F54BDED52E11436  Time : 3365.0 sec.
user=vaughan
[2009-08-08 00:33:17]
413*2^707242-1 is not prime.  Res64: 977F2C7D57C2566A  Time : 487.0 sec.
user=gd_barnes
[2009-08-08 00:33:18]
573*2^707231-1 is not prime.  Res64: 33D328868767AFC2  Time : 3374.0 sec.
user=vaughan
[2009-08-08 00:35:06]
555*2^707242-1 is not prime.  Res64: BE4A92412AB576E2  Time : 461.0 sec.
user=vaughan
[2009-08-08 00:35:19]
557*2^707240-1 is not prime.  Res64: A4E627BEAF0CB544  Time : 800.0 sec.
user=vaughan
[2009-08-08 00:37:59]
537*2^707241-1 is not prime.  Res64: 290C76DFAADCCCD6  Time : 823.0 sec.
user=gd_barnes
[2009-08-08 00:38:31]
467*2^707232-1 is not prime.  Res64: 5BF6350CD2B9AA96  Time : 3369.0 sec.
user=vaughan
[2009-08-08 00:38:32]
577*2^707241-1 is not prime.  Res64: AE7E1BA2DC298AC1  Time : 814.0 sec.
user=gd_barnes
[2009-08-08 00:40:13]
567*2^707232-1 is not prime.  Res64: 218FCEE8AD11C514  Time : 3371.0 sec.
user=vaughan
[2009-08-08 00:40:59]
445*2^707243-1 is not prime.  Res64: 6FE6F76A320E5C60  Time : 462.0 sec.
user=vaughan
[2009-08-08 00:42:42]
549*2^707243-1 is not prime.  Res64: B7F808BB277FE083  Time : 456.0 sec.
user=gd_barnes
[2009-08-08 00:43:12]
593*2^707232-1 is not prime.  Res64: 5B9E2AA6C1A1B5DA  Time : 3365.0 sec.
user=gd_barnes
[2009-08-08 00:44:33]
511*2^707233-1 is not prime.  Res64: 112B86AA069BB01B  Time : 3374.0 sec.
user=vaughan
[2009-08-08 00:47:34]
581*2^707242-1 is not prime.  Res64: CFB9981746324A81  Time : 1081.0 sec.
user=vaughan
[2009-08-08 00:48:32]
455*2^707244-1 is not prime.  Res64: D9C735ABED665771  Time : 793.0 sec.
user=vaughan
[2009-08-08 00:48:41]
537*2^707245-1 is not prime.  Res64: 5AECF3F907BF72A8  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 00:49:44]
525*2^707234-1 is not prime.  Res64: F2FC52BBFDF5C4B2  Time : 3368.0 sec.
user=vaughan
[2009-08-08 00:50:18]
555*2^707245-1 is not prime.  Res64: 26DE1E557674AEF8  Time : 456.0 sec.
user=gd_barnes
[2009-08-08 00:51:26]
411*2^707235-1 is not prime.  Res64: 724CF5644A5D2097  Time : 3370.0 sec.
user=vaughan
[2009-08-08 00:51:34]
527*2^707244-1 is not prime.  Res64: E77738C8897B3A81  Time : 782.0 sec.
user=vaughan
[2009-08-08 00:51:44]
483*2^707244-1 is not prime.  Res64: 1096548980686024  Time : 825.0 sec.
user=gd_barnes
[2009-08-08 00:54:26]
591*2^707235-1 is not prime.  Res64: 416BBAD7FF0D8613  Time : 3367.0 sec.
user=gd_barnes
[2009-08-08 00:55:48]
437*2^707236-1 is not prime.  Res64: C8605B000E97CC08  Time : 3373.0 sec.
user=vaughan
[2009-08-08 00:56:24]
405*2^707247-1 is not prime.  Res64: 8ED00E14257FD90C  Time : 463.0 sec.
user=vaughan
[2009-08-08 00:57:54]
471*2^707247-1 is not prime.  Res64: 438196F275A5D1C6  Time : 456.0 sec.
user=gd_barnes
[2009-08-08 01:00:59]
485*2^707236-1 is not prime.  Res64: D5AD6917F4B5B69D  Time : 3370.0 sec.
user=vaughan
[2009-08-08 01:02:13]
575*2^707246-1 is not prime.  Res64: ACD19806B3C3FB17  Time : 822.0 sec.
user=gd_barnes
[2009-08-08 01:02:41]
421*2^707237-1 is not prime.  Res64: 29B3992EB7AD8649  Time : 3370.0 sec.
user=vaughan
[2009-08-08 01:04:07]
549*2^707249-1 is not prime.  Res64: 812BECA26DE30B5F  Time : 463.0 sec.
user=vaughan
[2009-08-08 01:05:30]
577*2^707249-1 is not prime.  Res64: 0702D62BB2CD8E9D  Time : 456.0 sec.
user=gd_barnes
[2009-08-08 01:05:39]
529*2^707237-1 is not prime.  Res64: 52075C3126750E0B  Time : 3367.0 sec.
user=vaughan
[2009-08-08 01:05:51]
533*2^707248-1 is not prime.  Res64: 470C17A853217E83  Time : 847.0 sec.
user=vaughan
[2009-08-08 01:05:54]
561*2^707246-1 is not prime.  Res64: C69602C6B7A4AFCD  Time : 1100.0 sec.
user=vaughan
[2009-08-08 01:05:59]
571*2^707247-1 is not prime.  Res64: C2E738C8CFA9C47F  Time : 866.0 sec.
user=gd_barnes
[2009-08-08 01:07:02]
507*2^707238-1 is not prime.  Res64: 73C47894D68D49EF  Time : 3373.0 sec.
user=vaughan
[2009-08-08 01:11:49]
567*2^707250-1 is not prime.  Res64: 9FA0D0B9A9BA173D  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 01:12:13]
465*2^707239-1 is not prime.  Res64: EE8C20AC42FAEABB  Time : 3371.0 sec.
user=vaughan
[2009-08-08 01:13:06]
585*2^707250-1 is not prime.  Res64: 451C5E20B60CF903  Time : 456.0 sec.
user=gd_barnes
[2009-08-08 01:13:55]
589*2^707239-1 is not prime.  Res64: 373D695F9FD7DB43  Time : 3370.0 sec.
user=vaughan
[2009-08-08 01:15:58]
423*2^707250-1 is not prime.  Res64: 3F10E98F6FF447D8  Time : 825.0 sec.
user=gd_barnes
[2009-08-08 01:16:52]
539*2^707240-1 is not prime.  Res64: B44F900CA2A1115D  Time : 3367.0 sec.
user=gd_barnes
[2009-08-08 01:18:18]
475*2^707241-1 is not prime.  Res64: 9DE75915A5810995  Time : 3374.0 sec.
user=vaughan
[2009-08-08 01:19:34]
531*2^707251-1 is not prime.  Res64: 05BB9BC0E163DD5B  Time : 465.0 sec.
user=vaughan
[2009-08-08 01:20:01]
441*2^707251-1 is not prime.  Res64: 89F2298EB63414A2  Time : 850.0 sec.
user=vaughan
[2009-08-08 01:20:16]
483*2^707251-1 is not prime.  Res64: 5D5A1F8802C17469  Time : 857.0 sec.
user=vaughan
[2009-08-08 01:20:44]
405*2^707252-1 is not prime.  Res64: 53A6D09635921C27  Time : 458.0 sec.
user=gd_barnes
[2009-08-08 01:23:28]
461*2^707242-1 is not prime.  Res64: 344AC0C429A840A6  Time : 3371.0 sec.
user=vaughan
[2009-08-08 01:24:28]
463*2^707251-1 is not prime.  Res64: 35F2B1D81685D6CC  Time : 1114.0 sec.
user=gd_barnes
[2009-08-08 01:25:08]
567*2^707242-1 is not prime.  Res64: EE3ECC60CFD5BFAC  Time : 3370.0 sec.
user=vaughan
[2009-08-08 01:27:16]
577*2^707253-1 is not prime.  Res64: 0F8A93ADE179AF2F  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 01:28:05]
439*2^707243-1 is not prime.  Res64: 7B159DE94F311F30  Time : 3366.0 sec.
user=vaughan
[2009-08-08 01:28:20]
465*2^707254-1 is not prime.  Res64: 6933308C103FD9DF  Time : 457.0 sec.
user=vaughan
[2009-08-08 01:29:28]
459*2^707253-1 is not prime.  Res64: 6CBD9947331C8E42  Time : 811.0 sec.
user=gd_barnes
[2009-08-08 01:29:32]
519*2^707243-1 is not prime.  Res64: A9DBDE51F5550257  Time : 3374.0 sec.
user=vaughan
[2009-08-08 01:33:43]
443*2^707254-1 is not prime.  Res64: 43C1C348F47262AF  Time : 822.0 sec.
user=vaughan
[2009-08-08 01:34:01]
447*2^707254-1 is not prime.  Res64: EAC06495374360CB  Time : 826.0 sec.
user=gd_barnes
[2009-08-08 01:34:42]
503*2^707244-1 is not prime.  Res64: 7AFFE3F989E1EA59  Time : 3371.0 sec.
user=vaughan
[2009-08-08 01:34:58]
453*2^707255-1 is not prime.  Res64: 08734B4DFB5649BD  Time : 462.0 sec.
user=vaughan
[2009-08-08 01:35:57]
585*2^707255-1 is not prime.  Res64: 3781BD2824FEB60C  Time : 458.0 sec.
user=gd_barnes
[2009-08-08 01:36:23]
539*2^707244-1 is not prime.  Res64: 9FEEC5D419CFBA5F  Time : 3371.0 sec.
user=gd_barnes
[2009-08-08 01:39:18]
589*2^707245-1 is not prime.  Res64: D7BE4354F577AB21  Time : 3366.0 sec.
user=gd_barnes
[2009-08-08 01:40:47]
455*2^707246-1 is not prime.  Res64: 2A798CE08BCC5AF5  Time : 3374.0 sec.
user=vaughan
[2009-08-08 01:42:40]
431*2^707258-1 is not prime.  Res64: E6492192BBEBB7BC  Time : 462.0 sec.
user=vaughan
[2009-08-08 01:42:43]
513*2^707254-1 is not prime.  Res64: 39A194A229C52A99  Time : 1095.0 sec.
user=vaughan
[2009-08-08 01:43:16]
503*2^707256-1 is not prime.  Res64: 8211DDF7BD4BE713  Time : 828.0 sec.
user=vaughan
[2009-08-08 01:43:34]
437*2^707258-1 is not prime.  Res64: 7BE9AE5709F98B74  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 01:45:57]
429*2^707247-1 is not prime.  Res64: E5852C1D752B7789  Time : 3373.0 sec.
user=gd_barnes
[2009-08-08 01:47:37]
483*2^707247-1 is not prime.  Res64: 0D10EEDCF7C913B7  Time : 3371.0 sec.
user=vaughan
[2009-08-08 01:48:04]
405*2^707257-1 is not prime.  Res64: E9D006FD01B10A21  Time : 861.0 sec.
user=vaughan
[2009-08-08 01:48:17]
465*2^707257-1 is not prime.  Res64: 98A5F6306304F3BD  Time : 856.0 sec.
user=vaughan
[2009-08-08 01:50:23]
531*2^707259-1 is not prime.  Res64: 3DCD84AF7CD354E8  Time : 463.0 sec.
user=gd_barnes
[2009-08-08 01:50:32]
569*2^707248-1 is not prime.  Res64: DE01AF0FBA996B2E  Time : 3366.0 sec.
user=vaughan
[2009-08-08 01:51:11]
597*2^707260-1 is not prime.  Res64: 643325B59BBE7D2A  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 01:52:02]
507*2^707249-1 is not prime.  Res64: DDCB2082936FB4E7  Time : 3374.0 sec.
user=gd_barnes
[2009-08-08 01:57:12]
589*2^707249-1 is not prime.  Res64: 67196104034BE45A  Time : 3373.0 sec.
user=vaughan
[2009-08-08 01:57:16]
587*2^707260-1 is not prime.  Res64: C8090B5AA640EB09  Time : 840.0 sec.
user=vaughan
[2009-08-08 01:58:05]
529*2^707261-1 is not prime.  Res64: 1197DDA61A0000AD  Time : 462.0 sec.
user=vaughan
[2009-08-08 01:58:48]
425*2^707262-1 is not prime.  Res64: 9CD3CF8B9561F1FB  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 01:58:52]
543*2^707250-1 is not prime.  Res64: 34CC2F870DE59B71  Time : 3371.0 sec.
user=vaughan
[2009-08-08 02:01:41]
569*2^707260-1 is not prime.  Res64: E0D8FBC2E3BBBFFC  Time : 1149.0 sec.
user=gd_barnes
[2009-08-08 02:01:52]
405*2^707251-1 is not prime.  Res64: 5F240BBB217B42D0  Time : 3374.0 sec.
user=vaughan
[2009-08-08 02:02:41]
511*2^707261-1 is not prime.  Res64: 46EDC60597BF5E63  Time : 877.0 sec.
user=vaughan
[2009-08-08 02:03:09]
517*2^707261-1 is not prime.  Res64: 9D72A203CE2A390D  Time : 893.0 sec.
user=gd_barnes
[2009-08-08 02:03:16]
499*2^707251-1 is not prime.  Res64: D17D463C798824D4  Time : 3374.0 sec.
user=vaughan
[2009-08-08 02:05:48]
557*2^707262-1 is not prime.  Res64: 6EFADCB96BAC97C0  Time : 463.0 sec.
user=vaughan
[2009-08-08 02:06:24]
563*2^707262-1 is not prime.  Res64: 91768B94473D8A74  Time : 456.0 sec.
user=gd_barnes
[2009-08-08 02:08:27]
573*2^707251-1 is not prime.  Res64: 5CC2DE8600AE3F18  Time : 3374.0 sec.
user=gd_barnes
[2009-08-08 02:10:05]
557*2^707252-1 is not prime.  Res64: 3C63D20E872AEDE0  Time : 3370.0 sec.
user=vaughan
[2009-08-08 02:11:16]
551*2^707262-1 is not prime.  Res64: 79033CA223E87299  Time : 841.0 sec.
user=gd_barnes
[2009-08-08 02:12:56]
499*2^707253-1 is not prime.  Res64: F001B5D07825928A  Time : 3364.0 sec.
user=vaughan
[2009-08-08 02:13:30]
589*2^707263-1 is not prime.  Res64: 457D715E542756EA  Time : 462.0 sec.
user=vaughan
[2009-08-08 02:14:00]
447*2^707264-1 is not prime.  Res64: 5D7A3547639DC4D3  Time : 456.0 sec.
user=gd_barnes
[2009-08-08 02:14:31]
549*2^707253-1 is not prime.  Res64: 88FD12391462CD78  Time : 3373.0 sec.
user=vaughan
[2009-08-08 02:16:51]
483*2^707263-1 is not prime.  Res64: F95CCDB6ED5165F3  Time : 850.0 sec.
user=vaughan
[2009-08-08 02:17:10]
541*2^707263-1 is not prime.  Res64: E4668874A9200226  Time : 841.0 sec.
user=gd_barnes
[2009-08-08 02:19:41]
491*2^707254-1 is not prime.  Res64: 77283026E9829340  Time : 3373.0 sec.
user=vaughan
[2009-08-08 02:20:38]
429*2^707263-1 is not prime.  Res64: 11E4C56225EE2714  Time : 1137.0 sec.
user=vaughan
[2009-08-08 02:21:12]
535*2^707265-1 is not prime.  Res64: C0DB544ACD4FD835  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 02:21:19]
411*2^707255-1 is not prime.  Res64: 521727658CAC83F2  Time : 3371.0 sec.
user=vaughan
[2009-08-08 02:21:37]
471*2^707266-1 is not prime.  Res64: 31389B2706545B49  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 02:24:08]
493*2^707255-1 is not prime.  Res64: 774B6DEDDCC94D5F  Time : 3363.0 sec.
user=vaughan
[2009-08-08 02:24:35]
415*2^707265-1 is not prime.  Res64: B523977BB5B7EFEE  Time : 799.0 sec.
user=gd_barnes
[2009-08-08 02:25:46]
539*2^707256-1 is not prime.  Res64: 7BDA134F7081F4ED  Time : 3374.0 sec.
user=vaughan
[2009-08-08 02:28:55]
515*2^707268-1 is not prime.  Res64: F116E319D5EC78F0  Time : 463.0 sec.
user=vaughan
[2009-08-08 02:29:13]
555*2^707268-1 is not prime.  Res64: 65BAEA8B8C30ED54  Time : 456.0 sec.
user=vaughan
[2009-08-08 02:30:26]
561*2^707266-1 is not prime.  Res64: 304283E6CA10B074  Time : 796.0 sec.
user=vaughan
[2009-08-08 02:30:41]
495*2^707266-1 is not prime.  Res64: 1BD52E3AD1D93200  Time : 830.0 sec.
user=gd_barnes
[2009-08-08 02:30:55]
417*2^707258-1 is not prime.  Res64: 179A947F9C56DE25  Time : 3373.0 sec.
user=gd_barnes
[2009-08-08 02:32:34]
497*2^707258-1 is not prime.  Res64: 819BF070C6490539  Time : 3371.0 sec.
user=gd_barnes
[2009-08-08 02:35:20]
515*2^707258-1 is not prime.  Res64: 165F4057A90FF4EC  Time : 3362.0 sec.
user=vaughan
[2009-08-08 02:36:39]
563*2^707270-1 is not prime.  Res64: 18D5439368EF7848  Time : 465.0 sec.
user=vaughan
[2009-08-08 02:36:47]
581*2^707270-1 is not prime.  Res64: 151F635A1E51513C  Time : 455.0 sec.
user=gd_barnes
[2009-08-08 02:37:00]
513*2^707259-1 is not prime.  Res64: 3480EE8FB7E48B5C  Time : 3373.0 sec.
user=vaughan
[2009-08-08 02:37:58]
503*2^707270-1 is not prime.  Res64: 03AA2BC703C8F348  Time : 803.0 sec.
user=vaughan
[2009-08-08 02:38:52]
419*2^707268-1 is not prime.  Res64: EE52319CC95FABAC  Time : 1095.0 sec.
user=gd_barnes
[2009-08-08 02:42:10]
417*2^707261-1 is not prime.  Res64: 4C23127D110F593B  Time : 3373.0 sec.
user=gd_barnes
[2009-08-08 02:43:49]
451*2^707261-1 is not prime.  Res64: EF0BDC3B7ACE1FF1  Time : 3372.0 sec.
user=vaughan
[2009-08-08 02:43:52]
587*2^707270-1 is not prime.  Res64: C7812A80FB3E3EB8  Time : 806.0 sec.
user=vaughan
[2009-08-08 02:44:24]
489*2^707272-1 is not prime.  Res64: A869F04D2425C37C  Time : 457.0 sec.
user=vaughan
[2009-08-08 02:44:25]
483*2^707272-1 is not prime.  Res64: 058DF486043C5EF4  Time : 467.0 sec.
user=vaughan
[2009-08-08 02:44:32]
475*2^707271-1 is not prime.  Res64: 665AB3D5ED558416  Time : 831.0 sec.
user=gd_barnes
[2009-08-08 02:46:33]
549*2^707261-1 is not prime.  Res64: 638F6F244F1D255A  Time : 3362.0 sec.
user=gd_barnes
[2009-08-08 02:48:14]
431*2^707262-1 is not prime.  Res64: 077C70DA358F8BFC  Time : 3373.0 sec.
user=vaughan
[2009-08-08 02:51:32]
567*2^707272-1 is not prime.  Res64: A4C05E9B3BC98CB6  Time : 814.0 sec.
user=vaughan
[2009-08-08 02:52:01]
471*2^707275-1 is not prime.  Res64: AB8F36FF9EC764B4  Time : 457.0 sec.
user=vaughan
[2009-08-08 02:52:14]
495*2^707275-1 is not prime.  Res64: EC0B2E3238FEE282  Time : 470.0 sec.
user=gd_barnes
[2009-08-08 02:53:24]
537*2^707262-1 is not prime.  Res64: DF61C0FCC48394F3  Time : 3372.0 sec.
user=gd_barnes
[2009-08-08 02:55:03]
423*2^707263-1 is not prime.  Res64: 1050FB7D0767F9A4  Time : 3371.0 sec.
user=vaughan
[2009-08-08 02:57:01]
481*2^707273-1 is not prime.  Res64: 3D52A4005F409620  Time : 1089.0 sec.
user=vaughan
[2009-08-08 02:57:42]
465*2^707274-1 is not prime.  Res64: 524EABF8D7E04196  Time : 830.0 sec.
user=gd_barnes
[2009-08-08 02:57:46]
475*2^707263-1 is not prime.  Res64: FF76A285391530CC  Time : 3354.0 sec.
user=vaughan
[2009-08-08 02:58:34]
417*2^707276-1 is not prime.  Res64: F7D7FD7FB2BBCC7E  Time : 843.0 sec.
user=gd_barnes
[2009-08-08 02:59:29]
549*2^707263-1 is not prime.  Res64: 3954C407467AB694  Time : 3373.0 sec.
user=vaughan
[2009-08-08 02:59:37]
573*2^707276-1 is not prime.  Res64: 398E6186A5BC9B1B  Time : 456.0 sec.
user=vaughan
[2009-08-08 02:59:58]
593*2^707276-1 is not prime.  Res64: 25EE3EA08410671E  Time : 465.0 sec.
user=gd_barnes
[2009-08-08 03:04:38]
479*2^707264-1 is not prime.  Res64: 853AE234429025CB  Time : 3372.0 sec.
user=vaughan
[2009-08-08 03:04:53]
545*2^707276-1 is not prime.  Res64: B70DF7BED5E9C5C4  Time : 802.0 sec.
user=gd_barnes
[2009-08-08 03:06:18]
409*2^707265-1 is not prime.  Res64: 22F1B995742C5517  Time : 3373.0 sec.
user=vaughan
[2009-08-08 03:07:15]
491*2^707278-1 is not prime.  Res64: BD09F766B17AF2F7  Time : 458.0 sec.
user=vaughan
[2009-08-08 03:07:44]
545*2^707278-1 is not prime.  Res64: 55D3AC90B8A51D1F  Time : 467.0 sec.
user=gd_barnes
[2009-08-08 03:08:58]
525*2^707265-1 is not prime.  Res64: 33F095D9504768FD  Time : 3362.0 sec.
user=gd_barnes
[2009-08-08 03:10:44]
477*2^707266-1 is not prime.  Res64: 4DF6885D0D116919  Time : 3373.0 sec.
user=vaughan
[2009-08-08 03:11:36]
565*2^707277-1 is not prime.  Res64: 28A460ABA1526ACB  Time : 834.0 sec.
user=vaughan
[2009-08-08 03:12:12]
465*2^707278-1 is not prime.  Res64: 27BAADEECB40D5FF  Time : 818.0 sec.
user=vaughan
[2009-08-08 03:14:52]
447*2^707280-1 is not prime.  Res64: 1071055300EF46AB  Time : 457.0 sec.
user=vaughan
[2009-08-08 03:14:56]
529*2^707277-1 is not prime.  Res64: DD0A62536FC21E64  Time : 1075.0 sec.
user=vaughan
[2009-08-08 03:15:26]
479*2^707280-1 is not prime.  Res64: E8CF1AAC152C0C1F  Time : 463.0 sec.
user=gd_barnes
[2009-08-08 03:15:52]
531*2^707267-1 is not prime.  Res64: C1C7877684088FC4  Time : 3371.0 sec.
user=gd_barnes
[2009-08-08 03:17:32]
525*2^707268-1 is not prime.  Res64: 5B9B88D21C9FCDAF  Time : 3373.0 sec.
user=vaughan
[2009-08-08 03:18:22]
465*2^707279-1 is not prime.  Res64: E211D1FBBA05D522  Time : 809.0 sec.
user=gd_barnes
[2009-08-08 03:20:10]
505*2^707269-1 is not prime.  Res64: AAB13D828DF6E8A6  Time : 3363.0 sec.
user=gd_barnes
[2009-08-08 03:21:58]
533*2^707270-1 is not prime.  Res64: 8536F78213616FE4  Time : 3372.0 sec.
user=vaughan
[2009-08-08 03:22:29]
517*2^707281-1 is not prime.  Res64: 993D8CE57E29DACC  Time : 458.0 sec.
user=vaughan
[2009-08-08 03:23:08]
565*2^707281-1 is not prime.  Res64: 5ADEAF180D0921E0  Time : 462.0 sec.
user=vaughan
[2009-08-08 03:25:30]
405*2^707281-1 is not prime.  Res64: 287AA12D3BD2F015  Time : 834.0 sec.
user=vaughan
[2009-08-08 03:25:52]
441*2^707281-1 is not prime.  Res64: BFFDCAB32B0AB9E8  Time : 820.0 sec.
user=gd_barnes
[2009-08-08 03:27:06]
511*2^707271-1 is not prime.  Res64: E1AE5D697B46D6D4  Time : 3371.0 sec.
user=gd_barnes
[2009-08-08 03:28:45]
535*2^707271-1 is not prime.  Res64: 798AF773677B9297  Time : 3371.0 sec.
user=vaughan
[2009-08-08 03:30:06]
529*2^707283-1 is not prime.  Res64: 41CEACB7CFECA5BF  Time : 458.0 sec.
user=vaughan
[2009-08-08 03:30:55]
573*2^707283-1 is not prime.  Res64: DBDDAFE98D08FC23  Time : 467.0 sec.
user=gd_barnes
[2009-08-08 03:31:23]
429*2^707272-1 is not prime.  Res64: ACC915E538734832  Time : 3363.0 sec.
user=vaughan
[2009-08-08 03:31:35]
585*2^707282-1 is not prime.  Res64: 8B0DA7B6844B9676  Time : 793.0 sec.
user=vaughan
[2009-08-08 03:32:43]
541*2^707281-1 is not prime.  Res64: 71E7E41599171EB4  Time : 1067.0 sec.
user=gd_barnes
[2009-08-08 03:33:13]
527*2^707272-1 is not prime.  Res64: 799FD66C34FF340E  Time : 3374.0 sec.
user=vaughan
[2009-08-08 03:37:44]
513*2^707286-1 is not prime.  Res64: 09232615FA4FBA8C  Time : 459.0 sec.
user=gd_barnes
[2009-08-08 03:38:19]
585*2^707273-1 is not prime.  Res64: 58E7B15DA2020F68  Time : 3369.0 sec.
user=vaughan
[2009-08-08 03:38:42]
563*2^707286-1 is not prime.  Res64: DAD6190F84714ACB  Time : 467.0 sec.
user=vaughan
[2009-08-08 03:39:14]
549*2^707284-1 is not prime.  Res64: 1E941E88CA7172BC  Time : 824.0 sec.
user=vaughan
[2009-08-08 03:39:37]
567*2^707284-1 is not prime.  Res64: C0118E98A6476C4F  Time : 825.0 sec.
user=gd_barnes
[2009-08-08 03:40:00]
417*2^707274-1 is not prime.  Res64: A2B3FF03DA685419  Time : 3372.0 sec.
user=gd_barnes
[2009-08-08 03:42:36]
465*2^707276-1 is not prime.  Res64: 65262EC5F50AD661  Time : 3363.0 sec.
user=gd_barnes
[2009-08-08 03:44:28]
507*2^707276-1 is not prime.  Res64: D39CCEA43A8A007C  Time : 3374.0 sec.
user=vaughan
[2009-08-08 03:44:49]
489*2^707287-1 is not prime.  Res64: 89651F1BCFC39A6D  Time : 794.0 sec.
user=vaughan
[2009-08-08 03:45:20]
589*2^707287-1 is not prime.  Res64: 2AF78489154FCCD5  Time : 456.0 sec.
user=vaughan
[2009-08-08 03:46:26]
437*2^707288-1 is not prime.  Res64: 2148DE9F2E5DC449  Time : 464.0 sec.
user=gd_barnes
[2009-08-08 03:49:33]
405*2^707277-1 is not prime.  Res64: 2CFA49DD8DB809B3  Time : 3370.0 sec.
user=vaughan
[2009-08-08 03:50:48]
505*2^707287-1 is not prime.  Res64: 0C71A1D4445782D6  Time : 1085.0 sec.
user=gd_barnes
[2009-08-08 03:51:14]
471*2^707277-1 is not prime.  Res64: A309BC79E5480782  Time : 3371.0 sec.
user=vaughan
[2009-08-08 03:52:42]
459*2^707288-1 is not prime.  Res64: 10CA66F7EFCC9013  Time : 809.0 sec.
user=vaughan
[2009-08-08 03:53:01]
595*2^707289-1 is not prime.  Res64: 91E8ACD1EAEA2E80  Time : 461.0 sec.
user=vaughan
[2009-08-08 03:53:20]
489*2^707288-1 is not prime.  Res64: C600D208271B3A75  Time : 823.0 sec.
user=gd_barnes
[2009-08-08 03:53:49]
435*2^707278-1 is not prime.  Res64: FDA4F9625BB9F910  Time : 3363.0 sec.
user=vaughan
[2009-08-08 03:54:08]
437*2^707290-1 is not prime.  Res64: C1B921000304DED6  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 03:55:44]
483*2^707278-1 is not prime.  Res64: CF72001D16CD606B  Time : 3375.0 sec.
user=vaughan
[2009-08-08 03:58:09]
565*2^707289-1 is not prime.  Res64: 55A18870197805F7  Time : 801.0 sec.
user=vaughan
[2009-08-08 04:00:37]
459*2^707291-1 is not prime.  Res64: EB3E50CF1A94ED70  Time : 456.0 sec.
user=gd_barnes
[2009-08-08 04:00:48]
411*2^707279-1 is not prime.  Res64: BD8C90BF8746F6E0  Time : 3370.0 sec.
user=vaughan
[2009-08-08 04:01:52]
497*2^707292-1 is not prime.  Res64: 23A2462D53C06611  Time : 465.0 sec.
user=gd_barnes
[2009-08-08 04:02:28]
523*2^707279-1 is not prime.  Res64: 7F299986ABBBFD78  Time : 3370.0 sec.
user=gd_barnes
[2009-08-08 04:05:01]
513*2^707280-1 is not prime.  Res64: 645B2B97C9784520  Time : 3364.0 sec.
user=vaughan
[2009-08-08 04:06:03]
453*2^707291-1 is not prime.  Res64: B9F47E1921DA7126  Time : 803.0 sec.
user=gd_barnes
[2009-08-08 04:06:59]
567*2^707280-1 is not prime.  Res64: 4D62A49ED7046660  Time : 3375.0 sec.
user=vaughan
[2009-08-08 04:07:04]
475*2^707291-1 is not prime.  Res64: 951A04BDFE718D0B  Time : 824.0 sec.
user=vaughan
[2009-08-08 04:08:13]
495*2^707293-1 is not prime.  Res64: 810C82C0B24752AF  Time : 456.0 sec.
user=vaughan
[2009-08-08 04:08:40]
521*2^707290-1 is not prime.  Res64: A231C9239FF137A2  Time : 1073.0 sec.
user=vaughan
[2009-08-08 04:09:34]
555*2^707293-1 is not prime.  Res64: D91D2811F1CE2746  Time : 463.0 sec.
user=vaughan
[2009-08-08 04:11:17]
489*2^707293-1 is not prime.  Res64: CDFB48D6E999B314  Time : 788.0 sec.
user=gd_barnes
[2009-08-08 04:12:02]
423*2^707282-1 is not prime.  Res64: D4F3B3E8912AD7B8  Time : 3370.0 sec.
user=gd_barnes
[2009-08-08 04:13:42]
477*2^707282-1 is not prime.  Res64: 965F4D7BF027ACB6  Time : 3370.0 sec.
user=vaughan
[2009-08-08 04:15:49]
507*2^707296-1 is not prime.  Res64: 520B1C6A6ED62F49  Time : 456.0 sec.
user=gd_barnes
[2009-08-08 04:16:14]
441*2^707283-1 is not prime.  Res64: 29EC193059C615D7  Time : 3364.0 sec.
user=vaughan
[2009-08-08 04:17:15]
501*2^707297-1 is not prime.  Res64: DE3319A4CE34AC4D  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 04:18:14]
495*2^707283-1 is not prime.  Res64: 3963BCF5B557C172  Time : 3376.0 sec.
user=vaughan
[2009-08-08 04:19:50]
451*2^707295-1 is not prime.  Res64: A479993218725FCD  Time : 827.0 sec.
user=vaughan
[2009-08-08 04:20:50]
595*2^707295-1 is not prime.  Res64: 751F1B9EB4C7B30A  Time : 826.0 sec.
user=gd_barnes
[2009-08-08 04:23:16]
587*2^707284-1 is not prime.  Res64: 1B056237F3D1D8BC  Time : 3370.0 sec.
user=vaughan
[2009-08-08 04:23:25]
571*2^707297-1 is not prime.  Res64: 1F80BAF53120E883  Time : 456.0 sec.
user=vaughan
[2009-08-08 04:24:39]
559*2^707297-1 is not prime.  Res64: 029FE184ABF07D16  Time : 802.0 sec.
user=gd_barnes
[2009-08-08 04:24:56]
421*2^707285-1 is not prime.  Res64: 5BF84D06CCBC9151  Time : 3371.0 sec.
user=vaughan
[2009-08-08 04:24:57]
425*2^707298-1 is not prime.  Res64: C52601562A9DE479  Time : 462.0 sec.
user=vaughan
[2009-08-08 04:26:49]
495*2^707297-1 is not prime.  Res64: A05F5FB2549CFC64  Time : 1089.0 sec.
user=gd_barnes
[2009-08-08 04:27:26]
573*2^707286-1 is not prime.  Res64: EB1395DB60184B6E  Time : 3363.0 sec.
user=gd_barnes
[2009-08-08 04:29:30]
549*2^707287-1 is not prime.  Res64: 25BA9CF66A19F672  Time : 3377.0 sec.
user=vaughan
[2009-08-08 04:31:01]
489*2^707299-1 is not prime.  Res64: 7893CFC3CC1D19D5  Time : 456.0 sec.
user=vaughan
[2009-08-08 04:32:39]
539*2^707300-1 is not prime.  Res64: 24C6F2BEC4D25EB7  Time : 462.0 sec.
user=vaughan
[2009-08-08 04:33:12]
507*2^707298-1 is not prime.  Res64: A745D73542FFCF5E  Time : 802.0 sec.
user=gd_barnes
[2009-08-08 04:34:30]
413*2^707288-1 is not prime.  Res64: 7416EB018BA56EE6  Time : 3371.0 sec.
user=vaughan
[2009-08-08 04:34:49]
515*2^707298-1 is not prime.  Res64: AADD6EAB5F54A6BE  Time : 839.0 sec.
user=gd_barnes
[2009-08-08 04:36:11]
429*2^707289-1 is not prime.  Res64: 3450667358ADF471  Time : 3371.0 sec.
user=vaughan
[2009-08-08 04:38:03]
583*2^707299-1 is not prime.  Res64: F9B8872532C4A6D1  Time : 804.0 sec.
user=vaughan
[2009-08-08 04:38:38]
499*2^707301-1 is not prime.  Res64: 745AF10B4D7BA681  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 04:38:39]
465*2^707289-1 is not prime.  Res64: 7301E2352AF7BC1E  Time : 3363.0 sec.
user=vaughan
[2009-08-08 04:40:25]
517*2^707301-1 is not prime.  Res64: E41E0435FADB297C  Time : 466.0 sec.
user=gd_barnes
[2009-08-08 04:40:44]
537*2^707289-1 is not prime.  Res64: 297884FCD28E12A2  Time : 3376.0 sec.
user=vaughan
[2009-08-08 04:45:07]
585*2^707300-1 is not prime.  Res64: 37A87D05DA4DA5ED  Time : 1098.0 sec.
user=gd_barnes
[2009-08-08 04:45:45]
483*2^707290-1 is not prime.  Res64: 661CCD1F98A5A4B8  Time : 3372.0 sec.
user=vaughan
[2009-08-08 04:46:15]
573*2^707303-1 is not prime.  Res64: 94A98C9FFEEF5EEC  Time : 457.0 sec.
user=vaughan
[2009-08-08 04:46:52]
537*2^707301-1 is not prime.  Res64: F801478E7E5CDF16  Time : 820.0 sec.
user=gd_barnes
[2009-08-08 04:47:25]
445*2^707291-1 is not prime.  Res64: A67524AE953B4065  Time : 3371.0 sec.
user=vaughan
[2009-08-08 04:48:07]
527*2^707304-1 is not prime.  Res64: C03A9E7AF75D890D  Time : 462.0 sec.
user=vaughan
[2009-08-08 04:48:41]
597*2^707301-1 is not prime.  Res64: 8BD52A7C02A3D90F  Time : 832.0 sec.
user=gd_barnes
[2009-08-08 04:49:52]
573*2^707291-1 is not prime.  Res64: 7DF628E59EE43EC8  Time : 3363.0 sec.
user=vaughan
[2009-08-08 04:51:45]
465*2^707303-1 is not prime.  Res64: ECF742CB359DC14B  Time : 822.0 sec.
user=gd_barnes
[2009-08-08 04:51:59]
587*2^707292-1 is not prime.  Res64: BC7A18C297EE4A8E  Time : 3375.0 sec.
user=vaughan
[2009-08-08 04:53:51]
499*2^707305-1 is not prime.  Res64: 8AEAC4A274EA6BCB  Time : 456.0 sec.
user=vaughan
[2009-08-08 04:55:49]
431*2^707306-1 is not prime.  Res64: FC1E0A6AF10907BC  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 04:56:58]
541*2^707293-1 is not prime.  Res64: 4AC76E9280A7353C  Time : 3370.0 sec.
user=gd_barnes
[2009-08-08 04:58:39]
417*2^707294-1 is not prime.  Res64: DCF3C0A4C43BA9BB  Time : 3371.0 sec.
user=gd_barnes
[2009-08-08 05:01:04]
567*2^707294-1 is not prime.  Res64: B707A33F36C1693C  Time : 3363.0 sec.
user=vaughan
[2009-08-08 05:01:27]
451*2^707307-1 is not prime.  Res64: F1926096552D2B5D  Time : 456.0 sec.
user=vaughan
[2009-08-08 05:01:48]
589*2^707305-1 is not prime.  Res64: E3719FA0A41C9026  Time : 896.0 sec.
user=vaughan
[2009-08-08 05:03:13]
447*2^707306-1 is not prime.  Res64: FBC7B585AF0F2E7D  Time : 872.0 sec.
user=gd_barnes
[2009-08-08 05:03:14]
513*2^707295-1 is not prime.  Res64: 0CD1203B0306C1E5  Time : 3376.0 sec.
user=vaughan
[2009-08-08 05:03:31]
529*2^707307-1 is not prime.  Res64: 626C4C5A4458AEA8  Time : 462.0 sec.
user=vaughan
[2009-08-08 05:04:29]
429*2^707305-1 is not prime.  Res64: CBCAEF6EE842C951  Time : 1162.0 sec.
user=vaughan
[2009-08-08 05:06:03]
521*2^707306-1 is not prime.  Res64: 55068887F2B2CC88  Time : 859.0 sec.
user=gd_barnes
[2009-08-08 05:08:13]
561*2^707297-1 is not prime.  Res64: 31931A77DA60EBB1  Time : 3371.0 sec.
user=vaughan
[2009-08-08 05:09:03]
549*2^707308-1 is not prime.  Res64: 6CE026FB8298D164  Time : 456.0 sec.
user=gd_barnes
[2009-08-08 05:09:53]
565*2^707297-1 is not prime.  Res64: 75A69FEB8F259D20  Time : 3371.0 sec.
user=vaughan
[2009-08-08 05:11:13]
577*2^707309-1 is not prime.  Res64: EE3191B48984FEC7  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 05:12:17]
595*2^707297-1 is not prime.  Res64: A7FA591FCCAB9378  Time : 3363.0 sec.
user=gd_barnes
[2009-08-08 05:14:29]
443*2^707298-1 is not prime.  Res64: B40D2C895D62DA4F  Time : 3375.0 sec.
user=vaughan
[2009-08-08 05:15:42]
411*2^707309-1 is not prime.  Res64: E7AE35AE5C69EBBD  Time : 834.0 sec.
user=vaughan
[2009-08-08 05:16:39]
483*2^707310-1 is not prime.  Res64: 3282A1A72006F787  Time : 456.0 sec.
user=vaughan
[2009-08-08 05:18:03]
459*2^707309-1 is not prime.  Res64: FF92E9C81804A9D5  Time : 891.0 sec.
user=vaughan
[2009-08-08 05:18:55]
567*2^707310-1 is not prime.  Res64: CD090EC6FC4DC119  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 05:19:27]
585*2^707298-1 is not prime.  Res64: DF34EF284F81849D  Time : 3371.0 sec.
user=vaughan
[2009-08-08 05:20:25]
431*2^707310-1 is not prime.  Res64: 7C06DE144FC71748  Time : 862.0 sec.
user=gd_barnes
[2009-08-08 05:21:07]
537*2^707300-1 is not prime.  Res64: DB1EE69694E703F9  Time : 3371.0 sec.
user=gd_barnes
[2009-08-08 05:23:31]
405*2^707301-1 is not prime.  Res64: EFA64CB888012FD7  Time : 3365.0 sec.
user=vaughan
[2009-08-08 05:24:08]
405*2^707310-1 is not prime.  Res64: EF4318765165B921  Time : 1180.0 sec.
user=vaughan
[2009-08-08 05:24:16]
457*2^707313-1 is not prime.  Res64: F8DCF54B29ED9A2D  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 05:25:45]
459*2^707301-1 is not prime.  Res64: 749F033D5781D19E  Time : 3376.0 sec.
user=vaughan
[2009-08-08 05:26:38]
517*2^707313-1 is not prime.  Res64: 3629436595B55F81  Time : 463.0 sec.
user=vaughan
[2009-08-08 05:29:35]
427*2^707313-1 is not prime.  Res64: F30AD49F7F839F45  Time : 833.0 sec.
user=gd_barnes
[2009-08-08 05:30:41]
549*2^707301-1 is not prime.  Res64: FF711D42C8983264  Time : 3371.0 sec.
user=vaughan
[2009-08-08 05:31:53]
451*2^707315-1 is not prime.  Res64: BC26FC4C84D63016  Time : 458.0 sec.
user=vaughan
[2009-08-08 05:32:00]
511*2^707313-1 is not prime.  Res64: 1FAFCC4608140F4B  Time : 837.0 sec.
user=gd_barnes
[2009-08-08 05:32:22]
593*2^707302-1 is not prime.  Res64: E72BAC4EE3DFCCB1  Time : 3371.0 sec.
user=vaughan
[2009-08-08 05:34:21]
523*2^707315-1 is not prime.  Res64: 8E54502775A891AE  Time : 463.0 sec.
user=gd_barnes
[2009-08-08 05:34:44]
465*2^707304-1 is not prime.  Res64: 7285A6273F16ABB1  Time : 3365.0 sec.
user=vaughan
[2009-08-08 05:35:23]
401*2^707314-1 is not prime.  Res64: DB0B1AA8FFD06B55  Time : 899.0 sec.
user=gd_barnes
[2009-08-08 05:37:00]
405*2^707305-1 is not prime.  Res64: 77C09B5283868349  Time : 3376.0 sec.
user=vaughan
[2009-08-08 05:39:29]
595*2^707315-1 is not prime.  Res64: F25FB9457668CB42  Time : 456.0 sec.
user=vaughan
[2009-08-08 05:40:50]
445*2^707315-1 is not prime.  Res64: 077E8831688936B4  Time : 1004.0 sec.
user=gd_barnes
[2009-08-08 05:41:57]
457*2^707305-1 is not prime.  Res64: 0F0761B7FAEDBF0C  Time : 3372.0 sec.
user=vaughan
[2009-08-08 05:42:02]
557*2^707316-1 is not prime.  Res64: 675D0EBC2A6A4488  Time : 462.0 sec.
user=vaughan
[2009-08-08 05:43:03]
553*2^707315-1 is not prime.  Res64: A29AA389E472DA1A  Time : 808.0 sec.
user=gd_barnes
[2009-08-08 05:43:38]
425*2^707306-1 is not prime.  Res64: 154FB27CAD2DE0A7  Time : 3373.0 sec.
user=gd_barnes
[2009-08-08 05:45:57]
503*2^707306-1 is not prime.  Res64: 5100B80BFDFCB959  Time : 3365.0 sec.
user=vaughan
[2009-08-08 05:46:05]
437*2^707316-1 is not prime.  Res64: F0955EDB49F0FBEC  Time : 845.0 sec.
user=vaughan
[2009-08-08 05:47:05]
567*2^707317-1 is not prime.  Res64: 58F26A4F433B1BED  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 05:48:16]
433*2^707307-1 is not prime.  Res64: 73675A9C604C6853  Time : 3377.0 sec.
user=vaughan
[2009-08-08 05:49:45]
465*2^707319-1 is not prime.  Res64: 3D1AFAECE8BFD94F  Time : 463.0 sec.
user=vaughan
[2009-08-08 05:51:00]
405*2^707317-1 is not prime.  Res64: 693ADF9F6E31486F  Time : 937.0 sec.
user=gd_barnes
[2009-08-08 05:53:11]
543*2^707307-1 is not prime.  Res64: CC3197EE57859C36  Time : 3373.0 sec.
user=vaughan
[2009-08-08 05:54:42]
519*2^707320-1 is not prime.  Res64: CEC08F96E2A0C344  Time : 458.0 sec.
user=gd_barnes
[2009-08-08 05:54:51]
413*2^707308-1 is not prime.  Res64: A601BE30B1557E91  Time : 3373.0 sec.
user=vaughan
[2009-08-08 05:56:40]
489*2^707319-1 is not prime.  Res64: A26DEB953A87839B  Time : 817.0 sec.
user=gd_barnes
[2009-08-08 05:57:10]
485*2^707308-1 is not prime.  Res64: 7BF4657D48823E2D  Time : 3366.0 sec.
user=vaughan
[2009-08-08 05:57:29]
477*2^707321-1 is not prime.  Res64: 4224445BD91F1084  Time : 464.0 sec.
user=vaughan
[2009-08-08 05:58:08]
417*2^707318-1 is not prime.  Res64: 8C30EB27461EA5A4  Time : 1038.0 sec.
user=gd_barnes
[2009-08-08 05:59:31]
465*2^707309-1 is not prime.  Res64: CF9CBF2F1014475B  Time : 3377.0 sec.
user=vaughan
[2009-08-08 06:00:13]
455*2^707320-1 is not prime.  Res64: 8E3EC84353507DFB  Time : 848.0 sec.
user=vaughan
[2009-08-08 06:02:19]
401*2^707322-1 is not prime.  Res64: 2D3EA64084C5347A  Time : 458.0 sec.
user=gd_barnes
[2009-08-08 06:04:25]
471*2^707310-1 is not prime.  Res64: 3ACAFA4E29CA0A1B  Time : 3372.0 sec.
user=vaughan
[2009-08-08 06:05:10]
411*2^707323-1 is not prime.  Res64: 3F8A58F9D76459C7  Time : 461.0 sec.
user=gd_barnes
[2009-08-08 06:06:05]
525*2^707310-1 is not prime.  Res64: C61D48205DB801E8  Time : 3372.0 sec.
user=vaughan
[2009-08-08 06:06:51]
525*2^707321-1 is not prime.  Res64: 599969252F7368AD  Time : 951.0 sec.
user=gd_barnes
[2009-08-08 06:08:22]
559*2^707311-1 is not prime.  Res64: 3659AF0599E7C589  Time : 3365.0 sec.
user=vaughan
[2009-08-08 06:09:55]
505*2^707323-1 is not prime.  Res64: 81E5F562862A9C86  Time : 457.0 sec.
user=vaughan
[2009-08-08 06:09:55]
563*2^707322-1 is not prime.  Res64: B6C1D87BA9171812  Time : 795.0 sec.
user=gd_barnes
[2009-08-08 06:10:46]
459*2^707312-1 is not prime.  Res64: D14D62E74AC5D9A6  Time : 3377.0 sec.
user=vaughan
[2009-08-08 06:12:52]
425*2^707324-1 is not prime.  Res64: B1D0998608ACF06A  Time : 462.0 sec.
user=vaughan
[2009-08-08 06:14:21]
499*2^707323-1 is not prime.  Res64: 31F652EFAE9035C3  Time : 849.0 sec.
user=vaughan
[2009-08-08 06:15:10]
433*2^707323-1 is not prime.  Res64: 0B3BEE5F98EC810F  Time : 1022.0 sec.
user=gd_barnes
[2009-08-08 06:15:39]
549*2^707313-1 is not prime.  Res64: 1B05EC302604F58D  Time : 3372.0 sec.
user=gd_barnes
[2009-08-08 06:17:20]
447*2^707314-1 is not prime.  Res64: 1CC8F4938BC1D829  Time : 3373.0 sec.
user=vaughan
[2009-08-08 06:17:32]
533*2^707324-1 is not prime.  Res64: 07998F4DAFC93409  Time : 458.0 sec.
user=gd_barnes
[2009-08-08 06:19:35]
503*2^707314-1 is not prime.  Res64: 157BFD9C7B2D5342  Time : 3364.0 sec.
user=vaughan
[2009-08-08 06:20:35]
531*2^707325-1 is not prime.  Res64: D87B6B98BFE86574  Time : 463.0 sec.
user=gd_barnes
[2009-08-08 06:22:01]
489*2^707315-1 is not prime.  Res64: D657E5C431F8EB61  Time : 3376.0 sec.
user=vaughan
[2009-08-08 06:22:15]
479*2^707324-1 is not prime.  Res64: 6C8F3B16232EFABA  Time : 924.0 sec.
user=vaughan
[2009-08-08 06:23:01]
557*2^707324-1 is not prime.  Res64: 64E06BCA8C764AA3  Time : 786.0 sec.
user=vaughan
[2009-08-08 06:25:09]
503*2^707328-1 is not prime.  Res64: F827F49AE64B4F07  Time : 458.0 sec.
user=gd_barnes
[2009-08-08 06:26:54]
579*2^707315-1 is not prime.  Res64: E2A3D57A0F385226  Time : 3373.0 sec.
user=vaughan
[2009-08-08 06:28:12]
565*2^707325-1 is not prime.  Res64: 84BF6031E7009541  Time : 831.0 sec.
user=vaughan
[2009-08-08 06:28:17]
537*2^707328-1 is not prime.  Res64: 92478C8DB842F4BD  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 06:28:34]
473*2^707316-1 is not prime.  Res64: C21B773393629523  Time : 3372.0 sec.
user=gd_barnes
[2009-08-08 06:30:47]
587*2^707316-1 is not prime.  Res64: 2DF35CCCAD667F8C  Time : 3363.0 sec.
user=vaughan
[2009-08-08 06:32:09]
527*2^707326-1 is not prime.  Res64: 789F16D3D4EAFCDF  Time : 1019.0 sec.
user=vaughan
[2009-08-08 06:32:45]
441*2^707329-1 is not prime.  Res64: 7A955987191853A8  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 06:33:16]
511*2^707317-1 is not prime.  Res64: A0C843494E40DC60  Time : 3376.0 sec.
user=vaughan
[2009-08-08 06:35:53]
415*2^707329-1 is not prime.  Res64: 616B381CABC3E9A1  Time : 772.0 sec.
user=vaughan
[2009-08-08 06:35:59]
555*2^707329-1 is not prime.  Res64: C6DCF10FDC124B97  Time : 462.0 sec.
user=vaughan
[2009-08-08 06:37:48]
411*2^707329-1 is not prime.  Res64: 38C948338B1A3831  Time : 933.0 sec.
user=gd_barnes
[2009-08-08 06:38:07]
429*2^707319-1 is not prime.  Res64: 8F883E230D1F339B  Time : 3370.0 sec.
user=gd_barnes
[2009-08-08 06:39:48]
571*2^707319-1 is not prime.  Res64: D635E2B3B8D27192  Time : 3370.0 sec.
user=vaughan
[2009-08-08 06:40:22]
567*2^707330-1 is not prime.  Res64: BD04EDC401A97CE9  Time : 458.0 sec.
user=gd_barnes
[2009-08-08 06:42:00]
429*2^707320-1 is not prime.  Res64: 847113792FC9B5E7  Time : 3363.0 sec.
user=vaughan
[2009-08-08 06:42:07]
535*2^707329-1 is not prime.  Res64: E78263A1E128145A  Time : 836.0 sec.
user=vaughan
[2009-08-08 06:43:41]
453*2^707332-1 is not prime.  Res64: 0C1B0158C4577DB6  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 06:44:31]
405*2^707321-1 is not prime.  Res64: 69C79571346992B2  Time : 3376.0 sec.
user=vaughan
[2009-08-08 06:47:57]
563*2^707332-1 is not prime.  Res64: B1BACAAFD9A7E41F  Time : 456.0 sec.
user=vaughan
[2009-08-08 06:48:44]
521*2^707330-1 is not prime.  Res64: 179759E1F26AABC4  Time : 996.0 sec.
user=vaughan
[2009-08-08 06:49:21]
429*2^707332-1 is not prime.  Res64: 66B54C136CABF75A  Time : 809.0 sec.
user=gd_barnes
[2009-08-08 06:49:21]
571*2^707321-1 is not prime.  Res64: 29EF3E839F5BB22E  Time : 3371.0 sec.
user=gd_barnes
[2009-08-08 06:51:01]
495*2^707322-1 is not prime.  Res64: 4FB0B32A4D53D463  Time : 3370.0 sec.
user=vaughan
[2009-08-08 06:51:23]
477*2^707333-1 is not prime.  Res64: 6EB22BEDB8CCE5A5  Time : 462.0 sec.
user=vaughan
[2009-08-08 06:53:06]
513*2^707332-1 is not prime.  Res64: E361B2225E407266  Time : 918.0 sec.
user=gd_barnes
[2009-08-08 06:53:13]
581*2^707322-1 is not prime.  Res64: E803138B26BB6152  Time : 3363.0 sec.
user=vaughan
[2009-08-08 06:55:34]
519*2^707333-1 is not prime.  Res64: C4C3727147C8CC6D  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 06:55:46]
489*2^707323-1 is not prime.  Res64: 122DA6B9B86B5ED4  Time : 3375.0 sec.
user=vaughan
[2009-08-08 06:56:05]
445*2^707333-1 is not prime.  Res64: 0B52EB3BDC43CCA3  Time : 838.0 sec.
user=vaughan
[2009-08-08 06:59:04]
519*2^707335-1 is not prime.  Res64: FAD3163E8FE5C6A5  Time : 461.0 sec.
user=gd_barnes
[2009-08-08 07:00:36]
417*2^707324-1 is not prime.  Res64: 1F8FDC06BCA2CC97  Time : 3371.0 sec.
user=gd_barnes
[2009-08-08 07:02:15]
473*2^707324-1 is not prime.  Res64: B34151AB85AB1B33  Time : 3370.0 sec.
user=vaughan
[2009-08-08 07:03:11]
583*2^707335-1 is not prime.  Res64: A8FE3569107D9DB4  Time : 457.0 sec.
user=vaughan
[2009-08-08 07:03:12]
537*2^707333-1 is not prime.  Res64: A2AB88A3932066E4  Time : 831.0 sec.
user=gd_barnes
[2009-08-08 07:04:25]
525*2^707324-1 is not prime.  Res64: 420277CA563B1595  Time : 3363.0 sec.
user=vaughan
[2009-08-08 07:06:12]
529*2^707333-1 is not prime.  Res64: 5E0226424704F13B  Time : 1048.0 sec.
user=vaughan
[2009-08-08 07:06:46]
507*2^707336-1 is not prime.  Res64: 801B8B8029C6F924  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 07:07:01]
405*2^707325-1 is not prime.  Res64: 9080E4E2FEC77B1F  Time : 3375.0 sec.
user=vaughan
[2009-08-08 07:09:15]
523*2^707335-1 is not prime.  Res64: 46756DE7EF84DEBB  Time : 970.0 sec.
user=vaughan
[2009-08-08 07:10:43]
455*2^707336-1 is not prime.  Res64: 4A214689C2DD0842  Time : 878.0 sec.
user=vaughan
[2009-08-08 07:10:48]
549*2^707339-1 is not prime.  Res64: E02208196C965BE3  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 07:11:50]
571*2^707327-1 is not prime.  Res64: CA9862FFEF5D13E5  Time : 3371.0 sec.
user=gd_barnes
[2009-08-08 07:13:30]
429*2^707328-1 is not prime.  Res64: C668CFE8A2D8A801  Time : 3370.0 sec.
user=vaughan
[2009-08-08 07:14:28]
569*2^707340-1 is not prime.  Res64: CFFA21FBA4A53C87  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 07:15:38]
507*2^707328-1 is not prime.  Res64: 25BC0D772395BBE0  Time : 3364.0 sec.
user=vaughan
[2009-08-08 07:17:28]
467*2^707340-1 is not prime.  Res64: 92D955C963837444  Time : 857.0 sec.
user=gd_barnes
[2009-08-08 07:18:15]
539*2^707328-1 is not prime.  Res64: AB014C80452850D8  Time : 3374.0 sec.
user=vaughan
[2009-08-08 07:18:26]
551*2^707342-1 is not prime.  Res64: 50B5B543CE5D5597  Time : 458.0 sec.
user=vaughan
[2009-08-08 07:22:10]
571*2^707343-1 is not prime.  Res64: 55C535FEEE9091DD  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 07:23:04]
495*2^707329-1 is not prime.  Res64: D1963AC978F4D15F  Time : 3370.0 sec.
user=vaughan
[2009-08-08 07:24:22]
525*2^707340-1 is not prime.  Res64: 63A870134F84D86B  Time : 1090.0 sec.
user=gd_barnes
[2009-08-08 07:24:45]
447*2^707330-1 is not prime.  Res64: AED66025BA99EA45  Time : 3371.0 sec.
user=vaughan
[2009-08-08 07:25:15]
559*2^707341-1 is not prime.  Res64: B6025C9915BEBE65  Time : 961.0 sec.
user=vaughan
[2009-08-08 07:25:24]
417*2^707342-1 is not prime.  Res64: 98972FD2E9EC0984  Time : 881.0 sec.
user=vaughan
[2009-08-08 07:26:02]
527*2^707344-1 is not prime.  Res64: D142246224EE6277  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 07:26:50]
495*2^707330-1 is not prime.  Res64: 2316D2D52D5E8404  Time : 3363.0 sec.
user=gd_barnes
[2009-08-08 07:29:30]
493*2^707331-1 is not prime.  Res64: 8A004DAE0901B28B  Time : 3374.0 sec.
user=vaughan
[2009-08-08 07:29:51]
567*2^707344-1 is not prime.  Res64: 01013CAA31EC3CB5  Time : 461.0 sec.
user=vaughan
[2009-08-08 07:31:44]
489*2^707344-1 is not prime.  Res64: 51E46DE65DE6BFB2  Time : 856.0 sec.
user=vaughan
[2009-08-08 07:33:38]
521*2^707346-1 is not prime.  Res64: 43A91DE4A6E01307  Time : 456.0 sec.
user=gd_barnes
[2009-08-08 07:34:19]
545*2^707332-1 is not prime.  Res64: 0E3F083F13B2722F  Time : 3372.0 sec.
user=gd_barnes
[2009-08-08 07:35:58]
549*2^707332-1 is not prime.  Res64: 5285F1BEC3CC186E  Time : 3371.0 sec.
user=vaughan
[2009-08-08 07:37:32]
483*2^707347-1 is not prime.  Res64: 53F1565BB4129412  Time : 461.0 sec.
user=gd_barnes
[2009-08-08 07:38:05]
569*2^707332-1 is not prime.  Res64: 5179DB7CBA818198  Time : 3365.0 sec.
user=vaughan
[2009-08-08 07:39:42]
501*2^707346-1 is not prime.  Res64: C82F81066304295D  Time : 858.0 sec.
user=gd_barnes
[2009-08-08 07:40:46]
517*2^707333-1 is not prime.  Res64: 9980145E2E459AD5  Time : 3375.0 sec.
user=vaughan
[2009-08-08 07:40:57]
497*2^707346-1 is not prime.  Res64: E1DECF5960A9C3CD  Time : 942.0 sec.
user=vaughan
[2009-08-08 07:41:14]
519*2^707347-1 is not prime.  Res64: 07D2AD0DEAA645B6  Time : 456.0 sec.
user=vaughan
[2009-08-08 07:41:47]
475*2^707345-1 is not prime.  Res64: A58E741820C8FE40  Time : 1045.0 sec.
user=vaughan
[2009-08-08 07:44:28]
493*2^707347-1 is not prime.  Res64: A0C3ABFBDA7B8BAE  Time : 764.0 sec.
user=vaughan
[2009-08-08 07:45:14]
525*2^707348-1 is not prime.  Res64: 2D4A2EBF4C4AB56C  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 07:45:34]
485*2^707334-1 is not prime.  Res64: BD09F683A70384D1  Time : 3373.0 sec.
user=gd_barnes
[2009-08-08 07:47:13]
415*2^707335-1 is not prime.  Res64: 5E7606423C29FA53  Time : 3372.0 sec.
user=vaughan
[2009-08-08 07:48:52]
571*2^707349-1 is not prime.  Res64: B1E286A9525CC063  Time : 458.0 sec.
user=gd_barnes
[2009-08-08 07:49:18]
555*2^707335-1 is not prime.  Res64: 4E514DCC823CDB86  Time : 3365.0 sec.
user=gd_barnes
[2009-08-08 07:52:02]
425*2^707336-1 is not prime.  Res64: 746A0A9435FE9D7D  Time : 3376.0 sec.
user=vaughan
[2009-08-08 07:52:55]
467*2^707350-1 is not prime.  Res64: 21272AF6A6591AEF  Time : 462.0 sec.
user=vaughan
[2009-08-08 07:53:36]
557*2^707348-1 is not prime.  Res64: 508575809391C905  Time : 834.0 sec.
user=vaughan
[2009-08-08 07:56:23]
559*2^707349-1 is not prime.  Res64: C8FE76AF2CA462EA  Time : 927.0 sec.
user=vaughan
[2009-08-08 07:56:29]
511*2^707351-1 is not prime.  Res64: D55068DFAD1ABF4D  Time : 458.0 sec.
user=gd_barnes
[2009-08-08 07:56:48]
421*2^707339-1 is not prime.  Res64: 34C75B2F1EB7850E  Time : 3372.0 sec.
user=vaughan
[2009-08-08 07:57:52]
447*2^707350-1 is not prime.  Res64: A222799BB8A985F3  Time : 804.0 sec.
user=gd_barnes
[2009-08-08 07:58:27]
505*2^707339-1 is not prime.  Res64: E9B7DD43724259AD  Time : 3372.0 sec.
user=vaughan
[2009-08-08 07:58:27]
595*2^707349-1 is not prime.  Res64: 79B5EE8566327033  Time : 1000.0 sec.
user=gd_barnes
[2009-08-08 08:00:32]
515*2^707340-1 is not prime.  Res64: 8FD7D7ADD962C44C  Time : 3367.0 sec.
user=vaughan
[2009-08-08 08:00:37]
405*2^707352-1 is not prime.  Res64: 1CA9AE696195146B  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 08:03:16]
415*2^707341-1 is not prime.  Res64: 846243428A68A6EC  Time : 3376.0 sec.
user=vaughan
[2009-08-08 08:04:06]
503*2^707352-1 is not prime.  Res64: 818664E2C4D70533  Time : 458.0 sec.
user=vaughan
[2009-08-08 08:07:35]
419*2^707352-1 is not prime.  Res64: 14B3A95F6F5BA179  Time : 839.0 sec.
user=gd_barnes
[2009-08-08 08:08:03]
441*2^707343-1 is not prime.  Res64: 3134C3A7076EA602  Time : 3374.0 sec.
user=vaughan
[2009-08-08 08:08:19]
431*2^707354-1 is not prime.  Res64: 63B8AA7FFEED902C  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 08:09:41]
471*2^707343-1 is not prime.  Res64: F697C366795A87FE  Time : 3371.0 sec.
user=vaughan
[2009-08-08 08:10:38]
557*2^707352-1 is not prime.  Res64: F458925BECF929B7  Time : 766.0 sec.
user=vaughan
[2009-08-08 08:11:43]
567*2^707354-1 is not prime.  Res64: 286FF602A5887760  Time : 458.0 sec.
user=gd_barnes
[2009-08-08 08:11:46]
447*2^707344-1 is not prime.  Res64: C1BFCD2ECC508D4B  Time : 3368.0 sec.
user=vaughan
[2009-08-08 08:11:57]
479*2^707352-1 is not prime.  Res64: C7163062A733A362  Time : 934.0 sec.
user=gd_barnes
[2009-08-08 08:14:30]
513*2^707344-1 is not prime.  Res64: 5A07EE1D0387A21A  Time : 3375.0 sec.
user=vaughan
[2009-08-08 08:18:18]
567*2^707353-1 is not prime.  Res64: 627F6EBC8740CAB7  Time : 1191.0 sec.
user=vaughan
[2009-08-08 08:18:27]
501*2^707355-1 is not prime.  Res64: 0F663411565D2D62  Time : 608.0 sec.
user=vaughan
[2009-08-08 08:19:16]
447*2^707356-1 is not prime.  Res64: 7A2FCE4B2C95A218  Time : 454.0 sec.
user=gd_barnes
[2009-08-08 08:19:19]
447*2^707345-1 is not prime.  Res64: 758AB498362A7726  Time : 3375.0 sec.
user=vaughan
[2009-08-08 08:20:37]
593*2^707354-1 is not prime.  Res64: 3EDF23199FD77097  Time : 782.0 sec.
user=gd_barnes
[2009-08-08 08:20:56]
431*2^707346-1 is not prime.  Res64: 6DAFA583255BE6D7  Time : 3372.0 sec.
user=gd_barnes
[2009-08-08 08:23:00]
433*2^707347-1 is not prime.  Res64: 77645F9ED6912BEA  Time : 3370.0 sec.
user=vaughan
[2009-08-08 08:23:14]
595*2^707355-1 is not prime.  Res64: B3EB249ED3CD9A94  Time : 757.0 sec.
user=gd_barnes
[2009-08-08 08:25:45]
451*2^707347-1 is not prime.  Res64: A28738B651F16C21  Time : 3375.0 sec.
user=vaughan
[2009-08-08 08:26:25]
539*2^707356-1 is not prime.  Res64: 41F385ABF1010AFC  Time : 868.0 sec.
user=vaughan
[2009-08-08 08:26:52]
559*2^707357-1 is not prime.  Res64: 70A7F27FA20CA89B  Time : 456.0 sec.
user=vaughan
[2009-08-08 08:27:11]
483*2^707358-1 is not prime.  Res64: 682E3D8E7D7DA1EC  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 08:30:32]
553*2^707347-1 is not prime.  Res64: 9197F814C5275529  Time : 3373.0 sec.
user=gd_barnes
[2009-08-08 08:32:12]
503*2^707348-1 is not prime.  Res64: F866A64FE4875C02  Time : 3374.0 sec.
user=gd_barnes
[2009-08-08 08:34:14]
533*2^707348-1 is not prime.  Res64: 6A99ECDAAFD08526  Time : 3370.0 sec.
user=vaughan
[2009-08-08 08:34:29]
553*2^707359-1 is not prime.  Res64: 7CD644C944455DBB  Time : 457.0 sec.
user=vaughan
[2009-08-08 08:34:53]
479*2^707360-1 is not prime.  Res64: 30AB8D1E5E0CFDE1  Time : 462.0 sec.
user=vaughan
[2009-08-08 08:35:05]
503*2^707358-1 is not prime.  Res64: 826ADC2F83B86F47  Time : 869.0 sec.
user=vaughan
[2009-08-08 08:36:30]
489*2^707359-1 is not prime.  Res64: 7C27EDF7764C3115  Time : 796.0 sec.
user=gd_barnes
[2009-08-08 08:36:59]
459*2^707349-1 is not prime.  Res64: 7776C69A973CC716  Time : 3373.0 sec.
user=vaughan
[2009-08-08 08:37:21]
443*2^707358-1 is not prime.  Res64: 70BEDE16673558CA  Time : 1081.0 sec.
user=gd_barnes
[2009-08-08 08:41:47]
527*2^707350-1 is not prime.  Res64: 90A796430BA7160C  Time : 3373.0 sec.
user=vaughan
[2009-08-08 08:42:06]
563*2^707360-1 is not prime.  Res64: 3C33E54994245475  Time : 457.0 sec.
user=vaughan
[2009-08-08 08:42:33]
523*2^707359-1 is not prime.  Res64: 7249AE425F535AA1  Time : 968.0 sec.
user=vaughan
[2009-08-08 08:42:35]
405*2^707361-1 is not prime.  Res64: 36A7539C172AECA4  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 08:43:27]
591*2^707350-1 is not prime.  Res64: F7DAAE37891211D1  Time : 3374.0 sec.
user=gd_barnes
[2009-08-08 08:45:29]
549*2^707351-1 is not prime.  Res64: 46297030CBA92CCF  Time : 3371.0 sec.
user=gd_barnes
[2009-08-08 08:48:13]
585*2^707351-1 is not prime.  Res64: A03530A25EC0E899  Time : 3372.0 sec.
user=vaughan
[2009-08-08 08:49:35]
427*2^707361-1 is not prime.  Res64: 6FADDB88F1080172  Time : 870.0 sec.
user=vaughan
[2009-08-08 08:49:43]
401*2^707362-1 is not prime.  Res64: 468A7BD973CA71DE  Time : 457.0 sec.
user=vaughan
[2009-08-08 08:50:12]
465*2^707361-1 is not prime.  Res64: C254EE6A9469FD66  Time : 822.0 sec.
user=vaughan
[2009-08-08 08:50:20]
471*2^707362-1 is not prime.  Res64: 97C95C23D8F08C8C  Time : 465.0 sec.
user=gd_barnes
[2009-08-08 08:53:03]
555*2^707352-1 is not prime.  Res64: B11478297C084B60  Time : 3375.0 sec.
user=gd_barnes
[2009-08-08 08:54:42]
541*2^707353-1 is not prime.  Res64: 1AF53791C2933E3D  Time : 3375.0 sec.
user=vaughan
[2009-08-08 08:55:09]
517*2^707361-1 is not prime.  Res64: BB9FD791078EA525  Time : 1069.0 sec.
user=gd_barnes
[2009-08-08 08:56:43]
589*2^707353-1 is not prime.  Res64: EACCD00276CA7FA6  Time : 3371.0 sec.
user=vaughan
[2009-08-08 08:57:20]
451*2^707363-1 is not prime.  Res64: A662DA2C4E7BF4D1  Time : 457.0 sec.
user=vaughan
[2009-08-08 08:58:02]
589*2^707363-1 is not prime.  Res64: FD848401B3CC4C6C  Time : 462.0 sec.
user=vaughan
[2009-08-08 08:58:44]
425*2^707362-1 is not prime.  Res64: A049E54CD5F0A1A6  Time : 971.0 sec.
user=gd_barnes
[2009-08-08 08:59:28]
437*2^707354-1 is not prime.  Res64: F712A55CCAA840A2  Time : 3372.0 sec.
user=vaughan
[2009-08-08 09:03:13]
573*2^707363-1 is not prime.  Res64: C6A73A861690CA37  Time : 781.0 sec.
user=vaughan
[2009-08-08 09:03:43]
433*2^707363-1 is not prime.  Res64: 45E440A89C4B810D  Time : 848.0 sec.
user=gd_barnes
[2009-08-08 09:04:16]
433*2^707355-1 is not prime.  Res64: 55978D5726F0E04B  Time : 3373.0 sec.
user=vaughan
[2009-08-08 09:04:57]
441*2^707365-1 is not prime.  Res64: CC07245E9D7A10FD  Time : 457.0 sec.
user=vaughan
[2009-08-08 09:05:44]
469*2^707365-1 is not prime.  Res64: 6707A6203F4F82CF  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 09:05:57]
583*2^707355-1 is not prime.  Res64: F86E6910F8A903C9  Time : 3376.0 sec.
user=gd_barnes
[2009-08-08 09:07:57]
485*2^707356-1 is not prime.  Res64: 749345C5391F2F66  Time : 3371.0 sec.
user=gd_barnes
[2009-08-08 09:10:42]
441*2^707357-1 is not prime.  Res64: 5A75B7F2BC4CA9EF  Time : 3372.0 sec.
user=vaughan
[2009-08-08 09:11:54]
527*2^707364-1 is not prime.  Res64: C2BEB310F3F35F68  Time : 1005.0 sec.
user=vaughan
[2009-08-08 09:12:35]
405*2^707367-1 is not prime.  Res64: 4EFC4133AA067ABB  Time : 458.0 sec.
user=vaughan
[2009-08-08 09:13:25]
433*2^707367-1 is not prime.  Res64: 881B4D8E233FCAA6  Time : 461.0 sec.
user=vaughan
[2009-08-08 09:14:28]
511*2^707365-1 is not prime.  Res64: E3D97F70BCF9A9A3  Time : 944.0 sec.
user=gd_barnes
[2009-08-08 09:15:32]
571*2^707357-1 is not prime.  Res64: 62F673FD9BB123BE  Time : 3374.0 sec.
user=vaughan
[2009-08-08 09:16:05]
501*2^707366-1 is not prime.  Res64: E58C3A999B65BCEF  Time : 772.0 sec.
user=gd_barnes
[2009-08-08 09:17:12]
527*2^707358-1 is not prime.  Res64: A8DE2EF976D13114  Time : 3376.0 sec.
user=vaughan
[2009-08-08 09:17:26]
503*2^707366-1 is not prime.  Res64: 6472448EDCBC7EAD  Time : 823.0 sec.
user=gd_barnes
[2009-08-08 09:19:11]
463*2^707359-1 is not prime.  Res64: 05DDF289B14DC2D6  Time : 3371.0 sec.
user=vaughan
[2009-08-08 09:20:12]
419*2^707368-1 is not prime.  Res64: F668076C1EAFFB73  Time : 458.0 sec.
user=vaughan
[2009-08-08 09:21:06]
435*2^707368-1 is not prime.  Res64: 16258E3B612BDDC4  Time : 461.0 sec.
user=gd_barnes
[2009-08-08 09:21:57]
493*2^707359-1 is not prime.  Res64: 7EBA7B223230E678  Time : 3372.0 sec.
user=gd_barnes
[2009-08-08 09:26:46]
503*2^707360-1 is not prime.  Res64: 544F2CCCADBAE4DF  Time : 3374.0 sec.
user=vaughan
[2009-08-08 09:27:47]
443*2^707370-1 is not prime.  Res64: 024F1405B84A91B2  Time : 456.0 sec.
user=gd_barnes
[2009-08-08 09:28:28]
525*2^707360-1 is not prime.  Res64: 57C8CF762565D1CD  Time : 3376.0 sec.
user=vaughan
[2009-08-08 09:28:47]
413*2^707368-1 is not prime.  Res64: 838AB6B6ABE36A8E  Time : 1013.0 sec.
user=vaughan
[2009-08-08 09:28:47]
461*2^707370-1 is not prime.  Res64: 4F4731498F4EB5C1  Time : 461.0 sec.
user=vaughan
[2009-08-08 09:29:11]
485*2^707368-1 is not prime.  Res64: 03FEFDCC38F1D6CD  Time : 786.0 sec.
user=vaughan
[2009-08-08 09:30:03]
437*2^707368-1 is not prime.  Res64: 23FAA6500DF9ACB2  Time : 936.0 sec.
user=gd_barnes
[2009-08-08 09:30:25]
537*2^707360-1 is not prime.  Res64: 5DA34CC94353B81A  Time : 3371.0 sec.
user=vaughan
[2009-08-08 09:31:18]
501*2^707369-1 is not prime.  Res64: 3E198D498E2870A5  Time : 832.0 sec.
user=gd_barnes
[2009-08-08 09:33:10]
507*2^707361-1 is not prime.  Res64: 94D727AD994FE59C  Time : 3372.0 sec.
user=vaughan
[2009-08-08 09:35:23]
499*2^707371-1 is not prime.  Res64: C7D4352EDDF54B9B  Time : 456.0 sec.
user=vaughan
[2009-08-08 09:36:28]
593*2^707372-1 is not prime.  Res64: 80C28A97F7B29BB2  Time : 461.0 sec.
user=gd_barnes
[2009-08-08 09:38:01]
585*2^707361-1 is not prime.  Res64: AEC70615927EFB1E  Time : 3374.0 sec.
user=gd_barnes
[2009-08-08 09:39:43]
495*2^707362-1 is not prime.  Res64: 07F80B73244CC92B  Time : 3377.0 sec.
user=gd_barnes
[2009-08-08 09:41:40]
503*2^707362-1 is not prime.  Res64: E1EC6524D197D73E  Time : 3371.0 sec.
user=vaughan
[2009-08-08 09:42:28]
405*2^707373-1 is not prime.  Res64: 0E5A0687FEBA339C  Time : 797.0 sec.
user=vaughan
[2009-08-08 09:43:00]
533*2^707374-1 is not prime.  Res64: 99DBD7F100F92D3C  Time : 457.0 sec.
user=vaughan
[2009-08-08 09:44:09]
403*2^707375-1 is not prime.  Res64: 4968B33023A8DE91  Time : 461.0 sec.
user=gd_barnes
[2009-08-08 09:44:25]
521*2^707362-1 is not prime.  Res64: CFD5DC232DFA92BD  Time : 3372.0 sec.
user=vaughan
[2009-08-08 09:45:15]
537*2^707373-1 is not prime.  Res64: 3D94B5342C648013  Time : 837.0 sec.
user=vaughan
[2009-08-08 09:45:51]
441*2^707373-1 is not prime.  Res64: 30CFCF429AE9825B  Time : 948.0 sec.
user=vaughan
[2009-08-08 09:45:54]
533*2^707372-1 is not prime.  Res64: C38459016B7935B1  Time : 1028.0 sec.
user=gd_barnes
[2009-08-08 09:49:14]
595*2^707363-1 is not prime.  Res64: 297C2CC61D5829BA  Time : 3371.0 sec.
user=vaughan
[2009-08-08 09:50:36]
437*2^707376-1 is not prime.  Res64: 759F712D52816591  Time : 456.0 sec.
user=gd_barnes
[2009-08-08 09:50:58]
489*2^707364-1 is not prime.  Res64: 327567F9BEA13EEB  Time : 3376.0 sec.
user=vaughan
[2009-08-08 09:51:51]
453*2^707376-1 is not prime.  Res64: F226BB2F3EF50600  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 09:52:53]
539*2^707364-1 is not prime.  Res64: 09F30BD4B553E8E4  Time : 3370.0 sec.
user=gd_barnes
[2009-08-08 09:55:39]
597*2^707365-1 is not prime.  Res64: F62F3F69B2939393  Time : 3371.0 sec.
user=vaughan
[2009-08-08 09:55:55]
511*2^707375-1 is not prime.  Res64: BFD688A88A632B85  Time : 807.0 sec.
user=vaughan
[2009-08-08 09:58:13]
473*2^707378-1 is not prime.  Res64: 401356C1A98AEEB5  Time : 457.0 sec.
user=vaughan
[2009-08-08 09:59:02]
447*2^707377-1 is not prime.  Res64: EE03D943B5183B6B  Time : 827.0 sec.
user=vaughan
[2009-08-08 09:59:30]
525*2^707378-1 is not prime.  Res64: BAF456FE77735DA5  Time : 459.0 sec.
user=gd_barnes
[2009-08-08 10:00:30]
545*2^707366-1 is not prime.  Res64: D2B744B36D5A6362  Time : 3374.0 sec.
user=vaughan
[2009-08-08 10:01:32]
465*2^707377-1 is not prime.  Res64: 0AB3C33EAF0175DF  Time : 942.0 sec.
user=gd_barnes
[2009-08-08 10:02:14]
445*2^707367-1 is not prime.  Res64: EEE5C9F5702DFAEA  Time : 3377.0 sec.
user=vaughan
[2009-08-08 10:02:40]
417*2^707378-1 is not prime.  Res64: 933C131124B85E82  Time : 1006.0 sec.
user=gd_barnes
[2009-08-08 10:04:07]
465*2^707367-1 is not prime.  Res64: 51ECC4066438D2C5  Time : 3370.0 sec.
user=vaughan
[2009-08-08 10:05:51]
465*2^707380-1 is not prime.  Res64: 36F304F11BBED467  Time : 458.0 sec.
user=gd_barnes
[2009-08-08 10:06:53]
493*2^707367-1 is not prime.  Res64: 9EDEBB638D295DA4  Time : 3371.0 sec.
user=vaughan
[2009-08-08 10:07:08]
441*2^707381-1 is not prime.  Res64: CA68E2967E1F495A  Time : 458.0 sec.
user=vaughan
[2009-08-08 10:08:58]
523*2^707379-1 is not prime.  Res64: B3E1F78C91AE88B8  Time : 784.0 sec.
user=gd_barnes
[2009-08-08 10:11:43]
479*2^707368-1 is not prime.  Res64: B16985DF4FB0C466  Time : 3371.0 sec.
user=vaughan
[2009-08-08 10:13:06]
495*2^707380-1 is not prime.  Res64: CC89826F81F6854B  Time : 844.0 sec.
user=vaughan
[2009-08-08 10:13:28]
425*2^707382-1 is not prime.  Res64: A1F570B7E48C86DE  Time : 458.0 sec.
user=gd_barnes
[2009-08-08 10:13:28]
509*2^707368-1 is not prime.  Res64: D0B2FF372FB78F54  Time : 3376.0 sec.
user=vaughan
[2009-08-08 10:14:46]
525*2^707382-1 is not prime.  Res64: 45DF8DF3EE571520  Time : 458.0 sec.
user=gd_barnes
[2009-08-08 10:15:21]
431*2^707370-1 is not prime.  Res64: B05E5A7534AA68F0  Time : 3370.0 sec.
user=vaughan
[2009-08-08 10:17:55]
507*2^707381-1 is not prime.  Res64: B32D486AFF2FD775  Time : 983.0 sec.
user=gd_barnes
[2009-08-08 10:18:07]
587*2^707370-1 is not prime.  Res64: 335A82BC643AAABD  Time : 3371.0 sec.
user=vaughan
[2009-08-08 10:20:09]
571*2^707381-1 is not prime.  Res64: DF7D1F2E2E071256  Time : 1049.0 sec.
user=vaughan
[2009-08-08 10:21:05]
453*2^707383-1 is not prime.  Res64: FB50ACB62C6475BA  Time : 458.0 sec.
user=vaughan
[2009-08-08 10:22:24]
583*2^707383-1 is not prime.  Res64: 4B74B7401F1BBACA  Time : 458.0 sec.
user=gd_barnes
[2009-08-08 10:22:57]
593*2^707370-1 is not prime.  Res64: 97F4E016071E0748  Time : 3371.0 sec.
user=vaughan
[2009-08-08 10:23:10]
527*2^707382-1 is not prime.  Res64: DCABC9878B594263  Time : 852.0 sec.
user=gd_barnes
[2009-08-08 10:24:44]
555*2^707371-1 is not prime.  Res64: BD1C4983DFD2F922  Time : 3377.0 sec.
user=gd_barnes
[2009-08-08 10:26:35]
471*2^707373-1 is not prime.  Res64: C55CF9B0719E3AA1  Time : 3370.0 sec.
user=vaughan
[2009-08-08 10:27:42]
421*2^707383-1 is not prime.  Res64: 6876AF4D26DC8D1D  Time : 876.0 sec.
user=vaughan
[2009-08-08 10:28:42]
529*2^707385-1 is not prime.  Res64: 1DEBE68A639EB378  Time : 458.0 sec.
user=gd_barnes
[2009-08-08 10:29:22]
437*2^707374-1 is not prime.  Res64: B8BC57CE84BF647E  Time : 3372.0 sec.
user=vaughan
[2009-08-08 10:30:03]
461*2^707386-1 is not prime.  Res64: B484109AD71C37F3  Time : 459.0 sec.
user=gd_barnes
[2009-08-08 10:34:11]
423*2^707375-1 is not prime.  Res64: 324F750028014068  Time : 3371.0 sec.
user=vaughan
[2009-08-08 10:34:26]
587*2^707384-1 is not prime.  Res64: A635E576C61DAE1F  Time : 991.0 sec.
user=gd_barnes
[2009-08-08 10:35:59]
463*2^707375-1 is not prime.  Res64: D91EEA05C7129821  Time : 3376.0 sec.
user=vaughan
[2009-08-08 10:36:18]
523*2^707387-1 is not prime.  Res64: 84BFC3941133B5F4  Time : 457.0 sec.
user=vaughan
[2009-08-08 10:36:35]
483*2^707386-1 is not prime.  Res64: F2944DB4A839B4AB  Time : 805.0 sec.
user=vaughan
[2009-08-08 10:37:41]
549*2^707387-1 is not prime.  Res64: 3EBD702F1639144B  Time : 458.0 sec.
user=gd_barnes
[2009-08-08 10:37:49]
469*2^707375-1 is not prime.  Res64: 1437B885388AD68F  Time : 3370.0 sec.
user=vaughan
[2009-08-08 10:38:05]
517*2^707385-1 is not prime.  Res64: 61D44961FB23679E  Time : 1076.0 sec.
user=gd_barnes
[2009-08-08 10:40:36]
497*2^707376-1 is not prime.  Res64: C852F5C7E83CC303  Time : 3371.0 sec.
user=vaughan
[2009-08-08 10:42:01]
593*2^707386-1 is not prime.  Res64: 7C02B046B4F60CE4  Time : 860.0 sec.
user=vaughan
[2009-08-08 10:43:55]
525*2^707389-1 is not prime.  Res64: 8ECF71EF4A1E391A  Time : 457.0 sec.
user=vaughan
[2009-08-08 10:45:19]
589*2^707389-1 is not prime.  Res64: 28BACFA039852933  Time : 458.0 sec.
user=gd_barnes
[2009-08-08 10:45:26]
447*2^707378-1 is not prime.  Res64: 9A4FC3F244EB34FE  Time : 3372.0 sec.
user=gd_barnes
[2009-08-08 10:47:15]
503*2^707378-1 is not prime.  Res64: 5C15AB97D9463EF5  Time : 3377.0 sec.
user=gd_barnes
[2009-08-08 10:49:02]
415*2^707379-1 is not prime.  Res64: E623914BE4E6F2F6  Time : 3369.0 sec.
user=vaughan
[2009-08-08 10:50:00]
561*2^707389-1 is not prime.  Res64: B27E238195D7D582  Time : 806.0 sec.
user=vaughan
[2009-08-08 10:50:23]
585*2^707388-1 is not prime.  Res64: 49B3F4C04FD5CACB  Time : 957.0 sec.
user=vaughan
[2009-08-08 10:51:32]
557*2^707390-1 is not prime.  Res64: 5C03E619A9F5366C  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 10:51:50]
459*2^707379-1 is not prime.  Res64: 42B35A4F251EFFC5  Time : 3371.0 sec.
user=vaughan
[2009-08-08 10:52:57]
585*2^707390-1 is not prime.  Res64: 650EC08ED2CB36A1  Time : 458.0 sec.
user=vaughan
[2009-08-08 10:54:56]
437*2^707390-1 is not prime.  Res64: 09F95B3A16967DC2  Time : 1011.0 sec.
user=vaughan
[2009-08-08 10:55:55]
515*2^707390-1 is not prime.  Res64: 096C3173C43144AF  Time : 834.0 sec.
user=gd_barnes
[2009-08-08 10:56:40]
489*2^707381-1 is not prime.  Res64: 026601C0D912A97B  Time : 3371.0 sec.
user=gd_barnes
[2009-08-08 10:58:31]
561*2^707381-1 is not prime.  Res64: C931D8BEA4976471  Time : 3377.0 sec.
user=vaughan
[2009-08-08 10:59:08]
429*2^707392-1 is not prime.  Res64: 4448B04BE85CB483  Time : 456.0 sec.
user=gd_barnes
[2009-08-08 11:00:17]
401*2^707382-1 is not prime.  Res64: F953A818971E3270  Time : 3370.0 sec.
user=vaughan
[2009-08-08 11:00:35]
533*2^707392-1 is not prime.  Res64: 5A6F17441468E68E  Time : 458.0 sec.
user=vaughan
[2009-08-08 11:03:03]
559*2^707391-1 is not prime.  Res64: 954E56B14D0DB025  Time : 784.0 sec.
user=gd_barnes
[2009-08-08 11:03:05]
483*2^707382-1 is not prime.  Res64: DE8D7A0D7FEAC367  Time : 3372.0 sec.
user=vaughan
[2009-08-08 11:06:45]
577*2^707393-1 is not prime.  Res64: 2FF3434949D25867  Time : 457.0 sec.
user=vaughan
[2009-08-08 11:06:51]
591*2^707391-1 is not prime.  Res64: 0002EA4080AE82DD  Time : 988.0 sec.
user=gd_barnes
[2009-08-08 11:07:55]
537*2^707382-1 is not prime.  Res64: 4A4EC5BFC21C77FA  Time : 3373.0 sec.
user=vaughan
[2009-08-08 11:08:13]
447*2^707394-1 is not prime.  Res64: CC013802EE845474  Time : 458.0 sec.
user=gd_barnes
[2009-08-08 11:09:45]
559*2^707383-1 is not prime.  Res64: 9DB10C361C7EA006  Time : 3377.0 sec.
user=vaughan
[2009-08-08 11:10:28]
439*2^707393-1 is not prime.  Res64: A6481A105AC37534  Time : 874.0 sec.
user=gd_barnes
[2009-08-08 11:11:31]
495*2^707384-1 is not prime.  Res64: 269BB439012A13C1  Time : 3370.0 sec.
user=vaughan
[2009-08-08 11:13:12]
569*2^707392-1 is not prime.  Res64: F37F38CD4DC18E69  Time : 1096.0 sec.
user=gd_barnes
[2009-08-08 11:14:19]
511*2^707385-1 is not prime.  Res64: BB998A8D1029A8BC  Time : 3372.0 sec.
user=vaughan
[2009-08-08 11:14:22]
589*2^707395-1 is not prime.  Res64: 2A731A5B023530BA  Time : 457.0 sec.
user=vaughan
[2009-08-08 11:15:54]
593*2^707396-1 is not prime.  Res64: 5E925D9B62E2FFEB  Time : 461.0 sec.
user=vaughan
[2009-08-08 11:16:53]
429*2^707395-1 is not prime.  Res64: 29122528CD43567B  Time : 830.0 sec.
user=gd_barnes
[2009-08-08 11:19:09]
477*2^707386-1 is not prime.  Res64: 84701AB1D5AB652C  Time : 3372.0 sec.
user=gd_barnes
[2009-08-08 11:21:01]
495*2^707386-1 is not prime.  Res64: B3175526E90ED574  Time : 3377.0 sec.
user=vaughan
[2009-08-08 11:21:58]
461*2^707398-1 is not prime.  Res64: 9A72E823777CA7DA  Time : 456.0 sec.
user=gd_barnes
[2009-08-08 11:22:45]
497*2^707386-1 is not prime.  Res64: 3820C562A4322CAA  Time : 3371.0 sec.
user=vaughan
[2009-08-08 11:23:19]
435*2^707396-1 is not prime.  Res64: E31B1CC2497E9516  Time : 988.0 sec.
user=vaughan
[2009-08-08 11:23:37]
503*2^707398-1 is not prime.  Res64: C291ADE1D3A08E1A  Time : 463.0 sec.
user=vaughan
[2009-08-08 11:25:09]
517*2^707397-1 is not prime.  Res64: 7382268A0878698A  Time : 881.0 sec.
user=gd_barnes
[2009-08-08 11:25:34]
543*2^707387-1 is not prime.  Res64: D70F96E7A904CDBF  Time : 3372.0 sec.
user=vaughan
[2009-08-08 11:29:35]
581*2^707398-1 is not prime.  Res64: A2C733321CDD7B53  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 11:30:24]
405*2^707388-1 is not prime.  Res64: 417CA9BD898BE9E1  Time : 3373.0 sec.
user=vaughan
[2009-08-08 11:30:34]
507*2^707398-1 is not prime.  Res64: E8483C127CF7EF92  Time : 821.0 sec.
user=vaughan
[2009-08-08 11:31:19]
455*2^707400-1 is not prime.  Res64: 925D7155E56DB231  Time : 462.0 sec.
user=vaughan
[2009-08-08 11:31:22]
577*2^707397-1 is not prime.  Res64: E7C52205431E9BA2  Time : 1091.0 sec.
user=gd_barnes
[2009-08-08 11:32:17]
411*2^707389-1 is not prime.  Res64: 12E4765B4321F305  Time : 3378.0 sec.
user=gd_barnes
[2009-08-08 11:34:00]
597*2^707389-1 is not prime.  Res64: C5CC4438A9FEE5B9  Time : 3371.0 sec.
user=gd_barnes
[2009-08-08 11:36:48]
447*2^707390-1 is not prime.  Res64: B4F6AB726BACE53A  Time : 3372.0 sec.
user=vaughan
[2009-08-08 11:37:12]
563*2^707400-1 is not prime.  Res64: 51F04AB6EFB5FEAB  Time : 457.0 sec.
user=vaughan
[2009-08-08 11:39:01]
477*2^707401-1 is not prime.  Res64: B1A1D2CD2DC8D3D5  Time : 462.0 sec.
user=vaughan
[2009-08-08 11:39:07]
459*2^707400-1 is not prime.  Res64: 4B8CE61383E6913C  Time : 838.0 sec.
user=vaughan
[2009-08-08 11:39:15]
501*2^707399-1 is not prime.  Res64: 3A4F3FA8853BC999  Time : 956.0 sec.
user=gd_barnes
[2009-08-08 11:41:39]
593*2^707390-1 is not prime.  Res64: 674AEE2A1E24B0AF  Time : 3373.0 sec.
user=vaughan
[2009-08-08 11:43:30]
427*2^707401-1 is not prime.  Res64: 9B7FB301A16DB836  Time : 776.0 sec.
user=gd_barnes
[2009-08-08 11:43:33]
405*2^707391-1 is not prime.  Res64: 9862A0547BBFA26A  Time : 3378.0 sec.
user=vaughan
[2009-08-08 11:44:49]
503*2^707402-1 is not prime.  Res64: 4705BFD15756AD1D  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 11:45:13]
453*2^707391-1 is not prime.  Res64: F409726A67942F4B  Time : 3371.0 sec.
user=vaughan
[2009-08-08 11:46:43]
545*2^707402-1 is not prime.  Res64: 69FD5BA27D4746C1  Time : 462.0 sec.
user=vaughan
[2009-08-08 11:46:57]
559*2^707401-1 is not prime.  Res64: 126F65BEE1A071F6  Time : 935.0 sec.
user=gd_barnes
[2009-08-08 11:48:03]
513*2^707392-1 is not prime.  Res64: EC96EE37F9EC8B73  Time : 3373.0 sec.
user=vaughan
[2009-08-08 11:52:25]
435*2^707404-1 is not prime.  Res64: 6C0C46CB3245E226  Time : 456.0 sec.
user=gd_barnes
[2009-08-08 11:52:53]
507*2^707393-1 is not prime.  Res64: F76B5569ECD3ABDE  Time : 3373.0 sec.
user=vaughan
[2009-08-08 11:53:17]
573*2^707402-1 is not prime.  Res64: 1A9DE83FE5E352B8  Time : 850.0 sec.
user=vaughan
[2009-08-08 11:54:26]
539*2^707404-1 is not prime.  Res64: 625E0FFB261E540A  Time : 463.0 sec.
user=gd_barnes
[2009-08-08 11:54:47]
559*2^707393-1 is not prime.  Res64: 1B70697090CA97CB  Time : 3377.0 sec.
user=vaughan
[2009-08-08 11:55:24]
409*2^707403-1 is not prime.  Res64: E32C1AF1CC929851  Time : 969.0 sec.
user=gd_barnes
[2009-08-08 11:56:28]
585*2^707393-1 is not prime.  Res64: 2D58B3FAAF00407D  Time : 3371.0 sec.
user=vaughan
[2009-08-08 11:57:14]
595*2^707403-1 is not prime.  Res64: 07347B3EF158DD6E  Time : 824.0 sec.
user=gd_barnes
[2009-08-08 11:59:17]
495*2^707395-1 is not prime.  Res64: 3119EBB73064AB00  Time : 3372.0 sec.
user=vaughan
[2009-08-08 12:00:11]
481*2^707405-1 is not prime.  Res64: 68CD52172BBB6FA8  Time : 466.0 sec.
user=vaughan
[2009-08-08 12:02:15]
529*2^707405-1 is not prime.  Res64: 58663E2E008D1BC2  Time : 469.0 sec.
user=gd_barnes
[2009-08-08 12:04:07]
539*2^707396-1 is not prime.  Res64: 3A472F0CB4618E21  Time : 3372.0 sec.
user=vaughan
[2009-08-08 12:04:56]
567*2^707404-1 is not prime.  Res64: C023D1A26C8628FC  Time : 1079.0 sec.
user=gd_barnes
[2009-08-08 12:06:03]
427*2^707397-1 is not prime.  Res64: 836AEE264D4D2A78  Time : 3378.0 sec.
user=gd_barnes
[2009-08-08 12:07:42]
571*2^707397-1 is not prime.  Res64: 4B30C2E832992719  Time : 3371.0 sec.
user=vaughan
[2009-08-08 12:07:47]
567*2^707406-1 is not prime.  Res64: B02272B6EC202C4A  Time : 456.0 sec.
user=vaughan
[2009-08-08 12:08:02]
507*2^707405-1 is not prime.  Res64: A9ED84EF5CF4088D  Time : 885.0 sec.
user=vaughan
[2009-08-08 12:09:57]
593*2^707406-1 is not prime.  Res64: B149D4176824C044  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 12:10:32]
453*2^707398-1 is not prime.  Res64: 864BD683A42C20A5  Time : 3373.0 sec.
user=vaughan
[2009-08-08 12:10:51]
507*2^707406-1 is not prime.  Res64: 2E8F4AA6848C2CFD  Time : 818.0 sec.
user=vaughan
[2009-08-08 12:11:52]
471*2^707406-1 is not prime.  Res64: BB75BDA008B9E576  Time : 989.0 sec.
user=gd_barnes
[2009-08-08 12:15:22]
533*2^707398-1 is not prime.  Res64: C54039700FD19D46  Time : 3373.0 sec.
user=vaughan
[2009-08-08 12:15:24]
559*2^707407-1 is not prime.  Res64: B60FEE5DACDA631F  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 12:17:19]
551*2^707398-1 is not prime.  Res64: C2C8C1A93CE3AC40  Time : 3378.0 sec.
user=vaughan
[2009-08-08 12:17:40]
465*2^707408-1 is not prime.  Res64: B0546A8D7646F42C  Time : 463.0 sec.
user=gd_barnes
[2009-08-08 12:18:57]
445*2^707399-1 is not prime.  Res64: 7B4537CDAC76029A  Time : 3372.0 sec.
user=gd_barnes
[2009-08-08 12:21:46]
467*2^707400-1 is not prime.  Res64: 1B9756740FFB4A38  Time : 3373.0 sec.
user=vaughan
[2009-08-08 12:22:15]
463*2^707407-1 is not prime.  Res64: 9BE5DFDF5FCD1687  Time : 1039.0 sec.
user=vaughan
[2009-08-08 12:22:16]
573*2^707407-1 is not prime.  Res64: 3FD49809952993C8  Time : 855.0 sec.
user=vaughan
[2009-08-08 12:23:01]
465*2^707409-1 is not prime.  Res64: 70A7B670EC6F3DF0  Time : 457.0 sec.
user=vaughan
[2009-08-08 12:23:59]
509*2^707408-1 is not prime.  Res64: C591F25F29EE3EC2  Time : 788.0 sec.
user=vaughan
[2009-08-08 12:25:21]
559*2^707409-1 is not prime.  Res64: C467EE9848316F37  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 12:26:36]
421*2^707401-1 is not prime.  Res64: 1A42DE9F9685061E  Time : 3372.0 sec.
user=vaughan
[2009-08-08 12:27:51]
557*2^707408-1 is not prime.  Res64: C2647B33B3D6B161  Time : 959.0 sec.
user=gd_barnes
[2009-08-08 12:28:35]
405*2^707402-1 is not prime.  Res64: 1C752C9367D7AE53  Time : 3378.0 sec.
user=gd_barnes
[2009-08-08 12:30:11]
407*2^707402-1 is not prime.  Res64: 54CBEFFB22BC04EF  Time : 3371.0 sec.
user=vaughan
[2009-08-08 12:30:39]
409*2^707411-1 is not prime.  Res64: 665916EDBCF2328A  Time : 458.0 sec.
user=gd_barnes
[2009-08-08 12:33:00]
495*2^707402-1 is not prime.  Res64: 2BA3332E86C4AA63  Time : 3372.0 sec.
user=vaughan
[2009-08-08 12:33:01]
585*2^707411-1 is not prime.  Res64: E1FA07064B8BB9D6  Time : 461.0 sec.
user=vaughan
[2009-08-08 12:36:14]
587*2^707410-1 is not prime.  Res64: 8DAF4956BE393537  Time : 838.0 sec.
user=vaughan
[2009-08-08 12:37:47]
445*2^707411-1 is not prime.  Res64: 599A1FC2104F444D  Time : 829.0 sec.
user=gd_barnes
[2009-08-08 12:37:51]
549*2^707403-1 is not prime.  Res64: 7609C17C52A05907  Time : 3372.0 sec.
user=vaughan
[2009-08-08 12:38:16]
411*2^707413-1 is not prime.  Res64: CDB81F90B6A20A97  Time : 458.0 sec.
user=vaughan
[2009-08-08 12:39:17]
477*2^707410-1 is not prime.  Res64: B5AC8DEB38E414EC  Time : 1022.0 sec.
user=gd_barnes
[2009-08-08 12:39:50]
413*2^707404-1 is not prime.  Res64: C1EE1395239FF408  Time : 3378.0 sec.
user=vaughan
[2009-08-08 12:40:43]
411*2^707414-1 is not prime.  Res64: 08CDBB895B5E7BE7  Time : 463.0 sec.
user=gd_barnes
[2009-08-08 12:41:24]
479*2^707404-1 is not prime.  Res64: 2B2DD87FED561819  Time : 3371.0 sec.
user=vaughan
[2009-08-08 12:44:01]
545*2^707412-1 is not prime.  Res64: B978F4AB58276734  Time : 970.0 sec.
user=gd_barnes
[2009-08-08 12:44:15]
573*2^707404-1 is not prime.  Res64: 2626CE63A717C448  Time : 3372.0 sec.
user=vaughan
[2009-08-08 12:45:53]
493*2^707415-1 is not prime.  Res64: 99156721296BC2F1  Time : 457.0 sec.
user=vaughan
[2009-08-08 12:48:24]
537*2^707416-1 is not prime.  Res64: AA9B4D554A8FF5BB  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 12:49:05]
495*2^707405-1 is not prime.  Res64: 581CC080F47256EA  Time : 3373.0 sec.
user=vaughan
[2009-08-08 12:50:55]
501*2^707414-1 is not prime.  Res64: 39230B73F0090903  Time : 881.0 sec.
user=gd_barnes
[2009-08-08 12:51:05]
417*2^707406-1 is not prime.  Res64: AD7A91F7A5E5E885  Time : 3378.0 sec.
user=vaughan
[2009-08-08 12:51:53]
551*2^707414-1 is not prime.  Res64: 56BCE43F664E6C17  Time : 846.0 sec.
user=gd_barnes
[2009-08-08 12:52:39]
485*2^707406-1 is not prime.  Res64: B890C3A28AEC38BF  Time : 3371.0 sec.
user=vaughan
[2009-08-08 12:53:30]
585*2^707417-1 is not prime.  Res64: 098C662C3878B9A0  Time : 458.0 sec.
user=gd_barnes
[2009-08-08 12:55:30]
513*2^707406-1 is not prime.  Res64: 15404C4D5D2408DE  Time : 3373.0 sec.
user=vaughan
[2009-08-08 12:56:05]
465*2^707418-1 is not prime.  Res64: E31B2E8989DE2919  Time : 461.0 sec.
user=vaughan
[2009-08-08 12:56:12]
543*2^707415-1 is not prime.  Res64: 0A61A06221A6789F  Time : 1015.0 sec.
user=vaughan
[2009-08-08 12:58:46]
495*2^707417-1 is not prime.  Res64: EAC523E12A7B8402  Time : 886.0 sec.
user=gd_barnes
[2009-08-08 13:00:19]
451*2^707407-1 is not prime.  Res64: C1C793B4BA20F2C9  Time : 3372.0 sec.
user=vaughan
[2009-08-08 13:01:07]
459*2^707420-1 is not prime.  Res64: 92345C414D2B9972  Time : 458.0 sec.
user=gd_barnes
[2009-08-08 13:02:21]
475*2^707407-1 is not prime.  Res64: 71300771CBA72791  Time : 3378.0 sec.
user=vaughan
[2009-08-08 13:03:23]
415*2^707419-1 is not prime.  Res64: CE1F9EB82D2DA420  Time : 748.0 sec.
user=vaughan
[2009-08-08 13:03:46]
469*2^707421-1 is not prime.  Res64: A6A13E3CCC4AE79C  Time : 461.0 sec.
user=gd_barnes
[2009-08-08 13:03:53]
511*2^707407-1 is not prime.  Res64: 0F5FFAF1C7451961  Time : 3371.0 sec.
user=vaughan
[2009-08-08 13:03:59]
531*2^707419-1 is not prime.  Res64: BD9ABA219E7D2860  Time : 726.0 sec.
user=gd_barnes
[2009-08-08 13:06:44]
507*2^707408-1 is not prime.  Res64: DD2C3837AF9C855C  Time : 3373.0 sec.
user=vaughan
[2009-08-08 13:08:44]
597*2^707421-1 is not prime.  Res64: BCB85AC936A94AEC  Time : 458.0 sec.
user=vaughan
[2009-08-08 13:09:53]
499*2^707421-1 is not prime.  Res64: 36E07A4F09E249C2  Time : 821.0 sec.
user=vaughan
[2009-08-08 13:11:27]
525*2^707423-1 is not prime.  Res64: 99E16007DBABA0F4  Time : 461.0 sec.
user=gd_barnes
[2009-08-08 13:11:34]
573*2^707408-1 is not prime.  Res64: A80CA003FE00ABC5  Time : 3372.0 sec.
user=vaughan
[2009-08-08 13:12:01]
511*2^707421-1 is not prime.  Res64: B7B612226582CE5F  Time : 795.0 sec.
user=gd_barnes
[2009-08-08 13:13:37]
507*2^707409-1 is not prime.  Res64: E915D11D25FFDF2C  Time : 3378.0 sec.
user=gd_barnes
[2009-08-08 13:15:07]
571*2^707409-1 is not prime.  Res64: 19B6968F13A583FF  Time : 3370.0 sec.
user=vaughan
[2009-08-08 13:15:29]
501*2^707423-1 is not prime.  Res64: B3176829C304FD1E  Time : 726.0 sec.
user=vaughan
[2009-08-08 13:15:57]
419*2^707424-1 is not prime.  Res64: EA2C8EB57FBB2885  Time : 718.0 sec.
user=vaughan
[2009-08-08 13:16:21]
497*2^707424-1 is not prime.  Res64: 6C9FB01752217B79  Time : 458.0 sec.
user=gd_barnes
[2009-08-08 13:17:58]
453*2^707410-1 is not prime.  Res64: 4EACF3C4A87A6B8B  Time : 3372.0 sec.
user=vaughan
[2009-08-08 13:19:08]
557*2^707424-1 is not prime.  Res64: 1C58A8C63945D1FB  Time : 461.0 sec.
user=gd_barnes
[2009-08-08 13:22:48]
485*2^707412-1 is not prime.  Res64: 667E1EDF443DD0AE  Time : 3372.0 sec.
user=vaughan
[2009-08-08 13:23:13]
525*2^707424-1 is not prime.  Res64: 426379F4B23046B8  Time : 801.0 sec.
user=vaughan
[2009-08-08 13:23:57]
521*2^707426-1 is not prime.  Res64: 031B4CA942430408  Time : 456.0 sec.
user=vaughan
[2009-08-08 13:24:46]
585*2^707424-1 is not prime.  Res64: D75FFF9901143893  Time : 765.0 sec.
user=gd_barnes
[2009-08-08 13:24:51]
555*2^707412-1 is not prime.  Res64: C8917122A3A5F7E7  Time : 3377.0 sec.
user=gd_barnes
[2009-08-08 13:26:21]
563*2^707412-1 is not prime.  Res64: 04B5019396230243  Time : 3371.0 sec.
user=vaughan
[2009-08-08 13:26:49]
563*2^707426-1 is not prime.  Res64: 6D0DF2C6C65F0AD8  Time : 461.0 sec.
user=vaughan
[2009-08-08 13:27:16]
431*2^707426-1 is not prime.  Res64: 264CF5938069E117  Time : 707.0 sec.
user=vaughan
[2009-08-08 13:27:31]
447*2^707426-1 is not prime.  Res64: 11B99A406B629A95  Time : 694.0 sec.
user=gd_barnes
[2009-08-08 13:29:13]
559*2^707413-1 is not prime.  Res64: 3463BAAD81601A25  Time : 3373.0 sec.
user=vaughan
[2009-08-08 13:31:34]
435*2^707428-1 is not prime.  Res64: 05318571A6C83F08  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 13:34:02]
429*2^707415-1 is not prime.  Res64: A22C303511D82FC4  Time : 3371.0 sec.
user=vaughan
[2009-08-08 13:34:30]
469*2^707429-1 is not prime.  Res64: 51CF8947F7F17AC0  Time : 461.0 sec.
user=vaughan
[2009-08-08 13:35:57]
529*2^707427-1 is not prime.  Res64: B39393CAA0F5C4E0  Time : 764.0 sec.
user=gd_barnes
[2009-08-08 13:36:07]
429*2^707416-1 is not prime.  Res64: 8084AA372E617EAE  Time : 3377.0 sec.
user=vaughan
[2009-08-08 13:37:13]
443*2^707428-1 is not prime.  Res64: 2B990E4D69F06F2B  Time : 747.0 sec.
user=gd_barnes
[2009-08-08 13:37:35]
465*2^707417-1 is not prime.  Res64: 849371F727026FED  Time : 3371.0 sec.
user=vaughan
[2009-08-08 13:38:48]
481*2^707429-1 is not prime.  Res64: F18CAE7705810B57  Time : 692.0 sec.
user=vaughan
[2009-08-08 13:38:57]
495*2^707429-1 is not prime.  Res64: 77E34739B8D7005C  Time : 687.0 sec.
user=vaughan
[2009-08-08 13:39:11]
589*2^707429-1 is not prime.  Res64: 000D3107ECF77F5A  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 13:40:27]
561*2^707417-1 is not prime.  Res64: 2F9432F850DFD4BA  Time : 3372.0 sec.
user=vaughan
[2009-08-08 13:42:11]
473*2^707430-1 is not prime.  Res64: 9FC5DBB61C924BA1  Time : 461.0 sec.
user=gd_barnes
[2009-08-08 13:45:16]
581*2^707418-1 is not prime.  Res64: 32E1EABD11CD1132  Time : 3372.0 sec.
user=vaughan
[2009-08-08 13:46:48]
561*2^707431-1 is not prime.  Res64: C280475F9C4334ED  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 13:47:22]
489*2^707419-1 is not prime.  Res64: 9664F860D14D395F  Time : 3377.0 sec.
user=vaughan
[2009-08-08 13:48:43]
411*2^707431-1 is not prime.  Res64: 03FC3EEFCF63534B  Time : 766.0 sec.
user=gd_barnes
[2009-08-08 13:48:49]
595*2^707419-1 is not prime.  Res64: C118DD1D17F825B9  Time : 3370.0 sec.
user=vaughan
[2009-08-08 13:49:45]
453*2^707431-1 is not prime.  Res64: 37509F417364F10D  Time : 752.0 sec.
user=vaughan
[2009-08-08 13:49:52]
413*2^707432-1 is not prime.  Res64: CE00C5055D2C3DCE  Time : 461.0 sec.
user=vaughan
[2009-08-08 13:50:22]
511*2^707431-1 is not prime.  Res64: 90D9FB2EE8A05BD2  Time : 694.0 sec.
user=vaughan
[2009-08-08 13:50:27]
535*2^707431-1 is not prime.  Res64: 33DCEA93583BD2A9  Time : 690.0 sec.
user=gd_barnes
[2009-08-08 13:51:41]
473*2^707420-1 is not prime.  Res64: 03044DBEAF4E90B7  Time : 3372.0 sec.
user=vaughan
[2009-08-08 13:54:25]
481*2^707433-1 is not prime.  Res64: 279CDFEADA4EED5D  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 13:56:31]
591*2^707421-1 is not prime.  Res64: 53FB00C97C3D4D0C  Time : 3372.0 sec.
user=vaughan
[2009-08-08 13:57:33]
585*2^707435-1 is not prime.  Res64: 9FEFC9DCF90396B8  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 13:58:38]
483*2^707422-1 is not prime.  Res64: 2770EDB35DC970F5  Time : 3377.0 sec.
user=gd_barnes
[2009-08-08 14:00:04]
565*2^707423-1 is not prime.  Res64: C970179A28D4A4E5  Time : 3371.0 sec.
user=vaughan
[2009-08-08 14:01:34]
491*2^707434-1 is not prime.  Res64: 2F54221420838CB9  Time : 771.0 sec.
user=vaughan
[2009-08-08 14:01:54]
503*2^707436-1 is not prime.  Res64: F24239C23A41096F  Time : 688.0 sec.
user=vaughan
[2009-08-08 14:02:01]
545*2^707436-1 is not prime.  Res64: 511736C254794C4B  Time : 456.0 sec.
user=vaughan
[2009-08-08 14:02:02]
479*2^707436-1 is not prime.  Res64: 51398167F237D999  Time : 700.0 sec.
user=vaughan
[2009-08-08 14:02:16]
561*2^707434-1 is not prime.  Res64: EC5D5BC383462705  Time : 751.0 sec.
user=gd_barnes
[2009-08-08 14:02:56]
473*2^707424-1 is not prime.  Res64: B80AD2C3836F3726  Time : 3372.0 sec.
user=vaughan
[2009-08-08 14:05:14]
499*2^707437-1 is not prime.  Res64: 56A7BB4FF923CCB9  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 14:07:46]
567*2^707424-1 is not prime.  Res64: 82BB23DE8B7C0240  Time : 3372.0 sec.
user=vaughan
[2009-08-08 14:09:37]
531*2^707439-1 is not prime.  Res64: B4E10A4A1FF50583  Time : 456.0 sec.
user=gd_barnes
[2009-08-08 14:09:53]
593*2^707424-1 is not prime.  Res64: 7084FDDF6FE7A079  Time : 3377.0 sec.
user=gd_barnes
[2009-08-08 14:11:18]
577*2^707425-1 is not prime.  Res64: 8D155B94233C09A2  Time : 3371.0 sec.
user=vaughan
[2009-08-08 14:12:55]
527*2^707440-1 is not prime.  Res64: 6E695C2616F59AE9  Time : 461.0 sec.
user=vaughan
[2009-08-08 14:13:25]
501*2^707439-1 is not prime.  Res64: 71524B8EE187A0DE  Time : 691.0 sec.
user=vaughan
[2009-08-08 14:13:35]
579*2^707439-1 is not prime.  Res64: 4DA5E4D0B7207826  Time : 693.0 sec.
user=gd_barnes
[2009-08-08 14:14:10]
525*2^707426-1 is not prime.  Res64: 7BC5F08662813731  Time : 3372.0 sec.
user=vaughan
[2009-08-08 14:14:22]
433*2^707439-1 is not prime.  Res64: EBADAE5CE1B50436  Time : 769.0 sec.
user=vaughan
[2009-08-08 14:14:52]
407*2^707440-1 is not prime.  Res64: 5294943DE9B2B84A  Time : 756.0 sec.
user=vaughan
[2009-08-08 14:17:13]
445*2^707441-1 is not prime.  Res64: 1E278E3DF2469D0F  Time : 456.0 sec.
user=gd_barnes
[2009-08-08 14:19:00]
581*2^707426-1 is not prime.  Res64: 9F944DA20AF4C298  Time : 3372.0 sec.
user=vaughan
[2009-08-08 14:20:36]
529*2^707441-1 is not prime.  Res64: A911B75EF816A9C7  Time : 461.0 sec.
user=gd_barnes
[2009-08-08 14:21:09]
485*2^707428-1 is not prime.  Res64: 073C7D1EE27FCDEC  Time : 3378.0 sec.
user=gd_barnes
[2009-08-08 14:22:32]
549*2^707428-1 is not prime.  Res64: 1F44936B43F715C3  Time : 3371.0 sec.
user=vaughan
[2009-08-08 14:24:49]
459*2^707444-1 is not prime.  Res64: 9E9F925B01D181B6  Time : 456.0 sec.
user=vaughan
[2009-08-08 14:25:20]
495*2^707442-1 is not prime.  Res64: 768D310F0A7D581B  Time : 715.0 sec.
user=gd_barnes
[2009-08-08 14:25:25]
525*2^707429-1 is not prime.  Res64: 306A804E685A0CA0  Time : 3372.0 sec.
user=vaughan
[2009-08-08 14:25:47]
555*2^707442-1 is not prime.  Res64: 26CC491F14316D9E  Time : 732.0 sec.
user=vaughan
[2009-08-08 14:28:08]
541*2^707443-1 is not prime.  Res64: 50349B2FF4BF828E  Time : 796.0 sec.
user=vaughan
[2009-08-08 14:28:09]
489*2^707443-1 is not prime.  Res64: 4EDBC9E6078F4C97  Time : 827.0 sec.
user=vaughan
[2009-08-08 14:28:17]
503*2^707444-1 is not prime.  Res64: 5A9C33B47D6D5E23  Time : 461.0 sec.
user=gd_barnes
[2009-08-08 14:30:15]
465*2^707430-1 is not prime.  Res64: 0CDBEA079F5C32B8  Time : 3373.0 sec.
user=gd_barnes
[2009-08-08 14:32:24]
433*2^707431-1 is not prime.  Res64: B6DF168A75D36ED6  Time : 3377.0 sec.
user=vaughan
[2009-08-08 14:32:26]
447*2^707445-1 is not prime.  Res64: 8E6CB8AD0F3FB28F  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 14:33:45]
493*2^707431-1 is not prime.  Res64: 07CE008EE1465A3E  Time : 3370.0 sec.
user=vaughan
[2009-08-08 14:35:58]
483*2^707446-1 is not prime.  Res64: D9BE2DC059D029E7  Time : 461.0 sec.
user=gd_barnes
[2009-08-08 14:36:39]
573*2^707431-1 is not prime.  Res64: DA2679F3B53A1C20  Time : 3372.0 sec.
user=vaughan
[2009-08-08 14:37:41]
517*2^707445-1 is not prime.  Res64: 797AC3477A654C89  Time : 741.0 sec.
user=vaughan
[2009-08-08 14:38:30]
577*2^707445-1 is not prime.  Res64: C5930C9B25F28EC7  Time : 763.0 sec.
user=vaughan
[2009-08-08 14:40:02]
551*2^707446-1 is not prime.  Res64: 0FC5455A2FB6F6E4  Time : 456.0 sec.
user=gd_barnes
[2009-08-08 14:41:30]
519*2^707432-1 is not prime.  Res64: 7F2C46C259BD818A  Time : 3374.0 sec.
user=vaughan
[2009-08-08 14:41:58]
461*2^707446-1 is not prime.  Res64: 1CA03E6C5B6E2CE3  Time : 830.0 sec.
user=vaughan
[2009-08-08 14:42:32]
471*2^707446-1 is not prime.  Res64: 1D5578B2CCCC39DF  Time : 863.0 sec.
user=vaughan
[2009-08-08 14:43:39]
587*2^707446-1 is not prime.  Res64: B7654FC39C244BE5  Time : 461.0 sec.
user=gd_barnes
[2009-08-08 14:43:40]
465*2^707434-1 is not prime.  Res64: 6752C3AA8634354A  Time : 3378.0 sec.
user=gd_barnes
[2009-08-08 14:45:00]
533*2^707434-1 is not prime.  Res64: 133496CA2EFD5FFE  Time : 3371.0 sec.
user=vaughan
[2009-08-08 14:47:38]
465*2^707447-1 is not prime.  Res64: FEAAE6DFC3BB01F6  Time : 456.0 sec.
user=gd_barnes
[2009-08-08 14:47:54]
507*2^707436-1 is not prime.  Res64: 559C934E840AF641  Time : 3373.0 sec.
user=vaughan
[2009-08-08 14:49:57]
409*2^707447-1 is not prime.  Res64: C9E054FF660FFDD3  Time : 736.0 sec.
user=vaughan
[2009-08-08 14:51:09]
433*2^707447-1 is not prime.  Res64: 9B66F2DBADA6ECD9  Time : 759.0 sec.
user=vaughan
[2009-08-08 14:51:21]
479*2^707448-1 is not prime.  Res64: E08D027726BA3888  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 14:52:44]
597*2^707436-1 is not prime.  Res64: 90648FA807227851  Time : 3373.0 sec.
user=gd_barnes
[2009-08-08 14:54:56]
405*2^707438-1 is not prime.  Res64: C6140CB4425E72F9  Time : 3379.0 sec.
user=vaughan
[2009-08-08 14:55:14]
549*2^707449-1 is not prime.  Res64: 4679EC00CCA49D17  Time : 456.0 sec.
user=gd_barnes
[2009-08-08 14:56:14]
423*2^707439-1 is not prime.  Res64: 969BBB28E9445129  Time : 3370.0 sec.
user=vaughan
[2009-08-08 14:56:32]
571*2^707447-1 is not prime.  Res64: 0A130E61E6C5CFE2  Time : 874.0 sec.
user=vaughan
[2009-08-08 14:58:08]
437*2^707448-1 is not prime.  Res64: 5C9BA32E70BE5852  Time : 936.0 sec.
user=vaughan
[2009-08-08 14:59:04]
563*2^707450-1 is not prime.  Res64: 685A545B5252FAE4  Time : 464.0 sec.
user=gd_barnes
[2009-08-08 14:59:08]
513*2^707440-1 is not prime.  Res64: 7FA7DE08F204280F  Time : 3372.0 sec.
user=vaughan
[2009-08-08 15:02:50]
467*2^707450-1 is not prime.  Res64: A85F3A2E8E5E449E  Time : 773.0 sec.
user=vaughan
[2009-08-08 15:02:50]
493*2^707451-1 is not prime.  Res64: 5E3EA0E45F6BF27D  Time : 456.0 sec.
user=gd_barnes
[2009-08-08 15:03:59]
405*2^707441-1 is not prime.  Res64: 2785A11BB0362FFF  Time : 3373.0 sec.
user=vaughan
[2009-08-08 15:05:14]
561*2^707450-1 is not prime.  Res64: 1DDE5B3EE89BF2BC  Time : 845.0 sec.
user=gd_barnes
[2009-08-08 15:06:11]
475*2^707441-1 is not prime.  Res64: D0FE26177F2B2D9C  Time : 3378.0 sec.
user=vaughan
[2009-08-08 15:06:46]
453*2^707452-1 is not prime.  Res64: 3203FB4A384A5FC5  Time : 463.0 sec.
user=gd_barnes
[2009-08-08 15:07:29]
507*2^707441-1 is not prime.  Res64: A20600F9C20DFF2F  Time : 3371.0 sec.
user=gd_barnes
[2009-08-08 15:10:23]
587*2^707442-1 is not prime.  Res64: D0E4C6DD7DFEAC41  Time : 3373.0 sec.
user=vaughan
[2009-08-08 15:10:26]
421*2^707453-1 is not prime.  Res64: EF50AF5E27D9388A  Time : 456.0 sec.
user=vaughan
[2009-08-08 15:12:25]
549*2^707451-1 is not prime.  Res64: D8011BA7055579D4  Time : 953.0 sec.
user=vaughan
[2009-08-08 15:14:28]
483*2^707454-1 is not prime.  Res64: D67D4CBAD2A0E954  Time : 462.0 sec.
user=vaughan
[2009-08-08 15:14:48]
579*2^707451-1 is not prime.  Res64: 7FE16E20E19725A3  Time : 1000.0 sec.
user=gd_barnes
[2009-08-08 15:15:13]
465*2^707444-1 is not prime.  Res64: E627F0C739258DAD  Time : 3373.0 sec.
user=vaughan
[2009-08-08 15:15:53]
519*2^707452-1 is not prime.  Res64: F77ED5E10502E269  Time : 784.0 sec.
user=gd_barnes
[2009-08-08 15:17:26]
585*2^707444-1 is not prime.  Res64: D924E863A7200523  Time : 3377.0 sec.
user=vaughan
[2009-08-08 15:18:02]
525*2^707455-1 is not prime.  Res64: 412D6E867E93244B  Time : 456.0 sec.
user=gd_barnes
[2009-08-08 15:18:42]
593*2^707444-1 is not prime.  Res64: 86289742D1992D30  Time : 3370.0 sec.
user=vaughan
[2009-08-08 15:19:17]
475*2^707453-1 is not prime.  Res64: 3C04DCF784059942  Time : 844.0 sec.
user=gd_barnes
[2009-08-08 15:21:37]
555*2^707445-1 is not prime.  Res64: 7363C3FBF36FCC9E  Time : 3373.0 sec.
user=vaughan
[2009-08-08 15:22:11]
465*2^707456-1 is not prime.  Res64: 12568A13DE179FD8  Time : 463.0 sec.
user=vaughan
[2009-08-08 15:25:39]
549*2^707457-1 is not prime.  Res64: A244800058B35E9B  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 15:26:28]
513*2^707446-1 is not prime.  Res64: 5BC482019BDB7D88  Time : 3373.0 sec.
user=gd_barnes
[2009-08-08 15:28:43]
545*2^707446-1 is not prime.  Res64: 13911EA412EE285D  Time : 3379.0 sec.
user=vaughan
[2009-08-08 15:28:46]
417*2^707456-1 is not prime.  Res64: 9276B0D06749D0F3  Time : 982.0 sec.
user=vaughan
[2009-08-08 15:29:01]
517*2^707457-1 is not prime.  Res64: B4ED6E8866C05438  Time : 788.0 sec.
user=vaughan
[2009-08-08 15:29:53]
507*2^707458-1 is not prime.  Res64: EB8E26C7B1958365  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 15:29:57]
581*2^707446-1 is not prime.  Res64: 0BAEDCA723071DCB  Time : 3372.0 sec.
user=vaughan
[2009-08-08 15:32:07]
469*2^707457-1 is not prime.  Res64: 491BCAA9F7F74F0E  Time : 1040.0 sec.
user=gd_barnes
[2009-08-08 15:32:52]
403*2^707447-1 is not prime.  Res64: DCA8FE080EFB001A  Time : 3373.0 sec.
user=vaughan
[2009-08-08 15:33:16]
581*2^707458-1 is not prime.  Res64: 623DCA597FAAFFD2  Time : 457.0 sec.
user=vaughan
[2009-08-08 15:33:34]
483*2^707458-1 is not prime.  Res64: 674D243AC4EAE094  Time : 858.0 sec.
user=vaughan
[2009-08-08 15:37:35]
537*2^707460-1 is not prime.  Res64: 223214DD7AC6617C  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 15:37:42]
559*2^707447-1 is not prime.  Res64: 27AADC0AD3B69438  Time : 3372.0 sec.
user=gd_barnes
[2009-08-08 15:39:58]
549*2^707448-1 is not prime.  Res64: FC669B5DAB15F03C  Time : 3378.0 sec.
user=vaughan
[2009-08-08 15:40:53]
511*2^707461-1 is not prime.  Res64: 62E7C381121FEA29  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 15:41:12]
597*2^707448-1 is not prime.  Res64: 173A444091BC4A13  Time : 3372.0 sec.
user=vaughan
[2009-08-08 15:42:54]
503*2^707460-1 is not prime.  Res64: 454EA755F6BC98A6  Time : 834.0 sec.
user=gd_barnes
[2009-08-08 15:44:06]
565*2^707449-1 is not prime.  Res64: A4EC7EA607BEAA93  Time : 3372.0 sec.
user=vaughan
[2009-08-08 15:44:58]
483*2^707460-1 is not prime.  Res64: D1E608F0A6F84F16  Time : 973.0 sec.
user=vaughan
[2009-08-08 15:45:17]
425*2^707462-1 is not prime.  Res64: C22D14F6D4AD833F  Time : 462.0 sec.
user=vaughan
[2009-08-08 15:47:54]
537*2^707461-1 is not prime.  Res64: CC91E5CFEA755126  Time : 860.0 sec.
user=vaughan
[2009-08-08 15:48:30]
561*2^707462-1 is not prime.  Res64: E6A9C14A29EDE8CF  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 15:48:57]
587*2^707450-1 is not prime.  Res64: 0AB07C99CAE77425  Time : 3373.0 sec.
user=vaughan
[2009-08-08 15:49:07]
409*2^707461-1 is not prime.  Res64: B22A1A3B35D73B72  Time : 1020.0 sec.
user=gd_barnes
[2009-08-08 15:51:14]
489*2^707451-1 is not prime.  Res64: DC70BA89A9A0E135  Time : 3378.0 sec.
user=gd_barnes
[2009-08-08 15:52:26]
495*2^707451-1 is not prime.  Res64: 0970911E3B0CE3C5  Time : 3372.0 sec.
user=vaughan
[2009-08-08 15:52:59]
523*2^707463-1 is not prime.  Res64: B337A11D02F1A1A5  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 15:55:21]
495*2^707452-1 is not prime.  Res64: A8D3AE7D2EE8D005  Time : 3373.0 sec.
user=vaughan
[2009-08-08 15:56:07]
571*2^707463-1 is not prime.  Res64: E5A156153CA156F5  Time : 457.0 sec.
user=vaughan
[2009-08-08 15:56:22]
423*2^707463-1 is not prime.  Res64: A4C8D15223A7EF1D  Time : 809.0 sec.
user=gd_barnes
[2009-08-08 16:00:11]
465*2^707453-1 is not prime.  Res64: 0C13263C872E44AB  Time : 3372.0 sec.
user=vaughan
[2009-08-08 16:00:40]
547*2^707465-1 is not prime.  Res64: 5FC7493039F68C7F  Time : 461.0 sec.
user=vaughan
[2009-08-08 16:01:30]
433*2^707463-1 is not prime.  Res64: 3FD2F9DF3F0C61C0  Time : 993.0 sec.
user=gd_barnes
[2009-08-08 16:02:29]
481*2^707453-1 is not prime.  Res64: A707FAA2BDD2B0B3  Time : 3379.0 sec.
user=vaughan
[2009-08-08 16:02:40]
541*2^707463-1 is not prime.  Res64: 32687DB707DFD645  Time : 886.0 sec.
user=gd_barnes
[2009-08-08 16:03:39]
501*2^707454-1 is not prime.  Res64: 21150CEEB6300D46  Time : 3371.0 sec.
user=vaughan
[2009-08-08 16:03:44]
405*2^707466-1 is not prime.  Res64: A3E094AC7134BAF2  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 16:06:35]
593*2^707454-1 is not prime.  Res64: 07D7C8B30527AA4A  Time : 3373.0 sec.
user=vaughan
[2009-08-08 16:07:20]
407*2^707464-1 is not prime.  Res64: F712DC3277B6E2BE  Time : 1093.0 sec.
user=vaughan
[2009-08-08 16:08:22]
405*2^707467-1 is not prime.  Res64: AE76BD423F889A51  Time : 462.0 sec.
user=vaughan
[2009-08-08 16:10:13]
503*2^707466-1 is not prime.  Res64: 166D5422BEBD41EA  Time : 831.0 sec.
user=vaughan
[2009-08-08 16:11:21]
579*2^707468-1 is not prime.  Res64: 5904CF73DFBFB162  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 16:11:25]
499*2^707457-1 is not prime.  Res64: 56F3F6E3B86D409F  Time : 3372.0 sec.
user=gd_barnes
[2009-08-08 16:13:44]
531*2^707457-1 is not prime.  Res64: B94F63C55DA3840D  Time : 3378.0 sec.
user=gd_barnes
[2009-08-08 16:14:54]
585*2^707457-1 is not prime.  Res64: 2439ADB0B2CCF0EB  Time : 3372.0 sec.
user=vaughan
[2009-08-08 16:16:04]
499*2^707469-1 is not prime.  Res64: 05E6342CA9BFB67A  Time : 463.0 sec.
user=vaughan
[2009-08-08 16:17:14]
475*2^707467-1 is not prime.  Res64: 29E8B567774159EB  Time : 874.0 sec.
user=gd_barnes
[2009-08-08 16:17:50]
491*2^707458-1 is not prime.  Res64: E763E031BA2798CD  Time : 3373.0 sec.
user=vaughan
[2009-08-08 16:17:55]
433*2^707467-1 is not prime.  Res64: 5B7F8CA73CFF9E40  Time : 985.0 sec.
user=vaughan
[2009-08-08 16:18:58]
405*2^707470-1 is not prime.  Res64: A3E4AF2E95008988  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 16:22:40]
403*2^707459-1 is not prime.  Res64: 82213D54A3D49CB7  Time : 3373.0 sec.
user=vaughan
[2009-08-08 16:23:40]
595*2^707469-1 is not prime.  Res64: F33E6D2A679A1F1F  Time : 807.0 sec.
user=vaughan
[2009-08-08 16:23:46]
567*2^707470-1 is not prime.  Res64: 19B734052A0C7F56  Time : 463.0 sec.
user=vaughan
[2009-08-08 16:24:55]
487*2^707469-1 is not prime.  Res64: A77A32C7219AB7B5  Time : 1055.0 sec.
user=gd_barnes
[2009-08-08 16:25:01]
451*2^707459-1 is not prime.  Res64: 31B2F6A3541E7DC7  Time : 3378.0 sec.
user=gd_barnes
[2009-08-08 16:26:09]
545*2^707460-1 is not prime.  Res64: 9A187E08C9DC9888  Time : 3372.0 sec.
user=vaughan
[2009-08-08 16:26:35]
531*2^707471-1 is not prime.  Res64: 383EE8897CAACFBA  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 16:29:05]
441*2^707461-1 is not prime.  Res64: BA9B05486F0560EA  Time : 3373.0 sec.
user=vaughan
[2009-08-08 16:31:30]
537*2^707472-1 is not prime.  Res64: 0E4C623B90529382  Time : 464.0 sec.
user=vaughan
[2009-08-08 16:31:36]
445*2^707471-1 is not prime.  Res64: 8D48895E7375D71A  Time : 862.0 sec.
user=gd_barnes
[2009-08-08 16:33:54]
455*2^707462-1 is not prime.  Res64: A2B6FBBAD3569064  Time : 3372.0 sec.
user=vaughan
[2009-08-08 16:33:54]
489*2^707471-1 is not prime.  Res64: 81E9EAB61B83013B  Time : 960.0 sec.
user=vaughan
[2009-08-08 16:34:11]
435*2^707473-1 is not prime.  Res64: EC93F522FC3BB851  Time : 456.0 sec.
user=gd_barnes
[2009-08-08 16:36:16]
467*2^707462-1 is not prime.  Res64: 63D90D58613794A4  Time : 3378.0 sec.
user=vaughan
[2009-08-08 16:37:13]
525*2^707472-1 is not prime.  Res64: 4DCDAAD64F8FC46A  Time : 813.0 sec.
user=gd_barnes
[2009-08-08 16:37:21]
563*2^707462-1 is not prime.  Res64: EA0A2F7FD0D97A34  Time : 3369.0 sec.
user=vaughan
[2009-08-08 16:39:12]
507*2^707473-1 is not prime.  Res64: 2FED56077333BD6D  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 16:40:19]
429*2^707463-1 is not prime.  Res64: 2B00D80894B9FC85  Time : 3373.0 sec.
user=vaughan
[2009-08-08 16:41:47]
415*2^707475-1 is not prime.  Res64: 0712479805FFA854  Time : 456.0 sec.
user=vaughan
[2009-08-08 16:41:49]
587*2^707472-1 is not prime.  Res64: 4E227DE11AD93F1C  Time : 1014.0 sec.
user=gd_barnes
[2009-08-08 16:45:08]
595*2^707463-1 is not prime.  Res64: 35F7DE4DCCC8050A  Time : 3371.0 sec.
user=vaughan
[2009-08-08 16:45:33]
591*2^707473-1 is not prime.  Res64: 6B44070FCED8AE36  Time : 838.0 sec.
user=vaughan
[2009-08-08 16:46:55]
527*2^707476-1 is not prime.  Res64: 4653BC087E8CD995  Time : 463.0 sec.
user=gd_barnes
[2009-08-08 16:47:30]
489*2^707464-1 is not prime.  Res64: B804B77E01451C7C  Time : 3377.0 sec.
user=gd_barnes
[2009-08-08 16:48:36]
509*2^707464-1 is not prime.  Res64: B17295E00D76CCF4  Time : 3371.0 sec.
user=vaughan
[2009-08-08 16:49:23]
539*2^707476-1 is not prime.  Res64: C28C8A02CE12D8A5  Time : 456.0 sec.
user=vaughan
[2009-08-08 16:49:36]
531*2^707474-1 is not prime.  Res64: DDA4FF70105A133F  Time : 942.0 sec.
user=vaughan
[2009-08-08 16:50:30]
437*2^707476-1 is not prime.  Res64: 6434788F29289E83  Time : 797.0 sec.
user=gd_barnes
[2009-08-08 16:51:32]
567*2^707465-1 is not prime.  Res64: 4104A8EC74EB096E  Time : 3372.0 sec.
user=vaughan
[2009-08-08 16:54:37]
567*2^707477-1 is not prime.  Res64: 5607DFA446224CE4  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 16:56:22]
537*2^707466-1 is not prime.  Res64: 3C0208F13AE1403E  Time : 3371.0 sec.
user=vaughan
[2009-08-08 16:57:00]
483*2^707478-1 is not prime.  Res64: AB3D7C47672C349E  Time : 457.0 sec.
user=vaughan
[2009-08-08 16:58:28]
597*2^707476-1 is not prime.  Res64: E524C812F69F22D2  Time : 999.0 sec.
user=gd_barnes
[2009-08-08 16:58:46]
451*2^707467-1 is not prime.  Res64: 91EB59ACFB71C7A1  Time : 3377.0 sec.
user=vaughan
[2009-08-08 16:59:26]
549*2^707477-1 is not prime.  Res64: B5335D643CB381F3  Time : 833.0 sec.
user=gd_barnes
[2009-08-08 16:59:50]
525*2^707468-1 is not prime.  Res64: BDD0A4F6B4517324  Time : 3371.0 sec.
user=vaughan
[2009-08-08 17:02:19]
429*2^707479-1 is not prime.  Res64: 67AA455DC5727C6F  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 17:02:47]
469*2^707469-1 is not prime.  Res64: 1AB882FB26F6C124  Time : 3372.0 sec.
user=vaughan
[2009-08-08 17:03:40]
585*2^707478-1 is not prime.  Res64: 69B0059BAB0C19B2  Time : 791.0 sec.
user=vaughan
[2009-08-08 17:04:36]
525*2^707479-1 is not prime.  Res64: BD812712D2ED0ACA  Time : 456.0 sec.
user=vaughan
[2009-08-08 17:05:28]
551*2^707478-1 is not prime.  Res64: 19920A517A1E722F  Time : 953.0 sec.
user=gd_barnes
[2009-08-08 17:07:37]
465*2^707470-1 is not prime.  Res64: 4A258D699D9CB128  Time : 3372.0 sec.
user=gd_barnes
[2009-08-08 17:10:02]
525*2^707470-1 is not prime.  Res64: F29430A4C89D6480  Time : 3378.0 sec.
user=vaughan
[2009-08-08 17:10:05]
503*2^707480-1 is not prime.  Res64: 9726D5C5C18B684B  Time : 466.0 sec.
user=gd_barnes
[2009-08-08 17:11:03]
527*2^707470-1 is not prime.  Res64: 291B3B147924FA91  Time : 3369.0 sec.
user=vaughan
[2009-08-08 17:12:13]
563*2^707480-1 is not prime.  Res64: DDD08A1FDC5BBCC7  Time : 457.0 sec.
user=vaughan
[2009-08-08 17:13:14]
447*2^707480-1 is not prime.  Res64: C0EA718F43F8997B  Time : 828.0 sec.
user=gd_barnes
[2009-08-08 17:14:01]
451*2^707471-1 is not prime.  Res64: 681634CC7D2CA8F7  Time : 3371.0 sec.
user=vaughan
[2009-08-08 17:15:02]
573*2^707479-1 is not prime.  Res64: 928ABADF0A67C1B1  Time : 994.0 sec.
user=vaughan
[2009-08-08 17:17:10]
557*2^707480-1 is not prime.  Res64: 425A52B247CA4060  Time : 810.0 sec.
user=vaughan
[2009-08-08 17:17:47]
529*2^707481-1 is not prime.  Res64: 0A25067BB2C6220E  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 17:18:52]
513*2^707472-1 is not prime.  Res64: FCD059750FB53ECA  Time : 3372.0 sec.
user=vaughan
[2009-08-08 17:19:50]
483*2^707482-1 is not prime.  Res64: B4BD7C1587E47734  Time : 457.0 sec.
user=vaughan
[2009-08-08 17:21:08]
599*2^707480-1 is not prime.  Res64: E9A293CAE653E9D3  Time : 940.0 sec.
user=gd_barnes
[2009-08-08 17:21:16]
411*2^707473-1 is not prime.  Res64: 8562242BAA8E782C  Time : 3376.0 sec.
user=gd_barnes
[2009-08-08 17:22:18]
427*2^707473-1 is not prime.  Res64: 4A4319DD31E74346  Time : 3370.0 sec.
user=gd_barnes
[2009-08-08 17:25:16]
499*2^707473-1 is not prime.  Res64: EE333FC8FE203C40  Time : 3371.0 sec.
user=vaughan
[2009-08-08 17:25:29]
529*2^707483-1 is not prime.  Res64: C194474101E41AD2  Time : 462.0 sec.
user=vaughan
[2009-08-08 17:26:50]
495*2^707482-1 is not prime.  Res64: B087801B46B10073  Time : 816.0 sec.
user=vaughan
[2009-08-08 17:27:27]
513*2^707484-1 is not prime.  Res64: 5C8A8B3980EF44DB  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 17:30:06]
405*2^707475-1 is not prime.  Res64: 7407A433C8955AA8  Time : 3372.0 sec.
user=vaughan
[2009-08-08 17:30:11]
511*2^707483-1 is not prime.  Res64: 25F73FDA72FAFF47  Time : 781.0 sec.
user=vaughan
[2009-08-08 17:31:30]
439*2^707483-1 is not prime.  Res64: AC64FEEC97C4BFE9  Time : 988.0 sec.
user=gd_barnes
[2009-08-08 17:32:32]
469*2^707475-1 is not prime.  Res64: 063DB6C4A29E4289  Time : 3377.0 sec.
user=vaughan
[2009-08-08 17:33:10]
501*2^707486-1 is not prime.  Res64: D9B66A68A8302CAB  Time : 461.0 sec.
user=gd_barnes
[2009-08-08 17:33:33]
497*2^707476-1 is not prime.  Res64: D95B99D1C20CC612  Time : 3372.0 sec.
user=vaughan
[2009-08-08 17:35:04]
501*2^707487-1 is not prime.  Res64: D24C72A89333DF6D  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 17:36:30]
537*2^707476-1 is not prime.  Res64: 86AAE6A236032D8B  Time : 3371.0 sec.
user=vaughan
[2009-08-08 17:36:56]
563*2^707484-1 is not prime.  Res64: 7ADA2635179AB39C  Time : 948.0 sec.
user=vaughan
[2009-08-08 17:40:35]
465*2^707487-1 is not prime.  Res64: 0F6BAA3A626B939B  Time : 825.0 sec.
user=vaughan
[2009-08-08 17:40:52]
413*2^707488-1 is not prime.  Res64: B38D94A6C5D70FAF  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 17:41:20]
405*2^707477-1 is not prime.  Res64: FBC50BF132B35EFB  Time : 3373.0 sec.
user=vaughan
[2009-08-08 17:42:42]
411*2^707489-1 is not prime.  Res64: 1AF680E224A7E865  Time : 458.0 sec.
user=vaughan
[2009-08-08 17:43:33]
513*2^707487-1 is not prime.  Res64: 28EDB262AF7A579D  Time : 802.0 sec.
user=gd_barnes
[2009-08-08 17:43:48]
571*2^707477-1 is not prime.  Res64: EEAF1F7546A416A4  Time : 3378.0 sec.
user=gd_barnes
[2009-08-08 17:44:47]
447*2^707478-1 is not prime.  Res64: AF5CF6F9E6A4325A  Time : 3371.0 sec.
user=gd_barnes
[2009-08-08 17:47:45]
421*2^707479-1 is not prime.  Res64: 211D6B8AA7B2535E  Time : 3373.0 sec.
user=vaughan
[2009-08-08 17:48:16]
565*2^707487-1 is not prime.  Res64: D9316DD7762F6123  Time : 1006.0 sec.
user=vaughan
[2009-08-08 17:48:33]
511*2^707489-1 is not prime.  Res64: 51374008D68847B9  Time : 461.0 sec.
user=vaughan
[2009-08-08 17:50:19]
401*2^707490-1 is not prime.  Res64: 6109BFDED3EF20D6  Time : 458.0 sec.
user=gd_barnes
[2009-08-08 17:52:35]
441*2^707479-1 is not prime.  Res64: ACE0E7E2398A2A1C  Time : 3373.0 sec.
user=vaughan
[2009-08-08 17:53:05]
445*2^707489-1 is not prime.  Res64: 714E5BDFFC7AA3FB  Time : 969.0 sec.
user=vaughan
[2009-08-08 17:54:34]
465*2^707489-1 is not prime.  Res64: B6420596E7818C78  Time : 839.0 sec.
user=gd_barnes
[2009-08-08 17:55:04]
417*2^707480-1 is not prime.  Res64: FB91A16112D00807  Time : 3378.0 sec.
user=gd_barnes
[2009-08-08 17:56:01]
489*2^707480-1 is not prime.  Res64: 7126B213C0D42D95  Time : 3371.0 sec.
user=vaughan
[2009-08-08 17:56:16]
581*2^707490-1 is not prime.  Res64: 4DF77BA50AA5FC3D  Time : 463.0 sec.
user=vaughan
[2009-08-08 17:56:45]
411*2^707490-1 is not prime.  Res64: AA40B870AE7C0138  Time : 792.0 sec.
user=vaughan
[2009-08-08 17:57:55]
415*2^707491-1 is not prime.  Res64: 5537DE9C7253A3D9  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 17:59:00]
515*2^707480-1 is not prime.  Res64: 1D161665B0821B2B  Time : 3373.0 sec.
user=gd_barnes
[2009-08-08 18:03:49]
415*2^707481-1 is not prime.  Res64: F45BD4E0A35B0C8E  Time : 3372.0 sec.
user=vaughan
[2009-08-08 18:04:01]
445*2^707493-1 is not prime.  Res64: C152848A6B286615  Time : 466.0 sec.
user=vaughan
[2009-08-08 18:04:44]
537*2^707490-1 is not prime.  Res64: 5A54E2D3FC8A7361  Time : 988.0 sec.
user=vaughan
[2009-08-08 18:05:32]
455*2^707494-1 is not prime.  Res64: F7E7FDA2BC8C5E32  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 18:06:19]
427*2^707481-1 is not prime.  Res64: A909C8FEAFD70239  Time : 3377.0 sec.
user=gd_barnes
[2009-08-08 18:07:15]
413*2^707482-1 is not prime.  Res64: 7C0CE75B75F455C3  Time : 3372.0 sec.
user=vaughan
[2009-08-08 18:08:20]
583*2^707491-1 is not prime.  Res64: 6E43B28D7F19502E  Time : 826.0 sec.
user=vaughan
[2009-08-08 18:08:56]
505*2^707491-1 is not prime.  Res64: 33C9DFC21D23A751  Time : 951.0 sec.
user=vaughan
[2009-08-08 18:09:42]
481*2^707493-1 is not prime.  Res64: C1708EC66BEF8825  Time : 777.0 sec.
user=gd_barnes
[2009-08-08 18:10:14]
533*2^707482-1 is not prime.  Res64: C40ECFF25A717B16  Time : 3373.0 sec.
user=vaughan
[2009-08-08 18:11:43]
451*2^707495-1 is not prime.  Res64: E8EC7C2603F10893  Time : 463.0 sec.
user=vaughan
[2009-08-08 18:13:09]
489*2^707495-1 is not prime.  Res64: 11DBD06DF73D7C36  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 18:15:04]
595*2^707483-1 is not prime.  Res64: 555DC4409B356951  Time : 3372.0 sec.
user=gd_barnes
[2009-08-08 18:17:35]
541*2^707485-1 is not prime.  Res64: A05A075506A66BCE  Time : 3379.0 sec.
user=gd_barnes
[2009-08-08 18:18:30]
555*2^707485-1 is not prime.  Res64: A463E7518BFF4AF6  Time : 3372.0 sec.
user=vaughan
[2009-08-08 18:19:25]
555*2^707497-1 is not prime.  Res64: 6292D57531E0E241  Time : 463.0 sec.
user=vaughan
[2009-08-08 18:20:46]
483*2^707498-1 is not prime.  Res64: 13C480DFA6601262  Time : 458.0 sec.
user=vaughan
[2009-08-08 18:21:03]
463*2^707495-1 is not prime.  Res64: 56D3C7F6CE61AF88  Time : 979.0 sec.
user=gd_barnes
[2009-08-08 18:21:28]
567*2^707485-1 is not prime.  Res64: 8D7DD168E81A0894  Time : 3373.0 sec.
user=vaughan
[2009-08-08 18:21:49]
405*2^707496-1 is not prime.  Res64: 576076AE6FCE889E  Time : 809.0 sec.
user=vaughan
[2009-08-08 18:22:05]
585*2^707496-1 is not prime.  Res64: A8656F5A5C991074  Time : 743.0 sec.
user=vaughan
[2009-08-08 18:24:08]
503*2^707496-1 is not prime.  Res64: E992334739870CC2  Time : 912.0 sec.
user=gd_barnes
[2009-08-08 18:26:18]
511*2^707487-1 is not prime.  Res64: 2068EDE37E02EFCC  Time : 3373.0 sec.
user=vaughan
[2009-08-08 18:27:06]
437*2^707500-1 is not prime.  Res64: A3D5CDDCEA8EF566  Time : 462.0 sec.
user=vaughan
[2009-08-08 18:28:23]
449*2^707500-1 is not prime.  Res64: 193441542D31452D  Time : 458.0 sec.
user=gd_barnes
[2009-08-08 18:28:50]
585*2^707487-1 is not prime.  Res64: 7BBE8A00DD628798  Time : 3378.0 sec.
user=gd_barnes
[2009-08-08 18:29:44]
597*2^707488-1 is not prime.  Res64: E535DBE7512BF312  Time : 3371.0 sec.
user=gd_barnes
[2009-08-08 18:32:43]
435*2^707489-1 is not prime.  Res64: ACD3112035A28367  Time : 3373.0 sec.
user=vaughan
[2009-08-08 18:34:48]
447*2^707502-1 is not prime.  Res64: EC3E63FB9E9C79D4  Time : 463.0 sec.
user=vaughan
[2009-08-08 18:35:14]
459*2^707501-1 is not prime.  Res64: C91D66452764305A  Time : 805.0 sec.
user=vaughan
[2009-08-08 18:35:15]
477*2^707501-1 is not prime.  Res64: 20CCA790680256BB  Time : 791.0 sec.
user=vaughan
[2009-08-08 18:36:00]
585*2^707502-1 is not prime.  Res64: 92C51DA8CCE9067E  Time : 458.0 sec.
user=vaughan
[2009-08-08 18:36:34]
569*2^707500-1 is not prime.  Res64: 2286E048A0464F3B  Time : 932.0 sec.
user=gd_barnes
[2009-08-08 18:37:33]
595*2^707489-1 is not prime.  Res64: 3F143695F150342D  Time : 3373.0 sec.
user=vaughan
[2009-08-08 18:39:26]
571*2^707501-1 is not prime.  Res64: 7466DDADC3CA54F2  Time : 918.0 sec.
user=gd_barnes
[2009-08-08 18:40:05]
453*2^707490-1 is not prime.  Res64: 3A76F1D3B6D63A44  Time : 3377.0 sec.
user=gd_barnes
[2009-08-08 18:40:58]
501*2^707490-1 is not prime.  Res64: 94444563F7FBDF0C  Time : 3371.0 sec.
user=vaughan
[2009-08-08 18:42:30]
573*2^707504-1 is not prime.  Res64: E47C32D0F9A4D68B  Time : 463.0 sec.
user=vaughan
[2009-08-08 18:43:36]
475*2^707505-1 is not prime.  Res64: 5B6D0CB2C1261F30  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 18:43:58]
525*2^707490-1 is not prime.  Res64: 1D10194ACBB902C2  Time : 3373.0 sec.
user=vaughan
[2009-08-08 18:48:19]
441*2^707505-1 is not prime.  Res64: 54F27DC70F9F172B  Time : 784.0 sec.
user=vaughan
[2009-08-08 18:48:42]
599*2^707504-1 is not prime.  Res64: F7DCAA3B13F3ABD0  Time : 808.0 sec.
user=gd_barnes
[2009-08-08 18:48:47]
439*2^707491-1 is not prime.  Res64: C83E803C98B195CB  Time : 3372.0 sec.
user=vaughan
[2009-08-08 18:50:13]
465*2^707506-1 is not prime.  Res64: 058F9300835EC93E  Time : 464.0 sec.
user=vaughan
[2009-08-08 18:51:14]
525*2^707506-1 is not prime.  Res64: BE08A2ECADAEC4B2  Time : 458.0 sec.
user=gd_barnes
[2009-08-08 18:51:21]
449*2^707492-1 is not prime.  Res64: 77016D5A0849BD9F  Time : 3378.0 sec.
user=gd_barnes
[2009-08-08 18:52:12]
417*2^707493-1 is not prime.  Res64: 41BA4B769463B5B2  Time : 3371.0 sec.
user=vaughan
[2009-08-08 18:52:52]
481*2^707505-1 is not prime.  Res64: 6A1FBA135B12AF70  Time : 978.0 sec.
user=vaughan
[2009-08-08 18:54:54]
555*2^707505-1 is not prime.  Res64: D70973E946F238B4  Time : 928.0 sec.
user=gd_barnes
[2009-08-08 18:55:12]
477*2^707494-1 is not prime.  Res64: 82428E7F0C6868D6  Time : 3372.0 sec.
user=vaughan
[2009-08-08 18:58:14]
451*2^707507-1 is not prime.  Res64: 29F46983EF100D00  Time : 482.0 sec.
user=vaughan
[2009-08-08 18:58:54]
573*2^707507-1 is not prime.  Res64: 00D3F4D32691AA5A  Time : 460.0 sec.
user=gd_barnes
[2009-08-08 19:00:02]
491*2^707494-1 is not prime.  Res64: 8F8BE931A2B28A30  Time : 3373.0 sec.
user=vaughan
[2009-08-08 19:01:45]
567*2^707506-1 is not prime.  Res64: 938A5A3EEC254EA9  Time : 806.0 sec.
user=vaughan
[2009-08-08 19:02:06]
575*2^707506-1 is not prime.  Res64: F81F8A23CC386C53  Time : 804.0 sec.
user=gd_barnes
[2009-08-08 19:02:37]
501*2^707495-1 is not prime.  Res64: 61FF0057B374D9C2  Time : 3378.0 sec.
user=gd_barnes
[2009-08-08 19:03:27]
553*2^707495-1 is not prime.  Res64: C2EBAB261BADEA65  Time : 3372.0 sec.
user=vaughan
[2009-08-08 19:05:55]
577*2^707509-1 is not prime.  Res64: 83F3067625CCB2BE  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 19:06:28]
549*2^707497-1 is not prime.  Res64: F151552F2D66FB1B  Time : 3374.0 sec.
user=vaughan
[2009-08-08 19:06:33]
417*2^707510-1 is not prime.  Res64: D978C2188F3EB18E  Time : 459.0 sec.
user=vaughan
[2009-08-08 19:08:33]
539*2^707508-1 is not prime.  Res64: B367C5D0400CF66B  Time : 941.0 sec.
user=vaughan
[2009-08-08 19:10:15]
555*2^707508-1 is not prime.  Res64: 383B44418D847FBF  Time : 921.0 sec.
user=gd_barnes
[2009-08-08 19:11:17]
563*2^707498-1 is not prime.  Res64: F80A22BF38DE8C53  Time : 3373.0 sec.
user=vaughan
[2009-08-08 19:13:36]
419*2^707512-1 is not prime.  Res64: 925442D6564AEEBA  Time : 461.0 sec.
user=gd_barnes
[2009-08-08 19:13:53]
585*2^707498-1 is not prime.  Res64: 1A8627DD9CA07D98  Time : 3378.0 sec.
user=vaughan
[2009-08-08 19:14:10]
539*2^707512-1 is not prime.  Res64: 080D8D576D01C6EF  Time : 458.0 sec.
user=gd_barnes
[2009-08-08 19:14:40]
553*2^707499-1 is not prime.  Res64: F657AC02E9BDFA9F  Time : 3370.0 sec.
user=vaughan
[2009-08-08 19:15:07]
561*2^707510-1 is not prime.  Res64: AD26FC7814612600  Time : 802.0 sec.
user=vaughan
[2009-08-08 19:15:33]
591*2^707510-1 is not prime.  Res64: 87CF31D02F7C0156  Time : 807.0 sec.
user=gd_barnes
[2009-08-08 19:17:43]
411*2^707501-1 is not prime.  Res64: DE04F8E6D80F92C4  Time : 3375.0 sec.
user=vaughan
[2009-08-08 19:21:19]
495*2^707513-1 is not prime.  Res64: D6AE2747497B9683  Time : 463.0 sec.
user=vaughan
[2009-08-08 19:21:48]
497*2^707514-1 is not prime.  Res64: D0030282F2A87267  Time : 459.0 sec.
user=gd_barnes
[2009-08-08 19:22:32]
437*2^707502-1 is not prime.  Res64: 165FA733C8F0CB69  Time : 3374.0 sec.
user=vaughan
[2009-08-08 19:24:36]
569*2^707512-1 is not prime.  Res64: 139E6ACED0B68F1A  Time : 963.0 sec.
user=gd_barnes
[2009-08-08 19:25:08]
591*2^707502-1 is not prime.  Res64: 01E1F7BE154215C9  Time : 3378.0 sec.
user=vaughan
[2009-08-08 19:25:39]
573*2^707512-1 is not prime.  Res64: 4F01EDC25D58C353  Time : 924.0 sec.
user=gd_barnes
[2009-08-08 19:25:54]
441*2^707503-1 is not prime.  Res64: 2587FACA7CA25704  Time : 3371.0 sec.
user=vaughan
[2009-08-08 19:28:13]
551*2^707514-1 is not prime.  Res64: 5B577C3EAC237A2F  Time : 786.0 sec.
user=vaughan
[2009-08-08 19:28:53]
489*2^707515-1 is not prime.  Res64: 1A092BD847402A21  Time : 801.0 sec.
user=gd_barnes
[2009-08-08 19:28:58]
465*2^707503-1 is not prime.  Res64: 6E4D51D1C0FA487A  Time : 3375.0 sec.
user=vaughan
[2009-08-08 19:29:02]
595*2^707515-1 is not prime.  Res64: C38F9C39B3DEE95A  Time : 463.0 sec.
user=vaughan
[2009-08-08 19:29:26]
449*2^707516-1 is not prime.  Res64: 0269A3DB92CA970A  Time : 458.0 sec.
user=gd_barnes
[2009-08-08 19:33:52]
507*2^707505-1 is not prime.  Res64: C79F7E8ABC2589D2  Time : 3380.0 sec.
user=gd_barnes
[2009-08-08 19:36:30]
425*2^707506-1 is not prime.  Res64: E34B851707CEBED5  Time : 3385.0 sec.
user=vaughan
[2009-08-08 19:36:44]
551*2^707518-1 is not prime.  Res64: 82D43FBBD7AC1F87  Time : 462.0 sec.
user=vaughan
[2009-08-08 19:37:03]
459*2^707519-1 is not prime.  Res64: 49F7BEB02EF7EDF0  Time : 458.0 sec.
user=gd_barnes
[2009-08-08 19:37:16]
447*2^707506-1 is not prime.  Res64: 28E927BF1C38DF3D  Time : 3378.0 sec.
user=gd_barnes
[2009-08-08 19:40:22]
551*2^707506-1 is not prime.  Res64: 5311C2F60896E876  Time : 3385.0 sec.
user=vaughan
[2009-08-08 19:40:39]
525*2^707516-1 is not prime.  Res64: FACA2B93B5979A9A  Time : 963.0 sec.
user=vaughan
[2009-08-08 19:41:08]
507*2^707517-1 is not prime.  Res64: 1F273B8FA463351A  Time : 929.0 sec.
user=vaughan
[2009-08-08 19:41:10]
555*2^707517-1 is not prime.  Res64: E1E4A627CFC16FF0  Time : 777.0 sec.
user=vaughan
[2009-08-08 19:42:11]
577*2^707517-1 is not prime.  Res64: 8B2E4AB23131246B  Time : 798.0 sec.
user=vaughan
[2009-08-08 19:44:25]
509*2^707520-1 is not prime.  Res64: 9B423F00D08BD38A  Time : 461.0 sec.
user=vaughan
[2009-08-08 19:44:41]
409*2^707521-1 is not prime.  Res64: 7E6B33B3044D6097  Time : 459.0 sec.
user=gd_barnes
[2009-08-08 19:45:07]
421*2^707507-1 is not prime.  Res64: E1F3A786058EB878  Time : 3380.0 sec.
user=gd_barnes
[2009-08-08 19:47:46]
459*2^707508-1 is not prime.  Res64: 2752AEBF72109565  Time : 3385.0 sec.
user=gd_barnes
[2009-08-08 19:48:30]
527*2^707508-1 is not prime.  Res64: 386772AF1BBE82AF  Time : 3378.0 sec.
user=gd_barnes
[2009-08-08 19:51:37]
569*2^707508-1 is not prime.  Res64: AC2A05BFC36F5E39  Time : 3385.0 sec.
user=vaughan
[2009-08-08 19:52:10]
433*2^707523-1 is not prime.  Res64: 276A6632733F0333  Time : 465.0 sec.
user=vaughan
[2009-08-08 19:52:19]
439*2^707523-1 is not prime.  Res64: 778D71B721ECB194  Time : 459.0 sec.
user=vaughan
[2009-08-08 19:54:24]
407*2^707522-1 is not prime.  Res64: B2BA6E03DE341659  Time : 795.0 sec.
user=vaughan
[2009-08-08 19:55:29]
483*2^707522-1 is not prime.  Res64: 25D48A43905C2AA2  Time : 798.0 sec.
user=gd_barnes
[2009-08-08 19:56:22]
447*2^707510-1 is not prime.  Res64: 03B410BDBC859F6C  Time : 3380.0 sec.
user=vaughan
[2009-08-08 19:56:32]
535*2^707521-1 is not prime.  Res64: 107FE09D1FBAD0DF  Time : 954.0 sec.
user=vaughan
[2009-08-08 19:56:36]
591*2^707521-1 is not prime.  Res64: 8504968E679F3902  Time : 929.0 sec.
user=gd_barnes
[2009-08-08 19:59:02]
405*2^707511-1 is not prime.  Res64: 177AA9A0F73468EA  Time : 3385.0 sec.
user=gd_barnes
[2009-08-08 19:59:44]
531*2^707511-1 is not prime.  Res64: 2A547F151A3D8542  Time : 3377.0 sec.
user=vaughan
[2009-08-08 19:59:54]
495*2^707523-1 is not prime.  Res64: 84B23B8F35C7BAA7  Time : 464.0 sec.
user=vaughan
[2009-08-08 19:59:56]
571*2^707523-1 is not prime.  Res64: B8BEBAE6A8D11010  Time : 458.0 sec.
user=gd_barnes
[2009-08-08 20:02:52]
483*2^707512-1 is not prime.  Res64: 95F4D9DAF7C02797  Time : 3384.0 sec.
user=vaughan
[2009-08-08 20:07:33]
489*2^707525-1 is not prime.  Res64: BF3C9E57A8F7E59F  Time : 458.0 sec.
user=vaughan
[2009-08-08 20:07:36]
475*2^707525-1 is not prime.  Res64: 19A71C3DFA53429F  Time : 463.0 sec.
user=gd_barnes
[2009-08-08 20:07:37]
441*2^707513-1 is not prime.  Res64: 3DBB46A06F44872B  Time : 3380.0 sec.
user=vaughan
[2009-08-08 20:08:16]
595*2^707523-1 is not prime.  Res64: FDBA2552357B45FC  Time : 832.0 sec.
user=vaughan
[2009-08-08 20:09:14]
419*2^707524-1 is not prime.  Res64: 452A454D792126E5  Time : 825.0 sec.
user=gd_barnes
[2009-08-08 20:10:17]
567*2^707513-1 is not prime.  Res64: 11964263CAEC4A72  Time : 3384.0 sec.
user=gd_barnes
[2009-08-08 20:10:58]
531*2^707514-1 is not prime.  Res64: 7E72A883F0259B44  Time : 3378.0 sec.
user=vaughan
[2009-08-08 20:12:22]
527*2^707524-1 is not prime.  Res64: A66E50B7331F97C4  Time : 946.0 sec.
user=vaughan
[2009-08-08 20:13:33]
483*2^707524-1 is not prime.  Res64: A0851355FA143448  Time : 1021.0 sec.
user=gd_barnes
[2009-08-08 20:14:06]
499*2^707515-1 is not prime.  Res64: 4693103B8D7B9D30  Time : 3383.0 sec.
user=vaughan
[2009-08-08 20:15:10]
405*2^707526-1 is not prime.  Res64: AA311BDDA7E7A012  Time : 458.0 sec.
user=vaughan
[2009-08-08 20:15:18]
447*2^707526-1 is not prime.  Res64: FAF6C779F21FD466  Time : 463.0 sec.
user=gd_barnes
[2009-08-08 20:18:51]
515*2^707516-1 is not prime.  Res64: DE01396AC56692B0  Time : 3380.0 sec.
user=vaughan
[2009-08-08 20:21:28]
465*2^707526-1 is not prime.  Res64: B6C4B8DEA32D9D7D  Time : 793.0 sec.
user=gd_barnes
[2009-08-08 20:21:33]
585*2^707516-1 is not prime.  Res64: 99D321001C5FE79D  Time : 3385.0 sec.
user=gd_barnes
[2009-08-08 20:22:12]
529*2^707517-1 is not prime.  Res64: DF9AB208D67A4CF7  Time : 3378.0 sec.
user=vaughan
[2009-08-08 20:22:47]
519*2^707527-1 is not prime.  Res64: 9FA67B134AA48970  Time : 458.0 sec.
user=vaughan
[2009-08-08 20:22:59]
495*2^707528-1 is not prime.  Res64: B29FDB38DD1C6666  Time : 462.0 sec.
user=vaughan
[2009-08-08 20:23:38]
473*2^707526-1 is not prime.  Res64: B025C81AA4B8F05E  Time : 864.0 sec.
user=gd_barnes
[2009-08-08 20:25:21]
461*2^707518-1 is not prime.  Res64: BA931FD202001DA8  Time : 3383.0 sec.
user=vaughan
[2009-08-08 20:28:30]
593*2^707526-1 is not prime.  Res64: 60BE93504C8DD812  Time : 968.0 sec.
user=gd_barnes
[2009-08-08 20:30:05]
463*2^707519-1 is not prime.  Res64: 79E9EA3347C1F375  Time : 3373.0 sec.
user=vaughan
[2009-08-08 20:30:25]
401*2^707530-1 is not prime.  Res64: 2A7219BC2A7BD809  Time : 459.0 sec.
user=vaughan
[2009-08-08 20:30:40]
413*2^707530-1 is not prime.  Res64: 954E3787FA3CE48B  Time : 462.0 sec.
user=vaughan
[2009-08-08 20:30:53]
423*2^707527-1 is not prime.  Res64: 096A76F511070E5C  Time : 1040.0 sec.
user=gd_barnes
[2009-08-08 20:32:50]
423*2^707520-1 is not prime.  Res64: 676D7190487ABAFC  Time : 3380.0 sec.
user=gd_barnes
[2009-08-08 20:33:27]
471*2^707521-1 is not prime.  Res64: EF24272947283223  Time : 3371.0 sec.
user=vaughan
[2009-08-08 20:34:56]
533*2^707528-1 is not prime.  Res64: 60DADEFE5410DE79  Time : 808.0 sec.
user=gd_barnes
[2009-08-08 20:36:36]
525*2^707521-1 is not prime.  Res64: 04413A1E8D662A59  Time : 3374.0 sec.
user=vaughan
[2009-08-08 20:37:21]
425*2^707530-1 is not prime.  Res64: 615A56E45DCA2ECE  Time : 823.0 sec.
user=vaughan
[2009-08-08 20:38:02]
447*2^707532-1 is not prime.  Res64: AE4341206466B761  Time : 458.0 sec.
user=vaughan
[2009-08-08 20:38:22]
489*2^707532-1 is not prime.  Res64: 9AD009A7F42EAD65  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 20:41:20]
441*2^707523-1 is not prime.  Res64: 0B66A2FA8C595FF3  Time : 3373.0 sec.
user=vaughan
[2009-08-08 20:43:35]
465*2^707531-1 is not prime.  Res64: 9FD6E898307CB387  Time : 905.0 sec.
user=gd_barnes
[2009-08-08 20:44:06]
475*2^707523-1 is not prime.  Res64: 25F6AE83AF5955F7  Time : 3380.0 sec.
user=gd_barnes
[2009-08-08 20:44:41]
481*2^707523-1 is not prime.  Res64: 0563C5CA5070CD4F  Time : 3371.0 sec.
user=vaughan
[2009-08-08 20:45:38]
525*2^707534-1 is not prime.  Res64: DCCADB4DDF6E103C  Time : 457.0 sec.
user=vaughan
[2009-08-08 20:46:04]
561*2^707534-1 is not prime.  Res64: 5F10105730B766AE  Time : 462.0 sec.
user=vaughan
[2009-08-08 20:46:59]
537*2^707532-1 is not prime.  Res64: 7D4C8450C9F61FDC  Time : 966.0 sec.
user=gd_barnes
[2009-08-08 20:47:50]
493*2^707523-1 is not prime.  Res64: 0D1C4E6D543CCBEF  Time : 3373.0 sec.
user=vaughan
[2009-08-08 20:48:17]
589*2^707533-1 is not prime.  Res64: 138B8C6A19DDAED8  Time : 801.0 sec.
user=vaughan
[2009-08-08 20:51:10]
521*2^707534-1 is not prime.  Res64: B175DF718040AE84  Time : 829.0 sec.
user=gd_barnes
[2009-08-08 20:52:35]
435*2^707524-1 is not prime.  Res64: 5F39EC7ECEBFB6E6  Time : 3373.0 sec.
user=vaughan
[2009-08-08 20:53:14]
535*2^707535-1 is not prime.  Res64: 5A127E9869C4A808  Time : 457.0 sec.
user=vaughan
[2009-08-08 20:53:46]
579*2^707535-1 is not prime.  Res64: 533C0CF01CE9925C  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 20:55:21]
569*2^707524-1 is not prime.  Res64: 8B040EAA2475F346  Time : 3380.0 sec.
user=gd_barnes
[2009-08-08 20:55:54]
587*2^707524-1 is not prime.  Res64: 86F7029D503BA522  Time : 3371.0 sec.
user=gd_barnes
[2009-08-08 20:59:04]
511*2^707525-1 is not prime.  Res64: 758403F43EE9837F  Time : 3372.0 sec.
user=vaughan
[2009-08-08 20:59:16]
433*2^707535-1 is not prime.  Res64: 564D6317DCDA9D4F  Time : 941.0 sec.
user=vaughan
[2009-08-08 21:00:50]
517*2^707537-1 is not prime.  Res64: 709A05B025957616  Time : 457.0 sec.
user=vaughan
[2009-08-08 21:01:12]
405*2^707537-1 is not prime.  Res64: FD64246D6DC153F3  Time : 775.0 sec.
user=vaughan
[2009-08-08 21:01:28]
537*2^707537-1 is not prime.  Res64: 67A77E5FCF68996D  Time : 462.0 sec.
user=vaughan
[2009-08-08 21:03:04]
485*2^707536-1 is not prime.  Res64: 30BCE3AC9E970D39  Time : 966.0 sec.
user=gd_barnes
[2009-08-08 21:03:50]
455*2^707526-1 is not prime.  Res64: 110B89D4D96B061A  Time : 3373.0 sec.
user=vaughan
[2009-08-08 21:04:26]
421*2^707537-1 is not prime.  Res64: C83EBBEDE5FE2FC9  Time : 796.0 sec.
user=gd_barnes
[2009-08-08 21:06:38]
513*2^707526-1 is not prime.  Res64: 51B26AAA820AEE77  Time : 3381.0 sec.
user=gd_barnes
[2009-08-08 21:07:08]
551*2^707526-1 is not prime.  Res64: C58BB1F28F14E8F6  Time : 3370.0 sec.
user=vaughan
[2009-08-08 21:08:26]
483*2^707539-1 is not prime.  Res64: 05D8DC342ABA111E  Time : 457.0 sec.
user=vaughan
[2009-08-08 21:09:09]
505*2^707539-1 is not prime.  Res64: DE88FF6F862ABED6  Time : 461.0 sec.
user=gd_barnes
[2009-08-08 21:10:19]
471*2^707527-1 is not prime.  Res64: 034170999B6804DA  Time : 3373.0 sec.
user=vaughan
[2009-08-08 21:14:29]
503*2^707538-1 is not prime.  Res64: B2474ADBD8D4F0EA  Time : 913.0 sec.
user=vaughan
[2009-08-08 21:14:35]
499*2^707539-1 is not prime.  Res64: 049E5F09504058B6  Time : 803.0 sec.
user=gd_barnes
[2009-08-08 21:15:05]
507*2^707528-1 is not prime.  Res64: B2371690A190E1B7  Time : 3375.0 sec.
user=vaughan
[2009-08-08 21:16:03]
525*2^707540-1 is not prime.  Res64: CE0E13CF8BBA1B75  Time : 457.0 sec.
user=vaughan
[2009-08-08 21:16:51]
487*2^707541-1 is not prime.  Res64: 369FC031BEFEA7A6  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 21:17:54]
539*2^707528-1 is not prime.  Res64: A5CB8AC3DAA414F7  Time : 3381.0 sec.
user=gd_barnes
[2009-08-08 21:18:23]
511*2^707529-1 is not prime.  Res64: CB85864FBC13E756  Time : 3371.0 sec.
user=vaughan
[2009-08-08 21:18:44]
425*2^707540-1 is not prime.  Res64: 3F3632213CEB8808  Time : 859.0 sec.
user=vaughan
[2009-08-08 21:20:25]
579*2^707539-1 is not prime.  Res64: 6B3362FE125EBFD6  Time : 1041.0 sec.
user=gd_barnes
[2009-08-08 21:21:32]
597*2^707530-1 is not prime.  Res64: 6C0F2F17529D9CD1  Time : 3371.0 sec.
user=vaughan
[2009-08-08 21:23:40]
447*2^707542-1 is not prime.  Res64: FB59CB705281339B  Time : 458.0 sec.
user=vaughan
[2009-08-08 21:24:33]
483*2^707542-1 is not prime.  Res64: 9E6C62481B487B48  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 21:26:20]
531*2^707531-1 is not prime.  Res64: 92C523922725CEEE  Time : 3375.0 sec.
user=vaughan
[2009-08-08 21:28:24]
537*2^707541-1 is not prime.  Res64: 0FE82765D2BECA98  Time : 829.0 sec.
user=gd_barnes
[2009-08-08 21:29:10]
555*2^707532-1 is not prime.  Res64: 2E5150AFCC79DA81  Time : 3380.0 sec.
user=gd_barnes
[2009-08-08 21:29:36]
593*2^707532-1 is not prime.  Res64: EBE81C37B11AEA4A  Time : 3369.0 sec.
user=vaughan
[2009-08-08 21:31:08]
507*2^707541-1 is not prime.  Res64: CE930FB98D8DD2BC  Time : 999.0 sec.
user=vaughan
[2009-08-08 21:31:17]
519*2^707543-1 is not prime.  Res64: 8130D3CF41740AA4  Time : 457.0 sec.
user=vaughan
[2009-08-08 21:32:15]
549*2^707543-1 is not prime.  Res64: 52DD36C2E6AABE80  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 21:32:47]
503*2^707534-1 is not prime.  Res64: 451595DEB7789DE2  Time : 3371.0 sec.
user=vaughan
[2009-08-08 21:33:26]
465*2^707543-1 is not prime.  Res64: 6F55182972BDBF88  Time : 882.0 sec.
user=gd_barnes
[2009-08-08 21:37:34]
405*2^707535-1 is not prime.  Res64: 1AB1E81FAFF6099E  Time : 3374.0 sec.
user=vaughan
[2009-08-08 21:38:15]
489*2^707543-1 is not prime.  Res64: 4B9EC89AE2E89E69  Time : 1070.0 sec.
user=vaughan
[2009-08-08 21:38:54]
541*2^707545-1 is not prime.  Res64: 512E92B704D18721  Time : 457.0 sec.
user=vaughan
[2009-08-08 21:39:57]
597*2^707545-1 is not prime.  Res64: 9DE62EE61D763758  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 21:40:25]
453*2^707535-1 is not prime.  Res64: FC19062CB0427EE6  Time : 3380.0 sec.
user=gd_barnes
[2009-08-08 21:40:51]
481*2^707535-1 is not prime.  Res64: ACE7264CC8E45A46  Time : 3371.0 sec.
user=vaughan
[2009-08-08 21:42:29]
473*2^707544-1 is not prime.  Res64: 489FE67066F36352  Time : 846.0 sec.
user=gd_barnes
[2009-08-08 21:44:02]
563*2^707536-1 is not prime.  Res64: E492A78D78622F51  Time : 3372.0 sec.
user=vaughan
[2009-08-08 21:46:32]
585*2^707546-1 is not prime.  Res64: C4DFDD31AF62FB00  Time : 458.0 sec.
user=vaughan
[2009-08-08 21:47:26]
477*2^707545-1 is not prime.  Res64: 76862B4B6B524FEA  Time : 978.0 sec.
user=vaughan
[2009-08-08 21:47:38]
437*2^707546-1 is not prime.  Res64: 2BC550CCC94E6AB5  Time : 852.0 sec.
user=vaughan
[2009-08-08 21:47:38]
587*2^707546-1 is not prime.  Res64: 38088D9683369F80  Time : 461.0 sec.
user=gd_barnes
[2009-08-08 21:48:49]
447*2^707537-1 is not prime.  Res64: 28EDB0644A55CE24  Time : 3374.0 sec.
user=gd_barnes
[2009-08-08 21:51:46]
431*2^707538-1 is not prime.  Res64: 02C419965FFB1BA8  Time : 3385.0 sec.
user=gd_barnes
[2009-08-08 21:52:12]
443*2^707538-1 is not prime.  Res64: 0BDF4983047D08D0  Time : 3378.0 sec.
user=vaughan
[2009-08-08 21:54:09]
585*2^707547-1 is not prime.  Res64: 64F2A7CAA31300B7  Time : 457.0 sec.
user=vaughan
[2009-08-08 21:55:00]
581*2^707546-1 is not prime.  Res64: 85DF5E09A8C3BE00  Time : 1006.0 sec.
user=gd_barnes
[2009-08-08 21:55:17]
465*2^707538-1 is not prime.  Res64: 5B89F10F668BC75E  Time : 3373.0 sec.
user=vaughan
[2009-08-08 21:55:20]
483*2^707548-1 is not prime.  Res64: 89213A44725F75E1  Time : 462.0 sec.
user=vaughan
[2009-08-08 21:56:12]
529*2^707547-1 is not prime.  Res64: 20723DB650578565  Time : 823.0 sec.
user=gd_barnes
[2009-08-08 22:00:03]
405*2^707540-1 is not prime.  Res64: C3EBEEB976261EAB  Time : 3374.0 sec.
user=vaughan
[2009-08-08 22:01:03]
453*2^707548-1 is not prime.  Res64: 0783D80D29EE7F82  Time : 805.0 sec.
user=vaughan
[2009-08-08 22:01:47]
447*2^707549-1 is not prime.  Res64: A02F1FB261B9B3A0  Time : 458.0 sec.
user=vaughan
[2009-08-08 22:02:57]
429*2^707548-1 is not prime.  Res64: DCD0C729CBCA0672  Time : 931.0 sec.
user=gd_barnes
[2009-08-08 22:02:58]
477*2^707540-1 is not prime.  Res64: 66407A0A964D70AC  Time : 3380.0 sec.
user=vaughan
[2009-08-08 22:03:03]
401*2^707550-1 is not prime.  Res64: C2270512DE755221  Time : 463.0 sec.
user=gd_barnes
[2009-08-08 22:03:20]
495*2^707540-1 is not prime.  Res64: 635189A9A7A9117F  Time : 3372.0 sec.
user=gd_barnes
[2009-08-08 22:06:31]
499*2^707541-1 is not prime.  Res64: 9370853BA7D67901  Time : 3373.0 sec.
user=vaughan
[2009-08-08 22:09:22]
413*2^707550-1 is not prime.  Res64: FE9D59697D59BAEF  Time : 790.0 sec.
user=vaughan
[2009-08-08 22:09:24]
521*2^707550-1 is not prime.  Res64: 70896C4559A34B48  Time : 457.0 sec.
user=vaughan
[2009-08-08 22:10:45]
423*2^707551-1 is not prime.  Res64: 062D720533477FA1  Time : 462.0 sec.
user=vaughan
[2009-08-08 22:11:16]
525*2^707549-1 is not prime.  Res64: ABC12726E1FF3237  Time : 976.0 sec.
user=gd_barnes
[2009-08-08 22:11:18]
579*2^707541-1 is not prime.  Res64: 95567967D9ACFDE5  Time : 3373.0 sec.
user=gd_barnes
[2009-08-08 22:14:15]
545*2^707542-1 is not prime.  Res64: 44E231E8EE32B28B  Time : 3381.0 sec.
user=gd_barnes
[2009-08-08 22:14:33]
423*2^707543-1 is not prime.  Res64: 1168CB88F4EE22D8  Time : 3370.0 sec.
user=vaughan
[2009-08-08 22:14:36]
515*2^707550-1 is not prime.  Res64: ED4C28300BB45EC9  Time : 813.0 sec.
user=vaughan
[2009-08-08 22:17:01]
511*2^707551-1 is not prime.  Res64: A3CD047B2A81E4F5  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 22:17:45]
505*2^707543-1 is not prime.  Res64: 6F2938C6BAF1C145  Time : 3373.0 sec.
user=vaughan
[2009-08-08 22:18:27]
563*2^707550-1 is not prime.  Res64: 8B4787E7FD287755  Time : 930.0 sec.
user=vaughan
[2009-08-08 22:18:27]
531*2^707551-1 is not prime.  Res64: 89BA6FA3B3EC07AB  Time : 462.0 sec.
user=vaughan
[2009-08-08 22:22:29]
493*2^707551-1 is not prime.  Res64: BC0832849FEEE39A  Time : 787.0 sec.
user=gd_barnes
[2009-08-08 22:22:33]
413*2^707544-1 is not prime.  Res64: 8A68103C544BC1D6  Time : 3373.0 sec.
user=vaughan
[2009-08-08 22:24:38]
427*2^707553-1 is not prime.  Res64: 78209AB2AFA7EE9F  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 22:25:30]
497*2^707544-1 is not prime.  Res64: DE80D8758C02A73D  Time : 3381.0 sec.
user=gd_barnes
[2009-08-08 22:25:47]
507*2^707544-1 is not prime.  Res64: 5728635503301163  Time : 3371.0 sec.
user=vaughan
[2009-08-08 22:26:10]
413*2^707554-1 is not prime.  Res64: C33010859F38EA67  Time : 463.0 sec.
user=vaughan
[2009-08-08 22:27:44]
483*2^707552-1 is not prime.  Res64: 631DABD8BBF399D0  Time : 988.0 sec.
user=vaughan
[2009-08-08 22:28:18]
593*2^707552-1 is not prime.  Res64: E46E69F599694D8B  Time : 822.0 sec.
user=gd_barnes
[2009-08-08 22:29:00]
407*2^707546-1 is not prime.  Res64: 11CA9D94FCC510E6  Time : 3373.0 sec.
user=vaughan
[2009-08-08 22:32:14]
531*2^707554-1 is not prime.  Res64: 747C335FD9223A9F  Time : 456.0 sec.
user=gd_barnes
[2009-08-08 22:33:47]
507*2^707546-1 is not prime.  Res64: 03A05D088A46F1C2  Time : 3373.0 sec.
user=vaughan
[2009-08-08 22:33:52]
531*2^707555-1 is not prime.  Res64: 9D81F58AB49F468A  Time : 462.0 sec.
user=vaughan
[2009-08-08 22:34:10]
591*2^707553-1 is not prime.  Res64: 8639DA3807A6049C  Time : 943.0 sec.
user=vaughan
[2009-08-08 22:36:20]
491*2^707554-1 is not prime.  Res64: 218908B92B11DB2F  Time : 831.0 sec.
user=gd_barnes
[2009-08-08 22:36:46]
441*2^707547-1 is not prime.  Res64: 3C0D1A8F5546C916  Time : 3381.0 sec.
user=gd_barnes
[2009-08-08 22:37:02]
489*2^707547-1 is not prime.  Res64: FB52961376402A67  Time : 3371.0 sec.
user=vaughan
[2009-08-08 22:39:50]
441*2^707557-1 is not prime.  Res64: 1C9BCAE85DE174CE  Time : 456.0 sec.
user=gd_barnes
[2009-08-08 22:40:14]
549*2^707547-1 is not prime.  Res64: 2BC83DB16FC9D55B  Time : 3372.0 sec.
user=vaughan
[2009-08-08 22:41:36]
517*2^707557-1 is not prime.  Res64: FFECF0163B5EC71D  Time : 464.0 sec.
user=vaughan
[2009-08-08 22:42:16]
593*2^707556-1 is not prime.  Res64: 9A71E6E044954539  Time : 838.0 sec.
user=vaughan
[2009-08-08 22:44:41]
537*2^707556-1 is not prime.  Res64: 063E92605CF6E8E8  Time : 1017.0 sec.
user=gd_barnes
[2009-08-08 22:45:01]
507*2^707548-1 is not prime.  Res64: 5257E16BD4CFF8DD  Time : 3373.0 sec.
user=vaughan
[2009-08-08 22:47:27]
439*2^707559-1 is not prime.  Res64: 0A05D88A30A2D9DC  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 22:48:02]
537*2^707548-1 is not prime.  Res64: A568703DBC0A9D42  Time : 3377.0 sec.
user=gd_barnes
[2009-08-08 22:48:16]
567*2^707548-1 is not prime.  Res64: 3CA66B915AC58C60  Time : 3365.0 sec.
user=vaughan
[2009-08-08 22:49:18]
481*2^707559-1 is not prime.  Res64: F16B8FCB97A140E9  Time : 463.0 sec.
user=vaughan
[2009-08-08 22:49:38]
537*2^707557-1 is not prime.  Res64: 4B83672DA705FF1B  Time : 798.0 sec.
user=vaughan
[2009-08-08 22:50:24]
531*2^707557-1 is not prime.  Res64: 2ADA77A67BFD8E7E  Time : 975.0 sec.
user=gd_barnes
[2009-08-08 22:51:28]
571*2^707549-1 is not prime.  Res64: 065751A56AE4A779  Time : 3372.0 sec.
user=vaughan
[2009-08-08 22:55:04]
411*2^707561-1 is not prime.  Res64: B687371FA9CA4AE1  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 22:56:16]
495*2^707550-1 is not prime.  Res64: F58A395716401D74  Time : 3373.0 sec.
user=vaughan
[2009-08-08 22:56:31]
555*2^707559-1 is not prime.  Res64: 3DA4F79F4B34E207  Time : 856.0 sec.
user=vaughan
[2009-08-08 22:57:00]
547*2^707561-1 is not prime.  Res64: 20ACD126320B1B5F  Time : 463.0 sec.
user=gd_barnes
[2009-08-08 22:59:17]
585*2^707550-1 is not prime.  Res64: 9A0D26FAD51F58C5  Time : 3379.0 sec.
user=gd_barnes
[2009-08-08 22:59:29]
439*2^707551-1 is not prime.  Res64: 001A9D6C0188B31D  Time : 3369.0 sec.
user=vaughan
[2009-08-08 23:02:03]
449*2^707560-1 is not prime.  Res64: 679AFCC6FA2C919D  Time : 1042.0 sec.
user=vaughan
[2009-08-08 23:02:41]
551*2^707562-1 is not prime.  Res64: D0DDAC93B50A9107  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 23:02:43]
453*2^707551-1 is not prime.  Res64: 14DC2C97077B0456  Time : 3372.0 sec.
user=vaughan
[2009-08-08 23:03:05]
559*2^707561-1 is not prime.  Res64: 8F25A1E8C6EA69CE  Time : 808.0 sec.
user=vaughan
[2009-08-08 23:04:44]
429*2^707563-1 is not prime.  Res64: 42AA67C3E658AAAE  Time : 465.0 sec.
user=vaughan
[2009-08-08 23:06:46]
431*2^707562-1 is not prime.  Res64: 01B87459EA695982  Time : 983.0 sec.
user=gd_barnes
[2009-08-08 23:07:31]
533*2^707552-1 is not prime.  Res64: 2E80CA3532DF9752  Time : 3373.0 sec.
user=vaughan
[2009-08-08 23:10:18]
465*2^707565-1 is not prime.  Res64: A76A1E14908C9127  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 23:10:34]
539*2^707552-1 is not prime.  Res64: 1FBB93F37744413B  Time : 3380.0 sec.
user=gd_barnes
[2009-08-08 23:10:44]
585*2^707552-1 is not prime.  Res64: D135157EC79B3760  Time : 3371.0 sec.
user=vaughan
[2009-08-08 23:10:53]
567*2^707562-1 is not prime.  Res64: AB7E2BB47F5654CC  Time : 862.0 sec.
user=vaughan
[2009-08-08 23:12:26]
595*2^707565-1 is not prime.  Res64: EFA8EB0CE31DFBE9  Time : 463.0 sec.
user=gd_barnes
[2009-08-08 23:13:57]
517*2^707553-1 is not prime.  Res64: F1CEDEA08CC28CA8  Time : 3372.0 sec.
user=vaughan
[2009-08-08 23:16:27]
537*2^707565-1 is not prime.  Res64: FC35AC116F11545F  Time : 802.0 sec.
user=vaughan
[2009-08-08 23:17:55]
561*2^707566-1 is not prime.  Res64: 31FE3A265664788D  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 23:18:45]
527*2^707554-1 is not prime.  Res64: 1ED6A4DB9B0A5BB9  Time : 3372.0 sec.
user=vaughan
[2009-08-08 23:19:06]
415*2^707565-1 is not prime.  Res64: C69C8F95FA72F9D7  Time : 1023.0 sec.
user=vaughan
[2009-08-08 23:20:07]
553*2^707567-1 is not prime.  Res64: E4900CF0B878F7DF  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 23:21:50]
469*2^707555-1 is not prime.  Res64: 6C1CAB56F3F318B4  Time : 3380.0 sec.
user=gd_barnes
[2009-08-08 23:21:58]
495*2^707555-1 is not prime.  Res64: E07FEC57191ACEA6  Time : 3371.0 sec.
user=vaughan
[2009-08-08 23:22:40]
425*2^707566-1 is not prime.  Res64: 2EE18AB366E48F3F  Time : 954.0 sec.
user=vaughan
[2009-08-08 23:24:34]
543*2^707567-1 is not prime.  Res64: E0969F460A20EC7C  Time : 821.0 sec.
user=gd_barnes
[2009-08-08 23:25:12]
439*2^707557-1 is not prime.  Res64: A0C49A0DCF06ABF6  Time : 3372.0 sec.
user=vaughan
[2009-08-08 23:25:32]
479*2^707568-1 is not prime.  Res64: 3A5D53A0D3C75C24  Time : 457.0 sec.
user=vaughan
[2009-08-08 23:27:48]
427*2^707569-1 is not prime.  Res64: 7A9CC764373B95BC  Time : 461.0 sec.
user=vaughan
[2009-08-08 23:29:48]
589*2^707567-1 is not prime.  Res64: 1967915940E63308  Time : 802.0 sec.
user=gd_barnes
[2009-08-08 23:29:59]
495*2^707557-1 is not prime.  Res64: 2A107EFFED3A92E3  Time : 3373.0 sec.
user=gd_barnes
[2009-08-08 23:33:05]
473*2^707558-1 is not prime.  Res64: C856F22DAFC8B74C  Time : 3379.0 sec.
user=vaughan
[2009-08-08 23:33:08]
437*2^707570-1 is not prime.  Res64: 5A14951255D5669E  Time : 456.0 sec.
user=gd_barnes
[2009-08-08 23:33:12]
561*2^707558-1 is not prime.  Res64: 4365319F10039C19  Time : 3370.0 sec.
user=vaughan
[2009-08-08 23:35:32]
567*2^707570-1 is not prime.  Res64: 49247D5A9D530E99  Time : 464.0 sec.
user=vaughan
[2009-08-08 23:36:23]
539*2^707568-1 is not prime.  Res64: 5AF482088802F00F  Time : 1037.0 sec.
user=gd_barnes
[2009-08-08 23:36:25]
471*2^707559-1 is not prime.  Res64: FE83E39B5FC666B4  Time : 3372.0 sec.
user=vaughan
[2009-08-08 23:38:54]
507*2^707569-1 is not prime.  Res64: 85C5CACDA82ED5C5  Time : 974.0 sec.
user=vaughan
[2009-08-08 23:39:18]
537*2^707569-1 is not prime.  Res64: C619EC410C2109D1  Time : 885.0 sec.
user=vaughan
[2009-08-08 23:40:45]
485*2^707572-1 is not prime.  Res64: 5B94F26791F5551F  Time : 457.0 sec.
user=gd_barnes
[2009-08-08 23:41:14]
549*2^707560-1 is not prime.  Res64: B137C181C7465D17  Time : 3373.0 sec.
user=vaughan
[2009-08-08 23:43:13]
571*2^707573-1 is not prime.  Res64: 58902B6485724B37  Time : 461.0 sec.
user=vaughan
[2009-08-08 23:43:17]
409*2^707571-1 is not prime.  Res64: 104B613CF9E9CFFF  Time : 809.0 sec.
user=gd_barnes
[2009-08-08 23:44:21]
459*2^707561-1 is not prime.  Res64: 391B80ADF09B218B  Time : 3379.0 sec.
user=gd_barnes
[2009-08-08 23:44:25]
529*2^707561-1 is not prime.  Res64: 9D65CD6E47C07583  Time : 3370.0 sec.
user=gd_barnes
[2009-08-08 23:47:40]
485*2^707562-1 is not prime.  Res64: 4FE85A50A3F86A87  Time : 3372.0 sec.
user=vaughan
[2009-08-08 23:48:21]
453*2^707575-1 is not prime.  Res64: 7FFF46F4B0180750  Time : 456.0 sec.
user=vaughan
[2009-08-08 23:50:55]
525*2^707575-1 is not prime.  Res64: D161F9C5BBAEF1AF  Time : 462.0 sec.
user=gd_barnes
[2009-08-08 23:52:28]
555*2^707562-1 is not prime.  Res64: 1AA1B81CC96F19BA  Time : 3372.0 sec.
user=vaughan
[2009-08-08 23:54:01]
405*2^707575-1 is not prime.  Res64: 623DC05C89BF2C33  Time : 884.0 sec.
user=vaughan
[2009-08-08 23:54:40]
423*2^707574-1 is not prime.  Res64: FC308C86AE4D4192  Time : 1097.0 sec.
user=vaughan
[2009-08-08 23:55:27]
473*2^707574-1 is not prime.  Res64: 7471F529217A00D0  Time : 993.0 sec.
user=gd_barnes
[2009-08-08 23:55:35]
495*2^707563-1 is not prime.  Res64: 392DBDC777B42BDC  Time : 3378.0 sec.
user=gd_barnes
[2009-08-08 23:55:40]
473*2^707564-1 is not prime.  Res64: 7DDCC6E226A60BCE  Time : 3371.0 sec.
user=vaughan
[2009-08-08 23:55:58]
537*2^707576-1 is not prime.  Res64: FE1BA30802D89E13  Time : 457.0 sec.
user=vaughan
[2009-08-08 23:56:53]
531*2^707575-1 is not prime.  Res64: F5BEEDF3F6D646E2  Time : 816.0 sec.
user=vaughan
[2009-08-08 23:58:41]
429*2^707577-1 is not prime.  Res64: C31B243CEFD439D9  Time : 466.0 sec.
user=gd_barnes
[2009-08-08 23:58:55]
471*2^707565-1 is not prime.  Res64: 87311ABA7A862EAB  Time : 3372.0 sec.