# isabelle_session_info

session_name: Optics
sources: 648766fcb21a787dff6037d9a8f97017b3e11a39
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
fdfe4e61737996684170e76c942ea2a1237ad4bb
a26db18f696835c152c760b79a8a860fb87dfb13


