$ lola --formula="EF DEADLOCK" --quiet phils10.lola
