# isabelle_session_info

session_name: Lambda_Free_KBOs
sources:
06449ffa42e3ad9928207f59223e44cf25b2ee37
0fba804d67c28bcd7ee026f11ca5863180994c97
1795c366c215fa2dc227907a5140cc2fde9d91b5
19e2cf0910b7071efb7af8472164cf296f5e5ce5
1fdbedad69e7304f0c14df92e53f8429c47faaa3
2369b4255a3b104ec1be54a921fb8ae8a6c95b8e
2574f6f8f6502220b8f0332433d4dc9bc3cbaa87
2668664a4d6ebfa0a1a122ac595e6b00afaa2b3f
294e19247048f958d94b753b7cf1d34d192cbc60
35dfcfde6ce24156adc1c6f4c7b0d671ecbba660
3d085b2f15013ab9cdd8983b82002e5b7e45d759
3f397fe13f79f49519626b00201b8a6d2d263070
46c6cffbc7585f1c0b12b05347257f754b1221ed
474dcb8309152e0c65fc926b6b25bdfbb0cae97d
577af747421743018e6d9c79fbcbec9a1ff2305e
57d832db0aea24c58f93e26834b9d0b95d5f2f1a
6b3f34b31437c70042e95bdd0a1d13e4c08cf201
73182e10856c891f435f0cfadbde98444ba98426
81de4762b4e143259c5d9fb6b097811906b676c1
824ffdd9ada10c2f424ff25f9c7b62a127a40fd5
a1654e7765c3a6679b8ef464a682ce01f2626112
ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82
ba6c898d6436060f3a6b16797d5c5e9f8aceb483
e36bc39653308549aead6315ea719ef06a4e60d3
e69e5ad2ec0f268ba8bcbe4189e7dd06cfc1ddc4
fbb41d0aa9e7731b95122619e8a4b9eae61c727a

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
e02038ad1e9503a02a8e11b7cb457877cc454f98
5360b8dbccbbd1494d9501fdd712d523a9dacec7
dbe5be62578a30fa0b322a892484a16919a8ab1a


