110 Optimal 1 quasi-metrics 33877 in 54049 a 15 given 10 pointwise 27 equivalence 390 class 1290 do 33 always 15 exist