$ od -c -N 50000 [eris]<LispCore>KOTOWD>BOLDPS10-I-C0.WD!1
0000000  020  \f  \0  \0 006   B   O   L   D   P   S  \0  \0  \0  \0  \0
0000020   \0  \0  \0  \0  \0  \0  \0  \0   @  \t  \0 001     373 001   a
0000040   \0  \0  \0  \0  \0 026  \0  \0  \0 342  \0 001 377 347 377 212
0000060  001   t 001 246   @ 001  \0 177  \0 177  \0 251  \0 376  \0 325
0000100  001   R 001   )  \0   U  \0 177  \0 177  \0 324  \0 324  \0 177
0000120   \0 251  \0 177  \0 251  \0 324  \0 324  \0 324  \0 324  \0 324
0000140   \0 324  \0 324  \0 324  \0 324  \0 324  \0 177  \0 177  \0 324
0000160   \0 324  \0 324  \0 324 001   R 001   )  \0 376 001   ) 001   )
0000200   \0 376  \0 376 001   ) 001   )  \0 177  \0 324 001   )  \0 376
0000220  001   R 001   ) 001   )  \0 376 001   ) 001   )  \0 324  \0 376
0000240  001   )  \0 376 001   R 001   ) 001   )  \0 376  \0 204  \0 251
0000260   \0 204  \0 324  \0 324  \0 324  \0 324  \0 324  \0 324  \0 324
0000300   \0 324  \0 251  \0 324  \0 324  \0 177  \0 177  \0 324  \0 177
0000320  001   R  \0 324  \0 324  \0 324  \0 324  \0 251  \0 251  \0 251
0000340   \0 324  \0 324 001   )  \0 324  \0 324  \0 324  \0 177  \0 324
0000360   \0 177  \0 324 200  \0 200  \0 200  \0 200  \0 200  \0 200  \0
0000400  200  \0 200  \0 200  \0 200  \0 200  \0 200  \0 200  \0 200  \0
*
0000460  200  \0 200  \0 200  \0 200  \0  \0 177  \0 324  \0 324  \0 324
0000500  001   ) 200  \0  \0 324 200  \0  \0   U  \0 251  \0 324  \0 324
0000520   \0 324  \0 324  \0 324  \0 335  \0 324  \0 324  \0 324  \0 324
0000540   \0 335 001   S  \0 177  \0 324  \0   U  \0 251  \0 324  \0 376
0000560   \0 376  \0 376  \0 324 200  \0  \0 324  \0 324  \0 324  \0 324
0000600   \0 324  \0 324  \0 324  \0 324 200  \0  \0 324  \0 324  \0 324
0000620   \0 324  \0 324  \0 324 200  \0 200  \0  \0 376  \0 376 001   )
0000640  200  \0 200  \0 200  \0 200  \0 200  \0 200  \0 200  \0 200  \0
0000660  200  \0 200  \0 200  \0 001   ) 001   S 200  \0  \0 324 200  \0
0000700  200  \0 001   ( 200  \0 200  \0 001   ) 001   S  \0 324 200  \0
0000720  200  \0 200  \0 001   ( 200  \0 001   ) 200  \0 200  \0 200  \0
0000740   \0 177  \0 376 200  \0 200  \0  \0 324 001   )  \0 324  \0  \0
0000760   \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0  \0                
0000774