# isabelle_session_info

session_name: Collections_Examples
sources:
006439cf1ee7727dd0cc8b37aebd9df24c4a2e55
17d6ce7fff517e9d059f9eccd6867cbd4eabc228
1cc84f68eced067e3d2d80be07c33261288a9f8d
278a088b0cae1ecf26228d9787bef1aa61073c84
2b8f81e2e14617de4b4bad3bfadcaafcd55ca7c4
2f97e24b865119593bbd3754c344f5660388852f
3cd568b407435e66b10daadac60f4bedcdd7a740
44fe796e2c8683063a926ffb8e3c3e20c0ccc0e3
46b4777dedbe1a669dd0850463150cc85d4a4f31
4bdd953e23b1b8b9181de72c649743f21b009c11
56b474ca18fd648c12397c61c70868de58f1bab9
5ead8a91e05ff0f4a8e2f5466083f3ba45f3c2b1
6a93ca85a902c26b6585a17d7cc327646e0eb1e8
6f4afed122ac54db282dcecd53dd2f48a7d09d1a
78f4a47bae9060ecd2b9f4fc43f8b1754657684f
7a009885a6aa80d561bd9259045ac146221b9f06
894984905317a6bf02637eb83ed241a133e53266
983c0107d91ae29ea08dcd6be73913fb4a0f61b2
99ce18f2c98672d404970306b322d4a7c89d2149
a0dfad57577132d8104ca8581ced4628cb169d3e
ad40df5861c1e58c7b1a069f493f033df034555e
bd87896046eb65cf2e751918611ccfac6121730c
c98d460df5d38db5a033565119f3adb89aad7eb9
cb45aa29aed037350de48fd1f2887efad358c2a4
cb8cd6b7371533b0c818652b312b0c1fa815affa
da39a3ee5e6b4b0d3255bfef95601890afd80709
e103ad793ec58ae038c029c13af415df85473212
e438435068b32076bcd699702c5a6767eeffa31b
e5dd2d8d1d68eb729859df8efe9399cc506ba9b7
fb7e26c989d75e3be9e5b319f48812d0eac5d123

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
e02038ad1e9503a02a8e11b7cb457877cc454f98
469d9d757a06e317f6859073a29fe2f3e023b295
6377f091d5889f4d7158d2046bfe16465ddb2d83
b663a008550b5e963b12ac41307f69ea4f454960


