# isabelle_session_info

session_name: IOA
sources: c83c61d1a09383adb860b850be1b24783d44a366
input_heaps:
9884737fddd3e6081253c712523f8ecc142c72ee
a26171661ac87092335660b10885b138f2715297
d2714f6d7c1fe634acdcf2720cc6d426fb4e5242


