# isabelle_session_info

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

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
2f80d3f93a8e8908ea20a991b6190f7aaeac097c
cf1f16d97467793acddbdfea0d823a4bab350303


