# isabelle_session_info

session_name: Call_Arity
sources: fc52769332ba3b45fda3939352d7d7aa415c021d
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
79764dc49c42e04d2f2d7022e68e8df538e9cc73
de9ff781461484f19324503b789f1b48b37a2b24
b4582a9075b13e4cca29729c8b0ae8e64a3dc2ee


