# isabelle_session_info

session_name: HOL-Quotient_Examples
input_heaps: 3eeccd96a44dd580d8c7ef1905f2c611132cc467 3f1ac9189c06e8d1c001a280d6dde4fe7d39e247
sources:
0c02ceead20f10236d7275425ef59dfbc5021710
1bc701f8eb6474e542db12a6b783a92904024b2b
1ffa3922d6eff210af683fc33aa94d0c260d1ef6
2ac2d57d8ce78f5f7020ac9174a199a34ac05b3b
34221437a109a5594ba7786476b5abb5979a2647
3810a6e744a84157c42cef25038534029d44d217
39297e5c7830d34449d5fa08191d0595f03e831d
4cf352cd98732623ad1f0dc3ce3d74cc56fecfaf
5115babcf82b51329a1890394e7d219241d1cfc9
5f3249c9a2080df051ec979e03e69f7b6c37b568
6a1b07b082500f00f6c3b1326fbbeedb536bae44
6c43dc1807067fd1556a920fec01e05b0231907a
7974b88d00ad9d146364b2a6781be58b43f4d718
81f0ae14ebd332056fe82d2234917c256afc8014
82fce86746f9061205d625fb926c1da3b71e3bc1
8aefc9b67109956542535e583bb6b75d0af7dac3
92e3d754b9ffcc3c8f74f6c22e2f9c739417f39c
99b7028eb5c82e14711845a2a2d7ec04a8bac2a7
9f68e56d4f9f5484ac8659663756adff835460a1
ade3ad97dd32fe559260faf9baee7f04012a7ad7
b5070ec08ee2acd5d10039e298f5e5cd8284bc62
b8b83c597cae60fb14d3c013919ae29719345eb2
cc49f191a1330d1b26b2caf92f0c6cf8b98224cf
d590558ac27bd56791168a8179e1e46d592628cd
dc447d8aa2e5972060d5924f038d0f40ff8977b9
ddcded323c05e1628043812d5510ddc7f789e01e
e3c438bd503158372dc2be23c689a43bfe275b03
ea2803e6ad062cad8ab0bf6f40be7356c48a14ad
ffc84c1be563c401109cd08cba36147d94a4a62c


