# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 32fdc7aca8a52bd1036e7ded376ef1ecfe3a2197
uuid: d9523e74-5c08-4e8e-a301-ec9c2a6036cd
input_heaps:
89c875fbbb5d9d0e7d7830b39525c64c1be448af
34b353047794b0c2d571f202ffd31b8d97313401
94f7f303608dd27309930b956962f22c22ff3ebb
70097e731790c8093f15680446addab8f80dfe04
be86ebff120f124f79f59ff30d6071e650cea340


