I have studied the bytecode and tried several decompilers.
The main problem was ishl where I tested on longs how it behaves ... the modulus of shiftamount ...
and on ints it uses another modulus.
Yes, the 0x200041 and so looked strange, but I were not sure the byte codes generated were ok ...
I used the FernFlower decompiler and it worked perfectly fine - everything else I tried choked, though.
De-obfuscated the various `stop` and `run` calls, but it turns out the actual math didn't need any de-obfuscation at all: the first loop creates the correct sequence in a 3x3 grid and the second must just run a comparison.
Lots of unnecessary loops and try/catch blocks in the original code, this challenge would have been a lot more difficult if FernFlower didn't exist.