# cost = 17
# n_nodes = 698747
# version = 1.0
# time = 1082.800

# n=12, i=3, cost=17: no comparisons done
find_1(a,b,c,d,e,f,g,h,i,j,k,l) =
  if a > b
  then find_2(a,b,c,d,e,f,g,h,i,j,k,l)
  else find_2(b,a,c,d,e,f,g,h,i,j,k,l)
# n=12, i=3, cost=16: a>b
find_2(a,b,c,d,e,f,g,h,i,j,k,l) =
  if a > c
  then find_3(a,b,c,d,e,f,g,h,i,j,k,l)
  else find_4(c,a,b,d,e,f,g,h,i,j,k,l)
# n=12, i=3, cost=14: a>b,a>c,b>c
find_4(a,b,c,d,e,f,g,h,i,j,k,l) =
  if d > e
  then find_5(a,b,d,c,e,f,g,h,i,j,k,l)
  else find_5(a,b,e,c,d,f,g,h,i,j,k,l)
# n=12, i=3, cost=13: a>b,a>d,b>d,c>e
find_5(a,b,c,d,e,f,g,h,i,j,k,l) =
  if a > c
  then find_6(a,b,c,d,e,f,g,h,i,j,k,l)
  else find_7(c,a,b,e,f,g,h,i,j,k,l)
# n=11, i=3, cost=12: a>b,a>c,a>d,b>c
find_7(a,b,c,d,e,f,g,h,i,j,k) =
  if e > f
  then find_8(a,b,e,c,d,f,g,h,i,j,k)
  else find_8(a,b,f,c,d,e,g,h,i,j,k)
# n=11, i=3, cost=11: a>b,a>d,a>e,b>d,c>f
find_8(a,b,c,d,e,f,g,h,i,j,k) =
  if c > g
  then find_9(a,c,b,d,e,f,g,h,i,j,k)
  else find_10(a,g,b,c,d,f,e,h,i,j,k)
# n=11, i=3, cost=10: a>c,a>e,a>g,b>d,b>f,c>e,d>f
find_10(a,b,c,d,e,f,g,h,i,j,k) =
  if a > b
  then find_11(a,b,d,c,e,g,h,i,j,k)
  else find_12(b,a,c,d,g,f,h,i,j,k)
# n=10, i=3, cost=8: a>b,a>c,a>d,a>e,a>f,b>c,b>e,d>f
find_12(a,b,c,d,e,f,g,h,i,j) =
  if b > g
  then find_13(a,b,d,c,e,g,f,h,i,j)
  else find_14(a,g,b,d,f,h,i,j)
# n=8, i=3, cost=7: a>c,a>d,a>e,b>c,d>e
find_14(a,b,c,d,e,f,g,h) =
  if f > g
  then find_15(a,d,b,f,e,c,g,h)
  else find_15(a,d,b,g,e,c,f,h)
# n=8, i=3, cost=6: a>b,a>e,a>f,b>e,c>f,d>g
find_15(a,b,c,d,e,f,g,h) =
  if a > d
  then find_16(a,b,d,c,e,g,f,h)
  else find_17(d,a,b,c,g,h)
# n=6, i=3, cost=5: a>b,a>c,a>e,b>c
find_17(a,b,c,d,e,f) =
  if b > d
  then find_18(b,c,d,e,f)
  else find_19(a,d,b,e,f)
# n=5, i=3, cost=4: a>c,a>d,b>c
find_19(a,b,c,d,e) =
  if a > b
  then find_20(b,c,d,e)
  else find_21(a,c,d,e)
# n=4, i=2, cost=3: a>b,a>c
find_21(a,b,c,d) =
  if a > d
  then find_22(b,c,d)
  else a
# n=3, i=1, cost=2: no comparisons done
find_22(a,b,c) =
  if a > b
  then find_23(a,c)
  else find_23(b,c)
# n=2, i=1, cost=1: no comparisons done
find_23(a,b) =
  if a > b
  then a
  else b
# n=4, i=2, cost=3: a>b
find_20(a,b,c,d) =
  if c > d
  then find_24(a,c,b,d)
  else find_24(a,d,b,c)
# n=4, i=2, cost=2: a>c,b>d
find_24(a,b,c,d) =
  if a > b
  then find_23(b,c)
  else find_23(a,d)
# n=5, i=2, cost=4: a>b,a>c
find_18(a,b,c,d,e) =
  if b > c
  then find_20(a,b,d,e)
  else find_20(a,c,d,e)
# n=8, i=3, cost=5: a>b,a>c,a>e,a>f,a>g,b>e,c>f,d>g
find_16(a,b,c,d,e,f,g,h) =
  if b > h
  then find_25(b,c,d,e,h,f,g)
  else find_26(a,h,b,c,d,f,g)
# n=7, i=3, cost=4: a>c,a>d,a>f,a>g,b>c,d>f,e>g
find_26(a,b,c,d,e,f,g) =
  if b > e
  then find_27(a,b,d,e,c,f)
  else find_27(a,e,d,b,g,f)
# n=6, i=3, cost=3: a>c,a>e,a>f,b>d,b>e,c>f
find_27(a,b,c,d,e,f) =
  if c > d
  then find_24(c,b,f,e)
  else find_28(a,d,e)
# n=3, i=2, cost=2: a>c
find_28(a,b,c) =
  if a > b
  then find_23(b,c)
  else a
# n=7, i=2, cost=4: a>d,a>e,b>f,c>g
find_25(a,b,c,d,e,f,g) =
  if b > c
  then find_29(b,a,c,f,e,d)
  else find_29(c,a,b,g,e,d)
# n=6, i=2, cost=3: a>c,a>d,b>e,b>f
find_29(a,b,c,d,e,f) =
  if a > b
  then find_22(b,c,d)
  else find_22(a,e,f)
# n=10, i=3, cost=7: a>b,a>c,a>d,a>e,a>f,a>g,b>d,b>e,b>f,c>g
find_13(a,b,c,d,e,f,g,h,i,j) =
  if c > h
  then find_30(a,b,c,d,e,f,g,h,i,j)
  else find_31(a,b,h,c,e,f,d,i,j)
# n=9, i=3, cost=6: a>b,a>d,a>e,a>f,a>g,b>e,b>f,b>g,c>d
find_31(a,b,c,d,e,f,g,h,i) =
  if h > i
  then find_32(a,b,c,h,f,g,e,d,i)
  else find_32(a,b,c,i,f,g,e,d,h)
# n=9, i=3, cost=5: a>b,a>e,a>f,a>g,a>h,b>e,b>f,b>g,c>h,d>i
find_32(a,b,c,d,e,f,g,h,i) =
  if c > d
  then find_33(a,b,c,d,e,f,g,h,i)
  else find_34(a,b,d,c,e,f,g,i)
# n=8, i=3, cost=4: a>b,a>e,a>f,a>g,b>e,b>f,b>g,c>d,c>h
find_34(a,b,c,d,e,f,g,h) =
  if b > c
  then find_35(c,e,f,g)
  else find_20(a,b,d,h)
# n=4, i=1, cost=3: no comparisons done
find_35(a,b,c,d) =
  if a > b
  then find_22(a,c,d)
  else find_22(b,c,d)
# n=9, i=3, cost=4: a>b,a>e,a>f,a>g,a>h,b>e,b>f,b>g,c>d,c>h,c>i,d>i
find_33(a,b,c,d,e,f,g,h,i) =
  if b > c
  then find_35(c,e,f,g)
  else find_36(a,b,d,h,i)
# n=5, i=2, cost=3: a>b,a>d,c>e
find_36(a,b,c,d,e) =
  if a > c
  then find_22(c,b,d)
  else find_23(a,e)
# n=10, i=3, cost=6: a>b,a>c,a>d,a>e,a>f,a>g,a>h,b>d,b>e,b>f,c>g,c>h
find_30(a,b,c,d,e,f,g,h,i,j) =
  if i > j
  then find_37(a,b,c,i,e,f,d,h,g,j)
  else find_37(a,b,c,j,e,f,d,h,g,i)
# n=10, i=3, cost=5: a>b,a>c,a>e,a>f,a>g,a>h,a>i,b>e,b>f,b>g,c>h,c>i,d>j
find_37(a,b,c,d,e,f,g,h,i,j) =
  if c > d
  then find_38(c,b,d,h,i,g,e,f)
  else find_39(a,d,b,c,e,f,g,j)
# n=8, i=3, cost=4: a>c,a>d,a>e,a>f,a>g,b>d,b>h,c>e,c>f,c>g
find_39(a,b,c,d,e,f,g,h) =
  if b > c
  then find_21(a,c,d,h)
  else find_35(b,e,f,g)
# n=8, i=2, cost=4: a>c,a>d,a>e,b>f,b>g,b>h
find_38(a,b,c,d,e,f,g,h) =
  if a > b
  then find_35(b,c,d,e)
  else find_35(a,f,g,h)
# n=10, i=3, cost=9: a>b,a>c,a>d,a>e,a>f,b>c,d>e
find_11(a,b,c,d,e,f,g,h,i,j) =
  if b > d
  then find_40(a,b,d,c,f,g,h,i,j)
  else find_40(a,d,b,e,f,g,h,i,j)
# n=9, i=3, cost=8: a>b,a>c,a>d,a>e,b>c,b>d
find_40(a,b,c,d,e,f,g,h,i) =
  if b > f
  then find_41(a,b,c,d,f,e,g,h,i)
  else find_42(a,f,b,e,g,h,i)
# n=7, i=3, cost=7: a>c,a>d,b>c
find_42(a,b,c,d,e,f,g) =
  if e > f
  then find_43(a,b,e,c,d,f,g)
  else find_43(a,b,f,c,d,e,g)
# n=7, i=3, cost=6: a>d,a>e,b>d,c>f
find_43(a,b,c,d,e,f,g) =
  if a > c
  then find_44(a,c,b,f,d,e,g)
  else find_45(c,a,b,e,f,g)
# n=6, i=3, cost=5: a>b,a>d,a>e,b>d
find_45(a,b,c,d,e,f) =
  if b > c
  then find_18(b,c,d,e,f)
  else find_19(a,c,b,e,f)
# n=7, i=3, cost=5: a>b,a>d,a>e,a>f,b>d,c>e
find_44(a,b,c,d,e,f,g) =
  if b > g
  then find_46(b,c,d,g,e,f)
  else find_47(a,g,b,c,e,f)
# n=6, i=3, cost=4: a>c,a>e,a>f,b>c,d>e
find_47(a,b,c,d,e,f) =
  if b > d
  then find_48(b,a,d,c,f)
  else find_48(d,a,b,e,f)
# n=5, i=3, cost=3: a>c,a>d,b>d,b>e
find_48(a,b,c,d,e) =
  if c > d
  then find_49(a,b,c,e)
  else find_50(a,d,e)
# n=3, i=2, cost=2: a>b
find_50(a,b,c) =
  if a > c
  then find_23(b,c)
  else a
# n=4, i=3, cost=2: a>c,b>d
find_49(a,b,c,d) =
  if c > d
  then find_51(c,b)
  else find_51(d,a)
# n=2, i=2, cost=1: no comparisons done
find_51(a,b) =
  if a > b
  then b
  else a
# n=6, i=2, cost=4: a>c,a>d,b>e
find_46(a,b,c,d,e,f) =
  if b > f
  then find_29(a,b,c,d,e,f)
  else find_52(f,a,b,d,c)
# n=5, i=2, cost=3: a>c,b>d,b>e
find_52(a,b,c,d,e) =
  if a > b
  then find_23(b,c)
  else find_22(a,d,e)
# n=9, i=3, cost=7: a>b,a>c,a>d,a>e,a>f,b>c,b>d,b>e
find_41(a,b,c,d,e,f,g,h,i) =
  if f > g
  then find_53(a,b,f,d,e,c,g,h,i)
  else find_54(a,b,g,d,e,c,f,h,i)
# n=9, i=3, cost=6: a>b,a>d,a>e,a>f,a>g,b>d,b>e,b>f,c>g
find_54(a,b,c,d,e,f,g,h,i) =
  if h > i
  then find_32(a,b,c,h,e,f,d,g,i)
  else find_32(a,b,c,i,e,f,d,g,h)
# n=9, i=3, cost=6: a>b,a>c,a>d,a>e,a>f,a>g,b>d,b>e,b>f,c>g
find_53(a,b,c,d,e,f,g,h,i) =
  if c > h
  then find_55(b,c,d,e,f,g,h,i)
  else find_56(a,b,h,c,e,f,d,i)
# n=8, i=3, cost=5: a>b,a>d,a>e,a>f,a>g,b>e,b>f,b>g,c>d
find_56(a,b,c,d,e,f,g,h) =
  if c > h
  then find_57(a,b,c,e,f,g,d,h)
  else find_58(a,b,h,c,f,g,e)
# n=7, i=3, cost=4: a>b,a>e,a>f,a>g,b>e,b>f,b>g,c>d
find_58(a,b,c,d,e,f,g) =
  if b > c
  then find_35(c,e,f,g)
  else find_50(a,b,d)
# n=8, i=3, cost=4: a>b,a>d,a>e,a>f,a>g,b>d,b>e,b>f,c>g,c>h
find_57(a,b,c,d,e,f,g,h) =
  if b > c
  then find_35(c,d,e,f)
  else find_21(a,b,g,h)
# n=8, i=2, cost=5: a>c,a>d,a>e,b>f,b>g
find_55(a,b,c,d,e,f,g,h) =
  if b > h
  then find_38(a,b,c,d,e,f,g,h)
  else find_59(h,a,b,d,e,c)
# n=6, i=2, cost=4: a>c,b>d,b>e,b>f
find_59(a,b,c,d,e,f) =
  if a > b
  then find_23(b,c)
  else find_35(a,d,e,f)
# n=11, i=3, cost=10: a>c,a>d,a>e,b>f,b>g,c>d
find_9(a,b,c,d,e,f,g,h,i,j,k) =
  if h > i
  then find_60(a,b,c,h,d,e,g,f,i,j,k)
  else find_60(a,b,c,i,d,e,g,f,h,j,k)
# n=11, i=3, cost=9: a>c,a>e,a>f,b>g,b>h,c>e,d>i
find_60(a,b,c,d,e,f,g,h,i,j,k) =
  if j > k
  then find_61(a,b,c,d,j,e,f,h,g,i,k)
  else find_61(a,b,c,d,k,e,f,h,g,i,j)
# n=11, i=3, cost=8: a>c,a>f,a>g,b>h,b>i,c>f,d>j,e>k
find_61(a,b,c,d,e,f,g,h,i,j,k) =
  if d > e
  then find_62(a,d,b,c,e,f,k,g,j,h,i)
  else find_62(a,e,b,c,d,f,j,g,k,h,i)
# n=11, i=3, cost=7: a>d,a>f,a>h,b>e,b>g,b>i,c>j,c>k,d>f,e>g
find_62(a,b,c,d,e,f,g,h,i,j,k) =
  if a > b
  then find_63(a,b,c,e,d,i,f,h,j,k)
  else find_63(b,a,c,d,e,h,g,i,j,k)
# n=10, i=3, cost=6: a>b,a>d,a>e,a>f,a>g,a>h,b>d,b>f,c>i,c>j,e>g
find_63(a,b,c,d,e,f,g,h,i,j) =
  if e > h
  then find_64(a,b,e,c,d,f,g,h,i,j)
  else find_65(a,h,b,c,e,f,d,i,j)
# n=9, i=3, cost=5: a>b,a>c,a>e,a>f,a>g,b>e,c>f,c>g,d>h,d>i
find_65(a,b,c,d,e,f,g,h,i) =
  if b > c
  then find_66(a,b,c,d,e,h,i)
  else find_67(a,c,d,b,f,g,h,i)
# n=8, i=3, cost=4: a>b,a>d,a>e,a>f,b>d,b>e,b>f,c>g,c>h
find_67(a,b,c,d,e,f,g,h) =
  if b > c
  then find_35(c,d,e,f)
  else find_20(a,b,g,h)
# n=7, i=3, cost=4: a>b,a>c,a>e,b>c,b>e,d>f,d>g
find_66(a,b,c,d,e,f,g) =
  if a > d
  then find_29(b,d,c,e,f,g)
  else find_20(a,b,f,g)
# n=10, i=3, cost=5: a>b,a>c,a>e,a>f,a>g,a>h,b>e,b>f,c>g,c>h,d>i,d>j
find_64(a,b,c,d,e,f,g,h,i,j) =
  if b > c
  then find_68(a,b,c,d,e,f,i,j)
  else find_68(a,c,b,d,g,h,i,j)
# n=8, i=3, cost=4: a>b,a>c,a>e,a>f,b>c,b>e,b>f,d>g,d>h
find_68(a,b,c,d,e,f,g,h) =
  if b > d
  then find_35(d,c,e,f)
  else find_20(a,b,g,h)
# n=12, i=3, cost=12: a>b,a>c,a>d,a>e,b>d,c>e
find_6(a,b,c,d,e,f,g,h,i,j,k,l) =
  if f > g
  then find_69(a,b,c,f,d,e,g,h,i,j,k,l)
  else find_69(a,b,c,g,d,e,f,h,i,j,k,l)
# n=12, i=3, cost=11: a>b,a>c,a>e,a>f,b>e,c>f,d>g
find_69(a,b,c,d,e,f,g,h,i,j,k,l) =
  if d > h
  then find_70(a,d,c,b,f,e,g,h,i,j,k,l)
  else find_71(a,h,c,b,d,f,e,g,i,j,k,l)
# n=12, i=3, cost=10: a>c,a>d,a>f,a>g,b>e,b>h,c>f,d>g,e>h
find_71(a,b,c,d,e,f,g,h,i,j,k,l) =
  if a > b
  then find_72(a,b,e,d,c,g,f,i,j,k,l)
  else find_73(b,a,c,d,e,h,i,j,k,l)
# n=10, i=3, cost=8: a>b,a>c,a>d,a>e,a>f,b>c,b>d,e>f
find_73(a,b,c,d,e,f,g,h,i,j) =
  if b > g
  then find_13(a,b,e,d,c,g,f,h,i,j)
  else find_14(a,g,b,e,f,h,i,j)
# n=11, i=3, cost=9: a>b,a>c,a>d,a>e,a>f,a>g,b>c,d>f,e>g
find_72(a,b,c,d,e,f,g,h,i,j,k) =
  if b > d
  then find_12(a,b,d,e,c,g,h,i,j,k)
  else find_12(a,d,b,e,f,g,h,i,j,k)
# n=12, i=3, cost=10: a>c,a>d,a>e,a>f,b>g,b>h,c>e,d>f
find_70(a,b,c,d,e,f,g,h,i,j,k,l) =
  if i > j
  then find_74(a,b,c,d,i,e,f,h,g,j,k,l)
  else find_74(a,b,c,d,j,e,f,h,g,i,k,l)
# n=12, i=3, cost=9: a>c,a>d,a>f,a>g,b>h,b>i,c>f,d>g,e>j
find_74(a,b,c,d,e,f,g,h,i,j,k,l) =
  if k > l
  then find_75(a,b,c,d,e,k,f,g,i,h,j,l)
  else find_76(a,b,c,d,e,l,f,g,i,h,k,j)
# n=12, i=3, cost=8: a>c,a>d,a>g,a>h,b>i,b>j,c>g,d>h,e>l,f>k
find_76(a,b,c,d,e,f,g,h,i,j,k,l) =
  if e > f
  then find_77(a,e,b,d,c,f,h,g,k,l,i,j)
  else find_77(a,f,b,d,c,e,h,g,l,k,i,j)
# n=12, i=3, cost=7: a>d,a>e,a>g,a>h,b>f,b>i,b>j,c>k,c>l,d>g,e>h,f>i
find_77(a,b,c,d,e,f,g,h,i,j,k,l) =
  if a > b
  then find_78(a,b,c,f,e,d,j,h,g,k,l)
  else find_79(b,a,c,d,e,f,i,j,k,l)
# n=10, i=3, cost=6: a>b,a>d,a>e,a>f,a>g,a>h,b>d,b>e,c>i,c>j,f>g
find_79(a,b,c,d,e,f,g,h,i,j) =
  if f > h
  then find_64(a,b,f,c,e,d,g,h,i,j)
  else find_65(a,h,b,c,f,d,e,i,j)
# n=11, i=3, cost=6: a>b,a>d,a>e,a>f,a>g,a>h,a>i,b>d,b>g,c>j,c>k,e>h,f>i
find_78(a,b,c,d,e,f,g,h,i,j,k) =
  if e > f
  then find_64(a,e,b,c,f,h,g,d,j,k)
  else find_64(a,f,b,c,e,i,g,d,j,k)
# n=12, i=3, cost=8: a>c,a>d,a>g,a>h,b>i,b>j,c>g,d>h,e>k,f>l
find_75(a,b,c,d,e,f,g,h,i,j,k,l) =
  if e > f
  then find_77(a,e,b,d,c,f,h,g,l,k,i,j)
  else find_77(a,f,b,d,c,e,h,g,k,l,i,j)
# n=12, i=3, cost=15: a>b,a>c
find_3(a,b,c,d,e,f,g,h,i,j,k,l) =
  if a > d
  then find_80(a,b,c,d,e,f,g,h,i,j,k,l)
  else find_81(d,a,c,b,e,f,g,h,i,j,k,l)
# n=12, i=3, cost=13: a>b,a>c,a>d,b>c,b>d
find_81(a,b,c,d,e,f,g,h,i,j,k,l) =
  if a > e
  then find_82(a,b,c,d,e,f,g,h,i,j,k,l)
  else find_83(e,a,b,f,g,h,i,j,k,l)
# n=10, i=3, cost=12: a>b,a>c,b>c
find_83(a,b,c,d,e,f,g,h,i,j) =
  if a > d
  then find_84(a,b,c,d,e,f,g,h,i,j)
  else find_85(d,a,b,e,f,g,h,i,j)
# n=9, i=3, cost=10: a>b,a>c,b>c
find_85(a,b,c,d,e,f,g,h,i) =
  if a > d
  then find_86(a,b,c,d,e,f,g,h,i)
  else find_87(d,a,b,e,f,g,h,i)
# n=8, i=3, cost=9: a>b,a>c,b>c
find_87(a,b,c,d,e,f,g,h) =
  if a > d
  then find_88(a,b,c,d,e,f,g,h)
  else find_89(d,a,b,e,f,g,h)
# n=7, i=3, cost=7: a>b,a>c,b>c
find_89(a,b,c,d,e,f,g) =
  if d > e
  then find_90(a,b,d,c,e,f,g)
  else find_90(a,b,e,c,d,f,g)
# n=7, i=3, cost=6: a>b,a>d,b>d,c>e
find_90(a,b,c,d,e,f,g) =
  if a > c
  then find_91(a,b,c,d,e,f,g)
  else find_92(c,a,b,e,f,g)
# n=6, i=3, cost=5: a>b,a>c,a>d,b>c
find_92(a,b,c,d,e,f) =
  if b > d
  then find_93(a,b,c,d,e,f)
  else find_94(a,d,b,e,f)
# n=5, i=3, cost=4: a>b,a>c,b>c
find_94(a,b,c,d,e) =
  if a > d
  then find_20(b,c,d,e)
  else find_50(a,b,e)
# n=6, i=3, cost=4: a>b,a>c,a>d,b>c,b>d
find_93(a,b,c,d,e,f) =
  if e > f
  then find_95(a,b,e,d,c,f)
  else find_95(a,b,f,d,c,e)
# n=6, i=3, cost=3: a>b,a>d,a>e,b>d,b>e,c>f
find_95(a,b,c,d,e,f) =
  if b > c
  then find_22(c,d,e)
  else find_50(a,b,f)
# n=7, i=3, cost=5: a>b,a>c,a>d,a>e,b>d,c>e
find_91(a,b,c,d,e,f,g) =
  if b > c
  then find_93(a,b,c,d,f,g)
  else find_93(a,c,b,e,f,g)
# n=8, i=3, cost=8: a>b,a>c,a>d,b>c
find_88(a,b,c,d,e,f,g,h) =
  if b > d
  then find_96(a,b,c,d,e,f,g,h)
  else find_89(a,d,b,e,f,g,h)
# n=8, i=3, cost=7: a>b,a>c,a>d,b>c,b>d
find_96(a,b,c,d,e,f,g,h) =
  if e > f
  then find_97(a,b,e,d,c,f,g,h)
  else find_97(a,b,f,d,c,e,g,h)
# n=8, i=3, cost=6: a>b,a>d,a>e,b>d,b>e,c>f
find_97(a,b,c,d,e,f,g,h) =
  if g > h
  then find_98(a,b,c,g,e,d,f,h)
  else find_98(a,b,c,h,e,d,f,g)
# n=8, i=3, cost=5: a>b,a>e,a>f,b>e,b>f,c>g,d>h
find_98(a,b,c,d,e,f,g,h) =
  if c > d
  then find_99(a,c,b,d,e,f,h,g)
  else find_99(a,d,b,c,e,f,g,h)
# n=8, i=3, cost=4: a>c,a>e,a>f,b>d,b>g,b>h,c>e,c>f,d>g
find_99(a,b,c,d,e,f,g,h) =
  if c > d
  then find_95(a,c,b,e,f,h)
  else find_100(d,a,g,h)
# n=4, i=2, cost=3: a>c
find_100(a,b,c,d) =
  if b > d
  then find_24(a,b,c,d)
  else find_24(a,d,c,b)
# n=9, i=3, cost=9: a>b,a>c,a>d,b>c
find_86(a,b,c,d,e,f,g,h,i) =
  if e > f
  then find_101(a,b,e,c,d,f,g,h,i)
  else find_101(a,b,f,c,d,e,g,h,i)
# n=9, i=3, cost=8: a>b,a>d,a>e,b>d,c>f
find_101(a,b,c,d,e,f,g,h,i) =
  if g > h
  then find_102(a,b,c,g,d,e,f,h,i)
  else find_102(a,b,c,h,d,e,f,g,i)
# n=9, i=3, cost=7: a>b,a>e,a>f,b>e,c>g,d>h
find_102(a,b,c,d,e,f,g,h,i) =
  if c > d
  then find_103(a,c,b,d,e,h,f,g,i)
  else find_103(a,d,b,c,e,g,f,h,i)
# n=9, i=3, cost=6: a>c,a>e,a>g,b>d,b>f,b>h,c>e,d>f
find_103(a,b,c,d,e,f,g,h,i) =
  if a > b
  then find_104(b,d,c,h,e,g,i)
  else find_104(a,c,d,g,f,h,i)
# n=7, i=2, cost=5: a>b,a>d,c>e
find_104(a,b,c,d,e,f,g) =
  if f > g
  then find_25(a,c,f,d,b,e,g)
  else find_25(a,c,g,d,b,e,f)
# n=10, i=3, cost=11: a>b,a>c,a>d,b>c
find_84(a,b,c,d,e,f,g,h,i,j) =
  if a > e
  then find_105(a,b,c,d,e,f,g,h,i,j)
  else find_106(e,a,b,d,f,g,h,i,j)
# n=9, i=3, cost=9: a>b,a>c,a>d,b>c,b>d
find_106(a,b,c,d,e,f,g,h,i) =
  if a > e
  then find_40(a,b,c,d,e,f,g,h,i)
  else find_89(e,a,b,f,g,h,i)
# n=10, i=3, cost=10: a>b,a>c,a>d,a>e,b>c
find_105(a,b,c,d,e,f,g,h,i,j) =
  if b > f
  then find_107(a,b,c,f,e,d,g,h,i,j)
  else find_108(a,f,b,e,d,g,h,i,j)
# n=9, i=3, cost=9: a>c,a>d,a>e,b>c
find_108(a,b,c,d,e,f,g,h,i) =
  if f > g
  then find_109(a,b,f,c,e,d,g,h,i)
  else find_109(a,b,g,c,e,d,f,h,i)
# n=9, i=3, cost=8: a>d,a>e,a>f,b>d,c>g
find_109(a,b,c,d,e,f,g,h,i) =
  if h > i
  then find_110(a,b,c,h,d,f,e,g,i)
  else find_110(a,b,c,i,d,f,e,g,h)
# n=9, i=3, cost=7: a>e,a>f,a>g,b>e,c>h,d>i
find_110(a,b,c,d,e,f,g,h,i) =
  if c > d
  then find_111(c,a,d,b,i,e,h,f,g)
  else find_111(d,a,c,b,h,e,i,f,g)
# n=9, i=3, cost=6: a>c,a>e,a>g,b>f,b>h,b>i,c>e,d>f
find_111(a,b,c,d,e,f,g,h,i) =
  if a > b
  then find_112(b,c,d,h,i,e,g)
  else find_104(a,c,d,g,f,h,i)
# n=7, i=2, cost=5: a>d,a>e,b>f
find_112(a,b,c,d,e,f,g) =
  if c > g
  then find_25(a,b,c,d,e,f,g)
  else find_25(a,b,g,e,d,f,c)
# n=10, i=3, cost=9: a>b,a>c,a>d,a>e,a>f,b>c,b>d
find_107(a,b,c,d,e,f,g,h,i,j) =
  if b > g
  then find_113(a,b,c,d,g,f,e,h,i,j)
  else find_114(a,g,b,f,e,h,i,j)
# n=8, i=3, cost=8: a>c,a>d,a>e,b>c
find_114(a,b,c,d,e,f,g,h) =
  if d > e
  then find_115(a,d,b,e,c,f,g,h)
  else find_115(a,e,b,d,c,f,g,h)
# n=8, i=3, cost=7: a>b,a>d,a>e,b>d,c>e
find_115(a,b,c,d,e,f,g,h) =
  if f > g
  then find_15(a,b,c,f,d,e,g,h)
  else find_15(a,b,c,g,d,e,f,h)
# n=10, i=3, cost=8: a>b,a>c,a>d,a>e,a>f,a>g,b>c,b>d,b>e
find_113(a,b,c,d,e,f,g,h,i,j) =
  if f > g
  then find_13(a,b,f,d,e,c,g,h,i,j)
  else find_13(a,b,g,d,e,c,f,h,i,j)
# n=12, i=3, cost=12: a>b,a>c,a>d,a>e,b>c,b>d
find_82(a,b,c,d,e,f,g,h,i,j,k,l) =
  if f > g
  then find_116(a,b,f,d,c,e,g,h,i,j,k,l)
  else find_116(a,b,g,d,c,e,f,h,i,j,k,l)
# n=12, i=3, cost=11: a>b,a>d,a>e,a>f,b>d,b>e,c>g
find_116(a,b,c,d,e,f,g,h,i,j,k,l) =
  if h > i
  then find_117(a,b,c,h,e,d,g,i,f,j,k,l)
  else find_117(a,b,c,i,e,d,g,h,f,j,k,l)
# n=12, i=3, cost=10: a>b,a>e,a>f,a>i,b>e,b>f,c>g,d>h
find_117(a,b,c,d,e,f,g,h,i,j,k,l) =
  if c > d
  then find_118(a,c,b,d,e,f,h,i,g,j,k,l)
  else find_118(a,d,b,c,e,f,g,i,h,j,k,l)
# n=12, i=3, cost=9: a>c,a>e,a>f,a>h,b>d,b>g,b>i,c>e,c>f,d>g
find_118(a,b,c,d,e,f,g,h,i,j,k,l) =
  if a > b
  then find_119(a,b,c,d,i,f,e,h,j,k,l)
  else find_120(b,a,c,d,h,g,i,j,k,l)
# n=10, i=3, cost=8: a>b,a>c,a>d,a>e,a>f,a>g,b>c,b>e,d>f
find_120(a,b,c,d,e,f,g,h,i,j) =
  if b > d
  then find_41(a,b,d,c,e,g,h,i,j)
  else find_121(a,d,b,f,g,h,i,j)
# n=8, i=3, cost=7: a>b,a>c,a>d,a>e,b>c,b>d
find_121(a,b,c,d,e,f,g,h) =
  if b > e
  then find_122(a,b,c,d,e,f,g,h)
  else find_123(a,e,b,f,g,h)
# n=6, i=3, cost=6: a>b,a>c,b>c
find_123(a,b,c,d,e,f) =
  if a > d
  then find_92(a,b,c,d,e,f)
  else find_94(d,a,b,e,f)
# n=8, i=3, cost=6: a>b,a>c,a>d,a>e,b>c,b>d,b>e
find_122(a,b,c,d,e,f,g,h) =
  if f > g
  then find_124(a,b,f,d,e,c,g,h)
  else find_124(a,b,g,d,e,c,f,h)
# n=8, i=3, cost=5: a>b,a>d,a>e,a>f,b>d,b>e,b>f,c>g
find_124(a,b,c,d,e,f,g,h) =
  if c > h
  then find_67(a,b,c,d,e,f,g,h)
  else find_125(a,b,h,c,e,f,d,g)
# n=8, i=3, cost=4: a>b,a>e,a>f,a>g,b>e,b>f,b>g,c>d,c>h,d>h
find_125(a,b,c,d,e,f,g,h) =
  if b > c
  then find_35(c,e,f,g)
  else find_126(a,b,d,h)
# n=4, i=2, cost=2: a>b,c>d
find_126(a,b,c,d) =
  if a > c
  then find_23(c,b)
  else find_23(a,d)
# n=11, i=3, cost=8: a>b,a>c,a>d,a>e,a>f,a>g,a>h,b>d,b>e,c>f,c>g
find_119(a,b,c,d,e,f,g,h,i,j,k) =
  if b > c
  then find_41(a,b,c,d,e,h,i,j,k)
  else find_41(a,c,b,f,g,h,i,j,k)
# n=12, i=3, cost=14: a>b,a>c,a>d
find_80(a,b,c,d,e,f,g,h,i,j,k,l) =
  if e > f
  then find_127(a,e,c,d,b,f,g,h,i,j,k,l)
  else find_127(a,f,c,d,b,e,g,h,i,j,k,l)
# n=12, i=3, cost=13: a>c,a>d,a>e,b>f
find_127(a,b,c,d,e,f,g,h,i,j,k,l) =
  if b > g
  then find_128(a,b,c,d,e,f,g,h,i,j,k,l)
  else find_129(a,g,b,f,e,c,d,h,i,j,k,l)
# n=12, i=3, cost=12: a>e,a>f,a>g,b>c,b>d,c>d
find_129(a,b,c,d,e,f,g,h,i,j,k,l) =
  if b > h
  then find_130(b,a,c,d,h,f,g,e,i,j,k,l)
  else find_131(h,a,b,c,f,g,e,i,j,k,l)
# n=11, i=3, cost=11: a>c,a>d,b>e,b>f,b>g,c>d
find_131(a,b,c,d,e,f,g,h,i,j,k) =
  if a > b
  then find_132(a,b,c,e,f,g,d,h,i,j,k)
  else find_133(b,a,c,e,f,g,h,i,j,k)
# n=10, i=3, cost=10: a>b,a>c,a>d,a>e,a>f,b>c
find_133(a,b,c,d,e,f,g,h,i,j) =
  if b > d
  then find_107(a,b,c,d,e,f,g,h,i,j)
  else find_134(a,d,b,e,f,g,h,i,j)
# n=9, i=3, cost=9: a>b,a>c,a>d,a>e,b>c
find_134(a,b,c,d,e,f,g,h,i) =
  if b > d
  then find_40(a,b,c,d,e,f,g,h,i)
  else find_88(a,d,b,e,f,g,h,i)
# n=11, i=3, cost=9: a>b,a>c,a>d,a>e,a>f,a>g,b>d,b>e,b>f,c>g
find_132(a,b,c,d,e,f,g,h,i,j,k) =
  if b > c
  then find_135(a,b,c,d,e,f,h,i,j,k)
  else find_96(a,c,b,g,h,i,j,k)
# n=10, i=3, cost=8: a>b,a>c,a>d,a>e,a>f,b>c,b>d,b>e,b>f
find_135(a,b,c,d,e,f,g,h,i,j) =
  if g > h
  then find_136(a,b,g,d,e,f,c,h,i,j)
  else find_136(a,b,h,d,e,f,c,g,i,j)
# n=10, i=3, cost=7: a>b,a>d,a>e,a>f,a>g,b>d,b>e,b>f,b>g,c>h
find_136(a,b,c,d,e,f,g,h,i,j) =
  if i > j
  then find_137(a,b,c,i,e,f,g,d,h,j)
  else find_137(a,b,c,j,e,f,g,d,h,i)
# n=10, i=3, cost=6: a>b,a>e,a>f,a>g,a>h,b>e,b>f,b>g,b>h,c>i,d>j
find_137(a,b,c,d,e,f,g,h,i,j) =
  if c > d
  then find_138(a,b,c,d,e,f,g,h,j,i)
  else find_138(a,b,d,c,e,f,g,h,i,j)
# n=10, i=3, cost=5: a>b,a>e,a>f,a>g,a>h,b>e,b>f,b>g,b>h,c>d,c>i,c>j,d>i
find_138(a,b,c,d,e,f,g,h,i,j) =
  if b > c
  then find_139(c,e,f,g,h)
  else find_140(a,b,d,i,j)
# n=5, i=2, cost=4: a>b,c>d
find_140(a,b,c,d,e) =
  if a > c
  then find_21(a,c,b,e)
  else find_21(c,a,d,e)
# n=5, i=1, cost=4: no comparisons done
find_139(a,b,c,d,e) =
  if a > b
  then find_35(a,c,d,e)
  else find_35(b,c,d,e)
# n=12, i=3, cost=11: a>c,a>d,a>e,b>f,b>g,b>h,c>d
find_130(a,b,c,d,e,f,g,h,i,j,k,l) =
  if i > j
  then find_141(a,b,c,i,d,e,g,h,f,j,k,l)
  else find_141(a,b,c,j,d,e,g,h,f,i,k,l)
# n=12, i=3, cost=10: a>c,a>e,a>f,b>g,b>h,b>i,c>e,d>j
find_141(a,b,c,d,e,f,g,h,i,j,k,l) =
  if d > k
  then find_142(a,b,d,c,e,f,g,h,i,j,k,l)
  else find_143(a,b,k,c,d,e,j,f,i,g,h,l)
# n=12, i=3, cost=9: a>d,a>f,a>h,b>i,b>j,b>k,c>e,c>g,d>f,e>g
find_143(a,b,c,d,e,f,g,h,i,j,k,l) =
  if a > b
  then find_144(a,b,c,d,e,i,j,k,f,g,h,l)
  else find_145(b,a,c,d,e,h,g,i,j,k,l)
# n=11, i=3, cost=8: a>b,a>d,a>f,a>h,a>i,a>j,b>d,b>f,c>e,c>g,e>g
find_145(a,b,c,d,e,f,g,h,i,j,k) =
  if b > c
  then find_146(b,c,d,f,h,i,j,k)
  else find_147(a,c,b,e,g,h,i,j,k)
# n=9, i=3, cost=7: a>c,a>f,a>g,a>h,b>c,b>d,b>e,d>e
find_147(a,b,c,d,e,f,g,h,i) =
  if a > b
  then find_148(b,d,c,f,g,h,i)
  else find_149(a,d,c,f,g,h,e,i)
# n=8, i=2, cost=6: a>c,a>d,a>e,a>f,b>g
find_149(a,b,c,d,e,f,g,h) =
  if b > c
  then find_150(a,b,d,e,f,g,h)
  else find_151(a,c,d,e,f,h)
# n=6, i=2, cost=5: a>b,a>c,a>d,a>e
find_151(a,b,c,d,e,f) =
  if a > f
  then find_139(b,c,d,e,f)
  else a
# n=7, i=2, cost=5: a>c,a>d,a>e,b>f
find_150(a,b,c,d,e,f,g) =
  if b > c
  then find_46(a,b,d,e,f,g)
  else find_152(a,c,d,e,g)
# n=5, i=2, cost=4: a>b,a>c,a>d
find_152(a,b,c,d,e) =
  if a > e
  then find_35(b,c,d,e)
  else a
# n=7, i=2, cost=6: a>b,a>c
find_148(a,b,c,d,e,f,g) =
  if d > e
  then find_153(a,d,c,b,e,f,g)
  else find_153(a,e,c,b,d,f,g)
# n=7, i=2, cost=5: a>c,a>d,b>e
find_153(a,b,c,d,e,f,g) =
  if f > g
  then find_25(a,b,f,d,c,e,g)
  else find_25(a,b,g,d,c,e,f)
# n=8, i=2, cost=7: a>b,a>c,a>d
find_146(a,b,c,d,e,f,g,h) =
  if b > c
  then find_148(a,b,d,e,f,g,h)
  else find_148(a,c,d,e,f,g,h)
# n=12, i=3, cost=8: a>b,a>d,a>f,a>g,a>h,a>i,a>k,b>f,b>g,b>h,c>e,c>j,d>i,e>j
find_144(a,b,c,d,e,f,g,h,i,j,k,l) =
  if a > c
  then find_154(b,c,e,d,f,g,h,i,k,l)
  else find_155(a,b,d,e,k,j,l)
# n=7, i=2, cost=5: a>b,a>c,a>e,d>f
find_155(a,b,c,d,e,f,g) =
  if b > c
  then find_156(a,b,d,e,f,g)
  else find_156(a,c,d,e,f,g)
# n=6, i=2, cost=4: a>b,a>d,c>e
find_156(a,b,c,d,e,f) =
  if c > f
  then find_29(a,c,b,d,e,f)
  else find_52(f,a,c,d,b)
# n=10, i=2, cost=7: a>e,a>f,a>g,b>c,d>h
find_154(a,b,c,d,e,f,g,h,i,j) =
  if b > d
  then find_157(b,a,d,c,e,f,g,i,j)
  else find_157(d,a,b,h,f,g,e,i,j)
# n=9, i=2, cost=6: a>c,a>d,b>e,b>f,b>g
find_157(a,b,c,d,e,f,g,h,i) =
  if h > i
  then find_158(b,a,h,f,g,e,c,d,i)
  else find_158(b,a,i,f,g,e,c,d,h)
# n=9, i=2, cost=5: a>d,a>e,a>f,b>g,b>h,c>i
find_158(a,b,c,d,e,f,g,h,i) =
  if b > c
  then find_38(b,a,c,g,h,f,d,e)
  else find_159(c,a,b,i,e,f,d)
# n=7, i=2, cost=4: a>c,a>d,b>e,b>f,b>g
find_159(a,b,c,d,e,f,g) =
  if a > b
  then find_22(b,c,d)
  else find_35(a,e,f,g)
# n=12, i=3, cost=9: a>d,a>e,a>f,b>g,b>h,b>i,c>j,c>k,d>e
find_142(a,b,c,d,e,f,g,h,i,j,k,l) =
  if a > c
  then find_160(a,b,c,d,j,k,e,f,i,g,h,l)
  else find_161(c,a,b,d,f,j,k,i,g,h,l)
# n=11, i=3, cost=8: a>b,a>d,a>e,a>f,a>g,b>d,b>e,c>h,c>i,c>j
find_161(a,b,c,d,e,f,g,h,i,j,k) =
  if a > c
  then find_162(c,b,h,i,j,e,d,g,f,k)
  else find_146(a,b,f,g,h,i,j,k)
# n=10, i=2, cost=7: a>c,a>d,a>e,b>f,b>g
find_162(a,b,c,d,e,f,g,h,i,j) =
  if h > i
  then find_163(a,b,h,d,e,c,g,f,i,j)
  else find_163(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_163(a,b,c,d,e,f,g,h,i,j) =
  if c > j
  then find_164(a,b,c,d,e,f,g,h,i,j)
  else find_165(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_165(a,b,c,d,e,f,g,h,i) =
  if b > c
  then find_159(b,a,c,d,e,f,g)
  else find_38(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_164(a,b,c,d,e,f,g,h,i,j) =
  if b > c
  then find_38(b,a,c,g,h,f,d,e)
  else find_38(c,a,b,i,j,f,d,e)
# n=12, i=3, cost=8: a>c,a>d,a>e,a>f,a>g,a>h,b>i,b>j,b>k,c>e,c>f,d>g
find_160(a,b,c,d,e,f,g,h,i,j,k,l) =
  if a > b
  then find_166(b,c,d,i,j,k,f,e,g,h,l)
  else find_146(a,c,d,h,i,j,k,l)
# n=11, i=2, cost=7: a>d,a>e,a>f,b>g,b>h,c>i
find_166(a,b,c,d,e,f,g,h,i,j,k) =
  if j > k
  then find_167(a,b,c,j,e,f,d,h,g,i,k)
  else find_167(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_167(a,b,c,d,e,f,g,h,i,j,k) =
  if c > d
  then find_168(c,a,b,d,j,f,g,e,i,h)
  else find_168(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_168(a,b,c,d,e,f,g,h,i,j) =
  if a > c
  then find_38(a,b,c,d,e,f,g,h)
  else find_38(c,b,a,i,j,h,f,g)
# n=12, i=3, cost=12: a>c,a>d,a>e,b>f,b>g
find_128(a,b,c,d,e,f,g,h,i,j,k,l) =
  if h > i
  then find_169(a,b,h,d,e,c,g,f,i,j,k,l)
  else find_169(a,b,i,d,e,c,g,f,h,j,k,l)
# n=12, i=3, cost=11: a>d,a>e,a>f,b>g,b>h,c>i
find_169(a,b,c,d,e,f,g,h,i,j,k,l) =
  if j > k
  then find_170(a,b,c,j,e,f,d,h,g,i,k,l)
  else find_170(a,b,c,k,e,f,d,h,g,i,j,l)
# n=12, i=3, cost=10: a>e,a>f,a>g,b>h,b>i,c>j,d>k
find_170(a,b,c,d,e,f,g,h,i,j,k,l) =
  if c > d
  then find_142(c,a,b,d,k,j,g,e,f,h,i,l)
  else find_142(d,a,b,c,j,k,g,e,f,h,i,l)