# isabelle_session_info

session_name: Pop_Refinement
input_heaps: 0ba1ca971c8be00bf94431f0078936b10d2759a5 0ce03196a7222f6488e31156b520bc36971a656f
sources:
01091870288c89b07c9a8196906ab1a28f5ce144
0c80d94fb1c53b8f0c0160954bdfb879eb089e18
2d2a991981462407022e9fa67eaf8a93345ed7b6
4215e00a7f2c562e9cd0ce7c35b8ce508895f6c4
7ce7d0fdf02c8c654052b525989e64c818494305
bc4b5798bdf4ea30813f681d2af50b022d03e347
e6ea58e6d038ba77e87df5df5c14ed99ecf86c7e
ed118e9d957411af2976259e5705576653febef2
f396d09fe17cc04998f89362bd7930d76b4f1534


