Index of /CASC/24/TrainingData.HOL/Solutions

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[DIR]HOL123+1/2024-10-04 17:56 -  
[DIR]HOL133+1/2024-10-04 17:56 -  
[DIR]HOL132+1/2024-10-04 17:56 -  
[DIR]HOL134+1/2024-10-04 17:56 -  
[DIR]HOL125+1/2024-10-04 17:56 -  
[DIR]HOL122+1/2024-10-04 17:56 -  
[DIR]HOL124+1/2024-10-04 17:56 -  
[DIR]HOL138+1/2024-10-04 17:56 -  
[DIR]HOL129+1/2024-10-04 17:56 -  

Apache/2.4.58 (Ubuntu) Server at tptp.org Port 443