# isabelle_session_info

session_name: HOL-UNITY
sources: 84c88a865b9ed010689e8fb604a591d8b74ce4b7
input_heaps:
d6896dca4550f3d580bd8085f0ec522b3c80ed4a
572a934a0a010bb60ece895ee276078cbc430847
3f65ac76dacb428dcc981467c65c4c72c6b40377


