# isabelle_session_info

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

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
b7f78dc5556061cc8d808a0347899300b2842457
770b0724ec92a2fa88f83a40381de2b0000fc1ad


