# isabelle_session_info

session_name: IOA
sources: fb71d0b5cb3eefce9846729fa25f24d7ba68a619
input_heaps:
3cff46c99bdc77cb69279060f2c6ce1d34c65856
81d7082226527c0f9590bf1b77046bb4db419c84
2e4e89073c5f091031b8454d4abbea29abc3ed51


