# isabelle_session_info

session_name: HOL-Quotient_Examples
sources:
17120f35b11fdd87e271e089302ee0ea6f464cf7
1ffa3922d6eff210af683fc33aa94d0c260d1ef6
3810a6e744a84157c42cef25038534029d44d217
39297e5c7830d34449d5fa08191d0595f03e831d
7974b88d00ad9d146364b2a6781be58b43f4d718
81f0ae14ebd332056fe82d2234917c256afc8014
92e3d754b9ffcc3c8f74f6c22e2f9c739417f39c
9f68e56d4f9f5484ac8659663756adff835460a1
ade3ad97dd32fe559260faf9baee7f04012a7ad7
b8b83c597cae60fb14d3c013919ae29719345eb2
dc447d8aa2e5972060d5924f038d0f40ff8977b9
ddcded323c05e1628043812d5510ddc7f789e01e

input_heaps:
3a7422e0724a52c670b6af062a2766354a1a58d8
2d5861e1c6561c4a4d447266daff4f079b1d6d66
b08e6a31f7d8ee6c6e67cc91d95c997514e330b7
43c7fdf77d2dbc8a288db6d2a6f5a9185108e1aa
8c785948102f3d30abc614fda0fed6a6271f572e


