# isabelle_session_info

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

input_heaps:
30107fd93ce37db2bdd67b83360028ac0c573143
925f367ea52555ab30ecf3c4cc0b2e6ec9edcd76
955cac15b06dca9509d7874f3fcc9889a2391d09
c94c32bde14dfddbb79f8c59e6e70930590c2922


