amb_space 9 inhom_equations 1 1 1 1 1 1 1 1 1 1 1 inhom_inequalities 30 1 1 1 1 -1 -1 -1 -1 -1 1 -1 -1 -1 -1 1 1 1 1 1 1 14 10 6 2 -16 -12 -8 0 -4 18 -14 -10 -6 -2 16 12 8 0 4 18 14 10 6 2 16 12 8 0 4 18 -14 -10 -6 -2 -16 -12 -8 0 -4 18 92 48 20 8 -120 -68 -32 -8 -12 152 -92 -48 -20 -8 120 68 32 8 12 152 92 48 20 8 120 68 32 8 12 152 -92 -48 -20 -8 -120 -68 -32 -8 -12 152 89 41 9 -7 -119 -63 -23 9 1 153 -89 -41 -9 7 119 63 23 -9 -1 153 89 41 9 -7 119 63 23 -9 -1 153 -89 -41 -9 7 -119 -63 -23 9 1 153 378 150 50 14 -560 -244 -88 0 -28 798 -378 -150 -50 -14 560 244 88 0 28 798 378 150 50 14 560 244 88 0 28 798 -378 -150 -50 -14 -560 -244 -88 0 -28 798 336 80 -16 -16 -544 -184 -16 0 24 816 -336 -80 16 16 544 184 16 0 -24 816 336 80 -16 -16 544 184 16 0 -24 816 -336 -80 16 16 -544 -184 -16 0 24 816 715 231 35 -1 -1105 -429 -105 -1 -5 1615 -715 -231 -35 1 1105 429 105 1 5 1615 715 231 35 -1 1105 429 105 1 5 1615 -715 -231 -35 1 -1105 -429 -105 -1 -5 1615 1091 347 99 27 -1819 -627 -187 -27 -51 2907 -1091 -347 -99 -27 1819 627 187 27 51 2907 1091 347 99 27 1819 627 187 27 51 2907 -1091 -347 -99 -27 -1819 -627 -187 -27 -51 2907