# isabelle_session_info

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

input_heaps:
b929b071054eb456b649c3f4354ed9c263c1f058
00d645e463fe00899e6b9c0c95c2fa28a383e8a6
7de3f3d6d44d6180fabb42e264a851c635984faa
6de72a6e77a651fcbd9680885a919350490714c4
d52f2d868cfc33c5dcfaa14c62e6cb06d41f4b8e


