# isabelle_session_info

session_name: IOA
sources: ce52e2e6dd50476fef21d79a222fda445d3f9fec
input_heaps:
70530a60d7a1ec8e16f4035f71956f8b73a92183
a118c00bfcc49eea4ae117e80d0baf72a5a326ca
420fef7ea09220eb662598920bd108d881f4c7b0


