Produced by long_answer_generator.py in the xtra folder. The shortest pair of strings proving Not Transparent has length 267.