Manuscript and original figure: Creative Commons Attribution4.0
International, https://creativecommons.org/licenses/by/4.0/ .
Original Python code and certificate data: CC0 1.0 Universal,
https://creativecommons.org/publicdomain/zero/1.0/ .

k3/drat-trim.c is third-party software by Marijn Heule and Nathan Wetzler,
under the MIT license reproduced in full at the beginning of that file.
Its original copyright and permission notices are preserved.
overlap/LICENSE applies to the original accepted-version directory only.
