# isabelle_session_info

session_name: Stern_Brocot
sources:
1d674607b47b0e5fddbe94207659c2ad64bba092
345733401f52a910d8dadb57e7e63432afb912ce
513effd0b9a67d2a2e9ba2830d3ad6f26b4aeb81
5a8bf46f142fabbc62d8f177806670fdb6d4c2f2
9c3bcd73f5772e14e4e0ebdefe08fc56a83e9114
b004bec88faa3c7d786fcf116279519116b87a63
b048c4c894ba192ff4495d01de6dd39d08a420aa
c2671cf74f5bf1923a33103584419cbedde498a3
cbcd70e2dff31dd7d23a91a5127d9ab3987ffe00
cca035523dddb33f6c1096c40433b20f796d9748
d419a2f7542de8b3837a1e8dc193b025a1b909b2
d4a7c808b5209d986d7d6f6b5f43b3451099554d
edb134994f175a0bc4e2c1336ad67621ac540f1d
fc7344ff3b0e3dfee6086e358daf3f162204296e

input_heaps:
8c20d9719dd3c794171052bf139f7df3bda5efd9
787d9064b94856bcceaf7fba7c00dfdb93321f07
42e138dd2055b0a1db4a1f3a058a8966ebf86487
09b65d430a7a9891a3f68f37dc3b73e82cde44f7
bab34130e14f6ad0c6cb8791944cd9640ccb9385


