![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| tarski__t1_tarski | 2021-07-18 05:54 | 108 | |
| tarski__t1_tarski.depv1 | 2021-07-25 20:57 | 11 | |
| tarski__t1_tarski.vmin1 | 2021-07-25 20:57 | 0 | |
| tarski__t1_tarski.vmin1out | 2021-07-25 21:00 | 547 | |
| tarski__t1_tarski.vout | 2021-07-25 17:33 | 906 | |
| tarski__t2_tarski | 2021-07-18 05:54 | 367 | |
| tarski__t2_tarski.depv1 | 2021-07-25 20:57 | 22 | |
| tarski__t2_tarski.depvmin1 | 2021-07-25 21:03 | 22 | |
| tarski__t2_tarski.vmin1 | 2021-07-25 20:57 | 229 | |
| tarski__t2_tarski.vmin1out | 2021-07-25 20:59 | 5.2K | |
| tarski__t2_tarski.vout | 2021-07-25 18:59 | 5.3K | |
| tarski__t3_tarski | 2021-07-18 05:54 | 489 | |
| tarski__t3_tarski.depv1 | 2021-07-25 20:57 | 22 | |
| tarski__t3_tarski.depvmin1 | 2021-07-25 21:03 | 22 | |
| tarski__t3_tarski.vmin1 | 2021-07-25 20:57 | 351 | |
| tarski__t3_tarski.vmin1out | 2021-07-25 20:59 | 4.1K | |
| tarski__t3_tarski.vout | 2021-07-25 14:29 | 4.1K | |