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