JSON Config for Turing Machine that Proves #(0*n)>(0*n) | n > m