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