# isabelle_session_info

session_name: IOA
sources: 89dbb83fff827ad5b1879f0f2b036ee426ef1451
input_heaps:
37873e0061f17d13c4a85581673448df5586ab38
676afdd0f22cd3ad42a2bd84ac613e2d29a5a368
97099aa6aef5dcae8af234dcda62b4c419815d07


