rw-rw-r-- 110/100 1313943 May 16 10:17 1994 ./runtime/sys_modules.ql
rwxrwxr-x 110/100 534268 May 16 10:17 1994 ./runtime/goedel
rw-rw-r-- 110/100   4210 May 16 10:16 1994 ./runtime/Runtime/rt_boot.ql
rw-rw-r-- 110/100 970653 May 16 10:16 1994 ./runtime/Runtime/runtime.ql
