# isabelle_session_info

session_name: Imperative_Insertion_Sort
sources:
1a498665aecc39f15d0fe79902f40663df6e938c
2f53e1e3627801fe5d76702d4e4508e026e7c97d
87c8fbfa34da1c02209560ddeee799d91ab5caae
fdb135f8c8a2843ff70df4732d84992e346dc1b3

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
fda5a2c4c8b8e25d0e12a3734bc09c7b8f429edc


