# isabelle_session_info

session_name: Imperative_Insertion_Sort
sources: 012b81aa983e97bc3a7573e44e22e5d30d37c529
input_heaps:
02339f27a0d9de61901914e2709fdac8350d3cd8
7fb9b098cdf9ef9042e54a79f154a8576f8ad951
e18eab774fca0e276fd5ccc2347f5041793d975b
5e22dcce78dd936465fb7176b59120c0547b568a


