# isabelle_session_info

session_name: IOA
sources: 504444eec2e27aa396b601532c75339607ffdcb7
input_heaps:
6c234964d2ce00acad8abea2736235d9c47e1057
c6a0496d6f02ca7c0f07a3d8e8e0eee63df5f538
9e9c83c93ce86dfbed668c40375290e213b44d49


