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 h% d, ]]Echelon_Form:threads=4elapsed=346.463cpu=1083.884gc=99.860factor=3.137zXZִF! L@]ŗXf1-q恈͐7ӺV -fw0w]BjZjfէ]JUgǖfN&Q$R1RN~e*w(b췫ws$ HF{iמ=;c%8{spu&)Iʭ>J4M"5suWPa7[Alt+um(;XM};b]\}^_ݮ~]sOr=~ؐ]b544(l5\r z04(J7#YBqmK] \r-dsDሌtnTiяǔe"Gj\P|:osuV % 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 2Ct!XX3EsV!ZOt-jJþKvT"~':e|6T1&W3)FC ,[L3\HUvu{(5bܗ1`2sڿf0 8ENt)eLj T;GKhPqCmi#]F{1V^_/CNez}[g5\}#LӶo)aGNVgV$ h*6Krܚ/9&JNKgOfAPSEaeoo v `Pt݁.pzI0每y7Շ|3oo6w>4TYH{~z|W%mM;0΄st3_iu'&* C}nu6F+E*gfSD 9e0XlBꤏ:]ceaM[*c'zʶyWՁ|J3>/ XW0]4 DjW!4Qۈ&x4[Gq>1EG-caO7ѫ7W'@v,*Ot\;/BHy <6ƇpK 蝚4>f Bfu zT%}$_oW%n2C<4b l7 Y%Wd՟ՈK!2P6ͯQ:eT(.()Λɵ/#솁I"$ԱB8]쩤}*{x{(ƧYa<6 tZڸd@N]Rk\ƵXmWvz ]cfE; ;tð53Lw`~Q:V{D'8x]#U)c*uFBl{Hpx*td47CBP#*Η|b᳛L- u۵GydRڂ@ 6%(wiYՁ\Bt+ z=oBBCSGlllc%hg_uhH0i`go9.ET Vݫ/[QK-oUDJ mCA#% p»١A'lp=3@0pd* iu|muu`[Tp[ynU BF@IBy-ָI JTB$L@}یM7"V*ukCPZ_y tyU{#B~&D x#3iX036=4 C+Y?+ λ3k/V#$夃}#:Z 6@vˋH DW +C$N9xH`]S̆`knVdvP-%9DZx$=:4!d iLսH>-:ؔ-\aU`롏9Z?`Ny?w ?^:hS!Zf{ee2n~'!PEu4[UYu`G/f!{bۿ;7L[a+P+v%wG㎎ﳐt&=HgoZW9IPei‹ttc8 R4zr5:q)}P-pGGaӋdda7>=iX)`ၙ]Y'`NW~^sHjAoX.w u0zP$le%f1Ϯ΁qWKvDFA!5Sƌ?moV [GW8ѩx&ƶ&z$|MQd _Kܣ'WM1)QоؿؠQk։JQ-xTȎ"<`ga+8YxYA:)7}8Z /g `3n}$QPeJB7PœGqo$'<^:5bn9𚻃> w݊#rwXvHUW#8Yw%Bk$ZZg*yip_DYb p ZOK"c[Q;^kV*'U%'nHZ͖.lq@x@|2z4nuFhƨ^Ǫk e:&51Q\,z!xi!&B rANӬ&9EOE.3(IJY\^B1skS`( FK-= .=͸%gYZ7zXZִF! ]ŗXiɟ1˦r+g'Dgr>{pNa5R]7vq0P3Y<@7،geU>UZ <!Ď^<H7/'jjcjܿѩyfa!T&SSک#.v*H;|A_870`3>Zjgmq\d'凅S=&m񧟀OѪL%Rz3My>/>`,=÷ڽf,O8 ׼#̇?eI8Θ`:B!DM"\(F+_H]|.eߏv܊|?}zVʵ 1>X'ׯ>Cl0jԝ{P%2y4YӧǚD}AB R ~h6+Ja-w ` k%P_>X?(:P+7`E&,NÊҔ%S5VHLwX0@v)eԻv 1u+cMEvm]wuHS^ƫp:Z+x+O:OcN D& 7M\H{Ca70Vgtc}оR 0Zyy Y?KSFI! 7oA%y06dEV 19kRalPPr.E~WջVI<ǟdiX! hUBG埌Z=IȞiĄ}OL %j?YAH/j$ȝ@{A dWQA07D>=4]pǣ*e9]!Ba(oC<,gҏ*~_05#:qS6 H<,y q tJPCՆE! ~)h߯83rZ1\WK!4gYZ7zXZִF! 澜[N]ŗXi%G>ehnx`~"WQ2 *h6TO70{O\T+OirAY{fv?)q'$Y?!GLj,9BݨR,A jK/*_5uylv1{-zl4p6y>6@vmM63rYo$-xnj@;Y5UZAy&]ۼc .MeƁ1j[ OC[*9bcz\ŝ}B~VWX[c3UJfTHZ;tGI3!YZ(/t'`+eZRR?[7_MXhlIQ U 灥i_, +oSp^?RuQ}zicO_jl:ӎC%Zp&Dw 3! ?A8wH2 fdJE!2@`) *Mb۩oup}_xjִ $D[LSW+ -]4챑HӌFf[A u)_.ma`KdW~}~+}>xHH{Gȸ޷Ɖu }sMԓnf/^X ZyzY6çҏUX/ܢ~OYn㓸qܛpȐܜ- :4 鰀ԖxFTD y ]pSfo,5i)̀"e //B ~Ӱ.vQ޾@mXSbrMYjy)Bwtfa.t.a׭Ƅј;d֗@a#t5nbfO5B @NwCrB| ;ɷÊ'[ݶ3](i L/ݸ\Lƹ7L81Ju0ka']B`0nEvDvMӡ?v΄B\;&S4m`>Kb {giFe\FZV$1LoqKqL$%vbZZl`;v8h?mr`?nfѳM`ek *ig ƶL/z]}sHGBaC,W~2Te0c_|I2kxdTj!_iʻl9 +57v͸MoK9>(,:]Vknp?\ ЋppC#6X ^rh oxSlt h<} dž$žx&w 镔-_.j؏ed|W=NЙ1T.:O^:Y K2q䞲% \LVzi5Aڜmj;wҨ )# /2t[_ $22hJAQ cPw2lҬ`}qVL:?vY2`uO6'hKlN"@BN] 64DL lQ2۩c /;UP{<7*ܲ~rZg1 EH7MMRvtLɈfM37!&cfXfJ7?a+i⑨ y͸k)ʒݖGbȁP|~x\)!/U,XvC5'U`Pr}FHSȎneA۽p-nW7y^˶R"F{#ӂ-):u9vJ漯JؓjOиh9y  hI P xa%_3e^hԠjPf_6$ z-PFvBr}S4<||.F:XS68YKvqBII|In w,h|J {MBp[w՚݆:?o5zUӃc(W5'C \e O+A]~u<ݸy%%$:s@;6w5KsG z2݄|$(&^샥r4Co tEʑ.:lzb͛OhW* g EuÙh@S157$1^)R-a1%h<ςj_9(O`/2I_3nDmO7MAYhS Y8 3P[tˬ1"rd=+Lo"^J-"ghVTܱnOQQ~x[F]a"ᐘ1~._UWFm&Q}G+sk䵂!KOMVb܈ Ydx2B du832u-54 4Hl8aw>Z C =f̣Ps/j.-OsD V@ %Qpk놹(Z5XNy!>knMiG aO@\8Í6QsjG}5o8w C ujpSSԚI| 8T|[\Q18)b_Srأ^ZG" ?-ִ3SyWA1Ue 2݂o-kWt3f @̂x]]shhz pONKSs!hVJ,щQ6IݷR-OM$'6nψ;0#wɪ:r%o1AЌޑ!3Oƫ!=K>p_T VgEnmrhn&S|nL\-HI?+S2f*HzxzLu [0IOE/g~+WzF,yh%m0lA>gb*ӗ~޺@'fɮO L3.&ȱ.IZ2v+&.\tvgDv.]o0Y WM3ױ91Qt$Ԥ^vJ?:ַAuH"AC'B*F_%B/K܏"!pgAy0G ‚ԣ+=^IvoUhD Gg3~H>bMS%CX<;ICRخC o;Ð̽R܃s"^M?YKB0=x!f$ԥ)lf/h)m,.1f65}xQWPHJN %6C6#; ֩?kKFw^^3#h,(z =WOwp{H܈&Sp1Q!V07rdvP R5 z':9d2g[F=t3c B'j`@ @,$ Aӹ(aLN^>߉77RM OѼY)?ZLbz n PGLW50 /(ElD<}^L 3b6llfoߕbM-F%efz1˃FP^8#k'i@%x[@E+GI. Z# .KfYZC+|&m컯*עZdl]uzdUL wAA3s,%0X`o{Vz~[F&{ERbN0ngGMd;3jTp޻RyFU nK*TT{yrA -ǔ-,}01?,k󤻺"#.&uY*熛Y=" H.#V 0vcgFzӪB"YID

DMFC.cŵ=NTwݐLu-){ZSƣh>aZ-;qHFv(X'>΅Mf({/CNr`mEoÑ\&}|5Mq^, 4f`d?;I}ȂN)zRR^ip=ͼ7wP*pᱫ`GqGqK=J[ ċKRк؟-oYd䙐¢XݱZ3ZYDAPj]ʤgX%b}E(^s\3l?OY$*r ֓Az42GyGf<*n`x@Ad*XZq(Fb;+?TpN5Ff>#൨ґSuӰ&T]e௔t9v9 A}.Xn?)+0*h̨jѕTwU!iyx? J;<!YL~gJ^\U @3'͒ԸŖ1M[VԷ-8{DiH~e6(_iss.@0km?X']Z͠AmQVO^>#xŁA"be*,|yվw*wn[դp& "GAQFjZMF oAw,S38AP7VUP.GV bۿOE$c畑z:Xp^F~i2ߴE}4=*0eHƔmLhqdP@j!^ˤu=}teu$78Imb؅b#qU ^Ka' \2̼y`˦΀ZYmj(4&oq]],rW.8n_-=Lk'ci|63."5_˘/+be[_ܔ".k=LPg([ ;Y],h1t˒Ww6}+RH:?#uʲ< qIA?DCkb T5*uҢK.c?&cExʒNk1v0uq MEoyBqD\#"Mv2p(/.TXanU5U;ؒy@9lQ lUK=4;sQ=1)=W۱c\' ?  !n>bciI>A"ir/-C 8dGeeȰLKg +wxg@˛${)5''-Tռ/' WA/xfZ/^ zOIY"J!Ff(lʛppNl%&ztѪ[FO-[hzeq4| lx@$W97 ONɘn~J)`8ZloYROfv^}-V*< opZ2USMPU8ϟdǙʽI̬P$7^0@<-.=~*a,-iIriokbN 5aDxt6<׽R10R/k j9U rwO#ZY]CfO7c82Er8!ܔ)7z@D{/v42-W'wYC7(+Q`Ԉ,?Ex}~'^ afj}7}Ry)&D?9s.br\R+'XuKTگ,f֬m Qd6;)Qޜ MV -Yͯ@VO" G˵d$0e X; ˥`ꑩob糖?9nV|OL |Y9)9=:`=ګX(Ga` cllRG ?tr'd_ ] h 9''/"%YR}zgg _УZVn*ZƻƮNIE1Tӂ(j]C؁`RM@쯚&QgPOwDY/W9%#.;23RN9Tԩp5l: p (`Bg .$H~S"֢/".11f+gSm1rR].(0 ud7pg;{<P\%LbjvTrgFuFyˉ@4VC .HesHRd?!T&ykO~lPm$|iPHШ;h0ym= XJχ}R\v瀊0ۑwqId15G~Z-MtDZ}xD|'p5oe`BaIP4"804|Rp X X/́I%OJ $:vޏK35j'"[8N*4"r,+[C=y`dYMyuKYsbVד2o85.űWeNvb7bq ~)2X ~ROua)"O:˔ʦC:kg!k!p{gRX3 jԎGp ,$%/PD&慟G +߹55rĻ&w,CQIrOXՁǭ+SXn)ڵ,x y9tWnϣ\DV%Ex]z~PI;ݻq5c? $0rDGyCi_MUSlEdjޝLz`쩵0\Ѱ߂W 賗N3[ g?7uv۰Cm$mHTg='Z.Rjp+04l@> Dz- l#nMv`CYD$(۳qgwlKkG&>yJVhB;?Ի$RhZ¥(S)#$uڊ(JPlw?#߶Tށ޼beNZ@gTK.7GR/~D?)fsφB>/8Ɓ#Qt}'-o3zչ֫lGރfq ?Bѣd0Ï\C`K!sm~,EDH*];~}޿ J{v(iCzӻVH*Q8VP mvI)֘tSmʞ1A&,0,"[ ^oxC 5X4x`jYpEsWyDx90n.4odnV;Wp+MȲ'(]~`,lMw-NŁmg7გ:?x[Ĥc;#Ka+M2\g9BذοG HsݙЗe=Kk۩*G+6a'SvPæfsYUbPڬ=W݈z,=ko^eFugŸbI`~>`jAG1AFX=OEcu!HfU#7,s!{rk|Y[։qQta4N d(`kw첽%YKͭh^w|Jڐr8q~GzOq?AdJ~}4eydDKJ0cэ 30ٿN_+ }x =ւ@ac|# JF|d&'{?w$DO3ڀ/+\u,P#dF2[8U,fLlWaaP)zxoJV^O hpGUTsMS/bkGA3F]`u潉*,{ ~Vzsf%~y!`6%#&Y`ŶZffHvd~v46s'[o"ϵhu&ҝSlYXcSgiv㓊)g',L8`LT 0eEdtC۠T!%t\籿vc4 =įp8.BFYmsuwSgE ֡{-2e݀^ ~Ϥ8@|ool4"}PŻ(EL,i‚Ir3ʒh^~^a{$ڹo ƂE;DIcߐ=|?V @Xp7 1*Ӟ$ b:JFi%W%˔g `O<=kWuŬ-fXtPq~)MmjP؜FN :n\a" ,ϙ /T3y+cRlJ_XSKڱh.i@0{5qPϑAh0Y۝[sJ-kv bAyQ∁Pk2BZ"D* 4c0; b?4?}0&ؽ?V:Ȁ.:('MB&bdpP6mlaeRjb7b5MԁQJM )GBIX_~4 fQY5 -z\cS|խpW-Z7J:4kkVcO~'Dnw.U2ї|=0]*wڳ0-fS^FnU97bN%uQ\ygkUCAEx҉U{a;``^G4xsp~A_Xr!țbp6+#66Jт:Y5'V؀}նJ`F,zi7dƉO %Te~מ+= 0 v]hxh<,U4QxGQbz$4$GFSR3 ]>ŎhBIj҇{1jY]DgԱeyo9գC&z|㒾`yK3U``Iqv$ HV- ~J+!fC#p\eS>jpE U6UVJ 8ʟkޅZpS a_b=UJ[S\g@DZU+aiľs$Mh Swcq V.}6qJ| ݣ@i.=3b| F3wHr9UowdOCp2A%R6KJ;G,3zYH|P+.]Bb@}EAeŢS.:)IUp+1|X$Ay꬯ݰLsk{;D{=xY[?nRzR/~Ѐ͚,,)$ [tfwW">88DθЋLWL+H{BGHj^imsMլ-pq PM!J/~nlh0]X3 򆸔#dRtkz*x*|Bb?Fb H(ypZ$f|=F^9׾+Ny1y{ |y7tQ+׋:Uu@)j.5QO'7Z}No'U;ICM) saͯC6Sx`0ڠ/{j){MwGA k؉ňp3  (ъ:|OL2zv)a 2*fj,Mb=? X4.DT10` Vf1 U"ǟWw=u@DMꮵy/);l[XDy?nl|qxߥ@2Z vSe QzwCݸc_#ۈx t^g*&NЌ6PwSz\N]ƺ%R0o*;VKNg>?yAVx~hQGj@ VnEzzR?' TnLu\bm>6~7] i'JHu{|oa? * V7:]moVu$yݤl5nʟge$S=ʸWRL^ᗵs\';^owէ0) `4}cRhΪS^+,<;avrToM*=(%( DR޸W˅Td`y_iԩm47ϑe䷎ ^PtZ65˳]9]=!vl;ˠ(01e h0fͤ|FdlI`VWCjlaCJ233&k̨]';➳p6 ׌nZ Z0V=g ʛdXsR@05.Fٯ!9/(0e:^ě? 9Xm/s7aT[LXO>1rKr s j?0L[5O6I \IFȔ ׄֆ\1wrŦn QI F93LY.B xvO1>3p<(B@hnR"ő4a I+N4HΛͪ#Gꖟ#p+ς9bB3觸݇:H-׵5|;C67<"5rqfH!I}#)]]K(L+ Fa _x~H$49vu<UHa c{ZFMWO|i~>K[^*-CNts Q \-vHnxM_@X|)3mf?W*.J3ɮw"U/y 5s8rUc%ƓXkjk.2|ǤfLD1 {-$tX&go&;kþoP!XZ8(UݻuB5 \WA;'R1s\eOw7D4ckdD›9#Mʪ)fXCLd;FM_CTأwt M<9U,v fKTiR?d` ?yu/fF{{;5?dv];`l-Bק_:fl%-B%$A),؞LKPB NC%+rch\X1{/`EZHT~fOjotkAXy be 5#-;wρBo*=I{3^gyޙLhtp|_-8c}8s:+H"vՍIוH»^Jƿ~XM<&_V4"ƽ>-rA-r +~Z5-La;nxx{3;W8LqV9 JX' P(v }|i5H1njCg ڪtpUĺp:c5aв"p; x{Ý j9nmʄyENP)fʹ`]M=l;t"Z*뷤^g㠽wM-^ߑœLkIE!.|=I% Ϩ:DĚ}\ HUeb<WosUXQ"AAkt!2Yqh1fu7 PYڠ8F"") 5J4Y؈ypL bP۷xGCAFRl4Ǟm4v}R&_꧎GXÛW )AELjK3ke&M5!} h6O^ؗƛI&KawrnL!/qUzђuT_XJb8Rj<2 2:G`Wpl^tS|f/tJ&b!49؃K5F(շcsnoz/-W1䕦;#)h!|?Fk^ ?4_ zXYІ&.Cˬv}Urm@Z;z<+Yc#6oUZۜᄊUY0~-$-̂\MbTAQa@EvcɯsɌ ӑ`aGcGV3ܣj}Տ.@: ٟ}◈^T[?W" Jַ\qPbGa2g^Hn0KWyZѲ5`,_aX:v3eR$=TJ駤fBBs2sÂ"az U#0^+L;3ʊqh&ܢ som H:$#ƢC/tXb8= և<TNaYoIb [kP1OsmY!Q9|G($yiZpXKʄ?X&^*I[@NTt$ˣʒ?SL{a@h6)EהS ~((;A-?md4Ə[\\Y *4dh4zMqz,WXFԋ`p<NhB„dDڹk&Df"``~ënNRvHY5/a N-Ӳ&k)ؖvrWQlZBF- GXд[3jq"'QDdfMLZޏ,ď3BO7l% g=-ZCF-ZDb2AFsϞ񘄟P5]5[nh\o4W4X585p)A `uwt|?j̊=+-v+D*i(ĘIFL5W 8w(U""po&pYH\u=}>,$,& h DJ#{E ӵɝ/sUqNs=(F*:I8Zx[J>\Zb7Yّ -*Qq$--mmͮ"GzԻAW>_lz/xc #z+,]8'b,4WE~`Doa~"`Dª$&z!N-xnxDno8at^/>Xf6oӍ-r/)UuCknU&P5O2].{'rdv*I %L{۴7q ~ z ^T<,ЃHcGmTyEdG^ Afcㆭ6;XAW1%bbZ\K%ʟ ]e0m6]KGnJxh"0?#^ T4ȋ`XPH Kt6:]Cj-gѱfm退[6؏וXEH[\,v`*W꣢6=7s˟[iR$q5]W$!{ngL^'`bEVMq4;`0"$;b(?^ynAT">3ײ l㡢$#kk WbU/{$Gbu3ɿvMVq,Od eb  Hg'umޓs#yQ XZ#ˈZd|[qTyx ;#S&K0pXc0z8Av-bMi,_ Ÿhf&ߗc0e>.Ew^D?KUdƗ0Y0K}٠y"EV|p]mkyE':U,9Ä*?.Uk sBֵvk4 k-a8F)1 4s35۫;At7"y3XG`~6y}.KCaӹEOM}tB"+rsm4e%oṭ=dXw xA3&N9\ l Sr>K/ZDf5i9v@C3qH9vIw7&!' G[\.O RHjʯ~ڍbVU Q718=:Z!`Z:xB-樿eH`$L_b.rG>ߘ݆JLŌ<㝚EhsSmbЦVS?vyO)dRޭvd,BVoS/ S` ~) {@AR֩vlRGpAh56pP XF8knsMl+`Hn gwS̢5|M'.`dwPm996%V)[ h@qMIkL>jp 7=QO8?afOv̌8{vyvARI;M5V⍅"|_3ssؕI`,Obwqgqq.u&ƫ>"};%SDg,a$̜H-{D (cZ{YemTm_ȶ:DZ3 HFpB.6ar@g!IS%Ej+d#K ,na*˾q 6B{ꬦz>HJcp9t o$%*cEf?ꕖEiqNdvv-,F*mv$?7 ?Z$