# isabelle_session_info

session_name: HOL-Quickcheck_Examples
sources:
1a10ccf87a1631fb70aee9714bcb344bf4ba099c
41c993cae6d4f9d642b2fe7a1e3966262a34e974
54b50b16c1c7b2b4eff9550912b3e479a4426bd7
6fd9df3dfedd4d886d1333614a66c3285a8ed17c
794cef3afabb1c309864dab5c04c6c6946381a35
7d4e32e4caa4a33c17dbf2b244497ef95096effd
845b2fb60fcd08e3cf3a9df9040b8b1ab70c778e
95598344681cfaae07d77ed25c816a7171c1b942
df2546ea5dc8c96cdec67946389485bd548a4960

input_heaps:
47ba218a63d9a5add4008d0575f5892a603d9884
4904f3daeaacfbc5142ed8b1672828ef09f3ea11
4bd3b948c117732bed55852f0cd7100320491ba2


