Problem Transformed outermost 08 f40

Tool Bounds

Execution Time	60.886414ms
Answer	TIMEOUT
Input	Transformed outermost 08 f40

stdout:

TIMEOUT

We consider the following Problem:

  Strict Trs:
    {  *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , *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())
     , 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()))))))))))))))))))))))))))))))))))))))))
     , *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()))))))))))))))))))))))))))))))))))))))))
     , *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())))))))))))))))))))))))))))))))))))))))
     , *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()))))))))))))))))))))))))))))))))))))))
     , *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())))))))))))))))))))))))))))))))))))))
     , *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()))))))))))))))))))))))))))))))))))))
     , *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())))))))))))))))))))))))))))))))))))
     , *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()))))))))))))))))))))))))))))))))))
     , *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())))))))))))))))))))))))))))))))))
     , *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()))))))))))))))))))))))))))))))))
     , *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())))))))))))))))))))))))))))))))
     , *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()))))))))))))))))))))))))))))))
     , *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())))))))))))))))))))))))))))))
     , *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()))))))))))))))))))))))))))))
     , *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())))))))))))))))))))))))))))
     , *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()))))))))))))))))))))))))))
     , *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())))))))))))))))))))))))))
     , *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()))))))))))))))))))))))))
     , *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())))))))))))))))))))))))
     , *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()))))))))))))))))))))))
     , *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())))))))))))))))))))))
     , *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()))))))))))))))))))))
     , *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())))))))))))))))))))
     , *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()))))))))))))))))))
     , *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())))))))))))))))))
     , *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()))))))))))))))))
     , *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())))))))))))))))
     , *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()))))))))))))))
     , *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())))))))))))))
     , *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()))))))))))))
     , *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())))))))))))
     , *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()))))))))))
     , *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())))))))))
     , *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()))))))))
     , *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())))))))
     , *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()))))))
     , *top*_4(f_45(f_43(f_44(a_41())))) ->
       *top*_5(f_46(f_45(f_43(f_44(a_41())))))
     , *top*_3(f_43(f_44(a_41()))) -> *top*_4(f_45(f_43(f_44(a_41()))))
     , *top*_1(f_44(a_41())) -> *top*_3(f_43(f_44(a_41())))
     , *top*_2(a_41()) -> *top*_1(f_44(a_41()))}
  StartTerms: all
  Strategy: none

Certificate: TIMEOUT

Proof:
  Computation stopped due to timeout after 60.0 seconds.

Arrrr..

Tool CDI

Execution Time	60.201897ms
Answer	TIMEOUT
Input	Transformed outermost 08 f40

stdout:

TIMEOUT

Statistics:
Number of monomials: 0
Last formula building started for bound 0
Last SAT solving started for bound 0

Tool EDA

Execution Time	60.5453ms
Answer	TIMEOUT
Input	Transformed outermost 08 f40

stdout:

Tool IDA

Execution Time	60.575207ms
Answer	TIMEOUT
Input	Transformed outermost 08 f40

stdout:

Tool TRI

Execution Time	60.548973ms
Answer	TIMEOUT
Input	Transformed outermost 08 f40

stdout:

Tool TRI2

Execution Time	61.07362ms
Answer	TIMEOUT
Input	Transformed outermost 08 f40