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