# isabelle_session_info

session_name: IOA
sources: 22cef04dc0387c4874ebca7cbbb56dc239ab0717
input_heaps:
c94af6ee79bf584a92bbeda27625eb7fb4c27abc
541a859f017a0c4bc5dc76659ed8f8efab41527e
657d123c1f8a43789784872db24378f32ab11974


