../ equiv.eps 15-Feb-2019 15:12 11692 haskore.tex 15-Feb-2019 15:12 3906 midi.svg 15-Feb-2019 15:12 11523 midi.tex 15-Feb-2019 15:12 1491 poly.eps 15-Feb-2019 15:12 20634