drwxr-xr-x 406288 saferewrite-20210904/src 361 files
drwxr-xr-x    148 apibug_inpu 2 files
drwxr-xr-x    149 apibug_inputt 2 files
drwxr-xr-x    148 apibug_outpu 2 files
drwxr-xr-x    149 apibug_outputt 2 files
drwxr-xr-x   4463 cmp_64xint16 13 files
drwxr-xr-x  12723 core_scale3sntrup761 20 files
drwxr-xr-x  12383 core_weightsntrup761 18 files
drwxr-xr-x  30443 core_wforcesntrup761 44 files
drwxr-xr-x  10127 decode_256x2 12 files
drwxr-xr-x  76914 decode_761x1531 35 files
drwxr-xr-x  11548 decode_761x3 12 files
drwxr-xr-x  76308 decode_761x4591 34 files
drwxr-xr-x  11109 decode_761xint16 11 files
drwxr-xr-x  11207 decode_761xint32 11 files
drwxr-xr-x  10833 encode_256x2 12 files
drwxr-xr-x  36135 encode_761x1531 23 files
drwxr-xr-x  27061 encode_761x1531round 19 files
drwxr-xr-x  11843 encode_761x3 13 files
drwxr-xr-x  36330 encode_761x4591 24 files
drwxr-xr-x  11415 encode_761xfreeze3 13 files
drwxr-xr-x  11062 encode_761xint16 11 files
drwxr-xr-x    427 flip 4 files
drwxr-xr-x    237 int32_negativemask 3 files
drwxr-xr-x    716 int32_nonzeromask 5 files
drwxr-xr-x    687 int32_positivemask 5 files
drwxr-xr-x    404 int32_smallermask 3 files
drwxr-xr-x   1319 int32_sort2 8 files