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