# isabelle_session_info

session_name: Ergodic_Theory
sources:
1699a168ddb314d54ec3cda089dad5af663c03bf
193c95e58b846cdfd1c809e67b5ae8ba33078d5c
2768208d12fe703d5952c14bde57dafb6bcd245a
5695431d45dbe33522eb40c41966140fbcc85c32
7558b5aa67844d40845dd8ec795c77635b9a7379
9eb99775fbf453197c1076b73c6f9dc915aeaa61
a658be4784ed1c1900c1e05fab6d743ef77c0d70
ce290e97f040e775b3c8dcae0906c6b5c4673032
d074cc52eff3841a499ca3229abb196604b20aa6
d0d423da2ba60a2053ae48050f8f6fccb823a159
d359cd29977d73ec59582da52cab2bc4876bb0d9
f01c964391a87f9a6270ccd799b4612dc392955b

input_heaps:
728eda92c596448850baeaf541586ad0cbd7b32f
9daf9b2243525f9f5d1a1f22d380df7ef09d72de
3e315ae02238ba29ff4dfa91456277ea298bcd5c
420661ceb8b00b46fccb091902e005a3c65de64b
02182b45aadb0d8356d66d9e1f182d1c5471b8af
3ce0ce907a4af6e4c9babc176392c51ce90bafbb


