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  V V3~L ]/ HOL-Data_Structures:threads=6elapsed=248.181cpu=1426.812gc=127.6207zXZִF! ]ŗXiɟW;g``ϐG: AGoB fqb Bga5MŞv4!@|dUE:~"P㼵կlŢ@97lN_ &nBM VF. h\r [ UMeF"UW2\.2Pu4VЀM?ls¹Յ_;}{d9`6*gȞ2S)"q[< 3ǹ4-ݦDdE{C-WBzQw(Rt'?0 sHE(RM Crql^Ly]jų~B}HЕE Ke`۫A|Ri\XT 3 HOL-Data_Structures  _)7^n2{ ,ced_]6%X")v~5NFֳNPW"CfT)e!rYY!& ]=I+9v.PMT6MC%Gza#>M<1l&dN$ί=1Be |c2=0@~+,Z ?AOҵev){a,4DΎ𵻼*&GA!l.G~=N|Y#sذ|#!a~<΂hS?Aӽ<u"nh !*\2*z4ön2DB: `#$_ B- 4F\Wvs>&_&&7v}@ZA&RsE ue8%ZŠa(DZ"N͊wcrUĪ,# l#4Q֑$* y{('b+h4ڹK;laT#Z? {a2Z=A'y 1wa){<<;Hs6r?/8jeQYgpL37GKuWȷa"]F!9Ԕk>Jh!Ը !.F'4+z !GJέ 벥-J) d1Ƒ F -5svz͇x@?˂=%[<|:Ũ51f9T$NS59kШ@uGrM6H`3;BOd3Cr=TGf6B8h;QRpP1.e`?}ukoU͍@`/iAd`՗Օ.FG1">څ--j gA(Ԩ:} zp~~DY(ik^$H'EnX2s)%um)tymEX֡_B6 *VYLҦ:VE9ocY,iOR6PrܴE6Ԁ:i.cJMaao0ThrALJ=~q_OK:Ie#lS+/DcCkkyv*ӌ(gx6~KEG P@Qs!7 AmA8hxuҐ%v6Gm؉ pd)Dw[]c˂{i8jTR儏a"Gn<wEnAʨY7AMeO 6H {?#z;`[:4 %LʆK0c<[g^TȪ.\C_I CUK 4?hu7vą_;&XZ89 { ZRQ(]oꜭHY:Qǩܖ{fI"i N񌳘N]Q<Ո1G0rZ(!ޗOEI+EZU¼i5>KE@v{ i,b- 1Mo0Yp3\Y{Pڕ?.cO;qe GJ $*E@K3tfM?xI#w6$ڮ nۖеll!˄J/A[ݬF`oQe!\,K? Vg3ki*t.B ^4{7vsJ2j!vyїxї/ڧWA'pCಃXb<&jKnb̾[&oo3na7U feԯZ.`&yzAA9CrZw%|+0SWGl=z\ziCuFtqoq 4J=m2b,m2*unɑvvF3 /5!T3Un̏-V⶛%wjP@yĩD(ʅ4gÐ*6 k' ?>bXq\Nk֓i+%n1KjL %SRb$N~qZӱ8u*V!n~C"6 cwOV[{ QC;W +!rP-!ꌞ MTA3|aLŎעlaًǫ7JZ4'VM>V08{uKDݧYP *8巈jρ۷ )MdcsX뢠FSQa\lLMVh>*)az^< @PrRPuDgď;iVbJdbȫ0$L5>Y?m.ێHmx3 spt:v>)"? 4u4Ar}1F%~&ʴye0K1s!NuO£ s@=i7ҭ@+BUSPLlH5-.04{* ɯ$$Nn^AWޛ\)wnQ*ބ$4O],Zc"S^yR ?j^;`,8TLiV(aAcM0;GIB6#w̌5˱cn4Drr=۞D,3 "Aق?p\ԳpC(sQ~DX)nag⇝0,K('<_gJ5K`7nޅR]?Ai jl[fEۏ|p0yّQ-!vm# Z#p+qm$Ђ%r! J̛Yk0:] d&AXtՖ-Q)3ѪY%aR$)H,̬:(z=jwvP~@Yq ʥ0BNW;1 mPdG76BF \>ӱP6;\^;ZkP8<*x-cO  U[z6AHu,0<+͓ qY $ZRuA,v#MiL s%DŽNОUflk FDnG#f%Jw=jPLdT1)F l\)> O'`ݢ\$o HLl|mgUEȞWXL2S&g|_"0ಊ"?Y]Ԍ6j}+w5o.Wq٤])6MW>RU"Z|Gp$Kl %mF Mi̢A D';*\oSe\uik4uJ]aYeĘE\ן dACH4X7R )T_ HcV;7)ge2-`|Rs=ވce#ܬ^,;ٕ-`q ;EV*:¯`9K(Ж!ۼnN-;y홫3&*ѱgYZ7zXZִF! ]ŗXiɟ1]" Mԭ02NaD^/*7ѓtӡ2D}Xb\ /F%+Aln.BΘx^b.qG6~NJP՟L-`? 8iFu3ݺ%IA%c|kVi`~-ׇ\^`L\36>Sm宠ϯ+R5mࣨlCqwPYw`s¹Zk[|Ϙ>|iGlbŭlm*5ߠ@{Cj_Tx+xNg˕DFZi),}bƍ -t'e#C|诸nd9xmFx Oxvr~!KB&# xK>kz24ɟu͑io VޚPi. 'y%v!=HBJ GYj??_#Դts(FKX[F+ {tEG5JHavi-f)|]0OśQWT*FLjEj$͞ y"wskoqw`M h{}h1Ot \HbKӢHbew`vU4Qs$z8Iw?z*/ Q+"%67f8)[(0rՎ?Z5m*p"-gYZ7zXZִF! 嚊i]ŗXi%L(l<4&.27D\a\U=;`C2VA`uʏgө[}]H(X OR#xXeLk`ɵ.5,҃NK *0Cs$JZyC G%]-tX[M0SS;}a٬?З")VtF.e>$#X[,}rC ig?=g.yl@Bܷ.Yַ-da K*tG#@zOj $ $C>yC :egG̣]:Jc^ft*UYYO` mnTA8-94'fCodo{Pg/:&We/Tq˯ګ>vmQqs&źީoh68ow!n :~AAq3 mc6 {ij_-[nK ʙs{+ZCPy]K &KIWkZ5>t֦?V&NYK6f^-[ >[P^YS7Ek3*zM`pwyH9_@&zEmC‹ռ/yi1®Yy8.T2:򸚁vUH^REH BGDd|dؾ+G8dJ} My*!_N W%T/lIFioۮ镓)$G5=SrsepKr KYd ?Ұ SfRo0N4? ȔżB*T,d>'‡,)f./{ Yh@;Z7W-#G(b^U<9\m^ hOLRNhBc3#GwlZ@`{3G0ؕ"j} RA󢱘i@t)>~ELnM{m:Z7,aF_c cѢJL23dEb@Fxwģ:Ru+^G"k.h?V)v% S /q$Dv>`Ѭ+ z06HUWdӑ;@yj0$cd [@ RG}%>W_?xX؀]L:k=@w`;kaVσuq.Jȶ4_hm:7J;-v8kҷRBKF;'aC%ŕ+8@tvx#V$, Xۥ ?T6# q|d`]j,vy["&^Q1M!{F\)FSPjYsQOliWpA ?x~aȃ+ NkOCkt( (60 0dH}tj< /OwXF aOAFh3VY BM(XۧǖPxV#4:zbp7~NG>s?C؂3K.0\OJNR QM +$їGH(`4eb26Qc􃻟9 Ͳ+:^bJDE:Zwz''bS&Ɏ*uxS>*PÄ.}U\v`^0~JϛːUڤ2.nb~J:C.t QB;.t _mz`Q ݢlXss6YH8_B2וfyi0 J8bKݿ9q?o Fub ܧ?z2ZT-N@_ r>?Tk%Ⱦg{;e/a֗WO1CN?j7PnsdR-PL#,91U[pVe tf%Pz^;(v jw󻗈?mZ>T*X(9{QiK0GAkr`OqLiy|/Rʅ76-^Kt%grVqII%e*3?ZU7Ȗq 2ey c1x٦D1'V212cJ[Y2{`6f~Y: wM}~}f*18R\8[SW@!ywzGꎩ T@C,7j*=e]cFvUR AIO,yjH\޻F{9X%JNr²o=W$苧^uC_nq8+!lu1=}jeyo)v]YdV}Vp Te(v hf\I5N4bJɈlU醉wrj?wWU<3)uYIvq}'TqPژ0x7 )2A#ڼ5UׅxpnROHո%-ݻ1[!$lXIkgs^ZBٱmB1Y"**y *QCq|*I}}[b&ʏ>pcH ƕ/Qh/rFKXy?e  /S0 R({i{<%7mzŕNRK iEW.#q`YzSo(}dbģ_Lb àUZэ ۾k%WO[1zf:˜2^eo" 1P.G`DiI:ZʣG7>d:vk F\nUV=ߐ"#m,!5oY}:SSUJb-g}RL &WtI9&I %19⺰p&'y'+zpYLC8Pv6c/B6ƊF4D]& l=xѱd] %rU?C_"\ ek[XA}Jn__g$(E!t3|p* N`#Kn6w|s: sa4 )Wi8S̟PCK6 u&+ni‰'Lvc^Kg8w_YR{=}Z`-};3d숎:z:!`PK<]pBJE8' nJc JeDͤH!nn/*i{_8jh|EX,mdi( .+ϭ6'Q=n>4&SJ6 (R)) 4s(&]l"Կ>0J^\qg"# !b]#V S%xrA>MW'agT Nj[zRGNd`^Vg^TO6/wxB9S!~E7- [t*"ʡ̫VQ6%HӖOyS ϽBW Fe@GL \a'^ދԵeҬQYԱbx\1MU_5|t@PsX(\85=rDG1 I^_ČP{)˹;J5D5]p41 _O6 ?p}$ 4qh9לIP+4!/aiH:xéʢl,ܤ8z#+c;J~4}EtP=Tӗ뎋Fæ:9>JL)E$Z۔%^VlrGSeҔۿ.n ?*tY"É˕{O_|(RQ 3j.(C׵mkXސa,TyeP`Dq*Ϸz~O@ˌs;p#4 R麍D̐RG͹OH;pRț]q%b[ _vgԡoB{cGB8?. Aφ ӕa6L$I*flZVKeRr4~ƏYȨm8L -{f.m6Wo($jo.^_9I w|60?F5U.=^=S,+ VŨ1)nx3-:~z.,օ~Z0U^ƚjD_gH>Πɝ̓LꔝAѷ}1m,HwзjW ߟJOz`NiQ |s"v v eED|OΓ=V4Y u{,PʗگH=LL@fc˒AhCR$niUkE/ٝoJ4PޫR5qFY2 <Զ]P'zb9 ~cĕH48eqg˲x\GR{Tsݚny/;~1?OKRb)xE&ckJdq>YƂ9(V"&ݸBML-}Fs~h4tX A[{{ ~ 6I/5Gu6g[%1UߒV YJVm_l0+M*bqax IiTJLb&elb:it[<]?rL =q t??5߽1W*3V=g`~# ]qzu)J`A4BZɉnnw9³\3JN#8:PjgUEA7]E عu^-_'O8/]Kq*LջtQV}-sJK<Jސ|<7qg,3 땪R3 pw+O}l @ΚzrZ?iTt@EphͫBDL\q7_!hDŇlڹ:ӱDP`QNVrSv.[WEn14\)FϗG ,)%|ZBpƵ[Jw,JRТӾdqE|w;HAeem+𲀐EC]gSUBQBqd#n,XNQojG|QFDFY,0{_"ٹUx`8?ԙ yxkΗۓC1|0mjn"BJn-;+ďb%/h;!Y r{l0qgb}HPzvtg`M> B28nr] fqDzIJt]oHĻkP.\ɵ&{O<ߥ(!(CPl;kHx4緔I i#NO.-|EP6b+ X ;Td>5V)<0mm}R l3KwSˋS&6fN $;46*_m%A);"1 Tn9M\K^Xq~I 2-2@Y|M,o8lM# m^ 0U _!ڶJʉ*rQ`{֩P헰"֌wSa ?p "J|4pRf?~:c*,5j)S=H i0|(3K=eaz74$!v۟\avJH֔14M%u ⓪KSc5$+/lnXF E06}U!c9&B{㇬Ol=q3%t!%ç0bXvExNA]k|l C_6p-&>NmD͐vܷKyF8-˕f 6l"a"pŭ+JӮE<7X WmR D=-Aأѽ;1_2{-KQtF39w.=U/qK}P2ІǡB%=OBwKXZkǰ5ѨJL)ZrAׂR_ AsdEH* Za&)鸞 #y4-EyVg2ߞ^L4,-:9Hj%@M:[ӊHsK+5yUt,f_~: kx%1ܚ+deǎ#K sG/AxwN6N¹_+c+MY,@aaz?=|&o dzVY_zvjA$텁KTd8OxMlJ!.JB wnKkS%ENw~U~ObGuojW|._yv}Efl('`__9 L|][?/1|^lCO؃0v{uJVf$;F,WY N!)]A'4XibVB GҩrV2绗XwT|?䥌 <'h,|>IE9*ho,P?2e䐾*r/:.*M"$4j=hMf.؛`zq~/RK@x2_qOG8w {AYKK~qe ;Ug4owʧf@T8ԣd1l b\L4[=~N `ogt{\K23{I` Br6ŌQ`lbz`w݃AFH<9["J6@.5YGˌ<[r6hƦH'161=.;G7ג-()[ɪZwt31amD{0[f`RU#Z6y b3~b M~e$giҥ r'Ut;HHwH/( ώ|ҋ:iDsfqq嚃C Mz$S%:rwdlxe2h$h}㯋[cw8ayR:H[g(izEɞI s`a;Nw~q!%!gy3@XT!|_%R9@1`K-@QaFnnu۝YgHpxƎ,r\XQ, %,tSHj@ic}> Qw/NO piTYJ|7۽\^69SV=D'Z=&A'uiDۣp'ՆyIcr*A"QYuy ~F@ҕlx'8NdUvrVO^:rjA'SɲCm|R`$8" {@#Q58D'sFyjǽt{DSkh /̡:L#r1;YάkAo$hu,B}ˠl:^nVSޯʛ(8%P Sa,]5 [ 'DyR:]%# ebHRIؠjYKqP#b?F'j`x3sG[AǷKu!,B/ v*ד \s9{ @7RցAaJpyA*'JPZZ{ wɼ_ >[I1b4Y&=$Ҍ2v%JǨܺa"N iFn2j`lRV_͑Z4e{:*TqrTsu!;w0}g6lkr2FAΫP mr}Wy)¥044F5yK: 1 K=C+6 1n5h.=/V/c~C)n!/>c\rq}U/&3s?uUUx)uYBu>,"Aٜ%  n՜=n6ԝגuf*f6HR &sdșꇫ9Av!r;*+ nVcځ#?,ڧV3syox@w SеHY]ޏDKH ƱzI/غ!|2In0B \:R{RpU c% j*U*̯wZ me^Ϭ&6y?Q/=A\DH4q 2p q+qn veE6]3R$A|?QwD[9tJ`쉴*FGq Qjm+j;02֦ѻi!EY], 'xT8"[srv,oq1gL1̦ېPmq)b<@0yT.ځ5EsYå+5$jB:+$._6RGJ'UiRi&]DKO6ȶ JNl-0}@TihɹQٰe5 ٲڈzF>޳ Sz1H^pXܬhEMpipQ5[n2@Ĕ3yEh m:1IR&<e#ѝYY"GyFHN ȭQts5 ;Y^Pn"uL_5ЃN[X.m n}(1/- Є5B:6x tC2]aR{vo3 5ć)hLY%!/;bί;/x[V0 S j^\ԂܖהA( Q^]8PYxyc'8S=_!;¹ὒKVP%F|H<aCyB9{ a ؙ|5&Q*ʺ5AbuXrWNN]BX{V!r1h ?ô= Br'M_UteS` Ƃ!Ȫ7Qk;b9ᘬpqAkG@4\ o݌ n!gFܛd\SAsZbfGKTUj#=q/ҫ}Hma'9۬ɨi|_佽>K]6615`%yL-ww7lՊAya*=c?1-IJCNc']D* ϶U2kd> ǟA;|K#8''2`|!S"JcnsƚVyـL2em덹x/KtL k"YbP7'm+W yȖǂU(!m^,9O._e@t0,UrZ2>L$٢UNeX#5H/Ls BZr%dc,~B:뾱YVB -80Tk3{ۏwͼ;>M7@g~DWWFx1&,v,`1)]}8B϶~rm% =U$bb=9Kl@x{96ޘKnlv ,pO 'K}E~\*miDWt4e)yx_d]F7*ޒ=~i^@bghKIaz̕T֤-,JEӑu _Y#7NUuYEgGEߩ3m)H)RQ;=S3l3,rj~70Ӈ'ꑘ!26'$R/ am ya9a`˸li@<-lqgr e2"ٚ |=ql3&U7;:79psm(¯I 3d6!}+kbG_|3+Ni)0)+W?zuc1Le>~F70B GRmcN~0~n?,iC(-=('<7\g|DdAOkER7?b -BȱJՊq{iVo9Iҝ1hxsN2TNSHSŝKWDҽ1 \8~0;-%8 aC֟k?joFK.5  QIupTYTƒyPf +>_@C:4*cS7,K/J}4" ٦Y~?y7z}?_/r䍵oi_Ψbک8e 6Ą9q_y+69Ѭ~Q0Ti`U݀Zw\e,D ̥3;X,j`h[ј9Sr}<B?v=JAOG-ʺ4nTظVU@Í~6WtcMErqnS/s'.2kĨ:$|T{fDZ)Yo[qiH(Ҹd WudEd3%F퓬>6t[Jf=47sN)4B?C MV񞎢J]/߄#Ge6Ǒ@dj Nr:/No١s`G0 2  #W,)w4 cֻᎬtCȾFY v]EAkXQ8֫DZt-GC]^f6oa)?>x,!6k)i6p߱^=n ln 5 B^5:z^[ƯW }OP"J44䜞l$'Ge73"## L"-:\-e&M\,Ŵe Mժ+ bQv/' cDةnE Gwi|xjw]T^ASfؗ1\z ץ}Rv\P8LIp!b["|x_*^CIu3i__Lnl%|Sd:{cu7G!?ŭ 0Kl /nk]9P斘p?'i8X;2?X̧@ ѕk8c~=$j"v+X;V|%195vhc6vڋn4P_}L֚!1 dl͹ e,j^ucl|6b~MGׂp≯vS|U6z 0aڞN$#!3v}π%T $hTOVy@QԜU*rW),jQ/;M:aޑ:c`w웒`WțuAxUOorW0#gz`DM`δ[& fQ*9Mz=bǦ{*^DT+\TRIBS5*;oӷA3M{`D]%sՀʹ%H?=C7좆H6dܴv|BkO$Y n1!l'1;v:-.$}Op=j,Kڳ*mL03M}@iqJ'd禷& d.kv2gl!"vIz(P׿ j"~;Tb=:M%E-VM@VlHY2 ~T>neZm@~bvTڸ |g__ELX~_w~Yrz$m4;#Q  ]F<ԁ[B o8sXN欲,]F1T%o .~Ub=@9#R9:a51 3WioNF9&"7#\7\e>qO)G)_-/MOp,*QoXs`pqW"x@C@4u6xUJpӌ&'hX$ gN>CMs,Cs1k)C 5jPS!(<|uǧ\ jP6G;<["9#/Euָ_⺟tg%K_GNꭳG>}0q;ca:#6pm7ޕ<&Z `^HL!a\= CH$kso.3+|,& D*K~K=zSơbRʎ]Q>Arr[9ש&_@H*u('f8);*#J< TuАT·hq TPMM7K8*sH(˼[ٌ$J!˜q>${ <6qiAaoCir0N'>tGFlF4q6weŵ2bT,ɀrwg&כK(Ԟt ӴQɭl X9Xiyұ1,1 aH'P<kͼ3&U5>(; wFRF}BkD&}Zo"~͝SmRS8ƓT u~ZGO`iO*1=9 nլc.#rJ3sDغP:Ydv_ؽEyqr ڕ6&CgM?ڈ㺞c\Unj6 +`ĩD9eK,Z K[s{%6Ӝo5CoT'㓣&VBic"Rx~8kW~b_|ZbH3VU,jE"\|mdpE睫/jLqh1/-#V_1׳wx`eiaodIVW0 J7F.J ՙdr{ݫ O*qR1|OdlL9/FK(|Vy"qFa)^5q[Fl]'lEZ8 USfk3SK9&ǔ69q7מh-Upj*1N lPMy6Z&Zj ak䷪ ], ΫH~*E[5/J>u6 hR ,"KGG| 1yL`Lbp6aajوƽլL?%v5 t7R}$lQם7)Z]Iwύ"+15@9Qj_r!h |3kj2@Lf#|0~Z^#6Lz~w{7=M`&rC<ΔPT㚜V9f`2Lez 6Tn1FgMkЀL$Ef 0%Io]a K,r?˶e"sv̤`R(X,^ k?ɒ>9d:Oǔ\uE&/Fe;l&yB&'f.UT=]|ՍEz|%Sjc\?J>E!UfK;a L:<=.]}‚KN(h - ̽OZ.iFPT"jDY}Ac}'۟N@xy3Mo4c.g}Mm F)`$F.j4 ¹]ʠi/H9&iIl6mC3PQމQ%M0\edaK͝-~,s<5+f@],)W,oOdhb+>ӟsb>eﭜ<ŗ.wʱ[R7Jp Rwd|J[al#J,mⶉfp9Oo8׉pk B\:Ɍ1UT&jYpy[${5;|0y7<>)sܝu)>֦5mbt"G4exs!ϋ+: =rYfNRW$@4fTbH/hӼy{uEv޵p;D߰U.Noؖ]CޑthrGM›z]Q2[=7cDOJKΜ&,F:w3he=boD*@A;ynʐpJbؙ MkEPĥ/O\U7}]Db?󗒗"/k)_$Cj%;:#nP :uޏW~LWI=g֪Λc~ZoYa'ccRm$"Q,baMo8w`qr-*K*ĂoNـsR[ݯ<TX_P5=*ljo8\utVɄ~ IpxUA=v d|b¤1=vZcJ$*X Ǹ3I?l S49{.ȫ8lH88YC~k#0vxG6,6w+W %V_c8kt4ROǗw S+'$=ӉVjCH$if@ےo ͆ *pn P2tBL7]@K{6sҦ5^>2Nu0l"/뎘1s8:v|BTR#Yʪjs-7莚vW<*PrͭNWC2!/@:uŅh`(lYSliO޽C%G9؞jY{X"OkYouv=Tm>ɰ.։k3|''N@` ۘ㾗HWq-N*!%RxUՍMkng_PM%'9r3*|HڒF iJBת%'8>E*qX }X'EYFoOLcswR4E N=.=k H̪OD9}tSnu&6(ʙNnzOM%LH70zTIsכ#T2̷eΚYрab=ŽFt}Gm*\#Ka &"(} Gm6CF!VȦTPs?d4_ȩ/ 7FDD7]90zyAQY $JGRHex Q$UGPFM-ԓΏC`;54G8Sw68~q b%V ӝd&ѶG/+K1=FU<˃vֶ7Kx2O6e AA+3{ R2scP*ef0X7N((X*-`竉n{.ͭyf~G[{B1㑰ŽjlF"I/"xw24$IV?J$x kܚ̽\'HMӡ3z ӭ|;ӹ)pANyF?&:[ܰ'UYZ"RjV{q!l{XpZv gTo,ؖ*jLyXN>TaW{NC<~m,cM\r3.:Rg'X6'2~ƤW3 h KQpӂ)Q`m.VZxAd1λ歲Ɇ۶ Iw6Dq( e{u1-[ $*th\4E-X>;1t튍ՠɬ~O@>;Zy59@aލZȚF&s.V]CH&GRSmªnfTob \xu=hx~"pi3ܽJ-ĩX1:Sj,6xD#%?@1qGH*rQ~m'L6 .&ө<0E9y,k1^a ;"<6yi2]ZQ7 ':5`+ *Y N5= pZ*OtpVHHE1.jO{;kpjr|b}`TӫoT8XtvduWqW]q]akNvµ;f+8Y^N)jiěi[/$dӑΦN%`E=* ۾mz)_=a N#r҉OI v%;6x8+&PKXY*gl=0WTN3'菍VZ=nq(7 Ëq݉,'^'LMYBZz kj#*nʹǖ P`d$Uש^mW< ע. 3r_1}:N!4r>\% yXk[>μw\j';N 7 P*Ȯ 2ʪdSK^7aOsiڨcRh#)W:zD34=@}cɢaz՘W\󻜬cj!&#HyKGxۏw|$,>>ysI.d2cN.E# S;y=gЎ|8M?iԌj:`h/sQ‚i otiSn‹9HA?Brױwkhͽ T\fa|Hy;Q}SCM|]3F|'؉;_vR # '~"kj&Z}V 03MIƑ8 9<ܰ؊^zcvqN^^Qj҂*Or .{]vxElN~}:n(V\E(qʆ廵ʻlI~>seڬqB$Ӓf#$FQɚHb<*}dC iD,֙SG8+0{ܡ)37գ ;S0+XRh2T: l0^:v8ً}i-Hy;+H=7JMdFڱgYZ6ba4e99dee6a1ad09653c9f898733a818109a9c51765a06ed7bfb95809fcd480531b6aea79d668ee db3306e1be724f76356daf0f2b195629ce39c7d0