# isabelle_session_info

session_name: Imperative_Insertion_Sort
sources:
1a498665aecc39f15d0fe79902f40663df6e938c
2f53e1e3627801fe5d76702d4e4508e026e7c97d
cd4bc0c3c1e5d54326dc1e9dee1786ffd1cc65ca
fdb135f8c8a2843ff70df4732d84992e346dc1b3

input_heaps:
c7c621c8c679c6f81c939be460dee2fbe4c459ff
c121e04b5193f7bc8e7b1316cf00321a124849d8
5f9cfbb3ee57725a294474ac53472d061591061e
eb1cddb727362c8fdefae1a73dbf9bc706302e29


