# isabelle_session_info

session_name: Abstract_Soundness
sources:
60a4b5c33b59914587cd86950156e1f4dda048de
c26292328c60c4cd15ecd89b049981321e8ef8b5
d9e310d5411251e4ff41599a279517c493b62d97
db70e211d5377e36edb84abadb614a97e127648f
e7fb4bd8c7f54232acd6d87a0ca7225756ef7058

input_heaps:
0ba1ca971c8be00bf94431f0078936b10d2759a5
0ce03196a7222f6488e31156b520bc36971a656f
839b44e946d25f579f005d34bf2b01c8c50a8382
fba2c37dbd3379e22df5c79a2fffd690ee1a29f5


