![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| gen.py | 2021-03-15 19:00 | 130 | |
| sum.pr | 2021-03-15 19:00 | 180 | |
| sum3.pr | 2021-03-15 19:00 | 307 | |
| segments_naive.pr | 2021-03-15 19:00 | 311 | |
| sum2.pr | 2021-03-15 19:00 | 363 | |
| segments.pr | 2021-03-15 19:00 | 887 | |
| small.txt | 2021-03-15 19:00 | 903 | |
| segments_debug.pr | 2021-03-15 19:00 | 916 | |