# isabelle_session_info

session_name: HOL-Quotient_Examples
sources:
0c02ceead20f10236d7275425ef59dfbc5021710
1ffa3922d6eff210af683fc33aa94d0c260d1ef6
2ac2d57d8ce78f5f7020ac9174a199a34ac05b3b
3810a6e744a84157c42cef25038534029d44d217
39297e5c7830d34449d5fa08191d0595f03e831d
4cf352cd98732623ad1f0dc3ce3d74cc56fecfaf
7974b88d00ad9d146364b2a6781be58b43f4d718
81f0ae14ebd332056fe82d2234917c256afc8014
8aefc9b67109956542535e583bb6b75d0af7dac3
92e3d754b9ffcc3c8f74f6c22e2f9c739417f39c
9f68e56d4f9f5484ac8659663756adff835460a1
a0475587c952fcf32d1c7717bed301b52c8c919e
ade3ad97dd32fe559260faf9baee7f04012a7ad7
b8b83c597cae60fb14d3c013919ae29719345eb2
dc447d8aa2e5972060d5924f038d0f40ff8977b9
ddcded323c05e1628043812d5510ddc7f789e01e
ffc84c1be563c401109cd08cba36147d94a4a62c

input_heaps:
d38e002fb81c6e684e22dfb9a00446f1cfd993cd
c88cfa7fe983b8b87f38950dd0874ef6a0f062a5
e24109e0d9c7cf3926160913997f98ae050cec83


