# isabelle_session_info

session_name: Ergodic_Theory
sources:
1699a168ddb314d54ec3cda089dad5af663c03bf
5695431d45dbe33522eb40c41966140fbcc85c32
58d8a79a7ae5d8758a4e95048a4cf3b5a2ec389f
74cfa5307af795607b794d6207036c2be5f37ed8
9eb99775fbf453197c1076b73c6f9dc915aeaa61
a658be4784ed1c1900c1e05fab6d743ef77c0d70
b95ee783bb3d37737d520f4bbd729108165eeb4a
ce290e97f040e775b3c8dcae0906c6b5c4673032
d074cc52eff3841a499ca3229abb196604b20aa6
d0d423da2ba60a2053ae48050f8f6fccb823a159
d359cd29977d73ec59582da52cab2bc4876bb0d9
f01c964391a87f9a6270ccd799b4612dc392955b

input_heaps:
80f4c0c8eb04f92fa9b72ba73b988fd158f20be0
2e0269c995c52ae68d15e9236e33080611f663f4
ab8b0f5e11437cc3b3ba93009ad67ac171c6a59c
bb2bb54135ed42cbf9b16f494e9081c8660de074
d0588517c8f6cbe01daa7d05f7b6fd5a31064a65
a457760b79716ec11200989778828fac25d60f84


