Index of /~mptp/8.1.15_5.94.1493/MPTP2/new1/proofs_1

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]proofs_1__l10_proofs_12025-09-07 22:47 18K 
[ ]proofs_1__l11_proofs_12025-09-07 22:48 23K 
[ ]proofs_1__l15_proofs_12025-09-07 22:20 16K 
[ ]proofs_1__l31_proofs_12025-09-07 22:49 13K 
[ ]proofs_1__l37_proofs_12025-09-07 22:50 22K 
[ ]proofs_1__l38_proofs_12025-09-07 22:51 23K 
[ ]proofs_1__l56_proofs_12025-09-07 22:52 11K 
[ ]proofs_1__l57_proofs_12025-09-07 22:53 12K 
[ ]proofs_1__t1_proofs_12025-09-07 22:21 26K 
[ ]proofs_1__t2_proofs_12025-09-07 22:22 24K 
[ ]proofs_1__t3_proofs_12025-09-07 22:24 31K 
[ ]proofs_1__t4_proofs_12025-09-07 22:25 15K 
[ ]proofs_1__t5_proofs_12025-09-07 22:18 17K 
[ ]proofs_1__t6_proofs_12025-09-07 22:26 9.4K 
[ ]proofs_1__t7_proofs_12025-09-07 22:26 12K 
[ ]proofs_1__t8_proofs_12025-09-07 22:28 23K 
[ ]proofs_1__t9_proofs_12025-09-07 22:29 23K 
[ ]proofs_1__t10_proofs_12025-09-07 22:30 19K 
[ ]proofs_1__t11_proofs_12025-09-07 22:31 38K 
[ ]proofs_1__t12_proofs_12025-09-07 22:32 21K 
[ ]proofs_1__t13_proofs_12025-09-07 22:34 34K 
[ ]proofs_1__t14_proofs_12025-09-07 22:35 19K 
[ ]proofs_1__t15_proofs_12025-09-07 22:36 16K 
[ ]proofs_1__t16_proofs_12025-09-07 22:37 14K 
[ ]proofs_1__t17_proofs_12025-09-07 22:38 20K 
[ ]proofs_1__t18_proofs_12025-09-07 22:19 19K 
[ ]proofs_1__t19_proofs_12025-09-07 22:39 23K 
[ ]proofs_1__t20_proofs_12025-09-07 22:40 24K 
[ ]proofs_1__t21_proofs_12025-09-07 22:41 12K 
[ ]proofs_1__t22_proofs_12025-09-07 22:43 22K 
[ ]proofs_1__t23_proofs_12025-09-07 22:44 17K 
[ ]proofs_1__t24_proofs_12025-09-07 22:45 19K 
[ ]proofs_1__t25_proofs_12025-09-07 22:46 23K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80