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