[κ]
τδeb|UnionD΄FC(0|0)
τδeb|¬I΄eb(0|4)
τδeb|OηFC@σ(0|2)
τδeb|μΨFC@O[(0|7)
τδeb|ρaeb(1|7)
UnionD΄FC|¬I΄eb(0|6)
UnionD΄FC|OηFC@σ(1|0)
UnionD΄FC|μΨFC@O[(0|3)
UnionD΄FC|ρaeb(0|0)
¬I΄eb|OηFC@σ(0|2)
¬I΄eb|μΨFC@O[(1|0)
¬I΄eb|ρaeb(3|0)
OηFC@σ|μΨFC@O[(1|0)
OηFC@σ|ρaeb(1|2)
μΨFC@O[|ρaeb(0|1)
TopΙίι