DIM = 60 INEQUALITIES_SECTION +384x1-192x3-768x6+512x9+768x13-768x19-192x33+384x39-64x51<=64 -2x9+6x10-6x11+2x12+2x28-6x29+6x30-2x31<=0 -2x9+2x10+2x11-2x12+2x28-2x29-2x30+2x31<=0 -2x9-2x10+2x11+2x12+2x28+2x29-2x30-2x31<=0 -2x9-6x10-6x11-2x12+2x28+6x29+6x30+2x31<=0 -4x6+8x7-4x8+8x9-16x10+8x11-4x28+8x29-4x30<=0 -4x6+4x8+8x9-8x11-4x28+4x30<=0 -4x6-8x7-4x8+8x9+16x10+8x11-4x28-8x29-4x30<=0 -8x1+8x2+24x6-24x7-24x9+24x10+8x28-8x29<=0 -8x1-8x2+24x6+24x7-24x9-24x10+8x28+8x29<=0 +64x1-96x6+64x9-16x28<=16 -1x51+6x52-12x53-3x54+12x55+8x56-3x57-12x58+6x59-1x60<=0 -1x51+4x52-4x53-1x54+1x57+4x58-4x59+1x60<=0 -1x51+2x52+1x54-4x55+1x57+2x59-1x60<=0 -1x51+2x52+4x53-3x54+4x55-8x56-3x57+4x58+2x59-1x60<=0 -1x51+4x53-1x54+1x57-4x58+1x60<=0 -1x51+3x54-3x57+1x60<=0 -1x51-2x52+4x53-3x54-4x55+8x56-3x57+4x58-2x59-1x60<=0 -1x51-2x52+1x54+4x55+1x57-2x59-1x60<=0 -1x51-4x52-4x53-1x54+1x57+4x58+4x59+1x60<=0 -1x51-6x52-12x53-3x54-12x55-8x56-3x57-12x58-6x59-1x60<=0 -2x39+8x40+2x41-8x42-4x43-8x44+4x45+8x46+8x47-8x48-2x49+2x50+2x51-10x52+16x53+4x54-12x55-8x56+2x57+8x58-2x59<=0 -2x39+4x40+2x41-4x42-4x47+4x48+2x49-2x50+2x51-6x52+4x53+4x55-2x57-4x58+2x59<=0 -2x39+8x40-2x41+8x42-4x43-8x44-4x45-8x46+8x47+8x48-2x49-2x50+2x51-6x52+4x54-4x55+8x56+2x57-8x58+2x59<=0 -2x39+4x40-2x41+4x42-4x47-4x48+2x49+2x50+2x51-2x52-4x53+4x55-2x57+4x58-2x59<=0 -2x39+2x41-4x43+8x44+4x45-8x46-2x49+2x50+2x51-2x52-8x53+4x54-4x55+8x56+2x57-2x59<=0 -2x39+2x41+4x43-4x45-2x49+2x50+2x51-2x52-4x54+4x55+2x57-2x59<=0 -2x39-2x41-4x43+8x44-4x45+8x46-2x49-2x50+2x51+2x52-8x53+4x54+4x55-8x56+2x57+2x59<=0 -2x39-2x41+4x43+4x45-2x49-2x50+2x51+2x52-4x54-4x55+2x57+2x59<=0 -2x39-4x40+2x41+4x42+4x47-4x48+2x49-2x50+2x51+2x52-4x53-4x55-2x57+4x58+2x59<=0 -2x39-4x40-2x41-4x42+4x47+4x48+2x49+2x50+2x51+6x52+4x53-4x55-2x57-4x58-2x59<=0 -2x39-8x40+2x41+8x42-4x43-8x44+4x45+8x46-8x47+8x48-2x49+2x50+2x51+6x52+4x54+4x55-8x56+2x57-8x58-2x59<=0 -2x39-8x40-2x41-8x42-4x43-8x44-4x45-8x46-8x47-8x48-2x49-2x50+2x51+10x52+16x53+4x54+12x55+8x56+2x57+8x58+2x59<=0 -4x19+8x20+8x21-4x22-16x23-4x24+8x25+8x26-4x27+8x39-24x40-8x41+24x42+8x43+16x44-8x45-16x46-8x47+8x48-4x51+16x52-20x53-4x54+8x55+8x56-4x58<=0 -4x19+8x21+4x22-4x24-8x25+4x27+8x39-16x40-8x42+8x43+16x46-8x48-4x51+8x52+4x53-4x54-8x56+4x58<=0 -4x19+8x20-4x22+4x24-8x26+4x27+8x39-8x40-8x41+8x42-8x43+8x45+8x47-8x48-4x51+8x52-4x53+4x54-8x55+4x58<=0 -4x19-8x20+8x21-4x22+16x23-4x24+8x25-8x26-4x27+8x39-8x40+8x41-8x42+8x43-16x44+8x45-16x46+8x47+8x48-4x51+12x53-4x54-8x55+8x56-4x58<=0 -4x19+4x22+4x24-4x27+8x39-8x42-8x43+8x48-4x51+4x53+4x54-4x58<=0 -4x19+8x20-8x21-4x22+16x23-4x24-8x25+8x26-4x27+8x39+8x40-8x41-8x42+8x43-16x44-8x45+16x46-8x47+8x48-4x51+12x53-4x54+8x55-8x56-4x58<=0 -4x19-8x20-4x22+4x24+8x26+4x27+8x39+8x40+8x41+8x42-8x43-8x45-8x47-8x48-4x51-8x52-4x53+4x54+8x55+4x58<=0 -4x19-8x21+4x22-4x24+8x25+4x27+8x39+16x40-8x42+8x43-16x46-8x48-4x51-8x52+4x53-4x54+8x56+4x58<=0 -4x19-8x20-8x21-4x22-16x23-4x24-8x25-8x26-4x27+8x39+24x40+8x41+24x42+8x43+16x44+8x45+16x46+8x47+8x48-4x51-16x52-20x53-4x54-8x55-8x56-4x58<=0 -4x33+16x34-8x35-16x36+16x37-4x38+8x39-32x40+16x43+32x44-32x47+8x49-4x51+16x52-16x53-8x54+16x55-4x57<=0 -4x33+8x34-8x37+4x38+8x39-16x40+16x47-8x49-4x51+8x52-8x55+4x57<=0 -4x33-8x35+16x36-4x38+8x39+16x43-32x44+8x49-4x51+16x53-8x54-4x57<=0 -4x33+8x35-4x38+8x39-16x43+8x49-4x51+8x54-4x57<=0 -4x33-8x34+8x37+4x38+8x39+16x40-16x47-8x49-4x51-8x52+8x55+4x57<=0 -4x33-16x34-8x35-16x36-16x37-4x38+8x39+32x40+16x43+32x44+32x47+8x49-4x51-16x52-16x53-8x54-16x55-4x57<=0 -8x13+8x14+16x15-16x16-8x17+8x18+16x19-16x20-32x21+32x23+16x24-16x26+8x33-24x34+8x35+16x36-8x37-24x39+64x40+8x41-16x42-24x43-32x44+8x45+16x47+8x51-24x52+16x53+8x54-8x55<=0 -8x13-8x14+16x15+16x16-8x17-8x18+16x19+16x20-32x21-32x23+16x24+16x26+8x33-8x34+8x35-16x36+8x37-24x39+32x40-8x41+16x42-24x43+32x44-8x45-16x47+8x51-8x52-16x53+8x54+8x55<=0 -8x13+8x14+8x17-8x18+16x19-16x20-16x24+16x26+8x33-8x34-8x35+8x37-24x39+16x40+8x41+24x43-8x45-16x47+8x51-8x52-8x54+8x55<=0 -8x13-8x14+8x17+8x18+16x19+16x20-16x24-16x26+8x33+8x34-8x35-8x37-24x39-16x40-8x41+24x43+8x45+16x47+8x51+8x52-8x54-8x55<=0 -8x13+8x14-16x15+16x16-8x17+8x18+16x19-16x20+32x21-32x23+16x24-16x26+8x33+8x34+8x35-16x36-8x37-24x39-32x40+8x41+16x42-24x43+32x44+8x45+16x47+8x51+8x52-16x53+8x54-8x55<=0 -8x13-8x14-16x15-16x16-8x17-8x18+16x19+16x20+32x21+32x23+16x24+16x26+8x33+24x34+8x35+16x36+8x37-24x39-64x40-8x41-16x42-24x43-32x44-8x45-16x47+8x51+24x52+16x53+8x54+8x55<=0 -8x9+24x10-24x11+8x12+24x19-48x20-24x21+24x22+48x23-24x25-24x39+48x40+24x41-48x42-24x44+24x46+8x51-24x52+24x53-8x56<=0 -8x9+8x10+8x11-8x12+24x19-16x20-8x21-8x22-16x23+24x25-24x39+16x40+8x41+16x42+8x44-24x46+8x51-8x52-8x53+8x56<=0 -8x9-8x10+8x11+8x12+24x19+16x20+8x21-8x22-16x23-24x25-24x39-16x40-8x41+16x42+8x44+24x46+8x51+8x52-8x53-8x56<=0 -8x9-24x10-24x11-8x12+24x19+48x20+24x21+24x22+48x23+24x25-24x39-48x40-24x41-48x42-24x44-24x46+8x51+24x52+24x53+8x56<=0 -16x3+32x4-16x5+64x13-128x15+64x17-64x19+128x21-64x24-32x33+64x34-32x35+64x39-128x40+64x43-16x51+32x52-16x54<=0 -16x3+16x5+64x13-64x17-64x19+64x24-32x33+32x35+64x39-64x43-16x51+16x54<=0 -16x3-32x4-16x5+64x13+128x15+64x17-64x19-128x21-64x24-32x33-64x34-32x35+64x39+128x40+64x43-16x51-32x52-16x54<=0 -16x6+32x7-16x8+32x9-64x10+32x11+32x13-32x14-32x15+32x16-80x19+96x20+64x21-16x22-64x23-16x33+32x34-16x36+64x39-96x40-32x41+32x42+32x44-16x51+32x52-16x53<=0 -16x6+16x8+32x9-32x11+32x13-32x16-80x19+16x22+64x23-16x33+16x36+64x39-32x42-32x44-16x51+16x53<=0 -16x6-32x7-16x8+32x9+64x10+32x11+32x13+32x14+32x15+32x16-80x19-96x20-64x21-16x22-64x23-16x33-32x34-16x36+64x39+96x40+32x41+32x42+32x44-16x51-32x52-16x53<=0 -32x1+32x2+32x3-32x4+128x6-128x7-128x9+128x10-192x13+64x14+128x15+256x19-128x20-128x21+64x33-64x34-160x39+128x40+32x41+32x51-32x52<=0 -32x1-32x2+32x3+32x4+128x6+128x7-128x9-128x10-192x13-64x14-128x15+256x19+128x20+128x21+64x33+64x34-160x39-128x40-32x41+32x51+32x52<=0 -1x28+4x29-6x30+4x31-1x32<=0 -1x28+2x29-2x31+1x32<=0 -1x28+2x30-1x32<=0 -1x28-2x29+2x31+1x32<=0 -1x28-4x29-6x30-4x31-1x32<=0 END