SQLite format 3@ .C  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   J9~ TUh:3L~R)zÛoJxۓf!AͧVv=Tb8Kq3gD?- XD:[VaF3l @gχG9#<L`' eJTltoRj;7uds$8[1ke-mN"dHM]I*OXP, )q&γ\JW@^ݮf?Re{"K(p:H/]_d]lO@x@d[j^1Ij!t c-@10:- INbr,?PBpo!ѥf+ 9 HOL-Datatype_Benchmark  -N9G3 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 #*|W9|ԁW؍CɨgD=ڙ5G hGu2g}p'ϗ(lθ'"j/Ulk+)ޞq)21crR$q[n2y*5&n Ђ]iI1,~;}<и6}b`p*ψDE JH[vY}^btʳqU294c(Ol+ ږjWJ^w ťy6uRQ`Nرdy[gYZ7zXZִF! {]ŗXi%J4BsχW&wm6Mxi[e'؀*i,_P:gHҵk:)97H{!cU b+@1uǿ_f\'-qlphc-B>lP( zM "VHiMTbP" MmE I@wmn8#NʠK5 ;zn,xVE^*I™ B >!7QlkzMMZrc]U"ݫEz܅ :X_t!2GżT3? kL`d`pq>_Muqu@~*:Q :I6X^ԇ*{=??-XGo4JjY% kar&?t}?(2/'.Gt5T"S\D|F}uߑ"zfF7$wJ+C9aݱRI,c5YR+nf`17_ Mu& "ο\+RwFt!PЇHY ŒE U-\t- АiF*ϸza޷*/s.j.i%DJ>y4D#chS {)unT♉q9Ã9ͪYD!wW.M7XTZ޴)7@{,gJ~2JZ#q*NMD5zL1z%`]]>ۊX Ώ2_~5X\:3;1۾D $'Q{R/\H0?z2=08CW3D(f|yr&8n`$8X,4jvL!Gcof<,jW)(s'8ٞ5e_}2'd5fZ%{,ؐ GP>/^ǚmV0.=w\ _,uh?*odc^ej$pe5M`~W'\\߷txRz:ɶ&Jt%=Zꔀ[ zcf M(Y[SZ-K`6q)c=762ѣ s0iFA YΥ  ~x:lgUQOF5,"r df`lUX[nU8S+m=~MIBmw2 G½YfZKJb!TO]uBWIvv=9ADQRn{sޡ2WrKEbKx@ ^qϼ+R1P=aLůq]u9!­Z2eL]1 Dzj˞_¹Px _Ǎn k!ܼ(CnƲKV"${E";&T0~*C*t_\)O\fh`A:]? Ƕ+tU0.}ݛ?]5EHgcx]~DCЏeAmߖ0;KK=!|Az $Ŧ k9+ rѿly\Q^W _S&G_ޭ$] O&#VDxM[sZs3o޷ѲZmluJ,ٙԧ oDX7x$ ]| t:=Z]S$!< "N^:]v~p#/@`U-tbƼGn v_0RfȂ@xU' F rXҬx .X6lZZ5_, ݌aK.\?. {陸ҪPM3.1Π8ՃkAb;IȁCSVF{B@Q "k蘪x*8c8jWSkzGO?eKZ܅Gܗ_ME7:R.&u3EM2WVZ{t]$okK}I/:u;dm3 CQ̆r֌Fjz'n%P#G"` .g7 .iZ%o(!u55k aol$Г7%.z ^5›QmGH yGQg"rgCR[45NKy1 @q/+?Byۄ>_|Ts/' C]+S뒌 {RC:5 نKA.j֐GbQ n`PG߀>IOz4;i ,̩>;:,JEff.h'Uׄ>ijT#qg'u[>P*}>`ClҾ:ʝ<"򫰾]&!Yw|e*&qURYOL\V n.nnɜbIJ`?U _ReOhUkzϧ SScFZ4mq!C׶@O&F1%E0j^8$Zb}q5tVM>h~HI~m: Y6ykQۛt+a-ϻDUDhKng %$§R̙gY$rbּ_ne?ܦ'hLL cf3$¥-Y4`V GY7sOGiO~_pdR糶N͐ eY^\KgШ'M,jSy&ݻ*L]zr22vb & -S&>0ix GeiI(bI"D_R&rI/̉(Z 2])Okh iN՝l-SoGh C!1R/^T~kj -%keJ ƛp>'QZD56L]VtЧ>U9#?V_Y78L gq۬wZTJP=sN_QX-Pk7`fm7H4(92[ȼSyM{čgqT@KR6ůs8x0}+tP,e3لrRJMĉ=&1t,V)t<:؈q)&o'! eVgCB-"QQi [H/c:o'3J{2`GU}lZnf, `8kYZr-%J4q~7v!R4ӛ∺i9zK'5}G4 ^2n,NJ`BougtSwg07hE FZFEYSVVJg-X$7$ "-/]bIisӜƼv1&X8od@~S;.KI͜9FE9"02dJb YûIP9='6.SUU}grsG4$-L.)YT W]?-q#[y}U{F3* 9{;Va(-79@?D5֣TBCUyRil %;764}sYpR)CAY_m: m% (MfTQ z,nŦ3M s&/!ɳ7&ņ(WY}l5ՅL%c(-.jdr;d=T9دwX<Ð0!61u;}%&ܩ-㤳(nYP`gr/3)T3&2IpWw h~ L%kb%ӑԘ|gݸβy/`m RvubbpVt91QPb̈!zqʲW1LY" ٴK H)_!)ȥhaNK>%U@sS,uO!+2;HMg~{Hu?eJy'0bQ? İM~Xy3XR,B Q5{';`H0SHXu"F'(ZhR(sȔfipO o$>5-Ԏcsf625'co'ġhZFģ`w21׊8Svnôp\k~ޯ9<4%Xs:}篩,a(IZڽifO{, 8{ lwŚqiW]nRBo*b*D@= wjOV\͗hɘo 8Í# +t~jx_&z1l9`3ECdP`L̦4VXHe "7r$ ̊8`q_H,Y`x"РMְbldI]Ԓ-N\$GBuJR{31 ыC, vӭ w9a@oHK~lቭjy`owM,[%qPψzK2Bo3PPŁ8 unH+jN.><eBc><<ݾ^uF3*%dZQ _Xgs<ךܦYfaC2 D#cۋeQN?C(NpES[H<da!o#3Y 4 $4%Y\t>mzwJ8% xy4㓜1q7WG~a}(ۓ !qhǫ,/p VVr{w!e,#~" @ t?`C({͙É:i}O #O QP ? dIFǫGi} _-\ķCatLlwD:a_B6*S%pPxGLLQA-n-{~86Ϻf|Rgڶ"Ҵcg-Nq{7"9o,l&"Ukz!/tsjXhX$0mTVe$ !Gq81’tV` ~7|g ĥD]\P/Q2iSt/S QRktkd:868!y$gP̩JjOoFG|4tK䣌 %6 6 @1ȹo٨J(Ce- Hp\,X^*]CK(ElSOSah ゗'YzydoKdFIӰ5_ߛ*PDC@i|zۡbR:5π]r{%$~{I8)3x yO.E6) ey4IF?ו}?\mO_~_GQ"/B&1Swl-zC<&NS--P=8p>` ʆ(uVP6ܶ] =>Br&iF UV?[fݚ%ӫiw޶f*$k420NcKZr3,CZZ=.5Il(]7kT%`Ue9H42L)Y"Pg\Hl9/=f]'7DAP3~m6fU71-Ud:F BꡳĤ X:~Ӱwm mOibp5 C='su*>R{X`,Nt[YycBu⊱oK)d^yR9GD~vkmI٬bq9lCg}\e5>7@}^$]DGzC޳~h:e˵Ws[V'GT??W 9K'O mJ.EFNԴKoIѻz}x&{,!(fTϧ &E$ď 4<`@_wQE5}}^T؛^iu2)2gHocyîy9Tg$w(!ϴ 10$' {(v#r5nt`8T> S TbUA@ ~QGpwΤI~Ҹװ'+>i '0A#nT9m9t5۬ $%.!)Kv@-gR]dm[BiL$WMj;.Y(=~1-c< f[1rBvT/p ܗ~XB}_^Jd2蟾U܀f q k)6T #Z x$ЪzlkHxJ[*l/Mjxr) rZGY/CNyp\č#+EM_zECci eP1oNaynPZg{X M%# Oi:מwgJ*@ R)r%L-,\#c !Іc"Hӂ;ÿ́ɠ/wXFC$ f/\_`&!+(mCs`t">_>r a2o;{]mPKV:8lO1 0\d!ȺLj2k{g |cʥ1Qu (7pec907]q +()s-g3GO@Q%w ]9CRK8QltRUQBC1fs[Z"ߤr%zL ^*錁#Js%/4ahs;uX2UhȿM`k=u˶f6rNsc"0څsۃ@u{=["'لmx|Β|gKR0jVeOS+ʍpv_D_t CT V=vlC+c\H?#\lvٰtu$$s|`7H~G;DaQ 2ѵ`g $ۧ)$WL%"t0 4.+,Sϯ,RT dpQVzl[ 穓NۏK;qJ'I搕ZCiJE,l;380A.nR'RvR9+!9S?X$ = 9dh('j@S }vg9EQHwup2RҲ!4)m;:9KZWԃd1br,[,tt*z4ӽB*K27ト#es*p7(xWoRloV'ԯX)=0F{h*:Jto$|$Ϻ])vgwwpα,;t֧+>*d#&8F}a'mJ$˸=H@*vPVhш>?Jd;%'u^%}()6<ՕPIEjT'_=ĕkEJڬts/5K)W ~ж?ޥ P% P:2p(wKyu@ 8?q+OPg<sOD!E"-bj$gI^1 =% 挔|0O"f'P2%!a|2\MD奔/)sۙX WMZ>=F\3ArO8wmBX ;K%l>YI3\3wIhVg<𢡈r%X >vV>'RZ|vn/=+%{'jfd5x_T 6ҁ=f&Xz3KWSَFMtZojnD:#;~ s(; c%f=PjWEtHU.*`K4._wǸA>t³^nmQ>XE2nCIPJgM,MAܾ L@({!Ԝ9 uCzr(k <Z KO'iMo'AC0$VB,fmiG]аL8d$KncrC.H. m!|re5IyTS OWs\3ʘޗ1E2ع7 #F`GR}]3lXc.%73a6h>vc8/HHi) /GLu;Ќ_?bZ(OДͣ!y f_B Qa"a) W>4u C(# wYx5hMCT=o-}Y~4>teP1{܇XϛbWqyi ?)~6 [#bmö01a d&e𘯗?'5g<+Q!j6ejgCOڳ!q-H@%QmDXB_*m?X85:gJ:/_IN/m|Zv o"Ck}PU2; ؀dj0ǬJ? :H-fHEz싣 vi(fX76J Z 5Q m.CKѦ.EZg*|WJ1/uf]بHyI<:8dЅALe~ꋄHN08ԱlB0*Xy)@Ye< UpkUp'7')rLv0{B*jN%7[b1yF;A*M&, ІH0-SvRڠ==|ꐦ: [C-8[Wâfjawz8"< X{.Rtԝם"""-#3M-|CsD0 zzmO, c ,e9Hl2[@hTE)(7%>4`(qe4|ƠN*ꂽ]W> Shc:# 9>_.L;ywSIR 9vj[V6;9ȗ(^\jn> 2KWBv bro2% җe&vli:(POPkP~YyKbpJpU؀q]2n5Glmy)g lג!<EcO ŪexkDA^ 0E-nl(ZvćS9I<7ՃZGŜc"Ad]a=_'Rk~ԗDvܲ{:9ҫ.C)Mn^g:T+;ȱdcW>?1k+wX4xHI_23?[@<v 6J)…,̲hfR`||9-caǁn8sP?&h/N.eAPmz?8„L*{-,> PԫP9D:ȒSTr20$9wD~hC-]"󶳋vQy_'i]nPMRE_eSgs qn$A ,έ+Itk0StיeC:{e 4(C3\oPQ5<Z RD%4s6\K<lxa4F9BS+**n>U{Nu)Thߚ-uBSxV' :ALF~ݿww)ow\*}pPC`D AUBv|V:8d/Su׶Ij#%lOwiJc&,1)fS~cNLfC:@n7Zt:xĊ쉔kKLɀ|%<#fI/ur%yP `}&]t0y~m=Or${:o2Dz.ۿƬӖM 3,vU!;D[j%Qz|$؎H<8ǵ,%׎ܘij~GNuf ]yR?j>W?ih5 }9w"|CT X.3E3@=F)QNkDz7]Ol|/)>@Vg'5[9ϕO|SU)%Vipgh=^FX:eI,BHcC% uc!䰚YNZcāǣ7sTAUK.tQl3A IAYgXU3}Zqؒgń#'PmmV̂cm "/( tھ4Lj4^- D)6v'4d9T߼X.gGJM e+bCV6O%!WD6 (@+)CH 5B߷ҧ5w "K˟˵|ds7~*"i86)FGZSo?Ҋ\4>1v[/JCPm!eA$&#AL+`@w2ïJ-?;8Ae˕k{~c[ѯWb#zr,Qu_ Q2RsR8P7v̧9wvҐ}%;H3 kOFj['綠?e6 'U:YP]* 9 C]8!gX~؄HʫILLxhhPsJZF#x_a}Gn luk^;"aw{\Az:TJjǭ/b4skRկCJ+)TnavWJ+GZ9c7UOEgldtdKVta1L>1=#6>ǣfojR/KzcU^%X f3 (W*8Nt벣a}6"ضԘʦ˄P mk k<hٺ_FFr& /8P&:b5O{-n4\32mQ禤oX<lXA!_{̖/Ưm3>S?\@јEl=Rw,Os!'cP˖1tciOk:۾wLve4( T]uځm`ؕI{eZJU%VZw&kp^/4ށ@ yu4)HwW:).IJr.ZY$mAD GX[nXIƥG!Ф[ a"@vֆ"U^-lIn'{2a"Y^˶I5!5p==‡'DbBDR@-,|Ƨk/ h?=0 VFq8Ն af f %gk#%4^'6B:@wL2"['fKXrkEL;jtq %\%9k?}OnŨ~vmu_[q6¢l8N2u,''ӆJOh; P fِлȉ nxw݊taofF;! ڄ2bGҵj[1&g£l.b5k#p 3Dй^Pr Q.KXU5D8ĐRĥ:E 燉[ FDO+Bٞ5gʥ+)< ȼhˁ ~ՃzQ3Gtjl0BS:SK wq#\Xң BYRsmRrRP(K)ݝSE}#[;q pE Mtojɯ+s͝K3jdE>_Bжrir5|]$^/)/"w^ƫv$+ L%P8^,Ei-u$Kv}WS+Mt׷$̔ 86R:@EAsrt8@7k'&;2zy-1OkG4|aTW2Aѩ5+Q҈hg1/N~wڒn:bRw08f‚ِ_LO!!H(Jw&ĺpPbl:tS2?۶%x04($FUK1P,p3&vKqb1|g_fe/xwqD:#\N7nMсAQMv$4[-mF~;/]0~Z Zԓp΋Gkrh/'퇘:IH2xWeTݦ1 I8j,$V7bh|? /+ $ިkT5efwwkf/B;kէ(h-XVclQ$@Ӌ+ЁRM,BB0I{n=:9z /;9^A)iCpt$+v}yZV1D䴚\m{J:,bħ(C`|D6 `y6ɛc/WHDטEQ{ DEs;٤(+ fGuI'7kXHRM܈R&~Y`}SjwG1=uz[id,z99l75Rho~f rs3D3r3FkL5t V?[ \eZ+IH)jV@IA?#D%CjJ?zAѡ\8w+9N q*M.iP5#,*ImZ~(K^(SдZA"Nv"CkNJ=88;i%}#DH6ˠنD}&,Bd(TI]]{*|Rf( $kprw 5kT=F0HKʁ_V0e/K9Z'EFW6Q%cdZ;T=Ȧ}ʹMӴK㊉^Zy<(hM>)(h ;;Ү9,\ vtTzUU0cG]v1G*]c[>Dpz$+ ˖[gb:Kג"U{iJ? `>ٵ@*:hsz ίC+|<:x{@t%9€*wؾ'IhpQǝ#]p*QK%0̷ ^#t+X rA*g=7u=._x8$FzvA63q)(\#ʕPQ̓:KbQ*dw^G#F:Y+'⮧T?UQ,9[Գ_ Ȥ74 1 ]XQlN^ȡ5F` yX6Jф3Ǡ& Ct (5~&*'Y0A |S ĶR2SCL xgO:Fj3Af>hzV7>9IaPkT OseXeƝ Mמ3BI0F3A(9"J5p*{qғ>^zݫXjפԈ =ΪUjKń׷C+|\f< i^v 5gnOh,z=Ej%݌9c:s|,'&5Sκb@_AF"P[fE[ؼfUzCE5R҈#-uT_8,߰ Z_v5ȳ?b[Ǯ;l%1gLi|C-E*t~HE"QM҅Ke^ Gu]L$蘔מ;`t~rK(Ђ,'=J M\x" v/lq\b(_So%/Z]jߚyH}&D5{ dr=Pt"d eyf>h,Av?U auzڔ3lLWf̋#z'۽-!kGF̚A.^ rA5za.MEbz=3oh;1o OCztYԬrry5o_{$T%<ܹ ;T8r8ddңkEGXF yh +fmf#@a?~ڌ>&!8 Puf8P`b]{G}LoȪcm]uCtwvr=-*z>A|?+ /ȤppHUWSV2D}2ĵ E۵Kϑ];TxHC9uqջHk]`p Q>9uQ~wHsR;H F4!a-ËdzMQ&iE68_C(!2QP F[[ƫ S{#\[ejU_9Hofֆ''p61SE;?i:ڣ/Hzm\#,2N6iS0Ĭ?:ݹDwah]!) 2#bPtc#l KADD::Gj@{99iDcKE\aidSvm9߱yܦ"Qc"'95SKGa+О$^"VV.w?z+Ю9Ɔ] )øiPC&Q"P Rۼl=n_Π ]FYt3{L$"2UjnjY/*0kn0RF>tTaEKtO5™Ore=Z_6LWSVĿ  .+ȳ=']mU.$J I=))A%i#2b{˸gF6f<~֩77MN]*E"n+mu _jdR]`@ J7M@V:mŃyj9(g,{I`"*U4FƴV[wZpSJ]krB:Q 0 i lh3 qYQMs=o:RDB> =;<)FNP G_G8Mřˤ:SX̙=,TeP/h2QTқa&Ə~{Üꭍ2p?=2 n\vk~}N{n>2aiE\ڸ+/nVg뚶- J$v7Hi5*`xC{z"G4p-wFvv -kw}aYL^ K{-y\-yffVʫO=ջ>"sg-nNqe˥h'[Sq&ZXR;α#/Bvj dvu3峵&dOMP@"!6~6m}Y/^zFkF:L5GkNr3aİNyQo%wݍ VlkGVo _'l'/5DXͶG-dt001`Wd2|O+!;ݽʰu2@mv Ҳ0Ty㨎,Q*=ʛZ'@]PqXJ^+S{iBLꟀ`:rXlށvvKl sq3T(뵗6"0ku㋥1k(Ҷ~:w<0TN(e.Ft|6jNTJѷϓNmY '4xUت1?З὆&l(0hl]Xuh=*7z6SӍv+'&y]P!޿^QGa+2;TRua 5 ?.UZ5xiS_ c -4l;8WtWtdѻKP<xڭ $r" (kmD:5+ZS om>@f#tNd.Zo?Nx .r(2 jpowA ("uuNyJF0AlI4%WZ~]W체t,\N5 5?%~ u9JAH>z0¾PaN#adx7+(Gp5nFb]&Lo.O-I TaXa6?Vf8$P{mc`FrVB <0Ŋ@~FXz >xR㴳At&;Y[)Damo>Wb.c8.Êz8\;Gk0'Nu\bdɈ~/8Č+oX秜ASS9s|j'jz ]U'udEw$c)LLPaP{hBӕ,ޝsvA1 t7jR2%r6BDHAȞE M:7DaCh#/0Es=v xYX!f9b"'c/+@4ڳ\'nv$ϽDh>I.dJoo0#c*2Ѓ7qrbd̙Hb uF*6׏ZPT_ ^ʤ7Iݱ7"|2FvA]S1ZzT%@JX@%fVؼA\"Iˡ۽(~ZpUUu-!R}wqh!g5.@e)ŕJ$=4]ivzM}.HShlgIc H-f0U|n*ZW }?.8(g=yzm4af1S EAfĥȠj-Ny_ 68ĹnWr 9J_@V~_QBx7a@ Pb:X]FS3fp yy m}a s!Lok: ~p0Op_g~p|Vz0W^0~H ie ` DM^־sn$,3~~yd;YU5h ! Գgᅕ &E(8!^GNc]2y僜S+? gLI5gtY漿:+,ZEK`S /dD5wXdyGS@;zɬvLqZWWZW!yKPtOŸڜR*lhHl Yw)6fL-M5-TzC\}j'x~?9_p"xXmNQ9n:x8Ert4wPg-'9,Ѕbhc[[S 9WBmI6';Cc(*Q0ΈrLz`r%::4ʺRZ@1ik( ZqJKHU s֎Ik"Nb D݌+X|bC/˿FT?oR \fEO c7hODǂz5=yYR%k]\y@] h;l:8>45%f⡆^T[) kIc3 2T$ Z䝼 w̵GnVsV|;.rdUInm;EgZ_rүL2a)z}`޼ѡA{ uNWMLj HNpu4 pӟ|,o^_~xy$GީB}\bX԰_'?!Ud~2@w`|oll@=fRn͇%8y׸66بoyn5tsw^CBx07HNi~gD@VnCs^8~\Kb͙lT}l40 ?ڃ(ԍ8#sfVeҜM^ƳOyLYfMitKvl#)p~:pfeC,1?e%Je(нnIԩc΁ܻTw"ty{:tE>KF;d|ɰ"[AgdA5P1d+tCYEqӕ}]pq\kh9 4ΧdP3{$ozqt -gR%H0\vUMXq2fȔb?\PR2}SL^CY#HFHi2X-jM ڔt9}UAZSOoH(T]<.nP9RNryWJ+G \N/Bi  3z*v`<ܒpԙv"<7M b@~F($1މU2LٙZa`t|uvT2)N<6pO+>ѓ &q4n=j=-kLHPJ -^SM?N&HTZBz1T}P3åS䴢8]tՋ;ǑvkPv­V:rpDL&͠! -<8ݹvSroREظat_NL)ٺ=&HV!3s 9}f n2gW^*7̸uecbUHϤUם͔zojE1qH hfi,HMn2 ,W?Adt-tѳ28u`" q]rIb4#J :B^]ἇb t$rewKy{Ы\fA;A'So[{eCb5l,Ϊ}J7 յĿ W +L!=eу$վw1Xž_щ/HL`];!G-5 jsO[F y=ٚ5QׅBXv}q$I@) LKO|"0֦,@U"?Y:ج1,%]BG!re7w4Ci =fKQͮ෪+U`eҴեZ܈[KgwYJ $tگ"L"qDT!Ӧ(¡{aNfF,VN{ϵ{8=B?Zs*b<)l:yB഑Wt*zg_ S ]lݲ8e89YJS qkF}(u}T#=呲3ŮpdezrowSMQL ؍A(^ʣn*SlDv,Ꮪ( 3dХ2q5"rP#S w:E'q, w)a| >~"<) CJwD&)Y:EV;φ,* ;%#<_5ɖi^0b[SNEj9W꭪m42xQ#j,0ͮ !!hw-@$ɦ xڸ<&=UIb`S63ˣ? wO*!=VDžOP-"h'o^r6 Fw)'-l\Ƶ5)c[4coМ(p_9%g$ێ XT}9-~S|D6L0 CP%(#Z.Ruݭ=r[@hQj;xT7ngJ+_l3b,Cү UKoaF3,emKE='eҼΒ Ƌ8\hlIo^j{li4%YnGr(m >I;GPG5;·Nz0aMb@V0*C?5x$ږ!QhJU^-̤ ͷJHShVeye^*^S-g6}+:j|Jѿ v^v2(3Њ @kӹ2Xu1&FF":s zi1y+O9L==++Y@Em^ut8ufKw^*+-4n Hnﶛ\P}GF^E ?ed9ˡ*[(]PٮuSʐBTM7 '"ѶW`"MF)~[֑ BGO, cbU"X-4ٮʔ錆HfC2,D~W IBAxCTFz1^ ѻ$@VP48ijPyN a)VuC|4rbS u|>x/ovUȁ`.Idg@}F$; wI;W: 0 T_hNFx .-sHo koC:<+p %B3~mzpN Ʉ6ne{ESz@P\,?N͉!Ewyعʛ| V56@y>v+d f)4L%,ýALv L+u+~;6rwk3=}6dņll7S FUfFGa&׿cg%-Nì^k}(U)ݿGۅSHā k&G9W600,~b5 'j9"J9@?\dԦj^safmo>%cfiv)C= KKlX8q4 >ӑk^xANK)$R e@RXܣ' -M#nrCAi}.U{0 T?On\Fqko~v$?ݫN6X6D5~9u˽_Aҫ1 XnBȕך.aB/ld$L6|P;-; %tFs!B`szQG$X`"?Yw +h=v}V푍VO3〳0v7j28 v.7yW$%!QDpԯxG-M'Õ#!Uwܫ &T4[vĭСV}'|T/;K"qX̡o?-wLjabyK3s|)v157ԬwYUcA}b= ͕]WRvׁGk]T;fajۗM2|Ȭ+$<+)}_e1hZo QCpه@ӂu+J Ьe. GTĴ81g~@Ҙ𗞷<JAԪ Unh`_ñZkIA_!p: %FkC"*Z