# isabelle_session_info

session_name: IOA-ex
sources:
5417c4356a990af3fe54324aa21baa2b9b86a203
600351b420a2a1e509c529a1cdc650c3f43945ab
64f13f5ead5c299fc21eafd0f4eb3419e8a3b86d

input_heaps:
1d303aa48c02fbfb8fe205c90ee243804756e6a6
3e7d2e5aa099435bba6e4e30f924c9df17b4a54b
418c966c45dcc7bb77effa133124dd4ac762d710
5d510562439427063eb7334aba6321efffbd3280


