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 q%Ltl ]]Echelon_Form:threads=4elapsed=346.348cpu=1124.976gc=133.692factor=3.257zXZִF! )`]ŗXf1-q恈͐7ӺV -fw0w]BjZjfէ]JUgǖfN&a5d QF{Yzehxʋ0/,,%+e];L;: wˀy 9\t uƇ`Cke7n0XD\ZR fV7ւq#wdwVIT~FGcag@ZvP+aċ,*916+ú/q2A4#pc40s|ۃol9+!(ǜp)n -@uH&T7JSQ B$׫! @ % 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 MA}@E 'fX[R ‹'?S~e7\r&_s.WS^!B+GKȺӫޘL%bl0X<"c1BzhᢎCgOX0 NSѷimijJFsqDmg^/L/m7YlfE敁HnI!8+r!?l)߃cYsULugI Íh#V{D\.#,7מWd<#PClk_[k]wklmRm6|UEu1O+`}N,Ƒ$H 5g:8'_R QXڡ<ֵҀnī^ eNGEC>L{{7m4k1P+޺:5t6'cC*qPֺ ;g]s@~~YW:X]uߞ(لdT MuxuZ~;sNfY*Y#U4_C+M8 !*󛓒'̠lr.34S`^FB`jh`rzȇIY7 Q1u@]Z{Yn'( N$a:AhS:v2UFc'Zh2tZl^D(y `Q:nOЍ[k?j\;;+9ѷ<`Rv!kso\`>8+}ݾ٭t'awgoՐê*Ug>⬥YKQ^mU_%mZ{$`p@ϱ ڳ}I%y^ߜH'+, b7k6El܇# >%S*mx^ _錗W$pe(1M,U*R lɯs $<.`]K&tYbXڨnG+2GMAQR0q#!9>H!n&aR_ˣXo&539 ۶:t~UA G"xDfØEt2:4mq%1Mѻ5R˒iJ[˲D%,|M_iE<ꥸi{r[2N3OLlb7?Gė߿vOQ#ZшmXm] tP k(5S%6%1ĒeMx%*0`B%Sy~8wu d]8"F40>ЅihgVQ^V ŷIbO1^$2,EC >L(ӅOK cM#0=â ,Yeck)م1C;|JvȲ*ο6_E@HF־v'  PƋFľbF$aT-QxH$+F0LJņo/8T6|YPk46^Ө8 OEhE7%m6FFLO3MJz3 Gb~k ;wo&JVH撖N4b]bT%wêPG$ng o2oG4vV<]GDMi/,?kt az((IG4EAiWKp{ƹxXDԴ5#.4!t$rJxTV<ܽ oDcY5s lЊx=Mye dbttF'4+-؟_ܺhM+ esr#V i{|j`ss҇rG:ݓ(9qέ{K"EkN}Om-5^K =`i{)7 .l={/:EtMgDZMcbimfjMNվFαa4Y32#p )lMDx=Hk<8]U$&"¶ Z,kF(%3Ֆm*2J/PNf\iEšYFV۽AfLU:uG!qZa)?d0DdrWӹlF|Tr+bQjb ĭ쵗6CpvñH+?Xk0iL[c2Zr-ɫ6XaXս+e(S1DL꽍oG =d%:;S~#{pNa5R] %R_n 6dk;K"7 cBz+ˎSbE8ow@jڶL\ "&>1lAX*-;^P=G]lHaUI<"keĽvqYQ *F> kG}+̨j"fJpP@|4<}Dm->JcL*^$k>Z\/UwymqrN틎T' >ގ7s.8 @fP[s MLhrhUgSN{EmXϰ9KY,)deb DE'q;F݀)rK?K۪շ8(f*_+ŞvKM>0*9i$fhC+#Ttt`^tHX0O"mځD(OAs.gZ#05ԁ/s9{TDXx^=:`}@dHq,?&4sw>p}^ɬd!NۅwJ>jNj)|5*[tgK6piIyU8a;3f;~ zX˖1|@g8֞/ePkL'fsC"OߩwEʨ}s#9DC.#ͦep'~Jk^6I){ j_N >zܛ!l EXUVW12v4,灻Wt ]tiBVojlw.`:BW*J cu7|i` Ȃ>׹VψZ!5]@~l_V?K/:AR k@aᙾztZ0]S#+`ȹ^7K\$aD{ cD7K(;H^2)̿āPnL-M8!e(]gYZ7zXZִF! eZ0]ŗXi%L K?d&=(kWA|3 ?RY$cIJ֨ :ky3$ii2y5?,fPMPU7y_VPLO]BL] 1fd 9'>Idc41b? A+R5 QnhCajt"S`4 ɍ̯ʞ?*VPBZ>á{Ro7 ?G(aA[@E8+c8<SP~j`/s(o+56,S!:ψ'qT[W6$}icǵhQSZ`<1JFx3 U?DA~۾xMڼ} 仲^œ q~'.5ps׊پin޷Zn0e`?68jds[brtR[yQ J"9jgLګ+ᇥj1K ߧ=y@QΚ2Su ^L2A銚C<@\u"V:͸҉}[2)zȇpngS)`XaLզޣv#o$N׆JlaB-Hi$V-<=O_oMlO>@|/67|Y`v"G袱TC;LLX<'n-vgHXO8Ws% jJ+*#prACKΎWZ@t@ Gjb&]4#{UlF=U2*_,lTiHoz +̽ݬ#ώyc ~b R.7fxV!]ص͜+ļSРVHRYBIa8GSL5Dd e <PRp;\CȔ ۝pr}3V/ݲ딸gXBeqxb O ,zr4>t 5]$A2FE\ÎNK-WI_K opE3({OJԋŘk".]Y"8"1 ^T'H>Rh[*qt^A a"S}LzO JpIJ:Ty\ML+f1Ι t@YH,S:\R" )˒|i cU:tװJXYOGY796v^P3bζ! c8h ~UQ#QQM93@}bz=܁ң&\_mh44KeA 4`W)rݘK3\)YNKp`GMreB!^,h+,ʆ{W4Un^̡T[:duP QTNaJǹZjʐLR9,x6r`@VwE G0@Z>A!֭cw@S"2LQs{ 0ˍ*X#墶+f/ǡs5$q=o|&L̊6 ^1N췪TqqK4;HZYz φe7)[ee )gtσ}D bwyQ@6 R<$(za#5JZ~:Nh3T~4"{wvi7p4R '!\inouVz)_[تj,jd  ޝ!6 Znl PSƭRH9B>V咋] fj؎ +"b@aJL ɫ[HV4286\`A[G!1~ԒjlE6j geʴE-{5'2R)fKj8H$7,[8ody}@HD.!pvEy;uf}އI_eP }"lm?z`}3žȈ%s1CI5hc*@XUIu63}|.ɡ_af%rs@fD: ुr;&`*-݀+'uI/8hMs HMz 9@ț] Z+gaBl3']N#=vu0B@ 3@l[dR]uxKy(ns>0C~f0^+2=ˣ+Ϣz2eD~2 hslhy!KVb8d?S,QԞԿ/Bt!łZjDX-'?^ 1)MWM 5 3OL HLBxUM |v;8S vtsρR7Nn-E W,7 e$25l4OecAsωA‚pLJ8 ՍAK:q7#(DZ[ް#csaAR6h1~CU{2"BXH*ɵ`~Ǵ5C_M.>XhY8tK/FطQE"!7Lo S5 \YVL'b-'ڂڜIҮvGߐl !gkx;bӲx.`۫8y4>}߭ 72?LMʔu:S^E6Q'hn͖f:+0AV,9mݔKs6O VP*A"xj%x ? Yj mbQbȝy)E̘9"A 609);&Ҫ4Hk 4qr$sۚJ .)RuQOKge7Љ(%?|UiԃT3YT2 3BbDz634`Jm'd C֪+7 >vbG;M]|+W|, j= d-&$)m4Ǫ Vc$QҒ%@-IZs;d;f_aF1pY5s\u{e0nIF{b=XN]9T[Ӛ׭cqEQX>f+[յ JCF  snZv=:cD3j1g)2ʻߣJfa]%,.9K{DI*r;M_2N@1->PgBgSP Vv$G;Ωj飄#+GWT=524C}O#Y=B& Eɲ=[RDzJx:{O mL_.+$l,@1y\U66jXqZzVЕ&`fҟtӈiאeo1Ftws 4=:N7N=\<ϪP{DcL߸ @X2#Xo _ tATkI.y[q㟬eq>W @.WUm06ZJ]<0iT3VΌ}cyٹ(IGPE:Q\ ?Qwgnk6$T* __$YhPu;t95O2K¼\\qZc$4!6'n0Wf^$WSK*yL;-j >7UBOf}/?WA%`_V{2WA  CI2;}'sRXoZkĭ Niԡz/DH쨎\_#Q/Aʪh@q:j_J~Նfsw>gǞV>a!ȼnW߮Aö|:9d /7fecf2V//1$d&GyY1R*)(OfyNQ7w`]0ea7y,O~d{ԓtn VO/6;`EmwFStpWCUxX * ;;F5Itk̺2{/[ڍJOj^ޢ;7r[_ȢH<[Cܺ:T}ʏLDۈU^t^s.ĿW@oی9'XBFfDQ5caU |.O\E[DO:uTva 5Flu>@ f5q*-PvUs)N?Ər1;Y=8='KmnJA.DT[>oHI"}`5k ]i$KsfPZ1;20ULlES,c(cY_* lɕ '7"`ppDL\xH:"X5M6 ICXFg:[ؙƘ!B]qU<5NLy|6ৼ:/Nctx vP"zXHeJM%%6E,**M;pib(S5{^O׺--1TIFN&<H x9G:kH uz脡8GVH &B`Osc^L2Hz.+,Jj_Kݚdqlh lB 0'բbŤ9K]:ZUGJǁUOa">NG`ivP7"^e7r J=|< [tqcP :%6ŞA 4J'H ONS@HmwR`0'?"9ŧ {a%u&4#:$`k7zM[(*Y *Qnv1{`0̐`Ն!М8#Dry@6x @"WdǪ6_WHϦ-GsZߖ:[լ^_gQ!&N5B,2o'L5r K<6[LnMhѺ] (}G/XHr_FxGo<5~T 2\(>M>v;fmEɂ0Q*nNV*6&+oI`sO2.l>͗A{$"b DX4; 42}5p,d].~)BldžVeZc]B3O-؆!ry(!yr~.Hn14x߭V‡A:`$pwhr Γo'1BQj$E) ͧ'ZvAV5D<&Dg!uׂ*zgx LhOgjrh.i$+xs7%UX0tхV}CLœ]ݑ`6Bi|q]yUTWzl/6{$HPJt]3za'`t݊UBpE D賲%PB9BT<LJV) R,(kSq3n{Yu Aw!I+,V2+vnp౨*P+i-A Pg#D|˿`lf 0h%@ j|R;XZI#̽Ӳ~ Mƭw jbb1p~b9k46RM9W3i, RO4-ozD㉮yX"d"8]7YS 1!@:] n" j31p0H`h+k 94Sjk#.#shC\aOX!׶_hj;{YK4̥~Mapٔ!pPrd-5 u? ]k QNٲ,py@ま[qp44PmC({l,OY#\M ME \Xܳ`nk + S  ʲx}\/z$aVuq$Y}$ [UEbX$;v_fp".4l(5ݤOP;ڦm"%NǙw1ټV 囸en^T3)?BR2-Njnkw .f4Z{QT)`|T !QŻUwKfOg}ڡ?9UF^Ez9"XwAL2(~(AǺxukYs3i2A*EاX 6k~'fye ù۞)͝t!)Ov4FLy-#X3푊( YzVR3ɲ/m-򱇴rV_.)P$yYbI˻R%j ξhyM `A-ЧyWɒT%/ÇRCPZ<[S) ToٲWo4p]>{pJD0L=(ou C8e fr"d4@yn%*6-5;y5>vj%xmM˹6Չt-C Zgti)"hCE"7»4b~.Feɷf{iTԢ𲂍Z歿 ?Iz*DQBx$5jG3u4jxrr/Y乡~ hQpRG~W+UG4ϖianeYO&\yd*y9K,wx=al3[t_cpXT/e`OkxXd‡r:iÏg4_VO7r&Q0j/_S-Pq]> a9@gygF5 ̘KXu!#9Z,D2,< 8艑V]s):q챨*Qԣz_S"P.g8<t8JG&YQ)]P! !&H+V82a GHnPy}xN߆,{!<ş^giYA^ܳhck*j#v#/#~Es]ח~с1sbx". fӰ3Աs7pt*p֪X@/P\R*`hOb5y= -9چ "s -رL 1T)f)-6Y<jCeB a@%qZ8 4&ݾFic$|[*)# A? [&@ij :2sո,euus«o6&g-|Mx?Om򌒻\I%\46fKqۻA ! ZipU߹%o#ܔ{ƙ{lӖ );a+V xW$V `Ձ"`j]J!e^fc_c_+*f Wƣg\Pjl(1R4Aq>8*69œ'o9eʌ3˛ D%4bia4QgJdҺNo2:6ط#cjtZC}&Sp#ff'&Ob:lĒrr2= Cc{~|`m3,&.G6Z m =qGvxT.Bגw3OHRgJ)ѽKȣ9?5V>سa 7)=ʽ|/Rn)koo!'ƓCl8;⡧>F]6U8Q=$ @7*"=fDHa32D ZDZRf"]TÄS*]ӎ,eCve}W\ER(AQ.6R'3y( g? D$q:XYZ׭wRt<ğ1pP1L*a'>xi"?=^bsVcvy>CULMZ jtaiڇ_DGAhyto7{~9578ǣ#9Hئ>Wsrj-ϊj2n~^t5uS–rGUhGqV _X ͈}A-j:۩+(z汞!s= ru}M34?/ׇ*Pts w@Ӧ,Rs$n]<7MR/ (ꋸ%`#ՖPeNJU_yV$!^bȳ$五H4M)x-$XIl7@ d#" |GnO"Ň\/2"taNK%T8cFn醡Q}<Ζ 'KsM>tԜS9L$þf3+qm0QP{`R4ՖbMZ[4m`w/Zn5|m b;o9 &gAP]5~<m*RmoFP bW!1rE<>kXle A/W0\dR e\y>ErLXMK `O3gV;9ǏDF|]?fMk ,ztCN:z}v[?ֆlc,҄ҸZRHwsWu*dp@| t_L/2"l#0&ѺT`vN؂8} p=#ĶĽ[fwoh&e,=S75 r λۺt9f~̒;[XE}*:̩;!jFT%vܣG [5#VVgH9=--^Pa`5E5v\6!yp捆ay3hU*XwI/"0ewg7͚-8ڑF Z; [.'ݒ{Crs#r.}%VIF9ta40}|: ClNjXO;\"hPVGeD8F &6෩_|prwYUj+nұa6$|[|t..8HȂ?]G(V{"j!)11B`\"',,="U1qͧܘIP&~2C6k< d\aმZBc?OqQ񌙡1;&LBZw cDDӺDy({*d 1~7O*U1Vڙߍ2Cb-5ZפReC1qvǽ=!Nu׃Pcz%vj3&զO;;㭪Vzb \"p`ڸ=%oz6溺y7W!+'Z%Eh/2g^d \Tz{c@O _=SQ;g~7mA4wtoB٫h8^DZ.@|Ud I55sҝʰ'j'#S'0v9N8$U&OVl5({j\[OyK1|KqԘݳ[.C ]\3v*U<je!2;{`}>D̑Y#`r1dec&qvtd8RʟlS)_,uTUf&zu&&"ߥ}<pB[roSKS=2 DX\g }A#Z854x#ȯ])uz_b.`6*C5W,RO_LI_(۶'QzUSofy=!1ɗn:Y?z(W^HGK.9Gd !V:0;Bu1=[-^[dDGYdjZKJYh盫k;|JϿis22yvA^ݍ?ru 5P>1.fJEޛg4ixt%Eǭ^eNfLs .[kY}? |:%?xsPdƲA_|;;[FjW^-ǎsQ`6596h7 cˈKSmqu&|ukc%DϩoMNٴiA\t_$b AxǙ`K掾6rҊ})qy7C됇H*g<ǀQ,8mԲ()S\m/M̬ڷ('v3s yg'wM.O,˷Pˢr@z: )A~R}p??Ηuj iMQtD=R[$N޹qbu+ۄ/3(~\XGH^?nͪ[UXeBe>cvzrT+,%!e=a2t~]r6Ki;z2SC} PSp?Ĥ~6n0,%؈Xd"f,Rhmɘ禠E=sN <}#*{G`ƎV2;n)˂pgIDdx,MlCFJn? tWGd׆R!UAKXMF]Xӑ*Ih磫Y$ ׇSJD~zjIS ϓel^F#6>f|{,ܬP|<<䔮Giuht 6U򼌡{u!hv,W@yVw*|iʆ pVc,uV>qS=63q/tͯ>ZDo \5{vp9`XXܵ ďu [feƏpIj[NK+U]c O8UJowh}dCYdҴ[O;FwuZ@L爔' g=&rAM0Uu|5~?F_޷7gf_þ~tTqWh蝪zP7 ,"a=28Vs+"!FP";oXJoFAK*Ԍ(i kh <Gl퐁|I}%1|+~}}@O KUN4r~"۩CPEϕ>,bԂ? Uepvg,G1vhIl08ؐ$+˲7 BYF},rGOQߵie[q)|cFy7Y~$_~h(lo*8v2t32 }f|d^.~1T"b9D(V-}UƟ ⛰yϧyaGWE&p.UOw${[su<"B"Mn|q'D[B6C7& b(ü$j] g;<̴Dim;w'HN'V[sHە%Pl0$ë$'Wh,&C̭)%+k.[6jp+rS 3_di^{}{ר2A{E+~Jz:" u!Anƶ0w0 ?8fI ~Bl`6ow93.T).)w=~BBEzd2-Hml%1 ڧ';*"3& g 0&.dhLfK)viuUʴrfun&]QJtA֣9"G D0Lֳ]\;GabHQWga$N㪝"c2ut0?!ThK]qxK,\bp#3m )YœӁp !*#z #6-XaSe 'ʴw+a|Ő9MC2 ؼL]QJ+$1w)A,"+:ePaVnQ&^`NAA!uA8~zig1&g0P&}Q!}˒791F^ka1m=2 ?]P-_C@ܴz~ ]ǎT b<6 I;I# A+l bT:aQo#u~yKTqֺOWgpsq VN-0ei̍T @3_lQgtqK.n(^?QRoRF:z|=/u_uqK3gY%f-ql'[FI7yJ gJX3Y:Sܿfog=Eݴ ȰE;2dHe(fq1ȹëN_*Gl[6yQZ?б$@f-0^=A#>Ui4op>GnseY7~^\MU%yݟ&۬ CB^e]}y@OFҳlr. ~&4;~!0 iF!M5[ Gw & K5o,IaIWFfTnosMm}C'\L,x%=`+bs)3O@s~/1G$^IQ2[+vy0G@!x\eơ̇^Gҁgb>D ⧬AB޽;Y'ToV(D  pβ_ = PRQn|APNM^?ֳ :k}rH,PyY )ܴc{+nc[jqP&C"eY.D+6Uԩ۱ڹuA*vD:yW;R1 qK鳰$=7g6*8YDTKZe boHZ[)>|ʗ[lκu>orEg3Y;,y (H1qujf%>@t:hWPv2X.A[86 *bqǢߐo@'P,Yܳb+ ,6(M?q̿i^-^! +N4-ص*$\{"wvF5YyFuN;`u ЋԆIUϻSD;1I>07nn%NLG½F1j7'}x>9QohGy_d=OL,PT~Fo(-n]ޝ >~iS f Z{'QX^:쀕p?0zX^IR_`#SmmK92흌 0wP63cj V 1Q7Ϸ1F_j/ +ѓ>< B~_#Hf~O&cfHc X`7 hK-OĽ1bѺ.tFP瀅q*%wc33 T?θd{i0=}h)q[iK#lh:+@eXcӸFlfHp۬痭8^k(R~$Pq,+&sIf;F9`6#26 ̰1Y!0z2!rhvg5,RMR2 .]6l*_W` ٍjBeNwQ%yL _u&/ ^EzR]'UE]1Ed5a$]R?ue'&Ƽdn ?aE3| RN~_v"oyKS_}ͮ8݌<"q8Y(HuYE`8_ V@*j]g }UN@rb.Lj2AD<&9? etp 5,B괄L>m9CIvbo.Ԕ͢q@b^/ו&LqY#Hƍ<%+@6/9$xdi}4:>E/z&L.ao€0ZZej=L93t\B^6sYPR7S#kn$O>1V啘{G+zIcYG/iBdcxǽ[ T#1g B9E$(ڂh\' (nK zAL*O]EA$O/(=Մ=ւ&+kbpW ۈ'Zrk5lTIU`n6%!7,cù>ѻkmM}q)i ƻ`[tپO H Ez>\U QAQtS b7:T&L k'$uՂR0uL[Ѩ i^no`FO*fU[fC"R,5GP0DьwTӮ.ipVP_Xq:x,P:am j?5-w]##%,@uk:lܜ;o)Wm;̾Z¢eu } 3 o$x]X?abt736PV])6Ar/-VVc?F<N6iv/tN~pFaU(!}+R0t ,D] ysxSDY:%\2J#ŦtL*D0ֹю=_'8q,/V ~l}_ZScŞ,3VPCFqp%Ln.b@F ̥n|kO>=F6kGk g%߼~ 2>߻`K5<x@@@͜$0Jʏ-?[>ǿTBʩMr]P[`Â߇kTw&=gaxI|?P-QL 'x@w!"`>LQ6۝!N%2Iy-߹.PcȰT =џ.4̖Ʉ>nGw#&ViI6XjMO"â&s1_IHFPr7] ' I"}GiTC! cu%mXﹿW: r߆+tSElH;.&o K|a-CP m&R}sҿ8 !3u#,)A=:e8cEY0ʩ$cVJ6 *2 ; b7y!Ko)"|Y[oj*Jme8i(?fkݵEoƃh;MŸ(+jfWîP:Mϔ͔{jPhpVU0#EGfَT=>X )0 ֣q3@N~{De(iv’7ڛ||ΨA9Hu <֡!ث=^KU5 \5#@y`yW[] Qsq;g׳G9p䗥Dn6a[I÷2.~o(宐tDݚ3I2 I]W Sh%3 D`;JTg(6z hz=i/4}]_N|CrMy `PoQ-JcmR [>|al+