# isabelle_session_info

session_name: IOA
sources: 11f620a85fbdaec45979c95a62e54be054bccb0c
input_heaps:
202f6f92237c25fe02f241fe1e163c0a4bca399a
63f007d29bfc488e0cf2bd9362b622634a9cd39d
85071a654d3020ba1f4ae0efca4c210388cd3f07


