/export/starexec/sandbox2/solver/bin/starexec_run_default /export/starexec/sandbox2/benchmark/theBenchmark.xml /export/starexec/sandbox2/output/output_files


--------------------------------------------------------------------------------


YES

Problem 1: 

(VAR x)
(STRATEGY CONTEXTSENSITIVE
(*top*_1 1)
(*top*_10 1)
(*top*_11 1)
(*top*_12 1)
(*top*_13 1)
(*top*_14 1)
(*top*_15 1)
(*top*_16 1)
(*top*_17 1)
(*top*_18 1)
(*top*_19 1)
(*top*_2 1)
(*top*_20 1)
(*top*_21 1)
(*top*_22 1)
(*top*_23 1)
(*top*_24 1)
(*top*_25 1)
(*top*_26 1)
(*top*_27 1)
(*top*_28 1)
(*top*_29 1)
(*top*_3 1)
(*top*_30 1)
(*top*_4 1)
(*top*_5 1)
(*top*_6 1)
(*top*_7 1)
(*top*_8 1)
(*top*_9 1)
(f_61 1)
(a_31)
(c_32)
(f_33 1)
(f_34 1)
(f_35 1)
(f_36 1)
(f_37 1)
(f_38 1)
(f_39 1)
(f_40 1)
(f_41 1)
(f_42 1)
(f_43 1)
(f_44 1)
(f_45 1)
(f_46 1)
(f_47 1)
(f_48 1)
(f_49 1)
(f_50 1)
(f_51 1)
(f_52 1)
(f_53 1)
(f_54 1)
(f_55 1)
(f_56 1)
(f_57 1)
(f_58 1)
(f_59 1)
(f_60 1)
(f_62)
)
(RULES
*top*_1(f_34(a_31)) -> *top*_3(f_33(f_34(a_31)))
*top*_10(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))) -> *top*_11(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))
*top*_11(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))) -> *top*_12(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))
*top*_12(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))) -> *top*_13(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))
*top*_13(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))) -> *top*_14(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))
*top*_14(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))) -> *top*_15(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))
*top*_15(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))) -> *top*_16(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))
*top*_16(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))) -> *top*_17(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))
*top*_17(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))) -> *top*_18(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))
*top*_18(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))) -> *top*_19(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))
*top*_19(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))) -> *top*_20(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))
*top*_2(a_31) -> *top*_1(f_34(a_31))
*top*_20(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))) -> *top*_21(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))
*top*_21(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))) -> *top*_22(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))
*top*_22(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))) -> *top*_23(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))
*top*_23(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))) -> *top*_24(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))
*top*_24(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))) -> *top*_25(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))))
*top*_25(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))) -> *top*_26(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))
*top*_26(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))))) -> *top*_27(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))))))
*top*_27(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))) -> *top*_28(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))))
*top*_28(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))))))) -> *top*_29(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))))))))
*top*_29(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))))) -> *top*_30(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))))))
*top*_3(f_33(f_34(a_31))) -> *top*_4(f_35(f_33(f_34(a_31))))
*top*_30(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
*top*_30(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
*top*_30(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
*top*_30(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
*top*_30(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
*top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
*top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
*top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
*top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
*top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
*top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
*top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
*top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
*top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
*top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
*top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
*top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
*top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
*top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
*top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
*top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
*top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
*top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
*top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
*top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
*top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
*top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
*top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
*top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
*top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
*top*_4(f_35(f_33(f_34(a_31)))) -> *top*_5(f_36(f_35(f_33(f_34(a_31)))))
*top*_5(f_36(f_35(f_33(f_34(a_31))))) -> *top*_6(f_37(f_36(f_35(f_33(f_34(a_31))))))
*top*_6(f_37(f_36(f_35(f_33(f_34(a_31)))))) -> *top*_7(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))
*top*_7(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))) -> *top*_8(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))
*top*_8(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))) -> *top*_9(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))
*top*_9(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))) -> *top*_10(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))
f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))))) -> f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))))))
)

Problem 1: 

Dependency Pairs Processor:
-> Pairs:
 *TOP*_1(f_34(a_31)) -> *TOP*_3(f_33(f_34(a_31)))
 *TOP*_10(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))) -> *TOP*_11(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))
 *TOP*_11(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))) -> *TOP*_12(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))
 *TOP*_12(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))) -> *TOP*_13(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))
 *TOP*_13(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))) -> *TOP*_14(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))
 *TOP*_14(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))) -> *TOP*_15(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))
 *TOP*_15(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))) -> *TOP*_16(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))
 *TOP*_16(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))) -> *TOP*_17(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))
 *TOP*_17(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))) -> *TOP*_18(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))
 *TOP*_18(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))) -> *TOP*_19(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))
 *TOP*_19(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))) -> *TOP*_20(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))
 *TOP*_2(a_31) -> *TOP*_1(f_34(a_31))
 *TOP*_20(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))) -> *TOP*_21(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))
 *TOP*_21(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))) -> *TOP*_22(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))
 *TOP*_22(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))) -> *TOP*_23(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))
 *TOP*_23(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))) -> *TOP*_24(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))
 *TOP*_24(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))) -> *TOP*_25(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))))
 *TOP*_25(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))) -> *TOP*_26(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))
 *TOP*_26(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))))) -> *TOP*_27(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))))))
 *TOP*_27(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))) -> *TOP*_28(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))))
 *TOP*_28(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))))))) -> *TOP*_29(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))))))))
 *TOP*_29(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))))) -> *TOP*_30(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))))))
 *TOP*_29(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))))) -> F_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))))))))
 *TOP*_3(f_33(f_34(a_31))) -> *TOP*_4(f_35(f_33(f_34(a_31))))
 *TOP*_4(f_35(f_33(f_34(a_31)))) -> *TOP*_5(f_36(f_35(f_33(f_34(a_31)))))
 *TOP*_5(f_36(f_35(f_33(f_34(a_31))))) -> *TOP*_6(f_37(f_36(f_35(f_33(f_34(a_31))))))
 *TOP*_6(f_37(f_36(f_35(f_33(f_34(a_31)))))) -> *TOP*_7(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))
 *TOP*_7(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))) -> *TOP*_8(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))
 *TOP*_8(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))) -> *TOP*_9(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))
 *TOP*_9(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))) -> *TOP*_10(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))
-> Rules:
 *top*_1(f_34(a_31)) -> *top*_3(f_33(f_34(a_31)))
 *top*_10(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))) -> *top*_11(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))
 *top*_11(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))) -> *top*_12(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))
 *top*_12(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))) -> *top*_13(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))
 *top*_13(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))) -> *top*_14(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))
 *top*_14(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))) -> *top*_15(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))
 *top*_15(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))) -> *top*_16(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))
 *top*_16(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))) -> *top*_17(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))
 *top*_17(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))) -> *top*_18(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))
 *top*_18(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))) -> *top*_19(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))
 *top*_19(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))) -> *top*_20(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))
 *top*_2(a_31) -> *top*_1(f_34(a_31))
 *top*_20(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))) -> *top*_21(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))
 *top*_21(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))) -> *top*_22(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))
 *top*_22(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))) -> *top*_23(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))
 *top*_23(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))) -> *top*_24(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))
 *top*_24(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))) -> *top*_25(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))))
 *top*_25(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))) -> *top*_26(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))
 *top*_26(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))))) -> *top*_27(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))))))
 *top*_27(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))) -> *top*_28(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))))
 *top*_28(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))))))) -> *top*_29(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))))))))
 *top*_29(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))))) -> *top*_30(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))))))
 *top*_3(f_33(f_34(a_31))) -> *top*_4(f_35(f_33(f_34(a_31))))
 *top*_30(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_4(f_35(f_33(f_34(a_31)))) -> *top*_5(f_36(f_35(f_33(f_34(a_31)))))
 *top*_5(f_36(f_35(f_33(f_34(a_31))))) -> *top*_6(f_37(f_36(f_35(f_33(f_34(a_31))))))
 *top*_6(f_37(f_36(f_35(f_33(f_34(a_31)))))) -> *top*_7(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))
 *top*_7(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))) -> *top*_8(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))
 *top*_8(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))) -> *top*_9(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))
 *top*_9(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))) -> *top*_10(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))
 f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))))) -> f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))))))
-> Unhiding Rules:
 Empty

Problem 1: 

SCC Processor:
-> Pairs:
 *TOP*_1(f_34(a_31)) -> *TOP*_3(f_33(f_34(a_31)))
 *TOP*_10(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))) -> *TOP*_11(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))
 *TOP*_11(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))) -> *TOP*_12(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))
 *TOP*_12(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))) -> *TOP*_13(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))
 *TOP*_13(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))) -> *TOP*_14(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))
 *TOP*_14(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))) -> *TOP*_15(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))
 *TOP*_15(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))) -> *TOP*_16(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))
 *TOP*_16(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))) -> *TOP*_17(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))
 *TOP*_17(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))) -> *TOP*_18(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))
 *TOP*_18(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))) -> *TOP*_19(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))
 *TOP*_19(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))) -> *TOP*_20(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))
 *TOP*_2(a_31) -> *TOP*_1(f_34(a_31))
 *TOP*_20(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))) -> *TOP*_21(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))
 *TOP*_21(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))) -> *TOP*_22(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))
 *TOP*_22(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))) -> *TOP*_23(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))
 *TOP*_23(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))) -> *TOP*_24(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))
 *TOP*_24(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))) -> *TOP*_25(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))))
 *TOP*_25(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))) -> *TOP*_26(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))
 *TOP*_26(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))))) -> *TOP*_27(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))))))
 *TOP*_27(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))) -> *TOP*_28(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))))
 *TOP*_28(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))))))) -> *TOP*_29(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))))))))
 *TOP*_29(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))))) -> *TOP*_30(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))))))
 *TOP*_29(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))))) -> F_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))))))))
 *TOP*_3(f_33(f_34(a_31))) -> *TOP*_4(f_35(f_33(f_34(a_31))))
 *TOP*_4(f_35(f_33(f_34(a_31)))) -> *TOP*_5(f_36(f_35(f_33(f_34(a_31)))))
 *TOP*_5(f_36(f_35(f_33(f_34(a_31))))) -> *TOP*_6(f_37(f_36(f_35(f_33(f_34(a_31))))))
 *TOP*_6(f_37(f_36(f_35(f_33(f_34(a_31)))))) -> *TOP*_7(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))
 *TOP*_7(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))) -> *TOP*_8(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))
 *TOP*_8(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))) -> *TOP*_9(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))
 *TOP*_9(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))) -> *TOP*_10(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))
-> Rules:
 *top*_1(f_34(a_31)) -> *top*_3(f_33(f_34(a_31)))
 *top*_10(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))) -> *top*_11(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))
 *top*_11(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))) -> *top*_12(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))
 *top*_12(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))) -> *top*_13(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))
 *top*_13(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))) -> *top*_14(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))
 *top*_14(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))) -> *top*_15(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))
 *top*_15(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))) -> *top*_16(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))
 *top*_16(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))) -> *top*_17(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))
 *top*_17(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))) -> *top*_18(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))
 *top*_18(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))) -> *top*_19(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))
 *top*_19(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))) -> *top*_20(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))
 *top*_2(a_31) -> *top*_1(f_34(a_31))
 *top*_20(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))) -> *top*_21(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))
 *top*_21(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))) -> *top*_22(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))
 *top*_22(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))) -> *top*_23(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))
 *top*_23(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))) -> *top*_24(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))
 *top*_24(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))) -> *top*_25(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))))
 *top*_25(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))) -> *top*_26(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))
 *top*_26(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))))) -> *top*_27(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))))))
 *top*_27(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))) -> *top*_28(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))))
 *top*_28(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))))))) -> *top*_29(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))))))))))))))))))))))
 *top*_29(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))))) -> *top*_30(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))))))
 *top*_3(f_33(f_34(a_31))) -> *top*_4(f_35(f_33(f_34(a_31))))
 *top*_30(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(f_56(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(f_57(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(f_58(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(f_59(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(f_60(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_61(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_30(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(f_62(x))))))))))))))))))))))))))))))) -> *top*_2(c_32)
 *top*_4(f_35(f_33(f_34(a_31)))) -> *top*_5(f_36(f_35(f_33(f_34(a_31)))))
 *top*_5(f_36(f_35(f_33(f_34(a_31))))) -> *top*_6(f_37(f_36(f_35(f_33(f_34(a_31))))))
 *top*_6(f_37(f_36(f_35(f_33(f_34(a_31)))))) -> *top*_7(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))
 *top*_7(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))) -> *top*_8(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))
 *top*_8(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))) -> *top*_9(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31)))))))))
 *top*_9(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))) -> *top*_10(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))
 f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))))) -> f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_44(f_43(f_42(f_41(f_40(f_39(f_38(f_37(f_36(f_35(f_33(f_34(a_31))))))))))))))))))))))))))))))
-> Unhiding rules:
 Empty
->Strongly Connected Components:
 There is no strongly connected component

The problem is finite.