# isabelle_session_info

session_name: Collections_Examples
sources:
006439cf1ee7727dd0cc8b37aebd9df24c4a2e55
17d6ce7fff517e9d059f9eccd6867cbd4eabc228
2b8f81e2e14617de4b4bad3bfadcaafcd55ca7c4
3073f5672cf56b7971f9e4fefc4dd3fe94860b50
31ad0307345b52f77bd43046bdc9bc66c32796e7
3c7b0e23c47e07bf29efcf88eb6805050f6e145e
3cd568b407435e66b10daadac60f4bedcdd7a740
4ba0cf25a00ae7c7178c57d51513bc02f0516bef
4bdd953e23b1b8b9181de72c649743f21b009c11
56b474ca18fd648c12397c61c70868de58f1bab9
6651e919038e8fe613ca3f78fe811b119d567117
6a93ca85a902c26b6585a17d7cc327646e0eb1e8
6d84907d1c5936da369dd6c77039a45723443956
6f4afed122ac54db282dcecd53dd2f48a7d09d1a
761367206ebb93626297ad4b13e6e689c2d2e4ae
874fc7174184d3df07542ec61847ecbfcf7366eb
8bdac03177b895ab87ecdf136cb79675bd84d568
983c0107d91ae29ea08dcd6be73913fb4a0f61b2
99ce18f2c98672d404970306b322d4a7c89d2149
9de3cac554e48b28c0fc98d0c793a9ba92647d1f
ad40df5861c1e58c7b1a069f493f033df034555e
cb45aa29aed037350de48fd1f2887efad358c2a4
cfcbeb36e9e4f8f8b9074691439a1f93096cd4e6
d8c19a9d0ef95ca165ab52826b40c7fea2dc7b2a
da39a3ee5e6b4b0d3255bfef95601890afd80709
de99f67245cd832093c0b48899a742ad2a82e388
e103ad793ec58ae038c029c13af415df85473212
e484526b6ace92c89f3d604e8cd879085c1d0f0a
ef7b9c22d6155bdf374c446bc7117fa56cd310ef
fb7e26c989d75e3be9e5b319f48812d0eac5d123

input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
2e0269c995c52ae68d15e9236e33080611f663f4
eb0aa3c81af2fdc0389824b762b3d287e0d34c92
de4295c667cf02dd2866a5678e8fd6e78eb95b93
8e84479d9f0aa8ba2aaacbf905d1304ad8c49cf8


