# isabelle_session_info

session_name: HOL-UNITY
sources: 2ba15dd2c59a652cee51f222a2c858b0fc0055de
input_heaps:
1260d472a45eb144f018c964d5a46fcfd50ab761
d093571a70fa6dacd44ea77b7d4dcc20182b1a1c
5e8378de308c4bad848b5046e3860bfea9bf60ba


