# isabelle_session_info

session_name: IOA
sources: ec0191e01915a8bcda00579e67eec0c02ac6b1a7
input_heaps:
e0583a0ed15dcfb555474c531eb30e964565f3b0
926329a23c106a798ce76474fb0b3f351ff73480
b14cf7f123445c7addd10042dbeba9f380270aa2


