AlexanderssonGigantic.in

amb_space 200
inequalities 306 sparse
21:-1 11:1;
11:-1 22:1;
22:-1 12:1;
12:-1 23:1;
23:-1 13:1;
13:-1 24:1;
24:-1 14:1;
14:-1 25:1;
25:-1 15:1;
15:-1 26:1;
26:-1 16:1;
16:-1 27:1;
27:-1 17:1;
17:-1 28:1;
28:-1 18:1;
18:-1 29:1;
29:-1 19:1;
31:-1 21:1;
21:-1 32:1;
32:-1 22:1;
22:-1 33:1;
33:-1 23:1;
23:-1 34:1;
34:-1 24:1;
24:-1 35:1;
35:-1 25:1;
25:-1 36:1;
36:-1 26:1;
26:-1 37:1;
37:-1 27:1;
27:-1 38:1;
38:-1 28:1;
28:-1 39:1;
39:-1 29:1;
41:-1 31:1;
31:-1 42:1;
42:-1 32:1;
32:-1 43:1;
43:-1 33:1;
33:-1 44:1;
44:-1 34:1;
34:-1 45:1;
45:-1 35:1;
35:-1 46:1;
46:-1 36:1;
36:-1 47:1;
47:-1 37:1;
37:-1 48:1;
48:-1 38:1;
38:-1 49:1;
49:-1 39:1;
51:-1 41:1;
41:-1 52:1;
52:-1 42:1;
42:-1 53:1;
53:-1 43:1;
43:-1 54:1;
54:-1 44:1;
44:-1 55:1;
55:-1 45:1;
45:-1 56:1;
56:-1 46:1;
46:-1 57:1;
57:-1 47:1;
47:-1 58:1;
58:-1 48:1;
48:-1 59:1;
59:-1 49:1;
61:-1 51:1;
51:-1 62:1;
62:-1 52:1;
52:-1 63:1;
63:-1 53:1;
53:-1 64:1;
64:-1 54:1;
54:-1 65:1;
65:-1 55:1;
55:-1 66:1;
66:-1 56:1;
56:-1 67:1;
67:-1 57:1;
57:-1 68:1;
68:-1 58:1;
58:-1 69:1;
69:-1 59:1;
71:-1 61:1;
61:-1 72:1;
72:-1 62:1;
62:-1 73:1;
73:-1 63:1;
63:-1 74:1;
74:-1 64:1;
64:-1 75:1;
75:-1 65:1;
65:-1 76:1;
76:-1 66:1;
66:-1 77:1;
77:-1 67:1;
67:-1 78:1;
78:-1 68:1;
68:-1 79:1;
79:-1 69:1;
81:-1 71:1;
71:-1 82:1;
82:-1 72:1;
72:-1 83:1;
83:-1 73:1;
73:-1 84:1;
84:-1 74:1;
74:-1 85:1;
85:-1 75:1;
75:-1 86:1;
86:-1 76:1;
76:-1 87:1;
87:-1 77:1;
77:-1 88:1;
88:-1 78:1;
78:-1 89:1;
89:-1 79:1;
91:-1 81:1;
81:-1 92:1;
92:-1 82:1;
82:-1 93:1;
93:-1 83:1;
83:-1 94:1;
94:-1 84:1;
84:-1 95:1;
95:-1 85:1;
85:-1 96:1;
96:-1 86:1;
86:-1 97:1;
97:-1 87:1;
87:-1 98:1;
98:-1 88:1;
88:-1 99:1;
99:-1 89:1;
101:-1 91:1;
91:-1 102:1;
102:-1 92:1;
92:-1 103:1;
103:-1 93:1;
93:-1 104:1;
104:-1 94:1;
94:-1 105:1;
105:-1 95:1;
95:-1 106:1;
106:-1 96:1;
96:-1 107:1;
107:-1 97:1;
97:-1 108:1;
108:-1 98:1;
98:-1 109:1;
109:-1 99:1;
111:-1 101:1;
101:-1 112:1;
112:-1 102:1;
102:-1 113:1;
113:-1 103:1;
103:-1 114:1;
114:-1 104:1;
104:-1 115:1;
115:-1 105:1;
105:-1 116:1;
116:-1 106:1;
106:-1 117:1;
117:-1 107:1;
107:-1 118:1;
118:-1 108:1;
108:-1 119:1;
119:-1 109:1;
121:-1 111:1;
111:-1 122:1;
122:-1 112:1;
112:-1 123:1;
123:-1 113:1;
113:-1 124:1;
124:-1 114:1;
114:-1 125:1;
125:-1 115:1;
115:-1 126:1;
126:-1 116:1;
116:-1 127:1;
127:-1 117:1;
117:-1 128:1;
128:-1 118:1;
118:-1 129:1;
129:-1 119:1;
131:-1 121:1;
121:-1 132:1;
132:-1 122:1;
122:-1 133:1;
133:-1 123:1;
123:-1 134:1;
134:-1 124:1;
124:-1 135:1;
135:-1 125:1;
125:-1 136:1;
136:-1 126:1;
126:-1 137:1;
137:-1 127:1;
127:-1 138:1;
138:-1 128:1;
128:-1 139:1;
139:-1 129:1;
141:-1 131:1;
131:-1 142:1;
142:-1 132:1;
132:-1 143:1;
143:-1 133:1;
133:-1 144:1;
144:-1 134:1;
134:-1 145:1;
145:-1 135:1;
135:-1 146:1;
146:-1 136:1;
136:-1 147:1;
147:-1 137:1;
137:-1 148:1;
148:-1 138:1;
138:-1 149:1;
149:-1 139:1;
151:-1 141:1;
141:-1 152:1;
152:-1 142:1;
142:-1 153:1;
153:-1 143:1;
143:-1 154:1;
154:-1 144:1;
144:-1 155:1;
155:-1 145:1;
145:-1 156:1;
156:-1 146:1;
146:-1 157:1;
157:-1 147:1;
147:-1 158:1;
158:-1 148:1;
148:-1 159:1;
159:-1 149:1;
161:-1 151:1;
151:-1 162:1;
162:-1 152:1;
152:-1 163:1;
163:-1 153:1;
153:-1 164:1;
164:-1 154:1;
154:-1 165:1;
165:-1 155:1;
155:-1 166:1;
166:-1 156:1;
156:-1 167:1;
167:-1 157:1;
157:-1 168:1;
168:-1 158:1;
158:-1 169:1;
169:-1 159:1;
171:-1 161:1;
161:-1 172:1;
172:-1 162:1;
162:-1 173:1;
173:-1 163:1;
163:-1 174:1;
174:-1 164:1;
164:-1 175:1;
175:-1 165:1;
165:-1 176:1;
176:-1 166:1;
166:-1 177:1;
177:-1 167:1;
167:-1 178:1;
178:-1 168:1;
168:-1 179:1;
179:-1 169:1;
181:-1 171:1;
171:-1 182:1;
182:-1 172:1;
172:-1 183:1;
183:-1 173:1;
173:-1 184:1;
184:-1 174:1;
174:-1 185:1;
185:-1 175:1;
175:-1 186:1;
186:-1 176:1;
176:-1 187:1;
187:-1 177:1;
177:-1 188:1;
188:-1 178:1;
178:-1 189:1;
189:-1 179:1;
191:-1 181:1;
181:-1 192:1;
192:-1 182:1;
182:-1 193:1;
193:-1 183:1;
183:-1 194:1;
194:-1 184:1;
184:-1 195:1;
195:-1 185:1;
185:-1 196:1;
196:-1 186:1;
186:-1 197:1;
197:-1 187:1;
187:-1 198:1;
198:-1 188:1;
188:-1 199:1;
199:-1 189:1;
equations 65 sparse
11:1 12:1 13:1 14:1 15:1 16:1 17:1 18:1 19:1 200:-2;
21:1 22:1 23:1 24:1 25:1 26:1 27:1 28:1 29:1 200:-4;
31:1 32:1 33:1 34:1 35:1 36:1 37:1 38:1 39:1 200:-5;
41:1 42:1 43:1 44:1 45:1 46:1 47:1 48:1 49:1 200:-6;
51:1 52:1 53:1 54:1 55:1 56:1 57:1 58:1 59:1 200:-7;
61:1 62:1 63:1 64:1 65:1 66:1 67:1 68:1 69:1 200:-8;
71:1 72:1 73:1 74:1 75:1 76:1 77:1 78:1 79:1 200:-9;
81:1 82:1 83:1 84:1 85:1 86:1 87:1 88:1 89:1 200:-10;
91:1 92:1 93:1 94:1 95:1 96:1 97:1 98:1 99:1 200:-11;
101:1 102:1 103:1 104:1 105:1 106:1 107:1 108:1 109:1 200:-12;
111:1 112:1 113:1 114:1 115:1 116:1 117:1 118:1 119:1 200:-14;
121:1 122:1 123:1 124:1 125:1 126:1 127:1 128:1 129:1 200:-16;
131:1 132:1 133:1 134:1 135:1 136:1 137:1 138:1 139:1 200:-18;
141:1 142:1 143:1 144:1 145:1 146:1 147:1 148:1 149:1 200:-20;
151:1 152:1 153:1 154:1 155:1 156:1 157:1 158:1 159:1 200:-22;
161:1 162:1 163:1 164:1 165:1 166:1 167:1 168:1 169:1 200:-23;
171:1 172:1 173:1 174:1 175:1 176:1 177:1 178:1 179:1 200:-25;
181:1 182:1 183:1 184:1 185:1 186:1 187:1 188:1 189:1 200:-27;
191:1 192:1 193:1 194:1 195:1 196:1 197:1 198:1 199:1 200:-28;
191:1 200:-4;
11:1 200:-2;
192:1 200:-4;
12:1 200:-0;
193:1 200:-4;
13:1 200:-0;
194:1 200:-4;
14:1 200:-0;
195:1 200:-3;
15:1 200:-0;
196:1 200:-3;
16:1 200:-0;
197:1 200:-2;
17:1 200:-0;
198:1 200:-2;
18:1 200:-0;
199:1 200:-2;
19:1 200:-0;
1:1;
2:1;
3:1;
4:1;
5:1;
6:1;
7:1;
8:1;
9:1;
10:1;
20:1;
30:1;
40:1;
50:1;
60:1;
70:1;
80:1;
90:1;
100:1;
110:1;
120:1;
130:1;
140:1;
150:1;
160:1;
170:1;
180:1;
190:1;
grading
unit_vector 200