# isabelle_session_info

session_name: Lambda_Free_KBOs
sources:
06449ffa42e3ad9928207f59223e44cf25b2ee37
1510cfe471334e7a74320669945e2a75245721df
1795c366c215fa2dc227907a5140cc2fde9d91b5
19e2cf0910b7071efb7af8472164cf296f5e5ce5
1fdbedad69e7304f0c14df92e53f8429c47faaa3
2574f6f8f6502220b8f0332433d4dc9bc3cbaa87
2668664a4d6ebfa0a1a122ac595e6b00afaa2b3f
2de0675510f6d8c33742f6dcb05face6d5a5858d
3216b3b9331d73ebb4839533719e9fbbeb9e9e5b
474dcb8309152e0c65fc926b6b25bdfbb0cae97d
489cc83115622e6abec1120f6a9cb06376b51e20
52b0aace9d7980c050fa4e0a384a785c607e5f31
577af747421743018e6d9c79fbcbec9a1ff2305e
57d832db0aea24c58f93e26834b9d0b95d5f2f1a
73c669b52ed7f24685c6fd2706ca64b83cdbb042
81de4762b4e143259c5d9fb6b097811906b676c1
87c940b52909a60807a7fe1fff397bafe6a6ce18
97b061e676e9173b1eac47f01f3b6bf0c7fa76ea
ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82
ba6c898d6436060f3a6b16797d5c5e9f8aceb483
bd8a10d8b8af91647ad6b8199ad78d256018edf2
cf171b31dc6c8d6ec0168fd10e9dd40fbed2ee25
d8b591c052c85b1671e1d7822571568590dc3e35
da3625c486bc4ddfa116a52656ec4663d0f6bc7c
f8a2a5f8ea055089153d516e7ad53e604cfd7bd9
fbb41d0aa9e7731b95122619e8a4b9eae61c727a

input_heaps:
8c20d9719dd3c794171052bf139f7df3bda5efd9
787d9064b94856bcceaf7fba7c00dfdb93321f07
f8f06c444326fc3ae235191bf6b562a37b02e77f
0dba9eeed765daac7d250be532cac6eb427d50d8


