# isabelle_session_info

session_name: Collections
output_heap: 97b7f300e0b4079e4148e5b8b1adb1615627614f
sources:
040280a786ff45515bea2ef9ad64e761d2d31820
08f0891cff2f74fd97fe4f8d9775b4b780015337
0ab1216172c37a973c252fc420d2c91a4c828037
0adb6ddcf719683935a81ce6601b2eef069da1d4
12e9393526cdc65ed00bbcc616eeb021ac2000d0
13d46c72c4246dd89d068589d4ab2416a69d780d
179d3d8a079700144fa293cc194fa6f887475171
17d6ce7fff517e9d059f9eccd6867cbd4eabc228
182b4f4bfcad3896c7f6aec4c4fdd91fb6b1ead3
1a8d19a128d56e40895ec7ecaca02f11688293b9
1b2906d9f2fe2f644e3872869537a146df015d24
1c2493e85cf5de690711bac5f3715f2951b0dee1
1cc14ed0fa2eda3d2129133e0c847117ef828f41
1e9dd46ec93862c07bc18d1357af9f2186650fda
1eac23a6230f87391b83b07cceb1c06162dfb171
1ef6e88ebf45a7172376119385b6f067010b0dde
1fb42b7f62b007623b34424bdac13a60c66edb83
2360fff93c8ce8796ea71a4ff42d7717b5bbcb69
244016072e297ae516824bd732d80b49a375a1ac
28d11acadea95785e264b7049cdcefc8cf20b5e0
28d7fdd6961c2d2ddb25962a1de7bca1528b3b15
2b8f81e2e14617de4b4bad3bfadcaafcd55ca7c4
2c780f0242fb7f4866d0702d4e4671b18813f173
2f97d62e8d6dbd08f9b8bbe689d2370311f9ff79
30eb76f717896d4f74168ae78d95de6754b9b6dd
31705d58eb105deafac3616dae5663e7e0a2f8bf
3191d73abc9f1d53a80bcd1060314fa362b10b68
31b7687d5433d9b2974179da290efc477d1e8cee
3865375b17ab3417dee8556afbee26ab9a6999fb
3938574b1ea7bf6a52855f584e2ebdb8ff6efea8
3a1c97548640e89b5d8dc3993ade86dd3aa4df33
3c9acb589de4f32fc796731f8b446da3f1284cc8
3e0ff7ca4420fe5622cb4dd910808bcaed6dd342
3e5df521c66485bcae86e2264cd15c1dfcc2c747
41e1371d815046828a14830fe2d9f23bf413ceeb
457d30149f38fcaad24d3f481ac834985791043c
494e1ed3df8d8847c09b29129e5fadb1918f0079
498e014df5d2c87dfe779464577c6000d16639f5
4b430d79f7593bfdfe360a35605e4ef308faf067
4feab95df2fb1990219f52c2099bb2af87bbcd2c
4ff02153ee43c8cc45f8592be8792c07aef961bf
548b099ddc06e5e3e38f92c617039f6cd97673de
55bfa88e280f5f2050d80c22373b63b688d68575
57fd4f29e8cd73e55c9e16a0e31a1fac60888222
58d2e72eea51b7c85a0e1d8816b7677e3519844a
5da4f1f8a066e90a66f3844d13a77db517e4322b
5e48d3cc662e6c6ecfeab407618cd95d2e340414
5f7632be04cca3952c1cf14c3f7e2a6de647cb2b
60d5e6451f8981d275f3ada3b96bd6fd0f9a2b12
63121a3eeb418c5a52f5cb30f315b2d1b5722a49
65a2bf99f65082e08cb9f3cd1cd08f1ec0b6f297
661c2b8beaf15b2323c0212655d7a3523597de01
6a3839c065ed25d0f33d2e1529e4fdca88d2d397
6a93ca85a902c26b6585a17d7cc327646e0eb1e8
6bc49225a99e9bffdcc316e172669af8a86dfe53
6dc1ebda89d13e244e2d60303cd09787b460c725
6e07ce8ff71b3866de228bfda5c7181c7d62617e
6eaa61d40b8dd379d8883f8c76616d214b738568
6f4afed122ac54db282dcecd53dd2f48a7d09d1a
6fa675cb6a7888c6b6f3e68ac680c7e8c50b2f20
739e30950437c7710fef280aef54c81e8824aebe
73e061e6d2ab24390e598cf809c64caea95a7687
74822b1b4c5669c1d08cb9812ec97260d3c2d096
76ff6a868fee8a2526140e87a7ea292a9cd07941
7a09398f4bc94d423f9b9d5ccca4cf07fbfd8db8
7a241f1d4539ad42436cd3b62e1020df8eafa29c
7a4eaed7e718366597bb3b3c8eab90a5999ed86d
7ab38999ff66f1de5709b83b7c512d8ac355694f
7ac98eb34836d26e39807f60be1c3407c44ce98b
7b58661ff4d1ed927760e3d4e0b9ba388be90e2a
7c30a419581a250ccf0d431ac403760888e4de56
7c93f518bb53e0a507b3a55bc617dab47f539b4a
7d1f07073d415e940dd3742edbb4e4a98111142e
7d61920a90bf4cf8a723eb044ad8ff033d8c6d1a
84179171e42e62a578f6d4dca38475d1e87b7650
8afa0a93f539a8a74af8c34b845ec9dd041a4963
8d31800ff14de35d275f6635e9c6d24becf4c94e
8deadde7e959de6479aebcd3c13c41b1a01361f0
8e2ea0588484394bc5cce75549dfba011ac8ef96
90dd23764865c420baea02c03390be6be9f12060
970425cb10151c56437492b3ba98382dcd26b533
98973696628f58ed9b6054e30e6bcea8b622ff49
99e419cca85a876ecdeea613b750e09442272500
9acc35bef3ba5061da854705def3501314e7e5bc
9ceb937adb1c727470b9f508def52fc079a3fcb1
9da0b56bb9e9ce02e24baa68f32a17a95d2dccec
a0b767db58820723e94ee4cd7aed68d9daeffb74
a1856de5fd0bd044deba1c898c324d0027db7083
a2c906f02367d233f7239fab6d9016f0f3089a53
a5ed38d3bbd6e0ae879378537f4f178f96b21ac6
a60fa1dcc39efd8f2ac95d4868c523d85ba629be
a68b65dfb2e7fc04fa68df24528b045a5bc77dfb
ac3c45ff1d4726c37d979f1d520e4710a906f011
ad3e0430353cf9dd719486ae796d190d5e13f04d
af697d446e62f21fae68e135e4ded7f7e96b06e5
b20c5a836a20efa6c81c9dd054615d9ff29a5c8d
b39a1ae637f016aa3106a4a51fa371d2179d4455
b58d884e7c4caed7b3b96fa6c6bbe18ed4474367
b5fc56c84e6c96d0e02dcbfb5fdde728bfb0c976
b61ee89880b0a784d955f1f0d7c065b4b68c12be
b83d9b3cceec63425558e52a9a2d2a5bac631368
bb09bf7567098f2c229c8ffee4ee58daa9b328cb
bf56d30f5014e2797e57279598cab61a2db00fe1
bf79d61676413ca26159c68881785493bbbb6f0a
bff4dda76f155678c7cc6d56dfccce8980a2351f
bffd4d936ea4102fbd7f189b900daaca5e9b1e79
c27760307e2a77b2ab2a0535b918181520b3c45b
c6595eb84f7f5b6ff8cf51591a134ede1855866a
c8e8e6900e1862eb78a0bf33d9076dc0126392bd
cb45aa29aed037350de48fd1f2887efad358c2a4
ccf76f9fb34684fa9272e37fe3518a1f7abeaf46
cf1fe489b054ae04ba90cba143ed8882f7a2c588
d0098e82710c87d35c93eb96aaeecf6fb64fbe36
d30b2aadc03e041139d012afabcba6981419e8a2
d5a1656fc18a8490295a3de10788f4c8c6e31612
d7cd399facaec2c22a89cde0efd1a2f391f46b32
d9e06f568255b38fb2df0f11621e3bfd8040de89
da03e8700ef160474987d91d9fa1275254a4f75f
da39a3ee5e6b4b0d3255bfef95601890afd80709
da6b6241a4c28d704c96d819eab9ec40780fcf73
dabce6b07307c40635091304328f3249d7ff7bcf
dae67d9596ed4b2eb0e31310fbafb8ced1e5e548
dceb865860ce8197a36a31046cb45dae267d9230
ddb95a6209ff160d44b532093875aa78e5e46ef2
dfb5dc0606c3c2d06f75bdf411916ac15da23179
e1303d6be777b2d7bf679ea432ac7ce088449876
e2356506b685b0fdd2f000430d2c9d32c94ecbc6
e2e83246e1e66e3a3e0f1c798cb1d2b8daba340c
e9e313df0ca2a0beedd532589b87f6941b2d9ca5
eae35f4b880ed6c1fc688dbdc82614ae481659de
eb927ef449119ae9450ad465dc41b2657e99528d
f25ae966a6cc9632645fec281f7aff778159e5d9
f3f9a7626ccd7db5686d7a1cbc1018aaca9861d9
f95e43c856dcd857caf6572170151c3093f5e577
fb7e26c989d75e3be9e5b319f48812d0eac5d123
fc4ae0b9e83eb5cff2f8eee603452f00d118e8e7

input_heaps:
f0df918d4045ad6c60b23213b65e87e41842eac3
28b0b14cea5cfab8a9e104dea18417239d359f24
0b6bf360c9d294e321c171f738cb821c0903d51d
8466ebbd0c9f78b1ae12654b16bb281c4d878c57


