# isabelle_session_info

session_name: IOA
sources: e820b29ae291ff4d2dc58285a6380e215413355a
input_heaps:
68fb0f718111332cca1e0038fa3bdf7dfced8e28
52b08bd0fdd203dcc6e7f24afc10bdfae8e818b6
2db17f8a57c626b75789d9e09a4d1ffa2d26fe30


