# isabelle_session_info

session_name: IOA
sources: bfa22ab9d166f98aab41e004097bcab9c40dfe36
input_heaps:
71694b1f2d25d2d9aeaca0f1ab390c835916ace2
24112e61b571a2bcd40de8683c354fe7120c1068
d3094641eb7d8f332c3944f194a4ff9a453bffd7


