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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]finseq_1__l13_finseq_12024-07-26 21:54 58K 
[ ]finseq_1__l13_finseq_1.vout2024-08-03 09:16 7.3K 
[ ]finseq_1__l23_finseq_12024-07-26 21:55 32K 
[ ]finseq_1__l23_finseq_1.depv12024-08-03 10:19 102  
[ ]finseq_1__l23_finseq_1.depvmin12024-08-03 10:24 102  
[ ]finseq_1__l23_finseq_1.vmin12024-08-03 10:19 1.0K 
[ ]finseq_1__l23_finseq_1.vmin1out2024-08-03 10:21 11K 
[ ]finseq_1__l23_finseq_1.vout2024-08-03 07:44 13K 
[ ]finseq_1__l26_finseq_12024-07-26 19:42 22K 
[ ]finseq_1__l26_finseq_1.depv12024-08-03 10:19 121  
[ ]finseq_1__l26_finseq_1.depvmin12024-08-03 10:24 121  
[ ]finseq_1__l26_finseq_1.vmin12024-08-03 10:19 730  
[ ]finseq_1__l26_finseq_1.vmin1out2024-08-03 10:20 11K 
[ ]finseq_1__l26_finseq_1.vout2024-08-03 05:20 13K 
[ ]finseq_1__l46_finseq_12024-07-26 21:56 22K 
[ ]finseq_1__l46_finseq_1.depv12024-08-03 10:19 35  
[ ]finseq_1__l46_finseq_1.depvmin12024-08-03 10:24 35  
[ ]finseq_1__l46_finseq_1.vmin12024-08-03 10:19 394  
[ ]finseq_1__l46_finseq_1.vmin1out2024-08-03 10:21 6.5K 
[ ]finseq_1__l46_finseq_1.vout2024-08-03 06:15 4.8K 
[ ]finseq_1__l67_finseq_12024-07-26 21:57 31K 
[ ]finseq_1__l67_finseq_1.depv12024-08-03 10:19 123  
[ ]finseq_1__l67_finseq_1.depvmin12024-08-03 10:24 36  
[ ]finseq_1__l67_finseq_1.vmin12024-08-03 10:19 898  
[ ]finseq_1__l67_finseq_1.vmin1out2024-08-03 10:23 6.8K 
[ ]finseq_1__l67_finseq_1.vout2024-08-03 05:02 14K 
[ ]finseq_1__l88_finseq_12024-07-26 21:59 31K 
[ ]finseq_1__l88_finseq_1.depv12024-08-03 10:19 149  
[ ]finseq_1__l88_finseq_1.depvmin12024-08-03 10:24 149  
[ ]finseq_1__l88_finseq_1.vmin12024-08-03 10:19 1.0K 
[ ]finseq_1__l88_finseq_1.vmin1out2024-08-03 10:21 12K 
[ ]finseq_1__l88_finseq_1.vout2024-08-03 04:32 14K 
[ ]finseq_1__l98_finseq_12024-07-26 22:00 34K 
[ ]finseq_1__l98_finseq_1.depv12024-08-03 10:19 62  
[ ]finseq_1__l98_finseq_1.depvmin12024-08-03 10:24 62  
[ ]finseq_1__l98_finseq_1.vmin12024-08-03 10:19 560  
[ ]finseq_1__l98_finseq_1.vmin1out2024-08-03 10:20 5.9K 
[ ]finseq_1__l98_finseq_1.vout2024-08-03 08:49 8.2K 
[ ]finseq_1__l124_finseq_12024-07-26 22:01 44K 
[ ]finseq_1__l124_finseq_1.depv12024-08-03 10:19 190  
[ ]finseq_1__l124_finseq_1.depvmin12024-08-03 10:24 190  
[ ]finseq_1__l124_finseq_1.vmin12024-08-03 10:19 1.4K 
[ ]finseq_1__l124_finseq_1.vmin1out2024-08-03 10:20 17K 
[ ]finseq_1__l124_finseq_1.vout2024-08-03 05:42 15K 
[ ]finseq_1__t1_finseq_12024-07-26 19:43 22K 
[ ]finseq_1__t1_finseq_1.depv12024-08-03 10:19 48  
[ ]finseq_1__t1_finseq_1.depvmin12024-08-03 10:24 48  
[ ]finseq_1__t1_finseq_1.vmin12024-08-03 10:19 471  
[ ]finseq_1__t1_finseq_1.vmin1out2024-08-03 10:23 11K 
[ ]finseq_1__t1_finseq_1.vout2024-08-03 09:19 12K 
[ ]finseq_1__t2_finseq_12024-07-26 19:45 35K 
[ ]finseq_1__t2_finseq_1.vout2024-08-03 08:38 8.4K 
[ ]finseq_1__t3_finseq_12024-07-26 19:46 29K 
[ ]finseq_1__t3_finseq_1.depv12024-08-03 10:19 236  
[ ]finseq_1__t3_finseq_1.depvmin12024-08-03 10:24 236  
[ ]finseq_1__t3_finseq_1.vmin12024-08-03 10:19 1.7K 
[ ]finseq_1__t3_finseq_1.vmin1out2024-08-03 10:23 15K 
[ ]finseq_1__t3_finseq_1.vout2024-08-03 05:12 16K 
[ ]finseq_1__t4_finseq_12024-07-26 19:19 31K 
[ ]finseq_1__t4_finseq_1.depv12024-08-03 10:19 306  
[ ]finseq_1__t4_finseq_1.depvmin12024-08-03 10:24 236  
[ ]finseq_1__t4_finseq_1.vmin12024-08-03 10:19 2.0K 
[ ]finseq_1__t4_finseq_1.vmin1out2024-08-03 10:22 12K 
[ ]finseq_1__t4_finseq_1.vout2024-08-03 07:19 21K 
[ ]finseq_1__t5_finseq_12024-07-26 19:47 29K 
[ ]finseq_1__t5_finseq_1.depv12024-08-03 10:19 184  
[ ]finseq_1__t5_finseq_1.depvmin12024-08-03 10:24 184  
[ ]finseq_1__t5_finseq_1.vmin12024-08-03 10:19 1.7K 
[ ]finseq_1__t5_finseq_1.vmin1out2024-08-03 10:20 28K 
[ ]finseq_1__t5_finseq_1.vout2024-08-03 04:19 20K 
[ ]finseq_1__t6_finseq_12024-07-26 19:49 28K 
[ ]finseq_1__t6_finseq_1.depv12024-08-03 10:19 71  
[ ]finseq_1__t6_finseq_1.depvmin12024-08-03 10:24 71  
[ ]finseq_1__t6_finseq_1.vmin12024-08-03 10:19 592  
[ ]finseq_1__t6_finseq_1.vmin1out2024-08-03 10:21 9.5K 
[ ]finseq_1__t6_finseq_1.vout2024-08-03 09:21 5.6K 
[ ]finseq_1__t7_finseq_12024-07-26 19:20 31K 
[ ]finseq_1__t7_finseq_1.depv12024-08-03 10:19 63  
[ ]finseq_1__t7_finseq_1.depvmin12024-08-03 10:24 63  
[ ]finseq_1__t7_finseq_1.vmin12024-08-03 10:19 530  
[ ]finseq_1__t7_finseq_1.vmin1out2024-08-03 10:20 5.1K 
[ ]finseq_1__t7_finseq_1.vout2024-08-03 09:51 4.9K 
[ ]finseq_1__t8_finseq_12024-07-26 19:22 25K 
[ ]finseq_1__t8_finseq_1.depv12024-08-03 10:19 75  
[ ]finseq_1__t8_finseq_1.depvmin12024-08-03 10:24 75  
[ ]finseq_1__t8_finseq_1.vmin12024-08-03 10:19 712  
[ ]finseq_1__t8_finseq_1.vmin1out2024-08-03 10:21 6.9K 
[ ]finseq_1__t8_finseq_1.vout2024-08-03 08:43 9.4K 
[ ]finseq_1__t9_finseq_12024-07-26 19:50 40K 
[ ]finseq_1__t9_finseq_1.vout2024-08-03 04:08 5.3K 
[ ]finseq_1__t10_finseq_12024-07-26 19:51 44K 
[ ]finseq_1__t10_finseq_1.vout2024-08-03 04:34 7.3K 
[ ]finseq_1__t11_finseq_12024-07-26 19:53 33K 
[ ]finseq_1__t11_finseq_1.vout2024-08-03 09:59 4.2K 
[ ]finseq_1__t12_finseq_12024-07-26 19:54 29K 
[ ]finseq_1__t12_finseq_1.depv12024-08-03 10:19 121  
[ ]finseq_1__t12_finseq_1.depvmin12024-08-03 10:24 121  
[ ]finseq_1__t12_finseq_1.vmin12024-08-03 10:19 1.2K 
[ ]finseq_1__t12_finseq_1.vmin1out2024-08-03 10:21 17K 
[ ]finseq_1__t12_finseq_1.vout2024-08-03 08:35 17K 
[ ]finseq_1__t13_finseq_12024-07-26 19:23 29K 
[ ]finseq_1__t13_finseq_1.vout2024-08-03 04:40 7.3K 
[ ]finseq_1__t14_finseq_12024-07-26 19:55 33K 
[ ]finseq_1__t14_finseq_1.vout2024-08-03 06:27 7.3K 
[ ]finseq_1__t15_finseq_12024-07-26 19:57 40K 
[ ]finseq_1__t15_finseq_1.vout2024-08-03 04:39 4.2K 
[ ]finseq_1__t16_finseq_12024-07-26 19:58 38K 
[ ]finseq_1__t16_finseq_1.depv12024-08-03 10:19 63  
[ ]finseq_1__t16_finseq_1.depvmin12024-08-03 10:24 63  
[ ]finseq_1__t16_finseq_1.vmin12024-08-03 10:19 899  
[ ]finseq_1__t16_finseq_1.vmin1out2024-08-03 10:21 11K 
[ ]finseq_1__t16_finseq_1.vout2024-08-03 05:18 10K 
[ ]finseq_1__t17_finseq_12024-07-26 19:59 37K 
[ ]finseq_1__t17_finseq_1.depv12024-08-03 10:19 187  
[ ]finseq_1__t17_finseq_1.depvmin12024-08-03 10:24 187  
[ ]finseq_1__t17_finseq_1.vmin12024-08-03 10:19 1.6K 
[ ]finseq_1__t17_finseq_1.vmin1out2024-08-03 10:20 24K 
[ ]finseq_1__t17_finseq_1.vout2024-08-03 07:39 17K 
[ ]finseq_1__t18_finseq_12024-07-26 20:01 38K 
[ ]finseq_1__t18_finseq_1.depv12024-08-03 10:19 114  
[ ]finseq_1__t18_finseq_1.depvmin12024-08-03 10:24 114  
[ ]finseq_1__t18_finseq_1.vmin12024-08-03 10:19 1.3K 
[ ]finseq_1__t18_finseq_1.vmin1out2024-08-03 10:23 11K 
[ ]finseq_1__t18_finseq_1.vout2024-08-03 05:54 10K 
[ ]finseq_1__t19_finseq_12024-07-26 20:02 39K 
[ ]finseq_1__t19_finseq_1.vout2024-08-03 09:45 5.3K 
[ ]finseq_1__t20_finseq_12024-07-26 20:03 27K 
[ ]finseq_1__t20_finseq_1.depv12024-08-03 10:19 391  
[ ]finseq_1__t20_finseq_1.depvmin12024-08-03 10:24 341  
[ ]finseq_1__t20_finseq_1.vmin12024-08-03 10:19 2.5K 
[ ]finseq_1__t20_finseq_1.vmin1out2024-08-03 10:22 19K 
[ ]finseq_1__t20_finseq_1.vout2024-08-03 09:02 23K 
[ ]finseq_1__t21_finseq_12024-07-26 20:05 45K 
[ ]finseq_1__t21_finseq_1.vout2024-08-03 09:58 7.3K 
[ ]finseq_1__t22_finseq_12024-07-26 20:06 36K 
[ ]finseq_1__t22_finseq_1.depv12024-08-03 10:19 117  
[ ]finseq_1__t22_finseq_1.depvmin12024-08-03 10:24 117  
[ ]finseq_1__t22_finseq_1.vmin12024-08-03 10:19 1.8K 
[ ]finseq_1__t22_finseq_1.vmin1out2024-08-03 10:22 32K 
[ ]finseq_1__t22_finseq_1.vout2024-08-03 07:33 34K 
[ ]finseq_1__t23_finseq_12024-07-26 20:08 52K 
[ ]finseq_1__t23_finseq_1.vout2024-08-03 07:35 7.3K 
[ ]finseq_1__t24_finseq_12024-07-26 20:09 31K 
[ ]finseq_1__t24_finseq_1.depv12024-08-03 10:19 77  
[ ]finseq_1__t24_finseq_1.depvmin12024-08-03 10:24 77  
[ ]finseq_1__t24_finseq_1.vmin12024-08-03 10:19 1.4K 
[ ]finseq_1__t24_finseq_1.vmin1out2024-08-03 10:20 15K 
[ ]finseq_1__t24_finseq_1.vout2024-08-03 08:52 14K 
[ ]finseq_1__t25_finseq_12024-07-26 20:10 41K 
[ ]finseq_1__t25_finseq_1.vout2024-08-03 05:46 7.3K 
[ ]finseq_1__t26_finseq_12024-07-26 20:12 37K 
[ ]finseq_1__t26_finseq_1.vout2024-08-03 04:55 5.3K 
[ ]finseq_1__t27_finseq_12024-07-26 20:13 37K 
[ ]finseq_1__t27_finseq_1.vout2024-08-03 06:02 7.3K 
[ ]finseq_1__t28_finseq_12024-07-26 20:15 31K 
[ ]finseq_1__t28_finseq_1.depv12024-08-03 10:19 49  
[ ]finseq_1__t28_finseq_1.depvmin12024-08-03 10:24 49  
[ ]finseq_1__t28_finseq_1.vmin12024-08-03 10:19 768  
[ ]finseq_1__t28_finseq_1.vmin1out2024-08-03 10:21 11K 
[ ]finseq_1__t28_finseq_1.vout2024-08-03 08:16 9.6K 
[ ]finseq_1__t29_finseq_12024-07-26 20:16 39K 
[ ]finseq_1__t29_finseq_1.vout2024-08-03 04:31 3.7K 
[ ]finseq_1__t30_finseq_12024-07-26 20:17 39K 
[ ]finseq_1__t30_finseq_1.vout2024-08-03 05:18 3.7K 
[ ]finseq_1__t31_finseq_12024-07-26 20:19 58K 
[ ]finseq_1__t31_finseq_1.vout2024-08-03 04:23 4.2K 
[ ]finseq_1__t32_finseq_12024-07-26 20:21 52K 
[ ]finseq_1__t32_finseq_1.vout2024-08-03 08:57 4.2K 
[ ]finseq_1__t33_finseq_12024-07-26 20:22 42K 
[ ]finseq_1__t33_finseq_1.vout2024-08-03 07:48 7.3K 
[ ]finseq_1__t34_finseq_12024-07-26 20:23 37K 
[ ]finseq_1__t34_finseq_1.vout2024-08-03 07:59 7.4K 
[ ]finseq_1__t35_finseq_12024-07-26 20:25 36K 
[ ]finseq_1__t35_finseq_1.depv12024-08-03 10:19 248  
[ ]finseq_1__t35_finseq_1.depvmin12024-08-03 10:24 248  
[ ]finseq_1__t35_finseq_1.vmin12024-08-03 10:19 2.4K 
[ ]finseq_1__t35_finseq_1.vmin1out2024-08-03 10:22 25K 
[ ]finseq_1__t35_finseq_1.vout2024-08-03 05:09 28K 
[ ]finseq_1__t36_finseq_12024-07-26 20:26 35K 
[ ]finseq_1__t36_finseq_1.depv12024-08-03 10:19 125  
[ ]finseq_1__t36_finseq_1.depvmin12024-08-03 10:24 125  
[ ]finseq_1__t36_finseq_1.vmin12024-08-03 10:19 1.3K 
[ ]finseq_1__t36_finseq_1.vmin1out2024-08-03 10:20 16K 
[ ]finseq_1__t36_finseq_1.vout2024-08-03 06:39 16K 
[ ]finseq_1__t37_finseq_12024-07-26 19:24 22K 
[ ]finseq_1__t37_finseq_1.depv12024-08-03 10:19 50  
[ ]finseq_1__t37_finseq_1.depvmin12024-08-03 10:24 50  
[ ]finseq_1__t37_finseq_1.vmin12024-08-03 10:19 247  
[ ]finseq_1__t37_finseq_1.vmin1out2024-08-03 10:20 2.3K 
[ ]finseq_1__t37_finseq_1.vout2024-08-03 04:35 2.3K 
[ ]finseq_1__t38_finseq_12024-07-26 20:27 38K 
[ ]finseq_1__t38_finseq_1.depv12024-08-03 10:19 122  
[ ]finseq_1__t38_finseq_1.depvmin12024-08-03 10:24 122  
[ ]finseq_1__t38_finseq_1.vmin12024-08-03 10:19 1.3K 
[ ]finseq_1__t38_finseq_1.vmin1out2024-08-03 10:22 25K 
[ ]finseq_1__t38_finseq_1.vout2024-08-03 08:32 21K 
[ ]finseq_1__t39_finseq_12024-07-26 20:29 35K 
[ ]finseq_1__t39_finseq_1.depv12024-08-03 10:19 157  
[ ]finseq_1__t39_finseq_1.depvmin12024-08-03 10:24 157  
[ ]finseq_1__t39_finseq_1.vmin12024-08-03 10:19 1.3K 
[ ]finseq_1__t39_finseq_1.vmin1out2024-08-03 10:20 23K 
[ ]finseq_1__t39_finseq_1.vout2024-08-03 09:07 23K 
[ ]finseq_1__t40_finseq_12024-07-26 20:30 35K 
[ ]finseq_1__t40_finseq_1.depv12024-08-03 10:19 131  
[ ]finseq_1__t40_finseq_1.depvmin12024-08-03 10:24 131  
[ ]finseq_1__t40_finseq_1.vmin12024-08-03 10:19 1.1K 
[ ]finseq_1__t40_finseq_1.vmin1out2024-08-03 10:21 19K 
[ ]finseq_1__t40_finseq_1.vout2024-08-03 04:08 19K 
[ ]finseq_1__t41_finseq_12024-07-26 20:31 38K 
[ ]finseq_1__t41_finseq_1.vout2024-08-03 07:58 7.4K 
[ ]finseq_1__t42_finseq_12024-07-26 20:33 38K 
[ ]finseq_1__t42_finseq_1.vout2024-08-03 08:04 7.3K 
[ ]finseq_1__t43_finseq_12024-07-26 19:25 24K 
[ ]finseq_1__t43_finseq_1.depv12024-08-03 10:19 125  
[ ]finseq_1__t43_finseq_1.depvmin12024-08-03 10:24 125  
[ ]finseq_1__t43_finseq_1.vmin12024-08-03 10:19 1.2K 
[ ]finseq_1__t43_finseq_1.vmin1out2024-08-03 10:20 11K 
[ ]finseq_1__t43_finseq_1.vout2024-08-03 04:24 11K 
[ ]finseq_1__t44_finseq_12024-07-26 20:34 44K 
[ ]finseq_1__t44_finseq_1.vout2024-08-03 09:22 6.8K 
[ ]finseq_1__t45_finseq_12024-07-26 20:36 44K 
[ ]finseq_1__t45_finseq_1.vout2024-08-03 08:01 6.8K 
[ ]finseq_1__t46_finseq_12024-07-26 20:38 66K 
[ ]finseq_1__t46_finseq_1.vout2024-08-03 06:12 4.2K 
[ ]finseq_1__t47_finseq_12024-07-26 20:39 47K 
[ ]finseq_1__t47_finseq_1.vout2024-08-03 08:51 7.3K 
[ ]finseq_1__t48_finseq_12024-07-26 20:42 75K 
[ ]finseq_1__t48_finseq_1.vout2024-08-03 06:41 4.2K 
[ ]finseq_1__t49_finseq_12024-07-26 20:43 31K 
[ ]finseq_1__t49_finseq_1.depv12024-08-03 10:19 89  
[ ]finseq_1__t49_finseq_1.depvmin12024-08-03 10:24 89  
[ ]finseq_1__t49_finseq_1.vmin12024-08-03 10:19 495  
[ ]finseq_1__t49_finseq_1.vmin1out2024-08-03 10:23 5.9K 
[ ]finseq_1__t49_finseq_1.vout2024-08-03 06:45 6.0K 
[ ]finseq_1__t50_finseq_12024-07-26 19:26 39K 
[ ]finseq_1__t50_finseq_1.depv12024-08-03 10:19 56  
[ ]finseq_1__t50_finseq_1.depvmin12024-08-03 10:24 56  
[ ]finseq_1__t50_finseq_1.vmin12024-08-03 10:19 749  
[ ]finseq_1__t50_finseq_1.vmin1out2024-08-03 10:20 11K 
[ ]finseq_1__t50_finseq_1.vout2024-08-03 07:26 11K 
[ ]finseq_1__t51_finseq_12024-07-26 20:44 38K 
[ ]finseq_1__t51_finseq_1.depv12024-08-03 10:19 142  
[ ]finseq_1__t51_finseq_1.depvmin12024-08-03 10:24 142  
[ ]finseq_1__t51_finseq_1.vmin12024-08-03 10:19 1.2K 
[ ]finseq_1__t51_finseq_1.vmin1out2024-08-03 10:23 17K 
[ ]finseq_1__t51_finseq_1.vout2024-08-03 06:25 17K 
[ ]finseq_1__t52_finseq_12024-07-26 20:46 61K 
[ ]finseq_1__t52_finseq_1.vout2024-08-03 08:41 4.2K 
[ ]finseq_1__t53_finseq_12024-07-26 20:48 63K 
[ ]finseq_1__t53_finseq_1.vout2024-08-03 10:12 3.7K 
[ ]finseq_1__t54_finseq_12024-07-26 19:28 34K 
[ ]finseq_1__t54_finseq_1.depv12024-08-03 10:19 26  
[ ]finseq_1__t54_finseq_1.depvmin12024-08-03 10:24 26  
[ ]finseq_1__t54_finseq_1.vmin12024-08-03 10:19 189  
[ ]finseq_1__t54_finseq_1.vmin1out2024-08-03 10:21 2.0K 
[ ]finseq_1__t54_finseq_1.vout2024-08-03 05:39 2.7K 
[ ]finseq_1__t55_finseq_12024-07-26 19:29 36K 
[ ]finseq_1__t55_finseq_1.depv12024-08-03 10:19 130  
[ ]finseq_1__t55_finseq_1.depvmin12024-08-03 10:24 130  
[ ]finseq_1__t55_finseq_1.vmin12024-08-03 10:19 804  
[ ]finseq_1__t55_finseq_1.vmin1out2024-08-03 10:20 6.4K 
[ ]finseq_1__t55_finseq_1.vout2024-08-03 05:40 9.5K 
[ ]finseq_1__t56_finseq_12024-07-26 20:49 36K 
[ ]finseq_1__t56_finseq_1.depv12024-08-03 10:19 116  
[ ]finseq_1__t56_finseq_1.depvmin12024-08-03 10:24 116  
[ ]finseq_1__t56_finseq_1.vmin12024-08-03 10:19 911  
[ ]finseq_1__t56_finseq_1.vmin1out2024-08-03 10:20 9.5K 
[ ]finseq_1__t56_finseq_1.vout2024-08-03 04:30 8.4K 
[ ]finseq_1__t57_finseq_12024-07-26 19:30 36K 
[ ]finseq_1__t57_finseq_1.depv12024-08-03 10:19 108  
[ ]finseq_1__t57_finseq_1.depvmin12024-08-03 10:24 108  
[ ]finseq_1__t57_finseq_1.vmin12024-08-03 10:19 656  
[ ]finseq_1__t57_finseq_1.vmin1out2024-08-03 10:20 7.4K 
[ ]finseq_1__t57_finseq_1.vout2024-08-03 07:06 8.0K 
[ ]finseq_1__t58_finseq_12024-07-26 20:50 41K 
[ ]finseq_1__t58_finseq_1.depv12024-08-03 10:19 129  
[ ]finseq_1__t58_finseq_1.depvmin12024-08-03 10:24 129  
[ ]finseq_1__t58_finseq_1.vmin12024-08-03 10:19 1.3K 
[ ]finseq_1__t58_finseq_1.vmin1out2024-08-03 10:20 16K 
[ ]finseq_1__t58_finseq_1.vout2024-08-03 09:45 11K 
[ ]finseq_1__t59_finseq_12024-07-26 20:52 41K 
[ ]finseq_1__t59_finseq_1.depv12024-08-03 10:19 191  
[ ]finseq_1__t59_finseq_1.depvmin12024-08-03 10:24 191  
[ ]finseq_1__t59_finseq_1.vmin12024-08-03 10:19 1.8K 
[ ]finseq_1__t59_finseq_1.vmin1out2024-08-03 10:20 25K 
[ ]finseq_1__t59_finseq_1.vout2024-08-03 05:21 15K 
[ ]finseq_1__t60_finseq_12024-07-26 20:53 34K 
[ ]finseq_1__t60_finseq_1.vout2024-08-03 05:44 7.3K 
[ ]finseq_1__t61_finseq_12024-07-26 20:54 35K 
[ ]finseq_1__t61_finseq_1.vout2024-08-03 07:11 6.8K 
[ ]finseq_1__t62_finseq_12024-07-26 20:56 34K 
[ ]finseq_1__t62_finseq_1.depv12024-08-03 10:19 115  
[ ]finseq_1__t62_finseq_1.depvmin12024-08-03 10:24 115  
[ ]finseq_1__t62_finseq_1.vmin12024-08-03 10:19 1.1K 
[ ]finseq_1__t62_finseq_1.vmin1out2024-08-03 10:23 17K 
[ ]finseq_1__t62_finseq_1.vout2024-08-03 05:10 17K 
[ ]finseq_1__t63_finseq_12024-07-26 20:57 33K 
[ ]finseq_1__t63_finseq_1.depv12024-08-03 10:19 123  
[ ]finseq_1__t63_finseq_1.depvmin12024-08-03 10:24 123  
[ ]finseq_1__t63_finseq_1.vmin12024-08-03 10:19 1.0K 
[ ]finseq_1__t63_finseq_1.vmin1out2024-08-03 10:21 12K 
[ ]finseq_1__t63_finseq_1.vout2024-08-03 05:19 17K 
[ ]finseq_1__t64_finseq_12024-07-26 20:59 40K 
[ ]finseq_1__t64_finseq_1.depv12024-08-03 10:19 189  
[ ]finseq_1__t64_finseq_1.depvmin12024-08-03 10:24 189  
[ ]finseq_1__t64_finseq_1.vmin12024-08-03 10:19 2.2K 
[ ]finseq_1__t64_finseq_1.vmin1out2024-08-03 10:20 24K 
[ ]finseq_1__t64_finseq_1.vout2024-08-03 08:11 36K 
[ ]finseq_1__t65_finseq_12024-07-26 21:00 35K 
[ ]finseq_1__t65_finseq_1.vout2024-08-03 09:48 2.0K 
[ ]finseq_1__t66_finseq_12024-07-26 21:01 45K 
[ ]finseq_1__t66_finseq_1.vout2024-08-03 05:41 7.4K 
[ ]finseq_1__t67_finseq_12024-07-26 21:03 45K 
[ ]finseq_1__t67_finseq_1.vout2024-08-03 04:29 6.8K 
[ ]finseq_1__t68_finseq_12024-07-26 21:05 47K 
[ ]finseq_1__t68_finseq_1.vout2024-08-03 07:12 6.8K 
[ ]finseq_1__t69_finseq_12024-07-26 21:06 48K 
[ ]finseq_1__t69_finseq_1.vout2024-08-03 05:15 6.8K 
[ ]finseq_1__t70_finseq_12024-07-26 21:08 50K 
[ ]finseq_1__t70_finseq_1.vout2024-08-03 08:10 6.8K 
[ ]finseq_1__t71_finseq_12024-07-26 21:10 52K 
[ ]finseq_1__t71_finseq_1.vout2024-08-03 07:38 6.8K 
[ ]finseq_1__t72_finseq_12024-07-26 19:32 43K 
[ ]finseq_1__t72_finseq_1.depv12024-08-03 10:19 135  
[ ]finseq_1__t72_finseq_1.depvmin12024-08-03 10:24 135  
[ ]finseq_1__t72_finseq_1.vmin12024-08-03 10:19 954  
[ ]finseq_1__t72_finseq_1.vmin1out2024-08-03 10:20 7.6K 
[ ]finseq_1__t72_finseq_1.vout2024-08-03 05:53 7.7K 
[ ]finseq_1__t73_finseq_12024-07-26 19:33 40K 
[ ]finseq_1__t73_finseq_1.depv12024-08-03 10:19 135  
[ ]finseq_1__t73_finseq_1.depvmin12024-08-03 10:24 135  
[ ]finseq_1__t73_finseq_1.vmin12024-08-03 10:19 1.0K 
[ ]finseq_1__t73_finseq_1.vmin1out2024-08-03 10:21 9.5K 
[ ]finseq_1__t73_finseq_1.vout2024-08-03 07:52 9.4K 
[ ]finseq_1__t74_finseq_12024-07-26 19:35 34K 
[ ]finseq_1__t74_finseq_1.depv12024-08-03 10:19 29  
[ ]finseq_1__t74_finseq_1.depvmin12024-08-03 10:24 29  
[ ]finseq_1__t74_finseq_1.vmin12024-08-03 10:19 276  
[ ]finseq_1__t74_finseq_1.vmin1out2024-08-03 10:20 2.9K 
[ ]finseq_1__t74_finseq_1.vout2024-08-03 06:43 2.9K 
[ ]finseq_1__t75_finseq_12024-07-26 21:11 33K 
[ ]finseq_1__t75_finseq_1.depv12024-08-03 10:19 91  
[ ]finseq_1__t75_finseq_1.depvmin12024-08-03 10:24 91  
[ ]finseq_1__t75_finseq_1.vmin12024-08-03 10:19 811  
[ ]finseq_1__t75_finseq_1.vmin1out2024-08-03 10:20 11K 
[ ]finseq_1__t75_finseq_1.vout2024-08-03 09:04 17K 
[ ]finseq_1__t76_finseq_12024-07-26 21:12 36K 
[ ]finseq_1__t76_finseq_1.depv12024-08-03 10:19 88  
[ ]finseq_1__t76_finseq_1.depvmin12024-08-03 10:24 88  
[ ]finseq_1__t76_finseq_1.vmin12024-08-03 10:19 599  
[ ]finseq_1__t76_finseq_1.vmin1out2024-08-03 10:23 6.8K 
[ ]finseq_1__t76_finseq_1.vout2024-08-03 10:04 6.9K 
[ ]finseq_1__t77_finseq_12024-07-26 21:14 29K 
[ ]finseq_1__t77_finseq_1.depv12024-08-03 10:19 65  
[ ]finseq_1__t77_finseq_1.depvmin12024-08-03 10:24 65  
[ ]finseq_1__t77_finseq_1.vmin12024-08-03 10:19 658  
[ ]finseq_1__t77_finseq_1.vmin1out2024-08-03 10:21 12K 
[ ]finseq_1__t77_finseq_1.vout2024-08-03 06:13 13K 
[ ]finseq_1__t78_finseq_12024-07-26 21:15 29K 
[ ]finseq_1__t78_finseq_1.depv12024-08-03 10:19 103  
[ ]finseq_1__t78_finseq_1.depvmin12024-08-03 10:24 103  
[ ]finseq_1__t78_finseq_1.vmin12024-08-03 10:19 959  
[ ]finseq_1__t78_finseq_1.vmin1out2024-08-03 10:20 22K 
[ ]finseq_1__t78_finseq_1.vout2024-08-03 05:59 22K 
[ ]finseq_1__t79_finseq_12024-07-26 21:17 44K 
[ ]finseq_1__t79_finseq_1.depv12024-08-03 10:19 185  
[ ]finseq_1__t79_finseq_1.depvmin12024-08-03 10:24 173  
[ ]finseq_1__t79_finseq_1.vmin12024-08-03 10:19 1.8K 
[ ]finseq_1__t79_finseq_1.vmin1out2024-08-03 10:23 27K 
[ ]finseq_1__t79_finseq_1.vout2024-08-03 05:30 20K 
[ ]finseq_1__t80_finseq_12024-07-26 21:18 63K 
[ ]finseq_1__t80_finseq_1.vout2024-08-03 04:31 6.8K 
[ ]finseq_1__t81_finseq_12024-07-26 21:20 41K 
[ ]finseq_1__t81_finseq_1.depv12024-08-03 10:19 414  
[ ]finseq_1__t81_finseq_1.depvmin12024-08-03 10:24 414  
[ ]finseq_1__t81_finseq_1.vmin12024-08-03 10:19 2.3K 
[ ]finseq_1__t81_finseq_1.vmin1out2024-08-03 10:22 23K 
[ ]finseq_1__t81_finseq_1.vout2024-08-03 08:58 23K 
[ ]finseq_1__t82_finseq_12024-07-26 19:36 39K 
[ ]finseq_1__t82_finseq_1.depv12024-08-03 10:19 91  
[ ]finseq_1__t82_finseq_1.depvmin12024-08-03 10:24 91  
[ ]finseq_1__t82_finseq_1.vmin12024-08-03 10:19 1.1K 
[ ]finseq_1__t82_finseq_1.vmin1out2024-08-03 10:23 12K 
[ ]finseq_1__t82_finseq_1.vout2024-08-03 08:53 11K 
[ ]finseq_1__t83_finseq_12024-07-26 21:21 44K 
[ ]finseq_1__t83_finseq_1.vout2024-08-03 08:49 3.7K 
[ ]finseq_1__t84_finseq_12024-07-26 21:22 38K 
[ ]finseq_1__t84_finseq_1.depv12024-08-03 10:19 122  
[ ]finseq_1__t84_finseq_1.depvmin12024-08-03 10:24 122  
[ ]finseq_1__t84_finseq_1.vmin12024-08-03 10:19 1.1K 
[ ]finseq_1__t84_finseq_1.vmin1out2024-08-03 10:21 16K 
[ ]finseq_1__t84_finseq_1.vout2024-08-03 08:01 16K 
[ ]finseq_1__t85_finseq_12024-07-26 21:24 40K 
[ ]finseq_1__t85_finseq_1.vout2024-08-03 08:37 4.2K 
[ ]finseq_1__t86_finseq_12024-07-26 21:25 45K 
[ ]finseq_1__t86_finseq_1.depv12024-08-03 10:19 211  
[ ]finseq_1__t86_finseq_1.depvmin12024-08-03 10:24 199  
[ ]finseq_1__t86_finseq_1.vmin12024-08-03 10:19 1.9K 
[ ]finseq_1__t86_finseq_1.vmin1out2024-08-03 10:20 22K 
[ ]finseq_1__t86_finseq_1.vout2024-08-03 07:33 18K 
[ ]finseq_1__t87_finseq_12024-07-26 21:27 33K 
[ ]finseq_1__t87_finseq_1.vout2024-08-03 06:08 7.4K 
[ ]finseq_1__t88_finseq_12024-07-26 21:28 50K 
[ ]finseq_1__t88_finseq_1.vout2024-08-03 06:48 4.7K 
[ ]finseq_1__t89_finseq_12024-07-26 21:30 36K 
[ ]finseq_1__t89_finseq_1.depv12024-08-03 10:19 100  
[ ]finseq_1__t89_finseq_1.depvmin12024-08-03 10:24 100  
[ ]finseq_1__t89_finseq_1.vmin12024-08-03 10:19 909  
[ ]finseq_1__t89_finseq_1.vmin1out2024-08-03 10:21 12K 
[ ]finseq_1__t89_finseq_1.vout2024-08-03 04:53 12K 
[ ]finseq_1__t90_finseq_12024-07-26 21:31 40K 
[ ]finseq_1__t90_finseq_1.depv12024-08-03 10:19 113  
[ ]finseq_1__t90_finseq_1.depvmin12024-08-03 10:24 113  
[ ]finseq_1__t90_finseq_1.vmin12024-08-03 10:19 843  
[ ]finseq_1__t90_finseq_1.vmin1out2024-08-03 10:20 8.7K 
[ ]finseq_1__t90_finseq_1.vout2024-08-03 09:08 9.6K 
[ ]finseq_1__t91_finseq_12024-07-26 19:37 33K 
[ ]finseq_1__t91_finseq_1.depv12024-08-03 10:19 26  
[ ]finseq_1__t91_finseq_1.depvmin12024-08-03 10:24 26  
[ ]finseq_1__t91_finseq_1.vmin12024-08-03 10:19 417  
[ ]finseq_1__t91_finseq_1.vmin1out2024-08-03 10:21 8.9K 
[ ]finseq_1__t91_finseq_1.vout2024-08-03 04:55 9.2K 
[ ]finseq_1__t92_finseq_12024-07-26 21:33 47K 
[ ]finseq_1__t92_finseq_1.depv12024-08-03 10:19 117  
[ ]finseq_1__t92_finseq_1.depvmin12024-08-03 10:24 117  
[ ]finseq_1__t92_finseq_1.vmin12024-08-03 10:19 1.1K 
[ ]finseq_1__t92_finseq_1.vmin1out2024-08-03 10:22 9.7K 
[ ]finseq_1__t92_finseq_1.vout2024-08-03 04:57 9.6K 
[ ]finseq_1__t93_finseq_12024-07-26 21:34 40K 
[ ]finseq_1__t93_finseq_1.depv12024-08-03 10:19 296  
[ ]finseq_1__t93_finseq_1.depvmin12024-08-03 10:24 283  
[ ]finseq_1__t93_finseq_1.vmin12024-08-03 10:19 2.1K 
[ ]finseq_1__t93_finseq_1.vmin1out2024-08-03 10:22 16K 
[ ]finseq_1__t93_finseq_1.vout2024-08-03 09:52 38K 
[ ]finseq_1__t94_finseq_12024-07-26 21:36 41K 
[ ]finseq_1__t94_finseq_1.vout2024-08-03 07:49 10K 
[ ]finseq_1__t95_finseq_12024-07-26 21:37 44K 
[ ]finseq_1__t95_finseq_1.depv12024-08-03 10:19 232  
[ ]finseq_1__t95_finseq_1.depvmin12024-08-03 10:24 232  
[ ]finseq_1__t95_finseq_1.vmin12024-08-03 10:19 2.2K 
[ ]finseq_1__t95_finseq_1.vmin1out2024-08-03 10:22 29K 
[ ]finseq_1__t95_finseq_1.vout2024-08-03 07:34 27K 
[ ]finseq_1__t96_finseq_12024-07-26 21:39 38K 
[ ]finseq_1__t96_finseq_1.depv12024-08-03 10:19 155  
[ ]finseq_1__t96_finseq_1.depvmin12024-08-03 10:24 155  
[ ]finseq_1__t96_finseq_1.vmin12024-08-03 10:19 1.4K 
[ ]finseq_1__t96_finseq_1.vmin1out2024-08-03 10:21 17K 
[ ]finseq_1__t96_finseq_1.vout2024-08-03 08:04 14K 
[ ]finseq_1__t97_finseq_12024-07-26 19:39 42K 
[ ]finseq_1__t97_finseq_1.depv12024-08-03 10:19 203  
[ ]finseq_1__t97_finseq_1.depvmin12024-08-03 10:24 131  
[ ]finseq_1__t97_finseq_1.vmin12024-08-03 10:19 1.6K 
[ ]finseq_1__t97_finseq_1.vmin1out2024-08-03 10:22 14K 
[ ]finseq_1__t97_finseq_1.vout2024-08-03 05:35 17K 
[ ]finseq_1__t98_finseq_12024-07-26 21:40 50K 
[ ]finseq_1__t98_finseq_1.vout2024-08-03 06:46 7.9K 
[ ]finseq_1__t99_finseq_12024-07-26 21:42 50K 
[ ]finseq_1__t99_finseq_1.vout2024-08-03 05:21 8.4K 
[ ]finseq_1__t100_finseq_12024-07-26 21:43 43K 
[ ]finseq_1__t100_finseq_1.vout2024-08-03 08:28 7.4K 
[ ]finseq_1__t101_finseq_12024-07-26 21:44 42K 
[ ]finseq_1__t101_finseq_1.depv12024-08-03 10:19 130  
[ ]finseq_1__t101_finseq_1.depvmin12024-08-03 10:24 130  
[ ]finseq_1__t101_finseq_1.vmin12024-08-03 10:19 1.0K 
[ ]finseq_1__t101_finseq_1.vmin1out2024-08-03 10:22 8.5K 
[ ]finseq_1__t101_finseq_1.vout2024-08-03 09:56 9.8K 
[ ]finseq_1__t102_finseq_12024-07-26 19:40 34K 
[ ]finseq_1__t102_finseq_1.depv12024-08-03 10:19 27  
[ ]finseq_1__t102_finseq_1.depvmin12024-08-03 10:24 27  
[ ]finseq_1__t102_finseq_1.vmin12024-08-03 10:19 314  
[ ]finseq_1__t102_finseq_1.vmin1out2024-08-03 10:21 3.8K 
[ ]finseq_1__t102_finseq_1.vout2024-08-03 07:53 3.8K 
[ ]finseq_1__t103_finseq_12024-07-26 21:46 36K 
[ ]finseq_1__t103_finseq_1.depv12024-08-03 10:19 63  
[ ]finseq_1__t103_finseq_1.depvmin12024-08-03 10:24 63  
[ ]finseq_1__t103_finseq_1.vmin12024-08-03 10:19 553  
[ ]finseq_1__t103_finseq_1.vmin1out2024-08-03 10:22 5.6K 
[ ]finseq_1__t103_finseq_1.vout2024-08-03 06:10 8.0K 
[ ]finseq_1__t104_finseq_12024-07-26 21:47 36K 
[ ]finseq_1__t104_finseq_1.depv12024-08-03 10:19 63  
[ ]finseq_1__t104_finseq_1.depvmin12024-08-03 10:24 63  
[ ]finseq_1__t104_finseq_1.vmin12024-08-03 10:19 551  
[ ]finseq_1__t104_finseq_1.vmin1out2024-08-03 10:23 5.6K 
[ ]finseq_1__t104_finseq_1.vout2024-08-03 04:34 7.9K 
[ ]finseq_1__t105_finseq_12024-07-26 21:48 36K 
[ ]finseq_1__t105_finseq_1.depv12024-08-03 10:19 63  
[ ]finseq_1__t105_finseq_1.depvmin12024-08-03 10:24 63  
[ ]finseq_1__t105_finseq_1.vmin12024-08-03 10:19 551  
[ ]finseq_1__t105_finseq_1.vmin1out2024-08-03 10:22 5.6K 
[ ]finseq_1__t105_finseq_1.vout2024-08-03 05:21 7.9K 
[ ]finseq_1__t106_finseq_12024-07-26 21:49 36K 
[ ]finseq_1__t106_finseq_1.depv12024-08-03 10:19 63  
[ ]finseq_1__t106_finseq_1.depvmin12024-08-03 10:24 63  
[ ]finseq_1__t106_finseq_1.vmin12024-08-03 10:19 551  
[ ]finseq_1__t106_finseq_1.vmin1out2024-08-03 10:23 5.6K 
[ ]finseq_1__t106_finseq_1.vout2024-08-03 05:38 7.9K 
[ ]finseq_1__t107_finseq_12024-07-26 21:51 36K 
[ ]finseq_1__t107_finseq_1.depv12024-08-03 10:19 63  
[ ]finseq_1__t107_finseq_1.depvmin12024-08-03 10:24 63  
[ ]finseq_1__t107_finseq_1.vmin12024-08-03 10:19 551  
[ ]finseq_1__t107_finseq_1.vmin1out2024-08-03 10:20 5.6K 
[ ]finseq_1__t107_finseq_1.vout2024-08-03 06:48 7.9K 
[ ]finseq_1__t108_finseq_12024-07-26 21:52 36K 
[ ]finseq_1__t108_finseq_1.depv12024-08-03 10:19 63  
[ ]finseq_1__t108_finseq_1.depvmin12024-08-03 10:24 63  
[ ]finseq_1__t108_finseq_1.vmin12024-08-03 10:19 551  
[ ]finseq_1__t108_finseq_1.vmin1out2024-08-03 10:20 5.6K 
[ ]finseq_1__t108_finseq_1.vout2024-08-03 08:11 7.9K 
[ ]finseq_1__t109_finseq_12024-07-26 19:41 31K 
[ ]finseq_1__t109_finseq_1.depv12024-08-03 10:19 27  
[ ]finseq_1__t109_finseq_1.depvmin12024-08-03 10:24 27  
[ ]finseq_1__t109_finseq_1.vmin12024-08-03 10:19 228  
[ ]finseq_1__t109_finseq_1.vmin1out2024-08-03 10:23 2.5K 
[ ]finseq_1__t109_finseq_1.vout2024-08-03 06:29 3.8K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80