# isabelle_session_info

session_name: HOL-ex
sources: b5bc56e258d50d934cbe10261b409db4701985d6
uuid: 97cd021d-1328-48ab-898a-834abd7b11a6
input_heaps:
ba7702c126855af99502b531f1cc5642fad9a467
255f2c506c9d955748a5ac0e37edfa82969b4ab5
44d1d1ea000e17fdf2d7a7463ffe2e37eed0523b
4b4f2600797d40d1f06d80f5b486138480c9f9b5
4e04bedd829311fd48c9735143e9a5263ed3c1c8


