total 8
-rw-r--r--    1 selinger selinger     2441 Sep  4  1997 gcd.j
-rw-r--r--    1 selinger selinger     1973 Sep  4  1997 numbers.j