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 I%,| ]/]HOL-Analysis:threads=6elapsed=328.728cpu=1705.996gc=118.692factor=5.197zXZִF! bS]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jmz4Ҫ$F`9"I|RLaNU_3رb_N֨aӢO½F2z%&LdQh_b[nkZc<ʼn={ bOĶJ-*Yl?ᭆ#m⼶PlNE/g)}9+&tִ]dNt1$JO\!MV@Kjt>쾿X:&*ape:v)+m>HY712<=w-68f!<3QYOZU$OG;@18l .+m5H\r>8La6Ó o(8F}}!{/o§ѮW *XiLjP3(v{CLE'zZyO瀣V t| X=̹d@n`W}g@MQRE)K4&#̲K:HQjwùt{+V](D8ddb"0D=`!F©('~S†%mJ3_-w}аXo8I?so9.2nzf{f{2*M #K8{\*xN$c`TVdyQ{/cێ2|!²ɹ7[!B_k`: lªmK N Ir]1?Ts3u$z^g yIq1Y)K^y # ]覷4~che|M̥̀&7cP;Z҄ԃ@+1D{A'|C/C*V_=hc,` (qx6 }%߆L}y bӒ* ߓ+'" M׍U~rQZR4k^prJrvj#@(E(}"v#:.s$7<*tW[U ݳ hSh07;|U*[A=\O#&aiH!S[l m_ݡ!f ; fn| o}0d=QbٛhRa}z@6M)Q? ,}윢 qeLٹ !UۛО}ijv*:\gm7L/}d4H!29 !<6}6Up0v-WU=+dYmCpDP~=CbJTXX\8t@SP Ck~iѽ$Z eY\!z}nR˸6G>oo-bi`x;`ϫ]WLBc@d^>Gm^0|cʌ r$ ,t .iapĤ[1]GK^֧<^<7х›V ST]$:\DЬ kRx-~p/[Na$ջTe'[F pĸou9/hC!Bw\G:5o08fBz64`EhݿQPZYYoP'r?NI Yc ?&o&g뷻ĺ 0A(q|xaFCwȨ4m.~:umu/92mk/TC1]Z4؋,'Gw#5vզ|I@T?++R #$00.G|!=}] bFHg_`W-ַɇ 7cF\]^\ |c1G!S+ _sƚ :=C>誺sjAi YF]kpr@U l_#g^=:yS3EW=7'}ekM )yD4d>gyd"ߋ}/cHM?^# k~Gt1P_GOqMC7_f۠n9-+H\Bc` UIJ~)ۿIS4T^ֻ<ɽj-CqYdFڲ瘸?{J9 Rd)!6-h-lNRGJIo盃~x0^, WFjƈ]Ip\P1,f7m'xi>z). :?`k0q#)MХ[L_KPTZaR+'G lSLٽ:G>ݜR8q.d3ĒYa_gE$ $C\&'a+_k=vS֣{v"@'/l(WMjCRz (2Rx/=P` FZ~}؃`sjXuγ$LMR G%_?IaKkWE 7 -(N3]٨Ur` .:M|F2,g٭y{nqSU,J\0'@0τQgSQғm ۰PE!٩%.cK,mLSY3P-[Y ʗaFj-}U˳N7M'3jph]=9NIPAIF4tuB t*S2QDkvN<($f[^*.gA:ŕZ,Zl-k/x_ : W5@}¡;3sVaz] ㉐y fw;ڞssG39(JRbá9 nٺ2,)&^)FtaS!Kw_ϏsXcnb,gO`6 $!^\Jʜ 2&QzyOդՓ&cXb=\[C҈oD);Z>]ZF:}-j#)Jg܂=α.1/1W v̭#.mHsrW0.9?kY"u"|_g65dK wwnwkBd50C/du=G/ɴ?W\K'q3a%v(/`m_oTUpGb-ei}nƄ14)&"#;.jM ޴?o7]];$"X;.A0|E+s+%hEec`V m0~5Ȝ4 yfePI6ٟ^[A}{ JU=_/z`-}Վ'P r Ǽ&zT%%nEi_mw?gGH$Su{Z5|>E8@c0+*PU}xB.*ٺ(|E>:Dn6ܓ\|K ޜo{xŴy,A=ҽKvY=(NG 3[cíy3xd 0AQwI0n#dv$ELGo!dHL27ۑ֍PO%F?`dN`bk̕羕I-P@Astl H}C^1kPi cVoW+1]p5lΣwX]!rqzvORUpBC4=W={ps`FՕSvJ_gF" H:Y?{;哼&3 !:(.OFk1I|͆I}B"4éAU)ۣhՀ-J3#vQ#~x(}&LPX@_¢2r)ۊ;2"hs3P)Uu@ê?o֝{3ĕ,Mط[BMX|@?J^dT4>elC5k ,e jՊDwh!QސFun-#I]Rh'mR~Y͇ v9-q[6!ӘO6%;5V q VصZ>_$gݍ}KQ;F/.B򖪓3"+Mx3綦+@Y#5؄P 2nfz=qZ0i>p$Ƀ#,XwSD48OFi7ocUF.'S2xvLR)~3(p)C~3s.蝮v`ط9Z{7Q~N:{ 0z @?~}?Qfo 27C8Jw[XZ:I5\9չgdy=(2rv%{#Vv%Dm>2=!1`n,9>r|۬(PMnՕO/%8֣v" ݮ'P$}+e&O6/X˳4<[tј}=6kA#դŔO+*SxG>J^XU?;'GΣSDOzYGJ̔#P9 2*v"ζ>WxXaPyGdpqHF!v+0w`@δ/lSF]i~JiSn);)azЬo/n?zC뙌kMb*Wr:Jre]Do:UuC]:yI9-b7ފ\l !Gswh %1/Q[OEHUcOQBV(4h(>`|{ hw] )K()o?'tݺu23|ƫ}Ήtė3us#7H @9 >KfU+=fcV{}ΐ؏ZB1+r/r|j't[1am ݢǤ6^:GP.ƈOrq+,Tgc?oQo(9q <_v:NS?`|&Ï^Vlvom4TF?GqY{kՋht۽@~ʆ99OZu<V|֌[JpHlR0]?WY Ib+sؤZR:#f PUnT$_==۱IKp]~K/WyY,WsYb c3[| b79ُoX+_gscCv`ǀ 7j/f2 "BI: Ӵ/ T 3%"5e99&ʜVy2gv@3cnU#k4Έ:+-ľz6ZH wQI%B ȸb- ٸ&y՞RJf;JNcp~Z`M\6=Q^(jr>bj;>/œg zDŽ_CX>nǏ \93No ƙHȢvjBC5 (`:2s怜 5U~:th=9Z)FOq2/8#:-[+V85s;}yWY%Ҝ  Ǔ5IYh1+,[z1ԯ:"ʬ_N$ 50萅1%PuhoA RF bo74*0i񦎶/,%cbi/]2}M0{nwDDta?~+/E3d,sv&p>ԃ=ՐK咈[s1ۊ˘aSv1PT0y$N;dwDy`a *d!O7'ɏZlnRM=<#HVtGf<W8ꛧ /|n3^Ri~dZpY\*P`iv1-ejld{?AfG3sW.5"W"ƛym8 ~=;= (zv< R3; ~/6 xԾ8R ]$ +&SElOc 1|yjJ+\1%խ1,Ghz5Ua>SԔ+G,߉[㙸(eX}(/ nx-xL}w?Q+j1A´ql_gm?ClS"O,rQ|xH`[Z=DBR-wr| doYL>t^k'ٛҟe$hzܚ;fZ SAe{?#' (}o/=Y)ŗssQ0ՠ>)ӚU Dk  *Ma>o:Yg~Hu{D5.9P 9ηd8xy>fbKk0Ge1NE;;j"?^ٗrCl9`Raaܵzd˧kw0h~B9Ϳ=c$j+s2KAYϧbdg~k*67U :U3*j;Ty(7Dd->zIy0i@.lrt "w3VS ](V՗[  lsgpVK7!x/u 882PђY+IJ(\+^~Xy@TCqIy/mCguʓwhmd5TwLi,ޥofRTgz}\aB%g{KaCǕekGBa R@Fj-.d0m WHzzL=ۜf) 8H5nBpjή.O0| _akygNS&|S o-J63E;RAf0*Z4 6G^t5f_H@2)@$E5bbyy L\8/+QDQ{i.H_O [a1i  qcPc$]cuMm)t3ŲETipqØy@D3bQW6dL~cy #lq{sz$)>I9)DtjQS4VmeN&ɨ5.Mzc=nR"?18U,X`r2}@m ȳNE{HJ؏ < HgCZt6hhlMiy d˂*+8;#ђǨTc` "8+C~dTϨ:ՄMCm( W2|\ thוwܔh' xYCsaa6ҹwq=:s|g'Y\tS_!|c'Md ODaB"Q4s(P[7TnDRs[-WZzb5S)Ǔ[qg"cmk:r\3{c>hLG%o@H͋A?:v3wS/>Թ/e!׍r#pLiYebGq躸~rv40gDI 4v[TzD>yi0 (5lAjt>VWRY.^jiClic;:>=r  DD6*S IqT vODiNr<#nJGx`=j.._ eڇ4 mb\EoliwJTE(|7GUNcR;FvE M?V4q.*ž݇+V?I'83%|'4u1֫ "QZ=7kAL 5M`boYgt鈨sƂh6օމV$|T:ڊK 3R<  TvLqpY&~|Ž.Kv*`+p^؏g^lm%̥;%L.8gi Թ4arR{іkش!o!ѕwI}RK:XzEּm,\@N bkƸa!3yBvNщ; >NnwM᛬l4D se#_Fnix7sv.M"D( u }+9ޔ tRQ\ޚb!J|$g(*k-"1MohwFS/vwq= ޞm\'g%R{m(J iNW Fp[ *ްڨsK ;7% c~.U4 $.Z/9>0 Z Oqd<}tѫ9jr(vGpeii V2oW ˶wx@݃9v kd}Clb.QSwYsUOE]UMp|䮫iqsr= %ko}B8hWKHg,W"_~%򵴏t&FaSUM}f"nolI b%j%[T0<daRΊ$hM5ǣq1A/L٤glso+"V&᳑F*]H2)0N` ro[ݫ#2͹Hbė<89Im5#,kĈ 꽍ti`:_,?Zt/ B ya4kj:2U!䇑K%߆18V7;*? wL%if6@_揲[%Br'<2e^HТtf<8?ջwkL=ڒJPL IY1y*t,62Udƪ 4,F"1J P$F "US2ҫR7#`iI\(-3:_W94ip`j~.}um652-Nf(3Wh Ntޮ"u\j֗JY8FG[hcLf(`}vCuBآch}enSƌ\r3yx5vP+DYϵh!w5k)-&?,Hqȹzq.! {t'FXc  v[ԏrLIt W.{\ޑ[ yB;_X{_@=c}0>I&q/<* }A-d˺ &u0q#U J3SSmtTj- 4jM*(߄i@"Ghg!4: =kF41.#d䑭*Fŝjح>!^s$Lmp mw~ Z*2 D7^3^,efgdkZI^c.\ L~ˠ=w3N V;'v:Q!l҄PX!yr~;\1UX̎LjMM;6ԇxgSdOn;0>Aw̟s۠)qt,a}CE˄nHoxʨy{JZLU|.RG(;^W4V`p,rUD8KDfmk fapAWVk b/M8\R,lFSSU=@ML/>s&.R7zrB{~*r(Pv%'<\&Ă6l֏~z ,ypЩou< û׆]ZcW6Dʵhk1ot@Βo4̖WH,'aparwyӝHlئ8Ӡ=ly!,j9gŨY鮩Y~kWq"4p8 lL>O*WaT8Fu 7{hR+<%PIuqA/mh,#bx3ioLcWZ:C` ڷ‰† h!nJGO =Κקa;r.$WfF'i|=vfJW- &2vJIEgp(}Rof.2yu.ŷUsFR谄b[{{;D}W{l{__~=QmdLAe8 ksU5ʬpuudw6C GncR=@55U~,3 Srm뻶SaQ4?H4 杴5?Z D5г1>~r5,9],*U\-搵Rl&w0I6\#{ƥ&Qް@1yHzGt8iaVvϜ S_HZZQ.n',-\EE7?7 M]%GJȔT A _aVoĵԪtΔƅ5)sb/kbC#a r}ܖ2zjļk89wȀhgEO dNvue'?șyX}h\(v2 )H"cW״RGOc(Uv^qNf3_yT3N̳LKIևk' g'ڷs;R˜~'"#h`yONzݭ]ab7)E+/9,LkUnljXH3 {j䗰vMBЈ5zA!n>1@VĮ(QpJV`+NNNR^گ-/@ wgc Lm4obEFۻ_GܽSTe! R~ B4,SrN!,~nIl{Exp@v կ*ah]p Pyw츢AO~ˁ9njkeuApF[2 E%P10+L,`)̔TO'?`%1MO)e%laAڸIѾ}nVX 7<_̛˜JflP:!r`7|/]")G'zY^LPbֈ'|\}:zd ^E J1 T@$ 7׹AIؼF"Y/;'A`V:֞86 pz2/HI*KgIGe{I7ka Vō+D_Kt|C._ YCX'_y^ Orڐ\SoHaYzzk$tY$ ?]JuSG^]q]ơܪi֥AQ{Zr,="}{tή*$Xip: s# U6 +Ha)RND/( [g39{gx> ͚ }4_<6""Q)2, &s +ܔXbi[b_Xݽ\ɪ)&ǣJg,hsӒ٪ߔB#&ž" P?#v#EʢIKy@aWV@pG_,xaB(()b]=^{'@ <2qh47t[-Lbś1r e vƏ@ˇý nKr~Nz+fq@MҰO >/cqXcȌlYG/-PK:5 +vrr =k/7 M};`Wu4~7{ >Kyr1ezN̙ov ~ţGdyǵrupPa+*@O 'gT 8įYLqgYs]<N]lGX]XNټ[!pc%_1'>_ ^e[M%vy)`$?]4W*0$p@}T Isɉ1RiY?s -XgI~!kf,=v 0;8+CPdeSi(QHdC V0xjT( eW2h_~AhTo &!㗜brwAH71]<Ae ;SZ2To09b4 .l2Y*L~`L`Hi '9'[c]z5E9 %b+VO)bN&z/S;PJ6_ ʕiwaR5ޢԞÒ! *ːE ടf65꒡"r +Zk5r*a9*;B#]1" S $BngQu['XyQV2tuIn^+d; gA~'r/5 3H%S -~CXZ6O:L7ۼ1/<4@tf| SkZWnZQU/DySz]Ŕs\Je|BW>S6|Ahݸm4{'{BC3&Dx+ѧMΛ`P%Lr@І<&Fw2]ư6 \I{^߸o@i (X42x"k2.;wUx=Oj"eʘ؟JU=X9Gٵ j>}9qq^xR~=>jϺ l:"K;{8e=ЭWb8F=kZy/wI#T(R;7@IZL}H/'HV}Yaݵn<|Snv^lI W%n0ESi[l&uS|)P0&K6⦢ Q s(:)%,jۤmo|͋x (83[ yj37ߘK8K_]af.+v04Ȼ8$T3ZOjV ,y Z[Yӥ伓 ^'&ؖ@M] /snbERwwzLY["v aW,0;/&spOӓ!VֆD0"F"\Y ofe3(̹L9$F,G-^K ~/R'Idۅ*)Iy[SI5Fs椷qn&q/8C8 ו:C " c*$].-UZp;~V9R渒›%Hwߐâ h^e 7"ȣ8{1z:'P,dzvp[@>HT'uHhT(i dGkl^3Չ^/\9p] ^["Q#R4ېd O-ގw|" ijԠ!;lꥥ{ ӽ{dl39|#I{.j$qb<ݬeMVOEt͙ Ca+=yXS|NVͯRM_G?E56_зh$3AMӈpG5e=|Rrg3;oҴ-H;~Ǎz AbUD #j苜C'}Η@'fh ~گ1k<#0T /`γ5U))COR^SA-uB:˜QG9@y4#X{VU搂I<_6Xmp6M浕ط@^\.(Q-53{M][Nc!ݧ=aCu+?DQg D`[H<$#v2-|ΧMUŀ,= " x`OZ*ȌwfQHeg|\N o%5Jt 3T%h7L[c_nsãv r+hLR jy#tQTKT^lq8(1dwϚGEd'̼ ֋pތu \@$)x+óILM|br5O L%Fe S{G`Phw{@_.[:{q8^< X4>Z%AǯtjoTcZ=]`jQN`qUX19Wƍ^ Kz<}HFQ$t`_stǥQXzefI cѾp|9Re-."pp$N;!7E?\|!akF 8x_DrX~'}~3QFCЍ*Š 5(# wA7dؐjE4ϗG,&""Hݝ~\@Sca`͊q + uP1q'DGT+"fˡm{*yMέUix^`mfX\rRn ; ?0W=9TKdZ(P-J0ܘOU9gYZ7zXZִF! ( 5]ŗXiɟ1˦r!cHkMeBd4>OFm䬚z"G*^[DpG=uVzk$`#'mzpk \*'R6<"bȔsYB+2ڏ%V [>_zW! =J~ TW3 (d)"zomKw&l/>\?l6kBĈ"r&[-e3 IpJB4ō,im_Ɛ~L6qfT0U\Ŭg]*lVmXkC!E1W=CgvO 6?gM 3XR^h9:44c1VTM0&* ?Zw0Vh#$˄Ɛ.f5Mգh-[/47 @#f&)!PyѱUKͳtXUyH9@%TM>-pMZs ŝaY(cܰdN[ϹT/8/]*OHX.{ @{<]{rB{Hb&;Z_nV-{?WO-tًL4 IdCL6,х|q:s[LR#JP(x` 41bLE ъ<'AZ^H=R|6Ft'nd(Fk/Nf,zONpu7u 0wa7}D8(4P^8`hQfG'吺uxɴnKyP&^3THkY Fr6ڀw v q5S0LSa,m_[-UD0 k}Q iTS?Fbہra6VcwE<'X#c&L8|ќqh0)A9 {U$|އk#s//@D,S5fM?Yy},%]ebyClrDȃY~*]]*e,βcD6yy]P-u?g!"ٛ>03tCw"%wW̛6tnqlɛ=hs6i͓Ɍ ZͦΛɻC^׸1x"d<껍*r5-NϸII1 bS4p֗Sz}-C(9hd&llXF t]UT$`6${U7{At˷S0]WW@wG>tg8WNtZr08tR# rc+KjܴFDDQ/`0NnW@͒F@1<q2?,eV[Usڲ*'f@~KذG3Us)ŏQN¹[2<  Cve55b];yX LZ^4,=Ξ7Lh$ؖi_]?gvWݙO"Y-|(}#m Þp! ΐR>f.(a:G0H Z\#)'u`*0t%gD ^ΔKD(pzhRx[e$8J~=Q%dVݠYr;M[j$µ|p0 g\"r< n,YWth L0=fh6dwn܃%ɺOxFJ k%{ C w~-Q $?帨<69)`ĒriCx Btn6Q f)#M6?]P>6cPf x.ޢYSTFG67 BҴOXˏ]0xi1,_kpSlӜ̲LT]Z:!tbamu%wxºmE^]K8D'?JB%<;n`ÐD-פ4qfп+to1>+͐v #P$˱gYZ7zXZִF! p{]ŗXi%GQln|##vѤyP׃uE?mHRx['`z]%@$(u]@L7JQ̄tУ < rU~ddeF6cIWFװ$; Ӻ {uuS4YsMFd?8Jv]Ub~ H7wZ ,J1:ԓa$7貸Djf/V{ekkE#,%hK^[AW ;ZOF{srݚݿL(WtAKtVSMDz N02;7.# f8r>Ȑqz=!S^ W·+)FLR8ܺn;`EbJ۞Xqޭ\K3>o Xgp}k] f8]8yl}M5N2hi"mؼxI&ykfUkE3H$J]6٩';r,Zh:br(beCp Ls3߷U2pH胫/<D6qK Rf34_lڽ @6 gt'7-[k-gԷIœCNڊ̽qФ[''ژ3=]("݆x}ɪNh1$`=F_R?-q\p gm\heRV;`Q>Z=`E `s@E9kŀPnPJ <ػ1Re2N*ZiGrH!4d Sx]Rz@WC>E5ڗۅ"aJkQlZ <]s yA'9܂pov$Pf2=wܸFhDoiq{Xn3 6 URf`s^6U΢O]ڙ7G׬l]QSKOч`~ʹ6zxˑЈF#C"֎p&W/!o6yaD[RIޕ%Ҭ /bATul}|&؛NQAXߙǫ Vz.9[MZa4q$f3;^l_I-.7W佝銽J??*&Xq$ bXXo^yy"܍K(Yr2\j~nv^Q&o&l=ߐ9GKP5|ew44K& XX!6w^a{pzYZLd`dlG:05_vghe7:J(pc?Єq 4#Fd8h#^#oOڽi #i KڮZ!u|ƂZLNqG?aj6=E 8"!RdV=]ZzܚjYkDX\)>eC>OeÞ˻6(Sޫ)W_f6(*$U®?iʱ= `yӟ>U#ލ܄bZ[y 7NPcS{`77E05aɔ @, e1Nn*dX܆,44h YtS~IMؚؿIe9y|'xPt5kU2!'QdGenqk\jzz5kFNemMGx5ok7.3UXVLc("Xj3aDAƻl/fe6E Cyv4>VxFެh$kfh( ğ !fnZTN?64؉Cܵ 7@u[&௨tXZy֣vq -X⎬ BTsz Sw \e kt(: &GP}Pa1AܲVTcrvgȑC;u}3ߝO >{|3w,q$]V妊wJQZg7Ra+9g3֦.R25VAR`> Ibv?1H@.RZͳ/ Yx*&.gԒ6!rOms5\BҊ%bwXsfr(KsL"SYLR W+WۭNmVB8/qe~E o ژPi\%JUWx0Xo٧65u3X$1܇'Tx vUc_v])V)SWFq9pE1׹:.<w9oVV(;w~VP&T@᳢`1Oo÷S41hUHG&ZVS!h)0£JHTi go\ZuIkiQ)Ol`%Y\ktYCP jP>0mdB 5&Qhs缞&K]]hjspN]*瞟T 8+p:D엱X*)L48EgDxa"_ť1LJwρa6YrMXtw3Ro> R~țyL,[n5, ?R4$'~,^ljvEG)TzzUo{&fc/x41[V==0q"kحTS/. ".M"Ɵ;/™(|ٿЪ SUܘs ()}M{CU2qNDfnlޢ1G~y8nȉ7@w,tzMt`ZR6}c{`6Y\o+z)XWN!`4:rY`Y9"&힡ܺVΞؗbDghAh3kVýJ/ì1.9(q"c Gf$T0'5| \l:зٸ^M%6'V6JY24& :Ż!/{$,`{ Xnox&^̀bR|;D%GI4w 4u^bm_஠;*vWUO>XbaD iz=߸Z/] "F:֎=5;Mt[ªI(a&(ʯ/i>P7Q+NP`V)f60-eЧqX9R6UZ =9 J-0. o|\\&m۠& ˄(iX= )uiY_!i~]InGJ="4M + >Bcݽ_~4gOf*7[5cYi\~cD9ͻU_~[9t1՛%# vnjƯپHKqsc멐lĒYMcn[nj)(** 1s'4Ѽj2ѪzdG5Ƀ y4$r{) 0˛[RkWXp-Q Q3[YvqV?;V5×e!zH!ӣmǸv$Hћ^p49VHZmDbw1ƼPuO@|5A$'[Ge3.*-5+ Blg6-BFiiQCWD-`ύ&[=C1tk?`ZAȕ:o ÃcMN$fBevwU_L8wSZX ,NNi}}3Є.rkD_|.F2iAG oN[[aᨍ<_xql;3u#螮+VFID`Y&S6S eGa妵}xSɋpfMݗ0avEliV;VjjݵZ taz,ϢЮT0> O+nhX S y+D{%7TT:@O0i¦faotwOe%gPXFte+o9'_ؙr_됦k,1{,6 ȯ֪*@)YrNd¿@wcwSJQ_7yZRوy yoI" q<6CK:vDQ*hMfoV- (*;Q8:Q huFضk_NE/>]1X"+iً.  8(Ӣ6ϾvxP3@Fű-Ktf|,il-$np6%+Vt1XzGY4 Sh`vӔH;Mdcd= [LR2;!P-$QтuqJ]vt؞IBbA)g wzԴz0|3˨D7-KگQ9B9V6Zq~RE=-GWTY)xIkd>% </N3m0wu@j 0=6).cUuV˕Sɦɬ]Zz`jr*Jlud=5v̑0xTByK,~"q=vj_V`҉^ C%]`c_em&J 3 9QbG{Q@Ȩ6ソ #_Q\`:vuv[,Rft!ewM|ȖqeĶS:n)cЏᯌ ʜ֝{?V.}$D6c[%1"lyi[00 P Il>#X'23lQz v֜Mhpס{dS#\)2Z~ۅiXb{rRoaSm ʭa`kbɁI.7rVai(Hw}P[E˳Rܞ¼uQ|iU?+:p"plV; pG'\ӊ~j(e#guߘX5h'P j9+ʳ3[;y%ÓǧK%$Mg;[˄iн&CI{BPs{sNob}qp%#R|b)G~(SUxҩ {EkvZ܀p)\Rq܄yRή1urϐEd #4b6!61s6x[In(*1ձ BTSrKDۨΑ~$/4ys8qPo e26rP3dbϔr2l(_>lD>^~:߈yt"5lr(MsVҋT1Q6,\;=k B|#6!G][\{ q?g.g.ppYW1`5g0йqEoO Qs٪ +a0u:e+eA T |p; bqzϲ!d:(LM>YuCrg5:S)t>Hg#G.} y`yWߒXtLSyZ5vK@ )7Q:St߰GN6 ؙ[=!mB0\)* hQQQD_ҹwR8o^Sİ.hk %N`x`3-uB#-C{}1fJMp: ?gbVof筠 EM N~d.^}KCƝbne$`F Uwހ0T?$b5PɄ<Q[e/dQGYcl;CrF݈I3L~.,[~{FZ3뷒YlF": mغwm&albA["H\",Q74Y)@J$%ӿ.Z"J3ҧ@:LiYc<$|-ܹD/Xia"efCz@\شG`U Jl07> .;3DY4nづ,@h)LaG<)ǐ*5~NC/Ep ƣؘmݠ#t;:TN V"y:"$`cH=8_M0?r٣VMK .`T^ohR0슱cZx!hذ)mv -XC2xWbʰ0[Fd~%v?OBca!)SwuRmt <(1&G[LZNPh$ F:l_W,AyIzќ ,1:MFn)c =y7_M(]Mn,읣5dcD,G_?HںhO&BOJ.9x_df6(U$ʬz5R@\q82c,5HQB a?ӌ,؉E`٥bdM) Io6BmZ+DE"!{x3>\J+å=|/TtPU'&lu3-m㯧: "B,iXu.)I/}X Cpdzt\~I#[pϷ4CKEG e|]oԲ.9K}LvIa‰bJ \Q/9ղ|x2E]?-4]xBjIDlqj<({ 3l?a7g*0KHK'ډfnNձHg~9c^w0[H,Di5T#  pKBy[PUȔv,jA[ oV}[J~-o{eS쳡@D $5 ja:f%]Ox2ی")nll;vE84 P;'4~TSn9^"mÓ]x{QK5uCXR69g-dZL9&sq7rKeG0[ wm9bߵ3Ar(&$F3&gRka>snՇ =s},֋bIٖ 2).#{OGڃ# Yr`W;u&Z}ȜW!7}pƕ&OL#hS &Ȯko8+^r ub('-R^py,w Bd mT QBih70 W Rb/ۅTGb#;prhAzV{+IUSB ݍX)IuLW!ʹrvf>RZ_:h دPx~t6nikJz(IY-$%b۰Gߙ$߀Y{()_̳HAV<2\& zXzj?5Ƣk=DRq$}^jWB;E}@i1U(ޭɀz,8î^L:׽/KF& hBYZ4,RFєdtGT;"y󉲲JM~_l~@$Τtm͗T X:bkȋTIQ wTTۖ=$-Ja~ n$Du)C'<EbD-tm '&rUo!mFxa"v%&ǖgao E@jR;>Dm S0K措q_u4IA͎(QZ Sy{w'%S|u=|a<_oÙ}+\ߵn\d*;7,kɉ^;%Vz:qqq,Q1 [ऒص@Z%]GzL?F<3!iͫdX6zH%̴DU~4vDYY"GLQe@|i> pH@T(~ev*&R6)AĠ}CC}#*HxP7X4#~=5r9PXSsG*pP5V?%+=7v/cw#7vA/XnaM%DJg73x_?H.:6WK|4MHs̑c_:!S !>g=$ieռ 鸄N =}}0*?42q3l%44Y8 feKaYpW4mDDR"L~ .)u.``d鏭`ñ],=k瀄; Ys;&4sHl7!S Vɞ{U Y)_/!?[SDDrNotdsR!s7/Z'Q43''=IQ['-9*{hqaygc[sdyS`76 qo[Ux- 76o\Zܨ\Hkn_.qK1@:Ÿ \\sylEdY!^ `8ŞN44I%8&}:h\GR)p5^>yݔؼ.6AmMGrH"̲Dpyh.Ҽ"J;M0E[Ǽ7HGz)5帆^[fqfm5u᱀Dȟl=C$NMI}+Wl%:KЩ&wwn o Pgxh9B2mو pHRݫv=(1sA!AԶ\@9={6=/B $5U3@*huBRWrE[M˔106 OTt4!sϭ+`5n@5 :.Ҷ(]jc/6H b*SahoC+Hބ:ᰂ#8_#E<>QXzCvȾ43mc\{B"8O7idԙow ӊ:*Tmӣ u'SK j },*Mreo{  @k6&r]D[CudY+jʟv -$ݱBgyAJYHTۙF8ȏYyzF-2"kDrnLM:*s` ?ҽ>w>zD~20^KGE|Fε`#M+kžB]F̢銳e9͈a{"P3a=3$DIisݦ3DVa kc8ߣ&Қ5y"}$5 bwPKvhT(Ҭ]+CnBPj2#=gbKb=sNDF&_XEn2t@CF rZʔ:oT]lhQnjWJ:.eyVcQ-ף `|=혊30*An 987O9_ƭ nX] +"lZ/Ǖ2^E;{1U]0Jn3TR.[AYE\S еex e7_Į 4x]E|9Kr>4φP @tg)0ˉ&L>Zήdo-%I!-#GT 2mdI#6yg[vB8Nz<;iEϛnF}WfD#:z̯fĻr"~f9a]N,V &`Ƴktįb6Δg9;&C_ a#t-jŕ#:3:DvN2( e!/ QOLw:58 l.a.= #{Ԣ=X2e\I_:&xRAKּ+#RCFp G*k@X@)d1d% o';a1Ȓ*%7x\e"ԦV# nC)CHH9m[.?,y A8 `$} ,p,=ݿ>zaZ^yWSc:6ǤX C T= 6MW7WVT;$y[FѾ9Rۿp9ֳ6Kvi m-#gBzdzws s8<2O&j4VlCR*:zo:z,y?fB/J2׻N\@op3>wh.f_C,RfocHRΫoB%e*ő^.Gp} !U߃7Ud~)åzU$lG8K%Nd|GE"TUVT=^J4>KgZ[l^:$|NOFn-'Α8 ryв"xOnKcDC]JDM'i`=F6 `={i+mkQ|{-; *88tؐJ\uV1\MP\u$eu}" S/W\D/LҟIaÿ'mLRX$DXpb#1,bSf{qpoMm`o3<`h/>"b[RȺHՔd4AG玽J e[|R>8 !;Q)%{P AG3MN '/Tf9 Yl)$(n?}. $-~T:&*k؁mo,9"C1(_dC)W!QpYzF4눅K4uadpϢhSf NfPU_ӸO烙uƽ @ܐ{<>6yuC?omY ?&ALKMyvWdsP}ǵ@>0rj! ,gׂ ՀWa?Ϋ`TueO:0ZmoowT$>3ERhUI-3:]o#-DZzODlr:Oȩo_ 6#&ݱ uߑ .,!(bTHKg.lع*f84t0A"AE`Ĵ͸@W"?9/|*-[^oEv\K+R Ρ 2(S!8|o\(y)үQӚ ęf3eTYZ4Kh\!NPWԱʮH `0N;ڎbqbbY_/W.B HxEc랡4НlR!q5T*jL@b L Q:M0hv_M2^@]84I79`oqrWbSW`iu]gT,[˽.~W C$̒([>͍!<䎪ބ$H/9J'CFiRʨJ<lA)qx#٪t)ǙHdZ֢'uu&/0җ%:NEcH QLBJWds ies ,|Qtnu?pSu4QzT{; %Lu*FF=,+f#_p6ēJ88P{U`Y uK>dHl@F-9@&וж<AyD$(@JnVXvEfE#:H3CniR4U{O b QWLMTao;,#?uXu-v\hy fsr($Z596ojmwn!TQ24 X%doR4ڎh?SB16gEu-RihGwڹg$( pӤj70SGi sxu;a j;-ƙOW4y GxQL"'gTp|MQ Ej2E ih 5C:[%Dx_r.ht[Jގ,X.si>i K/{x4J=<<#1 %U\%v<#%qztyYcW׊ҕ^:EoMt_TQVJOGmLF ͠yPBdj}N axބ+q33n6c %By>GD̸? *B2 `4ArxmX+Yk ZջL.=߰xvn R݈D+:+ޯXL V0mmrGlA c=nًoqM>&c/F?JC%ۧ;7c! B,F юIh-I2QDnH1DxڭsJwϺD0;"ٌ!KCkK8p7nRڇ svWɠ:* 3m RzPNB呙dp p=p.ކyaMuSTbb?#on3PiAҋ((LizMzqgjE5NϗM8* }i%I$e(o@?40hb Ȇ1i y#/FH~ QwR}0:=f?_q:S\`9n &P?;V+~Pu*$瑟8%]aIum R`Ӈֽ2AaDn0=I D2?vVk3#Dujk!#8`Z@9#pk~'*1<ߩWg:@aj?q$I_J0wTgzw't^|8jMMAC7DnH엜嗖et?Ąwz̙|N1SpFSLUq{NirT)C  Վ2Zl;Ktf%L Ӛ7XV]j躡Po>$Xz LÌCPqN4)sd޴CLYEW$dIv"M(ӱ_hHu1TEl1TCrynTswB@#/kK-FI6 -vS;tꎈrn%)WHª:b>qj2SCxvp&qeU+昆}!mʳԬG97q!ѓxu3`Arvz?VdßeSs+g7!⿫$Oȫ&)I`1"e yUw"Ƥ)"B#?Dy A۩gů A\lMho* (㍛Myly.Mغ8:DS.ŰOjo=p3w[-ޔZ-+Kye+(,[4M vHpm͎|IyˣVuJW/z'9>8㻕k7Z41ٷY2XԏwA"dgB4_@%OuHɎhARqp#A b>_ D[jPJe6#~{3cZ^_oϳP(G{0yplo, ŜRfj4YP3r"Qio\< .wyZʺ!oe"rOTp{ߑjevP"")DN0m @#ds?ZZ!hj.@Xq 8AL =/tƋ%,|+"&ʴ@wRu@ m$0n876 +l!<`WGyR F&t苌IZe_..ղSr^Ҭ0<FOnʀ&j 'htVD&00܈Ƃ`O v]fySD2:SK3h(EjQ*x޸9#豗a! )#rM2bU%&AhG#L ^Y{z8@Θj'oY$+NIIu;l.a" FbMJ_ȝeÖS)[b>#oE G#Wpd~imv9?wy[?On,6+GA/j]NO$ڛm01䎧m?a5ֶpxo,Yde^t, p?Va;:Y:͌9t6D.90ԌJ4ܧ#n![DAёRw|Ľ+";iClSy,C$^|*O{pڎ qT:-c3`Eop6M̥]@OlV'18*%L(\:5;`8̕t$ "..V?òFglZ=@2X_ܴ8x6ܓ:_Id7ĔFeDZDzSU\ъZP(ŗI zd,%MD[AP)blX>'tE7qٔT| (+;ml@ec B>lɽ(~8)A'tZil6&hdÈ:񺂅oô2.Q Ȩ5Z9lU|t[8qzw!n; h:z c&]۫ls/ʡLG堿TU qhռSɁFfLmkƑn4'Fkz>dLv&e{U75SٍDS&PSgEjn#\j _ 礄sGxhc!}ƨO4)8׌,g*WJwKxpK^8y~Iӛxǂ3~߲(B*uGg`ȿ{R:?{!]F*q8w,b44%!&$Fb5 GX(!Gl'7_-[ u~rоnH:唱[ӬJ犙qIՄȯ|8}XNLa()VGkAC 1:]iJLjVDlM3/. V8cKr$؀@Kt9U5M[kU r9ߴ=;͐sw'6B: p.(炠y2V=*mq+fZUS[M "m#r6 cV8uA8GQA;Ԙ@kqrcS1^1[r(FPZ\Zv,EЕ<9 /E`}\ՠ.zX2oD|Gd`5(p$IH?ޚ](:B)Y`R\dQ1WWv' ZGt4u]47s2ˁPORRr B-ԢPX~s`oW5+\f}qž/!3S1ޅ CTIfu>ӹ; yF.XuNJU,&yt>̊9mub^T$k%pv*SgǓg@؏vʡg!x3S7.J(c|a:OEWm?`;ipB31 ϵsV~K['xUSpjEF@D3 c{Atc%wG w \䗼ă}wŨHBP,ڥ$RC8Xq|Z!Kw%[d 2@tB9;f =k8=M{? ^o+BgWǀRq.oJB}\D'fD3c8/sIlK۰xŐmcuFLB}t{;w+.gDt>.C5=SxSrK]-RY}-q9&pt7;@3)@f"QYmO>Hy\+_]= +mUÇ|{M*gNGn|z8!7%y* 8iUp'jU|2x1'ns3Hzc[`H=)#\5.R"$Vk5hûOVf1R~ PxAPh4a]|-=ѭXܣ ɔVy8 |_J&Ÿ%²zo}{ߝnpu! TpsEo PN)oUoN:A0݆I'U";URfgyۥ7bgŕ8RDR ?zry_ao1y:HYbYdVЀq I8@sO9*&mWQ(O_H"Е^2lRr[rjN#Y.=̔Į3*+E F9d%"n 5i2a&t#nS&c{}10{ wxssu ]coz_7Z̶TU P- 5NelbgdE;)<.">2߀>nh:ݼrֽn#w=40J5y{`f0Թ쏁.?ba.;{˿JtB>X,_˼!RD"^f=QTOG-ЃN,mEyKc` ڬP0W T'6 ]|蝱)Vm!lE~sg/ؗ0J2]򕺬7SGR7<̢Nc`kTJCض;)L^0> 몳"Ep=Mw4V3~e"Fل&@Aq-e4f2-Ľc vc G.rꬊ!;f-/2:HWy[-3 B3 m\?'V1Lhzˆɪ)>sUQ.!R XdW;8>-|xH˔n\(l/^+$:^$̹j)+R9+k#y ffSsaCLv#έ](9T@%NE'bׅP EcFPsl%h@^MāFǮ)NE\8B\"ӂ g>MaqZ".`Ґ@g4XџbG$+/qGG[-ɴ,csIZV{cayլfdԱTyv|>63Iw: Hzf)EPuk@xqMdz ²1 #SqDșQ~|:*"1h \U5G9(x1/`' U?|["۶ d_ ],Y4x-oG*eԆð(N=ޭNQJǂ몐f'JEʤ>^w /'7*=~2 x/WH&io~ }g8\SuV,V sބȁ< BT`#mۤ\ D "!/ɞTNH3ȌaȐw6θAǗW@˰eպTcɡt2.ěan8po_#Iݏ T`e*.<\p:g(ohO6|1f&ӯ*\+cs.`>Z\3$&j) &I-.)w.m|WS}R1$-[[kkFWOf!asd+ NyK@L3` ,bxRu]=tnTk icf}dV~pα'A޳A9[ww 2ݬ=bjm'6[j]P|#e?JbC]P'ۮbsoB}sw}rȹ*`4CwN"< Z6Ў-@ +K4W?ch&|OڔO=o2:e̘6+zifgTݬgUt߸rŝ}0%$!Ӽ! 5~"$Ow& y9C PUFJ-37C~O:4 ]Ǽ bk/lcPߒF=J{uyj6^o皃>^%Mˡ׍Q$ӠtWtjA+6B~K6X(<iT'\ͥrWK ÷рD0b3.Z}dLV5H ps= e {fOKvSC0+#!xo FN{fTf6eݱ!蛙 ܧKUvb<^C?YnM9i ';9j̊˿_BtE@bJšCM J 5+*̑<dF^մvWH8RӼrl綪-i)>`>^o 8s|lYAnrO#Uפ47v _&8o @O'<˦'X߬K7=ug*VQM,lN{/yq; C._%v_cmlOI9nmGĄ2E}lϧ͛p!He?.#Gyrr#ax۟^'Yip*E \ORt9HbqRu4E9A'TpgxG-At8 <5'ͺfǛ>HN(%XS-AΥ 6q^8U+҆}N^éƖ_ d:y`r)/0LGB"`w!Y9 TDg;^L55SlqXnI zo, 0B irWT=|& ''LJU(B}MܖDq|`p:u#kDGe'(\%MD䍮.ezK#H@Es7E'jjJ,?G3Tn42=<{Q=Xfx9Ĺjo#bxR>M^mƐUf dD&eÓBhRx¶6_+cEF.h@E4;o|T 9w@T -WzH@6T'?eWOs}fdPNn3f,ݥ)![* |_AѷTxE:E DCBg,<4!RpP&,EBlEWD\3vct> @d-G}w9S:"j@لs6{[5rlI R_*RFpv󊭮 lpH)s;_jV2@o2ƥ} *~0nlB/\?0,؉E3wHP7PUB`fJ{XxxE݊|T^--P򒗣_)vtbmϫ B `\GkG>l"W|O4 =(0}EEc4iLRKsq TʌU/j|FƐ[BdGv $ #//:3RqW1JݦbnSvc{MV|d'#+x;躇Š BQ d\i'mntfv{f"7 _>·#(<2G*-jH>EŴ3 +wP59P﫾6qtB7wVG!"`xYgd A&n3Zx4tnu@@~a;#7o[=P1jV!"Uz=e(os2y *+04^BY]RF؇v_ҭ-;m cZ%ȶ`vmYXyƸ0B`*8ӧ*d:Lii&\` %#.7.ɍB E DiiJG+0)$wmgɠ;\oyeUkcXNqE(K}{:FL2[\wy WkJ&\Xg ܫL,Nnf8#E;/\=ǁXn6M%kwxqkgT ;! {Si!%+.[tY] 1x&r쌉2e0WxX@snmP sHJ:Yom$N3rfA-pl\wnuʏE灜}u"˼U/剟LvBnW9>\]_[2(-bVV* <`鮌TƲWA!"dbAfC|gƔ Rub]:!nq5L/HJgX1&> b>|V?XKN;PJԓєO/ F8b$|iJd}-5ȅ`_؆RS`}{ΜծC g6^c !Q,a[lH3w|D<~?>0F8^ӄ,.IVj7W7O ,>DZpg/ijWT5f- id- f{/k,>u9(LR8kWyJmK,~ܻWHG8tږ LKb6aCRZAL?Х,]I/kYe,N&nE5WhcO{y!6v<bs1z_C 0CS>o5bRp  8Z܈e4:$X,J=w/gYZc22fdb443973e03f502e39ffad0b5d0f4455a3f29601253344229b35f7145f2143ac6522b5caf531 6ce3cde7225540c5abb96978d43647709608ce5814de9ee9f3c18d31e95e21587d791e6529d6938a