# isabelle_session_info

session_name: IOA
sources: 2f8c08459a8b23dc89c7b7472fc6ee5f660d9a3d
input_heaps:
32d8b78be6fa140307baea2939db20f85a094691
8bb7d77eead14d2eb9ed37ac5bfe1ca981af69aa
1b9ebee64aa8766247f692b210f51f212481d810


