# isabelle_session_info

session_name: Amortized_Complexity
sources: b801a7eeafbbfd2fd79cda1e60e239a2a1f9cef1
output_heap: 45eab11c5f3bcea743868bec967cf3a640d60de8
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
384240766f364b0530b95cc787b490d4a226797f
674eb2177a7a1aeb269732aebccc9887dc51fa48


