# isabelle_session_info

session_name: Amortized_Complexity
output_heap: 340d694d9bfe3fca64a5c6340d091a235294ff11
sources:
07138baf69c97a10e843e7b858da1da88e26a45a
0ef5712b0a743472ed02b34b4a8c46a05fc91dc2
124df266d21b67fcc7bbeed07a468c12eca5b5f0
1723a76e7efef6cfd83f51f0e868953f40807455
17b9a1585aef604e28786415ac55e6599bc1f806
1ab6971e7e4d18f36a58ff20313508c6cfa39c8a
20af5940c34a77c294cf57cb3f0a177f484f1d8d
20ba6756e03b0e109924ce99102ec608159b07e5
21583ac935f3a9f4f0619df85b04f1cb296c3252
2532b2a0f8c66f120dfd1518c65445a542a35a1b
2f49a5e95a6a1245cc174d0e9e127b870dba15a7
35106a4d24b8c99a8b77234c99085d62a0ad1e85
382fe9263409d98303380e4f29ec5bb2616e1f93
3ccd9fac30d1c0278637d8f8c53013263ba5e231
3d225dd585e1ec6cdb81057ec52c1e2044c90f31
3f7eec859396ffeea85b3d809d324ba3a0c2136e
5b6f31c185b2232d8b485507de73ae0982244b4e
86f6c42be159badf7e310c837221317e574f6d5b
8a5ddd928243c3cfe7d74fae59255647ca4bb870
9a5f18dab761b5f598b5fef1b7e6f956fdf59b27
9ad49c6d7adf0a95009fbfa9172256ff4f4f641b
a61d7337a17b3dacc7a76754f82857fbd162a58d
b8d0cfef3573508f31af5b427c75bbcc4b539a2c
b954dc13e70b5ab49454fcc05ad1963274cceb31
bb3e81478cfb915ceabbc2e26ee063eb202209ae
ed3710f39610adde0748ee8f641fbb4ecd7a1f4b
f0d9098a24a228feb935cfb42867f630ce14d716
f1d61d4e1cba460d51e9e3a369526398415eaed0
f893574e5def72295d50d1a3beb30634576a549a
f9bb3b64699063da2f93690787acd50bcee9aa82

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1


