# isabelle_session_info

session_name: Amortized_Complexity
sources: 8f3d040b0187cb6e7a9b1f7faa1deb7385052032
output_heap: aff97dfdf98d09108aa97b340eff554b2965eb39
input_heaps:
4b4d09c9c1841a4f01c8958af89ec039a11204c4
f852689b23f90c1209b23c794bf5ab75a3b8eaf2
17d03261cfa6b3f7a3b00fc6599df4c0af151fd9


