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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]lfuzzy_0__70_21.min1.thm12017-02-06 12:45 226  
[   ]lfuzzy_0__71_41.min1.thm12017-02-06 12:45 1.2K 
[   ]lfuzzy_0__82_37.min1.thm12017-02-06 12:45 388  
[   ]lfuzzy_0__83_18.min1.thm12017-02-06 12:45 511  
[   ]lfuzzy_0__83_18.min1.thm1.tptp2017-02-06 16:47 458  
[   ]lfuzzy_0__92_11.min1.thm12017-02-06 12:45 188  
[   ]lfuzzy_0__97_18.min1.thm12017-02-06 12:45 717  
[   ]lfuzzy_0__101_42.min1.thm12017-02-06 12:45 224  
[   ]lfuzzy_0__108_32.min1.thm12017-02-06 12:45 333  
[   ]lfuzzy_0__108_32.min1.thm1.tptp2017-02-06 16:47 251  
[   ]lfuzzy_0__109_36.min1.thm12017-02-06 12:45 519  
[   ]lfuzzy_0__112_48.min1.thm12017-02-06 12:45 496  
[   ]lfuzzy_0__112_48.min1.thm1.tptp2017-02-06 16:47 418  
[   ]lfuzzy_0__113_47.min1.thm12017-02-06 12:45 1.1K 
[   ]lfuzzy_0__116_15.min1.thm12017-02-06 12:45 1.4K 
[   ]lfuzzy_0__117_16.min1.thm12017-02-06 12:45 912  
[   ]lfuzzy_0__129_18.min1.thm12017-02-06 12:45 1.2K 
[   ]lfuzzy_0__143_16.min1.thm12017-02-06 12:45 561  
[   ]lfuzzy_0__143_16.min1.thm1.tptp2017-02-06 16:47 514  
[   ]lfuzzy_0__149_58.min1.thm12017-02-06 12:45 654  
[   ]lfuzzy_0__150_17.min1.thm12017-02-06 12:45 1.3K 
[   ]lfuzzy_0__151_45.min1.thm12017-02-06 12:45 1.4K 
[   ]lfuzzy_0__157_56.min1.thm12017-02-06 12:45 650  
[   ]lfuzzy_0__158_15.min1.thm12017-02-06 12:45 1.4K 
[   ]lfuzzy_0__159_19.min1.thm12017-02-06 12:45 1.3K 
[   ]lfuzzy_0__161_17.min1.thm12017-02-06 12:45 436  
[   ]lfuzzy_0__161_17.min1.thm1.tptp2017-02-06 16:47 354  
[   ]lfuzzy_0__170_31.min1.thm12017-02-06 12:45 596  
[   ]lfuzzy_0__170_31.min1.thm1.tptp2017-02-06 16:47 548  
[   ]lfuzzy_0__171_16.min1.thm12017-02-06 12:45 628  
[   ]lfuzzy_0__182_67.min1.thm12017-02-06 12:45 461  
[   ]lfuzzy_0__182_67.min1.thm1.tptp2017-02-06 16:47 398  
[   ]lfuzzy_0__183_16.min1.thm12017-02-06 12:45 344  
[   ]lfuzzy_0__185_15.min1.thm12017-02-06 12:45 693  
[   ]lfuzzy_0__185_15.min1.thm1.tptp2017-02-06 16:47 684  
[   ]lfuzzy_0__191_14.min1.thm12017-02-06 12:45 821  
[   ]lfuzzy_0__219_13.min1.thm12017-02-06 12:45 203  
[   ]lfuzzy_0__222_18.min1.thm12017-02-06 12:45 507  
[   ]lfuzzy_0__226_56.min1.thm12017-02-06 12:45 457  
[   ]lfuzzy_0__231_31.min1.thm12017-02-06 12:45 1.1K 
[   ]lfuzzy_0__232_23.min1.thm12017-02-06 12:45 1.1K 
[   ]lfuzzy_0__238_31.min1.thm12017-02-06 12:45 1.2K 
[   ]lfuzzy_0__239_22.min1.thm12017-02-06 12:45 1.3K 
[   ]lfuzzy_0__240_23.min1.thm12017-02-06 12:45 956  
[   ]lfuzzy_0__245_22.min1.thm12017-02-06 12:45 1.1K 
[   ]lfuzzy_0__247_21.min1.thm12017-02-06 12:45 556  
[   ]lfuzzy_0__258_20.min1.thm12017-02-06 12:45 944  
[   ]lfuzzy_0__259_19.min1.thm12017-02-06 12:45 1.0K 
[   ]lfuzzy_0__267_14.min1.thm12017-02-06 12:45 875  
[   ]lfuzzy_0__274_14.min1.thm12017-02-06 12:45 875  
[   ]lfuzzy_0__279_11.min1.thm12017-02-06 12:45 669  
[   ]lfuzzy_0__296_29.min1.thm12017-02-06 12:45 1.0K 
[   ]lfuzzy_0__297_27.min1.thm12017-02-06 12:45 1.4K 
[   ]lfuzzy_0__298_21.min1.thm12017-02-06 12:45 1.2K 
[   ]lfuzzy_0__300_20.min1.thm12017-02-06 12:45 1.3K 
[   ]lfuzzy_0__302_21.min1.thm12017-02-06 12:45 1.1K 
[   ]lfuzzy_0__303_20.min1.thm12017-02-06 12:45 1.1K 
[   ]lfuzzy_0__304_26.min1.thm12017-02-06 12:45 1.1K 
[   ]lfuzzy_0__314_29.min1.thm12017-02-06 12:45 1.0K 
[   ]lfuzzy_0__315_27.min1.thm12017-02-06 12:45 1.4K 
[   ]lfuzzy_0__316_21.min1.thm12017-02-06 12:45 1.2K 
[   ]lfuzzy_0__318_20.min1.thm12017-02-06 12:45 1.3K 
[   ]lfuzzy_0__320_21.min1.thm12017-02-06 12:45 1.1K 
[   ]lfuzzy_0__321_20.min1.thm12017-02-06 12:45 1.1K 
[   ]lfuzzy_0__322_26.min1.thm12017-02-06 12:45 1.1K 
[   ]lfuzzy_0__328_19.min1.thm12017-02-06 12:45 529  
[   ]lfuzzy_0__331_19.min1.thm12017-02-06 12:45 529  
[   ]lfuzzy_0__341_39.min1.thm12017-02-06 12:45 356  
[   ]lfuzzy_0__341_39.min1.thm1.tptp2017-02-06 16:47 278  
[   ]lfuzzy_0__345_15.min1.thm12017-02-06 12:45 1.0K 
[   ]lfuzzy_0__346_22.min1.thm12017-02-06 12:45 832  
[   ]lfuzzy_0__348_41.min1.thm12017-02-06 12:45 902  
[   ]lfuzzy_0__349_31.min1.thm12017-02-06 12:45 642  
[   ]lfuzzy_0__354_28.min1.thm12017-02-06 12:45 680  
[   ]lfuzzy_0__357_39.min1.thm12017-02-06 12:45 348  
[   ]lfuzzy_0__357_39.min1.thm1.tptp2017-02-06 16:47 270  
[   ]lfuzzy_0__358_12.min1.thm12017-02-06 12:45 1.1K 
[   ]lfuzzy_0__359_17.min1.thm12017-02-06 12:45 868  
[   ]lfuzzy_0__370_39.min1.thm12017-02-06 12:45 356  
[   ]lfuzzy_0__370_39.min1.thm1.tptp2017-02-06 16:47 278  
[   ]lfuzzy_0__374_15.min1.thm12017-02-06 12:45 1.0K 
[   ]lfuzzy_0__375_22.min1.thm12017-02-06 12:45 832  
[   ]lfuzzy_0__377_41.min1.thm12017-02-06 12:45 902  
[   ]lfuzzy_0__378_31.min1.thm12017-02-06 12:45 642  
[   ]lfuzzy_0__383_28.min1.thm12017-02-06 12:45 680  
[   ]lfuzzy_0__386_39.min1.thm12017-02-06 12:45 348  
[   ]lfuzzy_0__386_39.min1.thm1.tptp2017-02-06 16:47 270  
[   ]lfuzzy_0__387_12.min1.thm12017-02-06 12:45 1.1K 
[   ]lfuzzy_0__388_17.min1.thm12017-02-06 12:45 868  
[   ]lfuzzy_0__404_35.min1.thm12017-02-06 12:45 1.0K 
[   ]lfuzzy_0__407_21.min1.thm12017-02-06 12:45 1.4K 
[   ]lfuzzy_0__410_25.min1.thm12017-02-06 12:45 787  
[   ]lfuzzy_0__414_35.min1.thm12017-02-06 12:45 1.0K 
[   ]lfuzzy_0__417_21.min1.thm12017-02-06 12:45 1.4K 
[   ]lfuzzy_0__419_30.min1.thm12017-02-06 12:45 787  
[   ]lfuzzy_0__420_19.min1.thm12017-02-06 12:45 519  
[   ]lfuzzy_0__431_33.min1.thm12017-02-06 12:45 560  
[   ]lfuzzy_0__431_33.min1.thm1.tptp2017-02-06 16:47 518  
[   ]lfuzzy_0__432_27.min1.thm12017-02-06 12:45 489  
[   ]lfuzzy_0__433_47.min1.thm12017-02-06 12:45 777  
[   ]lfuzzy_0__434_41.min1.thm12017-02-06 12:45 1.1K 
[   ]lfuzzy_0__436_31.min1.thm12017-02-06 12:45 880  
[   ]lfuzzy_0__438_25.min1.thm12017-02-06 12:45 1.5K 
[   ]lfuzzy_0__439_30.min1.thm12017-02-06 12:45 963  
[   ]lfuzzy_0__443_13.min1.thm12017-02-06 12:45 193  
[   ]lfuzzy_0__446_41.min1.thm12017-02-06 12:45 1.2K 
[   ]lfuzzy_0__448_28.min1.thm12017-02-06 12:45 725  
[   ]lfuzzy_0__451_21.min1.thm12017-02-06 12:45 1.0K 
[   ]lfuzzy_0__456_15.min1.thm12017-02-06 12:45 563  
[   ]lfuzzy_0__457_31.min1.thm12017-02-06 12:45 490  
[   ]lfuzzy_0__458_13.min1.thm12017-02-06 12:45 2.0K 
[   ]lfuzzy_0__459_27.min1.thm12017-02-06 12:45 1.6K 
[   ]lfuzzy_0__461_27.min1.thm12017-02-06 12:45 1.3K 
[   ]lfuzzy_0__462_32.min1.thm12017-02-06 12:45 705  
[   ]lfuzzy_0__475_46.min1.thm12017-02-06 12:45 1.3K 
[   ]lfuzzy_0__476_20.min1.thm12017-02-06 12:45 1.1K 
[   ]lfuzzy_0__477_25.min1.thm12017-02-06 12:45 1.1K 
[   ]lfuzzy_0__479_34.min1.thm12017-02-06 12:45 1.2K 
[   ]lfuzzy_0__480_23.min1.thm12017-02-06 12:45 1.1K 
[   ]lfuzzy_0__487_34.min1.thm12017-02-06 12:45 1.6K 
[   ]lfuzzy_0__488_23.min1.thm12017-02-06 12:45 1.1K 
[   ]lfuzzy_0__490_21.min1.thm12017-02-06 12:45 1.2K 
[   ]lfuzzy_0__493_23.min1.thm12017-02-06 12:45 1.0K 
[   ]lfuzzy_0__494_17.min1.thm12017-02-06 12:45 1.5K 
[   ]lfuzzy_0__502_50.min1.thm12017-02-06 12:45 609  
[   ]lfuzzy_0__503_19.min1.thm12017-02-06 12:45 618  
[   ]lfuzzy_0__516_12.min1.thm12017-02-06 12:45 775  
[   ]lfuzzy_0__517_18.min1.thm12017-02-06 12:45 3.0K 
[   ]lfuzzy_0__522_17.min1.thm12017-02-06 12:45 1.4K 
[   ]lfuzzy_0__523_57.min1.thm12017-02-06 12:45 1.6K 
[   ]lfuzzy_0__524_24.min1.thm12017-02-06 12:45 1.5K 
[   ]lfuzzy_0__525_17.min1.thm12017-02-06 12:45 1.3K 
[   ]lfuzzy_0__526_23.min1.thm12017-02-06 12:45 911  
[   ]lfuzzy_0__526_23.min1.thm1.tptp2017-02-06 16:47 829  
[   ]lfuzzy_0__531_39.min1.thm12017-02-06 12:45 1.5K 
[   ]lfuzzy_0__532_17.min1.thm12017-02-06 12:45 1.4K 
[   ]lfuzzy_0__533_57.min1.thm12017-02-06 12:45 1.6K 
[   ]lfuzzy_0__534_24.min1.thm12017-02-06 12:45 1.5K 
[   ]lfuzzy_0__535_17.min1.thm12017-02-06 12:45 1.3K 
[   ]lfuzzy_0__536_23.min1.thm12017-02-06 12:45 911  
[   ]lfuzzy_0__536_23.min1.thm1.tptp2017-02-06 16:47 829  
[   ]lfuzzy_0__540_22.min1.thm12017-02-06 12:45 1.5K 
[   ]lfuzzy_0__542_16.min1.thm12017-02-06 12:45 1.5K 
[   ]lfuzzy_0__543_39.min1.thm12017-02-06 12:45 1.9K 
[   ]lfuzzy_0__544_17.min1.thm12017-02-06 12:45 1.8K 
[   ]lfuzzy_0__545_57.min1.thm12017-02-06 12:45 1.6K 
[   ]lfuzzy_0__546_24.min1.thm12017-02-06 12:45 1.9K 
[   ]lfuzzy_0__547_17.min1.thm12017-02-06 12:45 1.4K 
[   ]lfuzzy_0__548_23.min1.thm12017-02-06 12:45 2.1K 
[   ]lfuzzy_0__553_39.min1.thm12017-02-06 12:45 1.5K 
[   ]lfuzzy_0__554_17.min1.thm12017-02-06 12:45 1.4K 
[   ]lfuzzy_0__555_57.min1.thm12017-02-06 12:45 1.6K 
[   ]lfuzzy_0__556_24.min1.thm12017-02-06 12:45 1.9K 
[   ]lfuzzy_0__557_17.min1.thm12017-02-06 12:45 1.4K 
[   ]lfuzzy_0__558_23.min1.thm12017-02-06 12:45 911  
[   ]lfuzzy_0__558_23.min1.thm1.tptp2017-02-06 16:47 829  
[   ]lfuzzy_0__563_39.min1.thm12017-02-06 12:45 1.9K 
[   ]lfuzzy_0__564_17.min1.thm12017-02-06 12:45 1.4K 
[   ]lfuzzy_0__565_57.min1.thm12017-02-06 12:45 2.0K 
[   ]lfuzzy_0__566_24.min1.thm12017-02-06 12:45 1.5K 
[   ]lfuzzy_0__567_17.min1.thm12017-02-06 12:45 1.6K 
[   ]lfuzzy_0__568_23.min1.thm12017-02-06 12:45 911  
[   ]lfuzzy_0__568_23.min1.thm1.tptp2017-02-06 16:47 829  
[   ]lfuzzy_0__572_22.min1.thm12017-02-06 12:45 1.5K 
[   ]lfuzzy_0__574_16.min1.thm12017-02-06 12:45 1.2K 
[   ]lfuzzy_0__575_39.min1.thm12017-02-06 12:45 1.5K 
[   ]lfuzzy_0__576_17.min1.thm12017-02-06 12:45 1.8K 
[   ]lfuzzy_0__577_57.min1.thm12017-02-06 12:45 2.0K 
[   ]lfuzzy_0__578_24.min1.thm12017-02-06 12:45 1.5K 
[   ]lfuzzy_0__579_17.min1.thm12017-02-06 12:45 1.6K 
[   ]lfuzzy_0__580_23.min1.thm12017-02-06 12:45 2.1K 
[   ]lfuzzy_0__585_39.min1.thm12017-02-06 12:45 1.9K 
[   ]lfuzzy_0__586_17.min1.thm12017-02-06 12:45 1.8K 
[   ]lfuzzy_0__587_57.min1.thm12017-02-06 12:45 2.0K 
[   ]lfuzzy_0__588_24.min1.thm12017-02-06 12:45 1.9K 
[   ]lfuzzy_0__589_17.min1.thm12017-02-06 12:45 1.8K 
[   ]lfuzzy_0__590_23.min1.thm12017-02-06 12:45 911  
[   ]lfuzzy_0__590_23.min1.thm1.tptp2017-02-06 16:47 829  
[   ]lfuzzy_0__595_39.min1.thm12017-02-06 12:45 1.5K 
[   ]lfuzzy_0__596_17.min1.thm12017-02-06 12:45 1.8K 
[   ]lfuzzy_0__597_57.min1.thm12017-02-06 12:45 2.0K 
[   ]lfuzzy_0__598_24.min1.thm12017-02-06 12:45 1.9K 
[   ]lfuzzy_0__599_17.min1.thm12017-02-06 12:45 1.4K 
[   ]lfuzzy_0__600_23.min1.thm12017-02-06 12:45 911  
[   ]lfuzzy_0__600_23.min1.thm1.tptp2017-02-06 16:47 829  
[   ]lfuzzy_0__612_21.min1.thm12017-02-06 12:45 1.0K 
[   ]lfuzzy_0__622_17.min1.thm12017-02-06 12:45 291  
[   ]lfuzzy_0__630_27.min1.thm12017-02-06 12:45 1.0K 
[   ]lfuzzy_0__631_32.min1.thm12017-02-06 12:45 2.0K 
[   ]lfuzzy_0__633_22.min1.thm12017-02-06 12:45 2.3K 
[   ]lfuzzy_0__638_24.min1.thm12017-02-06 12:45 1.4K 
[   ]lfuzzy_0__639_24.min1.thm12017-02-06 12:45 1.4K 
[   ]lfuzzy_0__640_38.min1.thm12017-02-06 12:45 2.0K 
[   ]lfuzzy_0__647_24.min1.thm12017-02-06 12:45 1.1K 
[   ]lfuzzy_0__648_20.min1.thm12017-02-06 12:45 1.2K 
[   ]lfuzzy_0__649_24.min1.thm12017-02-06 12:45 1.8K 
[   ]lfuzzy_0__650_29.min1.thm12017-02-06 12:45 1.5K 
[   ]lfuzzy_0__651_33.min1.thm12017-02-06 12:45 1.8K 
[   ]lfuzzy_0__655_25.min1.thm12017-02-06 12:45 1.7K 
[   ]lfuzzy_0__656_21.min1.thm12017-02-06 12:45 2.2K 
[   ]lfuzzy_0__657_32.min1.thm12017-02-06 12:45 2.0K 
[   ]lfuzzy_0__660_30.min1.thm12017-02-06 12:45 691  
[   ]lfuzzy_0__669_39.min1.thm12017-02-06 12:45 388  
[   ]lfuzzy_0__669_39.min1.thm1.tptp2017-02-06 16:47 310  
[   ]lfuzzy_0__675_19.min1.thm12017-02-06 12:45 1.8K 
[   ]lfuzzy_0__681_14.min1.thm12017-02-06 12:45 1.0K 
[   ]lfuzzy_0__688_53.min1.thm12017-02-06 12:45 1.1K 
[   ]lfuzzy_0__715_27.min1.thm12017-02-06 12:45 814  
[   ]lfuzzy_0__715_27.min1.thm1.tptp2017-02-06 16:47 737  
[   ]lfuzzy_0__716_18.min1.thm12017-02-06 12:45 2.3K 
[   ]lfuzzy_0__718_16.min1.thm12017-02-06 12:45 509  
[   ]lfuzzy_0__718_16.min1.thm1.tptp2017-02-06 16:47 443  
[   ]lfuzzy_0__736_63.min1.thm12017-02-06 12:45 3.1K 
[   ]lfuzzy_0__765_27.min1.thm12017-02-06 12:45 814  
[   ]lfuzzy_0__765_27.min1.thm1.tptp2017-02-06 16:47 737  
[   ]lfuzzy_0__766_18.min1.thm12017-02-06 12:45 2.3K 
[   ]lfuzzy_0__768_16.min1.thm12017-02-06 12:45 509  
[   ]lfuzzy_0__768_16.min1.thm1.tptp2017-02-06 16:47 443  
[   ]lfuzzy_0__786_62.min1.thm12017-02-06 12:45 2.2K 
[   ]lfuzzy_0__807_25.min1.thm12017-02-06 12:45 969  
[   ]lfuzzy_0__807_25.min1.thm1.tptp2017-02-06 16:47 892  
[   ]lfuzzy_0__808_56.min1.thm12017-02-06 12:45 612  
[   ]lfuzzy_0__810_45.min1.thm12017-02-06 12:45 1.8K 
[   ]lfuzzy_0__811_23.min1.thm12017-02-06 12:45 2.0K 
[   ]lfuzzy_0__822_27.min1.thm12017-02-06 12:45 806  
[   ]lfuzzy_0__822_27.min1.thm1.tptp2017-02-06 16:47 729  
[   ]lfuzzy_0__823_18.min1.thm12017-02-06 12:45 2.3K 
[   ]lfuzzy_0__825_16.min1.thm12017-02-06 12:45 509  
[   ]lfuzzy_0__825_16.min1.thm1.tptp2017-02-06 16:47 443  
[   ]lfuzzy_0__839_27.min1.thm12017-02-06 12:45 1.7K 
[   ]lfuzzy_0__842_16.min1.thm12017-02-06 12:45 1.1K 
[   ]lfuzzy_0__842_16.min1.thm1.tptp2017-02-06 16:47 1.0K 
[   ]lfuzzy_0__844_18.min1.thm12017-02-06 12:45 2.0K 
[   ]lfuzzy_0__862_29.min1.thm12017-02-06 12:45 969  
[   ]lfuzzy_0__862_29.min1.thm1.tptp2017-02-06 16:47 892  
[   ]lfuzzy_0__863_56.min1.thm12017-02-06 12:45 612  
[   ]lfuzzy_0__865_46.min1.thm12017-02-06 12:45 1.8K 
[   ]lfuzzy_0__866_23.min1.thm12017-02-06 12:45 2.7K 
[   ]lfuzzy_0__877_27.min1.thm12017-02-06 12:45 806  
[   ]lfuzzy_0__877_27.min1.thm1.tptp2017-02-06 16:47 729  
[   ]lfuzzy_0__878_18.min1.thm12017-02-06 12:45 2.3K 
[   ]lfuzzy_0__880_16.min1.thm12017-02-06 12:45 509  
[   ]lfuzzy_0__880_16.min1.thm1.tptp2017-02-06 16:47 443  
[   ]lfuzzy_0__894_27.min1.thm12017-02-06 12:45 1.7K 
[   ]lfuzzy_0__897_16.min1.thm12017-02-06 12:45 1.1K 
[   ]lfuzzy_0__897_16.min1.thm1.tptp2017-02-06 16:47 1.0K 
[   ]lfuzzy_0__914_61.min1.thm12017-02-06 12:45 1.2K 
[   ]lfuzzy_0__916_37.min1.thm12017-02-06 12:45 2.5K 
[   ]lfuzzy_0__917_7.min1.thm12017-02-06 12:45 155  
[   ]lfuzzy_0__918_52.min1.thm12017-02-06 12:45 889  
[   ]lfuzzy_0__918_52.min1.thm1.tptp2017-02-06 16:47 803  
[   ]lfuzzy_0__920_34.min1.thm12017-02-06 12:45 401  
[   ]lfuzzy_0__920_34.min1.thm1.tptp2017-02-06 16:47 315  
[   ]lfuzzy_0__921_42.min1.thm12017-02-06 12:45 1.4K 
[   ]lfuzzy_0__922_56.min1.thm12017-02-06 12:45 1.0K 
[   ]lfuzzy_0__926_54.min1.thm12017-02-06 12:45 1.0K 
[   ]lfuzzy_0__927_49.min1.thm12017-02-06 12:45 702  
[   ]lfuzzy_0__929_29.min1.thm12017-02-06 12:45 761  
[   ]lfuzzy_0__930_68.min1.thm12017-02-06 12:45 1.7K 
[   ]lfuzzy_0__934_46.min1.thm12017-02-06 12:45 2.0K 
[   ]lfuzzy_0__935_40.min1.thm12017-02-06 12:45 1.7K 
[   ]lfuzzy_0__937_32.min1.thm12017-02-06 12:45 1.2K 
[   ]lfuzzy_0__949_48.min1.thm12017-02-06 12:45 667  
[   ]lfuzzy_0__950_35.min1.thm12017-02-06 12:45 2.1K 
[   ]lfuzzy_0__964_48.min1.thm12017-02-06 12:45 667  
[   ]lfuzzy_0__968_17.min1.thm12017-02-06 12:45 1.6K 
[   ]lfuzzy_0__969_47.min1.thm12017-02-06 12:45 1.8K 
[   ]lfuzzy_0__977_41.min1.thm12017-02-06 12:45 1.8K 
[   ]lfuzzy_0__988_30.min1.thm12017-02-06 12:45 1.9K 
[   ]lfuzzy_0__991_17.min1.thm12017-02-06 12:45 1.7K 
[   ]lfuzzy_0__1003_19.min1.thm12017-02-06 12:45 794  
[   ]lfuzzy_0__1014_11.min1.thm12017-02-06 12:45 3.7K 
[   ]lfuzzy_0__1023_11.min1.thm12017-02-06 12:45 1.9K 
[   ]lfuzzy_0__1033_38.min1.thm12017-02-06 12:45 1.0K 
[   ]lfuzzy_0__1034_37.min1.thm12017-02-06 12:45 516  
[   ]lfuzzy_0__1037_16.min1.thm12017-02-06 12:45 376  
[   ]lfuzzy_0__1039_17.min1.thm12017-02-06 12:45 891  
[   ]lfuzzy_0__1045_14.min1.thm12017-02-06 12:45 322  
[   ]lfuzzy_0__1045_14.min1.thm1.tptp2017-02-06 16:47 239  
[   ]lfuzzy_0__1060_57.min1.thm12017-02-06 12:45 1.9K 
[   ]lfuzzy_0__1061_16.min1.thm12017-02-06 12:45 1.9K 
[   ]lfuzzy_0__1067_57.min1.thm12017-02-06 12:45 1.9K 
[   ]lfuzzy_0__1068_16.min1.thm12017-02-06 12:45 1.9K 
[   ]lfuzzy_0__1072_13.min1.thm12017-02-06 12:45 1.6K 
[   ]lfuzzy_0__1081_36.min1.thm12017-02-06 12:45 1.5K 
[   ]lfuzzy_0__1082_34.min1.thm12017-02-06 12:45 508  
[   ]lfuzzy_0__1088_28.min1.thm12017-02-06 12:45 1.4K 
[   ]lfuzzy_0__1089_14.min1.thm12017-02-06 12:45 1.0K 
[   ]lfuzzy_0__1097_14.min1.thm12017-02-06 12:45 790  
[   ]lfuzzy_0__1105_35.min1.thm12017-02-06 12:45 1.5K 
[   ]lfuzzy_0__1106_34.min1.thm12017-02-06 12:45 2.2K 
[   ]lfuzzy_0__1107_17.min1.thm12017-02-06 12:45 588  
[   ]lfuzzy_0__1115_14.min1.thm12017-02-06 12:45 790  
[   ]lfuzzy_0__1126_28.min1.thm12017-02-06 12:45 2.1K 
[   ]lfuzzy_0__1138_46.min1.thm12017-02-06 12:45 1.6K 
[   ]lfuzzy_0__1151_16.min1.thm12017-02-06 12:45 1.5K 
[   ]lfuzzy_0__1163_71.min1.thm12017-02-06 12:45 1.2K 
[   ]lfuzzy_0__1193_17.min1.thm12017-02-06 12:45 1.0K 
[   ]lfuzzy_0__1193_17.min1.thm1.tptp2017-02-06 16:47 1.0K 
[   ]lfuzzy_0__1199_27.min1.thm12017-02-06 12:45 1.3K 
[   ]lfuzzy_0__1207_71.min1.thm12017-02-06 12:45 1.2K 
[   ]lfuzzy_0__1222_27.min1.thm12017-02-06 12:45 1.3K 
[   ]lfuzzy_0__1230_71.min1.thm12017-02-06 12:45 1.2K 
[   ]lfuzzy_0__1245_27.min1.thm12017-02-06 12:45 1.3K 
[   ]lfuzzy_0__1269_8.min1.thm12017-02-06 12:45 597  
[   ]lfuzzy_0__1269_8.min1.thm1.tptp2017-02-06 16:47 544  
[   ]lfuzzy_0__1275_60.min1.thm12017-02-06 12:45 655  
[   ]lfuzzy_0__1276_18.min1.thm12017-02-06 12:45 1.0K 
[   ]lfuzzy_0__1278_39.min1.thm12017-02-06 12:45 421  
[   ]lfuzzy_0__1278_39.min1.thm1.tptp2017-02-06 16:47 343  
[   ]lfuzzy_0__1282_18.min1.thm12017-02-06 12:45 238  
[   ]lfuzzy_0__1284_17.min1.thm12017-02-06 12:45 700  
[   ]lfuzzy_0__1288_14.min1.thm12017-02-06 12:45 846  
[   ]lfuzzy_0__1289_19.min1.thm12017-02-06 12:45 486  
[   ]lfuzzy_0__1299_8.min1.thm12017-02-06 12:45 527  
[   ]lfuzzy_0__1299_8.min1.thm1.tptp2017-02-06 16:47 464  
[   ]lfuzzy_0__1307_59.min1.thm12017-02-06 12:45 663  
[   ]lfuzzy_0__1308_20.min1.thm12017-02-06 12:45 1.1K 
[   ]lfuzzy_0__1310_46.min1.thm12017-02-06 12:45 425  
[   ]lfuzzy_0__1310_46.min1.thm1.tptp2017-02-06 16:47 347  
[   ]lfuzzy_0__1314_20.min1.thm12017-02-06 12:45 240  
[   ]lfuzzy_0__1315_19.min1.thm12017-02-06 12:45 676  
[   ]lfuzzy_0__1332_22.min1.thm12017-02-06 12:45 542  
[   ]lfuzzy_0__1336_41.min1.thm12017-02-06 12:45 620  
[   ]lfuzzy_0__1336_41.min1.thm1.tptp2017-02-06 16:47 564  
[   ]lfuzzy_0__1337_72.min1.thm12017-02-06 12:45 671  
[   ]lfuzzy_0__1337_72.min1.thm1.tptp2017-02-06 16:47 608  
[   ]lfuzzy_0__1339_57.min1.thm12017-02-06 12:45 406  
[   ]lfuzzy_0__1339_57.min1.thm1.tptp2017-02-06 16:47 346  
[   ]lfuzzy_0__1340_19.min1.thm12017-02-06 12:45 723  
[   ]lfuzzy_0__1349_48.min1.thm12017-02-06 12:45 421  
[   ]lfuzzy_0__1349_48.min1.thm1.tptp2017-02-06 16:47 366  
[   ]lfuzzy_0__1356_20.min1.thm12017-02-06 12:45 542  
[   ]lfuzzy_0__1357_53.min1.thm12017-02-06 12:45 596  
[   ]lfuzzy_0__1358_19.min1.thm12017-02-06 12:45 717  
[   ]lfuzzy_0__1361_47.min1.thm12017-02-06 12:45 428  
[   ]lfuzzy_0__1362_17.min1.thm12017-02-06 12:45 659  
[   ]lfuzzy_0__1382_8.min1.thm12017-02-06 12:45 597  
[   ]lfuzzy_0__1382_8.min1.thm1.tptp2017-02-06 16:47 544  
[   ]lfuzzy_0__1388_60.min1.thm12017-02-06 12:45 655  
[   ]lfuzzy_0__1389_18.min1.thm12017-02-06 12:45 1.0K 
[   ]lfuzzy_0__1391_39.min1.thm12017-02-06 12:45 421  
[   ]lfuzzy_0__1391_39.min1.thm1.tptp2017-02-06 16:47 343  
[   ]lfuzzy_0__1395_18.min1.thm12017-02-06 12:45 238  
[   ]lfuzzy_0__1397_17.min1.thm12017-02-06 12:45 700  
[   ]lfuzzy_0__1401_14.min1.thm12017-02-06 12:45 810  
[   ]lfuzzy_0__1402_19.min1.thm12017-02-06 12:45 485  
[   ]lfuzzy_0__1412_8.min1.thm12017-02-06 12:45 527  
[   ]lfuzzy_0__1412_8.min1.thm1.tptp2017-02-06 16:47 464  
[   ]lfuzzy_0__1420_59.min1.thm12017-02-06 12:45 663  
[   ]lfuzzy_0__1421_20.min1.thm12017-02-06 12:45 1.1K 
[   ]lfuzzy_0__1423_46.min1.thm12017-02-06 12:45 425  
[   ]lfuzzy_0__1423_46.min1.thm1.tptp2017-02-06 16:47 347  
[   ]lfuzzy_0__1427_20.min1.thm12017-02-06 12:45 240  
[   ]lfuzzy_0__1428_19.min1.thm12017-02-06 12:45 676  
[   ]lfuzzy_0__1445_22.min1.thm12017-02-06 12:45 542  
[   ]lfuzzy_0__1449_41.min1.thm12017-02-06 12:45 620  
[   ]lfuzzy_0__1449_41.min1.thm1.tptp2017-02-06 16:47 564  
[   ]lfuzzy_0__1450_72.min1.thm12017-02-06 12:45 671  
[   ]lfuzzy_0__1450_72.min1.thm1.tptp2017-02-06 16:47 608  
[   ]lfuzzy_0__1452_57.min1.thm12017-02-06 12:45 406  
[   ]lfuzzy_0__1452_57.min1.thm1.tptp2017-02-06 16:47 346  
[   ]lfuzzy_0__1453_19.min1.thm12017-02-06 12:45 723  
[   ]lfuzzy_0__1462_48.min1.thm12017-02-06 12:45 421  
[   ]lfuzzy_0__1462_48.min1.thm1.tptp2017-02-06 16:47 366  
[   ]lfuzzy_0__1469_20.min1.thm12017-02-06 12:45 542  
[   ]lfuzzy_0__1470_53.min1.thm12017-02-06 12:45 596  
[   ]lfuzzy_0__1471_19.min1.thm12017-02-06 12:45 717  
[   ]lfuzzy_0__1474_47.min1.thm12017-02-06 12:45 428  
[   ]lfuzzy_0__1475_17.min1.thm12017-02-06 12:45 659  
[   ]lfuzzy_0__1497_12.min1.thm12017-02-06 12:45 565  
[   ]lfuzzy_0__1497_12.min1.thm1.tptp2017-02-06 16:47 512  
[   ]lfuzzy_0__1498_20.min1.thm12017-02-06 12:45 793  
[   ]lfuzzy_0__1499_21.min1.thm12017-02-06 12:45 787  
[   ]lfuzzy_0__1504_10.min1.thm12017-02-06 12:45 564  
[   ]lfuzzy_0__1504_10.min1.thm1.tptp2017-02-06 16:47 511  
[   ]lfuzzy_0__1505_18.min1.thm12017-02-06 12:45 767  
[   ]lfuzzy_0__1506_19.min1.thm12017-02-06 12:45 762  
[   ]lfuzzy_0__1508_17.min1.thm12017-02-06 12:45 352  
[   ]lfuzzy_0__1508_17.min1.thm1.tptp2017-02-06 16:47 292  
[   ]lfuzzy_0__1528_17.min1.thm12017-02-06 12:45 291  
[   ]lfuzzy_0__1528_17.min1.thm1.tptp2017-02-06 16:47 209  
[   ]lfuzzy_0__1543_4.min1.thm12017-02-06 12:45 289  
[   ]lfuzzy_0__1545_17.min1.thm12017-02-06 12:45 492  
[   ]lfuzzy_0__1556_21.min1.thm12017-02-06 12:45 282  
[   ]lfuzzy_0__1557_17.min1.thm12017-02-06 12:45 459  
[   ]lfuzzy_0__1557_17.min1.thm1.tptp2017-02-06 16:47 377  
[   ]lfuzzy_0__1586_30.min1.thm12017-02-06 12:45 2.3K 
[   ]lfuzzy_0__1595_16.min1.thm12017-02-06 12:45 2.4K 
[   ]lfuzzy_0__1604_30.min1.thm12017-02-06 12:45 682  
[   ]lfuzzy_0__1618_18.min1.thm12017-02-06 12:45 969  
[   ]lfuzzy_0__1628_36.min1.thm12017-02-06 12:45 2.4K 
[   ]lfuzzy_0__1629_27.min1.thm12017-02-06 12:45 2.1K 
[   ]lfuzzy_0__1639_29.min1.thm12017-02-06 12:45 2.0K 
[   ]lfuzzy_0__1650_21.min1.thm12017-02-06 12:45 2.3K 
[   ]lfuzzy_0__1651_27.min1.thm12017-02-06 12:45 428  
[   ]lfuzzy_0__1651_27.min1.thm1.tptp2017-02-06 16:47 347  
[   ]lfuzzy_0__1679_75.min1.thm12017-02-06 12:45 2.3K 
[   ]lfuzzy_0__1694_22.min1.thm12017-02-06 12:45 2.3K 
[   ]lfuzzy_0__1699_35.min1.thm12017-02-06 12:45 2.7K 
[   ]lfuzzy_0__1701_28.min1.thm12017-02-06 12:45 2.3K 
[   ]lfuzzy_0__1705_58.min1.thm12017-02-06 12:45 2.3K 
[   ]lfuzzy_0__1732_37.min1.thm12017-02-06 12:45 2.7K 
[   ]lfuzzy_0__1734_18.min1.thm12017-02-06 12:45 2.7K 
[   ]lfuzzy_0__1738_35.min1.thm12017-02-06 12:45 2.7K 
[   ]lfuzzy_0__1740_16.min1.thm12017-02-06 12:45 2.7K 
[   ]lfuzzy_0__1742_15.min1.thm12017-02-06 12:45 862  
[   ]lfuzzy_0__1742_15.min1.thm1.tptp2017-02-06 16:47 802  
[   ]lfuzzy_0__1762_35.min1.thm12017-02-06 12:45 330  
[   ]lfuzzy_0__1762_35.min1.thm1.tptp2017-02-06 16:47 252  
[   ]lfuzzy_0__1763_35.min1.thm12017-02-06 12:45 330  
[   ]lfuzzy_0__1763_35.min1.thm1.tptp2017-02-06 16:47 252  
[   ]lfuzzy_0__1782_54.min1.thm12017-02-06 12:45 3.0K 
[   ]lfuzzy_0__1784_20.min1.thm12017-02-06 12:45 3.2K 
[   ]lfuzzy_0__1788_38.min1.thm12017-02-06 12:45 3.1K 
[   ]lfuzzy_0__1791_18.min1.thm12017-02-06 12:45 3.0K 
[   ]lfuzzy_0__1794_18.min1.thm12017-02-06 12:45 893  
[   ]lfuzzy_0__1806_62.min1.thm12017-02-06 12:45 3.0K 
[   ]lfuzzy_0__1808_20.min1.thm12017-02-06 12:45 3.2K 
[   ]lfuzzy_0__1812_40.min1.thm12017-02-06 12:45 3.1K 
[   ]lfuzzy_0__1815_18.min1.thm12017-02-06 12:45 3.0K 

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