# isabelle_session_info

session_name: Source_Coding_Theorem
sources:
01e4a1eb1c0c7ec2ff101bba508f86636e29f414
060b0ab20c1a6ff0e4144288d88a86773c2bcf94
98afc084f43e0ef865628705ba046b901f906d39
ac28f3541e2f506b9ef5afe4d1eb8064f3e54420

input_heaps:
70d59207b10c0d3f1ae9713c01fe0490a95034f1
a635d9d9c13ebeec12e6b6e83baa37d10eab9bf9
f60747b440ff03a765b404a47b50b781d9eabc9e
57ac00825636505dad7737ee5d0282b048686430


