# isabelle_session_info

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

input_heaps:
9711977f48cd7397b3b03ce4fb09271962469dfd
41ca8b1ef880b2caab86f2e624d077e228a12ed4
a1d4e989ad1a700e9d30ddaf5afc0202077fceef
081e2ea43e234aae88c54c36bdea8492ada09aff
000c31cfe79f77e59785b0781aea8cbf500999b8
2e955ab17180c267756e7fdff229af0d6ca147a9


