../ equiv.eps 15-Feb-2019 17:30 11692 glue.eps 15-Feb-2019 17:30 284458 haskore.eps 15-Feb-2019 17:30 20534 poly.eps 15-Feb-2019 17:30 20634 pr12.eps 15-Feb-2019 17:30 276928