TIMESTAMP = 1762354531
SHA256 (picoLisp-25.9.tgz) = 904122dd74aee62791211dff64ffd1490ae9849efcd0c6babbec4c21d1536de7
SIZE (picoLisp-25.9.tgz) = 1335550
