DIM = 22 INEQUALITIES_SECTION +2000000000000000000000x1+200000000000000000000x2+20000000000000000000x3+2000000000000000000x4+200000000000000000x5+20000000000000000x6+2000000000000000x7+200000000000000x8+20000000000000x9+2000000000000x10+200000000000x11+20000000000x12+2000000000x13+200000000x14+20000000x15+2000000x16+200000x17+20000x18+2000x19+200x20+20x21+1x22<=1000000000000000000000000000000000000000000 +200000000000000000000x1+20000000000000000000x2+2000000000000000000x3+200000000000000000x4+20000000000000000x5+2000000000000000x6+200000000000000x7+20000000000000x8+2000000000000x9+200000000000x10+20000000000x11+2000000000x12+200000000x13+20000000x14+2000000x15+200000x16+20000x17+2000x18+200x19+20x20+1x21<=10000000000000000000000000000000000000000 +20000000000000000000x1+2000000000000000000x2+200000000000000000x3+20000000000000000x4+2000000000000000x5+200000000000000x6+20000000000000x7+2000000000000x8+200000000000x9+20000000000x10+2000000000x11+200000000x12+20000000x13+2000000x14+200000x15+20000x16+2000x17+200x18+20x19+1x20<=100000000000000000000000000000000000000 +2000000000000000000x1+200000000000000000x2+20000000000000000x3+2000000000000000x4+200000000000000x5+20000000000000x6+2000000000000x7+200000000000x8+20000000000x9+2000000000x10+200000000x11+20000000x12+2000000x13+200000x14+20000x15+2000x16+200x17+20x18+1x19<=1000000000000000000000000000000000000 +200000000000000000x1+20000000000000000x2+2000000000000000x3+200000000000000x4+20000000000000x5+2000000000000x6+200000000000x7+20000000000x8+2000000000x9+200000000x10+20000000x11+2000000x12+200000x13+20000x14+2000x15+200x16+20x17+1x18<=10000000000000000000000000000000000 +20000000000000000x1+2000000000000000x2+200000000000000x3+20000000000000x4+2000000000000x5+200000000000x6+20000000000x7+2000000000x8+200000000x9+20000000x10+2000000x11+200000x12+20000x13+2000x14+200x15+20x16+1x17<=100000000000000000000000000000000 +2000000000000000x1+200000000000000x2+20000000000000x3+2000000000000x4+200000000000x5+20000000000x6+2000000000x7+200000000x8+20000000x9+2000000x10+200000x11+20000x12+2000x13+200x14+20x15+1x16<=1000000000000000000000000000000 +200000000000000x1+20000000000000x2+2000000000000x3+200000000000x4+20000000000x5+2000000000x6+200000000x7+20000000x8+2000000x9+200000x10+20000x11+2000x12+200x13+20x14+1x15<=10000000000000000000000000000 +20000000000000x1+2000000000000x2+200000000000x3+20000000000x4+2000000000x5+200000000x6+20000000x7+2000000x8+200000x9+20000x10+2000x11+200x12+20x13+1x14<=100000000000000000000000000 +2000000000000x1+200000000000x2+20000000000x3+2000000000x4+200000000x5+20000000x6+2000000x7+200000x8+20000x9+2000x10+200x11+20x12+1x13<=1000000000000000000000000 +200000000000x1+20000000000x2+2000000000x3+200000000x4+20000000x5+2000000x6+200000x7+20000x8+2000x9+200x10+20x11+1x12<=10000000000000000000000 +20000000000x1+2000000000x2+200000000x3+20000000x4+2000000x5+200000x6+20000x7+2000x8+200x9+20x10+1x11<=100000000000000000000 +2000000000x1+200000000x2+20000000x3+2000000x4+200000x5+20000x6+2000x7+200x8+20x9+1x10<=1000000000000000000 +200000000x1+20000000x2+2000000x3+200000x4+20000x5+2000x6+200x7+20x8+1x9<=10000000000000000 +20000000x1+2000000x2+200000x3+20000x4+2000x5+200x6+20x7+1x8<=100000000000000 +2000000x1+200000x2+20000x3+2000x4+200x5+20x6+1x7<=1000000000000 +200000x1+20000x2+2000x3+200x4+20x5+1x6<=10000000000 +20000x1+2000x2+200x3+20x4+1x5<=100000000 +2000x1+200x2+20x3+1x4<=1000000 +200x1+20x2+1x3<=10000 +20x1+1x2<=100 +1x1<=1 -1x1<=0 -1x2<=0 -1x3<=0 -1x4<=0 -1x5<=0 -1x6<=0 -1x7<=0 -1x8<=0 -1x9<=0 -1x10<=0 -1x11<=0 -1x12<=0 -1x13<=0 -1x14<=0 -1x15<=0 -1x16<=0 -1x17<=0 -1x18<=0 -1x19<=0 -1x20<=0 -1x21<=0 -1x22<=0 END