Loading paper
Positroids are 3-colorable | Tomesphere