# isabelle_session_info

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

input_heaps:
554fc66833c1e501a5e5c7ff24471873df0a1f56
d155c2ed07829a15fa84f92865e4197c8a5f1ee1
2b469e38ab065480632e9b5b8f44c208e16cab8a
a52cca36c501e454ac8d14ffec7d171d1797787a
93abc91c039f52f86271cad82c5783c5cc5df1d2


