[SCIP] gap limit reached without solution

[Horváth Markó]

Dear all,

I'm using SCIP-3.1.2 with SoPlex 2.2.0 on windows (but this problem also 
arises with SCIP-3.1.1 or SCIP-3.1.0).

The problem arises when I want to solve certain MIPs with absolute gap 
limit.
I have attached a small example file. In this MIP the optimal solution 
is equal to 0, and of course SCIP can solve easily. But when I set 
absolute gap to 11 (that is, set /limits/absgap/=11) SCIP terminates 
according to gap limit, but without solution:

/SCIP Status        : solving was interrupted [gap limit reached]//
//Solving Time (sec) : 0.01//
//Solving Nodes      : 0//
//Primal Bound       : +7.12610000000000e+000 (0 solutions)//
//Dual Bound         : +0.00000000000000e+000//
//Gap                : infinite

/So, what I have got is trivially not correct, I guess.
How can we reach gap limit without a feasible solution? And why do SCIP 
set finite primal bound without any feasible solution? (Okay, it is 
indeed an upper bound for the optimum (according to bounds 0 <= x417 <= 
7), and it is lower than the absolute gap, but SCIP should not say that 
the gap limit reached since we have not got any solution.)

Best regards,
Marko
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20150903/8534d7ba/attachment.html>
-------------- next part --------------
\ SCIP STATISTICS
\   Problem name     : absgap11.lp
\   Variables        : 418 (0 binary, 131 integer, 0 implicit integer, 287 continuous)
\   Constraints      : 186
\   Obj. scale       : 1
\   Obj. offset      : 0
Minimize
 Obj: +1.018 x417
Subject to
 c0: +1 x0 +1 x1 +1 x2 +1 x3 +1 x4 +1 x5 +1 x6 +1 x7 +1 x8 +1 x9 +1 x10 +1 x11 +1 x12 +1 x13 +1 x14 +1 x15
  +1 x16 +1 x17 +1 x18 +1 x19 +1 x20 +1 x21 +1 x22 +1 x23 +1 x24 +1 x25 = +1512
 c1: +1 x26 +1 x27 +1 x28 +1 x29 +1 x30 +1 x31 +1 x32 +1 x33 +1 x34 +1 x35 +1 x36 +1 x37 +1 x38 +1 x39
  +1 x40 +1 x41 +1 x42 +1 x43 +1 x44 +1 x45 +1 x46 +1 x47 +1 x48 +1 x49 +1 x50 +1 x51 = +1512
 c2: +1 x52 +1 x53 +1 x54 +1 x55 +1 x56 +1 x57 +1 x58 +1 x59 +1 x60 +1 x61 +1 x62 +1 x63 +1 x64 +1 x65
  +1 x66 +1 x67 +1 x68 +1 x69 +1 x70 +1 x71 +1 x72 +1 x73 +1 x74 +1 x75 +1 x76 +1 x77 = +1512
 c3: +1 x78 +1 x79 +1 x80 +1 x81 +1 x82 +1 x83 +1 x84 +1 x85 +1 x86 +1 x87 +1 x88 +1 x89 +1 x90 +1 x91
  +1 x92 +1 x93 +1 x94 +1 x95 +1 x96 +1 x97 +1 x98 +1 x99 +1 x100 +1 x101 +1 x102 +1 x103 = +0
 c4: +1 x104 +1 x105 +1 x106 +1 x107 +1 x108 +1 x109 +1 x110 +1 x111 +1 x112 +1 x113 +1 x114 +1 x115 +1 x116
  +1 x117 +1 x118 +1 x119 +1 x120 +1 x121 +1 x122 +1 x123 +1 x124 +1 x125 +1 x126 +1 x127 +1 x128 +1 x129
  = +0
 c5: +1 x131 -1 x132 +1 x0 +1 x133 = +96
 c6: +1 x132 -1 x134 +1 x26 +1 x135 = +56
 c7: +1 x134 -1 x136 +1 x52 +1 x137 = +0
 c8: +1 x136 -1 x138 +1 x78 +1 x139 = +0
 c9: +1 x138 -1 x140 +1 x104 +1 x141 = +0
 c10: +1 x142 -1 x143 +1 x1 +1 x144 = +46
 c11: +1 x143 -1 x145 +1 x27 +1 x146 = +67
 c12: +1 x145 -1 x147 +1 x53 +1 x148 = +23
 c13: +1 x147 -1 x149 +1 x79 +1 x150 = +0
 c14: +1 x149 -1 x151 +1 x105 +1 x152 = +0
 c15: +1 x153 -1 x154 +1 x2 +1 x155 = +88
 c16: +1 x154 -1 x156 +1 x28 +1 x157 = +48
 c17: +1 x156 -1 x158 +1 x54 +1 x159 = +32
 c18: +1 x158 -1 x160 +1 x80 +1 x161 = +0
 c19: +1 x160 -1 x162 +1 x106 +1 x163 = +0
 c20: +1 x164 -1 x165 +1 x3 +1 x166 = +102
 c21: +1 x165 -1 x167 +1 x29 +1 x168 = +18
 c22: +1 x167 -1 x169 +1 x55 +1 x170 = +0
 c23: +1 x169 -1 x171 +1 x81 +1 x172 = +0
 c24: +1 x171 -1 x173 +1 x107 +1 x174 = +0
 c25: +1 x175 -1 x176 +1 x4 +1 x177 = +121
 c26: +1 x176 -1 x178 +1 x30 +1 x179 = +80
 c27: +1 x178 -1 x180 +1 x56 +1 x181 = +63
 c28: +1 x180 -1 x182 +1 x82 +1 x183 = +0
 c29: +1 x182 -1 x184 +1 x108 +1 x185 = +0
 c30: +1 x186 -1 x187 +1 x5 +1 x188 = +296
 c31: +1 x187 -1 x189 +1 x31 +1 x190 = +74
 c32: +1 x189 -1 x191 +1 x57 +1 x192 = +83
 c33: +1 x191 -1 x193 +1 x83 +1 x194 = +0
 c34: +1 x193 -1 x195 +1 x109 +1 x196 = +0
 c35: +1 x197 -1 x198 +1 x6 +1 x199 = +6
 c36: +1 x198 -1 x200 +1 x32 +1 x201 = +0
 c37: +1 x200 -1 x202 +1 x58 +1 x203 = +0
 c38: +1 x202 -1 x204 +1 x84 +1 x205 = +0
 c39: +1 x204 -1 x206 +1 x110 +1 x207 = +0
 c40: +1 x208 -1 x209 +1 x7 +1 x210 = +123
 c41: +1 x209 -1 x211 +1 x33 +1 x212 = +102
 c42: +1 x211 -1 x213 +1 x59 +1 x214 = +102
 c43: +1 x213 -1 x215 +1 x85 +1 x216 = +0
 c44: +1 x215 -1 x217 +1 x111 +1 x218 = +0
 c45: +1 x219 -1 x220 +1 x8 +1 x221 = +119
 c46: +1 x220 -1 x222 +1 x34 +1 x223 = +52
 c47: +1 x222 -1 x224 +1 x60 +1 x225 = +88
 c48: +1 x224 -1 x226 +1 x86 +1 x227 = +0
 c49: +1 x226 -1 x228 +1 x112 +1 x229 = +0
 c50: +1 x230 -1 x231 +1 x9 +1 x232 = +528
 c51: +1 x231 -1 x233 +1 x35 +1 x234 = +325
 c52: +1 x233 -1 x235 +1 x61 +1 x236 = +403
 c53: +1 x235 -1 x237 +1 x87 +1 x238 = +0
 c54: +1 x237 -1 x239 +1 x113 +1 x240 = +0
 c55: +1 x241 -1 x242 +1 x10 +1 x243 = +20
 c56: +1 x242 -1 x244 +1 x36 +1 x245 = +0
 c57: +1 x244 -1 x246 +1 x62 +1 x247 = +0
 c58: +1 x246 -1 x248 +1 x88 +1 x249 = +0
 c59: +1 x248 -1 x250 +1 x114 +1 x251 = +0
 c60: +1 x252 -1 x253 +1 x11 +1 x254 = +63
 c61: +1 x253 -1 x255 +1 x37 +1 x256 = +0
 c62: +1 x255 -1 x257 +1 x63 +1 x258 = +0
 c63: +1 x257 -1 x259 +1 x89 +1 x260 = +0
 c64: +1 x259 -1 x261 +1 x115 +1 x262 = +0
 c65: +1 x263 -1 x264 +1 x12 +1 x265 = +72
 c66: +1 x264 -1 x266 +1 x38 +1 x267 = +0
 c67: +1 x266 -1 x268 +1 x64 +1 x269 = +0
 c68: +1 x268 -1 x270 +1 x90 +1 x271 = +0
 c69: +1 x270 -1 x272 +1 x116 +1 x273 = +0
 c70: +1 x274 -1 x275 +1 x13 +1 x276 = +5
 c71: +1 x275 -1 x277 +1 x39 +1 x278 = +0
 c72: +1 x277 -1 x279 +1 x65 +1 x280 = +0
 c73: +1 x279 -1 x281 +1 x91 +1 x282 = +0
 c74: +1 x281 -1 x283 +1 x117 +1 x284 = +0
 c75: +1 x285 -1 x286 +1 x14 +1 x287 = +153
 c76: +1 x286 -1 x288 +1 x40 +1 x289 = +0
 c77: +1 x288 -1 x290 +1 x66 +1 x291 = +0
 c78: +1 x290 -1 x292 +1 x92 +1 x293 = +0
 c79: +1 x292 -1 x294 +1 x118 +1 x295 = +0
 c80: +1 x296 -1 x297 +1 x15 +1 x298 = +40
 c81: +1 x297 -1 x299 +1 x41 +1 x300 = +0
 c82: +1 x299 -1 x301 +1 x67 +1 x302 = +0
 c83: +1 x301 -1 x303 +1 x93 +1 x304 = +0
 c84: +1 x303 -1 x305 +1 x119 +1 x306 = +0
 c85: +1 x307 -1 x308 +1 x16 +1 x309 = +5
 c86: +1 x308 -1 x310 +1 x42 +1 x311 = +0
 c87: +1 x310 -1 x312 +1 x68 +1 x313 = +0
 c88: +1 x312 -1 x314 +1 x94 +1 x315 = +0
 c89: +1 x314 -1 x316 +1 x120 +1 x317 = +0
 c90: +1 x318 -1 x319 +1 x17 +1 x320 = +186
 c91: +1 x319 -1 x321 +1 x43 +1 x322 = +152
 c92: +1 x321 -1 x323 +1 x69 +1 x324 = +161
 c93: +1 x323 -1 x325 +1 x95 +1 x326 = +0
 c94: +1 x325 -1 x327 +1 x121 +1 x328 = +0
 c95: +1 x329 -1 x330 +1 x18 +1 x331 = +4
 c96: +1 x330 -1 x332 +1 x44 +1 x333 = +8
 c97: +1 x332 -1 x334 +1 x70 +1 x335 = +1
 c98: +1 x334 -1 x336 +1 x96 +1 x337 = +0
 c99: +1 x336 -1 x338 +1 x122 +1 x339 = +0
 c100: +1 x340 -1 x341 +1 x19 +1 x342 = +24
 c101: +1 x341 -1 x343 +1 x45 +1 x344 = +0
 c102: +1 x343 -1 x345 +1 x71 +1 x346 = +0
 c103: +1 x345 -1 x347 +1 x97 +1 x348 = +0
 c104: +1 x347 -1 x349 +1 x123 +1 x350 = +0
 c105: +1 x351 -1 x352 +1 x20 +1 x353 = +176
 c106: +1 x352 -1 x354 +1 x46 +1 x355 = +33
 c107: +1 x354 -1 x356 +1 x72 +1 x357 = +72
 c108: +1 x356 -1 x358 +1 x98 +1 x359 = +0
 c109: +1 x358 -1 x360 +1 x124 +1 x361 = +0
 c110: +1 x362 -1 x363 +1 x21 +1 x364 = +80
 c111: +1 x363 -1 x365 +1 x47 +1 x366 = +10
 c112: +1 x365 -1 x367 +1 x73 +1 x368 = +40
 c113: +1 x367 -1 x369 +1 x99 +1 x370 = +0
 c114: +1 x369 -1 x371 +1 x125 +1 x372 = +0
 c115: +1 x373 -1 x374 +1 x22 +1 x375 = +360
 c116: +1 x374 -1 x376 +1 x48 +1 x377 = +45
 c117: +1 x376 -1 x378 +1 x74 +1 x379 = +78
 c118: +1 x378 -1 x380 +1 x100 +1 x381 = +0
 c119: +1 x380 -1 x382 +1 x126 +1 x383 = +0
 c120: +1 x384 -1 x385 +1 x23 +1 x386 = +24
 c121: +1 x385 -1 x387 +1 x49 +1 x388 = +0
 c122: +1 x387 -1 x389 +1 x75 +1 x390 = +0
 c123: +1 x389 -1 x391 +1 x101 +1 x392 = +0
 c124: +1 x391 -1 x393 +1 x127 +1 x394 = +0
 c125: +1 x395 -1 x396 +1 x24 +1 x397 = +48
 c126: +1 x396 -1 x398 +1 x50 +1 x399 = +48
 c127: +1 x398 -1 x400 +1 x76 +1 x401 = +32
 c128: +1 x400 -1 x402 +1 x102 +1 x403 = +0
 c129: +1 x402 -1 x404 +1 x128 +1 x405 = +0
 c130: +1 x406 -1 x407 +1 x25 +1 x408 = +0
 c131: +1 x407 -1 x409 +1 x51 +1 x410 = +0
 c132: +1 x409 -1 x411 +1 x77 +1 x412 = +0
 c133: +1 x411 -1 x413 +1 x103 +1 x414 = +0
 c134: +1 x413 -1 x415 +1 x129 +1 x416 = +0
 c135: +1 x133 +1 x135 +1 x137 +1 x139 +1 x141 <= +0
 c136: +1 x144 +1 x146 +1 x148 +1 x150 +1 x152 <= +0
 c137: +1 x155 +1 x157 +1 x159 +1 x161 +1 x163 <= +0
 c138: +1 x166 +1 x168 +1 x170 +1 x172 +1 x174 <= +0
 c139: +1 x177 +1 x179 +1 x181 +1 x183 +1 x185 <= +0
 c140: +1 x188 +1 x190 +1 x192 +1 x194 +1 x196 <= +0
 c141: +1 x199 +1 x201 +1 x203 +1 x205 +1 x207 <= +0
 c142: +1 x210 +1 x212 +1 x214 +1 x216 +1 x218 <= +0
 c143: +1 x221 +1 x223 +1 x225 +1 x227 +1 x229 <= +0
 c144: +1 x232 +1 x234 +1 x236 +1 x238 +1 x240 <= +0
 c145: +1 x243 +1 x245 +1 x247 +1 x249 +1 x251 <= +0
 c146: +1 x254 +1 x256 +1 x258 +1 x260 +1 x262 <= +0
 c147: +1 x265 +1 x267 +1 x269 +1 x271 +1 x273 <= +0
 c148: +1 x276 +1 x278 +1 x280 +1 x282 +1 x284 <= +0
 c149: +1 x287 +1 x289 +1 x291 +1 x293 +1 x295 <= +0
 c150: +1 x298 +1 x300 +1 x302 +1 x304 +1 x306 <= +0
 c151: +1 x309 +1 x311 +1 x313 +1 x315 +1 x317 <= +0
 c152: +1 x320 +1 x322 +1 x324 +1 x326 +1 x328 <= +0
 c153: +1 x331 +1 x333 +1 x335 +1 x337 +1 x339 <= +0
 c154: +1 x342 +1 x344 +1 x346 +1 x348 +1 x350 <= +0
 c155: +1 x353 +1 x355 +1 x357 +1 x359 +1 x361 <= +0
 c156: +1 x364 +1 x366 +1 x368 +1 x370 +1 x372 <= +0
 c157: +1 x375 +1 x377 +1 x379 +1 x381 +1 x383 <= +0
 c158: +1 x386 +1 x388 +1 x390 +1 x392 +1 x394 <= +0
 c159: +1 x397 +1 x399 +1 x401 +1 x403 +1 x405 <= +0
 c160: +1 x408 +1 x410 +1 x412 +1 x414 +1 x416 <= +0
 c161: -1 x396 <= -48
 c162: -1 x398 <= -32
 c163: -1 x400 <= +0
 c164: -1 x402 <= +0
 c165: -1 x231 <= -325
 c166: -1 x233 <= -403
 c167: -1 x235 <= +0
 c168: -1 x237 <= +0
 c169: -1 x209 <= -102
 c170: -1 x211 <= -102
 c171: -1 x213 <= +0
 c172: -1 x215 <= +0
 c173: -1 x220 <= -52
 c174: -1 x222 <= -88
 c175: -1 x224 <= +0
 c176: -1 x226 <= +0
 c177: -1 x187 <= -60
 c178: -1 x189 <= -67
 c179: -1 x191 <= +0
 c180: -1 x193 <= +0
 c181: -1 x176 <= -64
 c182: -1 x178 <= -51
 c183: -1 x180 <= +0
 c184: -1 x182 <= +0
 c185: +1 x18 -8 x130 -1 x417 = +0
Bounds
 0 <= x10 <= 0
 0 <= x14 <= 0
 0 <= x15 <= 0
 0 <= x16 <= 0
 0 <= x36 <= 0
 0 <= x40 <= 0
 0 <= x41 <= 0
 0 <= x42 <= 0
 0 <= x62 <= 0
 0 <= x66 <= 0
 0 <= x67 <= 0
 0 <= x68 <= 0
 0 <= x88 <= 0
 0 <= x92 <= 0
 0 <= x93 <= 0
 0 <= x94 <= 0
 0 <= x114 <= 0
 0 <= x118 <= 0
 0 <= x119 <= 0
 0 <= x120 <= 0
 7 <= x131 <= 7
 x132 free
 0 <= x133 <= 0
 x134 free
 0 <= x135 <= 0
 x136 free
 0 <= x137 <= 0
 x138 free
 0 <= x139 <= 0
 x140 free
 0 <= x141 <= 0
 98 <= x142 <= 98
 x143 free
 0 <= x144 <= 0
 x145 free
 0 <= x146 <= 0
 x147 free
 0 <= x148 <= 0
 x149 free
 0 <= x150 <= 0
 x151 free
 0 <= x152 <= 0
 106 <= x153 <= 106
 x154 free
 0 <= x155 <= 0
 x156 free
 0 <= x157 <= 0
 x158 free
 0 <= x159 <= 0
 x160 free
 0 <= x161 <= 0
 x162 free
 0 <= x163 <= 0
 136 <= x164 <= 136
 x165 free
 0 <= x166 <= 0
 x167 free
 0 <= x168 <= 0
 x169 free
 0 <= x170 <= 0
 x171 free
 0 <= x172 <= 0
 x173 free
 0 <= x174 <= 0
 151 <= x175 <= 151
 x176 free
 0 <= x177 <= 0
 x178 free
 0 <= x179 <= 0
 x180 free
 0 <= x181 <= 0
 x182 free
 0 <= x183 <= 0
 x184 free
 0 <= x185 <= 0
 334 <= x186 <= 334
 x187 free
 0 <= x188 <= 0
 x189 free
 0 <= x190 <= 0
 x191 free
 0 <= x192 <= 0
 x193 free
 0 <= x194 <= 0
 x195 free
 0 <= x196 <= 0
 122 <= x197 <= 122
 x198 free
 0 <= x199 <= 0
 x200 free
 0 <= x201 <= 0
 x202 free
 0 <= x203 <= 0
 x204 free
 0 <= x205 <= 0
 x206 free
 0 <= x207 <= 0
 452 <= x208 <= 452
 x209 free
 0 <= x210 <= 0
 x211 free
 0 <= x212 <= 0
 x213 free
 0 <= x214 <= 0
 x215 free
 0 <= x216 <= 0
 x217 free
 0 <= x218 <= 0
 471 <= x219 <= 471
 x220 free
 0 <= x221 <= 0
 x222 free
 0 <= x223 <= 0
 x224 free
 0 <= x225 <= 0
 x226 free
 0 <= x227 <= 0
 x228 free
 0 <= x229 <= 0
 713 <= x230 <= 713
 x231 free
 0 <= x232 <= 0
 x233 free
 0 <= x234 <= 0
 x235 free
 0 <= x236 <= 0
 x237 free
 0 <= x238 <= 0
 x239 free
 0 <= x240 <= 0
 20 <= x241 <= 20
 x242 free
 0 <= x243 <= 0
 x244 free
 0 <= x245 <= 0
 x246 free
 0 <= x247 <= 0
 x248 free
 0 <= x249 <= 0
 x250 free
 0 <= x251 <= 0
 78 <= x252 <= 78
 x253 free
 0 <= x254 <= 0
 x255 free
 0 <= x256 <= 0
 x257 free
 0 <= x258 <= 0
 x259 free
 0 <= x260 <= 0
 x261 free
 0 <= x262 <= 0
 9 <= x263 <= 9
 x264 free
 0 <= x265 <= 0
 x266 free
 0 <= x267 <= 0
 x268 free
 0 <= x269 <= 0
 x270 free
 0 <= x271 <= 0
 x272 free
 0 <= x273 <= 0
 0 <= x274 <= 0
 x275 free
 0 <= x276 <= 0
 x277 free
 0 <= x278 <= 0
 x279 free
 0 <= x280 <= 0
 x281 free
 0 <= x282 <= 0
 x283 free
 0 <= x284 <= 0
 267 <= x285 <= 267
 x286 free
 0 <= x287 <= 0
 x288 free
 0 <= x289 <= 0
 x290 free
 0 <= x291 <= 0
 x292 free
 0 <= x293 <= 0
 x294 free
 0 <= x295 <= 0
 0 <= x296 <= 0
 x297 free
 0 <= x298 <= 0
 x299 free
 0 <= x300 <= 0
 x301 free
 0 <= x302 <= 0
 x303 free
 0 <= x304 <= 0
 x305 free
 0 <= x306 <= 0
 5 <= x307 <= 5
 x308 free
 0 <= x309 <= 0
 x310 free
 0 <= x311 <= 0
 x312 free
 0 <= x313 <= 0
 x314 free
 0 <= x315 <= 0
 x316 free
 0 <= x317 <= 0
 278 <= x318 <= 278
 x319 free
 0 <= x320 <= 0
 x321 free
 0 <= x322 <= 0
 x323 free
 0 <= x324 <= 0
 x325 free
 0 <= x326 <= 0
 x327 free
 0 <= x328 <= 0
 13 <= x329 <= 13
 x330 free
 0 <= x331 <= 0
 x332 free
 0 <= x333 <= 0
 x334 free
 0 <= x335 <= 0
 x336 free
 0 <= x337 <= 0
 x338 free
 0 <= x339 <= 0
 34 <= x340 <= 34
 x341 free
 0 <= x342 <= 0
 x343 free
 0 <= x344 <= 0
 x345 free
 0 <= x346 <= 0
 x347 free
 0 <= x348 <= 0
 x349 free
 0 <= x350 <= 0
 106 <= x351 <= 106
 x352 free
 0 <= x353 <= 0
 x354 free
 0 <= x355 <= 0
 x356 free
 0 <= x357 <= 0
 x358 free
 0 <= x359 <= 0
 x360 free
 0 <= x361 <= 0
 67 <= x362 <= 67
 x363 free
 0 <= x364 <= 0
 x365 free
 0 <= x366 <= 0
 x367 free
 0 <= x368 <= 0
 x369 free
 0 <= x370 <= 0
 x371 free
 0 <= x372 <= 0
 350 <= x373 <= 350
 x374 free
 0 <= x375 <= 0
 x376 free
 0 <= x377 <= 0
 x378 free
 0 <= x379 <= 0
 x380 free
 0 <= x381 <= 0
 x382 free
 0 <= x383 <= 0
 25 <= x384 <= 25
 x385 free
 0 <= x386 <= 0
 x387 free
 0 <= x388 <= 0
 x389 free
 0 <= x390 <= 0
 x391 free
 0 <= x392 <= 0
 x393 free
 0 <= x394 <= 0
 13 <= x395 <= 13
 x396 free
 0 <= x397 <= 0
 x398 free
 0 <= x399 <= 0
 x400 free
 0 <= x401 <= 0
 x402 free
 0 <= x403 <= 0
 x404 free
 0 <= x405 <= 0
 0 <= x406 <= 0
 x407 free
 0 <= x408 <= 0
 x409 free
 0 <= x410 <= 0
 x411 free
 0 <= x412 <= 0
 x413 free
 0 <= x414 <= 0
 x415 free
 0 <= x416 <= 0
 0 <= x417 <= 7
Generals
 x0 x1 x2 x3 x4 x5 x6 x7 x8 x9 x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 x24 x25 x26 x27
 x28 x29 x30 x31 x32 x33 x34 x35 x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53
 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63 x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79
 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97 x98 x99 x100 x101 x102 x103 x104
 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123 x124 x125
 x126 x127 x128 x129 x130
End