pub const PER_PLAYER_RESOLUTION_TOP: usize = TOP_RESOLUTION; // 5usize
Cards encoded from the resolution top.