SQLite format 3@ .C  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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   {p4D ]/ ZF-Coind:threads=4elapsed=0.657cpu=1.604gc=0.0007zXZִF! O::name=applyoffset=2210file=~~/src/ZF/Coind/Map.thyelapsed=0.130hPp}YZ7zXZִF! ]ŗXiɟ94/<&qzKppP#xYR=#yF]\1x\|w׀rRSejJO`Z[[W rNVc7%5Pr89Ck>ʍ G^EyqgYZ7zXZִF! i]ŗXi%N4<ګtv}0t{$UӰ1c*ߓR(c)I)c=SqL,oGuR j8KR&h cp"N$%ת+*[(E:=Um }CY˄-B( ɩPn9I&n놞Hs s"+A|T`lm+2c+#^kQBUsjsέ 8 Ƨ:@ ?7j/脊 ?+v>LӠH &ϲ u5Vɾ̼D"~/s>Ä;չ;;.^A?@:X1K[Լ)Ge$L1@\7 =I6q63/sgZ8FU' kg2vr{/pY̲ cZpJr1X6QvrW=tӐ[9mAsi\?֩g⻁I+!lAjxO5Gr>>'Nؐ-6"7T"Cqs)GI(u goԄ?myz2Dz(n7%7 hL-dsEL,oY1 mzh#驞xhaU A7w;aQdƹK>o(b$H8;[ UO#W1 h OӪR,ŭ/QWmLQ B+aך=]iDmۂ.9nJOj۪u^݌YbđQ[wPɦ9jPau8 -2j)ա'"E?&%;}*M=r.6&];Z{9;Y\Q~jZk=ce =$@nrfN#ynϟz=g';HQt8'(¡K"Bٌ=P+*[<"!T9QmDW8[һ~|Wb@3;Q>gYZ2+3 ZF-CoindZF-Coind.Staticdocument/Static.tex7zXZִF! 8]>]A-MՋhvG"uIBm5ȩ؁y!~Pa_@b񓉖TXq(-׌}T6VF7@@^`Q='!wyKvřruKU0<\9=Ծl$cpA9V1zC0rqxczfw9f/q I%˧]E?Q29S9Z1t['N8q"N3x/| P1YsgsG/)D WUKuw p.3HBZJ_F+s2 ê)V`'YiˮOM zr^.@ tn*ݮS >? t)a$ޓǎK\W $<ڞcVR=BA 8Ï]^)Cej=m(dE7ŬP$+|&"˿_ ؜@:q@0%DJ梜) ['dK'hދ]s-U KJ4'U>gQ?mŔ'pXa[YV,&c` }C2>h-'ϗbA\[7-ư%ٛ( ; `* V.@boc^ݴ!$"fM:SS<J9)wVNҙ?{;KS.5X XS*pNpGwhgVJ&A*'+赿=L5u3gRو1W[n8!8T"pq^m|(6V ;] w[CFs~yuRWqeHp{YK%NG6/|2,"i䧔%Yۮg1`]K ) [Y 30^XQ!oFeLzoBL".#_hֲLI-L쯓 k ]Jb[oS)@t Eackڹ k@v~CSQGMDl\>jXCpKSlZM0u@[~06'sPr/;Z弭茠"T%tDc43 cGE$x]T?S;(h)M(yqXb>-E|+v?j'V̈u8I5j֙PNSܦRk-'5KLv"sz6,}l]"pT4'      n: n  h K 9dv'%'ZF-CoindZF-Coind.ECRPIDE/messages%%#ZF-CoindZF-Coind.ECRPIDE/markup))'ZF-CoindZF-Coind.TypesPIDE/messages')#ZF-CoindZF-Coind.TypesPIDE/markup*%-ZF-CoindZF-Coind.ECRdocument/ECR.tex.)1ZF-CoindZF-Coind.Typesdocument/Types.tex,/'ZF-CoindZF-Coind.LanguagePIDE/messages*/#ZF-CoindZF-Coind.LanguagePIDE/markup'%'ZF-CoindZF-Coind.MapPIDE/messages %%#ZF-CoindZF-Coind.MapPIDE/markup +-'ZF-CoindZF-Coind.DynamicPIDE/messages )-#ZF-CoindZF-Coind.DynamicPIDE/markup *+'ZF-CoindZF-Coind.ValuesPIDE/messages 4/7ZF-CoindZF-Coind.Languagedocument/Language.tex(+#ZF-CoindZF-Coind.ValuesPIDE/markup*%-ZF-CoindZF-Coind.Mapdocument/Map.tex2-5ZF-CoindZF-Coind.Dynamicdocument/Dynamic.tex*+'ZF-CoindZF-Coind.StaticPIDE/messages0+3ZF-CoindZF-Coind.Valuesdocument/Values.tex(+#ZF-CoindZF-Coind.StaticPIDE/markup/+3 ZF-CoindZF-Coind.Staticdocument/Static.tex   . K.+# lZF-CoindZF-Coind.StaticPIDE/markup7zXZִF! }] !M젗OFOJ"\*OĵEP<ȱMksn#r[p"w!H@\7 =I6q63/sgZ8FU' kg2vr{/pY̲ cZpJr1X6QvrW=tӐ[9mAsi\?֩g⻁I+!lAjxO5Gr>>'Nؐ-6"7T"Cqs)GI(u goԄ?myz2Dz(n7%7 hL-dsEL,oY1 mzh#驞xhaU A7w;aQdƹK>o(b$H8;[ UO#W1 h OӪR,ŭ/QWmLQ B+aך=]iDmۂ.9nJOj۪u^݌YbđQ[wPɦ9jPau8 -2j)ա'"E?&%;}*M=r.6&];Z{9;Y\Q~jZk=ce =$@nrfN#ynϟz=g';HQt8'(¡K"Bٌ=P+*[<"!T9QmDW8[һ~|Wb@3;Q>gYZ2+3 ZF-CoindZF-Coind.Staticdocument/Static.tex7zXZִF! 8]>]A-MՋhvG"uIBm5ȩ؁y!~Pa_@b񓉖TXq(-׌}T6VF7@@^`Q='!wyKvřruKU0<\9=Ծl$cpA9V1zC0rqxczfw9f/q I%˧]E?Q29S9Z1t['N8q"N3x/| P1YsgsG/)D WUKuw p.3HBZJ_F+s2 ê)V`'YiˮOM zr^.@ tn*ݮS >? t)a$ޓǎK\W $<ڞcVR=BA 8Ï]^)Cej=m(dE7ŬP$+|&"˿_ ؜@:q@0%DJ梜) ['dK'hދ]s-U KJ4'U>gQ?mŔ'pXa[YV,&c` }C2>h-'ϗbA\[7-ư%ٛ( ; `* V.@boc^ݴ!$"fM:SS<J9)wVNҙ?{;KS.5X XS*pNpGwhgVJ&A*'+赿=L5u3gRو1W[n8!8T"pq^m|(6V ;] w[CFs~yuRWqeHp{YK%NG6/|2,"i䧔%Yۮg1`]K ) [Y 30^XQ!oFeLzoBL".#_hֲLI-L쯓 k ]Jb[oS)@t Eackڹ k@v~CSQGMDl\>jXCpKSlZM0u@[~06'sPr/;Z弭茠"T%tDc43 cGE$x]T?S;(h)M(yqXb>-E|+v?j'V̈u8I5j֙PNSܦRk-'5KLv"sz6,}l]"pT4'HhVsC} pU:gYZ !x!T-5 LZF-CoindZF-Coind.Dynamicdocument/Dynamic.tex7zXZִF! %K]A-MՋhvG"uIBm5}̙zAU6i# uPe|?nWxayU)B jBl6Fu5>&u8Be;f-1u0J磯!ɹu%p;cs5$Wylae=I,THXZ9(8A蕽oF9cq,2p0v˳$B1 .GJ)j\8뇵fncpQ?oP ׄ?3)[$6J1)ያGo0 3# jm맠"ApyZ3݄T4 ˢiutޣ)1kmyЃ`DZv 2n$u؝2[ %Y]P41ЄQ tg{t߂S4d`-!QՄS.vK1Nu m8 濭œb4!mx4ߍqU# Ѭ@6\|o-{wh`5ŞZpt΅ҎxVFկ>ʩak/fߦ f{>G; ?T=Sl$5@YSOIaF 4[*R&#ˢ$tXלXD,5 PN \ ![jlQK{L)UM_,f]~۷"bj!cFO4p*Ux,o4sH@!q='\-`)d*fMh,:mcVWazh\eB 6Gϖjս }<qLa6D V,88S8(^[5Z~̥9LEq<³[H^bC/!ff1C>1XI&UvUSdÑ ͆JOgYZ\+' lZF-CoindZF-Coind.StaticPIDE/messages7zXZִF! M]·Iq n[:|&[zAԉHߧ󟶾5W槈 f <"CO~aͨ\ujK_z.=&R~2[*^gVRTs(٘D:d"jjL\ÉFjeчzD5>lqN2y&1rÖҰレ'  .Agake/F+, ( #*yBgbD:KPlBgYZ&+3 tZF-CoindZF-Coind.Valuesdocument/Values.tex7zXZִF! U]A-MՋhvG"uIBm5*d \, T߶v.BpwK1C#n?hXQ-pnp(_GFdM7:z 5I?_S!?KOr]9W0JТ3 nu<da`diU>3JMLH&* ]`s>荾Zau0b_lXP `\_ͬiwIpF9򛐞P |k[~YN{qQ Oz n4K75|>Dܛ@ީ'&eBR״qJńMI_a)DŽҨğJ5|:ec(>uY~Yuțu{GSV̕6ZJ G,;ӯ˜Ӡu\^ j%ȇWvRS׃ t17 d.vdfTfnkJ9UH|6ߛ,ܴ/ mv /d^e# <ʇ8!T+]Ɇ9j_r1"q_& @ y`_"]*t$r+gURP\.4D Ãt/ X` *a2˥ ʦ;pbFUk~TNE=e&fpߣV(g >E#u9q>wUey-R@u7R3JӈG)Y"_ODBP|nh&> #psv.|8+Q FE,jc&Lܡ918.]3oM**OL[!87e(#^;}Ĭ"s}@9E'A%^4)Zh,XؖHPa|l ɼkkG*a87bXh_B \m2Gj2;s{ŚcVAxU5L-2I{mЏ6Պ@A d$!N."._u؁ݻAKUf\fAfONQژYdy(2+Ɉ@z@HQwP,.Îᕡp2.,^Q1sTyN^Nm\c&qrmQ0Rޒޚp c`Mpw Z-W :՜ՆI:ПGBr#)7KX:AhSW U^wb:-aGR᷌u͒:ը8m; MK Kxrn8d9hAP:I]?n H+n?+dd8Ds~1-IxQ4HGޕ#-?\b8 RAU[E%BHLL7*@2pS;JV7E .; $ҀX?Uk  wB_]RT_J|@{#م;sܶa8 9}M>@+U2?nXv~/!fFP{(NF?11 U:}G0|^ĮnT3KfAsJN$ܴy7ֿuٞ;h@eZ7@ @Wy2Ky?\CeHg hF qn"ƅ@^Dk/@!\D.n)d 9eY锼ʅoJ9hOXil&➮Eq,p+h=ŋ ^ ŕO-;PYR1x1wrpЗAXzSwIǢ԰qbJlZEx|8U+-n |Pя!gfȀ}5S\+ $roĎ+Huo L\kَ,6L_<)Mm-D4;g+,;}"̚pk-ٻu)Q;٫@>32+v O|3~QOi2QB!ڹ"tRi|I60O (jb.vUըOiJCmc DTuH\dU,|FCYSѕ1FU?ȣX[J08Aܚ|nبF,Ki2QDbë3/{PȐQ(."ẽc7rtSBu"ݡ>Ƙ?\0mqu{hdVJ EQc5}Is3`q2_Ob ,E@gYZd%- |ZF-CoindZF-Coind.Mapdocument/Map.tex7zXZִF! ]A-MՋhvG"uIBm51,݈KcYr(&N{[)eQlrP 刓p>?$QtH\mfbB7.,*ΠCX07*]bK7Š #5CgX5 hⲦp8,x${r 7 X <4΍q>QszAբR-6uG(⟍1S y [M˭RmV(\!zq&c`\[3qBkح*TI:nļ"0;!&>ʏԕHTb_ /gEGO}Sd7uѱQXp\6:Q&x+2f1߹=wJ5}} q8J"aƥ @vqѯ@n"h>v8nj&.ِ2El\ZʞUS޾ ow|J%+‡>\X ;[N㒛vbw3O`DFL{PSNURza! Ϩyϙuͧ>XZEgJ )bő[ډ{*0,&oV 9"VGx>q5#}h:!%j`^ ޵|Azl@h/)rP|l[*ѡ ×&C_ѾW:Rj, V;a&Rb&#i .js;R!G'-MOF:BΖ{v04+'l^ے}4YDHw$ ;u4H;tUPzsWN,[X0r z?|pN8WOW{IYm,}?@DF9ʹrT9MM >^kfbga_<0,uh TnzB  @g{1Kޚ}\>i6P'B\MC!KWJ,hWօΟ'u5b0IU.W*7bm7*0j>0ƢV <)N5L3~b?}ZBŎ N( jD)T -TY3 92 Tbjc; xC`,P2*zXFNfUL?S9&J ٓXr-N&~({Hua9p<vZ0AP hFWs;'c-}>1ԊLy8Y 3™7qZEܺ%E8v10_VG)q-_ㄪfЋdU|`-M0V59}L |؎GӀp" vPт!} 7uv Uoi5b3%Cn [)?c5v\G~ ~]1 ;9)ee:rTTKnv>Nj=N("/~Z(pƴ"n:m."u9LG9"~Rkbu)Lb[.Yjly T{{y=O'FO>>o&fȃp7x~ӃiE߄s8u@4eY^մ :r#P!mq M Z1tgUj2HN0o%o7K;I(|L{H R|gYZO -# TZF-CoindZF-Coind.DynamicPIDE/markup7zXZִF! ud] !M젗OFOJ"\*OA!H( }.w Aq Xb^0fQNMha)SV2(u!0Ad`9z~ 1Rp׋JWA0O ΆBK d`v1'|C=Tg*fS+A; JƀNuEPP[`-l@iw|_GN/klHqO >ZPSf~H_޲Q?Bsj˴4;uQ- ^(N(5zi&;O{#$5? L6lI6TzP{³^ȀM%UƋ_S;FO±]GxF>QcgYZ /7 4ZF-CoindZF-Coind.Languagedocument/Language.tex7zXZִF! ]A-MՋhvG"uIBm5^mN:Eܹ{Q1Vc'D~Tt_xQa8 EdL5X^Z%'#\ؾƐ>nKGy=Fdh:*QlqxCC LTa!K jXQ.tPr7nTSd5dEd9h}B5<>@v.2Sw=DMT+1!Ծ2T!Y/|X\̙ '48Won[vVk?m/8TY9[aջ|tȈs@a&twV0zo3꤉*5@ %u)ܚv 6tE }q-h:y J= N|堥J~Zk+BA 'eW>)K.seo|Nig!o+'.s+OۀY &aLOwrN\p 'C2  ɾ-%̖(cIV6dJ X:4Ml=Rb =g?w(Wട+sq^Azx|<2KnW V %sYC.:7ڇUۡpћw}x}qc[@m _XW8{O3f#ksٲzg P߽[PJgYZ/# \ZF-CoindZF-Coind.LanguagePIDE/markup7zXZִF! \'] !M젗OFOJ"\*Ok/sJ@xpvQssiBŴ1Z4Q(V@kFM ;+g:UpR:rQX=X5#ȝ\/h.i7y= ~<,-<q4ڦvPzferyPYk}ֳM1;$anD9B+p(7jRB)} 0V?z@;e Z͒55$Uw6 SLjwԞGO~X XTweH7tE9ڶWQrC Ž&EF2Ȟxlr>ŔP% ȹ!uܐ%05D<0mV2$WJ%\|^>~rP*QiX ]df-+((76f'* J Ǹʛ Hܻ͞0SNuiG(`Qgs J2ijNIH\y5kˍֶnSYφS/2zWtIbdž ԁCfSj(` g9 d(.{gYZi %' ZF-CoindZF-Coind.MapPIDE/messages7zXZִF! c]Άxʆ5.f-9 rq8NmfY;$|Z<By^N.Zu$DN; }|nT%!cTPB g]N+J-_%r6U0SE(ǯ*?7fy2`` Jib=;p,t3I}vn?QT.g]r| Q y YD >UR]DQ,1_NNJ56kB7^)Y$l RĎRpk"Oغذf;(9{_郌tdpꦃCf\O'*O[MZfbɧp0 >Q3Ҭbvƴ/`/7}Rr 5o w ]0ԶKwMxˆug, t;k_x} U}|~M:& 4Is'rhG xl8n(ܔx}wgQ ~b!3߆lhS3D{%m-O̎&Pl_ jM^Bܠ+9dDx7ᾬzm8=|0GgL7{0 J3u*!U qB*~V[.|+i Eon}}i!g>;Tg_1/%jmwuoH?ryYMK 0ONGr'|u =)1YfS\7U4dI=s^LW~H'3,ɳK wn [|G x$*vHr%zrD)/QkF;$' _3V0ϟScY->. ޳1>ZGqv/u %L>SygN3x-NMҔVD%EՠP ڦHm0Bn:"Jd!ZUH+B/ 3JX8 SSm|ݍ/e8ꏈ5)㪿J{-Žz\o~_cMbY:,/ Y&u9$̬Z Y q 1,f/ _WSF`%t׳I72+ěQN:2Sr"/W?K_Z{&#Tş?ٳAZN*FÛ|W'VnF*ȱŻyO{f#o %%vZ"0T xSvBkgG':s;QX^6Y`LT7ON },v, ;6`WzD&bysd.54T{"H )d,?l<>C8CmJ!:,sE'ZjM/2*ZAh:̫P;,d%:У5J},_gnj]װ F&cbZlADr2t(G{cgM, cAY Hh3EHLGwrP@9dln~F j"klTI,4KPu&7*>W%Yc|>[i<܎IoB3oETvO|e_%C7cK;7s-.V*^䶆`eN,H0VTTiJMDmg`c;S{ʊz /6#s7l5Oi-09x;H4gd%Rl0'o։Lma(_*5`c1yphH5)>^.@b9ڛ<iz5|ݑd \aQa?SϾv?7+46[ig2Wqca9ſһkQu0M)_#_:TYhp3J:: 1;,1HޠISWyE~'DR2mESh T<c^"M"f4-"J2 lB86ڬEL*CsA=kL^?D} Dv]Q8d)CM6Y+auyg=<3w5}Tٍu+7"ѵ>¡ش#j7G'k-ݗO*SdK˞έS4)aA<\ۨ* gYZX%- dZF-CoindZF-Coind.ECRdocument/ECR.tex7zXZִF! O l]A-MՋhvG"uIBm5J7qr?DLރ%ٗ 0@ !8WG&0HxWijODV~]>?|fɯ+"}'1=V3! OJ=K;GZ;eZp%{s°B^pqwMoFs@Q1Qly jE5'h(x/! P#  :a=K-?WEWeE$ {LviG)[{¹NR= N=թ-@.a{-+_&}F6y3H^b8!N Z`㙚bHrbm apT8 l!=#M^pTc1)nYb=-*@oK}'2f_j\p?V6qh?_إZXɨd!d9y2v! z,m a(8xGd;u׿rGHZgY1 ^ܔF߻5?16-]JյR>iO<^ ,\K|ѓ*Q1Kb AtmoFvl"~ڳǥjӑLP[eNJ<3FL}\5}Q3V5jAXTu ^ce~K-„OQguJ@n'CַѡtCQIW[vl :Ĝ*y1K/ߔR/CnNX30>+jh@z%Y9j*/ɰa16ד *$cyb@iH1xlxXnF\Er;ߒ-KrzbWFAw` eۖQjDaAU'L 䁒4>ǯEd?<#vte1,"?tRH3{RlRC0*2@L<uDDuJXg*Z~z#ȈłUܤPHBBpbAJlTHތ? "}~d8x Ŀ8p»x N D|pbGM̒P z ^^N]=R>3݁I*YK%.`Y~֖[ -g- orLQCT-uKBvn"n?d ·t? OS^;;W/Ktƅ횣y9K _s>I-c4jjx5,tq9ZiY0hV /J\Hpv, ?s}/SY6ѿ|G"Yr9Qg7UPC򀮃a.gYM-.Mer(NP:57j 򫊈8- g1&羈H?LeC`}XZIf#Bʮ{nuOPNBcD xR#"'}sxwxh=jo^Wlse@Bs^{9dJfwK6_DrMTSR"KqbOett!nCM@ eWv)p24YյfE!T ߄Lѧ9{No} nxӤ`Wשن .:4ϭ3mͱObOWJ(bF^,)2H{0bQSqώc, =lJxXEy@3Gjf[K..lo7A$b>}t?[u0TWY6 e}-EDqnh}ChgMJeu9L%+n/[H)Oqo>~/6nWkUq Ro3W<ÞΙTW>T ZϠ쿦}k%QzMVߩ)>ߥ܄<-|WK>úqc֘衻BO-tX*^rmaOq`.-Iy\ dsx+q=ܸۉZ 6(V;"&מ|}Lf`<#ޑ*H3 4 mQ'Uꪸ`dCnb1e}~cLjHNbl*)lj)dUϿ6RTTY N(`#Ɩ ';֪WEz.VSj|*gDs7%`5 6nM[)$?Nf XݏTݺsMjIwځ7MxRε3(qse`l٦15Z`,\<dnGaCD_*QG3Nï-mjG!&(EjnHd"~aL_YZւ7ET\X:Ql0p3 ,*k Н<p;8h,%;UGxM5jygZjҥdTrA'q=N^OT9%EEĽ|;e$m^@Zi{'l"شߓR S&gX&O,ռ_ji1P&xY7bA'e[kIxi@8>s;LeaFOˋC%t2P2ͼPxp5! !tU|;iQGn3PLiwc6*+w4/g|P̯a亯GMx `S 1b&.Sk q/kDRxmN^I3*8}$G?T8-XY@u;o>B&9؃KD_A<3NN6žvݴZP2g\Xze`ܟ?OS>(LPZw/9<:m< ;Ug76MOo:p((c%xHkije͆UBEl1Y# o-xN Bs$E|yΛΖ:4|B)Mjo vOvw./W`痊DtU\6*:{,t̬ o3=.˶D)\sÏ!D;ό0c8'.gsYm3AFLb~m)mtиOajrX˂! !%H(As@c{_,3F @Zk[sQcG agYZ;%# 4ZF-CoindZF-Coind.ECRPIDE/markup7zXZִF! DT] !M젗OFOJ"\*O')EzKE5Z4\l4N TrəI6‘S ҉(2nl*2<7^w.轢$gSffV9]'٠:\$H$G?2(F8겊<y/cEVm _sygNMFrƙ%ʓfjr>JfQJUU=#>~!벛KTo;pjֆf("P晄#vJp1ȅۏA?u,2?$NL dF^${g8:wTYh &ܝkrE9n=QG3Q!Yg[[SI-rT Ƃ|/h0yG_A*B AwlWA4 Nx,` ҸU3?h&A"y,$k 2JNF6L+ ᣃc|W\$H{@^ޕO\8QJ[s9k\ &e2ȝ>\JʫnϜ>jv:עMg8X~"b O >sAp01{`|-Qm.oAydPrg(MU9R&KT $eM88iVg)}HqqM'6_:"3. |iW*kf$dpOUJ!}+ivF2eͲ6gYZ)' \ZF-CoindZF-Coind.TypesPIDE/messages7zXZִF! x(]·Iq n[:|&[zdoў044oaeWXtw(OeOdUΔ1G*4NgLLG;qA>\t)Y7Ly~6^M0n/EW'(eD>lFgh]*7lNkX$:r &0d.]U_{|307 c d癦*dc>3q1!1ըǏ zrSb+~=QIx {2급rxw;&نʈ V{gYZ