embedded bipyramid (Lemma 1 hypotheses): P True  P' True
edge a1-a2   EQUAL   interior convex  71.6166597193 vs 71.6166597193 deg
edge a1-a3   EQUAL   interior convex  38.7133075619 vs 38.7133075619 deg
edge a2-a3   EQUAL   interior REFLEX  273.823851853 vs 273.823851853 deg
edge x-a1    EQUAL   interior convex  120.82792753 vs 120.82792753 deg
edge x-a2    EQUAL   interior convex  27.7621488476 vs 27.7621488476 deg
edge x-a3    EQUAL   interior convex  37.9213297766 vs 37.9213297766 deg
edge y-a1    EQUAL   interior convex  145.773597471 vs 145.773597471 deg
edge y-a2    EQUAL   interior convex  32.2559160222 vs 32.2559160222 deg
edge y-a3    EQUAL   interior convex  45.9568968578 vs 45.9568968578 deg
reflex edge count: {'P': 1, "P'": 1}
face x-a1-a2 at a1     DIFFER  22.33795015 vs 33.08209134 deg
face x-a1-a2 at a2     DIFFER  124.64228 vs 113.8981388 deg
face x-a1-a2 at x      equal   33.01976983 vs 33.01976983 deg
face x-a2-a3 at a2     DIFFER  96.2609176 vs 79.34898902 deg
face x-a2-a3 at a3     DIFFER  34.15200032 vs 51.0639289 deg
face x-a2-a3 at x      equal   49.58708208 vs 49.58708208 deg
face x-a3-a1 at a1     DIFFER  52.95102292 vs 44.86326774 deg
face x-a3-a1 at a3     DIFFER  102.6547561 vs 110.7425113 deg
face x-a3-a1 at x      equal   24.39422099 vs 24.39422099 deg
face y-a1-a3 at a1     DIFFER  39.81733498 vs 55.50066514 deg
face y-a1-a3 at a3     DIFFER  92.24590251 vs 76.56257235 deg
face y-a1-a3 at y      equal   47.9367625 vs 47.9367625 deg
face y-a2-a1 at a1     DIFFER  29.90656528 vs 13.14667868 deg
face y-a2-a1 at a2     DIFFER  59.32593228 vs 76.08581889 deg
face y-a2-a1 at y      equal   90.76750244 vs 90.76750244 deg
face y-a3-a2 at a2     DIFFER  27.12468363 vs 41.024302 deg
face y-a3-a2 at a3     DIFFER  24.35764055 vs 10.45802218 deg
face y-a3-a2 at y      equal   128.5176758 vs 128.5176758 deg
face angles differing exactly: 12 of 18
similar (first two edge-length ratios agree)? False
sign mismatches between exact and 80-digit numerics: 0
VERIFIER A: ALL OK
