(A) psi satisfies all 45 inequalities; values of w: {-1: 10, 0: 32, 1: 3} ; rhombi with w(psi) != w(phi): 5
(B) the eighteen inequalities (short diagonal | tips | inequality):
    (16) short (4, 0, 2) (3, 1, 2) | tips (4, 1, 1) (3, 0, 3) | +b -g >= 0
    (17) short (4, 1, 1) (4, 0, 2) | tips (5, 0, 1) (3, 1, 2) | +g -b >= 0
    (18) short (2, 2, 2) (2, 1, 3) | tips (3, 1, 2) (1, 2, 3) | +e +a -b -y >= 0
    (19) short (3, 1, 2) (2, 2, 2) | tips (3, 2, 1) (2, 1, 3) | +b +e -f -a >= 0
    (20) short (3, 2, 1) (3, 1, 2) | tips (4, 1, 1) (2, 2, 2) | +f +b -g -e >= 0
    (1)-(13) are the inequalities of example_rank6.py with the same right-hand sides.
(C) total of phi: 25/2 (sum of values 2, 21 rhombi with excess in Z + 1/2); total of psi: 13 (sum of values 5/2, 21 such rhombi)
(D) phi^tau has the value 1/2 at [(1, 3, 2), (1, 4, 1), (2, 1, 3), (3, 1, 2)] ; total 25/2
    rank 7: total 18 = 25/2 + 6 - 1/2
    rank 8: total 25 = 18 + 7 - 0
    rank 9: total 33 = 25 + 8 - 0
    rank 10: total 42 = 33 + 9 - 0
    rank 11: total 52 = 42 + 10 - 0
    rank 12: total 63 = 52 + 11 - 0
