On May 15, 2024, the world’s first hard rock rectangular pipe jacking machine “CREC 1112”, developed and manufactured by China…