![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/compressed.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| type1.nt | 2016-11-26 17:52 | 1 | |
| type2.nt | 2016-11-26 17:52 | 1 | |
| type3.nt | 2016-11-26 17:52 | 1 | |
| reasoning_elapsed_time.txt | 2016-11-25 18:58 | 6 | |
| 243a6fef650ffe66d349d33dab497039.nq | 2016-11-25 18:58 | 870 | |
| 243a6fef650ffe66d349d33dab497039.new.nq | 2016-11-25 18:58 | 871 | |
| clean.nt.gz | 2016-11-25 18:58 | 3.5K | |
| ab737ee18e5fe6ff530143c7e415e8cb.nq | 2016-11-25 18:58 | 4.1K | |
| ab737ee18e5fe6ff530143c7e415e8cb.new.nq | 2016-11-25 18:58 | 4.1K | |
| 61a5d0b5e3de27430d374f5acc1b19a7.nq | 2016-11-25 18:58 | 5.8K | |
| 61a5d0b5e3de27430d374f5acc1b19a7.new.nq | 2016-11-25 18:58 | 5.8K | |
| 768a7008144825028a6321d905e91060.nq | 2016-11-25 18:58 | 8.5K | |
| 768a7008144825028a6321d905e91060.new.nq | 2016-11-25 18:58 | 8.5K | |
| type4.nt | 2016-11-26 17:52 | 40K | |
| 55a05e88e2f1bdf8b52fa7d0eb1efeca.new.nq | 2016-11-25 18:58 | 85K | |
| 55a05e88e2f1bdf8b52fa7d0eb1efeca.nq | 2016-11-25 18:58 | 85K | |
| ontOnly.nq | 2016-11-25 18:58 | 313K | |
| inputOnly.nq | 2016-11-25 18:58 | 455K | |
| inputAndOnts.nq | 2016-11-25 18:58 | 789K | |