# isabelle_session_info

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

input_heaps:
c7c621c8c679c6f81c939be460dee2fbe4c459ff
c121e04b5193f7bc8e7b1316cf00321a124849d8
5f9cfbb3ee57725a294474ac53472d061591061e
26a337b48b8c63fd275ea93a777a3e7a3401e2e1
43d82483a65cf8b30698af36c334bb4ab4c71b44
9d0c23a0e4fed8eccc5344d15fd9731d6892c5fd


