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  P!dAb j*cV歴V޳ZrȒ/tGmDufLL;?YN|Z|C+]b)s佐<,~c\/Yw5#4k 5iSLtnͺ8W,t}ŭq"}oӑ{8N\d^Dk$:rS}sU,pj&xQe٨ʲYa ɰ0LۨJRlxS%Y@˚Wc9`9usP1`iԼH1&_ 'Ȃe}_RJů&|A$@)'T|oJid˧5]GI WdFcT xHbZIWFWN3 s#]u#^R GXٚ()BJʩ9eQF^&QK鯞DG$b,`9)cT߳@Q5j'm.BMA7em} ?ܤK+ޞ|LYmݐ~'9AD}e{(y"4s=H([ >"CW_}xNO~mwP,`jm砀eAQAI |adu[?xR \Q<|n--`t೗y>@i+\ Ed$T@ᄯ I5^FkwbGhM'ԉajSFqx;(]mS/:4j<-~xG4뎄א'ZI 6%vSnX&- |Mtɣ@YڲvAuEY@VFB産s;ksDw _J  ! HOL-Proofs  'B-(`$)ZhмN)]@;B{&*֨6IH',_ |&aߤuX6EkuN/YKl,-ɕW6D=$xGLpR=aFne Wabe/ksk}UP[i1^yP)_fb$A8myn\VL"} 0m/kPZܤR\ww8dfco:S55}k`heo04{c`RO=쮰6N,*wZ-oH1pwa:R@tzt6s [T/:+ѕfY5<j~.I≇ݞ5~%]ꤹqz<|_eC#8ۓfC{M**F W+snn*pkbvBXߎ!?XiPiO;*GПV Uӓ l'vݺo{0/9C*UQө{W(YX{8fxSb.!ueTك7X_tr߻(oUOOa~x{@0'CM'l}z]\:mÞIv'M+jɎ>9+H&!NX |6^QK*jQ}n:p7Q翳Bԃd^DtGpL){EFjפ' eCN< _w%EH9D[@ԆWDIG`\l'c,압Stf2|//twKb7:w3x5x: KKG^<ZWe9ڱj bډʗHXdT yUO_cQ.nS ֹ3M saHx;yAɀo D?f)Ev8AhӟO8Y paD nU%OFb˳QEWB!+0S; ڇIR,RS+{ұMnQgs:׽ZT7D8p *fIC Hk85y^~+n߯%DŽex~+]C?`]GK;`q7Ul#Zbf{ mR%4 (?+a۷8 "ɭJ6pԤz͎Krnæ5pf G4q>ח7)F0Pj.acB~@X8вvDHٽS!ػBUPRVCSE]8}F*@_{w7>.,vOխi4,{ve_<?)a1Y ]Tֳ٬Ke2/)6Z^R!~E|hn4XР$; "._XUW-%AL2+΄٪+Pr.x۴g,W]<3`4v,r$ ᚾϘx微`Aw{lX2 tiPQ1h`ZGT'Ǜa5_Kŵ͸&1Vy%%| һxf q6fMtn::<?KanEo0˴PG_(|̟уymkGzʟՇ;i>3 Im"jwC , TYª^u.oײvT}Cav0gg2HlUk(ȐaXU $G|C i4*?"\o "%2VcRH! Z6n@P8t[F Q_h߲"Nc&1%(h%3' X?rFAw$bXF "oZ%>;2> X6BUXtMH.Xz 0F'<@p^|V55;;Ql 1WΆ.NXP?Y~ڃ`K!pRWѷܬ6ț~ DL+q{G8b4A|0ec(Dj5xާB|.+-l; ]tp`S; fg!gf R6٩fKj8#"b[ U )i6t% Yu0%<  !_s/JKՖ^pذTu3 ,@iI')z⟜/f!gfRѹ Xr~ĴA!uU-A$Sd֦ &+g{ڨDio[m5Tũ?J[U<ےA+o`!~!5@J^oU|7?1Luj'p/XKW ]y!^wՐ\k#Z%mCX8, ϦRR6=ð$U#1 '9D-YSDg#:Elg]̹T^^̙b}_ecSsD8@\Š@6fkp/]nt 鼕6#z_;bklrb{G|V;Sg։ɨR";]5!A %Q&ѓN̚Vu4Ī axUw '[ݨntO'NK1wAwF)qjr{S$IZJ'i=u]ٌFP^ޥұ2jm8%kG_8 j'U$pnRxe:tswu1PYVAc 6Vy2 1|ęs,,"ŰQ01K;(&TIj'+KX )Bo-6σ\ 9 N  esY0CvA ݲfROUMϢ"\yHRv4c[)4:kBLVF~>`~uaTt (+7jQ R Q-wݧ}reE G$vrXzO;bt8LS;"0udm-[A8{T찕>'ywi^B@N?tm:xL~yzFgA;LQ`LaHUJo&͕!ɐ0m͸ޞYOs{2߳9 xVJDzտ ; -hfɾ<ʊIgb3nԗk W\gn%뵦%۩#S ;^]S= -w{K}jL!:Vp%=u x&b;a|&f csb77ahU8 EKQŅ|a|lϩ R ,8%٩ǒ|nEsj;o|xaWg veEwnM*Gi "=5$W v)N~LdnS \2mP)YLnn E. 1׍? We: Cnn89pj4É0R@^XtD=Y$@ 3ϥ;pJ&QzXG?dIfzU³C/N4b^YHI0j1)1L2#}>Rm l瓰wp;Gt8>a^NNk?9%߉q 43ѕq8D/JŚhdO5x} 8ٷL k;'A_H˟ً0:CdO*B Ձ䠽'֕px]{G,c䛬ZGH$-2 ^O# p&~`P 8~ꃝ8*Ŷ3Y:{"=?ov|ud-IEvty3=h9 giMTB-EUD=B+sSKk1_,wL11|."V 74e([ʘOXǂԓA)1E(u&x 3mYs@%U^,?ɀsԇa7VsD\+>~eEdMEh:7t4==őa%H y!IXQICl NfK"?mn`K} Ӌ$8%@-#4zgYZ7zXZִF! f]ŗXiɟ29aoʼz[%U>EM!!Bg&[['ۆgoVQXG)e/OܜcsU}qje+`i$;\`ŨM2z{>}{}srYw#86zگZ"CnJ -@Tt#b8WAs5(#z8F28 RqS}-{zz#U T`OjA:;Xz+o94£ *\UzBIm"`X pT z^2N }̉;^-C ^ Sxv<V"QdX?>Ռұ$fy jm^$i}ĖHH0u9qg9A1R6Q]폐?qQ F0s*Ϋ@l=VEQ!b\#90Pax1dl"ڳ$CUu} d AD{H& 4Ƿ2nūշqDl,0T3\A Lγ,my@ҠXFh4׈Εn2nh8.yk,oؐ%.JTG#)꟤ms*,{QJ\!-*u"'ĥF$5LU\p@NN3}kܷG|E3SF< +ZR cS֩l-Jb$~ӕ`/XŃ&K, ׮S}58|-,:IV7Rb沯OgĄ)%q\2l<ke]YĈ!žaNPR^ۙ#͸KE6MMH ``Ei/u#qEx @F?  $dap$[ѫ lAh+fFCMA5hਸ਼wVT[; f{#M0O߯t`\uUN>5l\7rqNĀHiP5vxNi%&Ku \Kv~%# Yd5DQu$yvmZ~yo5zJCWn d"AYףҹz3f f @D1V^EJpuMb)'5 rvcdZ|JՐf(G0K|q gNwY퇄itAPؽ@Q^_9\mfyv6Ypz0дn+Ig$D^ ߌ{jpo[B:6Y Bopw_joIؘ3H'UԃYDJl793O 4K80UL!u |qD2O ՗J0SݓCE\!7.X/+A^8 NM8沽mLٖ=IVbmd?32_y2Tlg,CVl LdAc&Tfd#z{ ptYTG_le08ćV*A?YjmPy2Cѻ%㳱~1YF 'J j]~KįTl>&z{m~A[ĖTNWc!^Ԑ[=" 2i'EEE{ .w$ +d(y"FU\mء$zTI tUO[/Ι`βiHj4d=RL߂=UOAr{5$}#!bFL tPGS#A+ Τӵ1tEw7<lu .w1A*_mccC@o /ɝW(,5u]K 0w09\WQXxi_ _>r^J)OEEyؾxCI&?=IC-)R<v|e(Jl _03 {!>YU?\@v䌹|J bK˅tvC}7v̀Z؄+6CJϻXu?Lvr)a>ȵ.6C10k/6G[/o\FzN% ;!Ini|M/Ŷҵw)Zj5@DIȕzrJ~yGV @W3Ik^w N~Z|=? ș%e?U_.L'GU$m teZĺ ]Yrua %7%rs:ע6T#{aKyWr檑>2aaF3_6+CrWM9MXV{H[mp4.83[gz53W,FQRQAr z#dxIT FT ڪSh;0]q9u'd~6Po0Royz5MдD|"0 # 1%s70& >L .];~%Δ2ǡځeSdJ>fi@eD v?\\Ϥ?Z|X_o?FR/|8$L!CƸ́а{(9\?|)@ĠR ʬ.aILޒj<L}eÝ΀nI?n2g8q={PxI>&3KmQ ug㯑sوMxp Dp*7Om6фt赡 ŕ@^}T B701: ,kʖuNᤑ(iolxWn c 2lZtBC*(O0]"3nA듿hXsd*q/q(ۜI'VZ=b5A΃إ> PdQYvԷeIٳKVlo{H~ӧ $6@YCȬɠ@8"^NL ":q%q1f5_;y,ͳAR;?:qi"G<qZY&XyvQwװr, .f3|a,N$AyVDźc R,_ -^GkãPK4jm,678'ͫ ;+\QZťANQ}+8.I>N)vQ]Yh|65aX2/5ve6խZ1`,Mn!@b8Z225nEZqkJ/yZ`Y2P='kz:ڼ98}Ey3/c-|SlCV8"+FXBZ&TdB?mCgm}/ x8&:QThn\+! mF?Ut*CMv.2`FD1&Fgb II+nBa?3@\pJh@"˸&SRTXC^8|H<xp2[.ӛlwQj7m+^m'z26&dD:4ֆrÄ{WP4 sÐQ=`%xj:0sx># +|yB:'Va0ߛT7ip꾍 ^ZU#?F4.6rCDZw)tꪘ=}S!-P˹bHSD72:[kӧ*iOJ{H@1쉟lSW=?ͳ)e@Z `P[eĕ5Bx8Bk+bQMk,mI"n.*]&rM2*#YR$M@p|0LRvxnB L2#E g@ qwp$UʽmY : 2^ɎLb*#G:͹#Ti71<?q!.Ԝ}#,;)d 쁫jTՇ FA.6w-) l]C+E*P%;8Tn" hٯ1u3"5ې7_X\geB&p6z3[ t=V>rv (\wu2q'䀛aJ)l.LlF`r: XP]h=Č(x^0.bEhHgHD䵴%g>jtI{Xs)}mrs{ e^N-e>ߛ YٲmqEQIBK;-:IM7$K9 eaR޽/Qv a""S8~<|cbUB,S&9soUJ0'esAx9x߽:)߫!kl{GIsLZ;wKt,!7!)äb!i(űI=+^ vAD` Iҁ.N`"v6IЩGH5$`}Aѐ&0#~_\yo@">$Bz`t0Oî/9GP9xې*٬jS6}'Ai=9ٓIPpB n Я*>a.W b#.Fg krIUvRݪ嶟R5sz:[]R0wԋXٕ1xbOONg O!{'ϝ\\ӻ2ODy>Ʃ-z}J\5,2Gy:J&;/9K^B "k{¾e!qљXKPPviޗ]*J$r5q4B֏1Fg+K('hy*?:oCw~YgAGp}4qZ 1qPowߢHO&1LNPT'0KN=UiB:/ܕ4Z p)}m_aiW3Yb(T Im$n zP_iYHܦz4Ռ t/wi02ǜ <s/Dcb[tVɅ * Z6둮A4%RVǘu7ߚp2 ̰ izg&`Yy:'(Aŋ΄C?KQi 13A S5y: ~DS99-rO^Li9t@LH*֎O^^ӗ6 is=.k<5<N" Tfy0H[ Wu /"n9~$hV8GO !+~hLXᄪ@+=z0'<<O Di[C;+|^kLDZφ}oZ|aę;s4BVw]-|6G*GlsGYH~IY*:4;P-E0~'\ǹx׼x"!A[C,[>Z#vf&AK;8x| )OWto6fֿ.C'U e1͠j@=0g>5jL p#Jud,JȢ̔.<9`tv~t|[,/aˬ s2?qgVlq&;=8IXM;)2m ʵ3!*|$͂H⃛EZ 1)J动I>xu).y $}C]3tx4UY[3|b[\ FbTՒ+BJBi~%zZf|VzaߐJ״_Z~f_R >nMwQ΢!Y[`ƮAur\~Щ^lqGNqKܠM8 Rah u8)f 0#9=$A`nqHN`FkaLkërKj6njƝ(?uImJꛫf hCl)ޮˤ1ah;Y^!`d݀/ےcx68)1-0o皫 BWmt3E{,^m}ti]iiҰ}kBAvEօ",eGXmh>rωYQNJcb6)*wg7BORC5s &w45 iE_T 9rYx dc%%!vٹfyuÜ5 BԂ~Hͦd{Sȟu?r~PҙʤaO;q^z;zGC`yW IOdc&S"?vٽ,<=U8ވ$j$!P3q;JU[ƨ/׽i KH X6A}a?#,om~;b0n$e:qw H! iV}_LίܫFys{b-C`Z3E`ċ MV=p$؍ӹyDI >h9]V\4Ïʌ{0>L YBgI"к̓S05|tΆ~C&fthmo(V \3/~G -;!B?+sME~~^%ޙ{1@;>P͌!9afi$"R#ܾ!_8ڥ:>O^c u?!@m3@4!vyNC*̯nĻWY>N0wcЋ6,̄'P)z딹IZ] gJyQja! o,W_3KfM;$\6|os\ySߖu5=ЃruXQA:yv(W SEsxw>7ϐ=u^8~1X;> ]וn#h2>hw[}%y=WC%SRLq:KV20x;I9M1-Tӝ@{=jڔmlE\wr' P_Bb|O+'ŔVW&,zw :rM9rm HR(3#ľgX[24B97(r[LXJ6hxd95tmObgD"=b {ꕲzu-EMӭ[(][1O vxVj8s^I6@na⿵T4Jh~Dݷd9'rٰ{Nuv10g{88'qj5 A:RXyq*",XM}U;ܠ6iYP:^{ѧ4w۟8CkKu~TcWֻ0\R\xG%b^B M.g=ǮcO)OPlZQa7Un>c["EZ 4*XIOEҘ "Qѕ myUQh ~>{lP|FQivO$c=iR#_ۚg?xM*!`=T8]6XbKam+֙3HÕC_]D' = =S~IJK ƙIBAqX'rOXJ!e$}p6 ks܂)&9ӎYiMU!™%Ac R8[^*컮?ԤܩBjRnvI./ `Ẅ*WWeme39 2j俾[ qNJ'?/(3-swގ.Yi3fL ㍅qa/~]q>G.$:,Ď/<43"Wϥ x4vH{gK/ӞWaP2=覻v{:W @QEsGpiL@4HTaΟ J*SkHI͂>poJĹ!`2%[E1ʽdfաL(w{\e>>KKbLSkEIo\gHTϻ;6"Z\I/"FخjƧj (l` `[s0'G$?U9v^22vÙb]Hg&YQA- ]dL6^㞗GZg@dpxFԹY&H-d' ^H$BQgܔw[BK`+XlYVi !_ݔk&ZCY\f+)"pu@JG,rϠ|g˙p%"Uu/./LKh ǎ(3j^~A4GXjXkA?p$Ӑ|x>A(1`fnf װ H{\lym~ 'EixMOә+V y&zj6׿ke5lGNDpuE#]xL/Us1Z }0Br.$#50XЇauHnEf=^߮s: ab4d06b<'j !nl}wW"WW;H0~ _K>'{sf1ڧS^;r~M ?֠FkN蓗ht2z nU Z7.;=glP `]>ا zV_'6?w:j>wqY1םG &j%tI^E~ d9qK4`/Otې[zwhyV}F W1+A/n>Y"_>Iv~uh*nu!X}s(XeX͈=l)Zc1]]ll8z'GC)'9[ / QEr"FD.*A7\52&7>PkxrXUk{Dy:4ȡf6+XC?VlY9+*is"M'ԬH ĵ3%tꎔϱ~/ʇu{B`%ڜ|umD;emOE6Ǝ@J:@.K8G~imHYG^SG XdQ~BZݱ r4;0pF]UW ᦩ` eD?U8m6L*&CJ(Z4"OVn tQvs"͜1YD+]I w<wfWKݻoA*ERd * p<`3èYiAHWP_={߭[炂X\һ]f*QfS5ߕ/FvN<מĘ-1?ԋmP|Y g0ٜV(k~#lYoBIud*ȠwANVl?,ˌN]ZGa` sKYX=84=DyQnU3,MG{}Z+F4~.xn=;Ї#{OS?DŽvO[z`TQL=8/*H }i͍A*s="֣|u;&RMڧ]Rm8&īIII[3,n p1G8-#S94oޠz[`-7ωiܙ}M9/ _BrQ/tuV`jc$#՞],/rs!Jj=VHuT;&FO3ԊLiqs$(Iu+Z 7U۔㴞<9z-X1o(&M.T=KEKD{\#cT8Í|޺>WpI1RbA趄DlwV1%'^b1[UG {e.g!["1oA5,CZma]})s9Q+!!H-븕^>n YZV{wy%8laϥpq>ʯ63jBi95H2E20x<54lA=bef}\:vxp@w/83]xb*kwrs#59xXoqX?gzNܶ{+E?dZ&4l;>MXx/V"нrm|m)jVAo$=j$l.s;~\d}y6|wa6 9 YȺ.BYCW^4oQw -i0f /K") [>IȆţ:D:ksh)'ɽ$4җJ`p}2]Ut[±Bb⏕NX])چ_K'lm{H }`oH8#5S#b&0Ou>,~;:+ 6OL8YuqozIr-) 3?!b͉n |Wj7͚g#X=2N9>_ֆb)a *g A:$ Aɥok|!zYY>2z4BSM .$J#b=8vmoK@9Q \!+^n J.[M7ۏ=Mh= vۏJqw y3>,1+s4fKN|kUDǏrF 1)7'Y:#X3 k} $A&A2)zImgQ*PA|l]']'?+,$2l]_/Jߖ`L'+ћZ}!z;wXT7饾*ha p)0/Ӟ>CĜ&Sɼafy7YjQjCM I\|¸O0 aNI-Wu~ Q:^)wˆiv9A WU1$"]1 |l=ZjP̺ ! ܯδIMnF/kL"e,h־UTua3O֞H$iC_~-G͈!Ohu^F`@=Pno*x2.b͆`V Qo()*r4Q'X jzG]Z*g.?vg DО649 {P cv׼[yNj! ȭ B(`L6B2/w7FX}X߱^80x2L_e!o%uY㦙i2|%v7r(onJTZEgUWAggzv1<,dy"'ܦC[dizuT _fAYGV25" 0Q 1}dx1D}\m>e̷WY6l"`+ZރB|5m4xY`<;PR9j=cqrŞ:heQ`ϥiNve TzQ&צz/HLmaI;f 3=; a _{o\}|+x1)t兀@q$ \鄡4{5n<%Ct J&DvD ϴhuQ';'Wӕ>=T^Wuz% y+[WTmP21K45-z4G2 2i:X&"ͭd҄9D-P;S{4>m:G9V{,45K펼H;r/?}ծ+4873-4Q$6IqRwZ|@AlCX( : .xX#=0r!L=h" ?1 BEÓaI6UPM۽`tm+H{Vql?<ҫ^԰IXeGrܒ)E/k+ U{ˋ;!4lJYׂ)Vvg:)lV\B* 2]ͽv^t+O.> #熏 HnPg\Ή!5s=bl`}~c ̚"!O - E/s;-xسBrR 'W6o|KtS-H3H)) 屾 \K*Y}Wk[t[!'MDweDYt٬G`IL4rgZՇKg1*{ڶMW"Ҽ m[Ts#ea"*%nCʚDN|V˜oc1&'ՙٴ^SNYIpv%@gκuYEBX/ )m~FSp xQPFP L\V6{aI' ZK6F^9S^HqX:M\zDԺyDb/c&SN_?MI 24 <#h(A"FgWjyIԷt-0x4(,g%SiBK% t8 t,XM֗~`: Y{2sS>f75g^V- eWv9U Z0{#*e7G3}K;핲YUqd^ꩆycD/Ԋk^9d4c.K`>3طzx=@Uҥe` Eu!L[JYP 9u:VC)FpCg M}=`[|3fMuk>R2.z\"O &n0DeD5+MS@ &,x7I*Gw !<㿓cCxl^Y36oT^b(͒Na=gR'avB0 >`>@!Kx>N=S z$nU~<%kKLl{aNp1wn:JtGG jk) !OG9wos]hsTP56V/~ "pO H М=E ʍf2.U"5G`'=v{_3F$zfUW0+p^uFDzs'Z4 pvg|  nx+fa /_!9󧞶9`f7E"Ǩ]jx ~l, ^. V>C[AhjK6V7ݷܣC;rǧ Nmf`oR~S j7 e sD^gQ}yC"!-5b>QVl@ thfB){Oa\b^Ze_@oEd(Uz) qfpX/Gͷ OOcD'v < bLze C/c:.de! Iw%O4ğtqU(d:P6xS*,oXeMq}Ig0]5uw,9mMʦ'%P@N81J"kHu&i?+h ڣU+ ;.u7e8Gϑ@N`eOշ d΃}q*\MrnjBHgtA{Ntu^-oGɪÈcu <晈}?iRXrsDlċHm\=D 4NJ(qWkެ*(!~s7Jo fYYjӃ)pʫbﭞ DBmq' Į4 ǘC}?"n >4p|wĄgީʭ<$oC66?4>M @'Pb,ʐqt[iRiMY>%/R FdtyZ@e!PG&Vi &T4@Mp/ F;C=eeі8)$f!rjQ98K}wQyffOi6!+Bi]f29Fڦ {겖EH}^׋OHWsO#@fN1)Jqdw8 ixGZd@9!d@#Sm0O.&:1^\MoMU {557l?j3ϑ êaLTdnj\z=JǾHص2?(r^$0ҏۭ~ VOɵX} LO~뭛Ec)b`>:h=>]k*3֏E2)cRեLR #cգRU,KyV˻gf6=ͷ&Iޘ`s֮л9WY)15hM*c hxםm@DE!RQn܉ e/Foy2}CVRg ^'c^a=9C,5d'QMqWM\KZB_FerjU+R#umMoe$ɒA)&Jy'&m$$0Rh" gtU_l׵2݉SR߯5TX|XOr3Ju'=枞^[SgCP`=rѬ>F[˘YC ,#؎JrkV5˜_i1^)kWme&F}VlL%6&+X_!߽&Yܿ,SٻێdoP)W3?le)Y b@3e ^K6+ݓ+jx*CdİКdDU*0bZۙsg/m9Z`g0Khuf#l8+a]^+ă܋\R2x{R|S3<6n6139<@`a0˘mi+qV-*b6;wȵ2 P%W#pB7~TaO?̡mnFQ\M[+d-g]KejS{?8v &ԒѾb4> z\yR^M!Ȋ"G~ n'ܼ"HG͏!|ls9]ߊْu'& E$ԫݦ72yS(G5I7W=QI3Sͫs0>[x>szk 0ȎM"lJ/BPxRG`;Dh$ٝi| pTUIAcFSÔ?<<Λhk+]p ST/Ɋ{Yv 'HO0XKyc7B~7C~/$7$8e-AۺO2U?6^3'&zTk26N B t6 <-ƭ|L Q+Ĩe§tBXX׵akfwjPҶE@YKͳQz-I8}/ݸ&=WYUQnޜILb[tTnȷP`T!ȼ.ӝ#;T]b@7;;$te`(XeJh/.ug=}uMCc3i/S h8wP%.7I0(Βc'znzUq߈gdR[(ov)*(1[eCɘinYA5$Ql}l rSӤ^)si lGܵ Wi 5 !c"ϲ ?zD>  ƍp 8{@DniQ,m[1^s6b\kCGrgLѮtMG~R*x]D\iD)red%@^K{]:CG01pw65}z)r_0l|dGd8u6LZ%gYiE-r[. Z{N:l=qJM9ưLe!$zߧI6S51CMiI:1Be[͠Z\/#x+aio!NɋVׯ6XI'r p״fB;R3ș> 4>7m"6iD/C'<*XA:5 &%|Ɏ6ߞ3m b/8/2 R4 tV`8@]1Yg{jiDKN4i)$g)TZ=V>`bH^d[ņI8*qW'eϖqɣg_mqZ࠺%+ GW ftfB"҃1ө'Q|ƇC.FqV%~6fAI[ vqKİxy ®M,{A*O7gRY!kV1A(}m`+p ?6hS,K0l0G\QD$ \pasO9Fc0Gf7RՁ*r@JM_2Y|{a@Z k-ӷp߀bQTq$ڇHGvlzR'V W,.!S]mѻ C2Zp$r) P2KD^0 a؂xFN.Sx>[Ɯގ~Va'"pJVF8 `nna0q"9As~n'\@ 腇Zz:NnT$!bYFw[ۣbq$E@ ^[&hpH۶w.Q'";M/ss]/?`5ZmwF*70)ӂa>ESl.S_||NR*K wC5v척BN >q#/ M X "Ęk"ې,ĉկ/b/Az'Z{nc $W`^h/o"U5^r!G@dW1!`9~8(LJ%h^$>n,col꽂&6nq̊>V߱a2T3;КLA#`Ww*q2ڕ~#ɇoO߸//cAJn5')Q+Q3h,!~. 0Hr>_ UX(J ƻ}!2lcӥI˘z%9a\ٯ3G'vE3l x}1bJ+$U: +@q+rvq! H$Ѧ<wI&kĐQ*W(xJAnYɡPj:B=YYp=8*Ogt!(ң`J,ZƂ&a: ^)ڀSb'TJt ;TJuź~~0yh*^g)N y?AcW"Sw\rHGy&\}q3dLufgM6RPcH[+ef5bd'Ôҽ$mɄ|;<ޘ A2k(eN(;RF%oqJ l;B[DuR)5<p!kI&b}òh\V7R)C0 e˂;#> d1[oZz2pzK'XC&ۈ;+b$I[7(.U%F!"`z \qP g[O+ถe"Q56/Kj+iZC0; KBt>Rpt\gIJA(ccy@EO =X R"YywrKAzc**8݈O2tf񛮙'yq$0 bN{A0ޏBm t F^>|L>3CA d |<{,Zg•]`'ƌ4S[0XDZ|#C>&`1PB[$ӝ<;irOƨ_L\]k}s߈Ŝ[`˛zIH*Ш #(^J@C+vB) MXOHbYl:B^"uC*+VYk]Re{YK\l6E>+Cl[i@ H3آl=+S8ۋf+Wl(oƯp+F;ûrR0?_}Fc*P0!JO4gSG"{\Bjgɪtk=6ٴ9Ќ{*P E $܂zN@4 y)s\cz۱*;LGp\\ثǢUJ_4!&1P>{,Wf~Sxwyֽ󒅩\OF^ôa<נ&pދ] ?$@QY"a2Uz)43&"4}mr$b_9;G,}++ Rb@:o $:]8'*R} 0Q7e+y/ 5V>'HKG98L\r2AΑuSh*~)'=LwwЁ-LL6ɐT63qiZ2EFp_h3?fVh" +<>dO~OkԳhr4{O:ò_IfnixksMs@`+%Q"zCkwAofHVsI(!bT9-rz[=hxw~~l̎%<_%vP=iTh%]kiN*p+=[djbr9÷דNC t\Nf{:/ ^pڞ|=!.M(7˔H]پKX{#"gI 7 v?E ajP}Lׁ`u=LR0Fb,]s_nY/]IKd50+r{dĹ0> 'ӷ&bm"/eq>j@J# RzC[y(B{Nr)P)DUg)^] DpyrLx+ I*ܸ:C.:vӍ*`\M"ϸT.vuK*"—bZ&FAUߩ Y^?lIVQu; \\GT>KY'6Fm])[\xc}ĦOLԹ`{KԙNbkj){(5!MoCM&1CLu91 +dѣF>֖(!6mb.18yS: /nby$sbr< _c1m" #As׮s1Th3M@,:^ F5QS (Z1T}?ĕuT:qi R#!$bfԤx?@ {ؑ{BzL m': IIXlC{8"]XAAٿsfAlo0E3G=`E :=αOv~Ndf;5 [v0)V]p}; oYOU5ǕLt+F-&^)"\<3O9JaOϲG䔬ɕ 0b6C.Jdc5,Ҟ^/ `|*=4μ>i׈ <+W#ZcS]C$\(/PAE5eDd1atO?k.rY+Y٢n%E:/9?1'W2.b0 GM{|U\6_xB"Cy>U3hDtdi:LalW㙡L!h^ҙ;5^7b;]Dp9 W%N!t2D  {mIUqp!'Pqgpv:49iZ`ƑkޮE|,Ғko,bp&tOBKZ*&ğȜiUy'{,8qE퍲a)lu`LFtB+r@idSUָWT vT=nxlW 5o_:%#y2YV 2d,k%PRw5'5 aɝ[s3dE3Z)+@ 6uf8Q*'۾  T$<YǹA8dZLM{ˉ@awPTtncޏ8+S%YI)Kok4n8?৖Psѣ5sP?"ȝ+ '[PxdT4FԒyk *9$#b}"¦Zl^Ld/\taz`1si䱪ޏDC>Pת0w[oO]?!;,6S} 9eu)X]ބIȹ1W ne/(cG0u[bs&jru^ O;y~o"{5>Z$qo;~ݒ؆I_%m]hS_!h@0++8MU TY@{(`z[«j34C|V)Q{[!{5KB6ۂ ΃vC2䁩JB2PmQݖe2')[6NxǼJ׏CA(H7u#y(]e^{/$$邪 ,´|'Wg͕ (rRm y19Iw{Lvn&\hTt:Q*a6\bp+YȎ?ן. pqAiއbvd(IN;V@ l =#T (%UX2q@k>3Eݻ Ͷ'`DA#fs͟rh^/#Iڷ#eIDZD_ . ȫ[sv0m{E/ ~-QGNE H3ǔk>cN==["|ǼFfhv~I0\^ rјu4|Y홤d_Aw w#w>WMJZ%TI]2.x@ޖYrP2 ^Dǚg??#2@?Xm1+[`ĕ,8)#<\kTmJnRm2TFѷđr2X-1$ ,l\&r(Py4z4&00[&+Fi4iay+l˃4 }2< (nfhDND& fZNvXH<)' NHt<-#@&h6ٙ m3\Wft)'OOl:d-K< O0oR5<\nXSz׃G8|.Y1˪<^p9xv5*{h7 + 7\c'&/ڢ-]*$:Ӹ݇ } D75$Y)lźik)Y65ZR8,"[$BuD| %v3g=ϰ\Įz$]j|4{e˱C$, Qs!Y TM sbLd| Zc\xGrO]|aoEZlg:jc;쮌Gyݿ=ߥU'WU0Lg/|N"qDQ6FE6S?Uk^. 43ݽK$^_r6|S'϶Zin:18e\Hh$੢ (!'zs҂wY(|jԞudu<LLhw-3Qe}Ȟs&j4־GU