Index of /~mptp/1147/MPTP2/ilp0/borsuk_1

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]borsuk_1__52_51.min1.thm12017-02-06 12:45 637  
[   ]borsuk_1__53_17.min1.thm12017-02-06 12:45 948  
[   ]borsuk_1__64_14.min1.thm12017-02-06 12:45 531  
[   ]borsuk_1__71_21.min1.thm12017-02-06 12:45 2.3K 
[   ]borsuk_1__76_59.min1.thm12017-02-06 12:45 1.6K 
[   ]borsuk_1__79_21.min1.thm12017-02-06 12:45 1.3K 
[   ]borsuk_1__95_24.min1.thm12017-02-06 12:45 819  
[   ]borsuk_1__97_45.min1.thm12017-02-06 12:45 1.2K 
[   ]borsuk_1__99_23.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__101_28.min1.thm12017-02-06 12:45 940  
[   ]borsuk_1__102_23.min1.thm12017-02-06 12:45 929  
[   ]borsuk_1__103_37.min1.thm12017-02-06 12:45 1.5K 
[   ]borsuk_1__105_26.min1.thm12017-02-06 12:45 2.3K 
[   ]borsuk_1__107_27.min1.thm12017-02-06 12:45 1.4K 
[   ]borsuk_1__108_32.min1.thm12017-02-06 12:45 716  
[   ]borsuk_1__109_24.min1.thm12017-02-06 12:45 1.1K 
[   ]borsuk_1__112_25.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__136_12.min1.thm12017-02-06 12:45 527  
[   ]borsuk_1__138_22.min1.thm12017-02-06 12:45 1.8K 
[   ]borsuk_1__149_15.min1.thm12017-02-06 12:45 956  
[   ]borsuk_1__150_22.min1.thm12017-02-06 12:45 948  
[   ]borsuk_1__154_28.min1.thm12017-02-06 12:45 1.1K 
[   ]borsuk_1__171_15.min1.thm12017-02-06 12:45 953  
[   ]borsuk_1__172_21.min1.thm12017-02-06 12:45 464  
[   ]borsuk_1__180_37.min1.thm12017-02-06 12:45 769  
[   ]borsuk_1__185_21.min1.thm12017-02-06 12:45 668  
[   ]borsuk_1__186_26.min1.thm12017-02-06 12:45 1.3K 
[   ]borsuk_1__189_15.min1.thm12017-02-06 12:45 719  
[   ]borsuk_1__190_49.min1.thm12017-02-06 12:45 912  
[   ]borsuk_1__192_20.min1.thm12017-02-06 12:45 540  
[   ]borsuk_1__193_15.min1.thm12017-02-06 12:45 452  
[   ]borsuk_1__194_26.min1.thm12017-02-06 12:45 787  
[   ]borsuk_1__195_26.min1.thm12017-02-06 12:45 1.3K 
[   ]borsuk_1__196_30.min1.thm12017-02-06 12:45 670  
[   ]borsuk_1__197_22.min1.thm12017-02-06 12:45 403  
[   ]borsuk_1__230_56.min1.thm12017-02-06 12:45 1.1K 
[   ]borsuk_1__231_18.min1.thm12017-02-06 12:45 951  
[   ]borsuk_1__234_65.min1.thm12017-02-06 12:45 627  
[   ]borsuk_1__238_65.min1.thm12017-02-06 12:45 485  
[   ]borsuk_1__238_65.min1.thm1.tptp2017-02-06 16:48 410  
[   ]borsuk_1__239_78.min1.thm12017-02-06 12:45 427  
[   ]borsuk_1__246_54.min1.thm12017-02-06 12:45 635  
[   ]borsuk_1__248_24.min1.thm12017-02-06 12:45 967  
[   ]borsuk_1__267_22.min1.thm12017-02-06 12:45 1.2K 
[   ]borsuk_1__271_10.min1.thm12017-02-06 12:45 719  
[   ]borsuk_1__282_21.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__292_19.min1.thm12017-02-06 12:45 927  
[   ]borsuk_1__293_35.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__302_19.min1.thm12017-02-06 12:45 938  
[   ]borsuk_1__304_63.min1.thm12017-02-06 12:45 937  
[   ]borsuk_1__307_59.min1.thm12017-02-06 12:45 1.1K 
[   ]borsuk_1__310_25.min1.thm12017-02-06 12:45 918  
[   ]borsuk_1__320_22.min1.thm12017-02-06 12:45 1.3K 
[   ]borsuk_1__336_66.min1.thm12017-02-06 12:45 753  
[   ]borsuk_1__360_20.min1.thm12017-02-06 12:45 910  
[   ]borsuk_1__362_63.min1.thm12017-02-06 12:45 924  
[   ]borsuk_1__366_20.min1.thm12017-02-06 12:45 910  
[   ]borsuk_1__368_63.min1.thm12017-02-06 12:45 926  
[   ]borsuk_1__369_20.min1.thm12017-02-06 12:45 848  
[   ]borsuk_1__372_62.min1.thm12017-02-06 12:45 1.1K 
[   ]borsuk_1__375_62.min1.thm12017-02-06 12:45 1.1K 
[   ]borsuk_1__376_20.min1.thm12017-02-06 12:45 847  
[   ]borsuk_1__381_12.min1.thm12017-02-06 12:45 1.9K 
[   ]borsuk_1__420_6.min1.thm12017-02-06 12:45 1.2K 
[   ]borsuk_1__421_16.min1.thm12017-02-06 12:45 1.1K 
[   ]borsuk_1__427_6.min1.thm12017-02-06 12:45 1.2K 
[   ]borsuk_1__428_16.min1.thm12017-02-06 12:45 1.3K 
[   ]borsuk_1__437_70.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__438_45.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__461_54.min1.thm12017-02-06 12:45 1.2K 
[   ]borsuk_1__463_23.min1.thm12017-02-06 12:45 370  
[   ]borsuk_1__467_51.min1.thm12017-02-06 12:45 890  
[   ]borsuk_1__469_69.min1.thm12017-02-06 12:45 1.1K 
[   ]borsuk_1__470_32.min1.thm12017-02-06 12:45 310  
[   ]borsuk_1__471_32.min1.thm12017-02-06 12:45 310  
[   ]borsuk_1__473_18.min1.thm12017-02-06 12:45 1.3K 
[   ]borsuk_1__486_30.min1.thm12017-02-06 12:45 857  
[   ]borsuk_1__486_30.min1.thm1.tptp2017-02-06 16:48 810  
[   ]borsuk_1__487_56.min1.thm12017-02-06 12:45 949  
[   ]borsuk_1__490_39.min1.thm12017-02-06 12:45 1.2K 
[   ]borsuk_1__518_43.min1.thm12017-02-06 12:45 385  
[   ]borsuk_1__549_13.min1.thm12017-02-06 12:45 838  
[   ]borsuk_1__553_18.min1.thm12017-02-06 12:45 815  
[   ]borsuk_1__553_18.min1.thm1.tptp2017-02-06 16:48 768  
[   ]borsuk_1__554_21.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__556_28.min1.thm12017-02-06 12:45 685  
[   ]borsuk_1__559_19.min1.thm12017-02-06 12:45 909  
[   ]borsuk_1__561_23.min1.thm12017-02-06 12:45 909  
[   ]borsuk_1__563_19.min1.thm12017-02-06 12:45 1.5K 
[   ]borsuk_1__565_28.min1.thm12017-02-06 12:45 809  
[   ]borsuk_1__577_28.min1.thm12017-02-06 12:45 1.3K 
[   ]borsuk_1__589_28.min1.thm12017-02-06 12:45 1.3K 
[   ]borsuk_1__606_68.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__616_33.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__637_44.min1.thm12017-02-06 12:45 1.4K 
[   ]borsuk_1__640_16.min1.thm12017-02-06 12:45 643  
[   ]borsuk_1__653_35.min1.thm12017-02-06 12:45 1.6K 
[   ]borsuk_1__669_27.min1.thm12017-02-06 12:45 1.6K 
[   ]borsuk_1__670_19.min1.thm12017-02-06 12:45 543  
[   ]borsuk_1__685_38.min1.thm12017-02-06 12:45 1.6K 
[   ]borsuk_1__686_17.min1.thm12017-02-06 12:45 1.4K 
[   ]borsuk_1__705_13.min1.thm12017-02-06 12:45 824  
[   ]borsuk_1__707_36.min1.thm12017-02-06 12:45 1.3K 
[   ]borsuk_1__711_16.min1.thm12017-02-06 12:45 877  
[   ]borsuk_1__722_30.min1.thm12017-02-06 12:45 1.5K 
[   ]borsuk_1__733_70.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__734_16.min1.thm12017-02-06 12:45 2.0K 
[   ]borsuk_1__736_13.min1.thm12017-02-06 12:45 131  
[   ]borsuk_1__742_70.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__743_16.min1.thm12017-02-06 12:45 2.0K 
[   ]borsuk_1__745_13.min1.thm12017-02-06 12:45 131  
[   ]borsuk_1__757_68.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__774_16.min1.thm12017-02-06 12:45 310  
[   ]borsuk_1__774_16.min1.thm1.tptp2017-02-06 16:48 224  
[   ]borsuk_1__775_68.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__792_16.min1.thm12017-02-06 12:45 310  
[   ]borsuk_1__792_16.min1.thm1.tptp2017-02-06 16:48 224  
[   ]borsuk_1__793_68.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__812_4.min1.thm12017-02-06 12:45 1.2K 
[   ]borsuk_1__819_39.min1.thm12017-02-06 12:45 335  
[   ]borsuk_1__823_39.min1.thm12017-02-06 12:45 317  
[   ]borsuk_1__833_23.min1.thm12017-02-06 12:45 199  
[   ]borsuk_1__835_29.min1.thm12017-02-06 12:45 883  
[   ]borsuk_1__840_19.min1.thm12017-02-06 12:45 1.6K 
[   ]borsuk_1__843_37.min1.thm12017-02-06 12:45 330  
[   ]borsuk_1__847_37.min1.thm12017-02-06 12:45 309  
[   ]borsuk_1__856_22.min1.thm12017-02-06 12:45 193  
[   ]borsuk_1__858_27.min1.thm12017-02-06 12:45 875  
[   ]borsuk_1__863_17.min1.thm12017-02-06 12:45 1.6K 
[   ]borsuk_1__882_16.min1.thm12017-02-06 12:45 1.3K 
[   ]borsuk_1__883_19.min1.thm12017-02-06 12:45 1.8K 
[   ]borsuk_1__892_16.min1.thm12017-02-06 12:45 1.3K 
[   ]borsuk_1__893_19.min1.thm12017-02-06 12:45 1.8K 
[   ]borsuk_1__895_17.min1.thm12017-02-06 12:45 1.2K 
[   ]borsuk_1__916_51.min1.thm12017-02-06 12:45 1.3K 
[   ]borsuk_1__917_70.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__924_14.min1.thm12017-02-06 12:45 731  
[   ]borsuk_1__928_39.min1.thm12017-02-06 12:45 490  
[   ]borsuk_1__938_53.min1.thm12017-02-06 12:45 1.3K 
[   ]borsuk_1__951_15.min1.thm12017-02-06 12:45 727  
[   ]borsuk_1__955_37.min1.thm12017-02-06 12:45 482  
[   ]borsuk_1__987_20.min1.thm12017-02-06 12:45 420  
[   ]borsuk_1__988_36.min1.thm12017-02-06 12:45 327  
[   ]borsuk_1__994_64.min1.thm12017-02-06 12:45 1.6K 
[   ]borsuk_1__995_16.min1.thm12017-02-06 12:45 402  
[   ]borsuk_1__997_19.min1.thm12017-02-06 12:45 634  
[   ]borsuk_1__1005_13.min1.thm12017-02-06 12:45 1.2K 
[   ]borsuk_1__1006_34.min1.thm12017-02-06 12:45 516  
[   ]borsuk_1__1007_19.min1.thm12017-02-06 12:45 962  
[   ]borsuk_1__1008_18.min1.thm12017-02-06 12:45 1.4K 
[   ]borsuk_1__1009_25.min1.thm12017-02-06 12:45 832  
[   ]borsuk_1__1013_62.min1.thm12017-02-06 12:45 1.6K 
[   ]borsuk_1__1014_20.min1.thm12017-02-06 12:45 441  
[   ]borsuk_1__1034_49.min1.thm12017-02-06 12:45 670  
[   ]borsuk_1__1035_19.min1.thm12017-02-06 12:45 733  
[   ]borsuk_1__1035_19.min1.thm1.tptp2017-02-06 16:48 667  
[   ]borsuk_1__1039_16.min1.thm12017-02-06 12:45 366  
[   ]borsuk_1__1039_16.min1.thm1.tptp2017-02-06 16:48 280  
[   ]borsuk_1__1040_21.min1.thm12017-02-06 12:45 532  
[   ]borsuk_1__1050_35.min1.thm12017-02-06 12:45 795  
[   ]borsuk_1__1050_35.min1.thm1.tptp2017-02-06 16:48 720  
[   ]borsuk_1__1052_22.min1.thm12017-02-06 12:45 730  
[   ]borsuk_1__1052_22.min1.thm1.tptp2017-02-06 16:48 657  
[   ]borsuk_1__1058_56.min1.thm12017-02-06 12:45 746  
[   ]borsuk_1__1059_21.min1.thm12017-02-06 12:45 871  
[   ]borsuk_1__1077_70.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__1079_13.min1.thm12017-02-06 12:45 225  
[   ]borsuk_1__1092_28.min1.thm12017-02-06 12:45 1.5K 
[   ]borsuk_1__1101_24.min1.thm12017-02-06 12:45 2.1K 
[   ]borsuk_1__1106_23.min1.thm12017-02-06 12:45 673  
[   ]borsuk_1__1110_29.min1.thm12017-02-06 12:45 1.2K 
[   ]borsuk_1__1112_31.min1.thm12017-02-06 12:45 666  
[   ]borsuk_1__1116_18.min1.thm12017-02-06 12:45 1.6K 
[   ]borsuk_1__1120_18.min1.thm12017-02-06 12:45 877  
[   ]borsuk_1__1121_33.min1.thm12017-02-06 12:45 954  
[   ]borsuk_1__1127_29.min1.thm12017-02-06 12:45 1.5K 
[   ]borsuk_1__1130_26.min1.thm12017-02-06 12:45 693  
[   ]borsuk_1__1130_26.min1.thm1.tptp2017-02-06 16:48 639  
[   ]borsuk_1__1132_24.min1.thm12017-02-06 12:45 961  
[   ]borsuk_1__1138_35.min1.thm12017-02-06 12:45 1.3K 
[   ]borsuk_1__1142_21.min1.thm12017-02-06 12:45 672  
[   ]borsuk_1__1150_28.min1.thm12017-02-06 12:45 1.5K 
[   ]borsuk_1__1151_36.min1.thm12017-02-06 12:45 1.1K 
[   ]borsuk_1__1157_64.min1.thm12017-02-06 12:45 2.0K 
[   ]borsuk_1__1159_23.min1.thm12017-02-06 12:45 961  
[   ]borsuk_1__1165_29.min1.thm12017-02-06 12:45 936  
[   ]borsuk_1__1167_21.min1.thm12017-02-06 12:45 1.5K 
[   ]borsuk_1__1169_20.min1.thm12017-02-06 12:45 895  
[   ]borsuk_1__1170_25.min1.thm12017-02-06 12:45 555  
[   ]borsuk_1__1175_58.min1.thm12017-02-06 12:45 1.1K 
[   ]borsuk_1__1176_24.min1.thm12017-02-06 12:45 2.0K 
[   ]borsuk_1__1178_59.min1.thm12017-02-06 12:45 1.2K 
[   ]borsuk_1__1183_32.min1.thm12017-02-06 12:45 953  
[   ]borsuk_1__1188_13.min1.thm12017-02-06 12:45 787  
[   ]borsuk_1__1194_24.min1.thm12017-02-06 12:45 831  
[   ]borsuk_1__1195_56.min1.thm12017-02-06 12:45 1.3K 
[   ]borsuk_1__1199_27.min1.thm12017-02-06 12:45 510  
[   ]borsuk_1__1199_27.min1.thm1.tptp2017-02-06 16:48 427  
[   ]borsuk_1__1202_14.min1.thm12017-02-06 12:45 600  
[   ]borsuk_1__1216_11.min1.thm12017-02-06 12:45 950  
[   ]borsuk_1__1222_11.min1.thm12017-02-06 12:45 705  
[   ]borsuk_1__1233_31.min1.thm12017-02-06 12:45 348  
[   ]borsuk_1__1233_31.min1.thm1.tptp2017-02-06 16:48 270  
[   ]borsuk_1__1235_16.min1.thm12017-02-06 12:45 1.2K 
[   ]borsuk_1__1245_20.min1.thm12017-02-06 12:45 890  
[   ]borsuk_1__1246_20.min1.thm12017-02-06 12:45 968  
[   ]borsuk_1__1247_20.min1.thm12017-02-06 12:45 869  
[   ]borsuk_1__1252_14.min1.thm12017-02-06 12:45 827  
[   ]borsuk_1__1253_15.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__1254_17.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__1270_73.min1.thm12017-02-06 12:45 830  
[   ]borsuk_1__1271_18.min1.thm12017-02-06 12:45 608  
[   ]borsuk_1__1273_43.min1.thm12017-02-06 12:45 527  
[   ]borsuk_1__1277_35.min1.thm12017-02-06 12:45 729  
[   ]borsuk_1__1278_51.min1.thm12017-02-06 12:45 1.1K 
[   ]borsuk_1__1297_21.min1.thm12017-02-06 12:45 570  
[   ]borsuk_1__1298_36.min1.thm12017-02-06 12:45 1.2K 
[   ]borsuk_1__1301_22.min1.thm12017-02-06 12:45 657  
[   ]borsuk_1__1312_35.min1.thm12017-02-06 12:45 1.3K 
[   ]borsuk_1__1314_25.min1.thm12017-02-06 12:45 486  
[   ]borsuk_1__1314_25.min1.thm1.tptp2017-02-06 16:48 409  
[   ]borsuk_1__1331_45.min1.thm12017-02-06 12:45 816  
[   ]borsuk_1__1335_40.min1.thm12017-02-06 12:45 689  
[   ]borsuk_1__1337_15.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__1339_12.min1.thm12017-02-06 12:45 588  
[   ]borsuk_1__1345_14.min1.thm12017-02-06 12:45 1.2K 
[   ]borsuk_1__1355_73.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__1357_72.min1.thm12017-02-06 12:45 1.1K 
[   ]borsuk_1__1358_14.min1.thm12017-02-06 12:45 351  
[   ]borsuk_1__1367_54.min1.thm12017-02-06 12:45 1.8K 
[   ]borsuk_1__1368_33.min1.thm12017-02-06 12:45 936  
[   ]borsuk_1__1378_46.min1.thm12017-02-06 12:45 1.5K 
[   ]borsuk_1__1379_23.min1.thm12017-02-06 12:45 913  
[   ]borsuk_1__1382_59.min1.thm12017-02-06 12:45 1.6K 
[   ]borsuk_1__1385_21.min1.thm12017-02-06 12:45 796  
[   ]borsuk_1__1385_21.min1.thm1.tptp2017-02-06 16:48 725  
[   ]borsuk_1__1387_16.min1.thm12017-02-06 12:45 1.2K 
[   ]borsuk_1__1389_13.min1.thm12017-02-06 12:45 131  
[   ]borsuk_1__1401_37.min1.thm12017-02-06 12:45 1.4K 
[   ]borsuk_1__1403_22.min1.thm12017-02-06 12:45 1.2K 
[   ]borsuk_1__1413_43.min1.thm12017-02-06 12:45 1.5K 
[   ]borsuk_1__1416_49.min1.thm12017-02-06 12:45 1.1K 
[   ]borsuk_1__1435_20.min1.thm12017-02-06 12:45 550  
[   ]borsuk_1__1435_20.min1.thm1.tptp2017-02-06 16:48 488  
[   ]borsuk_1__1438_60.min1.thm12017-02-06 12:45 785  
[   ]borsuk_1__1439_25.min1.thm12017-02-06 12:45 1.1K 
[   ]borsuk_1__1445_22.min1.thm12017-02-06 12:45 1.1K 
[   ]borsuk_1__1448_18.min1.thm12017-02-06 12:45 318  
[   ]borsuk_1__1450_44.min1.thm12017-02-06 12:45 611  
[   ]borsuk_1__1461_26.min1.thm12017-02-06 12:45 296  
[   ]borsuk_1__1462_38.min1.thm12017-02-06 12:45 580  
[   ]borsuk_1__1471_16.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__1472_60.min1.thm12017-02-06 12:45 1.2K 
[   ]borsuk_1__1478_26.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__1479_76.min1.thm12017-02-06 12:45 1.1K 
[   ]borsuk_1__1481_31.min1.thm12017-02-06 12:45 835  
[   ]borsuk_1__1486_20.min1.thm12017-02-06 12:45 630  
[   ]borsuk_1__1489_26.min1.thm12017-02-06 12:45 971  
[   ]borsuk_1__1494_21.min1.thm12017-02-06 12:45 947  
[   ]borsuk_1__1497_17.min1.thm12017-02-06 12:45 242  
[   ]borsuk_1__1502_20.min1.thm12017-02-06 12:45 630  
[   ]borsuk_1__1506_24.min1.thm12017-02-06 12:45 636  
[   ]borsuk_1__1515_47.min1.thm12017-02-06 12:45 960  
[   ]borsuk_1__1516_29.min1.thm12017-02-06 12:45 1.1K 
[   ]borsuk_1__1519_22.min1.thm12017-02-06 12:45 404  
[   ]borsuk_1__1526_38.min1.thm12017-02-06 12:45 948  
[   ]borsuk_1__1528_24.min1.thm12017-02-06 12:45 636  
[   ]borsuk_1__1531_29.min1.thm12017-02-06 12:45 1.1K 
[   ]borsuk_1__1537_29.min1.thm12017-02-06 12:45 1.2K 
[   ]borsuk_1__1540_22.min1.thm12017-02-06 12:45 404  
[   ]borsuk_1__1543_18.min1.thm12017-02-06 12:45 392  
[   ]borsuk_1__1545_16.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__1547_13.min1.thm12017-02-06 12:45 131  
[   ]borsuk_1__1561_16.min1.thm12017-02-06 12:45 1.1K 
[   ]borsuk_1__1564_18.min1.thm12017-02-06 12:45 254  
[   ]borsuk_1__1572_27.min1.thm12017-02-06 12:45 889  
[   ]borsuk_1__1573_21.min1.thm12017-02-06 12:45 414  
[   ]borsuk_1__1573_21.min1.thm1.tptp2017-02-06 16:48 332  
[   ]borsuk_1__1576_14.min1.thm12017-02-06 12:45 702  
[   ]borsuk_1__1586_40.min1.thm12017-02-06 12:45 1.3K 
[   ]borsuk_1__1591_20.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__1592_71.min1.thm12017-02-06 12:45 1.1K 
[   ]borsuk_1__1595_17.min1.thm12017-02-06 12:45 1.2K 
[   ]borsuk_1__1607_37.min1.thm12017-02-06 12:45 348  
[   ]borsuk_1__1607_37.min1.thm1.tptp2017-02-06 16:48 270  
[   ]borsuk_1__1622_37.min1.thm12017-02-06 12:45 1.6K 
[   ]borsuk_1__1637_17.min1.thm12017-02-06 12:45 1.9K 
[   ]borsuk_1__1650_28.min1.thm12017-02-06 12:45 1.8K 
[   ]borsuk_1__1665_37.min1.thm12017-02-06 12:45 348  
[   ]borsuk_1__1665_37.min1.thm1.tptp2017-02-06 16:48 270  
[   ]borsuk_1__1666_42.min1.thm12017-02-06 12:45 562  
[   ]borsuk_1__1698_33.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__1699_26.min1.thm12017-02-06 12:45 2.0K 
[   ]borsuk_1__1709_38.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__1713_40.min1.thm12017-02-06 12:45 942  
[   ]borsuk_1__1742_19.min1.thm12017-02-06 12:45 1.1K 
[   ]borsuk_1__1745_35.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__1749_34.min1.thm12017-02-06 12:45 1.1K 
[   ]borsuk_1__1750_25.min1.thm12017-02-06 12:45 1.5K 
[   ]borsuk_1__1762_64.min1.thm12017-02-06 12:45 716  
[   ]borsuk_1__1768_19.min1.thm12017-02-06 12:45 1.3K 
[   ]borsuk_1__1769_18.min1.thm12017-02-06 12:45 471  
[   ]borsuk_1__1771_16.min1.thm12017-02-06 12:45 421  
[   ]borsuk_1__1771_16.min1.thm1.tptp2017-02-06 16:48 333  
[   ]borsuk_1__1784_38.min1.thm12017-02-06 12:45 927  
[   ]borsuk_1__1785_18.min1.thm12017-02-06 12:45 505  
[   ]borsuk_1__1800_17.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__1801_17.min1.thm12017-02-06 12:45 901  
[   ]borsuk_1__1807_51.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__1810_40.min1.thm12017-02-06 12:45 1.3K 
[   ]borsuk_1__1821_17.min1.thm12017-02-06 12:45 1.1K 
[   ]borsuk_1__1822_22.min1.thm12017-02-06 12:45 513  
[   ]borsuk_1__1823_23.min1.thm12017-02-06 12:45 1.6K 
[   ]borsuk_1__1824_21.min1.thm12017-02-06 12:45 1.4K 
[   ]borsuk_1__1825_23.min1.thm12017-02-06 12:45 537  
[   ]borsuk_1__1829_21.min1.thm12017-02-06 12:45 1.3K 
[   ]borsuk_1__1830_26.min1.thm12017-02-06 12:45 556  
[   ]borsuk_1__1832_17.min1.thm12017-02-06 12:45 1.6K 
[   ]borsuk_1__1837_24.min1.thm12017-02-06 12:45 1.4K 
[   ]borsuk_1__1839_26.min1.thm12017-02-06 12:45 1.6K 
[   ]borsuk_1__1840_27.min1.thm12017-02-06 12:45 524  
[   ]borsuk_1__1846_19.min1.thm12017-02-06 12:45 532  
[   ]borsuk_1__1847_21.min1.thm12017-02-06 12:45 1.1K 
[   ]borsuk_1__1848_27.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__1851_20.min1.thm12017-02-06 12:45 304  
[   ]borsuk_1__1855_24.min1.thm12017-02-06 12:45 966  
[   ]borsuk_1__1856_48.min1.thm12017-02-06 12:45 710  
[   ]borsuk_1__1863_18.min1.thm12017-02-06 12:45 508  
[   ]borsuk_1__1864_17.min1.thm12017-02-06 12:45 970  
[   ]borsuk_1__1866_23.min1.thm12017-02-06 12:45 1.1K 
[   ]borsuk_1__1867_21.min1.thm12017-02-06 12:45 1.3K 
[   ]borsuk_1__1868_23.min1.thm12017-02-06 12:45 537  
[   ]borsuk_1__1873_23.min1.thm12017-02-06 12:45 1.3K 
[   ]borsuk_1__1880_17.min1.thm12017-02-06 12:45 1.2K 
[   ]borsuk_1__1881_23.min1.thm12017-02-06 12:45 1.1K 
[   ]borsuk_1__1884_16.min1.thm12017-02-06 12:45 876  
[   ]borsuk_1__1903_63.min1.thm12017-02-06 12:45 443  
[   ]borsuk_1__1903_63.min1.thm1.tptp2017-02-06 16:48 364  
[   ]borsuk_1__1907_44.min1.thm12017-02-06 12:45 931  
[   ]borsuk_1__1928_31.min1.thm12017-02-06 12:45 2.4K 
[   ]borsuk_1__1930_35.min1.thm12017-02-06 12:45 1.5K 
[   ]borsuk_1__1932_17.min1.thm12017-02-06 12:45 265  
[   ]borsuk_1__1935_46.min1.thm12017-02-06 12:45 384  
[   ]borsuk_1__1935_46.min1.thm1.tptp2017-02-06 16:48 306  
[   ]borsuk_1__1939_25.min1.thm12017-02-06 12:45 1.1K 
[   ]borsuk_1__1947_18.min1.thm12017-02-06 12:45 270  
[   ]borsuk_1__1949_16.min1.thm12017-02-06 12:45 1.3K 
[   ]borsuk_1__1964_33.min1.thm12017-02-06 12:45 1.5K 
[   ]borsuk_1__1972_25.min1.thm12017-02-06 12:45 1.6K 
[   ]borsuk_1__1974_25.min1.thm12017-02-06 12:45 812  
[   ]borsuk_1__1979_48.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__1989_24.min1.thm12017-02-06 12:45 1.3K 
[   ]borsuk_1__1990_38.min1.thm12017-02-06 12:45 1.3K 
[   ]borsuk_1__2003_47.min1.thm12017-02-06 12:45 550  
[   ]borsuk_1__2005_23.min1.thm12017-02-06 12:45 279  
[   ]borsuk_1__2010_34.min1.thm12017-02-06 12:45 656  
[   ]borsuk_1__2012_39.min1.thm12017-02-06 12:45 907  
[   ]borsuk_1__2017_30.min1.thm12017-02-06 12:45 430  
[   ]borsuk_1__2017_30.min1.thm1.tptp2017-02-06 16:48 365  
[   ]borsuk_1__2018_33.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__2019_70.min1.thm12017-02-06 12:45 1.9K 
[   ]borsuk_1__2020_31.min1.thm12017-02-06 12:45 689  
[   ]borsuk_1__2023_24.min1.thm12017-02-06 12:45 579  
[   ]borsuk_1__2029_24.min1.thm12017-02-06 12:45 722  
[   ]borsuk_1__2032_28.min1.thm12017-02-06 12:45 733  
[   ]borsuk_1__2033_29.min1.thm12017-02-06 12:45 1.3K 
[   ]borsuk_1__2039_28.min1.thm12017-02-06 12:45 1.3K 
[   ]borsuk_1__2040_22.min1.thm12017-02-06 12:45 1.1K 
[   ]borsuk_1__2041_29.min1.thm12017-02-06 12:45 892  
[   ]borsuk_1__2044_22.min1.thm12017-02-06 12:45 298  
[   ]borsuk_1__2048_17.min1.thm12017-02-06 12:45 438  
[   ]borsuk_1__2048_17.min1.thm1.tptp2017-02-06 16:48 358  
[   ]borsuk_1__2049_38.min1.thm12017-02-06 12:45 2.1K 
[   ]borsuk_1__2059_24.min1.thm12017-02-06 12:45 1.3K 
[   ]borsuk_1__2060_38.min1.thm12017-02-06 12:45 1.3K 
[   ]borsuk_1__2064_17.min1.thm12017-02-06 12:45 2.0K 
[   ]borsuk_1__2070_31.min1.thm12017-02-06 12:45 1.7K 
[   ]borsuk_1__2079_25.min1.thm12017-02-06 12:45 1.4K 
[   ]borsuk_1__2082_19.min1.thm12017-02-06 12:45 455  
[   ]borsuk_1__2082_19.min1.thm1.tptp2017-02-06 16:48 400  
[   ]borsuk_1__2084_24.min1.thm12017-02-06 12:45 298  
[   ]borsuk_1__2092_17.min1.thm12017-02-06 12:45 2.1K 
[   ]borsuk_1__2094_23.min1.thm12017-02-06 12:45 526  
[   ]borsuk_1__2095_23.min1.thm12017-02-06 12:45 526  
[   ]borsuk_1__2096_40.min1.thm12017-02-06 12:45 2.0K 
[   ]borsuk_1__2113_29.min1.thm12017-02-06 12:45 1.9K 
[   ]borsuk_1__2114_25.min1.thm12017-02-06 12:45 900  
[   ]borsuk_1__2116_32.min1.thm12017-02-06 12:45 1.1K 
[   ]borsuk_1__2120_21.min1.thm12017-02-06 12:45 2.0K 
[   ]borsuk_1__2122_16.min1.thm12017-02-06 12:45 1.9K 
[   ]borsuk_1__2133_32.min1.thm12017-02-06 12:45 407  
[   ]borsuk_1__2133_32.min1.thm1.tptp2017-02-06 16:48 330  
[   ]borsuk_1__2145_15.min1.thm12017-02-06 12:45 426  
[   ]borsuk_1__2149_65.min1.thm12017-02-06 12:45 2.3K 
[   ]borsuk_1__2156_38.min1.thm12017-02-06 12:45 627  
[   ]borsuk_1__2157_19.min1.thm12017-02-06 12:45 704  
[   ]borsuk_1__2167_41.min1.thm12017-02-06 12:45 738  
[   ]borsuk_1__2168_16.min1.thm12017-02-06 12:45 1.5K 
[   ]borsuk_1__2175_63.min1.thm12017-02-06 12:45 2.3K 
[   ]borsuk_1__2177_41.min1.thm12017-02-06 12:45 676  
[   ]borsuk_1__2178_39.min1.thm12017-02-06 12:45 395  
[   ]borsuk_1__2178_53.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__2187_14.min1.thm12017-02-06 12:45 1.3K 
[   ]borsuk_1__2224_21.min1.thm12017-02-06 12:45 1.6K 
[   ]borsuk_1__2229_18.min1.thm12017-02-06 12:45 1.6K 
[   ]borsuk_1__2238_56.min1.thm12017-02-06 12:45 1.1K 
[   ]borsuk_1__2250_75.min1.thm12017-02-06 12:45 1.5K 
[   ]borsuk_1__2250_75.min1.thm1.tptp2017-02-06 16:48 1.4K 
[   ]borsuk_1__2259_14.min1.thm12017-02-06 12:45 1.6K 
[   ]borsuk_1__2279_4.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__2290_15.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__2292_18.min1.thm12017-02-06 12:45 1.0K 
[   ]borsuk_1__2303_76.min1.thm12017-02-06 12:45 1.3K 
[   ]borsuk_1__2308_25.min1.thm12017-02-06 12:45 2.3K 
[   ]borsuk_1__2319_39.min1.thm12017-02-06 12:45 2.1K 
[   ]borsuk_1__2327_62.min1.thm12017-02-06 12:45 2.3K 
[   ]borsuk_1__2336_19.min1.thm12017-02-06 12:45 4.3K 
[   ]borsuk_1__2340_17.min1.thm12017-02-06 12:45 1.8K 
[   ]borsuk_1__2340_17.min1.thm1.tptp2017-02-06 16:48 1.7K 
[   ]borsuk_1__2350_43.min1.thm12017-02-06 12:45 1.2K 
[   ]borsuk_1__2350_43.min1.thm1.tptp2017-02-06 16:48 1.1K 
[   ]borsuk_1__2371_14.min1.thm12017-02-06 12:45 383  
[   ]borsuk_1__2372_60.min1.thm12017-02-06 12:45 665  
[   ]borsuk_1__2374_56.min1.thm12017-02-06 12:45 652  
[   ]borsuk_1__2375_14.min1.thm12017-02-06 12:45 340  

Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80