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