# isabelle_session_info

session_name: HOL-UNITY
sources: 2c34eacb3b1ff11bb045f3d84495638a5d3af76d
input_heaps:
68fb0f718111332cca1e0038fa3bdf7dfced8e28
52b08bd0fdd203dcc6e7f24afc10bdfae8e818b6
441f7c2ebb38e48433d73fcd549902ae26904dc8


