# isabelle_session_info

session_name: Collections
sources: 8adeeb3327862ae16e7f49e3802e2ca986befc2a
output_heap: b9cb3fe15ebf98920426a3ddb700775ad4ed59ae
input_heaps:
79d8e835726df87c7b301a8f091eddccadfabbca
5aed350afdc15f56ad5b986907a91213f8d8b65d
2ddeff9c6ac654e4a0066e2a4eed2e24a610c057
de7c938c1cb86b01c0651104dc0ca753c5878626


