# isabelle_session_info

session_name: Lambda_Free_RPOs
sources:
147ef2da4898fd7abebef0d9c6fa4e69cfbbe650
1510cfe471334e7a74320669945e2a75245721df
1fdbedad69e7304f0c14df92e53f8429c47faaa3
20fcb830b82ca4396c7e8704f97b2c4ef8fe6d2b
47b7a5fe12e0a6da3789fac4e79561006dcbd253
577af747421743018e6d9c79fbcbec9a1ff2305e
5f5e53ac73873d20e2adbf647127b736406425b2
73ba0ed3ea2540211a0a25d3a33ba20c0b635cce
73c669b52ed7f24685c6fd2706ca64b83cdbb042
b6973840ec5c79bd127f8e42932f3ad3309018bc
d8b591c052c85b1671e1d7822571568590dc3e35
fbb41d0aa9e7731b95122619e8a4b9eae61c727a

input_heaps:
735820fbde580c794b275d3f360e30a6d8376dcb
f7c5cec25e7da1e133019a5ddbca98ad9c7924aa
182507163e45bbf725735e35871a5ba3be6c75e3


