formulas.elf
int-atom.elf
tab-ex-all.quy
tab-ex-np.quy