# isabelle_session_info

session_name: Regular-Sets
output_heap: ff59f64ba054c3cf76382cdb70b491ddd2442f48
sources:
06449ffa42e3ad9928207f59223e44cf25b2ee37
08b39a2bdb89b8319778d00fb4fcc7a3c6e99eed
30a1bc059e0e0e6e5c1deba4757bf160c8a590ba
52b0aace9d7980c050fa4e0a384a785c607e5f31
7a22667c57f746b278085651b8428b2a3e2519ea
81de4762b4e143259c5d9fb6b097811906b676c1
851ad684207c6c6f68ee9f2b6b0683326d8eb4c2
97b061e676e9173b1eac47f01f3b6bf0c7fa76ea
ad8bcedf54dabbe9711293e7a3e27bcfa6b14d82
cf171b31dc6c8d6ec0168fd10e9dd40fbed2ee25
d3fb91c47fc3112ac31920e45c2b8b27c21094bf
efc268ab2b9e37dea06f9f97a5a2ce0798e38505
f8ae4e18b2d69bdd045bfb9aaf2967c6c988fede

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
3f36a11d8c74ccb5219961f66c2ee8539a4707a9


