drwxr-xr-x root/admin        0 2012-05-12 20:02 ./
drwxr-xr-x root/admin        0 2012-05-12 20:03 ./sw-buildworld/
drwxr-xr-x root/admin        0 2012-05-12 20:03 ./sw-buildworld/bin/
-rwxr-xr-x root/admin   545332 2012-05-12 20:03 ./sw-buildworld/bin/4ti2gmp
-rwxr-xr-x root/admin   460700 2012-05-12 20:03 ./sw-buildworld/bin/4ti2int32
-rwxr-xr-x root/admin   464868 2012-05-12 20:03 ./sw-buildworld/bin/4ti2int64
-rwxr-xr-x root/admin     2369 2012-05-12 20:03 ./sw-buildworld/bin/circuits
-rwxr-xr-x root/admin    58504 2012-05-12 20:02 ./sw-buildworld/bin/genmodel
-rwxr-xr-x root/admin    62448 2012-05-12 20:02 ./sw-buildworld/bin/gensymm
-rwxr-xr-x root/admin      465 2012-05-12 20:03 ./sw-buildworld/bin/graver
-rwxr-xr-x root/admin     2369 2012-05-12 20:03 ./sw-buildworld/bin/groebner
-rwxr-xr-x root/admin      465 2012-05-12 20:03 ./sw-buildworld/bin/hilbert
-rwxr-xr-x root/admin     2369 2012-05-12 20:03 ./sw-buildworld/bin/markov
-rwxr-xr-x root/admin     2369 2012-05-12 20:03 ./sw-buildworld/bin/minimize
-rwxr-xr-x root/admin     2369 2012-05-12 20:03 ./sw-buildworld/bin/normalform
-rwxr-xr-x root/admin    62872 2012-05-12 20:03 ./sw-buildworld/bin/output
-rwxr-xr-x root/admin    30040 2012-05-12 20:02 ./sw-buildworld/bin/ppi
-rwxr-xr-x root/admin     2369 2012-05-12 20:03 ./sw-buildworld/bin/qsolve
-rwxr-xr-x root/admin     2369 2012-05-12 20:03 ./sw-buildworld/bin/rays
-rwxr-xr-x root/admin     2369 2012-05-12 20:03 ./sw-buildworld/bin/walk
-rwxr-xr-x root/admin     2369 2012-05-12 20:03 ./sw-buildworld/bin/zbasis
-rwxr-xr-x root/admin    60936 2012-05-12 20:03 ./sw-buildworld/bin/zsolve
drwxr-xr-x root/admin        0 2012-05-12 20:03 ./sw-buildworld/share/
drwxr-xr-x root/admin        0 2012-05-12 20:03 ./sw-buildworld/share/doc/
drwxr-xr-x root/admin        0 2012-05-12 20:03 ./sw-buildworld/share/doc/4ti2/
-rw-r--r-- root/admin    17987 2012-05-12 20:03 ./sw-buildworld/share/doc/4ti2/COPYING
-rw-r--r-- root/admin     1013 2012-05-12 20:03 ./sw-buildworld/share/doc/4ti2/NEWS
-rw-r--r-- root/admin     2734 2012-05-12 20:03 ./sw-buildworld/share/doc/4ti2/README
-rw-r--r-- root/admin     3754 2012-05-12 20:03 ./sw-buildworld/share/doc/4ti2/TODO