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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]enumset1__t5_enumset1.depv12021-07-25 20:57 25  
[ ]enumset1__t5_enumset1.depvmin12021-07-25 21:03 25  
[ ]enumset1__t9_enumset1.depv12021-07-25 20:57 25  
[ ]enumset1__t9_enumset1.depvmin12021-07-25 21:03 25  
[ ]enumset1__t13_enumset1.depv12021-07-25 20:57 26  
[ ]enumset1__t13_enumset1.depvmin12021-07-25 21:03 26  
[ ]enumset1__t19_enumset1.depv12021-07-25 20:57 26  
[ ]enumset1__t19_enumset1.depvmin12021-07-25 21:03 26  
[ ]enumset1__t25_enumset1.depv12021-07-25 20:57 26  
[ ]enumset1__t25_enumset1.depvmin12021-07-25 21:03 26  
[ ]enumset1__t67_enumset1.depv12021-07-25 20:57 26  
[ ]enumset1__t67_enumset1.depvmin12021-07-25 21:03 26  
[ ]enumset1__t71_enumset1.depv12021-07-25 20:57 26  
[ ]enumset1__t71_enumset1.depvmin12021-07-25 21:03 26  
[ ]enumset1__t80_enumset1.depv12021-07-25 20:57 26  
[ ]enumset1__t80_enumset1.depvmin12021-07-25 21:03 26  
[ ]enumset1__t29_enumset1.depv12021-07-25 20:57 33  
[ ]enumset1__t29_enumset1.depvmin12021-07-25 21:03 33  
[ ]enumset1__l80_enumset1.depv12021-07-25 20:57 38  
[ ]enumset1__l80_enumset1.depvmin12021-07-25 21:03 38  
[ ]enumset1__l86_enumset1.depv12021-07-25 20:57 38  
[ ]enumset1__l86_enumset1.depvmin12021-07-25 21:03 38  
[ ]enumset1__t61_enumset1.depv12021-07-25 20:57 38  
[ ]enumset1__t61_enumset1.depvmin12021-07-25 21:03 38  
[ ]enumset1__t62_enumset1.depv12021-07-25 20:57 38  
[ ]enumset1__t62_enumset1.depvmin12021-07-25 21:03 38  
[ ]enumset1__t63_enumset1.depv12021-07-25 20:57 38  
[ ]enumset1__t63_enumset1.depvmin12021-07-25 21:03 38  
[ ]enumset1__t64_enumset1.depv12021-07-25 20:57 38  
[ ]enumset1__t64_enumset1.depvmin12021-07-25 21:03 38  
[ ]enumset1__t65_enumset1.depv12021-07-25 20:57 38  
[ ]enumset1__t65_enumset1.depvmin12021-07-25 21:03 38  
[ ]enumset1__t36_enumset1.depv12021-07-25 20:57 39  
[ ]enumset1__t36_enumset1.depvmin12021-07-25 21:03 39  
[ ]enumset1__t37_enumset1.depv12021-07-25 20:57 39  
[ ]enumset1__t37_enumset1.depvmin12021-07-25 21:03 39  
[ ]enumset1__t38_enumset1.depv12021-07-25 20:57 39  
[ ]enumset1__t38_enumset1.depvmin12021-07-25 21:03 39  
[ ]enumset1__t39_enumset1.depv12021-07-25 20:57 39  
[ ]enumset1__t39_enumset1.depvmin12021-07-25 21:03 39  
[ ]enumset1__t40_enumset1.depv12021-07-25 20:57 39  
[ ]enumset1__t40_enumset1.depvmin12021-07-25 21:03 39  
[ ]enumset1__t41_enumset1.depv12021-07-25 20:57 39  
[ ]enumset1__t41_enumset1.depvmin12021-07-25 21:03 39  
[ ]enumset1__t42_enumset1.depv12021-07-25 20:57 39  
[ ]enumset1__t42_enumset1.depvmin12021-07-25 21:03 39  
[ ]enumset1__t43_enumset1.depv12021-07-25 20:57 39  
[ ]enumset1__t43_enumset1.depvmin12021-07-25 21:03 39  
[ ]enumset1__t44_enumset1.depv12021-07-25 20:57 39  
[ ]enumset1__t44_enumset1.depvmin12021-07-25 21:03 39  
[ ]enumset1__t45_enumset1.depv12021-07-25 20:57 39  
[ ]enumset1__t45_enumset1.depvmin12021-07-25 21:03 39  
[ ]enumset1__t46_enumset1.depv12021-07-25 20:57 39  
[ ]enumset1__t46_enumset1.depvmin12021-07-25 21:03 39  
[ ]enumset1__t47_enumset1.depv12021-07-25 20:57 39  
[ ]enumset1__t47_enumset1.depvmin12021-07-25 21:03 39  
[ ]enumset1__t48_enumset1.depv12021-07-25 20:57 39  
[ ]enumset1__t48_enumset1.depvmin12021-07-25 21:03 39  
[ ]enumset1__t49_enumset1.depv12021-07-25 20:57 39  
[ ]enumset1__t49_enumset1.depvmin12021-07-25 21:03 39  
[ ]enumset1__t50_enumset1.depv12021-07-25 20:57 39  
[ ]enumset1__t50_enumset1.depvmin12021-07-25 21:03 39  
[ ]enumset1__t51_enumset1.depv12021-07-25 20:57 39  
[ ]enumset1__t51_enumset1.depvmin12021-07-25 21:03 39  
[ ]enumset1__t52_enumset1.depv12021-07-25 20:57 39  
[ ]enumset1__t52_enumset1.depvmin12021-07-25 21:03 39  
[ ]enumset1__t53_enumset1.depv12021-07-25 20:57 39  
[ ]enumset1__t53_enumset1.depvmin12021-07-25 21:03 39  
[ ]enumset1__t54_enumset1.depv12021-07-25 20:57 39  
[ ]enumset1__t54_enumset1.depvmin12021-07-25 21:03 39  
[ ]enumset1__t55_enumset1.depv12021-07-25 20:57 39  
[ ]enumset1__t55_enumset1.depvmin12021-07-25 21:03 39  
[ ]enumset1__t56_enumset1.depv12021-07-25 20:57 39  
[ ]enumset1__t56_enumset1.depvmin12021-07-25 21:03 39  
[ ]enumset1__t60_enumset1.depv12021-07-25 20:57 39  
[ ]enumset1__t60_enumset1.depvmin12021-07-25 21:03 39  
[ ]enumset1__t66_enumset1.depv12021-07-25 20:57 39  
[ ]enumset1__t66_enumset1.depvmin12021-07-25 21:03 39  
[ ]enumset1__t68_enumset1.depv12021-07-25 20:57 39  
[ ]enumset1__t68_enumset1.depvmin12021-07-25 21:03 39  
[ ]enumset1__t69_enumset1.depv12021-07-25 20:57 39  
[ ]enumset1__t69_enumset1.depvmin12021-07-25 21:03 39  
[ ]enumset1__t70_enumset1.depv12021-07-25 20:57 39  
[ ]enumset1__t70_enumset1.depvmin12021-07-25 21:03 39  
[ ]enumset1__t72_enumset1.depv12021-07-25 20:57 39  
[ ]enumset1__t72_enumset1.depvmin12021-07-25 21:03 39  
[ ]enumset1__t73_enumset1.depv12021-07-25 20:57 39  
[ ]enumset1__t73_enumset1.depvmin12021-07-25 21:03 39  
[ ]enumset1__t74_enumset1.depv12021-07-25 20:57 39  
[ ]enumset1__t74_enumset1.depvmin12021-07-25 21:03 39  
[ ]enumset1__t75_enumset1.depv12021-07-25 20:57 39  
[ ]enumset1__t75_enumset1.depvmin12021-07-25 21:03 39  
[ ]enumset1__t76_enumset1.depv12021-07-25 20:57 39  
[ ]enumset1__t76_enumset1.depvmin12021-07-25 21:03 39  
[ ]enumset1__l1_enumset1.depv12021-07-25 20:57 42  
[ ]enumset1__l1_enumset1.depvmin12021-07-25 21:03 42  
[ ]enumset1__t1_enumset1.depv12021-07-25 20:57 44  
[ ]enumset1__t1_enumset1.depvmin12021-07-25 21:03 44  
[ ]enumset1__t3_enumset1.depv12021-07-25 20:57 48  
[ ]enumset1__t3_enumset1.depvmin12021-07-25 21:03 48  
[ ]enumset1__t57_enumset1.depv12021-07-25 20:57 49  
[ ]enumset1__t57_enumset1.depvmin12021-07-25 21:03 49  
[ ]enumset1__t58_enumset1.depv12021-07-25 20:57 49  
[ ]enumset1__t58_enumset1.depvmin12021-07-25 21:03 49  
[ ]enumset1__t30_enumset1.depv12021-07-25 20:57 50  
[ ]enumset1__t30_enumset1.depvmin12021-07-25 21:03 50  
[ ]enumset1__t32_enumset1.depv12021-07-25 20:57 50  
[ ]enumset1__t32_enumset1.depvmin12021-07-25 21:03 50  
[ ]enumset1__t31_enumset1.depv12021-07-25 20:57 51  
[ ]enumset1__t31_enumset1.depvmin12021-07-25 21:03 51  
[ ]enumset1__t33_enumset1.depv12021-07-25 20:57 51  
[ ]enumset1__t33_enumset1.depvmin12021-07-25 21:03 51  
[ ]enumset1__t34_enumset1.depv12021-07-25 20:57 52  
[ ]enumset1__t34_enumset1.depvmin12021-07-25 21:03 52  
[ ]enumset1__t35_enumset1.depv12021-07-25 20:57 52  
[ ]enumset1__t35_enumset1.depvmin12021-07-25 21:03 52  
[ ]enumset1__t2_enumset1.depv12021-07-25 20:57 56  
[ ]enumset1__t2_enumset1.depvmin12021-07-25 21:03 56  
[ ]enumset1__l13_enumset1.depv12021-07-25 20:57 57  
[ ]enumset1__l13_enumset1.depvmin12021-07-25 21:03 57  
[ ]enumset1__t86_enumset1.depv12021-07-25 20:57 57  
[ ]enumset1__t86_enumset1.depvmin12021-07-25 21:03 57  
[ ]enumset1__l22_enumset1.depv12021-07-25 20:57 59  
[ ]enumset1__l22_enumset1.depvmin12021-07-25 21:03 59  
[ ]enumset1__l35_enumset1.depv12021-07-25 20:57 59  
[ ]enumset1__t4_enumset1.depv12021-07-25 20:57 61  
[ ]enumset1__t4_enumset1.depvmin12021-07-25 21:03 61  
[ ]enumset1__t6_enumset1.depv12021-07-25 20:57 61  
[ ]enumset1__t6_enumset1.depvmin12021-07-25 21:03 61  
[ ]enumset1__t8_enumset1.depv12021-07-25 20:57 61  
[ ]enumset1__t8_enumset1.depvmin12021-07-25 21:03 61  
[ ]enumset1__t7_enumset1.depv12021-07-25 20:57 62  
[ ]enumset1__t7_enumset1.depvmin12021-07-25 21:03 62  
[ ]enumset1__t11_enumset1.depv12021-07-25 20:57 62  
[ ]enumset1__t11_enumset1.depvmin12021-07-25 21:03 62  
[ ]enumset1__t12_enumset1.depv12021-07-25 20:57 62  
[ ]enumset1__t12_enumset1.depvmin12021-07-25 21:03 62  
[ ]enumset1__t14_enumset1.depvmin12021-07-25 21:03 62  
[ ]enumset1__t18_enumset1.depv12021-07-25 20:57 62  
[ ]enumset1__t18_enumset1.depvmin12021-07-25 21:03 62  
[ ]enumset1__t16_enumset1.depv12021-07-25 20:57 63  
[ ]enumset1__t16_enumset1.depvmin12021-07-25 21:03 63  
[ ]enumset1__t17_enumset1.depv12021-07-25 20:57 63  
[ ]enumset1__t17_enumset1.depvmin12021-07-25 21:03 63  
[ ]enumset1__t59_enumset1.depv12021-07-25 20:57 63  
[ ]enumset1__t59_enumset1.depvmin12021-07-25 21:03 63  
[ ]enumset1__t77_enumset1.depv12021-07-25 20:57 63  
[ ]enumset1__t77_enumset1.depvmin12021-07-25 21:03 63  
[ ]enumset1__t23_enumset1.depv12021-07-25 20:57 64  
[ ]enumset1__t23_enumset1.depvmin12021-07-25 21:03 64  
[ ]enumset1__t27_enumset1.depv12021-07-25 20:57 64  
[ ]enumset1__t27_enumset1.depvmin12021-07-25 21:03 64  
[ ]enumset1__t78_enumset1.depv12021-07-25 20:57 64  
[ ]enumset1__t78_enumset1.depvmin12021-07-25 21:03 64  
[ ]enumset1__l93_enumset1.depv12021-07-25 20:57 71  
[ ]enumset1__t87_enumset1.depv12021-07-25 20:57 76  
[ ]enumset1__t87_enumset1.depvmin12021-07-25 21:03 76  
[ ]enumset1__t10_enumset1.depv12021-07-25 20:57 88  
[ ]enumset1__t10_enumset1.depvmin12021-07-25 21:03 88  
[ ]enumset1__t14_enumset1.depv12021-07-25 20:57 88  
[ ]enumset1__t24_enumset1.depv12021-07-25 20:57 88  
[ ]enumset1__t24_enumset1.depvmin12021-07-25 21:03 88  
[ ]enumset1__t15_enumset1.depv12021-07-25 20:57 89  
[ ]enumset1__t20_enumset1.depv12021-07-25 20:57 89  
[ ]enumset1__t20_enumset1.depvmin12021-07-25 21:03 89  
[ ]enumset1__t21_enumset1.depv12021-07-25 20:57 89  
[ ]enumset1__t21_enumset1.depvmin12021-07-25 21:03 89  
[ ]enumset1__t22_enumset1.depv12021-07-25 20:57 89  
[ ]enumset1__t26_enumset1.depv12021-07-25 20:57 89  
[ ]enumset1__t26_enumset1.depvmin12021-07-25 21:03 89  
[ ]enumset1__t28_enumset1.depv12021-07-25 20:57 89  
[ ]enumset1__t79_enumset1.depv12021-07-25 20:57 89  
[ ]enumset1__t82_enumset1.depv12021-07-25 20:57 89  
[ ]enumset1__t82_enumset1.depvmin12021-07-25 21:03 89  
[ ]enumset1__t83_enumset1.depv12021-07-25 20:57 90  
[ ]enumset1__t84_enumset1.depv12021-07-25 20:57 90  
[ ]enumset1__l17_enumset1.depv12021-07-25 20:57 95  
[ ]enumset1__l17_enumset1.depvmin12021-07-25 21:03 95  
[ ]enumset1__t85_enumset1.depv12021-07-25 20:57 95  
[ ]enumset1__t85_enumset1.depvmin12021-07-25 21:03 95  
[ ]enumset1__l28_enumset1.depv12021-07-25 20:57 97  
[ ]enumset1__t36_enumset1.vmin12021-07-25 20:57 234  
[ ]enumset1__t42_enumset1.vmin12021-07-25 20:57 240  
[ ]enumset1__t47_enumset1.vmin12021-07-25 20:57 246  
[ ]enumset1__t67_enumset1.vmin12021-07-25 20:57 251  
[ ]enumset1__t71_enumset1.vmin12021-07-25 20:57 251  
[ ]enumset1__t51_enumset1.vmin12021-07-25 20:57 252  
[ ]enumset1__t54_enumset1.vmin12021-07-25 20:57 258  
[ ]enumset1__t56_enumset1.vmin12021-07-25 20:57 264  
[ ]enumset1__t37_enumset1.vmin12021-07-25 20:57 292  
[ ]enumset1__t5_enumset1.vmin12021-07-25 20:57 294  
[ ]enumset1__t43_enumset1.vmin12021-07-25 20:57 298  
[ ]enumset1__t48_enumset1.vmin12021-07-25 20:57 304  
[ ]enumset1__t52_enumset1.vmin12021-07-25 20:57 310  
[ ]enumset1__t55_enumset1.vmin12021-07-25 20:57 316  
[ ]enumset1__t29_enumset1.vmin12021-07-25 20:57 320  
[ ]enumset1__t60_enumset1.vmin12021-07-25 20:57 320  
[ ]enumset1__t57_enumset1.vmin12021-07-25 20:57 321  
[ ]enumset1__t58_enumset1.vmin12021-07-25 20:57 321  
[ ]enumset1__t67_enumset12021-07-17 17:33 333  
[ ]enumset1__t71_enumset12021-07-17 17:33 333  
[ ]enumset1__t9_enumset1.vmin12021-07-25 20:57 334  
[ ]enumset1__t38_enumset1.vmin12021-07-25 20:57 350  
[ ]enumset1__t44_enumset1.vmin12021-07-25 20:57 356  
[ ]enumset1__t49_enumset1.vmin12021-07-25 20:57 362  
[ ]enumset1__t53_enumset1.vmin12021-07-25 20:57 368  
[ ]enumset1__t66_enumset1.vmin12021-07-25 20:57 374  
[ ]enumset1__t68_enumset1.vmin12021-07-25 20:57 374  
[ ]enumset1__t69_enumset1.vmin12021-07-25 20:57 374  
[ ]enumset1__t70_enumset1.vmin12021-07-25 20:57 374  
[ ]enumset1__t72_enumset1.vmin12021-07-25 20:57 374  
[ ]enumset1__t73_enumset1.vmin12021-07-25 20:57 374  
[ ]enumset1__t74_enumset1.vmin12021-07-25 20:57 374  
[ ]enumset1__t75_enumset1.vmin12021-07-25 20:57 374  
[ ]enumset1__t76_enumset1.vmin12021-07-25 20:57 374  
[ ]enumset1__t13_enumset1.vmin12021-07-25 20:57 375  
[ ]enumset1__l80_enumset1.vmin12021-07-25 20:57 379  
[ ]enumset1__l86_enumset1.vmin12021-07-25 20:57 379  
[ ]enumset1__t61_enumset1.vmin12021-07-25 20:57 379  
[ ]enumset1__t62_enumset1.vmin12021-07-25 20:57 379  
[ ]enumset1__t63_enumset1.vmin12021-07-25 20:57 379  
[ ]enumset1__t64_enumset1.vmin12021-07-25 20:57 379  
[ ]enumset1__t65_enumset1.vmin12021-07-25 20:57 379  
[ ]enumset1__t30_enumset1.vmin12021-07-25 20:57 393  
[ ]enumset1__t60_enumset12021-07-17 17:38 401  
[ ]enumset1__t39_enumset1.vmin12021-07-25 20:57 404  
[ ]enumset1__t45_enumset1.vmin12021-07-25 20:57 410  
[ ]enumset1__t19_enumset1.vmin12021-07-25 20:57 411  
[ ]enumset1__t50_enumset1.vmin12021-07-25 20:57 416  
[ ]enumset1__t25_enumset1.vmin12021-07-25 20:57 447  
[ ]enumset1__t31_enumset1.vmin12021-07-25 20:57 452  
[ ]enumset1__t59_enumset1.vmin12021-07-25 20:57 453  
[ ]enumset1__t66_enumset12021-07-17 17:39 455  
[ ]enumset1__t68_enumset12021-07-17 17:39 455  
[ ]enumset1__t69_enumset12021-07-17 17:39 455  
[ ]enumset1__t70_enumset12021-07-17 17:39 455  
[ ]enumset1__t72_enumset12021-07-17 17:39 455  
[ ]enumset1__t73_enumset12021-07-17 17:39 455  
[ ]enumset1__t74_enumset12021-07-17 17:39 455  
[ ]enumset1__t75_enumset12021-07-17 17:39 455  
[ ]enumset1__t76_enumset12021-07-17 17:39 455  
[ ]enumset1__t40_enumset1.vmin12021-07-25 20:57 458  
[ ]enumset1__t46_enumset1.vmin12021-07-25 20:57 464  
[ ]enumset1__t36_enumset12021-07-17 17:37 466  
[ ]enumset1__t42_enumset12021-07-17 17:37 472  
[ ]enumset1__t47_enumset12021-07-17 17:37 478  
[ ]enumset1__t80_enumset1.vmin12021-07-25 20:57 483  
[ ]enumset1__t51_enumset12021-07-17 17:38 484  
[ ]enumset1__t54_enumset12021-07-17 17:38 490  
[ ]enumset1__t3_enumset1.vmin12021-07-25 20:57 493  
[ ]enumset1__t56_enumset12021-07-17 17:38 496  
[ ]enumset1__t38_enumset12021-07-17 17:37 501  
[ ]enumset1__t44_enumset12021-07-17 17:37 507  
[ ]enumset1__t32_enumset1.vmin12021-07-25 20:57 509  
[ ]enumset1__t41_enumset1.vmin12021-07-25 20:57 512  
[ ]enumset1__t49_enumset12021-07-17 17:38 513  
[ ]enumset1__t53_enumset12021-07-17 17:38 519  
[ ]enumset1__t1_enumset1.vmin12021-07-25 20:57 522  
[ ]enumset1__t37_enumset12021-07-17 17:37 526  
[ ]enumset1__t43_enumset12021-07-17 17:37 532  
[ ]enumset1__t48_enumset12021-07-17 17:38 538  
[ ]enumset1__t52_enumset12021-07-17 17:38 544  
[ ]enumset1__t55_enumset12021-07-17 17:38 550  
[ ]enumset1__t39_enumset12021-07-17 17:37 555  
[ ]enumset1__l1_enumset1.vmin12021-07-25 20:57 557  
[ ]enumset1__t45_enumset12021-07-17 17:37 561  
[ ]enumset1__t33_enumset1.vmin12021-07-25 20:57 564  
[ ]enumset1__t50_enumset12021-07-17 17:38 567  
[ ]enumset1__t87_enumset1.vmin12021-07-25 20:57 596  
[ ]enumset1__t40_enumset12021-07-17 17:37 609  
[ ]enumset1__t46_enumset12021-07-17 17:37 615  
[ ]enumset1__t34_enumset1.vmin12021-07-25 20:57 619  
[ ]enumset1__t4_enumset1.vmin12021-07-25 20:57 658  
[ ]enumset1__t6_enumset1.vmin12021-07-25 20:57 658  
[ ]enumset1__t41_enumset12021-07-17 17:37 663  
[ ]enumset1__t57_enumset12021-07-17 17:38 667  
[ ]enumset1__t58_enumset12021-07-17 17:38 667  
[ ]enumset1__t35_enumset1.vmin12021-07-25 20:57 673  
[ ]enumset1__t13_enumset12021-07-17 17:33 691  
[ ]enumset1__t5_enumset12021-07-17 17:33 692  
[ ]enumset1__t8_enumset1.vmin12021-07-25 20:57 716  
[ ]enumset1__t29_enumset12021-07-17 17:36 725  
[ ]enumset1__l80_enumset12021-07-17 17:42 727  
[ ]enumset1__l86_enumset12021-07-17 17:42 727  
[ ]enumset1__t61_enumset12021-07-17 17:39 727  
[ ]enumset1__t62_enumset12021-07-17 17:39 727  
[ ]enumset1__t63_enumset12021-07-17 17:39 727  
[ ]enumset1__t64_enumset12021-07-17 17:39 727  
[ ]enumset1__t65_enumset12021-07-17 17:39 727  
[ ]enumset1__t2_enumset1.vmin12021-07-25 20:57 731  
[ ]enumset1__t7_enumset1.vmin12021-07-25 20:57 735  
[ ]enumset1__t19_enumset12021-07-17 17:33 762  
[ ]enumset1__t25_enumset12021-07-17 17:33 763  
[ ]enumset1__t9_enumset12021-07-17 17:33 767  
[ ]enumset1__t12_enumset1.vmin12021-07-25 20:57 775  
[ ]enumset1__l13_enumset1.vmin12021-07-25 20:57 781  
[ ]enumset1__t86_enumset1.vmin12021-07-25 20:57 782  
[ ]enumset1__t11_enumset1.vmin12021-07-25 20:57 793  
[ ]enumset1__t59_enumset12021-07-17 17:38 793  
[ ]enumset1__t10_enumset1.vmin12021-07-25 20:57 808  
[ ]enumset1__t30_enumset12021-07-17 17:36 824  
[ ]enumset1__t18_enumset1.vmin12021-07-25 20:57 833  
[ ]enumset1__t80_enumset12021-07-17 17:33 833  
[ ]enumset1__t17_enumset1.vmin12021-07-25 20:57 848  
[ ]enumset1__t14_enumset1.vmin12021-07-25 20:57 866  
[ ]enumset1__t16_enumset1.vmin12021-07-25 20:57 870  
[ ]enumset1__t15_enumset1.vmin12021-07-25 20:57 885  
[ ]enumset1__t23_enumset1.vmin12021-07-25 20:57 903  
[ ]enumset1__t27_enumset1.vmin12021-07-25 20:57 903  
[ ]enumset1__t31_enumset12021-07-17 17:36 918  
[ ]enumset1__t20_enumset1.vmin12021-07-25 20:57 921  
[ ]enumset1__t3_enumset12021-07-17 17:34 923  
[ ]enumset1__l22_enumset1.vmin12021-07-25 20:57 936  
[ ]enumset1__t21_enumset1.vmin12021-07-25 20:57 939  
[ ]enumset1__t87_enumset12021-07-17 17:41 945  
[ ]enumset1__t78_enumset1.vmin12021-07-25 20:57 957  
[ ]enumset1__t24_enumset1.vmin12021-07-25 20:57 1.0K 
[ ]enumset1__t77_enumset1.vmin12021-07-25 20:57 1.0K 
[ ]enumset1__t26_enumset1.vmin12021-07-25 20:57 1.0K 
[ ]enumset1__t32_enumset12021-07-17 17:36 1.0K 
[ ]enumset1__t22_enumset1.vmin12021-07-25 20:57 1.0K 
[ ]enumset1__t28_enumset1.vmin12021-07-25 20:57 1.0K 
[ ]enumset1__t79_enumset1.vmin12021-07-25 20:57 1.0K 
[ ]enumset1__t82_enumset1.vmin12021-07-25 20:57 1.0K 
[ ]enumset1__l35_enumset1.vmin12021-07-25 20:57 1.0K 
[ ]enumset1__t33_enumset12021-07-17 17:36 1.0K 
[ ]enumset1__l1_enumset12021-07-17 17:41 1.0K 
[ ]enumset1__t83_enumset1.vmin12021-07-25 20:57 1.0K 
[ ]enumset1__t84_enumset1.vmin12021-07-25 20:57 1.1K 
[ ]enumset1__l17_enumset1.vmin12021-07-25 20:57 1.1K 
[ ]enumset1__t34_enumset12021-07-17 17:36 1.1K 
[ ]enumset1__t4_enumset12021-07-17 17:34 1.1K 
[ ]enumset1__t6_enumset12021-07-17 17:34 1.1K 
[ ]enumset1__t1_enumset12021-07-17 17:34 1.1K 
[ ]enumset1__t35_enumset12021-07-17 17:37 1.1K 
[ ]enumset1__t8_enumset12021-07-17 17:34 1.2K 
[ ]enumset1__t18_enumset12021-07-17 17:35 1.2K 
[ ]enumset1__t10_enumset12021-07-17 17:34 1.2K 
[ ]enumset1__t7_enumset12021-07-17 17:34 1.2K 
[ ]enumset1__t81_enumset1.vout2021-07-25 15:42 1.2K 
[ ]enumset1__t15_enumset1.vmin1out2021-07-25 20:58 1.2K 
[ ]enumset1__t22_enumset1.vmin1out2021-07-25 20:59 1.2K 
[ ]enumset1__t28_enumset1.vmin1out2021-07-25 20:59 1.2K 
[ ]enumset1__t79_enumset1.vmin1out2021-07-25 21:01 1.2K 
[ ]enumset1__t83_enumset1.vmin1out2021-07-25 21:00 1.2K 
[ ]enumset1__t84_enumset1.vmin1out2021-07-25 20:59 1.2K 
[ ]enumset1__l13_enumset12021-07-17 17:41 1.2K 
[ ]enumset1__t12_enumset12021-07-17 17:34 1.2K 
[ ]enumset1__t14_enumset12021-07-17 17:35 1.2K 
[ ]enumset1__t16_enumset12021-07-17 17:35 1.3K 
[ ]enumset1__t11_enumset12021-07-17 17:34 1.3K 
[ ]enumset1__t15_enumset12021-07-17 17:35 1.3K 
[ ]enumset1__l28_enumset1.vmin12021-07-25 20:57 1.3K 
[ ]enumset1__t24_enumset12021-07-17 17:36 1.3K 
[ ]enumset1__t26_enumset12021-07-17 17:36 1.3K 
[ ]enumset1__t81_enumset12021-07-17 17:40 1.3K 
[ ]enumset1__t22_enumset12021-07-17 17:35 1.3K 
[ ]enumset1__t28_enumset12021-07-17 17:36 1.3K 
[ ]enumset1__l22_enumset12021-07-17 17:41 1.3K 
[ ]enumset1__t17_enumset12021-07-17 17:35 1.3K 
[ ]enumset1__l93_enumset1.vmin12021-07-25 20:57 1.3K 
[ ]enumset1__t20_enumset12021-07-17 17:35 1.3K 
[ ]enumset1__t2_enumset12021-07-17 17:34 1.3K 
[ ]enumset1__t23_enumset12021-07-17 17:35 1.3K 
[ ]enumset1__t27_enumset12021-07-17 17:36 1.3K 
[ ]enumset1__t21_enumset12021-07-17 17:35 1.4K 
[ ]enumset1__t79_enumset12021-07-17 17:40 1.4K 
[ ]enumset1__t84_enumset12021-07-17 17:40 1.4K 
[ ]enumset1__t77_enumset12021-07-17 17:40 1.4K 
[ ]enumset1__t86_enumset12021-07-17 17:41 1.4K 
[ ]enumset1__t78_enumset12021-07-17 17:40 1.4K 
[ ]enumset1__l35_enumset12021-07-17 17:41 1.4K 
[ ]enumset1__t82_enumset12021-07-17 17:40 1.5K 
[ ]enumset1__t83_enumset12021-07-17 17:40 1.5K 
[ ]enumset1__t85_enumset1.vmin12021-07-25 20:57 1.5K 
[ ]enumset1__l17_enumset12021-07-17 17:41 1.5K 
[ ]enumset1__l28_enumset12021-07-17 17:41 1.6K 
[ ]enumset1__l93_enumset12021-07-17 17:42 1.8K 
[ ]enumset1__t85_enumset12021-07-17 17:41 1.8K 
[ ]enumset1__t67_enumset1.vout2021-07-25 15:16 2.3K 
[ ]enumset1__t71_enumset1.vout2021-07-25 20:31 2.3K 
[ ]enumset1__t36_enumset1.vout2021-07-25 15:03 2.3K 
[ ]enumset1__t67_enumset1.vmin1out2021-07-25 21:01 2.3K 
[ ]enumset1__t71_enumset1.vmin1out2021-07-25 20:59 2.3K 
[ ]enumset1__t36_enumset1.vmin1out2021-07-25 21:02 2.3K 
[ ]enumset1__t42_enumset1.vout2021-07-25 20:53 2.3K 
[ ]enumset1__t42_enumset1.vmin1out2021-07-25 21:02 2.3K 
[ ]enumset1__t47_enumset1.vout2021-07-25 18:26 2.3K 
[ ]enumset1__t47_enumset1.vmin1out2021-07-25 21:01 2.4K 
[ ]enumset1__t51_enumset1.vout2021-07-25 20:47 2.4K 
[ ]enumset1__t51_enumset1.vmin1out2021-07-25 21:01 2.4K 
[ ]enumset1__t54_enumset1.vout2021-07-25 14:25 2.4K 
[ ]enumset1__t54_enumset1.vmin1out2021-07-25 20:59 2.4K 
[ ]enumset1__t56_enumset1.vout2021-07-25 19:25 2.4K 
[ ]enumset1__t56_enumset1.vmin1out2021-07-25 21:02 2.5K 
[ ]enumset1__t60_enumset1.vout2021-07-25 19:24 2.5K 
[ ]enumset1__t60_enumset1.vmin1out2021-07-25 21:00 2.5K 
[ ]enumset1__t5_enumset1.vout2021-07-25 15:12 2.6K 
[ ]enumset1__t5_enumset1.vmin1out2021-07-25 21:01 2.6K 
[ ]enumset1__t37_enumset1.vout2021-07-25 18:17 2.6K 
[ ]enumset1__t37_enumset1.vmin1out2021-07-25 20:58 2.7K 
[ ]enumset1__t43_enumset1.vout2021-07-25 16:05 2.7K 
[ ]enumset1__t66_enumset1.vout2021-07-25 14:40 2.7K 
[ ]enumset1__t68_enumset1.vout2021-07-25 15:28 2.7K 
[ ]enumset1__t69_enumset1.vout2021-07-25 14:28 2.7K 
[ ]enumset1__t70_enumset1.vout2021-07-25 15:51 2.7K 
[ ]enumset1__t72_enumset1.vout2021-07-25 16:07 2.7K 
[ ]enumset1__t73_enumset1.vout2021-07-25 14:38 2.7K 
[ ]enumset1__t74_enumset1.vout2021-07-25 16:41 2.7K 
[ ]enumset1__t75_enumset1.vout2021-07-25 16:43 2.7K 
[ ]enumset1__t76_enumset1.vout2021-07-25 19:40 2.7K 
[ ]enumset1__t43_enumset1.vmin1out2021-07-25 21:02 2.7K 
[ ]enumset1__t9_enumset1.vout2021-07-25 17:35 2.7K 
[ ]enumset1__t66_enumset1.vmin1out2021-07-25 20:59 2.7K 
[ ]enumset1__t68_enumset1.vmin1out2021-07-25 21:01 2.7K 
[ ]enumset1__t69_enumset1.vmin1out2021-07-25 21:01 2.7K 
[ ]enumset1__t70_enumset1.vmin1out2021-07-25 20:59 2.7K 
[ ]enumset1__t72_enumset1.vmin1out2021-07-25 20:58 2.7K 
[ ]enumset1__t73_enumset1.vmin1out2021-07-25 20:59 2.7K 
[ ]enumset1__t74_enumset1.vmin1out2021-07-25 21:01 2.7K 
[ ]enumset1__t75_enumset1.vmin1out2021-07-25 20:59 2.7K 
[ ]enumset1__t76_enumset1.vmin1out2021-07-25 21:02 2.7K 
[ ]enumset1__t9_enumset1.vmin1out2021-07-25 20:58 2.7K 
[ ]enumset1__t48_enumset1.vout2021-07-25 19:00 2.7K 
[ ]enumset1__t48_enumset1.vmin1out2021-07-25 20:58 2.7K 
[ ]enumset1__t52_enumset1.vout2021-07-25 19:19 2.7K 
[ ]enumset1__t52_enumset1.vmin1out2021-07-25 21:01 2.8K 
[ ]enumset1__t55_enumset1.vout2021-07-25 15:06 2.8K 
[ ]enumset1__t55_enumset1.vmin1out2021-07-25 21:02 2.8K 
[ ]enumset1__t57_enumset1.vout2021-07-25 18:35 2.8K 
[ ]enumset1__t58_enumset1.vout2021-07-25 19:10 2.8K 
[ ]enumset1__t57_enumset1.vmin1out2021-07-25 21:01 2.8K 
[ ]enumset1__t58_enumset1.vmin1out2021-07-25 20:59 2.8K 
[ ]enumset1__t38_enumset1.vout2021-07-25 18:29 2.8K 
[ ]enumset1__t38_enumset1.vmin1out2021-07-25 20:59 2.8K 
[ ]enumset1__t13_enumset1.vout2021-07-25 20:41 2.8K 
[ ]enumset1__t13_enumset1.vmin1out2021-07-25 21:01 2.9K 
[ ]enumset1__t44_enumset1.vout2021-07-25 16:01 2.9K 
[ ]enumset1__t44_enumset1.vmin1out2021-07-25 21:02 2.9K 
[ ]enumset1__t49_enumset1.vout2021-07-25 19:14 2.9K 
[ ]enumset1__t49_enumset1.vmin1out2021-07-25 20:59 2.9K 
[ ]enumset1__t53_enumset1.vout2021-07-25 18:41 2.9K 
[ ]enumset1__t53_enumset1.vmin1out2021-07-25 21:02 2.9K 
[ ]enumset1__t19_enumset1.vout2021-07-25 19:48 3.0K 
[ ]enumset1__t19_enumset1.vmin1out2021-07-25 21:02 3.0K 
[ ]enumset1__t39_enumset1.vout2021-07-25 20:54 3.0K 
[ ]enumset1__t39_enumset1.vmin1out2021-07-25 20:58 3.0K 
[ ]enumset1__t45_enumset1.vout2021-07-25 19:53 3.0K 
[ ]enumset1__t45_enumset1.vmin1out2021-07-25 20:58 3.0K 
[ ]enumset1__t50_enumset1.vout2021-07-25 19:36 3.0K 
[ ]enumset1__t50_enumset1.vmin1out2021-07-25 20:58 3.1K 
[ ]enumset1__t25_enumset1.vout2021-07-25 16:10 3.1K 
[ ]enumset1__t25_enumset1.vmin1out2021-07-25 20:58 3.1K 
[ ]enumset1__l80_enumset1.vout2021-07-25 15:54 3.1K 
[ ]enumset1__l86_enumset1.vout2021-07-25 19:33 3.1K 
[ ]enumset1__t61_enumset1.vout2021-07-25 14:44 3.1K 
[ ]enumset1__t62_enumset1.vout2021-07-25 14:24 3.1K 
[ ]enumset1__t63_enumset1.vout2021-07-25 19:50 3.1K 
[ ]enumset1__t64_enumset1.vout2021-07-25 16:11 3.1K 
[ ]enumset1__t65_enumset1.vout2021-07-25 20:15 3.1K 
[ ]enumset1__l80_enumset1.vmin1out2021-07-25 21:00 3.1K 
[ ]enumset1__l86_enumset1.vmin1out2021-07-25 21:02 3.1K 
[ ]enumset1__t61_enumset1.vmin1out2021-07-25 21:02 3.1K 
[ ]enumset1__t62_enumset1.vmin1out2021-07-25 21:00 3.1K 
[ ]enumset1__t63_enumset1.vmin1out2021-07-25 20:58 3.1K 
[ ]enumset1__t64_enumset1.vmin1out2021-07-25 20:58 3.1K 
[ ]enumset1__t65_enumset1.vmin1out2021-07-25 21:02 3.1K 
[ ]enumset1__t30_enumset1.vout2021-07-25 18:04 3.1K 
[ ]enumset1__t40_enumset1.vout2021-07-25 19:16 3.1K 
[ ]enumset1__t30_enumset1.vmin1out2021-07-25 21:02 3.1K 
[ ]enumset1__t40_enumset1.vmin1out2021-07-25 21:01 3.1K 
[ ]enumset1__t46_enumset1.vout2021-07-25 15:59 3.2K 
[ ]enumset1__t46_enumset1.vmin1out2021-07-25 20:59 3.2K 
[ ]enumset1__t80_enumset1.vout2021-07-25 17:33 3.2K 
[ ]enumset1__t80_enumset1.vmin1out2021-07-25 21:00 3.2K 
[ ]enumset1__t59_enumset1.vout2021-07-25 19:20 3.3K 
[ ]enumset1__t59_enumset1.vmin1out2021-07-25 20:59 3.3K 
[ ]enumset1__t41_enumset1.vout2021-07-25 18:48 3.3K 
[ ]enumset1__t41_enumset1.vmin1out2021-07-25 20:57 3.3K 
[ ]enumset1__t31_enumset1.vout2021-07-25 17:19 3.3K 
[ ]enumset1__t31_enumset1.vmin1out2021-07-25 20:59 3.3K 
[ ]enumset1__t32_enumset1.vout2021-07-25 16:36 3.5K 
[ ]enumset1__t32_enumset1.vmin1out2021-07-25 21:00 3.5K 
[ ]enumset1__t33_enumset1.vout2021-07-25 17:32 3.6K 
[ ]enumset1__t33_enumset1.vmin1out2021-07-25 21:02 3.7K 
[ ]enumset1__t34_enumset1.vout2021-07-25 15:24 3.8K 
[ ]enumset1__t3_enumset1.vout2021-07-25 16:37 3.8K 
[ ]enumset1__t34_enumset1.vmin1out2021-07-25 21:00 3.8K 
[ ]enumset1__t3_enumset1.vmin1out2021-07-25 21:02 3.8K 
[ ]enumset1__t35_enumset1.vout2021-07-25 17:13 4.0K 
[ ]enumset1__t35_enumset1.vmin1out2021-07-25 21:02 4.0K 
[ ]enumset1__t4_enumset1.vmin1out2021-07-25 20:59 4.4K 
[ ]enumset1__t6_enumset1.vout2021-07-25 16:23 4.5K 
[ ]enumset1__t6_enumset1.vmin1out2021-07-25 21:01 4.5K 
[ ]enumset1__t4_enumset1.vout2021-07-25 15:12 4.5K 
[ ]enumset1__t8_enumset1.vmin1out2021-07-25 20:57 4.6K 
[ ]enumset1__t8_enumset1.vout2021-07-25 18:08 4.7K 
[ ]enumset1__t7_enumset1.vmin1out2021-07-25 21:02 4.7K 
[ ]enumset1__t87_enumset1.vout2021-07-25 18:35 4.7K 
[ ]enumset1__t7_enumset1.vout2021-07-25 17:12 4.7K 
[ ]enumset1__t87_enumset1.vmin1out2021-07-25 21:00 4.7K 
[ ]enumset1__t12_enumset1.vmin1out2021-07-25 21:01 4.8K 
[ ]enumset1__t14_enumset1.vmin1out2021-07-25 21:01 4.8K 
[ ]enumset1__t12_enumset1.vout2021-07-25 17:03 4.8K 
[ ]enumset1__t11_enumset1.vmin1out2021-07-25 21:02 4.9K 
[ ]enumset1__t11_enumset1.vout2021-07-25 18:46 4.9K 
[ ]enumset1__t18_enumset1.vmin1out2021-07-25 20:59 5.0K 
[ ]enumset1__t18_enumset1.vout2021-07-25 15:35 5.0K 
[ ]enumset1__t17_enumset1.vmin1out2021-07-25 21:02 5.0K 
[ ]enumset1__t16_enumset1.vmin1out2021-07-25 21:01 5.1K 
[ ]enumset1__t16_enumset1.vout2021-07-25 14:31 5.1K 
[ ]enumset1__t27_enumset1.vmin1out2021-07-25 20:59 5.2K 
[ ]enumset1__t23_enumset1.vmin1out2021-07-25 20:58 5.2K 
[ ]enumset1__t23_enumset1.vout2021-07-25 16:11 5.2K 
[ ]enumset1__t78_enumset1.vmin1out2021-07-25 21:00 5.4K 
[ ]enumset1__t78_enumset1.vout2021-07-25 14:31 5.4K 
[ ]enumset1__t77_enumset1.vmin1out2021-07-25 21:02 5.4K 
[ ]enumset1__t10_enumset1.vout2021-07-25 16:05 5.5K 
[ ]enumset1__t17_enumset1.vout2021-07-25 15:38 5.6K 
[ ]enumset1__t21_enumset1.vmin1out2021-07-25 21:01 5.7K 
[ ]enumset1__t20_enumset1.vmin1out2021-07-25 20:59 6.0K 
[ ]enumset1__t77_enumset1.vout2021-07-25 16:14 6.0K 
[ ]enumset1__t24_enumset1.vout2021-07-25 15:10 6.4K 
[ ]enumset1__t24_enumset1.vmin1out2021-07-25 21:00 6.4K 
[ ]enumset1__t10_enumset1.vmin1out2021-07-25 21:02 6.5K 
[ ]enumset1__t20_enumset1.vout2021-07-25 17:46 6.7K 
[ ]enumset1__t21_enumset1.vout2021-07-25 14:31 6.8K 
[ ]enumset1__t27_enumset1.vout2021-07-25 20:38 7.0K 
[ ]enumset1__t79_enumset1.vout2021-07-25 18:30 7.0K 
[ ]enumset1__t84_enumset1.vout2021-07-25 14:35 7.1K 
[ ]enumset1__t83_enumset1.vout2021-07-25 17:37 7.2K 
[ ]enumset1__t82_enumset1.vmin1out2021-07-25 21:00 7.2K 
[ ]enumset1__t82_enumset1.vout2021-07-25 15:44 7.5K 
[ ]enumset1__l93_enumset1.vmin1out2021-07-25 21:00 7.9K 
[ ]enumset1__t29_enumset1.vout2021-07-25 19:40 8.0K 
[ ]enumset1__t29_enumset1.vmin1out2021-07-25 21:00 8.1K 
[ ]enumset1__l28_enumset1.vmin1out2021-07-25 20:59 8.4K 
[ ]enumset1__l35_enumset1.vmin1out2021-07-25 21:02 8.4K 
[ ]enumset1__t14_enumset1.vout2021-07-25 15:54 8.8K 
[ ]enumset1__t26_enumset1.vmin1out2021-07-25 21:02 8.9K 
[ ]enumset1__t15_enumset1.vout2021-07-25 18:31 9.0K 
[ ]enumset1__t22_enumset1.vout2021-07-25 20:47 9.1K 
[ ]enumset1__t26_enumset1.vout2021-07-25 20:00 9.4K 
[ ]enumset1__t28_enumset1.vout2021-07-25 14:29 9.6K 
[ ]enumset1__t1_enumset1.vout2021-07-25 20:19 15K 
[ ]enumset1__l1_enumset1.vout2021-07-25 17:41 18K 
[ ]enumset1__l1_enumset1.vmin1out2021-07-25 21:01 18K 
[ ]enumset1__t1_enumset1.vmin1out2021-07-25 20:58 19K 
[ ]enumset1__t2_enumset1.vout2021-07-25 15:24 24K 
[ ]enumset1__t86_enumset1.vout2021-07-25 16:02 24K 
[ ]enumset1__t2_enumset1.vmin1out2021-07-25 20:59 25K 
[ ]enumset1__l13_enumset1.vout2021-07-25 18:56 26K 
[ ]enumset1__l13_enumset1.vmin1out2021-07-25 21:02 26K 
[ ]enumset1__t86_enumset1.vmin1out2021-07-25 20:59 27K 
[ ]enumset1__l22_enumset1.vmin1out2021-07-25 20:59 32K 
[ ]enumset1__l22_enumset1.vout2021-07-25 20:16 33K 
[ ]enumset1__l17_enumset1.vout2021-07-25 15:38 33K 
[ ]enumset1__l17_enumset1.vmin1out2021-07-25 21:01 35K 
[ ]enumset1__l35_enumset1.vout2021-07-25 19:50 41K 
[ ]enumset1__l28_enumset1.vout2021-07-25 17:37 43K 
[ ]enumset1__l93_enumset1.vout2021-07-25 19:35 51K 
[ ]enumset1__t85_enumset1.vout2021-07-25 19:04 57K 
[ ]enumset1__t85_enumset1.vmin1out2021-07-25 20:59 57K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80