# isabelle_session_info

session_name: Optics
sources: 427a58701284a9d0be7ce5301724fd545ace3ace
input_heaps:
3853cc710de37a8d8ae8e2ce10739760530fc782
68e24fa803389d76024c730e22fc9263ebe14aa0
6db453c4f8190f725a1dfadc471c82a6fd5fb1de


