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