![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| bins/ | 2024-05-24 23:02 | - | |
| record_size.sh | 2024-05-02 00:40 | 16 | |
| record_size.yaml | 2024-05-02 00:40 | 20 | |
| record_size | 2024-05-02 00:39 | 112 | |
| embedding.f.err | 2024-05-01 20:16 | 306 | |
| postings.err | 2024-05-01 19:27 | 1.4M | |
| postings.hist.i | 2024-05-01 19:27 | 19M | |
| postings.idx.i | 2024-05-01 19:47 | 38M | |
| map.new_to_old.i | 2024-05-01 20:16 | 455M | |
| map.old_to_new.i | 2024-05-01 20:18 | 8.6G | |
| landmarks.i | 2024-05-01 19:27 | 89G | |
| postings.i | 2024-05-01 19:47 | 89G | |
| embedding.f | 2024-05-01 20:16 | 124G | |