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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]graph_5__50_17.min1.thm12017-02-06 12:46 525  
[ ]graph_5__51_17.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__63_13.min1.thm12017-02-06 12:46 225  
[ ]graph_5__66_43.min1.thm12017-02-06 12:46 258  
[ ]graph_5__68_17.min1.thm12017-02-06 12:46 573  
[ ]graph_5__68_17.min1.thm1.tptp2017-02-06 16:47 509  
[ ]graph_5__73_20.min1.thm12017-02-06 12:46 435  
[ ]graph_5__80_36.min1.thm12017-02-06 12:46 750  
[ ]graph_5__85_20.min1.thm12017-02-06 12:46 859  
[ ]graph_5__86_18.min1.thm12017-02-06 12:46 611  
[ ]graph_5__86_18.min1.thm1.tptp2017-02-06 16:47 547  
[ ]graph_5__88_17.min1.thm12017-02-06 12:46 515  
[ ]graph_5__88_17.min1.thm1.tptp2017-02-06 16:47 457  
[ ]graph_5__108_30.min1.thm12017-02-06 12:46 849  
[ ]graph_5__110_20.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__111_15.min1.thm12017-02-06 12:46 372  
[ ]graph_5__115_17.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__116_53.min1.thm12017-02-06 12:46 710  
[ ]graph_5__117_30.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__118_20.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__119_19.min1.thm12017-02-06 12:46 695  
[ ]graph_5__125_44.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__126_17.min1.thm12017-02-06 12:46 665  
[ ]graph_5__127_23.min1.thm12017-02-06 12:46 831  
[ ]graph_5__129_27.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__130_17.min1.thm12017-02-06 12:46 502  
[ ]graph_5__147_17.min1.thm12017-02-06 12:46 775  
[ ]graph_5__148_13.min1.thm12017-02-06 12:46 271  
[ ]graph_5__152_25.min1.thm12017-02-06 12:46 335  
[ ]graph_5__152_25.min1.thm1.tptp2017-02-06 16:47 270  
[ ]graph_5__153_21.min1.thm12017-02-06 12:46 614  
[ ]graph_5__157_20.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_5__158_21.min1.thm12017-02-06 12:46 541  
[ ]graph_5__161_16.min1.thm12017-02-06 12:46 448  
[ ]graph_5__162_17.min1.thm12017-02-06 12:46 748  
[ ]graph_5__173_14.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__175_13.min1.thm12017-02-06 12:46 362  
[ ]graph_5__176_39.min1.thm12017-02-06 12:46 305  
[ ]graph_5__177_33.min1.thm12017-02-06 12:46 310  
[ ]graph_5__177_33.min1.thm1.tptp2017-02-06 16:47 232  
[ ]graph_5__179_13.min1.thm12017-02-06 12:46 264  
[ ]graph_5__181_17.min1.thm12017-02-06 12:46 637  
[ ]graph_5__182_13.min1.thm12017-02-06 12:46 394  
[ ]graph_5__183_21.min1.thm12017-02-06 12:46 716  
[ ]graph_5__184_29.min1.thm12017-02-06 12:46 773  
[ ]graph_5__193_19.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__198_11.min1.thm12017-02-06 12:46 866  
[ ]graph_5__199_17.min1.thm12017-02-06 12:46 470  
[ ]graph_5__210_14.min1.thm12017-02-06 12:46 230  
[ ]graph_5__225_15.min1.thm12017-02-06 12:46 505  
[ ]graph_5__226_41.min1.thm12017-02-06 12:46 480  
[ ]graph_5__227_38.min1.thm12017-02-06 12:46 588  
[ ]graph_5__231_15.min1.thm12017-02-06 12:46 303  
[ ]graph_5__235_22.min1.thm12017-02-06 12:46 681  
[ ]graph_5__240_22.min1.thm12017-02-06 12:46 871  
[ ]graph_5__243_32.min1.thm12017-02-06 12:46 609  
[ ]graph_5__244_33.min1.thm12017-02-06 12:46 883  
[ ]graph_5__248_33.min1.thm12017-02-06 12:46 742  
[ ]graph_5__255_22.min1.thm12017-02-06 12:46 880  
[ ]graph_5__260_22.min1.thm12017-02-06 12:46 779  
[ ]graph_5__263_33.min1.thm12017-02-06 12:46 701  
[ ]graph_5__267_33.min1.thm12017-02-06 12:46 924  
[ ]graph_5__272_16.min1.thm12017-02-06 12:46 858  
[ ]graph_5__272_16.min1.thm1.tptp2017-02-06 16:47 853  
[ ]graph_5__279_15.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__280_37.min1.thm12017-02-06 12:46 625  
[ ]graph_5__282_18.min1.thm12017-02-06 12:46 577  
[ ]graph_5__283_18.min1.thm12017-02-06 12:46 760  
[ ]graph_5__291_16.min1.thm12017-02-06 12:46 709  
[ ]graph_5__300_35.min1.thm12017-02-06 12:46 959  
[ ]graph_5__301_25.min1.thm12017-02-06 12:46 466  
[ ]graph_5__302_16.min1.thm12017-02-06 12:46 324  
[ ]graph_5__302_16.min1.thm1.tptp2017-02-06 16:47 238  
[ ]graph_5__313_20.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__314_17.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__320_20.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__336_48.min1.thm12017-02-06 12:46 751  
[ ]graph_5__337_28.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__338_28.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__341_15.min1.thm12017-02-06 12:46 238  
[ ]graph_5__344_21.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__360_15.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_5__362_18.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__363_11.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__365_18.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__373_41.min1.thm12017-02-06 12:46 494  
[ ]graph_5__373_41.min1.thm1.tptp2017-02-06 16:47 425  
[ ]graph_5__392_12.min1.thm12017-02-06 12:46 544  
[ ]graph_5__392_12.min1.thm1.tptp2017-02-06 16:47 474  
[ ]graph_5__393_19.min1.thm12017-02-06 12:46 801  
[ ]graph_5__395_21.min1.thm12017-02-06 12:46 578  
[ ]graph_5__396_22.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_5__402_37.min1.thm12017-02-06 12:46 631  
[ ]graph_5__403_15.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__405_18.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__406_35.min1.thm12017-02-06 12:46 449  
[ ]graph_5__411_14.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__412_37.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__415_15.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__419_21.min1.thm12017-02-06 12:46 664  
[ ]graph_5__420_24.min1.thm12017-02-06 12:46 907  
[ ]graph_5__432_39.min1.thm12017-02-06 12:46 638  
[ ]graph_5__433_17.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__435_14.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_5__436_27.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_5__440_14.min1.thm12017-02-06 12:46 351  
[ ]graph_5__440_14.min1.thm1.tptp2017-02-06 16:47 271  
[ ]graph_5__441_17.min1.thm12017-02-06 12:46 786  
[ ]graph_5__443_39.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__444_39.min1.thm12017-02-06 12:46 590  
[ ]graph_5__444_39.min1.thm1.tptp2017-02-06 16:47 523  
[ ]graph_5__445_34.min1.thm12017-02-06 12:46 844  
[ ]graph_5__446_28.min1.thm12017-02-06 12:46 854  
[ ]graph_5__447_38.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__448_17.min1.thm12017-02-06 12:46 543  
[ ]graph_5__464_28.min1.thm12017-02-06 12:46 708  
[ ]graph_5__472_30.min1.thm12017-02-06 12:46 372  
[ ]graph_5__472_30.min1.thm1.tptp2017-02-06 16:47 290  
[ ]graph_5__478_22.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__480_23.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_5__481_36.min1.thm12017-02-06 12:46 2.8K 
[ ]graph_5__483_26.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__484_20.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__494_15.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__495_20.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_5__501_24.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_5__502_25.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_5__504_17.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__506_14.min1.thm12017-02-06 12:46 3.8K 
[ ]graph_5__517_30.min1.thm12017-02-06 12:46 374  
[ ]graph_5__517_30.min1.thm1.tptp2017-02-06 16:47 292  
[ ]graph_5__524_24.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_5__526_17.min1.thm12017-02-06 12:46 671  
[ ]graph_5__527_20.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__536_24.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_5__540_23.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__542_24.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_5__543_25.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_5__544_23.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__546_27.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_5__548_28.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__555_22.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__556_21.min1.thm12017-02-06 12:46 837  
[ ]graph_5__563_22.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__564_21.min1.thm12017-02-06 12:46 837  
[ ]graph_5__576_28.min1.thm12017-02-06 12:46 708  
[ ]graph_5__583_13.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__585_13.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_5__586_19.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_5__600_19.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_5__602_23.min1.thm12017-02-06 12:46 2.7K 
[ ]graph_5__604_21.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_5__619_11.min1.thm12017-02-06 12:46 256  
[ ]graph_5__623_18.min1.thm12017-02-06 12:46 278  
[ ]graph_5__626_23.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__630_23.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__637_38.min1.thm12017-02-06 12:46 620  
[ ]graph_5__638_26.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__640_19.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_5__641_17.min1.thm12017-02-06 12:46 918  
[ ]graph_5__644_37.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__645_16.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__647_38.min1.thm12017-02-06 12:46 620  
[ ]graph_5__648_26.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__650_19.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_5__651_17.min1.thm12017-02-06 12:46 919  
[ ]graph_5__654_56.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_5__655_22.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_5__676_52.min1.thm12017-02-06 12:46 628  
[ ]graph_5__687_11.min1.thm12017-02-06 12:46 256  
[ ]graph_5__691_18.min1.thm12017-02-06 12:46 278  
[ ]graph_5__694_23.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__698_23.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__708_25.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__709_28.min1.thm12017-02-06 12:46 712  
[ ]graph_5__721_55.min1.thm12017-02-06 12:46 899  
[ ]graph_5__729_20.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_5__732_15.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__740_55.min1.thm12017-02-06 12:46 899  
[ ]graph_5__751_17.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__755_27.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__758_15.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__760_15.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_5__768_19.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__770_18.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__781_17.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__784_19.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_5__789_25.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_5__795_21.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__797_18.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__801_27.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__803_22.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__805_52.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_5__816_20.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_5__821_15.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__839_22.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_5__840_37.min1.thm12017-02-06 12:46 839  
[ ]graph_5__844_20.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_5__847_24.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_5__852_10.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__854_36.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_5__855_28.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__857_17.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__865_14.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_5__866_18.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__867_16.min1.thm12017-02-06 12:46 940  
[ ]graph_5__868_12.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__869_25.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_5__871_21.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__878_13.min1.thm12017-02-06 12:46 783  
[ ]graph_5__881_20.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__882_17.min1.thm12017-02-06 12:46 948  
[ ]graph_5__883_21.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__884_36.min1.thm12017-02-06 12:46 954  
[ ]graph_5__888_17.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__889_21.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__890_36.min1.thm12017-02-06 12:46 954  
[ ]graph_5__894_43.min1.thm12017-02-06 12:46 458  
[ ]graph_5__899_11.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__900_32.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_5__901_50.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__924_15.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_5__932_24.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__937_37.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__944_13.min1.thm12017-02-06 12:46 336  
[ ]graph_5__951_22.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__954_23.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_5__957_25.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__964_19.min1.thm12017-02-06 12:46 2.9K 
[ ]graph_5__968_21.min1.thm12017-02-06 12:46 2.9K 
[ ]graph_5__970_22.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__972_17.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__974_26.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__977_38.min1.thm12017-02-06 12:46 942  
[ ]graph_5__985_26.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_5__987_30.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_5__988_30.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__989_31.min1.thm12017-02-06 12:46 525  
[ ]graph_5__989_31.min1.thm1.tptp2017-02-06 16:47 454  
[ ]graph_5__997_22.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__1007_13.min1.thm12017-02-06 12:46 450  
[ ]graph_5__1012_15.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__1015_18.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_5__1025_29.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__1026_16.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__1027_15.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__1036_14.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__1037_39.min1.thm12017-02-06 12:46 472  
[ ]graph_5__1040_15.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__1041_22.min1.thm12017-02-06 12:46 3.9K 
[ ]graph_5__1048_33.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__1049_20.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__1059_13.min1.thm12017-02-06 12:46 250  
[ ]graph_5__1063_21.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_5__1072_18.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_5__1082_13.min1.thm12017-02-06 12:46 424  
[ ]graph_5__1086_21.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__1094_22.min1.thm12017-02-06 12:46 851  
[ ]graph_5__1104_13.min1.thm12017-02-06 12:46 250  
[ ]graph_5__1109_17.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__1113_26.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__1120_23.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__1130_18.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_5__1131_17.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__1136_36.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__1138_22.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_5__1157_25.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__1164_13.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__1169_18.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_5__1172_39.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_5__1173_17.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__1175_23.min1.thm12017-02-06 12:46 2.8K 
[ ]graph_5__1178_18.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__1179_19.min1.thm12017-02-06 12:46 2.8K 
[ ]graph_5__1180_23.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_5__1181_21.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__1194_11.min1.thm12017-02-06 12:46 130  
[ ]graph_5__1213_18.min1.thm12017-02-06 12:46 926  
[ ]graph_5__1215_16.min1.thm12017-02-06 12:46 437  
[ ]graph_5__1215_16.min1.thm1.tptp2017-02-06 16:47 359  
[ ]graph_5__1236_25.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__1238_18.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_5__1239_30.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__1244_22.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__1245_13.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__1248_34.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__1257_28.min1.thm12017-02-06 12:46 544  
[ ]graph_5__1259_18.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__1261_13.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__1263_15.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__1264_18.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__1269_15.min1.thm12017-02-06 12:46 2.8K 
[ ]graph_5__1271_13.min1.thm12017-02-06 12:46 2.8K 
[ ]graph_5__1277_23.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_5__1285_27.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_5__1297_28.min1.thm12017-02-06 12:46 544  
[ ]graph_5__1298_18.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__1300_19.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__1305_14.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__1311_23.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__1322_27.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__1341_27.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__1365_27.min1.thm12017-02-06 12:46 536  
[ ]graph_5__1366_25.min1.thm12017-02-06 12:46 840  
[ ]graph_5__1383_17.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__1384_35.min1.thm12017-02-06 12:46 448  
[ ]graph_5__1387_12.min1.thm12017-02-06 12:46 971  
[ ]graph_5__1388_35.min1.thm12017-02-06 12:46 449  
[ ]graph_5__1389_19.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_5__1394_55.min1.thm12017-02-06 12:46 899  
[ ]graph_5__1397_26.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__1403_17.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__1404_22.min1.thm12017-02-06 12:46 804  
[ ]graph_5__1407_15.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__1409_16.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_5__1410_18.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__1428_27.min1.thm12017-02-06 12:46 536  
[ ]graph_5__1429_19.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__1432_18.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__1433_35.min1.thm12017-02-06 12:46 971  
[ ]graph_5__1434_15.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__1435_21.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__1447_17.min1.thm12017-02-06 12:46 744  
[ ]graph_5__1454_50.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__1469_33.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__1481_18.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_5__1491_29.min1.thm12017-02-06 12:46 552  
[ ]graph_5__1492_27.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_5__1493_35.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__1502_27.min1.thm12017-02-06 12:46 711  
[ ]graph_5__1510_50.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__1525_24.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_5__1535_28.min1.thm12017-02-06 12:46 552  
[ ]graph_5__1538_15.min1.thm12017-02-06 12:46 256  
[ ]graph_5__1543_19.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__1545_19.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__1552_37.min1.thm12017-02-06 12:46 289  
[ ]graph_5__1555_22.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_5__1575_27.min1.thm12017-02-06 12:46 487  
[ ]graph_5__1575_27.min1.thm1.tptp2017-02-06 16:47 422  
[ ]graph_5__1576_43.min1.thm12017-02-06 12:46 758  
[ ]graph_5__1583_16.min1.thm12017-02-06 12:46 645  
[ ]graph_5__1583_16.min1.thm1.tptp2017-02-06 16:47 583  
[ ]graph_5__1591_20.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_5__1593_19.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_5__1595_23.min1.thm12017-02-06 12:46 2.9K 
[ ]graph_5__1600_22.min1.thm12017-02-06 12:46 459  
[ ]graph_5__1600_22.min1.thm1.tptp2017-02-06 16:47 394  
[ ]graph_5__1620_26.min1.thm12017-02-06 12:46 536  
[ ]graph_5__1633_13.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__1634_37.min1.thm12017-02-06 12:46 464  
[ ]graph_5__1637_12.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__1638_18.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_5__1672_72.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__1673_21.min1.thm12017-02-06 12:46 818  
[ ]graph_5__1675_16.min1.thm12017-02-06 12:46 493  
[ ]graph_5__1675_16.min1.thm1.tptp2017-02-06 16:47 415  
[ ]graph_5__1684_17.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__1685_20.min1.thm12017-02-06 12:46 878  
[ ]graph_5__1688_69.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__1693_72.min1.thm12017-02-06 12:46 860  
[ ]graph_5__1693_72.min1.thm1.tptp2017-02-06 16:47 870  
[ ]graph_5__1701_31.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__1703_23.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__1704_19.min1.thm12017-02-06 12:46 335  
[ ]graph_5__1704_19.min1.thm1.tptp2017-02-06 16:47 267  
[ ]graph_5__1707_28.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__1717_28.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__1719_30.min1.thm12017-02-06 12:46 600  
[ ]graph_5__1720_31.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__1734_32.min1.thm12017-02-06 12:46 658  
[ ]graph_5__1735_35.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__1737_21.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_5__1738_17.min1.thm12017-02-06 12:46 865  
[ ]graph_5__1741_16.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__1745_12.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_5__1746_17.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__1758_31.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__1763_19.min1.thm12017-02-06 12:46 865  
[ ]graph_5__1765_27.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__1767_40.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__1768_28.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__1770_41.min1.thm12017-02-06 12:46 734  
[ ]graph_5__1806_30.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__1807_21.min1.thm12017-02-06 12:46 850  
[ ]graph_5__1809_16.min1.thm12017-02-06 12:46 493  
[ ]graph_5__1809_16.min1.thm1.tptp2017-02-06 16:47 415  
[ ]graph_5__1827_32.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__1828_21.min1.thm12017-02-06 12:46 865  
[ ]graph_5__1830_16.min1.thm12017-02-06 12:46 523  
[ ]graph_5__1830_16.min1.thm1.tptp2017-02-06 16:47 445  
[ ]graph_5__1854_21.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__1856_16.min1.thm12017-02-06 12:46 463  
[ ]graph_5__1856_16.min1.thm1.tptp2017-02-06 16:47 385  
[ ]graph_5__1872_58.min1.thm12017-02-06 12:46 648  
[ ]graph_5__1873_21.min1.thm12017-02-06 12:46 788  
[ ]graph_5__1875_16.min1.thm12017-02-06 12:46 433  
[ ]graph_5__1875_16.min1.thm1.tptp2017-02-06 16:47 355  
[ ]graph_5__1883_40.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__1884_17.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__1888_65.min1.thm12017-02-06 12:46 618  
[ ]graph_5__1897_29.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__1898_31.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__1899_17.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__1910_14.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__1919_8.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__1920_14.min1.thm12017-02-06 12:46 790  
[ ]graph_5__1928_72.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__1936_31.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__1937_35.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__1938_17.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__1953_28.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__1956_31.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__1957_75.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__1959_36.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__1961_37.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__1962_17.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__1968_35.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__1969_38.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__1970_15.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__1978_20.min1.thm12017-02-06 12:46 566  
[ ]graph_5__1980_24.min1.thm12017-02-06 12:46 948  
[ ]graph_5__1981_33.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__1982_17.min1.thm12017-02-06 12:46 2.8K 
[ ]graph_5__2007_20.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__2011_25.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_5__2014_17.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__2015_39.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__2016_36.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__2018_30.min1.thm12017-02-06 12:46 513  
[ ]graph_5__2019_24.min1.thm12017-02-06 12:46 870  
[ ]graph_5__2020_24.min1.thm12017-02-06 12:46 793  
[ ]graph_5__2021_20.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__2036_15.min1.thm12017-02-06 12:46 657  
[ ]graph_5__2042_26.min1.thm12017-02-06 12:46 690  
[ ]graph_5__2044_24.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_5__2051_26.min1.thm12017-02-06 12:46 937  
[ ]graph_5__2052_32.min1.thm12017-02-06 12:46 553  
[ ]graph_5__2054_26.min1.thm12017-02-06 12:46 551  
[ ]graph_5__2060_35.min1.thm12017-02-06 12:46 835  
[ ]graph_5__2064_47.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__2066_19.min1.thm12017-02-06 12:46 504  
[ ]graph_5__2070_56.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_5__2073_39.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__2074_24.min1.thm12017-02-06 12:46 971  
[ ]graph_5__2084_39.min1.thm12017-02-06 12:46 907  
[ ]graph_5__2088_58.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__2093_39.min1.thm12017-02-06 12:46 851  
[ ]graph_5__2098_16.min1.thm12017-02-06 12:46 812  
[ ]graph_5__2106_51.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_5__2107_14.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_5__2111_16.min1.thm12017-02-06 12:46 876  
[ ]graph_5__2116_17.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__2117_19.min1.thm12017-02-06 12:46 878  
[ ]graph_5__2119_32.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_5__2121_46.min1.thm12017-02-06 12:46 495  
[ ]graph_5__2122_43.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__2123_17.min1.thm12017-02-06 12:46 696  
[ ]graph_5__2135_36.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__2136_17.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__2137_19.min1.thm12017-02-06 12:46 878  
[ ]graph_5__2151_39.min1.thm12017-02-06 12:46 636  
[ ]graph_5__2152_32.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__2153_27.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__2155_20.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_5__2156_35.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__2158_16.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__2160_19.min1.thm12017-02-06 12:46 907  
[ ]graph_5__2163_44.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_5__2166_15.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__2173_35.min1.thm12017-02-06 12:46 829  
[ ]graph_5__2182_28.min1.thm12017-02-06 12:46 744  
[ ]graph_5__2184_16.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_5__2185_41.min1.thm12017-02-06 12:46 481  
[ ]graph_5__2186_17.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__2188_19.min1.thm12017-02-06 12:46 200  
[ ]graph_5__2191_30.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_5__2195_24.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_5__2197_26.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_5__2201_31.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__2202_23.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__2203_24.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__2204_27.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__2205_21.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__2206_45.min1.thm12017-02-06 12:46 505  
[ ]graph_5__2212_26.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__2217_34.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__2218_54.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__2221_34.min1.thm12017-02-06 12:46 3.5K 
[ ]graph_5__2223_28.min1.thm12017-02-06 12:46 2.9K 
[ ]graph_5__2226_39.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__2227_23.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_5__2228_47.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_5__2230_42.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__2232_36.min1.thm12017-02-06 12:46 553  
[ ]graph_5__2238_30.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__2240_29.min1.thm12017-02-06 12:46 605  
[ ]graph_5__2241_68.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_5__2246_39.min1.thm12017-02-06 12:46 853  
[ ]graph_5__2251_23.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__2252_46.min1.thm12017-02-06 12:46 504  
[ ]graph_5__2253_25.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_5__2258_45.min1.thm12017-02-06 12:46 504  
[ ]graph_5__2263_20.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__2265_22.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_5__2270_27.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__2271_30.min1.thm12017-02-06 12:46 924  
[ ]graph_5__2275_32.min1.thm12017-02-06 12:46 2.9K 
[ ]graph_5__2278_23.min1.thm12017-02-06 12:46 258  
[ ]graph_5__2282_38.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_5__2285_43.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__2286_29.min1.thm12017-02-06 12:46 3.3K 
[ ]graph_5__2288_32.min1.thm12017-02-06 12:46 2.9K 
[ ]graph_5__2289_27.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_5__2290_51.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__2292_46.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__2294_40.min1.thm12017-02-06 12:46 565  
[ ]graph_5__2301_50.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__2302_55.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_5__2307_43.min1.thm12017-02-06 12:46 871  
[ ]graph_5__2311_34.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_5__2315_28.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_5__2319_35.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__2321_49.min1.thm12017-02-06 12:46 528  
[ ]graph_5__2322_32.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_5__2327_55.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__2328_30.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__2331_49.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_5__2335_38.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__2336_44.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_5__2337_34.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__2339_34.min1.thm12017-02-06 12:46 949  
[ ]graph_5__2342_38.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_5__2343_28.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_5__2348_27.min1.thm12017-02-06 12:46 3.2K 
[ ]graph_5__2349_51.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__2351_46.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__2353_40.min1.thm12017-02-06 12:46 577  
[ ]graph_5__2359_33.min1.thm12017-02-06 12:46 647  
[ ]graph_5__2361_18.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_5__2365_43.min1.thm12017-02-06 12:46 871  
[ ]graph_5__2372_16.min1.thm12017-02-06 12:46 868  
[ ]graph_5__2380_33.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__2382_15.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__2383_22.min1.thm12017-02-06 12:46 892  
[ ]graph_5__2384_56.min1.thm12017-02-06 12:46 2.9K 
[ ]graph_5__2387_16.min1.thm12017-02-06 12:46 876  
[ ]graph_5__2390_32.min1.thm12017-02-06 12:46 3.6K 
[ ]graph_5__2392_46.min1.thm12017-02-06 12:46 496  
[ ]graph_5__2393_45.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__2394_17.min1.thm12017-02-06 12:46 727  
[ ]graph_5__2404_14.min1.thm12017-02-06 12:46 805  
[ ]graph_5__2417_14.min1.thm12017-02-06 12:46 325  
[ ]graph_5__2417_14.min1.thm1.tptp2017-02-06 16:47 247  
[ ]graph_5__2422_11.min1.thm12017-02-06 12:46 270  
[ ]graph_5__2422_11.min1.thm1.tptp2017-02-06 16:47 182  
[ ]graph_5__2454_51.min1.thm12017-02-06 12:46 845  
[ ]graph_5__2457_25.min1.thm12017-02-06 12:46 597  
[ ]graph_5__2457_25.min1.thm1.tptp2017-02-06 16:47 522  
[ ]graph_5__2460_24.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__2461_28.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_5__2464_25.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__2467_19.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__2482_27.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__2483_18.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__2493_11.min1.thm12017-02-06 12:46 900  
[ ]graph_5__2500_53.min1.thm12017-02-06 12:46 839  
[ ]graph_5__2502_17.min1.thm12017-02-06 12:46 839  
[ ]graph_5__2513_50.min1.thm12017-02-06 12:46 839  
[ ]graph_5__2517_23.min1.thm12017-02-06 12:46 578  
[ ]graph_5__2522_40.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__2523_14.min1.thm12017-02-06 12:46 326  
[ ]graph_5__2538_37.min1.thm12017-02-06 12:46 969  
[ ]graph_5__2540_21.min1.thm12017-02-06 12:46 327  
[ ]graph_5__2540_21.min1.thm1.tptp2017-02-06 16:47 241  
[ ]graph_5__2555_26.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__2556_23.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__2567_18.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__2579_19.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__2580_50.min1.thm12017-02-06 12:46 888  
[ ]graph_5__2581_45.min1.thm12017-02-06 12:46 949  
[ ]graph_5__2582_19.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__2583_50.min1.thm12017-02-06 12:46 888  
[ ]graph_5__2584_17.min1.thm12017-02-06 12:46 949  
[ ]graph_5__2596_16.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_5__2600_23.min1.thm12017-02-06 12:46 578  
[ ]graph_5__2601_24.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__2604_19.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__2609_16.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__2611_18.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_5__2612_35.min1.thm12017-02-06 12:46 449  
[ ]graph_5__2617_14.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__2620_16.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_5__2631_19.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__2633_54.min1.thm12017-02-06 12:46 726  
[ ]graph_5__2636_18.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__2661_19.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__2663_11.min1.thm12017-02-06 12:46 927  
[ ]graph_5__2678_31.min1.thm12017-02-06 12:46 862  
[ ]graph_5__2681_27.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__2683_16.min1.thm12017-02-06 12:46 778  
[ ]graph_5__2686_38.min1.thm12017-02-06 12:46 696  
[ ]graph_5__2687_17.min1.thm12017-02-06 12:46 573  
[ ]graph_5__2687_17.min1.thm1.tptp2017-02-06 16:47 492  
[ ]graph_5__2688_17.min1.thm12017-02-06 12:46 541  
[ ]graph_5__2701_33.min1.thm12017-02-06 12:46 892  
[ ]graph_5__2706_16.min1.thm12017-02-06 12:46 778  
[ ]graph_5__2709_38.min1.thm12017-02-06 12:46 696  
[ ]graph_5__2710_17.min1.thm12017-02-06 12:46 576  
[ ]graph_5__2710_17.min1.thm1.tptp2017-02-06 16:47 495  
[ ]graph_5__2711_17.min1.thm12017-02-06 12:46 544  
[ ]graph_5__2722_21.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__2725_21.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__2728_20.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__2731_27.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_5__2738_21.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_5__2786_23.min1.thm12017-02-06 12:46 736  
[ ]graph_5__2790_42.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__2791_37.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__2792_52.min1.thm12017-02-06 12:46 950  
[ ]graph_5__2794_42.min1.thm12017-02-06 12:46 937  
[ ]graph_5__2795_25.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__2805_16.min1.thm12017-02-06 12:46 812  
[ ]graph_5__2814_13.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__2815_25.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__2816_19.min1.thm12017-02-06 12:46 940  
[ ]graph_5__2819_16.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_5__2820_17.min1.thm12017-02-06 12:46 917  
[ ]graph_5__2832_26.min1.thm12017-02-06 12:46 931  
[ ]graph_5__2874_32.min1.thm12017-02-06 12:46 386  
[ ]graph_5__2874_32.min1.thm1.tptp2017-02-06 16:47 308  
[ ]graph_5__2875_26.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__2876_15.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_5__2878_19.min1.thm12017-02-06 12:46 970  
[ ]graph_5__2879_37.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__2880_18.min1.thm12017-02-06 12:46 659  
[ ]graph_5__2887_13.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__2889_17.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__2890_17.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_5__2891_22.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__2896_18.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_5__2903_35.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__2904_31.min1.thm12017-02-06 12:46 960  
[ ]graph_5__2911_46.min1.thm12017-02-06 12:46 386  
[ ]graph_5__2911_46.min1.thm1.tptp2017-02-06 16:47 308  
[ ]graph_5__2912_32.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__2914_28.min1.thm12017-02-06 12:46 784  
[ ]graph_5__2915_21.min1.thm12017-02-06 12:46 594  
[ ]graph_5__2916_28.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__2917_17.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__2929_7.min1.thm12017-02-06 12:46 765  
[ ]graph_5__2930_38.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__2931_19.min1.thm12017-02-06 12:46 844  
[ ]graph_5__2934_17.min1.thm12017-02-06 12:46 541  
[ ]graph_5__2940_14.min1.thm12017-02-06 12:46 407  
[ ]graph_5__2940_14.min1.thm1.tptp2017-02-06 16:47 328  
[ ]graph_5__2945_39.min1.thm12017-02-06 12:46 612  
[ ]graph_5__2946_14.min1.thm12017-02-06 12:46 736  
[ ]graph_5__2951_43.min1.thm12017-02-06 12:46 726  
[ ]graph_5__2952_14.min1.thm12017-02-06 12:46 766  
[ ]graph_5__2957_45.min1.thm12017-02-06 12:46 750  
[ ]graph_5__2958_14.min1.thm12017-02-06 12:46 796  
[ ]graph_5__2964_14.min1.thm12017-02-06 12:46 593  
[ ]graph_5__2970_14.min1.thm12017-02-06 12:46 707  
[ ]graph_5__2976_14.min1.thm12017-02-06 12:46 731  
[ ]graph_5__2995_30.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__3002_32.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__3004_36.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__3011_45.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__3026_32.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__3035_38.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__3042_47.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__3063_35.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__3065_14.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__3070_13.min1.thm12017-02-06 12:46 274  
[ ]graph_5__3081_27.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__3085_20.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_5__3087_39.min1.thm12017-02-06 12:46 473  
[ ]graph_5__3092_48.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__3095_24.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__3101_20.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_5__3106_20.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__3108_20.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__3110_17.min1.thm12017-02-06 12:46 204  
[ ]graph_5__3114_27.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_5__3130_21.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__3131_20.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_5__3138_19.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__3140_22.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__3142_35.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__3149_22.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_5__3150_22.min1.thm12017-02-06 12:46 2.7K 
[ ]graph_5__3152_19.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_5__3177_35.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_5__3182_31.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__3183_44.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_5__3189_35.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__3197_44.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__3198_37.min1.thm12017-02-06 12:46 766  
[ ]graph_5__3203_31.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__3223_38.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__3226_33.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__3227_38.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__3264_36.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__3266_15.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__3268_45.min1.thm12017-02-06 12:46 770  
[ ]graph_5__3270_33.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__3272_37.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__3273_27.min1.thm12017-02-06 12:46 694  
[ ]graph_5__3304_25.min1.thm12017-02-06 12:46 963  
[ ]graph_5__3305_37.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__3307_34.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__3309_23.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__3310_12.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__3312_18.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__3313_11.min1.thm12017-02-06 12:46 805  
[ ]graph_5__3317_23.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_5__3318_28.min1.thm12017-02-06 12:46 461  
[ ]graph_5__3318_28.min1.thm1.tptp2017-02-06 16:47 391  
[ ]graph_5__3319_37.min1.thm12017-02-06 12:46 464  
[ ]graph_5__3326_19.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__3327_19.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__3330_17.min1.thm12017-02-06 12:46 316  
[ ]graph_5__3330_17.min1.thm1.tptp2017-02-06 16:47 234  
[ ]graph_5__3337_30.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__3338_23.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__3339_30.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__3340_44.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__3342_32.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__3352_15.min1.thm12017-02-06 12:46 282  
[ ]graph_5__3361_21.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__3363_19.min1.thm12017-02-06 12:46 326  
[ ]graph_5__3366_23.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_5__3367_47.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_5__3372_25.min1.thm12017-02-06 12:46 807  
[ ]graph_5__3404_29.min1.thm12017-02-06 12:46 843  
[ ]graph_5__3408_32.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__3415_29.min1.thm12017-02-06 12:46 533  
[ ]graph_5__3418_29.min1.thm12017-02-06 12:46 538  
[ ]graph_5__3419_26.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__3425_25.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_5__3426_44.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__3428_42.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__3429_26.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__3431_26.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_5__3432_32.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__3435_34.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_5__3438_27.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__3441_42.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__3442_39.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__3444_37.min1.thm12017-02-06 12:46 659  
[ ]graph_5__3446_46.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__3448_61.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_5__3449_44.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__3453_45.min1.thm12017-02-06 12:46 513  
[ ]graph_5__3463_39.min1.thm12017-02-06 12:46 867  
[ ]graph_5__3465_47.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_5__3469_30.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_5__3507_45.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__3508_41.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_5__3520_15.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_5__3532_17.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_5__3533_24.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_5__3534_22.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_5__3535_21.min1.thm12017-02-06 12:46 1.9K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80