# isabelle_session_info

session_name: Call_Arity
sources: d213a6a961c65976f9a212638c962d521aa80eac
input_heaps:
31f92072f849172c668aadca4c36428f18253840
bb6d91cc82c83410f56f890ddd921ae98427d5a5
bb1a20c0dc9f2da534e49fce46b84388fb295b4b
a9c2d882790b466d6b2270043fe72593c070549a


