# isabelle_session_info

session_name: IOA
sources: e48315265101d16d2874424e86fc6e6fda5f261c
input_heaps:
95c43f5c6a1a4c9b387d257d0ce0e9e4c84b7546
d01107edcd6213a1a6600255da677abaa24a1f97
e4c73c9b7b301454f878ee313336861a06abb54c


