# isabelle_session_info

session_name: Optics
sources: 581648ec7ea57936c4cd6c1644321d34a9447057
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
8b2f2f4412b70f786362201462bf6da4955f0a02
0b790b7319913fe5a3ac0dfcbde7e25b45cedc81


