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 %%DL ]]Echelon_Form:threads=4elapsed=385.906cpu=1227.596gc=165.704factor=3.187zXZִF! _]ŗXf1-q恈aldC>14aUV#/|) jUe!HpcxQ:AbtjE&zY@qp1KZ.ך;EcTJR9x9+70)J}ߜƈ5\qBXPϘ HLO$slx nL' VP2'>uT%Q ~O'YW`GM1w ݀M7KݥMlR͌&f>!Sø) '/hRoT_f35{LqOi9t % Echelon_Form `` %a/ |Echelon_FormEchelon_Form.Examples_Echelon_Form_IArraysGenerated_Code.ML7zXZִF! I]9 ! kHW5BD-şn+sJbJz(~w1 Z"'GQ pF  iy׾fCZ'QoaT*r[!L)u;]Pp.J- =n1Ζ TۤI \?MU2wvo ml0ݜ|zaebD\. ] i);Kk Yu$bWEM(׈A`cq+4FT㒪 ;s]iGqZ2_ܭW{JHLV3 ";'3x6~?d;س]5 / DW&~dAH-ݓaI EV-Q7Mv/{viڧ [3 ݁^$n!ulHN@ ,95؇(MgVKRҴwΦFyB ?"9ZMqt`c^Λ4"RZXbc;$N^HxMx|D4HwaL9_y!'n;#0 A2C=/.,j+r'k>V+Vpu0WL\U@[ OR `߇]LXWeգGX4au{#o v ȉn>PX^`޷GmŒȴvDV |α-|a 9H ?YҖ4ךQYA3Anxzԓۜ=-P .Z ՌTkX:Ea A;h̀ע*O>EE9ӂf椈NrYS1ԏDS[N]ph=6Ѫ3UI7eO`h@;o7nsOxtލ7ׅFxΨەБ1\#41MJOF,!NZ?5xBm.N3BbJͧ&cn"yXpB;/{R'cK$Y혋ָ]bօ 'Px)g2! 2%Ne_W̓GմxX_иo▐wkH !!%[VW:9]̔S?¦q즒MfU4sNW|* `'B-[,zNߟci%)g%زnݴDA/\i (טFȡ, A>,Z=JJtpn:JWoad!!&+rM#*IHfT~'!t- ҅&8hͩwPK"c_b+{?A,7?Ҟ Dx ܤiڑ+$؊ Lp)%-ZD+sS3V\]}A5ЭDQJr~35Zh!l05,dGc SQP eHg0N}ף^>5l1&x G3BՖڜYgE3`JE=٘t}Re=!f,吩} s92ROFq|fmraz[CٯGS-vPO7Ϻ)BLn༁Ȏ$PZ0AkQPNRʶ0hkJlJ5@G_}5uΫ{ˤ]ot:葺ڨ+z4Qmt3,pcC +ɭL>!G0E6 FZ8-*g5$C(🬱*t)]ԣ݄)O[p qBvʞ<b򇷁Pt.W%Sr^!Z;W䀩pAC(.:(ۋ9\u(54Nӣ R#T9Yni:>ߩPVD-o _]R.rIVu~X:3r{FoFͬE.*cQ0x+s1CzR-"W<>MCiC GmvYR>E>OWI>ekyqN<A{UTj*Է54 V)RM d$^ `jlԯܬǭȱͿ$—qCKwA&.t1Uga^$.,oL6_JS&[ 45ŊoBz#1V{RT*EMcFS]um::Fgd#d+>$KY~OӵQɎ|seuȝruz'Z-.A^PtNk/5Tۺ7ũ88w89 Ⱥ]xTg{Yv)M~臄l/o9A_G׾ >uPHy^&~þ:RGԥY Auծ( !9]\GZ5L/50|`L'ijIZ}O 䖨qQ:: m#SޱRBrh;˕p)cHȫ!MM@81 yg(өquHm>6i"7q[f#tJ+0 (NąDDKᵾ^c,R Ȕ|&(s1azd`EN ҴZϱȇrǨ~ao'p0\\CA-r$28Ղ2#=*^H}_POG 4-s}5ˑ}|Aa'׫se2]%ì^$Rl7@ 0+wL&&tt&X#X"'CdZ>u`Ç>/M;|4,A•QL](?OS"Llxf0}?K&=;,yH8R__6yIM!VunAơi2!Q74km3:=Xvtx-<$:.qiSIutS!O ڽ-RD9l0Z21%EwQ.?sY?"#E#_  }AЇ;1t(l]&3 BG+ȕJM[:*a[ĪK"dV&Oo͍$H8>cԿhWF?=>I2\gZZ|b|7j&>NPSf]*cҜ?4d,JehrsyS'qK&ka\py}ٿL*H:c=HtgLq"眺v'ZggRJ,W(-z:gF۴ȹ\ɪθ&|Ƨ%ɲjT9K}_wB \A;VCw 4lRG0GGႮp$N;EAU] H&cڸ=l#effpK0]dc>uic>RDh 2TfTnxIeKȏ}ˈ1kģq*N0&h##h" )F'qDۇ9GdW'[6GĕqlD<°Ic'Xd/ }çm:GJmN0 't__xСeATxvl(lJTObGMTyQ)TӦAZT"+= cj3ӅL}ҵT5s>C?ۦo4 ӏ*ߧ1G3 @^A7aCfIP`'!çKh HH?USFעdPz_$iv`M{eС߷'$-&pf"@o ]aI;W0lxts3%ɫJ^ e`yOa`:ٲDܜ34CQRVv@"t1NǃN~Ҏr5Vp;WO7L"7Gꥫ܁Ňuv%_5sEuSI~5E.5ド~jك3uFb M1.6%F%cg[-yrPFlB}T@7eтbu3fKzB,饘WN[P@FW $*U6k@/m5}Fb*:p|rבj[FyZvBD,gU;H-\q3+Ɗ:gEcĚ V-b߄3|H2ƌK(:Ӆ8- o@88cIr`5cb4.a ;z.-HPjLO&N#@9y/],%Ϩb!׍qr^Y*, ~,Oe˟!@ ?=}~ tʾyVa=CK>G ZSf#'gu)%&רD]nuECA$y0wS@>OLnO86[ ` v∢[=e'̡bʶ>gT?BjtpAiҭ%|SWĎ+kJ8[I!"ELݔ|gU8Շ dI$l$IDNr'>8Ae: F_# %7Z`sOmK:RI[Ly+r1ܴ_z)?)E2ϽA3mkhq=_bOXN/z!܍w& #B˥Or cj~iC9 8 JNn4a$}J:g 4}]̹LIc<+ ܰOЄ*FDXk\qYOf^DNQa֎qʈe?kAE<إ]J8N; I=ex6ozLB ,j¹ h {4VAKMQG@]~^TOt VR7ڏ5*Jbkhެs1)~H K1t9IyavF6y( 3=.=NC8ݺoVmˣ:p &nmn-^ #UAW](a.=~^ܠʴ(" ;*weƒ- VRL+bHSV5g/ܵ9J];Gr[uc Kh4$h|Ƕ9r}O'02niZmOU}aA2Vq)UB˘RF]E Kp.u##(uб/Vo'WI`7z783(8 m,| a)tCxj~.-Tn-5&8k :/i$X\*"rEX6;0 &J9b X$Z +Fհʕ"~eE E}𙸜gWHȔ ȝgs@iЧBo$HyrVvw' [S9yQ4 惕)Ʉ><y.aZdSdv! ֛tFwGfjrݰ<>h1da>1uJ MGϘE"dߛ1$V %iVx9%Q9iNckx<d<0܀-EkgKPƓ>NHW#h7,Ҁ*y6+"Rj|fs>Ft֕o ])mgJT3vmQEnf С e#eayx1BaWĚTZ?{E {"F,ӯO>WZGv?f.mjP|p™ZaTJ\Oq78mLLp\85Q4dnTۧRA3AHwՄHsPK$!dѰs\_[ڣտtpKAr2uq2ǿr;:XDh"L\M>{6?h|p o&hdֳ$E!+j(i+!>7d~ 2Ah Lxoh@0 zy#Uf4BzhC5Ȋ?ϝKrG BŒN'@_ ,:~yk_DaoEB7V-JJ o"4g.a`mmlؾ]}jՕJP/'4:S#*!ޚq4o6fΛOWnעk QANBN h-D.J; aE1'P3U3@TX ?IJ 5L0;KlZg/CSrm xҍu]uw))UCP\d_ 83]iHJ.vV{bK `"O'>*H.W*0|\_ZNюRDqo} .t1-%5nCDWYuMf$gBJ|zM`8:JI{(LBH佬д=7¡vSM5Jq (94o2UYV,yx T _o3{#wJ4/eeO'LB3 Q(Z\L;wH9cu)onq^ڿ m"s ytNj1J@Ew! bzSEsK%ʧimhU[q*no+4xtkvLXc[,6iulwIq8{ 8 #΂ Qc,2_sCQv3YǣߵNGEgNM]ATZʲ"mSF#4?lkBٰ5!ꖎGla5"uіߢ*kfKԊPH)흝afl$gQIYRLIODŽ#y;79 8ר HށkkhMF>k~V์G9rĉ(IxfM@Zk*QǴ@&xF8m' bK<^f%1qTGefRB g8 qw)vP TB]NߜqBœ_UYƳc dH(R_37BZjQQޖ-Aɵ1U긲A Kh!xk>84 rt% b0Gײ3B?Lj[MWݸ3,ꫴLtTtU Y[b4Z^J -IM'RxIN$#սbUM:rx*ZZ}}g:DlMk D񫵷l2Ĕ?6~GT!,blp!M}Qxw60>-[cKx%g`݄XDAX5$IxKt%hYQs7zgXr[-ZHvY-L&D X[t>ol&|ꪪF .HÂPj[DDk a{B ?V*Wr8dI*^Be*:]Qذߴ0j!}+ ]Z9~s\t8nPy}m XgsWIPTu4ַ `ou}DxS|B@®Vw}.u J&Dd1M* \D3&}UcKS lQGy7H''k2Ry Y|o)Eۜ S cԠUW65_d+ר$UBS2J"j$tr},lf)gˎW1 i'4G} ;XV鮕Yp^%-.XqpP&E+)`g'sU['1'%=M>$0q sw{@C?YCpC&X*x 9+6YVrW[/Cpet,]Uk&̓r k Ư8eJcaFݬc ?nlar@5)=@ \^Y✁s8r~F4 YPFO?}뀑8n]9ȵ37@N@O (vdn\q'eu] N+|BG1C}/1c+F"m-qYD RW<}kpiwBx._ūHjTѐDu<1zŎ3JqfD_ āe7dzmO3}N|QIMcBm[ #r*f^& 1fSp-Pzި9s%ȴ y8$9e'SM~ӓq?%o[ikOٯյ]>{/zlȐ).;H<.r H@A/ѼZ|w`=|Qk&a9A9(M|[TF{ΗbE4|D\7b 5u)fܤ@FLJH0Xg3/6$bO~&Ä KQ`gz]6TQӹuX )XÞ֍|TgƳG~womï355_w>hԳ0JzT)$E ,DYe#Cu $@K؟4jZJ}.%U}yw:+Dv p7F&<|Oֳ`2fPec0µ|zXe>̆cE4G |#pĐY(>xk|uI-?;RZyAGn>m$L4u JKP<&Ηuǣ&}`rxcΤ['#G}d}Kǎ/FĹ=rbQ!1P:9{6@r`PZup:+oO*^[zdVBڌ_0a,J3d{+}+8ke֎$j%TN=MsQ@.]0H4 Ii]=2)t{ $#7|a7 =x6I3q@?7sY,BDQTC.R`~5D/pT^h):*cn`iSJ`BݝIabPPɩq}4M;3*Yf6OхZ5ťL :/NOXDřL)r9zɏST$J<f.nڏ(x xozn Dm'M!%  _u#uYQ&t c} dx>1/CsH[0]KJDL׸} P*]=ZYjVLz}SLK5 Tsq%20m)T|1sK_ >1/ ݺuP3fRUVh-zfX1m!BLj=: ,jzZQvtڇ3yD=-AM)X۽c PqZW'/}NsIvɁ^&4H$(ex3Fs RfD&\Ӈ]!cQ`+G]03,o$YoX5VL/[!U TjܱU[i{N(ng{&^ ;C4͙>X؍{3pz78ҌT1T Uq:SɫS&WUM QRZV'@ϥmqs$BZ݅j.}GJ XIb ڭl,6*ry,"FN8<.w}wE鋽:|1oPpZf[Gޫ{Je:] ֍ J`aH@תt:CXeMs]uRi)YF`Xa#ӥx?җFO:5Atb؈}4'Ͽs%&Q /z{] ֢|U>9J̍u᎖CDMUKtPӾ sk0>ӽz$?f;d!M:xr7L# 7)P1&NK~DH 0IzƒIHHBtApڲRY-3O:ml]e]$|orbϙ&(lY-SU!"4ΦB]hm@:%q{3"D;y Aۏ0->߃js +X%LꊮCB[Re9EmEA\ȸbM%ql k&Q闇Ov~TW"sRtX#[N, t#'9#m^A-qqO-YZ:&pyq9.u#8]VQXh़Qy몎&f7DWB7xIrwTDaija@4g%QDA3s$>Yտ :ˈtآU~9p0B TMy}]8q$s>EȚ:U *9thf~Aw!JM oжa+WXJI<5\/r~K Jt =uh!M X 6 m3paa\e}6B"p8@bBג䦁IVSz[[+ dtԜ[7[Yj> z迚̟~tکM 3LHppF5sΚM=_DNWŕ |->Oq܃*7.en%Yijĥbp~*t02 3q4p  1C .EJ h/wx̺jĦ^ w4{x7p>|+[Hy gBrC2`dUhe`0V: &7dtdƌխ\ STUy\ն5ȅп0 BˇJxf_!~YĻWO'G'/yS8{ewYx \x ѕ9da^||<هOi8>adnK$!*OT=Q٧g0b(`G817Kx `T➮IWm;%7N3qNa@~pMsE|u2 ȉKK(5kN6Z&UsQқa(֜NXb%]V[u;^Xyb3 P޵}/l-$x@/?W@g,s+rl\фp! 523qey@#9f~Wج߬`Lȃ⣶6ʻ+!BB%HV>;oy˛m9Bbp΄APz}\h0s&V;=94k64GBd5{oedkܝI}ͻxB)OlZf ezK,s̠Zd/8yV@T1V|bݘiq5zE9dӴWSZz!G> :`aal6 !U>Sf[E[^]˵0qRƥ!l'Ӿ6x%P3C< ^\Kg]$ U{KC(z *1JzWj!K[ l{u@YeaƗK,.Ryb2P!1wMJhE!4y7XN^ղon(D$v}2[քxRq8%yX>Tc:HϘ )uV.9yV{Zj"p?ecI-u|ųсo/{mMvAU& s,-y|mX019 ~z{/N\O:^>@φaMe*x 3A~τR(3:yawM-BmG!A9Nc#8B?RڽY`K /}ܸ ^M? Wr}z cpS>Ոp^:V"r\=3d`GSSRd5.^(}c&F |TW@]z'x\w5*? =#JEE)n|p`a0RtGA -N 6|w(& #46aMڎZ °6O,a6ܨo۶jII)Ik2A6  xri1|I jŔ.SS7:+";ֻZ݆Ė%6r}9E:sy$B(zH7Y'xĝ*Hy:"6[4>U2K -o@c4GlfIrv)o9%?_B}$Va? }Y8MŋJ78E8~&Ȳ46NDEܰ*.4QpX}'Qn6WfI[b)mH\RtBd FvDmCabW~&Φ:RmaY9;#SGH^#&PfVUVO -}(> O썡{Пԝ LYUEΘٟÊ7Cx;L9.+KNEQT L<88C Qؽ< $x:*ʥtin)\yXՈcCfL+ܷ|H}J riLr7ݡ*MzakB- *s_f7!]3#h@o&3՟ YvJG6!6I2ɑNoxtNT7Tm6^830nq"hӞ|nXߢ5AY`7.u^r4(uvOvCbx* /G6tzLPO( .u^Rg-.L VMʶ0.A]WJkj%9OfqIqwٕt_7MT``zpΰag՟aqFA6=_cB jo繜nwKMna,&xŴ%삶ҺbwR6wkK$|u->2硢p" W]BjB^GC=i:Jot=ʨȿ.ѝ lgYZ ?xAP]7n|^mĠ(1rl}zKjk-{9;J~+clR6dC w;<&(?r(|; +V'Z ,W*Aۙ+D9:͟ `sʐ$zN˃]6m5р[#de'cG\|ډn MI{W]I&=zNn?dƣdd?{Nd {DϗY@;5@6D^& Q˺2J/$iqiPJ9v@WtQbTXO{椇MU)Z-*kMFZDV2WDBE(bN8Ɍ'qgl'ȋbq0W$"%·/!NR 󔌥G_1sãUc({[7話%k4;e$%4H׆ b_`|] LbHRgY5# Y8;Fj ;m2]6|fKtIe_+]L"x( $ytS&cȸMwMa%G`f>m=n\pD2;+lF 8k$6=t6v7i5A13}}iþvHCP'039Ѣ]F7bJj{ `7(4؛*LT;x˺k:&0Vpb3~&jjc:3ɏЬU5M(s%7 c1G!4%byշG/8,ڬ-ܜ[h [!az_-6ƉniR[lչqrO\sB×[OSG&Tn J?PfσŴZVyc#_bvӒ[Y oxE쪖&?puf$s[>l 餈V͵KpcF^Od ?>1ě!PYq'8>G#部WZ9͇֫#2b,xScVBnO7~?< ;qi57z:rm.fd5^_Z(4Wj9Cap$(MH3+1K ߇`g+[d ^ّf8HM}^QɽSVF"M;#`&ڴ2hM{-=CJ%~W8#ۇ LpCg8ޝ+fhMnԶ %(pU(oNm+ǤjyV:hAלo(ʁ-a )_nZVjL%Eтk 㑦Є8*q =GϬCqo`3{4]KPLneE>?$Z^[|' -d2Z!jJr0Ǩ5}<ʸ}8U4w-RDlePAdf%.!UΌvޙ_ 'Dgi)/1rg/?ۄz`u0)~yY˅zΥ*;jYTf.uFhR.s+>!Ϟ0WN*Y yQ01pON;rw_z[zE !7 4S>m]êk7`"(VU`J7Dy{LuHw\a"hvA KwZX"蘹oHY@r*!s탆hxoES0ѧ( g&E}Ő03VUN꾨@J?j}aJZ,@CnP(E 1Io;χGSV/@Ne6|إݻ~'{yr^H]A+00%y NBDB-Hcʠ%~n 5zMeBSEf>הiEο.^ g! `KCooEIwf_k PC(P/p:W]:Ui > LUfb&䎀*Oz3=$Yz^x A*V>՘so)D|{H(F#xn un]zF(-si3Dp8RB $Fk!T8;> RMdw !g''gɤ S)7h/WoR􎰠 Ge~>ϼZv4L~Ih rSHHo^epVKVթ#^B06NM*4ɨ6 6eΥ4ۋ5UZ#9`!Nɨ3o]E"ۛX)Pu?$rƑ=9$ņqJ&<68 xB8k\0ɧn|gw>)9xi#[JwBq%nf! sOmt663_Lny%5f?F)oc9FA=Fϼ|n[elSر3CPG{`-ߵc6v_WIW o '*?qwS"95gYZ7zXZִF! ]ŗX iɟ1˦r+g'Dgr>{pNa5R]ow5$vB;,dkQ64c, 'WEI%)Y2YR'>L`"Έ:bI#,sҋ͕'*! bF%PqԎ7CyU[F ˆ-퍵e,} Xzq6#Ӣ)]*,UvI:2 I5ߏ1e%<^)*sCcY t!DV:u㡋 UҔJ h- Io6 9Zi&<]gЌRr+X7Mj{J^_Y3hB,tw$6~vf *Tœ|uG!T>ȹ Brf5Ib5T;ؖdҡy#jB؟n4vҔ(OY{eCY qZ[$T7aBgiͯNe;4?Ad 6\QՆnd<(R>ix )L(⎋Nb.ۥꭃs6 (g,3)+rAD/r4~d6a+FD[nE hё_E Q'GP ]W&Dx8C+w(!)h4S)"adS*{rE}?O(Vz;l?1ePJzKV ´|-\{w5ԊѤt@CDbý%o]'uA2 gB9!W3DzxM~]B`рذKRued^KEY5$_Te#p[ ]CaR@p8 $~Bz Ig%aK|43{nSSSJzIŰϹ_:==a#A~8< ^OhsR3Gf֏icfzZT4,F7o`  !?ך& ޕ'؟q6r! -<o{i\{`)qxej^ON4<.<Q>98[Q@EEե$ˑ6ӛ"Z@+ïSB<ī݊j$ 8U@.XzIf]KYp} #ń"gE{ uMnˡӔ7FpxHBoUڒVF)?-XMd6avcM%| "MPP?%g}>A0d _ 1T=Vn9yv=( UVDm-eDǢqO+ix 9~җ`um:eBtbfU72:)2 W`~60t;k1Bvst BzM&E4&H5|@.Z!HabF gDΰ!\#lXx)w"!lNj8jiqE>@:DN tF'Ej]%] ̂ jU?iP )PV4'omy΢8JDXJ,. R$?&^#YR~Ћ'lF0ӗɧ,y' =74>)OfUp:z̦laL|} +:2JJY p?G!$3&Sjcg>y/`'_SZ?>0(c('Gk&DF$%1ԘAɛ \hG@oՔtJO^SD GSfӣr:S8?oiha6_ƄQ=X=0 y`76%E騢y ;eDJp9Te\GhqmJvhx}/O?~o@qqm0:?Q)[O\pqobV;שWǡ WPAb*]=7'p"5484de.:ਖ਼̬ӏ7{PIs ~N^FD^X_'ya+⛼ (?]#oqWGiY^ sQAq3:h=zGx *T5aOGd,rts9rxpoe)`}#=!4G's]jE>ܛ >*~K[]Iۮym<N+9/i0#$cAMr!ٕ@97Y6^Lc@#K0Z>vB xȫW.xp5 ַ|:@JT$ާSw_5\(v{K [,BeqD+o#G$n@= 9մ4.-Wd7n_h %j@ 7͒8\)Gae$nؔكHd& /YTvVƦۼ\J jgh{p6ȩzwtO"ba}Yۊ7al5g"ȭBSCrk~+`y} Ŵ1.ISr:9=Q*zg+x=+@ M-nߴ-p%2|ɓ!q- rm,/lAyi> i`|xQ@V:Dr$aOIs- W: T_>0]MUx%3/<}CTr}$Ijcr8J3L׵xXgRk#.U?^}WH=қUJG~})u,  v>XF=Mm u]΁>MADK#;;&!sܺXo89b1&#^b <UR~ڴLp0$T@gwn H]9"5$g?`Yp oMN(9;RuJs  D9yl.dE I~Q\["^}cT)PR 'Y4 A8̚}_6%llBwC!L c"XulϓqX7I0ַz&1afM%E~2^*A:u{C>cmw@no^!;;1sGLUy-v;߸SAJ˭Zy?XSAJ6-:7Q*\ۅt@HXRxBb74y!U!d;.|&uTIPka38bYreΟR/3՜5 K~X(BBT:utX5I9ptY#*Um{xQrtx؅?1Zx.OA鮚3hܟ!]T`J$6›xs0mN"[IlI}>P[m鎧gID MOG' ;\,)w0Ʉʄ>aj‚/u'CA;ͰZPwX;7πR4!$.·\KũuG.5u#Y*]&(`zaեV4 y4VRf| 3mP-B0qi$yݔ׬ ɶ7B{MG;t+ sNS'1ѫ,yI}j+;3[qRm)pBWSWjn 3xV> qS }Z`|_siIplҸyhNM1>1;@Q$}&q-V.eeXrCZ~ܘ L^sz13GqA1YeWYF uI=%>7 q,Ҋ7Ot 1y>5ڨˤ,iȖŭٹFC/;DCXo^]>(8SAf%t Ӽ&fNKF"U<$ 45RP] 90qisniz7Bckq$E2 M>r wbcG@x7Y EÁ5<,AAIyW N *Q.L铮>RܹhM^kF"׳jyKع3tn57"hXv}،'2] GbfWaVH$Э֐ږ# HBˆp_0}9Lc<&5f(U_7X2^b5yqye"qCVXHklb Ӂ/!9b&9\bfZ jf=WTXFka.x֌̒< V SࣖL0]-#!6.,'U!/kG\D'rDN*>;PGum/oRt:]]SVy!$1sҽ Dߕ"oU9CV@dQ pPBuUn4)h9q:LxʀEgI<Bgz"ZPˆ%Tc/(|WNQP bQП jh,&rbqo+u)a$!-Stw{N]^]M\!)c}y;nwG[2ot9,6S]t8 NF.9Y})ry7\zyozϨ1>w说9ě5F`P`. VZg>["XCBSy19v.G쟅SݾjKmXG N]"(B9 ;l .jϑ┑M8mGMy<S'jߋ[*G{_fI\S1H-a qw_a_峈i;ht-D!-\"XmQN.Tat P-ksJ*056;ep*,oWIX+0ꈙ8 ^ mr.5c u_dB!Q2s}J=#5U?uOA"Pu_vqIV1!NsdK6!q*S9ÓIWNr ] KA1ʲ1[ -)2Hb}ۂ0gFR:lC߿VJDm<>sʭ-RϺ\dAC_ב-@c'y:`H!ڀg=cs^%LVx trm3G08>lN-Oz.~ն4-393yzhjf9 oh:MeNd U;Am#Ye@ ~[Pw*:{L!BSd̡ER*OK=7vp1,x6XaY?jJSmJ]v6v_6|E5:Jf90Sjc`eiNZ0Ca*/7"}=Ţ>([DiPɼdq?d1I\{=-~16=]WW?5c;<:V^g)ohB^̩ v+SțNI WװG0@i"J͆j攆iگ\hXw̮9]=UOv?Wt.[p8K/QfD$#_wt4cF3QdHhhցM,WJnMwW$joC8_C܄sd[XUÚzr|CGdA{]WtdEF4!f_ d8/g82Oh#+⅀շ\]m'5k)VD֯Uy51 Q9`Dy~:`2V ^#7(Y|!FN/'9\1i:⯤えQO3s!EHun k?mOn\B"ǹ0t%kxBNؠ0 S ^ٔB S F&8VWWa%:c79cgF=McLb wzZ%_Ce4{ae)@Ҡ\jW^!L)Mr~9خkBd1>@LIn/P1/FInd-_2h3-:G/ĠxtC:H$)TN>3LK$yN[%| "r ~ecl6|\o{u{1CšiyEBF^|B2 }xlı5[ !MM꾐X :i;cZ{"6bRlN5ٯC` %ˠQ֖ULMhh:ͻ(]%gft"!_(1V*q7\BA2Uxݚ ,ίһ}[EĻ6PKsDM30$ǿxԸOt{Ӹ󙱂~`jS!*[4qby@{͍مO`mh|Sv6 D̉6>}i>ii\IPsDm^!Xd{ F`~&m55 ->rʹ7x0Svz m=BY&T3;֢]ZM]^1-v۔%0NI?` عLStk˃3cx=]f+ɁCD5>BktS`v&ůc_KW_]fQ>nHOAT6 >^@BKuʧ pޙyxom|4vԫr^X=AC[o뛏 *g>T~Ӊb2WjӚZ)cXB ﮸6sj?vDO,ywQ5-҇zuZLZͣ[Nvyrl-=ˌ+> ݛ|F A H`Z% vJfn! F+#vh%* S 2llA53/ǘƮ| L,/6vv Ahm@ՋFm@?mHA /?Vx1Xں䊟쿧BYZB:b`"Glĩ[=VTX()4;Prl3|8to Z1r`o-_r9kp\+ׇ^WR'}R/GLJ@T:sIIu]=Քe,qFEyX~q^PHUl,h[' G%yd-l ʍjk #-T)%!Rzd'Kw1G*&%,W/8{(o/&s}J5(ڜJ6bxƽF{?&q V#( %!1`#" !J[aYԉ:DnF=_[h:Jluث{Z;qPYjւ{Kz0w9PO\e9aAc[[k ໂxiuA[5bֳ-'Q)ifdw RPE[6lG礞zBBgAol-ᲫmΫ:H]T2MXٍ\)C0Ǥ PvIfx$?Ou.ހ c擳\k:Ujs,).M9"ٰ |Om7cK2ղZR˻qߔ'7#[>wl åvEnA^Lx?xŹ4#cڮKI8;Xncֵ|(F;oiz]2q ?ZlxT^[l!OZ*4qk'd,-YڅSXIk>q#~Lr<.Aw[d4)ȼNГ^]oPo jrH.7Y J_b,&U+ksҏֶf:P1ǜUjةLos]Fna?FG%:%a>|o?[">¯~Ku!iu}0?YTt5,(DY\DKΜ؄ӶGܼMˀ .:U,* f9&yb82.شn&9eZsЀ+Xxԯφ!MOwl-5MQ){w,aT|'άt/䝡1:`s8D`$|!s)R{m~?2m[7 DJ' TvXFUU:I]6A kYr"{#t,>\Bz V2:ޫKm A98P;.HP耮Ĵ\h-~Č؟VO)IZlJ@06Z|]gy+:&g|t"t9f/0LaoŠk2y$kb&zsapmQZR-ۙڎHM 蘊XlyhUqn,8V 4M`kOaoʂ t"s%(U[1UVxnk&\8[O_(kۗ/FMc :| FΩe#Կr/A˱~h_qϲ8)kWU0=̵eun:j0+w/!(luUN53]Y BK0-uOԖuqmTG}W)R%JºiQ;L|uw钎!n޶zHcµe9}yT}AxqoHξQK[`MB`aD.OP &7wbtTLퟐ?X!'?tj S?CsRt893 zz>K3@ۨt4^4Jo\?L{-ܞ0<ƄwB]Bw鸤.0 1sZ"EcM)X}ȓ-<@g/ADa9/^2r?;=. ]!`o֒wxK<8(J_&:mkoڛFCkVۃ뜒.zí\P-7;Jѿ%B[XLEWdkBô YzM6;Dno%&al (`lbY VѻT|Zgދ=ȴ`4)Ϸ8vt{C(^Α"źL1#kwbYѫAGZN%vm)Z&?#AQ8 ,[b>f4æ&M]5n,p~R'm'~x&E`S9N>Q$"}0!` ?Pz, N?Fw^!8 "YjUs &ξYdx_3k/zF蜌){# *ms]񀾭en3:c( ~Ӆe|,'k9Xk(Tܑn-xAVJ'juN j᠄ 6;ƶ7.UgP=e\'*[ ΎjD}DZs}Y+K?jx9XOR&j kI `'j'W%4}7ӒMyqD0Y1afr8Aơ$Vɒ12!ž{qĢ%DH?3@ ]hRp=IoL$SLaKd1"SeOA9}qw]axyVy-uD6VzS 1Z8K RJ/(RTmøUb#&L 2ǒ|d;n47U8Xq:ȵ {HtB}WUjvbOLer)=ɣs ϗϠ2NGHN0^^2R&l372( )ܯ e!u\!jP}$],u ]u׋Qjj/墒C[qy>)"K0_}>%]> Y=' {?fǷ\@EvuѨ͞xn;AK딯@-q@8;]h\8&X@Ρ*zYe;lڟ.PⲿĪ5gtRgA 59VFQJ^)(b?p"[Y]J+x]I @vw0fu4 h%M̒|rBxYXIJ3pJg[ 1L\S[( ]TDmFa5t1UD.mIk`*,U-~plps07܈WL{㙐ImH1 Z99EڊJKO'aG=ZEq` "KJRhhT ]ȱm 6{ $UmJQzdWƥoeͼ=SQd0-='HĮ5dCȾ}V IF_W3'13o9v!t0 `2_]%@ q~4q3%)TL1xuZdI-1P+y7A:w] T{L;@[ك sTu3G}v~ ~Zpߤ.)&dߧ vIe@GJ%pKT|;,0LbQ6ް=P2Xt9\_;MCms Rݾp澔$y v;iҞzE A*^7Qם$$1/Fr]oJ9? Yweac^:Q._)`~w},ٌPn%HSʢdP>&w4@9-y[FWDZmgng!&͍aoh4[3zz`]6ԏ0҆ƵՐ8{KrZ(] HŬHx U# ciVcu욟5VnXi)ۂ(6i?©.5{eO,x2mxEgR2{.4zYaZe$K#.J;NpwP74l[= c8$hȒ//i3af<8zSVDCD  Sf}1O/Tv$+*8ԞzxG# 2LlI,#>P $GrkQKʜ7E7寮xNjyd:_kKC}&nxj(6Jq));3Vʴ&6Y#H;b4ʁX2U|BM& 7'L)vpk\ b]Ng$lb(K'xWֱ\Ѕ'L XPS/'F)+ Ve  uCGzg-"ãDo[ 6z=E#"b / Pmш!YlHp' \ gz@;2bVs!k($dG?<m6}8J:sQin7/N6V?*zy@zË@LIS!Z H*k}AHQ!jX3`NXAshXtYzotz9Xj"5Q'_^@84徙L %'&_v3vpIQv=B\̳ ћѫVx@xPS |B~:=wevklWz^]vX6xKm|Z2 ;uJ)CW4=HªrMbM[q7\BÏPfK~n3w =^3m~Hoj$z1'x[V u(A  &q6(5[`Q߯By@m%s̹HdN5|ld$Z00*$F|bw|kDsAVZok\nՠ޳7(^g UxlMLc]pMu;JedUz`bmQ)O/]d?|3Ͱjy[zs&DDhvaNAL^(?BD)H ~[OOYKe?8k R r4r!.YI(@K*:B#7R~eC,2lW:_P1]@@I:l6BЗ0M<>T% uGqwZ;_O9SknQ`QGlA%VT[0c#%dŠThԴZD\~[epa|+{ӧ|K#- Gmmti׬^g@ \6 4 }yQnl1!⯖9D &[ɿ7 +6o2#] iK=4&>t6U ք}{PRs_BvWfג32 _I|u= ʂ3<76*,). GzcLv6{aڃ_=_PGSE4-/8wX'RKk2 (ܗ !㣤<7nv-C2*?%m9{I^U RAZQ0*=\另fqkNT9s!q\L1?<}V2C7_?4PGNEU.Ծeqj+M%$n@?Aۋt3h7GN yx|ts҇ל$)Cs dw6%[vqVjÏ"[z8n&d6 *3"Y aLi{d, )4u@{7҈5$ۤ6*MCsrg%O#)>C"&fq>JntȺ-3'M,OY+:P)o C߃ HM4mn(4\=nOt05Yv-26Z^.gm U_T V7I?褤\eF  C-?#K. MpVOnsrZ$)xr1/YD0ӟ"ʭw=qB|7fE%D5pnZ"ԩs(.6C9g̦;)5<-F`SLKmY QvM(6jyմgpXA ?b!cu$Ujcu~3ʝQ9c5@9#sC߇,4ߡ%XL }Ih;I?a .CWa'PFn*z V 8jB] 49,ihE EBSvHm3M1$s}R&o, B[ҁ~/;Ɏ)eU]H8S.xnTr T"/x9\X*aGP\=E3 ߇5BcTe5g9EHw~]f Q2W<[Ʉ aٍ+${|!bPIK-ЬQ?O8Ci7:t4A5WނJK*8N']`GȖSn.x1ǭu K⒆ߢ掗z1%'N$Yl ~ q?Âj2)i1!GE(bU]ɏ%|knt4"olA?(pZ4L+r)u?#e!gC#CSi]a$w^/< OU31l'eGv|=t<&LJ,8pcq[m;xfeVvOyIW]!r#A [T`wS {6R;YR9/G rr˾v26-L$^XrCFS+`zm;Z!6 Rx*~LAD/:\Qv~C= 1qd2S O@;IjQ9{9\@7P&L"״> -&com$>#sYY8Isrhv]FXJss/WzK‹LCeIP\D%ǰ}溼 NNYm,uP40g6qR* >I ťy k}E\ZU̼`bz+ ;!Jʰ4J2O{M_w#** !]Yy0|e>v30[Ey ;^dƍW1%@xpq clW&/Z3J\7܍P5 a%R/%eUi'sVs krx/eEKXYU{ bXJJ)~'rIiB훫p^WGvaE;Jb)H-UK/&yǼ2N% ׽ l+*mVc]Uir!xDjjX/nί?9!+=' v).Z=~ʦ^~%@Wu/?fɒ ]s[^[uf\TgxJ̵IJ|-pv>ICFD{#-{i^J; άȈ`O|-ꉝE\"SZ$|μuw5 ;RIXOZgKP 9!?4܀N.YM5͊ߟL^2YI@ [#I/M?,.x?|?ٶqi{k^޵y[㷌|Vʖ1T œz: G_!7ylbz}a`N?o#eO{p[.WTzΟd[_ @ݍLGt"H{BB20lmɹzaIfՂwy1A:KQ~hCksv'#c)ʤJs_ۜ!E1F]$&AxDNĐ%:}̕ZQYqGX1jy* XF@ h{f^k6j>z 8\GfQByZp=iyLEoNL 5YQ9 3/\Utfw.q\af|u&?7G)`SqDP>GΙl# b)sֈP"jx`e/;EH4+R5ņ3AdBhibw]+>MXm*];IPJ2:95pћqs%:ȔQ}IqЅ}vޗ?#x̶oxwvΈf@m .sYcWn^ͣ Wi-{$j6 ?kgܵVPG4X Nc3vac3 =-2"uһHP|NM^6_UW\VtsH` J?iD#]%IX,:tIDn)YEʺ/f6b_~bn[ }k\K]W8,iZ%A#J},%lҲҌ' O"ݟ%'gRцM`yND/3_ǓG}9Q#FʫSLb>BXNfpmM[|60%eA7ek):lKV[ݑ#9l_nqx@YU)2s-_ӕݖ [^4ajn.``,Fąx~zL$iA\aek"2/N}4m6G\&GpUd S %kirV)'#e3Ab@?f]Sؿ1jJ)[ީn=ПkneLyH\sxrE/%ARٍ4qs URVYxJ~\ F VR} zr1-F;֣'^X+*!c_H k3l* Mfj&P6 .ЮӢHE$Ѷ),'ޑdƆytsѩ}U%Uɤ;0Rڔ%@eZ.cwz,*j笷aq}V1X;G! R9|c1'lʨ9Y5#*!_ l?_ՒնQ8.L}@VYE?VgmV^HmoߊlaO\*2[JAmK NhkEPRCͤ럿zʦW~cc 0A~^TՒ' N'{n0m>}ƨu_kDž Ĥ-^$i5*i]៴g|Xe˧LNe\4'd1e` 2OVYSmȸm3*? n^1n;{H>4ֳ\(C*F9 tY@C Ͼ_1PH}XάbV2#1{d> ,^"yk~f̼bS3EjM_k|ow~Ps;Yϩ!օѠY kj93TB!&i&I%JXzcBsqRcEWaq[euYL_K+\V r#ÁU^A%J=r;Vi⚊OD"=Q ڍsGfvW}w2xG_ޱ ]mڞ05 lzSHkdr FHnX?ˮ Xy\p92s>5Q._gSi<$uۚuT{{EjB$T)LsHγ}# E 20iH3|.1#%A(3vb wo!)uUyl^.sHGX.v;z5Z^G/҈Lq_&0MfWTV" zTZ@Ơ8lA2"hmp UA#RV<bMA~*V-1&С i&!Hײ LH1Ui@[?D,́4|(m]d!74nǾ4IT!w'0=8wG ? Ŗ67;Ź6FE0e⅓z*S8J!_,sܹOԪ4Rc񈥝v9V҅5d DM=u=F6#S"Z">bMߪl4:s᫱+@g1%~.Zh ]0X%2ϖU&gkf7KoC$zƼLh;`dz-<ťDl.;b(KM(2ǧWfWdX4PUM8d8F]x%zL1#i3qk سLMH^eTY N5/%)B%qP.M2tXw^5U%7^H +yc5zP"񹮇H%]CRӝCG?^y[@12|K/ho8%׮O%RwR6 o՜RlrNuzRp#]E86Jt]\8[{7븚{gmͭ-[ZsxHPtc:IWC^ȫbCݘ1gUS<|lAbS xu7y.Ȇ5 @H.'@JZ̬l|6#*%U|FZ,H}ZWmN~D#L`Ez`yKhPEP6U/Hb|ɽT_1NuH{c){E,S2M@59byװsDB"QOE5dgSɾrv!'!/Pm@Qqȥ6R}F(!B4vb&QK+4pThE2k-!5m,q2EW85!4sqsSYCp: T6&Fo<= |2)-SJ]kl!L㩛qPD, ,r_?6&E2 lTm12%XТ#$-ir? ɵY6@>~nd*6^ ^aM|(yb J5ΔB̜ Wqi"nVGZ`:(,>P^q&\ݧħg[ y. Ln=MAsC>1'pL).$Bb13N=avӄ$CEE)/F5Svuw &mJ\1K hDR$!%.hY_ݼmA#|([9"F~dXvV Nq/ՠ##cU#(P:4K1@Wke|v% H&l0(=ehjKz`# [)f1k~:DtshUهz?%O+ĦcB?K14'dl)KCvSJH ӓl^cY]:ZB(d h!XY= 񳼛Ms82{oVz R?3mLM`mX/7Րw6^=KE`D L%[e/ NU/O1h*܏G7k5oHX)A$/8.4U>H zݩjV| ðyj%CK(<^w-'!Fe z]&IpÛp>DyU..ܺcFkq41e!x?1sI6Ȇ1I=けb/>(&:ͪ]C'ro%AdnGQg)T_-~щ$~UTy7F6/jAUJU2>Xu:)Ø,$c/uU~Q֘v#sqH5ks\;0uuC@;Zq'dᚔ.˜z4{>JO|/lҊ#ReMyDzA\W#@Lus%,D6!ªJ 9#6>|Ls<)>3s9 PkF%"nњqZ04; cGMQiZTa|/b`tǎS/}\"Ŭ,Rs-#A69QrdDKx+ٷx jy si ]-gRL:+is96 E֏%X<0^R H}5!l!df>>"[&σgyN'hA(PL@vw$2%nKA}qDЉS%G;]bC%$K>Az֯lႲB"j6zD;|d"K,b̛ #gYZ27b8d37c70cffa2dbc1569bc8923f8a5d11295ce3853cc710de37a8d8ae8e2ce10739760530fc782 68e24fa803389d76024c730e22fc9263ebe14aa0 08e29eb03c2ddc23125f8a3e99b8f8f8af8903c2cb4bfc680ccfb9320936338ebacce03da20152a2