# isabelle_session_info

session_name: Abstract_Soundness
sources:
60a4b5c33b59914587cd86950156e1f4dda048de
c26292328c60c4cd15ecd89b049981321e8ef8b5
d9e310d5411251e4ff41599a279517c493b62d97
db70e211d5377e36edb84abadb614a97e127648f
e7fb4bd8c7f54232acd6d87a0ca7225756ef7058

input_heaps:
07addc2441fed9b50c84968593d4ab6a353bb724
8db62e28615d4e139a28fa3d5b23cc3a3410b988
2c8670420f1e217147d01cec9bd2eec9fdce3aa3
a804cf660c6f3090b86485b13389b94b4a111e92


