//! The degree lowering table contains the introduced variables that allow
//! lowering the degree of the AIR. See [`air::TARGET_DEGREE`]
//! for additional information.
include!;
//! The degree lowering table contains the introduced variables that allow
//! lowering the degree of the AIR. See [`air::TARGET_DEGREE`]
//! for additional information.
include!;