# isabelle_session_info

session_name: IOA
sources: 2908ac53c368e9d6a72d09f7be3825a18870b609
output_heap: 2447c9069107da3aa1cc2e2cf161fc4a3ca128d8
input_heaps:
82ea62db878002abe1f561b243b2cfa9fc698016
3eb7c68d6e834ba5513637798ddd089d7ebc1253
f29285890d90514961930a02852b651abc8dc0c5


