# isabelle_session_info

session_name: Source_Coding_Theorem
sources: 84d47b9d7f47cf8ff7746bfeb6bb27629f2ef63a
input_heaps:
a1279a445ea1e6e3fc0a54c8f5e1f23aa19c5540
913957767197f7ae8858d375e22f8b0e424144a3
2f1df30b59f380b2c8c2f73b1e93b179f1f922db
4a219c476b3dd3ba9984eaa7118699c8c1d76186


