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 <!TTD ]]]HOL-Proofs:threads=6elapsed=613.340cpu=1722.836gc=236.440factor=2.817zXZִF! ھ]ŗXf1-%˓S, z!ŧo]uA{DlꇰwqIwbXbSY$Ac zH_oX hs*H}4ΫWu"aXF>RܱVxd;I`\ŖOi urd߈buLG\D Wy=}=0/ֆsoAoifi$0vL0GS&ˆ`VB蚯qDD[fV⠺@0$]SSZŝ9yh4&-hXQ&I,rv,=YL}6ɬ13iU :ĖVT37nvtb_|nVk $D =!cHM"q VQֲvulwN3/ z1q!ϼ8-K8ӏ4s18&A4ѳ~Sf0yf^Z+lC(^mJ*$ɖ2@^z1~IWkK|u_WD[f,r c:_63ӍAq qZDހ`D/,v26 mO,+L`dTϝD[NSo}&Z~Hy?$,e?T>ؿ v(U*ڱ|uܬH8F(8t#py Oy q qqtC``"|egy kSɶ,sM5ÿf> rT'ʒ ."u]bP#c7'|;h6kFcaݼN|g@yQjO;<)b6T;@Ӊ /]eL[9u}~eDŽmWrCصj HX1AZ1w9uPC72OAI l |Nz٢z>5x~_G*v׼f HDP [Vp?Ygx<#:Pq8E5x%Uy#){դ-0!!ci-ss6u^b`2?-w{eCB. xuo\bI 3UYW| e @igPlfxGnԕBa=$Jrt 7Uu! ;QntbIa.Rs7:rp뿇 \\=^#ev<07 %IM% {:!< 2- -tCX݈WlpZpDqc0SAti,LV"lU@Fah\Wd䟎SCApuƮo\a &}(;Ip^ygD_퐶T"V;&[qM1ٚF=cr'fdB`έE/H#+K"SCDg;Xu;Dk Pes;'kO\=+jSXN|v4VIuhlE$ȪНwQ>{&1'= lQ$ʍ??9~Z6m5y;_--͹ 4m2s_Վݺ(Rm&L6[V=5fd;،[ξ$^Ma.\1Z@nJ?:+'讫}r%eY+H:X\ecߚ3eQ͔."?9+5x09ǺT:;MuP`[JKSXdF? @`IB [LæWD5|ѷWmIr3ѐ6q oCL=-o.Ej0 )-M<à:]2}W/"!/S@Fm"i.LyIoP ?B>ဌ糺DLcY3SUMƄ|J}ji (;PqgүR M|Hn͛'Sq4D7Ldo(KD3m˚V:$o&R>+z \ 8J3;;V@/;K b6eV }= %(GU>  8t wIn3߈ sH.F=|)x\B/:$-iͫٽqה&iKٜr?X5M699{{-M UDĩV:N\z djo=997OEWt'am. !aZ*T͸O%Z bBHrs#9!/(&ex2Hl/V`ζ3aչ4+#RVΕ,y0~d{ q5l֕ kT`G/H b^궔\x"=ԐCzIy5JŧfLӭTs-~kl07< TAvmv9ɨ,?.Z\Ytʦ`E3_3`@20yY2!A9k bU:H駵&#XRe}biGDcz_3  ! HOL-Proofs  w#.zD!Vοк@`IW$joPT*BQ-Xj†HT=Eb}&Cy}MGs* ܁Q1Be۝q:)8׳c?lCե{Ҷ֪3gTe,>/OͻBx4joɡֹȢQ̾ԅ}[h|*J|Э2E<߃PN&X.n ~ar-gub2xs2Ķ.W+NrYSeQ(TEp% Ԁ$>77*ZN+GA. Ev/Qr{zmS:cv`4z;j1!^U fG [cswSZӋq6qsϚIMơoC2\bUVE @VtTQ{ oZWVK1 :캡7 uxM/eں0,.WQcτJs9dK'+*'W!E z 4KDY*b P8gN?)M{OnkB_1֑cBi:joנ\(#28=a i.C& L9`aV|Ui+ymHtXa4RJW?nf/H ,$Sw[$&v`[JL ߝ4 ;q:C+xe|. ׂ 98ؠ\&Ib 'KMrr`'M A>F'hƸef#.>7x=\ߧ`[L۾.R&3A끌^/PY6x0NṀ[Pէ]9.MYϕ-Bb.{]LP|)u@EF:Nh;xc俟ü\gl6Q!gaQ#*ⶓk=d 6BzqkT;BW X$PSO8z O8 N:e0fA'#8 Fƞ-PnVbP-fv `l5r()ytZ Nt,yh)( =N.(ǂRxH}^*)՗m[OwSa-kGIj8yY-/" w{=82 X~[Sj8?-_ɲwowpF=0 ,86yGy3P '\غy/J6: [7dfTPaչ (vܓ6E~S(<HjIFmTcKi ߾Ay e"V$J77аG$-Uc&5vҝrQG>|LPf3x, tJK]GW r~C"diɸi+>BREm@pqvӮ~%&.  Yxe_޸\)Lxc3Os5 3\6j79C .MCuZR:0mܖ_/\uw7iX}q#nyIbq P`%7\= Pk9p[Ww-NĬ[0/~΃ [tduα? KLYbS!;e+Gr_??x|;lthvA:l׍5ɱ_ DB#PE;̦zU SjgԽ%.GN"MJȘkG ytj:ly MAYbdfm&u&Pw-1-1ND95urмf)\69Zy+j5xj׻:/0ɱgYZ7zXZִF! c]ŗXiɟ29aoʼz[%U>EM!!BK+y3Jj2x%#b4}<}ޑQ^nNqx+1sxs]6?ƌuHJgdϜ6,3&xM)Mv޸<+[a.$gE!;BNaټWB԰;.qT]9A$L6~ө'ߖ-~񡊌a*  ~On 8uJSWeMв Fr}e̱#D| "c~ɻP?^?[-zR{d CLP]` mP`c\՜Vg*oжn[Wz'Y(nV<uS(ra˛Xqߩ(a&7](u:"tO$#1t b!`Tm8>NRz-ղb%~ !>zNƳF·r(Qח{mN PFG=e"qfHm#7вKRm؃z؎ñWr7 ?X;Etc:"'Ir@Pb`fOE&~=2EzVY36>@tB$3TPGfNƊεo)c(;^̠XڡW"Vfr5" j|,|?sL} n^vp.Kn {YYwZI+qOw[iPM9!J6>ih\?p Ɯ("ɜG>{h:cPu&D?y#18׍JàjaNb5(,7/v zfy>$9=M8 1.nb_WN;QV@]<8C1 -nqBb :5YxC)2˓Wc: &r~B@\ssCQ01?^펍u`U^>GELvAt-*/1+IFt-=qQfl1_,V'ޓ܇t蝰QeF1y F%9Nm@ƾ#Y؈L"Ah"G^QI^P 35Y>Z jNaY;qsNʣ䊈1)HӏVL PN5jݼ9B^JfX, mNz}1qRe6f1}3b -須_8дv b,NB9roQ )<^Dbp%IiLpb<܀}CGwo_XԺ Cg"/<ش^82븗z-ߜ͉ ѹ,ۀv.`oCfW VWB&֊ֿuG|/_iwT_Tӣ3BK/ px)2.|$?msSm֐`1mlMR,S5ޮ\UB1zݑG As_ L)cmcSUpkl[a {ۦybAfh6(YӢN{`!UPe}u׾Pbi×'ϣb>]f3Јh6Ņž6*' K:7[!FszyYe y?*\o.W~#u)27;5bn mhn7$jN%<֏82jۂqM zb"~уvGșth2m;CҥZ/KhN:oݭ2k:l\N},%8-ː01gA>=tAd%Pur \n o<=ȡǵVX^\Mu 6}T Q ?HNE4J燙x"ìm b<wOɟg`@ɡb7ak!.ڮe*9DدrPŤD'>;!a^XUVP/hm+@[ H] v0-Qʓ HEod;" +]k-9xn@tk 'x4F#@=,S#7 _\NzB6X cgeԭ/Tfs/U"[72 ]vroP{ s9N۔ٝV*"p#ܻS´޲h.͌ ^8w.IW; 0m+N݆>1!VPCl_3a\eE$kj/p-DWX1_2&V ͈9\grF-7F4BصӎJ~d t ) 2qs51FiFJbR݂uXy|yTX@wq-^ }jW9tjz00gNZnfrX7RX2վJMEVoEod:T_SnM֞ ,C Z"ڧ)هLj3db|$` X0`>hxNl 60d8ǀȓI"\ƸIL^P0,~" DHQBD|D 0дv=zu> 淝zj,ъ 7UpSr6{wj4{1Xt_,=abۂ j"^,,Bq;Ēo?N$XtCNM.XqnuXʝ[p3ҾqC|sUq6W)רQKDXMC>H( cz!^Bɝ|"C9IY$.^H lm123P*e;WV2mrCDH_M"RVTr<_yҪ8|̇q :;YPq͠ܤ*-ymiW(ȈJaK[bWI0udYYHO``M4Jn$Nbv?݊OR4!8ߧ`]В2dC+e&\|Wel;98Ќ!)8Wbn1Z\|BSA#!k65CR9c' / 23瞮r%קWKiD&Dhc-Z  M=;"0Tׂ,I%qDPupd{>dcEPu$ׇ>Kأd[>fh UFK[dqqJFA۪V8I~UF$>Ϙ W3ܧ6V/wRw9.tkf3A0Ȩt\2?]6 YqI=[>uyYF-6#C= PK6-z~;dܭnYo8R"%F[ohQϯH8n ͓c6L幪\O$'uxy;+yLG;c3GA )"o@eL'.'S^/#\kYZ7mJڦm%.-S _f2QFϨ4|L2I}@+)e6 `=T8Y~D3-#m\10cSВ=G]}iḟ%c&X?3W9 א.zW$=RDa RXB@ՓF"3UsOű`yϩ\B+84yEyC}d~F-e ȼK"IP,,d>\H:];; A]p#c@X%|F[洛jp~E "e@)VC Y:ƛ_$X:%hU,NM/+d 9 ƛ4/~ױ# a˹LSLN~KYy'n] bz"g J~GO^u oglrcf U3_Np3T,^=t{ÑM!hη BvN9B)ݗ\q8DBq/0AFs ".y&k\QҬԤk`*p\8 vPt mM@i&ߵni6g3zqdNU'Z"C\Xbix;5%di btϤky`B>p'v&zB)DXZ& :*QK/$p4jBH3ơ ٜҳ}-FMw} Nxmߩ&n":rČC`Z@l gmc&c 1,6 q='\8nC50@М&bU$ah7g%Rn9~"1eˋbs>XEɠ/Ji_=x^3< XY&g|ח8QY^-#^E~hmfew#vtX&M֎ppAbx__'TʂUaV5[e &)%l#b)QbVOrO:׶^B9p/*-w>a'ȨƚAaed]A i9Q_iwkOoS/=*/Ιp8kaEOJ%3U,)ę?,d2uwSB۾Nh3z{]vh%)yjm7TMnN(0bBOj*U . j_/dOn:sE"2B꾀M tg_gpe,cDgNzNHMo'ćљ( pk}4g)ԔE5l<A O&J!Zq;##e Q mR[VƵD`@\Xu #kU}8G&  q 'j nS2FU`TC#=+Axjx[&Ð,׭=Fe3s̑ "Jw4ŎSdGuH>,3[1ٮ3p`hiyCƐ(z3>TL9KNR޼R$ \2$Rm)pύ;# 3*IU2z֞^GsE FNrOH+t@eSce2;1Ζy޽|eIX3 )~/#irx=C6IZRA7|aQ|0I۸O-B/ q~\ii뉚͊j說ZU/mE{:q`K6(Sk,'}qt5qM>jLfTF5.F16_%1!u aOP'L-ir#{ڡk5`vmwtiZP+[fhO{ZL?P:fѾ5s{u&QaWEUe_QJrOa,"IѴ~#~=>PsݱMJSvuycN=P$Iyt-!Nb1"R k#q6_ }k\k?e0Ue٦pTM.:6P%:ȬG,//ޗx@^ԢF]:Rc7ݓOP=to;e>)&KL ٰ +vR_z"F7FbT1dC+PJ;[+l#VJ Z½XGF&Ҕg=x1 F-)8S^j&~Jp-ut?14D{"(SmV-O%)]ƭ[^e`-T:49PAwu%ʏ0k[P͜HUWfPXSȉ?^&`G[cd, $v%lM0C%EBE HwxCOh{Dؿ=L7@qn<}"p> Xȋ_ #=_roˈ_ ]#>s r(4+4kQV2Ӹ#<|mph% Lbe&F0pOs̽5ϒ;{/_#\8h(B2}{Mꗲ(]ɠ֭_уl@MHYTߘ ZBhT/=-dU'AW"[ ڈGJBm=|HQbI ]s}q:E|-# JGE5ϊ a'A%kiǗgɜtStߛ' =3ga7peGM5>@`\f ~a'X =}8sstDRd\H;T : /SD 8Gɠ]ݸq]#ųdM!pSOG:% jNx9]KqIR?|',&@B>k)rJ^(7et emehVSS_j̵:©<Ъ_%kZhP_U<^qn =NnP1 ipgHsx_?-uz䙭:n1 @7!^e0gOקw'eu!I1Yas R4VIjauX=0z4Q[r`XAӄWX鉳Wi GU'h-we69/IN%'۷5 Yv!vZGb.M!H^㯅`Mm hY&Bjtkٔq^W3 Rvp>o΃.Ym6ΜevBbot'IO( {[},NLD(Lh2ƨȀ /c9qm输 U7+f޺AT2j'뭴*f?Xx;a061%} ¥RQmۭf?5/xxOuv?ޅC^@ֻ׉|Sx[P=B5c`Z Cwͯ-G l}. ڎ}ʡTjSKHK.=X!!! uNEQXZTo>چF%QBEa3$SufovS+ޤbh) #J%55qASbFacl|/Obx2bfB"4]RsJ¼(!f? wAE'HތPfWOFg7EIi5S'"t]66g%a`2SBdUU0ھv=&Up "uЙߥr&NL]}l|xeE;Mh7d7u35A$~U8ƃ\!x`$O,; (㣹ߗL11~5Idxϸ¼:=L&]-md IWoDz)uW>lW7L0RlgDÌp[)ڻY|_ơcp0 c¸S Ha _R9wX~EJ>w& )閺g t<%> 0هxt Uf3vmF8JC2)Џh&x[Zv F֛r0(dS0ygkṵY_}+3)*[D4x2C*,eٚѰ:vzPRy]r pgB<:Rv{HYȼTf7A/s㖶ɀ)Tnk6병 .q4zI$j+VCtޭ#8>QD$K!nO?r\IU7.Z g&;c)8r`\͉rtު&;^c1-@G QbRjOmG \$ȅX\e!|{5 i>q<;/mJ%U&U Ng1QUaFʑهq:PI[Ae,UBkJߠCg5cf+M# $xsN/T/Qk9>$k$zR|UxR5Eۋִ,yLȸD`hp8cT"MnRXO]DndV=`K2.Xb\ |}1\Fi&|BEEICf!ecZSr$^?QMsaZWi.v裆`43.1vD,2 #O0}DpW ٣xJR@ XJ7xugC2&0Y4 ނ[lP9"KPoзʫ@G2oH{`:YUPٚ[G޶eŌ! X-n6x}B B0ͨmŰaff@Q-lKayWn~r^#e#0[p؇@ގq#ώp$Rl</  {さQ'.*(M<L2.c7X̝uƙw}l6s5"u:՚pW@ku]5*}˃~>n*,oyIX*9;Շƭ%n^޺nZC-J*!R)A)]&9I_InWrEx¨9jBb4 ']K|䇴] ;%}T1>"" {-c*+2}ZM*T),[>Q+0qTC rg{,8{LP ,kJsv:Hњ-ͭ;JHkLԱUn=aq9[ka2KCэ59~:S2|҄y1C(bh?MDž߾rQzq'WqE n"iˉM[INe& NҹmQfo}kNqS/M*8e\ܢS)؉xe$:ȇ+nb@at 3C7ðBF2,b6dkA1$Qď/`ufNw._Ս)(EU9uRY{6YB5KL-)}d by{qVex=AтYRR*sq)iᢎ@މVTGP\=d5,{i3Ff1\OSdGXɆ8\ @vҀ5Ʋ`)k`I<@:2wiDWj͓v%,Bx3'h{#Sm`ޜ'Fg`LWk%JZYIx ~[\~7_D"&׷H1# oYS)lF嘉ATRDzɑ.fWU"9LM9Zh󕸄g6S%<*"E\qY oVB%ZT뾗 H}9FJxVpj"7XxBSfrBN +D D˳QV,4՗Y D%C@ iP̈́jڧΌ;-!L6YސZ(+O 6Sr>e0LFed)2Fk* cMM d %;%fKĄև|Oj,ll\UdZXB?^<WnشxG`ż6P ק,dAdHܪb P$F;Jp"PHYCJj"xWGs4.wV{gK|LoQZR"ΓO ^~K!MoCPy9 xF bkYo<44ǙGE5+CTU\|NHWOzRpi@Z>֥&ATpb"DDp0ߚJ䎈pȧQcႢ_c2V&3,'ib Flwb&Bd&%Jf I^7c{|}!+ֺ`8.6(rxxRkkWL"e:!rm*`:S4311VyH3CCжy6WLw\לZ{~ʫ chMB K[0{@ kؠVQߐJNC c.ق@tI؉f|>ݙp hBO:iR$E$@2c iu9JFjS6J 4'iȁT{DŽ$uįeH.$ʌ(^^fF\!ɷСliWIvѹtFc#>~EUꋐlg?;K 猣Aw{s(CU\5T!¸#Xs Gd㺬ತ/.8¸%2:X9rUI7=cuAY @ .f;!jeϊhx':O; ~+'?3fR8UʄtZ^ @vj\mDɨ߾"37nӈLF&ͺ}["]0TG5xWvxy\n@C. 0͵U'N Iw8~`pE TL@NiLD4 gǿ{Xu fAkɿcG:oAJҊ8Շt6ŌԍLbfBO)8!h6pخoyU慖WƂn#B&vi0?5?SVm(iYq)]O+,FX'xh//|C9,-ĪL)4>5iKG>= ^ ,CY= GdI 2U}Cpasy`6 :eG`dZ(Y4x xUB Nv;F'$qV̼<k'>~p|Jv-.?E"`tf bmlJLl!&@AgU6[Q8Q`;5r׽}ܼTR[+ӆqE&qZGCw4HӔf`җۡgk@L N@++(S@T-}/b Ajok "ɠV~# 4,o+~Q&5Ndz>HGǪQCcEJ$=\EnSjP];Gx+Z"€ٞ[gotDtˉ =OiCƛ'^pok`>Oz]2HܘV2ɮ~&9 v(~uUr!"xJ7I3] 6 c`# uOBHx5O&'FFg~OH>q\ī?7MufLK'ThkTXZr!yv]`O'oY~wXЩvd듩w+LM%MTak1t/9ŶM?H>bCg-Au3qhrB]:qY`#Js2$IQ_@Gl'V$Nk&Wt9]KWYO~kͲ_RYqAXSaOwʨ st8 R(ˁ,)8~PK2&gϘIf+XaamƯ s ~L5bv35GwCgx&K 1Ȯ~탕Z\+y}fyb -"|A19 tkcf+Ȇzˉm{7ֵ$sDfH|L$a#rw@BNJPM%bUo(*i΋qru P8 ec{5y%O=hA+ͩɓ0S'Y+x<)=*fxR;_-.[B+/!u&lҩz)In\UDXVkRu(OL]?-uLޞōB>U^^pIEoz?S9ܟ叨Krۡ3Rx5f'>{a7Kď?ٛw f-:Yp^1-WE⽤")9u[N̬k ʈK`QɸX9>z}A! ] 91oǑ.Jӛi; ą|!/g{%R~ 'IK*hJ2+iobiu$P*fAKZ>i"&mq;'&RHx!=uyZ:Ϡs汒e)-z}"!cRSWBEItdzJXON=)۾Xar+^/-xWDmOq";N Mgݎ%5H>my6[SDy#rkQt3uV,>EQW$AV)7FyG0?hB\oLt>n4gk!S)qN&0f ]3jYq "imKm˖ -"8f Dt-$ҧ\Ҷsxe^X!s6`;8xbs2;kҸ5)X$,60!- Tkg/"t2ʹuu7A:Zjp cx-Yh\I}vM$%Ϩۙ#ٷ{O3vvE2晀Ī=^@Qa_g5u`2,p꧹oIbi _9C2n2x*`=]X4cm>4>] FU9;Gp1o>ϚSXAJ{SSQW^5.u|:fθ|jٚ>fmՠ"&Dz )1пdK'A5BԢ4vځA@BWߚJMGl!ymX`: mW>un}ٞ ac9oV4e@tg%%^XJ 1DZnB KtC7v+vx8+6ZD@[UX| VDV!%o<6qdN[I8K^QՒWKp| ݣ\^ÃAr@OiCքDȤhdh, T, lS,_기C ޔpVJTfrtej`7ubtnB@[|ݯ:X2nR͕Gy`;6:",azGOM+5D~hSCݢ=oQa0cI*YgCQ)ut]; )6I>p7W&lx=V:<%g/Ed҄q‚#ޝ~e 9r_&)*5[PZ <43}sD(16f`#זgytetd+qz2TKiIla#q-ӔI:sHsy4Ki'nR<& D`Q" (ex\* 4Nn;U]^-컨7$iT&`K`K5'W{A^{.ª)gRhȒq:Iz%$LrO!Vqf Qr9$39*vڼ_c[@:[5w<L@uYȖ DZ`/"g?blwkqSMx3-tORDxEdx7UCL^L BCBܝR" v%d nIMߗ}$2' o)Y琲dG2qؿ[zjX2*7 +dJMN w.k(z0:w|}]Hs޵P/iڣ憆a'%wXDVfH#P*t#~DsikRlIi[O܂\ov !/auYCm^<ֆf%5)HDwQjIM,_֮=-e#Qa^rgFdCΆnS9eEҭZ̎'hgLv͜59&|!?(鐎`&f);oEyJl?y璸ip6;ښh%-`N?$ L\0u M^tljZ 4xB0&۳W_x4G@aNρR,Ba;yοk=VSȣ1d+~n֥W@Ϧ=oiJ06PR*3A%D/mDid}/vɬV|ti/ę!biV%XWDJ &K4K t% cd.1sZ`M,pwx;ߞ|Sbtjh.1j[,?Zf llÕqCI)UTG&8n&Cs1 wi떢P1~R3GbcDxhR*ؙ&,!:s<v i4uYMIWo i$pw:I T_KF^ba ҃}s4M[E)W/z8VۻRF%z) Ν c'6lQ%hcr[nh,5aTdv.-* `_X#aMuӮ2{ "%c1ʗ=]Wmr@R у$`㜕+Kx8A>LꏠdZ5zfEv 7G?l6LeUzڡ[d"eb"Ҭ.UvYzյ\gyn^OPOT9ue€m6n44*ƴ`эswU{7ƦC^Y*j RŕǸH)g9=O+RUFĊpc1$%#)j't=&Wəj|y2[rak>CsͪxԸ̃￁qE/6RS Pts_oAJVBA m?kbBTPw:G hn3\&^$ǫ(W4>%ߨx N  u5?/M"5r\Vcoz 3LRLBxs[ѽ3{"1D0?"`˂<Ȭ ) -UO?[z2/ h YTf V:*jpҽ{D{iY||Ґ8i w,7ra *Zfrxĺq!'T YďBY)J߭}4:!T\(-|#ޕt>gql Uo$f" x6'rzaAн.+3o{?vݱx鹍x@> 8/:Uƴ?y(pb n{JOt 7xkSj qJQU$^w:#czw:6i'X>v5a in)l!VkشL'6q|$A3zWYp&XQ\caS"H(K?dLxCy%fR}lHyɤ0Zh!oPBQ0}/t#Iτ+|o6hC}|&"ǠZ)%M %'OKQ yx3"WUz͚~=OС`"*|~8EC-V<*F 7NY3@={*zE&{Iw߁|Wn8 ڀK PSK"X d8ZAg7 V((0Ng7 #7kdJasBŴCvi"'5-3n՘;h>8M2rV@K-ϖMtVҕ3;fMb^є%nGOSSXU8Eڢ;ZIa%02HDu8mmxbSuY#q#ffO:ӱ)"pLJKđ:S3y *t[CegkkVWh6CY<̡ek_b):'վL$2h\۹61K"Þ!  ڧ }ݱs?Ll'ր&%So5 l q#8q9shUA*!¥ۓ(ٍ = ZS Si2l0$lW@b0O4U܊e*0̢6˿Wo3*^$I(^;Cڻn M`%c$z,P-ob#pW=*/EH5}AsiS׮9QRwt"fg=Ћ)meɦۓ) x'$A"/-V)1_m~W.'&Yt~4cm-O݃*4Tef$#L,7 ‰e%ʮo]=B;v , "pTW21PXSGjdSk%PTkf2 < {[6X"^V(̱_}"&S\rTŹJfRe;N‘76b=ATU:T" &ˇ ifc3nS<Q|$ >etz@Kz {^O+}KtPU_ ͋琤8{K/a|? j! cC|R 7P'XE>d?-KCE[I_'y&{mzxdI W%u!B3ej%}+ڷy׃g1 S.>ԅT N̽ baa0ڻ0J@9`H83șM5ƍo.$!Xg)M.-dn4%s+ʂ:M!ޑdjw4\$Bԣ03BK$o  pzcz<*Hs&ᆡ} i(em٫X\Ѝ/,rh"߃|%lC O ʢk7"6H⡡ryijK\vD*чSd?wxYn_ Kd#@is2fond'!i` Oi *|;뒯imJҿ٩*1:8EjB"T͆][Cc?tD@GCDHPS2QQ X"o`C9p::ނL*<YFHYGJe_d[YBTy/^2ۦ{)>'8-Rd <;{vO;\cS5.ΐ!y$(U QЫ/[at cAL}&.& Vǜ*+>G  ^y 6|R}R!z$:F'# Pј8-=3Ek,.t {ݘ@;Yɻ8OU:)GwQuE>k&_yD6(Fg %eSځ/o-v2:S2CS QVPB !cʓse\N4Td"їq+4H:D^)J-#0, a vc_ob,r)ditw䧛 ^ \<^~mKLߏA)LZLny2/sv+֫ 1xR_׫8c/3@~6p.:_nAPV63✜ pT FB<:';yo $6>X 3->юu3[ 3kkjhs}3[/+;]Ԋq2dﳗ1BP('6)|5#IHmF$y{ESe2;c(Lo"㬐|ljup<1McGNTFZ5Rk.êq}_Y;_x/@j[4G;槒YIzByLl@OG; T|9u<|Tj6>8#OSɾw%iuAR; ?jU|3|ՃVNAA|?3&'?M5 î+ҵ` A؏Zi@DmkkZni[d)D=0\TUs)Vl 7yA!C^w!`X`{ⵦȨ9Sp!N vR-a*-TCq=7g[x&Pq8f_d2bPV溢|Yy-Io. EoDۋx3OKED=b;pif%дAD<)p,؝1d⬶܌. \9{b`Zu{{R@HKs(U#9uQ'QeW|Iu.g}G$m  ŸY0-QX%)509Tw~@@%`[v̔9tt!f'9γ`Z񳲜)Hї<-Txٶ7⏈GcC>$f~J +Ơz(ߧDB$mGߣ0?|#-뾾|bi4jS3F3Ȝ)\BbZBwhis[Τe˔˵ z=W 7.ih+e nSz8 ?Mmdtl s;;[^2$z&0h@,%z}zhA@q"=ez19G*c9g^@ƼI")Ov$~ ql=o'ٶIM2xɢڡ3GO4.$Ռb ×t['ꂕ* v0Y< ڤTxllLϏMo'`ā1 wAMdNkS! C 9N[/U;j3RnC/Cvx;,R]_m~`Ijp qS0Hoë2 & /])Kuܗx>vxx?}9ƬBF|o&ݟ2̿Uej a/PNg. ;M6՗8l|3ڡIRAފpXͅ(Mfp\ |{~f`uNmҙKeëZ<-V GokեHx`91nHR==n[Ƀp\JᓇxƠ|=Fhx;ˮcWA B2(At'c tsX,`G=y=Ȃ۔\r9bjz4Y|TK/%((w\;b-GDLСz}CYH}j\HfY5jP %f4 fl"%`}콌DG_*ã]fZYpG]DRFeC~z6 A!5@6&SOi{5IVQ"R!3Zv dX8ǩ[gD%K;Խmw{>rWgɱqt"5DuPWYCt~wj>拧 [R>NS]1g8Rnsk5(g 9ǐixn3n e^`kL>S\[9Qe9% s> AbRV6$_f!?+*MF~\~g50^fdfi-; U}mf+`ܑ,*QG T;/[_N ;f, Aΰĕ#[ ׽l@)w=11&$$8b %g\XX>+ k.C7%TzE)y',7'\d1)>0 ;Wi[;oX1n*!|-ag)2yE[ aI|tPOt6ńjnvm :#4lV0Vi.W&#U6J8IoJxAD3EPaCaq]s>qMEPeYT+ڏ7D[MT) 1oF)i_cNP뎒&1zi%Pe͐$5Lgl9M6J/Ք*a3G_ǨH*zB%xZ+ExᆭT}ضWQ̘h?`w%g岘긝KRB/o ܇dz],#򺵤J떝%hkC\b)uwy5F.3m9~ W`xE$6Mi2F3i4V ##r58]x˩Cb,O)yRU$~O$ŏ/'neIi󲹅iS-z<b,鬙J/gu#2M7Lc%†9퀿J}O)}<5nJ>W d߬#9]"6bdvam3(K_tIl(揅xCK&}ۯп!E\^Eι evb3{BdKU{HzϹI_?.Nʘ`l{ #n4$#% z^b,ՙ^/ME!ݨyn@>ʡQ7AE€V@3MPNbb%STS4tiJR76+2enZzGa_I:ߓ34΅t~ӹz6X-t2U X*F5ғт!`ͪʼn[bv*H`qz^4ش)y: PI~ƼԼoeQ(Y`|v<0}3kńd:E/Wf/]m](}42t~*7ѭff/Bu5U>ȁ%$G0"w6M"(9Ym`;Sbիb/[8 <~(:z^IА9 9A]~fXe~+#1]Q\0AB d1S/x0A\;+ GOv!Q& N8Eq3#H'>ʒ5~qB=Bo:rCL{ڷՓ|QnD};W&Uq`X|\0dQSt)PP{]7"vRߥO赠"EqabBBu hǟc[ٚDk1i i`-;=8fJZ0hs3@XJUhɂu<޻z_xtZԏF4eͭ78Z#d1`#TMfWSп l2dwf( 6Yꁥ/ȍ 8#_3pޗ{X%Wp o+л}lck#}`Sl&0{PWt#ق]@(<'/8Ey0T^9!q7wQa4'8UBƂy~J9K JK5!#L+l(Ju }r2K:GQpm) @)SqX hQ[ #O( Yu,  @\byܫDN@'Ղ\|+pZ5N9\wu})ѫăl^KN7$({ lwRk%$idRZ -sJh>x|LԺ ||Ztme7Ϳ#ُ^Rg3=$T?yEf"]3ZW޳mm}d DU]y7B(K ,Gyg#{b*Bd*`Cd/."6\8Ӑm~϶ اY#j2X|T7jEI:>,N{9{V.3P#jnP{,6[_̡Tz6=‚*EmYQeêԺx- X"@]kfXE16ۉC7U#Ɉ-@ߗ89cSRkkJkWbّMD;e Py ql58)3c,&r lƻw]k f߄Ǥ[q+񙭐IR-nYZqX7[ pP;/ \>rɋ4` 3\t)6b?.7n\k]0R=ʗ+IDCj}뾨E(JYF0P I1n/ٞ7Kx%(J%+<+5| -IWmtG,CyV-ʵϢzF}a6W +d啎~ka½j<|cWFNq” 7A`Cg kCHc/÷(@I SUrZ/Y! )/qƙ}#Y!EouYJATN!|bFdQr4v~~xU0( UuFjR HEtFMַ{^wx#,Fy9VbaK{ȱvƛ WfKq#CV[$JS/]BCX%uPY53@`׹,xS;QDd]zMa g%!A[VW]dCKuTC%@b$vm=ʱ98󑎾N._d$#9 4@31 "Sr>X7Z9*ItӢUlpb·N`RxX TU)gYZaffcf895a8473d145d3c616e32f7c08566d584d549fe4d0140f29b61cf1407e8018459339b5bee721115b10e72c4a27181ab9fe7e6812594b71eef65