rep3: 2h=(-2, -2, -1, 1, 0, -1, -1, 0), mu=-3/8, classes=[[1, 3], [2]], hat h(12),(13),(23)=['1/4', '1/8', '1/4']
   Phi(y) <= -838273557480479751/14411518807585587200 = -5.817e-02 < 0 at class-constant y = ['-21/40', '-4/5', '-21/40']
rep8: 2h=(-1, -2, -1, 0, 1, -2, 0, -1), mu=-3/8, classes=[[1, 2], [3]], hat h(12),(13),(23)=['1/8', '1/4', '1/4']
   Phi(y) <= -838273557480479751/14411518807585587200 = -5.817e-02 < 0 at class-constant y = ['-21/40', '-21/40', '4/5']
Theorem F's hypothesis fails for rep3 and rep8 (hence for their orbits). [EXACT]
