# isabelle_session_info

session_name: Imperative_Insertion_Sort
sources:
1a498665aecc39f15d0fe79902f40663df6e938c
2f53e1e3627801fe5d76702d4e4508e026e7c97d
cd4bc0c3c1e5d54326dc1e9dee1786ffd1cc65ca
fdb135f8c8a2843ff70df4732d84992e346dc1b3

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
fd75a6d445e5afaec4d07c698e0e0aad8327d77d
df6f77d3cba6fb825ee5fd35d1c789d872ff9d4b
99aa5d539e037ee20eb5f6b9440a76928666d2d2


