# isabelle_session_info

session_name: Amortized_Complexity
sources: fd82b6cac180d7cbe8ce7aeb97ddf377fe27063a
output_heap: 09bd4d01ee862228ee61cfa5d2abd6fbca45c30c
input_heaps:
96398ab8ee2f74c06c97a344c3a66be619380746
2b79a626e16e84e310d8fbaa9a7b13b173d5ae49
fbf84b3a7065bc63dafd29bc1f88aef2ad5c8b93


