# isabelle_session_info

session_name: Lifting_Definition_Option
input_heaps: 878527395436048d51bd6287a500d1cb05dc0aeb b7f78dc5556061cc8d808a0347899300b2842457
sources:
635498f98c69487f013703ffdb9caedc0fdb832a
7fe7d57e3e198edd83a2d382ef65f4104752bd8b
8818f259d173d4e233934b3274c267c7f059cf3d
969ef410127838557c2d3ae99e0cefcf3e958300


