# isabelle_session_info

session_name: IOA
sources: b62961d6493f312bd977ac58bdddf5785c2cf4bd
input_heaps:
b32ac976cdb9d7611cecd21164b5d37d166a70f2
7833fe06054d8c848d36bd9abf4e4e615831aef4
2028385119fafb7bac5001679cf939790c300aad
edc937551be5d920e6f9b07e5848545e88f129cf


