Index of /~mptp/7.13.01_4.181.1147/mptp/ilp0/graph_4

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]graph_4__56_31.min1.thm12017-02-06 12:46 811  
[ ]graph_4__57_29.min1.thm12017-02-06 12:46 811  
[ ]graph_4__58_17.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__74_31.min1.thm12017-02-06 12:46 811  
[ ]graph_4__75_29.min1.thm12017-02-06 12:46 811  
[ ]graph_4__76_17.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_4__87_13.min1.thm12017-02-06 12:46 129  
[ ]graph_4__95_13.min1.thm12017-02-06 12:46 129  
[ ]graph_4__106_21.min1.thm12017-02-06 12:46 678  
[ ]graph_4__115_21.min1.thm12017-02-06 12:46 678  
[ ]graph_4__120_17.min1.thm12017-02-06 12:46 385  
[ ]graph_4__120_17.min1.thm1.tptp2017-02-06 16:47 305  
[ ]graph_4__138_25.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__146_19.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__157_25.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__165_18.min1.thm12017-02-06 12:46 947  
[ ]graph_4__168_30.min1.thm12017-02-06 12:46 470  
[ ]graph_4__171_14.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_4__172_37.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__173_11.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__174_16.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__179_17.min1.thm12017-02-06 12:46 910  
[ ]graph_4__182_14.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__183_18.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_4__184_19.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__186_14.min1.thm12017-02-06 12:46 346  
[ ]graph_4__195_25.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__201_16.min1.thm12017-02-06 12:46 939  
[ ]graph_4__204_30.min1.thm12017-02-06 12:46 462  
[ ]graph_4__207_14.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_4__208_35.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__209_11.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__210_16.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__211_14.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__212_19.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_4__218_14.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__219_18.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_4__220_17.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__230_25.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__235_15.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_4__236_35.min1.thm12017-02-06 12:46 969  
[ ]graph_4__237_11.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__238_16.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__242_22.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__244_19.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__245_33.min1.thm12017-02-06 12:46 905  
[ ]graph_4__246_62.min1.thm12017-02-06 12:46 641  
[ ]graph_4__249_17.min1.thm12017-02-06 12:46 894  
[ ]graph_4__252_32.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__253_17.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__254_22.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__256_19.min1.thm12017-02-06 12:46 533  
[ ]graph_4__256_19.min1.thm1.tptp2017-02-06 16:47 471  
[ ]graph_4__261_9.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__264_22.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_4__266_20.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_4__267_33.min1.thm12017-02-06 12:46 905  
[ ]graph_4__268_62.min1.thm12017-02-06 12:46 667  
[ ]graph_4__274_32.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__275_17.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_4__276_22.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__278_19.min1.thm12017-02-06 12:46 626  
[ ]graph_4__288_30.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_4__299_15.min1.thm12017-02-06 12:46 188  
[ ]graph_4__309_21.min1.thm12017-02-06 12:46 276  
[ ]graph_4__311_24.min1.thm12017-02-06 12:46 589  
[ ]graph_4__314_24.min1.thm12017-02-06 12:46 592  
[ ]graph_4__317_20.min1.thm12017-02-06 12:46 470  
[ ]graph_4__324_78.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__332_16.min1.thm12017-02-06 12:46 817  
[ ]graph_4__333_43.min1.thm12017-02-06 12:46 692  
[ ]graph_4__334_15.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_4__335_21.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_4__336_21.min1.thm12017-02-06 12:46 276  
[ ]graph_4__339_44.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_4__341_38.min1.thm12017-02-06 12:46 2.7K 
[ ]graph_4__342_34.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__344_31.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_4__345_41.min1.thm12017-02-06 12:46 915  
[ ]graph_4__351_40.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_4__352_24.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_4__353_28.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_4__354_34.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_4__355_30.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__357_27.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__358_41.min1.thm12017-02-06 12:46 915  
[ ]graph_4__362_20.min1.thm12017-02-06 12:46 499  
[ ]graph_4__364_60.min1.thm12017-02-06 12:46 691  
[ ]graph_4__371_17.min1.thm12017-02-06 12:46 242  
[ ]graph_4__375_22.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__376_37.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_4__378_40.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__379_18.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__380_39.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_4__382_48.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__384_18.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__386_25.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__390_20.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_4__391_28.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_4__393_24.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_4__394_22.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_4__395_37.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_4__397_40.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__398_18.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__401_48.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_4__403_18.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__406_25.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__410_18.min1.thm12017-02-06 12:46 431  
[ ]graph_4__410_18.min1.thm1.tptp2017-02-06 16:47 350  
[ ]graph_4__416_17.min1.thm12017-02-06 12:46 937  
[ ]graph_4__418_27.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_4__420_8.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_4__422_18.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__425_14.min1.thm12017-02-06 12:46 508  
[ ]graph_4__436_26.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__437_26.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__444_18.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__445_15.min1.thm12017-02-06 12:46 376  
[ ]graph_4__446_13.min1.thm12017-02-06 12:46 282  
[ ]graph_4__449_17.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_4__452_41.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__455_41.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__456_21.min1.thm12017-02-06 12:46 753  
[ ]graph_4__461_18.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_4__467_19.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_4__471_55.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__475_55.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__476_21.min1.thm12017-02-06 12:46 754  
[ ]graph_4__489_14.min1.thm12017-02-06 12:46 618  
[ ]graph_4__490_15.min1.thm12017-02-06 12:46 882  
[ ]graph_4__500_25.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__505_13.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_4__510_19.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_4__517_17.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_4__518_19.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__520_19.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__522_15.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__524_23.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__525_15.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__526_23.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_4__528_25.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__531_19.min1.thm12017-02-06 12:46 945  
[ ]graph_4__533_21.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__542_15.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_4__561_37.min1.thm12017-02-06 12:46 616  
[ ]graph_4__563_34.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_4__571_15.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__572_22.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__573_45.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__574_41.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__577_13.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__581_13.min1.thm12017-02-06 12:46 3.1K 
[ ]graph_4__587_15.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__589_18.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__594_36.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__595_13.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__597_18.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__598_22.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_4__603_14.min1.thm12017-02-06 12:46 426  
[ ]graph_4__620_25.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__621_13.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__631_11.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__639_19.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_4__642_12.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__646_14.min1.thm12017-02-06 12:46 3.4K 
[ ]graph_4__650_17.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_4__654_14.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_4__655_18.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__657_7.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__659_12.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_4__663_14.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__664_20.min1.thm12017-02-06 12:46 892  
[ ]graph_4__678_30.min1.thm12017-02-06 12:46 781  
[ ]graph_4__679_30.min1.thm12017-02-06 12:46 781  
[ ]graph_4__680_27.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__681_27.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__686_40.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__696_14.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__704_17.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__705_22.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__709_26.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_4__711_25.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_4__712_25.min1.thm12017-02-06 12:46 943  
[ ]graph_4__713_33.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__717_66.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_4__723_24.min1.thm12017-02-06 12:46 430  
[ ]graph_4__724_43.min1.thm12017-02-06 12:46 488  
[ ]graph_4__726_17.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__727_22.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__728_19.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__732_25.min1.thm12017-02-06 12:46 918  
[ ]graph_4__736_19.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_4__741_40.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__744_29.min1.thm12017-02-06 12:46 3.7K 
[ ]graph_4__745_39.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__750_21.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__752_36.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__756_22.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_4__758_31.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_4__761_42.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_4__775_19.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_4__776_24.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_4__782_27.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_4__783_33.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__789_49.min1.thm12017-02-06 12:46 2.7K 
[ ]graph_4__794_28.min1.thm12017-02-06 12:46 462  
[ ]graph_4__795_43.min1.thm12017-02-06 12:46 488  
[ ]graph_4__797_17.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__798_22.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__799_19.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__802_25.min1.thm12017-02-06 12:46 918  
[ ]graph_4__806_19.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_4__811_44.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__814_29.min1.thm12017-02-06 12:46 3.7K 
[ ]graph_4__815_43.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__820_21.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__822_36.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__826_22.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_4__828_31.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_4__832_49.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_4__835_37.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__839_16.min1.thm12017-02-06 12:46 606  
[ ]graph_4__855_27.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__856_27.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__858_13.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_4__861_32.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__864_19.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_4__865_49.min1.thm12017-02-06 12:46 641  
[ ]graph_4__872_14.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__873_16.min1.thm12017-02-06 12:46 912  
[ ]graph_4__881_13.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__882_18.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__886_22.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_4__888_21.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__889_21.min1.thm12017-02-06 12:46 919  
[ ]graph_4__890_29.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__899_20.min1.thm12017-02-06 12:46 418  
[ ]graph_4__900_39.min1.thm12017-02-06 12:46 472  
[ ]graph_4__902_13.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_4__903_18.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__904_15.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__907_21.min1.thm12017-02-06 12:46 870  
[ ]graph_4__910_15.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_4__915_36.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__918_25.min1.thm12017-02-06 12:46 3.6K 
[ ]graph_4__919_35.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__924_17.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_4__926_32.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__930_18.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_4__932_27.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__946_20.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_4__947_17.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__948_69.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__967_58.min1.thm12017-02-06 12:46 836  
[ ]graph_4__968_36.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__976_12.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__980_16.min1.thm12017-02-06 12:46 594  
[ ]graph_4__990_58.min1.thm12017-02-06 12:46 836  
[ ]graph_4__991_27.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__992_33.min1.thm12017-02-06 12:46 458  
[ ]graph_4__992_33.min1.thm1.tptp2017-02-06 16:47 383  
[ ]graph_4__1000_12.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__1004_16.min1.thm12017-02-06 12:46 756  
[ ]graph_4__1012_44.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_4__1020_13.min1.thm12017-02-06 12:46 246  
[ ]graph_4__1022_25.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__1030_16.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_4__1031_19.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_4__1033_26.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_4__1034_15.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__1035_14.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__1047_45.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__1056_39.min1.thm12017-02-06 12:46 616  
[ ]graph_4__1057_27.min1.thm12017-02-06 12:46 887  
[ ]graph_4__1071_28.min1.thm12017-02-06 12:46 825  
[ ]graph_4__1086_25.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_4__1087_14.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_4__1091_12.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__1092_34.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__1093_24.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__1094_38.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_4__1117_25.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__1118_14.min1.thm12017-02-06 12:46 841  
[ ]graph_4__1119_40.min1.thm12017-02-06 12:46 674  
[ ]graph_4__1120_16.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__1122_18.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__1123_20.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__1125_14.min1.thm12017-02-06 12:46 451  
[ ]graph_4__1128_17.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__1129_20.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__1131_18.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__1132_17.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_4__1134_24.min1.thm12017-02-06 12:46 2.7K 
[ ]graph_4__1135_15.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__1136_18.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_4__1139_12.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__1146_52.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__1148_17.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_4__1149_12.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__1150_20.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__1154_27.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__1155_27.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__1156_15.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__1157_22.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__1158_46.min1.thm12017-02-06 12:46 783  
[ ]graph_4__1161_21.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__1163_54.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__1165_9.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__1170_12.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__1189_42.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__1190_14.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_4__1192_21.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_4__1194_43.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__1201_18.min1.thm12017-02-06 12:46 755  
[ ]graph_4__1202_20.min1.thm12017-02-06 12:46 803  
[ ]graph_4__1203_17.min1.thm12017-02-06 12:46 812  
[ ]graph_4__1207_14.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_4__1210_19.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__1211_17.min1.thm12017-02-06 12:46 918  
[ ]graph_4__1212_21.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_4__1214_37.min1.thm12017-02-06 12:46 363  
[ ]graph_4__1214_37.min1.thm1.tptp2017-02-06 16:47 285  
[ ]graph_4__1227_44.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__1228_15.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__1230_14.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__1231_19.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_4__1232_21.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_4__1234_44.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__1241_18.min1.thm12017-02-06 12:46 755  
[ ]graph_4__1242_21.min1.thm12017-02-06 12:46 803  
[ ]graph_4__1243_18.min1.thm12017-02-06 12:46 812  
[ ]graph_4__1247_15.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__1249_14.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__1250_19.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_4__1252_20.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__1253_18.min1.thm12017-02-06 12:46 918  
[ ]graph_4__1256_39.min1.thm12017-02-06 12:46 363  
[ ]graph_4__1256_39.min1.thm1.tptp2017-02-06 16:47 285  
[ ]graph_4__1265_19.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_4__1273_31.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__1275_20.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_4__1280_20.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__1291_20.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__1292_31.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__1293_30.min1.thm12017-02-06 12:46 597  
[ ]graph_4__1293_30.min1.thm1.tptp2017-02-06 16:47 535  
[ ]graph_4__1297_18.min1.thm12017-02-06 12:46 595  
[ ]graph_4__1297_18.min1.thm1.tptp2017-02-06 16:47 533  
[ ]graph_4__1299_65.min1.thm12017-02-06 12:46 630  
[ ]graph_4__1300_24.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_4__1303_68.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__1304_24.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_4__1308_24.min1.thm12017-02-06 12:46 860  
[ ]graph_4__1308_24.min1.thm1.tptp2017-02-06 16:47 808  
[ ]graph_4__1317_13.min1.thm12017-02-06 12:46 630  
[ ]graph_4__1319_31.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_4__1326_14.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__1327_13.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__1328_21.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_4__1330_39.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__1331_34.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__1337_11.min1.thm12017-02-06 12:46 794  
[ ]graph_4__1340_61.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_4__1342_17.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__1343_20.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_4__1351_28.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__1354_25.min1.thm12017-02-06 12:46 865  
[ ]graph_4__1356_27.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__1357_22.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_4__1359_28.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__1360_22.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_4__1362_28.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_4__1371_18.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_4__1372_22.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__1373_17.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__1374_45.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__1380_17.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__1389_27.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__1397_16.min1.thm12017-02-06 12:46 692  
[ ]graph_4__1398_25.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__1399_22.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__1400_30.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__1401_20.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__1403_8.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_4__1407_11.min1.thm12017-02-06 12:46 627  
[ ]graph_4__1408_20.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_4__1409_15.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__1411_15.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__1415_15.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_4__1416_22.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__1419_25.min1.thm12017-02-06 12:46 581  
[ ]graph_4__1419_25.min1.thm1.tptp2017-02-06 16:47 529  
[ ]graph_4__1426_18.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_4__1427_22.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__1428_17.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__1429_45.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__1434_25.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__1442_32.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__1450_16.min1.thm12017-02-06 12:46 692  
[ ]graph_4__1451_25.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__1452_22.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__1453_20.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__1454_23.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__1455_41.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__1469_22.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__1472_25.min1.thm12017-02-06 12:46 581  
[ ]graph_4__1472_25.min1.thm1.tptp2017-02-06 16:47 529  
[ ]graph_4__1473_36.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_4__1482_21.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__1483_31.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__1484_30.min1.thm12017-02-06 12:46 602  
[ ]graph_4__1484_30.min1.thm1.tptp2017-02-06 16:47 540  
[ ]graph_4__1488_18.min1.thm12017-02-06 12:46 600  
[ ]graph_4__1488_18.min1.thm1.tptp2017-02-06 16:47 538  
[ ]graph_4__1490_64.min1.thm12017-02-06 12:46 634  
[ ]graph_4__1491_25.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_4__1494_71.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__1495_25.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_4__1499_26.min1.thm12017-02-06 12:46 860  
[ ]graph_4__1499_26.min1.thm1.tptp2017-02-06 16:47 808  
[ ]graph_4__1508_12.min1.thm12017-02-06 12:46 634  
[ ]graph_4__1509_20.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_4__1510_32.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_4__1517_15.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__1518_15.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__1519_18.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_4__1520_21.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_4__1522_39.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__1523_34.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__1529_10.min1.thm12017-02-06 12:46 794  
[ ]graph_4__1533_26.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_4__1534_15.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__1536_13.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__1537_12.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__1538_20.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__1542_16.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_4__1543_26.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_4__1544_34.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_4__1545_54.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__1547_52.min1.thm12017-02-06 12:46 810  
[ ]graph_4__1553_15.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__1558_29.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__1561_25.min1.thm12017-02-06 12:46 867  
[ ]graph_4__1563_27.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__1564_22.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_4__1566_30.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__1567_22.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_4__1569_30.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_4__1578_18.min1.thm12017-02-06 12:46 887  
[ ]graph_4__1579_22.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__1580_17.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_4__1581_45.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__1587_17.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__1596_29.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__1604_16.min1.thm12017-02-06 12:46 692  
[ ]graph_4__1605_26.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__1606_23.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__1607_32.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__1608_20.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__1610_8.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_4__1614_10.min1.thm12017-02-06 12:46 627  
[ ]graph_4__1615_21.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_4__1616_15.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__1618_15.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__1622_15.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_4__1626_26.min1.thm12017-02-06 12:46 583  
[ ]graph_4__1626_26.min1.thm1.tptp2017-02-06 16:47 531  
[ ]graph_4__1628_15.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__1644_25.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__1652_33.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__1660_16.min1.thm12017-02-06 12:46 692  
[ ]graph_4__1661_26.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__1662_23.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__1663_20.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__1664_24.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__1665_41.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__1683_40.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_4__1689_19.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_4__1692_14.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__1693_13.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__1710_16.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__1711_14.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__1712_21.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_4__1714_43.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__1721_18.min1.thm12017-02-06 12:46 748  
[ ]graph_4__1722_20.min1.thm12017-02-06 12:46 797  
[ ]graph_4__1723_17.min1.thm12017-02-06 12:46 806  
[ ]graph_4__1727_19.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_4__1728_14.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__1730_19.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__1731_17.min1.thm12017-02-06 12:46 881  
[ ]graph_4__1732_21.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_4__1734_37.min1.thm12017-02-06 12:46 361  
[ ]graph_4__1734_37.min1.thm1.tptp2017-02-06 16:47 283  
[ ]graph_4__1748_17.min1.thm12017-02-06 12:46 960  
[ ]graph_4__1749_14.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__1750_21.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_4__1752_44.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__1759_18.min1.thm12017-02-06 12:46 748  
[ ]graph_4__1760_21.min1.thm12017-02-06 12:46 797  
[ ]graph_4__1761_18.min1.thm12017-02-06 12:46 806  
[ ]graph_4__1765_20.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_4__1766_14.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__1768_20.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__1769_18.min1.thm12017-02-06 12:46 881  
[ ]graph_4__1772_39.min1.thm12017-02-06 12:46 361  
[ ]graph_4__1772_39.min1.thm1.tptp2017-02-06 16:47 283  
[ ]graph_4__1777_22.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__1778_15.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__1779_22.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__1780_46.min1.thm12017-02-06 12:46 783  
[ ]graph_4__1783_54.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__1785_22.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_4__1793_16.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__1794_22.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__1795_19.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__1799_26.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__1810_14.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__1811_13.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__1812_21.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_4__1814_42.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__1816_54.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__1821_35.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__1822_32.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_4__1830_18.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_4__1831_22.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__1832_17.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__1833_45.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__1838_25.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__1846_32.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__1854_16.min1.thm12017-02-06 12:46 687  
[ ]graph_4__1855_25.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__1856_22.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__1857_20.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__1858_23.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__1859_41.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__1873_22.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__1875_31.min1.thm12017-02-06 12:46 578  
[ ]graph_4__1875_31.min1.thm1.tptp2017-02-06 16:47 526  
[ ]graph_4__1876_24.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__1884_15.min1.thm12017-02-06 12:46 960  
[ ]graph_4__1885_13.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__1886_21.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_4__1888_43.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__1896_37.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__1897_34.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_4__1913_25.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__1921_34.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__1929_16.min1.thm12017-02-06 12:46 692  
[ ]graph_4__1930_26.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__1931_23.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__1932_20.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__1933_24.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__1934_41.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__1952_19.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__1956_17.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__1957_20.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__1959_19.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__1960_17.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_4__1962_25.min1.thm12017-02-06 12:46 2.7K 
[ ]graph_4__1963_16.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__1966_18.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_4__1982_12.min1.thm12017-02-06 12:46 622  
[ ]graph_4__1984_21.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_4__1986_43.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__1993_18.min1.thm12017-02-06 12:46 748  
[ ]graph_4__1994_20.min1.thm12017-02-06 12:46 797  
[ ]graph_4__1995_17.min1.thm12017-02-06 12:46 806  
[ ]graph_4__1999_15.min1.thm12017-02-06 12:46 800  
[ ]graph_4__2002_19.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__2003_17.min1.thm12017-02-06 12:46 821  
[ ]graph_4__2004_21.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_4__2006_37.min1.thm12017-02-06 12:46 361  
[ ]graph_4__2006_37.min1.thm1.tptp2017-02-06 16:47 283  
[ ]graph_4__2020_11.min1.thm12017-02-06 12:46 622  
[ ]graph_4__2021_19.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_4__2022_21.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_4__2024_44.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__2031_18.min1.thm12017-02-06 12:46 748  
[ ]graph_4__2032_21.min1.thm12017-02-06 12:46 797  
[ ]graph_4__2033_18.min1.thm12017-02-06 12:46 806  
[ ]graph_4__2037_14.min1.thm12017-02-06 12:46 800  
[ ]graph_4__2038_19.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_4__2040_20.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__2041_18.min1.thm12017-02-06 12:46 821  
[ ]graph_4__2042_21.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_4__2044_39.min1.thm12017-02-06 12:46 361  
[ ]graph_4__2044_39.min1.thm1.tptp2017-02-06 16:47 283  
[ ]graph_4__2054_26.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_4__2065_11.min1.thm12017-02-06 12:46 622  
[ ]graph_4__2067_21.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_4__2069_42.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__2072_29.min1.thm12017-02-06 12:46 865  
[ ]graph_4__2074_31.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__2082_18.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_4__2083_22.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__2084_17.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_4__2085_45.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__2091_17.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__2100_27.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__2108_16.min1.thm12017-02-06 12:46 687  
[ ]graph_4__2109_25.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__2110_22.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__2111_30.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__2112_20.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__2114_8.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_4__2118_11.min1.thm12017-02-06 12:46 623  
[ ]graph_4__2119_20.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__2120_15.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__2122_15.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__2126_15.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_4__2127_22.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__2129_31.min1.thm12017-02-06 12:46 578  
[ ]graph_4__2129_31.min1.thm1.tptp2017-02-06 16:47 526  
[ ]graph_4__2130_24.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__2138_10.min1.thm12017-02-06 12:46 622  
[ ]graph_4__2139_18.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_4__2140_21.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_4__2142_43.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__2145_29.min1.thm12017-02-06 12:46 865  
[ ]graph_4__2147_31.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__2155_18.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__2164_17.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__2173_29.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__2181_16.min1.thm12017-02-06 12:46 688  
[ ]graph_4__2182_26.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__2183_23.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__2184_32.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__2185_20.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__2187_8.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_4__2191_10.min1.thm12017-02-06 12:46 623  
[ ]graph_4__2192_21.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_4__2193_15.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__2195_15.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__2199_15.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_4__2203_19.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_4__2215_11.min1.thm12017-02-06 12:46 216  
[ ]graph_4__2218_39.min1.thm12017-02-06 12:46 342  
[ ]graph_4__2218_39.min1.thm1.tptp2017-02-06 16:47 270  
[ ]graph_4__2219_42.min1.thm12017-02-06 12:46 342  
[ ]graph_4__2219_42.min1.thm1.tptp2017-02-06 16:47 270  
[ ]graph_4__2220_54.min1.thm12017-02-06 12:46 749  
[ ]graph_4__2222_38.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__2223_43.min1.thm12017-02-06 12:46 349  
[ ]graph_4__2223_43.min1.thm1.tptp2017-02-06 16:47 263  
[ ]graph_4__2224_15.min1.thm12017-02-06 12:46 304  
[ ]graph_4__2234_41.min1.thm12017-02-06 12:46 344  
[ ]graph_4__2234_41.min1.thm1.tptp2017-02-06 16:47 272  
[ ]graph_4__2235_44.min1.thm12017-02-06 12:46 344  
[ ]graph_4__2235_44.min1.thm1.tptp2017-02-06 16:47 272  
[ ]graph_4__2237_39.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__2238_44.min1.thm12017-02-06 12:46 274  
[ ]graph_4__2239_46.min1.thm12017-02-06 12:46 306  
[ ]graph_4__2240_20.min1.thm12017-02-06 12:46 312  
[ ]graph_4__2243_23.min1.thm12017-02-06 12:46 3.0K 
[ ]graph_4__2253_24.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_4__2262_65.min1.thm12017-02-06 12:46 933  
[ ]graph_4__2265_6.min1.thm12017-02-06 12:46 673  
[ ]graph_4__2269_62.min1.thm12017-02-06 12:46 877  
[ ]graph_4__2272_21.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_4__2283_56.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__2284_42.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_4__2291_11.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__2294_16.min1.thm12017-02-06 12:46 963  
[ ]graph_4__2295_17.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__2298_16.min1.thm12017-02-06 12:46 963  
[ ]graph_4__2299_21.min1.thm12017-02-06 12:46 789  
[ ]graph_4__2300_30.min1.thm12017-02-06 12:46 893  
[ ]graph_4__2301_34.min1.thm12017-02-06 12:46 919  
[ ]graph_4__2302_24.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__2303_21.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__2307_14.min1.thm12017-02-06 12:46 686  
[ ]graph_4__2319_17.min1.thm12017-02-06 12:46 639  
[ ]graph_4__2324_26.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__2325_16.min1.thm12017-02-06 12:46 2.8K 
[ ]graph_4__2326_11.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__2328_15.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_4__2330_13.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_4__2339_14.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_4__2342_15.min1.thm12017-02-06 12:46 891  
[ ]graph_4__2343_19.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__2344_16.min1.thm12017-02-06 12:46 892  
[ ]graph_4__2345_20.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_4__2346_8.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_4__2354_4.min1.thm12017-02-06 12:46 1.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80