100755 blob 487042ee2e694c977806d85959172a1fb075481a	extract_failures.py
100755 blob be0a8f0390894484c1e59fa95ff641314751e645	extract_sources.py
100755 blob ff117652e838f0f5d839a204b5042f4f54db5c6b	fix_unsafe.py
100755 blob bc42eaab9deb77779e0c656fc68c3af3d03672d3	range_merger.py
100755 blob 6d5339b45ac1714824b862e011c84686070bf356	remove_unsafe_pragma.py
100755 blob 36216b8ce2e00771b97eb31785f06a7f73f31de4	rewrite_directory.py