# isabelle_session_info

session_name: Imperative_Insertion_Sort
sources:
1a498665aecc39f15d0fe79902f40663df6e938c
2f53e1e3627801fe5d76702d4e4508e026e7c97d
cd4bc0c3c1e5d54326dc1e9dee1786ffd1cc65ca
fdb135f8c8a2843ff70df4732d84992e346dc1b3

input_heaps:
0ba1ca971c8be00bf94431f0078936b10d2759a5
0ce03196a7222f6488e31156b520bc36971a656f
839b44e946d25f579f005d34bf2b01c8c50a8382
5af5019628dd28f4ddd9eb78b56d12d9292def11


