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