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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]morph_01__52_54.min1.thm12017-02-06 12:45 1.6K 
[ ]morph_01__53_33.min1.thm12017-02-06 12:45 1.2K 
[ ]morph_01__55_19.min1.thm12017-02-06 12:45 598  
[ ]morph_01__72_34.min1.thm12017-02-06 12:45 1.3K 
[ ]morph_01__75_43.min1.thm12017-02-06 12:45 350  
[ ]morph_01__75_43.min1.thm1.tptp2017-02-06 16:47 272  
[ ]morph_01__77_25.min1.thm12017-02-06 12:45 537  
[ ]morph_01__78_22.min1.thm12017-02-06 12:45 2.1K 
[ ]morph_01__80_37.min1.thm12017-02-06 12:45 477  
[ ]morph_01__80_37.min1.thm1.tptp2017-02-06 16:47 413  
[ ]morph_01__81_37.min1.thm12017-02-06 12:45 1.4K 
[ ]morph_01__93_17.min1.thm12017-02-06 12:45 395  
[ ]morph_01__94_35.min1.thm12017-02-06 12:45 473  
[ ]morph_01__97_22.min1.thm12017-02-06 12:45 546  
[ ]morph_01__99_68.min1.thm12017-02-06 12:45 2.0K 
[ ]morph_01__112_17.min1.thm12017-02-06 12:45 411  
[ ]morph_01__113_35.min1.thm12017-02-06 12:45 473  
[ ]morph_01__116_43.min1.thm12017-02-06 12:45 350  
[ ]morph_01__116_43.min1.thm1.tptp2017-02-06 16:47 272  
[ ]morph_01__117_19.min1.thm12017-02-06 12:45 1.4K 
[ ]morph_01__121_36.min1.thm12017-02-06 12:45 475  
[ ]morph_01__121_36.min1.thm1.tptp2017-02-06 16:47 411  
[ ]morph_01__122_22.min1.thm12017-02-06 12:45 1.4K 
[ ]morph_01__123_22.min1.thm12017-02-06 12:45 1.3K 
[ ]morph_01__124_11.min1.thm12017-02-06 12:45 1.7K 
[ ]morph_01__137_43.min1.thm12017-02-06 12:45 350  
[ ]morph_01__137_43.min1.thm1.tptp2017-02-06 16:47 272  
[ ]morph_01__138_55.min1.thm12017-02-06 12:45 1.4K 
[ ]morph_01__139_22.min1.thm12017-02-06 12:45 2.1K 
[ ]morph_01__141_37.min1.thm12017-02-06 12:45 477  
[ ]morph_01__141_37.min1.thm1.tptp2017-02-06 16:47 413  
[ ]morph_01__142_22.min1.thm12017-02-06 12:45 1.4K 
[ ]morph_01__153_24.min1.thm12017-02-06 12:45 2.2K 
[ ]morph_01__154_58.min1.thm12017-02-06 12:45 1.6K 
[ ]morph_01__156_8.min1.thm12017-02-06 12:45 639  
[ ]morph_01__159_61.min1.thm12017-02-06 12:45 563  
[ ]morph_01__159_61.min1.thm1.tptp2017-02-06 16:47 499  
[ ]morph_01__165_8.min1.thm12017-02-06 12:45 501  
[ ]morph_01__165_8.min1.thm1.tptp2017-02-06 16:47 446  
[ ]morph_01__167_31.min1.thm12017-02-06 12:45 1.5K 
[ ]morph_01__172_19.min1.thm12017-02-06 12:45 563  
[ ]morph_01__172_19.min1.thm1.tptp2017-02-06 16:47 499  
[ ]morph_01__187_18.min1.thm12017-02-06 12:45 381  
[ ]morph_01__187_18.min1.thm1.tptp2017-02-06 16:47 304  
[ ]morph_01__188_35.min1.thm12017-02-06 12:45 941  
[ ]morph_01__189_58.min1.thm12017-02-06 12:45 1.7K 
[ ]morph_01__195_22.min1.thm12017-02-06 12:45 2.1K 
[ ]morph_01__204_30.min1.thm12017-02-06 12:45 1.6K 
[ ]morph_01__205_25.min1.thm12017-02-06 12:45 730  
[ ]morph_01__206_25.min1.thm12017-02-06 12:45 1.4K 
[ ]morph_01__207_23.min1.thm12017-02-06 12:45 2.2K 
[ ]morph_01__210_8.min1.thm12017-02-06 12:45 1.2K 
[ ]morph_01__213_6.min1.thm12017-02-06 12:45 583  
[ ]morph_01__213_6.min1.thm1.tptp2017-02-06 16:47 519  
[ ]morph_01__219_58.min1.thm12017-02-06 12:45 377  
[ ]morph_01__221_32.min1.thm12017-02-06 12:45 1.6K 
[ ]morph_01__223_15.min1.thm12017-02-06 12:45 849  
[ ]morph_01__225_42.min1.thm12017-02-06 12:45 1.4K 
[ ]morph_01__231_61.min1.thm12017-02-06 12:45 1.6K 
[ ]morph_01__232_26.min1.thm12017-02-06 12:45 945  
[ ]morph_01__234_31.min1.thm12017-02-06 12:45 2.2K 
[ ]morph_01__236_22.min1.thm12017-02-06 12:45 1.5K 
[ ]morph_01__238_22.min1.thm12017-02-06 12:45 2.2K 
[ ]morph_01__241_6.min1.thm12017-02-06 12:45 583  
[ ]morph_01__241_6.min1.thm1.tptp2017-02-06 16:47 519  
[ ]morph_01__253_41.min1.thm12017-02-06 12:45 1.3K 
[ ]morph_01__254_24.min1.thm12017-02-06 12:45 1.6K 
[ ]morph_01__255_26.min1.thm12017-02-06 12:45 1.9K 
[ ]morph_01__258_37.min1.thm12017-02-06 12:45 1.5K 
[ ]morph_01__259_69.min1.thm12017-02-06 12:45 1.8K 
[ ]morph_01__266_42.min1.thm12017-02-06 12:45 1.7K 
[ ]morph_01__268_37.min1.thm12017-02-06 12:45 700  
[ ]morph_01__269_40.min1.thm12017-02-06 12:45 1.0K 
[ ]morph_01__274_33.min1.thm12017-02-06 12:45 1.9K 
[ ]morph_01__275_41.min1.thm12017-02-06 12:45 1.3K 
[ ]morph_01__276_26.min1.thm12017-02-06 12:45 2.2K 
[ ]morph_01__277_13.min1.thm12017-02-06 12:45 1.4K 
[ ]morph_01__288_66.min1.thm12017-02-06 12:45 2.1K 
[ ]morph_01__296_35.min1.thm12017-02-06 12:45 2.0K 
[ ]morph_01__297_21.min1.thm12017-02-06 12:45 732  
[ ]morph_01__300_64.min1.thm12017-02-06 12:45 1.9K 
[ ]morph_01__310_29.min1.thm12017-02-06 12:45 1.8K 
[ ]morph_01__312_33.min1.thm12017-02-06 12:45 2.1K 
[ ]morph_01__313_23.min1.thm12017-02-06 12:45 1.5K 
[ ]morph_01__315_25.min1.thm12017-02-06 12:45 2.2K 
[ ]morph_01__322_13.min1.thm12017-02-06 12:45 223  
[ ]morph_01__325_41.min1.thm12017-02-06 12:45 352  
[ ]morph_01__325_41.min1.thm1.tptp2017-02-06 16:47 283  
[ ]morph_01__326_50.min1.thm12017-02-06 12:45 703  
[ ]morph_01__327_14.min1.thm12017-02-06 12:45 1.3K 
[ ]morph_01__328_51.min1.thm12017-02-06 12:45 466  
[ ]morph_01__329_40.min1.thm12017-02-06 12:45 1.4K 
[ ]morph_01__330_51.min1.thm12017-02-06 12:45 705  
[ ]morph_01__331_14.min1.thm12017-02-06 12:45 1.4K 
[ ]morph_01__332_51.min1.thm12017-02-06 12:45 466  
[ ]morph_01__333_40.min1.thm12017-02-06 12:45 1.6K 
[ ]morph_01__340_39.min1.thm12017-02-06 12:45 547  
[ ]morph_01__354_66.min1.thm12017-02-06 12:45 1.8K 
[ ]morph_01__355_41.min1.thm12017-02-06 12:45 970  
[ ]morph_01__363_14.min1.thm12017-02-06 12:45 1.0K 
[ ]morph_01__371_38.min1.thm12017-02-06 12:45 474  
[ ]morph_01__371_38.min1.thm1.tptp2017-02-06 16:47 395  
[ ]morph_01__375_35.min1.thm12017-02-06 12:45 2.2K 
[ ]morph_01__379_55.min1.thm12017-02-06 12:45 1.9K 
[ ]morph_01__393_62.min1.thm12017-02-06 12:45 1.7K 
[ ]morph_01__394_41.min1.thm12017-02-06 12:45 924  
[ ]morph_01__401_47.min1.thm12017-02-06 12:45 1.7K 
[ ]morph_01__403_14.min1.thm12017-02-06 12:45 1.1K 
[ ]morph_01__405_41.min1.thm12017-02-06 12:45 1.1K 
[ ]morph_01__413_45.min1.thm12017-02-06 12:45 474  
[ ]morph_01__413_45.min1.thm1.tptp2017-02-06 16:47 395  
[ ]morph_01__414_43.min1.thm12017-02-06 12:45 474  
[ ]morph_01__414_43.min1.thm1.tptp2017-02-06 16:47 395  
[ ]morph_01__419_16.min1.thm12017-02-06 12:45 2.0K 
[ ]morph_01__423_37.min1.thm12017-02-06 12:45 1.8K 
[ ]morph_01__430_41.min1.thm12017-02-06 12:45 1.4K 
[ ]morph_01__437_40.min1.thm12017-02-06 12:45 1.4K 
[ ]morph_01__446_22.min1.thm12017-02-06 12:45 1.1K 
[ ]morph_01__447_12.min1.thm12017-02-06 12:45 842  
[ ]morph_01__452_18.min1.thm12017-02-06 12:45 701  
[ ]morph_01__452_18.min1.thm1.tptp2017-02-06 16:47 654  
[ ]morph_01__467_45.min1.thm12017-02-06 12:45 1.9K 
[ ]morph_01__469_43.min1.thm12017-02-06 12:45 1.7K 
[ ]morph_01__470_30.min1.thm12017-02-06 12:45 1.5K 
[ ]morph_01__471_25.min1.thm12017-02-06 12:45 1.8K 
[ ]morph_01__472_33.min1.thm12017-02-06 12:45 2.2K 
[ ]morph_01__480_41.min1.thm12017-02-06 12:45 1.6K 
[ ]morph_01__481_28.min1.thm12017-02-06 12:45 1.5K 
[ ]morph_01__482_23.min1.thm12017-02-06 12:45 1.8K 
[ ]morph_01__483_30.min1.thm12017-02-06 12:45 2.2K 
[ ]morph_01__501_47.min1.thm12017-02-06 12:45 2.6K 
[ ]morph_01__503_30.min1.thm12017-02-06 12:45 847  
[ ]morph_01__504_48.min1.thm12017-02-06 12:45 577  
[ ]morph_01__506_65.min1.thm12017-02-06 12:45 1.7K 
[ ]morph_01__508_10.min1.thm12017-02-06 12:45 668  
[ ]morph_01__514_8.min1.thm12017-02-06 12:45 511  
[ ]morph_01__514_8.min1.thm1.tptp2017-02-06 16:47 456  
[ ]morph_01__516_31.min1.thm12017-02-06 12:45 1.6K 
[ ]morph_01__519_23.min1.thm12017-02-06 12:45 720  
[ ]morph_01__534_30.min1.thm12017-02-06 12:45 1.5K 
[ ]morph_01__535_29.min1.thm12017-02-06 12:45 1.3K 
[ ]morph_01__536_63.min1.thm12017-02-06 12:45 1.6K 
[ ]morph_01__541_27.min1.thm12017-02-06 12:45 1.5K 
[ ]morph_01__542_26.min1.thm12017-02-06 12:45 1.3K 
[ ]morph_01__543_61.min1.thm12017-02-06 12:45 1.6K 
[ ]morph_01__545_38.min1.thm12017-02-06 12:45 1.4K 
[ ]morph_01__546_60.min1.thm12017-02-06 12:45 1.3K 
[ ]morph_01__548_6.min1.thm12017-02-06 12:45 566  
[ ]morph_01__548_6.min1.thm1.tptp2017-02-06 16:47 506  
[ ]morph_01__554_13.min1.thm12017-02-06 12:45 189  
[ ]morph_01__557_42.min1.thm12017-02-06 12:45 500  
[ ]morph_01__557_42.min1.thm1.tptp2017-02-06 16:47 422  
[ ]morph_01__558_22.min1.thm12017-02-06 12:45 732  
[ ]morph_01__559_23.min1.thm12017-02-06 12:45 1.8K 
[ ]morph_01__561_61.min1.thm12017-02-06 12:45 611  
[ ]morph_01__567_20.min1.thm12017-02-06 12:45 378  
[ ]morph_01__568_43.min1.thm12017-02-06 12:45 524  
[ ]morph_01__569_67.min1.thm12017-02-06 12:45 1.6K 
[ ]morph_01__574_46.min1.thm12017-02-06 12:45 2.6K 
[ ]morph_01__578_32.min1.thm12017-02-06 12:45 1.5K 
[ ]morph_01__579_24.min1.thm12017-02-06 12:45 759  
[ ]morph_01__583_10.min1.thm12017-02-06 12:45 1.0K 
[ ]morph_01__586_8.min1.thm12017-02-06 12:45 675  
[ ]morph_01__586_8.min1.thm1.tptp2017-02-06 16:47 611  
[ ]morph_01__600_30.min1.thm12017-02-06 12:45 1.5K 
[ ]morph_01__601_29.min1.thm12017-02-06 12:45 1.3K 
[ ]morph_01__602_63.min1.thm12017-02-06 12:45 1.6K 
[ ]morph_01__607_28.min1.thm12017-02-06 12:45 1.5K 
[ ]morph_01__608_27.min1.thm12017-02-06 12:45 1.3K 
[ ]morph_01__609_61.min1.thm12017-02-06 12:45 1.6K 
[ ]morph_01__612_6.min1.thm12017-02-06 12:45 1.8K 
[ ]morph_01__628_35.min1.thm12017-02-06 12:45 1.4K 
[ ]morph_01__629_22.min1.thm12017-02-06 12:45 1.9K 
[ ]morph_01__642_33.min1.thm12017-02-06 12:45 2.3K 
[ ]morph_01__643_29.min1.thm12017-02-06 12:45 2.4K 
[ ]morph_01__644_23.min1.thm12017-02-06 12:45 2.1K 
[ ]morph_01__652_27.min1.thm12017-02-06 12:45 2.3K 
[ ]morph_01__653_26.min1.thm12017-02-06 12:45 2.4K 
[ ]morph_01__654_21.min1.thm12017-02-06 12:45 2.1K 
[ ]morph_01__657_34.min1.thm12017-02-06 12:45 706  
[ ]morph_01__657_34.min1.thm1.tptp2017-02-06 16:47 646  
[ ]morph_01__666_31.min1.thm12017-02-06 12:45 2.3K 
[ ]morph_01__667_28.min1.thm12017-02-06 12:45 2.4K 
[ ]morph_01__674_34.min1.thm12017-02-06 12:45 2.3K 
[ ]morph_01__677_26.min1.thm12017-02-06 12:45 2.2K 
[ ]morph_01__678_21.min1.thm12017-02-06 12:45 2.0K 
[ ]morph_01__681_36.min1.thm12017-02-06 12:45 706  
[ ]morph_01__681_36.min1.thm1.tptp2017-02-06 16:47 646  
[ ]morph_01__687_13.min1.thm12017-02-06 12:45 189  
[ ]morph_01__690_42.min1.thm12017-02-06 12:45 500  
[ ]morph_01__690_42.min1.thm1.tptp2017-02-06 16:47 422  
[ ]morph_01__691_26.min1.thm12017-02-06 12:45 732  
[ ]morph_01__697_10.min1.thm12017-02-06 12:45 478  
[ ]morph_01__698_58.min1.thm12017-02-06 12:45 1.6K 
[ ]morph_01__702_8.min1.thm12017-02-06 12:45 542  
[ ]morph_01__702_8.min1.thm1.tptp2017-02-06 16:47 506  
[ ]morph_01__704_8.min1.thm12017-02-06 12:45 1.7K 
[ ]morph_01__710_20.min1.thm12017-02-06 12:45 378  
[ ]morph_01__711_43.min1.thm12017-02-06 12:45 524  
[ ]morph_01__712_68.min1.thm12017-02-06 12:45 1.6K 
[ ]morph_01__724_34.min1.thm12017-02-06 12:45 1.7K 
[ ]morph_01__728_38.min1.thm12017-02-06 12:45 804  
[ ]morph_01__729_28.min1.thm12017-02-06 12:45 773  
[ ]morph_01__730_34.min1.thm12017-02-06 12:45 1.3K 
[ ]morph_01__732_27.min1.thm12017-02-06 12:45 2.6K 
[ ]morph_01__735_12.min1.thm12017-02-06 12:45 1.0K 
[ ]morph_01__743_68.min1.thm12017-02-06 12:45 1.6K 
[ ]morph_01__744_29.min1.thm12017-02-06 12:45 1.0K 
[ ]morph_01__747_22.min1.thm12017-02-06 12:45 726  
[ ]morph_01__749_38.min1.thm12017-02-06 12:45 1.8K 
[ ]morph_01__755_42.min1.thm12017-02-06 12:45 594  
[ ]morph_01__757_41.min1.thm12017-02-06 12:45 1.0K 
[ ]morph_01__758_46.min1.thm12017-02-06 12:45 655  
[ ]morph_01__759_23.min1.thm12017-02-06 12:45 961  
[ ]morph_01__761_73.min1.thm12017-02-06 12:45 2.2K 
[ ]morph_01__764_31.min1.thm12017-02-06 12:45 2.6K 
[ ]morph_01__774_13.min1.thm12017-02-06 12:45 189  
[ ]morph_01__777_42.min1.thm12017-02-06 12:45 500  
[ ]morph_01__777_42.min1.thm1.tptp2017-02-06 16:47 422  
[ ]morph_01__783_10.min1.thm12017-02-06 12:45 480  
[ ]morph_01__784_58.min1.thm12017-02-06 12:45 1.6K 
[ ]morph_01__788_8.min1.thm12017-02-06 12:45 544  
[ ]morph_01__788_8.min1.thm1.tptp2017-02-06 16:47 508  
[ ]morph_01__790_25.min1.thm12017-02-06 12:45 507  
[ ]morph_01__790_25.min1.thm1.tptp2017-02-06 16:47 424  
[ ]morph_01__795_20.min1.thm12017-02-06 12:45 378  
[ ]morph_01__796_43.min1.thm12017-02-06 12:45 524  
[ ]morph_01__809_69.min1.thm12017-02-06 12:45 1.6K 
[ ]morph_01__810_29.min1.thm12017-02-06 12:45 1.0K 
[ ]morph_01__812_26.min1.thm12017-02-06 12:45 726  
[ ]morph_01__813_43.min1.thm12017-02-06 12:45 1.8K 
[ ]morph_01__819_29.min1.thm12017-02-06 12:45 732  
[ ]morph_01__822_30.min1.thm12017-02-06 12:45 2.3K 
[ ]morph_01__823_28.min1.thm12017-02-06 12:45 1.3K 
[ ]morph_01__829_8.min1.thm12017-02-06 12:45 677  
[ ]morph_01__829_8.min1.thm1.tptp2017-02-06 16:47 613  
[ ]morph_01__840_6.min1.thm12017-02-06 12:45 503  
[ ]morph_01__840_6.min1.thm1.tptp2017-02-06 16:47 448  
[ ]morph_01__842_29.min1.thm12017-02-06 12:45 1.7K 
[ ]morph_01__844_67.min1.thm12017-02-06 12:45 2.2K 
[ ]morph_01__848_23.min1.thm12017-02-06 12:45 622  
[ ]morph_01__849_21.min1.thm12017-02-06 12:45 710  
[ ]morph_01__850_31.min1.thm12017-02-06 12:45 1.0K 
[ ]morph_01__852_32.min1.thm12017-02-06 12:45 2.7K 
[ ]morph_01__861_18.min1.thm12017-02-06 12:45 370  
[ ]morph_01__862_41.min1.thm12017-02-06 12:45 508  
[ ]morph_01__863_65.min1.thm12017-02-06 12:45 1.6K 
[ ]morph_01__877_32.min1.thm12017-02-06 12:45 1.6K 
[ ]morph_01__881_34.min1.thm12017-02-06 12:45 885  
[ ]morph_01__882_31.min1.thm12017-02-06 12:45 760  
[ ]morph_01__884_25.min1.thm12017-02-06 12:45 2.5K 
[ ]morph_01__887_10.min1.thm12017-02-06 12:45 969  
[ ]morph_01__896_66.min1.thm12017-02-06 12:45 1.6K 
[ ]morph_01__897_27.min1.thm12017-02-06 12:45 949  
[ ]morph_01__899_20.min1.thm12017-02-06 12:45 678  
[ ]morph_01__900_41.min1.thm12017-02-06 12:45 1.8K 
[ ]morph_01__906_30.min1.thm12017-02-06 12:45 709  
[ ]morph_01__907_44.min1.thm12017-02-06 12:45 577  
[ ]morph_01__908_21.min1.thm12017-02-06 12:45 839  
[ ]morph_01__910_68.min1.thm12017-02-06 12:45 2.2K 
[ ]morph_01__911_26.min1.thm12017-02-06 12:45 787  
[ ]morph_01__927_64.min1.thm12017-02-06 12:45 2.1K 
[ ]morph_01__930_24.min1.thm12017-02-06 12:45 622  
[ ]morph_01__931_25.min1.thm12017-02-06 12:45 863  
[ ]morph_01__933_23.min1.thm12017-02-06 12:45 2.3K 
[ ]morph_01__944_64.min1.thm12017-02-06 12:45 2.1K 
[ ]morph_01__945_55.min1.thm12017-02-06 12:45 1.0K 
[ ]morph_01__946_23.min1.thm12017-02-06 12:45 2.3K 
[ ]morph_01__958_72.min1.thm12017-02-06 12:45 2.6K 
[ ]morph_01__962_31.min1.thm12017-02-06 12:45 2.2K 
[ ]morph_01__963_27.min1.thm12017-02-06 12:45 843  
[ ]morph_01__965_34.min1.thm12017-02-06 12:45 2.1K 
[ ]morph_01__966_28.min1.thm12017-02-06 12:45 1.8K 
[ ]morph_01__967_17.min1.thm12017-02-06 12:45 1.6K 
[ ]morph_01__968_30.min1.thm12017-02-06 12:45 587  
[ ]morph_01__968_30.min1.thm1.tptp2017-02-06 16:47 503  
[ ]morph_01__975_73.min1.thm12017-02-06 12:45 2.6K 
[ ]morph_01__979_27.min1.thm12017-02-06 12:45 1.9K 
[ ]morph_01__980_29.min1.thm12017-02-06 12:45 1.6K 
[ ]morph_01__982_33.min1.thm12017-02-06 12:45 2.1K 
[ ]morph_01__984_38.min1.thm12017-02-06 12:45 2.1K 
[ ]morph_01__986_26.min1.thm12017-02-06 12:45 1.9K 
[ ]morph_01__987_26.min1.thm12017-02-06 12:45 1.1K 
[ ]morph_01__988_29.min1.thm12017-02-06 12:45 2.3K 
[ ]morph_01__990_30.min1.thm12017-02-06 12:45 2.9K 
[ ]morph_01__992_36.min1.thm12017-02-06 12:45 706  
[ ]morph_01__992_36.min1.thm1.tptp2017-02-06 16:47 646  
[ ]morph_01__1000_72.min1.thm12017-02-06 12:45 2.6K 
[ ]morph_01__1004_31.min1.thm12017-02-06 12:45 752  
[ ]morph_01__1006_38.min1.thm12017-02-06 12:45 2.1K 
[ ]morph_01__1008_22.min1.thm12017-02-06 12:45 1.9K 
[ ]morph_01__1009_17.min1.thm12017-02-06 12:45 1.4K 
[ ]morph_01__1010_35.min1.thm12017-02-06 12:45 677  
[ ]morph_01__1010_35.min1.thm1.tptp2017-02-06 16:47 593  
[ ]morph_01__1013_24.min1.thm12017-02-06 12:45 2.6K 
[ ]morph_01__1015_22.min1.thm12017-02-06 12:45 1.4K 
[ ]morph_01__1021_34.min1.thm12017-02-06 12:45 2.4K 
[ ]morph_01__1023_39.min1.thm12017-02-06 12:45 1.3K 
[ ]morph_01__1025_70.min1.thm12017-02-06 12:45 2.3K 
[ ]morph_01__1030_26.min1.thm12017-02-06 12:45 644  
[ ]morph_01__1032_36.min1.thm12017-02-06 12:45 2.2K 
[ ]morph_01__1034_29.min1.thm12017-02-06 12:45 3.1K 
[ ]morph_01__1036_34.min1.thm12017-02-06 12:45 706  
[ ]morph_01__1036_34.min1.thm1.tptp2017-02-06 16:47 646  
[ ]morph_01__1049_30.min1.thm12017-02-06 12:45 2.7K 
[ ]morph_01__1055_29.min1.thm12017-02-06 12:45 902  
[ ]morph_01__1057_74.min1.thm12017-02-06 12:45 2.2K 
[ ]morph_01__1058_27.min1.thm12017-02-06 12:45 2.1K 
[ ]morph_01__1059_30.min1.thm12017-02-06 12:45 1.0K 
[ ]morph_01__1065_73.min1.thm12017-02-06 12:45 2.6K 
[ ]morph_01__1072_25.min1.thm12017-02-06 12:45 2.4K 
[ ]morph_01__1073_31.min1.thm12017-02-06 12:45 1.6K 
[ ]morph_01__1074_33.min1.thm12017-02-06 12:45 1.8K 
[ ]morph_01__1076_26.min1.thm12017-02-06 12:45 2.6K 
[ ]morph_01__1078_31.min1.thm12017-02-06 12:45 3.0K 
[ ]morph_01__1080_38.min1.thm12017-02-06 12:45 710  
[ ]morph_01__1080_38.min1.thm1.tptp2017-02-06 16:47 650  
[ ]morph_01__1099_48.min1.thm12017-02-06 12:45 478  
[ ]morph_01__1101_31.min1.thm12017-02-06 12:45 1.2K 
[ ]morph_01__1102_64.min1.thm12017-02-06 12:45 1.0K 
[ ]morph_01__1112_57.min1.thm12017-02-06 12:45 1.6K 
[ ]morph_01__1113_23.min1.thm12017-02-06 12:45 732  
[ ]morph_01__1113_23.min1.thm1.tptp2017-02-06 16:47 662  
[ ]morph_01__1115_16.min1.thm12017-02-06 12:45 712  
[ ]morph_01__1115_16.min1.thm1.tptp2017-02-06 16:47 647  
[ ]morph_01__1128_48.min1.thm12017-02-06 12:45 478  
[ ]morph_01__1150_48.min1.thm12017-02-06 12:45 478  
[ ]morph_01__1152_31.min1.thm12017-02-06 12:45 1.3K 
[ ]morph_01__1153_62.min1.thm12017-02-06 12:45 1.6K 
[ ]morph_01__1163_55.min1.thm12017-02-06 12:45 1.6K 
[ ]morph_01__1164_23.min1.thm12017-02-06 12:45 732  
[ ]morph_01__1164_23.min1.thm1.tptp2017-02-06 16:47 662  
[ ]morph_01__1166_16.min1.thm12017-02-06 12:45 712  
[ ]morph_01__1166_16.min1.thm1.tptp2017-02-06 16:47 647  
[ ]morph_01__1178_43.min1.thm12017-02-06 12:45 478  
[ ]morph_01__1197_30.min1.thm12017-02-06 12:45 1.5K 
[ ]morph_01__1199_73.min1.thm12017-02-06 12:45 1.8K 
[ ]morph_01__1204_36.min1.thm12017-02-06 12:45 1.9K 
[ ]morph_01__1206_62.min1.thm12017-02-06 12:45 1.6K 
[ ]morph_01__1209_61.min1.thm12017-02-06 12:45 1.3K 
[ ]morph_01__1211_6.min1.thm12017-02-06 12:45 568  
[ ]morph_01__1211_6.min1.thm1.tptp2017-02-06 16:47 508  
[ ]morph_01__1219_32.min1.thm12017-02-06 12:45 3.0K 
[ ]morph_01__1220_28.min1.thm12017-02-06 12:45 3.0K 
[ ]morph_01__1227_42.min1.thm12017-02-06 12:45 2.6K 
[ ]morph_01__1228_40.min1.thm12017-02-06 12:45 2.3K 
[ ]morph_01__1229_19.min1.thm12017-02-06 12:45 2.5K 
[ ]morph_01__1244_30.min1.thm12017-02-06 12:45 1.6K 
[ ]morph_01__1245_38.min1.thm12017-02-06 12:45 2.3K 
[ ]morph_01__1246_72.min1.thm12017-02-06 12:45 1.8K 
[ ]morph_01__1251_37.min1.thm12017-02-06 12:45 1.9K 
[ ]morph_01__1253_27.min1.thm12017-02-06 12:45 2.3K 
[ ]morph_01__1254_62.min1.thm12017-02-06 12:45 1.6K 
[ ]morph_01__1257_60.min1.thm12017-02-06 12:45 1.3K 
[ ]morph_01__1259_6.min1.thm12017-02-06 12:45 572  
[ ]morph_01__1259_6.min1.thm1.tptp2017-02-06 16:47 512  
[ ]morph_01__1267_33.min1.thm12017-02-06 12:45 2.2K 
[ ]morph_01__1268_29.min1.thm12017-02-06 12:45 2.2K 
[ ]morph_01__1275_41.min1.thm12017-02-06 12:45 2.6K 
[ ]morph_01__1276_37.min1.thm12017-02-06 12:45 2.3K 
[ ]morph_01__1277_19.min1.thm12017-02-06 12:45 2.5K 
[ ]morph_01__1288_38.min1.thm12017-02-06 12:45 1.9K 
[ ]morph_01__1289_47.min1.thm12017-02-06 12:45 2.3K 
[ ]morph_01__1291_37.min1.thm12017-02-06 12:45 2.2K 
[ ]morph_01__1292_38.min1.thm12017-02-06 12:45 1.8K 
[ ]morph_01__1293_48.min1.thm12017-02-06 12:45 2.3K 
[ ]morph_01__1300_67.min1.thm12017-02-06 12:45 2.4K 
[ ]morph_01__1303_31.min1.thm12017-02-06 12:45 2.3K 
[ ]morph_01__1304_39.min1.thm12017-02-06 12:45 2.9K 
[ ]morph_01__1305_64.min1.thm12017-02-06 12:45 2.4K 
[ ]morph_01__1306_21.min1.thm12017-02-06 12:45 2.8K 
[ ]morph_01__1307_21.min1.thm12017-02-06 12:45 1.6K 
[ ]morph_01__1308_31.min1.thm12017-02-06 12:45 2.3K 
[ ]morph_01__1309_38.min1.thm12017-02-06 12:45 3.4K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80