# isabelle_session_info

session_name: Amortized_Complexity
sources: 8118e86f1d8d9d624f872805bc9043a3a5ccb2d5
output_heap: 8469b48c260fabee7aec781b595f9e457e9d074b
input_heaps:
ee3210dd24a02fc2532bf9b24d649a5c6880067f
50500894c9f08017630fd27f91d8231f2cc9f198
9dcadd0ee8dd62844cfd6ce52dab61c71fcfc0fa


