# isabelle_session_info

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

input_heaps:
7df075489bbe200b6262e37edcd5270d19378d2e
9bfbf87d82e3125a825023e51521c6c0733cbb56
5c50fff35e48300ff10062e832c26a132060085f


