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