Index of /~mptp/8.1.15_5.94.1493/MPTP2/problems_small_thf/pappus

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]pappus__l2_pappus2025-09-12 22:48 73K 
[ ]pappus__l3_pappus2025-09-12 22:50 73K 
[ ]pappus__l4_pappus2025-09-12 22:52 73K 
[ ]pappus__l5_pappus2025-09-12 22:54 73K 
[ ]pappus__l21_pappus2025-09-12 22:57 155K 
[ ]pappus__l22_pappus2025-09-12 23:02 276K 
[ ]pappus__l23_pappus2025-09-12 23:04 58K 
[ ]pappus__t1_pappus2025-09-12 22:19 144K 
[ ]pappus__t2_pappus2025-09-12 22:22 78K 
[ ]pappus__t3_pappus2025-09-12 22:23 32K 
[ ]pappus__t4_pappus2025-09-12 22:24 16K 
[ ]pappus__t5_pappus2025-09-12 22:25 14K 
[ ]pappus__t6_pappus2025-09-12 22:27 14K 
[ ]pappus__t7_pappus2025-09-12 22:28 15K 
[ ]pappus__t8_pappus2025-09-12 22:29 16K 
[ ]pappus__t9_pappus2025-09-12 22:29 14K 
[ ]pappus__t10_pappus2025-09-12 22:30 14K 
[ ]pappus__t11_pappus2025-09-12 22:31 14K 
[ ]pappus__t12_pappus2025-09-12 22:32 12K 
[ ]pappus__t13_pappus2025-09-12 22:33 12K 
[ ]pappus__t14_pappus2025-09-12 22:34 13K 
[ ]pappus__t15_pappus2025-09-12 22:35 14K 
[ ]pappus__t16_pappus2025-09-12 22:36 15K 
[ ]pappus__t17_pappus2025-09-12 22:38 54K 
[ ]pappus__t18_pappus2025-09-12 22:15 49K 
[ ]pappus__t19_pappus2025-09-12 22:40 54K 
[ ]pappus__t20_pappus2025-09-12 22:42 60K 
[ ]pappus__t21_pappus2025-09-12 22:17 57K 
[ ]pappus__t22_pappus2025-09-12 22:45 438K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80