# isabelle_session_info

session_name: HOL-UNITY
sources: dbc3e5c2a192079a2c623c14061ff2a74686e0b6
input_heaps:
4ada9fbe83a94b62302e9fff8dd0f370817a1bea
481d4cc41d0a5b79b151d9da80c65ac5da752b1b
2bc48033db6da8f1ce7cad692ddd6bbe22ddddfb


