# isabelle_session_info

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

input_heaps:
d2fbbb72014e26de66d280d7be7d08deaaabe52f
8cba64bc01798dbdb9969f6de108dfc3cacddc4c
344aa01d9faa7875a66779417da64d59809f65b5
8c9408aa2d37997747536eaf5367e36f995a3b63


