(define (problem multirobot_56_2_c1) (:domain multirobot) (:objects v0 r136 v1 r145 v2 r178 v3 r67 v4 r76 v5 r85 v6 r58 v7 r77 v8 r79 v9 r35 v10 r166 v11 r25 v12 r78 v13 r20 v14 r181 v15 r171 v16 r125 v17 r128 v18 r198 v19 r165 v20 r95 v21 r37 v22 r126 v23 r121 v24 r183 v25 r32 v26 r161 v27 r3 v28 r44 v29 r207 v30 r6 v31 r100 v32 r68 v33 r27 v34 r87 v35 r151 v36 r62 v37 r152 v38 v39 r98 v40 r42 v41 r170 v42 r93 v43 r185 v44 r228 v45 r192 v46 r33 v47 r226 v48 r164 v49 r224 v50 r106 v51 r14 v52 r28 v53 r194 v54 r15 v55 r110 v56 r111 v57 r184 v58 r149 v59 r69 v60 r65 v61 r210 v62 r17 v63 r118 v64 r203 v65 r97 v66 r142 v67 r5 v68 r119 v69 r177 v70 r11 v71 r212 v72 r222 v73 r195 v74 r220 v75 r29 v76 r21 v77 r180 v78 r133 v79 r16 v80 r86 v81 r92 v82 r143 v83 r74 v84 r39 v85 r175 v86 r169 v87 r102 v88 r189 v89 r124 v90 r36 v91 r190 v92 r211 v93 r56 v94 r213 v95 r217 v96 r214 v97 r146 v98 r23 v99 r52 v100 r116 v101 r139 v102 r61 v103 r172 v104 r55 v105 r223 v106 r50 v107 r49 v108 r66 v109 r84 v110 r24 v111 r131 v112 r22 v113 r208 v114 r123 v115 r127 v116 r231 v117 r191 v118 r230 v119 r19 v120 r202 v121 r2 v122 r80 v123 r174 v124 r30 v125 r89 v126 r59 v127 r216 v128 r4 v129 r26 v130 r115 v131 r47 v132 r122 v133 r96 v134 r144 v135 r134 v136 r13 v137 r155 v138 r193 v139 r72 v140 r108 v141 r138 v142 r91 v143 r101 v144 r104 v145 r205 v146 r94 v147 r141 v148 r225 v149 r204 v150 r200 v151 r153 v152 r158 v153 r46 v154 r90 v155 r57 v156 r130 v157 r201 v158 r109 v159 r135 v160 r7 v161 r132 v162 r160 v163 r83 v164 r218 v165 r197 v166 r199 v167 r148 v168 r117 v169 r179 v170 r112 v171 r48 v172 r9 v173 r157 v174 r186 v175 r18 v176 r120 v177 r150 v178 r40 v179 r60 v180 r221 v181 r10 v182 r215 v183 r103 v184 r163 v185 r75 v186 r41 v187 r188 v188 r168 v189 r167 v190 r209 v191 r73 v192 r129 v193 r99 v194 r196 v195 r137 v196 r31 v197 r114 v198 r51 v199 r63 v200 r71 v201 r162 v202 r227 v203 r182 v204 r54 v205 v206 r187 v207 r82 v208 r107 v209 r81 v210 r45 v211 r88 v212 r154 v213 r206 v214 r64 v215 r70 v216 r156 v217 r229 v218 r53 v219 r8 v220 r140 v221 r12 v222 r176 v223 r43 v224 r147 v225 r159 v226 r219 v227 r105 v228 r34 v229 r113 v230 r38 v231 r173 ) (:init (at r136 v0) (at r145 v1) (at r178 v2) (at r67 v3) (at r76 v4) (at r85 v5) (at r58 v6) (at r77 v7) (at r79 v8) (at r35 v9) (at r166 v10) (at r25 v11) (at r78 v12) (at r20 v13) (at r181 v14) (at r171 v15) (at r125 v16) (at r128 v17) (at r198 v18) (at r165 v19) (at r95 v20) (at r37 v21) (at r126 v22) (at r121 v23) (at r183 v24) (at r32 v25) (at r161 v26) (at r3 v27) (at r44 v28) (at r207 v29) (at r6 v30) (at r100 v31) (at r68 v32) (at r27 v33) (at r87 v34) (at r151 v35) (at r62 v36) (at r152 v37) (free v38) (at r98 v39) (at r42 v40) (at r170 v41) (at r93 v42) (at r185 v43) (at r228 v44) (at r192 v45) (at r33 v46) (at r226 v47) (at r164 v48) (at r224 v49) (at r106 v50) (at r14 v51) (at r28 v52) (at r194 v53) (at r15 v54) (at r110 v55) (at r111 v56) (at r184 v57) (at r149 v58) (at r69 v59) (at r65 v60) (at r210 v61) (at r17 v62) (at r118 v63) (at r203 v64) (at r97 v65) (at r142 v66) (at r5 v67) (at r119 v68) (at r177 v69) (at r11 v70) (at r212 v71) (at r222 v72) (at r195 v73) (at r220 v74) (at r29 v75) (at r21 v76) (at r180 v77) (at r133 v78) (at r16 v79) (at r86 v80) (at r92 v81) (at r143 v82) (at r74 v83) (at r39 v84) (at r175 v85) (at r169 v86) (at r102 v87) (at r189 v88) (at r124 v89) (at r36 v90) (at r190 v91) (at r211 v92) (at r56 v93) (at r213 v94) (at r217 v95) (at r214 v96) (at r146 v97) (at r23 v98) (at r52 v99) (at r116 v100) (at r139 v101) (at r61 v102) (at r172 v103) (at r55 v104) (at r223 v105) (at r50 v106) (at r49 v107) (at r66 v108) (at r84 v109) (at r24 v110) (at r131 v111) (at r22 v112) (at r208 v113) (at r123 v114) (at r127 v115) (at r231 v116) (at r191 v117) (at r230 v118) (at r19 v119) (at r202 v120) (at r2 v121) (at r80 v122) (at r174 v123) (at r30 v124) (at r89 v125) (at r59 v126) (at r216 v127) (at r4 v128) (at r26 v129) (at r115 v130) (at r47 v131) (at r122 v132) (at r96 v133) (at r144 v134) (at r134 v135) (at r13 v136) (at r155 v137) (at r193 v138) (at r72 v139) (at r108 v140) (at r138 v141) (at r91 v142) (at r101 v143) (at r104 v144) (at r205 v145) (at r94 v146) (at r141 v147) (at r225 v148) (at r204 v149) (at r200 v150) (at r153 v151) (at r158 v152) (at r46 v153) (at r90 v154) (at r57 v155) (at r130 v156) (at r201 v157) (at r109 v158) (at r135 v159) (at r7 v160) (at r132 v161) (at r160 v162) (at r83 v163) (at r218 v164) (at r197 v165) (at r199 v166) (at r148 v167) (at r117 v168) (at r179 v169) (at r112 v170) (at r48 v171) (at r9 v172) (at r157 v173) (at r186 v174) (at r18 v175) (at r120 v176) (at r150 v177) (at r40 v178) (at r60 v179) (at r221 v180) (at r10 v181) (at r215 v182) (at r103 v183) (at r163 v184) (at r75 v185) (at r41 v186) (at r188 v187) (at r168 v188) (at r167 v189) (at r209 v190) (at r73 v191) (at r129 v192) (at r99 v193) (at r196 v194) (at r137 v195) (at r31 v196) (at r114 v197) (at r51 v198) (at r63 v199) (at r71 v200) (at r162 v201) (at r227 v202) (at r182 v203) (at r54 v204) (free v205) (at r187 v206) (at r82 v207) (at r107 v208) (at r81 v209) (at r45 v210) (at r88 v211) (at r154 v212) (at r206 v213) (at r64 v214) (at r70 v215) (at r156 v216) (at r229 v217) (at r53 v218) (at r8 v219) (at r140 v220) (at r12 v221) (at r176 v222) (at r43 v223) (at r147 v224) (at r159 v225) (at r219 v226) (at r105 v227) (at r34 v228) (at r113 v229) (at r38 v230) (at r173 v231) (adjacent v0 v1) (adjacent v0 v4) (adjacent v0 v44) (adjacent v0 v175) (adjacent v1 v2) (adjacent v1 v36) (adjacent v1 v52) (adjacent v1 v57) (adjacent v1 v77) (adjacent v1 v103) (adjacent v2 v3) (adjacent v2 v5) (adjacent v3 v4) (adjacent v3 v16) (adjacent v3 v70) (adjacent v4 v9) (adjacent v4 v63) (adjacent v5 v6) (adjacent v5 v22) (adjacent v5 v26) (adjacent v5 v45) (adjacent v5 v116) (adjacent v6 v7) (adjacent v6 v18) (adjacent v7 v8) (adjacent v7 v10) (adjacent v7 v19) (adjacent v7 v66) (adjacent v8 v9) (adjacent v8 v80) (adjacent v9 v24) (adjacent v10 v11) (adjacent v10 v38) (adjacent v10 v56) (adjacent v10 v57) (adjacent v11 v12) (adjacent v11 v23) (adjacent v11 v27) (adjacent v11 v182) (adjacent v12 v13) (adjacent v12 v194) (adjacent v13 v14) (adjacent v13 v17) (adjacent v13 v58) (adjacent v13 v64) (adjacent v13 v145) (adjacent v14 v15) (adjacent v14 v37) (adjacent v15 v16) (adjacent v16 v50) (adjacent v17 v18) (adjacent v17 v87) (adjacent v17 v151) (adjacent v18 v23) (adjacent v18 v32) (adjacent v18 v107) (adjacent v18 v202) (adjacent v19 v20) (adjacent v20 v21) (adjacent v21 v22) (adjacent v21 v104) (adjacent v22 v49) (adjacent v23 v172) (adjacent v24 v25) (adjacent v25 v26) (adjacent v26 v195) (adjacent v27 v28) (adjacent v27 v51) (adjacent v27 v117) (adjacent v28 v29) (adjacent v28 v37) (adjacent v28 v69) (adjacent v29 v30) (adjacent v30 v31) (adjacent v30 v33) (adjacent v30 v93) (adjacent v31 v32) (adjacent v31 v81) (adjacent v32 v220) (adjacent v33 v34) (adjacent v33 v92) (adjacent v33 v204) (adjacent v34 v35) (adjacent v34 v186) (adjacent v35 v36) (adjacent v38 v39) (adjacent v38 v122) (adjacent v39 v40) (adjacent v40 v41) (adjacent v41 v42) (adjacent v42 v43) (adjacent v42 v68) (adjacent v42 v123) (adjacent v43 v44) (adjacent v43 v119) (adjacent v43 v144) (adjacent v44 v94) (adjacent v44 v129) (adjacent v45 v46) (adjacent v45 v91) (adjacent v46 v47) (adjacent v47 v48) (adjacent v48 v49) (adjacent v48 v171) (adjacent v50 v51) (adjacent v50 v140) (adjacent v50 v181) (adjacent v51 v71) (adjacent v52 v53) (adjacent v53 v54) (adjacent v54 v55) (adjacent v54 v67) (adjacent v55 v56) (adjacent v55 v110) (adjacent v55 v131) (adjacent v55 v205) (adjacent v57 v99) (adjacent v58 v59) (adjacent v59 v60) (adjacent v60 v61) (adjacent v61 v62) (adjacent v61 v141) (adjacent v62 v63) (adjacent v64 v65) (adjacent v65 v66) (adjacent v65 v122) (adjacent v67 v68) (adjacent v67 v78) (adjacent v69 v70) (adjacent v69 v129) (adjacent v70 v109) (adjacent v71 v72) (adjacent v72 v73) (adjacent v73 v74) (adjacent v73 v175) (adjacent v73 v185) (adjacent v74 v75) (adjacent v75 v76) (adjacent v75 v138) (adjacent v76 v77) (adjacent v78 v79) (adjacent v78 v121) (adjacent v79 v80) (adjacent v81 v82) (adjacent v81 v108) (adjacent v82 v83) (adjacent v83 v84) (adjacent v84 v85) (adjacent v85 v86) (adjacent v86 v87) (adjacent v87 v88) (adjacent v88 v89) (adjacent v89 v90) (adjacent v90 v91) (adjacent v90 v137) (adjacent v92 v93) (adjacent v94 v95) (adjacent v95 v96) (adjacent v95 v137) (adjacent v96 v97) (adjacent v97 v98) (adjacent v98 v99) (adjacent v99 v100) (adjacent v100 v101) (adjacent v101 v102) (adjacent v102 v103) (adjacent v102 v130) (adjacent v102 v165) (adjacent v104 v105) (adjacent v105 v106) (adjacent v106 v107) (adjacent v108 v109) (adjacent v109 v120) (adjacent v110 v111) (adjacent v111 v112) (adjacent v112 v113) (adjacent v112 v128) (adjacent v113 v114) (adjacent v113 v136) (adjacent v114 v115) (adjacent v115 v116) (adjacent v117 v118) (adjacent v118 v119) (adjacent v118 v130) (adjacent v118 v173) (adjacent v120 v121) (adjacent v123 v124) (adjacent v123 v217) (adjacent v124 v125) (adjacent v124 v191) (adjacent v125 v126) (adjacent v126 v127) (adjacent v127 v128) (adjacent v131 v132) (adjacent v132 v133) (adjacent v132 v164) (adjacent v133 v134) (adjacent v134 v135) (adjacent v135 v136) (adjacent v136 v225) (adjacent v138 v139) (adjacent v139 v140) (adjacent v141 v142) (adjacent v142 v143) (adjacent v143 v144) (adjacent v143 v172) (adjacent v143 v190) (adjacent v144 v158) (adjacent v145 v146) (adjacent v146 v147) (adjacent v146 v152) (adjacent v147 v148) (adjacent v147 v157) (adjacent v147 v231) (adjacent v148 v149) (adjacent v149 v150) (adjacent v150 v151) (adjacent v152 v153) (adjacent v153 v154) (adjacent v153 v174) (adjacent v154 v155) (adjacent v155 v156) (adjacent v156 v157) (adjacent v158 v159) (adjacent v159 v160) (adjacent v160 v161) (adjacent v161 v162) (adjacent v162 v163) (adjacent v163 v164) (adjacent v163 v176) (adjacent v165 v166) (adjacent v165 v221) (adjacent v166 v167) (adjacent v167 v168) (adjacent v168 v169) (adjacent v169 v170) (adjacent v170 v171) (adjacent v173 v174) (adjacent v176 v177) (adjacent v177 v178) (adjacent v178 v179) (adjacent v178 v212) (adjacent v179 v180) (adjacent v180 v181) (adjacent v182 v183) (adjacent v182 v201) (adjacent v183 v184) (adjacent v184 v185) (adjacent v186 v187) (adjacent v187 v188) (adjacent v188 v189) (adjacent v189 v190) (adjacent v189 v224) (adjacent v191 v192) (adjacent v192 v193) (adjacent v193 v194) (adjacent v195 v196) (adjacent v196 v197) (adjacent v197 v198) (adjacent v198 v199) (adjacent v198 v211) (adjacent v199 v200) (adjacent v200 v201) (adjacent v202 v203) (adjacent v203 v204) (adjacent v205 v206) (adjacent v206 v207) (adjacent v206 v218) (adjacent v207 v208) (adjacent v208 v209) (adjacent v209 v210) (adjacent v210 v211) (adjacent v212 v213) (adjacent v213 v214) (adjacent v214 v215) (adjacent v215 v216) (adjacent v216 v217) (adjacent v218 v219) (adjacent v219 v220) (adjacent v221 v222) (adjacent v222 v223) (adjacent v223 v224) (adjacent v225 v226) (adjacent v226 v227) (adjacent v227 v228) (adjacent v228 v229) (adjacent v229 v230) (adjacent v230 v231) ) (:goal (and (at r43 v0) (at r127 v1) (at r100 v2) (at r14 v3) (at r196 v4) (at r168 v5) (at r199 v6) (at r132 v7) (at r46 v8) (at r118 v9) (at r34 v10) (at r126 v11) (at r219 v12) (at r51 v13) (at r140 v14) (at r105 v15) (at r122 v16) (at r37 v17) (at r142 v18) (at r230 v19) (at r160 v20) (at r83 v21) (at r124 v22) (at r27 v23) (at r95 v24) (at r42 v25) (at r50 v26) (at r47 v27) (at r115 v28) (at r104 v29) (at r151 v30) (at r71 v31) (at r61 v32) (at r170 v33) (at r184 v34) (at r150 v35) (at r172 v36) (at r59 v37) (at r146 v38) (at r66 v39) (at r5 v40) (at r69 v41) (at r187 v42) (at r224 v43) (at r24 v44) (at r213 v45) (at r30 v46) (at r177 v47) (at r91 v48) (at r149 v49) (at r2 v50) (at r136 v51) (at r65 v52) (at r35 v53) (at r192 v54) (at r197 v55) (at r181 v56) (at r178 v57) (at r11 v58) (at r189 v59) (at r216 v60) (at r215 v61) (at r208 v62) (at r138 v63) (at r4 v64) (at r40 v65) (at r179 v66) (at r144 v67) (at r28 v68) (at r56 v69) (at r87 v70) (at r141 v71) (at r180 v72) (at r6 v73) (at r112 v74) (at r185 v75) (at r220 v76) (at r44 v77) (at r164 v78) (at r163 v79) (at r152 v80) (at r191 v81) (at r13 v82) (at r67 v83) (at r221 v84) (at r158 v85) (at r19 v86) (at r52 v87) (at r29 v88) (at r64 v89) (at r190 v90) (at r113 v91) (at r117 v92) (at r41 v93) (at r90 v94) (at r156 v95) (at r204 v96) (at r212 v97) (at r202 v98) (at r3 v99) (at r119 v100) (at r99 v101) (at r15 v102) (at r153 v103) (at r18 v104) (at r49 v105) (at r139 v106) (at r32 v107) (at r131 v108) (at r80 v109) (at r206 v110) (at r183 v111) (at r101 v112) (at r154 v113) (at r55 v114) (at r134 v115) (at r72 v116) (free v117) (at r9 v118) (at r214 v119) (at r26 v120) (at r227 v121) (at r203 v122) (at r125 v123) (at r148 v124) (at r173 v125) (at r162 v126) (at r17 v127) (at r54 v128) (at r23 v129) (at r123 v130) (at r166 v131) (at r94 v132) (at r116 v133) (at r114 v134) (at r82 v135) (at r147 v136) (at r89 v137) (at r194 v138) (at r53 v139) (at r48 v140) (at r21 v141) (at r10 v142) (at r75 v143) (at r222 v144) (at r7 v145) (at r211 v146) (at r129 v147) (at r85 v148) (at r16 v149) (at r171 v150) (at r165 v151) (at r12 v152) (at r143 v153) (at r33 v154) (at r175 v155) (at r58 v156) (at r111 v157) (at r96 v158) (at r174 v159) (at r92 v160) (at r201 v161) (at r78 v162) (at r128 v163) (at r77 v164) (at r86 v165) (at r145 v166) (at r79 v167) (at r210 v168) (at r218 v169) (at r106 v170) (at r182 v171) (at r57 v172) (at r108 v173) (at r229 v174) (at r98 v175) (at r97 v176) (at r8 v177) (at r186 v178) (at r226 v179) (at r135 v180) (at r157 v181) (free v182) (at r188 v183) (at r73 v184) (at r63 v185) (at r231 v186) (at r68 v187) (at r120 v188) (at r107 v189) (at r121 v190) (at r225 v191) (at r45 v192) (at r217 v193) (at r38 v194) (at r205 v195) (at r110 v196) (at r109 v197) (at r209 v198) (at r70 v199) (at r39 v200) (at r74 v201) (at r102 v202) (at r36 v203) (at r130 v204) (at r31 v205) (at r84 v206) (at r195 v207) (at r159 v208) (at r193 v209) (at r20 v210) (at r103 v211) (at r137 v212) (at r60 v213) (at r88 v214) (at r155 v215) (at r62 v216) (at r228 v217) (at r93 v218) (at r25 v219) (at r198 v220) (at r169 v221) (at r167 v222) (at r200 v223) (at r223 v224) (at r22 v225) (at r161 v226) (at r207 v227) (at r76 v228) (at r176 v229) (at r133 v230) (at r81 v231) ) ) )