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