[κ]
ηͺurb|ͺΨͺJeb(1|0)
ηͺurb|C_¬rb(4|0)
ηͺurb|μΨebrNg[(0|2)
ͺΨͺJeb|C_¬rb(10|0)
ͺΨͺJeb|μΨebrNg[(0|2)
C_¬rb|μΨebrNg[(0|7)
TopΙίι