# isabelle_session_info

session_name: IOA
sources: 676210e6239ca77d47a7758d9fdd9dd29e387fb5
input_heaps:
3d51ec384f4fe0110890543589008d84c8e75ee4
0172210ae3ac6aaa94a4d31e666fffe9e67224e0
7efb5bd560a097f663a2fb7cf3049a0a7b55b96c


