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