# isabelle_session_info

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

input_heaps:
735820fbde580c794b275d3f360e30a6d8376dcb
f7c5cec25e7da1e133019a5ddbca98ad9c7924aa
182507163e45bbf725735e35871a5ba3be6c75e3
c792037e3d0f7486f079b5d2eeeeb761cbe56f95
87d272d7a214823a6656954e4786f6c505a2d5a0
f8fc48259d3caaff1b24aac794aa005cbb2b7142


