# isabelle_session_info

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

input_heaps:
a24c219d933e494e1a6d3b65fc2b3b5f617ef5dc
e0509b6b5154f01bfbf9ba0bafa70119dbc01568
ddc4e850e6d209171523f5055a5ee5c04e8ff275
5c00f52a6b692d25a3855793b567d0287220e343
26f6a2b40f8df06dbd618c0c22be9db3da1d3b06


