# cost = 16
# n_nodes = 17196
# version = 1.0
# time = 22.820

# n=14, i=2, cost=16: no comparisons done
find_1(a,b,c,d,e,f,g,h,i,j,k,l,m,n) =
  if a > b
  then find_2(a,b,c,d,e,f,g,h,i,j,k,l,m,n)
  else find_2(b,a,c,d,e,f,g,h,i,j,k,l,m,n)
# n=14, i=2, cost=15: a>b
find_2(a,b,c,d,e,f,g,h,i,j,k,l,m,n) =
  if a > c
  then find_3(a,b,c,d,e,f,g,h,i,j,k,l,m,n)
  else find_4(c,a,d,e,f,g,h,i,j,k,l,m,n)
# n=13, i=2, cost=14: a>b
find_4(a,b,c,d,e,f,g,h,i,j,k,l,m) =
  if a > c
  then find_5(a,b,c,d,e,f,g,h,i,j,k,l,m)
  else find_6(c,a,d,e,f,g,h,i,j,k,l,m)
# n=12, i=2, cost=13: a>b
find_6(a,b,c,d,e,f,g,h,i,j,k,l) =
  if a > c
  then find_7(a,b,c,d,e,f,g,h,i,j,k,l)
  else find_8(c,a,d,e,f,g,h,i,j,k,l)
# n=11, i=2, cost=12: a>b
find_8(a,b,c,d,e,f,g,h,i,j,k) =
  if a > c
  then find_9(a,b,c,d,e,f,g,h,i,j,k)
  else find_10(c,a,d,e,f,g,h,i,j,k)
# n=10, i=2, cost=11: a>b
find_10(a,b,c,d,e,f,g,h,i,j) =
  if a > c
  then find_11(a,b,c,d,e,f,g,h,i,j)
  else find_12(c,a,d,e,f,g,h,i,j)
# n=9, i=2, cost=10: a>b
find_12(a,b,c,d,e,f,g,h,i) =
  if a > c
  then find_13(a,b,c,d,e,f,g,h,i)
  else find_14(c,a,d,e,f,g,h,i)
# n=8, i=2, cost=8: a>b
find_14(a,b,c,d,e,f,g,h) =
  if c > d
  then find_15(a,c,b,d,e,f,g,h)
  else find_15(a,d,b,c,e,f,g,h)
# n=8, i=2, cost=7: a>c,b>d
find_15(a,b,c,d,e,f,g,h) =
  if a > b
  then find_16(a,b,c,e,f,g,h)
  else find_16(b,a,d,e,f,g,h)
# n=7, i=2, cost=6: a>b,a>c
find_16(a,b,c,d,e,f,g) =
  if d > e
  then find_17(a,d,c,b,e,f,g)
  else find_17(a,e,c,b,d,f,g)
# n=7, i=2, cost=5: a>c,a>d,b>e
find_17(a,b,c,d,e,f,g) =
  if f > g
  then find_18(a,b,f,d,c,e,g)
  else find_18(a,b,g,d,c,e,f)
# n=7, i=2, cost=4: a>d,a>e,b>f,c>g
find_18(a,b,c,d,e,f,g) =
  if b > c
  then find_19(b,a,c,f,e,d)
  else find_19(c,a,b,g,e,d)
# n=6, i=2, cost=3: a>c,a>d,b>e,b>f
find_19(a,b,c,d,e,f) =
  if a > b
  then find_20(b,c,d)
  else find_20(a,e,f)
# n=3, i=1, cost=2: no comparisons done
find_20(a,b,c) =
  if a > b
  then find_21(a,c)
  else find_21(b,c)
# n=2, i=1, cost=1: no comparisons done
find_21(a,b) =
  if a > b
  then a
  else b
# n=9, i=2, cost=9: a>b,a>c
find_13(a,b,c,d,e,f,g,h,i) =
  if a > d
  then find_22(a,b,c,d,e,f,g,h,i)
  else find_23(d,a,e,f,g,h,i)
# n=7, i=2, cost=7: a>b
find_23(a,b,c,d,e,f,g) =
  if a > c
  then find_16(a,b,c,d,e,f,g)
  else find_24(c,a,d,e,f,g)
# n=6, i=2, cost=6: a>b
find_24(a,b,c,d,e,f) =
  if a > c
  then find_25(a,b,c,d,e,f)
  else find_26(c,a,d,e,f)
# n=5, i=2, cost=5: a>b
find_26(a,b,c,d,e) =
  if a > c
  then find_27(a,b,c,d,e)
  else find_28(c,a,d,e)
# n=4, i=2, cost=3: a>b
find_28(a,b,c,d) =
  if c > d
  then find_29(a,c,b,d)
  else find_29(a,d,b,c)
# n=4, i=2, cost=2: a>c,b>d
find_29(a,b,c,d) =
  if a > b
  then find_21(b,c)
  else find_21(a,d)
# n=5, i=2, cost=4: a>b,a>c
find_27(a,b,c,d,e) =
  if b > c
  then find_28(a,b,d,e)
  else find_28(a,c,d,e)
# n=6, i=2, cost=5: a>b,a>c
find_25(a,b,c,d,e,f) =
  if d > e
  then find_30(a,d,c,b,e,f)
  else find_30(a,e,c,b,d,f)
# n=6, i=2, cost=4: a>c,a>d,b>e
find_30(a,b,c,d,e,f) =
  if b > f
  then find_19(a,b,c,d,e,f)
  else find_31(f,a,b,d,c)
# n=5, i=2, cost=3: a>c,b>d,b>e
find_31(a,b,c,d,e) =
  if a > b
  then find_21(b,c)
  else find_20(a,d,e)
# n=9, i=2, cost=8: a>b,a>c,a>d
find_22(a,b,c,d,e,f,g,h,i) =
  if e > f
  then find_32(a,e,c,d,b,f,g,h,i)
  else find_32(a,f,c,d,b,e,g,h,i)
# n=9, i=2, cost=7: a>c,a>d,a>e,b>f
find_32(a,b,c,d,e,f,g,h,i) =
  if b > g
  then find_33(a,b,c,d,e,f,g,h,i)
  else find_34(a,g,b,d,e,c,h,i)
# n=8, i=2, cost=6: a>d,a>e,a>f,b>c
find_34(a,b,c,d,e,f,g,h) =
  if b > d
  then find_17(a,b,e,f,c,g,h)
  else find_35(a,d,e,f,g,h)
# n=6, i=2, cost=5: a>b,a>c,a>d
find_35(a,b,c,d,e,f) =
  if b > c
  then find_27(a,b,d,e,f)
  else find_27(a,c,d,e,f)
# n=9, i=2, cost=6: a>c,a>d,a>e,b>f,b>g
find_33(a,b,c,d,e,f,g,h,i) =
  if h > i
  then find_36(a,b,h,d,e,c,g,f,i)
  else find_36(a,b,i,d,e,c,g,f,h)
# n=9, i=2, cost=5: a>d,a>e,a>f,b>g,b>h,c>i
find_36(a,b,c,d,e,f,g,h,i) =
  if b > c
  then find_37(b,a,c,g,h,f,d,e)
  else find_38(c,a,b,i,e,f,d)
# n=7, i=2, cost=4: a>c,a>d,b>e,b>f,b>g
find_38(a,b,c,d,e,f,g) =
  if a > b
  then find_20(b,c,d)
  else find_39(a,e,f,g)
# n=4, i=1, cost=3: no comparisons done
find_39(a,b,c,d) =
  if a > b
  then find_20(a,c,d)
  else find_20(b,c,d)
# n=8, i=2, cost=4: a>c,a>d,a>e,b>f,b>g,b>h
find_37(a,b,c,d,e,f,g,h) =
  if a > b
  then find_39(b,c,d,e)
  else find_39(a,f,g,h)
# n=10, i=2, cost=10: a>b,a>c
find_11(a,b,c,d,e,f,g,h,i,j) =
  if a > d
  then find_40(a,b,c,d,e,f,g,h,i,j)
  else find_14(d,a,e,f,g,h,i,j)
# n=10, i=2, cost=9: a>b,a>c,a>d
find_40(a,b,c,d,e,f,g,h,i,j) =
  if e > f
  then find_41(a,e,c,d,b,f,g,h,i,j)
  else find_41(a,f,c,d,b,e,g,h,i,j)
# n=10, i=2, cost=8: a>c,a>d,a>e,b>f
find_41(a,b,c,d,e,f,g,h,i,j) =
  if b > g
  then find_42(a,b,c,d,e,f,g,h,i,j)
  else find_43(a,g,b,d,e,c,h,i,j)
# n=9, i=2, cost=7: a>d,a>e,a>f,b>c
find_43(a,b,c,d,e,f,g,h,i) =
  if b > g
  then find_33(a,b,d,e,f,c,g,h,i)
  else find_34(a,g,b,e,f,d,h,i)
# n=10, i=2, cost=7: a>c,a>d,a>e,b>f,b>g
find_42(a,b,c,d,e,f,g,h,i,j) =
  if h > i
  then find_44(a,b,h,d,e,c,g,f,i,j)
  else find_44(a,b,i,d,e,c,g,f,h,j)
# n=10, i=2, cost=6: a>d,a>e,a>f,b>g,b>h,c>i
find_44(a,b,c,d,e,f,g,h,i,j) =
  if c > j
  then find_45(a,b,c,d,e,f,g,h,i,j)
  else find_46(a,j,b,c,e,f,d,h,g)
# n=9, i=2, cost=5: a>e,a>f,a>g,b>d,c>h,c>i
find_46(a,b,c,d,e,f,g,h,i) =
  if b > c
  then find_38(b,a,c,d,e,f,g)
  else find_37(c,a,b,h,i,g,e,f)
# n=10, i=2, cost=5: a>d,a>e,a>f,b>g,b>h,c>i,c>j
find_45(a,b,c,d,e,f,g,h,i,j) =
  if b > c
  then find_37(b,a,c,g,h,f,d,e)
  else find_37(c,a,b,i,j,f,d,e)
# n=11, i=2, cost=11: a>b,a>c
find_9(a,b,c,d,e,f,g,h,i,j,k) =
  if a > d
  then find_47(a,b,c,d,e,f,g,h,i,j,k)
  else find_12(d,a,e,f,g,h,i,j,k)
# n=11, i=2, cost=10: a>b,a>c,a>d
find_47(a,b,c,d,e,f,g,h,i,j,k) =
  if e > f
  then find_48(a,e,c,d,b,f,g,h,i,j,k)
  else find_48(a,f,c,d,b,e,g,h,i,j,k)
# n=11, i=2, cost=9: a>c,a>d,a>e,b>f
find_48(a,b,c,d,e,f,g,h,i,j,k) =
  if b > g
  then find_49(a,b,c,d,e,f,g,h,i,j,k)
  else find_50(a,g,b,d,e,c,h,i,j,k)
# n=10, i=2, cost=8: a>d,a>e,a>f,b>c
find_50(a,b,c,d,e,f,g,h,i,j) =
  if b > g
  then find_42(a,b,d,e,f,c,g,h,i,j)
  else find_43(a,g,b,e,f,d,h,i,j)
# n=11, i=2, cost=8: a>c,a>d,a>e,b>f,b>g
find_49(a,b,c,d,e,f,g,h,i,j,k) =
  if h > i
  then find_51(a,b,h,d,e,c,g,f,i,j,k)
  else find_51(a,b,i,d,e,c,g,f,h,j,k)
# n=11, i=2, cost=7: a>d,a>e,a>f,b>g,b>h,c>i
find_51(a,b,c,d,e,f,g,h,i,j,k) =
  if j > k
  then find_52(a,b,c,j,e,f,d,h,g,i,k)
  else find_52(a,b,c,k,e,f,d,h,g,i,j)
# n=11, i=2, cost=6: a>e,a>f,a>g,b>h,b>i,c>j,d>k
find_52(a,b,c,d,e,f,g,h,i,j,k) =
  if c > d
  then find_53(c,a,b,d,j,f,g,e,i,h)
  else find_53(d,a,b,c,k,f,g,e,i,h)
# n=10, i=2, cost=5: a>d,a>e,b>f,b>g,b>h,c>i,c>j
find_53(a,b,c,d,e,f,g,h,i,j) =
  if a > c
  then find_37(a,b,c,d,e,f,g,h)
  else find_37(c,b,a,i,j,h,f,g)
# n=12, i=2, cost=12: a>b,a>c
find_7(a,b,c,d,e,f,g,h,i,j,k,l) =
  if a > d
  then find_54(a,b,c,d,e,f,g,h,i,j,k,l)
  else find_10(d,a,e,f,g,h,i,j,k,l)
# n=12, i=2, cost=11: a>b,a>c,a>d
find_54(a,b,c,d,e,f,g,h,i,j,k,l) =
  if e > f
  then find_55(a,e,c,d,b,f,g,h,i,j,k,l)
  else find_55(a,f,c,d,b,e,g,h,i,j,k,l)
# n=12, i=2, cost=10: a>c,a>d,a>e,b>f
find_55(a,b,c,d,e,f,g,h,i,j,k,l) =
  if g > h
  then find_56(a,b,g,d,e,c,f,h,i,j,k,l)
  else find_56(a,b,h,d,e,c,f,g,i,j,k,l)
# n=12, i=2, cost=9: a>d,a>e,a>f,b>g,c>h
find_56(a,b,c,d,e,f,g,h,i,j,k,l) =
  if b > c
  then find_57(b,a,c,g,e,f,d,i,j,k,l)
  else find_57(c,a,b,h,e,f,d,i,j,k,l)
# n=11, i=2, cost=8: a>c,a>d,b>e,b>f,b>g
find_57(a,b,c,d,e,f,g,h,i,j,k) =
  if h > i
  then find_51(b,a,h,f,g,e,c,d,i,j,k)
  else find_51(b,a,i,f,g,e,c,d,h,j,k)
# n=13, i=2, cost=13: a>b,a>c
find_5(a,b,c,d,e,f,g,h,i,j,k,l,m) =
  if d > e
  then find_58(a,d,c,b,e,f,g,h,i,j,k,l,m)
  else find_58(a,e,c,b,d,f,g,h,i,j,k,l,m)
# n=13, i=2, cost=12: a>c,a>d,b>e
find_58(a,b,c,d,e,f,g,h,i,j,k,l,m) =
  if a > b
  then find_54(a,b,c,d,f,g,h,i,j,k,l,m)
  else find_9(b,a,e,f,g,h,i,j,k,l,m)
# n=14, i=2, cost=14: a>b,a>c
find_3(a,b,c,d,e,f,g,h,i,j,k,l,m,n) =
  if d > e
  then find_59(a,d,c,b,e,f,g,h,i,j,k,l,m,n)
  else find_59(a,e,c,b,d,f,g,h,i,j,k,l,m,n)
# n=14, i=2, cost=13: a>c,a>d,b>e
find_59(a,b,c,d,e,f,g,h,i,j,k,l,m,n) =
  if b > f
  then find_60(a,b,c,d,e,f,g,h,i,j,k,l,m,n)
  else find_61(f,a,b,d,c,g,h,i,j,k,l,m,n)
# n=13, i=2, cost=12: a>c,b>d,b>e
find_61(a,b,c,d,e,f,g,h,i,j,k,l,m) =
  if a > b
  then find_9(a,b,c,f,g,h,i,j,k,l,m)
  else find_54(b,a,d,e,f,g,h,i,j,k,l,m)
# n=14, i=2, cost=12: a>c,a>d,b>e,b>f
find_60(a,b,c,d,e,f,g,h,i,j,k,l,m,n) =
  if a > b
  then find_54(a,b,c,d,g,h,i,j,k,l,m,n)
  else find_54(b,a,e,f,g,h,i,j,k,l,m,n)