# isabelle_session_info

session_name: Amortized_Complexity
sources: 8f25db9e615aee9ea1ba1601c41682660a72256b
output_heap: 9b8cd3e9f36c48b06fbbdbacb3d4e7d9acc968c6
input_heaps:
a1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540
913957767197f7ae8858d375e22f8b0e424144a3
a9fdffd633f8437f7cc705ac0a290ba020d4f213


