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