Index of /~mptp/mml5.63.1382/8.1.10_5.63.1382/mptp/problems_small_thf.orig2021/cardfil4

	Name	Last modified	Size	Description
	Parent Directory		-
	cardfil4__t1_cardfil4	2021-07-18 21:34	37K
	cardfil4__t2_cardfil4	2021-07-18 21:34	36K
	cardfil4__t3_cardfil4	2021-07-18 21:35	40K
	cardfil4__t4_cardfil4	2021-07-18 21:35	28K
	cardfil4__t5_cardfil4	2021-07-18 21:35	33K
	cardfil4__t6_cardfil4	2021-07-18 21:36	70K
	cardfil4__t7_cardfil4	2021-07-18 21:36	77K
	cardfil4__t8_cardfil4	2021-07-18 21:37	73K
	cardfil4__t9_cardfil4	2021-07-18 21:37	44K
	cardfil4__t10_cardfil4	2021-07-18 21:38	46K
	cardfil4__t11_cardfil4	2021-07-18 21:38	52K
	cardfil4__t12_cardfil4	2021-07-18 21:39	55K
	cardfil4__t13_cardfil4	2021-07-18 21:39	55K
	cardfil4__t14_cardfil4	2021-07-18 21:40	61K
	cardfil4__t15_cardfil4	2021-07-18 21:40	43K
	cardfil4__t16_cardfil4	2021-07-18 21:40	44K
	cardfil4__t17_cardfil4	2021-07-18 21:41	65K
	cardfil4__t18_cardfil4	2021-07-18 21:41	76K
	cardfil4__t19_cardfil4	2021-07-18 21:42	40K
	cardfil4__t20_cardfil4	2021-07-18 21:42	68K
	cardfil4__t21_cardfil4	2021-07-18 21:43	65K
	cardfil4__t22_cardfil4	2021-07-18 21:43	65K
	cardfil4__t23_cardfil4	2021-07-18 21:44	51K
	cardfil4__t24_cardfil4	2021-07-18 21:44	34K
	cardfil4__t25_cardfil4	2021-07-18 21:44	34K
	cardfil4__t26_cardfil4	2021-07-18 21:44	46K
	cardfil4__t27_cardfil4	2021-07-18 21:45	57K
	cardfil4__t28_cardfil4	2021-07-18 21:45	60K
	cardfil4__t29_cardfil4	2021-07-18 21:46	60K
	cardfil4__t30_cardfil4	2021-07-18 21:46	82K
	cardfil4__t31_cardfil4	2021-07-18 21:47	63K
	cardfil4__t32_cardfil4	2021-07-18 21:47	62K
	cardfil4__t33_cardfil4	2021-07-18 21:47	55K
	cardfil4__t34_cardfil4	2021-07-18 21:48	53K
	cardfil4__t35_cardfil4	2021-07-18 21:48	50K
	cardfil4__t36_cardfil4	2021-07-18 21:49	51K
	cardfil4__t37_cardfil4	2021-07-18 21:49	43K
	cardfil4__t38_cardfil4	2021-07-18 21:49	69K
	cardfil4__t39_cardfil4	2021-07-18 21:50	70K
	cardfil4__t40_cardfil4	2021-07-18 21:28	62K
	cardfil4__t41_cardfil4	2021-07-18 21:50	63K
	cardfil4__t42_cardfil4	2021-07-18 21:51	72K
	cardfil4__t43_cardfil4	2021-07-18 21:52	72K
	cardfil4__t44_cardfil4	2021-07-18 21:29	68K
	cardfil4__t45_cardfil4	2021-07-18 21:52	73K
	cardfil4__t46_cardfil4	2021-07-18 21:52	58K
	cardfil4__t47_cardfil4	2021-07-18 21:29	46K
	cardfil4__t48_cardfil4	2021-07-18 21:53	63K
	cardfil4__t49_cardfil4	2021-07-18 21:53	48K
	cardfil4__t50_cardfil4	2021-07-18 21:54	57K
	cardfil4__t51_cardfil4	2021-07-18 21:54	79K
	cardfil4__t52_cardfil4	2021-07-18 21:55	59K
	cardfil4__t53_cardfil4	2021-07-18 21:55	57K
	cardfil4__t54_cardfil4	2021-07-18 21:56	76K
	cardfil4__t55_cardfil4	2021-07-18 21:56	76K
	cardfil4__t56_cardfil4	2021-07-18 21:57	73K
	cardfil4__t57_cardfil4	2021-07-18 21:58	74K
	cardfil4__t58_cardfil4	2021-07-18 21:58	78K
	cardfil4__t59_cardfil4	2021-07-18 21:59	78K
	cardfil4__t60_cardfil4	2021-07-18 21:59	89K
	cardfil4__t61_cardfil4	2021-07-18 22:00	80K
	cardfil4__t62_cardfil4	2021-07-18 22:01	64K
	cardfil4__t63_cardfil4	2021-07-18 22:01	70K
	cardfil4__t64_cardfil4	2021-07-18 22:02	78K
	cardfil4__t65_cardfil4	2021-07-18 22:02	88K
	cardfil4__t66_cardfil4	2021-07-18 22:03	86K
	cardfil4__t67_cardfil4	2021-07-18 22:04	88K
	cardfil4__t68_cardfil4	2021-07-18 21:30	84K
	cardfil4__t69_cardfil4	2021-07-18 22:04	86K
	cardfil4__t70_cardfil4	2021-07-18 22:05	81K
	cardfil4__t71_cardfil4	2021-07-18 22:06	98K
	cardfil4__t72_cardfil4	2021-07-18 22:06	81K
	cardfil4__t73_cardfil4	2021-07-18 22:07	89K
	cardfil4__t74_cardfil4	2021-07-18 22:08	92K
	cardfil4__t75_cardfil4	2021-07-18 22:08	83K
	cardfil4__t76_cardfil4	2021-07-18 21:30	83K
	cardfil4__t77_cardfil4	2021-07-18 22:09	63K
	cardfil4__t78_cardfil4	2021-07-18 21:31	87K
	cardfil4__t79_cardfil4	2021-07-18 22:10	146K
	cardfil4__t80_cardfil4	2021-07-18 21:32	91K
	cardfil4__t81_cardfil4	2021-07-18 21:32	61K
	cardfil4__t82_cardfil4	2021-07-18 21:33	61K
	cardfil4__t83_cardfil4	2021-07-18 22:11	124K
	cardfil4__t84_cardfil4	2021-07-18 22:11	94K
	cardfil4__t85_cardfil4	2021-07-18 21:33	80K
	cardfil4__t86_cardfil4	2021-07-18 21:34	80K
	cardfil4__t87_cardfil4	2021-07-18 22:12	93K
	cardfil4__t88_cardfil4	2021-07-18 22:13	114K
	cardfil4__t89_cardfil4	2021-07-18 22:14	114K
	cardfil4__t90_cardfil4	2021-07-18 22:14	86K
	cardfil4__t91_cardfil4	2021-07-18 22:15	86K
	cardfil4__t92_cardfil4	2021-07-18 22:16	94K
	cardfil4__t93_cardfil4	2021-07-18 22:16	94K
	cardfil4__t94_cardfil4	2021-07-18 22:17	79K
	cardfil4__t95_cardfil4	2021-07-18 22:18	82K
	cardfil4__t96_cardfil4	2021-07-18 22:18	81K
	cardfil4__t97_cardfil4	2021-07-18 22:19	95K
	cardfil4__t98_cardfil4	2021-07-18 22:20	95K
	cardfil4__t99_cardfil4	2021-07-18 22:20	95K
	cardfil4__t100_cardfil4	2021-07-18 22:21	95K
	cardfil4__t101_cardfil4	2021-07-18 22:22	74K
	cardfil4__t102_cardfil4	2021-07-18 22:22	74K
	cardfil4__t103_cardfil4	2021-07-18 22:23	74K