# isabelle_session_info

session_name: HOL-UNITY
sources: 59a23fde8c904e1697c7305700912a47882b06fe
uuid: 7e14cb90-c053-45fb-a6f2-53905744ae41
input_heaps:
a94bec1f1afbee18cdd2d9a64da35bb88b4c4cda
5ef5c38f9ed83885f23f9268d0c06906c1a7541e
26126462967ac7bb3b6e8c2b5f5c2eb79a0bed35


