Index of /~mptp/1147/MPTP2/ilp0/catalan2

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]catalan2__57_11.min1.thm12017-02-06 12:46 1.7K 
[   ]catalan2__64_21.min1.thm12017-02-06 12:46 774  
[   ]catalan2__67_33.min1.thm12017-02-06 12:46 632  
[   ]catalan2__68_17.min1.thm12017-02-06 12:46 763  
[   ]catalan2__84_13.min1.thm12017-02-06 12:46 268  
[   ]catalan2__87_21.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__93_14.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__98_14.min1.thm12017-02-06 12:46 358  
[   ]catalan2__107_13.min1.thm12017-02-06 12:46 256  
[   ]catalan2__110_21.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__114_24.min1.thm12017-02-06 12:46 1.9K 
[   ]catalan2__116_19.min1.thm12017-02-06 12:46 1.4K 
[   ]catalan2__117_15.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__123_20.min1.thm12017-02-06 12:46 2.4K 
[   ]catalan2__124_25.min1.thm12017-02-06 12:46 2.5K 
[   ]catalan2__130_14.min1.thm12017-02-06 12:46 254  
[   ]catalan2__137_12.min1.thm12017-02-06 12:46 372  
[   ]catalan2__139_28.min1.thm12017-02-06 12:46 538  
[   ]catalan2__139_28.min1.thm1.tptp2017-02-06 16:48 467  
[   ]catalan2__147_16.min1.thm12017-02-06 12:46 485  
[   ]catalan2__148_18.min1.thm12017-02-06 12:46 682  
[   ]catalan2__154_20.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__156_30.min1.thm12017-02-06 12:46 592  
[   ]catalan2__156_30.min1.thm1.tptp2017-02-06 16:48 521  
[   ]catalan2__161_21.min1.thm12017-02-06 12:46 1.7K 
[   ]catalan2__169_32.min1.thm12017-02-06 12:46 544  
[   ]catalan2__170_16.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__175_32.min1.thm12017-02-06 12:46 589  
[   ]catalan2__181_28.min1.thm12017-02-06 12:46 300  
[   ]catalan2__191_27.min1.thm12017-02-06 12:46 576  
[   ]catalan2__191_27.min1.thm1.tptp2017-02-06 16:48 505  
[   ]catalan2__193_30.min1.thm12017-02-06 12:46 596  
[   ]catalan2__193_30.min1.thm1.tptp2017-02-06 16:48 525  
[   ]catalan2__199_13.min1.thm12017-02-06 12:46 353  
[   ]catalan2__202_22.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__205_24.min1.thm12017-02-06 12:46 1.8K 
[   ]catalan2__212_22.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__219_48.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__229_27.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__230_45.min1.thm12017-02-06 12:46 2.5K 
[   ]catalan2__234_14.min1.thm12017-02-06 12:46 555  
[   ]catalan2__247_21.min1.thm12017-02-06 12:46 2.1K 
[   ]catalan2__250_19.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__252_40.min1.thm12017-02-06 12:46 2.1K 
[   ]catalan2__253_25.min1.thm12017-02-06 12:46 592  
[   ]catalan2__253_25.min1.thm1.tptp2017-02-06 16:48 521  
[   ]catalan2__263_36.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__269_13.min1.thm12017-02-06 12:46 273  
[   ]catalan2__273_21.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__278_17.min1.thm12017-02-06 12:46 827  
[   ]catalan2__283_59.min1.thm12017-02-06 12:46 2.3K 
[   ]catalan2__288_14.min1.thm12017-02-06 12:46 424  
[   ]catalan2__296_39.min1.thm12017-02-06 12:46 1.8K 
[   ]catalan2__312_21.min1.thm12017-02-06 12:46 576  
[   ]catalan2__312_21.min1.thm1.tptp2017-02-06 16:48 505  
[   ]catalan2__313_19.min1.thm12017-02-06 12:46 846  
[   ]catalan2__319_13.min1.thm12017-02-06 12:46 273  
[   ]catalan2__323_21.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__329_26.min1.thm12017-02-06 12:46 1.9K 
[   ]catalan2__347_14.min1.thm12017-02-06 12:46 485  
[   ]catalan2__361_14.min1.thm12017-02-06 12:46 1.6K 
[   ]catalan2__364_24.min1.thm12017-02-06 12:46 357  
[   ]catalan2__364_24.min1.thm1.tptp2017-02-06 16:48 276  
[   ]catalan2__376_16.min1.thm12017-02-06 12:46 768  
[   ]catalan2__379_22.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__380_17.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__383_20.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__384_20.min1.thm12017-02-06 12:46 1.9K 
[   ]catalan2__396_18.min1.thm12017-02-06 12:46 947  
[   ]catalan2__398_25.min1.thm12017-02-06 12:46 536  
[   ]catalan2__398_25.min1.thm1.tptp2017-02-06 16:48 465  
[   ]catalan2__404_43.min1.thm12017-02-06 12:46 2.3K 
[   ]catalan2__416_41.min1.thm12017-02-06 12:46 1.5K 
[   ]catalan2__419_19.min1.thm12017-02-06 12:46 1.9K 
[   ]catalan2__421_29.min1.thm12017-02-06 12:46 783  
[   ]catalan2__423_21.min1.thm12017-02-06 12:46 850  
[   ]catalan2__427_16.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__430_12.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__431_20.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__433_19.min1.thm12017-02-06 12:46 1.4K 
[   ]catalan2__441_11.min1.thm12017-02-06 12:46 869  
[   ]catalan2__442_16.min1.thm12017-02-06 12:46 598  
[   ]catalan2__444_17.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__445_14.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__454_34.min1.thm12017-02-06 12:46 2.1K 
[   ]catalan2__460_68.min1.thm12017-02-06 12:46 1.6K 
[   ]catalan2__462_16.min1.thm12017-02-06 12:46 731  
[   ]catalan2__467_40.min1.thm12017-02-06 12:46 2.1K 
[   ]catalan2__468_16.min1.thm12017-02-06 12:46 1.7K 
[   ]catalan2__473_14.min1.thm12017-02-06 12:46 1.8K 
[   ]catalan2__475_19.min1.thm12017-02-06 12:46 1.6K 
[   ]catalan2__476_17.min1.thm12017-02-06 12:46 1.7K 
[   ]catalan2__477_15.min1.thm12017-02-06 12:46 1.6K 
[   ]catalan2__481_21.min1.thm12017-02-06 12:46 2.2K 
[   ]catalan2__483_25.min1.thm12017-02-06 12:46 2.4K 
[   ]catalan2__484_24.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__485_14.min1.thm12017-02-06 12:46 2.2K 
[   ]catalan2__497_26.min1.thm12017-02-06 12:46 714  
[   ]catalan2__500_16.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__516_27.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__517_30.min1.thm12017-02-06 12:46 3.8K 
[   ]catalan2__518_17.min1.thm12017-02-06 12:46 2.6K 
[   ]catalan2__524_17.min1.thm12017-02-06 12:46 2.1K 
[   ]catalan2__540_37.min1.thm12017-02-06 12:46 881  
[   ]catalan2__541_16.min1.thm12017-02-06 12:46 969  
[   ]catalan2__543_36.min1.thm12017-02-06 12:46 371  
[   ]catalan2__543_36.min1.thm1.tptp2017-02-06 16:48 293  
[   ]catalan2__546_21.min1.thm12017-02-06 12:46 1.4K 
[   ]catalan2__547_35.min1.thm12017-02-06 12:46 921  
[   ]catalan2__549_46.min1.thm12017-02-06 12:46 704  
[   ]catalan2__550_15.min1.thm12017-02-06 12:46 732  
[   ]catalan2__553_18.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__554_8.min1.thm12017-02-06 12:46 4.0K 
[   ]catalan2__555_45.min1.thm12017-02-06 12:46 2.1K 
[   ]catalan2__556_45.min1.thm12017-02-06 12:46 2.2K 
[   ]catalan2__560_13.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__562_17.min1.thm12017-02-06 12:46 2.2K 
[   ]catalan2__565_17.min1.thm12017-02-06 12:46 1.7K 
[   ]catalan2__566_22.min1.thm12017-02-06 12:46 2.3K 
[   ]catalan2__569_42.min1.thm12017-02-06 12:46 2.7K 
[   ]catalan2__572_27.min1.thm12017-02-06 12:46 1.7K 
[   ]catalan2__574_28.min1.thm12017-02-06 12:46 2.9K 
[   ]catalan2__579_16.min1.thm12017-02-06 12:46 1.7K 
[   ]catalan2__583_24.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__586_35.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__588_56.min1.thm12017-02-06 12:46 4.1K 
[   ]catalan2__595_17.min1.thm12017-02-06 12:46 2.3K 
[   ]catalan2__604_16.min1.thm12017-02-06 12:46 1.7K 
[   ]catalan2__607_19.min1.thm12017-02-06 12:46 1.7K 
[   ]catalan2__610_21.min1.thm12017-02-06 12:46 1.5K 
[   ]catalan2__615_16.min1.thm12017-02-06 12:46 1.7K 
[   ]catalan2__616_20.min1.thm12017-02-06 12:46 1.4K 
[   ]catalan2__635_17.min1.thm12017-02-06 12:46 1.6K 
[   ]catalan2__637_14.min1.thm12017-02-06 12:46 1.6K 
[   ]catalan2__638_44.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__644_15.min1.thm12017-02-06 12:46 1.5K 
[   ]catalan2__652_59.min1.thm12017-02-06 12:46 913  
[   ]catalan2__653_16.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__655_49.min1.thm12017-02-06 12:46 653  
[   ]catalan2__661_17.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__666_17.min1.thm12017-02-06 12:46 733  
[   ]catalan2__669_18.min1.thm12017-02-06 12:46 1.4K 
[   ]catalan2__670_26.min1.thm12017-02-06 12:46 1.4K 
[   ]catalan2__672_26.min1.thm12017-02-06 12:46 2.6K 
[   ]catalan2__676_15.min1.thm12017-02-06 12:46 247  
[   ]catalan2__682_36.min1.thm12017-02-06 12:46 2.0K 
[   ]catalan2__691_19.min1.thm12017-02-06 12:46 337  
[   ]catalan2__694_25.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__702_21.min1.thm12017-02-06 12:46 815  
[   ]catalan2__703_26.min1.thm12017-02-06 12:46 1.6K 
[   ]catalan2__710_35.min1.thm12017-02-06 12:46 459  
[   ]catalan2__720_32.min1.thm12017-02-06 12:46 2.6K 
[   ]catalan2__730_14.min1.thm12017-02-06 12:46 464  
[   ]catalan2__730_14.min1.thm1.tptp2017-02-06 16:48 382  
[   ]catalan2__744_21.min1.thm12017-02-06 12:46 846  
[   ]catalan2__747_21.min1.thm12017-02-06 12:46 567  
[   ]catalan2__748_15.min1.thm12017-02-06 12:46 1.8K 
[   ]catalan2__749_20.min1.thm12017-02-06 12:46 1.8K 
[   ]catalan2__751_18.min1.thm12017-02-06 12:46 1.8K 
[   ]catalan2__755_11.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__758_20.min1.thm12017-02-06 12:46 1.4K 
[   ]catalan2__762_21.min1.thm12017-02-06 12:46 1.4K 
[   ]catalan2__763_33.min1.thm12017-02-06 12:46 922  
[   ]catalan2__768_20.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__772_26.min1.thm12017-02-06 12:46 3.2K 
[   ]catalan2__781_43.min1.thm12017-02-06 12:46 1.4K 
[   ]catalan2__784_30.min1.thm12017-02-06 12:46 1.7K 
[   ]catalan2__786_18.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__787_24.min1.thm12017-02-06 12:46 654  
[   ]catalan2__788_38.min1.thm12017-02-06 12:46 655  
[   ]catalan2__789_36.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__793_13.min1.thm12017-02-06 12:46 477  
[   ]catalan2__797_10.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__798_40.min1.thm12017-02-06 12:46 2.1K 
[   ]catalan2__799_16.min1.thm12017-02-06 12:46 1.4K 
[   ]catalan2__804_26.min1.thm12017-02-06 12:46 2.3K 
[   ]catalan2__817_19.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__818_25.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__823_17.min1.thm12017-02-06 12:46 2.7K 
[   ]catalan2__825_16.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__827_16.min1.thm12017-02-06 12:46 1.6K 
[   ]catalan2__830_35.min1.thm12017-02-06 12:46 922  
[   ]catalan2__858_16.min1.thm12017-02-06 12:46 799  
[   ]catalan2__858_16.min1.thm1.tptp2017-02-06 16:48 748  
[   ]catalan2__859_23.min1.thm12017-02-06 12:46 906  
[   ]catalan2__860_40.min1.thm12017-02-06 12:46 960  
[   ]catalan2__861_21.min1.thm12017-02-06 12:46 723  
[   ]catalan2__863_46.min1.thm12017-02-06 12:46 757  
[   ]catalan2__866_31.min1.thm12017-02-06 12:46 837  
[   ]catalan2__866_31.min1.thm1.tptp2017-02-06 16:48 788  
[   ]catalan2__871_28.min1.thm12017-02-06 12:46 614  
[   ]catalan2__871_28.min1.thm1.tptp2017-02-06 16:48 543  
[   ]catalan2__872_19.min1.thm12017-02-06 12:46 1.4K 
[   ]catalan2__881_70.min1.thm12017-02-06 12:46 700  
[   ]catalan2__882_21.min1.thm12017-02-06 12:46 849  
[   ]catalan2__882_21.min1.thm1.tptp2017-02-06 16:48 794  
[   ]catalan2__894_69.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__895_16.min1.thm12017-02-06 12:46 514  
[   ]catalan2__897_16.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__908_28.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__909_19.min1.thm12017-02-06 12:46 846  
[   ]catalan2__910_17.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__918_38.min1.thm12017-02-06 12:46 837  
[   ]catalan2__933_13.min1.thm12017-02-06 12:46 802  
[   ]catalan2__943_30.min1.thm12017-02-06 12:46 2.6K 
[   ]catalan2__950_24.min1.thm12017-02-06 12:46 363  
[   ]catalan2__950_24.min1.thm1.tptp2017-02-06 16:48 286  
[   ]catalan2__955_17.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__956_10.min1.thm12017-02-06 12:46 887  
[   ]catalan2__972_15.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__973_42.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__974_39.min1.thm12017-02-06 12:46 1.7K 
[   ]catalan2__975_17.min1.thm12017-02-06 12:46 925  
[   ]catalan2__980_26.min1.thm12017-02-06 12:46 359  
[   ]catalan2__980_26.min1.thm1.tptp2017-02-06 16:48 278  
[   ]catalan2__981_26.min1.thm12017-02-06 12:46 2.4K 
[   ]catalan2__988_17.min1.thm12017-02-06 12:46 770  
[   ]catalan2__994_25.min1.thm12017-02-06 12:46 518  
[   ]catalan2__994_25.min1.thm1.tptp2017-02-06 16:48 441  
[   ]catalan2__1005_36.min1.thm12017-02-06 12:46 921  
[   ]catalan2__1011_24.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__1015_14.min1.thm12017-02-06 12:46 311  
[   ]catalan2__1016_19.min1.thm12017-02-06 12:46 854  
[   ]catalan2__1021_17.min1.thm12017-02-06 12:46 1.6K 
[   ]catalan2__1023_45.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__1031_12.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__1035_19.min1.thm12017-02-06 12:46 1.5K 
[   ]catalan2__1036_20.min1.thm12017-02-06 12:46 1.5K 
[   ]catalan2__1040_19.min1.thm12017-02-06 12:46 1.7K 
[   ]catalan2__1047_23.min1.thm12017-02-06 12:46 1.4K 
[   ]catalan2__1055_15.min1.thm12017-02-06 12:46 1.8K 
[   ]catalan2__1056_22.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__1058_17.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__1065_21.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__1066_24.min1.thm12017-02-06 12:46 942  
[   ]catalan2__1069_17.min1.thm12017-02-06 12:46 1.5K 
[   ]catalan2__1077_34.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__1093_15.min1.thm12017-02-06 12:46 628  
[   ]catalan2__1094_15.min1.thm12017-02-06 12:46 1.5K 
[   ]catalan2__1096_24.min1.thm12017-02-06 12:46 2.0K 
[   ]catalan2__1099_29.min1.thm12017-02-06 12:46 633  
[   ]catalan2__1115_35.min1.thm12017-02-06 12:46 1.6K 
[   ]catalan2__1118_34.min1.thm12017-02-06 12:46 2.4K 
[   ]catalan2__1122_21.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__1123_26.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__1134_27.min1.thm12017-02-06 12:46 583  
[   ]catalan2__1138_28.min1.thm12017-02-06 12:46 1.6K 
[   ]catalan2__1141_18.min1.thm12017-02-06 12:46 1.7K 
[   ]catalan2__1147_19.min1.thm12017-02-06 12:46 3.1K 
[   ]catalan2__1151_19.min1.thm12017-02-06 12:46 1.5K 
[   ]catalan2__1159_19.min1.thm12017-02-06 12:46 1.4K 
[   ]catalan2__1174_26.min1.thm12017-02-06 12:46 902  
[   ]catalan2__1191_12.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__1192_25.min1.thm12017-02-06 12:46 2.1K 
[   ]catalan2__1193_19.min1.thm12017-02-06 12:46 2.5K 
[   ]catalan2__1201_55.min1.thm12017-02-06 12:46 905  
[   ]catalan2__1202_18.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__1204_51.min1.thm12017-02-06 12:46 606  
[   ]catalan2__1208_16.min1.thm12017-02-06 12:46 745  
[   ]catalan2__1210_51.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__1216_23.min1.thm12017-02-06 12:46 1.7K 
[   ]catalan2__1217_20.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__1231_20.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__1240_23.min1.thm12017-02-06 12:46 722  
[   ]catalan2__1244_26.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__1245_31.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__1257_40.min1.thm12017-02-06 12:46 1.6K 
[   ]catalan2__1261_26.min1.thm12017-02-06 12:46 583  
[   ]catalan2__1265_19.min1.thm12017-02-06 12:46 2.2K 
[   ]catalan2__1270_16.min1.thm12017-02-06 12:46 1.7K 
[   ]catalan2__1300_14.min1.thm12017-02-06 12:46 1.8K 
[   ]catalan2__1301_20.min1.thm12017-02-06 12:46 2.0K 
[   ]catalan2__1304_14.min1.thm12017-02-06 12:46 1.4K 
[   ]catalan2__1307_37.min1.thm12017-02-06 12:46 2.4K 
[   ]catalan2__1321_17.min1.thm12017-02-06 12:46 269  
[   ]catalan2__1326_24.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__1330_27.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__1343_32.min1.thm12017-02-06 12:46 632  
[   ]catalan2__1351_17.min1.thm12017-02-06 12:46 1.5K 
[   ]catalan2__1365_35.min1.thm12017-02-06 12:46 1.6K 
[   ]catalan2__1368_30.min1.thm12017-02-06 12:46 2.4K 
[   ]catalan2__1376_35.min1.thm12017-02-06 12:46 1.6K 
[   ]catalan2__1379_30.min1.thm12017-02-06 12:46 2.4K 
[   ]catalan2__1380_16.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__1410_18.min1.thm12017-02-06 12:46 610  
[   ]catalan2__1414_19.min1.thm12017-02-06 12:46 405  
[   ]catalan2__1421_38.min1.thm12017-02-06 12:46 1.4K 
[   ]catalan2__1441_26.min1.thm12017-02-06 12:46 1.8K 
[   ]catalan2__1442_20.min1.thm12017-02-06 12:46 1.7K 
[   ]catalan2__1452_24.min1.thm12017-02-06 12:46 1.4K 
[   ]catalan2__1458_21.min1.thm12017-02-06 12:46 2.0K 
[   ]catalan2__1460_23.min1.thm12017-02-06 12:46 820  
[   ]catalan2__1461_24.min1.thm12017-02-06 12:46 1.6K 
[   ]catalan2__1465_23.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__1468_22.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__1480_26.min1.thm12017-02-06 12:46 1.8K 
[   ]catalan2__1481_20.min1.thm12017-02-06 12:46 1.7K 
[   ]catalan2__1491_24.min1.thm12017-02-06 12:46 1.4K 
[   ]catalan2__1497_21.min1.thm12017-02-06 12:46 2.0K 
[   ]catalan2__1499_23.min1.thm12017-02-06 12:46 816  
[   ]catalan2__1500_24.min1.thm12017-02-06 12:46 1.6K 
[   ]catalan2__1504_23.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__1507_22.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__1518_15.min1.thm12017-02-06 12:46 1.6K 
[   ]catalan2__1519_33.min1.thm12017-02-06 12:46 2.4K 
[   ]catalan2__1520_17.min1.thm12017-02-06 12:46 1.9K 
[   ]catalan2__1529_49.min1.thm12017-02-06 12:46 1.9K 
[   ]catalan2__1535_17.min1.thm12017-02-06 12:46 1.7K 
[   ]catalan2__1544_13.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__1547_28.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__1549_21.min1.thm12017-02-06 12:46 894  
[   ]catalan2__1553_15.min1.thm12017-02-06 12:46 509  
[   ]catalan2__1555_44.min1.thm12017-02-06 12:46 1.7K 
[   ]catalan2__1578_24.min1.thm12017-02-06 12:46 1.5K 
[   ]catalan2__1587_49.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__1593_14.min1.thm12017-02-06 12:46 702  
[   ]catalan2__1599_63.min1.thm12017-02-06 12:46 1.8K 
[   ]catalan2__1601_12.min1.thm12017-02-06 12:46 2.6K 
[   ]catalan2__1602_14.min1.thm12017-02-06 12:46 356  
[   ]catalan2__1648_58.min1.thm12017-02-06 12:46 349  
[   ]catalan2__1648_58.min1.thm1.tptp2017-02-06 16:48 265  
[   ]catalan2__1650_18.min1.thm12017-02-06 12:46 539  
[   ]catalan2__1650_18.min1.thm1.tptp2017-02-06 16:48 487  
[   ]catalan2__1660_11.min1.thm12017-02-06 12:46 567  
[   ]catalan2__1660_11.min1.thm1.tptp2017-02-06 16:48 516  
[   ]catalan2__1661_19.min1.thm12017-02-06 12:46 769  
[   ]catalan2__1669_14.min1.thm12017-02-06 12:46 729  
[   ]catalan2__1685_46.min1.thm12017-02-06 12:46 1.5K 
[   ]catalan2__1687_15.min1.thm12017-02-06 12:46 365  
[   ]catalan2__1697_38.min1.thm12017-02-06 12:46 669  
[   ]catalan2__1703_20.min1.thm12017-02-06 12:46 2.0K 
[   ]catalan2__1704_41.min1.thm12017-02-06 12:46 1.5K 
[   ]catalan2__1720_37.min1.thm12017-02-06 12:46 1.5K 
[   ]catalan2__1721_22.min1.thm12017-02-06 12:46 1.5K 
[   ]catalan2__1725_32.min1.thm12017-02-06 12:46 727  
[   ]catalan2__1726_19.min1.thm12017-02-06 12:46 759  
[   ]catalan2__1736_24.min1.thm12017-02-06 12:46 483  
[   ]catalan2__1736_24.min1.thm1.tptp2017-02-06 16:48 406  
[   ]catalan2__1738_21.min1.thm12017-02-06 12:46 627  
[   ]catalan2__1739_16.min1.thm12017-02-06 12:46 598  
[   ]catalan2__1740_24.min1.thm12017-02-06 12:46 713  
[   ]catalan2__1743_16.min1.thm12017-02-06 12:46 506  
[   ]catalan2__1743_16.min1.thm1.tptp2017-02-06 16:48 444  
[   ]catalan2__1744_24.min1.thm12017-02-06 12:46 714  
[   ]catalan2__1753_29.min1.thm12017-02-06 12:46 713  
[   ]catalan2__1754_16.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__1764_15.min1.thm12017-02-06 12:46 2.5K 
[   ]catalan2__1765_29.min1.thm12017-02-06 12:46 967  
[   ]catalan2__1767_20.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__1768_14.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__1771_24.min1.thm12017-02-06 12:46 1.9K 
[   ]catalan2__1773_22.min1.thm12017-02-06 12:46 1.9K 
[   ]catalan2__1775_23.min1.thm12017-02-06 12:46 2.7K 
[   ]catalan2__1776_22.min1.thm12017-02-06 12:46 1.8K 
[   ]catalan2__1779_27.min1.thm12017-02-06 12:46 2.5K 
[   ]catalan2__1780_21.min1.thm12017-02-06 12:46 1.9K 
[   ]catalan2__1782_27.min1.thm12017-02-06 12:46 912  
[   ]catalan2__1783_19.min1.thm12017-02-06 12:46 1.8K 
[   ]catalan2__1793_23.min1.thm12017-02-06 12:46 1.8K 
[   ]catalan2__1799_16.min1.thm12017-02-06 12:46 2.1K 
[   ]catalan2__1800_26.min1.thm12017-02-06 12:46 1.6K 
[   ]catalan2__1807_34.min1.thm12017-02-06 12:46 700  
[   ]catalan2__1808_17.min1.thm12017-02-06 12:46 1.8K 
[   ]catalan2__1828_28.min1.thm12017-02-06 12:46 3.0K 
[   ]catalan2__1832_64.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__1833_14.min1.thm12017-02-06 12:46 2.9K 
[   ]catalan2__1835_59.min1.thm12017-02-06 12:46 1.9K 
[   ]catalan2__1842_17.min1.thm12017-02-06 12:46 1.6K 
[   ]catalan2__1843_15.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__1851_28.min1.thm12017-02-06 12:46 2.5K 
[   ]catalan2__1859_18.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__1874_23.min1.thm12017-02-06 12:46 691  
[   ]catalan2__1881_14.min1.thm12017-02-06 12:46 545  
[   ]catalan2__1882_73.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__1889_33.min1.thm12017-02-06 12:46 2.2K 
[   ]catalan2__1891_18.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__1907_17.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__1917_33.min1.thm12017-02-06 12:46 1.8K 
[   ]catalan2__1959_31.min1.thm12017-02-06 12:46 1.8K 
[   ]catalan2__1986_73.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__1987_18.min1.thm12017-02-06 12:46 459  
[   ]catalan2__1989_43.min1.thm12017-02-06 12:46 511  
[   ]catalan2__1989_43.min1.thm1.tptp2017-02-06 16:48 433  
[   ]catalan2__1991_15.min1.thm12017-02-06 12:46 365  
[   ]catalan2__2000_60.min1.thm12017-02-06 12:46 794  
[   ]catalan2__2007_18.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__2009_51.min1.thm12017-02-06 12:46 695  
[   ]catalan2__2010_17.min1.thm12017-02-06 12:46 743  
[   ]catalan2__2023_19.min1.thm12017-02-06 12:46 1.4K 
[   ]catalan2__2026_17.min1.thm12017-02-06 12:46 511  
[   ]catalan2__2029_9.min1.thm12017-02-06 12:46 653  
[   ]catalan2__2042_24.min1.thm12017-02-06 12:46 483  
[   ]catalan2__2042_24.min1.thm1.tptp2017-02-06 16:48 406  
[   ]catalan2__2044_21.min1.thm12017-02-06 12:46 627  
[   ]catalan2__2045_16.min1.thm12017-02-06 12:46 598  
[   ]catalan2__2047_12.min1.thm12017-02-06 12:46 675  
[   ]catalan2__2051_16.min1.thm12017-02-06 12:46 506  
[   ]catalan2__2051_16.min1.thm1.tptp2017-02-06 16:48 444  
[   ]catalan2__2053_12.min1.thm12017-02-06 12:46 676  
[   ]catalan2__2064_20.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__2082_37.min1.thm12017-02-06 12:46 1.5K 
[   ]catalan2__2088_46.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__2089_19.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__2094_15.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__2096_24.min1.thm12017-02-06 12:46 1.6K 
[   ]catalan2__2098_18.min1.thm12017-02-06 12:46 788  
[   ]catalan2__2100_13.min1.thm12017-02-06 12:46 663  
[   ]catalan2__2101_18.min1.thm12017-02-06 12:46 2.1K 
[   ]catalan2__2104_24.min1.thm12017-02-06 12:46 693  
[   ]catalan2__2117_15.min1.thm12017-02-06 12:46 2.2K 
[   ]catalan2__2124_21.min1.thm12017-02-06 12:46 646  
[   ]catalan2__2133_76.min1.thm12017-02-06 12:46 724  
[   ]catalan2__2134_16.min1.thm12017-02-06 12:46 438  
[   ]catalan2__2152_48.min1.thm12017-02-06 12:46 688  
[   ]catalan2__2155_14.min1.thm12017-02-06 12:46 871  
[   ]catalan2__2156_17.min1.thm12017-02-06 12:46 2.5K 
[   ]catalan2__2157_50.min1.thm12017-02-06 12:46 1.9K 
[   ]catalan2__2158_11.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__2161_39.min1.thm12017-02-06 12:46 451  
[   ]catalan2__2161_39.min1.thm1.tptp2017-02-06 16:48 374  
[   ]catalan2__2162_13.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__2164_22.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__2177_19.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__2179_18.min1.thm12017-02-06 12:46 494  
[   ]catalan2__2182_61.min1.thm12017-02-06 12:46 826  
[   ]catalan2__2183_19.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__2201_18.min1.thm12017-02-06 12:46 626  
[   ]catalan2__2203_18.min1.thm12017-02-06 12:46 1.6K 
[   ]catalan2__2206_14.min1.thm12017-02-06 12:46 513  
[   ]catalan2__2208_65.min1.thm12017-02-06 12:46 826  
[   ]catalan2__2210_23.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__2215_32.min1.thm12017-02-06 12:46 2.0K 
[   ]catalan2__2216_37.min1.thm12017-02-06 12:46 2.5K 
[   ]catalan2__2220_15.min1.thm12017-02-06 12:46 1.7K 
[   ]catalan2__2223_19.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__2230_17.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__2232_34.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__2235_17.min1.thm12017-02-06 12:46 2.8K 
[   ]catalan2__2240_26.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__2246_13.min1.thm12017-02-06 12:46 850  
[   ]catalan2__2246_13.min1.thm1.tptp2017-02-06 16:48 791  
[   ]catalan2__2248_19.min1.thm12017-02-06 12:46 1.8K 
[   ]catalan2__2255_62.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__2255_62.min1.thm1.tptp2017-02-06 16:48 1.0K 
[   ]catalan2__2256_19.min1.thm12017-02-06 12:46 751  
[   ]catalan2__2256_19.min1.thm1.tptp2017-02-06 16:48 689  
[   ]catalan2__2260_17.min1.thm12017-02-06 12:46 894  
[   ]catalan2__2276_74.min1.thm12017-02-06 12:46 794  
[   ]catalan2__2277_16.min1.thm12017-02-06 12:46 400  
[   ]catalan2__2284_73.min1.thm12017-02-06 12:46 788  
[   ]catalan2__2285_16.min1.thm12017-02-06 12:46 397  
[   ]catalan2__2287_33.min1.thm12017-02-06 12:46 766  
[   ]catalan2__2293_32.min1.thm12017-02-06 12:46 766  
[   ]catalan2__2300_15.min1.thm12017-02-06 12:46 457  
[   ]catalan2__2300_15.min1.thm1.tptp2017-02-06 16:48 403  
[   ]catalan2__2301_61.min1.thm12017-02-06 12:46 856  
[   ]catalan2__2302_61.min1.thm12017-02-06 12:46 862  
[   ]catalan2__2313_16.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__2314_43.min1.thm12017-02-06 12:46 726  
[   ]catalan2__2317_15.min1.thm12017-02-06 12:46 229  
[   ]catalan2__2321_23.min1.thm12017-02-06 12:46 572  
[   ]catalan2__2325_24.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__2326_23.min1.thm12017-02-06 12:46 665  
[   ]catalan2__2329_16.min1.thm12017-02-06 12:46 308  
[   ]catalan2__2331_18.min1.thm12017-02-06 12:46 818  
[   ]catalan2__2333_17.min1.thm12017-02-06 12:46 572  
[   ]catalan2__2335_13.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__2338_19.min1.thm12017-02-06 12:46 2.2K 
[   ]catalan2__2340_17.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__2341_16.min1.thm12017-02-06 12:46 1.4K 
[   ]catalan2__2342_52.min1.thm12017-02-06 12:46 2.6K 
[   ]catalan2__2346_49.min1.thm12017-02-06 12:46 1.7K 
[   ]catalan2__2350_18.min1.thm12017-02-06 12:46 2.1K 
[   ]catalan2__2354_17.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__2367_32.min1.thm12017-02-06 12:46 409  
[   ]catalan2__2378_17.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__2379_20.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__2380_19.min1.thm12017-02-06 12:46 751  
[   ]catalan2__2383_13.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__2390_43.min1.thm12017-02-06 12:46 1.4K 
[   ]catalan2__2391_38.min1.thm12017-02-06 12:46 1.7K 
[   ]catalan2__2392_23.min1.thm12017-02-06 12:46 2.4K 
[   ]catalan2__2395_27.min1.thm12017-02-06 12:46 2.0K 
[   ]catalan2__2396_48.min1.thm12017-02-06 12:46 2.6K 
[   ]catalan2__2400_49.min1.thm12017-02-06 12:46 1.7K 
[   ]catalan2__2413_30.min1.thm12017-02-06 12:46 1.5K 
[   ]catalan2__2414_20.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__2415_26.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__2422_22.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__2430_40.min1.thm12017-02-06 12:46 1.8K 
[   ]catalan2__2433_19.min1.thm12017-02-06 12:46 1.6K 
[   ]catalan2__2434_27.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__2448_38.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__2459_23.min1.thm12017-02-06 12:46 1.9K 
[   ]catalan2__2479_17.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__2491_15.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__2492_21.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__2493_17.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__2503_30.min1.thm12017-02-06 12:46 203  
[   ]catalan2__2508_31.min1.thm12017-02-06 12:46 953  
[   ]catalan2__2509_44.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__2510_17.min1.thm12017-02-06 12:46 1.4K 
[   ]catalan2__2511_26.min1.thm12017-02-06 12:46 2.2K 
[   ]catalan2__2513_35.min1.thm12017-02-06 12:46 2.8K 
[   ]catalan2__2527_31.min1.thm12017-02-06 12:46 953  
[   ]catalan2__2528_50.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__2529_18.min1.thm12017-02-06 12:46 1.4K 
[   ]catalan2__2530_26.min1.thm12017-02-06 12:46 2.2K 
[   ]catalan2__2531_40.min1.thm12017-02-06 12:46 2.8K 
[   ]catalan2__2533_26.min1.thm12017-02-06 12:46 1.9K 
[   ]catalan2__2534_17.min1.thm12017-02-06 12:46 1.4K 
[   ]catalan2__2535_26.min1.thm12017-02-06 12:46 2.2K 
[   ]catalan2__2536_40.min1.thm12017-02-06 12:46 2.8K 
[   ]catalan2__2537_30.min1.thm12017-02-06 12:46 1.9K 
[   ]catalan2__2548_39.min1.thm12017-02-06 12:46 1.4K 
[   ]catalan2__2552_63.min1.thm12017-02-06 12:46 2.3K 
[   ]catalan2__2556_36.min1.thm12017-02-06 12:46 700  
[   ]catalan2__2557_17.min1.thm12017-02-06 12:46 791  
[   ]catalan2__2577_43.min1.thm12017-02-06 12:46 869  
[   ]catalan2__2584_19.min1.thm12017-02-06 12:46 482  
[   ]catalan2__2590_67.min1.thm12017-02-06 12:46 692  
[   ]catalan2__2591_21.min1.thm12017-02-06 12:46 2.1K 
[   ]catalan2__2599_17.min1.thm12017-02-06 12:46 396  
[   ]catalan2__2614_43.min1.thm12017-02-06 12:46 869  
[   ]catalan2__2626_37.min1.thm12017-02-06 12:46 969  
[   ]catalan2__2627_28.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__2645_40.min1.thm12017-02-06 12:46 937  
[   ]catalan2__2651_17.min1.thm12017-02-06 12:46 486  
[   ]catalan2__2659_6.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__2663_16.min1.thm12017-02-06 12:46 1.7K 
[   ]catalan2__2664_20.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__2666_17.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__2667_25.min1.thm12017-02-06 12:46 937  
[   ]catalan2__2672_35.min1.thm12017-02-06 12:46 2.9K 
[   ]catalan2__2673_23.min1.thm12017-02-06 12:46 2.6K 
[   ]catalan2__2674_23.min1.thm12017-02-06 12:46 1.9K 
[   ]catalan2__2694_44.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__2703_22.min1.thm12017-02-06 12:46 1.8K 
[   ]catalan2__2705_19.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__2707_20.min1.thm12017-02-06 12:46 595  
[   ]catalan2__2712_8.min1.thm12017-02-06 12:46 2.3K 
[   ]catalan2__2725_41.min1.thm12017-02-06 12:46 853  
[   ]catalan2__2738_66.min1.thm12017-02-06 12:46 2.3K 
[   ]catalan2__2757_41.min1.thm12017-02-06 12:46 853  
[   ]catalan2__2766_21.min1.thm12017-02-06 12:46 1.4K 
[   ]catalan2__2775_33.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__2777_68.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__2782_22.min1.thm12017-02-06 12:46 1.4K 
[   ]catalan2__2784_38.min1.thm12017-02-06 12:46 923  
[   ]catalan2__2800_24.min1.thm12017-02-06 12:46 2.6K 
[   ]catalan2__2801_11.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__2803_18.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__2829_17.min1.thm12017-02-06 12:46 522  
[   ]catalan2__2843_22.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__2852_25.min1.thm12017-02-06 12:46 2.0K 
[   ]catalan2__2853_16.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__2855_15.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__2856_19.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__2858_17.min1.thm12017-02-06 12:46 972  
[   ]catalan2__2861_65.min1.thm12017-02-06 12:46 1.5K 
[   ]catalan2__2862_25.min1.thm12017-02-06 12:46 2.0K 
[   ]catalan2__2867_31.min1.thm12017-02-06 12:46 806  
[   ]catalan2__2871_15.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__2873_18.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__2876_16.min1.thm12017-02-06 12:46 1.6K 
[   ]catalan2__2878_18.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__2902_44.min1.thm12017-02-06 12:46 1.6K 
[   ]catalan2__2903_14.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__2912_10.min1.thm12017-02-06 12:46 1.4K 
[   ]catalan2__2914_11.min1.thm12017-02-06 12:46 710  
[   ]catalan2__2915_20.min1.thm12017-02-06 12:46 935  
[   ]catalan2__2940_15.min1.thm12017-02-06 12:46 486  
[   ]catalan2__2949_15.min1.thm12017-02-06 12:46 2.5K 
[   ]catalan2__2959_39.min1.thm12017-02-06 12:46 777  
[   ]catalan2__2962_18.min1.thm12017-02-06 12:46 1.5K 
[   ]catalan2__2964_17.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__2969_15.min1.thm12017-02-06 12:46 380  
[   ]catalan2__2990_21.min1.thm12017-02-06 12:46 925  
[   ]catalan2__2991_16.min1.thm12017-02-06 12:46 925  
[   ]catalan2__2992_43.min1.thm12017-02-06 12:46 2.1K 
[   ]catalan2__3002_18.min1.thm12017-02-06 12:46 821  
[   ]catalan2__3003_58.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__3016_22.min1.thm12017-02-06 12:46 1.8K 
[   ]catalan2__3018_18.min1.thm12017-02-06 12:46 1.6K 
[   ]catalan2__3028_12.min1.thm12017-02-06 12:46 2.7K 
[   ]catalan2__3030_52.min1.thm12017-02-06 12:46 1.4K 
[   ]catalan2__3048_48.min1.thm12017-02-06 12:46 872  
[   ]catalan2__3054_18.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__3062_33.min1.thm12017-02-06 12:46 600  
[   ]catalan2__3066_16.min1.thm12017-02-06 12:46 388  
[   ]catalan2__3069_22.min1.thm12017-02-06 12:46 586  
[   ]catalan2__3069_22.min1.thm1.tptp2017-02-06 16:48 513  
[   ]catalan2__3070_20.min1.thm12017-02-06 12:46 629  
[   ]catalan2__3077_29.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__3080_12.min1.thm12017-02-06 12:46 1.4K 
[   ]catalan2__3088_14.min1.thm12017-02-06 12:46 2.8K 
[   ]catalan2__3091_13.min1.thm12017-02-06 12:46 225  
[   ]catalan2__3095_31.min1.thm12017-02-06 12:46 579  
[   ]catalan2__3100_49.min1.thm12017-02-06 12:46 1.7K 
[   ]catalan2__3104_29.min1.thm12017-02-06 12:46 739  
[   ]catalan2__3109_16.min1.thm12017-02-06 12:46 2.8K 
[   ]catalan2__3113_14.min1.thm12017-02-06 12:46 384  
[   ]catalan2__3136_30.min1.thm12017-02-06 12:46 313  
[   ]catalan2__3136_30.min1.thm1.tptp2017-02-06 16:48 225  
[   ]catalan2__3138_28.min1.thm12017-02-06 12:46 888  
[   ]catalan2__3161_23.min1.thm12017-02-06 12:46 661  
[   ]catalan2__3163_23.min1.thm12017-02-06 12:46 633  
[   ]catalan2__3167_23.min1.thm12017-02-06 12:46 3.3K 
[   ]catalan2__3175_38.min1.thm12017-02-06 12:46 1.4K 
[   ]catalan2__3176_20.min1.thm12017-02-06 12:46 3.3K 
[   ]catalan2__3179_37.min1.thm12017-02-06 12:46 902  
[   ]catalan2__3182_41.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__3186_23.min1.thm12017-02-06 12:46 388  
[   ]catalan2__3191_28.min1.thm12017-02-06 12:46 678  
[   ]catalan2__3201_16.min1.thm12017-02-06 12:46 2.0K 
[   ]catalan2__3205_47.min1.thm12017-02-06 12:46 2.7K 
[   ]catalan2__3214_47.min1.thm12017-02-06 12:46 2.1K 
[   ]catalan2__3230_55.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__3230_55.min1.thm1.tptp2017-02-06 16:48 1.1K 
[   ]catalan2__3231_14.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__3236_23.min1.thm12017-02-06 12:46 2.9K 
[   ]catalan2__3238_19.min1.thm12017-02-06 12:46 2.7K 
[   ]catalan2__3240_15.min1.thm12017-02-06 12:46 2.1K 
[   ]catalan2__3255_23.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__3270_19.min1.thm12017-02-06 12:46 1.9K 
[   ]catalan2__3276_27.min1.thm12017-02-06 12:46 1.8K 
[   ]catalan2__3279_22.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__3291_29.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__3301_15.min1.thm12017-02-06 12:46 3.0K 
[   ]catalan2__3303_17.min1.thm12017-02-06 12:46 1.6K 
[   ]catalan2__3305_40.min1.thm12017-02-06 12:46 2.5K 
[   ]catalan2__3310_22.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__3316_15.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__3322_30.min1.thm12017-02-06 12:46 2.9K 
[   ]catalan2__3333_16.min1.thm12017-02-06 12:46 2.7K 
[   ]catalan2__3335_39.min1.thm12017-02-06 12:46 2.1K 
[   ]catalan2__3342_21.min1.thm12017-02-06 12:46 1.8K 
[   ]catalan2__3346_23.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__3358_41.min1.thm12017-02-06 12:46 785  
[   ]catalan2__3365_25.min1.thm12017-02-06 12:46 2.9K 
[   ]catalan2__3375_13.min1.thm12017-02-06 12:46 1.5K 
[   ]catalan2__3376_22.min1.thm12017-02-06 12:46 2.4K 
[   ]catalan2__3378_18.min1.thm12017-02-06 12:46 1.8K 
[   ]catalan2__3386_24.min1.thm12017-02-06 12:46 2.1K 
[   ]catalan2__3392_65.min1.thm12017-02-06 12:46 3.0K 
[   ]catalan2__3446_15.min1.thm12017-02-06 12:46 1.6K 
[   ]catalan2__3448_31.min1.thm12017-02-06 12:46 320  
[   ]catalan2__3448_31.min1.thm1.tptp2017-02-06 16:48 242  
[   ]catalan2__3457_18.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__3463_26.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__3465_25.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__3468_23.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__3469_42.min1.thm12017-02-06 12:46 1.8K 
[   ]catalan2__3481_34.min1.thm12017-02-06 12:46 2.5K 
[   ]catalan2__3487_32.min1.thm12017-02-06 12:46 814  
[   ]catalan2__3494_44.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__3498_28.min1.thm12017-02-06 12:46 2.4K 
[   ]catalan2__3501_24.min1.thm12017-02-06 12:46 735  
[   ]catalan2__3508_43.min1.thm12017-02-06 12:46 861  
[   ]catalan2__3518_26.min1.thm12017-02-06 12:46 819  
[   ]catalan2__3519_61.min1.thm12017-02-06 12:46 874  
[   ]catalan2__3526_19.min1.thm12017-02-06 12:46 435  
[   ]catalan2__3534_15.min1.thm12017-02-06 12:46 396  
[   ]catalan2__3535_16.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__3541_19.min1.thm12017-02-06 12:46 1.6K 
[   ]catalan2__3543_52.min1.thm12017-02-06 12:46 2.5K 
[   ]catalan2__3548_33.min1.thm12017-02-06 12:46 1.0K 
[   ]catalan2__3551_20.min1.thm12017-02-06 12:46 2.9K 
[   ]catalan2__3552_25.min1.thm12017-02-06 12:46 376  
[   ]catalan2__3562_16.min1.thm12017-02-06 12:46 1.1K 
[   ]catalan2__3566_29.min1.thm12017-02-06 12:46 388  
[   ]catalan2__3567_40.min1.thm12017-02-06 12:46 2.6K 
[   ]catalan2__3569_14.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__3570_30.min1.thm12017-02-06 12:46 815  
[   ]catalan2__3578_34.min1.thm12017-02-06 12:46 693  
[   ]catalan2__3579_24.min1.thm12017-02-06 12:46 677  
[   ]catalan2__3580_56.min1.thm12017-02-06 12:46 1.6K 
[   ]catalan2__3583_19.min1.thm12017-02-06 12:46 1.9K 
[   ]catalan2__3593_16.min1.thm12017-02-06 12:46 391  
[   ]catalan2__3598_16.min1.thm12017-02-06 12:46 391  
[   ]catalan2__3605_39.min1.thm12017-02-06 12:46 2.3K 
[   ]catalan2__3608_31.min1.thm12017-02-06 12:46 2.2K 
[   ]catalan2__3609_27.min1.thm12017-02-06 12:46 2.9K 
[   ]catalan2__3621_13.min1.thm12017-02-06 12:46 2.3K 
[   ]catalan2__3625_16.min1.thm12017-02-06 12:46 391  
[   ]catalan2__3649_16.min1.thm12017-02-06 12:46 1.7K 
[   ]catalan2__3663_14.min1.thm12017-02-06 12:46 406  
[   ]catalan2__3668_36.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__3671_14.min1.thm12017-02-06 12:46 1.6K 
[   ]catalan2__3672_16.min1.thm12017-02-06 12:46 2.2K 
[   ]catalan2__3679_15.min1.thm12017-02-06 12:46 3.4K 
[   ]catalan2__3680_17.min1.thm12017-02-06 12:46 392  
[   ]catalan2__3684_23.min1.thm12017-02-06 12:46 540  
[   ]catalan2__3686_19.min1.thm12017-02-06 12:46 520  
[   ]catalan2__3687_15.min1.thm12017-02-06 12:46 768  
[   ]catalan2__3692_34.min1.thm12017-02-06 12:46 1.2K 
[   ]catalan2__3693_13.min1.thm12017-02-06 12:46 883  
[   ]catalan2__3695_20.min1.thm12017-02-06 12:46 834  
[   ]catalan2__3709_22.min1.thm12017-02-06 12:46 1.5K 
[   ]catalan2__3712_36.min1.thm12017-02-06 12:46 2.4K 
[   ]catalan2__3719_15.min1.thm12017-02-06 12:46 2.0K 
[   ]catalan2__3720_27.min1.thm12017-02-06 12:46 2.4K 
[   ]catalan2__3732_36.min1.thm12017-02-06 12:46 1.4K 
[   ]catalan2__3733_15.min1.thm12017-02-06 12:46 1.6K 
[   ]catalan2__3742_14.min1.thm12017-02-06 12:46 2.3K 
[   ]catalan2__3745_19.min1.thm12017-02-06 12:46 1.3K 
[   ]catalan2__3766_16.min1.thm12017-02-06 12:46 392  
[   ]catalan2__3774_43.min1.thm12017-02-06 12:46 861  
[   ]catalan2__3775_26.min1.thm12017-02-06 12:46 1.6K 
[   ]catalan2__3778_24.min1.thm12017-02-06 12:46 1.5K 
[   ]catalan2__3779_24.min1.thm12017-02-06 12:46 1.8K 
[   ]catalan2__3781_39.min1.thm12017-02-06 12:46 2.5K 
[   ]catalan2__3792_32.min1.thm12017-02-06 12:46 2.0K 
[   ]catalan2__3800_14.min1.thm12017-02-06 12:46 384  
[   ]catalan2__3807_49.min1.thm12017-02-06 12:46 422  
[   ]catalan2__3810_69.min1.thm12017-02-06 12:46 718  
[   ]catalan2__3810_69.min1.thm1.tptp2017-02-06 16:48 638  
[   ]catalan2__3814_19.min1.thm12017-02-06 12:46 1.5K 
[   ]catalan2__3818_13.min1.thm12017-02-06 12:46 189  
[   ]catalan2__3827_15.min1.thm12017-02-06 12:46 2.3K 
[   ]catalan2__3840_30.min1.thm12017-02-06 12:46 2.5K 
[   ]catalan2__3843_17.min1.thm12017-02-06 12:46 856  
[   ]catalan2__3843_17.min1.thm1.tptp2017-02-06 16:48 780  

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80