$ od -c -N 50000 [_CDCSL_93-16_]<1>Cedar>release>Top>GeometricLogicOps.df
0000000    -   -       G   e   o   m   e   t   r   i   c   L   o   g   i
0000020    c   O   p   s   .   d   f  \n   -   -       C   o   p   y   r
0000040    i   g   h   t     323       1   9   9   2       b   y       X
0000060    e   r   o   x       C   o   r   p   o   r   a   t   i   o   n
0000100    .           A   l   l       r   i   g   h   t   s       r   e
0000120    s   e   r   v   e   d   .  \n   -   -       D   F   P   o   r
0000140    t   :       G   r   e   e   n   e   ,       J   u   l   y    
0000160    2   0   ,       1   9   9   2       7   :   2   5       p   m
0000200        P   D   T  \n  \n   E   x   p   o   r   t   s       [   C
0000220    e   d   a   r   1   0   .   1   ]   <   T   o   p   >  \n    
0000240        G   e   o   m   e   t   r   i   c   L   o   g   i   c   O
0000260    p   s   .   d   f                                            
0000300                                                            2   0
0000320    -   J   u   l   -   9   2       1   9   :   2   6   :   3   6
0000340        P   D   T  \n  \n   E   x   p   o   r   t   s       [   C
0000360    e   d   a   r   1   0   .   1   ]   <   G   e   o   m   e   t
0000400    r   i   c   L   o   g   i   c   O   p   s   >  \n           +
0000420    s   u   n   4   >   G   e   o   m   e   t   r   i   c   L   o
0000440    g   i   c   O   p   s   I   m   p   l   .   c   2   c   .   o
0000460    !   1                                               2   0   -
0000500    J   u   l   -   9   2       1   7   :   0   1   :   5   6    
0000520    P   D   T  \n  \n   D   i   r   e   c   t   o   r   y       [
0000540    C   e   d   a   r   1   0   .   1   ]   <   G   e   o   m   e
0000560    t   r   i   c   L   o   g   i   c   O   p   s   >  \n        
0000600    G   e   o   m   e   t   r   i   c   L   o   g   i   c   O   p
0000620    s   .   m   o   b   !   1                                    
0000640                                                        2   0   -
0000660    J   u   l   -   9   2       1   6   :   3   7   :   0   7    
0000700    P   D   T  \n           G   e   o   m   e   t   r   i   c   L
0000720    o   g   i   c   O   p   s   .   m   e   s   a   !   1        
0000740                                                                 
0000760                0   2   -   J   u   n   -   8   8       1   4   :
0001000    5   7   :   1   7       P   D   T  \n  \n           T   e   s
0001020    t   G   L   O   .   t   i   p   !   1                        
0001040                                                                 
0001060                                            2   6   -   N   o   v
0001100    -   8   5       1   4   :   4   0   :   4   4       P   S   T
0001120   \n  \n           G   e   o   m   e   t   r   i   c   L   o   g
0001140    i   c   O   p   s   .   r   e   q   u   i   r   e   !   1    
0001160                                                                 
0001200        2   5   -   M   a   y   -   9   0       1   5   :   3   6
0001220    :   1   8       P   D   T  \n  \n           G   e   o   m   e
0001240    t   r   i   c   L   o   g   i   c   O   p   s   I   m   p   l
0001260    .   m   o   b   !   1                                        
0001300                                    2   0   -   J   u   l   -   9
0001320    2       1   7   :   0   0   :   2   2       P   D   T  \n    
0001340        G   e   o   m   e   t   r   i   c   L   o   g   i   c   O
0001360    p   s   I   m   p   l   .   m   e   s   a   !   1            
0001400                                                            2   0
0001420    -   J   u   l   -   9   2       1   7   :   0   0   :   0   6
0001440        P   D   T  \n           G   e   o   m   e   t   r   i   c
0001460    L   o   g   i   c   O   p   s   I   m   p   l   .   c   2   c
0001500    .   c   !   1                                                
0001520                    2   0   -   J   u   l   -   9   2       1   7
0001540    :   0   0   :   2   7       P   D   T  \n           T   e   s
0001560    t   G   e   o   m   e   t   r   i   c   L   o   g   i   c   O
0001600    p   s   I   m   p   l   .   m   o   b   !   1                
0001620                                            2   0   -   J   u   l
0001640    -   9   2       1   6   :   3   7   :   1   6       P   D   T
0001660   \n           T   e   s   t   G   e   o   m   e   t   r   i   c
0001700    L   o   g   i   c   O   p   s   I   m   p   l   .   m   e   s
0001720    a   !   1                                                    
0001740    2   5   -   M   a   y   -   9   0       1   5   :   4   9   :
0001760    5   1       P   D   T  \n           T   e   s   t   G   e   o
0002000    m   e   t   r   i   c   L   o   g   i   c   O   p   s   I   m
0002020    p   l   .   c   2   c   .   c   !   1                        
0002040                            2   0   -   J   u   l   -   9   2    
0002060    1   6   :   3   7   :   2   0       P   D   T  \n           +
0002100    s   u   n   4   >   T   e   s   t   G   e   o   m   e   t   r
0002120    i   c   L   o   g   i   c   O   p   s   I   m   p   l   .   c
0002140    2   c   .   o   !   1                               2   0   -
0002160    J   u   l   -   9   2       1   6   :   3   7   :   5   5    
0002200    P   D   T  \n  \n   I   m   p   o   r   t   s       [   C   e
0002220    d   a   r   1   0   .   1   ]   <   T   o   p   >   B   a   s
0002240    i   c   P   a   c   k   a   g   e   s   .   d   f       O   f
0002260        ~   =  \n           U   s   i   n   g       [   C   o   m
0002300    m   a   n   d   e   r   .   m   o   b   ]  \n  \n   I   m   p
0002320    o   r   t   s       [   C   e   d   a   r   1   0   .   1   ]
0002340    <   T   o   p   >   B   a   s   i   c   s   .   d   f       O
0002360    f       ~   =  \n           U   s   i   n   g       [   B   a
0002400    s   i   c   s   .   m   o   b   ,       P   r   o   c   e   s
0002420    s   .   m   o   b   ]  \n  \n   I   m   p   o   r   t   s    
0002440    [   C   e   d   a   r   1   0   .   1   ]   <   T   o   p   >
0002460    F   l   o   a   t   i   n   g   P   o   i   n   t   .   d   f
0002500        O   f       ~   =  \n           U   s   i   n   g       [
0002520    R   e   a   l   .   m   o   b   ]  \n  \n   I   m   p   o   r
0002540    t   s       [   C   e   d   a   r   1   0   .   1   ]   <   T
0002560    o   p   >   I   m   a   g   e   r   .   d   f       O   f    
0002600    ~   =  \n           U   s   i   n   g       [   I   m   a   g
0002620    e   r   .   m   o   b   ,       I   m   a   g   e   r   C   o
0002640    l   o   r   .   m   o   b   ,       I   m   a   g   e   r   P
0002660    a   t   h   .   m   o   b   ,       V   e   c   t   o   r   2
0002700    .   m   o   b   ]  \n  \n   I   m   p   o   r   t   s       [
0002720    C   e   d   a   r   1   0   .   1   ]   <   T   o   p   >   R
0002740    o   p   e   .   d   f       O   f       ~   =  \n           U
0002760    s   i   n   g       [   R   o   p   e   .   m   o   b   ]  \n
0003000   \n   I   m   p   o   r   t   s       [   C   e   d   a   r   1
0003020    0   .   1   ]   <   T   o   p   >   S   w   e   e   p   .   d
0003040    f       O   f       ~   =  \n           U   s   i   n   g    
0003060    [   S   w   e   e   p   .   m   o   b   ]  \n  \n   I   m   p
0003100    o   r   t   s       [   C   e   d   a   r   1   0   .   1   ]
0003120    <   T   o   p   >   T   I   P   .   d   f       O   f       ~
0003140    =  \n           U   s   i   n   g       [   S   c   r   e   e
0003160    n   C   o   o   r   d   s   T   y   p   e   s   .   m   o   b
0003200    ,       T   I   P   U   s   e   r   .   m   o   b   ]  \n  \n
0003220    I   m   p   o   r   t   s       [   C   e   d   a   r   1   0
0003240    .   1   ]   <   T   o   p   >   V   i   e   w   e   r   s   .
0003260    d   f       O   f       ~   =  \n           U   s   i   n   g
0003300        [   C   o   n   t   a   i   n   e   r   s   .   m   o   b
0003320    ,       M   e   n   u   s   .   m   o   b   ,       V   i   e
0003340    w   e   r   C   l   a   s   s   e   s   .   m   o   b   ,    
0003360    V   i   e   w   e   r   O   p   s   .   m   o   b   ]  \n    
0003377