# isabelle_session_info

session_name: IOA
sources: c4bc9bb084f2dbc1f8b570f321d0a51bb6b33c35
input_heaps:
6ccfd83e19ef598f6e27e356293c7dd9ec0a36c7
4664eafb8b95b7e524d9955d44d27659b2d95702
ad297b04397084bf3c65fe700ac502f45b544d53


