# isabelle_session_info

session_name: IOA
sources: 4fa7142e238943157cc6999cbf2845243a294bba
input_heaps:
7a26b1aa42c8d55e21b9ca6ce6209bf2a039bcd8
9a9151510da7705615e394657256d5aac04f0cee
2a2f120ecc1260daa5661ded863bc60f21c4ce41


