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