Hi SideQuark. I'm writing you here as there's no contact email on your profile--I wanted to ask you if you ever tried a SAT solver on RomuTrio to find cycles (or you can give me some hints). I'm referring to this: https://news.ycombinator.com/item?id=22457101.

You can write me at sebastiano.vigna@gmail.com. Thanks for any info!

BTW, thanks for explaining that you cannot prove things about a single permutation using random permutations--it's so obvious that it is very difficult to explain, and the same absurd argument pops over and over.