pretty print from binary flexrule file, also bracmat format