{"ast_node_type":"other","tokens":[{"end":23,"kind":"keyword","start":0,"text":".collect();"}]}
            .collect();
            .map(|col| pretty_printed_matrix.iter().map(|row| row[col].len()).max().unwrap_or(0))