![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| constr_attempt1 | 2026-10-26 14:41 | 557 | |
| constr_better | 2026-10-26 14:41 | 341 | |
| constr_params | 2025-03-19 15:11 | 760 | |
| go_fix1 | 2026-10-26 14:45 | 521 | |
| go_override | 2026-10-26 14:45 | 462 | |
| go_poly | 2021-11-02 14:59 | 511 | |
| motivation | 2026-10-26 14:49 | 833 | |
| stu_better | 2025-03-19 15:17 | 635 | |
| stu_override | 2025-03-24 13:53 | 754 | |
| stu_start | 2026-10-26 14:42 | 607 | |