# isabelle_session_info

session_name: Source_Coding_Theorem
sources:
01e4a1eb1c0c7ec2ff101bba508f86636e29f414
98afc084f43e0ef865628705ba046b901f906d39
ac28f3541e2f506b9ef5afe4d1eb8064f3e54420
deb03f22e2c1d7d37eb02d23523b0eb5f5c32706

input_heaps:
b9c0e8f4a3ec48522e3484ee292a510c958aa05f
7e8b43cb6cf3df2a7c6640f5f367906a273b3e9d
689e42f6a537aa228ba8dcbc2d5fefa5d25464e9
ab62825ae3be0fb934edccf6551372b3ba7abc0d


