鉱山って深さどれくらいから横堀していいんだろうか?とりあえず700まで降りたけど