# isabelle_session_info

session_name: IOA
sources: c0b3b6caea5d77eaa84c7a179831f1022461d1fc
input_heaps:
fa217b500e43b49079262f25873831dd0a8ef4ee
4e08b3233e551cd4b2f5bc84a0c99e19e4f4e2c0
020579ad4cba1ae6a9b6e764cbf328564deafbf7


