# isabelle_session_info

session_name: Optics
sources: 2bcce005d3df336092112d3f65c2df271403f72b
input_heaps:
d6ac031d3e88d65563eac5f02a097b7a1de9a7e3
f9599c72045408b4573575612b1544f97d3e8615
589cab8119fd4567cfa18ae4cfb210d6afb2895b


