# isabelle_session_info

session_name: Imperative_Insertion_Sort
sources:
1a498665aecc39f15d0fe79902f40663df6e938c
2f53e1e3627801fe5d76702d4e4508e026e7c97d
cd4bc0c3c1e5d54326dc1e9dee1786ffd1cc65ca
fdb135f8c8a2843ff70df4732d84992e346dc1b3

input_heaps:
03f2cc36b4a4f77618b1b338c8aa62714b840e80
cc27eb456075510284f02feef1118c21e49edbad
3548de0143411ed5dfd3be9ae84237144e952998
e091dd6e2a4cdfe2d26ae00f69dca16ed1f3e5d3


