# isabelle_session_info

session_name: Amortized_Complexity
output_heap: 6dbb95ac63ca35bb96529545f756e24316915a9b
sources:
072917bcf293dd7b327c5e7ab25b690b260903d3
124df266d21b67fcc7bbeed07a468c12eca5b5f0
20ba6756e03b0e109924ce99102ec608159b07e5
2b4d90602ce06c70bbff2cf56f87ec26bbe6b7c0
2fed56e63e64893cee783edbeb3c8594b2a04eaf
3ccd9fac30d1c0278637d8f8c53013263ba5e231
3d225dd585e1ec6cdb81057ec52c1e2044c90f31
40933c4229c1e1fa19b38a3e64c32ac0f2f929dc
41d32e587e4da97ee0f959ac9fec845bedebdea3
4576067943e2e83178b3cd6961f071f49c727847
5115d596d4705a1fe236b64e38d245279fe53f18
5b6f31c185b2232d8b485507de73ae0982244b4e
6c8414391afd4ffc22ced7de12a58102f51f3598
74adc48a72fa690d8f30865a32ea28baf7ef0f9e
889caf1b00a0056acc10c8272a53eb0e95b58e4b
8b761b06ddb07f4aa508a06066067bff72edb570
8ede251b4db5e4aea7a0c97caeeace95cc6f1aba
b8d0cfef3573508f31af5b427c75bbcc4b539a2c
bf481652cc7bcfa6220dfcb849f2037e4173d36a
ce48a7876f4cb6047e48fa90db8d31d7812ebe67
d34646ab15071cd2b80cf274c6184ccbe3fd3507
d8d67736611a6f0f9b1850839bbb78e951d6c1bc
f0d9098a24a228feb935cfb42867f630ce14d716
fdcd07e33d850f2e31fec2b9a936a64b6fe54da9

input_heaps:
572ffb81f80d42dc81f45d244b15c5381a012b24
e2861874690d29a1b715dff597313b9f4e7e36eb
ee5c344e484cb4571a3e30aa2acf3579a09d76f8


