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