Create string_compressed.py