# isabelle_session_info

session_name: Optics
sources: 4df77d19a70e972cb4eefd8f3a088215cf25df7f
input_heaps:
9cd33e2f2669d2e2ef0833012528b204015b12df
e5cff2820287d96832c0244f64103884811e226d
c4c76a1abe6c7064d5d8b15caca4f0a1d5ec3448


