# isabelle_session_info

session_name: Amortized_Complexity
output_heap: 9d392f05b4c73b85a4957e5836a858c8fc397e4e
sources:
053fad0b7be696ce0c37734fd73c097b31c236f0
072917bcf293dd7b327c5e7ab25b690b260903d3
0abbe8b0df707ea465983e06a13e644cba180d5e
124df266d21b67fcc7bbeed07a468c12eca5b5f0
1d1582529d6f978e0c0ace86e16b5a41107a123b
20af5940c34a77c294cf57cb3f0a177f484f1d8d
20ba6756e03b0e109924ce99102ec608159b07e5
2fed56e63e64893cee783edbeb3c8594b2a04eaf
35106a4d24b8c99a8b77234c99085d62a0ad1e85
3ccd9fac30d1c0278637d8f8c53013263ba5e231
3d225dd585e1ec6cdb81057ec52c1e2044c90f31
40933c4229c1e1fa19b38a3e64c32ac0f2f929dc
41d32e587e4da97ee0f959ac9fec845bedebdea3
4577832c59a30424f8d0ac74058af5d372581bc8
5115d596d4705a1fe236b64e38d245279fe53f18
5b6f31c185b2232d8b485507de73ae0982244b4e
6b4f0c25fdcbe525599ab7442e9b1a84bdfa41b7
7ea3e05a8f3ab2b80d8a8612a361d715c60d53de
b031080652010e727c14b4ad323de85d7829d4c5
b8d0cfef3573508f31af5b427c75bbcc4b539a2c
d34646ab15071cd2b80cf274c6184ccbe3fd3507
d84bbd8fee625c6b6a5d1fb74985ca28d566399d
f0d9098a24a228feb935cfb42867f630ce14d716
f4f14f1c2e8055d14d9d44368f0d53e3945c2c1b

input_heaps:
e4688efe0911f3c4685119d2413b25847e9bdff2
e62d7733884c28c7fb0a292b7be70c4f22bfd1a3
e6f699f9602302a36e4385981d2a9148d31678b2


