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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]graph_2__52_31.min1.thm12017-02-06 12:46 583  
[ ]graph_2__53_30.min1.thm12017-02-06 12:46 273  
[ ]graph_2__53_30.min1.thm1.tptp2017-02-06 16:47 192  
[ ]graph_2__57_13.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__58_49.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_2__60_17.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__62_12.min1.thm12017-02-06 12:46 632  
[ ]graph_2__63_21.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__79_11.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__82_25.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_2__87_16.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_2__88_22.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__89_19.min1.thm12017-02-06 12:46 672  
[ ]graph_2__93_25.min1.thm12017-02-06 12:46 2.7K 
[ ]graph_2__98_18.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_2__108_36.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__111_25.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__113_20.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__117_25.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__119_23.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__122_22.min1.thm12017-02-06 12:46 483  
[ ]graph_2__123_62.min1.thm12017-02-06 12:46 863  
[ ]graph_2__130_16.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__133_23.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__146_21.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__152_23.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__164_17.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__169_11.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__179_40.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__180_63.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__187_20.min1.thm12017-02-06 12:46 641  
[ ]graph_2__209_61.min1.thm12017-02-06 12:46 854  
[ ]graph_2__212_38.min1.thm12017-02-06 12:46 565  
[ ]graph_2__217_48.min1.thm12017-02-06 12:46 926  
[ ]graph_2__230_23.min1.thm12017-02-06 12:46 961  
[ ]graph_2__231_21.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_2__234_39.min1.thm12017-02-06 12:46 667  
[ ]graph_2__238_20.min1.thm12017-02-06 12:46 580  
[ ]graph_2__238_20.min1.thm1.tptp2017-02-06 16:47 518  
[ ]graph_2__244_16.min1.thm12017-02-06 12:46 936  
[ ]graph_2__245_21.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_2__250_52.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__251_22.min1.thm12017-02-06 12:46 439  
[ ]graph_2__251_22.min1.thm1.tptp2017-02-06 16:47 374  
[ ]graph_2__258_22.min1.thm12017-02-06 12:46 511  
[ ]graph_2__259_21.min1.thm12017-02-06 12:46 949  
[ ]graph_2__271_66.min1.thm12017-02-06 12:46 766  
[ ]graph_2__272_22.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_2__277_19.min1.thm12017-02-06 12:46 398  
[ ]graph_2__277_19.min1.thm1.tptp2017-02-06 16:47 352  
[ ]graph_2__278_19.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__281_14.min1.thm12017-02-06 12:46 502  
[ ]graph_2__281_14.min1.thm1.tptp2017-02-06 16:47 460  
[ ]graph_2__292_33.min1.thm12017-02-06 12:46 264  
[ ]graph_2__300_67.min1.thm12017-02-06 12:46 900  
[ ]graph_2__305_70.min1.thm12017-02-06 12:46 830  
[ ]graph_2__308_57.min1.thm12017-02-06 12:46 326  
[ ]graph_2__308_57.min1.thm1.tptp2017-02-06 16:47 240  
[ ]graph_2__309_17.min1.thm12017-02-06 12:46 765  
[ ]graph_2__310_14.min1.thm12017-02-06 12:46 536  
[ ]graph_2__327_11.min1.thm12017-02-06 12:46 862  
[ ]graph_2__328_13.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__329_17.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_2__330_19.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_2__335_23.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__339_35.min1.thm12017-02-06 12:46 899  
[ ]graph_2__341_39.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__344_13.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_2__351_18.min1.thm12017-02-06 12:46 378  
[ ]graph_2__352_65.min1.thm12017-02-06 12:46 948  
[ ]graph_2__353_24.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_2__356_21.min1.thm12017-02-06 12:46 737  
[ ]graph_2__360_20.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_2__361_22.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_2__362_24.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__363_48.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__370_22.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__371_18.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_2__380_14.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__386_18.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_2__389_45.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__390_15.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_2__391_15.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_2__393_18.min1.thm12017-02-06 12:46 937  
[ ]graph_2__395_23.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_2__396_26.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_2__397_20.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_2__402_28.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__405_23.min1.thm12017-02-06 12:46 722  
[ ]graph_2__408_9.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__412_15.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__415_27.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_2__418_24.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__420_26.min1.thm12017-02-06 12:46 3.0K 
[ ]graph_2__422_12.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__423_12.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_2__424_14.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__431_17.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_2__445_13.min1.thm12017-02-06 12:46 129  
[ ]graph_2__458_17.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__459_22.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__460_26.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__466_19.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__467_17.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__468_26.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_2__469_38.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__472_15.min1.thm12017-02-06 12:46 640  
[ ]graph_2__489_28.min1.thm12017-02-06 12:46 191  
[ ]graph_2__494_30.min1.thm12017-02-06 12:46 802  
[ ]graph_2__496_20.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__497_17.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__502_30.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_2__505_22.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__507_15.min1.thm12017-02-06 12:46 360  
[ ]graph_2__519_25.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_2__520_14.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_2__524_12.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__544_10.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__553_18.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__557_22.min1.thm12017-02-06 12:46 180  
[ ]graph_2__563_15.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__564_13.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_2__584_30.min1.thm12017-02-06 12:46 962  
[ ]graph_2__585_30.min1.thm12017-02-06 12:46 962  
[ ]graph_2__586_26.min1.thm12017-02-06 12:46 468  
[ ]graph_2__588_44.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__589_13.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__590_11.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__592_15.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_2__593_15.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_2__594_15.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_2__595_20.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_2__598_16.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__601_14.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__616_11.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__621_16.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__635_33.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__637_16.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__660_9.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__663_11.min1.thm12017-02-06 12:46 448  
[ ]graph_2__663_11.min1.thm1.tptp2017-02-06 16:47 375  
[ ]graph_2__676_9.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__679_11.min1.thm12017-02-06 12:46 448  
[ ]graph_2__679_11.min1.thm1.tptp2017-02-06 16:47 375  
[ ]graph_2__691_15.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__693_15.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_2__712_19.min1.thm12017-02-06 12:46 3.2K 
[ ]graph_2__713_15.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__715_21.min1.thm12017-02-06 12:46 2.7K 
[ ]graph_2__723_19.min1.thm12017-02-06 12:46 516  
[ ]graph_2__724_19.min1.thm12017-02-06 12:46 413  
[ ]graph_2__724_19.min1.thm1.tptp2017-02-06 16:47 330  
[ ]graph_2__726_17.min1.thm12017-02-06 12:46 802  
[ ]graph_2__726_17.min1.thm1.tptp2017-02-06 16:47 721  
[ ]graph_2__734_17.min1.thm12017-02-06 12:46 619  
[ ]graph_2__735_26.min1.thm12017-02-06 12:46 907  
[ ]graph_2__736_26.min1.thm12017-02-06 12:46 907  
[ ]graph_2__738_32.min1.thm12017-02-06 12:46 564  
[ ]graph_2__739_19.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__752_13.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__757_20.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__765_7.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__767_10.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__778_13.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_2__788_23.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_2__791_39.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__801_15.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__812_11.min1.thm12017-02-06 12:46 186  
[ ]graph_2__821_20.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_2__826_13.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__847_22.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_2__848_10.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__849_36.min1.thm12017-02-06 12:46 858  
[ ]graph_2__852_18.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_2__867_30.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__869_32.min1.thm12017-02-06 12:46 591  
[ ]graph_2__869_32.min1.thm1.tptp2017-02-06 16:47 529  
[ ]graph_2__879_35.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__880_17.min1.thm12017-02-06 12:46 619  
[ ]graph_2__881_17.min1.thm12017-02-06 12:46 619  
[ ]graph_2__882_31.min1.thm12017-02-06 12:46 524  
[ ]graph_2__883_27.min1.thm12017-02-06 12:46 618  
[ ]graph_2__884_19.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__899_20.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_2__907_34.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__909_34.min1.thm12017-02-06 12:46 605  
[ ]graph_2__909_34.min1.thm1.tptp2017-02-06 16:47 543  
[ ]graph_2__915_31.min1.thm12017-02-06 12:46 509  
[ ]graph_2__915_31.min1.thm1.tptp2017-02-06 16:47 447  
[ ]graph_2__922_22.min1.thm12017-02-06 12:46 502  
[ ]graph_2__922_22.min1.thm1.tptp2017-02-06 16:47 438  
[ ]graph_2__923_37.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__924_12.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__925_16.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__926_23.min1.thm12017-02-06 12:46 549  
[ ]graph_2__926_23.min1.thm1.tptp2017-02-06 16:47 485  
[ ]graph_2__927_16.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__931_28.min1.thm12017-02-06 12:46 2.9K 
[ ]graph_2__936_20.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__944_15.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__968_7.min1.thm12017-02-06 12:46 198  
[ ]graph_2__972_26.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__973_20.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__974_16.min1.thm12017-02-06 12:46 293  
[ ]graph_2__982_26.min1.thm12017-02-06 12:46 492  
[ ]graph_2__985_18.min1.thm12017-02-06 12:46 834  
[ ]graph_2__991_18.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__994_17.min1.thm12017-02-06 12:46 786  
[ ]graph_2__999_26.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__1001_21.min1.thm12017-02-06 12:46 835  
[ ]graph_2__1002_16.min1.thm12017-02-06 12:46 680  
[ ]graph_2__1003_23.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__1005_22.min1.thm12017-02-06 12:46 944  
[ ]graph_2__1006_19.min1.thm12017-02-06 12:46 468  
[ ]graph_2__1010_52.min1.thm12017-02-06 12:46 372  
[ ]graph_2__1010_52.min1.thm1.tptp2017-02-06 16:47 298  
[ ]graph_2__1016_19.min1.thm12017-02-06 12:46 421  
[ ]graph_2__1017_17.min1.thm12017-02-06 12:46 488  
[ ]graph_2__1021_29.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__1030_14.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__1032_12.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__1048_14.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__1066_22.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__1070_20.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_2__1071_16.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__1074_21.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__1078_28.min1.thm12017-02-06 12:46 841  
[ ]graph_2__1081_26.min1.thm12017-02-06 12:46 580  
[ ]graph_2__1081_26.min1.thm1.tptp2017-02-06 16:47 534  
[ ]graph_2__1084_34.min1.thm12017-02-06 12:46 660  
[ ]graph_2__1085_28.min1.thm12017-02-06 12:46 841  
[ ]graph_2__1088_37.min1.thm12017-02-06 12:46 751  
[ ]graph_2__1089_18.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__1090_25.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__1091_28.min1.thm12017-02-06 12:46 805  
[ ]graph_2__1092_30.min1.thm12017-02-06 12:46 614  
[ ]graph_2__1096_9.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__1098_17.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__1115_22.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_2__1119_20.min1.thm12017-02-06 12:46 2.9K 
[ ]graph_2__1120_16.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__1123_21.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_2__1127_18.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_2__1129_20.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_2__1130_28.min1.thm12017-02-06 12:46 841  
[ ]graph_2__1133_26.min1.thm12017-02-06 12:46 580  
[ ]graph_2__1133_26.min1.thm1.tptp2017-02-06 16:47 534  
[ ]graph_2__1136_34.min1.thm12017-02-06 12:46 660  
[ ]graph_2__1137_28.min1.thm12017-02-06 12:46 842  
[ ]graph_2__1138_28.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__1140_25.min1.thm12017-02-06 12:46 704  
[ ]graph_2__1141_23.min1.thm12017-02-06 12:46 804  
[ ]graph_2__1142_30.min1.thm12017-02-06 12:46 614  
[ ]graph_2__1146_9.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__1171_23.min1.thm12017-02-06 12:46 576  
[ ]graph_2__1171_23.min1.thm1.tptp2017-02-06 16:47 530  
[ ]graph_2__1172_18.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__1173_24.min1.thm12017-02-06 12:46 795  
[ ]graph_2__1175_22.min1.thm12017-02-06 12:46 584  
[ ]graph_2__1176_23.min1.thm12017-02-06 12:46 837  
[ ]graph_2__1177_24.min1.thm12017-02-06 12:46 838  
[ ]graph_2__1178_26.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__1180_24.min1.thm12017-02-06 12:46 676  
[ ]graph_2__1181_24.min1.thm12017-02-06 12:46 838  
[ ]graph_2__1183_28.min1.thm12017-02-06 12:46 766  
[ ]graph_2__1186_17.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__1197_14.min1.thm12017-02-06 12:46 951  
[ ]graph_2__1198_18.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__1199_7.min1.thm12017-02-06 12:46 940  
[ ]graph_2__1200_14.min1.thm12017-02-06 12:46 951  
[ ]graph_2__1204_17.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__1205_7.min1.thm12017-02-06 12:46 940  
[ ]graph_2__1211_38.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__1220_20.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__1222_20.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__1228_23.min1.thm12017-02-06 12:46 407  
[ ]graph_2__1228_23.min1.thm1.tptp2017-02-06 16:47 353  
[ ]graph_2__1233_15.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__1237_55.min1.thm12017-02-06 12:46 655  
[ ]graph_2__1242_22.min1.thm12017-02-06 12:46 869  
[ ]graph_2__1246_15.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__1247_19.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__1249_25.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__1250_29.min1.thm12017-02-06 12:46 557  
[ ]graph_2__1250_29.min1.thm1.tptp2017-02-06 16:47 492  
[ ]graph_2__1251_24.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__1254_48.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__1260_15.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__1261_27.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__1263_29.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__1264_32.min1.thm12017-02-06 12:46 863  
[ ]graph_2__1265_11.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__1268_25.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__1274_20.min1.thm12017-02-06 12:46 561  
[ ]graph_2__1289_23.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__1290_19.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__1307_33.min1.thm12017-02-06 12:46 722  
[ ]graph_2__1309_25.min1.thm12017-02-06 12:46 712  
[ ]graph_2__1311_35.min1.thm12017-02-06 12:46 945  
[ ]graph_2__1312_21.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__1313_21.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__1314_21.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__1315_21.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__1316_40.min1.thm12017-02-06 12:46 890  
[ ]graph_2__1323_13.min1.thm12017-02-06 12:46 250  
[ ]graph_2__1327_19.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__1329_21.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__1330_18.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__1331_23.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__1335_26.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__1337_19.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__1338_32.min1.thm12017-02-06 12:46 2.8K 
[ ]graph_2__1339_52.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__1343_20.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_2__1346_19.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__1357_42.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__1362_10.min1.thm12017-02-06 12:46 567  
[ ]graph_2__1363_14.min1.thm12017-02-06 12:46 338  
[ ]graph_2__1363_14.min1.thm1.tptp2017-02-06 16:47 266  
[ ]graph_2__1369_40.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__1370_13.min1.thm12017-02-06 12:46 836  
[ ]graph_2__1371_17.min1.thm12017-02-06 12:46 656  
[ ]graph_2__1383_21.min1.thm12017-02-06 12:46 899  
[ ]graph_2__1384_40.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__1385_40.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__1386_37.min1.thm12017-02-06 12:46 899  
[ ]graph_2__1389_35.min1.thm12017-02-06 12:46 904  
[ ]graph_2__1390_23.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__1391_36.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__1394_22.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__1396_34.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__1402_42.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__1405_27.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__1413_31.min1.thm12017-02-06 12:46 132  
[ ]graph_2__1415_21.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_2__1416_24.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__1431_18.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__1432_15.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__1434_15.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__1435_28.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__1436_18.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__1448_16.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__1459_27.min1.thm12017-02-06 12:46 656  
[ ]graph_2__1462_35.min1.thm12017-02-06 12:46 945  
[ ]graph_2__1470_44.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__1476_42.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__1481_26.min1.thm12017-02-06 12:46 180  
[ ]graph_2__1490_62.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_2__1497_19.min1.thm12017-02-06 12:46 962  
[ ]graph_2__1498_30.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__1502_50.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_2__1521_39.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__1532_39.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__1533_17.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__1545_13.min1.thm12017-02-06 12:46 130  
[ ]graph_2__1563_25.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__1571_52.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__1574_59.min1.thm12017-02-06 12:46 604  
[ ]graph_2__1577_16.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__1579_15.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__1582_17.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_2__1586_13.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_2__1589_25.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_2__1592_18.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__1595_26.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__1600_16.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__1601_37.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__1602_12.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_2__1603_17.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_2__1609_21.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__1610_35.min1.thm12017-02-06 12:46 863  
[ ]graph_2__1611_64.min1.thm12017-02-06 12:46 651  
[ ]graph_2__1614_19.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__1620_50.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_2__1621_18.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__1627_35.min1.thm12017-02-06 12:46 863  
[ ]graph_2__1628_11.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__1632_26.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__1633_64.min1.thm12017-02-06 12:46 673  
[ ]graph_2__1638_19.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__1642_50.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__1653_31.min1.thm12017-02-06 12:46 2.7K 
[ ]graph_2__1654_13.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_2__1671_14.min1.thm12017-02-06 12:46 751  
[ ]graph_2__1672_39.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__1673_15.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__1674_11.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__1675_19.min1.thm12017-02-06 12:46 816  
[ ]graph_2__1677_57.min1.thm12017-02-06 12:46 643  
[ ]graph_2__1679_27.min1.thm12017-02-06 12:46 363  
[ ]graph_2__1679_27.min1.thm1.tptp2017-02-06 16:47 281  
[ ]graph_2__1685_11.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__1688_54.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__1689_17.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_2__1701_25.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__1705_28.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__1706_28.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__1707_25.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__1714_12.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__1715_14.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__1718_27.min1.thm12017-02-06 12:46 428  
[ ]graph_2__1718_27.min1.thm1.tptp2017-02-06 16:47 342  
[ ]graph_2__1728_25.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__1729_9.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__1737_18.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_2__1739_17.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__1740_17.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__1749_30.min1.thm12017-02-06 12:46 198  
[ ]graph_2__1750_34.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__1753_17.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__1759_45.min1.thm12017-02-06 12:46 959  
[ ]graph_2__1760_21.min1.thm12017-02-06 12:46 3.6K 
[ ]graph_2__1761_26.min1.thm12017-02-06 12:46 3.5K 
[ ]graph_2__1762_24.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_2__1765_29.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__1772_28.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__1779_25.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__1783_26.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__1788_17.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_2__1797_30.min1.thm12017-02-06 12:46 198  
[ ]graph_2__1798_34.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__1801_17.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__1808_21.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_2__1809_26.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_2__1810_45.min1.thm12017-02-06 12:46 959  
[ ]graph_2__1811_24.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_2__1814_29.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__1821_28.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_2__1828_25.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__1832_26.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__1837_17.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_2__1846_18.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__1851_18.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__1853_19.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_2__1856_22.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__1857_20.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__1858_20.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__1863_14.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__1867_14.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__1868_21.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__1898_15.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_2__1902_63.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_2__1903_24.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__1906_16.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__1907_11.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__1923_24.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__1925_16.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_2__1927_16.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__1928_11.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__1929_31.min1.thm12017-02-06 12:46 853  
[ ]graph_2__1930_25.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_2__1933_19.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__1935_24.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__1937_27.min1.thm12017-02-06 12:46 540  
[ ]graph_2__1938_15.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__1944_64.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_2__1948_28.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__1949_38.min1.thm12017-02-06 12:46 588  
[ ]graph_2__1960_13.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__1961_25.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__1971_28.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__1972_25.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__1984_28.min1.thm12017-02-06 12:46 553  
[ ]graph_2__1988_15.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__1991_9.min1.thm12017-02-06 12:46 711  
[ ]graph_2__1994_22.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__1995_25.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__2005_24.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__2007_28.min1.thm12017-02-06 12:46 767  
[ ]graph_2__2009_24.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__2011_28.min1.thm12017-02-06 12:46 767  
[ ]graph_2__2016_31.min1.thm12017-02-06 12:46 269  
[ ]graph_2__2017_47.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__2019_30.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__2025_20.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__2029_24.min1.thm12017-02-06 12:46 712  
[ ]graph_2__2029_24.min1.thm1.tptp2017-02-06 16:47 658  
[ ]graph_2__2036_14.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__2041_32.min1.thm12017-02-06 12:46 762  
[ ]graph_2__2041_32.min1.thm1.tptp2017-02-06 16:47 708  
[ ]graph_2__2042_21.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__2043_28.min1.thm12017-02-06 12:46 714  
[ ]graph_2__2043_28.min1.thm1.tptp2017-02-06 16:47 660  
[ ]graph_2__2047_25.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__2048_36.min1.thm12017-02-06 12:46 762  
[ ]graph_2__2048_36.min1.thm1.tptp2017-02-06 16:47 708  
[ ]graph_2__2051_38.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__2057_64.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__2058_25.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__2059_19.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__2061_14.min1.thm12017-02-06 12:46 354  
[ ]graph_2__2061_14.min1.thm1.tptp2017-02-06 16:47 275  
[ ]graph_2__2068_33.min1.thm12017-02-06 12:46 643  
[ ]graph_2__2069_17.min1.thm12017-02-06 12:46 375  
[ ]graph_2__2069_17.min1.thm1.tptp2017-02-06 16:47 319  
[ ]graph_2__2070_17.min1.thm12017-02-06 12:46 323  
[ ]graph_2__2070_17.min1.thm1.tptp2017-02-06 16:47 253  
[ ]graph_2__2083_16.min1.thm12017-02-06 12:46 408  
[ ]graph_2__2086_58.min1.thm12017-02-06 12:46 667  
[ ]graph_2__2088_18.min1.thm12017-02-06 12:46 423  
[ ]graph_2__2089_22.min1.thm12017-02-06 12:46 832  
[ ]graph_2__2090_26.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__2092_28.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__2095_27.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__2100_23.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__2102_17.min1.thm12017-02-06 12:46 900  
[ ]graph_2__2103_23.min1.thm12017-02-06 12:46 851  
[ ]graph_2__2104_30.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__2105_30.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__2119_29.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__2120_28.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__2129_32.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__2130_20.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__2139_17.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__2150_27.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__2151_29.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__2161_27.min1.thm12017-02-06 12:46 3.3K 
[ ]graph_2__2162_31.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_2__2167_29.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__2176_50.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_2__2180_54.min1.thm12017-02-06 12:46 2.7K 
[ ]graph_2__2183_36.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_2__2187_33.min1.thm12017-02-06 12:46 2.9K 
[ ]graph_2__2188_31.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_2__2193_54.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_2__2197_56.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_2__2202_60.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_2__2212_21.min1.thm12017-02-06 12:46 3.2K 
[ ]graph_2__2221_74.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__2224_41.min1.thm12017-02-06 12:46 666  
[ ]graph_2__2227_26.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__2230_44.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__2231_52.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_2__2237_31.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__2238_45.min1.thm12017-02-06 12:46 877  
[ ]graph_2__2239_72.min1.thm12017-02-06 12:46 671  
[ ]graph_2__2244_30.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__2245_29.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__2253_37.min1.thm12017-02-06 12:46 2.7K 
[ ]graph_2__2258_59.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_2__2258_59.min1.thm1.tptp2017-02-06 16:47 2.0K 
[ ]graph_2__2263_32.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_2__2272_24.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__2277_23.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_2__2279_24.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__2286_27.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_2__2287_27.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__2288_25.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__2292_24.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_2__2293_23.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__2294_25.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__2306_12.min1.thm12017-02-06 12:46 871  
[ ]graph_2__2307_33.min1.thm12017-02-06 12:46 342  
[ ]graph_2__2307_33.min1.thm1.tptp2017-02-06 16:47 264  
[ ]graph_2__2308_33.min1.thm12017-02-06 12:46 343  
[ ]graph_2__2308_33.min1.thm1.tptp2017-02-06 16:47 265  
[ ]graph_2__2313_16.min1.thm12017-02-06 12:46 301  
[ ]graph_2__2316_24.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__2319_19.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__2329_17.min1.thm12017-02-06 12:46 519  
[ ]graph_2__2341_14.min1.thm12017-02-06 12:46 555  
[ ]graph_2__2342_15.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__2352_25.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__2357_13.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__2370_15.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__2373_23.min1.thm12017-02-06 12:46 3.1K 
[ ]graph_2__2377_17.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_2__2380_19.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__2381_15.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__2383_21.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__2384_19.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__2387_23.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_2__2399_15.min1.thm12017-02-06 12:46 2.7K 
[ ]graph_2__2414_13.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__2416_28.min1.thm12017-02-06 12:46 553  
[ ]graph_2__2426_34.min1.thm12017-02-06 12:46 643  
[ ]graph_2__2435_26.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__2443_15.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__2444_22.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__2447_41.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__2451_13.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__2462_14.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__2474_15.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__2489_19.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__2491_21.min1.thm12017-02-06 12:46 745  
[ ]graph_2__2494_21.min1.thm12017-02-06 12:46 862  
[ ]graph_2__2495_35.min1.thm12017-02-06 12:46 861  
[ ]graph_2__2496_39.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__2500_68.min1.thm12017-02-06 12:46 874  
[ ]graph_2__2501_18.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_2__2513_13.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__2521_25.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__2531_11.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__2540_19.min1.thm12017-02-06 12:46 3.3K 
[ ]graph_2__2550_11.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__2553_7.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__2554_14.min1.thm12017-02-06 12:46 2.9K 
[ ]graph_2__2556_20.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__2559_20.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_2__2560_9.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__2563_11.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__2581_27.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__2582_16.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_2__2584_34.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__2589_13.min1.thm12017-02-06 12:46 250  
[ ]graph_2__2595_38.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__2601_39.min1.thm12017-02-06 12:46 927  
[ ]graph_2__2602_15.min1.thm12017-02-06 12:46 3.4K 
[ ]graph_2__2604_15.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_2__2609_15.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__2617_28.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__2630_13.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_2__2631_18.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_2__2634_21.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__2639_21.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__2645_31.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_2__2651_20.min1.thm12017-02-06 12:46 418  
[ ]graph_2__2653_15.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__2655_18.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_2__2669_20.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__2672_25.min1.thm12017-02-06 12:46 4.7K 
[ ]graph_2__2673_25.min1.thm12017-02-06 12:46 3.4K 
[ ]graph_2__2678_17.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__2686_21.min1.thm12017-02-06 12:46 869  
[ ]graph_2__2691_31.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_2__2695_19.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__2709_20.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_2__2710_15.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_2__2717_22.min1.thm12017-02-06 12:46 426  
[ ]graph_2__2719_21.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_2__2741_27.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__2742_27.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__2743_16.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_2__2744_37.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__2747_19.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__2748_49.min1.thm12017-02-06 12:46 641  
[ ]graph_2__2758_13.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__2766_13.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_2__2767_18.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_2__2770_21.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__2775_21.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__2790_18.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_2__2793_13.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_2__2803_20.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__2806_25.min1.thm12017-02-06 12:46 4.7K 
[ ]graph_2__2812_17.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__2817_15.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__2822_21.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__2837_60.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_2__2838_18.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_2__2839_17.min1.thm12017-02-06 12:46 935  
[ ]graph_2__2869_10.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__2879_43.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__2884_67.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__2898_11.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__2905_41.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__2918_26.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__2922_28.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__2923_28.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__2924_26.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__2932_12.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__2933_14.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__2945_18.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_2__2947_17.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__2954_17.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__2959_14.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__2973_18.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__2978_18.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__2980_19.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_2__2983_22.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__2984_20.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__2985_20.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__2990_18.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__2994_18.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__2995_21.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__3010_11.min1.thm12017-02-06 12:46 226  
[ ]graph_2__3015_18.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__3019_23.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__3020_23.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_2__3025_23.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__3032_17.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__3034_20.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_2__3035_19.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__3036_23.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_2__3048_25.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_2__3050_22.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__3057_26.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_2__3059_20.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__3061_24.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__3068_17.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__3071_17.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_2__3073_18.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__3079_18.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__3081_21.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__3091_31.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__3098_27.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__3138_14.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__3139_25.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__3140_40.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__3141_16.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__3143_18.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__3146_14.min1.thm12017-02-06 12:46 451  
[ ]graph_2__3153_67.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__3155_14.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__3156_12.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__3157_20.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__3158_22.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__3159_46.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__3160_18.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_2__3170_17.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_2__3172_24.min1.thm12017-02-06 12:46 3.2K 
[ ]graph_2__3180_14.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_2__3182_21.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__3184_43.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__3191_18.min1.thm12017-02-06 12:46 755  
[ ]graph_2__3192_20.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__3196_14.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_2__3200_17.min1.thm12017-02-06 12:46 813  
[ ]graph_2__3201_22.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__3202_21.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__3204_12.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__3205_20.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__3207_18.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_2__3209_35.min1.thm12017-02-06 12:46 363  
[ ]graph_2__3209_35.min1.thm1.tptp2017-02-06 16:47 285  
[ ]graph_2__3213_27.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__3221_30.min1.thm12017-02-06 12:46 597  
[ ]graph_2__3221_30.min1.thm1.tptp2017-02-06 16:47 535  
[ ]graph_2__3228_60.min1.thm12017-02-06 12:46 674  
[ ]graph_2__3229_24.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__3233_63.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__3247_13.min1.thm12017-02-06 12:46 674  
[ ]graph_2__3249_31.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__3256_14.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__3257_13.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__3258_21.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__3260_36.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__3261_22.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_2__3263_28.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__3264_34.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__3266_12.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__3268_28.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__3271_21.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_2__3273_54.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_2__3274_19.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__3278_17.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_2__3283_27.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__3285_26.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_2__3286_34.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_2__3288_9.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__3291_20.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_2__3309_18.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__3310_17.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__3311_22.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__3312_47.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__3313_20.min1.thm12017-02-06 12:46 3.0K 
[ ]graph_2__3314_15.min1.thm12017-02-06 12:46 2.7K 
[ ]graph_2__3324_25.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__3335_16.min1.thm12017-02-06 12:46 688  
[ ]graph_2__3355_22.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__3365_11.min1.thm12017-02-06 12:46 843  
[ ]graph_2__3369_13.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_2__3370_17.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__3371_20.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__3376_14.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__3381_17.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_2__3389_19.min1.thm12017-02-06 12:46 2.7K 
[ ]graph_2__3390_15.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__3394_44.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__3401_18.min1.thm12017-02-06 12:46 755  
[ ]graph_2__3402_21.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__3406_19.min1.thm12017-02-06 12:46 2.7K 
[ ]graph_2__3407_15.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__3411_18.min1.thm12017-02-06 12:46 813  
[ ]graph_2__3412_23.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__3415_39.min1.thm12017-02-06 12:46 363  
[ ]graph_2__3415_39.min1.thm1.tptp2017-02-06 16:47 285  
[ ]graph_2__3417_21.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__3425_16.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__3435_28.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__3442_18.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__3443_17.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__3444_22.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__3445_47.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__3446_20.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_2__3447_15.min1.thm12017-02-06 12:46 2.7K 
[ ]graph_2__3457_17.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_2__3461_23.min1.thm12017-02-06 12:46 2.8K 
[ ]graph_2__3468_16.min1.thm12017-02-06 12:46 692  
[ ]graph_2__3480_15.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_2__3481_15.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__3484_15.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_2__3485_22.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__3490_31.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__3492_20.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_2__3500_22.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_2__3501_32.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__3512_12.min1.thm12017-02-06 12:46 678  
[ ]graph_2__3513_20.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_2__3522_15.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__3523_18.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_2__3533_30.min1.thm12017-02-06 12:46 602  
[ ]graph_2__3533_30.min1.thm1.tptp2017-02-06 16:47 540  
[ ]graph_2__3540_59.min1.thm12017-02-06 12:46 678  
[ ]graph_2__3551_34.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__3552_22.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_2__3554_30.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__3555_34.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__3565_27.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__3572_18.min1.thm12017-02-06 12:46 887  
[ ]graph_2__3573_17.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__3574_22.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__3576_20.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_2__3577_15.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_2__3587_17.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_2__3591_24.min1.thm12017-02-06 12:46 2.9K 
[ ]graph_2__3598_16.min1.thm12017-02-06 12:46 692  
[ ]graph_2__3599_23.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__3609_15.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_2__3611_15.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__3614_15.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_2__3620_29.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__3648_25.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__3659_16.min1.thm12017-02-06 12:46 692  
[ ]graph_2__3689_10.min1.thm12017-02-06 12:46 849  
[ ]graph_2__3690_12.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__3696_15.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__3697_18.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__3698_20.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__3707_22.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_2__3708_33.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__3720_14.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__3721_21.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__3722_22.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__3724_16.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__3725_15.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__3726_22.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__3727_46.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__3736_16.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__3737_14.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__3738_21.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__3740_43.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__3747_18.min1.thm12017-02-06 12:46 748  
[ ]graph_2__3748_20.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__3753_14.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__3756_17.min1.thm12017-02-06 12:46 807  
[ ]graph_2__3757_22.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__3758_21.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__3760_37.min1.thm12017-02-06 12:46 361  
[ ]graph_2__3760_37.min1.thm1.tptp2017-02-06 16:47 283  
[ ]graph_2__3774_14.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__3777_44.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__3784_18.min1.thm12017-02-06 12:46 748  
[ ]graph_2__3785_21.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__3790_14.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__3793_18.min1.thm12017-02-06 12:46 807  
[ ]graph_2__3794_23.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__3797_19.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_2__3802_37.min1.thm12017-02-06 12:46 361  
[ ]graph_2__3802_37.min1.thm1.tptp2017-02-06 16:47 283  
[ ]graph_2__3810_11.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__3813_31.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__3825_13.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__3836_13.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__3837_21.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__3839_39.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__3840_35.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__3841_38.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__3842_34.min1.thm12017-02-06 12:46 2.8K 
[ ]graph_2__3845_22.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_2__3847_54.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_2__3850_54.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_2__3855_32.min1.thm12017-02-06 12:46 2.8K 
[ ]graph_2__3862_18.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__3863_17.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__3864_22.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__3865_47.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__3866_20.min1.thm12017-02-06 12:46 3.0K 
[ ]graph_2__3867_15.min1.thm12017-02-06 12:46 2.7K 
[ ]graph_2__3877_25.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__3888_16.min1.thm12017-02-06 12:46 687  
[ ]graph_2__3908_22.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__3912_37.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__3947_25.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__3958_16.min1.thm12017-02-06 12:46 692  
[ ]graph_2__3987_47.min1.thm12017-02-06 12:46 132  
[ ]graph_2__3991_17.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_2__3993_25.min1.thm12017-02-06 12:46 3.2K 
[ ]graph_2__4001_12.min1.thm12017-02-06 12:46 743  
[ ]graph_2__4003_21.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__4005_43.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__4006_12.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__4007_20.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__4009_19.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_2__4011_16.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__4022_18.min1.thm12017-02-06 12:46 748  
[ ]graph_2__4023_20.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__4027_15.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__4031_17.min1.thm12017-02-06 12:46 807  
[ ]graph_2__4032_22.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__4033_21.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__4042_11.min1.thm12017-02-06 12:46 743  
[ ]graph_2__4044_21.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__4046_35.min1.thm12017-02-06 12:46 361  
[ ]graph_2__4046_35.min1.thm1.tptp2017-02-06 16:47 283  
[ ]graph_2__4048_37.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__4054_18.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_2__4062_11.min1.thm12017-02-06 12:46 666  
[ ]graph_2__4063_19.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_2__4066_44.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__4073_18.min1.thm12017-02-06 12:46 755  
[ ]graph_2__4074_21.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__4078_14.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__4079_19.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_2__4082_18.min1.thm12017-02-06 12:46 813  
[ ]graph_2__4083_23.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__4086_39.min1.thm12017-02-06 12:46 363  
[ ]graph_2__4086_39.min1.thm1.tptp2017-02-06 16:47 285  
[ ]graph_2__4094_10.min1.thm12017-02-06 12:46 666  
[ ]graph_2__4095_18.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_2__4098_40.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__4107_26.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__4113_31.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__4120_18.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__4121_17.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__4122_22.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__4123_47.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__4124_20.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_2__4125_15.min1.thm12017-02-06 12:46 2.7K 
[ ]graph_2__4128_17.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_2__4138_23.min1.thm12017-02-06 12:46 2.8K 
[ ]graph_2__4145_16.min1.thm12017-02-06 12:46 686  
[ ]graph_2__4146_22.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__4157_15.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_2__4158_15.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__4161_15.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_2__4162_22.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__4168_31.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__4183_17.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_2__4193_24.min1.thm12017-02-06 12:46 2.8K 
[ ]graph_2__4200_16.min1.thm12017-02-06 12:46 688  
[ ]graph_2__4201_23.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__4212_15.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_2__4213_15.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__4216_15.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_2__4230_11.min1.thm12017-02-06 12:46 304  
[ ]graph_2__4233_47.min1.thm12017-02-06 12:46 334  
[ ]graph_2__4234_42.min1.thm12017-02-06 12:46 342  
[ ]graph_2__4234_42.min1.thm1.tptp2017-02-06 16:47 270  
[ ]graph_2__4235_39.min1.thm12017-02-06 12:46 342  
[ ]graph_2__4235_39.min1.thm1.tptp2017-02-06 16:47 270  
[ ]graph_2__4237_38.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__4238_34.min1.thm12017-02-06 12:46 349  
[ ]graph_2__4238_34.min1.thm1.tptp2017-02-06 16:47 263  
[ ]graph_2__4239_15.min1.thm12017-02-06 12:46 304  
[ ]graph_2__4248_44.min1.thm12017-02-06 12:46 344  
[ ]graph_2__4248_44.min1.thm1.tptp2017-02-06 16:47 272  
[ ]graph_2__4249_41.min1.thm12017-02-06 12:46 344  
[ ]graph_2__4249_41.min1.thm1.tptp2017-02-06 16:47 272  
[ ]graph_2__4251_39.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__4252_35.min1.thm12017-02-06 12:46 274  
[ ]graph_2__4253_46.min1.thm12017-02-06 12:46 306  
[ ]graph_2__4254_20.min1.thm12017-02-06 12:46 400  
[ ]graph_2__4277_65.min1.thm12017-02-06 12:46 911  
[ ]graph_2__4278_70.min1.thm12017-02-06 12:46 695  
[ ]graph_2__4281_50.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__4289_13.min1.thm12017-02-06 12:46 472  
[ ]graph_2__4295_39.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__4304_11.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__4305_23.min1.thm12017-02-06 12:46 3.0K 
[ ]graph_2__4307_16.min1.thm12017-02-06 12:46 963  
[ ]graph_2__4308_17.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__4311_16.min1.thm12017-02-06 12:46 963  
[ ]graph_2__4312_21.min1.thm12017-02-06 12:46 789  
[ ]graph_2__4313_30.min1.thm12017-02-06 12:46 893  
[ ]graph_2__4314_34.min1.thm12017-02-06 12:46 919  
[ ]graph_2__4315_24.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__4316_21.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__4329_41.min1.thm12017-02-06 12:46 742  
[ ]graph_2__4340_10.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__4360_26.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__4365_12.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__4370_16.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__4373_14.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_2__4379_15.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_2__4381_13.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__4382_19.min1.thm12017-02-06 12:46 3.2K 
[ ]graph_2__4384_15.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__4412_21.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__4420_14.min1.thm12017-02-06 12:46 460  
[ ]graph_2__4423_60.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__4428_62.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__4446_29.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__4453_20.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__4461_18.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__4463_15.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__4468_18.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__4474_20.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_2__4482_21.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__4483_22.min1.thm12017-02-06 12:46 2.7K 
[ ]graph_2__4484_24.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_2__4506_13.min1.thm12017-02-06 12:46 577  
[ ]graph_2__4526_21.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__4527_24.min1.thm12017-02-06 12:46 805  
[ ]graph_2__4528_26.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__4529_9.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__4545_38.min1.thm12017-02-06 12:46 911  
[ ]graph_2__4548_25.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__4549_65.min1.thm12017-02-06 12:46 671  
[ ]graph_2__4551_50.min1.thm12017-02-06 12:46 968  
[ ]graph_2__4552_21.min1.thm12017-02-06 12:46 2.8K 
[ ]graph_2__4553_20.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_2__4554_23.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_2__4560_30.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__4561_38.min1.thm12017-02-06 12:46 911  
[ ]graph_2__4562_70.min1.thm12017-02-06 12:46 685  
[ ]graph_2__4563_50.min1.thm12017-02-06 12:46 968  
[ ]graph_2__4566_20.min1.thm12017-02-06 12:46 739  
[ ]graph_2__4569_60.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__4572_33.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__4577_15.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__4584_20.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_2__4587_29.min1.thm12017-02-06 12:46 3.4K 
[ ]graph_2__4591_31.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_2__4601_51.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__4602_20.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__4605_23.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_2__4606_42.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__4610_27.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__4624_18.min1.thm12017-02-06 12:46 834  
[ ]graph_2__4628_15.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__4636_41.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__4637_16.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__4639_17.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_2__4643_19.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__4652_11.min1.thm12017-02-06 12:46 453  
[ ]graph_2__4652_11.min1.thm1.tptp2017-02-06 16:47 386  
[ ]graph_2__4659_18.min1.thm12017-02-06 12:46 829  
[ ]graph_2__4672_11.min1.thm12017-02-06 12:46 186  
[ ]graph_2__4681_41.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__4686_17.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__4698_20.min1.thm12017-02-06 12:46 2.9K 
[ ]graph_2__4700_13.min1.thm12017-02-06 12:46 188  
[ ]graph_2__4704_43.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__4712_17.min1.thm12017-02-06 12:46 3.3K 
[ ]graph_2__4716_19.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__4735_14.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__4737_18.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__4744_17.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__4748_20.min1.thm12017-02-06 12:46 368  
[ ]graph_2__4769_18.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__4776_18.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__4800_19.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__4803_20.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__4820_19.min1.thm12017-02-06 12:46 707  
[ ]graph_2__4821_17.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__4823_41.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__4831_15.min1.thm12017-02-06 12:46 3.2K 
[ ]graph_2__4834_17.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__4839_23.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__4847_12.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__4848_21.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__4851_57.min1.thm12017-02-06 12:46 797  
[ ]graph_2__4857_16.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__4860_47.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__4861_16.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_2__4864_16.min1.thm12017-02-06 12:46 3.5K 
[ ]graph_2__4880_23.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__4881_51.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__4892_21.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_2__4895_15.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_2__4906_17.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_2__4933_64.min1.thm12017-02-06 12:46 326  
[ ]graph_2__4934_67.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_2__4964_15.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__4966_22.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__4967_21.min1.thm12017-02-06 12:46 971  
[ ]graph_2__4974_18.min1.thm12017-02-06 12:46 3.2K 
[ ]graph_2__4975_11.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__4978_14.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_2__4981_19.min1.thm12017-02-06 12:46 2.7K 
[ ]graph_2__4985_15.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_2__4989_15.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_2__4997_18.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__5003_19.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_2__5004_17.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__5005_16.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_2__5008_19.min1.thm12017-02-06 12:46 236  
[ ]graph_2__5019_21.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_2__5020_26.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__5021_24.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__5028_20.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__5043_36.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__5044_14.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_2__5045_15.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__5052_13.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_2__5053_36.min1.thm12017-02-06 12:46 972  
[ ]graph_2__5061_11.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_2__5064_14.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_2__5070_15.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_2__5074_15.min1.thm12017-02-06 12:46 198  
[ ]graph_2__5078_19.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_2__5092_15.min1.thm12017-02-06 12:46 230  
[ ]graph_2__5099_42.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__5100_20.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_2__5105_15.min1.thm12017-02-06 12:46 198  
[ ]graph_2__5114_19.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_2__5133_13.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_2__5134_14.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_2__5136_15.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_2__5137_23.min1.thm12017-02-06 12:46 2.3K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80