# isabelle_session_info

session_name: HOL-Imperative_HOL
sources: 5c4292c4ee28e49c9cc5256f8c7ecd04fd8e5c9d
input_heaps:
3b2e508b2aff2188633a82560156c897030a4024
d978af76c1573e6af7cd36158fcce388a4145b80
94cebb575091070c67b7e956f656be629ac72f02


