# isabelle_session_info

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

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
74347d6b35213cade348daff365b338f4a554a12


