Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/bcialg_5

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]bcialg_5__53_27.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_5__54_18.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_5__61_27.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_5__62_17.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_5__73_12.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_5__74_13.min1.thm12017-02-06 12:45 703  
[ ]bcialg_5__77_22.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_5__78_12.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_5__79_13.min1.thm12017-02-06 12:45 703  
[ ]bcialg_5__80_17.min1.thm12017-02-06 12:45 2.6K 
[ ]bcialg_5__96_15.min1.thm12017-02-06 12:45 705  
[ ]bcialg_5__97_34.min1.thm12017-02-06 12:45 422  
[ ]bcialg_5__100_30.min1.thm12017-02-06 12:45 863  
[ ]bcialg_5__101_11.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_5__103_14.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_5__113_33.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__115_9.min1.thm12017-02-06 12:45 320  
[ ]bcialg_5__117_28.min1.thm12017-02-06 12:45 837  
[ ]bcialg_5__118_13.min1.thm12017-02-06 12:45 967  
[ ]bcialg_5__119_31.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_5__120_61.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_5__121_50.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_5__135_38.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_5__145_35.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__147_10.min1.thm12017-02-06 12:45 328  
[ ]bcialg_5__160_51.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_5__163_67.min1.thm12017-02-06 12:45 3.0K 
[ ]bcialg_5__167_32.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_5__168_13.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_5__170_18.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__172_52.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_5__175_14.min1.thm12017-02-06 12:45 584  
[ ]bcialg_5__182_17.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_5__183_14.min1.thm12017-02-06 12:45 516  
[ ]bcialg_5__189_72.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_5__198_74.min1.thm12017-02-06 12:45 3.4K 
[ ]bcialg_5__202_14.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_5__224_23.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_5__225_17.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_5__227_29.min1.thm12017-02-06 12:45 925  
[ ]bcialg_5__228_10.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__229_20.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_5__232_31.min1.thm12017-02-06 12:45 958  
[ ]bcialg_5__233_12.min1.thm12017-02-06 12:45 773  
[ ]bcialg_5__233_12.min1.thm1.tptp2017-02-06 16:48 691  
[ ]bcialg_5__235_16.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_5__236_17.min1.thm12017-02-06 12:45 4.0K 
[ ]bcialg_5__242_22.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_5__244_24.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_5__260_22.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_5__262_24.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_5__288_16.min1.thm12017-02-06 12:45 925  
[ ]bcialg_5__298_15.min1.thm12017-02-06 12:45 207  
[ ]bcialg_5__311_16.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_5__323_6.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__324_19.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__328_4.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__329_17.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__343_39.min1.thm12017-02-06 12:45 4.0K 
[ ]bcialg_5__344_57.min1.thm12017-02-06 12:45 3.3K 
[ ]bcialg_5__346_19.min1.thm12017-02-06 12:45 3.0K 
[ ]bcialg_5__361_40.min1.thm12017-02-06 12:45 4.0K 
[ ]bcialg_5__362_59.min1.thm12017-02-06 12:45 3.3K 
[ ]bcialg_5__365_19.min1.thm12017-02-06 12:45 3.0K 
[ ]bcialg_5__375_15.min1.thm12017-02-06 12:45 207  
[ ]bcialg_5__385_16.min1.thm12017-02-06 12:45 3.1K 
[ ]bcialg_5__388_15.min1.thm12017-02-06 12:45 395  
[ ]bcialg_5__388_15.min1.thm1.tptp2017-02-06 16:48 309  
[ ]bcialg_5__406_6.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_5__407_19.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_5__412_4.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_5__413_17.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_5__427_39.min1.thm12017-02-06 12:45 4.0K 
[ ]bcialg_5__428_57.min1.thm12017-02-06 12:45 3.4K 
[ ]bcialg_5__430_19.min1.thm12017-02-06 12:45 3.0K 
[ ]bcialg_5__432_17.min1.thm12017-02-06 12:45 2.8K 
[ ]bcialg_5__445_40.min1.thm12017-02-06 12:45 4.0K 
[ ]bcialg_5__446_59.min1.thm12017-02-06 12:45 3.4K 
[ ]bcialg_5__449_19.min1.thm12017-02-06 12:45 3.0K 
[ ]bcialg_5__451_17.min1.thm12017-02-06 12:45 2.8K 
[ ]bcialg_5__461_12.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_5__462_13.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_5__464_61.min1.thm12017-02-06 12:45 3.6K 
[ ]bcialg_5__467_38.min1.thm12017-02-06 12:45 3.1K 
[ ]bcialg_5__468_30.min1.thm12017-02-06 12:45 2.7K 
[ ]bcialg_5__469_32.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_5__471_38.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_5__472_59.min1.thm12017-02-06 12:45 3.9K 
[ ]bcialg_5__473_30.min1.thm12017-02-06 12:45 2.7K 
[ ]bcialg_5__484_12.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_5__485_13.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_5__487_61.min1.thm12017-02-06 12:45 3.6K 
[ ]bcialg_5__490_38.min1.thm12017-02-06 12:45 3.1K 
[ ]bcialg_5__491_30.min1.thm12017-02-06 12:45 2.7K 
[ ]bcialg_5__492_38.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_5__493_59.min1.thm12017-02-06 12:45 3.9K 
[ ]bcialg_5__494_30.min1.thm12017-02-06 12:45 2.7K 
[ ]bcialg_5__505_44.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_5__508_17.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_5__518_44.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_5__521_17.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_5__530_13.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__533_13.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__539_35.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_5__540_33.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_5__547_35.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_5__548_33.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_5__555_19.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__559_33.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_5__560_17.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_5__567_36.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_5__569_34.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_5__585_12.min1.thm12017-02-06 12:45 954  
[ ]bcialg_5__588_27.min1.thm12017-02-06 12:45 3.7K 
[ ]bcialg_5__589_12.min1.thm12017-02-06 12:45 954  
[ ]bcialg_5__590_22.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_5__594_44.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_5__600_45.min1.thm12017-02-06 12:45 848  
[ ]bcialg_5__602_46.min1.thm12017-02-06 12:45 2.6K 
[ ]bcialg_5__603_45.min1.thm12017-02-06 12:45 848  
[ ]bcialg_5__604_51.min1.thm12017-02-06 12:45 2.6K 
[ ]bcialg_5__607_17.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_5__622_40.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_5__626_13.min1.thm12017-02-06 12:45 954  
[ ]bcialg_5__628_17.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_5__629_40.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_5__634_16.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_5__635_58.min1.thm12017-02-06 12:45 2.6K 
[ ]bcialg_5__642_44.min1.thm12017-02-06 12:45 3.5K 
[ ]bcialg_5__660_4.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_5__662_34.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_5__663_21.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_5__664_17.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_5__677_40.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_5__682_16.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_5__696_45.min1.thm12017-02-06 12:45 472  
[ ]bcialg_5__696_45.min1.thm1.tptp2017-02-06 16:48 386  
[ ]bcialg_5__700_44.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_5__714_28.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__716_9.min1.thm12017-02-06 12:45 326  
[ ]bcialg_5__717_28.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__719_10.min1.thm12017-02-06 12:45 326  
[ ]bcialg_5__720_32.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_5__721_37.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_5__722_43.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_5__734_22.min1.thm12017-02-06 12:45 965  
[ ]bcialg_5__735_33.min1.thm12017-02-06 12:45 2.5K 
[ ]bcialg_5__737_10.min1.thm12017-02-06 12:45 326  
[ ]bcialg_5__738_22.min1.thm12017-02-06 12:45 965  
[ ]bcialg_5__739_33.min1.thm12017-02-06 12:45 2.5K 
[ ]bcialg_5__741_9.min1.thm12017-02-06 12:45 326  
[ ]bcialg_5__742_32.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_5__743_37.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_5__744_43.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_5__760_17.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_5__771_45.min1.thm12017-02-06 12:45 848  
[ ]bcialg_5__773_46.min1.thm12017-02-06 12:45 2.6K 
[ ]bcialg_5__774_45.min1.thm12017-02-06 12:45 848  
[ ]bcialg_5__775_51.min1.thm12017-02-06 12:45 2.6K 
[ ]bcialg_5__778_17.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_5__791_40.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_5__796_16.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_5__800_71.min1.thm12017-02-06 12:45 3.3K 
[ ]bcialg_5__817_39.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_5__818_59.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_5__819_59.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_5__820_59.min1.thm12017-02-06 12:45 2.7K 
[ ]bcialg_5__822_10.min1.thm12017-02-06 12:45 2.6K 
[ ]bcialg_5__823_61.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_5__824_61.min1.thm12017-02-06 12:45 2.8K 
[ ]bcialg_5__825_72.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_5__828_8.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_5__831_52.min1.thm12017-02-06 12:45 2.5K 
[ ]bcialg_5__834_41.min1.thm12017-02-06 12:45 3.1K 
[ ]bcialg_5__837_36.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_5__840_33.min1.thm12017-02-06 12:45 3.2K 
[ ]bcialg_5__842_25.min1.thm12017-02-06 12:45 2.7K 
[ ]bcialg_5__844_6.min1.thm12017-02-06 12:45 2.5K 
[ ]bcialg_5__845_57.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_5__846_57.min1.thm12017-02-06 12:45 2.8K 
[ ]bcialg_5__849_32.min1.thm12017-02-06 12:45 5.1K 
[ ]bcialg_5__853_59.min1.thm12017-02-06 12:45 2.9K 
[ ]bcialg_5__855_31.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_5__857_72.min1.thm12017-02-06 12:45 2.6K 
[ ]bcialg_5__861_19.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_5__863_44.min1.thm12017-02-06 12:45 808  
[ ]bcialg_5__864_17.min1.thm12017-02-06 12:45 883  
[ ]bcialg_5__876_40.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_5__877_39.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__879_6.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_5__880_19.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_5__882_13.min1.thm12017-02-06 12:45 303  
[ ]bcialg_5__895_26.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_5__896_71.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_5__898_21.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_5__899_34.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_5__900_53.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_5__903_19.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_5__910_44.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_5__911_37.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_5__913_32.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_5__914_19.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_5__915_16.min1.thm12017-02-06 12:45 608  
[ ]bcialg_5__917_17.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__941_13.min1.thm12017-02-06 12:45 814  
[ ]bcialg_5__942_13.min1.thm12017-02-06 12:45 721  
[ ]bcialg_5__944_49.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_5__945_35.min1.thm12017-02-06 12:45 926  
[ ]bcialg_5__946_16.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_5__947_55.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_5__948_17.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_5__949_19.min1.thm12017-02-06 12:45 443  
[ ]bcialg_5__951_53.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__952_23.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_5__953_57.min1.thm12017-02-06 12:45 514  
[ ]bcialg_5__953_57.min1.thm1.tptp2017-02-06 16:48 454  
[ ]bcialg_5__954_17.min1.thm12017-02-06 12:45 535  
[ ]bcialg_5__954_17.min1.thm1.tptp2017-02-06 16:48 471  
[ ]bcialg_5__974_57.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_5__975_37.min1.thm12017-02-06 12:45 934  
[ ]bcialg_5__976_16.min1.thm12017-02-06 12:45 751  
[ ]bcialg_5__976_26.min1.thm12017-02-06 12:45 733  
[ ]bcialg_5__977_19.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_5__978_21.min1.thm12017-02-06 12:45 457  
[ ]bcialg_5__980_15.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_5__981_54.min1.thm12017-02-06 12:45 402  
[ ]bcialg_5__981_54.min1.thm1.tptp2017-02-06 16:48 342  
[ ]bcialg_5__982_19.min1.thm12017-02-06 12:45 423  
[ ]bcialg_5__982_19.min1.thm1.tptp2017-02-06 16:48 359  
[ ]bcialg_5__989_15.min1.thm12017-02-06 12:45 363  
[ ]bcialg_5__989_15.min1.thm1.tptp2017-02-06 16:48 298  
[ ]bcialg_5__990_22.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_5__991_19.min1.thm12017-02-06 12:45 550  
[ ]bcialg_5__993_44.min1.thm12017-02-06 12:45 808  
[ ]bcialg_5__994_17.min1.thm12017-02-06 12:45 883  
[ ]bcialg_5__1014_51.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_5__1015_37.min1.thm12017-02-06 12:45 934  
[ ]bcialg_5__1016_16.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_5__1017_22.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__1018_19.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_5__1019_21.min1.thm12017-02-06 12:45 457  
[ ]bcialg_5__1024_40.min1.thm12017-02-06 12:45 798  
[ ]bcialg_5__1025_12.min1.thm12017-02-06 12:45 443  
[ ]bcialg_5__1026_18.min1.thm12017-02-06 12:45 948  
[ ]bcialg_5__1027_20.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_5__1028_19.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_5__1038_15.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__1040_34.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_5__1042_28.min1.thm12017-02-06 12:45 760  
[ ]bcialg_5__1043_40.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__1044_15.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_5__1045_19.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_5__1047_17.min1.thm12017-02-06 12:45 964  
[ ]bcialg_5__1059_6.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__1060_32.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_5__1061_51.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_5__1064_17.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_5__1085_36.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_5__1088_30.min1.thm12017-02-06 12:45 853  
[ ]bcialg_5__1089_34.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_5__1090_13.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_5__1092_8.min1.thm12017-02-06 12:45 413  
[ ]bcialg_5__1094_16.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_5__1109_21.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_5__1110_38.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_5__1113_31.min1.thm12017-02-06 12:45 917  
[ ]bcialg_5__1114_50.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_5__1115_27.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_5__1116_19.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_5__1117_13.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_5__1119_9.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_5__1121_16.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_5__1140_31.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_5__1141_30.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_5__1142_33.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_5__1144_9.min1.thm12017-02-06 12:45 707  
[ ]bcialg_5__1146_16.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_5__1160_13.min1.thm12017-02-06 12:45 772  
[ ]bcialg_5__1161_16.min1.thm12017-02-06 12:45 319  
[ ]bcialg_5__1164_24.min1.thm12017-02-06 12:45 775  
[ ]bcialg_5__1168_18.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_5__1170_32.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_5__1171_73.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_5__1173_27.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_5__1174_32.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_5__1175_51.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_5__1178_17.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_5__1190_46.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_5__1192_6.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_5__1193_27.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__1194_48.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_5__1195_51.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_5__1198_17.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_5__1209_46.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_5__1211_6.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_5__1212_27.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__1213_48.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_5__1214_51.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_5__1217_17.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_5__1228_30.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_5__1230_6.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__1231_27.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__1232_32.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_5__1233_51.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_5__1236_17.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_5__1247_30.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_5__1249_6.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__1250_27.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__1251_32.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_5__1252_51.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_5__1255_17.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_5__1269_26.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_5__1272_21.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_5__1273_34.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_5__1278_26.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_5__1280_26.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_5__1283_34.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_5__1289_12.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_5__1290_29.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__1291_42.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_5__1292_53.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__1295_19.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_5__1302_52.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_5__1303_24.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_5__1304_14.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_5__1305_15.min1.thm12017-02-06 12:45 822  
[ ]bcialg_5__1307_52.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_5__1309_19.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_5__1310_49.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_5__1311_15.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__1317_19.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_5__1319_17.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_5__1332_34.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_5__1334_8.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_5__1335_29.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_5__1336_34.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_5__1337_53.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_5__1340_19.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_5__1347_44.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_5__1348_45.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_5__1349_55.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_5__1351_19.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_5__1352_16.min1.thm12017-02-06 12:45 796  
[ ]bcialg_5__1354_17.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__1359_14.min1.thm12017-02-06 12:45 906  
[ ]bcialg_5__1361_14.min1.thm12017-02-06 12:45 907  
[ ]bcialg_5__1372_44.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_5__1373_19.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_5__1378_4.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_5__1379_42.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_5__1380_17.min1.thm12017-02-06 12:45 876  
[ ]bcialg_5__1380_17.min1.thm1.tptp2017-02-06 16:48 808  
[ ]bcialg_5__1396_26.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_5__1397_16.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_5__1398_17.min1.thm12017-02-06 12:45 765  
[ ]bcialg_5__1400_54.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_5__1402_21.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_5__1403_50.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_5__1404_17.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_5__1405_54.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_5__1411_21.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_5__1413_16.min1.thm12017-02-06 12:45 580  
[ ]bcialg_5__1416_51.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_5__1417_17.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_5__1435_26.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_5__1436_16.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_5__1437_17.min1.thm12017-02-06 12:45 765  
[ ]bcialg_5__1440_43.min1.thm12017-02-06 12:45 2.6K 
[ ]bcialg_5__1441_34.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_5__1443_35.min1.thm12017-02-06 12:45 2.5K 
[ ]bcialg_5__1445_38.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_5__1446_38.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_5__1447_58.min1.thm12017-02-06 12:45 2.8K 
[ ]bcialg_5__1450_16.min1.thm12017-02-06 12:45 644  
[ ]bcialg_5__1458_24.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_5__1460_24.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__1467_63.min1.thm12017-02-06 12:45 2.9K 
[ ]bcialg_5__1468_24.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_5__1470_24.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__1477_63.min1.thm12017-02-06 12:45 2.9K 
[ ]bcialg_5__1490_19.min1.thm12017-02-06 12:45 4.0K 
[ ]bcialg_5__1503_44.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__1507_71.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_5__1510_47.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_5__1512_35.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_5__1513_31.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_5__1516_62.min1.thm12017-02-06 12:45 646  
[ ]bcialg_5__1517_17.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_5__1534_67.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_5__1536_49.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__1540_38.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__1542_29.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_5__1543_31.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_5__1545_26.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_5__1552_65.min1.thm12017-02-06 12:45 3.0K 
[ ]bcialg_5__1559_30.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__1560_60.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_5__1562_11.min1.thm12017-02-06 12:45 2.8K 
[ ]bcialg_5__1564_16.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_5__1573_44.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_5__1578_8.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_5__1580_6.min1.thm12017-02-06 12:45 3.3K 
[ ]bcialg_5__1581_59.min1.thm12017-02-06 12:45 3.0K 
[ ]bcialg_5__1583_37.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_5__1585_20.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_5__1586_32.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__1587_29.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_5__1588_24.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_5__1589_19.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_5__1591_17.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_5__1605_44.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_5__1606_17.min1.thm12017-02-06 12:45 2.9K 
[ ]bcialg_5__1607_70.min1.thm12017-02-06 12:45 3.9K 
[ ]bcialg_5__1612_48.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_5__1616_44.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_5__1622_45.min1.thm12017-02-06 12:45 808  
[ ]bcialg_5__1624_46.min1.thm12017-02-06 12:45 2.8K 
[ ]bcialg_5__1625_45.min1.thm12017-02-06 12:45 808  
[ ]bcialg_5__1626_51.min1.thm12017-02-06 12:45 2.8K 
[ ]bcialg_5__1629_17.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_5__1637_47.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_5__1644_24.min1.thm12017-02-06 12:45 3.2K 
[ ]bcialg_5__1646_44.min1.thm12017-02-06 12:45 4.2K 
[ ]bcialg_5__1647_16.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_5__1649_51.min1.thm12017-02-06 12:45 5.1K 
[ ]bcialg_5__1654_32.min1.thm12017-02-06 12:45 4.0K 
[ ]bcialg_5__1660_17.min1.thm12017-02-06 12:45 2.5K 
[ ]bcialg_5__1674_44.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_5__1675_17.min1.thm12017-02-06 12:45 2.9K 
[ ]bcialg_5__1676_70.min1.thm12017-02-06 12:45 4.3K 
[ ]bcialg_5__1681_48.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_5__1685_44.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_5__1691_45.min1.thm12017-02-06 12:45 808  
[ ]bcialg_5__1693_46.min1.thm12017-02-06 12:45 2.8K 
[ ]bcialg_5__1694_45.min1.thm12017-02-06 12:45 808  
[ ]bcialg_5__1695_51.min1.thm12017-02-06 12:45 2.8K 
[ ]bcialg_5__1698_17.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_5__1706_47.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_5__1713_24.min1.thm12017-02-06 12:45 3.2K 
[ ]bcialg_5__1715_44.min1.thm12017-02-06 12:45 4.2K 
[ ]bcialg_5__1716_16.min1.thm12017-02-06 12:45 2.6K 
[ ]bcialg_5__1718_51.min1.thm12017-02-06 12:45 5.1K 
[ ]bcialg_5__1723_32.min1.thm12017-02-06 12:45 4.0K 
[ ]bcialg_5__1728_17.min1.thm12017-02-06 12:45 2.5K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80