# Python 3.12+; reproduction uses only the standard library.