# isabelle_session_info

session_name: Abstract_Soundness
sources: 52224bdefcdce5fd4b4217fd12d3d65a23de9f86
input_heaps:
a8e09f94ac93c6aba3fe7a329b5bc66cdfb4508b
2a3ae5bcf110c0b224d650e7eeeff12ea38a548b
692041f1b59b9a0b71dc480344ce35542929de04
937623bac2c83d6a41479af1f3140c4e9eead379


