# isabelle_session_info

session_name: IOA
sources: dfe73ddfc38c6244f44cd0bc25f52b5a8a0c06d5
input_heaps:
0467f1d8ff3c017e43c2ce0ceec1428401ab88c6
d4fa2d7e0077185d6383cc33ee482f2682000ad9
8156e7b813fe1a9f87e3419736423cbc13e00813


