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