I see some peoples here believe that high-number puzzles >100 can be solved by BSGS or
by some other method other than kangaroos. I could prove that kang is the only known way,
but when people want to believe to something - it's almost impossible to stop them.
Better save your time and don't argue, let them talk about solving #135 with BSGS, it's funny