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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]tex_4__l63_tex_42025-09-13 05:24 25K 
[ ]tex_4__l91_tex_42025-09-13 05:24 21K 
[ ]tex_4__l98_tex_42025-09-13 05:25 22K 
[ ]tex_4__t1_tex_42025-09-13 04:18 26K 
[ ]tex_4__t2_tex_42025-09-13 04:18 24K 
[ ]tex_4__t3_tex_42025-09-13 04:19 25K 
[ ]tex_4__t4_tex_42025-09-13 04:20 18K 
[ ]tex_4__t5_tex_42025-09-13 04:21 17K 
[ ]tex_4__t6_tex_42025-09-13 04:22 18K 
[ ]tex_4__t7_tex_42025-09-13 04:10 14K 
[ ]tex_4__t8_tex_42025-09-13 04:22 18K 
[ ]tex_4__t9_tex_42025-09-13 04:23 16K 
[ ]tex_4__t10_tex_42025-09-13 04:24 15K 
[ ]tex_4__t11_tex_42025-09-13 04:24 18K 
[ ]tex_4__t12_tex_42025-09-13 04:25 18K 
[ ]tex_4__t13_tex_42025-09-13 04:26 18K 
[ ]tex_4__t14_tex_42025-09-13 04:27 17K 
[ ]tex_4__t15_tex_42025-09-13 04:27 15K 
[ ]tex_4__t16_tex_42025-09-13 04:28 16K 
[ ]tex_4__t17_tex_42025-09-13 04:29 16K 
[ ]tex_4__t18_tex_42025-09-13 04:11 18K 
[ ]tex_4__t19_tex_42025-09-13 04:29 17K 
[ ]tex_4__t20_tex_42025-09-13 04:30 18K 
[ ]tex_4__t21_tex_42025-09-13 04:31 18K 
[ ]tex_4__t22_tex_42025-09-13 04:32 20K 
[ ]tex_4__t23_tex_42025-09-13 04:33 18K 
[ ]tex_4__t24_tex_42025-09-13 04:33 18K 
[ ]tex_4__t25_tex_42025-09-13 04:34 25K 
[ ]tex_4__t26_tex_42025-09-13 04:35 25K 
[ ]tex_4__t27_tex_42025-09-13 04:11 17K 
[ ]tex_4__t28_tex_42025-09-13 04:36 19K 
[ ]tex_4__t29_tex_42025-09-13 04:37 22K 
[ ]tex_4__t30_tex_42025-09-13 04:37 22K 
[ ]tex_4__t31_tex_42025-09-13 04:38 18K 
[ ]tex_4__t32_tex_42025-09-13 04:39 19K 
[ ]tex_4__t33_tex_42025-09-13 04:40 18K 
[ ]tex_4__t34_tex_42025-09-13 04:40 18K 
[ ]tex_4__t35_tex_42025-09-13 04:12 18K 
[ ]tex_4__t36_tex_42025-09-13 04:41 21K 
[ ]tex_4__t37_tex_42025-09-13 04:42 20K 
[ ]tex_4__t38_tex_42025-09-13 04:43 21K 
[ ]tex_4__t39_tex_42025-09-13 04:44 27K 
[ ]tex_4__t40_tex_42025-09-13 04:44 21K 
[ ]tex_4__t41_tex_42025-09-13 04:45 27K 
[ ]tex_4__t42_tex_42025-09-13 04:46 25K 
[ ]tex_4__t43_tex_42025-09-13 04:47 23K 
[ ]tex_4__t44_tex_42025-09-13 04:48 25K 
[ ]tex_4__t45_tex_42025-09-13 04:48 23K 
[ ]tex_4__t46_tex_42025-09-13 04:49 25K 
[ ]tex_4__t47_tex_42025-09-13 04:50 25K 
[ ]tex_4__t48_tex_42025-09-13 04:51 26K 
[ ]tex_4__t49_tex_42025-09-13 04:52 30K 
[ ]tex_4__t50_tex_42025-09-13 04:13 27K 
[ ]tex_4__t51_tex_42025-09-13 04:53 37K 
[ ]tex_4__t52_tex_42025-09-13 04:54 36K 
[ ]tex_4__t53_tex_42025-09-13 04:55 38K 
[ ]tex_4__t54_tex_42025-09-13 04:56 36K 
[ ]tex_4__t55_tex_42025-09-13 04:14 24K 
[ ]tex_4__t56_tex_42025-09-13 04:57 25K 
[ ]tex_4__t57_tex_42025-09-13 04:14 26K 
[ ]tex_4__t58_tex_42025-09-13 04:15 24K 
[ ]tex_4__t59_tex_42025-09-13 04:58 27K 
[ ]tex_4__t60_tex_42025-09-13 04:59 27K 
[ ]tex_4__t61_tex_42025-09-13 04:16 26K 
[ ]tex_4__t62_tex_42025-09-13 04:17 27K 
[ ]tex_4__t63_tex_42025-09-13 05:00 27K 
[ ]tex_4__t64_tex_42025-09-13 05:01 35K 
[ ]tex_4__t65_tex_42025-09-13 05:02 35K 
[ ]tex_4__t66_tex_42025-09-13 05:03 39K 
[ ]tex_4__t67_tex_42025-09-13 05:04 41K 
[ ]tex_4__t68_tex_42025-09-13 05:05 45K 
[ ]tex_4__t69_tex_42025-09-13 05:05 45K 
[ ]tex_4__t70_tex_42025-09-13 05:06 36K 
[ ]tex_4__t71_tex_42025-09-13 05:07 36K 
[ ]tex_4__t72_tex_42025-09-13 05:08 44K 
[ ]tex_4__t73_tex_42025-09-13 05:09 25K 
[ ]tex_4__t74_tex_42025-09-13 05:10 23K 
[ ]tex_4__t75_tex_42025-09-13 05:11 25K 
[ ]tex_4__t76_tex_42025-09-13 05:12 56K 
[ ]tex_4__t77_tex_42025-09-13 05:13 56K 
[ ]tex_4__t78_tex_42025-09-13 05:14 50K 
[ ]tex_4__t79_tex_42025-09-13 05:14 21K 
[ ]tex_4__t80_tex_42025-09-13 05:15 21K 
[ ]tex_4__t81_tex_42025-09-13 05:16 25K 
[ ]tex_4__t82_tex_42025-09-13 05:17 27K 
[ ]tex_4__t83_tex_42025-09-13 05:18 27K 
[ ]tex_4__t84_tex_42025-09-13 05:18 26K 
[ ]tex_4__t85_tex_42025-09-13 05:19 26K 
[ ]tex_4__t86_tex_42025-09-13 05:20 26K 
[ ]tex_4__t87_tex_42025-09-13 05:21 26K 
[ ]tex_4__t88_tex_42025-09-13 05:22 52K 
[ ]tex_4__t89_tex_42025-09-13 05:23 52K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80