# isabelle_session_info

session_name: Source_Coding_Theorem
sources:
01e4a1eb1c0c7ec2ff101bba508f86636e29f414
98afc084f43e0ef865628705ba046b901f906d39
ac28f3541e2f506b9ef5afe4d1eb8064f3e54420
deb03f22e2c1d7d37eb02d23523b0eb5f5c32706

input_heaps:
878527395436048d51bd6287a500d1cb05dc0aeb
e50af90258c1ac1951ef5f989d4c925fa138d449
2a2323082de30af594ad8800e3610fc181ec79f5
2808fd3a5f281a8f4b71ff42466c144f6a6a2ae6


