# isabelle_session_info

session_name: HOL-Predicate_Compile_Examples
sources:
1b848f9da0182282386934d859f70e1d020b9597
21c9e9ff4c94d0ca594d62bd2479988df1eb8a05
394b65efae7cecfc6d06258af3345fb698509b6e
47ccf521d692b86b5d34aeb0b818a53e59d12d86
4def2f7b84f0f9a01cf670d5ec2f3aef4365416f
595b63ddc672ee24bd76388cb5ffca8f40993c60
73844d58172a2a11b81398626d77946c106ac6e0
804ad35961bdf5bd3c0ad9098fe65ac3687f6a88
85ce200f20f727cce47a276ac448a48ae6d51965
8a6cc2cb9afdebf36c35dd37a630fc177575ef74
9645bd2ea5b93f2fe3fee3f9093b428f3f98ab64
9d86ea4b3fe17442ac22264cfe40726b90df8aae
b75e5d52a5d6b14d76067dd58ee61d98f3900a9d
b871318bf3c78802f55b989aa0f1fe57eb88d3de
ba5363c0976693b3618fdafb7f59b7fa8655371c
e45e7c58e5bd97c893b9465199a14aea94eec982

input_heaps:
76e60ab7be570c8f37ab4fbd0cc297599bd4212e
75f08b6f45353080735e360691a96b11d33f8575
4113b3ffb31b40b1c0c2e73ef8640203db6d0ade


