# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 6beaff04479752d2f61dd4099048fb4f334503d3
uuid: bc9711e0-5639-408b-8384-7ac37b47f388
input_heaps:
5a3d596cb142bc9ec2bbea424b46d595ada8722a
3241c15793168d7f0f42cba193ff3c1c8c4e074a
b3d617fcb6a58181993d1fdc0a209a9d55e68274
d8dfb31d45de1c8ba67118c2a6e62c1740809022
585da04ff6299295fa794d623181322b5d87c522


