# isabelle_session_info

session_name: Optics
sources: 12983e7551b8b453cb4775c071ddaa3d284be920
input_heaps:
8ae0489170ffa4e9aeecb054da5126bd23bcab2b
a42132ca83816d0082ab6b716aea896bf4d99d0a
28dc11fc58070a254c45ebcd97df2655152107a1


