# isabelle_session_info

session_name: Optics
sources: f527f2c92561a2fadb0a487b4efda421bce3542b
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
c799208d0f1fb2fbfebbbe6c600eb5411370bca6
033da4e6a7837362815176daae35122ccf8c542e


