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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]fuzzy_1__48_34.min1.thm12017-02-06 12:44 1.7K 
[ ]fuzzy_1__49_52.min1.thm12017-02-06 12:44 810  
[ ]fuzzy_1__50_36.min1.thm12017-02-06 12:44 586  
[ ]fuzzy_1__60_35.min1.thm12017-02-06 12:44 692  
[ ]fuzzy_1__70_34.min1.thm12017-02-06 12:44 1.1K 
[ ]fuzzy_1__77_11.min1.thm12017-02-06 12:44 509  
[ ]fuzzy_1__77_11.min1.thm1.tptp2017-02-06 16:47 449  
[ ]fuzzy_1__86_13.min1.thm12017-02-06 12:44 928  
[ ]fuzzy_1__111_22.min1.thm12017-02-06 12:44 772  
[ ]fuzzy_1__112_25.min1.thm12017-02-06 12:44 2.0K 
[ ]fuzzy_1__116_72.min1.thm12017-02-06 12:44 1.3K 
[ ]fuzzy_1__118_21.min1.thm12017-02-06 12:44 1.9K 
[ ]fuzzy_1__132_19.min1.thm12017-02-06 12:44 1.7K 
[ ]fuzzy_1__134_26.min1.thm12017-02-06 12:44 1.0K 
[ ]fuzzy_1__142_8.min1.thm12017-02-06 12:44 939  
[ ]fuzzy_1__145_32.min1.thm12017-02-06 12:44 682  
[ ]fuzzy_1__160_57.min1.thm12017-02-06 12:44 324  
[ ]fuzzy_1__161_46.min1.thm12017-02-06 12:44 1.5K 
[ ]fuzzy_1__168_30.min1.thm12017-02-06 12:44 237  
[ ]fuzzy_1__170_21.min1.thm12017-02-06 12:44 663  
[ ]fuzzy_1__170_21.min1.thm1.tptp2017-02-06 16:47 600  
[ ]fuzzy_1__172_23.min1.thm12017-02-06 12:44 429  
[ ]fuzzy_1__172_23.min1.thm1.tptp2017-02-06 16:47 365  
[ ]fuzzy_1__174_17.min1.thm12017-02-06 12:44 1.0K 
[ ]fuzzy_1__176_57.min1.thm12017-02-06 12:44 894  
[ ]fuzzy_1__177_23.min1.thm12017-02-06 12:44 669  
[ ]fuzzy_1__178_23.min1.thm12017-02-06 12:44 670  
[ ]fuzzy_1__182_53.min1.thm12017-02-06 12:44 1.4K 
[ ]fuzzy_1__188_28.min1.thm12017-02-06 12:44 1.6K 
[ ]fuzzy_1__189_47.min1.thm12017-02-06 12:44 547  
[ ]fuzzy_1__189_47.min1.thm1.tptp2017-02-06 16:47 472  
[ ]fuzzy_1__191_24.min1.thm12017-02-06 12:44 1.9K 
[ ]fuzzy_1__192_12.min1.thm12017-02-06 12:44 419  
[ ]fuzzy_1__193_24.min1.thm12017-02-06 12:44 868  
[ ]fuzzy_1__195_21.min1.thm12017-02-06 12:44 1.4K 
[ ]fuzzy_1__196_24.min1.thm12017-02-06 12:44 2.1K 
[ ]fuzzy_1__197_22.min1.thm12017-02-06 12:44 2.1K 
[ ]fuzzy_1__198_31.min1.thm12017-02-06 12:44 2.4K 
[ ]fuzzy_1__200_18.min1.thm12017-02-06 12:44 844  
[ ]fuzzy_1__201_19.min1.thm12017-02-06 12:44 868  
[ ]fuzzy_1__202_26.min1.thm12017-02-06 12:44 1.4K 
[ ]fuzzy_1__204_17.min1.thm12017-02-06 12:44 2.1K 
[ ]fuzzy_1__205_17.min1.thm12017-02-06 12:44 2.1K 
[ ]fuzzy_1__206_31.min1.thm12017-02-06 12:44 2.1K 
[ ]fuzzy_1__207_23.min1.thm12017-02-06 12:44 854  
[ ]fuzzy_1__208_21.min1.thm12017-02-06 12:44 1.8K 
[ ]fuzzy_1__211_25.min1.thm12017-02-06 12:44 435  
[ ]fuzzy_1__211_25.min1.thm1.tptp2017-02-06 16:47 371  
[ ]fuzzy_1__212_18.min1.thm12017-02-06 12:44 792  
[ ]fuzzy_1__213_38.min1.thm12017-02-06 12:44 1.0K 
[ ]fuzzy_1__214_19.min1.thm12017-02-06 12:44 1.0K 
[ ]fuzzy_1__225_27.min1.thm12017-02-06 12:44 535  
[ ]fuzzy_1__225_27.min1.thm1.tptp2017-02-06 16:47 458  
[ ]fuzzy_1__226_21.min1.thm12017-02-06 12:44 716  
[ ]fuzzy_1__228_28.min1.thm12017-02-06 12:44 1.1K 
[ ]fuzzy_1__231_13.min1.thm12017-02-06 12:44 1.0K 
[ ]fuzzy_1__232_15.min1.thm12017-02-06 12:44 1.4K 
[ ]fuzzy_1__244_57.min1.thm12017-02-06 12:44 330  
[ ]fuzzy_1__245_46.min1.thm12017-02-06 12:44 1.5K 
[ ]fuzzy_1__252_30.min1.thm12017-02-06 12:44 242  
[ ]fuzzy_1__254_21.min1.thm12017-02-06 12:44 681  
[ ]fuzzy_1__254_21.min1.thm1.tptp2017-02-06 16:47 618  
[ ]fuzzy_1__256_23.min1.thm12017-02-06 12:44 437  
[ ]fuzzy_1__256_23.min1.thm1.tptp2017-02-06 16:47 373  
[ ]fuzzy_1__258_17.min1.thm12017-02-06 12:44 1.0K 
[ ]fuzzy_1__260_57.min1.thm12017-02-06 12:44 916  
[ ]fuzzy_1__261_23.min1.thm12017-02-06 12:44 678  
[ ]fuzzy_1__262_23.min1.thm12017-02-06 12:44 679  
[ ]fuzzy_1__266_53.min1.thm12017-02-06 12:44 1.4K 
[ ]fuzzy_1__272_47.min1.thm12017-02-06 12:44 555  
[ ]fuzzy_1__272_47.min1.thm1.tptp2017-02-06 16:47 480  
[ ]fuzzy_1__274_24.min1.thm12017-02-06 12:44 1.9K 
[ ]fuzzy_1__275_12.min1.thm12017-02-06 12:44 427  
[ ]fuzzy_1__276_24.min1.thm12017-02-06 12:44 881  
[ ]fuzzy_1__278_21.min1.thm12017-02-06 12:44 1.4K 
[ ]fuzzy_1__279_22.min1.thm12017-02-06 12:44 2.2K 
[ ]fuzzy_1__282_18.min1.thm12017-02-06 12:44 877  
[ ]fuzzy_1__283_24.min1.thm12017-02-06 12:44 2.1K 
[ ]fuzzy_1__284_19.min1.thm12017-02-06 12:44 882  
[ ]fuzzy_1__285_26.min1.thm12017-02-06 12:44 1.4K 
[ ]fuzzy_1__287_17.min1.thm12017-02-06 12:44 2.2K 
[ ]fuzzy_1__288_17.min1.thm12017-02-06 12:44 2.2K 
[ ]fuzzy_1__289_31.min1.thm12017-02-06 12:44 2.3K 
[ ]fuzzy_1__290_23.min1.thm12017-02-06 12:44 867  
[ ]fuzzy_1__291_21.min1.thm12017-02-06 12:44 1.8K 
[ ]fuzzy_1__294_25.min1.thm12017-02-06 12:44 439  
[ ]fuzzy_1__294_25.min1.thm1.tptp2017-02-06 16:47 375  
[ ]fuzzy_1__295_18.min1.thm12017-02-06 12:44 803  
[ ]fuzzy_1__296_38.min1.thm12017-02-06 12:44 1.1K 
[ ]fuzzy_1__297_19.min1.thm12017-02-06 12:44 1.0K 
[ ]fuzzy_1__308_27.min1.thm12017-02-06 12:44 550  
[ ]fuzzy_1__308_27.min1.thm1.tptp2017-02-06 16:47 473  
[ ]fuzzy_1__309_21.min1.thm12017-02-06 12:44 738  
[ ]fuzzy_1__311_28.min1.thm12017-02-06 12:44 1.1K 
[ ]fuzzy_1__314_13.min1.thm12017-02-06 12:44 1.0K 
[ ]fuzzy_1__315_15.min1.thm12017-02-06 12:44 1.4K 
[ ]fuzzy_1__334_18.min1.thm12017-02-06 12:44 779  
[ ]fuzzy_1__336_21.min1.thm12017-02-06 12:44 847  
[ ]fuzzy_1__338_23.min1.thm12017-02-06 12:44 437  
[ ]fuzzy_1__338_23.min1.thm1.tptp2017-02-06 16:47 373  
[ ]fuzzy_1__340_17.min1.thm12017-02-06 12:44 1.0K 
[ ]fuzzy_1__342_52.min1.thm12017-02-06 12:44 962  
[ ]fuzzy_1__343_23.min1.thm12017-02-06 12:44 678  
[ ]fuzzy_1__347_50.min1.thm12017-02-06 12:44 1.4K 
[ ]fuzzy_1__353_47.min1.thm12017-02-06 12:44 555  
[ ]fuzzy_1__353_47.min1.thm1.tptp2017-02-06 16:47 480  
[ ]fuzzy_1__355_24.min1.thm12017-02-06 12:44 1.9K 
[ ]fuzzy_1__356_12.min1.thm12017-02-06 12:44 427  
[ ]fuzzy_1__357_24.min1.thm12017-02-06 12:44 881  
[ ]fuzzy_1__359_21.min1.thm12017-02-06 12:44 1.4K 
[ ]fuzzy_1__360_22.min1.thm12017-02-06 12:44 2.2K 
[ ]fuzzy_1__361_26.min1.thm12017-02-06 12:44 2.0K 
[ ]fuzzy_1__362_24.min1.thm12017-02-06 12:44 2.7K 
[ ]fuzzy_1__364_18.min1.thm12017-02-06 12:44 907  
[ ]fuzzy_1__365_24.min1.thm12017-02-06 12:44 2.1K 
[ ]fuzzy_1__366_22.min1.thm12017-02-06 12:44 2.2K 
[ ]fuzzy_1__367_25.min1.thm12017-02-06 12:44 1.6K 
[ ]fuzzy_1__368_23.min1.thm12017-02-06 12:44 917  
[ ]fuzzy_1__369_21.min1.thm12017-02-06 12:44 1.8K 
[ ]fuzzy_1__372_25.min1.thm12017-02-06 12:44 437  
[ ]fuzzy_1__372_25.min1.thm1.tptp2017-02-06 16:47 373  
[ ]fuzzy_1__373_18.min1.thm12017-02-06 12:44 803  
[ ]fuzzy_1__374_38.min1.thm12017-02-06 12:44 1.1K 
[ ]fuzzy_1__375_19.min1.thm12017-02-06 12:44 1.0K 
[ ]fuzzy_1__386_20.min1.thm12017-02-06 12:44 484  
[ ]fuzzy_1__386_20.min1.thm1.tptp2017-02-06 16:47 407  
[ ]fuzzy_1__387_21.min1.thm12017-02-06 12:44 672  
[ ]fuzzy_1__389_28.min1.thm12017-02-06 12:44 1.1K 
[ ]fuzzy_1__398_39.min1.thm12017-02-06 12:44 518  
[ ]fuzzy_1__398_39.min1.thm1.tptp2017-02-06 16:47 441  
[ ]fuzzy_1__407_25.min1.thm12017-02-06 12:44 4.4K 
[ ]fuzzy_1__422_16.min1.thm12017-02-06 12:44 708  
[ ]fuzzy_1__433_16.min1.thm12017-02-06 12:44 708  
[ ]fuzzy_1__448_15.min1.thm12017-02-06 12:44 2.3K 
[ ]fuzzy_1__449_16.min1.thm12017-02-06 12:44 540  
[ ]fuzzy_1__456_15.min1.thm12017-02-06 12:44 2.3K 
[ ]fuzzy_1__457_16.min1.thm12017-02-06 12:44 540  
[ ]fuzzy_1__478_16.min1.thm12017-02-06 12:44 792  
[ ]fuzzy_1__490_16.min1.thm12017-02-06 12:44 792  
[ ]fuzzy_1__512_40.min1.thm12017-02-06 12:44 1.7K 
[ ]fuzzy_1__513_34.min1.thm12017-02-06 12:44 1.7K 
[ ]fuzzy_1__518_19.min1.thm12017-02-06 12:44 1.2K 
[ ]fuzzy_1__518_19.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]fuzzy_1__528_40.min1.thm12017-02-06 12:44 1.7K 
[ ]fuzzy_1__529_34.min1.thm12017-02-06 12:44 1.7K 
[ ]fuzzy_1__534_19.min1.thm12017-02-06 12:44 1.2K 
[ ]fuzzy_1__534_19.min1.thm1.tptp2017-02-06 16:47 1.1K 
[ ]fuzzy_1__546_35.min1.thm12017-02-06 12:44 1.1K 
[ ]fuzzy_1__552_13.min1.thm12017-02-06 12:44 1.1K 
[ ]fuzzy_1__559_13.min1.thm12017-02-06 12:44 1.2K 
[ ]fuzzy_1__575_48.min1.thm12017-02-06 12:44 1.0K 
[ ]fuzzy_1__578_45.min1.thm12017-02-06 12:44 523  
[ ]fuzzy_1__578_45.min1.thm1.tptp2017-02-06 16:47 448  
[ ]fuzzy_1__580_40.min1.thm12017-02-06 12:44 1.7K 
[ ]fuzzy_1__582_24.min1.thm12017-02-06 12:44 1.3K 
[ ]fuzzy_1__583_19.min1.thm12017-02-06 12:44 2.1K 
[ ]fuzzy_1__585_14.min1.thm12017-02-06 12:44 582  
[ ]fuzzy_1__592_23.min1.thm12017-02-06 12:44 674  
[ ]fuzzy_1__593_31.min1.thm12017-02-06 12:44 2.2K 
[ ]fuzzy_1__601_23.min1.thm12017-02-06 12:44 674  
[ ]fuzzy_1__602_31.min1.thm12017-02-06 12:44 2.0K 
[ ]fuzzy_1__612_28.min1.thm12017-02-06 12:44 1.0K 
[ ]fuzzy_1__623_19.min1.thm12017-02-06 12:44 2.0K 
[ ]fuzzy_1__627_17.min1.thm12017-02-06 12:44 2.2K 
[ ]fuzzy_1__638_24.min1.thm12017-02-06 12:44 1.0K 
[ ]fuzzy_1__640_14.min1.thm12017-02-06 12:44 2.3K 
[ ]fuzzy_1__641_16.min1.thm12017-02-06 12:44 480  
[ ]fuzzy_1__646_24.min1.thm12017-02-06 12:44 1.0K 
[ ]fuzzy_1__648_21.min1.thm12017-02-06 12:44 2.4K 
[ ]fuzzy_1__649_16.min1.thm12017-02-06 12:44 504  
[ ]fuzzy_1__654_24.min1.thm12017-02-06 12:44 1.0K 
[ ]fuzzy_1__656_14.min1.thm12017-02-06 12:44 2.3K 
[ ]fuzzy_1__657_16.min1.thm12017-02-06 12:44 480  
[ ]fuzzy_1__659_54.min1.thm12017-02-06 12:44 2.6K 
[ ]fuzzy_1__661_21.min1.thm12017-02-06 12:44 851  
[ ]fuzzy_1__662_38.min1.thm12017-02-06 12:44 2.7K 
[ ]fuzzy_1__674_17.min1.thm12017-02-06 12:44 2.5K 
[ ]fuzzy_1__706_20.min1.thm12017-02-06 12:44 2.0K 
[ ]fuzzy_1__707_18.min1.thm12017-02-06 12:44 1.6K 
[ ]fuzzy_1__708_17.min1.thm12017-02-06 12:44 2.0K 
[ ]fuzzy_1__715_46.min1.thm12017-02-06 12:44 2.0K 
[ ]fuzzy_1__716_38.min1.thm12017-02-06 12:44 2.6K 
[ ]fuzzy_1__728_29.min1.thm12017-02-06 12:44 2.3K 
[ ]fuzzy_1__765_30.min1.thm12017-02-06 12:44 2.0K 
[ ]fuzzy_1__767_16.min1.thm12017-02-06 12:44 456  
[ ]fuzzy_1__769_33.min1.thm12017-02-06 12:44 1.8K 
[ ]fuzzy_1__783_31.min1.thm12017-02-06 12:44 2.4K 
[ ]fuzzy_1__786_24.min1.thm12017-02-06 12:44 1.0K 
[ ]fuzzy_1__789_31.min1.thm12017-02-06 12:44 1.1K 
[ ]fuzzy_1__821_31.min1.thm12017-02-06 12:44 1.8K 
[ ]fuzzy_1__831_16.min1.thm12017-02-06 12:44 745  
[ ]fuzzy_1__847_26.min1.thm12017-02-06 12:44 2.0K 
[ ]fuzzy_1__848_26.min1.thm12017-02-06 12:44 1.0K 
[ ]fuzzy_1__849_21.min1.thm12017-02-06 12:44 2.0K 
[ ]fuzzy_1__856_26.min1.thm12017-02-06 12:44 2.1K 
[ ]fuzzy_1__857_26.min1.thm12017-02-06 12:44 1.0K 
[ ]fuzzy_1__858_21.min1.thm12017-02-06 12:44 2.0K 
[ ]fuzzy_1__860_33.min1.thm12017-02-06 12:44 1.1K 
[ ]fuzzy_1__862_33.min1.thm12017-02-06 12:44 1.1K 
[ ]fuzzy_1__866_14.min1.thm12017-02-06 12:44 1.9K 
[ ]fuzzy_1__883_34.min1.thm12017-02-06 12:44 2.2K 
[ ]fuzzy_1__890_34.min1.thm12017-02-06 12:44 1.7K 
[ ]fuzzy_1__892_20.min1.thm12017-02-06 12:44 1.9K 
[ ]fuzzy_1__893_18.min1.thm12017-02-06 12:44 1.7K 
[ ]fuzzy_1__894_17.min1.thm12017-02-06 12:44 2.3K 
[ ]fuzzy_1__911_34.min1.thm12017-02-06 12:44 2.4K 
[ ]fuzzy_1__918_34.min1.thm12017-02-06 12:44 1.7K 
[ ]fuzzy_1__920_20.min1.thm12017-02-06 12:44 1.9K 
[ ]fuzzy_1__921_18.min1.thm12017-02-06 12:44 1.7K 
[ ]fuzzy_1__922_17.min1.thm12017-02-06 12:44 2.3K 
[ ]fuzzy_1__932_24.min1.thm12017-02-06 12:44 2.2K 
[ ]fuzzy_1__936_17.min1.thm12017-02-06 12:44 1.9K 
[ ]fuzzy_1__945_28.min1.thm12017-02-06 12:44 2.0K 
[ ]fuzzy_1__946_35.min1.thm12017-02-06 12:44 1.7K 
[ ]fuzzy_1__947_17.min1.thm12017-02-06 12:44 1.7K 
[ ]fuzzy_1__953_47.min1.thm12017-02-06 12:44 1.5K 
[ ]fuzzy_1__960_23.min1.thm12017-02-06 12:44 1.1K 
[ ]fuzzy_1__961_17.min1.thm12017-02-06 12:44 1.9K 
[ ]fuzzy_1__967_18.min1.thm12017-02-06 12:44 1.2K 
[ ]fuzzy_1__968_17.min1.thm12017-02-06 12:44 2.0K 
[ ]fuzzy_1__974_18.min1.thm12017-02-06 12:44 1.2K 
[ ]fuzzy_1__985_17.min1.thm12017-02-06 12:44 1.7K 
[ ]fuzzy_1__986_10.min1.thm12017-02-06 12:44 1.1K 
[ ]fuzzy_1__987_19.min1.thm12017-02-06 12:44 1.5K 
[ ]fuzzy_1__989_45.min1.thm12017-02-06 12:44 2.0K 
[ ]fuzzy_1__995_17.min1.thm12017-02-06 12:44 1.4K 
[ ]fuzzy_1__996_10.min1.thm12017-02-06 12:44 953  
[ ]fuzzy_1__997_19.min1.thm12017-02-06 12:44 1.7K 
[ ]fuzzy_1__999_45.min1.thm12017-02-06 12:44 2.1K 
[ ]fuzzy_1__1102_57.min1.thm12017-02-06 12:44 354  
[ ]fuzzy_1__1103_46.min1.thm12017-02-06 12:44 2.0K 
[ ]fuzzy_1__1110_32.min1.thm12017-02-06 12:44 254  
[ ]fuzzy_1__1112_21.min1.thm12017-02-06 12:44 705  
[ ]fuzzy_1__1112_21.min1.thm1.tptp2017-02-06 16:47 642  
[ ]fuzzy_1__1114_23.min1.thm12017-02-06 12:44 437  
[ ]fuzzy_1__1114_23.min1.thm1.tptp2017-02-06 16:47 373  
[ ]fuzzy_1__1116_17.min1.thm12017-02-06 12:44 1.0K 
[ ]fuzzy_1__1118_59.min1.thm12017-02-06 12:44 952  
[ ]fuzzy_1__1119_23.min1.thm12017-02-06 12:44 678  
[ ]fuzzy_1__1120_23.min1.thm12017-02-06 12:44 679  
[ ]fuzzy_1__1124_53.min1.thm12017-02-06 12:44 1.4K 
[ ]fuzzy_1__1130_28.min1.thm12017-02-06 12:44 2.0K 
[ ]fuzzy_1__1132_18.min1.thm12017-02-06 12:44 911  
[ ]fuzzy_1__1133_47.min1.thm12017-02-06 12:44 555  
[ ]fuzzy_1__1133_47.min1.thm1.tptp2017-02-06 16:47 480  
[ ]fuzzy_1__1135_24.min1.thm12017-02-06 12:44 1.9K 
[ ]fuzzy_1__1136_12.min1.thm12017-02-06 12:44 428  
[ ]fuzzy_1__1137_24.min1.thm12017-02-06 12:44 883  
[ ]fuzzy_1__1139_21.min1.thm12017-02-06 12:44 1.4K 
[ ]fuzzy_1__1140_19.min1.thm12017-02-06 12:44 883  
[ ]fuzzy_1__1142_21.min1.thm12017-02-06 12:44 1.4K 
[ ]fuzzy_1__1143_22.min1.thm12017-02-06 12:44 2.2K 
[ ]fuzzy_1__1145_21.min1.thm12017-02-06 12:44 2.0K 
[ ]fuzzy_1__1146_24.min1.thm12017-02-06 12:44 2.1K 
[ ]fuzzy_1__1147_22.min1.thm12017-02-06 12:44 2.2K 
[ ]fuzzy_1__1149_19.min1.thm12017-02-06 12:44 1.5K 
[ ]fuzzy_1__1150_17.min1.thm12017-02-06 12:44 2.2K 
[ ]fuzzy_1__1151_34.min1.thm12017-02-06 12:44 2.0K 
[ ]fuzzy_1__1154_17.min1.thm12017-02-06 12:44 2.2K 
[ ]fuzzy_1__1155_34.min1.thm12017-02-06 12:44 1.9K 
[ ]fuzzy_1__1156_28.min1.thm12017-02-06 12:44 3.0K 
[ ]fuzzy_1__1158_23.min1.thm12017-02-06 12:44 903  
[ ]fuzzy_1__1159_21.min1.thm12017-02-06 12:44 1.8K 
[ ]fuzzy_1__1162_25.min1.thm12017-02-06 12:44 439  
[ ]fuzzy_1__1162_25.min1.thm1.tptp2017-02-06 16:47 375  
[ ]fuzzy_1__1163_18.min1.thm12017-02-06 12:44 803  
[ ]fuzzy_1__1164_38.min1.thm12017-02-06 12:44 1.1K 
[ ]fuzzy_1__1165_19.min1.thm12017-02-06 12:44 1.0K 
[ ]fuzzy_1__1176_29.min1.thm12017-02-06 12:44 574  
[ ]fuzzy_1__1176_29.min1.thm1.tptp2017-02-06 16:47 497  
[ ]fuzzy_1__1177_21.min1.thm12017-02-06 12:44 762  
[ ]fuzzy_1__1179_28.min1.thm12017-02-06 12:44 1.1K 
Apache/2.4.18 (Ubuntu) Server at grid01.ciirc.cvut.cz Port 80