  BIG      C        A1 V     62    530     16 94/07/18 12:41:03 GJC191
  DEBUG    C        A1 V     62    530     16 94/07/18 12:41:03 GJC191
  LISP     C        A1 V     62    530     16 94/07/18 12:41:03 GJC191
  UNIV     LISP     A1 V     64     80      4 94/07/18 12:41:10 GJC191
  GODEL    LISP     A1 V     70     64      4 94/07/18 12:41:08 GJC191
  GODEL2   LISP     A1 V     71     64      4 94/07/18 12:41:08 GJC191
  GODEL3   LISP     A1 V     74     97      4 94/07/18 12:41:08 GJC191
  GODEL4   LISP     A1 V     74     97      4 94/07/18 12:41:08 GJC191
  GODEL5   LISP     A1 V     55     28      4 94/07/18 12:41:08 GJC191
  LGODEL   LISP     A1 V     98     45      4 94/07/18 12:41:08 GJC191
  LGODEL2  LISP     A1 V     98     45      4 94/07/18 12:41:08 GJC191
  LGODEL3  LISP     A1 V    101     44      4 94/07/18 12:41:08 GJC191
  LGODEL4  LISP     A1 V    101     44      4 94/07/18 12:41:09 GJC191
  OMEGA    LISP     A1 V     54     91      4 94/07/18 12:41:09 GJC191
  OMEGA2   LISP     A1 V     76     95      4 94/07/18 12:41:09 GJC191
  SETS0    LISP     A1 V     51     27      4 94/07/18 12:41:09 GJC191
  SETS1    LISP     A1 V     59     59      4 94/07/18 12:41:09 GJC191
  SETS2    LISP     A1 V     59     59      4 94/07/18 12:41:09 GJC191
  SETS3    LISP     A1 V     64     66      4 94/07/18 12:41:09 GJC191
  SETS4    LISP     A1 V     64     66      4 94/07/18 12:41:09 GJC191
  TEST     LISP     A1 V     47     42      4 94/07/18 12:41:09 GJC191
  TEST2    LISP     A1 V     55    117      4 94/07/18 12:41:09 GJC191
