# isabelle_session_info

session_name: Collections_Examples
sources: ae9638dc4469a3418db76c2b7df3c2ac3cbaa1fe
input_heaps:
bc695fdee8824a798a8d382701fae26c53fc4747
5f7f982d9d8d0282fbc15cbadf4b07b06a8c8d77
fd62d9bb3f527dc3a07d8609d279104995640fbb
4e4bffce2ef2b227e152cb77277a353dc5a00ac7
3c65f45a8a92ed794c23516630b789c782b4cad5


