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