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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]borsuk_6__56_61.min1.thm12017-02-06 12:45 457  
[ ]borsuk_6__56_61.min1.thm1.tptp2017-02-06 16:48 389  
[ ]borsuk_6__58_48.min1.thm12017-02-06 12:45 578  
[ ]borsuk_6__58_48.min1.thm1.tptp2017-02-06 16:48 540  
[ ]borsuk_6__65_49.min1.thm12017-02-06 12:45 742  
[ ]borsuk_6__67_21.min1.thm12017-02-06 12:45 248  
[ ]borsuk_6__69_16.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__83_13.min1.thm12017-02-06 12:45 736  
[ ]borsuk_6__84_21.min1.thm12017-02-06 12:45 656  
[ ]borsuk_6__90_21.min1.thm12017-02-06 12:45 2.4K 
[ ]borsuk_6__94_21.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__97_17.min1.thm12017-02-06 12:45 530  
[ ]borsuk_6__98_15.min1.thm12017-02-06 12:45 530  
[ ]borsuk_6__99_38.min1.thm12017-02-06 12:45 2.8K 
[ ]borsuk_6__100_17.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__110_11.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__118_11.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__132_13.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__133_20.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__134_29.min1.thm12017-02-06 12:45 1.9K 
[ ]borsuk_6__135_17.min1.thm12017-02-06 12:45 2.6K 
[ ]borsuk_6__142_11.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__152_11.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__153_22.min1.thm12017-02-06 12:45 2.5K 
[ ]borsuk_6__166_30.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__167_17.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__175_60.min1.thm12017-02-06 12:45 852  
[ ]borsuk_6__186_4.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__188_14.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__216_27.min1.thm12017-02-06 12:45 652  
[ ]borsuk_6__229_59.min1.thm12017-02-06 12:45 576  
[ ]borsuk_6__246_14.min1.thm12017-02-06 12:45 526  
[ ]borsuk_6__272_27.min1.thm12017-02-06 12:45 652  
[ ]borsuk_6__286_60.min1.thm12017-02-06 12:45 576  
[ ]borsuk_6__303_14.min1.thm12017-02-06 12:45 526  
[ ]borsuk_6__329_27.min1.thm12017-02-06 12:45 652  
[ ]borsuk_6__343_62.min1.thm12017-02-06 12:45 598  
[ ]borsuk_6__358_18.min1.thm12017-02-06 12:45 698  
[ ]borsuk_6__361_14.min1.thm12017-02-06 12:45 548  
[ ]borsuk_6__387_27.min1.thm12017-02-06 12:45 652  
[ ]borsuk_6__401_62.min1.thm12017-02-06 12:45 598  
[ ]borsuk_6__416_18.min1.thm12017-02-06 12:45 698  
[ ]borsuk_6__419_14.min1.thm12017-02-06 12:45 548  
[ ]borsuk_6__429_74.min1.thm12017-02-06 12:45 521  
[ ]borsuk_6__431_63.min1.thm12017-02-06 12:45 370  
[ ]borsuk_6__431_63.min1.thm1.tptp2017-02-06 16:48 306  
[ ]borsuk_6__432_43.min1.thm12017-02-06 12:45 361  
[ ]borsuk_6__432_43.min1.thm1.tptp2017-02-06 16:48 294  
[ ]borsuk_6__433_17.min1.thm12017-02-06 12:45 426  
[ ]borsuk_6__441_15.min1.thm12017-02-06 12:45 413  
[ ]borsuk_6__447_15.min1.thm12017-02-06 12:45 413  
[ ]borsuk_6__454_11.min1.thm12017-02-06 12:45 488  
[ ]borsuk_6__460_11.min1.thm12017-02-06 12:45 390  
[ ]borsuk_6__460_11.min1.thm1.tptp2017-02-06 16:48 327  
[ ]borsuk_6__468_32.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__469_55.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__470_35.min1.thm12017-02-06 12:45 476  
[ ]borsuk_6__470_35.min1.thm1.tptp2017-02-06 16:48 405  
[ ]borsuk_6__471_16.min1.thm12017-02-06 12:45 784  
[ ]borsuk_6__476_32.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__477_55.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__478_35.min1.thm12017-02-06 12:45 476  
[ ]borsuk_6__478_35.min1.thm1.tptp2017-02-06 16:48 405  
[ ]borsuk_6__479_16.min1.thm12017-02-06 12:45 784  
[ ]borsuk_6__489_11.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__490_55.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__491_16.min1.thm12017-02-06 12:45 861  
[ ]borsuk_6__492_16.min1.thm12017-02-06 12:45 326  
[ ]borsuk_6__492_16.min1.thm1.tptp2017-02-06 16:48 240  
[ ]borsuk_6__498_11.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__499_55.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__500_16.min1.thm12017-02-06 12:45 861  
[ ]borsuk_6__501_16.min1.thm12017-02-06 12:45 326  
[ ]borsuk_6__501_16.min1.thm1.tptp2017-02-06 16:48 240  
[ ]borsuk_6__519_22.min1.thm12017-02-06 12:45 300  
[ ]borsuk_6__520_32.min1.thm12017-02-06 12:45 382  
[ ]borsuk_6__520_32.min1.thm1.tptp2017-02-06 16:48 304  
[ ]borsuk_6__523_17.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__524_20.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__541_22.min1.thm12017-02-06 12:45 300  
[ ]borsuk_6__542_32.min1.thm12017-02-06 12:45 382  
[ ]borsuk_6__542_32.min1.thm1.tptp2017-02-06 16:48 304  
[ ]borsuk_6__545_17.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__546_20.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__563_22.min1.thm12017-02-06 12:45 300  
[ ]borsuk_6__564_32.min1.thm12017-02-06 12:45 382  
[ ]borsuk_6__564_32.min1.thm1.tptp2017-02-06 16:48 304  
[ ]borsuk_6__567_17.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__568_20.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__585_22.min1.thm12017-02-06 12:45 300  
[ ]borsuk_6__586_32.min1.thm12017-02-06 12:45 382  
[ ]borsuk_6__586_32.min1.thm1.tptp2017-02-06 16:48 304  
[ ]borsuk_6__589_17.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__590_20.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__601_18.min1.thm12017-02-06 12:45 393  
[ ]borsuk_6__604_18.min1.thm12017-02-06 12:45 393  
[ ]borsuk_6__609_17.min1.thm12017-02-06 12:45 826  
[ ]borsuk_6__623_35.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__624_16.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__630_4.min1.thm12017-02-06 12:45 836  
[ ]borsuk_6__631_61.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__638_16.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__640_14.min1.thm12017-02-06 12:45 528  
[ ]borsuk_6__640_14.min1.thm1.tptp2017-02-06 16:48 480  
[ ]borsuk_6__662_8.min1.thm12017-02-06 12:45 647  
[ ]borsuk_6__663_33.min1.thm12017-02-06 12:45 644  
[ ]borsuk_6__664_32.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__667_15.min1.thm12017-02-06 12:45 786  
[ ]borsuk_6__669_23.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__671_26.min1.thm12017-02-06 12:45 770  
[ ]borsuk_6__675_17.min1.thm12017-02-06 12:45 2.6K 
[ ]borsuk_6__676_26.min1.thm12017-02-06 12:45 577  
[ ]borsuk_6__678_14.min1.thm12017-02-06 12:45 849  
[ ]borsuk_6__693_12.min1.thm12017-02-06 12:45 685  
[ ]borsuk_6__694_26.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__695_59.min1.thm12017-02-06 12:45 932  
[ ]borsuk_6__699_32.min1.thm12017-02-06 12:45 498  
[ ]borsuk_6__701_41.min1.thm12017-02-06 12:45 670  
[ ]borsuk_6__702_27.min1.thm12017-02-06 12:45 723  
[ ]borsuk_6__703_28.min1.thm12017-02-06 12:45 2.8K 
[ ]borsuk_6__704_19.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__706_20.min1.thm12017-02-06 12:45 719  
[ ]borsuk_6__729_8.min1.thm12017-02-06 12:45 647  
[ ]borsuk_6__730_33.min1.thm12017-02-06 12:45 644  
[ ]borsuk_6__731_32.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__734_15.min1.thm12017-02-06 12:45 786  
[ ]borsuk_6__736_23.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__738_54.min1.thm12017-02-06 12:45 860  
[ ]borsuk_6__740_29.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__741_34.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__742_17.min1.thm12017-02-06 12:45 2.6K 
[ ]borsuk_6__743_26.min1.thm12017-02-06 12:45 577  
[ ]borsuk_6__745_14.min1.thm12017-02-06 12:45 852  
[ ]borsuk_6__760_12.min1.thm12017-02-06 12:45 688  
[ ]borsuk_6__761_26.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__762_59.min1.thm12017-02-06 12:45 932  
[ ]borsuk_6__766_32.min1.thm12017-02-06 12:45 498  
[ ]borsuk_6__768_41.min1.thm12017-02-06 12:45 670  
[ ]borsuk_6__769_27.min1.thm12017-02-06 12:45 723  
[ ]borsuk_6__770_28.min1.thm12017-02-06 12:45 2.8K 
[ ]borsuk_6__771_19.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__773_20.min1.thm12017-02-06 12:45 719  
[ ]borsuk_6__796_8.min1.thm12017-02-06 12:45 805  
[ ]borsuk_6__797_33.min1.thm12017-02-06 12:45 644  
[ ]borsuk_6__798_32.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__801_15.min1.thm12017-02-06 12:45 786  
[ ]borsuk_6__803_42.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__805_54.min1.thm12017-02-06 12:45 860  
[ ]borsuk_6__807_29.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__808_34.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__809_17.min1.thm12017-02-06 12:45 2.6K 
[ ]borsuk_6__810_26.min1.thm12017-02-06 12:45 577  
[ ]borsuk_6__812_14.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__827_12.min1.thm12017-02-06 12:45 850  
[ ]borsuk_6__828_26.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__829_59.min1.thm12017-02-06 12:45 932  
[ ]borsuk_6__833_32.min1.thm12017-02-06 12:45 498  
[ ]borsuk_6__835_41.min1.thm12017-02-06 12:45 670  
[ ]borsuk_6__836_27.min1.thm12017-02-06 12:45 723  
[ ]borsuk_6__837_28.min1.thm12017-02-06 12:45 2.8K 
[ ]borsuk_6__838_19.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__840_20.min1.thm12017-02-06 12:45 719  
[ ]borsuk_6__849_30.min1.thm12017-02-06 12:45 754  
[ ]borsuk_6__850_65.min1.thm12017-02-06 12:45 675  
[ ]borsuk_6__851_45.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__853_24.min1.thm12017-02-06 12:45 461  
[ ]borsuk_6__855_27.min1.thm12017-02-06 12:45 576  
[ ]borsuk_6__861_47.min1.thm12017-02-06 12:45 838  
[ ]borsuk_6__864_60.min1.thm12017-02-06 12:45 628  
[ ]borsuk_6__864_60.min1.thm1.tptp2017-02-06 16:48 565  
[ ]borsuk_6__865_33.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__866_45.min1.thm12017-02-06 12:45 743  
[ ]borsuk_6__867_29.min1.thm12017-02-06 12:45 533  
[ ]borsuk_6__867_29.min1.thm1.tptp2017-02-06 16:48 456  
[ ]borsuk_6__868_18.min1.thm12017-02-06 12:45 831  
[ ]borsuk_6__869_21.min1.thm12017-02-06 12:45 2.0K 
[ ]borsuk_6__875_63.min1.thm12017-02-06 12:45 685  
[ ]borsuk_6__878_12.min1.thm12017-02-06 12:45 421  
[ ]borsuk_6__879_30.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__880_14.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__889_30.min1.thm12017-02-06 12:45 882  
[ ]borsuk_6__890_65.min1.thm12017-02-06 12:45 531  
[ ]borsuk_6__891_45.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__893_41.min1.thm12017-02-06 12:45 465  
[ ]borsuk_6__896_14.min1.thm12017-02-06 12:45 406  
[ ]borsuk_6__898_27.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__899_27.min1.thm12017-02-06 12:45 576  
[ ]borsuk_6__905_47.min1.thm12017-02-06 12:45 838  
[ ]borsuk_6__909_15.min1.thm12017-02-06 12:45 790  
[ ]borsuk_6__909_15.min1.thm1.tptp2017-02-06 16:48 727  
[ ]borsuk_6__910_33.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__911_45.min1.thm12017-02-06 12:45 743  
[ ]borsuk_6__912_29.min1.thm12017-02-06 12:45 614  
[ ]borsuk_6__912_29.min1.thm1.tptp2017-02-06 16:48 537  
[ ]borsuk_6__913_21.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__914_21.min1.thm12017-02-06 12:45 2.1K 
[ ]borsuk_6__922_12.min1.thm12017-02-06 12:45 850  
[ ]borsuk_6__925_12.min1.thm12017-02-06 12:45 406  
[ ]borsuk_6__926_30.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__927_17.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__936_58.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__938_45.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__940_24.min1.thm12017-02-06 12:45 465  
[ ]borsuk_6__942_27.min1.thm12017-02-06 12:45 576  
[ ]borsuk_6__948_47.min1.thm12017-02-06 12:45 838  
[ ]borsuk_6__951_60.min1.thm12017-02-06 12:45 628  
[ ]borsuk_6__951_60.min1.thm1.tptp2017-02-06 16:48 565  
[ ]borsuk_6__952_33.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__953_45.min1.thm12017-02-06 12:45 743  
[ ]borsuk_6__954_29.min1.thm12017-02-06 12:45 533  
[ ]borsuk_6__954_29.min1.thm1.tptp2017-02-06 16:48 456  
[ ]borsuk_6__955_18.min1.thm12017-02-06 12:45 834  
[ ]borsuk_6__956_21.min1.thm12017-02-06 12:45 2.0K 
[ ]borsuk_6__962_63.min1.thm12017-02-06 12:45 688  
[ ]borsuk_6__965_12.min1.thm12017-02-06 12:45 411  
[ ]borsuk_6__966_30.min1.thm12017-02-06 12:45 2.0K 
[ ]borsuk_6__967_14.min1.thm12017-02-06 12:45 658  
[ ]borsuk_6__976_30.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__977_53.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__978_17.min1.thm12017-02-06 12:45 621  
[ ]borsuk_6__990_23.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__995_14.min1.thm12017-02-06 12:45 586  
[ ]borsuk_6__1007_23.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__1008_16.min1.thm12017-02-06 12:45 2.0K 
[ ]borsuk_6__1011_14.min1.thm12017-02-06 12:45 798  
[ ]borsuk_6__1022_15.min1.thm12017-02-06 12:45 873  
[ ]borsuk_6__1030_25.min1.thm12017-02-06 12:45 766  
[ ]borsuk_6__1031_14.min1.thm12017-02-06 12:45 683  
[ ]borsuk_6__1040_23.min1.thm12017-02-06 12:45 955  
[ ]borsuk_6__1041_14.min1.thm12017-02-06 12:45 946  
[ ]borsuk_6__1049_11.min1.thm12017-02-06 12:45 526  
[ ]borsuk_6__1056_59.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__1062_59.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__1068_59.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__1094_17.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__1095_58.min1.thm12017-02-06 12:45 869  
[ ]borsuk_6__1103_11.min1.thm12017-02-06 12:45 714  
[ ]borsuk_6__1104_17.min1.thm12017-02-06 12:45 910  
[ ]borsuk_6__1135_34.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__1145_34.min1.thm12017-02-06 12:45 689  
[ ]borsuk_6__1153_55.min1.thm12017-02-06 12:45 875  
[ ]borsuk_6__1154_17.min1.thm12017-02-06 12:45 917  
[ ]borsuk_6__1156_55.min1.thm12017-02-06 12:45 869  
[ ]borsuk_6__1162_14.min1.thm12017-02-06 12:45 748  
[ ]borsuk_6__1191_14.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__1192_33.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__1194_33.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__1197_62.min1.thm12017-02-06 12:45 1.9K 
[ ]borsuk_6__1199_46.min1.thm12017-02-06 12:45 1.9K 
[ ]borsuk_6__1200_20.min1.thm12017-02-06 12:45 810  
[ ]borsuk_6__1232_14.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__1233_33.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__1235_33.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__1238_62.min1.thm12017-02-06 12:45 1.9K 
[ ]borsuk_6__1240_46.min1.thm12017-02-06 12:45 1.9K 
[ ]borsuk_6__1241_20.min1.thm12017-02-06 12:45 810  
[ ]borsuk_6__1273_14.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__1274_33.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__1276_33.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__1279_62.min1.thm12017-02-06 12:45 1.9K 
[ ]borsuk_6__1281_46.min1.thm12017-02-06 12:45 1.9K 
[ ]borsuk_6__1282_20.min1.thm12017-02-06 12:45 810  
[ ]borsuk_6__1312_21.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__1318_61.min1.thm12017-02-06 12:45 905  
[ ]borsuk_6__1321_11.min1.thm12017-02-06 12:45 842  
[ ]borsuk_6__1323_21.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__1326_11.min1.thm12017-02-06 12:45 847  
[ ]borsuk_6__1340_27.min1.thm12017-02-06 12:45 3.0K 
[ ]borsuk_6__1341_17.min1.thm12017-02-06 12:45 2.3K 
[ ]borsuk_6__1350_26.min1.thm12017-02-06 12:45 635  
[ ]borsuk_6__1359_14.min1.thm12017-02-06 12:45 1.9K 
[ ]borsuk_6__1361_32.min1.thm12017-02-06 12:45 2.0K 
[ ]borsuk_6__1362_19.min1.thm12017-02-06 12:45 2.1K 
[ ]borsuk_6__1373_32.min1.thm12017-02-06 12:45 1.9K 
[ ]borsuk_6__1375_24.min1.thm12017-02-06 12:45 1.9K 
[ ]borsuk_6__1376_30.min1.thm12017-02-06 12:45 2.1K 
[ ]borsuk_6__1390_43.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__1403_22.min1.thm12017-02-06 12:45 945  
[ ]borsuk_6__1404_17.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__1420_44.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__1435_24.min1.thm12017-02-06 12:45 949  
[ ]borsuk_6__1456_32.min1.thm12017-02-06 12:45 758  
[ ]borsuk_6__1457_22.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__1460_13.min1.thm12017-02-06 12:45 1.8K 
[ ]borsuk_6__1461_32.min1.thm12017-02-06 12:45 886  
[ ]borsuk_6__1462_22.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__1465_13.min1.thm12017-02-06 12:45 1.8K 
[ ]borsuk_6__1466_22.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__1478_36.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__1480_36.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__1482_36.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__1484_36.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__1485_53.min1.thm12017-02-06 12:45 369  
[ ]borsuk_6__1485_53.min1.thm1.tptp2017-02-06 16:48 283  
[ ]borsuk_6__1497_36.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__1502_22.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__1503_17.min1.thm12017-02-06 12:45 875  
[ ]borsuk_6__1504_16.min1.thm12017-02-06 12:45 574  
[ ]borsuk_6__1506_63.min1.thm12017-02-06 12:45 2.6K 
[ ]borsuk_6__1511_63.min1.thm12017-02-06 12:45 2.6K 
[ ]borsuk_6__1539_39.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__1540_63.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__1544_40.min1.thm12017-02-06 12:45 458  
[ ]borsuk_6__1544_40.min1.thm1.tptp2017-02-06 16:48 380  
[ ]borsuk_6__1546_13.min1.thm12017-02-06 12:45 387  
[ ]borsuk_6__1549_15.min1.thm12017-02-06 12:45 1.9K 
[ ]borsuk_6__1550_15.min1.thm12017-02-06 12:45 1.9K 
[ ]borsuk_6__1554_15.min1.thm12017-02-06 12:45 1.9K 
[ ]borsuk_6__1564_15.min1.thm12017-02-06 12:45 2.7K 
[ ]borsuk_6__1565_34.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__1567_15.min1.thm12017-02-06 12:45 969  
[ ]borsuk_6__1571_15.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__1586_52.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__1591_42.min1.thm12017-02-06 12:45 964  
[ ]borsuk_6__1597_46.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__1598_55.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__1600_27.min1.thm12017-02-06 12:45 963  
[ ]borsuk_6__1607_27.min1.thm12017-02-06 12:45 835  
[ ]borsuk_6__1617_29.min1.thm12017-02-06 12:45 791  
[ ]borsuk_6__1619_18.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__1620_32.min1.thm12017-02-06 12:45 757  
[ ]borsuk_6__1626_32.min1.thm12017-02-06 12:45 885  
[ ]borsuk_6__1633_42.min1.thm12017-02-06 12:45 837  
[ ]borsuk_6__1641_32.min1.thm12017-02-06 12:45 757  
[ ]borsuk_6__1642_26.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__1644_16.min1.thm12017-02-06 12:45 608  
[ ]borsuk_6__1645_13.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__1646_32.min1.thm12017-02-06 12:45 885  
[ ]borsuk_6__1649_16.min1.thm12017-02-06 12:45 588  
[ ]borsuk_6__1650_13.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__1652_20.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__1663_23.min1.thm12017-02-06 12:45 945  
[ ]borsuk_6__1685_41.min1.thm12017-02-06 12:45 362  
[ ]borsuk_6__1685_41.min1.thm1.tptp2017-02-06 16:48 284  
[ ]borsuk_6__1686_15.min1.thm12017-02-06 12:45 257  
[ ]borsuk_6__1689_27.min1.thm12017-02-06 12:45 761  
[ ]borsuk_6__1690_37.min1.thm12017-02-06 12:45 806  
[ ]borsuk_6__1691_20.min1.thm12017-02-06 12:45 958  
[ ]borsuk_6__1695_26.min1.thm12017-02-06 12:45 731  
[ ]borsuk_6__1696_23.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__1701_27.min1.thm12017-02-06 12:45 1.8K 
[ ]borsuk_6__1715_15.min1.thm12017-02-06 12:45 257  
[ ]borsuk_6__1718_28.min1.thm12017-02-06 12:45 848  
[ ]borsuk_6__1719_20.min1.thm12017-02-06 12:45 848  
[ ]borsuk_6__1720_20.min1.thm12017-02-06 12:45 584  
[ ]borsuk_6__1724_24.min1.thm12017-02-06 12:45 818  
[ ]borsuk_6__1725_20.min1.thm12017-02-06 12:45 818  
[ ]borsuk_6__1726_20.min1.thm12017-02-06 12:45 584  
[ ]borsuk_6__1737_28.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__1738_26.min1.thm12017-02-06 12:45 966  
[ ]borsuk_6__1739_73.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__1741_26.min1.thm12017-02-06 12:45 838  
[ ]borsuk_6__1746_42.min1.thm12017-02-06 12:45 1.8K 
[ ]borsuk_6__1754_40.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__1758_16.min1.thm12017-02-06 12:45 375  
[ ]borsuk_6__1758_16.min1.thm1.tptp2017-02-06 16:48 310  
[ ]borsuk_6__1759_28.min1.thm12017-02-06 12:45 2.0K 
[ ]borsuk_6__1761_31.min1.thm12017-02-06 12:45 896  
[ ]borsuk_6__1764_18.min1.thm12017-02-06 12:45 384  
[ ]borsuk_6__1769_34.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__1770_23.min1.thm12017-02-06 12:45 793  
[ ]borsuk_6__1771_18.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__1774_17.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__1786_33.min1.thm12017-02-06 12:45 1.9K 
[ ]borsuk_6__1788_26.min1.thm12017-02-06 12:45 1.8K 
[ ]borsuk_6__1792_17.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__1795_25.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__1797_26.min1.thm12017-02-06 12:45 1.8K 
[ ]borsuk_6__1800_51.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__1813_46.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__1815_8.min1.thm12017-02-06 12:45 856  
[ ]borsuk_6__1816_20.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__1816_28.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__1837_41.min1.thm12017-02-06 12:45 362  
[ ]borsuk_6__1837_41.min1.thm1.tptp2017-02-06 16:48 284  
[ ]borsuk_6__1838_15.min1.thm12017-02-06 12:45 257  
[ ]borsuk_6__1841_23.min1.thm12017-02-06 12:45 755  
[ ]borsuk_6__1842_23.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__1846_26.min1.thm12017-02-06 12:45 803  
[ ]borsuk_6__1848_20.min1.thm12017-02-06 12:45 958  
[ ]borsuk_6__1867_15.min1.thm12017-02-06 12:45 257  
[ ]borsuk_6__1870_24.min1.thm12017-02-06 12:45 842  
[ ]borsuk_6__1871_20.min1.thm12017-02-06 12:45 842  
[ ]borsuk_6__1872_20.min1.thm12017-02-06 12:45 584  
[ ]borsuk_6__1876_32.min1.thm12017-02-06 12:45 890  
[ ]borsuk_6__1877_20.min1.thm12017-02-06 12:45 890  
[ ]borsuk_6__1878_20.min1.thm12017-02-06 12:45 584  
[ ]borsuk_6__1889_28.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__1890_26.min1.thm12017-02-06 12:45 966  
[ ]borsuk_6__1891_73.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__1893_26.min1.thm12017-02-06 12:45 838  
[ ]borsuk_6__1898_42.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__1906_40.min1.thm12017-02-06 12:45 2.2K 
[ ]borsuk_6__1910_16.min1.thm12017-02-06 12:45 375  
[ ]borsuk_6__1910_16.min1.thm1.tptp2017-02-06 16:48 310  
[ ]borsuk_6__1911_28.min1.thm12017-02-06 12:45 2.0K 
[ ]borsuk_6__1913_31.min1.thm12017-02-06 12:45 906  
[ ]borsuk_6__1916_18.min1.thm12017-02-06 12:45 384  
[ ]borsuk_6__1921_34.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__1922_23.min1.thm12017-02-06 12:45 793  
[ ]borsuk_6__1923_18.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__1926_17.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__1930_17.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__1933_33.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__1942_26.min1.thm12017-02-06 12:45 1.9K 
[ ]borsuk_6__1946_17.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__1947_30.min1.thm12017-02-06 12:45 2.2K 
[ ]borsuk_6__1949_33.min1.thm12017-02-06 12:45 914  
[ ]borsuk_6__1952_19.min1.thm12017-02-06 12:45 1.9K 
[ ]borsuk_6__1953_26.min1.thm12017-02-06 12:45 1.9K 
[ ]borsuk_6__1956_51.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__1969_46.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__1970_20.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__1972_8.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__1989_59.min1.thm12017-02-06 12:45 360  
[ ]borsuk_6__1991_50.min1.thm12017-02-06 12:45 2.4K 
[ ]borsuk_6__2001_41.min1.thm12017-02-06 12:45 362  
[ ]borsuk_6__2001_41.min1.thm1.tptp2017-02-06 16:48 284  
[ ]borsuk_6__2002_15.min1.thm12017-02-06 12:45 391  
[ ]borsuk_6__2005_29.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__2006_37.min1.thm12017-02-06 12:45 697  
[ ]borsuk_6__2007_20.min1.thm12017-02-06 12:45 958  
[ ]borsuk_6__2011_26.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__2013_20.min1.thm12017-02-06 12:45 958  
[ ]borsuk_6__2017_31.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__2019_20.min1.thm12017-02-06 12:45 958  
[ ]borsuk_6__2041_15.min1.thm12017-02-06 12:45 385  
[ ]borsuk_6__2044_30.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__2045_20.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__2046_20.min1.thm12017-02-06 12:45 584  
[ ]borsuk_6__2050_30.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__2052_20.min1.thm12017-02-06 12:45 584  
[ ]borsuk_6__2056_32.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__2057_20.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__2058_20.min1.thm12017-02-06 12:45 584  
[ ]borsuk_6__2069_28.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__2070_28.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__2072_59.min1.thm12017-02-06 12:45 2.5K 
[ ]borsuk_6__2073_26.min1.thm12017-02-06 12:45 838  
[ ]borsuk_6__2078_28.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__2080_59.min1.thm12017-02-06 12:45 2.3K 
[ ]borsuk_6__2083_26.min1.thm12017-02-06 12:45 967  
[ ]borsuk_6__2084_73.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__2086_68.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__2095_9.min1.thm12017-02-06 12:45 2.5K 
[ ]borsuk_6__2101_28.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__2102_20.min1.thm12017-02-06 12:45 772  
[ ]borsuk_6__2106_18.min1.thm12017-02-06 12:45 552  
[ ]borsuk_6__2109_9.min1.thm12017-02-06 12:45 2.8K 
[ ]borsuk_6__2112_14.min1.thm12017-02-06 12:45 2.9K 
[ ]borsuk_6__2120_28.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__2121_20.min1.thm12017-02-06 12:45 772  
[ ]borsuk_6__2125_18.min1.thm12017-02-06 12:45 554  
[ ]borsuk_6__2127_46.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__2128_18.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__2135_16.min1.thm12017-02-06 12:45 643  
[ ]borsuk_6__2136_44.min1.thm12017-02-06 12:45 2.5K 
[ ]borsuk_6__2140_18.min1.thm12017-02-06 12:45 474  
[ ]borsuk_6__2140_18.min1.thm1.tptp2017-02-06 16:48 392  
[ ]borsuk_6__2142_46.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__2143_18.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__2145_21.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__2149_47.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__2150_18.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__2157_16.min1.thm12017-02-06 12:45 781  
[ ]borsuk_6__2160_36.min1.thm12017-02-06 12:45 932  
[ ]borsuk_6__2161_24.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__2162_24.min1.thm12017-02-06 12:45 2.6K 
[ ]borsuk_6__2164_17.min1.thm12017-02-06 12:45 2.6K 
[ ]borsuk_6__2165_18.min1.thm12017-02-06 12:45 474  
[ ]borsuk_6__2165_18.min1.thm1.tptp2017-02-06 16:48 392  
[ ]borsuk_6__2167_46.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__2176_28.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__2177_20.min1.thm12017-02-06 12:45 772  
[ ]borsuk_6__2181_18.min1.thm12017-02-06 12:45 554  
[ ]borsuk_6__2186_15.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__2187_15.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__2188_18.min1.thm12017-02-06 12:45 2.2K 
[ ]borsuk_6__2191_36.min1.thm12017-02-06 12:45 2.2K 
[ ]borsuk_6__2192_42.min1.thm12017-02-06 12:45 950  
[ ]borsuk_6__2195_25.min1.thm12017-02-06 12:45 2.3K 
[ ]borsuk_6__2197_27.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__2199_34.min1.thm12017-02-06 12:45 2.1K 
[ ]borsuk_6__2200_42.min1.thm12017-02-06 12:45 914  
[ ]borsuk_6__2206_20.min1.thm12017-02-06 12:45 578  
[ ]borsuk_6__2210_32.min1.thm12017-02-06 12:45 2.3K 
[ ]borsuk_6__2211_38.min1.thm12017-02-06 12:45 944  
[ ]borsuk_6__2213_21.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__2214_29.min1.thm12017-02-06 12:45 2.6K 
[ ]borsuk_6__2215_42.min1.thm12017-02-06 12:45 914  
[ ]borsuk_6__2218_19.min1.thm12017-02-06 12:45 2.6K 
[ ]borsuk_6__2220_21.min1.thm12017-02-06 12:45 2.1K 
[ ]borsuk_6__2221_20.min1.thm12017-02-06 12:45 576  
[ ]borsuk_6__2227_33.min1.thm12017-02-06 12:45 944  
[ ]borsuk_6__2229_21.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__2230_29.min1.thm12017-02-06 12:45 2.1K 
[ ]borsuk_6__2231_42.min1.thm12017-02-06 12:45 914  
[ ]borsuk_6__2234_19.min1.thm12017-02-06 12:45 2.6K 
[ ]borsuk_6__2237_20.min1.thm12017-02-06 12:45 576  
[ ]borsuk_6__2241_30.min1.thm12017-02-06 12:45 2.5K 
[ ]borsuk_6__2242_38.min1.thm12017-02-06 12:45 908  
[ ]borsuk_6__2243_26.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__2247_20.min1.thm12017-02-06 12:45 576  
[ ]borsuk_6__2253_33.min1.thm12017-02-06 12:45 908  
[ ]borsuk_6__2254_26.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__2257_21.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__2258_20.min1.thm12017-02-06 12:45 576  
[ ]borsuk_6__2268_24.min1.thm12017-02-06 12:45 834  
[ ]borsuk_6__2270_8.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__2271_24.min1.thm12017-02-06 12:45 962  
[ ]borsuk_6__2273_8.min1.thm12017-02-06 12:45 937  
[ ]borsuk_6__2284_22.min1.thm12017-02-06 12:45 615  
[ ]borsuk_6__2287_32.min1.thm12017-02-06 12:45 756  
[ ]borsuk_6__2289_17.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__2291_29.min1.thm12017-02-06 12:45 787  
[ ]borsuk_6__2293_19.min1.thm12017-02-06 12:45 878  
[ ]borsuk_6__2296_13.min1.thm12017-02-06 12:45 245  
[ ]borsuk_6__2301_18.min1.thm12017-02-06 12:45 896  
[ ]borsuk_6__2306_42.min1.thm12017-02-06 12:45 860  
[ ]borsuk_6__2310_15.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__2311_17.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__2314_18.min1.thm12017-02-06 12:45 896  
[ ]borsuk_6__2328_21.min1.thm12017-02-06 12:45 615  
[ ]borsuk_6__2331_32.min1.thm12017-02-06 12:45 756  
[ ]borsuk_6__2333_17.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__2335_29.min1.thm12017-02-06 12:45 787  
[ ]borsuk_6__2337_19.min1.thm12017-02-06 12:45 878  
[ ]borsuk_6__2340_13.min1.thm12017-02-06 12:45 245  
[ ]borsuk_6__2343_35.min1.thm12017-02-06 12:45 631  
[ ]borsuk_6__2344_38.min1.thm12017-02-06 12:45 826  
[ ]borsuk_6__2348_15.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__2349_17.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__2352_18.min1.thm12017-02-06 12:45 896  
[ ]borsuk_6__2358_18.min1.thm12017-02-06 12:45 896  
[ ]borsuk_6__2376_24.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__2377_24.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__2381_29.min1.thm12017-02-06 12:45 787  
[ ]borsuk_6__2383_19.min1.thm12017-02-06 12:45 878  
[ ]borsuk_6__2386_13.min1.thm12017-02-06 12:45 365  
[ ]borsuk_6__2389_49.min1.thm12017-02-06 12:45 465  
[ ]borsuk_6__2389_49.min1.thm1.tptp2017-02-06 16:48 384  
[ ]borsuk_6__2398_18.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__2419_18.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__2424_26.min1.thm12017-02-06 12:45 3.1K 
[ ]borsuk_6__2433_18.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__2458_21.min1.thm12017-02-06 12:45 642  
[ ]borsuk_6__2458_21.min1.thm1.tptp2017-02-06 16:48 581  
[ ]borsuk_6__2460_51.min1.thm12017-02-06 12:45 429  
[ ]borsuk_6__2460_51.min1.thm1.tptp2017-02-06 16:48 351  
[ ]borsuk_6__2478_69.min1.thm12017-02-06 12:45 719  
[ ]borsuk_6__2478_69.min1.thm1.tptp2017-02-06 16:48 670  
[ ]borsuk_6__2479_23.min1.thm12017-02-06 12:45 719  
[ ]borsuk_6__2479_23.min1.thm1.tptp2017-02-06 16:48 670  
[ ]borsuk_6__2483_72.min1.thm12017-02-06 12:45 711  
[ ]borsuk_6__2483_72.min1.thm1.tptp2017-02-06 16:48 662  
[ ]borsuk_6__2484_21.min1.thm12017-02-06 12:45 711  
[ ]borsuk_6__2484_21.min1.thm1.tptp2017-02-06 16:48 662  
[ ]borsuk_6__2486_16.min1.thm12017-02-06 12:45 244  
[ ]borsuk_6__2511_21.min1.thm12017-02-06 12:45 697  
[ ]borsuk_6__2511_21.min1.thm1.tptp2017-02-06 16:48 636  
[ ]borsuk_6__2513_51.min1.thm12017-02-06 12:45 429  
[ ]borsuk_6__2513_51.min1.thm1.tptp2017-02-06 16:48 351  
[ ]borsuk_6__2532_20.min1.thm12017-02-06 12:45 829  
[ ]borsuk_6__2532_20.min1.thm1.tptp2017-02-06 16:48 780  
[ ]borsuk_6__2533_23.min1.thm12017-02-06 12:45 829  
[ ]borsuk_6__2533_23.min1.thm1.tptp2017-02-06 16:48 780  
[ ]borsuk_6__2539_16.min1.thm12017-02-06 12:45 821  
[ ]borsuk_6__2539_16.min1.thm1.tptp2017-02-06 16:48 772  
[ ]borsuk_6__2540_21.min1.thm12017-02-06 12:45 821  
[ ]borsuk_6__2540_21.min1.thm1.tptp2017-02-06 16:48 772  
[ ]borsuk_6__2542_16.min1.thm12017-02-06 12:45 244  
[ ]borsuk_6__2567_21.min1.thm12017-02-06 12:45 642  
[ ]borsuk_6__2567_21.min1.thm1.tptp2017-02-06 16:48 581  
[ ]borsuk_6__2569_51.min1.thm12017-02-06 12:45 429  
[ ]borsuk_6__2569_51.min1.thm1.tptp2017-02-06 16:48 351  
[ ]borsuk_6__2587_69.min1.thm12017-02-06 12:45 719  
[ ]borsuk_6__2587_69.min1.thm1.tptp2017-02-06 16:48 670  
[ ]borsuk_6__2588_23.min1.thm12017-02-06 12:45 719  
[ ]borsuk_6__2588_23.min1.thm1.tptp2017-02-06 16:48 670  
[ ]borsuk_6__2592_72.min1.thm12017-02-06 12:45 711  
[ ]borsuk_6__2592_72.min1.thm1.tptp2017-02-06 16:48 662  
[ ]borsuk_6__2593_21.min1.thm12017-02-06 12:45 711  
[ ]borsuk_6__2593_21.min1.thm1.tptp2017-02-06 16:48 662  
[ ]borsuk_6__2595_16.min1.thm12017-02-06 12:45 244  
[ ]borsuk_6__2612_55.min1.thm12017-02-06 12:45 516  
[ ]borsuk_6__2617_19.min1.thm12017-02-06 12:45 855  
[ ]borsuk_6__2623_24.min1.thm12017-02-06 12:45 612  
[ ]borsuk_6__2623_24.min1.thm1.tptp2017-02-06 16:48 549  
[ ]borsuk_6__2624_41.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__2625_61.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__2627_21.min1.thm12017-02-06 12:45 711  
[ ]borsuk_6__2628_50.min1.thm12017-02-06 12:45 916  
[ ]borsuk_6__2643_55.min1.thm12017-02-06 12:45 516  
[ ]borsuk_6__2648_19.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__2654_47.min1.thm12017-02-06 12:45 774  
[ ]borsuk_6__2654_47.min1.thm1.tptp2017-02-06 16:48 711  
[ ]borsuk_6__2655_41.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__2656_61.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__2658_21.min1.thm12017-02-06 12:45 711  
[ ]borsuk_6__2659_50.min1.thm12017-02-06 12:45 916  
[ ]borsuk_6__2672_55.min1.thm12017-02-06 12:45 516  
[ ]borsuk_6__2677_19.min1.thm12017-02-06 12:45 855  
[ ]borsuk_6__2683_24.min1.thm12017-02-06 12:45 612  
[ ]borsuk_6__2683_24.min1.thm1.tptp2017-02-06 16:48 549  
[ ]borsuk_6__2684_41.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__2685_61.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__2687_21.min1.thm12017-02-06 12:45 711  
[ ]borsuk_6__2688_50.min1.thm12017-02-06 12:45 916  
[ ]borsuk_6__2694_14.min1.thm12017-02-06 12:45 493  
[ ]borsuk_6__2694_14.min1.thm1.tptp2017-02-06 16:48 405  
[ ]borsuk_6__2696_14.min1.thm12017-02-06 12:45 493  
[ ]borsuk_6__2696_14.min1.thm1.tptp2017-02-06 16:48 405  
[ ]borsuk_6__2698_14.min1.thm12017-02-06 12:45 493  
[ ]borsuk_6__2698_14.min1.thm1.tptp2017-02-06 16:48 405  
[ ]borsuk_6__2712_13.min1.thm12017-02-06 12:45 293  
[ ]borsuk_6__2716_17.min1.thm12017-02-06 12:45 299  
[ ]borsuk_6__2719_25.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__2726_18.min1.thm12017-02-06 12:45 434  
[ ]borsuk_6__2749_27.min1.thm12017-02-06 12:45 674  
[ ]borsuk_6__2753_27.min1.thm12017-02-06 12:45 836  
[ ]borsuk_6__2754_31.min1.thm12017-02-06 12:45 2.7K 
[ ]borsuk_6__2755_19.min1.thm12017-02-06 12:45 717  
[ ]borsuk_6__2761_23.min1.thm12017-02-06 12:45 586  
[ ]borsuk_6__2761_23.min1.thm1.tptp2017-02-06 16:48 527  
[ ]borsuk_6__2762_41.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__2764_58.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__2766_50.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__2767_34.min1.thm12017-02-06 12:45 518  
[ ]borsuk_6__2770_21.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__2775_17.min1.thm12017-02-06 12:45 772  
[ ]borsuk_6__2790_27.min1.thm12017-02-06 12:45 674  
[ ]borsuk_6__2794_27.min1.thm12017-02-06 12:45 836  
[ ]borsuk_6__2796_19.min1.thm12017-02-06 12:45 717  
[ ]borsuk_6__2802_23.min1.thm12017-02-06 12:45 586  
[ ]borsuk_6__2802_23.min1.thm1.tptp2017-02-06 16:48 527  
[ ]borsuk_6__2803_41.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__2805_58.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__2807_50.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__2808_34.min1.thm12017-02-06 12:45 518  
[ ]borsuk_6__2811_21.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__2816_17.min1.thm12017-02-06 12:45 772  
[ ]borsuk_6__2828_11.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__2845_11.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__2857_41.min1.thm12017-02-06 12:45 2.2K 
[ ]borsuk_6__2870_13.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__2872_17.min1.thm12017-02-06 12:45 2.1K 
[ ]borsuk_6__2894_35.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__2895_46.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__2903_11.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__2907_11.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__2915_22.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__2916_48.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__2918_41.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__2925_22.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__2926_48.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__2934_41.min1.thm12017-02-06 12:45 2.2K 
[ ]borsuk_6__2946_24.min1.thm12017-02-06 12:45 834  
[ ]borsuk_6__2958_24.min1.thm12017-02-06 12:45 834  
[ ]borsuk_6__2977_26.min1.thm12017-02-06 12:45 2.5K 
[ ]borsuk_6__2992_14.min1.thm12017-02-06 12:45 382  
[ ]borsuk_6__2992_14.min1.thm1.tptp2017-02-06 16:48 300  
[ ]borsuk_6__3003_54.min1.thm12017-02-06 12:45 725  
[ ]borsuk_6__3006_17.min1.thm12017-02-06 12:45 645  
[ ]borsuk_6__3008_22.min1.thm12017-02-06 12:45 645  
[ ]borsuk_6__3010_16.min1.thm12017-02-06 12:45 1.8K 
[ ]borsuk_6__3011_40.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__3013_58.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__3014_28.min1.thm12017-02-06 12:45 857  
[ ]borsuk_6__3015_75.min1.thm12017-02-06 12:45 866  
[ ]borsuk_6__3017_19.min1.thm12017-02-06 12:45 3.7K 
[ ]borsuk_6__3018_23.min1.thm12017-02-06 12:45 865  
[ ]borsuk_6__3019_19.min1.thm12017-02-06 12:45 577  
[ ]borsuk_6__3021_26.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__3022_41.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__3023_31.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__3024_17.min1.thm12017-02-06 12:45 727  
[ ]borsuk_6__3052_26.min1.thm12017-02-06 12:45 945  
[ ]borsuk_6__3053_46.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__3072_26.min1.thm12017-02-06 12:45 962  
[ ]borsuk_6__3073_26.min1.thm12017-02-06 12:45 834  
[ ]borsuk_6__3074_63.min1.thm12017-02-06 12:45 970  
[ ]borsuk_6__3075_28.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__3076_65.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__3084_20.min1.thm12017-02-06 12:45 680  
[ ]borsuk_6__3086_26.min1.thm12017-02-06 12:45 754  
[ ]borsuk_6__3092_71.min1.thm12017-02-06 12:45 2.0K 
[ ]borsuk_6__3096_60.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__3102_49.min1.thm12017-02-06 12:45 1.8K 
[ ]borsuk_6__3110_49.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__3119_21.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__3121_21.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__3123_36.min1.thm12017-02-06 12:45 2.0K 
[ ]borsuk_6__3128_33.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__3129_37.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__3130_25.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__3131_15.min1.thm12017-02-06 12:45 360  
[ ]borsuk_6__3131_15.min1.thm1.tptp2017-02-06 16:48 295  
[ ]borsuk_6__3132_26.min1.thm12017-02-06 12:45 2.0K 
[ ]borsuk_6__3134_57.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__3140_19.min1.thm12017-02-06 12:45 2.1K 
[ ]borsuk_6__3141_21.min1.thm12017-02-06 12:45 2.0K 
[ ]borsuk_6__3143_57.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__3144_23.min1.thm12017-02-06 12:45 1.9K 
[ ]borsuk_6__3147_18.min1.thm12017-02-06 12:45 1.8K 
[ ]borsuk_6__3154_23.min1.thm12017-02-06 12:45 2.2K 
[ ]borsuk_6__3161_16.min1.thm12017-02-06 12:45 350  
[ ]borsuk_6__3163_34.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__3167_72.min1.thm12017-02-06 12:45 2.1K 
[ ]borsuk_6__3177_15.min1.thm12017-02-06 12:45 247  
[ ]borsuk_6__3182_36.min1.thm12017-02-06 12:45 890  
[ ]borsuk_6__3184_28.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__3185_17.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__3189_25.min1.thm12017-02-06 12:45 2.2K 
[ ]borsuk_6__3194_22.min1.thm12017-02-06 12:45 1.9K 
[ ]borsuk_6__3197_29.min1.thm12017-02-06 12:45 2.2K 
[ ]borsuk_6__3198_69.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__3204_25.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__3210_17.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__3214_38.min1.thm12017-02-06 12:45 669  
[ ]borsuk_6__3215_36.min1.thm12017-02-06 12:45 890  
[ ]borsuk_6__3217_28.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__3218_25.min1.thm12017-02-06 12:45 2.2K 
[ ]borsuk_6__3220_60.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__3223_22.min1.thm12017-02-06 12:45 1.8K 
[ ]borsuk_6__3230_27.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__3237_15.min1.thm12017-02-06 12:45 247  
[ ]borsuk_6__3242_36.min1.thm12017-02-06 12:45 762  
[ ]borsuk_6__3244_28.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__3245_17.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__3249_25.min1.thm12017-02-06 12:45 2.2K 
[ ]borsuk_6__3254_22.min1.thm12017-02-06 12:45 1.9K 
[ ]borsuk_6__3257_29.min1.thm12017-02-06 12:45 2.2K 
[ ]borsuk_6__3258_69.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__3264_25.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__3270_17.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__3274_38.min1.thm12017-02-06 12:45 669  
[ ]borsuk_6__3275_36.min1.thm12017-02-06 12:45 762  
[ ]borsuk_6__3277_28.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__3278_25.min1.thm12017-02-06 12:45 2.2K 
[ ]borsuk_6__3280_60.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__3283_22.min1.thm12017-02-06 12:45 1.8K 
[ ]borsuk_6__3295_19.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__3295_19.min1.thm1.tptp2017-02-06 16:48 1.1K 
[ ]borsuk_6__3305_29.min1.thm12017-02-06 12:45 787  
[ ]borsuk_6__3307_25.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__3308_21.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__3310_58.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__3313_18.min1.thm12017-02-06 12:45 1.9K 
[ ]borsuk_6__3316_25.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__3317_65.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__3318_31.min1.thm12017-02-06 12:45 878  
[ ]borsuk_6__3323_19.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__3324_13.min1.thm12017-02-06 12:45 794  
[ ]borsuk_6__3324_13.min1.thm1.tptp2017-02-06 16:48 738  
[ ]borsuk_6__3325_29.min1.thm12017-02-06 12:45 788  
[ ]borsuk_6__3327_25.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__3328_21.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__3330_58.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__3331_23.min1.thm12017-02-06 12:45 1.8K 
[ ]borsuk_6__3334_21.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__3335_62.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__3338_22.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__3343_19.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__3344_13.min1.thm12017-02-06 12:45 790  
[ ]borsuk_6__3344_13.min1.thm1.tptp2017-02-06 16:48 734  
[ ]borsuk_6__3345_16.min1.thm12017-02-06 12:45 300  
[ ]borsuk_6__3347_17.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__3355_48.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__3363_65.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__3370_36.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__3379_26.min1.thm12017-02-06 12:45 836  
[ ]borsuk_6__3387_67.min1.thm12017-02-06 12:45 439  
[ ]borsuk_6__3388_36.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__3389_18.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__3390_21.min1.thm12017-02-06 12:45 2.4K 
[ ]borsuk_6__3391_18.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__3395_10.min1.thm12017-02-06 12:45 786  
[ ]borsuk_6__3396_26.min1.thm12017-02-06 12:45 965  
[ ]borsuk_6__3399_10.min1.thm12017-02-06 12:45 762  
[ ]borsuk_6__3401_37.min1.thm12017-02-06 12:45 1.8K 
[ ]borsuk_6__3402_29.min1.thm12017-02-06 12:45 791  
[ ]borsuk_6__3403_37.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__3404_37.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__3406_19.min1.thm12017-02-06 12:45 901  
[ ]borsuk_6__3410_19.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__3414_18.min1.thm12017-02-06 12:45 2.1K 
[ ]borsuk_6__3417_13.min1.thm12017-02-06 12:45 805  
[ ]borsuk_6__3417_13.min1.thm1.tptp2017-02-06 16:48 749  
[ ]borsuk_6__3419_18.min1.thm12017-02-06 12:45 2.1K 
[ ]borsuk_6__3421_13.min1.thm12017-02-06 12:45 800  
[ ]borsuk_6__3421_13.min1.thm1.tptp2017-02-06 16:48 744  
[ ]borsuk_6__3422_19.min1.thm12017-02-06 12:45 501  
[ ]borsuk_6__3422_19.min1.thm1.tptp2017-02-06 16:48 421  
[ ]borsuk_6__3424_37.min1.thm12017-02-06 12:45 1.8K 
[ ]borsuk_6__3433_67.min1.thm12017-02-06 12:45 439  
[ ]borsuk_6__3434_36.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__3435_18.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__3436_21.min1.thm12017-02-06 12:45 2.4K 
[ ]borsuk_6__3437_18.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__3439_16.min1.thm12017-02-06 12:45 870  
[ ]borsuk_6__3441_20.min1.thm12017-02-06 12:45 662  
[ ]borsuk_6__3442_27.min1.thm12017-02-06 12:45 965  
[ ]borsuk_6__3444_19.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__3447_19.min1.thm12017-02-06 12:45 900  
[ ]borsuk_6__3450_29.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__3452_19.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__3458_20.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__3462_19.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__3462_19.min1.thm1.tptp2017-02-06 16:48 1.0K 
[ ]borsuk_6__3464_17.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__3464_17.min1.thm1.tptp2017-02-06 16:48 1.3K 
[ ]borsuk_6__3472_25.min1.thm12017-02-06 12:45 960  
[ ]borsuk_6__3473_17.min1.thm12017-02-06 12:45 2.1K 
[ ]borsuk_6__3480_21.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__3482_58.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__3485_19.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__3486_23.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__3488_58.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__3493_65.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__3494_19.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__3510_66.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__3511_36.min1.thm12017-02-06 12:45 407  
[ ]borsuk_6__3515_64.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__3516_20.min1.thm12017-02-06 12:45 684  
[ ]borsuk_6__3518_27.min1.thm12017-02-06 12:45 758  
[ ]borsuk_6__3523_33.min1.thm12017-02-06 12:45 884  
[ ]borsuk_6__3524_19.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__3539_44.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__3540_56.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__3545_49.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__3550_49.min1.thm12017-02-06 12:45 1.8K 
[ ]borsuk_6__3555_27.min1.thm12017-02-06 12:45 964  
[ ]borsuk_6__3556_27.min1.thm12017-02-06 12:45 836  
[ ]borsuk_6__3558_42.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__3559_29.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__3560_46.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__3563_41.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__3576_36.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__3588_51.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__3590_48.min1.thm12017-02-06 12:45 494  
[ ]borsuk_6__3590_48.min1.thm1.tptp2017-02-06 16:48 431  
[ ]borsuk_6__3591_47.min1.thm12017-02-06 12:45 700  
[ ]borsuk_6__3592_15.min1.thm12017-02-06 12:45 363  
[ ]borsuk_6__3592_15.min1.thm1.tptp2017-02-06 16:48 298  
[ ]borsuk_6__3595_25.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__3596_75.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__3603_68.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__3605_67.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__3607_65.min1.thm12017-02-06 12:45 2.2K 
[ ]borsuk_6__3609_70.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__3614_34.min1.thm12017-02-06 12:45 622  
[ ]borsuk_6__3621_18.min1.thm12017-02-06 12:45 895  
[ ]borsuk_6__3621_18.min1.thm1.tptp2017-02-06 16:48 839  
[ ]borsuk_6__3622_22.min1.thm12017-02-06 12:45 901  
[ ]borsuk_6__3622_22.min1.thm1.tptp2017-02-06 16:48 845  
[ ]borsuk_6__3626_18.min1.thm12017-02-06 12:45 364  
[ ]borsuk_6__3628_16.min1.thm12017-02-06 12:45 360  
[ ]borsuk_6__3633_29.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__3637_64.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__3641_13.min1.thm12017-02-06 12:45 248  
[ ]borsuk_6__3646_15.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__3648_58.min1.thm12017-02-06 12:45 2.4K 
[ ]borsuk_6__3649_34.min1.thm12017-02-06 12:45 761  
[ ]borsuk_6__3655_50.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__3656_43.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__3657_14.min1.thm12017-02-06 12:45 3.6K 
[ ]borsuk_6__3660_62.min1.thm12017-02-06 12:45 2.3K 
[ ]borsuk_6__3666_24.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__3667_15.min1.thm12017-02-06 12:45 875  
[ ]borsuk_6__3667_15.min1.thm1.tptp2017-02-06 16:48 819  
[ ]borsuk_6__3668_58.min1.thm12017-02-06 12:45 2.4K 
[ ]borsuk_6__3675_50.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__3676_43.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__3677_14.min1.thm12017-02-06 12:45 3.6K 
[ ]borsuk_6__3680_62.min1.thm12017-02-06 12:45 2.3K 
[ ]borsuk_6__3686_24.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__3687_15.min1.thm12017-02-06 12:45 871  
[ ]borsuk_6__3687_15.min1.thm1.tptp2017-02-06 16:48 815  
[ ]borsuk_6__3693_15.min1.thm12017-02-06 12:45 1.5K 
[ ]borsuk_6__3695_58.min1.thm12017-02-06 12:45 2.4K 
[ ]borsuk_6__3700_59.min1.thm12017-02-06 12:45 2.1K 
[ ]borsuk_6__3701_58.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__3702_43.min1.thm12017-02-06 12:45 2.0K 
[ ]borsuk_6__3704_37.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__3707_31.min1.thm12017-02-06 12:45 807  
[ ]borsuk_6__3710_59.min1.thm12017-02-06 12:45 2.1K 
[ ]borsuk_6__3711_58.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__3712_51.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__3713_50.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__3716_31.min1.thm12017-02-06 12:45 807  
[ ]borsuk_6__3717_34.min1.thm12017-02-06 12:45 762  
[ ]borsuk_6__3724_24.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__3725_15.min1.thm12017-02-06 12:45 876  
[ ]borsuk_6__3725_15.min1.thm1.tptp2017-02-06 16:48 820  
[ ]borsuk_6__3730_24.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__3731_15.min1.thm12017-02-06 12:45 871  
[ ]borsuk_6__3731_15.min1.thm1.tptp2017-02-06 16:48 815  
[ ]borsuk_6__3739_36.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__3742_66.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__3753_15.min1.thm12017-02-06 12:45 894  
[ ]borsuk_6__3753_15.min1.thm1.tptp2017-02-06 16:48 838  
[ ]borsuk_6__3760_60.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__3766_15.min1.thm12017-02-06 12:45 897  
[ ]borsuk_6__3766_15.min1.thm1.tptp2017-02-06 16:48 841  
[ ]borsuk_6__3767_19.min1.thm12017-02-06 12:45 842  
[ ]borsuk_6__3767_19.min1.thm1.tptp2017-02-06 16:48 762  
[ ]borsuk_6__3787_24.min1.thm12017-02-06 12:45 960  
[ ]borsuk_6__3806_24.min1.thm12017-02-06 12:45 960  
[ ]borsuk_6__3818_36.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__3820_21.min1.thm12017-02-06 12:45 2.2K 
[ ]borsuk_6__3828_26.min1.thm12017-02-06 12:45 2.1K 
[ ]borsuk_6__3832_25.min1.thm12017-02-06 12:45 846  
[ ]borsuk_6__3834_58.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__3836_20.min1.thm12017-02-06 12:45 729  
[ ]borsuk_6__3841_25.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__3842_18.min1.thm12017-02-06 12:45 2.0K 
[ ]borsuk_6__3846_16.min1.thm12017-02-06 12:45 624  
[ ]borsuk_6__3851_36.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__3852_23.min1.thm12017-02-06 12:45 626  
[ ]borsuk_6__3866_26.min1.thm12017-02-06 12:45 2.1K 
[ ]borsuk_6__3870_18.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__3871_29.min1.thm12017-02-06 12:45 847  
[ ]borsuk_6__3873_59.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__3875_21.min1.thm12017-02-06 12:45 729  
[ ]borsuk_6__3881_19.min1.thm12017-02-06 12:45 2.0K 
[ ]borsuk_6__3885_16.min1.thm12017-02-06 12:45 786  
[ ]borsuk_6__3890_26.min1.thm12017-02-06 12:45 2.1K 
[ ]borsuk_6__3894_18.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__3895_29.min1.thm12017-02-06 12:45 846  
[ ]borsuk_6__3897_59.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__3899_21.min1.thm12017-02-06 12:45 729  
[ ]borsuk_6__3905_19.min1.thm12017-02-06 12:45 2.0K 
[ ]borsuk_6__3909_16.min1.thm12017-02-06 12:45 624  
[ ]borsuk_6__3916_28.min1.thm12017-02-06 12:45 2.3K 
[ ]borsuk_6__3918_23.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__3921_27.min1.thm12017-02-06 12:45 798  
[ ]borsuk_6__3924_44.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__3927_25.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__3930_16.min1.thm12017-02-06 12:45 360  
[ ]borsuk_6__3932_41.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__3933_16.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__3935_19.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__3936_19.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__3945_19.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__3949_28.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__3951_33.min1.thm12017-02-06 12:45 733  
[ ]borsuk_6__3957_44.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__3960_25.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__3963_38.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__3964_29.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__3965_22.min1.thm12017-02-06 12:45 1.8K 
[ ]borsuk_6__3970_16.min1.thm12017-02-06 12:45 360  
[ ]borsuk_6__3982_17.min1.thm12017-02-06 12:45 374  
[ ]borsuk_6__3982_17.min1.thm1.tptp2017-02-06 16:48 304  
[ ]borsuk_6__3983_18.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__3986_32.min1.thm12017-02-06 12:45 809  
[ ]borsuk_6__3987_46.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__3990_23.min1.thm12017-02-06 12:45 2.0K 
[ ]borsuk_6__3992_37.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__3993_27.min1.thm12017-02-06 12:45 809  
[ ]borsuk_6__3994_46.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__4005_37.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__4006_30.min1.thm12017-02-06 12:45 2.1K 
[ ]borsuk_6__4009_17.min1.thm12017-02-06 12:45 4.5K 
[ ]borsuk_6__4010_29.min1.thm12017-02-06 12:45 2.5K 
[ ]borsuk_6__4016_28.min1.thm12017-02-06 12:45 2.0K 
[ ]borsuk_6__4018_37.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__4019_30.min1.thm12017-02-06 12:45 2.1K 
[ ]borsuk_6__4028_17.min1.thm12017-02-06 12:45 356  
[ ]borsuk_6__4028_17.min1.thm1.tptp2017-02-06 16:48 286  
[ ]borsuk_6__4029_17.min1.thm12017-02-06 12:45 369  
[ ]borsuk_6__4029_17.min1.thm1.tptp2017-02-06 16:48 299  
[ ]borsuk_6__4030_37.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__4032_19.min1.thm12017-02-06 12:45 905  
[ ]borsuk_6__4033_15.min1.thm12017-02-06 12:45 188  
[ ]borsuk_6__4036_23.min1.thm12017-02-06 12:45 506  
[ ]borsuk_6__4038_37.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__4040_25.min1.thm12017-02-06 12:45 1.9K 
[ ]borsuk_6__4041_27.min1.thm12017-02-06 12:45 540  
[ ]borsuk_6__4042_46.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__4047_17.min1.thm12017-02-06 12:45 2.3K 
[ ]borsuk_6__4048_19.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__4049_19.min1.thm12017-02-06 12:45 2.3K 
[ ]borsuk_6__4055_37.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__4056_30.min1.thm12017-02-06 12:45 1.9K 
[ ]borsuk_6__4059_17.min1.thm12017-02-06 12:45 3.2K 
[ ]borsuk_6__4060_19.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__4061_19.min1.thm12017-02-06 12:45 2.3K 
[ ]borsuk_6__4071_34.min1.thm12017-02-06 12:45 759  
[ ]borsuk_6__4073_16.min1.thm12017-02-06 12:45 457  
[ ]borsuk_6__4074_17.min1.thm12017-02-06 12:45 659  
[ ]borsuk_6__4076_25.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__4077_16.min1.thm12017-02-06 12:45 449  
[ ]borsuk_6__4078_26.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__4079_40.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__4082_15.min1.thm12017-02-06 12:45 188  
[ ]borsuk_6__4085_28.min1.thm12017-02-06 12:45 610  
[ ]borsuk_6__4086_42.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__4090_17.min1.thm12017-02-06 12:45 2.4K 
[ ]borsuk_6__4096_33.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__4097_26.min1.thm12017-02-06 12:45 1.8K 
[ ]borsuk_6__4100_17.min1.thm12017-02-06 12:45 2.5K 
[ ]borsuk_6__4106_34.min1.thm12017-02-06 12:45 887  
[ ]borsuk_6__4108_16.min1.thm12017-02-06 12:45 439  
[ ]borsuk_6__4109_17.min1.thm12017-02-06 12:45 585  
[ ]borsuk_6__4111_31.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__4113_23.min1.thm12017-02-06 12:45 2.0K 
[ ]borsuk_6__4115_15.min1.thm12017-02-06 12:45 3.2K 
[ ]borsuk_6__4127_25.min1.thm12017-02-06 12:45 960  
[ ]borsuk_6__4139_36.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__4141_20.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__4149_26.min1.thm12017-02-06 12:45 2.1K 
[ ]borsuk_6__4153_25.min1.thm12017-02-06 12:45 846  
[ ]borsuk_6__4155_58.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__4157_20.min1.thm12017-02-06 12:45 729  
[ ]borsuk_6__4161_38.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__4164_25.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__4165_19.min1.thm12017-02-06 12:45 2.0K 
[ ]borsuk_6__4169_16.min1.thm12017-02-06 12:45 752  
[ ]borsuk_6__4174_36.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__4175_23.min1.thm12017-02-06 12:45 626  
[ ]borsuk_6__4189_26.min1.thm12017-02-06 12:45 2.1K 
[ ]borsuk_6__4193_18.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__4194_29.min1.thm12017-02-06 12:45 847  
[ ]borsuk_6__4196_59.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__4198_21.min1.thm12017-02-06 12:45 729  
[ ]borsuk_6__4204_19.min1.thm12017-02-06 12:45 2.0K 
[ ]borsuk_6__4208_16.min1.thm12017-02-06 12:45 658  
[ ]borsuk_6__4213_26.min1.thm12017-02-06 12:45 2.1K 
[ ]borsuk_6__4217_18.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__4218_29.min1.thm12017-02-06 12:45 846  
[ ]borsuk_6__4220_59.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__4222_21.min1.thm12017-02-06 12:45 729  
[ ]borsuk_6__4228_19.min1.thm12017-02-06 12:45 2.0K 
[ ]borsuk_6__4232_16.min1.thm12017-02-06 12:45 752  
[ ]borsuk_6__4239_28.min1.thm12017-02-06 12:45 2.3K 
[ ]borsuk_6__4241_23.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__4244_27.min1.thm12017-02-06 12:45 798  
[ ]borsuk_6__4247_44.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__4250_25.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__4253_16.min1.thm12017-02-06 12:45 360  
[ ]borsuk_6__4255_41.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__4256_16.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__4258_19.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__4259_19.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__4268_19.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__4272_28.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__4274_33.min1.thm12017-02-06 12:45 733  
[ ]borsuk_6__4280_44.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__4284_40.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__4287_25.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__4288_29.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__4289_22.min1.thm12017-02-06 12:45 1.8K 
[ ]borsuk_6__4294_16.min1.thm12017-02-06 12:45 360  
[ ]borsuk_6__4305_17.min1.thm12017-02-06 12:45 374  
[ ]borsuk_6__4305_17.min1.thm1.tptp2017-02-06 16:48 304  
[ ]borsuk_6__4306_18.min1.thm12017-02-06 12:45 1.7K 
[ ]borsuk_6__4309_32.min1.thm12017-02-06 12:45 809  
[ ]borsuk_6__4310_46.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__4313_23.min1.thm12017-02-06 12:45 2.0K 
[ ]borsuk_6__4315_37.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__4316_27.min1.thm12017-02-06 12:45 809  
[ ]borsuk_6__4317_46.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__4328_37.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__4329_30.min1.thm12017-02-06 12:45 2.1K 
[ ]borsuk_6__4332_17.min1.thm12017-02-06 12:45 4.0K 
[ ]borsuk_6__4333_32.min1.thm12017-02-06 12:45 3.1K 
[ ]borsuk_6__4339_28.min1.thm12017-02-06 12:45 2.0K 
[ ]borsuk_6__4341_37.min1.thm12017-02-06 12:45 1.2K 
[ ]borsuk_6__4342_30.min1.thm12017-02-06 12:45 2.1K 
[ ]borsuk_6__4351_17.min1.thm12017-02-06 12:45 356  
[ ]borsuk_6__4351_17.min1.thm1.tptp2017-02-06 16:48 286  
[ ]borsuk_6__4352_17.min1.thm12017-02-06 12:45 369  
[ ]borsuk_6__4352_17.min1.thm1.tptp2017-02-06 16:48 299  
[ ]borsuk_6__4353_37.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__4355_19.min1.thm12017-02-06 12:45 905  
[ ]borsuk_6__4356_15.min1.thm12017-02-06 12:45 188  
[ ]borsuk_6__4359_23.min1.thm12017-02-06 12:45 506  
[ ]borsuk_6__4361_37.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__4363_25.min1.thm12017-02-06 12:45 1.9K 
[ ]borsuk_6__4364_27.min1.thm12017-02-06 12:45 540  
[ ]borsuk_6__4365_46.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__4370_17.min1.thm12017-02-06 12:45 2.8K 
[ ]borsuk_6__4371_19.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__4372_19.min1.thm12017-02-06 12:45 2.3K 
[ ]borsuk_6__4378_37.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__4379_30.min1.thm12017-02-06 12:45 1.9K 
[ ]borsuk_6__4382_17.min1.thm12017-02-06 12:45 2.7K 
[ ]borsuk_6__4383_19.min1.thm12017-02-06 12:45 1.6K 
[ ]borsuk_6__4384_19.min1.thm12017-02-06 12:45 2.3K 
[ ]borsuk_6__4394_34.min1.thm12017-02-06 12:45 759  
[ ]borsuk_6__4396_16.min1.thm12017-02-06 12:45 457  
[ ]borsuk_6__4397_17.min1.thm12017-02-06 12:45 659  
[ ]borsuk_6__4399_25.min1.thm12017-02-06 12:45 1.1K 
[ ]borsuk_6__4400_16.min1.thm12017-02-06 12:45 449  
[ ]borsuk_6__4401_26.min1.thm12017-02-06 12:45 1.4K 
[ ]borsuk_6__4402_40.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__4405_15.min1.thm12017-02-06 12:45 188  
[ ]borsuk_6__4408_28.min1.thm12017-02-06 12:45 610  
[ ]borsuk_6__4409_42.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__4410_27.min1.thm12017-02-06 12:45 2.5K 
[ ]borsuk_6__4413_17.min1.thm12017-02-06 12:45 3.0K 
[ ]borsuk_6__4419_33.min1.thm12017-02-06 12:45 1.3K 
[ ]borsuk_6__4420_26.min1.thm12017-02-06 12:45 1.8K 
[ ]borsuk_6__4423_17.min1.thm12017-02-06 12:45 3.0K 
[ ]borsuk_6__4429_34.min1.thm12017-02-06 12:45 887  
[ ]borsuk_6__4431_16.min1.thm12017-02-06 12:45 439  
[ ]borsuk_6__4432_17.min1.thm12017-02-06 12:45 585  
[ ]borsuk_6__4434_31.min1.thm12017-02-06 12:45 1.0K 
[ ]borsuk_6__4436_23.min1.thm12017-02-06 12:45 2.0K 
[ ]borsuk_6__4438_15.min1.thm12017-02-06 12:45 2.7K 
[ ]borsuk_6__4450_25.min1.thm12017-02-06 12:45 960  
[ ]borsuk_6__4458_38.min1.thm12017-02-06 12:45 1.2K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80