# isabelle_session_info

session_name: Jordan_Hoelder
sources:
0d4ca91b60be9500c90aee83710a5c32b25701d8
130f3259e7bf9af16ca91f37ef519fdd24ce6ce3
3ca5a1675230ffb5906d79743d57561adc64f0f4
4465ccd5b4a4a9c97df21605afa11aa4252017cc
44d861add26036df82966c5f5394d6fb2cb515ff
692a5556b127524b728964d4805bbab1b30402aa
8d413ec5196fa7479220c95ac4f71bbac2b0d693
c6d33f696908642619028f80d5d7707602192bd8
d97ed4f37647af8f818171153e07865efe6a2f81
df31eafeb6bc17a0688bc45a27f55bcd8e9603c5
eea6b5711495f609a33c7f6b9d90f8a42c8f50f2
f7ad4df505eb3193ed8880c6378e0be2cba90578
fb807d5cffe5012dbfe05ad36f22ee1e60d61182

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
98dcc7bead3126f415ef5f6e3e3cd69aeb7477c1
15ee8cc912aeceed8fe042672465707952bfd409
502d441ff4e78612d9bfdcee6255c73d96f5757f


