100644 blob 87303dad67ac271c918a58d79fa1012dbc17fc6d	bmul.cry
100644 blob 22cd2757b4292348432e9c7613a46b4f500e6c78	bmul.saw
100644 blob 0b52d51adf6927fa4ad4b56fc110079d9701fba9	chacha20.cry
100644 blob 92145ab74ffec6920cd0757b5756a66b91b2d7a2	chacha20.saw
100644 blob a4dfff6d925cd5e559eb4126ba9c02ea34acf4d3	poly1305-hacl.saw
100644 blob 6321a4f190ae4007a9da66ba0ca662f84691bd33	poly1305.cry
100644 blob 44be1e3e0c441fb6d42c1f5b9fdfe081c527358f	poly1305.saw