úÎ vU5      !"#$%&'()*+,-./01234 56 7           ! !89 ! ! !"#$%&'()*:+,-./012"#$%&'()*;<+,-./012(*)#$%&'"0+12,-./"#$%&'$%&'(*))*+,-./01234343434=      !"#$%&'()*+,-./01(23456789:;;<=>?@AB ProxN-0.0.1Data.ProxN.Show1Data.ProxN.PrettyData.ProxN.PeanoData.ProxN.VecNData.ProxN.Tree2NData.ProxN.ProximityShow1show1Pretty1 prettyPrint1pretty1 prettySimp1Pretty prettyPrintpretty prettySimp prettyPutprettyNl prettyIndent Logarithm logarithmPeano fromPeanoTenNineEightSevenSixFiveFourThreeTwoOneSuccZero VecNClassVecN distance2 vecCartProdfromListVecTree Tree2NClassTreedswapNodefoldTree chooseNodeTree2N Tree2NLeaf Tree2NBranchtree0tree1tree2tree3 fold2NTreedepthsizeprox proximityPrettyM runPrettyMVecNil:<: insertNode:/\:TreeNil