> I think the brute-force was done by making non-semantic changes like variable names and changing the order of the declarations.

Yep. You have 17 bits of entropy just in the names of three single-letter variables.