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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]bcialg_6__50_37.min1.thm12017-02-06 12:45 452  
[ ]bcialg_6__51_23.min1.thm12017-02-06 12:45 884  
[ ]bcialg_6__52_16.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__72_43.min1.thm12017-02-06 12:45 366  
[ ]bcialg_6__72_43.min1.thm1.tptp2017-02-06 16:48 288  
[ ]bcialg_6__77_30.min1.thm12017-02-06 12:45 134  
[ ]bcialg_6__81_41.min1.thm12017-02-06 12:45 875  
[ ]bcialg_6__83_20.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__101_20.min1.thm12017-02-06 12:45 480  
[ ]bcialg_6__112_11.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__113_26.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__113_26.min1.thm1.tptp2017-02-06 16:48 1.3K 
[ ]bcialg_6__120_19.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_6__137_25.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_6__138_33.min1.thm12017-02-06 12:45 2.9K 
[ ]bcialg_6__140_24.min1.thm12017-02-06 12:45 2.9K 
[ ]bcialg_6__141_20.min1.thm12017-02-06 12:45 688  
[ ]bcialg_6__141_20.min1.thm1.tptp2017-02-06 16:48 612  
[ ]bcialg_6__143_23.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_6__143_33.min1.thm12017-02-06 12:45 944  
[ ]bcialg_6__143_33.min1.thm1.tptp2017-02-06 16:48 880  
[ ]bcialg_6__144_21.min1.thm12017-02-06 12:45 944  
[ ]bcialg_6__144_21.min1.thm1.tptp2017-02-06 16:48 880  
[ ]bcialg_6__145_18.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_6__147_10.min1.thm12017-02-06 12:45 560  
[ ]bcialg_6__147_10.min1.thm1.tptp2017-02-06 16:48 484  
[ ]bcialg_6__149_29.min1.thm12017-02-06 12:45 2.6K 
[ ]bcialg_6__176_16.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_6__177_19.min1.thm12017-02-06 12:45 935  
[ ]bcialg_6__184_17.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__186_49.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__195_23.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_6__203_35.min1.thm12017-02-06 12:45 448  
[ ]bcialg_6__205_14.min1.thm12017-02-06 12:45 631  
[ ]bcialg_6__205_14.min1.thm1.tptp2017-02-06 16:48 549  
[ ]bcialg_6__214_19.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__216_14.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__217_17.min1.thm12017-02-06 12:45 871  
[ ]bcialg_6__225_24.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_6__226_17.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__232_19.min1.thm12017-02-06 12:45 725  
[ ]bcialg_6__233_17.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__244_17.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__245_15.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__246_16.min1.thm12017-02-06 12:45 408  
[ ]bcialg_6__250_14.min1.thm12017-02-06 12:45 439  
[ ]bcialg_6__250_14.min1.thm1.tptp2017-02-06 16:48 362  
[ ]bcialg_6__258_31.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_6__259_13.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__260_17.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_6__271_15.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_6__273_7.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_6__277_16.min1.thm12017-02-06 12:45 656  
[ ]bcialg_6__282_8.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__284_14.min1.thm12017-02-06 12:45 632  
[ ]bcialg_6__284_14.min1.thm1.tptp2017-02-06 16:48 555  
[ ]bcialg_6__290_11.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__294_18.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_6__299_14.min1.thm12017-02-06 12:45 504  
[ ]bcialg_6__301_7.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_6__315_46.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__320_28.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__321_16.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__322_13.min1.thm12017-02-06 12:45 760  
[ ]bcialg_6__323_16.min1.thm12017-02-06 12:45 356  
[ ]bcialg_6__325_11.min1.thm12017-02-06 12:45 723  
[ ]bcialg_6__327_17.min1.thm12017-02-06 12:45 480  
[ ]bcialg_6__336_43.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__341_15.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_6__343_12.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_6__344_13.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_6__347_30.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_6__348_16.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__349_18.min1.thm12017-02-06 12:45 416  
[ ]bcialg_6__355_38.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_6__356_15.min1.thm12017-02-06 12:45 822  
[ ]bcialg_6__357_33.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__358_30.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__359_37.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_6__362_18.min1.thm12017-02-06 12:45 416  
[ ]bcialg_6__367_14.min1.thm12017-02-06 12:45 439  
[ ]bcialg_6__367_14.min1.thm1.tptp2017-02-06 16:48 362  
[ ]bcialg_6__376_19.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__379_11.min1.thm12017-02-06 12:45 734  
[ ]bcialg_6__386_47.min1.thm12017-02-06 12:45 515  
[ ]bcialg_6__393_38.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_6__395_21.min1.thm12017-02-06 12:45 3.1K 
[ ]bcialg_6__398_19.min1.thm12017-02-06 12:45 544  
[ ]bcialg_6__409_18.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_6__413_32.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_6__414_23.min1.thm12017-02-06 12:45 2.7K 
[ ]bcialg_6__419_44.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_6__424_40.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__427_43.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_6__429_43.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__434_23.min1.thm12017-02-06 12:45 2.7K 
[ ]bcialg_6__438_19.min1.thm12017-02-06 12:45 544  
[ ]bcialg_6__445_25.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__448_21.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__456_49.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__460_55.min1.thm12017-02-06 12:45 2.6K 
[ ]bcialg_6__467_27.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__469_25.min1.thm12017-02-06 12:45 671  
[ ]bcialg_6__469_25.min1.thm1.tptp2017-02-06 16:48 589  
[ ]bcialg_6__470_16.min1.thm12017-02-06 12:45 784  
[ ]bcialg_6__473_10.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_6__475_8.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__477_14.min1.thm12017-02-06 12:45 760  
[ ]bcialg_6__477_14.min1.thm1.tptp2017-02-06 16:48 683  
[ ]bcialg_6__489_16.min1.thm12017-02-06 12:45 636  
[ ]bcialg_6__495_14.min1.thm12017-02-06 12:45 612  
[ ]bcialg_6__495_14.min1.thm1.tptp2017-02-06 16:48 535  
[ ]bcialg_6__504_28.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_6__505_29.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_6__512_35.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__513_35.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__516_16.min1.thm12017-02-06 12:45 800  
[ ]bcialg_6__519_15.min1.thm12017-02-06 12:45 972  
[ ]bcialg_6__524_14.min1.thm12017-02-06 12:45 721  
[ ]bcialg_6__524_14.min1.thm1.tptp2017-02-06 16:48 644  
[ ]bcialg_6__532_40.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__545_21.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__548_16.min1.thm12017-02-06 12:45 604  
[ ]bcialg_6__551_15.min1.thm12017-02-06 12:45 972  
[ ]bcialg_6__555_14.min1.thm12017-02-06 12:45 580  
[ ]bcialg_6__555_14.min1.thm1.tptp2017-02-06 16:48 503  
[ ]bcialg_6__565_37.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_6__566_25.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_6__567_23.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__568_16.min1.thm12017-02-06 12:45 604  
[ ]bcialg_6__571_15.min1.thm12017-02-06 12:45 972  
[ ]bcialg_6__575_14.min1.thm12017-02-06 12:45 580  
[ ]bcialg_6__575_14.min1.thm1.tptp2017-02-06 16:48 503  
[ ]bcialg_6__581_46.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__582_20.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__583_17.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__584_20.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__585_14.min1.thm12017-02-06 12:45 636  
[ ]bcialg_6__585_14.min1.thm1.tptp2017-02-06 16:48 554  
[ ]bcialg_6__600_26.min1.thm12017-02-06 12:45 959  
[ ]bcialg_6__605_32.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__606_63.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_6__607_47.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_6__610_36.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_6__611_57.min1.thm12017-02-06 12:45 2.6K 
[ ]bcialg_6__613_16.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__616_26.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__617_21.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_6__620_8.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_6__622_14.min1.thm12017-02-06 12:45 910  
[ ]bcialg_6__629_22.min1.thm12017-02-06 12:45 955  
[ ]bcialg_6__640_14.min1.thm12017-02-06 12:45 642  
[ ]bcialg_6__643_29.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_6__650_10.min1.thm12017-02-06 12:45 742  
[ ]bcialg_6__651_44.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_6__655_25.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__656_25.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__662_10.min1.thm12017-02-06 12:45 742  
[ ]bcialg_6__663_44.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_6__664_21.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__667_29.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_6__668_31.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_6__676_11.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_6__679_13.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_6__688_21.min1.thm12017-02-06 12:45 712  
[ ]bcialg_6__688_21.min1.thm1.tptp2017-02-06 16:48 630  
[ ]bcialg_6__693_41.min1.thm12017-02-06 12:45 2.7K 
[ ]bcialg_6__696_21.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__698_18.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_6__703_13.min1.thm12017-02-06 12:45 217  
[ ]bcialg_6__706_44.min1.thm12017-02-06 12:45 495  
[ ]bcialg_6__708_19.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__709_19.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__715_39.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__718_21.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__720_21.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_6__725_45.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__726_11.min1.thm12017-02-06 12:45 690  
[ ]bcialg_6__727_13.min1.thm12017-02-06 12:45 217  
[ ]bcialg_6__731_41.min1.thm12017-02-06 12:45 2.5K 
[ ]bcialg_6__732_49.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__733_25.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__734_17.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_6__741_21.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__745_49.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__746_13.min1.thm12017-02-06 12:45 698  
[ ]bcialg_6__747_42.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__754_15.min1.thm12017-02-06 12:45 255  
[ ]bcialg_6__757_50.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__758_30.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_6__763_21.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__764_50.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_6__765_16.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__769_20.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_6__780_11.min1.thm12017-02-06 12:45 213  
[ ]bcialg_6__783_13.min1.thm12017-02-06 12:45 217  
[ ]bcialg_6__786_46.min1.thm12017-02-06 12:45 676  
[ ]bcialg_6__787_29.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__788_18.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__792_47.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__793_39.min1.thm12017-02-06 12:45 491  
[ ]bcialg_6__794_18.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_6__797_51.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_6__798_51.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__799_55.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_6__804_25.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__805_22.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__806_26.min1.thm12017-02-06 12:45 613  
[ ]bcialg_6__806_26.min1.thm1.tptp2017-02-06 16:48 531  
[ ]bcialg_6__807_20.min1.thm12017-02-06 12:45 858  
[ ]bcialg_6__815_22.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__816_21.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__817_18.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__818_23.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_6__819_23.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_6__825_45.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__826_13.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_6__829_44.min1.thm12017-02-06 12:45 963  
[ ]bcialg_6__830_51.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__831_44.min1.thm12017-02-06 12:45 3.3K 
[ ]bcialg_6__832_16.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_6__837_25.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__838_18.min1.thm12017-02-06 12:45 930  
[ ]bcialg_6__842_53.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__843_25.min1.thm12017-02-06 12:45 500  
[ ]bcialg_6__843_25.min1.thm1.tptp2017-02-06 16:48 418  
[ ]bcialg_6__846_21.min1.thm12017-02-06 12:45 627  
[ ]bcialg_6__846_21.min1.thm1.tptp2017-02-06 16:48 545  
[ ]bcialg_6__849_47.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__855_18.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_6__866_11.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_6__869_42.min1.thm12017-02-06 12:45 955  
[ ]bcialg_6__870_32.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__871_25.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__879_23.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_6__880_16.min1.thm12017-02-06 12:45 704  
[ ]bcialg_6__884_45.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__885_47.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__886_33.min1.thm12017-02-06 12:45 675  
[ ]bcialg_6__886_33.min1.thm1.tptp2017-02-06 16:48 598  
[ ]bcialg_6__886_52.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_6__887_23.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_6__890_16.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_6__908_26.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__909_51.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__910_23.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__911_23.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__913_26.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_6__914_17.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__927_62.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__929_26.min1.thm12017-02-06 12:45 584  
[ ]bcialg_6__933_37.min1.thm12017-02-06 12:45 468  
[ ]bcialg_6__935_38.min1.thm12017-02-06 12:45 526  
[ ]bcialg_6__935_38.min1.thm1.tptp2017-02-06 16:48 440  
[ ]bcialg_6__938_19.min1.thm12017-02-06 12:45 877  
[ ]bcialg_6__946_28.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__947_19.min1.thm12017-02-06 12:45 893  
[ ]bcialg_6__955_29.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_6__956_51.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__958_21.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__959_23.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__960_54.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__961_17.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__978_15.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_6__979_18.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__981_13.min1.thm12017-02-06 12:45 723  
[ ]bcialg_6__982_18.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__983_25.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__985_26.min1.thm12017-02-06 12:45 848  
[ ]bcialg_6__986_30.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__994_37.min1.thm12017-02-06 12:45 484  
[ ]bcialg_6__994_37.min1.thm1.tptp2017-02-06 16:48 411  
[ ]bcialg_6__995_31.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__996_28.min1.thm12017-02-06 12:45 848  
[ ]bcialg_6__998_46.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__999_24.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__1000_24.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1001_19.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_6__1003_22.min1.thm12017-02-06 12:45 846  
[ ]bcialg_6__1004_17.min1.thm12017-02-06 12:45 921  
[ ]bcialg_6__1018_12.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__1019_14.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_6__1024_55.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__1026_15.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__1027_19.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1028_56.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1029_19.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1033_8.min1.thm12017-02-06 12:45 534  
[ ]bcialg_6__1038_21.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1047_58.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__1048_27.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1049_25.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__1050_27.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1052_30.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_6__1056_59.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__1057_26.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1074_25.min1.thm12017-02-06 12:45 951  
[ ]bcialg_6__1085_15.min1.thm12017-02-06 12:45 199  
[ ]bcialg_6__1088_23.min1.thm12017-02-06 12:45 507  
[ ]bcialg_6__1092_44.min1.thm12017-02-06 12:45 472  
[ ]bcialg_6__1093_31.min1.thm12017-02-06 12:45 470  
[ ]bcialg_6__1093_31.min1.thm1.tptp2017-02-06 16:48 384  
[ ]bcialg_6__1096_20.min1.thm12017-02-06 12:45 715  
[ ]bcialg_6__1098_29.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__1100_20.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__1101_28.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1103_35.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__1104_59.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__1106_24.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1107_60.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__1108_29.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1109_32.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__1113_29.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1114_27.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__1116_27.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_6__1117_15.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1118_27.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__1120_20.min1.thm12017-02-06 12:45 845  
[ ]bcialg_6__1121_25.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_6__1122_23.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_6__1126_16.min1.thm12017-02-06 12:45 516  
[ ]bcialg_6__1126_16.min1.thm1.tptp2017-02-06 16:48 439  
[ ]bcialg_6__1130_17.min1.thm12017-02-06 12:45 795  
[ ]bcialg_6__1132_14.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__1133_22.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1135_29.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__1136_53.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__1138_21.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__1140_27.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_6__1141_22.min1.thm12017-02-06 12:45 952  
[ ]bcialg_6__1142_22.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__1143_21.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_6__1144_14.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_6__1157_25.min1.thm12017-02-06 12:45 951  
[ ]bcialg_6__1159_14.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__1160_22.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1163_29.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__1165_50.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__1166_44.min1.thm12017-02-06 12:45 438  
[ ]bcialg_6__1167_24.min1.thm12017-02-06 12:45 728  
[ ]bcialg_6__1169_19.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__1170_36.min1.thm12017-02-06 12:45 453  
[ ]bcialg_6__1171_22.min1.thm12017-02-06 12:45 607  
[ ]bcialg_6__1173_18.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__1174_35.min1.thm12017-02-06 12:45 453  
[ ]bcialg_6__1175_24.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__1178_27.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__1180_25.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__1181_36.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_6__1183_40.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_6__1184_28.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__1186_26.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__1187_36.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_6__1188_44.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_6__1191_42.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_6__1192_19.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__1195_19.min1.thm12017-02-06 12:45 932  
[ ]bcialg_6__1204_59.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__1205_31.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1206_29.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__1207_29.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1211_33.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_6__1215_15.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__1216_30.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_6__1218_27.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__1219_25.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1221_18.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__1222_12.min1.thm12017-02-06 12:45 885  
[ ]bcialg_6__1223_19.min1.thm12017-02-06 12:45 943  
[ ]bcialg_6__1225_34.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_6__1226_21.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__1229_20.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_6__1232_17.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1233_13.min1.thm12017-02-06 12:45 810  
[ ]bcialg_6__1234_28.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_6__1236_31.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__1237_16.min1.thm12017-02-06 12:45 673  
[ ]bcialg_6__1240_12.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_6__1251_27.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_6__1252_59.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1253_26.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__1254_24.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__1255_27.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1256_23.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__1257_21.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_6__1259_23.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_6__1261_9.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_6__1264_24.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1265_56.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__1266_23.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1267_23.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__1268_26.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__1269_24.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_6__1272_9.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__1274_17.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_6__1284_9.min1.thm12017-02-06 12:45 574  
[ ]bcialg_6__1286_33.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__1303_36.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__1305_35.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_6__1306_41.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__1307_52.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__1308_36.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__1310_35.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_6__1315_34.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__1318_22.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1319_15.min1.thm12017-02-06 12:45 797  
[ ]bcialg_6__1320_12.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__1349_55.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_6__1353_14.min1.thm12017-02-06 12:45 400  
[ ]bcialg_6__1369_67.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__1375_21.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__1376_24.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_6__1407_11.min1.thm12017-02-06 12:45 131  
[ ]bcialg_6__1415_17.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_6__1423_21.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_6__1424_21.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_6__1425_16.min1.thm12017-02-06 12:45 418  
[ ]bcialg_6__1425_16.min1.thm1.tptp2017-02-06 16:48 338  
[ ]bcialg_6__1435_16.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__1436_14.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_6__1437_17.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_6__1452_49.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_6__1453_39.min1.thm12017-02-06 12:45 422  
[ ]bcialg_6__1454_22.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_6__1456_21.min1.thm12017-02-06 12:45 457  
[ ]bcialg_6__1461_40.min1.thm12017-02-06 12:45 798  
[ ]bcialg_6__1462_14.min1.thm12017-02-06 12:45 443  
[ ]bcialg_6__1463_22.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_6__1464_16.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_6__1475_21.min1.thm12017-02-06 12:45 2.8K 
[ ]bcialg_6__1477_16.min1.thm12017-02-06 12:45 618  
[ ]bcialg_6__1480_21.min1.thm12017-02-06 12:45 2.8K 
[ ]bcialg_6__1481_20.min1.thm12017-02-06 12:45 619  
[ ]bcialg_6__1484_39.min1.thm12017-02-06 12:45 751  
[ ]bcialg_6__1493_29.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1494_34.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_6__1496_16.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__1497_20.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__1498_17.min1.thm12017-02-06 12:45 881  
[ ]bcialg_6__1507_37.min1.thm12017-02-06 12:45 4.0K 
[ ]bcialg_6__1510_27.min1.thm12017-02-06 12:45 4.0K 
[ ]bcialg_6__1511_21.min1.thm12017-02-06 12:45 3.8K 
[ ]bcialg_6__1513_17.min1.thm12017-02-06 12:45 2.9K 
[ ]bcialg_6__1521_31.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1523_46.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_6__1538_55.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_6__1539_31.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__1542_37.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_6__1550_22.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_6__1551_20.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_6__1553_19.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_6__1554_19.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_6__1559_11.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1561_48.min1.thm12017-02-06 12:45 2.8K 
[ ]bcialg_6__1563_26.min1.thm12017-02-06 12:45 3.2K 
[ ]bcialg_6__1565_16.min1.thm12017-02-06 12:45 3.4K 
[ ]bcialg_6__1567_14.min1.thm12017-02-06 12:45 579  
[ ]bcialg_6__1573_14.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_6__1587_16.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__1588_37.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__1590_20.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_6__1594_31.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1595_19.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_6__1598_35.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__1599_17.min1.thm12017-02-06 12:45 944  
[ ]bcialg_6__1609_20.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__1614_17.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_6__1628_14.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_6__1629_47.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_6__1630_33.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__1633_22.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_6__1653_16.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_6__1655_22.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_6__1657_15.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__1658_21.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_6__1659_21.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_6__1668_42.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_6__1672_16.min1.thm12017-02-06 12:45 2.8K 
[ ]bcialg_6__1673_32.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1674_19.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_6__1675_27.min1.thm12017-02-06 12:45 2.9K 
[ ]bcialg_6__1679_17.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1685_25.min1.thm12017-02-06 12:45 885  
[ ]bcialg_6__1687_19.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_6__1688_28.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_6__1690_25.min1.thm12017-02-06 12:45 885  
[ ]bcialg_6__1692_19.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_6__1704_15.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_6__1706_14.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_6__1711_38.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1714_26.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_6__1715_25.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__1719_25.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__1720_22.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_6__1721_24.min1.thm12017-02-06 12:45 3.0K 
[ ]bcialg_6__1723_38.min1.thm12017-02-06 12:45 2.8K 
[ ]bcialg_6__1724_40.min1.thm12017-02-06 12:45 3.0K 
[ ]bcialg_6__1725_35.min1.thm12017-02-06 12:45 3.7K 
[ ]bcialg_6__1727_19.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1729_28.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_6__1738_46.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_6__1744_15.min1.thm12017-02-06 12:45 2.7K 
[ ]bcialg_6__1745_36.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__1746_26.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_6__1747_23.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_6__1748_39.min1.thm12017-02-06 12:45 3.4K 
[ ]bcialg_6__1753_17.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1767_11.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__1784_17.min1.thm12017-02-06 12:45 431  
[ ]bcialg_6__1790_46.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__1792_30.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_6__1796_18.min1.thm12017-02-06 12:45 774  
[ ]bcialg_6__1796_18.min1.thm1.tptp2017-02-06 16:48 706  
[ ]bcialg_6__1806_26.min1.thm12017-02-06 12:45 786  
[ ]bcialg_6__1806_26.min1.thm1.tptp2017-02-06 16:48 709  
[ ]bcialg_6__1807_24.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__1829_29.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_6__1830_41.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_6__1837_37.min1.thm12017-02-06 12:45 356  
[ ]bcialg_6__1837_37.min1.thm1.tptp2017-02-06 16:48 278  
[ ]bcialg_6__1842_18.min1.thm12017-02-06 12:45 2.5K 
[ ]bcialg_6__1845_17.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1855_42.min1.thm12017-02-06 12:45 2.5K 
[ ]bcialg_6__1864_22.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_6__1865_35.min1.thm12017-02-06 12:45 356  
[ ]bcialg_6__1865_35.min1.thm1.tptp2017-02-06 16:48 278  
[ ]bcialg_6__1866_37.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__1870_28.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_6__1872_18.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_6__1880_19.min1.thm12017-02-06 12:45 2.7K 
[ ]bcialg_6__1889_24.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_6__1893_24.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_6__1894_39.min1.thm12017-02-06 12:45 511  
[ ]bcialg_6__1896_18.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1897_17.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1899_28.min1.thm12017-02-06 12:45 3.4K 
[ ]bcialg_6__1908_43.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__1912_24.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_6__1916_24.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_6__1917_39.min1.thm12017-02-06 12:45 513  
[ ]bcialg_6__1918_18.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1919_18.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1923_19.min1.thm12017-02-06 12:45 2.8K 
[ ]bcialg_6__1926_23.min1.thm12017-02-06 12:45 2.8K 
[ ]bcialg_6__1928_30.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_6__1931_32.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1938_34.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_6__1939_38.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__1940_41.min1.thm12017-02-06 12:45 3.2K 
[ ]bcialg_6__1952_41.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__1953_35.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_6__1976_30.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_6__1977_25.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_6__1979_19.min1.thm12017-02-06 12:45 926  
[ ]bcialg_6__1984_37.min1.thm12017-02-06 12:45 971  
[ ]bcialg_6__1985_25.min1.thm12017-02-06 12:45 2.0K 
[ ]bcialg_6__1987_28.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_6__1988_35.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_6__1995_29.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__1997_44.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_6__2023_22.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_6__2024_35.min1.thm12017-02-06 12:45 356  
[ ]bcialg_6__2024_35.min1.thm1.tptp2017-02-06 16:48 278  
[ ]bcialg_6__2025_31.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__2026_45.min1.thm12017-02-06 12:45 2.5K 
[ ]bcialg_6__2030_28.min1.thm12017-02-06 12:45 2.4K 
[ ]bcialg_6__2032_18.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_6__2040_19.min1.thm12017-02-06 12:45 2.7K 
[ ]bcialg_6__2050_24.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_6__2054_24.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_6__2055_39.min1.thm12017-02-06 12:45 512  
[ ]bcialg_6__2069_39.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__2073_25.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_6__2077_25.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_6__2078_39.min1.thm12017-02-06 12:45 513  
[ ]bcialg_6__2079_19.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__2080_19.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__2084_19.min1.thm12017-02-06 12:45 2.8K 
[ ]bcialg_6__2087_23.min1.thm12017-02-06 12:45 2.8K 
[ ]bcialg_6__2089_30.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_6__2095_32.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_6__2099_13.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_6__2101_16.min1.thm12017-02-06 12:45 2.5K 
[ ]bcialg_6__2104_35.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__2105_19.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__2123_22.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__2126_12.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__2128_42.min1.thm12017-02-06 12:45 2.5K 
[ ]bcialg_6__2129_44.min1.thm12017-02-06 12:45 3.2K 
[ ]bcialg_6__2133_19.min1.thm12017-02-06 12:45 1.1K 
[ ]bcialg_6__2155_16.min1.thm12017-02-06 12:45 559  
[ ]bcialg_6__2155_16.min1.thm1.tptp2017-02-06 16:48 504  
[ ]bcialg_6__2158_36.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_6__2160_16.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__2163_22.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_6__2164_32.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_6__2184_16.min1.thm12017-02-06 12:45 479  
[ ]bcialg_6__2184_16.min1.thm1.tptp2017-02-06 16:48 393  
[ ]bcialg_6__2202_26.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__2203_21.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_6__2205_26.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__2206_45.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__2207_50.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__2213_21.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_6__2220_17.min1.thm12017-02-06 12:45 659  
[ ]bcialg_6__2249_16.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__2281_48.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_6__2289_19.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__2340_43.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__2368_21.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_6__2370_19.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_6__2377_21.min1.thm12017-02-06 12:45 2.5K 
[ ]bcialg_6__2379_25.min1.thm12017-02-06 12:45 2.8K 
[ ]bcialg_6__2397_43.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__2398_48.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__2399_15.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__2401_17.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_6__2402_14.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__2404_19.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_6__2406_16.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__2408_15.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__2410_16.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_6__2411_59.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__2412_37.min1.thm12017-02-06 12:45 2.5K 
[ ]bcialg_6__2417_13.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_6__2418_39.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_6__2419_14.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_6__2421_19.min1.thm12017-02-06 12:45 2.5K 
[ ]bcialg_6__2423_17.min1.thm12017-02-06 12:45 1.6K 
[ ]bcialg_6__2441_40.min1.thm12017-02-06 12:45 356  
[ ]bcialg_6__2441_40.min1.thm1.tptp2017-02-06 16:48 278  
[ ]bcialg_6__2442_43.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__2444_28.min1.thm12017-02-06 12:45 1.5K 
[ ]bcialg_6__2449_18.min1.thm12017-02-06 12:45 2.5K 
[ ]bcialg_6__2450_28.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_6__2457_25.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__2460_15.min1.thm12017-02-06 12:45 655  
[ ]bcialg_6__2466_43.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__2467_48.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__2468_49.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__2471_49.min1.thm12017-02-06 12:45 1.4K 
[ ]bcialg_6__2472_55.min1.thm12017-02-06 12:45 898  
[ ]bcialg_6__2473_22.min1.thm12017-02-06 12:45 1.8K 
[ ]bcialg_6__2476_34.min1.thm12017-02-06 12:45 1.0K 
[ ]bcialg_6__2479_28.min1.thm12017-02-06 12:45 3.2K 
[ ]bcialg_6__2492_69.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__2494_39.min1.thm12017-02-06 12:45 567  
[ ]bcialg_6__2496_32.min1.thm12017-02-06 12:45 2.5K 
[ ]bcialg_6__2497_27.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_6__2501_21.min1.thm12017-02-06 12:45 2.3K 
[ ]bcialg_6__2506_42.min1.thm12017-02-06 12:45 1.2K 
[ ]bcialg_6__2507_13.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__2508_32.min1.thm12017-02-06 12:45 2.1K 
[ ]bcialg_6__2510_30.min1.thm12017-02-06 12:45 1.9K 
[ ]bcialg_6__2525_69.min1.thm12017-02-06 12:45 1.7K 
[ ]bcialg_6__2529_14.min1.thm12017-02-06 12:45 1.3K 
[ ]bcialg_6__2533_59.min1.thm12017-02-06 12:45 2.2K 
[ ]bcialg_6__2536_19.min1.thm12017-02-06 12:45 1.5K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80