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