\ n 21 minepct 50 grid 4 rnd 82
\ ?????????????????????
\ ?4?3?5?5?5?5?5?6?4?4?
\ ?????????????????????
\ 4?3?4?5?4?3?3?2?5?5?3
\ ?????????????????????
\ ?6?2?3?4?2?5?3?3?6?5?
\ ?????????????????????
\ 2?3?3?4?2?4?5?5?5?4?3
\ ?????????????????????
\ ?3?3?3?3?3?2?5?4?4?4?
\ ?????????????????????
\ 2?5?4?3?6?6?5?4?3?4?0
\ ?????????????????????
\ ?5?6?5?3?3?4?3?5?3?2?
\ ?????????????????????
\ 4?7?6?6?4?5?2?2?3?3?4
\ ?????????????????????
\ ?4?4?5?5?6?4?5?4?4?5?
\ ?????????????????????
\ 2?5?7?4?3?6?7?7?5?6?4
\ ?????????????????????
\ number of mines: 182

maximize
+x1i1+x1i2+x1i3+x1i4+x1i5+x1i6+x1i7+x1i8+x1i9+x1i10+x1i11+x1i12+x1i13+x1i14+x1i15+x1i16+x1i17+x1i18+x1i19+x1i20+x1i21
+x2i1+x2i3+x2i5+x2i7+x2i9+x2i11+x2i13+x2i15+x2i17+x2i19+x2i21
+x3i1+x3i2+x3i3+x3i4+x3i5+x3i6+x3i7+x3i8+x3i9+x3i10+x3i11+x3i12+x3i13+x3i14+x3i15+x3i16+x3i17+x3i18+x3i19+x3i20+x3i21
+x4i2+x4i4+x4i6+x4i8+x4i10+x4i12+x4i14+x4i16+x4i18+x4i20
+x5i1+x5i2+x5i3+x5i4+x5i5+x5i6+x5i7+x5i8+x5i9+x5i10+x5i11+x5i12+x5i13+x5i14+x5i15+x5i16+x5i17+x5i18+x5i19+x5i20+x5i21
+x6i1+x6i3+x6i5+x6i7+x6i9+x6i11+x6i13+x6i15+x6i17+x6i19+x6i21
+x7i1+x7i2+x7i3+x7i4+x7i5+x7i6+x7i7+x7i8+x7i9+x7i10+x7i11+x7i12+x7i13+x7i14+x7i15+x7i16+x7i17+x7i18+x7i19+x7i20+x7i21
+x8i2+x8i4+x8i6+x8i8+x8i10+x8i12+x8i14+x8i16+x8i18+x8i20
+x9i1+x9i2+x9i3+x9i4+x9i5+x9i6+x9i7+x9i8+x9i9+x9i10+x9i11+x9i12+x9i13+x9i14+x9i15+x9i16+x9i17+x9i18+x9i19+x9i20+x9i21
+x10i1+x10i3+x10i5+x10i7+x10i9+x10i11+x10i13+x10i15+x10i17+x10i19+x10i21
+x11i1+x11i2+x11i3+x11i4+x11i5+x11i6+x11i7+x11i8+x11i9+x11i10+x11i11+x11i12+x11i13+x11i14+x11i15+x11i16+x11i17+x11i18+x11i19+x11i20+x11i21
+x12i2+x12i4+x12i6+x12i8+x12i10+x12i12+x12i14+x12i16+x12i18+x12i20
+x13i1+x13i2+x13i3+x13i4+x13i5+x13i6+x13i7+x13i8+x13i9+x13i10+x13i11+x13i12+x13i13+x13i14+x13i15+x13i16+x13i17+x13i18+x13i19+x13i20+x13i21
+x14i1+x14i3+x14i5+x14i7+x14i9+x14i11+x14i13+x14i15+x14i17+x14i19+x14i21
+x15i1+x15i2+x15i3+x15i4+x15i5+x15i6+x15i7+x15i8+x15i9+x15i10+x15i11+x15i12+x15i13+x15i14+x15i15+x15i16+x15i17+x15i18+x15i19+x15i20+x15i21
+x16i2+x16i4+x16i6+x16i8+x16i10+x16i12+x16i14+x16i16+x16i18+x16i20
+x17i1+x17i2+x17i3+x17i4+x17i5+x17i6+x17i7+x17i8+x17i9+x17i10+x17i11+x17i12+x17i13+x17i14+x17i15+x17i16+x17i17+x17i18+x17i19+x17i20+x17i21
+x18i1+x18i3+x18i5+x18i7+x18i9+x18i11+x18i13+x18i15+x18i17+x18i19+x18i21
+x19i1+x19i2+x19i3+x19i4+x19i5+x19i6+x19i7+x19i8+x19i9+x19i10+x19i11+x19i12+x19i13+x19i14+x19i15+x19i16+x19i17+x19i18+x19i19+x19i20+x19i21
+x20i2+x20i4+x20i6+x20i8+x20i10+x20i12+x20i14+x20i16+x20i18+x20i20
+x21i1+x21i2+x21i3+x21i4+x21i5+x21i6+x21i7+x21i8+x21i9+x21i10+x21i11+x21i12+x21i13+x21i14+x21i15+x21i16+x21i17+x21i18+x21i19+x21i20+x21i21

subject to
+x1i1+x1i2+x1i3+x1i4+x1i5+x1i6+x1i7+x1i8+x1i9+x1i10+x1i11+x1i12+x1i13+x1i14+x1i15+x1i16+x1i17+x1i18+x1i19+x1i20+x1i21
+x2i1+x2i3+x2i5+x2i7+x2i9+x2i11+x2i13+x2i15+x2i17+x2i19+x2i21
+x3i1+x3i2+x3i3+x3i4+x3i5+x3i6+x3i7+x3i8+x3i9+x3i10+x3i11+x3i12+x3i13+x3i14+x3i15+x3i16+x3i17+x3i18+x3i19+x3i20+x3i21
+x4i2+x4i4+x4i6+x4i8+x4i10+x4i12+x4i14+x4i16+x4i18+x4i20
+x5i1+x5i2+x5i3+x5i4+x5i5+x5i6+x5i7+x5i8+x5i9+x5i10+x5i11+x5i12+x5i13+x5i14+x5i15+x5i16+x5i17+x5i18+x5i19+x5i20+x5i21
+x6i1+x6i3+x6i5+x6i7+x6i9+x6i11+x6i13+x6i15+x6i17+x6i19+x6i21
+x7i1+x7i2+x7i3+x7i4+x7i5+x7i6+x7i7+x7i8+x7i9+x7i10+x7i11+x7i12+x7i13+x7i14+x7i15+x7i16+x7i17+x7i18+x7i19+x7i20+x7i21
+x8i2+x8i4+x8i6+x8i8+x8i10+x8i12+x8i14+x8i16+x8i18+x8i20
+x9i1+x9i2+x9i3+x9i4+x9i5+x9i6+x9i7+x9i8+x9i9+x9i10+x9i11+x9i12+x9i13+x9i14+x9i15+x9i16+x9i17+x9i18+x9i19+x9i20+x9i21
+x10i1+x10i3+x10i5+x10i7+x10i9+x10i11+x10i13+x10i15+x10i17+x10i19+x10i21
+x11i1+x11i2+x11i3+x11i4+x11i5+x11i6+x11i7+x11i8+x11i9+x11i10+x11i11+x11i12+x11i13+x11i14+x11i15+x11i16+x11i17+x11i18+x11i19+x11i20+x11i21
+x12i2+x12i4+x12i6+x12i8+x12i10+x12i12+x12i14+x12i16+x12i18+x12i20
+x13i1+x13i2+x13i3+x13i4+x13i5+x13i6+x13i7+x13i8+x13i9+x13i10+x13i11+x13i12+x13i13+x13i14+x13i15+x13i16+x13i17+x13i18+x13i19+x13i20+x13i21
+x14i1+x14i3+x14i5+x14i7+x14i9+x14i11+x14i13+x14i15+x14i17+x14i19+x14i21
+x15i1+x15i2+x15i3+x15i4+x15i5+x15i6+x15i7+x15i8+x15i9+x15i10+x15i11+x15i12+x15i13+x15i14+x15i15+x15i16+x15i17+x15i18+x15i19+x15i20+x15i21
+x16i2+x16i4+x16i6+x16i8+x16i10+x16i12+x16i14+x16i16+x16i18+x16i20
+x17i1+x17i2+x17i3+x17i4+x17i5+x17i6+x17i7+x17i8+x17i9+x17i10+x17i11+x17i12+x17i13+x17i14+x17i15+x17i16+x17i17+x17i18+x17i19+x17i20+x17i21
+x18i1+x18i3+x18i5+x18i7+x18i9+x18i11+x18i13+x18i15+x18i17+x18i19+x18i21
+x19i1+x19i2+x19i3+x19i4+x19i5+x19i6+x19i7+x19i8+x19i9+x19i10+x19i11+x19i12+x19i13+x19i14+x19i15+x19i16+x19i17+x19i18+x19i19+x19i20+x19i21
+x20i2+x20i4+x20i6+x20i8+x20i10+x20i12+x20i14+x20i16+x20i18+x20i20
+x21i1+x21i2+x21i3+x21i4+x21i5+x21i6+x21i7+x21i8+x21i9+x21i10+x21i11+x21i12+x21i13+x21i14+x21i15+x21i16+x21i17+x21i18+x21i19+x21i20+x21i21
<=182
-x1i1-x1i2-x1i3-x1i4-x1i5-x1i6-x1i7-x1i8-x1i9-x1i10-x1i11-x1i12-x1i13-x1i14-x1i15-x1i16-x1i17-x1i18-x1i19-x1i20-x1i21
-x2i1-x2i3-x2i5-x2i7-x2i9-x2i11-x2i13-x2i15-x2i17-x2i19-x2i21
-x3i1-x3i2-x3i3-x3i4-x3i5-x3i6-x3i7-x3i8-x3i9-x3i10-x3i11-x3i12-x3i13-x3i14-x3i15-x3i16-x3i17-x3i18-x3i19-x3i20-x3i21
-x4i2-x4i4-x4i6-x4i8-x4i10-x4i12-x4i14-x4i16-x4i18-x4i20
-x5i1-x5i2-x5i3-x5i4-x5i5-x5i6-x5i7-x5i8-x5i9-x5i10-x5i11-x5i12-x5i13-x5i14-x5i15-x5i16-x5i17-x5i18-x5i19-x5i20-x5i21
-x6i1-x6i3-x6i5-x6i7-x6i9-x6i11-x6i13-x6i15-x6i17-x6i19-x6i21
-x7i1-x7i2-x7i3-x7i4-x7i5-x7i6-x7i7-x7i8-x7i9-x7i10-x7i11-x7i12-x7i13-x7i14-x7i15-x7i16-x7i17-x7i18-x7i19-x7i20-x7i21
-x8i2-x8i4-x8i6-x8i8-x8i10-x8i12-x8i14-x8i16-x8i18-x8i20
-x9i1-x9i2-x9i3-x9i4-x9i5-x9i6-x9i7-x9i8-x9i9-x9i10-x9i11-x9i12-x9i13-x9i14-x9i15-x9i16-x9i17-x9i18-x9i19-x9i20-x9i21
-x10i1-x10i3-x10i5-x10i7-x10i9-x10i11-x10i13-x10i15-x10i17-x10i19-x10i21
-x11i1-x11i2-x11i3-x11i4-x11i5-x11i6-x11i7-x11i8-x11i9-x11i10-x11i11-x11i12-x11i13-x11i14-x11i15-x11i16-x11i17-x11i18-x11i19-x11i20-x11i21
-x12i2-x12i4-x12i6-x12i8-x12i10-x12i12-x12i14-x12i16-x12i18-x12i20
-x13i1-x13i2-x13i3-x13i4-x13i5-x13i6-x13i7-x13i8-x13i9-x13i10-x13i11-x13i12-x13i13-x13i14-x13i15-x13i16-x13i17-x13i18-x13i19-x13i20-x13i21
-x14i1-x14i3-x14i5-x14i7-x14i9-x14i11-x14i13-x14i15-x14i17-x14i19-x14i21
-x15i1-x15i2-x15i3-x15i4-x15i5-x15i6-x15i7-x15i8-x15i9-x15i10-x15i11-x15i12-x15i13-x15i14-x15i15-x15i16-x15i17-x15i18-x15i19-x15i20-x15i21
-x16i2-x16i4-x16i6-x16i8-x16i10-x16i12-x16i14-x16i16-x16i18-x16i20
-x17i1-x17i2-x17i3-x17i4-x17i5-x17i6-x17i7-x17i8-x17i9-x17i10-x17i11-x17i12-x17i13-x17i14-x17i15-x17i16-x17i17-x17i18-x17i19-x17i20-x17i21
-x18i1-x18i3-x18i5-x18i7-x18i9-x18i11-x18i13-x18i15-x18i17-x18i19-x18i21
-x19i1-x19i2-x19i3-x19i4-x19i5-x19i6-x19i7-x19i8-x19i9-x19i10-x19i11-x19i12-x19i13-x19i14-x19i15-x19i16-x19i17-x19i18-x19i19-x19i20-x19i21
-x20i2-x20i4-x20i6-x20i8-x20i10-x20i12-x20i14-x20i16-x20i18-x20i20
-x21i1-x21i2-x21i3-x21i4-x21i5-x21i6-x21i7-x21i8-x21i9-x21i10-x21i11-x21i12-x21i13-x21i14-x21i15-x21i16-x21i17-x21i18-x21i19-x21i20-x21i21
<=-182
+x1i1+x1i2+x1i3+x2i1+x2i3+x3i1+x3i2+x3i3<=4
-x1i1-x1i2-x1i3-x2i1-x2i3-x3i1-x3i2-x3i3<=-4
+x1i3+x1i4+x1i5+x2i3+x2i5+x3i3+x3i4+x3i5<=3
-x1i3-x1i4-x1i5-x2i3-x2i5-x3i3-x3i4-x3i5<=-3
+x1i5+x1i6+x1i7+x2i5+x2i7+x3i5+x3i6+x3i7<=5
-x1i5-x1i6-x1i7-x2i5-x2i7-x3i5-x3i6-x3i7<=-5
+x1i7+x1i8+x1i9+x2i7+x2i9+x3i7+x3i8+x3i9<=5
-x1i7-x1i8-x1i9-x2i7-x2i9-x3i7-x3i8-x3i9<=-5
+x1i9+x1i10+x1i11+x2i9+x2i11+x3i9+x3i10+x3i11<=5
-x1i9-x1i10-x1i11-x2i9-x2i11-x3i9-x3i10-x3i11<=-5
+x1i11+x1i12+x1i13+x2i11+x2i13+x3i11+x3i12+x3i13<=5
-x1i11-x1i12-x1i13-x2i11-x2i13-x3i11-x3i12-x3i13<=-5
+x1i13+x1i14+x1i15+x2i13+x2i15+x3i13+x3i14+x3i15<=5
-x1i13-x1i14-x1i15-x2i13-x2i15-x3i13-x3i14-x3i15<=-5
+x1i15+x1i16+x1i17+x2i15+x2i17+x3i15+x3i16+x3i17<=6
-x1i15-x1i16-x1i17-x2i15-x2i17-x3i15-x3i16-x3i17<=-6
+x1i17+x1i18+x1i19+x2i17+x2i19+x3i17+x3i18+x3i19<=4
-x1i17-x1i18-x1i19-x2i17-x2i19-x3i17-x3i18-x3i19<=-4
+x1i19+x1i20+x1i21+x2i19+x2i21+x3i19+x3i20+x3i21<=4
-x1i19-x1i20-x1i21-x2i19-x2i21-x3i19-x3i20-x3i21<=-4
+x3i1+x3i2+x4i2+x5i1+x5i2<=4
-x3i1-x3i2-x4i2-x5i1-x5i2<=-4
+x3i2+x3i3+x3i4+x4i2+x4i4+x5i2+x5i3+x5i4<=3
-x3i2-x3i3-x3i4-x4i2-x4i4-x5i2-x5i3-x5i4<=-3
+x3i4+x3i5+x3i6+x4i4+x4i6+x5i4+x5i5+x5i6<=4
-x3i4-x3i5-x3i6-x4i4-x4i6-x5i4-x5i5-x5i6<=-4
+x3i6+x3i7+x3i8+x4i6+x4i8+x5i6+x5i7+x5i8<=5
-x3i6-x3i7-x3i8-x4i6-x4i8-x5i6-x5i7-x5i8<=-5
+x3i8+x3i9+x3i10+x4i8+x4i10+x5i8+x5i9+x5i10<=4
-x3i8-x3i9-x3i10-x4i8-x4i10-x5i8-x5i9-x5i10<=-4
+x3i10+x3i11+x3i12+x4i10+x4i12+x5i10+x5i11+x5i12<=3
-x3i10-x3i11-x3i12-x4i10-x4i12-x5i10-x5i11-x5i12<=-3
+x3i12+x3i13+x3i14+x4i12+x4i14+x5i12+x5i13+x5i14<=3
-x3i12-x3i13-x3i14-x4i12-x4i14-x5i12-x5i13-x5i14<=-3
+x3i14+x3i15+x3i16+x4i14+x4i16+x5i14+x5i15+x5i16<=2
-x3i14-x3i15-x3i16-x4i14-x4i16-x5i14-x5i15-x5i16<=-2
+x3i16+x3i17+x3i18+x4i16+x4i18+x5i16+x5i17+x5i18<=5
-x3i16-x3i17-x3i18-x4i16-x4i18-x5i16-x5i17-x5i18<=-5
+x3i18+x3i19+x3i20+x4i18+x4i20+x5i18+x5i19+x5i20<=5
-x3i18-x3i19-x3i20-x4i18-x4i20-x5i18-x5i19-x5i20<=-5
+x3i20+x3i21+x4i20+x5i20+x5i21<=3
-x3i20-x3i21-x4i20-x5i20-x5i21<=-3
+x5i1+x5i2+x5i3+x6i1+x6i3+x7i1+x7i2+x7i3<=6
-x5i1-x5i2-x5i3-x6i1-x6i3-x7i1-x7i2-x7i3<=-6
+x5i3+x5i4+x5i5+x6i3+x6i5+x7i3+x7i4+x7i5<=2
-x5i3-x5i4-x5i5-x6i3-x6i5-x7i3-x7i4-x7i5<=-2
+x5i5+x5i6+x5i7+x6i5+x6i7+x7i5+x7i6+x7i7<=3
-x5i5-x5i6-x5i7-x6i5-x6i7-x7i5-x7i6-x7i7<=-3
+x5i7+x5i8+x5i9+x6i7+x6i9+x7i7+x7i8+x7i9<=4
-x5i7-x5i8-x5i9-x6i7-x6i9-x7i7-x7i8-x7i9<=-4
+x5i9+x5i10+x5i11+x6i9+x6i11+x7i9+x7i10+x7i11<=2
-x5i9-x5i10-x5i11-x6i9-x6i11-x7i9-x7i10-x7i11<=-2
+x5i11+x5i12+x5i13+x6i11+x6i13+x7i11+x7i12+x7i13<=5
-x5i11-x5i12-x5i13-x6i11-x6i13-x7i11-x7i12-x7i13<=-5
+x5i13+x5i14+x5i15+x6i13+x6i15+x7i13+x7i14+x7i15<=3
-x5i13-x5i14-x5i15-x6i13-x6i15-x7i13-x7i14-x7i15<=-3
+x5i15+x5i16+x5i17+x6i15+x6i17+x7i15+x7i16+x7i17<=3
-x5i15-x5i16-x5i17-x6i15-x6i17-x7i15-x7i16-x7i17<=-3
+x5i17+x5i18+x5i19+x6i17+x6i19+x7i17+x7i18+x7i19<=6
-x5i17-x5i18-x5i19-x6i17-x6i19-x7i17-x7i18-x7i19<=-6
+x5i19+x5i20+x5i21+x6i19+x6i21+x7i19+x7i20+x7i21<=5
-x5i19-x5i20-x5i21-x6i19-x6i21-x7i19-x7i20-x7i21<=-5
+x7i1+x7i2+x8i2+x9i1+x9i2<=2
-x7i1-x7i2-x8i2-x9i1-x9i2<=-2
+x7i2+x7i3+x7i4+x8i2+x8i4+x9i2+x9i3+x9i4<=3
-x7i2-x7i3-x7i4-x8i2-x8i4-x9i2-x9i3-x9i4<=-3
+x7i4+x7i5+x7i6+x8i4+x8i6+x9i4+x9i5+x9i6<=3
-x7i4-x7i5-x7i6-x8i4-x8i6-x9i4-x9i5-x9i6<=-3
+x7i6+x7i7+x7i8+x8i6+x8i8+x9i6+x9i7+x9i8<=4
-x7i6-x7i7-x7i8-x8i6-x8i8-x9i6-x9i7-x9i8<=-4
+x7i8+x7i9+x7i10+x8i8+x8i10+x9i8+x9i9+x9i10<=2
-x7i8-x7i9-x7i10-x8i8-x8i10-x9i8-x9i9-x9i10<=-2
+x7i10+x7i11+x7i12+x8i10+x8i12+x9i10+x9i11+x9i12<=4
-x7i10-x7i11-x7i12-x8i10-x8i12-x9i10-x9i11-x9i12<=-4
+x7i12+x7i13+x7i14+x8i12+x8i14+x9i12+x9i13+x9i14<=5
-x7i12-x7i13-x7i14-x8i12-x8i14-x9i12-x9i13-x9i14<=-5
+x7i14+x7i15+x7i16+x8i14+x8i16+x9i14+x9i15+x9i16<=5
-x7i14-x7i15-x7i16-x8i14-x8i16-x9i14-x9i15-x9i16<=-5
+x7i16+x7i17+x7i18+x8i16+x8i18+x9i16+x9i17+x9i18<=5
-x7i16-x7i17-x7i18-x8i16-x8i18-x9i16-x9i17-x9i18<=-5
+x7i18+x7i19+x7i20+x8i18+x8i20+x9i18+x9i19+x9i20<=4
-x7i18-x7i19-x7i20-x8i18-x8i20-x9i18-x9i19-x9i20<=-4
+x7i20+x7i21+x8i20+x9i20+x9i21<=3
-x7i20-x7i21-x8i20-x9i20-x9i21<=-3
+x9i1+x9i2+x9i3+x10i1+x10i3+x11i1+x11i2+x11i3<=3
-x9i1-x9i2-x9i3-x10i1-x10i3-x11i1-x11i2-x11i3<=-3
+x9i3+x9i4+x9i5+x10i3+x10i5+x11i3+x11i4+x11i5<=3
-x9i3-x9i4-x9i5-x10i3-x10i5-x11i3-x11i4-x11i5<=-3
+x9i5+x9i6+x9i7+x10i5+x10i7+x11i5+x11i6+x11i7<=3
-x9i5-x9i6-x9i7-x10i5-x10i7-x11i5-x11i6-x11i7<=-3
+x9i7+x9i8+x9i9+x10i7+x10i9+x11i7+x11i8+x11i9<=3
-x9i7-x9i8-x9i9-x10i7-x10i9-x11i7-x11i8-x11i9<=-3
+x9i9+x9i10+x9i11+x10i9+x10i11+x11i9+x11i10+x11i11<=3
-x9i9-x9i10-x9i11-x10i9-x10i11-x11i9-x11i10-x11i11<=-3
+x9i11+x9i12+x9i13+x10i11+x10i13+x11i11+x11i12+x11i13<=2
-x9i11-x9i12-x9i13-x10i11-x10i13-x11i11-x11i12-x11i13<=-2
+x9i13+x9i14+x9i15+x10i13+x10i15+x11i13+x11i14+x11i15<=5
-x9i13-x9i14-x9i15-x10i13-x10i15-x11i13-x11i14-x11i15<=-5
+x9i15+x9i16+x9i17+x10i15+x10i17+x11i15+x11i16+x11i17<=4
-x9i15-x9i16-x9i17-x10i15-x10i17-x11i15-x11i16-x11i17<=-4
+x9i17+x9i18+x9i19+x10i17+x10i19+x11i17+x11i18+x11i19<=4
-x9i17-x9i18-x9i19-x10i17-x10i19-x11i17-x11i18-x11i19<=-4
+x9i19+x9i20+x9i21+x10i19+x10i21+x11i19+x11i20+x11i21<=4
-x9i19-x9i20-x9i21-x10i19-x10i21-x11i19-x11i20-x11i21<=-4
+x11i1+x11i2+x12i2+x13i1+x13i2<=2
-x11i1-x11i2-x12i2-x13i1-x13i2<=-2
+x11i2+x11i3+x11i4+x12i2+x12i4+x13i2+x13i3+x13i4<=5
-x11i2-x11i3-x11i4-x12i2-x12i4-x13i2-x13i3-x13i4<=-5
+x11i4+x11i5+x11i6+x12i4+x12i6+x13i4+x13i5+x13i6<=4
-x11i4-x11i5-x11i6-x12i4-x12i6-x13i4-x13i5-x13i6<=-4
+x11i6+x11i7+x11i8+x12i6+x12i8+x13i6+x13i7+x13i8<=3
-x11i6-x11i7-x11i8-x12i6-x12i8-x13i6-x13i7-x13i8<=-3
+x11i8+x11i9+x11i10+x12i8+x12i10+x13i8+x13i9+x13i10<=6
-x11i8-x11i9-x11i10-x12i8-x12i10-x13i8-x13i9-x13i10<=-6
+x11i10+x11i11+x11i12+x12i10+x12i12+x13i10+x13i11+x13i12<=6
-x11i10-x11i11-x11i12-x12i10-x12i12-x13i10-x13i11-x13i12<=-6
+x11i12+x11i13+x11i14+x12i12+x12i14+x13i12+x13i13+x13i14<=5
-x11i12-x11i13-x11i14-x12i12-x12i14-x13i12-x13i13-x13i14<=-5
+x11i14+x11i15+x11i16+x12i14+x12i16+x13i14+x13i15+x13i16<=4
-x11i14-x11i15-x11i16-x12i14-x12i16-x13i14-x13i15-x13i16<=-4
+x11i16+x11i17+x11i18+x12i16+x12i18+x13i16+x13i17+x13i18<=3
-x11i16-x11i17-x11i18-x12i16-x12i18-x13i16-x13i17-x13i18<=-3
+x11i18+x11i19+x11i20+x12i18+x12i20+x13i18+x13i19+x13i20<=4
-x11i18-x11i19-x11i20-x12i18-x12i20-x13i18-x13i19-x13i20<=-4
+x11i20+x11i21+x12i20+x13i20+x13i21<=0
-x11i20-x11i21-x12i20-x13i20-x13i21<=-0
+x13i1+x13i2+x13i3+x14i1+x14i3+x15i1+x15i2+x15i3<=5
-x13i1-x13i2-x13i3-x14i1-x14i3-x15i1-x15i2-x15i3<=-5
+x13i3+x13i4+x13i5+x14i3+x14i5+x15i3+x15i4+x15i5<=6
-x13i3-x13i4-x13i5-x14i3-x14i5-x15i3-x15i4-x15i5<=-6
+x13i5+x13i6+x13i7+x14i5+x14i7+x15i5+x15i6+x15i7<=5
-x13i5-x13i6-x13i7-x14i5-x14i7-x15i5-x15i6-x15i7<=-5
+x13i7+x13i8+x13i9+x14i7+x14i9+x15i7+x15i8+x15i9<=3
-x13i7-x13i8-x13i9-x14i7-x14i9-x15i7-x15i8-x15i9<=-3
+x13i9+x13i10+x13i11+x14i9+x14i11+x15i9+x15i10+x15i11<=3
-x13i9-x13i10-x13i11-x14i9-x14i11-x15i9-x15i10-x15i11<=-3
+x13i11+x13i12+x13i13+x14i11+x14i13+x15i11+x15i12+x15i13<=4
-x13i11-x13i12-x13i13-x14i11-x14i13-x15i11-x15i12-x15i13<=-4
+x13i13+x13i14+x13i15+x14i13+x14i15+x15i13+x15i14+x15i15<=3
-x13i13-x13i14-x13i15-x14i13-x14i15-x15i13-x15i14-x15i15<=-3
+x13i15+x13i16+x13i17+x14i15+x14i17+x15i15+x15i16+x15i17<=5
-x13i15-x13i16-x13i17-x14i15-x14i17-x15i15-x15i16-x15i17<=-5
+x13i17+x13i18+x13i19+x14i17+x14i19+x15i17+x15i18+x15i19<=3
-x13i17-x13i18-x13i19-x14i17-x14i19-x15i17-x15i18-x15i19<=-3
+x13i19+x13i20+x13i21+x14i19+x14i21+x15i19+x15i20+x15i21<=2
-x13i19-x13i20-x13i21-x14i19-x14i21-x15i19-x15i20-x15i21<=-2
+x15i1+x15i2+x16i2+x17i1+x17i2<=4
-x15i1-x15i2-x16i2-x17i1-x17i2<=-4
+x15i2+x15i3+x15i4+x16i2+x16i4+x17i2+x17i3+x17i4<=7
-x15i2-x15i3-x15i4-x16i2-x16i4-x17i2-x17i3-x17i4<=-7
+x15i4+x15i5+x15i6+x16i4+x16i6+x17i4+x17i5+x17i6<=6
-x15i4-x15i5-x15i6-x16i4-x16i6-x17i4-x17i5-x17i6<=-6
+x15i6+x15i7+x15i8+x16i6+x16i8+x17i6+x17i7+x17i8<=6
-x15i6-x15i7-x15i8-x16i6-x16i8-x17i6-x17i7-x17i8<=-6
+x15i8+x15i9+x15i10+x16i8+x16i10+x17i8+x17i9+x17i10<=4
-x15i8-x15i9-x15i10-x16i8-x16i10-x17i8-x17i9-x17i10<=-4
+x15i10+x15i11+x15i12+x16i10+x16i12+x17i10+x17i11+x17i12<=5
-x15i10-x15i11-x15i12-x16i10-x16i12-x17i10-x17i11-x17i12<=-5
+x15i12+x15i13+x15i14+x16i12+x16i14+x17i12+x17i13+x17i14<=2
-x15i12-x15i13-x15i14-x16i12-x16i14-x17i12-x17i13-x17i14<=-2
+x15i14+x15i15+x15i16+x16i14+x16i16+x17i14+x17i15+x17i16<=2
-x15i14-x15i15-x15i16-x16i14-x16i16-x17i14-x17i15-x17i16<=-2
+x15i16+x15i17+x15i18+x16i16+x16i18+x17i16+x17i17+x17i18<=3
-x15i16-x15i17-x15i18-x16i16-x16i18-x17i16-x17i17-x17i18<=-3
+x15i18+x15i19+x15i20+x16i18+x16i20+x17i18+x17i19+x17i20<=3
-x15i18-x15i19-x15i20-x16i18-x16i20-x17i18-x17i19-x17i20<=-3
+x15i20+x15i21+x16i20+x17i20+x17i21<=4
-x15i20-x15i21-x16i20-x17i20-x17i21<=-4
+x17i1+x17i2+x17i3+x18i1+x18i3+x19i1+x19i2+x19i3<=4
-x17i1-x17i2-x17i3-x18i1-x18i3-x19i1-x19i2-x19i3<=-4
+x17i3+x17i4+x17i5+x18i3+x18i5+x19i3+x19i4+x19i5<=4
-x17i3-x17i4-x17i5-x18i3-x18i5-x19i3-x19i4-x19i5<=-4
+x17i5+x17i6+x17i7+x18i5+x18i7+x19i5+x19i6+x19i7<=5
-x17i5-x17i6-x17i7-x18i5-x18i7-x19i5-x19i6-x19i7<=-5
+x17i7+x17i8+x17i9+x18i7+x18i9+x19i7+x19i8+x19i9<=5
-x17i7-x17i8-x17i9-x18i7-x18i9-x19i7-x19i8-x19i9<=-5
+x17i9+x17i10+x17i11+x18i9+x18i11+x19i9+x19i10+x19i11<=6
-x17i9-x17i10-x17i11-x18i9-x18i11-x19i9-x19i10-x19i11<=-6
+x17i11+x17i12+x17i13+x18i11+x18i13+x19i11+x19i12+x19i13<=4
-x17i11-x17i12-x17i13-x18i11-x18i13-x19i11-x19i12-x19i13<=-4
+x17i13+x17i14+x17i15+x18i13+x18i15+x19i13+x19i14+x19i15<=5
-x17i13-x17i14-x17i15-x18i13-x18i15-x19i13-x19i14-x19i15<=-5
+x17i15+x17i16+x17i17+x18i15+x18i17+x19i15+x19i16+x19i17<=4
-x17i15-x17i16-x17i17-x18i15-x18i17-x19i15-x19i16-x19i17<=-4
+x17i17+x17i18+x17i19+x18i17+x18i19+x19i17+x19i18+x19i19<=4
-x17i17-x17i18-x17i19-x18i17-x18i19-x19i17-x19i18-x19i19<=-4
+x17i19+x17i20+x17i21+x18i19+x18i21+x19i19+x19i20+x19i21<=5
-x17i19-x17i20-x17i21-x18i19-x18i21-x19i19-x19i20-x19i21<=-5
+x19i1+x19i2+x20i2+x21i1+x21i2<=2
-x19i1-x19i2-x20i2-x21i1-x21i2<=-2
+x19i2+x19i3+x19i4+x20i2+x20i4+x21i2+x21i3+x21i4<=5
-x19i2-x19i3-x19i4-x20i2-x20i4-x21i2-x21i3-x21i4<=-5
+x19i4+x19i5+x19i6+x20i4+x20i6+x21i4+x21i5+x21i6<=7
-x19i4-x19i5-x19i6-x20i4-x20i6-x21i4-x21i5-x21i6<=-7
+x19i6+x19i7+x19i8+x20i6+x20i8+x21i6+x21i7+x21i8<=4
-x19i6-x19i7-x19i8-x20i6-x20i8-x21i6-x21i7-x21i8<=-4
+x19i8+x19i9+x19i10+x20i8+x20i10+x21i8+x21i9+x21i10<=3
-x19i8-x19i9-x19i10-x20i8-x20i10-x21i8-x21i9-x21i10<=-3
+x19i10+x19i11+x19i12+x20i10+x20i12+x21i10+x21i11+x21i12<=6
-x19i10-x19i11-x19i12-x20i10-x20i12-x21i10-x21i11-x21i12<=-6
+x19i12+x19i13+x19i14+x20i12+x20i14+x21i12+x21i13+x21i14<=7
-x19i12-x19i13-x19i14-x20i12-x20i14-x21i12-x21i13-x21i14<=-7
+x19i14+x19i15+x19i16+x20i14+x20i16+x21i14+x21i15+x21i16<=7
-x19i14-x19i15-x19i16-x20i14-x20i16-x21i14-x21i15-x21i16<=-7
+x19i16+x19i17+x19i18+x20i16+x20i18+x21i16+x21i17+x21i18<=5
-x19i16-x19i17-x19i18-x20i16-x20i18-x21i16-x21i17-x21i18<=-5
+x19i18+x19i19+x19i20+x20i18+x20i20+x21i18+x21i19+x21i20<=6
-x19i18-x19i19-x19i20-x20i18-x20i20-x21i18-x21i19-x21i20<=-6
+x19i20+x19i21+x20i20+x21i20+x21i21<=4
-x19i20-x19i21-x20i20-x21i20-x21i21<=-4
 x1i1<=1
 x1i2<=1
 x1i3<=1
 x1i4<=1
 x1i5<=1
 x1i6<=1
 x1i7<=1
 x1i8<=1
 x1i9<=1
 x1i10<=1
 x1i11<=1
 x1i12<=1
 x1i13<=1
 x1i14<=1
 x1i15<=1
 x1i16<=1
 x1i17<=1
 x1i18<=1
 x1i19<=1
 x1i20<=1
 x1i21<=1
 x2i1<=1
 x2i3<=1
 x2i5<=1
 x2i7<=1
 x2i9<=1
 x2i11<=1
 x2i13<=1
 x2i15<=1
 x2i17<=1
 x2i19<=1
 x2i21<=1
 x3i1<=1
 x3i2<=1
 x3i3<=1
 x3i4<=1
 x3i5<=1
 x3i6<=1
 x3i7<=1
 x3i8<=1
 x3i9<=1
 x3i10<=1
 x3i11<=1
 x3i12<=1
 x3i13<=1
 x3i14<=1
 x3i15<=1
 x3i16<=1
 x3i17<=1
 x3i18<=1
 x3i19<=1
 x3i20<=1
 x3i21<=1
 x4i2<=1
 x4i4<=1
 x4i6<=1
 x4i8<=1
 x4i10<=1
 x4i12<=1
 x4i14<=1
 x4i16<=1
 x4i18<=1
 x4i20<=1
 x5i1<=1
 x5i2<=1
 x5i3<=1
 x5i4<=1
 x5i5<=1
 x5i6<=1
 x5i7<=1
 x5i8<=1
 x5i9<=1
 x5i10<=1
 x5i11<=1
 x5i12<=1
 x5i13<=1
 x5i14<=1
 x5i15<=1
 x5i16<=1
 x5i17<=1
 x5i18<=1
 x5i19<=1
 x5i20<=1
 x5i21<=1
 x6i1<=1
 x6i3<=1
 x6i5<=1
 x6i7<=1
 x6i9<=1
 x6i11<=1
 x6i13<=1
 x6i15<=1
 x6i17<=1
 x6i19<=1
 x6i21<=1
 x7i1<=1
 x7i2<=1
 x7i3<=1
 x7i4<=1
 x7i5<=1
 x7i6<=1
 x7i7<=1
 x7i8<=1
 x7i9<=1
 x7i10<=1
 x7i11<=1
 x7i12<=1
 x7i13<=1
 x7i14<=1
 x7i15<=1
 x7i16<=1
 x7i17<=1
 x7i18<=1
 x7i19<=1
 x7i20<=1
 x7i21<=1
 x8i2<=1
 x8i4<=1
 x8i6<=1
 x8i8<=1
 x8i10<=1
 x8i12<=1
 x8i14<=1
 x8i16<=1
 x8i18<=1
 x8i20<=1
 x9i1<=1
 x9i2<=1
 x9i3<=1
 x9i4<=1
 x9i5<=1
 x9i6<=1
 x9i7<=1
 x9i8<=1
 x9i9<=1
 x9i10<=1
 x9i11<=1
 x9i12<=1
 x9i13<=1
 x9i14<=1
 x9i15<=1
 x9i16<=1
 x9i17<=1
 x9i18<=1
 x9i19<=1
 x9i20<=1
 x9i21<=1
 x10i1<=1
 x10i3<=1
 x10i5<=1
 x10i7<=1
 x10i9<=1
 x10i11<=1
 x10i13<=1
 x10i15<=1
 x10i17<=1
 x10i19<=1
 x10i21<=1
 x11i1<=1
 x11i2<=1
 x11i3<=1
 x11i4<=1
 x11i5<=1
 x11i6<=1
 x11i7<=1
 x11i8<=1
 x11i9<=1
 x11i10<=1
 x11i11<=1
 x11i12<=1
 x11i13<=1
 x11i14<=1
 x11i15<=1
 x11i16<=1
 x11i17<=1
 x11i18<=1
 x11i19<=1
 x11i20<=1
 x11i21<=1
 x12i2<=1
 x12i4<=1
 x12i6<=1
 x12i8<=1
 x12i10<=1
 x12i12<=1
 x12i14<=1
 x12i16<=1
 x12i18<=1
 x12i20<=1
 x13i1<=1
 x13i2<=1
 x13i3<=1
 x13i4<=1
 x13i5<=1
 x13i6<=1
 x13i7<=1
 x13i8<=1
 x13i9<=1
 x13i10<=1
 x13i11<=1
 x13i12<=1
 x13i13<=1
 x13i14<=1
 x13i15<=1
 x13i16<=1
 x13i17<=1
 x13i18<=1
 x13i19<=1
 x13i20<=1
 x13i21<=1
 x14i1<=1
 x14i3<=1
 x14i5<=1
 x14i7<=1
 x14i9<=1
 x14i11<=1
 x14i13<=1
 x14i15<=1
 x14i17<=1
 x14i19<=1
 x14i21<=1
 x15i1<=1
 x15i2<=1
 x15i3<=1
 x15i4<=1
 x15i5<=1
 x15i6<=1
 x15i7<=1
 x15i8<=1
 x15i9<=1
 x15i10<=1
 x15i11<=1
 x15i12<=1
 x15i13<=1
 x15i14<=1
 x15i15<=1
 x15i16<=1
 x15i17<=1
 x15i18<=1
 x15i19<=1
 x15i20<=1
 x15i21<=1
 x16i2<=1
 x16i4<=1
 x16i6<=1
 x16i8<=1
 x16i10<=1
 x16i12<=1
 x16i14<=1
 x16i16<=1
 x16i18<=1
 x16i20<=1
 x17i1<=1
 x17i2<=1
 x17i3<=1
 x17i4<=1
 x17i5<=1
 x17i6<=1
 x17i7<=1
 x17i8<=1
 x17i9<=1
 x17i10<=1
 x17i11<=1
 x17i12<=1
 x17i13<=1
 x17i14<=1
 x17i15<=1
 x17i16<=1
 x17i17<=1
 x17i18<=1
 x17i19<=1
 x17i20<=1
 x17i21<=1
 x18i1<=1
 x18i3<=1
 x18i5<=1
 x18i7<=1
 x18i9<=1
 x18i11<=1
 x18i13<=1
 x18i15<=1
 x18i17<=1
 x18i19<=1
 x18i21<=1
 x19i1<=1
 x19i2<=1
 x19i3<=1
 x19i4<=1
 x19i5<=1
 x19i6<=1
 x19i7<=1
 x19i8<=1
 x19i9<=1
 x19i10<=1
 x19i11<=1
 x19i12<=1
 x19i13<=1
 x19i14<=1
 x19i15<=1
 x19i16<=1
 x19i17<=1
 x19i18<=1
 x19i19<=1
 x19i20<=1
 x19i21<=1
 x20i2<=1
 x20i4<=1
 x20i6<=1
 x20i8<=1
 x20i10<=1
 x20i12<=1
 x20i14<=1
 x20i16<=1
 x20i18<=1
 x20i20<=1
 x21i1<=1
 x21i2<=1
 x21i3<=1
 x21i4<=1
 x21i5<=1
 x21i6<=1
 x21i7<=1
 x21i8<=1
 x21i9<=1
 x21i10<=1
 x21i11<=1
 x21i12<=1
 x21i13<=1
 x21i14<=1
 x21i15<=1
 x21i16<=1
 x21i17<=1
 x21i18<=1
 x21i19<=1
 x21i20<=1
 x21i21<=1
end