# isabelle_session_info

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

input_heaps:
af88367ca9b3fb3a97f9aaff95cfe0de63826391
d09c4617cec10cb00bc8d7cd1f6f6fb4efd56ec5
e1a5782127a6d8dcf34ecf1e7d08e32eddd0d8a1
aab1615135a12f1b8229056d69d08e864cbed7fd
7e9cb8cf53774bbce0429a7eef379a3003a9a9b9


