# isabelle_session_info

session_name: Imperative_Insertion_Sort
sources:
1a498665aecc39f15d0fe79902f40663df6e938c
2f53e1e3627801fe5d76702d4e4508e026e7c97d
cd4bc0c3c1e5d54326dc1e9dee1786ffd1cc65ca
fdb135f8c8a2843ff70df4732d84992e346dc1b3

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
5d7bb405983f91dc88fd3b9e15d11dfc028ed8eb
d8625272701e7304f76db642b7fb0e61f9b07c0f
5357eaa5dc07b2623653240836722f985b552e66


