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 WW%$, ]]Echelon_Form:threads=4elapsed=378.767cpu=1197.088gc=139.748factor=3.167zXZִF! ઎]ŗXf1-q恈͐7ӺV -fw0w]BjZjfէ]JUgǖfN&S6kS6TL9xaEFnSkteQڣ}7e?MqqRRtrUh>6s6:yN#-M. J(-N b^*%WpoTOߓfdE%"Mc/}bAm6T~lAunc&ȆZd9QOc'ԲkkV/AVvj41~@h>?9jAD 0LG^$W0d7x䐮<:+"{NN |[?)Nn-TGBqdu<◱CXr(?rvӜaM^`FWj(pJ@\Xr+Y1P&75}3J^372g !IZ%XCe=P`k`zpNmA,KJW4/{ BROϧ1zhmXԗGZOvCTi jjt}`c:0+22-JR+KR.sYgߍO䶋@> SBt{ꆜ|Ha*5)U>K `4NS/@6+׊hV'eB^1{VفVS!O6j{R][pc%)m&'- { s4[7)θR#3y.qiN ^С@'ep|Bz;d 4(?<vSn;G[^P=xZ1BZ4́mi3*5(ޜBVU6nen 6>1]HP:6 ~>/6=nH]3xRW °ިTK,ǻwDY .R=$#65\޻xbMdQ!S߄z@]0P1dYRƃ:YkT *6X=sTyKgE< jQS|1 ."V{#T|ņ@f; n9WT  ZsQM(onZ/%H'ez%}-߻{0KtNixs뷡RCEƦj_Q6.'j=ȵXPN؂wea@ ޔ=HE``DuGp+%7N6G81ed> = i=8%$*EX2`s(pTFrtnaJZ4ڻ>W(3t}Vԧfyg:[Y3 (/_;]imQW Ȕi.GAH, vm-Ce_C+azɄ/T,k(>6ٴG몭RɆF#h?tÐhMmWy]c02{V9gg;)-t#c1pK}RU"$'s]CCVg XM&eO@/sᰴfHqm$*A~;tHE)z> e% % 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 0t:8/ (-g_sqRTe$"Ռd5,R%$dYEeDtS9b"F%̼:n]ةw~3!O$+Na2ru=WUg*q4n! G[=ZL/z#k-/{tx d$5: lT@k8"H05VoFx bbS¸2aBfz57Sd[{Es~KvyJw['&UOs(wԼ)ȗN: ~q28 7 %˪սܪlc/ Xv`"Yָ5%y?b[E./p*0c\=&h{zR"X(îmr ,Px㢊YX(.]p)J@[+Æȏ=0`)Aq QedEIb(8]o.;, sOm5#24p>2o`e8DI+~bwl.32a DMV@0UX\seЏnDXp&<&]ۻ`e ZJ.\욙NK0R<Q.3h0)MTHc=!W^-N,+pIuP@jTR>UD$ʸX0,株*&\cş((ޟ`]j3Ԏ?ێP!9f(=αC JX'EE& uJTffqB:S^1X@9i zW@àۤ)eWX`*d1&؎_"\(Gt ؎޵DWyfv,`Jy,6ioBߵ үtg{Y'bPMN,oŸv< P#KFnfO c*F:x(C(an>Ws6LJ>~VWQT&LdydžӶ[ JT)Xqӱ$XתWV03ONfAS7!qUL_SnvTge쌌)1m<% PzBXO)hLT{vy#.Ʋ 5C`ʯKϛ.l!B> ;DY F0,ش}jvlq"*qȱt:nIZ3[*xYz~A3'_wYSU^j] 0'42^ \\xlJ3w&lޫwIk}V *j73;סm)3ah*ƒ&YbLz%|XuM% +7<؀h3$ow9K5Yۼ+/gKzA{28L3޳㿟ldUOexx <;52e/_$?!Y| R@tz<yj(S"m}fn(>@o O1ah0KlVjv%Y(Ԋ[]hl^%360yNa9Lxw!p8̫瑵 ¹k8Vv,.Z;2v:"ۢʃuJ[Zshlڠ GL}E]MKA>MQ Nb %n3qӓȕP6bU51m3BV7ui5X!gYZ7zXZִF! _]ŗXiɟ1˦r+g'Dgr>{pNa5R] to>f|:Fг/o0\+ q!ik3e=p<66ߗƾêhJaD!)ͱwl?7xykULxHCna`EwU{LNv'b+>3QDAkgz`okwg!I`N#%x'DCBk[IgpYAӾ5 s;GoL2P'I 3/Zm{Xy4p՜Q9[4 @6*PוO`Az0pN/ݤԃj!kPG_ l'S6VX *m5rt `!|QpY J l mП5 ``֪-^"+NFUnmoU^3mQ>~ E@rjw۴jþ%*my˒b}=+Y9(EDU{ܼ7&Ozf):׳drR?Ja]ŗXi%L /I?ܭ7?+&"~Ht۹jηT~ o2ߡe.Qe?u5cq/3#'${v_Һ9 pAX;BF|S{_l $j"8(O-\NcdGLj dyR:=c&I㝤 vʈb #ʭ<^z~LMӓ2ÅՐ<| rϑ ·1^d>d4)`(OX7;գM$_uY>O==ºv4s:xQEa7J*$ ̢,@vFѸt]B8T'K܍1Wz=Y脢R.ƒ*guBΖloӲ4kt#^`6\ʟC$,aӃcהӆI0YbhFvZnR'(20Y|Fn][}bT%tXV",y?<:m͊rgK1A3m0*82|gɜU+k0R&LkWg(@>/p'~/A((go}j=|Ϝw7iA{E-8LvDA3k.3c1 AorF_ڟi".9GZ*. rp)j 78+[J&y& F؞F޲YꀾsYFPŴx6?\qn~T^ƥPY-aš;eYa*iZ Ij%^jT!iq,ʟpKГ\J3ԓ#7Y=kME!0V1h#+9_e*fSaAGCvȍo4rm X? T|8&bx8p(C4+Bz]QxfbvZ4}T%t'MAee^)-+-MѢ?=^v d,p4yOD~*X},0 "~xW_Iݘ[E;੗'Q fxay?E7kVC牀2XtεysHᜄY"LHX0AmAV Yyy}D?\J=2@O妘u5OCbq./= [3S׽>< ",O]}Gf,$K> "Um?:3>|riLϯjItHæH.AxX3H*?g .LdtoWs{ /rWKKic̏/A}~7HF.nસڃ*!E UO. 킵OP?s,?  ܌^y,"8jwo''M K% LǾVJE6%h8 yZOA0Mzy{]򋃢B?/"|Tdi 8˷žrp 9oc۠GleSUmC ^8} IRoJi?X!^U-L.jGjra kT웑-|+:Ŧ.M>QS픙vRx* 2B+O)܃eӔW"*F澥-,b (bx1GamJY%S8Z; ~O(| i3eSzMhH5ы`վTEǜ{G<UЬTcYp[M6byܿ+PfuW;,`4N9oMXڿUobuLҹSo,y1";g~mƃ.(دО=q$ڮ̓3CT ~w{*fINGߧ 4^̾@Z=n](ܚ(Bh3!EܔϔG4k@ny 䘤KVtGU_66ƎgDI'EnMV@OHQ#ҤEt\, &|6DTTYx,z/=r;āMץȷMq-N0 \Zf/~1X55qcԴFSѽNȰɖQD-2^в2Ho6^ ;|0tH?!Ԭ\ʷgvHqrBv~:]"_}܈Jyj=EwMp0lāR #!2bx}ËF^I bY6e*AGQM |ed֐6zM72ߖw뚾i3וf6>ATfmtl 9틖 hUۖqM j`i@@:$_8QgHz6W}ku>-b*D`ZȺƀYP9OQp'X8h |/}:iL;DM{J`ٟx xwpj9qP %jW GXK5V 8}d$9j*_0R՝ |d]TT0v\YEjh$RO yiX~>aci55xncC9o ~JcE{AGcTD\{A0Ȋ8AlBCB_ái @*P\݆zXiV?EY`J:9+ʫ&.6<XM15ծ;EӜ? b/:}rQ)ݰ6Ac* RT^#E< E{sk_hOf"8:2y.K b/Phn'a4ð9kL{j͋pW6mrl1 ]2lHݦ2HFPn}F 1` -'8,?[kVtTQC=¼êGmtq 9 i$ )%)BNQu1w-rD6,)kU';n|*&DƹpsxG@ժHп2^\M e j= *]$zX#Q\ȉm ['˂cEN}bITj*TojQ5Gv#|`vO7ZNBm;`NQpV;qyDɴ?d ZgT ˠ/vD𓏼AA7@yhE:k?#lyN Deipo<vvE^P ťUdi[F,P}۫$bͺJQc=\N{>퇇Tn9B1fop_L2yPӱDk3@ V UWO¢_|tK$ ;_a;O|Ǜy7˂1"렄}ΉP|űȸ1-Ŵ>so,2{zK=Mރ]Å fu!hó4 73F4i~[1&sY> y^RXhH)Tl{ΘhlSq*9@S$ZWsfKBaѝ@;L#lZ>#k?Ђ&wh Q0JRrdAY<6 YkvN4` G=RF9>Yuhd/N-r^\+/ug;${H/ <`AF*WVǏ`o{MDnF֣ƠfR_[ x:>6LbqVr-uҔQ J#_0&qʙG|IݮKW Nfm,16h-ORFHEX]eܦpćWJroȳdE=)2&=PETǧ' % v>*PH8W` 8\Eݤ ~V,eb !xIDxn'VqBdhjT' SAk$b5m ?qېʱmYðiV"dEM;Éaxd=բ髯KYVeN0jSQi+ۜ|$&f  i͇ډ\-YVNQ<$ c9 qz_O 99#&o;Xλ 'Z+i$Nlܣr%0Z1^!xv(1]^SfvQT)Аh pp+FqoA )3 `ZX`Hqiz*'签Q ĮЇFVuW.R??I'Ig(A`QB->)NfJ6mt MD=wd̅D8S1K|8{j eU6Qŀ{kArC@wFe鬷ư6sZXmSYB^ۏ( 7ZX6yDs>.p:NϜ@#EP&!mH5ߐiI4\ +#|])BqΣ ctrY`q_6k>]ZpAt҅UNwy3]j#Qת1!DᣙKuY9HO>Ɂ+=Qap7:_6|.Lp$i yM 7sR\%¾n#1흑NcJgЯJrg@: $o=JĔ~iX'tre{[ͨŃuPre{"]@<\m#^|놑mЋC"GhKBJKsM-%[Ygq iSI0ayd*z &W`EwNL7-J+UX Tviҳ&4 1Ē1y PmPdC 7/>[v/%6oK_uius4b8KG9F'Oєw=p-Pvn=H1SmDH$T.,s *oBf(̹CfC\TYx5DJj\+I hی}|п,|[WuvJﯹOΉVaxoR[V8 r`ڏ#PfDfJ'.ŸȂ~G3@ =@vlՇ߫4rfJ;2삩 U2-dmMNgd~U' #Vg֒w VviimA? !{` 4|8;_=fK3a$;RQB6x QbqXȭ:,U%~]'PVC_e DdG wIPr31U\ Xlg!r]-uqT9:bzL;~v=Ma 'rU,cq^k~Լ 0^19?Tdۍ!yt bNs._ƈC4&S$+qbj Yxۍw.GV!%A#BF(2 |7bNv '}x;&ⲳPGo@\r005f2(X +jz(@>(ίd8%npeWVZ7}h.r6^mT5! x\=)"|:q'Z!㋹f`vWmu^w8yG}P|d#ơ-m8!G: QDx봬f˨{һmx6RM*K6tL!?~gSҮ>nWﶁP&}?\7}2Vϡ'פY@D9:ZnmVFQ@'QR p}P7!鷗s8 &PZIGD< ҚDƔ JLO1b $ Ӟ 39Gjd_o묾*]. HDN1ĶC,}ZA+^2Ny+K?U;Ix@*KCmkD} 0yS'ϻ Sa/ [@fq̧'v/߇l=0B_9wm`%_{רݷ5(.^6w8w, PBd=.6ˢ|4>ǼkZ]n. yu,W(T[BxS[8OpQ(i2};8S0}q+ 5A'RCKd _ks֔Aӿ`"c/Mr{k֭ rPVM+~U"yFӃݔbe.f~~Ȱ Wi΋))ًqA֧ڔSCF@_鰧c?A{ġ+4omXw6gMNTY98{ӪCor!ACD(z|d%9Ga#:iwrOo5t} ҂^ 5}w:,TvqQYIY3 8h¿bפLl-bzV!iU ;'eVD<ofJPMQ?=S+X=1X?HMΝw` ?qa_A=JQ߀E˜'WA!ݳLA:52n{# yǹEP /^R$]*5*!PE9}{ k|"鼎FrVV/t"1-UZ{]X`YkVyeZiQ2p,8fdUb=<4K6Aٽ_( q;76n%ArrJ^g" lA^ç~l%727Mg LZ.qi(ئ A5;' j4@o#CJ? czSp?&5ԗy7I('"3ݿQ8~ C48C!9;?z_*Mi؀4.LqT§s= >@?LE!H ׎0] '9O{h6'z ?T`X'k! #];,O;s^gˆ3~!sj3̓  RkgwP!OX>f>&')ĥ Cɵzj+:'wg hmN/2ٔVgb]^GGQ5eX)NIM"VKcH0L`y8!7g Cx'nKxY;R;P98>q]h~G &7v<;μjr#hM38 *;{,9ch֍yNs#1߃ ѣWT /{`7XwD5$[mlO=ʇѣ#X^vxoFVbu@hf0aXF,r`[,8vl'Z_T&R^$CԠ+e0gg1YRbgď̎fiMp>'P s.)mY̞ɼb^HϺ*$p)Z X܄՝a}Ehs9vA @^ umջ<x#kl׵ ":?YvMxaBnV0*-!*$Fgk g /*m'cC\b))xDZ=̼(I O{; ,i .oU߯*ʴ+lɢƉqwM|BvgG1D=Q`! o=% ) Ǽ(sV.62KWۘ>~C\SE1k2P}H Z6*q/6\çZ3S_{)s~3DPH!/*[yo){6"е?#x}h^>De(ֲy)}DQ݃S=Dla`LDeQ'"G hCu<YkRYN{r.7#٧ú[f˽*3Ue/}KDv~A\| t( \,Se·Le,v};FiyB|J۬H7Vڮ-0TH|]j%]/[vй\9"8' }B |nV8f[O0cN] n|FԌokDb~+f}(>+\7;oSjI}vV:be7rH:B{ߧe`08Of^]"ɓ@]U% mϱ Ju>bwyKhs^-;B.!v=Y(_?;~}Pb :З%"^ؘyyE;@oc8DQ ~aiHY*61 Ly=nEn&z=Lc|YzlQ9t38&/3̬aPc$oҾ$0t``ɂ߳k QNUlj 0w QsD ő7 OhОv~X:WuX$0vo:QP|p3G0iuWbAdYZ]IЕ-I-`b%?Z%DC\1ưlBXrE!SGkrtfB' )+b,$2& [PM8;:mro*̌eMt<9~Qkzm |/i hE:~#1WzqmZԬĻxo2W΍^ `L%2GqT=T?_CqH 5<׏3ͥ4ߘj @Nʐ P<.v쵂 Ah\.dTotG -$AaMrqx.; j|1u|JqA*Jsf`QXC[9k)}ۤ)?L!gX +A$Z[A> OUBBq֤d'ɫ L!&ZDD7n6AEJ͸ qM5m>֨i$ү3A,T&$o4@g_uhͭ={GC0(ЗF 0R8|mH9˓4WKY-[OpBc աVdulҗ5)!q`wа]u|ṷN?`0 /ӮܾtdoDss҈BāP>a^d`Oҭ5 "?EܓnQLP *rP!<PV̟[f<4ʒzx=a"TBGkݔ>6F'MWѳKjv)ACȼtV\-kKEnn qwh. ɿriq<G2 Sֲן'IxDJ /۷Xs,&{ P/  &> ~ f*J[^e3*zoIg7OE ]/--{/[՛N {(-%)BV]Mi%^u?X3`/Jp<$5q3Ĥ}T)8.i_(sRVCmY^MJ+oYDqwXֹΓ*a$ټ*[_)u v8K)g=Ԋ../Ws(g,=D8@x$sFбJ`fV{R=67cEꧭ>5!F}nlޟ`8̒#\?[ךoUz)WkKwVXکccJ(<&ɋ,b?Q\rZ j׵a~8/r^>ّ7*brvC,a֘CF܍84<[A@c⮆sr-4 ]>Oy0v֎`47)X<7ȯo ڏFGzΕԞ:2\Rl r躠`m9=8{S5t:|-YO?_sS442Zb ,b7eO|(GO Ɨۻ cb KvbVRTֈBb. WҤ7]9k2ӋԔ;석pI?0O Z|<K,ktaXU/ 6r"HJPڬ-u#ƱF`sFE!.v0__FUYJ)LDф$儌!Pֻ;mn;[]s@K whzbI&Ԁ,_g'$44cO $e/#ߕQ Q_%u=QgvZg|jB߲؎9X,ӪsW8Ur<KdkU"l.`!G:l<7}0zc.0O1n7Q#(kOۈ YvE.`?1Adӯ{LfUV%~P2i[ %[U2&WEBnoHh b\qKG||XsŸz&Ï֢A2ufƉ5J-K@zGj|JK1ԦIF9I@=|Ե _ ֣Uy ONvºC<ŋOm)ISI_GRMrL `8t%`ƥo,|hk5jIFC. irCf1..̍iTG>n\FNצGURp(e,dqBQz`AQq)uuPka Džs 4"*D&Ť0~ |;)]cB炔:\) uكH{yNYⵛuiN{&tob4Yβ LGR hV{o]B&AeĂIA H9eD% }@3&ec>f+Iy=&Z5k(m-ŖVa8#T VIY/L)ԜamRjGB{Σ?DX;/U)(x׈_ۿ䷘Մ9e}PM,rTG@k-ۉ*R!,5G|̏w8tdy~qi{mЩ@1^n eYrCŻIp)0H}(H2yf)%f#ʠǞOT>J$jy{6&uH-C\(J9CN3 e6gyȃ8!NN k|/DVOt;P`p27N'C6,uf`?`(G ~y,n}Nث$U^[oMߣ6R'/ <8X1%V偯թ/+1DH/7('b̚#Tjw:2ۈ7;i͓7M .WgT:kBQB[i~xkY.A>sd繁f7O d9zL[&9'ժfތS=άZ}f13S `mQĘ>n>;ɾN45fשcIJ$ "C[ynnT<It- xblXńlIɚa}d /z^HohYݛ\Im,9FÑ,!غ;Ȇ"*_=hMk]5k-I6Ƿ+X6)Jw@Ɋt@ɚsX?/Z*MPJMa20^>Ho҃wҙ;ϛQ~`|V >Q_]V6 YL|R~޻bF IddAI"Z-h􏫂AwL+yW\S&{ [.m}Q׶۽"m~Fqty]m[/ja"/_QՐaEzԋq :|!cGfԍ%$-&iHX,=P`QgdHpܜ&ŭ!^NTHY@9$$` 6F&cf:l\w7?o~ ξgMYp>xu%[*y:T!~F_YYqud?C$~>E:L,^pvR;&Wpr;S-G/&g\tC\.s.X')*~´֞?4/8{rIq,24K8vkbUD>ҝAS$;gwh$T vC* ГA=]Az3N٭MD e r\ Se)* ;Y7G+XnRY[Ij8S?V\U2C_sGdŽ=Iz .ۢʓ6bj);CmDy_d>y UV&GI&\8`+5L"0)K^~z`gXhsfX/]JK٪B%Jd)PA؁/!aWl%%`\0UMɎ+p`<)ŮJY>X𺗮^lL!]=| p>rD|qR7&٨ة1Lݗt8?ZUw`^X6 Jq/ü y HcR!*rZX}-حԗiLʶGT\-c `TLM;Rsx?#*7!`]/{.|Zi"{E{y|Dd^{SpcIdšnsSU0 i;mk~,C-6fQ5͞VoT"@ nUS# ?1 4VQM1<{~ucc> BY!™2R;XkBe1 ^z ?:1MMazSm!yq30cjB\0Iҵld3 '} 6kT)P>F3-JIR5,oh[ [XgvE xɚKU]UnU⯛ ІȘ)H)!ܔ^A d%|p+&fX}>}Q%7[傏t@%| d;^pЬX^՟ZnmIJcCnΗ2`!T ]ro';,qj"-qtp5N ^B2+;3<Dm~hI y_8#xO~M7Բot9򐻩 Yf=jmrWQ_/v ‚O.ߊxZMͷqVwnWySt|8Bo| 9{D ‘0VAe+;źb#T RՉ]!pEWp- 𒕈o[2b1@nsFMoM)5.@(.:Au<հPѳD8%342kb}8"/ג󳃅4C0r[!Cگt끟0"RՊԍd .&0)bsGI07h*[@ZFePx4Ncfn&TYԚHh.T G1úzİ2o]+b}棹"z;褑獡pgڰ}"!9_Ù|Sk3Oܻ_ +d$() :N,UE5O-B{xr{kKXvFu-ZQA0DC-$\aP(dԲ6 (ap<|FBqm <پAt,k 2Quj#/ZK -ȕіDλU𻞒N05e>f~ ^/#@۰6N]a^fTo^,Kaø yTltgwK[uawMb_ w45Rp EmW.w-ү-bkSu+Z[q"Cy~ J!x! !]ZMm[mW00≡XwˡXO)3F7ZlCTzjJ^ѩ!<̏ K5 rܠ=D)J܌qes5AJM.ZD,Qp\bnaBQW (<l-H(1O4 x vF*`8tO;@DD*WkmÒ+#eBͲ1كs?iC\'[| R%yJs}ٙ]1'ͼT!ь%@@cҳZAzѻ7j3̹K%қ茻*#a$4@ ]#}H3Әx1IJ^cQ4A͖qӺ〆a6p@0aUtxנ R!NG\mɍid2HXkN0LIv9eHu ~5s~9v?dxm6 O hVFVDG̼3TtWADb&KdBgbh1?5v'ч!1gp}% fqqIC&e3lȯ+,ݚ]n.@ ?9"q׺12CÕ|(hAP-N )zoc߁;ޖ6^V)Ӕo&n;*z$Bƶ@^Ł؍";KqoZ:wI@3\M\& !EA,фN.WaxODrz43kv]A$syI';Dْ@(c{K[s&pt$/^OgF72vNa>!2@aK~D_LSQ_jm !$idǣfNnqÎN I +r?>w16d2gk c(J>KҼfxKY>z:,|k`$IrDD5 ~G6)ts rA-9/]>j],ZYMZ;\~}gFn6Fo$d*<%~r_#5})OE;[ŶkAdEb [5TPw0CD~b!KMv]G':l[C{!biz߯SVe |;MWMʼc#jaԄ u|"$qm.NS#c8kuT{+YM ̅rfBV ꮭ|H Q8OEsg2}s4a_S#AE99%J03x,!i[4&9f.7H+mWnց8U#.0 2neދhd—d'IO!$ݯK0W3x}+6$E?MYJ!3(-e2DkB*+EO@/5nS7&?T2MAz%zA&th T;0r!ueؘ೎',j'ѽWCtY xr?H;VewWj`q-:k-AO81 J\ԛ7b"Yzhۉvɳߠt?N@Y!"zSV҈ZF+,OAmϾo\չ8m7DJkcVJ~qutp׊{ ^<z3*ۏ(i_뽩iG[%%XĮ[ o6|ս}dMS#Ս@4K%%-D분INE2zUM /e JDOnZ9aCMv(H($?|ZOY U˯ ;G$ -;sdS$ y^|lUg}3"c(À:8 ޑ L_6֘/m+K+ʪ`:G bFhŠ - >r ;Q@\ZYQ%ǁ•["0gB#(!rX_NR]s+y1\<^*HFw1wA݉6jB#iadN}s% uAh-ki4\ "f ^ɢSn#]1rP=g{Zjsʎ؊ʩo|(U@v[v C+Ii5eDO*xρP!%b{")uyUW@taݓz>M뱎Q<$ƨ~t sJXe E{֒$;$¡{ďhƫ;$Xv9('V[ QDؕ/i3|cO&W$fM`<вXbOmX!zc3u' ԙ_R pDZ91 g`ql4nJhf{_Rӎ}fBkLuO%7us}U/[ߨ86MwW kєtnRu;Ɂ EZs)zMo)<a4-k8"J7Djh\wdqYh])Luhr#JNVeɂyHzjmSb{|..T|R.wBT:8ԡ!q?v#lXIVVe*v*1PIP`\oMsy@*Ik? ^N=#*4 +.]\J8 ̸,!SvCVmX#COq6. c1bq῕)* -clҘUUƹ4cQBUaYԝ;Qf$yTBjқA4J\4vO[a7 e@~+i{>Aߔ@^We2"Ԓݝ6r#m6FꪬS6=ằeytOrಾ"f?]Ow4?/N| xylKG7$vqbܻ,wĖN],Jҭ~Fv Wr8 HZC`*PrS~,.=nx1Lբ7$Y#R Wv #0vPu;5;H'o. g-MYD!?OU/1];ke䶈Art'1>5n/ik ezP-EzHlY!{[{JV;/w֐wF4%lgcL6Ϟ_ФkM;I/_Wugi?4'x́.MJgM82 ZK5ՇhyÃ3:l81]*g,mn]2,Cq_NY ɘ|Up $jd&FF CۄGWsN _vD-0A:v,P.`Vqa_ԋL%+6vQC%ڗt+}?maXu^ruk ][ۜX?#v?&O,ҍ*g'=3 Y%ٓJoc`` ks5dvu#JI<q\-X?&-?;H&HS5vtFVo+pp{t[N恍,~sC4)_*i`26 _ 6e<:WA>7 tW6&3ʹ E{5F7br2`I 8`dGc=cոvN hM1ԡ,9%tD7ÉSʠ2qf޼Eӫ,.U5Gp齐NZ Wu&ȎHWU3Զ0{՘DS=ZӖ3?>-Mߐ9;T0!wաջm5Z<VNd7`i:#-Z.z @t܊2s@ңck׼qfcp& qA@M4gYZ61ba3755bf9f2348cf2b2e5c236efbeb14602840d3f90704504dab3f9fc94e3d143d1180eb260c4a f6ffa714dac548bd1fa745e8527624877a3ec1f3 5e95046b51ddf5b370aa071080e9fc95a1a715e86674ae7bc3839d64bd678054b3cef31fc523e8c7