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