# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 3be2e4b6e618f5a007385d090b33d86b9e0fd12a
uuid: 94e9c5e2-cba9-4304-b66a-2c65bd32699d
input_heaps:
d110a6572af0be1c73c2824ffea82a089f944503
2dac7cdd11e16d13c849935f67cef8b8fd095f4d
dbbf5715d35bbca7f0c5d9d5ebe805cdf29e79fc
77f92917320bd86fbf82d09474d645e611d34423
786cfad469b432d2a40050fc3aa7db92a9a0aaf5


