# isabelle_session_info

session_name: IOA
sources: ab58b9640179f47200b75fa78869325798555aac
input_heaps:
82279e0e1adf83bb56256dc19b76e613b9ff505e
63876a40702696125354f9af72dc0450e7ebf321
a400db8038ca679a023908c6767f10c2ab46d1d4


