# isabelle_session_info

session_name: HOL-Predicate_Compile_Examples
sources:
074d71791fc41bcce02855428f2b987b0ce47ecc
0be1321830139c0524de81cecc273cce72c940fa
129197de91ecc0b5f04c4f7e2eabec812709be40
145df8f9c37803f8617b806483f01af917b4a714
1b848f9da0182282386934d859f70e1d020b9597
3ccd21104c0d9ef9710678ab5c6573516d56b8fc
73844d58172a2a11b81398626d77946c106ac6e0
7e03f03808add9ec47ae9a0e57713950a2e386b4
806f6ac30087385b91928a18901b21fe875036b8
856c87f0ed564af9c21c54d70b85ed143f909977
8ed7fe787adb101e6cfbf915f9bef22cfae5b26b
8f3682085f32c09615f8a34ee9b300edaceb6dbf
a578985aa6e6cf78d71993d7049e06ce6ece141d
cf4310f59c6dbfb83c91d526ab07a9239dc5d142
da524e72b90d81067b6ecff225741796ba772606
e91b1c95baae9acc56caa774801ed907c935abeb

input_heaps:
6e5eb9b4ef3d78e2d0a5f155297d092df68a3ac4
b225b9f4c0cdb55617d75398ca0740839167e848
d0330b918c3367a4846fbd140e99e2845acc9135


