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 3 ,< ]S Decreasing-Diagrams:threads=2elapsed=22.411cpu=37.984gc=1.060factor=1.697zXZִF! &]ŗXf1-/6vRZs88.Ì[rI,lM 'kY-<Sa½ FK4jٍ KZL `;sسDe :VXȠ ^4t=AdE$,*~Aliu3:r/1w~^WqXd`n'uL,;}ɷ>Yd:/\{^L'8,Δ?ېg jI1+(>`&ãwzh_c'HXh$6{4F"Ru|xE锅 tC})*([jԇ#l(8xxBɳ[- #ɝV#V,T}ܱP$VG ,Id5=1vS)̉StV huǀM,z&n5|0 ,wCCBe?m^ߩt$jqĈIIU|S, 失gYZ7zXZִF! [K]ŗXiɟhb[@%= (]T^ѡ`0,nX,LV;T+lg\Uh}YZ7zXZִF! }\]ŗXi%; S`ǝrkHlxVT/W ,Q&oeh,Ma;Z9OmOv i&]wz};T2.*-4@r,L;R/h*c%7z@0VS5J/SR[(-pD n~TfA*kOkD 3>D(/>n;qf,瘟fNNðcۺ7jk1Nla=xzX:%B‹f\WOi"&\],>u{?n\߻LЫ ;RuY'y'f"kB["lkR[F> نWTTv_yDXrQC?Qj)IcpSJViFl .@9RȪYkh =ǟna(J*jhch1&ؖZB xZ4lͬQRewgGZO83;c(2a2ݮY,lEoY2ff8 {gxk;$)bˡcds!rg_m $>>6jdģ!B7 RJgt|rt'ZוIx9Sp|W5׿0dEl3̿czx)s{ek@%}C ox@$'8F{;`; SX ea}+q=PMo#eMa..ieN@ǏO3$ 1$wXYV&b".j>ߨ' _2Y`/!CQ3W>6>C*#[RAw%ɩPDd_:Z?MVnf^1j__Dyc|nI<%˰_L3>USǢ [!fjry& yjPfʓ5/@o@Ztb;98{C0SĘp4r  9mHQ28Ndn#;(9qAF9Gw\+@zm[ZK?ŷzgc{^8TYp8YJ)~E$egQfE\ Y*T^̄HփBp_>_=#<n!/5hpb֞rgܿ؊TxRT:EuĠ${풗>=]NRVB3`* |4;nb"!ژj_SI1~aL㸌_<6shdOµQ-Ĝf5Z2j]zЄ0>NNW,p7LF0E1+BAoʙ;ͫc *ini~V@Sc(c,2Iwxº/s8IҊW40u>WM:tw}SCDmk`ND:Ȥv]RT* T{E/, ۺsRfwLyvz2|_3*~Q,RȂF9 v2ljz65#Œ(Be 7ؘ,W<%p Ӣ"PaA>u ɋ}kdnvzxA `gYZ989f981653a788289ce6062f8baa86716dd89e130a2434114e0f5ff2a700b4a6f5d894a41f7c1240 80050be4066a2dc41dde228522a53110fc50a122 ba77dadcae147c3abe446d173cd63ef2f4737176 c9446e126adf3872159869c1df0fc36d23bfd682 3 Decreasing-Diagrams  R3[% Decreasing-DiagramsDecreasing-Diagrams.Decreasing_Diagramsdocument.tex7zXZִF! a]A-MՋhvG"uIBm5a3Lk8\#.:EQ urЖjOt^U6@alj8Gi#GeG=f,7*bwgxAѨ^N3Q|=(eAc52?Y_-6 gBYpRJqai+?jI[/(Y^ ^84Vm=є%-߷JV_ߋDZעR~h0AL)WĎ]G/lg;RkAU$% V)vr^^0Sl iw5?53jH|4>A`5˛pm=R 8S?\1d-5 re`#DrZШqO*)RTxt]%J9e\YY; ?jk0 H9V39:^,Ud1GLMga`:鳬=s}`⽶ @x.oqP_&#=ōrJͬ^ vDZl*}| SU>5Q )0n#bUQ nuΫ͑ǻ0cHKp&>{+$?+OB˖ȟ2^'Ut͈*/ Y&>1C@"Mɷ7H(gTfdmI>-.X=!uBЬ 1b$;s֍בv`R=(pwf~R ӹ5RT7AlL#SL/_|lKɨY-boJOܹ ْUiy \ʂ>y3L cXthGSF8eѶ=b[ ЯkF;_gY1gvMrB*a̻3SJ3vSFUMhÀC& Ʒ w<\5^g=6O1[kE4T zpwM騍I ׹@;˸}& mDR-a4kr*wt/^MFw68|_B( Q<vT}iklayuG))1RiHV%P% K̰K{NG|~I'{? ̠~gr%R-`(1W/ K3[% Decreasing-DiagramsDecreasing-Diagrams.Decreasing_Diagramsdocument.tex9ʟUYDS%:M7n'jjɐ@2hOx iɾr!!ǛOQKm~QZx@_ #.OmW蛸Z'/ .%*;ߴ֡^fŜR" Mg^: ߒ_)X-L0J 鼜3@ELsLOFB l]LI 3wAR5j~S?un0p>if !NV 01B0v >xxiV*f[e$o*n)b6/3|< Qoض][;ɊZI` 22X>9Ǐj4v `^R?gB(6KK*H,6zi.LP[v,͈60bEYT\ޜ-x}셡C0o;yr?ґG )+]^?㐩 ?+ͤ'ONT j!{\B6)Z%sKkFwDr1}%bX] Ŵnx W+\uzUδ+θ("庘nOl2?/ ތi+0u;Cuk$@_t9nv-wErbFB4ao:<\$~_벂qV>vX-}J)  RڋٺB+jbteVؙNS]bb:!I;9nwJ4pChXm ӺsR9'FIXQ㒨xw\u5_ ~˸ewy#A%xk>HPetK?)g-QqsS{sS7It^(Z!mk#.@ l(Z]7cŭuy:׾XʅX쥐 RtJП]Z,LJ)!<}=]ZQff/15 56>_4GH(-󬭥&EV!=} ëgDc"Q# ZĈ,lQ1ދ(ںnSO#9s˵S޷  @Gb~fo r#Reۜ28DWë(¼l3qYh(̢cJ3HMcZׇ@-3PɊI ы-O`o(kW kFX酀Y5V)Bac:Ga݆Mcjה8 z>;br~jLk Bn ͈FMlg %N(@k G+9˥czc?f`bpc$'sn…jb̽,o jA \M "U t)[$Aqj…׵Tl$wwxZ?nR0Qܷ Z{@jAo#d]bv'4|;VP8R 宍"=zs:i8͜  2[D*bqc?HY$juL#V:p8#'}nOpdwIe5`ɝ{E|,4%9ڷ(/7-2 hզ!4$B#|ھv=Hr0XVrUs1B2^!vZPwɱ9,gdnq%.J&^&b*#wzLFҡyieMlp;0J̌Ma|1u"ts{McyM[ C [v0<-wqӫ`\x8R&(",ka_mvٯ;i3I<@_Wns5ТZxԻ͒lD[C`2+VKiU##M jm-)vLyoS̰@ʉW`We`%շ(P xaji%:ju 6v3]JnwY0{f(>yc!楡XDq% 2b_JI)g܉lo)WW,u6<R#^esd(Fa8e måbW'+/U[dPɼdyLFKj8JRAjaƇӣG"f8;s F9L(CzKX" Wi|eoq8CodDR-M\c,1G*x{bASu|$~9o r_rw]f|20iKD;Ӿ/ƱB3!XfIRW!S# rU\qwY;0Lᆑpl=`PxZ-_l^SÜo,1'$[T6G  Y‡V동b8 ARU~@@TTzMn'vC -ʱFԇrnBr ԟX(m'_@B/t̉d.]AI0thOp<Ĥc$;ݡ^`xCMdjZLC~XF'vхd{&&rA41O$qRf%nYa\„'wljl%}/]@4 Lk@+$93𑮔0v;rєLS&ڏ?~)JГ]mRi]=1(uP` W s@ABӣP08YՒ.+KrMm6ݢuFs Ux-OZM/: > DTtAx<(z}I|W񭍜 'ŦO8n02۴bs`=04k& (j1.˗?`Dn7 ߼2 )s # _e=H32G߯uTaύ1sg1o͞>&*=*3I4gL8oFm%JdoG$L\?wS8KY~ A%9j Euzi_/B~1Jh{JhzWBH#췪H.K`k^oCTG%O9̑(\_R]NO^:P_܆SbR7\jG'G\=Z)qpLx U)P"QHvK'ML*]U@B^_:(إCGgǗ^| WnoÍM:sCa|1Z%嗃6o>\uag6 fi[z= Zm"gk<4TQ0Lj[Ry2s|"H"?"GS+_Lz,q(fAk+@pO< DwiC5˛D4?=4VW`DK .T $ygo^ kbj>Ν-TSF#ژ`#B.n8ו1g/ף *+ߤ,"68YOI I>onvk ‡VXJ[w2]gYsNy7d g0Z%f2IU~3"vGݣ@#l)*-TZtk>TU'D%.vE<[8Q8cճ̋g ?;-g5Gz`,h1{}5"V)/$1MTо|ȽOz?dDj7cƅbB8$c=gH&ҢCeg-H@C00+xmtnFHS)F"iCp «vb;d3Hz,T"&2L:~_-;YF>:qSuPizxB:xt &߶OƪR29Sxm#->/ ĻBA7բ@FRCBZ*ef_TxSt,J~`vR#rnI+Lz<fһ1~Oj=(`!\e=/,SpMǒN&B\c$!K'k"&-:n>AD6p)$eQZ *Q2K{U$ZE!P]V{ 3r PYyXQ p\SMP9%$xWXt rkG,*@Ե lL_jUYݎ2p<ql+g) C-j0}pXr!*Eqzt00I(,-&ޤ1q7aMBYBbxA (x MMr/u6`z JT)v .s*Vn.;Qc!aΡ"/ ۥR"Mi,Fd΃%E R = z*"oq84[qU/ѯױ'+Қ:ڼTyCsX>xT3kvaד10 `]'ڬt'&rK9#Ucw9Iێӑժ"9*sl.2T"tsC]ĒSїlc0B#s`GxõB-؀`_Jf,˨8Nkrx(c y}XAY~kϙ9MvNRWj{,ѫpҔ2fU?ŭ?FxWv[ZjN]t!ekxSdgHPx/xۇޓ#7#/lR{GZA:-go1 $AD7] UA1x3L-C^|H*(=Ž!w4/E\kip4ϹvjTP(>k1$1ރ;hĨ^wb sVvJ#$%n R'29(.SYnf7ɧ@:Q4:)akc!p%H5_Z}}MI':w<(QS9k-T1MBg  2 A2SMB>%Iٜ_-i#JNj#~bMZ9m<-%ct( NVץNbpl5e @GM`힘z l WЌvdq;d`kW^\C{^*}d\mNI:9KB~4%7;ݖp&&.8flWv =od [i`*㘑p^R o ,-򀏌UC"lW,9q;, +8aP/o!*X+.H #*6싨Dv Uˇ}xNJPF/ƦI7` }Jb+Lg` g0xulK_k"ooM@EB ofZ:oi_Τ׳d^xl:tkԂ*&"t JM9x-`9TC;'z˹E3u=[TԮ [Ef\RPNVL6Vmrf(K[aD5pB:Kgnڔ^ޘ'[;p*o"-u] ^apmá6̆v*MYx(2Gx&OfZg{!ӄ>;V_V%xWAUap5C:N3Ye~iqv+Lg"-Hӷ!.T|C}K0['D(PFrm2L>ml: 2SWk\_KO/a80 ;| r՜B{},HFj2OCӾM'KX;rm۱wu7?;hZA߽ GZ(%~WsP]^03nZ5|%XWM .o9ޘczdϞz8"[Kpx}HӣZٓw@Eydˇ9A?Y6:yCQj&CZpkHnwS\MXj_n=6MsۊB^ YⅣ(O9Au j6As 8tzٚZxe"ѓG3A `v곇bY~N-.l5Fo3vhK4>ӭ}zO`)c IcA ӴCxς{s dHr4Jߞ炐>qЁ`NG.+oF?'g])`-2Jb@ qk('BFyꄿ-۞Tf>AŷX!ϤpoPc領J;MF9t^Xو>EfzS eXR9@eGщ WUjja =6ajOlװAcYڽoLɕ%:[\$lE]-u钎kyuX*&W) kT Sު]= .nY8H }gg|M˄˵ss7/h[9qjB_A Jqv/QVC&f 2(:yh?'kA%Ӧq>@WEgdfc!d#4p)7 YH]L~o_>lҰH#i>@E1Ioˎ@4+8b1Nۦ\ln&X'T$g2Xӏ3Glx l5ϻِgU<ZH?W(n8z. $Z.43!DN_n2*=_#gg\8zehm$Ժg:p4bʨ DP/2yS5;{19'Dz! 䂠[ހ FL ~@q-x4L@[ҪZ2_ DS RvXW6 ވ-^l% 0tvl>R3`-۠>w1}HI@%Xs*Tk[7*7"YdI}o`@:@/H}a'/ Uo_iFVeW./sYiR0碿 wD?c%E?1:+y+cBsjӮE=?3ϋ cp:;& LvktY>SDh }R!Tl\E(9̲E_G^I`#&[S3I%meyhjz;mb퍯4.Ug_G}#-i_=UHԃz3(P&@r +r k0ZBoP9֎`lNHpw(I~iu]"~ىCO^ HZn5&-bޚqH{Ȼ߽_Yk}Ɯ+_Pb6r˧[q`1k }:[k^:uE+9 iE N*9םaԪ|b+4펿Cƕ!m{ [IU?)d%${B[a [ESD!8LC#ޕ0F8jn Y&xF \o,m@~;~jN "c*j'~ɝS!C^qN*#גĎ:9Ӑߓ^! tVs.  2rT>@o60 7G]{ ̖ڝsl1 M0@ҙ0񨊇 y ԯ[ <ejU%nSR bH_lA w{TȯۥIa*1S? jd:E~0P 60@Q%qg|\w՜+g"d1ʍP a}U6PG}?Zw'gpfG9`)،&KUԯ¦R*E`W! ؠ=`ޓPl|r>Sn♓]|1%2Q4yWO9`$$xy ?"LqZP BaAyE+pOcbdGWO'V8DW"TS%&joTqDzF̷q,Lq y;+Gu?JҦhJ'B3^b3&#;w؝y z~Z bGKk=PRUϪ$L<f-G+_D3Č/5$tj ҡ0_({ F2Do"K /6<ٷ,&.{3؈t1~C"Ru1[lwׁ# B^hVmRt|]iGp~KA'37"&PIDn05iFi$q/, I߹mj'EE]KQs Bsָ?#DqnFU$ TNtbQcfX4o!ƃ<4V[#Si!L$1\蹒{@"-R΀/}(-9 &4<0jm rYn@k2xClZ|-]'CO4UWnBCo&Y-t)n|O=`QK,gkKB0kH~tRo_ոٷV⁴hi˲7fP㮺:m-xh1=M1.ɒ,~^I.=E -jaj A4*SxU9T}e]bү/I2kO27x 㞐(ef ?pİt;ûIQYrK_+ G3㈱Y#ލtVfc00F3h3qOr-V3M } d^hdrÍ/CqI JPLY$A'aPLtj nu,c~Υ |yFVE} NԣMMo4X@w& Q3giox1t=:L4n5 ih<(km= #-HG~5Oz,iˊpLPµ.^Թ0v  >od3#)Xz3t?Kq sV߰Yvv5}j}Jbo_> Ω.䟠߁G$HFC%q~%;E1sۓVpGϨU|XQ=_j <]k/E&Y,[S,f?~7k;D,X(33CuLiMiG0nOMt})f0zݢ,DօgOlO/А4wvMWn C5އy6T߲5.t&N%V@0Be =zcd_[AaJ%I`ӻ6ȝr"Y3tҮ#ޣ>$9"7ob lYom6 )7h:4U4,~I.29/ tˍ]fq9M O!kn6ܦXVPE|˷Bed&M+Xx3 쥜?&k]綠,rON|Hgv㘯hb0̏ȔA P\y'{ܿ˝jLdmttRǍ>況%TlB0t(}%Ouytu^^._ URze-ڷ)BuZefzm#{?Sk&{_0}f{p*FH08[ƉLZfҰ1aǿE7ajT)VJ:ВY;D,ݎz )5VHҾ'jkM#<hgEWO 'iN YFe|SsBn"TizrqY=" ҒɁD{kȣ6yt0c9hE{%jB7zWɏXl%3*N5଩X)'{nQgUµ,Aȋɇϫ.z ܧ4*(4IY_+ƶ\TMv*v xJ\Z Mp7W{ݮW?q.>#/AgҹdU/*%M.eݭK<{Lu(H,sۺ&( Q讑;|$WPzISh(u/\`P'KYYSX`$!nC>Q4\iUy0EquAOɡKcD,(X@ ? Sgw΅wC ٴ\d|dFvQ7`#FG33<6ɅBk"~:u'ݿۣL'J?d̕9\C R{lt U۬3kLjE/i>`Xţ.LJ ul0xQa@)i8J 5 4a>%W͟n6M[HɧDHGd v 6m吗M+=a=3|i Ĩ(:OK\9n P]z2tG:C{^]h+}E?6O Xh5.Q$l56F8*YKsvԫ/*?Kӱg=0vqykB!PA+ =#9%zKM q-h Oбљ-]`\/4#ɂB >~ޚAHW0r~2?$iıCP$)rΑk [ f%_ÀYtfˁ艑ϴ4gTf\d 56@Q: t V-%'?9NR3 s#'ZZg@F`_S_B%Y*3̰[B-9=3 |F!hWeߐKSRϵ`RQ|#eCO>hԨ1LbXCxbG-/}V %Ҡ*dQ·s[1끙.nk O@ FK ,"W#sYJ vDe/g9W O~yH3F|7(  )gcR79*=ܾX+l] L):l$3 =x%:'kC%=Ggγ1sʹ,JDSH''$mAtYq+1jkF* 3z1A %]0'n&TmeM_3՟( άJ.cSص j#YrWLu,C{&HQv!G{1l]*񇫈^/;nD$Gup6~5 ?x0Wpkֳ+v VyLJ\QXbzĊ V0/`tO>*g~pbzfho|pAT"+eUTU+0i%gJH\˄C{D5O:zAb,n+CZNilf1#Cb ܕO[J]iTWQ+:4[L#4+uKphג+(h&#y-:Dc&[Vj"gaEhl&Vڇ>䅔 ;o"x?_TINA!-{3dŗLQ-0ƲkR8_J;>756THЊ;T';$s֗| \%+E9="D bKD7(J|c"0S' ״ŮGڟ.ӂ#$龅So; չn? Mw/ bxDZW}G&?F$\ƧJ+%bQ<bmnr:`7GSJE|NJ> Z #UjP*3q 1Bv=# C%f߄1I-J™q&Ip2!5[dy?_ ,314u̡(? Yq<醍n"ir3zUz:-6)RN f Nt)FIAL2Nxm|7Uz!Nj~<%p=*K5b"tjYK]k%2r۟ rX2[/mI$a6D$!>0w, l@NcWKY@*]4bב&y Nq~b}䵤\;Ɩ`n[riűAv{_a,ψBS/,݌YDX'anA;_ۃmh5]_jĘr<r]3*CB~^۷npQmJIbtHg h{lQƔL-Jddŕ#8Yt?yxH^cK2!ċETk*ϛ,^*ˏ N@u$|`G(7)NQ_4WjO@dgmڳ@h-B6K?vg!uI(@Pl p7'ԡ]`ij4LX,ם2E:ɸU SEl8_۟*2=Ħ*lֽ‘R7Ą}k}1E& < _e_eϊ 5 `ְo6ݪN/bO_ΡnTvSJėUL3%@Vn,,1X`G&?dUV>r_iÔмYHvaCvVi8\ڏiQ1PDŽo4>q<}j`Qvz GVUVf.^Bo0f}FwC71Dx׍~hL߉+to3%aϾ'{Ac)q S 5,[nfG$۳z@uįZҌ޸_ɿ ~.ʪd(.D2O@4utL-XpzѫwKh?Tթs7fsfWF,gaV .Eoc~*g^_cQdmVCQM5A_u|'ӭ`,||(ܑ J1ML/5Xm<}XYfPFHQŠYOצLH,Bc";"Xj-chn%&DzVnI+Yv܇FI)4Qb\MFx=Mws=|JTH ^3]B=f*xnh 3ы_ٹXMWd#ɧe6hA%P}j^t]I-;@S93f8/{c #1kh܄L#UHؚS䋄ժʋ.v>% :Y?+Uz /.qL[Cԭ ;JSl'hTD#tXs~vzd;T#olބI?J p ;^'7:2^ld"ៜ6,N 4f.=-K }>>"9:6rY(D/ :eצ3h-*VqbicbB /=oYecVJ"X͎mdLz4#T3woCy\ރă4g!k$$Es%W}~5u0p(s7"fBJ J\^4v$_>"Qp(vc^]C"٨˴aM[EIxڡ~_!N5PIPQ:ꗤ[, "Z&GeEX6ʎ[Yл;VQ6\5G3̗Rt;KogKsws5h_Il~"h570FQmh!=l'IJDTЦѦ9x_hq}ٵ37ZG3UpoȍgS,}a…+:W4/pUaGIܪɼ2g+1QGf!A0U_rylF4_*ʵƐNv׼ yz$w.؝뵃 O6jyP JC|49ﴜ!E3($ |I/Y(EuX͜7e+&GɊ֝c^_׃(3c184<e9 Vt 1{Y ;j#Ké*k܏{l ;1j[W ~Jy C?i˖#зI"TWqÛg3g0+N}ie/"V)ӔaF3򱽶[-_Nkwa40phS^L9F|<}*{3θR51GDȾ3ir6dFE&8G%TkqH:ʃ_Ybed\7[:W+ UvsIo/ u)~Łc)RbZnX{ AP+ivir gFa3A8p SO`O`"5X!UHdG)\8/xi$=ayaum;o{r4Z}oszTSOũ/:`Ygtj~z/awͲT'phEXC ]O?Q"ms Y,Js-PnS'ҁA #!Z'7|SP:^Fܻ1>; G¶,yjɕ1>'wf8N#GM0¶Qb#o cCN!Q~~𤢺Ѿ+oMǐg)uOK72c}(س-wQ g Rh gE/D.7Wb6"ǽv{Dׅ{~zPHO*nKӞv4z5ÞuXsπ0ż^q&EdI6Q9 9xS]^R,ëvFp(Q$|3Zb!}:Ѩv^UԙQ""%u+dY)X9t `KvLR" o oIOygJArd:Ǔm̔gZ܅j*&}qY3U-IL@8|oYD)h. ȶs6 ZQA:Wl,R6aǒ#DCrd꛸#'> @b<$,~,ng> rb$yWvUn-E,2\F@2:;Y),]G2`j/h&޲QIc &|Yd[Fq4ޓ,}ZJ&HgB/Ay@_ag߹ \h=ɞjSrsq E4LKs6#:%xcNWl$5:' BRV=ˢJC2Duoڕ|d375)N{J|C]tэWxL*kGִ{3r WX#Shv&l&yS^YN6\-"Ml#o߉!<&DB|̕Zлxa6%3W8o'뚘CLj6YO,`)ױǭEI-?hZ\F5mF/֎mT;nITgg,.KCW ~@þ4fKn޿wfCUP?~ ێzUlQic=|ve 7A=~NRWNFƈm-=:aI𫀉K0+@v!lWJ i7{#UZ]Ff"?(fZ]K:"J->݁Jk306  gX/pRi[ ndz1e]88~*a K߆lw3ZoפҘ4MZ8A8UJ~Pz97b!pDm,hJ֟3yib Doi?LiDWD0l !3I(.PD(÷xL\_"fTI$&!FoQmJ6b.6춠%ﮨ5X2xA?K&4i&3T -z u; Zy6K]4)Al;5{ y#> oеkൂ~OSrX Gta$ɺ,STP:h vmNA tVq_0[/ILûuBoڶ,Ɇ(mbw昘a}f; (ȩVE6YݎERĕ{ h?mY#Ȕ>N/9pٶJ깚?]"ކxBFCv FLxm3o0TY%ֺ"$Gk/gS+Vy{ʦ;A*9kR_=C \H(#|6oܵu?v`=/b'54 gTV:)kJ',^y֓" vҏ&'x K=TVkڃg-O0kzh=|q?fFCepn_`xr?JLUYsSiBۚ0QB3КD$ӤJz2Cu-I.[62:Ogj{9^^ * 2 p)\sq?Zj uU̱مIQ#r׆d.iL2_[?1U3C^/2\ܫ $` =+(doi 6bpU q"6VV 8h$--ڿS'a$EqdxfsHKqA迤l htpM}m %~9hE4e=Z_2˯/]J>4}NzuV (^Zbf(pxvsdpp i}TܪŖqE{ ̄<:?ޣ~Қ|蒑ҙŊUiݻ48 n'Krs뎟-#ky\%[bɑ$>+؝g֧aD ;dbm47 )rhġ;^o<*-õ4|9R*ߌqJ&_i,2:`"NbaKV Mo>@petJ6AF!]bq8+ z_ v=%:_@׀y#ܴ $vq兎xF춌Qޱ_[/&ϩWT{qJJ&֌5 gO#Й;[Xݽ9(i]F =/a {j(*c05nTomRHrJ{ ioY洄E@}0*E{L_{6-kYyn0˭z&3ҙ'}gE4#];lm $13V!hOb f=y,#x5 :ro@u;NGE8׽R"XPܳ~ TOK(VGoCev}q&le( 0AaNwd[]': obRuض: L9aVc&fcD 1l(x& N[c6`1@> ꯏ^T&w/.-Q Z++Un9c4~=5#*en"kw[K&=O@ r؊O3^TЧyP;hj"\ߵ|]\j<}"GF&/YTQ0n6d7M: [\|(`#s,(WHrTZ%Ms@x8`+G '[t%F {!Sy2NA}N;Ĉ&ˆF&vqfà9N}1 2o+B[5ܕO$ak\IPF.(Ԭ|+"/]WLscm3B5 `6dzb!UjG-fn'Z㯸,n3AK.AC>hP;8fT|kyۑWsy*P'tl4"@F3&]x-ZIO#޾MSs- >I/PҘ9 ٯVVWCbEQ{%TSK'7l(%PeqJ~=YG{{s]KKBB{e*i#&pҌsᦻwݜ8#9?pş3D1:Hf H5Sew粵yiikc[KCR4 Y`>="ŇmiJ׏n&T ʃw|Q&v"z:ϗLe9's96up.aKɄLB,Ku5z;R6 2 bY0~#W_QOgJ tY%\X"U]2(B+ҬNڂPZZI}1pwvވ.%nJj^T8n44EAD~Dx*!_Z** q44FՐ!u_e( L~ٜ|ʆِ@VUl:Г5"oXk$%r (TUJn:d5'E+So=LAWl&&jvcxMg\Iutwx>Өh֖jǓ̦Z,eRL?86Fd? з#()i*bpgƩ+Z4ԡ-R?]M*D9 Dɑ6[x+fS$6`PrG0(l'tPk[2O_‘g{OUm:qь@!c5$` 4j{z]U%{xFNaDQuÏO}1L>y8)`1u-Ib&'熠\?k=G9m8'ffqnk?q$]D| viFqnpxue.,a˞^$@I0*.vmzJ8u=s9}YjW;?&MkcKn"5?3yMjmSmx 4E\r@3w:kB B$n`vt0n-DS.s)I~0|")0D05[FAG9*r8b̤#m=$)LZEU8\_*G}c47_q3Q5oў))(Oǹlľ+)C]7\[Tt]w0o|iZ=hZ"G-{HEW/L+mAme^Djۮ]PmM[ _MP151RfdH5fcD>C:RLf4c2-ky/Y˼$ 9EVXጊ6k.dR՚c &_XHy_iYBrz9 C?*=!:# 91Vdy+I'ABRH"k;Ϡ$J:VƪIWȠ]kS:T卶ib2&_bб=mVRY'C*?LDp) ˳ذ$8'1R؛jo:"f-i CY ^SCNbJB_#CLB qƝgKx\8?X1UˇV.c'aSZf_k1Z)ܲcp߿/>1t+6(UJ:\dFl4.hN6N5jg7$Nƀ2nK<-sWD;)x9꼇.h'@F>D:1ʂ7}+Qh00Z*~RB֤E4wUX5"kQH=vbSOJ5?_TeyJRd'K0_|DT-/R$i=!?Cn/c el([Hb+mvMSN.rry_ڦFK7쯹.g!{JF簸Nh RB 8h\+h"FaFJ$MU P͏WCm:A(d>02x-[yBŃR8mHFcHIPYq.5JKE?-"xe|^G|!NyS3FՈI߽/X4%mqI|(>窂 SpPY[V@qqǵ2> ۬5xn&!<v&kC 7ZaiXJ',oz=M͔$ei6]eO]ye!4/0&@Eq#3=nr^0&. ;Fv! B]q(qrӢOQ`q.W9qkyjb vYH?@Ni1~H<L2EsA$-dᒨ=Vc} ?C8Lk>Y-(H!,lipOlf{@o+&59NHd6leIvFoJY`&J,߮P3eWY<FFP[SL͔diVVTb9ꨊ&%v,#)'`{շ8 c_:79xH aQgNMbj?wBhhGh39qoޚ W9:I8Ulrݨ0WS=WEY uD0($k բ;Z܄RLϚ<.>m'eJ \c⺴T\?UDK>n5'A/'t>Te/.oSg1>1?~>"v6An׏!,|!pᓓX>p 찑( ٲCbTYhp^eV`mAo x|`JNNJ_{}[UW間w Tfklo ; 9@-2T+hM+mN@-u&Kq\N`t} Ca-?ٛ t3; =}'|_"Uy J .`ͷGѷ/W0My`0ْzx\Ԉ 1.$TS_K؀ T R0_wTB=jo::x:W6V*Lr\$@vZE6QreS{@!Ax4)<tH {GV^6Z{"#ء{Gv|lu7/{v4 a*@Yboےy<$~n NeJH\W1KB LOITnBY($Ε2<\ۋδ^[1+قUW(qOa)":c2: {hͦxC5J3eV]Vv {đG8'YD9b~Ӌ"zn/v u^C#4mI VO¹Krp#FhNOYyA2 JF@fɺR 4q;!Q9Ayr"C[*5moi?? gT> Vh_Ex7etobЉ6nu|_P"w+ 2->FD_oTCrZ9&6OB%<ۥ?TviP)⪨*(_Nfo|l{Hevl` Gy}y9*}qe5: xzFA )WN4'#MAX,H=VL6?@?`V;=W5¨,^~A)7?Gy|ܚzśɿ,4H7p:i4 Uc(z-V?Nb`"2pn7O?)>\H[:M7P_ vp*Gz9A{~l ;%I";~oJiŨ,-w:+NSɊiv,Nii^C)3> Ц탡Scu/Le)8bb$"R\ӞݠX7vTnZ4m&#%m3fLKS(!b~{\_"CZ?a5Hղ+N70q2iR %} ܮ$m[*\q2iYi^i/g U~E&v/)x%o[wpCo֍:|!eRCLgEJ|9U|}^ t̋2~>b;[?6Kˠ 2mGw@M5dvz kO <>wWZS0,>z40pe% QJjW()H*4EÝ(eOo$X⎦K5tw;CoDl' 4js0~@L6jrrٞ.kY"by9ħԝjh_~fbC:ZᾸ"8 &򑟋?۬P@Q5ɚÄsMQN~[wVjVO!nwd\UHe^U c:x&DlB0 ͻs5\!.kr' 7e'XPbN^oCi] v)n-ਿ)Nxm4[;D=1ؑ='9|>֠]ѣZ;횶^͋IcG)o${rx+#=!ׁڱ?W%<#Ƃ, n Uܾ! $$qF>Hf5sO.ݚBa<7ЫG,Jnc ܼ?*; !*E61f:lvIf% GHdn.>,Z`| c/{A΄[3)KV˩{mhj' 8}fg)^?fD ep