fn __action266<'input>( input: &'input str, (_, __0, _): (usize, Vec<Clause>, usize) ) -> Vec<Clause>