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 ;#dL ]S Psi_Calculi:threads=2elapsed=531.201cpu=965.952gc=32.452factor=1.827zXZִF! J-+]ŗXf1-/6vR[3:CCp w{ uSZ@B_˝X-ƴyѕr\#c0M쩿MG0Oyhߟѩ_z5P',t~iM_Nn}p^95K(V]+Q+G;)F&:AtiU gm~\or} %g +,%Ph bܑ=OeHF^SHܻ ?a,SWhbۼi;\HJ` \`Œ4Sqº"h1}k#@}\,(jRq*뒬-K8l"z.R2F0l C`%-;,@g?=} )o+BqpP2BXUswy\o6t=1?ҁ.ks}W]l9{FaS8HXj%H.g쇨H3SdL͝~)Ukʯx2Ʋ+g<F2KY<BR+\_+&4raYVҗ!y_0WZn~blO˅_oEdשb+ȡ}L!Lђ ʴm:`%h,o IhT#+ 9tLk6V/І?CWJUJ?`Wz )A7&Dӿ 3 f+9Ƒ[CW ׿ց%Hv~Nf(1{R'ʆxFgۃV4 yוIe CF :>D~d*b`#h|UCyd2h?I0!B.~;gS/Qv)R^ԵNZ,oeu/w ]knxK!K[];UBE'XսZׇmR)ӑ,LZLbz9u)XUMdfN[JR'}͠GS9JVsә89AEm|*sK58ǽEVuco_}질a5qc).OPD<, *r_w.!o ł%^*ƵMvSN A29Vlm@'VR1v˫6Fhp'ȁ%^seMvk}HOLe1I6ϕ EPu8vo+q+~* vl`^ rAsZ՟ ) R[u_ERk*x+= WtV$S]kVGԥ В![*`˔rY3Mu%GSCGY dPx\bJ#iKebW]"|@6Yub`:p@{B8?e.:$7)ǂO)m!o{ yYHBR # Psi_Calculi  "XB^it:#9w{>0տ5QzwV.%BN>!m$¹o^6 *;Hd-SGOc`=KDiy|5ZnY<+JfLZ=,Put ԰ʬ@N}s<]vMr;_iTR|4N6'/LD79f1P󒟯Kn+AG֝=/ Iz|%7I)zX,gū܆ 7SP V[[ GFQi\<}ggf*PŐ (fB'<81;$DM s /|/F9̕&pY"aYt#F1F;3⏔o׈:UU:m }빦g8FU2X(D*Y9H#uÉV]Beץw1 G&+[%V&[t%v )SC85S 5f^HCE/Cq#Y*Ɠ}1|\6X>_fqvF?+fAu^Jѹ)%!3Pٜ.Uq>H.]D)ߩ.C^ī/g`)3cEz@ B._}#?7R!}h89hQHz;y=\xWcz\ *㐥pN긕Ѻ0kOn.h*'#,Ex0AACO7:r](P$ q>LkWvz̋㾈wI :@ή{>f^'!BG;S[Q}-ޕ'DAc,^׻bmnL_fz̴N^gE4pbu_=ُق R`k"ΌvS~* (PL !&S!Byu5V2k-|Nt|wmZXU 9A8P jLlEگ_1)V_ʖi1n=a8QdB>䃷$n9HVHT<ɞx\X46r*4@^~ouU&[kl<(yR8"S\kv)e Ҧίl!ʍUUU{20lS`E3wg(:/.e>M1rZn j-jw%ѩtBOJ i2="hYR6͇bOV)~ '$z"&NrqE҈ޗ аL;qNV8RmI0XFÑ)JG'U8ʉ,"pզg{&;?׶~eЦbӧIZ :<'8A@re^qe4RrMߒS0ӺJzwX4\mc6Ӵ0 (~B) =|E3.rLȏg4qfb6~!^fC4pӉlfK" ZVf<*J2K5tQ+2NZ Š&+ ~(#'Kbk`-xY"7TU0NöJSSЄ&{U d»`6U^w0v_,K frҋFlgA_0ҊlUx{ώ&X(zu~.ag¯+(K>HyyhA$q!J i`[3efbsp'D\o/M|l'[ÆzFiNˢcucJgIf`4UG;VYD<ݔd\YWֻs6aOkxS޼đy aԍ>1$SH0S @B*1iּb?Td_} >"kB򤝃$ 2:p]褑,@趨z->Q`Mb*&F D*m [4!O]f ۾=ʧ=Gmc4'Sp;f0^UZɬĤ^v H=0?3{E wvEZg45IF~$ˌ %)Fk6 F @/ti ⇇|[dZu* H^6tA7_R/q>4R`D1V!tͬ xwLos$Ǜ)+X[۪> rwPYjQ~2Zd' WްndrJx_KCj@>) { ocŘ?~26zdQ :c@) $?'~K \(U'G锢_Yj_&5+3zB)l,  gRy!vkbgּΚ z_&ky(㨌 $\t7hgG6S&FNN/H]S{\8ź3SOyqpH|FG[[)|1ggŽ831CAf)ԝН`8"5O:*O#p7;~]]Ԑ^9Z CJTREi9UPb O S))-JO0Ɇ.D2Rp8>HԔ1"E֧ ,KR1oE*#+ |^-|2zp؏^uF~ƜDG}57E3ֵF[L#vE<~N =#I}3=瘆2Yl)!ǓBDvn uk1iNI׳n̄c+"r\ ڜ/~lV6!gߗ9+} >x3Zb\ģ8yPoڮ̗BkcyH"\k" Kf|36۰I]͖7Xx.|$3aaVďàaȀā{o$}{1 W1s^WbGn3`!NM2avFV*TH sۣ,~pMn)&|sQ,V ZCKbV]K¿jR;*1iV }k?6H'&J?W0Wn r{*3dW``W79O'>`~lXzuO gOw1)j7>.rIƬHt՞5~䰂Ks2j# [T =,P7+9%t뭦Q13ՒWe2tx{8[: cLvŃM}厜*^@RixtCc`a!ڠSR'm!{JFF8 Bx~?[5k w"?bcX!(qϠw k7,{j" \灊HҘV5Q? _6=˱gYZ7zXZִF! B]ŗXiɟ˗̵w'Sɺl!\c!c/̴[Qk 0YC8_nK+MiV2yTF )mH-74P|E*kM>B`J` *jeZoTp&G6%7zD wQB0Ҽwӓ0+|v+#҇n1gL+-%^}xih/Į># tBn K>+ŀi2A#y{}@ȉ>U;5^KP, D:ft#}=To>'t9;8bd|l94jʜ _q UB9IYXw>F2#:Sݨ]qdw OЪ-8\K8>aw 6cvYLAqfmN1GTAwP}bK/D\=]8/;X6tO+,9lM 9^p'ђ~K]"T㼡l5Ƕ;04/AUS 0dzO2_,% 91t$YsQ)q v9Q0$D[5nIKsG CY sO?:Y1߈\FC5:]BWϕ O d bkAK{|$|6ie;FtҕLUgYZ7zXZִF! Oh]ŗXi%>gv;ZD~9z#dl^a<3[yӥaH}`wS\[4~?ru$5e6 g^0D7P8bħ(Z1AθvԚE!'%U ?>9ԗnCȫp])"ݘL' 3rd4믛Jq%WŹ_d 5\߂\f-m=ADmGN-G?칂Jnr5u:RO7 EɘUTϊӠB j>;U < 5eBhcۅģy[{/n\,m‡;9=t*ilˊbtR0_>ER"/m=lh~02D5\h36kԥtW ?&W[lC-x7y@*&zYeobqwvleuvG.tE4]%(< ې.HV$ $ < ,tL2SŭQ"NYǿL2w>`f6|tdvgg#hF$vHYmsIadk]T~o1R 꽿d c%ɿ.sMUDE.=k &u0`X)Ө"xT.D]__(͛`tŠHDWn-ݯ%3Ոs<~TNr:pvn>ǜ0֋}LJ0L̇5$ՠi3'jze4 "AS%փ5 VH0YJ#b!cCArȋ~%Xgn&W)wPU*gLF)Lv7iýC"M !TWMdfM%ka2fer}Eׯ)148wĔ4- f6 hT70jB$K^>fjĄOEanl7&Ty8L}(9aM6k:\CN#va&7"0YVcdX;}m!9sHQrw-$Xf@4}vr]b}4-GİB㛼 2@kZdp<]:bFK) XЕ-%d 6y `T|AvBgL3kr wi?/Ŕ#%`n7Q^4BeoYQ :7 _ z^n8I{ f_j "s(ѨOnr ΗSџM7"(0q𢁯f8@fpHʱoK3d5_Kkp]eۭjd8þU#"g7:GiD;*o$2ro~"($~f?7}+4r}%7F&ȍI@g[Ϛ}_Ȱܸ}4~Aև uIBJO,9Q ]4c+eLawstl1b諴BNn@1!V%~m Cd!`n2*9p$lG_7ccoUJ{S _@=#S*N{JI%2 L4e`$Ū^+Q-l``aHN6IWd2̥S KFxH<f 2@M>8]CZK Gl|'z`mw]R*_,(i?wgϥ^8 yV Ub]e,4'-{u^OKXkG}ao sM5x*0)K"~Cϟ$?ڴ'~͹͢ sIPG, 4HԷ.2tNfEnQqe-4Λt \ "_5,30^˥x.&V fNUۜ,NB2}!Ə=Ng09qM@R\a< n_鱤])IAJ[-cN,Xh(w u *Fs+* k1agX~.QFui@Ga` -J*I z/W1b};K% KЪW%wuNf홭iWJĭPM[T|3uÎnvGZar;8&DP rMV{ fX:vfۧBt4{*]IH>WNB6蠊$y*j%>1q֦$ֿV8gE3w'{;C|"g7="!1ID=M7T|-X)%U1e퉆MQ"??x2"$aJ4>@CcjZ~ ܼeU5JNTg(:si\({=W8,m s`,1R$vݝ#$׫ϴ=:58CV Żm8Sj-RoA}k(@gt:@.Vlvjɣtr] Q4Ϡ<,_ycľjE4g U Avl.!l`PqC59t*N׃/L75i8)$&)eyRc5yvn+/׼"6-ha[`W|O9sQ8&T X7zdrUvd.x7;vv .`Wb53Mlr8=.V̫ނ1fͣvXd픫٥F0cׇ!⌓䮵<`p*q~R"+N@=\!QG)f<Z_BVnr(RMA"p8F탭1W8 P(F'8\J=,2rp9-V_\5)Yz}',-Ll) '3ߩOk݃t̋;_*FSPN:%9+ vXAw*}+U&ʕf=~ѿ)>8qwI_WMlN7p JWQ~ 1ҼP dCaAw7}fFlf\'^&7/ށ.G GP@I.T*;8D[S5P RRS&7 KH]P29N`i H7a2P@)'I\T$9j'HZ'~И΂N82eԔ9B]w-gCuiAG7`m i 7*sLPHu,C߱R9IDwgyv̋5""M TwAjʻgzka啫cJvl֙Ӻ+ u>C| ȕlLclK$&*>oC~0xqwGa*mK +6/}µC%EER x5f!6FE UZ!nQ%a=PipuQŘDH?%6W T p31?e3\T#hR17Ǐ{#݈Ƨ^o"92Ȇq1 [0ԕ-EdH/&l'&GCv 9 r-* Zs+Cr7T -ng-4&Y+/x>dö&v@ fl&%`7ؼAH3޲ZX zV0pKPws8u$5z,kJT^89.V'7"N+Сї}L| <ga0~%\o&G|%${yzKEu.7!!_Ru-C(]6q) yKO\qa%dHYu4@pDv駯1]nk]_JBs)ul ` #" BiFP֗O>_#%|֊OP&*YѲ?1. u5Zyί?)*-˹_ZwqEQ>Fۊy$[/l.~T]I5ɷS;2^ͳvDIbe "@mS{e"\ZudSz$L7ZI:ȶqnǕK0K*-R 7T:Br90@ p& {#@{ x e:AvݺCVl(4{,a[AO}Q˷*9lV4*ǃ$U"dA]_Uu+˧ͩ*S͇hutϩEB,yL6Ԫa~f?ÕV:zQH~<9ˊBp--qۼG+Qp*[qKl>!\{3+b2&0Xf <5nQӈ`嵆TOHmu4X|q=ba@:Uk%<mν_k(yMCб;#fҐTu{qh{:?ڝby槓Č|NP&j?G MxZq%e)O6rR@hiZM,5<~ J):W*(?E3/PLz:ګ_m?bF$ٸ$:g 3G#c-aÑ`;eWU7 R49!E\&I1ӯt2ܚD?3+AH;y(o8FLn gA>4N^[W]YNɞ7?;?A$ oX%`?jY@U<rTc m7xBtїx̒x%xĈORH&ֆtKĖn 2rͯfVtI~(U":Y_i1dA#)ծЪ j<~!F˚EtO>wtW˽4eFEֵKa5&PN\Bkyǀm̻Tm{^ ՚E$*vDž/ XdBG1)wu'nM}TFGe0/r߯ovYukGiM: qI? `CnRTYZczJ4>L`ƣw;ֽ~a meMe .J!a(iU ?"_TP C~2n+:Uđ FCnp)6ŐۍzSq䌝-Ũk~,EISM[j>tM̺8ޭ7ir7X^tlBhiHhoLc%̖Pr\EG&)? ߃4̄`EF (=0X5zMm=de+e7MRUqI}746Zsо[%NLYO5c9˯/ jU3kx0LSiLr%$NC+O-{Y%0;ք!D:ܓll a@J4lE s%ˋ{tC̓҆)fa^ '%М0j,# .R$dFI jd*= 6p&*mygGϻ $c3\-"|Q}3u( 3_,xJ׺/<;N}6ys액̆}I|6?y㕎owͦϱ;g)9ıXj@h KVAŊ1̂htH,D淟*mp eݗA< xp8 h;4x1xtZTK^2/MWNof-IYOL^)#>h\쀈 (-t}[)։c4cI5q)DLO,sF砍&~rRiE6&:w0v7(Ъsp+Lp]ჰb:v~[WZ?0!gj"QT b v.f:  ׺iƷ/+ʶk ,o[FI Y6BχJ 5p#I(DҔy2*.cȍ`%-xS=_po0?F8$5mzMZ@pѨ9E)\:QSdX ҩ^i`,$֜=WChUVmTʦ:]}lU{'ϯбu6~$ms.tr&3 kz1p!Cgfd|=>"Fnw1z x{O&<, + _ }t 8?QQuHwܨVS{?7C7RJ}:&X=ߪI}ّ~m#"cm&E eH֍  Z08h#_CN+h-\,NHU?*w>XG4]sL1>T5,hj4X1b;"ЅdJ XF d|4]6 O?@j- ȮpNo#j]2]G^,1xmkS&%%8IHӲ%X`%C'G}ulAޢfUy&NAcʝ]#ZDʗ[Ř9eB }_@!_*KVڃ]pMKP<<,K~+)dG1OI.kt*]rb l0 \ *~cK@6l&շ w[uuh(48*5RH;{ g`xR5 08.l?#NH\/gƀۛ}J|cF"LWc$.?2 9[0R*-`P!jٔ=<)~n |k` h[%\~\!g]X(JzrN }+H$nxN&h[b LᘜlVT<~f9gѥDq>]o#mؗb<3-CyOWu]Pw+A"~3?9+9 њ`%bIӨrF11RGpA5` YGfbǝ⑄E¾YݐY;,)yYA%(YT(%D]RZ|4nʀQ\o)|d>~7xS4T.?ѫDzJ罸LN ba0DJviCGF.{7cA'RN2[&" ԺT)eHȃ<./ZVbbнW,v=3L\mR"dBFCmOoR7E ^SF,o )iJ/ikU TBYG'0}J)qdr$LGGZcMiC590#.il؀V޶:R!_C vHmr07BM.'8OO[vR7酔JA)jL|~8zH\7\G*B*#.$Ur5Wрmk@/TxkRw~{$rGU>,FAp#?^R$IB jaj%zb0Z5D-wFfMTpwʜ#OQ=BSzmB^a6{8Di.q&"Am;ߘl^/JcIʫN1-7a^ê >—O`YE0y$Sgi։G;]uèNk(kd%>2gBN9@эFjptlܡ%de>fx o:{$WxtG&6{L H4ʍaFќcito }'^":l$ZMs-zT0eoP9nPQ`&$-.}΅m܃B(<ۘʭ5nҺQغjKN*Oovl&AJUx MA^=@U.;WЁT:)twQ,}^,i(4(cԣ1Y[l'p |>0T4lTt{? fnY3Vl>*d/4vz^3Rvz]U[v*iƿE-'P(e.vGZ Gϩo 3H_&|oEQ+g\4.KXCFbvM)KGm/4/] b|JJ`,QVz2_o6ЭQ { k9tv_Cz gsy\ܢ&|jGu ?FEVAL~A16S&C3k>|mi ): ElFkZ-^+ZycB Pj&b» ~"g:+)VJ}V@Gu H@p-]P xZcwz H.^?YY/t`Veb7<BJ@f̞̊ԯxsQCՒHmi[dhHt`S{̝kƧ^xl:>sb= ^G^U7:*!*))5a 1QiQ!ܐШZPѧۼ\` iz;Hd{Z8{Ha3ab'fX<ލ 偸J\}'ܴ^ '-egs! d:#ӭ\ʼn \`B R}ȡnќ~ZӏLOAj ρB ҫ~=W-z+o=JtcT R;x?dFn~9@&jia}W /:&/|@p'xxnZW Ex^K$Ĥ F?]7C8Xw\[28U,vR6K:.0 rۥ=|Liq*0IF+>Lyа#M]6K3wGxma,.#Sn~NPswћp)3¼y?Ÿ+0zhol< E[=eMkIZ*GlGC[0 WC-sHzܨt|Jd)N\ e~fj=Gig5BrisDߕ*`vp<>9$3 —'J ^,-]+qk*fYUB,t_Q6#: EAȪ Q [݂TP@Q (ִޣX1-sGzSMc(.Ϣ[;2=UZ`By]aB|'zOw(5@\2{ā6jك;$$D8Dp@WB<>H^JF̎qkēS .|meϔ!kvDq7X#KLe|Ē.~(D*+ 9#Kҽ.;)3ƭ-qfTd\pe1 KO;u}D6;=H4>h9^kB hByQž;a,gd1Rc}u،Ihuk0T|]W Jlfٞv/3gm{ mD$d]%Fhn\3bu3_N` ,bpVpb/[Y- &ൖKI3{BEGj?lKuY`BWqc%^n64Oużs80$șy+Fg ˬ4I<>\=ȍM([VCao?хV:żQqdr8hվ3DYN4V{ R/8ύ!&U,H#r&[qCyrkP0>{ oKr_#HM(d$*/Xh~)z'O>M# {K8·o^8>CnF+́}qB"Wsp <<)5s43m0Tx:hTXԪg _.M+HJkѮ`{TNrر6osR4afH^eGV֩}Qŧǹs_?WJ~kapmVo^t'lB1΋K}^)8.*nKLISH}ۃ3 ]Wϝev/-3r4hJMYXSDe YuU`RcP_R+ 2 *QYLSOv3CTթ?&'/=mf lr2 ԁ/t^|ir _ƹJv>D/34I!DDEu}ĹVcIC[(TGh3^Q-~wڟqBCcYoRȆtƞZܓRTqg iWGk pP` M5Cdc/HK:Y<βXvq'A56SS|6X :U~{M9,`ڊP+xG"lty'T|F3gW5WlѤ׷q&{TaF[7:fZ;u 4Šu1"}w3zq[*h3/#US1CH6ئXR]{lj!\ z[ߦۥ,o>s^Vt|+njrɾ_;Amh–kagqz)$Bm@~#YB2d & ϻtkJt%)(~s`Typ&JViʷf{gӋOGP C=8⤅[c^m@áw\F sGl֤im(v̙1W!ȵToGx P}= P<أM3L_(?ZqusoᵙA36&xdx*Y|)=La^_3z7qj[xle=́ءT]¢ #+ӧ9ؘD E`axOOp V^g1B=?pxi`Q+P4$)^_IJWxL%EF^Wl(tbjؓPe%zm>t> , r$eȟ\bN3D'EK l8\nH܆hĄWf>")قM#\)EeR7aשMSQ헪.S+=Nt&5nYm܂4W ZWJ^/o'G=#g D5X)xSy" g.lMi&Y, U?1>o% GtAvnhRT VlH$Y !o6@p`cxO^ 󖏈5434h醾`#! w엽YBjQ;||tܕ).ѺVC ڻp큮͛ aRꝩ<HW:ǖ7?4jT/Uq-LK;Ie0F)k%`JK&Ԝs Y3gXSK>6[;쀘y^Uuo_&\Nv~v,溁w0ޝW놿 )  $)D/yTV8) ΄AdIa Vbuӧ<:֠Yʲ~BT+Od{E./U>/h.10_CqOVuN=9~eO`D (1̀r(mnar=%x+R~g}ŌO|AնEKT_+IO f%וI iT-mn_("*:L `FbS2dY{WXWN!Gr`cN,azo|6rIC*Mw.ñBu(%"r~HVp'+EO<2 [AEKlt\]У׼#kcE: >au(o"pLTQRtU {˅]A?rcI'-ݎv,;h+(WWڜ6CLjd!IPeZ#c.>3Er'yлS2۩p_b6KYF[s ,̞"q+D,iKO Kopje]h@# M8ψ#yu6hH"(o'Q?]WI$Ϟ:>%q?.t }\09_* ]uS$ /b~tFv`jJ3Qp`:syv9,8E&K\1!WP Ys6'5n5:q{f<̨"-Z ? j6$V9BnZ5unkWIj!}_QH¬I;U{L bC=,|\ҢyྺGDeqL]QsYew+Ζ> QfѼÅQV;.D>yˋ'f ƫ*֯PX"sq[U"G2IÍC͜?{6u<^lI/ y^\HY:AH)|6%@FNIH\ n~]$E !` CB0Ƶ]e@P \j %Au8Ro4d/57<r( aQ9;mZgsHk)Wj/*c p@od@4b:Gmv_7 piVeuDTZf͐LHl/[C6 d,8;s J1eXO>k3 R'zѯ3*"YލJP{(cpi[s`wC+ǙX.(88 O֧$"-xO|Ӊ`)ez 2bѭ䐟΍7vI^l:%H^W`ْ:|Lj}ޖ[`3?'-R,Ercu"FY4--8?H- olXid_\eug]܌4jRJDZtv PbR2Cdx5 Ct,-ŌZqSzG~XRw~Wm@IT̆4^VOKgZED"%>uQ4?9eA"'+]԰8WAJKD yk8)&ތ 9ÏqWO_[Ldx]b&阢̃m(Eg*#M+[.ө7g~;tU9'Ƕ=!䃰`L\~J ^n*CtpN=FH[.Cބ2|訹N`/eZ]טh%0od9Хu4(zOȿ}=Iwt L;îAS8κm@ EZT=0bm_u_ܴl5:oi|+13#:P[/yW0ȹoEu3@UyINֶqg.F>^@XoWws8h|k.uT *·DxQ%xoK6" /?%lrxd,8r۰_tt$!!s༢>eΓգf_;z|߹[։[zHkT`+z_r =,1Ɩн+ʩ*i9l-흽WjOU"i=E)<#5ɬ\OkR:B`eky\vEʻRŐGeƴW9$kTٖ-p/n=pJR`@*% u:]ԤQԃLQеOPQ^ǽ/}P?@߃FG\vr.c6;by(Wf|^Rğm_v@/4o>`U"CĠ~a܊"ϞOnE_-533i`qZm=K33'8). wBc5lalMIJ\<&oU8?N;.aC[HLLGq=`BxuC?Q¶n3X{I_x&gJ]v?4RtȮz_pn|Fx`?S,˙'rȷ忖 >߲t@! )(tْlyy -xH4H])#4ލ'">\5lÝ<y!\;IQK{v2ۆeۂI}$Bx xq=G@Ǧ@q/xHA6!w$mOi,MnřHZF5j7Q](8ݪӴV$6f3Iƿc){Z?e! ӟZ :S ;wkk@9WΪ Jkf91랧;)FTI6 ꂷdM|O(ky.LMnS<1o¼y٢-MK<  Ҩ8X]7M\(j̟s&̳j VL'9ekGjaɜYDd/;}wV劙5yw,k'= Mm<ZF#9bIЊm>(%|jŗ['ۗ:?"T($)l!ۼ{Rxnږ!5u࣎5u@lS zVxۅDžFԯ*!1\ޘ[3)wāLc(dyda6>rb=m³U!->B0IKqHI҂7/Hj)1b< l42cY^g0Ib?T@B\"C7kW"Mve;6xquv39 csP9fG3}$ MkS.ރjS f͉Ɛ1kPgoϫژ #yPU/q7J:z'EL7gGuE*jbl^uċPTQp%r47.oPcdՌ{],Cjh0)gM\D뎆k"lѪ[x1La~ J3FΠyGN#A?ׄB:I@024I"=i>8}L,>%胹xj;8^?zT3.e_ugqLځN&J}1UyE|$f*imi+#(YO'ӏ:WHԣMhp#x_?Uc 5uITZL]Tؠ3F:028I;Td8ɬ0|_t4#{pG /W5?>[ <Qmk-<#S!~`/9Kb6h}&n$%_i'\E9Uc ·ZPuJC`҅/ ^^A6S{ lK䝴Z-YI?U{IWJ 厧U;ZVJ;ƈ?DKeN sg ֞?HnF `8hlFcu)}m,yDGȸ٥ĘneVБ9B4"#UQpS!|o -ƾ?Uyr--023gyяN[UMkf2̀P Ki$k ?Kgkr!UhhFX6ѢsG=\I>R51AuYPV椐H~ߥCFLd.9`c%eqrqmg[W_'~HAvsAn⇴(6yBY} DKfLg=4~j& RF"M#FY]kp+ rtz6pNw@VaA^PDK{+"eI)A0MG{ijl K2wyɧBޗ_$Ra_s=<_KuSAKf-/ 끅o"Z`bwXgKJpfm}9!F; )DJ\DOk(p %4 I6Z+@4_̰`^10ECTލ"c։R895&ژjQirDqqiKpR+jX;F;yu|K%nW~^18'iGUWOl7sHg)Q2r TErI:հ %ˬ(=FKVqܐKn!1 }( ;@>OQu`e>TiҦ;KTX-?<|~'N|ĉoW/x6;'SqpE:K!lv`s;j7Qo]>m˵CCXcߢSjf]C PSFG>I|h⍞Oxwz0+['EcCZצF.+T5(cu99g.`=![Tl~K l˧Ք9~:˜¤ wN'ͨ-C0 ق9V[hL&冲:~WōCU(w,1X4TKeZR s01 )[fnlaނ4 ;tO !bH9Ļ+c֌7i9D*[OdD! @xr CT]l<-Ďpba+!T&'5NQ =dQMI#nᝲNN#Er^Cϗf~ia ji.Zji7T$*(!ң5c! Xb + $HK,DAqKt)!y}cSWcmӄo2<vhzT{/*>p#=@ )^^B48$Y"xI"jq}@u}l" r閗MȂ::Qs2|aA#U eW܇Kˊ.+];DmWul"`ۘĆo;=쵲pon;0rR0j}@h> y wɒ!qny~EFmR,gtԴuDŃ$\ml24=ZC!~_w έg{u%8?jwvtj+?c98 uW.#Mzduh6a緘 5}H<>#ŏkFK7Z0,Qܸ S]NϏ$H6 ~wEar@B.hn Lg qW邎;(~HK,α6a)9KڡJ:A@ۄkxr{M>83yt-"KD\p~)V7;K?٬3Qz| XQCl̼0ݽcj@5xb< છF|tm}?,GMT`D Z^#%5+6R0+ S>9hJТ`>eChHv.Ȣ(gENYRh>Л9S+7ƀ=+U?f &WJR"ueb-8? 2j7;F/ؗ |d" 78XJ]|Αk%c,]dIk?г\^=>TvvxoܑYRJ3 vt& 8m.8@LYXnj@UShBPDwNuiƩNcvk/}zw=Xq- (fr qI@ ?EqS%Їc5\iTpPc?E Og5:ãhlы\'m߷d6a,ɧ(J430_Fz`Q02ͧ L?(K?^J<*V(4 #J>q<7.V0W>öcYf;z:֔)SAK>U3gH,]~% Ɔ 9)gvťMe``QM G؆e')[8nl lUL +y4[ڜ]„E QzOkjC5.|o(2YPEr!'pvÕT:z/؉hz:V>${<2{:G[Zkɑ+.a7R䁕`턩&4;Q]Ҽ%ǠC{PMa., {8rf>e.~wqӋr G fC&lѴ'%Zi7CH2p;97>,RvK1`ڜJYqLZMݹh~~ (b4z Yظ%53Sqql yŠ 6Pv $?$:;4|PNRPfeB{JcUrSyusyRGqU@w->,vwU EUD QbsਠJT0un,u/H fAuuv |BO_y,Je9>a/s.VpDP]|/\Hb!m^!b$=V urFHоrD# xQ,0oVBChPMp&aCU I 7ZܵfZZYZɧGRC馡WwR wJˀP ټ7&ysj%Sw 5˅A0C*BwRk+m76YAҚΣ%S{K !sRQcqrDdW宖;W"^I nֻrRС.Fd2CP&Ux[XC~:]@ @3 Mev)KogYZ8166b94858b93a8d8faf0fce1e997b0d2e420b0c665af98eb5b604629a3a80f1bd6c88145ac43a21 27625c6a71bbe28fc0d93a17cd760af834a4e6e7 ef4af5ed7faa41a9d8d5237b72eeab989fb81c0b 38c1d828a2f5b7f686f1284b1c6711b84a6c6dc1