fn __action272<'input>( input: &'input str, (_, v, _): (usize, Vec<Box<Goal>>, usize), (_, e, _): (usize, Box<Goal>, usize), ) -> Vec<Box<Goal>>