fol.elf
algebra.elf
lattice.elf