const ODDTHETAZERO9: [f64; 9];