Xu, Q. (2024). Simulation of fault-tolerant gadgets for four-legged cats (Version 2.0.4) [Computer software]