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  #E 4D$ ]/ Name_Carrying_Type_Inference:threads=4elapsed=12.291cpu=40.788gc=1.420factor=3.327zXZִF! y$S]ŗXiɟH)0%oq_I ;;Ƨ65Td׏2.5ܵP}[#3¯fvYXY'\bhw>J=4ڧ -}qpGK~|hFnNc)L)x [l ;wHEK>&UnYW>]Fi"r{iʭ";Ja'+6KKqN[گY&B=-@r/ۿG{uwbzV\91/kr1 ?RnK*XќZ] L@ET@3";$Ip &^%G>7}HbJ{uN6bR'K2/rVJQ@2 ͹ϙ AӓSÕdE̎ܓ8Ԡ_\:O! qr1eG Wu6$g`fwUyؗ7oa)ݯ>ʥNJpS5Y+cHz⡢w%'3=Q,ϵC6q2x E Name_Carrying_Type_Inference nE]9 $Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Option.hs7zXZִF! J]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmf($CIHD+d/&UflPfAxEPg֤+[cWڳүEl{L"^_ׅ|wj,BW( iױV%T䙓x|[Z'ƸD~d;PC-:2$fOKwfq]6gTMƦl[-|ў_C.DpS;$֕jDL[Mu_0Fg7 Zw0AHj-tx?gYZyE]7 WR$t7ӗ%.y. L9Jbyi"o$_hGE"iDlёI#QΚ4H^(E ~_6լLBy~|ދMHj읞^Ӏ<(~Ԁ5CF2iv.F@vw,p5hmvlwʜ߰-W-P>{v_.{r}K[gYZ3E]3 4Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Fun.hs7zXZִF! V]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmZ?Urf< to2M1"T͑վd:{ 99H yCwJ-;V9pA9gϩ^tc0ͱ%FPNϽѫ>F>V 5\Fex8ه8V4ﶾMr?|6C_.ڟw\RP]QxNo~TC&0G:3tI]y8EY+swmҊ7oaX&͖"d"g &  a -E hE]IName_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/PreSimplyTyped.hs fE]EName_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Product_Type.hs fE]EName_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Lattices_Big.hs eE]CName_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/SimplyTyped.hscE]?Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Orderings.hs`E]9Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Option.hs_E]7Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Fresh.hs_E]7Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Arith.hs^E]5Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/List.hs]E]3Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Set.hs\E]3 Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Fun.hs  m nE]9 $Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Option.hs7zXZִF! J]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmf($CIHD+d/&UflPfAxEPg֤+[cWڳүEl{L"^_ׅ|wj,BW( iױV%T䙓x|[Z'ƸD~d;PC-:2$fOKwfq]6gTMƦl[-|ў_C.DpS;$֕jDL[Mu_0Fg7 Zw0AHj-tx?gYZyE]7 WR$t7ӗ%.y. L9Jbyi"o$_hGE"iDlёI#QΚ4H^(E ~_6լLBy~|ދMHj읞^Ӏ<(~Ԁ5CF2iv.F@vw,p5hmvlwʜ߰-W-P>{v_.{r}K[gYZ3E]3 4Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Fun.hs7zXZִF! V]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmZ?Urf< to2M1"T͑վd:{ 99H yCwJ-;V9pA9gϩ^tc0ͱ%FPNϽѫ>F>V 5\Fex8ه8V4ﶾMr?|6C_.ڟw\RP]QxNo~TC&0G:3tI]y8EY+swmҊ7oaX&͖"d"gYZ k kV E]I dName_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/PreSimplyTyped.hs7zXZִF! ]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmrKЯ\.݋ťO!| E; 1!GR5@lt65iNH齗|k/1-41S!0ҵ ju5 LWĐ^@cffDdA4[)Mr]%\g,ۅn‡dq<. X_ Q*z+v>;j%LkM./+,eqwD];:TB83Ϫuo`Na]S A }4&^#7d zllCbY唦{L9u]w?n0Q9 _H"43stoІ3V9ÇdT#8/%h \Ƀ)6ޢ@'CW@I#M~XA?C5G ʞ%6Br0U,X;n ׫s_X%sHt]63얂/=Ԅpvv3(ǁqtrWpvPvs:XHi:|_S9|]`sTy}E'msEj[@-A^\VF̕mH3lF0IbA1+7ԇdJqH9'IBK:v:#޴BVhJ̎_i~𼯁^uW=R>Ci`2|\~VK,w>P5 xk`*3a=GR ^؞H`&<*; cm+uT /wYLSjٶxXQ+g%@TNŹO.xLxY(:FL@=m}!]@vZ1ljnsgYZt E]E $Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Product_Type.hs7zXZִF! J]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmrR^6^C/߉u!QdUT3\de8OV7}`UuڣL *f΍y-b]hkMHV4J{AG&]t/f("z6E_V^ ~Js(@E7 Ԩ^GJ|{zY,q^S SG eњ@Op&s=ۋy=v?8nᲴ9w "~0!p Cҳuy^Mv5ں?+ qY,Qc,epʰr,-Aɶ\NM bSFZM"]q )|c@xLg}A=806HQƳ]hٌW{Xʰ:e3d\ /\GN='XܷFnfi$G|q3V W7;Fg࿁7,oC;d$!GxZj k'K"F0ϲF~QG([aH y)9@HV::^v1e`?N!6_0f..#d.fhyBG,gYZqE]? $Name_Carrying_Type_InferenceName_Carrying_Type_Inference.SimplyTypedcode/export1/Orderings.hs7zXZִF! %]=@bQ4\Nc^̼ɲj%'Jgx60yL 5rUHK_ rPmcnffw=ch('V|ߌzn/V[ى 'U0BVN&q\ݤcl0Aco5@w\0 }/TzKi{, K} .I"-멦9oOnG20yXCC=vDUDbC8υaH5B_65cμ&X_4,Z"3WIe5bW=}ES3:w_'VՃ o9A-@Ĩ1le(gYZ 5c'-:4󊴨XE[|?ʽ;2 OT0*8GM^TYCR0C>A_z U- H8KKgq҄G3ǔ1I;7[2j6Ƀm>ߕzRIruƐ絼eő'(8@,]̑MzѦѮIsx`ڲJ+JQ6M7<>\)[' NNo!̓w #7Vm!-hQ4ͯJ$`W@ *)޺km*ց!`T;囤DT&AJ|t"?]^|'GgP*T+@M%a %> \aM Wռ&k-zoZעʜų Eտ ڦ&y;T>/KZיHI)tmi"H6hpKѐe?O4a=ZSuik=c1 w  g}B2 d7])%![W@w" zZl,+IZxpZù#W40-"ClMw@\& (FeJl_`9ޮڠAޏ&yxPi_ס5n h2٨W8 S ї;]=OCCMD ?R6AƘ.Ym(ka}՝j(߄W /% ]%h!5/9]wc\xlh|-(%Rʈͷ3()L =Bs+U5GW$ a0E8Uif@R)RqJ. ]a&.5yiX`gCw|CzUeA|PC0ӳ8"ʶ`H2 i[)y=9T_BԛgTMnPT=sfgheˏǠoec}ֶ0kʐE#c [s޴v 47RҖyV^5 \ -)M:l߂Be k55h#J#Kp/">`vԮlXX8MTf4imGPk?: Ѐr2u axIe8i؈xq~D Bx Z7ē5x|n;$_H%/[{2GO/oG9R澏 AyeU譟;k${\GЬf&'/iDsꑶVC6H}K~u0t0|C›ze9Ƀj?`=Xp_#3Siya^yAwd|е,BB|# _NuTƒIb)2:K ٶT}CfA*(H~Lb cmdc5½.s_g}H?79u鴶B fhJ:(!a0MkAI 8%DV?نvW+zGw+7tybh`m0a+5BAƾuX8 9Ĉma|J4h LsHixktpw &]E›z"ys;D_d[P^ lCno8)>f K,@Hhw[LW? yޟ!9GmB=\v5GBig `MRGi~2p'/?<sۀ\/P@ɥPL:K ~#z:=Z4iK6\mSG* ~G\]S8Rj|$4:jJ}+D08oF %&r:U&*bH$;oG&(6VRr߫ncYt^55*n,@<Ǿ|~@E ՗iKCљI/aܘO83Nieq<\ͮY1^tw{JY på!M*+uW]m팳"Mѭߜ=eĒmCr#TI}!b{ա*dZ|x3n䊤JׁB!3uP+=|Y黥១rX#EZ 9y^"[D;]4K 9 Ki >fߞ[>.olI7U}'Dn(hdP|}uF2,eEF佛 ^5Un]-ƴap*%?)ƺ4 N2v޴>$" }'5k_:=  Wa2?{=Hnga']b(c06܄E?NJ#  gNrȝx3Bhxp9Nʳzyd c^!){cvvbyݗ:e"pFFRN}tp@€Q6i71RʖK=@ Q##yēaZXR}4<>zQ+DRgyqoK˖iKXeE҅q=uk<V u {"TP^Z!Bga+( y'Q'hc * `SG Q(Xr>/ؒ#(Q̴Dh@RނL.BۓzLx<. V,K4ĥAvv̄RɇUJZKx  ztCQ>gKF}"=#dlj%W?xH:g;I0ո,"J.VMM*ODj >Π`c;]NkAV1`څ\x(t{Mr^V#%`@NJ=.bx,=w0-f=?~ߐ'Wsi}vGa5+ZⷔӏK\zϐ~ҞCa9'8c3?V12am*`p#o3Z(e2L°SF €^N;|h]8i{4Y˼]",ME7Fn ]6Qi=NF쒝&r<7+wAHzpHw5^TY-mUz(qC H%b5B (fIu^BŠA<^D$!V4yY= LDo&ufTPu}kL3CK[]ع0Uʀr+F݅Ʌ?DdJ,E=J ߼bWN@ʶQsMUO" ]}A8&nI;gM; xو0*R銂)t˂ [PX9!-`|c}xcɉH ܽ;GlQw^iMvTÖr 6y!&@cCqsIP9ڀGgE^9"sCAD1Sk57fNG!e${ۀppvTY/"E\$(aUia1tNcn7hmu ~++ͫRwCؾ#,|xoi]Эdn0wDU#!oKC \n_h6p_\;`yQ (\ʋh֓|>O\<dOr#Lp霿CŢvlxf-9n^!engqɎ ey S+F|쒆y:08Odk| |櫖r},zwwY'd7GX=SV ssܗ0CT(T,F )U`zϘ|h#rpqGVYR"|0uZ_kCf6h1P,dpdattPRAr7W'l׮Vv9 9nվ|] Ԍٟuoqwll"0&%yMN`8~ =3r=kK%}Cx@ϵ>3mcq0W$Q#zkD0H&Zϑڨ8z><n_1q1*dR) "eU>س=;9iGohd* C~)\-@[OGr|? `  D1V zlLMh;2+Z47gˠ-Xb7su5*\6"xvA 1G^_KZʥ706-C5\Ŧ[$ mGOv0w3^-UAwy 0I[T$>>>O:D2clG(_A_Y]`Q"5Ũş+<^FKemnM}jrgI]R0˨Iz@t AGh0{K~JۊYiH^!8vDҊ!Z EaXxt?J!@4DŽܴAxlNI)]30ٳ^ŇKP 6l@pt';i!IrB 8?%GH\u Ub8/^ON:}7,br5}(LڙY k::7JU?Z0w (qE?zHƇ+"". )h_}?iy.QYf"\ 8F̑qVާ^TV"O^֨|v;( rs|am*,oCKc-: \]EvvՊ+LK5\G\fDyAjn[9V݊^Iت& Qh'P*DFQ}/V1:lÏ>16JNAJsx=X T&hd7<3ݜ 3䎱V\v:VW1jas8= zOl"ų?&ah3h͸SVfBL[aC;.N"ou˪Z^[zj"3J3o)̒d/5,>]^"Sı"x{׏; V|eRV\& s0t56}:۱ %q$mg0rNoBYM \r@.Q?=q&u⇏2H.92aǜUn[m,Y@~~b;r 𫕵»H*^<߲e@[K4n)e0'5dVp#v-i6!VX0\{?LB}5 X})WyG5 1"QL%d1HQ9w2 +Fe{>>CT-}?ۓ7iE841m`ep_cXAXF[Jg2^l/,>FF47pVy"}rq;I))$U䰀@2h-=vx \WmÏ֭G`E֛';Jy/깮խXjGbwc g |6`}yȌ`K!Wg/>AKD*aK[FyQo-' V>(~ ) 6e8:,`R7"hB {scmb\?f%)Jfe›>Viđ=M=pe^ ,GYYë1iJjdH18{İp;{Ͷ8{"n"ބ D8AfPhیH 慷<ظPwT~p$]2pFɓ0>}y³C`jSo^/sk8+v3ޠMZ~|2"iNڀT7MoSuI/7fZ;=x{ZGiQh@#U1fmS͙m 'U06!l] +nv8!,^wg8VrM(Oз^iv6ӨVX`>U9孟6n4<qi2=M]u{c|ۂst #2AK5~IaY1hQY3[͛4ޞey u-VJnL*V֚ E3A^ބnI?yÔMaHuYFrAC'M 7vT,Uv\m;[$M1I ]n¶0u~0LQfDڬqw\E|%A8.[JJX%b9߶f m|;xz񰩍ǒe:є?)gtJήuQtz(͝x .NMTItpdbMVst&'B?%J_m\扞#9(^rOKT4Q&w&T1w5)gUް1kS9[GkY 5$q{>(ҴB) /s e[ /b7Rx逎+q\Sz!K294<4ه1,eoQ9oρ[^x#xCT)782X.aB ~X} kdmj^&\hea0]04l1ҪF'!^~3*E`ApɳD !ttJ(& =fn\Iucfl٭XR-Ux`.k͜IN4hx0UK㙥FxXa4W>p'N-zX3 Ϋ:4PV]dfewjB|UzRb)x#8xם k=i&17 *M5U0Ŕ*(' $8}Q|x:- J(& =-*Wy7qaNM'X hwma_XGbmYLclz~B ="7{=\jheV~Xa$q-p2 oQŕJ-yA;p %0f*jCfIcOkf=LWi+IK 0LF1mZ3ldaYPGŻ*>b E UzL~DpbGV8}j:[4gkiOF.i:ɝ (vײѥ\<OIDZ[g(HH?4VԖUox 3SI<\ajq" uxPPC(2bA&!AwI>Zy rɨK>l^K9 T|[a:g1=zq4:= zPY@C}4&`0kmRš(5aaZ[ A AKӶ ޻Nfd3_^dT4̝@ތ&w!y+?0Mg?T<zIx1cL]({ϩ I'yH=\:P܈r> & /dy{7 fI敧OChL ~ " QCOGWGIA8U5GrNDC L~:Az (ӟw"94A[=4lorW^AœoT[#yHЋYD66&yY[rlxE* (m̡OG#lsL0CVވ. s)S^!4^Da; bC4OjLJ2؇ 89jiT%n9s+î/UMLlw:?ջ̘{=c^cQʤ꟣[ *Pe]p{ ˶p 񯟠Waiżv7V?rSʂ:Ж$4jz$,9[`/.otG=g~-cQIx=P>[ h$[:P`H?vpbym il^I!Dc> Z0,H^}%,~gOdl*VI6QSLZx`r%|(6:o1}K>R)BP+gGCZ ;vZp.n>4#uXi']PeKh%'\3/.1B;UA,JGYLͥn3TŴ7V@b_QqP.̓+ f?1}I1lsܒ%v!#vOۢdŵ&鳮X'W$YrOz^:1[$)|~?'.|RXV$z"wz]8o{bZMUvw\#ѼuZ#TBV֐BT<DH!݄fZNI𓌬J~j6]Ji%4.4ŕq{Ca1ziz=4:,} g[@Ǡ9r::=remjE%_Ny̱vSKc5TLdY#2P¸~C ((c}K k?2yRc8?lVX2`grLb ,!`#1d4L7&/K\O>= ;g?RΑ>oN<&5guhdcP˖$62 y#=ڎ a-&lw2yfgjBp:C>WJhFdJ?`sjxSrr\_ƟȒQ1^=DMql<2l)pdvȑX]pl<R͆Q}M w(6:LZF8VEB20XPϲkʼnV"cD/os<%?uF2T̎^5-;{p,oNgÝ"5 '@Z H(}Tlupf}BBCo 5m{$DvE[-$Q>JpMI7ш>]ǂ#,i_7"4 ȕRvlE 2-*A rrvHR?2ѫ'45b?%A<5DPT6(]Xy]G-*zq!5tpc e<~Z+cdޑ/k 9ZFiE.dz2mͮD,}]Q+-T"'1Ķ7"7E=3{%Y9v'cLJqQ~~̯b^MR5Gd]0A\}N}"ةQ}O_$W&:I}Um:Sd6 k9qn$Io\?̵KlC[ZUBBwI1UM{\g(qu ߽͢r48/%!"۹bhs$&\v`I+UIsl;wʼn7uz9I-6iHRER:9.i>@P :3 tZJ4wv`Ev$w WQ{0Zء75Z7"Q@=V<C6)3tB|xzy GP9R9=qA֯yOiĝ#Q9%,RU jk /w8 [nRLU|T_m'$f̀fIX+,TeVKS@GQ2\kyjC͚ [ r *c;Q>"]ȧQic)pQ0Q6ςx #Ş܃ I^-.D,e‚H<Ӧ58&C,ƖEWuL@ &C 8JQQựNRE.ζ9u,˒K5mDVPvUӗ/ŃkJ'?ID۷(|z}mt d /?۪˂vf :/oiȐ û _9_! *YZ^~!(VNo'x LERÇY<9vt p2G.V7 ]uLC\!{{N(Юqb*$? ƦۢPUi9يQ|zQXWeם'Gl-"Cͱ7{ܰ[!E-ۗFG{g\vY q4y = ZhMa9.fSǛ 4wL2a8,![gvx7 VH=xFgQRqd攴ĩvx,OVT3M;ei8BȽ'GRburC_igHzdݟ Z=S%G*V7{DuWbu:_ eU0(1HB]4[4?Q&I[KIj}yx==x(揗 I6´mVO­62}xWoCۨa"kw6"^A/Zݯ[2&;Rh1enMJvZpa2̮$6"Fe7bvY =٫]kr'c֨Cq=a)t^ %P$F1wI@bB~N1:i;f&ǴdvIY6AȄk qSܙ #igJDxw.ՙJwdrVCXC!b#]B4*~8q"E\%Sf8[*TsJ䂊.V2i#˗'dZշLW{KT/N7 Tjr˟p4R-ƿ`\8Hq+b{cez_>sՌh} nePQm1&wֈB TC.:8y#tOPfWU.@e}vY*9.~N}c^I[,'(/&BrDG$8 K|<9s3W0M5Ң  SC?fB+|E HG>f6a JCNnc۹w],#Zll] ,jlQV:}|s0+QtMnV0w#IW*P|}(Lv^/<& > rEfM݀<*SPUmgʒt\Ck0*j3vCoS7bKA7Hl2ʕ<"o$Ce|& VOiIW]Jc-l(3x J3 1 V|_XOvԍg:%Hyh`5P\*D )9oŨE` R6:qفo VxؽB"b\&^x!!x#sCFJSb2eSΊ:1Q\`s13Mԗf#%E蔋ۯΊ A xU>M-*x^SCߟfWUykT͑ZQ&>@o q qF_E棕-]yW,#~ @2q,nht apk4,?j2Tf!sȨq}vA I1VR0ogga59S P=nL+?gZ+̐ PbzB/ubf|ȈLR鱻hG$ v{Nr׶an drDETYҥK]>b9w堐Ov6y׫u<^%Ӵ+s}oδ~AtAO[qL;PftEh*NVv敎^ ËB"ET՝lu'CD$W-&c@#bOE{җv@_iyd<]!S]= vJd^rCkkK[TH;@/i]3!grҥkZ 3NPDO rc̰0k.!QWu#҃k!r7bYA\Aõ]m'WUb \?K PLC hs|1&4`*ɖ٫43 7vF_" koVV9@E'I ѳ@za HHMUгg Z1x!LEe{<#zLSSH降L yAVB3>2 tS$Ϡx+mV@G"zK:9TB&)2d=eS3{_;8bWMȗ+&Fy[aǽ IG%=J#Ozx'L"h۷Nfc-c?TYvžE408qi/!C,%-'@f9d`YnTOyx l8ɠWnDޥɄ}תn[ 1Q\'=:-.J*u~ѩ`H/ PʬJ}q+BJnN ZaSmDG"@p;&Cǀg*VaG:55/*v>Ql' 904Lpfp/5LS;VҸg#ԏKޅ 6/Z̃iyKaQi8Q?}!9DPj5 wjr-ܦYt#ٖiXN#hg#&L>ErpZY1 ^En_WOoh҂=_ސf˄f/!1@9AAl)& cB HW˕FubjQR/ۖLBa x/ 1:k&>_zEx& M=! H"'/?oc*m*)~>+~޼xs(ҼM7ĆIѣu }SCY'0 SM`cS O܇V L02GU^0h3$kr@ 5e2hrm5j|Fh+O"@({Y<O4!;RS=ٯr75KXnV Ψ/؎ފ/f[\zBdT`SRG둌#/&5% w w{gpnA7J rES$bi y*DW**E6T_:W/φ><%saFN*%ҥ/4]`/tVt+ʾrH5}"SNg)[iN2odg2{>UZYQ ([Jj?_[a^|n?kFdO+r١H9Ɠt/_\?{-2/^?ݑqnw 5z->(1s o@!˩2e1?IC54zpov?fڕ/Saz)`#oBaNP֫ͱ"sRٿpvi`) KS%(J7A-kE MR-$A #}E 'OQz|@0$tz c.gt%1L;2Jy"'yo9Y;L~U W:ofT 6l[e!rƏԑ#hXpr% ^x%L ¼a0la`_f?c,GO$O\mi%δ UA22Zj:+'9'0nl( [: b f|]*t {aRRC=d+oPMJS@7UbfhE R}{) 0/ 7G(C2]$I `^L'$ Q5h5lX;;(eK;^yq󨑺|m螀89G$g̯q|c#E5v5E*EֈV [,2|oaU+v0A nSf$6,XZ{2+So)X t2I!h&A ),2ɞ(.ZH;.@IfXyb-"Sk@ow`٠BO>c,'G h*X՝ݤGJZM5Af %v z [=3x{_Ç\㼯aUVѨh5*,[}Q 33+9@j"e9h4r/GOv1 uHD޻K!/] h GI$ S6V@~p4&pppŹF(`{V!?PF!F e"=Aɱۉwpܗ`ZXMv$a^dbr Dl?dS$NAڽtjmvͽ]yk(s@,*u<1:} 2n,G3 E*PɖoH"4hP(݌ +qY7cv ĝ&obZh.r*yᾉzrqm`_J ;V9d3U~%EumiX_[ w:zԗ(M MZDbC;_Z#2N{6!8z'Uj(E#aU>dȆ?zty_\ El:gYMWm[>X|hrD_ћذȑ` [V<ڟM?s-< Ҥ)Jx;2Ok6_\jϊĖ}nǓ~phKd31߉~(#W ca{@>~D$TؙڅԤk䪖GS6.G5|N!Lj#;&X^?x OQd 48˕YyLc<}zDS07[)}NuT*'g),wo j<% [FG7}ԊUG3}Q Ghb!c& EѸyD(DE ·m [{Ger}s:ewV:6HAt{"`H+O0@%@g%U!dH ⻾ ADHiO$}5InD|~1~oR QOwWV/IB>mg1F섮9ۅyQ(P9gհ]Qt%ZhR V'@JQ@JڲUl`V2YVDgSaPP~G< =Pq .KmLl ֱz"~묇fij$Gm(! ')}~jS١3.˸ǐ7\S4zON3ns?u,VAF6EtndY4h !qљq0J!n yV#|ȉZmxVD&jobh"nz"9ۮxZw.Ε4w}ߴ,Ыٙ듁W/!`NI@B* ڪT[}ּatb.T%t-;~u}_ߨs32/E w _UNIYuz[~ UgK=L ?^ T"^wtE[+qo1TLPOªS3d)yڡiܕS g?![K/3>Z @h+[Xb1np}Ʋ+TLgC?ݜ 8JK$ 4o0Ҍl)r;Ut=D!VLAA8x*)CMI2ឪ}0M!+89lYzI(HjK"1"5;PM)ܛ/b@Fgc*4'ۈyݭ^vuQ+{4$""=DD&=F1yסcy?voV̟8SUp%@jPs~U58mH*{RMulYDyr [hme d͂wqgTMn RaECR(qp݉ \Y8߃-h&bi ӹ)N,֛b=9V^MuLH}WfiYAW^E=}]raҌ <3ikc[Qdз Gy  ˈEu܀r/{9Z1 &>wB?0j32Ks8㘢sMKp5Koo$tsep5GQn]Wsznw$<+ W 3i(3@[gW:[-q]W kE7q?)%vϥ;$ac> 1l&sZm[HWL%yx>):'9DR w Qg+Ь 9f;ë5j _$ן*:Fc|/PH~o:U:Uքv6AvF5( $6yZ*6 dieZљ` 7V:%왋5ƏFr9|`@DKLb^.pqY^4PWl;jħЇy/!.?}xvo 0I \.9] >%v*OޓKێ!fiq?ȝyEmM\vٻVA C.|9ΐjlΨ %{NͺP5y N )r"6 _fR/%N]i4/wQ8vVmZ_J:^SaR<di߱=sO$!* MW,1ԅ= ' _K[0`UFqJ<>=U./a M=E 43) Kׅd/'ܸqf=J]eC?kQNq΂ծgbxg0%I<<ICj\˻1ȼ0x:9r'}gR2T:G9vN+/,+b~Y۰O΄-A'1(}d[Ns%G/78nL!x_F='?&6+?Gs L 550BAI 'Jx/i^ējdR_T }mrH+V\ww{|8)Kb53Hwڵ<|Ah” ie_knbGHdŒ̓^_˛ÖD22,ԝ6Co/V e Uqݰ:rE(Q1f-O3at KogJer/N@aWJv>T5 ,c)erӷإ Y_9K5e~[ʗC0Cl+?.dMEI(a)trr+-i{#wcqZNE9g-BvEi6}Uܾ2N鴵JX#+'Eg4_C0%ՃBJ[G_J2#Ԫ, ۜB`  f55T%s0qM3W8"(ttv pgYTXvd"swE`ۤ7{hbXbgf qܶvu<ˡP%ү,:-hxooyr lGoؿxD4E^Tv #-kuҮ@9ue.(M"2B0ڸ2@o 3{ʱä>(p^,z].-yx' ńo>fN,"\Tiʱ2)obv}8H VTq%L.WL@T'pVehy+i[80O(Q%>UbolL;YF/HCƹkl I5D23fek%Aiq f8>X}< Q0J10΂<%_a4@b;vʠGc@OQ_;'ni`CT^^QNŊ$[).b|2$^%G2|ux<ɼRU:rW8>yX*.^ZM@M:5(ڢ,u9juN[pr}_qf_*P.]nxHB":RW5s-\f<"}Y[zP/ҸEzʼnEKr`_ &΀8*}kz.(Iv(Hk{X6{A u2,qy0s$X'kr^ߦ )z=C<#QJ+[ `n%H["U<-BJu* 9nͮ;an6Zwz.y;`20`,"4BNR?%Ha,pj&2^OF6~I #87"RX a檪)ZSӘUgo2q[I?>0u]jow@|uL̴&¨极źsT?wx+sy{5QvlQ(uWI|jPƱɭ$%%ik@BE*ؿ09*0>w6tl2*o<Uw0u)k~GSR#|nfy2+ i?P ~8lY$fV]-h6YiLJdqx]_'3`r7(Yz qRRƲOCS{9WhQ)z$]kE ~v\˂L ˻;wz~[WHO ƆsnaGS3P, <Þg@&qHbWrJ a9UU9$`Cϩ{A9'( OnD4(gӽgY38uYJ ~- =Kttnhs`<vDT͜Y/A}vxʨ9L.C^$Rx%ϫ饾zJ3i6PD0OwxS\NU˿A=4nuQŭof,mZ1mft{[YFKPi2Me)Ј7d.Y(toM/B0[/=i - ^(QB fXאָ'Zk(ozQIM0 9ӈd0zA륭| F4cgSƗu{]>{/fSﮟv:qGLdB:AXPJÏTt-!r*1ofg _m{Z )4 "wẩ9 Bp3v죧FdA%>⺕Y*f|'Tm$˼U>H6{jy:=vF2Bs=r`lDs/(!bԼ'V eS:OVӢ,ztzYp*Ӗ( ݹˆMNQosbs_=&ŧ37p>5䂦"jOуv[_F[#YkQ* j㸳|}VE𞷩ӳ J,@ dB"j8fiޏ/K&1n k@UBskh =zsW˃;"~S1k1ÿ20u G^(*GRo/+!q&@8[8ݹ'16Q7M'8Vk,.}A<׫+9hJچ<@;$V$k%`!j?˫?8+BL M;Hz_ Q҂VWɲDq*+}鮹"Er$ǫ3& av*k"U_uSz2w(nphuv^ qs0i!=a0kEjnc.`|Mcy('" ٧nE(a<$w!| R|;o0="1D֒.?,6<Ѯ nNǡ!߱;6qABQF E e}b'j0RsmZ/ X.A$HTH} ,`_RI[EaՎ6HU C@+LzO^q軆n`L%ZEl 1tinZ/2:h~5ƹ Jh, -8ہ$RlޕzLPOX+9FVa"PP^>k@ W>dn@+"0+k8Io@qs*gt!q<2B+;NxڧRT>6pyK0sƱ,\UvBnZB bnҪz7;~uGeқO1cLvca>2goaG6N7-mk6HL+ U^!Y*Q$P!`䤹> PGuҪASů_+biG)OɠعaO'Wk ]K@#2S!B <\[*D_9n 6/ {^QگůD%4w72L#z.Ʒ"0KZhda:;lw*`Eomo(ojl|@{jI4(~ԉK fey"Jx]a6rq֥`$;i#gE?.`] vQ(Ak=<&13S-'f~,EFH}rNij+l8/ў[ 0em9 g}C"EU2oO'dCҥ[8@Em~\ܨst!Vtwp#|ԃ2wx58dGpҎQOK"l# OZ VHsd:ki b ,i+R3Y? L7.ɻ. 4.Hz/niO}<{2.n1 Dz/>C`팤twSu):FOx EBxu\l Lؔ*RXD( _=USӦ [a99V*Fe1ʜkSLch>kj#3b,?ps#I8pC%@nXjp\*3?T0qi:;MZ;l8ijB ا>Nn*4Vvξկ~ح$zG/ z!V[Ϋ^FS6+`*{gr4#Eϯ!LSJ}u#U.<^§J̞sFs,gpwMCu@J%5AzWw/rCGX _C1Ae32a*!AW̨ߏ("*f':Q~Ida3hMoz|^ 3%) ddO >CN^.[eN4F5Doc Q=9>*y+$hj0O1P#b-GO"iQ.'ٓZ$<zBjA B{zѺޚ,鯮ׯ^rΔnI|UJg&=s+`dϗL(sZOR]ƍW$]N54{^NmY9f| EaM%xQ7MIJĘ&'X_`Su&LPfF&ZfrGp![y!o*&W$p/5T]BN ʛIR0%Y=y2yiTKt8~z Bfyt;CQB_0r8@̆pHj\LKTF2Gzsp[fH/1!w7;^lA^"guJi]XQSzۚZV ͋B3 "V@qS_ZxZp@;% %n}]f쎳^( hM}PJ>ŋH.>MԻw|@4=Y;h~ۿ,]tZ eaM\i%R+3"R.*||¾]#;߾Ix6*h.?5>L::G߄73Fmmշ9 _r W|{DhM'.z8V4c`ϋN:Z*GVLP+$C3d! 8VR.u?*0$_DZ~$kr;x gSQLzQf|RGuAtQS`i {ϝ-I!5F1&|K{:;iD^Z!N\c Vzh&~d,Kn|%ueZ ;S&炖.L |"F],'[?(e90GPHyBN8I۬ ,.5AyGAsts_s1C mFپN.EejXHp{YT9h<ϼkY ,2Ω3o 4og1mQ'jtW?MY&B} ԈNE4CոU[v# R]ŅʁStYq>z3Nʭ0уۏB0vVs /u^u @jPo?[J|ddML!ݗ2K}_n'KSp/1N>~ TQ嗒sb-z>oXlA~J|C}j $ ܧh(>J:(}x}e}5 um+G@D / hLnzs-'T%gISzfQ_`o{]\b@}:xQgpMG-7HV Lra"8N6x5>d_,(o˵zZZ{6>-(Ul)V\bNoB$⥐"JWvqe_K0mo팒D~_S/<TL XU]1cF$sXJwmJ>}PidCOMȔ`!F}#sz%t /ha|Dz)-\"Nmmt:g{uFt:96޾p.µZJ$жH_"~ foݕ+` bo 3Mg٠tPmI_WcD>1 @lq!7B6t? 6Ί D«i͚O8WjDòg0s:u;omDjh: -]팓b8>&Zc[aV>LxfHO2w|;wpiuش7<ö4re,"q@纶 @ `ÛCj؃Ӝ1[5Vdg_͘dɩ֚0)-Oɨy+8>LXP4f.M˙韛Է|5)dt Ŝ*WCAklu8!*9'JOJ]r&k7P+H%Ѵ<N"ClWi'8~֭"Linw!+&)=vjwj:dR{gbg9-j_T3: A$ҸW3B ^Z1`x6wd!q & n/]&a`Ej53anDVosz$ҚtFNk_5RHj"#cL4\"RǺ v(`|sk; a.ťU|^iֳh_ }s%kalo/T+H/Sx/Me]ZuOMsg*Ԣ۳^a6XFI#7}|5l|qڿBpTX |͠_[E2%% |1ZIJЉ)t#6 q Gv[1ܦ/\VI)G֢dg9v#tnl#`]/_C, 5;fr yx^4AVRx5iw9@A=Σ{ZhKETTybEOD7vP85\L=u!r,U78D`6qf}"h.@x4\nWkTyz.ݯMr`ne%7y29npa&efl UL 6++܀Joh.yᒆϭ.O+ *x)鏻+h@[Ok1ƂŞ9NBLvλYQYXZkۣ2qPo̪R Ht缮 ~ \d)CLը0 xߩAwCjkX^@^m%epX4ա̚D$Ivqn6_ 5PR'ISVݵ;ߏ鉅5Jb*xα]GU-ݴȚq+8Z^jupuY`7*ud.mkA `Y*lzxɉ#HͲB"J0 p*fOIYlӇ]L=uU'TZistN_1B3)si+hXJ`]Ur~(\cI(V {}km+sS%2U4dXJ !"CWӣ2kcE6FH>1qd@wtg9 ȜTv[`1%G:#d 8/me$Cƻ0/"Ew*mÈ6ޚJηՏ=?~Sz)^ZܸJrep#Qz_{ /6qƨ 'õXkS 0\0sNM E~鉫߁#7jW%\5~5H dƪP98![E#—&tF?1)-_1K0ipRy_99D|rVuH2F{Ω j'/2x;.b1xnqYWc<k{V]%{Ep#Fʥ| ,VzbvqԄ*Wg~ga'c;k 4Z^? C?]𵷦լ^ sh$g_dj1ٙ1Q%kr S̾v~#ZMo\+I*lp)1_A*jƴjw-lR[بk;Ty/.2(UPoA:iN<ٛAyG'JT Z+qhBwÍxҭ;;H;pƧ9 ^ ]`&KãS+֑vv/]1 w 8QcЕiasg=؇T `ŸɵI#p+ a;J(:b*Lq?Y`c9)EuE@)xu(/ hy5Eݠ'a6͞'W|5W>'eX'̒q45}yJi{sw8?MrgYS4"џqU"SXuw@E`u?4I5L*yfEj{ShIjSEuHϯ.[EUZTꫵ,h$޾H?4$nmauH" : )hRgK w)M'S?/s_+/,:Ï'-=` ?XOboE,=2<@UJLu%p~ =4 u[^񫧰$*,N|Q D_is/&,ƍ gvř6$<)3{+첀 'ZxGccZfnK*-qVfs3Ɨҷ (cs3"7X+ۭ, seAS0݅UGN?_72`ywƹ5?1V$U(Eg:dĂ{__Q$4v ۑdhmECClӋM!e'h81Fc]X, v6ϠhA ĨC42PIH1eivzء0dK7yǢu@>*b³Oh}8>*1Ƹ#E?7{vsXAfvp)kSdrkq[?#R(P7DmGź+|tՉTl[^pTJb5(2D]5{hZa4Ot)V>g+#<+%1JpP:52Vf8syhP&yn=c*14uN$A m_oK2AOdZ\ $2U z5@s0hE*lO(G[@f'sIZAHtL\2Vm xVtҖQZgVU{9[>\ ٞBݫphBDa6i.8H ɤ3S d `fT&x{XeU ~**|ܷ8OXlڏQ$վm6D?H+6r9_ѩ;t(-)%^1a""2f(;XVd L:l|~=68Dp` Q F+_9iA-ߜMd7 5žLWI.Պ ?C I#r܁?!eyg4I fF$^ё ^k.!V!)?/ k{U1uķi^oxvLɼYNH\iƢ2)K"LPi8 X!q+Jko^׼'ȝ{alǨf"k`6]w}7:{b(3/j#{F; Ilև^n[p,w(L+d*: ;Y6-t x7>k4$=y攤hM}W;xas o]/V[dEVU: ^훿&I{b–GrvjWJ]8 5G%ylqG}V^ 51Z #ewd3 R6%c *<Ҷ㭽 D,Ƿi\a\υ?#캧߶{ *"LzY.lJ5PfbAy0"L`}g@R664Q)7wJOx[X L>WP^?}ӵ+tVa(v2aS V,l|C/,Mml?_D^;R|l<FFv袾 aٽSxq@͇/w/V䋆N}J$Mj~A"MV'#&(M3(u)c#UoF~ H eޤg+FR^n8Nԃ~YGpH FsRWMgSrpTӶ"A?) C.w!+}hNļk r|ѩ(G ~$wT ,hMucJfz5v|"f,)eiA9Y{rX@΅,HtZ0j3EsJYbe%V &N'脩 dFr9jƱ6n}'Sg^RiR 4$C?IP Mx_!a !?- Ȧ2zEsօfXmi3BnUrQʯhPV<#snd0qKg!l^5T2TS4]>x%_sp О}qbkedah0;o_O1LLSJ |bcib>]oҷ:XS=Í~x|'tRbztM:i1ͣQ:-.RwGaGu1"!kAI8"j.)9o dO8J{_{po\rxBҸ*Jt"%DFBzՃ+Ep5Tr#Pfg\]u (wi+NnznfF瞽>50 ɱx^a!!uR-4i*zU[Nz%٬@'| nѧ,BbRe07,942pщ$ָmgin46(ݦwvFUih'z&GjopOCSEvcA3CNǠVڡIn2lB(~mP6,YPfs6: uRCRiI6h=^D0KϡbCO3cH~88hj0GmK޳tī4?s*rT&l ):3$ 'PJƉJhؓ?5uVSli>h4k!&.;DeǀE%%V+ʃp>YJ2cBmJ3d`1dxZm|5"jGES垜(jY"HInBiCEoQś @(-aiBAʼn_*%)uSL'3!F_!38/{RT0S- IlMJ woiN`op/M54Ҵ@ :@qt$C*gdop= OT %Vߵ%_S خ=: ܭ:ޝFl Rc!duW'F M9V#۶ҏ~N[9Ȅ-ۅY6e[!f #aUD'&jeoFǵix}@wHkcPoK%灥#|t؆O*n' (6#x@AUFz#~Ĭ/â_|T0{w0&UӉL}"] =}?!l_M]4BajXK5$cS_Ƒ>NdnlǺkt Th3]Eje+Mw{JAaⳠ3!,Zv *!#bNSXwyf>`OZ.-dhyj8miyVDvfIK(rgQh`A~"#TiV|iQF e/n1A 6RSfdhknjȑ'zݷ4K& ` AEhDƔ'2܎@aGJ|(y#B4cX~)jA琇K(#%ϖWAcw 7ĉRY5k̷_Pv*+࿬\`'?U7ԅ- R88&1<K %nz=YUC `&3xܩ#/g=mp ÁܦPXq☴1>4pm%wn&ŬӍv yqPb6c=rO q>q~8 ~$ gγ(Esb6 HdyfQʐJUMa 1^sn7h4~W]qlkv3{kxxvHo%`{ݫΘ v#"u8Vy41 .1ZB>^O?R/v湧P1 & 7$FwN4`AVNLf;)IlTSOLl_k>RlN (HI.Y8 }@""]Я_+2c+!acYxrDک~yO t}V dn\_&x|ݣ"ن_SuXO m"vӰ\rM&8ݙQM&?K~z? wQ6&耾: ݘUh(F#wpŸo<_n2 XtK@Ir^e3.Y z#,د9 $bW5 K(gO^lg^^rvʻf#Q4o!$H|>LyGO콑w;9_! *f=!a6g%8-S?Nf> 'Έ`C[с6Øf0[wQGȀрqcv%1%a"7"s0';+O{8Q۶˧T8X8Jm Ld ]!?YޱgYZ7zXZִF! q]ŗXiɟż]7dSWFQ'8x^SbZ <ܯ^#Zõ"xb?]HoULчƨwnF4Qp=ik$q/[d|܇^Fjڃ(bƥpuٛgYZ7zXZִF! []ŗXi%L!l( z[za6eI[B%C[7Ezc;lmLOw))PBU>ҏL_жr;8 >Ip)T{iӴj 4+ʍJ( 2@EZ_+;1oNk}yjǴY/3>Ӝܯ6E<7[@Uz,|37w@]6w)0>X, B)#GY 'Lxe4%F"p،0^R?7ÁO@ MѠ/X:puw|Ɣb]f$& ch}EqKW) GnU'VGHi`{;R^ޝoJ "x^95{ eِtGI= $Jo:$}fJJrˤ"<80<FVڦ$z]ʌc}^a/#4LL{ 9~0-mv=PId$@ngw(r%1jotl5 n bq`5ocz48s*0_}ҬF1TCdq[dNsS6om,=FٔS͙DXt>Qt2'd2b^@piWnVMU4{ 5ԥHc5vc.3sv~r35`͠x -2^3$:N׻M* K%Q{Zq*P(&/LIPIR,7:`x{t xhSoJ覗Sq^50v)wɎjUL= lDy}oچdYμ2 w=wze9vIԕcm{HT(NZ 0)FR6|BҤڥIi?^c9d]avpD>1&saZָqPW] ɑ< R2` 4 h,ţ(y$^ƙSws['%`txrބqecz^&=E-JUt xbd%P8O8Hߚn1{yLɟPιcZdQ^Ӷ"(!r@%jjv_h s@[=~0[MdwF'm}icxPT_;Dd:]U}t-mڋs5j]YdJؕΥ-L5Oa9?,`Ds3_ptM1PUB; "do&B4hI 7yT$=]\! ?Ela>*,(uphf86eL*:W Ti 5s+ ;~Ț5œy{ I]>u/U^e$P$xK$~}\vwFwʕ3@.-HB:U ~-Ө