(define (problem psr-s187-n40-l3-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 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 - 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 - 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) (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 sd1) (closed sd2) (closed sd3) (closed sd4) (closed sd6) (closed sd7) (closed sd8) (closed sd11) (closed sd12) (closed sd14) (closed sd16) (closed sd17) (closed sd18) (closed sd19) (closed sd21) (closed sd25) (closed sd26) (closed sd27) (closed sd28) (closed sd29) (closed sd31) (closed sd33) (closed sd34) (closed sd35) (closed sd37) (closed sd38) (closed sd39) (closed sd40) (closed sd41) (closed sd42) (closed sd44) (closed sd45) (closed sd49) (closed sd51) (closed sd52) (closed sd54) (closed sd55) (closed sd56) (closed sd58) (closed sd59) (closed sd60) (closed sd61) (closed sd62) (closed sd63) (closed sd65) (closed sd66) (closed sd68) (closed sd70) (closed sd72) (closed sd73) (closed sd74) (closed sd75) (closed sd76) (closed sd78) (closed sd80) (closed sd82) (closed sd83) (closed sd85) (closed sd86) (closed sd87) (closed sd88) (closed sd90) (closed sd91) (closed sd92) (closed sd95) (closed sd96) (closed sd98) (closed sd99) (closed sd100) (closed sd104) (closed sd105) (closed sd106) (closed sd109) (closed sd112) (closed sd113) (closed sd115) (closed sd116) (closed sd117) (closed sd119) (closed sd122) (closed sd123) (closed sd124) (closed sd126) (closed sd129) (closed sd130) (closed sd131) (closed sd133) (closed sd135) (closed sd136) (closed sd137) (closed sd138) (closed sd139) (closed sd140) (closed sd141) (closed sd142) (closed sd143) (closed sd144) (closed sd145) (closed sd146) (closed sd147) (closed sd148) (closed sd149) (closed sd150) (closed sd151) (closed sd153) (closed sd154) (closed sd155) (closed sd156) (closed sd158) (closed sd159) (closed sd160) (closed sd161) (closed sd162) (closed sd163) (closed sd164) (closed sd165) (closed sd166) (closed sd167) (closed sd168) (closed sd169) (closed sd170) (closed sd171) (closed sd173) (closed sd174) (faulty l12) (faulty l17) (faulty l19) (faulty l21) (faulty l27) (faulty l29) (faulty l39) (faulty l41) (faulty l45) (faulty l47) (faulty l48) (faulty l49) (faulty l50) (faulty l51) (faulty l53) (faulty l54) (faulty l65) (faulty l66) (faulty l70) (faulty l75) (faulty l78) (faulty l79) (faulty l81) (faulty l83) (faulty l88) (faulty l92) (faulty l93) (faulty l97) (faulty l104) (faulty l105) (faulty l107) (faulty l108) (faulty l110) (faulty l111) (faulty l120) (faulty l121) (faulty l123) (faulty l125) (faulty l128) (faulty l132) (faulty l134) (faulty l140) (faulty l142) (faulty l143) (faulty l145) (faulty l148) (faulty l149) (faulty l152) (faulty l160) (ext l1 sd1 side1) (ext l1 cb1 side2) (con sd1 side1 cb1 side2) (con cb1 side2 sd1 side1) (ext l2 sd6 side1) (ext l2 sd1 side2) (con sd6 side1 sd1 side2) (con sd1 side2 sd6 side1) (ext l2 sd2 side2) (con sd2 side2 sd1 side2) (con sd1 side2 sd2 side2) (con sd2 side2 sd6 side1) (con sd6 side1 sd2 side2) (ext l3 sd3 side2) (ext l3 sd2 side1) (con sd3 side2 sd2 side1) (con sd2 side1 sd3 side2) (ext l4 sd4 side2) (ext l4 sd3 side1) (con sd4 side2 sd3 side1) (con sd3 side1 sd4 side2) (ext l5 sd5 side2) (ext l5 sd4 side1) (con sd5 side2 sd4 side1) (con sd4 side1 sd5 side2) (ext l6 sd7 side2) (ext l6 sd6 side2) (con sd7 side2 sd6 side2) (con sd6 side2 sd7 side2) (ext l7 sd8 side2) (ext l7 sd7 side1) (con sd8 side2 sd7 side1) (con sd7 side1 sd8 side2) (ext l8 sd10 side2) (ext l8 sd8 side1) (con sd10 side2 sd8 side1) (con sd8 side1 sd10 side2) (ext l8 sd9 side1) (con sd9 side1 sd8 side1) (con sd8 side1 sd9 side1) (con sd9 side1 sd10 side2) (con sd10 side2 sd9 side1) (ext l9 sd12 side2) (ext l9 cb2 side2) (con sd12 side2 cb2 side2) (con cb2 side2 sd12 side2) (ext l9 sd11 side1) (con sd11 side1 cb2 side2) (con cb2 side2 sd11 side1) (con sd11 side1 sd12 side2) (con sd12 side2 sd11 side1) (ext l10 sd13 side2) (ext l10 sd12 side1) (con sd13 side2 sd12 side1) (con sd12 side1 sd13 side2) (ext l11 sd14 side1) (ext l11 cb3 side2) (con sd14 side1 cb3 side2) (con cb3 side2 sd14 side1) (ext l12 sd157 side2) (ext l12 sd14 side2) (con sd157 side2 sd14 side2) (con sd14 side2 sd157 side2) (ext l12 sd15 side1) (con sd15 side1 sd14 side2) (con sd14 side2 sd15 side1) (con sd15 side1 sd157 side2) (con sd157 side2 sd15 side1) (ext l13 sd16 side2) (ext l13 cb4 side2) (con sd16 side2 cb4 side2) (con cb4 side2 sd16 side2) (ext l14 sd17 side2) (ext l14 sd16 side1) (con sd17 side2 sd16 side1) (con sd16 side1 sd17 side2) (ext l15 sd19 side2) (ext l15 sd17 side1) (con sd19 side2 sd17 side1) (con sd17 side1 sd19 side2) (ext l15 sd18 side1) (con sd18 side1 sd17 side1) (con sd17 side1 sd18 side1) (con sd18 side1 sd19 side2) (con sd19 side2 sd18 side1) (ext l16 sd20 side2) (ext l16 sd19 side1) (con sd20 side2 sd19 side1) (con sd19 side1 sd20 side2) (ext l17 sd21 side2) (ext l17 cb5 side2) (con sd21 side2 cb5 side2) (con cb5 side2 sd21 side2) (ext l18 sd23 side1) (ext l18 sd21 side1) (con sd23 side1 sd21 side1) (con sd21 side1 sd23 side1) (ext l18 sd22 side1) (con sd22 side1 sd21 side1) (con sd21 side1 sd22 side1) (con sd22 side1 sd23 side1) (con sd23 side1 sd22 side1) (ext l19 sd25 side1) (ext l19 cb6 side2) (con sd25 side1 cb6 side2) (con cb6 side2 sd25 side1) (ext l19 sd24 side1) (con sd24 side1 cb6 side2) (con cb6 side2 sd24 side1) (con sd24 side1 sd25 side1) (con sd25 side1 sd24 side1) (ext l20 sd26 side1) (ext l20 sd25 side2) (con sd26 side1 sd25 side2) (con sd25 side2 sd26 side1) (ext l21 sd29 side2) (ext l21 sd26 side2) (con sd29 side2 sd26 side2) (con sd26 side2 sd29 side2) (ext l21 sd27 side1) (con sd27 side1 sd26 side2) (con sd26 side2 sd27 side1) (con sd27 side1 sd29 side2) (con sd29 side2 sd27 side1) (ext l22 sd28 side2) (ext l22 sd27 side2) (con sd28 side2 sd27 side2) (con sd27 side2 sd28 side2) (ext l23 sd30 side1) (ext l23 sd29 side1) (con sd30 side1 sd29 side1) (con sd29 side1 sd30 side1) (ext l24 sd31 side2) (ext l24 cb7 side2) (con sd31 side2 cb7 side2) (con cb7 side2 sd31 side2) (ext l25 sd35 side1) (ext l25 sd31 side1) (con sd35 side1 sd31 side1) (con sd31 side1 sd35 side1) (ext l25 sd33 side2) (con sd33 side2 sd31 side1) (con sd31 side1 sd33 side2) (con sd33 side2 sd35 side1) (con sd35 side1 sd33 side2) (ext l25 sd32 side1) (con sd32 side1 sd31 side1) (con sd31 side1 sd32 side1) (con sd32 side1 sd35 side1) (con sd35 side1 sd32 side1) (con sd32 side1 sd33 side2) (con sd33 side2 sd32 side1) (ext l26 sd34 side2) (ext l26 sd33 side1) (con sd34 side2 sd33 side1) (con sd33 side1 sd34 side2) (ext l27 sd36 side2) (ext l27 sd35 side2) (con sd36 side2 sd35 side2) (con sd35 side2 sd36 side2) (ext l28 sd22 side2) (ext l28 cb8 side2) (con sd22 side2 cb8 side2) (con cb8 side2 sd22 side2) (ext l28 sd37 side1) (con sd37 side1 cb8 side2) (con cb8 side2 sd37 side1) (con sd37 side1 sd22 side2) (con sd22 side2 sd37 side1) (ext l29 sd175 side2) (ext l29 sd37 side2) (con sd175 side2 sd37 side2) (con sd37 side2 sd175 side2) (ext l30 sd40 side1) (ext l30 cb9 side2) (con sd40 side1 cb9 side2) (con cb9 side2 sd40 side1) (ext l30 sd38 side1) (con sd38 side1 cb9 side2) (con cb9 side2 sd38 side1) (con sd38 side1 sd40 side1) (con sd40 side1 sd38 side1) (ext l31 sd39 side1) (ext l31 sd38 side2) (con sd39 side1 sd38 side2) (con sd38 side2 sd39 side1) (ext l32 sd41 side1) (ext l32 sd40 side2) (con sd41 side1 sd40 side2) (con sd40 side2 sd41 side1) (ext l33 sd42 side2) (ext l33 sd41 side2) (con sd42 side2 sd41 side2) (con sd41 side2 sd42 side2) (ext l34 sd43 side1) (ext l34 sd42 side1) (con sd43 side1 sd42 side1) (con sd42 side1 sd43 side1) (ext l35 sd47 side2) (ext l35 cb10 side2) (con sd47 side2 cb10 side2) (con cb10 side2 sd47 side2) (ext l35 sd44 side1) (con sd44 side1 cb10 side2) (con cb10 side2 sd44 side1) (con sd44 side1 sd47 side2) (con sd47 side2 sd44 side1) (ext l36 sd45 side1) (ext l36 sd44 side2) (con sd45 side1 sd44 side2) (con sd44 side2 sd45 side1) (ext l37 sd46 side2) (ext l37 sd45 side2) (con sd46 side2 sd45 side2) (con sd45 side2 sd46 side2) (ext l38 sd51 side1) (ext l38 cb11 side2) (con sd51 side1 cb11 side2) (con cb11 side2 sd51 side1) (ext l38 sd49 side2) (con sd49 side2 cb11 side2) (con cb11 side2 sd49 side2) (con sd49 side2 sd51 side1) (con sd51 side1 sd49 side2) (ext l38 sd48 side2) (con sd48 side2 cb11 side2) (con cb11 side2 sd48 side2) (con sd48 side2 sd51 side1) (con sd51 side1 sd48 side2) (con sd48 side2 sd49 side2) (con sd49 side2 sd48 side2) (ext l39 sd50 side2) (ext l39 sd49 side1) (con sd50 side2 sd49 side1) (con sd49 side1 sd50 side2) (ext l40 sd52 side2) (ext l40 sd51 side2) (con sd52 side2 sd51 side2) (con sd51 side2 sd52 side2) (ext l41 sd103 side2) (ext l41 sd52 side1) (con sd103 side2 sd52 side1) (con sd52 side1 sd103 side2) (ext l42 sd58 side2) (ext l42 cb12 side2) (con sd58 side2 cb12 side2) (con cb12 side2 sd58 side2) (ext l42 sd54 side1) (con sd54 side1 cb12 side2) (con cb12 side2 sd54 side1) (con sd54 side1 sd58 side2) (con sd58 side2 sd54 side1) (ext l42 sd53 side1) (con sd53 side1 cb12 side2) (con cb12 side2 sd53 side1) (con sd53 side1 sd58 side2) (con sd58 side2 sd53 side1) (con sd53 side1 sd54 side1) (con sd54 side1 sd53 side1) (ext l43 sd57 side1) (ext l43 sd54 side2) (con sd57 side1 sd54 side2) (con sd54 side2 sd57 side1) (ext l43 sd55 side1) (con sd55 side1 sd54 side2) (con sd54 side2 sd55 side1) (con sd55 side1 sd57 side1) (con sd57 side1 sd55 side1) (ext l44 sd56 side2) (ext l44 sd55 side2) (con sd56 side2 sd55 side2) (con sd55 side2 sd56 side2) (ext l45 sd60 side1) (ext l45 sd58 side1) (con sd60 side1 sd58 side1) (con sd58 side1 sd60 side1) (ext l45 sd59 side1) (con sd59 side1 sd58 side1) (con sd58 side1 sd59 side1) (con sd59 side1 sd60 side1) (con sd60 side1 sd59 side1) (ext l46 sd9 side2) (ext l46 sd59 side2) (con sd9 side2 sd59 side2) (con sd59 side2 sd9 side2) (ext l47 sd61 side2) (ext l47 cb13 side2) (con sd61 side2 cb13 side2) (con cb13 side2 sd61 side2) (ext l48 sd62 side2) (ext l48 sd61 side1) (con sd62 side2 sd61 side1) (con sd61 side1 sd62 side2) (ext l49 sd63 side1) (ext l49 sd62 side1) (con sd63 side1 sd62 side1) (con sd62 side1 sd63 side1) (ext l49 sd30 side2) (con sd30 side2 sd62 side1) (con sd62 side1 sd30 side2) (con sd30 side2 sd63 side1) (con sd63 side1 sd30 side2) (ext l50 sd65 side1) (ext l50 sd63 side2) (con sd65 side1 sd63 side2) (con sd63 side2 sd65 side1) (ext l50 sd64 side1) (con sd64 side1 sd63 side2) (con sd63 side2 sd64 side1) (con sd64 side1 sd65 side1) (con sd65 side1 sd64 side1) (ext l50 sd32 side2) (con sd32 side2 sd63 side2) (con sd63 side2 sd32 side2) (con sd32 side2 sd65 side1) (con sd65 side1 sd32 side2) (con sd32 side2 sd64 side1) (con sd64 side1 sd32 side2) (ext l51 sd57 side2) (ext l51 sd65 side2) (con sd57 side2 sd65 side2) (con sd65 side2 sd57 side2) (ext l52 sd71 side1) (ext l52 cb14 side2) (con sd71 side1 cb14 side2) (con cb14 side2 sd71 side1) (ext l52 sd66 side1) (con sd66 side1 cb14 side2) (con cb14 side2 sd66 side1) (con sd66 side1 sd71 side1) (con sd71 side1 sd66 side1) (ext l53 sd68 side1) (ext l53 sd66 side2) (con sd68 side1 sd66 side2) (con sd66 side2 sd68 side1) (ext l53 sd67 side1) (con sd67 side1 sd66 side2) (con sd66 side2 sd67 side1) (con sd67 side1 sd68 side1) (con sd68 side1 sd67 side1) (ext l54 sd70 side2) (ext l54 sd68 side2) (con sd70 side2 sd68 side2) (con sd68 side2 sd70 side2) (ext l54 sd69 side1) (con sd69 side1 sd68 side2) (con sd68 side2 sd69 side1) (con sd69 side1 sd70 side2) (con sd70 side2 sd69 side1) (ext l55 sd78 side2) (ext l55 cb15 side2) (con sd78 side2 cb15 side2) (con cb15 side2 sd78 side2) (ext l55 sd72 side1) (con sd72 side1 cb15 side2) (con cb15 side2 sd72 side1) (con sd72 side1 sd78 side2) (con sd78 side2 sd72 side1) (ext l56 sd76 side1) (ext l56 sd72 side2) (con sd76 side1 sd72 side2) (con sd72 side2 sd76 side1) (ext l56 sd73 side1) (con sd73 side1 sd72 side2) (con sd72 side2 sd73 side1) (con sd73 side1 sd76 side1) (con sd76 side1 sd73 side1) (ext l57 sd75 side2) (ext l57 sd73 side2) (con sd75 side2 sd73 side2) (con sd73 side2 sd75 side2) (ext l57 sd74 side2) (con sd74 side2 sd73 side2) (con sd73 side2 sd74 side2) (con sd74 side2 sd75 side2) (con sd75 side2 sd74 side2) (ext l58 sd15 side2) (ext l58 sd74 side1) (con sd15 side2 sd74 side1) (con sd74 side1 sd15 side2) (ext l59 sd77 side2) (ext l59 sd76 side2) (con sd77 side2 sd76 side2) (con sd76 side2 sd77 side2) (ext l60 sd79 side1) (ext l60 sd78 side1) (con sd79 side1 sd78 side1) (con sd78 side1 sd79 side1) (ext l61 sd85 side1) (ext l61 cb16 side2) (con sd85 side1 cb16 side2) (con cb16 side2 sd85 side1) (ext l61 sd67 side2) (con sd67 side2 cb16 side2) (con cb16 side2 sd67 side2) (con sd67 side2 sd85 side1) (con sd85 side1 sd67 side2) (ext l61 sd80 side2) (con sd80 side2 cb16 side2) (con cb16 side2 sd80 side2) (con sd80 side2 sd85 side1) (con sd85 side1 sd80 side2) (con sd80 side2 sd67 side2) (con sd67 side2 sd80 side2) (ext l62 sd82 side1) (ext l62 sd80 side1) (con sd82 side1 sd80 side1) (con sd80 side1 sd82 side1) (ext l62 sd81 side2) (con sd81 side2 sd80 side1) (con sd80 side1 sd81 side2) (con sd81 side2 sd82 side1) (con sd82 side1 sd81 side2) (ext l63 sd84 side1) (ext l63 sd82 side2) (con sd84 side1 sd82 side2) (con sd82 side2 sd84 side1) (ext l63 sd83 side1) (con sd83 side1 sd82 side2) (con sd82 side2 sd83 side1) (con sd83 side1 sd84 side1) (con sd84 side1 sd83 side1) (ext l64 sd86 side1) (ext l64 sd85 side2) (con sd86 side1 sd85 side2) (con sd85 side2 sd86 side1) (ext l65 sd93 side1) (ext l65 cb17 side2) (con sd93 side1 cb17 side2) (con cb17 side2 sd93 side1) (ext l65 sd92 side2) (con sd92 side2 cb17 side2) (con cb17 side2 sd92 side2) (con sd92 side2 sd93 side1) (con sd93 side1 sd92 side2) (ext l65 sd90 side1) (con sd90 side1 cb17 side2) (con cb17 side2 sd90 side1) (con sd90 side1 sd93 side1) (con sd93 side1 sd90 side1) (con sd90 side1 sd92 side2) (con sd92 side2 sd90 side1) (ext l65 sd87 side2) (con sd87 side2 cb17 side2) (con cb17 side2 sd87 side2) (con sd87 side2 sd93 side1) (con sd93 side1 sd87 side2) (con sd87 side2 sd92 side2) (con sd92 side2 sd87 side2) (con sd87 side2 sd90 side1) (con sd90 side1 sd87 side2) (ext l66 sd88 side1) (ext l66 sd87 side1) (con sd88 side1 sd87 side1) (con sd87 side1 sd88 side1) (ext l67 sd89 side2) (ext l67 sd88 side2) (con sd89 side2 sd88 side2) (con sd88 side2 sd89 side2) (ext l68 sd91 side2) (ext l68 sd90 side2) (con sd91 side2 sd90 side2) (con sd90 side2 sd91 side2) (ext l69 sd53 side2) (ext l69 sd91 side1) (con sd53 side2 sd91 side1) (con sd91 side1 sd53 side2) (ext l70 sd95 side1) (ext l70 cb18 side2) (con sd95 side1 cb18 side2) (con cb18 side2 sd95 side1) (ext l70 sd94 side2) (con sd94 side2 cb18 side2) (con cb18 side2 sd94 side2) (con sd94 side2 sd95 side1) (con sd95 side1 sd94 side2) (ext l71 sd23 side2) (ext l71 sd95 side2) (con sd23 side2 sd95 side2) (con sd95 side2 sd23 side2) (ext l72 sd96 side2) (ext l72 cb19 side2) (con sd96 side2 cb19 side2) (con cb19 side2 sd96 side2) (ext l73 sd98 side1) (ext l73 sd96 side1) (con sd98 side1 sd96 side1) (con sd96 side1 sd98 side1) (ext l73 sd97 side1) (con sd97 side1 sd96 side1) (con sd96 side1 sd97 side1) (con sd97 side1 sd98 side1) (con sd98 side1 sd97 side1) (ext l74 sd103 side1) (ext l74 sd98 side2) (con sd103 side1 sd98 side2) (con sd98 side2 sd103 side1) (ext l74 sd99 side2) (con sd99 side2 sd98 side2) (con sd98 side2 sd99 side2) (con sd99 side2 sd103 side1) (con sd103 side1 sd99 side2) (ext l75 sd102 side2) (ext l75 sd99 side1) (con sd102 side2 sd99 side1) (con sd99 side1 sd102 side2) (ext l75 sd100 side2) (con sd100 side2 sd99 side1) (con sd99 side1 sd100 side2) (con sd100 side2 sd102 side2) (con sd102 side2 sd100 side2) (ext l76 sd101 side2) (ext l76 sd100 side1) (con sd101 side2 sd100 side1) (con sd100 side1 sd101 side2) (ext l77 sd104 side2) (ext l77 cb20 side2) (con sd104 side2 cb20 side2) (con cb20 side2 sd104 side2) (ext l78 sd105 side2) (ext l78 sd104 side1) (con sd105 side2 sd104 side1) (con sd104 side1 sd105 side2) (ext l79 sd106 side1) (ext l79 sd105 side1) (con sd106 side1 sd105 side1) (con sd105 side1 sd106 side1) (ext l80 sd108 side1) (ext l80 sd106 side2) (con sd108 side1 sd106 side2) (con sd106 side2 sd108 side1) (ext l80 sd107 side2) (con sd107 side2 sd106 side2) (con sd106 side2 sd107 side2) (con sd107 side2 sd108 side1) (con sd108 side1 sd107 side2) (ext l81 sd111 side2) (ext l81 cb21 side2) (con sd111 side2 cb21 side2) (con cb21 side2 sd111 side2) (ext l81 sd109 side1) (con sd109 side1 cb21 side2) (con cb21 side2 sd109 side1) (con sd109 side1 sd111 side2) (con sd111 side2 sd109 side1) (ext l82 sd152 side1) (ext l82 sd109 side2) (con sd152 side1 sd109 side2) (con sd109 side2 sd152 side1) (ext l82 sd110 side1) (con sd110 side1 sd109 side2) (con sd109 side2 sd110 side1) (con sd110 side1 sd152 side1) (con sd152 side1 sd110 side1) (ext l83 sd94 side1) (ext l83 cb22 side2) (con sd94 side1 cb22 side2) (con cb22 side2 sd94 side1) (ext l83 sd112 side2) (con sd112 side2 cb22 side2) (con cb22 side2 sd112 side2) (con sd112 side2 sd94 side1) (con sd94 side1 sd112 side2) (ext l84 sd113 side2) (ext l84 sd112 side1) (con sd113 side2 sd112 side1) (con sd112 side1 sd113 side2) (ext l85 sd114 side1) (ext l85 sd113 side1) (con sd114 side1 sd113 side1) (con sd113 side1 sd114 side1) (ext l86 sd43 side2) (ext l86 cb23 side2) (con sd43 side2 cb23 side2) (con cb23 side2 sd43 side2) (ext l86 sd115 side2) (con sd115 side2 cb23 side2) (con cb23 side2 sd115 side2) (con sd115 side2 sd43 side2) (con sd43 side2 sd115 side2) (ext l87 sd50 side1) (ext l87 sd115 side1) (con sd50 side1 sd115 side1) (con sd115 side1 sd50 side1) (ext l88 sd116 side2) (ext l88 cb24 side2) (con sd116 side2 cb24 side2) (con cb24 side2 sd116 side2) (ext l89 sd121 side1) (ext l89 sd116 side1) (con sd121 side1 sd116 side1) (con sd116 side1 sd121 side1) (ext l89 sd117 side1) (con sd117 side1 sd116 side1) (con sd116 side1 sd117 side1) (con sd117 side1 sd121 side1) (con sd121 side1 sd117 side1) (ext l90 sd119 side1) (ext l90 sd117 side2) (con sd119 side1 sd117 side2) (con sd117 side2 sd119 side1) (ext l90 sd118 side2) (con sd118 side2 sd117 side2) (con sd117 side2 sd118 side2) (con sd118 side2 sd119 side1) (con sd119 side1 sd118 side2) (ext l91 sd120 side2) (ext l91 sd119 side2) (con sd120 side2 sd119 side2) (con sd119 side2 sd120 side2) (ext l91 sd5 side1) (con sd5 side1 sd119 side2) (con sd119 side2 sd5 side1) (con sd5 side1 sd120 side2) (con sd120 side2 sd5 side1) (ext l92 sd122 side2) (ext l92 cb25 side2) (con sd122 side2 cb25 side2) (con cb25 side2 sd122 side2) (ext l93 sd123 side1) (ext l93 sd122 side1) (con sd123 side1 sd122 side1) (con sd122 side1 sd123 side1) (ext l94 sd125 side1) (ext l94 sd123 side2) (con sd125 side1 sd123 side2) (con sd123 side2 sd125 side1) (ext l94 sd124 side1) (con sd124 side1 sd123 side2) (con sd123 side2 sd124 side1) (con sd124 side1 sd125 side1) (con sd125 side1 sd124 side1) (ext l95 sd110 side2) (ext l95 sd124 side2) (con sd110 side2 sd124 side2) (con sd124 side2 sd110 side2) (ext l96 sd126 side1) (ext l96 cb26 side2) (con sd126 side1 cb26 side2) (con cb26 side2 sd126 side1) (ext l97 sd128 side1) (ext l97 sd126 side2) (con sd128 side1 sd126 side2) (con sd126 side2 sd128 side1) (ext l97 sd127 side1) (con sd127 side1 sd126 side2) (con sd126 side2 sd127 side1) (con sd127 side1 sd128 side1) (con sd128 side1 sd127 side1) (ext l98 sd135 side1) (ext l98 cb27 side2) (con sd135 side1 cb27 side2) (con cb27 side2 sd135 side1) (ext l98 sd129 side2) (con sd129 side2 cb27 side2) (con cb27 side2 sd129 side2) (con sd129 side2 sd135 side1) (con sd135 side1 sd129 side2) (ext l99 sd130 side1) (ext l99 sd129 side1) (con sd130 side1 sd129 side1) (con sd129 side1 sd130 side1) (ext l100 sd133 side2) (ext l100 sd130 side2) (con sd133 side2 sd130 side2) (con sd130 side2 sd133 side2) (ext l100 sd131 side2) (con sd131 side2 sd130 side2) (con sd130 side2 sd131 side2) (con sd131 side2 sd133 side2) (con sd133 side2 sd131 side2) (ext l101 sd132 side1) (ext l101 sd131 side1) (con sd132 side1 sd131 side1) (con sd131 side1 sd132 side1) (ext l102 sd134 side1) (ext l102 sd133 side1) (con sd134 side1 sd133 side1) (con sd133 side1 sd134 side1) (ext l103 sd136 side2) (ext l103 sd135 side2) (con sd136 side2 sd135 side2) (con sd135 side2 sd136 side2) (ext l104 sd118 side1) (ext l104 sd136 side1) (con sd118 side1 sd136 side1) (con sd136 side1 sd118 side1) (ext l105 sd137 side1) (ext l105 cb28 side2) (con sd137 side1 cb28 side2) (con cb28 side2 sd137 side1) (ext l105 sd36 side1) (con sd36 side1 cb28 side2) (con cb28 side2 sd36 side1) (con sd36 side1 sd137 side1) (con sd137 side1 sd36 side1) (ext l106 sd128 side2) (ext l106 sd137 side2) (con sd128 side2 sd137 side2) (con sd137 side2 sd128 side2) (ext l107 sd140 side1) (ext l107 cb29 side2) (con sd140 side1 cb29 side2) (con cb29 side2 sd140 side1) (ext l107 sd138 side2) (con sd138 side2 cb29 side2) (con cb29 side2 sd138 side2) (con sd138 side2 sd140 side1) (con sd140 side1 sd138 side2) (ext l108 sd139 side1) (ext l108 sd138 side1) (con sd139 side1 sd138 side1) (con sd138 side1 sd139 side1) (ext l109 sd127 side2) (ext l109 sd139 side2) (con sd127 side2 sd139 side2) (con sd139 side2 sd127 side2) (ext l110 sd141 side1) (ext l110 sd140 side2) (con sd141 side1 sd140 side2) (con sd140 side2 sd141 side1) (ext l110 sd107 side1) (con sd107 side1 sd140 side2) (con sd140 side2 sd107 side1) (con sd107 side1 sd141 side1) (con sd141 side1 sd107 side1) (ext l111 sd142 side2) (ext l111 cb30 side2) (con sd142 side2 cb30 side2) (con cb30 side2 sd142 side2) (ext l111 sd111 side1) (con sd111 side1 cb30 side2) (con cb30 side2 sd111 side1) (con sd111 side1 sd142 side2) (con sd142 side2 sd111 side1) (ext l111 sd84 side2) (con sd84 side2 cb30 side2) (con cb30 side2 sd84 side2) (con sd84 side2 sd142 side2) (con sd142 side2 sd84 side2) (con sd84 side2 sd111 side1) (con sd111 side1 sd84 side2) (ext l112 sd144 side1) (ext l112 sd142 side1) (con sd144 side1 sd142 side1) (con sd142 side1 sd144 side1) (ext l112 sd143 side2) (con sd143 side2 sd142 side1) (con sd142 side1 sd143 side2) (con sd143 side2 sd144 side1) (con sd144 side1 sd143 side2) (ext l113 sd46 side1) (ext l113 sd143 side1) (con sd46 side1 sd143 side1) (con sd143 side1 sd46 side1) (ext l114 sd145 side2) (ext l114 sd144 side2) (con sd145 side2 sd144 side2) (con sd144 side2 sd145 side2) (ext l115 sd146 side2) (ext l115 sd145 side1) (con sd146 side2 sd145 side1) (con sd145 side1 sd146 side2) (ext l116 sd64 side2) (ext l116 sd146 side1) (con sd64 side2 sd146 side1) (con sd146 side1 sd64 side2) (ext l117 sd125 side2) (ext l117 cb31 side2) (con sd125 side2 cb31 side2) (con cb31 side2 sd125 side2) (ext l117 sd147 side2) (con sd147 side2 cb31 side2) (con cb31 side2 sd147 side2) (con sd147 side2 sd125 side2) (con sd125 side2 sd147 side2) (ext l118 sd148 side2) (ext l118 sd147 side1) (con sd148 side2 sd147 side1) (con sd147 side1 sd148 side2) (ext l118 sd81 side1) (con sd81 side1 sd147 side1) (con sd147 side1 sd81 side1) (con sd81 side1 sd148 side2) (con sd148 side2 sd81 side1) (ext l119 sd149 side1) (ext l119 sd148 side1) (con sd149 side1 sd148 side1) (con sd148 side1 sd149 side1) (ext l120 sd150 side1) (ext l120 sd149 side2) (con sd150 side1 sd149 side2) (con sd149 side2 sd150 side1) (ext l121 sd151 side1) (ext l121 cb32 side2) (con sd151 side1 cb32 side2) (con cb32 side2 sd151 side1) (ext l121 sd93 side2) (con sd93 side2 cb32 side2) (con cb32 side2 sd93 side2) (con sd93 side2 sd151 side1) (con sd151 side1 sd93 side2) (ext l122 sd152 side2) (ext l122 sd151 side2) (con sd152 side2 sd151 side2) (con sd151 side2 sd152 side2) (ext l122 sd47 side1) (con sd47 side1 sd151 side2) (con sd151 side2 sd47 side1) (con sd47 side1 sd152 side2) (con sd152 side2 sd47 side1) (ext l123 sd153 side2) (ext l123 cb33 side2) (con sd153 side2 cb33 side2) (con cb33 side2 sd153 side2) (ext l124 sd101 side1) (ext l124 sd153 side1) (con sd101 side1 sd153 side1) (con sd153 side1 sd101 side1) (ext l124 sd154 side2) (con sd154 side2 sd153 side1) (con sd153 side1 sd154 side2) (con sd154 side2 sd101 side1) (con sd101 side1 sd154 side2) (ext l125 sd155 side2) (ext l125 sd154 side1) (con sd155 side2 sd154 side1) (con sd154 side1 sd155 side2) (ext l126 sd156 side1) (ext l126 sd155 side1) (con sd156 side1 sd155 side1) (con sd155 side1 sd156 side1) (ext l126 sd71 side2) (con sd71 side2 sd155 side1) (con sd155 side1 sd71 side2) (con sd71 side2 sd156 side1) (con sd156 side1 sd71 side2) (ext l126 sd102 side1) (con sd102 side1 sd155 side1) (con sd155 side1 sd102 side1) (con sd102 side1 sd156 side1) (con sd156 side1 sd102 side1) (con sd102 side1 sd71 side2) (con sd71 side2 sd102 side1) (ext l127 sd157 side1) (ext l127 sd156 side2) (con sd157 side1 sd156 side2) (con sd156 side2 sd157 side1) (ext l128 sd158 side2) (ext l128 cb34 side2) (con sd158 side2 cb34 side2) (con cb34 side2 sd158 side2) (ext l129 sd79 side2) (ext l129 sd158 side1) (con sd79 side2 sd158 side1) (con sd158 side1 sd79 side2) (ext l129 sd159 side2) (con sd159 side2 sd158 side1) (con sd158 side1 sd159 side2) (con sd159 side2 sd79 side2) (con sd79 side2 sd159 side2) (ext l130 sd160 side1) (ext l130 sd159 side1) (con sd160 side1 sd159 side1) (con sd159 side1 sd160 side1) (ext l131 sd97 side2) (ext l131 cb35 side2) (con sd97 side2 cb35 side2) (con cb35 side2 sd97 side2) (ext l131 sd161 side1) (con sd161 side1 cb35 side2) (con cb35 side2 sd161 side1) (con sd161 side1 sd97 side2) (con sd97 side2 sd161 side1) (ext l132 sd10 side1) (ext l132 sd161 side2) (con sd10 side1 sd161 side2) (con sd161 side2 sd10 side1) (ext l132 sd162 side2) (con sd162 side2 sd161 side2) (con sd161 side2 sd162 side2) (con sd162 side2 sd10 side1) (con sd10 side1 sd162 side2) (ext l133 sd89 side1) (ext l133 sd162 side1) (con sd89 side1 sd162 side1) (con sd162 side1 sd89 side1) (ext l134 sd69 side2) (ext l134 cb36 side2) (con sd69 side2 cb36 side2) (con cb36 side2 sd69 side2) (ext l134 sd163 side2) (con sd163 side2 cb36 side2) (con cb36 side2 sd163 side2) (con sd163 side2 sd69 side2) (con sd69 side2 sd163 side2) (ext l135 sd165 side2) (ext l135 sd163 side1) (con sd165 side2 sd163 side1) (con sd163 side1 sd165 side2) (ext l135 sd164 side1) (con sd164 side1 sd163 side1) (con sd163 side1 sd164 side1) (con sd164 side1 sd165 side2) (con sd165 side2 sd164 side1) (ext l135 sd132 side2) (con sd132 side2 sd163 side1) (con sd163 side1 sd132 side2) (con sd132 side2 sd165 side2) (con sd165 side2 sd132 side2) (con sd132 side2 sd164 side1) (con sd164 side1 sd132 side2) (ext l136 sd121 side2) (ext l136 sd164 side2) (con sd121 side2 sd164 side2) (con sd164 side2 sd121 side2) (ext l137 sd166 side1) (ext l137 sd165 side1) (con sd166 side1 sd165 side1) (con sd165 side1 sd166 side1) (ext l137 sd114 side2) (con sd114 side2 sd165 side1) (con sd165 side1 sd114 side2) (con sd114 side2 sd166 side1) (con sd166 side1 sd114 side2) (ext l138 sd134 side2) (ext l138 sd166 side2) (con sd134 side2 sd166 side2) (con sd166 side2 sd134 side2) (ext l139 sd167 side2) (ext l139 cb37 side2) (con sd167 side2 cb37 side2) (con cb37 side2 sd167 side2) (ext l140 sd120 side1) (ext l140 sd167 side1) (con sd120 side1 sd167 side1) (con sd167 side1 sd120 side1) (ext l140 sd24 side2) (con sd24 side2 sd167 side1) (con sd167 side1 sd24 side2) (con sd24 side2 sd120 side1) (con sd120 side1 sd24 side2) (ext l141 sd170 side2) (ext l141 cb38 side2) (con sd170 side2 cb38 side2) (con cb38 side2 sd170 side2) (ext l141 sd168 side2) (con sd168 side2 cb38 side2) (con cb38 side2 sd168 side2) (con sd168 side2 sd170 side2) (con sd170 side2 sd168 side2) (ext l142 sd169 side2) (ext l142 sd168 side1) (con sd169 side2 sd168 side1) (con sd168 side1 sd169 side2) (ext l143 sd108 side2) (ext l143 sd170 side1) (con sd108 side2 sd170 side1) (con sd170 side1 sd108 side2) (ext l143 sd171 side1) (con sd171 side1 sd170 side1) (con sd170 side1 sd171 side1) (con sd171 side1 sd108 side2) (con sd108 side2 sd171 side1) (ext l144 sd172 side1) (ext l144 sd171 side2) (con sd172 side1 sd171 side2) (con sd171 side2 sd172 side1) (ext l145 sd173 side1) (ext l145 cb39 side2) (con sd173 side1 cb39 side2) (con cb39 side2 sd173 side1) (ext l146 sd175 side1) (ext l146 sd173 side2) (con sd175 side1 sd173 side2) (con sd173 side2 sd175 side1) (ext l146 sd174 side1) (con sd174 side1 sd173 side2) (con sd173 side2 sd174 side1) (con sd174 side1 sd175 side1) (con sd175 side1 sd174 side1) (ext l147 sd77 side1) (ext l147 sd174 side2) (con sd77 side1 sd174 side2) (con sd174 side2 sd77 side1) (ext l147 sd20 side1) (con sd20 side1 sd174 side2) (con sd174 side2 sd20 side1) (con sd20 side1 sd77 side1) (con sd77 side1 sd20 side1) (ext l148 sd13 side1) (ext l148 cb40 side2) (con sd13 side1 cb40 side2) (con cb40 side2 sd13 side1) (ext l148 sd48 side1) (con sd48 side1 cb40 side2) (con cb40 side2 sd48 side1) (con sd48 side1 sd13 side1) (con sd13 side1 sd48 side1) (ext l148 sd172 side2) (con sd172 side2 cb40 side2) (con cb40 side2 sd172 side2) (con sd172 side2 sd13 side1) (con sd13 side1 sd172 side2) (con sd172 side2 sd48 side1) (con sd48 side1 sd172 side2) (ext l149 earth side2) (ext l149 sd11 side2) (con earth side2 sd11 side2) (con sd11 side2 earth side2) (ext l150 earth side2) (ext l150 sd56 side1) (con earth side2 sd56 side1) (con sd56 side1 earth side2) (ext l151 earth side2) (ext l151 sd28 side1) (con earth side2 sd28 side1) (con sd28 side1 earth side2) (ext l152 earth side2) (ext l152 sd60 side2) (con earth side2 sd60 side2) (con sd60 side2 earth side2) (ext l153 earth side2) (ext l153 sd150 side2) (con earth side2 sd150 side2) (con sd150 side2 earth side2) (ext l154 earth side2) (ext l154 sd18 side2) (con earth side2 sd18 side2) (con sd18 side2 earth side2) (ext l155 earth side2) (ext l155 sd141 side2) (con earth side2 sd141 side2) (con sd141 side2 earth side2) (ext l156 earth side2) (ext l156 sd39 side2) (con earth side2 sd39 side2) (con sd39 side2 earth side2) (ext l157 earth side2) (ext l157 sd75 side1) (con earth side2 sd75 side1) (con sd75 side1 earth side2) (ext l158 earth side2) (ext l158 sd169 side1) (con earth side2 sd169 side1) (con sd169 side1 earth side2) (ext l159 earth side2) (ext l159 sd34 side1) (con earth side2 sd34 side1) (con sd34 side1 earth side2) (ext l160 earth side2) (ext l160 sd70 side1) (con earth side2 sd70 side1) (con sd70 side1 earth side2) (ext l161 earth side2) (ext l161 sd86 side2) (con earth side2 sd86 side2) (con sd86 side2 earth side2) (ext l162 earth side2) (ext l162 sd160 side2) (con earth side2 sd160 side2) (con sd160 side2 earth side2) (ext l163 earth side2) (ext l163 sd92 side1) (con earth side2 sd92 side1) (con sd92 side1 earth side2) (ext l164 earth side2) (ext l164 sd83 side2) (con earth side2 sd83 side2) (con sd83 side2 earth side2) ) (:goal (and (forall (?b - DEVICE) (not (affected ?b))) (fed l1) (fed l2) (fed l3) (fed l4) (fed l5) (fed l6) (fed l7) (fed l8) (fed l9) (fed l10) (fed l11) (fed l13) (fed l14) (fed l15) (fed l16) (fed l18) (fed l24) (fed l25) (fed l26) (fed l28) (fed l30) (fed l31) (fed l32) (fed l33) (fed l34) (fed l35) (fed l36) (fed l37) (fed l38) (fed l40) (fed l42) (fed l43) (fed l44) (fed l46) (fed l52) (fed l55) (fed l56) (fed l57) (fed l58) (fed l59) (fed l60) (fed l61) (fed l62) (fed l63) (fed l64) (fed l68) (fed l69) (fed l71) (fed l72) (fed l73) (fed l74) (fed l77) (fed l82) (fed l84) (fed l85) (fed l86) (fed l87) (fed l89) (fed l90) (fed l91) (fed l94) (fed l95) (fed l96) (fed l98) (fed l99) (fed l100) (fed l101) (fed l102) (fed l103) (fed l112) (fed l113) (fed l114) (fed l115) (fed l116) (fed l117) (fed l118) (fed l119) (fed l122) (fed l126) (fed l127) (fed l129) (fed l130) (fed l131) (fed l135) (fed l136) (fed l137) (fed l138) (fed l139) (fed l141) (fed l146) (fed l147) (fed l150) (fed l154) (fed l156) (fed l157) (fed l159) (fed l161) (fed l162) (fed l164) ) ) )