# isabelle_session_info

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

input_heaps:
735820fbde580c794b275d3f360e30a6d8376dcb
f7c5cec25e7da1e133019a5ddbca98ad9c7924aa
182507163e45bbf725735e35871a5ba3be6c75e3
c792037e3d0f7486f079b5d2eeeeb761cbe56f95
0051ea09776582b9410b18e4da0feb402522d186


