# isabelle_session_info

session_name: Abstract_Soundness
sources: 08628e15d1eda561e6d09d1ded5eaad4159bbf90
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
ad6d44f7aedb014e340bd82c93157922e7ad3f04
e01647a440eb9dc8b78c6ecc0b40ba4768051e8b


