(define (problem psr-s170-n20-l3-f10) (:domain psr) (:objects cb1 cb2 cb3 cb4 cb5 cb6 cb7 cb8 cb9 cb10 cb11 cb12 cb13 cb14 cb15 cb16 cb17 cb18 cb19 cb20 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 - 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 - 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) (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 sd1) (closed sd2) (closed sd3) (closed sd4) (closed sd5) (closed sd7) (closed sd9) (closed sd11) (closed sd12) (closed sd13) (closed sd15) (closed sd17) (closed sd19) (closed sd22) (closed sd23) (closed sd25) (closed sd26) (closed sd27) (closed sd29) (closed sd30) (closed sd31) (closed sd32) (closed sd33) (closed sd34) (closed sd35) (closed sd37) (closed sd40) (closed sd41) (closed sd42) (closed sd44) (closed sd47) (closed sd48) (closed sd49) (closed sd50) (closed sd51) (closed sd52) (closed sd55) (closed sd56) (closed sd57) (closed sd58) (closed sd61) (closed sd62) (closed sd63) (closed sd64) (closed sd65) (closed sd66) (closed sd67) (closed sd68) (closed sd69) (closed sd70) (closed sd71) (closed sd72) (closed sd73) (closed sd74) (closed sd75) (closed sd76) (closed sd78) (closed sd79) (closed sd80) (closed sd81) (faulty l3) (faulty l5) (faulty l11) (faulty l18) (faulty l26) (faulty l36) (faulty l38) (faulty l78) (ext l1 sd4 side1) (ext l1 cb1 side2) (con sd4 side1 cb1 side2) (con cb1 side2 sd4 side1) (ext l1 sd1 side1) (con sd1 side1 cb1 side2) (con cb1 side2 sd1 side1) (con sd1 side1 sd4 side1) (con sd4 side1 sd1 side1) (ext l2 sd2 side2) (ext l2 sd1 side2) (con sd2 side2 sd1 side2) (con sd1 side2 sd2 side2) (ext l3 sd3 side1) (ext l3 sd2 side1) (con sd3 side1 sd2 side1) (con sd2 side1 sd3 side1) (ext l4 sd7 side1) (ext l4 sd4 side2) (con sd7 side1 sd4 side2) (con sd4 side2 sd7 side1) (ext l4 sd5 side1) (con sd5 side1 sd4 side2) (con sd4 side2 sd5 side1) (con sd5 side1 sd7 side1) (con sd7 side1 sd5 side1) (ext l5 sd6 side2) (ext l5 sd5 side2) (con sd6 side2 sd5 side2) (con sd5 side2 sd6 side2) (ext l6 sd8 side2) (ext l6 sd7 side2) (con sd8 side2 sd7 side2) (con sd7 side2 sd8 side2) (ext l7 sd9 side1) (ext l7 cb2 side2) (con sd9 side1 cb2 side2) (con cb2 side2 sd9 side1) (ext l7 sd77 side1) (con sd77 side1 cb2 side2) (con cb2 side2 sd77 side1) (con sd77 side1 sd9 side1) (con sd9 side1 sd77 side1) (ext l8 sd10 side2) (ext l8 sd9 side2) (con sd10 side2 sd9 side2) (con sd9 side2 sd10 side2) (ext l9 sd11 side1) (ext l9 cb3 side2) (con sd11 side1 cb3 side2) (con cb3 side2 sd11 side1) (ext l10 sd12 side2) (ext l10 sd11 side2) (con sd12 side2 sd11 side2) (con sd11 side2 sd12 side2) (ext l11 sd13 side2) (ext l11 sd12 side1) (con sd13 side2 sd12 side1) (con sd12 side1 sd13 side2) (ext l12 sd14 side2) (ext l12 sd13 side1) (con sd14 side2 sd13 side1) (con sd13 side1 sd14 side2) (ext l13 sd6 side1) (ext l13 cb4 side2) (con sd6 side1 cb4 side2) (con cb4 side2 sd6 side1) (ext l13 sd15 side2) (con sd15 side2 cb4 side2) (con cb4 side2 sd15 side2) (con sd15 side2 sd6 side1) (con sd6 side1 sd15 side2) (ext l14 sd16 side1) (ext l14 sd15 side1) (con sd16 side1 sd15 side1) (con sd15 side1 sd16 side1) (ext l15 sd17 side1) (ext l15 cb5 side2) (con sd17 side1 cb5 side2) (con cb5 side2 sd17 side1) (ext l16 sd19 side2) (ext l16 sd17 side2) (con sd19 side2 sd17 side2) (con sd17 side2 sd19 side2) (ext l16 sd18 side1) (con sd18 side1 sd17 side2) (con sd17 side2 sd18 side1) (con sd18 side1 sd19 side2) (con sd19 side2 sd18 side1) (ext l17 sd21 side2) (ext l17 sd19 side1) (con sd21 side2 sd19 side1) (con sd19 side1 sd21 side2) (ext l17 sd20 side1) (con sd20 side1 sd19 side1) (con sd19 side1 sd20 side1) (con sd20 side1 sd21 side2) (con sd21 side2 sd20 side1) (ext l18 sd22 side2) (ext l18 cb6 side2) (con sd22 side2 cb6 side2) (con cb6 side2 sd22 side2) (ext l19 sd24 side1) (ext l19 sd22 side1) (con sd24 side1 sd22 side1) (con sd22 side1 sd24 side1) (ext l19 sd23 side1) (con sd23 side1 sd22 side1) (con sd22 side1 sd23 side1) (con sd23 side1 sd24 side1) (con sd24 side1 sd23 side1) (ext l20 sd16 side2) (ext l20 sd23 side2) (con sd16 side2 sd23 side2) (con sd23 side2 sd16 side2) (ext l21 sd32 side1) (ext l21 cb7 side2) (con sd32 side1 cb7 side2) (con cb7 side2 sd32 side1) (ext l21 sd25 side1) (con sd25 side1 cb7 side2) (con cb7 side2 sd25 side1) (con sd25 side1 sd32 side1) (con sd32 side1 sd25 side1) (ext l22 sd26 side1) (ext l22 sd25 side2) (con sd26 side1 sd25 side2) (con sd25 side2 sd26 side1) (ext l23 sd29 side1) (ext l23 sd26 side2) (con sd29 side1 sd26 side2) (con sd26 side2 sd29 side1) (ext l23 sd27 side2) (con sd27 side2 sd26 side2) (con sd26 side2 sd27 side2) (con sd27 side2 sd29 side1) (con sd29 side1 sd27 side2) (ext l24 sd28 side2) (ext l24 sd27 side1) (con sd28 side2 sd27 side1) (con sd27 side1 sd28 side2) (ext l25 sd30 side2) (ext l25 sd29 side2) (con sd30 side2 sd29 side2) (con sd29 side2 sd30 side2) (ext l26 sd31 side1) (ext l26 sd30 side1) (con sd31 side1 sd30 side1) (con sd30 side1 sd31 side1) (ext l27 sd83 side1) (ext l27 sd31 side2) (con sd83 side1 sd31 side2) (con sd31 side2 sd83 side1) (ext l28 sd33 side1) (ext l28 sd32 side2) (con sd33 side1 sd32 side2) (con sd32 side2 sd33 side1) (ext l29 sd36 side1) (ext l29 cb8 side2) (con sd36 side1 cb8 side2) (con cb8 side2 sd36 side1) (ext l29 sd34 side2) (con sd34 side2 cb8 side2) (con cb8 side2 sd34 side2) (con sd34 side2 sd36 side1) (con sd36 side1 sd34 side2) (ext l30 sd35 side1) (ext l30 sd34 side1) (con sd35 side1 sd34 side1) (con sd34 side1 sd35 side1) (ext l31 sd39 side2) (ext l31 cb9 side2) (con sd39 side2 cb9 side2) (con cb9 side2 sd39 side2) (ext l31 sd37 side2) (con sd37 side2 cb9 side2) (con cb9 side2 sd37 side2) (con sd37 side2 sd39 side2) (con sd39 side2 sd37 side2) (ext l32 sd38 side1) (ext l32 sd37 side1) (con sd38 side1 sd37 side1) (con sd37 side1 sd38 side1) (ext l33 sd40 side1) (ext l33 cb10 side2) (con sd40 side1 cb10 side2) (con cb10 side2 sd40 side1) (ext l34 sd41 side1) (ext l34 sd40 side2) (con sd41 side1 sd40 side2) (con sd40 side2 sd41 side1) (ext l35 sd44 side1) (ext l35 sd41 side2) (con sd44 side1 sd41 side2) (con sd41 side2 sd44 side1) (ext l35 sd42 side1) (con sd42 side1 sd41 side2) (con sd41 side2 sd42 side1) (con sd42 side1 sd44 side1) (con sd44 side1 sd42 side1) (ext l36 sd43 side2) (ext l36 sd42 side2) (con sd43 side2 sd42 side2) (con sd42 side2 sd43 side2) (ext l37 sd45 side1) (ext l37 sd44 side2) (con sd45 side1 sd44 side2) (con sd44 side2 sd45 side1) (ext l38 sd47 side2) (ext l38 cb11 side2) (con sd47 side2 cb11 side2) (con cb11 side2 sd47 side2) (ext l38 sd46 side2) (con sd46 side2 cb11 side2) (con cb11 side2 sd46 side2) (con sd46 side2 sd47 side2) (con sd47 side2 sd46 side2) (ext l39 sd49 side2) (ext l39 sd47 side1) (con sd49 side2 sd47 side1) (con sd47 side1 sd49 side2) (ext l39 sd48 side1) (con sd48 side1 sd47 side1) (con sd47 side1 sd48 side1) (con sd48 side1 sd49 side2) (con sd49 side2 sd48 side1) (ext l39 sd14 side1) (con sd14 side1 sd47 side1) (con sd47 side1 sd14 side1) (con sd14 side1 sd49 side2) (con sd49 side2 sd14 side1) (con sd14 side1 sd48 side1) (con sd48 side1 sd14 side1) (ext l40 sd59 side2) (ext l40 sd48 side2) (con sd59 side2 sd48 side2) (con sd48 side2 sd59 side2) (ext l41 sd50 side1) (ext l41 sd49 side1) (con sd50 side1 sd49 side1) (con sd49 side1 sd50 side1) (ext l42 sd51 side1) (ext l42 sd50 side2) (con sd51 side1 sd50 side2) (con sd50 side2 sd51 side1) (ext l43 sd52 side1) (ext l43 cb12 side2) (con sd52 side1 cb12 side2) (con cb12 side2 sd52 side1) (ext l43 sd8 side1) (con sd8 side1 cb12 side2) (con cb12 side2 sd8 side1) (con sd8 side1 sd52 side1) (con sd52 side1 sd8 side1) (ext l44 sd54 side2) (ext l44 sd52 side2) (con sd54 side2 sd52 side2) (con sd52 side2 sd54 side2) (ext l44 sd53 side1) (con sd53 side1 sd52 side2) (con sd52 side2 sd53 side1) (con sd53 side1 sd54 side2) (con sd54 side2 sd53 side1) (ext l45 sd39 side1) (ext l45 cb13 side2) (con sd39 side1 cb13 side2) (con cb13 side2 sd39 side1) (ext l45 sd55 side2) (con sd55 side2 cb13 side2) (con cb13 side2 sd55 side2) (con sd55 side2 sd39 side1) (con sd39 side1 sd55 side2) (ext l46 sd56 side1) (ext l46 sd55 side1) (con sd56 side1 sd55 side1) (con sd55 side1 sd56 side1) (ext l47 sd57 side1) (ext l47 sd56 side2) (con sd57 side1 sd56 side2) (con sd56 side2 sd57 side1) (ext l48 sd60 side1) (ext l48 sd57 side2) (con sd60 side1 sd57 side2) (con sd57 side2 sd60 side1) (ext l48 sd58 side1) (con sd58 side1 sd57 side2) (con sd57 side2 sd58 side1) (con sd58 side1 sd60 side1) (con sd60 side1 sd58 side1) (ext l49 sd59 side1) (ext l49 sd58 side2) (con sd59 side1 sd58 side2) (con sd58 side2 sd59 side1) (ext l50 sd64 side1) (ext l50 cb14 side2) (con sd64 side1 cb14 side2) (con cb14 side2 sd64 side1) (ext l50 sd61 side1) (con sd61 side1 cb14 side2) (con cb14 side2 sd61 side1) (con sd61 side1 sd64 side1) (con sd64 side1 sd61 side1) (ext l51 sd62 side1) (ext l51 sd61 side2) (con sd62 side1 sd61 side2) (con sd61 side2 sd62 side1) (ext l52 sd63 side2) (ext l52 sd62 side2) (con sd63 side2 sd62 side2) (con sd62 side2 sd63 side2) (ext l53 sd28 side1) (ext l53 sd63 side1) (con sd28 side1 sd63 side1) (con sd63 side1 sd28 side1) (ext l54 sd43 side1) (ext l54 sd64 side2) (con sd43 side1 sd64 side2) (con sd64 side2 sd43 side1) (ext l55 sd65 side1) (ext l55 cb15 side2) (con sd65 side1 cb15 side2) (con cb15 side2 sd65 side1) (ext l56 sd66 side1) (ext l56 sd65 side2) (con sd66 side1 sd65 side2) (con sd65 side2 sd66 side1) (ext l57 sd67 side2) (ext l57 sd66 side2) (con sd67 side2 sd66 side2) (con sd66 side2 sd67 side2) (ext l57 sd20 side2) (con sd20 side2 sd66 side2) (con sd66 side2 sd20 side2) (con sd20 side2 sd67 side2) (con sd67 side2 sd20 side2) (ext l58 sd45 side2) (ext l58 sd67 side1) (con sd45 side2 sd67 side1) (con sd67 side1 sd45 side2) (ext l59 sd38 side2) (ext l59 cb16 side2) (con sd38 side2 cb16 side2) (con cb16 side2 sd38 side2) (ext l59 sd10 side1) (con sd10 side1 cb16 side2) (con cb16 side2 sd10 side1) (con sd10 side1 sd38 side2) (con sd38 side2 sd10 side1) (ext l59 sd68 side2) (con sd68 side2 cb16 side2) (con cb16 side2 sd68 side2) (con sd68 side2 sd38 side2) (con sd38 side2 sd68 side2) (con sd68 side2 sd10 side1) (con sd10 side1 sd68 side2) (ext l60 sd69 side2) (ext l60 sd68 side1) (con sd69 side2 sd68 side1) (con sd68 side1 sd69 side2) (ext l61 sd70 side2) (ext l61 sd69 side1) (con sd70 side2 sd69 side1) (con sd69 side1 sd70 side2) (ext l62 sd71 side2) (ext l62 cb17 side2) (con sd71 side2 cb17 side2) (con cb17 side2 sd71 side2) (ext l63 sd73 side1) (ext l63 sd71 side1) (con sd73 side1 sd71 side1) (con sd71 side1 sd73 side1) (ext l63 sd18 side2) (con sd18 side2 sd71 side1) (con sd71 side1 sd18 side2) (con sd18 side2 sd73 side1) (con sd73 side1 sd18 side2) (ext l63 sd82 side2) (con sd82 side2 sd71 side1) (con sd71 side1 sd82 side2) (con sd82 side2 sd73 side1) (con sd73 side1 sd82 side2) (con sd82 side2 sd18 side2) (con sd18 side2 sd82 side2) (ext l63 sd72 side1) (con sd72 side1 sd71 side1) (con sd71 side1 sd72 side1) (con sd72 side1 sd73 side1) (con sd73 side1 sd72 side1) (con sd72 side1 sd18 side2) (con sd18 side2 sd72 side1) (con sd72 side1 sd82 side2) (con sd82 side2 sd72 side1) (ext l64 sd46 side1) (ext l64 sd72 side2) (con sd46 side1 sd72 side2) (con sd72 side2 sd46 side1) (ext l65 sd24 side2) (ext l65 sd73 side2) (con sd24 side2 sd73 side2) (con sd73 side2 sd24 side2) (ext l66 sd60 side2) (ext l66 cb18 side2) (con sd60 side2 cb18 side2) (con cb18 side2 sd60 side2) (ext l66 sd74 side1) (con sd74 side1 cb18 side2) (con cb18 side2 sd74 side1) (con sd74 side1 sd60 side2) (con sd60 side2 sd74 side1) (ext l67 sd75 side1) (ext l67 sd74 side2) (con sd75 side1 sd74 side2) (con sd74 side2 sd75 side1) (ext l68 sd76 side1) (ext l68 cb19 side2) (con sd76 side1 cb19 side2) (con cb19 side2 sd76 side1) (ext l68 sd54 side1) (con sd54 side1 cb19 side2) (con cb19 side2 sd54 side1) (con sd54 side1 sd76 side1) (con sd76 side1 sd54 side1) (ext l69 sd53 side2) (ext l69 sd76 side2) (con sd53 side2 sd76 side2) (con sd76 side2 sd53 side2) (ext l69 sd77 side2) (con sd77 side2 sd76 side2) (con sd76 side2 sd77 side2) (con sd77 side2 sd53 side2) (con sd53 side2 sd77 side2) (ext l70 sd79 side2) (ext l70 cb20 side2) (con sd79 side2 cb20 side2) (con cb20 side2 sd79 side2) (ext l70 sd78 side1) (con sd78 side1 cb20 side2) (con cb20 side2 sd78 side1) (con sd78 side1 sd79 side2) (con sd79 side2 sd78 side1) (ext l71 sd21 side1) (ext l71 sd78 side2) (con sd21 side1 sd78 side2) (con sd78 side2 sd21 side1) (ext l72 sd80 side1) (ext l72 sd79 side1) (con sd80 side1 sd79 side1) (con sd79 side1 sd80 side1) (ext l73 sd83 side2) (ext l73 sd80 side2) (con sd83 side2 sd80 side2) (con sd80 side2 sd83 side2) (ext l73 sd81 side2) (con sd81 side2 sd80 side2) (con sd80 side2 sd81 side2) (con sd81 side2 sd83 side2) (con sd83 side2 sd81 side2) (ext l74 sd82 side1) (ext l74 sd81 side1) (con sd82 side1 sd81 side1) (con sd81 side1 sd82 side1) (ext l74 sd36 side2) (con sd36 side2 sd81 side1) (con sd81 side1 sd36 side2) (con sd36 side2 sd82 side1) (con sd82 side1 sd36 side2) (ext l75 earth side2) (ext l75 sd33 side2) (con earth side2 sd33 side2) (con sd33 side2 earth side2) (ext l76 earth side2) (ext l76 sd51 side2) (con earth side2 sd51 side2) (con sd51 side2 earth side2) (ext l77 earth side2) (ext l77 sd35 side2) (con earth side2 sd35 side2) (con sd35 side2 earth side2) (ext l78 earth side2) (ext l78 sd75 side2) (con earth side2 sd75 side2) (con sd75 side2 earth side2) (ext l79 earth side2) (ext l79 sd70 side1) (con earth side2 sd70 side1) (con sd70 side1 earth side2) (ext l80 earth side2) (ext l80 sd3 side2) (con earth side2 sd3 side2) (con sd3 side2 earth side2) ) (:goal (and (forall (?b - DEVICE) (not (affected ?b))) (fed l1) (fed l2) (fed l4) (fed l6) (fed l7) (fed l8) (fed l9) (fed l10) (fed l12) (fed l13) (fed l14) (fed l15) (fed l16) (fed l17) (fed l19) (fed l20) (fed l21) (fed l22) (fed l23) (fed l24) (fed l25) (fed l27) (fed l28) (fed l29) (fed l30) (fed l31) (fed l32) (fed l33) (fed l34) (fed l35) (fed l37) (fed l39) (fed l40) (fed l41) (fed l42) (fed l43) (fed l44) (fed l45) (fed l46) (fed l47) (fed l48) (fed l49) (fed l50) (fed l51) (fed l52) (fed l53) (fed l54) (fed l55) (fed l56) (fed l57) (fed l58) (fed l59) (fed l60) (fed l61) (fed l62) (fed l63) (fed l64) (fed l65) (fed l66) (fed l67) (fed l68) (fed l69) (fed l70) (fed l71) (fed l72) (fed l73) (fed l74) (fed l75) (fed l76) (fed l77) (fed l79) ) ) )