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   D%d\ ]]Echelon_Form:threads=4elapsed=314.003cpu=994.904gc=102.444factor=3.177zXZִF! ]ŗXf1-q恈aldC>14aUV#/|) jUe!HpcxQ:AbtjE&zYuhэY`iordau]sq y$$8n9 r0,^uw'l1sXB["wH1I:?ɜYv9GdVY|lu)~D ZKAjs*ݓ iK n!H_};1@]q)OUSf~?=)w>`=~צxP-9,/'9IJGW.Ylv~ ÔSOp*(21>їD*<&"L-|V ]'Y%z`B_;B5·r`'u#i: D rG DDK/[g1z8ߟPc,|sQ؞!z\kmH&]tM2g}c@7y*7^긒N'GMV8B OK~wXVrc;eD*:WiȞc ʍ0^r &nc+^v):V.PAsY[5VzCtVDX Xÿԩ\Wo@TJ4ӑۡXz^l$"0u$' (|_5{htI9Td8IE!+uVU=p͜qͩSr3qŎbv_r\@Yv0N8UB> mkMdi....Oח풥/F_BŞ#k%Ľ޼8r_-x8`)9mM[bR e'4ߨ\ɍ^ ʿQ{Top=R<۹7V+d۷d."JnDIDQ0b % 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 L4 {fflZ9l|iN=y,4גV~LΑ 1o`iָ`I`S&n$S{(mUHDZT J*Z< c`s$u:7IXs(g7ƅϯ1 mh Xg5<޲zm3}F_wv7rnI J^5Q8g^Z=Y䗥SJKx/m3ƉV͏h@lR[)ۆW4L!W[ug=o-[mu)Pg^y%y!NpcU##i}{jyR|>cPRH4ޣm௨dVs(S !o4a@k\ȇBovI*e_FU#c"YsiHZ8}!4* |"?54ĩ `jA|N`@=ezW4/?hLy2<+r5)m8&KLO|ahj}+P,rU,䦳.1X>u8Ez1n52[r=mAWxP7Ȝ/5[LO7eݕ1xZ]lo\xSMI+c y 'W6|kTأw\"=mdIs҈G'n+1 r xYcF繡I:KD\z,s#n~lT7 [&uN9ýՁn0Γ斄!@;Q8*~#+*v8iv6$৏3cЃ,o? xḢEH<sN<CѼ j@^PtrGU*, #]^ M.m3 $^)dTVDcN1T炆DŽ8o%ZHTOyp{W28t':KqA XqsU-g]"$3:kv3МWΐS v@;}-#qr~b_pㅺAhqnZ)}H݁~(F?*ZM:#|Rg7"C]z)}Y =%A,ϙr/x ~x_3/Lz: Zj(n[gYZ7zXZִF! ]ŗXiɟ1˦r+g'Dgr>{pNa5R]օw5`CJwFV+\J F5EW{ImeU9n=Gvf b%|蠘vJ.߄`68SL^3_ *w,pqjmnPDv6"d#7- 9߰% jlT DrUv$#dR2,g_6 jz),2GY~-ŊlQpvDN C(~}344ej iTkY\U oLlRR3kToajR{7{DZN8p, r|( 2o5yyD1,{D;ԂOβD|7&5]ٯ>ZYn,59knWi>l3k j%nR~k<3 wY~cM2 1,yV4F}>pu_K&J@\c+(8O IKfjm g)m%PyDj> UO \I`\ 4}4t_} җq:2*$0|rE*ptv-%W~Z9AJg{Bfa;!@zH;lx6X;Kbj;l>'w@Y~yNc1ظ,#|Ey7ll2俹57[m9Z1T!`޵8?п&imZX!ggYZ7zXZִF! wR(]ŗXi%B6ȶ.SE8Rd*86G8[ xYj#iJz}%D c/Bɋ5Fjsk6\3=7x<&U?Et=- - {!(+#0 ݧ& vY{9)v~( :nD%`P>Zq {~LgbS L˰?)>D'JuW;uqL_\-'Sc2-nu]0;+sFTT3X>r+q`(ג3_j>>@/5i,35w=2]na(@oFKtf\FBp# y96Pa5:i`k: pYwK3N_p. *PѦk˦݂-NՃZ_HJ2'\c,/bba6)܅ř0dr8\&6A}PEXd; 'wۺD;19rVO/{XՋ$' tZv~XKuL-ʯ=Š]Î\kH A.7Xf(>FK.4>#l^TO<n#Ѵ$0uM6%lƖHLC 6 ЬmuGr2ZUUMF |zk]y ASb╂&K1zw4>e'^WDz~CP-bH:!p`9}lT_[f)hcH0>t& kIl +OV!\؏HS''s =8C: ~7B9OP⇖bq[nq"БCrUTD7W[LIn iM t p9Z %VDZyҶ̴_|?aM# YFlo7pJ -gk:B66R_X7N'9]Erڲ ^ӈ; ,oMSp2r f֠tC~czhsSֻN.k7T(B/2էh(?n4,Ϗ D㬣ȃwKކ딱Ah~L~j\:38[^o,ZL Wݓ(3j0&3AHa7_ڧld ΐفpm2R-snbRt<>1% J,N^"G̩XԺr&B׎SfZ<S͏cp4}#bd5Ny֯oE.n.d|f LmuxH&\ڀsQaF2H+p/dl g]lS^go͎ 8Wok|ꈌImme]̫occ3 /SXf7:FiTc?6gֹNan(P&@&)!TC,s7ҁkPЀLA6QsX)C)ۙ#8 _@M m>p3uf7bR0)^,6o6g2XӇ5' ɪ$}_n۾#6W MH x78HLfbtEI!ߋ Yd`k;57eFJ7Rp(W#'r9?>5.w1~u(n"$)Mpa'MۈxHIܰђ!#,jL w3dγ ד h)7 z/{pUq şoCɩ`GN \> T-+NΣ߫֌G 0}'M_mYyR`EKgj5+OU.8V)|^cޔO6 Z #09"n8݈tD,Kё kY$Ps==4:Ġ nwkocK]qdymKtË-xy'h!V3718BDVδaj߸V:@ФEκ%`(R!g]gNzͼ d%nr/JkuT;fX z Xɉ5{0B~Xq]#;~'Lt%UЄc "Tk`wQ9Τ!w ;麺MW`eI1Rn׷j} ^A /vCB( oD] e{+}t45nњ6AAu8] *"l$i TbQ&iol:|n/-B*qfrr_ :6~ -bd;՞SK,E9o5U_aJA~ic[#{ͥP$ef+hܐ =.N99S t.t ֭i~zs H^W =A4ڎe}d9k@ i}1<9"$[1:bb:[-tEm:3:~’V_ akf0^EXW@ 0쓭PQIymgSEvfZU;H0/X E7Ui~k[-'0`+e7-SL-KYnwUpN|k#řX,lOlX)]{n泾nY-Fݙ}XWrR|~4n+M,i3bhPJVRc!:d"D?ˠWiT2. [̭"YwWq-W\IWٜ@ni!Y,nkP!elՐ~L6`,DYiF%MS+d"Tgk !t혖-fF֭;&} Vv<=y-$00ꝥ6_,$JghL-1 vWa7#X7& 'wed|JϮM]/SN McK|:#4 ,փ4AWRD1qk rN*H2&%ME=D, 5ܥ|b3u} 4LjsV\X)q lZMG[)(1"sRUt89-"&97tXD6 hZY~M޽s٣u$ơoo*1ei:$8'MsfWzW^*#8N7u҇LP~R%zj+j#7.?׿[?,^j~sGBs*=I' |tR t9e3qg%9}_8@-VS^ qU)jC.-[Sz {߿P1`zhTȏo&H; *ƺ91T+lsD' ]TEwGp!dOjX UsuMgV7iO{l/?Po+Xҧ>݈f:-bkV 7M#gKq"ZikTSI\*[?loJ+ |j+zirlH1"XW/ B\%bqz(p_݄6pfO0&\S 2?Ed}Ԫ%"1:I<=Zv 1;Q.VKv?څ:h #e%/'jCYt|jfezTӱF(͚7N@5 g 6FXOx%Eo?T ClJ";x+ CĈB=~KG46seqO< nz9u8i-q 9W'zL2=?b Okc`DCJց.hhV+ 8ؼ%&esAmì|=%wT{avl'^uLhLov߻=m4Jb2cHc 4cc}%@̑!)m`F/|0;_:{)šyuWMAցl{ e؈=lR0@ԃ㤵S_%#9ۜ"A[&y ekAz5<|YkFP (vS C$?搳BT}n6ƅ(rvEtvVP821l) 1ƋB ?^zVj. kZf5q,24 %$G!؀ѻ /`јAXJuJ=z;zuqżrGJu;F vPiT+(sԾIjhӸr_n&Ւ;bcq6~>StlWϷF&+ZqOr6C+#͒8X} p%Id/8]T5:k~gzGf&0^[Th{aVGA݈]ڧlP=NߠRsR8ov>4s+aj 4XŨ=Ո,+茣k,%mf!Ja-L|TAfE~䋠Xe&-n qߎn~$Kiȋq ߼“*$F? % "9d 0Af,(g]DB\4.ݚV\LW9>j}Kwѽ\h`ϼ]{H,wH<*ip>)>- Ucask7r<(FZ/Ugt0mހ$B:LG͹QlEKЊҢWP*h}+v;QUaQP35"fx`&]#aR gqox:sQۡ:pCM1pWy}fHCsG =8?4B")6Tnhh=M9"ĖM"!䡚].䃂8*0?'Iƨ(; R>8)*,75sDVX) = ΗoAq#GZO7>Ԯg^1b8b0K^yx#~՛%٘Ji2j˿pJU>?Vq?NѽpXTB ʂ XӱyVxL.gdQ#2>U]qpM,c,y_l?܌ #GKq\x/2IǣI1?)I.O\Cc@ݣDKu4R GUx^ձ㗾&ScTZ|u~ ,dǴrzĕ=gJԫ|xEڠ wwoٺ6055 q[J5ѱs*DD `e%#}+gGM7bWE ԽIϲ eww:<ݶ:zg7u\+81%vk02q] C'MGk]^ mda8$HOR  /+v&ƸXqXTw|X9ed$Ҩs Ŕ=?x Ky-'ٛ'cT.\q7PmR\MDoY \GU̽ ̏ukvXQ?AKG86+ꭳ<r9K|z֗}:U N)CI,å{ {x%|,-*dɽ__yPΓ a(ueK3UZwSNa(`s_\'yw6fȩ!\"E" bQE V[$Ad̷ܕhHnaH:Inhb° [JXgszɲ/ࣔǷ-z@^}& :LRTΆq/{$7 w%1 7ѓK-&[/d2j4'Z*UA^dă=it !/ƾ=6X;$ qqۑ&uG/|G?nƏxM0F d+[DKƜֱB\~vCjлΩ;4Iy@ kɘAkY۝[CzHQ*~8)M<'6"p9pCߐ,0JB9L(Tg9gR> p@󘂎(?:²3^ 0/4rsk>֖mXi_ttNhK8'B2^+sqȼ 7aTM#fcxiY(ww6#|A &[_Do sIV ,0&BN@̦bv*Tͷk̃ mj`{{W*sA$ze9].G޲XNrҒ`GŽ OJetO=bSYynL`ZL[}z ا$d "WzXS1/#4\ nLdV!?/5F{8Nж%H(UVג;*Qq f4%1O=Q{m.rsGy#p r57Q )sٜT#hNƢsL#|>JbIwW-i0mbqC(Y]4E]KdA$s.EB %5n/tt7ƽImokix,WpgHvaT1f|>6Sfyik̰ӎ˺<ųpbbY*季k"'v+wʮux'1tC\!0}y=]/4DLrG9ͣ0Gۇ3BO!wE6oIΌ 0Kgi"@G+AwD;} wўS.fA`3r%gGtaR٦q47Xlv:RzB^_0.~~Fg{\G݈ή m.93iĉhefR8E"f*LEBR+HZ5\z<Ψ5scRUkZ)R?Yeㄭ$PۨD07.Cr h9,N⭦74.9 ;6;_7Aǭ?2fM`0н7g*ynQ n`@Q? bEk+p4e,U_^@4'FGjKPʡSn^Ljn#gzȘjci%_yOk*:߆Lh,-)Ì-DpKZ&8fF|m) uPSG_7>y{XvoCU]ٮeW-8/Ş,|qm_J"'bTG6s➁-J=hޠ:'_174 c\9Tac:aa(uVQP5-'[yz-G""$ƪ'_Z&[:Ydr3f|N0`QXҕm:ب6l 0ʑq T s ]9ڃ 1܊;L{)򫅯yo,xGZipX;U;3WGRʻӈn097mܫG*y}ȂY8Sh%̯GyAd]h$A11aaw\hXY-K|`clIIAnpZDk_h ~1#fo7sdkG0{ w|]@%li=i٦x[SXD^q\gkHb Uv0pY@<t5=/WޜsYX~xV:$/=@>Ok("K»-QJLSs=\j=޶ϝ)ȁ@Q\XNnkɹ^Ǟ¦MR: "9y&(tų[o|罝MB#׸Err'w x !-,Iܰ|LHg^($[DH9eK\_LBZ%vs&@36. OHw C0*AYU?z/Hs?tTށKTK$>e`íVԚH4;\eCCq=hl>HX ,p7P8, CLq4pR+Yn- R4wO7KmPXDKE$ČM++沶D جQ"!(H_Lީ2i:O匨DYջdd$/_) ׈Ͻ4c2LrFtiȻ/hO]If3?S,O耊_d:?zBģ8-pq$Rܜ{Xk&3y$dD*ٙȞ0+P#qNn>ZSG)n蘽N?\@[X9wi_0 q^\V!jN-6"!%&#Hk-KoߥX ʷoB'sKsMctU q"H䞮"W|[0l"38Ы=*GFǎِsn |i VPIٓQ_T1+(>`bR"n l㲾ZB>Z%uݣS3݈8j|2@w t^ QFpյ'eKG}t ^ zJ(a2(O܊L}mWp񁹰Aq̯TH o40e<PԼQ&=WFq4'F6|/yk[ %ݓU*^̕؆M=+̷թW*c>uSG@c/`W,aĴ*h[e>uWCIjLCC5jC-AHal[5}0.D|x&Lq|P"hЀ/"F͢u_?eb[ݏmQ+d_ SiK3uf} 4z0P#?K}7|bXNTc"k}hYo Z t@9}attYGRJwBWf,3耰0!P#paVrDbwsx&˧䨭ǟqC{_U ]1.2k,zȴ6oGFݔ?AgM])^bV %IѱA7? 3 ߺvy=-6c4n(ObG7~-cjD˜}tyi5o >Q"1m qt.]ԶKfŒ[/V(GJȡIsA!KTn(Mg9^*żq]fw̱Hs 7U?rW2u"c +WPw.)<[Kϵ7 TrHf㕸VH0kˢ{61>kȍ(m:C'=06EVqOw4;(+g(i4\՝xc;S0[Ըog^JC3il!'&΅ /=Jk|7)BVld YcFV6&fm5 )~nXܰvG-Y.Ns`pZ߿r0P,@[Tt^l U3c鿴NENfdD-JIw It :J4fUvENJ>IqL^+fPʗ3Q~+:i@!)L&n^?lܯT«Js>}A3%O\C}ȌaPڐ}t*>u L ?*tu'"+l^L^iW>9n=(%# )hɩ~y{ƪ(ۥ}X':#ҿ}k9։##|8Lt Ĭjlz `X ,n:/D$kQhkܵ%r<}(=tUxmTK€Z O# @ʻl&;$RՐrOMtEobζ! ~ePb8?/UM$mUnRJ5Y#`|O|QQrӁc|=?'B O%YEH~nfUz qp؜O:C*$Lɪb)p#H=hǣBY}M/'Ӻɒ9WHv[R]va2/IMI}u `Ee;j&fN p0OQs+dI|dPqj|JǑ|/gݹ~)3!Yd~~!"1s`iJ)Y@b*8E?#G1"eŎbq1 "0oxAK]bmTb#{9ܞ(@&ܾes] `!8ΔP%[X:fȬdP}52䝁wWi B/̘X9b !d>Q=FBq՞}D˓ M+X~&,&"lC7o)zo/~Ң=e6* }s@_^oEoYdCP̪ {jI$PfQ;\oahRN*͡sn Cxɑ(w KDH a;t"2EXIZVdf߈7ѳԍ2|E^H)#E*'e3%+) @tApQ΅օQaXFE߃A$gRx_Х=qPT^8k9@!p3=L>7nOOfd 1>Q\mѓen{[F>g}Pl'D:O2DGʽڃI dBK?wxfP=9HjVLua)<15 s:gI]åѯrB.bh`ciЧB?e3 )̗r `nCmCHEu8[IjLtW?9=`#^ K'\ۜA\m8 ,;q0o[G"m#0&{(@yB38 ?'DTS~)ڐ͘.}za o2=nLO n. 9|Y$¸w\b7/|8!߀ cG .9bI5߀2mt_E"RIJ^^&C6S$uўbxo_E6gǛnr'L`ٶ˛]o7HMc$ˀ.d$W6oUJaOi$^SݨHdYM#1 zy2`'R!Ӡy'9kPEe(Q8{:Rsj Ғh&7ltdwZЦB` 1@/Y&5~Bx& lV A0[^0^*= nRXs  {N^ Ƞö;DZh|0)xprȊT`$#WC1?R|JO< 0D| j"΢${:EHsmQ=񑔰uv9:/5)'ѷtU:Vvdu%F56v69<,ГЈ*B1ŪKoU2hgP0ڡCmh97eЎx($ ;GO1;M$Gxb0Vۺauϗ'.Ɗ4o j$4em*4ks=)Pq=0.4a53GSmR'V5L􇈄`䥯4& f?X77ag(II-ExjKaT1,uIGDD :Rul*MĊԽtYH6Pca l)ognw”NYVM`HR/C$:Az,8ϱ+kO"2ݽYN._*V}b (˰z<,mCK4=Q2|S&@d_wR3co3N9\fr _4;rmX}H.mOK6QDK18 ÛsTa=$i_c)YM[vMy{aK umzU&IdUioeà=GG~x8*qeTUQ=!B QR>[9@=Ty3V~ ,_2]I2KBV䬰mRir|whZz ;\"z/) W^M0p Xr1`5%FqaX{;(W}ςT_?-~޼A7()$ ڤUͪzTCl"LJa[:LN\ɎѺQt7)yN6fJiŠ=H"VeeS /V@no  Fn_6D@PڿBAvIc&>} {yMO؍Pdvh (_VWu(.HpFgC/K0<h@-B\S!OdnnHB"S%t-(eK:3ppH1::۷~kbƮ1Z]n綕OOmU{ڍg&u B&R:ͼݖNg]t3hgO.Dxl˃N! r(_Ö dD+L--\ɕWh:Tb#'%;_1 Y375)? 2E?%W SΘwm\C)2&۠O,Cʿ9?z멙{=Tk R~7 $lGi.<4C`;=DM"%S/q3PW[$2KckD=nfe\bJ/,P} PR%F:0TdžqB.],>-_8mBm(uB/P."RJ~Ys|$e3x2Z(ĤΌgYZ4815f4da34fc10463fbf9ebd414798e6dda5887bddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 961d7cfc19b96122dabf28304bf6dc45da32abbe 52ddbfe09c255e7c6906b2f5686e64c16948899dd51ff08353f5fe76f06bb8c8e8278883c14aa357