mypy-failing.txt 1000 Bytes