value_3945695254.lp

maximize cost: 925 x2 + 925 x3 + 633 x4 + 619 x5
 + 1 xa + 1 xb + 124 x10 + 284 x11 + 164 x16
 + 164 x17 + 1 x18 + 247 x1b + 1030 x1e + 3 x24
 + 641 x27 + 472 x28 + 1055 x29 + 87 x2c + 165 x2f
 + 198 x32 + 6 x33 + 7 x34 + 7 x35 + 454 x36
 + 454 x37 + 153 x39 + 2 x3e + 6 x3f + 6 x40
 + 452 x41 + 5 x46 + 2 x4e + 6 x4f + 247 x50
 + 245 x52 + 1 x55 + 5 x58 + 5 x59 + 6 x5d
 + 2 x5e + 10 x62 + 10 x63 + 4 x66 + 145 x67
 + 193 x6d + 4 x6e + 5 x6f + 39 x71 + 3 x74
 + 3 x75 + 9 x79 + 6 x7a + 5 x7e + 4 x85
 + 6 x86 + 6 x87 + 2 x88 + 4 x8a + 5 x8c
 + 6 x8e + 10 x90 + 10 x91 + 198 x92 + 4 x93
 + 211 x94 + 6 x96 + 4 x98 + 2 x9b + 2 x9c
 + 6 xa0 + 6 xa1 + 2 xa2 + 4 xa6 + 10 xa7
 + 10 xa8 + 459 xaa + 459 xab + 234 xaf + 246 xb1
 + 5 xb2 + 4 xb6 + 5 xbb + 5 xbc + 2 xbd
 + 9 xc0 + 9 xc1 + 440 xc2 + 4 xc6 + 5 xc7
 + 244 xc8 + 6 xd1 + 6 xd2 + 2 xd3 + 5 xd4
 + 5 xd5 + 4 xd6 + 5 xd7 + 424 xd9 + 6 xdc
 + 153 xdd + 10 xde + 10 xdf + 10 xe3 + 10 xe4
 + 4 xe6 + 211 xe7 + 4 xea + 145 xeb + 6 xf3
 + 6 xf4 + 2 xfa + 2 xfb + 6 x101 + 6 x102
 + 4 x107 + 10 x108 + 10 x109 + 234 x10f + 6 x111
 + 6 x112 + 4 x11e + 399 x121 + 399 x122 + 5 x125
 + 3 x12f + 172 x132 + 5 x133 + 39 x134 + 6 x137
 + 4 x13a + 198 x13d + 6 x13e + 7 x13f + 7 x140
 + 4 x141 + 5 x142 + 153 x144 + 2 x149 + 6 x14a
 + 6 x14b + 9 x14c + 5 x151 + 2 x159 + 6 x15a
 + 433 x15b + 4 x15d + 1 x160 + 2 x163 + 2 x164
 + 6 x168 + 2 x169 + 10 x16d + 10 x16e + 4 x171
 + 241 x172 + 193 x178 + 4 x179 + 5 x17a + 39 x17c
 + 3 x17f + 3 x180 + 9 x184 + 6 x185 + 5 x189
 + 4 x190 + 6 x191 + 6 x192 + 2 x193 + 4 x195
 + 5 x197 + 6 x199 + 10 x19b + 10 x19c + 198 x19d
 + 4 x19e + 218 x19f + 6 x1a1 + 4 x1a3 + 2 x1a6
 + 2 x1a7 + 6 x1ab + 6 x1ac + 2 x1ad + 4 x1b1
 + 10 x1b2 + 10 x1b3 + 9 x1b5 + 9 x1b6 + 234 x1ba
 + 4 x1bc + 5 x1bd + 4 x1c1 + 3 x1c6 + 3 x1c7
 + 2 x1c8 + 9 x1cb + 9 x1cc + 440 x1cd + 4 x1d1
 + 5 x1d2 + 4 x1d3 + 6 x1dc + 6 x1dd + 2 x1de
 + 2 x1df + 2 x1e0 + 4 x1e1 + 5 x1e2 + 424 x1e4
 + 6 x1e7 + 153 x1e8 + 10 x1e9 + 10 x1ea + 10 x1ee
 + 10 x1ef + 4 x1f1 + 225 x1f2 + 4 x1f5 + 248 x1f6
 + 6 x1fe + 6 x1ff + 2 x205 + 2 x206 + 6 x20c
 + 6 x20d + 4 x212 + 10 x213 + 10 x214 + 234 x21a
 + 6 x21c + 6 x21d + 4 x229
subject to
z = 0
o = 1
x1 = 1
x19 + x1f = 1
x1 - x2 - x3 = 0
x2 - x4 = 0
x3 - x5 = 0
x4 - x6 = 0
x5 - x7 = 0
x6 - x8 = 0
x7 - x9 = 0
x8 - xa = 0
x9 - xb = 0
xa - xc = 0
xb - xd = 0
xc - xe = 0
xd - xf = 0
xe - x10 = 0
xf - x11 = 0
x10 - x12 = 0
x11 - x13 = 0
x12 - x14 = 0
x13 - x15 = 0
x14 - x16 - x17 = 0
x15 - x18 = 0
x16 + x127 - x1a = 0
x17 - x1b = 0
x18 - x19 = 0
x1a - x1c = 0
x1b - x1d = 0
x1c - x1e = 0
x1d - x20 = 0
x1e - x1f = 0
x20 - x21 = 0
x21 - x22 = 0
x22 - x23 = 0
x23 - x24 = 0
x24 - x25 = 0
x25 - x26 = 0
x26 - x27 = 0
x27 - x28 = 0
x28 - x29 = 0
x29 - x2a = 0
x2a - x2b = 0
x2b - x2c = 0
x2c - x2d = 0
x2d + x43 - x2e = 0
x2e - x2f = 0
x2f - x30 = 0
x30 - x31 = 0
x31 - x32 = 0
x32 - x33 = 0
x33 - x34 - x35 = 0
x34 - x36 = 0
x35 - x37 = 0
x36 - x38 = 0
x37 + x8b - x39 = 0
x38 - x3a = 0
x39 - x3b = 0
x3a - x3c = 0
x3b - x3d = 0
x3c - x3e = 0
x3d - x3f - x40 = 0
x3e - x41 = 0
x3f - x42 = 0
x40 + x49 - x44 - x45 = 0
x41 - x46 = 0
x42 - x43 = 0
x44 - x47 = 0
x45 - x48 = 0
x46 - x4a = 0
x47 - x4b = 0
x48 - x49 = 0
x4a - x4c = 0
x4b - x4d = 0
x4c - x4e = 0
x4d - x4f = 0
x4e - x50 = 0
x4f - x51 = 0
x50 - x52 = 0
x51 + x116 - x53 = 0
x52 - x54 = 0
x53 - x55 = 0
x54 + x6c - x56 = 0
x55 - x57 = 0
x56 - x58 - x59 = 0
x57 - x5a = 0
x58 + x61 - x5b - x5c = 0
x59 - x5d = 0
x5a - x5e = 0
x5b - x5f = 0
x5c - x60 = 0
x5d - x62 - x63 = 0
x5e - x64 = 0
x5f - x65 = 0
x60 - x61 = 0
x62 + x68 - x66 = 0
x63 - x67 = 0
x64 - x69 = 0
x65 - x6a = 0
x66 - x6b = 0
x67 - x68 = 0
x69 - x6d = 0
x6a - x6e = 0
x6b - x6c = 0
x6d - x6f = 0
x6e - x70 = 0
x6f - x71 = 0
x70 + xba - x72 = 0
x71 - x73 = 0
x72 - x74 - x75 = 0
x73 - x76 = 0
x74 + x7d - x77 - x78 = 0
x75 - x79 = 0
x76 - x7a = 0
x77 - x7b = 0
x78 - x7c = 0
x79 - x7e = 0
x7a - x7f = 0
x7b - x80 = 0
x7c - x7d = 0
x7e - x81 = 0
x7f + xf7 - x82 = 0
x80 - x83 = 0
x81 - x84 = 0
x82 - x85 = 0
x83 - x86 - x87 = 0
x84 - x88 = 0
x85 - x89 = 0
x86 + x8d - x8a = 0
x87 - x8c = 0
x88 - x8e = 0
x89 - x8f = 0
x8a - x8b = 0
x8c - x8d = 0
x8e - x90 - x91 = 0
x8f - x92 = 0
x90 + x95 - x93 = 0
x91 - x94 = 0
x92 - x96 = 0
x93 - x97 = 0
x94 - x95 = 0
x96 - x98 = 0
x97 + xae - x99 = 0
x98 - x9a = 0
x99 - x9b - x9c = 0
x9a - x9d = 0
x9b + xa5 - x9e - x9f = 0
x9c - xa0 - xa1 = 0
x9d - xa2 = 0
x9e - xa3 = 0
x9f - xa4 = 0
xa0 + xa9 + xb0 - xa6 = 0
xa1 - xa7 - xa8 = 0
xa2 - xaa - xab = 0
xa3 - xac = 0
xa4 - xa5 = 0
xa6 - xad = 0
xa7 - xa9 = 0
xa8 - xaf = 0
xaa + xf0 - xb1 = 0
xab - xb2 = 0
xac - xb3 = 0
xad - xae = 0
xaf - xb0 = 0
xb1 - xb4 = 0
xb2 - xb5 = 0
xb3 - xb6 = 0
xb4 + xcb - xb7 = 0
xb5 - xb8 = 0
xb6 - xb9 = 0
xb7 - xbb - xbc = 0
xb8 - xbd = 0
xb9 - xba = 0
xbb + xc5 - xbe - xbf = 0
xbc - xc0 - xc1 = 0
xbd - xc2 = 0
xbe - xc3 = 0
xbf - xc4 = 0
xc0 + x114 - xc6 = 0
xc1 - xc7 = 0
xc2 - xc8 = 0
xc3 - xc9 = 0
xc4 - xc5 = 0
xc6 - xca = 0
xc7 - xcc = 0
xc8 - xcd = 0
xc9 - xce = 0
xca - xcb = 0
xcc - xcf = 0
xcd + xf2 - xd0 = 0
xce - xd1 - xd2 = 0
xcf - xd3 = 0
xd0 - xd4 - xd5 = 0
xd1 + xd8 - xd6 = 0
xd2 - xd7 = 0
xd3 - xd9 = 0
xd4 + xe2 - xda - xdb = 0
xd5 - xdc = 0
xd6 - xdd = 0
xd7 - xd8 = 0
xd9 - xde - xdf = 0
xda - xe0 = 0
xdb - xe1 = 0
xdc - xe3 - xe4 = 0
xdd - xe5 = 0
xde + xe8 - xe6 = 0
xdf - xe7 = 0
xe0 - xe9 = 0
xe1 - xe2 = 0
xe3 + xec - xea = 0
xe4 - xeb = 0
xe5 - xed = 0
xe6 - xee = 0
xe7 - xe8 = 0
xe9 - xef = 0
xea - xf1 = 0
xeb - xec = 0
xed - xf3 - xf4 = 0
xee + x10e - xf5 = 0
xef - xf0 = 0
xf1 - xf2 = 0
xf3 - xf6 = 0
xf4 + xfe - xf8 - xf9 = 0
xf5 - xfa - xfb = 0
xf6 - xf7 = 0
xf8 - xfc = 0
xf9 - xfd = 0
xfa + x106 - xff - x100 = 0
xfb - x101 - x102 = 0
xfc - x103 = 0
xfd - xfe = 0
xff - x104 = 0
x100 - x105 = 0
x101 + x10a + x110 - x107 = 0
x102 - x108 - x109 = 0
x103 - x10b = 0
x104 - x10c = 0
x105 - x106 = 0
x107 - x10d = 0
x108 - x10a = 0
x109 - x10f = 0
x10b - x111 - x112 = 0
x10c - x113 = 0
x10d - x10e = 0
x10f - x110 = 0
x111 - x115 = 0
x112 + x11b - x117 - x118 = 0
x113 - x114 = 0
x115 - x116 = 0
x117 - x119 = 0
x118 - x11a = 0
x119 - x11c = 0
x11a - x11b = 0
x11c - x11d = 0
x11d - x11e = 0
x11e - x11f = 0
x11f + x22b - x120 = 0
x120 - x121 - x122 = 0
x121 + x129 - x123 - x124 = 0
x122 - x125 = 0
x123 - x126 = 0
x124 - x128 = 0
x125 - x12a = 0
x126 - x127 = 0
x128 - x129 = 0
x12a - x12b = 0
x12b - x12c = 0
x12c - x12d = 0
x12d - x12e = 0
x12e - x12f = 0
x12f - x130 = 0
x130 - x131 = 0
x131 - x132 = 0
x132 - x133 = 0
x133 - x134 = 0
x134 - x135 = 0
x135 - x136 = 0
x136 - x137 = 0
x137 - x138 = 0
x138 + x14e - x139 = 0
x139 - x13a = 0
x13a - x13b = 0
x13b - x13c = 0
x13c - x13d = 0
x13d - x13e = 0
x13e - x13f - x140 = 0
x13f - x141 = 0
x140 - x142 = 0
x141 - x143 = 0
x142 + x196 - x144 = 0
x143 - x145 = 0
x144 - x146 = 0
x145 - x147 = 0
x146 - x148 = 0
x147 - x149 = 0
x148 - x14a - x14b = 0
x149 - x14c = 0
x14a - x14d = 0
x14b + x154 - x14f - x150 = 0
x14c - x151 = 0
x14d - x14e = 0
x14f - x152 = 0
x150 - x153 = 0
x151 - x155 = 0
x152 - x156 = 0
x153 - x154 = 0
x155 - x157 = 0
x156 - x158 = 0
x157 - x159 = 0
x158 - x15a = 0
x159 - x15b = 0
x15a - x15c = 0
x15b - x15d = 0
x15c + x221 - x15e = 0
x15d - x15f = 0
x15e - x160 = 0
x15f + x177 - x161 = 0
x160 - x162 = 0
x161 - x163 - x164 = 0
x162 - x165 = 0
x163 + x16c - x166 - x167 = 0
x164 - x168 = 0
x165 - x169 = 0
x166 - x16a = 0
x167 - x16b = 0
x168 - x16d - x16e = 0
x169 - x16f = 0
x16a - x170 = 0
x16b - x16c = 0
x16d + x173 - x171 = 0
x16e - x172 = 0
x16f - x174 = 0
x170 - x175 = 0
x171 - x176 = 0
x172 - x173 = 0
x174 - x178 = 0
x175 - x179 = 0
x176 - x177 = 0
x178 - x17a = 0
x179 - x17b = 0
x17a - x17c = 0
x17b + x1c5 - x17d = 0
x17c - x17e = 0
x17d - x17f - x180 = 0
x17e - x181 = 0
x17f + x188 - x182 - x183 = 0
x180 - x184 = 0
x181 - x185 = 0
x182 - x186 = 0
x183 - x187 = 0
x184 - x189 = 0
x185 - x18a = 0
x186 - x18b = 0
x187 - x188 = 0
x189 - x18c = 0
x18a + x202 - x18d = 0
x18b - x18e = 0
x18c - x18f = 0
x18d - x190 = 0
x18e - x191 - x192 = 0
x18f - x193 = 0
x190 - x194 = 0
x191 + x198 - x195 = 0
x192 - x197 = 0
x193 - x199 = 0
x194 - x19a = 0
x195 - x196 = 0
x197 - x198 = 0
x199 - x19b - x19c = 0
x19a - x19d = 0
x19b + x1a0 - x19e = 0
x19c - x19f = 0
x19d - x1a1 = 0
x19e - x1a2 = 0
x19f - x1a0 = 0
x1a1 - x1a3 = 0
x1a2 + x1b9 - x1a4 = 0
x1a3 - x1a5 = 0
x1a4 - x1a6 - x1a7 = 0
x1a5 - x1a8 = 0
x1a6 + x1b0 - x1a9 - x1aa = 0
x1a7 - x1ab - x1ac = 0
x1a8 - x1ad = 0
x1a9 - x1ae = 0
x1aa - x1af = 0
x1ab + x1b4 + x1bb - x1b1 = 0
x1ac - x1b2 - x1b3 = 0
x1ad - x1b5 - x1b6 = 0
x1ae - x1b7 = 0
x1af - x1b0 = 0
x1b1 - x1b8 = 0
x1b2 - x1b4 = 0
x1b3 - x1ba = 0
x1b5 + x1fb - x1bc = 0
x1b6 - x1bd = 0
x1b7 - x1be = 0
x1b8 - x1b9 = 0
x1ba - x1bb = 0
x1bc - x1bf = 0
x1bd - x1c0 = 0
x1be - x1c1 = 0
x1bf + x1d6 - x1c2 = 0
x1c0 - x1c3 = 0
x1c1 - x1c4 = 0
x1c2 - x1c6 - x1c7 = 0
x1c3 - x1c8 = 0
x1c4 - x1c5 = 0
x1c6 + x1d0 - x1c9 - x1ca = 0
x1c7 - x1cb - x1cc = 0
x1c8 - x1cd = 0
x1c9 - x1ce = 0
x1ca - x1cf = 0
x1cb + x21f - x1d1 = 0
x1cc - x1d2 = 0
x1cd - x1d3 = 0
x1ce - x1d4 = 0
x1cf - x1d0 = 0
x1d1 - x1d5 = 0
x1d2 - x1d7 = 0
x1d3 - x1d8 = 0
x1d4 - x1d9 = 0
x1d5 - x1d6 = 0
x1d7 - x1da = 0
x1d8 + x1fd - x1db = 0
x1d9 - x1dc - x1dd = 0
x1da - x1de = 0
x1db - x1df - x1e0 = 0
x1dc + x1e3 - x1e1 = 0
x1dd - x1e2 = 0
x1de - x1e4 = 0
x1df + x1ed - x1e5 - x1e6 = 0
x1e0 - x1e7 = 0
x1e1 - x1e8 = 0
x1e2 - x1e3 = 0
x1e4 - x1e9 - x1ea = 0
x1e5 - x1eb = 0
x1e6 - x1ec = 0
x1e7 - x1ee - x1ef = 0
x1e8 - x1f0 = 0
x1e9 + x1f3 - x1f1 = 0
x1ea - x1f2 = 0
x1eb - x1f4 = 0
x1ec - x1ed = 0
x1ee + x1f7 - x1f5 = 0
x1ef - x1f6 = 0
x1f0 - x1f8 = 0
x1f1 - x1f9 = 0
x1f2 - x1f3 = 0
x1f4 - x1fa = 0
x1f5 - x1fc = 0
x1f6 - x1f7 = 0
x1f8 - x1fe - x1ff = 0
x1f9 + x219 - x200 = 0
x1fa - x1fb = 0
x1fc - x1fd = 0
x1fe - x201 = 0
x1ff + x209 - x203 - x204 = 0
x200 - x205 - x206 = 0
x201 - x202 = 0
x203 - x207 = 0
x204 - x208 = 0
x205 + x211 - x20a - x20b = 0
x206 - x20c - x20d = 0
x207 - x20e = 0
x208 - x209 = 0
x20a - x20f = 0
x20b - x210 = 0
x20c + x215 + x21b - x212 = 0
x20d - x213 - x214 = 0
x20e - x216 = 0
x20f - x217 = 0
x210 - x211 = 0
x212 - x218 = 0
x213 - x215 = 0
x214 - x21a = 0
x216 - x21c - x21d = 0
x217 - x21e = 0
x218 - x219 = 0
x21a - x21b = 0
x21c - x220 = 0
x21d + x226 - x222 - x223 = 0
x21e - x21f = 0
x220 - x221 = 0
x222 - x224 = 0
x223 - x225 = 0
x224 - x227 = 0
x225 - x226 = 0
x227 - x228 = 0
x228 - x229 = 0
x229 - x22a = 0
x22a - x22b = 0
+1 x80 -1 x3a = 0
+1 xc9 -1 x9a = 0
+1 x18b -1 x145 = 0
+1 x1d4 -1 x1a5 = 0
+1 xd -1 x7 = 0
+1 xc -1 x6 = 0
+1 x1a -1 x12 = 0
+1 x5b -1 x54 = 0
+1 x5c -1 x6b = 0
+1 x9e -1 x97 = 0
+1 x9f -1 xad = 0
+1 xda -1 xcd = 0
+1 xdb -1 xf1 = 0
+1 xff -1 xee = 0
+1 x100 -1 x10d = 0
+1 x166 -1 x15f = 0
+1 x167 -1 x176 = 0
+1 x1a9 -1 x1a2 = 0
+1 x1aa -1 x1b8 = 0
+1 x1e5 -1 x1d8 = 0
+1 x1e6 -1 x1fc = 0
+1 x20a -1 x1f9 = 0
+1 x20b -1 x218 = 0
+1 x65 -1 x4a = 0
+1 xac -1 x81 = 0
+1 xe9 -1 xb5 = 0
+1 x10c -1 xcc = 0
+1 x170 -1 x155 = 0
+1 x1b7 -1 x18c = 0
+1 x1f4 -1 x1c0 = 0
+1 x217 -1 x1d7 = 0
+1 x77 -1 x70 = 0
+1 x78 -1 xb9 = 0
+1 xbe -1 xb4 = 0
+1 xbf -1 xca = 0
+1 x182 -1 x17b = 0
+1 x183 -1 x1c4 = 0
+1 x1c9 -1 x1bf = 0
+1 x1ca -1 x1d5 = 0
+1 x2a -1 x25 = 0
+1 x3b -1 x30 = 0
+1 x73 -1 x64 = 0
+1 xe5 -1 x89 = 0
+1 x135 -1 x130 = 0
+1 x146 -1 x13b = 0
+1 x17e -1 x16f = 0
+1 x1f0 -1 x194 = 0
+1 x44 -1 x2d = 0
+1 x45 -1 x42 = 0
+1 xf8 -1 x7f = 0
+1 xf9 -1 xf6 = 0
+1 x14f -1 x138 = 0
+1 x150 -1 x14d = 0
+1 x203 -1 x18a = 0
+1 x204 -1 x201 = 0
+1 x4b -1 x22 = 0
+1 x103 -1 x57 = 0
+1 x156 -1 x12d = 0
+1 x20e -1 x162 = 0
+1 x117 -1 x51 = 0
+1 x118 -1 x115 = 0
+1 x222 -1 x15c = 0
+1 x223 -1 x220 = 0
+1 x11c -1 x1d = 0
+1 x227 -1 x12a = 0
+1 x123 -1 x11f = 0
+1 x124 -1 x22a = 0
+1 x54 +1 x6b -8 x4a >= 0
+1 x54 +1 x6b -8 x4a <= 0
+1 x6b -7 x54 <= 0
+1 x6b -7 x4a <= 0
+1 x97 +1 xad -8 x81 >= 0
+1 x97 +1 xad -8 x81 <= 0
+1 xad -7 x97 <= 0
+1 xad -7 x81 <= 0
+1 xcd +1 xf1 -8 xb5 >= 0
+1 xcd +1 xf1 -8 xb5 <= 0
+1 xf1 -7 xcd <= 0
+1 xf1 -7 xb5 <= 0
+1 xee +1 x10d -8 xcc >= 0
+1 xee +1 x10d -8 xcc <= 0
+1 x10d -7 xee <= 0
+1 x10d -7 xcc <= 0
+1 x15f +1 x176 -8 x155 >= 0
+1 x15f +1 x176 -8 x155 <= 0
+1 x176 -7 x15f <= 0
+1 x176 -7 x155 <= 0
+1 x1a2 +1 x1b8 -8 x18c >= 0
+1 x1a2 +1 x1b8 -8 x18c <= 0
+1 x1b8 -7 x1a2 <= 0
+1 x1b8 -7 x18c <= 0
+1 x1d8 +1 x1fc -8 x1c0 >= 0
+1 x1d8 +1 x1fc -8 x1c0 <= 0
+1 x1fc -7 x1d8 <= 0
+1 x1fc -7 x1c0 <= 0
+1 x1f9 +1 x218 -8 x1d7 >= 0
+1 x1f9 +1 x218 -8 x1d7 <= 0
+1 x218 -7 x1f9 <= 0
+1 x218 -7 x1d7 <= 0
+1 x70 +1 xb9 -8 x3a >= 0
+1 x70 +1 xb9 -8 x3a <= 0
+1 xb9 -7 x70 <= 0
+1 xb9 -7 x3a <= 0
+1 xb4 +1 xca -8 x9a >= 0
+1 xb4 +1 xca -8 x9a <= 0
+1 xca -7 xb4 <= 0
+1 xca -7 x9a <= 0
+1 x17b +1 x1c4 -8 x145 >= 0
+1 x17b +1 x1c4 -8 x145 <= 0
+1 x1c4 -7 x17b <= 0
+1 x1c4 -7 x145 <= 0
+1 x1bf +1 x1d5 -8 x1a5 >= 0
+1 x1bf +1 x1d5 -8 x1a5 <= 0
+1 x1d5 -7 x1bf <= 0
+1 x1d5 -7 x1a5 <= 0
+1 x2d +1 x42 -255 x22 >= 0
+1 x2d +1 x42 -255 x22 <= 0
+1 x42 -254 x2d <= 0
+1 x42 -254 x22 <= 0
+1 x7f +1 xf6 -255 x57 >= 0
+1 x7f +1 xf6 -255 x57 <= 0
+1 xf6 -254 x7f <= 0
+1 xf6 -254 x57 <= 0
+1 x138 +1 x14d -255 x12d >= 0
+1 x138 +1 x14d -255 x12d <= 0
+1 x14d -254 x138 <= 0
+1 x14d -254 x12d <= 0
+1 x18a +1 x201 -255 x162 >= 0
+1 x18a +1 x201 -255 x162 <= 0
+1 x201 -254 x18a <= 0
+1 x201 -254 x162 <= 0
+1 x51 +1 x115 -255 x1d >= 0
+1 x51 +1 x115 -255 x1d <= 0
+1 x115 -254 x51 <= 0
+1 x115 -254 x1d <= 0
+1 x15c +1 x220 -255 x12a >= 0
+1 x15c +1 x220 -255 x12a <= 0
+1 x220 -254 x15c <= 0
+1 x220 -254 x12a <= 0
+1 x11f +1 x22a -3 x12 <= 0
+1 x22a -2 x11f <= 0
+1 x22a -2 x12 <= 0
general
z
o
x1
x2
x3
x4
x5
x6
x7
x8
x9
xa
xb
xc
xd
xe
xf
x10
x11
x12
x13
x14
x15
x16
x17
x18
x1a
x1b
x19
x1c
x1d
x1e
x20
x1f
x21
x22
x23
x24
x25
x26
x27
x28
x29
x2a
x2b
x2c
x2d
x2e
x2f
x30
x31
x32
x33
x34
x35
x36
x37
x38
x39
x3a
x3b
x3c
x3d
x3e
x3f
x40
x41
x42
x44
x45
x46
x43
x47
x48
x4a
x4b
x49
x4c
x4d
x4e
x4f
x50
x51
x52
x53
x54
x55
x56
x57
x58
x59
x5a
x5b
x5c
x5d
x5e
x5f
x60
x62
x63
x64
x65
x61
x66
x67
x69
x6a
x6b
x68
x6d
x6e
x6c
x6f
x70
x71
x72
x73
x74
x75
x76
x77
x78
x79
x7a
x7b
x7c
x7e
x7f
x80
x7d
x81
x82
x83
x84
x85
x86
x87
x88
x89
x8a
x8c
x8e
x8f
x8b
x8d
x90
x91
x92
x93
x94
x96
x97
x95
x98
x99
x9a
x9b
x9c
x9d
x9e
x9f
xa0
xa1
xa2
xa3
xa4
xa6
xa7
xa8
xaa
xab
xac
xa5
xad
xa9
xaf
xb1
xb2
xb3
xae
xb0
xb4
xb5
xb6
xb7
xb8
xb9
xbb
xbc
xbd
xba
xbe
xbf
xc0
xc1
xc2
xc3
xc4
xc6
xc7
xc8
xc9
xc5
xca
xcc
xcd
xce
xcb
xcf
xd0
xd1
xd2
xd3
xd4
xd5
xd6
xd7
xd9
xda
xdb
xdc
xdd
xd8
xde
xdf
xe0
xe1
xe3
xe4
xe5
xe6
xe7
xe9
xe2
xea
xeb
xed
xee
xe8
xef
xf1
xec
xf3
xf4
xf5
xf0
xf2
xf6
xf8
xf9
xfa
xfb
xf7
xfc
xfd
xff
x100
x101
x102
x103
xfe
x104
x105
x107
x108
x109
x10b
x10c
x106
x10d
x10a
x10f
x111
x112
x113
x10e
x110
x115
x117
x118
x114
x116
x119
x11a
x11c
x11b
x11d
x11e
x11f
x120
x121
x122
x123
x124
x125
x126
x128
x12a
x127
x129
x12b
x12c
x12d
x12e
x12f
x130
x131
x132
x133
x134
x135
x136
x137
x138
x139
x13a
x13b
x13c
x13d
x13e
x13f
x140
x141
x142
x143
x144
x145
x146
x147
x148
x149
x14a
x14b
x14c
x14d
x14f
x150
x151
x14e
x152
x153
x155
x156
x154
x157
x158
x159
x15a
x15b
x15c
x15d
x15e
x15f
x160
x161
x162
x163
x164
x165
x166
x167
x168
x169
x16a
x16b
x16d
x16e
x16f
x170
x16c
x171
x172
x174
x175
x176
x173
x178
x179
x177
x17a
x17b
x17c
x17d
x17e
x17f
x180
x181
x182
x183
x184
x185
x186
x187
x189
x18a
x18b
x188
x18c
x18d
x18e
x18f
x190
x191
x192
x193
x194
x195
x197
x199
x19a
x196
x198
x19b
x19c
x19d
x19e
x19f
x1a1
x1a2
x1a0
x1a3
x1a4
x1a5
x1a6
x1a7
x1a8
x1a9
x1aa
x1ab
x1ac
x1ad
x1ae
x1af
x1b1
x1b2
x1b3
x1b5
x1b6
x1b7
x1b0
x1b8
x1b4
x1ba
x1bc
x1bd
x1be
x1b9
x1bb
x1bf
x1c0
x1c1
x1c2
x1c3
x1c4
x1c6
x1c7
x1c8
x1c5
x1c9
x1ca
x1cb
x1cc
x1cd
x1ce
x1cf
x1d1
x1d2
x1d3
x1d4
x1d0
x1d5
x1d7
x1d8
x1d9
x1d6
x1da
x1db
x1dc
x1dd
x1de
x1df
x1e0
x1e1
x1e2
x1e4
x1e5
x1e6
x1e7
x1e8
x1e3
x1e9
x1ea
x1eb
x1ec
x1ee
x1ef
x1f0
x1f1
x1f2
x1f4
x1ed
x1f5
x1f6
x1f8
x1f9
x1f3
x1fa
x1fc
x1f7
x1fe
x1ff
x200
x1fb
x1fd
x201
x203
x204
x205
x206
x202
x207
x208
x20a
x20b
x20c
x20d
x20e
x209
x20f
x210
x212
x213
x214
x216
x217
x211
x218
x215
x21a
x21c
x21d
x21e
x219
x21b
x220
x222
x223
x21f
x221
x224
x225
x227
x226
x228
x229
x22a
x22b
end