# isabelle_session_info

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

input_heaps:
76e60ab7be570c8f37ab4fbd0cc297599bd4212e
75f08b6f45353080735e360691a96b11d33f8575
8b3f1621ad686cf3aa842ec79ad06a6f95fde427
693d3cc2d5119525d7bb1cd0f74082c774dd90f8


