# isabelle_session_info

session_name: HOL-Decision_Procs
sources: db0fe0d23ed687f9d662bd668a09bc0fd9457d09
uuid: 45bb9451-1a2e-430f-8c5b-9bfee6c8df28
input_heaps:
2119b738295b3991bc32a3d3086303360a58bfb8
16702f1d30a940ae0cc49cac75ef4dde0902bf60
66d209fd0192158045176f759b5bf813e284589b
08554f06c802c2e23c668f6831ce5f29bec43d1f
b78f302cd55d0647e2a5c5763e2d6f56a99ba48b


