Index of /~mptp/mml5.63.1382/MPTP2/problems_small/dblseq_3

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]dblseq_3__l1_dblseq_32021-07-18 00:16 25K 
[ ]dblseq_3__l1_dblseq_3.vout2021-07-25 16:44 8.4K 
[ ]dblseq_3__l2_dblseq_32021-07-18 00:16 27K 
[ ]dblseq_3__l2_dblseq_3.vout2021-07-25 17:11 2.0K 
[ ]dblseq_3__l10_dblseq_32021-07-18 00:17 42K 
[ ]dblseq_3__l10_dblseq_3.vout2021-07-25 18:34 4.1K 
[ ]dblseq_3__l11_dblseq_32021-07-18 00:17 42K 
[ ]dblseq_3__l11_dblseq_3.vout2021-07-25 14:28 4.1K 
[ ]dblseq_3__l12_dblseq_32021-07-18 00:18 44K 
[ ]dblseq_3__l12_dblseq_3.vout2021-07-25 19:43 4.1K 
[ ]dblseq_3__l22_dblseq_32021-07-18 00:18 62K 
[ ]dblseq_3__l22_dblseq_3.vout2021-07-25 17:21 4.7K 
[ ]dblseq_3__l71_dblseq_32021-07-18 00:19 39K 
[ ]dblseq_3__l71_dblseq_3.vout2021-07-25 16:11 6.8K 
[ ]dblseq_3__l72_dblseq_32021-07-18 00:19 28K 
[ ]dblseq_3__l72_dblseq_3.vout2021-07-25 18:48 4.1K 
[ ]dblseq_3__l73_dblseq_32021-07-18 00:19 29K 
[ ]dblseq_3__l73_dblseq_3.vout2021-07-25 19:58 4.1K 
[ ]dblseq_3__l88_dblseq_32021-07-18 00:20 31K 
[ ]dblseq_3__l88_dblseq_3.vout2021-07-25 14:26 7.3K 
[ ]dblseq_3__l131_dblseq_32021-07-18 00:20 31K 
[ ]dblseq_3__l131_dblseq_3.depv12021-07-25 20:57 475  
[ ]dblseq_3__l131_dblseq_3.depvmin12021-07-25 21:03 447  
[ ]dblseq_3__l131_dblseq_3.vmin12021-07-25 20:57 4.0K 
[ ]dblseq_3__l131_dblseq_3.vmin1out2021-07-25 21:01 43K 
[ ]dblseq_3__l131_dblseq_3.vout2021-07-25 16:43 36K 
[ ]dblseq_3__t1_dblseq_32021-07-17 23:21 41K 
[ ]dblseq_3__t1_dblseq_3.vout2021-07-25 16:12 4.7K 
[ ]dblseq_3__t2_dblseq_32021-07-17 23:21 25K 
[ ]dblseq_3__t2_dblseq_3.depv12021-07-25 20:57 185  
[ ]dblseq_3__t2_dblseq_3.depvmin12021-07-25 21:03 185  
[ ]dblseq_3__t2_dblseq_3.vmin12021-07-25 20:57 2.0K 
[ ]dblseq_3__t2_dblseq_3.vmin1out2021-07-25 21:00 39K 
[ ]dblseq_3__t2_dblseq_3.vout2021-07-25 20:38 42K 
[ ]dblseq_3__t3_dblseq_32021-07-17 23:22 30K 
[ ]dblseq_3__t3_dblseq_3.vout2021-07-25 16:30 4.1K 
[ ]dblseq_3__t4_dblseq_32021-07-17 23:22 33K 
[ ]dblseq_3__t4_dblseq_3.vout2021-07-25 19:43 7.3K 
[ ]dblseq_3__t5_dblseq_32021-07-17 23:23 34K 
[ ]dblseq_3__t5_dblseq_3.vout2021-07-25 16:56 4.1K 
[ ]dblseq_3__t6_dblseq_32021-07-17 23:23 27K 
[ ]dblseq_3__t6_dblseq_3.depv12021-07-25 20:57 298  
[ ]dblseq_3__t6_dblseq_3.depvmin12021-07-25 21:03 285  
[ ]dblseq_3__t6_dblseq_3.vmin12021-07-25 20:57 2.7K 
[ ]dblseq_3__t6_dblseq_3.vmin1out2021-07-25 20:59 37K 
[ ]dblseq_3__t6_dblseq_3.vout2021-07-25 14:40 34K 
[ ]dblseq_3__t7_dblseq_32021-07-17 23:24 51K 
[ ]dblseq_3__t7_dblseq_3.vout2021-07-25 19:33 6.8K 
[ ]dblseq_3__t8_dblseq_32021-07-17 23:24 45K 
[ ]dblseq_3__t8_dblseq_3.vout2021-07-25 18:18 4.1K 
[ ]dblseq_3__t9_dblseq_32021-07-17 23:25 45K 
[ ]dblseq_3__t9_dblseq_3.vout2021-07-25 19:01 4.1K 
[ ]dblseq_3__t10_dblseq_32021-07-17 23:25 32K 
[ ]dblseq_3__t10_dblseq_3.depv12021-07-25 20:57 329  
[ ]dblseq_3__t10_dblseq_3.depvmin12021-07-25 21:03 277  
[ ]dblseq_3__t10_dblseq_3.vmin12021-07-25 20:57 7.2K 
[ ]dblseq_3__t10_dblseq_3.vmin1out2021-07-25 21:00 54K 
[ ]dblseq_3__t10_dblseq_3.vout2021-07-25 18:07 170K 
[ ]dblseq_3__t11_dblseq_32021-07-17 23:25 38K 
[ ]dblseq_3__t11_dblseq_3.vout2021-07-25 17:40 7.3K 
[ ]dblseq_3__t12_dblseq_32021-07-17 23:26 38K 
[ ]dblseq_3__t12_dblseq_3.vout2021-07-25 14:55 7.3K 
[ ]dblseq_3__t13_dblseq_32021-07-17 23:27 39K 
[ ]dblseq_3__t13_dblseq_3.vout2021-07-25 20:23 7.3K 
[ ]dblseq_3__t14_dblseq_32021-07-17 23:27 41K 
[ ]dblseq_3__t14_dblseq_3.vout2021-07-25 17:03 4.1K 
[ ]dblseq_3__t15_dblseq_32021-07-17 23:28 41K 
[ ]dblseq_3__t15_dblseq_3.vout2021-07-25 20:01 4.1K 
[ ]dblseq_3__t16_dblseq_32021-07-17 23:28 42K 
[ ]dblseq_3__t16_dblseq_3.vout2021-07-25 18:13 4.1K 
[ ]dblseq_3__t17_dblseq_32021-07-17 23:29 28K 
[ ]dblseq_3__t17_dblseq_3.depv12021-07-25 20:57 155  
[ ]dblseq_3__t17_dblseq_3.depvmin12021-07-25 21:03 116  
[ ]dblseq_3__t17_dblseq_3.vmin12021-07-25 20:57 3.1K 
[ ]dblseq_3__t17_dblseq_3.vmin1out2021-07-25 20:59 28K 
[ ]dblseq_3__t17_dblseq_3.vout2021-07-25 17:54 54K 
[ ]dblseq_3__t18_dblseq_32021-07-17 23:29 111K 
[ ]dblseq_3__t18_dblseq_3.vout2021-07-25 20:50 4.7K 
[ ]dblseq_3__t19_dblseq_32021-07-17 23:30 63K 
[ ]dblseq_3__t19_dblseq_3.vout2021-07-25 20:04 4.7K 
[ ]dblseq_3__t20_dblseq_32021-07-17 23:31 63K 
[ ]dblseq_3__t20_dblseq_3.vout2021-07-25 18:43 4.7K 
[ ]dblseq_3__t21_dblseq_32021-07-17 23:31 111K 
[ ]dblseq_3__t21_dblseq_3.vout2021-07-25 16:46 4.7K 
[ ]dblseq_3__t22_dblseq_32021-07-17 23:32 64K 
[ ]dblseq_3__t22_dblseq_3.vout2021-07-25 14:51 4.7K 
[ ]dblseq_3__t23_dblseq_32021-07-17 23:32 115K 
[ ]dblseq_3__t23_dblseq_3.vout2021-07-25 19:33 4.7K 
[ ]dblseq_3__t24_dblseq_32021-07-17 23:33 47K 
[ ]dblseq_3__t24_dblseq_3.vout2021-07-25 18:30 4.7K 
[ ]dblseq_3__t25_dblseq_32021-07-17 23:34 51K 
[ ]dblseq_3__t25_dblseq_3.vout2021-07-25 16:25 4.7K 
[ ]dblseq_3__t26_dblseq_32021-07-17 23:34 59K 
[ ]dblseq_3__t26_dblseq_3.vout2021-07-25 19:47 4.7K 
[ ]dblseq_3__t27_dblseq_32021-07-17 23:35 49K 
[ ]dblseq_3__t27_dblseq_3.vout2021-07-25 20:53 4.7K 
[ ]dblseq_3__t28_dblseq_32021-07-17 23:35 49K 
[ ]dblseq_3__t28_dblseq_3.vout2021-07-25 20:52 4.7K 
[ ]dblseq_3__t29_dblseq_32021-07-17 23:36 30K 
[ ]dblseq_3__t29_dblseq_3.depv12021-07-25 20:57 86  
[ ]dblseq_3__t29_dblseq_3.depvmin12021-07-25 21:03 86  
[ ]dblseq_3__t29_dblseq_3.vmin12021-07-25 20:57 2.2K 
[ ]dblseq_3__t29_dblseq_3.vmin1out2021-07-25 20:58 49K 
[ ]dblseq_3__t29_dblseq_3.vout2021-07-25 18:55 50K 
[ ]dblseq_3__t30_dblseq_32021-07-17 23:36 30K 
[ ]dblseq_3__t30_dblseq_3.depv12021-07-25 20:57 92  
[ ]dblseq_3__t30_dblseq_3.depvmin12021-07-25 21:03 83  
[ ]dblseq_3__t30_dblseq_3.vmin12021-07-25 20:57 2.6K 
[ ]dblseq_3__t30_dblseq_3.vmin1out2021-07-25 21:01 43K 
[ ]dblseq_3__t30_dblseq_3.vout2021-07-25 18:04 57K 
[ ]dblseq_3__t31_dblseq_32021-07-17 23:37 24K 
[ ]dblseq_3__t31_dblseq_3.vout2021-07-25 16:18 2.0K 
[ ]dblseq_3__t32_dblseq_32021-07-17 23:37 27K 
[ ]dblseq_3__t32_dblseq_3.depv12021-07-25 20:57 127  
[ ]dblseq_3__t32_dblseq_3.depvmin12021-07-25 21:03 127  
[ ]dblseq_3__t32_dblseq_3.vmin12021-07-25 20:57 3.6K 
[ ]dblseq_3__t32_dblseq_3.vmin1out2021-07-25 20:59 75K 
[ ]dblseq_3__t32_dblseq_3.vout2021-07-25 18:36 56K 
[ ]dblseq_3__t33_dblseq_32021-07-17 23:37 27K 
[ ]dblseq_3__t33_dblseq_3.depv12021-07-25 20:57 127  
[ ]dblseq_3__t33_dblseq_3.depvmin12021-07-25 21:03 127  
[ ]dblseq_3__t33_dblseq_3.vmin12021-07-25 20:57 3.6K 
[ ]dblseq_3__t33_dblseq_3.vmin1out2021-07-25 21:01 75K 
[ ]dblseq_3__t33_dblseq_3.vout2021-07-25 14:33 56K 
[ ]dblseq_3__t34_dblseq_32021-07-17 23:38 30K 
[ ]dblseq_3__t34_dblseq_3.vout2021-07-25 20:39 4.1K 
[ ]dblseq_3__t35_dblseq_32021-07-17 23:38 30K 
[ ]dblseq_3__t35_dblseq_3.vout2021-07-25 18:45 4.1K 
[ ]dblseq_3__t36_dblseq_32021-07-17 23:39 27K 
[ ]dblseq_3__t36_dblseq_3.vout2021-07-25 15:31 4.1K 
[ ]dblseq_3__t37_dblseq_32021-07-17 23:39 31K 
[ ]dblseq_3__t37_dblseq_3.vout2021-07-25 14:44 4.2K 
[ ]dblseq_3__t38_dblseq_32021-07-17 23:40 29K 
[ ]dblseq_3__t38_dblseq_3.vout2021-07-25 17:24 4.1K 
[ ]dblseq_3__t39_dblseq_32021-07-17 23:40 36K 
[ ]dblseq_3__t39_dblseq_3.vout2021-07-25 19:48 6.8K 
[ ]dblseq_3__t40_dblseq_32021-07-17 23:41 29K 
[ ]dblseq_3__t40_dblseq_3.vout2021-07-25 16:03 4.1K 
[ ]dblseq_3__t41_dblseq_32021-07-17 23:41 38K 
[ ]dblseq_3__t41_dblseq_3.vout2021-07-25 18:38 4.7K 
[ ]dblseq_3__t42_dblseq_32021-07-17 23:42 44K 
[ ]dblseq_3__t42_dblseq_3.vout2021-07-25 18:16 4.7K 
[ ]dblseq_3__t43_dblseq_32021-07-17 23:42 38K 
[ ]dblseq_3__t43_dblseq_3.vout2021-07-25 17:44 7.3K 
[ ]dblseq_3__t44_dblseq_32021-07-17 23:43 43K 
[ ]dblseq_3__t44_dblseq_3.vout2021-07-25 18:04 4.7K 
[ ]dblseq_3__t45_dblseq_32021-07-17 23:43 37K 
[ ]dblseq_3__t45_dblseq_3.vout2021-07-25 16:50 4.1K 
[ ]dblseq_3__t46_dblseq_32021-07-17 23:44 36K 
[ ]dblseq_3__t46_dblseq_3.vout2021-07-25 19:34 4.2K 
[ ]dblseq_3__t47_dblseq_32021-07-17 23:44 38K 
[ ]dblseq_3__t47_dblseq_3.vout2021-07-25 16:21 6.8K 
[ ]dblseq_3__t48_dblseq_32021-07-17 23:45 46K 
[ ]dblseq_3__t48_dblseq_3.vout2021-07-25 20:21 4.1K 
[ ]dblseq_3__t49_dblseq_32021-07-17 23:20 27K 
[ ]dblseq_3__t49_dblseq_3.depv12021-07-25 20:57 39  
[ ]dblseq_3__t49_dblseq_3.depvmin12021-07-25 21:03 39  
[ ]dblseq_3__t49_dblseq_3.vmin12021-07-25 20:57 1.1K 
[ ]dblseq_3__t49_dblseq_3.vmin1out2021-07-25 20:59 9.2K 
[ ]dblseq_3__t49_dblseq_3.vout2021-07-25 19:02 8.4K 
[ ]dblseq_3__t50_dblseq_32021-07-17 23:45 29K 
[ ]dblseq_3__t50_dblseq_3.vout2021-07-25 16:54 4.1K 
[ ]dblseq_3__t51_dblseq_32021-07-17 23:46 29K 
[ ]dblseq_3__t51_dblseq_3.vout2021-07-25 16:40 4.1K 
[ ]dblseq_3__t52_dblseq_32021-07-17 23:46 31K 
[ ]dblseq_3__t52_dblseq_3.vout2021-07-25 20:20 4.1K 
[ ]dblseq_3__t53_dblseq_32021-07-17 23:47 30K 
[ ]dblseq_3__t53_dblseq_3.vout2021-07-25 16:31 4.1K 
[ ]dblseq_3__t54_dblseq_32021-07-17 23:47 42K 
[ ]dblseq_3__t54_dblseq_3.vout2021-07-25 14:48 4.7K 
[ ]dblseq_3__t55_dblseq_32021-07-17 23:48 56K 
[ ]dblseq_3__t55_dblseq_3.vout2021-07-25 16:01 4.7K 
[ ]dblseq_3__t56_dblseq_32021-07-17 23:48 56K 
[ ]dblseq_3__t56_dblseq_3.vout2021-07-25 20:23 4.7K 
[ ]dblseq_3__t57_dblseq_32021-07-17 23:49 56K 
[ ]dblseq_3__t57_dblseq_3.vout2021-07-25 16:27 4.7K 
[ ]dblseq_3__t58_dblseq_32021-07-17 23:49 56K 
[ ]dblseq_3__t58_dblseq_3.vout2021-07-25 19:23 4.7K 
[ ]dblseq_3__t59_dblseq_32021-07-17 23:50 57K 
[ ]dblseq_3__t59_dblseq_3.vout2021-07-25 20:03 4.7K 
[ ]dblseq_3__t60_dblseq_32021-07-17 23:51 57K 
[ ]dblseq_3__t60_dblseq_3.vout2021-07-25 20:53 4.7K 
[ ]dblseq_3__t61_dblseq_32021-07-17 23:51 42K 
[ ]dblseq_3__t61_dblseq_3.vout2021-07-25 19:13 7.4K 
[ ]dblseq_3__t62_dblseq_32021-07-17 23:52 30K 
[ ]dblseq_3__t62_dblseq_3.vout2021-07-25 17:42 2.0K 
[ ]dblseq_3__t63_dblseq_32021-07-17 23:52 56K 
[ ]dblseq_3__t63_dblseq_3.vout2021-07-25 18:46 4.7K 
[ ]dblseq_3__t64_dblseq_32021-07-17 23:53 31K 
[ ]dblseq_3__t64_dblseq_3.vout2021-07-25 18:42 4.1K 
[ ]dblseq_3__t65_dblseq_32021-07-17 23:53 32K 
[ ]dblseq_3__t65_dblseq_3.vout2021-07-25 16:35 7.4K 
[ ]dblseq_3__t66_dblseq_32021-07-17 23:20 26K 
[ ]dblseq_3__t66_dblseq_3.vout2021-07-25 15:28 2.0K 
[ ]dblseq_3__t67_dblseq_32021-07-17 23:54 48K 
[ ]dblseq_3__t67_dblseq_3.vout2021-07-25 18:21 6.8K 
[ ]dblseq_3__t68_dblseq_32021-07-17 23:54 48K 
[ ]dblseq_3__t68_dblseq_3.vout2021-07-25 17:52 6.8K 
[ ]dblseq_3__t69_dblseq_32021-07-17 23:55 36K 
[ ]dblseq_3__t69_dblseq_3.vout2021-07-25 17:22 7.3K 
[ ]dblseq_3__t70_dblseq_32021-07-17 23:55 36K 
[ ]dblseq_3__t70_dblseq_3.vout2021-07-25 20:11 6.8K 
[ ]dblseq_3__t71_dblseq_32021-07-17 23:56 31K 
[ ]dblseq_3__t71_dblseq_3.vout2021-07-25 19:14 4.7K 
[ ]dblseq_3__t72_dblseq_32021-07-17 23:56 43K 
[ ]dblseq_3__t72_dblseq_3.vout2021-07-25 18:07 7.4K 
[ ]dblseq_3__t73_dblseq_32021-07-17 23:57 43K 
[ ]dblseq_3__t73_dblseq_3.vout2021-07-25 14:39 7.4K 
[ ]dblseq_3__t74_dblseq_32021-07-17 23:57 52K 
[ ]dblseq_3__t74_dblseq_3.vout2021-07-25 19:38 6.8K 
[ ]dblseq_3__t75_dblseq_32021-07-17 23:58 39K 
[ ]dblseq_3__t75_dblseq_3.vout2021-07-25 19:43 4.7K 
[ ]dblseq_3__t76_dblseq_32021-07-17 23:58 38K 
[ ]dblseq_3__t76_dblseq_3.vout2021-07-25 17:07 7.3K 
[ ]dblseq_3__t77_dblseq_32021-07-17 23:59 53K 
[ ]dblseq_3__t77_dblseq_3.vout2021-07-25 16:04 4.7K 
[ ]dblseq_3__t78_dblseq_32021-07-17 23:59 37K 
[ ]dblseq_3__t78_dblseq_3.vout2021-07-25 18:58 4.7K 
[ ]dblseq_3__t79_dblseq_32021-07-18 00:00 129K 
[ ]dblseq_3__t79_dblseq_3.vout2021-07-25 15:06 4.7K 
[ ]dblseq_3__t80_dblseq_32021-07-18 00:01 127K 
[ ]dblseq_3__t80_dblseq_3.vout2021-07-25 18:32 4.7K 
[ ]dblseq_3__t81_dblseq_32021-07-18 00:01 29K 
[ ]dblseq_3__t81_dblseq_3.depv12021-07-25 20:57 254  
[ ]dblseq_3__t81_dblseq_3.depvmin12021-07-25 21:03 227  
[ ]dblseq_3__t81_dblseq_3.vmin12021-07-25 20:57 6.3K 
[ ]dblseq_3__t81_dblseq_3.vmin1out2021-07-25 20:57 47K 
[ ]dblseq_3__t81_dblseq_3.vout2021-07-25 16:33 169K 
[ ]dblseq_3__t82_dblseq_32021-07-18 00:02 38K 
[ ]dblseq_3__t82_dblseq_3.vout2021-07-25 15:33 4.1K 
[ ]dblseq_3__t83_dblseq_32021-07-18 00:03 64K 
[ ]dblseq_3__t83_dblseq_3.vout2021-07-25 17:42 6.8K 
[ ]dblseq_3__t84_dblseq_32021-07-18 00:03 38K 
[ ]dblseq_3__t84_dblseq_3.vout2021-07-25 20:36 4.1K 
[ ]dblseq_3__t85_dblseq_32021-07-18 00:04 37K 
[ ]dblseq_3__t85_dblseq_3.vout2021-07-25 19:53 6.8K 
[ ]dblseq_3__t86_dblseq_32021-07-18 00:04 30K 
[ ]dblseq_3__t86_dblseq_3.vout2021-07-25 17:01 7.3K 
[ ]dblseq_3__t87_dblseq_32021-07-18 00:05 30K 
[ ]dblseq_3__t87_dblseq_3.vout2021-07-25 17:49 7.4K 
[ ]dblseq_3__t88_dblseq_32021-07-18 00:05 54K 
[ ]dblseq_3__t88_dblseq_3.vout2021-07-25 17:53 6.8K 
[ ]dblseq_3__t89_dblseq_32021-07-18 00:05 38K 
[ ]dblseq_3__t89_dblseq_3.vout2021-07-25 15:19 6.8K 
[ ]dblseq_3__t90_dblseq_32021-07-18 00:06 30K 
[ ]dblseq_3__t90_dblseq_3.vout2021-07-25 20:03 4.1K 
[ ]dblseq_3__t91_dblseq_32021-07-18 00:06 48K 
[ ]dblseq_3__t91_dblseq_3.vout2021-07-25 14:58 4.7K 
[ ]dblseq_3__t92_dblseq_32021-07-18 00:07 37K 
[ ]dblseq_3__t92_dblseq_3.vout2021-07-25 18:52 4.1K 
[ ]dblseq_3__t93_dblseq_32021-07-18 00:08 61K 
[ ]dblseq_3__t93_dblseq_3.vout2021-07-25 20:37 4.7K 
[ ]dblseq_3__t94_dblseq_32021-07-18 00:08 60K 
[ ]dblseq_3__t94_dblseq_3.vout2021-07-25 17:58 5.3K 
[ ]dblseq_3__t95_dblseq_32021-07-18 00:09 46K 
[ ]dblseq_3__t95_dblseq_3.vout2021-07-25 18:58 4.7K 
[ ]dblseq_3__t96_dblseq_32021-07-18 00:10 51K 
[ ]dblseq_3__t96_dblseq_3.vout2021-07-25 20:25 4.7K 
[ ]dblseq_3__t97_dblseq_32021-07-18 00:10 29K 
[ ]dblseq_3__t97_dblseq_3.vout2021-07-25 17:27 7.3K 
[ ]dblseq_3__t98_dblseq_32021-07-18 00:11 29K 
[ ]dblseq_3__t98_dblseq_3.depv12021-07-25 20:57 345  
[ ]dblseq_3__t98_dblseq_3.depvmin12021-07-25 21:03 345  
[ ]dblseq_3__t98_dblseq_3.vmin12021-07-25 20:57 3.6K 
[ ]dblseq_3__t98_dblseq_3.vmin1out2021-07-25 21:01 41K 
[ ]dblseq_3__t98_dblseq_3.vout2021-07-25 15:34 42K 
[ ]dblseq_3__t99_dblseq_32021-07-18 00:11 29K 
[ ]dblseq_3__t99_dblseq_3.vout2021-07-25 14:58 7.4K 
[ ]dblseq_3__t100_dblseq_32021-07-18 00:12 29K 
[ ]dblseq_3__t100_dblseq_3.vout2021-07-25 15:06 7.4K 
[ ]dblseq_3__t101_dblseq_32021-07-18 00:12 37K 
[ ]dblseq_3__t101_dblseq_3.vout2021-07-25 16:43 4.7K 
[ ]dblseq_3__t102_dblseq_32021-07-18 00:13 56K 
[ ]dblseq_3__t102_dblseq_3.vout2021-07-25 18:42 4.7K 
[ ]dblseq_3__t103_dblseq_32021-07-18 00:14 118K 
[ ]dblseq_3__t103_dblseq_3.vout2021-07-25 16:29 4.7K 
[ ]dblseq_3__t104_dblseq_32021-07-18 00:15 51K 
[ ]dblseq_3__t104_dblseq_3.vout2021-07-25 16:36 4.7K 
[ ]dblseq_3__t105_dblseq_32021-07-18 00:16 34K 
[ ]dblseq_3__t105_dblseq_3.vout2021-07-25 17:42 6.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80