# cost = 19 # n_nodes = 6788600 # version = 1.0 # time = 9706.560 # n=14, i=3, cost=19: no comparisons done find_1(a,b,c,d,e,f,g,h,i,j,k,l,m,n) = if a > b then find_2(a,b,c,d,e,f,g,h,i,j,k,l,m,n) else find_2(b,a,c,d,e,f,g,h,i,j,k,l,m,n) # n=14, i=3, cost=18: a>b find_2(a,b,c,d,e,f,g,h,i,j,k,l,m,n) = if a > c then find_3(a,b,c,d,e,f,g,h,i,j,k,l,m,n) else find_4(c,a,b,d,e,f,g,h,i,j,k,l,m,n) # n=14, i=3, cost=17: a>b,a>c,b>c find_4(a,b,c,d,e,f,g,h,i,j,k,l,m,n) = if a > d then find_5(a,b,c,d,e,f,g,h,i,j,k,l,m,n) else find_6(d,a,b,e,f,g,h,i,j,k,l,m,n) # n=13, i=3, cost=16: a>b,a>c,b>c find_6(a,b,c,d,e,f,g,h,i,j,k,l,m) = if a > d then find_7(a,b,c,d,e,f,g,h,i,j,k,l,m) else find_8(d,a,b,e,f,g,h,i,j,k,l,m) # n=12, i=3, cost=14: a>b,a>c,b>c find_8(a,b,c,d,e,f,g,h,i,j,k,l) = if d > e then find_9(a,b,d,c,e,f,g,h,i,j,k,l) else find_9(a,b,e,c,d,f,g,h,i,j,k,l) # n=12, i=3, cost=13: a>b,a>d,b>d,c>e find_9(a,b,c,d,e,f,g,h,i,j,k,l) = if a > c then find_10(a,b,c,d,e,f,g,h,i,j,k,l) else find_11(c,a,b,e,f,g,h,i,j,k,l) # n=11, i=3, cost=12: a>b,a>c,a>d,b>c find_11(a,b,c,d,e,f,g,h,i,j,k) = if e > f then find_12(a,b,e,c,d,f,g,h,i,j,k) else find_12(a,b,f,c,d,e,g,h,i,j,k) # n=11, i=3, cost=11: a>b,a>d,a>e,b>d,c>f find_12(a,b,c,d,e,f,g,h,i,j,k) = if c > g then find_13(a,c,b,d,e,f,g,h,i,j,k) else find_14(a,g,b,c,d,f,e,h,i,j,k) # n=11, i=3, cost=10: a>c,a>e,a>g,b>d,b>f,c>e,d>f find_14(a,b,c,d,e,f,g,h,i,j,k) = if a > b then find_15(a,b,d,c,e,g,h,i,j,k) else find_16(b,a,c,d,g,f,h,i,j,k) # n=10, i=3, cost=8: a>b,a>c,a>d,a>e,a>f,b>c,b>e,d>f find_16(a,b,c,d,e,f,g,h,i,j) = if b > g then find_17(a,b,d,c,e,g,f,h,i,j) else find_18(a,g,b,d,f,h,i,j) # n=8, i=3, cost=7: a>c,a>d,a>e,b>c,d>e find_18(a,b,c,d,e,f,g,h) = if f > g then find_19(a,d,b,f,e,c,g,h) else find_19(a,d,b,g,e,c,f,h) # n=8, i=3, cost=6: a>b,a>e,a>f,b>e,c>f,d>g find_19(a,b,c,d,e,f,g,h) = if a > d then find_20(a,b,d,c,e,g,f,h) else find_21(d,a,b,c,g,h) # n=6, i=3, cost=5: a>b,a>c,a>e,b>c find_21(a,b,c,d,e,f) = if b > d then find_22(b,c,d,e,f) else find_23(a,d,b,e,f) # n=5, i=3, cost=4: a>c,a>d,b>c find_23(a,b,c,d,e) = if a > b then find_24(b,c,d,e) else find_25(a,c,d,e) # n=4, i=2, cost=3: a>b,a>c find_25(a,b,c,d) = if a > d then find_26(b,c,d) else a # n=3, i=1, cost=2: no comparisons done find_26(a,b,c) = if a > b then find_27(a,c) else find_27(b,c) # n=2, i=1, cost=1: no comparisons done find_27(a,b) = if a > b then a else b # n=4, i=2, cost=3: a>b find_24(a,b,c,d) = if c > d then find_28(a,c,b,d) else find_28(a,d,b,c) # n=4, i=2, cost=2: a>c,b>d find_28(a,b,c,d) = if a > b then find_27(b,c) else find_27(a,d) # n=5, i=2, cost=4: a>b,a>c find_22(a,b,c,d,e) = if b > c then find_24(a,b,d,e) else find_24(a,c,d,e) # n=8, i=3, cost=5: a>b,a>c,a>e,a>f,a>g,b>e,c>f,d>g find_20(a,b,c,d,e,f,g,h) = if b > h then find_29(b,c,d,e,h,f,g) else find_30(a,h,b,c,d,f,g) # n=7, i=3, cost=4: a>c,a>d,a>f,a>g,b>c,d>f,e>g find_30(a,b,c,d,e,f,g) = if b > e then find_31(a,b,d,e,c,f) else find_31(a,e,d,b,g,f) # n=6, i=3, cost=3: a>c,a>e,a>f,b>d,b>e,c>f find_31(a,b,c,d,e,f) = if c > d then find_28(c,b,f,e) else find_32(a,d,e) # n=3, i=2, cost=2: a>c find_32(a,b,c) = if a > b then find_27(b,c) else a # n=7, i=2, cost=4: a>d,a>e,b>f,c>g find_29(a,b,c,d,e,f,g) = if b > c then find_33(b,a,c,f,e,d) else find_33(c,a,b,g,e,d) # n=6, i=2, cost=3: a>c,a>d,b>e,b>f find_33(a,b,c,d,e,f) = if a > b then find_26(b,c,d) else find_26(a,e,f) # n=10, i=3, cost=7: a>b,a>c,a>d,a>e,a>f,a>g,b>d,b>e,b>f,c>g find_17(a,b,c,d,e,f,g,h,i,j) = if c > h then find_34(a,b,c,d,e,f,g,h,i,j) else find_35(a,b,h,c,e,f,d,i,j) # n=9, i=3, cost=6: a>b,a>d,a>e,a>f,a>g,b>e,b>f,b>g,c>d find_35(a,b,c,d,e,f,g,h,i) = if h > i then find_36(a,b,c,h,f,g,e,d,i) else find_36(a,b,c,i,f,g,e,d,h) # n=9, i=3, cost=5: a>b,a>e,a>f,a>g,a>h,b>e,b>f,b>g,c>h,d>i find_36(a,b,c,d,e,f,g,h,i) = if c > d then find_37(a,b,c,d,e,f,g,h,i) else find_38(a,b,d,c,e,f,g,i) # n=8, i=3, cost=4: a>b,a>e,a>f,a>g,b>e,b>f,b>g,c>d,c>h find_38(a,b,c,d,e,f,g,h) = if b > c then find_39(c,e,f,g) else find_24(a,b,d,h) # n=4, i=1, cost=3: no comparisons done find_39(a,b,c,d) = if a > b then find_26(a,c,d) else find_26(b,c,d) # n=9, i=3, cost=4: a>b,a>e,a>f,a>g,a>h,b>e,b>f,b>g,c>d,c>h,c>i,d>i find_37(a,b,c,d,e,f,g,h,i) = if b > c then find_39(c,e,f,g) else find_40(a,b,d,h,i) # n=5, i=2, cost=3: a>b,a>d,c>e find_40(a,b,c,d,e) = if a > c then find_26(c,b,d) else find_27(a,e) # n=10, i=3, cost=6: a>b,a>c,a>d,a>e,a>f,a>g,a>h,b>d,b>e,b>f,c>g,c>h find_34(a,b,c,d,e,f,g,h,i,j) = if i > j then find_41(a,b,c,i,e,f,d,h,g,j) else find_41(a,b,c,j,e,f,d,h,g,i) # n=10, i=3, cost=5: a>b,a>c,a>e,a>f,a>g,a>h,a>i,b>e,b>f,b>g,c>h,c>i,d>j find_41(a,b,c,d,e,f,g,h,i,j) = if c > d then find_42(c,b,d,h,i,g,e,f) else find_43(a,d,b,c,e,f,g,j) # n=8, i=3, cost=4: a>c,a>d,a>e,a>f,a>g,b>d,b>h,c>e,c>f,c>g find_43(a,b,c,d,e,f,g,h) = if b > c then find_25(a,c,d,h) else find_39(b,e,f,g) # n=8, i=2, cost=4: a>c,a>d,a>e,b>f,b>g,b>h find_42(a,b,c,d,e,f,g,h) = if a > b then find_39(b,c,d,e) else find_39(a,f,g,h) # n=10, i=3, cost=9: a>b,a>c,a>d,a>e,a>f,b>c,d>e find_15(a,b,c,d,e,f,g,h,i,j) = if b > d then find_44(a,b,d,c,f,g,h,i,j) else find_44(a,d,b,e,f,g,h,i,j) # n=9, i=3, cost=8: a>b,a>c,a>d,a>e,b>c,b>d find_44(a,b,c,d,e,f,g,h,i) = if b > f then find_45(a,b,c,d,f,e,g,h,i) else find_46(a,f,b,e,g,h,i) # n=7, i=3, cost=7: a>c,a>d,b>c find_46(a,b,c,d,e,f,g) = if e > f then find_47(a,b,e,c,d,f,g) else find_47(a,b,f,c,d,e,g) # n=7, i=3, cost=6: a>d,a>e,b>d,c>f find_47(a,b,c,d,e,f,g) = if a > c then find_48(a,c,b,f,d,e,g) else find_49(c,a,b,e,f,g) # n=6, i=3, cost=5: a>b,a>d,a>e,b>d find_49(a,b,c,d,e,f) = if b > c then find_22(b,c,d,e,f) else find_23(a,c,b,e,f) # n=7, i=3, cost=5: a>b,a>d,a>e,a>f,b>d,c>e find_48(a,b,c,d,e,f,g) = if b > g then find_50(b,c,d,g,e,f) else find_51(a,g,b,c,e,f) # n=6, i=3, cost=4: a>c,a>e,a>f,b>c,d>e find_51(a,b,c,d,e,f) = if b > d then find_52(b,a,d,c,f) else find_52(d,a,b,e,f) # n=5, i=3, cost=3: a>c,a>d,b>d,b>e find_52(a,b,c,d,e) = if c > d then find_53(a,b,c,e) else find_54(a,d,e) # n=3, i=2, cost=2: a>b find_54(a,b,c) = if a > c then find_27(b,c) else a # n=4, i=3, cost=2: a>c,b>d find_53(a,b,c,d) = if c > d then find_55(c,b) else find_55(d,a) # n=2, i=2, cost=1: no comparisons done find_55(a,b) = if a > b then b else a # n=6, i=2, cost=4: a>c,a>d,b>e find_50(a,b,c,d,e,f) = if b > f then find_33(a,b,c,d,e,f) else find_56(f,a,b,d,c) # n=5, i=2, cost=3: a>c,b>d,b>e find_56(a,b,c,d,e) = if a > b then find_27(b,c) else find_26(a,d,e) # n=9, i=3, cost=7: a>b,a>c,a>d,a>e,a>f,b>c,b>d,b>e find_45(a,b,c,d,e,f,g,h,i) = if f > g then find_57(a,b,f,d,e,c,g,h,i) else find_58(a,b,g,d,e,c,f,h,i) # n=9, i=3, cost=6: a>b,a>d,a>e,a>f,a>g,b>d,b>e,b>f,c>g find_58(a,b,c,d,e,f,g,h,i) = if h > i then find_36(a,b,c,h,e,f,d,g,i) else find_36(a,b,c,i,e,f,d,g,h) # n=9, i=3, cost=6: a>b,a>c,a>d,a>e,a>f,a>g,b>d,b>e,b>f,c>g find_57(a,b,c,d,e,f,g,h,i) = if c > h then find_59(b,c,d,e,f,g,h,i) else find_60(a,b,h,c,e,f,d,i) # n=8, i=3, cost=5: a>b,a>d,a>e,a>f,a>g,b>e,b>f,b>g,c>d find_60(a,b,c,d,e,f,g,h) = if c > h then find_61(a,b,c,e,f,g,d,h) else find_62(a,b,h,c,f,g,e) # n=7, i=3, cost=4: a>b,a>e,a>f,a>g,b>e,b>f,b>g,c>d find_62(a,b,c,d,e,f,g) = if b > c then find_39(c,e,f,g) else find_54(a,b,d) # n=8, i=3, cost=4: a>b,a>d,a>e,a>f,a>g,b>d,b>e,b>f,c>g,c>h find_61(a,b,c,d,e,f,g,h) = if b > c then find_39(c,d,e,f) else find_25(a,b,g,h) # n=8, i=2, cost=5: a>c,a>d,a>e,b>f,b>g find_59(a,b,c,d,e,f,g,h) = if b > h then find_42(a,b,c,d,e,f,g,h) else find_63(h,a,b,d,e,c) # n=6, i=2, cost=4: a>c,b>d,b>e,b>f find_63(a,b,c,d,e,f) = if a > b then find_27(b,c) else find_39(a,d,e,f) # n=11, i=3, cost=10: a>c,a>d,a>e,b>f,b>g,c>d find_13(a,b,c,d,e,f,g,h,i,j,k) = if h > i then find_64(a,b,c,h,d,e,g,f,i,j,k) else find_64(a,b,c,i,d,e,g,f,h,j,k) # n=11, i=3, cost=9: a>c,a>e,a>f,b>g,b>h,c>e,d>i find_64(a,b,c,d,e,f,g,h,i,j,k) = if j > k then find_65(a,b,c,d,j,e,f,h,g,i,k) else find_65(a,b,c,d,k,e,f,h,g,i,j) # n=11, i=3, cost=8: a>c,a>f,a>g,b>h,b>i,c>f,d>j,e>k find_65(a,b,c,d,e,f,g,h,i,j,k) = if d > e then find_66(a,d,b,c,e,f,k,g,j,h,i) else find_66(a,e,b,c,d,f,j,g,k,h,i) # n=11, i=3, cost=7: a>d,a>f,a>h,b>e,b>g,b>i,c>j,c>k,d>f,e>g find_66(a,b,c,d,e,f,g,h,i,j,k) = if a > b then find_67(a,b,c,e,d,i,f,h,j,k) else find_67(b,a,c,d,e,h,g,i,j,k) # n=10, i=3, cost=6: a>b,a>d,a>e,a>f,a>g,a>h,b>d,b>f,c>i,c>j,e>g find_67(a,b,c,d,e,f,g,h,i,j) = if e > h then find_68(a,b,e,c,d,f,g,h,i,j) else find_69(a,h,b,c,e,f,d,i,j) # n=9, i=3, cost=5: a>b,a>c,a>e,a>f,a>g,b>e,c>f,c>g,d>h,d>i find_69(a,b,c,d,e,f,g,h,i) = if b > c then find_70(a,b,c,d,e,h,i) else find_71(a,c,d,b,f,g,h,i) # n=8, i=3, cost=4: a>b,a>d,a>e,a>f,b>d,b>e,b>f,c>g,c>h find_71(a,b,c,d,e,f,g,h) = if b > c then find_39(c,d,e,f) else find_24(a,b,g,h) # n=7, i=3, cost=4: a>b,a>c,a>e,b>c,b>e,d>f,d>g find_70(a,b,c,d,e,f,g) = if a > d then find_33(b,d,c,e,f,g) else find_24(a,b,f,g) # n=10, i=3, cost=5: a>b,a>c,a>e,a>f,a>g,a>h,b>e,b>f,c>g,c>h,d>i,d>j find_68(a,b,c,d,e,f,g,h,i,j) = if b > c then find_72(a,b,c,d,e,f,i,j) else find_72(a,c,b,d,g,h,i,j) # n=8, i=3, cost=4: a>b,a>c,a>e,a>f,b>c,b>e,b>f,d>g,d>h find_72(a,b,c,d,e,f,g,h) = if b > d then find_39(d,c,e,f) else find_24(a,b,g,h) # n=12, i=3, cost=12: a>b,a>c,a>d,a>e,b>d,c>e find_10(a,b,c,d,e,f,g,h,i,j,k,l) = if f > g then find_73(a,b,c,f,d,e,g,h,i,j,k,l) else find_73(a,b,c,g,d,e,f,h,i,j,k,l) # n=12, i=3, cost=11: a>b,a>c,a>e,a>f,b>e,c>f,d>g find_73(a,b,c,d,e,f,g,h,i,j,k,l) = if d > h then find_74(a,d,c,b,f,e,g,h,i,j,k,l) else find_75(a,h,c,b,d,f,e,g,i,j,k,l) # n=12, i=3, cost=10: a>c,a>d,a>f,a>g,b>e,b>h,c>f,d>g,e>h find_75(a,b,c,d,e,f,g,h,i,j,k,l) = if a > b then find_76(a,b,e,d,c,g,f,i,j,k,l) else find_77(b,a,c,d,e,h,i,j,k,l) # n=10, i=3, cost=8: a>b,a>c,a>d,a>e,a>f,b>c,b>d,e>f find_77(a,b,c,d,e,f,g,h,i,j) = if b > g then find_17(a,b,e,d,c,g,f,h,i,j) else find_18(a,g,b,e,f,h,i,j) # n=11, i=3, cost=9: a>b,a>c,a>d,a>e,a>f,a>g,b>c,d>f,e>g find_76(a,b,c,d,e,f,g,h,i,j,k) = if b > d then find_16(a,b,d,e,c,g,h,i,j,k) else find_16(a,d,b,e,f,g,h,i,j,k) # n=12, i=3, cost=10: a>c,a>d,a>e,a>f,b>g,b>h,c>e,d>f find_74(a,b,c,d,e,f,g,h,i,j,k,l) = if i > j then find_78(a,b,c,d,i,e,f,h,g,j,k,l) else find_78(a,b,c,d,j,e,f,h,g,i,k,l) # n=12, i=3, cost=9: a>c,a>d,a>f,a>g,b>h,b>i,c>f,d>g,e>j find_78(a,b,c,d,e,f,g,h,i,j,k,l) = if k > l then find_79(a,b,c,d,e,k,f,g,i,h,j,l) else find_80(a,b,c,d,e,l,f,g,i,h,k,j) # n=12, i=3, cost=8: a>c,a>d,a>g,a>h,b>i,b>j,c>g,d>h,e>l,f>k find_80(a,b,c,d,e,f,g,h,i,j,k,l) = if e > f then find_81(a,e,b,d,c,f,h,g,k,l,i,j) else find_81(a,f,b,d,c,e,h,g,l,k,i,j) # n=12, i=3, cost=7: a>d,a>e,a>g,a>h,b>f,b>i,b>j,c>k,c>l,d>g,e>h,f>i find_81(a,b,c,d,e,f,g,h,i,j,k,l) = if a > b then find_82(a,b,c,f,e,d,j,h,g,k,l) else find_83(b,a,c,d,e,f,i,j,k,l) # n=10, i=3, cost=6: a>b,a>d,a>e,a>f,a>g,a>h,b>d,b>e,c>i,c>j,f>g find_83(a,b,c,d,e,f,g,h,i,j) = if f > h then find_68(a,b,f,c,e,d,g,h,i,j) else find_69(a,h,b,c,f,d,e,i,j) # n=11, i=3, cost=6: a>b,a>d,a>e,a>f,a>g,a>h,a>i,b>d,b>g,c>j,c>k,e>h,f>i find_82(a,b,c,d,e,f,g,h,i,j,k) = if e > f then find_68(a,e,b,c,f,h,g,d,j,k) else find_68(a,f,b,c,e,i,g,d,j,k) # n=12, i=3, cost=8: a>c,a>d,a>g,a>h,b>i,b>j,c>g,d>h,e>k,f>l find_79(a,b,c,d,e,f,g,h,i,j,k,l) = if e > f then find_81(a,e,b,d,c,f,h,g,l,k,i,j) else find_81(a,f,b,d,c,e,h,g,k,l,i,j) # n=13, i=3, cost=15: a>b,a>c,a>d,b>c find_7(a,b,c,d,e,f,g,h,i,j,k,l,m) = if a > e then find_84(a,b,c,d,e,f,g,h,i,j,k,l,m) else find_85(e,a,b,d,f,g,h,i,j,k,l,m) # n=12, i=3, cost=13: a>b,a>c,a>d,b>c,b>d find_85(a,b,c,d,e,f,g,h,i,j,k,l) = if a > e then find_86(a,b,c,d,e,f,g,h,i,j,k,l) else find_87(e,a,b,f,g,h,i,j,k,l) # n=10, i=3, cost=12: a>b,a>c,b>c find_87(a,b,c,d,e,f,g,h,i,j) = if a > d then find_88(a,b,c,d,e,f,g,h,i,j) else find_89(d,a,b,e,f,g,h,i,j) # n=9, i=3, cost=10: a>b,a>c,b>c find_89(a,b,c,d,e,f,g,h,i) = if a > d then find_90(a,b,c,d,e,f,g,h,i) else find_91(d,a,b,e,f,g,h,i) # n=8, i=3, cost=9: a>b,a>c,b>c find_91(a,b,c,d,e,f,g,h) = if a > d then find_92(a,b,c,d,e,f,g,h) else find_93(d,a,b,e,f,g,h) # n=7, i=3, cost=7: a>b,a>c,b>c find_93(a,b,c,d,e,f,g) = if d > e then find_94(a,b,d,c,e,f,g) else find_94(a,b,e,c,d,f,g) # n=7, i=3, cost=6: a>b,a>d,b>d,c>e find_94(a,b,c,d,e,f,g) = if a > c then find_95(a,b,c,d,e,f,g) else find_96(c,a,b,e,f,g) # n=6, i=3, cost=5: a>b,a>c,a>d,b>c find_96(a,b,c,d,e,f) = if b > d then find_97(a,b,c,d,e,f) else find_98(a,d,b,e,f) # n=5, i=3, cost=4: a>b,a>c,b>c find_98(a,b,c,d,e) = if a > d then find_24(b,c,d,e) else find_54(a,b,e) # n=6, i=3, cost=4: a>b,a>c,a>d,b>c,b>d find_97(a,b,c,d,e,f) = if e > f then find_99(a,b,e,d,c,f) else find_99(a,b,f,d,c,e) # n=6, i=3, cost=3: a>b,a>d,a>e,b>d,b>e,c>f find_99(a,b,c,d,e,f) = if b > c then find_26(c,d,e) else find_54(a,b,f) # n=7, i=3, cost=5: a>b,a>c,a>d,a>e,b>d,c>e find_95(a,b,c,d,e,f,g) = if b > c then find_97(a,b,c,d,f,g) else find_97(a,c,b,e,f,g) # n=8, i=3, cost=8: a>b,a>c,a>d,b>c find_92(a,b,c,d,e,f,g,h) = if b > d then find_100(a,b,c,d,e,f,g,h) else find_93(a,d,b,e,f,g,h) # n=8, i=3, cost=7: a>b,a>c,a>d,b>c,b>d find_100(a,b,c,d,e,f,g,h) = if e > f then find_101(a,b,e,d,c,f,g,h) else find_101(a,b,f,d,c,e,g,h) # n=8, i=3, cost=6: a>b,a>d,a>e,b>d,b>e,c>f find_101(a,b,c,d,e,f,g,h) = if g > h then find_102(a,b,c,g,e,d,f,h) else find_102(a,b,c,h,e,d,f,g) # n=8, i=3, cost=5: a>b,a>e,a>f,b>e,b>f,c>g,d>h find_102(a,b,c,d,e,f,g,h) = if c > d then find_103(a,c,b,d,e,f,h,g) else find_103(a,d,b,c,e,f,g,h) # n=8, i=3, cost=4: a>c,a>e,a>f,b>d,b>g,b>h,c>e,c>f,d>g find_103(a,b,c,d,e,f,g,h) = if c > d then find_99(a,c,b,e,f,h) else find_104(d,a,g,h) # n=4, i=2, cost=3: a>c find_104(a,b,c,d) = if b > d then find_28(a,b,c,d) else find_28(a,d,c,b) # n=9, i=3, cost=9: a>b,a>c,a>d,b>c find_90(a,b,c,d,e,f,g,h,i) = if e > f then find_105(a,b,e,c,d,f,g,h,i) else find_105(a,b,f,c,d,e,g,h,i) # n=9, i=3, cost=8: a>b,a>d,a>e,b>d,c>f find_105(a,b,c,d,e,f,g,h,i) = if g > h then find_106(a,b,c,g,d,e,f,h,i) else find_106(a,b,c,h,d,e,f,g,i) # n=9, i=3, cost=7: a>b,a>e,a>f,b>e,c>g,d>h find_106(a,b,c,d,e,f,g,h,i) = if c > d then find_107(a,c,b,d,e,h,f,g,i) else find_107(a,d,b,c,e,g,f,h,i) # n=9, i=3, cost=6: a>c,a>e,a>g,b>d,b>f,b>h,c>e,d>f find_107(a,b,c,d,e,f,g,h,i) = if a > b then find_108(b,d,c,h,e,g,i) else find_108(a,c,d,g,f,h,i) # n=7, i=2, cost=5: a>b,a>d,c>e find_108(a,b,c,d,e,f,g) = if f > g then find_29(a,c,f,d,b,e,g) else find_29(a,c,g,d,b,e,f) # n=10, i=3, cost=11: a>b,a>c,a>d,b>c find_88(a,b,c,d,e,f,g,h,i,j) = if a > e then find_109(a,b,c,d,e,f,g,h,i,j) else find_110(e,a,b,d,f,g,h,i,j) # n=9, i=3, cost=9: a>b,a>c,a>d,b>c,b>d find_110(a,b,c,d,e,f,g,h,i) = if a > e then find_44(a,b,c,d,e,f,g,h,i) else find_93(e,a,b,f,g,h,i) # n=10, i=3, cost=10: a>b,a>c,a>d,a>e,b>c find_109(a,b,c,d,e,f,g,h,i,j) = if b > f then find_111(a,b,c,f,e,d,g,h,i,j) else find_112(a,f,b,e,d,g,h,i,j) # n=9, i=3, cost=9: a>c,a>d,a>e,b>c find_112(a,b,c,d,e,f,g,h,i) = if f > g then find_113(a,b,f,c,e,d,g,h,i) else find_113(a,b,g,c,e,d,f,h,i) # n=9, i=3, cost=8: a>d,a>e,a>f,b>d,c>g find_113(a,b,c,d,e,f,g,h,i) = if h > i then find_114(a,b,c,h,d,f,e,g,i) else find_114(a,b,c,i,d,f,e,g,h) # n=9, i=3, cost=7: a>e,a>f,a>g,b>e,c>h,d>i find_114(a,b,c,d,e,f,g,h,i) = if c > d then find_115(c,a,d,b,i,e,h,f,g) else find_115(d,a,c,b,h,e,i,f,g) # n=9, i=3, cost=6: a>c,a>e,a>g,b>f,b>h,b>i,c>e,d>f find_115(a,b,c,d,e,f,g,h,i) = if a > b then find_116(b,c,d,h,i,e,g) else find_108(a,c,d,g,f,h,i) # n=7, i=2, cost=5: a>d,a>e,b>f find_116(a,b,c,d,e,f,g) = if c > g then find_29(a,b,c,d,e,f,g) else find_29(a,b,g,e,d,f,c) # n=10, i=3, cost=9: a>b,a>c,a>d,a>e,a>f,b>c,b>d find_111(a,b,c,d,e,f,g,h,i,j) = if b > g then find_117(a,b,c,d,g,f,e,h,i,j) else find_118(a,g,b,f,e,h,i,j) # n=8, i=3, cost=8: a>c,a>d,a>e,b>c find_118(a,b,c,d,e,f,g,h) = if d > e then find_119(a,d,b,e,c,f,g,h) else find_119(a,e,b,d,c,f,g,h) # n=8, i=3, cost=7: a>b,a>d,a>e,b>d,c>e find_119(a,b,c,d,e,f,g,h) = if f > g then find_19(a,b,c,f,d,e,g,h) else find_19(a,b,c,g,d,e,f,h) # n=10, i=3, cost=8: a>b,a>c,a>d,a>e,a>f,a>g,b>c,b>d,b>e find_117(a,b,c,d,e,f,g,h,i,j) = if f > g then find_17(a,b,f,d,e,c,g,h,i,j) else find_17(a,b,g,d,e,c,f,h,i,j) # n=12, i=3, cost=12: a>b,a>c,a>d,a>e,b>c,b>d find_86(a,b,c,d,e,f,g,h,i,j,k,l) = if f > g then find_120(a,b,f,d,c,e,g,h,i,j,k,l) else find_120(a,b,g,d,c,e,f,h,i,j,k,l) # n=12, i=3, cost=11: a>b,a>d,a>e,a>f,b>d,b>e,c>g find_120(a,b,c,d,e,f,g,h,i,j,k,l) = if h > i then find_121(a,b,c,h,e,d,f,g,i,j,k,l) else find_121(a,b,c,i,e,d,f,g,h,j,k,l) # n=12, i=3, cost=10: a>b,a>e,a>f,a>g,b>e,b>f,c>h,d>i find_121(a,b,c,d,e,f,g,h,i,j,k,l) = if c > d then find_122(a,c,b,d,e,f,i,g,h,j,k,l) else find_122(a,d,b,c,e,f,h,g,i,j,k,l) # n=12, i=3, cost=9: a>c,a>e,a>f,a>h,b>d,b>g,b>i,c>e,c>f,d>g find_122(a,b,c,d,e,f,g,h,i,j,k,l) = if a > b then find_123(a,b,c,d,i,f,e,h,j,k,l) else find_124(b,a,c,d,h,g,i,j,k,l) # n=10, i=3, cost=8: a>b,a>c,a>d,a>e,a>f,a>g,b>c,b>e,d>f find_124(a,b,c,d,e,f,g,h,i,j) = if b > d then find_45(a,b,d,c,e,g,h,i,j) else find_125(a,d,b,f,g,h,i,j) # n=8, i=3, cost=7: a>b,a>c,a>d,a>e,b>c,b>d find_125(a,b,c,d,e,f,g,h) = if b > e then find_126(a,b,c,d,e,f,g,h) else find_127(a,e,b,f,g,h) # n=6, i=3, cost=6: a>b,a>c,b>c find_127(a,b,c,d,e,f) = if a > d then find_96(a,b,c,d,e,f) else find_98(d,a,b,e,f) # n=8, i=3, cost=6: a>b,a>c,a>d,a>e,b>c,b>d,b>e find_126(a,b,c,d,e,f,g,h) = if f > g then find_128(a,b,f,d,e,c,g,h) else find_128(a,b,g,d,e,c,f,h) # n=8, i=3, cost=5: a>b,a>d,a>e,a>f,b>d,b>e,b>f,c>g find_128(a,b,c,d,e,f,g,h) = if c > h then find_71(a,b,c,d,e,f,g,h) else find_129(a,b,h,c,e,f,d,g) # n=8, i=3, cost=4: a>b,a>e,a>f,a>g,b>e,b>f,b>g,c>d,c>h,d>h find_129(a,b,c,d,e,f,g,h) = if b > c then find_39(c,e,f,g) else find_130(a,b,d,h) # n=4, i=2, cost=2: a>b,c>d find_130(a,b,c,d) = if a > c then find_27(c,b) else find_27(a,d) # n=11, i=3, cost=8: a>b,a>c,a>d,a>e,a>f,a>g,a>h,b>d,b>e,c>f,c>g find_123(a,b,c,d,e,f,g,h,i,j,k) = if b > c then find_45(a,b,c,d,e,h,i,j,k) else find_45(a,c,b,f,g,h,i,j,k) # n=13, i=3, cost=14: a>b,a>c,a>d,a>e,b>c find_84(a,b,c,d,e,f,g,h,i,j,k,l,m) = if f > g then find_131(a,b,f,c,e,d,g,h,i,j,k,l,m) else find_131(a,b,g,c,e,d,f,h,i,j,k,l,m) # n=13, i=3, cost=13: a>b,a>d,a>e,a>f,b>d,c>g find_131(a,b,c,d,e,f,g,h,i,j,k,l,m) = if c > h then find_132(a,c,b,d,e,f,g,h,i,j,k,l,m) else find_133(a,h,b,c,d,g,e,f,i,j,k,l,m) # n=13, i=3, cost=12: a>c,a>e,a>g,a>h,b>d,b>f,c>e,d>f find_133(a,b,c,d,e,f,g,h,i,j,k,l,m) = if b > i then find_134(a,b,c,d,e,f,g,h,i,j,k,l,m) else find_135(a,i,b,d,c,e,h,g,j,k,l,m) # n=12, i=3, cost=11: a>e,a>f,a>g,a>h,b>c,b>d,c>d,e>f find_135(a,b,c,d,e,f,g,h,i,j,k,l) = if a > b then find_136(a,b,c,e,f,g,h,i,j,k,l) else find_137(b,a,e,c,g,h,d,i,j,k,l) # n=11, i=3, cost=9: a>b,a>c,a>d,a>e,a>f,a>g,b>c,b>e,b>f,d>g find_137(a,b,c,d,e,f,g,h,i,j,k) = if b > d then find_138(a,b,d,c,e,f,h,i,j,k) else find_100(a,d,b,g,h,i,j,k) # n=10, i=3, cost=8: a>b,a>c,a>d,a>e,a>f,b>c,b>d,b>e,b>f find_138(a,b,c,d,e,f,g,h,i,j) = if g > h then find_139(a,b,g,d,e,f,c,h,i,j) else find_139(a,b,h,d,e,f,c,g,i,j) # n=10, i=3, cost=7: a>b,a>d,a>e,a>f,a>g,b>d,b>e,b>f,b>g,c>h find_139(a,b,c,d,e,f,g,h,i,j) = if i > j then find_140(a,b,c,i,e,f,g,d,h,j) else find_140(a,b,c,j,e,f,g,d,h,i) # n=10, i=3, cost=6: a>b,a>e,a>f,a>g,a>h,b>e,b>f,b>g,b>h,c>i,d>j find_140(a,b,c,d,e,f,g,h,i,j) = if c > d then find_141(a,b,c,d,e,f,g,h,j,i) else find_141(a,b,d,c,e,f,g,h,i,j) # n=10, i=3, cost=5: a>b,a>e,a>f,a>g,a>h,b>e,b>f,b>g,b>h,c>d,c>i,c>j,d>i find_141(a,b,c,d,e,f,g,h,i,j) = if b > c then find_142(c,e,f,g,h) else find_143(a,b,d,i,j) # n=5, i=2, cost=4: a>b,c>d find_143(a,b,c,d,e) = if a > c then find_25(a,c,b,e) else find_25(c,a,d,e) # n=5, i=1, cost=4: no comparisons done find_142(a,b,c,d,e) = if a > b then find_39(a,c,d,e) else find_39(b,c,d,e) # n=11, i=3, cost=10: a>b,a>c,a>d,a>e,a>f,a>g,b>c,d>e find_136(a,b,c,d,e,f,g,h,i,j,k) = if b > d then find_111(a,b,d,c,f,g,h,i,j,k) else find_111(a,d,b,e,f,g,h,i,j,k) # n=13, i=3, cost=11: a>c,a>e,a>g,a>h,b>d,b>f,b>i,c>e,d>f find_134(a,b,c,d,e,f,g,h,i,j,k,l,m) = if j > k then find_144(a,b,c,d,j,e,f,h,g,i,k,l,m) else find_144(a,b,c,d,k,e,f,h,g,i,j,l,m) # n=13, i=3, cost=10: a>c,a>f,a>h,a>i,b>d,b>g,b>j,c>f,d>g,e>k find_144(a,b,c,d,e,f,g,h,i,j,k,l,m) = if e > l then find_145(a,b,e,c,d,f,g,h,i,j,k,l,m) else find_146(a,b,l,c,d,e,f,g,k,h,i,j,m) # n=13, i=3, cost=9: a>d,a>g,a>j,a>k,b>e,b>h,b>l,c>f,c>i,d>g,e>h,f>i find_146(a,b,c,d,e,f,g,h,i,j,k,l,m) = if a > b then find_147(a,b,c,e,d,f,l,g,i,k,j,m) else find_148(b,a,c,d,e,f,j,k,h,i,l,m) # n=12, i=3, cost=8: a>b,a>d,a>e,a>g,a>h,a>i,a>k,b>d,b>g,b>h,c>f,c>j,e>i,f>j find_148(a,b,c,d,e,f,g,h,i,j,k,l) = if a > c then find_149(b,c,f,e,d,g,h,i,k,l) else find_150(a,b,e,f,k,j,l) # n=7, i=2, cost=5: a>b,a>c,a>e,d>f find_150(a,b,c,d,e,f,g) = if b > c then find_151(a,b,d,e,f,g) else find_151(a,c,d,e,f,g) # n=6, i=2, cost=4: a>b,a>d,c>e find_151(a,b,c,d,e,f) = if c > f then find_33(a,c,b,d,e,f) else find_56(f,a,c,d,b) # n=10, i=2, cost=7: a>e,a>f,a>g,b>c,d>h find_149(a,b,c,d,e,f,g,h,i,j) = if b > d then find_152(b,a,d,c,e,f,g,i,j) else find_152(d,a,b,h,f,g,e,i,j) # n=9, i=2, cost=6: a>c,a>d,b>e,b>f,b>g find_152(a,b,c,d,e,f,g,h,i) = if h > i then find_153(b,a,h,f,g,e,c,d,i) else find_153(b,a,i,f,g,e,c,d,h) # n=9, i=2, cost=5: a>d,a>e,a>f,b>g,b>h,c>i find_153(a,b,c,d,e,f,g,h,i) = if b > c then find_42(b,a,c,g,h,f,d,e) else find_154(c,a,b,i,e,f,d) # n=7, i=2, cost=4: a>c,a>d,b>e,b>f,b>g find_154(a,b,c,d,e,f,g) = if a > b then find_26(b,c,d) else find_39(a,e,f,g) # n=12, i=3, cost=8: a>b,a>d,a>e,a>g,a>h,a>j,a>k,b>d,b>g,c>f,c>i,e>h,f>i find_147(a,b,c,d,e,f,g,h,i,j,k,l) = if b > c then find_155(b,c,e,d,g,h,j,k,l) else find_156(a,c,b,e,f,h,i,j,k,l) # n=10, i=3, cost=7: a>c,a>d,a>f,a>h,a>i,b>c,b>e,b>g,d>f,e>g find_156(a,b,c,d,e,f,g,h,i,j) = if d > e then find_157(a,d,b,f,c,h,i,j) else find_158(b,a,e,c,g,h,i,j) # n=8, i=3, cost=6: a>c,a>d,a>e,b>d,b>f,b>g,c>e find_158(a,b,c,d,e,f,g,h) = if a > b then find_159(b,c,d,f,g,e,h) else find_160(a,c,d,f,g,h) # n=6, i=2, cost=5: a>b,a>c find_160(a,b,c,d,e,f) = if d > e then find_50(a,d,c,b,e,f) else find_50(a,e,c,b,d,f) # n=7, i=2, cost=5: a>c,a>d,a>e,b>f find_159(a,b,c,d,e,f,g) = if b > c then find_50(a,b,d,e,f,g) else find_161(a,c,d,e,g) # n=5, i=2, cost=4: a>b,a>c,a>d find_161(a,b,c,d,e) = if a > e then find_39(b,c,d,e) else a # n=8, i=3, cost=6: a>b,a>d,a>e,a>f,a>g,b>d,c>e find_157(a,b,c,d,e,f,g,h) = if b > h then find_162(b,c,d,h,e,g,f) else find_163(a,h,b,c,e,g,f) # n=7, i=3, cost=5: a>c,a>e,a>f,a>g,b>c,d>e find_163(a,b,c,d,e,f,g) = if b > d then find_164(a,b,d,c,f,g) else find_164(a,d,b,e,f,g) # n=6, i=3, cost=4: a>d,a>e,a>f,b>c,b>d find_164(a,b,c,d,e,f) = if c > e then find_52(b,a,c,d,f) else find_104(b,e,d,f) # n=7, i=2, cost=5: a>c,a>d,b>e find_162(a,b,c,d,e,f,g) = if f > g then find_29(a,b,f,d,c,e,g) else find_29(a,b,g,d,c,e,f) # n=9, i=2, cost=7: a>b,a>d,a>e,c>f find_155(a,b,c,d,e,f,g,h,i) = if c > g then find_165(a,c,b,d,e,f,g,h,i) else find_166(a,g,c,d,e,b,h,i) # n=8, i=2, cost=6: a>d,a>e,a>f,b>c find_166(a,b,c,d,e,f,g,h) = if b > d then find_162(a,b,e,f,c,g,h) else find_167(a,d,e,f,g,h) # n=6, i=2, cost=5: a>b,a>c,a>d find_167(a,b,c,d,e,f) = if b > c then find_22(a,b,d,e,f) else find_22(a,c,d,e,f) # n=9, i=2, cost=6: a>c,a>d,a>e,b>f,b>g find_165(a,b,c,d,e,f,g,h,i) = if h > i then find_153(a,b,h,d,e,c,g,f,i) else find_153(a,b,i,d,e,c,g,f,h) # n=13, i=3, cost=9: a>d,a>f,a>h,a>i,b>e,b>g,b>j,c>k,c>l,d>f,e>g find_145(a,b,c,d,e,f,g,h,i,j,k,l,m) = if b > c then find_168(b,a,c,e,d,k,l,g,f,j,i,h,m) else find_169(c,a,b,e,d,j,f,k,l,i,h,m) # n=12, i=3, cost=8: a>c,a>d,a>f,a>h,a>i,b>e,b>g,b>j,b>k,c>d,c>f,e>g find_169(a,b,c,d,e,f,g,h,i,j,k,l) = if a > b then find_170(b,c,e,j,k,d,f,h,i,l) else find_155(a,c,e,h,i,g,j,k,l) # n=10, i=2, cost=7: a>c,a>d,a>e,b>f,b>g find_170(a,b,c,d,e,f,g,h,i,j) = if h > i then find_171(a,b,h,d,e,c,g,f,i,j) else find_171(a,b,i,d,e,c,g,f,h,j) # n=10, i=2, cost=6: a>d,a>e,a>f,b>g,b>h,c>i find_171(a,b,c,d,e,f,g,h,i,j) = if c > j then find_172(a,b,c,d,e,f,g,h,i,j) else find_173(a,j,b,c,e,f,d,h,g) # n=9, i=2, cost=5: a>e,a>f,a>g,b>d,c>h,c>i find_173(a,b,c,d,e,f,g,h,i) = if b > c then find_154(b,a,c,d,e,f,g) else find_42(c,a,b,h,i,g,e,f) # n=10, i=2, cost=5: a>d,a>e,a>f,b>g,b>h,c>i,c>j find_172(a,b,c,d,e,f,g,h,i,j) = if b > c then find_42(b,a,c,g,h,f,d,e) else find_42(c,a,b,i,j,f,d,e) # n=13, i=3, cost=8: a>c,a>d,a>f,a>g,a>h,a>j,b>e,b>i,b>k,b>l,c>f,c>g,d>h,e>i find_168(a,b,c,d,e,f,g,h,i,j,k,l,m) = if a > b then find_174(b,c,e,d,k,l,f,g,h,j,m) else find_175(a,c,d,e,j,i,k,l,m) # n=9, i=2, cost=7: a>b,a>c,a>e,d>f find_175(a,b,c,d,e,f,g,h,i) = if d > g then find_165(a,d,c,b,e,f,g,h,i) else find_166(a,g,d,b,e,c,h,i) # n=11, i=2, cost=7: a>c,a>e,a>f,b>g,b>h,d>i find_174(a,b,c,d,e,f,g,h,i,j,k) = if j > k then find_176(a,b,d,j,e,f,c,h,g,i,k) else find_176(a,b,d,k,e,f,c,h,g,i,j) # n=11, i=2, cost=6: a>e,a>f,a>g,b>h,b>i,c>j,d>k find_176(a,b,c,d,e,f,g,h,i,j,k) = if c > d then find_177(c,a,b,d,j,f,g,e,i,h) else find_177(d,a,b,c,k,f,g,e,i,h) # n=10, i=2, cost=5: a>d,a>e,b>f,b>g,b>h,c>i,c>j find_177(a,b,c,d,e,f,g,h,i,j) = if a > c then find_42(a,b,c,d,e,f,g,h) else find_42(c,b,a,i,j,h,f,g) # n=13, i=3, cost=12: a>c,a>d,a>e,a>f,b>g,b>h,c>d find_132(a,b,c,d,e,f,g,h,i,j,k,l,m) = if i > j then find_178(a,b,c,i,d,f,e,h,g,j,k,l,m) else find_178(a,b,c,j,d,f,e,h,g,i,k,l,m) # n=13, i=3, cost=11: a>c,a>e,a>f,a>g,b>h,b>i,c>e,d>j find_178(a,b,c,d,e,f,g,h,i,j,k,l,m) = if k > l then find_179(a,b,c,d,k,e,g,f,i,h,j,l,m) else find_179(a,b,c,d,l,e,g,f,i,h,j,k,m) # n=13, i=3, cost=10: a>c,a>f,a>g,a>h,b>i,b>j,c>f,d>k,e>l find_179(a,b,c,d,e,f,g,h,i,j,k,l,m) = if d > e then find_145(a,d,b,c,e,f,l,h,g,k,i,j,m) else find_145(a,e,b,c,d,f,k,h,g,l,i,j,m) # n=14, i=3, cost=16: a>b,a>c,a>d,b>c find_5(a,b,c,d,e,f,g,h,i,j,k,l,m,n) = if a > e then find_180(a,b,c,d,e,f,g,h,i,j,k,l,m,n) else find_181(e,a,b,d,f,g,h,i,j,k,l,m,n) # n=13, i=3, cost=14: a>b,a>c,a>d,b>c,b>d find_181(a,b,c,d,e,f,g,h,i,j,k,l,m) = if e > f then find_182(a,b,e,d,c,f,g,h,i,j,k,l,m) else find_182(a,b,f,d,c,e,g,h,i,j,k,l,m) # n=13, i=3, cost=13: a>b,a>d,a>e,b>d,b>e,c>f find_182(a,b,c,d,e,f,g,h,i,j,k,l,m) = if a > c then find_183(a,b,c,d,e,f,g,h,i,j,k,l,m) else find_11(c,a,b,f,g,h,i,j,k,l,m) # n=13, i=3, cost=12: a>b,a>c,a>d,a>e,a>f,b>d,b>e,c>f find_183(a,b,c,d,e,f,g,h,i,j,k,l,m) = if g > h then find_184(a,b,c,g,e,d,f,h,i,j,k,l,m) else find_184(a,b,c,h,e,d,f,g,i,j,k,l,m) # n=13, i=3, cost=11: a>b,a>c,a>e,a>f,a>g,b>e,b>f,c>g,d>h find_184(a,b,c,d,e,f,g,h,i,j,k,l,m) = if i > j then find_185(a,b,c,d,i,f,e,g,h,j,k,l,m) else find_185(a,b,c,d,j,f,e,g,h,i,k,l,m) # n=13, i=3, cost=10: a>b,a>c,a>f,a>g,a>h,b>f,b>g,c>h,d>i,e>j find_185(a,b,c,d,e,f,g,h,i,j,k,l,m) = if d > e then find_186(a,d,b,c,e,f,g,h,j,i,k,l,m) else find_186(a,e,b,c,d,f,g,h,i,j,k,l,m) # n=13, i=3, cost=9: a>c,a>d,a>f,a>g,a>h,b>e,b>i,b>j,c>f,c>g,d>h,e>i find_186(a,b,c,d,e,f,g,h,i,j,k,l,m) = if a > b then find_187(a,b,c,e,d,j,g,f,h,k,l,m) else find_188(b,a,c,d,e,i,j,k,l,m) # n=10, i=3, cost=8: a>b,a>c,a>d,a>e,a>f,a>g,b>c,b>d,e>f find_188(a,b,c,d,e,f,g,h,i,j) = if b > e then find_45(a,b,e,d,c,g,h,i,j) else find_125(a,e,b,f,g,h,i,j) # n=12, i=3, cost=8: a>b,a>c,a>d,a>e,a>f,a>g,a>h,a>i,b>d,b>f,c>g,c>h,e>i find_187(a,b,c,d,e,f,g,h,i,j,k,l) = if b > c then find_189(a,b,c,e,d,f,i,j,k,l) else find_189(a,c,b,e,g,h,i,j,k,l) # n=10, i=3, cost=7: a>b,a>c,a>d,a>e,a>f,a>g,b>c,b>e,b>f,d>g find_189(a,b,c,d,e,f,g,h,i,j) = if d > h then find_34(a,b,d,c,e,f,g,h,i,j) else find_35(a,b,h,d,e,f,c,i,j) # n=14, i=3, cost=15: a>b,a>c,a>d,a>e,b>c find_180(a,b,c,d,e,f,g,h,i,j,k,l,m,n) = if f > g then find_190(a,b,f,c,e,d,g,h,i,j,k,l,m,n) else find_190(a,b,g,c,e,d,f,h,i,j,k,l,m,n) # n=14, i=3, cost=14: a>b,a>d,a>e,a>f,b>d,c>g find_190(a,b,c,d,e,f,g,h,i,j,k,l,m,n) = if h > i then find_191(a,b,c,h,d,f,e,g,i,j,k,l,m,n) else find_191(a,b,c,i,d,f,e,g,h,j,k,l,m,n) # n=14, i=3, cost=13: a>b,a>e,a>f,a>g,b>e,c>h,d>i find_191(a,b,c,d,e,f,g,h,i,j,k,l,m,n) = if c > d then find_192(a,c,b,d,e,i,g,f,h,j,k,l,m,n) else find_192(a,d,b,c,e,h,g,f,i,j,k,l,m,n) # n=14, i=3, cost=12: a>c,a>e,a>g,a>h,b>d,b>f,b>i,c>e,d>f find_192(a,b,c,d,e,f,g,h,i,j,k,l,m,n) = if j > k then find_193(a,b,c,d,j,e,f,h,g,i,k,l,m,n) else find_193(a,b,c,d,k,e,f,h,g,i,j,l,m,n) # n=14, i=3, cost=11: a>c,a>f,a>h,a>i,b>d,b>g,b>j,c>f,d>g,e>k find_193(a,b,c,d,e,f,g,h,i,j,k,l,m,n) = if l > m then find_194(a,b,c,d,e,l,f,g,i,h,j,k,m,n) else find_194(a,b,c,d,e,m,f,g,i,h,j,k,l,n) # n=14, i=3, cost=10: a>c,a>g,a>i,a>j,b>d,b>h,b>k,c>g,d>h,e>l,f>m find_194(a,b,c,d,e,f,g,h,i,j,k,l,m,n) = if e > f then find_195(a,b,e,c,d,f,g,h,m,j,i,k,l,n) else find_195(a,b,f,c,d,e,g,h,l,j,i,k,m,n) # n=14, i=3, cost=9: a>d,a>g,a>j,a>k,b>e,b>h,b>l,c>f,c>i,c>m,d>g,e>h,f>i find_195(a,b,c,d,e,f,g,h,i,j,k,l,m,n) = if b > c then find_196(b,a,c,f,e,d,m,h,g,l,j,k,n) else find_196(c,a,b,e,f,d,l,i,g,m,j,k,n) # n=13, i=3, cost=8: a>c,a>d,a>e,a>g,a>h,a>j,b>f,b>i,b>k,b>l,c>d,c>g,e>h,f>i find_196(a,b,c,d,e,f,g,h,i,j,k,l,m) = if a > b then find_174(b,c,f,e,k,l,d,g,h,j,m) else find_175(a,c,e,f,j,i,k,l,m) # n=14, i=3, cost=17: a>b,a>c find_3(a,b,c,d,e,f,g,h,i,j,k,l,m,n) = if d > e then find_197(a,d,c,b,e,f,g,h,i,j,k,l,m,n) else find_197(a,e,c,b,d,f,g,h,i,j,k,l,m,n) # n=14, i=3, cost=16: a>c,a>d,b>e find_197(a,b,c,d,e,f,g,h,i,j,k,l,m,n) = if a > b then find_180(a,b,e,d,c,f,g,h,i,j,k,l,m,n) else find_198(b,a,c,d,e,f,g,h,i,j,k,l,m,n) # n=14, i=3, cost=15: a>b,a>c,a>d,a>e,b>c,b>d find_198(a,b,c,d,e,f,g,h,i,j,k,l,m,n) = if a > f then find_199(a,b,c,d,e,f,g,h,i,j,k,l,m,n) else find_85(f,a,b,e,g,h,i,j,k,l,m,n) # n=14, i=3, cost=14: a>b,a>c,a>d,a>e,a>f,b>c,b>d find_199(a,b,c,d,e,f,g,h,i,j,k,l,m,n) = if g > h then find_200(a,b,g,d,c,f,e,h,i,j,k,l,m,n) else find_200(a,b,h,d,c,f,e,g,i,j,k,l,m,n) # n=14, i=3, cost=13: a>b,a>d,a>e,a>f,a>g,b>d,b>e,c>h find_200(a,b,c,d,e,f,g,h,i,j,k,l,m,n) = if c > i then find_201(a,b,c,d,e,f,g,h,i,j,k,l,m,n) else find_202(a,b,i,c,e,d,h,f,g,j,k,l,m,n) # n=14, i=3, cost=12: a>b,a>e,a>f,a>h,a>i,b>e,b>f,c>d,c>g,d>g find_202(a,b,c,d,e,f,g,h,i,j,k,l,m,n) = if b > j then find_203(a,b,c,d,e,f,j,g,i,h,k,l,m,n) else find_204(a,j,b,c,d,g,i,h,k,l,m,n) # n=12, i=3, cost=11: a>c,a>g,a>h,b>c,d>e,d>f,e>f find_204(a,b,c,d,e,f,g,h,i,j,k,l) = if b > d then find_205(b,a,d,e,c,g,h,i,j,k,l) else find_206(d,a,e,b,f,g,h,i,j,k,l) # n=11, i=3, cost=10: a>c,a>d,a>e,b>f,b>g,c>e find_206(a,b,c,d,e,f,g,h,i,j,k) = if h > i then find_64(a,b,c,h,e,d,g,f,i,j,k) else find_64(a,b,c,i,e,d,g,f,h,j,k) # n=11, i=3, cost=10: a>c,a>d,a>e,b>e,b>f,b>g,c>d find_205(a,b,c,d,e,f,g,h,i,j,k) = if a > b then find_207(a,b,c,e,f,g,d,h,i,j,k) else find_111(b,a,c,e,f,g,h,i,j,k) # n=11, i=3, cost=9: a>b,a>c,a>d,a>e,a>f,a>g,b>d,b>e,b>f,c>g find_207(a,b,c,d,e,f,g,h,i,j,k) = if b > c then find_138(a,b,c,d,e,f,h,i,j,k) else find_100(a,c,b,g,h,i,j,k) # n=14, i=3, cost=11: a>b,a>e,a>f,a>g,a>i,a>j,b>e,b>f,b>g,c>d,c>h,d>h find_203(a,b,c,d,e,f,g,h,i,j,k,l,m,n) = if b > c then find_208(a,b,c,e,f,g,i,j,k,l,m,n) else find_209(c,a,b,d,h,i,j,k,l,m,n) # n=11, i=3, cost=10: a>c,a>d,a>e,b>c,b>f,b>g,d>e find_209(a,b,c,d,e,f,g,h,i,j,k) = if a > b then find_207(a,b,d,c,f,g,e,h,i,j,k) else find_111(b,a,d,c,f,g,h,i,j,k) # n=12, i=3, cost=10: a>b,a>c,a>d,a>e,a>f,a>g,a>h,b>c,b>d,b>e,b>f find_208(a,b,c,d,e,f,g,h,i,j,k,l) = if g > h then find_210(a,b,g,d,e,f,c,h,i,j,k,l) else find_210(a,b,h,d,e,f,c,g,i,j,k,l) # n=12, i=3, cost=9: a>b,a>c,a>d,a>e,a>f,a>g,a>h,b>d,b>e,b>f,b>g,c>h find_210(a,b,c,d,e,f,g,h,i,j,k,l) = if c > i then find_211(a,b,c,d,e,f,g,h,i,j,k,l) else find_212(a,b,i,c,e,f,g,d,j,k,l) # n=11, i=3, cost=8: a>b,a>d,a>e,a>f,a>g,a>h,b>e,b>f,b>g,b>h,c>d find_212(a,b,c,d,e,f,g,h,i,j,k) = if c > i then find_213(a,b,c,e,f,g,h,d,i,j,k) else find_214(a,b,i,c,f,g,h,e,j,k) # n=10, i=3, cost=7: a>b,a>e,a>f,a>g,a>h,b>e,b>f,b>g,b>h,c>d find_214(a,b,c,d,e,f,g,h,i,j) = if i > j then find_140(a,b,c,i,f,g,h,e,d,j) else find_140(a,b,c,j,f,g,h,e,d,i) # n=11, i=3, cost=7: a>b,a>d,a>e,a>f,a>g,a>h,b>d,b>e,b>f,b>g,c>h,c>i find_213(a,b,c,d,e,f,g,h,i,j,k) = if j > k then find_215(a,b,c,j,e,f,g,d,h,i,k) else find_215(a,b,c,k,e,f,g,d,h,i,j) # n=11, i=3, cost=6: a>b,a>e,a>f,a>g,a>h,a>i,b>e,b>f,b>g,b>h,c>i,c>j,d>k find_215(a,b,c,d,e,f,g,h,i,j,k) = if c > d then find_216(a,b,c,d,e,f,g,h,i,k,j) else find_141(a,b,d,c,e,f,g,h,j,k) # n=11, i=3, cost=5: a>b,a>e,a>f,a>g,a>h,a>i,b>e,b>f,b>g,b>h,c>d,c>i,c>j,c>k,d>j find_216(a,b,c,d,e,f,g,h,i,j,k) = if b > c then find_142(c,e,f,g,h) else find_151(a,b,d,i,j,k) # n=12, i=3, cost=8: a>b,a>c,a>d,a>e,a>f,a>g,a>h,a>i,b>d,b>e,b>f,b>g,c>h,c>i find_211(a,b,c,d,e,f,g,h,i,j,k,l) = if c > j then find_217(a,b,c,d,e,f,g,h,i,j,k,l) else find_218(a,b,j,c,e,f,g,d,k,l) # n=10, i=3, cost=7: a>b,a>d,a>e,a>f,a>g,a>h,b>e,b>f,b>g,b>h,c>d find_218(a,b,c,d,e,f,g,h,i,j) = if c > e then find_58(a,b,c,f,g,h,d,i,j) else find_219(a,b,e,f,g,h,i,j) # n=8, i=3, cost=6: a>b,a>c,a>d,a>e,a>f,b>c,b>d,b>e,b>f find_219(a,b,c,d,e,f,g,h) = if c > d then find_220(a,b,c,e,f,g,h) else find_220(a,b,d,e,f,g,h) # n=7, i=3, cost=5: a>b,a>c,a>d,a>e,b>c,b>d,b>e find_220(a,b,c,d,e,f,g) = if c > d then find_97(a,b,c,e,f,g) else find_97(a,b,d,e,f,g) # n=12, i=3, cost=7: a>b,a>c,a>d,a>e,a>f,a>g,a>h,a>i,a>j,b>d,b>e,b>f,b>g,c>h,c>i,c>j find_217(a,b,c,d,e,f,g,h,i,j,k,l) = if k > l then find_221(a,b,c,k,e,f,g,d,i,j,h,l) else find_221(a,b,c,l,e,f,g,d,i,j,h,k) # n=12, i=3, cost=6: a>b,a>c,a>e,a>f,a>g,a>h,a>i,a>j,a>k,b>e,b>f,b>g,b>h,c>i,c>j,c>k,d>l find_221(a,b,c,d,e,f,g,h,i,j,k,l) = if c > d then find_222(c,b,d,i,j,k,h,e,f,g) else find_223(a,d,b,c,e,f,g,h,l) # n=9, i=3, cost=5: a>c,a>d,a>e,a>f,a>g,a>h,b>d,b>i,c>e,c>f,c>g,c>h find_223(a,b,c,d,e,f,g,h,i) = if b > c then find_25(a,c,d,i) else find_142(b,e,f,g,h) # n=10, i=2, cost=5: a>c,a>d,a>e,a>f,b>g,b>h,b>i,b>j find_222(a,b,c,d,e,f,g,h,i,j) = if a > b then find_142(b,c,d,e,f) else find_142(a,g,h,i,j) # n=14, i=3, cost=12: a>b,a>d,a>e,a>f,a>g,b>d,b>e,c>h,c>i find_201(a,b,c,d,e,f,g,h,i,j,k,l,m,n) = if j > k then find_224(a,b,c,j,e,d,g,f,i,h,k,l,m,n) else find_224(a,b,c,k,e,d,g,f,i,h,j,l,m,n) # n=14, i=3, cost=11: a>b,a>e,a>f,a>g,a>h,b>e,b>f,c>i,c>j,d>k find_224(a,b,c,d,e,f,g,h,i,j,k,l,m,n) = if l > m then find_225(a,b,c,d,l,f,e,h,g,j,i,k,m,n) else find_225(a,b,c,d,m,f,e,h,g,j,i,k,l,n) # n=14, i=3, cost=10: a>b,a>f,a>g,a>h,a>i,b>f,b>g,c>j,c>k,d>l,e>m find_225(a,b,c,d,e,f,g,h,i,j,k,l,m,n) = if d > e then find_226(a,d,b,c,e,f,g,m,i,h,l,j,k,n) else find_226(a,e,b,c,d,f,g,l,i,h,m,j,k,n) # n=14, i=3, cost=9: a>c,a>f,a>g,a>i,a>j,b>e,b>h,b>k,c>f,c>g,d>l,d>m,e>h find_226(a,b,c,d,e,f,g,h,i,j,k,l,m,n) = if b > d then find_227(b,a,d,c,e,l,m,h,g,f,k,j,i,n) else find_228(d,a,b,c,e,k,g,f,l,m,j,i,n) # n=13, i=3, cost=8: a>c,a>e,a>f,a>i,a>j,b>d,b>g,b>h,b>k,b>l,c>e,c>f,d>g,d>h find_228(a,b,c,d,e,f,g,h,i,j,k,l,m) = if a > b then find_229(b,d,c,k,l,e,f,i,j,m) else find_229(a,c,d,i,j,g,h,k,l,m) # n=10, i=2, cost=7: a>b,a>d,a>e,c>f,c>g find_229(a,b,c,d,e,f,g,h,i,j) = if h > i then find_171(a,c,h,d,e,b,g,f,i,j) else find_171(a,c,i,d,e,b,g,f,h,j) # n=14, i=3, cost=8: a>c,a>e,a>f,a>g,a>h,a>k,b>d,b>i,b>j,b>l,b>m,c>f,c>g,d>i,d>j,e>h find_227(a,b,c,d,e,f,g,h,i,j,k,l,m,n) = if a > b then find_230(b,d,c,e,l,m,f,g,h,k,n) else find_229(a,c,d,e,k,j,i,l,m,n) # n=11, i=2, cost=7: a>b,a>e,a>f,c>g,c>h,d>i find_230(a,b,c,d,e,f,g,h,i,j,k) = if j > k then find_176(a,c,d,j,e,f,b,h,g,i,k) else find_176(a,c,d,k,e,f,b,h,g,i,j)