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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]graph_3__48_21.min1.thm12017-02-06 12:46 806  
[ ]graph_3__49_16.min1.thm12017-02-06 12:46 487  
[ ]graph_3__58_18.min1.thm12017-02-06 12:46 323  
[ ]graph_3__58_18.min1.thm1.tptp2017-02-06 16:47 246  
[ ]graph_3__60_14.min1.thm12017-02-06 12:46 905  
[ ]graph_3__61_18.min1.thm12017-02-06 12:46 323  
[ ]graph_3__61_18.min1.thm1.tptp2017-02-06 16:47 246  
[ ]graph_3__63_14.min1.thm12017-02-06 12:46 905  
[ ]graph_3__65_16.min1.thm12017-02-06 12:46 632  
[ ]graph_3__70_74.min1.thm12017-02-06 12:46 764  
[ ]graph_3__80_25.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__84_17.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__87_34.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__105_11.min1.thm12017-02-06 12:46 395  
[ ]graph_3__114_13.min1.thm12017-02-06 12:46 885  
[ ]graph_3__116_13.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_3__149_27.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__159_17.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__166_44.min1.thm12017-02-06 12:46 526  
[ ]graph_3__169_16.min1.thm12017-02-06 12:46 643  
[ ]graph_3__179_11.min1.thm12017-02-06 12:46 395  
[ ]graph_3__183_19.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__194_13.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__201_17.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_3__208_14.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__228_13.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__231_17.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_3__244_23.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__247_22.min1.thm12017-02-06 12:46 476  
[ ]graph_3__248_24.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__257_19.min1.thm12017-02-06 12:46 476  
[ ]graph_3__258_20.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_3__266_34.min1.thm12017-02-06 12:46 546  
[ ]graph_3__268_37.min1.thm12017-02-06 12:46 546  
[ ]graph_3__283_31.min1.thm12017-02-06 12:46 691  
[ ]graph_3__293_37.min1.thm12017-02-06 12:46 819  
[ ]graph_3__295_18.min1.thm12017-02-06 12:46 725  
[ ]graph_3__304_14.min1.thm12017-02-06 12:46 2.7K 
[ ]graph_3__307_14.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_3__311_28.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_3__316_15.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__320_13.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_3__321_16.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__321_16.min1.thm1.tptp2017-02-06 16:47 1.2K 
[ ]graph_3__325_15.min1.thm12017-02-06 12:46 881  
[ ]graph_3__326_23.min1.thm12017-02-06 12:46 2.7K 
[ ]graph_3__336_13.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_3__339_28.min1.thm12017-02-06 12:46 631  
[ ]graph_3__341_20.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_3__342_17.min1.thm12017-02-06 12:46 2.9K 
[ ]graph_3__343_25.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__361_64.min1.thm12017-02-06 12:46 669  
[ ]graph_3__363_24.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__373_33.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__374_16.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_3__390_19.min1.thm12017-02-06 12:46 2.9K 
[ ]graph_3__392_19.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_3__393_13.min1.thm12017-02-06 12:46 877  
[ ]graph_3__400_15.min1.thm12017-02-06 12:46 2.8K 
[ ]graph_3__420_14.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__424_18.min1.thm12017-02-06 12:46 376  
[ ]graph_3__428_20.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__449_20.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__450_16.min1.thm12017-02-06 12:46 581  
[ ]graph_3__451_29.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_3__455_12.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__456_24.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__457_17.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_3__469_40.min1.thm12017-02-06 12:46 535  
[ ]graph_3__472_62.min1.thm12017-02-06 12:46 915  
[ ]graph_3__481_36.min1.thm12017-02-06 12:46 484  
[ ]graph_3__482_22.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__483_21.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_3__499_40.min1.thm12017-02-06 12:46 535  
[ ]graph_3__504_62.min1.thm12017-02-06 12:46 915  
[ ]graph_3__511_36.min1.thm12017-02-06 12:46 484  
[ ]graph_3__512_22.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__513_21.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_3__530_24.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__534_16.min1.thm12017-02-06 12:46 222  
[ ]graph_3__535_23.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_3__538_18.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__541_35.min1.thm12017-02-06 12:46 449  
[ ]graph_3__542_19.min1.thm12017-02-06 12:46 797  
[ ]graph_3__557_29.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__568_42.min1.thm12017-02-06 12:46 753  
[ ]graph_3__570_33.min1.thm12017-02-06 12:46 638  
[ ]graph_3__571_59.min1.thm12017-02-06 12:46 575  
[ ]graph_3__574_16.min1.thm12017-02-06 12:46 329  
[ ]graph_3__574_16.min1.thm1.tptp2017-02-06 16:47 243  
[ ]graph_3__576_17.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_3__597_21.min1.thm12017-02-06 12:46 414  
[ ]graph_3__611_14.min1.thm12017-02-06 12:46 356  
[ ]graph_3__611_14.min1.thm1.tptp2017-02-06 16:47 276  
[ ]graph_3__625_52.min1.thm12017-02-06 12:46 636  
[ ]graph_3__634_39.min1.thm12017-02-06 12:46 406  
[ ]graph_3__634_39.min1.thm1.tptp2017-02-06 16:47 326  
[ ]graph_3__647_42.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__661_14.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__662_17.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__670_53.min1.thm12017-02-06 12:46 889  
[ ]graph_3__672_20.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__673_18.min1.thm12017-02-06 12:46 713  
[ ]graph_3__673_18.min1.thm1.tptp2017-02-06 16:47 638  
[ ]graph_3__681_23.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_3__699_22.min1.thm12017-02-06 12:46 760  
[ ]graph_3__702_50.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__703_73.min1.thm12017-02-06 12:46 959  
[ ]graph_3__720_26.min1.thm12017-02-06 12:46 662  
[ ]graph_3__721_52.min1.thm12017-02-06 12:46 3.0K 
[ ]graph_3__735_14.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__736_18.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__744_53.min1.thm12017-02-06 12:46 889  
[ ]graph_3__746_20.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__747_18.min1.thm12017-02-06 12:46 713  
[ ]graph_3__747_18.min1.thm1.tptp2017-02-06 16:47 638  
[ ]graph_3__755_23.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_3__773_22.min1.thm12017-02-06 12:46 760  
[ ]graph_3__776_50.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__777_73.min1.thm12017-02-06 12:46 959  
[ ]graph_3__781_37.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_3__794_26.min1.thm12017-02-06 12:46 662  
[ ]graph_3__795_52.min1.thm12017-02-06 12:46 3.0K 
[ ]graph_3__811_21.min1.thm12017-02-06 12:46 529  
[ ]graph_3__811_21.min1.thm1.tptp2017-02-06 16:47 452  
[ ]graph_3__815_14.min1.thm12017-02-06 12:46 469  
[ ]graph_3__824_21.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__830_14.min1.thm12017-02-06 12:46 469  
[ ]graph_3__839_21.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__854_43.min1.thm12017-02-06 12:46 605  
[ ]graph_3__857_38.min1.thm12017-02-06 12:46 512  
[ ]graph_3__857_38.min1.thm1.tptp2017-02-06 16:47 450  
[ ]graph_3__867_43.min1.thm12017-02-06 12:46 605  
[ ]graph_3__870_38.min1.thm12017-02-06 12:46 512  
[ ]graph_3__870_38.min1.thm1.tptp2017-02-06 16:47 450  
[ ]graph_3__883_19.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__904_44.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__905_41.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__908_58.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_3__911_55.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__921_25.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__922_28.min1.thm12017-02-06 12:46 765  
[ ]graph_3__924_18.min1.thm12017-02-06 12:46 650  
[ ]graph_3__925_19.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_3__928_30.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_3__932_14.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_3__934_17.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__935_20.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__941_19.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_3__944_22.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_3__946_18.min1.thm12017-02-06 12:46 960  
[ ]graph_3__947_18.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_3__950_16.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__1004_54.min1.thm12017-02-06 12:46 473  
[ ]graph_3__1004_54.min1.thm1.tptp2017-02-06 16:47 419  
[ ]graph_3__1007_21.min1.thm12017-02-06 12:46 355  
[ ]graph_3__1007_21.min1.thm1.tptp2017-02-06 16:47 278  
[ ]graph_3__1008_33.min1.thm12017-02-06 12:46 662  
[ ]graph_3__1016_24.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__1023_22.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_3__1026_45.min1.thm12017-02-06 12:46 679  
[ ]graph_3__1027_53.min1.thm12017-02-06 12:46 783  
[ ]graph_3__1028_34.min1.thm12017-02-06 12:46 645  
[ ]graph_3__1030_22.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1031_60.min1.thm12017-02-06 12:46 636  
[ ]graph_3__1035_16.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1038_29.min1.thm12017-02-06 12:46 593  
[ ]graph_3__1046_15.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__1047_15.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_3__1081_62.min1.thm12017-02-06 12:46 421  
[ ]graph_3__1082_46.min1.thm12017-02-06 12:46 514  
[ ]graph_3__1083_18.min1.thm12017-02-06 12:46 512  
[ ]graph_3__1095_10.min1.thm12017-02-06 12:46 580  
[ ]graph_3__1096_36.min1.thm12017-02-06 12:46 724  
[ ]graph_3__1096_36.min1.thm1.tptp2017-02-06 16:47 655  
[ ]graph_3__1098_19.min1.thm12017-02-06 12:46 368  
[ ]graph_3__1098_19.min1.thm1.tptp2017-02-06 16:47 308  
[ ]graph_3__1112_62.min1.thm12017-02-06 12:46 421  
[ ]graph_3__1113_46.min1.thm12017-02-06 12:46 514  
[ ]graph_3__1114_18.min1.thm12017-02-06 12:46 512  
[ ]graph_3__1126_12.min1.thm12017-02-06 12:46 580  
[ ]graph_3__1127_36.min1.thm12017-02-06 12:46 724  
[ ]graph_3__1127_36.min1.thm1.tptp2017-02-06 16:47 655  
[ ]graph_3__1129_19.min1.thm12017-02-06 12:46 368  
[ ]graph_3__1129_19.min1.thm1.tptp2017-02-06 16:47 308  
[ ]graph_3__1138_13.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1146_34.min1.thm12017-02-06 12:46 423  
[ ]graph_3__1146_34.min1.thm1.tptp2017-02-06 16:47 349  
[ ]graph_3__1147_16.min1.thm12017-02-06 12:46 785  
[ ]graph_3__1152_34.min1.thm12017-02-06 12:46 423  
[ ]graph_3__1152_34.min1.thm1.tptp2017-02-06 16:47 349  
[ ]graph_3__1153_16.min1.thm12017-02-06 12:46 785  
[ ]graph_3__1165_49.min1.thm12017-02-06 12:46 393  
[ ]graph_3__1165_49.min1.thm1.tptp2017-02-06 16:47 316  
[ ]graph_3__1172_50.min1.thm12017-02-06 12:46 393  
[ ]graph_3__1172_50.min1.thm1.tptp2017-02-06 16:47 316  
[ ]graph_3__1184_13.min1.thm12017-02-06 12:46 619  
[ ]graph_3__1188_13.min1.thm12017-02-06 12:46 619  
[ ]graph_3__1197_33.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1207_33.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1214_13.min1.thm12017-02-06 12:46 731  
[ ]graph_3__1216_13.min1.thm12017-02-06 12:46 731  
[ ]graph_3__1231_26.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1236_39.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1238_17.min1.thm12017-02-06 12:46 536  
[ ]graph_3__1247_27.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1252_40.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1254_17.min1.thm12017-02-06 12:46 536  
[ ]graph_3__1268_49.min1.thm12017-02-06 12:46 863  
[ ]graph_3__1269_64.min1.thm12017-02-06 12:46 933  
[ ]graph_3__1270_35.min1.thm12017-02-06 12:46 951  
[ ]graph_3__1293_30.min1.thm12017-02-06 12:46 635  
[ ]graph_3__1294_31.min1.thm12017-02-06 12:46 615  
[ ]graph_3__1296_41.min1.thm12017-02-06 12:46 790  
[ ]graph_3__1297_29.min1.thm12017-02-06 12:46 615  
[ ]graph_3__1299_39.min1.thm12017-02-06 12:46 790  
[ ]graph_3__1300_14.min1.thm12017-02-06 12:46 436  
[ ]graph_3__1303_30.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1305_44.min1.thm12017-02-06 12:46 782  
[ ]graph_3__1306_53.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1311_32.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1313_46.min1.thm12017-02-06 12:46 782  
[ ]graph_3__1314_55.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1326_25.min1.thm12017-02-06 12:46 473  
[ ]graph_3__1332_21.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1334_30.min1.thm12017-02-06 12:46 575  
[ ]graph_3__1335_32.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1344_28.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__1345_30.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__1354_49.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_3__1357_18.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1359_19.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1374_25.min1.thm12017-02-06 12:46 473  
[ ]graph_3__1380_21.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1382_30.min1.thm12017-02-06 12:46 575  
[ ]graph_3__1383_32.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1392_28.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__1393_30.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__1402_51.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_3__1405_18.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1407_19.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1436_20.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1438_18.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__1439_32.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1444_21.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__1446_13.min1.thm12017-02-06 12:46 421  
[ ]graph_3__1446_13.min1.thm1.tptp2017-02-06 16:47 359  
[ ]graph_3__1447_30.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1456_20.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1458_18.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__1459_32.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1464_21.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__1466_13.min1.thm12017-02-06 12:46 421  
[ ]graph_3__1466_13.min1.thm1.tptp2017-02-06 16:47 359  
[ ]graph_3__1467_30.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1477_70.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__1478_41.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__1489_44.min1.thm12017-02-06 12:46 784  
[ ]graph_3__1491_33.min1.thm12017-02-06 12:46 642  
[ ]graph_3__1497_25.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__1500_16.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1501_14.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_3__1502_19.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_3__1503_16.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_3__1507_20.min1.thm12017-02-06 12:46 3.2K 
[ ]graph_3__1509_22.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1518_24.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__1520_21.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1529_14.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__1533_31.min1.thm12017-02-06 12:46 831  
[ ]graph_3__1534_31.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1535_17.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1538_15.min1.thm12017-02-06 12:46 904  
[ ]graph_3__1539_14.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__1540_18.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__1541_36.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__1544_18.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__1555_32.min1.thm12017-02-06 12:46 831  
[ ]graph_3__1556_31.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1557_17.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1560_15.min1.thm12017-02-06 12:46 904  
[ ]graph_3__1561_14.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__1562_18.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__1563_36.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__1566_18.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__1584_30.min1.thm12017-02-06 12:46 700  
[ ]graph_3__1585_49.min1.thm12017-02-06 12:46 876  
[ ]graph_3__1592_13.min1.thm12017-02-06 12:46 619  
[ ]graph_3__1594_11.min1.thm12017-02-06 12:46 192  
[ ]graph_3__1608_22.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_3__1610_20.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1611_44.min1.thm12017-02-06 12:46 862  
[ ]graph_3__1613_34.min1.thm12017-02-06 12:46 656  
[ ]graph_3__1636_16.min1.thm12017-02-06 12:46 816  
[ ]graph_3__1638_18.min1.thm12017-02-06 12:46 645  
[ ]graph_3__1639_16.min1.thm12017-02-06 12:46 816  
[ ]graph_3__1640_32.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__1644_19.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__1645_31.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_3__1650_18.min1.thm12017-02-06 12:46 645  
[ ]graph_3__1652_31.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_3__1654_32.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__1657_24.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__1664_12.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__1672_53.min1.thm12017-02-06 12:46 423  
[ ]graph_3__1672_53.min1.thm1.tptp2017-02-06 16:47 349  
[ ]graph_3__1673_52.min1.thm12017-02-06 12:46 423  
[ ]graph_3__1673_52.min1.thm1.tptp2017-02-06 16:47 349  
[ ]graph_3__1674_44.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__1675_53.min1.thm12017-02-06 12:46 405  
[ ]graph_3__1675_53.min1.thm1.tptp2017-02-06 16:47 319  
[ ]graph_3__1676_68.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__1677_16.min1.thm12017-02-06 12:46 717  
[ ]graph_3__1701_20.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__1702_13.min1.thm12017-02-06 12:46 293  
[ ]graph_3__1703_18.min1.thm12017-02-06 12:46 659  
[ ]graph_3__1709_17.min1.thm12017-02-06 12:46 358  
[ ]graph_3__1709_17.min1.thm1.tptp2017-02-06 16:47 279  
[ ]graph_3__1711_21.min1.thm12017-02-06 12:46 373  
[ ]graph_3__1711_21.min1.thm1.tptp2017-02-06 16:47 305  
[ ]graph_3__1712_16.min1.thm12017-02-06 12:46 634  
[ ]graph_3__1713_28.min1.thm12017-02-06 12:46 747  
[ ]graph_3__1717_24.min1.thm12017-02-06 12:46 609  
[ ]graph_3__1721_26.min1.thm12017-02-06 12:46 641  
[ ]graph_3__1723_27.min1.thm12017-02-06 12:46 738  
[ ]graph_3__1724_40.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_3__1725_47.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_3__1726_12.min1.thm12017-02-06 12:46 589  
[ ]graph_3__1727_26.min1.thm12017-02-06 12:46 642  
[ ]graph_3__1729_27.min1.thm12017-02-06 12:46 740  
[ ]graph_3__1730_40.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_3__1731_47.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_3__1732_12.min1.thm12017-02-06 12:46 589  
[ ]graph_3__1751_20.min1.thm12017-02-06 12:46 729  
[ ]graph_3__1752_17.min1.thm12017-02-06 12:46 359  
[ ]graph_3__1752_17.min1.thm1.tptp2017-02-06 16:47 294  
[ ]graph_3__1755_37.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_3__1756_13.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__1760_20.min1.thm12017-02-06 12:46 729  
[ ]graph_3__1761_17.min1.thm12017-02-06 12:46 359  
[ ]graph_3__1761_17.min1.thm1.tptp2017-02-06 16:47 294  
[ ]graph_3__1764_37.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_3__1765_13.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__1774_29.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__1785_45.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_3__1789_43.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__1790_42.min1.thm12017-02-06 12:46 753  
[ ]graph_3__1792_33.min1.thm12017-02-06 12:46 638  
[ ]graph_3__1793_15.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__1794_22.min1.thm12017-02-06 12:46 935  
[ ]graph_3__1804_27.min1.thm12017-02-06 12:46 685  
[ ]graph_3__1805_42.min1.thm12017-02-06 12:46 753  
[ ]graph_3__1807_33.min1.thm12017-02-06 12:46 638  
[ ]graph_3__1808_68.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__1809_49.min1.thm12017-02-06 12:46 487  
[ ]graph_3__1809_49.min1.thm1.tptp2017-02-06 16:47 407  
[ ]graph_3__1810_37.min1.thm12017-02-06 12:46 576  
[ ]graph_3__1811_49.min1.thm12017-02-06 12:46 931  
[ ]graph_3__1812_58.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__1818_36.min1.thm12017-02-06 12:46 957  
[ ]graph_3__1831_20.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__1838_15.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__1839_18.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__1840_18.min1.thm12017-02-06 12:46 968  
[ ]graph_3__1841_26.min1.thm12017-02-06 12:46 725  
[ ]graph_3__1849_20.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1851_16.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_3__1852_23.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__1869_20.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__1876_15.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__1877_18.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__1878_18.min1.thm12017-02-06 12:46 968  
[ ]graph_3__1879_26.min1.thm12017-02-06 12:46 725  
[ ]graph_3__1887_20.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1889_16.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_3__1890_23.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__1909_20.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__1916_15.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__1917_18.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__1923_45.min1.thm12017-02-06 12:46 528  
[ ]graph_3__1923_45.min1.thm1.tptp2017-02-06 16:47 466  
[ ]graph_3__1927_45.min1.thm12017-02-06 12:46 510  
[ ]graph_3__1927_45.min1.thm1.tptp2017-02-06 16:47 448  
[ ]graph_3__1932_16.min1.thm12017-02-06 12:46 587  
[ ]graph_3__1932_16.min1.thm1.tptp2017-02-06 16:47 525  
[ ]graph_3__1935_22.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__1937_18.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_3__1938_25.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__1943_18.min1.thm12017-02-06 12:46 970  
[ ]graph_3__1944_24.min1.thm12017-02-06 12:46 789  
[ ]graph_3__1951_36.min1.thm12017-02-06 12:46 610  
[ ]graph_3__1954_13.min1.thm12017-02-06 12:46 358  
[ ]graph_3__1954_13.min1.thm1.tptp2017-02-06 16:47 293  
[ ]graph_3__1972_20.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__1979_15.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__1980_18.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__1986_44.min1.thm12017-02-06 12:46 528  
[ ]graph_3__1986_44.min1.thm1.tptp2017-02-06 16:47 466  
[ ]graph_3__1990_44.min1.thm12017-02-06 12:46 510  
[ ]graph_3__1990_44.min1.thm1.tptp2017-02-06 16:47 448  
[ ]graph_3__1995_16.min1.thm12017-02-06 12:46 587  
[ ]graph_3__1995_16.min1.thm1.tptp2017-02-06 16:47 525  
[ ]graph_3__1998_22.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__2000_18.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_3__2001_25.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__2006_18.min1.thm12017-02-06 12:46 970  
[ ]graph_3__2007_24.min1.thm12017-02-06 12:46 789  
[ ]graph_3__2014_35.min1.thm12017-02-06 12:46 610  
[ ]graph_3__2017_13.min1.thm12017-02-06 12:46 358  
[ ]graph_3__2017_13.min1.thm1.tptp2017-02-06 16:47 293  
[ ]graph_3__2033_20.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__2040_15.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__2041_18.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__2042_18.min1.thm12017-02-06 12:46 968  
[ ]graph_3__2043_26.min1.thm12017-02-06 12:46 725  
[ ]graph_3__2051_19.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__2054_23.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__2071_20.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__2078_15.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__2079_18.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__2080_18.min1.thm12017-02-06 12:46 968  
[ ]graph_3__2081_26.min1.thm12017-02-06 12:46 725  
[ ]graph_3__2089_19.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__2092_23.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__2107_34.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__2117_30.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__2118_19.min1.thm12017-02-06 12:46 626  
[ ]graph_3__2124_30.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__2125_61.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__2136_64.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__2139_61.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_3__2140_59.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__2145_23.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_3__2155_23.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__2156_17.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__2160_40.min1.thm12017-02-06 12:46 238  
[ ]graph_3__2161_19.min1.thm12017-02-06 12:46 365  
[ ]graph_3__2161_19.min1.thm1.tptp2017-02-06 16:47 279  
[ ]graph_3__2162_14.min1.thm12017-02-06 12:46 714  
[ ]graph_3__2175_34.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__2186_19.min1.thm12017-02-06 12:46 626  
[ ]graph_3__2200_62.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__2203_60.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_3__2204_57.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__2209_22.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_3__2219_21.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__2220_15.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__2233_53.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_3__2241_64.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__2242_41.min1.thm12017-02-06 12:46 832  
[ ]graph_3__2245_29.min1.thm12017-02-06 12:46 406  
[ ]graph_3__2247_45.min1.thm12017-02-06 12:46 804  
[ ]graph_3__2268_14.min1.thm12017-02-06 12:46 280  
[ ]graph_3__2278_27.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__2289_27.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__2317_11.min1.thm12017-02-06 12:46 188  
[ ]graph_3__2320_43.min1.thm12017-02-06 12:46 317  
[ ]graph_3__2320_43.min1.thm1.tptp2017-02-06 16:47 236  
[ ]graph_3__2331_78.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__2332_21.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_3__2334_45.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__2335_25.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__2338_52.min1.thm12017-02-06 12:46 935  
[ ]graph_3__2339_37.min1.thm12017-02-06 12:46 547  
[ ]graph_3__2340_30.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__2341_50.min1.thm12017-02-06 12:46 945  
[ ]graph_3__2342_36.min1.thm12017-02-06 12:46 552  
[ ]graph_3__2343_29.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__2347_24.min1.thm12017-02-06 12:46 587  
[ ]graph_3__2347_24.min1.thm1.tptp2017-02-06 16:47 507  
[ ]graph_3__2351_57.min1.thm12017-02-06 12:46 594  
[ ]graph_3__2356_27.min1.thm12017-02-06 12:46 764  
[ ]graph_3__2356_27.min1.thm1.tptp2017-02-06 16:47 698  
[ ]graph_3__2357_19.min1.thm12017-02-06 12:46 750  
[ ]graph_3__2362_16.min1.thm12017-02-06 12:46 335  
[ ]graph_3__2362_16.min1.thm1.tptp2017-02-06 16:47 270  
[ ]graph_3__2363_18.min1.thm12017-02-06 12:46 663  
[ ]graph_3__2363_18.min1.thm1.tptp2017-02-06 16:47 601  
[ ]graph_3__2368_16.min1.thm12017-02-06 12:46 347  
[ ]graph_3__2368_16.min1.thm1.tptp2017-02-06 16:47 282  
[ ]graph_3__2371_43.min1.thm12017-02-06 12:46 524  
[ ]graph_3__2371_43.min1.thm1.tptp2017-02-06 16:47 446  
[ ]graph_3__2372_31.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__2373_51.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__2374_59.min1.thm12017-02-06 12:46 351  
[ ]graph_3__2374_59.min1.thm1.tptp2017-02-06 16:47 265  
[ ]graph_3__2375_27.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__2380_17.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__2381_39.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__2382_20.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_3__2383_15.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_3__2386_20.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_3__2390_22.min1.thm12017-02-06 12:46 325  
[ ]graph_3__2390_22.min1.thm1.tptp2017-02-06 16:47 245  
[ ]graph_3__2396_22.min1.thm12017-02-06 12:46 340  
[ ]graph_3__2396_22.min1.thm1.tptp2017-02-06 16:47 260  
[ ]graph_3__2400_46.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_3__2416_19.min1.thm12017-02-06 12:46 257  
[ ]graph_3__2418_19.min1.thm12017-02-06 12:46 267  
[ ]graph_3__2422_21.min1.thm12017-02-06 12:46 667  
[ ]graph_3__2423_47.min1.thm12017-02-06 12:46 394  
[ ]graph_3__2423_47.min1.thm1.tptp2017-02-06 16:47 316  
[ ]graph_3__2424_17.min1.thm12017-02-06 12:46 641  
[ ]graph_3__2425_18.min1.thm12017-02-06 12:46 654  
[ ]graph_3__2431_20.min1.thm12017-02-06 12:46 514  
[ ]graph_3__2436_24.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__2441_23.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__2442_23.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_3__2444_27.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_3__2446_57.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__2447_21.min1.thm12017-02-06 12:46 491  
[ ]graph_3__2457_45.min1.thm12017-02-06 12:46 734  
[ ]graph_3__2457_45.min1.thm1.tptp2017-02-06 16:47 672  
[ ]graph_3__2468_45.min1.thm12017-02-06 12:46 822  
[ ]graph_3__2477_27.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_3__2479_61.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__2480_27.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_3__2481_48.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__2491_45.min1.thm12017-02-06 12:46 734  
[ ]graph_3__2491_45.min1.thm1.tptp2017-02-06 16:47 672  
[ ]graph_3__2493_31.min1.thm12017-02-06 12:46 3.5K 
[ ]graph_3__2502_45.min1.thm12017-02-06 12:46 822  
[ ]graph_3__2504_31.min1.thm12017-02-06 12:46 3.6K 
[ ]graph_3__2514_53.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__2515_17.min1.thm12017-02-06 12:46 467  
[ ]graph_3__2525_41.min1.thm12017-02-06 12:46 798  
[ ]graph_3__2527_27.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_3__2536_41.min1.thm12017-02-06 12:46 710  
[ ]graph_3__2536_41.min1.thm1.tptp2017-02-06 16:47 648  
[ ]graph_3__2538_27.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_3__2550_49.min1.thm12017-02-06 12:46 795  
[ ]graph_3__2551_20.min1.thm12017-02-06 12:46 799  
[ ]graph_3__2551_20.min1.thm1.tptp2017-02-06 16:47 737  
[ ]graph_3__2555_22.min1.thm12017-02-06 12:46 733  
[ ]graph_3__2556_33.min1.thm12017-02-06 12:46 778  
[ ]graph_3__2558_20.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__2559_20.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__2562_20.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__2564_30.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__2566_19.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_3__2567_19.min1.thm12017-02-06 12:46 418  
[ ]graph_3__2568_19.min1.thm12017-02-06 12:46 400  
[ ]graph_3__2569_23.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_3__2570_21.min1.thm12017-02-06 12:46 740  
[ ]graph_3__2572_18.min1.thm12017-02-06 12:46 371  
[ ]graph_3__2572_18.min1.thm1.tptp2017-02-06 16:47 306  
[ ]graph_3__2580_28.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_3__2584_29.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_3__2589_44.min1.thm12017-02-06 12:46 4.3K 
[ ]graph_3__2596_44.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_3__2601_33.min1.thm12017-02-06 12:46 3.0K 
[ ]graph_3__2612_28.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_3__2620_22.min1.thm12017-02-06 12:46 728  
[ ]graph_3__2621_34.min1.thm12017-02-06 12:46 773  
[ ]graph_3__2623_20.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__2624_20.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__2627_20.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__2629_30.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__2631_19.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_3__2632_19.min1.thm12017-02-06 12:46 418  
[ ]graph_3__2633_19.min1.thm12017-02-06 12:46 400  
[ ]graph_3__2634_23.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_3__2635_21.min1.thm12017-02-06 12:46 730  
[ ]graph_3__2637_18.min1.thm12017-02-06 12:46 361  
[ ]graph_3__2637_18.min1.thm1.tptp2017-02-06 16:47 296  
[ ]graph_3__2645_28.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_3__2649_29.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_3__2654_44.min1.thm12017-02-06 12:46 4.5K 
[ ]graph_3__2661_44.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_3__2666_33.min1.thm12017-02-06 12:46 3.2K 
[ ]graph_3__2677_28.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_3__2703_37.min1.thm12017-02-06 12:46 4.1K 
[ ]graph_3__2703_37.min1.thm1.tptp2017-02-06 16:47 4.2K 
[ ]graph_3__2707_37.min1.thm12017-02-06 12:46 4.1K 
[ ]graph_3__2707_37.min1.thm1.tptp2017-02-06 16:47 4.2K 
[ ]graph_3__2713_22.min1.thm12017-02-06 12:46 13K 
[ ]graph_3__2761_27.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_3__2770_22.min1.thm12017-02-06 12:46 13K 
[ ]graph_3__2785_57.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_3__2785_57.min1.thm1.tptp2017-02-06 16:47 2.2K 
[ ]graph_3__2786_27.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_3__2788_30.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_3__2793_60.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_3__2793_60.min1.thm1.tptp2017-02-06 16:47 2.2K 
[ ]graph_3__2794_27.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_3__2796_30.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_3__2798_31.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_3__2806_29.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_3__2811_53.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_3__2811_53.min1.thm1.tptp2017-02-06 16:47 2.2K 
[ ]graph_3__2812_27.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_3__2814_30.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_3__2824_29.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_3__2829_53.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_3__2829_53.min1.thm1.tptp2017-02-06 16:47 2.2K 
[ ]graph_3__2830_27.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_3__2832_30.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_3__2859_46.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__2859_46.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]graph_3__2860_26.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_3__2862_29.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_3__2864_30.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_3__2871_29.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_3__2895_46.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__2895_46.min1.thm1.tptp2017-02-06 16:47 1.5K 
[ ]graph_3__2896_26.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_3__2898_29.min1.thm12017-02-06 12:46 2.6K 
[ ]graph_3__2907_29.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_3__2928_44.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_3__2929_34.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_3__2931_23.min1.thm12017-02-06 12:46 944  
[ ]graph_3__2940_11.min1.thm12017-02-06 12:46 188  
[ ]graph_3__2943_43.min1.thm12017-02-06 12:46 317  
[ ]graph_3__2943_43.min1.thm1.tptp2017-02-06 16:47 236  
[ ]graph_3__2950_28.min1.thm12017-02-06 12:46 660  
[ ]graph_3__2953_15.min1.thm12017-02-06 12:46 256  
[ ]graph_3__2974_22.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__2976_18.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_3__2978_61.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_3__2981_60.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__2984_58.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__2992_15.min1.thm12017-02-06 12:46 294  
[ ]graph_3__2993_52.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__2994_33.min1.thm12017-02-06 12:46 662  
[ ]graph_3__2995_45.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__2996_19.min1.thm12017-02-06 12:46 697  
[ ]graph_3__2997_14.min1.thm12017-02-06 12:46 285  
[ ]graph_3__2998_25.min1.thm12017-02-06 12:46 494  
[ ]graph_3__3000_24.min1.thm12017-02-06 12:46 405  
[ ]graph_3__3000_24.min1.thm1.tptp2017-02-06 16:47 331  
[ ]graph_3__3001_60.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__3005_34.min1.thm12017-02-06 12:46 916  
[ ]graph_3__3007_22.min1.thm12017-02-06 12:46 821  
[ ]graph_3__3011_55.min1.thm12017-02-06 12:46 509  
[ ]graph_3__3011_55.min1.thm1.tptp2017-02-06 16:47 455  
[ ]graph_3__3021_20.min1.thm12017-02-06 12:46 769  
[ ]graph_3__3023_28.min1.thm12017-02-06 12:46 831  
[ ]graph_3__3024_15.min1.thm12017-02-06 12:46 496  
[ ]graph_3__3026_45.min1.thm12017-02-06 12:46 823  
[ ]graph_3__3027_64.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_3__3029_11.min1.thm12017-02-06 12:46 268  
[ ]graph_3__3058_9.min1.thm12017-02-06 12:46 833  
[ ]graph_3__3059_64.min1.thm12017-02-06 12:46 439  
[ ]graph_3__3059_64.min1.thm1.tptp2017-02-06 16:47 375  
[ ]graph_3__3061_37.min1.thm12017-02-06 12:46 819  
[ ]graph_3__3063_56.min1.thm12017-02-06 12:46 285  
[ ]graph_3__3069_15.min1.thm12017-02-06 12:46 932  
[ ]graph_3__3070_33.min1.thm12017-02-06 12:46 491  
[ ]graph_3__3074_48.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__3075_19.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3084_43.min1.thm12017-02-06 12:46 476  
[ ]graph_3__3085_36.min1.thm12017-02-06 12:46 620  
[ ]graph_3__3085_36.min1.thm1.tptp2017-02-06 16:47 547  
[ ]graph_3__3087_19.min1.thm12017-02-06 12:46 368  
[ ]graph_3__3087_19.min1.thm1.tptp2017-02-06 16:47 308  
[ ]graph_3__3094_35.min1.thm12017-02-06 12:46 815  
[ ]graph_3__3099_17.min1.thm12017-02-06 12:46 849  
[ ]graph_3__3104_13.min1.thm12017-02-06 12:46 571  
[ ]graph_3__3115_42.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__3117_29.min1.thm12017-02-06 12:46 627  
[ ]graph_3__3118_24.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__3124_32.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__3127_15.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__3128_35.min1.thm12017-02-06 12:46 449  
[ ]graph_3__3129_24.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__3131_27.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_3__3133_16.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_3__3136_28.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_3__3143_29.min1.thm12017-02-06 12:46 404  
[ ]graph_3__3143_29.min1.thm1.tptp2017-02-06 16:47 324  
[ ]graph_3__3147_22.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__3149_29.min1.thm12017-02-06 12:46 404  
[ ]graph_3__3149_29.min1.thm1.tptp2017-02-06 16:47 324  
[ ]graph_3__3158_19.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_3__3163_73.min1.thm12017-02-06 12:46 2.9K 
[ ]graph_3__3182_17.min1.thm12017-02-06 12:46 908  
[ ]graph_3__3194_19.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__3199_19.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__3205_16.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__3208_34.min1.thm12017-02-06 12:46 541  
[ ]graph_3__3208_34.min1.thm1.tptp2017-02-06 16:47 487  
[ ]graph_3__3220_29.min1.thm12017-02-06 12:46 534  
[ ]graph_3__3229_16.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3231_17.min1.thm12017-02-06 12:46 646  
[ ]graph_3__3250_22.min1.thm12017-02-06 12:46 551  
[ ]graph_3__3253_16.min1.thm12017-02-06 12:46 633  
[ ]graph_3__3268_30.min1.thm12017-02-06 12:46 629  
[ ]graph_3__3273_14.min1.thm12017-02-06 12:46 568  
[ ]graph_3__3291_43.min1.thm12017-02-06 12:46 830  
[ ]graph_3__3300_23.min1.thm12017-02-06 12:46 665  
[ ]graph_3__3308_17.min1.thm12017-02-06 12:46 450  
[ ]graph_3__3309_47.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__3310_16.min1.thm12017-02-06 12:46 403  
[ ]graph_3__3310_16.min1.thm1.tptp2017-02-06 16:47 321  
[ ]graph_3__3311_26.min1.thm12017-02-06 12:46 847  
[ ]graph_3__3312_28.min1.thm12017-02-06 12:46 428  
[ ]graph_3__3316_32.min1.thm12017-02-06 12:46 371  
[ ]graph_3__3316_32.min1.thm1.tptp2017-02-06 16:47 285  
[ ]graph_3__3322_23.min1.thm12017-02-06 12:46 667  
[ ]graph_3__3328_46.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__3331_17.min1.thm12017-02-06 12:46 452  
[ ]graph_3__3332_31.min1.thm12017-02-06 12:46 378  
[ ]graph_3__3332_31.min1.thm1.tptp2017-02-06 16:47 292  
[ ]graph_3__3334_27.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3336_26.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_3__3337_24.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_3__3340_23.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__3341_25.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__3342_16.min1.thm12017-02-06 12:46 408  
[ ]graph_3__3342_16.min1.thm1.tptp2017-02-06 16:47 326  
[ ]graph_3__3350_15.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3352_13.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3372_14.min1.thm12017-02-06 12:46 274  
[ ]graph_3__3375_35.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_3__3380_35.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_3__3411_49.min1.thm12017-02-06 12:46 773  
[ ]graph_3__3413_34.min1.thm12017-02-06 12:46 729  
[ ]graph_3__3418_48.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__3421_72.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_3__3425_48.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__3428_72.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_3__3435_56.min1.thm12017-02-06 12:46 852  
[ ]graph_3__3435_56.min1.thm1.tptp2017-02-06 16:47 808  
[ ]graph_3__3436_41.min1.thm12017-02-06 12:46 314  
[ ]graph_3__3436_41.min1.thm1.tptp2017-02-06 16:47 234  
[ ]graph_3__3437_34.min1.thm12017-02-06 12:46 337  
[ ]graph_3__3437_34.min1.thm1.tptp2017-02-06 16:47 251  
[ ]graph_3__3438_45.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3446_18.min1.thm12017-02-06 12:46 539  
[ ]graph_3__3446_18.min1.thm1.tptp2017-02-06 16:47 461  
[ ]graph_3__3450_22.min1.thm12017-02-06 12:46 2.7K 
[ ]graph_3__3458_21.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__3459_19.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_3__3460_19.min1.thm12017-02-06 12:46 781  
[ ]graph_3__3472_20.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3481_27.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__3482_15.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__3483_17.min1.thm12017-02-06 12:46 781  
[ ]graph_3__3499_53.min1.thm12017-02-06 12:46 423  
[ ]graph_3__3499_53.min1.thm1.tptp2017-02-06 16:47 349  
[ ]graph_3__3505_15.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3510_57.min1.thm12017-02-06 12:46 897  
[ ]graph_3__3511_18.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_3__3515_17.min1.thm12017-02-06 12:46 784  
[ ]graph_3__3521_15.min1.thm12017-02-06 12:46 897  
[ ]graph_3__3522_22.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3530_21.min1.thm12017-02-06 12:46 3.6K 
[ ]graph_3__3532_59.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_3__3534_17.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__3536_16.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3537_20.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3544_32.min1.thm12017-02-06 12:46 397  
[ ]graph_3__3544_32.min1.thm1.tptp2017-02-06 16:47 311  
[ ]graph_3__3545_18.min1.thm12017-02-06 12:46 846  
[ ]graph_3__3549_19.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3552_17.min1.thm12017-02-06 12:46 595  
[ ]graph_3__3553_26.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__3555_20.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_3__3557_54.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_3__3560_33.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__3561_24.min1.thm12017-02-06 12:46 556  
[ ]graph_3__3562_24.min1.thm12017-02-06 12:46 469  
[ ]graph_3__3563_58.min1.thm12017-02-06 12:46 429  
[ ]graph_3__3563_58.min1.thm1.tptp2017-02-06 16:47 361  
[ ]graph_3__3567_33.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_3__3569_38.min1.thm12017-02-06 12:46 775  
[ ]graph_3__3574_52.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__3576_75.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_3__3581_52.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__3583_75.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_3__3587_48.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3593_23.min1.thm12017-02-06 12:46 842  
[ ]graph_3__3594_23.min1.thm12017-02-06 12:46 937  
[ ]graph_3__3598_28.min1.thm12017-02-06 12:46 537  
[ ]graph_3__3598_28.min1.thm1.tptp2017-02-06 16:47 483  
[ ]graph_3__3599_18.min1.thm12017-02-06 12:46 799  
[ ]graph_3__3602_66.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3604_45.min1.thm12017-02-06 12:46 594  
[ ]graph_3__3605_66.min1.thm12017-02-06 12:46 698  
[ ]graph_3__3606_45.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3608_33.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__3611_24.min1.thm12017-02-06 12:46 828  
[ ]graph_3__3612_43.min1.thm12017-02-06 12:46 632  
[ ]graph_3__3613_50.min1.thm12017-02-06 12:46 628  
[ ]graph_3__3617_53.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3618_21.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3624_66.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3629_24.min1.thm12017-02-06 12:46 828  
[ ]graph_3__3630_45.min1.thm12017-02-06 12:46 594  
[ ]graph_3__3631_66.min1.thm12017-02-06 12:46 698  
[ ]graph_3__3632_45.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3634_43.min1.thm12017-02-06 12:46 632  
[ ]graph_3__3635_50.min1.thm12017-02-06 12:46 628  
[ ]graph_3__3639_53.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3640_21.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3651_19.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__3652_27.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__3654_14.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__3670_19.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__3676_18.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__3677_24.min1.thm12017-02-06 12:46 278  
[ ]graph_3__3677_24.min1.thm1.tptp2017-02-06 16:47 190  
[ ]graph_3__3678_20.min1.thm12017-02-06 12:46 327  
[ ]graph_3__3678_20.min1.thm1.tptp2017-02-06 16:47 241  
[ ]graph_3__3679_31.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__3682_15.min1.thm12017-02-06 12:46 490  
[ ]graph_3__3682_15.min1.thm1.tptp2017-02-06 16:47 422  
[ ]graph_3__3683_23.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__3684_21.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_3__3687_27.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__3688_17.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__3704_17.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3705_42.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__3710_29.min1.thm12017-02-06 12:46 685  
[ ]graph_3__3711_29.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__3715_35.min1.thm12017-02-06 12:46 724  
[ ]graph_3__3717_13.min1.thm12017-02-06 12:46 248  
[ ]graph_3__3720_37.min1.thm12017-02-06 12:46 2.4K 
[ ]graph_3__3723_10.min1.thm12017-02-06 12:46 667  
[ ]graph_3__3727_37.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__3728_27.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__3735_10.min1.thm12017-02-06 12:46 687  
[ ]graph_3__3739_47.min1.thm12017-02-06 12:46 534  
[ ]graph_3__3742_17.min1.thm12017-02-06 12:46 597  
[ ]graph_3__3761_21.min1.thm12017-02-06 12:46 944  
[ ]graph_3__3762_15.min1.thm12017-02-06 12:46 506  
[ ]graph_3__3764_21.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__3765_36.min1.thm12017-02-06 12:46 543  
[ ]graph_3__3767_38.min1.thm12017-02-06 12:46 452  
[ ]graph_3__3767_38.min1.thm1.tptp2017-02-06 16:47 378  
[ ]graph_3__3768_17.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3769_22.min1.thm12017-02-06 12:46 484  
[ ]graph_3__3770_56.min1.thm12017-02-06 12:46 441  
[ ]graph_3__3770_56.min1.thm1.tptp2017-02-06 16:47 373  
[ ]graph_3__3773_24.min1.thm12017-02-06 12:46 947  
[ ]graph_3__3774_47.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__3775_61.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__3779_15.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3781_12.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3792_36.min1.thm12017-02-06 12:46 448  
[ ]graph_3__3792_36.min1.thm1.tptp2017-02-06 16:47 374  
[ ]graph_3__3793_43.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__3798_17.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3799_36.min1.thm12017-02-06 12:46 476  
[ ]graph_3__3800_54.min1.thm12017-02-06 12:46 433  
[ ]graph_3__3800_54.min1.thm1.tptp2017-02-06 16:47 365  
[ ]graph_3__3803_43.min1.thm12017-02-06 12:46 941  
[ ]graph_3__3808_11.min1.thm12017-02-06 12:46 475  
[ ]graph_3__3811_19.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__3814_50.min1.thm12017-02-06 12:46 857  
[ ]graph_3__3817_35.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_3__3819_27.min1.thm12017-02-06 12:46 495  
[ ]graph_3__3828_9.min1.thm12017-02-06 12:46 355  
[ ]graph_3__3828_9.min1.thm1.tptp2017-02-06 16:47 282  
[ ]graph_3__3830_27.min1.thm12017-02-06 12:46 405  
[ ]graph_3__3830_27.min1.thm1.tptp2017-02-06 16:47 331  
[ ]graph_3__3833_40.min1.thm12017-02-06 12:46 817  
[ ]graph_3__3841_35.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3843_35.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3846_57.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_3__3874_13.min1.thm12017-02-06 12:46 932  
[ ]graph_3__3876_18.min1.thm12017-02-06 12:46 845  
[ ]graph_3__3877_33.min1.thm12017-02-06 12:46 641  
[ ]graph_3__3884_17.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__3885_33.min1.thm12017-02-06 12:46 657  
[ ]graph_3__3886_53.min1.thm12017-02-06 12:46 783  
[ ]graph_3__3888_34.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__3890_4.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__3906_25.min1.thm12017-02-06 12:46 960  
[ ]graph_3__3907_32.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3910_32.min1.thm12017-02-06 12:46 746  
[ ]graph_3__3911_29.min1.thm12017-02-06 12:46 824  
[ ]graph_3__3915_11.min1.thm12017-02-06 12:46 190  
[ ]graph_3__3918_34.min1.thm12017-02-06 12:46 796  
[ ]graph_3__3919_50.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__3921_33.min1.thm12017-02-06 12:46 560  
[ ]graph_3__3922_36.min1.thm12017-02-06 12:46 540  
[ ]graph_3__3926_61.min1.thm12017-02-06 12:46 499  
[ ]graph_3__3926_61.min1.thm1.tptp2017-02-06 16:47 407  
[ ]graph_3__3927_58.min1.thm12017-02-06 12:46 358  
[ ]graph_3__3927_58.min1.thm1.tptp2017-02-06 16:47 275  
[ ]graph_3__3929_41.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__3930_72.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__3936_32.min1.thm12017-02-06 12:46 694  
[ ]graph_3__3937_35.min1.thm12017-02-06 12:46 606  
[ ]graph_3__3939_30.min1.thm12017-02-06 12:46 827  
[ ]graph_3__3941_24.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3945_35.min1.thm12017-02-06 12:46 454  
[ ]graph_3__3945_35.min1.thm1.tptp2017-02-06 16:47 380  
[ ]graph_3__3956_62.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3958_21.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3960_27.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__3961_21.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__3969_24.min1.thm12017-02-06 12:46 547  
[ ]graph_3__3970_19.min1.thm12017-02-06 12:46 2.8K 
[ ]graph_3__3977_19.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__3978_34.min1.thm12017-02-06 12:46 743  
[ ]graph_3__3985_30.min1.thm12017-02-06 12:46 699  
[ ]graph_3__3985_30.min1.thm1.tptp2017-02-06 16:47 649  
[ ]graph_3__3986_39.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_3__3988_37.min1.thm12017-02-06 12:46 363  
[ ]graph_3__3988_37.min1.thm1.tptp2017-02-06 16:47 281  
[ ]graph_3__4003_13.min1.thm12017-02-06 12:46 616  
[ ]graph_3__4004_12.min1.thm12017-02-06 12:46 363  
[ ]graph_3__4004_12.min1.thm1.tptp2017-02-06 16:47 298  
[ ]graph_3__4012_28.min1.thm12017-02-06 12:46 650  
[ ]graph_3__4013_24.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__4014_23.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_3__4016_63.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_3__4020_46.min1.thm12017-02-06 12:46 676  
[ ]graph_3__4021_28.min1.thm12017-02-06 12:46 789  
[ ]graph_3__4029_54.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__4030_13.min1.thm12017-02-06 12:46 293  
[ ]graph_3__4032_31.min1.thm12017-02-06 12:46 659  
[ ]graph_3__4033_17.min1.thm12017-02-06 12:46 616  
[ ]graph_3__4037_39.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__4038_34.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_3__4039_36.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__4040_13.min1.thm12017-02-06 12:46 349  
[ ]graph_3__4044_22.min1.thm12017-02-06 12:46 942  
[ ]graph_3__4045_21.min1.thm12017-02-06 12:46 845  
[ ]graph_3__4049_60.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__4050_19.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__4052_25.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_3__4053_21.min1.thm12017-02-06 12:46 674  
[ ]graph_3__4058_35.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__4068_31.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__4097_55.min1.thm12017-02-06 12:46 819  
[ ]graph_3__4098_17.min1.thm12017-02-06 12:46 960  
[ ]graph_3__4100_33.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_3__4102_13.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__4103_32.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_3__4111_12.min1.thm12017-02-06 12:46 918  
[ ]graph_3__4112_12.min1.thm12017-02-06 12:46 906  
[ ]graph_3__4120_53.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_3__4121_30.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__4123_61.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_3__4146_26.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_3__4149_20.min1.thm12017-02-06 12:46 1.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80