# isabelle_session_info

session_name: Source_Coding_Theorem
sources:
01e4a1eb1c0c7ec2ff101bba508f86636e29f414
50fac47188e0a4d4cc9c94173a76d826217982be
98afc084f43e0ef865628705ba046b901f906d39
ac28f3541e2f506b9ef5afe4d1eb8064f3e54420

input_heaps:
d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0
e6067cb86581d04d2141f63fe8f84315b3b63295
f0ca457e6dbd65b6dd2f85c094ad1cb6a503566f
3d4014483414825c400089dffb34dee8f3340d83


