# cost = 24
# version = 2.1

# n=14, i=6, 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=6, 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=6, 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=6, 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=6, 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=6, 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=6, 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=6, 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=6, 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,l,k,g,h,i,m,b,n,j)
 else find_10(c,d,e,b,f,l,j,g,h,i,m,a,n,k)
# n=14, i=6, a?b: a>j,b>i,c>h,d>g,d>l,e>f,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,h,f,g,j,k,l,b,m,n,i)
 else find_11(c,b,d,e,h,f,g,i,k,l,a,m,n,j)
# n=14, i=6, f?g: 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 f > g
 then find_12(a,b,c,d,h,e,i,k,j,f,l,n,m,g)
 else find_12(a,b,d,c,h,e,j,k,i,g,m,n,l,f)
# n=14, i=6, e?j: a>f,b>e,b>h,c>i,c>n,d>g,d>j,g>k,h>l,i>m,j>n
find_12(a,b,c,d,e,f,g,h,i,j,k,l,m,n) =
 if e > j
 then find_13(a,c,d,b,f,h,g,i,e,l,k,m,j,n)
 else find_14(a,b,c,d,f,i,h,g,j,m,l,k,n,e)
# n=14, i=6, f?g: a>e,b>g,b>n,c>f,c>m,d>h,d>i,f>j,g>k,h>l,i>m,i>n
find_14(a,b,c,d,e,f,g,h,i,j,k,l,m,n) =
 if f > g
 then find_15(a,b,d,c,e,h,i,f,j,l,m,n,g,k)
 else find_15(a,c,d,b,e,h,i,g,k,l,n,m,f,j)
# n=14, i=6, a?h: a>e,b>l,b>m,c>f,c>g,d>h,d>k,f>j,g>k,g>l,h>i,h>m,m>n
find_15(a,b,c,d,e,f,g,h,i,j,k,l,m,n) =
 if a > h
 then find_16(b,c,d,a,e,f,g,j,h,i,k,l,m,n)
 else find_17(b,c,d,f,g,h,i,j,a,e,k,l,m,n)
# n=14, i=6, d?g: a>l,a>m,b>d,b>e,c>f,c>k,d>h,e>k,e>l,f>g,f>i,f>m,i>j,m>n
find_17(a,b,c,d,e,f,g,h,i,j,k,l,m,n) =
 if d > g
 then find_18(a,b,c,e,d,f,h,i,j,k,l,m,n,g)
 else find_19(a,b,f,i,e,g,j,k,m,n,l,d,h)
# n=13, i=5, a?b: a>i,a>k,b>e,b>l,c>d,c>f,c>i,d>g,e>h,e>k,f>l,i>j,l>m
find_19(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if a > b
 then find_20(c,a,f,d,b,g,i,e,j,h,k,l)
 else find_21(c,b,d,e,f,a,h,g,k,i,l,m,j)
# n=13, i=5, c?e: a>c,a>e,a>j,b>d,b>f,b>k,c>h,d>g,d>i,e>k,f>i,f>j,j>m,k>l
find_21(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if c > e
 then find_22(a,b,d,c,f,g,h,e,i,j,m,k)
 else find_23(a,b,d,f,e,g,c,i,h,k,j,m,l)
# n=13, i=5, c?e: a>e,a>k,b>c,b>d,b>j,c>f,c>h,d>h,d>k,e>g,e>j,g>i,j>m,k>l
find_23(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if c > e
 then find_24(d,c,a,f,h,k,e,j,g,l)
 else find_25(e,b,g,d,i,c,j,k,m,f,l)
# n=11, i=4, c?d: a>c,a>f,a>g,b>d,b>f,b>g,c>e,d>h,f>j,g>i,h>k
find_25(a,b,c,d,e,f,g,h,i,j,k) =
 if c > d
 then find_26(c,b,e,f,g,i,j,d)
 else find_27(d,a,f,g,h,k,i,j,c)
# n=9, i=3, a?b: a>e,a>i,b>c,b>d,b>i,c>h,d>g,e>f
find_27(a,b,c,d,e,f,g,h,i) =
 if a > b
 then find_28(e,b,d,c,i,f)
 else find_29(c,d,a,g,h,e,i)
# n=7, i=2, a?b: a>e,b>d,c>f,c>g
find_29(a,b,c,d,e,f,g) =
 if a > b
 then find_30(a,c,f,g,b,e)
 else find_30(b,c,f,g,a,d)
# n=6, i=2, a?b: a>e,a>f,b>c,b>d
find_30(a,b,c,d,e,f) =
 if a > b
 then find_31(b,e,f)
 else find_31(a,c,d)
# n=3, i=1, b?c: no comparisons done
find_31(a,b,c) =
 if b > c
 then find_32(a,b)
 else find_32(a,c)
# n=2, i=1, a?b: no comparisons done
find_32(a,b) =
 if a > b
 then a
 else b
# n=6, i=2, a?b: a>f,b>c,b>d,b>e
find_28(a,b,c,d,e,f) =
 if a > b
 then find_32(b,f)
 else find_33(a,c,d,e)
# n=4, i=1, a?b: no comparisons done
find_33(a,b,c,d) =
 if a > b
 then find_31(a,c,d)
 else find_31(b,c,d)
# n=8, i=3, a?b: a>c,a>h,b>d,b>e,b>h,d>g,e>f
find_26(a,b,c,d,e,f,g,h) =
 if a > b
 then find_34(c,b,d,e,h)
 else find_29(d,e,a,f,g,c,h)
# n=5, i=2, a?b: b>c,b>d,b>e
find_34(a,b,c,d,e) =
 if a > b
 then b
 else find_33(a,c,d,e)
# n=10, i=4, a?g: a>e,a>f,b>d,b>e,b>g,c>f,c>g,f>j,g>h,g>i
find_24(a,b,c,d,e,f,g,h,i,j) =
 if a > g
 then find_35(b,c,a,d,e,f,j,g)
 else find_34(d,g,a,h,i)
# n=8, i=4, d?e: a>d,a>e,a>h,b>f,b>h,c>e,c>f,c>h,f>g
find_35(a,b,c,d,e,f,g,h) =
 if d > e
 then find_36(a,b,c,d,f,e,g,h)
 else find_37(a,b,f,e,h,g,d)
# n=7, i=3, c?d: a>d,a>e,b>c,b>e,c>f,d>g
find_37(a,b,c,d,e,f,g) =
 if c > d
 then find_38(a,c,f,e)
 else find_38(b,d,g,e)
# n=4, i=2, c?d: a>d,b>c
find_38(a,b,c,d) =
 if c > d
 then find_39(a,b,c)
 else find_39(b,a,d)
# n=3, i=2, a?c: b>c
find_39(a,b,c) =
 if a > c
 then find_40(a,b)
 else c
# n=2, i=2, a?b: no comparisons done
find_40(a,b) =
 if a > b
 then b
 else a
# n=8, i=4, d?e: a>d,a>h,b>e,b>h,c>e,c>f,c>h,d>f,e>g
find_36(a,b,c,d,e,f,g,h) =
 if d > e
 then find_41(b,d,c,f,h)
 else find_38(a,e,g,h)
# n=5, i=3, a?b: a>e,b>d,c>d,c>e
find_41(a,b,c,d,e) =
 if a > b
 then find_39(b,c,e)
 else find_39(a,c,d)
# n=12, i=5, c?d: a>d,a>j,b>c,b>e,b>l,c>f,c>i,d>g,d>h,e>i,e>j,h>l,j>k
find_22(a,b,c,d,e,f,g,h,i,j,k,l) =
 if c > d
 then find_24(e,c,a,f,i,j,d,g,h,k)
 else find_42(d,b,g,h,e,c,j,f,k,l)
# n=10, i=4, c?e: a>c,a>d,a>f,b>e,b>f,b>j,d>j,e>g,f>h,g>i
find_42(a,b,c,d,e,f,g,h,i,j) =
 if c > e
 then find_43(c,d,b,f,h,j,e)
 else find_27(e,a,d,f,g,i,h,j,c)
# n=7, i=3, a?b: a>g,b>f,c>d,c>f,c>g,d>e
find_43(a,b,c,d,e,f,g) =
 if a > b
 then find_44(a,c,b,d,g,e)
 else find_44(b,c,a,d,f,e)
# n=6, i=3, a?d: a>c,a>e,b>d,b>e,d>f
find_44(a,b,c,d,e,f) =
 if a > d
 then find_45(c,b,d,e)
 else find_32(a,f)
# n=4, i=2, a?b: b>c,b>d
find_45(a,b,c,d) =
 if a > b
 then b
 else find_31(a,c,d)
# n=12, i=5, c?e: a>c,a>d,a>g,b>e,b>g,c>l,d>f,e>h,e>l,g>i,h>j,h>k
find_20(a,b,c,d,e,f,g,h,i,j,k,l) =
 if c > e
 then find_46(d,c,b,f,g,i,e,h,l)
 else find_47(e,a,d,g,h,j,k,f,i,c,l)
# n=11, i=4, c?e: a>e,a>j,b>c,b>d,b>j,c>h,d>i,e>f,e>g,j>k
find_47(a,b,c,d,e,f,g,h,i,j,k) =
 if c > e
 then find_48(d,c,a,h,i,j,e,k)
 else find_49(b,a,d,e,f,g,i,j,k,c)
# n=10, i=4, a?d: a>c,a>h,a>j,b>d,b>h,c>g,d>e,d>f,d>j,h>i
find_49(a,b,c,d,e,f,g,h,i,j) =
 if a > d
 then find_50(c,b,g,h,d,e,f,j,i)
 else find_51(e,f,a,c,h,j)
# n=6, i=2, a?b: c>d,c>e,c>f
find_51(a,b,c,d,e,f) =
 if a > b
 then find_28(a,c,d,e,f,b)
 else find_28(b,c,d,e,f,a)
# n=9, i=3, a?d: a>c,b>d,b>e,d>i,e>f,e>g,e>h
find_50(a,b,c,d,e,f,g,h,i) =
 if a > d
 then find_52(a,b,c,e,d,f,g,h)
 else find_53(d,e,f,g,h,a,i)
# n=7, i=2, a?b: a>f,a>g,b>c,b>d,b>e
find_53(a,b,c,d,e,f,g) =
 if a > b
 then find_31(b,f,g)
 else find_33(a,c,d,e)
# n=8, i=3, a?d: a>c,a>e,b>d,b>e,d>f,d>g,d>h
find_52(a,b,c,d,e,f,g,h) =
 if a > d
 then find_45(c,b,d,e)
 else find_33(a,f,g,h)
# n=8, i=3, a?b: a>e,b>d,b>g,c>f,c>g,f>h
find_48(a,b,c,d,e,f,g,h) =
 if a > b
 then find_54(c,a,e,b,f,d,h)
 else find_55(c,b,d,a,f,g,e,h)
# n=8, i=3, c?d: a>e,a>f,b>c,b>d,b>f,d>g,e>h
find_55(a,b,c,d,e,f,g,h) =
 if c > d
 then find_37(a,b,c,e,f,d,h)
 else find_56(a,b,e,d,f,c,g,h)
# n=8, i=3, b?c: a>c,a>e,b>d,b>e,c>h,d>f,d>g
find_56(a,b,c,d,e,f,g,h) =
 if b > c
 then find_30(a,d,f,g,c,e)
 else find_32(b,h)
# n=7, i=3, a?b: a>e,b>c,b>d,d>f,e>g
find_54(a,b,c,d,e,f,g) =
 if a > b
 then find_57(e,b,d,c,g)
 else find_58(c,a,d,f,e)
# n=5, i=2, b?c: b>e,c>d
find_58(a,b,c,d,e) =
 if b > c
 then find_45(a,b,c,e)
 else find_45(a,c,b,d)
# n=5, i=2, a?d: a>e,b>c,b>d
find_57(a,b,c,d,e) =
 if a > d
 then find_38(a,b,c,e)
 else find_32(c,d)
# n=9, i=4, a?g: a>d,b>g,c>e,c>g,e>f,g>h,g>i
find_46(a,b,c,d,e,f,g,h,i) =
 if a > g
 then find_59(b,a,c,d,e,f,g)
 else find_60(e,b,f,g,a,h,i)
# n=7, i=3, a?d: a>c,b>d,d>e,d>f,d>g
find_60(a,b,c,d,e,f,g) =
 if a > d
 then find_39(c,b,d)
 else find_33(a,e,f,g)
# n=7, i=4, a?e: a>g,b>d,b>g,c>e,c>g,e>f
find_59(a,b,c,d,e,f,g) =
 if a > e
 then find_61(b,a,c,d,e,g,f)
 else find_62(b,e,a,f,d)
# n=5, i=3, a?c: a>e,b>c,b>d
find_62(a,b,c,d,e) =
 if a > c
 then find_63(a,b,d,e,c)
 else find_39(d,c,a)
# n=5, i=3, c?d: a>d,a>e,b>c,b>e
find_63(a,b,c,d,e) =
 if c > d
 then find_39(c,a,e)
 else find_39(d,b,e)
# n=7, i=4, d?e: a>d,a>f,b>e,b>f,c>e,c>f,e>g
find_61(a,b,c,d,e,f,g) =
 if d > e
 then find_64(d,c,b,f)
 else find_38(a,e,g,f)
# n=4, i=3, a?b: b>d,c>d
find_64(a,b,c,d) =
 if a > b
 then find_40(b,c)
 else find_39(a,c,d)
# n=14, i=6, a?e: a>k,a>l,b>d,b>e,c>f,c>j,d>j,d>k,e>g,e>n,f>h,f>l,f>n,h>i,l>m
find_18(a,b,c,d,e,f,g,h,i,j,k,l,m,n) =
 if a > e
 then find_65(b,a,c,d,f,h,e,g,i,j,k,l,m,n)
 else find_66(d,e,c,g,a,f,j,h,i,n,k,l)
# n=12, i=5, e?h: a>g,a>k,b>d,b>e,b>j,c>f,c>g,e>k,e>l,f>h,f>j,f>l,h>i
find_66(a,b,c,d,e,f,g,h,i,j,k,l) =
 if e > h
 then find_67(a,c,b,d,f,e,g,j,k,h,l)
 else find_68(a,b,f,d,g,h,j,i,e)
# n=9, i=4, a?f: a>e,b>d,b>g,b>i,c>f,c>g,f>h,f>i
find_68(a,b,c,d,e,f,g,h,i) =
 if a > f
 then find_69(b,a,c,e,d,g,f,h)
 else find_70(b,f,h,g,d,a,e,i)
# n=8, i=3, a?b: a>d,a>e,a>h,b>c,b>f,b>h,f>g
find_70(a,b,c,d,e,f,g,h) =
 if a > b
 then find_51(d,e,b,c,f,h)
 else find_71(c,f,a,e,d,h,g)
# n=7, i=2, a?b: b>g,c>d,c>e,c>f
find_71(a,b,c,d,e,f,g) =
 if a > b
 then find_28(a,c,d,e,f,b)
 else find_53(b,c,d,e,f,a,g)
# n=8, i=4, a?c: a>e,a>f,b>d,b>g,c>f,c>g,g>h
find_69(a,b,c,d,e,f,g,h) =
 if a > c
 then find_72(e,c,b,d,f,g)
 else find_73(a,b,d,e,f,g,h)
# n=7, i=3, c?d: a>d,a>e,b>c,b>f,f>g
find_73(a,b,c,d,e,f,g) =
 if c > d
 then find_74(a,b,c,e,f,g)
 else find_75(a,b,d,e,f,g)
# n=6, i=3, c?e: a>c,a>d,b>e,e>f
find_75(a,b,c,d,e,f) =
 if c > e
 then find_76(b,c,d)
 else find_77(a,b,d,e,f)
# n=5, i=3, a?d: a>c,b>d,d>e
find_77(a,b,c,d,e) =
 if a > d
 then find_39(c,b,d)
 else find_32(a,e)
# n=3, i=2, a?b: no comparisons done
find_76(a,b,c) =
 if a > b
 then find_39(c,a,b)
 else find_39(c,b,a)
# n=6, i=3, a?e: a>d,b>c,b>e,e>f
find_74(a,b,c,d,e,f) =
 if a > e
 then find_63(a,b,c,d,e)
 else find_45(c,e,a,f)
# n=6, i=3, a?f: b>e,b>f,c>d,c>f
find_72(a,b,c,d,e,f) =
 if a > f
 then find_78(a,b,c,d,e)
 else find_63(b,c,d,e,f)
# n=5, i=3, d?e: b>e,c>d
find_78(a,b,c,d,e) =
 if d > e
 then find_79(a,b,c,d)
 else find_79(a,c,b,e)
# n=4, i=3, a?b: c>d
find_79(a,b,c,d) =
 if a > b
 then find_80(a,c,d,b)
 else find_80(b,c,d,a)
# n=4, i=3, c?d: a>d,b>c
find_80(a,b,c,d) =
 if c > d
 then find_40(a,c)
 else find_40(b,d)
# n=11, i=5, a?e: a>g,a>i,b>e,b>g,c>d,c>f,c>h,e>h,e>j,e>k,f>i,f>j,f>k
find_67(a,b,c,d,e,f,g,h,i,j,k) =
 if a > e
 then find_81(b,c,a,d,f,g,e,i,h)
 else find_82(c,e,d,a,f,h,g,j,k)
# n=9, i=4, c?d: a>c,a>e,a>f,b>d,b>f,b>h,b>i,d>g,e>h,e>i
find_82(a,b,c,d,e,f,g,h,i) =
 if c > d
 then find_83(c,e,b,f,h,i,d)
 else find_84(d,a,f,g,e,c,h,i)
# n=8, i=3, a?e: a>d,a>f,b>c,b>e,b>f,e>g,e>h
find_84(a,b,c,d,e,f,g,h) =
 if a > e
 then find_85(a,b,c,d,e,f)
 else find_34(c,e,a,g,h)
# n=6, i=3, c?d: a>d,a>e,a>f,b>c,b>e,b>f
find_85(a,b,c,d,e,f) =
 if c > d
 then find_45(c,a,e,f)
 else find_45(d,b,e,f)
# n=7, i=3, a?b: a>g,b>e,b>f,c>d,c>e,c>f,c>g
find_83(a,b,c,d,e,f,g) =
 if a > b
 then find_63(a,c,d,b,g)
 else find_85(b,c,d,a,e,f)
# n=9, i=5, d?f: a>f,a>g,b>d,b>e,b>i,c>f,c>g,c>h,e>h,g>i
find_81(a,b,c,d,e,f,g,h,i) =
 if d > f
 then find_86(e,d,a,c,h,g,i,f)
 else find_87(b,a,e,f,g,h,i,d)
# n=8, i=4, c?d: a>c,a>g,a>h,b>d,b>e,c>f,d>h,e>g
find_87(a,b,c,d,e,f,g,h) =
 if c > d
 then find_44(c,b,f,e,d,g)
 else find_88(e,d,a,c,h,g)
# n=6, i=3, a?b: a>f,b>d,b>e,c>d,c>e,c>f
find_88(a,b,c,d,e,f) =
 if a > b
 then find_39(b,c,f)
 else find_45(a,c,d,e)
# n=8, i=4, a?b: a>e,b>h,c>f,c>h,d>e,d>f,d>h,f>g
find_86(a,b,c,d,e,f,g,h) =
 if a > b
 then find_89(a,c,d,b,e,f,g)
 else find_36(b,c,d,a,f,e,g,h)
# n=7, i=4, d?f: a>d,a>e,b>f,c>e,c>f,f>g
find_89(a,b,c,d,e,f,g) =
 if d > f
 then find_79(b,d,c,e)
 else find_77(a,b,e,f,g)
# n=14, i=6, f?g: a>d,a>g,b>g,b>k,b>l,c>e,c>j,d>j,d>k,e>f,e>l,e>n,f>i,g>h,g>n,l>m
find_65(a,b,c,d,e,f,g,h,i,j,k,l,m,n) =
 if f > g
 then find_90(a,b,e,d,f,i,j,l,m,k,g)
 else find_91(c,b,a,d,e,g,h,k,j,l,m,f,n)
# n=13, i=6, d?e: a>e,a>i,b>f,b>h,b>j,c>d,c>f,d>h,d>i,e>j,e>l,e>m,f>g,f>l,f>m,j>k
find_91(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if d > e
 then find_92(a,b,d,f,h,i,g,e,j)
 else find_93(c,b,e,j,d,f,g,i,k,l,m,h)
# n=12, i=5, d?e: a>e,a>f,b>d,b>f,b>l,c>d,c>e,c>j,c>k,d>i,e>h,e>l,f>g,f>j,f>k
find_93(a,b,c,d,e,f,g,h,i,j,k,l) =
 if d > e
 then find_94(a,c,d,f,g,i,j,k,e)
 else find_95(b,c,e,f,h,g,d,j,k,l)
# n=10, i=4, c?d: a>d,a>g,a>j,b>c,b>h,b>i,c>e,c>g,c>j,d>f,d>h,d>i
find_95(a,b,c,d,e,f,g,h,i,j) =
 if c > d
 then find_34(e,a,d,g,j)
 else find_34(f,b,c,h,i)
# n=9, i=4, a?b: a>d,a>i,b>c,b>g,b>h,c>f,c>i,d>e,d>g,d>h
find_94(a,b,c,d,e,f,g,h,i) =
 if a > b
 then find_96(d,b,e,c,g,h,f,i)
 else find_52(c,a,f,d,i,g,h,e)
# n=8, i=3, c?d: a>c,a>e,a>f,b>d,b>e,b>f,d>g,d>h
find_96(a,b,c,d,e,f,g,h) =
 if c > d
 then find_45(c,b,e,f)
 else find_30(a,d,g,h,e,f)
# n=9, i=5, d?h: a>f,a>h,b>d,b>e,b>i,c>e,c>f,c>h,d>g,h>i
find_92(a,b,c,d,e,f,g,h,i) =
 if d > h
 then find_97(d,a,c,e,g,f,h)
 else find_98(f,h,b,e,d,i)
# n=6, i=3, a?b: b>e,b>f,c>d,c>e,c>f
find_98(a,b,c,d,e,f) =
 if a > b
 then find_80(a,c,d,b)
 else find_85(b,c,d,a,e,f)
# n=7, i=4, e?f: a>e,a>g,b>f,b>g,c>d,c>f,c>g
find_97(a,b,c,d,e,f,g) =
 if e > f
 then find_99(b,a,c,d,e,g)
 else find_100(d,a,b,f,g)
# n=5, i=3, a?b: b>e,c>d,c>e
find_100(a,b,c,d,e) =
 if a > b
 then find_80(a,c,d,b)
 else find_63(b,c,d,a,e)
# n=6, i=4, d?e: a>f,b>e,b>f,c>d,c>f
find_99(a,b,c,d,e,f) =
 if d > e
 then find_41(a,d,b,e,f)
 else find_41(a,e,c,d,f)
# n=11, i=5, b?e: a>d,a>k,b>h,b>j,b>k,c>e,c>h,d>g,d>j,e>f,e>k,h>i
find_90(a,b,c,d,e,f,g,h,i,j,k) =
 if b > e
 then find_101(a,c,b,d,g,h,e,f,i,j,k)
 else find_102(a,e,f,d,b,g,h,i,k)
# n=9, i=4, a?c: a>d,a>i,b>c,b>e,d>f,e>g,e>i,g>h
find_102(a,b,c,d,e,f,g,h,i) =
 if a > c
 then find_103(a,b,d,e,c,f,g,h,i)
 else find_104(c,e,g,a,h,d)
# n=6, i=3, c?d: a>d,b>c,c>e,d>f
find_104(a,b,c,d,e,f) =
 if c > d
 then find_39(a,c,e)
 else find_39(b,d,f)
# n=9, i=4, c?g: a>c,a>e,a>i,b>d,b>e,c>f,d>g,d>i,g>h
find_103(a,b,c,d,e,f,g,h,i) =
 if c > g
 then find_74(c,b,e,f,d,i)
 else find_44(a,d,e,g,i,h)
# n=11, i=5, d?f: a>d,a>k,b>f,b>g,c>f,c>g,c>j,d>e,d>j,f>i,g>h,g>k
find_101(a,b,c,d,e,f,g,h,i,j,k) =
 if d > f
 then find_105(b,c,a,d,e,g,h,j,f,k)
 else find_106(f,g,a,h,i,k,d)
# n=7, i=3, a?b: a>e,a>g,b>d,b>f,c>f,c>g
find_106(a,b,c,d,e,f,g) =
 if a > b
 then find_58(e,c,b,d,g)
 else find_58(d,c,a,e,f)
# n=10, i=5, e?f: a>f,a>i,b>f,b>h,b>i,c>d,c>j,d>e,d>h,d>i,f>g,f>j
find_105(a,b,c,d,e,f,g,h,i,j) =
 if e > f
 then find_100(e,a,b,h,i)
 else find_107(a,c,d,f,h,g,i,j)
# n=8, i=4, c?d: a>d,a>g,b>c,b>h,c>e,c>g,d>f,d>h
find_107(a,b,c,d,e,f,g,h) =
 if c > d
 then find_45(e,a,d,g)
 else find_45(f,b,c,h)
# n=14, i=6, a?f: a>l,a>m,b>f,b>g,c>i,c>k,d>e,d>i,f>h,g>k,g>l,i>j,i>m,m>n
find_16(a,b,c,d,e,f,g,h,i,j,k,l,m,n) =
 if a > f
 then find_108(c,a,b,d,e,g,f,i,j,h,l,k,m,n)
 else find_109(d,c,b,e,g,f,h,i,a,j,k,l)
# n=12, i=6, g?h: a>d,a>h,b>h,b>k,c>e,c>f,e>k,e>l,f>g,f>i,h>j,i>l
find_109(a,b,c,d,e,f,g,h,i,j,k,l) =
 if g > h
 then find_110(e,a,b,f,d,g,i,k,l,h)
 else find_111(a,b,c,d,e,f,i,h,j,k,l,g)
# n=12, i=6, d?g: a>d,a>h,b>h,b>j,c>e,c>f,e>j,e>k,f>g,f>l,g>k,h>i,h>l
find_111(a,b,c,d,e,f,g,h,i,j,k,l) =
 if d > g
 then find_112(b,c,a,d,e,f,h,i,j,g,l)
 else find_113(e,f,b,a,g,j,h,k,i,d,l)
# n=11, i=5, a?e: a>f,a>h,b>e,b>k,c>f,c>g,d>g,d>j,e>h,e>j,g>i,g>k
find_113(a,b,c,d,e,f,g,h,i,j,k) =
 if a > e
 then find_114(a,c,b,d,f,g,e,i,h,k,j)
 else find_115(d,c,b,e,g,a,i,h,j,k,f)
# n=11, i=5, b?d: a>e,a>i,b>e,b>k,c>d,c>j,d>f,d>i,e>g,e>j,f>h,f>k
find_115(a,b,c,d,e,f,g,h,i,j,k) =
 if b > d
 then find_116(a,c,e,d,g,f,h,k,i,j)
 else find_106(a,f,b,h,i,k,e)
# n=10, i=4, c?d: a>c,a>i,b>d,b>j,c>e,c>j,d>f,d>i,f>g,f>h
find_116(a,b,c,d,e,f,g,h,i,j) =
 if c > d
 then find_45(e,b,d,j)
 else find_30(a,f,g,h,c,i)
# n=11, i=5, f?g: a>e,a>g,b>e,b>f,c>g,c>j,d>f,d>k,f>h,f>j,g>i,g>k
find_114(a,b,c,d,e,f,g,h,i,j,k) =
 if f > g
 then find_117(c,a,d,e,f,h,j)
 else find_117(d,b,c,e,g,i,k)
# n=7, i=4, a?b: a>g,b>d,c>e,e>f,e>g
find_117(a,b,c,d,e,f,g) =
 if a > b
 then find_118(c,a,b,e,f,d,g)
 else find_119(b,c,a,d,e,f)
# n=6, i=4, c?e: a>c,a>d,b>e,e>f
find_119(a,b,c,d,e,f) =
 if c > e
 then find_64(d,c,b,e)
 else find_63(a,e,f,d,c)
# n=7, i=4, c?d: a>d,b>c,b>g,c>f,d>e,d>g
find_118(a,b,c,d,e,f,g) =
 if c > d
 then find_39(f,a,d)
 else find_45(e,b,c,g)
# n=11, i=6, d?e: a>g,a>i,b>e,b>f,c>d,c>g,d>j,e>i,f>j,f>k,g>h,g>k
find_112(a,b,c,d,e,f,g,h,i,j,k) =
 if d > e
 then find_120(d,a,b,g,f,h,e,j,k,i)
 else find_121(f,e,a,c,i,d,g,h,k,j)
# n=10, i=5, e?f: a>i,a>j,b>e,b>f,c>e,c>g,d>f,d>g,f>j,g>h,g>i
find_121(a,b,c,d,e,f,g,h,i,j) =
 if e > f
 then find_122(a,b,d,e,g,h,f,i)
 else find_123(a,b,c,g,f,h,j,e,i)
# n=9, i=4, d?e: a>g,a>i,b>e,c>d,c>h,d>f,d>i,e>g,e>h
find_123(a,b,c,d,e,f,g,h,i) =
 if d > e
 then find_124(a,b,d,f,e,i)
 else find_88(a,c,e,d,h,g)
# n=6, i=3, a?b: a>f,b>e,c>d,c>e,c>f
find_124(a,b,c,d,e,f) =
 if a > b
 then find_63(a,c,d,b,f)
 else find_63(b,c,d,a,e)
# n=8, i=4, d?e: a>h,b>d,c>e,c>g,d>g,e>f,e>h
find_122(a,b,c,d,e,f,g,h) =
 if d > e
 then find_125(a,c,d,e,g)
 else find_124(a,b,e,f,d,h)
# n=5, i=3, a?b: b>d,b>e,c>d,c>e
find_125(a,b,c,d,e) =
 if a > b
 then find_40(b,c)
 else find_45(a,c,d,e)
# n=10, i=5, d?e: a>g,a>h,b>d,b>j,c>e,c>g,d>f,d>i,e>h,e>i,g>j
find_120(a,b,c,d,e,f,g,h,i,j) =
 if d > e
 then find_126(a,d,c,f,e,g,i,j)
 else find_127(a,e,b,g,h,d,f,i,j)
# n=9, i=4, d?f: a>d,a>e,b>e,b>f,c>f,c>i,d>i,f>g,f>h
find_127(a,b,c,d,e,f,g,h,i) =
 if d > f
 then find_128(c,d,b,e,i)
 else find_129(a,c,e,f,g,h)
# n=6, i=3, a?d: a>c,b>d,d>e,d>f
find_129(a,b,c,d,e,f) =
 if a > d
 then find_39(c,b,d)
 else find_31(a,e,f)
# n=5, i=3, a?b: a>e,b>e,c>d
find_128(a,b,c,d,e) =
 if a > b
 then find_77(c,a,d,b,e)
 else find_77(c,b,d,a,e)
# n=8, i=4, a?d: a>f,b>d,b>e,c>e,c>f,e>g,f>h
find_126(a,b,c,d,e,f,g,h) =
 if a > d
 then find_130(a,b,c,d,e,f,g,h)
 else find_77(d,c,a,e,g)
# n=8, i=4, e?f: a>d,a>f,b>d,b>e,c>e,c>f,e>g,f>h
find_130(a,b,c,d,e,f,g,h) =
 if e > f
 then find_77(a,c,d,e,g)
 else find_77(b,c,d,f,h)
# n=10, i=5, a?b: a>h,a>i,b>e,b>j,c>h,c>j,d>f,d>g,f>j,g>i
find_110(a,b,c,d,e,f,g,h,i,j) =
 if a > b
 then find_131(c,d,a,f,b,g,h,e,i)
 else find_132(c,d,b,e,f,g,a,h,j,i)
# n=10, i=5, d?f: a>h,a>i,b>e,b>f,c>d,c>g,c>i,e>i,f>j,g>h,g>j
find_132(a,b,c,d,e,f,g,h,i,j) =
 if d > f
 then find_133(g,d,a,b,e,f,h,i)
 else find_134(a,b,c,e,f,g,h,d,i,j)
# n=10, i=5, a?e: a>g,a>i,b>d,b>e,c>f,c>h,c>i,d>i,e>h,e>j,f>g,f>j
find_134(a,b,c,d,e,f,g,h,i,j) =
 if a > e
 then find_135(b,c,a,d,f,e,g,i,h)
 else find_136(d,c,e,a,f,h,j)
# n=7, i=4, a?d: b>e,b>f,c>d,c>f,c>g,e>g
find_136(a,b,c,d,e,f,g) =
 if a > d
 then find_137(a,b,c,e,f,d,g)
 else find_74(d,b,f,a,e,g)
# n=7, i=4, a?d: a>f,b>d,b>e,c>e,c>f,c>g,d>g
find_137(a,b,c,d,e,f,g) =
 if a > d
 then find_138(a,b,c,e,f,d)
 else find_63(c,d,a,e,g)
# n=6, i=4, d?e: a>e,a>f,b>d,b>f,c>d,c>e
find_138(a,b,c,d,e,f) =
 if d > e
 then find_80(a,c,d,f)
 else find_80(b,c,e,f)
# n=9, i=5, d?e: a>d,a>f,b>e,b>h,b>i,c>f,c>g,c>h,d>h,e>g,f>i
find_135(a,b,c,d,e,f,g,h,i) =
 if d > e
 then find_139(d,c,b,f,e,i,h)
 else find_140(e,c,a,d,g,f,i)
# n=7, i=4, a?f: a>d,a>e,b>e,b>f,c>d,c>f,f>g
find_140(a,b,c,d,e,f,g) =
 if a > f
 then find_63(b,c,d,e,f)
 else find_32(a,g)
# n=7, i=4, a?d: a>e,a>g,b>d,b>g,c>e,c>f,c>g,d>f
find_139(a,b,c,d,e,f,g) =
 if a > d
 then find_63(b,c,e,d,g)
 else find_39(a,c,f)
# n=8, i=4, b?c: a>g,b>f,c>g,c>h,d>e,d>f,e>h
find_133(a,b,c,d,e,f,g,h) =
 if b > c
 then find_141(a,d,b,e,c,f,g)
 else find_142(a,d,c,b,e,g,h,f)
# n=8, i=4, a?d: a>f,b>e,b>h,c>d,c>f,c>g,d>h,e>g
find_142(a,b,c,d,e,f,g,h) =
 if a > d
 then find_143(b,a,c,e,d,f,g)
 else find_37(b,d,a,e,h,f,g)
# n=7, i=4, d?e: a>d,b>e,b>f,c>e,c>f,c>g,d>g
find_143(a,b,c,d,e,f,g) =
 if d > e
 then find_144(b,a,c,d,f,g)
 else find_76(a,e,f)
# n=6, i=4, a?d: a>e,b>d,c>e,c>f,d>f
find_144(a,b,c,d,e,f) =
 if a > d
 then find_80(b,c,e,d)
 else find_39(a,c,f)
# n=7, i=4, a?e: a>g,b>d,b>f,c>e,c>f,e>g
find_141(a,b,c,d,e,f,g) =
 if a > e
 then find_89(b,a,c,d,f,e,g)
 else find_75(b,e,d,f,a,g)
# n=9, i=5, a?f: a>g,b>d,b>f,c>e,c>g,c>i,e>h,f>i
find_131(a,b,c,d,e,f,g,h,i) =
 if a > f
 then find_145(b,a,c,d,e,g,h,f,i)
 else find_146(d,f,c,e,a,i,h,g)
# n=8, i=4, a?d: b>e,b>f,c>d,c>f,c>h,d>g,e>h
find_146(a,b,c,d,e,f,g,h) =
 if a > d
 then find_147(a,b,c,e,f,d,g,h)
 else find_73(d,b,f,a,g,e,h)
# n=8, i=4, a?b: a>f,b>d,b>e,c>e,c>f,c>h,d>h,f>g
find_147(a,b,c,d,e,f,g,h) =
 if a > b
 then find_44(b,c,d,f,e,g)
 else find_124(a,d,c,e,h,f)
# n=9, i=5, d?f: a>d,a>h,b>f,b>h,c>e,c>f,c>i,e>g,h>i
find_145(a,b,c,d,e,f,g,h,i) =
 if d > f
 then find_148(b,a,c,d,e,g,h,f,i)
 else find_149(e,a,b,g,f,h,i,d)
# n=8, i=4, a?e: a>d,b>f,b>h,c>e,c>f,e>h,f>g
find_149(a,b,c,d,e,f,g,h) =
 if a > e
 then find_89(a,b,c,d,e,f,g)
 else find_37(b,e,a,f,h,d,g)
# n=9, i=5, d?e: a>g,a>h,b>d,b>g,c>e,c>h,c>i,d>h,e>f,g>i
find_148(a,b,c,d,e,f,g,h,i) =
 if d > e
 then find_36(a,d,c,g,e,i,f,h)
 else find_89(e,a,b,f,d,g,i)
# n=14, i=6, g?h: a>h,a>l,b>g,b>k,b>m,c>f,c>g,d>e,d>h,f>k,f>l,g>j,h>i,h>m,m>n
find_108(a,b,c,d,e,f,g,h,i,j,k,l,m,n) =
 if g > h
 then find_150(f,d,a,b,e,g,k,l,j,h)
 else find_151(b,c,d,a,e,f,h,i,l,k,m,n,g)
# n=13, i=6, e?f: a>j,a>k,a>m,b>f,b>m,c>e,c>g,d>g,d>i,f>i,f>j,g>h,g>k,g>m,k>l
find_151(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if e > f
 then find_152(e,b,a,d,g,h,f,k,l,m,i,j)
 else find_153(a,b,c,d,f,g,j,h,i,e,k,l,m)
# n=13, i=6, a?e: a>g,a>k,a>m,b>e,b>m,c>f,c>j,d>f,d>i,e>g,e>i,e>j,f>h,f>k,f>m,k>l
find_153(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if a > e
 then find_154(b,c,d,a,e,f,g,h,i,j,k,l,m)
 else find_155(c,d,e,a,i,j,g,f,h)
# n=9, i=5, e?h: a>f,a>h,b>e,b>h,c>d,c>e,c>f,d>g,h>i
find_155(a,b,c,d,e,f,g,h,i) =
 if e > h
 then find_156(d,b,a,f,g,e,h)
 else find_157(b,c,a,d,f,g,h,i,e)
# n=9, i=5, d?g: a>g,b>d,b>e,b>i,c>e,c>g,d>f,g>h,g>i
find_157(a,b,c,d,e,f,g,h,i) =
 if d > g
 then find_99(a,c,d,f,e,g)
 else find_85(b,g,h,e,d,i)
# n=7, i=4, d?e: a>e,b>f,c>d,c>g,f>g
find_156(a,b,c,d,e,f,g) =
 if d > e
 then find_158(a,b,c,d,f,g,e)
 else find_159(a,b,c,f,e,g,d)
# n=7, i=4, d?e: a>e,b>d,c>f,c>g,d>f,e>g
find_159(a,b,c,d,e,f,g) =
 if d > e
 then find_41(a,c,d,f,e)
 else find_41(b,c,e,g,d)
# n=7, i=4, a?e: a>g,b>e,c>d,c>f,d>g,e>f
find_158(a,b,c,d,e,f,g) =
 if a > e
 then find_144(b,c,a,d,e,g)
 else find_63(c,e,a,d,f)
# n=13, i=6, e?f: a>e,a>m,b>f,b>j,c>f,c>i,d>e,d>k,d>m,e>g,e>i,e>j,f>h,f>k,f>m,k>l
find_154(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if e > f
 then find_72(g,c,b,j,i,f)
 else find_160(h,a,d,k,e,m,l)
# n=7, i=3, a?d: b>e,b>f,c>d,c>e,c>f,d>g
find_160(a,b,c,d,e,f,g) =
 if a > d
 then find_88(a,b,c,e,f,d)
 else find_30(b,d,a,g,f,e)
# n=12, i=5, a?e: a>g,b>g,b>j,c>h,c>j,c>l,d>e,d>k,e>f,e>h,e>j,g>k,g>l,h>i
find_152(a,b,c,d,e,f,g,h,i,j,k,l) =
 if a > e
 then find_123(c,b,d,e,g,f,l,k,h)
 else find_161(f,a,b,c,h,j,g,i)
# n=8, i=3, a?e: b>g,c>f,c>g,d>e,d>f,e>h
find_161(a,b,c,d,e,f,g,h) =
 if a > e
 then find_162(a,b,c,d,f,g,e)
 else find_163(b,c,d,e,f,g,a,h)
# n=8, i=3, a?d: a>f,b>e,b>f,c>d,c>e,d>g,d>h
find_163(a,b,c,d,e,f,g,h) =
 if a > d
 then find_164(a,b,c,e,d,f)
 else find_28(b,d,a,g,h,e)
# n=6, i=3, a?b: a>e,a>f,b>d,b>f,c>d,c>e
find_164(a,b,c,d,e,f) =
 if a > b
 then find_38(b,c,e,f)
 else find_38(a,c,d,f)
# n=7, i=3, a?c: a>g,b>f,c>e,c>f,d>e,d>g
find_162(a,b,c,d,e,f,g) =
 if a > c
 then find_100(b,d,a,c,g)
 else find_124(b,d,c,a,e,f)
# n=10, i=5, a?b: a>g,a>h,b>e,b>j,c>h,c>j,d>f,d>g,f>i,f>j
find_150(a,b,c,d,e,f,g,h,i,j) =
 if a > b
 then find_165(c,d,a,b,f,g,h,e,i)
 else find_166(c,d,b,e,a,f,i,g,h,j)
# n=10, i=5, a?d: a>i,a>j,b>f,b>h,c>d,c>e,c>j,e>h,e>i,f>g,f>j
find_166(a,b,c,d,e,f,g,h,i,j) =
 if a > d
 then find_167(a,b,c,e,f,d,g,h,i,j)
 else find_168(d,e,b,f,a,h,g,i)
# n=8, i=4, a?b: a>e,b>f,b>h,c>d,c>f,d>g,e>h
find_168(a,b,c,d,e,f,g,h) =
 if a > b
 then find_169(c,a,d,e,b,g,h,f)
 else find_170(c,b,d,a,f,g,e,h)
# n=8, i=4, a?d: a>c,a>e,b>d,b>e,c>f,d>g,g>h
find_170(a,b,c,d,e,f,g,h) =
 if a > d
 then find_74(c,b,e,f,d,g)
 else find_57(g,a,e,c,h)
# n=8, i=4, a?d: a>c,a>h,b>d,b>e,c>f,d>g,e>g,e>h
find_169(a,b,c,d,e,f,g,h) =
 if a > d
 then find_74(c,b,d,f,e,h)
 else find_38(a,e,g,c)
# n=10, i=5, d?e: a>f,a>i,a>j,b>e,b>h,c>d,c>f,c>j,d>h,d>i,e>g,e>j
find_167(a,b,c,d,e,f,g,h,i,j) =
 if d > e
 then find_171(a,b,d,f,h,i,e,g)
 else find_172(a,e,c,g,f,d,h,j)
# n=8, i=4, d?f: a>e,a>h,b>d,b>f,b>h,c>e,c>f,c>h,f>g
find_172(a,b,c,d,e,f,g,h) =
 if d > f
 then find_139(a,b,c,d,e,f,h)
 else find_173(a,b,e,f,h,g,d)
# n=7, i=3, b?c: a>c,a>e,b>d,b>e,d>f,d>g
find_173(a,b,c,d,e,f,g) =
 if b > c
 then find_30(a,d,f,g,c,e)
 else b
# n=8, i=4, d?e: a>d,a>f,b>e,b>g,c>e,c>f,c>g,g>h
find_171(a,b,c,d,e,f,g,h) =
 if d > e
 then find_89(a,b,c,d,f,g,h)
 else find_74(a,b,e,f,g,h)
# n=9, i=5, a?d: a>g,b>e,b>f,c>d,c>f,c>g,d>h,e>i
find_165(a,b,c,d,e,f,g,h,i) =
 if a > d
 then find_174(b,a,c,e,f,g,i,d,h)
 else find_175(b,d,h,f,a,e,g,i)
# n=8, i=4, e?f: a>d,a>f,b>c,b>e,e>g,f>h
find_175(a,b,c,d,e,f,g,h) =
 if e > f
 then find_72(c,a,e,g,d,f)
 else find_72(d,b,f,h,c,e)
# n=9, i=5, d?h: a>d,a>e,b>f,b>h,c>e,c>f,c>h,d>g,h>i
find_174(a,b,c,d,e,f,g,h,i) =
 if d > h
 then find_97(d,b,c,e,g,f,h)
 else find_72(f,a,h,i,e,d)
# n=14, i=6, a?b: a>e,b>h,b>n,c>g,c>m,d>f,d>i,f>j,g>k,h>l,i>m,m>n
find_13(a,b,c,d,e,f,g,h,i,j,k,l,m,n) =
 if a > b
 then find_176(c,a,d,e,f,g,i,b,j,k,h,l,m)
 else find_177(c,b,d,a,h,g,f,i,j,k,l,e,m,n)
# n=14, i=6, d?g: a>f,a>m,b>d,b>e,b>n,c>g,c>h,d>l,e>k,f>j,g>i,h>m,m>n
find_177(a,b,c,d,e,f,g,h,i,j,k,l,m,n) =
 if d > g
 then find_178(a,c,b,e,f,h,d,l,k,j,g,m,i,n)
 else find_179(a,b,c,e,f,h,g,i,k,j,d,m,l,n)
# n=14, i=6, a?g: a>e,a>l,b>d,b>k,b>n,c>f,c>g,d>i,e>j,f>l,g>h,g>k,k>m,l>n
find_179(a,b,c,d,e,f,g,h,i,j,k,l,m,n) =
 if a > g
 then find_180(b,c,a,e,d,f,j,i,g,h,l,k,n,m)
 else find_181(f,b,g,h,d,a,i,k,e,m,j,l)
# n=12, i=5, a?e: a>l,b>e,b>h,c>d,c>f,c>h,e>g,f>i,f>l,h>j,i>k
find_181(a,b,c,d,e,f,g,h,i,j,k,l) =
 if a > e
 then find_182(a,b,c,d,f,h,e,i,j,g,k,l)
 else find_183(b,c,d,f,e,a,g,h,i,j,k)
# n=11, i=5, d?e: a>e,a>h,b>c,b>d,b>h,d>i,e>f,e>g,h>j,i>k
find_183(a,b,c,d,e,f,g,h,i,j,k) =
 if d > e
 then find_184(c,a,d,i,h,k,j,e,f,g)
 else find_185(e,b,c,f,g,h,j,d,i)
# n=9, i=4, c?d: a>d,a>e,a>h,b>c,b>f,b>h,f>g,h>i
find_185(a,b,c,d,e,f,g,h,i) =
 if c > d
 then find_186(c,f,a,e,g,h,d,i)
 else find_187(a,b,e,f,d,g,h,i,c)
# n=9, i=4, c?d: a>c,a>e,a>g,b>d,b>g,b>i,d>f,e>i,g>h
find_187(a,b,c,d,e,f,g,h,i) =
 if c > d
 then find_43(c,e,b,g,h,i,d)
 else find_26(d,a,f,e,g,h,i,c)
# n=8, i=3, a?b: a>g,b>e,c>d,c>f,c>g,f>h
find_186(a,b,c,d,e,f,g,h) =
 if a > b
 then find_55(a,c,d,f,b,g,h,e)
 else find_73(b,c,d,a,e,f,h)
# n=10, i=4, a?b: b>e,b>h,c>d,c>h,d>f,e>g,h>i,h>j
find_184(a,b,c,d,e,f,g,h,i,j) =
 if a > b
 then find_188(c,a,d,b,f,e,g,h)
 else find_189(c,b,a,e,d,g,f,h,i,j)
# n=10, i=4, c?e: a>e,a>h,b>c,b>d,b>h,d>f,e>g,h>i,h>j
find_189(a,b,c,d,e,f,g,h,i,j) =
 if c > e
 then find_190(c,d,a,f,h,e,i,j)
 else find_191(a,b,d,e,g,f,h,i,j,c)
# n=10, i=4, c?d: a>d,a>g,b>c,b>g,b>j,c>f,d>e,d>j,g>h,g>i
find_191(a,b,c,d,e,f,g,h,i,j) =
 if c > d
 then find_173(c,a,f,g,d,h,i)
 else find_96(d,b,e,g,c,j,i,h)
# n=8, i=3, b?c: a>f,b>d,c>e,c>f,e>g,e>h
find_190(a,b,c,d,e,f,g,h) =
 if b > c
 then find_192(a,d,c,e)
 else find_29(a,b,e,d,f,g,h)
# n=4, i=2, a?b: c>d
find_192(a,b,c,d) =
 if a > b
 then find_38(a,c,d,b)
 else find_38(b,c,d,a)
# n=8, i=4, c?f: a>c,a>h,b>d,c>e,d>f,d>h,f>g
find_188(a,b,c,d,e,f,g,h) =
 if c > f
 then find_77(c,b,e,d,h)
 else find_38(a,f,g,h)
# n=12, i=5, b?e: a>g,a>l,b>f,b>g,c>d,c>e,c>f,e>h,e>l,f>i,g>j,h>k
find_182(a,b,c,d,e,f,g,h,i,j,k,l) =
 if b > e
 then find_193(a,c,d,f,g,e,i,j,h,k,l)
 else find_194(d,h,a,b,l,k,f,g,i)
# n=9, i=3, b?c: b>f,c>e,c>h,d>g,d>h,g>i
find_194(a,b,c,d,e,f,g,h,i) =
 if b > c
 then find_195(a,d,b,f,c,g,e,i)
 else find_196(a,d,c,e,b,g,h,f,i)
# n=9, i=3, b?c: b>f,b>g,c>d,c>e,c>g,e>h,f>i
find_196(a,b,c,d,e,f,g,h,i) =
 if b > c
 then find_71(a,f,c,e,d,g,i)
 else find_197(a,d,e,b,h,g,f)
# n=7, i=2, a?b: c>e,d>f,d>g
find_197(a,b,c,d,e,f,g) =
 if a > b
 then find_29(a,c,d,e,b,f,g)
 else find_29(b,c,d,e,a,f,g)
# n=8, i=3, a?b: b>f,c>d,c>e,e>g,f>h
find_195(a,b,c,d,e,f,g,h) =
 if a > b
 then find_54(a,c,d,e,b,g,f)
 else find_198(b,c,d,a,e,f,g,h)
# n=8, i=3, e?f: a>d,a>f,b>c,b>e,e>g,f>h
find_198(a,b,c,d,e,f,g,h) =
 if e > f
 then find_74(a,b,c,d,e,g)
 else find_74(b,a,d,c,f,h)
# n=11, i=4, a?f: a>e,a>k,b>c,b>d,b>f,d>g,e>h,f>i,f>k,i>j
find_193(a,b,c,d,e,f,g,h,i,j,k) =
 if a > f
 then find_189(a,b,c,d,e,g,h,f,i,k)
 else find_199(c,d,f,g,i,a,e,k,j)
# n=9, i=3, a?e: b>d,c>e,c>f,e>i,f>g,f>h
find_199(a,b,c,d,e,f,g,h,i) =
 if a > e
 then find_190(a,b,c,d,f,e,g,h)
 else find_200(b,c,d,e,f,g,h,a,i)
# n=9, i=3, a?d: a>c,b>d,b>e,d>h,d>i,e>f,e>g
find_200(a,b,c,d,e,f,g,h,i) =
 if a > d
 then find_173(a,b,c,e,d,f,g)
 else find_53(e,d,a,h,i,f,g)
# n=14, i=6, d?f: a>e,a>l,a>m,b>f,b>i,c>d,c>i,c>k,d>g,e>h,f>k,i>j,i>l,k>m,l>n
find_180(a,b,c,d,e,f,g,h,i,j,k,l,m,n) =
 if d > f
 then find_201(d,a,b,g,e,i,j,h,f,k,l,n)
 else find_202(f,a,c,e,i,j,h,d,k,g,l,n,m)
# n=13, i=5, d?h: a>h,a>i,b>d,b>k,b>m,c>e,c>h,c>i,d>g,e>f,e>k,h>j,i>m,k>l
find_202(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if d > h
 then find_203(a,b,c,d,e,f,g,i,k,l,h,m)
 else find_204(e,b,a,f,i,h,j,k,l,d,m)
# n=11, i=4, b?f: a>d,a>h,b>h,b>j,b>k,c>e,c>f,e>k,f>g,f>j,h>i
find_204(a,b,c,d,e,f,g,h,i,j,k) =
 if b > f
 then find_205(a,c,b,d,e,h,f,g,j,k,i)
 else find_206(e,a,f,g,d,b,j)
# n=7, i=3, a?b: b>e,c>d,c>f,f>g
find_206(a,b,c,d,e,f,g) =
 if a > b
 then find_54(a,c,d,f,b,g,e)
 else find_73(b,c,d,a,e,f,g)
# n=11, i=4, d?g: a>d,a>f,b>e,b>g,c>f,c>g,c>j,e>j,f>k,g>h,g>i
find_205(a,b,c,d,e,f,g,h,i,j,k) =
 if d > g
 then find_207(b,a,c,d,e,f,j,k)
 else find_208(a,b,c,e,f,g,h,i,k,j)
# n=10, i=4, a?f: a>e,b>d,b>f,c>e,c>f,c>j,d>j,e>i,f>g,f>h
find_208(a,b,c,d,e,f,g,h,i,j) =
 if a > f
 then find_36(b,a,c,d,e,j,i,f)
 else find_28(d,f,a,g,h,j)
# n=8, i=4, d?e: a>e,b>d,b>f,c>f,c>g,e>g,f>h
find_207(a,b,c,d,e,f,g,h) =
 if d > e
 then find_209(a,d,c,f,e,h)
 else find_210(a,b,c,e,f,h,g,d)
# n=8, i=4, d?e: a>d,b>e,b>h,c>e,c>g,d>g,d>h,e>f
find_210(a,b,c,d,e,f,g,h) =
 if d > e
 then find_41(b,c,d,g,h)
 else find_39(a,e,f)
# n=6, i=3, a?d: a>e,b>e,c>d,d>f
find_209(a,b,c,d,e,f) =
 if a > d
 then find_41(b,c,a,d,e)
 else find_45(b,d,a,f)
# n=12, i=5, a?e: a>h,a>k,b>d,b>i,b>l,c>e,c>h,c>k,d>g,d>k,e>f,e>i,h>l,i>j
find_203(a,b,c,d,e,f,g,h,i,j,k,l) =
 if a > e
 then find_211(b,a,c,d,g,h,e,f,l,i,k)
 else find_212(b,e,f,a,d,h,g,i,j)
# n=9, i=4, c?e: a>e,a>h,b>c,b>d,b>h,d>f,e>g,h>i
find_212(a,b,c,d,e,f,g,h,i) =
 if c > e
 then find_213(c,d,a,f,h,e,i)
 else find_214(a,b,d,e,g,f,h,i,c)
# n=9, i=4, c?g: a>d,a>g,b>c,b>g,b>i,c>f,d>e,d>i,g>h
find_214(a,b,c,d,e,f,g,h,i) =
 if c > g
 then find_107(a,b,c,d,f,e,g,i)
 else find_173(d,b,e,g,i,h,c)
# n=7, i=3, a?b: a>f,b>d,c>e,c>f,e>g
find_213(a,b,c,d,e,f,g) =
 if a > b
 then find_37(a,c,e,b,f,g,d)
 else find_75(b,c,a,d,e,g)
# n=11, i=5, d?f: a>d,a>i,a>j,b>f,b>g,b>k,c>f,c>g,c>k,d>e,d>k,f>i,g>h,g>j
find_211(a,b,c,d,e,f,g,h,i,j,k) =
 if d > f
 then find_215(b,c,a,d,e,g,h,f,k,j)
 else find_216(g,f,a,h,j,i,d)
# n=7, i=3, a?b: a>d,a>e,b>f,b>g,c>e,c>f,c>g
find_216(a,b,c,d,e,f,g) =
 if a > b
 then find_192(b,d,c,e)
 else find_57(a,c,f,g,d)
# n=10, i=5, e?f: a>f,a>h,a>i,b>f,b>h,b>i,c>d,c>j,d>e,d>h,d>i,f>g,f>j
find_215(a,b,c,d,e,f,g,h,i,j) =
 if e > f
 then find_125(e,b,a,h,i)
 else find_173(f,c,g,d,j,i,h)
# n=12, i=5, e?i: a>d,a>i,b>e,b>k,c>f,c>i,e>h,f>g,f>k,i>j,k>l
find_201(a,b,c,d,e,f,g,h,i,j,k,l) =
 if e > i
 then find_217(a,c,b,d,e,f,g,h,k,l,i)
 else find_218(f,b,a,d,g,i,j,k,l,e)
# n=10, i=4, d?e: a>e,a>h,b>h,b>j,c>d,c>f,f>g,f>j,h>i
find_218(a,b,c,d,e,f,g,h,i,j) =
 if d > e
 then find_219(a,b,c,d,f,g,h,i,j,e)
 else find_220(b,c,a,e,f,g,h,i,d,j)
# n=10, i=4, d?e: a>g,a>j,b>e,b>i,c>d,c>g,d>i,e>f,e>j,g>h
find_220(a,b,c,d,e,f,g,h,i,j) =
 if d > e
 then find_221(a,b,d,g,e,i,h)
 else find_222(a,c,b,e,f,g,d,j,h)
# n=9, i=4, d?f: a>f,a>h,b>f,b>g,c>d,d>e,d>g,d>h,f>i
find_222(a,b,c,d,e,f,g,h,i) =
 if d > f
 then find_124(a,b,d,e,g,h)
 else find_39(c,f,i)
# n=7, i=3, a?b: a>d,b>e,b>f,c>e,c>f,d>g
find_221(a,b,c,d,e,f,g) =
 if a > b
 then find_192(b,c,d,g)
 else find_57(a,c,e,f,d)
# n=10, i=4, a?e: a>g,a>j,b>g,b>i,c>d,c>e,d>j,e>f,e>i,g>h
find_219(a,b,c,d,e,f,g,h,i,j) =
 if a > e
 then find_223(b,c,a,d,e,g,f,h,j)
 else find_224(d,b,e,a,f,i)
# n=6, i=3, a?d: b>f,c>d,c>e,c>f
find_224(a,b,c,d,e,f) =
 if a > d
 then find_124(a,b,c,e,f,d)
 else find_58(e,d,b,f,a)
# n=9, i=4, a?d: a>f,b>d,b>e,c>e,c>f,c>i,d>i,e>g,f>h
find_223(a,b,c,d,e,f,g,h,i) =
 if a > d
 then find_130(a,b,c,d,e,f,g,h)
 else find_44(d,c,a,e,i,g)
# n=11, i=5, a?f: a>d,a>k,b>f,b>k,c>e,c>i,e>h,e>k,f>g,f>i,i>j
find_217(a,b,c,d,e,f,g,h,i,j,k) =
 if a > f
 then find_225(c,b,a,d,e,h,f,g,k,i)
 else find_212(c,f,g,a,e,d,h,i,j)
# n=10, i=5, d?e: a>e,a>j,b>g,b>i,c>d,c>g,c>i,e>f,e>i,g>h,g>j
find_225(a,b,c,d,e,f,g,h,i,j) =
 if d > e
 then find_226(d,b,a,g,h,e,f,j)
 else find_105(b,c,a,e,f,g,h,d,i,j)
# n=8, i=4, a?d: a>f,b>d,c>f,c>h,d>e,d>h,f>g
find_226(a,b,c,d,e,f,g,h) =
 if a > d
 then find_104(b,c,f,d,g,e)
 else find_192(a,e,c,h)
# n=14, i=6, e?k: a>e,a>l,b>f,b>k,c>d,c>g,c>n,d>i,e>j,f>l,g>h,g>k,k>m,l>n
find_178(a,b,c,d,e,f,g,h,i,j,k,l,m,n) =
 if e > k
 then find_227(b,a,c,d,g,e,f,h,i,j,l,k,n)
 else find_228(d,a,g,b,h,i,f,k,m,l,n,e)
# n=12, i=5, a?b: a>f,b>j,b>l,c>e,c>h,d>g,d>h,g>j,h>i,h>l,j>k
find_228(a,b,c,d,e,f,g,h,i,j,k,l) =
 if a > b
 then find_229(c,a,d,e,f,g,b,h,i,j)
 else find_230(c,b,d,e,a,g,f,h,i,j,k,l)
# n=12, i=5, a?e: a>d,a>h,b>e,b>j,b>l,c>f,c>h,e>g,f>j,h>i,h>l,j>k
find_230(a,b,c,d,e,f,g,h,i,j,k,l) =
 if a > e
 then find_231(b,c,a,d,f,e,h,i,g,j,k,l)
 else find_232(e,c,g,f,a,d,j,k,h)
# n=9, i=4, b?c: a>c,a>e,b>d,b>i,d>g,e>f,e>i,g>h
find_232(a,b,c,d,e,f,g,h,i) =
 if b > c
 then find_233(a,b,d,e,c,f,g,h,i)
 else find_77(e,c,f,b,d)
# n=9, i=4, c?d: a>d,a>e,b>c,b>e,b>i,c>g,d>f,d>i,g>h
find_233(a,b,c,d,e,f,g,h,i) =
 if c > d
 then find_44(a,c,e,g,d,h)
 else find_85(b,d,f,e,c,i)
# n=12, i=5, e?f: a>f,a>j,a>l,b>e,b>g,c>d,c>f,c>g,e>j,f>i,g>h,g>l,j>k
find_231(a,b,c,d,e,f,g,h,i,j,k,l) =
 if e > f
 then find_234(e,a,c,d,g,h,j,k,f,l)
 else find_235(d,b,a,f,g,i,h,e,l)
# n=9, i=4, a?d: b>e,b>h,c>d,c>i,d>f,d>h,e>g,e>i
find_235(a,b,c,d,e,f,g,h,i) =
 if a > d
 then find_226(a,b,c,e,g,d,f,i)
 else find_236(b,c,e,d,a,f,g,i,h)
# n=9, i=4, c?e: a>c,a>i,b>d,b>h,c>g,c>h,d>e,d>f,d>i
find_236(a,b,c,d,e,f,g,h,i) =
 if c > e
 then find_237(a,b,d,c,f,g,h,i)
 else find_192(e,f,a,i)
# n=8, i=4, c?d: a>d,a>h,b>c,b>g,c>e,c>h,d>f,d>g
find_237(a,b,c,d,e,f,g,h) =
 if c > d
 then find_45(e,a,d,h)
 else find_45(f,b,c,g)
# n=10, i=4, a?e: a>g,a>i,b>g,b>i,b>j,c>d,c>e,c>i,e>f,e>j,g>h
find_234(a,b,c,d,e,f,g,h,i,j) =
 if a > e
 then find_238(b,c,a,d,e,g,f,h,i)
 else find_224(d,b,e,a,f,j)
# n=9, i=4, d?e: a>f,a>i,b>d,b>e,b>i,c>e,c>f,c>i,e>g,f>h
find_238(a,b,c,d,e,f,g,h,i) =
 if d > e
 then find_36(b,a,c,d,f,e,h,i)
 else find_56(a,b,f,e,i,g,d,h)
# n=10, i=5, d?e: a>d,a>h,b>e,b>g,c>f,c>h,f>j,g>j,h>i
find_229(a,b,c,d,e,f,g,h,i,j) =
 if d > e
 then find_239(b,c,a,f,g,d,h,i,e,j)
 else find_240(a,b,c,g,f,e,h,i,d,j)
# n=10, i=5, a?d: a>g,a>i,b>d,b>f,c>e,c>g,d>j,e>j,f>i,g>h
find_240(a,b,c,d,e,f,g,h,i,j) =
 if a > d
 then find_241(b,c,a,e,f,d,g,h,i)
 else find_242(f,c,d,e,a,i,g,j)
# n=8, i=4, a?d: a>f,b>d,b>g,c>e,c>h,d>h,e>f,e>g
find_242(a,b,c,d,e,f,g,h) =
 if a > d
 then find_243(a,b,c,e,d,g,f)
 else find_44(d,c,a,e,h,g)
# n=7, i=4, a?b: a>e,a>g,b>e,b>f,c>d,d>f,d>g
find_243(a,b,c,d,e,f,g) =
 if a > b
 then find_77(b,c,e,d,g)
 else find_77(a,c,e,d,f)
# n=9, i=5, e?g: a>e,a>f,b>d,b>g,c>f,c>g,c>i,e>i,g>h
find_241(a,b,c,d,e,f,g,h,i) =
 if e > g
 then find_97(b,e,c,f,d,i,g)
 else find_72(d,a,g,h,f,e)
# n=10, i=5, a?f: a>e,a>i,b>d,b>g,c>f,c>g,d>j,e>j,f>i,g>h
find_239(a,b,c,d,e,f,g,h,i,j) =
 if a > f
 then find_244(c,b,a,e,d,f,g,i,h,j)
 else find_245(b,f,d,g,a,e,i,h)
# n=8, i=4, b?c: a>c,a>d,b>e,d>h,e>f,e>g
find_245(a,b,c,d,e,f,g,h) =
 if b > c
 then find_246(a,b,d,e,c,f,g,h)
 else find_77(d,c,h,b,e)
# n=8, i=4, c?f: a>c,a>e,b>d,b>e,c>h,d>f,d>g
find_246(a,b,c,d,e,f,g,h) =
 if c > f
 then find_247(a,b,d,c,e,g,h)
 else find_62(a,d,f,g,e)
# n=7, i=4, c?d: a>d,a>e,b>c,b>e,c>f,d>g
find_247(a,b,c,d,e,f,g) =
 if c > d
 then find_63(a,c,f,e,d)
 else find_63(b,d,g,e,c)
# n=10, i=5, f?g: a>f,a>g,b>e,b>g,c>d,c>f,d>j,e>j,f>h,g>i
find_244(a,b,c,d,e,f,g,h,i,j) =
 if f > g
 then find_248(d,a,b,e,f,h,j,g)
 else find_248(e,a,c,d,g,i,j,f)
# n=8, i=4, d?f: a>g,b>e,c>d,c>h,d>g,e>f,e>h
find_248(a,b,c,d,e,f,g,h) =
 if d > f
 then find_158(a,b,c,d,e,h,g)
 else find_100(a,c,e,f,h)
# n=13, i=6, e?f: a>g,a>l,b>f,b>k,c>d,c>e,c>m,d>i,e>h,e>l,f>j,f>l,g>k,k>m
find_227(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if e > f
 then find_249(d,e,a,b,h,i,g,f,j,k,m,l)
 else find_250(a,c,b,d,g,f,j,i,k,e,h,l,m)
# n=13, i=6, d?e: a>e,a>l,b>d,b>j,b>m,c>f,c>i,d>h,e>i,f>g,f>j,i>m,j>k,j>l
find_250(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if d > e
 then find_251(a,d,c,h,f,g,e,j,k,i,l)
 else find_252(b,a,c,f,e,g,d,i,j,k,h,l,m)
# n=13, i=6, a?f: a>g,a>i,a>m,b>e,b>l,c>d,c>h,d>f,d>i,e>g,e>h,g>k,h>m,i>j,i>l
find_252(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if a > f
 then find_253(b,c,a,d,e,f,g,h,i,j,k,l,m)
 else find_254(b,f,e,a,h,i,j)
# n=7, i=4, c?f: a>c,b>d,c>e,d>f,f>g
find_254(a,b,c,d,e,f,g) =
 if c > f
 then find_80(b,c,e,d)
 else find_39(a,f,g)
# n=13, i=6, e?i: a>e,a>l,b>d,b>h,c>f,c>g,c>i,c>m,d>f,d>i,e>g,e>h,g>k,h>m,i>j,i>l
find_253(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if e > i
 then find_255(c,b,e,d,g,h,k,f,i,m)
 else find_98(f,a,i,j,e,l)
# n=10, i=5, e?f: a>e,a>h,a>i,a>j,b>d,b>f,c>e,c>f,c>i,d>h,d>i,e>g,f>j
find_255(a,b,c,d,e,f,g,h,i,j) =
 if e > f
 then find_107(b,c,e,d,g,h,f,i)
 else find_256(d,c,a,f,h,i,e,j)
# n=8, i=4, a?d: a>e,a>f,b>d,b>f,c>e,c>f,c>g,c>h,d>g,d>h
find_256(a,b,c,d,e,f,g,h) =
 if a > d
 then find_63(b,c,e,d,f)
 else find_45(a,c,g,h)
# n=11, i=5, d?f: a>g,a>k,b>d,b>g,c>e,c>j,e>f,e>h,g>j,h>i,h>k
find_251(a,b,c,d,e,f,g,h,i,j,k) =
 if d > f
 then find_257(a,b,c,d,e,g,h,i,f,j,k)
 else find_219(b,a,e,f,h,i,g,j,k,d)
# n=11, i=5, d?g: a>f,a>k,b>d,b>f,c>e,c>j,d>i,e>g,e>i,f>j,g>h,g>k
find_257(a,b,c,d,e,f,g,h,i,j,k) =
 if d > g
 then find_258(a,d,c,f,e,g,i,j)
 else find_222(a,b,e,g,h,f,d,k,j)
# n=8, i=4, a?b: a>d,b>f,b>g,c>e,c>h,d>h,e>f,e>g
find_258(a,b,c,d,e,f,g,h) =
 if a > b
 then find_100(b,d,c,e,h)
 else find_129(a,c,d,e,f,g)
# n=12, i=5, g?h: a>f,b>e,b>h,c>g,c>l,d>h,d>j,g>j,h>i,h>l,j>k
find_249(a,b,c,d,e,f,g,h,i,j,k,l) =
 if g > h
 then find_259(a,b,d,c,e,f,g,j,k,h)
 else find_260(a,c,d,b,e,f,h,i,g,l)
# n=10, i=5, a?g: a>f,b>i,b>j,c>g,d>e,d>g,g>h,g>i,g>j
find_260(a,b,c,d,e,f,g,h,i,j) =
 if a > g
 then find_261(b,c,a,d,e,f,g,h)
 else find_262(e,b,g,h,a,i,j,f)
# n=8, i=3, a?c: b>f,b>g,c>d,c>e,c>f,c>g,e>h
find_262(a,b,c,d,e,f,g,h) =
 if a > c
 then find_45(b,c,d,e)
 else find_197(a,d,e,b,h,g,f)
# n=8, i=5, a?g: b>g,c>f,c>g,d>e,d>g,g>h
find_261(a,b,c,d,e,f,g,h) =
 if a > g
 then find_263(a,b,c,d,e,f,g)
 else find_264(e,f,b,g,a,h)
# n=6, i=3, a?b: c>d,d>e,d>f
find_264(a,b,c,d,e,f) =
 if a > b
 then find_129(a,c,b,d,e,f)
 else find_129(b,c,a,d,e,f)
# n=7, i=5, a?b: a>g,b>g,c>f,c>g,d>e,d>g
find_263(a,b,c,d,e,f,g) =
 if a > b
 then find_265(a,c,d,e,f,b,g)
 else find_265(b,c,d,e,f,a,g)
# n=7, i=5, d?e: a>f,b>e,b>g,c>d,c>g,f>g
find_265(a,b,c,d,e,f,g) =
 if d > e
 then find_144(d,a,b,f,e,g)
 else find_144(e,a,c,f,d,g)
# n=10, i=5, a?g: a>f,b>e,b>j,c>h,c>j,d>g,g>h,g>j,h>i
find_259(a,b,c,d,e,f,g,h,i,j) =
 if a > g
 then find_266(c,b,d,a,f,e,g,h)
 else find_267(b,c,g,e,a,f,h,i,j)
# n=9, i=4, a?b: a>d,a>i,b>g,b>i,c>e,c>g,c>i,e>f,g>h
find_267(a,b,c,d,e,f,g,h,i) =
 if a > b
 then find_268(c,a,d,e,b,f,g,i)
 else find_214(b,c,e,a,d,f,g,h,i)
# n=8, i=4, c?d: a>d,a>g,a>h,b>c,b>e,d>f,e>g,e>h
find_268(a,b,c,d,e,f,g,h) =
 if c > d
 then find_88(c,e,a,g,h,d)
 else find_173(d,b,f,e,c,g,h)
# n=8, i=5, f?g: a>h,b>f,c>g,d>e,d>g,g>h
find_266(a,b,c,d,e,f,g,h) =
 if f > g
 then find_269(a,c,b,d,e,f,g)
 else find_270(e,b,a,c,g,h,f)
# n=7, i=4, a?e: b>g,c>f,d>e,e>f,e>g
find_270(a,b,c,d,e,f,g) =
 if a > e
 then find_271(b,c,a,d,e)
 else find_124(b,c,e,a,f,g)
# n=5, i=4, a?b: c>e,d>e
find_271(a,b,c,d,e) =
 if a > b
 then find_272(c,d,a,b,e)
 else find_272(c,d,b,a,e)
# n=5, i=4, a?b: a>e,b>e,c>d
find_272(a,b,c,d,e) =
 if a > b
 then find_80(b,c,d,e)
 else find_80(a,c,d,e)
# n=7, i=5, a?b: b>g,c>f,d>e,d>g,f>g
find_269(a,b,c,d,e,f,g) =
 if a > b
 then find_273(a,c,d,e,f,b)
 else find_265(c,b,d,e,a,f,g)
# n=6, i=5, d?e: a>f,b>e,c>d
find_273(a,b,c,d,e,f) =
 if d > e
 then find_272(b,d,a,f,e)
 else find_272(c,e,a,f,d)
# n=13, i=6, a?e: a>f,a>m,b>d,b>h,c>e,c>g,e>i,f>j,g>m,h>k,k>l
find_176(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if a > e
 then find_274(b,c,a,d,f,g,h,j,e,k,i,l,m)
 else find_275(b,c,d,g,h,e,i,k,a,l,f,m,j)
# n=13, i=6, e?i: a>c,a>e,b>d,b>f,d>l,e>h,f>g,f>i,h>j,i>k,i>l,k>m
find_275(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if e > i
 then find_276(c,e,b,d,h,f,g,j,i,k)
 else find_277(g,d,a,i,c,k,l,m,e,h)
# n=10, i=4, a?f: b>g,c>e,c>i,d>f,d>g,d>i,f>h,i>j
find_277(a,b,c,d,e,f,g,h,i,j) =
 if a > f
 then find_278(b,a,c,d,e,g,i,f,j,h)
 else find_279(b,c,d,e,f,g,a,h,i,j)
# n=10, i=4, a?e: a>f,b>d,b>i,c>e,c>f,c>i,e>g,e>h,i>j
find_279(a,b,c,d,e,f,g,h,i,j) =
 if a > e
 then find_280(b,a,c,d,f,i,e,h,g,j)
 else find_281(b,e,g,h,d,a,i,j,f)
# n=9, i=3, a?b: a>e,a>g,b>c,b>d,b>f,f>i,g>h
find_281(a,b,c,d,e,f,g,h,i) =
 if a > b
 then find_71(e,g,b,c,f,d,h)
 else find_197(c,d,f,a,i,g,e)
# n=10, i=4, a?b: a>d,a>f,b>e,b>g,c>e,c>f,c>g,f>j,g>h,g>i
find_280(a,b,c,d,e,f,g,h,i,j) =
 if a > b
 then find_160(d,b,c,f,e,g,j)
 else find_84(a,c,e,d,g,f,h,i)
# n=10, i=4, a?b: a>f,b>h,c>e,c>g,d>f,d>g,d>h,g>i,h>j
find_278(a,b,c,d,e,f,g,h,i,j) =
 if a > b
 then find_282(a,c,d,e,b,f,g,i,h)
 else find_283(c,b,d,e,a,h,g,j,i,f)
# n=10, i=4, d?f: a>d,a>g,b>e,b>f,c>f,c>g,c>j,e>j,f>h,g>i
find_283(a,b,c,d,e,f,g,h,i,j) =
 if d > f
 then find_207(b,a,c,d,e,g,j,i)
 else find_223(a,b,c,e,f,g,h,i,j)
# n=9, i=4, c?d: a>e,a>f,b>d,b>g,c>f,c>g,c>i,e>i,g>h
find_282(a,b,c,d,e,f,g,h,i) =
 if c > d
 then find_284(a,b,c,e,f,d,g,h,i)
 else find_77(a,d,e,c,g)
# n=9, i=4, d?g: a>d,a>e,b>f,b>g,c>e,c>f,c>g,c>i,d>i,g>h
find_284(a,b,c,d,e,f,g,h,i) =
 if d > g
 then find_137(b,a,c,d,e,f,i)
 else find_74(a,b,f,e,g,h)
# n=10, i=5, a?d: b>e,b>i,c>d,c>f,e>h,f>g,f>i,i>j
find_276(a,b,c,d,e,f,g,h,i,j) =
 if a > d
 then find_285(a,b,c,e,f,d,g,h,i,j)
 else find_286(d,f,b,g,a,e,h,i,j)
# n=9, i=4, a?b: a>e,b>d,b>h,c>f,c>h,f>g,h>i
find_286(a,b,c,d,e,f,g,h,i) =
 if a > b
 then find_287(c,a,e,f,b,d,g,h)
 else find_212(c,b,d,a,f,e,g,h,i)
# n=8, i=4, a?c: a>d,a>h,b>c,b>e,d>g,e>f,e>h
find_287(a,b,c,d,e,f,g,h) =
 if a > c
 then find_288(b,a,d,e,c,f,g,h)
 else find_77(e,c,f,a,d)
# n=8, i=4, c?d: a>d,a>e,b>c,b>e,b>h,c>g,d>f,d>h
find_288(a,b,c,d,e,f,g,h) =
 if c > d
 then find_63(a,c,g,e,d)
 else find_85(b,d,f,e,c,h)
# n=10, i=5, a?d: a>f,b>d,b>i,c>e,c>f,d>h,e>g,e>i,i>j
find_285(a,b,c,d,e,f,g,h,i,j) =
 if a > d
 then find_289(a,b,c,e,f,g,d,h,i,j)
 else find_290(d,c,h,a,e,g,i,j,f)
# n=9, i=4, a?b: a>c,a>d,b>e,b>i,d>i,e>f,e>g,g>h
find_290(a,b,c,d,e,f,g,h,i) =
 if a > b
 then find_291(c,d,b,e,i,g,f)
 else find_198(a,e,f,c,g,d,h,i)
# n=7, i=3, a?b: b>e,c>d,c>e,d>f,d>g
find_291(a,b,c,d,e,f,g) =
 if a > b
 then find_129(a,c,b,d,f,g)
 else find_173(b,c,a,d,e,f,g)
# n=10, i=5, f?g: a>e,a>g,b>g,b>i,c>d,c>e,d>f,d>i,g>h,i>j
find_289(a,b,c,d,e,f,g,h,i,j) =
 if f > g
 then find_292(a,b,d,f,e,i,j)
 else find_293(a,c,b,d,e,g,h,i,j)
# n=9, i=5, d?f: a>e,a>f,b>d,b>e,c>f,c>h,d>h,f>g,h>i
find_293(a,b,c,d,e,f,g,h,i) =
 if d > f
 then find_61(a,c,d,e,h,f,i)
 else find_63(b,f,g,e,d)
# n=7, i=4, a?b: a>e,b>f,c>d,c>f,f>g
find_292(a,b,c,d,e,f,g) =
 if a > b
 then find_100(e,b,c,d,f)
 else find_74(a,c,d,e,f,g)
# n=13, i=6, f?g: a>d,a>g,b>f,b>i,c>e,c>i,c>m,e>h,f>m,g>j,i>k,j>l
find_274(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if f > g
 then find_294(a,c,b,d,e,f,h,i,k,m,g,j,l)
 else find_295(b,c,a,d,e,g,h,i,j,k,l,f,m)
# n=13, i=6, e?i: a>h,a>l,b>e,b>h,b>m,c>d,c>f,e>g,f>i,f>l,h>j,i>k,l>m
find_295(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if e > i
 then find_296(a,c,b,d,e,f,g,h,j,l,i,k,m)
 else find_297(d,a,b,f,i,k,h,l,j,e,g,m)
# n=12, i=5, b?e: b>g,b>h,c>g,c>j,c>l,d>e,d>h,e>f,e>j,g>i,h>l,j>k
find_297(a,b,c,d,e,f,g,h,i,j,k,l) =
 if b > e
 then find_298(a,c,d,g,h,e,f,i,j,l)
 else find_299(a,f,b,c,h,j,g,k)
# n=8, i=3, a?b: c>e,c>g,d>f,d>g,f>h
find_299(a,b,c,d,e,f,g,h) =
 if a > b
 then find_48(a,c,d,e,b,f,g,h)
 else find_48(b,c,d,e,a,f,g,h)
# n=10, i=4, b?f: b>d,b>i,b>j,c>e,c>f,d>h,e>j,f>g,f>i
find_298(a,b,c,d,e,f,g,h,i,j) =
 if b > f
 then find_300(a,c,b,d,e,h,f,g,i,j)
 else find_301(a,e,f,g,b,d,i)
# n=7, i=3, a?b: c>d,c>e,e>f,e>g
find_301(a,b,c,d,e,f,g) =
 if a > b
 then find_302(a,c,d,b,e,f,g)
 else find_302(b,c,d,a,e,f,g)
# n=7, i=3, a?c: a>d,b>c,b>e,e>f,e>g
find_302(a,b,c,d,e,f,g) =
 if a > c
 then find_173(a,b,d,e,c,f,g)
 else find_57(c,e,f,g,a)
# n=10, i=4, a?g: b>e,b>g,c>d,c>g,c>j,d>f,e>j,g>h,g>i
find_300(a,b,c,d,e,f,g,h,i,j) =
 if a > g
 then find_303(a,b,c,d,e,f,g,j)
 else find_50(d,b,f,e,g,a,h,i,j)
# n=8, i=4, a?d: a>g,b>e,b>g,c>d,c>g,c>h,d>f,e>h
find_303(a,b,c,d,e,f,g,h) =
 if a > d
 then find_36(b,a,c,e,d,h,f,g)
 else find_75(d,b,a,f,e,h)
# n=13, i=6, d?h: a>h,a>j,b>d,b>f,c>e,c>h,c>m,e>g,e>k,f>j,f>k,h>i,j>m,k>l
find_296(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if d > h
 then find_304(d,a,f,c,e,g,j,h,k,l,m,i)
 else find_305(e,a,b,g,h,f,i,d,j,k,m,l)
# n=12, i=5, a?e: a>d,a>j,b>e,b>i,c>f,c>h,e>g,e>h,f>i,f>j,i>k,j>l
find_305(a,b,c,d,e,f,g,h,i,j,k,l) =
 if a > e
 then find_306(b,a,c,d,f,e,g,j,i,l,k,h)
 else find_307(e,c,g,a,f,h,d,i,k)
# n=9, i=4, c?e: a>c,a>d,a>f,b>e,b>f,d>g,e>h,h>i
find_307(a,b,c,d,e,f,g,h,i) =
 if c > e
 then find_308(c,d,b,f,g,e)
 else find_103(a,b,d,e,f,g,h,i,c)
# n=6, i=3, a?b: a>f,b>e,c>d,c>f
find_308(a,b,c,d,e,f) =
 if a > b
 then find_44(c,a,d,b,f,e)
 else find_62(c,b,a,e,d)
# n=12, i=5, e?f: a>f,a>i,b>d,b>f,b>h,c>e,c>l,e>h,e>i,f>g,f>l,h>j,i>k
find_306(a,b,c,d,e,f,g,h,i,j,k,l) =
 if e > f
 then find_238(a,b,e,d,h,i,j,k,f)
 else find_98(d,c,f,g,e,l)
# n=12, i=5, b?e: a>h,b>g,b>h,c>g,c>i,d>e,d>h,d>k,e>f,e>i,g>k,h>l,i>j
find_304(a,b,c,d,e,f,g,h,i,j,k,l) =
 if b > e
 then find_309(a,c,d,g,e,f,h,l,i,k)
 else find_161(f,a,b,c,i,g,h,j)
# n=10, i=4, a?b: a>g,b>d,b>i,c>e,c>g,c>j,d>j,e>f,e>i,g>h
find_309(a,b,c,d,e,f,g,h,i,j) =
 if a > b
 then find_310(a,c,e,b,f,d,g,h)
 else find_311(b,c,a,d,e,f,i,j,g)
# n=9, i=4, c?d: a>c,a>d,a>g,b>e,b>h,b>i,c>i,d>h,e>f,e>g
find_311(a,b,c,d,e,f,g,h,i) =
 if c > d
 then find_107(a,b,e,c,f,d,g,i)
 else find_107(a,b,e,d,f,c,g,h)
# n=8, i=4, c?d: a>d,a>g,b>c,b>g,c>e,d>f,g>h
find_310(a,b,c,d,e,f,g,h) =
 if c > d
 then find_44(c,a,e,g,d,h)
 else find_44(d,b,f,g,c,h)
# n=13, i=6, d?j: a>d,a>k,b>e,b>h,b>j,c>f,c>h,e>g,f>j,f>k,h>i,k>l,l>m
find_294(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if d > j
 then find_312(a,b,c,d,e,f,g,h,i,k,l,m,j)
 else find_313(a,f,b,e,h,i,g,j,k,l,m,d)
# n=12, i=5, a?d: a>i,a>l,b>h,b>i,c>d,c>e,c>h,d>g,e>f,h>l,i>j,j>k
find_313(a,b,c,d,e,f,g,h,i,j,k,l) =
 if a > d
 then find_314(b,a,c,e,f,d,h,i,g,j,k,l)
 else find_315(e,b,d,g,h,f,a,i)
# n=8, i=4, a?b: a>f,b>e,b>h,c>d,c>g,g>h
find_315(a,b,c,d,e,f,g,h) =
 if a > b
 then find_316(c,a,f,d,g,b,e)
 else find_317(c,b,e,d,a,g,f,h)
# n=8, i=4, c?d: a>d,a>f,b>c,b>e,b>h,e>g,f>h
find_317(a,b,c,d,e,f,g,h) =
 if c > d
 then find_213(c,e,a,g,f,d,h)
 else find_87(b,a,e,d,f,g,h,c)
# n=7, i=4, a?c: a>d,a>e,b>c,b>f,f>g
find_316(a,b,c,d,e,f,g) =
 if a > c
 then find_318(a,b,d,e,f,g,c)
 else find_129(f,c,g,a,d,e)
# n=7, i=4, c?d: a>c,a>d,a>g,b>e,b>g,e>f
find_318(a,b,c,d,e,f,g) =
 if c > d
 then find_247(a,b,e,c,g,f,d)
 else find_247(a,b,e,d,g,f,c)
# n=12, i=5, f?h: a>g,a>h,b>f,b>h,b>l,c>d,c>f,c>g,d>e,f>i,g>l,h>j,j>k
find_314(a,b,c,d,e,f,g,h,i,j,k,l) =
 if f > h
 then find_319(d,a,b,e,g,f,i,h,l)
 else find_320(b,c,a,d,e,g,h,j,k,f,l)
# n=11, i=5, d?g: a>g,a>k,b>d,b>f,b>j,c>f,c>g,d>e,f>k,g>h,g>j,h>i
find_320(a,b,c,d,e,f,g,h,i,j,k) =
 if d > g
 then find_321(d,a,c,e,f,k,g)
 else find_322(b,g,h,f,d,j,i,k)
# n=8, i=3, a?b: a>d,a>e,a>f,b>c,b>e,b>f,c>g,d>h
find_322(a,b,c,d,e,f,g,h) =
 if a > b
 then find_28(d,b,c,e,f,h)
 else find_28(c,a,d,e,f,g)
# n=7, i=4, a?b: a>d,a>g,b>f,b>g,c>e,c>g,e>f
find_321(a,b,c,d,e,f,g) =
 if a > b
 then find_100(d,b,c,e,g)
 else find_44(a,c,d,e,g,f)
# n=9, i=4, a?f: a>d,b>e,b>h,c>f,c>i,e>i,f>g,f>h
find_319(a,b,c,d,e,f,g,h,i) =
 if a > f
 then find_207(b,a,c,d,e,f,i,g)
 else find_55(b,f,g,a,e,h,d,i)
# n=13, i=6, e?f: a>d,a>j,b>e,b>h,b>m,c>f,c>h,d>m,e>g,f>j,f>m,h>i,j>k,k>l
find_312(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if e > f
 then find_323(a,e,c,g,d,h,i,f,j)
 else find_324(b,a,f,d,h,i,e,j,g,k,l,m)
# n=12, i=5, g?h: a>e,a>g,a>l,b>d,b>h,c>g,c>h,c>l,d>l,e>f,g>i,h>j,j>k
find_324(a,b,c,d,e,f,g,h,i,j,k,l) =
 if g > h
 then find_319(e,b,c,f,d,g,i,h,l)
 else find_325(a,c,b,d,e,f,h,j,k,l,g)
# n=11, i=5, e?h: a>e,a>j,a>k,b>g,b>j,c>d,c>g,d>j,e>f,g>h,g>k,h>i
find_325(a,b,c,d,e,f,g,h,i,j,k) =
 if e > h
 then find_148(b,c,a,d,e,f,g,j,k)
 else find_326(d,a,g,h,k,j,i)
# n=7, i=3, a?b: a>f,b>e,b>f,c>d,c>e,d>g
find_326(a,b,c,d,e,f,g) =
 if a > b
 then find_104(a,c,d,b,g,f)
 else find_37(b,c,d,a,e,g,f)
# n=9, i=5, a?f: a>e,a>i,b>d,b>h,c>f,c>h,f>g,h>i
find_323(a,b,c,d,e,f,g,h,i) =
 if a > f
 then find_327(b,a,c,e,d,f,h,g,i)
 else find_316(b,f,g,d,h,a,e)
# n=9, i=5, d?e: a>e,a>g,b>d,b>f,b>i,c>f,c>g,f>h,g>i
find_327(a,b,c,d,e,f,g,h,i) =
 if d > e
 then find_328(d,a,c,f,e,h,g,i)
 else find_329(a,c,b,e,f,g,h,d,i)
# n=9, i=5, d?e: a>d,a>f,b>e,b>f,c>e,c>h,c>i,d>h,e>g,f>i
find_329(a,b,c,d,e,f,g,h,i) =
 if d > e
 then find_139(d,b,c,f,h,i,e)
 else find_44(e,a,g,f,d,i)
# n=8, i=4, a?d: a>e,b>e,b>g,c>d,c>g,d>f,g>h
find_328(a,b,c,d,e,f,g,h) =
 if a > d
 then find_130(a,b,c,e,g,d,h,f)
 else find_75(d,b,a,f,g,h)