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