# cost = 23
# version = 1.7
# time = 84828.000
# n_nodes = 6685168
# hash_table_size = 6553600
# n_solved = 769283
# n_unsolved = 4552004
# n_hits = 447733986
# n_misses = 3590000389
# n_locked = 0
# avg_priority = 1676.834
# avg_cost = 7.523
# n_db_hits = 23156
# n_db_misses = 402381764

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