How about another joke, Fraenkel?
>a busy beaver Turing machine with 636 states will halt if ZFC is inconsistent
https://github.com/CatsAreFluffy/metamath-turing-machines/blob/master/output_zf2.txt