formulas.elf
fol-int-at.elf
tab-ex-all.quy
tab-ex-np.quy