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  Y Yw9 | ]S Decreasing-Diagrams-II:threads=4elapsed=17.018cpu=54.072gc=1.500factor=3.187zXZִF! >#]ŗXiɟd)&]hS.J}+%pqpi *tțǐuNJI_sV1Y'Xq}Q}k=2%=~\n&ԤNWT &]|;[amaba.j+o ;_.+.k~IiDSBPy|j|毜ͨ>& Dq[ Xl8H8#%Е:y>^i@7*%YȌE s^8kҞSIceNXtJy~ϥnCG@'WXQteI+ % h#$~ʂ| ^W ~q"ĺ̮F'PId.uS6ϴD}'=-Ъ1:Z3SPHiEg|>9VWh=: QߋE_ 1A<v )ȑ<Kx93qHӉiNDZ\`0(hϦ#)9U\  5d:D݆jNCInj_1fwFK5xv?@#FQnTbqG׍dWL[QܚmO᠂\͆;ʇ+<ƪRB .g{o6wWQ] @wx :USWOp ;Q!~"D6;G۽Q1 =qbQX mSo8 lҕ*^ >#f䮡h LVxD" Hu쑊 9 Decreasing-Diagrams-II  YQH;Ɣ¬q`v…o 2"o(Ň"l.`#tcQBzH g P*e~w=aB)% @3*e: $AAi·_(Z"iZӻRFo<_bd- c+4cBvDd6u`)= yIGO$9W{Qa*\wJRM:p2&v`hz.mUK 9#X|M]eTRgʭu=o?.=A1$k FG+#hV*yv (4n4%n;%Pi!%~%=ۥP8(HtTÇ 7-N9hKWE %\Z4IWtB ;qh8n#JOP2 S> "ݓӃ8L7/²<$KpK (Ɍ8/&L6b٣9ę1TУl \ܡSU~\"1qkUq8r5*R 4D䛛i;CL3'9IJ0#|:di6ӭq'{-E } q.%*,YМXb(w/諯 fh]@d.$fAgB#ۘ*]7c\^@d6L0l/[=|i7@>E\F$ƅ]r1ԌV{_ 7*O߹aP)B LѶqbK݇t~)ngͨ/Nw"T^ [!;͔\Hlŧ ԔVX[뮝\P>Q far/+l$(`衩G#~i &2le.jFP8A;/AIPNyX?L!2bGz<XhX!kAa͌v * SÕo~f~HPyDQyM[ir'q b&5hm ;Vuy=)=UfqlZ$C`ӂ+ ؂4D: F:!j ':|H$Glaڹz=sfcY˵wɖ-yK/svh ÿ:#ڹXϓ6.^da?H\3'~=k!${>n1\"h~sNE|Q,lMR9 /IJ <1nQק>>,1B9_W X+bϒ.@Ypo4f:?`@j*/xH)yZגs\kr-2]"T[T)Z6 ;J+͜'F-[>#^}4KoDrN2)}r 47-_1pE?7앰0s~bg{e<>|S2hv ʣpZ+XI @1_^ 𼠭|/@d rU\?!\HC;8J_#*r1Udx}M珑9< ^E>H 0]V9qW<#gxDglv[Bp‡C*ɄNkpl'G t`TzβK{;o^l:4~V!2 &hmD j\")I 2r8x x/<˔d#ۨȸQO]I?1㥲i@F֌ BӮrS|75:TAjJC-lZ`eQbk%O;{e^cNPCؚ[$xx{K(yjޫFa2Cڽ)/%6I[5_*31+1< TWv 뭃nM)1f(>W~I;MOi lԾOi *3K:bcQb%Oy-jr受B_=[Aj75SX8g2OlviTӉ_'Vභ;yr6[_t̊YImGr%.g_:7U`@EwfjL T~G9^lTk>Ϳ1f2r_H;^ErZ'L@LmɮޥѶ7"SpLY Oܩ0Ӌ?<R+Ts^#B1UY8@IXepM")u=) Tsj<-Y34׎! GK)ȞtUy((ؙ*2 ewK9 |cbZ1mkEOG^c"}#L"NdS0C ihKtRU>DT08zA/$̬ʍȃPt7 72>AB1"ȵ)Z %41uN,RBa1߭A3d7hT8̈˱K)M&|__` N~R מuZvFY@2R ʟmd@1*;ʰ;Ņp~{ĝc"-T[YAJgELGٌ K1A R}ڧg!ו&$ݓ)1#F.{B~bm\P1<`OߎIX-ވ$uuGa~a\\Gnܤ l@d#9 B[66$+/ `MO=ﴝ1Mc!,I7x aXt(waӿu*;R0ttq iR45WRvbϥ s;y{ el9%hsܸS|oNHM/c,M3m f!G B;D٫#tZ!yrIj䫔խ|e*_0D;w}Ƶ Izp}$0v D_躢gȷmm7@l/l~QV屁l'W!Ic]hЌ+X~5O7:H`RU3̻SgæV'!'$noIEx{sݼR$ud y.޼ !8Qb]>U:Ul. 4vWИWT;ۨʍHvnԟk;'ƨ߂驂q ]!}5:]Jݫq0 ]5aݜ>3Zsab1 A =*`'OT{\;.iiE!0_:ZE7 kO/4ItK 1 9m${pj/Wg߷ 6dB‡QhM(+>Lb5Ɇ6D~>K.-qzW,x`{"r_:)L}wVl\-4ipFbrZ=SJ@%mT\NԸN#I*\ϦJeuj0)nSeygںjꖟFV 3o8aq[De݆4/G'S2OI3Phw>8ĥ`f4u'N99g㙎3 7Ќ~<9[fu;3T;{z]w$g4P ) M8J!ץά`M}F1u0K.v_uInDޣP!8qd .'Y.%(KY0,KQEσ[ۃ,&=1 f8oh/U`Ͼ=QղVf(t?a~}$\~B"t'}0(IFE^c3 I ANDŸ8N4oM-hn5bI N"%D$2^_~Mj/[%4wPY?o"=Q+GQOOv|BDc 󚃜/eaǴE3bӄiY6ϐbU Ԃtyh T'7B6wQ+?rH1he33AWn2ῒ qv~ayng7"/?_RЫ9ɡ\"^k $(y9 V]4힒j/eO[Ǐ'?7CڈB{C TLwU_6#D}}9Heu @GZRԹ uc3WJH3I6OlR*m5JR*+y{HFnW&4d~5,p=m7h0%NŸ2"fje[z]FKIg-b/9re#{%=6I:-2݇b:ܪgxR?64,DPFI]黙ijS@:Ε2xdF*:h0()8ZGx6 t <'9Kj8iDZm`~i׼f0@hOLg}yȦN;Wym\v⤲*4e qrβoA<_z^s h0=#,;J ̩gp>m͓ZyGn} ^4sw5%9wR%${+?5f9ئpP #˫W^G >$|&ӣc [65ۑ*X L530Q? d:p4k7Ƒ<>o\R5cL<$9@g@㷣 likE4rG画kX @؀JC0X=C4˿ Z8Mo%K Ȝ%/ߌO2T.XEA^<6.j$@MUE49|JB?)WR@ûZqG. sLS9 p:2cz&ӦXhݩ7:>)=@+]cͮC[<jIvbw'0{Iɳ,8nΜA3Dι%n̉ArcK; רzΣջľ"̭(|²GlQr\)r$wー(sf|UK88>K;KJ3PKZʣU(aLǃT{Qs9]%#!\c  6CvGWs?j`^fS[fVn\#N놽.`L Z)0< :ڹ.v@KxvP녽/FS]fS75Ԫ̐m]0$cPb*A#8ۉf6¥QE6Ond}dfz"$ ~lg.ۺz lXzftu?;iI$WrTKr#d]h |(_5`g6ͻ.bj.\ٓ@#W|IS(=(;pM?Ok!M;xq 4),,@VWX[naxQ+H1PtѲd(v_ex*0m]htlW7헵^bt(Y+)[9B W~ê*'[Q< '<ňכ[kFól>gAWA^1q"hۑTwD"Ct֜B@/}.25<}0n8" [+V_sHW)ؿz Fp5S6e䗍n vbpDY#jvsf]i (AH$t%J;ȗl3v qf;9J SުǬJhRc>B{;asmdbmU5hJBPABX!TbxN]Xb&Ȇ$HM_lA#I[06;QڿjJ'i|=I7śH5o/)}4%)]uŶĮa?%gkč1,Ʊ2#&p;wYI^Klg/jŌY*92 5` rnH`6%Iuءb,&Glw D @r(}":$+VNl|2vycMJ.r XV{{\UOzNn=Ьb 2 .#+F1*C-"Β9')8ݛ9FQz`@"L=f0&f$~XQ(,-wM231CyiֵQ/҉eOGc)a}, }i;#oStuvf&:.m ܩ {R0hF&㈉ 9UM/ -0`s,Xȷ{o' ~zPcɯ - ^|igM e qK۬1bQsV ?.i+64Ŧ{0s}H GGAM]ş2s ,lba u;d33*D_P*c)U(..q1'@7vc,Oՠl2IJUkmbG 21( ta9tSq29{Vɳls<&cȢ8&} U<% `Ծ"~0VnO5'7a-2z@Ӿ)D5;@tʃ^\KJ0 vҎ~sdlrxhX5yk)>w.j]_ӅǘlYX'oOZN\ZkVJ1Fk tt/:!~>ME$Ҝ3g"7E0$4o6@ڽ %LyZ&ьR7 ; 6'`9R->|;}@{RaNz2hf~|͊PZIr2"_"U(l=Y@zԽ2l5Vzv\?ޭ7XhlaSEd(KɦZ\ } %WB6\ 'hy9=~pV 3- *wAשtp|õLڙ> ^+PC7TW}ML5`E } NEס9;<7qXgD?8~kd6B!S!U@.lL Q-<Byܮ𩃞m$ɞ?Yȉw) aզ0wZlͫPft{mz}qꝐxoلO)hz!;>f`67ۧ\AޖZvJ 8@1A=l6DC.I'ۤ $-nr?>sξ\)tign!hp@ )^hmi+ BH<-PGJOET %#(xA W{gbyfONvdǩZdߗg'wĢGݡ4k]ZF,8I: q.ذCMgs8؂'@s2AUc/]x}%%~Zh}]1Qubx]>KRctgY8<^GCӏgت[#3z:f4tzuR"ɮJarӫ"vusS ;S. 8]LWI/9V7g{i$jGP,3kd ~̕p+$KEƍr5XYeܺ (D{@Ʈ>Tdg;X΅8L$~yIkxُ.*_jԤ:%|jb| a+?n|d:k3x.J,-@ =, BIJn"aee/#tЈ^&Jq5pcu'L'`zP=a$rK 7VvgOĜ&*#0t<9C!K 76#}A NGx:'*bvV%xF[P 6Gl\ɩ,nHQ#]2E}Qb`-'2b=.!BiAA$.deKN=sWNV6<}"%%2IOC K] m@*E|@ai⴬OYvQymu\66_ ~(tۣ92w0E e|KGh[Gkk1|(vA`LJ!8V^l9`%x]-T{OA4tid2T6Re m3jw1R4Uha`/}vt=$ƍ&᷊'yRe l ?OlǬqXJk,~"uoD9?H04-N K˼Qo QO?C'ZN :N86HngCa,pN5 wq_ʣ͹TJP6ڠÄ:y} ҵ^wd5_ !)7T,"Yc=J~s+( g(¼^}4rQ8Zigp#>J]oKflWИ)&'S cy51CۢG w|񆂪EItU{3 3N=ԒJ:=t\e&!A_u=uT3&:~f1d߀P&:ROfѠ{jZE@"Q7 ϞЎpaii=$$y#.B^㲲g:?! ȿ7Ӗ \; ݗ0?zĽ$seUĻdO1N៱v A?Aj,EG46u誃cplhj%ўލ"ӖiHEI2s"(ePek;՜^SludN!WEл 3}wx=jmt&wH[¯* ~n~,H@U/9%uc!|[Ǔ%2^rKT >ǫNMy%{Mx _"(ѼCC:rO؊uvP7K.CJRșcUL[Oȇ[_ڲz12ʝҿ||E|w =1mO.JAf{"vrB~/edr`E=UbUN_b0ez]/zU.k<nhww(4^~˳ۨ5|`l^#+Y*Z3#ߊ AN 7R<ښ纸ԮP9I y(fg6Ѥ眩Mz_Xx֠z迨0znM';k&=_/?w-i'T^^C@t qNSjc u߸ٛ i@@M0K#!^&tTJtGe[1Z ?7Yj'zxR(Ł0J)vhEG2<k.@25ۦepF`_o qE6 GTA yҙ-4S\/c&Q-,gzaD)(9jr'y?3Еy[^塊{ N#MErɇ_'?R?x3ii Ff@ֲgSRd:[qR ln`w;$\ df 'ҝ +%A1|?-]~E+Pq& %p}+{)~%؅3lgPuNS/`?a{h1oE,v=,ىSkV;8}T̷|hÓ7 (*pm'K*)hM %LE98jTwS.#٪%N gW; J3jY X_ЎcAnHJ' phw.]{Eނ0 yG0.T \WӸ.Q5 54q]BAn0rZ`')"_Q0(j^լC'vd€)ɃH\Y:J3"`mhapv}? C]z??Qwm.o9Lgy]DqҫaH8;ul;g f @iz[m+IW ed:F!VmDo];(brJW_b/& ՠ\wbT㉵Y&>%}7*ͤ w8p';xdīV(H 4T}eGإ|j۲ndb1.uad5a6Oj.øb:k׎E<͊0TߔMi_Vu ㇨Dุ jkB;xM#Ů卹v] R !eQH+=/7[h\*Pn.Xn1ˬF+hFRs=q-S9߶3RJ8JLҒl~]9,/MhAj$Ҽ9=}9D8y/ Z#P}ƛN\'Ҁx=#A~N]',$L}]\hpw> xlc̵l& ;Zl*`?sVSQG-"R*Ki~.Gݞi;Lt@JL/WS4Qe'McZG)a';W0gaü wq+I4%l FS!nIGN (~홌܏zfIRL.!F$aID|GHҳwuŬUZϒɅ(#m{!*g^,1?ݜ=9PxFpj|mf)cdhDw ECJ:8~$OQ-lQo_9LvaѢ VM?C2uQF&e,!nhn{} $";Xx?p{s ۤt^_}RW0>N+jT4:aqKUK*X-[ lg. 4;Y X&bsןu ,]]VA]Y=o El>>]BiL.u\2ϼ=sSgX /xޫAY+{G4 $ꛗQcp|克(k H`vC_F, EwՅe^ro wL9mKqf-?:l ~2;=Sf w>䧸jR,zѸ++ڷX-"K.n`m΃ATs2PG8qfWbTڂWz|$l)Q#uޅ1n"JӚLL`h=14|2źKA_#C!,uMY/$7q 2Yob3EI&uo*]X?% wB=%qG.Łb0l)_\-Ya=W "o1,HپCfyGA֥"]IՅ|P~Hp`+8:$@`imaSKOԁ]oY _U,#8S%| nt?1  'y` D^-,:,kVn\dmFG?[%lyA 7IQ6-pKp-Z9itg]yDIȗc0SlLٟ0ou# RWLU㾲s1,$ƴaʷK9HʏGu?)I I~iJVL $\[qjMɰ" T4r*w')u!&$HLeZէ%`O&^CyZv'sZ?G61Dlm`qI €hkp )Η8M$6|>99@XBQq*;{FSZM6Y@krڕŇcX9_w~J ,!6 Cʩl$t;Qk64SjA1@(QDl6ŦXܦ8`FƔ^ lI@\',qUya å/$LS.e)r#(0U 5^i_.7Xhg4Ci_Ns%>1I媀;N==;~SܞpZ8­à1.\ғjvTħoV.{\ԅFiדR[ t|Dxƛ#pBΕpU$q;a]<.pI)w}MQvnзnB82/0zUΤĤeF>%݈{5䨡p%C#$T=;L),W hKE h1:dY8 dJ.|[^vN3oٍ3~Ҝ:q mՉ߫&Tnw6Ki>-DMP~] DeT:~8 :HӃ^Ǭz!$odw\ %N<#)Vvޯ98Ke"&c#Z&,MѯUTH` ROE*Z3ѐUq{{Z=ol\ hwؑؠ9^Mj&EVo͟ʊ’Xehg\p\, >߮=&9]u$ W7yț}V[cp2Iz3,&Qf 6[+aA;(3EHMphJZ2\dtuJ +=N\Fw@1TܻbTMA18./N X O-ўF͙ĬIMl(<뢛W,`E=*1V͗PVX](: ASDN<@ߧXscԹ%bdJJ5@[tSйӄuO!O,Ǐ4]񄳙 tqiAT1<\c|R u\VrR]CKvnhXLzWoD\[~] EBp}[?g&L]ӛJF|#n9-0`/CHD|*/_@^5ՇhXK!]cSBGƟTّ:kmˮ8Ts[s4I \aZnKuU{5(t<.@بS#3E 4dd9ppL-%^E#5@BZ*姁<CpXͮR~cX&C/C>;@1-Wsq| |e|-7]AsN#/e3&w'|E>$TD"KC9s :NJ(M#f( ]'1'3b udC˔#c7~-KNK_*[h#&MғpGlFTI(nGvT:bHTD%덁raQS D O] a;vCWH mI_#l%bu+A\%WL1$юgʨj=r3djPOwu jڣLhih bEu;e nDfl_%|s'.{ykӪD#($?'4K[=O8O' 0t?R"fĀ@İ[ddl4됉ωvB80ϊ]s`4hN1_!JjOHV&,=t^?w9kп9/NBJY# v-Bz"bӚ"wYrG#%=(U2h0Þ0S-V< tᐚkb*sbxȻ(?JcSF.&h8h&os43k?Ncڲ|_!JShlnOAgrŲUZcK?uuRsfأqUYx?ՓKs2JL?$EtAE*Ur݉kem/Vb %򈃪#`LgXts#! ;ͶηS'[Ӷj JT=K .rD*8 N>"g$2x=X<8[/ 8UX3MbVsI&W+Eag*_- bJT Z3+ ߵW 'e\~{ot_Ls Ϡ8F8>+JOu76!B:<<~ ƒZ+>alAp<,]mFތD?3vbd$N'.4jd~ lT&Jԟ>V?2W q/=R'y$u$k*%O|=t;׵G ( 6<+ @6|2-֚;xZo&JکW0 . Q&TP8)_|==]SK}rޔKyEΥچL ],unI9H sʎ@$̏:~KW4ۅHM(y~G6G,w#Я"RT+h.crټ)Eʩ-G3 !;^BŜwd-՟зExr=5N-$8g] G"~gK* l ,Lˣ8kc BeDjl ~V⭈, ?R:Z#}"$uK)﷙7Qzƶ߱v|8_5ɴT;iz޿o~70Y Kz2Tu,%'"JOϝx\urhRGE)l _W}[ݙֈff5mzd魮8.ĹΥQ3pZ&%$vx 3]rw8@L0@q<@`,}Xb }kmv֌Zyo"KY2&o _@3UU_qXd5!lZ3it40Y TbEoʓ,JY_!'/W,Ӡ6x==HnIKXH^ k v |Ȯ^^\HݒIcLAiRލܡxh|Uֻ ccz^q|35i}Poߪ~ "ͼ^ o/0,&sJ bD.ޙSKCh0j]q.Ka2LJ+M@{*Q+-1? }$]ƛw\Jñ|,y2B|6ݹ %1 һ6hHTRHbO۞/9 +%,`i4=8SpN}bFGk\aԻtY0x^|2H0V_"N`ikG.lS3FlX`Qhm?vUc} 2:b𦱅yk+,hUon}{KRf;\mBK@ai )Փ^ LmPa2^(;&i9ж(#m9356= OLM`Gg&.L<'{F#qv^.t᥉-qT3<}udY}`yH+4Ie?'{~tW5[3 :QfT~N&6\+O9qίqijY,cKD!F3}?=gjz,6/BG\θ x[w |Be>lVytgP*[rL#p⬑ ç^W 3|W)GIj^+UF Sܧ(W`o 4I]qg%T _:Žd($0{Տqt D>bƮh^Qѷ!f~2.Fd~H$sUjL,8RI *OiAUNDZ4kmis"YRX SzU/ ^~87釠0`P%)Wsu$@"zhma$H8\YoV#Z`Њ5gmUF "92Ro ۜ0!?n,[gD)8?S X>b'ḃa{W4L xdQ8mm BfVjqs(&M#+p{3q>,j4gUI^8jÿՠCkg<:%I>)ػ4»J|M?E[fUr]BX"">^*Miwrj 8@*d2{[xU9(r`]FXG 0p<PI=S3p": uJml*ߘ[Ǎ sCiܺo[z3J9D]H/]ģ4鷚}:)} FU ]bhcN>y%M؝1#Pyx{` w!/9u!jP㭠밀sߗVu-i} s1}kJZT&zU\*7:#.9XSc`4wQ}_9!g$Z1m:#L<$@qeP%_"^xQ2#kfŀ=3aO]cIj*Hڈ|R:Ưaa@ƷĮV $w~nڈ[~ުya.uE=s}tХJ˘&qE>lEP T1P@ HO$nb%9}"i:¶?e~|vCwMk ?ՂprP &qk딙]X{O'yzleϦffXFཷےO2sB]p^u6-+w岘ptQãr\'r {!fQlk ^A*> Բ!OY{VuX(^9jލ"dq[. x$(X_*|0g饼š( Y9}@ SEMclې zJ(l "&(#H+|D=>)YA62eby&,}~ 跿I 'Ά2yEh!n)VL- Nj\\ `em!s&I%)l 0UJ~1˶ ]jamthsˇ`@ ,X"(sO<p†pZ+{.Vs+;.$&:S3GcGZ8 O0a<ȉ`ҨN)KO}˘Qp ;tOD 4DT<-K=eP5 F5S(-}jv#aGOI2ɠ;*-lAVP1e )Uf{w*lfVZ<#U"{TXnv ?ٕȜ|l:*eeqm !b +1f6J85JnC  zv}VOQ ;H;aꞭ [?=Y|# }foL7WE97kj{ـ͛%n917_S),xe: >)`lұ?.-"iSnĹF|eԈoEM˟d`k@P7Uߺ[ ;"k 切Bs侍Q"4f!B񯃊4qͭ L& TI) jOŜ(+n3Ob@lFfAg7eb5aiZ/ v%gs}^Fꄲ5 #O, KY8"B \[s Y$a̧YT'/WO,0'P5؞8?a@-'wK!@Ycgc[z$DK $e%'Gz(ʄ2Q-ver]:DeB?| _O]m" ᝾2_SwH󽽯x&jDe8YQijE$4fd̎ݮBD!? @w/2ܰ )D.@ە[i9Hgte[/C%{3n3F&bg2R\tN@/:LsSYuxQ`&X^+ [atV}><^8[d|y+|0Bޮq8:~diJ*aԃthɎF]Rοf(/g-<̩R 2Kyn94: c!lt=$*EWX5\@Gi *oa:7 o0sOr |a@,)W~ Q:TwNiQ( cY.죮,%e݉(Q>=s.XekRg>$y$CwuM8ʤQ.,k/sQޗegNx *EV"E2{^Dx(d ^~wndyd~ۃq7GTFdJK&Bə`Fjoc9+Hѵ7Dv& HJ>g?*t6o^ +U?\1$7;MGđl@Č9+wdäX\fx ]9$? Γ#̽2yڇ@c@y@k/&(F:(&=DC]>t-ŰRA9z\K3śaկz@9̭ͳV̬U!_\oNCb/+Q4hkyn8;`T|jVU5J'_7>Gl 8Y ~6Lqѵo$f+i `YHᐢB&9`Y<5 a!a@0T5q,'^>wVK;Vt*8e4ßș>htts(-[`~WNp;y%V0 m$2VL  ˅,A!ٷoF3T_p_>8H 4ned5@Zf~'򷬊m]ov@T8]$3/u^l ICW /0Kxѓ GdZolq+.Wd[: s0)d;pkN =uvFٍdXcp33D;b $eY^Mc~E+B44gmVљs3{QCz taOIx^8pXdGS$c-AdGtP2xrZk( Zu"*(j́gjD @HŶ$l܅]b56rpuYn=R P?5kP㐀z lzD:9q'.a_Az@&\%-邭Cn*o\rJ(͗V^$i6; Qd"TՎ4MMFQ2v7^#"wȒ`E6VT!I4e>{-|ݴQO w A?d {|%6s0S8/Z6#BG ɌӯXEEW1hJk,Na{!lSLl-Ӛxl[ $vLԐV}>/Q)c<8XPviWg j'AW+*BAZ9q%BfO{=7_NRVU606`n¦&9L]-oI{@fMSd6l-UlFE@d\SVfJ{}UNgU*U1>Mn%:gqOGt ];RϕV o?X6Gry뛭)5 {˷<~t*`L*))! Q+ѹFa(hjཤ&S*1F<Q3c%:aZmڜ{ʚQs@iNz-0pv>xLLDṟM!Qt 4ӛ94sr2Bgn2Q{;.À~g+xw̮޲,DCKg|6JJ$ZRscRM5_pIXWīӚ%ܺR. S=e>Hפa,O۟$yt&}YW~tBIRz?Tw0z[`!0>ҌO~b=l\;,dC?Y^(_dwd;|OUeQ-3X:w=?qqA l4Vŗ%pG\ ބaxQ:e吣%X9%Vc#}v|D:sqëJI94[G?Ri2 r-=.)u)}ZKpi,.8C ޖmo5D&LlelWT;NX82 N1U/2Ӈ* %Ƽ$)=x('#Q>t5%A Æn@&*9S:dOU҂xI 72(ep؋sK)nS?TQXXB>Ś%ѮÄ@fPּߵ zV4uL*TCȱ1O#:;(E[\|VD٧xNuwCDp0 r51I ڏUq=&,^ܪo$%a2=*unfE'ͨF`QwgjO4Fg;@ v^]PmQ9>E\k&2j5Mc}qA`ϊ{d* GlKAlc*0Y>d!AS9fJ6  Pۗzcտ1`#ƮS^% /iS004QCu'~,{EH¡8WMYŐYvq Nd'r%E?'ޒRXEgMf>=L%z83&5i9Ȓ}JTiljk@wg }KK6j\q@1l DA@纜5^٬fGЬyG\@q`x0(OA).WO23&_Vdڟ. >x뗄DgZxeHdD=G/j=D+NOh"6rlTbVa`㗚76rFy%wOVo_6n$/Hn%WcNX\E.8Zxrl!<LNO@`4C]1xJ_9_$||EI-\"{o*nt%sjqVĎythԬ5 xXQ1^ၫq&wɭԌI?\7Ux/8%*Ȕ'PsVC%³fp=-{X,hD5͈ d_d/ӷ`a;CpܮXq8簍s,@6[dnTIS;0IGب?8570C r. rG:<8y5HXLQU"wZxa}5%ʖz4/nfAsxV%MGl=ݒ)n!JCK(\Xx3~e>z(&&>!+(a\poBM#?_+@K 熷OԠXCEqA 9 EiQ 2RWlg^-^ۃYɬZ ͆AZx2f*ubmU>6ϯd^h1L)4@s|ҷ [ɱgYZ7zXZִF! ]ŗXiɟ1?ߟt;9HK?.>e7"||;sht C<5&@~Qrsf= f'le7 -(b(auײFΏgbC&[/M4 s!i, pwtw&Xm8QCqi1:ut E(L hcT6#AzSO8VDqjcEF'#m&bB;4Eɂ> cokjo/Il3:s >kV3:F)HP_`}uBh%6NϋVOnsu%a1мDfRS\/"D#c 0MA*Z& ;9xUᡁ OD gYZ7zXZִF! xH]ŗXi%L!l.YD+Ǽy.(n@%2Ĝ~FWLt<%=&Vcgڌ)QQ]:Ȗ4)Qk$b6 AGb\۰j JUo6ɸ@5H[ @XYAY]Ewuy]V9hXN=P_G;`vhFB{#82R^\Fa?0q7p5! 7~vUZ.mp9'LiA?l>@EG2cZZ7f~u u/\d4sDCWw,I ~;t6Ϝ\$Fu$qg*3q['޿\-VչR Ts>w#XIQƝMm-C5qeB`8&)IC˪x(`=>R XK@/:lGݣkgmP9nXH){KIW;?Y.4\0jW:p =@_PC=+)V%rF.+e"&!YF1s -Bŗk <+%OXimeS pH={O[$eTVwt\z/JBTx8;7gKԖ-L CNs夒ya Ӽ]\dYPDIIghCJ=RkF;5W2>XOx!(岈;i:" <@~_vYQWYjDPgԲlp?nؗH^.^Rh3+dBr7> B[ka1RCn1'wn-4uZa.sV),Gu:djbÈ~}QL@.l'~$~9fZa͜oxt,:QƝgo"76xu'  "T׻i o8k;UM"!GZ,@\4ceLGezQo#FT -M)pC.CZ,jy=iTx 9\{ɳ3}j)c]¿Aϐԛ1gb쎧ƕ^ڔ'5a]ﰯhv_-{zAXjȡW$ 4VVLډD٤ebcce?'TENgge uMZ'wOЗj/ ~i]}[͒h+7nƋZt7 } 2,.00L+'Xw8 OEc y)8Ҩə-n 4´ceg%'oDD=VjgA:+gC+奜N~D'Yp{r7uG~xVoH=M1ղp|#QIT MØʂ4^lJ jPfۍ- Z'oTd4{"+儮_"Z_' 7.6`Gn+v,QL*x{&ݣɯfWC@kZ