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  = =t$ ]/ DiskPaxos:threads=4elapsed=27.234cpu=96.352gc=1.1647zXZִF! I]ŗXiɟH)0%ov&76Vg7q:GYg[TJj+nt*'l!9$6:1Ԙ bf&' '{%/\W:DvH}+K:U}8)uPwsAn#ڵA#<A,̣otB#&E:,B}.tܐ1Pe~~ǔPJe1tWFڟ z9Ԫ0KN^r cT,&keQH0O2Ŝ~8qC LZzvahՃ0DiCZ’&8E|s%TY|~" $]EoNC9`Z evLw'~e$`d(J 6tGm_ `T+n۷[2݂ ;q)$#b[X ePSl-W[hS{}~n偀YWD"݄>*PPXBfU8_DM"D4 K2v~:=6{ "[RXVaL:^;$b e Y3 ]G:jj m|4k:wY-WD %XJ[A;m~q)hcUOOXf9Ph_g))iΦ"XMY^F |~A-4kK/dY !^PCǏ-&/J!&q\TQ5?'_vy`jnٗ\ v?(%k R4~ |21в^r/{(DznNI{'z@Iȧ$0BGq y='v;!|E&X 谳eF,VmFG:/ GިHaFFuJ莱,!9@>])47t-o?A~5O; AFʫaʓ/]8D;yuH=2R`w1bRȃU}x(Q\"zB5Zul-"zRu%-3Dzn[<.^sS1dn*B  5?1nf}sFvZn@ĮBİDSaQb  >r#*i @-g\a'#CISgzs`B;mpۚhX dvAY A–q9\f %,Ǥp4eU)^k4HxJ Ⱦ)L8ScF𿣵О,5H"7{MT+C|_Ʋ@Ś / #Q30L\]tjZ2P]wk;񪾝+o|Źu$@S>b/KWB9RǶp).X˓Ǩqӽ k -o*=nJ7b/.s>vQ(\32x6M 6q3;FRhp h!h(f6fL3e+(Yp}3I._!GP`DW6?kVN Kg=F"|SU [,Ϛ]s.S WMbo. 疈^;=as֊K6l3ڒYi9o=Pm:Ʋ}8 \BCBMvu|8:wC7hu?d $͖e1ƯLyD 9`WGrYY9_(I3Ȋn|3t֊vL?=xUp>\D3c#m"$HU #178#pgmopibaμj_EGbһ| Ea%7޽|ty .V!w`19v `  8L d\Y!v~"/G4;X9))k)u`S KX!>ټRJu{)@Uy$=(b ʔAJxDzc[`pO #LBiW˓z8U Zd~nۏ=V_ xP9ש^BE@eIEe`)6bo7VC2 /7 *R uJq8NU "-c¹IT$NEiU*t# 5} 3i* ـPL(ٙaxI6藖yr 馻`᧡?}7 A#)qJnYQl9<$p P%G$d 3Q ^tp̌< 'c z2;ܾ1fĬ/E.{6C wsR\s JW3ɹrr#]] oi,axޮ j'^mB{?' 2[i[8[wؙjLYk庿8X/c W53J+b xՖ PBf(O1 ,ޅN:܁xwP06N9!N!憜3 !V״xT7LDbp@Dnxd#Z m”cEg_"s Qa$[$09]i=~NȔ&qLb:ӱ}l1`Mfæ{}ݔP?Ȑ]NdMr@5ȇahb\B2¥ݷTgvҖ+Ie5\Xfw BkRa5ʺ8)v0'43&|%o$ g%mBvvY-*71NTV=H*{cZ%!J'ڡD x-H>18hώHx9J:?= Øc\(,MG>< GO>/nZ);/ b31_wɱ6A9bb{1@8 ǖ hTeMx&`7 $v濧WNBҠ2Ɉ$Gc O*qUUEW1[Ħㄅ ,n\HPwt)BᝲqR]lo}ljSO Jy;8f̫jFnFyS|cᐖpw̡YsMB|\2 x৕@vN z  Ͳj5.6f=/}Yt=VC;|xG'͖:rvΒb"DI=abU;{P+F&2>kiWMYpRsE]B#J m3Ծl uPs 7gr@pOF0m>s$u-Jj|BARyOY/Y\;̷lf >kmC3IJ&;aNxE/F9t rЉK\4،uCd1azM1H$>Zl}3~֮\vxbeص;escȰԙ,w9.-2͒ܦټ1ks^;:^9@vHG8UR-RRS 9MQ_٬YN0*ptq=dpd> \_N$뿦$ f.2&vBΣqP8;8֬,JV`kѥ+}Q/)ERdZ|>쐯^Ӯ9Wt=gl-橠oȗ݋#$4W|#sxGؕ~:pCW|Jـ ^3:sRdG]=M1~3j^ci" GUOyyb Yb `K9[qZ0ֈGjG%" ?ͯL\tܞkYFU x wh1_tmH9E@q K0\P)t[]$>D-Ĝ /nb803􆯆rDݨq?\~(ʗ2oUuM"zr}fQH5+3ױ޴d(gį_il|uS*@IM>]gkH^Wۓt{ )";M&OȷƧ=3}*>:^We5A&(+@x`e!Nk1О%c3avb%QވRҵ6?= ebqA/"`ږlj,){eQ20;% *|90pG N`,\=LNr eʹ2b˽¥OZط\I6?kO123ՋpLn5;w28*cg E$Dyݧ0Fqx lUo H H {Ay~<ʁ0 Q&qɵLbKEZX#Dd(M0#7f∉}6&P-:Y4')aȲr u"woqWO Vq-D|-z.x_P2yoD4%'u+(ߠYVzWֱtpFy/DѦ{HD` gM$5,>P~ǻ@{v)*Omoij_b0eJZy#|.TV_fG25/^O*E8  Z))#Cg._^ *lHL8DA9.ܽޔ++{Wv$2 5:+`eyz,{N֮㖸:w<{Nuvi=٠A_4+x[sOՠB in@ rLTFb1 gd EWU<ë:09v T إ f=0K=w8Sj+!yrA|Scg508]rk8M1ƄW9awk^]ΉcnScLH t o l5QL`Y&bb>c1n4pֲ(|%0sdMtUҮ|Q􀻵'!wc9ݚYHfgT6PTj:ʻvbS/07*%~&;5' Y ]o8I:,swAFSptb b4 ҫ>9+Xf'5UmL6'ӂ=y<2:O xD b qv|9#)|ʹLJ&8ܳj?>r{v@rr*P"e"wZSxjaW1N L]|?P"fl] kk\?D-" Rk% mX˵QYwܪL߅i刈r|+$tr ¸5Ŝ6_e%G ]ȈhLZ@k+9TdaJA: Ւ~6VP̱%kϗR9FgĉV·}2kN@P{, h^d \qMڟbPA|{: Ciw"tyK%=F3 tAQpoE6(Q_u9SRaۢUC"w9aNm˜ah~j:d1WbV5XUcxǑ4g `ܤ˭j,)Y5hk#4= 4*v>Icd^i0 SF_L[9> QdI=09L r]e ${gY -6!HZuo2(gaPLeg}Jg Br'yE$С?x\ 4+Lj@ģ'čh ,So^W6&F>KLf`eؓ=ޱD*K Qi7f@S(N*yI}T pEᤡ ǭ%bv.kڐ Q-׃+ddX!w|e.\) .Hu^$ vd׉0naß4<Zm$۹}x' 6x绽 ddwx%P:iؔɌд0%_8+_NBAԥ9j;+Һg gm1G%` 5Uj zdFAo{ Y.'}gvV9gƯȰ^4DF/:RM`E a^K0Dlmr=Ue2юqs 3 ;6_@0>:I9JB' }UCq$VR!E9\G# RԳL2MOG.ltqm3 | e?ox:v ^)y320戇wZ6PN!/؅B:b [!HcTJbY LȈm %6;̼B*|%\>oPqf/W~8 B3G8zi/G?1Ǧ'~4SHm9Mm_`oOޮ0a-zJ7l->3T Ìa#<p;eM\lлg~Zq$ol"@%- O[:yEa] J~?FBjTJ{ sFv{$t֨ zG)0s3QӳI_ƴ^j9YD2 !ֈwDi]H-aDDѼ$ks`cuUE rDus]6]@P"S0"jx=VS76i8~8V7+VD9_Q9 iAlE#63qԸTQm:p;:`l_2&{NGG^#)<\uQvz/F)rHP7A*KTҟXg17pv_ebOqRL:O' `a; Hؙ&e܅GeyzC)o@=;o;4e.YHɌi{4SF$\?~d$S ,#u^0w0?*\f;?YCR 04ߟ|"L<n˩y$s[.3{6\YC8Uۀ-8V1˾C+/R ${MM)a$>m CYeKbkg+y i҅UMWU$|.[8n[zǞb)bRw . [\lf ;ȎNfUtIiY0;y ax(~3VI뉇F!"DK [8 _ECC0@D@X/Gucb`*r,u4-ע 'ׯvn<E|ҨD찒pԴeoe.Q)<@~t wOU-ԩ$/Iy<v,08_koBuڅZ[KB |(Jy-E">˄cT5:3ҬDt% 8gSFiEJF3s9dQsʂ&77(FX?zcl~OZqHdf kR?A'н/xW$hY@ჹᘬ:alAʰj,mOEBBJC4ҵIH N#fd cD!d0B)F ~Mxyb%r;T Uň޷qOxmW+-\#f[\p[L|!6PۛT!MiPoG !v}/D0 F&cq#fbAF q$JvIUF>'ERLrL*h*Ί۪_3Sbι oX To8FJG0SNjZ V\F}u&B: /@gΈc8I@ %ED6"]qqPqe67Ѧ (l2_Vy^DS=W^x{*|ܠB:PTvɔizˤJ_xKKH螫xuW`WD`.Uh י1?#@o XZ V޷'כpɥ;њ锗`!{NС *ѡ;(a=ZmT/-(sUs&>LZ#ӖD\% 0J6|LK{p)c] Eaw2jCZK75Sʐnϭ'd<#$mv"}(T!@%ɩ5I>C Nj-p /P+@\kX8ki!Ŋ#"Xf),I{dum:zd|r7>\{8Dc-5ܟ!Gr|X oۄInzs N%_cZ͌vx |[d7\&'j =(.IyBs4Q&`Sp&:͟8ti׮{k0pL<+>̌t-apC$GInl4lNר% rO@pUC;0͕Rpi$Ñi.EiC(H580h Г߃"ˌ(qa>j ~j[6} ׿x`M%z@kɑB;@ŔamE!Q ?$0YYK0Je,Yr'4GЦCIGI@\5'VJyꝳ9K6Y{h>XՄܢʊY{|;5ܭЅ;G4ˆ^#h5=by Bt.$RB4--5:šgҏ_@% &jK'ɳ%q yɭ `PvȨ\!%yXnSh7eT \D*l%=y[Q5bvv_,1`MểbFVwG%d(BJ_MbM*UX,oHF `;o<Ҳd/%W9U:gL%L ڰ FZu%hҚRcEؾ4SG^*T0ϳ 8މ jբl@>E7X 'Bh@:#ss fF ~[ܵ &V(WD)dtc'X.K^1b"}ds ]aLK +jk_˃)@"΍."㛊S*i ^,&P4DI}j -B2ʔMP,_>UPVT0(ЖؗF+֖͊> ~p&${jo%G0sCV'qM{Z1ABd Wٷ<[F1Ɩbܙ"bxH|4_W 24!%xúl-Qv< 9LG1uiU*_.3f8  B%ډ[A(d\9JeT!`xyNB6B,㏔ aw'+_pR zFs(MJ! @h = ^ Sj n m*XFG7y@1%" 7nא^pHPA5;_ 25%o2YMc+7w3"͞f8V8509ut䈘5DΧ}px}:ч%8 ߡ`AL?:} kaBɵ^x;e&jnHƵb0!JBh[LYGiy3(GUіR2g+,} X >gG$bVȝY#o% Ddӊs=uŠ\Ly?u ~8Hb@, _/'9OỈ6'Isa: 3f{gu'I)H|E'#$six y Ai[.韄zڍP+ℓS0)T6emqFf{[HeAWZ L^wq!da0BJpΙYTHݦE8C{㾹gNJ6ƞX !Z~mG[ԯcDBfErk; fJ"15:C$wTGwQn z(V3jsR,c9#=[ɸ3 {#<¤Ln\CAV}R“Hyr߆|Z˙"M?UZџZ;j ݯok] FkJc?%2]uy7+>i0OλOJF|NI  6[vA8`w }zDlB#iz :34n%@`DnI^NFS,|925TK .s7\:""f춁]Oyw#rJor´/Y(}݄TewJ7tR k؛r|T?Dh;ZBr!#&}8ݿrrങV:˜F $n21ɷl}[[A\ʤcp1bp3CQ =ZEÆ$+QY< Ckj&];/ewm[EoYjN@`Tr4 QIH-8[J!pk;.O)SR#gyvv{g ccVoL\z;^_[ҁf ՈoA%֧xb ppⱎ|[ Ih SZlR@0&)0>):jɎDGFS̱(۝6+ Bän~)DH}{rU&1D ' &R5^ 1؋2gDZU(;˚/ِ*eð}iTobZ@!P{X|GѽJ)ՇtbF[saǣD_' )Q{ζoqKXrcbMԳȼMc}6E޶Gq- afx?ˣ S氆]S ᳅lrf@9֐МOݴ^UI;IDl.ŦfN#~s<1&.=c2 )5:xj?m}Ջ|y, wSWJxܦ;Ǧ ]<; k9uIՐƥJ Z+uR'M5!A8t LAOҚwC%cq`k#˃"J$qsCnZ2{.KT/z h1$fT3R&3 c] T"y R:K^N$sj",[?ً?Yo#ԺHǩI\B_HU&BcBs-~RC2C=)TTjG{(E%3AqzϓX>k&Q#g@lL"+nm̔l+s1KyK8t\93̚W$7_ld39Rt_:yxMoZo-⍰L4 ,QqރڽDs|S号@..cE:0كht5W@]Oie(&rK˔M4x(m<{t&cbxm`wC8XŕO apI2chx5VI$R9+//swy%xXԌ`!os.踭"ƥe;JEoF;* p-?՚5C53 \r!\'}"жf]g8|NU!&[!I65\%<4Z% ?!EŚ4 }9}%< 9hSŠkT3i+OCI4۠әsvr6 R?E~nVnA2V%!fƥ/2$vq^]`lFo;YTWmmX༅; sCSv>0/2T`>ܪY,qm/=sH= 1![=rk̹l}T6>CAF2Y1p!'Y '5d$:C t͟>JQ?h4<+1?gr*T>,c&)6bfO&qQeN( x,2χnQ G8C>}*noNpc!jt4?(~V'9 6(Gtt?- bo(nU󷵋@(:ܮ &=~&T)! a`^q@'4yDrXu2Gk(}VӍ>uf/WԗhFK|8%˥Y?g38D!x#VpW+/R٧59 1hJ=&B0L*wMxaxFڊV@FLBd5Fy\X'Fy"I뤧;9rt<ïDU`>kr:b^,7rGڀ+ eY6v-8s2% ,cԋaP E)|.} )f9F^e#~:80#fhV}vGxc;+41|RRuԞ2)#YҨJi;|TM.z|#(@h_C~jmGa}=̂|lK6t*; )ٻIN B„Dj+_4WCT_x@ 3Fzʠ@Nc{,/%"/g^:ޢ@Irۻw( uM6R@- fc-y](.hE#̠T @P _&W1s/<+b<2\[89U~(כ=|'kGxYyTQpt$ ҡE8Ff>JAލAK@v=UtپUZ{J|ƑBgV/nowMi')c@o#h;G4NW ޥ`VE?ߝ#_:h/Uǻ#(&< qV1l)prɚnZlRVފ2rP 0YQu<4./My94;Jě/┹v}M;YfeEkC=$7NS Bveu.qy礼p Vpi bK"ސ¸g]^ΚgIMi!ۂ)vSDK9 М״n)E%W$=&|KoW@yDs[R;8M[(:!U֩rK"-=LV.1}5n2(}ZƊyr>H^Ю /x n;9P,ǺZJ5"yY0ˬcalvoJ:Hh2U( ǻtkH}h[@^(WC{E~0𰏸ڠ/MUi-ӪY߲Dx=/2MSk;s߶3 =^wG]U(SC -?؆3P͜E%R ';IāQLA$D6@ht~I05X:`9(!>ֽcޱhiXQ7 䂌&8Ҟ]}RZFj=tY(N7DҤ|"@$PO5S2{h#qFgI7ϢM"GMY8~sug㈧;ʪpٽ~I\ Q8Uc\ PMw8prVg{I)34z~!Q S|Åwpdk}5*CGڬ۸l[DŽB / ԋ2v?-̶D/x镟Ь6v_+`4O?;\0gy|̐Wg-WG=I@MpNWm\u"Xy?CזIfxAqV5mG”)ig`73x`X,5uT%qٹlEE2]]%OM)VCedэB8~7( mjDoP =ydB1L#{'J[^Q;CAKz:1MEoa` >ݮvGg&_Efž`ԪHr(& i2T7D%PET]cz.z̰<%B= AɃ%Ǫғ ܥuXd";f4H Vvn_T~w oב `ï ~''ӫ[P`De{dFFZ Yts'G!$':l%go 鮯) d_xF|';AwuF=LD aqoW;@d$x_HGn@(;]=\06+tua"'uUܟ*HՖJ]yd.=\fn YKӵ媽^PIտX!^^v=А$0$m#"^_vە^KBml٧ӆgJvOY#Wr ߗV*6uuW,\&Koc=1\"49'/ܱtwŪFB%>)23&Dʒm;^-|Ov ^cϱVB+g~93 ῒ41QCbL$3VpȤz6nYzoFm]) 7ndK+'ɚ,z@M'|Flװex\n0uYaVTVr% _HLJ(&W9f/[k6QiK~Ϫ^]}ֆ{27,+ylT5;5F89W)c(sy7-"Iq7VGulyUY%P #!OM h|^j{R~ /Q uy{r> 5A1MIrH {dx: YgD)Tg,gMZ#$G yF+L^Eۀ[,˧Qa`26M:HjoAާ=훵B߲~ &ƌ/v#D&$lC5Z_rG4 xOh״39J_5Pm5ng ̦nG6h Ӌ ІrKuGX%U6!:=|_mJ>c7n$.3AM,e ѥظox;-]dTqrvje玠St]r{ZS훴YT?`؊:݌Pbm,ˢ> 9/s5\\vyZc p?ڠ_Q{蒠۔T4TS.LHѾw[>n#_m+']+ n498id)fob_rʥ_Rz?Ee|9PMpt-ڽ7N;G酺XUC=['"*T@OIҽ+|-ƛ"@ȹVͬ/J 8 AaiHt72&YF= "ah /C2 FҠ}H[cq{SQyy F٪.^ IKnq}FWǗ=x.O2Ѡie{yF]y2fh'';: jT[NH Do%?>4\ukg.8i}ZoJ0*H;C{*,;p_vMԧ@] QҫWδ9q$3_uՕm0k G [,mOkB(cԃ7y|PѢE)8Au(MOrR )oU>[fB>3H.e3e਍wU7pWdvyݎ iEV}&-/Mr7x*EŢ{&J]TM/L(k%ܨ<\OfAґwGĬ`XثЫh_%iGunn4BRɦ#T^ ̬&)F'G>3{.6wq1噫jr%י_otP]p?'_~1œәsG%74qO~:Fo <17q, w6:H9gC%Pv0'F{T LZ^BZ7U,DVFHĶ,)&k *{< x&2*^Η˼4D1d C)݇} alnKrmCtcLaXPɰ+/yq ]vZm8$F#KeLeChkz87+goXDJ[ԇ blM N58Gkawby^\A2m6v){W םI¢W Q@?]Y[7, x06tG͞B+Yby:-Fp##J vom2KzEv[nWoP1vT5Jj׆ z[M2}(#Aޅk'ov蔈wNH#DOcB+LA *b bd:K C-D47~NUx@ Ɯk1i*)?)ոps&nUNIz5= _!JK5ӏ翣<my4 DeհXK[ʔ;[ ~Gc{gS6qmH+}w4ᗾ~قnL߁"{I(򯃨}Y)jNq"Uؚ7HE?k qfZ+'=h4v}_F8D7U5ǴM ّp 2έA8] DDLZ(D(vtyGQA䓜oO7b˟ Y5 4yEK$j,Ç&LZh6R.}r/?6Q`rhTj{d#`E7G?KO z {) rqb8*TNGs,|s$4y:>=^#|;F3&c\xD R 9NEg7U1Vݒikv^j䚝2yIM~79LcةO C/9 9Aa%{jazs,<^\#{,IUE Sk{q <]!y9"!`ib ;; *Oc툢NA[GºkaWnxҴ8V`D@GADüEO2 `ȵ "gҕ=݈cxM/֊'> c*ZcmAtbx PU&46n ""_ \6]T=TJs Y86}Hf3QuP.e,y*y%FO.h {mAږKz)}>ŧ|`<9dօOb@"XuƬ){aRMC+ǻvL{t oR/{ﶸk 9d Wo@Og@QALXzbiрNb+238#6o퀞cuq$EO,d-*;R۝C55x'҄Sk*(7j~Ҁ, eEI8c~gF:XG%Aw^L`Ҹ .CKC\y|| ) 1':=^rz0ԅ6< c]p9l%2u;M:_ gzC͠@N_ G@b]8h@M:9|Qݠd`E%?qG/&]#Sj߻wTY1bDQr=N*<7z씱_ߙEV76_y小5@ZcՕ(J5Xh/f04dlF!Ӹ7K56! dWYZl+ |XͿN-pOۇT)yw͉G a}jk4>#蘼og|Bߡ1tV?B_ 0ԈdIp{?Q_?zdzn4sշF |U ~\ 3A>aG~JkKE&M2}AX¾32F:7HMAF4!#r#P(゛V,hb75aG6kr"ijWI|{T'4&{Xt`xkq7eaNW Y-9P0^n\aW/A&qHڡ,$wɼC,m-gFb>Orm ܗgFcUh3YQ-=٬wwHÌ2y}a&VSZۘA"s`* L@oPWdTG\6RtEʎm,===!+ 2זp{)Rt\g#Oٖ UuNĤ%S#k{vBYG|%^iMeLI뮨BrNqb;/ =IOoLO#~!uE2l+( s9v;U]o rn=쌛RXRnlᧅy}O7_:zKw'_6|R2 +LkMa2"<{W“tj3t iJMGyzV`~5.uajFZg,{-OSAWH>'QjD)O,kFJKS%yrʗ(iN\ d8J/D/Ƥo>'Pt* }5y.Ӗ9A)0ܛs; Ƞ/;j$ixdYS MDяvӻRzC]t5WoleV>" -[ K^& ka% ]šN]wol)w |C$NrOUMݑxN;6oǐ3DHH&/ K4fW'3W[=Hi}00i9s0-X pNVK}rj3=Aie/z3uu`f@ 5]4d[lMZz$IHXbUBS_񑧒֗B]fO8 {֫[T 1mmdtA/p{,VĘl/Pf= f7,$e fVoX҅,gY=*Pv 4V)[))OOMw&cCŠcL;ΰ7U4kCط]r|Ф2Q&MiH$H(7rg~KmuQ+\wQ DޣZ=]&do߱򵁦HU,LULI|541zι>bu9}R\ I>)3+\Ǹ6ːkpk|y!4 aD "ɧKŇo'bÑ޹v&š9N?6U8W 3KYXgkd$I;s..x.a>skG2SKi 9B+T4qSÜu/I_[kVI;HM޽|n/a%]KaՂnӶfX,`FK6|۔6`+IZmUL`Ǔk '8Kh,rP@'m\aD3uU{k>`fxe|5d+LniLTqΩxqHA}"I62>$uCgglf־"^}u[c|ӡĔ,l)6KQ`{' Qz5hJ2^4\lbzT 3xdƭ_rD>-lV>ΛMJ(=9R&)@qvgU{YsIco+zO#6 $xt*4am ?Cyj aZwFOyfw?+v2a 10\Fx ์t8UX'>:ZX\} ;S;:]J3 [M<*'4[{!YMrp 9=h,('ŭnPV] TZNX\qWK Ӛmzit{?1Iދ+yw+ܮPQA@!#%cq"z ~Y-Ө2L] 5glVI7V|S7BďhOx渑mSoG_sҜ u-\+SL|].78K5':If.!<}y*g?)§X;0(=T^{L:m>^So lEaO-"DϤUe)%3XEKq }ȃG2ɧg?>$},o?G ? O٩Zc|}-C߯atTS c"Z`rI6WjR2FYzpJD_,4rR+/1TWʝ7 "o?+ ^=ě'Vkn]DLB&dYi}z<G*U|tȕt XsXKNño-`2!#wR9 76PF#An稄WsJ;;+& ICl|W}wiyFUU%/t2Do oXPdz'RM,/ќX 5@#VS{)5;6?Tu tzTk%+6#u,w7L>%k;Mfշ<~y"|Gt ЪXƳ$(2Gܒ!SGK~ ɯLX"Xa{V捾XؙfگlX\.V^z>E2)?_ Ka4.϶vfM'F OIC%xjTVG#lx)tf+3آcMCSzfBt_u@u`v-Q oXNL-y] ,f5(5"[; b.IY{*`tύ[,+bP77U&Z$J-J _%J7`Z|N&yP!{js磄r͠N:?1v)e^\~D4' "4R3L}mِJoTM;]5PI^ɫԎ{PHzf(u۩^p.s\I+;PJ0 {C2I8z@8;6C⺕{$鄳`r!(R_eȒvi_Ԫ58jJ480yZ\%=R8z+u闠_o8T R- $,]z~YƐ ϔ;wNQE;Tin&X=$),32#ģGoTSk`o-x'M&Avo(*5b_e+@.2[q&bÙdx~~--fH墹.%UZ a&#Q vDžlsjHL-\0:` 74~sްsiͻK肏p[:Q>:-|3VY5! v?ŖmKXա.A;>Rtr,}Z)ԮeNB}3Ӳvx4rzp:ӻd׹EFs ϱSR$*'L7n[+ktp<F_kex ٵYANan1i`)4Remׁ21{䯢k;C};'F|=Q8f^11ScO78Vp`'Kɕ?pYcmwf@Z- u s\; ݆sD -ˁIJcan 8Up:W~d?죅nυ  8kI'W//r}4G 4dBE%ݶiT|c:=sX c"ڙF> k09]8JE-2q'o%^̀֜h}cbuDeUv_lu$7pyQq;Q8n 9 68`WO7ޛ# I8hYdIX+K/MA]PW˼yH„0)Vd]ypKkvO)Du$\}أT)8Z-/|Z`qvYc{yWA>[A|dNBE+oڭk2vPՋq.!A[7x|!#c8V,2?h8&} q;:j3tybwElTb؍tQ?=]T&\5גf^i}AS`@Ym:Vc(k*GPnwܾP臧-!UB[ PRо BRŤV KBJ wI5[v:m%,r[9\0hߠW2N?TaRuK/͵pm{wG>"SohZ m,jW?e)fSnKy,KFt vĠD\u ۠jdY*bm7ё7DlsTu.S\ۜ\@wZRP'ͥbfU~sK"rGP_VLzˮߧ\U'&(8~!j6}O[, Vyþ(X-jwKqDZ xM;*,gl3Si<:s)o9:\Q9Ĥ=S4 zJph', K۟wNҒ_C]^A^/Kv]α&/hWX2AcQw.L4u~&hw;R6\95:o @`%.V݊7n>_1ކu0>V$Vof»R{;F=N6;#~Y]ߤ'iVݗV^Z{UG8;sGVnaxFwge;Yc8ty{Ȝ䶘#G^+-MӏDX@┍.[-$Ҧ;͖LدX(bg&o| 89eˤl׳)q/>one6)jp֎>P0BoX}. ?.q*v1ҁD ~+3g.v2JlWL 3D"An:ZQ׊q8(g[.:¡&0ݵc+3>-N ]vRŽؤQ؈MC|%u5]ڶ$Z A nDN2RȪQIkEلyKihd/sb-9ӷ`hBfßƙ pg=C+~kNSĆE=W?"|Id~`k˶XT1  tOC1 aeP s/t ^.,j=&h)"N ipJ$Zn\ j޽omm9>T0xvEj7Zh4+9h208U}R:~DM+ɷ.|:FhFv!{ _\:fƫD}Nɴ\?6V=B%ny7N.bk&I&7  ,oJf6KhCùs3L:72PjP2]k-7 cr!ԑH'C<|qovwrΤKbuWjIVfa4º\ѽ;[ u0>fK M-0Ģ[.DGZ&2+? /*r#R tfiz))@qG 2-]G5soR)WB|5v#;H࣍m&j<Mk)͞Xvb_8KE?(V 1RmHK9Ԣ8vl XH }8a_gYZ7zXZִF! ]ŗXiɟֺ@OAPηRY͝k{P}S^MS"N5pFX;*ߋae?JiUfu~MO7O=ݍH_zg貟T6a芝[]`=3FaCK%{["tzۧ Y\ZUZ)ي<cB,x"iؕU1gYZ7zXZִF! ]ŗXi%L&0˓rc){_{e)ZGfCJqϔ++EWvaY2@eOhW> 4!cAE(#5m \T-|mlPӪ TUKV i"#[47bmLF'YP I ~&ksuoTt<̋(]ه6=tٳ4jc;(O>W{` 2$Sy:6WA!^zO?׽I( n<0]ڝ@u2a#>4vd0#\xD|%E%EhqiD:׌v7w^㑚q>gU̳]@6IW֜Ȫ0 ˅಩9pwĈȵQh=1I5g" yv{e˾uUxmKfur^XP[MpMX|zdYhr1c}m~1YCc<+'逸Pv8٭? C$`q r*< 1¨]@cH| \a7 vj5Fewt <ʮQIXL_ǏJY`^_$E\%^6[ x/;*V|'gEu&h[8xƎsVςE#] !HX̧#85_-^O_1K49"E>ݼP=> ̷7 Uso]J)6AZ}۱\f ni`k2F98]aFOjA}q^*h^D(i?E1x+PPYHlbx0 eVBS|!(ʻ z+uYAA\|%p+ĉ6pZ1V[g)jM-Chq]&vX#Fuyj RjҁqEJvFvSk:pٓ*V+$eHSAlJvlGP\ n Yh%K]Qf\wuäggGM{|CԢC\*(ay^ !̊1eҿ n?'JHžT1b^ԒzkNWo㡠h|4ڐHht|E'tOYݯȁ~牎w-t\: T̖1>&R!vBUR_z&8N}Wd8W$?jaH{f{gY7{7T'^YR9ǚ) 1Xr![/Rt%̛/#EpiUBF?if(=E6a.38~/Gr~A]يVX56 /ݯkWsݪI$E)v#HDa%FDۙ_Q`@=rc|"O~!A]>9 4!q#/mNƘ^0Kxji⟲?ا%,JjR8cڅ8mśx9vq8qAU&0%7vN rLjNA(>#G0Rd(Y (!RIaƑI+09rohr]+V [VP6XZ nsa B[+~+Wwe:ĺioEYޫn~ggYZ7871dc90b52c84befdbd978eabcaa73055b400859aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535