# isabelle_session_info

session_name: Optics
sources: 209832338fa9877b55929aa9c9af794884f23abf
input_heaps:
e003033e0a1df248159cfae37f3521344e99dff4
bd9d5b59f62cee787b745a18e37ce78675bf828e
021ae07b6633ee1bb0989cb3d6bc77cef28fc352


