# MIT License, Copyright (c) 2022 Marvin Borner
S [[[2 0 (1 0)]]]
K [[1]]
I [0]
B [[[2 (1 0)]]]
C [[[2 0 1]]]
W [[1 0 0]]
T [[1]]
F [[0]]
ω [0 0]
Ω ω ω
Y [[1 (0 0)] [1 (0 0)]]
Θ [[0 (1 1 0)]] [[0 (1 1 0)]]
i [0 S K]
:test I = i i
:test K = i (i (i i))
:test S = i (i (i (i i)))
:test B = S (K S) K
:test C = S (S (K (S (K S) K)) S) (K K)
:test W = S S (S K)
