SQLite format 3@ .  B --?tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "executable" INTEGER, "compressed" INTEGER, "body" BLOB, PRIMARY KEY (session_name, theory_name, name))?S-indexsqlite_autoindex_isabelle_exports_1isabelle_exportsh77otableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "theory_timings" BLOB, "ml_statistics" BLOB, "task_statistics" BLOB, "errors" BLOB, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info S)/#dZhK{2\Ӗ4V%Maf:Ot= ,'+:Ӿ6 ܸ LS~n9b,1Dt8F>Z"G9,kvM飮iNRd ~ ES :5mX ^tvL'*N&q;IKO.1'5[Y. Mv`X\EHcN-Mi_-:XXC|N_l:`7ryeA3HmOCtV]p쒘\K0v\ݾ_4ڥ?5SŇ=+F#d :!l㒟Esz6$Vs*G; E M(`x|GG3LIx u)~5IHCZpevg6qY_E-cEhi,Y6(m Es1L_JKi0clG9k6)\CGshXj/#Lb~"SH]hťT U 䯗=k)S<^pqS97pEK 9(I Po]0VCT}4Eavb2=q :\\#DEQl9Ӑt*w>.숱lhO@vR1E\zoz.' ڢ8|_Jw;aVLZ5^x~k!X[TMfZЛ?H]չV+ ~X<BUCTFF&RYd66}qD1E xۈ+)j(ǵ @}w{N>#~ :Grn[|#r=7gJ]땺VUWYIw:0{H83Aې˗5 '5UҧL ۬'v #P]Mfbj<GCxG)<>WT5{QhPтFσ F:^y`SJ[kq#O!Бjs qѳPZm&FegnuÂmG'mz< vlt`9fX~\9gv Ci˭MN?ؚXA^~#@]|Xe$7QA#hw GKp]z;IDuV2o| _@$N /[V&TPꞚ\W ir: =oܬ79! Bi%H\hQ!{z9Pw0z!{`0-u6|5]>-Є*.@]B*#`\r[-85>WS~Kݬ* <{;ym Y Sr~'0 ~ꛐ4a8+]EEID&<IT;`^LZw"u(t$98Ьqnr6hXlJGEmCńo8#AN+wоO̒LyjLȼ!_HsPbBrd1ٞ~)5֘qeU C}G/N }Kx%tw\w5 ) Ergodic_Theory  l L>EZ{[DE$HAn޲d|Vg \+ȕRm}f e&j rCGbqȗ/1?+\+F/+'6pCQgYZ7zXZִF! c]ŗXiɟ7 +W*2TG=o.:NX+X:zB^`sz\5Wٸd9'A:~ 4~/"H39cT;:T7.I]1 Bwmp̍ 4oƜ:m!fBCxILG0`GPNOLo$!͢R )@<>N&q&!Pmy1)6r4W,Qw×TQ"qFNJHo, 1C_Lgѱ[ S ]ͶQdanEEWl"::/3C #B P-qtgYZ7zXZִF! !]ŗXi%B fx&(?ҿ/lYm% +2_IW>m`A B$P"hE=V֪Rїn{gҟ> 4!cAE(#5m \T-|ˀw2o TxGÇ8eO1&Qŀ=ШJw"V0^1N3uM -D3.kҋ~@e\P0D##3X4!';YiPGַh[`9ZUzme#@pf>&j dn`#=HjˈXGSW~]V2w>Ε꣥gqO7f&n MR纑ЈAm"#Uv+p=-M,̇؝.ځ܏H I`m' MUf,\WBZ/SR: ) q!}>I("&R6NT#_ L[^:F\HYf<]5%B1!s WT#@*)=d؄7X`vOA6 ) i8s ղo?т>|u˅]aSed'=))kp¿^,1 OXSYD7d/`yI-&&3~U12x;of$PPUƽ٧6B}c4AAZ_*iHn4x|;w[oxma o;H xL"e) Id8Tuw)e ˜4r7yZx\8{Gf^Qaڪi% h5tifٴLMB@}3S&w6GdTT{.ދi}w7|q6W}hD:PBd׸%aYW]Z*ћ ІIp1?ͦ;ѓo4%\A1I0HR.\ Y}:þA[#Bua%;TJ*Q;wXeExpbȠ !;8 ր^g6업 Ke+4UQ EB?a9|Nku71k-f5ҽtzlVlQ_оBE8j! նYƮ{ ewd=a~v@2CN ~Ll)t]nd)U#@[9_{QD'Ю%+ۤb,",V{eF7a w=:ZH0D9C-l6&],<_Ӹdj+s8g}PjI[#C`,7iw9Vݕ/֏Hjp9ZAGxCF3插g/zR}?ge Я Vt%ѡ|Fl qK]{KAFxw1 (0Od$mYGu 8%5}z6B$AE9cY7MMJ/q% yuX-`|,>eh4(vʳbGn"G(y6rkM,iG@ewp?v*ќA7M M3Kv>{ MD*d;`pϿV.J&(U&5N͉9dtg┴/Y@?<=}0~ۍNM:K<פ~A?(ZOZfӪI$ 7}$Ŝ FS{Ү?}t2 :~|P n!҅-ktԖ#qQh!k0˹7gZ_ m(#r'J>؅.I&vK2 sNp[@Qp3zռ}ّaPU]{R2 ].컼P.EDvd FX6L  qWӒ,Y\(yim=!MP7Q-#&ɈZcD3CiRIs\TFuO;{fIsMIxqKX<8G(n>ټ$s|wejm˧ 578>#L{ֱ&M^t}u}Ֆ^^{~j)]ȶ5 BG{ZyۤJsﺡS'dONd:Քp#"3:XeEb!kl&\! f2)?5s#a*j/X}ZwcBh:zI 4ݤv@ʭҟ_oer!(s+>irK<@[W<!+GnED0<ۓR7n震-CR;[_OJݩ\J|ҪARurfpi|-QW!k:Ӹ7º=CQQu˄7>_o@ꦍK!|gӜ;X*_d܋z"+yr3Pt!0k3{o聖?޸;'ʬa,^L@5@W1gٰ&VI,F$ /R2BD$X}zjwrCV /S7.lxS:y*3m5V`lHkk/0!$Cկ zh.gYH~c4Pݓ4Ie~H˯\Y4BK\W3Tq>cu*>Ek1l?ƽ#7ML^ n;`+ -2OW+6^'fzkt;E/!1K4%(l!YqE:A!<ʦz*0urrL`M 7Ls'8LY['BÖ%e * ,[7p>Ԋ C]gF`;Jjդm|wWnQ׭ZuBN{@0/~:uqp6=%`ɯ .+.OPc >)R 5ܘyE(Q?EH{s`+t+{JUˌ4Y /V [tAy^33O9%֭,_ &|z+׶mlGUK={N Ȧil!F{w9Y*Xr;3 &E޶WU s^ٸLźApkL4=)fr-|/Վc ] kUky g&2Gwy+,SahAq'WeOd1kr9c} 8/ڡh[t] mCE>FFx n?zFY'3݉CTM&Z#r!Mhʔ"o{uKQr ܡ2w$,sz޶Skh 2,#)#xc0DJoGFFlvEZX 0☱&%X{l:8%:O߬OJ[?0EWCC9N^N;{hZR琝x_pg(X(02Û[f0k/f%ˍyf좵 ]k6<䉘fi}1WlUya_y u(Q Ku/FtrNӡEͭ?d}XQ`b%/CA|8D̝sS Gm.f3j}|u(E*T4RiY@> ̚{E%|I%,! . 41) n"Q߇/tܶ8 0 wn\Q,|(تb)XxXO+aZ_C<B\ZW* 6s%]+_L(ύ}x+}|\yZUl${^R3I;I:s 9xVsfI@zS-כ!c:^6/ѭT0=,EJp f N2))ݧy@{YC07uTaTS}awTKJbܰօo]:ZN>eDaJ03Dq:CR0V>ͻÏU&]3;7 iF[Z`6pJ].@P\a+* 5DPO#<)AF[<@Ůt핉UYp8%-`++uzkڅ 6@՝q?ȥ|MksW(Qx ў+ kuפBNT(l/z(Bm_hl; GSb9adkihLq޶Ƣ64Π緼EÛv!XבkKEU~癬?5m!x 5 8d.0u[L`O-w<3A:&oRt>XusX=|A%:q$`xr bI G`RED&9_qOPV˵K`nZRFbD#~ϛ|pT6| vJ `nNpx`s.,C9oYj5)ϛ+wֲR E{ J Rv~h3R]x0>b\cM~lS]m؊:?TUESoV*@~E9BK#1~K4JLRFV֘%Є*Gp0lNbhq["/xjH8Q`R=b#F0(Ua$t+O+E01O'YTÚ#$|Hi&򇟙˶C\h3c.9J ZWe+lY:G~ee6-AWByv@(r;wl&9GKeo:r>b5=BF?UϮ#iȩYkWܾ"H"PҶ(,~<+ďsl 徉`voZy H<g=BfhoБ#F&-STԟZ[ز Ds1Oquk#;Ϲ*?oZa@T{8?.C/DIc`h)Ѷi NrSbDD$:`Ƚ^zt1EQIr;J s<#^(/gl3ܪHB,@QD1g M£`-\ɕV57y:tɢ)kW:|TzASfWrx2C{wԘ,glPrbEy5/ .7wm ӾA'{ 5 >F s""ĉQk -jQ+M 7݌9{]4FOœQK"l}k&/ ceV#W2.@\FưH+2A9uTH}>ղu$XMҾHX-x ha6 MCָD:]Fb$d8 i]6VSMAM8AsR &MW2Pؘ݂ g}"1ޠ*aSq 17qJ2#P#]wbtLi}~*V6dz.!%oE9'.Jd)gPI{b?ڃZgDîs~_(.R~4g:СKg9C\0س˷H/"2Ds䚳xd keG_TփYň`uJUECoz%7ɓUz%%'ێnJEjH,v.0eAM!> (i%QME>v-w Js}O_ÉlC=s]H QNj{T( rWdbMJkHѷ#Z4?BX2O:O$#(,mB&ݤz4Y}")