# isabelle_session_info

session_name: Jordan_Hoelder
sources:
0012dfd3e886640dfcf2523b5dcff829a64d5363
0d4ca91b60be9500c90aee83710a5c32b25701d8
1a7e79d45868f2511c1360a7061092c3726fe930
4465ccd5b4a4a9c97df21605afa11aa4252017cc
707f7081877423ffbac6d7d75ee7625d5f888056
776a7603b7735c5547ce2f4f9d30bce956adf76c
7e34b8dd8242e8f3e5a2c3c8043822a752a91cb2
8b3f99e8a85c8773c685eabb3fa2c5b88ab13269
8d413ec5196fa7479220c95ac4f71bbac2b0d693
b176700549ee0f4c8e3f968ae19d18603871de0f
c0e02d76b3c21f3b457fc7b084784cf6be553187
c6d33f696908642619028f80d5d7707602192bd8
cf9dfc2a8abd1e2b7e9f07c133b17c3f9f752bf4

input_heaps:
c7c621c8c679c6f81c939be460dee2fbe4c459ff
d97c8eeab5366846f6d9647d2a5501999e294803
ca57ef1b446e14ab305bac96ebb43b476d3520da
fb1813d2a93164e220d76a7f584d15ae661b1c62
36118c80d969f2490d4346bb44c5a83302b05740


