Index of /~mptp/7.13.01_4.181.1147/MPTP2/ilp0/bcialg_2

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]bcialg_2__73_42.min1.thm12017-02-06 12:45 267  
[ ]bcialg_2__80_44.min1.thm12017-02-06 12:45 627  
[ ]bcialg_2__82_26.min1.thm12017-02-06 12:45 511  
[ ]bcialg_2__90_40.min1.thm12017-02-06 12:45 498  
[ ]bcialg_2__91_48.min1.thm12017-02-06 12:45 674  
[ ]bcialg_2__93_23.min1.thm12017-02-06 12:45 2.5K 
[ ]bcialg_2__100_24.min1.thm12017-02-06 12:45 513  
[ ]bcialg_2__100_24.min1.thm1.tptp2017-02-06 16:48 431  
[ ]bcialg_2__101_14.min1.thm12017-02-06 12:45 948  
[ ]bcialg_2__102_24.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_2__107_47.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_2__109_31.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_2__111_40.min1.thm12017-02-06 12:45 2.9K 
[ ]bcialg_2__113_15.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__118_40.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_2__121_20.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__122_38.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__130_65.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__133_33.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_2__134_71.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__160_14.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__161_32.min1.thm12017-02-06 12:45 859  
[ ]bcialg_2__166_12.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_2__168_19.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_2__177_14.min1.thm12017-02-06 12:45 860  
[ ]bcialg_2__186_18.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_2__187_17.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__196_10.min1.thm12017-02-06 12:45 703  
[ ]bcialg_2__197_30.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_2__198_17.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_2__204_12.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__222_18.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_2__223_17.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__225_26.min1.thm12017-02-06 12:45 843  
[ ]bcialg_2__226_11.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__227_30.min1.thm12017-02-06 12:45 811  
[ ]bcialg_2__231_31.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__232_12.min1.thm12017-02-06 12:45 595  
[ ]bcialg_2__232_12.min1.thm1.tptp2017-02-06 16:48 530  
[ ]bcialg_2__234_16.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__235_17.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__253_52.min1.thm12017-02-06 12:45 2.6K 
[ ]bcialg_2__254_11.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__255_38.min1.thm12017-02-06 12:45 873  
[ ]bcialg_2__258_30.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_2__259_37.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_2__261_11.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_2__263_14.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_2__272_11.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_2__274_14.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_2__292_48.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_2__293_11.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__294_54.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__295_55.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_2__298_30.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_2__298_30.min1.thm1.tptp2017-02-06 16:48 1.5K 
[ ]bcialg_2__299_29.min1.thm12017-02-06 12:45 955  
[ ]bcialg_2__301_11.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_2__303_14.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__316_67.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__318_16.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__319_67.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_2__320_37.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_2__321_29.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__322_29.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__323_31.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__326_30.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_2__326_30.min1.thm1.tptp2017-02-06 16:48 1.5K 
[ ]bcialg_2__327_31.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__329_11.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__331_14.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__345_56.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__346_35.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__348_16.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__349_65.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__350_34.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_2__353_30.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_2__353_30.min1.thm1.tptp2017-02-06 16:48 1.5K 
[ ]bcialg_2__354_34.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_2__355_36.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__357_11.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_2__359_14.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__376_11.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__377_65.min1.thm12017-02-06 12:45 876  
[ ]bcialg_2__378_70.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_2__379_70.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_2__383_30.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_2__383_30.min1.thm1.tptp2017-02-06 16:48 1.5K 
[ ]bcialg_2__384_11.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_2__386_14.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__401_16.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__404_8.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_2__405_45.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_2__408_6.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_2__411_9.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_2__414_30.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_2__414_30.min1.thm1.tptp2017-02-06 16:48 1.7K 
[ ]bcialg_2__415_52.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_2__417_11.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_2__419_14.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__435_11.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__436_61.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__437_38.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__438_42.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_2__439_36.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__440_33.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_2__442_30.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_2__443_63.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_2__446_30.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_2__446_30.min1.thm1.tptp2017-02-06 16:48 1.5K 
[ ]bcialg_2__447_38.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__448_15.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_2__449_12.min1.thm12017-02-06 12:45 972  
[ ]bcialg_2__451_11.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__453_14.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__469_11.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__470_56.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_2__471_55.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__472_55.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_2__478_30.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_2__478_30.min1.thm1.tptp2017-02-06 16:48 2.0K 
[ ]bcialg_2__479_51.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_2__483_14.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_2__489_74.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__490_55.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_2__491_17.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__507_11.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__509_39.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_2__510_68.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_2__511_54.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__516_30.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_2__516_30.min1.thm1.tptp2017-02-06 16:48 1.8K 
[ ]bcialg_2__517_49.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_2__518_13.min1.thm12017-02-06 12:45 972  
[ ]bcialg_2__520_11.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_2__522_14.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__539_11.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__541_47.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_2__542_29.min1.thm12017-02-06 12:45 819  
[ ]bcialg_2__543_42.min1.thm12017-02-06 12:45 699  
[ ]bcialg_2__543_42.min1.thm1.tptp2017-02-06 16:48 617  
[ ]bcialg_2__546_30.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__546_30.min1.thm1.tptp2017-02-06 16:48 1.2K 
[ ]bcialg_2__547_11.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_2__549_14.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__563_48.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__565_16.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__566_35.min1.thm12017-02-06 12:45 971  
[ ]bcialg_2__569_30.min1.thm12017-02-06 12:45 918  
[ ]bcialg_2__570_11.min1.thm12017-02-06 12:45 966  
[ ]bcialg_2__572_14.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_2__590_11.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__592_70.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_2__595_12.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_2__596_58.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_2__597_55.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_2__598_53.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__599_53.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__600_54.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_2__601_57.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_2__603_12.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_2__605_57.min1.thm12017-02-06 12:45 2.9K 
[ ]bcialg_2__608_54.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_2__609_54.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_2__612_15.min1.thm12017-02-06 12:45 970  
[ ]bcialg_2__613_37.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_2__614_55.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_2__616_11.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_2__618_14.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_2__638_11.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__639_48.min1.thm12017-02-06 12:45 760  
[ ]bcialg_2__640_52.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_2__641_52.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_2__645_31.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_2__647_11.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__649_14.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__664_47.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_2__665_52.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_2__672_11.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__673_48.min1.thm12017-02-06 12:45 760  
[ ]bcialg_2__674_52.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_2__675_53.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_2__680_12.min1.thm12017-02-06 12:45 704  
[ ]bcialg_2__681_14.min1.thm12017-02-06 12:45 846  
[ ]bcialg_2__682_31.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_2__684_11.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__686_14.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__704_11.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__705_56.min1.thm12017-02-06 12:45 940  
[ ]bcialg_2__706_61.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_2__707_61.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_2__708_67.min1.thm12017-02-06 12:45 2.5K 
[ ]bcialg_2__709_67.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_2__710_67.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__711_67.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__715_20.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__716_20.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__717_37.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__719_11.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__721_14.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__739_11.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__740_54.min1.thm12017-02-06 12:45 940  
[ ]bcialg_2__741_57.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_2__742_65.min1.thm12017-02-06 12:45 2.5K 
[ ]bcialg_2__747_65.min1.thm12017-02-06 12:45 2.7K 
[ ]bcialg_2__748_71.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_2__749_77.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_2__755_12.min1.thm12017-02-06 12:45 704  
[ ]bcialg_2__756_14.min1.thm12017-02-06 12:45 846  
[ ]bcialg_2__757_31.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__759_11.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_2__761_14.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__794_19.min1.thm12017-02-06 12:45 952  
[ ]bcialg_2__795_19.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__802_16.min1.thm12017-02-06 12:45 952  
[ ]bcialg_2__803_16.min1.thm12017-02-06 12:45 512  
[ ]bcialg_2__805_17.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_2__810_15.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_2__811_20.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__812_17.min1.thm12017-02-06 12:45 963  
[ ]bcialg_2__821_18.min1.thm12017-02-06 12:45 588  
[ ]bcialg_2__821_18.min1.thm1.tptp2017-02-06 16:48 509  
[ ]bcialg_2__827_35.min1.thm12017-02-06 12:45 751  
[ ]bcialg_2__827_35.min1.thm1.tptp2017-02-06 16:48 696  
[ ]bcialg_2__828_17.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__834_14.min1.thm12017-02-06 12:45 828  
[ ]bcialg_2__846_22.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__848_41.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_2__849_32.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__850_27.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__851_28.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__852_14.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__854_19.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_2__864_16.min1.thm12017-02-06 12:45 964  
[ ]bcialg_2__865_18.min1.thm12017-02-06 12:45 660  
[ ]bcialg_2__865_18.min1.thm1.tptp2017-02-06 16:48 583  
[ ]bcialg_2__866_24.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__867_21.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__868_18.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__870_19.min1.thm12017-02-06 12:45 932  
[ ]bcialg_2__883_19.min1.thm12017-02-06 12:45 952  
[ ]bcialg_2__884_22.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__885_21.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__886_18.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__887_19.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__897_18.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__898_26.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__899_29.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__900_32.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__901_37.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_2__903_26.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__904_26.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_2__905_33.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__906_26.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_2__907_29.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__908_35.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_2__910_23.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_2__911_20.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__912_23.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__914_20.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__916_19.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__928_22.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__930_19.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__931_43.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__932_31.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__933_55.min1.thm12017-02-06 12:45 2.7K 
[ ]bcialg_2__934_35.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_2__935_36.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_2__936_38.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_2__937_21.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_2__938_20.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__939_22.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__940_23.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__942_16.min1.thm12017-02-06 12:45 832  
[ ]bcialg_2__952_18.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__953_35.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_2__954_51.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__956_45.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__957_39.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__958_42.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_2__959_41.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_2__961_37.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_2__963_31.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_2__965_20.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__967_19.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__981_14.min1.thm12017-02-06 12:45 952  
[ ]bcialg_2__982_22.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__983_22.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_2__984_21.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_2__985_16.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__987_17.min1.thm12017-02-06 12:45 928  
[ ]bcialg_2__996_9.min1.thm12017-02-06 12:45 947  
[ ]bcialg_2__997_17.min1.thm12017-02-06 12:45 940  
[ ]bcialg_2__999_17.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__1000_11.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_2__1001_16.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__1002_20.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__1003_16.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_2__1004_16.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__1005_17.min1.thm12017-02-06 12:45 840  
[ ]bcialg_2__1011_33.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__1013_12.min1.thm12017-02-06 12:45 930  
[ ]bcialg_2__1014_24.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_2__1015_17.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_2__1025_17.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__1027_19.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__1035_14.min1.thm12017-02-06 12:45 952  
[ ]bcialg_2__1036_16.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__1037_22.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__1038_19.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__1039_16.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__1041_17.min1.thm12017-02-06 12:45 928  
[ ]bcialg_2__1053_19.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__1054_19.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__1062_14.min1.thm12017-02-06 12:45 952  
[ ]bcialg_2__1063_24.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__1064_24.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_2__1065_23.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_2__1067_16.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__1069_17.min1.thm12017-02-06 12:45 928  
[ ]bcialg_2__1100_70.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_2__1102_26.min1.thm12017-02-06 12:45 848  
[ ]bcialg_2__1106_47.min1.thm12017-02-06 12:45 561  
[ ]bcialg_2__1108_18.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__1116_28.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__1117_19.min1.thm12017-02-06 12:45 969  
[ ]bcialg_2__1119_13.min1.thm12017-02-06 12:45 131  
[ ]bcialg_2__1127_33.min1.thm12017-02-06 12:45 879  
[ ]bcialg_2__1128_19.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__1138_18.min1.thm12017-02-06 12:45 902  
[ ]bcialg_2__1140_13.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__1146_20.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__1151_46.min1.thm12017-02-06 12:45 388  
[ ]bcialg_2__1151_46.min1.thm1.tptp2017-02-06 16:48 298  
[ ]bcialg_2__1153_43.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_2__1154_21.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_2__1158_34.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__1159_16.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__1160_16.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__1161_17.min1.thm12017-02-06 12:45 898  
[ ]bcialg_2__1174_13.min1.thm12017-02-06 12:45 723  
[ ]bcialg_2__1175_33.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__1177_21.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__1178_44.min1.thm12017-02-06 12:45 386  
[ ]bcialg_2__1178_44.min1.thm1.tptp2017-02-06 16:48 296  
[ ]bcialg_2__1180_6.min1.thm12017-02-06 12:45 625  
[ ]bcialg_2__1181_29.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__1182_19.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__1188_32.min1.thm12017-02-06 12:45 484  
[ ]bcialg_2__1188_32.min1.thm1.tptp2017-02-06 16:48 411  
[ ]bcialg_2__1189_36.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__1190_20.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__1192_17.min1.thm12017-02-06 12:45 883  
[ ]bcialg_2__1198_46.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__1199_17.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_2__1208_31.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_2__1212_50.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__1213_14.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__1214_16.min1.thm12017-02-06 12:45 456  
[ ]bcialg_2__1222_31.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__1223_39.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__1224_33.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__1225_17.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_2__1227_48.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__1228_15.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__1229_12.min1.thm12017-02-06 12:45 972  
[ ]bcialg_2__1243_67.min1.thm12017-02-06 12:45 826  
[ ]bcialg_2__1247_21.min1.thm12017-02-06 12:45 908  
[ ]bcialg_2__1248_19.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_2__1263_67.min1.thm12017-02-06 12:45 826  
[ ]bcialg_2__1269_14.min1.thm12017-02-06 12:45 880  
[ ]bcialg_2__1285_67.min1.thm12017-02-06 12:45 826  
[ ]bcialg_2__1291_14.min1.thm12017-02-06 12:45 880  
[ ]bcialg_2__1313_24.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__1314_54.min1.thm12017-02-06 12:45 915  
[ ]bcialg_2__1314_54.min1.thm1.tptp2017-02-06 16:48 863  
[ ]bcialg_2__1315_18.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_2__1327_36.min1.thm12017-02-06 12:45 943  
[ ]bcialg_2__1332_41.min1.thm12017-02-06 12:45 380  
[ ]bcialg_2__1332_41.min1.thm1.tptp2017-02-06 16:48 302  
[ ]bcialg_2__1333_19.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__1334_24.min1.thm12017-02-06 12:45 839  
[ ]bcialg_2__1337_49.min1.thm12017-02-06 12:45 930  
[ ]bcialg_2__1339_36.min1.thm12017-02-06 12:45 611  
[ ]bcialg_2__1346_43.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_2__1347_32.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__1349_33.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__1352_33.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__1355_25.min1.thm12017-02-06 12:45 2.6K 
[ ]bcialg_2__1358_25.min1.thm12017-02-06 12:45 2.6K 
[ ]bcialg_2__1361_19.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_2__1363_24.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_2__1375_41.min1.thm12017-02-06 12:45 514  
[ ]bcialg_2__1375_41.min1.thm1.tptp2017-02-06 16:48 436  
[ ]bcialg_2__1380_29.min1.thm12017-02-06 12:45 744  
[ ]bcialg_2__1381_21.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__1383_16.min1.thm12017-02-06 12:45 538  
[ ]bcialg_2__1401_76.min1.thm12017-02-06 12:45 535  
[ ]bcialg_2__1405_18.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__1415_45.min1.thm12017-02-06 12:45 402  
[ ]bcialg_2__1416_45.min1.thm12017-02-06 12:45 402  
[ ]bcialg_2__1418_16.min1.thm12017-02-06 12:45 244  
[ ]bcialg_2__1426_11.min1.thm12017-02-06 12:45 131  
[ ]bcialg_2__1429_11.min1.thm12017-02-06 12:45 131  
[ ]bcialg_2__1432_11.min1.thm12017-02-06 12:45 131  
[ ]bcialg_2__1453_19.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_2__1455_24.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__1458_21.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__1460_29.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_2__1463_29.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_2__1467_19.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_2__1469_25.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__1470_31.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_2__1472_17.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__1478_33.min1.thm12017-02-06 12:45 716  
[ ]bcialg_2__1478_33.min1.thm1.tptp2017-02-06 16:48 654  
[ ]bcialg_2__1480_41.min1.thm12017-02-06 12:45 874  
[ ]bcialg_2__1492_19.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_2__1499_17.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_2__1504_42.min1.thm12017-02-06 12:45 755  
[ ]bcialg_2__1517_32.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__1519_43.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__1527_29.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__1530_21.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_2__1533_29.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__1535_26.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_2__1538_28.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__1540_29.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__1541_28.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__1543_29.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__1546_22.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_2__1548_26.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_2__1558_14.min1.thm12017-02-06 12:45 744  
[ ]bcialg_2__1569_17.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_2__1570_33.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__1571_33.min1.thm12017-02-06 12:45 790  
[ ]bcialg_2__1572_10.min1.thm12017-02-06 12:45 429  
[ ]bcialg_2__1574_17.min1.thm12017-02-06 12:45 911  
[ ]bcialg_2__1589_39.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__1590_19.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__1591_16.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_2__1593_21.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_2__1595_18.min1.thm12017-02-06 12:45 952  
[ ]bcialg_2__1601_49.min1.thm12017-02-06 12:45 2.5K 
[ ]bcialg_2__1602_25.min1.thm12017-02-06 12:45 644  
[ ]bcialg_2__1605_17.min1.thm12017-02-06 12:45 912  
[ ]bcialg_2__1613_33.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_2__1615_41.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__1617_17.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__1618_39.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__1619_20.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_2__1622_21.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_2__1623_15.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__1625_39.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__1644_37.min1.thm12017-02-06 12:45 478  
[ ]bcialg_2__1644_37.min1.thm1.tptp2017-02-06 16:48 400  
[ ]bcialg_2__1647_27.min1.thm12017-02-06 12:45 738  
[ ]bcialg_2__1650_15.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__1653_27.min1.thm12017-02-06 12:45 740  
[ ]bcialg_2__1655_20.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__1665_37.min1.thm12017-02-06 12:45 478  
[ ]bcialg_2__1665_37.min1.thm1.tptp2017-02-06 16:48 400  
[ ]bcialg_2__1668_27.min1.thm12017-02-06 12:45 738  
[ ]bcialg_2__1671_15.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__1674_27.min1.thm12017-02-06 12:45 740  
[ ]bcialg_2__1676_20.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__1688_46.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__1690_19.min1.thm12017-02-06 12:45 636  
[ ]bcialg_2__1696_38.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__1697_19.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__1699_11.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__1701_14.min1.thm12017-02-06 12:45 702  
[ ]bcialg_2__1722_52.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_2__1724_23.min1.thm12017-02-06 12:45 742  
[ ]bcialg_2__1725_52.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_2__1727_23.min1.thm12017-02-06 12:45 742  
[ ]bcialg_2__1730_19.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_2__1731_35.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_2__1732_34.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__1733_24.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_2__1744_72.min1.thm12017-02-06 12:45 3.5K 
[ ]bcialg_2__1746_68.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__1748_25.min1.thm12017-02-06 12:45 2.6K 
[ ]bcialg_2__1750_15.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_2__1752_20.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_2__1754_19.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_2__1765_72.min1.thm12017-02-06 12:45 3.5K 
[ ]bcialg_2__1767_68.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__1769_25.min1.thm12017-02-06 12:45 2.6K 
[ ]bcialg_2__1771_15.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_2__1773_20.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_2__1775_34.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_2__1781_47.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_2__1791_59.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_2__1792_14.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__1800_40.min1.thm12017-02-06 12:45 912  
[ ]bcialg_2__1801_32.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__1802_14.min1.thm12017-02-06 12:45 898  
[ ]bcialg_2__1810_40.min1.thm12017-02-06 12:45 912  
[ ]bcialg_2__1811_32.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__1812_14.min1.thm12017-02-06 12:45 898  
[ ]bcialg_2__1818_54.min1.thm12017-02-06 12:45 868  
[ ]bcialg_2__1819_46.min1.thm12017-02-06 12:45 527  
[ ]bcialg_2__1819_46.min1.thm1.tptp2017-02-06 16:48 456  
[ ]bcialg_2__1825_27.min1.thm12017-02-06 12:45 454  
[ ]bcialg_2__1825_27.min1.thm1.tptp2017-02-06 16:48 392  
[ ]bcialg_2__1827_39.min1.thm12017-02-06 12:45 920  
[ ]bcialg_2__1828_22.min1.thm12017-02-06 12:45 454  
[ ]bcialg_2__1828_22.min1.thm1.tptp2017-02-06 16:48 392  
[ ]bcialg_2__1829_44.min1.thm12017-02-06 12:45 920  
[ ]bcialg_2__1830_32.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__1831_16.min1.thm12017-02-06 12:45 906  
[ ]bcialg_2__1841_27.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__1843_31.min1.thm12017-02-06 12:45 384  
[ ]bcialg_2__1843_31.min1.thm1.tptp2017-02-06 16:48 303  
[ ]bcialg_2__1851_37.min1.thm12017-02-06 12:45 478  
[ ]bcialg_2__1851_37.min1.thm1.tptp2017-02-06 16:48 400  
[ ]bcialg_2__1852_26.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__1853_55.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_2__1854_26.min1.thm12017-02-06 12:45 738  
[ ]bcialg_2__1857_15.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__1858_26.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__1859_55.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_2__1860_26.min1.thm12017-02-06 12:45 740  
[ ]bcialg_2__1862_20.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__1872_37.min1.thm12017-02-06 12:45 478  
[ ]bcialg_2__1872_37.min1.thm1.tptp2017-02-06 16:48 400  
[ ]bcialg_2__1884_27.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__1886_31.min1.thm12017-02-06 12:45 384  
[ ]bcialg_2__1886_31.min1.thm1.tptp2017-02-06 16:48 303  
[ ]bcialg_2__1894_37.min1.thm12017-02-06 12:45 478  
[ ]bcialg_2__1894_37.min1.thm1.tptp2017-02-06 16:48 400  
[ ]bcialg_2__1895_26.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__1896_55.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_2__1897_26.min1.thm12017-02-06 12:45 738  
[ ]bcialg_2__1900_15.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__1901_26.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__1902_55.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_2__1903_26.min1.thm12017-02-06 12:45 740  
[ ]bcialg_2__1905_20.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__1915_37.min1.thm12017-02-06 12:45 478  
[ ]bcialg_2__1915_37.min1.thm1.tptp2017-02-06 16:48 400  
[ ]bcialg_2__1929_20.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_2__1931_25.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__1934_22.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__1936_30.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_2__1939_30.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_2__1943_20.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_2__1945_26.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_2__1946_32.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_2__1948_17.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_2__1961_30.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_2__1962_16.min1.thm12017-02-06 12:45 496  
[ ]bcialg_2__1962_16.min1.thm1.tptp2017-02-06 16:48 416  
[ ]bcialg_2__1987_41.min1.thm12017-02-06 12:45 539  
[ ]bcialg_2__1995_27.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_2__1997_22.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_2__1998_27.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_2__1999_27.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_2__2001_37.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_2__2002_33.min1.thm12017-02-06 12:45 2.6K 
[ ]bcialg_2__2004_18.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__2026_39.min1.thm12017-02-06 12:45 539  
[ ]bcialg_2__2027_32.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_2__2028_38.min1.thm12017-02-06 12:45 2.5K 
[ ]bcialg_2__2038_14.min1.thm12017-02-06 12:45 2.8K 
[ ]bcialg_2__2047_11.min1.thm12017-02-06 12:45 2.9K 
[ ]bcialg_2__2069_46.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__2072_27.min1.thm12017-02-06 12:45 748  
[ ]bcialg_2__2076_27.min1.thm12017-02-06 12:45 748  
[ ]bcialg_2__2080_27.min1.thm12017-02-06 12:45 748  
[ ]bcialg_2__2084_42.min1.thm12017-02-06 12:45 668  
[ ]bcialg_2__2095_27.min1.thm12017-02-06 12:45 748  
[ ]bcialg_2__2099_27.min1.thm12017-02-06 12:45 748  
[ ]bcialg_2__2103_27.min1.thm12017-02-06 12:45 748  
[ ]bcialg_2__2107_42.min1.thm12017-02-06 12:45 668  
[ ]bcialg_2__2122_27.min1.thm12017-02-06 12:45 748  
[ ]bcialg_2__2126_27.min1.thm12017-02-06 12:45 748  
[ ]bcialg_2__2130_39.min1.thm12017-02-06 12:45 512  
[ ]bcialg_2__2133_29.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_2__2136_18.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__2139_29.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_2__2141_22.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_2__2147_27.min1.thm12017-02-06 12:45 748  
[ ]bcialg_2__2151_36.min1.thm12017-02-06 12:45 356  
[ ]bcialg_2__2151_36.min1.thm1.tptp2017-02-06 16:48 278  
[ ]bcialg_2__2176_27.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_2__2180_36.min1.thm12017-02-06 12:45 356  
[ ]bcialg_2__2180_36.min1.thm1.tptp2017-02-06 16:48 278  
[ ]bcialg_2__2184_43.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__2185_28.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__2187_21.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_2__2188_15.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_2__2193_17.min1.thm12017-02-06 12:45 2.6K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80