# isabelle_session_info

session_name: IOA
sources: a51a1314944493193dc39b7c193a25c93d39881f
input_heaps:
6ae1a84ef57c6bbf74a3f57a85a1826e7af5b405
b8ee4f468bb95a631fa62beebd399286b04c8e85
565b8b3b7841760dc327faeb581994ef1ceae832


