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