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 ~C T\ ]S Comparison_Sort_Lower_Bound:threads=2elapsed=7.812cpu=15.160gc=0.728factor=1.947zXZִF! ]ŗXf1-q恈͐7ӺV 2 CIMIIeΫ=_J#]Sx!EkI TV-]{ӽG_YIH7#|3(mU\jm\PEoc.A6vN K׼'/jn*]!oۆW{IERȜ?TJ~I ܝw-ڦlBP9NZ%820sWYv"%]U)4@:<=aIHJUHP 86oK7v^`%uSyԷA(_p$Li|9ML]X0,t ^.~QъU\O͚K^{,Vae-iPL)d gYZ7zXZִF! n]ŗXiɟFTp>>cP$qXLE۵](Yg­fj95odS0}&O 3*]0g 5 ^|7 v4s9]<&'{AKn!{PkRIl3{_Bc- v\ l)\*t*n>̂:qJG_ʷgYZ7zXZִF! 4]ŗXi%;)OꑿFyoUH_ġR1EHW/ME7K[=ډ._th*K|׏g#G28i^Z \88kɹ+ UVn7aQYo?N-xS&Em;S$찺jvyإBrkm2n}{ǏKp, {L1p%`?,dt{|8"d* KA"3̿X{I `o ~Ɔb60qli'*оB9v\}SMW-חP)i{Uz 3XӼL&x {5(ClɠeXƻ%}+j[  p,z#wG2(P%&=ll }x۫=!Җ.@ڧȗ>Q*[ٛ}Z+o9>|eqeԩVrdf |=r\Tk?lBZɵM #kBfd_2[<C;41b-`_5=ſriN+^C =ą;~ Ͽ)A3qMVz L_m3X:?G9vtv0_A;_t'| gWO7ը w5),HGġ(qW7+)^vO+P4w#lI5y>KQuWGEA&im3' |2ƫrJ1l`'_8d1.}k9m<.HTq,>iˠCf2%PּcWrTہ&MhCݧd?NFt\T9fj=gYZ5312826c00cacdccf00cdb49da23f03e3673046c1cdfa493abc57ab9691669c8109d13bf20bc65c6 6f974f3708387dcf61ccb15ff92a91ea3a0c06d1 0613e71e6da218bfcf5fbeb6e25c1c780140c4b7 ca14af4a60e91a4dc0552fca17c2e3dc4fe709d8 C Comparison_Sort_Lower_Bound )Ci% $Comparison_Sort_Lower_BoundComparison_Sort_Lower_Bound.Linorder_Relationsdocument.tex7zXZִF! D% ]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} Ȃ&&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@[ =RAARAvxݕ_“IAQ؛By1fo5 {rJ&Kb m+PiJe l{I&xz0 )9bqXm|@C߅#h"d# f:怸̨3t2WWDc'W U<[KIOVd@݂wK"ESY Rz[m'"}@2`I0&3nY/qdF>4wKHC?mڲu;}?M-A~aKHv%.ȶPܢ?޲U[+B1F&;" RΞ0RGTVDWaU^(m1zҏG<nT[f XJ+,;k+4z%Lv|mm(ûwd{ x$>сH}9絝^nWO.0 '(7vE۲wit;[ jpPh.'<*B\H9fd_m8Pb\5p/rSK\spbQ_˻8+4%/ZrpA&Lyik)ڣ.TU1@]4ܢϑ5/!jUApW1 C`7!x'JaEn$xu.D`2ڛW+F:a˘O$>7eCZ.|XP,r B&Y?D#! z=\K`qR}n sImvÔB̔2R&}g'wӰ":)?li~ƯomEhj, dnq^n;[֧s5:].}}%5n>qW/KtvIY հʹ,;O=@#gǪ/-iAdtꖐ7pc['\4QmFT]ls`wJ.XQmZ\ {]xa1@*`-"-8#*k_L$ѽ] _߱RVΆZ3#P/g/_ gdE[f}EBNszOνu D‘VIx$&kۉ, xJP/gOGWA_9q }+|VԐ\?xM/nuhq5(d5I:2X&!7pF(ݣlPWA0;] + H E ]O]j0t oJgÛ|H_J..CIx%r'f}ݷ/(1K_(1).?Oةֱ~(nE%6_]|!vW.wX"e2Z9mP[5l7,Kogcظ)dy8 Qб #MF@X:G 퐈u8"(ofbW eDiqvI#T~ ?QtJAC6~mB{0 YCQ"+8֕)3 % TN: /(o? :3C pdωuƼ$6ρ_t[g"ńM;bwʂ5GD9[g3G@ӶgHt1J%m̳Z%Ɯ%ι XM`< \HjVh,'`Bԇ$&5"D!}XEK@AKwv#vW;a|ҳ ?єಣg.L@]dY&޶:9SJVT^8&f@kg+je0 gaSZ|chck]*Z4p%y{]HlW~iKOA! ?t,UPZzt,̚*1iYja+ٿm*} :`r~GVO aU_$(ѵV;졩I3j@+5'mJm~:ҿfHMy[\'D-TF_xzR}A,A~f{ߖTTXe"lھOeTa~(mؒHĜ`f{ B[gwst"Kּu)>0=lAdF ɵj8tH!oYT9Ψ5=؀ ;@N,2Z:$M/ r? kVI @%s>hb5(4w3Kx@M7/oahP}aȉ:蓟cp/|u& FAFN 4E0\*qG̝^GϿr H.R^f9DzZB79sk^1bw !ot3u5ڪ0R ^9C+C|4k)`| cѰ]@Wa%ӈzR #g:Ao{IWSY̛ -jicPXB͞ZQΞM+Ae?_ ]2Ң>:Wx09Ѵs0nv

)9}z 'C.Svlދ"q?@n-Zl| hdLU"Ȏhu$N(8E1\b7YCrel$/>K/Z;[&'hH]Zr  Ĕ'?&pLrŭޞo_!NtC`gH'㬯1v(<:xbyc U.<+ڮ=qw=֥CڗHZ[d\΄yZ;f-:)̅8 EŨ1AxE"<3 p[3j9l7 ӆ3/2]<±]` LT{FݴSzO ͿbawqYR0VX@2[8xv8T}ujɑ9f$۸[+6 ݗĬ =r@_MJ3 .ɵ X1ʭ:2wVj!-Rg|0h uNdB( Uq:gz;l1#eFMag&p+cQj(Dk}ݚLml3;u yyeX^ ɒt@J.8n|0ӽٞ AW>bI5FZm5}eFN ,#npZ +G+eHeQ):Y?p + 1IA(ȲֵD{#^zO^̺,:,L0{Z(3uvRj\zɷ&*dӡb79C"-ֵz_jH ןܔ0㾗;M`(JX4v:>_96&+1,j?7x!4֗3 ,]ynAkwbh;,[WnKd_lo=6Ӌ4>!(@2u@'8siY %wj$w(* k#3/0ۅ]2y7?=OczXZIsV?x.[ǘn|>QÜ4%PSDa3U(8*,CbXiu_WO6NB ckBCah距4O@ڔ2\y8K/{Y]͹;N컨|o :ZM&I$_Z9h#'>'Q_Þ_|]H;QNFNb6mMckZ٠GHOUx/ e!M5<#\U |1(DCX/{Е~w4, _$.Bؼ!-`뀖FHukL,&Bb 7|xig_94:n ;}[xЉA1̅Tz4K>в2gYZ )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>~'KSNM\s"vav={fmLSڥp]_9&yi$r),|mhh2R*^c̢ß~+Zәމ>0T@| nL ;Uۜ./RHMªVL{ee9/({Q.NKx2bǧr!Op^d_{EdE0Öd úJnm2t 3^w:p(WeQ͜1,g6AWWa6r~4Œ0uPch-o4]s+MN/bo]7k2IiWH8Ow]E$[Jhu&lÄϛF>+,Ip½ILG4(4B?i7"D2m4jZAଁ3^x(@ed>0S6a7/'#Lr*&eȟg+@&M?pUy} o F89 t`<09BiOxn 2,[:UMeKIVMٽs]_(Ou.!-1u#3-V=GfJU!;DA~<[:-v^FitΘÉtӣO-Dcr\` b1d%]U=R|Ͱ1ywӯ72ZPeiFǺ`9 1TOEH^F+aU~ϩwڦʝ^h&[Bϥ} 9%Dpx[YX<Rȼf;+t|p/.!w[q/8EcI';ဘd\'Dvb,ȫҒ!Ɓ^kapoE#D}d:)3%2@mH8c3LUW=F$gOz(TpVP : (ۆ`S|`Ջ.(~gЎBG"8 {gk@Jp7)xO{~ڬ@$k_wD0>Jł=ugYZG5mdW^<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΂] 1_Xa`:1rԻ#G Ql yc #gNk:j-uK OMJeH<9Ju?NEgqtnew0yeG$7e-}N?:SM-eHqEs Gqn=6Q6vj# iY qǘ=,innńά8MLr[t:'CYxaGJ3kC ܇Q;4Ĕ[ \ker(&7Msv=wE12& r{+0<L`;bі1CA䊥-+{࿵#pbMq:b(&V]fD2'ڙ 4){.(/p*Tׅv9>v48 d_80 xB p{z`H?-qSӱ|(k[1K n+->`]wrwka#kX~_f 9L&VKUBnxX"K UZ3֐̫|5P9"_15 0íNS7F7#K<+ VH=fzlzH4¹4Ő<'5%vH|(׃V)ŠI}i'%W^A"@WJx;;u^th.@q^ 3=!0Ec8=jWwn֖yF1jgYZ XX)Ci% $Comparison_Sort_Lower_BoundComparison_Sort_Lower_Bound.Linorder_Relationsdocument.tex7zXZִF! D% ]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} Ȃ&&h*{uW>aқ4Ox>J M3:>cG4aaR ]C{% |Comparison_Sort_Lower_BoundComparison_Sort_Lower_Bound.Comparison_Sort_Lower_Bounddocument.tex7zXZִF! ]A-MՋhvG"uIBm5XJxڕֆ[/˩0p@M_EM"tPj:DUE4A0:*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Ɩ?*$Σ/.C |ie{.U3 :H>KJ?" jrOӑOΨ[F 2[ͻ?3Yjpԩx`.TcqIiI$L]?\jH]#tȕ]D1F&@o9Pkêdu_ IF 2i[D8O%1 z;w ԙ#R AnrEO5_o{D+SI}$́YB֮H4~mj 3SG|%UN:w~(1\;5Sg˜Q߇Q>zOUpFj\ /^溘}}yrK EN$)MjHYf[s`WBq *G $d .;wFdBr,7ISLr;tHC^ ^"P~3/5!m?!o!΀Dcr ZȇV Y fCć. MD ~C w~OwX%hқ+˘SL6tv0%IQ4&5.M. ~W ᤼Np"JR7&I/JAR~]}P& !*c:}=@ne F9 " {k! vy;lK\({nj=Bpqc7:fDD8)4'J􍖘fd2K9y%XHs'mdV->AFj޽w BVZ$6,g0B+'{ԶYEWʹXwOzOcT!>gt›fBg%/wX@T 6]dK{6+$vv?z^{GqPKh"RH"a&ٸ/⻙ݡNԪGM%; :8ʥ7"̙p- xUrUE](b/uDf \:Ԇt@iُ=n5F8+ĥL6"+ۭtZi]P"„O3zMo%v/VYS]d')\FԫQ&ji.*1mPu! O{iQa E6`~N@G؋DBErP4XᑧoQJ Ɇ <FGJhOgwƢ^AW"}onSiڨ`WHvg7a?,K)OLi I޴zM&<qK@-maVhP ]!.MU:/*`M~oV>7wXaMihU\bUK ]h$ژ{Ii_,~)Yw"&!/ h?1O 3Q$:x"Wӓ4R5\!;ygAх2  ov6֐cBNʝ084ݔo|֦1a&73Tf ӳ?}_< f 9g!e=N/ۙvAu {r!)'KinTȫdÐ.5Ke\Z//6ɇCE(awC"g"4<[ۏ:zkp0UyɶOۥ$ƹGߞ;3tKDЃ~5@oeC8?% n** 9jJS"׻!a*Tl$>AnGܓ{o]J~gTE1uEܚίO^tR8τ6 (Vq<5.'PCV"d440V' -ϔ89r@]l+paUsMvipvx Mk܂Osm,c|PI }.Q~ yhE_ XQx|YφoxK\Qѯ,QEy!*Ω@yH3oâ\mޜٗ ?47nZCί6oQv%2%[)k߯u2V:Y t{n1BXRȀ.Xxe0 mꑎ@@d(v N*yANq1Y[뛰?y3aUJ"F&V`° E^O1y(I@L ɺ L4}˜"dlp%ngcUL/,Sy1,{F/ÕxGA k(?>|,[V@T`qNłV;5WG+3%l5=fL~|Eܳ;GQ &zni v }.Gufّrgٻ7B&mӮbڀ*懗huHx-B:$1Wd-|cr{x&eQa0[}NU5D\ Pkrۂ/ߌ7{eeDSA-Yq1U x -)HJk=ӕT,S+=T΄m½:bǀDYBѼRX/7?znx\~ʷvHo~9/elkM Mq˱%wP@a$61M=({0I"ZetLc/y9E:߇0-KG7g)]:C_LZn&t@\3jHDߕ_ z2`vl? }kz p3Q [LZ (%Wʰ6Tfd+$LO~Vֻ ݡ庆a>Ȕدqj]H"{Q7qd(X`¦j2uܓfc gG&!; qjfh3fn_{qoV@ WiC1;d=~rbo3EDr:[_B _p18J MI{5ǭTaEVEu?/}2Z /&R MP^m4y .7 q*YvZr9\V\9=!aģ}w 9mѸ W'(Qmy2g1YS(Eub3$!%T:<_  ,1M7&,M#naaAy!d ~sz9Ǟ'29JwSHZ"9\vTV$gln Uڒ OZYV.!7T 0VQ^^? C`-^m嵿z:+\ݒѶ&OU79NgIW4%k%Fbq~~UNqsozD!%н}X\9ûafԨBjmSEWk,rzA2 S'GΥ6(db@Z oTϸBi /HF3䷦_ L `mKwDCqt LcOtG4`Fa_@$leN48e>VnueĨgрד,*oc# wMb cSwJ#Q.B;b )=Er0;v'~k{`pUy;k|vIQ _uL6^[ nkZUGd9!v=tȂ@gCf{LY"8Wuh5Ϻ7$ Yd}aVҜ(75%Wʞ @~wݓ^rK 41% M[fjS\=-ţ7nKO*#-R'#Y⥒q0785k ѳ DUZ4\ki\iv9ni]s޺M )w\bGQuN> kTfX\͗!tUԠiMoI[P洴Yp97y {4yt}OU ѦJ'-G0⚞oHGlSRqgmn.Q*@Y֏+pb\ɗqnLHrtiN'[jbE HI_lBW@ 5Cu>J<+vPv(\H4j(gjQ3/e>ېvMKx(Nɞҭ Mo'Pؒ"&ujQ;, 2X2:XWx)B[2>_UǾͳP9/s<(n~% ;Y Ke\7P쬑J1d+Eed5GPUƌ}]zDݭR;axD_4<'?@7^ETOJk`\UǑX-^L]LNb{D ܶ -yvzUm{w,j[̏X0[c밢e|3p"K8%/ h͡Y(ph,2$2CZymjRMkoWx63f_Q :Ob:|TP>2p];n9tf+t %rQPBq-Fǩ3^MI4ݚ?9\= ^E!\0X_/A)#jv˲!yɹ4eX67c.$l8UP=;>_Ɓ{uנ gLKdѪG \{Z=oNDHꐷ4k>aഩDNvq6:p酝$Ѐ7Hg:cN ND.~%Exu?x(o' ⹊*fô4٩ Mxtc{H"lLcb,m'Or/,` fE@Q7n iAnl-u$NJT!-ɂM@"lܐ̸as;=K11aa?;_U0aS<;ic^EG)LDu)w6;f;`2 FW.!;9XnHQTH(ImMBpoJp;ekQ!W= (T?)U{V.ofOM&W#&]mG.K|GUհACր YX{vmq!`; %a΋)᥵A]|yyIa[>03dy)k]&v.Ƶro& &+K`̉ۚ(SQqt8YN9v{)_7E|ƌh>f_wf7.gbP'1Q8au^g]<ⶁK g7#y9].3)C|$:GnUS0"gq5Xqy~%2/U6x+w+1CנUFbKZ :{&4"v&f57Yr_yG>} ~{a21'9Obj97(tB{$a>A2r'8 z }n ]=RjW]9@BgzwDAZJBl}RTKwJtpjC΅hw&{ŸxmS Tj޽T L{`kI[TaKKUBV͒5TJY ֱo]ij )$IU:={szĬv[(5WLZ|gB ,A 䊞!]*7Q8rqX*T$RwџCXR(Fn~2ͯ|Й-BdfUއp <9>Ng'$m Je2S7T#][D'1=LOT!qww 8mxU ᳱ]kvRzmqC3"7c&` ƟNK,~#S@GwV! ^j"-U];+ICzMY|6'>4#j|fELS<$TuJy/2"~5eIlW`sNgj?}/h*"(6߻C/wX^tTX]~ Q /+\]% dbi[o1_bB65gYZ