# isabelle_session_info

session_name: IOA
sources: 2371c37aaea22008874d970b26143cc3ac963705
input_heaps:
fa37635535c1a91559f94a7dc9acf81e08caa63c
108107ba6152a8567743bcd769d1dd970013adfa
199aa39ebafa1191e1ea511048bc62894dbee8c4


