dodecahedron map built: 20 vertices, 30 edges, 12 faces; distance distribution from a vertex: 1,3,6,6,3,1
rotation group: 60 automorphisms; half-turns (edge reversals): 15; none fixes a vertex
set of distances dist(v, h(v)) over all vertices v and half-turns h: [1, 3, 4, 5]  histogram for one vertex: {1: 3, 3: 6, 4: 3, 5: 3}
short geodesics from v, first segment in f, slope angle in [0, 3pi/10), length < 120.0: 3702   (282483 nodes, 24s)
dist   A0   A1&A2   total
   0     0    126    126
   1   662    206    868
   2     0    523    523
   3   766    304   1070
   4   336    323    659
   5   332    124    456
total 2096 1606 3702
type A0 geodesics with N even: 2095; end vertex != h_E(v) for the middle edge E: 0 (must be 0)
