# isabelle_session_info

session_name: IOA
sources: 3423cf3a12e464f0481a967b2257e3498af5759e
input_heaps:
13c804e8da8a74f383295a6bfe0c4311b16f8b3d
3638ddca034a61397c1cb22b68500e71420bb98c
ac9d59f1531aa737383c8326f9dd17bca207a17a


