![[ICO]](/icons/blank.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| criterion1/ | 2022-08-22 17:20 | - | |
| criterion2/ | 2022-08-23 12:10 | - | |
| criterion3/ | 2023-02-07 12:05 | - | |
| criterion4/ | 2022-10-03 10:15 | - | |
| criterion5/ | 2025-04-22 16:50 | - | |
| criterion6/ | 2022-10-03 10:55 | - | |
| criterion7/ | 2022-10-03 11:00 | - | |
| criterion8/ | 2021-03-31 17:10 | - | |
| data/ | 2021-04-27 16:04 | - | |
| index.html.old | 2022-01-21 16:14 | 68 | |
| misc/ | 2021-06-07 17:26 | - | |
| profile/ | 2021-09-28 12:05 | - | |