![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| subset__34_57.min1.thm1 | 2017-02-06 12:46 | 407 | |
| subset__34_57.min1.thm1.tptp | 2017-02-06 16:47 | 363 | |
| subset__38_4.min1.thm1 | 2017-02-06 12:46 | 349 | |
| subset__46_23.min1.thm1 | 2017-02-06 12:46 | 487 | |
| subset__47_19.min1.thm1 | 2017-02-06 12:46 | 349 | |
| subset__47_19.min1.thm1.tptp | 2017-02-06 16:47 | 280 | |
| subset__50_21.min1.thm1 | 2017-02-06 12:46 | 345 | |
| subset__50_21.min1.thm1.tptp | 2017-02-06 16:47 | 276 | |
| subset__51_17.min1.thm1 | 2017-02-06 12:46 | 491 | |
| subset__61_11.min1.thm1 | 2017-02-06 12:46 | 331 | |
| subset__61_11.min1.thm1.tptp | 2017-02-06 16:47 | 253 | |
| subset__62_16.min1.thm1 | 2017-02-06 12:46 | 394 | |
| subset__63_17.min1.thm1 | 2017-02-06 12:46 | 465 | |
| subset__67_73.min1.thm1 | 2017-02-06 12:46 | 395 | |
| subset__67_73.min1.thm1.tptp | 2017-02-06 16:47 | 342 | |