# isabelle_session_info

session_name: Optics
sources: a1395d55a035d83cc364bac3b4e169510e08e3dc
input_heaps:
72476e49faf5ae81b565cd9a808c77e6c79a7cd3
1847274f423d78a61f6a5c9cd14f9851aa9995d5
1ed94e879e8d6162148a6274c30ffe9e4be3a408


