# isabelle_session_info

session_name: Imperative_Insertion_Sort
sources:
1a498665aecc39f15d0fe79902f40663df6e938c
2f53e1e3627801fe5d76702d4e4508e026e7c97d
ec4bfbb6a63caf0ea8aa70f1b470e318f747ad33
fdb135f8c8a2843ff70df4732d84992e346dc1b3

input_heaps:
b9c0e8f4a3ec48522e3484ee292a510c958aa05f
7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
559c5c05ab7ca005d9154d67bff19314fe6152f6


