flattennilnilflattenunitxflattenxflatten++xy++flattenxflattenyflatten++unitxy++flattenxflattenyflattenflattenxflattenxrevnilnilrevunitxunitxrev++xy++revyrevxrevrevxx++xnilx++nilyy++++xyz++x++yzflatten1nil0unit1++2rev1FULL./TRS/SK90/2.42.trs