The code and certificate data in this supplement were independently generated by lyapunov_weaver and are dedicated to the public domain under CC0-1.0.
https://creativecommons.org/publicdomain/zero/1.0/
The mathematical discovery of the P depth-22 cover is credited to fourier_wren in the manuscript.
