Loading paper
The permutation class Av(4213,2143) | Tomesphere