# isabelle_session_info

session_name: IOA
sources: 53a7a540fef06191e4dae0f2ff532669e8b7c6a4
input_heaps:
f84da1efeb09fd4a6dddd2573e5e78b0df151cfa
98f128cc9d5b9ec281c2dbbcccad4799d2c3af76
afc6efa42f08c6a994be57a5ad7a5a315b1c4ae1


