add0XXaddsYUsaddYUmult0V0multsWPaddmultWPPrecF1Y10Y1recG1V1sW1G1sW1recG1V1W1factrecmults0XaYaUaVaWaPaF1aaaY1aG1aaaV1aW1a0aaddaaafactaamultaaarecaaaaaasaaFULLbenchmarks/applicative/AotoYamada_05__Ex5TermProof.atrs