# isabelle_session_info

session_name: Lifting_Definition_Option
input_heaps: 9711977f48cd7397b3b03ce4fb09271962469dfd 41ca8b1ef880b2caab86f2e624d077e228a12ed4
sources:
635498f98c69487f013703ffdb9caedc0fdb832a
7fe7d57e3e198edd83a2d382ef65f4104752bd8b
8818f259d173d4e233934b3274c267c7f059cf3d
b0e51eab0c8d3dbf8b27d2a9502223abea2ab39d


