# isabelle_session_info

session_name: HOL-Quotient_Examples
sources:
083a992b80b4c23477d5874cd5f1c245ae6753a8
17120f35b11fdd87e271e089302ee0ea6f464cf7
39297e5c7830d34449d5fa08191d0595f03e831d
4a548d5b74834196920ee1df36b7e3d7145c38de
a8fc7233ad737f03c496f39ceb42a026ee006fdf
ade3ad97dd32fe559260faf9baee7f04012a7ad7
b8b83c597cae60fb14d3c013919ae29719345eb2
ba7e2e77027a67221a96d1fbc39046355a1fd1d6
cae5c54d8d20bd007a0d510d9bea71e54482f13d
dc447d8aa2e5972060d5924f038d0f40ff8977b9
dd7af1b7b0c843285320724a053ca87cda80e45d
e153b82bcdd60f4ec0e9f431f0a830cd858d5573

input_heaps:
51f2e4211bc57b80e918789840d02846789d9fb5
8906aeb92f6d23db93a287449c941fe9b2ea6224
8ec059bbc72f1731a04b463167dec54283a464b5
74f5aa1f355d9396c198c78e61005b6eaee0a31a
cb9f50537c20c7340e0c1733af9be72388f42421


