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