(define (problem psr-s209-n80-l2-f30) (:domain psr) (:objects cb1 cb2 cb3 cb4 cb5 cb6 cb7 cb8 cb9 cb10 cb11 cb12 cb13 cb14 cb15 cb16 cb17 cb18 cb19 cb20 cb21 cb22 cb23 cb24 cb25 cb26 cb27 cb28 cb29 cb30 cb31 cb32 cb33 cb34 cb35 cb36 cb37 cb38 cb39 cb40 cb41 cb42 cb43 cb44 cb45 cb46 cb47 cb48 cb49 cb50 cb51 cb52 cb53 cb54 cb55 cb56 cb57 cb58 cb59 cb60 cb61 cb62 cb63 cb64 cb65 cb66 cb67 cb68 cb69 cb70 cb71 cb72 cb73 cb74 cb75 cb76 cb77 cb78 cb79 cb80 sd1 sd2 sd3 sd4 sd5 sd6 sd7 sd8 sd9 sd10 sd11 sd12 sd13 sd14 sd15 sd16 sd17 sd18 sd19 sd20 sd21 sd22 sd23 sd24 sd25 sd26 sd27 sd28 sd29 sd30 sd31 sd32 sd33 sd34 sd35 sd36 sd37 sd38 sd39 sd40 sd41 sd42 sd43 sd44 sd45 sd46 sd47 sd48 sd49 sd50 sd51 sd52 sd53 sd54 sd55 sd56 sd57 sd58 sd59 sd60 sd61 sd62 sd63 sd64 sd65 sd66 sd67 sd68 sd69 sd70 sd71 sd72 sd73 sd74 sd75 sd76 sd77 sd78 sd79 sd80 sd81 sd82 sd83 sd84 sd85 sd86 sd87 sd88 sd89 sd90 sd91 sd92 sd93 sd94 sd95 sd96 sd97 sd98 sd99 sd100 sd101 sd102 sd103 sd104 sd105 sd106 sd107 sd108 sd109 sd110 sd111 sd112 sd113 sd114 sd115 sd116 sd117 sd118 sd119 sd120 sd121 sd122 sd123 sd124 sd125 sd126 sd127 sd128 sd129 sd130 sd131 sd132 sd133 sd134 sd135 sd136 sd137 sd138 sd139 sd140 sd141 sd142 sd143 sd144 sd145 sd146 sd147 sd148 sd149 sd150 sd151 sd152 sd153 sd154 sd155 sd156 sd157 sd158 sd159 sd160 sd161 sd162 sd163 sd164 sd165 sd166 sd167 sd168 sd169 sd170 sd171 sd172 sd173 sd174 sd175 sd176 sd177 sd178 sd179 sd180 sd181 sd182 sd183 sd184 sd185 sd186 sd187 sd188 sd189 sd190 sd191 sd192 sd193 sd194 sd195 sd196 sd197 sd198 sd199 sd200 sd201 sd202 sd203 sd204 sd205 sd206 sd207 sd208 sd209 sd210 sd211 sd212 sd213 sd214 sd215 sd216 sd217 sd218 sd219 sd220 sd221 sd222 sd223 sd224 sd225 sd226 sd227 sd228 sd229 sd230 sd231 sd232 sd233 sd234 sd235 sd236 sd237 sd238 sd239 sd240 sd241 sd242 sd243 sd244 sd245 sd246 sd247 sd248 sd249 sd250 sd251 sd252 sd253 sd254 sd255 sd256 sd257 sd258 sd259 sd260 sd261 - DEVICE l1 l2 l3 l4 l5 l6 l7 l8 l9 l10 l11 l12 l13 l14 l15 l16 l17 l18 l19 l20 l21 l22 l23 l24 l25 l26 l27 l28 l29 l30 l31 l32 l33 l34 l35 l36 l37 l38 l39 l40 l41 l42 l43 l44 l45 l46 l47 l48 l49 l50 l51 l52 l53 l54 l55 l56 l57 l58 l59 l60 l61 l62 l63 l64 l65 l66 l67 l68 l69 l70 l71 l72 l73 l74 l75 l76 l77 l78 l79 l80 l81 l82 l83 l84 l85 l86 l87 l88 l89 l90 l91 l92 l93 l94 l95 l96 l97 l98 l99 l100 l101 l102 l103 l104 l105 l106 l107 l108 l109 l110 l111 l112 l113 l114 l115 l116 l117 l118 l119 l120 l121 l122 l123 l124 l125 l126 l127 l128 l129 l130 l131 l132 l133 l134 l135 l136 l137 l138 l139 l140 l141 l142 l143 l144 l145 l146 l147 l148 l149 l150 l151 l152 l153 l154 l155 l156 l157 l158 l159 l160 l161 l162 l163 l164 l165 l166 l167 l168 l169 l170 l171 l172 l173 l174 l175 l176 l177 l178 l179 l180 l181 l182 l183 l184 l185 l186 l187 l188 l189 l190 l191 l192 l193 l194 l195 l196 l197 l198 l199 l200 l201 l202 l203 l204 l205 l206 l207 l208 l209 l210 l211 l212 l213 l214 l215 l216 l217 l218 l219 l220 l221 l222 l223 l224 l225 l226 l227 l228 l229 l230 l231 l232 l233 l234 l235 l236 l237 l238 l239 l240 l241 l242 l243 l244 l245 l246 l247 l248 l249 l250 l251 l252 l253 l254 l255 l256 l257 l258 - LINE ) (:init (breaker cb1) (breaker cb2) (breaker cb3) (breaker cb4) (breaker cb5) (breaker cb6) (breaker cb7) (breaker cb8) (breaker cb9) (breaker cb10) (breaker cb11) (breaker cb12) (breaker cb13) (breaker cb14) (breaker cb15) (breaker cb16) (breaker cb17) (breaker cb18) (breaker cb19) (breaker cb20) (breaker cb21) (breaker cb22) (breaker cb23) (breaker cb24) (breaker cb25) (breaker cb26) (breaker cb27) (breaker cb28) (breaker cb29) (breaker cb30) (breaker cb31) (breaker cb32) (breaker cb33) (breaker cb34) (breaker cb35) (breaker cb36) (breaker cb37) (breaker cb38) (breaker cb39) (breaker cb40) (breaker cb41) (breaker cb42) (breaker cb43) (breaker cb44) (breaker cb45) (breaker cb46) (breaker cb47) (breaker cb48) (breaker cb49) (breaker cb50) (breaker cb51) (breaker cb52) (breaker cb53) (breaker cb54) (breaker cb55) (breaker cb56) (breaker cb57) (breaker cb58) (breaker cb59) (breaker cb60) (breaker cb61) (breaker cb62) (breaker cb63) (breaker cb64) (breaker cb65) (breaker cb66) (breaker cb67) (breaker cb68) (breaker cb69) (breaker cb70) (breaker cb71) (breaker cb72) (breaker cb73) (breaker cb74) (breaker cb75) (breaker cb76) (breaker cb77) (breaker cb78) (breaker cb79) (breaker cb80) (closed cb1) (closed cb2) (closed cb3) (closed cb4) (closed cb5) (closed cb6) (closed cb7) (closed cb8) (closed cb9) (closed cb10) (closed cb11) (closed cb12) (closed cb13) (closed cb14) (closed cb15) (closed cb16) (closed cb17) (closed cb18) (closed cb19) (closed cb20) (closed cb21) (closed cb22) (closed cb23) (closed cb24) (closed cb25) (closed cb26) (closed cb27) (closed cb28) (closed cb29) (closed cb30) (closed cb31) (closed cb32) (closed cb33) (closed cb34) (closed cb35) (closed cb36) (closed cb37) (closed cb38) (closed cb39) (closed cb40) (closed cb41) (closed cb42) (closed cb43) (closed cb44) (closed cb45) (closed cb46) (closed cb47) (closed cb48) (closed cb49) (closed cb50) (closed cb51) (closed cb52) (closed cb53) (closed cb54) (closed cb55) (closed cb56) (closed cb57) (closed cb58) (closed cb59) (closed cb60) (closed cb61) (closed cb62) (closed cb63) (closed cb64) (closed cb65) (closed cb66) (closed cb67) (closed cb68) (closed cb69) (closed cb70) (closed cb71) (closed cb72) (closed cb73) (closed cb74) (closed cb75) (closed cb76) (closed cb77) (closed cb78) (closed cb79) (closed cb80) (closed sd4) (closed sd6) (closed sd8) (closed sd9) (closed sd11) (closed sd12) (closed sd15) (closed sd17) (closed sd18) (closed sd20) (closed sd21) (closed sd22) (closed sd23) (closed sd24) (closed sd25) (closed sd27) (closed sd28) (closed sd30) (closed sd31) (closed sd34) (closed sd37) (closed sd38) (closed sd42) (closed sd46) (closed sd47) (closed sd48) (closed sd49) (closed sd50) (closed sd52) (closed sd54) (closed sd59) (closed sd60) (closed sd61) (closed sd63) (closed sd64) (closed sd67) (closed sd70) (closed sd73) (closed sd74) (closed sd75) (closed sd76) (closed sd78) (closed sd79) (closed sd81) (closed sd82) (closed sd83) (closed sd84) (closed sd86) (closed sd87) (closed sd89) (closed sd90) (closed sd91) (closed sd93) (closed sd94) (closed sd95) (closed sd98) (closed sd100) (closed sd101) (closed sd102) (closed sd103) (closed sd104) (closed sd105) (closed sd106) (closed sd109) (closed sd110) (closed sd112) (closed sd113) (closed sd114) (closed sd115) (closed sd117) (closed sd118) (closed sd119) (closed sd122) (closed sd123) (closed sd124) (closed sd125) (closed sd127) (closed sd128) (closed sd129) (closed sd131) (closed sd132) (closed sd133) (closed sd134) (closed sd135) (closed sd136) (closed sd139) (closed sd140) (closed sd141) (closed sd142) (closed sd143) (closed sd144) (closed sd145) (closed sd147) (closed sd148) (closed sd149) (closed sd151) (closed sd152) (closed sd153) (closed sd155) (closed sd156) (closed sd157) (closed sd158) (closed sd159) (closed sd162) (closed sd163) (closed sd164) (closed sd165) (closed sd166) (closed sd168) (closed sd169) (closed sd171) (closed sd173) (closed sd174) (closed sd177) (closed sd178) (closed sd179) (closed sd181) (closed sd182) (closed sd184) (closed sd185) (closed sd186) (closed sd188) (closed sd190) (closed sd191) (closed sd193) (closed sd194) (closed sd196) (closed sd198) (closed sd200) (closed sd202) (closed sd204) (closed sd205) (closed sd206) (closed sd207) (closed sd208) (closed sd210) (closed sd211) (closed sd212) (closed sd214) (closed sd215) (closed sd216) (closed sd217) (closed sd218) (closed sd221) (closed sd222) (closed sd223) (closed sd224) (closed sd225) (closed sd226) (closed sd227) (closed sd228) (closed sd229) (closed sd230) (closed sd233) (closed sd234) (closed sd236) (closed sd237) (closed sd238) (closed sd239) (closed sd240) (closed sd241) (closed sd244) (closed sd246) (closed sd247) (closed sd248) (closed sd249) (closed sd250) (closed sd251) (closed sd252) (closed sd253) (closed sd254) (closed sd255) (closed sd256) (closed sd257) (closed sd258) (closed sd259) (closed sd260) (closed sd261) (faulty l1) (faulty l2) (faulty l3) (faulty l8) (faulty l12) (faulty l14) (faulty l18) (faulty l19) (faulty l21) (faulty l22) (faulty l25) (faulty l26) (faulty l27) (faulty l42) (faulty l49) (faulty l52) (faulty l53) (faulty l55) (faulty l57) (faulty l63) (faulty l70) (faulty l73) (faulty l74) (faulty l77) (faulty l78) (faulty l79) (faulty l94) (faulty l96) (faulty l97) (faulty l99) (faulty l103) (faulty l106) (faulty l115) (faulty l117) (faulty l123) (faulty l126) (faulty l129) (faulty l131) (faulty l133) (faulty l134) (faulty l136) (faulty l137) (faulty l138) (faulty l139) (faulty l140) (faulty l146) (faulty l151) (faulty l153) (faulty l154) (faulty l157) (faulty l167) (faulty l171) (faulty l172) (faulty l173) (faulty l179) (faulty l180) (faulty l181) (faulty l184) (faulty l187) (faulty l188) (faulty l190) (faulty l193) (faulty l201) (faulty l202) (faulty l203) (faulty l216) (faulty l220) (faulty l221) (faulty l224) (faulty l226) (faulty l227) (faulty l228) (faulty l230) (faulty l241) (faulty l242) (faulty l243) (faulty l258) (ext l1 sd2 side2) (ext l1 cb1 side2) (con sd2 side2 cb1 side2) (con cb1 side2 sd2 side2) (ext l1 sd1 side2) (con sd1 side2 cb1 side2) (con cb1 side2 sd1 side2) (con sd1 side2 sd2 side2) (con sd2 side2 sd1 side2) (ext l2 sd33 side2) (ext l2 cb2 side2) (con sd33 side2 cb2 side2) (con cb2 side2 sd33 side2) (ext l2 sd3 side1) (con sd3 side1 cb2 side2) (con cb2 side2 sd3 side1) (con sd3 side1 sd33 side2) (con sd33 side2 sd3 side1) (ext l3 sd4 side1) (ext l3 cb3 side2) (con sd4 side1 cb3 side2) (con cb3 side2 sd4 side1) (ext l4 sd5 side2) (ext l4 sd4 side2) (con sd5 side2 sd4 side2) (con sd4 side2 sd5 side2) (ext l5 sd6 side1) (ext l5 cb4 side2) (con sd6 side1 cb4 side2) (con cb4 side2 sd6 side1) (ext l6 sd7 side2) (ext l6 sd6 side2) (con sd7 side2 sd6 side2) (con sd6 side2 sd7 side2) (ext l7 sd8 side2) (ext l7 cb5 side2) (con sd8 side2 cb5 side2) (con cb5 side2 sd8 side2) (ext l8 sd9 side2) (ext l8 sd8 side1) (con sd9 side2 sd8 side1) (con sd8 side1 sd9 side2) (ext l8 sd3 side2) (con sd3 side2 sd8 side1) (con sd8 side1 sd3 side2) (con sd3 side2 sd9 side2) (con sd9 side2 sd3 side2) (ext l9 sd10 side2) (ext l9 sd9 side1) (con sd10 side2 sd9 side1) (con sd9 side1 sd10 side2) (ext l10 sd14 side1) (ext l10 cb6 side2) (con sd14 side1 cb6 side2) (con cb6 side2 sd14 side1) (ext l10 sd11 side2) (con sd11 side2 cb6 side2) (con cb6 side2 sd11 side2) (con sd11 side2 sd14 side1) (con sd14 side1 sd11 side2) (ext l10 sd243 side2) (con sd243 side2 cb6 side2) (con cb6 side2 sd243 side2) (con sd243 side2 sd14 side1) (con sd14 side1 sd243 side2) (con sd243 side2 sd11 side2) (con sd11 side2 sd243 side2) (ext l11 sd12 side1) (ext l11 sd11 side1) (con sd12 side1 sd11 side1) (con sd11 side1 sd12 side1) (ext l12 sd13 side2) (ext l12 sd12 side2) (con sd13 side2 sd12 side2) (con sd12 side2 sd13 side2) (ext l13 sd15 side1) (ext l13 cb7 side2) (con sd15 side1 cb7 side2) (con cb7 side2 sd15 side1) (ext l14 sd16 side2) (ext l14 sd15 side2) (con sd16 side2 sd15 side2) (con sd15 side2 sd16 side2) (ext l15 sd17 side1) (ext l15 cb8 side2) (con sd17 side1 cb8 side2) (con cb8 side2 sd17 side1) (ext l16 sd14 side2) (ext l16 sd17 side2) (con sd14 side2 sd17 side2) (con sd17 side2 sd14 side2) (ext l17 sd18 side2) (ext l17 cb9 side2) (con sd18 side2 cb9 side2) (con cb9 side2 sd18 side2) (ext l18 sd20 side2) (ext l18 sd18 side1) (con sd20 side2 sd18 side1) (con sd18 side1 sd20 side2) (ext l18 sd19 side2) (con sd19 side2 sd18 side1) (con sd18 side1 sd19 side2) (con sd19 side2 sd20 side2) (con sd20 side2 sd19 side2) (ext l19 sd2 side1) (ext l19 sd20 side1) (con sd2 side1 sd20 side1) (con sd20 side1 sd2 side1) (ext l20 sd23 side2) (ext l20 cb10 side2) (con sd23 side2 cb10 side2) (con cb10 side2 sd23 side2) (ext l20 sd21 side1) (con sd21 side1 cb10 side2) (con cb10 side2 sd21 side1) (con sd21 side1 sd23 side2) (con sd23 side2 sd21 side1) (ext l21 sd22 side1) (ext l21 sd21 side2) (con sd22 side1 sd21 side2) (con sd21 side2 sd22 side1) (ext l22 sd167 side2) (ext l22 sd22 side2) (con sd167 side2 sd22 side2) (con sd22 side2 sd167 side2) (ext l23 sd24 side2) (ext l23 sd23 side1) (con sd24 side2 sd23 side1) (con sd23 side1 sd24 side2) (ext l24 sd25 side2) (ext l24 sd24 side1) (con sd25 side2 sd24 side1) (con sd24 side1 sd25 side2) (ext l25 sd26 side1) (ext l25 sd25 side1) (con sd26 side1 sd25 side1) (con sd25 side1 sd26 side1) (ext l26 sd27 side1) (ext l26 cb11 side2) (con sd27 side1 cb11 side2) (con cb11 side2 sd27 side1) (ext l27 sd138 side2) (ext l27 sd27 side2) (con sd138 side2 sd27 side2) (con sd27 side2 sd138 side2) (ext l28 sd29 side1) (ext l28 cb12 side2) (con sd29 side1 cb12 side2) (con cb12 side2 sd29 side1) (ext l28 sd28 side2) (con sd28 side2 cb12 side2) (con cb12 side2 sd28 side2) (con sd28 side2 sd29 side1) (con sd29 side1 sd28 side2) (ext l29 sd231 side2) (ext l29 sd28 side1) (con sd231 side2 sd28 side1) (con sd28 side1 sd231 side2) (ext l30 sd33 side1) (ext l30 cb13 side2) (con sd33 side1 cb13 side2) (con cb13 side2 sd33 side1) (ext l30 sd30 side1) (con sd30 side1 cb13 side2) (con cb13 side2 sd30 side1) (con sd30 side1 sd33 side1) (con sd33 side1 sd30 side1) (ext l31 sd31 side2) (ext l31 sd30 side2) (con sd31 side2 sd30 side2) (con sd30 side2 sd31 side2) (ext l32 sd32 side2) (ext l32 sd31 side1) (con sd32 side2 sd31 side1) (con sd31 side1 sd32 side2) (ext l33 sd34 side2) (ext l33 cb14 side2) (con sd34 side2 cb14 side2) (con cb14 side2 sd34 side2) (ext l34 sd209 side2) (ext l34 sd34 side1) (con sd209 side2 sd34 side1) (con sd34 side1 sd209 side2) (ext l35 sd36 side1) (ext l35 cb15 side2) (con sd36 side1 cb15 side2) (con cb15 side2 sd36 side1) (ext l35 sd35 side1) (con sd35 side1 cb15 side2) (con cb15 side2 sd35 side1) (con sd35 side1 sd36 side1) (con sd36 side1 sd35 side1) (ext l36 sd40 side2) (ext l36 cb16 side2) (con sd40 side2 cb16 side2) (con cb16 side2 sd40 side2) (ext l36 sd37 side2) (con sd37 side2 cb16 side2) (con cb16 side2 sd37 side2) (con sd37 side2 sd40 side2) (con sd40 side2 sd37 side2) (ext l37 sd38 side2) (ext l37 sd37 side1) (con sd38 side2 sd37 side1) (con sd37 side1 sd38 side2) (ext l38 sd39 side2) (ext l38 sd38 side1) (con sd39 side2 sd38 side1) (con sd38 side1 sd39 side2) (ext l39 sd45 side1) (ext l39 cb17 side2) (con sd45 side1 cb17 side2) (con cb17 side2 sd45 side1) (ext l39 sd42 side1) (con sd42 side1 cb17 side2) (con cb17 side2 sd42 side1) (con sd42 side1 sd45 side1) (con sd45 side1 sd42 side1) (ext l39 sd41 side1) (con sd41 side1 cb17 side2) (con cb17 side2 sd41 side1) (con sd41 side1 sd45 side1) (con sd45 side1 sd41 side1) (con sd41 side1 sd42 side1) (con sd42 side1 sd41 side1) (ext l39 sd36 side2) (con sd36 side2 cb17 side2) (con cb17 side2 sd36 side2) (con sd36 side2 sd45 side1) (con sd45 side1 sd36 side2) (con sd36 side2 sd42 side1) (con sd42 side1 sd36 side2) (con sd36 side2 sd41 side1) (con sd41 side1 sd36 side2) (ext l40 sd44 side2) (ext l40 sd42 side2) (con sd44 side2 sd42 side2) (con sd42 side2 sd44 side2) (ext l40 sd43 side2) (con sd43 side2 sd42 side2) (con sd42 side2 sd43 side2) (con sd43 side2 sd44 side2) (con sd44 side2 sd43 side2) (ext l41 sd50 side1) (ext l41 cb18 side2) (con sd50 side1 cb18 side2) (con cb18 side2 sd50 side1) (ext l41 sd46 side2) (con sd46 side2 cb18 side2) (con cb18 side2 sd46 side2) (con sd46 side2 sd50 side1) (con sd50 side1 sd46 side2) (ext l42 sd47 side2) (ext l42 sd46 side1) (con sd47 side2 sd46 side1) (con sd46 side1 sd47 side2) (ext l43 sd48 side2) (ext l43 sd47 side1) (con sd48 side2 sd47 side1) (con sd47 side1 sd48 side2) (ext l44 sd49 side1) (ext l44 sd48 side1) (con sd49 side1 sd48 side1) (con sd48 side1 sd49 side1) (ext l45 sd45 side2) (ext l45 sd49 side2) (con sd45 side2 sd49 side2) (con sd49 side2 sd45 side2) (ext l46 sd51 side2) (ext l46 sd50 side2) (con sd51 side2 sd50 side2) (con sd50 side2 sd51 side2) (ext l47 sd52 side2) (ext l47 cb19 side2) (con sd52 side2 cb19 side2) (con cb19 side2 sd52 side2) (ext l47 sd16 side1) (con sd16 side1 cb19 side2) (con cb19 side2 sd16 side1) (con sd16 side1 sd52 side2) (con sd52 side2 sd16 side1) (ext l48 sd137 side2) (ext l48 sd52 side1) (con sd137 side2 sd52 side1) (con sd52 side1 sd137 side2) (ext l48 sd53 side1) (con sd53 side1 sd52 side1) (con sd52 side1 sd53 side1) (con sd53 side1 sd137 side2) (con sd137 side2 sd53 side1) (ext l49 sd56 side2) (ext l49 cb20 side2) (con sd56 side2 cb20 side2) (con cb20 side2 sd56 side2) (ext l49 sd54 side1) (con sd54 side1 cb20 side2) (con cb20 side2 sd54 side1) (con sd54 side1 sd56 side2) (con sd56 side2 sd54 side1) (ext l50 sd55 side1) (ext l50 sd54 side2) (con sd55 side1 sd54 side2) (con sd54 side2 sd55 side1) (ext l51 sd58 side2) (ext l51 cb21 side2) (con sd58 side2 cb21 side2) (con cb21 side2 sd58 side2) (ext l51 sd57 side2) (con sd57 side2 cb21 side2) (con cb21 side2 sd57 side2) (con sd57 side2 sd58 side2) (con sd58 side2 sd57 side2) (ext l52 sd59 side2) (ext l52 cb22 side2) (con sd59 side2 cb22 side2) (con cb22 side2 sd59 side2) (ext l53 sd66 side2) (ext l53 sd59 side1) (con sd66 side2 sd59 side1) (con sd59 side1 sd66 side2) (ext l53 sd60 side2) (con sd60 side2 sd59 side1) (con sd59 side1 sd60 side2) (con sd60 side2 sd66 side2) (con sd66 side2 sd60 side2) (ext l54 sd63 side2) (ext l54 sd60 side1) (con sd63 side2 sd60 side1) (con sd60 side1 sd63 side2) (ext l54 sd61 side2) (con sd61 side2 sd60 side1) (con sd60 side1 sd61 side2) (con sd61 side2 sd63 side2) (con sd63 side2 sd61 side2) (ext l55 sd62 side1) (ext l55 sd61 side1) (con sd62 side1 sd61 side1) (con sd61 side1 sd62 side1) (ext l56 sd187 side2) (ext l56 sd63 side1) (con sd187 side2 sd63 side1) (con sd63 side1 sd187 side2) (ext l56 sd64 side1) (con sd64 side1 sd63 side1) (con sd63 side1 sd64 side1) (con sd64 side1 sd187 side2) (con sd187 side2 sd64 side1) (ext l57 sd65 side1) (ext l57 sd64 side2) (con sd65 side1 sd64 side2) (con sd64 side2 sd65 side1) (ext l58 sd69 side1) (ext l58 cb23 side2) (con sd69 side1 cb23 side2) (con cb23 side2 sd69 side1) (ext l58 sd67 side2) (con sd67 side2 cb23 side2) (con cb23 side2 sd67 side2) (con sd67 side2 sd69 side1) (con sd69 side1 sd67 side2) (ext l59 sd68 side2) (ext l59 sd67 side1) (con sd68 side2 sd67 side1) (con sd67 side1 sd68 side2) (ext l60 sd72 side1) (ext l60 cb24 side2) (con sd72 side1 cb24 side2) (con cb24 side2 sd72 side1) (ext l60 sd70 side1) (con sd70 side1 cb24 side2) (con cb24 side2 sd70 side1) (con sd70 side1 sd72 side1) (con sd72 side1 sd70 side1) (ext l61 sd71 side2) (ext l61 sd70 side2) (con sd71 side2 sd70 side2) (con sd70 side2 sd71 side2) (ext l62 sd79 side1) (ext l62 cb25 side2) (con sd79 side1 cb25 side2) (con cb25 side2 sd79 side1) (ext l62 sd73 side2) (con sd73 side2 cb25 side2) (con cb25 side2 sd73 side2) (con sd73 side2 sd79 side1) (con sd79 side1 sd73 side2) (ext l63 sd74 side1) (ext l63 sd73 side1) (con sd74 side1 sd73 side1) (con sd73 side1 sd74 side1) (ext l64 sd75 side2) (ext l64 sd74 side2) (con sd75 side2 sd74 side2) (con sd74 side2 sd75 side2) (ext l65 sd76 side2) (ext l65 sd75 side1) (con sd76 side2 sd75 side1) (con sd75 side1 sd76 side2) (ext l66 sd78 side1) (ext l66 sd76 side1) (con sd78 side1 sd76 side1) (con sd76 side1 sd78 side1) (ext l66 sd77 side1) (con sd77 side1 sd76 side1) (con sd76 side1 sd77 side1) (con sd77 side1 sd78 side1) (con sd78 side1 sd77 side1) (ext l67 sd44 side1) (ext l67 sd78 side2) (con sd44 side1 sd78 side2) (con sd78 side2 sd44 side1) (ext l68 sd80 side1) (ext l68 sd79 side2) (con sd80 side1 sd79 side2) (con sd79 side2 sd80 side1) (ext l69 sd81 side1) (ext l69 cb26 side2) (con sd81 side1 cb26 side2) (con cb26 side2 sd81 side1) (ext l70 sd82 side2) (ext l70 sd81 side2) (con sd82 side2 sd81 side2) (con sd81 side2 sd82 side2) (ext l71 sd83 side1) (ext l71 sd82 side1) (con sd83 side1 sd82 side1) (con sd82 side1 sd83 side1) (ext l72 sd84 side1) (ext l72 sd83 side2) (con sd84 side1 sd83 side2) (con sd83 side2 sd84 side1) (ext l73 sd85 side2) (ext l73 sd84 side2) (con sd85 side2 sd84 side2) (con sd84 side2 sd85 side2) (ext l74 sd86 side1) (ext l74 cb27 side2) (con sd86 side1 cb27 side2) (con cb27 side2 sd86 side1) (ext l75 sd87 side2) (ext l75 sd86 side2) (con sd87 side2 sd86 side2) (con sd86 side2 sd87 side2) (ext l76 sd88 side2) (ext l76 sd87 side1) (con sd88 side2 sd87 side1) (con sd87 side1 sd88 side2) (ext l77 sd89 side2) (ext l77 cb28 side2) (con sd89 side2 cb28 side2) (con cb28 side2 sd89 side2) (ext l78 sd90 side2) (ext l78 sd89 side1) (con sd90 side2 sd89 side1) (con sd89 side1 sd90 side2) (ext l79 sd183 side2) (ext l79 sd90 side1) (con sd183 side2 sd90 side1) (con sd90 side1 sd183 side2) (ext l80 sd98 side1) (ext l80 cb29 side2) (con sd98 side1 cb29 side2) (con cb29 side2 sd98 side1) (ext l80 sd91 side2) (con sd91 side2 cb29 side2) (con cb29 side2 sd91 side2) (con sd91 side2 sd98 side1) (con sd98 side1 sd91 side2) (ext l81 sd93 side1) (ext l81 sd91 side1) (con sd93 side1 sd91 side1) (con sd91 side1 sd93 side1) (ext l81 sd92 side2) (con sd92 side2 sd91 side1) (con sd91 side1 sd92 side2) (con sd92 side2 sd93 side1) (con sd93 side1 sd92 side2) (ext l82 sd94 side1) (ext l82 sd93 side2) (con sd94 side1 sd93 side2) (con sd93 side2 sd94 side1) (ext l83 sd95 side2) (ext l83 sd94 side2) (con sd95 side2 sd94 side2) (con sd94 side2 sd95 side2) (ext l84 sd97 side2) (ext l84 sd95 side1) (con sd97 side2 sd95 side1) (con sd95 side1 sd97 side2) (ext l84 sd96 side1) (con sd96 side1 sd95 side1) (con sd95 side1 sd96 side1) (con sd96 side1 sd97 side2) (con sd97 side2 sd96 side1) (ext l85 sd99 side2) (ext l85 sd98 side2) (con sd99 side2 sd98 side2) (con sd98 side2 sd99 side2) (ext l86 sd58 side1) (ext l86 cb30 side2) (con sd58 side1 cb30 side2) (con cb30 side2 sd58 side1) (ext l86 sd100 side1) (con sd100 side1 cb30 side2) (con cb30 side2 sd100 side1) (con sd100 side1 sd58 side1) (con sd58 side1 sd100 side1) (ext l87 sd107 side1) (ext l87 sd100 side2) (con sd107 side1 sd100 side2) (con sd100 side2 sd107 side1) (ext l87 sd101 side1) (con sd101 side1 sd100 side2) (con sd100 side2 sd101 side1) (con sd101 side1 sd107 side1) (con sd107 side1 sd101 side1) (ext l88 sd102 side2) (ext l88 sd101 side2) (con sd102 side2 sd101 side2) (con sd101 side2 sd102 side2) (ext l89 sd103 side1) (ext l89 sd102 side1) (con sd103 side1 sd102 side1) (con sd102 side1 sd103 side1) (ext l90 sd104 side1) (ext l90 sd103 side2) (con sd104 side1 sd103 side2) (con sd103 side2 sd104 side1) (ext l91 sd105 side1) (ext l91 sd104 side2) (con sd105 side1 sd104 side2) (con sd104 side2 sd105 side1) (ext l92 sd106 side2) (ext l92 sd105 side2) (con sd106 side2 sd105 side2) (con sd105 side2 sd106 side2) (ext l93 sd232 side1) (ext l93 sd106 side1) (con sd232 side1 sd106 side1) (con sd106 side1 sd232 side1) (ext l94 sd109 side2) (ext l94 cb31 side2) (con sd109 side2 cb31 side2) (con cb31 side2 sd109 side2) (ext l94 sd108 side2) (con sd108 side2 cb31 side2) (con cb31 side2 sd108 side2) (con sd108 side2 sd109 side2) (con sd109 side2 sd108 side2) (ext l95 sd110 side1) (ext l95 sd109 side1) (con sd110 side1 sd109 side1) (con sd109 side1 sd110 side1) (ext l96 sd111 side1) (ext l96 sd110 side2) (con sd111 side1 sd110 side2) (con sd110 side2 sd111 side1) (ext l97 sd112 side1) (ext l97 cb32 side2) (con sd112 side1 cb32 side2) (con cb32 side2 sd112 side1) (ext l98 sd113 side1) (ext l98 sd112 side2) (con sd113 side1 sd112 side2) (con sd112 side2 sd113 side1) (ext l99 sd114 side2) (ext l99 sd113 side2) (con sd114 side2 sd113 side2) (con sd113 side2 sd114 side2) (ext l100 sd69 side2) (ext l100 sd114 side1) (con sd69 side2 sd114 side1) (con sd114 side1 sd69 side2) (ext l101 sd116 side2) (ext l101 cb33 side2) (con sd116 side2 cb33 side2) (con cb33 side2 sd116 side2) (ext l101 sd115 side2) (con sd115 side2 cb33 side2) (con cb33 side2 sd115 side2) (con sd115 side2 sd116 side2) (con sd116 side2 sd115 side2) (ext l102 sd55 side2) (ext l102 sd115 side1) (con sd55 side2 sd115 side1) (con sd115 side1 sd55 side2) (ext l103 sd117 side1) (ext l103 cb34 side2) (con sd117 side1 cb34 side2) (con cb34 side2 sd117 side1) (ext l104 sd120 side2) (ext l104 sd117 side2) (con sd120 side2 sd117 side2) (con sd117 side2 sd120 side2) (ext l104 sd118 side2) (con sd118 side2 sd117 side2) (con sd117 side2 sd118 side2) (con sd118 side2 sd120 side2) (con sd120 side2 sd118 side2) (ext l105 sd119 side1) (ext l105 sd118 side1) (con sd119 side1 sd118 side1) (con sd118 side1 sd119 side1) (ext l106 sd32 side1) (ext l106 sd119 side2) (con sd32 side1 sd119 side2) (con sd119 side2 sd32 side1) (ext l107 sd122 side2) (ext l107 cb35 side2) (con sd122 side2 cb35 side2) (con cb35 side2 sd122 side2) (ext l107 sd121 side2) (con sd121 side2 cb35 side2) (con cb35 side2 sd121 side2) (con sd121 side2 sd122 side2) (con sd122 side2 sd121 side2) (ext l108 sd123 side1) (ext l108 sd122 side1) (con sd123 side1 sd122 side1) (con sd122 side1 sd123 side1) (ext l109 sd124 side2) (ext l109 sd123 side2) (con sd124 side2 sd123 side2) (con sd123 side2 sd124 side2) (ext l110 sd220 side2) (ext l110 sd124 side1) (con sd220 side2 sd124 side1) (con sd124 side1 sd220 side2) (ext l110 sd125 side2) (con sd125 side2 sd124 side1) (con sd124 side1 sd125 side2) (con sd125 side2 sd220 side2) (con sd220 side2 sd125 side2) (ext l111 sd126 side2) (ext l111 sd125 side1) (con sd126 side2 sd125 side1) (con sd125 side1 sd126 side2) (ext l112 sd127 side1) (ext l112 cb36 side2) (con sd127 side1 cb36 side2) (con cb36 side2 sd127 side1) (ext l113 sd129 side2) (ext l113 sd127 side2) (con sd129 side2 sd127 side2) (con sd127 side2 sd129 side2) (ext l113 sd128 side1) (con sd128 side1 sd127 side2) (con sd127 side2 sd128 side1) (con sd128 side1 sd129 side2) (con sd129 side2 sd128 side1) (ext l114 sd108 side1) (ext l114 sd128 side2) (con sd108 side1 sd128 side2) (con sd128 side2 sd108 side1) (ext l115 sd130 side1) (ext l115 sd129 side1) (con sd130 side1 sd129 side1) (con sd129 side1 sd130 side1) (ext l116 sd131 side2) (ext l116 cb37 side2) (con sd131 side2 cb37 side2) (con cb37 side2 sd131 side2) (ext l117 sd245 side2) (ext l117 sd131 side1) (con sd245 side2 sd131 side1) (con sd131 side1 sd245 side2) (ext l117 sd132 side2) (con sd132 side2 sd131 side1) (con sd131 side1 sd132 side2) (con sd132 side2 sd245 side2) (con sd245 side2 sd132 side2) (ext l118 sd133 side1) (ext l118 sd132 side1) (con sd133 side1 sd132 side1) (con sd132 side1 sd133 side1) (ext l119 sd40 side1) (ext l119 sd133 side2) (con sd40 side1 sd133 side2) (con sd133 side2 sd40 side1) (ext l120 sd134 side1) (ext l120 cb38 side2) (con sd134 side1 cb38 side2) (con cb38 side2 sd134 side1) (ext l121 sd139 side2) (ext l121 sd134 side2) (con sd139 side2 sd134 side2) (con sd134 side2 sd139 side2) (ext l121 sd135 side1) (con sd135 side1 sd134 side2) (con sd134 side2 sd135 side1) (con sd135 side1 sd139 side2) (con sd139 side2 sd135 side1) (ext l122 sd138 side1) (ext l122 sd135 side2) (con sd138 side1 sd135 side2) (con sd135 side2 sd138 side1) (ext l122 sd136 side1) (con sd136 side1 sd135 side2) (con sd135 side2 sd136 side1) (con sd136 side1 sd138 side1) (con sd138 side1 sd136 side1) (ext l123 sd137 side1) (ext l123 sd136 side2) (con sd137 side1 sd136 side2) (con sd136 side2 sd137 side1) (ext l124 sd140 side1) (ext l124 sd139 side1) (con sd140 side1 sd139 side1) (con sd139 side1 sd140 side1) (ext l125 sd141 side2) (ext l125 sd140 side2) (con sd141 side2 sd140 side2) (con sd140 side2 sd141 side2) (ext l126 sd13 side1) (ext l126 sd141 side1) (con sd13 side1 sd141 side1) (con sd141 side1 sd13 side1) (ext l127 sd7 side1) (ext l127 cb39 side2) (con sd7 side1 cb39 side2) (con cb39 side2 sd7 side1) (ext l127 sd142 side1) (con sd142 side1 cb39 side2) (con cb39 side2 sd142 side1) (con sd142 side1 sd7 side1) (con sd7 side1 sd142 side1) (ext l128 sd145 side1) (ext l128 sd142 side2) (con sd145 side1 sd142 side2) (con sd142 side2 sd145 side1) (ext l128 sd143 side2) (con sd143 side2 sd142 side2) (con sd142 side2 sd143 side2) (con sd143 side2 sd145 side1) (con sd145 side1 sd143 side2) (ext l129 sd144 side1) (ext l129 sd143 side1) (con sd144 side1 sd143 side1) (con sd143 side1 sd144 side1) (ext l130 sd19 side1) (ext l130 sd144 side2) (con sd19 side1 sd144 side2) (con sd144 side2 sd19 side1) (ext l131 sd146 side1) (ext l131 sd145 side2) (con sd146 side1 sd145 side2) (con sd145 side2 sd146 side1) (ext l132 sd71 side1) (ext l132 cb40 side2) (con sd71 side1 cb40 side2) (con cb40 side2 sd71 side1) (ext l132 sd147 side1) (con sd147 side1 cb40 side2) (con cb40 side2 sd147 side1) (con sd147 side1 sd71 side1) (con sd71 side1 sd147 side1) (ext l133 sd148 side2) (ext l133 sd147 side2) (con sd148 side2 sd147 side2) (con sd147 side2 sd148 side2) (ext l134 sd149 side2) (ext l134 sd148 side1) (con sd149 side2 sd148 side1) (con sd148 side1 sd149 side2) (ext l134 sd66 side1) (con sd66 side1 sd148 side1) (con sd148 side1 sd66 side1) (con sd66 side1 sd149 side2) (con sd149 side2 sd66 side1) (ext l135 sd150 side2) (ext l135 sd149 side1) (con sd150 side2 sd149 side1) (con sd149 side1 sd150 side2) (ext l136 sd151 side1) (ext l136 cb41 side2) (con sd151 side1 cb41 side2) (con cb41 side2 sd151 side1) (ext l137 sd152 side2) (ext l137 sd151 side2) (con sd152 side2 sd151 side2) (con sd151 side2 sd152 side2) (ext l138 sd96 side2) (ext l138 sd152 side1) (con sd96 side2 sd152 side1) (con sd152 side1 sd96 side2) (ext l138 sd153 side1) (con sd153 side1 sd152 side1) (con sd152 side1 sd153 side1) (con sd153 side1 sd96 side2) (con sd96 side2 sd153 side1) (ext l139 sd154 side2) (ext l139 sd153 side2) (con sd154 side2 sd153 side2) (con sd153 side2 sd154 side2) (ext l140 sd155 side2) (ext l140 cb42 side2) (con sd155 side2 cb42 side2) (con cb42 side2 sd155 side2) (ext l141 sd159 side2) (ext l141 sd155 side1) (con sd159 side2 sd155 side1) (con sd155 side1 sd159 side2) (ext l141 sd158 side2) (con sd158 side2 sd155 side1) (con sd155 side1 sd158 side2) (con sd158 side2 sd159 side2) (con sd159 side2 sd158 side2) (ext l141 sd156 side2) (con sd156 side2 sd155 side1) (con sd155 side1 sd156 side2) (con sd156 side2 sd159 side2) (con sd159 side2 sd156 side2) (con sd156 side2 sd158 side2) (con sd158 side2 sd156 side2) (ext l142 sd157 side1) (ext l142 sd156 side1) (con sd157 side1 sd156 side1) (con sd156 side1 sd157 side1) (ext l143 sd57 side1) (ext l143 sd158 side1) (con sd57 side1 sd158 side1) (con sd158 side1 sd57 side1) (ext l144 sd88 side1) (ext l144 sd159 side1) (con sd88 side1 sd159 side1) (con sd159 side1 sd88 side1) (ext l144 sd160 side1) (con sd160 side1 sd159 side1) (con sd159 side1 sd160 side1) (con sd160 side1 sd88 side1) (con sd88 side1 sd160 side1) (ext l145 sd51 side1) (ext l145 cb43 side2) (con sd51 side1 cb43 side2) (con cb43 side2 sd51 side1) (ext l145 sd161 side1) (con sd161 side1 cb43 side2) (con cb43 side2 sd161 side1) (con sd161 side1 sd51 side1) (con sd51 side1 sd161 side1) (ext l146 sd162 side1) (ext l146 cb44 side2) (con sd162 side1 cb44 side2) (con cb44 side2 sd162 side1) (ext l147 sd163 side2) (ext l147 sd162 side2) (con sd163 side2 sd162 side2) (con sd162 side2 sd163 side2) (ext l148 sd164 side1) (ext l148 sd163 side1) (con sd164 side1 sd163 side1) (con sd163 side1 sd164 side1) (ext l149 sd165 side2) (ext l149 sd164 side2) (con sd165 side2 sd164 side2) (con sd164 side2 sd165 side2) (ext l150 sd167 side1) (ext l150 sd165 side1) (con sd167 side1 sd165 side1) (con sd165 side1 sd167 side1) (ext l150 sd166 side1) (con sd166 side1 sd165 side1) (con sd165 side1 sd166 side1) (con sd166 side1 sd167 side1) (con sd167 side1 sd166 side1) (ext l151 sd53 side2) (ext l151 sd166 side2) (con sd53 side2 sd166 side2) (con sd166 side2 sd53 side2) (ext l152 sd168 side1) (ext l152 cb45 side2) (con sd168 side1 cb45 side2) (con cb45 side2 sd168 side1) (ext l152 sd92 side1) (con sd92 side1 cb45 side2) (con cb45 side2 sd92 side1) (con sd92 side1 sd168 side1) (con sd168 side1 sd92 side1) (ext l153 sd169 side2) (ext l153 sd168 side2) (con sd169 side2 sd168 side2) (con sd168 side2 sd169 side2) (ext l154 sd171 side1) (ext l154 sd169 side1) (con sd171 side1 sd169 side1) (con sd169 side1 sd171 side1) (ext l154 sd170 side1) (con sd170 side1 sd169 side1) (con sd169 side1 sd170 side1) (con sd170 side1 sd171 side1) (con sd171 side1 sd170 side1) (ext l155 sd219 side1) (ext l155 sd171 side2) (con sd219 side1 sd171 side2) (con sd171 side2 sd219 side1) (ext l155 sd172 side1) (con sd172 side1 sd171 side2) (con sd171 side2 sd172 side1) (con sd172 side1 sd219 side1) (con sd219 side1 sd172 side1) (ext l156 sd173 side1) (ext l156 cb46 side2) (con sd173 side1 cb46 side2) (con cb46 side2 sd173 side1) (ext l157 sd174 side2) (ext l157 sd173 side2) (con sd174 side2 sd173 side2) (con sd173 side2 sd174 side2) (ext l157 sd77 side2) (con sd77 side2 sd173 side2) (con sd173 side2 sd77 side2) (con sd77 side2 sd174 side2) (con sd174 side2 sd77 side2) (ext l158 sd176 side1) (ext l158 sd174 side1) (con sd176 side1 sd174 side1) (con sd174 side1 sd176 side1) (ext l158 sd175 side1) (con sd175 side1 sd174 side1) (con sd174 side1 sd175 side1) (con sd175 side1 sd176 side1) (con sd176 side1 sd175 side1) (ext l159 sd177 side2) (ext l159 cb47 side2) (con sd177 side2 cb47 side2) (con cb47 side2 sd177 side2) (ext l160 sd161 side2) (ext l160 sd177 side1) (con sd161 side2 sd177 side1) (con sd177 side1 sd161 side2) (ext l160 sd178 side1) (con sd178 side1 sd177 side1) (con sd177 side1 sd178 side1) (con sd178 side1 sd161 side2) (con sd161 side2 sd178 side1) (ext l161 sd179 side1) (ext l161 sd178 side2) (con sd179 side1 sd178 side2) (con sd178 side2 sd179 side1) (ext l162 sd176 side2) (ext l162 cb48 side2) (con sd176 side2 cb48 side2) (con cb48 side2 sd176 side2) (ext l162 sd180 side1) (con sd180 side1 cb48 side2) (con cb48 side2 sd180 side1) (con sd180 side1 sd176 side2) (con sd176 side2 sd180 side1) (ext l163 sd181 side2) (ext l163 cb49 side2) (con sd181 side2 cb49 side2) (con cb49 side2 sd181 side2) (ext l164 sd182 side1) (ext l164 sd181 side1) (con sd182 side1 sd181 side1) (con sd181 side1 sd182 side1) (ext l165 sd184 side1) (ext l165 sd182 side2) (con sd184 side1 sd182 side2) (con sd182 side2 sd184 side1) (ext l165 sd183 side1) (con sd183 side1 sd182 side2) (con sd182 side2 sd183 side1) (con sd183 side1 sd184 side1) (con sd184 side1 sd183 side1) (ext l166 sd185 side2) (ext l166 sd184 side2) (con sd185 side2 sd184 side2) (con sd184 side2 sd185 side2) (ext l167 sd186 side2) (ext l167 sd185 side1) (con sd186 side2 sd185 side1) (con sd185 side1 sd186 side2) (ext l168 sd187 side1) (ext l168 sd186 side1) (con sd187 side1 sd186 side1) (con sd186 side1 sd187 side1) (ext l168 sd107 side2) (con sd107 side2 sd186 side1) (con sd186 side1 sd107 side2) (con sd107 side2 sd187 side1) (con sd187 side1 sd107 side2) (ext l169 sd188 side2) (ext l169 cb50 side2) (con sd188 side2 cb50 side2) (con cb50 side2 sd188 side2) (ext l169 sd213 side1) (con sd213 side1 cb50 side2) (con cb50 side2 sd213 side1) (con sd213 side1 sd188 side2) (con sd188 side2 sd213 side1) (ext l170 sd190 side1) (ext l170 sd188 side1) (con sd190 side1 sd188 side1) (con sd188 side1 sd190 side1) (ext l170 sd189 side1) (con sd189 side1 sd188 side1) (con sd188 side1 sd189 side1) (con sd189 side1 sd190 side1) (con sd190 side1 sd189 side1) (ext l171 sd35 side2) (ext l171 sd190 side2) (con sd35 side2 sd190 side2) (con sd190 side2 sd35 side2) (ext l172 sd191 side2) (ext l172 cb51 side2) (con sd191 side2 cb51 side2) (con cb51 side2 sd191 side2) (ext l173 sd111 side2) (ext l173 sd191 side1) (con sd111 side2 sd191 side1) (con sd191 side1 sd111 side2) (ext l174 sd5 side1) (ext l174 cb52 side2) (con sd5 side1 cb52 side2) (con cb52 side2 sd5 side1) (ext l174 sd192 side2) (con sd192 side2 cb52 side2) (con cb52 side2 sd192 side2) (con sd192 side2 sd5 side1) (con sd5 side1 sd192 side2) (ext l175 sd194 side1) (ext l175 cb53 side2) (con sd194 side1 cb53 side2) (con cb53 side2 sd194 side1) (ext l175 sd193 side2) (con sd193 side2 cb53 side2) (con cb53 side2 sd193 side2) (con sd193 side2 sd194 side1) (con sd194 side1 sd193 side2) (ext l176 sd180 side2) (ext l176 sd193 side1) (con sd180 side2 sd193 side1) (con sd193 side1 sd180 side2) (ext l177 sd195 side1) (ext l177 sd194 side2) (con sd195 side1 sd194 side2) (con sd194 side2 sd195 side1) (ext l178 sd196 side2) (ext l178 cb54 side2) (con sd196 side2 cb54 side2) (con cb54 side2 sd196 side2) (ext l179 sd197 side1) (ext l179 sd196 side1) (con sd197 side1 sd196 side1) (con sd196 side1 sd197 side1) (ext l179 sd62 side2) (con sd62 side2 sd196 side1) (con sd196 side1 sd62 side2) (con sd62 side2 sd197 side1) (con sd197 side1 sd62 side2) (ext l180 sd198 side1) (ext l180 cb55 side2) (con sd198 side1 cb55 side2) (con cb55 side2 sd198 side1) (ext l181 sd200 side1) (ext l181 sd198 side2) (con sd200 side1 sd198 side2) (con sd198 side2 sd200 side1) (ext l181 sd199 side1) (con sd199 side1 sd198 side2) (con sd198 side2 sd199 side1) (con sd199 side1 sd200 side1) (con sd200 side1 sd199 side1) (ext l182 sd201 side2) (ext l182 sd200 side2) (con sd201 side2 sd200 side2) (con sd200 side2 sd201 side2) (ext l183 sd204 side2) (ext l183 cb56 side2) (con sd204 side2 cb56 side2) (con cb56 side2 sd204 side2) (ext l183 sd202 side2) (con sd202 side2 cb56 side2) (con cb56 side2 sd202 side2) (con sd202 side2 sd204 side2) (con sd204 side2 sd202 side2) (ext l184 sd203 side2) (ext l184 sd202 side1) (con sd203 side2 sd202 side1) (con sd202 side1 sd203 side2) (ext l185 sd199 side2) (ext l185 sd204 side1) (con sd199 side2 sd204 side1) (con sd204 side1 sd199 side2) (ext l186 sd205 side1) (ext l186 cb57 side2) (con sd205 side1 cb57 side2) (con cb57 side2 sd205 side1) (ext l186 sd130 side2) (con sd130 side2 cb57 side2) (con cb57 side2 sd130 side2) (con sd130 side2 sd205 side1) (con sd205 side1 sd130 side2) (ext l187 sd206 side2) (ext l187 sd205 side2) (con sd206 side2 sd205 side2) (con sd205 side2 sd206 side2) (ext l188 sd197 side2) (ext l188 sd206 side1) (con sd197 side2 sd206 side1) (con sd206 side1 sd197 side2) (ext l189 sd207 side1) (ext l189 cb58 side2) (con sd207 side1 cb58 side2) (con cb58 side2 sd207 side1) (ext l190 sd43 side1) (ext l190 sd207 side2) (con sd43 side1 sd207 side2) (con sd207 side2 sd43 side1) (ext l191 sd208 side1) (ext l191 cb59 side2) (con sd208 side1 cb59 side2) (con cb59 side2 sd208 side1) (ext l192 sd209 side1) (ext l192 sd208 side2) (con sd209 side1 sd208 side2) (con sd208 side2 sd209 side1) (ext l192 sd146 side2) (con sd146 side2 sd208 side2) (con sd208 side2 sd146 side2) (con sd146 side2 sd209 side1) (con sd209 side1 sd146 side2) (ext l193 sd210 side1) (ext l193 cb60 side2) (con sd210 side1 cb60 side2) (con cb60 side2 sd210 side1) (ext l193 sd192 side1) (con sd192 side1 cb60 side2) (con cb60 side2 sd192 side1) (con sd192 side1 sd210 side1) (con sd210 side1 sd192 side1) (ext l194 sd211 side1) (ext l194 sd210 side2) (con sd211 side1 sd210 side2) (con sd210 side2 sd211 side1) (ext l195 sd212 side2) (ext l195 sd211 side2) (con sd212 side2 sd211 side2) (con sd211 side2 sd212 side2) (ext l196 sd213 side2) (ext l196 sd212 side1) (con sd213 side2 sd212 side1) (con sd212 side1 sd213 side2) (ext l196 sd242 side2) (con sd242 side2 sd212 side1) (con sd212 side1 sd242 side2) (con sd242 side2 sd213 side2) (con sd213 side2 sd242 side2) (ext l197 sd175 side2) (ext l197 cb61 side2) (con sd175 side2 cb61 side2) (con cb61 side2 sd175 side2) (ext l197 sd214 side2) (con sd214 side2 cb61 side2) (con cb61 side2 sd214 side2) (con sd214 side2 sd175 side2) (con sd175 side2 sd214 side2) (ext l198 sd201 side1) (ext l198 sd214 side1) (con sd201 side1 sd214 side1) (con sd214 side1 sd201 side1) (ext l199 sd215 side2) (ext l199 cb62 side2) (con sd215 side2 cb62 side2) (con cb62 side2 sd215 side2) (ext l200 sd216 side2) (ext l200 sd215 side1) (con sd216 side2 sd215 side1) (con sd215 side1 sd216 side2) (ext l200 sd39 side1) (con sd39 side1 sd215 side1) (con sd215 side1 sd39 side1) (con sd39 side1 sd216 side2) (con sd216 side2 sd39 side1) (ext l201 sd160 side2) (ext l201 sd216 side1) (con sd160 side2 sd216 side1) (con sd216 side1 sd160 side2) (ext l201 sd85 side1) (con sd85 side1 sd216 side1) (con sd216 side1 sd85 side1) (con sd85 side1 sd160 side2) (con sd160 side2 sd85 side1) (ext l202 sd217 side2) (ext l202 cb63 side2) (con sd217 side2 cb63 side2) (con cb63 side2 sd217 side2) (ext l203 sd220 side1) (ext l203 sd217 side1) (con sd220 side1 sd217 side1) (con sd217 side1 sd220 side1) (ext l203 sd218 side1) (con sd218 side1 sd217 side1) (con sd217 side1 sd218 side1) (con sd218 side1 sd220 side1) (con sd220 side1 sd218 side1) (ext l203 sd29 side2) (con sd29 side2 sd217 side1) (con sd217 side1 sd29 side2) (con sd29 side2 sd220 side1) (con sd220 side1 sd29 side2) (con sd29 side2 sd218 side1) (con sd218 side1 sd29 side2) (ext l204 sd219 side2) (ext l204 sd218 side2) (con sd219 side2 sd218 side2) (con sd218 side2 sd219 side2) (ext l204 sd68 side1) (con sd68 side1 sd218 side2) (con sd218 side2 sd68 side1) (con sd68 side1 sd219 side2) (con sd219 side2 sd68 side1) (ext l205 sd221 side1) (ext l205 cb64 side2) (con sd221 side1 cb64 side2) (con cb64 side2 sd221 side1) (ext l206 sd223 side2) (ext l206 sd221 side2) (con sd223 side2 sd221 side2) (con sd221 side2 sd223 side2) (ext l206 sd222 side1) (con sd222 side1 sd221 side2) (con sd221 side2 sd222 side1) (con sd222 side1 sd223 side2) (con sd223 side2 sd222 side1) (ext l207 sd195 side2) (ext l207 sd222 side2) (con sd195 side2 sd222 side2) (con sd222 side2 sd195 side2) (ext l208 sd224 side2) (ext l208 cb65 side2) (con sd224 side2 cb65 side2) (con cb65 side2 sd224 side2) (ext l209 sd72 side2) (ext l209 sd224 side1) (con sd72 side2 sd224 side1) (con sd224 side1 sd72 side2) (ext l210 sd203 side1) (ext l210 cb66 side2) (con sd203 side1 cb66 side2) (con cb66 side2 sd203 side1) (ext l210 sd225 side1) (con sd225 side1 cb66 side2) (con cb66 side2 sd225 side1) (con sd225 side1 sd203 side1) (con sd203 side1 sd225 side1) (ext l211 sd226 side1) (ext l211 cb67 side2) (con sd226 side1 cb67 side2) (con cb67 side2 sd226 side1) (ext l212 sd80 side2) (ext l212 sd226 side2) (con sd80 side2 sd226 side2) (con sd226 side2 sd80 side2) (ext l213 sd228 side1) (ext l213 cb68 side2) (con sd228 side1 cb68 side2) (con cb68 side2 sd228 side1) (ext l213 sd227 side1) (con sd227 side1 cb68 side2) (con cb68 side2 sd227 side1) (con sd227 side1 sd228 side1) (con sd228 side1 sd227 side1) (ext l214 sd26 side2) (ext l214 sd227 side2) (con sd26 side2 sd227 side2) (con sd227 side2 sd26 side2) (ext l215 sd229 side1) (ext l215 sd228 side2) (con sd229 side1 sd228 side2) (con sd228 side2 sd229 side1) (ext l216 sd232 side2) (ext l216 sd229 side2) (con sd232 side2 sd229 side2) (con sd229 side2 sd232 side2) (ext l216 sd230 side2) (con sd230 side2 sd229 side2) (con sd229 side2 sd230 side2) (con sd230 side2 sd232 side2) (con sd232 side2 sd230 side2) (ext l217 sd231 side1) (ext l217 sd230 side1) (con sd231 side1 sd230 side1) (con sd230 side1 sd231 side1) (ext l218 sd233 side1) (ext l218 cb69 side2) (con sd233 side1 cb69 side2) (con cb69 side2 sd233 side1) (ext l219 sd126 side1) (ext l219 sd233 side2) (con sd126 side1 sd233 side2) (con sd233 side2 sd126 side1) (ext l220 sd234 side2) (ext l220 cb70 side2) (con sd234 side2 cb70 side2) (con cb70 side2 sd234 side2) (ext l221 sd65 side2) (ext l221 sd234 side1) (con sd65 side2 sd234 side1) (con sd234 side1 sd65 side2) (ext l222 sd235 side1) (ext l222 cb71 side2) (con sd235 side1 cb71 side2) (con cb71 side2 sd235 side1) (ext l222 sd41 side2) (con sd41 side2 cb71 side2) (con cb71 side2 sd41 side2) (con sd41 side2 sd235 side1) (con sd235 side1 sd41 side2) (ext l223 sd237 side2) (ext l223 cb72 side2) (con sd237 side2 cb72 side2) (con cb72 side2 sd237 side2) (ext l223 sd236 side2) (con sd236 side2 cb72 side2) (con cb72 side2 sd236 side2) (con sd236 side2 sd237 side2) (con sd237 side2 sd236 side2) (ext l224 sd189 side2) (ext l224 sd236 side1) (con sd189 side2 sd236 side1) (con sd236 side1 sd189 side2) (ext l225 sd238 side2) (ext l225 cb73 side2) (con sd238 side2 cb73 side2) (con cb73 side2 sd238 side2) (ext l226 sd56 side1) (ext l226 sd238 side1) (con sd56 side1 sd238 side1) (con sd238 side1 sd56 side1) (ext l227 sd239 side2) (ext l227 cb74 side2) (con sd239 side2 cb74 side2) (con cb74 side2 sd239 side2) (ext l228 sd1 side1) (ext l228 sd239 side1) (con sd1 side1 sd239 side1) (con sd239 side1 sd1 side1) (ext l228 sd240 side2) (con sd240 side2 sd239 side1) (con sd239 side1 sd240 side2) (con sd240 side2 sd1 side1) (con sd1 side1 sd240 side2) (ext l229 sd120 side1) (ext l229 sd240 side1) (con sd120 side1 sd240 side1) (con sd240 side1 sd120 side1) (ext l229 sd241 side2) (con sd241 side2 sd240 side1) (con sd240 side1 sd241 side2) (con sd241 side2 sd120 side1) (con sd120 side1 sd241 side2) (ext l230 sd242 side1) (ext l230 sd241 side1) (con sd242 side1 sd241 side1) (con sd241 side1 sd242 side1) (ext l231 sd244 side1) (ext l231 cb75 side2) (con sd244 side1 cb75 side2) (con cb75 side2 sd244 side1) (ext l231 sd243 side1) (con sd243 side1 cb75 side2) (con cb75 side2 sd243 side1) (con sd243 side1 sd244 side1) (con sd244 side1 sd243 side1) (ext l232 sd10 side1) (ext l232 sd244 side2) (con sd10 side1 sd244 side2) (con sd244 side2 sd10 side1) (ext l232 sd245 side1) (con sd245 side1 sd244 side2) (con sd244 side2 sd245 side1) (con sd245 side1 sd10 side1) (con sd10 side1 sd245 side1) (ext l233 sd154 side1) (ext l233 cb76 side2) (con sd154 side1 cb76 side2) (con cb76 side2 sd154 side1) (ext l233 sd246 side2) (con sd246 side2 cb76 side2) (con cb76 side2 sd246 side2) (con sd246 side2 sd154 side1) (con sd154 side1 sd246 side2) (ext l234 sd247 side2) (ext l234 sd246 side1) (con sd247 side2 sd246 side1) (con sd246 side1 sd247 side2) (ext l235 sd235 side2) (ext l235 sd247 side1) (con sd235 side2 sd247 side1) (con sd247 side1 sd235 side2) (ext l235 sd97 side1) (con sd97 side1 sd247 side1) (con sd247 side1 sd97 side1) (con sd97 side1 sd235 side2) (con sd235 side2 sd97 side1) (ext l236 sd248 side2) (ext l236 cb77 side2) (con sd248 side2 cb77 side2) (con cb77 side2 sd248 side2) (ext l237 sd249 side1) (ext l237 sd248 side1) (con sd249 side1 sd248 side1) (con sd248 side1 sd249 side1) (ext l238 sd172 side2) (ext l238 sd249 side2) (con sd172 side2 sd249 side2) (con sd249 side2 sd172 side2) (ext l238 sd250 side1) (con sd250 side1 sd249 side2) (con sd249 side2 sd250 side1) (con sd250 side1 sd172 side2) (con sd172 side2 sd250 side1) (ext l239 sd150 side1) (ext l239 sd250 side2) (con sd150 side1 sd250 side2) (con sd250 side2 sd150 side1) (ext l240 sd251 side2) (ext l240 cb78 side2) (con sd251 side2 cb78 side2) (con cb78 side2 sd251 side2) (ext l241 sd252 side1) (ext l241 sd251 side1) (con sd252 side1 sd251 side1) (con sd251 side1 sd252 side1) (ext l242 sd116 side1) (ext l242 sd252 side2) (con sd116 side1 sd252 side2) (con sd252 side2 sd116 side1) (ext l243 sd253 side1) (ext l243 cb79 side2) (con sd253 side1 cb79 side2) (con cb79 side2 sd253 side1) (ext l243 sd170 side2) (con sd170 side2 cb79 side2) (con cb79 side2 sd170 side2) (con sd170 side2 sd253 side1) (con sd253 side1 sd170 side2) (ext l244 sd256 side1) (ext l244 cb80 side2) (con sd256 side1 cb80 side2) (con cb80 side2 sd256 side1) (ext l244 sd254 side2) (con sd254 side2 cb80 side2) (con cb80 side2 sd254 side2) (con sd254 side2 sd256 side1) (con sd256 side1 sd254 side2) (ext l245 sd255 side2) (ext l245 sd254 side1) (con sd255 side2 sd254 side1) (con sd254 side1 sd255 side2) (ext l246 sd261 side2) (ext l246 sd256 side2) (con sd261 side2 sd256 side2) (con sd256 side2 sd261 side2) (ext l246 sd257 side1) (con sd257 side1 sd256 side2) (con sd256 side2 sd257 side1) (con sd257 side1 sd261 side2) (con sd261 side2 sd257 side1) (ext l247 sd258 side2) (ext l247 sd257 side2) (con sd258 side2 sd257 side2) (con sd257 side2 sd258 side2) (ext l248 sd259 side2) (ext l248 sd258 side1) (con sd259 side2 sd258 side1) (con sd258 side1 sd259 side2) (ext l249 sd260 side1) (ext l249 sd259 side1) (con sd260 side1 sd259 side1) (con sd259 side1 sd260 side1) (ext l250 sd99 side1) (ext l250 sd260 side2) (con sd99 side1 sd260 side2) (con sd260 side2 sd99 side1) (ext l251 sd121 side1) (ext l251 sd261 side1) (con sd121 side1 sd261 side1) (con sd261 side1 sd121 side1) (ext l252 earth side2) (ext l252 sd237 side1) (con earth side2 sd237 side1) (con sd237 side1 earth side2) (ext l253 earth side2) (ext l253 sd223 side1) (con earth side2 sd223 side1) (con sd223 side1 earth side2) (ext l254 earth side2) (ext l254 sd179 side2) (con earth side2 sd179 side2) (con sd179 side2 earth side2) (ext l255 earth side2) (ext l255 sd157 side2) (con earth side2 sd157 side2) (con sd157 side2 earth side2) (ext l256 earth side2) (ext l256 sd225 side2) (con earth side2 sd225 side2) (con sd225 side2 earth side2) (ext l257 earth side2) (ext l257 sd253 side2) (con earth side2 sd253 side2) (con sd253 side2 earth side2) (ext l258 earth side2) (ext l258 sd255 side1) (con earth side2 sd255 side1) (con sd255 side1 earth side2) ) (:goal (and (forall (?b - DEVICE) (not (affected ?b))) (fed l4) (fed l5) (fed l6) (fed l7) (fed l9) (fed l10) (fed l11) (fed l13) (fed l15) (fed l16) (fed l17) (fed l20) (fed l23) (fed l24) (fed l28) (fed l29) (fed l30) (fed l31) (fed l32) (fed l33) (fed l34) (fed l35) (fed l36) (fed l37) (fed l38) (fed l39) (fed l40) (fed l41) (fed l43) (fed l44) (fed l45) (fed l46) (fed l47) (fed l48) (fed l50) (fed l51) (fed l54) (fed l56) (fed l58) (fed l59) (fed l60) (fed l61) (fed l62) (fed l64) (fed l65) (fed l66) (fed l67) (fed l68) (fed l69) (fed l75) (fed l76) (fed l80) (fed l81) (fed l82) (fed l83) (fed l84) (fed l85) (fed l86) (fed l87) (fed l88) (fed l89) (fed l90) (fed l91) (fed l92) (fed l93) (fed l100) (fed l101) (fed l102) (fed l107) (fed l108) (fed l109) (fed l110) (fed l111) (fed l112) (fed l113) (fed l114) (fed l116) (fed l118) (fed l119) (fed l120) (fed l121) (fed l122) (fed l124) (fed l125) (fed l127) (fed l128) (fed l132) (fed l135) (fed l141) (fed l142) (fed l143) (fed l144) (fed l145) (fed l152) (fed l155) (fed l156) (fed l158) (fed l159) (fed l160) (fed l161) (fed l162) (fed l163) (fed l164) (fed l165) (fed l166) (fed l168) (fed l169) (fed l170) (fed l174) (fed l175) (fed l176) (fed l177) (fed l178) (fed l182) (fed l183) (fed l185) (fed l186) (fed l189) (fed l191) (fed l192) (fed l194) (fed l195) (fed l196) (fed l197) (fed l198) (fed l199) (fed l200) (fed l204) (fed l205) (fed l206) (fed l207) (fed l208) (fed l209) (fed l210) (fed l211) (fed l212) (fed l213) (fed l214) (fed l215) (fed l217) (fed l218) (fed l219) (fed l222) (fed l223) (fed l225) (fed l231) (fed l232) (fed l233) (fed l234) (fed l235) (fed l236) (fed l237) (fed l238) (fed l239) (fed l240) (fed l244) (fed l245) (fed l246) (fed l247) (fed l248) (fed l249) (fed l250) (fed l251) (fed l252) (fed l253) (fed l254) (fed l255) (fed l256) ) ) )