# isabelle_session_info

session_name: MonoBoolTranAlgebra
sources:
042fecc5c9e40618c8538c5dc0a2d8c3dddd38d8
0551148f3ef882e8fc315ed5fe55e4288c14e42d
72e9d2c102586c27517df7fa6558aa91fb3a1df9
af4aac2755d20e3b96287a0c09947ca8ebfd5e0d
d059e620aa6ac9520de49e5c8cc45d50a113721b
f4d333d5486320d9645066cfd4becbb8fac84a73
fb8433826f1694718a1755d0eff1ea067836d684

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
267903774b2eb9590fe3c0457e60e678a3a73ace


