# isabelle_session_info

session_name: Abstract_Soundness
sources:
259efec838798a0b53bea76d4ead9e30ef7bff97
5d3a8ef2aec282b165ef95ffafc4f8854c3491f9
60a4b5c33b59914587cd86950156e1f4dda048de
71e524f03c2d44d663c74d8ae3d9abbc9fe41e18
c26292328c60c4cd15ecd89b049981321e8ef8b5

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
e02038ad1e9503a02a8e11b7cb457877cc454f98
5e2d9fe647698eb3de122778d18dacd4a9a66146
88f9f509d4d6bcc9d217870f3a9af9304db14807


