# isabelle_session_info

session_name: Optics
sources: 163b81c3520831775c2050b253feebaa586f8ed5
input_heaps:
665af98eb5b604629a3a80f1bd6c88145ac43a21
5144ebd7f8a7159ba53f7601bdcfe133b83a40ee
2ae8edf3c2068f6dab6b5d9c4493daf675ae935f


