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  y%Dt ]]Echelon_Form:threads=4elapsed=362.578cpu=1121.016gc=127.572factor=3.097zXZִF! |]ŗXf1-q恈͐7ӺV -fw0w]BjZjfէ]JUgǖfN&QN1U~¼mmr*tJ{j~MdR> j׵701Pllxƚ/\t7Fl2{uI?v >P E2[Yl+O:J4ͫ [}`u8$׉{YSTldN t;!Rj=rtXؚ-ɜ{2i"5Jcqj&v tҕp< 3@?GZoj)*˜V~oJ~+.| ޾ }6.=Q:vMfd;|1|!X_'iSxE ;ìx$_ k}k{/‚Fvz=~8@î()dRX1S&mő3|PQ/^9 m2.5J.J!G i+#7%9ѠbmfvX6|SiFwtLcYOG.=>3_nIԐ!$"@[cn0jI=uؾZ$@D;RY!O ,nF(Itps;^|gK}<إQKi3ua}K㌩d Ryozf6g8Q7@x wZd4.mOWo.199s.9)X8F@YM:#^]}Qgm V  A#]y OsԒ0x'OW6~iXt^Bl[BH % 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 {pgHZb}jylgllk :aehdm>-&Ѐ,g4G$SU'CH!'rEWˬ#bi/{Hb8 k-b&k%);!,Nҫt闧: xw4u<S0zZ)n'3;U(IFq7;BIZy1X4oM. y B>ߥ,&vDU.+Dc2SQA2@k4{1EӣhȞWؽ*'fA1#BW͋(!4G qCƹ*p+Id̦c+s9«K7S-A=%ye;Ufǝg6@ti.!jdGKp2-Q_6Adᱩ8!ME>Y $La%GD@EFyOˆ`Q n[1^n 긡A;U"Qk9ZP*1+lBĔ%Ѽv^Kr Ė%KX'YW ,=(RxzZS AYZc#I,wr~g@CQmI 5,KRBj\2iJK҇>/8>?ae)%2 QTyFqP^@:Y--B2^IN$\0X$d~A62W3@  pEr[Nɳ-yKRƖFZA 7=}4JtЛ)pɚX/u !lv|U@|2^2lE㚋h4\sDLv6g I'+)ֺs_x2D_&Ng)Wf$qO4Mu{cq`]CU\zJQL@Y6) -Wy/U ,s,s){t?mA%BE9PcjvC\dT]wC;#E HؖsxFnf` =ůj| X"{sm-yDb/D[d$>АL4>$҆{8U2,NO>}_>ĭ1iАXz)ccKT.grDr6U<[w}!*,3m)ڛH?A%ER5T磍0&2yPFȫWsP+虐F!=g8nw" v0 $dOڷU֟38ZdeB+_>xs7g/J'>K{<:%rUr/s2[>a |崴uũbD@jv,pKDz6Z5,5 \3uZ[itm ] mlNds"m w̐畸8 kog{:+9#}% 욐 btpdN7 {ZبyVC4 W1+7UZ /]0V&p;n̷y!6?"B,.iK{Gh>7JM~ARzH%)Q~cAD G)GcI(U#eԬ)3E Q0Hd_mHYDSܫ;Eًh#>~Lcs;]Ձvq}+pxcN[P=3߿˥VP'DuRBWdq\94y~" kY7΄lx8aUvWipYyKì {իLXq+T8uw!=w%WDi\YnMvs2*`ֆ[_7zuEa@a7CS#c&oqIVoD+Bfe0I}ʗ ;X!3. %)S. Ƅ|=}WF/|ƖRU,.N eRK71cTJ.Ddmm )0,M 2|\eKg EJ /L bL QCzt7 #^`6J{wJ^#^ߍ_߶<v%xrXeir#^a.M4,bFQ0 X#ut'Sq/l{^ xu2]U60zc{jˑ+w8 iTWۯ<7udHW^FQO5O"<¼جμȇϑ^y4R:W^~-׏f5&PltN8!,;O6Ҳ.O6ƥAԻVs9$e5 ^[D!!GgYZ7zXZִF! ]ŗXiɟ1˦r+g'Dgr>{pNa5RJ9e2EDo[n|,-H3E'q8wԢ5 Qm+r6$K'<5ps&ȒF4߸pUYX1LӚG G6{K%)e&[>_Hs羗p_O@M`yjuQwA]IL4.0nj#F_mh_4}5dbk}9dyLjմՔ[) 1!kOev_i$UޗCA<"P^ GߠK7r[)Aijd)eF3scv'[̟*oJ[#-8M et#$njLptH 4;+ꭱĀd' 2#=hx}zwhDZRp @dL }F œwl$ *=sGT+xΊi>රl28>xz i᜵dl SE؎OwwBS`JF$P.%DZ:kG[WE l?##1^6fQOm>øʬ>@Xbn$N8j%{g)sdV`7 D s.fLٻ ᮘ+ Rt[sP8B>'./a2tja yssٌgPpH!s:n1Wbpx. [Kg!1y3՛]ȤeD̓2VLzYD#탺! !=LgYZ7zXZִF! $]3]ŗXi%GN!z;1$ Fd@61 jz: ?zMpN4M2Đ _>})%-I v RR?΀Gix7PDb @28n< cJqټ]7.v= xx>矖hLlV}ʃ>8S#փD0' RUlO*\J F,nNP Z򮅇 _ I/ZGDmߟ汚7e0#SVxxR;ms|;Ϝjnd 7ֿx_װq . ꁹo f?HCC 20F%^e^z̜| وO7b_|RE}1Dƿ͢,t7d -Hf߹;555:JMڭ,R+c T4%-ޛ >sL hA޲KS ~Gvi> T&+v?CuxuF+4ŏl'=ep 1 ) bwTdV=Z& @MvDQcO;(&t~<< 8bl?fg ;xOQ aSuތ`9g [T7ooy4t# oXʘkGF6_%p0[83-_Jh86yxCXxKhMDÝy:qLpq\3ker3]JƸTodKJ[3"ox8㢒g*+y@q*rV,z,b֮VmXÌm\I+,] M$򢙧VGQ:9B\CUCGվ^X[ Z,33Wj>|t·РB:~Yzu+Db>W⃇4xogNt=jbM6CwݣfRmVْy'\ՕN$&ɶþhe`2k Cw~|%@(+6R`;$f ZV-a5A:&;fc|g-*BvNt xeuRj.U"@C>h0 dBuxS n)o0zv!gw|יfg7"] W@KiCot7@dXatgAwb CI»떯9m A,up,U{!fB Sv(l`EJVa;7/5.vt 22񼫄^vNM s^srjꦖ=bfP`SSZM֬Slζwx #-5P=\=vehy8<3٢x*ڂԐSch+OCRW2V5֟nl$,鸼_[BNp?}=JCfS|d{N$VbX,t2*L舋i5^).mSNX'p[}BEx-]&éݑS&|݃vX4NxHG38gFttd:7tz3F!)s%LQ᪝BREM܆K` k/Tj+nA0 _?YXOl"5xYfF[m8_r` yc &WPNxťȭ(o/5)gczTA(-{[-p53}ٸ"J6̑T0(~$O=uR"1N4I=ȁǤZUpGQt-:siO2-I f> 4CC7\dQ+3p*:,jA_os_̶^/}IE1T\4i):vMJkβ2x%3`C77\눂և9kP(L?g5~F"49m~fxuʹrn70̵ Of:?"^_,K|F%?r[/r1s1j- ج Eu\r LRp3 um*6ang?v;Wƚ+_)}¯cE;BC 8Crg״yw:{ʝ;2Z[N8{'DޔR]ú1kkNj5Lyk-p{SFcAz>뜩<&%ei|GIfB=7Gwx{F::a3Α1犴kŋNw3׭@si r$Dp%!r#8a^}Q9g_sRNVcEJBCS=!78c `sD9ˡ^^pujQ;eF/1 >GJ2<.KqM !h}dV /s:I\hͼ}Pn +II4ʖ `ޚptH 6ҙ(#!;k#WtN3%`3J6hOte"G::mSr6A`dxh-ڢy)h7!IHy0W$@E]= z _%*{*AB"Ez QzDIs$Su ˛ZGOSn[='j?Ԝ6 ~Y#>b2_[Tfo~QT}Mw؃2yQ,=FguDRxyWb$y΍,/M ibWLS5]P՛7`B. KB(&MOkd =č4گNw[2|VU&kY/ /!⓸?Ms.K5V/zbOy'T:'-yV*[5XMpͽ sֵ}69퐶hhXN;J+ /O*doڶL9PdN҅,eFj w=mm9@r]:$S[.E ||*+-b~ԙP)%8/(_Luc$ ֿdHO2WӘ8]gE~_7hAvft.~ynkihPyPF,)1w8Rl!v(e4X+ lrVTJky_2RDTU$ȼt)@sλܝk&Ԩ crV:-Bh=>4+mݐljr Ϙ{LFue[~q9e_V%k uLKbjnpIMx5um22+C(ʐSj. }.KF FyJЕFF_ qsF|jB ");WIg3b)چp$Sw4v.9Il$t(I)P +g2i) 󲝃r̾aoN3@W<,7D Sx`$|n8 KQU O+*F \ K]@}8_)IVZ wU֣I?69qqlH7(̈́Q+CbG1B Kq oƇuGt0F,=kk#IڴЏ|{n/7d(ve Tq%lb"9jq9υ)OmDd0N0zJj ^-GpSu"A`2R.k:[yTJW= hW=ENLU 5M9iؾE.JznjX8ঘ SIee}ZX&$y{- 2UZT!Y&H)rL q$q`CiO/Ƚtltׁf]· d~"8,'iAG&5eWWHFľ`1yҏLN'`Ϻ:6 gN--m#Wy7NG!9ٻz?}@kXPwOԌm򙎭h~^AزrF}P,slG+v'~OURnyN3[(+&Y>ӈ%$ZWcJ!Dk ->a g6>%*<wHU޶ ZrD}l*7܅}h$ ұcѵ"H`E~d}]w"Pʜ=͔y )w2a(d2 hEgcVv8tqLZ!L%| ܸt+L3])7𤣛' (|JӔjӆ`Q o69 "F|HXS<)w}|8_׺gA%,ah<埵{$=wHC،\Ijt` UhPUN޷3I^N'֯MJQe/s5E)ϾgQDւŰQuŭ -%L=_,:Ȋ.`iRQa6z 檼neXLRdWPzAzc:rd^-X``lQ\[&ڮ*ҵ  9XmW>7J!BwX 떾, sT.1cwRe*45Lc- @IHaU_U7mGhª :R!?~!JEK/ʨݸ-T#}nh:{ye"Iu*^2c® .Jrخc\`A_ɺDNzWn/]ht,ResWd+BYvDso;hvڎlvv][˫"C˒{ri!aݵ{o(qRKYEwM'N30̈LSJ]>LY; ANρo] $2˃-D 4wȴC\cŎ{W{Qˁ}X*%߅Rs&q֎頾qEυF!J(8RdՃt{mvW,#Od(BiR}.uK$WhTzYxN_I4]>Әٝ9pٯq"/.dGhGcPi;Y[oXS'&piQE`:>KX,- $éy>ج.pJ`]@uT$tD1kd31k)Qſ`c8ؾ~>`Z/s7"#8av-]G~҈:`Kא}H*zaeBnBhEmiW.ל^J  }* enc>D,wۑP (yQ[ҀH-|4UV"ͺ)em08'4ԃk!ҡEyέ mБ$om<£2U+\^R+֐~.! /:@i?gJpЬ#qSW]~#<:W \"-jƓÍ4t-}iO.p#XmDFiHz ؿrUzN6Mؕ&w93bQNҕTT Fpgs$OeOQ*U";&j{˄CQk~}RЀ(ʍ4(^jy|1$&J5l#vZ9~[{ XuOXÙ$:}kZSx&j9ȃCpT~$3z3Qz9xD }{R8zA=yc7\M E1^kc5)܀,Q0;)WkpbYʇL@j)y/B_-9_4wΰMQHg'&'I]!u#U-.vdsRWhُOA2ڬ?1 73=ucj:hze(65DMxr;Bz{ >cz[ji0{VZ.#\;L߱5  '+ lL=Pp@[[/QEيȞ, xD>P?"dʥNLG5Vj4d.B}j`'bU3y(!]:'_0 o _>Jl'ګݮ @l@y<+%jY(WTh# Om8*EzzS'(ثNC_{ Nm,B|7K!M}s>®USܶ'|;3|gRUuRFU/yX.Cy[r0eRI[Rs{qT٤wK ]ɴ?>Dt |2FI*۽w>qrg]g;Dbx1^p L}M}Lq@AFT$eM*Kq fwa Sw=^ީʐv 5LcbD%&h4캀JX0bb%bܶ9᫸/{('w_dYb璽L抛? |Oh]6{!>(+ m@\ ղ-3~]w+hCe94ډGTX܆)[G6fQVq 3!@C0ۡ|,Q` Zob7}|dļdKgSoHS؏vjAW~Zc,!z AVB@+^r~NȿcJ=inM̂ʚ"[.쭔DV{e [ #IRM%CZ^XC }SN_Gah,~PA  ? Vwo1b[ ʣVqb\HFkMt|7g^{?iWSsFQL"6 }ë~Uʁp L6 [x)G[VDhUfr2Wʛg*&ܴ"nNޘ": oLg h4m1Ԡ. LXpϩٜ!1 f NmAf;ӷ 4%x>Q?Tҋ髿"ՙ9%C  :he&fqSYx6 ILuwqn+0d"șf"^8*]T@R_EB>oLcu;TG+O;.,LԐ DhG Ӟ%azn}duutU=JTƜ='A[`j"9c qr8ݝ,$n鲭˒BMV)!Tĺ;S&l=7w3!߄^qWhMC|S0{G 9e ꜈۱$ęU(rq]~p=ʶfv[Z[k1:ά@(A/mG$I<ԯ!R*sd@X{$! R &wUS dl wMl1gF Jta-G4h =P#A:@+.50!Q\}= (9nQJy fƍD!ʃBLYnkpQ<Σ,)? vMn-ߤ`N,EʇNءTndnT%j%]8WAoa.2 vXFFpE#t]je{,<acl]H+]X&V\ yXhI;4TD@V:Ipo09n hbhpzq' d7U P dջ=HG}{h}s4 h-aBpP d>Y&-b+޲ߠ6hu8(*҄@gy@g.PtH.u Q߁[#E%=p wZ;%Эt~8 /PNJY Qj}OCɣs&c\Qg\tNr2|iw^}Jv (a;_wliEcjyDPO n+|V ǽUĮH}cKF*ʦ I ZXޏEIp\S; '='ڏ:锿8[Si+8%&1H6 s .UgƆ X@oI_=cq%,6S#<7ܳ?BaHt@w~KvץTb̺jEssSB_bԑ6pBs4_{(t1#"->ܠhu!AH3Y~/E&2C8y9csGc/f%B>#J$ihC<<0!\qH{:2!LP<`q9d?̈%56^fHaVkf,N2 iZoZ*Q\w] Ξ˓Mu IeeJAē Ȓ >& JV1;bdbHal{P %Dz֒+4s^`YɦtNavȫB3Gσ1Vhq= 4_Y#%DFH:b ΋Rc!Y&gp/o %ӝOoȂ"jC߀YO~(ZNA?{7D)ă5@f0ĢXBB*jߵa_.ǢԄ^ gf4d33wP+bSR ˡwlNғ030Ewn34^`tPDӪwrKis~*TKF; b 橴4^M&hM#-qq(rԑ+_'a ^N%lngx,3m˞k I"5BMN?2ST}ߋ:VL;$RR]/:v)|4TiۊF@b)V8ϜZ /)3+ٹ y#i=(KFvjIJ( Ӆac_M|Ka]Bbh:A=ݾHkH"baѲS S!!6vWձ2]4e,Fb@*jo?c"%~RQ_|8/ 1T|%U( 3% JS՞<4%h]- 낗}$\IjJXw(6piri Ek){Zr(8Gt Afδscuðrt8vPC!wLDvx}RFEe܆FVˁs_man,]ټ?22?0Fy2ló&ǔ%Hw/8A1eipo}wxnuͷ`%7(;?=ǐ%<89r :ifsLi|Y+I_aMȏKGZ GEӮ#' [g%uԇrFHj6SIjM:>q%˪~|1< pߋbZN.hT{3 6Z"x&8XF/)#Bĵ_#/&ZT/'3dntRΎWŚSO (JP\ ,@DJd(jRYwa? !ے#j|/H 9gAٟ֏3ޜes#x+[W9@΍L]c_-U[B/[ usnqP层C銐\뭝%5MH(!c9 zAݺO_:+ := }`cJh@ViGE8+rASO `(Zv`cؐg\=zș8Q%iFm.v}qQuQ ZW8L=E=B 5v?NSl5lV~ ܀L ?Xc~82 Leorfh=?alƤ +$fugK$Dd(%eפJBÕ0/焤(e&%zkӁ}8}Ol@KbF;}.sXz"'eLy"gcXp}= Ƴ-|EdR0/2EߠA~ c9u +ji;,=R;Gv5;VJeÜ/4<=Wl8 ىq*@DRKG gچP+Qzc6L,^`*fl_nhzRtRzY,}m4f4Rɖ/ZdrV~nulK&g3TL 1h @9Xz1eY𡢿U g?ȝbq9yz78Q VOz$47KYn,([pϏwb~DyPv"nk:~3a3.Haqu>d@I޿͜b w! !Vhk^pbc'V',"/a[8],X:ެ[-|4Y?nCuӀ#  jrΏ>ӪD[a^MXC7B|34`J:sXP*eoD xY&WF|rI$}׺d/_Vb7tKD  iHq)-0\Tk'$ӂE4h="}NYFB3K@FkGD5yz$G#{j!H7N݌b0}70s´ny(ϟ1z_ \\!3qrî+ò cрC&Ϗ8[ Y4Nk͠q7Rwh>iA(Q~ )DJd}xuAjUM>meaNNKҹ`RI>5><qlQ9.Nd2 N{UQyxFuOsuI:l{oq(S?]m#]3bMoԨ;h#s"|>eGD`<} MukF^LYi(mbC*U萃By [ JCx>ᔘ#43#C ,[xPDkû_*~(PVšIk%bwt! Z[x!]ûjƳxŦH70G;=0{SR$zazղjC16']S$+nRr \x)WMִ4D ;}{ Ms,\ R=^xmWC;CE-͎R4+w,`K Fwп> NQ&΁EYu'an@>(<15>xW*#4w~ܿHTEPƔt~ iNrh=` ]se%̿v7&6`MI}mk^ `6Bb-l.$@1Qޠfߦؑ RzCc646e[©[6ߝ6 7 u7MRYgfa$@"sL3h/zۿ5ǴDK$x2[ʾ.͗"koy+$Ax$Z @bxSVMLZU5|:$י7w(|l6JoS5 u)6I.mFrw24qcִixP(9i&F܎V5 尠 J+>J|Qn,XG%(p$μ2X6~0UسC;L3$/qbXtj>TNr++B מ}Ȯe]V>YE!$%XꧮRcܤg L~f,me9! r*x5[ڒ|`Pu ίl$7õ 7(zdY?L7XH|{ ]dJ(FQc ޴߫5Hu-Ȓ]2 abMpTVv ]c8T[kL0Rl7POh%m.l#KR&ᙁ/L ``#Y.ڳw^dxQPX ¬a7ښvA7i s.^/sp_ԠlRᄰКR/?;8]6@sQ4^ eLeATq[f}x4h_#*puC3=]>DžX<^?k=Bo >W>3|dߵwK"k;L]b@Ua5VDx9B=\'o,A J@ϐr|HB'Mt.:in TH` #u%}Z#{+ HGF@3E(uo ͓śYq/c5iw:f7뫌uwra! ad㧾md,mãlpC%1ύ8:= JuXٻ@²𫑀 (t9%mb"+L\:T?P NxqN+"kgAVDEZ2гDs`_N[H0@n^J=4W e2ow)㔜M_ `ZMGV|[4?󀑄=gBh2cdœ?۔h^ >? | P9|Sr^Zs*u"?wmN u8Q3?H|! x Jp8n,8j3Tuo l׍P1eۙʄL6&=vXߣsB|ǣ:āv0cwӕ{t"vxdr#WA&8K:mBDOIo=847xB6P2 M/%9*ۅ7AA\Jg9(w4S xl nL? F [oCbc j(}MܨuE}_A.9ҜJs,Ô>W}E}ƓP m˷ښ&R3L<-Zð8¡j73))3PC~=|Z,s 9 'P0s Ͻi,ɃHĘRӰ*fJf)D@1*B A0 K?q@Q'B!]>VL$~0>G7Hs$ waY ΃`>jUDMBL}i~_'n m--'yg e2D((sZOzxww'w*S+e[T,l;#rfkD ,2ߨ.xŽxD=(yzI I]rcTĂ\)2ţ$<]V&y(tTWv7 aTa`|A"f'Nm8up")|p Gp/3[0U|,(V{ {mx}l_ XV zUE+xʝI+Z!qMY Qx3u/~:9Yd/V\[P ߉'-[*7:a""<-D)f0S/ B, !sGJ0XKڤ!B1SS*6pdV08] Gd01zW9gg5#+& 8-68\1'/&, 2މxM5>ԗݡXv\k;љ}P\^(VC$Q4, kѮt[c=@ynmׄ VbBy~:Y׹dcɃD_RҒxPZ%2j$|ؠgXܗSȑd(GO.GJ\iĻvmذ=X_\YsuwRg:Ӭ).Z _ej|e0PLHTRVoiBEA[{.[H ;[ C"i\)mnG5f5vM-)Jq0'f_8wg=nAܮ\1G>ϴLSfS%ׯ[pьxu@~`*oLtZnPC#*꽙],r/#fT bגi r^̽2_qc Ep"Vn"I\vKh֯ "b٪F\}˾zj;g|~n=7_IQoט}{mo~MA/ȉqsk+CL*G'Pb4, 7FYCt.@Cj&{Ul@':g21 ;?&yÞ[|e? ;2<֐, Ժ.%5A,F|>%XG(Em ڌ V[^&6#5e1([-q|_:9U7)OhB;HWl+h>^rB 6~!K둇p,[SNm0aEpvlz2>%5A>JU 2ľ,[8X:}%<"{CQ">*E˩CDh#%^`.%?\PCI2:w5HJ Px=DM^i$`aN;6|c@NE.cϽed8iUa]D6>0} f%k,>>*]i|I9l-ѸEY7(N팭k%;;CRO 8GEf9%"pv1PKpJيBU"psbUWro ?M}[/B)E͖~dOc7 *tw1aE1 isrXՖZ >} UkPԶ"eO00R|lʥ&ϠU Weh9 ta # Ņ?z}ա_5eTFX; dLP/[Qoc:NnA6PoL@_(AzJ{ ۫M;i -=\vJ0i g&>U``k3K,7GIqgyg™}qeg{ zc9ҕU2VԽ)k/.t݀ZC|7 KnP* <]hς᎕;i |Ȟ-*j?t8 KWʊgyC34ຊr `hMzhw!_)p5[\HZC(Ӧ]75X!OLWzϱΙ'Oo4 ~8m"Shtsa䖶w5Z+!IJ$IG9{2~n{ >i!g<;%nK'ZC߉?MLA.[G  #`J'(9oHId݄0 NP5GErA?FP2 ?JO!_GD;,3݉iZF,j|bѷgT~q9}M>R7rjf%wg1L\.Yl^~}vRxE=TAfi@y:ɓ uRo3rnHu{ ;n)$4#OʭC Ogj>;|3܋ hk4োn4#JmJs1OH= #\ 9ZsHa.| Q~ş@l J$/ vuhRbe X0uCfj:9@v(13 r@2J4iyxU,F Q.0Gb[~NuA$g8y NkTy;Y pנ?`,^Fc6ZJP6`Ç>-/Nی=ΦmԌ:X}Í|Ym۟Ejizʣą(1=wb KnjV/ yvP_/U$7VO߻l*h Z>/k[GIP?}կW'o%BpKVQ= yϙ.M=7'ΉB S|WX {{S1 >*LQې+>=Y."Y JL].Nf eng{+lNb\on<ƨe3[5](UL.VND"gP@'رjZ.R~'s,Yܺo\Gj%j-*Q=q[˪8>xEY6;*~eĿoU]*A ]cVxֻc٠DS0D&gW_hJFAg.O}O${uQ/mift\!.Nd5+~Ndjs nb33~,iH{ϳ=W$(MN+-ǰ&IÉfJ2:ri'PSޏfV.:M?P= WxljYz*K41DX:sl G.cxM bslsG UAϕpϺM՗gYZ11ef954c4a4c4d28bf76215e24f5057ff62ad4d94b4d09c9c1841a4f01c8958af89ec039a11204c4 f852689b23f90c1209b23c794bf5ab75a3b8eaf2 87c046ae46345ec50ded6c0dfb6f720da4345c11ebd9dd54f3a3e4dbd4f4ed6bd477b672192053d3