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