# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 8f92fba34644066afb5034f0bb6cf8e6bb1b0618
uuid: 8a5b5b18-06a5-4d6b-90a4-d5529aec0d0d
input_heaps:
0801d317611e826e9cf4db1743005797fad2ead3
98042735e6ccb24a3163b6450a8c77d21c48bd86
a9348578a6d3bdcc791bc60012afe9c9048c3b9d
1cb45336aa3f0257f6e6e8e30b63d034340ae5df
1a49c2ddd8cd6e52a942c38f6142977cf2e7aafc


