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  !TL ]]]HOL-Proofs:threads=6elapsed=578.572cpu=1388.680gc=222.136factor=2.407zXZִF! ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb^ݵQ:ch!Đj89OsOE_:LvxzRp~KF1hST]\#U_1 )@<%*zՊ0T3YRߴLhbnԥe Yc7 aXk -'$7:^y܆)]Hb.^ ].v`)M<=cۭVQ~鬫Kvg딀. s lo)oBGkÈ<tuT탶b^*B  'K! #K.d`&7"UOI%ScCnH;")<^{O!ԁ6#s%N@>3>骖ͣ|$vJ1v04cYY'{(~W3 ,OM}3/*;X.S49;/w٥4mhH#7ae-x 3OqC"M a&*Îc+@w&QA$#6M{+z(Wڟ Ҟ,U+t>H=8 JZ_Jh @BO_-67ʱϋoJZc_+)Khnod(燋,QĻ0lL#pn%KlK"*'Lc JD| /s*h{OγT6\;ž6? w.L`+FtnG3$^+QL$ŋ gE2gUa6cvSVBS^h⾕$& GxzBI |)&"o1{JO;2P>4${% ٲpUA{To.7Zf@P!bi Hqzc`aa/풖>=euw~#GopS? M[G$@yp=PX(YC06 t"btetqeP%80C  ! HOL-Proofs  Sh#*|Z)L8vlPѨk9JNo-_yDGC_X1g@ pDUyɭ:\%bf wa5ßD5j_j(p6{Թ.?VIY@F2VT-S5:)<_#C)ZpE{VNm`qЇ|&7j:FV]c.#,!fyP&%r~*՛mZMybMflO K1pQ: |,MULO8-=6kWQ.KL҈Iz$P )xsp Q or Gҿ0Xbt2jy[>@iTׯk [̦>s LPQB7h-l$rFM{b |dVX[^< +4u &HXo_QqxLJre,Z&XE07¹#sB>iJZy8!&s>8L>@&rl?*iHJqzocjKjʕnx>Jq׍]F"!XR2=>| `Df2:qGY$ڣӘZIܞ^,>L"'^n@  B(}H$K8H"Ekgdu-r\# f^ƑJK3>n9|.TilO?{v;7q`2KQ(Qӳ, 롐\.NQ$hjL@&bxNg-sMZxH4kfp$M|6c[4lv0-uI 2:T?z'rFz%Ddx΂|vqu Q8=7{:iȑc͉-h_hFK kӓDx0L9OxADmۧxOc.uS6H8X+.rG؊6C{ךfF&2 \:DU/97Ryfgid뢎+5E",ڎ`E*XRW"@iʧކ/NoQo 4kS k5c9(A\O`g{FSE]j8Ј u7 ۫U牌^pCa\/`m!a|F_fPyKޘۥw!նi.T &IT늞T`ɹu('XΕrq>4[!!]ƿ3ϤnSq1dd `ndeFqiȆ~O!u 5A:9t$e@: a^*^ ? o+޿5slGwFUKF x遪eMb題*S,ɬd)*G#j3C2e[ߢ <% W_qz'/s'rPRD/F&ECй~x0Mejn%9Ka!3D*H!Oy0z% ϠO6owt@`yUt3 7FJ|PҿR%)޻mjS}EIJИBXH>`.,PhQ#йrj9hwc5u:ثUot_+HJ~678^CH˫n1ȪˤG~,:%@X;^6 `DL<P<]d bZ/b]DzGk0O}m# _S r 4e=/<$OGG#oXo3p+#|K9\ǪC'y[PdaP[̉o\dH] ^rxΫ2649ƚ H~>% XL:d+ DdNհܟ*I@_7]e@WU<󏬟14*!*x:A_}/寤 xiCD ei]FMnx7#=o#n]<0Dd~3C<58ϊ߀GS,l9Έ8 ޷a4Wч.J5^'F1RU3cTI!xⶶii!̉:d*"#fsCHƋJMA~JT2c3pxyE&_##hRkCܯZ e57S|z/#[/cX0ˁkqW=؄tmbj dfh-xt>F^5a_'NBy:1V7~ʹ^6s3ʎPA]6DQ;Cfox_cưtI9x44>:6 jS H%d/yXhZU-N%$18`6ᲇ׏<Bse#|HlsI%,qNkKHZ"+ϖD.YP,#p#,sk 8V6ohL6¼Ju*b EmϤwA,IXdtYi$jڊǸC\l^-$bLS!tQ㕜/jy*6KN"l*8)EW'>^ @٘ǧkuAn@|ɯʒu.Za5n9 ^ Nۨ5Wpp'6b⩋kطUϿ ˳;XFD!e<Ⱥ*.0&2gMH$fM*ai/c-!1 .}G-;̳O&Õ㋛īm}]97EL+&j+?gYZ7zXZִF! ^]ŗXiɟ29aoʼz[%U>EM!!BKZLEڅ[?Z.<Sqϥ2 x#0iv:G0#}r2fB8?c&V}pQ w cyi/plO=wCL,񶃳A7꩔4k&]~=nekk5޾/7 eR_ݣ@\כo`YvT%~KW$hj"ޭ*,JZG, )ĎR{.ߑ3 (6.f$nA_fL; X"$r\9iG, $A8 >.gTȏ5vusmǧUs<ꀧcdS~Dfo"5CM ~^m!F*xL[鿓,PM4mS.qʖ\鳇ھ0 ]S9\S?.#=Fn" +X2Y. [VѤuSxհ$(2FL@|V:>Zey h ,UEZOW\ƑQ,BEo#&wgZU=F[H6Yo|UymSh&jpپ"Njzz۞F߃ڄn~uwe}-u"KZ~P -.n&IK:o:d-q/Y&lޯIˑ`1ŌCN@ΖgYhu^oN,djOLhNA$Q ѣw]4 `IlI>0-'== 9_A!Ux5ԙVh"l4u~LM(pd:?$Eľf쓋\qZgyFudN y+UmPT 2PgYZ7zXZִF! *v]ŗXi%;4وʰeoi^$?>\?K6 ŚK^yޒF]/=ٞ Rk ҽKW-_YU2-ݬX\ ͉rsNj1 -bcR\߯%}-p\"y|F$61;cQiuA /K`PԪ# } K&S:,Vߚs Xj_|9SobrDJ^7<,%Rۦ[sޗ.<ێ^nq%na`,]K LHvӏ@G .<]}3@&@bb7වe;ĩW+c8_Sޖ> A$ވ23UOA|_[ ɷȩ"FJ0e!îRx IatUoK&U;n}e` ˂֔Xv F E3Tj)ZǨ1,Ԑk]{?рdkF{龼.ZU!H$=BR@JKrR]k 5S|38盞Tg4[^I,EErWRyK `!F#]׀B S}N_qri'bi7Z+8nB\J7Ճذ65CՍxJWRs]ҹ3v-6~ .S/1-Vaj>pkt,DkaP!=9Ҷu(j~zav/[Э11!t>QVggh-Q+Hs3y0/1 ƹLO*5%@XtKD]nDw> Od'uqcO-@;}~.RĂB}nL19i7R3a?2j݈ƁêjsB:L;7Q>_IGa'muNq9rEYU{V2ͯ $nV t\$4ms-Ljwvh|BޠCuq5l +Ox@۱Y?qj}\tژQ(Y =ܠk7G+4EkBs,frE$%4bD3*hKOCe ƆحT1$g^Vw;(K'?Zޅ9e1IAjYi g:Q=5ס=ԾigNzȡ[,A <6!@j1[@߱>o0"$ZqB6Ĕ 1GpfjntL5'ϡ˲ȱ{i]N}XYkW*H%rׅq " vș^$Pm\NЛ~KQƑ\OkDiK J}AïM>rd{ҩ=&y ꮘɣ?E,qYS8ڨqa=3Cm# Wߥ"cFex4cN>QSkڷ Ъ^Ƥ$"%m6ݳ?* N ˒2JiA2@ZNvN O9vplM nv'؊FӼٿtOfw~:tNZ^%?jH۲3 Xub頷^L\o]тC~Vy{H \^XD/N茄&4$}OV̦H*Vf"W+@ŕ^Wk;ppuOA`VlR*;ҜAUn.oQʭlZB׹7H!}|,&|Em[eN10* 7E syupOJo}xjHmH;?wksȊ0!YgDǭRl}oϑ,"b;Z% _&_X!Qfi>Y!w gSTߎN(2O<B2CUԾ8Ԫ<D# /0`~)e|tgFw ԿφX4~ w~jN79CK3itt膥-|QGɗ&0S_pFtQF[kqgW)^:'ƀ#߼ #`:qunHayM1ǒH=MUkڑgIc5 %ؒ(x] *ȤSʛ5j3K;c v&zxXI pfy IA -Y>:S~y7cߖsqbIAΪ7734w9ܠaP;KmOd*1Ӊ4j~U]\Q9eV[?w}v!U|.Ke|?w.Ԁ&P(ƸGgY4,ܗRSu="f`M |Md7^MNֳٯ&eN9PhТ+y5:Hmkp;B ;U_|; JNQ:1U{ü=z <<M~ 'Sm:yd>KtME^BX<|7_~fWRɮsq{ ⰀJ+^IZ7'GXb"2m=+%- cLGPGxιP%,& Li<&j]:+Rl):֭pGԎpoI`?+KˎM+R".EB+;S.;ڐ:qo0zt?BE(c'%g"ZW,'DT,ŭT\sZjȰ騽 bDoޏ$N<4㝮v /V|)cl a:Ъxq`^jv:Zp8| ђ98[ ߪSsf*s@v<1i?puc_F/TRل(Nx4%p#Y~䍴ۧR39D7*hd⌀Xk!V-EiSlE0+r? IL pVWs&b !mP0l.3HǍ#.2+*N,]kI1!~<a&:W2ѨƸ^4ZI"#!OH ˟N BoK,Ɍ&I,9֝9ر<$Ս0)=#4XlO風1yaBڕ}T`?PdxE 6tXfH L6a:Ox kA@J,3vS(SDI"952PMDx.,#DI{|7;Ђ"(Up8 ϿPȚy]*;G /GcA8,Hl>5F9xO<D(W-`_|6 YY(zuK3Y|."K6^$O68 I9{=2^w]tS~pW #bA\(5^`_;zpJa 8>)un)˯-u6INe8 3zBx#(sX7Ka<4bPe^钄%k m3H[wU tO /\h,UIYf rd0'0]W1>ɮTԟJL˻,!) 8.9!4H 6K$ a-0DE!>o5˜k%)/ta5{RW~j>;8ЯU⇡'JbŖ'0QPU _NFoqMm5)?ĘFV8q=\<˿ݽKvn0p;w R _loƙVb|hv0\X播&H١lҮSZ&/jy~ SΈ[|qF9GaU8,HGӉ⃙5>&w~]4V?GN2Vj6AZ* .wkLYМWN ~)RPk;j_XQZJH>G5QLc<37hvC/fF0j*3`:ptƂ UU-~{C#J?. 6r*?OU>L+c9X d1+~RD*Nȿ N^V:X-IID앤g DRA91E2Uǧˀ}B%u򰱒IhGv+U7F -ZY]ڪ Em{~QxE܏"[i t*hȃb㼾Cg6ٹvǰܔy$߷up(f Kp.(2Da&:}+%n\'IW+QI飔lCJ5~y9+PN% ֳMsG$/aRhqØ6_c>>%~-k"{3 !Qtf+o4 E5a!l`&(䀜P>Ohz}{ <";<+35GUUimÁvZNCw%u0t$u'2V soPhd,WW[fJlʢI+(QJ(\֧F៽ml; QVy1$t?5In磻&cmC~IŽ8YcBDC.{{ b =T[JmKI 0!RK6(X?*_G[CusC?,Ik g4CޱA0a{yv;M]Rv:a :Ex0 v>yCek+~ܺu8%ǃr3(IDס^mx4(}/9dP9Pq@?IVeo`bsTՠeR~岳w2YXXyiׂIox7(XzxO׭ \P_>Guk`?%u"OB2}ݩz>.a̼q`hʺ,CH>4-X.o,E FZ(8h"I;ܩUhJ'.aЊJoD"0Uz xOjX79=~^:&ز{CEXqMp]VGse81ǚ:m2ƁEoʅ6Ӕm>Pt}*D-L7[|:9ԋBf8X"[W^9hCt2Ied_ >u^kZvtudaX.uΖ!@kX%UI:+sbH1+FbڭyqމuL\qͦBEqqݱ T`GԂI/u 4wFx$z&y*>/sgzLaɐ+ͮOdAuo PxFv[c'cpFoa?J?TXTDsΖdm^ '7⡖D$ 9 gUuO|&Wr\F*PK785HuHDQ7K.,{ awև0{W5)}Ot~*=yD,Y8#` R?ZJDŽd}}x]\(w8CK}[yel$?]60liMđIRV~ CMN p}IX:dv>[$(bx?l,? νLHM_?qrkL0Ǣ~oqi%Fw??,=S6K iMv Ad]u×B5s`2}:~V M g&W>g|vrz-AL\?wa%n #CKg]QV^LQ0Y @%JHXߐxGM`| Zz@dނWlƊ."~;Fz0 N)eP 3wB  -QsfYO2hŢT'k,yv~0Tr|$mXh&9/i=Ak k^[{3L6> p Ճ.= $<6%)}ʎZmݽWƳ+| )W;K!C׃J5:R^`V@N*;p6>pLPXgHkT(Z`$* ^o֔\ /y+e3E\}p"','jYLiglcs%o8)FQa] i7N8~ 0+c &8#xJsD t3 1i`C.CMsqi9?;9L4`g0j+;+o\/?:rGm{Oy Cu!qX$"FuϹvW:x0kw)_-&H,ǟ]&IG6ΫlI:.xay2LT t1-8JOw_)-* 5/ؓ#EI Vi NV$3 7Ũks]GCɿ߶}RmьH]yH ni= K$/U'9F*Ff؜r@#EO205;2o;˟$: K+-M ʽ%yo39 U.pPj;_{v|k*1n3En-xtx 4S;FjcA!wIYt\S]:z,;&}(mplJʀk*h<^øC Z$kӇSS'q&RA@][Ej UZsmsrSϯ‹v001]\sx}EH*"(ѨXPMSfqOꞚPѵK>Qui ;$`Q0[~p^n2{jYbf7_Ww#d Ynʉb [1"esj:ď^Egܡ6 C?Ι=q}}xAo|pn 7ZxF iMh)z LNٽ3q׀,՚@_RE2f D@>v7|XuoyBě|=C"!j_\_ xC$*KmZ&%̓FP1nRPä) TD,EVXK"R ;p>exPa '&߀ \lnFps슐3^ -ԎYܘ\u dPpF7O~D!5P6ڕ߷pwkD0!{uݟyE彉{e!Q€'_/6nڞ􊨰i#Чa9qI^g'~|dN6 Gòn!}ln8=Omc"8&~l\@]0HRG BNXbPEP4E: +,_/GQL R]V-|I}3`^>}3A^56 BR~S`P7{)S>PWTكQHq7SEHʚ绁aEHr~B=2 p9|bke=4ϗİ~adוIfY^8ŝalT}Po@ G/pOE[ra׭cUd^/Y'} O#lr <4vOpy2҉1uik{@3@5 !Uu%cQaQEq-J2U OƅBiQ2@|@\T]&g:2DR=KT~:X +,NoϯF7[p+q i<%dU(LvEM$IrfIwR3v UBXB@Iыgڋ[h}{ƭH&oȗo[@Ac6/ MnA~oByo؋.  9 SP ,H%FFIQmjq?:#^~2 ~-Jb~B2`#ՌdC#w$Z \Yc][N@ʺ`G)?F4] qS1sD$Kc7N#"SDl4 jmD 򺚤-Z $Θџ/wu:ß (FDO5#CnE7O)jt '* 鳑f.ɰc7ɕ_!@(tq*Aft#n]]4B4*KE+x7 j%{W3D Rnbq-% 9MOU;[46\f|GcF87 _e6m?*Vz@7ek:"iix`М-x'v'#a85,װvK9ԓgt[1 -/_f\Dn*Aܒ tN,.e.FIJIDbXGyyWj&wck:AZ:NU3}+D)mk왬X(7`R;5) .l4Y\HlݧUZtmEs|WM<W'Ak;z-, :Wyh*i).yI)g6@3NCKL,3VYҰZEOO'!$uq9^M6#~3`/nhy~u -ufk4m\R=0j8 !]iĵ''Ţ,hi"f$"ԗӺ7E[*q)㠞myk)f4o͗hۯ# ɛKN?/5E9F4Ep8-rFB_rv嘭ރ61XOa ']8a[ P}언I;kf ڼ[[Gqjd/9[Έ<0 Yp44h2 )^evVA5̳o+WTB8wSOFlLqmv]7b}69f otKxX/X RelF }WY-oZCC6Ϯ#p֊9˰A6~өL˜`r6 fM;)&V@^(0,j O m#mx:GV;Go82!Qt8ve2mGl V^{V ~WՈ:A~W\As>v"C@vL6Brnr*a L >½ :V/,đ l\gU5AAߖpjZ:= 5 qBb4:tK s(%%wp9/n-}%fsX=1 'cϿs{XP鸘]1W05@#O= GB$E(|rsoO?-B5f2 7# Ѯ9\q"!5̣hiQ*&YNB/~z XN֮&Ι@&bcO(^m_94o ?'eZZnHe=I׷rsqxHAp4ʲƳ.Z/SyH?eAK; w .%') #5~q'Isҕ`]9_{_Wi7t`Z*)ʬ2|GWܾh׽8c߬p]Пv2kg N"yN;:Sx3(A+E >|r-vgvkJ Lc-4fQ0="EJ*L )yqf$D/'ةo?I'%QH9k@zu~VTua Emo(2bHhy A nu=jxaȼ`^h4&Dǚc^e:Werr\XDRPlDUy+&tABSǒԬFg\vA5Ԑ@jyI3N=IݰԗQo'?v9k8l9m'*#- 2Kd##r)IT>dQMz(RFN3ӷ2d +'-ueeCf:jQ5^|mPi)9]db"DZ%+B>Ȟ3s. Նѫ22G(d&>F5PcmQqw)Z&|R~2T"_ DE{z:%Ce>B욤=H u,]N k1nsc-5{uZIkb\ _h;<@"A n|Zj5H8H Tz1PF9 Du&U՟>4 ?@`*5Ct/"/'VM؎W.sY?0ʓx( 825M+r!BI Y:!bFv[gG CV{04En+?RxpIbr[y. j$_=pZP'_%Xq€wg$l|Ej>{P0WW:t}M2m+%tpC¡ \ڤmsj_g:tpIYJ{gKh=1p$%5LL_Gc _nco_LÁKp,m}L'$"服nͣgnܳ1`qZ]*[`9#~xi sj .\1fW)k3*HGY@$Fbi6Ԝ)$d WPWݿu\uB'Ydap+f&nږw/.ǧ%,7NbG]98NnʎY@p1\Qv+ ]>Z/,d_8#:M> =v#RKւ ځG)g[߾_ ͒+i8`TxT[؜daǫPq+N\ҴoV8@dH+I]KFuaІ褎DQKWR.Dd0ykB|fu4k/` ^Z=9S4q=\GB8.mùG>d˭wD,_n/ܬF?HPhCohV xTKWMO̰fq_AwfԦ4]?$yUUnq.=ODf_ 5G*94G@ o4=}tu#:W9?Ry{&Ծ8j&@8`5YI !-O+T^:lf؇,G6=p(M9U4 %< kZ yZ.5bGg k%>ldbog&m|'kSiی@WQVay,1/? TQ7:xLښ&A-ֺ=s}I0pmr|Bb;X߭ybw͞MϞ _O'kLrx.;c$,c~$<%P"&O.DQk9=q+M6EDQ"ˋ Pu۸ ς ȳ:?oog۶ u!oB {PZ_ׯ$m*P @X`Qh Qy^΋SŴü,)G@ҡq"-;ڐ)?͛ITD@tԺ :t*$̵$1bkUGlRPŲN)!@Kw*,Ӫ{ꋓY؉'zq5d6F7&9F[W~IQ"mg'(V:ZjooG`׏њGIcOMń0rlĉئYsAӛՄ!d;b U/*P=bj$ZfÕo wDHzܞ/IgXu°v}W~$U|u.X[/[c/F@4ǘU.@weOh+L!;F*]jC6We~Z=ֆlKcU3ǀ8r^Do x-;մ=hp5@V;q4N/{1{HrrSXDKM;(ث[DȞ)!~Is/rTJ_<Cwg?QdXD:;|cxS!S0J}oڤhieEmGҸl|#gt'e ?/6Ka}j2=E/2<Σcs͈Ӑ"~>GFd%N!Ʊp=2PG6]V"5mӉ'dR zv5QL-Tl'-T*ӗ?@|og &{[!od:f,W^!xp @9 jJWs18>?;Hp}]N3B!-gE~ZfT{!R=3l^ɵ]c)K(m2 $l&ktDJ%& q[ٲĄ (#̒5VwIye(dkɒr*Kݶki].Ie"MMvj|^q;v)eeqU` g&JvVsL_0akgRt .U 004. ^Xb aˆ5=C1/ ' 8ͤ/;w?C[בYEH VܛY˖Tq\ et/iKA^~.[v?ea)0;o4{/th]\ x;?D 66xf`Ƕe\`ևS+vV$Z|=t% F#ԾOhC~U+\Juᅯ8,K5`NE:6 22G% Ai!7ʣ9G6bٲ{U"-nf:۹5 iG{fɸ8Zț֘jBg x`ۉ0:m'Y yC(DTgg۳K K.HJX,hF A7 T*GLRdz{.n60|Rڃ-rtZbHĶ M5:7#-tZ4!  g-ک*+``=Z-/! @wq3Rg2v[ƴ$ϰt>3wufj.@M) {q0R?X֘ܭ';S0:ycmkCo4d XG޻T~\背@dBUb߂c"w܇WJ?='-*xȸL: ɨ-?"CFH,wYY|kp |Z>yh'pCL[bƣ8x6Oo =S8 |v68 ^-U! ʇ!ݚ7'~aKYc٭`팀 9D!0 5EwtOtTwvc #4 >y~bvAe8umpL& u$|M^]HLUS,oRJH\:hvkV3<}@>>~"!09=lBEF%ugg䁺o9LBD8l\C떖g3l&3_O++7*mD`r$)^iWqBvt`?N[nmk PǸKc'i|I^v&jWfNX;JԐ6famIfIIxSp~==kx?`X:z[ZR:1|sTOn#҇B{= DwZ3ԭ+p7%¦HVgʯy9E3?E_e_=|g!3w&I:cNPELjf/stqmz3 2VF o[(m__ QEOsZY`u" r@?Dw9^>So߿]쁥49J"mJf`1^o}>3!$kfoi싦JqjD^Unm4*[lj]-@Z/ H R'=76 Je֟᜼=vcy ܮԡnu]J7;sĶ&eRhFIͿT6ghk2}gōkWC8Xd&/hpCl }AUn`%" nKH-VQIG%=]K0h_AjdF;xĐ>8g#mj)r}[az\{,Ox5qN`t-Bz|_2TudJ~76n7I"5;7C`QtXԝ!m㓷iHAa!mhgy/ЧNrAIg@p%uKJOYn= TR./#jS $mBLPG0hb0}G<ݒG]B"}$TDt̑NZq q78;JWV5a&ep]/,E mm,rOЖĐfc# |80 Ubm- 1&{{dxyi$}Q[' y$khvNl]ꔯag9yvE0Hw>H"x!rI*LTT{< ذ'Su땕fJFVLaZG$S2 -z|\ͽfFQ6NsV/ߏpRjMR )ƫKOӟQb]dm `{A_t ( "X7 aiM712m/G4|y0a{o1gt,ǯ+*YO>n98c>c2+"zx_FgsGoAiPFy=$"f~W*k ~1[$Z͛YYp# tsI9 9ʍK*؝{**o ZSrV}A Do\5V̆a_,s2¹D?Go p0RH]YPۜ5',xUhAHF 0(ZѮhBӅl%B`NV\5hH7CNTS@wOiiB'f} oъ \2\WU,&%R`^yN'3Cw8P9SVs شX0+ξFaN@ͮe&+UE.S! imH?tT<㦄 á=#>>OQ `$&~EdpS(ѬW{J!.aF ZhWm[pᷚjG-zX=Ǚ"6tTk_Jo&K^.KWRa %`l>^X،,|G| E $H7_9$Z3p >" PՄblGHاwj@2s6A UA +kK1%VAH'_t֐C;PW5T!aPzb=;@S\HB/)Z975[Wy];H<1ӑ* F욑]%H!9vUVN~ZM)9j[l2aMwqQk9N\:1Ss/&v]^rIb$a#KbQdfD~Tc_ o%e BlNUʿQG[jvtNHn%WJp^t7ŒDhTz!hkU@A[|[54>Vc\~2; xWq|5 $+x$?IU ȑkuwAcey` \! B"%ڸ{2tQ^ 5sC4CRz)eأ.@@x,8Kn>&#uE7'=cM1K8oGӱnRSn{XɴÖyp0Ks1r8%3 1}s0_ʶAJqNBIJh{@(< VvHV`wء/+e7+-Ց+xJ eZv yEu6zȏ36Wd:#/>rFfMv/Si}\,6[gg5@kbW;ntپ=W)Тt{0jRq ( 46L 5bEĻq.Mgj'ϕ'8H_S0npEե ɝ Ê_P%n\bejAK1CaY(/ ձo1 rϩ4pǓJ-_؟ ,IʑQИh2R<*wzt'BclN=XV#P=깟nv[T40%kqS(tðNp ԕebڋvE= "SfM]| /Q VeQh9AI:֣ DmK S"_)9ͅj(uIЀBip=DBZѹWDuNfp|+fHuSp ^ݦ~훀sԪs_;BM%v_SدFpwBÛ,o7P̓48$ g^ XŒ-'#_^6{UOݸ,xXJ_$#GV覠^i#ofK]{JQĖ>X./ X*Ѣ\XU5̞{8g#yfݞ{@STiJ9XkQiIF!6RA℟@\eeI' ,ئ"_ka Gi_Q\Uljx2Fgnq~֘a$cpE %)^(pW|jJe_$僽\8gf>b˜Q^H=tZf"fadUQC1 l(x>~ߜr5 yr6m/Tŷ[Ci6l}\B@Y*JM2Q#F, ?m~ʛg"9"F+/O|g@`L5<#Y{FGMqhN2ީݟ6?i+^e`TK<d E9"@\. )Lڜ )\"+ɔJ c.Ns^,Ppfx2—+EdHrV@Ww$F7pb&Uf/iT_ԟvcf]edpt0F󎮗F. S/g8"gIǠxs$TImW2~9aڱ7}7bsv:w~ԅ5 /^<;2d0rqԴKS`S 28 pįh?!zV #4QYрMӤT1?@.# y<95\R=j\)k~o+r9#HA).ndj[8k*flfʔkƒ\ T∇԰I6 =s pOwܙE<HR@>T𿖁zwlb\PƜg!4 wj0=ː c@U86"T (4zHFcK2ZoU]L'V74ϢbN^${臻>"oPHS\im6"x1T%DfHWqJ{+>XvyylѼ) UH5g&Š*'V }:j4e\wgϖ$6M澩s0V`q4GYX|,gzܨ$x =>޵S.IiYD^ߣnOMz? Fjbg*ȳ2NVkU9_,ِQ fZ̄!rrO܃ڧ&LܮB72 Dѡt #@ j3Ari2V[k!Vm٦ vx -H3h|Lw3O)m:SgKwV{:_0MI`lnźHmhp:e0!=S㿇S"ZPd{%/{ݭ&S.zPBF%r8VУ* mJ#nC=" r"WaŎA R"9;ɕAFN;VjrwTf($b>?wK>(raLIt3BwTqpa\\IK2UyǼZ,gI4w3>ɬE4%>mN*]Ѝf_d$cޑ"awDVؑ8FU0,#EEk#b#M<< 4>wEI)幦ٞwW ɻXas-*^kcx2={p(D9P5[F 9Q13l! 4BG疖܄g| mf@a#댶6bpCRſO{H>_5eG& F@>\f]BݒȾ_>d$n%Xd&#:PW)@v&澆{z{$}.6NCH{;R# :tTLm(Hp5r@v7k,| p.٪W@ 0WhrjێMn R?%ܱ*~#_|k荁LX)#8Lg͙ <-H:iN\i-P1 _(ř< 0|iԽ!x`\x rbR}!™R|+ vCd9G|5`CIXe>kqSq~sQWQr &TԉKׂӪޑ:`Wꄱ-:[e9[{>QȰ7ϙ/^)gӯzU(܇f qIƻ{GM;2b*N1l%nܦ@ F_EW{8Wn\`b:PcErp98 wLќvoɘt:.LZ6/SW_4%i8;q.kM.zȴg[ $A`-3 -ؠ,,pC,Ĝmgt匾*D iF.Β[f,R0Xg6#;!vK`;\S5]FkLd1W>+H҅E ή|8aRN,)14VPf+Oh[C穧UrfR!.5߭^_^걿QtpU.wqJ; 2'[L7?͔nCşǂ:=Ƥ2*F/.IJk )3{ !`5gNhymE.\eFloXE0 ;TS c{H#US FKyȔE޿e땍zT:>GB\Vބs# =a:q;/muUZFSՔѧ(cL&t)3I'a 6(0|f 3EZ'G͸WS̢\kc-{ݯ ~<-rik`/%E"{e2 AySM*%ZlȰ4u=J)נgcE2 @n+l#cޑ0l!LJ~PGwW}V1&Vvv{aE3r+˃GS/Aw1;POC1L2hLŬE3fL;+kA^` xOFܥJ'eh3 _j¢'ֱgYZ2d887827de13d7128891b26f02cc79e9511d449a6c60686a775c17b128fd9cd71424693ae23fa6275f5a99f22bd4e7f04aac561d9e7edd9faea287d7