47.84/12.70 YES 47.84/12.71 47.84/12.71 Problem: 47.84/12.71 a12(a12(a12(a12(x1)))) -> x1 47.84/12.71 a13(a13(a13(a13(x1)))) -> x1 47.84/12.71 a14(a14(a14(a14(x1)))) -> x1 47.84/12.71 a15(a15(a15(a15(x1)))) -> x1 47.84/12.71 a16(a16(a16(a16(x1)))) -> x1 47.84/12.71 a23(a23(a23(a23(x1)))) -> x1 47.84/12.71 a24(a24(a24(a24(x1)))) -> x1 47.84/12.71 a25(a25(a25(a25(x1)))) -> x1 47.84/12.71 a26(a26(a26(a26(x1)))) -> x1 47.84/12.71 a34(a34(a34(a34(x1)))) -> x1 47.84/12.71 a35(a35(a35(a35(x1)))) -> x1 47.84/12.71 a36(a36(a36(a36(x1)))) -> x1 47.84/12.71 a45(a45(a45(a45(x1)))) -> x1 47.84/12.71 a46(a46(a46(a46(x1)))) -> x1 47.84/12.71 a56(a56(a56(a56(x1)))) -> x1 47.84/12.71 a13(a13(x1)) -> a12(a12(a23(a23(a12(a12(x1)))))) 47.84/12.71 a14(a14(x1)) -> a12(a12(a23(a23(a34(a34(a23(a23(a12(a12(x1)))))))))) 47.84/12.71 a15(a15(x1)) -> a12(a12(a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))) 47.84/12.71 a16(a16(x1)) -> 47.84/12.71 a12(a12(a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))))))) 47.84/12.71 a24(a24(x1)) -> a23(a23(a34(a34(a23(a23(x1)))))) 47.84/12.71 a25(a25(x1)) -> a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(x1)))))))))) 47.84/12.71 a26(a26(x1)) -> a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1)))))))))))))) 47.84/12.71 a35(a35(x1)) -> a34(a34(a45(a45(a34(a34(x1)))))) 47.84/12.71 a36(a36(x1)) -> a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(x1)))))))))) 47.84/12.71 a46(a46(x1)) -> a45(a45(a56(a56(a45(a45(x1)))))) 47.84/12.71 a12(a12(a23(a23(a12(a12(a23(a23(a12(a12(a23(a23(x1)))))))))))) -> x1 47.84/12.71 a23(a23(a34(a34(a23(a23(a34(a34(a23(a23(a34(a34(x1)))))))))))) -> x1 47.84/12.71 a34(a34(a45(a45(a34(a34(a45(a45(a34(a34(a45(a45(x1)))))))))))) -> x1 47.84/12.71 a45(a45(a56(a56(a45(a45(a56(a56(a45(a45(a56(a56(x1)))))))))))) -> x1 47.84/12.71 a12(a12(a34(a34(x1)))) -> a34(a34(a12(a12(x1)))) 47.84/12.71 a12(a12(a45(a45(x1)))) -> a45(a45(a12(a12(x1)))) 47.84/12.71 a12(a12(a56(a56(x1)))) -> a56(a56(a12(a12(x1)))) 47.84/12.71 a23(a23(a45(a45(x1)))) -> a45(a45(a23(a23(x1)))) 47.84/12.71 a23(a23(a56(a56(x1)))) -> a56(a56(a23(a23(x1)))) 47.84/12.71 a34(a34(a56(a56(x1)))) -> a56(a56(a34(a34(x1)))) 47.84/12.71 47.84/12.71 Proof: 47.84/12.71 DP Processor: 47.84/12.71 DPs: 47.84/12.71 a13#(a13(x1)) -> a12#(x1) 47.84/12.71 a13#(a13(x1)) -> a12#(a12(x1)) 47.84/12.71 a13#(a13(x1)) -> a23#(a12(a12(x1))) 47.84/12.71 a13#(a13(x1)) -> a23#(a23(a12(a12(x1)))) 47.84/12.71 a13#(a13(x1)) -> a12#(a23(a23(a12(a12(x1))))) 47.84/12.71 a13#(a13(x1)) -> a12#(a12(a23(a23(a12(a12(x1)))))) 47.84/12.71 a14#(a14(x1)) -> a12#(x1) 47.84/12.71 a14#(a14(x1)) -> a12#(a12(x1)) 47.84/12.71 a14#(a14(x1)) -> a23#(a12(a12(x1))) 47.84/12.71 a14#(a14(x1)) -> a23#(a23(a12(a12(x1)))) 47.84/12.71 a14#(a14(x1)) -> a34#(a23(a23(a12(a12(x1))))) 47.84/12.71 a14#(a14(x1)) -> a34#(a34(a23(a23(a12(a12(x1)))))) 47.84/12.71 a14#(a14(x1)) -> a23#(a34(a34(a23(a23(a12(a12(x1))))))) 47.84/12.71 a14#(a14(x1)) -> a23#(a23(a34(a34(a23(a23(a12(a12(x1)))))))) 47.84/12.71 a14#(a14(x1)) -> a12#(a23(a23(a34(a34(a23(a23(a12(a12(x1))))))))) 47.84/12.71 a14#(a14(x1)) -> a12#(a12(a23(a23(a34(a34(a23(a23(a12(a12(x1)))))))))) 47.84/12.71 a15#(a15(x1)) -> a12#(x1) 47.84/12.71 a15#(a15(x1)) -> a12#(a12(x1)) 47.84/12.71 a15#(a15(x1)) -> a23#(a12(a12(x1))) 47.84/12.71 a15#(a15(x1)) -> a23#(a23(a12(a12(x1)))) 47.84/12.71 a15#(a15(x1)) -> a34#(a23(a23(a12(a12(x1))))) 47.84/12.71 a15#(a15(x1)) -> a34#(a34(a23(a23(a12(a12(x1)))))) 47.84/12.71 a15#(a15(x1)) -> a45#(a34(a34(a23(a23(a12(a12(x1))))))) 47.84/12.71 a15#(a15(x1)) -> a45#(a45(a34(a34(a23(a23(a12(a12(x1)))))))) 47.84/12.71 a15#(a15(x1)) -> a34#(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))) 47.84/12.71 a15#(a15(x1)) -> a34#(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))) 47.84/12.71 a15#(a15(x1)) -> a23#(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))) 47.84/12.71 a15#(a15(x1)) -> a23#(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))) 47.84/12.71 a15#(a15(x1)) -> a12#(a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))) 47.84/12.71 a15#(a15(x1)) -> a12#(a12(a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))) 47.84/12.71 a16#(a16(x1)) -> a12#(x1) 47.84/12.71 a16#(a16(x1)) -> a12#(a12(x1)) 47.84/12.71 a16#(a16(x1)) -> a23#(a12(a12(x1))) 47.84/12.71 a16#(a16(x1)) -> a23#(a23(a12(a12(x1)))) 47.84/12.71 a16#(a16(x1)) -> a34#(a23(a23(a12(a12(x1))))) 47.84/12.71 a16#(a16(x1)) -> a34#(a34(a23(a23(a12(a12(x1)))))) 47.84/12.71 a16#(a16(x1)) -> a45#(a34(a34(a23(a23(a12(a12(x1))))))) 47.84/12.71 a16#(a16(x1)) -> a45#(a45(a34(a34(a23(a23(a12(a12(x1)))))))) 47.84/12.71 a16#(a16(x1)) -> a56#(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))) 47.84/12.71 a16#(a16(x1)) -> a56#(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))) 47.84/12.71 a16#(a16(x1)) -> a45#(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))) 47.84/12.71 a16#(a16(x1)) -> a45#(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))) 47.84/12.71 a16#(a16(x1)) -> a34#(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))) 47.84/12.72 a16#(a16(x1)) -> a34#(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))) 47.84/12.72 a16#(a16(x1)) -> a23#(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))))) 47.84/12.72 a16#(a16(x1)) -> 47.84/12.72 a23#(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))))) 47.84/12.72 a16#(a16(x1)) -> 47.84/12.72 a12#(a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))))))) 47.84/12.72 a16#(a16(x1)) -> 47.84/12.72 a12#(a12(a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))))))) 47.84/12.72 a24#(a24(x1)) -> a23#(x1) 47.84/12.72 a24#(a24(x1)) -> a23#(a23(x1)) 47.84/12.72 a24#(a24(x1)) -> a34#(a23(a23(x1))) 47.84/12.72 a24#(a24(x1)) -> a34#(a34(a23(a23(x1)))) 47.84/12.72 a24#(a24(x1)) -> a23#(a34(a34(a23(a23(x1))))) 47.84/12.72 a24#(a24(x1)) -> a23#(a23(a34(a34(a23(a23(x1)))))) 47.84/12.72 a25#(a25(x1)) -> a23#(x1) 47.84/12.72 a25#(a25(x1)) -> a23#(a23(x1)) 47.84/12.72 a25#(a25(x1)) -> a34#(a23(a23(x1))) 47.84/12.72 a25#(a25(x1)) -> a34#(a34(a23(a23(x1)))) 47.84/12.72 a25#(a25(x1)) -> a45#(a34(a34(a23(a23(x1))))) 47.84/12.72 a25#(a25(x1)) -> a45#(a45(a34(a34(a23(a23(x1)))))) 47.84/12.72 a25#(a25(x1)) -> a34#(a45(a45(a34(a34(a23(a23(x1))))))) 47.84/12.72 a25#(a25(x1)) -> a34#(a34(a45(a45(a34(a34(a23(a23(x1)))))))) 47.84/12.72 a25#(a25(x1)) -> a23#(a34(a34(a45(a45(a34(a34(a23(a23(x1))))))))) 47.84/12.72 a25#(a25(x1)) -> a23#(a23(a34(a34(a45(a45(a34(a34(a23(a23(x1)))))))))) 47.84/12.72 a26#(a26(x1)) -> a23#(x1) 47.84/12.72 a26#(a26(x1)) -> a23#(a23(x1)) 47.84/12.72 a26#(a26(x1)) -> a34#(a23(a23(x1))) 47.84/12.72 a26#(a26(x1)) -> a34#(a34(a23(a23(x1)))) 47.84/12.72 a26#(a26(x1)) -> a45#(a34(a34(a23(a23(x1))))) 47.84/12.72 a26#(a26(x1)) -> a45#(a45(a34(a34(a23(a23(x1)))))) 47.84/12.72 a26#(a26(x1)) -> a56#(a45(a45(a34(a34(a23(a23(x1))))))) 47.84/12.72 a26#(a26(x1)) -> a56#(a56(a45(a45(a34(a34(a23(a23(x1)))))))) 47.84/12.72 a26#(a26(x1)) -> a45#(a56(a56(a45(a45(a34(a34(a23(a23(x1))))))))) 47.84/12.72 a26#(a26(x1)) -> a45#(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1)))))))))) 47.84/12.72 a26#(a26(x1)) -> a34#(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1))))))))))) 47.84/12.72 a26#(a26(x1)) -> a34#(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1)))))))))))) 47.84/12.72 a26#(a26(x1)) -> a23#(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1))))))))))))) 47.84/12.72 a26#(a26(x1)) -> a23#(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1)))))))))))))) 47.84/12.72 a35#(a35(x1)) -> a34#(x1) 47.84/12.72 a35#(a35(x1)) -> a34#(a34(x1)) 47.84/12.72 a35#(a35(x1)) -> a45#(a34(a34(x1))) 47.84/12.72 a35#(a35(x1)) -> a45#(a45(a34(a34(x1)))) 47.84/12.72 a35#(a35(x1)) -> a34#(a45(a45(a34(a34(x1))))) 47.84/12.72 a35#(a35(x1)) -> a34#(a34(a45(a45(a34(a34(x1)))))) 47.84/12.72 a36#(a36(x1)) -> a34#(x1) 47.84/12.72 a36#(a36(x1)) -> a34#(a34(x1)) 47.84/12.72 a36#(a36(x1)) -> a45#(a34(a34(x1))) 47.84/12.72 a36#(a36(x1)) -> a45#(a45(a34(a34(x1)))) 47.84/12.72 a36#(a36(x1)) -> a56#(a45(a45(a34(a34(x1))))) 47.84/12.72 a36#(a36(x1)) -> a56#(a56(a45(a45(a34(a34(x1)))))) 47.84/12.72 a36#(a36(x1)) -> a45#(a56(a56(a45(a45(a34(a34(x1))))))) 47.84/12.72 a36#(a36(x1)) -> a45#(a45(a56(a56(a45(a45(a34(a34(x1)))))))) 47.84/12.72 a36#(a36(x1)) -> a34#(a45(a45(a56(a56(a45(a45(a34(a34(x1))))))))) 47.84/12.72 a36#(a36(x1)) -> a34#(a34(a45(a45(a56(a56(a45(a45(a34(a34(x1)))))))))) 47.84/12.72 a46#(a46(x1)) -> a45#(x1) 47.84/12.72 a46#(a46(x1)) -> a45#(a45(x1)) 47.84/12.72 a46#(a46(x1)) -> a56#(a45(a45(x1))) 47.84/12.72 a46#(a46(x1)) -> a56#(a56(a45(a45(x1)))) 47.84/12.72 a46#(a46(x1)) -> a45#(a56(a56(a45(a45(x1))))) 47.84/12.72 a46#(a46(x1)) -> a45#(a45(a56(a56(a45(a45(x1)))))) 47.84/12.72 a12#(a12(a34(a34(x1)))) -> a12#(x1) 47.84/12.72 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) 47.84/12.72 a12#(a12(a34(a34(x1)))) -> a34#(a12(a12(x1))) 47.84/12.72 a12#(a12(a34(a34(x1)))) -> a34#(a34(a12(a12(x1)))) 47.84/12.72 a12#(a12(a45(a45(x1)))) -> a12#(x1) 47.84/12.72 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) 47.84/12.72 a12#(a12(a45(a45(x1)))) -> a45#(a12(a12(x1))) 47.84/12.72 a12#(a12(a45(a45(x1)))) -> a45#(a45(a12(a12(x1)))) 47.84/12.72 a12#(a12(a56(a56(x1)))) -> a12#(x1) 47.84/12.72 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) 47.84/12.72 a12#(a12(a56(a56(x1)))) -> a56#(a12(a12(x1))) 47.84/12.72 a12#(a12(a56(a56(x1)))) -> a56#(a56(a12(a12(x1)))) 47.84/12.72 a23#(a23(a45(a45(x1)))) -> a23#(x1) 47.84/12.72 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) 47.84/12.72 a23#(a23(a45(a45(x1)))) -> a45#(a23(a23(x1))) 47.84/12.72 a23#(a23(a45(a45(x1)))) -> a45#(a45(a23(a23(x1)))) 47.84/12.72 a23#(a23(a56(a56(x1)))) -> a23#(x1) 47.84/12.72 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) 47.84/12.72 a23#(a23(a56(a56(x1)))) -> a56#(a23(a23(x1))) 47.84/12.72 a23#(a23(a56(a56(x1)))) -> a56#(a56(a23(a23(x1)))) 47.84/12.72 a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.84/12.72 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.84/12.72 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.84/12.72 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.84/12.72 TRS: 47.84/12.72 a12(a12(a12(a12(x1)))) -> x1 47.84/12.72 a13(a13(a13(a13(x1)))) -> x1 47.84/12.72 a14(a14(a14(a14(x1)))) -> x1 47.84/12.72 a15(a15(a15(a15(x1)))) -> x1 47.84/12.72 a16(a16(a16(a16(x1)))) -> x1 47.84/12.72 a23(a23(a23(a23(x1)))) -> x1 47.84/12.72 a24(a24(a24(a24(x1)))) -> x1 47.84/12.72 a25(a25(a25(a25(x1)))) -> x1 47.84/12.72 a26(a26(a26(a26(x1)))) -> x1 47.84/12.72 a34(a34(a34(a34(x1)))) -> x1 47.84/12.72 a35(a35(a35(a35(x1)))) -> x1 47.84/12.72 a36(a36(a36(a36(x1)))) -> x1 47.84/12.72 a45(a45(a45(a45(x1)))) -> x1 47.84/12.72 a46(a46(a46(a46(x1)))) -> x1 47.84/12.72 a56(a56(a56(a56(x1)))) -> x1 47.84/12.72 a13(a13(x1)) -> a12(a12(a23(a23(a12(a12(x1)))))) 47.84/12.72 a14(a14(x1)) -> a12(a12(a23(a23(a34(a34(a23(a23(a12(a12(x1)))))))))) 47.84/12.72 a15(a15(x1)) -> a12(a12(a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))) 47.84/12.72 a16(a16(x1)) -> 47.84/12.72 a12(a12(a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))))))) 47.84/12.72 a24(a24(x1)) -> a23(a23(a34(a34(a23(a23(x1)))))) 47.84/12.72 a25(a25(x1)) -> a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(x1)))))))))) 47.84/12.72 a26(a26(x1)) -> a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1)))))))))))))) 47.84/12.72 a35(a35(x1)) -> a34(a34(a45(a45(a34(a34(x1)))))) 47.84/12.72 a36(a36(x1)) -> a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(x1)))))))))) 47.84/12.72 a46(a46(x1)) -> a45(a45(a56(a56(a45(a45(x1)))))) 47.84/12.72 a12(a12(a23(a23(a12(a12(a23(a23(a12(a12(a23(a23(x1)))))))))))) -> x1 47.84/12.72 a23(a23(a34(a34(a23(a23(a34(a34(a23(a23(a34(a34(x1)))))))))))) -> x1 47.84/12.72 a34(a34(a45(a45(a34(a34(a45(a45(a34(a34(a45(a45(x1)))))))))))) -> x1 47.84/12.72 a45(a45(a56(a56(a45(a45(a56(a56(a45(a45(a56(a56(x1)))))))))))) -> x1 47.84/12.72 a12(a12(a34(a34(x1)))) -> a34(a34(a12(a12(x1)))) 47.84/12.72 a12(a12(a45(a45(x1)))) -> a45(a45(a12(a12(x1)))) 47.84/12.72 a12(a12(a56(a56(x1)))) -> a56(a56(a12(a12(x1)))) 47.84/12.72 a23(a23(a45(a45(x1)))) -> a45(a45(a23(a23(x1)))) 47.84/12.72 a23(a23(a56(a56(x1)))) -> a56(a56(a23(a23(x1)))) 47.84/12.72 a34(a34(a56(a56(x1)))) -> a56(a56(a34(a34(x1)))) 47.84/12.72 TDG Processor: 47.84/12.72 DPs: 47.84/12.72 a13#(a13(x1)) -> a12#(x1) 47.84/12.72 a13#(a13(x1)) -> a12#(a12(x1)) 47.84/12.72 a13#(a13(x1)) -> a23#(a12(a12(x1))) 47.84/12.72 a13#(a13(x1)) -> a23#(a23(a12(a12(x1)))) 47.84/12.72 a13#(a13(x1)) -> a12#(a23(a23(a12(a12(x1))))) 47.84/12.72 a13#(a13(x1)) -> a12#(a12(a23(a23(a12(a12(x1)))))) 47.84/12.72 a14#(a14(x1)) -> a12#(x1) 47.84/12.72 a14#(a14(x1)) -> a12#(a12(x1)) 47.84/12.72 a14#(a14(x1)) -> a23#(a12(a12(x1))) 47.84/12.72 a14#(a14(x1)) -> a23#(a23(a12(a12(x1)))) 47.84/12.72 a14#(a14(x1)) -> a34#(a23(a23(a12(a12(x1))))) 47.84/12.72 a14#(a14(x1)) -> a34#(a34(a23(a23(a12(a12(x1)))))) 47.84/12.72 a14#(a14(x1)) -> a23#(a34(a34(a23(a23(a12(a12(x1))))))) 47.84/12.72 a14#(a14(x1)) -> a23#(a23(a34(a34(a23(a23(a12(a12(x1)))))))) 47.84/12.72 a14#(a14(x1)) -> a12#(a23(a23(a34(a34(a23(a23(a12(a12(x1))))))))) 47.84/12.72 a14#(a14(x1)) -> a12#(a12(a23(a23(a34(a34(a23(a23(a12(a12(x1)))))))))) 47.84/12.72 a15#(a15(x1)) -> a12#(x1) 47.84/12.72 a15#(a15(x1)) -> a12#(a12(x1)) 47.84/12.72 a15#(a15(x1)) -> a23#(a12(a12(x1))) 47.84/12.72 a15#(a15(x1)) -> a23#(a23(a12(a12(x1)))) 47.84/12.72 a15#(a15(x1)) -> a34#(a23(a23(a12(a12(x1))))) 47.84/12.72 a15#(a15(x1)) -> a34#(a34(a23(a23(a12(a12(x1)))))) 47.84/12.72 a15#(a15(x1)) -> a45#(a34(a34(a23(a23(a12(a12(x1))))))) 47.84/12.72 a15#(a15(x1)) -> a45#(a45(a34(a34(a23(a23(a12(a12(x1)))))))) 47.84/12.72 a15#(a15(x1)) -> a34#(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))) 47.84/12.72 a15#(a15(x1)) -> a34#(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))) 47.84/12.72 a15#(a15(x1)) -> a23#(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))) 47.84/12.72 a15#(a15(x1)) -> a23#(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))) 47.84/12.72 a15#(a15(x1)) -> a12#(a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))) 47.84/12.72 a15#(a15(x1)) -> a12#(a12(a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))) 47.84/12.72 a16#(a16(x1)) -> a12#(x1) 47.84/12.72 a16#(a16(x1)) -> a12#(a12(x1)) 47.84/12.72 a16#(a16(x1)) -> a23#(a12(a12(x1))) 47.84/12.72 a16#(a16(x1)) -> a23#(a23(a12(a12(x1)))) 47.84/12.72 a16#(a16(x1)) -> a34#(a23(a23(a12(a12(x1))))) 47.84/12.72 a16#(a16(x1)) -> a34#(a34(a23(a23(a12(a12(x1)))))) 47.84/12.72 a16#(a16(x1)) -> a45#(a34(a34(a23(a23(a12(a12(x1))))))) 47.84/12.72 a16#(a16(x1)) -> a45#(a45(a34(a34(a23(a23(a12(a12(x1)))))))) 47.84/12.73 a16#(a16(x1)) -> a56#(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))) 47.84/12.73 a16#(a16(x1)) -> a56#(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))) 47.84/12.73 a16#(a16(x1)) -> a45#(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))) 47.84/12.73 a16#(a16(x1)) -> a45#(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))) 47.84/12.73 a16#(a16(x1)) -> a34#(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))) 47.84/12.73 a16#(a16(x1)) -> a34#(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))) 47.84/12.73 a16#(a16(x1)) -> a23#(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))))) 47.84/12.73 a16#(a16(x1)) -> 47.84/12.73 a23#(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))))) 47.84/12.73 a16#(a16(x1)) -> 47.84/12.73 a12#(a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))))))) 47.84/12.73 a16#(a16(x1)) -> 47.84/12.73 a12#(a12(a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))))))) 47.84/12.73 a24#(a24(x1)) -> a23#(x1) 47.84/12.73 a24#(a24(x1)) -> a23#(a23(x1)) 47.84/12.73 a24#(a24(x1)) -> a34#(a23(a23(x1))) 47.84/12.73 a24#(a24(x1)) -> a34#(a34(a23(a23(x1)))) 47.84/12.73 a24#(a24(x1)) -> a23#(a34(a34(a23(a23(x1))))) 47.84/12.73 a24#(a24(x1)) -> a23#(a23(a34(a34(a23(a23(x1)))))) 47.84/12.73 a25#(a25(x1)) -> a23#(x1) 47.84/12.73 a25#(a25(x1)) -> a23#(a23(x1)) 47.84/12.73 a25#(a25(x1)) -> a34#(a23(a23(x1))) 47.84/12.73 a25#(a25(x1)) -> a34#(a34(a23(a23(x1)))) 47.84/12.73 a25#(a25(x1)) -> a45#(a34(a34(a23(a23(x1))))) 47.84/12.73 a25#(a25(x1)) -> a45#(a45(a34(a34(a23(a23(x1)))))) 47.84/12.73 a25#(a25(x1)) -> a34#(a45(a45(a34(a34(a23(a23(x1))))))) 47.84/12.73 a25#(a25(x1)) -> a34#(a34(a45(a45(a34(a34(a23(a23(x1)))))))) 47.84/12.73 a25#(a25(x1)) -> a23#(a34(a34(a45(a45(a34(a34(a23(a23(x1))))))))) 47.84/12.73 a25#(a25(x1)) -> a23#(a23(a34(a34(a45(a45(a34(a34(a23(a23(x1)))))))))) 47.84/12.73 a26#(a26(x1)) -> a23#(x1) 47.84/12.73 a26#(a26(x1)) -> a23#(a23(x1)) 47.84/12.73 a26#(a26(x1)) -> a34#(a23(a23(x1))) 47.84/12.73 a26#(a26(x1)) -> a34#(a34(a23(a23(x1)))) 47.84/12.73 a26#(a26(x1)) -> a45#(a34(a34(a23(a23(x1))))) 47.84/12.73 a26#(a26(x1)) -> a45#(a45(a34(a34(a23(a23(x1)))))) 47.84/12.73 a26#(a26(x1)) -> a56#(a45(a45(a34(a34(a23(a23(x1))))))) 47.84/12.73 a26#(a26(x1)) -> a56#(a56(a45(a45(a34(a34(a23(a23(x1)))))))) 47.84/12.73 a26#(a26(x1)) -> a45#(a56(a56(a45(a45(a34(a34(a23(a23(x1))))))))) 47.84/12.73 a26#(a26(x1)) -> a45#(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1)))))))))) 47.84/12.73 a26#(a26(x1)) -> a34#(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1))))))))))) 47.84/12.73 a26#(a26(x1)) -> a34#(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1)))))))))))) 47.84/12.73 a26#(a26(x1)) -> a23#(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1))))))))))))) 47.84/12.73 a26#(a26(x1)) -> a23#(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1)))))))))))))) 47.84/12.73 a35#(a35(x1)) -> a34#(x1) 47.84/12.73 a35#(a35(x1)) -> a34#(a34(x1)) 47.84/12.73 a35#(a35(x1)) -> a45#(a34(a34(x1))) 47.84/12.73 a35#(a35(x1)) -> a45#(a45(a34(a34(x1)))) 47.84/12.73 a35#(a35(x1)) -> a34#(a45(a45(a34(a34(x1))))) 47.84/12.73 a35#(a35(x1)) -> a34#(a34(a45(a45(a34(a34(x1)))))) 47.84/12.73 a36#(a36(x1)) -> a34#(x1) 47.84/12.73 a36#(a36(x1)) -> a34#(a34(x1)) 47.84/12.73 a36#(a36(x1)) -> a45#(a34(a34(x1))) 47.84/12.73 a36#(a36(x1)) -> a45#(a45(a34(a34(x1)))) 47.84/12.73 a36#(a36(x1)) -> a56#(a45(a45(a34(a34(x1))))) 47.84/12.73 a36#(a36(x1)) -> a56#(a56(a45(a45(a34(a34(x1)))))) 47.84/12.73 a36#(a36(x1)) -> a45#(a56(a56(a45(a45(a34(a34(x1))))))) 47.84/12.73 a36#(a36(x1)) -> a45#(a45(a56(a56(a45(a45(a34(a34(x1)))))))) 47.84/12.73 a36#(a36(x1)) -> a34#(a45(a45(a56(a56(a45(a45(a34(a34(x1))))))))) 47.84/12.73 a36#(a36(x1)) -> a34#(a34(a45(a45(a56(a56(a45(a45(a34(a34(x1)))))))))) 47.84/12.73 a46#(a46(x1)) -> a45#(x1) 47.84/12.73 a46#(a46(x1)) -> a45#(a45(x1)) 47.84/12.73 a46#(a46(x1)) -> a56#(a45(a45(x1))) 47.84/12.73 a46#(a46(x1)) -> a56#(a56(a45(a45(x1)))) 47.84/12.73 a46#(a46(x1)) -> a45#(a56(a56(a45(a45(x1))))) 47.84/12.73 a46#(a46(x1)) -> a45#(a45(a56(a56(a45(a45(x1)))))) 47.84/12.73 a12#(a12(a34(a34(x1)))) -> a12#(x1) 47.84/12.73 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) 47.84/12.73 a12#(a12(a34(a34(x1)))) -> a34#(a12(a12(x1))) 47.84/12.73 a12#(a12(a34(a34(x1)))) -> a34#(a34(a12(a12(x1)))) 47.84/12.73 a12#(a12(a45(a45(x1)))) -> a12#(x1) 47.84/12.73 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) 47.84/12.73 a12#(a12(a45(a45(x1)))) -> a45#(a12(a12(x1))) 47.84/12.73 a12#(a12(a45(a45(x1)))) -> a45#(a45(a12(a12(x1)))) 47.84/12.73 a12#(a12(a56(a56(x1)))) -> a12#(x1) 47.84/12.73 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) 47.84/12.74 a12#(a12(a56(a56(x1)))) -> a56#(a12(a12(x1))) 47.84/12.74 a12#(a12(a56(a56(x1)))) -> a56#(a56(a12(a12(x1)))) 47.84/12.74 a23#(a23(a45(a45(x1)))) -> a23#(x1) 47.84/12.74 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) 47.84/12.74 a23#(a23(a45(a45(x1)))) -> a45#(a23(a23(x1))) 47.84/12.74 a23#(a23(a45(a45(x1)))) -> a45#(a45(a23(a23(x1)))) 47.84/12.74 a23#(a23(a56(a56(x1)))) -> a23#(x1) 47.84/12.74 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) 47.84/12.74 a23#(a23(a56(a56(x1)))) -> a56#(a23(a23(x1))) 47.84/12.74 a23#(a23(a56(a56(x1)))) -> a56#(a56(a23(a23(x1)))) 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.84/12.74 TRS: 47.84/12.74 a12(a12(a12(a12(x1)))) -> x1 47.84/12.74 a13(a13(a13(a13(x1)))) -> x1 47.84/12.74 a14(a14(a14(a14(x1)))) -> x1 47.84/12.74 a15(a15(a15(a15(x1)))) -> x1 47.84/12.74 a16(a16(a16(a16(x1)))) -> x1 47.84/12.74 a23(a23(a23(a23(x1)))) -> x1 47.84/12.74 a24(a24(a24(a24(x1)))) -> x1 47.84/12.74 a25(a25(a25(a25(x1)))) -> x1 47.84/12.74 a26(a26(a26(a26(x1)))) -> x1 47.84/12.74 a34(a34(a34(a34(x1)))) -> x1 47.84/12.74 a35(a35(a35(a35(x1)))) -> x1 47.84/12.74 a36(a36(a36(a36(x1)))) -> x1 47.84/12.74 a45(a45(a45(a45(x1)))) -> x1 47.84/12.74 a46(a46(a46(a46(x1)))) -> x1 47.84/12.74 a56(a56(a56(a56(x1)))) -> x1 47.84/12.74 a13(a13(x1)) -> a12(a12(a23(a23(a12(a12(x1)))))) 47.84/12.74 a14(a14(x1)) -> a12(a12(a23(a23(a34(a34(a23(a23(a12(a12(x1)))))))))) 47.84/12.74 a15(a15(x1)) -> a12(a12(a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))) 47.84/12.74 a16(a16(x1)) -> 47.84/12.74 a12(a12(a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))))))) 47.84/12.74 a24(a24(x1)) -> a23(a23(a34(a34(a23(a23(x1)))))) 47.84/12.74 a25(a25(x1)) -> a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(x1)))))))))) 47.84/12.74 a26(a26(x1)) -> a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1)))))))))))))) 47.84/12.74 a35(a35(x1)) -> a34(a34(a45(a45(a34(a34(x1)))))) 47.84/12.74 a36(a36(x1)) -> a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(x1)))))))))) 47.84/12.74 a46(a46(x1)) -> a45(a45(a56(a56(a45(a45(x1)))))) 47.84/12.74 a12(a12(a23(a23(a12(a12(a23(a23(a12(a12(a23(a23(x1)))))))))))) -> x1 47.84/12.74 a23(a23(a34(a34(a23(a23(a34(a34(a23(a23(a34(a34(x1)))))))))))) -> x1 47.84/12.74 a34(a34(a45(a45(a34(a34(a45(a45(a34(a34(a45(a45(x1)))))))))))) -> x1 47.84/12.74 a45(a45(a56(a56(a45(a45(a56(a56(a45(a45(a56(a56(x1)))))))))))) -> x1 47.84/12.74 a12(a12(a34(a34(x1)))) -> a34(a34(a12(a12(x1)))) 47.84/12.74 a12(a12(a45(a45(x1)))) -> a45(a45(a12(a12(x1)))) 47.84/12.74 a12(a12(a56(a56(x1)))) -> a56(a56(a12(a12(x1)))) 47.84/12.74 a23(a23(a45(a45(x1)))) -> a45(a45(a23(a23(x1)))) 47.84/12.74 a23(a23(a56(a56(x1)))) -> a56(a56(a23(a23(x1)))) 47.84/12.74 a34(a34(a56(a56(x1)))) -> a56(a56(a34(a34(x1)))) 47.84/12.74 graph: 47.84/12.74 a36#(a36(x1)) -> a34#(a45(a45(a56(a56(a45(a45(a34(a34(x1))))))))) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.84/12.74 a36#(a36(x1)) -> a34#(a45(a45(a56(a56(a45(a45(a34(a34(x1))))))))) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.84/12.74 a36#(a36(x1)) -> a34#(a45(a45(a56(a56(a45(a45(a34(a34(x1))))))))) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.84/12.74 a36#(a36(x1)) -> a34#(a45(a45(a56(a56(a45(a45(a34(a34(x1))))))))) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.84/12.74 a36#(a36(x1)) -> a34#(a34(a45(a45(a56(a56(a45(a45(a34(a34(x1)))))))))) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.84/12.74 a36#(a36(x1)) -> a34#(a34(a45(a45(a56(a56(a45(a45(a34(a34(x1)))))))))) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.84/12.74 a36#(a36(x1)) -> a34#(a34(a45(a45(a56(a56(a45(a45(a34(a34(x1)))))))))) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.84/12.74 a36#(a36(x1)) -> a34#(a34(a45(a45(a56(a56(a45(a45(a34(a34(x1)))))))))) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.84/12.74 a36#(a36(x1)) -> a34#(a34(x1)) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.84/12.74 a36#(a36(x1)) -> a34#(a34(x1)) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.84/12.74 a36#(a36(x1)) -> a34#(a34(x1)) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.84/12.74 a36#(a36(x1)) -> a34#(a34(x1)) -> a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.84/12.74 a36#(a36(x1)) -> a34#(x1) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.84/12.74 a36#(a36(x1)) -> a34#(x1) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.84/12.74 a36#(a36(x1)) -> a34#(x1) -> a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.84/12.74 a36#(a36(x1)) -> a34#(x1) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.84/12.74 a35#(a35(x1)) -> a34#(a45(a45(a34(a34(x1))))) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.84/12.74 a35#(a35(x1)) -> a34#(a45(a45(a34(a34(x1))))) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.84/12.74 a35#(a35(x1)) -> a34#(a45(a45(a34(a34(x1))))) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.84/12.74 a35#(a35(x1)) -> a34#(a45(a45(a34(a34(x1))))) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.84/12.74 a35#(a35(x1)) -> a34#(a34(a45(a45(a34(a34(x1)))))) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.84/12.74 a35#(a35(x1)) -> a34#(a34(a45(a45(a34(a34(x1)))))) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.84/12.74 a35#(a35(x1)) -> a34#(a34(a45(a45(a34(a34(x1)))))) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.84/12.74 a35#(a35(x1)) -> a34#(a34(a45(a45(a34(a34(x1)))))) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.84/12.74 a35#(a35(x1)) -> a34#(a34(x1)) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.84/12.74 a35#(a35(x1)) -> a34#(a34(x1)) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.84/12.74 a35#(a35(x1)) -> a34#(a34(x1)) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.84/12.74 a35#(a35(x1)) -> a34#(a34(x1)) -> a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.84/12.74 a35#(a35(x1)) -> a34#(x1) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.84/12.74 a35#(a35(x1)) -> a34#(x1) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.84/12.74 a35#(a35(x1)) -> a34#(x1) -> a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.84/12.74 a35#(a35(x1)) -> a34#(x1) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(x1) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(x1) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(x1) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(x1) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.84/12.74 a26#(a26(x1)) -> a34#(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1))))))))))) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.84/12.74 a26#(a26(x1)) -> a34#(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1))))))))))) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.84/12.74 a26#(a26(x1)) -> a34#(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1))))))))))) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.84/12.74 a26#(a26(x1)) -> a34#(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1))))))))))) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.84/12.74 a26#(a26(x1)) -> a34#(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1)))))))))))) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.84/12.74 a26#(a26(x1)) -> a34#(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1)))))))))))) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.84/12.74 a26#(a26(x1)) -> a34#(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1)))))))))))) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.84/12.74 a26#(a26(x1)) -> a34#(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1)))))))))))) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.84/12.74 a26#(a26(x1)) -> a34#(a34(a23(a23(x1)))) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.84/12.74 a26#(a26(x1)) -> a34#(a34(a23(a23(x1)))) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.84/12.74 a26#(a26(x1)) -> a34#(a34(a23(a23(x1)))) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.84/12.74 a26#(a26(x1)) -> a34#(a34(a23(a23(x1)))) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.84/12.74 a26#(a26(x1)) -> a34#(a23(a23(x1))) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.84/12.74 a26#(a26(x1)) -> a34#(a23(a23(x1))) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.84/12.74 a26#(a26(x1)) -> a34#(a23(a23(x1))) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.84/12.74 a26#(a26(x1)) -> a34#(a23(a23(x1))) -> 47.84/12.74 a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.84/12.75 a26#(a26(x1)) -> a23#(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1))))))))))))) -> 47.84/12.75 a23#(a23(a56(a56(x1)))) -> a56#(a56(a23(a23(x1)))) 47.84/12.75 a26#(a26(x1)) -> a23#(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1))))))))))))) -> 47.84/12.75 a23#(a23(a56(a56(x1)))) -> a56#(a23(a23(x1))) 47.84/12.75 a26#(a26(x1)) -> a23#(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1))))))))))))) -> 47.84/12.75 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) 47.84/12.75 a26#(a26(x1)) -> a23#(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1))))))))))))) -> 47.84/12.75 a23#(a23(a56(a56(x1)))) -> a23#(x1) 47.84/12.75 a26#(a26(x1)) -> a23#(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1))))))))))))) -> 47.84/12.75 a23#(a23(a45(a45(x1)))) -> a45#(a45(a23(a23(x1)))) 47.84/12.75 a26#(a26(x1)) -> a23#(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1))))))))))))) -> 47.84/12.75 a23#(a23(a45(a45(x1)))) -> a45#(a23(a23(x1))) 47.84/12.75 a26#(a26(x1)) -> a23#(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1))))))))))))) -> 47.84/12.75 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) 47.84/12.75 a26#(a26(x1)) -> a23#(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1))))))))))))) -> 47.84/12.75 a23#(a23(a45(a45(x1)))) -> a23#(x1) 47.84/12.75 a26#(a26(x1)) -> a23#(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1)))))))))))))) -> 47.84/12.75 a23#(a23(a56(a56(x1)))) -> a56#(a56(a23(a23(x1)))) 47.84/12.75 a26#(a26(x1)) -> a23#(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1)))))))))))))) -> 47.84/12.75 a23#(a23(a56(a56(x1)))) -> a56#(a23(a23(x1))) 47.84/12.75 a26#(a26(x1)) -> a23#(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1)))))))))))))) -> 47.84/12.75 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) 47.84/12.75 a26#(a26(x1)) -> a23#(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1)))))))))))))) -> 47.84/12.75 a23#(a23(a56(a56(x1)))) -> a23#(x1) 47.84/12.75 a26#(a26(x1)) -> a23#(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1)))))))))))))) -> 47.84/12.75 a23#(a23(a45(a45(x1)))) -> a45#(a45(a23(a23(x1)))) 47.84/12.75 a26#(a26(x1)) -> a23#(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1)))))))))))))) -> 47.84/12.75 a23#(a23(a45(a45(x1)))) -> a45#(a23(a23(x1))) 47.84/12.75 a26#(a26(x1)) -> a23#(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1)))))))))))))) -> 47.84/12.75 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) 47.84/12.75 a26#(a26(x1)) -> a23#(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(x1)))))))))))))) -> 47.84/12.75 a23#(a23(a45(a45(x1)))) -> a23#(x1) 47.84/12.75 a26#(a26(x1)) -> a23#(a23(x1)) -> 47.84/12.75 a23#(a23(a56(a56(x1)))) -> a56#(a56(a23(a23(x1)))) 47.84/12.75 a26#(a26(x1)) -> a23#(a23(x1)) -> 47.84/12.75 a23#(a23(a56(a56(x1)))) -> a56#(a23(a23(x1))) 47.84/12.75 a26#(a26(x1)) -> a23#(a23(x1)) -> 47.84/12.75 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) 47.84/12.75 a26#(a26(x1)) -> a23#(a23(x1)) -> 47.84/12.75 a23#(a23(a56(a56(x1)))) -> a23#(x1) 47.84/12.75 a26#(a26(x1)) -> a23#(a23(x1)) -> 47.84/12.75 a23#(a23(a45(a45(x1)))) -> a45#(a45(a23(a23(x1)))) 47.84/12.75 a26#(a26(x1)) -> a23#(a23(x1)) -> 47.84/12.75 a23#(a23(a45(a45(x1)))) -> a45#(a23(a23(x1))) 47.84/12.75 a26#(a26(x1)) -> a23#(a23(x1)) -> 47.84/12.75 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) 47.84/12.75 a26#(a26(x1)) -> a23#(a23(x1)) -> a23#(a23(a45(a45(x1)))) -> a23#(x1) 47.84/12.75 a26#(a26(x1)) -> a23#(x1) -> 47.84/12.75 a23#(a23(a56(a56(x1)))) -> a56#(a56(a23(a23(x1)))) 47.84/12.75 a26#(a26(x1)) -> a23#(x1) -> 47.84/12.75 a23#(a23(a56(a56(x1)))) -> a56#(a23(a23(x1))) 47.84/12.75 a26#(a26(x1)) -> a23#(x1) -> a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) 47.84/12.75 a26#(a26(x1)) -> a23#(x1) -> a23#(a23(a56(a56(x1)))) -> a23#(x1) 47.84/12.75 a26#(a26(x1)) -> a23#(x1) -> 47.84/12.75 a23#(a23(a45(a45(x1)))) -> a45#(a45(a23(a23(x1)))) 47.84/12.75 a26#(a26(x1)) -> a23#(x1) -> 47.84/12.75 a23#(a23(a45(a45(x1)))) -> a45#(a23(a23(x1))) 47.84/12.75 a26#(a26(x1)) -> a23#(x1) -> a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) 47.84/12.75 a26#(a26(x1)) -> a23#(x1) -> 47.84/12.75 a23#(a23(a45(a45(x1)))) -> a23#(x1) 47.84/12.75 a25#(a25(x1)) -> a34#(a45(a45(a34(a34(a23(a23(x1))))))) -> 47.84/12.75 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.84/12.75 a25#(a25(x1)) -> a34#(a45(a45(a34(a34(a23(a23(x1))))))) -> 47.84/12.75 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.84/12.75 a25#(a25(x1)) -> a34#(a45(a45(a34(a34(a23(a23(x1))))))) -> 47.84/12.75 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.84/12.75 a25#(a25(x1)) -> a34#(a45(a45(a34(a34(a23(a23(x1))))))) -> 47.84/12.75 a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.84/12.75 a25#(a25(x1)) -> a34#(a34(a45(a45(a34(a34(a23(a23(x1)))))))) -> 47.84/12.76 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.84/12.76 a25#(a25(x1)) -> a34#(a34(a45(a45(a34(a34(a23(a23(x1)))))))) -> 47.84/12.76 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.84/12.76 a25#(a25(x1)) -> a34#(a34(a45(a45(a34(a34(a23(a23(x1)))))))) -> 47.84/12.76 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.84/12.76 a25#(a25(x1)) -> a34#(a34(a45(a45(a34(a34(a23(a23(x1)))))))) -> 47.84/12.76 a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.84/12.76 a25#(a25(x1)) -> a34#(a34(a23(a23(x1)))) -> 47.84/12.76 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.84/12.76 a25#(a25(x1)) -> a34#(a34(a23(a23(x1)))) -> 47.84/12.76 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.84/12.76 a25#(a25(x1)) -> a34#(a34(a23(a23(x1)))) -> 47.84/12.76 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.84/12.76 a25#(a25(x1)) -> a34#(a34(a23(a23(x1)))) -> 47.84/12.76 a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.84/12.76 a25#(a25(x1)) -> a34#(a23(a23(x1))) -> 47.84/12.76 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.84/12.76 a25#(a25(x1)) -> a34#(a23(a23(x1))) -> 47.84/12.76 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.84/12.76 a25#(a25(x1)) -> a34#(a23(a23(x1))) -> 47.84/12.76 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.84/12.76 a25#(a25(x1)) -> a34#(a23(a23(x1))) -> 47.84/12.76 a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.84/12.76 a25#(a25(x1)) -> a23#(a34(a34(a45(a45(a34(a34(a23(a23(x1))))))))) -> 47.84/12.76 a23#(a23(a56(a56(x1)))) -> a56#(a56(a23(a23(x1)))) 47.84/12.76 a25#(a25(x1)) -> a23#(a34(a34(a45(a45(a34(a34(a23(a23(x1))))))))) -> 47.84/12.76 a23#(a23(a56(a56(x1)))) -> a56#(a23(a23(x1))) 47.84/12.76 a25#(a25(x1)) -> a23#(a34(a34(a45(a45(a34(a34(a23(a23(x1))))))))) -> 47.84/12.76 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) 47.84/12.76 a25#(a25(x1)) -> a23#(a34(a34(a45(a45(a34(a34(a23(a23(x1))))))))) -> 47.84/12.76 a23#(a23(a56(a56(x1)))) -> a23#(x1) 47.84/12.76 a25#(a25(x1)) -> a23#(a34(a34(a45(a45(a34(a34(a23(a23(x1))))))))) -> 47.84/12.76 a23#(a23(a45(a45(x1)))) -> a45#(a45(a23(a23(x1)))) 47.84/12.76 a25#(a25(x1)) -> a23#(a34(a34(a45(a45(a34(a34(a23(a23(x1))))))))) -> 47.84/12.76 a23#(a23(a45(a45(x1)))) -> a45#(a23(a23(x1))) 47.84/12.76 a25#(a25(x1)) -> a23#(a34(a34(a45(a45(a34(a34(a23(a23(x1))))))))) -> 47.84/12.76 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) 47.84/12.76 a25#(a25(x1)) -> a23#(a34(a34(a45(a45(a34(a34(a23(a23(x1))))))))) -> 47.84/12.76 a23#(a23(a45(a45(x1)))) -> a23#(x1) 47.84/12.76 a25#(a25(x1)) -> a23#(a23(a34(a34(a45(a45(a34(a34(a23(a23(x1)))))))))) -> 47.84/12.76 a23#(a23(a56(a56(x1)))) -> a56#(a56(a23(a23(x1)))) 47.84/12.76 a25#(a25(x1)) -> a23#(a23(a34(a34(a45(a45(a34(a34(a23(a23(x1)))))))))) -> 47.84/12.76 a23#(a23(a56(a56(x1)))) -> a56#(a23(a23(x1))) 47.84/12.76 a25#(a25(x1)) -> a23#(a23(a34(a34(a45(a45(a34(a34(a23(a23(x1)))))))))) -> 47.84/12.76 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) 47.84/12.76 a25#(a25(x1)) -> a23#(a23(a34(a34(a45(a45(a34(a34(a23(a23(x1)))))))))) -> 47.84/12.76 a23#(a23(a56(a56(x1)))) -> a23#(x1) 47.84/12.76 a25#(a25(x1)) -> a23#(a23(a34(a34(a45(a45(a34(a34(a23(a23(x1)))))))))) -> 47.84/12.76 a23#(a23(a45(a45(x1)))) -> a45#(a45(a23(a23(x1)))) 47.84/12.76 a25#(a25(x1)) -> a23#(a23(a34(a34(a45(a45(a34(a34(a23(a23(x1)))))))))) -> 47.84/12.76 a23#(a23(a45(a45(x1)))) -> a45#(a23(a23(x1))) 47.84/12.76 a25#(a25(x1)) -> a23#(a23(a34(a34(a45(a45(a34(a34(a23(a23(x1)))))))))) -> 47.84/12.76 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) 47.84/12.76 a25#(a25(x1)) -> a23#(a23(a34(a34(a45(a45(a34(a34(a23(a23(x1)))))))))) -> 47.84/12.76 a23#(a23(a45(a45(x1)))) -> a23#(x1) 47.84/12.76 a25#(a25(x1)) -> a23#(a23(x1)) -> 47.84/12.76 a23#(a23(a56(a56(x1)))) -> a56#(a56(a23(a23(x1)))) 47.84/12.76 a25#(a25(x1)) -> a23#(a23(x1)) -> 47.84/12.76 a23#(a23(a56(a56(x1)))) -> a56#(a23(a23(x1))) 47.84/12.76 a25#(a25(x1)) -> a23#(a23(x1)) -> 47.84/12.76 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) 47.84/12.76 a25#(a25(x1)) -> a23#(a23(x1)) -> 47.84/12.76 a23#(a23(a56(a56(x1)))) -> a23#(x1) 47.84/12.76 a25#(a25(x1)) -> a23#(a23(x1)) -> 47.84/12.76 a23#(a23(a45(a45(x1)))) -> a45#(a45(a23(a23(x1)))) 47.84/12.76 a25#(a25(x1)) -> a23#(a23(x1)) -> 47.84/12.76 a23#(a23(a45(a45(x1)))) -> a45#(a23(a23(x1))) 47.84/12.76 a25#(a25(x1)) -> a23#(a23(x1)) -> 47.84/12.76 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) 47.84/12.76 a25#(a25(x1)) -> a23#(a23(x1)) -> a23#(a23(a45(a45(x1)))) -> a23#(x1) 47.84/12.76 a25#(a25(x1)) -> a23#(x1) -> 47.84/12.76 a23#(a23(a56(a56(x1)))) -> a56#(a56(a23(a23(x1)))) 47.84/12.76 a25#(a25(x1)) -> a23#(x1) -> 47.84/12.76 a23#(a23(a56(a56(x1)))) -> a56#(a23(a23(x1))) 47.84/12.76 a25#(a25(x1)) -> a23#(x1) -> a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) 47.84/12.76 a25#(a25(x1)) -> a23#(x1) -> a23#(a23(a56(a56(x1)))) -> a23#(x1) 47.90/12.76 a25#(a25(x1)) -> a23#(x1) -> 47.90/12.76 a23#(a23(a45(a45(x1)))) -> a45#(a45(a23(a23(x1)))) 47.90/12.76 a25#(a25(x1)) -> a23#(x1) -> 47.90/12.76 a23#(a23(a45(a45(x1)))) -> a45#(a23(a23(x1))) 47.90/12.76 a25#(a25(x1)) -> a23#(x1) -> a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) 47.90/12.76 a25#(a25(x1)) -> a23#(x1) -> 47.90/12.76 a23#(a23(a45(a45(x1)))) -> a23#(x1) 47.90/12.76 a24#(a24(x1)) -> a34#(a34(a23(a23(x1)))) -> 47.90/12.76 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.90/12.76 a24#(a24(x1)) -> a34#(a34(a23(a23(x1)))) -> 47.90/12.76 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.90/12.76 a24#(a24(x1)) -> a34#(a34(a23(a23(x1)))) -> 47.90/12.76 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.90/12.76 a24#(a24(x1)) -> a34#(a34(a23(a23(x1)))) -> 47.90/12.76 a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.90/12.76 a24#(a24(x1)) -> a34#(a23(a23(x1))) -> 47.90/12.76 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.90/12.76 a24#(a24(x1)) -> a34#(a23(a23(x1))) -> 47.90/12.76 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.90/12.76 a24#(a24(x1)) -> a34#(a23(a23(x1))) -> 47.90/12.76 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.90/12.76 a24#(a24(x1)) -> a34#(a23(a23(x1))) -> 47.90/12.76 a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.90/12.76 a24#(a24(x1)) -> a23#(a34(a34(a23(a23(x1))))) -> 47.90/12.76 a23#(a23(a56(a56(x1)))) -> a56#(a56(a23(a23(x1)))) 47.90/12.76 a24#(a24(x1)) -> a23#(a34(a34(a23(a23(x1))))) -> 47.90/12.76 a23#(a23(a56(a56(x1)))) -> a56#(a23(a23(x1))) 47.90/12.76 a24#(a24(x1)) -> a23#(a34(a34(a23(a23(x1))))) -> 47.90/12.76 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) 47.90/12.76 a24#(a24(x1)) -> a23#(a34(a34(a23(a23(x1))))) -> 47.90/12.76 a23#(a23(a56(a56(x1)))) -> a23#(x1) 47.90/12.76 a24#(a24(x1)) -> a23#(a34(a34(a23(a23(x1))))) -> 47.90/12.76 a23#(a23(a45(a45(x1)))) -> a45#(a45(a23(a23(x1)))) 47.90/12.76 a24#(a24(x1)) -> a23#(a34(a34(a23(a23(x1))))) -> 47.90/12.76 a23#(a23(a45(a45(x1)))) -> a45#(a23(a23(x1))) 47.90/12.76 a24#(a24(x1)) -> a23#(a34(a34(a23(a23(x1))))) -> 47.90/12.76 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) 47.90/12.76 a24#(a24(x1)) -> a23#(a34(a34(a23(a23(x1))))) -> 47.90/12.76 a23#(a23(a45(a45(x1)))) -> a23#(x1) 47.90/12.76 a24#(a24(x1)) -> a23#(a23(a34(a34(a23(a23(x1)))))) -> 47.90/12.76 a23#(a23(a56(a56(x1)))) -> a56#(a56(a23(a23(x1)))) 47.90/12.76 a24#(a24(x1)) -> a23#(a23(a34(a34(a23(a23(x1)))))) -> 47.90/12.76 a23#(a23(a56(a56(x1)))) -> a56#(a23(a23(x1))) 47.90/12.76 a24#(a24(x1)) -> a23#(a23(a34(a34(a23(a23(x1)))))) -> 47.90/12.76 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) 47.90/12.76 a24#(a24(x1)) -> a23#(a23(a34(a34(a23(a23(x1)))))) -> 47.90/12.76 a23#(a23(a56(a56(x1)))) -> a23#(x1) 47.90/12.76 a24#(a24(x1)) -> a23#(a23(a34(a34(a23(a23(x1)))))) -> 47.90/12.76 a23#(a23(a45(a45(x1)))) -> a45#(a45(a23(a23(x1)))) 47.90/12.76 a24#(a24(x1)) -> a23#(a23(a34(a34(a23(a23(x1)))))) -> 47.90/12.76 a23#(a23(a45(a45(x1)))) -> a45#(a23(a23(x1))) 47.90/12.76 a24#(a24(x1)) -> a23#(a23(a34(a34(a23(a23(x1)))))) -> 47.90/12.76 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) 47.90/12.76 a24#(a24(x1)) -> a23#(a23(a34(a34(a23(a23(x1)))))) -> 47.90/12.76 a23#(a23(a45(a45(x1)))) -> a23#(x1) 47.90/12.76 a24#(a24(x1)) -> a23#(a23(x1)) -> 47.90/12.76 a23#(a23(a56(a56(x1)))) -> a56#(a56(a23(a23(x1)))) 47.90/12.76 a24#(a24(x1)) -> a23#(a23(x1)) -> 47.90/12.76 a23#(a23(a56(a56(x1)))) -> a56#(a23(a23(x1))) 47.90/12.76 a24#(a24(x1)) -> a23#(a23(x1)) -> 47.90/12.76 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) 47.90/12.76 a24#(a24(x1)) -> a23#(a23(x1)) -> 47.90/12.76 a23#(a23(a56(a56(x1)))) -> a23#(x1) 47.90/12.76 a24#(a24(x1)) -> a23#(a23(x1)) -> 47.90/12.76 a23#(a23(a45(a45(x1)))) -> a45#(a45(a23(a23(x1)))) 47.90/12.76 a24#(a24(x1)) -> a23#(a23(x1)) -> 47.90/12.76 a23#(a23(a45(a45(x1)))) -> a45#(a23(a23(x1))) 47.90/12.76 a24#(a24(x1)) -> a23#(a23(x1)) -> 47.90/12.76 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) 47.90/12.76 a24#(a24(x1)) -> a23#(a23(x1)) -> a23#(a23(a45(a45(x1)))) -> a23#(x1) 47.90/12.76 a24#(a24(x1)) -> a23#(x1) -> 47.90/12.76 a23#(a23(a56(a56(x1)))) -> a56#(a56(a23(a23(x1)))) 47.90/12.76 a24#(a24(x1)) -> a23#(x1) -> 47.90/12.76 a23#(a23(a56(a56(x1)))) -> a56#(a23(a23(x1))) 47.90/12.76 a24#(a24(x1)) -> a23#(x1) -> a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) 47.90/12.76 a24#(a24(x1)) -> a23#(x1) -> a23#(a23(a56(a56(x1)))) -> a23#(x1) 47.90/12.76 a24#(a24(x1)) -> a23#(x1) -> 47.90/12.76 a23#(a23(a45(a45(x1)))) -> a45#(a45(a23(a23(x1)))) 47.90/12.76 a24#(a24(x1)) -> a23#(x1) -> 47.90/12.76 a23#(a23(a45(a45(x1)))) -> a45#(a23(a23(x1))) 47.90/12.76 a24#(a24(x1)) -> a23#(x1) -> a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) 47.90/12.76 a24#(a24(x1)) -> a23#(x1) -> 47.90/12.76 a23#(a23(a45(a45(x1)))) -> a23#(x1) 47.90/12.76 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) -> 47.90/12.77 a23#(a23(a56(a56(x1)))) -> a56#(a56(a23(a23(x1)))) 47.90/12.77 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) -> 47.90/12.77 a23#(a23(a56(a56(x1)))) -> a56#(a23(a23(x1))) 47.90/12.77 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) -> 47.90/12.77 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) 47.90/12.77 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) -> 47.90/12.77 a23#(a23(a56(a56(x1)))) -> a23#(x1) 47.90/12.77 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) -> 47.90/12.77 a23#(a23(a45(a45(x1)))) -> a45#(a45(a23(a23(x1)))) 47.90/12.77 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) -> 47.90/12.77 a23#(a23(a45(a45(x1)))) -> a45#(a23(a23(x1))) 47.90/12.77 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) -> 47.90/12.77 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) 47.90/12.77 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) -> 47.90/12.77 a23#(a23(a45(a45(x1)))) -> a23#(x1) 47.90/12.77 a23#(a23(a56(a56(x1)))) -> a23#(x1) -> 47.90/12.77 a23#(a23(a56(a56(x1)))) -> a56#(a56(a23(a23(x1)))) 47.90/12.77 a23#(a23(a56(a56(x1)))) -> a23#(x1) -> 47.90/12.77 a23#(a23(a56(a56(x1)))) -> a56#(a23(a23(x1))) 47.90/12.77 a23#(a23(a56(a56(x1)))) -> a23#(x1) -> 47.90/12.77 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) 47.90/12.77 a23#(a23(a56(a56(x1)))) -> a23#(x1) -> 47.90/12.77 a23#(a23(a56(a56(x1)))) -> a23#(x1) 47.90/12.77 a23#(a23(a56(a56(x1)))) -> a23#(x1) -> 47.90/12.77 a23#(a23(a45(a45(x1)))) -> a45#(a45(a23(a23(x1)))) 47.90/12.77 a23#(a23(a56(a56(x1)))) -> a23#(x1) -> 47.90/12.77 a23#(a23(a45(a45(x1)))) -> a45#(a23(a23(x1))) 47.90/12.77 a23#(a23(a56(a56(x1)))) -> a23#(x1) -> 47.90/12.77 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) 47.90/12.77 a23#(a23(a56(a56(x1)))) -> a23#(x1) -> 47.90/12.77 a23#(a23(a45(a45(x1)))) -> a23#(x1) 47.90/12.77 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) -> 47.90/12.77 a23#(a23(a56(a56(x1)))) -> a56#(a56(a23(a23(x1)))) 47.90/12.77 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) -> 47.90/12.77 a23#(a23(a56(a56(x1)))) -> a56#(a23(a23(x1))) 47.90/12.77 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) -> 47.90/12.77 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) 47.90/12.77 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) -> 47.90/12.77 a23#(a23(a56(a56(x1)))) -> a23#(x1) 47.90/12.77 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) -> 47.90/12.77 a23#(a23(a45(a45(x1)))) -> a45#(a45(a23(a23(x1)))) 47.90/12.77 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) -> 47.90/12.77 a23#(a23(a45(a45(x1)))) -> a45#(a23(a23(x1))) 47.90/12.77 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) -> 47.90/12.77 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) 47.90/12.77 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) -> 47.90/12.77 a23#(a23(a45(a45(x1)))) -> a23#(x1) 47.90/12.77 a23#(a23(a45(a45(x1)))) -> a23#(x1) -> 47.90/12.77 a23#(a23(a56(a56(x1)))) -> a56#(a56(a23(a23(x1)))) 47.90/12.77 a23#(a23(a45(a45(x1)))) -> a23#(x1) -> 47.90/12.77 a23#(a23(a56(a56(x1)))) -> a56#(a23(a23(x1))) 47.90/12.77 a23#(a23(a45(a45(x1)))) -> a23#(x1) -> 47.90/12.77 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) 47.90/12.77 a23#(a23(a45(a45(x1)))) -> a23#(x1) -> 47.90/12.77 a23#(a23(a56(a56(x1)))) -> a23#(x1) 47.90/12.77 a23#(a23(a45(a45(x1)))) -> a23#(x1) -> 47.90/12.77 a23#(a23(a45(a45(x1)))) -> a45#(a45(a23(a23(x1)))) 47.90/12.77 a23#(a23(a45(a45(x1)))) -> a23#(x1) -> 47.90/12.77 a23#(a23(a45(a45(x1)))) -> a45#(a23(a23(x1))) 47.90/12.77 a23#(a23(a45(a45(x1)))) -> a23#(x1) -> 47.90/12.77 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) 47.90/12.77 a23#(a23(a45(a45(x1)))) -> a23#(x1) -> 47.90/12.77 a23#(a23(a45(a45(x1)))) -> a23#(x1) 47.90/12.77 a16#(a16(x1)) -> a34#(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))) -> 47.90/12.77 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.90/12.77 a16#(a16(x1)) -> a34#(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))) -> 47.90/12.77 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.90/12.77 a16#(a16(x1)) -> a34#(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))) -> 47.90/12.77 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.90/12.77 a16#(a16(x1)) -> a34#(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))) -> 47.90/12.77 a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.90/12.77 a16#(a16(x1)) -> a34#(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))) -> 47.90/12.77 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.90/12.77 a16#(a16(x1)) -> a34#(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))) -> 47.90/12.77 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.90/12.77 a16#(a16(x1)) -> a34#(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))) -> 47.90/12.77 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.90/12.77 a16#(a16(x1)) -> a34#(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))) -> 47.90/12.77 a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.90/12.78 a16#(a16(x1)) -> a34#(a34(a23(a23(a12(a12(x1)))))) -> 47.90/12.78 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.90/12.78 a16#(a16(x1)) -> a34#(a34(a23(a23(a12(a12(x1)))))) -> 47.90/12.78 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.90/12.78 a16#(a16(x1)) -> a34#(a34(a23(a23(a12(a12(x1)))))) -> 47.90/12.78 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.90/12.78 a16#(a16(x1)) -> a34#(a34(a23(a23(a12(a12(x1)))))) -> 47.90/12.78 a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.90/12.78 a16#(a16(x1)) -> a34#(a23(a23(a12(a12(x1))))) -> 47.90/12.78 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.90/12.78 a16#(a16(x1)) -> a34#(a23(a23(a12(a12(x1))))) -> 47.90/12.78 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.90/12.78 a16#(a16(x1)) -> a34#(a23(a23(a12(a12(x1))))) -> 47.90/12.78 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.90/12.78 a16#(a16(x1)) -> a34#(a23(a23(a12(a12(x1))))) -> 47.90/12.78 a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.90/12.78 a16#(a16(x1)) -> a23#(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))))) 47.90/12.78 -> 47.90/12.78 a23#(a23(a56(a56(x1)))) -> a56#(a56(a23(a23(x1)))) 47.90/12.78 a16#(a16(x1)) -> a23#(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))))) 47.90/12.78 -> 47.90/12.78 a23#(a23(a56(a56(x1)))) -> a56#(a23(a23(x1))) 47.90/12.78 a16#(a16(x1)) -> a23#(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))))) 47.90/12.78 -> 47.90/12.78 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) 47.90/12.78 a16#(a16(x1)) -> a23#(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))))) 47.90/12.78 -> 47.90/12.78 a23#(a23(a56(a56(x1)))) -> a23#(x1) 47.90/12.78 a16#(a16(x1)) -> a23#(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))))) 47.90/12.78 -> 47.90/12.78 a23#(a23(a45(a45(x1)))) -> a45#(a45(a23(a23(x1)))) 47.90/12.78 a16#(a16(x1)) -> a23#(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))))) 47.90/12.78 -> 47.90/12.78 a23#(a23(a45(a45(x1)))) -> a45#(a23(a23(x1))) 47.90/12.78 a16#(a16(x1)) -> a23#(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))))) 47.90/12.78 -> 47.90/12.78 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) 47.90/12.78 a16#(a16(x1)) -> a23#(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))))) 47.90/12.78 -> 47.90/12.78 a23#(a23(a45(a45(x1)))) -> a23#(x1) 47.90/12.78 a16#(a16(x1)) -> 47.90/12.78 a23#(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))))) -> 47.90/12.78 a23#(a23(a56(a56(x1)))) -> a56#(a56(a23(a23(x1)))) 47.90/12.78 a16#(a16(x1)) -> 47.90/12.78 a23#(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))))) -> 47.90/12.78 a23#(a23(a56(a56(x1)))) -> a56#(a23(a23(x1))) 47.90/12.78 a16#(a16(x1)) -> 47.90/12.78 a23#(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))))) -> 47.90/12.78 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) 47.90/12.78 a16#(a16(x1)) -> 47.90/12.78 a23#(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))))) -> 47.90/12.78 a23#(a23(a56(a56(x1)))) -> a23#(x1) 47.90/12.78 a16#(a16(x1)) -> 47.90/12.78 a23#(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))))) -> 47.90/12.78 a23#(a23(a45(a45(x1)))) -> a45#(a45(a23(a23(x1)))) 47.90/12.78 a16#(a16(x1)) -> 47.90/12.78 a23#(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))))) -> 47.90/12.78 a23#(a23(a45(a45(x1)))) -> a45#(a23(a23(x1))) 47.90/12.78 a16#(a16(x1)) -> 47.90/12.78 a23#(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))))) -> 47.90/12.78 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) 47.90/12.78 a16#(a16(x1)) -> 47.90/12.78 a23#(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))))) -> 47.90/12.78 a23#(a23(a45(a45(x1)))) -> a23#(x1) 47.90/12.78 a16#(a16(x1)) -> a23#(a23(a12(a12(x1)))) -> 47.90/12.78 a23#(a23(a56(a56(x1)))) -> a56#(a56(a23(a23(x1)))) 47.90/12.78 a16#(a16(x1)) -> a23#(a23(a12(a12(x1)))) -> 47.90/12.78 a23#(a23(a56(a56(x1)))) -> a56#(a23(a23(x1))) 47.90/12.78 a16#(a16(x1)) -> a23#(a23(a12(a12(x1)))) -> 47.90/12.78 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) 47.90/12.78 a16#(a16(x1)) -> a23#(a23(a12(a12(x1)))) -> 47.90/12.78 a23#(a23(a56(a56(x1)))) -> a23#(x1) 47.90/12.78 a16#(a16(x1)) -> a23#(a23(a12(a12(x1)))) -> 47.90/12.78 a23#(a23(a45(a45(x1)))) -> a45#(a45(a23(a23(x1)))) 47.90/12.78 a16#(a16(x1)) -> a23#(a23(a12(a12(x1)))) -> 47.90/12.78 a23#(a23(a45(a45(x1)))) -> a45#(a23(a23(x1))) 47.90/12.78 a16#(a16(x1)) -> a23#(a23(a12(a12(x1)))) -> 47.90/12.78 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) 47.90/12.78 a16#(a16(x1)) -> a23#(a23(a12(a12(x1)))) -> 47.90/12.78 a23#(a23(a45(a45(x1)))) -> a23#(x1) 47.90/12.78 a16#(a16(x1)) -> a23#(a12(a12(x1))) -> 47.90/12.78 a23#(a23(a56(a56(x1)))) -> a56#(a56(a23(a23(x1)))) 47.90/12.78 a16#(a16(x1)) -> a23#(a12(a12(x1))) -> 47.90/12.78 a23#(a23(a56(a56(x1)))) -> a56#(a23(a23(x1))) 47.90/12.78 a16#(a16(x1)) -> a23#(a12(a12(x1))) -> 47.90/12.78 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) 47.90/12.78 a16#(a16(x1)) -> a23#(a12(a12(x1))) -> 47.90/12.78 a23#(a23(a56(a56(x1)))) -> a23#(x1) 47.90/12.78 a16#(a16(x1)) -> a23#(a12(a12(x1))) -> 47.90/12.78 a23#(a23(a45(a45(x1)))) -> a45#(a45(a23(a23(x1)))) 47.90/12.78 a16#(a16(x1)) -> a23#(a12(a12(x1))) -> 47.90/12.78 a23#(a23(a45(a45(x1)))) -> a45#(a23(a23(x1))) 47.90/12.78 a16#(a16(x1)) -> a23#(a12(a12(x1))) -> 47.90/12.78 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) 47.90/12.78 a16#(a16(x1)) -> a23#(a12(a12(x1))) -> 47.90/12.78 a23#(a23(a45(a45(x1)))) -> a23#(x1) 47.90/12.78 a16#(a16(x1)) -> 47.90/12.78 a12#(a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))))))) -> 47.90/12.78 a12#(a12(a56(a56(x1)))) -> a56#(a56(a12(a12(x1)))) 47.90/12.78 a16#(a16(x1)) -> 47.90/12.78 a12#(a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))))))) -> 47.90/12.78 a12#(a12(a56(a56(x1)))) -> a56#(a12(a12(x1))) 47.90/12.78 a16#(a16(x1)) -> 47.90/12.78 a12#(a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))))))) -> 47.90/12.78 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) 47.90/12.78 a16#(a16(x1)) -> 47.90/12.78 a12#(a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))))))) -> 47.90/12.78 a12#(a12(a56(a56(x1)))) -> a12#(x1) 47.90/12.78 a16#(a16(x1)) -> 47.90/12.78 a12#(a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))))))) -> 47.90/12.78 a12#(a12(a45(a45(x1)))) -> a45#(a45(a12(a12(x1)))) 47.90/12.78 a16#(a16(x1)) -> 47.90/12.78 a12#(a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))))))) -> 47.90/12.78 a12#(a12(a45(a45(x1)))) -> a45#(a12(a12(x1))) 47.90/12.78 a16#(a16(x1)) -> 47.90/12.78 a12#(a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))))))) -> 47.90/12.78 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) 47.90/12.78 a16#(a16(x1)) -> 47.90/12.78 a12#(a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))))))) -> 47.90/12.78 a12#(a12(a45(a45(x1)))) -> a12#(x1) 47.90/12.78 a16#(a16(x1)) -> 47.90/12.78 a12#(a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))))))) -> 47.90/12.78 a12#(a12(a34(a34(x1)))) -> a34#(a34(a12(a12(x1)))) 47.90/12.78 a16#(a16(x1)) -> 47.90/12.78 a12#(a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))))))) -> 47.90/12.78 a12#(a12(a34(a34(x1)))) -> a34#(a12(a12(x1))) 47.90/12.78 a16#(a16(x1)) -> 47.90/12.78 a12#(a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))))))) -> 47.90/12.78 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) 47.90/12.78 a16#(a16(x1)) -> 47.90/12.78 a12#(a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))))))) -> 47.90/12.78 a12#(a12(a34(a34(x1)))) -> a12#(x1) 47.90/12.78 a16#(a16(x1)) -> 47.90/12.78 a12#(a12(a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))))))) 47.90/12.78 -> 47.90/12.78 a12#(a12(a56(a56(x1)))) -> a56#(a56(a12(a12(x1)))) 47.90/12.78 a16#(a16(x1)) -> 47.90/12.78 a12#(a12(a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))))))) 47.90/12.78 -> 47.90/12.78 a12#(a12(a56(a56(x1)))) -> a56#(a12(a12(x1))) 47.90/12.78 a16#(a16(x1)) -> 47.90/12.78 a12#(a12(a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))))))) 47.90/12.78 -> 47.90/12.78 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) 47.90/12.78 a16#(a16(x1)) -> 47.90/12.78 a12#(a12(a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))))))) 47.90/12.78 -> 47.90/12.78 a12#(a12(a56(a56(x1)))) -> a12#(x1) 47.90/12.78 a16#(a16(x1)) -> 47.90/12.78 a12#(a12(a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))))))) 47.90/12.78 -> 47.90/12.78 a12#(a12(a45(a45(x1)))) -> a45#(a45(a12(a12(x1)))) 47.90/12.78 a16#(a16(x1)) -> 47.90/12.78 a12#(a12(a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))))))) 47.90/12.78 -> 47.90/12.78 a12#(a12(a45(a45(x1)))) -> a45#(a12(a12(x1))) 47.90/12.78 a16#(a16(x1)) -> 47.90/12.78 a12#(a12(a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))))))) 47.90/12.78 -> 47.90/12.78 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) 47.90/12.78 a16#(a16(x1)) -> 47.90/12.78 a12#(a12(a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))))))) 47.90/12.78 -> 47.90/12.78 a12#(a12(a45(a45(x1)))) -> a12#(x1) 47.90/12.78 a16#(a16(x1)) -> 47.90/12.79 a12#(a12(a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))))))) 47.90/12.79 -> 47.90/12.79 a12#(a12(a34(a34(x1)))) -> a34#(a34(a12(a12(x1)))) 47.90/12.79 a16#(a16(x1)) -> 47.90/12.79 a12#(a12(a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))))))) 47.90/12.79 -> 47.90/12.79 a12#(a12(a34(a34(x1)))) -> a34#(a12(a12(x1))) 47.90/12.79 a16#(a16(x1)) -> 47.90/12.79 a12#(a12(a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))))))) 47.90/12.79 -> 47.90/12.79 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) 47.90/12.79 a16#(a16(x1)) -> 47.90/12.79 a12#(a12(a23(a23(a34(a34(a45(a45(a56(a56(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))))))) 47.90/12.79 -> a12#(a12(a34(a34(x1)))) -> a12#(x1) 47.90/12.79 a16#(a16(x1)) -> a12#(a12(x1)) -> 47.90/12.79 a12#(a12(a56(a56(x1)))) -> a56#(a56(a12(a12(x1)))) 47.90/12.79 a16#(a16(x1)) -> a12#(a12(x1)) -> 47.90/12.79 a12#(a12(a56(a56(x1)))) -> a56#(a12(a12(x1))) 47.90/12.79 a16#(a16(x1)) -> a12#(a12(x1)) -> 47.90/12.79 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) 47.90/12.79 a16#(a16(x1)) -> a12#(a12(x1)) -> 47.90/12.79 a12#(a12(a56(a56(x1)))) -> a12#(x1) 47.90/12.79 a16#(a16(x1)) -> a12#(a12(x1)) -> 47.90/12.79 a12#(a12(a45(a45(x1)))) -> a45#(a45(a12(a12(x1)))) 47.90/12.79 a16#(a16(x1)) -> a12#(a12(x1)) -> 47.90/12.79 a12#(a12(a45(a45(x1)))) -> a45#(a12(a12(x1))) 47.90/12.79 a16#(a16(x1)) -> a12#(a12(x1)) -> 47.90/12.79 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) 47.90/12.79 a16#(a16(x1)) -> a12#(a12(x1)) -> 47.90/12.79 a12#(a12(a45(a45(x1)))) -> a12#(x1) 47.90/12.79 a16#(a16(x1)) -> a12#(a12(x1)) -> 47.90/12.79 a12#(a12(a34(a34(x1)))) -> a34#(a34(a12(a12(x1)))) 47.90/12.79 a16#(a16(x1)) -> a12#(a12(x1)) -> 47.90/12.79 a12#(a12(a34(a34(x1)))) -> a34#(a12(a12(x1))) 47.90/12.79 a16#(a16(x1)) -> a12#(a12(x1)) -> 47.90/12.79 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) 47.90/12.79 a16#(a16(x1)) -> a12#(a12(x1)) -> a12#(a12(a34(a34(x1)))) -> a12#(x1) 47.90/12.79 a16#(a16(x1)) -> a12#(x1) -> 47.90/12.79 a12#(a12(a56(a56(x1)))) -> a56#(a56(a12(a12(x1)))) 47.90/12.79 a16#(a16(x1)) -> a12#(x1) -> 47.90/12.79 a12#(a12(a56(a56(x1)))) -> a56#(a12(a12(x1))) 47.90/12.79 a16#(a16(x1)) -> a12#(x1) -> a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) 47.90/12.79 a16#(a16(x1)) -> a12#(x1) -> a12#(a12(a56(a56(x1)))) -> a12#(x1) 47.90/12.79 a16#(a16(x1)) -> a12#(x1) -> 47.90/12.79 a12#(a12(a45(a45(x1)))) -> a45#(a45(a12(a12(x1)))) 47.90/12.79 a16#(a16(x1)) -> a12#(x1) -> 47.90/12.79 a12#(a12(a45(a45(x1)))) -> a45#(a12(a12(x1))) 47.90/12.79 a16#(a16(x1)) -> a12#(x1) -> a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) 47.90/12.79 a16#(a16(x1)) -> a12#(x1) -> a12#(a12(a45(a45(x1)))) -> a12#(x1) 47.90/12.79 a16#(a16(x1)) -> a12#(x1) -> 47.90/12.79 a12#(a12(a34(a34(x1)))) -> a34#(a34(a12(a12(x1)))) 47.90/12.79 a16#(a16(x1)) -> a12#(x1) -> 47.90/12.79 a12#(a12(a34(a34(x1)))) -> a34#(a12(a12(x1))) 47.90/12.79 a16#(a16(x1)) -> a12#(x1) -> a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) 47.90/12.79 a16#(a16(x1)) -> a12#(x1) -> 47.90/12.79 a12#(a12(a34(a34(x1)))) -> a12#(x1) 47.90/12.79 a15#(a15(x1)) -> a34#(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))) -> 47.90/12.79 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.90/12.79 a15#(a15(x1)) -> a34#(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))) -> 47.90/12.79 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.90/12.79 a15#(a15(x1)) -> a34#(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))) -> 47.90/12.79 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.90/12.79 a15#(a15(x1)) -> a34#(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))) -> 47.90/12.79 a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.90/12.79 a15#(a15(x1)) -> a34#(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))) -> 47.90/12.79 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.90/12.79 a15#(a15(x1)) -> a34#(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))) -> 47.90/12.79 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.90/12.79 a15#(a15(x1)) -> a34#(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))) -> 47.90/12.79 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.90/12.79 a15#(a15(x1)) -> a34#(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))) -> 47.90/12.79 a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.90/12.79 a15#(a15(x1)) -> a34#(a34(a23(a23(a12(a12(x1)))))) -> 47.90/12.79 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.90/12.79 a15#(a15(x1)) -> a34#(a34(a23(a23(a12(a12(x1)))))) -> 47.90/12.79 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.90/12.79 a15#(a15(x1)) -> a34#(a34(a23(a23(a12(a12(x1)))))) -> 47.90/12.79 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.90/12.79 a15#(a15(x1)) -> a34#(a34(a23(a23(a12(a12(x1)))))) -> 47.90/12.79 a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.90/12.79 a15#(a15(x1)) -> a34#(a23(a23(a12(a12(x1))))) -> 47.90/12.80 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.90/12.80 a15#(a15(x1)) -> a34#(a23(a23(a12(a12(x1))))) -> 47.90/12.80 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.90/12.80 a15#(a15(x1)) -> a34#(a23(a23(a12(a12(x1))))) -> 47.90/12.80 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.90/12.80 a15#(a15(x1)) -> a34#(a23(a23(a12(a12(x1))))) -> 47.90/12.80 a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.90/12.80 a15#(a15(x1)) -> a23#(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))) -> 47.90/12.80 a23#(a23(a56(a56(x1)))) -> a56#(a56(a23(a23(x1)))) 47.90/12.80 a15#(a15(x1)) -> a23#(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))) -> 47.90/12.80 a23#(a23(a56(a56(x1)))) -> a56#(a23(a23(x1))) 47.90/12.80 a15#(a15(x1)) -> a23#(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))) -> 47.90/12.80 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) 47.90/12.80 a15#(a15(x1)) -> a23#(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))) -> 47.90/12.80 a23#(a23(a56(a56(x1)))) -> a23#(x1) 47.90/12.80 a15#(a15(x1)) -> a23#(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))) -> 47.90/12.80 a23#(a23(a45(a45(x1)))) -> a45#(a45(a23(a23(x1)))) 47.90/12.80 a15#(a15(x1)) -> a23#(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))) -> 47.90/12.80 a23#(a23(a45(a45(x1)))) -> a45#(a23(a23(x1))) 47.90/12.80 a15#(a15(x1)) -> a23#(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))) -> 47.90/12.80 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) 47.90/12.80 a15#(a15(x1)) -> a23#(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))) -> 47.90/12.80 a23#(a23(a45(a45(x1)))) -> a23#(x1) 47.90/12.80 a15#(a15(x1)) -> a23#(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))) -> 47.90/12.80 a23#(a23(a56(a56(x1)))) -> a56#(a56(a23(a23(x1)))) 47.90/12.80 a15#(a15(x1)) -> a23#(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))) -> 47.90/12.80 a23#(a23(a56(a56(x1)))) -> a56#(a23(a23(x1))) 47.90/12.80 a15#(a15(x1)) -> a23#(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))) -> 47.90/12.80 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) 47.90/12.80 a15#(a15(x1)) -> a23#(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))) -> 47.90/12.80 a23#(a23(a56(a56(x1)))) -> a23#(x1) 47.90/12.80 a15#(a15(x1)) -> a23#(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))) -> 47.90/12.80 a23#(a23(a45(a45(x1)))) -> a45#(a45(a23(a23(x1)))) 47.90/12.80 a15#(a15(x1)) -> a23#(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))) -> 47.90/12.80 a23#(a23(a45(a45(x1)))) -> a45#(a23(a23(x1))) 47.90/12.80 a15#(a15(x1)) -> a23#(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))) -> 47.90/12.80 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) 47.90/12.80 a15#(a15(x1)) -> a23#(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))) -> 47.90/12.80 a23#(a23(a45(a45(x1)))) -> a23#(x1) 47.90/12.80 a15#(a15(x1)) -> a23#(a23(a12(a12(x1)))) -> 47.90/12.80 a23#(a23(a56(a56(x1)))) -> a56#(a56(a23(a23(x1)))) 47.90/12.80 a15#(a15(x1)) -> a23#(a23(a12(a12(x1)))) -> 47.90/12.80 a23#(a23(a56(a56(x1)))) -> a56#(a23(a23(x1))) 47.90/12.80 a15#(a15(x1)) -> a23#(a23(a12(a12(x1)))) -> 47.90/12.80 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) 47.90/12.80 a15#(a15(x1)) -> a23#(a23(a12(a12(x1)))) -> 47.90/12.80 a23#(a23(a56(a56(x1)))) -> a23#(x1) 47.90/12.80 a15#(a15(x1)) -> a23#(a23(a12(a12(x1)))) -> 47.90/12.80 a23#(a23(a45(a45(x1)))) -> a45#(a45(a23(a23(x1)))) 47.90/12.80 a15#(a15(x1)) -> a23#(a23(a12(a12(x1)))) -> 47.90/12.80 a23#(a23(a45(a45(x1)))) -> a45#(a23(a23(x1))) 47.90/12.80 a15#(a15(x1)) -> a23#(a23(a12(a12(x1)))) -> 47.90/12.80 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) 47.90/12.80 a15#(a15(x1)) -> a23#(a23(a12(a12(x1)))) -> 47.90/12.80 a23#(a23(a45(a45(x1)))) -> a23#(x1) 47.90/12.80 a15#(a15(x1)) -> a23#(a12(a12(x1))) -> 47.90/12.80 a23#(a23(a56(a56(x1)))) -> a56#(a56(a23(a23(x1)))) 47.90/12.80 a15#(a15(x1)) -> a23#(a12(a12(x1))) -> 47.90/12.80 a23#(a23(a56(a56(x1)))) -> a56#(a23(a23(x1))) 47.90/12.80 a15#(a15(x1)) -> a23#(a12(a12(x1))) -> 47.90/12.80 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) 47.90/12.80 a15#(a15(x1)) -> a23#(a12(a12(x1))) -> 47.90/12.80 a23#(a23(a56(a56(x1)))) -> a23#(x1) 47.90/12.80 a15#(a15(x1)) -> a23#(a12(a12(x1))) -> 47.90/12.80 a23#(a23(a45(a45(x1)))) -> a45#(a45(a23(a23(x1)))) 47.90/12.80 a15#(a15(x1)) -> a23#(a12(a12(x1))) -> 47.90/12.80 a23#(a23(a45(a45(x1)))) -> a45#(a23(a23(x1))) 47.90/12.80 a15#(a15(x1)) -> a23#(a12(a12(x1))) -> 47.90/12.80 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) 47.90/12.80 a15#(a15(x1)) -> a23#(a12(a12(x1))) -> 47.90/12.80 a23#(a23(a45(a45(x1)))) -> a23#(x1) 47.90/12.80 a15#(a15(x1)) -> a12#(a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))) -> 47.90/12.80 a12#(a12(a56(a56(x1)))) -> a56#(a56(a12(a12(x1)))) 47.90/12.80 a15#(a15(x1)) -> a12#(a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))) -> 47.90/12.80 a12#(a12(a56(a56(x1)))) -> a56#(a12(a12(x1))) 47.90/12.80 a15#(a15(x1)) -> a12#(a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))) -> 47.90/12.80 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) 47.90/12.80 a15#(a15(x1)) -> a12#(a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))) -> 47.90/12.80 a12#(a12(a56(a56(x1)))) -> a12#(x1) 47.90/12.80 a15#(a15(x1)) -> a12#(a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))) -> 47.90/12.80 a12#(a12(a45(a45(x1)))) -> a45#(a45(a12(a12(x1)))) 47.90/12.80 a15#(a15(x1)) -> a12#(a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))) -> 47.90/12.80 a12#(a12(a45(a45(x1)))) -> a45#(a12(a12(x1))) 47.90/12.80 a15#(a15(x1)) -> a12#(a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))) -> 47.90/12.80 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) 47.90/12.80 a15#(a15(x1)) -> a12#(a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))) -> 47.90/12.80 a12#(a12(a45(a45(x1)))) -> a12#(x1) 47.90/12.80 a15#(a15(x1)) -> a12#(a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))) -> 47.90/12.80 a12#(a12(a34(a34(x1)))) -> a34#(a34(a12(a12(x1)))) 47.90/12.80 a15#(a15(x1)) -> a12#(a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))) -> 47.90/12.80 a12#(a12(a34(a34(x1)))) -> a34#(a12(a12(x1))) 47.90/12.80 a15#(a15(x1)) -> a12#(a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))) -> 47.90/12.80 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) 47.90/12.80 a15#(a15(x1)) -> a12#(a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1))))))))))))) -> 47.90/12.80 a12#(a12(a34(a34(x1)))) -> a12#(x1) 47.90/12.80 a15#(a15(x1)) -> a12#(a12(a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))) -> 47.90/12.80 a12#(a12(a56(a56(x1)))) -> a56#(a56(a12(a12(x1)))) 47.90/12.80 a15#(a15(x1)) -> a12#(a12(a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))) -> 47.90/12.80 a12#(a12(a56(a56(x1)))) -> a56#(a12(a12(x1))) 47.90/12.80 a15#(a15(x1)) -> a12#(a12(a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))) -> 47.90/12.80 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) 47.90/12.80 a15#(a15(x1)) -> a12#(a12(a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))) -> 47.90/12.80 a12#(a12(a56(a56(x1)))) -> a12#(x1) 47.90/12.80 a15#(a15(x1)) -> a12#(a12(a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))) -> 47.90/12.80 a12#(a12(a45(a45(x1)))) -> a45#(a45(a12(a12(x1)))) 47.90/12.80 a15#(a15(x1)) -> a12#(a12(a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))) -> 47.90/12.80 a12#(a12(a45(a45(x1)))) -> a45#(a12(a12(x1))) 47.90/12.80 a15#(a15(x1)) -> a12#(a12(a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))) -> 47.90/12.80 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) 47.90/12.80 a15#(a15(x1)) -> a12#(a12(a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))) -> 47.90/12.80 a12#(a12(a45(a45(x1)))) -> a12#(x1) 47.90/12.80 a15#(a15(x1)) -> a12#(a12(a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))) -> 47.90/12.80 a12#(a12(a34(a34(x1)))) -> a34#(a34(a12(a12(x1)))) 47.90/12.80 a15#(a15(x1)) -> a12#(a12(a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))) -> 47.90/12.80 a12#(a12(a34(a34(x1)))) -> a34#(a12(a12(x1))) 47.90/12.80 a15#(a15(x1)) -> a12#(a12(a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))) -> 47.90/12.80 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) 47.90/12.80 a15#(a15(x1)) -> a12#(a12(a23(a23(a34(a34(a45(a45(a34(a34(a23(a23(a12(a12(x1)))))))))))))) -> 47.90/12.80 a12#(a12(a34(a34(x1)))) -> a12#(x1) 47.90/12.80 a15#(a15(x1)) -> a12#(a12(x1)) -> 47.90/12.80 a12#(a12(a56(a56(x1)))) -> a56#(a56(a12(a12(x1)))) 47.90/12.80 a15#(a15(x1)) -> a12#(a12(x1)) -> 47.90/12.80 a12#(a12(a56(a56(x1)))) -> a56#(a12(a12(x1))) 47.90/12.80 a15#(a15(x1)) -> a12#(a12(x1)) -> 47.90/12.80 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) 47.90/12.80 a15#(a15(x1)) -> a12#(a12(x1)) -> 47.90/12.80 a12#(a12(a56(a56(x1)))) -> a12#(x1) 47.90/12.80 a15#(a15(x1)) -> a12#(a12(x1)) -> 47.90/12.80 a12#(a12(a45(a45(x1)))) -> a45#(a45(a12(a12(x1)))) 47.90/12.80 a15#(a15(x1)) -> a12#(a12(x1)) -> 47.90/12.80 a12#(a12(a45(a45(x1)))) -> a45#(a12(a12(x1))) 47.90/12.80 a15#(a15(x1)) -> a12#(a12(x1)) -> 47.90/12.80 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) 47.90/12.80 a15#(a15(x1)) -> a12#(a12(x1)) -> 47.90/12.80 a12#(a12(a45(a45(x1)))) -> a12#(x1) 47.90/12.80 a15#(a15(x1)) -> a12#(a12(x1)) -> 47.90/12.80 a12#(a12(a34(a34(x1)))) -> a34#(a34(a12(a12(x1)))) 47.90/12.81 a15#(a15(x1)) -> a12#(a12(x1)) -> 47.90/12.81 a12#(a12(a34(a34(x1)))) -> a34#(a12(a12(x1))) 47.90/12.81 a15#(a15(x1)) -> a12#(a12(x1)) -> 47.90/12.81 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) 47.90/12.81 a15#(a15(x1)) -> a12#(a12(x1)) -> a12#(a12(a34(a34(x1)))) -> a12#(x1) 47.90/12.81 a15#(a15(x1)) -> a12#(x1) -> 47.90/12.81 a12#(a12(a56(a56(x1)))) -> a56#(a56(a12(a12(x1)))) 47.90/12.81 a15#(a15(x1)) -> a12#(x1) -> 47.90/12.81 a12#(a12(a56(a56(x1)))) -> a56#(a12(a12(x1))) 47.90/12.81 a15#(a15(x1)) -> a12#(x1) -> a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) 47.90/12.81 a15#(a15(x1)) -> a12#(x1) -> a12#(a12(a56(a56(x1)))) -> a12#(x1) 47.90/12.81 a15#(a15(x1)) -> a12#(x1) -> 47.90/12.81 a12#(a12(a45(a45(x1)))) -> a45#(a45(a12(a12(x1)))) 47.90/12.81 a15#(a15(x1)) -> a12#(x1) -> 47.90/12.81 a12#(a12(a45(a45(x1)))) -> a45#(a12(a12(x1))) 47.90/12.81 a15#(a15(x1)) -> a12#(x1) -> a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) 47.90/12.81 a15#(a15(x1)) -> a12#(x1) -> a12#(a12(a45(a45(x1)))) -> a12#(x1) 47.90/12.81 a15#(a15(x1)) -> a12#(x1) -> 47.90/12.81 a12#(a12(a34(a34(x1)))) -> a34#(a34(a12(a12(x1)))) 47.90/12.81 a15#(a15(x1)) -> a12#(x1) -> 47.90/12.81 a12#(a12(a34(a34(x1)))) -> a34#(a12(a12(x1))) 47.90/12.81 a15#(a15(x1)) -> a12#(x1) -> a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) 47.90/12.81 a15#(a15(x1)) -> a12#(x1) -> 47.90/12.81 a12#(a12(a34(a34(x1)))) -> a12#(x1) 47.90/12.81 a14#(a14(x1)) -> a34#(a34(a23(a23(a12(a12(x1)))))) -> 47.90/12.81 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.90/12.81 a14#(a14(x1)) -> a34#(a34(a23(a23(a12(a12(x1)))))) -> 47.90/12.81 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.90/12.81 a14#(a14(x1)) -> a34#(a34(a23(a23(a12(a12(x1)))))) -> 47.90/12.81 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.90/12.81 a14#(a14(x1)) -> a34#(a34(a23(a23(a12(a12(x1)))))) -> 47.90/12.81 a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.90/12.81 a14#(a14(x1)) -> a34#(a23(a23(a12(a12(x1))))) -> 47.90/12.81 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.90/12.81 a14#(a14(x1)) -> a34#(a23(a23(a12(a12(x1))))) -> 47.90/12.81 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.90/12.81 a14#(a14(x1)) -> a34#(a23(a23(a12(a12(x1))))) -> 47.90/12.81 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.90/12.81 a14#(a14(x1)) -> a34#(a23(a23(a12(a12(x1))))) -> 47.90/12.81 a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.90/12.81 a14#(a14(x1)) -> a23#(a34(a34(a23(a23(a12(a12(x1))))))) -> 47.90/12.81 a23#(a23(a56(a56(x1)))) -> a56#(a56(a23(a23(x1)))) 47.90/12.81 a14#(a14(x1)) -> a23#(a34(a34(a23(a23(a12(a12(x1))))))) -> 47.90/12.81 a23#(a23(a56(a56(x1)))) -> a56#(a23(a23(x1))) 47.90/12.81 a14#(a14(x1)) -> a23#(a34(a34(a23(a23(a12(a12(x1))))))) -> 47.90/12.81 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) 47.90/12.81 a14#(a14(x1)) -> a23#(a34(a34(a23(a23(a12(a12(x1))))))) -> 47.90/12.81 a23#(a23(a56(a56(x1)))) -> a23#(x1) 47.90/12.81 a14#(a14(x1)) -> a23#(a34(a34(a23(a23(a12(a12(x1))))))) -> 47.90/12.81 a23#(a23(a45(a45(x1)))) -> a45#(a45(a23(a23(x1)))) 47.90/12.81 a14#(a14(x1)) -> a23#(a34(a34(a23(a23(a12(a12(x1))))))) -> 47.90/12.81 a23#(a23(a45(a45(x1)))) -> a45#(a23(a23(x1))) 47.90/12.81 a14#(a14(x1)) -> a23#(a34(a34(a23(a23(a12(a12(x1))))))) -> 47.90/12.81 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) 47.90/12.81 a14#(a14(x1)) -> a23#(a34(a34(a23(a23(a12(a12(x1))))))) -> 47.90/12.81 a23#(a23(a45(a45(x1)))) -> a23#(x1) 47.90/12.81 a14#(a14(x1)) -> a23#(a23(a34(a34(a23(a23(a12(a12(x1)))))))) -> 47.90/12.81 a23#(a23(a56(a56(x1)))) -> a56#(a56(a23(a23(x1)))) 47.90/12.81 a14#(a14(x1)) -> a23#(a23(a34(a34(a23(a23(a12(a12(x1)))))))) -> 47.90/12.81 a23#(a23(a56(a56(x1)))) -> a56#(a23(a23(x1))) 47.90/12.81 a14#(a14(x1)) -> a23#(a23(a34(a34(a23(a23(a12(a12(x1)))))))) -> 47.90/12.81 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) 47.90/12.81 a14#(a14(x1)) -> a23#(a23(a34(a34(a23(a23(a12(a12(x1)))))))) -> 47.90/12.81 a23#(a23(a56(a56(x1)))) -> a23#(x1) 47.90/12.81 a14#(a14(x1)) -> a23#(a23(a34(a34(a23(a23(a12(a12(x1)))))))) -> 47.90/12.81 a23#(a23(a45(a45(x1)))) -> a45#(a45(a23(a23(x1)))) 47.90/12.81 a14#(a14(x1)) -> a23#(a23(a34(a34(a23(a23(a12(a12(x1)))))))) -> 47.90/12.81 a23#(a23(a45(a45(x1)))) -> a45#(a23(a23(x1))) 47.90/12.81 a14#(a14(x1)) -> a23#(a23(a34(a34(a23(a23(a12(a12(x1)))))))) -> 47.90/12.81 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) 47.90/12.81 a14#(a14(x1)) -> a23#(a23(a34(a34(a23(a23(a12(a12(x1)))))))) -> 47.90/12.81 a23#(a23(a45(a45(x1)))) -> a23#(x1) 47.90/12.81 a14#(a14(x1)) -> a23#(a23(a12(a12(x1)))) -> 47.90/12.81 a23#(a23(a56(a56(x1)))) -> a56#(a56(a23(a23(x1)))) 47.90/12.81 a14#(a14(x1)) -> a23#(a23(a12(a12(x1)))) -> 47.90/12.81 a23#(a23(a56(a56(x1)))) -> a56#(a23(a23(x1))) 47.90/12.81 a14#(a14(x1)) -> a23#(a23(a12(a12(x1)))) -> 47.90/12.81 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) 47.90/12.82 a14#(a14(x1)) -> a23#(a23(a12(a12(x1)))) -> 47.90/12.82 a23#(a23(a56(a56(x1)))) -> a23#(x1) 47.90/12.82 a14#(a14(x1)) -> a23#(a23(a12(a12(x1)))) -> 47.90/12.82 a23#(a23(a45(a45(x1)))) -> a45#(a45(a23(a23(x1)))) 47.90/12.82 a14#(a14(x1)) -> a23#(a23(a12(a12(x1)))) -> 47.90/12.82 a23#(a23(a45(a45(x1)))) -> a45#(a23(a23(x1))) 47.90/12.82 a14#(a14(x1)) -> a23#(a23(a12(a12(x1)))) -> 47.90/12.82 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) 47.90/12.82 a14#(a14(x1)) -> a23#(a23(a12(a12(x1)))) -> 47.90/12.82 a23#(a23(a45(a45(x1)))) -> a23#(x1) 47.90/12.82 a14#(a14(x1)) -> a23#(a12(a12(x1))) -> 47.90/12.82 a23#(a23(a56(a56(x1)))) -> a56#(a56(a23(a23(x1)))) 47.90/12.82 a14#(a14(x1)) -> a23#(a12(a12(x1))) -> 47.90/12.82 a23#(a23(a56(a56(x1)))) -> a56#(a23(a23(x1))) 47.90/12.82 a14#(a14(x1)) -> a23#(a12(a12(x1))) -> 47.90/12.82 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) 47.90/12.82 a14#(a14(x1)) -> a23#(a12(a12(x1))) -> 47.90/12.82 a23#(a23(a56(a56(x1)))) -> a23#(x1) 47.90/12.82 a14#(a14(x1)) -> a23#(a12(a12(x1))) -> 47.90/12.82 a23#(a23(a45(a45(x1)))) -> a45#(a45(a23(a23(x1)))) 47.90/12.82 a14#(a14(x1)) -> a23#(a12(a12(x1))) -> 47.90/12.82 a23#(a23(a45(a45(x1)))) -> a45#(a23(a23(x1))) 47.90/12.82 a14#(a14(x1)) -> a23#(a12(a12(x1))) -> 47.90/12.82 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) 47.90/12.82 a14#(a14(x1)) -> a23#(a12(a12(x1))) -> 47.90/12.82 a23#(a23(a45(a45(x1)))) -> a23#(x1) 47.90/12.82 a14#(a14(x1)) -> a12#(a23(a23(a34(a34(a23(a23(a12(a12(x1))))))))) -> 47.90/12.82 a12#(a12(a56(a56(x1)))) -> a56#(a56(a12(a12(x1)))) 47.90/12.82 a14#(a14(x1)) -> a12#(a23(a23(a34(a34(a23(a23(a12(a12(x1))))))))) -> 47.90/12.82 a12#(a12(a56(a56(x1)))) -> a56#(a12(a12(x1))) 47.90/12.82 a14#(a14(x1)) -> a12#(a23(a23(a34(a34(a23(a23(a12(a12(x1))))))))) -> 47.90/12.82 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) 47.90/12.82 a14#(a14(x1)) -> a12#(a23(a23(a34(a34(a23(a23(a12(a12(x1))))))))) -> 47.90/12.82 a12#(a12(a56(a56(x1)))) -> a12#(x1) 47.90/12.82 a14#(a14(x1)) -> a12#(a23(a23(a34(a34(a23(a23(a12(a12(x1))))))))) -> 47.90/12.82 a12#(a12(a45(a45(x1)))) -> a45#(a45(a12(a12(x1)))) 47.90/12.82 a14#(a14(x1)) -> a12#(a23(a23(a34(a34(a23(a23(a12(a12(x1))))))))) -> 47.90/12.82 a12#(a12(a45(a45(x1)))) -> a45#(a12(a12(x1))) 47.90/12.82 a14#(a14(x1)) -> a12#(a23(a23(a34(a34(a23(a23(a12(a12(x1))))))))) -> 47.90/12.82 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) 47.90/12.82 a14#(a14(x1)) -> a12#(a23(a23(a34(a34(a23(a23(a12(a12(x1))))))))) -> 47.90/12.82 a12#(a12(a45(a45(x1)))) -> a12#(x1) 47.90/12.82 a14#(a14(x1)) -> a12#(a23(a23(a34(a34(a23(a23(a12(a12(x1))))))))) -> 47.90/12.82 a12#(a12(a34(a34(x1)))) -> a34#(a34(a12(a12(x1)))) 47.90/12.82 a14#(a14(x1)) -> a12#(a23(a23(a34(a34(a23(a23(a12(a12(x1))))))))) -> 47.90/12.82 a12#(a12(a34(a34(x1)))) -> a34#(a12(a12(x1))) 47.90/12.82 a14#(a14(x1)) -> a12#(a23(a23(a34(a34(a23(a23(a12(a12(x1))))))))) -> 47.90/12.82 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) 47.90/12.82 a14#(a14(x1)) -> a12#(a23(a23(a34(a34(a23(a23(a12(a12(x1))))))))) -> 47.90/12.82 a12#(a12(a34(a34(x1)))) -> a12#(x1) 47.90/12.82 a14#(a14(x1)) -> a12#(a12(a23(a23(a34(a34(a23(a23(a12(a12(x1)))))))))) -> 47.90/12.82 a12#(a12(a56(a56(x1)))) -> a56#(a56(a12(a12(x1)))) 47.90/12.82 a14#(a14(x1)) -> a12#(a12(a23(a23(a34(a34(a23(a23(a12(a12(x1)))))))))) -> 47.90/12.82 a12#(a12(a56(a56(x1)))) -> a56#(a12(a12(x1))) 47.90/12.82 a14#(a14(x1)) -> a12#(a12(a23(a23(a34(a34(a23(a23(a12(a12(x1)))))))))) -> 47.90/12.82 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) 47.90/12.82 a14#(a14(x1)) -> a12#(a12(a23(a23(a34(a34(a23(a23(a12(a12(x1)))))))))) -> 47.90/12.82 a12#(a12(a56(a56(x1)))) -> a12#(x1) 47.90/12.82 a14#(a14(x1)) -> a12#(a12(a23(a23(a34(a34(a23(a23(a12(a12(x1)))))))))) -> 47.90/12.82 a12#(a12(a45(a45(x1)))) -> a45#(a45(a12(a12(x1)))) 47.90/12.82 a14#(a14(x1)) -> a12#(a12(a23(a23(a34(a34(a23(a23(a12(a12(x1)))))))))) -> 47.90/12.82 a12#(a12(a45(a45(x1)))) -> a45#(a12(a12(x1))) 47.90/12.82 a14#(a14(x1)) -> a12#(a12(a23(a23(a34(a34(a23(a23(a12(a12(x1)))))))))) -> 47.90/12.82 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) 47.90/12.82 a14#(a14(x1)) -> a12#(a12(a23(a23(a34(a34(a23(a23(a12(a12(x1)))))))))) -> 47.90/12.82 a12#(a12(a45(a45(x1)))) -> a12#(x1) 47.90/12.82 a14#(a14(x1)) -> a12#(a12(a23(a23(a34(a34(a23(a23(a12(a12(x1)))))))))) -> 47.90/12.82 a12#(a12(a34(a34(x1)))) -> a34#(a34(a12(a12(x1)))) 47.90/12.82 a14#(a14(x1)) -> a12#(a12(a23(a23(a34(a34(a23(a23(a12(a12(x1)))))))))) -> 47.90/12.82 a12#(a12(a34(a34(x1)))) -> a34#(a12(a12(x1))) 47.90/12.82 a14#(a14(x1)) -> a12#(a12(a23(a23(a34(a34(a23(a23(a12(a12(x1)))))))))) -> 47.90/12.82 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) 47.90/12.82 a14#(a14(x1)) -> a12#(a12(a23(a23(a34(a34(a23(a23(a12(a12(x1)))))))))) -> 47.90/12.82 a12#(a12(a34(a34(x1)))) -> a12#(x1) 47.90/12.82 a14#(a14(x1)) -> a12#(a12(x1)) -> 47.90/12.82 a12#(a12(a56(a56(x1)))) -> a56#(a56(a12(a12(x1)))) 47.90/12.82 a14#(a14(x1)) -> a12#(a12(x1)) -> 47.90/12.82 a12#(a12(a56(a56(x1)))) -> a56#(a12(a12(x1))) 47.90/12.82 a14#(a14(x1)) -> a12#(a12(x1)) -> 47.90/12.82 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) 47.90/12.82 a14#(a14(x1)) -> a12#(a12(x1)) -> 47.90/12.82 a12#(a12(a56(a56(x1)))) -> a12#(x1) 47.90/12.82 a14#(a14(x1)) -> a12#(a12(x1)) -> 47.90/12.82 a12#(a12(a45(a45(x1)))) -> a45#(a45(a12(a12(x1)))) 47.90/12.82 a14#(a14(x1)) -> a12#(a12(x1)) -> 47.90/12.82 a12#(a12(a45(a45(x1)))) -> a45#(a12(a12(x1))) 47.90/12.82 a14#(a14(x1)) -> a12#(a12(x1)) -> 47.90/12.82 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) 47.90/12.82 a14#(a14(x1)) -> a12#(a12(x1)) -> 47.90/12.82 a12#(a12(a45(a45(x1)))) -> a12#(x1) 47.90/12.82 a14#(a14(x1)) -> a12#(a12(x1)) -> 47.90/12.82 a12#(a12(a34(a34(x1)))) -> a34#(a34(a12(a12(x1)))) 47.90/12.82 a14#(a14(x1)) -> a12#(a12(x1)) -> 47.90/12.82 a12#(a12(a34(a34(x1)))) -> a34#(a12(a12(x1))) 47.90/12.82 a14#(a14(x1)) -> a12#(a12(x1)) -> 47.90/12.82 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) 47.90/12.82 a14#(a14(x1)) -> a12#(a12(x1)) -> a12#(a12(a34(a34(x1)))) -> a12#(x1) 47.90/12.82 a14#(a14(x1)) -> a12#(x1) -> 47.90/12.82 a12#(a12(a56(a56(x1)))) -> a56#(a56(a12(a12(x1)))) 47.90/12.82 a14#(a14(x1)) -> a12#(x1) -> 47.90/12.82 a12#(a12(a56(a56(x1)))) -> a56#(a12(a12(x1))) 47.90/12.82 a14#(a14(x1)) -> a12#(x1) -> a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) 47.90/12.82 a14#(a14(x1)) -> a12#(x1) -> a12#(a12(a56(a56(x1)))) -> a12#(x1) 47.90/12.82 a14#(a14(x1)) -> a12#(x1) -> 47.90/12.82 a12#(a12(a45(a45(x1)))) -> a45#(a45(a12(a12(x1)))) 47.90/12.82 a14#(a14(x1)) -> a12#(x1) -> 47.90/12.82 a12#(a12(a45(a45(x1)))) -> a45#(a12(a12(x1))) 47.90/12.82 a14#(a14(x1)) -> a12#(x1) -> a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) 47.90/12.82 a14#(a14(x1)) -> a12#(x1) -> a12#(a12(a45(a45(x1)))) -> a12#(x1) 47.90/12.82 a14#(a14(x1)) -> a12#(x1) -> 47.90/12.82 a12#(a12(a34(a34(x1)))) -> a34#(a34(a12(a12(x1)))) 47.90/12.82 a14#(a14(x1)) -> a12#(x1) -> 47.90/12.82 a12#(a12(a34(a34(x1)))) -> a34#(a12(a12(x1))) 47.90/12.82 a14#(a14(x1)) -> a12#(x1) -> a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) 47.90/12.82 a14#(a14(x1)) -> a12#(x1) -> 47.90/12.82 a12#(a12(a34(a34(x1)))) -> a12#(x1) 47.90/12.82 a13#(a13(x1)) -> a23#(a23(a12(a12(x1)))) -> 47.90/12.82 a23#(a23(a56(a56(x1)))) -> a56#(a56(a23(a23(x1)))) 47.90/12.82 a13#(a13(x1)) -> a23#(a23(a12(a12(x1)))) -> 47.90/12.82 a23#(a23(a56(a56(x1)))) -> a56#(a23(a23(x1))) 47.90/12.82 a13#(a13(x1)) -> a23#(a23(a12(a12(x1)))) -> 47.90/12.82 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) 47.90/12.82 a13#(a13(x1)) -> a23#(a23(a12(a12(x1)))) -> 47.90/12.82 a23#(a23(a56(a56(x1)))) -> a23#(x1) 47.90/12.82 a13#(a13(x1)) -> a23#(a23(a12(a12(x1)))) -> 47.90/12.82 a23#(a23(a45(a45(x1)))) -> a45#(a45(a23(a23(x1)))) 47.90/12.82 a13#(a13(x1)) -> a23#(a23(a12(a12(x1)))) -> 47.90/12.82 a23#(a23(a45(a45(x1)))) -> a45#(a23(a23(x1))) 47.90/12.82 a13#(a13(x1)) -> a23#(a23(a12(a12(x1)))) -> 47.90/12.82 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) 47.90/12.82 a13#(a13(x1)) -> a23#(a23(a12(a12(x1)))) -> 47.90/12.82 a23#(a23(a45(a45(x1)))) -> a23#(x1) 47.90/12.82 a13#(a13(x1)) -> a23#(a12(a12(x1))) -> 47.90/12.82 a23#(a23(a56(a56(x1)))) -> a56#(a56(a23(a23(x1)))) 47.90/12.82 a13#(a13(x1)) -> a23#(a12(a12(x1))) -> 47.90/12.82 a23#(a23(a56(a56(x1)))) -> a56#(a23(a23(x1))) 47.90/12.82 a13#(a13(x1)) -> a23#(a12(a12(x1))) -> 47.90/12.82 a23#(a23(a56(a56(x1)))) -> a23#(a23(x1)) 47.90/12.82 a13#(a13(x1)) -> a23#(a12(a12(x1))) -> 47.90/12.82 a23#(a23(a56(a56(x1)))) -> a23#(x1) 47.90/12.82 a13#(a13(x1)) -> a23#(a12(a12(x1))) -> 47.90/12.82 a23#(a23(a45(a45(x1)))) -> a45#(a45(a23(a23(x1)))) 47.90/12.82 a13#(a13(x1)) -> a23#(a12(a12(x1))) -> 47.90/12.82 a23#(a23(a45(a45(x1)))) -> a45#(a23(a23(x1))) 47.90/12.82 a13#(a13(x1)) -> a23#(a12(a12(x1))) -> 47.90/12.82 a23#(a23(a45(a45(x1)))) -> a23#(a23(x1)) 47.90/12.82 a13#(a13(x1)) -> a23#(a12(a12(x1))) -> 47.90/12.82 a23#(a23(a45(a45(x1)))) -> a23#(x1) 47.90/12.82 a13#(a13(x1)) -> a12#(a23(a23(a12(a12(x1))))) -> 47.90/12.82 a12#(a12(a56(a56(x1)))) -> a56#(a56(a12(a12(x1)))) 47.90/12.82 a13#(a13(x1)) -> a12#(a23(a23(a12(a12(x1))))) -> 47.90/12.82 a12#(a12(a56(a56(x1)))) -> a56#(a12(a12(x1))) 47.90/12.82 a13#(a13(x1)) -> a12#(a23(a23(a12(a12(x1))))) -> 47.90/12.82 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) 47.90/12.82 a13#(a13(x1)) -> a12#(a23(a23(a12(a12(x1))))) -> 47.90/12.82 a12#(a12(a56(a56(x1)))) -> a12#(x1) 47.90/12.82 a13#(a13(x1)) -> a12#(a23(a23(a12(a12(x1))))) -> 47.90/12.82 a12#(a12(a45(a45(x1)))) -> a45#(a45(a12(a12(x1)))) 47.90/12.82 a13#(a13(x1)) -> a12#(a23(a23(a12(a12(x1))))) -> 47.90/12.82 a12#(a12(a45(a45(x1)))) -> a45#(a12(a12(x1))) 47.90/12.83 a13#(a13(x1)) -> a12#(a23(a23(a12(a12(x1))))) -> 47.90/12.83 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) 47.90/12.83 a13#(a13(x1)) -> a12#(a23(a23(a12(a12(x1))))) -> 47.90/12.83 a12#(a12(a45(a45(x1)))) -> a12#(x1) 47.90/12.83 a13#(a13(x1)) -> a12#(a23(a23(a12(a12(x1))))) -> 47.90/12.83 a12#(a12(a34(a34(x1)))) -> a34#(a34(a12(a12(x1)))) 47.90/12.83 a13#(a13(x1)) -> a12#(a23(a23(a12(a12(x1))))) -> 47.90/12.83 a12#(a12(a34(a34(x1)))) -> a34#(a12(a12(x1))) 47.90/12.83 a13#(a13(x1)) -> a12#(a23(a23(a12(a12(x1))))) -> 47.90/12.83 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) 47.90/12.83 a13#(a13(x1)) -> a12#(a23(a23(a12(a12(x1))))) -> 47.90/12.83 a12#(a12(a34(a34(x1)))) -> a12#(x1) 47.90/12.83 a13#(a13(x1)) -> a12#(a12(a23(a23(a12(a12(x1)))))) -> 47.90/12.83 a12#(a12(a56(a56(x1)))) -> a56#(a56(a12(a12(x1)))) 47.90/12.83 a13#(a13(x1)) -> a12#(a12(a23(a23(a12(a12(x1)))))) -> 47.90/12.83 a12#(a12(a56(a56(x1)))) -> a56#(a12(a12(x1))) 47.90/12.83 a13#(a13(x1)) -> a12#(a12(a23(a23(a12(a12(x1)))))) -> 47.90/12.83 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) 47.90/12.83 a13#(a13(x1)) -> a12#(a12(a23(a23(a12(a12(x1)))))) -> 47.90/12.83 a12#(a12(a56(a56(x1)))) -> a12#(x1) 47.90/12.83 a13#(a13(x1)) -> a12#(a12(a23(a23(a12(a12(x1)))))) -> 47.90/12.83 a12#(a12(a45(a45(x1)))) -> a45#(a45(a12(a12(x1)))) 47.90/12.83 a13#(a13(x1)) -> a12#(a12(a23(a23(a12(a12(x1)))))) -> 47.90/12.83 a12#(a12(a45(a45(x1)))) -> a45#(a12(a12(x1))) 47.90/12.83 a13#(a13(x1)) -> a12#(a12(a23(a23(a12(a12(x1)))))) -> 47.90/12.83 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) 47.90/12.83 a13#(a13(x1)) -> a12#(a12(a23(a23(a12(a12(x1)))))) -> 47.90/12.83 a12#(a12(a45(a45(x1)))) -> a12#(x1) 47.90/12.83 a13#(a13(x1)) -> a12#(a12(a23(a23(a12(a12(x1)))))) -> 47.90/12.83 a12#(a12(a34(a34(x1)))) -> a34#(a34(a12(a12(x1)))) 47.90/12.83 a13#(a13(x1)) -> a12#(a12(a23(a23(a12(a12(x1)))))) -> 47.90/12.83 a12#(a12(a34(a34(x1)))) -> a34#(a12(a12(x1))) 47.90/12.83 a13#(a13(x1)) -> a12#(a12(a23(a23(a12(a12(x1)))))) -> 47.90/12.83 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) 47.90/12.83 a13#(a13(x1)) -> a12#(a12(a23(a23(a12(a12(x1)))))) -> 47.90/12.83 a12#(a12(a34(a34(x1)))) -> a12#(x1) 47.90/12.83 a13#(a13(x1)) -> a12#(a12(x1)) -> 47.90/12.83 a12#(a12(a56(a56(x1)))) -> a56#(a56(a12(a12(x1)))) 47.90/12.83 a13#(a13(x1)) -> a12#(a12(x1)) -> 47.90/12.83 a12#(a12(a56(a56(x1)))) -> a56#(a12(a12(x1))) 47.90/12.83 a13#(a13(x1)) -> a12#(a12(x1)) -> 47.90/12.83 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) 47.90/12.83 a13#(a13(x1)) -> a12#(a12(x1)) -> 47.90/12.83 a12#(a12(a56(a56(x1)))) -> a12#(x1) 47.90/12.83 a13#(a13(x1)) -> a12#(a12(x1)) -> 47.90/12.83 a12#(a12(a45(a45(x1)))) -> a45#(a45(a12(a12(x1)))) 47.90/12.83 a13#(a13(x1)) -> a12#(a12(x1)) -> 47.90/12.83 a12#(a12(a45(a45(x1)))) -> a45#(a12(a12(x1))) 47.90/12.83 a13#(a13(x1)) -> a12#(a12(x1)) -> 47.90/12.83 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) 47.90/12.83 a13#(a13(x1)) -> a12#(a12(x1)) -> 47.90/12.83 a12#(a12(a45(a45(x1)))) -> a12#(x1) 47.90/12.83 a13#(a13(x1)) -> a12#(a12(x1)) -> 47.90/12.83 a12#(a12(a34(a34(x1)))) -> a34#(a34(a12(a12(x1)))) 47.90/12.83 a13#(a13(x1)) -> a12#(a12(x1)) -> 47.90/12.83 a12#(a12(a34(a34(x1)))) -> a34#(a12(a12(x1))) 47.90/12.83 a13#(a13(x1)) -> a12#(a12(x1)) -> 47.90/12.83 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) 47.90/12.83 a13#(a13(x1)) -> a12#(a12(x1)) -> a12#(a12(a34(a34(x1)))) -> a12#(x1) 47.90/12.83 a13#(a13(x1)) -> a12#(x1) -> 47.90/12.83 a12#(a12(a56(a56(x1)))) -> a56#(a56(a12(a12(x1)))) 47.90/12.83 a13#(a13(x1)) -> a12#(x1) -> 47.90/12.83 a12#(a12(a56(a56(x1)))) -> a56#(a12(a12(x1))) 47.90/12.83 a13#(a13(x1)) -> a12#(x1) -> a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) 47.90/12.83 a13#(a13(x1)) -> a12#(x1) -> a12#(a12(a56(a56(x1)))) -> a12#(x1) 47.90/12.83 a13#(a13(x1)) -> a12#(x1) -> 47.90/12.83 a12#(a12(a45(a45(x1)))) -> a45#(a45(a12(a12(x1)))) 47.90/12.83 a13#(a13(x1)) -> a12#(x1) -> 47.90/12.83 a12#(a12(a45(a45(x1)))) -> a45#(a12(a12(x1))) 47.90/12.83 a13#(a13(x1)) -> a12#(x1) -> a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) 47.90/12.83 a13#(a13(x1)) -> a12#(x1) -> a12#(a12(a45(a45(x1)))) -> a12#(x1) 47.90/12.83 a13#(a13(x1)) -> a12#(x1) -> 47.90/12.83 a12#(a12(a34(a34(x1)))) -> a34#(a34(a12(a12(x1)))) 47.90/12.83 a13#(a13(x1)) -> a12#(x1) -> 47.90/12.83 a12#(a12(a34(a34(x1)))) -> a34#(a12(a12(x1))) 47.90/12.83 a13#(a13(x1)) -> a12#(x1) -> a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) 47.90/12.83 a13#(a13(x1)) -> a12#(x1) -> 47.90/12.83 a12#(a12(a34(a34(x1)))) -> a12#(x1) 47.90/12.83 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) -> 47.90/12.83 a12#(a12(a56(a56(x1)))) -> a56#(a56(a12(a12(x1)))) 47.90/12.83 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) -> 47.90/12.83 a12#(a12(a56(a56(x1)))) -> a56#(a12(a12(x1))) 47.90/12.83 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(x1) 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a45#(a45(a12(a12(x1)))) 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a45#(a12(a12(x1))) 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(x1) 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a34#(a34(a12(a12(x1)))) 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a34#(a12(a12(x1))) 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(x1) 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a56#(a56(a12(a12(x1)))) 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a56#(a12(a12(x1))) 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(x1) 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a45#(a45(a12(a12(x1)))) 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a45#(a12(a12(x1))) 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(x1) 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a34#(a34(a12(a12(x1)))) 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a34#(a12(a12(x1))) 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(x1) 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a56#(a56(a12(a12(x1)))) 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a56#(a12(a12(x1))) 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(x1) 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a45#(a45(a12(a12(x1)))) 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a45#(a12(a12(x1))) 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(x1) 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a34#(a34(a12(a12(x1)))) 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a34#(a12(a12(x1))) 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(x1) 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a56#(a56(a12(a12(x1)))) 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a56#(a12(a12(x1))) 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(x1) 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a45#(a45(a12(a12(x1)))) 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a45#(a12(a12(x1))) 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(x1) 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a34#(a34(a12(a12(x1)))) 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a34#(a12(a12(x1))) 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(x1) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a34#(a34(a12(a12(x1)))) -> 47.90/12.84 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a34#(a34(a12(a12(x1)))) -> 47.90/12.84 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a34#(a34(a12(a12(x1)))) -> 47.90/12.84 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a34#(a34(a12(a12(x1)))) -> 47.90/12.84 a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a34#(a12(a12(x1))) -> 47.90/12.84 a34#(a34(a56(a56(x1)))) -> a56#(a56(a34(a34(x1)))) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a34#(a12(a12(x1))) -> 47.90/12.84 a34#(a34(a56(a56(x1)))) -> a56#(a34(a34(x1))) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a34#(a12(a12(x1))) -> 47.90/12.84 a34#(a34(a56(a56(x1)))) -> a34#(a34(x1)) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a34#(a12(a12(x1))) -> 47.90/12.84 a34#(a34(a56(a56(x1)))) -> a34#(x1) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a56#(a56(a12(a12(x1)))) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a56#(a12(a12(x1))) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(x1) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a45#(a45(a12(a12(x1)))) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a45#(a12(a12(x1))) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(x1) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a34#(a34(a12(a12(x1)))) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a34#(a12(a12(x1))) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) -> 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(x1) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a56#(a56(a12(a12(x1)))) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a56#(a12(a12(x1))) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(x1) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a45#(a45(a12(a12(x1)))) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a45#(a12(a12(x1))) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(x1) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a34#(a34(a12(a12(x1)))) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a34#(a12(a12(x1))) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(x1) -> 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(x1) -> a12#(a12(a34(a34(x1)))) -> a12#(x1) 47.90/12.84 SCC Processor: 47.90/12.84 #sccs: 3 47.90/12.84 #rules: 12 47.90/12.84 #arcs: 632/15376 47.90/12.84 DPs: 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(x1) 47.90/12.84 a12#(a12(a34(a34(x1)))) -> a12#(a12(x1)) 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(x1) 47.90/12.84 a12#(a12(a45(a45(x1)))) -> a12#(a12(x1)) 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(x1) 47.90/12.84 a12#(a12(a56(a56(x1)))) -> a12#(a12(x1)) 47.90/12.84 TRS: 47.90/12.84 a12(a12(a12(a12(x1)))) -> x1 47.90/12.84 a13(a13(a13(a13(x1)))) -> x1 47.90/12.84 a14(a14(a14(a14(x1)))) -> x1 47.90/12.84 a15(a15(a15(a15(x1)))) -> x1 47.90/12.84 a16(a16(a16(a16(x1)))) -> x1 47.90/12.84 a23(a23(a23(a23(x1)))) -> x1 47.90/12.84 a24(a24(a24(a24(x1)))) -> x1 47.90/12.84 a25(a25(a25(a25(x1)))) -> x1 47.90/12.84 a26(a26(a26(a26(x1)))) -> x1 47.90/12.84 a34(a34(a34(a34(x1)))) -> x1 47.90/12.84 a35(a35(a35(a35(x1)))) -> x1 47.90/12.84 a36(a36(a36(a36(x1)))) -> x1 47.90/12.84 a45(a45(a45(a45(x1)))) -> x1 47.90/12.84 a46(a46(a46(a46(x1)))) -> x1 47.90/12.84 a56(a56(a56(a56(x1)))) -> x1 47.90/12.84 a13(a13(x1)) -> a12(a12(a23(a23(a12(a12 335.15/300.07 EOF