# isabelle_session_info

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

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
76cc7bc16bacff3c41d173310297a26a15be33c9
0b0f6ffbe0f4770f3b2c25543ff441b61f7ff567
b62b082da1d764e713f5960b70e1b522ba49b147
49864562e8e54cd291c48e947679592174f2f35d


