# isabelle_session_info

session_name: Ergodic_Theory
sources:
2bba42d67c97e955f5b0c3541c09a460a2cfbe8f
39dd11e9928f49ac405ec90f910ab9cff60f2779
5695431d45dbe33522eb40c41966140fbcc85c32
58d8a79a7ae5d8758a4e95048a4cf3b5a2ec389f
74cfa5307af795607b794d6207036c2be5f37ed8
9eb99775fbf453197c1076b73c6f9dc915aeaa61
a658be4784ed1c1900c1e05fab6d743ef77c0d70
b50539272db9f8d945a3af66a569745352725a2d
b95ee783bb3d37737d520f4bbd729108165eeb4a
ce290e97f040e775b3c8dcae0906c6b5c4673032
d074cc52eff3841a499ca3229abb196604b20aa6
d359cd29977d73ec59582da52cab2bc4876bb0d9

input_heaps:
3b94e1300442e1a3f5f809d9b370cfc0bbbae59c
6e537c63d802c0bec001927b9eed65abb991ddcd
e96a53ecfba8c901425ebc6abaf9d1ab1381c1f6
3329f4008da94d222f4926ad1af6ecc78692ca6c


