8e1eb5ac3e3efc38f5670e3759d60017a3a9c813fac9074df319b74fe41e8b44  PITC_Lecture_Notes.tex
4b9dc270c1602a4494c4fbc4d65fda901cc190797caacdda45f2df93ac664cd8  PITC_Lecture_Notes.pdf
2e86edc6824ed5379695e7eb1725f85ea1bb8a714a1d03786082e0213b4ea91a  README.md
ae7a3a45700a5a86fec15782db5d331fcea87fc452c88b17b14e877cf845a7de  lecture_coverage.json
f07c8a1d77cc85a697d4bb053e3fb778bdbe2dde241402639c29c18ab7b0ec13  validation.json
9caf12c9e875fce6b009678e792689566d21180c6062102d3577b6ce4e8cc6b9  Interactive_Demonstrations.html
edb5d857c24bd730cdd6fc4da1ecd4878d4af8cef60d92b9860ff327e8108629  evidence/Attractivity_Addendum.md
be06b0583c70f6d6c3ac2f4b7e9feea5229baac155d06bd00d55dbc14077b675  evidence/E0_interval_certificate.json
334daf0e63aabae5354565196e969067cb2eb82839911b0b73afc947fddd3b7a  evidence/E1_interval_certificate.json
106cb7d8deac6dc97c3a4c7100f0340937343b33c94413d35490c701f7b84bff  evidence/E2_interval_certificate.json
b17d7a340d5cd4fa91b394c93d988ec709700445561f1a9a9b70b3d5f9e0fed7  evidence/M1_interval_certificate.json
