# isabelle_session_info

session_name: Call_Arity
sources: d426bb8eba6ae4ed1b850e790ee457c782e6db27
input_heaps:
d14ac4c995dae0e54cbb829ef0bf6514a439aa95
a39a93e97d06226422815bc6b1afb8f60b4561ad
f849d8e1608b1f535318b1a279470b8c185cd586
409e370fc8e5d2c2fe2dfd2a9c923d175b4ba427


