SQLite format 3@ .  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 3L\ ]]LLL_Basis_Reduction:threads=4elapsed=327.107cpu=925.832gc=82.828factor=2.837zXZִF! >[/]ŗXf[&+M B; q (Rd|5KnƊsީ~MR$G `!e؊E}, eA*Aߔa-(ۙmC^}os3\ϜK^|(3a!v9f]a,"-QH'b ,xX?̡Lu€} G{H '8+g8R6Zk=.cB?~6֑iĚ?%BβngѮ[Ԍ1n[䯌/NrU`22@PLE'W,Ыxnr]; 𚝮OOgʕ[Hrli舏EWĉ#MIxتwCd#ٚcr#o,ը 3ro>=?FsG}&H$Y ЈUd|EnaU/;^/Gt10GВ}Ut1gbp٫'˘mH8 M zDy@R- n{==D p[^daNoC $9}u^hZPꜞ&ϝ?$5xL- t-Y\Q+(2dntesm[yUVVzϏc85ԱŀsƻѢz/̭50 bPn 0)#lXE91ugs!@>4U­NF(냿߿lGI3O$BRZ/f4sg>#U4Ým0ra5[O+{$Ϝ,vـ~Sı)?c/%9vqU= {Ztm Ur]v]۟yk5 Gets:fsbwU>{?`>A8gT_n<1[ w@IPQ|>D.boBJ[k= ;f#g]yJ ,As-c8Bά^NL`V,hOT&K~(9hRE "C-Q llk|7[u +%Z/*'=bFB 1P6!vmwG*=jJ:QzH4L gi 00pC#e3ZzM%K;`zAr=+s.N6A3%*2% d2ULZ]$8-M ZHU3nDW3 fϭJv+uI bCo(x aAԌZ]B& uxEc0e;#L!!sV&ւA #.Č"^hIY}8%#9K^E3FO{b4&dlrR0wodua[t5׻|@~]+Lj>N1IK?Ts{B +udF+E3DFG5AJS"⇨c tRW.pB30]LSìV̈"^z_Bq[?z6TެBG| Cv:*C-ś[htb@L G`U|drb^BJ`=~A=,^\Y^r $.;CvwYYCwlc[ :::-c0 ̜,cx?qljd n0,k*qo>(Id|D2fTxˁoƏpVkiC͂=*>5Q7&2VNeP \4x)Q*SO@Jh^]hDS-d2dU:u>8Gᳺ&31.bٺQQ@spҥ=n%=#mχFJcg.gؕvXL4#m@͖{3jt/'0BiJ^ wMg_j-3,UGp E&ѴP{5+? Lzp:I#Ͳ(Q 9[ $"u7 d]H8-2#EGZw] G'He;M'7c۲uN|HW>\/?U6aϋtJ23y֤RtR 4|FۺM.:~uk٥>z_w 3 LLL_Basis_Reduction  &^ʌa6[5oJ.lPRMlKП`hSt/*w"^j!!E-&K$.DH{b]+ %O-"x:Z~2orE;'aYuaK"5*X_lZ:X#RkSYȺwFf]W*b:c/_a$K!{Әv=&n>{Lb/^ބ՟: ߁$br V^XupI:>@žm6!AЗqD#zNH&\4ϝ2hJ}tHoJ֟ @^S_0Ma;{+X#,5-8\ZVz ^-bZ 2C M,ImDmeS~x"SN.ga&r ә>v)tP1Hk zL=AeJ]C@Na=e Yw~ld wٲ`ZdJg)M<=#}fKڻ.My#σJ6&`&%Z5$ْ"WTXیR3v}9mr\ _̘\6 &CE+v?_,i4 pӅZ|fD&kV;m[I|VE^ Fk 8apf7rwErͰ|Ûɣi[J5]PnǙ2?,!ڛo !b7c+GwSԳAo2s4FE< hj$|o} p([{qv1::tJQ,p޸ЇmnrFk§ 7Q-NT l,Pr^hX ! J-@ u_ CzD,Ѓݴ^p"6?/ X$?hCD~DqbD#'6 )1b1ZqT*REt%uwP ĉe{ sԃUдPe]T~%Wr kR\+%ePTP ?TBb."bM(:1'!DD)fהg`ӟ5n02EbM\{PÔ^ٖP~@m܂WK{Mj}DCc] a'qbv6d@l$wh7-;<7<aCQ1J?%!:Rq4,fL\29eXHmDs䊮Щax, 8L9WK/?ב˚֥m}_T0*澕PLpSOQ F,fR.[3ib30ޕ/SᩇF4\ )l7Df)bW2p򺋖Cy\_QqHdۿ}+0s}753/5f|H?UQ,'/ngH~@(;)SUޫ8q-(x|{@j1, <jN,Nrhxm!ZeUd (!ؼS5$qJOZVNCOQCgL<]yf vNͤqWI&RY ӥs2si!Zep lJZz&)Y='RL.:c}9eJrkq/Xz0qFFcG :ƃGD c<,~ܕqM}5T5α3Z4eF "S0eOjZ.A9s̟ll ̩Q5Y|E\:5HÇFn? ݮurYjDz[MѣU;)}P̱Tû]%ދ__qk]nFnro yѶ}a/6%^pֽd v!@ D^Jv3q_M5duȳHbwdobQR{X6a7c80i~y鷍жҝ8~`oK@s?O>׎#T)cYg]L.Wi!fS#[ӵJyw~ ATE.jV -t*V_7VVsG^~{VQ(wUz$,p>+ f@ xg|ĭo؊Y1p$k$&B18vhᅚv*?ɂt BząKY+y8k?(TB@“aWdzpbfػ!w sz?_2_ȃpKvI24gS];G(}32{ Ga|#`q=>I\s+=)vZѪ4D%+@*_(wJTE=8:cڏeßV3t՞*c&WQ僢Xv w栃 C%#F0AnkQ o6 < )o?@hfD>r=twpBsfʬZM'\6{M`S|d0Z hElx(R< NX貹W-jUY(3L.RwX'n_n>q^#E=]1QKҀ(FMdr{ۗn:8URKqf|GE<#h,/OW8p.vU8,.YUb0WZc$cZ^#XٱjYqj В\3# ~z'-uFնX !ڄcKrj$~:u:+jT+[> ^ϓ>8Zk;>yN.:PH;GJV@Ŗd8`gNO+̍Yg,oOR3}f]YM`AΨ>$ZI=c#4,^]>\bQT& I)Nzd* 4Ϭ%& AuH.?~0 tOpi$r^<HZub5GjI"=퓩XǛ /0w똊Vx 0NRePffPp8a~F^ ;O®쌸y XZUS6 q)*xЧqyl!Z^j&&%(HU?&qsI m^!W8>\4ík daw"wg߈Wb!f}nkKb-bED2cH\ͦƉ9}j d̽ Y\ a(Х AޗlT?IW[ %? ǠyͨGDWyx"nlA[UgXfn=O>eT(nեm /Ii>O 3ũ%5`(a.Hm ? X&=2v*p}6@]Լ8@#>%јĝ)chlB\pL"'#U(8) AxЫ-(:՘&*}*x wFoVm!.ZLkm=!^-‚'QB%}we@d5BTx@T*g}a`L,WKތ7dt^bCRD!L' dNaJFkm' ftf61uԦ9\K(I !̇knpWbzD") 1@;[9o&cwaoZju X1 dD C).LaK!^='%,bz(bۭSƙjGPfe3/WeNR uؼc7ݬz3Sqv¿\ϑi_~ggq} 3BM|%:IBwhCvc/gCA=2 |Q-k^.TF/?g/K;CS,hVNܒB"zV#~ӖaNlRȇwכ+&gۨ&iB[ԇj*P2GďsFE=7K(y![dsA@"ub_q1>7Zђ S'2Ζh`n2cM!}G 1r`*Oaɹ^_&t&:A-i9>H{ULV} ?j#Ex;m AsʬTյ6(KM/8k<:0 %2oIYu)1|,7|԰J'p >be2Ϥc.'LCS(I-Ot%ؠP;ٛ 7V:gie HsSn{Ujzl ^)U񘄓"4ږW$nd2o/Oˎe1J=cBoy{/xLqj'7Bٱt'<-ruʬ ǑH>HG>0} g0dF $&(%LR3zS `lnoY<:m4PÅ2yjbFn{77Z_C([DI0t> LF`?,6j"MV3ChʍE}=\ Tݥe$VbC:}zp"fᵛ@ h!:/ٍ-c0oXL; qX~~a^q(ï~p??ŧ( 4LJ(57o]V{p89<-)Z~nt;\H 4MJA ѝ|ݥ_[leɩW(TrBlg5t"cx"{lN'Ep֟=cb 2Ad_ʼZ %eltLكq3 3QElsΥ_u8HȟG+u|@$_?9ʉC%4.ٍiXޏW-<8:r.lk]FH;Z9* h4o`KK{b8vY7 Vie.=asA`NJ{[h&_ Q?N6⸠N7U&a$vG}7.D .^ ӑGlMq'qz\A$NoANOtb=_]Ԕ5TZ]gy& h! v.dA\k\}FyaGyG+- `24FTg]/xڌ򞼢Gy m,28# qq:m#u(dlu*'! v@ t'ti3j8?lo6<^=ٯ`@VM(HVbET8L&:WmKVjWw_Kp- /( T'5b%#&E4릠hvrFNx/_PvS7_HYvmZ?D(l3_%ձgYZ7zXZִF! {]ŗXiɟEY-*jNR%%uX/B0a;ȳz[@z,i,HhU2m 8ZPf`=lOz^\- C"kZ'~ *,zoMPm}4{Ey5'ImF5y:;.f!| K4X%a=U첛d5gRUrH]=u>KvD-8(« TC nC T%EU=iۋ#Z^vogMG|pw7貞gP*=i^ 1 'S&(ʇ=zK3|,VahxxL%v+1؊zj^wkdojH U qBo%Ȇrpvg=!x֎R/Sl,DP:ih1ŀ4=]ٷ4Pa d.)t6ebƑ!wr0rBø>v?G_zgq>&ljw?[zʸ ;W%@)JIQ1EfjߌtG~Sd'>[q])`& .RvwQ5y?h>ńJ(Ѯѷn N%sIZʃNDTٷrZ)rA.NyLVs}yѰWߛ5)?,ˠ ǫв ;m Or` #*P+IɘV(o ZS- J#Wc5j Oy`01C&O8pk仅(E[xߌn\פOc !e%ӱgYZ7zXZִF! ڥsh]ŗXi%B CGYl@ ^V61ܨfd~B6C4$\Gk<>T neaҬ4X(3Q\ vt&X5P>}(FN~ǖK$x/fZx {{۩ݫH xP4D.غx{ËFBH2YPjjw+11kN)%x7Q`s`C"bbMFi%8fG_v"<+nmϕ+( ;E@:Qs h_FI\Nw%o'$153q4 Zl>#P^tUQCQ8ȧR\Z{M ;_:h@ Kb2į'k@ATID(.KaV'[覍RoG9+[98ae˙B~i鉠)i4M4UzY_=j,Jbb& ׵nRN3'櫊QQG+ R 1`-Hc0vBTi*:r74/^hQi÷G@!XU1hޠR;ԵSF\ye%#yA"L:pe\؃oL}=9c,s'wbs8!?]HI ?JQQ|GE0Rhs1]3U(P'^I{7N!eӔZt&IvϹEپzHhLDp @a-bAEj[ E] CxPjA?\ͨ]c4$B((YL7˘᱅Ԛj*03Eʽ_2ps@Txe&K43A& kWIxxӓן7_FES!lb5ȑsPMN\ìA|w,QWPU`6 au@B1}k]a5,:j 38. 'ֆj h-&P_8-uT% 8 >glwfҘOWD*n]jEIQ$~c4] RsXbt\x@*gz|iLW`;D,|DZsdB),RF!d?Lޢ:uZ-qxa_&0 ē qrقjRG ͗.A<` H٣!5%Z]_Ic)rKAA' $.H(n!jIKW6&!3e|p (^$--2{)mjDZTG3]KqW?oФ̵q43@l =θjа-p֑bT꓊xDB"4g&{AO,=b.ڂ!Yki׋Ѭa}Ѣ#~VHW~9Hs]~[ h9DfȭXMա_mW\wta3f\drsLdyD"i#-5AWUB"cFji @Qs>ϻM)"SCPn$0%=t^9;Z3uXÝ;ʥ`+;6_ַO3x~Ɨi~H+f3ݟ fuWoOK͈+O.OPt73 HTIQ+*~٥\xީ: c'A/œȗ Ѻ^эhC[T":t+Q9J7UZa[Ӌě_ڰRo io:= jNA1Ud5rQ@kUkxf:F|n`,3"YݣTd0S/kQ=_R q1Д\_C>ݙa!&hگr@YF1W0U[G~}A/FͅfkbJ#_osp0:oa/U}mTi#95^ob[g4]2!I˺lp1iwݥLj{A{rMo]vsP22 US!/S8gpԆ[Y T"wZ.T*,sk#5 R?Koy1 z&줈liKc, AlFR`:u3oǨ`eJhL30|Ҁw~M`;FZ=tMfGs0,pr jO&1 + HEڡris/HsPcT=b6 <:(żBtBzɍʱ7joVG`ND:]ՃDOk(݂ǏTBGk9ZڼW(˂̢]bf1BHG_Ł\[p'}z&`dMqdlX%r$oyJZe:"|i/߻.h0gjp$ٚ=HbV 1ޚsy(RmL[iײD^zg^'Ϣʁ#sEV /~+{.,VlSimۤ1iҊ=ԕdzL$Z3f<r=_8}aZ޺n ڣ=8SDZN*eE I]@%;tշN|6RbU#\`E-t}9D%x` e^~B-=b_ > sX8sZgmˆ&Oj.#S ! H\VZ ~; Sۻ8[9G=SAM-'.:֟XʑtJQfc:ۡAN^@_Uŝe;; } F5a NwLx5I2VE|N =G+{a6mVdw+iM}]yn&bJ0f/i˖*٦R}bZᮮC.9H+Q[<>LBAm)Rox܃`WW19[Kv%thvv$pLmlRg!l=FHC;% ơK.p[xuBL#oRbv`Wj -Mu^(eeoZP7.рׅaU ěÆnK}v[]f&t(lV9M4t6Ld{s2Gzlz;]J'ioo|PzKB<Iu}~cƼz'^y-^_Վle./'JDm_i6ǺGWpä`Tpa3=/^զ1zXFHqO[NJC^سk9EqjMsIz). {˩/9aGg ϬbmԱ.':~db 9V[7B7 WP.)%ZNP07sS5=Bq!;Ͽ _3_}i%0Y>WJ{U< VPiB6y^}V\DE>dB MUu/5_4qQG<+%Ҷi X3; gЌ?_f=o\~05Ain&Sİݯq{{bV`r0x{>IX +ݟ۠(gZ4f֬.qUWllFT6G.3YHn-DQv{UG_}r$ب':e|Mbx0Ep4diQ8@@]~ZmzD6XC&cViqVQ<(){Ye[F|EʛCw9 NQ/8駀U6R!g83/v:TUkW7"ߩed{ܒW([wW *ϖ=uHU~G]C\ +Vv,259j> l$0XM8'bbdr jNM6}!Ecsdͤ"B`eyp؎r1SٶBDɛGْ|Jq`yl=7hm_Y]h"@={sB_xJ$;ik ']!Ix۴ _oV3O3 R‴ )|߰6g~]VY8&͝?>r2ux3図9 nῚ'Hoyl#܇m31r/T BC6_Vd턹]k]dۅ;P&!Ak{L9wW sqeݞLpYFh`L:eݪ.7韹;3PDoD{}]S7I!;lo@m+6R }͂ФO4 ':,wNC:6`3g@bMFxEt!e?,8+EzEI~U@Vdv7>P(b vE3~Ѝ~wnAUTY+`ELAIĮ2V_i!Imtc+M׼t ~oZ9C#~ 6&hʪ?ک&/Z vtTn(L:WBY l7jyDV%~i6M"IJD,>"<)vI\&ր_a446-w`z2[j8$pP '^IbJafMPB =V*Rnc@}I-"7+V=]8ln 7dF0{~C<tEL,$,bPHPtz ?FgE5%)Zr54ΪԉCaLrVdX.8D qsM +  Dmp>~NP$[Z.L~܌q8?b(? V]?غe~͋JʰTpߓzkls7[`^o2F@_֣0?΀WG3qgTJ?c<]P_Fna@KNIGY]'0]D*N2g^Ko0% rpaۏ-3q|i^H0P݆VI$ )0}kI;sV' :=4/dQ]m7K#׆5b.#WBYWB'jKFi19}<bJ<1XL0T£ZTEzF{?6iqr$~u8ᰯg"uS4L2*W֩ޠt!>όr5?м2ϋ?-wdhK;V2a Qe!DX?;SMfh/`!)qHfՄQZydW'>lm?,Њmꊬ?@ '?Z[!<*t6 K1ʇ"W!BB_᩼E=!Ϲ%>&˂Ef4(Z ks)F|=l,bY !%SJoEypP"p%į~ⷃ=i˜\K$|j%Hf qc&Oq 2BcՄ^-Rzm_K(鑷n-cؒsK}匢%Bm-N E?Z``Iwi+u ׌SZ)x,OœE_w#bJ(7B*8UG%,.bDG)I(* )O{c} AayZm 8SIאr ϶d$ yf>a+t~cFk=hKE}UL, !4mxR='m1Aكd^VL3FoMcz@iK=,&} ^k=+~' 1m8n&^}ʙMF"݅H%L҅ꐒl l]w 5OIynD0$2D@5 ݰߥK2L-Tm+w^~"J?hєJ=o-j"V&T>ށ8`[rmVZ\<;y2oӻEB/&}(&`P ;6U= @ţ٠~\(q.=wIVHn}Jۙ+d:gBbU;y}Pcnn, B*(="u %H㵾a{c|fU3I˛fJf lr]N븎uGgek$jDʕAvͰWg Y+*4!9z{~A7ʧek:$THX740"D+IMXg+! ϐv b14qsAܺbU4Mf* 3%Dr G۳xɓӅ"Q_BHGYGxT?uݯyFW=Pt[ZҐ-9o\ߞ{0aEw)G@N:z 9l 0O)jYP2F%N_$oe6谥^ ȶcޞfi=E7n0CZAVZz`N.X=%~ td᧣l>:;pK|8!==,iBVt`3|`$3-x?GK핗81 I^T`m^)}r|%v>5> ~zъpߢ(ƺd sOS"^(E%8F+؅;_YB|`ˤE)K%=K4<Ѳ(k {Q "|ZгOvNi<0e7[r˅WlsI;U/[skϱ: .:%TaJݎV1N`Aw$P'O+u9.a;2͙$r@)xGֻl;OoUF?MT>fMrs*ɷfTNɥU'3Pj00{{2Ȟ,`MV@lfƝc,rSF);`W򒐒J퉎6pvX-D ὎U ^ a\Q%@ЊCr5F4h!":Ke7ᅴZ*Q:\w ːC:"up2J V)jy]*3T h5*deryK~˽8:2&WIK_x Xd֦(ER螠k5ρ ,W ahQ:KҞ@d5M3 dK5WمMBs4$RW&7T00e+ckTA/6_U2)Ƒ>Ha[@R?Edޱ.T ~-G@-J9Vq>4`H%<%̗^˚yBc;/U5D\5/v}DZaݪlq 1b+ 3{p9ҲlUE)6KtJXF/'{t8D~M3T,6M|`Ԗ_>8 om1N1c--yҦQq5|QJKU~`uB~MͣZ=z=>bOhoš /$ɳuzQ?}]K8=Y#3{1;2>@jD451-iz Вݖ[dMFѭv,\5;.m[oIy<~PesZ Ggك$˿Ռ=NR U/vy@wm3^\k@ɞEվO_ $2D+(Æ f~4WCtY>FxDr}dbrm<rXY )[>/VmڈlxZwŭՂ QcyFg0V/Ǵ754^r˨{{Ϧf(mM)l!#<9߀̷#ǥ]oD~SzC/ucH1&axq'$ZF8]Uj<@v3l)C&ILpWWv0dzG#pVğZ@e=,.@1)7Wϧzcz|;BlեIEgO\a@/v0cmB /Zo?faT}EviTLA]a (Z.ePwo."CNw$|>>A2fzF !ޮ ؔTp+NE{_fZ=bȬ[@_8* QT2ET!FGp0s]_L5H"UPeͣ#g'˨W>4 ط+j-s]1玮2_6qisy׊znܸ]ȫ,N?CjkHuY6 }2႔)^p?\MaprQh_`FEkB\ Í.l2X`B` vxD`@%4U0,jxKE );͊/A-KZ,k[ !vSXߡ^odo+Ui{nu,j`2*(?KG}ːJ.ۏUpD3vdP7i}PHw/0PTWFΕGz?)Iq V6>U'aÈ**FTEO5VxaTS5&z|ˑ.eziѴgups mo#VՆ\?LR!W: B>ϸFb4Ea&S ?HntI[+fD_D$g ݭsh]3<`_? < HVC ⟳G|([w38 YY_6EQ=n j*AsR{MB$ҰvǤm>@2ٜRn0\3yVA 8!kPi=PZ1r" $Hs(G4LE!*~NMTB l`xDu[֏}9x7UgZQSM'-r6Rv R![t2WXݦgpgH듙ŻuxZߣk ۓdMFO`n,秜vZF5rpOrUuyBLN)~2eؠt5Py;O s* x-.E6#y;Oi{_Ay~`;>ggqX§][8RL-LP9K/aܤjQLzR[M &^J Lոb/h߲=ڂ,׫?A7UlMN"$@KJz& (\ <}lj&D[hqbג>`T+{e\29-Z2yZcI 2Cl:(̼^T[6"}OAg*>Vn)3lᝬ*Ko%_KQaz{q+ ynt! KKy',oJlj(2Te^.,'yd!@BTwb'Gk3fud܆-f$@b`!06Qo*R փR=/B]:$9S4E4`đ'TDТnSpc fVg(;D85/Qz!< k#Riik,/oaHufǡW:ge}&w#h:pXǾqNR =)=ʏseN3q]ƘHks(|&E1`?% ^$8.+0S~dk}׹o[:o,$FJmSAtMlq1> Sh2_B}_ݑ傮(IUR)Q= }f.o,n5@p>~`:L!M%{\*VP=I!SZlsJ@YV@XBc{҃'è߷Htpid@J'fscE:&z8V-#gԴԱy&ΫV%XٴZ}T _PcHzG4Ӎq0Xzs2mzäE \1kE"t0Q: n/AQPtv g:K$ŵvwv6?K=\e |qHRtrNn{'P݇0 M e$^Q3D2qz*|P~w51;G2/(:Vvc,tnZiX.vd4y=tq+T' iḣ1_¬X2;' 6U嚡x-\tHDCې$YiuNek `BZ˷)b9S qjz.Ҝ)vʑGlc9DgeF˖D:QpSO1 p"ei7՞oui= ;Wdڂ)WyE/lM8RlDUo2$N2++*3P]8iF01Mc|Tc@rt6K(!bx 2c}7I<9܄05) NޫCr^7ut^^طE/{Ѥ35^'Lҕc=bDȰA9(Yr" R*EdnJ>mp1M~rLc%O; q`n5 Q*D5wk{X9fISW]: VuNo,ZgSVf|B'hIv}m~hɣ9Ge6l :(sz1:$5-j?$IFF#{mcw:XC|U?*s8:dןN WaEBHNGƻ:]dFָ=Qa Ƈn=l*|J=z~1LP݋P?"sf(@b|vNb"%TL@>1P_? %7!ڸm39c4Ti ,|LqXB 2?w Wp#BlV]_KJ]f2f ?رj:K%mm&'Xt amͺ>|ȤՌ.`\! n8J p?kC_廳T6_PYwR|z{SLP!fDu#S qm ]9o<-7[OhHl^|Kl\o BwQۙxz[_|Ҁ4[pP?g5-_Ƣc̍rGKKb3 6 mSHW&0r`ҖcA}A9XMLT/}V_W+pBtBئlÑ5f tLשo*D= ZָVxm}s'K͞{$С Fi6=}++iϫ55 c:҂)vǾX9paF!t 3BespXq!64հ?ۊANO/*/猉#9>f{<.!u*q+{݆%=݁ZMtoPrM0P!m`Eg.Yx:ē빗vLBb0q`SߏALUe}dt({Y}cGh !1@a[ɾj.2Yw˙ |Yg϶}3" ?ޅ%(S 0=}!s$/, y2@B3z ];gS}բjǚ\~\J-gYu򎭶;m BYiCXe/kRi1+q90t8Hn?R:ZҼ:W~he&oHK%aM5!h` +~گ+B[ f؂ r;տBO jF2 qK%l՘aV%/Nv{12$ƶk%.W"Kު tA2ɹ2^WrӏUxH2%,%t֘ްs[2|-`*IYz ҢH<yCãgyl";'`zfºNי 3#Jw²W&T 2hXSsLoW6, e/5|+)Y9n hs Mo!%%m7/!Cq=0~L"`{YvJe:E O?hOd |Cɩlf]SeJO2doajtw10vOYV}FP[@1i׭n`Y)%~f-e)z /3 D-7l mN+|LSU%"[ٜxq3 :t޻ /{hZo4EbtkAcv}Y“c:j= >Ƒ|F"yH3hCg(.J&{5 <]ׄZ;x?M0=9EC]4ӕHbDf-xyxVAs>b -A#ͽ` Ys/ spoN>uJ:ovQ &[Pm=ƅY`V¡}41Hj.eUlM-ӉU/"aDiNZ[(z|'enL@>^|^$iyeCս\>K-0JK.U'ƈ&Tp4[NwJw0U=4ZUY9O)!OGe*=zG}#p`+t=0{3Hyw7"۝b' aD}J7:SSYQwJX'T'3M;Ɇ ݨt;vgr&L%: tt ~&SMfӏru ~W>N'*0MY!Nrb Cؖ3b?uzg|G&!whK3NDP :"w`4%^fq )~Z KlfkC/+g)Es; SaHL*}Nb-xRc\\_=;,acbE.u0qHOdM!o>L _P\JIxO9{?w}p=PH@(.9?mzeG? "D 3{pI['-WH~c._;:!QB XojWM{C m<2;,gTm~ ح3KmD궮|ExP^-e߻mH5 u!&7ao_C޹piN6`V'^z';R/33,S6uX_g1jüUMK>"lK4c\CD,]r% ly~y?@8Mld6:r*Dί=Z K4DyI &'v/W g}pƎBa! ۑ+nv=S]ԉFR| @Ph=?0&WvNJHeH#_\H5K#V-BqHfG5'swE} ƈ f 3 m9wz-ں%-vk¯q >#"[1 2)+= q&^E3ؒD\s5E 9% fF5ZB*{qWSF9]L~1ϑgi۵h$KrCz>A/MĐ]d5[jO,rNP)NԆɶ2s/㨯>Z 16Rq2g2x ՑvڱqB/.B&K#8+qCUcX.h,K&w ? LkFΌP[/9NNq W zIa}gI#[r5ֿi{͍@§oʥ1p;6NdB28VDЧ1dӧUе\jdo`#^.QIKwq6i۾הDԜb'KlNU6%վO\N+%w1%U)Z0РNeOi]K<*263_2:Hk dY6/-:8h _rqk X/7M#={WM$:pTSmSyejo+g㫐n!0 jRjFԋÇ)#S6d? .bg> 9V}!%MT5 Cւ=$ \39&fz^-[l.<7OEb4qa2چbGNC /eB78PwC nɑXB;iJ%@Ѝ%KYYobD&J&ht[B(Rss33Y]Va|t}R-gt:MK~oB?ibT힞Td}X2SgհzD;C2'~3G?;>dR7{)RsZC[Ѻ/mn:IgkFtv|!QYS~ݛc6d\+Lr]ɚ,_͇9j3)fTLr 7i;ru-FYufY{:+aͥjrȣPT( V$៲VBl6B t[sZ.;Lv'uIUG-Y}LzMF t3tIL((-9 s*nr߽XO/_cݔ}Ƹ#SЭ+cUo1 Z.ī/qVxd"ccW4;=cEmO0N-mpCD d.&׏G5fxI&N>Xv<ё n}6|1uOsP:xiK]V(H5| Vo]/,qyGv}7茺z`i\T`%1 2ƘwZڌ}@{m'Kg6? n)nCnbs}-d6zxV8۾2"x73hvtPql _WMYercSs D(F:Θ}0|{FKы8-AVgUŸKc9A,N@Rou@-nZ}7cFD~x"!I9YriIiyGWk*FM! ˺2_#. '2Lec9lHlYx)cceQb'%ή#!l!ٱOR9%UAa*]wZ~2jBFmfqΫ,&TgX_.YEcX͚07Zi͜|VL!o,+_}Mj*qKFRxxj?":"B]K `_i!0gԥxw] āqkϘh釞AѣR1zp>l䵷GlV衭hZޠָ@CxP2q(g?4ޫg~RZa6P%}w/Nh+܃^۸z=ު;Qxȋ81 BJb)0{XȈb膗@CÛMqϨ4m.mW|i3ڴd#H8f@YɕI4)tژ .k`iű4qnJ8J82.?朂SfmU7?jp*٩nZ 0J]˄!|[\עCXʨUDV% tsvWJ,SS<̛3׃^!G*IQ:}STCu6ҋϮ&]6f <`2_ 4-8jz$i8Rl&~y#33mQ W̭uvkK%k]Q 1B} ggv搜`dҒOa%vG@BQks-[]_6k PJ aU]4B'/ crsAG+T|\#<lmd&'(X5b|p]tź/%_EG`[WD^"aA@1]!y;ePm.O(/D{2‡0H[2+. /O.Ew􃕼cr$X:ݸ(87 ~ʞ~S=mTD@Mzj!ˉo#+qnMIZńlFGl,=H NQb8$k\Xm%Mk9ZǷM_N\d-dn)=N6V$_yVSFwgXl6_զ.E:#7٠=(%nq4LE$%x0مm xBbI/?eMޑ1G\;12[/a}u@A$";$Z{&N(.M).9a\ (NR55O46U'*Wս a %^*r*d5P;/rmzq!8ԥH6UlaM9 GnI,5{1T^kTRTc9e[(|zhOdȎ"9s:P<7DKQ+яVNhJ?Fg̉s L ՜D`$D?ʎ@g-˥_bYT7rX8ʅ/ TCJ@}PT]1xT6Eq 9𻗼D!# CE: {iR 7v,>?}q/QjZ =xCS9ħ]v-+e@-өHwK&5E@K"բ0k n2~Pw1bq7^Gi/&5t$<(E2jƝn?=c!XY| 9_Sφ 46iZ9"t%vAҌsNm-QH/D:/P* |]2d6Yթ^3@蹢B}t]MfƱP ĸCS2t]sjE)݄vC4vd./ǜHRFp'+0_USXe϶i#. De=KMߣQ:2/8 >M/e!H`g G g-3}z#&@^Է=m | j)+" .8'VҏsR)'I}gq7?_"HHH Sٓz"ʂb,>VdjDPI LXرO):,G=etiGܹkG}} G\ <З"1%L[b>\/Vk1K(~#}ۜ;|vc8z1C?\gxSn֯̎:nL^4NJPysԽڄ'|KtwCcRu3v(A1e2rKaF~j0w ز)._pz3l2頮IR$B[>ivVQ5BK?0ugTVZު;ce6Ϻtd:1 N&UNu}[iMM>dP씍d2-Y-ZL䌦j._a96n(yKaR/ӸNI;uc*f.MWLgoUU%I4NsnJ yfN.dZPI!`"lȧ7#Gn]I6 ~5NQe4ϛXH^Oqȷ\ T91Kw޲~`v.$6Q}`.Pq2_&>j>Io{ø9ióH(b忋pM8~K\< jjRi^P V֍wֳHi^|CuhZ;ݭpY{ׂcjhxv[f3JX}K߰k\87DBN{RM4_V&qZ_!OJI#q ٬A+R(vpkeNSܘwthS?Mʛ*'z5)uƎPDT׵k/{11q,֪Y-(tm]w "׀4/._N&:Ο13.`V,?""@6Vlvds8DbcWxG=:2Sqh0 X @2w% ؍A]#@q>Ӳ6qԖ>Yۑ.*LZ Z5ZTB5IDTϾ ' f;DgOXd=g3'nfk9vCc#YbHmTzT}u]/l)}KaH.^5F;J%mKU[omHn`LyRkڐo/Ic%\8=mfېFZH7FKDÔkL j!j?QoIħ)z-y'q'ߴOo([?2:Ceb8&4y2 OEg{8 $O&?݂j8L׵ GE9Qwe~`2w#Ekr-b @hjT4l\Q{` .jYwcq2R9c_b"-TedS-_f?S ɒODP0g:SYʮ؜ C6z$,-؉aSf FOOۭ!vX"9)wx2Yi^ |ӄ$5lqФy`6{ga?< A6yoMn?WOWYsG3/F%|_~lKd2n2Y z5q=#&jtp!m}ؐMJ^^4  "_|Dp$M}9PsX̀3ZdHipa>yAZ~p`jTj]ݲw9p qi-Mo9%p9xLu=OG)Wq('T#5đ̃ɰ2gx3:oIqk^mܚ%-JDPUGCGY'^ϼCj}a^;52㭸^]ydzT />xkx?9"Ŷeua⪷ЍB=ߣdV]ꮌ`[;z>ߒcwr͗hx)ô?Ұ7v?F,R{nO Ir~9%-zƭ;)Q%lfǴ ӪG[- K)B*FվWol`L ScA qHMa69滱SQWDh"=𳕞V? -Wl+\vX0l:W&E1GQ83lM# +N/}quG7,_OUALQ%L[ߢcbA2s7#IO za-:XzLgYZ168885c820d4708327df26977ca768424fa15d53c3b947847b1e58dfe1077ffbed892968d4b16441 badb05b9f5040e431c6534bb870828cec160d71a f68a72c977425ca249c872eac11835e5323c220c 005cb0de6b39b5f1f9153f1dd6a340ee1f098f94 f152cd8f3dff3df54a1211d24cc89c0cea6580ad 7aa459d24cd50fe3839bd6e248776a1772730c20 bbd0d58cc7099c325de6abcd12b0710a67e392c5 c29427fe5ffc8dc5be42962f2df1b1d7a2b03313 cc2260f4e7d82bf6eee60fd2e7ef562271b2d863 62a7f69d36fb18d80ff146b2c776063f21700952 a9f18e5402d521deb9cbc95ee27ecfed6ee3e7e6c35e1e3e98330417253a1e2833518a9f73527d8f