# isabelle_session_info

session_name: Imperative_Insertion_Sort
sources: 7f5a7a6616d24faa90062b645da5efde74895c2b
input_heaps:
96398ab8ee2f74c06c97a344c3a66be619380746
2b79a626e16e84e310d8fbaa9a7b13b173d5ae49
42740477fa4630bacd353b011e2f21e5eed18882


