# isabelle_session_info

session_name: IOA-ex
sources: 9d50e63ea50507496b54753a971f3b932e1fd42d
input_heaps:
d50d23da2fba2fa66eac370561c930ef78815f64
42ad9fe34f8eb64ea2663c9e76a55f6c21a58507
f3c0eb87b6ea50244ffd6e2056021450d8313ef5
51b5f1b9721d5d25a46ad06a9690a393347e0cc6


