* #variable= 228 #constraint= 616
* converted from file: submitted/manquinho/routing/s3-3-3-4pb.opb.bz2
min: +1*v1 +1*v2 +1*v3 +1*v4 +1*v5 +1*v6 +1*v7 +1*v8 +1*v9 +1*v10 +1*v11 +1*v12 +1*v13 +1*v14 +1*v15 +1*v16 +1*v17 +1*v18 +1*v19 +1*v20 +1*v21 +1*v22 +1*v23 +1*v24 +1*v25 +1*v26 +1*v27 +1*v28 +1*v29 +1*v30 +1*v31 +1*v32 +1*v33 +1*v34 +1*v35 +1*v36 +1*v37 +1*v38 +1*v39 +1*v40 +1*v41 +1*v42 +1*v43 +1*v44 +1*v45 +1*v46 +1*v47 +1*v48 +1*v49 +1*v50 +1*v51 +1*v52 +1*v53 +1*v54 +1*v55 +1*v56 +1*v57 +1*v58 +1*v59 +1*v60 +1*v61 +1*v62 +1*v63 +1*v64 +1*v65 +1*v66 +1*v67 +1*v68 +1*v69 +1*v70 +1*v71 +1*v72 +1*v73 +1*v74 +1*v75 +1*v76 +1*v77 +1*v78 +1*v79 +1*v80 +1*v81 +1*v82 +1*v83 +1*v84 +1*v85 +1*v86 +1*v87 +1*v88 +1*v89 +1*v90 +1*v91 +1*v92 +1*v93 +1*v94 +1*v95 +1*v96 +1*v97 +1*v98 +1*v99 +1*v100 +1*v101 +1*v102 +1*v103 +1*v104 +1*v105 +1*v106 +1*v107 +1*v108 +1*v109 +1*v110 +1*v111 +1*v112 +1*v113 +1*v114 +1*v115 +1*v116 +1*v117 +1*v118 +1*v119 +1*v120 +1*v121 +1*v122 +1*v123 +1*v124 +1*v125 +1*v126 +1*v127 +1*v128 +1*v129 +1*v130 +1*v131 +1*v132 +1*v133 +1*v134 +1*v135 +1*v136 +1*v137 +1*v138 +1*v139 +1*v140 +1*v141 +1*v142 +1*v143 +1*v144 +1*v145 +1*v146 +1*v147 +1*v148 +1*v149 +1*v150 +1*v151 +1*v152 +1*v153 +1*v154 +1*v155 +1*v156 +1*v157 +1*v158 +1*v159 +1*v160 +1*v161 +1*v162 +1*v163 +1*v164 +1*v165 +1*v166 +1*v167 +1*v168 +1*v169 +1*v170 +1*v171 +1*v172 +1*v173 +1*v174 +1*v175 +1*v176 +1*v177 +1*v178 +1*v179 +1*v180 +1*v181 +1*v182 +1*v183 +1*v184 +1*v185 +1*v186 +1*v187 +1*v188 +1*v189 +1*v190 +1*v191 +1*v192 +1*v193 +1*v194 +1*v195 +1*v196 +1*v197 +1*v198 +1*v199 +1*v200 +1*v201 +1*v202 +1*v203 +1*v204 +1*v205 +1*v206 +1*v207 +1*v208 +1*v209 +1*v210 +1*v211 +1*v212 +1*v213 +1*v214 +1*v215 +1*v216 +1*v217 +1*v218 +1*v219 +1*v220 +1*v221 +1*v222 +1*v223 +1*v224 +1*v225 +1*v226 +1*v227 +1*v228 ;
+1*v10 +1*v5 >= +1;
-1*v10 -1*v5 >= -1;
-1*v10 +1*v7 +1*v3 >= +0;
-1*v10 -1*v7 -1*v3 >= -2;
-1*v7 +1*v10 +1*v3 >= +0;
-1*v3 +1*v10 +1*v7 >= +0;
-1*v11 +1*v6 +1*v5 >= +0;
-1*v11 -1*v6 -1*v5 >= -2;
-1*v6 +1*v11 +1*v5 >= +0;
-1*v5 +1*v11 +1*v6 >= +0;
-1*v7 +1*v1 >= +0;
-1*v1 +1*v7 >= +0;
-1*v11 +1*v8 +1*v4 +1*v3 >= +0;
-1*v11 -1*v8 -1*v4 >= -2;
-1*v11 -1*v8 -1*v3 >= -2;
-1*v11 -1*v4 -1*v3 >= -2;
-1*v8 +1*v11 +1*v4 +1*v3 >= +0;
-1*v8 -1*v4 -1*v3 >= -2;
-1*v4 +1*v11 +1*v8 +1*v3 >= +0;
-1*v3 +1*v11 +1*v8 +1*v4 >= +0;
+1*v12 +1*v6 >= +1;
-1*v12 -1*v6 >= -1;
-1*v8 +1*v2 +1*v1 >= +0;
-1*v8 -1*v2 -1*v1 >= -2;
-1*v2 +1*v8 +1*v1 >= +0;
-1*v1 +1*v8 +1*v2 >= +0;
-1*v12 +1*v9 +1*v4 >= +0;
-1*v12 -1*v9 -1*v4 >= -2;
-1*v9 +1*v12 +1*v4 >= +0;
-1*v4 +1*v12 +1*v9 >= +0;
-1*v9 +1*v2 >= +0;
-1*v2 +1*v9 >= +0;
+1*v21 +1*v14 >= +1;
-1*v21 -1*v14 >= -1;
-1*v24 +1*v21 +1*v16 >= +0;
-1*v24 -1*v21 -1*v16 >= -2;
-1*v21 +1*v24 +1*v16 >= +0;
-1*v16 +1*v24 +1*v21 >= +0;
-1*v20 +1*v14 +1*v13 >= +0;
-1*v20 -1*v14 -1*v13 >= -2;
-1*v14 +1*v20 +1*v13 >= +0;
-1*v13 +1*v20 +1*v14 >= +0;
+1*v24 +1*v18 >= +1;
-1*v24 -1*v18 >= -1;
-1*v23 +1*v20 +1*v16 +1*v15 >= +0;
-1*v23 -1*v20 -1*v16 >= -2;
-1*v23 -1*v20 -1*v15 >= -2;
-1*v23 -1*v16 -1*v15 >= -2;
-1*v20 +1*v23 +1*v16 +1*v15 >= +0;
-1*v20 -1*v16 -1*v15 >= -2;
-1*v16 +1*v23 +1*v20 +1*v15 >= +0;
-1*v15 +1*v23 +1*v20 +1*v16 >= +0;
-1*v19 +1*v13 >= +0;
-1*v13 +1*v19 >= +0;
-1*v23 +1*v18 +1*v17 >= +0;
-1*v23 -1*v18 -1*v17 >= -2;
-1*v18 +1*v23 +1*v17 >= +0;
-1*v17 +1*v23 +1*v18 >= +0;
-1*v22 +1*v19 +1*v15 >= +0;
-1*v22 -1*v19 -1*v15 >= -2;
-1*v19 +1*v22 +1*v15 >= +0;
-1*v15 +1*v22 +1*v19 >= +0;
-1*v22 +1*v17 >= +0;
-1*v17 +1*v22 >= +0;
+1*v36 +1*v33 +1*v28 >= +1;
-1*v36 -1*v33 >= -1;
-1*v36 -1*v28 >= -1;
-1*v33 -1*v28 >= -1;
-1*v36 +1*v30 >= +0;
-1*v30 +1*v36 >= +0;
-1*v33 +1*v26 >= +0;
-1*v26 +1*v33 >= +0;
-1*v35 +1*v32 +1*v28 +1*v27 >= +0;
-1*v35 -1*v32 -1*v28 >= -2;
-1*v35 -1*v32 -1*v27 >= -2;
-1*v35 -1*v28 -1*v27 >= -2;
-1*v32 +1*v35 +1*v28 +1*v27 >= +0;
-1*v32 -1*v28 -1*v27 >= -2;
-1*v28 +1*v35 +1*v32 +1*v27 >= +0;
-1*v27 +1*v35 +1*v32 +1*v28 >= +0;
-1*v35 +1*v30 +1*v29 >= +0;
-1*v35 -1*v30 -1*v29 >= -2;
-1*v30 +1*v35 +1*v29 >= +0;
-1*v29 +1*v35 +1*v30 >= +0;
-1*v32 +1*v26 +1*v25 >= +0;
-1*v32 -1*v26 -1*v25 >= -2;
-1*v26 +1*v32 +1*v25 >= +0;
-1*v25 +1*v32 +1*v26 >= +0;
-1*v34 +1*v31 +1*v27 >= +0;
-1*v34 -1*v31 -1*v27 >= -2;
-1*v31 +1*v34 +1*v27 >= +0;
-1*v27 +1*v34 +1*v31 >= +0;
-1*v34 +1*v29 >= +0;
-1*v29 +1*v34 >= +0;
+1*v31 +1*v25 >= +1;
-1*v31 -1*v25 >= -1;
+1*v45 +1*v38 >= +1;
-1*v45 -1*v38 >= -1;
-1*v48 +1*v45 +1*v40 >= +0;
-1*v48 -1*v45 -1*v40 >= -2;
-1*v45 +1*v48 +1*v40 >= +0;
-1*v40 +1*v48 +1*v45 >= +0;
-1*v44 +1*v38 +1*v37 >= +0;
-1*v44 -1*v38 -1*v37 >= -2;
-1*v38 +1*v44 +1*v37 >= +0;
-1*v37 +1*v44 +1*v38 >= +0;
+1*v48 +1*v42 >= +1;
-1*v48 -1*v42 >= -1;
-1*v47 +1*v44 +1*v40 +1*v39 >= +0;
-1*v47 -1*v44 -1*v40 >= -2;
-1*v47 -1*v44 -1*v39 >= -2;
-1*v47 -1*v40 -1*v39 >= -2;
-1*v44 +1*v47 +1*v40 +1*v39 >= +0;
-1*v44 -1*v40 -1*v39 >= -2;
-1*v40 +1*v47 +1*v44 +1*v39 >= +0;
-1*v39 +1*v47 +1*v44 +1*v40 >= +0;
-1*v43 +1*v37 >= +0;
-1*v37 +1*v43 >= +0;
-1*v47 +1*v42 +1*v41 >= +0;
-1*v47 -1*v42 -1*v41 >= -2;
-1*v42 +1*v47 +1*v41 >= +0;
-1*v41 +1*v47 +1*v42 >= +0;
-1*v46 +1*v43 +1*v39 >= +0;
-1*v46 -1*v43 -1*v39 >= -2;
-1*v43 +1*v46 +1*v39 >= +0;
-1*v39 +1*v46 +1*v43 >= +0;
-1*v46 +1*v41 >= +0;
-1*v41 +1*v46 >= +0;
+1*v56 +1*v50 +1*v49 >= +1;
-1*v56 -1*v50 >= -1;
-1*v56 -1*v49 >= -1;
-1*v50 -1*v49 >= -1;
-1*v59 +1*v56 +1*v52 +1*v51 >= +0;
-1*v59 -1*v56 -1*v52 >= -2;
-1*v59 -1*v56 -1*v51 >= -2;
-1*v59 -1*v52 -1*v51 >= -2;
-1*v56 +1*v59 +1*v52 +1*v51 >= +0;
-1*v56 -1*v52 -1*v51 >= -2;
-1*v52 +1*v59 +1*v56 +1*v51 >= +0;
-1*v51 +1*v59 +1*v56 +1*v52 >= +0;
-1*v57 +1*v50 >= +0;
-1*v50 +1*v57 >= +0;
-1*v55 +1*v49 >= +0;
-1*v49 +1*v55 >= +0;
-1*v59 +1*v54 +1*v53 >= +0;
-1*v59 -1*v54 -1*v53 >= -2;
-1*v54 +1*v59 +1*v53 >= +0;
-1*v53 +1*v59 +1*v54 >= +0;
-1*v60 +1*v57 +1*v52 >= +0;
-1*v60 -1*v57 -1*v52 >= -2;
-1*v57 +1*v60 +1*v52 >= +0;
-1*v52 +1*v60 +1*v57 >= +0;
-1*v58 +1*v55 +1*v51 >= +0;
-1*v58 -1*v55 -1*v51 >= -2;
-1*v55 +1*v58 +1*v51 >= +0;
-1*v51 +1*v58 +1*v55 >= +0;
-1*v60 +1*v54 >= +0;
-1*v54 +1*v60 >= +0;
+1*v58 +1*v53 >= +1;
-1*v58 -1*v53 >= -1;
+1*v71 +1*v66 +1*v65 >= +1;
-1*v71 -1*v66 >= -1;
-1*v71 -1*v65 >= -1;
-1*v66 -1*v65 >= -1;
-1*v71 +1*v68 +1*v64 +1*v63 >= +0;
-1*v71 -1*v68 -1*v64 >= -2;
-1*v71 -1*v68 -1*v63 >= -2;
-1*v71 -1*v64 -1*v63 >= -2;
-1*v68 +1*v71 +1*v64 +1*v63 >= +0;
-1*v68 -1*v64 -1*v63 >= -2;
-1*v64 +1*v71 +1*v68 +1*v63 >= +0;
-1*v63 +1*v71 +1*v68 +1*v64 >= +0;
-1*v72 +1*v66 >= +0;
-1*v66 +1*v72 >= +0;
-1*v70 +1*v65 >= +0;
-1*v65 +1*v70 >= +0;
-1*v68 +1*v62 +1*v61 >= +0;
-1*v68 -1*v62 -1*v61 >= -2;
-1*v62 +1*v68 +1*v61 >= +0;
-1*v61 +1*v68 +1*v62 >= +0;
+1*v72 +1*v69 +1*v64 >= +1;
-1*v72 -1*v69 >= -1;
-1*v72 -1*v64 >= -1;
-1*v69 -1*v64 >= -1;
-1*v70 +1*v67 +1*v63 >= +0;
-1*v70 -1*v67 -1*v63 >= -2;
-1*v67 +1*v70 +1*v63 >= +0;
-1*v63 +1*v70 +1*v67 >= +0;
-1*v69 +1*v62 >= +0;
-1*v62 +1*v69 >= +0;
-1*v67 +1*v61 >= +0;
-1*v61 +1*v67 >= +0;
+1*v80 +1*v74 +1*v73 >= +1;
-1*v80 -1*v74 >= -1;
-1*v80 -1*v73 >= -1;
-1*v74 -1*v73 >= -1;
-1*v83 +1*v80 +1*v76 +1*v75 >= +0;
-1*v83 -1*v80 -1*v76 >= -2;
-1*v83 -1*v80 -1*v75 >= -2;
-1*v83 -1*v76 -1*v75 >= -2;
-1*v80 +1*v83 +1*v76 +1*v75 >= +0;
-1*v80 -1*v76 -1*v75 >= -2;
-1*v76 +1*v83 +1*v80 +1*v75 >= +0;
-1*v75 +1*v83 +1*v80 +1*v76 >= +0;
-1*v81 +1*v74 >= +0;
-1*v74 +1*v81 >= +0;
-1*v79 +1*v73 >= +0;
-1*v73 +1*v79 >= +0;
-1*v83 +1*v78 +1*v77 >= +0;
-1*v83 -1*v78 -1*v77 >= -2;
-1*v78 +1*v83 +1*v77 >= +0;
-1*v77 +1*v83 +1*v78 >= +0;
-1*v84 +1*v81 +1*v76 >= +0;
-1*v84 -1*v81 -1*v76 >= -2;
-1*v81 +1*v84 +1*v76 >= +0;
-1*v76 +1*v84 +1*v81 >= +0;
+1*v82 +1*v79 +1*v75 >= +1;
-1*v82 -1*v79 >= -1;
-1*v82 -1*v75 >= -1;
-1*v79 -1*v75 >= -1;
-1*v84 +1*v78 >= +0;
-1*v78 +1*v84 >= +0;
-1*v82 +1*v77 >= +0;
-1*v77 +1*v82 >= +0;
+1*v94 +1*v89 >= +1;
-1*v94 -1*v89 >= -1;
-1*v94 +1*v91 +1*v87 >= +0;
-1*v94 -1*v91 -1*v87 >= -2;
-1*v91 +1*v94 +1*v87 >= +0;
-1*v87 +1*v94 +1*v91 >= +0;
-1*v95 +1*v90 +1*v89 >= +0;
-1*v95 -1*v90 -1*v89 >= -2;
-1*v90 +1*v95 +1*v89 >= +0;
-1*v89 +1*v95 +1*v90 >= +0;
-1*v91 +1*v85 >= +0;
-1*v85 +1*v91 >= +0;
-1*v95 +1*v92 +1*v88 +1*v87 >= +0;
-1*v95 -1*v92 -1*v88 >= -2;
-1*v95 -1*v92 -1*v87 >= -2;
-1*v95 -1*v88 -1*v87 >= -2;
-1*v92 +1*v95 +1*v88 +1*v87 >= +0;
-1*v92 -1*v88 -1*v87 >= -2;
-1*v88 +1*v95 +1*v92 +1*v87 >= +0;
-1*v87 +1*v95 +1*v92 +1*v88 >= +0;
-1*v96 +1*v90 >= +0;
-1*v90 +1*v96 >= +0;
+1*v92 +1*v86 +1*v85 >= +1;
-1*v92 -1*v86 >= -1;
-1*v92 -1*v85 >= -1;
-1*v86 -1*v85 >= -1;
-1*v96 +1*v93 +1*v88 >= +0;
-1*v96 -1*v93 -1*v88 >= -2;
-1*v93 +1*v96 +1*v88 >= +0;
-1*v88 +1*v96 +1*v93 >= +0;
-1*v93 +1*v86 >= +0;
-1*v86 +1*v93 >= +0;
+1*v107 +1*v104 +1*v100 +1*v99 >= +1;
-1*v107 -1*v104 >= -1;
-1*v107 -1*v100 >= -1;
-1*v107 -1*v99 >= -1;
-1*v104 -1*v100 >= -1;
-1*v104 -1*v99 >= -1;
-1*v100 -1*v99 >= -1;
-1*v107 +1*v102 +1*v101 >= +0;
-1*v107 -1*v102 -1*v101 >= -2;
-1*v102 +1*v107 +1*v101 >= +0;
-1*v101 +1*v107 +1*v102 >= +0;
-1*v104 +1*v98 +1*v97 >= +0;
-1*v104 -1*v98 -1*v97 >= -2;
-1*v98 +1*v104 +1*v97 >= +0;
-1*v97 +1*v104 +1*v98 >= +0;
-1*v108 +1*v105 +1*v100 >= +0;
-1*v108 -1*v105 -1*v100 >= -2;
-1*v105 +1*v108 +1*v100 >= +0;
-1*v100 +1*v108 +1*v105 >= +0;
+1*v106 +1*v103 +1*v99 >= +1;
-1*v106 -1*v103 >= -1;
-1*v106 -1*v99 >= -1;
-1*v103 -1*v99 >= -1;
-1*v108 +1*v102 >= +0;
-1*v102 +1*v108 >= +0;
-1*v106 +1*v101 >= +0;
-1*v101 +1*v106 >= +0;
-1*v105 +1*v98 >= +0;
-1*v98 +1*v105 >= +0;
-1*v103 +1*v97 >= +0;
-1*v97 +1*v103 >= +0;
+1*v119 +1*v116 +1*v112 +1*v111 >= +1;
-1*v119 -1*v116 >= -1;
-1*v119 -1*v112 >= -1;
-1*v119 -1*v111 >= -1;
-1*v116 -1*v112 >= -1;
-1*v116 -1*v111 >= -1;
-1*v112 -1*v111 >= -1;
-1*v119 +1*v114 +1*v113 >= +0;
-1*v119 -1*v114 -1*v113 >= -2;
-1*v114 +1*v119 +1*v113 >= +0;
-1*v113 +1*v119 +1*v114 >= +0;
-1*v116 +1*v110 +1*v109 >= +0;
-1*v116 -1*v110 -1*v109 >= -2;
-1*v110 +1*v116 +1*v109 >= +0;
-1*v109 +1*v116 +1*v110 >= +0;
-1*v120 +1*v117 +1*v112 >= +0;
-1*v120 -1*v117 -1*v112 >= -2;
-1*v117 +1*v120 +1*v112 >= +0;
-1*v112 +1*v120 +1*v117 >= +0;
-1*v118 +1*v115 +1*v111 >= +0;
-1*v118 -1*v115 -1*v111 >= -2;
-1*v115 +1*v118 +1*v111 >= +0;
-1*v111 +1*v118 +1*v115 >= +0;
+1*v120 +1*v114 >= +1;
-1*v120 -1*v114 >= -1;
-1*v118 +1*v113 >= +0;
-1*v113 +1*v118 >= +0;
-1*v117 +1*v110 >= +0;
-1*v110 +1*v117 >= +0;
-1*v115 +1*v109 >= +0;
-1*v109 +1*v115 >= +0;
+1*v132 +1*v126 >= +1;
-1*v132 -1*v126 >= -1;
-1*v132 +1*v129 +1*v124 >= +0;
-1*v132 -1*v129 -1*v124 >= -2;
-1*v129 +1*v132 +1*v124 >= +0;
-1*v124 +1*v132 +1*v129 >= +0;
-1*v131 +1*v126 +1*v125 >= +0;
-1*v131 -1*v126 -1*v125 >= -2;
-1*v126 +1*v131 +1*v125 >= +0;
-1*v125 +1*v131 +1*v126 >= +0;
-1*v129 +1*v122 >= +0;
-1*v122 +1*v129 >= +0;
-1*v131 +1*v128 +1*v124 +1*v123 >= +0;
-1*v131 -1*v128 -1*v124 >= -2;
-1*v131 -1*v128 -1*v123 >= -2;
-1*v131 -1*v124 -1*v123 >= -2;
-1*v128 +1*v131 +1*v124 +1*v123 >= +0;
-1*v128 -1*v124 -1*v123 >= -2;
-1*v124 +1*v131 +1*v128 +1*v123 >= +0;
-1*v123 +1*v131 +1*v128 +1*v124 >= +0;
-1*v130 +1*v125 >= +0;
-1*v125 +1*v130 >= +0;
-1*v128 +1*v122 +1*v121 >= +0;
-1*v128 -1*v122 -1*v121 >= -2;
-1*v122 +1*v128 +1*v121 >= +0;
-1*v121 +1*v128 +1*v122 >= +0;
+1*v130 +1*v127 +1*v123 >= +1;
-1*v130 -1*v127 >= -1;
-1*v130 -1*v123 >= -1;
-1*v127 -1*v123 >= -1;
-1*v127 +1*v121 >= +0;
-1*v121 +1*v127 >= +0;
+1*v142 +1*v137 >= +1;
-1*v142 -1*v137 >= -1;
-1*v142 +1*v139 +1*v135 >= +0;
-1*v142 -1*v139 -1*v135 >= -2;
-1*v139 +1*v142 +1*v135 >= +0;
-1*v135 +1*v142 +1*v139 >= +0;
+1*v143 +1*v138 +1*v137 >= +1;
-1*v143 -1*v138 >= -1;
-1*v143 -1*v137 >= -1;
-1*v138 -1*v137 >= -1;
-1*v139 +1*v133 >= +0;
-1*v133 +1*v139 >= +0;
-1*v143 +1*v140 +1*v136 +1*v135 >= +0;
-1*v143 -1*v140 -1*v136 >= -2;
-1*v143 -1*v140 -1*v135 >= -2;
-1*v143 -1*v136 -1*v135 >= -2;
-1*v140 +1*v143 +1*v136 +1*v135 >= +0;
-1*v140 -1*v136 -1*v135 >= -2;
-1*v136 +1*v143 +1*v140 +1*v135 >= +0;
-1*v135 +1*v143 +1*v140 +1*v136 >= +0;
-1*v144 +1*v138 >= +0;
-1*v138 +1*v144 >= +0;
-1*v140 +1*v134 +1*v133 >= +0;
-1*v140 -1*v134 -1*v133 >= -2;
-1*v134 +1*v140 +1*v133 >= +0;
-1*v133 +1*v140 +1*v134 >= +0;
-1*v144 +1*v141 +1*v136 >= +0;
-1*v144 -1*v141 -1*v136 >= -2;
-1*v141 +1*v144 +1*v136 >= +0;
-1*v136 +1*v144 +1*v141 >= +0;
-1*v141 +1*v134 >= +0;
-1*v134 +1*v141 >= +0;
+1*v154 +1*v149 >= +1;
-1*v154 -1*v149 >= -1;
-1*v154 +1*v151 +1*v147 >= +0;
-1*v154 -1*v151 -1*v147 >= -2;
-1*v151 +1*v154 +1*v147 >= +0;
-1*v147 +1*v154 +1*v151 >= +0;
-1*v155 +1*v150 +1*v149 >= +0;
-1*v155 -1*v150 -1*v149 >= -2;
-1*v150 +1*v155 +1*v149 >= +0;
-1*v149 +1*v155 +1*v150 >= +0;
-1*v151 +1*v145 >= +0;
-1*v145 +1*v151 >= +0;
-1*v155 +1*v152 +1*v148 +1*v147 >= +0;
-1*v155 -1*v152 -1*v148 >= -2;
-1*v155 -1*v152 -1*v147 >= -2;
-1*v155 -1*v148 -1*v147 >= -2;
-1*v152 +1*v155 +1*v148 +1*v147 >= +0;
-1*v152 -1*v148 -1*v147 >= -2;
-1*v148 +1*v155 +1*v152 +1*v147 >= +0;
-1*v147 +1*v155 +1*v152 +1*v148 >= +0;
-1*v156 +1*v150 >= +0;
-1*v150 +1*v156 >= +0;
+1*v152 +1*v146 +1*v145 >= +1;
-1*v152 -1*v146 >= -1;
-1*v152 -1*v145 >= -1;
-1*v146 -1*v145 >= -1;
-1*v156 +1*v153 +1*v148 >= +0;
-1*v156 -1*v153 -1*v148 >= -2;
-1*v153 +1*v156 +1*v148 >= +0;
-1*v148 +1*v156 +1*v153 >= +0;
-1*v153 +1*v146 >= +0;
-1*v146 +1*v153 >= +0;
+1*v165 +1*v158 >= +1;
-1*v165 -1*v158 >= -1;
-1*v168 +1*v165 +1*v160 >= +0;
-1*v168 -1*v165 -1*v160 >= -2;
-1*v165 +1*v168 +1*v160 >= +0;
-1*v160 +1*v168 +1*v165 >= +0;
-1*v164 +1*v158 +1*v157 >= +0;
-1*v164 -1*v158 -1*v157 >= -2;
-1*v158 +1*v164 +1*v157 >= +0;
-1*v157 +1*v164 +1*v158 >= +0;
-1*v168 +1*v162 >= +0;
-1*v162 +1*v168 >= +0;
+1*v167 +1*v164 +1*v160 +1*v159 >= +1;
-1*v167 -1*v164 >= -1;
-1*v167 -1*v160 >= -1;
-1*v167 -1*v159 >= -1;
-1*v164 -1*v160 >= -1;
-1*v164 -1*v159 >= -1;
-1*v160 -1*v159 >= -1;
-1*v163 +1*v157 >= +0;
-1*v157 +1*v163 >= +0;
-1*v167 +1*v162 +1*v161 >= +0;
-1*v167 -1*v162 -1*v161 >= -2;
-1*v162 +1*v167 +1*v161 >= +0;
-1*v161 +1*v167 +1*v162 >= +0;
-1*v166 +1*v163 +1*v159 >= +0;
-1*v166 -1*v163 -1*v159 >= -2;
-1*v163 +1*v166 +1*v159 >= +0;
-1*v159 +1*v166 +1*v163 >= +0;
-1*v166 +1*v161 >= +0;
-1*v161 +1*v166 >= +0;
+1*v178 +1*v175 +1*v171 >= +1;
-1*v178 -1*v175 >= -1;
-1*v178 -1*v171 >= -1;
-1*v175 -1*v171 >= -1;
+1*v178 +1*v173 >= +1;
-1*v178 -1*v173 >= -1;
-1*v175 +1*v169 >= +0;
-1*v169 +1*v175 >= +0;
-1*v179 +1*v176 +1*v172 +1*v171 >= +0;
-1*v179 -1*v176 -1*v172 >= -2;
-1*v179 -1*v176 -1*v171 >= -2;
-1*v179 -1*v172 -1*v171 >= -2;
-1*v176 +1*v179 +1*v172 +1*v171 >= +0;
-1*v176 -1*v172 -1*v171 >= -2;
-1*v172 +1*v179 +1*v176 +1*v171 >= +0;
-1*v171 +1*v179 +1*v176 +1*v172 >= +0;
-1*v179 +1*v174 +1*v173 >= +0;
-1*v179 -1*v174 -1*v173 >= -2;
-1*v174 +1*v179 +1*v173 >= +0;
-1*v173 +1*v179 +1*v174 >= +0;
-1*v176 +1*v170 +1*v169 >= +0;
-1*v176 -1*v170 -1*v169 >= -2;
-1*v170 +1*v176 +1*v169 >= +0;
-1*v169 +1*v176 +1*v170 >= +0;
-1*v180 +1*v177 +1*v172 >= +0;
-1*v180 -1*v177 -1*v172 >= -2;
-1*v177 +1*v180 +1*v172 >= +0;
-1*v172 +1*v180 +1*v177 >= +0;
-1*v180 +1*v174 >= +0;
-1*v174 +1*v180 >= +0;
-1*v177 +1*v170 >= +0;
-1*v170 +1*v177 >= +0;
+1*v188 +1*v182 +1*v181 >= +1;
-1*v188 -1*v182 >= -1;
-1*v188 -1*v181 >= -1;
-1*v182 -1*v181 >= -1;
-1*v191 +1*v188 +1*v184 +1*v183 >= +0;
-1*v191 -1*v188 -1*v184 >= -2;
-1*v191 -1*v188 -1*v183 >= -2;
-1*v191 -1*v184 -1*v183 >= -2;
-1*v188 +1*v191 +1*v184 +1*v183 >= +0;
-1*v188 -1*v184 -1*v183 >= -2;
-1*v184 +1*v191 +1*v188 +1*v183 >= +0;
-1*v183 +1*v191 +1*v188 +1*v184 >= +0;
+1*v189 +1*v182 >= +1;
-1*v189 -1*v182 >= -1;
-1*v187 +1*v181 >= +0;
-1*v181 +1*v187 >= +0;
-1*v191 +1*v186 +1*v185 >= +0;
-1*v191 -1*v186 -1*v185 >= -2;
-1*v186 +1*v191 +1*v185 >= +0;
-1*v185 +1*v191 +1*v186 >= +0;
-1*v192 +1*v189 +1*v184 >= +0;
-1*v192 -1*v189 -1*v184 >= -2;
-1*v189 +1*v192 +1*v184 >= +0;
-1*v184 +1*v192 +1*v189 >= +0;
-1*v190 +1*v187 +1*v183 >= +0;
-1*v190 -1*v187 -1*v183 >= -2;
-1*v187 +1*v190 +1*v183 >= +0;
-1*v183 +1*v190 +1*v187 >= +0;
-1*v192 +1*v186 >= +0;
-1*v186 +1*v192 >= +0;
-1*v190 +1*v185 >= +0;
-1*v185 +1*v190 >= +0;
+1*v199 +1*v193 >= +1;
-1*v199 -1*v193 >= -1;
+1*v202 +1*v199 +1*v195 >= +1;
-1*v202 -1*v199 >= -1;
-1*v202 -1*v195 >= -1;
-1*v199 -1*v195 >= -1;
-1*v200 +1*v194 +1*v193 >= +0;
-1*v200 -1*v194 -1*v193 >= -2;
-1*v194 +1*v200 +1*v193 >= +0;
-1*v193 +1*v200 +1*v194 >= +0;
-1*v202 +1*v197 >= +0;
-1*v197 +1*v202 >= +0;
-1*v203 +1*v200 +1*v196 +1*v195 >= +0;
-1*v203 -1*v200 -1*v196 >= -2;
-1*v203 -1*v200 -1*v195 >= -2;
-1*v203 -1*v196 -1*v195 >= -2;
-1*v200 +1*v203 +1*v196 +1*v195 >= +0;
-1*v200 -1*v196 -1*v195 >= -2;
-1*v196 +1*v203 +1*v200 +1*v195 >= +0;
-1*v195 +1*v203 +1*v200 +1*v196 >= +0;
-1*v201 +1*v194 >= +0;
-1*v194 +1*v201 >= +0;
-1*v203 +1*v198 +1*v197 >= +0;
-1*v203 -1*v198 -1*v197 >= -2;
-1*v198 +1*v203 +1*v197 >= +0;
-1*v197 +1*v203 +1*v198 >= +0;
-1*v204 +1*v201 +1*v196 >= +0;
-1*v204 -1*v201 -1*v196 >= -2;
-1*v201 +1*v204 +1*v196 >= +0;
-1*v196 +1*v204 +1*v201 >= +0;
-1*v204 +1*v198 >= +0;
-1*v198 +1*v204 >= +0;
+1*v215 +1*v212 +1*v208 +1*v207 >= +1;
-1*v215 -1*v212 >= -1;
-1*v215 -1*v208 >= -1;
-1*v215 -1*v207 >= -1;
-1*v212 -1*v208 >= -1;
-1*v212 -1*v207 >= -1;
-1*v208 -1*v207 >= -1;
-1*v215 +1*v210 +1*v209 >= +0;
-1*v215 -1*v210 -1*v209 >= -2;
-1*v210 +1*v215 +1*v209 >= +0;
-1*v209 +1*v215 +1*v210 >= +0;
-1*v212 +1*v206 +1*v205 >= +0;
-1*v212 -1*v206 -1*v205 >= -2;
-1*v206 +1*v212 +1*v205 >= +0;
-1*v205 +1*v212 +1*v206 >= +0;
+1*v216 +1*v213 +1*v208 >= +1;
-1*v216 -1*v213 >= -1;
-1*v216 -1*v208 >= -1;
-1*v213 -1*v208 >= -1;
-1*v214 +1*v211 +1*v207 >= +0;
-1*v214 -1*v211 -1*v207 >= -2;
-1*v211 +1*v214 +1*v207 >= +0;
-1*v207 +1*v214 +1*v211 >= +0;
-1*v216 +1*v210 >= +0;
-1*v210 +1*v216 >= +0;
-1*v214 +1*v209 >= +0;
-1*v209 +1*v214 >= +0;
-1*v213 +1*v206 >= +0;
-1*v206 +1*v213 >= +0;
-1*v211 +1*v205 >= +0;
-1*v205 +1*v211 >= +0;
+1*v228 +1*v222 >= +1;
-1*v228 -1*v222 >= -1;
-1*v228 +1*v225 +1*v220 >= +0;
-1*v228 -1*v225 -1*v220 >= -2;
-1*v225 +1*v228 +1*v220 >= +0;
-1*v220 +1*v228 +1*v225 >= +0;
+1*v227 +1*v222 +1*v221 >= +1;
-1*v227 -1*v222 >= -1;
-1*v227 -1*v221 >= -1;
-1*v222 -1*v221 >= -1;
-1*v225 +1*v218 >= +0;
-1*v218 +1*v225 >= +0;
-1*v227 +1*v224 +1*v220 +1*v219 >= +0;
-1*v227 -1*v224 -1*v220 >= -2;
-1*v227 -1*v224 -1*v219 >= -2;
-1*v227 -1*v220 -1*v219 >= -2;
-1*v224 +1*v227 +1*v220 +1*v219 >= +0;
-1*v224 -1*v220 -1*v219 >= -2;
-1*v220 +1*v227 +1*v224 +1*v219 >= +0;
-1*v219 +1*v227 +1*v224 +1*v220 >= +0;
-1*v226 +1*v221 >= +0;
-1*v221 +1*v226 >= +0;
-1*v224 +1*v218 +1*v217 >= +0;
-1*v224 -1*v218 -1*v217 >= -2;
-1*v218 +1*v224 +1*v217 >= +0;
-1*v217 +1*v224 +1*v218 >= +0;
-1*v226 +1*v223 +1*v219 >= +0;
-1*v226 -1*v223 -1*v219 >= -2;
-1*v223 +1*v226 +1*v219 >= +0;
-1*v219 +1*v226 +1*v223 >= +0;
-1*v223 +1*v217 >= +0;
-1*v217 +1*v223 >= +0;
-1*v1 -1*v13 -1*v25 -1*v37 -1*v49 -1*v61 -1*v73 -1*v85 -1*v97 -1*v109 -1*v121 -1*v133 -1*v145 -1*v157 -1*v169 -1*v181 -1*v193 -1*v205 -1*v217 >= -3;
-1*v2 -1*v14 -1*v26 -1*v38 -1*v50 -1*v62 -1*v74 -1*v86 -1*v98 -1*v110 -1*v122 -1*v134 -1*v146 -1*v158 -1*v170 -1*v182 -1*v194 -1*v206 -1*v218 >= -3;
-1*v3 -1*v15 -1*v27 -1*v39 -1*v51 -1*v63 -1*v75 -1*v87 -1*v99 -1*v111 -1*v123 -1*v135 -1*v147 -1*v159 -1*v171 -1*v183 -1*v195 -1*v207 -1*v219 >= -3;
-1*v4 -1*v16 -1*v28 -1*v40 -1*v52 -1*v64 -1*v76 -1*v88 -1*v100 -1*v112 -1*v124 -1*v136 -1*v148 -1*v160 -1*v172 -1*v184 -1*v196 -1*v208 -1*v220 >= -3;
-1*v5 -1*v17 -1*v29 -1*v41 -1*v53 -1*v65 -1*v77 -1*v89 -1*v101 -1*v113 -1*v125 -1*v137 -1*v149 -1*v161 -1*v173 -1*v185 -1*v197 -1*v209 -1*v221 >= -3;
-1*v6 -1*v18 -1*v30 -1*v42 -1*v54 -1*v66 -1*v78 -1*v90 -1*v102 -1*v114 -1*v126 -1*v138 -1*v150 -1*v162 -1*v174 -1*v186 -1*v198 -1*v210 -1*v222 >= -3;
-1*v7 -1*v19 -1*v31 -1*v43 -1*v55 -1*v67 -1*v79 -1*v91 -1*v103 -1*v115 -1*v127 -1*v139 -1*v151 -1*v163 -1*v175 -1*v187 -1*v199 -1*v211 -1*v223 >= -3;
-1*v8 -1*v20 -1*v32 -1*v44 -1*v56 -1*v68 -1*v80 -1*v92 -1*v104 -1*v116 -1*v128 -1*v140 -1*v152 -1*v164 -1*v176 -1*v188 -1*v200 -1*v212 -1*v224 >= -3;
-1*v9 -1*v21 -1*v33 -1*v45 -1*v57 -1*v69 -1*v81 -1*v93 -1*v105 -1*v117 -1*v129 -1*v141 -1*v153 -1*v165 -1*v177 -1*v189 -1*v201 -1*v213 -1*v225 >= -3;
-1*v10 -1*v22 -1*v34 -1*v46 -1*v58 -1*v70 -1*v82 -1*v94 -1*v106 -1*v118 -1*v130 -1*v142 -1*v154 -1*v166 -1*v178 -1*v190 -1*v202 -1*v214 -1*v226 >= -3;
-1*v11 -1*v23 -1*v35 -1*v47 -1*v59 -1*v71 -1*v83 -1*v95 -1*v107 -1*v119 -1*v131 -1*v143 -1*v155 -1*v167 -1*v179 -1*v191 -1*v203 -1*v215 -1*v227 >= -3;
-1*v12 -1*v24 -1*v36 -1*v48 -1*v60 -1*v72 -1*v84 -1*v96 -1*v108 -1*v120 -1*v132 -1*v144 -1*v156 -1*v168 -1*v180 -1*v192 -1*v204 -1*v216 -1*v228 >= -3;