-static formulas.elf
-static lv.elf
-dynamic linear.elf
-dynamic admit.elf
-static lv-cut.elf
-static elim.elf

