Loading paper
On cardinal sequences of length < omega3 | Tomesphere