546332f6e0e585e1c0fe53bc05afb6c165b75ef0fe0a180f7b891760f98b31db  files/LICENSE_NOTICE.md
e2baed8d2e72c536cf547be48ed853d8c43cf91ec8bce0a59a33d4ac240b519d  files/Machine_Native_Reasoning_Reviewed_Continuation.pdf
65a5963cf0c970af6e45ff9964122eb5a351e5cd5027e45f2651d330f699faf5  files/README.md
6b91659bcd92c8b082243a2905d5b3490af25bc2e6dbe8e492a5596431b6579a  files/book.tex
546332f6e0e585e1c0fe53bc05afb6c165b75ef0fe0a180f7b891760f98b31db  files/verification/predecessor/LICENSE_NOTICE.md
