| maxs d0, [123456] | |
| maxs d1, [4,x] | |
| maxs d2, d2 | |
| maxs d3, [d0, y] | |
| maxs d4, [12,s] | |
| maxs d5, (3,s) | |
| maxs d6, (-123,s) | |
| maxs d7, (123987, p) | |
| mins d0, (x-) | |
| mins d1, (y-) | |
| mins d2, (x+) | |
| mins d3, (y+) | |
| mins d4, (s+) | |
| mins d5, (+x) | |
| mins d6, (+y) | |
| mins d7, (-x) | |
| maxu d0, (-y) | |
| maxu d1, (-s) | |
| maxu d2, (d5, x) | |
| maxu d3, (d6, y) | |
| maxu d4, (d7, s) | |
| maxu d5, (-1023,s) | |
| maxu d6, [1087, p] | |
| maxu d7, (-y) | |
| minu d0, (-x) | |
| minu d1, (s+) | |
| minu d2, (d1, x) | |
| minu d3, (d2, y) | |
| minu d4, (d3, s) | |
| minu d5, (-123,s) | |
| minu d6, [123987, p] | |
| minu d7, (y-) |