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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]borsuk_7__78_23.min1.thm12017-02-06 12:45 428  
[ ]borsuk_7__88_46.min1.thm12017-02-06 12:45 489  
[ ]borsuk_7__89_20.min1.thm12017-02-06 12:45 933  
[ ]borsuk_7__90_16.min1.thm12017-02-06 12:45 256  
[ ]borsuk_7__97_34.min1.thm12017-02-06 12:45 493  
[ ]borsuk_7__111_14.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_7__134_27.min1.thm12017-02-06 12:45 847  
[ ]borsuk_7__139_19.min1.thm12017-02-06 12:45 358  
[ ]borsuk_7__139_19.min1.thm1.tptp2017-02-06 16:48 280  
[ ]borsuk_7__140_18.min1.thm12017-02-06 12:45 356  
[ ]borsuk_7__140_18.min1.thm1.tptp2017-02-06 16:48 277  
[ ]borsuk_7__142_31.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_7__156_18.min1.thm12017-02-06 12:45 356  
[ ]borsuk_7__156_18.min1.thm1.tptp2017-02-06 16:48 277  
[ ]borsuk_7__158_22.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_7__159_19.min1.thm12017-02-06 12:45 358  
[ ]borsuk_7__159_19.min1.thm1.tptp2017-02-06 16:48 280  
[ ]borsuk_7__164_40.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_7__175_16.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_7__189_27.min1.thm12017-02-06 12:45 763  
[ ]borsuk_7__231_21.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_7__233_32.min1.thm12017-02-06 12:45 424  
[ ]borsuk_7__233_32.min1.thm1.tptp2017-02-06 16:48 347  
[ ]borsuk_7__250_18.min1.thm12017-02-06 12:45 588  
[ ]borsuk_7__250_18.min1.thm1.tptp2017-02-06 16:48 512  
[ ]borsuk_7__282_16.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_7__282_16.min1.thm1.tptp2017-02-06 16:48 1.0K 
[ ]borsuk_7__284_18.min1.thm12017-02-06 12:45 595  
[ ]borsuk_7__289_25.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_7__303_55.min1.thm12017-02-06 12:45 905  
[ ]borsuk_7__304_20.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_7__317_24.min1.thm12017-02-06 12:45 918  
[ ]borsuk_7__318_40.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_7__327_11.min1.thm12017-02-06 12:45 881  
[ ]borsuk_7__334_26.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_7__336_19.min1.thm12017-02-06 12:45 817  
[ ]borsuk_7__346_11.min1.thm12017-02-06 12:45 1.9K 
[ ]borsuk_7__347_17.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_7__359_21.min1.thm12017-02-06 12:45 2.1K 
[ ]borsuk_7__366_43.min1.thm12017-02-06 12:45 511  
[ ]borsuk_7__368_38.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_7__369_59.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_7__385_36.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_7__386_15.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_7__388_15.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_7__392_43.min1.thm12017-02-06 12:45 948  
[ ]borsuk_7__393_23.min1.thm12017-02-06 12:45 713  
[ ]borsuk_7__395_27.min1.thm12017-02-06 12:45 692  
[ ]borsuk_7__395_27.min1.thm1.tptp2017-02-06 16:48 628  
[ ]borsuk_7__396_31.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_7__415_19.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_7__428_11.min1.thm12017-02-06 12:45 131  
[ ]borsuk_7__434_11.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_7__438_39.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_7__443_29.min1.thm12017-02-06 12:45 380  
[ ]borsuk_7__446_26.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_7__447_36.min1.thm12017-02-06 12:45 843  
[ ]borsuk_7__450_19.min1.thm12017-02-06 12:45 1.8K 
[ ]borsuk_7__456_49.min1.thm12017-02-06 12:45 954  
[ ]borsuk_7__457_18.min1.thm12017-02-06 12:45 739  
[ ]borsuk_7__461_42.min1.thm12017-02-06 12:45 849  
[ ]borsuk_7__468_42.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_7__469_17.min1.thm12017-02-06 12:45 339  
[ ]borsuk_7__470_15.min1.thm12017-02-06 12:45 310  
[ ]borsuk_7__471_62.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_7__475_16.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_7__478_42.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_7__479_31.min1.thm12017-02-06 12:45 938  
[ ]borsuk_7__484_8.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_7__485_13.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_7__486_31.min1.thm12017-02-06 12:45 870  
[ ]borsuk_7__493_64.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_7__494_25.min1.thm12017-02-06 12:45 827  
[ ]borsuk_7__498_56.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_7__510_13.min1.thm12017-02-06 12:45 356  
[ ]borsuk_7__510_13.min1.thm1.tptp2017-02-06 16:48 285  
[ ]borsuk_7__511_13.min1.thm12017-02-06 12:45 356  
[ ]borsuk_7__511_13.min1.thm1.tptp2017-02-06 16:48 285  
[ ]borsuk_7__513_19.min1.thm12017-02-06 12:45 341  
[ ]borsuk_7__513_19.min1.thm1.tptp2017-02-06 16:48 273  
[ ]borsuk_7__514_13.min1.thm12017-02-06 12:45 356  
[ ]borsuk_7__514_13.min1.thm1.tptp2017-02-06 16:48 285  
[ ]borsuk_7__516_19.min1.thm12017-02-06 12:45 341  
[ ]borsuk_7__516_19.min1.thm1.tptp2017-02-06 16:48 273  
[ ]borsuk_7__517_15.min1.thm12017-02-06 12:45 270  
[ ]borsuk_7__518_18.min1.thm12017-02-06 12:45 922  
[ ]borsuk_7__520_11.min1.thm12017-02-06 12:45 865  
[ ]borsuk_7__522_11.min1.thm12017-02-06 12:45 797  
[ ]borsuk_7__524_11.min1.thm12017-02-06 12:45 568  
[ ]borsuk_7__535_25.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_7__539_30.min1.thm12017-02-06 12:45 590  
[ ]borsuk_7__540_13.min1.thm12017-02-06 12:45 255  
[ ]borsuk_7__546_18.min1.thm12017-02-06 12:45 520  
[ ]borsuk_7__546_18.min1.thm1.tptp2017-02-06 16:48 461  
[ ]borsuk_7__549_35.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_7__550_23.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_7__554_17.min1.thm12017-02-06 12:45 205  
[ ]borsuk_7__557_37.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_7__558_25.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_7__561_25.min1.thm12017-02-06 12:45 1.8K 
[ ]borsuk_7__566_35.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_7__567_23.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_7__577_24.min1.thm12017-02-06 12:45 958  
[ ]borsuk_7__578_17.min1.thm12017-02-06 12:45 765  
[ ]borsuk_7__579_22.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_7__584_16.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_7__588_17.min1.thm12017-02-06 12:45 744  
[ ]borsuk_7__593_17.min1.thm12017-02-06 12:45 744  
[ ]borsuk_7__598_17.min1.thm12017-02-06 12:45 744  
[ ]borsuk_7__611_22.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_7__620_21.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_7__621_29.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_7__625_34.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_7__627_10.min1.thm12017-02-06 12:45 2.0K 
[ ]borsuk_7__628_27.min1.thm12017-02-06 12:45 2.0K 
[ ]borsuk_7__634_45.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_7__636_42.min1.thm12017-02-06 12:45 3.3K 
[ ]borsuk_7__637_41.min1.thm12017-02-06 12:45 2.2K 
[ ]borsuk_7__639_21.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_7__651_40.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_7__652_13.min1.thm12017-02-06 12:45 425  
[ ]borsuk_7__654_55.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_7__658_55.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_7__662_55.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_7__672_34.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_7__673_39.min1.thm12017-02-06 12:45 440  
[ ]borsuk_7__673_39.min1.thm1.tptp2017-02-06 16:48 369  
[ ]borsuk_7__676_23.min1.thm12017-02-06 12:45 2.2K 
[ ]borsuk_7__689_42.min1.thm12017-02-06 12:45 546  
[ ]borsuk_7__689_42.min1.thm1.tptp2017-02-06 16:48 468  
[ ]borsuk_7__691_6.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_7__692_61.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_7__693_19.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_7__709_44.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_7__718_15.min1.thm12017-02-06 12:45 207  
[ ]borsuk_7__731_30.min1.thm12017-02-06 12:45 484  
[ ]borsuk_7__731_30.min1.thm1.tptp2017-02-06 16:48 407  
[ ]borsuk_7__740_30.min1.thm12017-02-06 12:45 484  
[ ]borsuk_7__740_30.min1.thm1.tptp2017-02-06 16:48 407  
[ ]borsuk_7__744_40.min1.thm12017-02-06 12:45 322  
[ ]borsuk_7__744_40.min1.thm1.tptp2017-02-06 16:48 244  
[ ]borsuk_7__746_30.min1.thm12017-02-06 12:45 817  
[ ]borsuk_7__755_46.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_7__768_46.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_7__784_34.min1.thm12017-02-06 12:45 1.9K 
[ ]borsuk_7__797_18.min1.thm12017-02-06 12:45 492  
[ ]borsuk_7__799_41.min1.thm12017-02-06 12:45 2.6K 
[ ]borsuk_7__805_18.min1.thm12017-02-06 12:45 492  
[ ]borsuk_7__807_41.min1.thm12017-02-06 12:45 2.6K 
[ ]borsuk_7__813_26.min1.thm12017-02-06 12:45 469  
[ ]borsuk_7__813_26.min1.thm1.tptp2017-02-06 16:48 415  
[ ]borsuk_7__820_65.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_7__821_65.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_7__832_30.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_7__844_19.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_7__858_30.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_7__870_19.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_7__895_27.min1.thm12017-02-06 12:45 2.8K 
[ ]borsuk_7__896_34.min1.thm12017-02-06 12:45 2.8K 
[ ]borsuk_7__911_13.min1.thm12017-02-06 12:45 191  
[ ]borsuk_7__918_18.min1.thm12017-02-06 12:45 2.3K 
[ ]borsuk_7__933_18.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_7__954_27.min1.thm12017-02-06 12:45 578  
[ ]borsuk_7__958_36.min1.thm12017-02-06 12:45 938  
[ ]borsuk_7__960_59.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_7__960_59.min1.thm1.tptp2017-02-06 16:48 1.0K 
[ ]borsuk_7__962_11.min1.thm12017-02-06 12:45 940  
[ ]borsuk_7__963_40.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_7__966_11.min1.thm12017-02-06 12:45 940  
[ ]borsuk_7__967_16.min1.thm12017-02-06 12:45 304  
[ ]borsuk_7__967_16.min1.thm1.tptp2017-02-06 16:48 223  
[ ]borsuk_7__969_17.min1.thm12017-02-06 12:45 485  
[ ]borsuk_7__974_18.min1.thm12017-02-06 12:45 305  
[ ]borsuk_7__974_18.min1.thm1.tptp2017-02-06 16:48 224  
[ ]borsuk_7__975_26.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_7__1001_22.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_7__1002_21.min1.thm12017-02-06 12:45 648  
[ ]borsuk_7__1010_21.min1.thm12017-02-06 12:45 897  
[ ]borsuk_7__1025_35.min1.thm12017-02-06 12:45 320  
[ ]borsuk_7__1025_35.min1.thm1.tptp2017-02-06 16:48 242  
[ ]borsuk_7__1026_20.min1.thm12017-02-06 12:45 664  
[ ]borsuk_7__1027_20.min1.thm12017-02-06 12:45 665  
[ ]borsuk_7__1028_15.min1.thm12017-02-06 12:45 229  
[ ]borsuk_7__1031_17.min1.thm12017-02-06 12:45 233  
[ ]borsuk_7__1033_24.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_7__1034_38.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_7__1038_24.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_7__1039_38.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_7__1044_22.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_7__1045_23.min1.thm12017-02-06 12:45 2.4K 
[ ]borsuk_7__1053_23.min1.thm12017-02-06 12:45 3.1K 
[ ]borsuk_7__1061_18.min1.thm12017-02-06 12:45 864  
[ ]borsuk_7__1083_14.min1.thm12017-02-06 12:45 767  
[ ]borsuk_7__1090_14.min1.thm12017-02-06 12:45 767  
[ ]borsuk_7__1155_31.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_7__1156_29.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_7__1163_47.min1.thm12017-02-06 12:45 897  
[ ]borsuk_7__1164_55.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_7__1172_14.min1.thm12017-02-06 12:45 2.2K 
[ ]borsuk_7__1177_49.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_7__1183_14.min1.thm12017-02-06 12:45 591  
[ ]borsuk_7__1188_22.min1.thm12017-02-06 12:45 1.8K 
[ ]borsuk_7__1194_16.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_7__1204_50.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_7__1205_20.min1.thm12017-02-06 12:45 421  
[ ]borsuk_7__1205_20.min1.thm1.tptp2017-02-06 16:48 344  
[ ]borsuk_7__1216_50.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_7__1217_20.min1.thm12017-02-06 12:45 421  
[ ]borsuk_7__1217_20.min1.thm1.tptp2017-02-06 16:48 344  
[ ]borsuk_7__1226_58.min1.thm12017-02-06 12:45 590  
[ ]borsuk_7__1242_20.min1.thm12017-02-06 12:45 421  
[ ]borsuk_7__1242_20.min1.thm1.tptp2017-02-06 16:48 344  
[ ]borsuk_7__1244_31.min1.thm12017-02-06 12:45 412  
[ ]borsuk_7__1244_31.min1.thm1.tptp2017-02-06 16:48 333  
[ ]borsuk_7__1249_41.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_7__1265_30.min1.thm12017-02-06 12:45 484  
[ ]borsuk_7__1265_30.min1.thm1.tptp2017-02-06 16:48 407  
[ ]borsuk_7__1266_32.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_7__1319_22.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_7__1321_43.min1.thm12017-02-06 12:45 2.7K 
[ ]borsuk_7__1331_15.min1.thm12017-02-06 12:45 3.1K 
[ ]borsuk_7__1337_53.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_7__1338_18.min1.thm12017-02-06 12:45 819  
[ ]borsuk_7__1343_36.min1.thm12017-02-06 12:45 882  
[ ]borsuk_7__1347_46.min1.thm12017-02-06 12:45 930  
[ ]borsuk_7__1348_42.min1.thm12017-02-06 12:45 769  
[ ]borsuk_7__1360_25.min1.thm12017-02-06 12:45 1.8K 
[ ]borsuk_7__1362_63.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_7__1363_57.min1.thm12017-02-06 12:45 2.1K 
[ ]borsuk_7__1364_48.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_7__1383_39.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_7__1437_14.min1.thm12017-02-06 12:45 929  
[ ]borsuk_7__1446_32.min1.thm12017-02-06 12:45 696  
[ ]borsuk_7__1458_13.min1.thm12017-02-06 12:45 227  
[ ]borsuk_7__1472_65.min1.thm12017-02-06 12:45 909  
[ ]borsuk_7__1473_16.min1.thm12017-02-06 12:45 588  
[ ]borsuk_7__1473_16.min1.thm1.tptp2017-02-06 16:48 511  
[ ]borsuk_7__1474_21.min1.thm12017-02-06 12:45 776  
[ ]borsuk_7__1474_21.min1.thm1.tptp2017-02-06 16:48 694  
[ ]borsuk_7__1496_32.min1.thm12017-02-06 12:45 696  
[ ]borsuk_7__1500_23.min1.thm12017-02-06 12:45 839  
[ ]borsuk_7__1530_18.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_7__1569_37.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_7__1570_50.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_7__1595_21.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_7__1599_32.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_7__1627_16.min1.thm12017-02-06 12:45 421  
[ ]borsuk_7__1628_15.min1.thm12017-02-06 12:45 410  
[ ]borsuk_7__1642_17.min1.thm12017-02-06 12:45 764  
[ ]borsuk_7__1648_15.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_7__1648_15.min1.thm1.tptp2017-02-06 16:48 1.0K 
[ ]borsuk_7__1649_16.min1.thm12017-02-06 12:45 884  
[ ]borsuk_7__1660_23.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_7__1661_13.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_7__1671_15.min1.thm12017-02-06 12:45 410  
[ ]borsuk_7__1693_47.min1.thm12017-02-06 12:45 2.9K 
[ ]borsuk_7__1694_57.min1.thm12017-02-06 12:45 2.7K 
[ ]borsuk_7__1695_55.min1.thm12017-02-06 12:45 2.6K 
[ ]borsuk_7__1698_18.min1.thm12017-02-06 12:45 620  
[ ]borsuk_7__1704_24.min1.thm12017-02-06 12:45 476  
[ ]borsuk_7__1725_16.min1.thm12017-02-06 12:45 1.9K 
[ ]borsuk_7__1731_30.min1.thm12017-02-06 12:45 813  
[ ]borsuk_7__1738_30.min1.thm12017-02-06 12:45 813  
[ ]borsuk_7__1748_14.min1.thm12017-02-06 12:45 941  
[ ]borsuk_7__1748_14.min1.thm1.tptp2017-02-06 16:48 859  
[ ]borsuk_7__1756_32.min1.thm12017-02-06 12:45 817  
[ ]borsuk_7__1757_32.min1.thm12017-02-06 12:45 817  
[ ]borsuk_7__1759_47.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_7__1762_38.min1.thm12017-02-06 12:45 2.3K 
[ ]borsuk_7__1773_18.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_7__1775_48.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_7__1806_20.min1.thm12017-02-06 12:45 826  
[ ]borsuk_7__1817_16.min1.thm12017-02-06 12:45 825  
[ ]borsuk_7__1846_49.min1.thm12017-02-06 12:45 3.3K 
[ ]borsuk_7__1847_61.min1.thm12017-02-06 12:45 3.0K 
[ ]borsuk_7__1849_10.min1.thm12017-02-06 12:45 2.8K 
[ ]borsuk_7__1853_17.min1.thm12017-02-06 12:45 671  
[ ]borsuk_7__1866_51.min1.thm12017-02-06 12:45 933  
[ ]borsuk_7__1866_51.min1.thm1.tptp2017-02-06 16:48 856  
[ ]borsuk_7__1867_13.min1.thm12017-02-06 12:45 933  
[ ]borsuk_7__1867_13.min1.thm1.tptp2017-02-06 16:48 856  
[ ]borsuk_7__1889_28.min1.thm12017-02-06 12:45 740  
[ ]borsuk_7__1895_18.min1.thm12017-02-06 12:45 1.9K 
[ ]borsuk_7__1904_58.min1.thm12017-02-06 12:45 1.9K 
[ ]borsuk_7__1929_15.min1.thm12017-02-06 12:45 376  
[ ]borsuk_7__1931_11.min1.thm12017-02-06 12:45 683  
[ ]borsuk_7__1933_19.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_7__1961_17.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_7__1961_17.min1.thm1.tptp2017-02-06 16:48 1.4K 
[ ]borsuk_7__1973_37.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_7__2040_60.min1.thm12017-02-06 12:45 422  
[ ]borsuk_7__2043_46.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_7__2079_19.min1.thm12017-02-06 12:45 2.0K 
[ ]borsuk_7__2080_21.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_7__2085_38.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_7__2086_23.min1.thm12017-02-06 12:45 2.2K 
[ ]borsuk_7__2088_13.min1.thm12017-02-06 12:45 1.9K 
[ ]borsuk_7__2089_11.min1.thm12017-02-06 12:45 637  
[ ]borsuk_7__2103_33.min1.thm12017-02-06 12:45 2.6K 
[ ]borsuk_7__2105_43.min1.thm12017-02-06 12:45 812  
[ ]borsuk_7__2105_43.min1.thm1.tptp2017-02-06 16:48 724  
[ ]borsuk_7__2112_27.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_7__2112_27.min1.thm1.tptp2017-02-06 16:48 1.0K 
[ ]borsuk_7__2138_15.min1.thm12017-02-06 12:45 411  
[ ]borsuk_7__2139_25.min1.thm12017-02-06 12:45 391  
[ ]borsuk_7__2139_25.min1.thm1.tptp2017-02-06 16:48 313  
[ ]borsuk_7__2168_34.min1.thm12017-02-06 12:45 3.2K 
[ ]borsuk_7__2170_31.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_7__2181_31.min1.thm12017-02-06 12:45 2.6K 
[ ]borsuk_7__2190_16.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_7__2190_16.min1.thm1.tptp2017-02-06 16:48 1.3K 
[ ]borsuk_7__2207_31.min1.thm12017-02-06 12:45 2.6K 
[ ]borsuk_7__2208_32.min1.thm12017-02-06 12:45 2.8K 
[ ]borsuk_7__2216_17.min1.thm12017-02-06 12:45 413  
[ ]borsuk_7__2227_26.min1.thm12017-02-06 12:45 1.8K 
[ ]borsuk_7__2227_26.min1.thm1.tptp2017-02-06 16:48 1.7K 
[ ]borsuk_7__2265_17.min1.thm12017-02-06 12:45 695  
[ ]borsuk_7__2431_45.min1.thm12017-02-06 12:45 406  
[ ]borsuk_7__2490_34.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_7__2494_36.min1.thm12017-02-06 12:45 350  
[ ]borsuk_7__2494_36.min1.thm1.tptp2017-02-06 16:48 272  
[ ]borsuk_7__2495_15.min1.thm12017-02-06 12:45 527  
[ ]borsuk_7__2503_19.min1.thm12017-02-06 12:45 377  
[ ]borsuk_7__2503_19.min1.thm1.tptp2017-02-06 16:48 299  
[ ]borsuk_7__2504_19.min1.thm12017-02-06 12:45 620  
[ ]borsuk_7__2516_47.min1.thm12017-02-06 12:45 480  
[ ]borsuk_7__2518_48.min1.thm12017-02-06 12:45 779  
[ ]borsuk_7__2536_30.min1.thm12017-02-06 12:45 442  
[ ]borsuk_7__2536_30.min1.thm1.tptp2017-02-06 16:48 365  
[ ]borsuk_7__2568_16.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_7__2568_16.min1.thm1.tptp2017-02-06 16:48 1.4K 
[ ]borsuk_7__2605_42.min1.thm12017-02-06 12:45 2.1K 
[ ]borsuk_7__2606_13.min1.thm12017-02-06 12:45 493  
[ ]borsuk_7__2608_52.min1.thm12017-02-06 12:45 366  
[ ]borsuk_7__2608_52.min1.thm1.tptp2017-02-06 16:48 277  
[ ]borsuk_7__2609_69.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_7__2611_55.min1.thm12017-02-06 12:45 2.4K 
[ ]borsuk_7__2633_46.min1.thm12017-02-06 12:45 777  
[ ]borsuk_7__2636_15.min1.thm12017-02-06 12:45 2.0K 
[ ]borsuk_7__2640_10.min1.thm12017-02-06 12:45 730  
[ ]borsuk_7__2643_37.min1.thm12017-02-06 12:45 918  
[ ]borsuk_7__2644_20.min1.thm12017-02-06 12:45 232  
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80