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