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.576cpu=1.428gc=0.0007zXZִF! O::name=applyoffset=2210file=~~/src/ZF/Coind/Map.thyelapsed=0.127PV}ߞhPp}YZ7zXZִF! ]ŗXiɟ94/<&qzKppPy 2;cP]BZRCDΜ1"3rVe&{%vqԍ I#)1IjLtpͥea]Cv+ j< `v/M?yrgYZ7zXZִF! g]ŗXi%Pyu} JٚF 4|uQ2~€!u~tkOgc?yh>xJW^qvBVK y{7T@oP~Gh6+ΧRdFWfU~HN?a==*$S^^WwIx$qb,~í^IXy )@>BvpPxo'%iUD/m͟ w"@jRmWYTitqoSmLߏũ8 ;5c[gվ(㭫YN ˡ\mXsآ2:؁3WLH2Hj:L=y܏ۿ)ؘQ8 DT 0lgYZ0cfe1963c1fd79325adbece53d0aaac4cedb66897527c097151a176fe2b7115e283a3ad22f3623eb 88c8b364021243e5b8f73568533a45a4f2626ee6   ZF-Coind&+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  ]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'Hh      Z fl Z <  7 F a k9 '%'ZF-CoindZF-Coind.ECRPIDE/messages%%#ZF-CoindZF-Coind.ECRPIDE/markup$%!ZF-CoindZF-Coind.ECRPIDE/files*%-ZF-CoindZF-Coind.ECRdocument/ECR.tex'%'ZF-CoindZF-Coind.MapPIDE/messages%%#ZF-CoindZF-Coind.MapPIDE/markup$%!ZF-CoindZF-Coind.MapPIDE/files))'ZF-CoindZF-Coind.TypesPIDE/messages')#ZF-CoindZF-Coind.TypesPIDE/markup&)!ZF-CoindZF-Coind.TypesPIDE/files,/'ZF-CoindZF-Coind.LanguagePIDE/messages*/#ZF-CoindZF-Coind.LanguagePIDE/markup)/!ZF-CoindZF-Coind.LanguagePIDE/files+-'ZF-CoindZF-Coind.DynamicPIDE/messages)-#ZF-CoindZF-Coind.DynamicPIDE/markup(-!ZF-CoindZF-Coind.DynamicPIDE/files *+'ZF-CoindZF-Coind.ValuesPIDE/messages (+#ZF-CoindZF-Coind.ValuesPIDE/markup '+!ZF-CoindZF-Coind.ValuesPIDE/files *+'ZF-CoindZF-Coind.StaticPIDE/messages (+#ZF-CoindZF-Coind.StaticPIDE/markup*%-ZF-CoindZF-Coind.Mapdocument/Map.tex'+!ZF-CoindZF-Coind.StaticPIDE/files.)1ZF-CoindZF-Coind.Typesdocument/Types.tex4/7ZF-CoindZF-Coind.Languagedocument/Language.tex2-5ZF-CoindZF-Coind.Dynamicdocument/Dynamic.tex0+3ZF-CoindZF-Coind.Valuesdocument/Values.tex/+3 ZF-CoindZF-Coind.Staticdocument/Static.tex   " K"&+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  ]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  B+!@ZF-CoindZF-Coind.StaticPIDE/files~~/src/ZF/Coind/Static.thyL)1 DZF-CoindZF-Coind.Typesdocument/Types.tex7zXZִF! )N]A-MՋhvG"uIBm5uXu,|~V‘YY6)R /2šK.SgpQrWwIgNRhgJ*nC>l_ 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*>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  ɾ-%̖(&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[:|&[z|֘DH8tݻ~%/>nw&ǧ.̬Dj?̥7Mӡ]c aq9LM4p'?5le3H7QEƦ3{7o*Ǥ.xc;8ut # .+Hb頄}ǽX{H LJsVjd66p;WOQ$$՘cG+!_gYZ+# dZF-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(m"`\i@A3{-O^$ +xWEgbK1x{jX1DuHr$N/AjçQ?c#@޻_P=~ljƊY% Qu{A|yBs֧e6:.=@(YHsX/k(R+9p5jrJoV]@*dD'/GoS o]ӝ#5FcU8X3sHje>)ƹgmcjQyW4ݙϱCH!eB3Dz ui`6\xK] 2ɕt |," Rzo}Yxqo]?a{EsW4kg獙E"3R3fQߡA=EdTgYZd%- |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-;;:($gC7+A= c&>>16Jj6rҽ,3h E|s[> ,hB|dv|%Ժ5 0$dOb\}"ݍt{ I l_ 1;n[/g,TS?s4mVݧhM;fPe$ǂmK͵R􄥇~)9b|9Mi8$(O]Ǡ S jgYZD -!BZF-CoindZF-Coind.DynamicPIDE/files~~/src/ZF/Coind/Dynamic.thy@ +' 4ZF-CoindZF-Coind.ValuesPIDE/messages7zXZִF! M]·Iq n[:|&[z|KԳv:\GDB`.^z|Th>\*c/Xr2Ra\m K;->>7d JMisc|Y[fe \;lX -迨wYqrM2аyL)CzRHzdHod?_ t&osa4DƖ./ zcYCC3#!)ZWqC>ex" WwJ#/qX;^,1k?]&_ΉuDg1v;*FhP0\!RQljJ=' %>_#Ucmrۑc>䞖 Ҏ-|TA">S)_хӋF$5CfĈPE&F˞PY'v-#UAsUN@y .Yp*꫇+6 @OaKĚrLhIw ޚ⡏MoT 1_֬j|.MQW۾ֻ行6pY"ԋĨWmaqu,tŒ$E1Qkρk@ɃUpakٳSA|s ghGܑUَ 5=J9.Xgkm||j5d2m)^^@Fe >){fȂfzZfZ:EF0ukb#_Gx;)m^ӝ#>ߊT\#SZx0}0RQ' Ȋ"$4?DzMOAZԎmA| Y#\gYZ* +# ZF-CoindZF-Coind.ValuesPIDE/markup7zXZִF! ] !M젗OFOJ"\*O'kb‹Fj//|N EHP0.bU:)##6bGB7qhY0AŽl̶;zFm΀ϋI0Fc\hN (p &3Y5ڭl&ȯޠ׈iQΆ(GwtYVA5Y/K2_@ fK\jf- j; Xḱ]:}KRa럃tHDxE)=\;EQ(#Ns>Ò۔!Dx|1;+pω ۜ m]eW>I^yeW1L(Ά?#!{s XZoK?T22ZגI_܅acLvz0ڔ%rl'W;[2=Pz|Bsh$*=zLo'!ONq7_^,h2!z+ĉ8iԁjy%qbRh zʹUqY)0Xkaq)$O ')}Cyxܟʽ$8+EMYaq0fA-SgCTT.tѲxr:BШ,mH}z\% YsD>-_AX ~T̻%*%莻L¸݊,:BKFT8i'nSFeT˨ٔ0mڑ{ױol豰Lxc#KWe \$zgYZB +!@ZF-CoindZF-Coind.ValuesPIDE/files~~/src/ZF/Coind/Values.thy , i  Jv,G%# LZF-CoindZF-Coind.MapPIDE/markup7zXZִF! ] !M젗OFOJ"\*OnνV,u|ܙUgḌU3r6^4}iE@R]DQ,1_NNJ56kB7^)Y$l RĎRpk"Oغذf;(9{_郌tdpꦃCf\O'*O[MZfbɧp0 >Q3ҬbvW%Yc|>[i<܎IoB3oETvO|e_%C7cK;7q[o|;r#qx`*Ⲃ@Pbji bh<0AJJOBvB0f G@!*$ҦgSҺLGꕴ')]e*` zXf:F@Mn.~ yLġcm?]חFˎ63r 3.Owle["&9-\Օpbҳ8Hߩň [3NY߂uG ʏwIQR{]mN!ݛMlOњ%),Uԍ١gٴ 1VC5m[^>)v2oJP^SF\$Zy(FK}At^y%o:/$yiSP^+7t;ҐLWP솫pYS  !2-~{R|9t~KUϟ E퍥_؇K YWzJ% H(b8: [/EZ7iTr=BFHKgDЅq ts_6.ѡug~*U-_P%|Xa+ۨ* gYZ@)!>ZF-CoindZF-Coind.TypesPIDE/files~~/src/ZF/Coind/Types.thyb/' tZF-CoindZF-Coind.LanguagePIDE/messages7zXZִF! P]·Iq n[:|&[z2P'z. AASђ!\Cw%aK#O꘲N^MdH*i:xp6_Y2LT'DcM<_YK'4O=6S>_J6T1I f(hvm %޴ N= mP8=cţuYŔP% ȹ!uܐ%05D<0mV2$WJ%\|^>~rP*QiX ]df-+((76f'* Lamh<Xswr;/@XaBo֛>Ɯ!sF*q]?=4І=3J]:xQ̒RF0=1L'#t/X^.{gYZ 9<%!:ZF-CoindZF-Coind.ECRPIDE/files~~/src/ZF/Coind/ECR.thyX%- 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Ͽ6RTTv2;L;زOvmۖVNH5ڔҨV$Ifail:*38Oޫ@ychb^1 )` xV{!! FA ኒu8ޓQ',6H|#M%,={?)O0yDy f?iQõ7cUJDzp_p1ue2ʲ;u QyncsPeZϱ~Qﺪ!3VRK?#}:w  *гIp*7cbIjo'G|kNsTC{ @ ֪55t:\2klKRrD^"f>d:T}!zuy8c%kAVf'gٖQK-I@Rjx:j ت'1񎐖8U i ]I-{מdKȧ"H'++^QDlg$şc߿4[!Jc?6`Xr2G M@gt|D~,=UG Tp:9 jݯ_(AjzLXғ2vֺ=;A].PilJGR~@(|76ANݚ{s,AbQ IF:`fQLiI$V믥*)zPG 3V&Z5.4i ?cFQ ##Hs3`FZ.>%ԅ6 sk(O@AbP8̀w6Ƚ5a,?* gC+Jd[ b6@,?ay鲐 6mvTT@YcY0nDZ~mtcX{M}n DTŞɂn_i:ުvD<(%! )^sKϔQM 9?on Wp۰Z, ޱgYZ;%# 4ZF-CoindZF-Coind.ECRPIDE/markup7zXZִF! DS] !M젗OFOJ"\*O')EzKE5Z4\l4N TrəI6‘Sxa-ڱS3Hw^+n>7ŬWƣrHȰ)G. XwB^ݛ6w~w"«J0lZg;ΐLs*q/fiZKrCKPB>pNkF r"|F @݋M2>4X\J}> 03Մ0TZ-))oĥBwyH$a%-'|8yt@J#oQ獵*C:|Oy41?gU1߇szGa^8k1ʥ3D%ؑ <"N-vQL%G*V;AB}>H898A%np-ˠ r!#kӐyi &2n%"ڡrk[KD;nF e']0К35kIǮr344wՁR;}31ApѦJ|]&KܦdYG^IRD&HP7AQ|m'L'ӄN|LS?n,ڶI嬩hS%507pJ"E$P=jݭlyE>;hrJsN8RMU S]~mUߺ%;L}No]Rx`ڡ;!f0sK}E4.D\$^-uKD~}H8I8,`'PxQW{*&}@;5 is>횡hY]"!P`T}U?^|, 9辻LT~*7{Фɐ:SchfxF0N6ߎծI|ZS1]B!Mneuk\W[c"^rh$;A4q%d@C1zēAݺ_JvQT5C˻fC&ȯS\.(Sz_mN=ŭ3 |u,z{;|~[D Q"۪;A[@eg(be`>JhupC~6|}2}b۪(k-}ڳ ~ mxĆCv*qր@3W,+!Y>Uq0{AјR#fG6 œ:rؠWTC\tIbҨ2ݧL5zH!3quD #Z^_d=999{Tw]1sC{3[Fn^1l6eIa c!2KODž_ǃ{]Wvj˭͘eLȑ)I_jeuofӵ f[LeW 8*!1J{'\L2 \9S6uf$X {>gҵEm }UGNhL+덄q6Bb8Z؛ͶLNx*A*y(tljP5)FQ;V=z:I0pLᎋ6DgYZ