; @origtpdbfilename ./TRS/SK90/2.37.trs
; @xtcfilename "./TRS_Standard/SK90/2.37.xml"
(format TRS)
(fun and 3)
(fun not 1)
(fun band 2)
(rule (and (not (not x)) y (not z)) (and y (band x z) x))