SQLite format 3@ .0:  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 7\ ]/ MSO_Regex_Equivalence:threads=4elapsed=533.888cpu=1727.612gc=58.588factor=3.247zXZִF! 2]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jnthJg9K58 x8^EgvS0 nFLk\zdRIؑ%RPfLs]yvjx :K!-CE B+-)gЀrnװվ$SLd(+MՂK3Bˈ6F9a^LDZS^ ČV^{xUs0%0\~~""uK< $TX~Ď qH*<bxRf3s2606˦zx;6g0}0 I't͏%JHޥu)E0n]ZT`p >_39D#SʘsOTS73@(_uh f 2b<|FPodTҋds뛱DtO{&Uv4vĀTMuF-F`-KItq4wEkHCOe!FG,Dg|j5 /n.)qGgj= ?Ps~n/тjWH1c| l E{]< '-2Աe `n aVGzI~r౿"FB5!TP" w## ABj>t5|~샺%썑AUx@ Aa ;l!IK Rxw%ܓVC`cu'V˯Ya*x;vO}xa(ؐ7ԩ!chͨ^tM7bErm-|"xrdt(~j &h_h:!qDie̵_x)~6_ӱ;^001$ #ZCs͘ljہZ }! [N``?ϙ{GO\.Ln1)3=9w,c\A Q {u 43΄2ho7_}B6怋sV.A\zqtH吲rpg1Da殻r/ -}s)?' t2HT.eV4hҷ0?5Ȁ Yth|ZK)=gd9{"krXio))h+BiZ >C6lUXGS&s3)~#&ǙyQn ԧeɓށ8e&bƭ= 0j1h! =&#盀aˆKFu ~_k3P7ܷO#F)P*$H{ (Lg"{li:?P.z3~+exMg%azR Tx9koT(Fw@/a߆m %-hPk2HFտ 2^MMiX(Bl0~eRvnf1u6xnNĻSJ|XCIk]JnʚoY_5תzD|1O/[9cőKk{ $f?Th3͍FS^1 ԉ姠Lk1 H# PL&XMUpޞYI?il{,[)Ps!̢AuY~c ]s`Jö5pKoqa#E~DI#EhhC6!~87 ($B gs2ɕn,&-t~l_ xbž~Cmd<*x&ޭc,nP]<^ط&qA:K5'ŢW4`>Oq <@fƩZ"׀&俑M().x-piCA[?9VeKU.j2's"6e㪴Tiy덨\-W?efxR[.^%گ&ԧUq##qkvlr*T/%v<ާA#0ན$=9:XX菍گ&/mv[=OsO)'~@ vB>T:صA 8lFϊg3"E~< / _Y[ivXͯ˖^4tjMJPTaEb|3-4#e=ݎc #ܪiVW s9,_ _;Hdz Jĝػ"B25F١Gb(-v;Jr.٦m]!PKt"dgړ Oh#8 9O췉SR\tTP"k;?,G_|_Wyof==|'2q`̧*&1v%. oaZpMic46{X})`pÛӅ/',ı/"r>+3}=HKW1vWRʨyHJ)N-="|!p!hC;~I^d<ӰSm[EM6co|P{ZѨWz '֗13U[GV_#;P@9ޑ me~JzT`w$슲XܹL ('I0ơ2Ơ_KOY#30iz$Ν@n>yXg:ړucyV6)HP!;lVZ-LĆy6tNZS<7bI2ٔp >V!% IX@j ayg~!n.-7]ASjhpO}zJTϼqй 2j|2u&u_p?ƀ&%YXQBb&.g ~pe-H^ аі.r/M1`uZmyv7=%/2CH5ޔ !ǭabD"_֎I8^?"ClN0b&$b]~C>{&q" g= aנ c# ɖ&y\%<8+>NaxxđA #Eۙ@t}<Y䭬g'|t7| tU5>8T9R@8k6?`ɧ{4ewmG/ ᭮&KHvތlbtp > {7O&7#$OEgYZ7zXZִF! f]ŗXiɟFTp>>cP$qXLE۽\+υ7YONE#>\_t.erP.פh`D{Bੲ DWj˯ Om,r'W0޴g8އAM fף:ێE_Zgm#&/8Gk׫ D+)&!AXp@r0XLh<ːA[vjۮFи&n+_.AH*z~S a' Xl-V^Ǫvltv9Rrij^\㎄U1^b˼@Q_-rSYP}u96L.*=+}֢FlM[) %+T'0Z=F),ve;P]9[eAXHa(QEf`mUPPcŴgzE~ `rbJd _0l/Y<}uQF =UĊmo>Y^VE'yR{^tdm ўg'6t%8FIeG+Wz/zmmfIwY2gZZ\j 19c xzw|8@LZ1>kC6趢 Pi3$y-(R*Ca1)q~+5O|5%Dص A9IzU&XA Sąڎϼ!P)EK,eGLT!V!;-1ҫ3;w/jvV4a!hA=AvG#ymJ .+w{^t 6>>~PcU\{&H C굺{0Yoꩧ/ܷr5Y/k]D7Z@+OTٱPENFRo#Q8Nwe M "wm4芆bu+ 9*[*TLբVE}瘝]4)D1M/(m$0Ueg^z~ dk9'z[g>zŇaV@bD~Xwh$r2f 湶VҊ'){7qxo 䥍넗{܆RN/; w/pU8jїBeuHqٴpjxe$wQ=qKPȚ[5KQ9MepfRG)0=`S$Zb,3W51ņ5)~rliGPv}UEJ1Wo*Ի,}bSb.I+[u-%>5K$" 4&|-5Oϛ15~#7gDhuȸ:CSH`ޟФ&dF b{iEϑ:3DG5ZzʭRve[v_Fm7S !g+å®BpdC2QN^T@_a'=G[kR8)țɘ +(_ 5WZ!#iq rv]`lKۺHױ0%Od:vb%u"f.>%q>$uBY1 E)dGwkO88+}ɼjNzf;r:[y^a&8h -۴v5iJ{XDHH5nnr8Yo%kp(S3w 9)9 zb@lb~50O2g)/چ5Dya98?:1_,˃QHHWQ)!†XDVTtX@+1sS9Me6O\ a/j|T9K)H j{J?nKYŜx0)}s9S !ses Sq m^g 4 ,MX9o}d{loj6IL/Xv>N :'@#֌_5-oذq ){mz41aevB˾[t1T(kǩ e%+o10to-H1Zi3v{}bͅ1[@1 o8Ѷkq_v(7U[gtxoz&W~Y)2:lFd$RU%xc;Y)<;{+Ř`DRe59cfܐpɭwpq;ys{bEWKV!\xa#FHN\ݵ`=qQpj6RYIH֒Y"* aݵ}UDR~}3*|O=̺P+" gWeCi y|;'䰨bd&ޯ͓IC:lęlOp5_ aE9en b$),7М3!N@ "M mNw] Wz0Wn5PGi/dSN')F-gmy1hTr@)O4L}ȵ9Ԕ9K[\3#1`h}߲"9玈e+MKN): A Tp(LZ G'm@1.DEkL(}wK`:mx+߄N/ &z&vX/yS\ϗ^^t󉩂ֈkX Ͱ=3Y 6{͏yl&k\J0> X *ްw?](ܟBiAŏ;s#[n6niekp8`ά$nO"}ɍ#I=8Ush,\8^j~4]d%P+흟Y _J OBy._!r<C_h`Ϊ*gW%ӎ-tyȪϮIOGM^+rjMX̖hHذQa`aDV8|szrpL pY!}%ϐ!EVgٕb(<,`'e g:[:GV6na Õ@g:.m )ӕ_ p2tz]oQE7O9~,<]>0A8St_)6:@_ݵOLDSKƖ]MqIjV-MxF$όyn3/ypH?s^Dfr?[piMn"Ӄv}!ƌҔb?Z`澺A gqn?n>vAw 졩6] |[STHfffsXt]Su>!KB>\申#0Z,l\ĵp!> tA? F/© s**m0fYX/Th{eLe~ۍ`7xER&{-lO6}Qh7<-ŠMpc)JQ<.Ff{$9y~Xl,j!ƴQ1| kR5#O||y4/25&_v$N'd 3iT%/"Y;c7c͗lPMg}6O/EtdOiY uu;'pBeVf CCΛ+-etп#C$60ːq젿O`@X^MD?|k4L>qx) ?C߻~)PmU=6%%+l:eWcFO.~dOwST{ʏ ժ`k+Lڱ 4Z3=yOj.0|IJB4UTbzj2eFGءVF}39~.۲;˙hW8YXN,6rfzp*z'I\gvwZړtԮETM7턈l`MQNq3zW,Ӊl&df4%V$՝"􄕰nR/eI?r>Z;nόa]ǵR U9GgD b1:Z(ouL bq$Ȭ@2א z jvX2W V~X'-Fs|3^c'5 kkLJ "_[/?Œ0JY d\~#c:Իƴ0Џ}Xnkc-öh;{A0|j}-*ۆ Fuų~ڵ -IHiؔg~fl̘E!F˛ݏ[*I2쐆 ˖ IDES6YQ ӆUNtΓaN0[d6"!t {Af:$^P,L$6ֻWks5yZvLD2+MEzh"A5\$)7&TOB#ܖv@[Z*A(FGp-tG{*'lW\$.$cXl)i *M5fgUom z򦐍сYs^t9S؏7J҂GbHM.m<}fO[X1Q*| X>E ,cΣ'HTt<//4Sv@9RSIV 3XХ[.t0MШNB8&@Q yrIoP{␄lr\M~rQ$E7L& Tu}̀_#Jg^oG D&S7}9)ޗatV!V`Q!x&W@%o z>80q:dU[_>OXÖWj^!69ИJ}$.jM%%@Id7~ڹjQx1Zur`ݒzrQq40ce =zg,QЕ͟AO brzfw'O:z }/Ty?qs2E7G 6q p7o4^+`Tj )E@eϪYc0PjȯU%0Z+}TZ_ġ)B̍z׆S+o,33_A,dQ1H=[yL6k+gNAŽiەP jdq6*6rS@^(D+;9hdDXt+]/ǠR r ]՝C|1N1=0<*q|\_a͛dQBF1'aS`">M]6bC=~:% F4HS|x:M,om:=M#FPfhɊM~x~x᥾t㳒1Kd 6)d>XŸɂ R"\·_-Z!kNIi$m Ia^So,>\V}2R?P3y O K 6dED@:#yt!yƹI"rzNjOZ#prre*~U<0ũeJ>BL֋yT/3s=?_pI? H8CT =Eg9Ϊ$a.uq:I! f.]f}T%*d)po+˽Zet(%#ジV(ˢA&Uӂ#Et_ *lyT_`s6Kc6>ƾlv=}k0{0OJt1L n?]=]#DIPaT%Oq S{i2[z!2hq K-@Ai<:333 B }1-)H_Ow#(+ů"̖]yoCb5 9':*l.&E/F` d%p*Lxu4q0_bJDڒF"$aPBP) 6Y<0Ա,|93%x=ѦØP[6BvD|Yl崢=bKsH$YF矅+`iJ🯦:J8LT(7~춯ow jC@nuQU.V5.U?鈐,5CFoy`x r. f\HPs!PNkPa_&^[;Ӕ91K+f fX+xLCus4%  QtxYCm~6tWI.,i7QfZ8f;θm0aև+">NB4 &p CN?Iҵ=g ^F%U".eDwla-/t-gU/j!;WرK2mߢ#*vO8r{t?/ݞ#޲=`{ L*8P/z(Պ& s|qfg!wţ-IUh7脒2/Za(Fԍ[OрQ 3]\ rQ,-VS(fAt:a#vui!^@.[D K$6j$ mD;Rŝm~?NL|{z:sl8/ͿVAlJ`byriQ\]+;~py/Z>U9myMggsNME ֱ*->/~$Mo*n[ۆa  [8e2I$ŦYסAϔY, !3a "+in|VʸK':Ɉ [OhEӘtO(jW-5CkI|S!Q91tAXsi Z =Gׯn!™V Xͮ{1d[>%\G16IȄD oo?G#r4!au8gt*dICWt~ 7v`&/xsaݵ@58` q'28g`m^cLn:k+I@ )oRRWGv$$D-rETcQe\&{ vl$Z(Q0deG0J?d /NHrDq&c7ٮ $hhxo? W2&b.ȁt ~wWIhs)hi%ue $p%sn ]G1<~Z^J7eIU=6I&>/>o$.Fϗc 嘯JDu= Y"!BƉakb+Jl@ #I Elß,_B|c oBuy\PS[Q~_xn^p_@|L hj»%d)3M08OYq[gพPt1c!Imy0| i)zURzcQCx)a̖IFo`,` Hxe~s.#q!: '=T̿G l?'P^. (J.KV1w]=@ n_mɐX,c~59FO^7~Q \>8p~ 嗤IO`L"!Tt,s"YDKp`fw" ,ڰ""9\̩ O,zXlbnDG`2/,╛QG]XpI\3R HzktMO\i>r$X,8M/}t6vDj#|(2Gbʗ=vOVlDDD}y#q?m(9 fcl!IR2(',OLTBm~p,VBrFKzPT{LYJ;6* 'Xg YK,!w0!o8OƴHC+[}p$Sxv;쮈Q"5Sڀ rHpemgld"^) MI;*x96  b5F$ & S͚}yd~M5rsSp'>+j{H$Yډ"Nxv +!X8-%py=?>F'fhg;^=^T[ӥǸ4F_Lh"f5" ʝxuY(ܜ31¶4tMkxpR=l JZ`3wMp x` D )uO1X{&,^W縤 i$sl q<ICHL'sIA@Px =BLR|WHĥܞRJ< 38xg,;2ˇNvSQhM$Dt=5%CQjYѰ~>`Qi$VzƋ}d#= J$#Erޡ qs|CwrhIEĉWxm bK)&Ȉ*\=z?~Z\ob+ e ьHZ?ձ?Ke^~u屁,2za~굱!涝4Q.Ey.qrcZkqdyz G"/T138RWQD|;YKAo?F{̋sщ^BLTZ7G?fP|I/RHz(4/AK}78MiTk|sݨ嫜|S;y׸^m$kH޷~jbI=B /'%'xbSzY:_8i|kF85@wѺ]Р_ kfz[(`maFո2 Sj|tU_I\/#@=L|gP.lҾa璥<@CuC`*2fЁ,^;=Bv=nȶ}.xca$eb}=qA; vՃ /F~sz'pK2̣6ӳ#3 r=8/I_N};P(`<\6Ƽ%Wa2$۬4.UPP_D"4hyIk<ȺCE QHh.Tt)Lyȣ8T8}_z9y]5D' l dgiͅB -Z}nW@P1{w1/k#y#t/c1~dki+K^E=}ݴsab3D%V,!of#@"emg ׆\Oծ4$X$FxE_P gx:?Ta6}_MΆb97[ ƭA:[?w׍O@P9 jAb .t|kYy»aA!r ?m<H~ 4>2Ҏ*H3)7 bO&m :vFV&qRj~MZ'G=`]uMv߳g fGG~rKH]!FuDF궰/M d_61_?c7bwK"GϨŝ^ڞkiѾeGN,, sJ|t ОQZF@ $GkV,`]8{vIn`=1pLeGg裎X)c}m)[4 Ju#<իFɐ[C_d,ɏ76ur q|7e=d8> k}\;#LIUC@6Yɣ2= -Cn:c3|BXZ9v](QS=j}@3+id%X"=<kQ}301!=;Ғsն ꧮ&/&~|_c/vF*\? / U2T.,F7-1ޣ%wppK޿yYUBs_NxjnaE\Ѓb bc5>kpIz/4^3g 3ScWϽ頾/HO)dS-)MyP/yi;|yKחB\VLdqZ܀3>CzCωRoD\!= ,I";|ۺG-fC֑4B PVL+;R9&@n8mBd%e<mӻ=@g,a~R:8 Hgp3RnB R~:w<>Ńp}|:Vb8ơvyj\Y;{m9?eST{F=|r"RƉt؊=jʣ zۢX č-LN"-Bn3zf}K5]=Ga[pbB ŀ izN HOd|Ș}oܪ<ڠ~|$.:3waC.H(VS}"=Ԫ tѳQ8-Շ4{)Efȫ;}S|tx;Y0Κ֍_,^ 2nF#uG’gGfɿKdn+GGǯ > S?ܚGlJwq% D1(;;C ʦwgԵ"RЮH<>YϲED)&ݝ01Tf"={ӌH եj0*mݍ)0݁c@22_zCĹrhju1hu3|F l=:|pqתǭ^! M#0'0Ii/=U| >LGЩ#f Z' yzzz{9a7A+,$<` pHni]j{buye4r^FW;$SdJ,`HݣlԜO?(xXV3cX΀ZXE6 Ƚj2'vW1zp8!nV5ۢ?!օVquŋ:z!WX F i_~iPDSX>"ϲ2_\ο]nfն#5O~4+ԻX!HfYqM. ȡjr C2` ]>^h&:yֲ|V"6 x`QM %~WuOx\p e[H%XHmEVN)D|`͎'dvK"ZvUuF Z.6Bd 6J$`o(~?#e г㏹e+txn{‘|Z+[9XaXNr]SCEX|%7"~ 0gˑ1TKtQ+BfڝTSN=~⬈ZS*y$ yz%5&HH88t3uvP(B7L` }x JtʻM0[~W&J~C2+g_#粘$]{-+@=gp< .nWBto#[yibi2GoMv@ǦZpC (hŬR,˰a(DF"%2hΆ$S1I>MwVL!ebt]cBMDla[Hv 4oc&.1(^tdQg;;Q! #҃iC)}s~1+;_gi`rZ>23gqFYhLmWu~FP$l(3n5|hQa``IeQ΃ӷMKX0_ۛ|GaD 6NZgɁ[gZy)m=>c>!?QFSmr"j+~porI^-0Pd5T_=}I j0u_Ib_Ft \E&@h z7A{F >̗g6s.mC;s6ڰт7~ IˊhEOh9' 0R'/u_<3qVff&0mNڹĩp2se9Ғ(dU5Ź&HH *QNE4&b::Ğ+Ky@*}2GJL=}Wڝ6s!&"\GGJB#"- o''J>A(cz4Cm@&\ KiPBg[(v'٥`\b^8Ϸ0#GH"-~L 3 iKO _9|g-!I~Ξ4>V_v@qBb8cJ*%$i q>qNd韒I1J( 0Bb$=s~i ;UM~7,;P[oÒJlF$E~~Htl*]秨+V3F0wwPX+^7 &\V7n3=8"#gj%X XU7_/z5䡒.B~*oZj>0B@bA!@C{jO`C$tRf`I *IT Nv/Hi?i47Px]1fN̞";?hSkl#At3l*ܬ>Mh3JyK;e[C=ٸ}_(H ]I(\پc(MV Bto:8u<LH|M9P:;_G8.L̿[r2tύ9U Ś"* sA~2װ$ZnjF t]1xy9<ٱ\ O zI1Nu_&]k\6.iyi"@B'h< ufV_t8luH_sXYMSު,/~CBJr97NwN<"(̺\;<ζiQ 4Ii7 7H- nٚ`Л>  4A'7N\h{hT1ikF%k~X"*Be.rϤS|),+͜륾A W:]rL{}xQ zO 3x/eSb(;5ݺ^$;XD!-@*TV"I_K7n)Zzt@СI"ceOy|{;x+A쀭Zŷ\X*.Փš2_5~sDʀI0%o3]_wݘ7gy[sbboWL[-49`]!xw^|;<qf rR|z 4*l7V8^f>TRy5Нퟆ?I5!YH?C)H.Buxy)?jEt(= kjX}~,WrsBfa3"&uSL:tv-oWy(MeJ<][f@,dc~v΃Xx Gܨ{mp@Iҋ74Eu5ٗ|۳pR,'˅nP[ZM?rKE6<-0a@ap== q⍙ur/i\ L /N-Z(3 3mRУdm/*U `'u+HқOc;BU=0]"[S-(#_Ǝ- %L n.ŏrX k}2l{+fo538@Ql)(.A{s4;hZ&lMLxpz..59H@ Xb'.,8}+VIw -Ohw>~i?`<_߹-YZ hZB"1&81+Aj0;wD\Y# _x(+-sU[A5v\x]N(7b! ,R{/6ikbeIv5Pd?F<ۆ#a do.ju3mj՚+ۃl_Ҏ[Ux^%)x$_toRl]Q" χ{S( L?Og(V/nyMq7g^4Bj{ ׽Lb4+19 C+P~tu@PZ7IL }qW˷y+jMP3/dN6Fv{?"mLPHnuwS~RZvn:!^sn){m;#mRbWcRt1/|Ο!$mܗ"34aA$a7 p(o૨e8 .X1mee2OEB뾧FAŌ?c .DsV{Zαͦ_LDiUw&jLu s'4"CDʐ,BD=hl| e.bs7P`-Q\f:KF|7=x{Ndƪ/-3qq:[G_\aut17hvzxql|gȸ^"fUI3SFw* 溨k4Qݘ:eaI_7^Ovg1^]߅S e_g,޵j >m\:?x^2﷗F2n r7w !شNL%Gh3p@:\ 9C%&hh*Uo>S֦AVw/+8v-t|S*߈"۞ؽȒ@l)G,FWelb⊫zǴFב50o? ċ¾&#I)XL7ʭȗ r7EȖBVj>W!|T/ax׊iQyP.&Rxê P^G߶XAY.I 7\r P[&Am>ɿa }Zgľ G1/促TNK:]|%;_.aM\In6{U66'9?2S!]QQ1nPsl7S9wn>({E8DK-n;Z>3 DA됧y*ZŮ/=jIdQUE5g$bshjpz۝S.whGf `V4Ď[ }(,zwoS( 5!|e'x+TQزH{yq{1+[[Y¯0Ie(QjqrT)=\eVD^gpʑ])҆ =6=tp^?e:*`P$_fRKX%.11x]S{i)4g rGoWB',L?ղf{ `U {9W77B dl(n]72-m/Y.@4K H/Ԉk ͋L bu-4jzˤ&34s9ȣT iy %/\U6.?.}ZS0ciY!`Ese0  + kV9GiX)QdF9FaB ç]YSd+{ yHwbH2֗.%&^5G` qyh s~})D{jajO^U+UwY>1 TFO36n'٠T`99#i覨RiE | fy\K/L +}P3ĵaYI$1[ g&J~yRR "E 4ZW n}ZƒOQz|Tg8[39H^x"V,W#, 6~7w(gϴ5]f ȝtǸͤCE4f+k(> -:[B Ϥ@DuHwFh^z]Ygc:Mˡ_qPm%W0,с&ٴ%ZQӃxhd|4[S"ub"R=R/]yZ<lf+e@֫q8vqOM '&&Ң pÅjz{.7%ÓcJ~7Iuay'o~>ID[Ls0϶/g4XJbV-s&(bSbH-kfko;Du A`,SN%-dAIC8+\|)9N˩u s$HX/F@oC~#Rni'c2tAi)r!*\Yhcbp5i̧"eGD0x.58.lKϝ4*M:j[Ș~xT(K"nSF4Q?J3Z#.>L{r&h\qm>iv`jv@|\ړo%4=^MTѲ`p{ TY\xT8H>Nn# VN:?#>8@'O#*ϥT%jA0rݴ t2xeXA̅M*EīOk;a8:~j ydL 2`ZN5zO :M!'p3ǻR0/֕%d}=\70%}؆Ԁ"mZK*k3x)s[Yn թwՏOcCdsK^Xq?B0'jzndEn5q5uwU'lؿɽC\RL:K*\#eQ-A&ը#ռ 44vG|(%  =b$fquFMҀ2mBU#F"3Z-?+|@^k^ ;:LSBQ$'CCP_xϏ"{z\iEVRxX63غ:m(=045DaONi¦'" sb),"? r7U`3ܴH|owXگY^Ϗ5LԱ:N=E{j 7Ajnw}2Wq(pㆴ,0@B,Y?񐝾!T6&ߑwc?+IHD>r'}B\p\"{N u/2g2)1qǀHf=7h(Ǔƨz !ʰR_: -t?]?ԏhG 6XV%1~ldlgxCj勽]X\CF+3:r)LgܸɹNϬBIxvW4͕YIzw報E\F-CH DzREL'Xz|O+iGgVT~yl!zEХ2Ɗ#'.ief'ZW(6 ``Ig {鍏ItnEu7벥߀-*/F\oLUo$[рzpDW̸TUjU6;%|UMEy+bpx2[ܪ@9;ݥA6bs:|AghbNniJuԓ[1Ă8P/:v]Y'h Q"cA_e WM)+O&]}r%l:6/ );u'zS+57=4N@ kTvl 9^Ͻƣ !w=  c]n/'DC'5(g;g9Qs /V.y4T-tiqgG=R^s[rtҷA_F Eoa[a8Դ"`^6μ<I~D "c;jY1S} Sr;} c l*.ݵ*^|y7q##}_?t<֒f)c%Nm_.9w{S4Il=+J GCOpB?sh){4eaچeWR`@\Z=P26]XJl 1ޗ` M/ZT){DⳈq8x'p@ h47@110qʫxݥ5I.^ 4p:&GG}|0Yiˋ osp&FH{FTq&6[$_ٛ^Xxh5YU؄3I>ʩn X܇FެA!H]W)=)i]xh0B9Z 7xԗ-y uBj!BܥlPqSR4YyBQ1} zu:4אh$[PVTh|O!pϬp]WחwM TD4-AYziIbczp .a%V Fܦ6R&޷w0k5Nl aW'@QU9E9 N DM(.Ad,q4A`|L{{bvdtAF֤&vI0-ma:lᔉ21j޳;'G~BT̩CؘZ+@cjo e`çyzj0ne#ta|uw)<J I_9Rl1[GK(TF|'RxfըǍԫRIt*ԔA-'l˄uTUVi*;Q:t=;~hPE;ó7j8ow]&LfT@Ј# ƚ@}MFqIcniwao l0+ ;;YEfHV]#P 7fS:ZE 6I8ԂxD~vxSrrwB7&)&3){2LڶiN"yÒIoDt@#hK m^V(68Ù]`Y-7LzDWcLyN_M;Ro%ΟPd1Sb*+[?:)6٧_e:=XCNLՎy -|$o] C^0[K|q:\&i2\Vo%OLB7Ph*2vFRw}]g~Hug<UxJ_#bLyqGa)|5ً&w\(6-T vQ9y5i?1Nm3ܥ XڼxTTV\f\gI,eu o0 fp¶4;vCa͗epCTIPރ pG~ځW5%lvYrjஜg2s1Ob`*EeNKM{'V3-_+(wWTQRT{I}>ҝ)Y~+P嶊Bz74?ѥ42*愫 7u+=ͮifava)ĔO)3ݪ_4[Є0YUO92ݏ/>GwvkӔ))Dr*lۺӑA%&@ڋL(Duqްzn$ MD ̳|"J7KoJ.l$F4w(*p9P-ȩ('vb$*S0MtVt3,Ctaa!P3n_= @փszg u:c;T?VPjXۋώշŊ27ثaMqpI, pjIf~ }V#"jC Š jr}p혳D njCXis)vYPZKzª Grg:;{GIh^nY a i#{0"K69gByCPq(#a]|4⧫,| ܮ;8rnNx%THq&aW OvAJrbdX`5kԸ&K(rv-`x^D\`elzd+IB{n?,,S*Z*&Ay.; x؀ M݅b xk+e<{rvŽ SH e|&~$(5굏f aCϵAX{6FҚs拨Mm]Sr ǟ(@x@:5Z`Ў>@}CV(R|ˠ_g߬ހϒa7w8EܼP>̄bD !?6.1xFk$z=? AzW(ɋ}>X~ꚑJu\7D̦~ťvrb#}Z^<QԨW+6ГrBa,WlYqyY@gZ)#`c4'M6-yOk9gOɛ/26="i9vI #H.?S#Ս" lŚ.2xEqOWBYjA1 4'4o UwGmgw@|~ ɵ`DN'GeI Fr[0xuB~yȢb2;kRtl-u cgcPgMd ~^sɠ- D⼦kV&4): t%.]T<LVOT ,#'_]c s8V!ycd*)bz Q FW(9-؉l9=WڲgOe&}8ZWҸcb#f7O)uڶ_$Xo3U"j;jtZlo6=I/þj-D HP;xt0DhБZ>Li{u {eZ%4V8Xl) B |Z ?*+I:MPrL1]"x+%H&b-\ aTj7&f2E%tUYUmxL y^U7¾g5x}W pԻ)ng\ݷHCew>~L{lɎ96\E H[եaѬ ×NeMW,%;yÈG1]4ZVdRX^DcyQ49yWžC +TK# NPC.&IZ^\uKР,maȥsrZ`\ݬ Dg>f-hvԿҫ)MEivD-?^S8EIX= l\KmX mZ_aN=xtfXoD =I_pi&xcw97#͈ӑM0' #PES3P7Cy^x ВG ۞}6>A ll*pB K)j=x]*֯?%nz$+`@AZhnZ|BeitT/l7;'H[<X%h)mz+T3~?%> :C!w$1]ـDn,v.BJ[Aeequxd,7i6`\GiI Ւb7ݦ3q5&b)zܮ<0aK"Hcg:7k(r7pAj& |. :Q\<]I^ߌEl-ј:2j쾭+>]gB1 KEJd _vJϱ/bZFP_ J F s䋥RᏲ|ƯO8P S1BGcY )ك6:TOauFE*׿ZA櫎G_VL |G̵Vzo]rdw KK}OGr:cZi ҵOnz 7%96+ -UpJ6Zc{)KYy ult")"\v.tk*剋lL$v2$lLD p"<ԝuRd]_y2Hx˵.j QV|V?X^W@B~GQ ?DunHEQa ,<+:# pLqInʭId X6n[h?%n#>y﬇5v ';TzHĹo8${`gZN O4v  er!{LCקޞ^}7MVMĿlѵĆ6&{0<PB^9SH#AVky;21)e yўg3Jy"2rp3 8mVn0u";/dƛ%Fu)cJET1z.0s|B>wXm^@wz A{]k^Z 6C]\DI6qNUq()1Oqw!WvS,B!Sq3u ɮX~L4ϕB8ZH+{8>ʀ&>k;WTU$яk2XĊ=p S)[JCP9F _3:,"-{5U+e 9$?o140%{feSdԾ;pZu4E܍ҙLnW]?V o @]E%0|хQc+L^{KFɠs>CU'$,4{ypӜ[l$0+M4ޫQXٰ"U K.=\ˉ ȜN9|-2eaXlӟT<\gniFU:k}~lQ,r&ے=ZȜ,.qS5>xŬD;ǼE bObYdcV Y;KU. r1< .#n ^l>!=7 HClhP>x!N%ƾ#9kǮ5o»^$m|:_ g wIWnJ~.=mzoPvMw^i"Ye Wh&LK\%ߖfxD~m>k- Q)/5wmtj'k1P  lZXui3IYagBtWo{ Mya~ hom^ij(Qܡ\ A[Ҷ(sL50Ή~VܫEʣKC3V؎5%X`|{PftO^ռJɥ]qN$ _whfh>{6ѷ"H&]Bٯ(&37lMĥ?`ϣSL-Iט2(gKLw']zrZF+IY _ϾN+ y9?y~fRl`DW:B\m loG.2MLbWz}r~ +yI;)y5CCuq?8bSp"vᕉ* Bh|zざptzng,xhjDܿf8L G,)}cyucxV1Wk5g<Ώ Hhku͸xGs_5sndcd8]i@R a wid''Ň2W cU79Z; )Z`_c9PmW!RE^Ft`t7+yছsZҽ6Q2.=!-ZݕsJkyzLدD^ϸvY$ y*92)RiU4F40XXNy XtSXLc&NoxöSfd2ݙe %"6Y26vyl^èU)MC;Ͽ8YH_u(M{wuOG Vc`|s&.uwhmg]1pGmyks HW( a}Ji<D^Gl hh>;zf^NZ9lIU0+L0".1\NiVyv8LE]*7@?|K-[Ô6Ԯ3^6O!&IPa\ W* S"Vi,3.936}+;z\5&lqפu 仗*>Fq9=1H~?>A|5@U q9uq4fz@arv'QY W>{Baڠ{A0 bSNhmV#*DZ:pf+مHVlz0+x_٩^9> a")HKqYZFMn AQJ~Hva{0D_O1;i rkLmEBl[#s $Z6a7  i‚1"D-QF8@ћ!zsj.vTι1Iz%@ ʣ 1 lv97 j6b̈ls6W=b= lPVvF_A$e$-m)UWa81IAW7)q~ զOϓ'@\5t<Qڔ6M;KT4QeuS,EoEcԷ}R2t创!3'fZ h9bd{Y'/t `Fq}N1Cyp",Ur9=XQmu{!dA& 2akvX #M$CMNN8|Gؔ+=miAz?WcAXz~UQnhJ+[_I5֗j9Ehi;QkӴ͢[拂vijB a;#\V cLož "y” >j&t5Kz-dDSBЬGi{u~栄G?χ"X{WFJ"\"ݰvi1&$lt:oRxb}e6EJ;s-i'ں4@ow/H<_G<֞|HG' 4L`M(^) )S6sE!jbLJBq*f1Y5 "_ٛL1zR7Tkeޠ)G?O d] bf/v&)w 14-0(VW4dVzXqsd:KLik|xX*QWazYpnr^6bf~|0X"GWTɇ#r$☗4e*GGt P! ʷtg 〾n-!`?t ²uQ|E%6,uR#}`u!AXc _('ef2m&Ҫ8(yt܉ZhMcɠ|N T:K-*)NX(I"JTOY:zmBoJEoM#8\ 'gSgKfTBқYŵU˧O+‹$w#QTDA9dJ=TT|Iǝn4Ww8.VpOm..E<xXZV1Bno_=ԚP\]W8;zQXe+ASkEύ#EqypF|,=4JF؇@jBb 4ՖO &U?B-~e9sr}rV^V'`:ݎ sbF+N%\5VkmS@4eMГ6JєO<רy0=pVCqTPfzJD#+6K MM{i, ҃  $KF K ܉1h%eeBX'88w`ʵ(߮o-& <ܣxػv>"Vu$a7coNX _wK߸UgzHB!6-q+Ǡ!K)B,k^Ψe-S٭l &?emdr-pխYc[#Fq!Խe' 0E_C p,5:}bǥ2B+u?ĠR=D g]mᅬjRk̄w1.v$To%hY~PCHE_%.C͈g`6|H1*H8TpT"0c`45ն,Q"A%`54ӑg:YnrLBNX*Ê f~NK&}S*&<0:&808k>2Lpgn1$jhϠT5죤Jf=޺ɢlj'֔1Y9Z'g0AؘouG>A8e5>We2j'lK6]=QwzUH}&vySzA<9KqJЖ;o50cV+K)2ᓅӝԅǒ* 3gYruU`QOK D>fZGF^fHo$W$W+ أrJ֌h/L #p_lz5=k{5,d^:arXםSqE2SŮñ,G *FqF`On.r[Qɸ4Fs)Ɗ̬O?sgYق=K4R^}>aÔWWrپeEW wd_Y^6R(aSSsBtg_`ֳ'&͛{Wzk+M zFUMU%n\,v28AR"A(ᑩ%N-)!=TGLk.}:՜x44}-3N7U*4Q(MVEls/ۂTfOXSvf`v,?wcK3 Тϰ8QmeavjR/:j+~Xu'{+Û1Qp"6nR燕t=lQ 8Rpdmm֎#Fc\eGiɳiss!k-4y! 1WcwWqzW`R)9ЧRV%kgkx8~3 ѽfomt-uC?T,0Jt= nBS9zMjۜTd4b1H%7W]qN=Sg\rPUبʶ6pIK\-3 h#o$x4#eM*s!$yEI Bopϙؘ|SbO0H E\x-&3]r@@cȡzxc}97@,( *9@'p Tڊ,$ R&ia MD8#B,G)|88W`s?xKҵnEÍrR.nQf{?ǵVN,xdft`YzeY)| ߮9Qd$Y_0 +mPj<:Nd\mJ4l\tg93 `d"FJԯ0GH,kϖf!-e물8;? ť;HBWD-|!ՄTS[_^ͱ Vxtׯv;kflі9wrn1٬w!oA7 Q`-*6=-.Xg@]u9F y\"o!ٗ3 itڇ0<;d$ ɔ Ϛ>XMX 'xI]Iœ H薶U]z1]fEU+K#˅nb3wzFW=UF5dHtWW)) Lxִ&ݵUNv56~ '7EVW[!eEgZ_g$!wi@, r!y7̹8 ^UlrUnӶ%, ~,S? ydUҬ|p}f Q:*\{޾ne[E?nw]]2NI zu*B|fFRt#*j{6oDh%5V8-MWsrʱ`ۿU>6& @ėU63wv0BNc*LV=1 Z~.Z