# isabelle_session_info

session_name: Optics
sources: 735f40387b88c2603e391aca28c4497c48421ca1
input_heaps:
4adc5a97dc9dd2ec807ce476868ed35b984f32fa
a910a225eb72423ba846a1a2a2015494a7f8dff4
3669414ffa1a4c8b787af5f97e0eeee0d2e23f50


