DIM = 10 VALID 1 2 3 4 5 6 7 8 9 10 INEQUALITIES_SECTION -1x1-1x2-1x3-1x4-1x5-1x6-1x7-1x8-1x9-1x10==-55 +1x1+1x2+1x3+1x4+1x5+1x6+1x7+1x8+1x9<=54 +1x1+1x2+1x3+1x4+1x5+1x6+1x7+1x8+1x10<=54 +1x1+1x2+1x3+1x4+1x5+1x6+1x7+1x9+1x10<=54 +1x1+1x2+1x3+1x4+1x5+1x6+1x8+1x9+1x10<=54 +1x1+1x2+1x3+1x4+1x5+1x7+1x8+1x9+1x10<=54 +1x1+1x2+1x3+1x4+1x6+1x7+1x8+1x9+1x10<=54 +1x1+1x2+1x3+1x5+1x6+1x7+1x8+1x9+1x10<=54 +1x1+1x2+1x4+1x5+1x6+1x7+1x8+1x9+1x10<=54 +1x1+1x3+1x4+1x5+1x6+1x7+1x8+1x9+1x10<=54 +1x2+1x3+1x4+1x5+1x6+1x7+1x8+1x9+1x10<=54 +1x1+1x2+1x3+1x4+1x5+1x6+1x7+1x8<=52 +1x1+1x2+1x3+1x4+1x5+1x6+1x7+1x9<=52 +1x1+1x2+1x3+1x4+1x5+1x6+1x7+1x10<=52 +1x1+1x2+1x3+1x4+1x5+1x6+1x8+1x9<=52 +1x1+1x2+1x3+1x4+1x5+1x6+1x8+1x10<=52 +1x1+1x2+1x3+1x4+1x5+1x6+1x9+1x10<=52 +1x1+1x2+1x3+1x4+1x5+1x7+1x8+1x9<=52 +1x1+1x2+1x3+1x4+1x5+1x7+1x8+1x10<=52 +1x1+1x2+1x3+1x4+1x5+1x7+1x9+1x10<=52 +1x1+1x2+1x3+1x4+1x5+1x8+1x9+1x10<=52 +1x1+1x2+1x3+1x4+1x6+1x7+1x8+1x9<=52 +1x1+1x2+1x3+1x4+1x6+1x7+1x8+1x10<=52 +1x1+1x2+1x3+1x4+1x6+1x7+1x9+1x10<=52 +1x1+1x2+1x3+1x4+1x6+1x8+1x9+1x10<=52 +1x1+1x2+1x3+1x4+1x7+1x8+1x9+1x10<=52 +1x1+1x2+1x3+1x5+1x6+1x7+1x8+1x9<=52 +1x1+1x2+1x3+1x5+1x6+1x7+1x8+1x10<=52 +1x1+1x2+1x3+1x5+1x6+1x7+1x9+1x10<=52 +1x1+1x2+1x3+1x5+1x6+1x8+1x9+1x10<=52 +1x1+1x2+1x3+1x5+1x7+1x8+1x9+1x10<=52 +1x1+1x2+1x3+1x6+1x7+1x8+1x9+1x10<=52 +1x1+1x2+1x4+1x5+1x6+1x7+1x8+1x9<=52 +1x1+1x2+1x4+1x5+1x6+1x7+1x8+1x10<=52 +1x1+1x2+1x4+1x5+1x6+1x7+1x9+1x10<=52 +1x1+1x2+1x4+1x5+1x6+1x8+1x9+1x10<=52 +1x1+1x2+1x4+1x5+1x7+1x8+1x9+1x10<=52 +1x1+1x2+1x4+1x6+1x7+1x8+1x9+1x10<=52 +1x1+1x2+1x5+1x6+1x7+1x8+1x9+1x10<=52 +1x1+1x3+1x4+1x5+1x6+1x7+1x8+1x9<=52 +1x1+1x3+1x4+1x5+1x6+1x7+1x8+1x10<=52 +1x1+1x3+1x4+1x5+1x6+1x7+1x9+1x10<=52 +1x1+1x3+1x4+1x5+1x6+1x8+1x9+1x10<=52 +1x1+1x3+1x4+1x5+1x7+1x8+1x9+1x10<=52 +1x1+1x3+1x4+1x6+1x7+1x8+1x9+1x10<=52 +1x1+1x3+1x5+1x6+1x7+1x8+1x9+1x10<=52 +1x1+1x4+1x5+1x6+1x7+1x8+1x9+1x10<=52 +1x2+1x3+1x4+1x5+1x6+1x7+1x8+1x9<=52 +1x2+1x3+1x4+1x5+1x6+1x7+1x8+1x10<=52 +1x2+1x3+1x4+1x5+1x6+1x7+1x9+1x10<=52 +1x2+1x3+1x4+1x5+1x6+1x8+1x9+1x10<=52 +1x2+1x3+1x4+1x5+1x7+1x8+1x9+1x10<=52 +1x2+1x3+1x4+1x6+1x7+1x8+1x9+1x10<=52 +1x2+1x3+1x5+1x6+1x7+1x8+1x9+1x10<=52 +1x2+1x4+1x5+1x6+1x7+1x8+1x9+1x10<=52 +1x3+1x4+1x5+1x6+1x7+1x8+1x9+1x10<=52 +1x1+1x2+1x3+1x4+1x5+1x6+1x7<=49 +1x1+1x2+1x3+1x4+1x5+1x6+1x8<=49 +1x1+1x2+1x3+1x4+1x5+1x6+1x9<=49 +1x1+1x2+1x3+1x4+1x5+1x6+1x10<=49 +1x1+1x2+1x3+1x4+1x5+1x7+1x8<=49 +1x1+1x2+1x3+1x4+1x5+1x7+1x9<=49 +1x1+1x2+1x3+1x4+1x5+1x7+1x10<=49 +1x1+1x2+1x3+1x4+1x5+1x8+1x9<=49 +1x1+1x2+1x3+1x4+1x5+1x8+1x10<=49 +1x1+1x2+1x3+1x4+1x5+1x9+1x10<=49 +1x1+1x2+1x3+1x4+1x6+1x7+1x8<=49 +1x1+1x2+1x3+1x4+1x6+1x7+1x9<=49 +1x1+1x2+1x3+1x4+1x6+1x7+1x10<=49 +1x1+1x2+1x3+1x4+1x6+1x8+1x9<=49 +1x1+1x2+1x3+1x4+1x6+1x8+1x10<=49 +1x1+1x2+1x3+1x4+1x6+1x9+1x10<=49 +1x1+1x2+1x3+1x4+1x7+1x8+1x9<=49 +1x1+1x2+1x3+1x4+1x7+1x8+1x10<=49 +1x1+1x2+1x3+1x4+1x7+1x9+1x10<=49 +1x1+1x2+1x3+1x4+1x8+1x9+1x10<=49 +1x1+1x2+1x3+1x5+1x6+1x7+1x8<=49 +1x1+1x2+1x3+1x5+1x6+1x7+1x9<=49 +1x1+1x2+1x3+1x5+1x6+1x7+1x10<=49 +1x1+1x2+1x3+1x5+1x6+1x8+1x9<=49 +1x1+1x2+1x3+1x5+1x6+1x8+1x10<=49 +1x1+1x2+1x3+1x5+1x6+1x9+1x10<=49 +1x1+1x2+1x3+1x5+1x7+1x8+1x9<=49 +1x1+1x2+1x3+1x5+1x7+1x8+1x10<=49 +1x1+1x2+1x3+1x5+1x7+1x9+1x10<=49 +1x1+1x2+1x3+1x5+1x8+1x9+1x10<=49 +1x1+1x2+1x3+1x6+1x7+1x8+1x9<=49 +1x1+1x2+1x3+1x6+1x7+1x8+1x10<=49 +1x1+1x2+1x3+1x6+1x7+1x9+1x10<=49 +1x1+1x2+1x3+1x6+1x8+1x9+1x10<=49 +1x1+1x2+1x3+1x7+1x8+1x9+1x10<=49 +1x1+1x2+1x4+1x5+1x6+1x7+1x8<=49 +1x1+1x2+1x4+1x5+1x6+1x7+1x9<=49 +1x1+1x2+1x4+1x5+1x6+1x7+1x10<=49 +1x1+1x2+1x4+1x5+1x6+1x8+1x9<=49 +1x1+1x2+1x4+1x5+1x6+1x8+1x10<=49 +1x1+1x2+1x4+1x5+1x6+1x9+1x10<=49 +1x1+1x2+1x4+1x5+1x7+1x8+1x9<=49 +1x1+1x2+1x4+1x5+1x7+1x8+1x10<=49 +1x1+1x2+1x4+1x5+1x7+1x9+1x10<=49 +1x1+1x2+1x4+1x5+1x8+1x9+1x10<=49 +1x1+1x2+1x4+1x6+1x7+1x8+1x9<=49 +1x1+1x2+1x4+1x6+1x7+1x8+1x10<=49 +1x1+1x2+1x4+1x6+1x7+1x9+1x10<=49 +1x1+1x2+1x4+1x6+1x8+1x9+1x10<=49 +1x1+1x2+1x4+1x7+1x8+1x9+1x10<=49 +1x1+1x2+1x5+1x6+1x7+1x8+1x9<=49 +1x1+1x2+1x5+1x6+1x7+1x8+1x10<=49 +1x1+1x2+1x5+1x6+1x7+1x9+1x10<=49 +1x1+1x2+1x5+1x6+1x8+1x9+1x10<=49 +1x1+1x2+1x5+1x7+1x8+1x9+1x10<=49 +1x1+1x2+1x6+1x7+1x8+1x9+1x10<=49 +1x1+1x3+1x4+1x5+1x6+1x7+1x8<=49 +1x1+1x3+1x4+1x5+1x6+1x7+1x9<=49 +1x1+1x3+1x4+1x5+1x6+1x7+1x10<=49 +1x1+1x3+1x4+1x5+1x6+1x8+1x9<=49 +1x1+1x3+1x4+1x5+1x6+1x8+1x10<=49 +1x1+1x3+1x4+1x5+1x6+1x9+1x10<=49 +1x1+1x3+1x4+1x5+1x7+1x8+1x9<=49 +1x1+1x3+1x4+1x5+1x7+1x8+1x10<=49 +1x1+1x3+1x4+1x5+1x7+1x9+1x10<=49 +1x1+1x3+1x4+1x5+1x8+1x9+1x10<=49 +1x1+1x3+1x4+1x6+1x7+1x8+1x9<=49 +1x1+1x3+1x4+1x6+1x7+1x8+1x10<=49 +1x1+1x3+1x4+1x6+1x7+1x9+1x10<=49 +1x1+1x3+1x4+1x6+1x8+1x9+1x10<=49 +1x1+1x3+1x4+1x7+1x8+1x9+1x10<=49 +1x1+1x3+1x5+1x6+1x7+1x8+1x9<=49 +1x1+1x3+1x5+1x6+1x7+1x8+1x10<=49 +1x1+1x3+1x5+1x6+1x7+1x9+1x10<=49 +1x1+1x3+1x5+1x6+1x8+1x9+1x10<=49 +1x1+1x3+1x5+1x7+1x8+1x9+1x10<=49 +1x1+1x3+1x6+1x7+1x8+1x9+1x10<=49 +1x1+1x4+1x5+1x6+1x7+1x8+1x9<=49 +1x1+1x4+1x5+1x6+1x7+1x8+1x10<=49 +1x1+1x4+1x5+1x6+1x7+1x9+1x10<=49 +1x1+1x4+1x5+1x6+1x8+1x9+1x10<=49 +1x1+1x4+1x5+1x7+1x8+1x9+1x10<=49 +1x1+1x4+1x6+1x7+1x8+1x9+1x10<=49 +1x1+1x5+1x6+1x7+1x8+1x9+1x10<=49 +1x2+1x3+1x4+1x5+1x6+1x7+1x8<=49 +1x2+1x3+1x4+1x5+1x6+1x7+1x9<=49 +1x2+1x3+1x4+1x5+1x6+1x7+1x10<=49 +1x2+1x3+1x4+1x5+1x6+1x8+1x9<=49 +1x2+1x3+1x4+1x5+1x6+1x8+1x10<=49 +1x2+1x3+1x4+1x5+1x6+1x9+1x10<=49 +1x2+1x3+1x4+1x5+1x7+1x8+1x9<=49 +1x2+1x3+1x4+1x5+1x7+1x8+1x10<=49 +1x2+1x3+1x4+1x5+1x7+1x9+1x10<=49 +1x2+1x3+1x4+1x5+1x8+1x9+1x10<=49 +1x2+1x3+1x4+1x6+1x7+1x8+1x9<=49 +1x2+1x3+1x4+1x6+1x7+1x8+1x10<=49 +1x2+1x3+1x4+1x6+1x7+1x9+1x10<=49 +1x2+1x3+1x4+1x6+1x8+1x9+1x10<=49 +1x2+1x3+1x4+1x7+1x8+1x9+1x10<=49 +1x2+1x3+1x5+1x6+1x7+1x8+1x9<=49 +1x2+1x3+1x5+1x6+1x7+1x8+1x10<=49 +1x2+1x3+1x5+1x6+1x7+1x9+1x10<=49 +1x2+1x3+1x5+1x6+1x8+1x9+1x10<=49 +1x2+1x3+1x5+1x7+1x8+1x9+1x10<=49 +1x2+1x3+1x6+1x7+1x8+1x9+1x10<=49 +1x2+1x4+1x5+1x6+1x7+1x8+1x9<=49 +1x2+1x4+1x5+1x6+1x7+1x8+1x10<=49 +1x2+1x4+1x5+1x6+1x7+1x9+1x10<=49 +1x2+1x4+1x5+1x6+1x8+1x9+1x10<=49 +1x2+1x4+1x5+1x7+1x8+1x9+1x10<=49 +1x2+1x4+1x6+1x7+1x8+1x9+1x10<=49 +1x2+1x5+1x6+1x7+1x8+1x9+1x10<=49 +1x3+1x4+1x5+1x6+1x7+1x8+1x9<=49 +1x3+1x4+1x5+1x6+1x7+1x8+1x10<=49 +1x3+1x4+1x5+1x6+1x7+1x9+1x10<=49 +1x3+1x4+1x5+1x6+1x8+1x9+1x10<=49 +1x3+1x4+1x5+1x7+1x8+1x9+1x10<=49 +1x3+1x4+1x6+1x7+1x8+1x9+1x10<=49 +1x3+1x5+1x6+1x7+1x8+1x9+1x10<=49 +1x4+1x5+1x6+1x7+1x8+1x9+1x10<=49 +1x1+1x2+1x3+1x4+1x5+1x6<=45 +1x1+1x2+1x3+1x4+1x5+1x7<=45 +1x1+1x2+1x3+1x4+1x5+1x8<=45 +1x1+1x2+1x3+1x4+1x5+1x9<=45 +1x1+1x2+1x3+1x4+1x5+1x10<=45 +1x1+1x2+1x3+1x4+1x6+1x7<=45 +1x1+1x2+1x3+1x4+1x6+1x8<=45 +1x1+1x2+1x3+1x4+1x6+1x9<=45 +1x1+1x2+1x3+1x4+1x6+1x10<=45 +1x1+1x2+1x3+1x4+1x7+1x8<=45 +1x1+1x2+1x3+1x4+1x7+1x9<=45 +1x1+1x2+1x3+1x4+1x7+1x10<=45 +1x1+1x2+1x3+1x4+1x8+1x9<=45 +1x1+1x2+1x3+1x4+1x8+1x10<=45 +1x1+1x2+1x3+1x4+1x9+1x10<=45 +1x1+1x2+1x3+1x5+1x6+1x7<=45 +1x1+1x2+1x3+1x5+1x6+1x8<=45 +1x1+1x2+1x3+1x5+1x6+1x9<=45 +1x1+1x2+1x3+1x5+1x6+1x10<=45 +1x1+1x2+1x3+1x5+1x7+1x8<=45 +1x1+1x2+1x3+1x5+1x7+1x9<=45 +1x1+1x2+1x3+1x5+1x7+1x10<=45 +1x1+1x2+1x3+1x5+1x8+1x9<=45 +1x1+1x2+1x3+1x5+1x8+1x10<=45 +1x1+1x2+1x3+1x5+1x9+1x10<=45 +1x1+1x2+1x3+1x6+1x7+1x8<=45 +1x1+1x2+1x3+1x6+1x7+1x9<=45 +1x1+1x2+1x3+1x6+1x7+1x10<=45 +1x1+1x2+1x3+1x6+1x8+1x9<=45 +1x1+1x2+1x3+1x6+1x8+1x10<=45 +1x1+1x2+1x3+1x6+1x9+1x10<=45 +1x1+1x2+1x3+1x7+1x8+1x9<=45 +1x1+1x2+1x3+1x7+1x8+1x10<=45 +1x1+1x2+1x3+1x7+1x9+1x10<=45 +1x1+1x2+1x3+1x8+1x9+1x10<=45 +1x1+1x2+1x4+1x5+1x6+1x7<=45 +1x1+1x2+1x4+1x5+1x6+1x8<=45 +1x1+1x2+1x4+1x5+1x6+1x9<=45 +1x1+1x2+1x4+1x5+1x6+1x10<=45 +1x1+1x2+1x4+1x5+1x7+1x8<=45 +1x1+1x2+1x4+1x5+1x7+1x9<=45 +1x1+1x2+1x4+1x5+1x7+1x10<=45 +1x1+1x2+1x4+1x5+1x8+1x9<=45 +1x1+1x2+1x4+1x5+1x8+1x10<=45 +1x1+1x2+1x4+1x5+1x9+1x10<=45 +1x1+1x2+1x4+1x6+1x7+1x8<=45 +1x1+1x2+1x4+1x6+1x7+1x9<=45 +1x1+1x2+1x4+1x6+1x7+1x10<=45 +1x1+1x2+1x4+1x6+1x8+1x9<=45 +1x1+1x2+1x4+1x6+1x8+1x10<=45 +1x1+1x2+1x4+1x6+1x9+1x10<=45 +1x1+1x2+1x4+1x7+1x8+1x9<=45 +1x1+1x2+1x4+1x7+1x8+1x10<=45 +1x1+1x2+1x4+1x7+1x9+1x10<=45 +1x1+1x2+1x4+1x8+1x9+1x10<=45 +1x1+1x2+1x5+1x6+1x7+1x8<=45 +1x1+1x2+1x5+1x6+1x7+1x9<=45 +1x1+1x2+1x5+1x6+1x7+1x10<=45 +1x1+1x2+1x5+1x6+1x8+1x9<=45 +1x1+1x2+1x5+1x6+1x8+1x10<=45 +1x1+1x2+1x5+1x6+1x9+1x10<=45 +1x1+1x2+1x5+1x7+1x8+1x9<=45 +1x1+1x2+1x5+1x7+1x8+1x10<=45 +1x1+1x2+1x5+1x7+1x9+1x10<=45 +1x1+1x2+1x5+1x8+1x9+1x10<=45 +1x1+1x2+1x6+1x7+1x8+1x9<=45 +1x1+1x2+1x6+1x7+1x8+1x10<=45 +1x1+1x2+1x6+1x7+1x9+1x10<=45 +1x1+1x2+1x6+1x8+1x9+1x10<=45 +1x1+1x2+1x7+1x8+1x9+1x10<=45 +1x1+1x3+1x4+1x5+1x6+1x7<=45 +1x1+1x3+1x4+1x5+1x6+1x8<=45 +1x1+1x3+1x4+1x5+1x6+1x9<=45 +1x1+1x3+1x4+1x5+1x6+1x10<=45 +1x1+1x3+1x4+1x5+1x7+1x8<=45 +1x1+1x3+1x4+1x5+1x7+1x9<=45 +1x1+1x3+1x4+1x5+1x7+1x10<=45 +1x1+1x3+1x4+1x5+1x8+1x9<=45 +1x1+1x3+1x4+1x5+1x8+1x10<=45 +1x1+1x3+1x4+1x5+1x9+1x10<=45 +1x1+1x3+1x4+1x6+1x7+1x8<=45 +1x1+1x3+1x4+1x6+1x7+1x9<=45 +1x1+1x3+1x4+1x6+1x7+1x10<=45 +1x1+1x3+1x4+1x6+1x8+1x9<=45 +1x1+1x3+1x4+1x6+1x8+1x10<=45 +1x1+1x3+1x4+1x6+1x9+1x10<=45 +1x1+1x3+1x4+1x7+1x8+1x9<=45 +1x1+1x3+1x4+1x7+1x8+1x10<=45 +1x1+1x3+1x4+1x7+1x9+1x10<=45 +1x1+1x3+1x4+1x8+1x9+1x10<=45 +1x1+1x3+1x5+1x6+1x7+1x8<=45 +1x1+1x3+1x5+1x6+1x7+1x9<=45 +1x1+1x3+1x5+1x6+1x7+1x10<=45 +1x1+1x3+1x5+1x6+1x8+1x9<=45 +1x1+1x3+1x5+1x6+1x8+1x10<=45 +1x1+1x3+1x5+1x6+1x9+1x10<=45 +1x1+1x3+1x5+1x7+1x8+1x9<=45 +1x1+1x3+1x5+1x7+1x8+1x10<=45 +1x1+1x3+1x5+1x7+1x9+1x10<=45 +1x1+1x3+1x5+1x8+1x9+1x10<=45 +1x1+1x3+1x6+1x7+1x8+1x9<=45 +1x1+1x3+1x6+1x7+1x8+1x10<=45 +1x1+1x3+1x6+1x7+1x9+1x10<=45 +1x1+1x3+1x6+1x8+1x9+1x10<=45 +1x1+1x3+1x7+1x8+1x9+1x10<=45 +1x1+1x4+1x5+1x6+1x7+1x8<=45 +1x1+1x4+1x5+1x6+1x7+1x9<=45 +1x1+1x4+1x5+1x6+1x7+1x10<=45 +1x1+1x4+1x5+1x6+1x8+1x9<=45 +1x1+1x4+1x5+1x6+1x8+1x10<=45 +1x1+1x4+1x5+1x6+1x9+1x10<=45 +1x1+1x4+1x5+1x7+1x8+1x9<=45 +1x1+1x4+1x5+1x7+1x8+1x10<=45 +1x1+1x4+1x5+1x7+1x9+1x10<=45 +1x1+1x4+1x5+1x8+1x9+1x10<=45 +1x1+1x4+1x6+1x7+1x8+1x9<=45 +1x1+1x4+1x6+1x7+1x8+1x10<=45 +1x1+1x4+1x6+1x7+1x9+1x10<=45 +1x1+1x4+1x6+1x8+1x9+1x10<=45 +1x1+1x4+1x7+1x8+1x9+1x10<=45 +1x1+1x5+1x6+1x7+1x8+1x9<=45 +1x1+1x5+1x6+1x7+1x8+1x10<=45 +1x1+1x5+1x6+1x7+1x9+1x10<=45 +1x1+1x5+1x6+1x8+1x9+1x10<=45 +1x1+1x5+1x7+1x8+1x9+1x10<=45 +1x1+1x6+1x7+1x8+1x9+1x10<=45 +1x2+1x3+1x4+1x5+1x6+1x7<=45 +1x2+1x3+1x4+1x5+1x6+1x8<=45 +1x2+1x3+1x4+1x5+1x6+1x9<=45 +1x2+1x3+1x4+1x5+1x6+1x10<=45 +1x2+1x3+1x4+1x5+1x7+1x8<=45 +1x2+1x3+1x4+1x5+1x7+1x9<=45 +1x2+1x3+1x4+1x5+1x7+1x10<=45 +1x2+1x3+1x4+1x5+1x8+1x9<=45 +1x2+1x3+1x4+1x5+1x8+1x10<=45 +1x2+1x3+1x4+1x5+1x9+1x10<=45 +1x2+1x3+1x4+1x6+1x7+1x8<=45 +1x2+1x3+1x4+1x6+1x7+1x9<=45 +1x2+1x3+1x4+1x6+1x7+1x10<=45 +1x2+1x3+1x4+1x6+1x8+1x9<=45 +1x2+1x3+1x4+1x6+1x8+1x10<=45 +1x2+1x3+1x4+1x6+1x9+1x10<=45 +1x2+1x3+1x4+1x7+1x8+1x9<=45 +1x2+1x3+1x4+1x7+1x8+1x10<=45 +1x2+1x3+1x4+1x7+1x9+1x10<=45 +1x2+1x3+1x4+1x8+1x9+1x10<=45 +1x2+1x3+1x5+1x6+1x7+1x8<=45 +1x2+1x3+1x5+1x6+1x7+1x9<=45 +1x2+1x3+1x5+1x6+1x7+1x10<=45 +1x2+1x3+1x5+1x6+1x8+1x9<=45 +1x2+1x3+1x5+1x6+1x8+1x10<=45 +1x2+1x3+1x5+1x6+1x9+1x10<=45 +1x2+1x3+1x5+1x7+1x8+1x9<=45 +1x2+1x3+1x5+1x7+1x8+1x10<=45 +1x2+1x3+1x5+1x7+1x9+1x10<=45 +1x2+1x3+1x5+1x8+1x9+1x10<=45 +1x2+1x3+1x6+1x7+1x8+1x9<=45 +1x2+1x3+1x6+1x7+1x8+1x10<=45 +1x2+1x3+1x6+1x7+1x9+1x10<=45 +1x2+1x3+1x6+1x8+1x9+1x10<=45 +1x2+1x3+1x7+1x8+1x9+1x10<=45 +1x2+1x4+1x5+1x6+1x7+1x8<=45 +1x2+1x4+1x5+1x6+1x7+1x9<=45 +1x2+1x4+1x5+1x6+1x7+1x10<=45 +1x2+1x4+1x5+1x6+1x8+1x9<=45 +1x2+1x4+1x5+1x6+1x8+1x10<=45 +1x2+1x4+1x5+1x6+1x9+1x10<=45 +1x2+1x4+1x5+1x7+1x8+1x9<=45 +1x2+1x4+1x5+1x7+1x8+1x10<=45 +1x2+1x4+1x5+1x7+1x9+1x10<=45 +1x2+1x4+1x5+1x8+1x9+1x10<=45 +1x2+1x4+1x6+1x7+1x8+1x9<=45 +1x2+1x4+1x6+1x7+1x8+1x10<=45 +1x2+1x4+1x6+1x7+1x9+1x10<=45 +1x2+1x4+1x6+1x8+1x9+1x10<=45 +1x2+1x4+1x7+1x8+1x9+1x10<=45 +1x2+1x5+1x6+1x7+1x8+1x9<=45 +1x2+1x5+1x6+1x7+1x8+1x10<=45 +1x2+1x5+1x6+1x7+1x9+1x10<=45 +1x2+1x5+1x6+1x8+1x9+1x10<=45 +1x2+1x5+1x7+1x8+1x9+1x10<=45 +1x2+1x6+1x7+1x8+1x9+1x10<=45 +1x3+1x4+1x5+1x6+1x7+1x8<=45 +1x3+1x4+1x5+1x6+1x7+1x9<=45 +1x3+1x4+1x5+1x6+1x7+1x10<=45 +1x3+1x4+1x5+1x6+1x8+1x9<=45 +1x3+1x4+1x5+1x6+1x8+1x10<=45 +1x3+1x4+1x5+1x6+1x9+1x10<=45 +1x3+1x4+1x5+1x7+1x8+1x9<=45 +1x3+1x4+1x5+1x7+1x8+1x10<=45 +1x3+1x4+1x5+1x7+1x9+1x10<=45 +1x3+1x4+1x5+1x8+1x9+1x10<=45 +1x3+1x4+1x6+1x7+1x8+1x9<=45 +1x3+1x4+1x6+1x7+1x8+1x10<=45 +1x3+1x4+1x6+1x7+1x9+1x10<=45 +1x3+1x4+1x6+1x8+1x9+1x10<=45 +1x3+1x4+1x7+1x8+1x9+1x10<=45 +1x3+1x5+1x6+1x7+1x8+1x9<=45 +1x3+1x5+1x6+1x7+1x8+1x10<=45 +1x3+1x5+1x6+1x7+1x9+1x10<=45 +1x3+1x5+1x6+1x8+1x9+1x10<=45 +1x3+1x5+1x7+1x8+1x9+1x10<=45 +1x3+1x6+1x7+1x8+1x9+1x10<=45 +1x4+1x5+1x6+1x7+1x8+1x9<=45 +1x4+1x5+1x6+1x7+1x8+1x10<=45 +1x4+1x5+1x6+1x7+1x9+1x10<=45 +1x4+1x5+1x6+1x8+1x9+1x10<=45 +1x4+1x5+1x7+1x8+1x9+1x10<=45 +1x4+1x6+1x7+1x8+1x9+1x10<=45 +1x5+1x6+1x7+1x8+1x9+1x10<=45 +1x1+1x2+1x3+1x4+1x5<=40 +1x1+1x2+1x3+1x4+1x6<=40 +1x1+1x2+1x3+1x4+1x7<=40 +1x1+1x2+1x3+1x4+1x8<=40 +1x1+1x2+1x3+1x4+1x9<=40 +1x1+1x2+1x3+1x4+1x10<=40 +1x1+1x2+1x3+1x5+1x6<=40 +1x1+1x2+1x3+1x5+1x7<=40 +1x1+1x2+1x3+1x5+1x8<=40 +1x1+1x2+1x3+1x5+1x9<=40 +1x1+1x2+1x3+1x5+1x10<=40 +1x1+1x2+1x3+1x6+1x7<=40 +1x1+1x2+1x3+1x6+1x8<=40 +1x1+1x2+1x3+1x6+1x9<=40 +1x1+1x2+1x3+1x6+1x10<=40 +1x1+1x2+1x3+1x7+1x8<=40 +1x1+1x2+1x3+1x7+1x9<=40 +1x1+1x2+1x3+1x7+1x10<=40 +1x1+1x2+1x3+1x8+1x9<=40 +1x1+1x2+1x3+1x8+1x10<=40 +1x1+1x2+1x3+1x9+1x10<=40 +1x1+1x2+1x4+1x5+1x6<=40 +1x1+1x2+1x4+1x5+1x7<=40 +1x1+1x2+1x4+1x5+1x8<=40 +1x1+1x2+1x4+1x5+1x9<=40 +1x1+1x2+1x4+1x5+1x10<=40 +1x1+1x2+1x4+1x6+1x7<=40 +1x1+1x2+1x4+1x6+1x8<=40 +1x1+1x2+1x4+1x6+1x9<=40 +1x1+1x2+1x4+1x6+1x10<=40 +1x1+1x2+1x4+1x7+1x8<=40 +1x1+1x2+1x4+1x7+1x9<=40 +1x1+1x2+1x4+1x7+1x10<=40 +1x1+1x2+1x4+1x8+1x9<=40 +1x1+1x2+1x4+1x8+1x10<=40 +1x1+1x2+1x4+1x9+1x10<=40 +1x1+1x2+1x5+1x6+1x7<=40 +1x1+1x2+1x5+1x6+1x8<=40 +1x1+1x2+1x5+1x6+1x9<=40 +1x1+1x2+1x5+1x6+1x10<=40 +1x1+1x2+1x5+1x7+1x8<=40 +1x1+1x2+1x5+1x7+1x9<=40 +1x1+1x2+1x5+1x7+1x10<=40 +1x1+1x2+1x5+1x8+1x9<=40 +1x1+1x2+1x5+1x8+1x10<=40 +1x1+1x2+1x5+1x9+1x10<=40 +1x1+1x2+1x6+1x7+1x8<=40 +1x1+1x2+1x6+1x7+1x9<=40 +1x1+1x2+1x6+1x7+1x10<=40 +1x1+1x2+1x6+1x8+1x9<=40 +1x1+1x2+1x6+1x8+1x10<=40 +1x1+1x2+1x6+1x9+1x10<=40 +1x1+1x2+1x7+1x8+1x9<=40 +1x1+1x2+1x7+1x8+1x10<=40 +1x1+1x2+1x7+1x9+1x10<=40 +1x1+1x2+1x8+1x9+1x10<=40 +1x1+1x3+1x4+1x5+1x6<=40 +1x1+1x3+1x4+1x5+1x7<=40 +1x1+1x3+1x4+1x5+1x8<=40 +1x1+1x3+1x4+1x5+1x9<=40 +1x1+1x3+1x4+1x5+1x10<=40 +1x1+1x3+1x4+1x6+1x7<=40 +1x1+1x3+1x4+1x6+1x8<=40 +1x1+1x3+1x4+1x6+1x9<=40 +1x1+1x3+1x4+1x6+1x10<=40 +1x1+1x3+1x4+1x7+1x8<=40 +1x1+1x3+1x4+1x7+1x9<=40 +1x1+1x3+1x4+1x7+1x10<=40 +1x1+1x3+1x4+1x8+1x9<=40 +1x1+1x3+1x4+1x8+1x10<=40 +1x1+1x3+1x4+1x9+1x10<=40 +1x1+1x3+1x5+1x6+1x7<=40 +1x1+1x3+1x5+1x6+1x8<=40 +1x1+1x3+1x5+1x6+1x9<=40 +1x1+1x3+1x5+1x6+1x10<=40 +1x1+1x3+1x5+1x7+1x8<=40 +1x1+1x3+1x5+1x7+1x9<=40 +1x1+1x3+1x5+1x7+1x10<=40 +1x1+1x3+1x5+1x8+1x9<=40 +1x1+1x3+1x5+1x8+1x10<=40 +1x1+1x3+1x5+1x9+1x10<=40 +1x1+1x3+1x6+1x7+1x8<=40 +1x1+1x3+1x6+1x7+1x9<=40 +1x1+1x3+1x6+1x7+1x10<=40 +1x1+1x3+1x6+1x8+1x9<=40 +1x1+1x3+1x6+1x8+1x10<=40 +1x1+1x3+1x6+1x9+1x10<=40 +1x1+1x3+1x7+1x8+1x9<=40 +1x1+1x3+1x7+1x8+1x10<=40 +1x1+1x3+1x7+1x9+1x10<=40 +1x1+1x3+1x8+1x9+1x10<=40 +1x1+1x4+1x5+1x6+1x7<=40 +1x1+1x4+1x5+1x6+1x8<=40 +1x1+1x4+1x5+1x6+1x9<=40 +1x1+1x4+1x5+1x6+1x10<=40 +1x1+1x4+1x5+1x7+1x8<=40 +1x1+1x4+1x5+1x7+1x9<=40 +1x1+1x4+1x5+1x7+1x10<=40 +1x1+1x4+1x5+1x8+1x9<=40 +1x1+1x4+1x5+1x8+1x10<=40 +1x1+1x4+1x5+1x9+1x10<=40 +1x1+1x4+1x6+1x7+1x8<=40 +1x1+1x4+1x6+1x7+1x9<=40 +1x1+1x4+1x6+1x7+1x10<=40 +1x1+1x4+1x6+1x8+1x9<=40 +1x1+1x4+1x6+1x8+1x10<=40 +1x1+1x4+1x6+1x9+1x10<=40 +1x1+1x4+1x7+1x8+1x9<=40 +1x1+1x4+1x7+1x8+1x10<=40 +1x1+1x4+1x7+1x9+1x10<=40 +1x1+1x4+1x8+1x9+1x10<=40 +1x1+1x5+1x6+1x7+1x8<=40 +1x1+1x5+1x6+1x7+1x9<=40 +1x1+1x5+1x6+1x7+1x10<=40 +1x1+1x5+1x6+1x8+1x9<=40 +1x1+1x5+1x6+1x8+1x10<=40 +1x1+1x5+1x6+1x9+1x10<=40 +1x1+1x5+1x7+1x8+1x9<=40 +1x1+1x5+1x7+1x8+1x10<=40 +1x1+1x5+1x7+1x9+1x10<=40 +1x1+1x5+1x8+1x9+1x10<=40 +1x1+1x6+1x7+1x8+1x9<=40 +1x1+1x6+1x7+1x8+1x10<=40 +1x1+1x6+1x7+1x9+1x10<=40 +1x1+1x6+1x8+1x9+1x10<=40 +1x1+1x7+1x8+1x9+1x10<=40 +1x2+1x3+1x4+1x5+1x6<=40 +1x2+1x3+1x4+1x5+1x7<=40 +1x2+1x3+1x4+1x5+1x8<=40 +1x2+1x3+1x4+1x5+1x9<=40 +1x2+1x3+1x4+1x5+1x10<=40 +1x2+1x3+1x4+1x6+1x7<=40 +1x2+1x3+1x4+1x6+1x8<=40 +1x2+1x3+1x4+1x6+1x9<=40 +1x2+1x3+1x4+1x6+1x10<=40 +1x2+1x3+1x4+1x7+1x8<=40 +1x2+1x3+1x4+1x7+1x9<=40 +1x2+1x3+1x4+1x7+1x10<=40 +1x2+1x3+1x4+1x8+1x9<=40 +1x2+1x3+1x4+1x8+1x10<=40 +1x2+1x3+1x4+1x9+1x10<=40 +1x2+1x3+1x5+1x6+1x7<=40 +1x2+1x3+1x5+1x6+1x8<=40 +1x2+1x3+1x5+1x6+1x9<=40 +1x2+1x3+1x5+1x6+1x10<=40 +1x2+1x3+1x5+1x7+1x8<=40 +1x2+1x3+1x5+1x7+1x9<=40 +1x2+1x3+1x5+1x7+1x10<=40 +1x2+1x3+1x5+1x8+1x9<=40 +1x2+1x3+1x5+1x8+1x10<=40 +1x2+1x3+1x5+1x9+1x10<=40 +1x2+1x3+1x6+1x7+1x8<=40 +1x2+1x3+1x6+1x7+1x9<=40 +1x2+1x3+1x6+1x7+1x10<=40 +1x2+1x3+1x6+1x8+1x9<=40 +1x2+1x3+1x6+1x8+1x10<=40 +1x2+1x3+1x6+1x9+1x10<=40 +1x2+1x3+1x7+1x8+1x9<=40 +1x2+1x3+1x7+1x8+1x10<=40 +1x2+1x3+1x7+1x9+1x10<=40 +1x2+1x3+1x8+1x9+1x10<=40 +1x2+1x4+1x5+1x6+1x7<=40 +1x2+1x4+1x5+1x6+1x8<=40 +1x2+1x4+1x5+1x6+1x9<=40 +1x2+1x4+1x5+1x6+1x10<=40 +1x2+1x4+1x5+1x7+1x8<=40 +1x2+1x4+1x5+1x7+1x9<=40 +1x2+1x4+1x5+1x7+1x10<=40 +1x2+1x4+1x5+1x8+1x9<=40 +1x2+1x4+1x5+1x8+1x10<=40 +1x2+1x4+1x5+1x9+1x10<=40 +1x2+1x4+1x6+1x7+1x8<=40 +1x2+1x4+1x6+1x7+1x9<=40 +1x2+1x4+1x6+1x7+1x10<=40 +1x2+1x4+1x6+1x8+1x9<=40 +1x2+1x4+1x6+1x8+1x10<=40 +1x2+1x4+1x6+1x9+1x10<=40 +1x2+1x4+1x7+1x8+1x9<=40 +1x2+1x4+1x7+1x8+1x10<=40 +1x2+1x4+1x7+1x9+1x10<=40 +1x2+1x4+1x8+1x9+1x10<=40 +1x2+1x5+1x6+1x7+1x8<=40 +1x2+1x5+1x6+1x7+1x9<=40 +1x2+1x5+1x6+1x7+1x10<=40 +1x2+1x5+1x6+1x8+1x9<=40 +1x2+1x5+1x6+1x8+1x10<=40 +1x2+1x5+1x6+1x9+1x10<=40 +1x2+1x5+1x7+1x8+1x9<=40 +1x2+1x5+1x7+1x8+1x10<=40 +1x2+1x5+1x7+1x9+1x10<=40 +1x2+1x5+1x8+1x9+1x10<=40 +1x2+1x6+1x7+1x8+1x9<=40 +1x2+1x6+1x7+1x8+1x10<=40 +1x2+1x6+1x7+1x9+1x10<=40 +1x2+1x6+1x8+1x9+1x10<=40 +1x2+1x7+1x8+1x9+1x10<=40 +1x3+1x4+1x5+1x6+1x7<=40 +1x3+1x4+1x5+1x6+1x8<=40 +1x3+1x4+1x5+1x6+1x9<=40 +1x3+1x4+1x5+1x6+1x10<=40 +1x3+1x4+1x5+1x7+1x8<=40 +1x3+1x4+1x5+1x7+1x9<=40 +1x3+1x4+1x5+1x7+1x10<=40 +1x3+1x4+1x5+1x8+1x9<=40 +1x3+1x4+1x5+1x8+1x10<=40 +1x3+1x4+1x5+1x9+1x10<=40 +1x3+1x4+1x6+1x7+1x8<=40 +1x3+1x4+1x6+1x7+1x9<=40 +1x3+1x4+1x6+1x7+1x10<=40 +1x3+1x4+1x6+1x8+1x9<=40 +1x3+1x4+1x6+1x8+1x10<=40 +1x3+1x4+1x6+1x9+1x10<=40 +1x3+1x4+1x7+1x8+1x9<=40 +1x3+1x4+1x7+1x8+1x10<=40 +1x3+1x4+1x7+1x9+1x10<=40 +1x3+1x4+1x8+1x9+1x10<=40 +1x3+1x5+1x6+1x7+1x8<=40 +1x3+1x5+1x6+1x7+1x9<=40 +1x3+1x5+1x6+1x7+1x10<=40 +1x3+1x5+1x6+1x8+1x9<=40 +1x3+1x5+1x6+1x8+1x10<=40 +1x3+1x5+1x6+1x9+1x10<=40 +1x3+1x5+1x7+1x8+1x9<=40 +1x3+1x5+1x7+1x8+1x10<=40 +1x3+1x5+1x7+1x9+1x10<=40 +1x3+1x5+1x8+1x9+1x10<=40 +1x3+1x6+1x7+1x8+1x9<=40 +1x3+1x6+1x7+1x8+1x10<=40 +1x3+1x6+1x7+1x9+1x10<=40 +1x3+1x6+1x8+1x9+1x10<=40 +1x3+1x7+1x8+1x9+1x10<=40 +1x4+1x5+1x6+1x7+1x8<=40 +1x4+1x5+1x6+1x7+1x9<=40 +1x4+1x5+1x6+1x7+1x10<=40 +1x4+1x5+1x6+1x8+1x9<=40 +1x4+1x5+1x6+1x8+1x10<=40 +1x4+1x5+1x6+1x9+1x10<=40 +1x4+1x5+1x7+1x8+1x9<=40 +1x4+1x5+1x7+1x8+1x10<=40 +1x4+1x5+1x7+1x9+1x10<=40 +1x4+1x5+1x8+1x9+1x10<=40 +1x4+1x6+1x7+1x8+1x9<=40 +1x4+1x6+1x7+1x8+1x10<=40 +1x4+1x6+1x7+1x9+1x10<=40 +1x4+1x6+1x8+1x9+1x10<=40 +1x4+1x7+1x8+1x9+1x10<=40 +1x5+1x6+1x7+1x8+1x9<=40 +1x5+1x6+1x7+1x8+1x10<=40 +1x5+1x6+1x7+1x9+1x10<=40 +1x5+1x6+1x8+1x9+1x10<=40 +1x5+1x7+1x8+1x9+1x10<=40 +1x6+1x7+1x8+1x9+1x10<=40 +1x1+1x2+1x3+1x4<=34 +1x1+1x2+1x3+1x5<=34 +1x1+1x2+1x3+1x6<=34 +1x1+1x2+1x3+1x7<=34 +1x1+1x2+1x3+1x8<=34 +1x1+1x2+1x3+1x9<=34 +1x1+1x2+1x3+1x10<=34 +1x1+1x2+1x4+1x5<=34 +1x1+1x2+1x4+1x6<=34 +1x1+1x2+1x4+1x7<=34 +1x1+1x2+1x4+1x8<=34 +1x1+1x2+1x4+1x9<=34 +1x1+1x2+1x4+1x10<=34 +1x1+1x2+1x5+1x6<=34 +1x1+1x2+1x5+1x7<=34 +1x1+1x2+1x5+1x8<=34 +1x1+1x2+1x5+1x9<=34 +1x1+1x2+1x5+1x10<=34 +1x1+1x2+1x6+1x7<=34 +1x1+1x2+1x6+1x8<=34 +1x1+1x2+1x6+1x9<=34 +1x1+1x2+1x6+1x10<=34 +1x1+1x2+1x7+1x8<=34 +1x1+1x2+1x7+1x9<=34 +1x1+1x2+1x7+1x10<=34 +1x1+1x2+1x8+1x9<=34 +1x1+1x2+1x8+1x10<=34 +1x1+1x2+1x9+1x10<=34 +1x1+1x3+1x4+1x5<=34 +1x1+1x3+1x4+1x6<=34 +1x1+1x3+1x4+1x7<=34 +1x1+1x3+1x4+1x8<=34 +1x1+1x3+1x4+1x9<=34 +1x1+1x3+1x4+1x10<=34 +1x1+1x3+1x5+1x6<=34 +1x1+1x3+1x5+1x7<=34 +1x1+1x3+1x5+1x8<=34 +1x1+1x3+1x5+1x9<=34 +1x1+1x3+1x5+1x10<=34 +1x1+1x3+1x6+1x7<=34 +1x1+1x3+1x6+1x8<=34 +1x1+1x3+1x6+1x9<=34 +1x1+1x3+1x6+1x10<=34 +1x1+1x3+1x7+1x8<=34 +1x1+1x3+1x7+1x9<=34 +1x1+1x3+1x7+1x10<=34 +1x1+1x3+1x8+1x9<=34 +1x1+1x3+1x8+1x10<=34 +1x1+1x3+1x9+1x10<=34 +1x1+1x4+1x5+1x6<=34 +1x1+1x4+1x5+1x7<=34 +1x1+1x4+1x5+1x8<=34 +1x1+1x4+1x5+1x9<=34 +1x1+1x4+1x5+1x10<=34 +1x1+1x4+1x6+1x7<=34 +1x1+1x4+1x6+1x8<=34 +1x1+1x4+1x6+1x9<=34 +1x1+1x4+1x6+1x10<=34 +1x1+1x4+1x7+1x8<=34 +1x1+1x4+1x7+1x9<=34 +1x1+1x4+1x7+1x10<=34 +1x1+1x4+1x8+1x9<=34 +1x1+1x4+1x8+1x10<=34 +1x1+1x4+1x9+1x10<=34 +1x1+1x5+1x6+1x7<=34 +1x1+1x5+1x6+1x8<=34 +1x1+1x5+1x6+1x9<=34 +1x1+1x5+1x6+1x10<=34 +1x1+1x5+1x7+1x8<=34 +1x1+1x5+1x7+1x9<=34 +1x1+1x5+1x7+1x10<=34 +1x1+1x5+1x8+1x9<=34 +1x1+1x5+1x8+1x10<=34 +1x1+1x5+1x9+1x10<=34 +1x1+1x6+1x7+1x8<=34 +1x1+1x6+1x7+1x9<=34 +1x1+1x6+1x7+1x10<=34 +1x1+1x6+1x8+1x9<=34 +1x1+1x6+1x8+1x10<=34 +1x1+1x6+1x9+1x10<=34 +1x1+1x7+1x8+1x9<=34 +1x1+1x7+1x8+1x10<=34 +1x1+1x7+1x9+1x10<=34 +1x1+1x8+1x9+1x10<=34 +1x2+1x3+1x4+1x5<=34 +1x2+1x3+1x4+1x6<=34 +1x2+1x3+1x4+1x7<=34 +1x2+1x3+1x4+1x8<=34 +1x2+1x3+1x4+1x9<=34 +1x2+1x3+1x4+1x10<=34 +1x2+1x3+1x5+1x6<=34 +1x2+1x3+1x5+1x7<=34 +1x2+1x3+1x5+1x8<=34 +1x2+1x3+1x5+1x9<=34 +1x2+1x3+1x5+1x10<=34 +1x2+1x3+1x6+1x7<=34 +1x2+1x3+1x6+1x8<=34 +1x2+1x3+1x6+1x9<=34 +1x2+1x3+1x6+1x10<=34 +1x2+1x3+1x7+1x8<=34 +1x2+1x3+1x7+1x9<=34 +1x2+1x3+1x7+1x10<=34 +1x2+1x3+1x8+1x9<=34 +1x2+1x3+1x8+1x10<=34 +1x2+1x3+1x9+1x10<=34 +1x2+1x4+1x5+1x6<=34 +1x2+1x4+1x5+1x7<=34 +1x2+1x4+1x5+1x8<=34 +1x2+1x4+1x5+1x9<=34 +1x2+1x4+1x5+1x10<=34 +1x2+1x4+1x6+1x7<=34 +1x2+1x4+1x6+1x8<=34 +1x2+1x4+1x6+1x9<=34 +1x2+1x4+1x6+1x10<=34 +1x2+1x4+1x7+1x8<=34 +1x2+1x4+1x7+1x9<=34 +1x2+1x4+1x7+1x10<=34 +1x2+1x4+1x8+1x9<=34 +1x2+1x4+1x8+1x10<=34 +1x2+1x4+1x9+1x10<=34 +1x2+1x5+1x6+1x7<=34 +1x2+1x5+1x6+1x8<=34 +1x2+1x5+1x6+1x9<=34 +1x2+1x5+1x6+1x10<=34 +1x2+1x5+1x7+1x8<=34 +1x2+1x5+1x7+1x9<=34 +1x2+1x5+1x7+1x10<=34 +1x2+1x5+1x8+1x9<=34 +1x2+1x5+1x8+1x10<=34 +1x2+1x5+1x9+1x10<=34 +1x2+1x6+1x7+1x8<=34 +1x2+1x6+1x7+1x9<=34 +1x2+1x6+1x7+1x10<=34 +1x2+1x6+1x8+1x9<=34 +1x2+1x6+1x8+1x10<=34 +1x2+1x6+1x9+1x10<=34 +1x2+1x7+1x8+1x9<=34 +1x2+1x7+1x8+1x10<=34 +1x2+1x7+1x9+1x10<=34 +1x2+1x8+1x9+1x10<=34 +1x3+1x4+1x5+1x6<=34 +1x3+1x4+1x5+1x7<=34 +1x3+1x4+1x5+1x8<=34 +1x3+1x4+1x5+1x9<=34 +1x3+1x4+1x5+1x10<=34 +1x3+1x4+1x6+1x7<=34 +1x3+1x4+1x6+1x8<=34 +1x3+1x4+1x6+1x9<=34 +1x3+1x4+1x6+1x10<=34 +1x3+1x4+1x7+1x8<=34 +1x3+1x4+1x7+1x9<=34 +1x3+1x4+1x7+1x10<=34 +1x3+1x4+1x8+1x9<=34 +1x3+1x4+1x8+1x10<=34 +1x3+1x4+1x9+1x10<=34 +1x3+1x5+1x6+1x7<=34 +1x3+1x5+1x6+1x8<=34 +1x3+1x5+1x6+1x9<=34 +1x3+1x5+1x6+1x10<=34 +1x3+1x5+1x7+1x8<=34 +1x3+1x5+1x7+1x9<=34 +1x3+1x5+1x7+1x10<=34 +1x3+1x5+1x8+1x9<=34 +1x3+1x5+1x8+1x10<=34 +1x3+1x5+1x9+1x10<=34 +1x3+1x6+1x7+1x8<=34 +1x3+1x6+1x7+1x9<=34 +1x3+1x6+1x7+1x10<=34 +1x3+1x6+1x8+1x9<=34 +1x3+1x6+1x8+1x10<=34 +1x3+1x6+1x9+1x10<=34 +1x3+1x7+1x8+1x9<=34 +1x3+1x7+1x8+1x10<=34 +1x3+1x7+1x9+1x10<=34 +1x3+1x8+1x9+1x10<=34 +1x4+1x5+1x6+1x7<=34 +1x4+1x5+1x6+1x8<=34 +1x4+1x5+1x6+1x9<=34 +1x4+1x5+1x6+1x10<=34 +1x4+1x5+1x7+1x8<=34 +1x4+1x5+1x7+1x9<=34 +1x4+1x5+1x7+1x10<=34 +1x4+1x5+1x8+1x9<=34 +1x4+1x5+1x8+1x10<=34 +1x4+1x5+1x9+1x10<=34 +1x4+1x6+1x7+1x8<=34 +1x4+1x6+1x7+1x9<=34 +1x4+1x6+1x7+1x10<=34 +1x4+1x6+1x8+1x9<=34 +1x4+1x6+1x8+1x10<=34 +1x4+1x6+1x9+1x10<=34 +1x4+1x7+1x8+1x9<=34 +1x4+1x7+1x8+1x10<=34 +1x4+1x7+1x9+1x10<=34 +1x4+1x8+1x9+1x10<=34 +1x5+1x6+1x7+1x8<=34 +1x5+1x6+1x7+1x9<=34 +1x5+1x6+1x7+1x10<=34 +1x5+1x6+1x8+1x9<=34 +1x5+1x6+1x8+1x10<=34 +1x5+1x6+1x9+1x10<=34 +1x5+1x7+1x8+1x9<=34 +1x5+1x7+1x8+1x10<=34 +1x5+1x7+1x9+1x10<=34 +1x5+1x8+1x9+1x10<=34 +1x6+1x7+1x8+1x9<=34 +1x6+1x7+1x8+1x10<=34 +1x6+1x7+1x9+1x10<=34 +1x6+1x8+1x9+1x10<=34 +1x7+1x8+1x9+1x10<=34 +1x1+1x2+1x3<=27 +1x1+1x2+1x4<=27 +1x1+1x2+1x5<=27 +1x1+1x2+1x6<=27 +1x1+1x2+1x7<=27 +1x1+1x2+1x8<=27 +1x1+1x2+1x9<=27 +1x1+1x2+1x10<=27 +1x1+1x3+1x4<=27 +1x1+1x3+1x5<=27 +1x1+1x3+1x6<=27 +1x1+1x3+1x7<=27 +1x1+1x3+1x8<=27 +1x1+1x3+1x9<=27 +1x1+1x3+1x10<=27 +1x1+1x4+1x5<=27 +1x1+1x4+1x6<=27 +1x1+1x4+1x7<=27 +1x1+1x4+1x8<=27 +1x1+1x4+1x9<=27 +1x1+1x4+1x10<=27 +1x1+1x5+1x6<=27 +1x1+1x5+1x7<=27 +1x1+1x5+1x8<=27 +1x1+1x5+1x9<=27 +1x1+1x5+1x10<=27 +1x1+1x6+1x7<=27 +1x1+1x6+1x8<=27 +1x1+1x6+1x9<=27 +1x1+1x6+1x10<=27 +1x1+1x7+1x8<=27 +1x1+1x7+1x9<=27 +1x1+1x7+1x10<=27 +1x1+1x8+1x9<=27 +1x1+1x8+1x10<=27 +1x1+1x9+1x10<=27 +1x2+1x3+1x4<=27 +1x2+1x3+1x5<=27 +1x2+1x3+1x6<=27 +1x2+1x3+1x7<=27 +1x2+1x3+1x8<=27 +1x2+1x3+1x9<=27 +1x2+1x3+1x10<=27 +1x2+1x4+1x5<=27 +1x2+1x4+1x6<=27 +1x2+1x4+1x7<=27 +1x2+1x4+1x8<=27 +1x2+1x4+1x9<=27 +1x2+1x4+1x10<=27 +1x2+1x5+1x6<=27 +1x2+1x5+1x7<=27 +1x2+1x5+1x8<=27 +1x2+1x5+1x9<=27 +1x2+1x5+1x10<=27 +1x2+1x6+1x7<=27 +1x2+1x6+1x8<=27 +1x2+1x6+1x9<=27 +1x2+1x6+1x10<=27 +1x2+1x7+1x8<=27 +1x2+1x7+1x9<=27 +1x2+1x7+1x10<=27 +1x2+1x8+1x9<=27 +1x2+1x8+1x10<=27 +1x2+1x9+1x10<=27 +1x3+1x4+1x5<=27 +1x3+1x4+1x6<=27 +1x3+1x4+1x7<=27 +1x3+1x4+1x8<=27 +1x3+1x4+1x9<=27 +1x3+1x4+1x10<=27 +1x3+1x5+1x6<=27 +1x3+1x5+1x7<=27 +1x3+1x5+1x8<=27 +1x3+1x5+1x9<=27 +1x3+1x5+1x10<=27 +1x3+1x6+1x7<=27 +1x3+1x6+1x8<=27 +1x3+1x6+1x9<=27 +1x3+1x6+1x10<=27 +1x3+1x7+1x8<=27 +1x3+1x7+1x9<=27 +1x3+1x7+1x10<=27 +1x3+1x8+1x9<=27 +1x3+1x8+1x10<=27 +1x3+1x9+1x10<=27 +1x4+1x5+1x6<=27 +1x4+1x5+1x7<=27 +1x4+1x5+1x8<=27 +1x4+1x5+1x9<=27 +1x4+1x5+1x10<=27 +1x4+1x6+1x7<=27 +1x4+1x6+1x8<=27 +1x4+1x6+1x9<=27 +1x4+1x6+1x10<=27 +1x4+1x7+1x8<=27 +1x4+1x7+1x9<=27 +1x4+1x7+1x10<=27 +1x4+1x8+1x9<=27 +1x4+1x8+1x10<=27 +1x4+1x9+1x10<=27 +1x5+1x6+1x7<=27 +1x5+1x6+1x8<=27 +1x5+1x6+1x9<=27 +1x5+1x6+1x10<=27 +1x5+1x7+1x8<=27 +1x5+1x7+1x9<=27 +1x5+1x7+1x10<=27 +1x5+1x8+1x9<=27 +1x5+1x8+1x10<=27 +1x5+1x9+1x10<=27 +1x6+1x7+1x8<=27 +1x6+1x7+1x9<=27 +1x6+1x7+1x10<=27 +1x6+1x8+1x9<=27 +1x6+1x8+1x10<=27 +1x6+1x9+1x10<=27 +1x7+1x8+1x9<=27 +1x7+1x8+1x10<=27 +1x7+1x9+1x10<=27 +1x8+1x9+1x10<=27 +1x1+1x2<=19 +1x1+1x3<=19 +1x1+1x4<=19 +1x1+1x5<=19 +1x1+1x6<=19 +1x1+1x7<=19 +1x1+1x8<=19 +1x1+1x9<=19 +1x1+1x10<=19 +1x2+1x3<=19 +1x2+1x4<=19 +1x2+1x5<=19 +1x2+1x6<=19 +1x2+1x7<=19 +1x2+1x8<=19 +1x2+1x9<=19 +1x2+1x10<=19 +1x3+1x4<=19 +1x3+1x5<=19 +1x3+1x6<=19 +1x3+1x7<=19 +1x3+1x8<=19 +1x3+1x9<=19 +1x3+1x10<=19 +1x4+1x5<=19 +1x4+1x6<=19 +1x4+1x7<=19 +1x4+1x8<=19 +1x4+1x9<=19 +1x4+1x10<=19 +1x5+1x6<=19 +1x5+1x7<=19 +1x5+1x8<=19 +1x5+1x9<=19 +1x5+1x10<=19 +1x6+1x7<=19 +1x6+1x8<=19 +1x6+1x9<=19 +1x6+1x10<=19 +1x7+1x8<=19 +1x7+1x9<=19 +1x7+1x10<=19 +1x8+1x9<=19 +1x8+1x10<=19 +1x9+1x10<=19 +1x1<=10 +1x2<=10 +1x3<=10 +1x4<=10 +1x5<=10 +1x6<=10 +1x7<=10 +1x8<=10 +1x9<=10 +1x10<=10 END