timesplusxyzplustimesxztimesyztimeszplusxfytimesgzyplusxatimes2ACplus2ACf1g2a0FULL./TRS/AProVE_AC/AC52.trs