SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  : :C,T ]/ Locales:threads=2elapsed=1.304cpu=2.372gc=0.000factor=1.827zXZִF! U::file=~~/src/Doc/Locales/Examples3.thyoffset=2849name=byelapsed=0.207~@snVY}YZ7zXZִF! b]ŗXiɟ }zŎ3Уu AQ_ ]dÜ_ ]{䩶W=G;v1y"} QSU=~R;gYZ7zXZִF!  }]ŗXi%; @y:N$+S #˃ObnV˞PO~ƊGզ@>:Me<%X\<re0ᠤ70XE]kq51p #Do 99w֠@$F0q hL{譵 휚-MuE9ihP΋-l#8`x ȧEYw+,£kͅ.mdNX*dΤF%bڨxp:baʢi/kfjr,bKt9Pw{[]+^igc$; OƣDjfM!tZgYZ008574426301fb23efba7dab84f752cea0f2cf1f408130f68e215ede7936ca4ab0eafec3d85e645c f28cf806c632fbc2897c47bd2481cf58fa5266f7   Locales G-% DLocalesLocales.Examplesdocument.tex7zXZִF! '+Y]A-MՋhvG"uIBm5v'y(cŚ5b!X؁t-P2ڂQ:s]M4-Wyq`VqAnz=W ̔%#޽ՊtMA6#zvL\2il{ ?q.nGNB틌_gzI` e2bU4+$D, ?T(ib4 ( #C=h 79f7[i\i+f;dnk@z ^c7}C'֜ :1wR2%MN,Q("O $0?&3)RУ1,uUᄠ&{5'1~t׍n`ta $8y6*ffEǃWҌC˦!"Z 26NQ@Z^?Kmc\P*L r-_Oe5.{#>DgEVʾ/YqUEۑeUQOcH@wx=)5pTR9v+""P*v{gn]Q@ڬ"{3 VPr4Z%C94ezYD宑#l d Uǡ5-@Hm4Ԝ5B`6-U*UlS +'cN˳$KߧH@J> TQ U ~!:%$NEg':0!1i,7r(ЦׄE_w;t hG+GZ<ٍ\jm!T#|lǓuR\۷yhgWZSwbrJN\#w;1NvU @)a ̪ۀ z=_־5fƐP\׶yC@B%&PzLhɢ0QgcgFBreɷKW>eVkW(>|7As7ZU}:> \@K!iWr֣_+Ǎ Dk˽^L,?_yuY]Ƨ_x5`Q٠| 9+dԪ;4(ѪNt>a8\D|+Rq><.?bk />idR^v|Ⴓa5?yR\UHU/4T-+cu/q%Fa&ɀiRKɥ,B,Cic]RAB0B柾#՞.ČQX?gx +n=**c}{P^ ֯o\bq<=  O~Ў)+bӂAH;U|c<W2g үlpW>qr{_ӧ  MdN>ܜoq$~T/tzә_ C#T &ذLC2878Rh91xlҩIf%ꏒWׂ/G"wU)+dy)> a.%]in ]~kЮbӽ٧8[79SϤQ!xhc'=#n)U!qkl4^y|pm4~+KWv^6g$Ҽ@i _{"z?qĚGVg a>v/hTUs*uB펃p/_osJ w ʼ"ԝ4}'4NJy\Xh)"Y87>?28>h)KNGuh>"#1psb -_Dh>(fgݥT-`DIu63asO9N| l >e5fA'-L h91MB@$G27|'*66̝k*` 4jcS’:BuLZK] Bf[sf!՛,᱇O; WEoDPxˀcMz!f+f V:ax( m|&2#=%ԐBߥ# OlC4ِ: pˢEqU8|UPaZss=bm`˅~@ 6 Ȳ̴G   VV*/%LocalesLocales.Examples1document.tex*/%LocalesLocales.Examples2document.tex*/%LocalesLocales.Examples3document.tex(-% LocalesLocales.Examplesdocument.tex!: b,F5OTM`(\OaJ[,Orq>(bPf\,fnO)D=fpfiw{CFJP" Jb?D>i@L;bMFλRS [WueH)]Mҿj3qxio41,D-k*l!1,A1*7`$s1 nD.3_#=&ǐȄߤ&#Ga[ mӄKb,H=8p0oTZ '#Ŝ P oyBN!o*A}+:cQXJ'-/ѝw0&‡OcCkl[H,WD<+2@!L~(l]*8贏mSAFn)#є"{S% +g F㕜ݩ0\H$dP*dv q (8_~uh !P& {H3 EwX):= XQ*t\K˱m#l:|3m9w# )5E2 AA+67R7U'5j~<9+ג_L )wIMfk7~l1gc2R=]qvV yL5&L@Gy_U9'{WsUP$p;wY6/ᱭ{:{[`U6m݁t,ڠy2}!N=aI\ɐf",p)E)7؃pH󺤃"bҩjv0QG\8`''"76((\T奸^M}mfF S|ѧco1ֱC`'w'o^I.*:{U~>'9Ev7/Gr-s◦{nfAel`.cG<XߨL0/6lE5/ˢ]E8(.}S׊DR1b܂NڒP `I]=SBLk[jl%.\JEWMS\r cU0<'479viip730= ;/y ?Wk05`Ҥ1ғ"GȠFp jo ݩUa>F}TPu<%*\j !̉s[{"(9tBQ :x+ZXKKCٖpa*Eҵ~=n򗻠+$x^^TzHqRV|g͙  X%+Q _^'!2@M)gU!"9e5;PJvۚf(}կKGҰ3< u1Ʃ.9a')E<1`(͆h#UXuL:P`ZXu:7Тp|yOU*DNK0#JPVXg&4e͸s3Eh˭dϹiaۏڨqʮaQFg"(LyBGHBƖ=HFNz\! m3$}0) -LnDBs8mLNh&0TNVóx\&ɤu=ͭ QU:$!ݘd' h?$/kCIn#FfF"NK6Z؍QN[mx4υ>kcT05Vl[,M9+clRa ?' O:yR(Lt9m^j藲5W*N|D>)QDhGvDug~9\Lb7qNyl740P2e)u9:}{ Ȉ@%N @SzԄ'*owr 7JqQPcsz_6"]b+T 7]dnf ^#H|̹Q~N觊:,fD(~p&ь:6_IyDhsG@ՐA8s{@> CXP-J#|T;<:ߑ$%ܾF^b#k XSx]Ez=%_1c ЀGnUDwGmV/d= #xz̅8 s]leOQW y" OtG] IWه}fV ΂ &` xr^H\} N  F Ε*nrӎJI9Ghv9 Tz1xӼ$Q|gwZkLf_VokA8/I9R|5UleϪ WK8rN6$AlS&΃ڙI '۪aekl6k&p_t|h6JqesYh-}Gd)OWGSbֵD=/t#װԨ28OkL_tG9>Z3 *ʔV0SD)E -)fٽyYGoNcv=zeBA 9If#ZUĂp pf$VҔ(as2kMF t`5:v>0 S4SE*`o"qϏFnft@B.k, [\vf[Ƈu9_œubB[8N wGR 9o`bgM1nVmd}/oe+|B} DҎ `UTz{ (n+΂)YŰq|;PSe[D)_ۃ>`iw+"ʿŴz=KĂ I˷(; cī8T,*['j^$-P5JGrλ%B\xϜz>i)+=)Q\]Zㆱ``}.&6" {gk=s;M4CFUk! =Z\2Lm$8FL,w>X@#eY=l ӃiYZO"Ȃyd[]֡F<{E%#X/cٮ ʍo漉Gց+3hq".8&P l8a̾ ΥE޹v&'edhEӲQPPrhS`LR  `/UH u9鍎h]Fr,e]` c+w7ˊBBÄ吇5rchu<<#HqE3J{h\_s^JKjs놥N URh+"16 LHˑN=A8uJXbs z=MY9G ŶWBo[a k+h׿3E+9׸J$xg*:XnL;;$d5F12F P_r=8`Ez+JW'f'ͽKKfgubz7A\_ Ǧwac@сս^8މ~%>̱I-iܨAP3ƥ@!Q|g2ӘM볁s6]B{I ]ZNAuBS^0zcJG ?cy8k%[&9a. T\cV,a~mj.hA vxTY߾rL$0c&~&i„~ S{BWFY&Өkj*@Z#W2k'F1/'\&eݰQ+ w{SQv+mr6 L[`9Wg@'m`1EHOS#tB7Ċ6޼Ximښcc (%K3,,$/hi\E4NQ!Kf7 ƻC]0eҩA691^yOgӁkrDuW8Usl֙1^azcS2M6v2nX+Pw^v}-ܕ,)ȾjOtybjD2pg8~[Ԁ\mY[ӍPWAuifQ¡gEte;X{2vUN։<nB ig!&3G {#jӀhF-G@)=vcF\uڳ(QH3u. \aT/UQB2z+*-ΔIoD姫z)+TU!nm> va")` Wy?Z5"ḍh*@W/uʼns/ ~Mø݄gLWmŒL]J.QW}@nIZc|WWBKy"Fz@V3M { i%X u=gT3iR4D lshb>ɉ7vOqUx bnJyn$YpK蘿K>5%pC Jcy`)k'XBv=(z.-6tĜ1BDZ@!HTT뿵c, D@PF| p=2@CKf!7^ aZqj=acm׫NcMoB$`HdF]0\{}k.xqwz̒hٶ"S(rH|Ll_AP$2#Y!vNx zŅ-?Ra p+gА(aL>)ċۿf֗S;(đQ2r* 5 L`dz:$$(e˿6D>B} yyQ u#{" Yl|L=I+Jjοw3hC)2eouiGD[uk6}=*]^H l^MA%.s}Sޏ x%w{BY\g=<_/-E;.)aMeͪ"%v4Nw#nwhڑeZD 5nFwo)A2qL>A[D r{ nI/EF2$5R=AЍ?YZ5OxvǘmC yب5'SkEkV/W5u5>2.>C㹌kK/1lARCCq/d@[v\ZRbew)8Eϛ0 Ћ(_QGt/*6SK{l}׼"Υ=;5d;*J~Kk./^wlͪ VޟqDT+o^o4֤ V;X`&Cn-/&miRM'CIO`[RӾ (8-uatGx;|QSCHAI/!^5$e}>z\ fMG===BJp&9ZRTSBU`0z*!_Ǻ}Xk>w׫DFE|}3t_^RDঀ g|~Wpcج *bM}%P&nd&_z_=ߏun8ߟql*q;=Sf>/OpE :+ n&1ʯ{^kMx¢ T '@@d2lBeG=6;i8Fu]8+ػZMfNjeKcTįf|g9x iEʰz%3=pt4ܪF g9`.O[.-!А/#{σzm?]=mXlG?m`j m&cFa[b&]nJU_"Q. ӏp >҂|y[#5̴h6?-$"`>04]ҧZ"Zj.i["cG0l]Ȣu1`F0xv.ܕYXdl}475u-Uj~3dTdMm@[q׆6CSx{۴PL\RoKjFgϽ wEcjB3 .'=Y;CSb?qBE¯G>d%C.eD[I|K ٨WشF BXQS(q d\9Y} Ư]_koCIԧu9֎#?oKi7Yɹ<2A~LB#X%j 1T=uE Tҹ uΠiF%Ҿ`_[~%\5Z=_k ?.j(onIv y᳹`=I إ)1ShNخRtn\ͅ~Nif`ziSP_v`pBNw(` :5KVϣ&5Ljb5]6ϖ|*7mJ2- SN>:Zbm7y=_ci!`u378z!\?"ͩ.9&-'>M:܇ 5KeaX>7_0~'2Η2ΔDM6] v6Q spWw-졗zbj4jkSӨ,S%06њ6mKDy*AmGQC=]FRt1rMΡXEo\45^7s{Q +$)da֪C쒡j Nd\: #'w λ>7,=3 riZJ*4r֮h@})osJf4%8?6mqt∍uF,xɀv"lf% ~}HnBU≹Ik-~.}Ne1k!lb寰w*9Q3G3I5p޲)ٙ_74)[eF$psN(~6 m16~ :#9'kS%ǖb΢;WMV/+іD#mjƜynX[]ov^ =Pdytp V\z{Hä'k8BjS[z;S^/_u륆s*ϴ_Ynd+z%fק<mP]tvUkǁMw]k[ZDpFiJݼߙS?, 6{\Z=/#?WLtZw=QHdUPfs'' J !B^r*_m096&-g͞_b=Շ :Mm\ղF } _^Gख़m v:6!XRIQ}cSrlfsh^-۳BLz 7PNiN ͯ,C%CZf*J -)=يNmڐI\XP T-(sf-yP-a;w`]a`{l+ 8_4u5A#oZOĥ*bֲ!㠊*4||M~>QA>r$}#!/kp?^k{3xE." pq$b!{$p,)wa0r?+LKmq]N1+ 'Nn?#L.J(-Sjث(-\,69 7'HyY#E(,m$[o ~#1ecx ^CO^As\Q19W P)9{^|VM&E+-j_ h'H_V+f[Anh&(ڨm\۟JP^L9NB5Zc;yox-sj,=+s8pџ J }9 pkzy {^/fc@0Ҩt1 =HL2rs dTOXQ46@mGP oA" !OQ PI{Q\Lg, 6$t$Ѕ >ÚZSᴄʵn |8*;@3]:=# j;t@ >B1[ QᮭPxN BnW޿liļK̵v( pSljb2{ gIla\v8N ,7ȟ:m3O0_*!dgRzW3FB,eX/ ّ/%8C~M{sQu @[DcrbqOpoTڮi4ޖ{o /Jb9mãb%x+%6go=O' uP?ź0G$(RšOע|))~NXR=mŪH-{ |&xO;D,vQAVr.w/TseVE̊gYZ **G-% DLocalesLocales.Examplesdocument.tex7zXZִF! '+Y]A-MՋhvG"uIBm5v'y(cŚ5b!X؁t-P2ڂQ:s]M4-Wyq`VqAnz=W ̔%#޽ՊtMA6#zvL\2il{ ?q.nGNB틌_gzI` e2bU4+$D, ?T(ib4 ( #C=h 79f7[i\i+f;dnk@z ^c7}C'֜ :1wR2%MN,Q("O $0?&3)RУ1,uUᄠ&{5'1~t׍n`ta $8y6*ffEǃWҌC˦!"Z 26NQ@Z^?Kmc\P*L r-_Oe5.{#>DgEVʾ/YqUEۑeUQOcH@wx=)5pTR9v+""P*v{gn]Q@ڬ"{3 VPr4Z%C94ezYD宑#l d Uǡ5-@Hm4Ԝ5B`6-U*UlS +'cN˳$KߧH@J> TQ U ~!:%$NEg':0!1i,7r(ЦׄE_w;t hG+GZ<ٍ\jm!T#|lǓuR\۷yhgWZSwbrJN\#w;1NvU @)a ̪ۀ z=_־5fƐP\׶yC@B%&PzLhɢ0QgcgFBreɷKW>eVkW(>|7As7ZU}:> \@K!iWr֣_+Ǎ Dk˽^L,?_yuY]Ƨ_x5`Q٠| 9+dԪ;4(ѪNt>a8\D|+Rq><.?bk />idR^v|Ⴓa5?yR\UHU/4T-+cu/q%Fa&ɀiRKɥ,B,Cic]RAB0B柾#՞.ČQX?gx +n=**c}{P^ ֯o\bq<=  O~Ў)+bӂAH;U|c<W2g үlpW>qr{_ӧ  MdN>ܜoq$~T/tzә_ C#T &ذLC2878Rh91xlҩIf%ꏒWׂ/G"wU)+dy)> a.%]in ]~kЮbӽ٧8[79SϤQ!xhc'=#n)U!qkl4^y|pm4~+KWv^6g$Ҽ@i _{"z?qĚGVg a>v/hTUs*uB펃p/_osJ w ʼ"ԝ4}'4NJy\Xh)"Y87>?28>h)KNGuh>"#1psb -_Dh>(fgݥT-`DIu63asO9N| l >e5fA'-L h91MB@$G27|'*66̝k*` 4jcS’:BuLZK] Bf[sf!՛,᱇O; WEoDPxˀcMz!f+f V:ax( m|&2#=%ԐBߥ# OlC4ِ: pˢEqU8|UPaZss=bm`˅~@ 6 Ȳ̴G1gd GMG/% pBF @顬8{zznM bZ]nN.WR+< aNW{;֋gSҠ0gYZ$/% |LocalesLocales.Examples3document.tex7zXZִF! +6]A-MՋhvG"uIBm5v'y()iŢ5nmh)4n9/vYdiiAswb8ä:9t}MWAP+=sQlHVhkc3pbKRSGo7e"yt ()`"༆<MPdSYqC &:l S:v$ gb]Iyj~qQ3P(\/]n MvC 玑j '&kfV:u|ez脱(H,@Xhhzi+r0\rыw-K){]"OOaUR=&GȻ ,4(J (9Y1@mj\А|6T7AQ?dMqYutxuR|y+\5P#[_lڔ!N1nfA٢~ۚGW~;Zgݍf~ioC7>WfW94\KBar:`~o+ծIZf1c=ď3ߚ B[O%b*– {4hIo~klcըOۏb~0gpVs(96^RI =U(o5 8t" ZmXvAx&3݄r%U;v`= BE'?RZ n?)%F( w-@kXΝv~;)1g}^DQG :PK=yЕde_wZ!Q( ˝#SXzE4JjKl Zs=XQ8Ŝ̿w;K#՝/ *qjv"+.'1]WRZ UH*!$'N0y@LׯIxXHRcqpwsT ,1P- CV,HG*ƬΩ.kZ:+(TޗBjt ^ZĖj2l6 *P;N7 J[0ִ#'6M#^ٿOuDUb%[;Gj̈+KWI{Gb(IqߤppQvj7ņ&j`\I/Ӑ'%1]ֻʜCsDB9ۮ41k=j_DИS&&(sK؊g-V>Ws4%ڍ| h7I8-1$ 歾)IeUž* zC#ws 7zJd\(9:}SDC8ҕ3E>VRVaWF|J=5QJ 5Oaf:d忘"6,W/gw Pr<>!haU{ݤ_7:*;@@?(αAwA0uo%Z!Z G$U*|h.c2^SZoX@~ 9 ^%WͿWBAsygE#rY^Ou4UlSn{쵾{xL6B̧>7HuތNN~iQ} ؄?T5*W/ `B yk*G۠x*z2r(|YդŃb0@L\3"{Fz|NgןamR?(]枚ExMlRL.9?~$ՠWw󐦵;a>B!AUF`qgKPxr_/ݘp:앲pf:Fۍ8-~A,~T~`8".^vz$ 5%qZ2 cE1ef*wuMӝo('pk6dVFJ} g/% LocalesLocales.Examples1document.tex7zXZִF! "{]A-MՋhvG"uIBm5v'y()iŢ5nTh)4n9/vYdiiAswb8ä:9t}MWAP+=sQlHVhkc3pbKRSGo7e"yt (%I{ X4 FrS:<3NؑMo0W )u5YJ\@9@M1;X),S,kKAFξ(Z|͛ӲipUxDη. H#/+?uC'Fci&SN`wy"-e ^',(2?(fߟzn ـN,U^hNw"X9!C~)cɟcu7MMIQ"hT#vG鮵$Oc9 Te%A*S-i]Qdizirj=WEu%*?T½P9ݲPpf7NhCIlApc~=< 8 M n$ "xeZ&oUЎu`h:ApAIrڋI؜äDOy_{PiFYi݉Sg>х0׍[v-ޜ@24td$)v?s ۅl Sg毀fvx6WVh#j BE_l 0 6Ov5|6jRB{A2;4]?:˟ 1 ż֚gխ_sB|D 6e+7V]r}'пH/9~l x$&M:j#xɇJ &z>_C_)@l0{ԫaf4zߪ $;JATD{5L9lWaa\D2V_PAV Sw⡷yCciGRGbN iTI7.jde)VBdZ n?tUBNB/6h5&d7Qμa/6O-[p- 0%]MiW=uG[wG0Zkh*J 7߀=k:iD09n˩!vjglH͍?\3q,C7[% H(Y#q')le@}(0ZhPu6=gV_Xz9CKԦ0vL Rf/GФ С I.\#OllbTsY:Ѫ#Q~FnOk"a.ȗ$U$`24ǜv(2:~p!9ˊ|yAo'AqK{ ,/@BC<ńl'3xKnSo :4&os{ymC ͊MK[y,l&fBl]pWp _pwT;\c{6-euG .FMZhW35G-)ZR ~}eŏA-~tGxRi$ cW7H,hg,z9ň_@#amzGgjGg~zPDRF_Ge~^>5%OQ]j-QPĿY]&Uy=s#TX:$zEf?)ji̸?YWR=r]1@Rz >TPv\»2a.@bMJV8 M#>U&$xNkElٲ;Gu~S@fWZeV1KD|<kyj1+\Do4EĹgk2D,Dg> `RH *s ?TpֹSꚔj,_>U%vr4:gYZ