Fri Oct 23 02:26:07 UTC 2026
chord: C/i1j3/q32, 2 atoms, 73 caps, rectangle True
PASS  chord: original C/i1j3/q32                                         ok=True U=0.8549552502410571 why=None
PASS  chord main: last atom multiplier dropped                           ok=False U=None why=exception: AssertionError((1, 2))
PASS  chord main: one extra atom multiplier                              ok=False U=None why=exception: AssertionError((3, 2))
PASS  chord main: 3 rectangle multipliers instead of 4                   ok=False U=None why=exception: AssertionError((3, False))
PASS  chord main: nc + 1                                                 ok=False U=None why=exception: AssertionError((74, 73))
PASS  chord main: cap index nc (out of range)                            ok=False U=None why=exception: AssertionError()
PASS  chord range j=3 U: last atom multiplier dropped                    ok=False U=None why=exception: AssertionError((1, 2))
PASS  chord range j=3 U: one extra atom multiplier                       ok=False U=None why=exception: AssertionError((3, 2))
PASS  chord range j=3 U: 3 rectangle multipliers instead of 4            ok=False U=None why=exception: AssertionError((3, False))
PASS  chord range j=3 U: nc + 1                                          ok=False U=None why=exception: AssertionError((74, 73))
PASS  chord range j=3 U: cap index nc (out of range)                     ok=False U=None why=exception: AssertionError()
PASS  chord: original C/i10j0 (no rectangle)                             ok=True U=0.8296174626311325 why=None
PASS  chord main: nonzero rectangle multipliers, no rectangle            ok=False U=None why=exception: ValueError('Q multipliers without Q')
PASS  chord range j=3 U: nonzero rectangle multipliers, no rectangle     ok=False U=None why=exception: ValueError('Q multipliers without Q')
light: L/s15t15, 0 atoms, 104 caps, rectangle True
PASS  light: original L/s15t15                                           ok=True U=0.8549743150463496 why=None
PASS  light main: one extra atom multiplier                              ok=False U=None why=exception: AssertionError((1, 0))
PASS  light main: 3 rectangle multipliers instead of 4                   ok=False U=None why=exception: AssertionError((3, False))
PASS  light main: nc + 1                                                 ok=False U=None why=exception: AssertionError((105, 104))
PASS  light main: cap index nc (out of range)                            ok=False U=None why=exception: AssertionError()
PASS  light range j=3 U: one extra atom multiplier                       ok=False U=None why=exception: AssertionError((1, 0))
PASS  light range j=3 U: 3 rectangle multipliers instead of 4            ok=False U=None why=exception: AssertionError((3, False))
PASS  light range j=3 U: nc + 1                                          ok=False U=None why=exception: AssertionError((105, 104))
PASS  light range j=3 U: cap index nc (out of range)                     ok=False U=None why=exception: AssertionError()
      light: every full certificate has a rectangle; no-rectangle mutation not applicable
nsplit: N/k35/i0j6, 2 atoms, 73 caps, rectangle False
PASS  nsplit: original N/k35/i0j6                                        ok=True U=0.854996980551545 why=None
PASS  nsplit main: last atom multiplier dropped                          ok=False U=None why=exception: AssertionError((1, 2))
PASS  nsplit main: one extra atom multiplier                             ok=False U=None why=exception: AssertionError((3, 2))
PASS  nsplit main: nc + 1                                                ok=False U=None why=exception: AssertionError((74, 73))
PASS  nsplit main: cap index nc (out of range)                           ok=False U=None why=exception: AssertionError()
PASS  nsplit range j=3 U: last atom multiplier dropped                   ok=False U=None why=exception: AssertionError((1, 2))
PASS  nsplit range j=3 U: one extra atom multiplier                      ok=False U=None why=exception: AssertionError((3, 2))
PASS  nsplit range j=3 U: nc + 1                                         ok=False U=None why=exception: AssertionError((74, 73))
PASS  nsplit range j=3 U: cap index nc (out of range)                    ok=False U=None why=exception: AssertionError()
PASS  nsplit: original N/k0/i0j10 (no rectangle)                         ok=True U=0.8059347128537998 why=None
PASS  nsplit main: nonzero rectangle multipliers, no rectangle           ok=False U=None why=exception: ValueError('Q multipliers without Q')
PASS  nsplit range j=3 U: nonzero rectangle multipliers, no rectangle    ok=False U=None why=exception: ValueError('Q multipliers without Q')
35/35 controls behave as required
A39O_ALL_CONTROLS_PASS

real	0m7.579s
user	0m7.426s
sys	0m0.152s
DONE_EXIT=0
