# isabelle_session_info

session_name: Optics
sources: c51fc3f5e4943de0f6ad48c285b388623d55cf26
input_heaps:
c58d21ba3dc8b698b4c6d36f436849048b45c256
c642f89151926be6cc7824e0701f1f7d684cfe9b
c368a595824dfbf57d20886f947efad9e89d15cf


