file: 71196

This data as json

id	patch_id	filename
71196	15002	symfony/console/Formatter/OutputFormatter.php