TIED-MINIMUM CERTIFICATE SUMMARY

Orders:
ord_7(2)=3, ord_7(3)=6, ord_73(2)=9, ord_73(3)=12.

Complete periodic survivor counts (states; mod 7; mod 73; joint):
A1 y=b<g, type I, x odd: 162; 18; 3; 0.
A1 y=g<b, type I, x even, g>=3: 162; 18; 1; 0.
A2 y=b<g, W=2+3^y: 18; 2; 1; 0.
A2 y=g<b, W=2+3^y: 18; 2; 1; 0.
B b=g<v, W=1+2*3^v: 18; 4; 0; 0.
B b=g<v, W=4+3^v: 18; 4; 1; 0.

Small-minimum exception A1 y=g=1<b:
b=2: 9 states; mod-7 survivors 0; joint 0.
b>=6: 27 residue states; mod-7 survivors 3; mod-73-compatible survivors 0; joint 0.

Survivor hashes in the order mod 7, mod 73:
A1 first: fa975c6370648b566dbe338129166748ec5d4d8eb60d83f9943df399d59ebbf9,
          2e6d899c0e1392dc9b1f78a08ca610f20bdbdc60a445f334aa0b02f2e6c14cd8.
A1 second: 71aaf4d94b8b74ac8f6428068bae15e55976587011db35377d3d041784531cbd,
           338dddb0f0ad78300d8b94aeea70b2da0bd4121fe55bc670092e23476a6db4ac.
A2 first and second: 7ba9f4b9ed774fcdf954718b7a58710c9bd47b54e21e9fb2d0f4678a8d1ea0da,
                     1b30f0631cf5444e747b51be665f3db0a60e88a2e9fbc910ac05a4194090865b.
B first: a8852bda1ff133e633d9c26b55ad41e7eb6fd03f2e7071b8d5b54cf8d9aba887,
         e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.
B second: 0ac405c97c6491aa949fcaedafbb7a024dde024083827017d56423ea1f5e4722,
          80a41b68e6da9b32f10988f5e0a22a1ddb6a3cb6ea5b33df22d3e820eaabef6d.

Bounded control (not used for completeness):
limit=30; tested=312300; presentations=11; valuation failures=0.

Independent C++ result:
all tied-minimum intersections are empty.
