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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]bciideal__41_18.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__72_59.min1.thm12017-02-06 12:45 2.5K 
[   ]bciideal__73_55.min1.thm12017-02-06 12:45 2.4K 
[   ]bciideal__79_51.min1.thm12017-02-06 12:45 2.7K 
[   ]bciideal__80_47.min1.thm12017-02-06 12:45 2.2K 
[   ]bciideal__91_30.min1.thm12017-02-06 12:45 1.5K 
[   ]bciideal__92_30.min1.thm12017-02-06 12:45 1.5K 
[   ]bciideal__94_25.min1.thm12017-02-06 12:45 1.5K 
[   ]bciideal__95_14.min1.thm12017-02-06 12:45 1.3K 
[   ]bciideal__96_12.min1.thm12017-02-06 12:45 913  
[   ]bciideal__97_34.min1.thm12017-02-06 12:45 1.3K 
[   ]bciideal__97_53.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__98_29.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__99_17.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__99_17.min1.thm1.tptp2017-02-06 16:48 1.0K 
[   ]bciideal__109_11.min1.thm12017-02-06 12:45 130  
[   ]bciideal__116_19.min1.thm12017-02-06 12:45 1.9K 
[   ]bciideal__117_18.min1.thm12017-02-06 12:45 1.3K 
[   ]bciideal__118_17.min1.thm12017-02-06 12:45 2.1K 
[   ]bciideal__131_13.min1.thm12017-02-06 12:45 1.7K 
[   ]bciideal__132_47.min1.thm12017-02-06 12:45 2.0K 
[   ]bciideal__134_14.min1.thm12017-02-06 12:45 2.1K 
[   ]bciideal__135_50.min1.thm12017-02-06 12:45 2.1K 
[   ]bciideal__136_55.min1.thm12017-02-06 12:45 801  
[   ]bciideal__137_17.min1.thm12017-02-06 12:45 2.7K 
[   ]bciideal__149_13.min1.thm12017-02-06 12:45 1.7K 
[   ]bciideal__150_47.min1.thm12017-02-06 12:45 2.0K 
[   ]bciideal__152_14.min1.thm12017-02-06 12:45 2.1K 
[   ]bciideal__153_50.min1.thm12017-02-06 12:45 2.1K 
[   ]bciideal__154_55.min1.thm12017-02-06 12:45 801  
[   ]bciideal__155_17.min1.thm12017-02-06 12:45 2.7K 
[   ]bciideal__163_47.min1.thm12017-02-06 12:45 1.9K 
[   ]bciideal__164_17.min1.thm12017-02-06 12:45 1.0K 
[   ]bciideal__176_23.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__177_41.min1.thm12017-02-06 12:45 594  
[   ]bciideal__177_41.min1.thm1.tptp2017-02-06 16:48 527  
[   ]bciideal__182_20.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__183_53.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__185_18.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__186_57.min1.thm12017-02-06 12:45 1.9K 
[   ]bciideal__187_59.min1.thm12017-02-06 12:45 925  
[   ]bciideal__188_19.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__189_21.min1.thm12017-02-06 12:45 373  
[   ]bciideal__189_21.min1.thm1.tptp2017-02-06 16:48 308  
[   ]bciideal__199_18.min1.thm12017-02-06 12:45 2.5K 
[   ]bciideal__200_23.min1.thm12017-02-06 12:45 1.9K 
[   ]bciideal__201_22.min1.thm12017-02-06 12:45 1.7K 
[   ]bciideal__202_19.min1.thm12017-02-06 12:45 369  
[   ]bciideal__202_19.min1.thm1.tptp2017-02-06 16:48 304  
[   ]bciideal__204_14.min1.thm12017-02-06 12:45 708  
[   ]bciideal__214_20.min1.thm12017-02-06 12:45 1.6K 
[   ]bciideal__215_16.min1.thm12017-02-06 12:45 1.9K 
[   ]bciideal__218_17.min1.thm12017-02-06 12:45 1.0K 
[   ]bciideal__244_20.min1.thm12017-02-06 12:45 2.4K 
[   ]bciideal__245_22.min1.thm12017-02-06 12:45 2.4K 
[   ]bciideal__247_19.min1.thm12017-02-06 12:45 2.4K 
[   ]bciideal__249_17.min1.thm12017-02-06 12:45 2.4K 
[   ]bciideal__250_14.min1.thm12017-02-06 12:45 2.1K 
[   ]bciideal__251_24.min1.thm12017-02-06 12:45 2.4K 
[   ]bciideal__252_24.min1.thm12017-02-06 12:45 2.4K 
[   ]bciideal__253_28.min1.thm12017-02-06 12:45 1.6K 
[   ]bciideal__255_18.min1.thm12017-02-06 12:45 557  
[   ]bciideal__255_18.min1.thm1.tptp2017-02-06 16:48 492  
[   ]bciideal__256_22.min1.thm12017-02-06 12:45 2.2K 
[   ]bciideal__257_13.min1.thm12017-02-06 12:45 2.1K 
[   ]bciideal__258_14.min1.thm12017-02-06 12:45 1.7K 
[   ]bciideal__259_19.min1.thm12017-02-06 12:45 2.5K 
[   ]bciideal__271_46.min1.thm12017-02-06 12:45 1.8K 
[   ]bciideal__272_40.min1.thm12017-02-06 12:45 1.8K 
[   ]bciideal__273_19.min1.thm12017-02-06 12:45 825  
[   ]bciideal__274_19.min1.thm12017-02-06 12:45 2.0K 
[   ]bciideal__275_21.min1.thm12017-02-06 12:45 377  
[   ]bciideal__275_21.min1.thm1.tptp2017-02-06 16:48 312  
[   ]bciideal__280_13.min1.thm12017-02-06 12:45 369  
[   ]bciideal__280_13.min1.thm1.tptp2017-02-06 16:48 304  
[   ]bciideal__281_26.min1.thm12017-02-06 12:45 1.3K 
[   ]bciideal__282_19.min1.thm12017-02-06 12:45 1.3K 
[   ]bciideal__296_18.min1.thm12017-02-06 12:45 2.0K 
[   ]bciideal__297_12.min1.thm12017-02-06 12:45 1.8K 
[   ]bciideal__298_16.min1.thm12017-02-06 12:45 1.8K 
[   ]bciideal__300_17.min1.thm12017-02-06 12:45 944  
[   ]bciideal__314_12.min1.thm12017-02-06 12:45 1.8K 
[   ]bciideal__315_19.min1.thm12017-02-06 12:45 2.1K 
[   ]bciideal__317_17.min1.thm12017-02-06 12:45 912  
[   ]bciideal__336_36.min1.thm12017-02-06 12:45 736  
[   ]bciideal__337_16.min1.thm12017-02-06 12:45 460  
[   ]bciideal__342_35.min1.thm12017-02-06 12:45 959  
[   ]bciideal__343_21.min1.thm12017-02-06 12:45 1.0K 
[   ]bciideal__347_6.min1.thm12017-02-06 12:45 1.0K 
[   ]bciideal__347_6.min1.thm1.tptp2017-02-06 16:48 961  
[   ]bciideal__348_19.min1.thm12017-02-06 12:45 2.0K 
[   ]bciideal__361_26.min1.thm12017-02-06 12:45 344  
[   ]bciideal__361_26.min1.thm1.tptp2017-02-06 16:48 264  
[   ]bciideal__362_16.min1.thm12017-02-06 12:45 1.6K 
[   ]bciideal__375_41.min1.thm12017-02-06 12:45 1.3K 
[   ]bciideal__376_19.min1.thm12017-02-06 12:45 1.9K 
[   ]bciideal__378_14.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__379_17.min1.thm12017-02-06 12:45 1.4K 
[   ]bciideal__392_21.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__393_23.min1.thm12017-02-06 12:45 1.4K 
[   ]bciideal__397_23.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__400_36.min1.thm12017-02-06 12:45 1.7K 
[   ]bciideal__411_19.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__412_19.min1.thm12017-02-06 12:45 1.7K 
[   ]bciideal__414_13.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__415_17.min1.thm12017-02-06 12:45 1.7K 
[   ]bciideal__425_14.min1.thm12017-02-06 12:45 704  
[   ]bciideal__427_21.min1.thm12017-02-06 12:45 937  
[   ]bciideal__428_13.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__429_17.min1.thm12017-02-06 12:45 1.6K 
[   ]bciideal__441_42.min1.thm12017-02-06 12:45 2.2K 
[   ]bciideal__443_28.min1.thm12017-02-06 12:45 2.4K 
[   ]bciideal__444_19.min1.thm12017-02-06 12:45 2.5K 
[   ]bciideal__446_17.min1.thm12017-02-06 12:45 959  
[   ]bciideal__458_12.min1.thm12017-02-06 12:45 246  
[   ]bciideal__459_16.min1.thm12017-02-06 12:45 1.6K 
[   ]bciideal__474_22.min1.thm12017-02-06 12:45 949  
[   ]bciideal__475_33.min1.thm12017-02-06 12:45 1.0K 
[   ]bciideal__476_19.min1.thm12017-02-06 12:45 1.8K 
[   ]bciideal__478_14.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__479_17.min1.thm12017-02-06 12:45 1.4K 
[   ]bciideal__492_46.min1.thm12017-02-06 12:45 1.0K 
[   ]bciideal__493_33.min1.thm12017-02-06 12:45 961  
[   ]bciideal__494_16.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__495_25.min1.thm12017-02-06 12:45 1.0K 
[   ]bciideal__497_24.min1.thm12017-02-06 12:45 1.0K 
[   ]bciideal__498_13.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__499_17.min1.thm12017-02-06 12:45 2.2K 
[   ]bciideal__511_58.min1.thm12017-02-06 12:45 1.6K 
[   ]bciideal__512_31.min1.thm12017-02-06 12:45 1.4K 
[   ]bciideal__515_27.min1.thm12017-02-06 12:45 1.4K 
[   ]bciideal__516_46.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__517_20.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__518_49.min1.thm12017-02-06 12:45 2.5K 
[   ]bciideal__519_43.min1.thm12017-02-06 12:45 1.8K 
[   ]bciideal__521_23.min1.thm12017-02-06 12:45 1.4K 
[   ]bciideal__522_20.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__523_16.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__525_16.min1.thm12017-02-06 12:45 829  
[   ]bciideal__526_20.min1.thm12017-02-06 12:45 1.0K 
[   ]bciideal__528_17.min1.thm12017-02-06 12:45 1.7K 
[   ]bciideal__538_23.min1.thm12017-02-06 12:45 793  
[   ]bciideal__542_16.min1.thm12017-02-06 12:45 960  
[   ]bciideal__543_22.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__544_22.min1.thm12017-02-06 12:45 1.6K 
[   ]bciideal__545_27.min1.thm12017-02-06 12:45 1.5K 
[   ]bciideal__546_19.min1.thm12017-02-06 12:45 2.0K 
[   ]bciideal__557_20.min1.thm12017-02-06 12:45 2.1K 
[   ]bciideal__558_19.min1.thm12017-02-06 12:45 1.6K 
[   ]bciideal__560_13.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__561_17.min1.thm12017-02-06 12:45 1.7K 
[   ]bciideal__584_15.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__585_19.min1.thm12017-02-06 12:45 1.6K 
[   ]bciideal__587_13.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__588_17.min1.thm12017-02-06 12:45 1.7K 
[   ]bciideal__613_51.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__615_15.min1.thm12017-02-06 12:45 1.3K 
[   ]bciideal__616_53.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__617_24.min1.thm12017-02-06 12:45 1.3K 
[   ]bciideal__618_26.min1.thm12017-02-06 12:45 1.3K 
[   ]bciideal__619_23.min1.thm12017-02-06 12:45 1.3K 
[   ]bciideal__620_21.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__621_18.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__634_25.min1.thm12017-02-06 12:45 641  
[   ]bciideal__634_25.min1.thm1.tptp2017-02-06 16:48 562  
[   ]bciideal__635_28.min1.thm12017-02-06 12:45 1.6K 
[   ]bciideal__650_51.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__651_22.min1.thm12017-02-06 12:45 1.3K 
[   ]bciideal__653_16.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__654_49.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__655_24.min1.thm12017-02-06 12:45 1.5K 
[   ]bciideal__656_21.min1.thm12017-02-06 12:45 1.3K 
[   ]bciideal__657_19.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__658_16.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__671_23.min1.thm12017-02-06 12:45 637  
[   ]bciideal__671_23.min1.thm1.tptp2017-02-06 16:48 558  
[   ]bciideal__685_18.min1.thm12017-02-06 12:45 369  
[   ]bciideal__685_18.min1.thm1.tptp2017-02-06 16:48 304  
[   ]bciideal__686_16.min1.thm12017-02-06 12:45 1.0K 
[   ]bciideal__693_31.min1.thm12017-02-06 12:45 583  
[   ]bciideal__693_31.min1.thm1.tptp2017-02-06 16:48 520  
[   ]bciideal__694_17.min1.thm12017-02-06 12:45 928  
[   ]bciideal__695_19.min1.thm12017-02-06 12:45 369  
[   ]bciideal__695_19.min1.thm1.tptp2017-02-06 16:48 304  
[   ]bciideal__697_17.min1.thm12017-02-06 12:45 296  
[   ]bciideal__698_37.min1.thm12017-02-06 12:45 1.6K 
[   ]bciideal__706_31.min1.thm12017-02-06 12:45 721  
[   ]bciideal__708_16.min1.thm12017-02-06 12:45 1.4K 
[   ]bciideal__709_16.min1.thm12017-02-06 12:45 753  
[   ]bciideal__710_15.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__711_35.min1.thm12017-02-06 12:45 1.0K 
[   ]bciideal__712_27.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__713_27.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__714_19.min1.thm12017-02-06 12:45 719  
[   ]bciideal__725_8.min1.thm12017-02-06 12:45 362  
[   ]bciideal__725_8.min1.thm1.tptp2017-02-06 16:48 293  
[   ]bciideal__726_14.min1.thm12017-02-06 12:45 716  
[   ]bciideal__727_19.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__728_17.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__736_36.min1.thm12017-02-06 12:45 655  
[   ]bciideal__736_36.min1.thm1.tptp2017-02-06 16:48 576  
[   ]bciideal__747_26.min1.thm12017-02-06 12:45 1.4K 
[   ]bciideal__748_17.min1.thm12017-02-06 12:45 630  
[   ]bciideal__748_17.min1.thm1.tptp2017-02-06 16:48 555  
[   ]bciideal__756_26.min1.thm12017-02-06 12:45 1.3K 
[   ]bciideal__757_17.min1.thm12017-02-06 12:45 630  
[   ]bciideal__757_17.min1.thm1.tptp2017-02-06 16:48 555  
[   ]bciideal__765_26.min1.thm12017-02-06 12:45 1.4K 
[   ]bciideal__766_17.min1.thm12017-02-06 12:45 630  
[   ]bciideal__766_17.min1.thm1.tptp2017-02-06 16:48 555  
[   ]bciideal__776_17.min1.thm12017-02-06 12:45 630  
[   ]bciideal__776_17.min1.thm1.tptp2017-02-06 16:48 555  
[   ]bciideal__785_17.min1.thm12017-02-06 12:45 630  
[   ]bciideal__785_17.min1.thm1.tptp2017-02-06 16:48 555  
[   ]bciideal__795_17.min1.thm12017-02-06 12:45 630  
[   ]bciideal__795_17.min1.thm1.tptp2017-02-06 16:48 555  
[   ]bciideal__808_51.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__809_22.min1.thm12017-02-06 12:45 1.3K 
[   ]bciideal__811_16.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__812_49.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__813_24.min1.thm12017-02-06 12:45 1.5K 
[   ]bciideal__814_21.min1.thm12017-02-06 12:45 1.3K 
[   ]bciideal__815_19.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__816_16.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__829_23.min1.thm12017-02-06 12:45 633  
[   ]bciideal__829_23.min1.thm1.tptp2017-02-06 16:48 558  
[   ]bciideal__843_15.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__848_26.min1.thm12017-02-06 12:45 1.3K 
[   ]bciideal__849_19.min1.thm12017-02-06 12:45 2.0K 
[   ]bciideal__857_20.min1.thm12017-02-06 12:45 2.1K 
[   ]bciideal__858_19.min1.thm12017-02-06 12:45 966  
[   ]bciideal__878_22.min1.thm12017-02-06 12:45 1.3K 
[   ]bciideal__881_30.min1.thm12017-02-06 12:45 1.5K 
[   ]bciideal__882_18.min1.thm12017-02-06 12:45 1.4K 
[   ]bciideal__883_15.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__884_22.min1.thm12017-02-06 12:45 1.4K 
[   ]bciideal__888_30.min1.thm12017-02-06 12:45 1.5K 
[   ]bciideal__889_14.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__890_28.min1.thm12017-02-06 12:45 1.5K 
[   ]bciideal__891_44.min1.thm12017-02-06 12:45 2.0K 
[   ]bciideal__892_44.min1.thm12017-02-06 12:45 1.8K 
[   ]bciideal__894_39.min1.thm12017-02-06 12:45 1.9K 
[   ]bciideal__896_38.min1.thm12017-02-06 12:45 2.5K 
[   ]bciideal__899_17.min1.thm12017-02-06 12:45 1.3K 
[   ]bciideal__907_32.min1.thm12017-02-06 12:45 864  
[   ]bciideal__907_32.min1.thm1.tptp2017-02-06 16:48 804  
[   ]bciideal__919_19.min1.thm12017-02-06 12:45 377  
[   ]bciideal__919_19.min1.thm1.tptp2017-02-06 16:48 312  
[   ]bciideal__920_21.min1.thm12017-02-06 12:45 1.3K 
[   ]bciideal__922_19.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__935_24.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__936_23.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__937_16.min1.thm12017-02-06 12:45 608  
[   ]bciideal__947_21.min1.thm12017-02-06 12:45 1.0K 
[   ]bciideal__948_26.min1.thm12017-02-06 12:45 475  
[   ]bciideal__948_26.min1.thm1.tptp2017-02-06 16:48 410  
[   ]bciideal__949_34.min1.thm12017-02-06 12:45 1.5K 
[   ]bciideal__953_19.min1.thm12017-02-06 12:45 1.3K 
[   ]bciideal__957_4.min1.thm12017-02-06 12:45 1.5K 
[   ]bciideal__969_43.min1.thm12017-02-06 12:45 952  
[   ]bciideal__969_43.min1.thm1.tptp2017-02-06 16:48 884  
[   ]bciideal__970_19.min1.thm12017-02-06 12:45 1.0K 
[   ]bciideal__973_41.min1.thm12017-02-06 12:45 1.0K 
[   ]bciideal__974_17.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__985_40.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__986_19.min1.thm12017-02-06 12:45 899  
[   ]bciideal__986_19.min1.thm1.tptp2017-02-06 16:48 849  
[   ]bciideal__989_38.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__990_17.min1.thm12017-02-06 12:45 948  
[   ]bciideal__990_17.min1.thm1.tptp2017-02-06 16:48 880  
[   ]bciideal__1002_36.min1.thm12017-02-06 12:45 1.3K 
[   ]bciideal__1004_17.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__1005_18.min1.thm12017-02-06 12:45 898  
[   ]bciideal__1006_12.min1.thm12017-02-06 12:45 879  
[   ]bciideal__1007_35.min1.thm12017-02-06 12:45 847  
[   ]bciideal__1007_35.min1.thm1.tptp2017-02-06 16:48 761  
[   ]bciideal__1009_36.min1.thm12017-02-06 12:45 1.7K 
[   ]bciideal__1010_30.min1.thm12017-02-06 12:45 1.3K 
[   ]bciideal__1011_25.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__1015_38.min1.thm12017-02-06 12:45 1.6K 
[   ]bciideal__1016_32.min1.thm12017-02-06 12:45 1.4K 
[   ]bciideal__1018_38.min1.thm12017-02-06 12:45 1.8K 
[   ]bciideal__1030_40.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__1031_19.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__1031_19.min1.thm1.tptp2017-02-06 16:48 1.1K 
[   ]bciideal__1035_17.min1.thm12017-02-06 12:45 948  
[   ]bciideal__1035_17.min1.thm1.tptp2017-02-06 16:48 880  
[   ]bciideal__1046_40.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__1047_19.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__1047_19.min1.thm1.tptp2017-02-06 16:48 1.1K 
[   ]bciideal__1050_38.min1.thm12017-02-06 12:45 1.3K 
[   ]bciideal__1051_17.min1.thm12017-02-06 12:45 948  
[   ]bciideal__1051_17.min1.thm1.tptp2017-02-06 16:48 880  
[   ]bciideal__1062_40.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__1063_19.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__1063_19.min1.thm1.tptp2017-02-06 16:48 1.2K 
[   ]bciideal__1067_17.min1.thm12017-02-06 12:45 948  
[   ]bciideal__1067_17.min1.thm1.tptp2017-02-06 16:48 880  
[   ]bciideal__1078_40.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__1079_19.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__1079_19.min1.thm1.tptp2017-02-06 16:48 1.0K 
[   ]bciideal__1082_38.min1.thm12017-02-06 12:45 1.3K 
[   ]bciideal__1083_17.min1.thm12017-02-06 12:45 948  
[   ]bciideal__1083_17.min1.thm1.tptp2017-02-06 16:48 880  
[   ]bciideal__1095_35.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__1096_67.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__1096_67.min1.thm1.tptp2017-02-06 16:48 1.1K 
[   ]bciideal__1097_57.min1.thm12017-02-06 12:45 1.0K 
[   ]bciideal__1097_57.min1.thm1.tptp2017-02-06 16:48 1.0K 
[   ]bciideal__1098_72.min1.thm12017-02-06 12:45 1.3K 
[   ]bciideal__1098_72.min1.thm1.tptp2017-02-06 16:48 1.2K 
[   ]bciideal__1101_4.min1.thm12017-02-06 12:45 1.4K 
[   ]bciideal__1101_4.min1.thm1.tptp2017-02-06 16:48 1.3K 
[   ]bciideal__1113_40.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__1114_19.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__1114_19.min1.thm1.tptp2017-02-06 16:48 1.1K 
[   ]bciideal__1118_17.min1.thm12017-02-06 12:45 895  
[   ]bciideal__1118_17.min1.thm1.tptp2017-02-06 16:48 845  
[   ]bciideal__1129_40.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__1130_19.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__1130_19.min1.thm1.tptp2017-02-06 16:48 1.1K 
[   ]bciideal__1133_38.min1.thm12017-02-06 12:45 1.3K 
[   ]bciideal__1134_17.min1.thm12017-02-06 12:45 895  
[   ]bciideal__1134_17.min1.thm1.tptp2017-02-06 16:48 845  
[   ]bciideal__1145_40.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__1146_19.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__1146_19.min1.thm1.tptp2017-02-06 16:48 1.2K 
[   ]bciideal__1150_17.min1.thm12017-02-06 12:45 895  
[   ]bciideal__1150_17.min1.thm1.tptp2017-02-06 16:48 845  
[   ]bciideal__1161_40.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__1162_19.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__1162_19.min1.thm1.tptp2017-02-06 16:48 1.0K 
[   ]bciideal__1165_38.min1.thm12017-02-06 12:45 1.3K 
[   ]bciideal__1166_17.min1.thm12017-02-06 12:45 895  
[   ]bciideal__1166_17.min1.thm1.tptp2017-02-06 16:48 845  
[   ]bciideal__1179_35.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__1180_67.min1.thm12017-02-06 12:45 1.1K 
[   ]bciideal__1180_67.min1.thm1.tptp2017-02-06 16:48 1.1K 
[   ]bciideal__1181_57.min1.thm12017-02-06 12:45 1.0K 
[   ]bciideal__1181_57.min1.thm1.tptp2017-02-06 16:48 1.0K 
[   ]bciideal__1182_72.min1.thm12017-02-06 12:45 1.3K 
[   ]bciideal__1182_72.min1.thm1.tptp2017-02-06 16:48 1.2K 
[   ]bciideal__1185_4.min1.thm12017-02-06 12:45 1.4K 
[   ]bciideal__1185_4.min1.thm1.tptp2017-02-06 16:48 1.3K 
[   ]bciideal__1200_26.min1.thm12017-02-06 12:45 344  
[   ]bciideal__1200_26.min1.thm1.tptp2017-02-06 16:48 264  
[   ]bciideal__1201_16.min1.thm12017-02-06 12:45 1.6K 
[   ]bciideal__1222_21.min1.thm12017-02-06 12:45 830  
[   ]bciideal__1224_15.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__1225_19.min1.thm12017-02-06 12:45 1.8K 
[   ]bciideal__1235_23.min1.thm12017-02-06 12:45 1.4K 
[   ]bciideal__1236_18.min1.thm12017-02-06 12:45 1.9K 
[   ]bciideal__1238_17.min1.thm12017-02-06 12:45 1.0K 
[   ]bciideal__1238_17.min1.thm1.tptp2017-02-06 16:48 1.0K 
[   ]bciideal__1250_26.min1.thm12017-02-06 12:45 344  
[   ]bciideal__1250_26.min1.thm1.tptp2017-02-06 16:48 264  
[   ]bciideal__1251_16.min1.thm12017-02-06 12:45 1.8K 
[   ]bciideal__1265_15.min1.thm12017-02-06 12:45 745  
[   ]bciideal__1267_15.min1.thm12017-02-06 12:45 1.5K 
[   ]bciideal__1269_19.min1.thm12017-02-06 12:45 1.9K 
[   ]bciideal__1290_26.min1.thm12017-02-06 12:45 2.4K 
[   ]bciideal__1291_21.min1.thm12017-02-06 12:45 913  
[   ]bciideal__1293_15.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__1294_19.min1.thm12017-02-06 12:45 1.8K 
[   ]bciideal__1310_25.min1.thm12017-02-06 12:45 1.5K 
[   ]bciideal__1311_32.min1.thm12017-02-06 12:45 2.1K 
[   ]bciideal__1315_29.min1.thm12017-02-06 12:45 1.7K 
[   ]bciideal__1317_24.min1.thm12017-02-06 12:45 2.0K 
[   ]bciideal__1333_23.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__1334_19.min1.thm12017-02-06 12:45 2.2K 
[   ]bciideal__1336_13.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__1337_17.min1.thm12017-02-06 12:45 1.8K 
[   ]bciideal__1344_15.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__1346_48.min1.thm12017-02-06 12:45 1.7K 
[   ]bciideal__1349_17.min1.thm12017-02-06 12:45 1.8K 
[   ]bciideal__1357_48.min1.thm12017-02-06 12:45 1.7K 
[   ]bciideal__1374_14.min1.thm12017-02-06 12:45 1.3K 
[   ]bciideal__1375_35.min1.thm12017-02-06 12:45 1.7K 
[   ]bciideal__1376_32.min1.thm12017-02-06 12:45 1.9K 
[   ]bciideal__1380_19.min1.thm12017-02-06 12:45 2.5K 
[   ]bciideal__1382_17.min1.thm12017-02-06 12:45 1.2K 
[   ]bciideal__1401_72.min1.thm12017-02-06 12:45 2.8K 
[   ]bciideal__1404_54.min1.thm12017-02-06 12:45 3.1K 
[   ]bciideal__1405_57.min1.thm12017-02-06 12:45 2.3K 
[   ]bciideal__1406_53.min1.thm12017-02-06 12:45 2.2K 
[   ]bciideal__1408_43.min1.thm12017-02-06 12:45 2.1K 
[   ]bciideal__1421_17.min1.thm12017-02-06 12:45 2.0K 

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