-static formulas.elf
% -static cll.llf
-static cll.elf
-dynamic admit.elf
-dynamic linear.elf
% -dynamic admit-lin.elf
