# n=12, i=6, a?b: no comparisons done
find_1(a,b,c,d,e,f,g,h,i,j,k,l) =
 if a > b
 then find_2(c,d,e,f,g,h,i,j,k,l,a,b)
 else find_2(c,d,e,f,g,h,i,j,k,l,b,a)
# n=12, i=6, a?b: k>l
find_2(a,b,c,d,e,f,g,h,i,j,k,l) =
 if a > b
 then find_3(c,d,e,f,g,h,i,j,a,k,l,b)
 else find_3(c,d,e,f,g,h,i,j,b,k,l,a)
# n=12, i=6, a?b: i>l,j>k
find_3(a,b,c,d,e,f,g,h,i,j,k,l) =
 if a > b
 then find_4(c,d,e,f,g,h,a,i,j,k,l,b)
 else find_4(c,d,e,f,g,h,b,i,j,k,l,a)
# n=12, i=6, a?b: g>l,h>k,i>j
find_4(a,b,c,d,e,f,g,h,i,j,k,l) =
 if a > b
 then find_5(c,d,e,f,a,g,h,i,j,k,l,b)
 else find_5(c,d,e,f,b,g,h,i,j,k,l,a)
# n=12, i=6, a?b: e>l,f>k,g>j,h>i
find_5(a,b,c,d,e,f,g,h,i,j,k,l) =
 if a > b
 then find_6(c,d,a,e,f,g,h,i,j,k,l,b)
 else find_6(c,d,b,e,f,g,h,i,j,k,l,a)
# n=12, i=6, a?b: c>l,d>k,e>j,f>i,g>h
find_6(a,b,c,d,e,f,g,h,i,j,k,l) =
 if a > b
 then find_7(a,c,d,e,f,g,h,i,j,k,l,b)
 else find_7(b,c,d,e,f,g,h,i,j,k,l,a)
# n=12, i=6, a?b: a>l,b>k,c>j,d>i,e>h,f>g
find_7(a,b,c,d,e,f,g,h,i,j,k,l) =
 if a > b
 then find_8(c,d,e,f,a,l,g,h,i,j,b,k)
 else find_8(c,d,e,f,b,k,g,h,i,j,a,l)
# n=12, i=6, a?b: a>j,b>i,c>h,d>g,e>f,e>k,k>l
find_8(a,b,c,d,e,f,g,h,i,j,k,l) =
 if a > b
 then find_9(c,d,a,e,f,j,g,h,k,b,l,i)
 else find_9(c,d,b,e,f,i,g,h,k,a,l,j)
# n=12, i=6, a?b: a>h,b>g,c>f,c>j,d>e,d>i,i>k,j>l
find_9(a,b,c,d,e,f,g,h,i,j,k,l) =
 if a > b
 then find_10(a,c,d,e,f,h,i,j,b,k,l,g)
 else find_10(b,c,d,e,f,g,i,j,a,k,l,h)
# n=12, i=6, d?e: a>f,a>i,b>e,b>h,c>d,c>g,g>j,h>k,i>l
find_10(a,b,c,d,e,f,g,h,i,j,k,l) =
 if d > e
 then find_11(a,b,c,f,g,i,h,d,j,l,k,e)
 else find_11(a,c,b,f,h,i,g,e,k,l,j,d)
# n=12, i=6, d?g: a>d,a>f,b>g,b>l,c>e,c>h,e>i,f>j,g>k,h>l
find_11(a,b,c,d,e,f,g,h,i,j,k,l) =
 if d > g
 then find_12(b,c,a,f,e,h,d,j,i,l,g,k)
 else find_13(a,c,b,e,f,h,g,k,i,j,l,d)
# n=12, i=6, d?g: a>e,a>l,b>d,b>f,c>g,c>k,d>i,e>j,f>k,g>h,g>l
find_13(a,b,c,d,e,f,g,h,i,j,k,l) =
 if d > g
 then find_14(f,a,d,c,i,e,k,j,g,h,l)
 else find_15(a,b,c,e,f,g,h,j,l,k,d,i)
# n=12, i=6, d?k: a>d,a>i,b>e,b>k,c>f,c>j,d>h,e>j,f>g,f>i,f>k,k>l
find_15(a,b,c,d,e,f,g,h,i,j,k,l) =
 if d > k
 then find_16(b,a,c,e,d,f,g,h,i,j,k)
 else find_17(a,b,f,g,e,i,j,k,l,d)
# n=10, i=5, a?e: a>f,a>j,b>e,b>h,c>d,c>f,c>h,e>g,h>i,h>j
find_17(a,b,c,d,e,f,g,h,i,j) =
 if a > e
 then find_18(a,c,b,d,f,e,h,i,g,j)
 else find_19(e,c,d,g,h,a,i,f)
# n=8, i=4, a?e: a>d,a>f,b>c,b>e,b>h,e>g,f>h
find_19(a,b,c,d,e,f,g,h) =
 if a > e
 then find_20(d,f,b,c,e,h,g)
 else find_21(c,g,a,f,d)
# n=5, i=2, a?d: c>d,c>e
find_21(a,b,c,d,e) =
 if a > d
 then find_22(a,b,c,e)
 else find_23(b,c,d,e)
# n=4, i=2, a?b: b>c,b>d
find_23(a,b,c,d) =
 if a > b
 then b
 else find_24(a,c,d)
# n=3, i=1, b?c: no comparisons done
find_24(a,b,c) =
 if b > c
 then find_25(a,b)
 else find_25(a,c)
# n=2, i=1, a?b: no comparisons done
find_25(a,b) =
 if a > b
 then a
 else b
# n=4, i=2, a?b: c>d
find_22(a,b,c,d) =
 if a > b
 then find_26(a,c,d,b)
 else find_26(b,c,d,a)
# n=4, i=2, a?b: a>d,b>c
find_26(a,b,c,d) =
 if a > b
 then find_25(b,d)
 else find_25(a,c)
# n=7, i=3, a?d: b>f,c>d,c>e,c>f,e>g
find_20(a,b,c,d,e,f,g) =
 if a > d
 then find_27(a,b,c,e,g,f,d)
 else find_28(b,d,e,g,a,f)
# n=6, i=2, a?b: a>f,b>e,c>d
find_28(a,b,c,d,e,f) =
 if a > b
 then find_29(c,a,b,f,d)
 else find_29(c,b,a,e,d)
# n=5, i=2, a?d: a>e,b>c,b>d
find_29(a,b,c,d,e) =
 if a > d
 then find_26(a,b,c,e)
 else find_25(c,d)
# n=7, i=3, a?b: a>g,b>f,c>d,c>f,c>g,d>e
find_27(a,b,c,d,e,f,g) =
 if a > b
 then find_30(a,c,b,d,g,e)
 else find_30(b,c,a,d,f,e)
# n=6, i=3, c?d: a>c,a>e,b>d,b>e,d>f
find_30(a,b,c,d,e,f) =
 if c > d
 then find_31(c,b,e)
 else find_26(a,d,f,e)
# n=3, i=2, a?c: b>c
find_31(a,b,c) =
 if a > c
 then find_32(a,b)
 else c
# n=2, i=2, a?b: no comparisons done
find_32(a,b) =
 if a > b
 then b
 else a
# n=10, i=5, d?f: a>e,a>f,a>j,b>d,b>e,b>g,c>f,c>g,f>i,g>h,g>j
find_18(a,b,c,d,e,f,g,h,i,j) =
 if d > f
 then find_33(d,a,c,e,g,h,f,j)
 else find_34(a,b,g,f,e,h,i,d,j)
# n=9, i=4, c?d: a>d,a>e,a>i,b>c,b>e,b>h,c>f,c>i,d>g,d>h
find_34(a,b,c,d,e,f,g,h,i) =
 if c > d
 then find_35(a,c,f,e,d,i)
 else find_35(b,d,g,e,c,h)
# n=6, i=3, c?d: a>d,a>e,a>f,b>c,b>e,b>f
find_35(a,b,c,d,e,f) =
 if c > d
 then find_23(c,a,e,f)
 else find_23(d,b,e,f)
# n=8, i=4, a?d: a>g,b>d,b>g,b>h,c>e,c>g,e>f,e>h
find_33(a,b,c,d,e,f,g,h) =
 if a > d
 then find_36(a,b,c,e,d,f,g,h)
 else find_37(c,b,d,e,f,a,h)
# n=7, i=4, a?c: a>d,b>c,b>g,c>f,d>e,d>g
find_37(a,b,c,d,e,f,g) =
 if a > c
 then find_30(d,b,e,c,g,f)
 else find_31(f,a,d)
# 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_36(a,b,c,d,e,f,g,h) =
 if a > d
 then find_30(b,c,e,d,g,f)
 else find_22(a,f,b,h)
# n=11, i=6, d?i: a>d,a>k,b>e,b>i,c>f,c>j,d>j,e>h,e>k,f>g,f>i,f>k
find_16(a,b,c,d,e,f,g,h,i,j,k) =
 if d > i
 then find_38(b,a,c,e,d,f,g,h,j,k,i)
 else find_39(e,a,f,g,h,i,k,d)
# n=8, i=4, a?b: a>e,a>g,b>g,b>h,c>d,c>f,c>g,f>h
find_39(a,b,c,d,e,f,g,h) =
 if a > b
 then find_40(a,c,d,f,e,b,g)
 else find_41(c,b,d,f,a,e,g,h)
# n=8, i=4, c?d: a>c,a>d,a>g,b>e,b>h,d>h,e>f,e>g
find_41(a,b,c,d,e,f,g,h) =
 if c > d
 then find_37(b,a,c,e,f,d,g)
 else find_42(a,b,e,d,f,c,g,h)
# n=8, i=4, c?d: a>d,a>g,b>c,b>h,c>e,c>g,d>f,d>h
find_42(a,b,c,d,e,f,g,h) =
 if c > d
 then find_23(e,a,d,g)
 else find_23(f,b,c,h)
# n=7, i=4, c?d: a>e,a>f,b>c,b>d,b>g,f>g
find_40(a,b,c,d,e,f,g) =
 if c > d
 then find_43(a,b,e,c,f,d,g)
 else find_43(a,b,e,d,f,c,g)
# n=7, i=4, c?d: a>c,a>e,b>d,b>g,d>f,e>g
find_43(a,b,c,d,e,f,g) =
 if c > d
 then find_44(c,e,b,g,d)
 else find_30(d,a,f,e,c,g)
# n=5, i=3, a?b: a>e,b>d,c>d,c>e
find_44(a,b,c,d,e) =
 if a > b
 then find_31(b,c,e)
 else find_31(a,c,d)
# n=11, i=6, d?e: a>d,a>k,b>e,b>j,c>f,c>i,d>h,d>j,e>i,e>k,f>g,f>j,f>k
find_38(a,b,c,d,e,f,g,h,i,j,k) =
 if d > e
 then find_45(b,c,d,h,f,g,e,j,i)
 else find_46(a,c,e,f,i,g,d,h,k)
# n=9, i=5, e?f: a>g,a>i,b>d,b>e,c>e,c>g,c>i,d>f,d>i,g>h
find_46(a,b,c,d,e,f,g,h,i) =
 if e > f
 then find_47(a,b,g,e,d,h,f,i)
 else find_48(a,c,b,d,g,f,h,i,e)
# n=9, i=5, e?f: a>e,a>h,b>e,b>h,b>i,c>d,d>f,d>h,e>g,f>i
find_48(a,b,c,d,e,f,g,h,i) =
 if e > f
 then find_49(e,c,g,d,h)
 else find_44(a,f,b,i,h)
# n=5, i=3, a?b: a>c,b>d,d>e
find_49(a,b,c,d,e) =
 if a > b
 then find_31(c,b,d)
 else find_26(a,d,e,c)
# n=8, i=4, c?d: a>c,a>h,b>d,b>e,c>f,d>g,e>g,e>h
find_47(a,b,c,d,e,f,g,h) =
 if c > d
 then find_30(c,b,f,e,d,h)
 else find_50(a,d,e,g,h,c)
# n=6, i=3, a?b: a>e,a>f,b>d,b>f,c>d,c>e
find_50(a,b,c,d,e,f) =
 if a > b
 then find_26(b,c,e,f)
 else find_26(a,c,d,f)
# n=9, i=5, f?g: a>g,a>h,b>e,b>i,c>d,c>g,c>h,e>f,e>h,g>i
find_45(a,b,c,d,e,f,g,h,i) =
 if f > g
 then find_51(a,c,e,f,d,h)
 else find_52(d,b,a,g,e,h,i)
# n=7, i=4, a?d: b>e,b>g,c>d,c>f,d>g,e>f
find_52(a,b,c,d,e,f,g) =
 if a > d
 then find_53(a,b,c,e,d,f)
 else find_30(d,b,a,e,g,f)
# n=6, i=4, a?d: a>e,b>d,c>e,c>f,d>f
find_53(a,b,c,d,e,f) =
 if a > d
 then find_54(b,c,e,d)
 else find_31(a,c,f)
# n=4, i=3, c?d: a>d,b>c
find_54(a,b,c,d) =
 if c > d
 then find_32(a,c)
 else find_32(b,d)
# n=6, i=4, d?e: a>f,b>e,b>f,c>d,c>f
find_51(a,b,c,d,e,f) =
 if d > e
 then find_44(a,d,b,e,f)
 else find_44(a,e,c,d,f)
# n=11, i=5, e?f: a>g,b>f,b>k,c>e,c>i,d>g,d>i,f>h,i>j,i>k
find_14(a,b,c,d,e,f,g,h,i,j,k) =
 if e > f
 then find_55(a,b,d,c,e,g,i,j,f,k,h)
 else find_56(a,c,b,d,f,g,h,i,j,e,k)
# n=11, i=5, d?e: a>f,b>h,b>j,c>e,c>k,d>f,d>h,e>g,e>j,h>i,h>k
find_56(a,b,c,d,e,f,g,h,i,j,k) =
 if d > e
 then find_57(a,b,c,f,e,h,g,i,j,k)
 else find_58(g,a,b,d,j,h,f)
# n=7, i=3, a?b: b>g,c>e,c>f,d>f,d>g
find_58(a,b,c,d,e,f,g) =
 if a > b
 then find_59(a,d,c,e,b,f)
 else find_60(b,c,d,e,a,f,g)
# n=7, i=3, a?b: a>e,a>g,b>d,b>f,c>f,c>g
find_60(a,b,c,d,e,f,g) =
 if a > b
 then find_61(e,c,b,d,g)
 else find_61(d,c,a,e,f)
# n=5, i=2, a?c: b>e,c>d
find_61(a,b,c,d,e) =
 if a > c
 then find_26(a,b,e,c)
 else find_29(b,c,a,d,e)
# n=6, i=3, a?b: a>e,b>f,c>d,c>f
find_59(a,b,c,d,e,f) =
 if a > b
 then find_62(c,a,b,e,d)
 else find_30(c,b,d,a,f,e)
# n=5, i=3, a?b: a>e,b>c,b>d
find_62(a,b,c,d,e) =
 if a > b
 then find_23(e,b,d,c)
 else find_22(c,d,a,e)
# n=10, i=4, e?f: a>d,b>f,b>i,c>e,c>j,e>g,e>i,f>h,f>j
find_57(a,b,c,d,e,f,g,h,i,j) =
 if e > f
 then find_63(a,b,c,d,e,g,f,i)
 else find_63(a,c,b,d,f,h,e,j)
# n=8, i=4, a?e: a>d,b>g,b>h,c>e,e>f,e>g,e>h
find_63(a,b,c,d,e,f,g,h) =
 if a > e
 then find_64(b,d,c,e,f)
 else find_65(f,a,b,g,h,d)
# n=6, i=2, a?b: b>f,c>d,c>e
find_65(a,b,c,d,e,f) =
 if a > b
 then find_29(a,c,d,e,b)
 else find_66(b,c,d,e,a,f)
# n=6, i=2, a?b: a>e,a>f,b>c,b>d
find_66(a,b,c,d,e,f) =
 if a > b
 then find_24(b,e,f)
 else find_24(a,c,d)
# n=5, i=3, a?d: c>d,d>e
find_64(a,b,c,d,e) =
 if a > d
 then find_67(b,a,c,d)
 else find_23(b,d,a,e)
# n=4, i=3, a?b: b>d,c>d
find_67(a,b,c,d) =
 if a > b
 then find_32(b,c)
 else find_31(a,c,d)
# n=11, i=5, a?b: a>f,b>i,b>j,c>f,c>g,d>e,d>g,e>i,g>h,g>j,i>k
find_55(a,b,c,d,e,f,g,h,i,j,k) =
 if a > b
 then find_68(c,a,d,e,b,f,g,h,i)
 else find_69(c,b,d,a,e,g,h,f,i,j,k)
# n=11, i=5, a?e: a>f,a>h,b>d,b>i,b>j,c>e,c>f,d>h,e>i,f>g,f>j,i>k
find_69(a,b,c,d,e,f,g,h,i,j,k) =
 if a > e
 then find_70(b,c,d,e,f,g,h,j,i)
 else find_71(a,b,d,i,f,k,g)
# n=7, i=3, a?d: a>e,b>c,b>d,d>f,e>g
find_71(a,b,c,d,e,f,g) =
 if a > d
 then find_30(b,a,c,e,d,g)
 else find_23(c,d,a,f)
# 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_70(a,b,c,d,e,f,g,h,i) =
 if c > d
 then find_72(a,b,e,c,f,g,d,h)
 else find_73(e,d,a,f,h,c,i)
# n=7, i=3, a?b: a>d,a>e,b>f,b>g,c>e,c>f,c>g
find_73(a,b,c,d,e,f,g) =
 if a > b
 then find_22(b,d,c,e)
 else find_29(a,c,f,g,d)
# n=8, i=4, c?d: a>d,a>h,b>c,b>g,c>e,c>h,d>f,d>g
find_72(a,b,c,d,e,f,g,h) =
 if c > d
 then find_23(e,a,d,h)
 else find_23(f,b,c,g)
# n=9, i=5, b?d: a>f,a>g,b>e,b>f,c>d,c>g,d>i,e>i,g>h
find_68(a,b,c,d,e,f,g,h,i) =
 if b > d
 then find_74(a,b,c,e,f,g,d,h,i)
 else find_75(a,d,g,b,h,e,i,f)
# n=8, i=4, c?d: a>c,a>h,b>d,c>e,d>f,d>h,f>g
find_75(a,b,c,d,e,f,g,h) =
 if c > d
 then find_31(e,b,d)
 else find_29(f,a,c,h,g)
# n=9, i=5, d?f: a>e,a>f,b>d,b>e,b>g,c>f,c>g,d>i,f>h,g>i
find_74(a,b,c,d,e,f,g,h,i) =
 if d > f
 then find_76(a,d,c,e,g,f,i)
 else find_77(f,b,e,g,h,d)
# n=6, i=3, c?d: a>e,a>f,b>c,b>d,b>f
find_77(a,b,c,d,e,f) =
 if c > d
 then find_30(a,b,e,c,f,d)
 else find_30(a,b,e,d,f,c)
# n=7, i=4, d?e: a>d,a>f,b>f,b>g,c>e,c>f,e>g
find_76(a,b,c,d,e,f,g) =
 if d > e
 then find_44(b,d,c,e,f)
 else find_50(a,b,e,g,d,f)
# n=12, i=6, a?d: a>j,a>k,b>e,b>f,c>d,c>g,d>h,e>i,f>j,g>k,k>l
find_12(a,b,c,d,e,f,g,h,i,j,k,l) =
 if a > d
 then find_78(b,a,c,e,f,g,i,d,h,j,k,l)
 else find_79(g,b,d,h,e,f,a,i,k,j,l)
# n=11, i=5, a?d: a>i,b>e,b>f,c>d,c>g,e>h,f>j,g>i,g>j,i>k
find_79(a,b,c,d,e,f,g,h,i,j,k) =
 if a > d
 then find_80(a,b,c,e,f,g,d,h,i,j,k)
 else find_81(b,c,e,f,d,g,h,a,j,i)
# n=10, i=5, c?e: a>c,a>d,b>e,b>f,c>g,d>i,e>h,f>i,f>j,h>j
find_81(a,b,c,d,e,f,g,h,i,j) =
 if c > e
 then find_82(d,c,b,g,f,e,h,i)
 else find_83(f,e,a,d,h,c,g,i,j)
# n=9, i=4, a?f: a>h,a>i,b>e,b>f,c>d,c>f,d>h,e>i,f>g
find_83(a,b,c,d,e,f,g,h,i) =
 if a > f
 then find_84(a,b,c,d,e,h,i,f)
 else find_21(d,e,f,a,g)
# n=8, i=4, d?e: a>f,a>g,a>h,b>e,b>h,c>d,c>h,d>f,e>g
find_84(a,b,c,d,e,f,g,h) =
 if d > e
 then find_50(a,b,d,e,f,h)
 else find_50(a,c,e,d,g,h)
# n=8, i=4, a?f: a>h,b>d,b>f,c>e,c>f,e>h,f>g
find_82(a,b,c,d,e,f,g,h) =
 if a > f
 then find_76(b,a,c,d,e,f,h)
 else find_21(d,e,f,a,g)
# n=11, i=5, a?d: a>g,a>i,b>d,b>e,c>f,c>g,d>h,e>j,f>i,f>j,i>k
find_80(a,b,c,d,e,f,g,h,i,j,k) =
 if a > d
 then find_85(b,c,a,e,f,g,d,h,i,j,k)
 else find_86(e,d,c,h,a,f,g,j)
# n=8, i=4, a?c: a>h,b>d,b>e,c>f,c>g,e>g,f>h
find_86(a,b,c,d,e,f,g,h) =
 if a > c
 then find_87(b,a,d,e,c,f,h)
 else find_88(b,c,d,a,f,e,g,h)
# n=8, i=4, c?d: a>c,a>f,b>d,b>e,b>g,d>h,e>h,f>g
find_88(a,b,c,d,e,f,g,h) =
 if c > d
 then find_89(c,f,b,e,g,d)
 else find_90(e,d,a,f,c,h,g)
# n=7, i=3, a?d: a>f,b>e,b>f,c>d,c>e,d>g
find_90(a,b,c,d,e,f,g) =
 if a > d
 then find_50(a,b,c,e,d,f)
 else find_29(b,d,a,g,e)
# n=6, i=3, a?b: a>f,b>e,c>d,c>e,c>f
find_89(a,b,c,d,e,f) =
 if a > b
 then find_91(a,c,d,b,f)
 else find_91(b,c,d,a,e)
# n=5, i=3, c?d: a>d,a>e,b>c,b>e
find_91(a,b,c,d,e) =
 if c > d
 then find_31(c,a,e)
 else find_31(d,b,e)
# n=7, i=4, c?e: a>c,a>d,b>e,e>f,f>g
find_87(a,b,c,d,e,f,g) =
 if c > e
 then find_67(d,c,b,e)
 else find_30(a,e,d,f,c,g)
# n=11, i=5, e?g: a>d,a>g,b>e,b>f,c>f,c>g,c>i,d>j,e>i,e>j,g>h,i>k
find_85(a,b,c,d,e,f,g,h,i,j,k) =
 if e > g
 then find_92(a,c,e,f,d,i,k,g,j)
 else find_93(d,b,g,h,f,e)
# n=6, i=3, a?b: b>e,b>f,c>d,c>f
find_93(a,b,c,d,e,f) =
 if a > b
 then find_49(c,a,d,b,e)
 else find_77(c,b,a,e,d,f)
# n=9, i=4, d?e: a>e,a>h,b>d,b>f,b>h,c>f,c>h,c>i,e>i,f>g
find_92(a,b,c,d,e,f,g,h,i) =
 if d > e
 then find_90(d,a,c,f,h,e,g)
 else find_94(a,b,c,e,f,h,g,i,d)
# n=9, i=4, d?e: a>d,a>f,b>e,b>f,b>i,c>e,c>f,c>h,d>h,d>i,e>g
find_94(a,b,c,d,e,f,g,h,i) =
 if d > e
 then find_50(b,c,d,h,i,f)
 else find_26(a,e,g,f)
# n=12, i=6, d?f: a>d,a>e,b>h,b>j,b>k,c>f,c>h,d>g,e>j,f>k,h>i,k>l
find_78(a,b,c,d,e,f,g,h,i,j,k,l) =
 if d > f
 then find_95(e,d,c,b,g,j,h,f,i,k)
 else find_96(a,f,b,h,e,i,k,d,l,g,j)
# n=11, i=5, d?h: a>e,a>h,b>g,b>h,c>d,c>g,c>k,d>f,e>k,g>i,h>j
find_96(a,b,c,d,e,f,g,h,i,j,k) =
 if d > h
 then find_97(d,b,a,f,e,g,k,i,h)
 else find_98(c,a,b,e,g,h,j,i,k,d)
# n=10, i=5, d?e: a>e,a>i,a>j,b>d,b>f,c>e,c>f,d>i,e>h,f>g,f>j
find_98(a,b,c,d,e,f,g,h,i,j) =
 if d > e
 then find_36(d,a,c,f,i,g,e,j)
 else find_72(a,b,f,e,g,h,d,j)
# n=9, i=4, d?e: a>d,a>i,b>f,b>i,c>e,c>i,e>g,f>h
find_97(a,b,c,d,e,f,g,h,i) =
 if d > e
 then find_99(c,b,a,f,d,h,i,e)
 else find_100(a,b,c,f,e,g,h,i,d)
# n=9, i=4, d?e: a>h,a>i,b>d,b>h,c>e,c>h,d>g,e>f,e>i
find_100(a,b,c,d,e,f,g,h,i) =
 if d > e
 then find_101(a,d,c,g,e,h)
 else find_102(a,b,e,f,d,i,h)
# n=7, i=3, a?b: a>f,a>g,b>e,b>g,c>d,c>e,c>f
find_102(a,b,c,d,e,f,g) =
 if a > b
 then find_30(c,a,d,b,f,g)
 else find_30(c,b,d,a,e,g)
# n=6, i=3, a?b: a>f,b>d,b>e,c>e,c>f
find_101(a,b,c,d,e,f) =
 if a > b
 then find_26(b,c,f,d)
 else find_22(a,d,c,e)
# n=8, i=4, a?d: a>g,a>h,b>d,b>g,c>e,c>g,d>f,e>h
find_99(a,b,c,d,e,f,g,h) =
 if a > d
 then find_103(c,b,a,e,d,f,g,h)
 else find_62(c,d,a,f,e)
# n=8, i=4, b?d: a>d,a>g,b>e,b>g,c>e,c>g,c>h,d>h,e>f
find_103(a,b,c,d,e,f,g,h) =
 if b > d
 then find_30(a,c,d,e,g,f)
 else find_31(b,c,h)
# n=10, i=5, e?f: a>f,b>e,b>h,c>g,c>h,d>f,d>g,d>j,g>i,h>j
find_95(a,b,c,d,e,f,g,h,i,j) =
 if e > f
 then find_104(a,d,b,c,e,g,h,i,f,j)
 else find_105(a,b,c,d,g,f,h,i,j,e)
# n=10, i=5, a?b: a>f,b>g,b>j,c>e,c>g,d>e,d>f,d>i,e>h,f>j,g>i
find_105(a,b,c,d,e,f,g,h,i,j) =
 if a > b
 then find_106(c,a,d,b,e,f,h,g,j)
 else find_107(c,d,b,a,e,g,h,f,i,j)
# n=10, i=5, d?e: a>e,a>f,b>e,b>h,b>i,c>d,c>f,d>h,e>g,f>i,h>j
find_107(a,b,c,d,e,f,g,h,i,j) =
 if d > e
 then find_103(a,d,b,f,h,j,e,i)
 else find_30(e,c,g,f,d,i)
# n=9, i=5, a?c: a>e,a>h,b>d,b>f,c>e,c>f,d>h,d>i,e>g,f>i
find_106(a,b,c,d,e,f,g,h,i) =
 if a > c
 then find_108(b,c,e,d,g,h,f)
 else find_47(a,b,e,f,d,g,i,h)
# n=7, i=4, c?d: a>d,a>g,b>c,b>g,c>e,d>f
find_108(a,b,c,d,e,f,g) =
 if c > d
 then find_91(a,c,e,g,d)
 else find_91(b,d,f,g,c)
# n=10, i=5, e?f: a>i,b>f,b>i,b>j,c>e,c>g,d>f,d>g,e>i,f>h,g>j
find_104(a,b,c,d,e,f,g,h,i,j) =
 if e > f
 then find_109(a,e,b,d,g,f,i,j)
 else find_110(a,c,b,g,f,h,e,j)
# n=8, i=4, a?d: b>d,b>g,c>e,c>h,d>h,e>f,e>g
find_110(a,b,c,d,e,f,g,h) =
 if a > d
 then find_111(a,b,c,e,d,f,g)
 else find_42(b,c,e,d,f,a,g,h)
# n=7, i=4, a?d: a>e,b>e,b>g,c>d,d>f,d>g
find_111(a,b,c,d,e,f,g) =
 if a > d
 then find_49(b,c,e,d,f)
 else find_22(a,f,b,g)
# n=8, i=4, a?b: a>g,b>f,b>g,c>f,c>g,c>h,d>e,d>f,e>h
find_109(a,b,c,d,e,f,g,h) =
 if a > b
 then find_112(a,d,c,e,b,h,g)
 else find_84(c,b,d,e,a,h,g,f)
# n=7, i=4, d?e: a>e,b>d,c>f,c>g,d>f,e>g
find_112(a,b,c,d,e,f,g) =
 if d > e
 then find_44(a,c,d,f,e)
 else find_44(b,c,e,g,d)