# isabelle_session_info

session_name: Imperative_Insertion_Sort
sources: 35d6dc1b8069f959f7f6593f0c6008d54a8d9e3f
input_heaps:
4b079fe610649cd37f98f05ad7c20586ef43ee64
74523ca0166e9eb6415b2be2253b4d5ef2f75bfe
fab5cf0ed3b44cd23221297c13246c963f9cd60f


