# isabelle_session_info

session_name: Imperative_Insertion_Sort
sources: 32f8449985ab11396bad9b3fc410d32ba0c0cb9c
input_heaps:
e003033e0a1df248159cfae37f3521344e99dff4
bd9d5b59f62cee787b745a18e37ce78675bf828e
51bca5798766ae8b6082d8e3253d02652fec4031
4a043b38137325cf0e35410d58fcc75d85a45bf5


