# isabelle_session_info

session_name: Buildings
sources:
04baf43df6bdf2783f8db91a8751efb887afea03
0ae78654d3811c4588409ca82d7ca55c75b9a57d
659f6b9f8a6edd210c75cfe6459854afb2a35204
6eb4d96475242eb7fef3d2781f7b1fbd9e1e082b
caf874decd8cdc73658929bb8412d22228997472
cb0168a8eec1f0b77eb8dd4a44620d5a9e187aa8
e2b7f711939568ecad123a7fc3276db604a04d64
e5fe5e1a2164fdea96b2845b767eeb965d90c5e2
f1d5fb8818c75006984f2a44e42b45cafae120de

input_heaps:
0ba1ca971c8be00bf94431f0078936b10d2759a5
0ce03196a7222f6488e31156b520bc36971a656f
839b44e946d25f579f005d34bf2b01c8c50a8382


