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