◉
◆
≋
λ
λ
◉
◈
≋
◆
≡
◈
◈
◉
≡
λ
0
◐
◒
▸
◑
◑
◐
≋
τ
◈
∑
≋
▸
◈
0
1
τ
≡
≋
∞
◐
▸
0
0
λ
≋
◉
∑
≡
◆
≋
∑
≡
▸
∞
▸
≋
◑
◉
≋
▸
≋
◆
∞
∑
∑
▸
λ
λ
▸
◉
1
τ
∞
▸
∑
⌘
∑
◑
∞
∑
◈
≡
∑
⌘
◆
τ
≋
▸
⌘
τ
◐
∑
◆
◑
◐
◐
▸
⌘
0
◐
◑
◉
◉
◉
λ
∞
◆
τ
1
∞
≋
▸
◈
0
λ
◒
1
◐
◉
∑
≋
◈
◈
1
τ
▸
∞
τ
◐
0
1
λ
≡
◉
◉
▸
◆
0
λ
◉
≋
◈
◉
◐
⌘
≡
◒
▸
◆
1
◒
◆
≋
⌘
≋
◉
∑
◒
◒
λ
1
▸
▸
◑
∞
◒
≡
≋
≋
⌘
◑
⌘
◒
◆
◈
≡
◐
◆
≡
◆
⌘
τ
τ
0
≡
◉
▸
0
▸
τ
▸
τ
◑
∑
≋
◉
◐
▸
▸
◆
∞
◑
∑
◑
∑
⌘
▸
◐
∑
◒
0
▸
▸
◒
≋
0
∑
0
≋
⌘
◈
1
◉
∞
⌘
0
◒
1
∞
⌘
≡
∑
∑
◐
∑
◉
▸
⌘
◉
◈
⌘
◑
∑
∑
0
∞
⌘
◐
τ
0
▸
◐
∑
◐
∞
◆
⌘
λ
◉
≡
1
∑
◈
◈
◒
∞
≡
≡
⌘
◒
◆
◉
◐
≋
◒
≡
≋
≋
◑
≡
⌘
≋
◒
τ
◐
◐
1
◉
◈
◉
≋
◆
1
◒
≋
◆
≋
0
1
≋
◉
≡
⌘
1
◈
∞
◉
⌘
◈
◑
◉
⌘
◒
◑
◆
◑
◉
λ
◐
◉
≡
◐
◉
≋
◐
◆
∞
0
0
◈
∞
▸
◆
◐
▸
⌘
1
◆
λ
◉
◒
◈
τ
◈
λ
◆
≋
λ
◈
▸
◈
1
◉
0
◆
λ
1
◐
≋
◈
λ
◈
∑
◐
◈
◑
∑
◒
≡
1
∞
τ
λ
≡
◐
◆
1
0
⌘
≡
1
◒
≋
≡
◑
◉
◑
∑
λ
∑
0
λ
◆
1
▸
∞
0
◒
∞
≋
◈
∞
◒
∑
τ
◑
∞
∞
≡
◈
◒
◑
λ
λ
◐
◑
∑
∞
◐
◒
◐
λ
≡
λ
◑
≡
≡
∑
τ
◉
◈
◉
λ
◉
≋
◆
0
1
◑
◑
τ
≋
λ
◆
◆
◑
◈
◒
◑
◈
◆
∞
◈
∞
∞
⌘
◈
◐
∑
◐
≋
≡
◑
◒
◒
≋
∞
0
◑
λ
◒
◆
◉
◆
∑
≡
⌘
◈
◉
◒
◒
◒
≋
≡
◐
≡
≋
◆
0
◑
≡
1
◆
≡
1
≡
0
◐
⌘
◒
τ
≋
◉
∞
◐
◑
◉
▸
∑
◉
◉
0
∞
◑
∞
◒
⌘
0
1
≋
⌘
◉
◆
◑
∞
▸
∑
∑
◉
≋
◉
0
▸
≡
◆
≡
∞
◑
λ
τ
≋
◆
≋
⌘
◈
0
◈
⌘
◈
λ
0
◐
◈
◈
∑
◒
◉
1
≡
1
1
◈
▸
▸
◆
1
◉
◑
∞
◑
1
1
◆
◐
λ
1
τ
⌘
◈
1
≡
▸
◉
◆
λ
◈
≡
◐
1
λ
≡
◆
τ
≋
τ
≡
∑
◑
τ
0
≋
◆
▸
◐
≋
⌘
∞
≡
◑
≡
τ
◑
0
λ
◆
1
≋
λ
▸
≋
0
0
≡
◉
◒
∞
◈
⌘
∑
≋
⌘
▸
⌘
1
◈
◑
∞
∞
0
◐
τ
≡
τ
1
∑
∑
≋
⌘
τ
0
∞
◐
0
◐
τ
◒
◈
λ
◈
0
λ
◈
λ
◈
◐
0
≡
◐
◒
◑
0
▸
1
∑
◉
▸
∑
▸
⌘
◈
≡
∞
1
◐
∞
◑
0
◈
◆
◈
1
▸
∞
◑
◆
∑
◒
◑
▸
◈
0
◉
∞
τ
≡
0
◆
≋
∞
◒
◆
▸
◒
◑
◉
◒
◆
∞
▸
◒
≡
◈
◉
◒
∑
◈
1
∞
◒
∑
≡
◒
◐
≡
1
▸
≡
≡
◑
0
◐
⌘
λ
◒
0
∞
◈
≋
λ
◉
◐
τ
◈
▸
◐
▸
◒
◒
≡
1
≡
◐
◐
0
≋
◆
◑
⌘
◒
◒
◆
◑
∞
1
▸
⌘
τ
0
▸
τ
◈
λ
τ
◉
◈
◆
≡
1
◉
◆
◆
≡
0
≋
∑
◈
⌘
◈
◑
⌘
λ
∞
≡
◐
τ
λ
∑
◈
◐
λ
◉
⌘
◆
◈
◈
◈
▸
1
∑
≡
0
∑
0
◑
≡
◆
▸
1
◉
⌘
0
0
0
λ
∑
∞
∑
◐
◒
λ
0
∑
◒
◈
◑
∞
λ
◒
τ
1
τ
τ
≡
▸
◑
τ
τ
≡
∑
◒
≡
0
◆
≡
◈
◆
◉
0
≡
λ
λ
0
≋
≡
◐
1
◆
◑
0
◐
◈
◉
⌘
◆
∞
∑
∑
⌘
◉
◑
▸
1
τ
▸
◉
λ
≡
≋
◑
◆
1
≡
▸
0
≡
≋
1
∑
∑
⌘
τ
∞
◑
◐
≡
◒
∑
∞
⌘
◈
◐
◉
◐
◑
0
∑
λ
◑
◈
λ
◑
≋
∑
◈
◉
τ
◒
◑
∞
∑
◑
◈
1
∑
τ
◒
≋
τ
◒
τ
λ
▸
≡
λ
◆
∞
τ
◐
◑
λ
λ
τ
≡
∑