TIMESTAMP = 1776077178
SHA256 (picoLisp-26.3.tgz) = 5e8e1d8ff08221c5229fdabe031a4fec161608521bcb377bb493e3fd8e073bca
SIZE (picoLisp-26.3.tgz) = 1338572