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