# isabelle_session_info

session_name: Abstract_Soundness
sources: ba35021d37ed82e51e5b02322532775246515b26
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
9491a640ee6bf72e55d03587fe1b9576e97fef2d
1ccdc5912b9f175adfafcf9aafc9da70fbebdc19
a9455468ce55a47a55db9d3255c8da32f991ebe1


