$ od -c -N 50000 [eris]<Lisp>KOTO>LISPUSERS>ARITHDECLS.DCOM!1
0000000    (   F   I   L   E   C   R   E   A   T   E   D       "       9
0000020    -   S   E   P   -   8   3       1   6   :   2   9   :   0   6
0000040    "       (   "   c   o   m   p   i   l   e   d       o   n    
0000060    "       {   P   H   Y   L   U   M   }   <   L   I   S   P   U
0000100    S   E   R   S   >   A   R   I   T   H   D   E   C   L   S   .
0000120    ;   2   )      \r   "       8   -   S   E   P   -   8   3    
0000140    1   9   :   2   2   :   1   3   "       t   c   o   m   p   l
0000160    '   d       i   n       {   P   H   Y   L   U   M   }   <   L
0000200    I   S   P   C   O   R   E   >   F   U   G   U   E   >   D   E
0000220    M   O   .   S   Y   S   O   U   T       d   a   t   e   d    
0000240    "       9   -   S   E   P   -   8   3       1   4   :   0   1
0000260    :   3   0   "   )  \r   (   F   I   L   E   C   R   E   A   T
0000300    E   D       "   1   6   -   F   E   B   -   8   3       1   7
0000320    :   3   8   :   4   4   "       {   P   H   Y   L   U   M   }
0000340    <   L   I   S   P   U   S   E   R   S   >   A   R   I   T   H
0000360    D   E   C   L   S   .   ;   2       3   4   1   3       c   h
0000400    a   n   g   e   s       t   o   :       (   V   A   R   S    
0000420   \r   A   R   I   T   H   D   E   C   L   S   C   O   M   S   )
0000440        (   P   R   O   P   S       (   F   P   L   U   S       D
0000460    E   C   L   O   F   )       (   I   M   I   N   U   S       D
0000500    E   C   L   O   F   )       (   F   I   X       D   E   C   L
0000520    O   F   )       (   I   T   I   M   E   S       D   E   C   L
0000540    O   F   )       (   I   Q   U   O   T   I   E   N   T       D
0000560    E   C   L   O   F   )      \r   (   I   D   I   F   F   E   R
0000600    E   N   C   E       D   E   C   L   O   F   )       (   I   P
0000620    L   U   S       D   E   C   L   O   F   )       (   F   L   O
0000640    A   T       D   E   C   L   O   F   )       (   F   M   I   N
0000660    U   S       D   E   C   L   O   F   )       (   F   Q   U   O
0000700    T   I   E   N   T       D   E   C   L   O   F   )       (   F
0000720    D   I   F   F   E   R   E   N   C   E      \r   D   E   C   L
0000740    O   F   )       (   F   T   I   M   E   S       D   E   C   L
0000760    O   F   )       (   I   M   O   D       D   E   C   L   O   F
0001000    )       (   L   O   G   X   O   R       D   E   C   L   O   F
0001020    )       (   L   O   G   O   R       D   E   C   L   O   F   )
0001040        (   L   O   G   A   N   D       D   E   C   L   O   F   )
0001060    )       p   r   e   v   i   o   u   s       d   a   t   e   :
0001100       \r   "   1   0   -   A   P   R   -   7   9       1   6   :
0001120    0   7   :   0   9   "       {   P   H   Y   L   U   M   }   <
0001140    L   I   S   P   U   S   E   R   S   >   A   R   I   T   H   D
0001160    E   C   L   S   .   ;   1   )  \r   A   R   I   T   H   D   E
0001200    C   L       D   1  \r   (   P       2       A       P       1
0001220        T   Y   P   E       I       0       F   O   R   M   )    
0001240   \0 024 003  \0  \0 001   @ 002   g  \0  \0 021 022 002   H 003
0001260  265 004   I 020 001   g  \0  \0 020  \0   N   I   L  \r   (   2
0001300    1   Q       F   L   O   A   T   P       4       F   I   X   P
0001320    )  \r   N   I   L  \r   M   A   X   D   E   C   L       D   1
0001340   \r   (   P       2       T   Y   P   E       P       1       A
0001360        I       0       F   O   R   M   )      \0   ) 003  \0  \0
0001400  001   @   d 002 243   g  \0  \0 020 002 002 021   ! 002   @ 002
0001420  001   g  \0  \0 020 001 271   J   I  \t  \0  \0  \n  \0  \0 262
0001440  362   H 002   X 003 265 360   J 020  \0   (   3   5   Q       C
0001460    O   V   E   R   S       3   2   Q       D   E   C   L   O   F
0001500    )  \r   (   2   2   Q       N   U   M   B   E   R   P       6
0001520        F   I   X   P   )  \r   N   I   L  \r   (   P   R   E   T
0001540    T   Y   C   O   M   P   R   I   N   T       A   R   I   T   H
0001560    D   E   C   L   S   C   O   M   S   )  \r   (   R   P   A   Q
0001600    Q       A   R   I   T   H   D   E   C   L   S   C   O   M   S
0001620        (   (   F   N   S       A   R   I   T   H   D   E   C   L
0001640        M   A   X   D   E   C   L   )       (   P   R   O   P    
0001660    D   E   C   L   O   F       F   D   I   F   F   E   R   E   N
0001700    C   E       F   I   X       F   L   O   A   T       F   M   I
0001720    N   U   S       F   P   L   U   S      \r   F   Q   U   O   T
0001740    I   E   N   T       F   T   I   M   E   S       I   D   I   F
0001760    F   E   R   E   N   C   E       I   M   I   N   U   S       I
0002000    P   L   U   S       I   Q   U   O   T   I   E   N   T       I
0002020    T   I   M   E   S       L   O   G   A   N   D       L   O   G
0002040    O   R       L   O   G   X   O   R   )       (   P   R   O   P
0002060        D   E   C   L   O   F       A   D   D   1       I   M   A
0002100    X  \r       I   M   I   N       I   M   O   D       S   U   B
0002120    1       P   L   U   S       D   I   F   F   E   R   E   N   C
0002140    E       T   I   M   E   S       Q   U   O   T   I   E   N   T
0002160        M   A   X       M   I   N       M   I   N   U   S       R
0002200    E   M   A   I   N   D   E   R       E   X   P   T       R   A
0002220    N   D       S   Q   R   T       L   E   N   G   T   H       F
0002240    L   E   N   G   T   H      \r   F   M   A   X       F   M   I
0002260    N   )   )   )  \r   (   P   U   T   P   R   O   P   S       F
0002300    D   I   F   F   E   R   E   N   C   E       D   E   C   L   O
0002320    F       F   L   O   A   T   P   )  \r   (   P   U   T   P   R
0002340    O   P   S       F   I   X       D   E   C   L   O   F       F
0002360    I   X   P   )  \r   (   P   U   T   P   R   O   P   S       F
0002400    L   O   A   T       D   E   C   L   O   F       F   L   O   A
0002420    T   P   )  \r   (   P   U   T   P   R   O   P   S       F   M
0002440    I   N   U   S       D   E   C   L   O   F       F   L   O   A
0002460    T   P   )  \r   (   P   U   T   P   R   O   P   S       F   P
0002500    L   U   S       D   E   C   L   O   F       F   L   O   A   T
0002520    P   )  \r   (   P   U   T   P   R   O   P   S       F   Q   U
0002540    O   T   I   E   N   T       D   E   C   L   O   F       F   L
0002560    O   A   T   P   )  \r   (   P   U   T   P   R   O   P   S    
0002600    F   T   I   M   E   S       D   E   C   L   O   F       F   L
0002620    O   A   T   P   )  \r   (   P   U   T   P   R   O   P   S    
0002640    I   D   I   F   F   E   R   E   N   C   E       D   E   C   L
0002660    O   F       F   I   X   P   )  \r   (   P   U   T   P   R   O
0002700    P   S       I   M   I   N   U   S       D   E   C   L   O   F
0002720        F   I   X   P   )  \r   (   P   U   T   P   R   O   P   S
0002740        I   P   L   U   S       D   E   C   L   O   F       F   I
0002760    X   P   )  \r   (   P   U   T   P   R   O   P   S       I   Q
0003000    U   O   T   I   E   N   T       D   E   C   L   O   F       F
0003020    I   X   P   )  \r   (   P   U   T   P   R   O   P   S       I
0003040    T   I   M   E   S       D   E   C   L   O   F       F   I   X
0003060    P   )  \r   (   P   U   T   P   R   O   P   S       L   O   G
0003100    A   N   D       D   E   C   L   O   F       F   I   X   P   )
0003120   \r   (   P   U   T   P   R   O   P   S       L   O   G   O   R
0003140        D   E   C   L   O   F       F   I   X   P   )  \r   (   P
0003160    U   T   P   R   O   P   S       L   O   G   X   O   R       D
0003200    E   C   L   O   F       F   I   X   P   )  \r   (   P   U   T
0003220    P   R   O   P   S       A   D   D   1       D   E   C   L   O
0003240    F       F   I   X   P   )  \r   (   P   U   T   P   R   O   P
0003260    S       I   M   A   X       D   E   C   L   O   F       F   I
0003300    X   P   )  \r   (   P   U   T   P   R   O   P   S       I   M
0003320    I   N       D   E   C   L   O   F       F   I   X   P   )  \r
0003340    (   P   U   T   P   R   O   P   S       I   M   O   D       D
0003360    E   C   L   O   F       F   I   X   P   )  \r   (   P   U   T
0003400    P   R   O   P   S       S   U   B   1       D   E   C   L   O
0003420    F       F   I   X   P   )  \r   (   P   U   T   P   R   O   P
0003440    S       P   L   U   S       D   E   C   L   O   F       (   F
0003460    U   N   C   T   I   O   N       A   R   I   T   H   D   E   C
0003500    L   )   )  \r   (   P   U   T   P   R   O   P   S       D   I
0003520    F   F   E   R   E   N   C   E       D   E   C   L   O   F    
0003540    (   F   U   N   C   T   I   O   N       A   R   I   T   H   D
0003560    E   C   L   )   )  \r   (   P   U   T   P   R   O   P   S    
0003600    T   I   M   E   S       D   E   C   L   O   F       (   F   U
0003620    N   C   T   I   O   N       A   R   I   T   H   D   E   C   L
0003640    )   )  \r   (   P   U   T   P   R   O   P   S       Q   U   O
0003660    T   I   E   N   T       D   E   C   L   O   F       (   F   U
0003700    N   C   T   I   O   N       A   R   I   T   H   D   E   C   L
0003720    )   )  \r   (   P   U   T   P   R   O   P   S       M   A   X
0003740        D   E   C   L   O   F       (   F   U   N   C   T   I   O
0003760    N       M   A   X   D   E   C   L   )   )  \r   (   P   U   T
0004000    P   R   O   P   S       M   I   N       D   E   C   L   O   F
0004020        (   F   U   N   C   T   I   O   N       M   A   X   D   E
0004040    C   L   )   )  \r   (   P   U   T   P   R   O   P   S       M
0004060    I   N   U   S       D   E   C   L   O   F       (   F   U   N
0004100    C   T   I   O   N       A   R   I   T   H   D   E   C   L   )
0004120    )  \r   (   P   U   T   P   R   O   P   S       R   E   M   A
0004140    I   N   D   E   R       D   E   C   L   O   F       (   F   U
0004160    N   C   T   I   O   N       A   R   I   T   H   D   E   C   L
0004200    )   )  \r   (   P   U   T   P   R   O   P   S       E   X   P
0004220    T       D   E   C   L   O   F       (   F   U   N   C   T   I
0004240    O   N       A   R   I   T   H   D   E   C   L   )   )  \r   (
0004260    P   U   T   P   R   O   P   S       R   A   N   D       D   E
0004300    C   L   O   F       (   F   U   N   C   T   I   O   N       A
0004320    R   I   T   H   D   E   C   L   )   )  \r   (   P   U   T   P
0004340    R   O   P   S       S   Q   R   T       D   E   C   L   O   F
0004360        F   L   O   A   T   P   )  \r   (   P   U   T   P   R   O
0004400    P   S       L   E   N   G   T   H       D   E   C   L   O   F
0004420        F   I   X   P   )  \r   (   P   U   T   P   R   O   P   S
0004440        F   L   E   N   G   T   H       D   E   C   L   O   F    
0004460    F   I   X   P   )  \r   (   P   U   T   P   R   O   P   S    
0004500    F   M   A   X       D   E   C   L   O   F       F   L   O   A
0004520    T   P   )  \r   (   P   U   T   P   R   O   P   S       F   M
0004540    I   N       D   E   C   L   O   F       F   L   O   A   T   P
0004560    )  \r   (   P   U   T   P   R   O   P   S       A   R   I   T
0004600    H   D   E   C   L   S       C   O   P   Y   R   I   G   H   T
0004620        (   "   X   e   r   o   x       C   o   r   p   o   r   a
0004640    t   i   o   n   "       1   9   8   3   )   )  \r   N   I   L
0004660   \r                                                            
0004661