Всего выпущено обыкновенных акций на Core Natural Resources, Inc.