# isabelle_session_info

session_name: IOA
sources: c82564437107996b96a1ae97a9204f5e29ebb8fc
input_heaps:
a681f6653dbc3911110a79ad31633f9a1fcd6a75
adcca596685e64fd6307a9b86c351895878559b6
ce7f3ab6ca453359f3b72edcec5dbad49bbbe913


