# isabelle_session_info

session_name: Amortized_Complexity
sources: 0b43acad111cd9c353f0133b481bfefa22f678c6
output_heap: e7a75eb43308ed99a210c3e32c8b711df5e15734
input_heaps:
e3d3de0c105787f07c71be3f3e76dafbe7c86cef
26af89b7d57c7a15a989446f8ee1ff99d4928d87
37a5e7d87b1de36723bc2e935ab779ac8831a48d


