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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]monoid_0__t82_monoid_0.vout2021-07-25 20:17 7.3K 
[ ]monoid_0__t82_monoid_02021-07-17 19:49 28K 
[ ]monoid_0__t81_monoid_0.vout2021-07-25 15:51 16K 
[ ]monoid_0__t81_monoid_0.vmin1out2021-07-25 21:02 17K 
[ ]monoid_0__t81_monoid_0.vmin12021-07-25 20:57 885  
[ ]monoid_0__t81_monoid_0.depvmin12021-07-25 21:03 26  
[ ]monoid_0__t81_monoid_0.depv12021-07-25 20:57 26  
[ ]monoid_0__t81_monoid_02021-07-17 19:15 24K 
[ ]monoid_0__t80_monoid_0.vout2021-07-25 15:33 670  
[ ]monoid_0__t80_monoid_02021-07-17 19:15 371  
[ ]monoid_0__t79_monoid_0.vout2021-07-25 15:50 4.7K 
[ ]monoid_0__t79_monoid_02021-07-17 19:49 41K 
[ ]monoid_0__t78_monoid_0.vout2021-07-25 16:20 8.8K 
[ ]monoid_0__t78_monoid_02021-07-17 19:48 40K 
[ ]monoid_0__t77_monoid_0.vout2021-07-25 18:34 8.4K 
[ ]monoid_0__t77_monoid_02021-07-17 19:48 30K 
[ ]monoid_0__t76_monoid_0.vout2021-07-25 17:45 6.8K 
[ ]monoid_0__t76_monoid_02021-07-17 19:47 36K 
[ ]monoid_0__t75_monoid_0.vout2021-07-25 19:39 16K 
[ ]monoid_0__t75_monoid_0.vmin1out2021-07-25 21:00 11K 
[ ]monoid_0__t75_monoid_0.vmin12021-07-25 20:57 1.7K 
[ ]monoid_0__t75_monoid_0.depvmin12021-07-25 21:03 166  
[ ]monoid_0__t75_monoid_0.depv12021-07-25 20:57 166  
[ ]monoid_0__t75_monoid_02021-07-17 19:47 29K 
[ ]monoid_0__t74_monoid_0.vout2021-07-25 18:11 10K 
[ ]monoid_0__t74_monoid_02021-07-17 19:46 31K 
[ ]monoid_0__t73_monoid_0.vout2021-07-25 14:48 17K 
[ ]monoid_0__t73_monoid_0.vmin1out2021-07-25 20:59 15K 
[ ]monoid_0__t73_monoid_0.vmin12021-07-25 20:57 1.3K 
[ ]monoid_0__t73_monoid_0.depvmin12021-07-25 21:03 97  
[ ]monoid_0__t73_monoid_0.depv12021-07-25 20:57 122  
[ ]monoid_0__t73_monoid_02021-07-17 19:46 25K 
[ ]monoid_0__t72_monoid_0.vout2021-07-25 17:45 7.9K 
[ ]monoid_0__t72_monoid_02021-07-17 19:45 33K 
[ ]monoid_0__t71_monoid_0.vout2021-07-25 20:45 17K 
[ ]monoid_0__t71_monoid_0.vmin1out2021-07-25 21:00 15K 
[ ]monoid_0__t71_monoid_0.vmin12021-07-25 20:57 1.6K 
[ ]monoid_0__t71_monoid_0.depvmin12021-07-25 21:03 146  
[ ]monoid_0__t71_monoid_0.depv12021-07-25 20:57 146  
[ ]monoid_0__t71_monoid_02021-07-17 19:45 28K 
[ ]monoid_0__t70_monoid_0.vout2021-07-25 19:09 7.9K 
[ ]monoid_0__t70_monoid_02021-07-17 19:44 32K 
[ ]monoid_0__t69_monoid_0.vout2021-07-25 14:36 6.8K 
[ ]monoid_0__t69_monoid_02021-07-17 19:44 34K 
[ ]monoid_0__t68_monoid_0.vout2021-07-25 14:53 19K 
[ ]monoid_0__t68_monoid_0.vmin1out2021-07-25 20:58 18K 
[ ]monoid_0__t68_monoid_0.vmin12021-07-25 20:57 1.4K 
[ ]monoid_0__t68_monoid_0.depvmin12021-07-25 21:03 101  
[ ]monoid_0__t68_monoid_0.depv12021-07-25 20:57 126  
[ ]monoid_0__t68_monoid_02021-07-17 19:43 30K 
[ ]monoid_0__t67_monoid_0.vout2021-07-25 20:41 23K 
[ ]monoid_0__t67_monoid_0.vmin1out2021-07-25 21:00 23K 
[ ]monoid_0__t67_monoid_0.vmin12021-07-25 20:57 1.9K 
[ ]monoid_0__t67_monoid_0.depvmin12021-07-25 21:03 116  
[ ]monoid_0__t67_monoid_0.depv12021-07-25 20:57 116  
[ ]monoid_0__t67_monoid_02021-07-17 19:43 27K 
[ ]monoid_0__t66_monoid_0.vout2021-07-25 15:32 7.9K 
[ ]monoid_0__t66_monoid_02021-07-17 19:42 30K 
[ ]monoid_0__t65_monoid_0.vout2021-07-25 18:36 22K 
[ ]monoid_0__t65_monoid_0.vmin1out2021-07-25 21:00 16K 
[ ]monoid_0__t65_monoid_0.vmin12021-07-25 20:57 1.6K 
[ ]monoid_0__t65_monoid_0.depvmin12021-07-25 21:03 107  
[ ]monoid_0__t65_monoid_0.depv12021-07-25 20:57 129  
[ ]monoid_0__t65_monoid_02021-07-17 19:42 26K 
[ ]monoid_0__t64_monoid_0.vout2021-07-25 16:12 3.2K 
[ ]monoid_0__t64_monoid_02021-07-17 19:41 28K 
[ ]monoid_0__t63_monoid_0.vout2021-07-25 18:02 7.9K 
[ ]monoid_0__t63_monoid_02021-07-17 19:41 30K 
[ ]monoid_0__t62_monoid_0.vout2021-07-25 19:45 29K 
[ ]monoid_0__t62_monoid_0.vmin1out2021-07-25 21:02 34K 
[ ]monoid_0__t62_monoid_0.vmin12021-07-25 20:57 1.8K 
[ ]monoid_0__t62_monoid_0.depvmin12021-07-25 21:03 70  
[ ]monoid_0__t62_monoid_0.depv12021-07-25 20:57 70  
[ ]monoid_0__t62_monoid_02021-07-17 19:40 32K 
[ ]monoid_0__t61_monoid_0.vout2021-07-25 14:41 4.7K 
[ ]monoid_0__t61_monoid_02021-07-17 19:40 33K 
[ ]monoid_0__t60_monoid_0.vout2021-07-25 15:27 4.7K 
[ ]monoid_0__t60_monoid_02021-07-17 19:39 31K 
[ ]monoid_0__t59_monoid_0.vout2021-07-25 17:31 13K 
[ ]monoid_0__t59_monoid_0.vmin1out2021-07-25 20:58 16K 
[ ]monoid_0__t59_monoid_0.vmin12021-07-25 20:57 1.2K 
[ ]monoid_0__t59_monoid_0.depvmin12021-07-25 21:03 105  
[ ]monoid_0__t59_monoid_0.depv12021-07-25 20:57 105  
[ ]monoid_0__t59_monoid_02021-07-17 19:15 27K 
[ ]monoid_0__t58_monoid_0.vout2021-07-25 18:23 25K 
[ ]monoid_0__t58_monoid_0.vmin1out2021-07-25 20:58 25K 
[ ]monoid_0__t58_monoid_0.vmin12021-07-25 20:57 2.9K 
[ ]monoid_0__t58_monoid_0.depvmin12021-07-25 21:03 244  
[ ]monoid_0__t58_monoid_0.depv12021-07-25 20:57 244  
[ ]monoid_0__t58_monoid_02021-07-17 19:38 27K 
[ ]monoid_0__t57_monoid_0.vout2021-07-25 15:07 15K 
[ ]monoid_0__t57_monoid_0.vmin1out2021-07-25 21:01 17K 
[ ]monoid_0__t57_monoid_0.vmin12021-07-25 20:57 2.4K 
[ ]monoid_0__t57_monoid_0.depvmin12021-07-25 21:03 208  
[ ]monoid_0__t57_monoid_0.depv12021-07-25 20:57 208  
[ ]monoid_0__t57_monoid_02021-07-17 19:14 30K 
[ ]monoid_0__t56_monoid_0.vout2021-07-25 16:48 23K 
[ ]monoid_0__t56_monoid_0.vmin1out2021-07-25 21:01 24K 
[ ]monoid_0__t56_monoid_0.vmin12021-07-25 20:57 2.8K 
[ ]monoid_0__t56_monoid_0.depvmin12021-07-25 21:03 277  
[ ]monoid_0__t56_monoid_0.depv12021-07-25 20:57 277  
[ ]monoid_0__t56_monoid_02021-07-17 19:38 30K 
[ ]monoid_0__t55_monoid_0.vout2021-07-25 17:41 23K 
[ ]monoid_0__t55_monoid_0.vmin1out2021-07-25 20:59 25K 
[ ]monoid_0__t55_monoid_0.vmin12021-07-25 20:57 2.0K 
[ ]monoid_0__t55_monoid_0.depvmin12021-07-25 21:03 124  
[ ]monoid_0__t55_monoid_0.depv12021-07-25 20:57 124  
[ ]monoid_0__t55_monoid_02021-07-17 19:37 33K 
[ ]monoid_0__t54_monoid_0.vout2021-07-25 14:56 18K 
[ ]monoid_0__t54_monoid_0.vmin1out2021-07-25 21:00 22K 
[ ]monoid_0__t54_monoid_0.vmin12021-07-25 20:57 2.3K 
[ ]monoid_0__t54_monoid_0.depvmin12021-07-25 21:03 200  
[ ]monoid_0__t54_monoid_0.depv12021-07-25 20:57 200  
[ ]monoid_0__t54_monoid_02021-07-17 19:37 25K 
[ ]monoid_0__t53_monoid_0.vout2021-07-25 16:07 9.2K 
[ ]monoid_0__t53_monoid_0.vmin1out2021-07-25 21:00 15K 
[ ]monoid_0__t53_monoid_0.vmin12021-07-25 20:57 1.0K 
[ ]monoid_0__t53_monoid_0.depvmin12021-07-25 21:03 66  
[ ]monoid_0__t53_monoid_0.depv12021-07-25 20:57 66  
[ ]monoid_0__t53_monoid_02021-07-17 19:14 28K 
[ ]monoid_0__t52_monoid_0.vout2021-07-25 18:09 6.8K 
[ ]monoid_0__t52_monoid_0.vmin1out2021-07-25 20:58 6.5K 
[ ]monoid_0__t52_monoid_0.vmin12021-07-25 20:57 1.0K 
[ ]monoid_0__t52_monoid_0.depvmin12021-07-25 21:03 110  
[ ]monoid_0__t52_monoid_0.depv12021-07-25 20:57 110  
[ ]monoid_0__t52_monoid_02021-07-17 19:13 25K 
[ ]monoid_0__t51_monoid_0.vout2021-07-25 18:15 8.4K 
[ ]monoid_0__t51_monoid_02021-07-17 19:36 35K 
[ ]monoid_0__t50_monoid_0.vout2021-07-25 14:58 7.9K 
[ ]monoid_0__t50_monoid_02021-07-17 19:36 29K 
[ ]monoid_0__t49_monoid_0.vout2021-07-25 19:23 12K 
[ ]monoid_0__t49_monoid_0.vmin1out2021-07-25 21:02 9.9K 
[ ]monoid_0__t49_monoid_0.vmin12021-07-25 20:57 1.0K 
[ ]monoid_0__t49_monoid_0.depvmin12021-07-25 21:03 99  
[ ]monoid_0__t49_monoid_0.depv12021-07-25 20:57 99  
[ ]monoid_0__t49_monoid_02021-07-17 19:13 23K 
[ ]monoid_0__t48_monoid_0.vout2021-07-25 15:24 27K 
[ ]monoid_0__t48_monoid_0.vmin1out2021-07-25 20:57 27K 
[ ]monoid_0__t48_monoid_0.vmin12021-07-25 20:57 3.0K 
[ ]monoid_0__t48_monoid_0.depvmin12021-07-25 21:03 271  
[ ]monoid_0__t48_monoid_0.depv12021-07-25 20:57 285  
[ ]monoid_0__t48_monoid_02021-07-17 19:35 31K 
[ ]monoid_0__t47_monoid_0.vout2021-07-25 20:41 24K 
[ ]monoid_0__t47_monoid_0.vmin1out2021-07-25 20:59 24K 
[ ]monoid_0__t47_monoid_0.vmin12021-07-25 20:57 2.8K 
[ ]monoid_0__t47_monoid_0.depvmin12021-07-25 21:03 285  
[ ]monoid_0__t47_monoid_0.depv12021-07-25 20:57 285  
[ ]monoid_0__t47_monoid_02021-07-17 19:35 36K 
[ ]monoid_0__t46_monoid_0.vout2021-07-25 20:27 27K 
[ ]monoid_0__t46_monoid_0.vmin1out2021-07-25 21:00 24K 
[ ]monoid_0__t46_monoid_0.vmin12021-07-25 20:57 3.1K 
[ ]monoid_0__t46_monoid_0.depvmin12021-07-25 21:03 306  
[ ]monoid_0__t46_monoid_0.depv12021-07-25 20:57 331  
[ ]monoid_0__t46_monoid_02021-07-17 19:34 35K 
[ ]monoid_0__t45_monoid_0.vout2021-07-25 17:49 24K 
[ ]monoid_0__t45_monoid_0.vmin1out2021-07-25 21:00 26K 
[ ]monoid_0__t45_monoid_0.vmin12021-07-25 20:57 2.3K 
[ ]monoid_0__t45_monoid_0.depvmin12021-07-25 21:03 179  
[ ]monoid_0__t45_monoid_0.depv12021-07-25 20:57 179  
[ ]monoid_0__t45_monoid_02021-07-17 19:34 39K 
[ ]monoid_0__t44_monoid_0.vout2021-07-25 15:38 13K 
[ ]monoid_0__t44_monoid_0.vmin1out2021-07-25 20:59 16K 
[ ]monoid_0__t44_monoid_0.vmin12021-07-25 20:57 1.8K 
[ ]monoid_0__t44_monoid_0.depvmin12021-07-25 21:03 154  
[ ]monoid_0__t44_monoid_0.depv12021-07-25 20:57 154  
[ ]monoid_0__t44_monoid_02021-07-17 19:33 38K 
[ ]monoid_0__t43_monoid_0.vout2021-07-25 16:14 8.9K 
[ ]monoid_0__t43_monoid_0.vmin1out2021-07-25 21:01 7.8K 
[ ]monoid_0__t43_monoid_0.vmin12021-07-25 20:57 1.2K 
[ ]monoid_0__t43_monoid_0.depvmin12021-07-25 21:03 140  
[ ]monoid_0__t43_monoid_0.depv12021-07-25 20:57 140  
[ ]monoid_0__t43_monoid_02021-07-17 19:12 30K 
[ ]monoid_0__t42_monoid_0.vout2021-07-25 15:55 13K 
[ ]monoid_0__t42_monoid_0.vmin1out2021-07-25 20:59 12K 
[ ]monoid_0__t42_monoid_0.vmin12021-07-25 20:57 1.7K 
[ ]monoid_0__t42_monoid_0.depvmin12021-07-25 21:03 209  
[ ]monoid_0__t42_monoid_0.depv12021-07-25 20:57 209  
[ ]monoid_0__t42_monoid_02021-07-17 19:12 29K 
[ ]monoid_0__t41_monoid_0.vout2021-07-25 19:08 18K 
[ ]monoid_0__t41_monoid_0.vmin1out2021-07-25 20:58 17K 
[ ]monoid_0__t41_monoid_0.vmin12021-07-25 20:57 1.9K 
[ ]monoid_0__t41_monoid_0.depvmin12021-07-25 21:03 179  
[ ]monoid_0__t41_monoid_0.depv12021-07-25 20:57 192  
[ ]monoid_0__t41_monoid_02021-07-17 19:11 30K 
[ ]monoid_0__t40_monoid_0.vout2021-07-25 20:08 7.9K 
[ ]monoid_0__t40_monoid_02021-07-17 19:32 49K 
[ ]monoid_0__t39_monoid_0.vout2021-07-25 17:13 7.9K 
[ ]monoid_0__t39_monoid_02021-07-17 19:32 32K 
[ ]monoid_0__t38_monoid_0.vout2021-07-25 14:55 12K 
[ ]monoid_0__t38_monoid_0.vmin1out2021-07-25 21:02 10K 
[ ]monoid_0__t38_monoid_0.vmin12021-07-25 20:57 1.1K 
[ ]monoid_0__t38_monoid_0.depvmin12021-07-25 21:03 111  
[ ]monoid_0__t38_monoid_0.depv12021-07-25 20:57 111  
[ ]monoid_0__t38_monoid_02021-07-17 19:11 26K 
[ ]monoid_0__t37_monoid_0.vout2021-07-25 15:07 19K 
[ ]monoid_0__t37_monoid_0.vmin1out2021-07-25 21:02 15K 
[ ]monoid_0__t37_monoid_0.vmin12021-07-25 20:57 1.6K 
[ ]monoid_0__t37_monoid_0.depvmin12021-07-25 21:03 148  
[ ]monoid_0__t37_monoid_0.depv12021-07-25 20:57 148  
[ ]monoid_0__t37_monoid_02021-07-17 19:31 22K 
[ ]monoid_0__t36_monoid_0.vout2021-07-25 17:05 6.8K 
[ ]monoid_0__t36_monoid_02021-07-17 19:31 24K 
[ ]monoid_0__t35_monoid_0.vout2021-07-25 15:29 7.3K 
[ ]monoid_0__t35_monoid_02021-07-17 19:30 23K 
[ ]monoid_0__t34_monoid_0.vout2021-07-25 20:45 7.4K 
[ ]monoid_0__t34_monoid_02021-07-17 19:30 23K 
[ ]monoid_0__t33_monoid_0.vout2021-07-25 19:22 7.4K 
[ ]monoid_0__t33_monoid_02021-07-17 19:29 23K 
[ ]monoid_0__t32_monoid_0.vout2021-07-25 14:37 7.3K 
[ ]monoid_0__t32_monoid_02021-07-17 19:29 23K 
[ ]monoid_0__t31_monoid_0.vout2021-07-25 14:46 7.9K 
[ ]monoid_0__t31_monoid_02021-07-17 19:28 24K 
[ ]monoid_0__t30_monoid_0.vout2021-07-25 20:02 7.3K 
[ ]monoid_0__t30_monoid_02021-07-17 19:28 24K 
[ ]monoid_0__t29_monoid_0.vout2021-07-25 15:23 24K 
[ ]monoid_0__t29_monoid_0.vmin1out2021-07-25 21:02 17K 
[ ]monoid_0__t29_monoid_0.vmin12021-07-25 20:57 1.5K 
[ ]monoid_0__t29_monoid_0.depvmin12021-07-25 21:03 145  
[ ]monoid_0__t29_monoid_0.depv12021-07-25 20:57 145  
[ ]monoid_0__t29_monoid_02021-07-17 19:27 23K 
[ ]monoid_0__t28_monoid_0.vout2021-07-25 19:22 7.3K 
[ ]monoid_0__t28_monoid_02021-07-17 19:27 27K 
[ ]monoid_0__t27_monoid_0.vout2021-07-25 15:01 36K 
[ ]monoid_0__t27_monoid_0.vmin1out2021-07-25 20:59 27K 
[ ]monoid_0__t27_monoid_0.vmin12021-07-25 20:57 2.2K 
[ ]monoid_0__t27_monoid_0.depvmin12021-07-25 21:03 167  
[ ]monoid_0__t27_monoid_0.depv12021-07-25 20:57 167  
[ ]monoid_0__t27_monoid_02021-07-17 19:27 26K 
[ ]monoid_0__t26_monoid_0.vout2021-07-25 18:47 7.3K 
[ ]monoid_0__t26_monoid_02021-07-17 19:26 28K 
[ ]monoid_0__t25_monoid_0.vout2021-07-25 17:02 7.3K 
[ ]monoid_0__t25_monoid_02021-07-17 19:26 24K 
[ ]monoid_0__t24_monoid_0.vout2021-07-25 15:34 7.3K 
[ ]monoid_0__t24_monoid_02021-07-17 19:25 26K 
[ ]monoid_0__t23_monoid_0.vout2021-07-25 17:33 7.3K 
[ ]monoid_0__t23_monoid_02021-07-17 19:25 23K 
[ ]monoid_0__t22_monoid_0.vout2021-07-25 20:18 7.7K 
[ ]monoid_0__t22_monoid_0.vmin1out2021-07-25 21:01 9.9K 
[ ]monoid_0__t22_monoid_0.vmin12021-07-25 20:57 625  
[ ]monoid_0__t22_monoid_0.depvmin12021-07-25 21:03 61  
[ ]monoid_0__t22_monoid_0.depv12021-07-25 20:57 61  
[ ]monoid_0__t22_monoid_02021-07-17 19:24 21K 
[ ]monoid_0__t21_monoid_0.vout2021-07-25 20:43 9.5K 
[ ]monoid_0__t21_monoid_0.vmin1out2021-07-25 21:00 7.6K 
[ ]monoid_0__t21_monoid_0.vmin12021-07-25 20:57 742  
[ ]monoid_0__t21_monoid_0.depvmin12021-07-25 21:03 69  
[ ]monoid_0__t21_monoid_0.depv12021-07-25 20:57 69  
[ ]monoid_0__t21_monoid_02021-07-17 19:24 19K 
[ ]monoid_0__t20_monoid_0.vout2021-07-25 16:58 25K 
[ ]monoid_0__t20_monoid_0.vmin1out2021-07-25 20:58 16K 
[ ]monoid_0__t20_monoid_0.vmin12021-07-25 20:57 1.8K 
[ ]monoid_0__t20_monoid_0.depvmin12021-07-25 21:03 153  
[ ]monoid_0__t20_monoid_0.depv12021-07-25 20:57 153  
[ ]monoid_0__t20_monoid_02021-07-17 19:24 26K 
[ ]monoid_0__t19_monoid_0.vout2021-07-25 19:08 3.2K 
[ ]monoid_0__t19_monoid_02021-07-17 19:23 26K 
[ ]monoid_0__t18_monoid_0.vout2021-07-25 17:23 41K 
[ ]monoid_0__t18_monoid_0.vmin1out2021-07-25 20:59 27K 
[ ]monoid_0__t18_monoid_0.vmin12021-07-25 20:57 2.5K 
[ ]monoid_0__t18_monoid_0.depvmin12021-07-25 21:03 153  
[ ]monoid_0__t18_monoid_0.depv12021-07-25 20:57 167  
[ ]monoid_0__t18_monoid_02021-07-17 19:23 25K 
[ ]monoid_0__t17_monoid_0.vout2021-07-25 18:09 8.5K 
[ ]monoid_0__t17_monoid_02021-07-17 19:10 21K 
[ ]monoid_0__t16_monoid_0.vout2021-07-25 19:23 2.0K 
[ ]monoid_0__t16_monoid_02021-07-17 19:10 22K 
[ ]monoid_0__t15_monoid_0.vout2021-07-25 19:04 7.9K 
[ ]monoid_0__t15_monoid_02021-07-17 19:22 26K 
[ ]monoid_0__t14_monoid_0.vout2021-07-25 20:10 55K 
[ ]monoid_0__t14_monoid_0.vmin1out2021-07-25 21:01 35K 
[ ]monoid_0__t14_monoid_0.vmin12021-07-25 20:57 1.7K 
[ ]monoid_0__t14_monoid_0.depvmin12021-07-25 21:03 94  
[ ]monoid_0__t14_monoid_0.depv12021-07-25 20:57 94  
[ ]monoid_0__t14_monoid_02021-07-17 19:22 22K 
[ ]monoid_0__t13_monoid_0.vout2021-07-25 20:24 70K 
[ ]monoid_0__t13_monoid_0.vmin1out2021-07-25 20:59 36K 
[ ]monoid_0__t13_monoid_0.vmin12021-07-25 20:57 1.7K 
[ ]monoid_0__t13_monoid_0.depvmin12021-07-25 21:03 94  
[ ]monoid_0__t13_monoid_0.depv12021-07-25 20:57 94  
[ ]monoid_0__t13_monoid_02021-07-17 19:21 22K 
[ ]monoid_0__t12_monoid_0.vout2021-07-25 15:41 48K 
[ ]monoid_0__t12_monoid_0.vmin1out2021-07-25 21:00 25K 
[ ]monoid_0__t12_monoid_0.vmin12021-07-25 20:57 1.6K 
[ ]monoid_0__t12_monoid_0.depvmin12021-07-25 21:03 94  
[ ]monoid_0__t12_monoid_0.depv12021-07-25 20:57 94  
[ ]monoid_0__t12_monoid_02021-07-17 19:21 22K 
[ ]monoid_0__t11_monoid_0.vout2021-07-25 16:56 48K 
[ ]monoid_0__t11_monoid_0.vmin1out2021-07-25 21:02 25K 
[ ]monoid_0__t11_monoid_0.vmin12021-07-25 20:57 1.6K 
[ ]monoid_0__t11_monoid_0.depvmin12021-07-25 21:03 94  
[ ]monoid_0__t11_monoid_0.depv12021-07-25 20:57 94  
[ ]monoid_0__t11_monoid_02021-07-17 19:20 22K 
[ ]monoid_0__t10_monoid_0.vout2021-07-25 16:15 52K 
[ ]monoid_0__t10_monoid_0.vmin1out2021-07-25 21:01 56K 
[ ]monoid_0__t10_monoid_0.vmin12021-07-25 20:57 1.7K 
[ ]monoid_0__t10_monoid_0.depvmin12021-07-25 21:03 94  
[ ]monoid_0__t10_monoid_0.depv12021-07-25 20:57 94  
[ ]monoid_0__t10_monoid_02021-07-17 19:20 22K 
[ ]monoid_0__t9_monoid_0.vout2021-07-25 17:38 36K 
[ ]monoid_0__t9_monoid_0.vmin1out2021-07-25 21:02 45K 
[ ]monoid_0__t9_monoid_0.vmin12021-07-25 20:57 1.5K 
[ ]monoid_0__t9_monoid_0.depvmin12021-07-25 21:03 93  
[ ]monoid_0__t9_monoid_0.depv12021-07-25 20:57 93  
[ ]monoid_0__t9_monoid_02021-07-17 19:19 22K 
[ ]monoid_0__t8_monoid_0.vout2021-07-25 19:07 35K 
[ ]monoid_0__t8_monoid_0.vmin1out2021-07-25 20:58 45K 
[ ]monoid_0__t8_monoid_0.vmin12021-07-25 20:57 1.5K 
[ ]monoid_0__t8_monoid_0.depvmin12021-07-25 21:03 93  
[ ]monoid_0__t8_monoid_0.depv12021-07-25 20:57 93  
[ ]monoid_0__t8_monoid_02021-07-17 19:19 22K 
[ ]monoid_0__t7_monoid_0.vout2021-07-25 16:11 29K 
[ ]monoid_0__t7_monoid_0.vmin1out2021-07-25 20:58 26K 
[ ]monoid_0__t7_monoid_0.vmin12021-07-25 20:57 1.4K 
[ ]monoid_0__t7_monoid_0.depvmin12021-07-25 21:03 88  
[ ]monoid_0__t7_monoid_0.depv12021-07-25 20:57 88  
[ ]monoid_0__t7_monoid_02021-07-17 19:18 22K 
[ ]monoid_0__t6_monoid_0.vout2021-07-25 15:11 2.0K 
[ ]monoid_0__t6_monoid_02021-07-17 19:09 21K 
[ ]monoid_0__t5_monoid_0.vout2021-07-25 20:04 73K 
[ ]monoid_0__t5_monoid_0.vmin1out2021-07-25 20:58 71K 
[ ]monoid_0__t5_monoid_0.vmin12021-07-25 20:57 4.0K 
[ ]monoid_0__t5_monoid_0.depvmin12021-07-25 21:03 165  
[ ]monoid_0__t5_monoid_0.depv12021-07-25 20:57 211  
[ ]monoid_0__t5_monoid_02021-07-17 19:18 24K 
[ ]monoid_0__t4_monoid_0.vout2021-07-25 17:30 22K 
[ ]monoid_0__t4_monoid_0.vmin1out2021-07-25 21:00 21K 
[ ]monoid_0__t4_monoid_0.vmin12021-07-25 20:57 1.6K 
[ ]monoid_0__t4_monoid_0.depvmin12021-07-25 21:03 90  
[ ]monoid_0__t4_monoid_0.depv12021-07-25 20:57 90  
[ ]monoid_0__t4_monoid_02021-07-17 19:17 21K 
[ ]monoid_0__t3_monoid_0.vout2021-07-25 20:31 6.3K 
[ ]monoid_0__t3_monoid_02021-07-17 19:17 25K 
[ ]monoid_0__t2_monoid_0.vout2021-07-25 15:32 2.0K 
[ ]monoid_0__t2_monoid_02021-07-17 19:09 17K 
[ ]monoid_0__t1_monoid_0.vout2021-07-25 20:26 42K 
[ ]monoid_0__t1_monoid_0.vmin1out2021-07-25 21:01 55K 
[ ]monoid_0__t1_monoid_0.vmin12021-07-25 20:57 1.4K 
[ ]monoid_0__t1_monoid_0.depvmin12021-07-25 21:03 48  
[ ]monoid_0__t1_monoid_0.depv12021-07-25 20:57 48  
[ ]monoid_0__t1_monoid_02021-07-17 19:16 19K 
[ ]monoid_0__l67_monoid_0.vout2021-07-25 15:11 7.3K 
[ ]monoid_0__l67_monoid_02021-07-17 19:51 33K 
[ ]monoid_0__l39_monoid_0.vout2021-07-25 20:01 8.4K 
[ ]monoid_0__l39_monoid_02021-07-17 19:50 23K 
[ ]monoid_0__l38_monoid_0.vout2021-07-25 15:58 3.7K 
[ ]monoid_0__l38_monoid_02021-07-17 19:50 20K 
[ ]monoid_0__l37_monoid_0.vout2021-07-25 17:46 4.7K 
[ ]monoid_0__l37_monoid_02021-07-17 19:16 19K 
[ ]monoid_0__l27_monoid_0.vout2021-07-25 19:17 2.0K 
[ ]monoid_0__l27_monoid_02021-07-17 19:16 22K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80