# isabelle_session_info

session_name: Lambda_Free_RPOs
sources:
147ef2da4898fd7abebef0d9c6fa4e69cfbbe650
1510cfe471334e7a74320669945e2a75245721df
1fdbedad69e7304f0c14df92e53f8429c47faaa3
51894f9317ca934bfcf752b5f6b7c756e4e5abc8
577af747421743018e6d9c79fbcbec9a1ff2305e
5f5e53ac73873d20e2adbf647127b736406425b2
73ba0ed3ea2540211a0a25d3a33ba20c0b635cce
73c669b52ed7f24685c6fd2706ca64b83cdbb042
7ad88c10101be051ee61cf64a360c055e95a3eac
b6973840ec5c79bd127f8e42932f3ad3309018bc
d8b591c052c85b1671e1d7822571568590dc3e35
fbb41d0aa9e7731b95122619e8a4b9eae61c727a

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
6e537c63d802c0bec001927b9eed65abb991ddcd
f6925d5ba347f030568cd8e7a62478e287f17a31


