# isabelle_session_info

session_name: Optics
sources: 33c9da972f02c5112f67457b166ce9a1a7e80eab
input_heaps:
3bce9911b38b26864d8838a93be3aef5c2b77cf0
d2df9ff441ab15caa535de40de1e228d1854fe2e
28289dd66bfafaaa37484d4853930e9c6c6cc515


