# isabelle_session_info

session_name: Optics
sources: 436cff0101ae27b6465decc88e759de7e745781b
input_heaps:
9667212091580fa4c30a7b10e6591774082fff36
af6044d1ba548f70bd68d24705f8ed6fb4aba65c
3f2042e8f8461e48ad1b0cdfcb237dbc3d8ba359


