d66359eb00ea75803abcd0f89628fff8  CLAIMS.md
912ae7ef95ea555575170d174dc44d2d  MAIN_RESULT.md
57e0d8b16748f81426db7e72e0675a50  MAIN_RESULT.pdf
cf3e16ad6905f457c01736228b625aee  MAIN_RESULT.tex
7f76272cc9c1bd05ef95be07a9cc34ed  STATUS.md
