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