# isabelle_session_info

session_name: Amortized_Complexity
sources: 7239ad35b25e7e1aeca143205d176d8275b58b06
output_heap: 49c7f9a18c605d7c7ee4ec8ba381ab0c8284cf64
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
3a4e921837e7e81c84e3eeedbf2fa8cd3538b9ef
8e20ce849646d33245e5b8e0a39681f1fa96c617


