DISC digits=55 nonsquare=True
coordinates with nonzero sqrt part: 18
P: side(x)=-1 side(y)=1 opposite=True
Pp: side(x)=-1 side(y)=1 opposite=True
edge y-a1: P convex 145.773597  Pp convex 145.773597  equal=True noncoplanar=True
edge y-a2: P convex 32.255916  Pp convex 32.255916  equal=True noncoplanar=True
edge y-a3: P convex 45.956897  Pp convex 45.956897  equal=True noncoplanar=True
edge x-a1: P convex 120.827928  Pp convex 120.827928  equal=True noncoplanar=True
edge x-a2: P convex 27.762149  Pp convex 27.762149  equal=True noncoplanar=True
edge x-a3: P convex 37.921330  Pp convex 37.921330  equal=True noncoplanar=True
edge a1-a2: P convex 71.616660  Pp convex 71.616660  equal=True noncoplanar=True
edge a1-a3: P convex 38.713308  Pp convex 38.713308  equal=True noncoplanar=True
edge a2-a3: P reflex 273.823852  Pp reflex 273.823852  equal=True noncoplanar=True
dihedral equal: 9/9; reflex edges in P: 1; face angles differing: 12/18 (at apices: 0)
VERDICT: COUNTEREXAMPLE CONFIRMED
