# isabelle_session_info

session_name: Imperative_Insertion_Sort
sources: d03e6c8c21ad5d4d861b548e82ac0309b18af16a
input_heaps:
3853cc710de37a8d8ae8e2ce10739760530fc782
24be91445dfd95ccebd8630650aef4cacbc92e8b
19cc2c37b59cd619e8d5c50b1c9e3eeada232480
117dea0a0d5de7c923d6a188aadc00901244e2ef


