# isabelle_session_info

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

input_heaps:
15748ff93b5834b25114edd06d2d63705d38b42a
099e6023f4ae6707d54ddd503c055c2d319dec5e
03e4eb80150aecfba50f57cc189606718d664e57


