# n=14, i=7, ]24..25], 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=7, ]0..24], 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=7, ]0..23], 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=7, ]0..22], 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=7, ]0..21], 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=7, ]0..20], 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=7, ]0..19], 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=7, ]0..18], 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=7, ]0..17], 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=7, ]0..16], 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=7, ]0..15], b?c: 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 b > c
 then find_12(a,d,b,h,f,e,k,i,c,g,n,l,j,m)
 else find_12(a,d,c,g,f,e,j,i,b,h,m,l,k,n)
# n=14, i=7, ]0..14], e?m: a>f,b>e,b>h,c>d,c>g,c>i,g>k,h>l,i>j,i>m,m>n
find_12(a,b,c,d,e,f,g,h,i,j,k,l,m,n) =
 if e > m
 then find_13(a,b,c,d,f,g,h,e,i,j,k,l,m,n)
 else find_14(d,a,g,b,i,j,k,f,h,m,n,l,e)
# n=13, i=6, ]0..13], b?c: b>h,c>g,d>i,d>m,e>f,e>j,i>l,j>k,j>m
find_14(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if b > c
 then find_15(a,b,d,e,f,h,c,i,j,k,g,l,m)
 else find_15(a,c,d,e,f,g,b,i,j,k,h,l,m)
# n=13, i=6, ]0..12], g?h: b>f,b>g,c>h,c>m,d>e,d>i,g>k,h>l,i>j,i>m
find_15(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if g > h
 then find_16(a,c,d,b,f,e,i,g,k,j,m,h,l)
 else find_17(a,b,d,c,e,f,i,h,l,j,m,g,k)
# n=13, i=6, ]0..11], b?g: b>f,b>l,c>e,c>g,d>h,d>k,g>j,g>k,h>i,h>l,l>m
find_17(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if b > g
 then find_18(a,c,d,b,f,e,h,i,g,j,l,m,k)
 else find_19(a,e,d,g,j,h,b,f,i,k,l)
# n=11, i=5, ]0..10], a?b: c>f,c>j,d>e,d>g,d>j,f>i,f>k,g>h,g>k
find_19(a,b,c,d,e,f,g,h,i,j,k) =
 if a > b
 then find_20(a,c,d,e,b,g,f,j,h,i,k)
 else find_20(b,c,d,e,a,g,f,j,h,i,k)
# n=11, i=5, ]8..9], a?f: a>e,b>g,b>h,c>d,c>f,c>h,f>i,f>k,g>j,g>k
find_20(a,b,c,d,e,f,g,h,i,j,k) =
 if a > f
 then find_21(b,a,c,d,e,g,h,j,f,i)
 else find_22(d,b,f,i,h,a,g,j,e,k)
# n=10, i=4, ]0..8], a?f: b>e,b>g,c>d,c>f,c>j,f>i,g>h,g>j
find_22(a,b,c,d,e,f,g,h,i,j) =
 if a > f
 then find_23(a,c,b,e,d,g,h,f,i,j)
 else find_24(b,c,d,e,g,f,a,i,h,j)
# n=10, i=4, ]6..7], c?d: a>d,a>e,b>c,b>f,b>j,e>i,e>j,f>g,f>h
find_24(a,b,c,d,e,f,g,h,i,j) =
 if c > d
 then find_25(a,b,c,e,f,g,h,i,j,d)
 else find_26(a,b,d,e,f,g,h,i,j,c)
# n=10, i=4, ]5..6], a?b: a>c,a>d,b>e,b>i,b>j,c>j,d>h,d>i,e>f,e>g
find_26(a,b,c,d,e,f,g,h,i,j) =
 if a > b
 then find_27(c,d,b,h,e,i,j,g,f)
 else find_28(e,a,f,g,c,d,h,i,j)
# n=9, i=3, ]0..5], a?f: a>c,a>d,b>e,b>f,e>i,f>g,f>h
find_28(a,b,c,d,e,f,g,h,i) =
 if a > f
 then find_29(a,b,c,d,e,i,f)
 else find_30(e,f,a,g,h,i)
# n=6, i=2, ]0..4], c?d: a>f,b>c,b>d,b>e
find_30(a,b,c,d,e,f) =
 if c > d
 then find_31(a,b,c,e,f)
 else find_31(a,b,d,e,f)
# n=5, i=2, ]0..3], c?d: a>e,b>c,b>d
find_31(a,b,c,d,e) =
 if c > d
 then find_32(a,b,c,e)
 else find_32(a,b,d,e)
# n=4, i=2, ]0..2], a?b: a>d,b>c
find_32(a,b,c,d) =
 if a > b
 then find_33(b,d)
 else find_33(a,c)
# n=2, i=1, ]0..1], a?b: no comparisons done
find_33(a,b) =
 if a > b
 then a
 else b
# n=7, i=3, ]0..4], c?e: a>c,a>d,a>g,b>e,b>g,e>f
find_29(a,b,c,d,e,f,g) =
 if c > e
 then find_34(c,d,b,g)
 else find_35(a,b,d,e,g,f)
# n=6, i=3, ]0..3], c?d: a>c,a>e,b>d,b>e,d>f
find_35(a,b,c,d,e,f) =
 if c > d
 then find_36(c,b,e)
 else find_32(a,d,f,e)
# n=3, i=2, ]0..2], a?b: b>c
find_36(a,b,c) =
 if a > b
 then b
 else find_33(a,c)
# n=4, i=2, ]0..3], a?b: c>d
find_34(a,b,c,d) =
 if a > b
 then find_32(a,c,d,b)
 else find_32(b,c,d,a)
# n=9, i=3, ]0..5], a?e: a>g,b>d,b>f,c>e,c>f,c>g,e>h,e>i
find_27(a,b,c,d,e,f,g,h,i) =
 if a > e
 then find_37(b,a,c,d,f,e,g)
 else find_38(b,c,d,e,f,a,h,i)
# n=8, i=3, ]0..4], a?d: a>c,a>e,b>d,b>e,d>f,d>g,d>h
find_38(a,b,c,d,e,f,g,h) =
 if a > d
 then find_39(c,b,d,e)
 else find_40(a,f,g,h)
# n=4, i=1, ]0..3], a?b: no comparisons done
find_40(a,b,c,d) =
 if a > b
 then find_41(a,c,d)
 else find_41(b,c,d)
# n=3, i=1, ]0..2], a?c: no comparisons done
find_41(a,b,c) =
 if a > c
 then find_33(a,b)
 else find_33(b,c)
# n=4, i=2, ]0..3], c?d: b>c,b>d
find_39(a,b,c,d) =
 if c > d
 then find_36(a,b,c)
 else find_36(a,b,d)
# n=7, i=3, ]3..4], a?b: a>d,a>e,b>f,b>g,c>e,c>f,c>g
find_37(a,b,c,d,e,f,g) =
 if a > b
 then find_34(b,d,c,e)
 else find_31(a,c,f,g,d)
# n=10, i=4, ]0..6], d?e: a>d,a>j,b>c,b>e,b>i,c>j,d>h,d>i,e>f,e>g
find_25(a,b,c,d,e,f,g,h,i,j) =
 if d > e
 then find_42(d,b,h,c,e,i,j)
 else find_43(c,a,e,f,g,d,j)
# n=7, i=3, ]0..5], d?e: a>g,b>f,b>g,c>d,c>e,c>f
find_43(a,b,c,d,e,f,g) =
 if d > e
 then find_44(a,b,c,d,f,g,e)
 else find_44(a,b,c,e,f,g,d)
# n=7, i=3, ]0..4], a?d: a>f,b>e,b>f,c>d,c>e,d>g
find_44(a,b,c,d,e,f,g) =
 if a > d
 then find_45(a,b,c,e,d,f)
 else find_31(b,d,a,g,e)
# n=6, i=3, ]0..3], a?b: a>e,a>f,b>d,b>f,c>d,c>e
find_45(a,b,c,d,e,f) =
 if a > b
 then find_32(b,c,e,f)
 else find_32(a,c,d,f)
# n=7, i=3, ]3..4], e?f: a>c,a>e,a>f,b>d,b>e,b>f,d>g
find_42(a,b,c,d,e,f,g) =
 if e > f
 then find_35(a,b,c,d,e,g)
 else find_35(a,b,c,d,f,g)
# n=10, i=4, ]0..7], d?e: a>h,b>e,b>h,b>j,c>d,c>f,f>g,f>j,h>i
find_23(a,b,c,d,e,f,g,h,i,j) =
 if d > e
 then find_46(a,b,c,d,f,g,h,i,j,e)
 else find_47(a,c,b,e,f,g,h,i,j,d)
# n=10, i=4, ]0..6], a?b: a>g,b>e,b>j,c>d,c>g,c>i,d>j,e>f,e>i,g>h
find_47(a,b,c,d,e,f,g,h,i,j) =
 if a > b
 then find_48(b,c,d,g,e,h,f)
 else find_49(a,e,c,f,d,i,g,j)
# n=8, i=3, ]0..5], a?b: a>g,b>d,b>f,c>e,c>f,c>g,e>h
find_49(a,b,c,d,e,f,g,h) =
 if a > b
 then find_50(a,c,e,b,g,h,d)
 else find_29(b,c,a,d,e,h,f)
# n=7, i=3, ]0..3], c?d: a>d,a>e,b>c,b>e,c>f,d>g
find_50(a,b,c,d,e,f,g) =
 if c > d
 then find_32(a,c,f,e)
 else find_32(b,d,g,e)
# n=7, i=3, ]0..4], a?d: a>e,b>c,b>d,d>f,e>g
find_48(a,b,c,d,e,f,g) =
 if a > d
 then find_35(b,a,c,e,d,g)
 else find_39(c,d,a,f)
# n=10, i=4, ]0..6], a?e: a>g,b>g,b>i,b>j,c>d,c>e,d>j,e>f,e>i,g>h
find_46(a,b,c,d,e,f,g,h,i,j) =
 if a > e
 then find_51(b,a,c,d,e,g,f,h,j)
 else find_43(d,b,e,a,f,i,j)
# n=9, i=4, ]0..5], e?f: a>f,a>i,b>e,b>f,c>d,c>e,d>i,e>g,f>h
find_51(a,b,c,d,e,f,g,h,i) =
 if e > f
 then find_52(a,d,b,e,i,g)
 else find_53(c,b,a,d,f,i,h)
# n=7, i=4, ]0..4], a?b: a>d,b>e,c>e,c>f,d>f,e>g
find_53(a,b,c,d,e,f,g) =
 if a > b
 then find_54(b,d,c,f,e)
 else find_55(a,c,d,e,g)
# n=5, i=3, ]0..3], a?b: a>c,b>d,d>e
find_55(a,b,c,d,e) =
 if a > b
 then find_36(c,b,d)
 else find_32(a,d,e,c)
# n=5, i=3, ]2..3], a?b: a>e,b>d,c>d,c>e
find_54(a,b,c,d,e) =
 if a > b
 then find_36(b,c,e)
 else find_36(a,c,d)
# n=6, i=3, ]0..4], a?c: a>e,b>e,c>d,d>f
find_52(a,b,c,d,e,f) =
 if a > c
 then find_32(b,c,d,e)
 else find_34(a,b,d,f)
# n=10, i=5, ]7..8], d?e: a>f,a>g,b>e,b>i,c>d,c>g,c>i,f>h,i>j
find_21(a,b,c,d,e,f,g,h,i,j) =
 if d > e
 then find_56(a,b,c,f,d,g,h,i,j,e)
 else find_57(a,c,b,f,e,g,h,i,j,d)
# n=10, i=5, ]0..7], d?e: a>d,a>f,b>f,b>h,b>j,c>e,c>h,d>g,e>j,h>i
find_57(a,b,c,d,e,f,g,h,i,j) =
 if d > e
 then find_58(b,c,a,d,f,g,h,i,e)
 else find_59(a,e,b,h,j,f,i,d,g)
# n=9, i=4, ]0..6], a?b: a>f,a>h,b>e,b>h,c>d,c>e,c>f,d>g,h>i
find_59(a,b,c,d,e,f,g,h,i) =
 if a > b
 then find_60(c,a,d,b,f,g,h,i,e)
 else find_60(c,b,d,a,e,g,h,i,f)
# n=9, i=4, ]0..5], c?d: a>c,a>e,a>i,b>d,b>e,c>f,d>g,d>i,g>h
find_60(a,b,c,d,e,f,g,h,i) =
 if c > d
 then find_61(b,c,f,e,d)
 else find_42(a,d,e,g,c,i,h)
# n=5, i=3, ]2..3], c?d: a>d,a>e,b>c,b>e
find_61(a,b,c,d,e) =
 if c > d
 then find_36(c,a,e)
 else find_36(d,b,e)
# n=9, i=5, ]0..6], a?b: a>e,a>g,b>g,b>i,c>d,c>e,d>f,d>i,g>h
find_58(a,b,c,d,e,f,g,h,i) =
 if a > b
 then find_62(b,c,e,g,d,f,h,i)
 else find_63(a,c,g,d,e,f,i,h)
# n=8, i=4, ]0..5], c?d: a>c,a>e,b>d,b>e,c>h,d>f,d>g
find_63(a,b,c,d,e,f,g,h) =
 if c > d
 then find_61(b,c,h,e,d)
 else find_64(a,d,f,g,e,c)
# n=6, i=3, ]3..4], c?d: a>e,a>f,b>c,b>d,b>f
find_64(a,b,c,d,e,f) =
 if c > d
 then find_35(a,b,e,c,f,d)
 else find_35(a,b,e,d,f,c)
# n=8, i=4, ]0..5], c?d: a>d,a>h,b>c,b>e,d>g,e>f,e>h
find_62(a,b,c,d,e,f,g,h) =
 if c > d
 then find_65(c,e,a,f,h,d)
 else find_66(a,b,e,d,f,g,c,h)
# n=8, i=4, ]0..4], c?d: a>d,a>h,b>c,b>g,c>e,c>h,d>f,d>g
find_66(a,b,c,d,e,f,g,h) =
 if c > d
 then find_39(e,a,d,h)
 else find_39(f,b,c,g)
# n=6, i=3, ]3..4], b?c: a>f,b>d,b>e,c>e,c>f
find_65(a,b,c,d,e,f) =
 if b > c
 then find_34(a,d,c,e)
 else find_31(a,b,d,e,f)
# n=10, i=5, ]0..7], d?e: a>d,a>f,b>h,b>j,c>e,c>f,c>h,d>g,e>j,h>i
find_56(a,b,c,d,e,f,g,h,i,j) =
 if d > e
 then find_67(b,c,a,d,f,g,h,i,e)
 else find_68(b,a,e,f,h,j,i,d,g)
# n=9, i=4, ]0..6], e?h: a>e,a>f,b>d,b>h,c>f,c>h,e>g,h>i
find_68(a,b,c,d,e,f,g,h,i) =
 if e > h
 then find_69(c,b,a,d,e,f,g)
 else find_70(a,b,c,d,f,h,i)
# n=7, i=4, ]4..5], b?c: a>e,b>d,b>f,c>e,c>f,f>g
find_70(a,b,c,d,e,f,g) =
 if b > c
 then find_71(d,a,c,f,e,g)
 else find_72(a,b,d,e,f,g)
# n=6, i=3, ]0..4], c?d: a>d,b>c,b>e,e>f
find_72(a,b,c,d,e,f) =
 if c > d
 then find_34(a,c,e,f)
 else find_55(a,b,d,e,f)
# n=6, i=3, ]0..4], a?d: b>e,c>d,c>e,d>f
find_71(a,b,c,d,e,f) =
 if a > d
 then find_54(a,b,c,e,d)
 else find_31(b,d,a,f,e)
# n=7, i=4, ]0..5], a?b: a>f,b>d,c>e,c>f,e>g
find_69(a,b,c,d,e,f,g) =
 if a > b
 then find_73(a,c,e,b,f,g,d)
 else find_74(b,c,d,e,a,g,f)
# n=7, i=4, ]0..4], c?d: a>c,a>e,b>d,b>g,d>f,e>g
find_74(a,b,c,d,e,f,g) =
 if c > d
 then find_54(c,e,b,g,d)
 else find_35(d,a,f,e,c,g)
# n=7, i=4, ]0..4], c?d: a>d,a>e,b>c,b>e,c>f,d>g
find_73(a,b,c,d,e,f,g) =
 if c > d
 then find_61(a,c,f,e,d)
 else find_61(b,d,g,e,c)
# n=9, i=5, ]0..6], e?f: a>g,b>e,b>g,b>i,c>d,c>e,d>f,d>i,g>h
find_67(a,b,c,d,e,f,g,h,i) =
 if e > f
 then find_75(a,c,g,e,d,i,h,f)
 else find_76(a,c,b,d,g,f,h,i,e)
# n=9, i=5, ]0..5], a?d: a>e,b>d,c>e,c>h,c>i,d>f,d>h,e>g,f>i
find_76(a,b,c,d,e,f,g,h,i) =
 if a > d
 then find_77(b,c,e,d,f,g,h)
 else find_78(a,f,c,h,i,e)
# n=6, i=3, ]3..4], a?b: a>f,b>e,c>d,c>e,c>f
find_78(a,b,c,d,e,f) =
 if a > b
 then find_61(a,c,d,b,f)
 else find_61(b,c,d,a,e)
# n=7, i=4, ]0..4], e?f: a>d,b>c,b>g,c>f,d>e,d>g
find_77(a,b,c,d,e,f,g) =
 if e > f
 then find_61(b,d,e,c,g)
 else find_55(c,a,f,d,g)
# n=8, i=4, ]0..5], c?d: a>c,b>d,b>e,c>g,d>h,e>f,e>h
find_75(a,b,c,d,e,f,g,h) =
 if c > d
 then find_77(a,b,e,c,g,f,d)
 else find_65(a,e,d,f,h,c)
# n=13, i=6, ]0..10], e?f: b>f,b>i,c>g,c>m,d>e,d>i,d>k,g>h,g>k,i>j,i>m,k>l
find_18(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if e > f
 then find_79(a,b,c,d,e,g,h,i,j,f,k,l,m)
 else find_80(a,b,c,d,f,g,h,i,j,e,k,l,m)
# n=13, i=6, ]0..9], a?e: b>e,b>h,c>f,c>m,d>h,d>j,d>k,e>j,f>g,f>k,h>i,h>m,k>l
find_80(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if a > e
 then find_81(a,c,b,d,f,g,e,h,i,k,l,m,j)
 else find_82(c,d,b,e,f,a,g,h,i,j,k,l,m)
# n=13, i=6, ]0..8], d?e: a>e,a>m,b>h,b>j,b>k,c>d,c>h,d>f,d>j,e>g,e>k,h>i,h>m,k>l
find_82(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if d > e
 then find_83(a,b,d,f,h,j,i,e,g,m,k)
 else find_84(c,b,e,g,k,d,h,f,i,m,l,j)
# n=12, i=5, ]0..7], f?g: a>f,a>g,b>e,b>g,b>l,c>d,c>e,c>f,e>k,f>h,f>l,g>i,g>j
find_84(a,b,c,d,e,f,g,h,i,j,k,l) =
 if f > g
 then find_85(d,b,a,e,f,h,k,g,l)
 else find_86(c,a,d,e,g,i,j,k,f)
# n=9, i=4, ]0..6], c?f: a>c,a>d,a>i,b>e,d>h,e>f,e>g,e>i
find_86(a,b,c,d,e,f,g,h,i) =
 if c > f
 then find_87(b,a,c,d,e,h,g,i)
 else find_88(a,b,d,e,f,g,h,i)
# n=8, i=4, ]0..5], e?g: a>c,a>h,b>d,c>g,d>e,d>f,d>h
find_88(a,b,c,d,e,f,g,h) =
 if e > g
 then find_64(a,d,e,f,c,h)
 else find_77(b,a,c,d,f,g,h)
# n=8, i=4, ]0..5], d?e: a>e,b>c,b>d,b>h,d>f,e>g,e>h
find_87(a,b,c,d,e,f,g,h) =
 if d > e
 then find_89(c,a,d,f,e)
 else find_90(b,e,g,c,d,h)
# n=6, i=3, ]3..4], c?d: a>d,a>e,a>f,b>c,b>e,b>f
find_90(a,b,c,d,e,f) =
 if c > d
 then find_39(c,a,e,f)
 else find_39(d,b,e,f)
# n=5, i=3, ]3..4], a?b: b>e,c>d,c>e
find_89(a,b,c,d,e) =
 if a > b
 then find_91(a,c,d,b)
 else find_61(b,c,d,a,e)
# n=4, i=3, ]0..2], c?d: a>d,b>c
find_91(a,b,c,d) =
 if c > d
 then find_92(a,c)
 else find_92(b,d)
# n=2, i=2, ]0..1], a?b: no comparisons done
find_92(a,b) =
 if a > b
 then b
 else a
# n=9, i=4, ]0..6], a?d: b>d,b>h,b>i,c>e,d>g,e>f,e>h,e>i
find_85(a,b,c,d,e,f,g,h,i) =
 if a > d
 then find_93(a,b,c,e,f,d,g,h,i)
 else find_94(c,b,d,e,a,g,f,h,i)
# n=9, i=4, ]0..5], a?c: a>d,b>c,b>h,b>i,c>e,c>f,d>g,d>h,d>i
find_94(a,b,c,d,e,f,g,h,i) =
 if a > c
 then find_95(d,b,g,c,h,i,f,e)
 else find_34(e,f,a,d)
# n=8, i=3, ]0..4], c?d: a>c,a>e,a>f,b>d,b>e,b>f,d>g,d>h
find_95(a,b,c,d,e,f,g,h) =
 if c > d
 then find_39(c,b,e,f)
 else find_96(a,d,g,h,e,f)
# n=6, i=2, ]0..3], a?b: a>e,a>f,b>c,b>d
find_96(a,b,c,d,e,f) =
 if a > b
 then find_41(b,e,f)
 else find_41(a,c,d)
# n=9, i=4, ]0..5], a?d: a>f,b>f,b>h,b>i,c>d,d>e,d>h,d>i,f>g
find_93(a,b,c,d,e,f,g,h,i) =
 if a > d
 then find_97(b,c,d,f,e,g)
 else find_98(a,e,b,h,i)
# n=5, i=2, ]0..4], a?b: c>d,c>e
find_98(a,b,c,d,e) =
 if a > b
 then find_31(a,c,d,e,b)
 else find_31(b,c,d,e,a)
# n=6, i=3, ]0..3], c?d: a>d,b>c,c>e,d>f
find_97(a,b,c,d,e,f) =
 if c > d
 then find_36(a,c,e)
 else find_36(b,d,f)
# n=11, i=5, ]6..7], d?f: a>h,a>j,b>e,b>f,b>k,c>d,c>f,c>h,e>g,e>j,h>i,h>k
find_83(a,b,c,d,e,f,g,h,i,j,k) =
 if d > f
 then find_99(a,c,b,d,e,g,h,i,f,j,k)
 else find_100(a,c,b,e,g,f,h,d,i,j,k)
# n=11, i=5, ]0..6], d?g: a>g,a>j,b>f,b>g,c>d,c>f,c>k,d>e,d>j,f>h,g>i,g>k
find_100(a,b,c,d,e,f,g,h,i,j,k) =
 if d > g
 then find_101(a,b,d,e,f,j,h,g)
 else find_102(c,a,f,g,i,h,d,k)
# n=8, i=4, ]0..5], e?f: a>c,a>g,a>h,b>d,c>f,d>e,d>g,d>h
find_102(a,b,c,d,e,f,g,h) =
 if e > f
 then find_90(a,d,e,c,g,h)
 else find_103(c,b,f,d,g,h)
# n=6, i=3, ]0..3], a?d: a>c,b>d,d>e,d>f
find_103(a,b,c,d,e,f) =
 if a > d
 then find_36(c,b,d)
 else find_41(a,e,f)
# n=8, i=4, ]0..5], d?e: a>f,a>h,b>e,b>h,c>d,c>f,c>h,e>g
find_101(a,b,c,d,e,f,g,h) =
 if d > e
 then find_65(d,a,b,f,h,e)
 else find_104(a,c,b,e,f,g,h,d)
# n=8, i=4, ]0..4], a?d: a>e,a>g,b>e,b>g,b>h,c>d,c>g,d>f,d>h
find_104(a,b,c,d,e,f,g,h) =
 if a > d
 then find_35(b,c,e,d,g,f)
 else find_34(a,f,b,h)
# n=11, i=5, ]0..6], e?g: a>g,a>j,b>d,b>g,c>e,c>i,c>k,d>i,e>f,e>j,g>h,g>k
find_99(a,b,c,d,e,f,g,h,i,j,k) =
 if e > g
 then find_101(a,b,e,f,d,j,i,g)
 else find_105(d,c,a,g,i,h,e,k)
# n=8, i=4, ]4..5], g?h: a>e,b>e,b>g,b>h,c>d,d>f,d>g,d>h
find_105(a,b,c,d,e,f,g,h) =
 if g > h
 then find_106(a,b,c,d,e,f,g)
 else find_106(a,b,c,d,e,f,h)
# n=7, i=4, ]0..4], a?d: a>e,b>e,b>g,c>d,d>f,d>g
find_106(a,b,c,d,e,f,g) =
 if a > d
 then find_55(b,c,e,d,f)
 else find_34(a,f,b,g)
# n=13, i=6, ]0..8], a?e: a>g,b>e,b>l,c>g,c>h,d>h,d>j,d>m,e>f,e>j,g>m,h>i,h>l,j>k
find_81(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if a > e
 then find_107(b,c,a,d,g,h,e,f,i,m,l,j,k)
 else find_108(c,e,d,f,a,j,h,k,i,l,g)
# n=11, i=5, ]0..7], e?g: a>g,a>k,b>d,b>e,b>f,c>f,c>g,e>k,f>h,g>i,g>j
find_108(a,b,c,d,e,f,g,h,i,j,k) =
 if e > g
 then find_109(d,a,e,c,f,h,k,g)
 else find_86(b,a,d,f,g,i,j,h,e)
# n=8, i=4, ]0..6], a?e: b>g,b>h,c>g,c>h,d>e,d>h,e>f
find_109(a,b,c,d,e,f,g,h) =
 if a > e
 then find_110(a,b,c,d,g,e,h,f)
 else find_111(b,c,d,e,f,a,g,h)
# n=8, i=4, ]4..5], e?f: a>g,a>h,b>g,b>h,c>d,c>h,d>e,d>f
find_111(a,b,c,d,e,f,g,h) =
 if e > f
 then find_112(a,b,c,d,g,e,h,f)
 else find_112(a,b,c,d,g,f,h,e)
# n=8, i=4, ]0..4], a?d: a>e,a>g,b>e,b>g,c>d,c>g,d>f,f>h
find_112(a,b,c,d,e,f,g,h) =
 if a > d
 then find_35(b,c,e,d,g,f)
 else find_34(a,b,f,h)
# n=8, i=4, ]0..5], a?b: a>f,b>e,b>g,c>e,c>g,d>f,d>g,f>h
find_110(a,b,c,d,e,f,g,h) =
 if a > b
 then find_52(b,c,d,f,e,h)
 else find_65(a,c,d,e,g,f)
# n=13, i=6, ]0..7], a?b: a>g,a>k,b>e,b>f,c>e,c>g,d>f,d>j,d>l,e>j,f>i,f>k,g>h,g>l,l>m
find_107(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if a > b
 then find_113(b,d,c,g,h,e,f,i,k,l,j,m)
 else find_99(a,c,d,e,f,i,g,h,j,k,l)
# n=12, i=5, ]0..6], d?g: a>f,a>g,b>g,b>j,b>k,c>d,c>f,d>e,d>j,f>k,g>h,g>i,j>l
find_113(a,b,c,d,e,f,g,h,i,j,k,l) =
 if d > g
 then find_114(a,d,b,e,f,j,k,l,g)
 else find_29(g,c,h,i,f,k,d)
# n=9, i=4, ]0..5], d?f: a>e,a>i,b>d,b>f,b>i,c>f,c>g,c>i,e>g,f>h
find_114(a,b,c,d,e,f,g,h,i) =
 if d > f
 then find_115(c,b,a,e,d,i,g,f)
 else find_116(a,b,c,e,f,d,h,i,g)
# n=9, i=4, ]0..4], d?e: a>d,a>h,b>e,b>h,c>e,c>h,c>i,d>i,e>f,e>g
find_116(a,b,c,d,e,f,g,h,i) =
 if d > e
 then find_54(b,d,c,i,h)
 else find_31(a,e,f,g,h)
# n=8, i=4, ]3..4], d?e: a>f,a>g,a>h,b>e,b>f,c>d,c>f,d>g,e>h
find_115(a,b,c,d,e,f,g,h) =
 if d > e
 then find_45(a,b,d,e,g,f)
 else find_45(a,c,e,d,h,f)
# n=13, i=6, ]0..9], a?e: b>h,b>j,c>f,c>m,d>e,d>h,d>k,e>j,f>g,f>k,h>i,h>m,k>l
find_79(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if a > e
 then find_117(a,b,c,d,f,g,e,h,i,k,l,m,j)
 else find_118(e,b,c,a,h,f,j,g,i,k,l,m)
# n=12, i=5, ]0..8], a?f: a>d,a>g,b>e,b>g,c>f,c>l,e>i,e>l,f>h,f>j,j>k
find_118(a,b,c,d,e,f,g,h,i,j,k,l) =
 if a > f
 then find_119(b,c,a,d,e,g,i,f,h,l,j,k)
 else find_120(b,f,h,j,e,a,d,k,i,l,g)
# n=11, i=4, ]0..7], d?e: a>e,a>k,b>c,b>d,b>f,d>h,e>i,e>j,f>g,f>k
find_120(a,b,c,d,e,f,g,h,i,j,k) =
 if d > e
 then find_121(c,d,f,a,g,h,k,e)
 else find_122(b,a,c,f,e,i,j,g,k,d)
# n=10, i=4, ]0..6], d?e: a>c,a>d,a>j,b>e,b>i,d>h,d>i,e>f,e>g,e>j
find_122(a,b,c,d,e,f,g,h,i,j) =
 if d > e
 then find_123(c,b,d,h,e,i)
 else find_124(a,e,f,g,c,d,j)
# n=7, i=3, ]4..5], c?d: a>e,a>f,a>g,b>c,b>d,b>f,b>g
find_124(a,b,c,d,e,f,g) =
 if c > d
 then find_42(a,b,e,c,f,g,d)
 else find_42(a,b,e,d,f,g,c)
# n=6, i=3, ]4..5], e?f: b>e,b>f,c>d,c>e,c>f
find_123(a,b,c,d,e,f) =
 if e > f
 then find_89(a,b,c,d,e)
 else find_89(a,b,c,d,f)
# n=8, i=3, ]0..6], b?c: b>f,b>h,c>e,c>g,d>g,d>h
find_121(a,b,c,d,e,f,g,h) =
 if b > c
 then find_125(a,d,b,f,c,h,e)
 else find_125(a,d,c,e,b,g,f)
# n=7, i=3, ]0..5], a?e: b>f,c>d,c>e,c>f,e>g
find_125(a,b,c,d,e,f,g) =
 if a > e
 then find_78(a,b,c,d,f,e)
 else find_126(d,b,e,a,g,f)
# n=6, i=2, ]0..4], a?b: b>f,c>d,c>e
find_126(a,b,c,d,e,f) =
 if a > b
 then find_31(a,c,d,e,b)
 else find_96(b,c,d,e,a,f)
# n=12, i=5, ]0..7], e?h: a>e,a>f,b>h,b>j,c>d,c>f,c>h,e>g,e>j,h>i,h>k,k>l
find_119(a,b,c,d,e,f,g,h,i,j,k,l) =
 if e > h
 then find_127(b,c,e,d,f,g,j,h)
 else find_128(d,a,b,f,h,i,k,l,e)
# n=9, i=4, ]0..6], d?g: b>d,b>i,c>e,e>f,e>g,e>i,g>h
find_128(a,b,c,d,e,f,g,h,i) =
 if d > g
 then find_129(a,b,c,d,e,f,i)
 else find_125(a,b,e,f,g,i,h)
# n=7, i=4, ]0..5], a?d: b>d,b>g,c>e,e>f,e>g
find_129(a,b,c,d,e,f,g) =
 if a > d
 then find_106(a,b,c,e,d,f,g)
 else find_77(c,b,d,e,f,a,g)
# n=8, i=4, ]0..6], d?e: a>g,a>h,b>d,b>e,b>h,c>f,c>g,c>h
find_127(a,b,c,d,e,f,g,h) =
 if d > e
 then find_101(a,b,c,f,d,g,e,h)
 else find_101(a,b,c,f,e,g,d,h)
# n=13, i=6, ]0..8], a?e: a>g,b>h,b>m,c>e,c>l,d>g,d>h,d>j,e>f,e>j,g>m,h>i,h>l,j>k
find_117(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if a > e
 then find_130(b,c,a,d,g,h,e,f,i,m,l,j,k)
 else find_131(b,e,d,f,a,j,h,k,i,l,g)
# n=11, i=5, ]0..7], f?g: a>g,b>d,b>e,b>f,c>f,c>g,c>k,e>k,f>h,g>i,g>j
find_131(a,b,c,d,e,f,g,h,i,j,k) =
 if f > g
 then find_132(d,e,a,c,f,k,h,g)
 else find_133(b,a,c,d,e,g,i,j,k,f)
# n=10, i=5, ]0..6], e?f: a>d,a>e,a>j,b>f,c>f,c>i,e>i,f>g,f>h,f>j
find_133(a,b,c,d,e,f,g,h,i,j) =
 if e > f
 then find_134(d,b,c,e,i,f)
 else find_124(a,f,g,h,d,e,j)
# n=6, i=4, ]4..5], c?d: b>f,c>e,c>f,d>e,d>f
find_134(a,b,c,d,e,f) =
 if c > d
 then find_89(a,b,d,e,f)
 else find_89(a,b,c,e,f)
# n=8, i=4, ]0..6], b?e: b>f,c>h,d>e,d>f,e>g,e>h
find_132(a,b,c,d,e,f,g,h) =
 if b > e
 then find_135(a,c,b,d,f,e,g)
 else find_125(a,c,e,g,b,h,f)
# n=7, i=4, ]0..5], a?b: c>e,c>f,d>e,d>f,f>g
find_135(a,b,c,d,e,f,g) =
 if a > b
 then find_136(a,c,d,b,e,f,g)
 else find_136(b,c,d,a,e,f,g)
# n=7, i=4, ]0..4], d?f: a>d,b>e,b>f,c>e,c>f,f>g
find_136(a,b,c,d,e,f,g) =
 if d > f
 then find_137(b,c,a,d,e)
 else find_34(a,e,f,g)
# n=5, i=4, ]0..3], a?b: a>e,b>e,c>d
find_137(a,b,c,d,e) =
 if a > b
 then find_91(b,c,d,e)
 else find_91(a,c,d,e)
# n=13, i=6, ]0..7], a?b: a>f,a>j,b>g,b>k,c>e,c>g,d>e,d>f,d>l,e>j,f>i,f>k,g>h,g>l,l>m
find_130(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if a > b
 then find_100(b,c,d,f,i,e,g,j,h,k,l)
 else find_138(a,c,d,g,h,e,f,i,k,l,m,j)
# n=12, i=5, ]0..6], a?d: a>g,a>l,b>d,b>f,c>f,c>g,c>j,d>e,d>j,f>l,g>h,g>i,j>k
find_138(a,b,c,d,e,f,g,h,i,j,k,l) =
 if a > d
 then find_139(b,c,d,g,h,i,e,f,l,j)
 else find_125(e,a,c,f,j,g,k)
# n=10, i=4, ]0..5], c?d: a>c,a>h,b>d,b>h,b>j,c>g,c>j,d>e,d>f,h>i
find_139(a,b,c,d,e,f,g,h,i,j) =
 if c > d
 then find_42(c,b,g,h,d,j,i)
 else find_29(d,a,e,f,h,i,c)
# n=13, i=6, ]0..11], a?e: b>k,b>l,c>f,c>g,d>e,d>h,g>j,g>k,h>i,h>l,l>m
find_16(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if a > e
 then find_140(a,b,c,d,f,g,h,e,i,j,k,l,m)
 else find_141(b,c,d,f,e,g,h,i,a,j,k,l,m)
# n=13, i=6, ]0..10], a?e: a>k,a>l,b>d,b>f,c>e,c>g,e>i,f>j,f>k,g>h,g>l,l>m
find_141(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if a > e
 then find_142(b,a,c,d,f,g,h,j,e,i,k,l,m)
 else find_143(g,b,e,i,d,h,f,a,j,l,m,k)
# n=12, i=5, ]0..9], d?e: a>f,a>j,b>e,b>g,c>d,c>h,g>i,g>l,h>j,h>l,j>k
find_143(a,b,c,d,e,f,g,h,i,j,k,l) =
 if d > e
 then find_144(a,b,c,f,d,g,h,i,e,j,k,l)
 else find_145(a,b,c,f,e,g,h,i,d,j,k,l)
# n=12, i=5, ]0..8], a?e: a>d,a>j,b>e,b>f,c>g,c>i,e>i,f>h,f>l,g>j,g>l,j>k
find_145(a,b,c,d,e,f,g,h,i,j,k,l) =
 if a > e
 then find_146(c,b,a,d,f,g,h,e,j,k,i,l)
 else find_147(f,e,c,h,a,g,i,d,l)
# n=9, i=4, ]0..7], b?c: a>d,a>i,b>e,b>g,c>f,c>g,e>h,f>i
find_147(a,b,c,d,e,f,g,h,i) =
 if b > c
 then find_148(a,e,c,h,d,f,g)
 else find_149(f,a,b,g,d,e,i,h)
# n=8, i=3, ]0..6], d?e: a>g,b>e,b>g,c>d,c>f,f>h
find_149(a,b,c,d,e,f,g,h) =
 if d > e
 then find_150(a,b,c,d,f,h,g)
 else find_151(a,c,b,e,f,g,h)
# n=7, i=3, ]0..5], b?c: a>f,b>e,c>d,c>f,e>g
find_151(a,b,c,d,e,f,g) =
 if b > c
 then find_152(a,c,e,g,d)
 else find_152(d,b,a,f,e)
# n=5, i=2, ]0..4], b?c: b>e,c>d
find_152(a,b,c,d,e) =
 if b > c
 then find_39(a,b,c,e)
 else find_39(a,c,b,d)
# n=7, i=3, ]0..5], a?d: a>g,b>g,c>d,c>e,e>f
find_150(a,b,c,d,e,f,g) =
 if a > d
 then find_44(b,a,c,e,d,g,f)
 else find_152(b,d,e,f,a)
# n=7, i=3, ]0..6], a?b: a>e,b>d,c>f,c>g
find_148(a,b,c,d,e,f,g) =
 if a > b
 then find_153(c,a,e,f,g,b,d)
 else find_153(c,b,d,f,g,a,e)
# n=7, i=3, ]0..5], c?d: a>d,a>e,b>c,b>f,f>g
find_153(a,b,c,d,e,f,g) =
 if c > d
 then find_72(a,b,c,e,f,g)
 else find_154(a,b,d,e,f,g)
# n=6, i=3, ]0..4], a?b: a>c,a>d,b>e,e>f
find_154(a,b,c,d,e,f) =
 if a > b
 then find_34(c,d,b,e)
 else find_31(e,a,d,c,f)
# n=12, i=5, ]0..7], f?h: a>f,a>k,b>e,b>h,c>d,c>h,c>i,e>g,e>l,f>i,f>l,h>k,i>j
find_146(a,b,c,d,e,f,g,h,i,j,k,l) =
 if f > h
 then find_155(b,c,a,d,e,f,g,i,j,h,l)
 else find_156(e,a,c,d,g,h,f,k)
# n=8, i=4, ]5..6], a?f: a>e,b>g,b>h,c>d,c>f,f>g,f>h
find_156(a,b,c,d,e,f,g,h) =
 if a > f
 then find_157(b,a,c,d,e,f)
 else find_158(d,b,f,a,g,h,e)
# n=7, i=3, ]4..5], a?d: b>e,b>f,c>d,c>e,c>f,d>g
find_158(a,b,c,d,e,f,g) =
 if a > d
 then find_159(a,b,c,e,f,d)
 else find_96(b,d,a,g,f,e)
# n=6, i=3, ]3..4], d?e: a>f,b>d,b>e,c>d,c>e,c>f
find_159(a,b,c,d,e,f) =
 if d > e
 then find_54(a,b,c,d,f)
 else find_54(a,b,c,e,f)
# n=6, i=4, ]4..5], d?e: b>e,b>f,c>d,c>f
find_157(a,b,c,d,e,f) =
 if d > e
 then find_89(a,d,b,f,e)
 else find_89(a,e,c,f,d)
# n=11, i=5, ]0..6], e?f: a>e,a>j,b>d,b>h,b>j,c>f,e>g,e>k,f>h,f>j,f>k,h>i
find_155(a,b,c,d,e,f,g,h,i,j,k) =
 if e > f
 then find_160(b,c,e,g,d,f,k)
 else find_161(b,a,f,d,h,e,g,k,i,j)
# n=10, i=4, ]0..5], d?e: a>d,a>e,a>j,b>f,b>j,c>e,c>f,c>j,e>i,f>g,f>h
find_161(a,b,c,d,e,f,g,h,i,j) =
 if d > e
 then find_116(a,b,c,d,f,g,h,j,e)
 else find_162(a,b,f,e,j,g,h,i,d)
# n=9, i=3, ]0..4], a?b: a>d,a>e,b>c,b>e,c>f,c>g,d>h,d>i
find_162(a,b,c,d,e,f,g,h,i) =
 if a > b
 then find_96(b,d,h,i,c,e)
 else find_96(a,c,f,g,d,e)
# n=7, i=4, ]0..5], d?e: a>e,b>f,c>d,c>f,f>g
find_160(a,b,c,d,e,f,g) =
 if d > e
 then find_52(a,d,b,f,e,g)
 else find_53(a,b,c,e,f,d,g)
# n=12, i=5, ]0..8], a?b: a>d,a>j,b>f,b>i,c>e,c>g,e>i,f>h,f>l,g>j,g>l,j>k
find_144(a,b,c,d,e,f,g,h,i,j,k,l) =
 if a > b
 then find_163(d,b,c,f,e,g,h,j,k,i)
 else find_164(a,f,c,h,d,e,g,i,l,j)
# n=10, i=4, ]0..7], a?b: a>e,a>j,b>d,b>i,c>f,c>g,f>h,g>i,g>j
find_164(a,b,c,d,e,f,g,h,i,j) =
 if a > b
 then find_165(c,a,e,b,f,g,d,h,j)
 else find_165(c,b,d,a,f,g,e,h,i)
# n=9, i=4, ]0..6], d?e: a>e,a>f,b>c,b>d,b>i,d>g,e>h,f>i
find_165(a,b,c,d,e,f,g,h,i) =
 if d > e
 then find_166(c,d,a,g,f,e,i)
 else find_167(f,e,b,c,h,d,i)
# n=7, i=3, ]0..5], d?e: a>g,b>e,b>f,c>d,c>f,c>g
find_167(a,b,c,d,e,f,g) =
 if d > e
 then find_78(a,b,c,d,f,g)
 else find_65(a,b,c,e,f,g)
# n=7, i=3, ]0..5], a?e: b>d,b>f,c>e,c>f,e>g
find_166(a,b,c,d,e,f,g) =
 if a > e
 then find_65(a,b,c,d,f,e)
 else find_168(b,c,d,e,f,a,g)
# n=7, i=3, ]0..4], f?g: a>c,a>e,b>d,b>e,d>f,d>g
find_168(a,b,c,d,e,f,g) =
 if f > g
 then find_35(a,b,c,d,e,f)
 else find_35(a,b,c,d,e,g)
# n=10, i=4, ]0..7], a?f: b>d,b>j,c>e,c>f,d>g,e>j,f>h,h>i
find_163(a,b,c,d,e,f,g,h,i,j) =
 if a > f
 then find_169(a,b,c,d,e,g,f,h,j)
 else find_170(b,c,d,e,f,a,g,h,i,j)
# n=10, i=4, ]0..6], a?e: a>c,a>j,b>d,b>e,c>g,d>j,e>f,e>h,h>i
find_170(a,b,c,d,e,f,g,h,i,j) =
 if a > e
 then find_171(c,b,g,d,e,f,h,j)
 else find_172(d,f,a,h,i,c)
# n=6, i=2, ]0..5], a?b: c>f,d>e
find_172(a,b,c,d,e,f) =
 if a > b
 then find_173(a,c,d,e,f,b)
 else find_173(b,c,d,e,f,a)
# n=6, i=2, ]0..4], a?b: a>f,b>e,c>d
find_173(a,b,c,d,e,f) =
 if a > b
 then find_31(c,a,b,f,d)
 else find_31(c,b,a,e,d)
# n=8, i=3, ]0..5], a?e: a>c,b>d,b>e,d>h,e>f,e>g
find_171(a,b,c,d,e,f,g,h) =
 if a > e
 then find_35(a,b,c,d,e,h)
 else find_30(d,e,a,f,g,h)
# n=9, i=4, ]0..6], d?e: a>g,b>d,b>i,c>e,c>g,d>f,e>i,g>h
find_169(a,b,c,d,e,f,g,h,i) =
 if d > e
 then find_174(a,b,c,d,f,g,h,e)
 else find_175(a,b,e,g,d,i,h)
# n=7, i=3, ]0..4], a?b: a>d,b>e,b>f,c>e,c>f,d>g
find_175(a,b,c,d,e,f,g) =
 if a > b
 then find_34(b,c,d,g)
 else find_31(a,c,e,f,d)
# n=8, i=4, ]0..5], a?b: a>f,b>d,c>f,c>h,d>e,d>h,f>g
find_174(a,b,c,d,e,f,g,h) =
 if a > b
 then find_97(b,c,f,d,g,e)
 else find_65(a,d,c,e,h,f)
# n=13, i=6, ]0..9], e?f: a>d,a>e,b>i,b>k,b>l,c>f,c>i,e>h,e>k,f>g,f>l,i>j,l>m
find_142(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if e > f
 then find_176(d,b,e,c,h,k,i,f,g,j,l)
 else find_177(a,b,f,g,d,i,j,l,e,m,h,k)
# n=12, i=5, ]7..8], e?h: a>e,a>i,b>f,b>h,b>l,c>d,c>h,c>i,f>g,h>j,i>k,i>l
find_177(a,b,c,d,e,f,g,h,i,j,k,l) =
 if e > h
 then find_178(b,a,c,d,e,f,g,i,k,h,l)
 else find_179(a,b,c,d,f,g,h,i,j,k,l,e)
# n=12, i=5, ]0..7], e?h: a>h,a>l,b>e,b>g,b>k,c>d,c>g,c>h,e>f,g>i,g>l,h>j,h>k
find_179(a,b,c,d,e,f,g,h,i,j,k,l) =
 if e > h
 then find_180(e,a,c,d,f,g,i,h,l)
 else find_181(d,a,b,g,h,j,i,e,k,l)
# n=10, i=4, ]5..6], a?d: b>e,b>j,c>d,c>h,c>i,d>g,d>j,e>f,e>h,e>i
find_181(a,b,c,d,e,f,g,h,i,j) =
 if a > d
 then find_93(a,c,b,e,f,d,g,h,i)
 else find_182(b,c,d,e,a,g,f,i,h,j)
# n=10, i=4, ]4..5], c?d: a>d,a>j,b>c,b>h,b>i,c>e,c>f,c>j,d>g,d>h,d>i
find_182(a,b,c,d,e,f,g,h,i,j) =
 if c > d
 then find_98(e,f,a,d,j)
 else find_183(g,b,c,h,i)
# n=5, i=2, ]0..4], c?d: b>c,b>d,b>e
find_183(a,b,c,d,e) =
 if c > d
 then find_39(a,b,c,e)
 else find_39(a,b,d,e)
# n=9, i=4, ]5..6], a?f: a>e,a>h,b>h,b>i,c>d,c>f,c>h,f>g,f>i
find_180(a,b,c,d,e,f,g,h,i) =
 if a > f
 then find_184(b,a,c,d,e,f,h,g)
 else find_125(d,b,f,g,a,i,e)
# n=8, i=4, ]4..5], d?e: a>g,b>e,b>f,b>g,c>d,c>f,c>g,f>h
find_184(a,b,c,d,e,f,g,h) =
 if d > e
 then find_185(a,d,b,f,h,e,g)
 else find_185(a,e,c,f,h,d,g)
# n=7, i=3, ]0..4], a?b: a>g,b>f,c>d,c>f,c>g,d>e
find_185(a,b,c,d,e,f,g) =
 if a > b
 then find_35(a,c,b,d,g,e)
 else find_35(b,c,a,d,f,e)
# n=11, i=5, ]6..7], e?f: a>f,a>j,a>k,b>e,b>h,c>d,c>h,c>j,e>j,f>g,h>i,h>k
find_178(a,b,c,d,e,f,g,h,i,j,k) =
 if e > f
 then find_186(e,a,c,d,h,i,f,g,j,k)
 else find_187(a,c,b,d,f,g,h,i,e,k)
# n=10, i=5, ]0..6], d?e: a>e,a>j,b>d,b>g,c>g,c>i,e>f,e>i,g>h,g>j
find_187(a,b,c,d,e,f,g,h,i,j) =
 if d > e
 then find_174(d,c,a,g,h,e,f,j)
 else find_188(b,c,a,e,f,g,i,d,h,j)
# n=10, i=5, ]0..5], e?f: a>f,a>h,b>f,b>g,c>d,c>j,d>e,d>g,d>h,f>i,f>j
find_188(a,b,c,d,e,f,g,h,i,j) =
 if e > f
 then find_189(e,b,a,h,g)
 else find_190(c,b,a,d,f,h,g,i,j)
# n=9, i=5, ]0..4], d?e: a>d,a>i,b>e,b>g,c>e,c>f,d>f,d>g,e>h,e>i
find_190(a,b,c,d,e,f,g,h,i) =
 if d > e
 then find_61(b,c,f,g,e)
 else find_39(h,a,d,i)
# n=5, i=3, ]0..4], b?c: b>e,c>d
find_189(a,b,c,d,e) =
 if b > c
 then find_34(a,e,c,d)
 else find_34(a,d,b,e)
# n=10, i=4, ]0..6], 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_186(a,b,c,d,e,f,g,h,i,j) =
 if a > e
 then find_191(b,c,a,d,e,g,f,h,i)
 else find_192(d,b,e,a,f,j)
# n=6, i=3, ]4..5], d?e: b>f,c>d,c>e,c>f
find_192(a,b,c,d,e,f) =
 if d > e
 then find_71(a,b,c,d,f,e)
 else find_71(a,b,c,e,f,d)
# n=9, i=4, ]4..5], d?e: a>f,a>i,b>d,b>e,b>i,c>e,c>f,c>i,e>g,f>h
find_191(a,b,c,d,e,f,g,h,i) =
 if d > e
 then find_193(b,a,c,d,f,e,h,i)
 else find_194(a,b,f,e,i,g,d,h)
# n=8, i=3, ]0..4], a?b: a>c,a>e,b>d,b>e,c>h,d>f,d>g
find_194(a,b,c,d,e,f,g,h) =
 if a > b
 then find_31(c,b,d,e,h)
 else find_96(a,d,f,g,c,e)
# n=8, i=4, ]3..4], b?d: a>d,a>h,b>e,b>h,c>e,c>f,c>h,d>f,e>g
find_193(a,b,c,d,e,f,g,h) =
 if b > d
 then find_35(a,c,d,e,h,g)
 else find_36(b,c,f)
# n=11, i=5, ]7..8], a?h: b>f,b>g,b>k,c>e,c>f,c>h,d>g,d>h,g>j,h>i,h>k
find_176(a,b,c,d,e,f,g,h,i,j,k) =
 if a > h
 then find_195(a,b,c,d,e,f,g,j,h,i)
 else find_196(b,d,c,e,f,g,h,a,i,j,k)
# n=11, i=5, ]0..7], d?f: a>e,a>f,a>k,b>f,b>g,c>d,c>e,c>g,f>j,g>h,g>i,g>k
find_196(a,b,c,d,e,f,g,h,i,j,k) =
 if d > f
 then find_197(d,a,b,e,g,h,i,f,k)
 else find_198(a,c,f,g,e,h,i,j,d,k)
# n=10, i=4, ]5..6], e?f: a>c,a>e,a>j,b>d,b>e,b>i,c>h,c>i,d>f,d>g,d>j
find_198(a,b,c,d,e,f,g,h,i,j) =
 if e > f
 then find_199(a,b,d,c,g,h,e,i,j)
 else find_200(a,b,c,d,f,g,h,i,j)
# n=9, i=4, ]0..5], e?g: a>c,a>i,b>d,b>h,c>g,c>h,d>e,d>f,d>i
find_200(a,b,c,d,e,f,g,h,i) =
 if e > g
 then find_29(d,a,e,f,c,h,i)
 else find_66(a,b,d,c,f,g,h,i)
# n=9, i=4, ]0..5], c?d: a>d,a>g,a>i,b>c,b>g,b>h,c>e,c>i,d>f,d>h
find_199(a,b,c,d,e,f,g,h,i) =
 if c > d
 then find_90(a,c,e,g,d,i)
 else find_90(b,d,f,g,c,h)
# n=9, i=4, ]0..6], d?f: a>h,b>d,b>h,b>i,c>e,c>h,e>f,e>g,e>i
find_197(a,b,c,d,e,f,g,h,i) =
 if d > f
 then find_201(a,b,c,d,e,g,h,i)
 else find_43(a,b,e,f,g,i,h)
# n=8, i=4, ]4..5], a?e: a>g,b>d,b>g,b>h,c>e,c>g,e>f,e>h
find_201(a,b,c,d,e,f,g,h) =
 if a > e
 then find_202(b,a,c,d,e,g,f)
 else find_64(b,e,a,f,d,h)
# n=7, i=4, ]0..4], b?c: a>d,a>f,b>e,b>f,c>e,c>f,e>g
find_202(a,b,c,d,e,f,g) =
 if b > c
 then find_35(a,c,d,e,f,g)
 else find_35(a,b,d,e,f,g)
# n=10, i=5, ]0..7], e?g: a>i,b>f,b>g,c>e,c>f,c>i,d>g,d>i,g>h,i>j
find_195(a,b,c,d,e,f,g,h,i,j) =
 if e > g
 then find_203(e,b,a,d,f,i,j,g)
 else find_204(a,b,c,d,f,g,h,i,e,j)
# n=10, i=5, ]0..6], e?h: a>h,b>e,b>f,c>e,c>h,c>i,d>f,d>h,f>g,f>i,h>j
find_204(a,b,c,d,e,f,g,h,i,j) =
 if e > h
 then find_129(a,c,d,e,f,g,i)
 else find_174(a,b,c,f,g,h,j,i)
# n=8, i=4, ]0..6], b?c: a>h,b>e,b>h,c>f,d>f,d>h,f>g
find_203(a,b,c,d,e,f,g,h) =
 if b > c
 then find_205(e,c,a,d,h,f)
 else find_206(a,b,d,e,f,g)
# n=6, i=3, ]0..5], a?e: b>d,c>e,e>f
find_206(a,b,c,d,e,f) =
 if a > e
 then find_207(a,c,b,d,e)
 else find_103(b,c,d,e,a,f)
# n=5, i=3, ]3..4], a?b: a>e,b>e,c>d
find_207(a,b,c,d,e) =
 if a > b
 then find_55(c,a,d,b,e)
 else find_55(c,b,d,a,e)
# n=6, i=3, ]4..5], b?c: b>f,c>e,d>e,d>f
find_205(a,b,c,d,e,f) =
 if b > c
 then find_89(a,d,b,c,f)
 else find_89(a,d,c,b,e)
# n=13, i=6, ]0..10], a?b: a>h,b>k,b>l,c>e,c>f,d>g,d>h,f>j,f>k,g>i,g>l,l>m
find_140(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if a > b
 then find_208(c,a,d,e,f,g,b,h,i,j,k,l,m)
 else find_209(c,d,b,e,a,f,g,i,j,k,h,l,m)
# n=13, i=6, ]0..9], f?g: a>d,a>f,b>g,b>k,c>e,c>j,c>l,e>k,f>i,f>j,g>h,g>l,l>m
find_209(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if f > g
 then find_210(d,c,b,f,i,e,j,g,h,k,l)
 else find_177(a,c,g,h,d,e,k,l,f,m,i,j)
# n=11, i=5, ]7..8], f?h: b>f,b>g,b>k,c>h,c>j,d>e,d>g,d>h,f>j,h>i,h>k
find_210(a,b,c,d,e,f,g,h,i,j,k) =
 if f > h
 then find_211(a,c,d,b,e,f,g,j,h)
 else find_212(a,e,b,c,g,h,i,f,k)
# n=9, i=4, ]0..7], a?b: c>e,c>h,c>i,d>f,f>g,f>h,f>i
find_212(a,b,c,d,e,f,g,h,i) =
 if a > b
 then find_213(a,c,d,e,b,f,g,h,i)
 else find_213(b,c,d,e,a,f,g,h,i)
# n=9, i=4, ]0..6], a?f: a>e,b>d,b>h,b>i,c>f,f>g,f>h,f>i
find_213(a,b,c,d,e,f,g,h,i) =
 if a > f
 then find_160(b,c,a,e,d,f,g)
 else find_214(b,f,g,d,a,h,i,e)
# n=8, i=3, ]4..5], c?d: a>d,a>f,a>g,b>c,b>e,b>f,b>g,e>h
find_214(a,b,c,d,e,f,g,h) =
 if c > d
 then find_126(c,e,a,f,g,h)
 else find_42(a,b,d,e,f,g,h)
# n=9, i=5, ]0..7], a?b: b>h,b>i,c>e,c>g,c>i,d>f,d>g,f>h,f>i
find_211(a,b,c,d,e,f,g,h,i) =
 if a > b
 then find_215(c,a,d,e,f,b,g,h)
 else find_216(c,b,d,e,a,f,g,h,i)
# n=9, i=5, ]0..6], e?g: a>d,a>g,a>i,b>e,b>h,b>i,c>f,c>g,f>h,f>i
find_216(a,b,c,d,e,f,g,h,i) =
 if e > g
 then find_217(a,c,b,d,e,f,h,i,g)
 else find_218(f,b,a,d,g,h,i,e)
# n=8, i=4, ]0..5], d?e: a>f,a>g,b>f,b>g,b>h,c>d,c>e,c>g,e>h
find_218(a,b,c,d,e,f,g,h) =
 if d > e
 then find_219(a,b,c,d,e,f,g)
 else find_104(a,b,c,e,f,d,g,h)
# n=7, i=4, ]0..4], a?d: a>f,a>g,b>f,b>g,c>d,c>g,d>e
find_219(a,b,c,d,e,f,g) =
 if a > d
 then find_35(b,c,f,d,g,e)
 else find_220(a,b,e)
# n=3, i=2, ]0..3], a?b: no comparisons done
find_220(a,b,c) =
 if a > b
 then find_36(c,a,b)
 else find_36(c,b,a)
# n=9, i=5, ]4..5], d?e: a>d,a>h,a>i,b>f,b>i,c>e,c>g,c>h,e>i,f>g,f>h
find_217(a,b,c,d,e,f,g,h,i) =
 if d > e
 then find_221(c,b,a,d,f,g,e,h)
 else find_104(e,a,b,f,d,g,i,h)
# n=8, i=5, ]0..4], d?e: a>f,a>g,a>h,b>e,c>d,c>h,d>g,e>f,e>h
find_221(a,b,c,d,e,f,g,h) =
 if d > e
 then find_91(a,b,e,g)
 else find_61(a,c,d,f,h)
# n=8, i=5, ]5..6], e?f: a>d,a>g,b>f,c>e,c>g,e>h,f>h
find_215(a,b,c,d,e,f,g,h) =
 if e > f
 then find_222(a,b,e,d,g,f,h)
 else find_223(a,c,b,d,f,g,e,h)
# n=8, i=5, ]0..5], f?g: a>d,a>f,b>f,b>g,c>e,e>g,g>h
find_223(a,b,c,d,e,f,g,h) =
 if f > g
 then find_224(d,c,b,f,e)
 else find_225(a,b,e,d,g,h)
# n=6, i=4, ]0..3], d?e: a>d,b>e,c>e,e>f
find_225(a,b,c,d,e,f) =
 if d > e
 then find_226(b,c,d)
 else find_36(a,e,f)
# n=3, i=3, ]0..2], a?b: no comparisons done
find_226(a,b,c) =
 if a > b
 then find_92(b,c)
 else find_92(a,c)
# n=5, i=4, ]0..4], b?c: b>e,c>d
find_224(a,b,c,d,e) =
 if b > c
 then find_227(a,e,c,d)
 else find_227(a,d,b,e)
# n=4, i=3, ]0..3], a?b: c>d
find_227(a,b,c,d) =
 if a > b
 then find_91(a,c,d,b)
 else find_91(b,c,d,a)
# n=7, i=4, ]0..5], d?f: a>d,a>e,b>f,c>f,f>g
find_222(a,b,c,d,e,f,g) =
 if d > f
 then find_228(b,c,d,e)
 else find_225(a,b,c,e,f,g)
# n=4, i=3, ]0..4], a?b: no comparisons done
find_228(a,b,c,d) =
 if a > b
 then find_227(c,d,a,b)
 else find_227(c,d,b,a)
# n=13, i=6, ]0..9], d?g: a>d,a>e,b>g,b>h,c>f,c>h,e>j,e>k,f>i,f>l,g>k,g>l,l>m
find_208(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if d > g
 then find_229(b,c,a,f,e,d,h,j,i,g,k)
 else find_230(a,c,b,e,f,g,h,i,j,d,k,l,m)
# n=13, i=6, ]0..8], d?e: a>d,a>j,b>e,b>g,c>f,c>g,d>i,d>k,e>h,e>l,f>j,f>k,f>l,l>m
find_230(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if d > e
 then find_231(b,d,c,i,f,g,j,e,h,k)
 else find_232(a,c,e,g,h,f,d,i,j,l,m)
# n=11, i=5, ]0..7], d?e: a>g,a>i,b>d,b>f,c>e,c>g,c>j,f>i,f>j,g>h,j>k
find_232(a,b,c,d,e,f,g,h,i,j,k) =
 if d > e
 then find_233(a,c,b,d,f,g,h,e,i,j,k)
 else find_234(a,b,c,e,f,g,h,d,i,j,k)
# n=11, i=5, ]0..6], e?f: a>f,a>i,b>e,b>h,c>d,c>f,c>j,d>h,e>i,e>j,f>g,j>k
find_234(a,b,c,d,e,f,g,h,i,j,k) =
 if e > f
 then find_235(a,e,c,d,i,h,j,k,f)
 else find_106(d,b,a,f,h,g,e)
# n=9, i=4, ]4..5], a?d: a>e,a>i,b>e,b>g,b>i,c>d,c>g,c>i,d>f,g>h
find_235(a,b,c,d,e,f,g,h,i) =
 if a > d
 then find_236(a,b,c,e,g,d,h,f,i)
 else find_154(d,b,a,f,g,h)
# n=9, i=4, ]3..4], e?f: a>d,a>f,a>i,b>d,b>e,b>i,c>e,c>f,c>i,e>g,f>h
find_236(a,b,c,d,e,f,g,h,i) =
 if e > f
 then find_35(a,c,d,e,i,g)
 else find_35(b,c,d,f,i,h)
# n=11, i=5, ]0..6], a?e: a>f,a>i,b>f,b>h,b>j,c>d,c>e,d>h,e>i,e>j,f>g,j>k
find_233(a,b,c,d,e,f,g,h,i,j,k) =
 if a > e
 then find_237(b,c,a,d,f,e,i,g,h,j)
 else find_238(d,b,e,a,h,i,j,k,f)
# n=9, i=4, ]0..5], a?d: a>e,b>e,b>g,b>i,c>d,c>g,d>f,d>i,g>h
find_238(a,b,c,d,e,f,g,h,i) =
 if a > d
 then find_239(a,b,c,e,g,d,h,f)
 else find_29(d,b,a,f,g,h,i)
# n=8, i=4, ]0..4], a?b: a>d,a>f,b>d,b>e,c>e,c>f,e>g,f>h
find_239(a,b,c,d,e,f,g,h) =
 if a > b
 then find_35(b,c,d,f,e,h)
 else find_35(a,c,d,e,f,g)
# n=10, i=5, ]0..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_237(a,b,c,d,e,f,g,h,i,j) =
 if d > e
 then find_104(d,a,c,f,i,g,e,j)
 else find_66(a,b,f,e,g,h,d,j)
# n=10, i=5, ]0..7], f?g: a>f,a>h,b>d,b>h,b>j,c>e,c>f,e>g,e>j,h>i
find_231(a,b,c,d,e,f,g,h,i,j) =
 if f > g
 then find_240(b,c,a,d,e,h,f,i,j,g)
 else find_241(a,b,c,d,e,h,g,i,j,f)
# n=10, i=5, ]0..6], e?f: a>f,a>j,b>d,b>f,b>i,c>e,e>g,e>i,f>h,g>j
find_241(a,b,c,d,e,f,g,h,i,j) =
 if e > f
 then find_242(a,b,e,d,g,i,j,f)
 else find_89(d,c,f,h,e)
# n=8, i=4, ]3..5], d?e: a>g,a>h,b>d,b>f,b>h,c>e,c>f,c>h,e>g
find_242(a,b,c,d,e,f,g,h) =
 if d > e
 then find_78(a,d,c,f,e,h)
 else find_243(a,e,b,f,d,h,g)
# n=7, i=3, ]3..4], a?b: a>f,a>g,b>e,b>g,c>d,c>e,c>f
find_243(a,b,c,d,e,f,g) =
 if a > b
 then find_35(c,a,d,b,f,g)
 else find_35(c,b,d,a,e,g)
# n=10, i=5, ]5..6], d?f: a>d,a>f,a>i,b>e,b>g,c>f,c>g,e>i,e>j,f>h,g>j
find_240(a,b,c,d,e,f,g,h,i,j) =
 if d > f
 then find_244(b,a,c,d,e,g,i,f,h,j)
 else find_245(b,a,c,e,g,f,d,h,i,j)
# n=10, i=5, ]0..5], d?f: a>d,a>e,b>f,b>i,c>e,c>f,d>i,d>j,e>j,f>g,f>h
find_245(a,b,c,d,e,f,g,h,i,j) =
 if d > f
 then find_246(b,c,d,e,i,j,f)
 else find_64(a,f,g,h,e,d)
# n=7, i=4, ]0..4], a?c: a>e,a>g,b>d,b>g,c>e,c>f,c>g,d>f
find_246(a,b,c,d,e,f,g) =
 if a > c
 then find_61(b,c,e,d,g)
 else find_35(a,b,e,d,g,f)
# n=10, i=5, ]0..5], d?e: a>e,a>f,b>d,b>g,c>f,c>h,d>h,e>g,e>j,f>j,h>i
find_244(a,b,c,d,e,f,g,h,i,j) =
 if d > e
 then find_239(a,c,d,f,h,e,i,g)
 else find_247(c,b,e,f,d,g,j)
# n=7, i=4, ]0..4], d?e: a>d,b>e,b>f,c>e,c>f,c>g,d>g
find_247(a,b,c,d,e,f,g) =
 if d > e
 then find_248(b,a,c,d,f,g)
 else find_220(a,e,f)
# n=6, i=4, ]0..3], a?d: a>e,b>d,c>e,c>f,d>f
find_248(a,b,c,d,e,f) =
 if a > d
 then find_91(b,c,e,d)
 else find_36(a,c,f)
# n=11, i=6, ]0..8], g?h: a>g,a>j,b>d,b>g,c>e,c>f,d>i,e>h,e>k,f>j,j>k
find_229(a,b,c,d,e,f,g,h,i,j,k) =
 if g > h
 then find_249(b,a,c,d,f,e,i,g,j,h,k)
 else find_250(f,e,a,b,h,d,i,j,g,k)
# n=10, i=5, ]0..7], b?c: a>h,b>e,b>j,c>h,c>i,d>f,d>i,e>i,f>g,h>j
find_250(a,b,c,d,e,f,g,h,i,j) =
 if b > c
 then find_251(a,d,b,e,f,c,g,h,j,i)
 else find_252(a,d,c,f,b,g,h,e,i,j)
# n=10, i=5, ]0..6], a?d: a>g,b>d,b>i,c>e,c>g,d>f,e>h,e>j,g>j,h>i
find_252(a,b,c,d,e,f,g,h,i,j) =
 if a > d
 then find_253(b,a,c,e,d,g,h,f,j,i)
 else find_254(d,c,f,a,e,h,i,g)
# n=8, i=4, ]0..5], c?f: a>c,a>d,b>e,b>h,d>h,e>f,f>g
find_254(a,b,c,d,e,f,g,h) =
 if c > f
 then find_89(c,d,b,e,h)
 else find_97(a,e,f,d,g,h)
# n=10, i=5, ]0..5], e?g: a>e,a>j,b>e,b>f,c>d,c>f,d>g,d>i,e>h,f>i,g>j
find_253(a,b,c,d,e,f,g,h,i,j) =
 if e > g
 then find_255(a,c,e,d,f,h,i)
 else find_256(a,b,d,g,f,i,j)
# n=7, i=4, ]0..4], a?e: a>g,b>e,c>d,c>f,d>g,e>f
find_256(a,b,c,d,e,f,g) =
 if a > e
 then find_248(b,c,a,d,e,g)
 else find_61(c,e,a,d,f)
# n=7, i=4, ]0..4], c?d: a>c,b>d,b>e,c>f,d>g,e>g
find_255(a,b,c,d,e,f,g) =
 if c > d
 then find_61(b,c,f,e,d)
 else find_54(a,e,d,g,c)
# n=10, i=5, ]0..6], e?f: a>h,b>e,b>j,c>d,c>f,d>j,e>g,f>h,f>j,h>i
find_251(a,b,c,d,e,f,g,h,i,j) =
 if e > f
 then find_157(a,c,e,g,d,f)
 else find_257(d,a,b,f,e,h,g,i,j)
# n=9, i=4, ]0..5], b?c: a>i,b>f,c>e,c>i,d>e,d>f,d>i,e>g,f>h
find_257(a,b,c,d,e,f,g,h,i) =
 if b > c
 then find_71(a,c,d,f,e,h)
 else find_185(a,b,d,e,g,f,i)
# n=11, i=6, ]6..7], g?i: a>d,a>h,b>h,b>i,c>e,c>f,d>g,e>i,f>j,f>k,h>j,i>k
find_249(a,b,c,d,e,f,g,h,i,j,k) =
 if g > i
 then find_258(d,b,c,e,g,f,h,j)
 else find_259(e,f,a,b,d,h,i,j,k)
# n=9, i=5, ]5..6], a?b: a>g,b>h,b>i,c>e,c>f,d>f,d>g,f>h,g>i
find_259(a,b,c,d,e,f,g,h,i) =
 if a > b
 then find_260(c,a,d,e,b,f,g,i)
 else find_261(c,b,d,e,a,f,g,i,h)
# n=9, i=5, ]0..5], a?e: a>d,a>f,b>e,b>i,c>f,c>g,e>g,f>i,g>h
find_261(a,b,c,d,e,f,g,h,i) =
 if a > e
 then find_262(d,c,b,e,f,g,i)
 else find_35(a,c,d,g,f,h)
# n=7, i=4, ]0..4], a?e: b>e,b>f,c>d,c>g,d>f,e>g
find_262(a,b,c,d,e,f,g) =
 if a > e
 then find_248(a,c,b,d,e,f)
 else find_35(e,c,a,d,g,f)
# n=8, i=5, ]0..5], d?g: a>d,a>f,b>e,b>g,c>f,c>g,e>h,g>h
find_260(a,b,c,d,e,f,g,h) =
 if d > g
 then find_263(d,c,b,e,f,g)
 else find_65(e,a,g,f,d,h)
# n=6, i=4, ]3..4], d?e: a>f,b>e,b>f,c>d,c>f
find_263(a,b,c,d,e,f) =
 if d > e
 then find_54(a,d,b,e,f)
 else find_54(a,e,c,d,f)
# n=8, i=5, ]0..6], e?g: a>e,b>g,c>d,c>f,f>h,g>h
find_258(a,b,c,d,e,f,g,h) =
 if e > g
 then find_264(b,c,a,d,f,e,g)
 else find_265(a,c,b,d,f,g,e,h)
# n=8, i=5, ]0..5], a?e: a>g,b>d,b>e,c>f,e>h,f>g,f>h
find_265(a,b,c,d,e,f,g,h) =
 if a > e
 then find_266(b,c,a,d,f,e,g)
 else find_267(d,c,e,a,f,h)
# n=6, i=4, ]0..4], a?e: b>e,c>d,c>f,e>f
find_267(a,b,c,d,e,f) =
 if a > e
 then find_137(a,b,c,d,e)
 else find_61(c,e,a,d,f)
# n=7, i=5, ]0..4], d?e: a>d,a>f,b>e,c>f,c>g,e>g
find_266(a,b,c,d,e,f,g) =
 if d > e
 then find_137(b,d,c,f,e)
 else find_268(a,c,e,g,d,f)
# n=6, i=4, ]0..3], d?e: a>e,a>f,b>d,b>f,c>d,c>e
find_268(a,b,c,d,e,f) =
 if d > e
 then find_91(a,c,d,f)
 else find_91(b,c,e,f)
# n=7, i=5, ]0..5], a?d: a>g,b>d,b>e,c>f,f>g
find_264(a,b,c,d,e,f,g) =
 if a > d
 then find_266(b,c,a,e,f,d,g)
 else find_224(e,d,c,f,a)
# n=14, i=7, ]0..13], a?h: a>e,b>g,b>h,c>d,c>f,c>i,f>k,g>l,h>m,i>j,i>m,m>n
find_13(a,b,c,d,e,f,g,h,i,j,k,l,m,n) =
 if a > h
 then find_269(a,b,c,d,e,f,g,i,j,k,l,h,m,n)
 else find_270(b,c,d,f,g,i,h,j,k,l,a,e,m,n)
# n=14, i=7, ]0..12], c?k: a>e,a>g,b>c,b>d,b>f,d>i,e>j,f>h,f>m,g>k,g>m,k>l,m>n
find_270(a,b,c,d,e,f,g,h,i,j,k,l,m,n) =
 if c > k
 then find_271(d,c,f,a,h,i,e,g,j,m,k,n,l)
 else find_272(e,g,b,j,d,k,f,h,i,l,c,m,n)
# n=13, i=6, ]0..11], a?f: a>d,b>f,b>l,c>e,c>g,c>k,e>i,f>j,f>k,g>h,g>l,l>m
find_272(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if a > f
 then find_273(a,b,c,d,e,g,h,i,f,j,l,m,k)
 else find_274(b,c,e,g,f,j,h,i,a,d,k,l,m)
# n=13, i=6, ]0..10], f?g: a>e,a>l,b>c,b>d,b>k,c>h,d>g,d>l,e>f,e>i,e>k,i>j,l>m
find_274(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if f > g
 then find_275(e,b,f,c,i,d,k,h,j,l,m,g)
 else find_276(c,d,a,h,g,e,k,l,i,m,j,f)
# n=12, i=5, ]0..8], e?i: a>d,b>e,b>h,c>f,c>h,e>l,f>g,f>i,f>l,h>j,i>k
find_276(a,b,c,d,e,f,g,h,i,j,k,l) =
 if e > i
 then find_277(a,b,c,d,e,f,g,h,j,i,l)
 else find_278(a,b,f,g,d,h,i,k,j,e)
# n=10, i=4, ]0..7], d?f: a>e,b>f,b>j,c>d,c>g,f>i,g>h,g>j
find_278(a,b,c,d,e,f,g,h,i,j) =
 if d > f
 then find_279(a,b,c,e,d,g,h,j,f)
 else find_280(a,b,c,e,g,f,h,i,d,j)
# n=10, i=4, ]0..6], e?f: a>d,b>f,b>j,c>e,c>i,e>g,e>j,f>h,f>i
find_280(a,b,c,d,e,f,g,h,i,j) =
 if e > f
 then find_281(a,b,c,d,e,g,f,j)
 else find_281(a,c,b,d,f,h,e,i)
# n=8, i=4, ]0..5], a?e: a>d,b>g,b>h,c>e,e>f,e>g,e>h
find_281(a,b,c,d,e,f,g,h) =
 if a > e
 then find_282(b,d,c,e,f)
 else find_126(f,a,b,g,h,d)
# n=5, i=3, ]0..4], a?b: c>d,d>e
find_282(a,b,c,d,e) =
 if a > b
 then find_55(a,c,b,d,e)
 else find_55(b,c,a,d,e)
# n=9, i=4, ]0..6], a?f: a>d,b>h,b>i,c>e,c>f,e>i,f>g,f>h
find_279(a,b,c,d,e,f,g,h,i) =
 if a > f
 then find_283(b,a,c,d,e,f,i,g)
 else find_284(e,b,f,g,a,h,i,d)
# n=8, i=3, ]0..5], a?e: a>g,b>f,b>g,c>d,c>e,c>f,e>h
find_284(a,b,c,d,e,f,g,h) =
 if a > e
 then find_243(a,b,c,d,f,e,g)
 else find_126(d,b,e,a,h,f)
# n=8, i=4, ]0..5], a?f: a>g,b>d,b>f,c>e,c>f,e>g,f>h
find_283(a,b,c,d,e,f,g,h) =
 if a > f
 then find_285(b,a,c,d,e,g,f)
 else find_98(d,e,f,a,h)
# n=7, i=4, ]0..4], d?e: a>d,a>g,b>f,b>g,c>e,c>g,e>f
find_285(a,b,c,d,e,f,g) =
 if d > e
 then find_54(b,d,c,e,g)
 else find_45(a,b,e,f,d,g)
# n=11, i=5, ]0..7], a?f: a>d,b>e,b>h,c>f,c>h,e>j,e>k,f>g,f>j,f>k,h>i
find_277(a,b,c,d,e,f,g,h,i,j,k) =
 if a > f
 then find_286(a,b,c,e,d,h,f,i,g)
 else find_287(b,f,g,a,h,e,d,i,j,k)
# n=10, i=4, ]5..6], d?e: a>e,a>f,b>c,b>d,b>i,b>j,d>g,e>h,f>i,f>j
find_287(a,b,c,d,e,f,g,h,i,j) =
 if d > e
 then find_288(c,d,a,g,f,e,i,j)
 else find_289(e,f,b,c,h,d,i,j)
# n=8, i=3, ]0..5], a?b: a>e,a>f,b>g,b>h,c>d,c>f,c>g,c>h
find_289(a,b,c,d,e,f,g,h) =
 if a > b
 then find_64(c,a,b,e,d,f)
 else find_42(c,b,d,a,g,h,e)
# n=8, i=3, ]0..5], a?e: b>d,b>f,c>e,c>f,e>g,e>h
find_288(a,b,c,d,e,f,g,h) =
 if a > e
 then find_65(a,b,c,d,f,e)
 else find_38(b,c,d,e,f,a,g,h)
# n=9, i=5, ]0..6], d?e: a>e,a>g,b>d,b>f,c>f,c>g,f>h,g>i
find_286(a,b,c,d,e,f,g,h,i) =
 if d > e
 then find_290(a,c,b,d,f,g,h,i,e)
 else find_290(b,c,a,e,g,f,i,h,d)
# n=9, i=5, ]0..5], e?f: a>f,a>i,b>e,b>f,c>d,c>e,d>i,e>g,f>h
find_290(a,b,c,d,e,f,g,h,i) =
 if e > f
 then find_106(d,a,b,e,i,g,f)
 else find_77(b,c,d,f,h,i,e)
# n=12, i=5, ]8..9], c?d: a>c,a>e,a>g,b>d,b>f,b>g,c>l,d>h,e>i,f>j,f>l,j>k
find_275(a,b,c,d,e,f,g,h,i,j,k,l) =
 if c > d
 then find_291(a,b,e,f,c,g,i,j,k,d,h,l)
 else find_292(f,d,a,g,h,e,j,c,i,k)
# n=10, i=4, ]0..8], a?b: a>g,b>e,b>h,c>d,c>f,c>h,f>i,g>j
find_292(a,b,c,d,e,f,g,h,i,j) =
 if a > b
 then find_293(c,a,d,g,f,b,e,j,i,h)
 else find_294(c,b,e,d,f,a,h,i,g,j)
# n=10, i=4, ]0..7], c?d: a>d,a>e,a>g,b>c,b>f,b>g,e>h,f>i,i>j
find_294(a,b,c,d,e,f,g,h,i,j) =
 if c > d
 then find_295(a,b,e,c,f,g,h,i,j,d)
 else find_296(b,a,e,d,f,g,h,i,j,c)
# n=10, i=4, ]0..6], c?e: a>e,a>f,a>j,b>c,b>d,b>f,c>g,d>j,e>h,h>i
find_296(a,b,c,d,e,f,g,h,i,j) =
 if c > e
 then find_167(d,c,a,f,g,e,j)
 else find_297(e,b,f,d,h,c,j,i)
# n=8, i=3, ]4..5], d?e: a>e,a>f,b>c,b>d,b>f,d>g,e>h
find_297(a,b,c,d,e,f,g,h) =
 if d > e
 then find_152(c,a,d,g,f)
 else find_35(b,a,c,e,f,h)
# n=10, i=4, ]0..6], c?d: a>c,a>f,a>j,b>d,b>e,b>f,c>g,d>j,e>h,h>i
find_295(a,b,c,d,e,f,g,h,i,j) =
 if c > d
 then find_298(a,b,e,c,f,g,h,i,d)
 else find_299(e,d,a,f,h,c,j,i)
# n=8, i=3, ]0..5], a?b: a>e,b>f,b>g,c>d,c>f,c>g,e>h
find_299(a,b,c,d,e,f,g,h) =
 if a > b
 then find_72(c,a,b,d,e,h)
 else find_42(c,b,d,a,f,g,e)
# n=9, i=4, ]0..5], c?d: a>d,a>e,b>c,b>e,b>i,c>g,d>f,d>i,g>h
find_298(a,b,c,d,e,f,g,h,i) =
 if c > d
 then find_35(a,c,e,g,d,h)
 else find_90(b,d,f,e,c,i)
# n=10, i=4, ]6..7], d?e: a>c,a>e,a>j,b>d,b>f,d>h,e>i,f>g,f>j
find_293(a,b,c,d,e,f,g,h,i,j) =
 if d > e
 then find_300(d,f,a,g,h,c,j,e)
 else find_301(b,a,c,e,f,i,g,j,d)
# n=9, i=4, ]5..6], d?e: a>e,a>i,b>c,b>d,b>h,d>f,d>i,e>g,e>h
find_301(a,b,c,d,e,f,g,h,i) =
 if d > e
 then find_123(c,a,d,f,e,i)
 else find_90(b,e,g,c,d,h)
# n=8, i=3, ]0..6], a?b: a>e,a>h,b>d,b>g,c>f,c>g,c>h
find_300(a,b,c,d,e,f,g,h) =
 if a > b
 then find_302(c,a,e,f,b,h,d)
 else find_302(c,b,d,f,a,g,e)
# n=7, i=3, ]4..5], c?d: a>d,a>f,b>c,b>e,b>f,e>g
find_302(a,b,c,d,e,f,g) =
 if c > d
 then find_152(c,a,e,g,f)
 else find_35(a,b,d,e,f,g)
# n=12, i=5, ]0..7], d?e: a>c,a>e,a>f,b>d,b>f,b>j,c>g,d>h,d>l,e>j,e>l,h>i,j>k
find_291(a,b,c,d,e,f,g,h,i,j,k,l) =
 if d > e
 then find_303(d,a,f,c,h,g,i,e,j,l)
 else find_304(c,e,b,f,g,j,d,h,l,k)
# n=10, i=4, ]0..6], a?g: a>e,b>f,b>g,c>d,c>f,c>g,f>j,g>h,g>i
find_304(a,b,c,d,e,f,g,h,i,j) =
 if a > g
 then find_305(a,b,c,d,e,f,j,g)
 else find_306(d,f,g,a,h,i,j)
# n=7, i=2, ]0..5], d?e: b>g,c>d,c>e,c>f
find_306(a,b,c,d,e,f,g) =
 if d > e
 then find_126(a,b,c,d,f,g)
 else find_126(a,b,c,e,f,g)
# n=8, i=4, ]4..5], d?e: a>e,a>h,b>f,b>h,c>d,c>f,c>h,f>g
find_305(a,b,c,d,e,f,g,h) =
 if d > e
 then find_44(d,a,b,f,h,e,g)
 else find_193(a,b,c,e,f,d,g,h)
# n=10, i=4, ]0..6], d?e: a>e,a>h,b>c,b>d,b>h,d>f,e>g,h>i,h>j
find_303(a,b,c,d,e,f,g,h,i,j) =
 if d > e
 then find_288(c,d,a,f,h,e,i,j)
 else find_307(e,b,c,g,h,d,i,j)
# n=8, i=3, ]4..5], c?d: a>d,a>f,b>c,b>e,b>f,e>g,e>h
find_307(a,b,c,d,e,f,g,h) =
 if c > d
 then find_126(c,a,e,g,h,f)
 else find_168(a,b,d,e,f,g,h)
# n=13, i=6, ]0..10], e?i: a>d,a>i,b>i,b>k,c>e,c>f,c>m,e>h,f>g,f>k,i>j,i>m,k>l
find_273(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if e > i
 then find_308(f,e,a,b,d,h,g,k,l,i,j,m)
 else find_309(a,b,c,d,f,g,i,j,k,l,m,e,h)
# n=13, i=6, ]0..8], e?g: a>d,a>g,b>g,b>i,c>e,c>k,c>l,e>f,e>i,g>h,g>k,g>l,i>j,l>m
find_309(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if e > g
 then find_310(f,a,b,d,i,j,g,h,k,l)
 else find_311(d,h,c,k,l,e,f,i,m)
# n=9, i=3, ]6..7], a?b: c>d,c>e,c>f,e>i,f>g,f>h
find_311(a,b,c,d,e,f,g,h,i) =
 if a > b
 then find_312(a,c,d,b,e,f,g,h,i)
 else find_312(b,c,d,a,e,f,g,h,i)
# n=9, i=3, ]5..6], a?f: a>d,b>c,b>e,b>f,e>i,f>g,f>h
find_312(a,b,c,d,e,f,g,h,i) =
 if a > f
 then find_302(a,b,c,d,e,f,i)
 else find_306(c,e,f,a,g,h,i)
# n=10, i=4, ]0..7], a?e: b>d,b>g,c>e,c>g,e>f,g>h,g>i,g>j
find_310(a,b,c,d,e,f,g,h,i,j) =
 if a > e
 then find_313(a,b,c,d,e,g,h,i,j,f)
 else find_314(e,b,d,a,f,g,h,i,j)
# n=9, i=3, ]5..6], a?f: a>d,a>e,b>c,b>f,f>g,f>h,f>i
find_314(a,b,c,d,e,f,g,h,i) =
 if a > f
 then find_64(b,a,d,e,c,f)
 else find_315(c,f,a,g,h,i)
# n=6, i=2, ]0..5], c?d: b>c,b>d,b>e,b>f
find_315(a,b,c,d,e,f) =
 if c > d
 then find_183(a,b,c,e,f)
 else find_183(a,b,d,e,f)
# n=10, i=4, ]0..6], a?c: a>e,b>d,b>f,c>e,c>f,e>j,f>g,f>h,f>i
find_313(a,b,c,d,e,f,g,h,i,j) =
 if a > c
 then find_35(b,c,d,e,f,j)
 else find_316(a,b,d,e,f,g,h,i,j)
# n=9, i=3, ]0..5], a?c: a>d,b>c,b>e,d>i,e>f,e>g,e>h
find_316(a,b,c,d,e,f,g,h,i) =
 if a > c
 then find_317(a,b,d,e,c,f,g,h,i)
 else find_30(c,e,f,g,h,a)
# n=9, i=3, ]0..4], a?d: a>c,a>e,b>d,b>e,c>i,d>f,d>g,d>h
find_317(a,b,c,d,e,f,g,h,i) =
 if a > d
 then find_31(c,b,d,e,i)
 else find_40(a,f,g,h)
# n=12, i=5, ]0..9], b?c: a>g,a>h,b>f,b>j,c>e,c>j,d>h,d>j,h>i,j>k,j>l
find_308(a,b,c,d,e,f,g,h,i,j,k,l) =
 if b > c
 then find_318(a,d,b,f,g,c,e,h,i,j,k,l)
 else find_318(a,d,c,e,g,b,f,h,i,j,k,l)
# n=12, i=5, ]0..8], a?f: a>e,a>h,b>h,b>j,c>d,c>f,f>g,f>j,h>i,j>k,j>l
find_318(a,b,c,d,e,f,g,h,i,j,k,l) =
 if a > f
 then find_319(e,b,c,d,h,f,g,i,j)
 else find_320(d,g,a,b,e,j,k,l,h)
# n=9, i=3, ]0..7], a?b: c>e,c>i,d>f,d>i,f>g,f>h
find_320(a,b,c,d,e,f,g,h,i) =
 if a > b
 then find_321(a,c,d,e,b,f,i,h,g)
 else find_321(b,c,d,e,a,f,i,h,g)
# n=9, i=3, ]0..6], a?f: a>e,b>d,b>g,c>f,c>g,f>h,f>i
find_321(a,b,c,d,e,f,g,h,i) =
 if a > f
 then find_322(a,b,c,d,e,g,f)
 else find_38(b,c,d,f,g,a,h,i)
# n=7, i=3, ]0..5], a?b: a>e,a>g,b>d,b>f,c>f,c>g
find_322(a,b,c,d,e,f,g) =
 if a > b
 then find_152(e,c,b,d,g)
 else find_152(d,c,a,e,f)
# n=9, i=4, ]0..7], a?e: b>e,b>i,c>d,c>f,e>h,f>g,f>i
find_319(a,b,c,d,e,f,g,h,i) =
 if a > e
 then find_323(a,b,c,d,f,g,e,h,i)
 else find_324(c,b,d,e,f,g,a,h,i)
# n=9, i=4, ]0..6], a?b: a>c,a>e,b>d,b>i,d>g,d>h,e>f,e>i
find_324(a,b,c,d,e,f,g,h,i) =
 if a > b
 then find_288(c,e,b,f,d,i,h,g)
 else find_325(d,a,c,g,h,e,f,i)
# n=8, i=3, ]0..5], a?f: a>d,a>e,b>c,b>f,f>g,f>h
find_325(a,b,c,d,e,f,g,h) =
 if a > f
 then find_64(b,a,d,e,c,f)
 else find_183(c,f,a,g,h)
# n=9, i=4, ]0..6], a?e: a>g,b>g,b>i,c>d,c>e,e>f,e>i,g>h
find_323(a,b,c,d,e,f,g,h,i) =
 if a > e
 then find_326(b,c,a,d,e,g,f,h)
 else find_192(d,b,e,a,f,i)
# n=8, i=4, ]0..5], d?f: a>f,b>d,b>e,c>e,c>f,e>g,f>h
find_326(a,b,c,d,e,f,g,h) =
 if d > f
 then find_282(a,d,c,e,g)
 else find_97(a,b,e,f,g,h)
# n=13, i=6, ]0..11], e?f: a>f,b>k,c>e,c>j,d>g,d>h,g>i,h>j,h>k,j>l,k>m
find_271(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if e > f
 then find_327(a,b,c,d,g,e,h,i,f,j,k,l,m)
 else find_328(a,b,c,d,g,f,h,i,e,j,k,l,m)
# n=13, i=6, ]0..10], a?b: a>f,b>k,c>i,c>j,d>e,d>g,e>h,f>i,g>j,g>k,j>l,k>m
find_328(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if a > b
 then find_329(c,a,d,e,f,b,g,h,i,j,l,k,m)
 else find_330(c,b,d,e,a,g,h,f,k,j,m,l,i)
# n=13, i=6, ]0..9], g?i: a>j,a>m,b>e,b>i,c>d,c>f,d>g,e>h,f>i,f>j,h>m,i>k,j>l
find_330(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if g > i
 then find_331(a,b,c,e,d,f,g,h,j,m,l,i)
 else find_332(a,b,c,d,e,f,h,j,i,k,l,m,g)
# n=13, i=6, ]0..8], g?i: a>h,a>l,b>e,b>i,c>d,c>f,d>m,e>g,f>h,f>i,g>l,h>k,i>j,i>m
find_332(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if g > i
 then find_333(a,b,c,d,e,f,g,h,k,l,i)
 else find_334(d,a,b,f,e,h,i,j,k,m,g)
# n=11, i=5, ]0..7], a?b: a>j,b>f,c>e,c>g,d>f,d>g,e>k,f>i,g>h,g>j,g>k
find_334(a,b,c,d,e,f,g,h,i,j,k) =
 if a > b
 then find_335(a,c,d,e,b,g,h,f,i,j,k)
 else find_336(b,c,d,a,e,f,g,h,i,k)
# n=10, i=5, ]0..6], d?e: a>d,a>f,b>e,b>g,c>f,c>g,e>j,f>i,g>h,g>j
find_336(a,b,c,d,e,f,g,h,i,j) =
 if d > e
 then find_290(b,c,a,d,f,g,i,h,e)
 else find_337(a,b,c,e,f,g,h,i,d,j)
# n=10, i=5, ]0..5], d?e: a>e,a>i,b>d,b>f,c>e,c>f,d>i,d>j,e>h,f>g,f>j
find_337(a,b,c,d,e,f,g,h,i,j) =
 if d > e
 then find_104(a,d,c,f,i,g,e,j)
 else find_77(a,b,f,e,h,g,d)
# n=11, i=5, ]0..6], e?f: a>e,a>j,b>d,b>f,c>f,c>h,d>k,e>h,f>g,f>j,f>k,h>i
find_335(a,b,c,d,e,f,g,h,i,j,k) =
 if e > f
 then find_202(b,c,e,d,h,f,i)
 else find_338(d,a,f,g,e,j,k)
# n=7, i=3, ]0..5], e?f: a>g,b>e,b>f,c>d,c>e,c>f,c>g
find_338(a,b,c,d,e,f,g) =
 if e > f
 then find_78(a,b,c,d,e,g)
 else find_78(a,b,c,d,f,g)
# n=11, i=6, ]0..7], a?d: a>h,a>j,b>e,c>d,c>f,e>g,f>h,f>k,g>j,g>k,h>i
find_333(a,b,c,d,e,f,g,h,i,j,k) =
 if a > d
 then find_339(b,a,c,e,f,d,g,h,i,j,k)
 else find_340(f,b,d,e,a,g,h,k,i)
# n=9, i=5, ]0..5], d?e: a>g,a>h,b>d,c>e,d>f,e>g,f>h,g>i
find_340(a,b,c,d,e,f,g,h,i) =
 if d > e
 then find_207(a,f,c,e,h)
 else find_97(a,b,d,g,f,i)
# n=11, i=6, ]0..6], a?h: a>d,b>f,b>h,b>j,c>e,c>f,d>g,e>h,e>k,g>j,g>k,h>i
find_339(a,b,c,d,e,f,g,h,i,j,k) =
 if a > h
 then find_341(d,b,c,g,e,f,j,h,i,k)
 else find_34(f,i,a,d)
# n=10, i=5, ]0..5], d?f: a>d,b>f,b>g,b>h,c>e,c>f,d>g,d>j,e>h,e>j,h>i
find_341(a,b,c,d,e,f,g,h,i,j) =
 if d > f
 then find_342(a,b,c,e,d,g,h,i,f,j)
 else find_52(a,f,e,h,d,i)
# n=10, i=5, ]0..4], d?e: a>e,b>f,b>g,b>i,c>d,c>i,d>g,d>j,e>f,e>i,e>j,g>h
find_342(a,b,c,d,e,f,g,h,i,j) =
 if d > e
 then find_97(a,b,g,e,h,j)
 else find_35(b,c,f,d,i,j)
# n=12, i=6, ]0..8], d?e: a>i,a>j,b>d,b>l,c>e,c>f,d>h,e>g,f>i,f>l,g>l,h>j,i>k
find_331(a,b,c,d,e,f,g,h,i,j,k,l) =
 if d > e
 then find_343(a,b,c,f,d,h,e,i,g,k,j)
 else find_344(a,f,b,e,g,d,i,h,k,l)
# n=10, i=5, ]0..7], b?c: a>g,b>g,b>j,c>f,c>j,d>e,d>f,e>j,f>h,g>i
find_344(a,b,c,d,e,f,g,h,i,j) =
 if b > c
 then find_345(a,c,d,g,e,i,f,h,j)
 else find_346(a,b,d,f,e,h,g,i,j)
# n=9, i=4, ]0..6], a?d: a>g,b>g,b>i,c>d,c>e,d>f,e>i,g>h
find_346(a,b,c,d,e,f,g,h,i) =
 if a > d
 then find_51(b,a,c,e,d,g,f,h,i)
 else find_347(b,e,d,a,f,i)
# n=6, i=3, ]0..5], a?b: a>f,b>f,c>d,c>e
find_347(a,b,c,d,e,f) =
 if a > b
 then find_154(c,a,d,e,b,f)
 else find_154(c,b,d,e,a,f)
# n=9, i=4, ]0..6], d?e: a>d,b>g,b>i,c>e,c>g,d>f,e>i,g>h
find_345(a,b,c,d,e,f,g,h,i) =
 if d > e
 then find_174(b,a,c,d,f,g,h,e)
 else find_44(a,e,b,g,i,d,h)
# n=11, i=6, ]0..7], g?h: a>h,a>k,b>e,c>d,c>g,d>h,e>f,e>g,f>k,g>i,h>j
find_343(a,b,c,d,e,f,g,h,i,j,k) =
 if g > h
 then find_348(a,f,c,d,g,i,k)
 else find_349(a,b,c,e,d,f,h,k,j)
# n=9, i=6, ]0..4], d?g: a>g,a>h,b>d,c>e,d>f,e>g,f>h,g>i
find_349(a,b,c,d,e,f,g,h,i) =
 if d > g
 then find_248(f,c,a,e,h,g)
 else find_36(i,b,d)
# n=7, i=4, ]5..6], a?b: a>g,b>g,c>d,c>e,e>f
find_348(a,b,c,d,e,f,g) =
 if a > b
 then find_350(a,c,d,e,b,f,g)
 else find_350(b,c,d,e,a,f,g)
# n=7, i=4, ]0..5], d?e: a>e,b>c,b>d,d>f,e>g
find_350(a,b,c,d,e,f,g) =
 if d > e
 then find_89(c,a,d,f,e)
 else find_61(b,e,g,c,d)
# n=13, i=6, ]0..9], a?g: a>i,a>j,b>e,b>f,c>d,c>g,d>h,e>i,f>l,g>j,g>l,j>k,l>m
find_329(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if a > g
 then find_351(b,a,c,f,d,e,h,g,i,j,k,l)
 else find_352(d,b,g,h,e,f,a,j,k,l,m,i)
# n=12, i=5, ]0..8], a?f: a>d,b>e,b>f,c>g,c>j,e>l,f>j,g>h,g>l,h>i,j>k
find_352(a,b,c,d,e,f,g,h,i,j,k,l) =
 if a > f
 then find_353(a,b,c,d,e,g,h,f,i,j,l)
 else find_354(c,b,e,g,f,a,h,d,i,j,k,l)
# n=12, i=5, ]0..7], f?g: a>d,a>j,b>c,b>e,c>l,d>g,d>l,e>f,e>j,f>h,g>i,j>k
find_354(a,b,c,d,e,f,g,h,i,j,k,l) =
 if f > g
 then find_355(c,e,a,f,d,h,j,l,k)
 else find_356(d,b,g,c,e,i,j,k,l)
# n=9, i=4, ]0..5], c?e: a>c,a>i,b>d,b>e,c>f,d>i,e>g,g>h
find_356(a,b,c,d,e,f,g,h,i) =
 if c > e
 then find_35(c,b,f,d,e,i)
 else find_44(d,a,e,g,c,i,h)
# n=9, i=4, ]0..6], d?e: a>h,b>d,b>g,c>e,c>g,d>f,e>h,g>i
find_355(a,b,c,d,e,f,g,h,i) =
 if d > e
 then find_166(a,d,c,f,g,e,i)
 else find_44(a,e,b,g,d,h,i)
# n=11, i=5, ]0..7], d?g: a>d,a>h,b>e,b>h,c>f,c>j,e>k,f>g,f>k,g>i,h>j
find_353(a,b,c,d,e,f,g,h,i,j,k) =
 if d > g
 then find_357(a,b,c,e,d,f,h,j,k,g)
 else find_358(a,b,c,e,f,h,g,i,k,j,d)
# n=11, i=5, ]0..6], 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_358(a,b,c,d,e,f,g,h,i,j,k) =
 if d > g
 then find_359(a,d,c,f,e,g,i,j)
 else find_360(a,b,e,g,h,f,d,k,j)
# n=9, i=4, ]0..5], c?f: a>f,a>h,b>f,b>g,c>d,d>e,d>g,d>h,f>i
find_360(a,b,c,d,e,f,g,h,i) =
 if c > f
 then find_243(a,b,d,e,g,h,f)
 else find_33(c,i)
# n=8, i=4, ]4..5], a?b: a>d,b>f,b>g,c>e,c>h,d>h,e>f,e>g
find_359(a,b,c,d,e,f,g,h) =
 if a > b
 then find_89(b,d,c,e,h)
 else find_103(a,c,d,e,f,g)
# n=10, i=5, ]5..6], d?e: a>e,a>g,b>d,b>g,c>f,c>h,d>i,e>j,f>i,f>j,g>h
find_357(a,b,c,d,e,f,g,h,i,j) =
 if d > e
 then find_361(d,a,c,g,f,e,h,i)
 else find_361(e,b,c,g,f,d,h,j)
# n=8, i=4, ]0..5], d?e: a>f,a>h,b>d,b>f,c>e,c>g,d>g,e>h
find_361(a,b,c,d,e,f,g,h) =
 if d > e
 then find_362(a,c,d,f,e,g)
 else find_363(a,b,c,e,f,d,h)
# n=7, i=4, ]3..4], a?b: a>e,a>g,b>e,b>f,c>d,d>f,d>g
find_363(a,b,c,d,e,f,g) =
 if a > b
 then find_55(b,c,e,d,g)
 else find_55(a,c,e,d,f)
# n=6, i=3, ]3..4], a?b: a>d,b>e,b>f,c>e,c>f
find_362(a,b,c,d,e,f) =
 if a > b
 then find_220(b,c,d)
 else find_31(a,c,e,f,d)
# n=12, i=6, ]0..8], d?e: a>d,a>f,b>h,b>i,c>e,c>h,d>l,e>g,f>i,h>j,h>l,j>k
find_351(a,b,c,d,e,f,g,h,i,j,k,l) =
 if d > e
 then find_364(b,a,c,f,d,h,i,e,j,g,k,l)
 else find_365(e,a,b,g,f,h,d,j,k,i)
# n=10, i=5, ]0..7], d?h: a>d,a>g,b>e,b>g,c>f,c>j,e>j,f>h,h>i
find_365(a,b,c,d,e,f,g,h,i,j) =
 if d > h
 then find_366(b,a,c,d,f,e,g,j,h)
 else find_367(a,b,c,e,f,g,h,i,j,d)
# n=10, i=5, ]0..6], d?g: a>f,a>j,b>d,b>f,c>e,c>i,d>i,e>g,g>h,g>j
find_367(a,b,c,d,e,f,g,h,i,j) =
 if d > g
 then find_368(a,d,c,f,e,i,g)
 else find_369(a,b,e,g,f,h,d,j)
# n=8, i=4, ]4..5], a?b: a>e,a>h,b>e,b>g,c>d,d>f,d>g,d>h
find_369(a,b,c,d,e,f,g,h) =
 if a > b
 then find_77(c,a,b,d,f,e,h)
 else find_77(c,b,a,d,f,e,g)
# n=7, i=4, ]4..5], a?b: a>d,b>f,b>g,c>e,c>f,e>g
find_368(a,b,c,d,e,f,g) =
 if a > b
 then find_89(d,b,c,e,f)
 else find_72(a,c,f,d,e,g)
# n=9, i=5, ]0..6], d?e: a>f,a>g,b>d,b>g,c>e,c>h,d>i,e>i,f>h
find_366(a,b,c,d,e,f,g,h,i) =
 if d > e
 then find_370(c,a,b,f,d,g,h,e,i)
 else find_371(b,a,c,f,e,g,h,d,i)
# n=9, i=5, ]0..5], d?e: a>f,a>h,b>d,b>f,c>e,c>g,d>g,e>h,h>i
find_371(a,b,c,d,e,f,g,h,i) =
 if d > e
 then find_372(a,c,d,f,e,g)
 else find_239(a,b,e,f,d,h,g,i)
# n=6, i=4, ]3..4], d?e: a>d,b>e,b>f,c>e,c>f
find_372(a,b,c,d,e,f) =
 if d > e
 then find_137(b,c,a,d,f)
 else find_220(a,e,f)
# n=9, i=5, ]0..5], d?e: a>g,a>h,b>d,b>f,c>e,c>f,d>g,e>h,h>i
find_370(a,b,c,d,e,f,g,h,i) =
 if d > e
 then find_373(a,c,d,f,e,g)
 else find_374(b,a,e,f,d,h,i)
# n=7, i=4, ]0..4], d?f: a>d,a>e,b>f,c>e,c>f,f>g
find_374(a,b,c,d,e,f,g) =
 if d > f
 then find_227(b,d,c,e)
 else find_55(a,b,e,f,g)
# n=6, i=4, ]3..4], e?f: a>f,b>d,b>e,c>e,c>f
find_373(a,b,c,d,e,f) =
 if e > f
 then find_227(a,d,c,e)
 else find_137(a,c,b,d,f)
# n=12, i=6, ]0..7], h?i: a>f,a>g,b>d,b>e,c>f,c>h,d>g,e>h,e>l,f>i,f>l,h>j,i>k
find_364(a,b,c,d,e,f,g,h,i,j,k,l) =
 if h > i
 then find_375(d,e,a,c,g,h,f,j,l)
 else find_376(c,b,e,d,f,g,i,k,l)
# n=9, i=5, ]0..5], c?g: a>e,b>c,b>d,c>i,d>f,e>g,e>i,g>h
find_376(a,b,c,d,e,f,g,h,i) =
 if c > g
 then find_377(d,c,a,f,e,g,i)
 else find_77(e,b,d,g,h,f,c)
# n=7, i=4, ]0..4], a?e: a>d,b>f,b>g,c>e,e>f,e>g
find_377(a,b,c,d,e,f,g) =
 if a > e
 then find_227(b,d,c,e)
 else find_31(a,b,f,g,d)
# n=9, i=5, ]5..6], b?c: a>e,b>f,b>i,c>e,c>g,d>f,d>g,f>h,g>i
find_375(a,b,c,d,e,f,g,h,i) =
 if b > c
 then find_378(a,c,d,f,e,h,g,i)
 else find_379(a,b,d,e,g,f,h,i)
# n=8, i=4, ]0..5], d?f: a>d,b>f,b>h,c>e,c>f,e>h,f>g
find_379(a,b,c,d,e,f,g,h) =
 if d > f
 then find_380(b,a,c,d,e,h)
 else find_71(a,e,b,f,h,g)
# n=6, i=4, ]0..4], a?b: a>f,b>d,c>e,e>f
find_380(a,b,c,d,e,f) =
 if a > b
 then find_55(b,c,d,e,f)
 else find_227(a,d,c,e)
# n=8, i=4, ]0..5], a?d: a>e,b>e,b>g,c>d,c>g,d>f,g>h
find_378(a,b,c,d,e,f,g,h) =
 if a > d
 then find_239(a,b,c,e,g,d,h,f)
 else find_154(d,b,a,f,g,h)
# n=13, i=6, ]0..10], h?j: a>i,b>k,c>f,c>j,d>e,d>g,e>h,f>i,g>j,g>k,j>l,k>m
find_327(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if h > j
 then find_381(a,b,c,d,f,e,g,h,i,k,m,j)
 else find_382(a,b,c,d,e,f,g,i,k,j,l,m,h)
# n=13, i=6, ]0..9], e?f: a>h,b>i,c>f,c>j,d>e,d>g,e>m,f>h,g>i,g>j,i>l,j>k,j>m
find_382(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if e > f
 then find_383(a,b,e,g,c,i,f,j,k,l,m,h)
 else find_384(a,b,c,d,f,g,h,e,j,i,k,l)
# n=12, i=6, ]0..8], i?j: a>g,b>j,c>e,c>i,d>f,d>h,e>g,e>h,f>i,f>j,i>k,j>l
find_384(a,b,c,d,e,f,g,h,i,j,k,l) =
 if i > j
 then find_385(a,b,e,d,f,h,g,i,k,j)
 else find_386(a,b,c,d,e,f,g,h,j,l,i)
# n=11, i=6, ]0..7], a?b: a>g,b>i,c>e,c>k,d>f,d>h,e>g,e>h,f>i,i>j,i>k
find_386(a,b,c,d,e,f,g,h,i,j,k) =
 if a > b
 then find_387(c,a,d,e,f,b,h,g,i,j)
 else find_388(c,d,b,a,e,f,h,i,j,g,k)
# n=11, i=6, ]0..6], d?f: a>e,a>k,b>f,b>g,c>d,c>h,d>j,e>g,e>j,f>h,h>i,h>k
find_388(a,b,c,d,e,f,g,h,i,j,k) =
 if d > f
 then find_389(a,b,d,e,f,j,g,h,i)
 else find_390(a,c,f,e,g,d,h,i,k)
# n=9, i=5, ]0..5], d?f: a>d,a>i,b>f,b>g,c>f,c>g,d>e,g>h,g>i
find_390(a,b,c,d,e,f,g,h,i) =
 if d > f
 then find_391(a,b,c,d,e,g,h,f,i)
 else find_65(f,g,a,h,i,d)
# n=9, i=5, ]0..4], e?f: a>d,a>i,b>f,b>h,c>f,c>h,d>e,d>h,f>g,f>i
find_391(a,b,c,d,e,f,g,h,i) =
 if e > f
 then find_392(e,c,b,h)
 else find_35(f,a,g,d,i,h)
# n=4, i=3, ]0..3], b?c: b>d,c>d
find_392(a,b,c,d) =
 if b > c
 then find_36(a,c,d)
 else find_36(a,b,d)
# n=9, i=5, ]0..4], d?e: a>d,b>e,b>g,c>e,c>f,d>f,d>g,e>h,h>i
find_389(a,b,c,d,e,f,g,h,i) =
 if d > e
 then find_61(b,c,f,g,e)
 else find_32(a,h,i,d)
# n=10, i=6, ]0..6], d?e: a>d,b>f,b>h,c>e,c>g,d>g,d>h,e>i,f>i,i>j
find_387(a,b,c,d,e,f,g,h,i,j) =
 if d > e
 then find_393(b,c,e,g,f,h)
 else find_394(a,b,f,d,g,i,j,h)
# n=8, i=4, ]0..4], a?f: a>d,b>c,b>h,c>f,d>e,d>h,f>g
find_394(a,b,c,d,e,f,g,h) =
 if a > f
 then find_35(d,b,e,c,h,f)
 else find_33(a,g)
# n=6, i=4, ]4..5], c?d: a>e,a>f,b>c,b>d
find_393(a,b,c,d,e,f) =
 if c > d
 then find_395(a,b,e,f,c,d)
 else find_395(a,b,e,f,d,c)
# n=6, i=4, ]0..4], c?e: a>c,a>d,b>e,e>f
find_395(a,b,c,d,e,f) =
 if c > e
 then find_392(d,c,b,e)
 else find_61(a,e,f,d,c)
# n=10, i=5, ]0..7], a?b: a>g,b>j,c>f,c>g,d>e,d>f,e>h,h>i,h>j
find_385(a,b,c,d,e,f,g,h,i,j) =
 if a > b
 then find_396(a,c,d,b,e,f,g,h,i)
 else find_397(c,b,d,a,e,f,h,g,i,j)
# n=10, i=5, ]0..6], d?g: a>f,a>h,b>d,b>j,c>e,c>f,d>h,e>g,g>i,g>j
find_397(a,b,c,d,e,f,g,h,i,j) =
 if d > g
 then find_398(a,c,b,e,d,f,h,g)
 else find_281(a,b,e,f,g,i,d,j)
# n=8, i=5, ]0..5], a?d: a>f,a>g,b>d,b>f,c>e,d>h,e>g,e>h
find_398(a,b,c,d,e,f,g,h) =
 if a > d
 then find_395(b,c,d,f,e,g)
 else find_55(a,c,f,e,h)
# n=9, i=5, ]0..6], d?f: a>d,a>g,b>f,b>g,c>e,c>f,e>h,h>i
find_396(a,b,c,d,e,f,g,h,i) =
 if d > f
 then find_399(b,a,c,d,e,g,h,i,f)
 else find_400(e,a,b,h,f,g,i,d)
# n=8, i=4, ]0..5], d?e: a>d,b>f,b>h,c>e,c>f,d>g,e>h
find_400(a,b,c,d,e,f,g,h) =
 if d > e
 then find_106(b,c,a,d,f,g,e)
 else find_65(a,b,e,f,h,d)
# n=9, i=5, ]0..5], d?g: a>f,a>i,b>d,b>f,c>e,c>i,d>i,e>g,g>h
find_399(a,b,c,d,e,f,g,h,i) =
 if d > g
 then find_285(a,d,c,f,e,g,i)
 else find_106(a,b,e,g,f,h,d)
# n=12, i=5, ]0..8], a?h: a>l,b>f,c>g,c>k,d>f,d>h,e>g,e>h,f>j,g>l,h>i,h>k
find_383(a,b,c,d,e,f,g,h,i,j,k,l) =
 if a > h
 then find_401(b,c,a,d,e,f,g,j,h,l,i)
 else find_402(b,c,e,d,g,f,h,a,i,j,k)
# n=11, i=5, ]0..7], a?b: a>f,b>e,b>k,c>e,c>g,d>f,d>g,f>j,g>h,g>i,g>k
find_402(a,b,c,d,e,f,g,h,i,j,k) =
 if a > b
 then find_403(c,a,d,b,f,g,h,i,j,e)
 else find_404(c,b,d,a,e,g,h,i,f,k,j)
# n=11, i=5, ]0..6], d?f: a>e,a>f,b>d,b>e,b>j,c>f,c>i,d>i,f>g,f>h,f>j,i>k
find_404(a,b,c,d,e,f,g,h,i,j,k) =
 if d > f
 then find_202(a,c,d,e,i,f,k)
 else find_124(b,f,g,h,e,d,j)
# n=10, i=5, ]0..6], d?f: a>f,a>j,b>d,b>e,c>e,c>f,d>j,e>i,f>g,f>h
find_403(a,b,c,d,e,f,g,h,i,j) =
 if d > f
 then find_219(a,d,c,e,i,j,f)
 else find_88(b,a,e,f,g,h,i,d)
# n=11, i=5, ]0..7], a?e: a>f,b>g,c>i,c>j,d>f,d>i,e>g,e>i,f>h,g>j,i>k
find_401(a,b,c,d,e,f,g,h,i,j,k) =
 if a > e
 then find_405(b,c,e,d,f,g,h,i)
 else find_406(b,a,c,d,g,i,f,j,k,h)
# n=10, i=4, ]0..6], b?c: a>e,b>g,c>f,c>h,d>f,d>g,e>h,f>i,g>j
find_406(a,b,c,d,e,f,g,h,i,j) =
 if b > c
 then find_379(a,d,b,e,c,g,j,f)
 else find_407(a,d,c,b,e,f,i,g,h)
# n=9, i=4, ]0..5], d?e: a>e,b>f,b>h,c>d,c>f,c>i,d>h,e>i,f>g
find_407(a,b,c,d,e,f,g,h,i) =
 if d > e
 then find_44(a,d,b,f,h,e,g)
 else find_408(b,a,c,e,f,g,d,i)
# n=8, i=4, ]0..4], a?d: a>e,b>d,c>e,c>g,c>h,d>g,d>h,e>f
find_408(a,b,c,d,e,f,g,h) =
 if a > d
 then find_55(b,c,d,e,f)
 else find_39(a,c,g,h)
# n=8, i=4, ]0..6], a?b: a>f,b>h,c>f,c>h,d>e,d>h,e>g
find_405(a,b,c,d,e,f,g,h) =
 if a > b
 then find_409(c,d,a,b,e,f,g)
 else find_410(c,d,b,e,a,g,f,h)
# n=8, i=4, ]4..5], d?e: a>g,a>h,b>d,b>h,c>e,c>h,d>f,e>g
find_410(a,b,c,d,e,f,g,h) =
 if d > e
 then find_65(a,d,c,f,e,h)
 else find_45(a,b,e,d,g,h)
# n=7, i=4, ]0..5], a?e: a>f,b>e,c>d,c>f,e>g
find_409(a,b,c,d,e,f,g) =
 if a > e
 then find_374(c,b,a,d,f,e,g)
 else find_411(c,e,a,g,d)
# n=5, i=3, ]3..4], c?d: a>e,b>c,b>d
find_411(a,b,c,d,e) =
 if c > d
 then find_55(a,b,e,c,d)
 else find_55(a,b,e,d,c)
# n=12, i=6, ]0..9], a?f: a>i,b>j,c>e,c>l,d>f,d>g,e>i,f>h,g>j,g>l,h>l,j>k
find_381(a,b,c,d,e,f,g,h,i,j,k,l) =
 if a > f
 then find_412(c,b,a,d,e,g,f,i,h,j,k)
 else find_413(b,g,c,f,h,a,e,j,k,l,i)
# n=11, i=5, ]0..8], e?g: a>h,b>h,b>j,c>g,c>j,d>e,d>f,e>j,f>k,g>k,h>i
find_413(a,b,c,d,e,f,g,h,i,j,k) =
 if e > g
 then find_414(a,c,b,d,f,e,h,g,i,j)
 else find_415(a,b,d,c,f,g,h,e,i,k)
# n=10, i=5, ]0..7], a?f: a>g,b>g,c>e,c>h,d>f,e>j,f>h,f>j,g>i
find_415(a,b,c,d,e,f,g,h,i,j) =
 if a > f
 then find_416(b,c,d,a,e,g,f,i,h)
 else find_417(b,c,f,a,e,h,g,j)
# n=8, i=4, ]5..6], d?e: a>g,b>e,b>f,c>d,c>f,c>h,d>g,e>h
find_417(a,b,c,d,e,f,g,h) =
 if d > e
 then find_65(a,b,d,f,e,g)
 else find_123(a,e,c,f,d,h)
# n=9, i=5, ]0..6], a?c: a>f,b>e,b>i,c>g,d>f,d>g,f>h,g>i
find_416(a,b,c,d,e,f,g,h,i) =
 if a > c
 then find_69(c,b,d,e,f,g,h)
 else find_418(b,a,d,e,g,f,i,h)
# n=8, i=4, ]0..5], a?b: a>d,a>g,b>f,c>e,c>f,e>g,f>h
find_418(a,b,c,d,e,f,g,h) =
 if a > b
 then find_71(d,b,c,e,f,g)
 else find_72(a,c,e,d,f,h)
# n=10, i=5, ]0..7], a?f: a>g,b>h,b>j,c>g,c>j,d>e,d>f,f>h,f>j,g>i
find_414(a,b,c,d,e,f,g,h,i,j) =
 if a > f
 then find_419(b,c,d,a,e,g,f,i,h)
 else find_420(e,b,c,f,a,h,g,j)
# n=8, i=4, ]0..6], a?e: b>f,b>h,c>g,c>h,d>e,d>f,d>h,e>g
find_420(a,b,c,d,e,f,g,h) =
 if a > e
 then find_421(a,c,b,d,f,e,h)
 else find_322(b,e,c,a,f,g,h)
# n=7, i=4, ]3..5], a?b: a>f,b>g,c>e,c>g,d>e,d>f,d>g
find_421(a,b,c,d,e,f,g) =
 if a > b
 then find_373(c,a,d,b,f,e)
 else find_246(c,b,d,a,e,f,g)
# n=9, i=5, ]0..6], e?f: a>i,b>f,c>e,c>g,d>f,d>g,f>h,g>i
find_419(a,b,c,d,e,f,g,h,i) =
 if e > f
 then find_422(b,e,a,d,g,i,f)
 else find_423(a,b,c,g,f,h,i,e)
# n=8, i=4, ]0..5], a?e: a>g,b>e,c>d,c>h,d>g,e>f,e>h
find_423(a,b,c,d,e,f,g,h) =
 if a > e
 then find_53(c,b,a,d,e,g,f)
 else find_64(c,e,a,f,d,h)
# n=7, i=4, ]4..5], a?b: a>g,b>g,c>f,d>e,d>g,e>f
find_422(a,b,c,d,e,f,g) =
 if a > b
 then find_256(c,a,d,e,b,g,f)
 else find_256(c,b,d,e,a,g,f)
# n=11, i=6, ]0..8], a?b: a>e,b>j,c>g,c>h,d>f,d>g,e>h,f>j,g>i,j>k
find_412(a,b,c,d,e,f,g,h,i,j,k) =
 if a > b
 then find_424(c,a,d,e,b,f,g,i,h,j,k)
 else find_425(c,d,b,a,f,g,e,i,j,k,h)
# n=11, i=6, ]0..7], d?e: a>f,a>k,b>e,b>f,c>d,c>i,d>g,e>i,f>h,g>k,i>j
find_425(a,b,c,d,e,f,g,h,i,j,k) =
 if d > e
 then find_426(a,d,b,g,f,e,h,k,i,j)
 else find_427(a,c,e,f,h,d,i,j,g)
# n=9, i=5, ]0..6], h?i: a>d,b>f,b>g,c>f,c>g,d>e,f>i,g>h
find_427(a,b,c,d,e,f,g,h,i) =
 if h > i
 then find_428(a,b,c,d,f,e,g,h)
 else find_428(a,b,c,d,g,e,f,i)
# n=8, i=5, ]0..5], a?g: a>d,b>e,b>g,c>e,c>g,d>f,g>h
find_428(a,b,c,d,e,f,g,h) =
 if a > g
 then find_136(d,c,b,f,e,g,h)
 else find_34(e,h,a,d)
# n=10, i=5, ]0..5], a?f: a>e,a>h,b>d,b>f,c>e,c>f,d>h,e>g,f>i,i>j
find_426(a,b,c,d,e,f,g,h,i,j) =
 if a > f
 then find_429(b,c,e,d,g,h,f,i)
 else find_152(d,a,i,j,e)
# n=8, i=4, ]0..4], c?d: a>d,a>g,b>c,b>g,c>e,d>f,g>h
find_429(a,b,c,d,e,f,g,h) =
 if c > d
 then find_35(c,a,e,g,d,h)
 else find_35(d,b,f,g,c,h)
# n=11, i=6, ]0..7], a?e: a>g,a>i,b>d,b>e,c>f,c>g,d>i,e>j,f>j,g>h,j>k
find_424(a,b,c,d,e,f,g,h,i,j,k) =
 if a > e
 then find_430(b,c,f,e,g,d,h,i,j)
 else find_431(d,a,c,f,i,g,j,h,k)
# n=9, i=4, ]0..5], a?d: a>e,b>e,b>f,c>d,c>f,d>g,f>h,g>i
find_431(a,b,c,d,e,f,g,h,i) =
 if a > d
 then find_239(a,b,c,e,f,d,h,g)
 else find_48(b,d,a,g,f,i,h)
# n=9, i=5, ]0..6], e?f: a>d,a>f,b>c,b>e,c>i,d>i,e>g,f>h
find_430(a,b,c,d,e,f,g,h,i) =
 if e > f
 then find_283(c,e,a,g,d,f,i,h)
 else find_283(d,f,b,h,c,e,i,g)
# n=14, i=7, ]0..12], d?e: a>e,a>l,b>g,b>l,c>d,c>f,c>h,f>j,g>k,h>i,h>m,l>m,m>n
find_269(a,b,c,d,e,f,g,h,i,j,k,l,m,n) =
 if d > e
 then find_432(d,f,h,a,b,i,j,g,e,k,l,m,n)
 else find_433(b,a,c,f,g,e,h,i,j,k,l,d,m,n)
# n=14, i=7, ]0..11], d?e: a>e,a>k,b>f,b>k,c>d,c>g,c>l,d>i,e>j,f>l,g>h,g>m,k>m,m>n
find_433(a,b,c,d,e,f,g,h,i,j,k,l,m,n) =
 if d > e
 then find_434(g,d,a,b,i,h,f,l,e,k,j,m,n)
 else find_435(b,c,a,f,g,e,j,h,k,l,d,i,m,n)
# n=14, i=7, ]0..10], d?i: a>d,a>i,b>e,b>j,b>k,c>f,c>i,d>j,e>h,e>m,f>g,f>k,i>m,k>l,m>n
find_435(a,b,c,d,e,f,g,h,i,j,k,l,m,n) =
 if d > i
 then find_436(a,c,b,e,d,f,g,h,j,k,i,l,m)
 else find_437(f,a,b,g,e,i,h,k,d,l,j,m,n)
# n=13, i=6, ]0..9], a?f: a>d,a>h,b>f,c>e,c>h,c>k,e>g,e>l,f>i,f>l,h>j,i>k,l>m
find_437(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if a > f
 then find_438(d,b,c,h,e,f,g,j,i,l,k)
 else find_439(i,a,c,d,e,k,g,h,l,j,m)
# n=11, i=4, ]0..7], b?e: a>f,b>d,b>h,c>e,c>f,c>h,e>g,e>i,h>j,i>k
find_439(a,b,c,d,e,f,g,h,i,j,k) =
 if b > e
 then find_440(a,b,c,d,f,h,e,g,i,j)
 else find_312(a,e,g,f,i,b,h,d,k)
# n=10, i=4, ]0..6], d?f: a>e,b>d,b>f,b>g,c>e,c>f,c>g,f>j,g>h,g>i
find_440(a,b,c,d,e,f,g,h,i,j) =
 if d > f
 then find_441(a,b,c,d,e,g,h,i,f)
 else find_442(a,b,e,f,g,h,i,d,j)
# n=9, i=3, ]0..5], a?d: a>c,b>d,b>e,d>h,d>i,e>f,e>g
find_442(a,b,c,d,e,f,g,h,i) =
 if a > d
 then find_168(a,b,c,e,d,f,g)
 else find_443(e,d,a,h,i,f,g)
# n=7, i=2, ]0..4], c?d: a>f,a>g,b>c,b>d,b>e
find_443(a,b,c,d,e,f,g) =
 if c > d
 then find_96(a,b,c,e,f,g)
 else find_96(a,b,d,e,f,g)
# n=9, i=4, ]0..5], a?d: a>e,b>d,b>f,c>e,c>f,c>i,d>i,f>g,f>h
find_441(a,b,c,d,e,f,g,h,i) =
 if a > d
 then find_444(a,b,c,e,d,f,g,h)
 else find_168(d,c,a,f,i,h,g)
# n=8, i=4, ]0..4], a?f: a>d,a>e,b>e,b>f,c>d,c>f,f>g,f>h
find_444(a,b,c,d,e,f,g,h) =
 if a > f
 then find_61(b,c,d,e,f)
 else find_41(a,g,h)
# n=11, i=5, ]0..8], g?h: b>f,c>d,c>e,c>k,d>h,e>g,e>j,f>i,f>j,i>k
find_438(a,b,c,d,e,f,g,h,i,j,k) =
 if g > h
 then find_445(a,b,c,d,e,f,g,i,h,j,k)
 else find_446(a,b,c,d,e,f,h,i,g,j,k)
# n=11, i=5, ]0..7], g?h: b>f,c>d,c>e,c>k,d>g,e>i,e>j,f>h,f>j,g>i,h>k
find_446(a,b,c,d,e,f,g,h,i,j,k) =
 if g > h
 then find_447(a,b,d,e,g,f,i,j)
 else find_448(a,c,b,d,e,f,h,j,k)
# n=9, i=5, ]0..6], d?g: b>d,b>e,b>i,c>f,e>h,f>g,f>h,g>i
find_448(a,b,c,d,e,f,g,h,i) =
 if d > g
 then find_449(a,d,e,c,f,h,g)
 else find_450(a,f,b,e,g,d,i,h)
# n=8, i=4, ]4..5], a?d: b>e,b>h,c>d,c>f,c>g,d>h,e>f,e>g
find_450(a,b,c,d,e,f,g,h) =
 if a > d
 then find_451(a,b,c,e,d,f,g)
 else find_168(d,b,a,e,h,g,f)
# n=7, i=4, ]3..4], a?d: a>e,b>d,c>e,c>f,c>g,d>f,d>g
find_451(a,b,c,d,e,f,g) =
 if a > d
 then find_91(b,c,e,d)
 else find_39(a,c,f,g)
# n=7, i=4, ]0..5], b?c: b>g,c>f,d>e,e>f,e>g
find_449(a,b,c,d,e,f,g) =
 if b > c
 then find_267(a,d,b,c,e,g)
 else find_267(a,d,c,b,e,f)
# n=8, i=4, ]0..6], e?f: b>f,c>e,d>g,d>h,e>g,f>h
find_447(a,b,c,d,e,f,g,h) =
 if e > f
 then find_449(a,b,d,c,e,g,f)
 else find_449(a,c,d,b,f,h,e)
# n=11, i=5, ]0..7], a?d: b>f,c>d,c>e,c>k,d>i,e>g,e>j,f>h,f>j,g>i,h>k
find_445(a,b,c,d,e,f,g,h,i,j,k) =
 if a > d
 then find_452(a,b,c,e,f,d,g,h,j,k)
 else find_453(d,e,b,a,g,f,h,i,k,j)
# n=10, i=4, ]0..6], a?f: a>d,a>h,b>e,b>j,c>f,e>h,f>g,f>j,g>i
find_453(a,b,c,d,e,f,g,h,i,j) =
 if a > f
 then find_454(b,c,a,d,e,f,h,g)
 else find_455(b,f,e,a,g,i,d,j)
# n=8, i=3, ]4..5], d?e: a>c,a>h,b>d,b>e,b>h,d>g,e>f
find_455(a,b,c,d,e,f,g,h) =
 if d > e
 then find_168(a,b,c,d,h,g,e)
 else find_168(a,b,c,e,h,f,d)
# n=8, i=4, ]0..5], a?b: a>e,b>f,c>d,c>f,c>g,e>g,f>h
find_454(a,b,c,d,e,f,g,h) =
 if a > b
 then find_78(b,e,c,d,g,f)
 else find_72(a,c,d,e,f,h)
# n=10, i=5, ]0..6], a?e: a>f,b>e,c>d,c>f,c>j,d>g,d>i,e>h,e>i,h>j
find_452(a,b,c,d,e,f,g,h,i,j) =
 if a > e
 then find_456(b,c,a,d,f,g,e,h)
 else find_457(e,c,a,h,d,g,i,j,f)
# n=9, i=4, ]4..5], c?d: a>c,a>d,a>g,b>e,b>h,b>i,c>i,d>h,e>f,e>g
find_457(a,b,c,d,e,f,g,h,i) =
 if c > d
 then find_458(a,b,e,c,f,d,g,i)
 else find_458(a,b,e,d,f,c,g,h)
# n=8, i=4, ]0..4], c?d: a>d,a>g,b>c,b>h,c>e,c>g,d>f,d>h
find_458(a,b,c,d,e,f,g,h) =
 if c > d
 then find_39(e,a,d,g)
 else find_39(f,b,c,h)
# n=8, i=5, ]0..5], a?d: a>g,b>d,b>e,c>e,c>g,d>f,g>h
find_456(a,b,c,d,e,f,g,h) =
 if a > d
 then find_73(b,c,g,d,e,h,f)
 else find_89(f,a,c,e,g)
# n=13, i=7, ]0..9], g?h: a>e,b>f,b>k,c>d,c>i,c>j,d>h,d>m,e>i,e>k,f>g,f>j,j>l,k>m
find_436(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if g > h
 then find_459(f,a,c,g,d,e,k,j,l,i,h,m)
 else find_460(d,a,b,h,f,e,i,j,l,k,g,m)
# n=12, i=6, ]0..8], a?i: a>d,a>l,b>f,c>e,c>j,d>k,e>h,e>k,f>g,f>j,h>i,j>l
find_460(a,b,c,d,e,f,g,h,i,j,k,l) =
 if a > i
 then find_461(b,a,c,d,e,f,g,h,j,k,i,l)
 else find_462(b,e,f,h,g,j,i,a,d)
# n=9, i=5, ]0..5], c?g: a>c,b>d,c>e,c>f,d>g,g>h,h>i
find_462(a,b,c,d,e,f,g,h,i) =
 if c > g
 then find_282(e,f,b,d,g)
 else find_32(a,h,i,c)
# n=12, i=6, ]0..7], d?i: a>f,b>d,b>k,b>l,c>e,c>i,d>j,e>h,e>j,f>g,f>i,h>k,i>l
find_461(a,b,c,d,e,f,g,h,i,j,k,l) =
 if d > i
 then find_463(a,b,c,f,d,e,g,h,j,k,i)
 else find_464(e,b,a,h,f,g,i,k,d,l)
# n=10, i=5, ]0..6], d?g: a>d,b>h,b>i,b>j,c>e,d>h,e>f,e>g,g>i,g>j
find_464(a,b,c,d,e,f,g,h,i,j) =
 if d > g
 then find_465(b,c,a,e,d,f,h,g)
 else find_466(f,a,b,g,i,j,d)
# n=7, i=3, ]4..5], a?b: b>g,c>e,c>f,d>e,d>f,d>g
find_466(a,b,c,d,e,f,g) =
 if a > b
 then find_362(a,c,d,b,e,f)
 else find_37(b,c,d,a,g,f,e)
# n=8, i=5, ]0..5], a?d: a>g,b>d,c>e,d>f,d>h,e>g,e>h
find_465(a,b,c,d,e,f,g,h) =
 if a > d
 then find_467(b,c,e,d,g,f)
 else find_282(a,f,c,e,h)
# n=6, i=4, ]0..3], c?d: a>d,b>c,c>e,d>f
find_467(a,b,c,d,e,f) =
 if c > d
 then find_36(e,a,d)
 else find_36(f,b,c)
# n=11, i=6, ]0..6], g?h: a>d,b>e,b>j,c>f,c>k,d>g,d>k,e>i,e>k,f>h,f>i,h>j
find_463(a,b,c,d,e,f,g,h,i,j,k) =
 if g > h
 then find_468(b,a,c,f,e,d,g,i,k,h)
 else find_469(a,b,f,d,h,e,i,j,k,g)
# n=10, i=5, ]0..5], e?f: a>d,b>f,b>h,c>e,c>g,d>i,d>j,e>h,e>j,f>g,f>i
find_469(a,b,c,d,e,f,g,h,i,j) =
 if e > f
 then find_470(a,b,e,d,h,f,j,g)
 else find_470(a,c,f,d,g,e,i,h)
# n=8, i=4, ]0..4], d?f: a>d,b>e,b>f,c>e,c>f,c>g,d>g,f>h
find_470(a,b,c,d,e,f,g,h) =
 if d > f
 then find_248(b,a,c,d,e,g)
 else find_34(a,e,f,h)
# n=10, i=6, ]0..5], e?f: a>e,b>f,c>d,c>i,d>h,d>j,e>h,e>i,f>g,f>i,g>j
find_468(a,b,c,d,e,f,g,h,i,j) =
 if e > f
 then find_77(b,c,d,f,g,h,i)
 else find_256(g,a,c,d,e,i,j)
# n=12, i=6, ]7..8], g?h: a>d,a>h,b>f,c>e,c>h,c>j,d>k,e>k,e>l,f>g,f>j,g>l,h>i
find_459(a,b,c,d,e,f,g,h,i,j,k,l) =
 if g > h
 then find_471(a,c,b,d,e,f,g,j,k,h,l)
 else find_472(e,b,a,d,h,f,i,j,k,g)
# n=10, i=5, ]0..7], a?f: a>i,b>f,c>d,c>e,d>i,e>g,e>j,f>h,f>j
find_472(a,b,c,d,e,f,g,h,i,j) =
 if a > f
 then find_473(b,a,c,e,d,g,f,h,i)
 else find_474(c,b,d,e,f,a,h,g,j)
# n=9, i=5, ]0..6], f?h: a>c,a>d,b>e,d>h,d>i,e>f,e>g,e>i
find_474(a,b,c,d,e,f,g,h,i) =
 if f > h
 then find_475(a,e,f,g,c,d,i)
 else find_129(c,d,b,h,e,g,i)
# n=7, i=4, ]4..5], c?d: a>e,a>f,b>c,b>d,b>g,f>g
find_475(a,b,c,d,e,f,g) =
 if c > d
 then find_74(a,b,e,c,f,d,g)
 else find_74(a,b,e,d,f,c,g)
# n=9, i=5, ]0..6], a?d: a>g,b>g,b>i,c>d,c>e,d>f,e>i,g>h
find_473(a,b,c,d,e,f,g,h,i) =
 if a > d
 then find_290(b,a,c,e,d,g,f,h,i)
 else find_476(e,b,d,f,a,i,g)
# n=7, i=4, ]0..5], a?b: a>f,b>f,b>g,c>d,c>e,e>g
find_476(a,b,c,d,e,f,g) =
 if a > b
 then find_395(c,a,d,e,b,f)
 else find_74(c,b,d,a,e,f,g)
# n=11, i=6, ]0..6], d?g: a>d,a>j,b>e,b>h,b>j,c>f,d>i,e>i,e>k,f>g,f>h,g>j,g>k
find_471(a,b,c,d,e,f,g,h,i,j,k) =
 if d > g
 then find_477(a,c,b,e,f,d,h,g,i)
 else find_218(a,g,b,h,e,d,j,k)
# n=9, i=6, ]0..5], e?f: a>f,b>e,c>d,c>g,d>i,e>g,e>h,f>h,f>i
find_477(a,b,c,d,e,f,g,h,i) =
 if e > f
 then find_395(c,a,d,g,f,h)
 else find_77(b,c,d,e,h,i,g)
# n=13, i=6, ]0..10], a?b: a>f,a>l,b>e,b>i,c>i,c>j,d>g,d>j,g>h,i>k,j>l,l>m
find_434(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if a > b
 then find_478(c,d,a,f,g,b,e,h,j,i,k,l,m)
 else find_479(d,c,b,e,g,a,f,h,i,j,k,l)
# n=12, i=6, ]0..9], d?e: a>e,a>j,b>i,b>j,c>d,c>f,c>i,e>h,f>g,f>l,i>k,j>l
find_479(a,b,c,d,e,f,g,h,i,j,k,l) =
 if d > e
 then find_480(d,f,a,b,g,i,k,e,j,h,l)
 else find_481(b,a,c,e,f,g,h,i,j,k,d,l)
# n=12, i=6, ]0..8], d?e: a>h,a>i,b>d,b>i,c>e,c>h,c>k,d>g,d>k,e>f,e>l,h>j,i>l
find_481(a,b,c,d,e,f,g,h,i,j,k,l) =
 if d > e
 then find_482(a,d,c,g,i,k,e,h,f,j)
 else find_483(a,e,b,f,h,j,i,d,g,k,l)
# n=11, i=5, ]0..7], d?g: a>e,a>g,b>d,b>h,b>k,c>g,c>h,e>f,g>k,h>i,h>j
find_483(a,b,c,d,e,f,g,h,i,j,k) =
 if d > g
 then find_484(a,c,b,d,e,f,h,i,j,g)
 else find_485(b,a,c,e,f,g,h,i,j,d,k)
# n=11, i=5, ]0..6], d?g: a>g,a>j,a>k,b>d,b>f,c>f,c>g,d>e,f>j,f>k,g>h,g>i
find_485(a,b,c,d,e,f,g,h,i,j,k) =
 if d > g
 then find_486(d,a,c,e,f,g,j,k)
 else find_487(g,b,h,i,f,d,j,k)
# n=8, i=3, ]4..5], c?d: a>c,a>d,a>f,b>e,b>f,e>g,e>h
find_487(a,b,c,d,e,f,g,h) =
 if c > d
 then find_194(a,b,c,e,f,g,h,d)
 else find_194(a,b,d,e,f,g,h,c)
# n=8, i=4, ]4..5], f?g: a>d,a>f,b>f,b>g,b>h,c>e,c>f,e>g,e>h
find_486(a,b,c,d,e,f,g,h) =
 if f > g
 then find_285(a,b,c,d,e,h,f)
 else find_377(a,b,c,d,e,g,h)
# n=10, i=5, ]0..6], e?g: a>e,a>j,b>g,b>j,c>d,c>g,d>j,e>f,g>h,g>i
find_484(a,b,c,d,e,f,g,h,i,j) =
 if e > g
 then find_285(e,b,c,f,d,j,g)
 else find_43(d,a,g,h,i,e,j)
# n=10, i=5, ]6..7], d?h: a>e,a>h,b>d,b>f,b>g,c>f,c>g,c>h,g>i,h>j
find_482(a,b,c,d,e,f,g,h,i,j) =
 if d > h
 then find_488(d,a,c,f,e,g,i,h)
 else find_489(a,b,f,e,g,h,j,i,d)
# n=9, i=4, ]0..6], c?d: a>d,a>f,b>c,b>e,b>i,e>h,f>g,f>i
find_489(a,b,c,d,e,f,g,h,i) =
 if c > d
 then find_490(a,b,e,c,f,h,g,i,d)
 else find_491(b,a,e,d,f,g,h,i,c)
# n=9, i=4, ]0..5], c?d: a>c,a>h,a>i,b>d,b>e,c>g,d>i,e>f,e>h
find_491(a,b,c,d,e,f,g,h,i) =
 if c > d
 then find_66(a,b,e,c,f,g,d,h)
 else find_37(e,d,a,f,h,c,i)
# n=9, i=4, ]0..5], c?e: a>e,a>i,b>c,b>d,b>h,c>f,d>i,e>g,e>h
find_490(a,b,c,d,e,f,g,h,i) =
 if c > e
 then find_65(d,c,a,f,e,i)
 else find_42(e,b,g,d,c,h,i)
# n=8, i=4, ]0..6], b?f: a>h,b>e,b>h,c>d,c>f,c>h,f>g
find_488(a,b,c,d,e,f,g,h) =
 if b > f
 then find_184(a,b,c,d,e,f,h,g)
 else find_492(a,d,f,g,b,e)
# n=6, i=3, ]0..5], a?b: c>d,c>e,e>f
find_492(a,b,c,d,e,f) =
 if a > b
 then find_72(a,c,d,b,e,f)
 else find_72(b,c,d,a,e,f)
# n=11, i=5, ]0..8], a?b: a>h,b>e,b>k,c>h,c>i,d>f,d>i,f>g,h>j,i>k
find_480(a,b,c,d,e,f,g,h,i,j,k) =
 if a > b
 then find_493(d,c,a,b,f,i,e,g,h,j)
 else find_494(c,d,b,e,f,a,g,i,h,j,k)
# n=11, i=5, ]0..7], e?f: a>h,a>i,b>e,b>h,c>d,c>f,c>k,e>g,f>i,h>k,i>j
find_494(a,b,c,d,e,f,g,h,i,j,k) =
 if e > f
 then find_495(e,a,c,d,g,h,f,k)
 else find_496(d,b,a,f,i,e,h,j,g,k)
# n=10, i=4, ]0..6], b?c: b>f,b>g,c>e,c>g,d>e,d>f,e>h,f>i,g>j
find_496(a,b,c,d,e,f,g,h,i,j) =
 if b > c
 then find_497(a,c,d,f,g,e,i,j)
 else find_497(a,b,d,e,g,f,h,j)
# n=8, i=3, ]0..5], a?d: b>e,b>f,c>d,c>f,d>g,e>h
find_497(a,b,c,d,e,f,g,h) =
 if a > d
 then find_44(a,c,b,e,f,d,h)
 else find_194(b,c,e,d,f,a,g,h)
# n=8, i=4, ]0..6], d?e: a>e,a>g,b>f,c>d,c>g,c>h,f>h
find_495(a,b,c,d,e,f,g,h) =
 if d > e
 then find_498(b,a,c,d,f,g,h,e)
 else find_499(b,a,c,e,f,g,d,h)
# n=8, i=4, ]4..5], d?e: a>e,b>d,b>f,c>f,c>g,c>h,d>g,e>h
find_499(a,b,c,d,e,f,g,h) =
 if d > e
 then find_65(a,c,d,f,g,e)
 else find_363(b,c,a,e,f,h,d)
# n=8, i=4, ]0..5], a?b: a>e,b>f,b>h,c>d,c>f,c>g,d>h,e>g
find_498(a,b,c,d,e,f,g,h) =
 if a > b
 then find_78(b,e,c,d,g,f)
 else find_72(a,c,f,e,d,h)
# n=10, i=5, ]0..7], d?e: a>e,a>f,b>f,b>i,c>d,c>i,d>g,e>h,i>j
find_493(a,b,c,d,e,f,g,h,i,j) =
 if d > e
 then find_68(b,d,a,g,i,f,j,e,h)
 else find_500(b,c,a,e,f,h,i,j,d,g)
# n=10, i=5, ]0..6], a?d: a>e,a>g,b>g,b>i,c>d,c>e,d>f,d>i,g>h,i>j
find_500(a,b,c,d,e,f,g,h,i,j) =
 if a > d
 then find_62(b,c,e,g,d,f,h,i)
 else find_166(f,a,b,e,i,g,j)
# n=13, i=6, ]0..9], d?e: a>i,a>j,b>e,b>i,c>d,c>f,c>l,e>h,f>g,f>j,i>l,j>k,l>m
find_478(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if d > e
 then find_501(d,f,b,a,g,j,e,i,k,h,l,m)
 else find_502(a,b,c,e,f,g,h,i,d,j,k,l,m)
# n=13, i=6, ]0..8], d?e: a>h,a>j,b>d,b>h,c>e,c>i,c>l,d>g,d>i,e>f,e>j,h>l,j>k,l>m
find_502(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if d > e
 then find_503(a,d,c,g,h,i,e,f,l,m,j)
 else find_504(a,b,e,f,j,h,d,i,g,k,l,m)
# n=12, i=5, ]0..7], d?f: a>e,a>f,b>f,b>g,c>d,c>e,c>g,e>j,f>k,g>h,g>i,k>l
find_504(a,b,c,d,e,f,g,h,i,j,k,l) =
 if d > f
 then find_505(d,a,b,e,g,h,i,j,f)
 else find_506(c,a,b,e,g,f,h,i,j,k,l,d)
# n=12, i=5, ]0..6], d?e: a>d,a>e,a>l,b>d,b>f,c>e,c>f,d>i,e>g,e>h,f>j,f>l,j>k
find_506(a,b,c,d,e,f,g,h,i,j,k,l) =
 if d > e
 then find_507(a,c,d,f,i,j,k,l,e)
 else find_508(a,b,e,f,g,h,j,l,d,k)
# n=10, i=4, ]0..5], c?d: a>c,a>h,b>d,b>i,c>e,c>f,c>i,d>g,d>h,g>j
find_508(a,b,c,d,e,f,g,h,i,j) =
 if c > d
 then find_98(e,f,b,d,i)
 else find_31(g,a,c,h,j)
# n=9, i=4, ]0..4], c?d: a>c,a>h,b>d,b>i,c>e,c>i,d>f,d>h,f>g
find_507(a,b,c,d,e,f,g,h,i) =
 if c > d
 then find_39(e,b,d,i)
 else find_31(f,a,c,h,g)
# n=9, i=4, ]0..6], b?e: a>i,b>d,b>i,c>e,c>i,d>h,e>f,e>g
find_505(a,b,c,d,e,f,g,h,i) =
 if b > e
 then find_509(a,d,c,h,e,i,f,g)
 else find_510(a,f,g,b,d)
# n=5, i=2, ]0..5], a?b: d>e
find_510(a,b,c,d,e) =
 if a > b
 then find_152(c,a,d,e,b)
 else find_152(c,b,d,e,a)
# n=8, i=3, ]0..5], b?e: a>f,b>d,c>e,c>f,e>g,e>h
find_509(a,b,c,d,e,f,g,h) =
 if b > e
 then find_65(a,b,c,d,e,f)
 else find_30(a,e,b,g,h,f)
# n=11, i=5, ]6..7], a?f: a>e,a>k,b>d,b>f,b>g,c>f,c>g,c>i,e>i,g>h,g>k,i>j
find_503(a,b,c,d,e,f,g,h,i,j,k) =
 if a > f
 then find_511(b,a,c,d,e,g,h,f,i,j,k)
 else find_206(d,g,f,h,a,e)
# n=11, i=5, ]5..6], d?e: a>d,a>f,a>h,b>e,b>h,b>k,c>f,c>h,c>i,e>i,f>g,f>k,i>j
find_511(a,b,c,d,e,f,g,h,i,j,k) =
 if d > e
 then find_512(d,b,c,f,h,e,g,k)
 else find_513(a,b,c,e,f,g,h,d,i,j,k)
# n=11, i=5, ]0..5], d?e: a>e,a>g,a>h,b>d,b>g,b>k,c>e,c>g,c>i,d>h,d>i,e>f,e>k,i>j
find_513(a,b,c,d,e,f,g,h,i,j,k) =
 if d > e
 then find_514(a,c,d,h,g,i,e,j)
 else find_90(b,e,f,g,d,k)
# n=8, i=4, ]0..4], d?e: a>d,a>e,a>g,b>e,b>f,b>g,c>d,c>f,c>g,f>h
find_514(a,b,c,d,e,f,g,h) =
 if d > e
 then find_35(a,b,d,f,g,h)
 else find_35(a,c,e,f,g,h)
# n=8, i=4, ]4..5], a?d: a>f,b>e,b>f,b>h,c>d,c>e,d>g,d>h
find_512(a,b,c,d,e,f,g,h) =
 if a > d
 then find_515(b,a,c,e,f,d,g)
 else find_64(b,d,a,g,e,h)
# n=7, i=4, ]3..4], b?c: a>d,a>e,b>e,b>f,c>d,c>f,f>g
find_515(a,b,c,d,e,f,g) =
 if b > c
 then find_35(a,c,e,f,d,g)
 else find_35(a,b,d,f,e,g)
# n=12, i=5, ]0..8], a?f: a>g,b>e,b>f,c>g,c>h,d>f,d>h,f>i,g>j,h>k,k>l
find_501(a,b,c,d,e,f,g,h,i,j,k,l) =
 if a > f
 then find_516(b,a,d,c,e,g,h,j,f,k,l,i)
 else find_517(c,b,e,h,f,a,i,k,l)
# n=9, i=4, ]0..6], d?e: a>d,b>c,b>e,d>h,e>f,e>g,h>i
find_517(a,b,c,d,e,f,g,h,i) =
 if d > e
 then find_35(b,d,c,h,e,i)
 else find_192(c,a,e,f,g,d)
# n=12, i=5, ]0..7], a?d: a>e,a>i,b>f,b>i,c>g,c>i,d>f,d>g,f>h,g>j,i>l,j>k
find_516(a,b,c,d,e,f,g,h,i,j,k,l) =
 if a > d
 then find_496(e,c,d,b,f,i,g,h,l,j)
 else find_518(a,b,c,e,f,g,h,j,k,i)
# n=10, i=4, ]0..6], e?f: a>d,a>j,b>e,b>j,c>f,c>j,e>g,f>h,h>i
find_518(a,b,c,d,e,f,g,h,i,j) =
 if e > f
 then find_519(a,c,b,d,e,g,j,f)
 else find_520(a,b,c,d,f,h,i,j,e)
# n=9, i=4, ]0..5], a?e: a>d,a>h,b>h,b>i,c>e,c>h,e>f,e>i,f>g
find_520(a,b,c,d,e,f,g,h,i) =
 if a > e
 then find_71(d,b,c,e,h,f)
 else find_173(a,b,f,g,i,d)
# n=8, i=4, ]4..5], a?b: a>d,a>g,b>g,b>h,c>e,c>g,e>f,e>h
find_519(a,b,c,d,e,f,g,h) =
 if a > b
 then find_74(a,c,d,e,b,f,g)
 else find_66(b,c,e,a,f,d,g,h)
# n=13, i=6, ]0..11], b?c: a>i,b>g,c>f,c>l,d>i,d>k,e>h,e>k,h>j,k>l,l>m
find_432(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if b > c
 then find_521(a,d,b,e,g,h,c,i,f,j,k,l)
 else find_522(a,d,c,e,f,b,h,i,g,j,k,l,m)
# n=13, i=6, ]0..10], a?f: a>h,b>h,b>k,c>e,c>f,c>l,d>g,d>k,f>i,g>j,k>l,l>m
find_522(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if a > f
 then find_523(a,b,d,c,e,g,h,j,f,k,i,l,m)
 else find_524(b,d,c,e,g,f,i,j,a,k,h,l,m)
# n=13, i=6, ]0..9], g?j: a>j,a>k,b>e,b>j,c>d,c>f,c>l,e>h,f>g,f>i,i>k,j>l,l>m
find_524(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if g > j
 then find_525(d,a,b,f,g,e,i,h,k,j)
 else find_526(a,b,c,d,e,f,h,i,j,k,l,m,g)
# n=13, i=6, ]0..8], e?f: a>i,a>j,b>e,b>i,c>d,c>f,c>k,e>g,f>h,f>m,h>j,i>k,i>m,k>l
find_526(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if e > f
 then find_527(e,a,c,d,g,i,f,h,k,l)
 else find_528(d,a,f,b,h,e,i,g,j,k,l,m)
# n=12, i=5, ]0..7], a?f: b>g,b>i,c>e,c>f,c>l,d>f,d>g,e>i,f>h,g>j,g>l,j>k
find_528(a,b,c,d,e,f,g,h,i,j,k,l) =
 if a > f
 then find_529(a,b,c,d,e,g,i,f,j,k,l,h)
 else find_530(b,c,d,e,f,g,a,h,i,j,l,k)
# n=12, i=5, ]0..6], d?f: a>f,a>i,b>d,b>e,b>k,c>e,c>f,d>i,e>g,e>h,f>j,f>k,j>l
find_530(a,b,c,d,e,f,g,h,i,j,k,l) =
 if d > f
 then find_111(a,d,c,e,h,g,i,f)
 else find_531(b,a,e,f,g,h,j,k,d,l)
# n=10, i=4, ]0..5], b?c: a>c,a>h,a>i,b>d,c>e,c>f,d>g,d>h,d>i,g>j
find_531(a,b,c,d,e,f,g,h,i,j) =
 if b > c
 then find_532(d,a,g,c,h,i,j,e,f)
 else find_34(e,f,b,d)
# n=9, i=3, ]3..4], c?d: a>c,a>e,a>f,b>d,b>e,b>f,c>g,d>h,d>i
find_532(a,b,c,d,e,f,g,h,i) =
 if c > d
 then find_31(c,b,e,f,g)
 else find_96(a,d,h,i,e,f)
# n=12, i=5, ]0..6], e?f: a>h,b>f,b>g,c>e,c>h,c>k,d>f,d>h,e>g,f>i,f>k,h>l,i>j
find_529(a,b,c,d,e,f,g,h,i,j,k,l) =
 if e > f
 then find_110(a,b,e,d,g,h,f,l)
 else find_533(a,c,b,f,h,i,l,j,k,e)
# n=10, i=4, ]0..5], a?d: a>e,b>e,b>i,b>j,c>d,d>f,d>i,d>j,e>g,f>h
find_533(a,b,c,d,e,f,g,h,i,j) =
 if a > d
 then find_97(b,c,d,e,f,g)
 else find_126(a,f,b,i,j,h)
# n=10, i=5, ]0..7], b?d: a>e,a>g,b>f,c>d,c>g,c>i,f>i,g>h,i>j
find_527(a,b,c,d,e,f,g,h,i,j) =
 if b > d
 then find_534(a,b,c,e,f,d,g,h,i,j)
 else find_535(a,d,e,g,b,h,f,i)
# n=8, i=4, ]0..5], d?e: a>c,a>d,b>e,d>f,e>g,g>h
find_535(a,b,c,d,e,f,g,h) =
 if d > e
 then find_89(c,b,d,f,e)
 else find_35(a,e,c,g,d,h)
# n=10, i=5, ]0..6], e?g: a>d,a>g,b>e,b>f,c>f,c>g,c>i,e>i,g>h,i>j
find_534(a,b,c,d,e,f,g,h,i,j) =
 if e > g
 then find_305(a,e,c,f,d,i,j,g)
 else find_536(d,b,g,h,f,e)
# n=6, i=3, ]4..5], b?c: b>e,b>f,c>d,c>f
find_536(a,b,c,d,e,f) =
 if b > c
 then find_98(a,e,c,d,f)
 else find_98(a,d,b,e,f)
# n=10, i=5, ]7..8], a?e: b>i,b>j,c>f,c>j,d>e,d>g,e>j,f>h,g>i
find_525(a,b,c,d,e,f,g,h,i,j) =
 if a > e
 then find_537(a,b,c,d,f,g,e,h,i)
 else find_538(b,c,d,f,g,e,a,h,i,j)
# n=10, i=5, ]0..7], d?e: a>i,a>j,b>d,b>j,c>e,c>f,d>h,e>i,f>g,f>j
find_538(a,b,c,d,e,f,g,h,i,j) =
 if d > e
 then find_539(a,b,c,d,f,h,g,e,j)
 else find_540(f,a,e,b,g,i,d,h,j)
# n=9, i=4, ]0..6], a?d: a>e,a>i,b>f,b>i,c>f,c>g,d>g,d>i,g>h
find_540(a,b,c,d,e,f,g,h,i) =
 if a > d
 then find_541(b,c,a,e,d,f,g,i)
 else find_542(b,c,d,a,f,e,g,h,i)
# n=9, i=4, ]0..5], a?g: a>e,a>i,b>e,b>g,c>d,c>g,d>f,d>i,g>h
find_542(a,b,c,d,e,f,g,h,i) =
 if a > g
 then find_104(b,a,c,d,e,f,g,i)
 else find_103(d,b,f,g,a,h)
# n=8, i=4, ]4..5], a?b: a>f,a>h,b>f,b>g,c>d,c>e,e>g,e>h
find_541(a,b,c,d,e,f,g,h) =
 if a > b
 then find_74(c,a,d,b,e,f,h)
 else find_74(c,b,d,a,e,f,g)
# n=9, i=5, ]0..6], a?d: a>i,b>d,b>i,c>e,c>h,d>f,d>h,e>g,e>i
find_539(a,b,c,d,e,f,g,h,i) =
 if a > d
 then find_391(c,b,a,e,g,d,f,i,h)
 else find_543(d,c,a,f,e,g,h)
# n=7, i=4, ]0..5], c?d: a>c,a>d,a>g,b>e,b>g,e>f
find_543(a,b,c,d,e,f,g) =
 if c > d
 then find_73(a,b,e,c,g,f,d)
 else find_73(a,b,e,d,g,f,c)
# n=9, i=5, ]0..7], b?e: a>g,b>i,c>e,d>f,d>g,e>h,f>i
find_537(a,b,c,d,e,f,g,h,i) =
 if b > e
 then find_544(a,c,d,b,f,g,e,i,h)
 else find_545(a,d,c,f,e,g,b,h)
# n=8, i=5, ]0..6], d?g: a>f,b>d,b>f,c>e,e>g,e>h
find_545(a,b,c,d,e,f,g,h) =
 if d > g
 then find_546(a,c,b,d,e,f,h,g)
 else find_476(a,b,e,h,g,f,d)
# n=8, i=5, ]0..5], a?e: a>f,b>e,c>d,c>f,d>h,e>g,e>h
find_546(a,b,c,d,e,f,g,h) =
 if a > e
 then find_395(c,b,d,f,e,g)
 else find_71(g,a,c,d,f,h)
# n=9, i=5, ]0..6], a?b: a>f,b>g,c>e,c>f,d>g,d>h,e>h,g>i
find_544(a,b,c,d,e,f,g,h,i) =
 if a > b
 then find_370(d,c,a,e,b,f,h,g,i)
 else find_547(c,d,b,a,e,g,h,i,f)
# n=9, i=5, ]0..5], e?f: a>e,a>i,b>f,b>g,c>d,c>f,d>i,e>g,f>h
find_547(a,b,c,d,e,f,g,h,i) =
 if e > f
 then find_219(b,e,c,d,i,g,f)
 else find_106(d,a,b,f,i,h,e)
# n=13, i=6, ]0..9], i?j: a>g,a>i,b>g,b>j,c>f,c>j,d>e,d>i,d>l,f>h,i>k,j>l,l>m
find_523(a,b,c,d,e,f,g,h,i,j,k,l,m) =
 if i > j
 then find_548(b,c,d,a,e,f,g,h,i,k,j)
 else find_549(a,d,b,c,e,f,g,h,j,l,m,i)
# n=12, i=6, ]0..8], g?h: a>g,a>l,b>e,b>j,b>l,c>g,c>i,d>f,d>i,f>h,i>j,i>l,j>k
find_549(a,b,c,d,e,f,g,h,i,j,k,l) =
 if g > h
 then find_550(a,b,c,d,e,f,g,i,j,k,l,h)
 else find_551(f,a,b,c,e,h,i,j,k,l,g)
# n=11, i=5, ]0..7], e?f: a>f,b>j,b>k,c>e,c>h,c>j,d>g,d>k,f>k,g>h,g>j,h>i
find_551(a,b,c,d,e,f,g,h,i,j,k) =
 if e > f
 then find_552(a,b,d,c,e,g,f,h,i,j)
 else find_553(b,a,c,d,f,g,e,h,i,j,k)
# n=11, i=5, ]0..6], e?f: a>j,a>k,b>e,c>g,c>h,c>j,d>f,d>k,e>g,e>k,f>h,f>j,h>i
find_553(a,b,c,d,e,f,g,h,i,j,k) =
 if e > f
 then find_421(c,a,d,e,f,g,k)
 else find_554(b,a,c,f,e,h,i,j)
# n=8, i=4, ]0..5], a?b: a>e,b>h,c>f,c>h,d>e,d>f,d>h,f>g
find_554(a,b,c,d,e,f,g,h) =
 if a > b
 then find_374(a,c,d,b,e,f,g)
 else find_193(b,c,d,a,f,e,g,h)
# n=10, i=5, ]0..6], a?f: a>g,b>j,c>f,d>e,d>h,d>j,e>g,f>h,f>j,h>i
find_552(a,b,c,d,e,f,g,h,i,j) =
 if a > f
 then find_555(b,c,a,d,e,f,g,h)
 else find_184(b,d,f,a,e,h,j,i)
# n=8, i=5, ]0..5], a?e: b>f,c>f,c>g,d>e,d>h,e>g,f>h
find_555(a,b,c,d,e,f,g,h) =
 if a > e
 then find_556(a,b,c,d,e,f,h,g)
 else find_374(e,b,c,a,g,f,h)
# n=8, i=5, ]0..4], a?b: a>e,b>f,c>f,c>h,d>e,d>g,e>h,f>g
find_556(a,b,c,d,e,f,g,h) =
 if a > b
 then find_248(b,d,c,e,f,h)
 else find_248(a,c,d,f,e,g)
# n=12, i=6, ]0..7], e?f: a>g,a>k,b>e,b>i,b>k,c>g,c>h,d>f,d>h,f>l,g>l,h>i,h>k,i>j
find_550(a,b,c,d,e,f,g,h,i,j,k,l) =
 if e > f
 then find_557(a,c,b,d,e,g,h,f,i,j,k)
 else find_558(f,a,b,c,h,e,g,i,j,k,l)
# n=11, i=5, ]0..6], a?e: a>f,a>k,b>g,b>j,c>f,c>h,c>j,d>e,d>g,e>h,e>j,g>k,h>i
find_558(a,b,c,d,e,f,g,h,i,j,k) =
 if a > e
 then find_559(b,c,d,a,f,e,g,k,h)
 else find_560(b,c,e,g,a,h,i,j,f)
# n=9, i=4, ]0..5], d?f: a>d,a>h,b>f,b>h,b>i,c>e,c>f,c>h,e>i,f>g
find_560(a,b,c,d,e,f,g,h,i) =
 if d > f
 then find_285(a,b,c,d,e,i,h)
 else find_185(a,e,b,f,g,i,h)
# n=9, i=5, ]4..5], e?g: a>g,b>e,b>i,c>f,c>g,d>e,d>f,d>h,f>i,g>h
find_559(a,b,c,d,e,f,g,h,i) =
 if e > g
 then find_267(a,c,b,e,f,i)
 else find_256(b,a,d,f,g,h,i)
# n=11, i=6, ]0..6], h?i: a>f,a>k,b>f,b>g,c>e,c>i,c>k,d>g,d>h,e>h,g>i,g>k,i>j
find_557(a,b,c,d,e,f,g,h,i,j,k) =
 if h > i
 then find_561(a,c,b,d,e,f,g,h,k)
 else find_562(a,d,c,e,f,g,i,j,k)
# n=9, i=5, ]0..5], e?g: a>e,a>i,b>f,c>d,c>g,c>i,f>g,f>i,g>h
find_562(a,b,c,d,e,f,g,h,i) =
 if e > g
 then find_563(b,a,c,d,e,f,i)
 else find_71(d,a,f,g,i,h)
# n=7, i=5, ]0..4], d?e: a>f,b>e,b>g,c>d,c>g,f>g
find_563(a,b,c,d,e,f,g) =
 if d > e
 then find_248(d,a,b,f,e,g)
 else find_248(e,a,c,f,d,g)
# n=9, i=6, ]0..5], e?g: a>f,a>i,b>e,b>i,c>f,c>g,d>g,d>h,e>h,g>i
find_561(a,b,c,d,e,f,g,h,i) =
 if e > g
 then find_564(a,c,d,e,h,f,g)
 else find_202(a,b,g,f,e,i,h)
# n=7, i=5, ]0..4], e?f: a>f,b>f,b>g,c>e,c>g,d>e,d>g
find_564(a,b,c,d,e,f,g) =
 if e > f
 then find_227(a,e,b,g)
 else find_137(c,d,a,f,g)
# n=11, i=6, ]0..8], f?i: a>g,a>k,b>f,b>k,c>e,c>i,d>g,d>i,f>h,i>j,i>k
find_548(a,b,c,d,e,f,g,h,i,j,k) =
 if f > i
 then find_565(a,c,d,b,e,f,g,h,i,j)
 else find_566(e,a,b,i,j,g,f,h,k)
# n=9, i=4, ]6..7], e?f: b>f,b>i,c>g,c>i,d>e,d>g,d>i,g>h
find_566(a,b,c,d,e,f,g,h,i) =
 if e > f
 then find_567(a,b,c,d,e,g,f,h,i)
 else find_568(a,b,c,d,f,g,e,h,i)
# n=9, i=4, ]5..6], a?e: b>e,b>i,c>f,c>i,d>f,d>g,d>i,e>g,f>h
find_568(a,b,c,d,e,f,g,h,i) =
 if a > e
 then find_569(a,b,c,d,e,f,h,i)
 else find_570(c,d,b,e,a,f,h,i,g)
# n=9, i=4, ]0..5], b?c: a>f,a>h,b>f,b>h,b>i,c>d,c>h,d>e,d>i,f>g
find_570(a,b,c,d,e,f,g,h,i) =
 if b > c
 then find_194(a,c,f,d,h,e,i,g)
 else find_37(d,a,b,e,i,h,f)
# n=8, i=4, ]0..5], a?c: a>e,b>e,b>h,c>f,c>h,d>f,d>h,f>g
find_569(a,b,c,d,e,f,g,h) =
 if a > c
 then find_207(c,d,b,e,f)
 else find_44(a,b,d,f,h,e,g)
# n=9, i=4, ]0..6], a?e: b>g,b>i,c>f,c>i,d>e,d>f,d>i,e>g,f>h
find_567(a,b,c,d,e,f,g,h,i) =
 if a > e
 then find_554(a,b,c,d,e,f,h,i)
 else find_571(e,b,c,a,f,i,g,h)
# n=8, i=3, ]0..5], a?c: a>d,a>g,b>f,b>g,c>e,c>f,e>h
find_571(a,b,c,d,e,f,g,h) =
 if a > c
 then find_152(d,c,b,g,e)
 else find_173(a,b,e,h,f,d)
# n=10, i=6, ]0..7], g?h: a>g,b>e,b>i,c>g,c>i,d>f,f>h,f>i,i>j
find_565(a,b,c,d,e,f,g,h,i,j) =
 if g > h
 then find_572(a,b,c,d,e,f,g,i,h,j)
 else find_573(a,c,b,f,e,h,i,g,j)
# n=9, i=5, ]0..6], e?f: a>h,b>g,b>h,c>e,c>g,d>f,d>g,f>h,g>i
find_573(a,b,c,d,e,f,g,h,i) =
 if e > f
 then find_574(a,e,b,d,f,g,i)
 else find_575(a,f,c,b,e,g,i,h)
# n=8, i=4, ]0..5], b?d: a>h,b>e,b>h,c>e,c>f,d>f,d>h,f>g
find_575(a,b,c,d,e,f,g,h) =
 if b > d
 then find_65(a,c,d,e,f,h)
 else find_44(a,b,c,f,e,h,g)
# n=7, i=4, ]0..5], a?b: b>e,c>f,d>e,d>f,f>g
find_574(a,b,c,d,e,f,g) =
 if a > b
 then find_53(a,c,d,b,f,e,g)
 else find_374(b,c,d,a,e,f,g)
# n=10, i=6, ]0..6], a?f: a>g,b>e,b>h,c>g,c>h,d>f,f>h,f>i,g>i,h>j
find_572(a,b,c,d,e,f,g,h,i,j) =
 if a > f
 then find_576(b,d,c,e,g,f,h,i)
 else find_326(a,b,c,e,h,g,j,i)
# n=8, i=5, ]4..5], a?b: a>d,a>g,b>f,c>e,c>g,e>h,f>g,f>h
find_576(a,b,c,d,e,f,g,h) =
 if a > b
 then find_267(d,b,c,e,f,g)
 else find_285(a,f,c,d,e,h,g)
# n=12, i=6, ]9..10], a?g: a>h,b>h,b>k,c>e,c>g,d>f,d>k,f>j,g>i,g>l,k>l
find_521(a,b,c,d,e,f,g,h,i,j,k,l) =
 if a > g
 then find_577(b,d,c,a,e,f,k,h,j,g,i)
 else find_578(b,d,c,e,f,g,i,j,a,k,h,l)
# n=12, i=6, ]0..9], d?i: a>j,a>k,b>e,b>j,c>d,c>f,e>h,f>g,f>i,f>l,i>k,j>l
find_578(a,b,c,d,e,f,g,h,i,j,k,l) =
 if d > i
 then find_579(a,b,c,e,d,f,g,h,j,i,l,k)
 else find_580(a,b,c,e,f,g,h,j,i,d,k,l)
# n=12, i=6, ]0..8], d?f: a>h,a>k,b>d,b>h,c>e,d>g,e>f,e>i,e>l,h>l,i>j,i>k
find_580(a,b,c,d,e,f,g,h,i,j,k,l) =
 if d > f
 then find_581(a,b,c,d,e,g,h,i,j,f,k,l)
 else find_582(i,f,a,b,j,k,h,d,l,g)
# n=10, i=4, ]0..7], a?b: a>e,a>f,b>h,c>f,c>g,d>g,d>h,g>i,h>j
find_582(a,b,c,d,e,f,g,h,i,j) =
 if a > b
 then find_583(c,d,a,e,b,f,g,i,h)
 else find_584(c,d,b,a,e,h,g,j,i,f)
# n=10, i=4, ]0..6], f?g: a>g,a>j,b>f,b>g,c>d,c>f,d>e,d>j,f>h,g>i
find_584(a,b,c,d,e,f,g,h,i,j) =
 if f > g
 then find_151(a,b,d,e,f,j,h)
 else find_174(b,c,a,d,e,g,i,j)
# n=9, i=4, ]5..6], a?b: a>f,a>g,b>g,b>i,c>d,c>e,c>f,e>i,g>h
find_583(a,b,c,d,e,f,g,h,i) =
 if a > b
 then find_585(c,a,d,e,b,f,g,h)
 else find_586(c,b,d,e,a,g,h,f,i)
# n=9, i=4, ]0..5], c?f: a>c,a>d,a>h,b>e,b>i,d>i,e>f,e>h,f>g
find_586(a,b,c,d,e,f,g,h,i) =
 if c > f
 then find_71(c,d,b,e,i,h)
 else find_50(a,e,f,d,h,g,i)
# n=8, i=4, ]0..5], c?e: a>c,a>d,a>f,b>e,b>f,e>g,g>h
find_585(a,b,c,d,e,f,g,h) =
 if c > e
 then find_89(d,c,b,f,e)
 else find_29(a,e,d,f,g,h,c)
# n=12, i=6, ]0..7], d?h: a>g,a>k,b>d,b>g,c>e,d>f,d>j,e>h,e>j,e>l,g>l,h>i,h>k
find_581(a,b,c,d,e,f,g,h,i,j,k,l) =
 if d > h
 then find_587(a,d,c,f,g,e,j,h,i,l)
 else find_588(a,h,b,i,k,g,d,j,f,l)
# n=10, i=4, ]5..6], b?c: a>e,a>f,b>d,b>e,b>g,c>f,c>g,f>j,g>h,g>i
find_588(a,b,c,d,e,f,g,h,i,j) =
 if b > c
 then find_288(d,a,c,e,g,f,h,i)
 else find_589(a,b,d,f,g,e,h,i,j)
# n=9, i=3, ]0..5], a?c: a>d,a>f,b>c,b>e,b>f,d>i,e>g,e>h
find_589(a,b,c,d,e,f,g,h,i) =
 if a > c
 then find_532(a,b,d,e,c,f,i,h,g)
 else find_31(c,e,g,h,a)
# n=10, i=5, ]0..6], a?f: a>e,b>d,b>g,b>h,c>f,e>j,f>g,f>h,f>j,h>i
find_587(a,b,c,d,e,f,g,h,i,j) =
 if a > f
 then find_590(e,b,c,d,f,j,h,g)
 else find_591(a,b,d,g,h,e,i,j)
# n=8, i=3, ]0..5], a?e: a>f,b>c,b>d,b>e,e>g,f>h
find_591(a,b,c,d,e,f,g,h) =
 if a > e
 then find_29(b,a,c,d,f,h,e)
 else find_98(c,d,e,a,g)
# n=8, i=4, ]0..5], a?d: a>f,b>d,b>g,b>h,c>e,e>f,e>g,e>h
find_590(a,b,c,d,e,f,g,h) =
 if a > d
 then find_592(a,b,c,e,d,g,h,f)
 else find_103(d,c,a,e,g,h)
# n=8, i=4, ]0..4], a?d: a>e,a>h,b>e,b>f,b>g,c>d,d>f,d>g,d>h
find_592(a,b,c,d,e,f,g,h) =
 if a > d
 then find_55(b,c,e,d,h)
 else find_31(a,b,f,g,h)
# n=12, i=6, ]0..8], g?h: a>i,a>l,b>d,b>i,c>e,c>f,d>h,e>j,f>g,f>j,f>k,i>k,j>l
find_579(a,b,c,d,e,f,g,h,i,j,k,l) =
 if g > h
 then find_593(e,a,b,f,g,d,j,i,k,h,l)
 else find_594(a,b,c,d,e,f,h,i,j,k,g,l)
# n=12, i=6, ]6..7], a?f: a>h,a>l,b>d,b>h,c>e,c>f,d>g,e>i,f>i,f>j,f>k,g>k,h>j,i>l
find_594(a,b,c,d,e,f,g,h,i,j,k,l) =
 if a > f
 then find_595(b,c,a,d,e,g,h,f,i,l,j)
 else find_596(e,b,f,d,a,i,g,h,j,k,l)
# n=11, i=5, ]0..6], a?d: a>f,b>d,b>h,c>e,c>f,c>j,d>g,e>h,e>k,f>k,g>j,h>i
find_596(a,b,c,d,e,f,g,h,i,j,k) =
 if a > d
 then find_597(a,b,c,e,d,f,g,h,i,k)
 else find_598(d,c,a,g,e,h,i,j,f)
# n=9, i=4, ]0..5], a?e: a>c,a>d,b>e,b>h,b>i,c>i,d>h,e>f,f>g
find_598(a,b,c,d,e,f,g,h,i) =
 if a > e
 then find_185(c,d,b,e,f,h,i)
 else find_31(f,a,d,c,g)
# n=10, i=5, ]0..5], a?d: a>e,a>f,b>e,b>h,c>d,c>f,d>h,d>j,e>g,f>j,h>i
find_597(a,b,c,d,e,f,g,h,i,j) =
 if a > d
 then find_599(b,c,e,f,d,g,j,h)
 else find_50(a,b,h,f,e,i,j)
# n=8, i=4, ]0..4], c?d: a>c,a>h,b>d,b>e,c>f,d>g,e>g,e>h
find_599(a,b,c,d,e,f,g,h) =
 if c > d
 then find_35(c,b,f,e,d,h)
 else find_45(a,d,e,g,h,c)
# n=11, i=6, ]0..6], d?e: a>d,a>g,b>e,b>h,c>g,c>h,d>f,e>i,g>k,h>i,h>k,i>j
find_595(a,b,c,d,e,f,g,h,i,j,k) =
 if d > e
 then find_260(d,c,b,f,g,e,h,k)
 else find_597(a,e,c,h,d,g,f,i,j,k)
# n=11, i=5, ]0..7], e?f: a>g,b>h,b>k,c>f,c>h,d>e,d>g,d>i,e>j,f>j,g>k,h>i
find_593(a,b,c,d,e,f,g,h,i,j,k) =
 if e > f
 then find_600(a,b,c,d,e,g,h,f,j,i,k)
 else find_601(a,b,d,c,f,h,g,e,j,i,k)
# n=11, i=5, ]0..6], a?e: a>g,b>f,b>k,c>g,c>h,c>j,d>e,d>f,e>h,f>j,g>k,h>i
find_601(a,b,c,d,e,f,g,h,i,j,k) =
 if a > e
 then find_602(b,d,a,c,e,g,f,h,j,k)
 else find_603(b,c,e,a,f,h,j,i,g)
# n=9, i=4, ]0..5], d?e: a>e,b>f,b>g,b>i,c>d,c>f,d>i,e>g,f>h
find_603(a,b,c,d,e,f,g,h,i) =
 if d > e
 then find_44(a,d,b,f,i,e,h)
 else find_604(a,b,c,e,f,h,d,g)
# n=8, i=4, ]0..4], a?e: a>d,b>e,b>h,c>e,c>g,d>g,d>h,e>f
find_604(a,b,c,d,e,f,g,h) =
 if a > e
 then find_45(b,c,d,g,h,e)
 else find_33(a,f)
# n=10, i=5, ]4..5], f?g: a>g,a>j,b>e,b>g,c>e,c>f,d>f,d>h,d>i,e>h,f>j,g>i
find_602(a,b,c,d,e,f,g,h,i,j) =
 if f > g
 then find_256(a,b,d,f,e,h,j)
 else find_605(a,c,d,e,g,h,i)
# n=7, i=4, ]0..4], d?e: a>e,b>d,c>f,c>g,d>f,e>g
find_605(a,b,c,d,e,f,g) =
 if d > e
 then find_54(a,c,d,f,e)
 else find_54(b,c,e,g,d)
# n=11, i=5, ]0..6], b?e: a>f,b>g,b>k,c>g,c>h,d>e,d>f,d>j,e>h,f>k,g>j,h>i
find_600(a,b,c,d,e,f,g,h,i,j,k) =
 if b > e
 then find_606(a,c,d,b,e,g,f,j,h,k)
 else find_379(a,c,e,f,b,h,i,g)
# n=10, i=5, ]0..5], f?g: a>g,b>f,b>i,c>e,c>g,c>h,d>e,d>f,d>j,e>i,f>h,g>j
find_606(a,b,c,d,e,f,g,h,i,j) =
 if f > g
 then find_607(a,b,c,e,f,h,i)
 else find_256(b,a,d,e,g,j,i)
# n=7, i=4, ]0..4], a?d: b>e,b>g,c>d,c>f,d>g,e>f
find_607(a,b,c,d,e,f,g) =
 if a > d
 then find_248(a,b,c,e,d,f)
 else find_35(d,b,a,e,g,f)
# n=11, i=6, ]8..9], e?j: a>g,a>h,b>f,b>g,c>e,c>j,d>h,d>j,f>i,j>k
find_577(a,b,c,d,e,f,g,h,i,j,k) =
 if e > j
 then find_608(a,d,b,c,f,e,g,h,i,j,k)
 else find_609(a,b,c,d,f,h,g,i,j,e,k)
# n=11, i=6, ]0..8], e?i: a>f,a>g,b>e,b>g,c>i,d>f,d>i,e>h,i>j,i>k
find_609(a,b,c,d,e,f,g,h,i,j,k) =
 if e > i
 then find_610(a,c,e,d,h,g,f,i,j,k)
 else find_611(a,b,c,f,i,g,j,k,e,h)
# n=10, i=5, ]0..7], d?g: a>d,a>f,b>f,b>i,c>e,e>g,e>h,e>i,i>j
find_611(a,b,c,d,e,f,g,h,i,j) =
 if d > g
 then find_612(b,a,c,d,e,f,h,i,j,g)
 else find_613(a,b,e,h,g,f,i,j,d)
# n=9, i=4, ]5..6], d?g: a>f,a>i,b>f,b>g,c>d,c>e,c>g,e>i,g>h
find_613(a,b,c,d,e,f,g,h,i) =
 if d > g
 then find_614(a,b,c,d,e,f,g,i)
 else find_615(a,b,c,e,f,g,d,h,i)
# n=9, i=4, ]0..5], a?f: a>e,a>i,b>e,b>f,c>d,c>f,d>i,f>g,f>h
find_615(a,b,c,d,e,f,g,h,i) =
 if a > f
 then find_246(b,c,a,d,e,i,f)
 else find_183(d,f,a,g,h)
# n=8, i=4, ]4..5], a?b: a>f,a>h,b>f,b>g,c>d,c>e,d>g,e>h
find_614(a,b,c,d,e,f,g,h) =
 if a > b
 then find_74(c,a,d,b,e,f,h)
 else find_74(c,b,e,a,d,f,g)
# n=10, i=5, ]0..6], f?g: a>f,a>h,b>d,b>f,c>e,d>j,e>g,e>h,e>j,h>i
find_612(a,b,c,d,e,f,g,h,i,j) =
 if f > g
 then find_616(a,b,c,d,e,f,h,i,j)
 else find_454(b,a,e,g,d,h,j,i)
# n=9, i=5, ]0..5], f?g: a>f,a>g,b>d,b>f,c>e,d>i,e>g,e>i,g>h
find_616(a,b,c,d,e,f,g,h,i) =
 if f > g
 then find_380(d,a,c,f,e,i)
 else find_53(b,a,e,d,g,i,h)
# n=10, i=5, ]0..7], e?f: a>f,a>g,b>h,c>e,c>h,d>g,d>h,h>i,h>j
find_610(a,b,c,d,e,f,g,h,i,j) =
 if e > f
 then find_617(a,b,d,c,e,g,f,h,i,j)
 else find_618(b,a,d,c,f,g,e,h,i,j)
# n=10, i=5, ]0..6], a?e: a>h,b>e,b>f,c>f,c>h,d>g,d>h,e>g,h>i,h>j
find_618(a,b,c,d,e,f,g,h,i,j) =
 if a > e
 then find_619(b,c,d,a,f,e,h,g,i,j)
 else find_620(d,c,e,a,f,g)
# n=6, i=4, ]4..5], a?b: a>f,b>e,c>d,c>f
find_620(a,b,c,d,e,f) =
 if a > b
 then find_411(b,c,d,f,e)
 else find_89(e,a,c,d,f)
# n=10, i=5, ]0..5], a?g: a>e,a>f,b>e,b>g,c>g,c>h,d>f,d>g,f>h,g>i,g>j
find_619(a,b,c,d,e,f,g,h,i,j) =
 if a > g
 then find_285(b,c,d,e,f,h,g)
 else find_41(a,i,j)
# n=10, i=5, ]0..6], a?b: a>f,a>g,b>h,c>f,c>h,d>e,d>h,e>g,h>i,h>j
find_617(a,b,c,d,e,f,g,h,i,j) =
 if a > b
 then find_621(b,c,d,f,e,g,h)
 else find_615(a,c,d,e,f,h,i,j,g)
# n=7, i=4, ]4..5], a?b: a>g,b>d,b>g,c>e,c>g,e>f
find_621(a,b,c,d,e,f,g) =
 if a > b
 then find_77(a,c,e,b,d,f,g)
 else find_74(b,c,d,e,a,f,g)
# n=11, i=6, ]0..8], e?f: a>g,a>h,b>h,b>j,c>e,c>g,d>f,e>i,f>j,j>k
find_608(a,b,c,d,e,f,g,h,i,j,k) =
 if e > f
 then find_622(a,d,b,e,i,g,h,f,j)
 else find_623(a,b,c,d,f,g,h,e,j,i,k)
# n=11, i=6, ]0..7], f?h: a>f,a>g,b>g,b>i,c>f,c>h,d>e,e>h,e>i,h>j,i>k
find_623(a,b,c,d,e,f,g,h,i,j,k) =
 if f > h
 then find_624(c,a,b,d,e,g,f,i,k,h)
 else find_625(a,c,b,e,g,i,h,j,k,f)
# n=10, i=5, ]0..6], f?g: a>e,a>j,b>g,c>e,c>f,d>f,d>g,f>i,g>h,g>j
find_625(a,b,c,d,e,f,g,h,i,j) =
 if f > g
 then find_626(b,a,d,e,f,i,g)
 else find_627(a,c,b,d,e,g,h,f,j)
# n=9, i=5, ]0..5], e?f: a>e,a>i,b>e,b>h,c>f,d>f,f>g,f>h,f>i
find_627(a,b,c,d,e,f,g,h,i) =
 if e > f
 then find_226(c,d,e)
 else find_78(a,b,f,g,h,i)
# n=7, i=4, ]0..5], a?b: a>g,b>d,c>e,e>f,e>g
find_626(a,b,c,d,e,f,g) =
 if a > b
 then find_77(c,a,b,e,f,d,g)
 else find_395(b,c,a,d,e,f)
# n=10, i=6, ]0..6], a?e: a>g,b>f,b>g,c>f,c>h,d>e,e>h,e>j,g>j,h>i
find_624(a,b,c,d,e,f,g,h,i,j) =
 if a > e
 then find_616(c,b,d,g,e,f,h,i,j)
 else find_628(a,c,b,h,f,i,g,j)
# n=8, i=4, ]0..5], a?d: a>g,b>d,b>e,c>e,c>g,d>f,g>h
find_628(a,b,c,d,e,f,g,h) =
 if a > d
 then find_239(b,c,a,e,g,d,h,f)
 else find_411(c,d,a,f,e)
# n=9, i=5, ]0..7], b?c: a>f,a>g,b>h,c>g,c>i,d>e,d>h,h>i
find_622(a,b,c,d,e,f,g,h,i) =
 if b > c
 then find_629(a,d,b,e,f,c,h,g,i)
 else find_630(a,d,c,e,f,b,g,h,i)
# n=9, i=5, ]0..6], d?e: a>e,a>g,b>d,b>h,c>f,c>g,f>h,h>i
find_630(a,b,c,d,e,f,g,h,i) =
 if d > e
 then find_631(a,c,b,d,f,g,e,h,i)
 else find_370(b,a,c,e,f,g,d,h,i)
# n=9, i=5, ]0..5], a?e: a>f,a>g,b>e,b>f,c>d,c>h,d>g,e>h,h>i
find_631(a,b,c,d,e,f,g,h,i) =
 if a > e
 then find_74(b,c,f,d,e,g,h)
 else find_72(a,c,d,f,h,i)
# n=9, i=5, ]0..6], d?e: a>e,a>h,b>d,b>g,c>f,c>g,f>h,f>i,g>i
find_629(a,b,c,d,e,f,g,h,i) =
 if d > e
 then find_632(a,c,b,d,f,g,h,e,i)
 else find_633(b,a,c,e,f,g,d,h,i)
# n=9, i=5, ]4..5], a?e: a>f,a>g,b>d,b>h,c>e,c>f,d>g,e>h,e>i,f>i
find_633(a,b,c,d,e,f,g,h,i) =
 if a > e
 then find_599(b,c,d,f,e,g,i,h)
 else find_154(b,a,d,h,f,i)
# n=9, i=5, ]0..5], a?f: a>g,a>h,b>e,b>f,c>d,c>f,d>h,e>g,e>i,f>i
find_632(a,b,c,d,e,f,g,h,i) =
 if a > f
 then find_634(a,b,c,d,e,f,h,g)
 else find_89(d,e,f,a,i)
# n=8, i=5, ]3..4], d?e: a>f,a>g,a>h,b>e,b>f,c>d,c>f,d>g,e>h
find_634(a,b,c,d,e,f,g,h) =
 if d > e
 then find_268(a,b,d,e,g,f)
 else find_268(a,c,e,d,h,f)