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