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  7Dt ]/]MSO_Regex_Equivalence:threads=4elapsed=537.845cpu=1817.124gc=74.292factor=3.387zXZִF! k]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl{n/їdBşP}[GGxHjc)PGAx^_D^evYCZ3BePN#ˆ'XDzJCvB7{T*Zldz3nT`Ukq5dtoHl2ng71=Kx~u&9X_ KWUUs)iXP!\)Yf`|nw0ew*]-h2Ot3\1dp靟`!dHl>D+V3͌6Zҍ|tk6O_%Zw(4jaT")ح}[6pR"'9Xtc`ZAr/L %6k[l;*lwCgE awsAooZao6K={f[cQ |h^&Rc/H#]^;8M༔+Ј,%2}k)bT4#f0Xr 32@dex%a胩 r_֪b_<(܏}>?cEm{+9?{@9dKd64\-PaJkW@PLSq;2֪26T\>Xr7}Zvhr,$+<|^צC La3G4V\邰 2HOop`1`Q3=0-x27[}FhdH R&i|^m.xgdusd2&v,~RgiڀyĂ%_D 7 MSO_Regex_Equivalence  Z9DZSF=t٧rՑ9bhV/$s~d:tf>9R;5%ny.>SDy;y{fL; .H?vՂ֑n5g\_m3'lwn_5SUSm[9&Y^ LI!r>0j}IC7'c : B+Pq0Cfƨ2Q_I"tavTns%Vw,y7L@4E?sWpūNe.u5Y,ZU u. m:{&dLjDukYTK0- [ͺl'dGs^c;*q#l[:EMً!C=~ihLv..bʡ*-~{2FhC͞qٮEOf[8-yԏ1aG<3-9Ϡ~ _+͕c+5j 13\:L8l,lQ5 \mMY@ed,ZxސLHAzc: A* }+A,$ qG];7`3{SvE$ N4j)%r@ uY< 8k >2d%.PJOYYc!C*ndX0[MI擡Ir< ZZ袈TG,{I\zPW;c&7ӑJtN'L^ ۝3Qܚ(o]M1OzYK91a [E@Sw|u+ؗ[ *+%&ܣq%nJ==7nF\>LUVIcCe[/,aM?ZuF G|>e]SePyo2xf)vtpW´RW{IpJ,:lgQ g85)7OyfO&@kf)3+Эs{fy|޹Ҏ͌clY8TWS[M>bPD;dsbwYˊΧ-t9uQRnC{! tfOZA|W~+D ZP6[lyA:5R=h6e, 5Xe>)l4j@2S, 6J,0i(Ks/t~wAau{5NTDgfU|Fa e(C;q;'qiRl֮5\XgʶɃ=!ӥWۥI`OJ,r\rPh:B'onv{?t<`1#pu<O(ϱ@% _x LepǭX3QKv``e&JEU.95+]QؑHv'LgQyLz]͔\r_Ye \6:fڷ7,/n7j"p7VrCנ:L2sT2{Zkm aT֑vb3υ=J mN FlE;i GͺK&*RsT4!9 j[~xvK72!>P JծA ٝ ǹzDosi0j}.#U pcv|V <lda a+&ď揄 fܺP;bua_r1/Kg}ȓGV4Ajod4t 4R_(}\ }Ÿ1dShR$Y&NǓj4/-)`6 ="bTq_)<%\~ܛ{$ 戙7_:SM5GhˠWWSNvçK$x>9$":x46Cz< ,MSy'hؾ}'Oׇ{BJn|JL.T,!8Kܖ|Eܸ󻸒t$V;{5y/zhfwi€Sӵ,S@6bM2Gm# v<3:3Sl "#/_4r?R.=Y_J@64Qt_rvF-= "g|v҆xr. Yj嵎U@m-b4k2ҥiJ>( 1x΃@DƤM Ewd<k#Tu:p_Gk]/ hI<aJ[PC6㭄0#+K#5֌%= ̦:|ЍiVv.> hEt5cP왛iÇAWH]1\>b?s#kh_=a!h0 RWfj]r"Mo|mn-/0|Zaw<&N9ocZ'%kM[bn>__u 1v r]vo] dhBA3`Elt,ȵ:ZRcs}%2nѮH*}eSR#-R%fꭲܯYcl?uD!zVW SK-(@E;'ݴFHy;ڋd_\$EBJÄ+.z\zLB湖ہ^{"v&>(i-f[9(5NF;ska_Ԛ2 )cj|9+t@H>ED|sg`।db (*,s[\jBuHYwHT빭=7>G^s]+AG3lR_-O]B$ aGU3l+K%AFefÜbA8QO pZb<f gP11E? ,,2а=TJEM3q=L%s6[Zܫc ~C m O޴&F۳a'_M"Hq2 ^\l-X5P]2׀݃S>? w4͹@PB'/J̎ h /PwHͭC'um}9Hp~'&GQۊ7 n˥XG/2)5gYZ7zXZִF! ]ŗXiɟFTp>>cP$qXLE}$:3_9zЬʁ+C\U:Ij \a(t V 7 v omq( $8B^Ϻ?yq72e׋4k6Yꪟ]GwexU`o_+ݕDZ0[l[ʦjhݮ6΢ܻ̃,ĹW$F|f[QLif>)2<4B Jt* isP?>_T}-UIu,%gF+&}. -1Ct"AAIuzウkh[!zS<@y+15gGR|1Swwh 4vC}F^IHw{E~בˢ:tXžFY~7kUFQ3%1%w Q;V;57|ֽL]h*N3vd_QD~;]Q f@ktv1~]bL}xeM n eAvCZc{͐ t<6 2bYz 3eƶ l,Zx+luf.Uym+wf$N$^ʇCx{Q& 9ZAYN|FGeȥQL?Q'0\mip+D)68|kqgYZ7zXZִF! m|]ŗXi%B4 %}/qTO5դAS`qBß呀Ƥ_(b j5h%7p Ү]~hl^F-\"2iWV PCIhCLSFWh~YD~)d`cDU ̳40O΀kxu_c<7zđ~_]jǬ]wU[ɱLE7\ (q[x20A*Nt!s!o(yrj$U;RZ+-nvY I_NyP2"H!aV%Кj7$%ƲB93)ӿ7Dc^QCxN@56$#8{3pP:)0nZh>T9'PsüiQgaő a5`~' m'yLUV>U3Z~w4s87.فT/6.}bo)R_uq#fanT!ଈcfMHM)wxm-Q_T !3=]?!%2]~x^ETcl({aqK?˱A\V9x :q qRu7c)FƀG\ioZ+YrOQ;j60X`M]w,$Ujԕ gncZrH1 )^*ohz؁܅͡k+nuÐVU_K> CcE##AozF<ۧ: 皝b۶6 G kS>ꄩubzl^6#BΉ[Kg+^8glkdg3$}TH|D_IG k.2$'oť'vbm UlIpF>zG}rn{r*Zz Q%>Ύl*Sc$3*a@VCP<`ƾg}*ǁQ b Y:H/ܲ>ޑK' חv}Xk0"G eM$LP9NA< LVekeA%'_.O\rbh߽%+Ak0 _( !tGo|Ew3w=b\ݲF !vhy2?G>qzS:q)Gm c-40fqdiKa;vWqlVK8'21o@ܶGwY?7tcRBp.u V]\kd .R;6HuH҆{Gp[uhV;,|Wߧ;slPJAa{b-HڥP~?Asc\wM:1 z:_@OfR-[k m)=x! Wv?V.BY0H/Yg\(aR2ojĩ 'm{~wy1 RĘ 0q> B53m[)%=T'Jbޖ"I- X`:4ݞ0FRK@]Q loL'k,E$2͵{47O߼2zHPX?PIHt*ި{yeΆO *J2fȶ?# gۼ+SfĐv0ï~ {/Swx6^QB7+9:__]gpJiM\h6%8Ɗ`֊Y:'%gLZs5(`*fl6!X+;X1w'ij4C2_k% 8jnR {#k 8atYEtE™dqq+H<ˣIJЯ di }]`Txm߄xAe0 }aE1?)[2ϒV~7\-H& UI>B֡)o{ *53?/n $9s< 492:>`HԠh[z7oo A]~TJxm#.fZp,9k$XglOB 7Tc"F$v 2ږYb TPEldw<\vP!~Ni;Cd$T C[:Q&^cFk^%m" ։$|20% ̻#']c+aimmDKiXTYm˵T՘2!S1<n"߅?B%}?wJgX]3}c<ĊϑĢt殹 8N*@9/֦i1d*}ߒiqxűmj 9jdlq}bҖqn/weK2;EkbT3F(M&?Ne,)8wgE+;ois?U'Ѓ*l&f,CV=i^uN@v֍Ǵ,@:<A "9ݸZ-"xʃqUaA߮lL^X,fqєN/j&6x S&L`OBFd8y~U\xjK':ȕB-2*'J26ӣN3?K$_>Dqfv]I߳r-)k` S&QSFx&DQ팳%k9+}\5\o\*,Rb7bF 5:‚9ڵ}5.!XE=/;N nOݒSnpX+,Ayo]3ڔ5 O4Y5=k#-"bg$@nqה=#r%n,)BoKj`ҿ͞tQ [.տ%mvl,M׆$@M& {(~]U L] T y7$OiLk^+"2/)]-W7ZwTQ o ER +G-QgC ( QBl8w z'! }cϐ?-`!PN(mS^;K} Nns%M*|b os=KDDMBk!bfav|mnuC VA*wW%K=V^xָ:=kCt,Z%O9Q毣:WCjlM`e 63R7ya,yCyʸ$Pl^ 5|D={~X*ӓ [hi\"}0.s/M?`_sU䤕X{ lB+ ݲWzTjc%;#R7Tr^SbʜrfSJ,Ƽ]  YTԡqAFC {,9 D,c({xm %{\*gcx22SīǥwDw`~e*/JU)KXk:}QE칥8#^;$5g=-ԅܰʑBȒDlsɛp 0!RSQqy-Hc"jSo/bYNHO9VIO1@}34~j4őzJK<p5ZŚ٢%ߍyC j$ r0mŢN/bLŝ=&s6DknW 3~0'bh'"Tpc` iY;rm/O:Ki6LT-Bp;rTwMw4}qU=7.e  bRׂw OIOAuON/QpCBO*bج9W'q0NG2Vm_Zޑw[ҥgԖyA93=Z@D"Oz< iL⿖āo(/yy둿JgQ\ԝU .>&fi pFҥl C;&V\$TH\% ! XcB1'©wQ<`e3_ViL_-^6=#kly¼0;RxLXD."烄hfȱpVMmw Ȇt1#R@*y 8<'Wƹl!Ca| z SΐpwcLC -߯B縎(xŖi$lU~=<CeS‚ڊn{^A0xˋIt:._$,C岽=k׭3t\;̟Za<jˠTt&)4 AA5 ˴@!6,b֫dbCCnt82|XN ;rO_-ypw\ÙZ@N}|.3%G8=| "Gğ9R)cir" Kqc)Nb~ŪUXmAo7sS.(Gƽm4'zHeqU׺YTT89%R^H3":FnkṂ,#bSûC>BqT+$A70iKX&U={y';-Őp\Lm3T%M/t4Z-L> \/0پAǪ>"9ñiSKKSq,Kyh zUk~,-Ϫ$w H=M48r %"T:h:⾉=2:8<0HT^hm^ BgPB*)5Pgmz+r <y lH}A~"Öi4sJMProWLh@ov6]+vG8v*'v%́8}V=wB*>Mgɐ-`#onqQ M~mo lbH3<& %>Ø^J¢;\v/w)2D-|*,LnưlbL,rsԚ7bl,e^ 2ecMESc#t@GbϨijd93A]2A2i% lOVՑA}*w{&V N\%!?\?&Z˼t64œ0kIJd>bw2>3Hq+DC$}y5ի k4uYs`UsY^5¬D.VL^j};{ P8~pJ:\7iWxcWՅչrB6 (BjI.LEBLLCmR֏M;M?LnM%z`8RO!A?Sn?0=\q wqGeSEY3U'V 5C'W.H=6gꍼS-ji?AyQ}J, >y-.ֹC)=d|(f63d࡟4(m&ʱgT<oaZZ '@ n/cp^J2ocmP[ iulԂcfGyr.FIj㫛VhMh&t*.@]$LFc( rxJY1+%'$0B]7O|A\feP4p !!|xޭ`nϯ .X9}EekOIf}ц9qedKz+JAߜR{y,4P{7af  Dh3X^s1)md%KcZ*@2RMh$aKMgl|w SUÎw(ƨX lQ&㡶PYMpj2@w;Fwxcx6SA#sZD)A+~f4g:H}Uih>W(􇔪ˮ69 GF^ x%oIo>Y=E9}zD_uX,)ʧNĤ0:a&dkXQAֱ88M{T!.(+[sHtix,1.j"mc$GG;6[8`#]?Ga1U{ wa@Ov1hjkK2BEpaWR;8$pvEu*|N[4kHB?,dTMxf<T'Wя|$T܂#egҎH]){cl!r1i $c'fCdƒ[SE>3#vw!Y-@bA܌HS^>|ݟC5&U)">GnxYSÆI`2U3KU _'pjL;z'"rkmNVp6TuWeǞXJ p9Q{}SPְiY8ӽYJH$ +J7o&*{.7f Pa?3xD[L5#0>&yZtB[G(O8;*(ߦ ~ "a?!ϕ@q:Mf`%"*?e͘޿Xjtίc ckM;Kznjs7V 쟜S&){g/KI(ܽ X_jg^avM쟔>Ha.ί萉((ԆY%5i5w%ƩVPOaʄoPF XHNƭJixX}a#1\%׾a?¶%D0mT]; u3s,ȶX钴Q_ֿykQR:1 :rCE=; #pz i|o [Φ!'݊?'d\N nAG6f 9|tW4ӜS=5FIT@^C PCoy<7TMLTidSeYHr=x'NG! *R$QO}CL&7 xh1+o<[K5!(=X }OlXr0-o|/U&5T q-)71kOȭ댒GvU뢛34&*A"?̓7gzϱV/_Pܞ^3۩T}EBĂϼ~sM6So[Wќa95 <B,LMbWM!oM/?Oj' 'SRn0o!g>>ܘ=ZoSŞ B*GlTRLyjOYH |.Ų$ &MOvpR_L@/i?աɁ*qf,ЂaU(Fe6Xx-AGihX[DompAWkty!/a8q0LN;iumn/NҘ?I'g'=4|だv(nɊjU9{PBn@VPcEi&gbw,1U v`bkCj\(l',g% tsԥT(̨$; S;%\>)[RF/a6Pʋ̱NP:u: aޜ;72H/GqdV#6 %9-4&ZtrrBwKZWp9yY_Bi¦NjoՀ IYLC^'Z&Ha؁R'ŧLӄj?2n9 ٦ut1 $uz(PS<I1ԣoeAldc8VJ,1klV8{a.I\B+ ᨓڀ, ξ?RIZ+&V`iL| xUTɗOlAtQfTCerQ[\4~ݘ嶺yQː=u%%ӣ̦G{NSV47]C&[X> E|XT>f?o:2MpFw"Texrp߬*XB 3YP o6 Ga`*=5?z 'RruFi<-P_IB+B%sR}^jjKeY-' L#3ƍbr@Qr eUB|RۇRYwNpoIl?,m"ԕ/}v5HpJz`Ue g|#UC̵wm꯭zU@P; DDCǴ68#V$@ӼLGb5 5SUeyr!sZ(Cv>dp>8+O3@"Goz)fw]2 m>՜&x 9(Db!ߝu W(ߺ4NƈѮU(;٠:7* _+^ D+q&q8NQ3 ViWFai?Ar0ʋ1{6g%toDqV9$ ?=2uG꨾,1CuT@DVNCOIUV5W Q$_;guK'dA'q>|=Y b-IwL{%`H>5ddaCHW&ۏk(~ [El"VpBhcGeuk3!b5ڃ{b#]߀5"9ƐտDx0u({v=и/yZ.`vOr"XUU6ha+b.tb3U||PP4AMXJ_F=OsKQ@vYfb+K.PU ̈Vd}3'@%Sa-DgywB%REJ֌!>z?ZFѭRaW7z=+ԾL D3"e䦯˔LM\sJ=DQXJslaЀ.ؒHCbpdnX`S\@ҕ:4(já(^;9J %8zl+ qARXVUa?@5pּON | @sRMsCHBùMD `R#y\fqg<ڋcP$l$Wo-7s8 *=5SS%RW`:N?\Xc,ˇƔl07>Jpzp*ջ_L6>{gYS̆ɨbB7&-DA^jH.O afA"hbV{dʪ`*^-*m9‘rip+MygcRʮp) 9bRW-Fuh1cP<#ᮆ+($*<6̭vʜߺʛX R9a ]1c+FNt/`,R,Cke]2<}NT]:1CyϤŏOm=*^[XK).'v}%;Erxk|98َS߁HСifF@-f?`VuqL;Uǻb|5f*I_RwPU?.w #yWAQdғsJ&h'5GU\5K:,;Dm;hOژ8a^?H 4Mѫ-&qko $˕"P|!hi^Tƙ$EeI`^jkGmsawϿxz 4*g}=|cB&2o:G띗AxgQcZSkm1o/@gq"D0a8+_q\P5qv$mpbꉀkbD֦8DRR(Cs#[go E oyCk=I> .}cE $pe݋Q*iB.\ x :/Y-N7tr)F~K_9 aP m380k2Mz|`teM#'R=q22a yJzWX8|- 8TRd}߇B3903߻Vx4N{ hɋQ"Ox@õOqc!IP0Oxf`uk>~whHP|OnL$@v;BXEm)nA-ɝ$^WA`3 9  FµT(?RkW\Ig5?1.Y#Oz YX^~.hALxݽ7(mWU H۾DpTHi i+;dM'ѕ#k^R kn$O`L'[m %゚b[u;:(W{bK26X$sO~@7+q"xa0O/7 !xgUD ʺ8?aR#{Qy7 )ZYʦC7AG̤T>0A: k }J]58wء*? % lq8AC?Rŷ~ y}Tf|ObeA]Q݌qNX֢Ʌuu[ ݵST9 C]=z0zE`rsJ<[(*R@:mt&ڰjg \Ɲ_T0!AY/;Y?bFL *.GOxOO(bwr_BAm •e e,ۣFw.:Y;vW#4\$r\#;jr֒O@x(})=u'uACqU~ 1r hW{k- Kz˪@)REvע#UM=/VH}2OPYx:Ʃ|@ky2x˝?sv/aTp3}Ucvnp+_Q2'T1mnMrUW}]+$Sm R-^)mV[尮XHg]i^>طW8<^+ )Dç[7fspӚ1`2loO/OƝ7D'm,\ʎ a޵u`s8 "l`ǂ2eE?NPfp, _2"Xq+?uݣi0)]C4r:pJD`Mu<6R^kTzmyhOop!GnD2A}q0\_P~eRy/B?\?Kb}ptIΰTb" yQ o*c3V]<ל$IIgl$p8[j=SJ A6>|u;%PsD.,iTA}iYouEwy㼲nB̧sVȗ?ɐe?Nhf >#w (+\* kcgԭ-Dvql¼1t22˭.H/tK,:ve/nrد4g x3^QQYUϔ bHa)[?z^W%7Pe}$ε#^"&.c3ifٸ"L31ԑyLorCcpUw便wl|/v׽V W=`/ZKl @E'vw۟cq[ra7vA"=kp d^K>`-\rfF\LjK t=pΩe1 YoՌz]SV\>U_O/ ]O).No!U:NNsU_u@ΰ4x2FC^ϿS>MzBp-Mg um7|BauǚL"Oiʾf" 3Gݯ~5ʿl4SxA)ѝZG~F1=X?HGyR*Vh<'OڈK羾 _hDrya[~TzM*&4qG*yrl3 J5R5vԽ,/T|:Bio{M .؛'tU0V0xz[uZ>i Yabƻ0ob8P\s=ßB$J~P5<׿uUX؛2k4c lGh3Z'L`rG p.b8}S!Uk+@1=K)/Jr iE\A`uʧOI,i]`@T7U:?!D_d޲X2Ǐsfzk_}߁Q; 6fwt 70f/ٜg5os񣒘]Lt38jB)`rgFMwT1.uMS8f{sݛɪ xAPis ξT*'K^u>l-~>SYI"FVe ݇t$7Y[Ҕz 4K%^d7/MQ؀p;DΪ{D\n9Gi: !çX:]gさu`z؇ 2q;aa疟C5-QaZSsm%%`W\*dHH+HE48|9}68AWZ\=R݀z'o[H`;{F~359w&7,6z3ި=_HU]w TIpi3Pzy>m0V#;Up̀5Jͪbj6F`qͬZ ` m."4XԵvu4s+H%Fm> +"֗dzMڜآ0MuI"³5.Rwl{t<649Nܼ@]Vի!Rs|G졦ƻdpl1b@k\Eц€ [||l;g6uǖ)az%לWex<-)q[;lT!S"LG{'XB,r(뢷;}\[Nr:4Gj3o6= eeiM\Y4+\GlN-m"O>tN9m@aG hs M[1"&|D%(T/MX.p(%H2Zٌ+X2FYAi>a "ZRX%0 $aOf[QS/ qnE}B#.ZoS}E{<~2h2Cј_'gϓ]tG6NĂ^6T e˥]>]u]v vqe`MUdX7b%t <F)2Mw#>ÄvcH6"ܺ)Pfn[[U\[۶+P؆H3 ꍷWS#t: djyOOk4H;%s'D0u6U!e@' NjaX̲{h ΅+qw( bsvO_?lvҗ~͞ 3[t xL VnIcPa'L/jb,v#o@Ki6 6tY/]`$Oë/>0"٨$ߝ$vba},zkTxq dC?Fj@JͰ^=Ŗ H7z,k[0(`%6}t!<44f!Ek2h˵4I#JsQ Q.ih۝>$<&2pIvs7si+9`_dmxVЈ"r|2k>lrxd~Ԑ%&6q1E%2CΔV; eNndx$z њrcRSb4W=ccTf:"4Csry 1 vg?Gy ՂלԑL(HQ>۲isU5ŒyVImR[/ $¹DP t R}  -:q8c-qK}xkWSd=. ҋ ݡMvJj$w@6#$qD],:ݡ F "|o1!=+/×#â,0}dE{5.cBlzaޝih n)ii퉁ok 8EEǹ*o#KHɖI`\]-!!xO;s)zmOxe(J ^YȊr!{ 9$+ۿ}|4K-W y(F"=Fi33Zv;uy>va5m@ Iz+c}l˫:"6P3])~:W*~bwII]m j)-{ ewzX3 Q PÍ9x_mস z&8tNg 9Q2Hͤ.N>S`XyCPq8H[?٬,K9Vop?zʘjɷjw . `L)gipR; ~dbx{-jZ[xLZqlSs^e+^$2.J+-#*&,ؔ2 G ji (:+-h ERdYmN3^;?Um?8ҷGI@ , O{Nn V"3x{=1=(7fTQwmvFE:D3 א]h}(Iܣ;8I7sܜ9~/'6X |c]xFfOwIy6}t1*3VGf흤OqAb~~RXC8UeOBLQm|`dQ`D"3m;U,|,K'+Il]H RӊVjAV<ORǫFz 'UUE(^o&ի'>,yq4N =8ĵv4]$uwaRȥ#3םo@\x*Vl3. ,TX/nGۚ³u%yh9{| ̑n LLlJj>_0zSD9!&x:ᗘ*"xpcQ*Q6}@Y}Ļbͅ3oe;2-aF5OE,j#T kЧ4aul*|NVs>E`m(O/E{y:#vwf{t,M}tS5GNK HD{lWuw98sv2ƽNt ?y*IH䕒-:-b++PyL;8 /("qݎER/;VL?j 7>O/z[)֛llᆁgbzWIS$'k)kd\ph-% kMHޑT e0%hWe}PKgkS{:7W[70x7Ip~u㤉7ϗ8v=Q }1(21#?~"㸄aւDi)([vaRZ1Yefx<t8B 2Vm*o8cs"#@BȣQ}3Z/;.Uٰ?1Z Fr瞍ƒ:-WwҫP/Q śєӊ/ԯ}uI ytM7ݮLАrц[l(Tz0QpZF=1޶0~9j SU0j7Zx{g jo6b/24&Jcؖ)V` (`V6M:N/Z: r+N m/M*7@rϣoЭZU3~l.҆E+OReyGW:M%k";3F*& Wd{I%]*6T210A.?$qǓ{&p2xPw}8Fev$.’ \T# A$g Xۂ1"zhQL ozt]E4q&|љs4q Պlt }c ]s|maK3&B`aO/!_q !H7|BN"@:o7 BQsĢn}] &<2Vk9@Qݲ}VK, p?B [`ʜ{8>I-x'B/vmx%kBa1m [RT+mMwK,ORD vh(q",DsJ=!o#n  (ۊ\o)fD/}{erG~p+g^JnC듛\)`(赸2'GJ_ooYK&F|Rz?3K|Auq:2c|;֕M;" ca SPsq[Tp9}>G:HhOyuk)r:ҥ0.9s&\ʱDǔ:x YM}!8'U_#Ck/OS$./yTZt"KS+/p(rdL 506d^Gt3KP,]&Ynx],+$YuE]NGC==;-4q4H*x^M,o$JFMc}Q\ ;V]EZ"R9K1}LriAJYLLHQgС4ɦE0$"$̶?L*{:N֫2֖:IܺkI֖*ݼ&z]Џcr6.LQ.-ՊGm ,; |a7nf1@'8$m\$*zo)j(%4=vHG#%tJ4y-^\HD4z,"io嵪mkRS.)d<S },lozDλfN__D  ~v$\ |]f[S,W/, TMd`pX,!lwtj +¤FIq W5t4-H|Qj)+Ŷ U*, =x:}=mǒe/=>PWb1cUb@ľ^B0hwo#[jJ t#;ءK ?b6m٣HPݰܠIY[!&z86ʒ&㨜/SC@@Xě' *z(--Bi):j#ٹfҽP/֭r_. LJ;jC%/89 ~7&@gHpk],og8JJP5W;"C1)2h Zw:y"г$@F |в8t$ZsNdjo*Kh> }S<\RzJ+ȸZ+o:RV, X$k]F,#Sr:(޵YrXUK;;?O_:8}XMW6v~᭄Yu. ;dTs5w8Pai̢U&9a_=2Xk: 7ftX nto><"hG՝ t,rRDp1<֖Ϗ| 鴽gȢOW'q¼֕Й~X?qDÆ, 2L!#$,+y/E|Xex(t02ͩ'rTU&[uʹ@jinm|3Rw:Qy_ x7_l|,P5ѧy^mf<T-m7q!jb-%"䅫sU7XVgwg!m5Z6d Ld)ֽ:,Lwx٣k!f(04Hߐ[ ?>n(S8&.`/2ꈬM2`hz zb > uы&"j|A̘X [Ԉ!6I'Zf{dzx-w>y[|3|f>DXnS\{ݟ&@-_HP4"X\¦@MW1 qc`C1x6UyC`C(5Z@ROƼ(m @nsOl&Xu^?7yOh݄_%rW ef~:5F큦M`K'%CMMKX`)T{FAӶ6LzVE\i!g 8L޻J;EfI}ƭm _=D{%Ry,`ra:GdF8u F-}EmET29:JSjeO:(9uU~N4m85zo&:F$vs!g\'2aG (s/ሎď6;Tm qѲ_B6mQM-MU}R 25XCrA"G1t`RZmf棼 Nlij7՚4mZ`E>T4 .X=]!g:MgD1%C %97E S[D@L(͙3_ B'[t:]٫: }9arJ~\SY!hl^nݏK.R.H++(wLP ] -5h 7l#i+owV/g8 J{p,݈j2Q΋ `j9K Uof뽝DC;lذc}.Յ 3x~]EEvD}Weq]HM0of sz<h^4HZdȫ.iЁdϩ䄑ebl֘A_+mP,nf ]`#wޚQ`/\jbLK opy tCI~ UIU-(2ǵ3Ge'{,b!C萨o03mb_cCr 33mVv5w{MP0 't{Y;yZ*fӧs^XT|E >0ݸnv'KOgc ekkwBHYkAMmXgZW)#lHPaY7%fH(M+;#[%\u*Df7Ş{1*|,jE+Bp-jSI݈WMAY,i:1Dwg;lE?e)rF݉CD W|ccx: :i6w&Kø{aR>r)bFr]-I62a#JZkAGM\fq(ӿ[g]cF)[Iw#deyO6p7Yؓ+qyeR Oф1Qޟ1Wz i t^B!5ZB[>hワ!%A{eV7671 51JyR#/23 v8d]G]\=8X{]wOwƉr$4IϢ%: L۸HU.)"!(}~3HgGDwxïl]V@WGKO+ SnZ Sb2R+PW `'®; //gm䤯e1kuҁ;!)XYɉjd9ptjm禣3u&kF?}  b.}:K›pXV^촇p9K[/'Ƃ.Zs(pm=[janWj,4:x&1=F8@/kW |$*, g━0AyyN[٘iA+.9 2*[Sam-tʋ;InL`LS*hC6wx{SNv}rd@˒kS!89h<~<+t(/ CRfԦ ,ZAGh}595zR1ޘi%c&': aԍӒZlY C\}j J|I?vM$ȞE_h B@FESgE:`h>!8^AM|rG.a.уpĤ,7.~Vk>.犻K>hbDoZ1, %SQTJ=?]&k,Li#z?RȴKtyR4i$G),8aVmd eeO 9W#ƹ@5쬏R-3&wm[ۜddgE&c4=Q6>NwGXk/ÇeGeTD9S*rBl 8_c#REhAFfUveιGqe#7qnPijN ] @jS'( "ָt\lj*n]_w'dC Pn9wWZEb4$Pppjܒa4o* C`v3_vIu#N meٯ 7[p,k]4jTF &+o!]l)i6%Sjp\TH`3Mbcvy:9؂%ĵZfO f7Q4"7bFnYLMS7xԥpTwi.m845-+"VϜQ2C3"D3i~&-_;E(aTy֙u_7_qҧK*R.\F6SU ' zeK@>_6&..|ݹL(ovj!ȵ!<7Gd/ft,bF%J/^ACADw9RWGyꨌGg+]]6m|7AsaxS1'F{] ^ot0h|i :ٰؤyR1]Ȏvl846 R#T`I^\Uo[px3N1ެ.D Lrך2Vۓ7&R`>J_fDL3;捡ibnޓ7}K (?B_ֿ$rRf"Ȼ;w5]5. xZw0Vy'z·%IwJЀU&v' _cEi7ln1U|E,la<ݒ[bgÛ  PT#-0U䲻gRʈ Ľ NRַb"ij 1:4#I"cd1n B GTiXgTksFJؗp1LATxm58̝oe{t*RXt}?I\;^5aFI&ص|C^[-} :6aU_+;=vdRfLEcU6/4kS> Zl}΍$((KMR|Z T6H~`iqOF_{ciPs',j/*7DYc$gjugr,T4LZ \(4Trg;͂X0H.s"uH) PdLJ?S` ORl_='Qܧfl<NJkѥ#;v}F#]#q3-9l1:5K@.-oW>]