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