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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]graph_1__78_62.min1.thm12017-02-06 12:46 378  
[ ]graph_1__78_62.min1.thm1.tptp2017-02-06 16:47 286  
[ ]graph_1__79_31.min1.thm12017-02-06 12:46 349  
[ ]graph_1__79_31.min1.thm1.tptp2017-02-06 16:47 263  
[ ]graph_1__83_15.min1.thm12017-02-06 12:46 428  
[ ]graph_1__83_15.min1.thm1.tptp2017-02-06 16:47 348  
[ ]graph_1__85_13.min1.thm12017-02-06 12:46 129  
[ ]graph_1__93_62.min1.thm12017-02-06 12:46 378  
[ ]graph_1__93_62.min1.thm1.tptp2017-02-06 16:47 286  
[ ]graph_1__94_31.min1.thm12017-02-06 12:46 349  
[ ]graph_1__94_31.min1.thm1.tptp2017-02-06 16:47 263  
[ ]graph_1__98_15.min1.thm12017-02-06 12:46 428  
[ ]graph_1__98_15.min1.thm1.tptp2017-02-06 16:47 348  
[ ]graph_1__106_11.min1.thm12017-02-06 12:46 558  
[ ]graph_1__109_11.min1.thm12017-02-06 12:46 558  
[ ]graph_1__149_25.min1.thm12017-02-06 12:46 472  
[ ]graph_1__149_25.min1.thm1.tptp2017-02-06 16:47 410  
[ ]graph_1__150_71.min1.thm12017-02-06 12:46 406  
[ ]graph_1__153_12.min1.thm12017-02-06 12:46 569  
[ ]graph_1__163_40.min1.thm12017-02-06 12:46 570  
[ ]graph_1__166_25.min1.thm12017-02-06 12:46 565  
[ ]graph_1__167_24.min1.thm12017-02-06 12:46 659  
[ ]graph_1__167_24.min1.thm1.tptp2017-02-06 16:47 584  
[ ]graph_1__169_23.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_1__169_23.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]graph_1__180_18.min1.thm12017-02-06 12:46 464  
[ ]graph_1__180_18.min1.thm1.tptp2017-02-06 16:47 402  
[ ]graph_1__181_23.min1.thm12017-02-06 12:46 850  
[ ]graph_1__186_16.min1.thm12017-02-06 12:46 549  
[ ]graph_1__187_21.min1.thm12017-02-06 12:46 929  
[ ]graph_1__191_70.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_1__210_25.min1.thm12017-02-06 12:46 472  
[ ]graph_1__210_25.min1.thm1.tptp2017-02-06 16:47 410  
[ ]graph_1__212_67.min1.thm12017-02-06 12:46 406  
[ ]graph_1__215_12.min1.thm12017-02-06 12:46 569  
[ ]graph_1__225_41.min1.thm12017-02-06 12:46 570  
[ ]graph_1__228_25.min1.thm12017-02-06 12:46 565  
[ ]graph_1__229_24.min1.thm12017-02-06 12:46 659  
[ ]graph_1__229_24.min1.thm1.tptp2017-02-06 16:47 584  
[ ]graph_1__231_23.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_1__231_23.min1.thm1.tptp2017-02-06 16:47 1.3K 
[ ]graph_1__242_18.min1.thm12017-02-06 12:46 464  
[ ]graph_1__242_18.min1.thm1.tptp2017-02-06 16:47 402  
[ ]graph_1__243_23.min1.thm12017-02-06 12:46 850  
[ ]graph_1__248_16.min1.thm12017-02-06 12:46 549  
[ ]graph_1__249_21.min1.thm12017-02-06 12:46 929  
[ ]graph_1__253_70.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_1__257_29.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_1__258_30.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_1__261_49.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_1__265_55.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_1__266_18.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_1__297_59.min1.thm12017-02-06 12:46 607  
[ ]graph_1__297_59.min1.thm1.tptp2017-02-06 16:47 536  
[ ]graph_1__298_36.min1.thm12017-02-06 12:46 607  
[ ]graph_1__298_36.min1.thm1.tptp2017-02-06 16:47 536  
[ ]graph_1__303_59.min1.thm12017-02-06 12:46 607  
[ ]graph_1__303_59.min1.thm1.tptp2017-02-06 16:47 536  
[ ]graph_1__304_36.min1.thm12017-02-06 12:46 607  
[ ]graph_1__304_36.min1.thm1.tptp2017-02-06 16:47 536  
[ ]graph_1__317_59.min1.thm12017-02-06 12:46 607  
[ ]graph_1__317_59.min1.thm1.tptp2017-02-06 16:47 536  
[ ]graph_1__318_36.min1.thm12017-02-06 12:46 607  
[ ]graph_1__318_36.min1.thm1.tptp2017-02-06 16:47 536  
[ ]graph_1__323_59.min1.thm12017-02-06 12:46 607  
[ ]graph_1__323_59.min1.thm1.tptp2017-02-06 16:47 536  
[ ]graph_1__324_36.min1.thm12017-02-06 12:46 607  
[ ]graph_1__324_36.min1.thm1.tptp2017-02-06 16:47 536  
[ ]graph_1__377_35.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_1__378_15.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_1__384_50.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_1__401_24.min1.thm12017-02-06 12:46 642  
[ ]graph_1__408_56.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__411_37.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__413_59.min1.thm12017-02-06 12:46 3.2K 
[ ]graph_1__415_36.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__416_35.min1.thm12017-02-06 12:46 457  
[ ]graph_1__416_35.min1.thm1.tptp2017-02-06 16:47 390  
[ ]graph_1__418_36.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_1__419_32.min1.thm12017-02-06 12:46 459  
[ ]graph_1__419_32.min1.thm1.tptp2017-02-06 16:47 392  
[ ]graph_1__429_14.min1.thm12017-02-06 12:46 388  
[ ]graph_1__429_14.min1.thm1.tptp2017-02-06 16:47 315  
[ ]graph_1__431_14.min1.thm12017-02-06 12:46 388  
[ ]graph_1__431_14.min1.thm1.tptp2017-02-06 16:47 315  
[ ]graph_1__466_6.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_1__468_25.min1.thm12017-02-06 12:46 764  
[ ]graph_1__479_16.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__480_21.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__483_18.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_1__491_4.min1.thm12017-02-06 12:46 2.0K 
[ ]graph_1__493_25.min1.thm12017-02-06 12:46 760  
[ ]graph_1__504_14.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__505_19.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__508_16.min1.thm12017-02-06 12:46 2.3K 
[ ]graph_1__523_14.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__524_39.min1.thm12017-02-06 12:46 870  
[ ]graph_1__525_21.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_1__528_19.min1.thm12017-02-06 12:46 871  
[ ]graph_1__545_20.min1.thm12017-02-06 12:46 493  
[ ]graph_1__546_16.min1.thm12017-02-06 12:46 310  
[ ]graph_1__546_16.min1.thm1.tptp2017-02-06 16:47 229  
[ ]graph_1__559_18.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_1__580_20.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_1__581_15.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_1__584_21.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_1__592_52.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_1__593_30.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_1__594_30.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_1__595_13.min1.thm12017-02-06 12:46 212  
[ ]graph_1__598_18.min1.thm12017-02-06 12:46 899  
[ ]graph_1__608_18.min1.thm12017-02-06 12:46 246  
[ ]graph_1__612_18.min1.thm12017-02-06 12:46 400  
[ ]graph_1__648_25.min1.thm12017-02-06 12:46 764  
[ ]graph_1__659_16.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__660_21.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__664_6.min1.thm12017-02-06 12:46 2.2K 
[ ]graph_1__694_45.min1.thm12017-02-06 12:46 261  
[ ]graph_1__695_47.min1.thm12017-02-06 12:46 261  
[ ]graph_1__727_15.min1.thm12017-02-06 12:46 262  
[ ]graph_1__729_12.min1.thm12017-02-06 12:46 360  
[ ]graph_1__736_15.min1.thm12017-02-06 12:46 262  
[ ]graph_1__738_12.min1.thm12017-02-06 12:46 360  
[ ]graph_1__753_58.min1.thm12017-02-06 12:46 390  
[ ]graph_1__754_31.min1.thm12017-02-06 12:46 407  
[ ]graph_1__754_31.min1.thm1.tptp2017-02-06 16:47 343  
[ ]graph_1__755_35.min1.thm12017-02-06 12:46 679  
[ ]graph_1__758_18.min1.thm12017-02-06 12:46 589  
[ ]graph_1__758_18.min1.thm1.tptp2017-02-06 16:47 531  
[ ]graph_1__772_20.min1.thm12017-02-06 12:46 536  
[ ]graph_1__776_20.min1.thm12017-02-06 12:46 536  
[ ]graph_1__780_65.min1.thm12017-02-06 12:46 500  
[ ]graph_1__781_21.min1.thm12017-02-06 12:46 644  
[ ]graph_1__781_21.min1.thm1.tptp2017-02-06 16:47 575  
[ ]graph_1__783_19.min1.thm12017-02-06 12:46 539  
[ ]graph_1__794_58.min1.thm12017-02-06 12:46 390  
[ ]graph_1__795_31.min1.thm12017-02-06 12:46 407  
[ ]graph_1__795_31.min1.thm1.tptp2017-02-06 16:47 343  
[ ]graph_1__796_35.min1.thm12017-02-06 12:46 679  
[ ]graph_1__799_18.min1.thm12017-02-06 12:46 589  
[ ]graph_1__799_18.min1.thm1.tptp2017-02-06 16:47 531  
[ ]graph_1__813_21.min1.thm12017-02-06 12:46 536  
[ ]graph_1__817_21.min1.thm12017-02-06 12:46 536  
[ ]graph_1__821_65.min1.thm12017-02-06 12:46 500  
[ ]graph_1__822_21.min1.thm12017-02-06 12:46 644  
[ ]graph_1__822_21.min1.thm1.tptp2017-02-06 16:47 575  
[ ]graph_1__824_19.min1.thm12017-02-06 12:46 539  
[ ]graph_1__833_13.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_1__839_43.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_1__847_18.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_1__848_19.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_1__850_19.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_1__863_49.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_1__869_42.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__870_31.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_1__871_32.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_1__879_30.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_1__890_30.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_1__894_21.min1.thm12017-02-06 12:46 2.7K 
[ ]graph_1__903_21.min1.thm12017-02-06 12:46 832  
[ ]graph_1__904_21.min1.thm12017-02-06 12:46 2.5K 
[ ]graph_1__905_34.min1.thm12017-02-06 12:46 681  
[ ]graph_1__906_21.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__913_18.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_1__914_19.min1.thm12017-02-06 12:46 2.1K 
[ ]graph_1__918_23.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__921_20.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_1__923_22.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__925_18.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__926_19.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_1__928_26.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_1__951_55.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_1__952_32.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_1__961_55.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_1__962_32.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_1__993_23.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__995_70.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_1__997_43.min1.thm12017-02-06 12:46 704  
[ ]graph_1__997_43.min1.thm1.tptp2017-02-06 16:47 633  
[ ]graph_1__999_46.min1.thm12017-02-06 12:46 930  
[ ]graph_1__1001_17.min1.thm12017-02-06 12:46 930  
[ ]graph_1__1011_52.min1.thm12017-02-06 12:46 638  
[ ]graph_1__1026_57.min1.thm12017-02-06 12:46 3.0K 
[ ]graph_1__1036_18.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_1__1039_49.min1.thm12017-02-06 12:46 320  
[ ]graph_1__1044_65.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_1__1046_71.min1.thm12017-02-06 12:46 878  
[ ]graph_1__1048_54.min1.thm12017-02-06 12:46 901  
[ ]graph_1__1050_56.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1051_56.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1055_20.min1.thm12017-02-06 12:46 4.4K 
[ ]graph_1__1057_19.min1.thm12017-02-06 12:46 3.2K 
[ ]graph_1__1057_19.min1.thm1.tptp2017-02-06 16:47 3.2K 
[ ]graph_1__1081_22.min1.thm12017-02-06 12:46 398  
[ ]graph_1__1081_22.min1.thm1.tptp2017-02-06 16:47 321  
[ ]graph_1__1082_40.min1.thm12017-02-06 12:46 548  
[ ]graph_1__1083_18.min1.thm12017-02-06 12:46 375  
[ ]graph_1__1083_18.min1.thm1.tptp2017-02-06 16:47 298  
[ ]graph_1__1088_17.min1.thm12017-02-06 12:46 544  
[ ]graph_1__1089_17.min1.thm12017-02-06 12:46 460  
[ ]graph_1__1099_53.min1.thm12017-02-06 12:46 582  
[ ]graph_1__1109_56.min1.thm12017-02-06 12:46 511  
[ ]graph_1__1118_31.min1.thm12017-02-06 12:46 587  
[ ]graph_1__1125_16.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1126_34.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_1__1127_31.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__1129_47.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1130_31.min1.thm12017-02-06 12:46 865  
[ ]graph_1__1142_16.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1143_35.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_1__1144_32.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__1146_47.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1147_31.min1.thm12017-02-06 12:46 865  
[ ]graph_1__1178_18.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_1__1179_18.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_1__1181_63.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_1__1187_17.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_1__1189_34.min1.thm12017-02-06 12:46 703  
[ ]graph_1__1196_17.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_1__1198_34.min1.thm12017-02-06 12:46 703  
[ ]graph_1__1200_21.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__1208_18.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1209_20.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_1__1210_17.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__1212_41.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_1__1221_18.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1222_20.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_1__1223_17.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__1225_41.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_1__1230_19.min1.thm12017-02-06 12:46 819  
[ ]graph_1__1241_18.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_1__1242_17.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_1__1244_63.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_1__1250_17.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_1__1252_34.min1.thm12017-02-06 12:46 703  
[ ]graph_1__1259_17.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_1__1261_34.min1.thm12017-02-06 12:46 703  
[ ]graph_1__1263_21.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__1271_18.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1272_20.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_1__1273_17.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__1275_41.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_1__1284_18.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1285_20.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_1__1286_17.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__1288_41.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_1__1293_19.min1.thm12017-02-06 12:46 819  
[ ]graph_1__1304_25.min1.thm12017-02-06 12:46 296  
[ ]graph_1__1307_26.min1.thm12017-02-06 12:46 296  
[ ]graph_1__1328_11.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_1__1331_49.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_1__1342_61.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_1__1357_19.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1370_62.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_1__1385_19.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1416_62.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_1__1437_19.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1449_62.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_1__1470_19.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1485_58.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_1__1507_19.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__1518_58.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_1__1540_19.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__1547_57.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_1__1549_4.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_1__1551_26.min1.thm12017-02-06 12:46 554  
[ ]graph_1__1551_26.min1.thm1.tptp2017-02-06 16:47 487  
[ ]graph_1__1552_62.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_1__1553_46.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_1__1555_55.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_1__1557_4.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_1__1559_49.min1.thm12017-02-06 12:46 554  
[ ]graph_1__1559_49.min1.thm1.tptp2017-02-06 16:47 487  
[ ]graph_1__1560_60.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_1__1561_45.min1.thm12017-02-06 12:46 1.8K 
[ ]graph_1__1572_64.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_1__1574_6.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_1__1576_32.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1582_8.min1.thm12017-02-06 12:46 308  
[ ]graph_1__1584_55.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_1__1595_8.min1.thm12017-02-06 12:46 401  
[ ]graph_1__1595_8.min1.thm1.tptp2017-02-06 16:47 327  
[ ]graph_1__1596_64.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_1__1599_8.min1.thm12017-02-06 12:46 308  
[ ]graph_1__1600_64.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_1__1612_8.min1.thm12017-02-06 12:46 401  
[ ]graph_1__1612_8.min1.thm1.tptp2017-02-06 16:47 327  
[ ]graph_1__1613_64.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_1__1619_19.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_1__1634_64.min1.thm12017-02-06 12:46 1.9K 
[ ]graph_1__1636_6.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_1__1638_32.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1644_8.min1.thm12017-02-06 12:46 309  
[ ]graph_1__1645_60.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_1__1656_8.min1.thm12017-02-06 12:46 402  
[ ]graph_1__1656_8.min1.thm1.tptp2017-02-06 16:47 328  
[ ]graph_1__1657_64.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_1__1660_8.min1.thm12017-02-06 12:46 309  
[ ]graph_1__1661_63.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_1__1673_8.min1.thm12017-02-06 12:46 402  
[ ]graph_1__1673_8.min1.thm1.tptp2017-02-06 16:47 328  
[ ]graph_1__1674_63.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_1__1680_19.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_1__1690_59.min1.thm12017-02-06 12:46 933  
[ ]graph_1__1693_15.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__1694_54.min1.thm12017-02-06 12:46 1.5K 
[ ]graph_1__1695_40.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__1703_14.min1.thm12017-02-06 12:46 414  
[ ]graph_1__1703_14.min1.thm1.tptp2017-02-06 16:47 339  
[ ]graph_1__1715_17.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1717_17.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1720_17.min1.thm12017-02-06 12:46 839  
[ ]graph_1__1731_46.min1.thm12017-02-06 12:46 800  
[ ]graph_1__1732_46.min1.thm12017-02-06 12:46 800  
[ ]graph_1__1733_46.min1.thm12017-02-06 12:46 800  
[ ]graph_1__1734_46.min1.thm12017-02-06 12:46 800  
[ ]graph_1__1735_46.min1.thm12017-02-06 12:46 800  
[ ]graph_1__1736_46.min1.thm12017-02-06 12:46 801  
[ ]graph_1__1747_21.min1.thm12017-02-06 12:46 424  
[ ]graph_1__1747_21.min1.thm1.tptp2017-02-06 16:47 373  
[ ]graph_1__1753_18.min1.thm12017-02-06 12:46 564  
[ ]graph_1__1762_27.min1.thm12017-02-06 12:46 645  
[ ]graph_1__1763_27.min1.thm12017-02-06 12:46 645  
[ ]graph_1__1764_49.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1765_46.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1766_49.min1.thm12017-02-06 12:46 464  
[ ]graph_1__1767_51.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1768_48.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1769_51.min1.thm12017-02-06 12:46 465  
[ ]graph_1__1788_27.min1.thm12017-02-06 12:46 587  
[ ]graph_1__1789_27.min1.thm12017-02-06 12:46 587  
[ ]graph_1__1790_49.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1791_46.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1792_54.min1.thm12017-02-06 12:46 490  
[ ]graph_1__1793_51.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1794_48.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1795_56.min1.thm12017-02-06 12:46 491  
[ ]graph_1__1806_56.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__1807_32.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_1__1809_51.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__1810_32.min1.thm12017-02-06 12:46 1.7K 
[ ]graph_1__1819_17.min1.thm12017-02-06 12:46 633  
[ ]graph_1__1834_35.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1835_43.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1838_53.min1.thm12017-02-06 12:46 406  
[ ]graph_1__1838_53.min1.thm1.tptp2017-02-06 16:47 326  
[ ]graph_1__1841_55.min1.thm12017-02-06 12:46 406  
[ ]graph_1__1841_55.min1.thm1.tptp2017-02-06 16:47 326  
[ ]graph_1__1859_19.min1.thm12017-02-06 12:46 650  
[ ]graph_1__1861_18.min1.thm12017-02-06 12:46 747  
[ ]graph_1__1862_16.min1.thm12017-02-06 12:46 956  
[ ]graph_1__1873_17.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1883_10.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1886_10.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1889_17.min1.thm12017-02-06 12:46 928  
[ ]graph_1__1900_33.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1901_43.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1902_27.min1.thm12017-02-06 12:46 587  
[ ]graph_1__1903_27.min1.thm12017-02-06 12:46 587  
[ ]graph_1__1904_49.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1905_46.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1907_4.min1.thm12017-02-06 12:46 548  
[ ]graph_1__1908_52.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1909_48.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1911_4.min1.thm12017-02-06 12:46 550  
[ ]graph_1__1924_58.min1.thm12017-02-06 12:46 1.6K 
[ ]graph_1__1928_59.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__1930_50.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__1932_23.min1.thm12017-02-06 12:46 762  
[ ]graph_1__1932_23.min1.thm1.tptp2017-02-06 16:47 682  
[ ]graph_1__1937_59.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__1939_50.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__1941_23.min1.thm12017-02-06 12:46 762  
[ ]graph_1__1941_23.min1.thm1.tptp2017-02-06 16:47 682  
[ ]graph_1__1943_21.min1.thm12017-02-06 12:46 1.4K 
[ ]graph_1__1964_10.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1967_10.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1983_22.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__1984_17.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__1999_52.min1.thm12017-02-06 12:46 485  
[ ]graph_1__2002_56.min1.thm12017-02-06 12:46 485  
[ ]graph_1__2020_17.min1.thm12017-02-06 12:46 631  
[ ]graph_1__2028_31.min1.thm12017-02-06 12:46 616  
[ ]graph_1__2039_50.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__2040_49.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_1__2041_31.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__2042_46.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_1__2043_31.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__2054_31.min1.thm12017-02-06 12:46 616  
[ ]graph_1__2068_50.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__2071_21.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_1__2074_21.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_1__2085_31.min1.thm12017-02-06 12:46 616  
[ ]graph_1__2092_50.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__2093_46.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_1__2094_31.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__2097_17.min1.thm12017-02-06 12:46 606  
[ ]graph_1__2109_28.min1.thm12017-02-06 12:46 514  
[ ]graph_1__2110_19.min1.thm12017-02-06 12:46 635  
[ ]graph_1__2113_28.min1.thm12017-02-06 12:46 616  
[ ]graph_1__2114_17.min1.thm12017-02-06 12:46 634  
[ ]graph_1__2122_17.min1.thm12017-02-06 12:46 539  
[ ]graph_1__2137_55.min1.thm12017-02-06 12:46 588  
[ ]graph_1__2138_13.min1.thm12017-02-06 12:46 712  
[ ]graph_1__2139_18.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__2140_37.min1.thm12017-02-06 12:46 922  
[ ]graph_1__2141_21.min1.thm12017-02-06 12:46 636  
[ ]graph_1__2143_19.min1.thm12017-02-06 12:46 421  
[ ]graph_1__2143_19.min1.thm1.tptp2017-02-06 16:47 357  
[ ]graph_1__2147_17.min1.thm12017-02-06 12:46 421  
[ ]graph_1__2147_17.min1.thm1.tptp2017-02-06 16:47 342  
[ ]graph_1__2148_29.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__2149_17.min1.thm12017-02-06 12:46 631  
[ ]graph_1__2156_15.min1.thm12017-02-06 12:46 421  
[ ]graph_1__2156_15.min1.thm1.tptp2017-02-06 16:47 342  
[ ]graph_1__2157_17.min1.thm12017-02-06 12:46 364  
[ ]graph_1__2157_17.min1.thm1.tptp2017-02-06 16:47 286  
[ ]graph_1__2172_34.min1.thm12017-02-06 12:46 817  
[ ]graph_1__2175_35.min1.thm12017-02-06 12:46 597  
[ ]graph_1__2176_26.min1.thm12017-02-06 12:46 718  
[ ]graph_1__2177_18.min1.thm12017-02-06 12:46 887  
[ ]graph_1__2178_22.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__2183_35.min1.thm12017-02-06 12:46 597  
[ ]graph_1__2184_26.min1.thm12017-02-06 12:46 718  
[ ]graph_1__2185_18.min1.thm12017-02-06 12:46 887  
[ ]graph_1__2186_22.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__2187_21.min1.thm12017-02-06 12:46 953  
[ ]graph_1__2204_53.min1.thm12017-02-06 12:46 549  
[ ]graph_1__2205_28.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_1__2206_22.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_1__2207_43.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__2208_19.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__2214_53.min1.thm12017-02-06 12:46 549  
[ ]graph_1__2215_28.min1.thm12017-02-06 12:46 1.3K 
[ ]graph_1__2216_22.min1.thm12017-02-06 12:46 1.2K 
[ ]graph_1__2217_43.min1.thm12017-02-06 12:46 1.1K 
[ ]graph_1__2218_19.min1.thm12017-02-06 12:46 1.0K 
[ ]graph_1__2224_37.min1.thm12017-02-06 12:46 505  
[ ]graph_1__2224_37.min1.thm1.tptp2017-02-06 16:47 443  
[ ]graph_1__2225_19.min1.thm12017-02-06 12:46 659  
[ ]graph_1__2227_17.min1.thm12017-02-06 12:46 553  
[ ]graph_1__2227_17.min1.thm1.tptp2017-02-06 16:47 489  
[ ]graph_1__2236_26.min1.thm12017-02-06 12:46 510  
[ ]graph_1__2237_26.min1.thm12017-02-06 12:46 510  
[ ]graph_1__2238_14.min1.thm12017-02-06 12:46 631  
[ ]graph_1__2239_11.min1.thm12017-02-06 12:46 631  
[ ]graph_1__2240_24.min1.thm12017-02-06 12:46 862  
[ ]graph_1__2241_36.min1.thm12017-02-06 12:46 954  
[ ]graph_1__2242_17.min1.thm12017-02-06 12:46 972  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80