# isabelle_session_info

session_name: Optics
sources: 0f3b06df68b63761ec7a8401593b2e039cc143a7
input_heaps:
97833069aaf33e80bb8bfd493abc152a39f1dded
dc78b241718cbecaa21e6c3d43f6dadbec9225f3
6a38a685623c9b048886f8814ecf9a1bac23f685


