# isabelle_session_info

session_name: IOA
sources: 53a7a540fef06191e4dae0f2ff532669e8b7c6a4
input_heaps:
cc6d6598ca48f4c3791a98b19dd5cf828358a33f
c32e3c801900c6f94f6ade7ad7b143a3950847be
b21468bb86aab4e4226c91b87cb0204087508609


