# isabelle_session_info

session_name: Call_Arity
sources: 8816c56b0588ce02f4223e458107be4406871f19
input_heaps:
6b223331e017a1273774b77ffd0c2fd583138aba
fdfe4e61737996684170e76c942ea2a1237ad4bb
a1d2d38f36069b34ce99a172c87f070ff7d8bfde
16cdf0dbfc871c74fd1e0910ecd528d67641642d


