# isabelle_session_info

session_name: IOA
sources: 19bee6c69e02cdfd45a0f2f04f6b06b9460963ca
input_heaps:
5d5fbfd4ed5fbb1ecf13b49403bac52f32b6abc4
120f0435dcd7ab89f555f527fed2a2195d4e18c3
a7ea61291ef348376e3b331192faa384521beb67


