# isabelle_session_info

session_name: IOA
sources: 3142b70c3d014bbfb4f8039833077c2783e9e0c6
input_heaps:
3edda0fb92271fc3d98db9fd8ef354f0e0f0aa1f
9b5239179dcfac295bcf1cf11d762d8b0e6bc3e3
7fbce7ea5c1fcfd9e8143dfa539a64b4727463ab


