0.03/0.16 YES 0.03/0.16 0.03/0.16 Problem 1: 0.03/0.16 0.03/0.16 (VAR x) 0.03/0.16 (STRATEGY CONTEXTSENSITIVE 0.03/0.16 (*top*_1 1) 0.03/0.16 (*top*_10 1) 0.03/0.16 (*top*_11 1) 0.03/0.16 (*top*_12 1) 0.03/0.16 (*top*_13 1) 0.03/0.16 (*top*_14 1) 0.03/0.16 (*top*_15 1) 0.03/0.16 (*top*_16 1) 0.03/0.16 (*top*_17 1) 0.03/0.16 (*top*_18 1) 0.03/0.16 (*top*_19 1) 0.03/0.16 (*top*_2 1) 0.03/0.16 (*top*_20 1) 0.03/0.16 (*top*_21 1) 0.03/0.16 (*top*_22 1) 0.03/0.16 (*top*_23 1) 0.03/0.16 (*top*_24 1) 0.03/0.16 (*top*_25 1) 0.03/0.16 (*top*_26 1) 0.03/0.16 (*top*_27 1) 0.03/0.16 (*top*_28 1) 0.03/0.16 (*top*_29 1) 0.03/0.16 (*top*_3 1) 0.03/0.16 (*top*_30 1) 0.03/0.16 (*top*_31 1) 0.03/0.16 (*top*_32 1) 0.03/0.16 (*top*_33 1) 0.03/0.16 (*top*_34 1) 0.03/0.16 (*top*_35 1) 0.03/0.16 (*top*_36 1) 0.03/0.16 (*top*_37 1) 0.03/0.16 (*top*_38 1) 0.03/0.16 (*top*_39 1) 0.03/0.16 (*top*_4 1) 0.03/0.16 (*top*_40 1) 0.03/0.16 (*top*_5 1) 0.03/0.16 (*top*_6 1) 0.03/0.16 (*top*_7 1) 0.03/0.16 (*top*_8 1) 0.03/0.16 (*top*_9 1) 0.03/0.16 (f_81 1) 0.03/0.16 (a_41) 0.03/0.16 (c_42) 0.03/0.16 (f_43 1) 0.03/0.16 (f_44 1) 0.03/0.16 (f_45 1) 0.03/0.16 (f_46 1) 0.03/0.16 (f_47 1) 0.03/0.16 (f_48 1) 0.03/0.16 (f_49 1) 0.03/0.16 (f_50 1) 0.03/0.16 (f_51 1) 0.03/0.16 (f_52 1) 0.03/0.16 (f_53 1) 0.03/0.16 (f_54 1) 0.03/0.16 (f_55 1) 0.03/0.16 (f_56 1) 0.03/0.16 (f_57 1) 0.03/0.16 (f_58 1) 0.03/0.16 (f_59 1) 0.03/0.16 (f_60 1) 0.03/0.16 (f_61 1) 0.03/0.16 (f_62 1) 0.03/0.16 (f_63 1) 0.03/0.16 (f_64 1) 0.03/0.16 (f_65 1) 0.03/0.16 (f_66 1) 0.03/0.16 (f_67 1) 0.03/0.16 (f_68 1) 0.03/0.16 (f_69 1) 0.03/0.16 (f_70 1) 0.03/0.16 (f_71 1) 0.03/0.16 (f_72 1) 0.03/0.16 (f_73 1) 0.03/0.16 (f_74 1) 0.03/0.16 (f_75 1) 0.03/0.16 (f_76 1) 0.03/0.16 (f_77 1) 0.03/0.16 (f_78 1) 0.03/0.16 (f_79 1) 0.03/0.16 (f_80 1) 0.03/0.16 (f_82) 0.03/0.16 ) 0.03/0.16 (RULES 0.03/0.16 *top*_1(f_44(a_41)) -> *top*_3(f_43(f_44(a_41))) 0.03/0.16 *top*_10(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))) -> *top*_11(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))))))) 0.03/0.16 *top*_11(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))))))) -> *top*_12(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))))) 0.03/0.16 *top*_12(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))))) -> *top*_13(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))))))))) 0.03/0.16 *top*_13(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))))))))) -> *top*_14(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))))))) 0.03/0.16 *top*_14(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))))))) -> *top*_15(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_43(f_44(a_41))))))))))))))) 0.03/0.16 *top*_15(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_43(f_44(a_41))))))))))))))) -> *top*_16(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_43(f_44(a_41)))))))))))))))) 0.03/0.16 *top*_16(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_43(f_44(a_41)))))))))))))))) -> *top*_17(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_43(f_44(a_41))))))))))))))))) 0.03/0.16 *top*_17(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_43(f_44(a_41))))))))))))))))) -> *top*_18(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_43(f_44(a_41)))))))))))))))))) 0.03/0.16 *top*_18(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_43(f_44(a_41)))))))))))))))))) -> *top*_19(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_43(f_44(a_41))))))))))))))))))) 0.03/0.16 *top*_19(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_43(f_44(a_41))))))))))))))))))) -> *top*_20(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_43(f_44(a_41)))))))))))))))))))) 0.03/0.16 *top*_2(a_41) -> *top*_1(f_44(a_41)) 0.03/0.16 *top*_20(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_43(f_44(a_41)))))))))))))))))))) -> *top*_21(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_43(f_44(a_41))))))))))))))))))))) 0.03/0.16 *top*_21(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_43(f_44(a_41))))))))))))))))))))) -> *top*_22(f_63(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_43(f_44(a_41)))))))))))))))))))))) 0.03/0.16 *top*_22(f_63(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_43(f_44(a_41)))))))))))))))))))))) -> *top*_23(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))) 0.03/0.16 *top*_23(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))) -> *top*_24(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))) 0.03/0.16 *top*_24(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))) -> *top*_25(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))) 0.03/0.16 *top*_25(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))) -> *top*_26(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))) 0.03/0.16 *top*_26(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))) -> *top*_27(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))) 0.03/0.16 *top*_27(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))) -> *top*_28(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))) 0.03/0.16 *top*_28(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))) -> *top*_29(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))) 0.03/0.16 *top*_29(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))) -> *top*_30(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))) 0.03/0.16 *top*_3(f_43(f_44(a_41))) -> *top*_4(f_45(f_43(f_44(a_41)))) 0.03/0.16 *top*_30(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))) -> *top*_31(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))) 0.03/0.16 *top*_31(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))) -> *top*_32(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))) 0.03/0.16 *top*_32(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))) -> *top*_33(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))) 0.03/0.16 *top*_33(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))) -> *top*_34(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))) 0.03/0.16 *top*_34(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))) -> *top*_35(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))) 0.03/0.16 *top*_35(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))) -> *top*_36(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))))) 0.03/0.16 *top*_36(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))))) -> *top*_37(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))))) 0.03/0.16 *top*_37(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))))) -> *top*_38(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))))))) 0.03/0.16 *top*_38(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))))))) -> *top*_39(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))))))) 0.03/0.16 *top*_39(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))))))) -> *top*_40(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))))))))) 0.03/0.16 *top*_4(f_45(f_43(f_44(a_41)))) -> *top*_5(f_46(f_45(f_43(f_44(a_41))))) 0.03/0.16 *top*_40(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(f_62(f_61(f_60(f_59(f_58(f_57(f_56(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(f_62(f_61(f_60(f_59(f_58(f_57(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(f_62(f_61(f_60(f_59(f_58(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(f_62(f_61(f_60(f_59(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(f_62(f_61(f_60(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(f_62(f_61(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(f_62(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_5(f_46(f_45(f_43(f_44(a_41))))) -> *top*_6(f_47(f_46(f_45(f_43(f_44(a_41)))))) 0.03/0.16 *top*_6(f_47(f_46(f_45(f_43(f_44(a_41)))))) -> *top*_7(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))) 0.03/0.16 *top*_7(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))) -> *top*_8(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))) 0.03/0.16 *top*_8(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))) -> *top*_9(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))))) 0.03/0.16 *top*_9(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))))) -> *top*_10(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))) 0.03/0.16 f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))))))) -> f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))))))))) 0.03/0.16 ) 0.03/0.16 0.03/0.16 Problem 1: 0.03/0.16 0.03/0.16 Dependency Pairs Processor: 0.03/0.16 -> Pairs: 0.03/0.16 *TOP*_1(f_44(a_41)) -> *TOP*_3(f_43(f_44(a_41))) 0.03/0.16 *TOP*_10(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))) -> *TOP*_11(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))))))) 0.03/0.16 *TOP*_11(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))))))) -> *TOP*_12(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))))) 0.03/0.16 *TOP*_12(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))))) -> *TOP*_13(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))))))))) 0.03/0.16 *TOP*_13(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))))))))) -> *TOP*_14(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))))))) 0.03/0.16 *TOP*_14(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))))))) -> *TOP*_15(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_43(f_44(a_41))))))))))))))) 0.03/0.16 *TOP*_15(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_43(f_44(a_41))))))))))))))) -> *TOP*_16(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_43(f_44(a_41)))))))))))))))) 0.03/0.16 *TOP*_16(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_43(f_44(a_41)))))))))))))))) -> *TOP*_17(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_43(f_44(a_41))))))))))))))))) 0.03/0.16 *TOP*_17(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_43(f_44(a_41))))))))))))))))) -> *TOP*_18(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_43(f_44(a_41)))))))))))))))))) 0.03/0.16 *TOP*_18(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_43(f_44(a_41)))))))))))))))))) -> *TOP*_19(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_43(f_44(a_41))))))))))))))))))) 0.03/0.16 *TOP*_19(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_43(f_44(a_41))))))))))))))))))) -> *TOP*_20(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_43(f_44(a_41)))))))))))))))))))) 0.03/0.16 *TOP*_2(a_41) -> *TOP*_1(f_44(a_41)) 0.03/0.16 *TOP*_20(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_43(f_44(a_41)))))))))))))))))))) -> *TOP*_21(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_43(f_44(a_41))))))))))))))))))))) 0.03/0.16 *TOP*_21(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_43(f_44(a_41))))))))))))))))))))) -> *TOP*_22(f_63(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_43(f_44(a_41)))))))))))))))))))))) 0.03/0.16 *TOP*_22(f_63(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_43(f_44(a_41)))))))))))))))))))))) -> *TOP*_23(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))) 0.03/0.16 *TOP*_23(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))) -> *TOP*_24(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))) 0.03/0.16 *TOP*_24(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))) -> *TOP*_25(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))) 0.03/0.16 *TOP*_25(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))) -> *TOP*_26(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))) 0.03/0.16 *TOP*_26(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))) -> *TOP*_27(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))) 0.03/0.16 *TOP*_27(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))) -> *TOP*_28(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))) 0.03/0.16 *TOP*_28(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))) -> *TOP*_29(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))) 0.03/0.16 *TOP*_29(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))) -> *TOP*_30(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))) 0.03/0.16 *TOP*_3(f_43(f_44(a_41))) -> *TOP*_4(f_45(f_43(f_44(a_41)))) 0.03/0.16 *TOP*_30(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))) -> *TOP*_31(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))) 0.03/0.16 *TOP*_31(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))) -> *TOP*_32(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))) 0.03/0.16 *TOP*_32(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))) -> *TOP*_33(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))) 0.03/0.16 *TOP*_33(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))) -> *TOP*_34(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))) 0.03/0.16 *TOP*_34(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))) -> *TOP*_35(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))) 0.03/0.16 *TOP*_35(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))) -> *TOP*_36(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))))) 0.03/0.16 *TOP*_36(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))))) -> *TOP*_37(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))))) 0.03/0.16 *TOP*_37(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))))) -> *TOP*_38(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))))))) 0.03/0.16 *TOP*_38(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))))))) -> *TOP*_39(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))))))) 0.03/0.16 *TOP*_39(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))))))) -> *TOP*_40(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))))))))) 0.03/0.16 *TOP*_39(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))))))) -> F_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))))))) 0.03/0.16 *TOP*_4(f_45(f_43(f_44(a_41)))) -> *TOP*_5(f_46(f_45(f_43(f_44(a_41))))) 0.03/0.16 *TOP*_5(f_46(f_45(f_43(f_44(a_41))))) -> *TOP*_6(f_47(f_46(f_45(f_43(f_44(a_41)))))) 0.03/0.16 *TOP*_6(f_47(f_46(f_45(f_43(f_44(a_41)))))) -> *TOP*_7(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))) 0.03/0.16 *TOP*_7(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))) -> *TOP*_8(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))) 0.03/0.16 *TOP*_8(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))) -> *TOP*_9(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))))) 0.03/0.16 *TOP*_9(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))))) -> *TOP*_10(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))) 0.03/0.16 -> Rules: 0.03/0.16 *top*_1(f_44(a_41)) -> *top*_3(f_43(f_44(a_41))) 0.03/0.16 *top*_10(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))) -> *top*_11(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))))))) 0.03/0.16 *top*_11(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))))))) -> *top*_12(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))))) 0.03/0.16 *top*_12(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))))) -> *top*_13(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))))))))) 0.03/0.16 *top*_13(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))))))))) -> *top*_14(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))))))) 0.03/0.16 *top*_14(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))))))) -> *top*_15(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_43(f_44(a_41))))))))))))))) 0.03/0.16 *top*_15(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_43(f_44(a_41))))))))))))))) -> *top*_16(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_43(f_44(a_41)))))))))))))))) 0.03/0.16 *top*_16(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_43(f_44(a_41)))))))))))))))) -> *top*_17(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_43(f_44(a_41))))))))))))))))) 0.03/0.16 *top*_17(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_43(f_44(a_41))))))))))))))))) -> *top*_18(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_43(f_44(a_41)))))))))))))))))) 0.03/0.16 *top*_18(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_43(f_44(a_41)))))))))))))))))) -> *top*_19(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_43(f_44(a_41))))))))))))))))))) 0.03/0.16 *top*_19(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_43(f_44(a_41))))))))))))))))))) -> *top*_20(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_43(f_44(a_41)))))))))))))))))))) 0.03/0.16 *top*_2(a_41) -> *top*_1(f_44(a_41)) 0.03/0.16 *top*_20(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_43(f_44(a_41)))))))))))))))))))) -> *top*_21(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_43(f_44(a_41))))))))))))))))))))) 0.03/0.16 *top*_21(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_43(f_44(a_41))))))))))))))))))))) -> *top*_22(f_63(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_43(f_44(a_41)))))))))))))))))))))) 0.03/0.16 *top*_22(f_63(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_43(f_44(a_41)))))))))))))))))))))) -> *top*_23(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))) 0.03/0.16 *top*_23(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))) -> *top*_24(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))) 0.03/0.16 *top*_24(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))) -> *top*_25(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))) 0.03/0.16 *top*_25(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))) -> *top*_26(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))) 0.03/0.16 *top*_26(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))) -> *top*_27(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))) 0.03/0.16 *top*_27(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))) -> *top*_28(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))) 0.03/0.16 *top*_28(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))) -> *top*_29(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))) 0.03/0.16 *top*_29(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))) -> *top*_30(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))) 0.03/0.16 *top*_3(f_43(f_44(a_41))) -> *top*_4(f_45(f_43(f_44(a_41)))) 0.03/0.16 *top*_30(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))) -> *top*_31(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))) 0.03/0.16 *top*_31(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))) -> *top*_32(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))) 0.03/0.16 *top*_32(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))) -> *top*_33(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))) 0.03/0.16 *top*_33(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))) -> *top*_34(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))) 0.03/0.16 *top*_34(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))) -> *top*_35(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))) 0.03/0.16 *top*_35(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))) -> *top*_36(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))))) 0.03/0.16 *top*_36(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))))) -> *top*_37(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))))) 0.03/0.16 *top*_37(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))))) -> *top*_38(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))))))) 0.03/0.16 *top*_38(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))))))) -> *top*_39(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))))))) 0.03/0.16 *top*_39(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))))))) -> *top*_40(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))))))))) 0.03/0.16 *top*_4(f_45(f_43(f_44(a_41)))) -> *top*_5(f_46(f_45(f_43(f_44(a_41))))) 0.03/0.16 *top*_40(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(f_62(f_61(f_60(f_59(f_58(f_57(f_56(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(f_62(f_61(f_60(f_59(f_58(f_57(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(f_62(f_61(f_60(f_59(f_58(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(f_62(f_61(f_60(f_59(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(f_62(f_61(f_60(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(f_62(f_61(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(f_62(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_5(f_46(f_45(f_43(f_44(a_41))))) -> *top*_6(f_47(f_46(f_45(f_43(f_44(a_41)))))) 0.03/0.16 *top*_6(f_47(f_46(f_45(f_43(f_44(a_41)))))) -> *top*_7(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))) 0.03/0.16 *top*_7(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))) -> *top*_8(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))) 0.03/0.16 *top*_8(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))) -> *top*_9(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))))) 0.03/0.16 *top*_9(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))))) -> *top*_10(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))) 0.03/0.16 f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))))))) -> f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))))))))) 0.03/0.16 -> Unhiding Rules: 0.03/0.16 Empty 0.03/0.16 0.03/0.16 Problem 1: 0.03/0.16 0.03/0.16 SCC Processor: 0.03/0.16 -> Pairs: 0.03/0.16 *TOP*_1(f_44(a_41)) -> *TOP*_3(f_43(f_44(a_41))) 0.03/0.16 *TOP*_10(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))) -> *TOP*_11(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))))))) 0.03/0.16 *TOP*_11(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))))))) -> *TOP*_12(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))))) 0.03/0.16 *TOP*_12(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))))) -> *TOP*_13(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))))))))) 0.03/0.16 *TOP*_13(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))))))))) -> *TOP*_14(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))))))) 0.03/0.16 *TOP*_14(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))))))) -> *TOP*_15(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_43(f_44(a_41))))))))))))))) 0.03/0.16 *TOP*_15(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_43(f_44(a_41))))))))))))))) -> *TOP*_16(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_43(f_44(a_41)))))))))))))))) 0.03/0.16 *TOP*_16(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_43(f_44(a_41)))))))))))))))) -> *TOP*_17(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_43(f_44(a_41))))))))))))))))) 0.03/0.16 *TOP*_17(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_43(f_44(a_41))))))))))))))))) -> *TOP*_18(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_43(f_44(a_41)))))))))))))))))) 0.03/0.16 *TOP*_18(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_43(f_44(a_41)))))))))))))))))) -> *TOP*_19(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_43(f_44(a_41))))))))))))))))))) 0.03/0.16 *TOP*_19(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_43(f_44(a_41))))))))))))))))))) -> *TOP*_20(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_43(f_44(a_41)))))))))))))))))))) 0.03/0.16 *TOP*_2(a_41) -> *TOP*_1(f_44(a_41)) 0.03/0.16 *TOP*_20(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_43(f_44(a_41)))))))))))))))))))) -> *TOP*_21(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_43(f_44(a_41))))))))))))))))))))) 0.03/0.16 *TOP*_21(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_43(f_44(a_41))))))))))))))))))))) -> *TOP*_22(f_63(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_43(f_44(a_41)))))))))))))))))))))) 0.03/0.16 *TOP*_22(f_63(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_43(f_44(a_41)))))))))))))))))))))) -> *TOP*_23(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))) 0.03/0.16 *TOP*_23(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))) -> *TOP*_24(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))) 0.03/0.16 *TOP*_24(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))) -> *TOP*_25(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))) 0.03/0.16 *TOP*_25(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))) -> *TOP*_26(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))) 0.03/0.16 *TOP*_26(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))) -> *TOP*_27(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))) 0.03/0.16 *TOP*_27(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))) -> *TOP*_28(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))) 0.03/0.16 *TOP*_28(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))) -> *TOP*_29(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))) 0.03/0.16 *TOP*_29(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))) -> *TOP*_30(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))) 0.03/0.16 *TOP*_3(f_43(f_44(a_41))) -> *TOP*_4(f_45(f_43(f_44(a_41)))) 0.03/0.16 *TOP*_30(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))) -> *TOP*_31(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))) 0.03/0.16 *TOP*_31(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))) -> *TOP*_32(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))) 0.03/0.16 *TOP*_32(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))) -> *TOP*_33(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))) 0.03/0.16 *TOP*_33(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))) -> *TOP*_34(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))) 0.03/0.16 *TOP*_34(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))) -> *TOP*_35(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))) 0.03/0.16 *TOP*_35(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))) -> *TOP*_36(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))))) 0.03/0.16 *TOP*_36(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))))) -> *TOP*_37(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))))) 0.03/0.16 *TOP*_37(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))))) -> *TOP*_38(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))))))) 0.03/0.16 *TOP*_38(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))))))) -> *TOP*_39(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))))))) 0.03/0.16 *TOP*_39(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))))))) -> *TOP*_40(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))))))))) 0.03/0.16 *TOP*_39(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))))))) -> F_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))))))) 0.03/0.16 *TOP*_4(f_45(f_43(f_44(a_41)))) -> *TOP*_5(f_46(f_45(f_43(f_44(a_41))))) 0.03/0.16 *TOP*_5(f_46(f_45(f_43(f_44(a_41))))) -> *TOP*_6(f_47(f_46(f_45(f_43(f_44(a_41)))))) 0.03/0.16 *TOP*_6(f_47(f_46(f_45(f_43(f_44(a_41)))))) -> *TOP*_7(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))) 0.03/0.16 *TOP*_7(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))) -> *TOP*_8(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))) 0.03/0.16 *TOP*_8(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))) -> *TOP*_9(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))))) 0.03/0.16 *TOP*_9(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))))) -> *TOP*_10(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))) 0.03/0.16 -> Rules: 0.03/0.16 *top*_1(f_44(a_41)) -> *top*_3(f_43(f_44(a_41))) 0.03/0.16 *top*_10(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))) -> *top*_11(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))))))) 0.03/0.16 *top*_11(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))))))) -> *top*_12(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))))) 0.03/0.16 *top*_12(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))))) -> *top*_13(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))))))))) 0.03/0.16 *top*_13(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))))))))) -> *top*_14(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))))))) 0.03/0.16 *top*_14(f_55(f_54(f_53(f_52(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))))))) -> *top*_15(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_43(f_44(a_41))))))))))))))) 0.03/0.16 *top*_15(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_43(f_44(a_41))))))))))))))) -> *top*_16(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_43(f_44(a_41)))))))))))))))) 0.03/0.16 *top*_16(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_43(f_44(a_41)))))))))))))))) -> *top*_17(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_43(f_44(a_41))))))))))))))))) 0.03/0.16 *top*_17(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_43(f_44(a_41))))))))))))))))) -> *top*_18(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_43(f_44(a_41)))))))))))))))))) 0.03/0.16 *top*_18(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_43(f_44(a_41)))))))))))))))))) -> *top*_19(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_43(f_44(a_41))))))))))))))))))) 0.03/0.16 *top*_19(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_43(f_44(a_41))))))))))))))))))) -> *top*_20(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_43(f_44(a_41)))))))))))))))))))) 0.03/0.16 *top*_2(a_41) -> *top*_1(f_44(a_41)) 0.03/0.16 *top*_20(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_43(f_44(a_41)))))))))))))))))))) -> *top*_21(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_43(f_44(a_41))))))))))))))))))))) 0.03/0.16 *top*_21(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_43(f_44(a_41))))))))))))))))))))) -> *top*_22(f_63(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_43(f_44(a_41)))))))))))))))))))))) 0.03/0.16 *top*_22(f_63(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_43(f_44(a_41)))))))))))))))))))))) -> *top*_23(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))) 0.03/0.16 *top*_23(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))) -> *top*_24(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))) 0.03/0.16 *top*_24(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))) -> *top*_25(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))) 0.03/0.16 *top*_25(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))) -> *top*_26(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))) 0.03/0.16 *top*_26(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))) -> *top*_27(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))) 0.03/0.16 *top*_27(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))) -> *top*_28(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))) 0.03/0.16 *top*_28(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))) -> *top*_29(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))) 0.03/0.16 *top*_29(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))) -> *top*_30(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))) 0.03/0.16 *top*_3(f_43(f_44(a_41))) -> *top*_4(f_45(f_43(f_44(a_41)))) 0.03/0.16 *top*_30(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))) -> *top*_31(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))) 0.03/0.16 *top*_31(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))) -> *top*_32(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))) 0.03/0.16 *top*_32(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))) -> *top*_33(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))) 0.03/0.16 *top*_33(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))) -> *top*_34(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))) 0.03/0.16 *top*_34(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))) -> *top*_35(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))) 0.03/0.16 *top*_35(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))) -> *top*_36(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))))) 0.03/0.16 *top*_36(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))))) -> *top*_37(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))))) 0.03/0.16 *top*_37(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))))) -> *top*_38(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))))))) 0.03/0.16 *top*_38(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))))))) -> *top*_39(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))))))) 0.03/0.16 *top*_39(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))))))) -> *top*_40(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))))))))) 0.03/0.16 *top*_4(f_45(f_43(f_44(a_41)))) -> *top*_5(f_46(f_45(f_43(f_44(a_41))))) 0.03/0.16 *top*_40(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(f_53(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(f_54(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(f_62(f_61(f_60(f_59(f_58(f_57(f_56(f_55(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(f_62(f_61(f_60(f_59(f_58(f_57(f_56(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(f_62(f_61(f_60(f_59(f_58(f_57(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(f_62(f_61(f_60(f_59(f_58(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(f_62(f_61(f_60(f_59(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(f_62(f_61(f_60(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(f_62(f_61(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(f_62(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(f_76(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(f_77(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(f_78(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(f_79(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(f_80(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_81(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_40(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(f_82(x))))))))))))))))))))))))))))))))))))))))) -> *top*_2(c_42) 0.03/0.16 *top*_5(f_46(f_45(f_43(f_44(a_41))))) -> *top*_6(f_47(f_46(f_45(f_43(f_44(a_41)))))) 0.03/0.16 *top*_6(f_47(f_46(f_45(f_43(f_44(a_41)))))) -> *top*_7(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))) 0.03/0.16 *top*_7(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))) -> *top*_8(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))) 0.03/0.16 *top*_8(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))) -> *top*_9(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))))) 0.03/0.16 *top*_9(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41))))))))) -> *top*_10(f_51(f_50(f_49(f_48(f_47(f_46(f_45(f_43(f_44(a_41)))))))))) 0.03/0.16 f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41))))))))))))))))))))))))))))))))))))))) -> f_82(f_81(f_80(f_79(f_78(f_77(f_76(f_75(f_74(f_73(f_72(f_71(f_70(f_69(f_68(f_67(f_66(f_65(f_64(f_63(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_43(f_44(a_41)))))))))))))))))))))))))))))))))))))))) 0.03/0.16 -> Unhiding rules: 0.03/0.16 Empty 0.03/0.16 ->Strongly Connected Components: 0.03/0.16 There is no strongly connected component 0.03/0.16 0.03/0.16 The problem is finite. 0.03/0.16 EOF