$ od -c -N 50000 [eris]<LispCore>4045FONTS>XeroxLogo24-L.4045Font!1
0000000  252 252 001 001   F  \f   X   e   r   o   x   L   o   g   o   2
0000020    4   -   L                              \0  \0  \0  \0  \0  \0
0000040  002  \0   G  \0   x  \0       Y   0   0   0   0   0            
0000060   \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0
*
0000460  002  \0  \0 003 376   =  \0   4 325  \0 004 003 376   <  \0 030
0000500  325  \0 004 003 376   <  \0 030 325  \0 004 003 376   <  \0 030
*
0001120  325  \0 004 003 376   <  \0 030 361 001 332 003 377   8 001   4
0001140  325  \0 004 003 376   <  \0 030 325  \0 004 003 376   <  \0 030
*
0001240  325  \0 004 003 376   <  \0 030   H 002 314 005 377   7 002   B
0001260  325  \0 004 003 376   <  \0 030 325  \0 004 003 376   <  \0 030
0001300  361 001 024  \b 377   8 001   7 325  \0 004 003 376   <  \0 030
0001320  325  \0 004 003 376   <  \0 030 325  \0 004 003 376   <  \0 030
*
0001360    8 002 006  \n 377   7 001   = 325  \0 004 003 376   <  \0 030
0001400   \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0
*
0001620   \0 377 377 377 377 377 377 377 377 377 377 377 377 377 377 377
0001640  377 347 377 377 347 377 377 347 377 377 347 377 377 347 377 377
0001660  347 377 370  \0 037 370  \0 037 377 347 377 377 347 377 377 347
0001700  377 377 347 377 377 347 377 377 347 377 377 377 377 377 377 377
0001720  377 377 377 377 377 377 377 377 377  \0  \0  \0  \0  \0  \0  \0
0001740   \0  \0  \0  \0  \0  \0  \0  \0 177 377 377 377 377 377  \0 177
0001760  377 377 377 377 377  \0 177 377 377 377 377 377  \0 177 377 377
0002000  377 377 377  \0 177 370  \0  \0  \0  \0  \0 177 370  \0  \0  \0
0002020   \0  \0 177 370  \0  \0  \0  \0  \0 177 370  \0  \0  \0  \0  \0
0002040  177 370  \0  \0  \0  \0  \0 177 370  \0  \0  \0  \0  \0 177 370
0002060   \0  \0  \0  \0  \0 177 370  \0  \0  \0  \0  \0 177 370  \0  \0
0002100   \0  \0  \0 177 370  \0  \0  \0  \0  \0 177 370  \0  \0  \0  \0
0002120   \0 177 370  \0  \0  \0  \0  \0 177 370  \0  \0  \0  \0  \0 177
0002140  370  \0  \0  \0  \0  \0 177 370  \0  \0  \0  \0  \0 177 370  \0
0002160   \0  \0  \0  \0 177 370  \0  \0  \0  \0  \0 177 370  \0  \0  \0
0002200   \0  \0 177 370  \0  \0  \0  \0  \0 177 370  \0  \0  \0  \0  \0
0002220  177 370  \0  \0  \0  \0  \0 177 370  \0  \0  \0  \0  \0 177 370
0002240   \0  \0  \0  \0  \0 177 370  \0  \0  \0  \0  \0 177 370  \0  \0
0002260   \0  \0  \0 177 370  \0  \0  \0  \0  \0 177 370  \0  \0  \0  \0
0002300   \0 177 377 377 377 377 377  \0 177 377 377 377 377 377  \0 177
0002320  377 377 377 377 377  \0 177 377 377 377 377 377  \0 177 370  \0
0002340   \0  \0  \0  \0 177 370  \0  \0  \0  \0  \0 177 370  \0  \0  \0
0002360   \0  \0 177 370  \0  \0  \0  \0  \0 177 370  \0  \0  \0  \0  \0
0002400  177 370  \0  \0  \0  \0  \0 177 370  \0  \0  \0  \0  \0 177 370
0002420   \0  \0  \0  \0  \0 177 370  \0  \0  \0  \0  \0 177 370  \0  \0
0002440   \0  \0  \0 177 370  \0  \0  \0  \0  \0 177 370  \0  \0  \0  \0
0002460   \0 177 370  \0  \0  \0  \0  \0 177 370  \0  \0  \0  \0  \0 177
0002500  370  \0  \0  \0  \0  \0 177 370  \0  \0  \0  \0  \0 177 370  \0
0002520   \0  \0  \0  \0 177 370  \0  \0  \0  \0  \0 177 370  \0  \0  \0
0002540   \0  \0 177 370  \0  \0  \0  \0  \0 177 370  \0  \0  \0  \0  \0
0002560  177 370  \0  \0  \0  \0  \0 177 370  \0  \0  \0  \0  \0 177 370
0002600   \0  \0  \0  \0  \0 177 370  \0  \0  \0  \0  \0 177 370  \0  \0
0002620   \0  \0  \0 177 370  \0  \0  \0  \0  \0 177 370  \0  \0  \0  \0
0002640   \0 177 370  \0  \0  \0  \0  \0 177 377 377 377 377 377 200 177
0002660  377 377 377 377 377 200 177 377 377 377 377 377 200 177 377 377
0002700  377 377 377 200 177 377 377 377 377 377 200  \0  \0  \0  \0   _
0002720  372  \0  \0  \0  \0  \0 037 377 377 370  \0  \0  \0 001 377 377
0002740  377 377 200  \0  \0  \a 377 377 377 377 340  \0  \0 037 377 377
0002760  377 377 370  \0  \0 177 377 240 005 377 376  \0  \0 377 374  \0
0003000   \0   ? 377  \0 001 377 360  \0  \0 017 377 200 003 377 300  \0
0003020   \0 003 377 300  \a 377 200  \0  \0 001 377 340 017 377  \0  \0
0003040   \0  \0 377 360 017 376  \0  \0  \0  \0 177 360 037 376  \0  \0
0003060   \0  \0 177 370 037 374  \0  \0  \0  \0   ? 370   ? 374  \0  \0
0003100   \0  \0   ? 374   ? 374  \0  \0  \0  \0   ? 374 177 370  \0  \0
0003120   \0  \0 037 376 177 370  \0  \0  \0  \0 037 376 177 370  \0  \0
0003140   \0  \0 037 376 177 360  \0  \0  \0  \0 017 376 177 370  \0  \0
0003160   \0  \0 037 376 377 360  \0  \0  \0  \0 017 377 177 360  \0  \0
0003200   \0  \0 017 376 377 360  \0  \0  \0  \0 017 377 377 360  \0  \0
0003220   \0  \0 017 377 377 360  \0  \0  \0  \0 017 377 377 340  \0  \0
0003240   \0  \0  \a 377 377 360  \0  \0  \0  \0 017 377 377 340  \0  \0
0003260   \0  \0  \a 377 377 340  \0  \0  \0  \0  \a 377 377 340  \0  \0
*
0003460   \0  \0  \a 377 377 360  \0  \0  \0  \0 017 377 377 340  \0  \0
0003500   \0  \0  \a 377 377 360  \0  \0  \0  \0 017 377 377 360  \0  \0
0003520   \0  \0 017 377 377 360  \0  \0  \0  \0 017 377 177 360  \0  \0
0003540   \0  \0 017 376 377 360  \0  \0  \0  \0 017 377 177 370  \0  \0
0003560   \0  \0 037 376 177 360  \0  \0  \0  \0 017 376 177 370  \0  \0
0003600   \0  \0 037 376 177 370  \0  \0  \0  \0 037 376 177 370  \0  \0
0003620   \0  \0 037 376   ? 374  \0  \0  \0  \0   ? 374   ? 374  \0  \0
0003640   \0  \0   ? 374 037 374  \0  \0  \0  \0   ? 370 037 376  \0  \0
0003660   \0  \0 177 370 017 376  \0  \0  \0  \0 177 360 017 377  \0  \0
0003700   \0  \0 377 360  \a 377 200  \0  \0 001 377 340 003 377 300  \0
0003720   \0 003 377 300 001 377 360  \0  \0 017 377 200  \0 377 374  \0
0003740   \0   ? 377  \0  \0 177 377 240 005 377 376  \0  \0 037 377 377
0003760  377 377 370  \0  \0  \a 377 377 377 377 340  \0  \0 001 377 377
0004000  377 377 200  \0  \0  \0 037 377 377 370  \0  \0  \0  \0  \0   _
0004020  372  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0
0004040   \0  \0 177 377 377 377 376  \0  \0 177 377 377 377 377 300  \0
0004060  177 377 377 377 377 360  \0 177 377 377 377 377 374  \0 177 370
0004100   \0  \0 177 376  \0 177 370  \0  \0 017 377  \0 177 370  \0  \0
0004120   \a 377 200 177 370  \0  \0 003 377 200 177 370  \0  \0 003 377
0004140  300 177 370  \0  \0 001 377 300 177 370  \0  \0 001 377 340 177
0004160  370  \0  \0 001 377 340 177 370  \0  \0  \0 377 340 177 370  \0
0004200   \0 001 377 360 177 370  \0  \0  \0 377 340 177 370  \0  \0  \0
0004220  377 360 177 370  \0  \0  \0 377 360 177 370  \0  \0  \0 377 360
0004240  177 370  \0  \0  \0 377 360 177 370  \0  \0  \0 377 360 177 370
0004260   \0  \0  \0 377 360 177 370  \0  \0  \0 377 340 177 370  \0  \0
0004300  001 377 360 177 370  \0  \0  \0 377 340 177 370  \0  \0 001 377
0004320  340 177 370  \0  \0 001 377 340 177 370  \0  \0 001 377 300 177
0004340  370  \0  \0 003 377 300 177 370  \0  \0 003 377 200 177 370  \0
0004360   \0  \a 377 200 177 370  \0  \0 037 377  \0 177 370  \0  \0 377
0004400  376  \0 177 370 037 377 377 374  \0 177 370 037 377 377 370  \0
0004420  177 370 017 377 377 340  \0 177 370  \a 377 376 200  \0 177 370
0004440   \a 377 300  \0  \0 177 370 003 377 340  \0  \0 177 370 001 377
0004460  360  \0  \0 177 370 001 377 360  \0  \0 177 370  \0 377 370  \0
0004500   \0 177 370  \0 177 374  \0  \0 177 370  \0 177 374  \0  \0 177
0004520  370  \0   ? 376  \0  \0 177 370  \0 037 377  \0  \0 177 370  \0
0004540  037 377  \0  \0 177 370  \0 017 377 200  \0 177 370  \0  \a 377
0004560  300  \0 177 370  \0  \a 377 300  \0 177 370  \0 003 377 340  \0
0004600  177 370  \0 001 377 360  \0 177 370  \0 001 377 360  \0 177 370
0004620   \0  \0 377 370  \0 177 370  \0  \0 177 374  \0 177 370  \0  \0
0004640  177 374  \0 177 370  \0  \0   ? 376  \0 177 370  \0  \0 037 377
0004660   \0 177 370  \0  \0 037 377  \0 177 370  \0  \0 017 377 200 177
0004700  370  \0  \0  \a 377 300 177 370  \0  \0  \a 377 300 177 370  \0
0004720   \0 003 377 340 177 370  \0  \0 001 377 360 177 370  \0  \0 001
0004740  377 360 177 370  \0  \0  \0 377 370 177 370  \0  \0  \0 177 374
0004760  177 370  \0  \0  \0 177 374 177 370  \0  \0  \0   ? 376 177 370
0005000   \0  \0  \0 037 377  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0
0005020   \0  \0  \0  \0  \0  \0 037 377 200  \0  \0  \a 374  \0 017 377
0005040  300  \0  \0  \a 374  \0 017 377 300  \0  \0 017 370  \0  \a 377
0005060  340  \0  \0 037 360  \0 003 377 360  \0  \0 037 360  \0 003 377
0005100  360  \0  \0   ? 340  \0 001 377 370  \0  \0 177 300  \0 001 377
0005120  370  \0  \0 177 300  \0  \0 377 374  \0  \0 377 200  \0  \0 177
0005140  376  \0 001 377  \0  \0  \0 177 376  \0 001 377  \0  \0  \0   ?
0005160  377  \0 003 376  \0  \0  \0   ? 377  \0  \a 374  \0  \0  \0 037
0005200  377 200  \a 374  \0  \0  \0 017 377 300 017 370  \0  \0  \0 017
0005220  377 300 037 360  \0  \0  \0  \a 377 340 037 360  \0  \0  \0  \a
0005240  377 340   ? 340  \0  \0  \0 003 377 360 177 300  \0  \0  \0 001
0005260  377 370 177 300  \0  \0  \0 001 377 370 377 200  \0  \0  \0  \0
0005300  377 375 377  \0  \0  \0  \0  \0 377 377 377  \0  \0  \0  \0  \0
0005320  177 377 376  \0  \0  \0  \0  \0   ? 377 374  \0  \0  \0  \0  \0
0005340    ? 377 374  \0  \0  \0  \0  \0 037 377 370  \0  \0  \0  \0  \0
0005360  037 377 360  \0  \0  \0  \0  \0 017 377 360  \0  \0  \0  \0  \0
0005400   \a 377 340  \0  \0  \0  \0  \0  \a 377 340  \0  \0  \0  \0  \0
0005420  003 377 360  \0  \0  \0  \0  \0 003 377 360  \0  \0  \0  \0  \0
0005440  001 377 370  \0  \0  \0  \0  \0 001 377 374  \0  \0  \0  \0  \0
0005460  003 377 374  \0  \0  \0  \0  \0  \a 377 376  \0  \0  \0  \0  \0
0005500   \a 377 376  \0  \0  \0  \0  \0 017 377 377  \0  \0  \0  \0  \0
0005520  037 377 377 200  \0  \0  \0  \0 037 377 377 200  \0  \0  \0  \0
0005540    ? 357 377 300  \0  \0  \0  \0 177 307 377 300  \0  \0  \0  \0
0005560  177 307 377 340  \0  \0  \0  \0 377 203 377 360  \0  \0  \0 001
0005600  377 003 377 360  \0  \0  \0 001 377 001 377 370  \0  \0  \0 003
0005620  376  \0 377 370  \0  \0  \0  \a 374  \0 377 374  \0  \0  \0  \a
0005640  374  \0 177 376  \0  \0  \0 017 370  \0 177 376  \0  \0  \0 037
0005660  360  \0   ? 377  \0  \0  \0 037 360  \0 037 377  \0  \0  \0   ?
0005700  340  \0 037 377 200  \0  \0 177 300  \0 017 377 300  \0  \0 177
0005720  300  \0 017 377 300  \0  \0 377 200  \0  \a 377 340  \0 001 377
0005740   \0  \0 003 377 340  \0 001 377  \0  \0 003 377 360  \0 003 376
0005760   \0  \0 001 377 370  \0  \a 374  \0  \0 001 377 370  \0  \a 374
0006000   \0  \0  \0 377 374  \0 017 370  \0  \0  \0 177 374  \0 037 360
0006020   \0  \0  \0 177 376  \0 037 360  \0  \0  \0   ? 377  \0   ? 340
0006040   \0  \0  \0   ? 377  \0 177 300  \0  \0  \0 037 377 200 377 300
0006060   \0  \0  \0 017 377 200 377 200  \0  \0  \0 017 377 300   U   U
0006100    U   U   U   U   U   U   U   U                                
0006110