| 
    
        
    
    
    /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/calculus.input
    
        
    
 | text/plain | root:root | 0o644 | 921 bytes | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/calculus2.input
    
        
    
 | text/plain | root:root | 0o644 | 3.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/card.input
    
        
    
 | text/plain | root:root | 0o644 | 549 bytes | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/cardinal.input
    
        
    
 | text/plain | root:root | 0o644 | 581 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/ch.input
    
        
    
 | text/plain | root:root | 0o644 | 671 bytes | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/char.input
    
        
    
 | text/plain | root:root | 0o644 | 399 bytes | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/clif.input
    
        
    
 | text/plain | root:root | 0o644 | 1.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/clifford.input
    
        
    
 | text/plain | root:root | 0o644 | 2.4 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/cycles.input
    
        
    
 | text/plain | root:root | 0o644 | 11.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/cycles1.input
    
        
    
 | text/plain | root:root | 0o644 | 1.6 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/cycloid.input
    
        
    
 | text/plain | root:root | 0o644 | 91 bytes | 
        
            
                | 
    
        
    
    
    /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/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/draw.input
    
        
    
 | text/plain | root:root | 0o644 | 2.2 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/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/equation.input
    
        
    
 | text/plain | root:root | 0o644 | 4.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/equation2.input
    
        
    
 | text/plain | root:root | 0o644 | 1.2 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/errortrap.input
    
        
    
 | text/plain | root:root | 0o644 | 631 bytes | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/eval.input
    
        
    
 | text/plain | root:root | 0o644 | 2.1 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/evalex.input
    
        
    
 | text/plain | root:root | 0o644 | 147 bytes | 
        
            
                | 
    
        
    
    
    /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/expr.input
    
        
    
 | text/plain | root:root | 0o644 | 1.1 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/expr1.input
    
        
    
 | text/plain | root:root | 0o644 | 604 bytes | 
        
            
                | 
    
        
    
    
    /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/float.input
    
        
    
 | text/plain | root:root | 0o644 | 521 bytes | 
        
            
                | 
    
        
    
    
    /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/fname.input
    
        
    
 | text/plain | root:root | 0o644 | 628 bytes | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/fname1.input
    
        
    
 | text/plain | root:root | 0o644 | 517 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/fr.input
    
        
    
 | text/plain | root:root | 0o644 | 2.0 KB | 
        
            
                | 
    
        
    
    
    /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/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/images1.input
    
        
    
 | text/plain | root:root | 0o644 | 155 bytes | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/images1a.input
    
        
    
 | text/plain | root:root | 0o644 | 4.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/images3.input
    
        
    
 | text/plain | root:root | 0o644 | 194 bytes | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/images3a.input
    
        
    
 | text/plain | root:root | 0o644 | 1.1 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/images6.input
    
        
    
 | text/plain | root:root | 0o644 | 634 bytes | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/images6a.input
    
        
    
 | text/plain | root:root | 0o644 | 615 bytes | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/images7.input
    
        
    
 | text/plain | root:root | 0o644 | 787 bytes | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/images7a.input
    
        
    
 | text/plain | root:root | 0o644 | 6.9 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/infprod.input
    
        
    
 | text/plain | root:root | 0o644 | 1.0 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/int.input
    
        
    
 | text/plain | root:root | 0o644 | 972 bytes | 
        
            
                | 
    
        
    
    
    /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/intef.input
    
        
    
 | text/plain | root:root | 0o644 | 759 bytes | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/intef2.input
    
        
    
 | text/plain | root:root | 0o644 | 398 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/intlf.input
    
        
    
 | text/plain | root:root | 0o644 | 141 bytes | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/intmix.input
    
        
    
 | text/plain | root:root | 0o644 | 447 bytes | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/intmix2.input
    
        
    
 | text/plain | root:root | 0o644 | 206 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/knot.input
    
        
    
 | text/plain | root:root | 0o644 | 526 bytes | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/knot2.input
    
        
    
 | text/plain | root:root | 0o644 | 887 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/lodo.input
    
        
    
 | text/plain | root:root | 0o644 | 3.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/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/matrix.input
    
        
    
 | text/plain | root:root | 0o644 | 1.7 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/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/mset.input
    
        
    
 | text/plain | root:root | 0o644 | 476 bytes | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/mset2.input
    
        
    
 | text/plain | root:root | 0o644 | 373 bytes | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/mult3d.input
    
        
    
 | text/plain | root:root | 0o644 | 2.1 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/multKnot.input
    
        
    
 | text/plain | root:root | 0o644 | 737 bytes | 
        
            
                | 
    
        
    
    
    /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/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/op.input
    
        
    
 | text/plain | root:root | 0o644 | 80 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/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/pascal.input
    
        
    
 | text/plain | root:root | 0o644 | 344 bytes | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/pascal1.input
    
        
    
 | text/plain | root:root | 0o644 | 357 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/perm.input
    
        
    
 | text/plain | root:root | 0o644 | 4.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/perman.input
    
        
    
 | text/plain | root:root | 0o644 | 224 bytes | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/pfr.input
    
        
    
 | text/plain | root:root | 0o644 | 484 bytes | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/pfr1.input
    
        
    
 | text/plain | root:root | 0o644 | 355 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/poly.input
    
        
    
 | text/plain | root:root | 0o644 | 1.4 KB | 
        
            
                | 
    
        
    
    
    /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/psgenfcn.input
    
        
    
 | text/plain | root:root | 0o644 | 1.8 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/quat.input
    
        
    
 | text/plain | root:root | 0o644 | 1018 bytes | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/quat1.input
    
        
    
 | text/plain | root:root | 0o644 | 302 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/r21bugs.input
    
        
    
 | text/plain | root:root | 0o644 | 3.3 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/r21bugsbig.input
    
        
    
 | text/plain | root:root | 0o644 | 1.9 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/rules.input
    
        
    
 | text/plain | root:root | 0o644 | 1.4 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/ruleset.input
    
        
    
 | text/plain | root:root | 0o644 | 800 bytes | 
        
            
                | 
    
        
    
    
    /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/seg.input
    
        
    
 | text/plain | root:root | 0o644 | 163 bytes | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/segbind.input
    
        
    
 | text/plain | root:root | 0o644 | 154 bytes | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/series.input
    
        
    
 | text/plain | root:root | 0o644 | 717 bytes | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/series2.input
    
        
    
 | text/plain | root:root | 0o644 | 1022 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/sinsin.input
    
        
    
 | text/plain | root:root | 0o644 | 95 bytes | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/sinsin2.input
    
        
    
 | text/plain | root:root | 0o644 | 61 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/stream.input
    
        
    
 | text/plain | root:root | 0o644 | 320 bytes | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/stream2.input
    
        
    
 | text/plain | root:root | 0o644 | 1.1 KB | 
        
            
                | 
    
        
    
    
    /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/synonym.input
    
        
    
 | text/plain | root:root | 0o644 | 2.5 KB | 
        
            
                | 
    
        
    
    
    /usr/lib/open-axiom/input/synonym2.input
    
        
    
 | text/plain | root:root | 0o644 | 2.8 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 |