# isabelle_session_info

session_name: Source_Coding_Theorem
sources:
01e4a1eb1c0c7ec2ff101bba508f86636e29f414
98afc084f43e0ef865628705ba046b901f906d39
ac28f3541e2f506b9ef5afe4d1eb8064f3e54420
be170f005c6f1d73970abec1406d0176f24a0352

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
6e537c63d802c0bec001927b9eed65abb991ddcd
f6925d5ba347f030568cd8e7a62478e287f17a31
10cae7858f6298753bffb93deb42b58c91c816c8
4167e44b8013937bf7e6e2492589d57b425dc2c1
72abbb134b16227de44ee575c5b434787357b95a


