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