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 a%,lt ]]Echelon_Form:threads=4elapsed=334.571cpu=1094.064gc=115.516factor=3.277zXZִF! ੖]ŗXf1-q恈͐7ӺV -fw0w]BjZjfէ]JUgǖfN&S4q`\lS@oeU , 1QT=30`D,z'm(w: $@ 'HL&4'oe%PP|,>%1X z..ᝡSHO1~`ITuTZ<\K?ËdMR {R>Wn1e-m7_(adsc! ` cL|XB~` w`-@Zxb]9Rng3F{|_n|6/QR /]X*z([6q.qǍdm,{(IwGZc4x--i_sJٕ , "ykmU,L1MRPRnExd(nϱM9+P༢ t^Ȥ~^Ro~Nosy9-24BϽ_iψ=P{h]Sm%YygJܢ,FaZ򘵴2{|b"k)EBypS~yE lW `M. 'C_7IvJjb=N`qƳ?w4ǭjC _.γ<#WVVNY~YBQf4ܠ%E99/udwXBN垳$rZD ̀-Co\|iaȉɺ~ǽh^DސW2_ĻIpC=~hh`/R-{jYc>B&ĽRϡbj%xļ(m]TC8Q aS OFxpR} U *wI8rV]1p^@M u-qiLSnYF$ײO ~6<9W|aS$'R/^۾"&lTirh&cz,b O n,x']TWĖ&e5Fz'I!7AX 舊B .\PGS?= VYau' 43ZB˖ݠr0 UkIHf A%%[(-z%Pvz}W]AHc׌#b<$V9dGsqZuY(+Jȝv,;zzYF.@,jl%H@$:(c.SEzfW3&A`uǭ,m!<>zز;}bTK #fW p$8Y= 1)*:y Fy:$"|/Z'Ӏ#q#^T+Qp}B,v'U&_/(;;oa3rM<ټG}򒽺Im3'5^D@u-+MK[q^?ye\GNDj[%!G8rqeL*z]#c\|!YDr[2 ]jSJA*G:w6dzΛ-ܥCW{g[7+;'ӼxӮ"+#uM;䀸!24a6B!x<6Ap?⟒y~Sk`M6M'OFoxlOr2uJcܖ|;jK~yGp'QZK߶9135*!`YHD0a-A2e{oeBo+.읔@Imiad|xٙ0;ez"",FFN;y[bW5UU o-w%Gͅ9["i;Px|%.<eoxdBx!R"K9<>TvvH ڱF%rՠ~>oiZW|UCb2@xzFWˉq%7y)- "b%8mc!QgET͞G {%hD݉\OU+aPQ@!)dml[#Ù" 9XEjD 1-r HH ^GwEMxꎵQL wcvguN i2j|-,>a䔂DSc\&,I{7 ϬA?.BezBK>3 2J4nQZ 4J"@/H\9J[6Ksd4Oht5"oݤ~8 d9tX"hW9 o#t3}ԎJ /$](nrͦp .Pg^R&@W hLDw@Z.h=*T2ArOU* fב^6E8]E`wa8G[Sou1R'f0\L\%Wj#m$>> PiX}ɴ % Echelon_Form * %a+ DEchelon_FormEchelon_Form.Examples_Echelon_Form_IArrayscode/export1.ML7zXZִF! +J]9 ! kHW5BD-şn+sJbJz(~w1 Z"'GQ pF  iy׾fCZ'QoaT*r[!L)u;]PA=1)ոJ F`yu| :ʤB"C@4&얕0v3UN)+< 9! "xR$4nEA; ѱOC!Vэ6Yp۔8))!h-B#HLJU>S;+aZ YSe" -8/ՀטQ_-ݣ%ɋ&d%Q`5KfUWОcju䠢u *i$J[J3// *óX8T$BpT^%"1v%$Y%2i¿>ɔɷXOա[ږz`U8QM:7 CK,k0H̞%~xeKj V.ʌb 91,b0a`mNh|ZV:SQ\Mm^l߿a큏=RW7*T=zK?)ɦW)PyřA%=3?jO| anY-[yq.z{3|BQ #v&3"z@ xvݢ=Jh{gDB/AtKZ6A+w@ـdoYhE ;͛X=Ns[HُPw6Q}-'9ȘE+Vk<7ΣWog鈝H8!ōC̳V;LJ H/:2zX=J)It g)PCY?Hk~_Q*fgS6pf$f:5u)`F*v]v5tA+fyg#R'for[eC ]e\bP U;MِY_OW5dA2Lֳʔy C/K!GzkmC4\pKL|Y)a܁r'py|zÅdv|p!uD\,1$ĸ\O,4/fuj^(XM}h1 I2eӗ N]l?{)]=n%TO"S#~N]^{_gaJZ aZG(T(S8} |ƍiRMH ;9sM|<;OfsC=  YC3 ߨ4Lۀx-^񉬋teƉ::p)m>2Fp>v[ek+=3\n-iDM U`p]UxMǭAN'ξF4Z V$Q6Y{ gܳEYlxvEN찟¤lwh: ~i;1!μv)$cL 򧔵 =oW[is) :8)Ѳ"Bjep6R\89L::e^ ++:@@\TNθH[ i|$'{dV@Ce%&cpTDJ {R]vhbz)  0XN\hEj_*lW*#VIOeLw($}ho ,KC: i{'Ԅqy/ŊCB/*\Yu Y]&E߄/, e/VZKNNwAkFnb@@ 5Hv3wh肘7:RpǖYQlRRtjBž ٹ#*,]6U/值|yU.RשWKRV J%a+ Echelon_FormEchelon_Form.Examples_Echelon_Form_IArrayscode/export1.MLT1;}GdpT e4nڈXS:'-I.06Gl̡h!7UK_G\HIJ٭\h7>`]&etR *L}4ԅѝI3;^TntSɓxxN:_'86Xӧ*E.征jkbu?KLxamdC6} ,$4e~6fW>LeQ9^QLf ּ슧0RDB8.O'EÁq8#Ş{NLzeŕNꖸHqԵ:$%9ts{/9Ͱ1FK/ = -%/"x7T_©@<%"sЧG `Iu}{T:sGn}8x^pP"Sx&E8ZSځUYmDzΏ./q]S{q 6| -^]+DۚwpsjB6-|7M56!<`jdST=zh=ܘ'5o)5~uz{"BnY@gFLn1<${l{^%,nC%~D9}ξSaxY8߲7 qP+Sh:ueZ(Y oj4o`lZ  mX,=GnܐI$A0PaP= t $#M"pk<}+5\LR7?qL^Ù*k&k`b 7"rxD4'/T֌mjKm=~Q;&H&Gp@jV'eīo1{cwg*y6=MM̞Aai5-hoAj[kO4cUx3L/K׻ەŽ:nέ}ٱT}d_N3 eX CMnsIC4ܝ"tMٝp# #fCi"ѽ(G[[Ns[\:gP: neF#Hj@m.¨<7E.6iY۩/")=fBH޸ GFRчͼ=gzԂPhi]૽V!SfX/[|$c~Gef--Z;NҦgL>02SQ/z=2_&\+1L%cI_qÛ pӈN~m@@<{!Zkݰ Svf^ \$|bIP Cu0< -|*|kLLqi|4E7DCw5}"\9Rr Y<.8m MߌrK(Pr*E*4U$Weђ-S_bk0qhwyӃV( `Mi7> ?"|+FmXtF(ηNO" k^*r,f{Cwvێ3-Y8?\A43)ɿo}=NDyYs& @+yx?F[ qQ<m#Ǥiܙo0DOgݿu N7mdc43^Z+8n%km*ɎS p,3ïkRQ̌Ed pKB_ c/$+Uvg z-A<#⌉p)Gs/&>u2ڈi9FNn-7ƒШ UzԼTex i%U?.u/'F"ɭz0> 2Xby*if1ű@Ux@u`~ (< l-Xتj,SF1K#j{tSA| ?]]ߨ^gJGxeSǞim6&n?qCдynq0/v ê=,ZξG 2@(4>g .@ 3E1K;vx QB wjp:AM 6PPbVНƣ& dK%ƕ-8ܣ#Y j o/`EZH<4xԸla B+O(1!0axmH+9L7} Ճȇv2Ujt\$TA%"w߮W CvSAuuȘ~L~Ӹџ5A#hm0fb ?hEX$7hD0F:A_'Ny Tmz&QD1^L^/EȔ*߬Ò|(, mWa(x\+!A?Dʾ% Lp!9@㿆 t<>s::ϸg?I'{pteH w7XXDjQ6]Cv=? khKB Й]B|Eᬭjc >`U#XEf-zڷy Q;;$zWf }j% ПU <$7% Io]={:q:0K)yI@q i3aqUQ=ֺE{a ыCWB4I+jF$OHVUs.yi͒CY%?X{8 ęベE XA\j2lDA&f+¢BOr}92׻H)O9s 7^MQż.,ٱ[VW`5Y@ qh |XQ 4\zEӾE\@קvLh?&RWůb,Q{j~09ǐ?HW:4EY}+\|G^(kzq,߇osŵ5ؙBӔA+5 ~uy:>%B$J9;-y 9mį 'V zOkc~TO?s`݁:-VFm ~Wǐu`WDV1(k깥Q?ȪmL njPU^2{=Rq:da_oEjz~]ʋ[nKB^PprLǯ wJhtIgQk6Ԡ.EXShe= Gt  ܍F=VGiwM^=.6,$_&ϓ&,A] F4.[{ o]0N,i4cp}jzPNC^= t@te$))+v:c {yjG5\ͱ{)StZ@j .B)ـsyP$0^rCb,JN.c`\qfX3i* j \4eVO#0dr3t͔k)Nu7ݶ64VH;VGl'ǙC5RJ4ˤQAKg[Fjw}w> 75=ֶ(;e|_..n"Y-dwLJ(Y[pU2R.!q4_`$1&&CEChc'2 gzbUH6 n%ei Ѝ K_\0=Fz6T 1an_DR=ZdG:.!Gܥ*Eܙ4lkF*\W ~sR rgc5N% N\oA9*b)G;9 =K"YVX#sda6LO*ƽJsP{RdKbD%&% lĎ3P_o9 {Q@Ȁ541"@yQvu/g(q^r9hΰKro1:Gr7;\"WCVg=,walfXWP-uv-tyrm: MW^ƹ]ف{m]򕪎ۀD$xL|cJޤv-R5bFKV{ߎyT3ូtt{hcxadwZ@ߪ/h,D[ϰLs=֌8R(5xFT@qn*i]}# (\J] 2<\T^x]TKRJY‹,2v(?D$#rfW}yKEy_a8wKTgoԵ-`5?Ѷ1aaGj͏!v(8w*~7يϑyjrx/"*q%D&ۻ%u(p/6w~~4^i2ZF / Gz?P̵BAN'q%؀6BzEGz$<ǧoU3dWpE5м/DSxM+ bҫܗNC͝׀KaC((R|4>qo S qs&6@o XףI~դ :ְDķٿbn\CY7j;}ϫ oȞV;lV݈& {'Qѡ_= Dk *Z<ޖc w2)>Wi-$jOlS/t$1e70ʟg0k V1Vy E]@a1u"Gd*) }np"BV%^xC~1ՈqDSfp;n2;27ء5EFVPHH*Owe}!9pA)ƛhv rI\ik[0y9MBo^눪 ?=T84Y]FQ DQ-DV\?J嫍Q*БK$b-z,6{kV@^tqx@=;=ގ4brZh.6YJr&MQ׍F`X:m:E2>_tpUBl4b  <{gg9F{Y)avC9&^D>D4q3jۈFkME}ixTA/QY&caD/ T{r45{W4)WTlt6Һ޾Ixrٓ +_TN.4)A5W !ox͐U.jCr_+\ES}9 8 Nj擌q9V iWv>u^Rрӳ:+gV6{)E| U`lXNj5:hav~,1B\b8|RP6 Q.bOt *8qsOo|LM*au}}a9~$_5\Z5c %KL5p+l܉ljWm< 1 HCnGv&q>?::2:`xp]&aQ3,c!\b0+2RkHp; XI*>ly d]~#Pkf\VQE+< \:k1-EdmgFuBUKVOs- L5nTib#׎Q!x7VsfCZ%0{^˙ 5UD81:%3T*>4ÁRgj2_(61"Т( yi f~՗;Lfi尮TLM(&G&!S\΁ M~wDRvC׮e?B% k浫ϧ1nt KĀo#fT&͈k1dbHQz`h=N` dA4#֘=6P􍓏R"b?RsG`܂5ڲ{"HJ"@dͲf5t!%e ~%?iO. ٘?Hu8JDCOlןҘx/8J/7e-O H6GfOЦ@.H( $[I9R6&S {!=&&!hx.h[bf8ڃKC񊋇1k  }Xeqob۩RxnX~3it)wb9jwܒѲj۲xp9Ӯ8m19U;-> W[P=FBaeK+C aH5[S|u-脘2s9dxgkX}p\a"p`v[0!pk~w 6v,V:%WQ\7|@%X*8j/zI3\LJȎF*4L_@c3%}V4 7`VbݲT $sh xиDܾKkRQ?޸Me[WWߡҿi @P[:X9][c̾5w{s0AZ&Mʰ,Ff@-t,M XeV}OMKP@+] 0Gj/Esm{Auֲ2$HMXQ+-E,T' ]d uQY=2LQٿԋ_,pօ^22#Nh1"?Ӭi]9XP⸮k'AԙoW9*O\oEٔbvZ6l& )B8|*?He~K;WPOSC^ $7Pcѯn1+lDBď' UP(i9rr^DEm <-k1ir5]q$ /S\CXtJeXnN/q[PjkϨ*{PBk  orixxz/z^gE4]]$VbV~J#{m鷩IuДD,üФV< 0ePt#f S /+#]-_ f:9uߩR,V+40Z=pwg6$ {6X)-oA_UwKwS<<f8 ~aj%Bd|ֆ(}խ o55Շ0UYNĞe~He\n_"qҩc,,%~sF@vT9Y5e;ژ.MqEƯOۧ˂BɕΨם)Vivblܛ /G|dM{+3:zQ1lvW.1އL`#8!? S\5}`T[-6MyZ.X*IWXh LPn. :v T@ W#9yUOq7[v}mGE cA HEޮ$`r~Y<b14[-ǩS`Ho8lq;ƕDPME5FrAi\8mpnIE\ 'ls/ Q]\%>`OGxI*@MT0R%];,GT1ڣwb;sfveK3QG]@`$f~ о;2( }#qWz*p]W\Ʀ]z_TIe =%'7v34[˸F1=s^B /QJ$2#noÃun6K}ge1}c>b\wp\+2kqqQ& fl0?s%hBJ4"viaQmfZmH~9.?BVɩ~yF~ii_Z:N<*©3tjuڦąF2[/}t!!'`q!R+pUaٙkB1Z| )UσE0Z_!'jN?=$MP<1tnh~86B9^ W&b".Vĥ-oki <[]M#aF~%4LݓMe'Y)fftWYg _ zjWg4m bv lLσmԐ59")Li= .X`$ziM[G 43/`mw%񈡔n_'d(cI4"ZOLo q2MCZ5 rQH'=xDX`H Q~\?dr筰}t%z^ d2.> l%áY FquyCiHғNpY> reR{lɧ4PR>:Ϻbq'JyZ57".? te"4Uľ'jĈE:r?– ŊrV'{LI;߽BzzU_vŶ׳\*JS:u ,?g#@LJ|̐sc׹pҷ0qO-wQxxFpLXiZZ3 6CDo9q"EOd`]+k?H̽rN+€6Jl^9ړBWfb&|ٺ K1H]q>e>0r<lZy$ni {T,B&ظbM%{VlXۻ|?,F r.Qўw~bU1 u`nUnt!b>20r:b~2EodcʒE@ĵkفoR '9`7G!P 飅Aķl&:~uRxeM9f~aPC±xB?:SVƠk$G)|ieD8v&!vҁY 4t'ԵU}&6_4K|=Fv.q&sbQN8@ fP71u X'=QcSY)r{>Ւzר3/#ktL21kC%+L(fj*7FR(m˞ryBb7 "jHno4qvHƛEb=Uy4Ƈ} 36 $\FjC[zmB)G甬u0M;C C#Y۔fbYDNs`Wlg#ﲢ٥(-vbUil1~ac=9[K ]#02mUjٌ26k7c  oM23"i=ǚp R<蓰̔#K[7P&Is9k8-( U (џqGLwfX?C~aV?("B$3~EoS-e9R81@Kfj1rPL=;0YvBoG]DK7O/ؓè5/:7\d $'a"T570Ku1.6ݺC^*ʈߩFthPR0XC˓#y2o]`؊Fj.{(G~-p~dS ~d'8v <2#eON`(!1eIٚ|ԖVoUurE>C/sJrahdzԚYwtQTq[mƨ( aCZ6LC!r "D ~ٶ]縟eseHzy%xnmA(n+z΍kK8@A"y3Z*Z1-xi^6Ξ ŹGk\&0^f/I&䠽hD?KQ[7$R-_TY`k0|Gqp{S,5ֽyQMgf!E UŠ  7%'  FRQ5abJT`ީÆ"L6eAD`lCxHqGJ肦3åpqU9yxئ61G4%H!RNf;~)ğQـre6&IgiOB}ܛzKYc|0c9"rN1邋lvՉ\hN}~ F:ӟ豴q T7>' Hi1ߢPS>KšǍlʣC/,LWטÂǖ6C6-"Q'Tc3-|ovv $->Ƹ]|~d_ۏ WVN4֩!@|,Ǡ~=kc"8֍ѫafU-Fy_hjghv|SƍB[EY{f[,?1yT<7 I/? J0fD iuG슟 YE)ذϬs5̽;g|&b,i+"7d֠j/&y(l3“ āD$ٞ{ÐYwt"܎7 |n@Pxbw쯿&h@@2Gl='B`,}3oɴ"yX^>y|cf00rȒr. C3gYZ av<!W0'LpYVGC.8%82k7Mq~6o]Vj]l(PahwBpx/`Z~ޣRNȈ #z}#)g8fVٳڴTk޹H,i&[$MTK=&ϭ\J̷ ۱w("gh CD1>mi0^{lu< !յUk_˒:q+//R3Wܽ̉sۗ9nr}1%I( kof_ovI9,׌QmV[6|l}GP`6nd7lOhԑiK$ujR=IqT9\+Ŏ.Gd$pt\~:@A'LK$0MU`!(e{wwz~]Fܩ)qzqBWX֧MJjW X#5: Чqg# Ip繉$|^ J1:}qa싼|qU6ŗc@2F/lAAH=didE8X eX9A)0<^,t"A6 :<.c zYL0ȆGhEX  z`HPZ,/>Ial/{pNa5RJ? ^G>FIcs51WFUpxÅh$whX :RS- ҚTA4$eMݘz--6ɐq(Z7ps˗0kD;16S  ~>Xre-%W(7Gw7mF>6RR weXKĸ!@|J̠Ta{)oڬB%>!AW욤zg篞s,mEiFcUytcSdQn Hh 9S ~)>m}wP(kp".v[)jzZKP:!9L`I#f`dnWʢ/k"op|_ "m_RIB!)dC?nƒaZJkaf01yfQ3u\9-B9>nm+Qy!Yqf6J `6hV! ;mfs,,`eEnWvkG}4vEɈ=&9` r`val I0O^L76tW>,5[NĻtxqr|&tb9b6D_e KMV ^LTHg;T ^mGS5K^M! pgYZ7zXZִF! ~Wr]ŗXi%I oմ&mGә4ʼn"3XH`}n"eQ)ʫ.ӡFF<"SRnclDKuB칓uw0#yN:9gz/Q~;@.gjhrXDz_jCIItfOxNK4 T&|T^aHsZly]7P»N~N ke0Bs1Zl^dVX+`c,*l"h&듭xL Qߖۘ]+0>db%Lx*$uC7xdb/M5&ڠ6hK* .HkHU4z)'IxZڃlzbaOန}r+q`&)JX}wK7D-i~C|f;{d]ŕq@ yQ;ZQ6, Do:-r)a3nyS$^' psNA$,Mhf}o/WՕ?Օ缹"q)lRiެ}*O Y ARQ}/ |,XsDV0Z8 MEC rΦEw({N4+i}EҮV?&xH4QbZS\fvǘrYξq/X[^jFN+CȷWDCE*˲Q c FNr%9_RO%YCTwi'NW2c`zR ,_v kȜ*LesB ' XT RW]$&5Yy{z#lhZQ*}upO CH(Z AS4=O!7-j<ЕijV8_3C~tC߬;m8Tr@߰VK|XرH)GbEg USm8FyۯR/B?Ხz 3YjzN-'膸:Om#6 {Of y 6ߩY:Ĺdz C]zxxRDa7!v( N໙ %|HfV ޜ[E}"4x)cJ 2Nh _r5pgߤp.-c[m1kleϧ DeZ!Y5 ܃/ hN&/J!Q D6eC}>Fʳe#u9͈s[Ho_4B\L?d ;۹*kjN0l/U|Ze|_?4xsj0 ?e9?Tй erz/;]*6_wȒ-&& $)fOX $w=yQ%6"S)WA5/l49J7YE2bx Pl Wg&wLEkٖ";\8U!X~'bT7pߕ$,ovxw76A_V,O i{ɅP3l>/!Snv֫gh2OgkJI$) $*yC?Dxg]jz)Z/hS7j^C18#h#1&$weG;^$umiD+ཏS|绦2ֆG\: ju<(ىx%ikD 23~9w驇D6+ۆ]}d Y猪lJTgfјДEY I!)..bXO.Z~ɲ \135o9UB"أ8C@;˛6DXi!TP{q,rJg#QL}L7\I6$ sr([KF"Kϯ_qPO$EĖ\K%tg+\ȉ+QF ~N| ̃嵯43<ˀB@dGǃ,B*Jx   E,_O_ghO⼈ 46kOPn(y3rHLernd?:q8%s2B %_5H(XVKB"5 at&()ʴ'A._z51-cݗ&x S@EIZ"V5/2pi$Ih$kb+ˋ [lcȉSd!{K1TqNr\Xc 31_6EG'V$2J;8 {U= Y$='Fd`#wǰpKTKMȓA?oDd}]R&I (^g$$Ǚp8`&(4yR9 38Wxvefu)CԮ X\Da.Fg/1MD3/k223:;,Їh<ԃ;8 !>EG{/tTiBmj'Ù8p$#P૪Ӣ]$f- 6-&dq&!hTQKpL7+xy~X-[nsƴ9NFu~=o0[zG=?4ՠ~XZhs-A%z辒ƌI3'Kn@-f-Y\NR޲0~jjHϋBos\唿jZnLyHsDMWf&⻗>|x} _0`BiC0j(H` Y>y*?,#M$Uvv4Ne@0ㄋUMwD j6^#0ÑVbS_jC3Q!DNxڮ-rqƓje*msU}'56ܵSFEh¤s2݂f@@fN$˝W=h5s gge(f3P]i x\]wj{juipLiSWߡF;h5k~MB.8swWt)dw x0̬_ǃ(׵G0SO# #6A)2~Ewu:#:+l7w&z0ǘ sue授S&`H,T1&0HQ)!visOGiŮ 6@ 4h|Q{*z*^ݹ59DO|;RJa|ǀ$x2z&14goUW“Ӽ/{EC:N P)zrʮoU!+DpD8t{z8ۑON_&@3B6ƛ &f kF+4(#YR(XqBGq[N)Q~qY`IdV姄Pyf]>3!+yrّN}] UgD?mhcx|ZCJ9%6Kq؆3!|v/CɄ`G_e7@tjD*:Fՠ,MDhǼ[eMPL,!CJyDY+ivxLT3pݹ%)o]+Y5T.MQ%`$IERHP Y"\e7k0F{|PH AYֳ/{g/7NC`.c'\#"apv)qR]c@nPn}ޕx5*E/!& ?K[H*Wb|5 0,]y]IP#:P~E !5>z~yy! 558"s( Ɛ|K= ^$F(P)u*-*oAGU`>p6ж"vEk lNKTQ sC))ї8`8BJh{gk=b2mh"Z$ءBṆWEHhUlav7JTB=;XY a)]׍7GPzE~-HOdz,L}T͓!"pռWrff:{*>¥a8+$ I 7h}Q~i' 6oR8:&)u&p=Usag/ {Obx3<G0ae Y+%&'xd:b'UՋb>jSʻIoT88ˈz>QO:`*@ h=$E2 n ebH} tPjَlvi8Y(!Kd!CZ/!~dlpDq"zȺElw- )%EI:,S:rŻ[x#%pGDž^x<|:H+Y.Wv ~#\+HP2t:'FbA*bR&Ue[y-$/K^1-ҚO^7N*֤JC!$9_vn\w.  /I\_y \ؗB;Įkr}kUPQ? &oR2qLD>1dy[ŧWF' =JW#2k? O*C)[}[Բ4e!.Rg_3iwqJYRoksS;ЭѰqX.%6~Ǐ?h>7BfY[z'fI( a ?^ QTN?ƨYvPf"tOڌ͈C,ZD-o/H,W^y0@K7N_ xlmرs g4twI8//gE 2RAܱ\z``yum 9 qݮJ+K XKSvf4%${GN ] 31R6:9H>Xdni$ n)"Q:F8>#|A-Û-^Q$R^R=Pdb31#9kIX\)(h e!ߢf>h ћHOZ7u7mٮuHof'G3Dnz[UaK[?^<[L^D㛚fE?T),68 7?-:UQ.UG")B ]gN㉚cf?ibMz}[X|5>ҵ  C#R-Y)4,{M&?,7Wα܃x]<.@1 [^~f s$eR$~ -(?2nXb(cu0Ó tv4^?^ ?t6>8] uU_ls.<1g!UO;ҭ` ,.2B,3"°l[!@fF}\!Q9 x!+I']R-2Iڗ(<N5vm{'ԟHI oBއ&v~-o~Y*7z~ 15)/IB:y0_Sl[g=$5Js28g gI! ;~8⁋gje 5n-c+S=~e$}9~lH:s o)胛Ko@MR5<;oWPKȬkI%M0*"HLmN(w3)_U<6jrMϯrSx܄T3? cQ*F@&7dkCy1:t6.I,\iIߪ[][ewWU}%y* ށ zp$߉hcNjj.?el:Wl.aCM[ڟtg#G3bwfޠ8r\/p. e:u)<<Dk/#z%+`lPb5 {H|:bG4WJx$pXpvk 7<'ӏ(FrI(F~vJ&oĐ(U x+;Ae%jaJ eʢHnT1$*i鄸cE:$ -) ]D~on>y!ӣowl^Wz(`y8=B}~Dh+d#FtkiQJ xP6Uϱ h<:W E\\b?/-4R'yx $u݆5GVUo嗵O3 AD7P"e"r!Fy_FLѮ" m&m74q׈0LfLwmn?+-u5N];bd[|Yoka\DY|Z KM'}e 7uIXN(Sy%c[0&eL'n,xw>9!ڐ Neڛ|u @$c`TU/&mBr}#RKU;DGVQ)l.Dx-NUźuqHNharj7yzě VG"I +p:1G /ٶXQ1CU%PK[Y`> *pKT–w\V$|Uh5'D%X:YűϜɑZ$0ɗ/~v9*+駀:5:7rX'f44|s̅(0gihЊo|I*LoPfS4ii QIRxbzl9՚K8 ;[HH[[F6=Q)t-H7̤pi$D֔ ;$xaVt! ,O8P^ϢL|]aD\j40r3?D6طWzm\;9ZqHܢ (|-Д2l؄WT 5>u eB ԫ*„<6TR$I390QxMCQ٪OS7%VMK0,4thz6֮G1sB88=he E=4 n85~䛆pܧc#T;H7yzSiy RA?CDŊ2|eW[?9Uqo {i%y,k~MtJ^#*o2D@jJgY3{Чã(Vށ7k'}Fæ[T! .®\d 1m>?WʺpfsIcrVz+Ӧ3@m,MGX].!S05& {HȞ!.7TPYh1.ǤAp|M:fҐ[@+97o UxcZ’ON"]W.GBNL /I&aw(/>G8rd?m$'ջ1,% ,CXw1".=p*Rηv?w&8p \87Ul j:&Hj=f9[\V? vHc#+#3 ʲ?f[NTK7 䲅Ig=)F,*cHB4Q myDxEBUXXܱT`sqʡ@y;AӮ ۣ*OCRyb.E;DM&T$(rV`z<&оKC+7o'F~0eĈ- ")r>[qY"28,u gd[\= $U={@m% sQ̳ 2~^;İI#?$oU;{|d7 '~qx+:DPlhsQms|5% h9}h (!<>&e"Өd@Kkca"QU+ ùr7YᏕ)g厾ڡij6WC?TҷΈmE~k_\H+4n |a"AqT"meHF>|!$vh2SjPa+ؼ`7hՙ͐zl0d_V$4g-%gy`vDæMk}I˧xSV{/{쌀;u4m_0\cRNP0 s^!㍫Jv:7Bgɝq$6˷|_{Ite(ZXK+PE-D]jr ]ИeCpGc̠("9/]R 1.'g,BuZNQɔ5OԎсb_ / .;f['JBFj⧣<9mjёg]dj#үKYA1qEqq2im3ȂV) ; )˩b!yAO*~^3nJl<\Fg#t'`660)Nr} r2lu* x%. P4ZKӸcb> Jm=?gU_D+ɕ1<ayg4 mvqҀPI |}4`O [0ie__)*d? TAC0[X Üsϗ WY}KDiL3q;\c24K'CR;csSʀDa/Ja|,q3Nጿbaz w-YH9[?2]SH߰{"S\|REbS5O{;c*YP ?.DC%QOxoaVSG@6c<_:b#߼i+D"G.j- 7a[ʱ"^01PrPM xtw/s ߎ7;6gr+ܼbR%o!Ej[l<ڒ $~빾iYQNTǗj,]?eXuٛz1%5ؕƘ5**E3R߰?bI~` C?*^Hv#%z|]y*E8Ɵ>Of[|V@YkA֛auX_tP bj[~}c?a*az59Ǯ:J-5TFT~j.GÚK| 2ǂZwq~a,CW9uhP)BG /P+JެҸpm(4}LrE3>N>* [ةIhlPqMhs 8s!hAGꎵ*O$rܬE#af9¯o ki5MCMܮ&+VDm4OcFM)0 ˣORl1NRj*5+g{7iIi蘞-]YD{p-wrGCg.P 5f|LhTaP6&6*A9Bs8ܱ:rq}*<#2rTЅ帍m_vtY* EfDq S ?_?tZT0;iI> YYq@`^@MEtěbֲYROeb&,q"G{s^Y9ti7Bʺ]LR@|C4d挺I߷7YDu=c%"'Ms/ } WWBl*YBletR}&#0zH:3zɹ41e.%2ij&򖭈zũBGDD=S^߸tUL̄+z>Fd[Tڼ3,(M&& (f;SnaIbC;yџU-I4y7MÓ[?H rCLaTo9)tI-0X81H\KkNPY [AK,㬉W6 . !_aNAπw sAjty9o0MEU5uÚ6͹ahRɏÆEgF!;[>e}9 cpSf:3i@ "wxiM,4"6J@3j(E~&MC :%qs,:gQ'*KPDedYW(0X?EK: /f\E27ݭʻ棌Kmxrq}7K'Yq i]:݄>7׿LB?ɦ~a?eQĉw8qJ1<@{Wn@#nѵUt++`LeijF*5y$ aY+~kys[/F+') foq NZdd'.x(%ߴY($&M?=>|eo{V ְ [dթ>ұd}s P15n 0׏0{2HʄK:JKl K#{73Rc`jLP6`Wi^-fu)[~YR uC"Č602-6VGX҄J<o\@,cZmUu2zzr8x"4Se%Oۭ D}}LgNm{(jyMpl,jߴ+ ݿ$IC(ņMx +zt#9<+@1^uE,0[n2,r# Q4#fWRt[B2%)%dѽ`13qO]6{ Rz_)\?yyblIׂ=@V6++d\QVb@gp%#2U_x6 lwGaB-@m}?udQSH鍭ˍ0qŪ%;efݗ& 8(T1~$l^1N' *[0>w7HɼZE`A+Ħ؟4撳\WC.G@J5q'5j"S/Z {רblzOI_KC+|%"PJdyic1@m~#U)lcz}n`/DŽh 0컟G ʯO6Iڊi^,j³?"^%7gҰ7mWY꣮ K*,gl{orAO` #Ղ8i^<ʲ֗xTWKk^GEоbFϘ$-i ~Z7$":Z&GM,( WXvC5%P4la} sh'U}AJT{bn춆إgְlRM@y?]i]p^:S>r似-a/L03ލHj W8QKlΨ1:DW/N7xhF< #kHNA|鿶W?zQnSțӥ%*dD(¸L",X]d}HWhrq &N=s/9763'\%wyxje._^f(K';A Gn~ 9\ק!^R,Mqs3 R"ϲ-m Qqns^KC4(P>"侻oJa+h) 3s>7 2%㱨quĊW6Ww\0 lvnPYCW >^ GCP%,PδV9hܽQ8|iIoI]J`NAfP8+xB >ʇfyׂdN2Qt._t 1wBttB7gI ҋe$syf$_|B3.Vgh^+4>R~8x^i{?{dY0' 3==CP}UO]Eqviiw7iA(O*U5Zz4==iHه3RqlUBsuLD7oD*H-ᓩ)wgE=D)yzvY dl{lt܎u,\jٱ&8q}Yߗzz)qdʛH**lFrץ )*\ b{hcdYgtynRxz,F=Z{ODe@;ZkoldװJL$,:[ zAfŢ:m&=,7>noAk}KղT@Iv;ﭐl l_,Ӳ _cZMFj6*zI]s&w 0IIq)\IPEB$޷d(7a\a3S[(voOef utnbL|˺o*/>0%nu:e^<<Y#6 dZ{Ea.Tnb(m O( { ȭzk4IcQe,Qy-ѫm8"/el/+1Yz*:4Wju_vZ0K~abl>w9ΐu@`S_OF=Cw ';R%B /{efF@prCdGtgitv:ʚ6goB!FBsd1,O-fć?ܺcbm7Z1IWcIf'nV:ؿ!o2fY?,MDe8*6؄fȍL'7-nc%+R o5>0kLKK%v#RVy6;N0/!+d35Sk2t!b:(:H?}㝡k:;9|tdj.u]:h-OI#ܼJRօS#u6X֛?%+ hPXteg4]wxA2K[5E#uM(p  Ke(%~]ɾ$!׽:fkq:12M!u'DW"jr,n9u1/u['8_~E< F ()NG1& 5PPyg=)wW҆`nhFFӝ7]!X6A  Q'&faJe/K[d(Hy:eM㬛tD\ZW9FܙP? 55Uq(lәϥ&Wgr_B-uZ9uV>ER!BY%?A 8)S[c(U{ MC L(V5 UBynX$NL/߱ yu1d{]_Qp9"|H*G/F:Hh+QdfU \-Ck?/~kYc& F 0:<k6L"AH=/So?57ZB󓼒Nv<4`*􎯅t[rlE¯oRįZ ric ±7lTj%֐&̾>iZ i$Xe?5b+sK16wO o'9j߭ t1b (H&_'Yћ'H7d{6ir{kl8}m ߮uCE-[چQg0ѨG%󁼦$@@0JX.VB^2՞C 4q,7oXy)=%snDsO_ӓytGjbոЫdiJ65ʃ\RTlٺV̶Xk7s8ў,*usQ)# C*Ul?M,L"y.,{QVjOVhTSu.OKvr bZ:]3 ҼI-֬r|PܗYR.h)l0NC.`K6w}2LX[f8XWq;A֤92hlխ7ͷ% 8")'Ѐ2~|P ne~=syPPh۝{1v,Ϋ ofa1O8m( s!Yn-W%t/a.eL3T  Gǩ;X?~pE2 G J1avlp^WPmsTrW%j(K,[x:X&9|OwXz}5gMp`W(Js l::j1rM&_3qwkpE hyjec<3 I%uvbTV|2Nw: ? L.禀jdko]~yu-fb.^y3qשC]w|%Oˣ^M_R_P̉A2y{UO ſ3 q:$빕;dz}?i+kބnh+~U j=r/@Nخ/ U48L}ȾTCkWYAcvQoXބ=Ele]ARD,:ZeKfMj}x P vi]t+df mi5O14;?N0P6lѡ g0[hr=Ds!9G^2ӧAb 9gx ̒LF;چ%0=Y T+ʼn-=fA-۰c}6s9H^.f RMt9c5M0Q}XL-p1GRsʸD*1ۯ.!r2>AF 9n.d[Wz\lZ7v%qFd?<-Ovߕ.T%[K [Q焈$*\ɴ" Zq]i!я>:}}C`W;nv.zlȻayXmZ/2˜hӺkji*4HEVx2zC{(MIzcNrB  ,,J}O diYbqO?tm_vv3\6ܓj#͗*!1Im RQnm+{e%O .lBmpde#-NN \]M&u j'ĹTMcq!a$"@yҲj RE/Fiz bYtlTVhQ:9\l Tq*Ouh^;WԜyzFYтV8LDgP fV8ۧBϞ[DyPfC!f3H-IJpzLjP\@Zv _ˉ{"D5f <[[Y[`PK"S22|ϧ<+5E`@`~òvRzI2>Q^zȥʴDE8DI&j1(gׁndQ`{U{7J?{ 7KFX>NTSlj(rwY-)vÀrs𽭮NˬG,eM cfz/3UaoQkrS(0;9fޮ蘅4TVy"*)_'>4FmfdT~ mӲh|0lpyAq<]q,eӬ7v2 4}='qbXE͹IaKPm}I)H_oqŒ>z)lS!{h"ՊI+J7$L8h6ݏ=OJ@싄5Z=BB[|/N6[.M^> Z :D*Q+D{!k_ܤ@>6s̺DaʖX=6L 8ݛB6-6%[V$EgYZ7b9e5832bbd07cf8fdfe16f03cc4c9d19485b4bd5a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22 d92257d35e39c8204c9a3171ffd1fefaa3a30d321c4182ca1e3145f254b3ebd6caffac9d8b77a300