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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]limfunc1__t107_limfunc1.vout2021-07-25 16:48 4.8K 
[ ]limfunc1__t107_limfunc12021-07-18 10:39 40K 
[ ]limfunc1__t106_limfunc1.vout2021-07-25 15:02 4.7K 
[ ]limfunc1__t106_limfunc12021-07-18 10:39 40K 
[ ]limfunc1__t105_limfunc1.vout2021-07-25 17:39 6.8K 
[ ]limfunc1__t105_limfunc12021-07-18 10:39 45K 
[ ]limfunc1__t104_limfunc1.vout2021-07-25 19:37 6.8K 
[ ]limfunc1__t104_limfunc12021-07-18 10:38 46K 
[ ]limfunc1__t103_limfunc1.vout2021-07-25 16:11 6.8K 
[ ]limfunc1__t103_limfunc12021-07-18 10:37 34K 
[ ]limfunc1__t101_limfunc1.vout2021-07-25 16:37 6.9K 
[ ]limfunc1__t101_limfunc12021-07-18 10:37 34K 
[ ]limfunc1__t96_limfunc1.vout2021-07-25 20:31 4.7K 
[ ]limfunc1__t96_limfunc12021-07-18 10:37 62K 
[ ]limfunc1__t95_limfunc1.vout2021-07-25 15:27 4.7K 
[ ]limfunc1__t95_limfunc12021-07-18 10:36 41K 
[ ]limfunc1__t94_limfunc1.vout2021-07-25 18:50 4.7K 
[ ]limfunc1__t94_limfunc12021-07-18 10:36 44K 
[ ]limfunc1__t93_limfunc1.vout2021-07-25 18:45 4.7K 
[ ]limfunc1__t93_limfunc12021-07-18 10:35 40K 
[ ]limfunc1__t92_limfunc1.vout2021-07-25 15:13 2.0K 
[ ]limfunc1__t92_limfunc12021-07-18 10:35 41K 
[ ]limfunc1__t91_limfunc1.vout2021-07-25 20:33 4.7K 
[ ]limfunc1__t91_limfunc12021-07-18 10:35 63K 
[ ]limfunc1__t90_limfunc1.vout2021-07-25 14:25 40K 
[ ]limfunc1__t90_limfunc1.vmin1out2021-07-25 21:00 21K 
[ ]limfunc1__t90_limfunc1.vmin12021-07-25 20:57 2.4K 
[ ]limfunc1__t90_limfunc1.depvmin12021-07-25 21:03 265  
[ ]limfunc1__t90_limfunc1.depv12021-07-25 20:57 265  
[ ]limfunc1__t90_limfunc12021-07-18 10:34 26K 
[ ]limfunc1__t89_limfunc1.vout2021-07-25 19:03 4.7K 
[ ]limfunc1__t89_limfunc12021-07-18 10:34 37K 
[ ]limfunc1__t87_limfunc1.vout2021-07-25 19:36 4.7K 
[ ]limfunc1__t87_limfunc12021-07-18 10:33 62K 
[ ]limfunc1__t86_limfunc1.vout2021-07-25 16:51 4.7K 
[ ]limfunc1__t86_limfunc12021-07-18 10:33 41K 
[ ]limfunc1__t85_limfunc1.vout2021-07-25 18:36 4.7K 
[ ]limfunc1__t85_limfunc12021-07-18 10:33 44K 
[ ]limfunc1__t84_limfunc1.vout2021-07-25 19:34 4.7K 
[ ]limfunc1__t84_limfunc12021-07-18 10:32 40K 
[ ]limfunc1__t83_limfunc1.vout2021-07-25 15:54 2.0K 
[ ]limfunc1__t83_limfunc12021-07-18 10:32 41K 
[ ]limfunc1__t82_limfunc1.vout2021-07-25 18:24 4.7K 
[ ]limfunc1__t82_limfunc12021-07-18 10:31 62K 
[ ]limfunc1__t81_limfunc1.vout2021-07-25 18:22 40K 
[ ]limfunc1__t81_limfunc1.vmin1out2021-07-25 20:58 21K 
[ ]limfunc1__t81_limfunc1.vmin12021-07-25 20:57 2.4K 
[ ]limfunc1__t81_limfunc1.depvmin12021-07-25 21:03 265  
[ ]limfunc1__t81_limfunc1.depv12021-07-25 20:57 265  
[ ]limfunc1__t81_limfunc12021-07-18 10:31 27K 
[ ]limfunc1__t80_limfunc1.vout2021-07-25 14:30 4.7K 
[ ]limfunc1__t80_limfunc12021-07-18 10:31 37K 
[ ]limfunc1__t79_limfunc1.vout2021-07-25 17:33 7.3K 
[ ]limfunc1__t79_limfunc12021-07-18 10:30 39K 
[ ]limfunc1__t78_limfunc1.vout2021-07-25 17:46 6.8K 
[ ]limfunc1__t78_limfunc12021-07-18 10:30 37K 
[ ]limfunc1__t77_limfunc1.vout2021-07-25 17:33 6.8K 
[ ]limfunc1__t77_limfunc12021-07-18 10:29 33K 
[ ]limfunc1__t76_limfunc1.vout2021-07-25 20:49 6.8K 
[ ]limfunc1__t76_limfunc12021-07-18 10:29 33K 
[ ]limfunc1__t75_limfunc1.vout2021-07-25 15:58 6.8K 
[ ]limfunc1__t75_limfunc12021-07-18 10:29 33K 
[ ]limfunc1__t74_limfunc1.vout2021-07-25 20:46 6.8K 
[ ]limfunc1__t74_limfunc12021-07-18 10:28 33K 
[ ]limfunc1__t69_limfunc1.vout2021-07-25 14:27 28K 
[ ]limfunc1__t69_limfunc1.vmin1out2021-07-25 21:00 24K 
[ ]limfunc1__t69_limfunc1.vmin12021-07-25 20:57 2.0K 
[ ]limfunc1__t69_limfunc1.depvmin12021-07-25 21:03 133  
[ ]limfunc1__t69_limfunc1.depv12021-07-25 20:57 133  
[ ]limfunc1__t69_limfunc12021-07-18 10:07 24K 
[ ]limfunc1__t68_limfunc1.vout2021-07-25 18:13 6.8K 
[ ]limfunc1__t68_limfunc12021-07-18 10:28 42K 
[ ]limfunc1__t67_limfunc1.vout2021-07-25 18:23 28K 
[ ]limfunc1__t67_limfunc1.vmin1out2021-07-25 21:00 24K 
[ ]limfunc1__t67_limfunc1.vmin12021-07-25 20:57 2.0K 
[ ]limfunc1__t67_limfunc1.depvmin12021-07-25 21:03 133  
[ ]limfunc1__t67_limfunc1.depv12021-07-25 20:57 133  
[ ]limfunc1__t67_limfunc12021-07-18 10:06 24K 
[ ]limfunc1__t66_limfunc1.vout2021-07-25 15:52 6.8K 
[ ]limfunc1__t66_limfunc12021-07-18 10:27 42K 
[ ]limfunc1__t65_limfunc1.vout2021-07-25 14:46 28K 
[ ]limfunc1__t65_limfunc1.vmin1out2021-07-25 20:57 24K 
[ ]limfunc1__t65_limfunc1.vmin12021-07-25 20:57 2.0K 
[ ]limfunc1__t65_limfunc1.depvmin12021-07-25 21:03 133  
[ ]limfunc1__t65_limfunc1.depv12021-07-25 20:57 133  
[ ]limfunc1__t65_limfunc12021-07-18 10:06 24K 
[ ]limfunc1__t64_limfunc1.vout2021-07-25 19:53 6.8K 
[ ]limfunc1__t64_limfunc12021-07-18 10:27 42K 
[ ]limfunc1__t63_limfunc1.vout2021-07-25 18:25 28K 
[ ]limfunc1__t63_limfunc1.vmin1out2021-07-25 20:57 24K 
[ ]limfunc1__t63_limfunc1.vmin12021-07-25 20:57 2.0K 
[ ]limfunc1__t63_limfunc1.depvmin12021-07-25 21:03 133  
[ ]limfunc1__t63_limfunc1.depv12021-07-25 20:57 133  
[ ]limfunc1__t63_limfunc12021-07-18 10:06 24K 
[ ]limfunc1__t62_limfunc1.vout2021-07-25 20:50 6.8K 
[ ]limfunc1__t62_limfunc12021-07-18 10:27 42K 
[ ]limfunc1__t61_limfunc1.vout2021-07-25 14:54 4.7K 
[ ]limfunc1__t61_limfunc12021-07-18 10:26 43K 
[ ]limfunc1__t60_limfunc1.vout2021-07-25 19:26 4.7K 
[ ]limfunc1__t60_limfunc12021-07-18 10:26 44K 
[ ]limfunc1__t59_limfunc1.vout2021-07-25 15:46 4.7K 
[ ]limfunc1__t59_limfunc12021-07-18 10:25 38K 
[ ]limfunc1__t58_limfunc1.vout2021-07-25 18:20 4.7K 
[ ]limfunc1__t58_limfunc12021-07-18 10:25 38K 
[ ]limfunc1__t53_limfunc1.vout2021-07-25 15:37 4.7K 
[ ]limfunc1__t53_limfunc12021-07-18 10:24 66K 
[ ]limfunc1__t52_limfunc1.vout2021-07-25 19:15 4.7K 
[ ]limfunc1__t52_limfunc12021-07-18 10:24 66K 
[ ]limfunc1__t51_limfunc1.vout2021-07-25 18:04 4.7K 
[ ]limfunc1__t51_limfunc12021-07-18 10:24 66K 
[ ]limfunc1__t50_limfunc1.vout2021-07-25 15:46 4.7K 
[ ]limfunc1__t50_limfunc12021-07-18 10:23 66K 
[ ]limfunc1__t49_limfunc1.vout2021-07-25 19:02 2.0K 
[ ]limfunc1__t49_limfunc12021-07-18 10:23 34K 
[ ]limfunc1__t48_limfunc1.vout2021-07-25 20:10 2.0K 
[ ]limfunc1__t48_limfunc12021-07-18 10:22 34K 
[ ]limfunc1__t47_limfunc1.vout2021-07-25 17:45 2.0K 
[ ]limfunc1__t47_limfunc12021-07-18 10:22 35K 
[ ]limfunc1__t46_limfunc1.vout2021-07-25 17:10 2.0K 
[ ]limfunc1__t46_limfunc12021-07-18 10:21 35K 
[ ]limfunc1__t45_limfunc1.vout2021-07-25 17:38 7.3K 
[ ]limfunc1__t45_limfunc12021-07-18 10:21 37K 
[ ]limfunc1__t44_limfunc1.vout2021-07-25 15:01 7.3K 
[ ]limfunc1__t44_limfunc12021-07-18 10:20 39K 
[ ]limfunc1__t43_limfunc1.vout2021-07-25 16:24 27K 
[ ]limfunc1__t43_limfunc1.vmin1out2021-07-25 21:00 29K 
[ ]limfunc1__t43_limfunc1.vmin12021-07-25 20:57 1.7K 
[ ]limfunc1__t43_limfunc1.depvmin12021-07-25 21:03 116  
[ ]limfunc1__t43_limfunc1.depv12021-07-25 20:57 116  
[ ]limfunc1__t43_limfunc12021-07-18 10:20 26K 
[ ]limfunc1__t42_limfunc1.vout2021-07-25 16:50 28K 
[ ]limfunc1__t42_limfunc1.vmin1out2021-07-25 21:02 28K 
[ ]limfunc1__t42_limfunc1.vmin12021-07-25 20:57 1.7K 
[ ]limfunc1__t42_limfunc1.depvmin12021-07-25 21:03 116  
[ ]limfunc1__t42_limfunc1.depv12021-07-25 20:57 116  
[ ]limfunc1__t42_limfunc12021-07-18 10:20 26K 
[ ]limfunc1__t41_limfunc1.vout2021-07-25 18:47 2.0K 
[ ]limfunc1__t41_limfunc12021-07-18 10:19 37K 
[ ]limfunc1__t40_limfunc1.vout2021-07-25 14:31 12K 
[ ]limfunc1__t40_limfunc1.vmin1out2021-07-25 20:59 12K 
[ ]limfunc1__t40_limfunc1.vmin12021-07-25 20:57 1.4K 
[ ]limfunc1__t40_limfunc1.depvmin12021-07-25 21:03 117  
[ ]limfunc1__t40_limfunc1.depv12021-07-25 20:57 117  
[ ]limfunc1__t40_limfunc12021-07-18 10:05 26K 
[ ]limfunc1__t39_limfunc1.vout2021-07-25 17:27 12K 
[ ]limfunc1__t39_limfunc1.vmin1out2021-07-25 21:02 12K 
[ ]limfunc1__t39_limfunc1.vmin12021-07-25 20:57 1.4K 
[ ]limfunc1__t39_limfunc1.depvmin12021-07-25 21:03 117  
[ ]limfunc1__t39_limfunc1.depv12021-07-25 20:57 117  
[ ]limfunc1__t39_limfunc12021-07-18 10:05 26K 
[ ]limfunc1__t38_limfunc1.vout2021-07-25 15:35 14K 
[ ]limfunc1__t38_limfunc1.vmin1out2021-07-25 20:59 13K 
[ ]limfunc1__t38_limfunc1.vmin12021-07-25 20:57 1.2K 
[ ]limfunc1__t38_limfunc1.depvmin12021-07-25 21:03 65  
[ ]limfunc1__t38_limfunc1.depv12021-07-25 20:57 65  
[ ]limfunc1__t38_limfunc12021-07-18 10:19 29K 
[ ]limfunc1__t37_limfunc1.vout2021-07-25 15:20 14K 
[ ]limfunc1__t37_limfunc1.vmin1out2021-07-25 21:02 13K 
[ ]limfunc1__t37_limfunc1.vmin12021-07-25 20:57 1.2K 
[ ]limfunc1__t37_limfunc1.depvmin12021-07-25 21:03 65  
[ ]limfunc1__t37_limfunc1.depv12021-07-25 20:57 65  
[ ]limfunc1__t37_limfunc12021-07-18 10:19 29K 
[ ]limfunc1__t36_limfunc1.vout2021-07-25 19:40 7.3K 
[ ]limfunc1__t36_limfunc12021-07-18 10:18 41K 
[ ]limfunc1__t35_limfunc1.vout2021-07-25 14:36 6.8K 
[ ]limfunc1__t35_limfunc12021-07-18 10:18 41K 
[ ]limfunc1__t34_limfunc1.vout2021-07-25 17:43 7.3K 
[ ]limfunc1__t34_limfunc12021-07-18 10:18 48K 
[ ]limfunc1__t33_limfunc1.vout2021-07-25 20:03 14K 
[ ]limfunc1__t33_limfunc1.vmin1out2021-07-25 20:59 14K 
[ ]limfunc1__t33_limfunc1.vmin12021-07-25 20:57 1.5K 
[ ]limfunc1__t33_limfunc1.depvmin12021-07-25 21:03 69  
[ ]limfunc1__t33_limfunc1.depv12021-07-25 20:57 69  
[ ]limfunc1__t33_limfunc12021-07-18 10:17 23K 
[ ]limfunc1__t32_limfunc1.vout2021-07-25 19:14 9.2K 
[ ]limfunc1__t32_limfunc1.vmin1out2021-07-25 20:59 9.6K 
[ ]limfunc1__t32_limfunc1.vmin12021-07-25 20:57 1.2K 
[ ]limfunc1__t32_limfunc1.depvmin12021-07-25 21:03 93  
[ ]limfunc1__t32_limfunc1.depv12021-07-25 20:57 93  
[ ]limfunc1__t32_limfunc12021-07-18 10:05 23K 
[ ]limfunc1__t31_limfunc1.vout2021-07-25 20:52 9.2K 
[ ]limfunc1__t31_limfunc1.vmin1out2021-07-25 21:00 9.6K 
[ ]limfunc1__t31_limfunc1.vmin12021-07-25 20:57 1.2K 
[ ]limfunc1__t31_limfunc1.depvmin12021-07-25 21:03 93  
[ ]limfunc1__t31_limfunc1.depv12021-07-25 20:57 93  
[ ]limfunc1__t31_limfunc12021-07-18 10:05 23K 
[ ]limfunc1__t30_limfunc1.vout2021-07-25 14:43 2.0K 
[ ]limfunc1__t30_limfunc12021-07-18 10:17 33K 
[ ]limfunc1__t29_limfunc1.vout2021-07-25 16:12 2.0K 
[ ]limfunc1__t29_limfunc12021-07-18 10:16 31K 
[ ]limfunc1__t27_limfunc1.vout2021-07-25 14:25 4.7K 
[ ]limfunc1__t27_limfunc12021-07-18 10:16 37K 
[ ]limfunc1__t26_limfunc1.vout2021-07-25 17:56 4.7K 
[ ]limfunc1__t26_limfunc12021-07-18 10:16 37K 
[ ]limfunc1__t25_limfunc1.vout2021-07-25 18:17 4.7K 
[ ]limfunc1__t25_limfunc12021-07-18 10:15 32K 
[ ]limfunc1__t24_limfunc1.vout2021-07-25 16:43 4.7K 
[ ]limfunc1__t24_limfunc12021-07-18 10:15 44K 
[ ]limfunc1__t23_limfunc1.vout2021-07-25 20:49 4.7K 
[ ]limfunc1__t23_limfunc12021-07-18 10:15 45K 
[ ]limfunc1__t22_limfunc1.vout2021-07-25 18:58 4.7K 
[ ]limfunc1__t22_limfunc12021-07-18 10:14 40K 
[ ]limfunc1__t21_limfunc1.vout2021-07-25 16:39 4.7K 
[ ]limfunc1__t21_limfunc12021-07-18 10:14 44K 
[ ]limfunc1__t20_limfunc1.vout2021-07-25 18:42 16K 
[ ]limfunc1__t20_limfunc1.vmin1out2021-07-25 20:58 18K 
[ ]limfunc1__t20_limfunc1.vmin12021-07-25 20:57 1.1K 
[ ]limfunc1__t20_limfunc1.depvmin12021-07-25 21:03 71  
[ ]limfunc1__t20_limfunc1.depv12021-07-25 20:57 71  
[ ]limfunc1__t20_limfunc12021-07-18 10:13 26K 
[ ]limfunc1__t19_limfunc1.vout2021-07-25 18:48 13K 
[ ]limfunc1__t19_limfunc1.vmin1out2021-07-25 20:58 13K 
[ ]limfunc1__t19_limfunc1.vmin12021-07-25 20:57 1.6K 
[ ]limfunc1__t19_limfunc1.depvmin12021-07-25 21:03 86  
[ ]limfunc1__t19_limfunc1.depv12021-07-25 20:57 86  
[ ]limfunc1__t19_limfunc12021-07-18 10:04 29K 
[ ]limfunc1__t18_limfunc1.vout2021-07-25 14:44 13K 
[ ]limfunc1__t18_limfunc1.vmin1out2021-07-25 21:01 13K 
[ ]limfunc1__t18_limfunc1.vmin12021-07-25 20:57 1.6K 
[ ]limfunc1__t18_limfunc1.depvmin12021-07-25 21:03 85  
[ ]limfunc1__t18_limfunc1.depv12021-07-25 20:57 85  
[ ]limfunc1__t18_limfunc12021-07-18 10:04 29K 
[ ]limfunc1__t17_limfunc1.vout2021-07-25 17:17 7.4K 
[ ]limfunc1__t17_limfunc12021-07-18 10:13 48K 
[ ]limfunc1__t16_limfunc1.vout2021-07-25 14:39 7.4K 
[ ]limfunc1__t16_limfunc12021-07-18 10:13 48K 
[ ]limfunc1__t15_limfunc1.vout2021-07-25 14:28 37K 
[ ]limfunc1__t15_limfunc1.vmin1out2021-07-25 21:02 40K 
[ ]limfunc1__t15_limfunc1.vmin12021-07-25 20:57 4.0K 
[ ]limfunc1__t15_limfunc1.depvmin12021-07-25 21:03 357  
[ ]limfunc1__t15_limfunc1.depv12021-07-25 20:57 382  
[ ]limfunc1__t15_limfunc12021-07-18 10:04 37K 
[ ]limfunc1__t14_limfunc1.vout2021-07-25 15:11 4.7K 
[ ]limfunc1__t14_limfunc12021-07-18 10:12 40K 
[ ]limfunc1__t13_limfunc1.vout2021-07-25 15:39 4.8K 
[ ]limfunc1__t13_limfunc12021-07-18 10:12 40K 
[ ]limfunc1__t12_limfunc1.vout2021-07-25 19:12 4.7K 
[ ]limfunc1__t12_limfunc12021-07-18 10:12 40K 
[ ]limfunc1__t11_limfunc1.vout2021-07-25 14:30 4.7K 
[ ]limfunc1__t11_limfunc12021-07-18 10:11 42K 
[ ]limfunc1__t10_limfunc1.vout2021-07-25 16:17 4.7K 
[ ]limfunc1__t10_limfunc12021-07-18 10:11 42K 
[ ]limfunc1__t9_limfunc1.vout2021-07-25 18:34 4.7K 
[ ]limfunc1__t9_limfunc12021-07-18 10:10 40K 
[ ]limfunc1__t8_limfunc1.vout2021-07-25 16:18 4.7K 
[ ]limfunc1__t8_limfunc12021-07-18 10:10 42K 
[ ]limfunc1__t5_limfunc1.vout2021-07-25 17:07 4.7K 
[ ]limfunc1__t5_limfunc12021-07-18 10:10 116K 
[ ]limfunc1__t4_limfunc1.vout2021-07-25 20:12 7.3K 
[ ]limfunc1__t4_limfunc12021-07-18 10:09 33K 
[ ]limfunc1__t3_limfunc1.vout2021-07-25 19:09 7.3K 
[ ]limfunc1__t3_limfunc12021-07-18 10:09 34K 
[ ]limfunc1__t2_limfunc1.vout2021-07-25 15:33 7.3K 
[ ]limfunc1__t2_limfunc12021-07-18 10:09 34K 
[ ]limfunc1__t1_limfunc1.vout2021-07-25 17:33 2.0K 
[ ]limfunc1__t1_limfunc12021-07-18 10:08 34K 
[ ]limfunc1__l32_limfunc1.vout2021-07-25 17:03 4.1K 
[ ]limfunc1__l32_limfunc1.vmin1out2021-07-25 21:01 3.8K 
[ ]limfunc1__l32_limfunc1.vmin12021-07-25 20:57 436  
[ ]limfunc1__l32_limfunc1.depvmin12021-07-25 21:03 79  
[ ]limfunc1__l32_limfunc1.depv12021-07-25 20:57 79  
[ ]limfunc1__l32_limfunc12021-07-18 10:08 26K 
[ ]limfunc1__l31_limfunc1.vout2021-07-25 15:41 14K 
[ ]limfunc1__l31_limfunc1.vmin1out2021-07-25 20:57 15K 
[ ]limfunc1__l31_limfunc1.vmin12021-07-25 20:57 1.7K 
[ ]limfunc1__l31_limfunc1.depvmin12021-07-25 21:03 211  
[ ]limfunc1__l31_limfunc1.depv12021-07-25 20:57 211  
[ ]limfunc1__l31_limfunc12021-07-18 10:08 25K 
[ ]limfunc1__l24_limfunc1.vout2021-07-25 18:24 2.1K 
[ ]limfunc1__l24_limfunc1.vmin1out2021-07-25 20:59 2.2K 
[ ]limfunc1__l24_limfunc1.vmin12021-07-25 20:57 286  
[ ]limfunc1__l24_limfunc1.depvmin12021-07-25 21:03 52  
[ ]limfunc1__l24_limfunc1.depv12021-07-25 20:57 52  
[ ]limfunc1__l24_limfunc12021-07-18 10:07 12K 
[ ]limfunc1__l21_limfunc1.vout2021-07-25 16:32 3.5K 
[ ]limfunc1__l21_limfunc1.vmin1out2021-07-25 21:00 3.4K 
[ ]limfunc1__l21_limfunc1.vmin12021-07-25 20:57 429  
[ ]limfunc1__l21_limfunc1.depvmin12021-07-25 21:03 96  
[ ]limfunc1__l21_limfunc1.depv12021-07-25 20:57 96  
[ ]limfunc1__l21_limfunc12021-07-18 10:07 13K 
[ ]limfunc1__l3_limfunc1.vout2021-07-25 17:58 7.3K 
[ ]limfunc1__l3_limfunc12021-07-18 10:40 38K 
[ ]limfunc1__l2_limfunc1.vout2021-07-25 19:42 7.3K 
[ ]limfunc1__l2_limfunc12021-07-18 10:40 38K 
[ ]limfunc1__l1_limfunc1.vout2021-07-25 18:15 2.0K 
[ ]limfunc1__l1_limfunc12021-07-18 10:40 21K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80