# isabelle_session_info

session_name: Lambda_Free_RPOs
sources:
0fba804d67c28bcd7ee026f11ca5863180994c97
147ef2da4898fd7abebef0d9c6fa4e69cfbbe650
1fdbedad69e7304f0c14df92e53f8429c47faaa3
47b7a5fe12e0a6da3789fac4e79561006dcbd253
577af747421743018e6d9c79fbcbec9a1ff2305e
5f5e53ac73873d20e2adbf647127b736406425b2
6f2338f3bbd7d219aac21fda0eebf4f14e394af6
73ba0ed3ea2540211a0a25d3a33ba20c0b635cce
a1654e7765c3a6679b8ef464a682ce01f2626112
b6973840ec5c79bd127f8e42932f3ad3309018bc
e69e5ad2ec0f268ba8bcbe4189e7dd06cfc1ddc4
fbb41d0aa9e7731b95122619e8a4b9eae61c727a

input_heaps:
238e7eeb3573fe8b8e9bb4deac28a0f3388ff51b
5945815fc19e2396c5725d8d6cd70bbf961a3d4c
e9c1612e4bcc9a8b73f0a6e41bd7530da84b0eef


