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 DD!t$l ]]]HOL-Proofs:threads=8elapsed=741.405cpu=1858.451gc=291.228factor=2.517zXZִF! P1]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwb_~<X$V"R mD=DyYiN"u%==Q BJxgk %&Íz'p'9'd|.| uWʆ:\#[XXa"a+GWIuߣCXwo~ ާ? J"U8>2+M*e42.?={Z; Lpft$/4}ZDRr5oNO[:kDwأjS’П6v2J;RW۟0{iX }\?B Ȧ3#h * :dA5ΐ(Np,?~kd昵3 lsCƖ2煇r(ɑWƈsUٹLu5*3ħ]UH;lI-$?_hJeұOŊvX?&1^LB7]Aoj&Dռ2ɂA-] sB]n1WaV٬VI[gDZR&xsGS Ahdsm+#W+=3e~sXL͟OjIqdA?84ijd%| ORܛ*$έfH;w# o--hF =#[SL);-C_5~72臭!<znڗ/vG%Ixx5=^3Mʊ~ꘉg&3pI<` :0 0VѓSJ9B\;w/ ( fi-@]eR5<5G"<LZAv[cV8tvFxcZ#|t@䧦[f)Tl'>3cAw8% s%H]smt#82Q; E?_t!`w)l[ h4c] Vhl(W *uΨ}sڬ9#tm;zOk|ga*txa-’SvRZ?о.Ū`V[TV4sa2ױròKйh Mo5˽BB,hk;e1DB5ʩG4-Ox[s5wFX&ҧR] #yDkN:dA^RDpft%IDz[M{5O]fQZUeJ'C_˅i+xnj"r.^bfʛ. Iu{y⁌o ND¤ޝ<[IvDҢ4s aib-7k1/j5[ oTc㹁_WKpy9+8b^1&Wz3). ]QK-AMf5nOJZgAFB5~,H݁ FYeq (J1B}'d,iBX*՜ A1ɢJ'Hʎ܆F&"Kl®%t?APYi/!0A (%]pWr kCJ .=3;os?q1ɠxfvHY=j$~^E"C ,uO]4/yN3v4> 2${\CFRv/8(!/wz?c^VH>MFRU~emnphϚD,HPuCCyl}S%Wv-(HNlrt%u671z7G43 Wqmoe-ִܹ+oYw#,\#&-iQzYU/a˔Q I?~L<4X7 IoEhBT AO{ޠxL 9>Ps1a:,2{LAQ lߎwh 9,lu G i/SU^Xi^AG/B8d\M;_)VYj)_a%T씰VPw(h~ >k9A@߷6 4cIjy_Mxf@ׂpzY?gփirH:}ZftE 7̰ [T4˫ _Aɍ C*X2mN ke:ى0nBg#b}~! d-&<9{IF윇~,s}=}&Śei|9rA0>]|0]]>TŘCC?B_j({)NIϠH'&3R$E Q{M.C΁w ewٗqCd;@Rʩ7pNyEɒEj|;Q1i1>A +Fm vY __C4hx*- ?M|"FlQx>AATGo4x;w]o`nxiߜ졼? SȦ$ө@mН%$q/J z0-JZ%_`dFRq ;mEZR>xvzAS!:4Ȭw苡ߘZxkG+ʝ?I X"0pd+7sdƇ?囆'5u/掻YGhs֔l<̓\+Ot`-YA$Br;S>jLi)sV9alUGe.rJl 5@u9 28J8og!'+uXl%n2G-ym9l|8ItY%iWcDZ_WVnEL1Bu=j_~ԄޒL27Cޜ8v5xbg6I6ܗp#xbeԭ8lה'QVz|PWAɗ%ب*E{3t\ ܨp9r&An\uD9L`<ģt' ӱv d(_Է Tn qt bÞ[q,?uf4v 1=!ARīhuDh}tGBeg/tR fB\<3HEj)jɀX8muؠvVVW#x%rmBJa2]}j-?$^i(9?;p$ [ ;qm]h.PCI)5v qٳn͹;`6r1X<|WL3-E/ZJ:s9p~Y C#噔hݧl;"=U8HF6&l~12݇&X%l{ K2Tl$yrv47'Z} \YC- STm$h(n[Ik oUgW{a+uz).cX9pLR˳ (_IV.>,+f&B59`mZ k>FY ;5n7k A?L5P~˾!yTLPnֺ $*HFnAU %qݎ""O$mz'7KӤsC8 !ڲ}(c(Ek Z ]jTEM!!*WI|FK`Oz5ѕ ɱՑܿˤ{Tf:\Hj-d(!ǧ`^f4Yg8BA5p[(8)l`#;Ϊ| .xA.2d2 ͦHMW$ď%iڲ?i#& ƶHyp^UD?C}yM``<[k$~ Z]KRT%-}g&jQ&~9N"BHai  &H@oĸL.3$,1[rNs7o#}\tϞBEBiK R>0B@4{ӳK!0Mf2s;@_Fa+ d6ɒQͥ+#Uua^RdaqޏK S1P X 7u>pj54nW?J*X@{s.S׋ܱR!+Cߵe#<`oUz^* *E W* R)ݮze]bb#-s*ΑzP2j"Qt5!2xs=bbgdHRc}$sS.5݅cG-[J/C`at%oLj&"e)9^ WS|>pFCP7"u.;/ #V\tt&- Zjz iԉWޝ| GF2*[s(5 'q= 0 qcXo|+ ܿrK}5UߺPj|ʜ$p P'=ڎAg'AQɬgaUI&tL sg/Wi#$4IuPi+Wk[?wӘ#5M\.#+`ofG/IKbhb~~u.iv7Q[.T,*ލ9cO qnV‡ ]q-HibefkUۦXx=}3,Q@x֑Z78^xBE,H38#ޖ'm o;{3Qt)sS8U>-P⡴߸<-,Q54Pit癿h55m9֪Ǐ:D۵$Jm6~Ǝd:үԤ(ns]I]P+#M4w5Q +|RY x\Kyc\ gU(8'E(8S^GK %mucrftODEGէ'^Ae6/i ?/"˞tBo.ҁy1f)RHjk@dEʼ<'ӕ0\mRpW]AQ0LxxU]_f( Qs-EM_`orU%<` bM^#EbD\:ߌhєq | CYsx?^}+ jHӘl["`5[^?%?c ̫(|ł}wU]C*a.Iu6.fyv :rVUwNt+2gYZ7zXZִF! ]ŗXi%>rjV<~7/O mfbGiaVYP;o3GT/hd i۪@ZEƎy Sh sZvGHJEXv*R2k n ɬb|a{X9!OU|qgF8]g]'uVNYau~":t/ CUڞR}(RESAŽ /r=-0$8MPTNRס[8Q$ih&;ϸq՘j݁aD}j,cKs!*tia5BqNlLN8ޜ1+X;U{{}Yֆ]CRTW3`u+POE_1JbB|ʀA@Yf?VYC+лdi \܎Tg=FwJ9G'^*TUA;@7Z" jVu3#{&\/S&}?ծKzn`95ը; aMX`T^7S;OAStAz+JF/Ϯ^5= 50kt Fՠza+y=瀾nIZH4*hO32`Ku ǎ!95f~n#g @$'#owEz(wFyl'`SN.C?=&`:S46-;1ZP_75!'S:}!>4H 1xWuqvxdA#zLN 5"UD6-0PqYs3MMy"É`MraH-C,NrvGK9NIf;kC$ǔ'Mhy:P=8ooZ11N;{iثQH3r9FS\&\C92 j](./i[#!Tj@ЅowP}L#N Ł,΁5bsn7tLrRy)`ԋdhP [`%WE8Vof+.kb+wkE! rv_;995i֠zWnGO9^ 6D#}ꓒ -[Qe}f|#)ێ|H.0BCfΫUŠK@iy*2ȲC^n_ގ?p1\iuOR> <F0en{"hCeO1oػz'n%̨Sdž֟5;q}sXz*XpVX3Vߘ-T28M-մ14lLjdPn#-d] 4|Z8yI,{m ̵=PY_ )&;@!?p7dߖ*8$G)׻z-3_"H=W,`~XuAu=@:?vm Doӯg M@ ᔠjQa><A$.T* rkUCػl-q3L!_Ukos_Am·/@eUj8=JՀ#9Evp6~*~g7v Ylt=mi0q7Kk-xOQp"lF] Bhh/t" Zu'N6c{c@K۠{7 )H t=~7(UN1} pP6Qg;wZH-OKH",'6<2:+$&Gγ$`$sZ1S2߿;Hd/rI1|`u\b^;La6lEp.IHN2*[166=ǺDaiSlbYٯ,eO%i:˝͌0X{{}cwλ(fЈY2hrYi$䳚s`2cpkg~6&$^1^*9mEPWq'tWqT#ӉQӂd^ /&S"ɬ zBzc=劇@U}K-\n!?Fl&7#3ר΁24pWV2T.&硜 OPPnu':X27vQΐ'nm-t&tR3붽xw >bS<}t TڀO8sE)Y;hmFhϬCQ8.S%}5LѯF"=ɉglShcXֿF#l04P̚ ; &ɶ4jr}X*ɻ!w9P).L,iX g.Qr3:B{Ԅ*6EwȣNͫ!5[|(jd #]*\i8l8Csb̥; 1iWyAxZ*\VkT9@MVY 0\b4z> oCTc>{-~g)/rJaZÇ)UaN_xR-DؖoWHjeJav}1nOνA[;¶Ռ~)i9m~YO Fe0iM߽ɯWP6= *v")u1>z3N% {i Er"ֻZvim97qCEox$5fXi9pK4z06> d%-۴6)Cc+<0/4...xT%&2l\Sp;_f+WՅ ̉$.#KQLOlɇs \`rzASloҗP%htNܞJOݒIဢ'gH4,%mIXD^wBoy)r CK |(yђ(:^yOd(#_w:8/\֛FS@"~"&( -惣sib{ F9:^L_a7sߕO֤¡MO&ğ%`.Y?NL Bؾ >aB6'=:~MWb[k&f>~S/ - љ+u|nd/zX$&LxWTM Ѩb+HLc:TE3, ˨WPνdQZ>DCN>hzbJRUIt~ ciڛb_֥Pr֗MTshAj lbDZNU@[Oͱ}Qz_*).z,*9KgDǙ"ܞ^Iu|2p?Ge,e{E"ji7URNH10O !yX}eML 1-AD,d$iJބ%F(hw,6oZAs= |m$ؖF_N/NdoC8a<Դؚ$$To *ê1azlYhdjTD~i+.n0\f)1;mZuI9PxcJ罈t4R<`C yB87Nr۝v܋j+'!`]o=kg6 R_7*cmzoR-ěNƗNFXSN^^; _*(2 0K(MOQC4VWa AܤϩMo|CڒzYôfWf[-nhbԅyBn>. 99Г9[=YD:EQ*T2V-=9xKd/L :֡?2S.Or"SsUrI(! d<2;D-8"7dyK;y3E#9+"X’(Ɵ0q;VZ }x*w8}L3$2qwr#O@Mح8I;ʎ8 ?v, KPnȝ^(q2tzԨW)ׅʔ 0Xef=pТdWmhlgD#>^B-V~߻&;ngZ2$/ߥ钢%'|^CI\g&W)oOtMOrM}Y'M/KY))IƦ٧ȁ])Lр'Α+0(Dqȝ'_ȤuRR%6i2E=-On<~bZϦ&HI!MA\@SrzdaFіi(dvjePC̿,*WWs.X)Ku) H9m TEBnOL"@9!F?6%-t c+_W6&+Ge(¨fkoj Қ׏y2nL8.v4H%ˢ%QP7(tjGڞ7`1i֜|I313iL/gMV_D#YDQx) ߳W p_Ц+6Z|ݯ~g1BxroR DU2݄h(A l 49p1S<&!B([sم ] ri_ݴt ؕrQ@ďWeaDS):ZB*D}rc$Gl9IQU4y-DUD̠ yd(Z T/ H۪pm$Ő8tS!hܶ~2HS t?D`SGnKZ52 1 _͛ngH fr'G*{(o+]oXzƠo#͑0 h~c]Sstr6lA#Cʟt1RщjOȫ`~3g7k_R\9Өfz}It%8[cm~JT5@Ax]Ѳc<)%j\u+aJ'vyug)b\Syös p b3^IɖIbϊg[L8ÝOlS:Cn΍/~5n1Kp.ܻ7׍zāC='M䳂s;!5 4ƲVA= PS/+| Y3ޕG^bz53'\01b%QN { ζ9 9EpaI`$һ$;U܅SFE6*Ǩ6{i1yJ2ͤLPm ow>ld?7A}*2P N$ZGT]nQzDk"s9I7H4o%V\ &1ḷ'8Ү8A|eZ] ㍝^I(JӀ,!j2gW+zr.S" 5q1vݷuXFMme5 "}pkqx@qew4T*dGM m~q MRK'cb7mMʼJucҘA]DΔqL ӸyJLCSF SvNy| B9aY |5d7j}HAĖis9$ҷ$~ . HR_,ЃtԚmj̨vdS(Lrȍ׃"n!yz틫-5m )|ÊRL/K`l=%*連Hwɥj2y~37ٟmr̗Gj~T4, S[xtOΐA+v-w(ppykv9 rf2@4zdYQ,SkYQ;,P(7rhbճ$& rCws#jějuC-Q2- 4ֲ@PM-Ŏhxl3nHF@ ɉuttB;@jo\FqIz1Ǥ+b:ϲFC %kwݕf¦(Y"ɡZKRv+TvWqpKӂ-_<=Swb1X3 t>I>AI?jS4alrdT8kS+a&3ĪZ-,Rz?xZ8p'*\uہ;(0tqmgWT~O:WC8tS= Yw/2c.WW,̴|n2-3C1/B(/YvE!ic\5哷´y0$k;(.[+%Y,ܾ;Uxƶ"^ȤaTz~ބlsdP+ԐF&ʛ/di Jc~YN!_nz YprEbc9"霙*J@Xؽu%HpW&-, &4.9,"l~mB9?ݡ#3n#>XZV]@2aH dM4*F^.._Ӏ*%" dʀ#`M'NlU2K}&I5oBCYG㆟,ӹAMx* Vv*qPp'~lij]`L^[G*k}]!)F:kIy'b%\0=!4<.1Yy Pv\xT0 kF99NIu|?PcO@rH |V@Z0S3}Um:D3RlX9ĠєiDHVQ}lj̰Xz RsPYL@KW$ͯvМ+y a)D}(}V3"7pdHyvHj4$KbpJZN h3M{E<.dI%z)9hZ-GT yy͆iP dmP]^suV 5u=TF5ws8iXK3_Zu 4Y``Ʌ4:10sݯ̳%?bE0^{O|ɸLj-K_DIkMsny3Y4Uk 艇:`F] ~3K_̅gkfd9{yRikyIN;gm:?:radAbЖȡ/1PѲTqIrE_q'Y'!L_BŤ[Azn4hD4ϝsڰkH,T/1]&W4Nv=$RN0WO5 )' /G_ݖ-!VL-L`{Ѐ[q( UBGV";}n6VofE3N?qÐu)'qe,$X.&l|(:ICNfIZFNԗg{7ҳM m1í Sqb;k$-y [N[O\ﷱ`)= JQ@Wz;(qrtҕ$e5UQ8Iot|^kPL@.wy_@/mwK>M'f׈S10caV5*g԰^+U]D&-e ְTuYǝX0yr!b\krvʱuo@gRi*4'0b] XJa8viV2&"_/CтQ[f0t+Zlml48/8t?ϥ mQE4ׁ)BSS5e49ޗg˙[ SWF4B3-z`A`gDO)1lC_:\ 9Paw ޏWqAvа!<|0X'2¸g>B%Qz[GMT$38| ɼcHDAaS*( H6[D١JCK:aȄȵ3/֙=(=9"C坂U`j¯nXJk˫oڠ~a9R;{gcI0͊Gyr@Cl܉*_6OQXs!#F1 gxR 0<)9I*4b/Kk&Z ,\7*F0A@ Υ>*_/8| 1ݩw1A[*o|[0W7/䉢#jv̬rן~JI){!u .>)HǚdEc4PC \hc^[J?Q*DMf|NLCTHA盩Srvqe펚F6xnif0te*K |!vKύKXqj%^O5:,lÛKKڒ|+rz&kk/!5Onl­u8~Ŀ5ߘj"l(֒ !<2Vt=I/y~-I]캈;XDFQ3V/)*4m$w⨵6& /pݶK>53ќjGml Bw[h_A'hށmnd(_˾Ngtr >~;HX4E p4 ,@2)H9P Bc+&'J>*;Mѱªlj9osK'd􃋋D-hf z(  S&yb4Ք{9WFV/Rk*d/)wi_)G;jX5k$(_8]y?\L/h/bܡ_\"k1VMCWc`lWR1+%;+H EǾp׹+k\qHߟߧDnHt q(jB,ɉ'8nJ@hb/}KٚhUх0i!O1\yt#}G$qTX:e\$I OAf'=TPl.{xxt@p6VLkt<~q[Fxo3%V]u^!PF;7qq 5f(ǣ\ƅ:y<HS|?x T k`e\$E29O؝Z[-zR]j2ZscC4ʴ[,+ kFO ؅Sl/H=X02Zin,Uu9֣T//SJZ^bY.gea5m8&ޭ[D!Oa9"-kU 4ZЎlC-E$#\u%,ӓ(r#RVnPBiLRs:_=fLŸAԺTv;ָZ7|=4>6ؾZ5MP$zU5..)v*j/">W5>j?'|&͍d|j"2l4@%`"2uNrSyM᥉Z^¶>;s:=k/zI뢵{vrHfg-J@8C ɎcmyrHs(:XZĬ]!i ފ2S{AaAcBg5Zfţ Q qiNż_}jr`B0+^aH.T.TCz-G ɧ$ꈘ3\}EN8W@_p6Xjb 1KwWaUFp0uI_yM8$38)`HΘ0҃hPH T2 ꗛ%L;L=o`ejĕx<x6+!n"Bѽ~?) X hdŽPe Y;j9ffш$A"ǀiC/x W[4~d* =`Vv@L2w+:YNh|~ Bc-hGsX Jb|]7FEF:9:*1)y4{e,iĈ0b`m V* R60nu+r_EN'F.H_ f;V%H)/ a][x`95-Eǭ`<2AWbTPjDqᖺ|T^QѤʐ0,Iy*XBe _[RЉJz.T.V"]ji$[tOݜ, VC+բY=1Y?:3tB*-Tߑ ;7"r~^|,neMA@:6dI[\CQNRZ.w>%;PTkWٌ,rC֊HBQ%AՑ /3wA7nRa7K.XG;E_(_x4&l =Z "_;{}0u8FdWck? 5\/[&T!v b>kYp3[%U 2ß1eN-Bk2÷[jIv|arMky=;^R ?u_U0O壤0"aiv-Q4龦LsJ>~'aFkι Br;US $u< D.ݠB}ol#~@iKN_;HU2(5YtBzfiԻ%1oG)nD})CA:n'CP}&XJK8!yϖtzK#(^gec,Nk*1ZW-f7wo(E*xlq ;3V&t?6[nCoq$i[AP<;F3KkOӎ:Ut>[Ne/-{WXM׹G, mK-hwJg֎<A|;Yb2O߶RSG] kG!JW '+:~?xt!p4@,Rq\H; ?K@?B<J+-jw>_%\ߴc'E /V^qDX8 Vc[! tT?[ej\Yn~JRJkF췦ўw "b-7pjocF𢶕ygGG3=t{ 2Q ЅgYwXc"2%ytFrRl&z*#W [ae4wuϺTLSoo`f|d,#fi R F K_Utp=D8-NZu`ݤ1Z{2=pdk0#''M- B kD%Td$=I>?{աB `DPa-z~ 䋨G_ia1̽Wȱ&%0j:~G8V=_':J XG3Xc͍@ڒR~pqL" ne& ҂iJCnGQ\V,aꁒ&O2D-$.9yY)|=3UP1#4ҴU?FzZZKHCSS8Sc%#c-?#Э,KL=H٫x]t@%dr@P ڞM[Fm1Iar(}=qb*!L֫Td!oS6D1X͂N09W4(-U/p[JqupYH >s]K =z9 q0 b`.;<,i@iZ7¶j6NP˜I$5L0'@L9cf`UvHlHlX[d!@ȇ.DJq$\)a;I 6rͶGA]Uyb#ak/?GAaCYVOO{fp%(9IKI$*J Ap Jj+t-"7^]̈ۚRQWʚLFJBfցL!HftO5ޡ V n 8;9/þ'ʃyMhn] 5!`F_IhczyI;?i|;ECHjc39 cY}`礫4h8tH4'͇-T֌)I|TWq4f!wes lJ LF~m@ILjDSsxc!K,`4UTPirEBXZbE֛~u=C0$YOIл){1l.(x foJ+9Nsdێx04)U2ȕh Z/7" ŖAE DXl h(}_;a<:}4B]HXʢӜEY?&C\ $576"*6>sF/|Au \)/Np<ʩ)#;`XnpzVG[)Ucֻh%ph3z[Mg^`3P`@f/xhBu>!B >14U## uGԊ7PvG^nVcP G@O-C)]#<60,IS C 2/ QTz_u#YGK,VFy9cGMBrpFE"3Iq4E&z/D;TvnCӠ4Qm ol>=O0^32+k3T="K2b8yw/E_,#+=I=R^bh/M/),VKF#f$+p7N6o}_O$g$MK0>c9f>STVpuJ{ڣӉZ1}6~/WRF>=c3iSfze q ET } e"C4[\ǻg_/J$k0(65[E(T+^$ Nj3 Jn=f*lhv=(W2܀׈LfqRְ;it됇-^Ў Td[/FiD]Z]vk"I0-uvh_&&.{l> zL{& "۽E}YpF^яX^$簃jזa0ǚY d n- X>WO}[s<Չ [sg1B,w]i0fCosŕAA? z<ѓ*lv4~hu.ͷstP 0yQpM?>z!si7K]l H/#Lm?JWr_$rhXy-cmp$?]]>O-`BÄs!ϰPnkM6'g#$/z=Ai h~j{V?T-Qh_%4Y瀿3EV5$"02o:ICAE5^&[gM=1-FI%ZH:C$fSˬ@n<PI@g6Gfq-+H9oT.pIw5dM(U Ķյ8!4qrpBgg|O=~lˢ~%7m>Z6h?TV‹ -՗\Ֆ_& 84< paumbTao!ދvEsۜvA6o>l9{˨TDm]jSlFk;N>lW#R~-<=a6i=!G} чɴ;vۄr2TCu0"B?NZQw&JCJJQT{p]Wy{ЛkihI=jDK$0zœ| Gqx6sdy_8=4Q|'ɆټW_YmF mb-{P, @wЛMH5[ cK(2zhmEx)Y7TnK谉.nBFF_AU;x9V=2 /3nU=[ng?#Ue&x/*;zeMz5ɺk%t[فNOj%>c7lX[Dtl><ؾ2&3'@^CvH?PѺt3_N V%wS8w@ѡ\E ahh:v-HuRG@%M5=!y&XLL?Cl~;Zlqsv.U4_f ,pLN4AesXrQTHY}ž^K74w%VyLwܱCSv,lւM?L:u͸Y%)p֑, +OnC(QIŁ%V ԾUH!*j0nh_|Z=65Y1j#2I}) 9N-`' $u+ROO+RMjt7Y;{9e&w?iȅUO;%έ C ze`d#e$jϪxS:kߝ0I@t>K=3XooKfv9kzhZTV6+{#a` Kͩ^Lr'u3uՌ7*k$:MAGXQN|To@v}a3sݰpQ4~.˂d U$M: O.h{ ?)w-mwmMSiJB 2V\Vh:`UP!_LnD ̀muV =\|d1ŠzbU fn hF' =410K],lߣq-0{ɭR;H}mJтBcBh}[(%x|d E(m$Y+zI;9Թur3?F"HPk/xV<ҙ{gIDOҾ1)z+N֓iw;%+_3nH81LCKgǐmҠXB@V"ж_2 n:.;GhFfL1%lyL Ga:_y~ _%m;_o*m@}9ȦAea'ݮ8hmjçs>)GԷX$kl  x }4=7ށ<Bj+g:"Xy7ȝ_'}zQ@|[ 8.7bO({bKf'Y>5oVv< U~p^lnyއP-Y*^-%,O}7Ց2ٻ x(z kH7`` b8;G| /wTrq{,*S`< {YU(%ezҏ:k1ğ)0}6pF_P@rqfd.nMe:M8ļ!z{f|8Dq;@JzPMIyh_9`0QD5<Q nedN Yk{L ~欅,O8 qGXz6.u{rh.gv#|AJt71L <ᗫZw/|/%, Fˡ3%OIxB٭n_b[MXlW @>} Pf}_+Hz\=+|6 +R ވ / ]I|\O/LϪ-UO*5Z0 lvd F"InvoxvYGi2-&7;nLf٫OMSS.#Gz;RI榣5% -Bcٕ5ԓܙGO?i 18}H|K6wD}+a5 ґW_sEJPCDSD5r"W)/x 7*5 Y y'v~~/Ǧt49Q|{r5>^t{?D(ĶEݥ|lh{ČgJAf"zְ!9p$M{g*-ۍ Xwt5Sfh۔>|K{S)ߩkndp8[ᗈUĺ2BtpxGY /8R/q=9 t#*Tm oQN/m7iJ#JgU]`5-֡nu̺396j~1m=:n륱،CM7 u HAy86wȍq;nEm\bk6% 9 59[0@k(SLDPM ICgAG;yf^yPvG)o[LJ9z۟~M^Y\,#O;- xnrY7_v6uufFd.BKiir_]@ =q2LyV&r|C-sT  q'% ٶ,8*ĹrT'#A9-L-YżW嫈tێk ^EȂJ$Rl-&# I\GX60{΂`%խm^9{O-=ٗsH+zyFwAz焹WCD7%Qa +5ZFA[euvJ+Yf-<uNp>K&? O+PMr/[܂i9/IR`)4ܾstڋ> ph31yVz8>ɌJ>qh6ޏ@K !h#¥7K]Xˮ&v@σ@'XkZy)`|Da? 3}TϚQ L~|=J}"'s$nSu$]-hB_rYس=û NЀ&v>~~Njaojy'!`*]4#koS:PЕ/S>/M}˜Uv1 !(f0${C|,@O/[BRo*\ɻYrF{|L2H!IOѿrYиX^3AU-)sv-`(g&Rd9K Ȳ[]`3}uԜ:^_/o !G:>A$FC$8~UjX}l삎w.y=yYbf2O-#0WS"085~TPKJ+Su7&,f].h!&£u}e#mUg0;7[o̤ۊD?iG+<Ӆi㍑W~s.OöJy:mLI{e:uFGV%" Yl>(72Q5U)[=wzMT3NA.g0km>q(+UON_j"[E wZ߶f?i/0jM>/~f]6OJJu2@/^-xioPǠ^Q eTV-ETr4,IR#lmaUtWc=[*vn.2YJBAe _ƍ;8v>7AމfcG.씻U / NcbN"|~/?dY'6 lπ z6'WCJ@hunR^U2>@gb'; T[2$d5gPmk%4w߈%,\pR$}撃O2r>ۻZy#a~-2wI6QP\Zhj grҖy.Lk;{cŬzYee(\vuba.~7tsq#{*vUqIp x8=qNhDpY'k[>Z{W7fN^̔i"E]Q8漚%!MxŲMTl^)55OMX9y%['!̋n*Ci 8VKq.zo,DxE; Oi/Vn, \_^0 S9(FEL5LOb#9&_ 6-**sp1Mqdp?xk w1uCbڗŊnQ.=`0W|OI} &A"0tl7x:#10\$ UZhd08f2*o#k.Z" YP%g۾͈Y42iZ/}]Ƒ*9+4aB.$cI6*C7oO`שfP Py43> b.2Cl̤዇w6V zӪ e6EvV"uuIJ ־/L,ң4Ͻ'ۣ pCS+b*Wv)`;xxHbʂtl`zf -)5z"՝ya v$: G[$P a)Uᯖu% #Qo1.{ Au_c)GBGB YyG@7)&>XqoJDn "=dPe}暯!^738)t_8ܗ:5A+޳!ͧhA-)~'nwtFNbM *a snOQQ=y ʇLxe$RLh)jfzD$1bClhbR]R& dȗ1-9Ԩ/ȸ)ToHQwu][^[XVI>2eז>D|ǪQo౭Uh7EsY%gJ$RjF笴1RT\D`%UB gh%QM[Z\ KYZ+K"6QݔYq8|{o5%̨v47{_ts4o%4Pr6pMqu^ H_2m# .>7DzJ## Ӱˤϝ$=ŕsGߓ6=Xe$F4x ΌZ ̌FzZ3ND:mGQZM.FwY)_ӟyɣ2zGjvP@±8<6?} e\K MY^[ M֣&Jv//H[eٵI㎬ ^"ik=~}'B#]g#EɌԌE tqNhFTE<~Rt8>}x>A\p/z]5J֬^ʂz7~pdvnz5>;F+k]C۷-@%:'6$5\;[c{oC7#Q QǧBV/HYGiuNr}7[øٹ0ԉ.}Ȭ!G)c:w+0f~{)w]${72|1r9>GZXt;*jlņ6̈́JH>f{'1Ul[?V i_60\-D-\.vS-l`. գoJd6Hf[EFxWnmͤ6Tu~w;wG4Q;ۧFJ p:WPъspD ?ooN_a9—(;K*%WjeD}YϦqGn xMu,-9k~*onkӄqǬ5dz"J"#iM :5RPv'ߟ)+ɯ($Կ\"HZ`p.M %TeR53 ^[iqfcs! @<\e?szlU\X'◴J9R# e*el쮳,JBBϑL^רߊSL xcWFJt" ᇘJ4T9cg`~Fyr-R24e@pb񞂠pI6;QՄ, e!4޿N9bѳ(꩛5×7tH,!-.6FٓMy% FheDff8m1B?Si8ѬSiPӥsO=76{9VBXEﺘF^0}͢1QUKF] "^Nx''pvCK}2g՝{OXf/NK*u9(|WFK@Wm|Y5ۼ0SVF6bka/ʬ :ɐɍr|, 1/թ D4\KfQ*Qƨ)󏒛Ϡ 8)<9ߔvő/?ILƕJyn)hh`{3> pA_2ýK7" - E}{T=Z4J[6)YBn(͵aW:ne` {b:ކ׎e[. {g `Fdȣq6?zY-:.+T (\msЅ:f>$%>e9"/f.}Yk[x!2N>P 'OoFpE<UFVQ sZd{*y s*h@ާqI۶3 }\ ivŁ\GRj<deL YO^7'߱ZsY `(;:؅/ L!JK3 zjNM#1iK>Lc^`E<9  S_Q4ܿ[i6Lu!0C9/]}*8üa |)rI Jjc4frd(L(@c%~_gӧ4l//$^~^Z36eoL҆~|zA,T6~sRΊſ#5ݴ"Qni5e7vuHv-lBܐM]ą8Q Lĭ$AF #sn[4/'0سt k}/"EtB!gp$E@,.6GiEH*DEyA"xK-cFGvad5>5 +(eJ^ero{SDS~G.0|C-ܞ'S% g5 p8 >"o(Brb?ks-|ơ41˷E=SDp- 1I ', ,8lڶ&,q#mId֮u u{#LAM1eq2XZ=0c\R&36)JP inL4BuaIlh+z(ңcxMy!\oU&($1چڿ6NvXj-L:7abS_ V1ÔË.@-赸5x䙻WuLgK>Y`e)=Ͽ'VW z_3 qv.' V/[6i ۝&-K`妿{OXClPoi +6u,L>v5ZwqnA&N- 4*He'$_B|UiTL/"j%N6(;g$SsD~E^lxP;aSH;Ԏ;ʼ nhI׊yIFb6t$UbL*ɷd-j ^%+(Jw1Q_C Ib\Yk=lp~EA%lNuhH}A>\Ww)%|^J7Kr {n%UAl/鷂b\5͈ZKqZg$+[s-o/TΜ-Vxh[3򽦳_-|OY{9<Vq}yxw*S>r|Q!Vn!IwU慎Fx76{KVphN*"n#{K΅SoRR7D XmcWl*RFؕ x&ڛtuDn.VO|HT@ Xj)yQۯ1˽f?.p08w׸ɋF4Ͼ9/K][hzEL V ߾ݑǛpzN|5#Z00%$AT 1m'u؅Q1CdĢH//R@:_V>(3eWDScRsWS  >&x\4w/@n-xwY7/Tĉ׶#_Se. ڕ2 s>)u%H~`T$+F%4л9Av{DR4 W:fǔK#r[__޹I{Ͻ `+<ӑi0i5hMB|LK'rdrecX ezl3v>&=h:+*+Gټ9럙X@#v&/x,2;?SIUBͶ41դDS6ݤG(`>6 /?Ny[Ӫ;^K4_{9,UPS]h$Ԝy.fcT7Cs %t'uDjӭSLzp""1P|M9n,xT%CFcE 1cQxӱ~̝"oavx 1cL7C>hN="^[sj =gl|GkMme wm>u燄|ı\ްw`jÞ-v|.3Q\}Whs%65-p 6'! ٣N6'-W@?=.5?U=B|Xv8(G.ʘ_"gNԖkuZ"G̩nt"s[V/c:n Ҡ&տ-E4U݆ؔ}ZW]d TGa?_铫V6Q7V~V/A޳4^فp)qSr8Q$@l.1ogIȃѲA9b6i{%avO"qjT32N&][ˍH: fH2m]7 <;בXlυucz1‰l DebC+ˎzQ̿6^/x2bBUC鳬&R~Us! gOv.6mΨ:к%; 4Y!aָavZ]m4겢d8SY$c6$2hdriB,JnɷށxWMF-9c!+rI\` jz}\5=eSaF& ..5͕#5y^^(9$<|`vE𴭑grѾ91/^RO`#u"aB}eLR ma~|LfU&{2P!9q>wjaJuPH|IeX>/d~v:m_=Sn+BvK!<]FV9e0&"Ë[˽z2FH'6=c: "/_\ 㷩m}z֧49NNȓbk#<@ܮ l1_O|kYpS^!(❻jgJj$L/t-1-djpeK9i?CSQ?d%y^rˇ4qgD`.;ʫƾA:4jU|\} ]ث %+Q4. bD$$i \_~ }ɀᷜ̃Z0k̇pMgP,c@:u`ǚބt_Ѫq}+L0k[FpcYuF?kG&2z^䵖̾Łk0 g ˤ9k.]ax_wt\{n/9?l^ԋk7zO^n&_fb47hK39tL?'A3\\̺XںRXrJ tV=`oSCs}#v P7_?Zmye{ #JJZ1M8_jCj)^P_<WyeLtCH| p$,Dh$S8`hf8I/ˤ ɶbhN#IX!03ӜV!KNT;d#t.vmjjP' i|`e-΁v!Ni |<@GW cp8nFFd7}^ j`UM|CzEm-O=&!~a7N1{p; 4/O&k${Л]vscќY:+LS{y{K0Vz2Oh|6HcXSYP)6ZHv' vC0_pLSX}w%Y.^(LzA).\p,8(m$cxW2i0=EO#zzN hA*Q᭱2a'9=RۙJ|BC>qnno0 @:s"28+,XiQRVFE(%O 9ilxX.Ѡz;$ݧ0tԃhȘ2uVJ>`k6:WY/*C&'7ThO4E1?gr䥮< ] .d@mЩlvXg>Wk͚c˰SW5۷6C$;iV/JP~Y_֚ j䙁guMޱd? ]BhV=^ܦeQh3 C-ѵfG鳳78}y5|O~qF"+svV|ښ:^&R#i}9.Db8)ƾF$חJ CX=;ZUpti .Ȑ-3Nv&yLk'4 Apb hJr^4C.:yۤ%B.2sAZŗ1gkO`cǹ&y/࢞dHn(+Sx {Zi0^f_QgD>Xvc#3HS}fmD:WLy*Fvn3PJPX]l`b/u Bu)rF44aur=?cf:28(^,׿;+{\BB%$y/'*2SFRg;xc"IQj.ثyj2s1sŪP)KXOH# C6\UWHfs]>.KmmՏW삝az erH70Qso4)N2:Bf/xMr:f:dޞ_!6a*1Z/$-bp-D5 ;Aɣ9B#9xWR_#V%W`yZF5 +AT [UЍO]?+nNEWGM!xqu ]h^`rHG5epaVu0pCH9otz#ԅIn˟2o#WV!OET3v mPT&9NM4~mYGE!ZO 32MC dA)KRMp4I.zohMξ_PFC wY@"F{qEgx^i wfR7}ԥb2#&HJ _$ p7c<ՉP.)]x(@oeB]UY:됂/ZŸlIg*|\;_ _-}ձ2!QbֲwM޺(~$qL«kyc\tJ&_"޺SAecUGkk:t{ QO86q(3Jv mr']S1Υ{+V{7ARo ndGE/6UJa_rK`6C AZ[{^"e q].u1~S#,{O~-L<0 t<[9 M8n`du ;GmDB{c{!\3c#93sGv*c,3U!0#r{OMƄc+kȏE!*,yyߣ(} q5cG?mSUmlų<ڟXvd6b tja^N&Vn>]45ߨ ]:ZVH+bI@U}"@v|-0&@Pmʽ4Iۈ?gYZ4b47cb4e7633fa58f92d08a40015d1f1ecfe63b6c58d21ba3dc8b698b4c6d36f436849048b45c256df064457ae3a8fd9a7d7075dde83738762c23d11