// Properties: P=? [ true U (active0=0) ] P=? [ true U (active1=0) ] P=? [ true U (active2=0) ] P=? [ true U (active3=0) ] P=? [ true U (active4=0) ] P=? [ true U (active5=0) ] P=? [ true U (active6=0) ] P=? [ true U (active7=0) ] P=? [ true U (active8=0) ]