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