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