x' moved by 1e-30              REJECTED; 8 failed checks
      [C1] certificate file is the one recorded in the note
      [C6] Lemma 2: all 9 interior dihedral angles of P and P' are equal
      [C7] Lemma 2' (orientation-free): all 9 interior dihedral angles are equal
      [C8] exactly 12 of the 18 face angles differ; the 6 at x and y are equal
a3' moved by 1e-6              REJECTED; 7 failed checks
      [C1] certificate file is the one recorded in the note
      [C6] Lemma 2: all 9 interior dihedral angles of P and P' are equal
      [C7] Lemma 2' (orientation-free): all 9 interior dihedral angles are equal
      [C8] exactly 12 of the 18 face angles differ; the 6 at x and y are equal
D replaced by D + 1            REJECTED; 10 failed checks
      [C1] certificate file is the one recorded in the note
      [C1] D is the discriminant of the quadratic c2 t^2 + c1 t + c0 of the note
      [C1] lambda* is a root of that quadratic, the smaller one (lambda* = 1.127770)
      [C6] Lemma 2: all 9 interior dihedral angles of P and P' are equal
labels a1, a2 swapped in P'    REJECTED; 10 failed checks
      [C1] certificate file is the one recorded in the note
      [C5] P and P' induce the same outward orientation (signed volumes of equal sign)
      [C6] Lemma 2: all 9 interior dihedral angles of P and P' are equal
      [C7] Lemma 2' (orientation-free): all 9 interior dihedral angles are equal
P' replaced by P               REJECTED; 6 failed checks
      [C1] certificate file is the one recorded in the note
      [C8] exactly 12 of the 18 face angles differ; the 6 at x and y are equal
      [C9] P' is not similar to P (ratio of squared lengths a1a2 : a1a3 differs)
      [C10] the mirror image of P' is also a valid partner of P (9 equal dihedral angles, 12 face angles differ)
x' reflected through y         REJECTED; 4 failed checks
      [C1] certificate file is the one recorded in the note
      [C2] P': a1, a2, a3 affinely independent, x and y strictly on opposite sides
      [C4] P': Lemma-1-free embeddedness test, 36 edge/triangle pairs, no violation
      [C5] P and P' induce the same outward orientation (signed volumes of equal sign)
ALL MUTATIONS REJECTED
