OK   M1 P' replaced by P (P against itself)                               expected REJECTED  got REJECTED  FAILED CHECKS (3): T6 exactly 12 of 18 face angles differ, T6 the differing ones are exactly the 12 at a1, a2, a3, T7 |a1a2|^2:|a1a3|^2 differ, so P' 
OK   M2 P' replaced by the mirror image of P                              expected REJECTED  got REJECTED  FAILED CHECKS (3): T6 exactly 12 of 18 face angles differ, T6 the differing ones are exactly the 12 at a1, a2, a3, T7 |a1a2|^2:|a1a3|^2 differ, so P' 
OK   M3 P' replaced by a similar copy of P                                expected REJECTED  got REJECTED  FAILED CHECKS (3): T6 exactly 12 of 18 face angles differ, T6 the differing ones are exactly the 12 at a1, a2, a3, T7 |a1a2|^2:|a1a3|^2 differ, so P' 
OK   M4 x' moved by 1e-30 (first coordinate)                              expected REJECTED  got REJECTED  FAILED CHECKS (10): T5 xa1  interior dihedral angle equal in P and P' (exact), T5 xa2  interior dihedral angle equal in P and P' (exact), T5 xa3  inte
OK   M5 a3' moved by 1e-6 (third coordinate)                              expected REJECTED  got REJECTED  FAILED CHECKS (12): T5 ya1  interior dihedral angle equal in P and P' (exact), T5 ya2  interior dihedral angle equal in P and P' (exact), T5 ya3  inte
OK   M6 x of P moved by 1e-20 (second coordinate)                         expected REJECTED  got REJECTED  FAILED CHECKS (10): T5 xa1  interior dihedral angle equal in P and P' (exact), T5 xa2  interior dihedral angle equal in P and P' (exact), T5 xa3  inte
OK   M7 D replaced by D+1                                                 expected REJECTED  got REJECTED  FAILED CHECKS (9): T5 xa1  interior dihedral angle equal in P and P' (exact), T5 xa2  interior dihedral angle equal in P and P' (exact), T5 xa3  inter
OK   M8 labels a1, a2 exchanged in P'                                     expected REJECTED  got REJECTED  FAILED CHECKS (10): T5 ya1  interior dihedral angle equal in P and P' (exact), T5 ya2  interior dihedral angle equal in P and P' (exact), T5 xa1  inte
OK   M9 x' reflected through y' = 0                                       expected REJECTED  got REJECTED  FAILED CHECKS (20): T2 P': a1,a2,a3 affinely independent; x, y strictly opposite, T4 P': embedded (15 triangle pairs meet only in common faces), T5 ya
OK   M10 labels x, y exchanged in P'                                      expected REJECTED  got REJECTED  FAILED CHECKS (10): T5 ya1  interior dihedral angle equal in P and P' (exact), T5 ya2  interior dihedral angle equal in P and P' (exact), T5 ya3  inte
OK   C1 P' replaced by its mirror image (valid partner)                   expected CERTIFIED got CERTIFIED 
OK   C2 P' replaced by a similar copy (scale 3/2, rotation, translation)  expected CERTIFIED got CERTIFIED 
OK   C3 roles of P and P' exchanged                                       expected CERTIFIED got CERTIFIED 
OK   C4 the certificate itself                                            expected CERTIFIED got CERTIFIED 
RUN2 MUTATIONS: ALL AS EXPECTED
