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 ]/]HOL-Analysis:threads=6elapsed=310.160cpu=1525.020gc=54.776factor=4.927zXZִF! 㐏L]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jlU{n0-O3&G,[5c:ق֔깞irl|ZG Rjʚ>gʆIIfv$ncy^DʺI|Y' X< 9Xңqq煉f=V} jq.5"SRF㙦w& ooٯ5-\oX۞ Nn駍/*tٱwwo҅X/q_R p4HV$%OI:Km % HOL-Analysis  KuO2z6FO E/%jYELA9;Q Wqxa4ԃhGvpӸU~Ȍ!V}+=$bz7<58y84n ][r4z #)2k׏/ԟvU+V%)9}A4,:`v;\d7K]HN_-q9{&a2Rj&~ 50'u9cvg dF. [ l>@aȫrH&UG~FETmABrEUJnwo֘wDb& @Rx5YOzϧK6q9&uMϩ?\>i|,U~= ɹN}qj 5`SB,.I۽G2XgZ[@K]cLY"ghl K⪿Fo;,0+wq9GcS, ;'M{#‘Gĸ8s {J 2^~bԴh}Ŋ*J-jx/X"zܬ*譊 )0QaGG5*Nx(eJ+|D+P] #]_] lp󕉨6A7l=!ò[/$# 5.)T$lUOL+§=OPOHrƩ"{vsp?}[!ƴiN>X1`Fr(`Mo^Y6z47#oM]f8ʡEO-נpQ* U+aazcfA4K*ۧ(PZ7~dcIHy4qAy^-:'Z|`r#/ Qr&}Jx(ܰ]㼫0b4R͌N-] %= Ա:Ȭx0rH5h>.9%-{mhRn<]ng^x!NW^ÓLczPc(ԏpꩃE?};wc t0HK]KZZ>( mlYõSO" ߏrxفC7 2fP(7{O޳0"RmD_zVU+AHZO"A…Բ`Aف/DqM o1s }B`I.U۬jTU(c%0i (koFrr-1,<ܓmnMԫ,332m\!D=sRޞP9F2 i->os J.o+Jt镼4 %R6m|L5m0hig-;7'F"5)&Єw菜8DmxET9+2`37Iejۘ N%v>nh>e6t*rWߓ/T^wc6qQz\h9;C(A xْ3V[ d*kF嫂-T)<jr:Ÿ1Zw[*֮) h %]SW{ve-ywQexlֱIf{Z*!?ǧ85eOFdTνMo3f~]0sX賖=82 |iT.3-]%vdY-x wFpgPec4$iŐVew,)X= fF$Ev7eR|{2Ϝl_ϾaK$B,%w}pXQ8vyå$2Ҧg0^*ڜrbh1<7֧gmz{j BI&X5$Ka!J//+ e&c㪒 E6n.JoSy"/l-ݕS=^Y2d"V9[ĭiS, =g| UWE߱iU77Mjo_Ć9 /VCiSt9 q΋%C-[lhU_ݸƓduS@F-u',dA;jC)KqrG,k\` ٴm|Ƙy6S/?j9y]V#d-M'68"{u)JFvg׶_c.U7,Ocv'M-i.vѸEڌcJ?'8MP/Z4 Q bM}H2ў5E4np?e5~o pLB_U{1G )ϥAꦓU>|5={n R_jp#qBpqB9EӘ<1 aboh{!ī`Yt#>wΙJoW=tUϳ$/'jDEG?k_ǔ-0ioq4t/҉yKi:_1!f |45+UN0(6rg4*F;'֊CJ"W\5ۧ3JI3haZ5y8' gb"}δ\i:v2i.Ks>߆ĩ];jBTcxT|k3賵[n]/MTuLtZ3f\۳RXSBj{M8AY qޑg|֜.Ťͳ}7g5 i/Z o+7^ W܌$ >QɝAѿR,+A'ZՏddTN=Ұ2)1ꕬXH=\:cUdmJ_9ܗd 0>QfM2.%jQ#H,a>HLa!Pt]764!{GV/SvzN2GA'ޱjа'={O?KɊp#JW~h;첌5JFg/ R; 0~UR:Wd\v؇ýTɜqt՝W]vhMbn`Iv_ W fgIO(;4B*]`3WHވ^IHe C偑QFfMX4bߛ,$ YEXs8K?da뢜;EmQ OGZ8wućpKS<*7iO:hC:<)L-qtasf:XW⡒[P\tꖳ&k{ ^St"ǓVi ްcuYlu=AQ55OʁEfqf 9s/0.8Hftrw-)8]QSleԟIJ$? DRVv ).#_N^S.-]~kYiumɇGep#نzmGdi4:(j)<8Ons!~5Q)7AxIky\_n %3vR[$]Bo0)X4yMu$Q_EWKR28?gg2S] MΔ"ΜAiCXtPn7ʳYNL{ʁ _-,Fs4(UlGAۛݬζBk[(RNJ[/0;FmGF^?f8] KKK/$ų A=1Z2K6u#k-EXp5}*@'i܇2ԲjaMդFlݿ?0rrqrio1@W.{ճGLB2c=XXSjsXVs0s ?+|( =qg`:eU> l#E)O$Y\ MlVfݣ]ꪕJf15=tΰ;tuIY0F7M+C8cQvw QKf5?E3: ~/u=P* 5c--4ln{[M82Ʀz=lN% @IoiVb7flQ!ӏu5Jl3<38?BXe(3p+D8 _5^+-hAxʬZF}9~r`48 ^k.:|"hց2;A1ImgkYegc C0ņKJv`EVi ">?'*ZEa݆qd'[͉r [+=IU~TZ5t:pHg$ H{`yDGtCN]P`rxuYO(fM,RG<&e9F<=$%f_.P܅"]kҵcKޞMN:v ̅1ܗ*|ߕ_oV4+JƽLRق(|ކDa2xTZ{߶5Ҝ%Yʕ) Xdx-5$>(fL;&C( z(i\P7S )P"Fu3!1 t#^o̽=QX_KT/(:'YqB*=xe-o!!sZ+](7BOrqGbP }L"նm)iIfȔN1 N>S h6!-D T24)Chf H2)2^#WȈ ԰HYbeY^2Z?d#Е{T^A#=RcUl52jy'(} 4gJKu)-8zN{?%o|oKBF}GL(G`?Q ~J͠cETf5Uk*Qx$0nf]/1iQ%WJWw-`67qcnUoGCFy+̰$b(Ģ qi >]0zJ=]Em{ž~ed|2޹֖|WVvuC@ LkNʌ8!{Ik*eLC>+:h#!+3C=v!}Ylʕ-E腗L^>ov Ywm դa!3#}CS3IpR[vB8gWs'~d+ĩ \6ĦLY+A-!W ٥ٮ1Y~9/w<X'pGD:i_F(ǥ Il_{*ѷqXi6dM5Ae4OEaUB{OnjDlQ(頻,(E`0Wkyh20񯫴&Kul_7X8M"H^8׳Fו`3b*G6\MxiUx_J(!on9p㐯F ?4JsRFMJ7YQX+4US) phbc~Rc#" 0~ c2A 5[M#!Ͻtޤ nv<# "G$Ѿi4Zqٞ.jBD#ʂgW (|oY)s< z$<)ovc\) y?bu @FcUj K"C}K)g‚?3_R"|v~DJ|2qMxCb2kc~4Q} +YRy*c`p'Pl\Rm QU)8[iS\: Y` %ʸ96^M A_lϕ ҅e t*n'4Z\L HxL8ǁ!pƩI7ye>^Omo,#A5z$) }QXؠK ݝNݣhf"0HEfUKZty|;bע#y %fevWqO6nIR;fqm;_{Os8]Ƌi]Ih? A0Z Kʢa :K"8 1 Aℶ΋)¯LHYZ u 1{P&FA$$ fA/s5ș@X?Z$4l3DpV)'eni's.,D.<0";,U5ýeOIYe ٻgd !z 1̈́E-ΐ4k75߭fv078QOE Ȝ`=6̀]i1t4; ` V#aF:͑ _nJ^ƸqP`iJ~DZC3SN琭~9Mh ֍8|ܕp\&`hɷ?,ICgG&fͼD\bUFÄehhң79 z{-mͧ.ȪՈK#&`S`,1jϘð!Sb/(~Ύtcs nGM oE:I-x'`t>'}>,"RazCNuM{@ wrBIQENaS1(ٻi*qo_mᮆBOPM}L@O9wTkYwc/(To(36!hxc 'Ϛ*.(! >\M$QϠ&w.@pΙj [W&Mrz8cy*\7e,$Yd kp3(Qp<0C#lܫ?Kmao67StL8jN]Hpf7r\x)"S0W OKpI0/l!{|!=&b EEBH cU@]TᖮbV.bt\S)W;[SԿw^@u3)=!))(g~"8<@+h@\g 򉬡c,Xx)BP{TEǭ}69ũAXkԢWI-h\?A)G4.DVl~9uu%gmjK|aKi$' d[* [$Գ~Zp!Y ɵ5Џf-ݭGsf,(|M2ζ{h?BѢoCr,eknumj2z%` d]u30~J+`ZT*:6_nsf a]nE$ f$K $i$CB.A-󀈀f|s3񮝼U"{Q[R-X$5_HjO ĮN҅ <2J9`и;D+Nnh?~oCS9V;((}+qD`LR.E& tŖ2L5_W'4+gќpiF*F<E)g-tA=t_-*Jjj}L ͻ /C)%P \y;iy2UIBQp^.*giL=/+K0Mefڥ* &DT׳j%JLi6AVŒT zx'>=bo&HGg?BKuũƳ1G!9^ׂ1L&+Ѵc~MC@ͼ}@uby2Bd9w=Bu)Wpͯvъ,xHd87id6R*l7VUJ@kdnQL_B /-ahw2{/QjApq^yT̻$Cx2ʫŮX'RrF\CźI0i) Ƥ,YL=9w! HmJix|uh|nG_˗FӲ^"~"k*Q½ךj*s|wUHY Ԭ\׃gu~ .k>׋m)(иG28wIcH ^q9e'{XGcG@$$9`G >q>"2Ƹ)RFO%GOݾֱlT)XX K)8IYI jһz;Fw,Kw$M?Wzx{:hG }sg#9v0#14ٴ? AOrP*30woPX*C Ck  2K JYHs&VJ(即PdyASWRjb͠ 2T [Rğ@i Jj(]s5/A*BsH.H6Vxd/T=(Zk3 j-bj"FF:\K׉I**L>PO'rM}}T@_~J%gwpl2!rV~Gn\1Ga0a ad7#3߅ݹBkxZroƼ>. lɢ"B7fO\bbz:x}iuyZߛ}6c@hzs! gapV0N1i74Ģ~]@A:ߛr d].764\x!QjpKˎeS4?1=| sbeֳ}$9?cxKJC]?ya- yE&x*?cjm/ΤĵjaIsy3#s ua2v : tckUӸPT?E0JJ_(#9Y>M{H3,n*7۷`U$,MZ5ixxgQ v+²RW+F K@oe'SُcurϸZlNJ#Xz}8j&8"i29-O&hjӥ>C,/H28L̰8ר=Aؔ$$s6,Ps`,-}A(:ʍ7lH},sCYvrhL-BB69.*:cTovgRؙՂۗG}w_$j6[OF>,WzxY c:}xIe# /ovM\p4Ibxvz dUPV=ws&!\u;[Z^uh#$0-hws<4?ʶ׵eBEl84ă".4~> h Rb)/!nJm/XbA mN*߂QUۘX/mÂgk]֕ ې8wF퓡/Ȥpc%򛧾d(3d m :& 3Xשpey}?1_ ŗJņt_+.UiC:ܞtt(7An㔗nĪΦ!lp<3j6 WtgF&5~ Â2Fc;M 6Ukiv7?aG (7qtQmDž=_?UY I9j ;F˼Iad 3 sN+ૈrZpl֟rⶫuJgl粬%͟WV BT:&;דW ip4Mw<*~$`qp}Ī 43^wlV;+e LN:|PZk֫H@w'P>0 FH"jNZ  Zz@ZXQl>#hsB{B8J/2u.aAh9.HC=ԙ$ Th6-g_,MtIye\qs" eKm 5& 4n>bu^ә >`0t`A>S 1j6k?n;sOG$YLK^S_Ւ-WJen:HsQ}Kvp)IJ8ruCKvFZnBce8-~*i5{auԭA 8DA .o a*X<`Qk4 !]Ao)Pi39T0\|y,c >}v<{ݐ2VMu9kr)&4])\4dʙ4T&LU?F#ea$,5Xʎ03vTr,wjuzۓ;Z1dEu2_Y16#<' F&UfwY^Ps=VR$E]p]LƊ2Q}痁sw[a;{hh 7lw#%C0NH_Qc\ c7xh@P<8mkW~bcam47FY嘰`P[hluuUR65|fWLkV4yL:#BoC\7?e]~Lj.YFV#'U8d Was|խ J$%Ch]97"зVr=v3jF&ϳ=Ȕ:cXTOtx}xF*#] ֢`c?o!5|̬vMգַe:(6?sv+#x;$$xr1C~w#ZDCj'Bǣ;/.$F`?urۯX. hޒS"PhZ79nGrv#BUiH3ƹʱɈ| ,؜ gyC8 MާX;dQ].{Β"^V).Ta.ZNU 'JFhku4NzҜJBB.J7eLt;L5Ӌ+%rH`bhsdžbIAUwm"GH{)]yDۆGCN8@ ,J:oi_gA+Nb_"Ǯp!><2 &R B<.`NG6]g%6DHwB / ¸y.{g7k|ǪE+@e` 23*jmGtPO 7mQg}1t4/J)x~$ҋg`sFSKNKxji Bt8U(DuKzV1R{m {蘇WՆ#R Cp|pPĥZU>օsn'jjqp+{~omzBa$gbG,Pjt%+qȜ@V&ng8J+!K~gbGmrYu [46X6 !5ra(9 E9=ErII m0yf'X>l:!/$ \0B00㈣sM}CY C{#;4`%5;|$z#'L߿RBDާ\eDkz Vykk+̀]9Փ[BD~remjIPT1LC`QUŧ`w,Z3߱Y Ex|' F-7"corhoX\=eFfU콷H_].!h5) .,.З(dZ ]\:6x%,FvPc[BCxJ)x-ĝ:FsO?;>``,:w"F=Tލ7  Wn#b#p*8花Z-fSebny)WَCmn35J ; E Hk>0&gᗷ!U1;?P EH@BlK͠wIITJЌ=B!¨ZmyA4rFOld'\k{EKp3\TzZ,M sFH!SًٔX\+47gNRjPٚ"oJ6b/x"/*RPakA} =z- *m!wWo)$c0|?ـ _S/{Gkb7LrGZDY)Lɦ+=:բQ(ǤlJ u1Bة9[*I#.o2qߝf5 7O:ٗ:RoҶP4Z]Dj 'LI6eU3tiٵH"FA #͙ !jn^C*h@z)Mh~<$emqr`,pMŅyCyJPo9"p?@!jD/ܼAȌҚX3O%W)^x q㝥'#Wei:XjֳL²:>wB މP& VʔVTkz .`~5JxխMh?#vNR4.TS 5ڠ5Sze-[|SkAe0]~i\ P?:R 6S@ @+cW #XG5@-q[+[5-LP絛x8PR%5P0veML]ygbwhh6vY}IuMR?(`opڧuǙx_;E~k.Ȏ dQT49?=qZGxlQPv8u sѶQ\X*}_4b 2囏9%"ek8^!~K@B8YW. fSZ=4p33qZD-A~a Nk u7Z0~8fa% + B(49ޮ-י%f/s"x#J8 GO|5k< 1Ӏja,Y?ccT$2^DyX񊱚 ck.Lz[&=l!Ys!Tx)&̷"{ o]U{{8(8lf%oo_fQǚ-c>*ISDMZK_Zps$ F g&ZlE$AAza%+[_wl/U5Y:ni R!X{"J:Qb Q[lRh_Hڢ !ٰXG3An - 44Z'bڙgYZ7zXZִF! &]ŗXiɟ1˦r!cHkMeBd4> 1Ƅ4$2B9?NXm^75g?8vCrGY%tHQ.p},&ٛ5ˌ|sp-B] SȪrZRg fG$x߅U1y-4G\_vdvT->|*9B,`9Mž9_"5g)d(+oT!d~ۘ kmve԰OO,U(d[=?i8>bAs6dzdN48&$楝zOډٽ)IDj͖\ yY ~ BP$(k$[(R]m![nwuBcnVq6X\U(|(N\Fm<@) '_ |р\HO~wz2i@+v"O6F;89 xˍg~9_,:K(KrɚEݧa[NxDKaMR]4&xx`:g<󄖹zR&ZAs Tֺ1a>qhb}~o<4E] uExlVbݙK Qώ(GVRY$m)>X&r}pR76i5˘fq,C[V^Q3+[?:`dx|vL4c}%o|ZWӵ/0YQbOZq c GWa{1T!főک"׮\6CZX -&;!d(3`\_;?ޱ4w_ gltx@r`!ՐCs)MUD.8c1Y*y&YGtsr88'zU?*h:hK5 s?obҁd>BuNVPRΦ%Gws(+DbF L$Ӛ ״4wXH_8Ea,+!@:FT=f+PU&I0WGG{mlڮ.h ,ة~>_krS0my~bJN3k4 ^L 40ή]-/3K3$JX)cZQ|Rlba8?TfJʽc^ =jX\Cf]T6gMx]G1d5'ۖV9&">>RghAy ¿}((/3 9dAtGalņ[(?vJ)_,Z+yq]>)3\2𶆢Eg !~dI9 dp`e58rÑ1al+R T`b jz0"l ͗B@l[[a MtO_bJJEKrfߓ}Fd7zϚ}g= o&m11G AiNiNK{ %0/0kUmV: r<Շ>$EOS8Fs<àݳXK]pl9AhtG'a!lYueU-R|g_k4YuYbL2r֚WkUs-P[vLjF=QhX.-Ze&IK&i}ۚ2bP;.7.z)ͫ|ŗ/ZB4Y CXX|oR24I'x} Ra^|tA>)KP.^MW؀gYZ7zXZִF! in]ŗXi%B"]RyDiLRqlY@@oP-, u!7ZdY2uO@Uڻڱr̅Yb.E5T'x~oOG%:(r ``o'cl9&âWd0x[z~5G>T5`{1 q$hHyz>'CfӃop: zQBnJަ,_06GO#ze24 A al0IӰKS SuZ~2Ȗ)ApM`M{qKZJ+0_IVt!9< pݝxPi;zT]} m:8$ ccj nK u֓ Iw"3-?l ձ;GDn%5gX:1:l1x59m˟ ipJ, rӮ$T32Wа  Yve6WIeL9/J^- Bڅ@m2G 4l}!o7 n;/@  .ҌH촻`gQM4R!aU sEmL_#KjY1".Y{ :^v}On(0n#8`ɔtH*?f_|HegֻKAOyׯnS5L٣BjNx@8?вBlK̲P ;E-O0^,=ҞTDSD܂ׇNwӧ!p>R4*_({5!h"t]B! 'Bo&ýp3j5q#s/*sgz_`6Qټga8h g`R}:ɝXρx Fi[H!H=B? #;7# G v^a^Xy\j%Q N|Ҙvn|Rwz $y:=9KHր tJz pM ZfMgyZ;B!Gw 7PGO@劈ӵ"ɋm(ݣwWSqM/o$?%7gCp@? 7LgJ"p-ZznF箆q)'V"hN~kXC$PWL_n`??d(yĒ.kٴW/ sNhj|x5/*KOŤ}awCq&v2$6YYF+\!,o}+=&P/yQ\ѶttT*$@sRr'1bhmQ %`ۆpIJƦ<_^h^ h.JSGw 7s?Wrmq(LV&5kK.F5}9Bw+5<ƑAp4d.Ԟ[q7"̧4,hժ4E7N:5vUJ5}/j{Cmb!f OT8 Sq 7U\0K}Cz,m 6Kj DHsbS|S]ڴ=61osF~tv C=dn"<q%ٓy^,j؂ Z Y2$AX0{H]@[R8Yqf{=ueh).b9T~O65<,9~6z !j'W8߸RRAiM A>͚c> Hx$8;1-N8AT4*ty.2A\.-ܯ=r78+pgוRjWLIwWU!7l K"]G<񋱸\K^mس="+>?Pg9Ja;&%d;&`DJ 7 o0`͜bm#-S(s >%hXf_&6!afU g:@k&A#B2])MO:dM#0J܃2{X6p-٤ WlKz$Qxv13or{f|=~,g͊G"a\nϚZ m gVy')o_\B5xIZr;)UVƑ뼢s?ɀxpA![liUyTx|wiِTfOׇcjuB:)/ SݣI+F|+Ɗ^@!8|- hJ%+Ԏ X26*qVn?2^wC}=9Mx>Im!pV}TC/_vb7?" O0>r->SaE<44& Z2?2>,['fTA:2M(/nqהՄj Gz7 $:MދgwY)ڙ$ڡHAVd-Q~q)v䌃ܿsD3k; a\ѷ~*{Jb SfШt0j,}Lび5z }Ȋ1azî^ʖrEG} Ts 80euDE)'vXn دXXeO zK1!%HM+ƿ=i֦p:58f6#I,T4 K-OQFz%I!{4F-[7 f2ǃ St}9Wj6/5e`IlB]mRK- 4U+#}ո&pH̙J(,#wQ'D&^hkVvoVj<"x}g%UP!G4(`LR},asuv7m% 3Kߣɮ|a ߫ҋ}Ut,_C7b' ZctAKdQ&zS)bY4<{9E+IM1\B8:WU /3;2Io!x;܋Ԇככ>O1⍌\s aec6)WD:r): ]90zdcs} YyzH>k R]w sY1U̯ ND'e)!4 Yg!-/}+0c֝ yMc#%pO7f<'%BmI;ťb14d_ MBm͓F5JHKSUiTG>%;/5,V#̡ϡ*W!Zuj4C&/ȣA]_G ; C@D-d*Ac=fVA!x2 uVP+ãE5wJ4gڢ/RMˡVR!a#3z#M y|b261p\kdL6%qh~}­a$~V#D;!ZZSEa:Ia7M BIxҩf.>GzL]" x KOZؓDrb R=T/W533"{&i-}Mqx+'0$si٫w]H Q]w4M0_/Ts$‚7|}?K[`Q|ttCYZ"ёȉ3%*m4/ۓi_]#7ZBğ8:]&s=uʞ۟@qĹB2s@wvzߖÛaG <5 q (/^\{U/-* X}Z-oң[4sF\} L ~G_)vv 9eT{dJ4O&S>kZ6%h%T𚩽//^ԎMRH:!8 qJpq*HorLϸ8EẺxrbiI.JȯW0ՠ}"nC6;V.%Y;.Rj+!1Yf"ېn]tn- " lثWK,knMnRifxZ,YH(lD>jh@i0Nr*=طc?cb3]PtӉ"1K)W2O ٙ~њucg\lmO$jxr<,̪H9^_g 9LX -;fL8W |s|e{ Oh MC6@s;ڻțt76& ܃bR@ L5yk$)RsI$6!ZM!m+jO8 hT O ]wp %)yH=Ş#[<&pV["ت5Ixm[x8s%WodRj۾HseCc2e:_e w5TaL+1Y'ZU@L!XK-,yFm nkqQ4C)~uG.! y/O&qpAMG5^᨟HD|͓+34gE3^n%sьMpc{iP oS]t Q!&B1}3i6'jl(SI|`шpw tB52m|i9s߫,hpy0YCW]+m<<) ,4ы; ދM.qASG[QvSW&= ~,VsSGB͏9r'u~xqk3 *ƾA*$66x4N!D`rC\m3g2ݛ~Lm!eن0U]pR{9YPmq0<PuLfwSPqbKF4R^C0{xK鹅u-p7iIk4(wn*DF,sϘU coiɖiZ!`K ؟j V[Y#vnÉm2PZK:0 %O \8} c}k\ Rf&_@^(1ZI:^%;cLq_ܷ.i')=0vY/:!jHCk\՚4=AGwt< ݶ -x!^ YٛᜰgFWxjrqjUMe "6begp 7֓Jj`t W"1!>3ܘfExO4ذ Dg=q;ܟ `KHW.Mtӝv |8sZ8-<_ފ?%݃޺>=GGiLj}RPBnQ23#-X_ؘw!".xZF|5eǂ|ľެEER,Z$bYQ_,/oq(`+;]N(3K̦ 2U^B]3n%%*~ >%wG@x]NRU0׭|s,9<›?TMc%q`2,SSĿY͏|)O"Ns_ɘzWD#C_iYf= ȫ`AVk4l ?0Ա⽽bE_Il>ܳu}ȕdos.=ks[EV Vaf']NXH?\1v܂P]pk!JI\iiC8B"lcl1y>]PY$)*鱰`Rx͞[W:~ք^dnΜTl A R/ԽZ $Mӈ.U__Y 1J"l!gf~zˁel L97mca6cZxhk!8G0jOdLc'=Rcb<@nMZI].=sUmAX׬rqEfꪖS2IhM=QRs-'P#Kq)Q}R#7ވV*\:'SuwćR~~fŧҔĥLr,Lh]q?wz;'Th10% hU%P3n1ۛTAq&忋9,\؅ xFG?"?+j 3 /`^ M@!HPNS}T'e,kZp)6 Nq!w">Ŗ6,24B>"V<K6ۏ\lEG%/PTO!%%jߟ0rz螊ZqB9OkJ&Y^84 `,!E\8Vńn28)K >kQ#XY\7}l;vetoMtuGq ΓJ;ŵn7\F  )c0zH"%gҽb3]!tb~^D\Gږ]Xko3 cM؏=nqqi`q6 B>% ia1vW aYBy0=q|mRdc|cFSɲɣJSˋs._02lxL[wؗCCbr~VJC/B6" kKkBSmipƮ 7t Ǿ[FgݨAK A]_Uas+2熉opD*Kjl5q/bn**zÄu)Wk\]Ds^Sc^nCZ WLa~`Ib+dP#'~oBOYeZ4+d.+$8Yֳ|d9rXeН.a"gVOE4Khe1j=1+>2?S FSlm e :ebhTϑ#IhxO[[V0ǰ5P׏sʬslH8u `Bϗ`pŒT\w_ʫ2$DN'̌xq 3\X|35YUϔ!cW%`M5cV1룙6wqHoQ(dycOh}ab<*O&U Q@B&T/#"ՠ(EmuW]qX_AWw>,bFNVE},+t~ r BnBeYKGzFNuҺΕqw(?uɞXQyc@ Nc8  ; -SF[%- RGfiREr;)./y8<:35 ~FWNkC(+# A_. KKBN&zeH&tJ49]MwEGmBR*A3 ~tl0M#3=/K |WUg$I?_XJqU;j"3[]6IT%YZ0c?y>ݫzt)hrK#ߡo \Z'Y^ #r~"wٖ\cψ-? )p(% yPWl=ͮbNYGhgEGgYtA"?\tBCϱR4;xT LJ XyldG{R5nx Y!O羰" .&1D6o=d6 #au襕0i zOb5ąP$ոl;5qge0 \BI*@nx*qϭM*yKO6JT|8_FdETCҜj~1l` 4%ɪx4t$TJXcsyD*d0>~[=f%:*q.Vo3{7lEHW'q{ c7SQ3yt <%JD{[ KNjɀ?ڳ"BaQ C>g*L5܌|4 o]8*6Ss0=K0G3,͘S2x:)L3 hJJ.-VQBEQpwZ;ef?5xptsu7QD>GƦKM!/JO1u^*A}smPfNdl{j/bAs OJ7R̼iBZ#8R&?EGSfT"$)I]S?l%Ae*oIJUJf]h k'\z]M=a_YK\*0> sͻ˦kv[cD_6.{G[m C ݎlxQV\Ȫbs5cǠ9b ꈰ}j_{Y'tT2ABm-t .DC1 H@TY Jy99I?Dˌ% )ssI4(|LV;/٢O2J(Ҁ}]S2 5¾\݈A躐<W(NPvUU}(aKY5  B ׋ n\ ̼<*]#LsSEvW4h%) +܄Ĭ*L Yx߃J^Pb'A?K#o v, B<3h:YD)ŢutcS@ kڞ7:?xIxM>ndF h-)$f$eJ XV]|9=ffVh82S=| 4CE(ۅG0A]Fo7C5ĚM7 EK8}\Fx>!iW?#eLiZCe r~(0\lE#E@n; WHY_ٓ}泱jy3@-3,-VFk ~Iҫ sXO-ZScN%r6Ơ%U4( c@KReЛ l!(4&h V;z L[$n~)3IJk h ҵ@DAL '+Q92x~JՔ,S.MĭB :`{gU&YGYkY)|4rjm%&:\G5wAy t-9v ł,J۟[(QkiY7 pӡD6OT􌹠]51=>U^ NR.rbrgVv qgyS;BR3KgؾqI"q\懅 D[hIx[9!&}h8"U>j]/;,fE`!4W>DYeecgvU-ն>N/  IO7Gu|?!AQ id d:DP]n.U/eR7WJ2טxj.Z)RŞ~l3V=-P27{:gǯvMz|~:xvr/#۸\)h>+ X^݇[:T5h$^(m2lF?//'NBOŬ#^&X&kB|O;Zڠvn&6z9@P <]AHKQ)\-f}&3vYMONiӗ;G%{UPzĿS}~gqéiG]5^x™D=|+D^~r'.c$i!-џITx JMNI rL~#s´Δ|ALD.*(BRnx]v3 P)lȮr/M]k[h+)Hzrc,ʗ|g3'l+OfZJo -2--P>]=5 8tnݕBJ=S:kC{pZˬj(!w Xl$3*\2ͽϾ0$)41™@Y&bpK^>YxnSz],&6PћbfNĒk͟-LIU׌ۊ-:yQWsfȐχVVAguuN^QyK/o)`ӥ9jGX9Cci)m ^`)SɌ+69 K:Z]_>]1~ Bc¡!I/s[T uyPvz]tBϘwzWt&F$ ^Rf]OId fR] u%el1P룙*;MӾHYnS~j8ܤY;%X;#׿?F'B d n0V1)0}Pbo?|R4=/YӮAv˼}7Ȫ\@" Y@Kp߮D,NAs#TԂ**vEKED-a|krGs ZdUU/Zr ]\c7w?,ftC^Rtƃ4/Ar#ATQw,:CKM+m&b(a÷6W,]v/BR]LVFIsf U^7f3#CŐ=WL r)Ioj^sm^y bcW_.7>d~lf[dVfc7 ؜OztnIRRQ03+Qo8\4&)G;̿kBDHV<ܡ,n NM{{:MM? 5= Ȏaݯ(NXSDv[U˝pB>id[؛Q$AMe>;CaW Ϥl[T/& IT բ'A5< u̞Zg;sƃ(Dob¸D%O) r|DiH\1"w Cq L٧u&ITz LwYN89e06joEfI5j>f:og7OĂ"p?Jw8dXA/څ-JVfn=2g!tº; *X@>!eʩMP>$z9MPw U=dnb}3P&mO4D"-s!*o*wC{ļ0R)XpKy^JhacpMuj !mVT@.qT+DLwh4OYUɮ'&annd[{p4htշlx3[yYk%Vd #f8=+u>3k3kw^V–ڃH .Yis/v3B :*V4bW;qS8>6V4Y }RBP@YZOT7<{JHT.;b/kNb,h<+D|O=2ޤ"PR9dgB"A.%ׇr$mץ9P١4bE פPAj|Ƞ"#Sn1xCk68M͕1_TbDuu [(X F4,;&8M/qpӏֶ&){/9S1A(4HԬ"\ssqX·JrH,v`D K귡q-W>M{&E6t#J#utqlIPxxetڭvf]^dDcs掐>u^d~&O`[F44\ 9eUn~їE 6uwe~]RhΘeRc[6]Ѯ(;vz\tzYKs©sˆdӈ=bCyS5 л[%K8%,|ՠ].O vxyC.p9w-2H,Pb=t#jPymSԎ/;a(lP!Cۧ[d^HLƙfCu^drjPY%fv[Y]'WA쫬9=Ϋ左-0KHr`[?*P_~ɮm(hNẓXCԭCY:1pvg N{=u|Fnuoezu'⧂ :ҮnnHGW7 \舊~ת]:25u!f4)gۜ_*o!ERɂ&+j,W}s"?=Ϣ`2p%T/o'2 }.ujy\|(4yoE0k8Bd;EeCު.!#1!= RhvyD.,Lb-0 ui󇌳&\dlϜ}W=A & ),&6!ШفJs=f{Xs֨-4ȌU5Iv4W; 3!Dtk֡z;N,~ixlPX+/=Plj:{B16*-X)~)tCMiG} a=cUD,1; W/(I38{0(ɽ/Ijq|{g~6ǥYkw3QF'SS)jK]:tP\AL &[ԌKjUu^rHlDĮA7\oydGpfr_.!R3^yl@htf _J& El]yF"^Zi>*6xMXa >?tMpS\oyq<- c &1]c-D13W%a,ªd&8Ky4EDGi]ysҍy#i#J.9SATڷ5쀠f pl<V*x{g wpn3=a!FJ %Y^97CVɟX("`(SJs3$LS8%X=jw#P4u["A|B&Y58"qY8? ?ߒƧlE>žB[Xb3&)Z꣑MQ޾_,to0D S%Y!3# u  5`m_Pt,UGnS X/ hL۫|ZӸ; [aU!h} Mbs^xENrZN3y˶0#b10*JVn1yO *>-RZ(`# ȇ|U7T`PGoSg#٫lhOū!N1,.×EA95@.[\Cō&:1M5o1DZG,/w<{UY &*?ѯ=_sMV}z(eˌEU}|On""8x闈-1Vtm=) )H8y@kBhyav*fb`of旮dsgVZHJm%)2 7Bs4 XL Q <_: G9qZ9!0Nڇ& J?][u<[m[Yi1ԔAte࡛%zYhZjUi0mXE`gijslDCt AkŽl] S3 bFơ1lﹿ۷[&>mxa$O}zρt1fi|i1b6E{3l 0 dr.|n+HhSg*|~p)R "HMB4,-Vհ!/!Ux}o"o^Un)d3H~>O| ,XZEG('om85:9pJ*8KҒyG#108[5o>dC2lhpJ&F ;7XxWLpdG?1>蛳1rK00|};Y.Z@vXd2=El^nibDF"][Sڐd+@\e$"VgQX|ޛ1%eLp'-~9YZ=;ϯ%A-R T¢Ѓw;t,­SǣF xI$gI5MFM05QA"ńu 뛈xQzzV-tYW+*(< Xp Q6)b6D&L<gk`Dfh.qBe|s{υf]G=X^ i(S,˳ SPFI)AKZ0a䐪l5O^-zA ]H,n<صA)]H.rʱ*(PPGsH•Fc>VxWՍ1H?$94miPlk^9ܒ)U`ʖV&Ce#(yհt9ö}fA#y!"ݻy̮2y fE2?4IK5 LWo_ս~S)d^2z*5I.6ZR E 6Q K "0rr"'UC>dp+cjIM'Qk*ρJ/!lmGO7jbAdH!$*0BޅeAl(3Yf&WzJ*Omuj lNMKTkZa]u9:&ޢY}#gp2_hd H?O`#oFeb(.j19@ \\%&YušNީ 3uѓ 򆙥'erJgchiTcfSoNLH?02S[$.2;]84K|S7!w+_%=>%#qВ[# Fzvւ tbpP A<1NHrM7ټ (W0g ދ!A.Et$XJwሊ哜W $Ztk)݁oGOI}dIfu4۾0~u +b`5ˍOI6]0EeTOk`坁hK">ce@ImM5/PkPQPy@J7ﶽ_?͠Q Ra2ۄAs'Z9lf! !kZCa⒞#t[_ØS|&˰Н~)`kH#hӄՌ'i5J-iSb\2&mjt] Y2']zY} pqmVc6ϴmJ5o:Őn-"jR_ aE(2Wb$~*x+fcb Ώ@׌l&㡣2B'hI{רkC%LΖWzFQ R~9Al0Rz6 vϒৌv2`cxNIN#p*hHqeF-oU 6AXĎ!&Q(8DYC-Y". /Ixd)pکgϚ%3df:CEFLa1>R[;5̍/V^Em$wA]li|kW#HU64s$S -- b.q+ l3ePF[)nϨ# JRajYQXuoZ@?L>l0s{DR> duL$g3Db3-Qg;dï'̼$ˢiuSէ yڽhDA!m[duJ1Ah G@}ȩl}@Wv+[TuŽ?DKZL"f{\1Ϭ]L5#n΀29 4(HU9]^*a"g \iQތkfr-ˉ\Q[fu* #ZEܔ;  4&Q+@ܰ{]eHI_;:sک['v{1/[L~7( CսgR6r\O :$Kޠ~.ti h ;][oUu\<˓Ƕ-8L_z@ionxZ}csƒu|ͯJȯq%(gg@OUHP/m.[xYZd 2(?E_)]&uCv4@V-<Q$izedYkbg_;P_eq5A4e.J(WUO FS $;Wc@uEy;f&(1#gڈa73\brY) (tJ1c룭k5OwI n9_nŴ~S 3{hI&뛶Wu3Cth6#*' $PԖø,oa *pARLVɭn@2|9&2\*$~oصKR1~IՌ(ַsƀ1ػ_Dd;o=9ZfxeEU <"4H՛:h~In+R<)="-Ԥ;8kJâKϳ-]=AكNOց1lBqj_]$ i~O 0._Qx+(ȃm5zDVCG5d_ɏ5GE(K lL9q.ƴj1TM"/\ŗ| ~2-@Ǟh4ts{ǘ_!ڈ) ݸ~PɳBLA4t-C( Be뻕/W&Q%h 5p$0*E;}nӽx}m+쐡%$ٟ823˙i C\sk=B(i+:=4(}1K搣V۶<5 #F̆Rd5>b|=.G#8_^Ӂ[fS:3dZoI>s1+,[XiШUfhd .YX ^!m<ȲZ zo`+v->eCc%%~б#l9A+N_\lp=Jl POC;Nt?dh%h1[P(THz_Zus$ Ӱݤ@2@}@l':t &jaSW a!>}KVHB Ij{zr{u zyfG5}R535&n'7ܼ.I %F;$3 )BPI59W SpGK$y};V1O/F3roq]!CDA2gg}<$o,>>/Gw\ߖ k)W/:S5h  I 0~EoY߀gj^-wyc _|co;QI" -&(P2)/q%iq1[{zMdDj'K/~<^dhan>p?EF2gu\jvMVH%  FDŽT`bF-%:YH-e}̏nn(pw3@O51dc׌r=S%U:ҝNu."ћWާ.ҜqqGuYmѣt k9ILaML-Vh-*J/l+ۉ^b6@ns9p\-B;V >ˁuk 'Z7fBt.@O R;iznsZ<~xۛ+0 RH-3]]ÿدK a;)`JXGce[ {CN1^ : vGЦ0S٠ z|MH&+P[TIjcogJ0s;ڽghcoE[d:Gᾚ[| 6o3@6v(; r0'yGxu=dV9f_&fńSi >#?jXO4= )avšwvL54o1oҟs ;]s#Go[j^Jǀ ؠItz~ڃSCE"tSӂ(ՙ"a A @\~gΈL6{ 0 , !.'n~7|@EC0YH( P0PhBtFKHWrQ"_eZB+b:5PnEɤ;!K+t/ﶮQ̳9yOO)bXGF9疘qR^hEk&dz<*h+9:Y 26d֗ҥ?؀.!3Be1nev'w-~ &T=lnJ~&Je"Vf[YK{wSB#+Mre z|_S$ʱWW(۠N.-kβ3_J~ >hkUAx3_9Rp_y7#ŐTY`O]W0FZr Ք[Z/ޠKt\FWZMȋ/B }E 0O Sh<ԃ^j; \سmMfh1bB@q*t7T#3Z)Z`?ݯu4]ĤYN|_ch&fn5S!Mb&J.ciŋ([E=t.bC@=s7>4C/(?m:T(59zʨo