Figure 1: B = 2.3090+0.9511i, N = 2, alpha = 22.3862 deg, beta = 94.3862 deg, beta - alpha = 72 deg, type A_0; the comment line of the figure agrees
Figure 3: the 31 reachable points of length <= 7.3 for n = 6 and their types (16 of type A_0, 5 each of A_1, A_2, A_3) agree with the enumeration
Figure 4, j = 5: the 6 vertices of the drawn trajectory agree with a literal billiard (max deviation 0.00002, side 1); it closes after 6 segments
Figure 4, j = 2: the 30 vertices of the drawn trajectory agree with a literal billiard (max deviation 0.00008, side 1); it closes after 30 segments
Figure 4: the labels d_1..d_7 = 15,15,5,15,3,5,15 agree
ALL CHECKS PASSED
