# isabelle_session_info

session_name: IOA
sources: e8c9cf19d1a9aca91c7a6cbfab18ce28c0eaf573
input_heaps:
bbfa36403cf9764db93df21a36477abcced74de8
08d053295dd87951969cb4a9512b84a47f7a7d60
9266b57d3891c724b4419e827344bbcaefb75474


