# isabelle_session_info

session_name: Pop_Refinement
input_heaps: d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295
sources:
01091870288c89b07c9a8196906ab1a28f5ce144
0c80d94fb1c53b8f0c0160954bdfb879eb089e18
349d5b78b9c25ad646695357a55fd50be4cc4445
4215e00a7f2c562e9cd0ce7c35b8ce508895f6c4
7ce7d0fdf02c8c654052b525989e64c818494305
bc4b5798bdf4ea30813f681d2af50b022d03e347
e6ea58e6d038ba77e87df5df5c14ed99ecf86c7e
ed118e9d957411af2976259e5705576653febef2
f396d09fe17cc04998f89362bd7930d76b4f1534


