# isabelle_session_info

session_name: Optics
sources: af2cdf3a774f328d9b11994cf28a0127c7ea3845
input_heaps:
ddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2
961d7cfc19b96122dabf28304bf6dc45da32abbe
a9720f57442f498381f51dacb967e0f5ab3f7ebd


