brun '(sha256 (q . 0xffff) (q . 0xffff))'
0xad95131bc0b799c0b1af477fb14fcf26a6a9f76079e48bf090acb7e8367bfd0e
