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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]monoid_0__t81_monoid_0.depv12024-08-03 10:19 26  
[ ]monoid_0__t81_monoid_0.depvmin12024-08-03 10:24 26  
[ ]monoid_0__t1_monoid_0.depv12024-08-03 10:19 48  
[ ]monoid_0__t1_monoid_0.depvmin12024-08-03 10:24 48  
[ ]monoid_0__t22_monoid_0.depv12024-08-03 10:19 61  
[ ]monoid_0__t22_monoid_0.depvmin12024-08-03 10:24 61  
[ ]monoid_0__t53_monoid_0.depv12024-08-03 10:19 66  
[ ]monoid_0__t53_monoid_0.depvmin12024-08-03 10:24 66  
[ ]monoid_0__t21_monoid_0.depv12024-08-03 10:19 69  
[ ]monoid_0__t21_monoid_0.depvmin12024-08-03 10:24 69  
[ ]monoid_0__t62_monoid_0.depv12024-08-03 10:19 70  
[ ]monoid_0__t62_monoid_0.depvmin12024-08-03 10:24 70  
[ ]monoid_0__t7_monoid_0.depv12024-08-03 10:19 88  
[ ]monoid_0__t7_monoid_0.depvmin12024-08-03 10:24 88  
[ ]monoid_0__t4_monoid_0.depv12024-08-03 10:19 90  
[ ]monoid_0__t4_monoid_0.depvmin12024-08-03 10:24 90  
[ ]monoid_0__t8_monoid_0.depv12024-08-03 10:19 93  
[ ]monoid_0__t8_monoid_0.depvmin12024-08-03 10:24 93  
[ ]monoid_0__t9_monoid_0.depv12024-08-03 10:19 93  
[ ]monoid_0__t9_monoid_0.depvmin12024-08-03 10:24 93  
[ ]monoid_0__t10_monoid_0.depv12024-08-03 10:19 94  
[ ]monoid_0__t10_monoid_0.depvmin12024-08-03 10:24 94  
[ ]monoid_0__t11_monoid_0.depv12024-08-03 10:19 94  
[ ]monoid_0__t11_monoid_0.depvmin12024-08-03 10:24 94  
[ ]monoid_0__t12_monoid_0.depv12024-08-03 10:19 94  
[ ]monoid_0__t12_monoid_0.depvmin12024-08-03 10:24 94  
[ ]monoid_0__t13_monoid_0.depv12024-08-03 10:19 94  
[ ]monoid_0__t13_monoid_0.depvmin12024-08-03 10:24 94  
[ ]monoid_0__t14_monoid_0.depv12024-08-03 10:19 94  
[ ]monoid_0__t14_monoid_0.depvmin12024-08-03 10:24 94  
[ ]monoid_0__t73_monoid_0.depvmin12024-08-03 10:24 97  
[ ]monoid_0__t49_monoid_0.depv12024-08-03 10:19 99  
[ ]monoid_0__t49_monoid_0.depvmin12024-08-03 10:24 99  
[ ]monoid_0__t68_monoid_0.depvmin12024-08-03 10:24 101  
[ ]monoid_0__t59_monoid_0.depv12024-08-03 10:19 105  
[ ]monoid_0__t59_monoid_0.depvmin12024-08-03 10:24 105  
[ ]monoid_0__t65_monoid_0.depvmin12024-08-03 10:24 107  
[ ]monoid_0__t52_monoid_0.depv12024-08-03 10:19 110  
[ ]monoid_0__t52_monoid_0.depvmin12024-08-03 10:24 110  
[ ]monoid_0__t38_monoid_0.depv12024-08-03 10:19 111  
[ ]monoid_0__t38_monoid_0.depvmin12024-08-03 10:24 111  
[ ]monoid_0__t67_monoid_0.depvmin12024-08-03 10:24 116  
[ ]monoid_0__t73_monoid_0.depv12024-08-03 10:19 122  
[ ]monoid_0__t55_monoid_0.depv12024-08-03 10:19 124  
[ ]monoid_0__t55_monoid_0.depvmin12024-08-03 10:24 124  
[ ]monoid_0__t68_monoid_0.depv12024-08-03 10:19 126  
[ ]monoid_0__t65_monoid_0.depv12024-08-03 10:19 129  
[ ]monoid_0__t43_monoid_0.depv12024-08-03 10:19 140  
[ ]monoid_0__t43_monoid_0.depvmin12024-08-03 10:24 140  
[ ]monoid_0__t29_monoid_0.depv12024-08-03 10:19 145  
[ ]monoid_0__t29_monoid_0.depvmin12024-08-03 10:24 145  
[ ]monoid_0__t71_monoid_0.depv12024-08-03 10:19 146  
[ ]monoid_0__t71_monoid_0.depvmin12024-08-03 10:24 146  
[ ]monoid_0__t37_monoid_0.depv12024-08-03 10:19 148  
[ ]monoid_0__t37_monoid_0.depvmin12024-08-03 10:24 148  
[ ]monoid_0__t5_monoid_0.depvmin12024-08-03 10:24 153  
[ ]monoid_0__t18_monoid_0.depvmin12024-08-03 10:24 153  
[ ]monoid_0__t20_monoid_0.depv12024-08-03 10:19 153  
[ ]monoid_0__t20_monoid_0.depvmin12024-08-03 10:24 153  
[ ]monoid_0__t44_monoid_0.depv12024-08-03 10:19 154  
[ ]monoid_0__t44_monoid_0.depvmin12024-08-03 10:24 154  
[ ]monoid_0__t67_monoid_0.depv12024-08-03 10:19 161  
[ ]monoid_0__t75_monoid_0.depv12024-08-03 10:19 166  
[ ]monoid_0__t75_monoid_0.depvmin12024-08-03 10:24 166  
[ ]monoid_0__t18_monoid_0.depv12024-08-03 10:19 167  
[ ]monoid_0__t27_monoid_0.depv12024-08-03 10:19 167  
[ ]monoid_0__t27_monoid_0.depvmin12024-08-03 10:24 167  
[ ]monoid_0__t41_monoid_0.depvmin12024-08-03 10:24 179  
[ ]monoid_0__t45_monoid_0.depv12024-08-03 10:19 179  
[ ]monoid_0__t45_monoid_0.depvmin12024-08-03 10:24 179  
[ ]monoid_0__t41_monoid_0.depv12024-08-03 10:19 192  
[ ]monoid_0__t5_monoid_0.depv12024-08-03 10:19 199  
[ ]monoid_0__t54_monoid_0.depv12024-08-03 10:19 200  
[ ]monoid_0__t54_monoid_0.depvmin12024-08-03 10:24 200  
[ ]monoid_0__t57_monoid_0.depv12024-08-03 10:19 208  
[ ]monoid_0__t57_monoid_0.depvmin12024-08-03 10:24 208  
[ ]monoid_0__t42_monoid_0.depv12024-08-03 10:19 209  
[ ]monoid_0__t42_monoid_0.depvmin12024-08-03 10:24 209  
[ ]monoid_0__t58_monoid_0.depv12024-08-03 10:19 244  
[ ]monoid_0__t58_monoid_0.depvmin12024-08-03 10:24 244  
[ ]monoid_0__t48_monoid_0.depvmin12024-08-03 10:24 271  
[ ]monoid_0__t56_monoid_0.depv12024-08-03 10:19 277  
[ ]monoid_0__t56_monoid_0.depvmin12024-08-03 10:24 277  
[ ]monoid_0__t47_monoid_0.depv12024-08-03 10:19 285  
[ ]monoid_0__t47_monoid_0.depvmin12024-08-03 10:24 285  
[ ]monoid_0__t48_monoid_0.depv12024-08-03 10:19 285  
[ ]monoid_0__t46_monoid_0.depvmin12024-08-03 10:24 306  
[ ]monoid_0__t46_monoid_0.depv12024-08-03 10:19 331  
[ ]monoid_0__t80_monoid_02024-07-26 20:58 371  
[ ]monoid_0__t22_monoid_0.vmin12024-08-03 10:19 625  
[ ]monoid_0__t80_monoid_0.vout2024-08-03 07:02 670  
[ ]monoid_0__t21_monoid_0.vmin12024-08-03 10:19 742  
[ ]monoid_0__t81_monoid_0.vmin12024-08-03 10:19 885  
[ ]monoid_0__t53_monoid_0.vmin12024-08-03 10:19 1.0K 
[ ]monoid_0__t52_monoid_0.vmin12024-08-03 10:19 1.0K 
[ ]monoid_0__t49_monoid_0.vmin12024-08-03 10:19 1.0K 
[ ]monoid_0__t38_monoid_0.vmin12024-08-03 10:19 1.1K 
[ ]monoid_0__t43_monoid_0.vmin12024-08-03 10:19 1.2K 
[ ]monoid_0__t59_monoid_0.vmin12024-08-03 10:19 1.2K 
[ ]monoid_0__t73_monoid_0.vmin12024-08-03 10:19 1.3K 
[ ]monoid_0__t7_monoid_0.vmin12024-08-03 10:19 1.4K 
[ ]monoid_0__t68_monoid_0.vmin12024-08-03 10:19 1.4K 
[ ]monoid_0__t1_monoid_0.vmin12024-08-03 10:19 1.4K 
[ ]monoid_0__t8_monoid_0.vmin12024-08-03 10:19 1.5K 
[ ]monoid_0__t9_monoid_0.vmin12024-08-03 10:19 1.5K 
[ ]monoid_0__t29_monoid_0.vmin12024-08-03 10:19 1.5K 
[ ]monoid_0__t71_monoid_0.vmin12024-08-03 10:19 1.6K 
[ ]monoid_0__t37_monoid_0.vmin12024-08-03 10:19 1.6K 
[ ]monoid_0__t4_monoid_0.vmin12024-08-03 10:19 1.6K 
[ ]monoid_0__t11_monoid_0.vmin12024-08-03 10:19 1.6K 
[ ]monoid_0__t12_monoid_0.vmin12024-08-03 10:19 1.6K 
[ ]monoid_0__t65_monoid_0.vmin12024-08-03 10:19 1.6K 
[ ]monoid_0__t14_monoid_0.vmin12024-08-03 10:19 1.7K 
[ ]monoid_0__t10_monoid_0.vmin12024-08-03 10:19 1.7K 
[ ]monoid_0__t13_monoid_0.vmin12024-08-03 10:19 1.7K 
[ ]monoid_0__t75_monoid_0.vmin12024-08-03 10:19 1.7K 
[ ]monoid_0__t42_monoid_0.vmin12024-08-03 10:19 1.7K 
[ ]monoid_0__t20_monoid_0.vmin12024-08-03 10:19 1.8K 
[ ]monoid_0__t62_monoid_0.vmin12024-08-03 10:19 1.8K 
[ ]monoid_0__t44_monoid_0.vmin12024-08-03 10:19 1.8K 
[ ]monoid_0__t41_monoid_0.vmin12024-08-03 10:19 1.9K 
[ ]monoid_0__t2_monoid_0.vout2024-08-03 06:51 2.0K 
[ ]monoid_0__t16_monoid_0.vout2024-08-03 08:18 2.0K 
[ ]monoid_0__t6_monoid_0.vout2024-08-03 08:59 2.0K 
[ ]monoid_0__l27_monoid_0.vout2024-08-03 06:53 2.0K 
[ ]monoid_0__t55_monoid_0.vmin12024-08-03 10:19 2.0K 
[ ]monoid_0__t67_monoid_0.vmin12024-08-03 10:19 2.2K 
[ ]monoid_0__t27_monoid_0.vmin12024-08-03 10:19 2.2K 
[ ]monoid_0__t45_monoid_0.vmin12024-08-03 10:19 2.3K 
[ ]monoid_0__t54_monoid_0.vmin12024-08-03 10:19 2.3K 
[ ]monoid_0__t57_monoid_0.vmin12024-08-03 10:19 2.4K 
[ ]monoid_0__t18_monoid_0.vmin12024-08-03 10:19 2.5K 
[ ]monoid_0__t47_monoid_0.vmin12024-08-03 10:19 2.8K 
[ ]monoid_0__t56_monoid_0.vmin12024-08-03 10:19 2.8K 
[ ]monoid_0__t58_monoid_0.vmin12024-08-03 10:19 2.9K 
[ ]monoid_0__t48_monoid_0.vmin12024-08-03 10:19 3.0K 
[ ]monoid_0__t46_monoid_0.vmin12024-08-03 10:19 3.1K 
[ ]monoid_0__t64_monoid_0.vout2024-08-03 07:46 3.2K 
[ ]monoid_0__t19_monoid_0.vout2024-08-03 04:22 3.2K 
[ ]monoid_0__t5_monoid_0.vmin12024-08-03 10:19 3.7K 
[ ]monoid_0__l38_monoid_0.vout2024-08-03 09:09 3.7K 
[ ]monoid_0__t79_monoid_0.vout2024-08-03 07:44 4.7K 
[ ]monoid_0__t60_monoid_0.vout2024-08-03 07:53 4.7K 
[ ]monoid_0__t61_monoid_0.vout2024-08-03 09:07 4.7K 
[ ]monoid_0__l37_monoid_0.vout2024-08-03 07:07 4.8K 
[ ]monoid_0__t3_monoid_0.vout2024-08-03 08:44 6.2K 
[ ]monoid_0__t22_monoid_0.vmin1out2024-08-03 10:20 6.5K 
[ ]monoid_0__t52_monoid_0.vmin1out2024-08-03 10:20 6.5K 
[ ]monoid_0__t69_monoid_0.vout2024-08-03 08:57 6.8K 
[ ]monoid_0__t76_monoid_0.vout2024-08-03 08:30 6.8K 
[ ]monoid_0__t52_monoid_0.vout2024-08-03 07:23 6.8K 
[ ]monoid_0__t36_monoid_0.vout2024-08-03 08:15 6.8K 
[ ]monoid_0__t30_monoid_0.vout2024-08-03 08:29 7.3K 
[ ]monoid_0__l67_monoid_0.vout2024-08-03 09:53 7.3K 
[ ]monoid_0__t24_monoid_0.vout2024-08-03 08:40 7.3K 
[ ]monoid_0__t28_monoid_0.vout2024-08-03 07:26 7.3K 
[ ]monoid_0__t25_monoid_0.vout2024-08-03 05:18 7.3K 
[ ]monoid_0__t35_monoid_0.vout2024-08-03 08:04 7.3K 
[ ]monoid_0__t26_monoid_0.vout2024-08-03 10:05 7.3K 
[ ]monoid_0__t23_monoid_0.vout2024-08-03 07:26 7.3K 
[ ]monoid_0__t33_monoid_0.vout2024-08-03 08:54 7.3K 
[ ]monoid_0__t34_monoid_0.vout2024-08-03 05:55 7.3K 
[ ]monoid_0__t32_monoid_0.vout2024-08-03 10:14 7.4K 
[ ]monoid_0__t82_monoid_0.vout2024-08-03 07:58 7.4K 
[ ]monoid_0__t21_monoid_0.vmin1out2024-08-03 10:23 7.6K 
[ ]monoid_0__t22_monoid_0.vout2024-08-03 06:08 7.7K 
[ ]monoid_0__t43_monoid_0.vmin1out2024-08-03 10:20 7.8K 
[ ]monoid_0__t70_monoid_0.vout2024-08-03 06:22 7.9K 
[ ]monoid_0__t31_monoid_0.vout2024-08-03 06:55 7.9K 
[ ]monoid_0__t50_monoid_0.vout2024-08-03 08:29 7.9K 
[ ]monoid_0__t72_monoid_0.vout2024-08-03 06:22 7.9K 
[ ]monoid_0__t15_monoid_0.vout2024-08-03 06:52 7.9K 
[ ]monoid_0__t39_monoid_0.vout2024-08-03 10:03 7.9K 
[ ]monoid_0__t63_monoid_0.vout2024-08-03 06:37 7.9K 
[ ]monoid_0__t66_monoid_0.vout2024-08-03 05:28 7.9K 
[ ]monoid_0__t77_monoid_0.vout2024-08-03 05:47 7.9K 
[ ]monoid_0__t40_monoid_0.vout2024-08-03 08:08 7.9K 
[ ]monoid_0__l39_monoid_0.vout2024-08-03 09:44 8.4K 
[ ]monoid_0__t51_monoid_0.vout2024-08-03 07:53 8.4K 
[ ]monoid_0__t17_monoid_0.vout2024-08-03 07:33 8.4K 
[ ]monoid_0__t78_monoid_0.vout2024-08-03 09:42 8.8K 
[ ]monoid_0__t43_monoid_0.vout2024-08-03 05:29 9.0K 
[ ]monoid_0__t53_monoid_0.vout2024-08-03 06:51 9.2K 
[ ]monoid_0__t21_monoid_0.vout2024-08-03 07:10 9.5K 
[ ]monoid_0__t49_monoid_0.vmin1out2024-08-03 10:21 9.9K 
[ ]monoid_0__t38_monoid_0.vmin1out2024-08-03 10:20 10K 
[ ]monoid_0__t74_monoid_0.vout2024-08-03 10:05 10K 
[ ]monoid_0__t75_monoid_0.vmin1out2024-08-03 10:22 11K 
[ ]monoid_0__t49_monoid_0.vout2024-08-03 07:54 12K 
[ ]monoid_0__t38_monoid_0.vout2024-08-03 05:44 12K 
[ ]monoid_0__t42_monoid_0.vmin1out2024-08-03 10:20 12K 
[ ]monoid_0__t42_monoid_0.vout2024-08-03 08:10 13K 
[ ]monoid_0__t44_monoid_0.vout2024-08-03 09:34 13K 
[ ]monoid_0__t59_monoid_0.vout2024-08-03 06:28 13K 
[ ]monoid_0__t53_monoid_0.vmin1out2024-08-03 10:22 15K 
[ ]monoid_0__t57_monoid_0.vout2024-08-03 07:29 15K 
[ ]monoid_0__t73_monoid_0.vmin1out2024-08-03 10:20 15K 
[ ]monoid_0__t71_monoid_0.vmin1out2024-08-03 10:23 15K 
[ ]monoid_0__t37_monoid_0.vmin1out2024-08-03 10:22 15K 
[ ]monoid_0__t75_monoid_0.vout2024-08-03 07:40 16K 
[ ]monoid_0__t20_monoid_0.vmin1out2024-08-03 10:20 16K 
[ ]monoid_0__t59_monoid_0.vmin1out2024-08-03 10:21 16K 
[ ]monoid_0__t81_monoid_0.vout2024-08-03 04:45 16K 
[ ]monoid_0__t44_monoid_0.vmin1out2024-08-03 10:21 16K 
[ ]monoid_0__t65_monoid_0.vmin1out2024-08-03 10:23 16K 
[ ]monoid_0__t71_monoid_0.vout2024-08-03 06:16 17K 
[ ]monoid_0__t29_monoid_0.vmin1out2024-08-03 10:20 17K 
[ ]monoid_0__t2_monoid_02024-07-26 20:42 17K 
[ ]monoid_0__t57_monoid_0.vmin1out2024-08-03 10:22 17K 
[ ]monoid_0__t73_monoid_0.vout2024-08-03 04:55 17K 
[ ]monoid_0__t41_monoid_0.vmin1out2024-08-03 10:23 17K 
[ ]monoid_0__t81_monoid_0.vmin1out2024-08-03 10:22 17K 
[ ]monoid_0__t54_monoid_0.vout2024-08-03 09:44 18K 
[ ]monoid_0__t41_monoid_0.vout2024-08-03 05:25 18K 
[ ]monoid_0__t68_monoid_0.vmin1out2024-08-03 10:22 18K 
[ ]monoid_0__l37_monoid_02024-07-26 21:02 19K 
[ ]monoid_0__t21_monoid_02024-07-26 21:24 19K 
[ ]monoid_0__t37_monoid_0.vout2024-08-03 07:15 19K 
[ ]monoid_0__t1_monoid_02024-07-26 21:03 19K 
[ ]monoid_0__t68_monoid_0.vout2024-08-03 06:35 19K 
[ ]monoid_0__l38_monoid_02024-07-26 22:37 20K 
[ ]monoid_0__t4_monoid_0.vmin1out2024-08-03 10:21 21K 
[ ]monoid_0__t17_monoid_02024-07-26 20:46 21K 
[ ]monoid_0__t65_monoid_0.vout2024-08-03 09:11 22K 
[ ]monoid_0__t22_monoid_02024-07-26 21:25 22K 
[ ]monoid_0__t4_monoid_02024-07-26 21:06 22K 
[ ]monoid_0__t54_monoid_0.vmin1out2024-08-03 10:22 22K 
[ ]monoid_0__t4_monoid_0.vout2024-08-03 04:16 22K 
[ ]monoid_0__t6_monoid_02024-07-26 20:44 22K 
[ ]monoid_0__t7_monoid_02024-07-26 21:08 22K 
[ ]monoid_0__l27_monoid_02024-07-26 21:01 22K 
[ ]monoid_0__t8_monoid_02024-07-26 21:09 22K 
[ ]monoid_0__t9_monoid_02024-07-26 21:11 22K 
[ ]monoid_0__t16_monoid_02024-07-26 20:45 22K 
[ ]monoid_0__t11_monoid_02024-07-26 21:13 22K 
[ ]monoid_0__t12_monoid_02024-07-26 21:15 22K 
[ ]monoid_0__t10_monoid_02024-07-26 21:12 22K 
[ ]monoid_0__t37_monoid_02024-07-26 21:45 22K 
[ ]monoid_0__t13_monoid_02024-07-26 21:16 22K 
[ ]monoid_0__t14_monoid_02024-07-26 21:17 22K 
[ ]monoid_0__t55_monoid_0.vout2024-08-03 07:06 23K 
[ ]monoid_0__l39_monoid_02024-07-26 22:38 23K 
[ ]monoid_0__t32_monoid_02024-07-26 21:38 23K 
[ ]monoid_0__t56_monoid_0.vout2024-08-03 07:32 23K 
[ ]monoid_0__t67_monoid_0.vmin1out2024-08-03 10:22 23K 
[ ]monoid_0__t34_monoid_02024-07-26 21:41 23K 
[ ]monoid_0__t33_monoid_02024-07-26 21:40 23K 
[ ]monoid_0__t29_monoid_02024-07-26 21:34 23K 
[ ]monoid_0__t29_monoid_0.vout2024-08-03 07:25 24K 
[ ]monoid_0__t35_monoid_02024-07-26 21:42 24K 
[ ]monoid_0__t49_monoid_02024-07-26 20:53 24K 
[ ]monoid_0__t47_monoid_0.vmin1out2024-08-03 10:21 24K 
[ ]monoid_0__t23_monoid_02024-07-26 21:26 24K 
[ ]monoid_0__t47_monoid_0.vout2024-08-03 06:57 24K 
[ ]monoid_0__t45_monoid_0.vout2024-08-03 09:13 24K 
[ ]monoid_0__t46_monoid_0.vmin1out2024-08-03 10:20 24K 
[ ]monoid_0__t31_monoid_02024-07-26 21:37 24K 
[ ]monoid_0__t56_monoid_0.vmin1out2024-08-03 10:20 24K 
[ ]monoid_0__t36_monoid_02024-07-26 21:44 24K 
[ ]monoid_0__t5_monoid_02024-07-26 21:07 24K 
[ ]monoid_0__t58_monoid_0.vout2024-08-03 05:21 25K 
[ ]monoid_0__t30_monoid_02024-07-26 21:35 25K 
[ ]monoid_0__t81_monoid_02024-07-26 21:00 25K 
[ ]monoid_0__t55_monoid_0.vmin1out2024-08-03 10:23 25K 
[ ]monoid_0__t58_monoid_0.vmin1out2024-08-03 10:23 25K 
[ ]monoid_0__t25_monoid_02024-07-26 21:29 25K 
[ ]monoid_0__t73_monoid_02024-07-26 22:25 25K 
[ ]monoid_0__t11_monoid_0.vmin1out2024-08-03 10:23 25K 
[ ]monoid_0__t12_monoid_0.vmin1out2024-08-03 10:22 25K 
[ ]monoid_0__t18_monoid_02024-07-26 21:20 25K 
[ ]monoid_0__t20_monoid_0.vout2024-08-03 06:50 25K 
[ ]monoid_0__t54_monoid_02024-07-26 22:01 26K 
[ ]monoid_0__t7_monoid_0.vmin1out2024-08-03 10:20 26K 
[ ]monoid_0__t52_monoid_02024-07-26 20:54 26K 
[ ]monoid_0__t45_monoid_0.vmin1out2024-08-03 10:21 26K 
[ ]monoid_0__t65_monoid_02024-07-26 22:14 26K 
[ ]monoid_0__t19_monoid_02024-07-26 21:22 26K 
[ ]monoid_0__t20_monoid_02024-07-26 21:23 26K 
[ ]monoid_0__t3_monoid_02024-07-26 21:04 26K 
[ ]monoid_0__t27_monoid_02024-07-26 21:31 26K 
[ ]monoid_0__t38_monoid_02024-07-26 20:47 26K 
[ ]monoid_0__t46_monoid_0.vout2024-08-03 06:07 27K 
[ ]monoid_0__t18_monoid_0.vmin1out2024-08-03 10:23 27K 
[ ]monoid_0__t15_monoid_02024-07-26 21:19 27K 
[ ]monoid_0__t48_monoid_0.vout2024-08-03 07:14 27K 
[ ]monoid_0__t58_monoid_02024-07-26 22:05 27K 
[ ]monoid_0__t27_monoid_0.vmin1out2024-08-03 10:22 27K 
[ ]monoid_0__t24_monoid_02024-07-26 21:28 27K 
[ ]monoid_0__t48_monoid_0.vmin1out2024-08-03 10:21 27K 
[ ]monoid_0__t59_monoid_02024-07-26 20:58 27K 
[ ]monoid_0__t67_monoid_02024-07-26 22:17 28K 
[ ]monoid_0__t53_monoid_02024-07-26 20:56 28K 
[ ]monoid_0__t82_monoid_02024-07-26 22:36 28K 
[ ]monoid_0__t28_monoid_02024-07-26 21:33 28K 
[ ]monoid_0__t67_monoid_0.vout2024-08-03 06:17 28K 
[ ]monoid_0__t62_monoid_0.vout2024-08-03 06:52 29K 
[ ]monoid_0__t64_monoid_02024-07-26 22:13 29K 
[ ]monoid_0__t71_monoid_02024-07-26 22:22 29K 
[ ]monoid_0__t7_monoid_0.vout2024-08-03 05:19 29K 
[ ]monoid_0__t26_monoid_02024-07-26 21:30 29K 
[ ]monoid_0__t75_monoid_02024-07-26 22:28 29K 
[ ]monoid_0__t42_monoid_02024-07-26 20:50 30K 
[ ]monoid_0__t50_monoid_02024-07-26 21:58 30K 
[ ]monoid_0__t41_monoid_02024-07-26 20:49 30K 
[ ]monoid_0__t43_monoid_02024-07-26 20:52 30K 
[ ]monoid_0__t56_monoid_02024-07-26 22:04 30K 
[ ]monoid_0__t63_monoid_02024-07-26 22:11 30K 
[ ]monoid_0__t77_monoid_02024-07-26 22:31 31K 
[ ]monoid_0__t57_monoid_02024-07-26 20:57 31K 
[ ]monoid_0__t68_monoid_02024-07-26 22:18 31K 
[ ]monoid_0__t66_monoid_02024-07-26 22:15 31K 
[ ]monoid_0__t48_monoid_02024-07-26 21:56 32K 
[ ]monoid_0__t74_monoid_02024-07-26 22:26 32K 
[ ]monoid_0__t39_monoid_02024-07-26 21:47 33K 
[ ]monoid_0__t62_monoid_02024-07-26 22:10 33K 
[ ]monoid_0__t60_monoid_02024-07-26 22:07 33K 
[ ]monoid_0__t70_monoid_02024-07-26 22:21 33K 
[ ]monoid_0__t61_monoid_02024-07-26 22:08 33K 
[ ]monoid_0__t55_monoid_02024-07-26 22:02 34K 
[ ]monoid_0__t62_monoid_0.vmin1out2024-08-03 10:22 34K 
[ ]monoid_0__l67_monoid_02024-07-26 22:40 34K 
[ ]monoid_0__t72_monoid_02024-07-26 22:24 34K 
[ ]monoid_0__t51_monoid_02024-07-26 21:59 35K 
[ ]monoid_0__t46_monoid_02024-07-26 21:53 35K 
[ ]monoid_0__t69_monoid_02024-07-26 22:20 35K 
[ ]monoid_0__t14_monoid_0.vmin1out2024-08-03 10:21 35K 
[ ]monoid_0__t13_monoid_0.vmin1out2024-08-03 10:22 36K 
[ ]monoid_0__t47_monoid_02024-07-26 21:55 36K 
[ ]monoid_0__t27_monoid_0.vout2024-08-03 08:43 36K 
[ ]monoid_0__t76_monoid_02024-07-26 22:29 37K 
[ ]monoid_0__t9_monoid_0.vout2024-08-03 04:36 37K 
[ ]monoid_0__t8_monoid_0.vout2024-08-03 06:12 37K 
[ ]monoid_0__t44_monoid_02024-07-26 21:50 38K 
[ ]monoid_0__t45_monoid_02024-07-26 21:52 39K 
[ ]monoid_0__t1_monoid_0.vout2024-08-03 07:06 40K 
[ ]monoid_0__t18_monoid_0.vout2024-08-03 04:56 40K 
[ ]monoid_0__t78_monoid_02024-07-26 22:33 41K 
[ ]monoid_0__t79_monoid_02024-07-26 22:34 42K 
[ ]monoid_0__t8_monoid_0.vmin1out2024-08-03 10:23 45K 
[ ]monoid_0__t9_monoid_0.vmin1out2024-08-03 10:22 45K 
[ ]monoid_0__t11_monoid_0.vout2024-08-03 07:31 48K 
[ ]monoid_0__t12_monoid_0.vout2024-08-03 08:22 48K 
[ ]monoid_0__t40_monoid_02024-07-26 21:48 49K 
[ ]monoid_0__t10_monoid_0.vout2024-08-03 07:36 52K 
[ ]monoid_0__t1_monoid_0.vmin1out2024-08-03 10:20 55K 
[ ]monoid_0__t14_monoid_0.vout2024-08-03 04:50 55K 
[ ]monoid_0__t10_monoid_0.vmin1out2024-08-03 10:23 56K 
[ ]monoid_0__t5_monoid_0.vout2024-08-03 08:48 64K 
[ ]monoid_0__t13_monoid_0.vout2024-08-03 05:23 70K 
[ ]monoid_0__t5_monoid_0.vmin1out2024-08-03 10:22 71K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80