# isabelle_session_info

session_name: Optics
sources: 1dda61577c3b7fe31973dfad23146e7e136230e8
input_heaps:
d3f90704504dab3f9fc94e3d143d1180eb260c4a
05a03eacc3059078cac786ce4b0187a596b54f20
54708e91574166981ef7e43a1c77f3f6adf26e50


