# isabelle_session_info

session_name: Call_Arity
sources: 054afbf6c8f048b4307d517e6ced2805c4ad9a4d
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef
ae1264fadafb781b758c2a75f667cc392a6d572a
da9ea80eb04620e316028085105a48669bec2840


