Index of /~mptp/8.1.14_5.79.1465/MPTP2/problems_small/dblseq_3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]dblseq_3__l1_dblseq_32024-07-27 11:13 29K 
[ ]dblseq_3__l1_dblseq_3.vout2024-08-03 08:50 8.4K 
[ ]dblseq_3__l2_dblseq_32024-07-27 11:15 31K 
[ ]dblseq_3__l2_dblseq_3.vout2024-08-03 05:08 2.0K 
[ ]dblseq_3__l10_dblseq_32024-07-27 11:16 46K 
[ ]dblseq_3__l10_dblseq_3.vout2024-08-03 04:33 4.1K 
[ ]dblseq_3__l11_dblseq_32024-07-27 11:18 46K 
[ ]dblseq_3__l11_dblseq_3.vout2024-08-03 04:46 4.1K 
[ ]dblseq_3__l12_dblseq_32024-07-27 11:19 49K 
[ ]dblseq_3__l12_dblseq_3.vout2024-08-03 07:05 4.1K 
[ ]dblseq_3__l22_dblseq_32024-07-27 11:21 66K 
[ ]dblseq_3__l22_dblseq_3.vout2024-08-03 09:01 4.7K 
[ ]dblseq_3__l71_dblseq_32024-07-27 11:22 43K 
[ ]dblseq_3__l71_dblseq_3.vout2024-08-03 06:45 7.3K 
[ ]dblseq_3__l72_dblseq_32024-07-27 11:24 32K 
[ ]dblseq_3__l72_dblseq_3.vout2024-08-03 04:29 4.1K 
[ ]dblseq_3__l73_dblseq_32024-07-27 11:25 33K 
[ ]dblseq_3__l73_dblseq_3.vout2024-08-03 06:03 4.1K 
[ ]dblseq_3__l88_dblseq_32024-07-27 11:26 35K 
[ ]dblseq_3__l88_dblseq_3.vout2024-08-03 08:17 7.4K 
[ ]dblseq_3__l131_dblseq_32024-07-27 11:27 34K 
[ ]dblseq_3__l131_dblseq_3.depv12024-08-03 10:19 475  
[ ]dblseq_3__l131_dblseq_3.depvmin12024-08-03 10:24 447  
[ ]dblseq_3__l131_dblseq_3.vmin12024-08-03 10:19 4.0K 
[ ]dblseq_3__l131_dblseq_3.vmin1out2024-08-03 10:21 44K 
[ ]dblseq_3__l131_dblseq_3.vout2024-08-03 06:34 36K 
[ ]dblseq_3__t1_dblseq_32024-07-27 08:38 45K 
[ ]dblseq_3__t1_dblseq_3.vout2024-08-03 08:23 4.7K 
[ ]dblseq_3__t2_dblseq_32024-07-27 08:39 29K 
[ ]dblseq_3__t2_dblseq_3.depv12024-08-03 10:19 185  
[ ]dblseq_3__t2_dblseq_3.depvmin12024-08-03 10:24 185  
[ ]dblseq_3__t2_dblseq_3.vmin12024-08-03 10:19 2.0K 
[ ]dblseq_3__t2_dblseq_3.vmin1out2024-08-03 10:20 39K 
[ ]dblseq_3__t2_dblseq_3.vout2024-08-03 08:54 43K 
[ ]dblseq_3__t3_dblseq_32024-07-27 08:40 35K 
[ ]dblseq_3__t3_dblseq_3.vout2024-08-03 09:59 4.1K 
[ ]dblseq_3__t4_dblseq_32024-07-27 08:42 37K 
[ ]dblseq_3__t4_dblseq_3.vout2024-08-03 09:38 7.9K 
[ ]dblseq_3__t5_dblseq_32024-07-27 08:43 39K 
[ ]dblseq_3__t5_dblseq_3.vout2024-08-03 08:11 4.1K 
[ ]dblseq_3__t6_dblseq_32024-07-27 08:44 31K 
[ ]dblseq_3__t6_dblseq_3.depv12024-08-03 10:19 298  
[ ]dblseq_3__t6_dblseq_3.depvmin12024-08-03 10:24 285  
[ ]dblseq_3__t6_dblseq_3.vmin12024-08-03 10:19 2.7K 
[ ]dblseq_3__t6_dblseq_3.vmin1out2024-08-03 10:21 35K 
[ ]dblseq_3__t6_dblseq_3.vout2024-08-03 06:31 34K 
[ ]dblseq_3__t7_dblseq_32024-07-27 08:46 55K 
[ ]dblseq_3__t7_dblseq_3.vout2024-08-03 06:34 6.8K 
[ ]dblseq_3__t8_dblseq_32024-07-27 08:47 50K 
[ ]dblseq_3__t8_dblseq_3.vout2024-08-03 06:19 4.1K 
[ ]dblseq_3__t9_dblseq_32024-07-27 08:49 50K 
[ ]dblseq_3__t9_dblseq_3.vout2024-08-03 08:42 4.1K 
[ ]dblseq_3__t10_dblseq_32024-07-27 08:50 36K 
[ ]dblseq_3__t10_dblseq_3.depv12024-08-03 10:19 329  
[ ]dblseq_3__t10_dblseq_3.depvmin12024-08-03 10:24 277  
[ ]dblseq_3__t10_dblseq_3.vmin12024-08-03 10:19 7.2K 
[ ]dblseq_3__t10_dblseq_3.vmin1out2024-08-03 10:23 54K 
[ ]dblseq_3__t10_dblseq_3.vout2024-08-03 07:40 173K 
[ ]dblseq_3__t11_dblseq_32024-07-27 08:51 42K 
[ ]dblseq_3__t11_dblseq_3.vout2024-08-03 08:57 7.3K 
[ ]dblseq_3__t12_dblseq_32024-07-27 08:53 42K 
[ ]dblseq_3__t12_dblseq_3.vout2024-08-03 06:51 7.3K 
[ ]dblseq_3__t13_dblseq_32024-07-27 08:54 43K 
[ ]dblseq_3__t13_dblseq_3.vout2024-08-03 05:44 7.3K 
[ ]dblseq_3__t14_dblseq_32024-07-27 08:55 46K 
[ ]dblseq_3__t14_dblseq_3.vout2024-08-03 08:56 4.1K 
[ ]dblseq_3__t15_dblseq_32024-07-27 08:57 46K 
[ ]dblseq_3__t15_dblseq_3.vout2024-08-03 06:50 4.1K 
[ ]dblseq_3__t16_dblseq_32024-07-27 08:58 47K 
[ ]dblseq_3__t16_dblseq_3.vout2024-08-03 08:36 4.1K 
[ ]dblseq_3__t17_dblseq_32024-07-27 09:00 31K 
[ ]dblseq_3__t17_dblseq_3.depv12024-08-03 10:19 155  
[ ]dblseq_3__t17_dblseq_3.depvmin12024-08-03 10:24 116  
[ ]dblseq_3__t17_dblseq_3.vmin12024-08-03 10:19 3.1K 
[ ]dblseq_3__t17_dblseq_3.vmin1out2024-08-03 10:23 28K 
[ ]dblseq_3__t17_dblseq_3.vout2024-08-03 05:19 54K 
[ ]dblseq_3__t18_dblseq_32024-07-27 09:01 116K 
[ ]dblseq_3__t18_dblseq_3.vout2024-08-03 08:24 4.7K 
[ ]dblseq_3__t19_dblseq_32024-07-27 09:03 67K 
[ ]dblseq_3__t19_dblseq_3.vout2024-08-03 04:39 4.7K 
[ ]dblseq_3__t20_dblseq_32024-07-27 09:05 67K 
[ ]dblseq_3__t20_dblseq_3.vout2024-08-03 08:43 4.7K 
[ ]dblseq_3__t21_dblseq_32024-07-27 09:07 116K 
[ ]dblseq_3__t21_dblseq_3.vout2024-08-03 10:12 4.7K 
[ ]dblseq_3__t22_dblseq_32024-07-27 09:08 68K 
[ ]dblseq_3__t22_dblseq_3.vout2024-08-03 10:08 4.7K 
[ ]dblseq_3__t23_dblseq_32024-07-27 09:10 119K 
[ ]dblseq_3__t23_dblseq_3.vout2024-08-03 08:54 4.7K 
[ ]dblseq_3__t24_dblseq_32024-07-27 09:12 51K 
[ ]dblseq_3__t24_dblseq_3.vout2024-08-03 08:25 4.7K 
[ ]dblseq_3__t25_dblseq_32024-07-27 09:13 55K 
[ ]dblseq_3__t25_dblseq_3.vout2024-08-03 04:34 4.7K 
[ ]dblseq_3__t26_dblseq_32024-07-27 09:15 62K 
[ ]dblseq_3__t26_dblseq_3.vout2024-08-03 09:53 4.7K 
[ ]dblseq_3__t27_dblseq_32024-07-27 09:17 53K 
[ ]dblseq_3__t27_dblseq_3.vout2024-08-03 06:48 4.7K 
[ ]dblseq_3__t28_dblseq_32024-07-27 09:18 53K 
[ ]dblseq_3__t28_dblseq_3.vout2024-08-03 07:51 4.7K 
[ ]dblseq_3__t29_dblseq_32024-07-27 09:19 33K 
[ ]dblseq_3__t29_dblseq_3.depv12024-08-03 10:19 83  
[ ]dblseq_3__t29_dblseq_3.depvmin12024-08-03 10:24 83  
[ ]dblseq_3__t29_dblseq_3.vmin12024-08-03 10:19 2.1K 
[ ]dblseq_3__t29_dblseq_3.vmin1out2024-08-03 10:23 37K 
[ ]dblseq_3__t29_dblseq_3.vout2024-08-03 09:42 40K 
[ ]dblseq_3__t30_dblseq_32024-07-27 09:21 33K 
[ ]dblseq_3__t30_dblseq_3.vout2024-08-03 04:23 7.3K 
[ ]dblseq_3__t31_dblseq_32024-07-27 09:22 28K 
[ ]dblseq_3__t31_dblseq_3.vout2024-08-03 09:44 2.0K 
[ ]dblseq_3__t32_dblseq_32024-07-27 09:23 32K 
[ ]dblseq_3__t32_dblseq_3.depv12024-08-03 10:19 127  
[ ]dblseq_3__t32_dblseq_3.depvmin12024-08-03 10:24 127  
[ ]dblseq_3__t32_dblseq_3.vmin12024-08-03 10:19 3.6K 
[ ]dblseq_3__t32_dblseq_3.vmin1out2024-08-03 10:22 75K 
[ ]dblseq_3__t32_dblseq_3.vout2024-08-03 04:11 56K 
[ ]dblseq_3__t33_dblseq_32024-07-27 09:25 32K 
[ ]dblseq_3__t33_dblseq_3.depv12024-08-03 10:19 127  
[ ]dblseq_3__t33_dblseq_3.depvmin12024-08-03 10:24 127  
[ ]dblseq_3__t33_dblseq_3.vmin12024-08-03 10:19 3.6K 
[ ]dblseq_3__t33_dblseq_3.vmin1out2024-08-03 10:21 75K 
[ ]dblseq_3__t33_dblseq_3.vout2024-08-03 10:07 56K 
[ ]dblseq_3__t34_dblseq_32024-07-27 09:26 35K 
[ ]dblseq_3__t34_dblseq_3.vout2024-08-03 05:55 4.1K 
[ ]dblseq_3__t35_dblseq_32024-07-27 09:27 35K 
[ ]dblseq_3__t35_dblseq_3.vout2024-08-03 06:47 4.1K 
[ ]dblseq_3__t36_dblseq_32024-07-27 09:29 31K 
[ ]dblseq_3__t36_dblseq_3.vout2024-08-03 04:18 4.1K 
[ ]dblseq_3__t37_dblseq_32024-07-27 09:30 35K 
[ ]dblseq_3__t37_dblseq_3.vout2024-08-03 07:36 4.1K 
[ ]dblseq_3__t38_dblseq_32024-07-27 09:31 32K 
[ ]dblseq_3__t38_dblseq_3.vout2024-08-03 06:17 4.1K 
[ ]dblseq_3__t39_dblseq_32024-07-27 09:33 39K 
[ ]dblseq_3__t39_dblseq_3.vout2024-08-03 07:06 7.3K 
[ ]dblseq_3__t40_dblseq_32024-07-27 09:34 33K 
[ ]dblseq_3__t40_dblseq_3.vout2024-08-03 08:28 4.1K 
[ ]dblseq_3__t41_dblseq_32024-07-27 09:35 42K 
[ ]dblseq_3__t41_dblseq_3.vout2024-08-03 09:19 4.7K 
[ ]dblseq_3__t42_dblseq_32024-07-27 09:37 48K 
[ ]dblseq_3__t42_dblseq_3.vout2024-08-03 07:50 4.7K 
[ ]dblseq_3__t43_dblseq_32024-07-27 09:38 41K 
[ ]dblseq_3__t43_dblseq_3.vout2024-08-03 07:04 6.8K 
[ ]dblseq_3__t44_dblseq_32024-07-27 09:40 46K 
[ ]dblseq_3__t44_dblseq_3.vout2024-08-03 10:05 4.7K 
[ ]dblseq_3__t45_dblseq_32024-07-27 09:41 41K 
[ ]dblseq_3__t45_dblseq_3.vout2024-08-03 05:24 4.1K 
[ ]dblseq_3__t46_dblseq_32024-07-27 09:43 40K 
[ ]dblseq_3__t46_dblseq_3.vout2024-08-03 04:24 4.1K 
[ ]dblseq_3__t47_dblseq_32024-07-27 09:44 42K 
[ ]dblseq_3__t47_dblseq_3.vout2024-08-03 07:56 7.3K 
[ ]dblseq_3__t48_dblseq_32024-07-27 09:46 49K 
[ ]dblseq_3__t48_dblseq_3.vout2024-08-03 07:36 4.1K 
[ ]dblseq_3__t49_dblseq_32024-07-27 08:35 30K 
[ ]dblseq_3__t49_dblseq_3.depv12024-08-03 10:19 39  
[ ]dblseq_3__t49_dblseq_3.depvmin12024-08-03 10:24 39  
[ ]dblseq_3__t49_dblseq_3.vmin12024-08-03 10:19 1.1K 
[ ]dblseq_3__t49_dblseq_3.vmin1out2024-08-03 10:22 9.2K 
[ ]dblseq_3__t49_dblseq_3.vout2024-08-03 09:21 8.4K 
[ ]dblseq_3__t50_dblseq_32024-07-27 09:47 32K 
[ ]dblseq_3__t50_dblseq_3.vout2024-08-03 06:48 4.1K 
[ ]dblseq_3__t51_dblseq_32024-07-27 09:48 32K 
[ ]dblseq_3__t51_dblseq_3.vout2024-08-03 04:14 4.1K 
[ ]dblseq_3__t52_dblseq_32024-07-27 09:49 34K 
[ ]dblseq_3__t52_dblseq_3.vout2024-08-03 09:39 4.1K 
[ ]dblseq_3__t53_dblseq_32024-07-27 09:51 34K 
[ ]dblseq_3__t53_dblseq_3.vout2024-08-03 10:09 4.1K 
[ ]dblseq_3__t54_dblseq_32024-07-27 09:52 46K 
[ ]dblseq_3__t54_dblseq_3.vout2024-08-03 05:44 4.7K 
[ ]dblseq_3__t55_dblseq_32024-07-27 09:54 61K 
[ ]dblseq_3__t55_dblseq_3.vout2024-08-03 04:50 4.7K 
[ ]dblseq_3__t56_dblseq_32024-07-27 09:56 61K 
[ ]dblseq_3__t56_dblseq_3.vout2024-08-03 07:00 4.7K 
[ ]dblseq_3__t57_dblseq_32024-07-27 09:57 61K 
[ ]dblseq_3__t57_dblseq_3.vout2024-08-03 09:35 4.7K 
[ ]dblseq_3__t58_dblseq_32024-07-27 09:59 61K 
[ ]dblseq_3__t58_dblseq_3.vout2024-08-03 06:59 4.7K 
[ ]dblseq_3__t59_dblseq_32024-07-27 10:01 62K 
[ ]dblseq_3__t59_dblseq_3.vout2024-08-03 06:20 4.7K 
[ ]dblseq_3__t60_dblseq_32024-07-27 10:03 62K 
[ ]dblseq_3__t60_dblseq_3.vout2024-08-03 07:04 4.7K 
[ ]dblseq_3__t61_dblseq_32024-07-27 10:04 45K 
[ ]dblseq_3__t61_dblseq_3.vout2024-08-03 04:48 7.4K 
[ ]dblseq_3__t62_dblseq_32024-07-27 10:06 34K 
[ ]dblseq_3__t62_dblseq_3.vout2024-08-03 06:44 2.0K 
[ ]dblseq_3__t63_dblseq_32024-07-27 10:07 60K 
[ ]dblseq_3__t63_dblseq_3.vout2024-08-03 07:56 4.7K 
[ ]dblseq_3__t64_dblseq_32024-07-27 10:09 35K 
[ ]dblseq_3__t64_dblseq_3.vout2024-08-03 04:53 4.1K 
[ ]dblseq_3__t65_dblseq_32024-07-27 10:10 36K 
[ ]dblseq_3__t65_dblseq_3.vout2024-08-03 04:52 7.3K 
[ ]dblseq_3__t66_dblseq_32024-07-27 08:36 29K 
[ ]dblseq_3__t66_dblseq_3.vout2024-08-03 07:37 2.0K 
[ ]dblseq_3__t67_dblseq_32024-07-27 10:12 51K 
[ ]dblseq_3__t67_dblseq_3.vout2024-08-03 04:25 6.8K 
[ ]dblseq_3__t68_dblseq_32024-07-27 10:13 51K 
[ ]dblseq_3__t68_dblseq_3.vout2024-08-03 04:33 6.8K 
[ ]dblseq_3__t69_dblseq_32024-07-27 10:15 40K 
[ ]dblseq_3__t69_dblseq_3.vout2024-08-03 05:40 6.8K 
[ ]dblseq_3__t70_dblseq_32024-07-27 10:16 40K 
[ ]dblseq_3__t70_dblseq_3.vout2024-08-03 06:54 7.3K 
[ ]dblseq_3__t71_dblseq_32024-07-27 10:17 35K 
[ ]dblseq_3__t71_dblseq_3.vout2024-08-03 04:22 4.7K 
[ ]dblseq_3__t72_dblseq_32024-07-27 10:19 46K 
[ ]dblseq_3__t72_dblseq_3.vout2024-08-03 10:02 7.4K 
[ ]dblseq_3__t73_dblseq_32024-07-27 10:20 46K 
[ ]dblseq_3__t73_dblseq_3.vout2024-08-03 05:39 7.4K 
[ ]dblseq_3__t74_dblseq_32024-07-27 10:22 56K 
[ ]dblseq_3__t74_dblseq_3.vout2024-08-03 08:52 6.8K 
[ ]dblseq_3__t75_dblseq_32024-07-27 10:23 43K 
[ ]dblseq_3__t75_dblseq_3.vout2024-08-03 06:24 4.7K 
[ ]dblseq_3__t76_dblseq_32024-07-27 10:25 42K 
[ ]dblseq_3__t76_dblseq_3.vout2024-08-03 06:02 7.3K 
[ ]dblseq_3__t77_dblseq_32024-07-27 10:26 57K 
[ ]dblseq_3__t77_dblseq_3.vout2024-08-03 10:01 4.7K 
[ ]dblseq_3__t78_dblseq_32024-07-27 10:28 40K 
[ ]dblseq_3__t78_dblseq_3.vout2024-08-03 07:49 4.7K 
[ ]dblseq_3__t79_dblseq_32024-07-27 10:30 134K 
[ ]dblseq_3__t79_dblseq_3.vout2024-08-03 05:33 4.7K 
[ ]dblseq_3__t80_dblseq_32024-07-27 10:32 132K 
[ ]dblseq_3__t80_dblseq_3.vout2024-08-03 05:35 4.7K 
[ ]dblseq_3__t81_dblseq_32024-07-27 10:33 32K 
[ ]dblseq_3__t81_dblseq_3.depv12024-08-03 10:19 254  
[ ]dblseq_3__t81_dblseq_3.depvmin12024-08-03 10:24 227  
[ ]dblseq_3__t81_dblseq_3.vmin12024-08-03 10:19 6.3K 
[ ]dblseq_3__t81_dblseq_3.vmin1out2024-08-03 10:22 47K 
[ ]dblseq_3__t81_dblseq_3.vout2024-08-03 04:57 169K 
[ ]dblseq_3__t82_dblseq_32024-07-27 10:35 42K 
[ ]dblseq_3__t82_dblseq_3.vout2024-08-03 06:02 4.1K 
[ ]dblseq_3__t83_dblseq_32024-07-27 10:37 68K 
[ ]dblseq_3__t83_dblseq_3.vout2024-08-03 09:38 6.8K 
[ ]dblseq_3__t84_dblseq_32024-07-27 10:38 41K 
[ ]dblseq_3__t84_dblseq_3.vout2024-08-03 05:56 4.1K 
[ ]dblseq_3__t85_dblseq_32024-07-27 10:40 40K 
[ ]dblseq_3__t85_dblseq_3.vout2024-08-03 09:07 7.3K 
[ ]dblseq_3__t86_dblseq_32024-07-27 10:41 34K 
[ ]dblseq_3__t86_dblseq_3.vout2024-08-03 07:06 7.4K 
[ ]dblseq_3__t87_dblseq_32024-07-27 10:42 34K 
[ ]dblseq_3__t87_dblseq_3.vout2024-08-03 05:29 7.4K 
[ ]dblseq_3__t88_dblseq_32024-07-27 10:44 58K 
[ ]dblseq_3__t88_dblseq_3.vout2024-08-03 08:33 6.8K 
[ ]dblseq_3__t89_dblseq_32024-07-27 10:45 42K 
[ ]dblseq_3__t89_dblseq_3.vout2024-08-03 04:10 6.8K 
[ ]dblseq_3__t90_dblseq_32024-07-27 10:46 34K 
[ ]dblseq_3__t90_dblseq_3.vout2024-08-03 08:17 4.1K 
[ ]dblseq_3__t91_dblseq_32024-07-27 10:48 52K 
[ ]dblseq_3__t91_dblseq_3.vout2024-08-03 04:30 4.7K 
[ ]dblseq_3__t92_dblseq_32024-07-27 10:50 41K 
[ ]dblseq_3__t92_dblseq_3.vout2024-08-03 04:21 4.1K 
[ ]dblseq_3__t93_dblseq_32024-07-27 10:51 64K 
[ ]dblseq_3__t93_dblseq_3.vout2024-08-03 04:09 4.7K 
[ ]dblseq_3__t94_dblseq_32024-07-27 10:53 64K 
[ ]dblseq_3__t94_dblseq_3.vout2024-08-03 08:32 4.7K 
[ ]dblseq_3__t95_dblseq_32024-07-27 10:55 50K 
[ ]dblseq_3__t95_dblseq_3.vout2024-08-03 07:12 4.7K 
[ ]dblseq_3__t96_dblseq_32024-07-27 10:57 54K 
[ ]dblseq_3__t96_dblseq_3.vout2024-08-03 08:59 4.7K 
[ ]dblseq_3__t97_dblseq_32024-07-27 10:59 33K 
[ ]dblseq_3__t97_dblseq_3.vout2024-08-03 08:30 7.3K 
[ ]dblseq_3__t98_dblseq_32024-07-27 11:00 33K 
[ ]dblseq_3__t98_dblseq_3.depv12024-08-03 10:19 345  
[ ]dblseq_3__t98_dblseq_3.depvmin12024-08-03 10:24 345  
[ ]dblseq_3__t98_dblseq_3.vmin12024-08-03 10:19 3.6K 
[ ]dblseq_3__t98_dblseq_3.vmin1out2024-08-03 10:20 41K 
[ ]dblseq_3__t98_dblseq_3.vout2024-08-03 04:36 42K 
[ ]dblseq_3__t99_dblseq_32024-07-27 11:01 32K 
[ ]dblseq_3__t99_dblseq_3.vout2024-08-03 08:41 7.4K 
[ ]dblseq_3__t100_dblseq_32024-07-27 11:03 33K 
[ ]dblseq_3__t100_dblseq_3.vout2024-08-03 07:00 7.4K 
[ ]dblseq_3__t101_dblseq_32024-07-27 11:04 40K 
[ ]dblseq_3__t101_dblseq_3.vout2024-08-03 09:12 4.7K 
[ ]dblseq_3__t102_dblseq_32024-07-27 11:06 59K 
[ ]dblseq_3__t102_dblseq_3.vout2024-08-03 04:20 4.7K 
[ ]dblseq_3__t103_dblseq_32024-07-27 11:09 122K 
[ ]dblseq_3__t103_dblseq_3.vout2024-08-03 09:11 4.7K 
[ ]dblseq_3__t104_dblseq_32024-07-27 11:11 54K 
[ ]dblseq_3__t104_dblseq_3.vout2024-08-03 06:22 4.7K 
[ ]dblseq_3__t105_dblseq_32024-07-27 11:12 38K 
[ ]dblseq_3__t105_dblseq_3.vout2024-08-03 04:31 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80