TIMESTAMP = 1735572620
SHA256 (picoLisp-24.12.tgz) = 99fe187996e323ced5b9a6f3df789263fb0992abcb96dc0e06fa5ea81f4d3fd4
SIZE (picoLisp-24.12.tgz) = 1094167
