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