# isabelle_session_info

session_name: IOA
sources: 487056d440d8fe84f2715dc11ccaa1d4e3ae99ed
input_heaps:
232733c8a37afc91239d3bfd839a69a07c1cc6b3
c5bed75ffb5cf403edad3c8be487e376297b6311
4de0381931e41476c25101a3838a1e6f96dab80d


