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  4 4 #$<, ]S Psi_Calculi:threads=2elapsed=590.181cpu=1067.952gc=34.736factor=1.817zXZִF! \]ŗXf1-/6vR[3:CCp w{ uSZ@B_˝X-ƴyѕr\#c0MBZ%Usźf3HFs-Ӻ U+/NeE]LGZ|=X2V{]Grެ$v}3 H"oԪ^=k0(H*s呓ULD_~(û>W3}p%TrQ'MnQ/*:iuDeo\o3SS> UwR'Ͱ#Qu 3j"D!6t[1?ؤJǣ2i4"/9?+(N{QybAKPmz 4,WJۗRW Snl $ڒ,AFv$`YYO%݀{c|8oC 1T泔ZB4˂&TpDtDpn1k]Rp]>8pB1d |l*|H[r\(&$O޸)'?RDfI1Op%Q.M.csnx㷴v)ݨiud1Y>"IDfxr\L518[.AjJ KT`ӭ;`0fm)TYvG,e [ird"UjZ6E_iAk }!2+3)̃(z`>5@ϥ[c~碁i$hdvo)w;-H Uw]dZeH[Zb[H┋pG3zY'n2[i'ʂ}&O,Լ)p/nB=|'h~ xcZ49*> Q#SIJ V9ͳxSeo531G(w3~m  Դ8<"Kzc7z_Γؓ'_ {<|T3rM -bځ)Ym(=:"KʈDFuS7A134e*/* # Psi_Calculi  ,.qFgFi$@ ONP4$5y_؜?X;eZPsï p] jыfyq4[?!D*GaeZ?/J;4gnin\]J bhU8#TTBS3.u!غ[R"n6Da'~_. +@lPri9m=,VFq{gE5!p-ǝMlc6v v̙ZT?Cs+gͤL" ߉l9YDTk_eASu,GF~UY L~\wgQXR[C$; )MvCXr2QY _/u}%7vb.{fQ^lSL25Z(:Cr]_0ofsK.ֿaѓ -LTi=g&W^wa&޴~}p( +,AfDWo!ǝr_m( Uиy/H7/ "gaLaK(._?CKNѰS_]"˶l%eyLcHås plN!;Nq1f!R򯥮(ГO݋v`Rҿf[!bɕzϑrI)m\*]E, D!5jE QIlz)ti뀐Zug`. 8 ڦ/ R;zb8䌋FA%M4{h\k=R@$O&FmgН׭ES5R )e0Q v',|ayft-(&͝A]]׿57; CrDj$0,f Z:SAyh1#T.{֯b_L*:a }+nc\J,0+BedBYFSt4q&qCF/xgCb9Xk+_h2 T ~f@%5}JX/iWԪ ۚi"*y@KTtR3!3\HɆ4 +io46& I Mi~HXI{ 5L(ꦆ7ifK$:[ZiDExx3Mn-UOgjMBkƚ_L#kIm[osek_Kst!1%{؃R)&X) +2  .[`T,|%84oTGj5^;'*t RJ ;ȋ&V_B#K~㛷 !T^&h=~lMhU<RXA%,ՇD{tu9}+.!$󾉼cgb6 ɇ5`FmM{=Yo^'0,X (#7$ :r}3-( sdJ~7ce**4UH,.€1&tQr!9,U h x|K@R3̷ATG~Fu.OTCL3)K¸,a~>R-9I-CXvHaxiKPe_)03B?7g"^k€N|wAD޶.˨- . >b9o\7*}nx}Lo YBGx7D 9\rxhRgm6 q_c)iW?s-T߹MB3ZvZ<)N9,4QZ $D\)vIhV1[+uڲ[.\)BtuPx00uA0vO~a l c>HCv6-<{B'O/?S'=^| )] zjZU @;txRet7>O})DA7xYyo})nm|;h΄4+Hn }E"P@ Гk3~ By# ̿Hg"ycˤ)TSA2dKg݅R+5C, nkWhUy12$V][%lF -\y35b}˂ŭS\S:c|ۀW>/n^S4Ѭxtܱ, \%P2 CZqI%O4Q/0:RB!q_oo_X!U8_HqvSVD:~0:]mfl&#P)62`=bE5Gϧ[xEob. 8O.3F7f.߬˝\yc:J-Ƕw[[zboi+$RyY臰F|E2$}LdKc~cNOW }Z~uU} w@@`k؈?2 W"L2,D/Ja*D/虐hֽ;8Ӝsj٫,R6"M =˜]ؽP@ qtX+%ֻtHdKo9+W}ОXA>2GEm(%?7}&sܧmFljwsFړȧxu+ 9dm]B'{|'p6cNIA@'Xveg\p-j oN 07`^3(ZAi5mBL>?1h[N4ߴy;Ȯ'L(:ODn_;ǻw .Jxτ_K٣y=mUrۼuw|42qW+b~f+#LA |3j)5޽}b<1#s*%ۤ~ݰPAAjz)oR! ='/ڌ'rj3)y5?~P2#gjUX`&BxKUd&lj ?A(@("g ۥTMF~Aa-iIݖ}c +#@;KJ1p0Ix'Ckښ#s<c;ia2hƐQV:%OJ=J]%T9fDl'TucM YFqWjCwcK{X/k۰ `eP@b=8fbo8+;|ȎJS:[X' c|%~+$G=KJЕLV\bIE^X΅N&+i)x<{@h"@RI*V<^)TvZz+&̾WXi4R&ni]> : ؾ-Q NTHWzEG?2fcRE'Ѩh!{E3L4Ѷs^ȥ$Nu*kf}Oz nfzbKktѪ6z  hevY{꒒`8[yqvhF~ߜ+&:ZS%:Cj,&-A ;ֆ,.۠ڣśȁ;i+y:k[&U=P=E UJ̀{n&u쾸|icQtbqŗo%]7X+#%TjOfCxA.?GgD.xKe-N6RE<0sV*FL?׃3Xk7gp4}y~~i{2 tF=eg'yH=llsE)LSt xb=inNPfDNM7YQJfg^ 0qN@mmP C>-)!q0i4?sڋg&%҈Οea[<β$b_qPJR{@s?ks+<- %.H$7ukB`R&+Fj/HH':J|B)QXToPPLلMhd4?9w_`ā,-0jC#x| ^¨ u/=tEv\,8ixkTtWt`ߟRJ7Tׇ|+‹wZ.Jtp'`/G:Y41NV{ s-c72 Bs?HGzPO̸]xm^DizJwJpSN -ߐSY=?1Yx{yζsy.=u{sXT= r:<8:֘[n0PDz)ܼkh-56 gy7b%lc6%}oLaYATZS{+l5tX=D:֞gTR sDuwn!' @IՍ!}2E0:/&4  :=4j(@cA0*g ^\”Ϧ5XEMʋ4cz΢*'z'hwo䱙+ +p;OyoHqPOh- ϧ|7<e0*I4!y^0fÁJ0 ^jEMO*&dAIS" Y)j9]$lxwm|qO4WN&<OK=$&}& 45fOOeő]fܼ_J[p3FN7]`E(ޑLjWfcn{\~<4?~!${=IbTپm;%S| Q=&moAR_q[^:lLɥU?*3`@^NC/98۱gYZ7zXZִF! D]ŗXiɟ˗̵w'Sɺl!\c R lcX\Y?. Gȸ" zobCR5Qlсb;~.9&UAl"qcPvBZ!/@gZ,zN?a·^q,ӀVhS=ViءrΆ:ΟVOEWt8,XڗZJ JhN!hX)#xiH*[#~Zf_e+7r#l{4\!"T2򪿧Am'|]cVks޷R7+J R) C6% K8QfN|@X5,ܠJxpxUIA6ғlӬY HsVqXكv4OͻP =}%AmZPɓ6[[vWЌTՊѸq)׵QM<9h̼ Z'} abKLkQZ(l;_g|Xt=#@"P)W&#);/7@b=Tl]TJ{ K)yB޸\'yHmNvKOrXPͼq֋>0ByoiӳlsN}SS=h]kFRRu1]Q})h܄p1_h&tIl5K53:d[5m;_gW} ^ϴJUoL:CB/x?W XqEq~ 2heAw,)}L"}ʝ:$#aEۊ;f%`G(vm}@ҋZe{T>1gZ+vXV»׀\S~Kc_KWQN6D/;:=t\^we&`S]pOo^`vlmg݂ggL[D%BwI 6+KmI#G;%pd:\XeD.F>xPUjW,ۓ( &Hea>{>JYUG!Rpv)ن1F҈BhtMQ㇐S2T[E^k ͫN̤y'] 7bsCiS2`Uhͬo@M;w&eOK3" O`j`䴿t_hѤe׸]~p W t* mE"l"/W4c,"|@kiu}~&cתq21"wͩ9Z7iR|dT$k flv{roJSk3'>RoM~@8 FҫanwB:g;hYeq𧄲 ԅU;ƶ =Ւx.aELi^>OF6zzK!myZCu bMlr3몝7gVJIvŅ ]ߡڢnV)Ñ@$yQTj~m1lRۻ(#VJgjL(7!F~-ȝfL&#z~'b-JpciAKp>3`=wHبZ.%dUByJvG'òCs֠'BΉ `ީp?2ŗVeG(v*dgFE+6!w3al˟vmWβh) K3 7W*nzh{j܂>p?@/ $E(>6Mc@e,]8rݯ1) vhtx_xHMs}Ʉ>V 5`}K-kG-;Hecjd]۩ݏ}-3h`d -zkNO nHxΗw` Ǯ4M5ya!)7b*ҁ)AQa{H#2@ uw1|ͿO\j!Oe+$PְexI B<gH"rI`M]U(Tq)U=FXD֤壾aihoWL ;7o/0PP-,iQ%$vd/M&}MNrRl{˰G5^[ aPڤn ihl0t[x4v?/,WD'.ٓgbHX7mQ8Hx97K Z7C~~7 $D_m?ezSxc3򸬼uʰ)C9I{0?X_fUpY*oʲl$2v\]f -f6N%g= v'V=JߡJVIJ0n#fU^u"9"%Pwz‹|R͞=ZA/jlKOf JŁ;VV1t|^SqL0a=]dj2wbs5 fqÉRЂZ_b@݈ y~,|2foJ~}XU"xyf=ΰ?gl ɯ;w%܊{`6z4' h C"Lohgq(U͞Wxk\+44or@ &ߍ^'-%hweIzDϜ!3Vp hH&ArpYz6 ~?>Z7NL;| GTxmvN+GHmaa"uEbKe~+@Sശ=!v?o!C"+-;Ж0)ʴ-㇅3wsM ;1Igp,BNn(9ga r:j¹f:*W;{Slu\iEL"\=k*PB[` IϺ#N= t+ :қ udbUN 7? jvg[C R23ـxg@>RzpXJ숡X)1ߏ8LJm&QKr8Xbjh\]$U!G3J^N <)lLK;:%ou'xyT8q bw5]̘w#upȉ }~ 4*5" PPv।I!7WlWD/ UH,|̈)aaNj7OD@}c: -&!_ar LK}㨈2z} Ё >2E`ITz;t4Q󨑵6ǙMh }:Kmݨ}/ߓ1v#W2-sa[_Oɒ?|=]fH&PcUSl"\CϘ ~>r%*]=? Q%]]%xm< AGI# Vچ[cmTV"47Fuy۪gBLjѽ `ˋgoTTrK- G7MPlete֫ۗ+7xc2 ?\Oo,%wl V]cl;C7c9}7^IDDЦ0!|l ɷy*V$ r*؉6e'l~D'dy;. &j6 #`&}ܿDG6#G>{7vtJ(}k6`j[AxC6r$Hfv?Y1L% A.q'\҅2Mhy]TrF3sE.<@cx6IsC#\\kLcQRLnE@xf/SG5ٌc +oÁz=$ԩ@r_F~&yBjsX[[hH8&`Da.Ì>r]/gJȎ7(8g+R 9Cϣ-ŊOh;QhJ:Gy|tb~﮺L E\w2@oʢ^B$ǰ :5J fxG=(zxJ=xd׏+->+zuu;o=5CDQO)M q~觔Ҿwh#n+:@aUQўd_ʏwb֗,fn>4!{т dH\*|Մk6/2 nq5H2;}c()6P9LJFչj 9oj>VZңѰzmS8š1X3F]2U5zopJΥ4Z~96&hE)DTnz^^0 U*lvi̯ԭnUj ݹ1Q/y+obH񆳜|{g^PuV:J\CZ*@؅Va:*친u5€|΁jw\PflvLHY@fmKazĭ;Bx7GF-/ĠScݽa{P5y*R 쉺8:ˠB)a0> $\LeU8ǝq_us$_DV%STQVCp~vv.e}] *%]6E7>FϯDi qaaC\qFU WfK8@`x찙KBݦQl&!tʿM{f&hkPkм)z}wpF&]V!]|y K'^>,,컶:fc g\yWJNb>̝VCx[$tЊ?*X{hBJrQ^Dg!vs#t'M3#ɻo+EvѾqK&:jIFyztz>86M=kq'17j톴40~#vdX(/g3cW(0|SX3! i8ap_iF#BŮd=GTj>C\^L*7+Koq8 aטD=ye'=8OT"G'ADڮ`W_XJԤ ˻WĨ5vʐ14D,HL!mn+MG0Oez|D 5ޣ1jλ֮4Me C}&˞|"b~-xDn\J-U;ǔ^ZI_51\\Hj2 p,L. `$yYc VݬL@(4DrɪgK tsCOX(N|Rͭ_/\4Wc-g,znYp*#R$wȬsێ6nC[Y!4G,p{.P#fF~S`fV,Bfk?ڂ@~%@ϟbI"IO| hj4z{DUҖUA/Ιț?H_>I|6y"=5B$'wԡ[I,eߊ2/f34Q{J=ӏK鹝1@L+deH.lB'Zsر D<")<[lz;ēt&l璝~? CM▲(ǢA'"V r=1 fC4h}`|޹a(>_.~ttH-9sjSvy0Dz/U'G^Ģ=8&&)FD9!ʝ\R:{qNqʚ/N3֣&n 4.AWC Mؼ's y}wq^QL@ΣL[ѶG>M3k-NF͝+OO#_]UsD;Kvc`mwJsc&ՆPz+񁧶 b[M _vTG|_';qi(O hSc^{QrD9CsJ_Vmd%-09nD#O6_k N]Ɖ%2^bá~t׫;un@>kq7J% vUL-dpvl$GtNa\gr&#ydΆ,sYqjmY+Yv s}cmAD{uud݅PTGߙVyOoo jtSQߪL L>)swV?.Lqm_ӊ1cssu_&W]Q6G3Uy/]Є2s\Ev6jR G5P45y'h,Fn0jSMMouZa5g*&H'7)"vA0>ĩEL]#K7~> . m^߃`>@B8.6sN݇3]y@nƏet.L}>HVqeCZ-ലjVJo]@g;=g&"6 ҜBb6 دTdd+5E&iipKޱ<<İ%?{'s+ć>ŀ2Q &KN?c3ˎ7h4ⴈ^-o T: rC?c+ȡ~D73,E>&/ HEֽ>6ՂDozda-c{o-:QA_R~=AdSKr¸܁& 4g%+\ΪO BLxhTb KN6Ny?wKj7yp.|%jfs3Yn_-#?Ng͍5QO?7R6dؔ}Ycl8}[M)18j<&tge^c\\Sgje9r)x=;8XNM|<2R3@`Do#_&g>|!ZO** ;!n!62ͯM>T/Vr> kL݇dnCNϼ|u0 ev)wz t=m/[K1YGozIcaZ/JͣM8Q9&,@33{E(=/8aY(aB;)OՐҴb3Η: CD)I̸^ '>9'Qp #n)(J WxJy zO㯐bSٜ-͊|Qf(M#1˕rLع ^ZGB->&" r*`)`wlU:qܠZ ׄ( rͷpo %!뭟 EkDs1Sx17DС?4EϮݒGDێnq, œ{K|P{u{s/#BT)s$Cm )WϨ|Unj!+ơ}AќG!CtG:/1){T9խLH:ЌO~ 10m>c {+;:(kf. LSTn;BQPpQ=ɧrLgP;6 {2!K mRDƗk2څ\]D^vӗ2Z;K-~Gת/Xumv{N3mN؜Ŗ ]GVFx.QP< ` X gɷ $ lں֤PF'}Te;س/wrQQmWg0/RyzUArB?ǻÈB9E?vMoY1…^Ұ.^:gC[C@:і$Fx5 -^֖B,(J2w@ئ O}Ҵ&+5} A uK9N-h ftB,1E/36FIjSд\ }.NLw+yYD=䩓ڎngœ; h֜AvGHPVRVC9Mr6=JSaz L1:.(^DY(l\ #3^X_K|I0d6̠`d Fy#F^\o#Ɏ~Him6>B ޻-"l97hJB8ܭSpnA3ם&D:W.if vW7/|ª^A>s+xb$eBE˃phDZO:EzZIGl?bleSm qO!D$fOPo`bzlnGH4 lǬrd;k4Clj4h T࿯%?sAܲPEj`h_%67l1#UB֣vC)`q6T};P|ctl_ jEJ5ǾʹW $ֲ(O ]qW {X1&qDx jZu'FP0'[St?$wGI$eq\iN ,R+)9a_*/k/N|N˱4ތCc==rc-UOC1 ȆwVr\pe?1gY|RWy{OdZ<9ún_b}ӓ:xxZ12{! -@gʋnBm_†6b6לc-\[ă-)Vhmyվ@sud-k|<9vL.fjQRWPߓj*ķ힡[" o$VӥyN~#HX_SMs}د [REA[sBMޮQy0+Dt?\d?frCH=̽nր7 x<6Is'EUd %"b^LWg%EUaڟROMCG!lC ʃ@,9!c+~OLU; d Q?? w>ڧ *((:43;%aF*uhnni3K2׃9?$y|tn+'yFASXu@*#z8~շD0lcj)GWfx{]} VX8OY)I@xЬ#}HzH z0ۤFb.Eo| sn_#6_\_ Ѕ̬v;,rRZ /$YG\A/!b~=yH-A9 "f>U#FJnx!W Wp?߄d)˳@ڀ[zq1 p&L/͊9ZBH C%W *ፏea&B`!d̽Q,NnHcAbB(P,O4˺V%Fn;O8!M "9lze9!|#Ok*K% j9v-4|# !A~ + BnwE433[ -%)*fj 2 BLuˎ|g]AQ"( Fh*R(ټNC{$wB@h,e\STI/PH$l~T(D{_uOC.څ+b5d1|VŦj_N>E"j`hC֍,g#|f{.uDH`lsuȈK2-5WnRO_AƱE|aTMLvZ_Vk`(UބAÖh0pܡD@ƻ]O,r&(0쒍1|le"+ :Lb?BRɤ0y&UyJ`Pڜ-8p_I!ZKME0[kOuɚHje" q B”R1GE( mHƝ1P8Os|?@ݜKB$1TdYrW~),*J߬m5nNkaFjAj?Ca}Q]k\T;!oO ++f&KI?Ϸ3j=c+ܮtBmpz!#zvբi_ ZZD'tDDx@C2GRuiCV+SěyJJ'TD&Q%o85D`4BS+G}_[H}OI` f(Ny&"sD^IytT"q3уq_^VA4 "I:iaGXF'eWx Fvi 7eV/;uH_zM:fF"dw *cdӁ'?MXRl2p٤3fŽc3ShǑ)j,3R~#=%pO9Fqa;+r98ʕA%ϢfgѮ2G8-藛5.d;U@(2LT]AmUaio;l)/Y=EnPfM牘f%0>B&)BI[y瀀s^diF2e1!db"3#j`or5e -k$nO"mS}?z!9Dp% VgSÐ@z׏%̊jT*Fwiٞl$͆nط!Z3@p__(*$5R)stp|ўLU}FK$l=[P0dTcz&sڈ`zg.$ $.+_NQ%ˬL4D>na:rDԚ/q/5_)hMzXɔP0;s|9FǏ:U#Xjff)b]i,S0\bl3 %AR'wx veO8DZFG+jKX}Gl3~e9A\-jԄeGT-d9{ͲC5"a/ Ɛ,'j;`&ה|9  #*̳.}.\A(3φ7RQ0M{Yߐ N3n {oG%#TU-79)MY T"TE) w.J\Vn^ n2f 4{IS J!{>" 5Gdf\(UzC:t!έ+㺲l]p*:T#6Zvo_:)~dfⰕ 5BLEէsK "(@ B(wTmI`$?! Q3|[@} wٍhlKiûAZzаO:Uw*Ï>u7iz,/^] s$V]&pZin~ =E&c{_pm֮]u dSRSEcMU]H\OK6b;WXMg/QO[\ Jv>[L2&5R>48Ƚtub+ "Qkᬲ>s#| JQ)^1 <-;4o 3iHR3\ib:d#]+$+K%s\,LQrnVYg[r2X؞ /+/wf5"Nj:n*;[ʷi`4G;t.gŖ8n1 0l/?l$מQ60u!OȤߠ@vYd- ]*J雐`NK=$H?X_x4֝lrG]*jQ(Πa`}!'N A GB5@ӲBAOD q%8@-j1\mHX3]J̡R=JE~] ,r 4\E&ё90u4.Yya.?[d?7-TMpϖઊ~JS)CrK#B{I`|:@0bF/4IhbTga%В7% $_Oh+rRw,l߫ ^m[zף9_gBdK_cS|w*Ǣ|B)A֤D?)Pꣳ<[qc@mf}w hK ;$\ ~bljxV&9#]]p],[uPEn%i)6|pu@Tٛ=RLU*3]BKt J6 ߞu(%|T4crlBC1q$.Tb8hֱ^p7w̞n?R5c?rxD8@(^Z.6@$ejo⌝s.! yҏΰIً8 RׁZ] wmJ WO ,R]"2ģlSz  !)F8eh" ] e$*bH#)u˓lcNUSRs?lV0EAg%9: o{,gڏYƟ0h: n~s aYgcfD!tJbopXq[3A;Tм7,7 s*<$ uAP'zyÈOςqyw@s]U|iĸ'ԷmTЀRdh9< /;Z%({IE0ЄGڈ8*\5kY֙~0"G9D{"+M|3T!mi PT" uhCI e3at9ĵL=Z}4K(,ZI^wXB OO>dƊ8-N9MB#Y*WfŒ{:x^(mG@v۞B[qOʬd5iiLf_Phs8z^â <ϲQtQ0-q/^ZƭM|fw_Al`KK`Li}9νGXNF˻-8GXrAj91啠}iS613:TObz( !G :A]MU?MP{&끋gf4^ʫiZ||T5p*m)ST|2}cMQ^avv#-ϳ(μ|YX3b97҇oM3,ęYTɌ~$v 8J.#38zI:_>" h*Y;A(2' T||M9BxS*j̻ȓ5& w(;'is9)o`i{opި5(}݉T&XGdܱ$e=5NSc/\q`TnUud~g.X\VwqV<=29I|IZVIo2#bQ;MyE~RbgU{2n xZKe%fBPVL8 ,Ń1S{M`z57ߵ߲aٻz}L)uڌ2w\)g}lAxxQ?N%Hd%qn\:UVYy_KЁ~#VEWFp`t ".P7NGS@e v{vܗl|rJ82zEb" Íp;MV6g1%-}ezv~iIdtu +q^fmK0vE>i*QDS=+K|e$BxVi針iU{fQ'%\/ԆƣơPiK Ӑz"f?2"ì0p?g"+GvaM 4S.6+ڤ{[InP{ZXKzI]u-eWhWbXOH/³vͿqnD>$SNώPTn!~?syce4vFdkF(N?\q-,t{4'Ș.i3ScͥCWb6:079W^l>OiMؒK뢢oƦ^͔7[x}ZSO$ʼ07]MH"DV լ` #Y-2ѥ5Ka&k+rOdU0[/_}tg, f;? c+Ov/SLY_{&t֟1ߞeO v| #hC`Uw9/-\ h:Ȏ|%J굎Ws ʉHߌ1 "zPkfhg59~Su?vCTvU{r#;}1uƬ"ԈByE4JLQ0̠fHPr<_n'b!HD¨ǷmPN`r;! f~,p.>͈oԝ܎^?{f,ߟEVv]$kA#{L~o֔hNhq(F"C2TEIޯ7c k?UbFhDiş":wʅIc3F}\|:6cHyr`2'rE[<87Vȷ~Os&ɓV^D#$PNj3Dnz-hXw^S*8ݺ(AzUw4@nf?|bؚN pe_-9)RxZWf{1IgcȓEbꙚɯ#* ʜhHn1YDnЍf*nn SxGEG$E(g&j,86Q4n;mKT 4Dz5s̬D{5cz OA6[!> S]{m00?tӯ3W,˿CdeK14ݽ8WMmSՆd6a& C ".m|a)=N9@WLxL.C+[Ksxo)v߶kRz>`4-% %C< Tsū0AFC'꒻n78B"|# QҧSaQ cxmflqdG;85DyE̥ zx]w>P \‘k›kĜf؃E@P1+Bv.ZA87'+H7(HGdYcNilr_9vlMӺFx xIY ZrܟP$d1C>!pCohR{ǻ ]3r|_PI<_p rʺ}wbi9]<_8fm| ƿn_!*p \Oˆ$!_)'W-nϕ]$q%n^Cr%~$th2:7M'jPfbwĕڢN(&^{'Pey?>o -6 l̩S!?Gчu儉J"x4͇*̵vM% B6E7";_ڜwjq%Nn4qڮDSBdf܁ +!=doў=eD W2z7g!wm(԰}m"!{pW˾jēx@>BPHrO?XgZI?֟n_{'ݔ bJ鋵Uuց9L drW4nJ=] {2Cu+5FO ÷Gwز}>Awʻh#UIS;bA")/ʁ"Jn$&bk=*vȧqWڣv[}!1BXg(VpLpQN6VLH,E[{P{}VJqBcr]x"o[Sm/~iW j8yO&|4o0qd5'z{5uv b%~;5! P}oԜ!vf,.N1\9iSl:2dk/)]4AX?ut}'fQpzwۙpCmR5!-o*z= J[~-/Ks5u@[_dAK"T:LHyb@su?Ar[_؋ ^Zԁ-Yڱ+ gzM!7 A"ȱGC1?dC[ٲ/?0j41in^(V1Uߗi-/?5ņF_G$f>jɋE43fcLYAFPx; HsbcÛfhwȩ^!ߍ.ע)F]ZAo*ٚf1.,uU f)[CoCL^]-Y:gAK8Xm䥡mOtci_140\5&*8yd!\ sp&+^D2 0VU *$i0ej!5Sl_|*n\9%NH#H,n3R&岺}Eȹ=&3rtcjrhei\O=؈gQ3>i~1l@3C@~'w<Oav2'{m?~O:y*9(Ep૩S?36YB>-r#ނhwp쎮w\9iZnV:mw՝{s oRت*W[;rE7 xzoV궎2M?o8%"ߓ.{άwǢ+ QV-ChD m&^ 8d0%c xOXq]ڈ:.P:t`(2-ڢ-A`w,BAuE ={:Pʖ!}D뾜J奇g=aXWOrKI咫 d9yYlA2TE~tPSsYM{n$6CN\. ^Fv74+[q>kTl\*@5PqF&< PuY"4d= 3$KKUƥ>\[CqRXiߩD_F+)b.oMltkbH7IW1 [sJ7cԗ&–;?^8U2y>yi@qzy ]GeHgc(on`UԦNL2Ûր_ JMWٷV뎴FV|+ArK$KNuZ:Y-Pkרx}kC$ꐆ N=Fxj;lH<>xiIFV 8f,bЋedK%vYAL$GE|5J ʮwV CDM]a%)`(5cݹg)T'mm€~f,UJy0]苩_&fq~w9U퀎I~[DO4 $G]c=+amwe[W1mđpd@]DcBe$ 4ɠ_>i Yd#>!61 ^Ry_v>tf zlP8kk%5Fb7IJ 3=Iw B+ۅc%ʭ\H]Vo C-Hd_̖%VN3(2jKy18hwZb6$XU5yX ?♌$q2:eL(?eYЇN;*"o ,~['=h,ςtt/!E!?97tp<8wxvJfG:F"KiCP/z'3,.WtƢBmRDSn| V%e_t!Ey:_ !S c~dhF~ !IˉR^d&j50$,J嬎lM,$uźJC];c\̚JJy\ey Q yܯ0*,4S|y-'⍋/nG,ۼ=eh7v8aש,׿YV .zfɆcA4\8ވm&(EOCvk1ĬTJM #OexuaG0o XBE)\3<$[d 8yIFv*J}'. z6 ޹0_oğ(/ҟx+]CLغV&ʪ=ؚam,#3-2 9{9uyM)()4-SJN]=?Q0) Q*XǵnyJ%1Zr=L̖Fw[ԅ܄t#ʩ`xhPgkHu;DvY!h|w}jI{̚XB}sq2tw/&B]09ni 3jG8dTXJ樟zU7VïM?jjɜaVPC矫ۓQR1+PyH8uÜx F6DrJf~+t(@<--|k h:/Գ7"3ЕH;ND E rPu~.vJ9깐` cP&2+!5Nm&-wF -ǐMD~YOjCŪ@ f!jق ?s]ޖŃJNp-|,8-(|4 ..Yᕣ\|@_KFx>:Am=^_/t@:1 |xqI+""%qq;3IjXfܐp@G?GP`/DZJL&prothX(|lUi50Grp ׎lRG I; 2S{Jqܓ 69fF66@em o^sS򵇱iʓ`&}f ꨔ[|$?c/mAVmꀋL6;c-;2n;\2q(glXu! kߨF6y{e_ZJn)Pȧ=jD\ <`o1*Lk+tPQfo䗛SBA"MK0(TK+l߫ # :z8 cx>a!X \}#fp@|Jei~G:FIlxUOL%7?uoF^"V /@W7ߪiIc ߺϮ4oȊ|<Z4?"x&7 :."1~k>z7m͉#'(l;Đg/r'Ŀc'BBIЍznHlg4ZaheV[oqڔWlKRqۼ=ly\՟OqJv󴲇:nR)XeО:hPWzқ@ۘW֝i vQZXϚ:eq;ݠ d<߮{Nrkp&Ω\ALFtx_FC6b`~58 [Л@Pe{A#jF;fK "լ΂k4]{",1{4%@6U ԝl*@}[;"h yHUӜIapll9R%y1a* "*-.+Z?[L(aƊ| vFCBט @QN&vmա0z^ĉlC H둃eT6Y-S]gǔZ|R2(s:(ga=|]z O g@Ku}DK$I\h>i/)Xnh#`> 5̶jJy[dFXQzڶx=en'ߟ2$ꑚKd8-,gYZ8166b94858b93a8d8faf0fce1e997b0d2e420b0c665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 86aea4174b1d0393ca3ab4a58bbf0589befc3a01 263de283d945e05d07599fa0dc16346597953cc6