# isabelle_session_info

session_name: Call_Arity
sources: 94bcf56d35387ac9d9e927e0fe03258581c11118
input_heaps:
0a2796d42ac427cc44af631a8b97f23c746aecac
d64a82a2189953e009885b82ff3fe520b1ddd159
ecbaca1f759e0af4557375e3f3e93a75220211b8
c9c9d30478737227e1dfb65aec526aadbd63e755
c4277b1ed22d8632a78b2d922569fd4ca6a2c1dd
e6968fc17181920ba147e7cdbf573ead3f3e28a7
fc3e83bdeca8ef4f0daa64fac78960d25a292fa5


