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 K)DLT ]S Ergodic_Theory:threads=4elapsed=64.509cpu=223.000gc=5.072factor=3.467zXZִF! + ]ŗXf[&X'y`T=+}ؓۃQǺXź{߰i>QSݏ.s 39ݬSR/ֶ2@ΔЎB#zSbLP9{!07aV{04 :z;H :nt=AArʇ6B\ȼ)%e,\gF@%.LlW‡fQ]@ @x/`kn+\A/~ RNUUdysk_pJlVU(œO<v n k 7NކڥCxYuE]sz u(%Xh/F$B8DMR ^r7 v aZG.H#7j* )%|!cz%kb (4 BZc!艫`r! hRft6iɷ0 D) l1JL-:ID@.MMXu[.16j%rjM;2wdhu liӹ}iVnH1B~+QeJyPvr#I|/m n3 wtjik3d $3Gjt,hUhW۹ Og%S;P;GZy8'+C!l*/` ',I]t`}BCk)Dj(І^7HiY^Ч?SG{]#i.ɼ:^a6?s` [MM&cc#̧"qHTG#}|`v1<|zdv2g9=xiA-,?䘝C C %ay fϬ}W {=NuG~<~j& {&WǾuV瘂ETd鼏EvQ)kt࿷|ӻxuk5>W~'ljF0'ԿYڸYHwP1 $_\Ԗ,hUa3JT7 tY.*Pŷd<ݓ%l?ٝ_g0 6!#17* hZ0&}YA;j煫@Z(Թ:gϛA9}\ߜ?. ZxB髑=?<źunvଏ#@7:1<ulXhd;XnM&!WhiT(x>+ ) Ergodic_Theory  כKR^oG&Aomh"W_N[;OO7G~$^b!CQ;]3;0۠Ʒ楗eѣ/PZGȦ O{]*_KFdTpW"rlvۡ_O=d [~lg޶(' :<#uF|2dewR\vq\sG&dwl ;5G|{$b/! :*/qmA^,^p@řP[fGWr!Hɳd)|ٛ27AȞ>PC>-ClQX.%4.P Bo<)drV55if_tAͶ'))t clMkyۇL{r .,'SֶU2@AG,$Ӭ`d.It$ȔM#}'ML`v= Q_kg Rc:s`t&<۳66ESn!+chy/{pJ{]F> "xR;H|-ax34y6aš#H07 P@nfNfH&^O!SO/ULAP'$ͭ3c xb56NÖYwŹJb{ooqj=4>0*Qr&sKT\Amvko]uuE}"@2Гi1}C{+V(yeaU# }/MGİ|vjvQ_[e̜jK\᯸{UGxq{lIې_g5`u󧎲jɤfe$uS_zk>nd1Wf͞%1@tH |n =AOp5wʖA-ŃLF, D:ZɜQ|ܟ|"}mJl(SyyƏVW\ί^Î4/P9/2eޅr/gYZ7zXZִF! `]ŗXiɟ7 +W*2TG=o.:NXpMV+w * NPMǸ+y< S?Bʢ-^y6T616r}P:_ b)ʱ4y!PXB\+7GrsL=ؿr[v1U^?)xz!_)i57'AaʊmGPb̈́{(*݃G-F J7 <OɈӊJzɈ_ߒ|.2m'^WO]H5a-X̵eT):9(+$`)ԨqlV;UaKRX6&[2wVQӒvgYZ7zXZִF! Mb]ŗXi%L RCsczl"&f;M$X'<;NC{g9?,mg_ƺ<ɼ[{>Q`!C,K= &`AХͳFrϻ췬P3z-=# :/BSU:ߙ C<>";U7X:09k~++q62q>渃 gg>dQ咄XPpnFeKahvoͰ9~xw7_:(i(;}8::{!cCP΁ć(ѨƳ;m~X8ll&|(7/H5ܸZBemF~bn]P}ұa癖'gb~ _eRd+uy, +ov`?6 $_lPW{WD7s_Y8~:RJĻPJeޭz%_9z8[\}e'\8tܚdE\o`pGu@.ބ!5)VU*ryD$|ڄk^A ,b"J]Y>dw/C$x q؏fk^ *~,QЧ-mc|Mگh '0Z Da]Z>U|_xA%-Cyڰ>”DBnX:K27SH`&`SCN˞497V A-fG>)eJX2W2߁_)BpKb0b>Nb 9VeKB8rAʵP!x-(_[ib_S}?j.,`܉B ϥH[ Ľ`%fݝV7P*W3D"O~r\FXa/Wx9V$? {Ui÷ ;a%ɻ% pCݤ.`b6,>S^P1nƷUU 3Y!M1 c"2'aYo EHI~[7̖[&/n%' I99&ٷH^C#%MͼDdy[[5tfJ\F^33Ddn&V<}W45Xm&v.~Je';-f*VFddwJ:q ztF* 7)y76Lz6 }xyEJu_p J~($F<'&[rVW&+4~ꐐj4hLWR4\i} :I m@SH/Y3Z3#P9W\ֵ: "'tL{. Nh(![iNY,.r*lwi?Z*u_ٓhY[\,m5-oґŜǯI[Zܨc"[ b7?yˋG 5G$&)"{pG([ivgk^p4/ ^rEҚ^:p-#v .~Qc,#@jPEWַ֖H"/'4T)[r-Yt9^o.9̸C`4QqJN0>MJJ]9)K?ї{o UUE%VqzТUs00H-Ro d٦8٩AL#nfw;:t;=d`OHc, Z3I12w<)~?D'| owY&}xr_oH@-әwk&Y h< U܋i: ![?iMTҡ.O6u"D];vy5>u5DRyI^Qm*{jmJNP+ϡN@Eɚ5Fr3Fhڅx\nW#LD/%o B#W[iuǩI"oZvoj)D m4C[KTR**pUWu1QsEe+{,ZcLWR &ٳFxh_Q0cwdp1fْϯ` @ 8v%d/٬̓;W$Qoc]: ӷt/78dc39ɱuJ:d<5]};JD AHdGc>%l ]WHL!-ݍM=c34rHHDe3"^}iU"ISgt64,S:cm6wD9℮kӱcgFuOW>]@3c?W%DzH^rWoco?Es^ .p#w39,;sEZ&G-s.©[npXR,}H?Oy QCM^{jΜX8Ro|q5VL8X,dt.37IB @A@B`=_zJVҙZ(wu=Ŧ# P#!GB|v;S$y c_A_a{~]F $U&tI!pM\Њ۬=gbZ;ZOeX+dk MVX _rvYi5k9̾^m)8OQT"x^x#%S/tَXs~"OF. /Ȯ/Je&^(I_+ǀln={NieO(nupmuWX}#VbzZ-]JBL z T$6:5 }^#F1} 7hGW`8X /NL zPNbO vC _%pKs!G>e_aGcnLdԋTfTU.zƗsʃɱ LD/kD`}3Ir `,z 5ZD H~֮ cs[(;|CC?'<˕CS 52&n 6uR#w܀_{:*&+ܝ׹\Ύ=.娏ƺm'p* 2MdNkq=;[oN}چ1w]g$9ϗg4|E ̍i /Nh*<ɢSRt (G_gM WgC,r;̟'(Ԁϖۺ~HH%}'QPiiv"o]1| Ÿ[ʫFWK}w̸J_Ş'IN:?~c*d a{=]btP~Ѻx|:TkDj$l93,Z|NP֘Gvg,nힹ%hCRqMu`˸-p엒ay(6>zS;|jV뤒7C .jaÚkH5I Re7PACAzIZMj~B?j]]MGųs+w5{2GsgdWsSl_d q?Jxԣ9PX{.4[ZO$<+dH#d 0iKP)L#kOhF2߻]מ~^H`jŻ\rwO#DėȃLATQcjolR|$0!-Tl#5m$3%a(J# qA_ Td|] @Vloɫ^îP$)n߱гg>iiJd)V竱3U+BZn&(2wh2Ŵ5-^uh]UMkXɝ7oOSzZ`ԵM j&qHyTn3lCdYnHwdbqst :o`%0_B0t}e?!X!!9 +m5cL*5%hCwz5aGV"sJ8M.R[r1؛%q*~{˳{Kdў4A WEcR+(bwU" !0ٚS$̃HG^2Ma @]JQԷ'{҄]̆r G߂UL-Ywŋ\&VًtkE7OLvƲJf~ڥi6kGQF,)gΎiچEm8uGۏF9Es9fg.%t]lяGLu67箑M7'yM j_/KlKz0mƋ$.b'Ȱ2+{!߶':0 39u#| -W&EԴ6~\*1)&A\KiuʷE>Zǟ.hoǶ#u&UD -2}ވQX ? 9x17_W.s1E7jA5/A%VGC[9L=`ؖ&/G 6pEΕBB^7D|2)Df*"`{3?55s2jʫ*9B>ʕoק6]zPf@ZW8TE%;9Ctq[}T^c