I agree, counterexample to P!=NP would be great. I tried but it's a mess.
I’m pretty sure “counterexample” is the wrong word here.
I’m pretty sure “counterexample” is the wrong word here.