# isabelle_session_info

session_name: Imperative_Insertion_Sort
sources: 46882c2a1b5be94bb571da31acc2e7680ad6e6f3
input_heaps:
8ae0489170ffa4e9aeecb054da5126bd23bcab2b
a42132ca83816d0082ab6b716aea896bf4d99d0a
9dcd22a721fb4d6cb69fff249fad38e4e65ea05c
fab20fc351cf6d6f858b428e7e4d15974c789ca8


