这灵石矿洞说是大概能挖多少多少灵石，就是不知道说的是矿洞总产量，还是说每个人进去之后从头挖到尾大概能挖那么多灵石了。如果是总产量，那一群人进去每个人又能分到几块灵石