eq-diff1
eq-diff2
eq-diff3
prp-irp
prp-asyp
prp-pdw
prp-adp
prp-npa1
prp-npa2
cls-nothing2
cls-com
cls-maxc1
cls-maxqc1
cls-maxqc2
cax-dw
cax-adc