# isabelle_session_info

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

input_heaps:
0ba1ca971c8be00bf94431f0078936b10d2759a5
0ce03196a7222f6488e31156b520bc36971a656f
839b44e946d25f579f005d34bf2b01c8c50a8382
38e9905181602a320340a0cad27ea92de6285748
84ded59b1a2f7fa0bbce80ace6919f0a164bbf83
b4ce797bfaf359b108536b3de39fc4d8d85eecc4


