# isabelle_session_info

session_name: Buildings
sources:
096e473da4989be6b01871eead77ff2491bc22ad
258ab73826ec50fd09402046cd404e9f11016365
659f6b9f8a6edd210c75cfe6459854afb2a35204
693f788e7108912dbe33b3c156986bdc8868a99c
9afef777a4762cf2f743d2e0837cbb966a9661f6
e5fe5e1a2164fdea96b2845b767eeb965d90c5e2
e9001cfac8e8e86050920163f9115060114c0bcd
eb9ae5cd54df929252b5cf7ac17206d8b80e2979
ff42de974b5929815c784f72282a14846ac8955d

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
3f36a11d8c74ccb5219961f66c2ee8539a4707a9


