1 2
pub const FACE2IDX: [usize; 4] = [0, 2, 4, 6]; pub const IDX2NODE: [usize; 6] = [1, 2, 2, 0, 0, 1];