$ od -c -N 50000 [eris]<LispCore>PROLOG>CHECKTABLES.DCOM!3
0000000    (   F   I   L   E   C   R   E   A   T   E   D       "   2   4
0000020    -   N   o   v   -   8   5       1   2   :   0   7   :   0   4
0000040    "       (   "   c   o   m   p   i   l   e   d       o   n    
0000060    "       {   E   R   I   S   }   <   L   I   S   P   C   O   R
0000100    E   >   P   R   O   L   O   G   >   C   H   E   C   K   T   A
0000120    B   L   E   S   .   ;   3   )      \r   "   1   7   -   O   c
0000140    t   -   8   5       1   8   :   5   8   :   4   4   "       r
0000160    e   c   o   m   p   i   l   e   d       c   h   a   n   g   e
0000200    s   :       C   H   E   C   K   -   T   A   B   L   E   S    
0000220    i   n       "   I   N   T   E   R   L   I   S   P   -   D    
0000240    1   7   -   O   c   t   -   8   5       .   .   .   "       d
0000260    a   t   e   d      \r   "   1   7   -   O   c   t   -   8   5
0000300        1   9   :   0   4   :   0   7   "   )  \r   (   F   I   L
0000320    E   C   R   E   A   T   E   D       "   2   4   -   N   o   v
0000340    -   8   5       1   2   :   0   6   :   3   6   "       {   E
0000360    R   I   S   }   <   L   I   S   P   C   O   R   E   >   P   R
0000400    O   L   O   G   >   C   H   E   C   K   T   A   B   L   E   S
0000420    .   ;   3       1   5   6   8       c   h   a   n   g   e   s
0000440        t   o   :       (   F   N   S      \r   C   H   E   C   K
0000460    -   T   A   B   L   E   S   )       p   r   e   v   i   o   u
0000500    s       d   a   t   e   :       "   2   3   -   N   o   v   -
0000520    8   5       1   2   :   1   3   :   0   5   "       {   E   R
0000540    I   S   }   <   L   I   S   P   C   O   R   E   >   P   R   O
0000560    L   O   G   >   C   H   E   C   K   T   A   B   L   E   S   .
0000600    ;   1   )  \r   C   H   E   C   K   -   T   A   B   L   E   S
0000620        D   1  \r   (   P       1       A   D   D   R       P    
0000640    0       T   A   B   L   E       F       2       P   R   O   L
0000660    O   G   .   P   U   F   N   .   T   A   B   L   E       F    
0000700    3       P   R   O   L   O   G   .   E   N   A   B   L   E   .
0000720    P   U   F   N   .   T   A   B   L   E   )      \0 210 002 002
0000740   \0  \0   S 021 001  \0   H 006  \0  \0 311  \0 021 001 001   I
0000760  322 341   I 323 343 330  \t  \0  \0 262       o  \0  \0  \0   i
0001000   \n  \0  \0 277   i  \t  \0  \0 277   I  \t  \0  \0   n   l   l
0001020    4 323 360 255   o  \0  \0  \0 203   o  \0  \0  \0   S  \n  \0
0001040   \0 277 023 023   R 021 001  \0   H 006  \0  \0 311  \0 021 001
0001060  001   I 322 341   I 323 343 330  \t  \0  \0 262   %   o  \0  \0
0001100   \0   i  \n  \0  \0 277   i  \t  \0  \0   I  \t  \0  \0   n   k
0001120    k   4 323 360 250   o  \0  \0  \0   R  \n  \0  \0 020   h 020
0001140    o  \0  \0  \0   R  \n  \0  \0 020  \0   (   2   0   5   Q    
0001160    H   E   L   P       1   7   2   Q       H   E   L   P       1
0001200    5   3   Q       M   a   k   e   U   C   o   d   e   R   e   a
0001220    l   B   a   s   e   A   d   d   r       1   4   7   Q       T
0001240    E   R   P   R   I       1   4   2   Q       P   R   I   N   1
0001260        1   3   0   Q       \   L   O   C   K   E   D   P   A   G
0001300    E   P       7   6   Q       H   E   L   P       5   2   Q    
0001320    M   a   k   e   U   C   o   d   e   R   e   a   l   B   a   s
0001340    e   A   d   d   r       4   5   Q       T   E   R   P   R   I
0001360        4   0   Q       P   R   I   N   1       2   6   Q       \
0001400    L   O   C   K   E   D   P   A   G   E   P   )  \r   (   1   1
0001420    1   Q       A   R   R   A   Y   P       7       A   R   R   A
0001440    Y   P   )  \r   (       2   0   1   Q       "   P   R   O   L
0001460    O   G   .   P   U   F   N   .   T   A   B   L   E       i   s
0001500    n   '   t       l   o   c   k   e   d   "       1   6   6   Q
0001520        "   r   e   g   i   s   t   e   r       a   n   d       b
0001540    a   s   e       a   r   e       n   e   q   "       1   3   6
0001560    Q       "   P   R   O   L   O   G   .   P   U   F   N   .   T
0001600    A   B   L   E       i   s       l   o   c   k   e   d   "    
0001620    7   2   Q       "   P   R   O   L   O   G   .   E   N   A   B
0001640    L   E   .   P   U   F   N   .   T   A   B   L   E       i   s
0001660    n   '   t       l   o   c   k   e   d   "       6   5   Q    
0001700    "   r   e   g   i   s   t   e   r       a   n   d       b   a
0001720    s   e       a   r   e       n   e   q   "       3   4   Q    
0001740    "   P   R   O   L   O   G   .   E   N   A   B   L   E   .   P
0001760    U   F   N   .   T   A   B   L   E       i   s       l   o   c
0002000    k   e   d   "   )  \r   (   P   R   E   T   T   Y   C   O   M
0002020    P   R   I   N   T       C   H   E   C   K   T   A   B   L   E
0002040    S   C   O   M   S   )  \r   (   R   P   A   Q   Q       C   H
0002060    E   C   K   T   A   B   L   E   S   C   O   M   S       (   (
0002100    F   N   S       C   H   E   C   K   -   T   A   B   L   E   S
0002120    )   )   )  \r   (   P   U   T   P   R   O   P   S       C   H
0002140    E   C   K   T   A   B   L   E   S       C   O   P   Y   R   I
0002160    G   H   T       (   "   X   e   r   o   x       C   o   r   p
0002200    o   r   a   t   i   o   n   "       1   9   8   5   )   )  \r
0002220    N   I   L  \r                                                
0002224