rw-rw-r-- 110/100 1312588 Jan 24 09:32 1994 ./runtime/sys_modules.ql
rwxrwxr-x 110/100 533749 Jan 24 09:32 1994 ./runtime/goedel
rw-rw-r-- 110/24   2320 Jan 24 09:31 1994 ./runtime/Runtime/rt_boot.ql
rw-rw-r-- 110/24 411633 Jan 24 09:31 1994 ./runtime/Runtime/runtime.ql
