../../../systems/knuth/dist/lib/logobf10.mf