(1) the labelled dodecahedron of the record
  ok   12 coherently oriented pentagonal faces, 30 edges, 20 vertices of degree 3
  ok   numbers of vertices at distance 0..5 from vertex 0: 1, 3, 6, 6, 3, 1
  ok   graph distance of the vertices 0 and 2 is 2
(2) the geodesic of the record
  ok   exactly one short geodesic from vertex 0 with first face F1 and length <= 19 has the face word of the record (187 reachable points enumerated, 4 of them with squared length (307 + 137 sqrt 5)/2)
  ok   its 15 crossed edges are those of the record
  ok   it has N = 16 segments (16 faces, 15 crossed edges); N is even
  ok   2 |B|^2 = 307 + 137 sqrt 5 exactly in Z[zeta_10]; length 17.512014632
  ok   it ends at vertex 2, at graph distance 2 from vertex 0
       slope angle alpha = 0.087987 rad = 0.0280 pi
(3) its type by Definition 2.1 of the source
  ok   type by Definition 2.1 (programs reach.enumerate_reachable and reach.trace): A_1
  ok   the image of the edge of Fig. 8 is the edge 2 -> 16; the other edge at the end vertex is 2 -> 10
  ok   beta = 0.8280 pi, beta - alpha = 0.8000 pi = 2.000000 * (2 pi/5): the row beta - alpha = 4 pi/5 of Definition 2.1, type A_1
  ok   in the last polygon the labels X_0, ..., X_4 of the table run counterclockwise: it is a mirror image of the table
(4) the relation of the record
  ok   -S0 / S1 for S1 = 2 -> 10 has argument 0.4000 pi = 2 pi/5 (the relation -S0 = eta^2 S1 of the record)
       for the edge 2 -> 16 of Fig. 8 the same quotient has argument -0.2000 pi
       2 -> 10 is the edge leaving vertex 2 in the cyclic order of the last face F1 = [10, 8, 0, 16, 2]
(5) Lemma 7.1: type A_0 with N even <=> the last polygon is the point reflection of P_0 in B/2
  ok   the last polygon of the witness is not B - P_0
       crossing parameters t_1..t_15: 0.05902 0.14590 0.21353 0.29180 0.36803 0.43769 0.52254 0.58359 0.66915 0.68328 0.75186 0.78885 0.83458 0.89443 0.91729
       t_i + t_(16-i), i = 1..7: 0.97631 1.04033 1.04810 1.08065 1.11990 1.12098 1.19170 ; t_8 = 0.58359   (1 and 0.5 for a centrally symmetric development)
  ok   first, eighth and last crossing parameter agree with the values listed in the record
  ok   Lemma 7.1 on all 131 reachable points of the pentagon with N even and |B| <= 19: type A_0 <=> last polygon = B - P_0
  ok   end distances of all type-A_0 geodesics of length <= 19 from vertex 0 (full corner): [1, 3, 4, 5]
  ok   types of all geodesics of length <= 19 ending at distance 2: A_1, A_2
(6) the two conventions against the explicit descriptions of Sect. 2.3 of the source
  ok   n = 6, radius 40: 267 points with N odd, 574 with N even; Definition 2.1 as read in the note: 0 mismatches with the source's description; other convention: 574 mismatches among the 574 points with N even
  ok   n = 4, radius 30: 147 points with N odd, 280 with N even; Definition 2.1 as read in the note: 0 mismatches with the source's description; other convention: 280 mismatches among the 280 points with N even
(7) short geodesics of length < 120 from v, first segment in the face f, at an angle < 3 pi/10 with the edge e of f at v,
    by the distance 0..5 of the end vertex (Sect. 3 of the source); two positions of e
    e = X_0X_4, the edge leaving v counterclockwise in f: total 3702; type A_0 by Definition 2.1: [0, 662, 0, 766, 336, 332]; 'A_0' under the other convention: [46, 77, 162, 108, 117, 20]
    e = X_0X_1, the other edge of f at v: total 3702; type A_0 by Definition 2.1: [0, 662, 0, 766, 336, 332]; 'A_0' under the other convention: [0, 1, 0, 0, 0, 0]
  ok   Definition 2.1: total 3702 and column A_0 = [0, 662, 0, 766, 336, 332] for both positions of e (the source prints 3750 and [0, 672, 0, 778, 342, 330])
  ok   other convention: column 'A_0' = [46, 77, 162, 108, 117, 20] or [0, 1, 0, 0, 0, 0], depending on the position of e
TOTAL failures: 0
