˜
i
j
k
, i = 0, 1, j = ∅, 1, 2, 3, k = ∅, 0, 1
j
˜
i k
j = k = ∅
˜
i
j
k
=
˜
i
˜
0
1
0
=
1
2
(|000i + |010i+ |001i+ |011i,
˜
0
1
1
=
1
2
(|100i + |110i+ |101i+ |111i,
˜
0
2
0
=
1
2
(|000i + |100i+ |001i+ |101i,
˜
0
2
1
=
1
2
(|010i + |110i+ |011i+ |111i,
˜
0
3
0
=
1
2
(|000i + |010i+ |100i+ |110i,
˜
0
3
1
=
1
2
(|001i + |011i+ |001i+ |101i,
˜
1
1
0
=
1
2
(|000i − |010i− |001i+ |011i,
˜
1
1
1
=
1
2
(−|100i + |110i + |101i− |111i,
˜
1
2
0
=
1
2
(|000i − |100i− |001i+ |101i,
˜
1
2
1
=
1
2
(−|010i + |110i + |011i− |111i,
˜
1
3
0
=
1
2
(|000i − |010i− |100i+ |110i,
˜
1
3
1
=
1
2
(−|001i + |011i − |001i + |101i
U
rest
:
˜
i
j
k
O
¯
0 −→
˜
i
O
˜
0
j
k
.
i
j
k
˜
0
j
k
˜
1
j
k
O I
˜
0⊥
˜
1 O⊥I
π
3
h
˜
1
1
0
|
˜
1
2
0
i = h
˜
1
1
0
|
˜
1
2
1
i =
1
2
O
U
rest
C
8
N
C
8
U
rest
A
rest
α
˜
0 + β
˜
1 −→ α
˜
0
j
k
+ β
˜
1
j
k
U
rest
−→ (α
˜
0 + β
˜
1)
O
˜
0
j
k
A
rest
−→ α
˜
0 + β
˜
1,
δ
rest
∆
∆