Loading paper
Decomposing $4$-connected planar triangulations into two trees and one path | Tomesphere