Loading paper
Hat guessing number of planar graphs is at least 22 | Tomesphere