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