# isabelle_session_info

session_name: HOL-Decision_Procs
sources: 1a64d8f0b0267cf4dfbb7749dfbaae9193d4c9ad
uuid: 7174f21d-9776-48c9-9036-c9116e0da250
input_heaps:
d67dd59f24d4648407eee957ef090d6e7353dc59
6da8ff0f6583832242a60e1b676145250cb53d21
7fb1bcbdc689c3704991b764b006bfc099d8bfbd
9d0f64d358f28b32135a64e68378ec8c0549f7e1
61cbc544507255bf3dff30da272c9e509ae619e3


