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 &&WCrD ]w Comparison_Sort_Lower_Bound:threads=4elapsed=6.682cpu=19.112gc=0.7447zXZִF! -]ŗXiɟ  Q=ߪNrǽY4Hղ{Hodi;!o8YLQRJ Y$w!!Rjb;Ci.$$}Qb1% "a͹r|4cQ8k:sS3?0rh^ɏ8WJﶸN/KbA<\izɒKˬL &e\G4fǨU\1<͎(p#k1P(1:y~Y >wRv<"Tq21F%>cP$qXLE۾IŃҾ0Y[}PJ@vsʺNWlׁ8|v{[` ۂǟ䚳f*?VJ .[bI5G tO~{ E'U B.}L}6j%eZv< dZRu/gYZ7zXZִF! 7]ŗXi%D4wzW@^[{ -V[ (v jw޷JX2VaцMׂ2TZ>H[:wMCr9ǎar59w5%W9(>4-l%l.]"k壍V{~vj#A#FoHN@ac,~viR`[=0߂ɞxFHi č]CA7aoVMaF3W*6էᐙ.Ronico<@rr 1ܕp92[=r:+: ~eVx'mԦ>,' 9IZ6 ]c:/KAΞP )Va8c>$WS~kS:(DП?p":O\m;v0Xw0S*F/pk9Lhi]?8ŎAJlU%RciyF~ _!4$YK(WG W, acD J|tPL2?SVʼcᲤ?2ҷKlw}2g3ؓ˥lK/0G#>EH=4P'R9F "bKƤra;UKYCfZ0mytxw! D]+ r58F7~?[-y|6oROZwۈn,iɀ"? :&(ē0ܿ(JqE!#`IP⭖`b84+'.,;WDQoDv@p1/⫲&aAAjjPcY20 srtP%(ꢁAJt]`}RմgE|:DH2jX=#y m,LpU@?=njΖtj18~j,yDczb'^Z3uRL]BhPe(3a?hm}/1&m;;J!,^KDyO@ԺeM:kTܱ!*5a,jO7;s @!@UAzUr抺vuE5@|ީ/ˈk ΀FѼq;aTU"p[ O_+C$!X.p:Ӭz !}r!NU0W l"it'>s2NlWB .4,(y!*ơ% 9-tE5xz`U#N4I}ͯJ_EթA4xf}4dT `7x6$6h2O~S Cmj|*JK~B.}  *--]u1;LI1$~Lφ<}HF ݏ t®Rۦ~Nl>u:&MryK*7TYXVM&3{l=L(6#ye(rqLLFυٗ ~H\w;f7q"JΏ("2Ϋw4mzMCFTQw n91>j;vKD ̭C=-N #3)d)4tQE+(Hz 5Y3jt)<)u-4qXR݆L@F[3oiOs'ZQ} Ȃ&&0:*LogEۦ\j CHc^3婞lI*E2ف&~۔C0&oِ.@oqSg $NwKE 4Bbs~R5&貯JȶvUXϺCs6ŠYҼƷʑ/J?1DV@L"۹XTFHmXk^RЪ'sR̾h .3<# .HG8&7*@B(2N"![[Ƴ89$bvz؅6]󶟬%iD 0%̌;HR_ mez4?*vӟkvID;Cl{2wVaQ@襩 W c X? oU-ĉYɃ q eW ͕?ګn#.)ڹPv" :mys5 z"ד@|ϴ\Bmf Ή߄(!Dz32E(x&|%'׷&OVGf b mi;n_6 X¿* L=5.kk Ǫ8)T!D"m>ry g_ R'=+#z-czwbF(D|_-/=(v>=UG2cmɻI[HBni*OCR{؋dVȵ%تT]D{ E4[VI@.]/˾ jR8=zbќmjR_o[7t' FMUeGF*z~ٌ"y(3u*R?=_c?*tu puexhhBa;/\gy{kxag#ZpMDV: R>A7$ +0f,ESK ÕsC֟QBAAKї`sH=(:gn 3ƺ"YKx>\Zhc9Uqކt4(5d%iWK ̨ ]$T}˸qbGc#Nl~췤_~dτKO-r TO2#IFQHш]BltywO:Uѥifu"֝C:=t%}e DpNw oF sBaAx4҈[l^b8-TYIecYC< 4@L>A}p>Pïe1AeJ,c(DJ&%b˱Wtt4nk1%lYʅ(.>sbX=:"3.@݅Ajr4ah-dp1uZK~EH !+[UG2%&i2ޡ5 3YeX(H;_7&9.um/&wǃͰ_^=7mڈѾ+'uGa3u٣xF$ኍQ{ߵi~PhVf>௩xVfHT 7W$q#1_k/LlԖ (+PнٰU4ԧXU=-#8JVL^]4a4fKF#9Ɩ?*$  @NCO%Comparison_Sort_Lower_BoundHOL-Library.Multiset_Permutationsdocument.texBC7%Comparison_Sort_Lower_BoundList-Index.List_Indexdocument.tex[Ci%Comparison_Sort_Lower_BoundComparison_Sort_Lower_Bound.Linorder_Relationsdocument.texcC{% Comparison_Sort_Lower_BoundComparison_Sort_Lower_Bound.Comparison_Sort_Lower_Bounddocument.tex/.C G5mdW^<4oOͤo54%"u|Yti޴ ˩Ūcƽ>T -u=fySc$}q7搛5/h3#;%B!amMmZ\Z$EMdʵɻR64tT4(g(H>nsO Z!}7Dmsfwlߡyb-]w=mjNta/Wȼ [֦Edf3'ѻ[%FTYAK?mFm썏˲@lfኖRܾuP4iPv .F!Jq}:N*T:c5Z*nAqgz}N@^{?mU^I?F6֒OA~[Zh-Pt);F&?}E곝a Qe=؋h7d5Iezڥ|#uT(*:fO01B(Q\3p fV!A1`mzR>p1\M,ra!W8mᙺm*hkz(@JK.c(-|n=B}-Ȓ<4 `^B x@Gדu%p1~Qy[W?\VfYБ@9CՕ(B?י8iE݇;*}뤓{s:+HqIQ`)L<(.PNrx ).|HޫNǾ8:% j%Z\.ԇ2 |G"z'行ll/Hvt2ES9nLTF3Q9feszgLwaE뾦(J? FOMEI$A ^Fg䤕}v٘}hԠK(Af.3CQ9OV3vft$gw؅T$2}*RaGVjZ =̵]kL;,"u`f yIF*"bEl:`ih>:ƅJ*ncyleBv3wJebG&c N&j̥eO* hP0х*Dd`F{W]I,JLEݟͿ= 2>y)RǷ0fI $jdiP܇&`8?qF&eg?N1xq.:Hɚ4ECPelQ4s`g;M{5y5]'r5;$^I؄1Ǻ.R!QD|o~%Tej|VIR1`Ks|]5S<>FK$//vV0~g9"nCS{~VXդ<;ò0E~ iV )5a)KdoڵtYI9`E(y+]ƛ&FI8 +m/']<hKD1]DxqHx&F4֏r$R>Cfzc",$!xvXCfon.8i,|$m^ʌT]-fz5d۩RY'%;zVMe]hNݳ} 7n!<6>Rgbދ1/Bڎ_OdwY}ѕ*{UJ}x7M-Epzvy!$9 ggɀ%υ \;T=ڥo#iGRy4ds]u'-;n" ;݄ZZRL2BK΂i<;bO "0lQjgc+6zHtHKM.4>57yavO] -Vqo%oJDP4܍W*jRxFYȌl&\k US:Fّ*MnX ]G o,2VDDR Gq)=hMI iҐxC6@ocE8V!Zkyl/bd1G9ƅ sXToKQ-(M\=_wU6E}es^FS||f"NCH#ߺ|lrIl tNP$tbXbLUGLʟo^Q<[{S`,%%Nk`"m@\å1F*VlnS#[_@Oy(?ZZc 6oTE¥KQs3ABT~T@ye9>ّ鷭y.hOw썹0;?z3EdH3M>ͪ-Cgao^m)) EBl1Q:K> F}ߞƩ&I DF?RKGyd7tX5*V4]8`ɖc8/ANp~z X[Bn-b~'$hSIu,ǏlDNeg(-, AG*UgK+C .xnĩ,ie Mgwb!1QsgYZv )wՀ[Cw=qCouTLwDby#[aЏ8==UiN,α8G*v,JY&::a+#Cݳ~vl=U$Gtj(5wJZwr%`5s }Q1@Vxh ( ) P|cǏTx4dD=)Z}5ǥx"RTew4XXa?&]eOY~X}] B[jܕAmY^Suy=xө@J9 ẗ́ s㷝_ ;M٘gcȥ @RT \?\GRGIg$z8jZݯr’;T\GDA-9 ы{_F @3FOے@I N!!ʐ{{&T/TF,hCO ْM/ucxP1idT2wE$r;Xx?GM,#Ɂ􈟦VPI$FSqMkm PQ q_g=dnВFB9>I`KL p2k`tșja&[KE3[HܪIRJ/͕=\n s eC'\TQ%hxkQcdѧ=CƻvTp;8hG oӿq{*U`d_&ةY햋`حa4E-4ʕiعc`"M&P">j=(L^O?2d@„rC `jRgq(YAŒU'ȿ{81|fyTrg,= Dַ9]_s꼠=͉W \::&?+l6 d-ҁZp`鸪P#&Tʁ\n3@hM=үiDQ13=E6ҹ琊Y, u$t+V)dV*N9Ʋ607۩ B*߀?8wNӃ>/l5eã;:Sbc|G&DQ^Szn4N9v c ;0 r 6;N*|٩nG2u|X!sg՞uSd Q:%̙rD=Y.h< ]n)axp dǘ:Cѻ A*5|D%Ka"0>Q]0L xPkcTY5J{ҪJ7bν/VE@K:^Ɋvbr];gc&gQ'W^elCmf*FBSwn4W0ī7w1 \Gӳ/p T!’I숂쀗ը}|k w"Tw.<#NYz|4*յi0;z2Z ks ?WĥZ4;}'&nFGFtצPZ1?<7}MazDT6e #E]cTOn=-7:?8Zn&ao)ӃjC]k9!5yrjzo,6!GDx$1\|uDfS+5Wh: 2I7G)5ľ.cۉxE9GXE77AS{]A3~+)JE\Bó̐]$qlB͗sߊo2{EM@e@8xw)#ƌԍro_ 2^}(E 5p}~H$Ϫ7Qc6IRBf qrs>#4 )64ѥ((Ƕ+BW~ddzB&< #k_?1ǷGv 4epQ(qIA2Qdk;ő9ׇ'Vor9YK7t< ӏ0nYL*#(S[Fg9uepJh/{Zyd*t|3r~NxqѴگ6ؾזSp)czCEu]LWRH> P+n+P'?NTEs\s+ Y_31iX1ccZ<ƝM$ɐArmZ\;6}?,$+dm!ItS4q੊?wECJuk Ny?%ДpcI{z_~>3 Qf[ ̞zF=J199mdHDxsv0~9M"3?5?XxT10p v D+du1&F'x,S-x.Pf Ek-yY1|Hdf+EeZ <>4֋jqL5,0JQ ڬQv휓6ǻ9uM"U[/@͐u_C=NC`exY׉7H֥S|on7l;e3U~&H"N 9RG#t- bс+ 77=B"q -Pp^U'ι7X)#4L` lPZ6rKr\V}ETf34da(Ex;S7w#9UƄXUjN,\e;~hק.ێFڀ>3K}7d{u:C Xf#9d&-uUZ@)P%W^vsI?RJ,nEgW0o8>L -_B*N>PJY<;5hz'Z"dk[~o* vV^ɿ'֤ ; .]{!,4@i$wh#D\ȕ^S7ޔI940:1vN{\XfDD->Q-)1_\:`e}v/l?\Kjҭ@F =l+14qu<4lk]!cp508XuB)tI7tW[5רiv:6be5釸!)vHdKW I?E=uf/^jT g!5#|Pd^(MY'O{`WMsٔ>}l9' 7v˚nig+Gat0ZJdՖK\2&9 _s >x}{ qj[f U0q5t1"aK])X>~'KSNruδ<=8`e>1*~ 1+aEsR?nc+.44Vo#*5yum5Å\j^n(%՜邋qH;4 Bu羻Fȥ7xv у*Z~@ߏٸ%ye&u G[V㺿9Q4GQC1Oό.3?[m QZ+}! JN/v>?5.Cf͓!3?"OS@RZ1e1HA,6H:#Πn1.+;sgAs!fDG fb/k:94S={ć¬ [[nBgvdaPRZ(zXKId?Z(vWѬp+MuY@k+ώTGYąp3#.F5KR>%oa+фp}X/M(!c9+EP^_[qPoZ#_.Kw3 N ƓkwwW~j.e܃[oVd0a vZELme-eB WkJ/X0UZ&ɲ#V{[p) jC܍ILsM=VJaq~҇A5<& x&E\0協MUKuExNOl4^l~Жc6H&|ctA!qT&XrWI28Dj偘2\.y:$?H j;Cpbг&FYuWUya?рO?iN%AH&"IQYsxõp T$ӁΐҬl_ÿ j e !ȍ;}fWFTh׳"eecC_vkzU޼%28YC&!؄Su/+8czU q䇋CZpIVMdd9=x$eH,9ӻtE8h£?mWR%@!Imhi-wC!Ұ7⥟Y 4 :@ֲvC=mYj)a0(v@ MJ\[3tF؜Ə::Pĥ[$}sn.=)V] o\Dd⧌*AJXRgYZ #ǯ]r˹ݩUOeDr1ۑ8(xdԝJ[(bau*'$7!uIՍJ}1o?5_qKtDG\s{814¥1[y~;| S]7y]Pm[p DH L2A[nzT݁ o K(EoYc\M&^I gR%, l|Q>YMpjqTk]dcRWþX]ߙpb4΂Rgz0#}  C@] *2tIX"LVXǣ>WAk,{ngbX)oIX[ӔRˁnx,0‰ǞW>95zxFdC%2O=iOn1C'gd܎:,eD/B+$N/7 uׇNUKw@\B^(DtԙKM^I‡s.4BlnػzfNN0lYlmeȓ({=Cievlu-Ğ m H} oFӁl,Η3WыSKp{H#k)b&qu %TVya$ɺj_E*UBbl!KrG?𾩌zڤT ko&~!.V֤:t^Ei9XNx|с:P$K5f0j + 3DDW6=#bɡw4MBQl+ajA6d&בfQS`xۤd%s*F{# Cè;2׻Tn# ~xnsYRKQC)3Zb(oX,I=%YVsŬJ|I㻢OZa>jvkzlZ`bY$%GM`&W,Ϗ49Ng X Jތ]Qwm L6ѦOW*&Ml8Ի,k6lNI8vjLe%wF{Iua`R\\#|~]^4!*RXڂ΀#Oޏ>HyƗVROa9mV+ ArDr&i tvN¶r>MVաIԲ|Yc?(FCkIiLds/u)!q.ƁBeIZ(ـ݋_}n u0ۘ,Y3:$qa0cTERst|Nom w5RMM=F}4[hO?CQd sUh]pBiP[P{zڧH;kjؤ-]M9̯K@C$#ad_e* xJewlCZJ "z =H*&8Tc3[`9=Jr gH{֬?8ZS,Kks=KHȍ6R* c(]]< ){l[RA0wtfNFK "}U?'n؏`sRoĕ}>X!sg.hY1A?Y0sKgnXl M%mmpPJɣ6Bl:λg})\f8Qf삺xc'eP%vBN]ǓHRYTFdsP 'Ul>fQד K= E90Oη#nC̮&^!D'f2QRꚥ)d* WRb&&u/*>a%ll ͽ xx!x2Ndm@pp.ZyG1Ӈ|۫77g*C3!߻ՀnF^{LSGvB pEX+~!_BdK%L,f|.]-} *zyva&&j0(g.3^̹xO "l Gлhq'&I\L1'"VRRsag$-sm񵬟ML!W̜+SU(ao"_xbP堅Li-wnU}瓲%nd7lLq"ՒM^\Ht_P?Y>KwBۂl n%g7} I`:b.JaA`nݦH i6 04B)m͵@Co+0|MއPJ5.}3upKQ.H[0̎Գ)1#H[? +J̈́<ғ3 QDM_oU)r:<Ɋc1826.{78{./e v:TФ󢶫qU W5%4)s!o4ӡ8lj♤<)Ut\U]>A0oVDkUCgG99~dS\%b/- 3z9\Q >b }H %ԃTB4Qfebbyx nE:a6!(X"E Z(qak3h%P_Kf,}3Z)ܞͦ wok8S?M2;/d1_Ie<>]92燱Q=(k1BA5BK(8NGFszgos2Ҩz85RAr+ O{  @BVZSWM9WUp6vob;A>t+Uf1<* (Meg\G"' I!'ΙAr.?!AHG#[O QbAR2KR2/ΫVK|KAqj@e9XNNz!χnV?bGh!> tO{YGZtpK$t5"E(cV.zut]8 7-O#mX~}1.yu)HT<#fqUudY7;A /Th58uҵL289 lT|<~f.|5ΐBk}A >V `YFڄP%.T3p+&lyDGއC Rk?[CNZ@B:ꢜ>R-$8?p[$G8K)4be&_y(%_YXb[W"6LY컯ŻN#goAr sh-_Ym+;$n$5ݸk~ m)*"NxaDjf{+JұsՋ9ـ5P)>IpgFrʉ5sڿsFvhu-VFY>mڔ]qA@ !:~2[Wvɽ,pHm;{v;-Rv?}K`@vBc"|ԔOvttq5Gw;Ze9z+mnD !m,P砧]s@߅dkU7V*:xj MF#7${jk tOsj!r|iUmOb7^u x{+h2 j)F 8e{[~X2?wݷT8cncoi\H?T/au[HS7s$^yMn8a'E2uVLًWfB7YbUfmC0ZU/ED65c|AяRPppKvvIGc <Ů$4X{d,^5dJ LhIRI\_H[Y<=nҞOk.2#(g>x'kt#kbҴB85K"}`/9* ˝1ޛH}0 g輯TQ@84)jS5̯O}Vaq\ YqrZ 51Lh{g39p:B NwFCNs.G`Z[OmF4AGH$,j )q.WZSgϼ*阿}q]_I$3Z |ӹBMȰFK @Qn4߹]`YqL) 5ºyyyI&_4D{58:L$6jVZyj~-=>,Xh+/"nńWwuTiYiW)}Qaʧx8Fo (iy _JYά| @s7tH{2_9nn!EBbI\ݧ3ȷ!k0S RP{pF`X҅ߟý!'Fta*n~` {=w3z7uG |JH!b#m p&tPi|&{, .U!$pŢ( <+m2:4g6ӎE|&=HŚfj(Ԏe6c*֫'_ZM T E5/4N'u>a|Xrc5 q*/L 2 g6Nh: 3WD1"{Fx),/ȑ&e:f%\B-?H2_ts ͂ X*\PMԚ$W5<+^≿ ޻-{ጀW@ b/-zp'74Ybn?\J *ɾXWN|UPhQrIs/dE;Nf/WtfQK} |/5`"&z~cj=Xue\|֯_Q\x"e-]YrR>z EӲ`rCwNE5pPU*iv%"kS wP93 C'ɟ.؏l].riUYf:QMېZkst$"w}. }$X:7i=Z$3 [UK+jcD]vM9}\"$_f 9ߎܭ[M!*IcÈEM?pMl|k3b|= 8^CC9GҤ`cff<:߱Kuf;6V^ҡy?΋d%-cjkBpQ@["V}[\ɐ|1n?ސ; lIrGR2!+gYZ & Ci% Comparison_Sort_Lower_BoundComparison_Sort_Lower_Bound.Linorder_Relationsdocument.tex7zXZִF! =%]A-MՋhvG"uIBm5htgH\K*) RI[6(tfXu`; M{Y Ջ i$T{[ j,d?ͫLh5~ 6=@tYO m\~2&]ot uk%n7>aAAjjPcY20 srtP%(ꢁAJt]`}RմgE|:DH2jX=#y m,LpU@?=njΖtj18~j,yDczb'^Z3uRL]BhPe(3a?hm}/1&m;;J!,^KDyO@ԺeM:kTܱ!*5a,jO7;s @!@UAzUr抺vuE5@|ީ/ˈk ΀FѼq;aTU"p[ O_+C$!X.p:Ӭz !}r!NU0W l"it'>s2NlWB .4,(y!*ơ% 9-tE5xz`U#N4I}ͯJ_EթA4xf}4dT `7x6$6h2O~S Cmj|*JK~B.}  *--]u1;LI1$~Lφ<}HF ݏ t®Rۦ~Nl>u:&MryK*7TYXVM&3{l=L(6#ye(rqLLFυٗ ~H\w;f7q"JΏ("2Ϋw4mzMCFTQw n91>j;vKD ̭C=-N #3)d)4tQE+(Hz 5Y3jt)<)u-4qXR݆L@F[3oiOs'ZQ} Ȃ&&0:*LogEۦ\j CHc^3婞lI*E2ف&~۔C0&oِ.@oqSg $NwKE 4Bbs~R5&貯JȶvUXϺCs6ŠYҼƷʑ/J?1DV@L"۹XTFHmXk^RЪ'sR̾h .3<# .HG8&7*@B(2N"![[Ƴ89$bvz؅6]󶟬%iD 0%̌;HR_ mez4?*vӟkvID;Cl{2wVaQ@襩 W c X? oU-ĉYɃ q eW ͕?ګn#.)ڹPv" :mys5 z"ד@|ϴ\Bmf Ή߄(!Dz32E(x&|%'׷&OVGf b mi;n_6 X¿* L=5.kk Ǫ8)T!D"m>ry g_ R'=+#z-czwbF(D|_-/=(v>=UG2cmɻI[HBni*OCR{؋dVȵ%تT]D{ E4[VI@.]/˾ jR8=zbќmjR_o[7t' FMUeGF*z~ٌ"y(3u*R?=_c?*tu puexhhBa;/\gy{kxag#ZpMDV: R>A7$ +0f,ESK ÕsC֟QBAAKї`sH=(:gn 3ƺ"YKx>\Zhc9Uqކt4(5d%iWK ̨ ]$T}˸qbGc#Nl~췤_~dτKO-r TO2#IFQHш]BltywO:Uѥifu"֝C:=t%}e DpNw oF sBaAx4҈[l^b8-TYIecYC< 4@L>A}p>Pïe1AeJ,c(DJ&%b˱Wtt4nk1%lYʅ(.>sbX=:"3.@݅Ajr4ah-dp1uZK~EH !+[UG2%&i2ޡ5 3YeX(H;_7&9.um/&wǃͰ_^=7mڈѾ+'uGa3u٣xF$ኍQ{ߵi~PhVf>௩xVfHT 7W$q#1_k/LlԖ (+PнٰU4ԧXU=-#8JVL^]4a4fKF#9Ɩ?*$Σ  e CO% 4Comparison_Sort_Lower_BoundHOL-Library.Multiset_Permutationsdocument.tex7zXZִF! ~!R]A-MՋhvG"uIBm5 6+Yl~ay',5CaU̥tos}cZX4Pp0:`g}HfA-[1#l3KimT<xљrgDp2[q+V| -6FJP69nty vmdNM@tP,G=3~C Gc<i@ 5^xx8ͤhMrI–shbxGZY^Ҁ Kz` [ a~`KwV7l`zqK&¼_;s7䱘U)+I\v7f&1#&P9Cb M C7% Comparison_Sort_Lower_BoundList-Index.List_Indexdocument.tex7zXZִF! 8#]A-MՋhvG"uIBm5gq3P`J깓YkqՅ| Ii 7I/rDŽ:W1hF [$'Yc!#AFa(/=O@@,2;HГAc` !\k~P$#32{\ QqHL瀑$Dɼ QF&͕5Sϩ.%}0zڜ/ΡB)qwc=@Z^G 0 =yi*x=ir#EDRLvE>h*{uW>aқ4Ox>J M3:>cG4aaR|ie{.U3 :H>KJ?" jrOӑOΨ[F 2[ͻ?3Yjpԩx`.TcqIiIVf. DRoA0o+U'OXz¾ 'T ڙCP3g[]o ^͹(6JNAݧޤ]uJXz'\)fj {ʜ7k<ΎƼ>wv&A YS3]R+]q;" ]+f6 нIr\J% "Bn~ZI2&pI'{q[H9|~P[qwT3E2m%4C:Y#DM|yk\<њa"~YM\z8idws֋퉉xyQ" 1Mkv 4g+,` $q HS8W: ^z)Z(#CDWF=v1Qs6H\ĒPPPгPKešB?95-NA Ew5kdH> XWu5o:3VL%@ۆ}=!T9ji!AԶ퍟&31Ji/)hdIvE<@ aGBR%̞ =͝ 7fX';ZT!ބw{v#A@Aݹ"Ț`KWeY9]$OR:RqI4a|ތC$HgA OMrj#Ʊ/ ;O~~ڧoCճ0sސPRN'8,M c 17mAf"|bܣ nXsd) j.dOG&4ˡ'jIuv {|):6sK&݀њ'3һ`';TW"- 1ȁjc8ZeP%_&A^2*lX>|w `QKS>B9ۊ }0iƌ?),× @3 7X9rߵZMWwR!ei< UT( u:"hΆ竝^`|^[ZZf8󬞛g6\DTmM#P@O㋻6vP(8n<ӔLwGpIE˓݉x)mUyFU']|lۭja<5P3M;-w/ 8HZ0r\$(?t]})'̂nV#8/L+zqPv'-M.zD(|^j5.Fìu}A"* ͭ%!?{{7ۡ!h'ܢ+ZRQOA?ЄNs1ج_VLZ:K˫!S{0ϳܚ uV~4wQR'12ګOǽZ"k~|@?,f: QLheb/Bb'9+ވ*e>YcK;K{ﳄL}kv xF^܌-`Đ$6%sh،2'ADBA<,ޞ eb-42\E {&@b4)of%S&10[f6YG)a1[iuD}s!ND]@-'7KBk8Y$P@8@4IYg[2po~tzlYd Ouwm~|s-\!7 .@nIyP7t^%ԃxO z9jf͖io) XP ԓHX&xeTλ싧uP`FVF&(,q(u(%I$7wC踋4»/0gLƺHÔA;wx2Qܻf)΍i_)JGR-s`k$: NqaN̓&FT4)V*բs;+ZZXI1!^l>;~x_A!ٔ0_KwӬ fRrQr{)WB;TY5$Yx3,~ɵTɟ{bUtڄT!6=Z0u.ldcXD0DcJq1ܪi꛹N2{tP<e6lϣK&VV_i}$9 ii\ҭ} D"U){m*n$K{\D:Frlxh5psP\W> aqd޲ 7=5?*o!(i@wbeͅK?C~_WLڀr PΊjݜv؏:N!/*.GfqNxnr : \8on7z0dEBO\rJD-DCmAu0i$ t$&D*{(kgWf_w h3JtE%4jhx]o 4s҂!BH}N#1#U 6]_xXN?)|E:VҧQ9T7S!%ꚆE9WP=z:TcQՑ WI)61YGZK7s%yH\Cy=lc}eΡ[)(v%3D5O"Ogc>8-Jn[1` {tKI>-xUq$d6EȧEΌΗܦ\+:{<81DZj% x<T+c*9^}ˎ*s!I ylh HQjȓȬǞ ˻ɦ,qrR$*;{֧)OT @3 aFj4*W D0SorgWVz4(`l#RqWA̵RkN5J<Ӏ$0..k3(VE\Q|.71yY &qۦ{TZqiq` q?wGUS sߙnɏ7ߍЁ5^%i;.4)hxj`g锢 y;:~Q5̱nwҗq΋L'mKv/ jaC VJ6N3Nd!YEN z$ ~D")0Ay;z4qP|Ur%"ȸ1gTE#/"oaDU(_ &3+GH¶sR՛=m6HQ_쎱,SlA0w`[I{k'D-Fǐuxh9bX16b%uXl96'n Ntp֛1I>(1ӭnd,cpHb:R>@Y>Z';A3zcwkhi , g䢭kssF "M{F $X) oWfhlDYUeK62ݹo/r}] Ƙ'2ƣqcb|?"a8xPY]t7db Hg_TpxV*{oėȠUf}#1]̷ca]ʻe%אts=(ySl7W4eQvOe Mԋi{[H?}S=]_C/WŦͳuriF6x{7܁5_27dAӕbߧ]e}͔`ЀH:h(P}H-{PulZ54w}Q>q— 9kN'A-zw%N9҇YKijTv8c TC+J!FGD+wގ}'[ft3 >BaE{gF¼ҝ=R^ "4}5}2 Z5C:)BfeѠ mo(kzȮh{nϵ~Re(U:cYٮV w&W4h!8, )>$(_]_ :+N$hNI:=CW {qp0u3ѥ{J@NtC]$,&/C0+TvT},iм\T^Si/1#YwMUșb~070O'=P('!Dγ&ZΑiH=r,0StɀBVOфko@9ڪ=ϑ6?MJ Oswm%u<<$fʺ1VCXx8H |2y>=4y.V .kYHH; N#-$*p],#J[O+#$h)ABvϵQ Kk$HB夠ǺڑBGX < ^x;`]hԻ)ii~m/5f1fQ/3|sT;"G&+'C6PVo%Jﺅ/P~k@Yė~6~pPBX4i!l4׍51?n̦H:ͥa>P@9b0߃#3҃wB[ᥟ n&v,co=ɍLyd @2HZ1S)"fVk[Ka,Zjg28;WZ%2@%ޞ*Oa:{``"(z-1M?%f72"D!’/,a>u8catU^3ltQSn0lj/3$"!*3C<ԌKQ4@`5h|o4tmI|tTs],0NῘ?ӊQu& IqΗ',M{ fI;on$L_Bޭ:ݞjc,U:.&" bFbfIFLeP<k.q﹅w`2"8"k/8?Ck3ע v2i<3pCwsz2d<) Q>kSjAz [yɘaa5zKY^#rsh_2K((-13H2XȐ 9[ayOp?[X!QZ ّ!Ǫs#Ԅ ^\TJ&&rt~ڜ"C-[&9!xTh3w! #9G@ Ѣw u{ nuD'F {?imI㬌2HFa&0NLx| րZUXt`=bVG5'؍uGrh^&-$-[̩ 5T|8[k4FK'bFӾf/:#Ʌ: mdjɅ7Ci|;HgǖT-46U 2#N59;SD v c"O[ӛr=Fe_8Ma}*Ê~ {Ts_)h 7vB ɡ|P9_{tqm[ej|U]m;2zK!XZJdZ~^OH?hxTct.H6XcIg݌!Ww_VR%S6US@JlbootSvŏ{kqCs|op.j~N>[ 竨ƴ'HJ/*2vbfy\rOd.2bW,b_s"(*_\Ho3/rKyL!צd5J(_N[8e M%oSR1 rcǥd*e)Â7^`}h֨6ӏ1':#݈m݅ق5wb^d`mI|;Z߂C04Z1!zLpZCZm5a;XM^;_} HTtuV+e?YP$WG;,"T<')]}0%'<OPZ8.S+K+ h[k같LhXGjX\݂_\V BϚ{tE˳`47}5 [lvĥ=K<2D~'QR<5T{x+BrgYZ