# isabelle_session_info

session_name: Optics
sources: 4ca75b372b6ebb29356ac82929b583a1333cde84
input_heaps:
13f786b8f4762c1203e3da5c15d634b6876ecf36
7ac514d3394501c5bf6707600eeac5a1d30a5454
a106ea7d1ad85c23d00fef23382e474a50a8cf56


