/home/marnix/projects/hmm-for-metamath-test