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