SQLite format 3@ " .K  B  T11Stableisabelle_documentsisabelle_documentsCREATE TABLE "isabelle_documents" ("session_name" TEXT NOT NULL, "name" TEXT NOT NULL, "sources" TEXT, "log_xz" BLOB, "pdf" BLOB, PRIMARY KEY (session_name, name))CW1indexsqlite_autoindex_isabelle_documents_1isabelle_documents--?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  V9~T<< ] HOL-Datatype_Benchmark:threads=6elapsed=540.777cpu=1928.203gc=795.6327zXZִF! 3c]ŗXiɟ7KIxjbk- 783;=ꚞMN@U9:aVH$F5O1Ï;VlF_mEz1mCh!)4ۙ]6Xhem`X\?Lv{\k2;RoO NwV*ϾO'MPo4ipjPEϵiƉJDF^[u E '-!^`\>f@P[tXb6RM@!/^*kT&; HZ;3L3JK@vWl4RTq5t=DƜt+H7Oʗ*W̱DI (<-r![%Z#G^Eq j 1ج~*ϯT`~oQYST^yZʬQ.u9@K(+I ZHza~s'*|HH5,XPz&~J|Ubp/wca8ZbPhydSgc~} 9wi)'HA" +,">y)kA 6ce\γ{Vv:LgW ':dÚb|VPupP@=@# CA3w;14\ț.I_%֘-Ϭ 0P$s8N|Y\\+aiC_el5;cXüN^ż ݏ/'CPC(#ɅܩwLgb,!32 .()vM Wz= wb@h8e DTϠ7EG<`|Ytn9P54dy=ȝ33RaYL4i`*^Qh Z>_fX ,_ x*U:ќ/@'ڝmv0l j&R脤's+#2~Dvoq-S4Co |shvg9&b!k'9c('܍*q1t<(0; ijPn`_ɖBXE`AϹ&u?׾}!b-Ä"ٹBS>O6úǸϞgO]gYZ7zXZִF!  ]ŗXiɟ1)*u%9d`|"y"HqH! Tg9Uu?ۉg(:9CzeFP^۞41pCs:iNgYZ7zXZִF! 0] 9 HOL-Datatype_Benchmark5w9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id514N9G3 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.tex7zXZִF! ?]A-MՋhvG"uIBm5 K(mb.R%zRkSRHv{h"%&n^+sKEFaj Oӧ;W n!K2M\Z`fZE<"DlWĶfJhcxR}N[a] P4fX萾T5ѝc!poo1J-mbEy\1Ek#9k0 uDgSI P4Bߥl`W*0h:gsB ߬jN2ea.C5+,(RmzX1 e)KEi!;6`^ɋz˄Q\* *R>JN63}M ב\괭<֡嵍>(QQbM&r[q*CٗR"FÞ ;@i1B@_ln:FS\W 94ɇDka>c q a'`H'ZXNulZ>a;!zh[r KP7 SμoFG^*Ϫ0c%̘Z3=~/LUWl&/@+-!KDŽ2XI6)hpgE)[w[K Wu[bR;5(& \dqlUtVROM] ?(5b~ 6P \ޮK@ `ԡn 8o'Uat|G->|h(5ƒ%뼀:е <dׄRRsafQq|OI4qHCuѾB6bg'u0'o{F98~+߱dܤo a:e͂l1(͆rWkGCtُ BqIS֚2f?rsb].g9 5z/D>'$Na+֣]+Z8Yݶ"[D.\k6q„?`>^UEqSFqs/ & dZ=S-VK՜g*"l uXw2GV_ o2{{ "MS~<_ґW!/M"^ =ҀBـ1-iJ SVHrۥp<cAHΚiK"e-}Gwasp$% ʦuqH6Q%&ufGP/HbQ9^ cDh]տ pz;炙p@AyC32@Ĺx@/)vVX u$tk#+yHP A:/a߳9MdcZ:߿҃xf96y?'1^iʸN'CoxAa!#%J }QuVB!ay̖MUIq=DUnawqm[j jQ N\6­;}HDEZVJ䵓 xF{z u5^기d_hv+7c34 b D/FF`*Tb>;U0S͖3KE:=&j%,A"rtcSp68Equbm kku=LIzI]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7JG+&ǂC xwfGYzzegIy?Oj?SҦQ h-N,gM]qW$oXsP$fH#mH9~0/%H$o'GMWl2/'vgN.fqP;&įּگ@diˁu DgC'(M$#ܗw %ܠoX:բ =R疹7S&;ɣBgp/C)Oxh1u]2=C\&>Ս Ƀ!A}APb!3#%ǓT5-lFBY@g3[Q'VJ ~KЮKW>E_b1\ p:%/T|~ʱrjIy Mjs;2x]n2\7ݩ6zP ox0{z0;~zHx9f1ƼCk4/S>u-ϒlaa 2ӎUa6C;@lHMLG~x1hM̱?/Pݾ,sq;Nߧ۬ rwBFi>cfDP5G7PK "gu<ӱO,"bs%ib0$ɨ@P`&?P~V9eWYg_z¨;Pxdz^Y 6fst%\MAoC}2"":[mx{wB_xQ#M %JHBĞHƙI? -Ę>%e;XvC؁ȭ]٪'[?f? 7zgM$(~xzxnEL{?\ȗN$|wCFC C.ؘF" 1/VxwS6zBB4_ACϟMJ O· QP7ɇi=p ״!: ^ lBJ$fHS#4ju$;-ٞqmS>Iz/o_FJd V\&~[iL}/Hk!.R_SէmG.4hZuy<z捑;"lB& (̈k/W}8CL sE*O0}i8A^=Y֑ͭRMQ,հ/jfu֒}?^h\ݑM{ nAsMS&3c?ʾ>g i8E |aAϷWW Mm㥏CݦpN∌7x{E"{pPuA51WvS9񢉷5:_( 10-n+螫!*DksO~»XɋQ φT0+WDhlG;`[!ѡ$Ҥx | =%tP[Rd&2h{nsyr>u.W,y0&>2^k&W͢GQ")>o Rؤ$TXQ,# R. p+`y#(R7,]L׾ yH3dWӉCرvm$ʴ4؊4]UQ /3u6f'z80SٙA(9olzڸ$UقwׯuD}L&Pul9UO}RX MdKt,ni>Qp)T bTeE"s$ K?A掊 >& z ~9#|F $ɟԣr8Y!燞 _}A+%AXZɊTt} 6bF/OXGh,|)4Fw|#_wf.\=p_cux}ҞiII4;!ҮcN7j.Uydm@K35UC&ˮfϜ܎LƯ" A:5p UvLmr9#}Zi Zg&a&>{,zr7 b6vd -I&ݦf׵VnqgYћ ]}Mֿ>cQMo>Ss@S%&jP a!_+Kַr2P"cbP$]hTٳ^uIFZ GwQV"v:6r$] }w8UímnQeX g)_FO)W2Q:;o)Y$UzTk΀h f+q VMv/$HבW}^Ӣ1 0UC8=%@w ʑ^ࡡ년cÕb)u##g+)&JN~t0,,Jʼn 6.\jafޑ"0+)ٜK5-cA1Y I lsM,L `݀s4hUO6o{Dn}uy˺p&k,rȢ?\B)\9(G˽9BӛYfH)א`/)H~[`FGd(*6P$DƓIJNTF?a N 2/( $zc~J//F~A+xCI:F[ƌר覡fm_ZPxU!s,]{i+yɸͼlr@f=O ;y}$6BK-kA2FEcb!K> ;u:, .,6B wXc 3:$MFb9 7y9`]̸p!0ЭiitɷM-~%.#^٩W*iq%NB+ciw$1سyUU {z-{3:G=ƒ۪Cz kn&#L.H (~4柲smz{φCHIuv Aޯl>T1.}b6jzF-#!ۥ=7̿726uNp#'}kpz}~2.lHh p l/ڿ=|&E3,PU:.B4JyftBءoH`:6K]ߌ M.)E$$\=o>-;;7mY2=5>l)[6L^ރ &$DCCef{D ,h)<7I,fq}^oq7KE\?~[K=FqVtU;Xr-B,ov9Orv%ygYZ,чF"umoL}A]ưqI敍XrŚ‰%SV`УCށ{LeyVhE3'yF*Cn؏rGsӛ夽:&KF$qmc'H 3"3P*2y* Yj(u+R kZrgArvW5%bk!aUӇP GF{Xܷ$56C'y bF'5h,:nXPĨՕa Q*sܢ-]!/(kH` L[Dv>:[M<[;~#mi/GeW{C\۩a*.raC1ߛS)_WPf ܗXN#<q  Q`Cw0cRgp hEhx,"eᲆN$Gׄўy ʌneH8"_{ƥ={LZ_1Pr{s,g8rSl-M;x&L Ц y=@ #$аr9s/sN'd?QPB.jja*-`ɻFHyzK*@y!utNF!Kh3%Ycyp*Е}K }IϋeTQO%H^ݼ9 flG=8M왧̙}JY,\Yx'h ÅDȌ{?h?IW;"U<@ e)!kÅ4wt'!NUіr@R5T8tQlzد^Eo˝!5XdaF1~vqJXA96jXُ>ڳ^p"U?b?܈GO:DoU|r1~KiEQACVS)t5 m=}L+22]Q%Cp)';+A̼!$z *gƇyXf\GN-f-|8 :OAp'>1`WPEEē݉W5 `q%@Gf<ٲ#)HCG_'q ]M&ݣU;?Fy# ɏ8عW[\?b[7x^NNGU;#?|ҡ@be.[#܉3O͹լy`XČmaw++|]?J.dvqS<# A I>bGGwH߶)߃7m(h࡞Bjq Jv>hBɤqn*_X ({Iy0*LJH'B5+ibkg?[*n6#1 }k2z<9><.oZ, 13C%eƊVuQG-zRA[1v+ybLaw~}0Oށ [@Uh}Go>w]N.5vN3鋀q8aΌ5};M$=jC0uT9? :(u/(`1S>Vb+;ɴ^ܪE Ptw}-[cՍ 0~x&#ϵA{KF%p;G?Qr~CQkCYPavPʢ%A+L^a_HFmjm'"i9u1ٚwEOk>mr}PrcciB])}ģ]ܲY'ȓ!2[Qy frj)+>Ixʲ.e4֖,y *Yԍȥ_^/*Kop O5-V7UrA6: A*i.ݘgTːb쌑- g=@b}Gd7D}ER^2+oV?h<>勱1rȏAg?|ymX.'7UHxjAj#vNLGO!OH1nj#X[BxQSWuc-ӟC8l(n:24`ItEwCkpZ@*"m^R%Kˆմ}*\\>kfԢ $^ܑӉp:Jf&%FFg2VAaIkMy~'?E~ܺ6`r' Tvf(Qt⸡v.g 7 y9 Syq1p4XC'pcN$Pd1ILܒ=}5_|H"H% 7~1Do:'H:vx/.Ë W*gYZ 89}=QR[~5mv %d[MVgpF `D 3:PtYH,]fg´-?Dm(A=iBFĪt/u?))0 t[N#\\T5@sAbdrvˇ/N}zbT$b佷w\ub$rTyؼgyaዥ{fс-r!"|z.6n/Aigsءq?K偏Ͽb@']nEP,3WD/V!2֦} ivXל'eNE.ۈ|YJ85$wٰ{ GE!W8 e[ljkCvx&nbZDjT1VeKeNNwjaRMYw~eR"8[ ia˄%8}*)62f-r7f!{X܀F*t&>3 )=Mj1p.$m;8 ˎ'%ز Ծ\q]k=^1ľ0ⲅ/brKl)J;H<^%o!98WeB7t3leOǾ-|ϟ֦ׄ4x5kD<ijl̠ 7u O=fZP}K)-wkWއ..4! xcZnUH]c踓%R M Mi3SZ.iҎ(rSP h*/g+&ja[N5*L{$$~D&Uphk@s0хo _!8G^o ;6:rR~7C/D%q0tjR<p:M6 ~i' w087[;ϊD`Ж݄qF"GA!\1\:*Kߟ^$E_y>a #6{rion|QUT]o:Ӫd˖j@::nvc|M((+s}fGl&Щ^0iُiu.[^C4Or+Ͽ{fxQt0o5bSYnu~P<(Fpȿ-\< }9KA E|.X wPрz-v1Bߺf0&\UɢO;PZ Ȱ.cRX5&5(hJ_| s cF}֦YwA@io?:!w:(X aDKfifG_מOS;e~D" 8@rȋ1m;#ݱb ^'O6t.S `$+`2/K9 [k{EB6.+P*('`ay>eJLGJDm>Oҧܟu??!.5GJ>E*T?K2p#NjonB9> thDBXVufWLJrOJ I:k_p͏'|{71z %3eNKc<2g]Mݱ|ds%MM8V4'柍ȹAA?N'* `GRWAbO\zB!Ks2"˜_WwֱA8zσݼuUĢ>Dž1=S(x7j[-9Ľ8ځD9#Q&;Vwja>9b)!C봀_0tBp\=C~&'d=2TWi()Cj"wZPFv'aeK9e1Ug vuήt0|0-։f?MF͚g,͹f_u~XId<zV2Y4D@{d#'=,l4mr!M kZ+iRQO-Xz0?7Jd(DD-`sZ9`זPHVb\k:<5I&XyCW[~{lSrw7!#T]UP;BNbR)FCgjSTlI`!x2,9dWO󯚌93d N9 xӥ솱%/k|Ȼustm? SGH9NN- z`b{-q j#e;D M G%0UZcLoΧ|OtMAޘ8Rcؠv1,NM"Ö:ihq5?PL(ة/$t6".H:<Tr,f?VX?ywN8ǎY> ޷rB-"f}6TỘN&+ɓ=֎ e#HpH8!<B‡zk O>*V !sn ⥔e ͉VBLR3#-7j2ROyz A;Z^vcir2gBf9MPM Aq k mk3 Ezma\o@tkB*x'֊F~ug;M 6Z L}ݙz5`ưN0?]@< zw92jW+5\l-e|@ L ;nې*PեQ 9{jah &8Q)yF2.WQBk3w8:U]cDȸG {%S)M%VK̟*Grr;rm= f'C\g7L+?v!> k׸ߨTlfzFhUg [ݾk9:&w@ C3tُS`FXz#:}.3B}Os(#a 2{m6=[ ͂?n{?ݷRg ȊZwZlcJ¦ Vo=!J'4XU7XQDsh,(A|5WUJVpfoګyr.(,0l 5.e~G<ɣ?F_ͶLټ^S`Ilplx>:W=$5>尋[nd,jg[8'M>RT\j5ޖ1QlpPvϠL7LehU* ^/$ْ?!JDЪ\kM3t?W!%iρs<^eYq9WD60cF_%YVVZZ |DiH_Pw!t 7M[k< GIs.*ށv4tr#f`}O\RQDKE0]w\LD&^'WQ{#nW!!e!fڌPLq.F)RD[}Z: |TO[!LLoᄒ:!Y;la=X Q Aq^UƘg4{J* #|F_F )e45# o`a}7b:0tl+ӱ`el2Ceݠ~#c*=£)ё.T'ڢIq\qT錓;#[sV{_U;98sy I .6WiE\ IY)*Rm F -Yf\t7p\q]G&Ym:|TiiٴtH?Lr0QczXDԳʺ~.s>&@T.FlӋZ}t!c&n1jFr.ew'R*.GN#?*4M ,[dL9˝a#qY%4t)mZ/h5Lf(¤>|%?NF: GPlQ?5Xn-kFOPH)W<> :`z@:).dYENyuF;Kvv(<;'GLb[45ۄ$4#ȕ 4"V:a)?.FOzb<+3Ntv9'dNΝQ~Rٓ 6"4,j\3떼l dYv_ɧ>M5IGdz4r5~ XzS^q1(jf% ,, Y8b m:s* =K&YlRQzރ%+cɊux-8\bJYkM]@bi(6κop>dD%jgW H0pCq*/ W'X]@HDXRpNϳxwLmUml@h= ߐL.m#@Hڭ KuO݆bq6OFU㘓_}Vx;_vŰs[m쑞gI!QmN~`^h)){:B7ߊ"+/k/C hnab4Zm21َiq-if>0_TB12[ǡᖦ8UW' QA*= &ك"8v*޿JH_Ytdfx;:x)6gNE5V8c˘ ,/k3.^_Ϸ܀Oeh tr{4s+N8M^p.t}ͷ]uJ;IUMϐ=|'S^uR;'(#z?łRIƐSxhI'_Iϴ5ee}mMG?)p]h#wuLf]Ywo2502a_HFH!5ZysFo]ˏAa=9R<`N>g>%nQj/BjXA/d У|N=0zhjnBນ )Lw Iq/E#APQŻYծIW__+I(`-vY GβK3F$Etp2ΤG f6Cc⑴]ZSD-kU^:MUH;$4n_zߵf^a}7(Ql8qOxy\gN MiWlϯOjMJK,X1(%IP;ƭԧT8ï^X e{`^7vсA5IM9 qeo=S[w&j>Jtӕ4lsP 3\3R޿7N^EX gr3|6a*?';xdF(A'%{r81H[ǩR;7D{!P3N.Ё[lQ4k\#`-I*8lw4@= Ocb|d1oLhU ri]ㅠضD nr#R|:X7fREA"$P5 K:s8+SqLJS!_8P4ןܢt 㪮 5(\̎׻LWɄ륺cӜ9zb EtSm CczWܔ^s` lf؈mH6CXd0_ր R D΀"=ߍ Hl>.u+eJ=2㓾dcd]!{+Z~mː|uD=?€l6#B*qӷ˵޴˵7/JW8_@ưxDޝ ![i(t;12f^C`։ш^~?en+CVxyYN׿j,Ey[]CdP(@,Ձ"M8O0Q6.Qw!JAbXʏ.3S'9B] eZ>bqZӄS`',%4'h/M~5#(Cn)WvU /n''(\/*2|f#r<cRuʘrهZ6ȁD{M~>L pJF%\Ms(36.'M_LO:G26\%.ij@Jc} kBLzjk2իr8HM˅hFp ȉN șOjgQQJ 6*~"h%˻zZ ^BN\_}aꙑe?RJ͒P7ɏ050A/r}xn@*]TޓA r9G1o װK?ɹD@թ"X~s+* M6_k)Jjh'8@My^6{ёc>]4gJ_qA0m^"3|׿x="29 d"h\9WGPAalVLSAW(,CG~ 1ھplc" 8+&jc6xv_bvR:q^Pԇ 'wmrmm?_؏uŽh~d)bsɬ?U`#RfkNzlB'AmDfA4@#Mo]E:po<'k,1:GlvO[BVR B,g>VJhaO(sER3fcꄨƯN=^_D6aG2LLaWd>="d ΍sDT|{i7|ƥOrY[v|3l^GMCb.1eEif_6뷰[y>Z 8T,LGkx)}}KD!l0nɍEN§/N؋7.hsM1>Jwߚ`DŘ}WE`5h3$U}|sh.ڋ)?6zN/4x^\*'+.k> xp >dQ0s#elnz&jŴk' Op+H)˹\9tvoz% ل9]k.A :dhLOXxb>rD nPH ENt[Y"&x629O rzɰ,If5O~ܶVpNVnQTb:2Y,iF#X7;{Ao 8AP7/~foEq[\F=ԃB>7"$,:> }Z#nٶ( V'(s.B&^Ⱥ)g2q$o펮E4\2{S]M*ZCcEqnpH@s͚یCYNpN?OfY?8 >lk:pfi fT9=l$>S._;ZxjCvŋ!J8 I沰 `/ -d>aA=a8}uK"TpsA5mHtEn:]Ny3 EIFˁblFp5?dS8XLظQ)d=>OW_^gxV%Viടi8U&_mA+jv?)nu}oBtl Oࢮ9͉[Fcʳ47HӮ1 IW#\-`ǜz e/C{)+[De,*?Nѽ)H=R2cB.څWO[|C1Rs"JbiX><EmWlC`tC&@ޏkqp'hmS%ܟ6iP2˖snfVobjdG_ ^k!퀺}ܲI]0j?fxj~I%\-n@8zQ廽ؑ#-lV@ԣN~$ꮏ=8jl0K3°3Fcc"Cd ֐)!g"2P-`kSF'xLeuu u3u7A=IxYw\z#/ldz5 ݗj~{ f[IqQ-X)~+]MHXG`g?Tm`_ky@8L꼰z=/#b#ǡog| $7ꛛcYM_5cCy] EI!7ϳ7auKE t㴁W<-HjJop6$XڇSMT[YUX7ơPR;*6?w,&>S0L.s߱ s^5g"p*c*›N! υ||#ОP4UNl(zw5jȯBOtR# PwtdAwmk/74ʄaH!6)(UXk;5ƚƺf x2̑x̹2c!p=?aF/p1a8ƍ$ ;9#2̒۠ҹ,m6l>BJVw$đT1M \. ^a@-;PbUv%3E_oBs; < ~Unlj6ȣ-'7l"/"$Oo4Ą >AorI >>0jPC3ɺ7m?vrrƀٳ/10r{MG)|~8"DWe,Xeug4$>RϠI׫=ZS;Iqis^X0TFR+u1yJwyJSc~mMz>iL h_SPD7OȗAM:9q[FQLzkdtC ^oT;;A:yv|uRqω V":xCmWD )}G+hFO)qGiwQ Ӱ;@zpu:-Vp5,¶H:/6C!AQH"(.8/uR١t(Qcv¡c~xSF2[\QxS5:HS1*Ehn#*xuz~\oL_+7w(`*ه ")wN}gҊ˲88fu-}g FԬ{ -ެYS5?{#^<ˋFP7$Ky+3 |S7G\Z21-5|ɼߔ5{]0^[CO,wHYȒfƁ Ǔ)WMڧ݁֊ŀ$A| }k*qUثY;isb+~|"֑ zfC&z 偪@QZ{)Etw۪VIFT(֙nPiFi$s  8Pr>=rڷՅQ]&UD4{ r*rX}u mVRv}QqIw_a%$=U2U>EEnP({81m6mje @Tay.Q^ Tݵ _fhL2u%uh~oIy6B3:Z< I&i-p=y(w.a5A`k>/I,q,?gݝu̫1>>/RbwcHq)PBğCR [fW_H~{O|\$':Dik/ɹ<ܵ8\7N۳*+7k1.vbYSjN-_˂rǍhZi+a/W^\M:z}xΌ!O6Ɗ`<,Ua*4^?ot@]Ā0t[#n _LsO'd5䶅0wbimtٷQeZ)ABZqw*)ҲO.~Hn T|)KzVn='=|ns' % =gjl?}4H}[@fyBnuGυkryD>ykq,Zlx֪[MSWnM$IA ,Q |0^p:OLP}s}i] P3uݘ/dƳdWaKcjpԙޮ|;PO‚Ʋ D5oϵd'I[#k]VV\tKur'BUWbyZtf;t.6.^NJ>u@!2,Y6kC`2tT8&|C^I=Tf3Q #WI]1OjGmc]5ۖ eXJĞW1UqaUSBe˭_NyJɇY$ɂkw@~mVvԛ n?MH)O形Q@^dO(7ns (%iAtodKF c( yssOn#&h"}@_PS[iGPZA ]B{QR`WKy-tWiF[ gRFq:8 pGY+ ʅ~59͖Ikd=TfN*'S&Kۮsjed@/M_Q_É@L"lz9=6<Րc{sLq[%cƎ@qwJ,.iق/~F5Gsʃc7s{  t&*RBQ&MO*VJ5td s XCǕ<ծGތ%I`=C%qmKԘQ.M`BŪ ܽz]Ȝ"st&̥YT_͢#Lx[ΆܲsB'< ƚ][BBTV0>Do)!-8[忦Wj9 +TT$HuxR5fx~I9%֜ $ٰVV]PB ~Yc pt4jSƛaK LmȪ }[AZjWN2%/0'U!s\uNr+J`̖N{ϹTgW~v#=%ozW-Oxz(l/Ay>Q+xI/&J].e;Ŕ떤ù љt {"]i>栗 FGNn\)]VjhZ|Tbb^XļISY<'B TۿnT+v3f6rl1w)*)1uɀmKr.li0>S>ג$b{Hhf_cnM{AKy`u::Mcҕ羷sqr XK-d ܐ-qvlkҪH$[3OeWL@hlߵV z $dvQ[M=f:DSHk+1>ŽXQ_ ı-7doJbYVS {:¶pG,Ə)n\zm*y^ Փ}|E3@!E1e}^ MPI>4?z-dx; ⿕[l_)8L7]yʣlۄ+D̰paŚ@I,N䌠YPBb&p?ϡYvd19-,qJ`ج[Jޥ;2c<ͨ?&Ƕ 7 XLѹQlfmj뉊4ڄr)''‘ P,+nɡ=G|Y.kWaǕ /Lƒ3{ֽvǯ9yJDļY!JiP 'G,ԍE}5 vXO~r0JrY`[)Y,~ cnwH!G#5dZsp/쟯RRЦԋÜ[Cyn3G]  @h&,?=m*aPCZ0دLo2ql>/ H(e|AET z?]s#L= JAo$Fyvё0 uDsǚHV? #K9#Ln((7 Kx 2\6G;W v;e`ɋf*;su|3GPF6PJ OB,ŕn9gΟRy*|||yBԓOcDCO))ag)R~SxD.V0r%ٜCY!T`PWhMRyp++.aƅ m8m^iByLUTvmJV5%&kW7#ܙ Q0 }hD;>);-TT`t5751qs+(GX*Wz~@)RF\Wu:+ϑ|;Q tYk"Ql|Qie/z/Ƹ#}j헦)׈ `=\x¯P-,<`ߋ<|R͕/h|q 45ag=q[YWo8x0Ŗ7zJPvwBJcx%5ڈGR Ě4mw_7Xy=>`_n=qcT|9ꙑ!!{v?γ`?#[O />$ILlY^UNw&R./H&Ez9e%!3vPp\ EaNK`C1+:4N"#v+4;ñU_·OP:rt~5FŀTeTFMQϴ)G lC6Kqo])WߤahK|=5ScM4eX|ϣ 4~`(R(Ģ1u 0cR<ʗ8uuro4[Kr%pyM2$L gE8]Gf"ttb3鎌gTao2B}#pn\|׾D`3?ĿӤeeڭ'Sx?쑹X==M;z 4mfI_v1y ۂ3Dr/SE&hݴ9b6(rElYKhP,tjp&ψq2NЀ:U!,%% (f;Uq*/l(.*x{S֋B`l 94qTwG18 ఝA_5yy>*U-?V `-0Ɲ846j ] K~}DEa2K'i祖BcSt?y)jk;tHΞj0玧7֔3cZ Zݯw,f=va=[^+@i̦ﴕ/$9HD43OOυ@,V( VR)֭,tg|`/t]EOckOa<f ·Ji2gTy"%v0u.w}ػY##M R7Ui}qK&MѩHU'fId5\|>Ϲ=ǒ8G r((Z(IW&ݫ!w::\Ϥr| ~ 񔳋X`аͲ\/ʥ|ī͖a b]0*OU 1cq\ҸF!)Ën\>hN^#db5 ' w8yjQ霂-x⼀;)sfbg2IwnqNE2?A}DaLt$kx-rM赐_)Ɠ%uRaQbJk )eU!;^0ǀo5F:@́gZ uWZc8 H'8%t~>măY`'u7k@dd'a4ߙSIDcdPR}#Wu󃔪d&U.n9ܖX?@HZfsZmxbSsry 07Otuqkp~}8M˓qhrhM??]2 mXڨM^`64kjzZ8༆SBɐăF|!OqNJ)/~1غz鮛<mXjvGT@W@+E͸ȥՈQ-wT BܩL{}c|+0y̡PN4S,j^P:6[DgG1g t(c1J3N\;]ݯk6[A5`qh=r=HHYƉ#CQ;rabdb‹ ZL, wί2J PZK壁8)&k%E,&;4n;f@:g0 i4R{J)#^EKoT7ua?ʻ28Bgh"K Ne LA&a̸gS"-Xu}o-6/*(G<$+7JUĎTGF{g~x|/_J{! 4W}#E,w,!NAߕK R̈́@56. HY23TB :UX^&z N bSN\YW6FMEPx2'r |Ytώ_k ./듢>/5pE~"$`zEj˰fZDffS+$xbV#Ci>:s-H2dv ɰ|eh(gK"Pwe$t !<ˑ>Ը1rԝ=*s{_f+CUz781^WHzUmXZ8Ww!9nc7->z7qZ8‼=No> n.V;rH1a37c\;cZvEyg}@dvke9b|# GԷ͢=.@>14s B3'ӡ #G%sE+[jEE+H-^.G+xOn]ԇ%1=]2cQw(%v_j Z_})`=~G*8*"E26WVX q= 4[ÈPC LGSR7 cgF_ pRG-Z> "LH\ЪͶ-i0}NX^|8|%EaWPic~蛁:#AgcQFgYC.N!4B"cea,'y:3/Pd^}g,, F]R >rw- fW;`6#x, yYf;],ĸz +i/sD蚡< 2jVEc A( 5#^Z& 9#o𯖷qnN{Pkm-=0 +h[^ȝѰ_)'u*ә/X W0;3[ҽ|jn tOF#ؙ>c.Ġ̙V B@x>42"jEYDamDcٚ>N)ˠIE`cRB~f LmI,N!K0-'L^k Ub<[lam]QxtZCx[y{)B$e>#R7C$8&/wµi.@FRUK0t΃nk>FB⃮7S?!y<ig{x iSXVu4% y,@(3^ /*סRve0F $`Ǣ!xlmuUiEcd:7eǯ[doĀ$FH$J g<= WǚHj&wzSV]!>1ڋ' 0] gmYRطvzsA9ŔtPhʼnBcrL; HJ ΛcQ̀iq2B-|f%q:ӑ^j <=7N֏C):%mR?%*co(Pn>6e(@rh::SQnT8]a>Ϥ:!0=0܎>P!b%XEjuraDZO\?UI֑ fxPH4^"++8LS* kkizρm'$n8 jzmjel|0`1MΎ$'C\r.uB+++:f @2s4E@^Tm-<U{8>K8td5*V |-] Ή @k<)sW]6Su~ NWz ;Y?ߔB8aȉQɟq6=2xȇSʋ ֽ!z+/o6ۯeSh J5>1}B*5N'F$-3VBT@7ܗ@58%AYҬ+]ئên6 NrϤ9Ow^f:9On1%*DKiXZ_|0MĥTg:0SÄ,2lΆlQZ@/]m^7;R><8(ȤVA|Ytj$=*CZxgv_2_A6@K r*tSE׃Θ>PSE3-]qn}o H*<*Ϲ&ۙ%ݖV0,RR$pzkή]B_23Μg;7!{C pYL(V -ѡ G{}EK,D䀉cq1,r?pX Y ),Q8(zwUD6Dy ?͵w=h ;n}xdR| (l #c%-G7Z/|6U/yLKʙ5cv +NM,uC8wS e9 Ql`ȉ0@9ɇ?'Ap C7GWtNڦYf.-uD݅&_oŮsk0`~mKx>;/ 4xPU">n16R(4aƣ̦,M\XpRf F>k/58G4bCdxKsPR*tgA+!sJp9yY4"<ݐ~$tb:Rƽ5X2<@䄗ada/Rsܓ!Tp+;.> bVBrG1E/EđNƗU0e p~E7YSQzlZQ:͐o!f7nF&D*:A:gR6kaEaFrat֏Ȱ 1V͐5@pq~Νqk&Nq}Gx I:&J +q`o?fCq-@[ Ԩ_oK6 aTBi=ёe!+2Z .(K ,_m A G%ӗNH/]ɓ&ɾ"':rn+lc ]k;Q_VNC Ŏ >IlߢP}J\m١KRI{̴o{<%A/cSTB6zBHC4g$ǗqVD~FaT[u lw|h&XM]M9R!\6%BH%˺YWn%[ɍGq]^n55d}N"(mS݀9|X8Zf3u81; &̾jXmS  ?(/2EO.l.%+Y}\3+ _)3g8Ҽiz6Aӧp@uH*Rl=p<3 ZFs Zk.l Q@) E! H2}/9괎,-|O l);Sq* VvѰ3UǎA|0~iˋ-`Zq8+zSj(ΌQN}-* %s/h*E{_0N1@I" ys6ms;jTPEn?'%<kYLؼ f IF8e`]#OFu]=[vXZa`\8(:"0p9 7ND1qGFG^)b_ ۭT2'\ٶDsEs:fUxLx|0p]y\$v,}2BVBR#MI@E("e+>TJ,b%֐x$}Y a@% i؎˩cB$ قq_nlHR*z+X*|S@sRQ}%ur)o:-i LP.7>үWK LJ$\Ok$k-@6ULJ;(=]A 4gN$ :)ihoHtb!vΠꇯSJ~){9l# Y*X\-1Iaſߢ!y`*I32EqeL?p%BLETI2nOƄxs*Ũ !]NߗxX^2Ddj!-JysȸњsqX*'wܩNȧMQE_UpHCV 5pVTmUQpv{[W;I:u#u9F2;y9i=%1:$ JE3G~?4 8,S뽿~bMKDd57wD,̝B_B7'V>7{72Y4>$$aָNҢTtEjiٍ%}E2W} TB2~N\!uEMP˾ %ۗ7|@\ËD JpڮY !_Z{WEȌUުYddԳzwAqm>%m4Ƙg }@ ҢEAiygۅpJD]KE47,L"oeNRذU`ґ b{Rpô|1'59L%Y'ڞ\ST+FMdK dcMU3/MGGpw}ȓK~v 1Yo₞{csZ7_bp=)SjGBshux9ta;gl+a.O72(+kP#7I Fq+[@ >Ґ npkD,=C﹡`_"9DfO}8d<'횃>nwaп7̚Åd/B#OBDDnXW*YJ̨?w!K~ o$I9筦`Mkg4vi˴MrWxVw`˜d96$g7A`_g ͘#Od)ƌxNZc5SW3sysGV3A:N;OČZ3&ixAZRtx:Lv'}4@=}&P"Q Hx|m Yy#i7Uu)$j|o(`n] Bu%f6/viIۛ+X+r24']kטT&(ϴA+PR%Pa%{y=f_StL3n,.c&~< Ƨ=髏{n+ZRu urRzH5i-ez7fBE9FX; ιV E 5?ղh9G@]2͊x΂f{ \XDTjŸ @ەR:/ܶZ$X~.(B *2=0U@uc!n&(^',YކiigkHITls=jc#FRD*Vv.w ս.ry-q[--] ͩbSQU׿Aߺ7t4V} 7KKE T7Aq]zK2gYZ 5 -5w9K!nHOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/files~~/src/Benchmarks/Datatype_Benchmark/Misc_N2M.thyO9K-HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.Misc_N2MPIDE/document_id514N9G3 HOL-Datatype_BenchmarkHOL-Datatype_Benchmark.IsaFoRdocument/IsaFoR.tex7zXZִF! ?]A-MՋhvG"uIBm5 K(mb.R%zRkSRHv{h"%&n^+sKEFaj Oӧ;W n!K2M\Z`fZE<"DlWĶfJhcxR}N[a] P4fX萾T5ѝc!poo1J-mbEy\1Ek#9k0 uDgSI P4Bߥl`W*0h:gsB ߬jN2ea.C5+,(RmzX1 e)KEi!;6`^ɋz˄Q\* *R>JN63}M ב\괭<֡嵍>(QQbM&r[q*CٗR"FÞ ;@i1B@_ln:FS\W 94ɇDka>c q a'`H'ZXNulZ>a;!zh[r KP7 SμoFG^*Ϫ0c%̘Z3=~/LUWl&/@+-!KDŽ2XI6)hpgE)[w[K Wu[bR;5(& \dqlUtVROM] ?(5b~ 6P \ޮK@ `ԡn 8o'Uat|G->|h(5ƒ%뼀:е <dׄRRsafQq|OI4qHCuѾB6bg'u0'o{F98~+߱dܤo a:e͂l1(͆rWkGCtُ BqIS֚2f?rsb].g9 5z/D>'$Na+֣]+Z8Yݶ"[D.\k6q„?`>^UEqSFqs/ & dZ=S-VK՜g*"l uXw2GV_ o2{{ "MS~<_ґW!/M"^ =ҀBـ1-iJ SVHrۥp<cAHΚiK"e-}Gwasp$% ʦuqH6Q%&ufGP/HbQ9^ cDh]տ pz;炙p@AyC32@Ĺx@/)vVX u$tk#+yHP A:/a߳9MdcZ:߿҃xf96y?'1^iʸN'CoxAa!#%J }QuVB!ay̖MUIq=DUnawqm[j jQ N\6­;}HDEZVJ䵓 xF{z u5^기d_hv+7c34 b D/FF`*Tb>;U0S͖3KE:=&j%,A"rtcSp68Equbm kku=LIzI]A-MՋhvG"uIBm5J~{U?9!АB-.QB-v*Qov.@5HɣsN")_G{>.TNQ9G^ HV4*󙸍@N6r3yndZbZcFƘ*`vn#X7JG+&ǂC xwfGYzzegIy?Oj?SҦQ h-N,gM]qW$oXsP$fH#mH9~0/%H$o'GMWl2/'vgN.fqP;&įּگ@diˁu DgC'(M$#ܗw %ܠoX:բ =R疹7S&;ɣBgp/C)Oxh1u]2=C\&>Ս Ƀ!A}APb!3#%ǓT5-lFBY@g3[Q'VJ ~KЮKW>E_b1\ p:%/T|~ʱrjIy Mjs;2x]n2\7ݩ6zP ox0{z0;~+}{Jnܗ"7ʲ8>V\C}hrhreS11ib̾,^e2dba܅G068TtǜX  ).Ƃ(cx=EqYΓJ46q>yq}ѠQ|`)Pw r|k`;jS-`O}l( '$d8%܏Knاi$zr $lb8VCWd.Ŵ}k {2VjivBA?>K:@;|>?! lo`=Mf8 4|t9o؟5A'P`s⼂&Adߎl̬@ v~SBAWw5 .<,Jx{c |;3$x[Ynp }#C= G# i1;*W/RȰRtT4Ԯf%9Qcuư/-?}ub7/3Os'!ĵ5)[ʹ(1f+r@6POSNY؆PY# $ɀB4>=REjܙscG90_/%OE{l8Z{ͽ[$sA ^gKfzjok"}RZ-2bm1>/J_?Vgae2/ WO R]ځXtzf`(d n*梚[\kZJk4*m rLJ,7rujb["/HKĩ`3EC惃~\e RG[~*S龧 R;e1+Z1~R`SlJ9hntseLoly9~0ml,}E R^-ԠsJ X sWQ{uhHwZ4]W0ՂSmjY8aaa&D}p NjdC,תPѢo}Y13SЭ(镜r_{sEP*.hH~.Cb_lig:ծr<.˜$r(>ıޤu0NJ;6S6#ԈeS[l&HCzeU ̒ 1gʩ簷>N "93F}B7g~TTeklG@.* J4ǽg;qǽQ!À,}hP 4NE[ ,*]e@q!^T7/rb~fN4;O;\B0U$b?"aqcٸ;J"H.)Dv߂[Q,X1ɀ3(Y~n<4ҳ|t|Qo(7N+vy/st `Ի+2Eޯom (ɕԕ~2~6@@׳>jr O@Y?F~ϗ L3j_bŀ:n S ̽|?0&{Tg^MamǶyT2Y1Z4 )Z2nΔKcZ|]h:i~'>m)~BY"[:2#g{F,l@`$Ә)=5+~$afj`nt컌pƁ!LONHuckaiD4OZ{ΌE̶'3 t.KAs5FA;VcN-\uOQF?@g3vMo_Y1R6nM@`Tѐi:>or]D̍c䝫rJ #OHW!Y8=dF#8O1Ek5zMKH߈v5o8O ?p*M`s;ୌģN'\I3x iW` x[ę%9_镟VZL/NJNA<("2Jey?*l3[6|F%,?\bgLq߫Y+}{Jnܗ'$89(}UCǓkQ^9MZIkMB>x=RLW1 l[@u.]o55TwojFFcFPMl uUYTzۨB xAx{SUk=H RC!N ~TѢ}=gJl.#lC}y{y;xe{M,q*b8sz --tDN;cq>n6EG(Bڠ\O `;|Ύ{4$a*1lg`]7_R)։ix/v ͠uR\OfPB `+aoay꓎fQqgWpXR_m30aJva{XڡiБﷀV% ( ۪(&8<z1vnuޅ[퀘YM0iw!#}c+zK.Wcyk% ߚO*Cx91A_Ր:;ȗԓ])욝̤񒬇͟dI@$i]nPqH7PyI7&wB"}:d9N9[(9Z:Ęsk+Mptz~=ZHӱՔ B g]m}͋`M$)t-shc(KIOA;]evGy-(#)YQbZQ1=Y/"hp#}RȃrbY~x1p7&IEQLeH+4!׊jJ.\!JEm} g?9>U%1Jh/^fYd=݊sLy"rDj=UaxT}*7={foҬ) GnS^Arv^B[lcѼu}{w\+0jӠ sf)2n0W5oU_:141pՃu-Άm&(Q*ZWUޕ?'b!k NحTN\TVq_E0%`)r>t1ziLo!FjD8x" 3 Ed+b[pd߳7"wx=Ng_E"4I8_-#9ty{DR+c׸!蝒&PEXq#xtN}IO|+k?mqz]HnOldK-F&H2T Cρٹ=oAGq jW_8#AyW6L~6 qo@Y Pw 4D8Vo (8H2.x8<=R=ݫ(fP<oQ6uGBbzo.6>zHﮡi# ,0(r҃ 7 ۪&3΍p_ XeDȔej f 9#+STP)D%{ӴFG9בjEB^7-cX/KuM.ĝ4HGbWn@d5Z8=ZJ B^>'G&wW]akნfE&Aַ qYZP[Uj%Y1R`7𖬳0†h3{7(;(9s}5Kh937utrwsrMGnPLE#T5"g(i|g9F đ֨_awfU;P&8 )i oK1ҏzKRR&ޠz8gnwL,21V 'd̤mˢ$͋Y̙'":m#]N8|A;I"bfԚxyI}/-(/U'J,sBܺ07mi>ea>pwfetT%Ldw(Dx5e_*K[V(K*6GbѻQrdʖH*wܠEă]QoD UVqASRhݲ^6rvJ cGe-vrPSS6Aޙ,@DFj@$D.+[pw+8 @R$qZRجA Roxb[.Bq亷͸3 ߼bTiD0Y{}UrO+%|u nbCd'u,[2ﯚ?kvl5w:̧6h LفƂOjZ{2dqΝQid|I !TS%0dsĚ8^9wPekԙ7-QK\."&fʀ΁K+Y[fş. ?umqk3B@2Y>L4w lUqvoT S:P5֛PDSX}}G<2Cib)t"!`Yv~1.Qa*#ͪ?Ԍñ"CCNLdt~ZSsovF'L9^ K\g[)E*G R3|垰Mfg"S[=Z_Q֏l/!=ʠazح#<%Gz^B~YkWHK;WuhT0IMcZJuHt5wƎM(# >&تRsjZd룍1I̋*7>otE!9tWOFs%[| `[tM8)Qjlv ?^}áAf"=k\)X\T i3L~F{}xƵr̋neڹ% 뛇i#!e燜$Z/B/y9@gpRlY>?so|UCyۃ"t L_bM o7f,Q`R=Hk*j~2G<3oJOKfi~G{A3Y .]| cAf~4J2.|[=oiG4 u͌ZCvNl}"RYÏ ;Qx*3E'y9ٞ pUA%F`Z* s]Ld,vdHPȓ@Eƹ&7HJ)>|ezj㉗B;d8ѠvR!ǾB%2{gH]n@>H H8ZC k6s 5jx2◣{¬ @3T+Sk$(?@8McTp޹s`-EjNJ] d\'~m͈poKSkBQIG0Af{|K3n}фeOCZ0@<+WI :'c+O]xl͑FZ,wz[qglpS,( RMUZGt&gc=QJ,C4Нw3Y++ 2c0#o Ӡ&&U_~.3wgOg5uhD}rU̷WwG `UҾh $ IgYZV4F>l1fmG+@>LbeyexS.K_F^9ETpMklG8~yBR Z2FVy߄ }cojQecO+,`AfRڭaMsk c1pv&rB2u /{aߟjAJ}DׅN7lҹQDASb] حU:V1JqX׾3?4PC2jҏ2/G@S,Bzofc+B,'dސdUׄi 0c弭gK6ElK"$;+|Eu=!-OzMn0>ʦnԄiIh#gq1|ѿ2k+9t&y~d)% &-!^[W䷙gp>*F%?J U:][fO̾) <~?_Un_#C{OJ5wlvs$ 407f̄(|xBMV8݊şں9,/oTwv:!6Lzae9t&m_Aq 9X*NirP=޹oˠH6R..46n)Q7$D[9R2<ݫPdyஃۖAG[֌L9ܾ;EcB<½jD GaJ?za(4 Z=3EC "̈@%LyhfZ@? C<6pV cN &zr+muvh' ֈ3vb,ƦNJ}1=<׮L{ OG*?D7 4gw%CS%}1ǃ@a&2T* $1 x5@ux=)l G`Ӕ}Cdd)C EQf@dPfՁ|8&x^Se(=uafh%qkhj>Ft3`]*o@F+,p?@S/ H;MnU |߄o@ϑ yپUYQ4hb~Ok{˜eu_G]h@?5j Mŏ дZ 8 &QfiDaHb8<ک *m֎\}˩0|#^cM{%H .-pEJm~ߥ̦)rKPS.o {7RtxKr}?+7l+܊I!Iܘ] ާqva NK8UhȈ|'џ 7}MZ&b:2^HZɇ' &Ofp, ds`LyGЩa{'ºӛeh PĭK)1aL VJ`O: dWt'('@F3}o+-x!Bv:8%G%?EoN!eEZW̅E3LgiϪy>] (ߋC5.Kxb DŽImW>e uSP>g[yB!kT"' Y% 6N.`G\)=8ʳiV"pKq mMUh  F$I_?$ħ̾[9 J;G 1vrܵނαz$m8䦡쉭!SOE?V(gqX8]& ,j ~*6X*N ǹR?@`-f.6[TiDVsaoὈ<]ߗ.PL704wR1 FtB2١s3<>*Z U|jъoh$e|ϧg3ޖ('P%MxqAE7,|6l }T ~Wߧ4}q**Q֣Ha#L'u%TQLO.>BNȓe] ލ!‹f F+E4Z]\_zUϕ( 3+8{oۛWV֙ FMaʯAP˭K6]rp~6XTxsB'u$3ʍE&R+F8|wd8Ǽyʏ)D_d]3Q><:C40rz'PNܷo:uu9n">o>Lf[cUe6c@h ΂XjL_9?~Z{?VkrCȒbDp::̍ΊC~ olξjB(TB&R𻸬ܖ~er_<ؚQ&Nj/ QOmtbC莺,ߧzk^]1h0|B:]XM@K1pk5phpo+|yӚAamYB:9]6ۡ,xcž2V{=£COH%H=36Qwυft~_YIU&xYŇ1Gbd\^*6e{io9C,P:鹆ͱ3Ex%]G^A^"7c6_0VM6eE ~l13, ,.fѰɁ`+8d*nUlQ9e+&A*P]G_&NWX[VP3K96#*LO 8$mU;J.,2k2 օYUwE)#o_c!34 #Z2Nk|5QH{ n)݌۴8wNs`zَϖ>xg8ۗ~Cƹ}=0+OI^ @y O-A* p/{ґ^M )jm\<U5n|K|`J4}|BeSx,ŶH*"JVl=i%QA4U{x3n\y[)~0DR5bP#.>q?a8 䛏DC^گ xYKy1WϿ.TE.)2JCecdB5y6@T8ł<j_?ӄ@>MIVSڇo#5I}‡A1J_ؓ]p*7CD,iHcm IX\KtRMv%1S!)̩|L5/ֵ1GZQ.՝JKpFVfP|x|ܴ/S?esR0AQW*_TJkMTmGoGɌ!'zũ# JZ'qz_a!T]!"BZMGHi͜|S#-FMm3H>z ؈\J2)$S]p3S4flB_B6Cj Xlx|gQOª!~yΚzVSt-Ņfr͍msK @*\$u^UrUOz jtU̖%77KRs֠pأRK`eW Gs`D'mOnD_JT;Ks+_/J{e8q0H~ZPR >}&2͡Rˆt![_7ێp9e, lRqH'ذ[?UX)]X#I`"Rh /l^Se᚛]hy]Mt) uYT׸:Ub;]O2O9#\NH;P1~-E8ROϓ)@V;bMn\1K\O2 NpRA)E峕9LD:Rnݓ硟uQ /k}AO ly-5;Zu\fch3"۵- P'KZ]2IV6ػhWas usp>jΏdBP b{RbmO a,_!ߎ!!~Bd:z*(hsM7.Yn`K`J1"f #[dK]v9dJ>2,o՜&y.!gN༏{>vVF,m5Nr4t~c=SFOːnO` PIKFic}߯$ljM61#MT\b>ȚYzn$22RMuAr$;B3F5/7ұӎM-Zw= hC/>}V=9@5\?ߤrydyNޮkSR疑=78) m%k AGA{];4Z3 w{D)jp nZ0ц\H Q*Oݕe~}k =E rV^*+V:[@*.y~sϨ"aװ Miu6jx"ԆYM|In"2?9pqHbohF8j`N^Ӹ5>4;nʗ{ |L{10>G:RKa!5 aj&p4N5Z3l+ 4>5YV 㳡K DJCٺE+,  1"l+B'1jȧ\E0&.H,t툍Ρ?&|u7&Ku">*?mă5({,aD![a!e5ʹ&6<8٠1c?nsBoTg*MhLj!ÆfV 1d q k ( mPZVX\36갳m;^BUU=u#&f>blf ŵ项(1x9pAOII 1אQ[4b6ÐW;GxKj p0zUS2q >B niTj7n̊<ٸ3_Fpޖ@J!k8%6[O>M4Oԣv6.5=ny-2Ϣq[Yƃ v>B@cpW M gLp|\PM3X1J[}+xxt^{ 4DV˄ҚpCgpJtGk.y5pi2dAU/mhJC1g]GnQݖFz&LV?DA֣%i˃R ϗMJ5f_|0OVd2Ig 0Uc7Jo>ev`&g7#KENq> 윛7]cJ}~ R|pC=ҹϰ nAΆI3-nR j." `ʭR)i8;?-@CD܂Fn[Μ̖u mD-99Y =w)ވ4eŒ"<*^+[a0 M=lgI8WUCxߖrUR&[\= fz9`gl]*QbX# keOF\;LV WȂ% 9*xpeʒu3tz_2=PX &WOr_H [().t@Bt/?_f-$JNyRDzgGgbTK˾"W7}D%nd+Z0fP&%ASH?X}M/4 Tg. `䆽m>i:bՐW'ǞyҚ};χwjS+ (73e.S]C P ԒmIj~ҥO:>bYoh!TfcsZ%ʻb nX ~ w-G3Bv ׍P>ik2 (εl.m62條A_ q`k#Tlwƶ] dP׊3lw$ 0#;؈WOCSnx f'xj{ iFhDGޒk;c5avMBl :*&sL &abx ,c I?6} bw@}tԆYW'iLoQ$8W.9>2d'C)!0)6vRAt { 5b[24l4ٰ/mLD#&k=$b**#W!j @|]w O2n0gN.Qtn(8RC 6$jg)@^8;a˙:+ ѷZ=m-:dm/ jqCNe4 &+v}b2 ; A] |?H(7u})iJn(yR@|cnG@vz8,7u5m7fŖ-}UVp3%)} ]xIM{ymo$^I\'$ؘ3rVk^?lۂ=9"y)!R[w< L"]֫c^8“i/N+A&E@C$`4 %^dɫxKwŘa> O3*ETI*"Z"c SN*,SwXffjN@@-&t( (?{&( }FpskaeE~՘hwДkZLjb:{oyR|cz>kh1SQ,;&̙C^)6TwH^R?%Gt2{gؚ<|%qR/G@ :ӄ]\zab 2Ė Es-@"x, ߰&yI">Bc Hs>eplpMPZAP[\._J;C}u= ǿ;gIcb,1Uu^A ^/AsEwh)Z,ʜ!GƧ Ψ> e{-|n";~}O--Bat^p`A~p4QԂ `yo?XJ8 =ȤW+EpbBžM"NhT9w8;$hv|;`C-0ZYi_Ȏ[ax:!83=#:GVXIY,0bINzܽ =nSʀG090r_ǡh3՗zn-CLÙQbdqR5u6=1)&NB|Y}d!wKu[yThrE]f>[%EB2jw9-1`/qM^*Qis'l~dCn0%*<֌a^6D0&1r/{j'a!44w4퉱|[5T}Oosa#xeFбSng!"$ފ=9~sAYNN{I:h'.D_WnEQ Z>6%SVNR\.-Ȍ ~I[2WeNs xRaƞe#, P`B&Sk^^*&^S^Z^>^V4rgzIZ:[2Gh(ݷ7ƺG]DSh[p񐥎٥{^'4#?>d&-X8['okM׿ 49H(~2z9-8J.[`՛z5Z9%-34ܣh^}xyC/rF{5aid3$ed^DN&[gK*;|jl6/ǚe#4nwoK[_N@Tx7W]W&L;P *>:BvDL)݊+W0z˚ Sj-ǶX -N JT:4$EbɼЕTH%M_"}c|~[&٫_}启6~0(;,6M;uJYIVۘRh0mV,K+6׫[淝 #L FjK@08h>0Y"Pth.ڎףtOvW9xdD_e+LLIG&nX-*rhOcՔI^'kr{Րyp]/LP=bZp|d:M֎6vܛCF7w ]Wdd\,9 =uԷ:(TY e2Sbk?7HIo kdǤ Tq,Fel"I+2(FjB䬷{JyԿ齹 ľ|d֑z(<\ tL^k= |g =5S(o+׋N*GK:RSZ(^YWh*uS'/vp:uy7xꌑLe9P>F}ʳP?Kj€d&m|.{߄hf+ XܬnDX@< YԠ\-_@t󁝴ګ+&˅C?w{\றӨU&PRMg[ {7ۘɴ1$Zx\7zrom['zžd0Vz?UusQl%DЌ}I8 Q*1"('AN-b+|6e^[أ޶IT3Vi{cccEZ0w6~b0Ldq3Apl )p Ɍ.Ѳ^[E-gn J- {+iYMS?WD%\ !mWߌJI6( CHۭ|ElRjb.|nj= .b*F2I aLF4`ŌxU/Iorm̜s[M#qoDt&vrAvR!$~'*;9g$YVڠ{O %!zw赴cY5nEj%x IތƇɃcDZ: S\0~ H֏@/\ltqAڻcb3[@$'sM(9'6186TB5.s)R-1T>@>Q;gNi:n"HIt>^+4b-z+1_ZJ ֎ ~?@} aT^ϐj)npyQ3؋8Ԁ<s{3{ ¡W\YWÏ| vFO~7,:2cAtA L +Ͽr7񙚖 YGBòBMde;JH);n?%(<esLDƸA;v 7"ejNN7T(_ C7 UgXg?7zק EzvTќ+f>0DKK"Uc% )%[?1뵆y`eGR_ū?,sF7cM7{4iBT~Bz`J.RԯWwP+LAT1vO*eZY9*R_˞4 ڿnP -kJ->[%,̛2l[y_@$tđH̃l˹VdN쁟!B 3KQeSAyf[.~c@3zT!RR!ܘ[̝`!|cL}nIvt'&U{jkz(CUXx[]q]-b!åka$M muzGQb ʍwgwV:F_tA2s?棈9~7Mh " Shdw&lWޔeVF}WSqMf[r$*rd,z䑬FvWHҵ'Q+K58w#p:*/Y{ 54sꇉ+iS&mQ>",N v&^ZHM+i|աMPޒkot5K,&GAg?|E*J/X=#KB@,FAJ;GW@QbkRi dSA#g.pr9_x[*Ȣ ~CR%#cߍiwS2 >!0۔Z4l?Vl);r{ Mu,O+1Iޞ%"TFxy)om9#*?=rF9!z[5y*<\E%**(n}NU1S1=9᯼"i"Vă2vXm>*e7QVj5I3($+qQ"_lA$|P9mak*3ՀҵE('bw*6q`K$gx:V6`PH6YmZA6.ȡ:h.y0;iQ` ayؒq&~$r=`)rR;AH6W_ } cizLiy0լ(f 9c9 {Z <$lp;8v _q t9l ]sp?1 DFx`G>}H%p{0nSӌSw(M Sv3(~Z x<@#"M27tqv^E=4꿍%zm!f?L_E8-g]#q\E@KY;+1{t'3hYm7220vlF. 7+[sTo.=^g3rջ'O`3 }r[U J}vD4ġ"EpfF*rs9 /2BaF7-UO~!6:7 Lae,m0f!1WVC,Gh buL减5Po,8Q10{.Je*(#:nGi2ᒽ!ͤ7+Ѝʑ{. moJ7[( ĥs~x$S/؋56z|Rɞ֎6h;m(hb]lh:A +Fw~^؟bֹޟ?ejgel%65!_;w]Tz ^u%W/Seԗ.ĵ0юȨGHrHΉ%j{|Upj%Y('C#;ӳThɒ"rOFi/c ȮôBt 5n8sJQsP++TxO4ϲoN ;Jv_D.} e:l,Cy*qu&CTLu^'#U 1-?{两PĝNx†B)6 t6|F`eJOG"ǚ{F-Nm ]V46#@CsCh0 70K&~-7y"eWZX%VQz_̨~}8Vxk4Za&l/ZP'%]ؓ b\쟈M("~V=)gA4 㘼biSѸ[2{uK|1v o?>R(l셃z(/Pj4閳+jcJzbkh*-'244 ^ЪƊYS=6G~NIN@D?<ٵ?OϓsRjBn-01:8֦d[Xhm5٧rE`Oc>==g2VE=nP;SO~p$_iy*3@)\C5%jPcdjgChvh*Ns/Q+mi S8g!2BRy HPtI))S}{PAk`ѝTⶃQ*&R'XU BHٝ,k T: M|)y;'%;rO`et`J졵A7z3A2yEA{Vnt/PKF'>qy!f UZe'IC@vEt?KrOڛ;,AVɣ}0/2Z0pSIܔ7(u_E:`1?n"᱇$o%Lk_4 [lA-3Wt&iJ H *\y}~M4 > Wnub8bVu!2\~+TLmJEO2ңD Lf3Gy3=v ACF2p%N<2F׮;,"ol\FL6!^֙-%(j9$P4Lk8u Gg7lwzpU|:(JB#[rg?'ƺjRӲU(\<{\\Р̗j,CwHv&/7(zP[#qaWQGw2?>¼:Δlyf@5κ>t!CՕ,rV#Xhk]r{Xi+myF$CG܇Ǜ3 ǵ'kUot6jo@ym/?jWG,7XzN.s|S=EWNhj9XB9D}6ټ[7J%eٿs}gJQJfRg#Vl,8s$]b_Ι(@g6(AAa < *$dȾC06;̵+05n4K1J[\C9!q d"Itt avNXN&) Ƶ^e8Tߍ9KsJΩ2n r;n4'X7 (5 Tr|,ASu3#U?HGΚytI(A+}{Jnܗ%?#&ۃ o$Ki+-ν6 )diAzO" IɁJ8t<~KB7Z^$/F~vjClr^H 1Z:M2Qs@ sDq$l4}c9.kzw U^&$@ptHjRAr{99lWB<==,&iE"Ec$Zg>[XԔn@Oډ`!{`#m"us 3I{s:h#s V20xss.-Cՠ\j_T lC]l ÙH.x/e¾,)'~%-({ZBymd; 9~ `ϹOx7IN+uMc)ٖ:| &SMS]k̓P' M تっAj:鴚2:@(%,\ oøxpMB@&:{X|vݔ*3Ӗfu'Px/jxq5g^y߯< {[_(Wl 0ac}BQc( #I)pIi'"#IRHu cQWo( U`\NPG#q2f%52]X E 9rpId[HǞsn:ĥC 6Q8Np㬥lx̂S zsos{pW|D=p."v2 kFu~ϴ~^ڦp}Wt3F |WI{E,m_9N dȩ)InBx? wJ54vz(!C)u=*RY~ІJ[w5?S8$jȽ "1 g/߲3ANd@ 3Z,C18rn})QSp qk ᧝I-/Կ1ݔ/K@D;-k6w5WBv 8a zMy4k^b `5#]3a@]z.9ޏxĐF+V164K#'HAf U5A1'&+z+KhZܱU(buEy&»2b冒 ȫH(4%Ptf -x=p o[eަ:M@B'R3E_ *HNb_U?'@mUhQJpu,ofFa[W}Hu2H|WRJ*>%Y ̯B2 V;>׍`8n~bb@r!V+J+*#`{AhpMc*gbDQSŗXi%8ǔOcO$̐]@-ѫ[0E9!<)3Qsu[L)o nUDosݶYZktBfLGAIDtN1^kAc\|-|HۨRRFP.,] u7Fy.+~D| g(o &=dYgStáLn)K.ҙ C_eؓ>Ju-!z/I xdg-~:iF-hk ( +['hW%룚Axg*T8+VnLFWڞ`itwUF,9EU|Qn(n./|< .d3/)IxES&|'п`~e]'AB6$-|:Ю{kzܕFIRsC7̋@AuB%l6e'lGU?^n˲?f,i0K]))57|:*A6;y:FftțXd1ߵs1RK„:щJ0%Gx2=yKc #boXfݙXЙcRr\*{CD[ޤueNwUC)2jRb%"Mn.2rZmW%G"-ڍp$w)kp[8Xx)a+`HZN8ؑDT\[mģ\2?-e^ 8n𤒆ӕ>CNKS(d J-CXjvmJ,M˗Fos&BRt׊*;[6FJey颁O /1{"C-1CNHeC rR)f!4QڝUk!H(nR[?n W{_@t'媇l+iN27 2M1`{,ai~n}|l(Gc:[%U~ Q?>+a1{viX/Rtu׳^ǘ+dtwFRU#;G*űHهף$IڏxvUŅt@k=Һ_ڶa#4&,闚{cx^MZ"YTέ@5+qhȦ'<0cy.;~ ݒ=tϸ kg5-L,F9.@ğ#G V (_w]j?;5E11Pҋ|*un;$LJT 2KT/V0`~hͷ>GVKR A'Y% /E\Lc ڬs%h5V"y$ voڄZ{dEi~^nrp)|Kŵ٫Ev7-כjYUC"7:fSyK0 OxZSKFմe뇰X3}Hjxw㗮>bu+~|ǬX'=hȄ 5%(_Yp$֎d_SBb,y d˻룮aI6lA]8<9`x7CdLpQ+ܵcS`-N:5.kHBXEyug$o,G)"[$்@Cjtƅ{8k/iWot/odV^ +KA-^{T6̀d8gH6ԓbl 蒿qYHM}fb؃:%,^`7[B*;{UQB34pɩ؀,.R1n;`C{֔87jm\p75"+PnSe<[n# F ȿ 4OlWGEDf4yuѥ h (W-V,"eE- '<2dH nƩ!4ciKu6Ui+O JǮlUYө x1.͕ #tO8 k6b(>]CDeXcKrM QMDl:vEeYHIC_JG;AeP'iمu>gBgK o˜W'(dC[/zH{:{RՆT6-^%`$'|읟-N ojc׃48>u4^ue~D,imw[1UMeG @ @x^0"4bNϾ@)\Y[X!niRZ))w֓+ni9A7b(c0>!/j|@W)E-跟yH?!Գ`q,_JKWB!dIU {TvGH!cAí8M8Gc?<@tRqPtIz zqF5|j.[40рT LܻY¶$ʼn5@@ܺ!Y`끝ba{pfzAwQi*%5.ZuEZɡ^U-0!X̺pľNn?Vm9tL(m.Nm.,1E9ݼMq;kH1oْ_+^}v'EKL^^b,WC?fEJLv&J+a8lY_$b^akat(DfduHgW<+9Ö́e.QGEz^?Kܻ¦s%M9My'*HMbrqֆ=%+I9.0E7?;^iJ -NnEPsEoW+Bye0NFb8BXf:%Ӽ2L>Ifɲ6Ț)3^/Fo+-Upy$[ǝ⬃1TAm^MDaSw_hD8WN n]U|543jlksg\%sk! \b9 "Q4vASF27QrIf^֔Sx S4GO5ǛlkleEy뎏/-e 6cP[%G˾)^T}Yf򊷑sby_~0ށ292#`DdCY_RyXzu}. mhHIa[ar5L~4Qj5 ō!iN1OcqZ:%i~3ūy wA`rAud$,h&QyWlE*9!0> u#,2H3DleUtyӌ)GmR! Eޛ#eeTJ6j[5/;>0Bę]>រk[&pyuى2V_|Hav|*ϳ<5}S ;i=7`{&oigڴtfOEݚ1ҟ1[BrJu`a&6~]qgُQWhPɒw^Z|zW5|XɯUvi1CAJ쵋U#V_ fll}n% Bz|MO+&DtV0yp pP&V&fZTRrC]ė=n>FV󟉜 h R=&E!X 0_pͽ&&CWYPsjR RbShƯR9$Hz\fr0t)zѝ]=7[5$=J۫=f3ykdeTY-:-ύ&Ğ[_S˭]HG;bU*Roz@,4]vhnt"OPʑtj}CR,RԽIh.o x)]>dؘşѩg dD@k&k?pxUrǩ!{*nnZ@bka}of@L.˄EVsS㧵_%8odUh:}~|j 1YzQJ,+ӯ%G~B{)q0,'rY^i4Ӻ`Fϧd,iV8v2+Jވh}EPoE&6B$:S/meYY'(č A*[!u 4e, .ې[8Orwaۤ0d?ٳo'SPu5uc s_kX dzˑ%Y:=}M %B.5W~,'>fD-1 :hhWuF9|&N+=FhR 1f&Q<&j7mM!%`~@S@zOVݽI5t+ȱll2;My׻T 57@cUM;3褬xLݍNpNOnAHy'Yu'o&pt:_-+Qж96e&B!O1# 83O'@`1[P\ l&NFrjQ*%' {~/1\pAi,Sř%$j#덎&?^Z?+EM`+Pt$bSPb|G&TډkcEF)A,GHODGlݗ(-"qN!P ZlC-Ç\6Ƒ@ds ^x-}Wl~ޢc)jm7@+b?Š{P쓪"xnWKtGAȐ<Ḁ D6ua[]UGxh zok?Ք:Dfy֭q[>L_ØgdJ0}%Ĭc{0VVǣc 83x۠;`ZovsÀ1d9#-nI_$u~ Ak*?X@tu*rRyE@ͧF'۱e%9ƈKc";Y;_&l=ƪ06⿨zM8ι|T|b~B6`Aw.֥>&]A5hbv{p2/}ҹ=M9=1m~W 8 _tm,(:;I%pfhB8;|7|ZׄœfA_=^]uvz}{&s\e$)`3wH0TR ~1_`_ WD ߚۋMDQ'p' l.:G96S˾~%RTCr$GU36zǒe _^ߑ<' Q&6\ѮjhOXҘ3LD04#-B9iݱ!d@HMW v`!#l_^a|x鍠GX:DjBc<3prG ^)\mVR@ҍ?~+Mk ?BybJ'Y]Hr[RLnPGnj3iK6uX{İja-(֑,Z 2֘t q4Ci' П,l+ O(|RbL`%yȇA?œ$N?l׉nG =37eq0*#f ?GdaҸcQ15I j8o)u*)4G,ҀuH̔ yiSţZlX{[S4V5$`\F?T}1u_jO>N FDX8ðϔ $ꋜy{:ӸmmR17&aDY h0 N/&*H J:J ½{LmvL*;k)m'qy%?@%t &ܘ1i`JJ+J MA{RB=C3[Ҽ:>wy!q'>v6a< g#q|+& T6ZeZX3X9Ƙq 2]Ea}@{JSH=*)"a[T?%˰nX+mߪ 8Rϡ+)x7nyBh"Mr]f`.TKm`:#bW][7 hhz` EPT4$%3 ^KV׫\ "Wp 7 :ϱ*{.pAY0 GLaTꁙMYkdk؜ie>2|Q6H `LM:7el"l{H('{zeWZPS6'l= ,ɂ\0{zZ)>+NVtIqzN@ EY/ׂ v&fmK_!ye*j?hA7;)?s:’̻o)lKI'hUU$eK)Jt G"F9YF^h!<Ҭhf;2&Z( mEڤ`t\W51ƭCcDXK*7Y➅-II<#k' Oj_T\cV<8Uyf9KdBӹPԔ5WnHCjb>}lcB:51엾R~r 5P]I={):DT#X9S)gO0Wh@vR =p045ulx$xkJCd|^gXS+s )MifD h = &詮a8y:-@6hĊ=zq%"Vb9%l(= S=¹j6*G,𮱢4Wj..i:Pn'nNP_z [vG(8kMxeUl wJyI&2..׏t1,SVqO3RLH[{Z1]kԯ6n y%}LDW7dji.(BѩPr1|pŰoP4gDG޿u }S4~V52ARDs-h wIX`U7tA)V~B'z:х>gڞjxw,LOOp[-QU#m5GzE 9Zmٍ[{IcaDfZVٕ6l @Hм.-Mjd:||p77ጎCY)L7±%c(4]D L?a aa1`>`V lAҢ;b<"quT[>#pdd r߾o1-^#Q]YB1VVΨ!,Uz^;4?|?Зb8˞mm;rzJ&t}G6Q *q#t后wٍ|p1 Xhbz戂IX]pMl)ui++˩S}(0~&V 7i>6Df(KS+2x|d̕moe>)GW.$CT2bͨ!@td^ 2.Z/ = t3oi:&\:(ɽj<^orw!Uԏ-E-w>} #`m>\I/$WǞHuF`vr(0+rHtF!r}S[!cF *Lq8i1o)3F?3qL{*!",4 Z}L\eV% J>ߌQM:B,(]w6܏g꣮'NR GIl#x4߿BKrry Y5sn},(+cڇwb3+VqSqf<^xßELa NW _L]]娸WUMkkvYL14}ρOb7̩RAZi%odcjK~n)zNfp1`O52 vp^6?|GZOLg]2~IFơ;F^.$nC< ?d<+FCx 1&; *"GYf ~}Lkj8i{^-zj_%E- Zܺl=!SeOQ_;OĴXCbRĀW</Oq2d({ O 5GCG:lLЎTU6X)!B"^ݤ$$+ua691Ws.M|M7ő_Ij;V^)c5A t41U.)V]ِ m'܊۰~1>r:-ȟj״<)dS dYaөH w6U- .wI|Oꖙ_\xC@:=ye-1A?8 8#}`ޖ>}2a)id<>,P%=(Ee)u\"\ ոA9>XpY9 Qz{7O &cRg:c!Sm;F27}I\I ~O!_ *KG_\g֚yJ@2t=ulӚ1*ECih|]LB10o=q`cX&ʭb;b8yE,w0Z>jY )OP+T!x*9T"bv,AL8١N#nnN)_3L '0?MyD N !OI=CKNl,IpK5Qqp:!+9C<ǿN -y!mƻ/f`Y8Ȧ+j6o` O/ϫ!Kr2I xXBIE}" 6aހIv[~ۚ<g2AQSK 7tb%gqTbzVM.~Np>ZW;+,;◓ s1E\Qlze?v3.@ JzTh{Sg$l~4;-;i"  ğ~"&ﰇ(l]N;L^O]0Aɢ^7hw F|7ZW8< {}%nAG,lae?1nK+~mTZV.:+t#V:7T}?%zI' NgG~Bjf Jǿ8qז8 p.J] NN/Y -=Ë}5#O&M|?C蜴1wkZ>jsgz4"M,˦(A 2w|iO*L!'2/@TogGN.`%O3 dGf8NO0 F#ۯH4+kTP .&MâC3|}\vؐEm%.w_;Nl>ՃQTk:pp9luL$}&ض[+CQ7zԵhϘ.Sk@U_5/1*a0~J[XVİOu!"nskR&7BHwpjx&{0UH5j,RWb=qّ.W٤G) Ef!Fk!j$|hސG'wjv>ct_ۍ{ cFx*@BSe]ydPP6*TOw=*!Wb}X5ɓ^ ]l|2J6x9\ZXpN{ɀ?fҕ Z}p(˅}A[eٽ2UԈf)F'--!vJUF+^F<(/-Y3PJ. fO_zLq yCkRdfPd=TQm&B銭/`ZbO.dYM Vkc/,)0Rs4%N1K!D5=z5+W:`d.?E3rxFK̆/Aw^&x yܑ2 ݞg.M9x^z QB1ϔ4 :F0o^J..|<]YsAZ nq&Q&"=oSo_T=F*W͖ÉoԇGt1mMğd,3ckʙ-`Kۆ RoYvA(;LO@M*1q]uiHcD#L<]cGꑢX$H&yBhWks_#vmY{;fL&Eǡf{!W=? "e/L6Љ'+@ wڴފ"ha"sے@ߘҝ8_)6혉1x40%,%8{>+TPm' Jd!}w+zw0wN*y1.l# 8*p-ͤ3L#ǽ A;2ev?y6SOr*(Н,:jEtiVl @a$XvpBv`ٰ>JRIֻ=C +ӁFōz.~!`Tp0"i%!2.c'GvHW,/d'1e99JLUqZfJ(o }%>CE0RU}w>#2$ !f.z3}OHj4\!83fcy캓qg}W}l3l( :U/FD$`.쩑+ ɮ׃fY !B z6"N 8&)veoPYLYׅZ}黅@Kp <gFW~jc.4Й`~s@šºOCwQ4[ [ &-P(2e (V%yNi P5mkP:*qY)lTtu'l8WmO H#*QctRBEv $m8I!MB66*DڨncpI'ӫ cO[އpzUw>C@t`QfAhbv(qޗmtrئ~zaF72 f㏞24ɑ%LjwO7CpՐCBQ8Gn3Z !7гKHppR !jҦM7>]tgQϸx>-Yqz{TsPNfIFgj@| xA~EǙmJ ˁdc'bPXQqEs^ t?flf.뾤T;Cwl3[T'jDǬJ:5 ljJNu{mCF?&L>QI-˖t c1˧ԹFNȭp^ǚ[r! A՝w $L{p***7ofZ9 hRz8*cp%;qLrW*ϒhVon%>~-9㙪ٯoL! A 4ٱuO;{~JW̞|hn`]n 8Ȳ5mXXI3 ONwU>58yqvXGߒ#mf\: ۭʨ .Luڋxf/ UM\mݟ52mx&2vUDiTVvG?آ(axyO:M[r ^ l3ɵ193)`|G]@6k]iEOEO%t8MÜu;Ԍg:b."gG4 qD~xrBB7F֎LΈ|* IxkQ7{~qVdrb5mWO r9+"J^'^p%}N]v1?PH49F`5Qq蝖[pvHF+ ^jO>e?}4)~e9slVSSX>BM|h{*qKYv.AN̆U@@g WLT% s@ANDVJ|RDz|ϯ}/CPһ<{|* @SdhpQoUh:o1]3קX/_s"NTKE[:$ 뙎β%y@pA[mp^,Ռ9& qgJĩE^%I6>̧ٛ:O͚hSm#Xt9^jvq@dkw+e.åvz/梗sTV4j9m-Gw̠-)å(0;i6fS\{Lߝ&nזFCvBMгL[I4}yQCJGVr ^V1h2ҌvDrOlh$%\С SHcp!&fգ y  =|09} KfP-N>` 2I=^^T.~^+WYf$jO9>^e*Z)\!jr ́O<54Ôy[bz㾃\q-IdcְX/HKk A9rkH.w_|9G$b$"5v6Uj\0?%Yܼ½9Rm7r`W"Z(4ʅ_h |K?Cq`4o 5Ly2/cA :QІXϏ[|!pa"% VC]Q^/"CC,,f4B60?q?h=# 3z<'~vvy91dHlWO'|kl\6#__t/q"`:,̺m cyF_zNZ\J=jzq0D-B˚a0TT$!R6S 9,$qUfj*ŒM!O-q$++ P -`Uݛ.؝yht/ ,2b4}}r2A3do`]vz @ZǍt}t %='z3*PtPГfliW\ Z) 7=闖>U9E% H{Cޙhl9>w5wlSڈ>U~#B6ZW]dZByB¦Ɣ[$MhxclJV煭64'$ߦh ~⎀L /!n!YWSAhg W=(@-ӄ><Q;fx-4]Q.<jL1v ؆źyJ@ @ys 1-#IB\)uK:cneĊπ"ek 9R;}^pQK[q8o{ \'V,rIgpG-!{ ц(sn\[EWD0*2ZLvAmENJP nXv^8Okuqj]H6=?K"tˎMT=\L{cGe>iDZc ,T7'sѩ&)MwP6cȪdzXg]1~tҽ:|+VA='ySC,twJ^bf{㴮J& 0R-3%QN"m7x^c-Yh,%S(WTU's<弑r?`L ޔ21|dcM6񽾲jt֬~hŎ{ʚ!ǩ {[싿LW.}r9ø,uB>rO^VY i'P0?qsu:"^|{bmf6HT/ ?- eo۾/.%HuN>ߥd2}mبVT4{_26r۹yiā^َ$ئ(r/zQP= m fA$CRVP>ғ*׌Ĥi28Fa:OH[| b`؏y_FӷHXg :)dxoNf#GԮ#KmQ,,$`sHN&/}f$*-]fpߓ5^ȿyøڱ0@ ~Cf QUja\xzc{K"GUK28\zϳp*P"bAÿrE&nl<}CJJyI+}51|ˋ^Χsb"~O"ev! A 8F*-yP꘲u8oqr 9W؄d(lڸF(;-oѧ]G-907iufi[Ky.fOz|1OR 03J&"RBkbJvߙq1{ݵ-N̳OQ1)h낋1 waͶK)um:_.*t$|Ҕ 1ˢAD"7)N h O)D+6/=:}NAz`eN ,] fb6A=ShTr, .%״[r4 nr S߯ϮnW!sF>~Q3"i C=^Uх47lv5!{X2Mfehӓ~䈃pe=;V~>Y3(*E.OZ^-"_7N#[|ʚAO]l3>XfNCVr)m(]5i")2{ٿBOmI[6,v)me+g3EI8/om|))D X"o".3m WnTˎy$-Eq J%LFOc߼J=Хl$xGi]Mq D7u0D%ܮ~c}Q?◅79w`?kvU;F]=%[@E4*l)0<2RCs87R3r&h!4XLP&Vs)R+D-hVsp2 ۡmiŠyLy&t;͒QD2HICX\D}^L;АyatܮG6CswX Qי`/4g eQX: )o2.<+_í/'yQNv,jc5ؽ(QN v\ݧ |-{-{x-yKYO[CY*_n;pB.hfO WpaUp[= ]*~ VH*tQAi9%}6zPa]g} -1q%C"_lBdmւmĬaڳ8M= [R,+Zhepu"ؾg{D`Qi .5"Ww~A]^Uih'2I=O`ס`tTCE`ٳaטZ$J!#4 uX9uq`{ 7u+o dLEv*]>*x98qI8hlVFpO3    3bpwOweJu>dFWJG-ڨhAw{ge(7,rP5Zs>A1迏W~jckUn_cuS=^E~,*J[x(>g֔9AS7๺9޳|m.sରEnh8:~giҪ 8]"C tRD ī?ZJS^S^z3%T;,Baz-K-ٗ+!`hB蹋,oƐ3'1H&y8 L&ZJNVGHF=ګB11P@;_eqW3baU"ص\!z:]UP⍙&ڔ0ŧ#=VT}A&)lĜY*Ih8`}|wAu;sg8F<J^vg)X cODmmTǸXmo5AR9PsmA-SY,)%+^2ԙlm+W/gبmkZ'W`$.!οiy. omo|=;Ǡ1ܕ/C] )Kll׭h}."g9>} H4~e`M.a"Gu=jB7g<([}|e=k;y3 ̡q9F_XMQp@Wv]g vl6݂q<,AEZS\N <*~j'=?`2T Ͽ,2yw=!D%Z|Ev//qp<%k*?Ɓj3[9 $ "QpsOHq IeMN~,yz / YCq8+%zWX"`Ҵ2Θ#d֧^XF9(S87XmA 3M"H WMWs) /,V!KX-KUO ɿs|rT3JB {b.؄!1J㱟IsiNS8385WP撲AxY4EX/j)fp-ȴÚ~!ӂ2.^y}WP0>*EK~kk .e\t}Ccc6^f*-τԨŗ Л)^/3ݒw0D"b_^>IR(ؙ;2aZfTV^J|bgvq>} Rk@X` * &cfCf"Izk(8UGGR( V^9jw%x YU8Vg #ZK!Nda% 8 L8萸g5g@>RGk4RK#&Uгa~ͷ/*yb%\h'캋^Jkr7Jegͦt'r8EwOZY_D\Ah2n}4/<̱U~KW|Zf~m1{xC+|l3q01űM$,h!T(VD[$vd^i&dy3igT٠ȩ|LўXDOͻI U[@ak7m_5OLhŸ3Wq?enφH#sĹ~?7GDXsy-XLw냲-!́2킧'E XSXk:h=G!Ts(qJ3lfw$M _ aXY\ѐ/@9ypR!J^ @@Hi5z& |#)ބxn<7!ԕv"葪@ꃬ4VhxUU-6U~7ꌃS3|Ƽk)  ;&aY!6 ?+=Ȕ-u~?>}vUZ0ܻlW~4reֈ<[2Ȩ Q^f@ImqOqQ˹s ^zfj;e6Ljc#M}Ѯף1-&bBH$#&![, PfZNd3..@4=?ժ/?x(MHb{>ʓa<~H2t/#>Z 8``r>[=8ý Jhߖ,[ilWjAw?D\Pe\fgvX1۔F&~gVjL_z9X ryBuS /0t'h[@{(*N_SM$bO%i4L}3ʇ H*q,AsӒZ@׸k(ySf^S:$oH:nQ Ӂw0S5;]rsDHE`񿞟FL8s6w\CL/Vpz&Smt+ nay"n3pa,VfA-a=6'SfQrR=%G ʰXa|fC/zM;6ݨ쳌7};nmTnC\sT4 5S3106~kHYxʎd7d (JYXb^AGXT*;~VT#<7 5k9?3t "W9Yz7%;Qpjd8HMSsb&(񩾆zrkfax1DF=KUj.C{Հ\rgJ E7He[Uq*R}EPm⿟>9K޺!+v`9 #Q)T':/>`WKv~7f)2.(I+?:Dk[w>Fp4x4&N%t2SAVj-Dʛ2{M5 ’Z!;S;ȟBzC9řߘXpeWA|FegKi )!2Î&Qx${jb? y>귯~ϱ})49%?m4otC1g{LLrB+SðQݡTWh6kpMz'miVXX!srV oBΨ<}V-,GjpųGX?ۦA̤<Eutq|?D;?nԚQDA76idN];ITj-ITGE-TY{Yh$eOǯ=~kdY&f NPIolW _O?G|AcYɇi,Y[tDAOLɠqSzp^+WLik{tѓT!'9>:μKFG[vw>)75BF• pr[O" 9Kz] Mű8ˀA8[.t_#_Zb߁j52kTHLaQ|wV,x3Ö t\+(z kW~?k+ɣ]-ÊM";:;C GՖnSxZbI/*1eOKNE#jťeQR#X5QT#;62IN@ +H3"gLV0ҟا\8hU^yp'';>f`s{VH &/8;D /C_\f.A&WoiHL ŀUVA h \enpD&ЇgNpTM;\"./tM.`U"uIˎ迡/] }A@ 5Q 2s CAFi N:m+:}W3NLm辞Ds[(HFJd[3VXPnHE}'L^iS Zhs,Sܩ1#5YtAtdÒ}1>hM3wI,iݴ"i GK*O ygc mO)n}'UYHbc#tㅷG(-!#macC0z(U K۸U੡a킣M'@ 0y25)-o}a͊n;W&@ iK*+e*qFTQhtapkCѝ߮({>zoZ~!\VCɬʊT~q7:wpRBK&Y@Y8' ~R~z\s!B=/Idv.cEpfX>*8a-|&Ju_N#<%x=>,s&|aKVnK+տ9G$4:b ǩ{_l懨+ҦN\~<>m{|.CRQw}%8MImX\"a`ZŐe!V8)c%,w|4(IvCi7mvA ߯y+=tss$/`jid-f[I&` 60jeU ldz!0N“x! jjCژ3Ӡ);Lsxx"\Pv*K"X2pBC?(XO6L8p|3+x3֫U7dDXdw ~rP`(k({ S 7Lwl@ƅh>Ȋ+tT:@̳)3Rdz{Eg!)SHi:n`67Rqтdb3fwiT#B|_iM7 BCjɶkRVq(_pKN v*uZ^3Em Aoe$3w9BN/FbEH㡤gϬ}ek3ԔtI=k]a=v70[s19ᏳU/vTE}T{0g!9yB%Z>xE?J=x#[Nt`A/0@Zz#͇rۨYN%iջ[<ū0) !n *Ҕ:*T=}c \x1pq=80{"fbԲ@ڞ-A4_of~c$ǫ%ζjԽn?1k_ j^f.Ǒ$i_emò te)r{i~{Ջ1p=e~>0Sv L8S x 7zG^g5RB| Jz'g4'p`G>92%EquL*07J-.%f2{8I|nF_kSЃ 0{ÕrOޓߴQ75x\\B nRbrrO¤9 G0gDHcV% ,2{{ ʾ \F܉SFZOaTjm%G5viOcͻ02?h;؉n- SMl+ތ>H_ǬHʤmFK3KIU=V3}:b G(iw]RM`Rp"!n!pqrʯHY 2 py}:I#e!^F дWQ4WnMhsCt[zrgɱE< ^5'\IA IzOhE #9;ꉄѾ88`1.M'D(_ҷ>s POey,]wʲMrI2'YxWG>;99+ IJ}bN*Uuf>/_%XG_u-3vIH%`!M}%RH0 anJm89ǝt -.'"(nZm3#?b 8l|R50CQ6Qڴ8k'TlHF<./TjI1kW/RE8U ޏO LdAUsת:DqYr" o^@A@aU]3SVz}}^)ckuHNx~he'b۞о5}9g7s6/Ѕ~ו#a8 \zIaceOR?6XmCǃMxOT lXamnxk`r~|?U؛7;J ПynhD,\7@]^(Hv{GuC/@ʼMSh*kCkv2%f-V+.ľ' 4QfWf_˒64$®,n]^[Q `IR&Yy]0'M,`o!tA$`c;mH屢OKfLk!޿U;y'd\u}Xw 9\ Bt sEg\>Pؼy t F3QFQnA/&Ub: 4lHWaBAu௳@p 4"HXo;-<3)FX"r'UNoIƑ{[kIEz~kԖJo<9e0neܗZpؕ~Z)-[p8R'WWZ\83_ŖHIzv|@Mܸr@)$_!w(;1uCYb)@ [YF-3K#ih.A!F&Yʄ(j%'i$<<ܪGwk!Kг?KRGDw|"0/7R CٹRXO?t7؏_@*&pfimK,Kn~z&dW'<+>b6v5wv〤&E: U\:S8rH/ɳiOm_c64 )w~ s7@{g We 'vsvҐB>݊uCDQ.cp4<ջ+W H6vqdڑ}J N!4D yp[h[[T)?5a|toCrQyL!nWKRmLPIХ4!ڝR: O j$zV YdW I|ټBx9+{⟼ <~s@CiRKU?e!p0*B%Aޒ6wΓU/LˋAΰT2~C1eBgcTP /vR\T8Ẉ؊apQ3qVPgTC #I(̹(y6R6CR@-ҵ0L%n3IȫUrQ)vbr l2OBd=΅PHJt=HލY0l6v֗s.EKz~NعZuA\Xnk8*k0KZ,*7~/UU7{FG5 )Z&P5'%*5O˜`kT,l]CZiI#qDޭv MO '-_tc$eR':G]V |6-C 65X-NJ~Uyfב i|UU#"N3paPWRn";\1q9i=YPHIpJԧFcIo-l&JWemx(xfV?FA|&*Z3q$1lgD DvXؓ}-Sb->,DK:6Fe5Aow?z&bQ>oDJG nWfϧޏʹx 3! bz> ; BVB#"*6A M cÙWUM-4Yxw)1#d t HѮ\v,(i0zBxK  P9#F4o-:+'Dy֋ԛ.>U-.,qO΃!u&),CdT* Q⡋ )@#bۂ##wb鵤XZ)[H_"|`}OΖcuRfӟ=.dW mefYe1si$ԌudNftRG+iz߱4r!J4nP&1G,36jd45<@'3(ls!ξ?ۘƽu܅MKGfcT~rw[٥>+4"Z`;T]tsTcdxuK WGHƕ&fs07d~++zUqkB,pĖ?l*uUy 3vL0ԞR/g5õ_1A%g?1W}@Рؔ@ mTr/e' otYe($ڿ~ZڑYia<)MC@lsZɪW 2~z\mfFy~y4!0  qZ|l*=ҾٮVlQ6l={vzR*5Ƥ?lBaD&E /roA0x׷=ڹGC.T(JsHEFޢV45`,7#Ô~'Ó!֡ݎ)QB$};ՄhCtתyFfAacǍ3dwAp7-8*gDuagnm&ꦑCYO ڤDqvQFT~SBSj5еEY,;^Celu*d4Nugx).LV7lUŻJI_ -{c3H` g];:\UBl#lmr^aP%gp[Cڋ$q^)D>A#teuNn!.{Z5VbgsK%؏cnY#\BFsc8bp/1@~#}|Q 5)yIf-H9@$}YГ_FN.?d_uX[^=W79kyeZ *ϒo4WkS7'!#9'9Л)v꩹ 1SÉ3d֎s̥cghZycUX-4KH6ʥJ9@(kWb$ႅ@nX|\v0iAcj?qu4$B7W(ʪsUxOFT1Qtk

drVovJn뿛oVovR>8[e^r1@/'>w lpds6i0'T/ߵXT-g!~cIz` 5=pqƎ9[VE6r8X$F V*D{VP@$wF d*d r "ֲɁ+Cf>V =m!XS0Wf Z#ƶQBIk<֐0N%lgV Ӆ#I|ZP&D*:3F Tf:PUq1eDLܥEbS#SQj01@8gYZ1ef87b08e415293508cb47e6dc0b3d04da81f52c535558cd1d6aa4526f469e35299f792644e559b9 2b4187bc161d3676c7ecb02018a49967dc6a5fb4 25b9df82f9955898de3fa6be4e7432b8649fbd60