# isabelle_session_info

session_name: IOA
sources: 950575f2ef4d53746def83271a8b08d12e3b8b99
input_heaps:
11feaa6b69b3c952139da2ec72ac31efea97e58a
8b9e2980a54ebcafdd93dd57be4b4135e57e3a72
b6798e1ff00c05df59245f5521a3a675f25a6fe2


