# isabelle_session_info

session_name: Optics
sources: 957c19327c84d5c307a08d701444529992675f43
input_heaps:
c3b947847b1e58dfe1077ffbed892968d4b16441
badb05b9f5040e431c6534bb870828cec160d71a
d99c48f1f6668b82eb6745d91e022cec54b4ef07


