(define (problem multirobot_84_50%_c9)
 (:domain multirobot)
 (:objects
  v0
  v1
  v2
  v3
  v4
  v5 r205
  v6 r224
  v7 r194
  v8
  v9 r228
  v10
  v11 r238
  v12 r166
  v13 r236
  v14
  v15
  v16
  v17 r177
  v18
  v19
  v20 r260
  v21 r172
  v22 r255
  v23
  v24
  v25 r245
  v26
  v27
  v28
  v29 r240
  v30
  v31
  v32 r249
  v33
  v34 r182
  v35
  v36 r197
  v37
  v38
  v39 r180
  v40 r211
  v41
  v42
  v43
  v44
  v45 r174
  v46
  v47
  v48
  v49 r193
  v50
  v51
  v52 r251
  v53 r243
  v54
  v55
  v56
  v57 r252
  v58 r209
  v59
  v60 r237
  v61
  v62 r173
  v63 r181
  v64
  v65 r171
  v66 r266
  v67
  v68
  v69 r168
  v70 r184
  v71
  v72 r254
  v73
  v74
  v75
  v76
  v77
  v78 r178
  v79
  v80
  v81
  v82
  v83 r220
  v84 r192
  v85 r233
  v86
  v87
  v88 r213
  v89 r264
  v90
  v91
  v92
  v93
  v94
  v95 r239
  v96 r199
  v97
  v98 r244
  v99 r268
  v100
  v101
  v102
  v103 r262
  v104 r207
  v105 r185
  v106
  v107
  v108 r198
  v109
  v110
  v111
  v112
  v113
  v114 r195
  v115
  v116
  v117
  v118 r257
  v119 r188
  v120
  v121 r221
  v122 r258
  v123
  v124
  v125 r229
  v126 r269
  v127
  v128 r175
  v129
  v130 r219
  v131 r204
  v132
  v133 r210
  v134 r231
  v135
  v136 r189
  v137
  v138 r203
  v139
  v140 r230
  v141
  v142
  v143
  v144 r225
  v145
  v146
  v147
  v148 r227
  v149 r265
  v150 r242
  v151
  v152
  v153
  v154 r222
  v155
  v156 r241
  v157
  v158
  v159 r218
  v160 r167
  v161
  v162 r226
  v163
  v164
  v165
  v166
  v167
  v168
  v169
  v170
  v171
  v172 r267
  v173 r190
  v174
  v175
  v176 r248
  v177 r164
  v178
  v179 r206
  v180
  v181
  v182
  v183
  v184
  v185 r196
  v186
  v187
  v188 r223
  v189 r201
  v190
  v191
  v192
  v193 r263
  v194
  v195
  v196 r170
  v197
  v198
  v199
  v200
  v201
  v202 r212
  v203 r208
  v204
  v205 r202
  v206
  v207 r215
  v208 r200
  v209
  v210
  v211 r259
  v212 r187
  v213 r169
  v214 r191
  v215 r217
  v216
  v217
  v218
  v219
  v220
  v221
  v222
  v223
  v224 r186
  v225
  v226
  v227
  v228
  v229
  v230 r246
  v231 r179
  v232
  v233 r165
  v234
  v235 r235
  v236
  v237 r250
  v238
  v239
  v240
  v241
  v242 r232
  v243 r247
  v244
  v245
  v246
  v247
  v248 r253
  v249
  v250
  v251
  v252
  v253
  v254 r176
  v255 r183
  v256
  v257 r256
  v258
  v259
  v260
  v261
  v262 r261
  v263
  v264 r216
  v265 r214
  v266
  v267
  v268
  v269 r234
 )
 (:init
  (free v0)
  (free v1)
  (free v2)
  (free v3)
  (free v4)
  (at r205 v5)
  (at r224 v6)
  (at r194 v7)
  (free v8)
  (at r228 v9)
  (free v10)
  (at r238 v11)
  (at r166 v12)
  (at r236 v13)
  (free v14)
  (free v15)
  (free v16)
  (at r177 v17)
  (free v18)
  (free v19)
  (at r260 v20)
  (at r172 v21)
  (at r255 v22)
  (free v23)
  (free v24)
  (at r245 v25)
  (free v26)
  (free v27)
  (free v28)
  (at r240 v29)
  (free v30)
  (free v31)
  (at r249 v32)
  (free v33)
  (at r182 v34)
  (free v35)
  (at r197 v36)
  (free v37)
  (free v38)
  (at r180 v39)
  (at r211 v40)
  (free v41)
  (free v42)
  (free v43)
  (free v44)
  (at r174 v45)
  (free v46)
  (free v47)
  (free v48)
  (at r193 v49)
  (free v50)
  (free v51)
  (at r251 v52)
  (at r243 v53)
  (free v54)
  (free v55)
  (free v56)
  (at r252 v57)
  (at r209 v58)
  (free v59)
  (at r237 v60)
  (free v61)
  (at r173 v62)
  (at r181 v63)
  (free v64)
  (at r171 v65)
  (at r266 v66)
  (free v67)
  (free v68)
  (at r168 v69)
  (at r184 v70)
  (free v71)
  (at r254 v72)
  (free v73)
  (free v74)
  (free v75)
  (free v76)
  (free v77)
  (at r178 v78)
  (free v79)
  (free v80)
  (free v81)
  (free v82)
  (at r220 v83)
  (at r192 v84)
  (at r233 v85)
  (free v86)
  (free v87)
  (at r213 v88)
  (at r264 v89)
  (free v90)
  (free v91)
  (free v92)
  (free v93)
  (free v94)
  (at r239 v95)
  (at r199 v96)
  (free v97)
  (at r244 v98)
  (at r268 v99)
  (free v100)
  (free v101)
  (free v102)
  (at r262 v103)
  (at r207 v104)
  (at r185 v105)
  (free v106)
  (free v107)
  (at r198 v108)
  (free v109)
  (free v110)
  (free v111)
  (free v112)
  (free v113)
  (at r195 v114)
  (free v115)
  (free v116)
  (free v117)
  (at r257 v118)
  (at r188 v119)
  (free v120)
  (at r221 v121)
  (at r258 v122)
  (free v123)
  (free v124)
  (at r229 v125)
  (at r269 v126)
  (free v127)
  (at r175 v128)
  (free v129)
  (at r219 v130)
  (at r204 v131)
  (free v132)
  (at r210 v133)
  (at r231 v134)
  (free v135)
  (at r189 v136)
  (free v137)
  (at r203 v138)
  (free v139)
  (at r230 v140)
  (free v141)
  (free v142)
  (free v143)
  (at r225 v144)
  (free v145)
  (free v146)
  (free v147)
  (at r227 v148)
  (at r265 v149)
  (at r242 v150)
  (free v151)
  (free v152)
  (free v153)
  (at r222 v154)
  (free v155)
  (at r241 v156)
  (free v157)
  (free v158)
  (at r218 v159)
  (at r167 v160)
  (free v161)
  (at r226 v162)
  (free v163)
  (free v164)
  (free v165)
  (free v166)
  (free v167)
  (free v168)
  (free v169)
  (free v170)
  (free v171)
  (at r267 v172)
  (at r190 v173)
  (free v174)
  (free v175)
  (at r248 v176)
  (at r164 v177)
  (free v178)
  (at r206 v179)
  (free v180)
  (free v181)
  (free v182)
  (free v183)
  (free v184)
  (at r196 v185)
  (free v186)
  (free v187)
  (at r223 v188)
  (at r201 v189)
  (free v190)
  (free v191)
  (free v192)
  (at r263 v193)
  (free v194)
  (free v195)
  (at r170 v196)
  (free v197)
  (free v198)
  (free v199)
  (free v200)
  (free v201)
  (at r212 v202)
  (at r208 v203)
  (free v204)
  (at r202 v205)
  (free v206)
  (at r215 v207)
  (at r200 v208)
  (free v209)
  (free v210)
  (at r259 v211)
  (at r187 v212)
  (at r169 v213)
  (at r191 v214)
  (at r217 v215)
  (free v216)
  (free v217)
  (free v218)
  (free v219)
  (free v220)
  (free v221)
  (free v222)
  (free v223)
  (at r186 v224)
  (free v225)
  (free v226)
  (free v227)
  (free v228)
  (free v229)
  (at r246 v230)
  (at r179 v231)
  (free v232)
  (at r165 v233)
  (free v234)
  (at r235 v235)
  (free v236)
  (at r250 v237)
  (free v238)
  (free v239)
  (free v240)
  (free v241)
  (at r232 v242)
  (at r247 v243)
  (free v244)
  (free v245)
  (free v246)
  (free v247)
  (at r253 v248)
  (free v249)
  (free v250)
  (free v251)
  (free v252)
  (free v253)
  (at r176 v254)
  (at r183 v255)
  (free v256)
  (at r256 v257)
  (free v258)
  (free v259)
  (free v260)
  (free v261)
  (at r261 v262)
  (free v263)
  (at r216 v264)
  (at r214 v265)
  (free v266)
  (free v267)
  (free v268)
  (at r234 v269)
  (adjacent v0 v1)
  (adjacent v0 v4)
  (adjacent v0 v17)
  (adjacent v0 v18)
  (adjacent v0 v50)
  (adjacent v1 v2)
  (adjacent v2 v3)
  (adjacent v2 v9)
  (adjacent v2 v18)
  (adjacent v2 v38)
  (adjacent v3 v4)
  (adjacent v3 v5)
  (adjacent v3 v64)
  (adjacent v4 v10)
  (adjacent v4 v222)
  (adjacent v5 v6)
  (adjacent v5 v36)
  (adjacent v5 v212)
  (adjacent v5 v262)
  (adjacent v6 v7)
  (adjacent v6 v19)
  (adjacent v6 v45)
  (adjacent v6 v116)
  (adjacent v7 v8)
  (adjacent v7 v14)
  (adjacent v8 v9)
  (adjacent v8 v25)
  (adjacent v8 v29)
  (adjacent v8 v148)
  (adjacent v8 v155)
  (adjacent v9 v13)
  (adjacent v10 v11)
  (adjacent v11 v12)
  (adjacent v11 v35)
  (adjacent v11 v132)
  (adjacent v11 v188)
  (adjacent v12 v13)
  (adjacent v12 v52)
  (adjacent v12 v69)
  (adjacent v13 v43)
  (adjacent v14 v15)
  (adjacent v14 v254)
  (adjacent v15 v16)
  (adjacent v15 v35)
  (adjacent v15 v62)
  (adjacent v15 v74)
  (adjacent v15 v117)
  (adjacent v15 v162)
  (adjacent v16 v17)
  (adjacent v16 v44)
  (adjacent v18 v37)
  (adjacent v18 v145)
  (adjacent v19 v20)
  (adjacent v19 v34)
  (adjacent v19 v92)
  (adjacent v20 v21)
  (adjacent v20 v109)
  (adjacent v21 v22)
  (adjacent v21 v37)
  (adjacent v21 v131)
  (adjacent v21 v263)
  (adjacent v22 v23)
  (adjacent v22 v26)
  (adjacent v22 v39)
  (adjacent v22 v55)
  (adjacent v22 v81)
  (adjacent v23 v24)
  (adjacent v23 v179)
  (adjacent v24 v25)
  (adjacent v24 v58)
  (adjacent v24 v82)
  (adjacent v25 v105)
  (adjacent v26 v27)
  (adjacent v26 v30)
  (adjacent v26 v118)
  (adjacent v27 v28)
  (adjacent v27 v54)
  (adjacent v28 v29)
  (adjacent v28 v63)
  (adjacent v30 v31)
  (adjacent v30 v38)
  (adjacent v30 v80)
  (adjacent v30 v133)
  (adjacent v31 v32)
  (adjacent v31 v36)
  (adjacent v31 v132)
  (adjacent v31 v186)
  (adjacent v31 v266)
  (adjacent v32 v33)
  (adjacent v32 v87)
  (adjacent v33 v34)
  (adjacent v34 v166)
  (adjacent v35 v54)
  (adjacent v36 v149)
  (adjacent v37 v214)
  (adjacent v39 v40)
  (adjacent v39 v44)
  (adjacent v39 v61)
  (adjacent v40 v41)
  (adjacent v41 v42)
  (adjacent v41 v49)
  (adjacent v41 v53)
  (adjacent v41 v55)
  (adjacent v41 v208)
  (adjacent v42 v43)
  (adjacent v42 v175)
  (adjacent v43 v53)
  (adjacent v44 v65)
  (adjacent v44 v99)
  (adjacent v45 v46)
  (adjacent v45 v189)
  (adjacent v46 v47)
  (adjacent v46 v143)
  (adjacent v47 v48)
  (adjacent v47 v56)
  (adjacent v47 v108)
  (adjacent v48 v49)
  (adjacent v49 v59)
  (adjacent v49 v135)
  (adjacent v49 v224)
  (adjacent v50 v51)
  (adjacent v50 v172)
  (adjacent v51 v52)
  (adjacent v52 v70)
  (adjacent v53 v228)
  (adjacent v54 v60)
  (adjacent v55 v119)
  (adjacent v55 v198)
  (adjacent v56 v57)
  (adjacent v56 v127)
  (adjacent v56 v200)
  (adjacent v57 v58)
  (adjacent v57 v88)
  (adjacent v59 v60)
  (adjacent v60 v151)
  (adjacent v60 v257)
  (adjacent v61 v62)
  (adjacent v61 v180)
  (adjacent v63 v64)
  (adjacent v63 v98)
  (adjacent v64 v75)
  (adjacent v64 v118)
  (adjacent v65 v66)
  (adjacent v66 v67)
  (adjacent v67 v68)
  (adjacent v67 v126)
  (adjacent v67 v234)
  (adjacent v68 v69)
  (adjacent v68 v268)
  (adjacent v69 v221)
  (adjacent v70 v71)
  (adjacent v71 v72)
  (adjacent v72 v73)
  (adjacent v73 v74)
  (adjacent v75 v76)
  (adjacent v76 v77)
  (adjacent v77 v78)
  (adjacent v78 v79)
  (adjacent v78 v141)
  (adjacent v79 v80)
  (adjacent v79 v81)
  (adjacent v80 v125)
  (adjacent v80 v229)
  (adjacent v81 v126)
  (adjacent v81 v140)
  (adjacent v82 v83)
  (adjacent v83 v84)
  (adjacent v84 v85)
  (adjacent v84 v187)
  (adjacent v85 v86)
  (adjacent v86 v87)
  (adjacent v88 v89)
  (adjacent v89 v90)
  (adjacent v90 v91)
  (adjacent v90 v104)
  (adjacent v91 v92)
  (adjacent v92 v93)
  (adjacent v92 v115)
  (adjacent v93 v94)
  (adjacent v93 v233)
  (adjacent v94 v95)
  (adjacent v94 v136)
  (adjacent v95 v96)
  (adjacent v96 v97)
  (adjacent v97 v98)
  (adjacent v98 v176)
  (adjacent v99 v100)
  (adjacent v100 v101)
  (adjacent v101 v102)
  (adjacent v102 v103)
  (adjacent v102 v253)
  (adjacent v103 v104)
  (adjacent v103 v202)
  (adjacent v103 v207)
  (adjacent v104 v215)
  (adjacent v105 v106)
  (adjacent v105 v241)
  (adjacent v106 v107)
  (adjacent v107 v108)
  (adjacent v107 v217)
  (adjacent v109 v110)
  (adjacent v110 v111)
  (adjacent v110 v211)
  (adjacent v110 v223)
  (adjacent v110 v250)
  (adjacent v111 v112)
  (adjacent v112 v113)
  (adjacent v113 v114)
  (adjacent v113 v141)
  (adjacent v113 v199)
  (adjacent v113 v253)
  (adjacent v114 v115)
  (adjacent v114 v146)
  (adjacent v115 v237)
  (adjacent v116 v117)
  (adjacent v118 v146)
  (adjacent v118 v193)
  (adjacent v119 v120)
  (adjacent v119 v163)
  (adjacent v120 v121)
  (adjacent v120 v144)
  (adjacent v121 v122)
  (adjacent v122 v123)
  (adjacent v123 v124)
  (adjacent v124 v125)
  (adjacent v126 v171)
  (adjacent v127 v128)
  (adjacent v128 v129)
  (adjacent v129 v130)
  (adjacent v129 v156)
  (adjacent v130 v131)
  (adjacent v132 v152)
  (adjacent v132 v194)
  (adjacent v133 v134)
  (adjacent v134 v135)
  (adjacent v135 v142)
  (adjacent v136 v137)
  (adjacent v137 v138)
  (adjacent v137 v203)
  (adjacent v138 v139)
  (adjacent v138 v228)
  (adjacent v139 v140)
  (adjacent v139 v255)
  (adjacent v142 v143)
  (adjacent v142 v222)
  (adjacent v143 v262)
  (adjacent v144 v145)
  (adjacent v144 v147)
  (adjacent v144 v261)
  (adjacent v147 v148)
  (adjacent v149 v150)
  (adjacent v150 v151)
  (adjacent v152 v153)
  (adjacent v153 v154)
  (adjacent v153 v199)
  (adjacent v154 v155)
  (adjacent v154 v269)
  (adjacent v156 v157)
  (adjacent v157 v158)
  (adjacent v158 v159)
  (adjacent v158 v187)
  (adjacent v159 v160)
  (adjacent v159 v223)
  (adjacent v160 v161)
  (adjacent v161 v162)
  (adjacent v161 v188)
  (adjacent v161 v240)
  (adjacent v163 v164)
  (adjacent v164 v165)
  (adjacent v164 v167)
  (adjacent v165 v166)
  (adjacent v165 v229)
  (adjacent v167 v168)
  (adjacent v168 v169)
  (adjacent v169 v170)
  (adjacent v170 v171)
  (adjacent v172 v173)
  (adjacent v173 v174)
  (adjacent v174 v175)
  (adjacent v176 v177)
  (adjacent v177 v178)
  (adjacent v178 v179)
  (adjacent v180 v181)
  (adjacent v181 v182)
  (adjacent v182 v183)
  (adjacent v183 v184)
  (adjacent v184 v185)
  (adjacent v185 v186)
  (adjacent v189 v190)
  (adjacent v190 v191)
  (adjacent v191 v192)
  (adjacent v192 v193)
  (adjacent v193 v267)
  (adjacent v194 v195)
  (adjacent v194 v249)
  (adjacent v195 v196)
  (adjacent v195 v252)
  (adjacent v196 v197)
  (adjacent v197 v198)
  (adjacent v200 v201)
  (adjacent v200 v254)
  (adjacent v201 v202)
  (adjacent v201 v218)
  (adjacent v203 v204)
  (adjacent v204 v205)
  (adjacent v205 v206)
  (adjacent v205 v243)
  (adjacent v206 v207)
  (adjacent v208 v209)
  (adjacent v209 v210)
  (adjacent v209 v227)
  (adjacent v209 v256)
  (adjacent v210 v211)
  (adjacent v212 v213)
  (adjacent v213 v214)
  (adjacent v213 v230)
  (adjacent v215 v216)
  (adjacent v216 v217)
  (adjacent v216 v236)
  (adjacent v218 v219)
  (adjacent v219 v220)
  (adjacent v220 v221)
  (adjacent v220 v242)
  (adjacent v224 v225)
  (adjacent v225 v226)
  (adjacent v226 v227)
  (adjacent v230 v231)
  (adjacent v231 v232)
  (adjacent v232 v233)
  (adjacent v234 v235)
  (adjacent v235 v236)
  (adjacent v236 v261)
  (adjacent v236 v269)
  (adjacent v237 v238)
  (adjacent v238 v239)
  (adjacent v239 v240)
  (adjacent v241 v242)
  (adjacent v243 v244)
  (adjacent v244 v245)
  (adjacent v245 v246)
  (adjacent v246 v247)
  (adjacent v247 v248)
  (adjacent v248 v249)
  (adjacent v250 v251)
  (adjacent v250 v260)
  (adjacent v251 v252)
  (adjacent v255 v256)
  (adjacent v257 v258)
  (adjacent v258 v259)
  (adjacent v259 v260)
  (adjacent v263 v264)
  (adjacent v264 v265)
  (adjacent v265 v266)
  (adjacent v267 v268)
 )
 (:goal
  (and
  (free v0)
  (free v1)
  (at r225 v2)
  (at r188 v3)
  (at r210 v4)
  (free v5)
  (free v6)
  (at r255 v7)
  (free v8)
  (free v9)
  (free v10)
  (free v11)
  (free v12)
  (at r208 v13)
  (at r263 v14)
  (free v15)
  (at r215 v16)
  (free v17)
  (at r178 v18)
  (free v19)
  (free v20)
  (free v21)
  (free v22)
  (at r177 v23)
  (at r259 v24)
  (at r257 v25)
  (at r198 v26)
  (free v27)
  (free v28)
  (free v29)
  (at r170 v30)
  (at r221 v31)
  (at r242 v32)
  (at r220 v33)
  (free v34)
  (at r201 v35)
  (free v36)
  (free v37)
  (at r195 v38)
  (at r246 v39)
  (free v40)
  (free v41)
  (free v42)
  (at r186 v43)
  (free v44)
  (free v45)
  (at r185 v46)
  (free v47)
  (at r261 v48)
  (free v49)
  (free v50)
  (free v51)
  (at r172 v52)
  (at r252 v53)
  (free v54)
  (at r197 v55)
  (at r200 v56)
  (free v57)
  (at r203 v58)
  (free v59)
  (at r190 v60)
  (free v61)
  (free v62)
  (free v63)
  (free v64)
  (free v65)
  (at r232 v66)
  (free v67)
  (at r207 v68)
  (free v69)
  (free v70)
  (at r202 v71)
  (free v72)
  (at r234 v73)
  (at r233 v74)
  (at r214 v75)
  (at r250 v76)
  (at r244 v77)
  (free v78)
  (free v79)
  (at r189 v80)
  (at r218 v81)
  (free v82)
  (free v83)
  (free v84)
  (free v85)
  (at r241 v86)
  (at r199 v87)
  (free v88)
  (at r238 v89)
  (at r217 v90)
  (free v91)
  (free v92)
  (at r247 v93)
  (free v94)
  (free v95)
  (at r226 v96)
  (free v97)
  (at r260 v98)
  (at r193 v99)
  (at r196 v100)
  (free v101)
  (free v102)
  (free v103)
  (free v104)
  (at r206 v105)
  (free v106)
  (at r240 v107)
  (free v108)
  (at r219 v109)
  (free v110)
  (free v111)
  (at r264 v112)
  (free v113)
  (at r183 v114)
  (at r230 v115)
  (free v116)
  (free v117)
  (at r265 v118)
  (free v119)
  (free v120)
  (free v121)
  (at r204 v122)
  (at r179 v123)
  (free v124)
  (at r184 v125)
  (at r211 v126)
  (at r262 v127)
  (free v128)
  (free v129)
  (at r192 v130)
  (at r167 v131)
  (at r249 v132)
  (free v133)
  (free v134)
  (at r181 v135)
  (at r269 v136)
  (free v137)
  (free v138)
  (free v139)
  (free v140)
  (free v141)
  (free v142)
  (free v143)
  (free v144)
  (free v145)
  (at r216 v146)
  (free v147)
  (free v148)
  (free v149)
  (at r243 v150)
  (free v151)
  (free v152)
  (free v153)
  (at r253 v154)
  (free v155)
  (at r231 v156)
  (at r237 v157)
  (at r223 v158)
  (at r245 v159)
  (free v160)
  (free v161)
  (at r224 v162)
  (free v163)
  (free v164)
  (free v165)
  (free v166)
  (free v167)
  (free v168)
  (free v169)
  (at r258 v170)
  (free v171)
  (at r213 v172)
  (at r212 v173)
  (free v174)
  (free v175)
  (free v176)
  (free v177)
  (at r256 v178)
  (free v179)
  (at r191 v180)
  (free v181)
  (free v182)
  (at r194 v183)
  (free v184)
  (free v185)
  (free v186)
  (free v187)
  (free v188)
  (at r176 v189)
  (free v190)
  (free v191)
  (free v192)
  (free v193)
  (at r268 v194)
  (free v195)
  (at r164 v196)
  (free v197)
  (at r174 v198)
  (at r239 v199)
  (free v200)
  (free v201)
  (free v202)
  (at r228 v203)
  (free v204)
  (free v205)
  (at r266 v206)
  (at r236 v207)
  (free v208)
  (free v209)
  (free v210)
  (at r169 v211)
  (free v212)
  (free v213)
  (at r209 v214)
  (at r175 v215)
  (free v216)
  (free v217)
  (free v218)
  (free v219)
  (free v220)
  (free v221)
  (free v222)
  (at r254 v223)
  (free v224)
  (free v225)
  (at r171 v226)
  (at r222 v227)
  (free v228)
  (free v229)
  (free v230)
  (at r180 v231)
  (at r168 v232)
  (free v233)
  (at r166 v234)
  (free v235)
  (free v236)
  (free v237)
  (free v238)
  (free v239)
  (free v240)
  (free v241)
  (at r165 v242)
  (free v243)
  (free v244)
  (free v245)
  (at r182 v246)
  (at r205 v247)
  (free v248)
  (at r187 v249)
  (free v250)
  (free v251)
  (free v252)
  (at r267 v253)
  (free v254)
  (free v255)
  (free v256)
  (at r251 v257)
  (free v258)
  (at r227 v259)
  (at r173 v260)
  (free v261)
  (at r235 v262)
  (free v263)
  (at r248 v264)
  (free v265)
  (at r229 v266)
  (free v267)
  (free v268)
  (free v269)
  )
 )
)