# isabelle_session_info

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

input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
2e0269c995c52ae68d15e9236e33080611f663f4
ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c
bb2bb54135ed42cbf9b16f494e9081c8660de074
d0588517c8f6cbe01daa7d05f7b6fd5a31064a65
a457760b79716ec11200989778828fac25d60f84


