# isabelle_session_info

session_name: HOL-Decision_Procs
sources: ed5e966abd056338e4fba220987b8c1e367aa76d
uuid: 17bf5d0c-d2fb-4ddc-b1a6-2ba48495eb75
input_heaps:
bf176a74a4593f4606195faad0fee6e7154ab4f8
647081ba81acf75d1ab12a3a72156ea7da74c66b
a3cac9d617e00a3aeb96c5476a40808551b632c8
877b76ee1c00d3248b855bdbc8eb4a20cf1a68b8
ce2312fa457e3cc047f0670300f1a037c093dcdb


