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 L!D\l ]]]HOL-Proofs:threads=2elapsed=922.986cpu=1611.532gc=146.196factor=1.757zXZִF! a]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwba/D,h d_ƀ}jc]HN>>!W!8mfbUg{l 5ۆ{pHeS{QꌆM֠c?,APG Y8ըY3/ IM`)& G$ :J =.M?10 75ZgYԵݹYT Entc_Ng(3􆼺naJY}@"4AϿc+bӌ9 ҷTQEWx:@P<yŘK"N՟>p]>R-82f FӀ682%Oaw2$qўBY9b+@>|+dҏom F2 9D&\pQfbV E~t69.6{"EpuN0gDA![prXBW&Dk5f;LM^ &5LB 8iVzd~1Bq{1B0&-U*)B8 Cy{Ⱥmy3 zKC"%&ˡY)еl_5Idf Dv.LataE7| Y}E{z `ҙϔѩ4R5{t|WBS׿6Ʀ|%׈enzj4ՁjBs`oxⱎ*NP l~ߑҍIx^[82ޜ(xi (RX0sANB<-֤;&pjc+1(s1nr ThPdn}@UEkjx"fP̠?ߚ㷯5pX򼔁 S*t}ś@p?z kcb]y Yݾ'V.rʞdtlhѥVfXKEkdAړǬ#ր eXDGw,$@1} Ay( 5d;U.yLϯ5fB+9~Xjx'?ZrI9zSntVt6غչ:Eq?5P` vPorw1..1M>⩕x mo^L) R )1mbWquÓ{icc)ꕽU|f2!;]=ihz,sq`z SM##!k=&S8(ıQ\ӍƅRaIّ9R%"&39-Ujkwؼ!WeP-yd nǣ=\DPTi_U@lF_d%1aELAJ)Vq<)3n}Dg UxX 7d4{j`夔tEKbj PTU;k0jوKGHYo_|n/WgM&ԒקE_%(xjNH4Հ$[7E:^F}-oA5 H(F`6ګn[7( M 8< Fju a׍U)vV"Ag꾫'&[^ :hʾ߭{Q- YSʟlDܚm4 9 ~V[4!$~cr[MYt7ܽmwbJyw.Xt-ұ TR'ئV\1'Q7<3T}IT^qEl}}lڝ&iS 7Q%ުoQ~C%>|4U41K '̯L"jZ4 3%-ine߆xP_0t(q7տBپJV6~EsIhrg9[lB)Rrv$!?q@~hG@:r ǯ " be 9kW$f%ͽjJ́[%$8iZ0c(jk=}>F<-ٵUb-ct{݆ߟ:ޜ7y!*QIKpAe'@/m|n?.v)Mdw:p*/B뀂j‹E5}O&0إa%uIN:"1n5_fyQ_17|`SFWh6j~j@>xڰ`9lUjvH0F' 5T,qvi1qltR0Zbt &|CN4F(V Ew$#Iڗg ͜vCn/W[vQ_X L~G6 ߚbl3zTVJ? tF"k?)a_4/U'^ b,HL6_C%ly4=KF9I/-Y$) ,m8 }rÿvHel^(/BNp}[$`Hb-w\ݑW  4/.u|ޚU7(] .xsK-gxa> 'i!|6`~A9.Es^j't O[xV]^mV "y,<0O$OTRV8hhw>ȼc XNVV݌r?>i'pIv9;DQfߛ H=x F_}ͽR钻`yFČbX'PqbD5 )\;}Y KgwHT̑^T&nhS'>>Iɋ[dj8_wu]uՃn2+"0)HkxJ/]ztӛHx*f c~!wmQ\^@l >qhPy͂B$ e^.~$a* ʍ,i\;k3/jf&W<Bz)y.ڿ1u6S g˕RBI'KNy6 ?`M[p<,K5IN<X`fʥ mAؼJ`R`n*΀'/Ld]EjKַiH9辪pߓyAI%%~_Q5-lrP]o3T? o]u;t"*0[<0cB;mlclW$nE0t Y-)٬ ) ]8rBgM LP8h6;0jJ|}`v^mM}Z;3i"kWȅ yF1 +r: ׅ_PoMv ~4&cQy5tO(A Ƕ%LtTڂBG}bmexҀJ79Ѫű;7Hd6Cͼ" vQLD:ڜ5+miiC6VQaIJłSZDYp[j~ Rku*2ؚ?`k|[USag6hy^&7GN!83v{ad/&e"+IdkRib.V>raV{A]o+sN5w - =-DJȜYVk7>% 8N}?;\,=-+Q(k5hFT#d+q/L-41q 9"r9?GtOJ3OFģ|YL*8S*(\/Z|1ya|Z RRi?Gpn:FhLoq52ye0.N??spwo;ѫ ,anaogVxȤ``ǰTB90ZBO2# ?Jϖg8U;)3QO0%_֝χ'Ѿ@╩|pq^PR)i/{ gYZ7zXZִF! T]ŗXiɟ29aoʼz[%U>EM!!*W*FT\c>5AYm$jnzwju,1DlRǮ} {&TqDs\\64Vo/vhkxTCiByڀh%rǙ֣-{J>gHظ b{W:_tG;$m+i^ߖȖi LΊanFv9XJ8iUGfq4E;4$bF9exZI}OsU_䳐.D./>H=<qP`#%? x,-.- ӥ_W 3L< -̐f+}g6;?9)XfJanT_Bsn 5\`c `KOVn.u5| KQb޿LrJMSj&ݔxvkm*9FNn +)-}7wO{e)|R*6!G\y0AK̚QBVoI rhSmI|Y0`esvHTCUv!Fwܼ E"sMCcv|B:d,&1#Uҁ,GR/`oB#*G%jO1eQ #?h1f oN7m_RklOQ C# |F2]6Z84CBo釅`dfL&V~B{W1jRzaZd,TNw$WXY Db:\kA\D 24هgYZ7zXZִF! e]ŗXi%;/N e~n,̢xAGywB'p#,{_;@vPjt粪zz-S˧&{tXudut3V=3wbcӌK3z hVG$^7{Ȗ^ _I[!l jvdTt.vs8RV^,ɢޚ)Kf[ydr/m '&勵`_p0Ih7?fD]K04ZJF\gl z[C.QuP##TRo({^9<.ֹdLb bug13 \Mo-iZB[)K[ˢ[Q-w|lJYHÏ{b7[C(f*,ON5#;BwУʵ2ST+a p 3 ~+֛qfxc[DIƷО{[\m ,l/Ϋ iڇu>_NEV\hf&~H>X#<4A4f_K?0iSb_:YX[ l/2Co RS"$"5g]mYJ7 9-I/h.6"i5 ;u)[wqzC͞ΐ"\ ~SI,ѽP޵Np J!~PF³d8)L~ U:Ȉ+?i`MQrpR}Pc1\>ɛ{/Ǿ}be@׉7xTqFKgWo;IEQ@,Fc%N[/0OMaϒ^f mNCik]/'[4.MZAT{rwU#@T;˜Rn5 2J׷ ~jZb>[R"*`lտ*\n4>5IҋE"`\2^ 2oxNat?O̥Z2DTqQv+USpe@ሸ AԚ+ ݵ:&D>IlhV TM즳Syrܮ샺 7FB7Q14Ţ*%l_8Z &P;Y?~Qikۮ k7 #*6Xԝ?}W;yE .!Fy>a~ؕ#޼0%d? B4rI[vpY qDr/vh.T8?Ǫkv P>=5#rH'99دkVw=AY)Q%aV@Wm<Ф@PjBZQ@M&u`*?*sޜM5<|Rr6;0"R#6X޺31/fk'JLۄWľf`.f*ЊhJcgriڼU֙y/TlDŽX}HLTj(M}0ж,<Y4SbKEgMA_d7 F)JdznRs}w b&o{|y~zNEce%}o@h;1\b7ĦENrj[CuMQznYiG6䪑;nkqA8e"5խEt*Ƃ I.~?(B'wR\Ϻ3t}x Z ?L+m͆E93~ڰ &2Θ`iXU.Ð_Fdُnvd0! ၣw9"Lc^26?xNf?#.ꔎſl'Θ èD2lmvyLϑgA>9^y> QJ51XǯrR+`)Wj#XGX7Ї=7ۃ% `ڨR.SABpK;.q虢\;ԃJDW Z,,d+M ˅A$”8CgO@4l脮bݓy3Jf5qjczO C Eѭ8mw>+Ky0  5ƞA\rSo&uU#h:6/ݓW_R:x~ᤩ!ׯދ.j`ۖ㙩}4 @*GE|-2޵rW@Cje!}9륏hh[Z-nvIX[( M*JoFzn{쐴Aw$ CozrHk[!J!Y-2DpF#-]FV{٣r?)/fĴ`b:x,Y=SItD|h9 %朶&5¶z&zBӍa!~eB6s9C lg ~WSM:X/(iL UqHVBd*kxhLrʶ5]#’z`| )ʝ t8Rچ -&R8&I#}^]@Z&c#8׭5ToBW κr .D*4:&GhPG7KDV~*SKk[qb}hP X,FA5B96)UPLa=;|Uֈֈ(7k'؝`2"!82xrYexlō:`=qᳮL O ]?!Cv;񎯤B+NxHN Ŏ(Hm݂)vHНv:*+{`jY7 o~:,)>L9hڎ;C8:fgBy,m61Nu;*:eUg+qsJ:"ҽ¶!,Slyj1 Z?#P &ܭүYz%ػ6 XezW}G$?P]Jvy0 Xv!:({="~aVn>,@p&%b/@RsʿTw[ZSʊyW`Ty{qď;XQZp8r@d "Z_嶖y)iwXzzѮ4DV8 KR?v.Hk5ƶg"ľ3v-yx9XU.4cYK3Amǁ6@/vCSy)"U k߀縤301ZsFSC/`xD}e;"$g(D( O+i:7mܒvFw!\zv/iXAW:;-՜N膘-ܪMnC~:ђIJֵ~ke'zU@k_Eo;۝o V|W׃œy!ca-2G <ӵ[`>Gg)s\ Zq+g]$p!glU?!Ev34_OLf_tylIb0S{O (6YdM,a:3?w-Gv=™Eko؂;ux4 #G/x,xna"!4&4R8rYZd€w%qt+O&<6xVn2k db{yqHf\WJ 1 wYJ1Z0{=UB8AaW\˽UaoE 6 ;[=/${X7}"E! $߲6!)sY[*` Ϋ #<މƾ#nAOi% -G+d?Cz B8}BͬaTqԺ.dʢY{I>"T燣MĈzA*0@$E}!aG e1?05F z^#5{H5 -2+[ȻddXS!)3fC%| @ pϏf5\,rcz42]lĭ_F%áżƪ>oa}cw=]ЕJ[q54iW!BmVY"p2Smv')86-p䛨%zC^5+ tbkѰ_%\XmAVP]Xx%h@gWmI!ͣb4Tgƺ#NI°"`z> @#G V:Ӓ<8ً: /g;&DM*SyxZ#;7*0;W"ߤJ+߄-L/3) _eʐKjZ#E6PR`CV'+00o;wvYg^~RC$x0"^{ ,g ?!ǴnQD\  ;^?GK#e?Hr&Ъl 螏耉G+G}釡v;cNdYSԊ@k3qF /%X4u6_ 0ex^u_]C] 6UwnokEIa"Zly/$5%eC^{EyyI;Era,]pSL`x{ǁm}&/G-H>'c)`ڸy- $(QJ6jRR <-8#É0n3U13^\JjFk.<ob,_CWTRm' hs>\;vMwB q\yYVNKEH^5w0F]+֯sӭ:pHDT7h3㪄CF@vmO?ݛ G(ڰߺ xUR_ } AT6?pTquNԥ M"ra7ll 7|~ o{ԿNfgk q$ꧻNlܗV|d-А_Iy"3Or 2NweΫ$xxm!9 a g% ʜqOrٶ 5 ֱwv<-\:=a|ʝ?(z}(Q7KCȁABO)ߒDs7(_9Ou-mQtCW0yfd:I_k =\ !Of00a[;/c0ȞҮP[u.] -`ywrgcP^ϟN^V/( 3VZJܯg HaLyN!"&`'Ix&x4q]kC]^wtZ1B-ܶ-5>2*Z܅yaEp8CjbA?mcElk'*'h4v l`Bgbtln˷vC|I<}h9^/0F1ۋKy7*ڶuߙ6EF;s<.YaY%D5vē)}/(EQa$ʈ$v[R<1`*-CH I~?y4i;^n6j˱~!W InQH `Na-dՙ4W$L4|X/@j9" #L87#%9]y*`*-Tb jPջ5F p _Zw}?u'p/5C6YcJ|;t"ywχ 05A8ӓlI˦2ٌǜQ,&!~1fR4CWiG\N tL7`ciMe"?hֳoÚ󋾣(uWtdysb-7~-L)~nn $2 [Gqf/M U&60O}H!iRo-Qn<&NIm(1%]*{Y`>Bj$ʰP ƢE1hhJ(Q>;| `P߃(  ~)EgC""5 X̽juJ!v=>MnRtN/,K+C6{|wsN_L%ZBk 4D2OkVrv&oBd&a25Ϭz C`b:SP4"qM{G˻{AXe33![}}{~XWNEX#>7KXaW_yTNv04A1_%C_.j$9O2MNW c&B0>ca:P)1s x;$]GpEЂHAjq>Hp,ՠQEY&uz֝6yJD)}?Һ0Bʸ#1MWt QUbs8;`.DtxGqF/90J}J/X&tȒ)<$,PS0]Q2_kOx&Fu֛/ar{5&ndg"R+X"wpݭ_˚\2(`>="1;?ٺYD䗐\׬fڅ %5'eLj"qAGuhPI*nXEE:*;1 YoбZ|>]dk] 8%>FkO>D#(YM&+DbޭX^!yDwz" "m6eAYRFN7ji_!v,Q9JÅg-2(7Dtk5H,e0g]|i+uOBC DG--ypY!I;[>f :I417:!fۗsjz/e9 ku T`z9^Ui,&?zS1<-rsµNhKcVbЈFo W%Q*%}|*Gw,$A'*ϰ2R/;hםù R&Kc/9!5u I:&OOq0 0PcOg4^r@dF‹@?л<Ƈ1Yɟ,uQ)B݋)i-p<0vU9<ȱsDν YPQl{*zX/qFFPy϶>q{۠6Sd@p ,q'dqp)@9} >?vg~\Jl\ 6~ffemfoڱ8HRo!+aIZ'sY//VSoP"s8̅3'=~}pTu!j@[(/ܣQLfȏ6{uYt7 .uR l[/LݜRnvWh?Qn ^5UNe‘Qnq<Z=OOIQ Rȡw=mőVyq(%x*H:" !WW\}wiowԵ{A!2{=aƞ˜u@zyhؓ@jovY)ފ=IѾ Бwϸ}w$l\LױY-L 9hʜM>1Kȍ93 T:| "?_RjǪ{h{WT> OTKJGV멧b!Jõ•3:w7J(NVd -,j[5p^&ׇ= rE)ޕw5l2Xp ժ}Umdψz yyw@}lH*y\u4aጹs):ajAW2It{o2.~>hVAk>ۢ*r-x+>1ߠ+$pLRD;X6 PШ+?\7i o0UlA?KU!Gh~o h!r Ԇ^2$MOB]M?vv \,$YN9J-'|mpW[Ov]De;אP8'p"rj'&T 7jZDuzHZaϯ-1ϐ-P/.U%l,>Q !4֡πp2 L&zWIpWHFX.&vdo)B 1v4nNT8,SSE/- ~)JDs|aR%*]\:n^:f"I3$HץCN;aSH,y0$WX۸ cS|@YrZyŭ 8r~tUlrE>rxn.ACی7T:9W|%YFZchk9G)8 D$9D`sIh\kݼߩ}'tV*ŽxpVpABKoJaIn~B>H:iShA% ={I\ouOɮIHyLrOYٲ\q=m6TUPKfZ(Y=5կ!h={Os fX*2-X"+4 d󯃶!5r ~N3V[ @pT"xݙ ^|}`1'`[ ƕ&xذpܤlBGQy0)-.x[8/OA_#&S:}RHr"g}(uXa+ΜDBoZP`hBeu}kW!2Of+6"l~PZ2H=k,r|İHľleU=to0N!PIYtiɄl#5|P?q[T vD dYdlA'#3=aowʣx9t&ZF.54ԣL{uszlSF΢{3q'kz *(WdJb6"g^ܷ׭wzܒ4EJuT'&&fZ%enzK<^vm?>t.! YjFt?KZjoul5Ar'qCF Qavg3e:KVs/P q/viXӷnq",Ie%Gq7ݩUmOFYEq8%8[rXQi1@K%^7"x%%ܟ)S-Ih(5-Z.Dw A$A!ٝ .;-xpKË*o»<پ9odHOaE TX1;L'=Gp{ I9_ fD+ +"gDu/yL?YZI nysıX1YRk`0DW6PP?,Wrb}X"a/iZ ~ݘ^! se1v譀< H\_͟8@'l2F&U<- iωx]>DbURj<\j(tA1EsA6܈RAV t1h#+**eg9mƴg^KǙ>&K' n1~F&duRNcɛvRaىmմ:cEKmrԈzlL(#ic9wqbQCPo{D 16D5+3A-6pbXn`01l֡zzs@U trXf1,7,~71ؔv6!6'+׬TL}y+ +f=X oAhnp-֍Q9%]dOՂ iU5f=lp]@Ɠҧ7`AJ^rHwf$ZDi`L~"H < =;Xخ_;~!ob!}bbCz1&c~s_+逼հ`@`{*R>[mQx J3t s\d} ڂ7 J@+/mW)'~!JzGLo#?"^8gzn'8J\CGjH|*o Amr8C v=OϨƍR86G{eI!1 Vg,܄W}C rcB_:#ɀﲋ!$LFg:Wj;dGe yt9xIDnU| BB&Cm^esRI 2wM5J}Apy+$0piU բ'mA?#}d]`\|ҜG:ne2ix mp]`tn}6+և:fh'|zcYxӍ`߿3r0's{] `og1E~r &وOk1%ZYEcLM5֧Vc-7MbF?0>+0<YhU$%մ`ׄrp"#& v $&ɐ[v+/עjX ʁ'_mOFU҆ry򓹧ıKDITUE\xʞ8($BzOӹ]J5Ly^fh"_16)&N(LޑNGȺͳ^~"%'y)KLVHL*`}@ܽ$*H0r i 4}G r"o?#ej8>1yb}WZĆt]P' `o K/ѽ aQg^>h<:b`uA;aJNr 0paKsRk{JcN:dPTyG#Zi3Ly6wV\m|@ 9CdK٫po8YYHO1\9ȫ&uyv'sѧKiMw;cDU3RQ#͂QC;/Wf:;Mwnr"$ QY56g\)dLyb6 SNOb1:96AHTuww+X;#pQ( ⇕oEK\Y䢽/+ےTިg.}|'gC/Ѧ ͝>}|<3QHjVLJ@+t鉷M^Z,=Vgs4^`#21Аm7`YNClDFr1<{92I2u^=6j ^\(Z`E93 x]u 7' 'fZE/+or,,`v!nA% ?CS+5V nO8n 42cxj NYCZe:/Di/oM4)XAl#$W6[񒦵mCyCN5yti6R5H|գyלPӫӞʪ"3FΖgM.I=|{,z|{yiIpB>/CI6nƵ3>ؓ+~%/NCaPUDDZ 8Fs}G&3>e㝳W<܅K  vmBlR\領Ҝy3QhcY^&zͰcPk9@_H^vX"RkrF$0Okǁi1´˕mG뤑2z|\E^k)'gRCmB@_2^qeM3a7;ZBZj~<[ghfok+k[EBv p?:(Iͼ[4(C(%RuF#^2pnd!-had qxFSb<V`[[u!O5챇\KmARt6:A#zeMGϵNE?qrl7q0Nx n J<[& t@+t/:jrDWss5p,.]-(L{ݥ8t`h5l>P=ieE`Kll!kMB4*Ep ttޅE7-砇n(Gâǭ11L(6t\( =Q[PJ?pl v:l Tbm<7\lpR]U*9GB9UD*P`o6@qgAaINx2XF-HR#u OdW[囖't=oʣ)-.$ (T=g~pҘ8+^ qvA`͕5\vLQ[Bt;+v%HΖnδ.@Gr%/ӑ]ƃ|)|aP0pcSƼR9ͯmbfAoٔJF0\DvHE?`A\-i1@svVrP:Q|OF: k4qmTo2),'g0E5蹪h,+NZe [T܅]REXs9bocM0$UӚz c:@AƎoz|Q8~eL  H9&RfjRk|} ,D>b ޖhI%MubdgkwŘiВ__x{Z29H/7_P{0Eσ~mmnj$p Ti>n+ ԮE U}iHfCr CH`V :FG/ai(akPCG|zj9! <"]3%:M77=v`X^t|WaQP$∸`A[<y-|dԄ$G~svj^\V~~Xǂ*›aLzzmgO0ӡ~,Vx {dx9$ OUrMtv@S:zdQFܺk| 4gh yTlZsĞHC&nՠC251&H,8ƴP؜ -HE>3c.V׳/PE7 FHoM2r(H^uZJ9=[q 9^iwԀŸ(o32JLu"}K؞W.oy= }K0Ϙx~L岠w3vah~.$ƭLsӅmͤ,=/0r%tSĢM"Th@!(N 7#0 WU2MeaǡЉXM6,Ns/u] ޱMǻ&3ς;3 (<5a*7y[h9r3U۷T@p@:FaYbˉ Rhx݇ak‚ y]plUeFRP̟hÀ!iR&L3y:;0 ʱJy#%<>Pa*$0q&gFEuOMhMHh|S{_\ٛ;e9N0O \.r*ic1&pd3&sohA~D~ ʲMJP 3XSYI5& ]aEsm$׀;PaӢ*z:$5ֱiH0-2+}E)!l!#Ѣ?S;!:Ҡ@*gW`d+*3Pe sVa/YP}I[Akt>@ q/&!Fʽ [_(QR긲\"'D!Wlemx?W̙"jƛ5TխpS{Uz;AA1>4n!BUQVRKQ>][g;_۱b/m=TA U oa4Dך+IpxR4c4l>vvU+R< ,f Ks!f^VttIhnPj7/G&&oA_g|Sm,>Jl2S\&, BZB}1Eaѻ u5{3&P0~P;(^BaЃj[2ޗ Kd7jJd<oG!\-6rW LvP^Ļ8cI8>2XW:WA;iVxʣx|\]&{z0.&x=(I{ze.4%75O떂OYIvKZ٢%b9foe@TFI #4l$`mDZ 0YjPRGPSh6c2J\'}1G{y@1)D?Wx`8[lיɉ磋[e>= $ !R(q\%CAÙ#9X: YڟLRs,Q8:B)xphu7 #ſ hZ (bWs($kZ{] !S>X24|КgG@҂/u$+Ik=3&.MQrqHr;|N9`גm:bAt!4qԷ`,L_m=G( NZ\c:}M`Ѿp?lkV+KWd $`-$$-dujY`^H1QHYdX?iƈ0n5H#S|]B(u FF7@[Ĝhh7Z:%*+.O(1,0>웶E-Z.x-R陮CQ}n,d>ͅPՀIpcLc.0?첝WI/E3KRzCV ΁SS?aבrq Yv*#s ڒ.}\Y9Jx6E(?v(CLdɛȴ.)ȜI>h Sf?҅“U^,o"T~" ۧ\XB+8O BsɻnbNyȘʽofRl `Y_>갅0gHf[E 4fmbTU'F}2>4w>JZ5!vs 3 mƔ G;ky^.q7ĦopνH;y*Ƭot^e 1{ .*?Vs*LQD d3DYлr8ϷC*rKKUSkR#=k%HL*|tWUFEa$&;V3}ŷɩNDt,aoVf,9 {v8A-U \TPcԌ%怑L2BvOU*Qq|P1(BEda[% O)z$Zd'QEJl0T좓mZN g}N #cw.Gm4W3@;>2'\n?eց.8N$ߍvbYV ӵ"lLj8ӊ0cYF |̎j~7ptc6CeO !`<'`zʛbr0%i'MJuC0L[NTiXjM:)!ؚu?齓vE "lOQ.6MƢ<lm\H21j??@AAo0f6VOtVyIq̓lvz/1 $Bi𝿬) OdnЃc$#'ǓtP5ag v{y (ܩן4R"Ek:;cBImrN' !JY3dl> X/ܬ}'МCc DKA#iKh%pKL%(_c`p>P)QXhLorz|\f^kT>塘>3K1Rh4~,h jlq_Nd+_]$?k˰DgS y]~ D„lo߉R: j.yLn2#טŒq:5rR(x2@_pו}p[mOruPR b5Vs0r )g3ɳQiE*SOZQO &07c4Nz O84jow@p;"ΟPȟt܉hcr4NbnhGYEZz %N,_[j=3?;ay[jy4쾅)Xkؓ!F\VjPᛳ]q0jRUYmNHzLY/XW!KBh0-T֑u=6mTV/=҃dH7H)<]EԶʢd4]?[y-z@?⠈ +eܫit/QiU{^m?gzp*XveDd?Yv!h mol9I\Jth*cCD2f%e]#kƚ JCAIԶ6X$Ozn/ L7my.kޭ27&̬$[g$}EuB9nks"B:ꋋ_}= 8 30Y/k!KꁥL&T+hh\N@Pp+[FD!nnJk]\:@EM0ϠWo7";V6 5"XWsYY iQ{oVm=&ڎ$Z*0{[gzEDCfd7f@Ti4 YtAE7MDw&U&5rg]1NTpM+@9=S=pEys(W@HOc( '2sI b@S=4r%)m;7|xZ˂79: :WQ!(OkMn ? WNۂ@er>aU[+ Q>xA<iOs?ah0* #)8in|^R[[6Odv2І4 x" HRFee{QDhdz1eAQ |/ov iD3@zvh*ul.|-Z;sk:俫/ |lc'A[6S VvÎГRxMJ!:1&3*{*(I<z y聾P+8Y$y bZ#BvN)(nY.Zf$q@V!cԵaygsm+봕FZܛn}-NoUQIrx)F$m|RFу^߹l(FXաz/x" GνW~IXw _mu :E&%8 ゆįmI nĞƟh|5KBWż?ʆ,9²<;MI58pI 7j,[,$n,՞@noZQ j=ӇXEY *MaO%Gi7143$Ț;O[1{ư\/`h߬Ga7Lr{ba'&g"ghD-䎊YW@F,3R{걬QPXy.sN4?$# qf4Nsp6x͆W"4jlڱ/t7\c|<CF 5n} :E|uZ8bI"~=(Af"ތ& RMim@Io[X$Xכ9),t9Q _*wZz%}Qd`'& yscTSPZS\6.j<ȏ!-;@TS[yrF6Ϳ,gC|7s*acs[u?HGx7HdPzSE?+J}/`4Ί%gw8py^SRbƾ9prXV_ma6W: DkTnN  _(51f0Bt͢ HS;<hY~˪>V #%NTUI+"d͵H7# E;R0 ?2tb_׾Il#f]8vfs?R:&'7zw&{ygG^ x֫ABEu$ UE(֚f8')+;g{no׭=jWIpk%?jb3{d5*'WNs cpQ#]\xX`i7b䊹47[>RKɧdTx\[-a0bߣnE*?-sUc[pR*@m!@qdT4qӗǘp۞tD|zRwakpCڕy -x{-O(稌^boK^.)w߼7XQ0Ycv{PqGwh&1•`d @we7Q6Y hTIcUm9:IwKcl^Gud6&P/ 'p xp"AkSXax̓%_ݜL/I7LmLX|ֶX8k`u4ocV#rukL,z8x_n ,R>pS1nMž ev#c!A6 -?t=h_3:W+rN66VHU 8NnR;Q|h7q:]臛}X$:55UԟOzjG iwW4P$0.$ >bFd!`ZWl^@Іj Ufbq}s וx0 ˱2. cYRb;T3*ODf_Y2F\ca O+_(v(` 6R"H΄ݚb=tۖ+=`MCac^HL>%Ew Y Ӕ4XOO t:S6͋5 o|I7 Č8b7*[xD&(觿;#9 y੪R=m bZZ5]-T( !Ǩ Uk8q?(:#3DZ!uo,ׇѴmn>9]dT{Z{TtE(yPnskٴHBpou9SVn_Q*}G`p+h_Ie#uo)'2 /=S1V) pK==1NqZ{=hz ?I/_"d鳢c0'悎tSs{1b(o,7vBz)ط%.<0`7?&&f-b ,* ,>uEa.==E>.{2&>5́`.oJː$0sA}*H-uLW$g jrW㔙6S $N0іuS9(_'BЌ@CLs@ ;YGfBAjU Ԋ^!*p1 088+kq@+^^U kJfwopx`qؾ?<Wl&("i.paIjL*!!C8aȚ//T" ?g0,* z X&CCWf!3 +uq׹hnwBiOhHp2bU&Ȓц?C赣q7z+g6&104EKy#|aޱwc8q f%F?H\!At.Dp'dR8dY],ڇi4 k D.KF߶ ug&.e b3bdN_gQ`YLN)cxƇ-hTSӉpv=RҐpX/y whC'J./ HWRx y0AʮHvDvNu n<ǟG}PC447,-tŝR|gLXA:HJJAy3B@Ùh ;&C(5U5 a^ԇ;1.iH DoC%Ҏ[J,p08Do|! g k&m.{uE? :l%kر,ᘹ^ۭj{!M+6br][`D+],K藾ĒAk`=]h\P@@м-9 ՠ+\ݤ`/K,?7$C¸1ઃ# >/"g/[-S~+Ude~[w}ĝF}3mfkI包w!w B8 ~'w0iAVjwSvN[Byclf$ts^f*suQqɩSkw;Hx)'KX̷ԃ1*-o7OZ\e$CS7?n mp?1nIӇ[wP@4<2L4aY!&M%qp8;XY eL,E:!%~ڎRbCXxiߠhy(9Bm쓅s1>˂yD[ fv'vEZE!3C jg|MU-y_+[;ߡaix9u.{Å/O7u'9|Ԣ[vPt-ia kk#ѻ&3,bR?5璔o.yyu=k[7{H@aL1 ,gz }g͊*R|=)9ljY{Dd8![NqkЋ:$Mw5xęYG)8ZWLSeD0-Xhce@ʰK݀}IAU_RoU!pJ=)1 C v_fzdEa(SV,zw-ndžE$X&GG7 [>M|ޣsϠ=BS`+#/q0H;?m{9ױ )5mb5՞VşdP U*ث x$-lЄ9>ن_ג`'f1, xZe4O (nTW0{pH9TFx umN͢24;rs:L)QK,=q-K#{%ocoH38'K\T0)NpXѪѴQec/vh+bRˎoaT|ox. oPfyIKٿ f*TZN)5'??MyQ=lpO;mךTXMCM^-䪆]duC Ә;O3ܑkA̝?10E!ӭ:1q(l\Q(O?PžO/U RggNnl;`RGKm^ HTcm&dv5iQV>dXMϠY/rxj#3^~!|(bHW=j>85a oω 1{,TWy>uE,8[ev G^ef>Bװҗ8e*v|a̸ (ɲWw?p Ej W0P  @f({эp͖3"^:-$ {4}t]L CWf g]h{m9glF2%yV@=7X(E?g+94O/Ԓ\4@ D$тӔCHG)qiEcVj5 6C`Ѭ`Z=-fo3{|^ֳ~ᱩͨ&H% gQ˝`ߜ\A;oދ& O1(teŷC.>h"XRoItN"3G: qaw 40wf"jŞyUPjW*0&ĩ&Zws2H! Z'${ <^Em]miH˲P*q?1= Hc̛/ҎkBQJ {C7_R| qzǭ{n(N_ Y(U҇U.$zʌwHi0[Օ~-P "r!9 5P .6'xTZ~,ј 7 P@ GV+va)@^AwEk4#z6HM"[-CpMGAmtQMJ\L(AS/Gpd/_âR+ YQ:AfQ0lOW_99\5hJ^^hS{ #$xd[Vv 7_)NWW~%$v0 RK<->K>u3OSR8H WiI=܆|wRY  S|UKqWjO(8#D;ESAe0Yq>6V>Sp%T (\?'t͉tkYGo \j~"<~ʉ%hsAz>4&pj5z[[%h})TpZjH}G~ IܙUأcfcɟfy hP>1} mtuU3K/~!j*u:9z~s>uЬh)5ҍ%/MzYxe[(\ CJ2q^}R dV`bHڽTP.>,9~c]AotsmO@5~,(omXaAN 1X,Y Gn>Աe&EI3y"wՉ96XSE>Y<.aMFh:Ӡi".¼c>}]F@Liwי Ւ.CARpF4F<XHxWC:I5kq9$-ϲQܻk:B7sdl@5jG+4U$Rw(/,IOf~w+ //K@C^aDW2@ %R`NyEj?{L&SfZ0\.wI5w,r,d(TojsJ(Jۘ|]wT(5B41N<#=f3"wS(aS ~uu%i9 ^pV*PiyUYp44S0J֡5SΏ iY,-!"1v'̄j},mLawQKvNi[x-@s9Z%!É^h¡Gj2(Ը>(-3 )Mp/+ 5z оP%w{^#F0<_}P [:vh}ōhttᓔ.z^dU4'Vҫ qyA%OJpI:P@Wp#1]eCͤҍTJ1.n<Ӭ|%YMjT ɚ #ܙzV+ : ?LkmaxJ5\_L6ex< zT}虽>NTܨhosIY -#6yK`~6Bl ú\kufL9)쭐npZ&DlBhJ6EG궞i%FL7̜N>HUir!uz5AG,\Ch-Ou\[$v~̷hqf{jG+4z!Ο Oghr:8Ehv-,^]_<lF1r e;k۾st/,٫ou ,I)|Ed=~q̼qGpMs #LB+\8IfԂðKI-ʅn hJR;g/25Fx;fʜ{&bPFB8J0)?(=/E , zmx+^{Ts{谎|’t`/ 0( AqМiڏe;gN'ߺy./ 5goA)Au?\,6[V D]BerNNE{,g n<͕Yړ^|veyTbA-嗃oPH?PcvGp$plʮtC2&=pQbۖ0ujӕ<,^]? B>]I~̽S;@ӭ:byRmn0I Urs4Jw^-"nؔOjc>7YLe\1U6)y=O9sjnYn]䭛؞&}uK_ pb k2uXa;OLj=~%ѐQr5eϑU![{29973>؅HzMP! ܝt-͠A7p}}ǭB6d\DuWo$YߒB@N^fO̊9x?nѴ)rP7_ ]G; z8qMy7Uy8^aȭUyWv6H I5ǝT Fa=^Sr<0psPzyH?퀥 DExkӺv/;K&kT&Ӓ:C6kmue K8w U)A;ka@nJζC"ۦ[aBoR$'7jp:R W껀48̊C?C * ܲn[&l] 4+Aeѩ,aGtS;_|vuUZ|19td2E}ii7[}PMuӲ|;_"NkfZ"."QlDŽm 2ʨOo&_NƧ3rb 0(+C$B;]t 3ݲ$rXY\Wta?sZ-Q `/uT~1ȷ2^)C񏊝QUse|B2fj'ĹӞy$)g COw|#2 M':OdLs7w/ tI~dQaN8b@srB ݋~I2QNyQC6prHrHh)B8rD:HJ'/U̧qP~l_Y†>[@C%UЌnیclýW$,T6͉Ըx!X㋙q{niAlXN˪<ŎV*wȲ輹Hл@@GҸ#8,aJ4WEpjBX00ǒP5UK,E"AY tLḥ` ^HMq:OưiC۽^nBǂ`4g$w.^tˇmy. {xJ@y?aVq(^ XvabP]T%C>7E;;>6=xZ+'(Zv}96݄C)P!м!dp8pũ~2B^$ZVD<;ţ_ |Gx|bՋž';D3x>xApZH~[WS-T6x7ܬ<0(TSH[*Af͙#y#4O&}b LJdo*_v~ᑝ2Du _*kH^0,_"#whv>^P(9F2 S3{SOes69aV'UX7>alŠw)k9IȀvI٬;=ΩVlD(ۣV{bFHyN+lt'цOoSs!@{ebR$U> *,믨yN/SpLbs+hp: 9Ri 号 aM{ŖI;_'F{@ jNFTZ}0B+-8ymP{[V{U 09N>@F~X,4F/BseFKǑTg"!?EJ+W, B ]I﬍i 3*bo"aij#_yԙhp"av(;5<n÷SgkTD~Gt0At%zMcysXF3.ÏI VDRIAd-H8xգmxȐ~erw"԰oTLn$@%G3U9@'FBq%|E/†7?;`HG2r Z~߫: AGFq><_ CwB>ɖFB˥kH~v{EsuGI1S;qؐg7DTQvd{Du ><$!:t]0t(}M c}6z0nޞb{ 6w| N1e՗~J0%,Gp ]vjؕ7nJ:S})Vs0tc~L:,JǗ:l0!1n*CҦ68 tw>c$-˾~#[nP9Їꣲ3yF[9 XUq7 ]a,B[j$ 7j#g :>\Gm 1O 9DCX2nܬlܳ ti$Wy⣖+ٸav- {䉒P}*O7q}^+P$T^߄(|TN4v؁xH7ޤSxtGD&MS$BUy\Ѐ)ҺϞl]3;sjgcԲmpٳHY._z`iʽvl \eew @ݧtDo6&%HPAd'qw3DW)'N .GLB75;=.#]+es¾9zXsmPx6`w@Fxr8R lt P@ TNkKm^$d&w}s=Um̍9B CUgH[s.':Ypbe47=wKjrVx=Fxbu;h̻4b|Mn|o#QC+b6jcbzN3fWKH%v東>tvHm\(UÏέ{;#K"m%:. ,-ωuj[+DO+:eju[۞A],NSSm[w,lZ(5i/]P5Af7i&Czw&ȪȵF>qfVzW')%‘>Y8+HAr>HeS9\> Ƅ6Ρ~^r*h@B2);ßpBbI)š>>*0tHuJKDm¹~8q*0Jn˪<9Йw Σ@ 5;6RLDQD=$u=% tA gcS=_n6yM,%zW[_K~:Ў˽D.v/oܑ֓Ӆ?xI( pN&OzZ]=WCsnnuMJrF>`OvNe}FuX,WKvūEd9Lux1KKKE6(A]4ezOZs+q_5"ߣ`=ŹvGH(L 9|-kRHZk6r:~ƞ+΄f2@{:&I+<.;&d@ <݊:D8n,q|6o})=Ts+eЌCd%0ïIQEӑO}_r֧yd\b,dBsAAX<OE_YôHs~p1bIl71?Z)H:U.nX.0E[ǽxFd~#s aVv4^ y1/ܹ !%NBU?h^'Pc}.,i&B qlS=/94~1Hd8N[]HdYGO?͢J*%ҭ3O^nEBhc,}.^~sA @ՠQq!jcxHD=g=U5hEɉ$)lưspFwH;d892Dڮ)]jv J&Z5wP )?N^tsgYuc옇.}L 6|YttV֕o?*lI|4%$c>{\-7h|hJN3_EHF0j9$~tSW9er^rp3g6cEO0\) iaFz Eΰmx(Hj=[+C-B'mfɩ\ȗᳱQX,HŗW޹8:2wcepuP$N5P3e%WL$M~w JF8M.U< 3_Bph7*` v3}˯ХdI[3JM2kԟVOa,S?6aX 5taULs&?$M{G' u& =<%߸X `d36Xy E7}u^1`{  3$z!m}#ˤ/w; si$%BqmA=jLJkq2ӑwg:oEl vO X [F~OAw] D+cbQa:/x. *cfSxpԃ i@w)"U χmbrѨ^jx i>bض*jdi_,7ֹ& ѕz.$- }KS9K8ݺ*M/Ӱxnk:}:qVgkrNMbSf?kE)23SמW&t1׺Q!^x;lW+,@c]pF߉b 0T愺ߖɇeԣ1\Zq">նKSdY02Xv@mC Fy8]G!{ZƅZw ;d}>~?e䮵őU #Sej5?H }U֌v $-c`c66ܒڢ+_a6̅ #e> Q9hZ~۹6qEȿ'=l.xۉP c:3 nj|n)*|u}uѥP:貊6>v6(>} ϼMLl m97mCymmuЖXUhbd'6{vPh˝;P;q.+/woaPr`f mvq7oj9ƀ`p[Ǫު| `'iw"c.?geA;qWg> 0L#iӣruGz;€UQ ImKY}^l#C~s]$TGK6^ eu:vKg.],zo2c>JMj-+/?YC 'U}8Y2_V3!^!oN,Ĵ~OHurPĨ(Mt -7p4\ AkRٶ]atCSHnڄ=⾗Nܥta vĪ+%&(H;"閝T"WQښep#&i]wf! |u>3kӹ9zh#%)M'*@G"kתL;E3Nct]A$'̀CF+E$C Ms5N zf77Ka2KLPx1.!=#N}2SW'K6e^ʎ$C䰢N[o^ރxAx{ll$6<~4"{3@e%4' J\0Y]pq,pϲJf;P}S/IZ-Gcj}6cy5tS|,cqpLWζUSnGd.~R⯦3rU=ׄi*s:+?=&f&k6m@M^ܾ04.mqFizbZx33>,i`@_ y84{ s;yD3'Pi $.p]D惾 9h |Ao*MfY6?Ru'DxªB U.vx2w03~e 7yL~KL2' ) c DG&ٔ:|i 9՝@Wahؽ܈yw |Ƌ>b9Y+"1x)'YJ4l,V@, dWEMAA\=5lw៕h;=ݿ= -S\KKlg M[h# xEBA oɅ"R.@ rЎv[y[/yy_*kFj,,_S#Cg֏?k]oQ$cVƎDKHn!qmlQRŽB (gYZ2d887827de13d7128891b26f02cc79e9511d449ac3eed4da8d2aaf2ad54b900993bdd6f7717404e6f0b1a722842954008d38cdff517b443a7d6e7899