/usr/
    
        
    
                 | 
                
                    
                 | 
                
                    root:root
                 | 
                
                    0o755
                 | 
                
                    
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/
    
        
    
                 | 
                
                    
                 | 
                
                    root:root
                 | 
                
                    0o755
                 | 
                
                    
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/
    
        
    
                 | 
                
                    
                 | 
                
                    root:root
                 | 
                
                    0o755
                 | 
                
                    
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/
    
        
    
                 | 
                
                    
                 | 
                
                    root:root
                 | 
                
                    0o755
                 | 
                
                    
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/algaggr.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.3 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/algbrbf.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    334 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/algfacob.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/alist.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    344 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/allfact.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/antoine.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.8 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/arith.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    698 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/array1.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    258 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/array2.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    339 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/arrows.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    497 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/asec.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.6 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/aseg6.as
    
        
    
                 | 
                
                    text/x-c
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.5 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/aseg7.as
    
        
    
                 | 
                
                    text/x-c
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.7 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/assign.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    563 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/atansqrt.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    226 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/axiom.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    589 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/bags.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    668 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/bbtree.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    258 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/bern.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    155 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/bernpoly.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    666 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/binary.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    222 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/bop.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    404 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/bouquet.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/bstree.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    419 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/bug10069.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    107 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/bug10312.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    72 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/bug6357.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    209 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/bug9057.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    184 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/bugs.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.5 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/calculus2.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.5 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/calculus.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    921 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/cardinal.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    581 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/card.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    549 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/carten.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/cclass.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    427 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/cdraw.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    4.9 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/char.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    399 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/ch.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    671 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/clifford.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.4 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/clif.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.3 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/coercels.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    373 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/collect.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.8 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/color.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    360 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/complex.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    292 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/cone.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    92 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/conformal.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    6.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/constant.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/contfrac.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.8 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/contfrc.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    841 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/coordsys.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.3 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/curl.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    122 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/cycles1.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.6 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/cycles.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    11.3 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/cycloid2.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    93 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/cycloid3.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    95 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/cycloid.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    91 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/cyfactor.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    495 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/damped.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/danzwill.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.6 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/de2re.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    183 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/decimal.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    244 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/defintef.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    649 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/defintrf.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    336 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/defs.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.5 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/derham.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/dfloat.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    321 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/dhtri.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.5 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/divisor.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    676 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/dmp.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    304 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/dpol.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.9 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/draw2dSF.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    779 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/drawalg.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    205 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/drawcfn.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/drawcfun.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.5 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/drawcurv.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.6 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/drawcx.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.3 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/drawex.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.7 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/draw.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/drawpoly.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    694 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/drawx.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/easter.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    12.5 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/ecfact.as
    
        
    
                 | 
                
                    text/x-c
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    9.8 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/efi.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    594 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/egg.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    76 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/eigen.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.3 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/elemfun.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/elemnum.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.8 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/elfuts.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/elt.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    214 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/eq.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    258 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/eqtbl.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    154 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/equation2.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/equation.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    4.8 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/errortrap.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    631 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/evalex.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    147 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/eval.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/exdiff.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    668 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/exint.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    930 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/exit.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    183 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/exlap.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    521 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/exlimit.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    795 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/expexpan.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1008 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/explim.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/explot2d.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    411 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/explot3d.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    394 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/expr1.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    604 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/expr.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/exprode.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    904 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/exprpoly.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1000 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/exseries.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    360 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/exsum.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    758 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/farray.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    405 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/ffdemo.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    12.9 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/fferr.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    294 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/ffrac.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    414 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/ffx72.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/fib.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    159 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/file.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    316 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/fixed.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    53.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/float1.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1023 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/float2.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    550 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/float.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    521 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/fname1.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    517 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/fname.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    628 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/fnla.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    194 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/fns.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    694 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/folium.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    142 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/fparfrac.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/fparfrc.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    697 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/fr1.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/fr2.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    170 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/frac.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    263 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/fr.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/function.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/galois.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    808 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/gary1.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    128 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/gbf.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    330 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/genups.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/gnarly1.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    137 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/gonshor.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    4.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/grdef.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    461 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/grpthry.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/gstbl.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    285 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/heap.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    242 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/heat.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    917 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/helix.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    45 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/help.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    67 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/herm.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.4 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/hexadec.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    207 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/hilbert.as
    
        
    
                 | 
                
                    text/x-c
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    8.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/huang.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    13.6 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/ico.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.9 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/ideal.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    480 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/ifact.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    258 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/images1a.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    4.3 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/images1.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    155 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/images3a.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/images3.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    194 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/images6a.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    615 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/images6.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    634 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/images7a.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    6.9 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/images7.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    787 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/infprod.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/intaf.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    431 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/intdeq.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    267 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/intef2.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    398 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/intef.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    759 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/intg0.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    803 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/intheory.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    636 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/int.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    972 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/intlf.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    141 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/intmix2.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    206 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/intmix.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    447 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/intrf.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    373 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/ipftest.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    293 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/is.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    748 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/isprime.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    496 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/kafile.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    517 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/kernel.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    494 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/knot2.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    887 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/knot.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    526 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/kovacic.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    944 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/kuipers.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    750 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/laplace.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    806 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/leg.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    177 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/lexp.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    315 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/lextripk.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    849 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/lib.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    225 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/limit.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    563 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/linalg.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/lindep.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    870 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/liss1.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    125 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/liss2.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    126 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/list.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    755 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/lode.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.4 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/lodesys.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.7 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/lodo1.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    658 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/lodo2.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    827 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/lodo3.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    562 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/lodof.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    862 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/lodo.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.7 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/loop.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/lpoly.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    813 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/lump.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    109 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/lupfact.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.7 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/lword.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    519 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/macbug.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    700 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/macros.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    197 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/magma.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    278 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/mapleok.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    219.9 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/mappkg1.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    777 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/marcbench.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    12.6 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/matbug.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    252 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/matops.as
    
        
    
                 | 
                
                    text/x-c
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/matrix1.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/matrix22.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    708 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/matrix.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.7 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/mfinfact.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    366 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/mkfunc.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    337 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/mountain.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.4 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/mpoly.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    365 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/mset2.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    373 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/mset.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    476 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/mult3d.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/multfact.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    291 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/multiple.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    292 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/multKnot.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    737 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/ndftip.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    10.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/negfloats.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    185 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/nepip.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/newlodo.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.6 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/newton.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/nlode.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.4 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/none.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    97 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/noonburg.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    286 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/noptip.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    428 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/nqip.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.3 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/nsfip.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    11.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/ntube.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.4 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/numbers.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.9 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/oct.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    693 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/octonion.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/ode.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    999 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/odpol.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    674 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/op1.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    541 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/opalg.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    597 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/operator.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    311 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/op.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    80 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/ovar.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    167 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/padic.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    714 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/palette.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    221 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/parabola.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    99 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/parpcurv.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    204 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/parscurv.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    199 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/parsurf.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    360 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/pascal1.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    357 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/pascal.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    344 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/pat.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    803 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/patmatch.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    827 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/pdecomp0.as
    
        
    
                 | 
                
                    text/x-c
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    4.4 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/perman.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    224 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/perm.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    4.3 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/pfr1.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    355 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/pfr.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    484 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/pinch.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    99 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/plotfile.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.9 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/pmint.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    11.5 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/pollevel.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    426 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/poly1.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    757 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/polycoer.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/poly.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.4 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/psgenfcn.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.8 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/quat1.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    302 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/quat.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1018 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/r20abugs.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.8 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/r20bugs.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/r21bugsbig.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.9 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/r21bugs.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.3 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/radff.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    645 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/radix.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    535 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/realclos.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/reclos.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.7 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/reductio.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    570 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/regset.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.3 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/repa6.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    3.5 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/ribbon.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    412 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/ribbons.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    551 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/ribbonsNew.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    530 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/rk4draw.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/robidoux.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    544 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/roman.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    266 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/romnum.as
    
        
    
                 | 
                
                    text/x-c
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/roots.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    331 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/ruleset.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    800 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/rules.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.4 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/saddle.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    85 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/scherk.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.7 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/scope.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    262 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/segbind.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    154 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/seg.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    163 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/series2.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1022 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/series.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    717 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/sersolve.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    342 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/set.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    490 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/sinCosEx.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    417 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/sininv.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    75 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/sinsin2.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    61 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/sinsin.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    95 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/sint.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    309 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/skew.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.8 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/slowint.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    240 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/solvetra.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/space3.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    6.7 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/spadprof.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    684 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/spiral.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    89 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/sqmatrix.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    220 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/sregset.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    575 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/stbl.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    181 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/stream2.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/stream.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    320 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/streams.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.3 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/string.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/strtbl.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    207 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/symbol.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    430 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/synonym2.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.8 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/synonym.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.5 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/t111293.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    474 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/table.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    410 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/tanatan.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/test.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    10.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/tetra.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/textfile.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    367 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/tknot.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1011 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/torus.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    125 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/tree.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.5 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/triglim.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    882 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/tschirn.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    125 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/tsetcatbutcher.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.6 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/tsetcatchemical.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.1 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/tsetcatvermeer.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    822 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/tutchap1.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    379 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/tutchap2.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/tutchap3.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    2.0 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/tutchap4.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    509 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/tutchap67.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    4.5 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/typo.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    103 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/uniseg.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    230 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/up.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    653 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/vector.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    200 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/vectors.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    1.7 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/viewdef.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    958 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/void.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    154 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/wiggle.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    82 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/wutset.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    358 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/xpbwpoly.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    862 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/xpoly.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    257 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/xpr.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    366 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/zdsolve.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    841 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/zimmer.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    6.2 KB
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/lib/open-axiom/input/zlindep.input
    
        
    
                 | 
                
                    text/plain
                 | 
                
                    root:root
                 | 
                
                    0o644
                 | 
                
                    
    392 bytes
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/
    
        
    
                 | 
                
                    
                 | 
                
                    root:root
                 | 
                
                    0o755
                 | 
                
                    
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/doc/
    
        
    
                 | 
                
                    
                 | 
                
                    root:root
                 | 
                
                    0o755
                 | 
                
                    
                 | 
            
        
            
                
                    
    
        
    
    
    /usr/share/doc/open-axiom-test
    
        
    
                 | 
                
                    
                 | 
                
                    root:root
                 | 
                
                    0o777
                 | 
                
                    
                 |