SQLite format 3@ .0:  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 {{e%ldD ]]Echelon_Form:threads=4elapsed=331.752cpu=1054.012gc=113.264factor=3.187zXZִF! %o]ŗXf1-q恈͐7ӺV -fw0w]BjZjfէ]JUgǖfN&X'HT/ϞPߴCJ$XX!K(k;| ^>VXRrXKH]t:f%gxKiJ]0 Bx)ypyB@nvpTmy9ID;SV A Q?K58  p|`5,PM"Uozd) h*Bִ=TfFH#mk6.2d!20 Q)n=\!*&#J`*&{bOJsc@JNl8NzRpAdaԀHaLg!dOshWô$5{ZstBOHIqY;Pn`n: &stLl*GBܵDjeC"E⿧ W-HU\U.ؾr(4܊o`lBɵYI뢈grkyu^at> ɞu2\[p)o7ZNʆ]2r ةe)q=7H]P=mF|mNlШz)yԘfBP[<*Zϲ' %m+Aɘ%ƾA Qrmr > EF )#Z~ 8NS99a#No xܣl TdξڐpԢsV%I,GM33_Tsk΁ / RZ)>k w=# ӲBp͉7ڿ`g2im"%)F#GmՇWTҹͥ,A& ڶ8=&ft0>2k5~upbcul[>@7c2O⧟wl㏼FɶJ I߂:Nf&0=I~/iDh٘ T<ߠK}?+57Kp׺^L- Q0_).]ppxJ^W;.6ʡ|?B2AC<1Pe{eFlwqI<#d?F;w % WA5)ٟk /QjC^ΤC\J"SpR?c%iuR]'yQ8knpϐA͈=*Il6?$H-DTiИmIY(!\ߋga?k]`ل5N^;|N^#+?BL0 ;[ _{E8s9Ip[?P$I>u6n`馀n 6y9)X8 6jQܪRԩ&0"FyG*Bf<7]N9\J^Onr=2>Dq5ϔ#ڨTAKl)j,/ @ =e$B؆h?yHt,r 3 W&KݥKG} d<(]C˸rc3Vj/[Ί xy]ku|:&*V mm w@,d80>*ZMFA`ۦ΀Pڊoss,cn^S,n\țfn ]oX$ h)́tD> $Cm@bFY'dRIq*`:s-y=IMM&}1|c{]ԛ=UaV fnzʊ;\-GYCA 9_wݐ!o}{)k&+0ÊmF0=.;v,{y xKϤG)Z-kwv4z:Co*,"c@"(%~T9XdU <>Oi~zDAU}SIbSp~e6lLnP.axH+pM׼E՘ ~XO5)iX-,tS[\ "*h^ 43~[4p͉?sζRUA!qE0%6K`lZ b{&1_['픭 [٢Jl%pTt-Rۄ#BE"GHgg(ct˜%zCo=YkYٖ\ҹkOK8dYvs!_.L^ƻluQm+@വUp~Vwt܊+5qD.6A1[Y'EI\cFJ n7ƨmJh +TI9pw`y{eARO>qWN2@,/[TADud^oiZm8gΜ(3>S).)[/ѾylaEԲoviz(1RۖR&I\r5xި:bx AŢTXeybIVtjh%%b0_Z8©r, ɩn Im=XIm;zX9S-wL@T^BM2@/j< F?u9[D=qxwTAke5s<_pe0>ӑz-wn e]Ön܉E>oD="OU&{{fF ز&oESНc;ST>vDS3yjBo3 EG 7EDZ!J݊^})?B9xH {&Cl~i}keUfOG>~kl,ۉ*Ehbpa&և.o}z|  0|2<:ʄ/^?`%&cB4MTyun_2Aއx@D S_j K[9nE ["KjmY1X % Echelon_Form bb %a+ |Echelon_FormEchelon_Form.Examples_Echelon_Form_IArrayscode/export1.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 E5w{WVT? @C`},IYVH0jI/ {]kϟ %~ҘrdcW#Lm1|d  6އΥh8T4=pm:H0ȃmKUIWtFu{QW0`/l Zi梳{4vx'VHYܭ*بfpށ%Ofwf͓bbw3c(Sn3e{7-dU8tck {pNa5R]y;Hymt'T,hyY6oMM~ t1aXy}'& w-|#M=T9p ﲮLR[oo+ C QȉϢ6e4Ŕ[|<;K$š{)7pQEs)Шt>#cYY?R|%ƞEeb,&Ί^,m{pM>"wWFO 1E~߰6.I|9m`E5G1|ڳ0i2=x ӟ%X]ŗXi%Gfs%i#z }~su.sI^BlkRmjBY0_sfƌ5RXFހRƥ+MoOu4-$`{]T(c\W>? D~wTDj6)2Mvb;K\*3d='iN]>{Z7'ZkV&_eP4ѕ잹|D}(KW7aJL<^y_BlUa']7r lW%۬eC(Xi?Ϋt$C`e,]%ߨV /b/֡qkY]he:T&Z-$*&;g6> %'Nh&aW7"o\; /hKqiPF/8Bso,d|pEY:M;~DŽ-<g6Zg˙J@ghh2h 3 HH'ڹH$SO,f/]0濔C!~:{[u*umV\&t<")7)J[EX"ϑd2Xa2ERe7a)>nJI(y 9yfFю0*L4Sޯ'\k܄N8i~$k! %p ERR Fo>T6n{#X`J|+R<'L+{h寭]%)ES9zգ=ASWݵA ;e *G'E/l6t`O 8$ 1zIaYci弟,}cf9> cf>VN25{VT<GVo|_O7P b !Jۼڵ^01}CuN~oR:S| Jf@@E:H62)gurCR6&4Uu]z ߖ'bMw'=CǗ@n@k7M̈́Bxmr;JFTg͛pd[~hq}B9WJ??djUhW =YfdH& cj; xepoZ8~XNKGJ_@"aTZ/A`Zf=e`[fg`wZQډbo|{ ;LIJ~ 9ҙ+MvMҏyNo?2 j%4(5 $)i߾+I X27~h<ފOW16d|[" qV 3;~¤3J.)|KKfoܾkf"*}Nh(Ї T:,d3 &wcG$dvD*q`<">tFgkAy_Hb1D MzaVw}𬙀L yzh?OsN AVtb2d@@jAEtԡͪG Fej8F- Sۨ; ˠ.BG=e/fߘ:h# ЍYVNDA=>!/3W*=>"%[\U֡yMvSMȅ؞,Y0~SlAdgqykٹSo.Hҍh4O3ȁ &G{Lm@\'ÕXɭZ3J%{Iv ,:ƒ )ס5w aOE m:)!bM.pDԤCScmyhJzHjyLk w$#KΖU]q3N6@EWg߲F[#67;PIn`M9^g(|V6hxeOk"T&PJ] 5-o7k5p>V-)'tm#5np6n*a L|zyCl6@ʴ]xT?jyn1mƣ;l=x,T>A7^HDD`/{RA0*3[EZN,l_0Qay2_zGttS6[/6+ѹ/ Hs@iM8#LGC6pSDY[n8mѬǑ,ӭ-dAmR }+/KΜb̨n-N,*lk5$'Aɏ! \*3{d3fp(0X~ǁ)&^c{gE r?o~Nih:WY@&DR`WM>3it ClȲ{.aȶ}p49j̫Q5uͩ3dvllr8,rFފ 1C%1oelU F3taCvr܏WJd$) ;UeyM>·݁B Z8r+W>?XluЋ|/{U4u| &MO&QH6_QY X0T5k;Oz}.AYD^n돣0 J72F7úfayQQJtxf6@ +B X6Wɜ5!K%WFQkCr5q(ai\|9*3`R bEW?;;1}3֕gkJۀ/-{=s<X[Ũva-[ 3ɹk,̸g5j֎;#A#c޵fKL6{n/e/ϵEBP U;dmLg+P"~YUf㱸P@AwGҊ R YaՊ0n-z@MFP3=m ~IDA9DXRQ}xN?}"l; yWњ\M8F$ z-]i]8>,~"V3 "K# jY@x5!?( yAP}4E&n<>n=pfv!;D\ֈhW꜔=;SM'~2?No _(ϷZ["=̏Nc = bq<);SVcly`ɅX2S#؟gɓ.W)3t$уPHi3 /ά /uρ%.PlBGumsO{є>k ]~ \.^h P7,֫,o4 rRlZ7l6-AN pNU'Aؓ N _j?kġ'])q._.5՛ jt}kXZ${҄ xu1zpiMgPWP#HnD_Aִ&B*w6h\Оt1K?Bs w<{tzDn>5!û(H#9SNnjP0 ٔZV@r(yM@3t~w2Oi5A7qQo{})8$ (Ϳ*sw?3 Rs%~UoX}Z8Җ6ȓipdV}_)hE\9I0O9W<c{WvRfZU'X.E[$V@#zbtog蚞i4D M $ق[ %4ͱ@=~{?B$6^ HcGHX* XYG%E WfK:+֍À'2\%G3?^<է߳.[tId'n&ݲj` pG zPi$zw`#02[|-q{vhylzS|7TNF[ Q4HiQ͍oћЪ7qtiߤ­OẢ)٣? %w 'qsRt;Ӥ,ռU1QiCĽ;&s6ﴁ*!p `j40e~VL m0J+B4;Bۥhs>@u>r5UP H~XTV6_>մ ?6:s_貦&\DOkv5{߈6䥭'OE$5_6Kg"xoe4q^VC yJcՌlo-݋ or߼7ϠPq';59=NLp ~L{<Ij+|C.km^DϸS'NqaS@&'JE\ȱ̐B-O?D%u_VFh@joiB*U_KJbTo1g&җ>jcNyNAu%@Uo8Xu3f\el5VחZ4w큂;ݴ}JUIlŠ@`E0XVFWYJw;znMBP9=0:dS &*cUgsÈ%H7\P[6PtY6 RxTnjT%+cS(#&?ZM#Rz,T5S+0F0*zyfoPpzR(iC^T`LIRp_>:P3&*3+V >(.d6w'޽7KǠQ2l1sGYh_7də,s3Ŷ `Y=%wp[Wx6Ef"zjP@m׈llnw9Vb郡"GBeϛR,ҌFYf ]I6iHz_ vԀḙӟl(tHm<@˶-"1/|br据_g R2}Ê#n認 p:A0lXKRdXwcJ'q򣣔&3 p3:^<{c1yS([*ZeChϯ$cH 2jxĠ%7="lsN@i3psOQ]I(R" gF9o^䁾#_bIpɵ"_8X2vO3N)-@)MؘIc^gk/w+J9;YvYٴ>Z-q۽m_LϞDiǴdGjzCLYc+y^ECt"~)ʵK#78,fdjd\%d\°*BIXw\_Y ݘ['q{(ﷳ"7 1o$i޲>)[[!,?"8n͉̂X`-=Si>LR|1nA1ɶw]_vFC⮯D"`C1L.Tܾ3>$XvZVɉ p~(xVRy.heuǁ?Ix"@xU- dGdž~$+ʎn4z?]4y㔂^~t_cysYFg OD͌$]|:B7N째 ܗ\{ws,)Cň˒ ~)#= ]XɤdӘcauxI]u%mOoIUqtQ7χX  ӝxhm+RV=Sk!5zKWh?:nnztLyRCuD5 ?+epB*a9 +ąl,KJQ ,@qDDh?')m ;~Sڽ-Lb2ouL}KQA`WS/4Zaؔ#%el8iP͌^0{Pl3~̎A Hc/`P yjVNYS%2k=<5cM_8S57!|[SÒ{$2UT"i)m,aDڴ_9%«|+hn1Doz`TN˾F@DXl# seнoWV[+)`w%I|t5gmO)ےj嶊i3m~' 7zB 75tpbT8"6)C5kx; LɔB%B>Չhi&'2M9gv܂2~8+(yZ?K/gvpuqЄǐ=JE=R m**=3T LIã^pE܄/N!Ր~ ~ k[:+%$}HqW+{/up[5 -od5K|k4{-HZ*C o< қ9稾b$*s0"nz(EQD)l ;7 JzφO1/dzSd4Ξ:g\xwѿ8R.QJxbڳp{\>"CғYCԓk]b;;SKuH*JU~#yk|ۘ]P((-9"ڗ2Ml7¬`HphGJwf]/mڱ8=hLgL{%mυCyw-K85] P( Kjn&o%b[ٝCzb[b1b0~dc"&Wq&Fm-JXI%]ġ7:c{ZƟ6Y`xۜPs8"ՖN jV0Ou_gݓ}/?%71EM`Y\7ry+y540yN) `xwۮn]2&cՕ: 6Î-c>Acxі:$)@8ZjB[aRjhRg_>dTbm^2rO,8B P L3 Dp>8527PhA//{l|F?ʵIU%BM!$GY~?҄"L挺V< XnWl TzN=NAdM}x*PK̜D{ tswTSn@pж"'%f۬'Sc94ޘ.%*dn:KxꟖMcfW)+i~lFmJƦmlZx_Mey~r)4$u8; {sT('zcָE] fBnۥ}nOAfnMdle.2AtM)>΀@T^%T7j5s' {XC}>͝B '/tGˣr+tX ƫ=_rc<_eH?=dЁ D@aFS\pE[_,)qO]{0ub|FoG (b&^>O4'4pbטD RiiƻeFbFEp|wL vAL-UZ iQjJ t/5jTn{VE9jw:&r?L1u})H@'tԐ:}H0W+!wlMlPOL/' 5kc'1\|og Tzٹn;O^!f 9R\Y?# B>cP >fy)m)m\Zڣ.<)mbVS1oAˇ$ykʐOJe^w(`ec9Q\PV҅t "=V)MVIo1IN|ը;rgkNn@#u#LoN49D7u2uv;ϦH0Pp: 쯄.4yq0u:6as%=_ݔٜ+ O;8{u. ]3f^y Wy%iDbmaZBjPl5EVb`)A8ח8`N.`u&ܛН V;TȂ作= '{t:W#vQFc;4X,'}>">-!vE_;h[ t0~ծ.|UeW )$R{2G!hX˚ caa2$~$k#)p7g)34>!+kO9lDžwⰤUxuH8lDd);RwڮZ >}@ly?"f7PS)`釼s[>{Ѷ\ 4zk|D`07F(wqjq ur<׮/F$:\t5n2ޭ'0}a4k+"0u0÷o-ZAx{5X-QC~<?k36gwo%B w3wΈ}UضOl[>$\}K',G0T |7Rh$^Q[1S['ҨwIkF&uu+t@oFKx+1Oz%5ݛ!W ݈~*㨈EGN5rjU}G0T@r~DLƼ(Y롮ӋEā;U8&ƿB;nqo.A"(W-6rɱYc#BraAzAH)]4O{$cbU,- 51w.[OY&̹}vc'b~A1d,ۃؽVݗ:H~Zkj/e~ȼ&cv,QCZ;'XrA%9 ɨ v_` 8$!GZ+^;QI.x=vm;\TfI7d-I9~#Re<^dB}NgQJ5׉^0': $;yja[H_+Kꥡ5t̙G{f,LIt$Lx߇nIEBaU^m/QKQ  GNJ6I( ۫lnVwq  y2UjO'lRR==wMW_H6T$X_؉ ;NϦYcx?+ cl$C893T _:d]}3gC ]AVT?ccح2uqӻ6YAޔD LB^!YIp9*O"-IN$2SuKUسPCWeA@p(k9U_]鮞Œ=ʔI<(8mt| +Lq3fҤ٤g\ywҞ2Ѯ]q-w;*V's*Ar)5 )0bRc&B6zM:?۳MDҾX'ЧX#&I׬Utܶ}]F3l֨B5R/BSHp"1"ih,-. n-=3:0.f 3 3G<{qy8g7F E"gN(PRDm8\0/ S>rڒ- )c8αAY^miA_{鍈/5 #_yYAQdX>kQ#YC~-cTr,vQYZ*!EV0>Q{Uc)c D@Btr ˓n%[ptFeYC4&߼fƘ.> ʶ_Fȋ%&ֹߪOBP8v423VO$J)IEY=H\?T^h/:铯9aFIwa7dgܤGZDtD3]rD&4#5;17D'4%묳%7$Hyԯ.褅(#LCHs݋EҚo&PUQD3Ш8 ,eߖWWÀ; .~1u^ɝjˇu\Z~{yӿ&^[E-IZW*Dz8 *_Ύtgä4"HԖz66 "E(D; Rˁ φydǻ?h憌4.bkȦ#ws#܃L3 OgԮ" {/ ZNWYF-C/x`V@k‚< |pO׸s?ANHN7,۲`NPZzyφfv[".@$!;̝Zh٧_]{Zm0WIQKAzH) RA`2dyv/H )]v51K.KlJ㪕Xd 6T4'ӟ oؚ,Im/Nާ]0\\,Pb/nFU2X_#`ML1|mk |FGc3,–w<{oHߨ=L]'>ʡwS(Qf*/42x0*tmE & cm|FAzqeX1ONwjbOJ`:O$ly}vCHa >L60R m:4L ^+݈ JH1{i5a|+Yc;HL%=buqˤo_~:[5il:DR<Ѓ3-^nӯNƺ4_h"Y-kSZ2჎ 3dfEqKTl3EFَ̏U\@pXU/80OC+/SulDzϺXel#PFn^Vns>hf G$7 sXO{zfO#~-O]4.lgtn WvKA_49?VE\]8lc#TcA/>@`B>eΛ Dmu.bߑ+rCkw25YzI;3@%}Ă]8UǙb 1@X&1@tޫR#gb7ѫ)[G?`^At-vX-ԊqWy_Йm!o_@HLe "ʛ3$sa.2l61Nva 6<b53ճqλ6dfQ!oqS|6]/MKi]g_8b" ){#=ܱLpGCdFl{s#;雔Pɟ6Rƺ@% *W)L&yHgih/bp +N] {$h.jlɬ~aE=^vV bnܷړ$AJC Tv~^D .lSN'"]4@ Td95ECru⤻ր2I,ί6- Џ-7?W4Sdp5Wψ1iLRHR'#KhxdcJ<Fz>wtRw5 )b B.d~ 0ڷR)OG"*3y;! k5،tDpuy̰cSZVw%GY{eN&t28bO+<|ɲbuPەɅѪbBFdxsbDk/G_w(29y %$Էh洵!#e%mob{%cXegkrM^#M\ӫ0V3~3LbrVF g3KE զRr RJPn3C%+aK#9 ',Kl!Aj4{z2j"t#*A Emڐj iy$,]k;_|3LsP^͵cR4lcTxN2V),#Qt;wOD8t:.v?fTCr'{ڡ4Mj @ѱ'"IfYj7*t%6Bʾ{[+ xV_ƢG\' no="p!+ xb,~MIYmMW@gvcc1K#m: 팂|HrבِqA -KpQ#a=Ǘ"ӝD~-;x~tKU5f֮0sƞ@ pv!~zQɢ0K_9*YZQCs;fW슛|d7x" Vq_ 'O=ߧ|D>͘ 䎰9Lk=Eh,8$udR[_5ͬ e,"٧5KOIM.{Ǘ̓'[IBD(@0YT~WKXZ$s].RH Gg>a*{6e!N9՗us"pwt.X{ܼnc_mByWnԟw2&# B gG(Qh_0q,w~qy$tI?HiIT]6qmn:ȉ*%ߔȯ3UFԂGBk=vsV Xk('nj|řMUXda+hB YwaFok_:rhMTRIfLg Q.1>"j/4'pC4 hi0ok8_ 5Vmܗ,fjť dՈS E.׊G##3@ִXYElwTkyIjC8!/I\NzF5VT>A_> .|gNdmƦl ,vV=lòupklR8\/ 7)) K+CўpJ-5/smg , (r-`+4q>WRʐ _IƸ}nbu&?1̷|qf}Th @$q PN5mD =HyJ9U%`UaW^RQqW / r 9ZN[L c)Xhےv|0sg8W 5xhd uܕ`\V20 yEG.*!'P/8" QTYhZ$oEwPHVIuRz.벽f W[Gg9tQ ȾY*(l @0."L{M6Dd6FH=+źya$4_%⡧r(&JQ;=2o o#Htk{: Nu7N|R=^%Uʑ4|w&.v}$%,PF 9;g6hFC=C#='וd* {p^xĒ<;MBк @~ԇt CMM"Uj@&QfFwI~z; rɈgդ,G@ ӀuE_SmS0?qdx=nʍʞ/5A/,Px4puj4& $fF#Xw:2~g8ڿQqy͎gpq:N+_kጦzk0Œ>Rg=y`5(.r$:jXs6jE3|j!WʸEW]Sa@o_ ;J7=pܷwvg0s3 |VIxCʎju '8JBy-ݳxDXε7',P37 c#D\ј9 TZGuΝXNt=ZDuTe>i2nW_Z~X)*31Ğn2r|7| A)lcߏc 7匆'=0lmOk ӆLبBnzNLk؎>5JD<g_єJ)34Q&Ay^YS vڹ^uo)Pۣ4T5"xps|T~ \[ s/Kxq\H'XCR A|4 -Qu{d"/yq*S|cܘh#R6ev2P'^W{N_!llܷȲeYnO :kl_ZbW$>]G2 ȯu3J-(ƜWT]@X[|ʰkiNhYD&5É7A%Ш!&Ss /G& @/yҎLϜ%݅ KH; sg]c^&ao2]%uS}iD!3 /m\6{RN<5=hvGûks33"m[du eۂ]L",HY[Q_XTwB`Ti0뜊@AàL /EXKo4-gAc{  bUnb` /0,+3#`_?[Mi~Pĸ" hI+z6'B`aR?tbaMlN6w_AmǛՑ{Z8F_!ZOޚ/T0[ݬsZĪ?C(K;Y+>9C4aĠOYvo2^aOǜR$+Z_֨\̬:+f~!|!e4:YU:#g߼ZB㨿$%tmSIX JqW|J9kWbo}Me fyk:S0yPpHI̓6!S3j+7~xcASooFHC_/I k RC#P"%"M%)Hz_2B&~F )72Ao޹x>$w b閄օ`/Ҳe#eʅI;DJZtFI)7?ČC-D5? 4),9I9+`OntJd^7FY6Z]Q=>E@rџ'}$Rj3Ve÷x\4WuzRiaw KZ A  2Es5?mw|0̸A6;S# 7:W}M~v/zX̩V7Gk'9z?i-|/ ;\' y AqF~޼0!XtaGcnOx-1o:N].aÒн=7z跳 ,I_nW ~l>igŐE_@R5ѧAbELir7{hkkݥ1vsZoLde%Dh6'^IKɬ'Q{)yLC_T!ojo`Mބlڙz-ۅ#op@j/~ʎjYa8[7ȳ9f:![Lv x^c{F;p8NԟZ~ e21~Xg8K)nh+3kjzҍ8/rqTbM=*f y֋σ>'d%A~Gba` 1 pee S>` 8W\"6X(bߍ(~kIr swi?qllEePKų>S#u(_\rRfȷ0tf+Ͳ6͎X+dOϣ;fU)Q\ؔ*z\{.^🖏 ?${;MgȼN""j`EsnP &fB]HJ/&=dsSc,BW!.Oa.x݂,`$*Ζ23$ ׃'[U[Y(`יCaܹ;],WN ysWL4q.+,qxےK ъ0Oz/1&oJe7@pPGmfHgGݠk_%/ȣqvg(g駛4!GFDEڤ7t'ІG7y;ä'Gﭶ_[%yqr `T$%ND OL2h !kX&g,tE//Pje̛iJW~t/vcH9*1e\), p TqĒ|]`d'NC/!9r ڤ}W5;U ]@L Tf-K˕Ff|Y(bf1O{a[^&63U*u7x9I*Z|z*v-mUb5}U U^+׸ 0h882bo[eLMIck賞[̓"Cmɕ Q3V}> cӜ1?v/ӗQJ}1z88d.3>c4)ٷ=*%F- 7x<.)i ?{|eF8; =AIA{!S>QӸ2*ʼO{'聚EoBқ;Tbz3.8)~o:,*RҺm/Y)IjoT$ wʂ&F}ײvt*qJ=V.KٲAjFS;XU0^GFOc,èM#G-0͖H2B"@s~r3 Y,*r^g:Dɽ:%eV`-rz%gAg?;Mu)Tu2oX>\)HN3Z'1"p-)sE%tnj#^jF#܂_. _e6C_T; H)>/z:D)!$-9|L|'k<֫셺 =՛LCS[׆@dBW~AБE5{fgԳ=uy[|-[kXmY$h!i4ᲱshT<7FFO%gziuÕ[tuKuN0e:~&c:ЀJ1'2)J./C񸻽!CO蜇c\+yk8X8E9TB&yf4 t}X@}|g4~@';meeBQSʅpXW=#BQKG[Z;ud