# cost = 21
# n_nodes = 31867167
# version = 1.4
# time = 126593.500
# hash_table_size = 3744914
# n_solved = 264743
# n_unsolved = 3479796
# n_hits = 527450999
# n_misses = 275178753
# avg_priority = 2179.080
# avg_cost = 6.520

# n=13, i=5, cost=21: no comparisons done
find_1(a,b,c,d,e,f,g,h,i,j,k,l,m) =
  if a > b
  then find_2(c,d,e,f,g,h,i,j,k,l,m,a,b)
  else find_2(c,d,e,f,g,h,i,j,k,l,m,b,a)
# n=13, i=5, cost=20: l>m
find_2(a,b,c,d,e,f,g,h,i,j,k,l,m) =
  if a > b
  then find_3(c,d,e,f,g,h,i,j,k,a,l,m,b)
  else find_3(c,d,e,f,g,h,i,j,k,b,l,m,a)
# n=13, i=5, cost=19: j>m,k>l
find_3(a,b,c,d,e,f,g,h,i,j,k,l,m) =
  if a > b
  then find_4(c,d,e,f,g,h,i,a,j,k,l,m,b)
  else find_4(c,d,e,f,g,h,i,b,j,k,l,m,a)
# n=13, i=5, cost=18: h>m,i>l,j>k
find_4(a,b,c,d,e,f,g,h,i,j,k,l,m) =
  if a > b
  then find_5(c,d,e,f,g,a,h,i,j,k,l,m,b)
  else find_5(c,d,e,f,g,b,h,i,j,k,l,m,a)
# n=13, i=5, cost=17: f>m,g>l,h>k,i>j
find_5(a,b,c,d,e,f,g,h,i,j,k,l,m) =
  if a > b
  then find_6(c,d,e,a,f,g,h,i,j,k,l,m,b)
  else find_6(c,d,e,b,f,g,h,i,j,k,l,m,a)
# n=13, i=5, cost=16: d>m,e>l,f>k,g>j,h>i
find_6(a,b,c,d,e,f,g,h,i,j,k,l,m) =
  if a > b
  then find_7(c,a,d,e,f,g,h,i,j,k,l,m,b)
  else find_7(c,b,d,e,f,g,h,i,j,k,l,m,a)
# n=13, i=5, cost=15: b>m,c>l,d>k,e>j,f>i,g>h
find_7(a,b,c,d,e,f,g,h,i,j,k,l,m) =
  if b > c
  then find_8(a,d,e,f,g,b,h,i,j,k,m,c,l)
  else find_8(a,d,e,f,g,c,h,i,j,k,l,b,m)
# n=13, i=5, cost=14: b>j,c>i,d>h,e>g,f>k,f>l,l>m
find_8(a,b,c,d,e,f,g,h,i,j,k,l,m) =
  if a > l
  then find_9(b,c,d,e,a,f,g,h,i,j,k,l,m)
  else find_10(b,c,d,e,f,g,h,i,j,k,l,a,m)
# n=13, i=5, cost=13: a>i,b>h,c>g,d>f,e>j,e>k,k>l,k>m
find_10(a,b,c,d,e,f,g,h,i,j,k,l,m) =
  if a > b
  then find_11(c,d,a,e,f,g,j,i,b,k,h,m,l)
  else find_11(c,d,b,e,f,g,j,h,a,k,i,m,l)
# n=13, i=5, cost=12: a>f,b>e,c>h,c>i,d>g,d>j,i>k,j>l,j>m
find_11(a,b,c,d,e,f,g,h,i,j,k,l,m) =
  if a > b
  then find_12(a,c,d,g,h,f,i,b,j,k,e,l,m)
  else find_12(b,c,d,g,h,e,i,a,j,k,f,l,m)
# n=13, i=5, cost=11: a>f,a>h,b>e,b>g,c>d,c>i,g>j,h>k,i>l,i>m
find_12(a,b,c,d,e,f,g,h,i,j,k,l,m) =
  if d > e
  then find_13(a,b,c,f,h,g,d,i,l,m,k,j,e)
  else find_14(a,b,c,f,g,h,e,i,l,m,k,j,d)
# n=13, i=5, cost=10: a>d,a>f,b>e,b>g,c>h,c>m,e>l,f>k,g>m,h>i,h>j
find_14(a,b,c,d,e,f,g,h,i,j,k,l,m) =
  if e > f
  then find_15(a,c,b,d,g,h,e,l,j,i,m,f,k)
  else find_16(b,c,a,d,g,h,f,k,j,i,m,e,l)
# n=13, i=5, cost=9: a>e,a>l,b>f,b>k,c>d,c>g,e>k,f>i,f>j,g>h,g>l,l>m
find_16(a,b,c,d,e,f,g,h,i,j,k,l,m) =
  if f > g
  then find_17(a,c,b,d,e,f,i,j,k,g,h)
  else find_18(a,b,c,d,e,g,h,k,l,f,m,j,i)
# n=13, i=5, cost=8: a>e,a>i,b>h,b>j,c>d,c>f,e>h,f>g,f>i,f>j,i>k,j>l,j>m
find_18(a,b,c,d,e,f,g,h,i,j,k,l,m) =
  if a > b
  then find_19(c,a,d,e,b,f,g,h,i,k,j)
  else find_20(c,b,d,a,f,g,e,h,j,l,m,i)
# n=12, i=5, cost=7: a>c,a>e,b>d,b>i,d>g,d>l,e>f,e>i,e>l,g>h,i>j,i>k
find_20(a,b,c,d,e,f,g,h,i,j,k,l) =
  if c > d
  then find_21(c,e,b,f,d,i,j,k,g)
  else find_22(d,a,g,e,c,f,h,i,j,k,l)
# n=11, i=4, cost=6: a>c,a>e,a>k,b>d,b>e,c>g,d>f,d>h,d>k,h>i,h>j
find_22(a,b,c,d,e,f,g,h,i,j,k) =
  if a > d
  then find_23(c,b,e,g,d,f,h,k)
  else find_24(f,h,a,c,e,k,j,i)
# n=8, i=2, cost=5: b>g,b>h,c>d,c>e,c>f
find_24(a,b,c,d,e,f,g,h) =
  if a > b
  then find_25(a,c,d,e,f,b)
  else find_26(b,c,d,e,f,a,g,h)
# n=8, i=2, cost=4: a>f,a>g,a>h,b>c,b>d,b>e
find_26(a,b,c,d,e,f,g,h) =
  if a > b
  then find_27(b,f,g,h)
  else find_27(a,c,d,e)
# n=4, i=1, cost=3: no comparisons done
find_27(a,b,c,d) =
  if a > b
  then find_28(a,c,d)
  else find_28(b,c,d)
# n=3, i=1, cost=2: no comparisons done
find_28(a,b,c) =
  if a > c
  then find_29(a,b)
  else find_29(b,c)
# n=2, i=1, cost=1: no comparisons done
find_29(a,b) =
  if a > b
  then a
  else b
# n=6, i=2, cost=4: a>f,b>c,b>d,b>e
find_25(a,b,c,d,e,f) =
  if a > b
  then find_29(b,f)
  else find_27(a,c,d,e)
# n=8, i=3, cost=5: a>d,b>c,b>e,e>f,e>g,e>h
find_23(a,b,c,d,e,f,g,h) =
  if a > c
  then find_30(a,b,d,e,c,f,g,h)
  else find_25(c,e,f,g,h,a)
# n=8, i=3, cost=4: a>c,a>e,b>d,b>e,d>f,d>g,d>h
find_30(a,b,c,d,e,f,g,h) =
  if a > d
  then find_31(c,b,d,e)
  else find_27(a,f,g,h)
# n=4, i=2, cost=3: b>c,b>d
find_31(a,b,c,d) =
  if a > b
  then b
  else find_28(a,c,d)
# n=9, i=4, cost=5: a>e,b>d,b>f,c>e,c>f,e>i,f>g,f>h
find_21(a,b,c,d,e,f,g,h,i) =
  if a > f
  then find_32(b,a,c,d,e,f,i)
  else find_33(d,f,a,g,h)
# n=5, i=2, cost=4: b>c,b>d,b>e
find_33(a,b,c,d,e) =
  if a > b
  then b
  else find_27(a,c,d,e)
# n=7, i=4, cost=4: a>d,a>f,b>e,b>f,c>e,c>f,e>g
find_32(a,b,c,d,e,f,g) =
  if d > e
  then find_34(d,c,b,f)
  else find_35(a,e,g,f)
# n=4, i=2, cost=3: a>d,b>c
find_35(a,b,c,d) =
  if a > c
  then find_36(b,a,d)
  else c
# n=3, i=2, cost=2: b>c
find_36(a,b,c) =
  if a > b
  then b
  else find_29(a,c)
# n=4, i=3, cost=3: b>d,c>d
find_34(a,b,c,d) =
  if a > b
  then find_37(b,c)
  else find_36(a,c,d)
# n=2, i=2, cost=1: no comparisons done
find_37(a,b) =
  if a > b
  then b
  else a
# n=11, i=5, cost=7: a>c,a>f,b>d,b>e,b>i,d>h,e>h,e>k,f>g,f>i,f>k,i>j
find_19(a,b,c,d,e,f,g,h,i,j,k) =
  if c > d
  then find_38(c,f,b,g,e,d,i,k,j)
  else find_39(d,e,a,f,c,h,g,i,j,k)
# n=10, i=4, cost=6: a>e,a>f,b>f,b>j,c>d,c>e,d>g,d>h,d>j,h>i
find_39(a,b,c,d,e,f,g,h,i,j) =
  if a > d
  then find_40(b,c,e,f,d,g,h)
  else find_41(g,b,a,h,i,e,j)
# n=7, i=2, cost=5: b>g,c>f,d>e
find_41(a,b,c,d,e,f,g) =
  if a > b
  then find_42(a,c,d,e,f,b)
  else find_43(c,d,b,e,f,a,g)
# n=7, i=2, cost=4: a>e,b>d,c>f,c>g
find_43(a,b,c,d,e,f,g) =
  if a > b
  then find_44(a,c,f,g,b,e)
  else find_44(b,c,f,g,a,d)
# n=6, i=2, cost=3: a>e,a>f,b>c,b>d
find_44(a,b,c,d,e,f) =
  if a > b
  then find_28(b,e,f)
  else find_28(a,c,d)
# n=6, i=2, cost=4: a>f,b>e,c>d
find_42(a,b,c,d,e,f) =
  if a > c
  then find_45(b,a,c,f,e)
  else find_45(b,c,a,d,e)
# n=5, i=2, cost=3: a>e,b>c,b>d
find_45(a,b,c,d,e) =
  if a > b
  then find_29(b,e)
  else find_28(a,c,d)
# n=7, i=3, cost=5: a>d,b>c,b>e,e>f,e>g
find_40(a,b,c,d,e,f,g) =
  if a > b
  then find_31(d,b,c,e)
  else find_46(c,a,e,f,g,d)
# n=6, i=2, cost=4: b>f,c>d,c>e
find_46(a,b,c,d,e,f) =
  if a > b
  then find_45(a,c,d,e,b)
  else find_44(b,c,d,e,a,f)
# n=9, i=4, cost=6: a>f,b>d,b>g,b>h,c>e,c>f,c>g,e>h,g>i
find_38(a,b,c,d,e,f,g,h,i) =
  if d > e
  then find_47(a,b,c,d,f,g,e,i)
  else find_48(a,e,b,f,g,d,h,i)
# n=8, i=3, cost=5: a>d,b>f,b>g,c>e,c>f,c>g,e>h
find_48(a,b,c,d,e,f,g,h) =
  if a > b
  then find_49(a,c,b,d,e,h)
  else find_50(b,c,e,a,f,g,h,d)
# n=8, i=3, cost=4: a>d,a>e,a>f,b>c,b>e,b>f,c>g,d>h
find_50(a,b,c,d,e,f,g,h) =
  if c > d
  then find_45(c,a,e,f,g)
  else find_45(d,b,e,f,h)
# n=6, i=3, cost=4: a>c,a>d,b>e,e>f
find_49(a,b,c,d,e,f) =
  if c > e
  then find_51(b,c,d)
  else find_52(a,b,d,e,f)
# n=5, i=3, cost=3: a>c,b>d,d>e
find_52(a,b,c,d,e) =
  if a > d
  then find_36(c,b,d)
  else find_29(a,e)
# n=3, i=2, cost=3: no comparisons done
find_51(a,b,c) =
  if a > b
  then find_36(c,a,b)
  else find_36(c,b,a)
# n=8, i=4, cost=5: a>e,b>d,b>f,c>e,c>f,c>g,d>g,f>h
find_47(a,b,c,d,e,f,g,h) =
  if a > d
  then find_53(a,b,c,e,d,f,h)
  else find_54(d,c,a,f,g,h)
# n=6, i=3, cost=4: a>c,a>e,b>d,b>e,d>f
find_54(a,b,c,d,e,f) =
  if a > f
  then find_55(a,b,d,c,e)
  else f
# n=5, i=3, cost=3: a>d,a>e,b>c,b>e
find_55(a,b,c,d,e) =
  if c > d
  then find_36(c,a,e)
  else find_36(d,b,e)
# n=7, i=4, cost=4: a>d,a>e,b>e,b>f,c>d,c>f,f>g
find_53(a,b,c,d,e,f,g) =
  if a > f
  then find_55(b,c,d,e,f)
  else find_29(a,g)
# n=11, i=5, cost=8: a>e,b>d,b>j,c>f,c>i,e>i,f>g,f>h,f>j,j>k
find_17(a,b,c,d,e,f,g,h,i,j,k) =
  if a > b
  then find_56(a,c,e,b,f,g,h,d,i,j)
  else find_57(b,c,d,a,f,g,h,e,j,i,k)
# n=11, i=5, cost=7: a>c,a>d,a>i,b>e,b>j,d>h,e>f,e>g,e>i,h>j,i>k
find_57(a,b,c,d,e,f,g,h,i,j,k) =
  if c > f
  then find_58(c,d,b,h,e,g,i,k,f,j)
  else find_59(e,a,g,f,d,i,h,j,c,k)
# n=10, i=4, cost=6: a>c,a>d,a>f,b>e,b>f,b>i,d>i,e>g,f>j,g>h
find_59(a,b,c,d,e,f,g,h,i,j) =
  if c > e
  then find_60(c,d,b,f,i,e,j)
  else find_61(e,a,d,f,g,h,c,j,i)
# n=9, i=3, cost=5: a>e,a>g,b>c,b>d,b>g,c>i,d>h,e>f
find_61(a,b,c,d,e,f,g,h,i) =
  if a > b
  then find_25(e,b,d,c,g,f)
  else find_43(c,d,a,h,i,e,g)
# n=7, i=3, cost=5: a>f,b>e,c>d,c>e,c>f,d>g
find_60(a,b,c,d,e,f,g) =
  if a > b
  then find_54(a,c,b,d,f,g)
  else find_54(b,c,a,d,e,g)
# n=10, i=4, cost=6: a>i,b>d,c>e,c>j,d>j,e>f,e>g,e>i,g>h
find_58(a,b,c,d,e,f,g,h,i,j) =
  if a > f
  then find_62(a,b,c,d,e,g,h,f,i,j)
  else find_63(b,e,f,g,d,h,a,j)
# n=8, i=3, cost=5: a>e,b>c,b>d,c>g,d>f,e>h
find_63(a,b,c,d,e,f,g,h) =
  if a > c
  then find_64(a,b,d,e,f,h,c)
  else find_45(d,c,a,g,f)
# n=7, i=3, cost=4: a>d,a>g,b>c,b>g,c>e,d>f
find_64(a,b,c,d,e,f,g) =
  if a > b
  then find_45(d,b,c,g,f)
  else find_45(c,a,d,g,e)
# n=10, i=4, cost=5: a>h,a>i,b>d,c>e,c>j,d>j,e>f,e>h,e>i,f>g
find_62(a,b,c,d,e,f,g,h,i,j) =
  if b > e
  then find_65(a,d,c,e,j,f)
  else find_43(b,f,a,g,d,h,i)
# n=6, i=3, cost=4: b>e,c>d,c>e,d>f
find_65(a,b,c,d,e,f) =
  if a > d
  then find_66(a,b,c,e,d)
  else find_45(b,d,a,f,e)
# n=5, i=3, cost=3: a>e,b>d,c>d,c>e
find_66(a,b,c,d,e) =
  if a > b
  then find_36(b,c,e)
  else find_36(a,c,d)
# n=10, i=5, cost=7: a>c,a>d,b>e,b>i,c>i,d>h,d>j,e>f,e>g,e>j
find_56(a,b,c,d,e,f,g,h,i,j) =
  if c > d
  then find_67(a,b,e,c,f,g,d,h,i)
  else find_68(a,b,e,d,h,g,f,c,j,i)
# n=10, i=5, cost=6: a>d,b>c,b>j,c>f,c>g,c>i,d>e,d>h,d>i,h>j
find_68(a,b,c,d,e,f,g,h,i,j) =
  if e > f
  then find_69(b,d,e,h,c,g,i,j)
  else find_70(c,a,f,g,d,h,j,i)
# n=8, i=4, cost=5: a>c,a>d,a>h,b>e,e>f,e>h,f>g
find_70(a,b,c,d,e,f,g,h) =
  if c > e
  then find_34(d,c,b,e)
  else find_71(a,e,d,f,c,h,g)
# n=7, i=3, cost=4: a>c,a>e,a>f,b>d,b>e,b>f,d>g
find_71(a,b,c,d,e,f,g) =
  if c > d
  then find_31(c,b,e,f)
  else find_45(d,a,e,f,g)
# n=8, i=4, cost=5: a>e,a>h,b>c,b>d,b>g,d>h,e>f,e>g
find_69(a,b,c,d,e,f,g,h) =
  if c > d
  then find_72(a,b,c,e,f,d,g)
  else find_73(a,b,d,e,c,f,g,h)
# n=8, i=4, cost=4: a>d,a>h,b>c,b>g,c>e,c>h,d>f,d>g
find_73(a,b,c,d,e,f,g,h) =
  if c > d
  then find_31(e,a,d,h)
  else find_31(f,b,c,g)
# n=7, i=4, cost=4: a>d,b>c,b>g,c>f,d>e,d>g
find_72(a,b,c,d,e,f,g) =
  if c > d
  then find_36(f,a,d)
  else find_31(e,b,c,g)
# n=9, i=5, cost=5: a>d,b>c,b>i,c>e,c>f,d>g,d>i,g>h
find_67(a,b,c,d,e,f,g,h,i) =
  if e > g
  then find_74(c,a,e,f,d,i)
  else find_75(b,d,g,c,h,f,i)
# n=7, i=4, cost=4: a>d,a>g,b>c,b>g,c>e,d>f
find_75(a,b,c,d,e,f,g) =
  if c > d
  then find_55(a,c,e,g,d)
  else find_55(b,d,f,g,c)
# n=6, i=4, cost=4: a>c,a>d,b>e,e>f
find_74(a,b,c,d,e,f) =
  if c > e
  then find_34(d,c,b,e)
  else find_55(a,e,f,d,c)
# n=13, i=5, cost=9: a>d,a>l,b>f,b>k,c>e,c>g,e>k,f>i,f>j,g>h,g>l,l>m
find_15(a,b,c,d,e,f,g,h,i,j,k,l,m) =
  if a > f
  then find_76(b,c,a,d,e,g,h,f,k,j,i,l,m)
  else find_77(c,b,g,e,f,i,j,h,a,k,d)
# n=11, i=5, cost=8: a>c,a>d,b>e,b>j,c>h,d>j,e>f,e>g,e>i,i>k
find_77(a,b,c,d,e,f,g,h,i,j,k) =
  if a > e
  then find_78(c,d,b,h,e,j,f,g,i,k)
  else find_79(f,g,i,a,k,c,d,j,h)
# n=9, i=3, cost=7: c>e,d>f,d>g,f>i,g>h
find_79(a,b,c,d,e,f,g,h,i) =
  if a > b
  then find_80(a,c,d,e,b,f,g,h,i)
  else find_80(b,c,d,e,a,f,g,h,i)
# n=9, i=3, cost=6: a>e,b>d,c>f,c>g,f>i,g>h
find_80(a,b,c,d,e,f,g,h,i) =
  if a > b
  then find_81(a,c,e,f,g,b,h,i,d)
  else find_81(b,c,d,f,g,a,h,i,e)
# n=9, i=3, cost=5: a>c,a>f,b>d,b>e,d>h,e>g,f>i
find_81(a,b,c,d,e,f,g,h,i) =
  if a > b
  then find_46(c,f,b,e,d,i)
  else find_43(d,e,a,g,h,c,f)
# n=10, i=4, cost=7: a>d,b>f,c>e,c>f,e>g,e>h,e>i,i>j
find_78(a,b,c,d,e,f,g,h,i,j) =
  if a > b
  then find_82(a,c,d,b,e,g,h,i,j,f)
  else find_83(b,c,a,e,f,g,h,d,i,j)
# n=10, i=4, cost=6: a>c,a>e,b>d,b>e,c>h,d>f,d>g,d>i,i>j
find_83(a,b,c,d,e,f,g,h,i,j) =
  if a > d
  then find_23(c,b,e,h,d,g,f,i)
  else find_84(f,g,i,a,j,c,e)
# n=7, i=2, cost=5: c>e,d>f,d>g
find_84(a,b,c,d,e,f,g) =
  if a > b
  then find_43(a,c,d,e,b,f,g)
  else find_43(b,c,d,e,a,f,g)
# n=10, i=4, cost=6: a>c,a>d,b>e,b>j,d>j,e>f,e>g,e>h,h>i
find_82(a,b,c,d,e,f,g,h,i,j) =
  if a > e
  then find_85(c,d,b,e,j,g,h,f)
  else find_84(f,g,h,a,i,c,d)
# n=8, i=3, cost=5: b>e,c>d,c>e,d>f,d>g,d>h
find_85(a,b,c,d,e,f,g,h) =
  if a > b
  then find_86(a,c,b,d,f,g,h)
  else find_30(b,c,a,d,e,f,g,h)
# n=7, i=3, cost=4: a>c,b>d,d>e,d>f,d>g
find_86(a,b,c,d,e,f,g) =
  if a > d
  then find_36(c,b,d)
  else find_27(a,e,f,g)
# n=13, i=5, cost=8: a>h,a>i,b>e,b>f,c>d,c>h,c>l,e>i,f>g,f>l,h>j,h>k,l>m
find_76(a,b,c,d,e,f,g,h,i,j,k,l,m) =
  if a > f
  then find_87(b,c,a,d,e,h,f,i,j,k,g,l)
  else find_88(e,c,f,g,d,a,l,h,i,m)
# n=10, i=4, cost=7: a>i,b>e,b>g,b>h,c>d,c>f,c>g,f>h,f>i,g>j
find_88(a,b,c,d,e,f,g,h,i,j) =
  if a > d
  then find_89(a,b,c,e,f,d,g,h,i,j)
  else find_90(d,f,b,e,a,g,h,j)
# n=8, i=3, cost=6: a>e,b>g,c>d,c>f,c>g,f>h
find_90(a,b,c,d,e,f,g,h) =
  if a > b
  then find_91(a,c,d,b,e,f,h)
  else find_92(b,c,d,f,a,g,h,e)
# n=8, i=3, cost=5: a>e,a>f,b>c,b>d,b>f,d>g,e>h
find_92(a,b,c,d,e,f,g,h) =
  if a > b
  then find_25(e,b,d,c,f,h)
  else find_46(c,d,a,e,f,g)
# n=7, i=3, cost=5: a>d,a>e,b>c,b>f,f>g
find_91(a,b,c,d,e,f,g) =
  if a > b
  then find_93(d,e,b,c,f)
  else find_46(c,f,a,e,d,g)
# n=5, i=2, cost=4: c>d,c>e
find_93(a,b,c,d,e) =
  if a > b
  then find_45(a,c,d,e,b)
  else find_45(b,c,d,e,a)
# n=10, i=4, cost=6: a>f,a>i,b>d,b>g,b>h,c>e,c>f,c>g,e>h,e>i,g>j
find_89(a,b,c,d,e,f,g,h,i,j) =
  if d > e
  then find_47(a,b,c,d,f,g,e,j)
  else find_94(a,e,b,f,g,d,h,i,j)
# n=9, i=3, cost=5: a>d,a>h,b>f,b>g,b>h,c>e,c>f,c>g,e>i
find_94(a,b,c,d,e,f,g,h,i) =
  if a > c
  then find_95(d,c,b,h,e)
  else find_43(a,e,b,i,d,f,g)
# n=5, i=2, cost=4: b>e,c>d
find_95(a,b,c,d,e) =
  if a > b
  then find_35(a,c,d,b)
  else find_45(c,b,a,e,d)
# n=12, i=5, cost=7: a>e,a>g,b>d,b>f,b>l,c>f,c>g,c>h,e>h,f>i,f>j,g>k,g>l
find_87(a,b,c,d,e,f,g,h,i,j,k,l) =
  if d > e
  then find_96(a,b,c,d,f,g,e,i,j,k,l)
  else find_97(b,a,c,e,f,g,h,d,k,j,i,l)
# n=12, i=5, cost=6: a>e,a>h,a>l,b>d,b>f,c>e,c>f,c>g,d>g,d>h,e>j,e>k,f>i,f>l
find_97(a,b,c,d,e,f,g,h,i,j,k,l) =
  if e > f
  then find_98(b,a,c,d,e,g,h,j,k,f)
  else find_99(d,a,c,f,g,h,i,e,l)
# n=9, i=4, cost=5: a>e,a>f,b>f,b>h,b>i,c>d,c>e,d>g,d>h,d>i
find_99(a,b,c,d,e,f,g,h,i) =
  if a > d
  then find_100(b,c,e,f,d,g)
  else find_46(g,a,b,h,i,e)
# n=6, i=3, cost=4: a>d,b>c,b>e,e>f
find_100(a,b,c,d,e,f) =
  if a > e
  then find_55(a,b,c,d,e)
  else find_31(c,e,a,f)
# n=10, i=5, cost=5: a>d,a>j,b>e,b>g,c>e,c>f,d>f,d>g,e>h,e>i,e>j
find_98(a,b,c,d,e,f,g,h,i,j) =
  if d > e
  then find_55(b,c,f,g,e)
  else find_93(h,i,a,d,j)
# n=11, i=5, cost=6: a>f,a>g,b>d,b>e,b>k,c>e,c>f,d>g,e>h,e>i,f>j,f>k
find_96(a,b,c,d,e,f,g,h,i,j,k) =
  if a > e
  then find_101(c,b,d,f,j,g,e,k,h,i)
  else find_102(d,h,i,a,f)
# n=5, i=2, cost=5: d>e
find_102(a,b,c,d,e) =
  if a > b
  then find_95(c,a,d,e,b)
  else find_95(c,b,d,e,a)
# n=10, i=4, cost=5: a>d,a>g,b>c,b>g,b>h,c>f,d>e,d>h,g>i,g>j
find_101(a,b,c,d,e,f,g,h,i,j) =
  if c > d
  then find_103(c,a,f,g,d,i,j)
  else find_104(d,b,e,g,c,h,i,j)
# n=8, i=3, cost=4: a>c,a>e,a>f,b>d,b>e,b>f,d>g,d>h
find_104(a,b,c,d,e,f,g,h) =
  if c > d
  then find_31(c,b,e,f)
  else find_44(a,d,g,h,e,f)
# n=7, i=3, cost=4: a>c,a>e,b>d,b>e,d>f,d>g
find_103(a,b,c,d,e,f,g) =
  if a > b
  then find_31(c,b,d,e)
  else find_44(a,d,f,g,c,e)
# n=13, i=5, cost=10: a>d,a>e,b>f,b>m,c>g,c>h,e>k,f>l,g>m,h>i,h>j
find_13(a,b,c,d,e,f,g,h,i,j,k,l,m) =
  if b > h
  then find_105(a,c,b,d,f,e,g,l,k,h,m,j,i)
  else find_106(a,c,d,e,g,h,i,j,k,b,f,m,l)
# n=13, i=5, cost=9: a>c,a>d,b>e,b>f,d>i,e>l,f>g,f>h,f>j,j>k,j>l,k>m
find_106(a,b,c,d,e,f,g,h,i,j,k,l,m) =
  if c > g
  then find_107(a,b,d,e,c,f,h,i,j,k,l,m,g)
  else find_108(e,a,f,h,d,g,j,i,k,m,c,l)
# n=12, i=4, cost=8: a>l,b>e,b>k,c>d,c>f,c>g,e>h,f>k,g>i,g>l,i>j
find_108(a,b,c,d,e,f,g,h,i,j,k,l) =
  if a > d
  then find_109(a,b,c,e,f,g,d,h,i,j,l,k)
  else find_110(b,c,d,e,f,g,a,h,i,j,k)
# n=11, i=4, cost=7: a>d,a>k,b>c,b>e,b>f,c>g,d>h,e>k,f>i,i>j
find_110(a,b,c,d,e,f,g,h,i,j,k) =
  if a > c
  then find_111(a,b,d,e,f,h,c,i,j,k,g)
  else find_112(e,f,c,g,a,i,d,j)
# n=8, i=3, cost=6: b>f,c>d,c>e,e>g,f>h
find_112(a,b,c,d,e,f,g,h) =
  if a > d
  then find_113(a,b,c,e,f,d,g,h)
  else find_63(b,c,d,e,f,g,a,h)
# n=8, i=3, cost=5: a>f,b>e,c>d,c>f,d>g,e>h
find_113(a,b,c,d,e,f,g,h) =
  if b > c
  then find_95(a,c,e,h,d)
  else find_42(a,b,d,g,e,f)
# n=11, i=4, cost=6: a>c,a>g,a>j,b>d,b>e,b>g,c>f,d>j,e>h,g>k,h>i
find_111(a,b,c,d,e,f,g,h,i,j,k) =
  if c > d
  then find_114(a,b,e,c,f,g,h,i,d,k)
  else find_115(e,d,a,g,h,c,j,i,k)
# n=9, i=3, cost=5: a>e,b>f,b>g,c>d,c>f,c>g,d>i,e>h
find_115(a,b,c,d,e,f,g,h,i) =
  if a > c
  then find_95(b,c,e,h,d)
  else find_43(a,d,b,i,e,f,g)
# n=10, i=4, cost=5: a>d,a>f,b>c,b>f,b>i,c>g,d>e,d>i,f>j,g>h
find_114(a,b,c,d,e,f,g,h,i,j) =
  if c > d
  then find_64(a,c,g,f,h,j,d)
  else find_71(d,b,e,f,c,i,j)
# n=12, i=4, cost=7: a>g,a>k,b>d,b>l,c>e,c>f,c>g,d>h,e>l,f>i,f>k,i>j
find_109(a,b,c,d,e,f,g,h,i,j,k,l) =
  if a > b
  then find_116(a,c,e,b,f,g,i,d,j,h,k)
  else find_117(b,c,d,e,a,f,h,i,j,g,l)
# n=11, i=4, cost=6: a>c,a>e,a>k,b>d,b>f,b>j,c>g,d>k,e>j,f>h,h>i
find_117(a,b,c,d,e,f,g,h,i,j,k) =
  if c > f
  then find_118(e,c,b,g,d,f,j,k)
  else find_119(d,f,a,e,h,c,k,j,i)
# n=9, i=3, cost=5: a>g,b>e,b>f,c>d,c>f,c>g,d>h,e>i
find_119(a,b,c,d,e,f,g,h,i) =
  if b > c
  then find_46(a,e,c,d,f,i)
  else find_43(a,d,b,h,g,e,f)
# n=8, i=3, cost=5: a>g,b>d,b>f,c>e,c>f,c>g,e>h
find_118(a,b,c,d,e,f,g,h) =
  if b > c
  then find_93(a,d,c,e,f)
  else find_43(a,e,b,h,g,d,f)
# n=11, i=4, cost=6: a>d,a>f,a>k,b>c,b>e,b>f,d>h,e>g,e>k,g>i,h>j
find_116(a,b,c,d,e,f,g,h,i,j,k) =
  if c > d
  then find_120(c,e,a,f,g,k,d,i)
  else find_121(a,b,e,d,f,g,h,c,k,j,i)
# n=11, i=4, cost=5: a>d,a>e,a>i,b>c,b>e,b>h,c>f,c>i,d>g,d>h,f>k,g>j
find_121(a,b,c,d,e,f,g,h,i,j,k) =
  if c > d
  then find_71(a,c,e,f,d,i,k)
  else find_71(b,d,e,g,c,h,j)
# n=8, i=3, cost=5: a>g,b>e,b>f,c>d,c>f,c>g,e>h
find_120(a,b,c,d,e,f,g,h) =
  if b > c
  then find_46(a,e,c,d,f,h)
  else find_46(d,a,b,e,f,g)
# n=13, i=5, cost=8: a>c,a>e,b>d,b>f,c>h,d>k,e>m,f>g,f>i,f>m,i>j,i>k,j>l
find_107(a,b,c,d,e,f,g,h,i,j,k,l,m) =
  if c > d
  then find_122(a,b,e,c,f,g,h,i,d,j,l,m)
  else find_123(d,a,f,g,e,i,c,j,l,k,m,h)
# n=12, i=4, cost=7: a>g,a>j,b>e,b>g,c>d,c>f,c>k,e>k,f>h,f>j,g>l,h>i
find_123(a,b,c,d,e,f,g,h,i,j,k,l) =
  if b > f
  then find_124(a,c,b,d,e,f,g,k,h,l)
  else find_125(d,a,f,b,h,i,e,j)
# n=8, i=3, cost=6: b>h,c>d,c>e,c>h,d>g,e>f
find_125(a,b,c,d,e,f,g,h) =
  if a > b
  then find_126(a,c,b,d,e,f,g)
  else find_127(b,c,a,d,e,h,f,g)
# n=8, i=3, cost=5: a>c,a>f,b>d,b>e,b>f,d>h,e>g
find_127(a,b,c,d,e,f,g,h) =
  if a > b
  then find_33(c,b,d,e,f)
  else find_43(d,e,a,g,h,c,f)
# n=7, i=3, cost=5: a>c,b>d,b>e,d>g,e>f
find_126(a,b,c,d,e,f,g) =
  if a > b
  then find_31(c,b,d,e)
  else find_42(a,d,e,f,g,c)
# n=10, i=4, cost=6: a>g,b>d,b>f,b>h,c>e,c>f,c>g,e>h,f>i,g>j
find_124(a,b,c,d,e,f,g,h,i,j) =
  if d > e
  then find_128(a,b,c,d,f,g,e,i,j)
  else find_115(a,e,b,f,g,d,h,j,i)
# n=9, i=4, cost=5: a>f,b>d,b>e,c>e,c>f,c>g,d>g,e>h,f>i
find_128(a,b,c,d,e,f,g,h,i) =
  if a > d
  then find_129(a,b,c,d,e,f,h,i)
  else find_54(d,c,a,e,g,h)
# n=8, i=4, cost=4: a>d,a>f,b>d,b>e,c>e,c>f,e>g,f>h
find_129(a,b,c,d,e,f,g,h) =
  if e > f
  then find_52(a,c,d,e,g)
  else find_52(b,c,d,f,h)
# n=12, i=5, cost=7: a>c,a>d,b>e,b>i,c>l,d>g,d>i,e>f,e>h,e>l,h>j,j>k
find_122(a,b,c,d,e,f,g,h,i,j,k,l) =
  if c > h
  then find_130(c,d,b,g,e,i,f,h,l)
  else find_131(a,e,f,d,h,g,i,j,c,k)
# n=10, i=4, cost=6: a>d,a>i,b>c,b>e,d>f,d>g,e>h,e>i,h>j
find_131(a,b,c,d,e,f,g,h,i,j) =
  if c > d
  then find_132(c,a,e,h,i,d,j)
  else find_133(a,b,d,e,f,g,h,i,j,c)
# n=10, i=4, cost=5: a>c,a>h,b>d,b>j,c>e,c>f,c>j,d>g,d>h,g>i
find_133(a,b,c,d,e,f,g,h,i,j) =
  if b > c
  then find_134(d,a,g,c,h,e,f,j,i)
  else find_93(e,f,b,d,j)
# n=9, i=3, cost=4: a>c,a>e,b>d,b>e,c>i,d>f,d>g,d>h
find_134(a,b,c,d,e,f,g,h,i) =
  if a > d
  then find_45(c,b,d,e,i)
  else find_27(a,f,g,h)
# n=7, i=3, cost=5: a>f,b>e,b>f,c>d,c>e,d>g
find_132(a,b,c,d,e,f,g) =
  if a > b
  then find_135(a,c,d,b,g,f)
  else find_64(b,c,d,a,g,f,e)
# n=6, i=3, cost=3: a>d,b>c,c>e,d>f
find_135(a,b,c,d,e,f) =
  if c > d
  then find_36(a,c,e)
  else find_36(b,d,f)
# n=9, i=4, cost=6: a>h,a>i,b>d,b>f,c>e,c>f,e>g,e>h,e>i
find_130(a,b,c,d,e,f,g,h,i) =
  if a > b
  then find_136(c,a,b,e,g,d,h,i,f)
  else find_137(b,c,a,d,e,f,g)
# n=7, i=4, cost=5: a>c,a>d,a>f,b>e,b>f,e>g
find_137(a,b,c,d,e,f,g) =
  if c > d
  then find_75(a,b,e,c,g,d,f)
  else find_75(a,b,e,d,g,c,f)
# n=9, i=4, cost=5: a>d,a>i,b>c,b>g,b>h,c>f,c>i,d>e,d>g,d>h
find_136(a,b,c,d,e,f,g,h,i) =
  if a > b
  then find_104(d,b,e,c,g,h,f,i)
  else find_30(c,a,f,d,i,g,h,e)
# n=13, i=5, cost=9: a>d,a>f,b>g,b>j,c>e,c>j,c>k,e>h,f>i,g>k,j>l,j>m
find_105(a,b,c,d,e,f,g,h,i,j,k,l,m) =
  if e > g
  then find_138(a,b,c,d,f,e,h,i,j,l,m,g,k)
  else find_139(a,c,b,d,f,g,i,j,k,l,m,e,h)
# n=13, i=5, cost=8: a>d,a>e,b>h,b>i,b>l,c>f,c>h,e>g,f>i,f>l,h>j,h>k,l>m
find_139(a,b,c,d,e,f,g,h,i,j,k,l,m) =
  if e > h
  then find_140(b,a,c,d,e,f,g,i,l,m,h)
  else find_141(a,f,b,d,h,i,j,k,l,e,m)
# n=11, i=4, cost=7: a>d,a>j,b>f,b>i,c>e,c>f,c>i,e>g,e>h,e>j,i>k
find_141(a,b,c,d,e,f,g,h,i,j,k) =
  if b > e
  then find_142(a,b,c,d,f,i,e,h,g,k)
  else find_143(a,e,g,h,d,b,j,i,f)
# n=9, i=3, cost=6: a>e,a>g,b>c,b>d,b>f,b>g,f>h,f>i
find_143(a,b,c,d,e,f,g,h,i) =
  if a > f
  then find_144(a,b,c,d,e,f,g)
  else find_145(c,d,f,a,h,i)
# n=6, i=2, cost=5: c>d,c>e,c>f
find_145(a,b,c,d,e,f) =
  if a > b
  then find_25(a,c,d,e,f,b)
  else find_25(b,c,d,e,f,a)
# n=7, i=3, cost=5: a>e,a>f,a>g,b>c,b>d,b>f,b>g
find_144(a,b,c,d,e,f,g) =
  if c > d
  then find_71(a,b,e,c,f,g,d)
  else find_71(a,b,e,d,f,g,c)
# n=10, i=4, cost=6: a>d,b>e,b>f,b>g,c>e,c>f,c>g,f>j,g>h,g>i
find_142(a,b,c,d,e,f,g,h,i,j) =
  if a > e
  then find_146(a,b,c,d,f,g,h,i,j,e)
  else find_43(e,f,g,j,a,h,i)
# n=10, i=4, cost=5: a>d,a>j,b>e,b>f,b>j,c>e,c>f,c>j,e>i,f>g,f>h
find_146(a,b,c,d,e,f,g,h,i,j) =
  if d > e
  then find_147(a,b,c,d,f,h,g,j)
  else find_43(a,e,f,i,j,g,h)
# n=8, i=4, cost=4: a>d,a>h,b>e,b>h,c>e,c>h,e>f,e>g
find_147(a,b,c,d,e,f,g,h) =
  if d > e
  then find_34(d,c,b,h)
  else find_45(a,e,f,g,h)
# n=11, i=5, cost=7: a>h,a>i,a>k,b>d,b>e,c>f,c>k,e>g,e>k,f>h,f>i,i>j
find_140(a,b,c,d,e,f,g,h,i,j,k) =
  if a > d
  then find_148(b,c,a,e,f,d,g,h,i,j,k)
  else find_149(c,d,e,g,a,f)
# n=6, i=4, cost=5: a>f,b>e,c>d
find_149(a,b,c,d,e,f) =
  if a > b
  then find_150(f,c,b,e,d)
  else find_150(e,c,a,f,d)
# n=5, i=3, cost=4: b>e,c>d
find_150(a,b,c,d,e) =
  if d > e
  then find_151(a,b,c,d)
  else find_151(a,c,b,e)
# n=4, i=3, cost=3: c>d
find_151(a,b,c,d) =
  if a > b
  then find_152(a,c,d,b)
  else find_152(b,c,d,a)
# n=4, i=3, cost=2: a>d,b>c
find_152(a,b,c,d) =
  if c > d
  then find_37(a,c)
  else find_37(b,d)
# n=11, i=5, cost=6: a>d,a>f,b>e,b>k,c>f,c>h,c>i,c>k,d>g,d>k,e>h,e>i,i>j
find_148(a,b,c,d,e,f,g,h,i,j,k) =
  if d > e
  then find_153(c,b,d,g,f,e,k)
  else find_154(a,c,e,h,f,i,d,j,g)
# n=9, i=4, cost=5: a>e,a>g,b>d,b>e,b>f,c>d,c>f,c>g,f>h,g>i
find_154(a,b,c,d,e,f,g,h,i) =
  if d > g
  then find_100(a,c,d,e,f,h)
  else find_129(a,b,c,e,f,g,h,i)
# n=7, i=4, cost=5: a>e,a>g,b>f,b>g,c>d,c>f,c>g
find_153(a,b,c,d,e,f,g) =
  if e > f
  then find_155(b,a,c,d,e,g)
  else find_156(d,a,b,f,g)
# n=5, i=3, cost=4: b>e,c>d,c>e
find_156(a,b,c,d,e) =
  if a > b
  then find_152(a,c,d,b)
  else find_55(b,c,d,a,e)
# n=6, i=4, cost=4: a>f,b>e,b>f,c>d,c>f
find_155(a,b,c,d,e,f) =
  if d > e
  then find_66(a,d,b,e,f)
  else find_66(a,e,c,d,f)
# n=13, i=5, cost=8: a>d,a>e,b>i,b>l,c>f,c>i,e>h,f>g,f>l,i>j,i>k,l>m
find_138(a,b,c,d,e,f,g,h,i,j,k,l,m) =
  if e > i
  then find_157(b,a,c,d,e,f,g,h,l,m,i)
  else find_158(a,f,b,g,d,i,j,k,l,e,m)
# n=11, i=4, cost=7: a>e,a>j,b>d,b>i,c>f,c>i,f>g,f>h,f>j,i>k
find_158(a,b,c,d,e,f,g,h,i,j,k) =
  if b > f
  then find_159(a,c,b,d,e,i,f,h,g,k)
  else find_143(a,f,g,h,e,b,j,i,d)
# n=10, i=4, cost=6: a>e,b>f,b>g,c>d,c>f,c>g,f>j,g>h,g>i
find_159(a,b,c,d,e,f,g,h,i,j) =
  if a > g
  then find_160(a,b,c,d,e,f,g,j)
  else find_161(d,f,g,a,h,i,j)
# n=7, i=2, cost=5: b>g,c>d,c>e,c>f
find_161(a,b,c,d,e,f,g) =
  if a > b
  then find_25(a,c,d,e,f,b)
  else find_162(b,c,d,e,f,a,g)
# n=7, i=2, cost=4: a>f,a>g,b>c,b>d,b>e
find_162(a,b,c,d,e,f,g) =
  if a > b
  then find_28(b,f,g)
  else find_27(a,c,d,e)
# n=8, i=4, cost=5: a>e,a>g,b>f,b>g,c>d,c>f,c>g,f>h
find_160(a,b,c,d,e,f,g,h) =
  if e > f
  then find_155(b,a,c,d,e,g)
  else find_65(d,a,b,f,g,h)
# n=11, i=5, cost=7: a>i,a>k,b>d,b>e,c>f,c>k,e>h,e>k,f>g,f>i,i>j
find_157(a,b,c,d,e,f,g,h,i,j,k) =
  if e > f
  then find_163(d,a,c,e,h,f,k,g)
  else find_164(a,b,f,g,d,e,i,h,j)
# n=9, i=4, cost=6: a>g,b>e,b>f,c>d,c>f,c>g,f>h,g>i
find_164(a,b,c,d,e,f,g,h,i) =
  if a > b
  then find_165(b,c,d,e,g,f,i)
  else find_166(e,a,c,d,f,g,h)
# n=7, i=3, cost=5: b>f,c>d,c>e,c>f,e>g
find_166(a,b,c,d,e,f,g) =
  if a > e
  then find_167(a,b,c,d,f,e)
  else find_46(d,b,e,a,g,f)
# n=6, i=3, cost=4: a>f,b>e,c>d,c>e,c>f
find_167(a,b,c,d,e,f) =
  if a > b
  then find_55(a,c,d,b,f)
  else find_55(b,c,d,a,e)
# n=7, i=3, cost=5: a>d,a>f,b>c,b>e,b>f,e>g
find_165(a,b,c,d,e,f,g) =
  if a > b
  then find_33(d,b,c,e,f)
  else find_46(c,e,a,d,f,g)
# n=8, i=4, cost=6: b>g,c>f,c>g,d>e,d>f,d>g,f>h
find_163(a,b,c,d,e,f,g,h) =
  if a > b
  then find_168(a,c,d,e,b,f,h)
  else find_160(b,c,d,e,a,f,g,h)
# n=7, i=4, cost=5: a>e,b>f,c>d,c>f,f>g
find_168(a,b,c,d,e,f,g) =
  if a > b
  then find_156(e,b,c,d,f)
  else find_100(a,c,d,e,f,g)
# n=13, i=5, cost=13: a>j,b>i,c>h,d>g,e>l,f>k,f>l,l>m
find_9(a,b,c,d,e,f,g,h,i,j,k,l,m) =
  if a > b
  then find_169(c,d,e,a,f,g,h,k,j,b,i,l,m)
  else find_169(c,d,e,b,f,g,h,k,i,a,j,l,m)
# n=13, i=5, cost=12: a>g,b>f,c>l,d>i,d>j,e>h,e>l,j>k,l>m
find_169(a,b,c,d,e,f,g,h,i,j,k,l,m) =
  if a > b
  then find_170(c,a,d,e,h,i,g,j,b,k,f,l,m)
  else find_170(c,b,d,e,h,i,f,j,a,k,g,l,m)
# n=13, i=5, cost=11: a>l,b>g,b>i,c>f,c>h,d>e,d>l,h>j,i>k,l>m
find_170(a,b,c,d,e,f,g,h,i,j,k,l,m) =
  if h > i
  then find_171(a,d,b,c,f,e,g,h,j,l,m,i,k)
  else find_171(a,d,c,b,g,e,f,i,k,l,m,h,j)
# n=13, i=5, cost=10: a>j,b>f,b>j,c>g,c>l,d>e,d>h,h>i,h>l,j>k,l>m
find_171(a,b,c,d,e,f,g,h,i,j,k,l,m) =
  if a > h
  then find_172(c,b,d,a,e,f,g,j,h,i,k,l)
  else find_173(b,c,d,e,g,f,h,i,a,l,j,m)
# n=12, i=5, cost=9: a>f,a>k,b>e,b>j,c>d,c>g,g>h,g>i,g>j,i>k,j>l
find_173(a,b,c,d,e,f,g,h,i,j,k,l) =
  if e > i
  then find_174(a,b,c,d,f,e,g,h,j,l,i)
  else find_175(d,a,b,g,h,f,i,j,e,k,l)
# n=11, i=4, cost=8: b>f,b>j,c>h,c>i,d>e,d>g,d>h,g>i,g>j,h>k
find_175(a,b,c,d,e,f,g,h,i,j,k) =
  if a > g
  then find_176(b,a,c,d,e,f,g,h,k)
  else find_177(b,c,d,e,f,g,a,h,i,j,k)
# n=11, i=4, cost=7: a>e,a>j,b>h,b>i,c>d,c>f,c>h,f>g,f>i,f>j,h>k
find_177(a,b,c,d,e,f,g,h,i,j,k) =
  if a > b
  then find_178(a,c,d,e,b,f,g,j,h)
  else find_179(b,c,d,a,f,g,e,h,i,k)
# n=10, i=4, cost=6: a>d,a>h,a>i,b>c,b>e,b>h,d>g,e>f,e>i,h>j
find_179(a,b,c,d,e,f,g,h,i,j) =
  if c > d
  then find_118(c,e,a,f,h,i,d,j)
  else find_180(a,b,e,d,f,g,h,c,i,j)
# n=10, i=4, cost=5: a>d,a>g,a>i,b>c,b>g,b>h,c>e,c>i,d>f,d>h,g>j
find_180(a,b,c,d,e,f,g,h,i,j) =
  if c > d
  then find_71(c,a,e,g,d,i,j)
  else find_71(d,b,f,g,c,h,j)
# n=9, i=4, cost=6: a>d,a>e,a>h,b>c,b>f,b>i,e>i,f>g,f>h
find_178(a,b,c,d,e,f,g,h,i) =
  if c > d
  then find_118(c,f,a,g,e,h,d,i)
  else find_181(a,b,d,e,f,g,h,i,c)
# n=9, i=4, cost=5: a>c,a>d,a>g,b>e,b>h,b>i,c>i,d>h,e>f,e>g
find_181(a,b,c,d,e,f,g,h,i) =
  if c > d
  then find_182(a,b,e,c,f,d,g,i)
  else find_182(a,b,e,d,f,c,g,h)
# n=8, i=4, cost=4: a>d,a>g,b>c,b>h,c>e,c>g,d>f,d>h
find_182(a,b,c,d,e,f,g,h) =
  if c > d
  then find_31(e,a,d,g)
  else find_31(f,b,c,h)
# n=9, i=4, cost=7: a>f,b>g,c>h,d>e,d>g,d>h,h>i
find_176(a,b,c,d,e,f,g,h,i) =
  if b > c
  then find_183(a,b,d,e,f,c,g,h)
  else find_184(a,c,d,e,f,b,h,g,i)
# n=9, i=4, cost=6: a>e,b>f,b>g,c>d,c>g,c>h,f>h,g>i
find_184(a,b,c,d,e,f,g,h,i) =
  if d > f
  then find_185(a,b,c,e,d,g,f,i)
  else find_186(a,c,b,e,f,g,d,h,i)
# n=9, i=4, cost=5: a>d,b>f,b>g,b>h,c>e,c>f,e>g,e>h,f>i
find_186(a,b,c,d,e,f,g,h,i) =
  if a > e
  then find_187(a,b,c,d,e,f,i)
  else find_50(b,e,a,f,g,h,d,i)
# n=7, i=4, cost=4: a>d,a>e,b>f,c>e,c>f,f>g
find_187(a,b,c,d,e,f,g) =
  if d > f
  then find_151(b,d,c,e)
  else find_52(a,b,e,f,g)
# n=8, i=4, cost=5: a>d,b>f,b>g,c>e,c>f,e>g,f>h
find_185(a,b,c,d,e,f,g,h) =
  if a > e
  then find_187(a,b,c,d,e,f,h)
  else find_64(b,e,a,f,d,h,g)
# n=8, i=4, cost=6: a>e,b>f,b>g,c>d,c>g,c>h,f>h
find_183(a,b,c,d,e,f,g,h) =
  if d > f
  then find_188(a,b,c,e,d,g,f)
  else find_189(a,c,b,e,f,g,d,h)
# n=8, i=4, cost=5: a>d,b>f,b>g,b>h,c>e,c>f,e>g,e>h
find_189(a,b,c,d,e,f,g,h) =
  if a > e
  then find_190(b,a,c,d,e,f)
  else find_71(b,e,f,a,g,h,d)
# n=6, i=4, cost=4: a>f,b>d,b>e,c>e,c>f
find_190(a,b,c,d,e,f) =
  if a > d
  then find_191(a,b,c,e,f,d)
  else find_152(c,d,a,e)
# n=6, i=4, cost=3: a>e,a>f,b>d,b>f,c>d,c>e
find_191(a,b,c,d,e,f) =
  if d > e
  then find_152(a,c,d,f)
  else find_152(b,c,e,f)
# n=7, i=4, cost=5: a>d,b>f,b>g,c>e,c>f,e>g
find_188(a,b,c,d,e,f,g) =
  if a > b
  then find_156(d,b,c,e,f)
  else find_100(a,c,f,d,e,g)
# n=11, i=5, cost=8: a>e,b>f,b>i,c>d,c>g,f>k,g>h,g>i,g>k,i>j
find_174(a,b,c,d,e,f,g,h,i,j,k) =
  if e > h
  then find_192(a,b,c,d,f,e,g,i,j,k,h)
  else find_193(d,a,b,g,h,f,i,k,e,j)
# n=10, i=4, cost=7: b>i,c>f,c>g,d>e,d>g,d>h,e>i,f>h,g>j
find_193(a,b,c,d,e,f,g,h,i,j) =
  if e > f
  then find_194(a,b,c,d,e,g,f,i,j)
  else find_195(a,b,d,c,f,g,e,h,j)
# n=9, i=4, cost=6: c>f,c>g,c>h,d>e,d>f,e>g,e>h,f>i
find_195(a,b,c,d,e,f,g,h,i) =
  if a > b
  then find_186(a,c,d,b,e,f,g,h,i)
  else find_186(b,c,d,a,e,f,g,h,i)
# n=9, i=4, cost=6: b>h,c>f,c>g,d>e,d>f,e>g,e>h,f>i
find_194(a,b,c,d,e,f,g,h,i) =
  if a > e
  then find_196(b,a,c,d,e,f,i)
  else find_120(b,c,e,a,f,g,h,i)
# n=7, i=4, cost=5: b>e,c>f,d>e,d>f,f>g
find_196(a,b,c,d,e,f,g) =
  if a > b
  then find_197(a,c,d,b,f,e,g)
  else find_187(b,c,d,a,e,f,g)
# n=7, i=4, cost=4: a>d,b>e,c>e,c>f,d>f,e>g
find_197(a,b,c,d,e,f,g) =
  if a > b
  then find_66(b,d,c,f,e)
  else find_52(a,c,d,e,g)
# n=11, i=5, cost=7: a>f,b>e,b>h,c>d,c>g,e>j,f>k,g>h,g>j,g>k,h>i
find_192(a,b,c,d,e,f,g,h,i,j,k) =
  if a > g
  then find_198(b,a,c,d,e,f,g,k,h)
  else find_199(d,b,g,e,a,h,f,k,j,i)
# n=10, i=4, cost=6: b>d,b>f,c>e,c>f,c>i,d>i,e>g,f>j,g>h
find_199(a,b,c,d,e,f,g,h,i,j) =
  if a > e
  then find_128(a,b,c,d,f,e,i,j,g)
  else find_81(e,b,a,d,f,g,j,i,h)
# n=9, i=5, cost=6: a>e,a>i,b>f,b>g,c>d,c>g,f>h,g>h,g>i
find_198(a,b,c,d,e,f,g,h,i) =
  if d > e
  then find_200(d,a,b,f,g,e,i,h)
  else find_201(a,b,c,e,f,g,d,h,i)
# n=9, i=5, cost=5: a>d,a>i,b>e,b>f,c>f,c>g,d>g,e>h,f>h,f>i
find_201(a,b,c,d,e,f,g,h,i) =
  if d > e
  then find_53(d,c,b,e,g,f,i)
  else find_202(a,e,c,f,d,h,i)
# n=7, i=4, cost=4: a>e,a>g,b>e,b>f,c>d,d>f,d>g
find_202(a,b,c,d,e,f,g) =
  if a > b
  then find_52(b,c,e,d,g)
  else find_52(a,c,e,d,f)
# n=8, i=4, cost=5: a>f,b>f,b>g,c>d,c>e,d>h,e>g,e>h
find_200(a,b,c,d,e,f,g,h) =
  if a > e
  then find_190(b,c,a,d,e,f)
  else find_167(b,d,e,a,h,g)
# n=12, i=5, cost=9: a>g,a>l,b>f,b>h,c>e,c>i,d>h,d>i,h>k,i>j,i>l
find_172(a,b,c,d,e,f,g,h,i,j,k,l) =
  if e > f
  then find_203(a,b,d,c,g,e,h,i,f,j,k,l)
  else find_204(a,b,c,d,g,f,h,i,e,k,j,l)
# n=12, i=5, cost=8: a>e,a>l,b>f,b>g,c>h,c>i,d>g,d>h,f>i,g>j,h>k,h>l
find_204(a,b,c,d,e,f,g,h,i,j,k,l) =
  if a > c
  then find_205(b,d,a,e,f,c,g,j,h,k,l,i)
  else find_206(b,d,c,f,a,e,g,h,i,k,j,l)
# n=12, i=5, cost=7: a>d,a>g,b>g,b>h,c>e,c>h,c>i,d>i,e>f,e>l,g>k,h>j,h>l
find_206(a,b,c,d,e,f,g,h,i,j,k,l) =
  if d > h
  then find_207(b,c,a,e,d,f,g,i,k,h)
  else find_208(a,b,c,e,f,g,h,j,k,l,d)
# n=11, i=5, cost=6: a>f,a>k,b>f,b>g,c>d,c>g,d>e,d>j,f>i,g>h,g>j,g>k
find_208(a,b,c,d,e,f,g,h,i,j,k) =
  if a > d
  then find_209(b,c,a,d,f,g,e,i,h,k)
  else find_69(b,d,e,a,g,h,j,f)
# n=10, i=5, cost=5: a>e,a>f,b>d,b>f,c>d,c>e,c>j,d>g,e>h,f>i,f>j
find_209(a,b,c,d,e,f,g,h,i,j) =
  if d > e
  then find_182(a,c,d,f,g,i,e,j)
  else find_182(b,c,e,f,h,i,d,j)
# n=10, i=5, cost=6: a>g,a>j,b>d,b>h,b>j,c>e,c>g,d>f,e>h,e>j,g>i
find_207(a,b,c,d,e,f,g,h,i,j) =
  if d > g
  then find_210(a,d,c,f,e,h,g,j)
  else find_211(e,b,a,g,h,i,j,d)
# n=8, i=4, cost=5: a>e,a>g,b>e,b>g,b>h,c>d,c>g,d>f,d>h
find_211(a,b,c,d,e,f,g,h) =
  if a > b
  then find_72(a,c,d,b,e,f,g)
  else find_73(b,c,d,a,f,e,g,h)
# n=8, i=4, cost=5: a>g,a>h,b>d,b>g,c>e,c>g,e>f,e>h
find_210(a,b,c,d,e,f,g,h) =
  if a > e
  then find_147(b,a,c,d,e,f,h,g)
  else find_100(b,e,f,d,a,h)
# n=12, i=5, cost=7: a>e,a>g,b>g,b>i,c>d,c>f,e>l,f>i,f>l,g>h,i>j,i>k
find_205(a,b,c,d,e,f,g,h,i,j,k,l) =
  if d > g
  then find_212(d,a,b,f,e,i,g,l,k,j)
  else find_213(a,c,b,e,f,g,h,i,j,k,l,d)
# n=12, i=5, cost=6: a>d,a>f,b>e,b>l,c>f,c>h,d>k,e>h,e>k,f>g,f>l,h>i,h>j
find_213(a,b,c,d,e,f,g,h,i,j,k,l) =
  if b > d
  then find_214(a,c,b,e,d,f,g,h,k,j,i,l)
  else find_215(c,d,f,b,g,e,k)
# n=7, i=4, cost=3: a>c,b>d,c>e,d>f,f>g
find_215(a,b,c,d,e,f,g) =
  if c > f
  then find_152(b,c,e,d)
  else find_36(a,f,g)
# n=12, i=5, cost=5: a>e,a>f,b>f,b>h,c>d,c>e,c>l,d>h,d>i,e>i,f>g,f>l,h>j,h>k
find_214(a,b,c,d,e,f,g,h,i,j,k,l) =
  if d > f
  then find_216(a,b,d,e,h,f,i,j,k)
  else find_217(c,f,g,e,d,l)
# n=6, i=3, cost=4: a>d,a>e,a>f,b>c,b>e,b>f
find_217(a,b,c,d,e,f) =
  if c > d
  then find_31(c,a,e,f)
  else find_31(d,b,e,f)
# n=9, i=4, cost=4: a>d,a>f,b>e,b>f,c>e,c>f,c>g,d>g,e>h,e>i
find_216(a,b,c,d,e,f,g,h,i) =
  if d > e
  then find_66(b,d,c,g,f)
  else find_45(a,e,h,i,f)
# n=10, i=4, cost=6: a>g,b>e,b>g,c>f,c>g,d>f,d>h,e>h,f>i,f>j
find_212(a,b,c,d,e,f,g,h,i,j) =
  if b > c
  then find_218(a,e,d,c,g,f,h)
  else find_219(a,b,d,e,f,g,i,j)
# n=8, i=3, cost=5: a>f,b>d,b>f,c>e,e>g,e>h
find_219(a,b,c,d,e,f,g,h) =
  if b > c
  then find_95(d,c,a,f,e)
  else find_46(a,b,e,g,h,d)
# n=7, i=3, cost=5: a>e,b>g,c>f,c>g,d>e,d>f
find_218(a,b,c,d,e,f,g) =
  if a > c
  then find_156(b,d,a,c,e)
  else find_167(b,d,c,a,f,g)
# n=12, i=5, cost=8: a>e,a>l,b>g,b>i,c>g,c>h,d>f,d>h,f>i,g>k,h>j,h>l
find_203(a,b,c,d,e,f,g,h,i,j,k,l) =
  if a > b
  then find_220(d,c,a,e,f,b,h,j,g,k,l,i)
  else find_221(d,c,b,a,f,e,g,h,i,k,j)
# n=11, i=5, cost=7: a>e,a>h,b>g,b>h,c>d,c>g,c>i,d>f,e>i,g>j,h>k
find_221(a,b,c,d,e,f,g,h,i,j,k) =
  if d > h
  then find_222(d,b,a,f,e,g,i,j,h)
  else find_223(c,b,a,e,g,h,i,k,j,d)
# n=10, i=5, cost=6: a>e,a>g,a>j,b>e,b>f,c>d,c>f,d>g,e>i,f>h,f>j
find_223(a,b,c,d,e,f,g,h,i,j) =
  if a > d
  then find_209(b,c,a,d,e,f,g,i,h,j)
  else find_72(d,b,f,a,g,h,e)
# n=9, i=4, cost=6: a>d,a>i,b>f,b>i,c>e,c>i,e>g,f>h
find_222(a,b,c,d,e,f,g,h,i) =
  if e > f
  then find_210(b,a,c,d,e,g,i,f)
  else find_210(c,a,b,d,f,h,i,e)
# n=12, i=5, cost=7: a>e,a>g,b>g,b>i,c>d,c>f,c>k,e>l,f>i,f>l,g>h,g>k,i>j
find_220(a,b,c,d,e,f,g,h,i,j,k,l) =
  if d > g
  then find_224(d,a,b,f,e,i,g,l,j)
  else find_225(a,c,b,e,f,g,h,i,j,d,k,l)
# n=12, i=5, cost=6: a>d,a>f,b>e,b>j,b>k,c>f,c>h,d>l,e>h,e>l,f>g,f>j,f>k,h>i
find_225(a,b,c,d,e,f,g,h,i,j,k,l) =
  if d > e
  then find_226(d,c,b,f,g,e,j,k,l)
  else find_227(a,c,b,e,f,g,h,d,i,l,k,j)
# n=12, i=5, cost=5: a>e,a>h,b>e,b>g,c>d,c>k,c>l,d>g,d>h,e>f,e>k,e>l,g>i,h>j
find_227(a,b,c,d,e,f,g,h,i,j,k,l) =
  if d > e
  then find_64(a,b,g,h,i,j,e)
  else find_33(f,c,d,k,l)
# n=9, i=4, cost=5: a>f,b>d,c>f,c>g,c>h,d>e,d>g,d>h,f>i
find_226(a,b,c,d,e,f,g,h,i) =
  if a > d
  then find_135(b,c,f,d,i,e)
  else find_93(a,e,c,g,h)
# n=9, i=4, cost=6: a>g,b>e,b>g,c>f,c>g,d>f,d>h,e>h,f>i
find_224(a,b,c,d,e,f,g,h,i) =
  if a > c
  then find_228(d,a,b,e,c,g,f,h)
  else find_229(b,d,c,a,e,f,g,h,i)
# n=9, i=4, cost=5: a>e,a>g,b>f,b>h,c>d,c>f,d>g,e>h,f>i
find_229(a,b,c,d,e,f,g,h,i) =
  if e > f
  then find_230(b,c,a,e,d,g,h)
  else find_231(a,d,b,f,i,g)
# n=6, i=3, cost=4: a>f,b>f,c>d,d>e
find_231(a,b,c,d,e,f) =
  if a > d
  then find_66(b,c,a,d,f)
  else find_31(b,d,a,e)
# n=7, i=4, cost=4: a>g,b>e,c>d,c>f,d>g,e>f
find_230(a,b,c,d,e,f,g) =
  if a > e
  then find_232(b,c,a,d,e,g)
  else find_55(c,e,a,d,f)
# n=6, i=4, cost=3: a>e,b>d,c>e,c>f,d>f
find_232(a,b,c,d,e,f) =
  if a > d
  then find_152(b,c,e,d)
  else find_36(a,c,f)
# n=8, i=4, cost=5: a>g,a>h,b>e,c>d,c>f,d>h,e>f,e>g
find_228(a,b,c,d,e,f,g,h) =
  if a > c
  then find_135(b,c,d,e,h,g)
  else find_231(a,d,b,e,f,h)