../lam.elf
../ord-red.elf
../par-red.elf
../par-lemmas.elf
par-cr.elf
../ord-lemmas.elf
../equiv.elf
../ord-cr.elf