fset format_leave $G $(c4)($(c2)part$(c4)/$(c1)$3$(c4)) $(c3)by $(c2)$1$(c4)($(c1)$sar(/@/$(c2)@$(c1)/$2)$(c4))$(c3)