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