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