Right? It took hard work and back breaking labor.
I think they used copper “saws” and then put sand under the saw so the sand would cut the stone as you pushed the saw over it.