# isabelle_session_info

session_name: HOL-Imperative_HOL
sources: 1e94680703ad1d5bbbc20402a544ef611655d5db
output_heap: 53d8647b29d79356afb1b929a5633f17f0c29a00
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef
8e20ce849646d33245e5b8e0a39681f1fa96c617


