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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]bcialg_4__48_56.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__49_15.min1.thm12017-02-06 12:45 953  
[ ]bcialg_4__58_11.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__71_11.min1.thm12017-02-06 12:45 843  
[ ]bcialg_4__76_14.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_4__86_18.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__91_18.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__96_18.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__101_18.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__106_18.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__109_16.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__115_14.min1.thm12017-02-06 12:45 473  
[ ]bcialg_4__121_14.min1.thm12017-02-06 12:45 894  
[ ]bcialg_4__147_56.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__148_34.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__150_40.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_4__151_41.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__152_47.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__153_15.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_4__154_20.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_4__155_15.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_4__156_19.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__171_24.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__172_49.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__173_23.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__174_23.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_4__175_18.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__176_14.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__186_30.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__187_13.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__188_22.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__189_53.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_4__191_12.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_4__196_46.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_4__199_13.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__200_21.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__201_15.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__202_19.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_4__204_14.min1.thm12017-02-06 12:45 482  
[ ]bcialg_4__217_24.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__218_15.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__219_19.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_4__221_30.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__222_13.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__223_17.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_4__237_19.min1.thm12017-02-06 12:45 913  
[ ]bcialg_4__239_24.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__241_33.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__242_43.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_4__244_32.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__248_32.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_4__249_40.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__250_37.min1.thm12017-02-06 12:45 2.5K 
[ ]bcialg_4__251_37.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_4__252_19.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_4__260_34.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__272_19.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__273_32.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__275_12.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_4__280_49.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_4__281_56.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__282_21.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_4__284_16.min1.thm12017-02-06 12:45 490  
[ ]bcialg_4__286_14.min1.thm12017-02-06 12:45 684  
[ ]bcialg_4__297_37.min1.thm12017-02-06 12:45 646  
[ ]bcialg_4__303_40.min1.thm12017-02-06 12:45 471  
[ ]bcialg_4__303_40.min1.thm1.tptp2017-02-06 16:48 383  
[ ]bcialg_4__304_46.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__306_17.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__315_74.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__316_18.min1.thm12017-02-06 12:45 762  
[ ]bcialg_4__322_36.min1.thm12017-02-06 12:45 299  
[ ]bcialg_4__323_40.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__324_24.min1.thm12017-02-06 12:45 968  
[ ]bcialg_4__326_23.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__326_33.min1.thm12017-02-06 12:45 944  
[ ]bcialg_4__327_17.min1.thm12017-02-06 12:45 768  
[ ]bcialg_4__328_21.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__335_42.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__337_24.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_4__342_46.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_4__344_34.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_4__345_35.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__346_35.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_4__347_35.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_4__348_31.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_4__353_38.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__355_21.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__356_17.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__360_75.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_4__361_34.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__365_39.min1.thm12017-02-06 12:45 3.3K 
[ ]bcialg_4__367_18.min1.thm12017-02-06 12:45 2.6K 
[ ]bcialg_4__385_50.min1.thm12017-02-06 12:45 600  
[ ]bcialg_4__386_50.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_4__387_38.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__409_33.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__410_23.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__411_17.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__412_23.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__413_21.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__415_16.min1.thm12017-02-06 12:45 522  
[ ]bcialg_4__422_32.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__423_15.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__426_17.min1.thm12017-02-06 12:45 882  
[ ]bcialg_4__441_44.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_4__442_27.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__443_27.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__444_15.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__445_30.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__446_20.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_4__448_18.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_4__453_27.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__454_47.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_4__455_31.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__456_23.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__457_17.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__458_17.min1.thm12017-02-06 12:45 848  
[ ]bcialg_4__459_21.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__461_19.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__462_20.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__463_23.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_4__464_19.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_4__466_14.min1.thm12017-02-06 12:45 628  
[ ]bcialg_4__475_17.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__476_27.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__477_27.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__478_22.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__479_24.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__481_24.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_4__482_17.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__483_27.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__484_27.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__485_22.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__486_24.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__487_27.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_4__488_17.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__500_32.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_4__501_17.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__502_27.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__503_27.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_4__505_19.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_4__506_26.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__507_17.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_4__516_26.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__517_17.min1.thm12017-02-06 12:45 944  
[ ]bcialg_4__518_13.min1.thm12017-02-06 12:45 862  
[ ]bcialg_4__519_20.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_4__520_20.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__522_22.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__523_21.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__524_22.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_4__525_25.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__526_19.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__527_17.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__537_38.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__538_25.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__541_40.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_4__543_38.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__544_25.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__547_40.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_4__548_17.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__549_27.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__550_35.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_4__551_30.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_4__552_28.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_4__553_28.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_4__554_28.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__555_28.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__556_28.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__558_32.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__559_17.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__560_27.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__561_35.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_4__562_30.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_4__563_28.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_4__564_28.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_4__565_28.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__566_35.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__567_17.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_4__576_22.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__577_17.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__578_17.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__579_17.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__580_17.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__590_31.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__591_41.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_4__592_34.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_4__593_30.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__595_35.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_4__597_32.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_4__598_17.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__601_35.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_4__602_35.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_4__603_17.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_4__612_22.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__613_22.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__614_17.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__623_17.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__628_50.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_4__630_45.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_4__631_37.min1.thm12017-02-06 12:45 2.7K 
[ ]bcialg_4__632_17.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_4__644_25.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_4__645_25.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__646_19.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__652_25.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__653_25.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__654_19.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_4__656_17.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__656_17.min1.thm1.tptp2017-02-06 16:48 1.0K 
[ ]bcialg_4__665_30.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__666_35.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_4__667_17.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_4__676_42.min1.thm12017-02-06 12:45 956  
[ ]bcialg_4__676_52.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__677_37.min1.thm12017-02-06 12:45 956  
[ ]bcialg_4__679_17.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_4__688_74.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__689_18.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__690_65.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__698_14.min1.thm12017-02-06 12:45 941  
[ ]bcialg_4__708_50.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__708_58.min1.thm12017-02-06 12:45 857  
[ ]bcialg_4__709_50.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__709_58.min1.thm12017-02-06 12:45 857  
[ ]bcialg_4__719_34.min1.thm12017-02-06 12:45 641  
[ ]bcialg_4__720_43.min1.thm12017-02-06 12:45 770  
[ ]bcialg_4__721_17.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__729_34.min1.thm12017-02-06 12:45 641  
[ ]bcialg_4__730_43.min1.thm12017-02-06 12:45 770  
[ ]bcialg_4__731_17.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_4__749_43.min1.thm12017-02-06 12:45 372  
[ ]bcialg_4__749_43.min1.thm1.tptp2017-02-06 16:48 294  
[ ]bcialg_4__754_30.min1.thm12017-02-06 12:45 135  
[ ]bcialg_4__758_41.min1.thm12017-02-06 12:45 634  
[ ]bcialg_4__760_20.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__777_44.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_4__779_20.min1.thm12017-02-06 12:45 488  
[ ]bcialg_4__788_73.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_4__790_11.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__791_26.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__791_26.min1.thm1.tptp2017-02-06 16:48 1.3K 
[ ]bcialg_4__794_75.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_4__798_19.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_4__815_25.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_4__816_33.min1.thm12017-02-06 12:45 3.2K 
[ ]bcialg_4__816_53.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__817_27.min1.thm12017-02-06 12:45 3.3K 
[ ]bcialg_4__818_24.min1.thm12017-02-06 12:45 3.2K 
[ ]bcialg_4__819_20.min1.thm12017-02-06 12:45 592  
[ ]bcialg_4__821_23.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_4__821_33.min1.thm12017-02-06 12:45 935  
[ ]bcialg_4__821_33.min1.thm1.tptp2017-02-06 16:48 871  
[ ]bcialg_4__822_21.min1.thm12017-02-06 12:45 935  
[ ]bcialg_4__822_21.min1.thm1.tptp2017-02-06 16:48 871  
[ ]bcialg_4__823_18.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_4__825_10.min1.thm12017-02-06 12:45 472  
[ ]bcialg_4__827_29.min1.thm12017-02-06 12:45 2.7K 
[ ]bcialg_4__839_13.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_4__844_25.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_4__856_24.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__857_16.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_4__858_11.min1.thm12017-02-06 12:45 847  
[ ]bcialg_4__867_28.min1.thm12017-02-06 12:45 732  
[ ]bcialg_4__868_13.min1.thm12017-02-06 12:45 865  
[ ]bcialg_4__877_24.min1.thm12017-02-06 12:45 889  
[ ]bcialg_4__878_19.min1.thm12017-02-06 12:45 929  
[ ]bcialg_4__885_30.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__886_24.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_4__888_28.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__889_25.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__890_24.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__891_31.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__892_23.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__893_17.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__908_11.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_4__910_27.min1.thm12017-02-06 12:45 643  
[ ]bcialg_4__911_21.min1.thm12017-02-06 12:45 692  
[ ]bcialg_4__911_21.min1.thm1.tptp2017-02-06 16:48 617  
[ ]bcialg_4__912_46.min1.thm12017-02-06 12:45 3.4K 
[ ]bcialg_4__913_33.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__916_30.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__917_11.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_4__919_14.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__927_33.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__927_33.min1.thm1.tptp2017-02-06 16:48 1.0K 
[ ]bcialg_4__928_11.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_4__930_14.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__939_22.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__940_35.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__941_22.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__943_14.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__951_21.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_4__952_11.min1.thm12017-02-06 12:45 880  
[ ]bcialg_4__953_17.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__972_53.min1.thm12017-02-06 12:45 2.7K 
[ ]bcialg_4__975_24.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__976_40.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__979_30.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__980_11.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__982_14.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__990_13.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__996_21.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__1001_17.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_4__1045_28.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__1046_17.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_4__1055_38.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__1056_26.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__1057_17.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__1076_18.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_4__1077_20.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_4__1078_56.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_4__1080_32.min1.thm12017-02-06 12:45 2.7K 
[ ]bcialg_4__1082_23.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__1084_14.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__1085_46.min1.thm12017-02-06 12:45 2.9K 
[ ]bcialg_4__1086_52.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__1087_24.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_4__1088_60.min1.thm12017-02-06 12:45 2.7K 
[ ]bcialg_4__1091_33.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_4__1093_20.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_4__1094_22.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_4__1095_58.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_4__1096_39.min1.thm12017-02-06 12:45 2.8K 
[ ]bcialg_4__1100_27.min1.thm12017-02-06 12:45 796  
[ ]bcialg_4__1100_27.min1.thm1.tptp2017-02-06 16:48 715  
[ ]bcialg_4__1101_38.min1.thm12017-02-06 12:45 3.3K 
[ ]bcialg_4__1102_31.min1.thm12017-02-06 12:45 3.5K 
[ ]bcialg_4__1103_17.min1.thm12017-02-06 12:45 3.3K 
[ ]bcialg_4__1104_21.min1.thm12017-02-06 12:45 3.2K 
[ ]bcialg_4__1106_16.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_4__1108_14.min1.thm12017-02-06 12:45 530  
[ ]bcialg_4__1115_14.min1.thm12017-02-06 12:45 913  
[ ]bcialg_4__1131_19.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__1132_15.min1.thm12017-02-06 12:45 848  
[ ]bcialg_4__1133_19.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__1134_15.min1.thm12017-02-06 12:45 848  
[ ]bcialg_4__1135_24.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__1136_24.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__1137_19.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__1138_19.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_4__1140_14.min1.thm12017-02-06 12:45 644  
[ ]bcialg_4__1151_21.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__1153_29.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_4__1154_18.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__1155_30.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_4__1157_41.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_4__1158_32.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__1159_23.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__1160_23.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__1161_16.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__1162_14.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__1163_15.min1.thm12017-02-06 12:45 848  
[ ]bcialg_4__1164_45.min1.thm12017-02-06 12:45 2.6K 
[ ]bcialg_4__1165_19.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_4__1167_14.min1.thm12017-02-06 12:45 864  
[ ]bcialg_4__1178_35.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__1180_41.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_4__1181_24.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__1182_14.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__1183_15.min1.thm12017-02-06 12:45 848  
[ ]bcialg_4__1184_42.min1.thm12017-02-06 12:45 2.5K 
[ ]bcialg_4__1185_47.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_4__1187_36.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_4__1188_25.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__1190_33.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_4__1191_24.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__1192_14.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__1193_15.min1.thm12017-02-06 12:45 848  
[ ]bcialg_4__1194_34.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_4__1195_41.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_4__1197_28.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_4__1198_24.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__1199_37.min1.thm12017-02-06 12:45 2.7K 
[ ]bcialg_4__1200_32.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_4__1201_19.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_4__1203_14.min1.thm12017-02-06 12:45 698  
[ ]bcialg_4__1214_16.min1.thm12017-02-06 12:45 894  
[ ]bcialg_4__1214_26.min1.thm12017-02-06 12:45 848  
[ ]bcialg_4__1215_18.min1.thm12017-02-06 12:45 919  
[ ]bcialg_4__1216_19.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__1218_14.min1.thm12017-02-06 12:45 572  
[ ]bcialg_4__1232_66.min1.thm12017-02-06 12:45 963  
[ ]bcialg_4__1236_20.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__1238_16.min1.thm12017-02-06 12:45 687  
[ ]bcialg_4__1238_16.min1.thm1.tptp2017-02-06 16:48 604  
[ ]bcialg_4__1255_32.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__1259_14.min1.thm12017-02-06 12:45 708  
[ ]bcialg_4__1259_24.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__1260_19.min1.thm12017-02-06 12:45 2.5K 
[ ]bcialg_4__1272_28.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__1273_21.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_4__1280_35.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__1281_21.min1.thm12017-02-06 12:45 722  
[ ]bcialg_4__1282_26.min1.thm12017-02-06 12:45 799  
[ ]bcialg_4__1283_15.min1.thm12017-02-06 12:45 606  
[ ]bcialg_4__1288_20.min1.thm12017-02-06 12:45 604  
[ ]bcialg_4__1290_25.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__1291_17.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_4__1292_18.min1.thm12017-02-06 12:45 360  
[ ]bcialg_4__1297_30.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__1298_19.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__1299_18.min1.thm12017-02-06 12:45 378  
[ ]bcialg_4__1305_39.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__1307_29.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_4__1308_17.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__1309_18.min1.thm12017-02-06 12:45 752  
[ ]bcialg_4__1319_21.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__1325_67.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__1327_68.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_4__1337_36.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__1339_21.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__1340_18.min1.thm12017-02-06 12:45 636  
[ ]bcialg_4__1357_77.min1.thm12017-02-06 12:45 2.5K 
[ ]bcialg_4__1360_12.min1.thm12017-02-06 12:45 2.6K 
[ ]bcialg_4__1364_44.min1.thm12017-02-06 12:45 780  
[ ]bcialg_4__1365_19.min1.thm12017-02-06 12:45 4.7K 
[ ]bcialg_4__1381_15.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_4__1382_32.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_4__1383_27.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__1384_21.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__1385_19.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__1387_14.min1.thm12017-02-06 12:45 692  
[ ]bcialg_4__1402_54.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__1403_34.min1.thm12017-02-06 12:45 949  
[ ]bcialg_4__1405_16.min1.thm12017-02-06 12:45 708  
[ ]bcialg_4__1406_18.min1.thm12017-02-06 12:45 854  
[ ]bcialg_4__1407_15.min1.thm12017-02-06 12:45 932  
[ ]bcialg_4__1408_19.min1.thm12017-02-06 12:45 830  
[ ]bcialg_4__1425_34.min1.thm12017-02-06 12:45 2.6K 
[ ]bcialg_4__1426_15.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_4__1430_11.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__1431_34.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_4__1432_16.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__1433_15.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__1439_48.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__1440_42.min1.thm12017-02-06 12:45 2.6K 
[ ]bcialg_4__1441_27.min1.thm12017-02-06 12:45 2.6K 
[ ]bcialg_4__1442_19.min1.thm12017-02-06 12:45 2.9K 
[ ]bcialg_4__1443_15.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__1444_21.min1.thm12017-02-06 12:45 3.7K 
[ ]bcialg_4__1445_19.min1.thm12017-02-06 12:45 2.6K 
[ ]bcialg_4__1447_14.min1.thm12017-02-06 12:45 752  
[ ]bcialg_4__1463_66.min1.thm12017-02-06 12:45 963  
[ ]bcialg_4__1467_20.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__1469_16.min1.thm12017-02-06 12:45 687  
[ ]bcialg_4__1469_16.min1.thm1.tptp2017-02-06 16:48 604  
[ ]bcialg_4__1483_19.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__1484_28.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__1485_26.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_4__1486_47.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_4__1488_20.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_4__1489_24.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__1490_14.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__1491_15.min1.thm12017-02-06 12:45 848  
[ ]bcialg_4__1492_19.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__1501_22.min1.thm12017-02-06 12:45 543  
[ ]bcialg_4__1501_22.min1.thm1.tptp2017-02-06 16:48 466  
[ ]bcialg_4__1502_21.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_4__1504_19.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__1506_17.min1.thm12017-02-06 12:45 562  
[ ]bcialg_4__1506_17.min1.thm1.tptp2017-02-06 16:48 501  
[ ]bcialg_4__1521_19.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__1522_24.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__1523_23.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_4__1524_26.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_4__1526_30.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_4__1527_24.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__1528_19.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__1529_14.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__1530_15.min1.thm12017-02-06 12:45 848  
[ ]bcialg_4__1532_23.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__1533_25.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_4__1534_19.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__1544_18.min1.thm12017-02-06 12:45 877  
[ ]bcialg_4__1545_20.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__1546_21.min1.thm12017-02-06 12:45 643  
[ ]bcialg_4__1548_19.min1.thm12017-02-06 12:45 836  
[ ]bcialg_4__1550_17.min1.thm12017-02-06 12:45 838  
[ ]bcialg_4__1550_17.min1.thm1.tptp2017-02-06 16:48 810  
[ ]bcialg_4__1565_40.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__1566_42.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_4__1567_46.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_4__1569_50.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_4__1570_19.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__1571_30.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_4__1573_32.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_4__1574_28.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__1575_23.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__1576_51.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_4__1577_41.min1.thm12017-02-06 12:45 3.2K 
[ ]bcialg_4__1579_36.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_4__1580_15.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__1581_26.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__1582_50.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_4__1584_54.min1.thm12017-02-06 12:45 2.5K 
[ ]bcialg_4__1585_15.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__1586_26.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__1587_42.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_4__1588_51.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_4__1589_55.min1.thm12017-02-06 12:45 3.1K 
[ ]bcialg_4__1590_41.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_4__1591_19.min1.thm12017-02-06 12:45 2.5K 
[ ]bcialg_4__1601_30.min1.thm12017-02-06 12:45 877  
[ ]bcialg_4__1601_30.min1.thm1.tptp2017-02-06 16:48 814  
[ ]bcialg_4__1602_33.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__1603_31.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__1605_22.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__1606_26.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__1607_16.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__1608_17.min1.thm12017-02-06 12:45 856  
[ ]bcialg_4__1609_21.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__1611_19.min1.thm12017-02-06 12:45 836  
[ ]bcialg_4__1613_17.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__1613_17.min1.thm1.tptp2017-02-06 16:48 1.2K 
[ ]bcialg_4__1627_24.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__1628_14.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__1629_15.min1.thm12017-02-06 12:45 848  
[ ]bcialg_4__1630_20.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__1631_26.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__1633_28.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_4__1634_28.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__1635_21.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__1636_15.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_4__1637_33.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__1638_33.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_4__1639_19.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_4__1649_24.min1.thm12017-02-06 12:45 663  
[ ]bcialg_4__1649_24.min1.thm1.tptp2017-02-06 16:48 593  
[ ]bcialg_4__1650_19.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__1651_15.min1.thm12017-02-06 12:45 898  
[ ]bcialg_4__1652_21.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__1654_19.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__1656_17.min1.thm12017-02-06 12:45 916  
[ ]bcialg_4__1656_17.min1.thm1.tptp2017-02-06 16:48 876  
[ ]bcialg_4__1667_24.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__1668_14.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__1669_15.min1.thm12017-02-06 12:45 879  
[ ]bcialg_4__1670_20.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__1671_23.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__1672_19.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__1674_14.min1.thm12017-02-06 12:45 640  
[ ]bcialg_4__1696_18.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__1701_18.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__1706_18.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__1708_31.min1.thm12017-02-06 12:45 338  
[ ]bcialg_4__1710_16.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__1716_14.min1.thm12017-02-06 12:45 421  
[ ]bcialg_4__1723_14.min1.thm12017-02-06 12:45 868  
[ ]bcialg_4__1747_16.min1.thm12017-02-06 12:45 735  
[ ]bcialg_4__1748_21.min1.thm12017-02-06 12:45 912  
[ ]bcialg_4__1749_21.min1.thm12017-02-06 12:45 945  
[ ]bcialg_4__1750_17.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__1751_16.min1.thm12017-02-06 12:45 735  
[ ]bcialg_4__1752_21.min1.thm12017-02-06 12:45 912  
[ ]bcialg_4__1753_21.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_4__1754_19.min1.thm12017-02-06 12:45 945  
[ ]bcialg_4__1755_21.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__1756_17.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__1757_21.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__1762_26.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__1763_21.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__1764_21.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__1770_21.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_4__1775_26.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__1776_17.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__1777_21.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__1782_26.min1.thm12017-02-06 12:45 945  
[ ]bcialg_4__1783_21.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__1784_17.min1.thm12017-02-06 12:45 833  
[ ]bcialg_4__1785_17.min1.thm12017-02-06 12:45 847  
[ ]bcialg_4__1786_18.min1.thm12017-02-06 12:45 811  
[ ]bcialg_4__1792_33.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_4__1793_29.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__1794_29.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_4__1796_16.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__1797_21.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__1799_19.min1.thm12017-02-06 12:45 3.7K 
[ ]bcialg_4__1809_22.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__1810_27.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__1811_21.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__1814_26.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__1815_19.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_4__1817_17.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__1817_17.min1.thm1.tptp2017-02-06 16:48 1.6K 
[ ]bcialg_4__1833_66.min1.thm12017-02-06 12:45 963  
[ ]bcialg_4__1837_20.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__1839_16.min1.thm12017-02-06 12:45 687  
[ ]bcialg_4__1839_16.min1.thm1.tptp2017-02-06 16:48 604  
[ ]bcialg_4__1856_17.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__1857_28.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__1860_21.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__1865_27.min1.thm12017-02-06 12:45 902  
[ ]bcialg_4__1867_34.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_4__1868_27.min1.thm12017-02-06 12:45 902  
[ ]bcialg_4__1869_39.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_4__1870_21.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_4__1875_30.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__1876_21.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__1878_19.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__1888_36.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_4__1889_36.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_4__1890_15.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__1891_19.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__1893_17.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__1907_32.min1.thm12017-02-06 12:45 741  
[ ]bcialg_4__1909_23.min1.thm12017-02-06 12:45 741  
[ ]bcialg_4__1910_26.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__1912_40.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__1913_24.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__1914_14.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__1915_15.min1.thm12017-02-06 12:45 848  
[ ]bcialg_4__1916_20.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_4__1918_41.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_4__1920_36.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_4__1921_60.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_4__1922_39.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_4__1923_15.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_4__1925_26.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_4__1927_19.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__1928_19.min1.thm12017-02-06 12:45 3.0K 
[ ]bcialg_4__1939_31.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__1940_25.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_4__1941_25.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_4__1942_20.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_4__1943_19.min1.thm12017-02-06 12:45 954  
[ ]bcialg_4__1944_21.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_4__1946_19.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_4__1948_17.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_4__1948_17.min1.thm1.tptp2017-02-06 16:48 1.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80