system-f.tex 192 Bytes