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  | |L%LD$ ]/]HOL-Analysis:threads=6elapsed=315.196cpu=1556.648gc=59.236factor=4.947zXZִF! N]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjVZwJzI9_  /M%BΕi#%+k 3+Pogfz+'3ZG :fNWuԪ)={E2S(-iK$U4 WfA jW.Y:]uPel!Oʺ6dδ5ē!ZH֣46c Š!AV!T ,IF)LVރc 1Gt'*ţXEXf7 Ƭr4)0-7/ͨ%h- ۹zt嶼Oc9Xe(z\%iI5%3[&v% K6pMS?yf4 % HOL-Analysis  6M ^<|"}[la[٠ּ?|8Հ.I0\uI㻷مWU%q(̋l1՘\2&0Z \rrcQ熢~X*nn0;DҘm[th'u#fh{@!`c.T DeD4J|~[ 'ЩjI2.|#MKe@;M<@o|$ILbi,ms݇3"lN8ksO+3s~K7Zņ^]I=N WaHnSHT '~;_U2,If>>g&njr%3'E):og]AFIӛF\=RT 8i'Y i0QTX!n5R2۵HX^Iz@ID80HpBy|J'G{82'"eiKO-vLCmo7;H= E*g") t` __cۆSwc"W]Tfͻt<*\ K+{{jkЍfG\VJK 4vx10a\635K9A%mqFO(ed\feW$)/ !gqw"p 5w޿i}}ሒ)q{N405;;NٚG@ny{N}1x(HvPIL+ة3c'D J>  n/D3᝝j;:o΍e/ l-*Nj((}_նu ՛el ezms T95\[CW$firW6 Z˸D`Q *Xg&Ga+sxW/7Wi龾'>t]Zk)h*3\bZM`/:B\Vcȍ;nUMh)'qZ7oUGλB)ڹ6KCda/`"#i*^m2͜pvԈi.fp 9tnӾ gq@ &/&Ws ֱEzA0U=fGsGuK;AX-ڌ=Tye@׼͉nQ-IcŴb ͏'ƏU9,t]0e i%ɧnASrjT#JC#Ǹ層OW/-ϕXY/OPtS9)k]XnX~Zgb0{m\hnՒGn6(זg(8dN#Y2S`0ײ5lljRG\8qˉPε<(@h Ȁ LHnMhČ 9#~~|{"O٘Bx};X}!7XbU:lge4 ? ŴF4'uUqJHw]$'pTnۤrqڟryI"?7o'&7_ut(I"d,A4"nwF|$OH}rZ)}RX}NAk/d?ڢٞj qfyyFfRf=z2Uϳ̖ˤqnAq!4chS(e p=5ffM\VAΏVZ5Y]:?.c9vT8%\ƛOyKPed Wh&r $.fSKΒ9dr]!g=hVtecv-g[h!}⁨ CHKq]?]ZDA"<\7k#_3p\ZL+ʪd%,iAGOCg9 /2;]:Z*2lx"ߴzdB.ْ+Ma z<|b & @?Ue^Cv<@3Oղ|`0/u='{A{BJ@fE+D > uHq(§vH'3Gw4j 쿳«y+a3eY974ٹ|,cOމiq]NNm[pE,B|e+}L Ʋ*Em:f}:.qDXzE4dBp$+(jߐUdNFx`G}"u$ Z`>zo!DwkaTs澔'ݲ=>OE)jJI3 voLi/% ì57043*#pF&[jS::-bb+߹#6[*]ufH'4s?8&<ⴧ`[ߛowdQ ҬпF$L Fe[7S\RI_d^IA-8)5 N]8"&Š8;`"NTJY]uSq\H?HQǀEGrTF܍5am2ݻL  &cѹ_Ź@:U_ kwHI gҡF`y\{ V2WS; 5)7*3 T+hw,2b72UC3iYo?,^=AxB^__ -ؖhߏmEOx1MN9WpRH45f!pP,9<(h=f-|8 eC_XDV/bgnucv3)wU@(,Ös=V)1 ,25g6]'ܫ4K&$9TW6:g ?e! g`>]\J';/CPPa,EaˎFٞv5ɲKm-{?3b)˺1~OHRa0% YΒ')"BXڇ%VcJB>QH+DݎSW e4b}`|d~$; + [ L$œ[%#I=XڽR!Z*1l2 <aĜ`Ýu~)u5fphE9y[XLTYLkU-cA\ _=G,HY2a!Ng@և105.PM/M+-U/a 7РDf{Z5'O :] s۶l[2U>OR 4.yJ{ V(uӌʁ 3|'4Z sb{A-!g5 _#ShȳP!|KNi)-!T}0 2*z^uܰb?72=_&DMGCpg\A.E\}q`,VU.v'.luI,GRIU3qx/ZN>l|//C93kVآjjny]fYzǾ¶R;»u̟0z%x#&۽}C$[ޮeSLYLɇP{`|?j(CR~HIIeGL?mAO&~-?FQ91IeO!3v Pfaं2% 0r[<S.$p';;fzkqv8(sK`_JN/صM.낵۟#qS_I d{N_ܗꛨh@l7?G-4ljn䥀7taf_q:!r%>5).٬)BwC:tc'om#v[7;GIah"?ț}8 ]qUh6 gn[,WJHncSc{Nu^{PƜȅgU.. RdvY8CXrGp)N}.@pGa?m_x{Zvm} T|]c-%Mԣ Pc k魑3ip@1*}ۛ hɦ+yJ>ﻡ)0}+Qdp>Bl!.fj0}'NJi6,n2KzHW8BZ3W<$9[5ITyP9D| *\qVB[ "yORT u"#q?FH|닢iiKj\&na;|@ܯalA?B kkDm>=TyFyz%.Sv^KQd0/N|<OsrA_Ckh ,)kƜp˴jbf܂qCB߂M}d١/0sHX;U|a'px Ps-eK`iK ;pU:+ IBR{Jy9/j-\VQaFhS]DUvڿZr* jLͯRAB=w|F _h8r7-gr%o1Ftk9%˞ Rh Ǣi7]}˕9u us!U(p D7~`z;U4Q'A/OgvbLiXJ_ T|mª>Fw(0X,#2N(lʝIVtkGqU׹wu?[opBZ#}xf%%'ђ7dF",-ڪoU/sG3tӍG^鶘 ,~6u.[!  r2oh24w,,o-Eى]uX6Ȕ%GқaNnjj' k(A|>~'iJ7b1rl1I%{$džXe ]`e k>.}s_a8#^j E9bQĨU]y #5z; f{ᬣCō.<H=3 1~9_80w'K=7K"Wa l۸ACZ7si=XO$;82ZnԲI.=&T'v Dp{ е+sf`蹫M ם v,:M\#[1S507)\]׳i`ФNBM R^e<&Ywm~k;V@ oyx:KFN/"KVY&MN͓Bt"Ȉ4~͸&bN+hY1 'A D<DO-4 ˉ{qV<Ţ Mߐ)^J=o&SPRTAfݸ˵&.<1wVi$&mG*^3IgR}2k%.1uvPZr (8Y潕I]"]vȷs/q!W C^+9A'Sw(MRDJPq IVӢER/TلSt.F\̐T;FIz|שu;) 4Tcy4z<]K8G)N}+ʼhTnjMy< 6)NɃHuD]RFΦ ?j6u-? C-ͫPK* )Nu7qTPvU̕ly$Jq$bs ]2U,ݧR'̦7 j^>|:9;:~_nۉi,}t4PK[E='Ź]pE=,!YKS^%"d|7,%gZlp "$/R{Wd uO*D~`pD$$*~cJn#/o{l!ӹyU[SVj^B:nNl譡Jƈnٕzm? =ꌛ&z{ 2#4 +Vi[i]A9ėB^XX2Evʁ|4ˍf )Oρn RΈ߃%g)V,Iu|Tq .9RȂLBÝ%E՛ Hjxv!6Uiz HTLHՊ^PHX׀;_5Ӵ%jdt5wH/ёVrBJ8ђ@+ut_KFd'j3\Ŗn ,)wac+aq .cO~Ͱ7%ZO6 |.@1  v$;w}Uv&U<Ai#wkCy* uj~.mfb5 iFRwLx7_NTK`aL*oK#x^nE;D0"YOR^u"o8*&>Xp1cfzHdz tnl/cm1Yh%0~ϣtQ6D\_N2RAI1H)Z<+ի`V)Q`iMW[M$1Lz÷\ib_u]m:VQu8V3acC8^+"e @gqmS e*N91%˰~^i~ yV|N1UVY&r 5f%SgL$: {!u~Sg \Ҙ j^˵Q`7vފ (;ya&D[tAIy ~*q7%j.5>[^$D."GC6PV?%Hd6~&˜|ZAkȹ^KqP^ײAgR W唧۶3$?Ɉ c#B L!ACG.`BǶ$10NeQ} s[+nم\ fW泟8tY~bC #κꂁ;spHq/ikӺH [w68 /k\J GQx0JߪVu3+~SK?ǽ~Knl+ܴJJ^ﯼkS9-9#;eNs=}Du :k5 +:vsd+7_x|B4E坚*.,cz}Bry[|Th|Q<L[jO_2%o Bl${\x%[$tƌFX[D+ Du6PH«+3Nǔˆ;DN$ܺ 4td(Զ3A*,AdzUP#Oxu+ Zۑ=f[p0fXr1K֤tRjrIȐԱ}QiD,nߎᐁU&o!:3j} P@hD Ф1 FpxK4u;*l36|+k!6prB{ny"#P=Ga#078Lh\QlqlDK2"Ϩ aTj[Q5"bP %D=zor6'O(@4E>hY˻i C}&oX.mLﵗ-솏Ƞ&>:s:P'My ۴t9iB_%t3iΤ.W֤ʩdgߟ:M/_zxU(V=duΨ}"{&Z)PE8L˞}qiq)ho |a4h_%u,[(JakZuy;2Tw̞u{BN^jo  ԍew評M'czll_}XBŊc18Q8|9.Ԟ#SXfP8N/WI8s sFHߺ+\Ҡ|=L"QiWQWoO5c$j&~O"" Ǜlz6'%DGDJ1&D-8d Z嵲}/IM`e٤waB?.\0a0X"!V+kЃ -5ˀ4=61`)1+zՃ(y2U^ p| hh&x&~7 ;aGM$ +cq VN7%:l<ΎieXc$$#xC,|V% [=z,?e_[Y2 7 A@AJ\i$؂|  S0>1n@};13fnOΰGlO@,;ҳ fI*N|њbGo801{m=f CÏݔ'6C,+H!v6Ѻ(`6}Ne3J嗭i2-g7 i;=We@0r&e"8 ]yeiaNn(,g2z$u"ZVlИvҫF B4[ISJ5c© xdQꞕz2V̑u7vS]Ϸ^MVCqh ڪ`*iwy|ɹɨ*Н qa64\E-r;IF\RR#scO截,sæ5cx~xR G±3lY졂I MpXL{}JCcj\ N94;XZq =y?Ԏ]ɉsMjiI(C3dQonTUX1L.YQ8\-h= BK쥁fj{淇D7 (m 2^ݥ TV'1gcijbQ׾4_R~06liŠj .LQp-q%tޱ"ɿLL&;}[ PF)qqܦN7br/ U ;hh_\M<*>CC&0w14'NyڍdŇ;R[a\+"'qb5s[Tf)$2bII⿏5t\'^'N6.BoI: -QR|7@]/xl_јVIe<"l}m.CgWD>b'-J" 8_u7J@CSs}e@^%{3J c509/̙ߗdʼFŸ̵5^nrCOϥC]pY5/RVG*<W3b+BþVzU ?,o=tO#Hd-| y`( k; aIA:< ;.??,6XFB{{fk|,#-CGID5%pW k1];k{YUPmnw*B}5Vy_,!: .[yz"g6v TPEY)A!MOyWe,ou[LC9r߮@Y6 e% \  Se,T[%'O~qH\ڟFd@-~ݕ9p F%xNeEEFr5M\O23|bM$%k>f83=Dq˫}S30\_ʣs>fQLq3clq\k|~xk2m9lED^=Nz"ƫ0/m6Mvك1ʣOGc@Zِ7\`#7 N Hߒ'@m >Rjkd &v4숗2~}E4)&sFs{V>PwO?9V:9%\etVLT?.{t'ZK^Gpg\ܳ16紦)fc0.r@?DoHh^՞-/t A4kUV:]98PL GGN<88ʰ,lF^O㺵EGl3s ']l2QoyJ* nO{P9%dx"#@ U)#xS - 7;Br}߽A@$yΈsz  KY`ZS`:/BwvW7U;w M8䅮otIPH[5ؙHft?kp?5+ֿNnmNʧO<Oš 3DRf8WB)Ż~Vӱ^O^U3SPɮ2F Zp3J&1p:3^ {(—D0$^"!ckؽd9hܚvr&8Dq[YZ'? *2N yi2 ﰘLIca;V:;|]j^>RZ^uZ,ФIy8+х_)Ϸy,27ҡU#[\hC1x b~QSb\X,<<ƺ<ƋK/,:ں-Ɂt*g KBĸ7p F2h|ʻ,cqt;飻,~˟ʶL2]r V&x4ron2*2'FzaNT.NB.ád/39u{&z)LI RJy6g}KTp\ޘ\ϯ[y!c$+cl'7a ]mԩy_M*JYL+qw5Ƥ CRP.{glXڝ[X%ul&>)%;DDV—KaҴ5\ l"x=:u,el 3uxG%nh?Tߠ5qLtsMYEn^Gy2,/QM;QsP#U>M]v o6Lܲպ, T\z^R2_J<xg@Yo}3U8j]M^̲AOAW~$[|3Ha$AH EM AWRB1kesCdD9 6Gy$8Lwb(vL%5eKjU٦QrK+:[@kU,)l<1`3khiotsz푍 v9@ &j]J~L,QjNt$ paxb(WxCd)Cٚ׈AUPH ݵv)f>06CM#Ω8x5Xc,qfwFp^m7}d8@#nBs5RBmPXSjlWHnؼ͙ki8J}h<Iq CwXp{-fG{/)p=&"Mt-f#_Ll֐ǬM.Iw&$܉mwZƆ8iƤ:0C.YWAlC_^2  b ]dJ8©Unud.J S0@|udR,&[2u[`I4va㴄E63XbbMuB, ^7GY%[ 2Β7i I}>6o|Bw%o s28nrGɖ^ TFx/3ԍXOŻi2YԦרΆF{ˇhu!U`Z %OpnUsU*ɠt$6.qT#$/"],iɑFlFo;nOG KR9 N5gh ^()Xa(8KW 9B35_ZvW(t .ޣXu& z5kƱyD5auN8N[<@ ij'7⎊\:!sTc++M G捿⿮>V(SzЂֳs,co=$D3KJo*Q%ҩ{9@Z5:3J xt !Kb55{c{ }bṀ,}t z!]'~F6 ͫ5vJuPpR俎M?So a>Y&zEݪ'2~ V~0Wk>^h_?HraPF9-<xy#7 qt8?_NXg[N81ND$]Q2 FuN?Oj-u"pLbwƹl;ܒm(zCndEkհ0a,Q_PR-r0gX"sX\Q aOLy]xQQhG 6%M!@Lmׂ0v I.A7"`h𚶯0z>ۯ&rTsٿ&4)ucUH?=E'e80Xe|IRtjtA\+)gYZ7zXZִF! ']ŗXiɟ1˦r!cHkMeBd4>̵1ƉW+٘xɇ&20kતbQ f 6,~Rc '8 nW-ҺNbf8b}(4Q><;^׌mcEnj>heF֠5 Ǽ~m`ƉPf$W89Uq)onl#v57:oRn:Ģm!eO*qtMYXM?aOܨʛbqyW u#/W ĩ5f;ux hWiPݠ`7S+ ;kRn_r4Ql_*D V5l aM TVR٩KkBpʩSB(^kq+89hU|z$EA K! :̂Lú m|gvQo]ssn`0~ }8{#zpf; F]42pۧٽ;|U8oR4qRǒr vOmEof`5 3ژjI$8Qa6@'8*`p=L_FEOcmV%rh0͡a|A.SOB araDja#۞pNs[~/\ʬb-ZEKmjR:1B:{AOr4'sw(N. t+VC[+\Ɍ)wGh^!y@d) >b0-#\];Du|~ٳvЗkSHXt/jnx8p+95Ҩ"اɓݩ,i!0@ jbpm cUh.em *; cؗL-ϑÝY\vCCCGM߿h#kٛ3\H~1_Y8fqLc F [.Klg$իr eq;j>j,%_$~%1@HϜ SsM!&;=w\:ؑOYA>nIAd ,t.P+Ы7u8ziFv#$^m8o(^JכZЉskݺ$ުv̀w[LmӰэm.eCϯzn/{ fӵ`)<=lR(^b'j;rk @ұ@]yR؏9ɵJk Q$SyRXnz!:G12db&޶|[Q+q6y*'e'ғy$(G=K47Q.BdBQhus9{qh]zMQ1q>DT[) tVNXݱgYZ7zXZִF! _)"?`#o j^2z0JH ?%abcSɶ^ppbťsx)Cx\n+j:O]9uLxm "ɷԘ@9X֨`LP\<Qo$x%+o8t[PJD T.U `u퉶yݢFrh`EH:׺75-lj02d#TX_O79ĊfąCXdQpz@-.:moUb4ap\\i~Gը5Q '!:n.i^K&>Hn' V\5B,WA-"XtN%`jp+uO >D.f#/q%߶,FrniŀV,~!xLsw˚o⠒9N,GvCQCsMvOœpRDA*}<E!ʛܒjI=6f0uk8w{h^/|f\XHa-fij;~\9 wK^<o{KGU: [}ԩՍ+fKOaKNʀLI Y2C.W#kZ40bOܽZEg3$?leY/-OFk stc~w>jt?7{d *U/{0G!>n R KY"Ca"I'QzqMIxxۇzd{}[cbZJ*G:f79tU-Eq`enӳZ4d[rк57VR(KY`NS/TSrp r!98a+ɉA|T; hQܲ@aa-"APl~xaY_s:Xg;)ҹJDsĸ=Zͻ`y~"8vVx%lKgZ49 2ǧ !D$!IXt/Tr;vLj):]=DtIۥ2h4fc`˶'l @-Os,Ο ӵrĿ 8dL2gh='ɑ[/gp1$W}VGmra 6x&6D8oGw'wF~9ּ*Tzºo=QZ!R=pZvb [~D4u!iaˌy1鯰\K^ُ:} ڛłQcDoϲ6ߵCϊW@ 9q4B5\7 sw;?B~j?Y}eH"|6L[̇3(e,{&f Z^9?vz毤cGf`hH\t@:1Bc7f\2 ftcnܜ?Q(Z[0ΏDT^Z5# ʥ/ wiB= XokW Z *fQPVpYy?f|auuO"864t'RA#n[؆OT#)P{-81J_ЭF8<|`v ދ~KG r&RfDo,jLï{Eq[+PxQIOYIFQ=uP @'{`EJzU}$˗{*`cM;8NC.MW^&Z0XK<Wgp6gl^"3AH5|>VKC;extdTP~@u9s3Z{TB#2op)i"pIDP$Rk$1NZgIu5= hIP$ Rnʔ80$ەի;1Vs?\x IOq _ E"P|Xj V^[ Nri⮙」}=M4K2X{GqG@Jlj9=%!_j  OٲGQ릻}PzqFA\Ќ@!{K|󎉨Xr)@I%&9opNz@"%%"}rB,TϚw8!Td@`V PȊW0kl1x7pGjv |LsBŠ4"خU!Q|!XaE57ϑ" t-y;`"N˻xoPOn`F-̨)A<_#r_HM". j]{z[a`*AăW׬EӼCJRyb;90jeݖAlX}K)U:W #_Vh(kuxls:UU*zM:_?VvN,γ_ zVx?y.9$_<[ihts'c|$$FH|b!qZ]0YXyte=NI\׿刎e=9^'`=O~1*5Hlnfuz h\u8!>ƉHL%ip&rVzrmO /(jTu4%y0kSܜ⋞ɵ,UiƣZɜը q(udKj*CNC|"{Jl )<{e8-e \#D}R Ğ^ 杬 |$'K{?=yD^|ouB&1y0-3u3+ F3*_|] <^wLEP(}O!a1*^ 2Mo'viT ҵQy7-N\Er8bHM MP@'dnT@Wʎpn0v5q $nZ6kfiSׇzˆvr;-ߣ?J[[8-OJR)"uͻgK$UPO JULZR+=)1=Xձ.Q1{Z(+݃D&U52%*f~A)|Ͱzh%iK bC8ثa^ԣgꗷKg XZ+$qZǞ} ʃ)#%g&QY=Xon;i,r]MqaXrhF59]R_lw|uZgI!}9ckL"iy1Q!@m];&:+vj|&^-(B-w8=Ҕiw#jg!R'5;Ѩ.gg놱3OcŠm D+"7/AMu[Dz<=(=g,l%+^_=3/^+YyET/W/-#z%\ 5rψtvu$ Uݡ}+(xG&}J5#[6 XmK&{)|͹*op5`]O,˝_^ 7'|:bŬ7ynpM\U!%M8̠#lLDHyWxgJ 3v݆ =WmHںV Ox:`[d׼T{22D"s+}DȄ[uWD=?dU81lХT&ގjq~qgf"8%dP0BR)֏䴄z[ԋ5bDc>IGe)w cץڃgґx a-X ~y26 (Y&iY uut$OZe1}F룜3xou0čQf1z,Y>csƕ6a->(ĄgTLNeX8f*w9M f6"$]=vHΪV![5_ago=ìL ]rUTmm3-QTM'O?3f*~Lb-j?TS* ]m̻E61dc]s^F/YJіЂ*j&e_v}_Xy|7-9rt0]WY\t gW;"7A4M=YO0oxx7)% 0Pu,kqjWr٨T˖^Bnw8~wx~5Fx9b谴é^Ȩ|Vr>@-'(]4Q?9m؋X D ^} _-[QJAݿcy3B/:+?/R=c п&U.*RF,/'Hmvsz;19=% eH&'Ֆ ڗ*N$$MmT3wAB"Y癔9BDUI~frB ta403(Ca 3y:p3ZT@hʎS퐤7.ln(lyX7ɺدh1xYn^fr*PJc&YƼl~PJh9P>5FguGɇБ.xY2O|Lid; $X)\/y,X7BEmF;hNcxmد:qJh K w&=Y:Fsځȳg>֬3scǮ9lqZzUCaS{`1MoJ(AU3̳bd= /ĜVal$8iXbGh1.!d1,4d5H.].Ōy:Ũ[zaWM]JoE@I ~1}^kDHY %E4~0Ǵ=42Cn|pf6 qQbr3!_7@X)t}|D{i !@Tuxv:Nb^Oa}b&*݄b[]\Kd$#N[mq2+~:An _y5FoK3 +hoyPjgaua"@垹b ǿL:$ddf9᭍a~ϼzទoE,ޡIQEp"JZgl0,fc!Qx<(T H0Zgoq<0^(B@m Fj5t(˚ 􋆘`,ePfRMKTqLg32tXRPs&c靑k؎,u0rإ<6wy;.)XO!;zEg˦_ȫ>f I"{uE6C"2jvĚr[UQDD ;>!Hۮ, qw[NLYM7\Qyl{/l\wl&Vz4:,qCEFHJgfx5nW"粴IJ9}&2"zȨzX'dWx^`N~p~OہvW -OkV"B|7Xorxj^Iȭt^]93Hh@lzXl$ʜ -#-^L^6dR!nazf~1z?K/2w?lF"}+"k҂R%H>;f/ dcMi%}S@&!%{uPM#'+(2^EJ^ʓ;tmFNwbטÞCۓSgl1;1Εa~ȈG$%fv{~wC.k}uf#Gʩʶt@;1]qA6A$չc |be70#nͷggLJz 3ATÒÄV7d5 Toq8w8# +l@/}_WٸM5jRdCQ=΃@(4{ ,\)TcA}`a:q+ﰪ1!RUϷeFMDK/~ޛ38s_(Ddz 6:@Xcw`g28{ʒb Ci?A-<"ym ͊Jp{7쐹7E֚,N?<1?t]Re$!may]Ń!Q+IN E [L8jD() z9#]e;ٟ@G2o:8S5־+03:˾_-`C ReMel/@ڨczh9Çq 9(17%I4!9 QJf2%8 !Fv97nv_ W5genͭe4N~a* ~F/6oz6_dif|X^ew(T 2=DN3߸@ #V,cU__@KB@5Vu'OUW&YnYz;>U 9癠'G7SLj7QD}~OJ4ߎUSyz;U!ݮřNB8Gb¡ /!ND F-OtqBdgэ)131_9G^9ڍShT\ ֖!:No(oL8b ΐ_+088LO/i+Xd{Ѯ)|3%Z4+BlRtI)yZvVLI>:< Db"َJ/e6O@hA6;Ir{dnȫ_CLI%< -7&PKT76h&\Sg}կiB[귘Iz_bq/Gګ_TESUc9u^q{ #S K*0t_ ^9j-vٴCP3)guرSp/QZCZve]\Qlj5> b(Eko A0=UKIųC_"n)oE.h#Zș5ߔ]p*ŒlJDb:cST%-l+@#%V0AJB"-.OuDM>hjOI+cV'BD*U4[PG.37wDc+cVxe5%_XJ%hm-m$!>?\tc D<86lRzhmyn:K_MGOW]>|Ew+:8/ϏK°wʨ~UE^Ø_*S(]mRڽ~ p),bN@ ?la̫Mo^_+␍ !ŏ7*KF_G|UfD [ӑ096z#w(ay ݝ_25aIY!lۥp̼ی@CT:dW/%YrYCuFj㚄S?"k=HρSJ*8ck`Wnq]tLx[>.CF_e2XMzzo..]+tk˒3'P%ò@Ə0k9hz9A&OlJW k/G'fܚ;գo .)ެElb6HV)zܢ*1N6gy^ k8Ғm˘*i;Vҭk qp+[xS1k(<4X$C <7踻;4{ 73Y&MܨzY&HdvLDt~λxY6B[?mL Ofp`'<Vx$,߶< GǑf!q}Ck6ٿ5%yr` J0nM9v;sЊi=q}DMH 8&O۽*KeۃU]%4F[FQ/1MQ9ћcfA^\6ݝ)Бv༫jj@ *djj`lBU ?x洬.l , jqr|i7PÀл?'[]u1Ƅ76Ca 7RSUK$RNWc]Ԭ OܞP "$|:Aa.9|RgSW$rۑC8*G 4O}Vm[<T:hvgGl͂V.C PG:sVEנ _B1ʌ]7dFQ1vA^7S.(?^;1 w>#(؜[k~#Y%]VUh닷wZjǵZ: [jzq2kT5e3[vLєU |Ai;"Ð ]k*- <<9kXeY B^+\&c)! 5*9ڽ"8Ż&=Co5D-]{9 YO V\%c UU^B-7OrײMVZft⯲6It"ԊyoKb,͐ ="dim "s8 |SmBw^8혇 GQ,q>s]_+0e'z|<_l7BACJT`v.0wX,2 ʐ'8CL+ n$ U$.Awz$jѳ3YNBh+&J{r.DCXv}O%6լ>O(M1>YT.RrK_ ֛vU\/G*l0(.F% Dj!TUW&N@]"*Y%z֧D l!QlA2W2oE9vĒLM VJJhV:= C\h7D(l^P-P8I0QYVQ=Rd»$AlLe"j7RW)'D!E၆[ WA1J7NQN 8ʳ\@#6zj D˾/.JpJ4(6"x2t3 YqP֝aÐ[kkR?Me4dLY0EC4*dB .ij$rnډzV}'zʪ-R/s+ʪ~{1.. 7yByղAAx)E&$BPtCù,FD^+ҍ4AmW*foS?60Ѷ1PwA}F_LZ4@3}ؒw]"dTɦ]\T-H[PZ!Dyuion h9&tX6{lg=3S O!uWxI lt;- @XHIBnxP'?iR(rJSА«css{+xcnG <3Ry桇tcdĮ3hh_l o-攳9إ>e*+Qcc:tB}ML/wƾJ蕱&a!8M#=*?$L6©KЍ+9&8˪`i5_*4ZC=ay_tS%[XZ '[O-|Faeǜ?2>m'2r]4"ȔEO:)ՈbmʄU*.qhzǃ#EǞP'KYD-0HqTIdf>o4q4If3*\nNFȅ^xmd|=N-Ce"FM݌YrШUX"8i3.a3 Ǜr590ഔZSdz;,nv$/,A_jM\[ c RJ$Xn r\83ZQdCTTVjV̞`UA/O0ު5K y)pwQrs"뽥t/o󪞮 Va7E}r];XRJsĜpmwW@n-jX jSF.E^n`}_#Y![5b?^U~eJ7:vH P`Bl\O :j7J{t'hL ?-Uة4,O9dC+~q~ȈGzpvĬ\Z&2KY&>jufUxؽ&@ǧE+;Ҙ0j'L/8U][}>w|ŽJ1IA]LH~)n֎bD .#J֔t9a\q)ݝ ,`i'LHL'mԯL!9E,g[Nl*fn"J(;gWKR+РRpGO ^l6Ŀ%>ӜLPc= ,S5ln x1lfqKoQҐ&NNEw^熚|(kSnfézFFiq}5Hr).:P(cl`.JYK\/Dօco>˕3}A~&b@b6rDl.InR̮J!Q:D [tj$}[ҌD?U i)iq;b3MsCw, 0Jh)7s{-;rMeNK:R +'1bt]|6/L!f@K~Eye5+^;_X{WHq"3*9L`bP#?xeњ)+[-14L4ڽ :x7Ww]=hu{1s`]6<T͆hߏZLW]9V/zazG;7u-d`aژ90>;>D`,Z<h/1?4WVs\>Oo C2/UBexȰm5o*#4y֭>ר =3R>"OjRĜdlLn F #iw3A#0? +rژ0ohq-扊kC8i@\ @6% (*<Ŷu[8W&c"\ȃ -i9MԖ ֤C*0 $nc3BVRPuw>m? S+K2wP@}9$e)AP!8 o- >C_IbqJ-q_ō1>o#1R yfq<^p*9qR!XdW+22JAE^ޥT'}(jc| E2tͼc-+(*Z?M~WMhpvH8~>Lvf/ ;3b5_Z'foأ~6%!Q<0q!Veŕb/1l.ޗ/ -')H`JA>޿ŝEd8|@fGYP@/#/@IfNjڃn uSQɏ0[~~?-3QRVD4qG/3R.<&WDNQ-̓xf4o4Mf{m!a슎['2/7Rm#ķ1x?֢<+m5`]ۆGaqeGq0rLv?@_l#%| A⋦ׁ |_BCV,Xe # DԩO<U+ǧ^D'Ewk-[}·;/A"@fOrYp "?|َVj(:VM]$ xL3S rmQq':96eQgQ7w( 姀`o 7t5S=&rgxMf+!\sLGKئނ5eW~#$1 T-aT1 iftL~a L!.v'qƃv 5aP`*'VC[ne9JѤFB`(40f5ߨf#zv*\tL$&Z4U/N}HD>gDpEnБ;cL&:HG&{ݖiOfjDd(upP@Z$r=6%T 7[FrKfȻ<)½쓚%CaN^陵SڼnFq@y<Ж!U`*)ȡǢa^%Y(:^[=GW5@s9^ E/=\Vd2~Yd*M \w9mM@O=;@cmC 'F@() x|B6)7ѵe=O<[ } NL0"l;C>glMqTַ#KY}"=n9LaEÑqK6v(k1XۏjɃF*#p3F}z.L3 yb?omz>+239T$,hJx4#|  ^Ph_5. Erda2t̑!s1pw1g:=f4t%AĽr耐Pe^h6 #wTP!9+ʏJ G9.JhuR*)UsfLغfQˆQ8q .rKt"-=83L3wiPo#drzI{I x@zpI* Q6P.,<gG_S~bilwo1?Vr`ؤz!Qf=~JeY3 gԨV&~}2U޺I])vt?Aک~EQː^?h۩=+VoS߽RNI7DUX7մ㣾w(;탔W P  N$˯ɵՑ\M៲˰(ą-ʢ6[n?O]t Ս)eP~&4hY;`?_x+j0R'$%jCԇxHgɊpqh";ncAo9(>2wWێ/v]N60tlʉvV wG&f,΄ 'm^L,L"}@2:h1FAٚ\f-K)R#X#t{˰dn$ 2lF]N󰇗CkJ~Jrڙf˃FOWZF/Sl&c _4X+Ӈg1ʬUB&<nck;Aԓuhh,*,?Ӏ|| XN:b1lϧ!L/`軈sRΣA~4 2|Y\eR{ u6R(>E]Д%lJIYɆP3F<<=foüɸXT֨xʿ9tr׽ƚ&8XLه~_`. qr1 nDk"w'k2Zn>G]u01=g/7$v^>؞s8e"3Кol7Q*r-+H(ed\zhtRL7.]|,c7-_&sFՃ&a‰~ۣ=[)T?9'㓽8PPa/ZrWW.u9 3[Eju;j} ]EV>RDb27= PCoU,_*N8BlȲmh%%{I fW$4cشd"ⅺI-[u}bH`QO0}4Ԛ%(Gw/(b(]:Et>139A(%JNni +ɷk)J/ؑXe}E܉~~4DɭP%>қT0 %GC$0YCA=D6X8 Gp. [ۉ[Va\`4WՁmMT_gw|E٩zqvL $[bR?K]#Aݓ<[Йt,(%eZ `#Aqn$ p$} ݴ1 ՜ďOq.S)?p]h-6&5`6oLz^pXw0j9"S{DŦ|Q!q8֕|(ug}9~EѼkK#&]higkY!?S3B;C?J|)*\V=WEڭw6SZo!|S0lKg“ \]&ƐhK*A/oXOTQu;xgJ R[A/ ecRHw)/'X#vaFOjrݣ|X]͔耶hת5Pl& U>"v04ZU|jIh/nKIoaPs̼I82(z"I!6ܭN{~ZmP<(VN j |rڷ:}h$BVG6}hѻ6XKNFm"\[Aw}:Z#`K9G/2ѵ,`0xuI5v|;NpicNQ?~=:ïjIҭk>k a!4ٯlAsW #usɢ[˭Bθְ㳿%^TA|i٣ x?C6SJ #̩ɦi+.=kՉWVNd^UPu1|J66}*7o\42FpP2Nd.P%nn'n9Brٰz!>j%~d糏զW(%OnJ1t]L~zFê) \Xiү"ީ % ktcaС7 +r o>ƪ>z[d7wv됗GgV|/ht׈tĭ5l`w+rzgzWْut}EGN#a .?YV&ϴž^/&-dOu!6'Y[ ^t*(SȮ<ߛRAL(gf:sLu.>L@Ҡ )$:iS1}KՉхϘQ)t" JW[rq|JoSߧ2w`x,KMosOU=DS2~ƓK;5st !WSwcS'22^'5 jl)J^h(KL}cӎ((^h5bwRykSO!jqt( e=ͭ7nDz Y}䘦n>5q,$R0>inOH̀.XɵV1*DDZY;}E]  fR4CNlRRTŅ%4LާɄYT6pby O`:&e`S1 iʣ}Q9 q5?}q1Zsc ٴ{SFڰӐ|pϷ:u1&c$eh:t,9!0ɶYF( |7%ĕ[4\ L/fŢBB'b 4?M+8eSȑVMT,UىT[WNʝ?d|~2Ut 6puw,q+ZS"^Oݚnp y} xS*[D-1 (3Ӧ=.yIw(Jˎd3ڄ|?Z,R>vRk35"T轋!n P~VtlCfBC ٞ6 k ϑl*f7Q{U󺩨oyJ\3Ж ^8XҺ4mtĨMamj2AÁ%3gbl36^ -EMpi(k2:(B¿vRa:D/SNlBm7)NK!]"k1ަ^A\GU@vOMGGp f2&M/}!]47X{']t$Yk)8F A2=-N/rƬ\#D )CC|r 5'n%J~47]YٵNdmꭇ&ܞr>{+7#edՐu pӛ=;Aֱvx0j1~\އ {)\hh'REHWTDAlUj,վ'~!Qۖq".ξ(vj8JHOF'Q| lg?πjf~HpU}zDƞ˘mwO S ~@hhj} Oti5.d`O f`k/7n^tXf s)yj͕pFeo릶e6<9f}5 $]/-x h w^Q*ò>$ɽ(;o6s8?CܳIJ/QrpC? ˬb𓝆:n7Zv[g/]&x@PE4z '& ^_e`Q(AoЦ^$틀yGR[_x|m(H7bz;iM2A;[#1oV?++UJ(+.FhetPP{yo`%rNa:Ηm=X:};x<6@mZ#78[&P胲OOA/WhU SǧkeX}l-€!ǟ}ؙB&jHى0` f~疵?饇}<䓈G9p.fK"Ŕ=b(XͰSsvb}eFփ G+<)-zB PdbKL?I`ƪ7rP}֕&d3C|YyZe{!~E)hLǰ!3eskm{0Fs<^qxZN$P,^~t+Il>LcY< &qgFQxq?+N=9~׿7r2bRJ9Y(tw50 r26}U;M5PpIDԛbԧP+dAՇ⟯O3дE]K{V  v;T':+&GPي!ʕ+E^> T#n_L6"~B2Lu1ـ PLn)s̯#|8_8@&Ky'=abϤI>Ta!*AշG)>@,[rUSr}t;,xTt`X^/: V>pJ1K8v(hL܂:@ 8T843GZQ6s?G(FYmj0,TƢeGC"E|*BeCAnFՉ!Q2_s}ag;Qx?~C$j l-sT!M3;P` qx3)U# 7tSH?~9 <]o`=ݥ|y4BO6 GoC^<D}0m/ *쿞Bge'LާMdt*Ь I߯6Y?͋qb@vO}Ȑ%Ynp}x&b; }zSK.A^/ںRwsQQy̳3WmcKWw/E[Ͳ{rڔJ%X#T@C&|#{b g:)ۑ򾹚Ժޒ~ԒO◟6ez-n2vbhfcIVRAdJ ;eG=kf~hDtUDʃ? AΖ#^R%ikt5jN)Mypcʅa>3FVߜiG;FE˵ͩ?TOlB92/M^-QdTc^I W`P8*mu=>ZS?M )']>৲j444 m*SpR5[vSk!|Oݢ3kE?:_0'YPF | ۴,,%~Ad-k< R,*5ȱgYZa5f34d5aad01ea3a264d8c7b1bbf15cfd9349fa199ecf617d9791e97e2694500834b58fe8bc0930e fb68b0842b63fdebe460681283f3a90a587f7212ded332298d9106ecc178c6c205af96242ebac3ff