# isabelle_session_info

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

input_heaps:
7f2620c3106ba8cf7d1c7f769837afcff4b3cfdd
67de1e4faa6c594cac8f83698b542c3bbb933a16
938d638758d7574cadc87f2c58296f82c16554f9
a84a3992ac6607bc1a299e575d43532da61697e9


