# isabelle_session_info

session_name: Imperative_Insertion_Sort
sources: 8595ef71ef1a86f9a1749e9e3e46dae7b8c2c50a
input_heaps:
0dc0541b39a07c11e5774461d9bd9c4bf977ffc8
70801ef29d848aa8eb383514e684c8076c0da75a
607b584e29337f48da7c2b7111a6e1bd83507c61
5d01ba61766c519c264a3139cce7dbbef1753b69


