# isabelle_session_info

session_name: Optics
sources: aea96c6140d6e8a72618d0b460ae7c4139567222
input_heaps:
bc695fdee8824a798a8d382701fae26c53fc4747
5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77
a0876e5ee241d74ee9b3eb0005496672bf4cb89b


