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