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 a%4T ]]Echelon_Form:threads=4elapsed=318.860cpu=1019.644gc=110.300factor=3.207zXZִF! \]ŗXf1-q恈͐7ӺV -fw0w]BjZjfէ]JUgǖfN&SK kxbsK6!;`}M 5TA)G`) $6 ̤2 <>ELc{+$gu :u:HXsYƔ=tɊnJ(U!lޠy&3\| f F*[͟#,@~!!Bv.' Ji"^ըdҨF+\c`l=B2En)r䍼=rI~:ڕ`q'C(5z^%s ,~ZwZ3DDegCtIq qMp  Ł1WQ0Xã$p.=n]no߯)@5M!A J%|ty6.Vy+s*m S跚Ѡˁ& 0͌F~/K{m"F]VlqͼRb"9ڌ 1wժ Zvg+bܹO)5{+뤚Kӎ+9Ē#j3!#xPtA i" ~UR-3ՙS ٬A P='y;Yq)G2:Υ0.}~9/A%ȰD!l*@g>%_U?4'tz2#@ϠJyChkB7@'{"crGCo9"~4e)6_umzX. xHs&bH%؞=1R>up#PIÂ'5%즃qhuSջDj1-I[,`7HhvfcН|6رRMg"1x1ܚ&߄WaQhk3'm G.uq{@09&⻚Q H}pP֢.XZU^oe?JҲUiԬzQ Ho4؝) äL}hM x{[EDFvEFJlrx@}tnӓ'JWSX4zS8_ׅL8Gzc &UCS4c+W - YJӢ@QUݶ][ߨ@OJn7(e Y*msLuj&IVD ߼|A נ^vq+Z@bG)dZT#Zm]VRZ?baXdG6x6'u)Dtriԍ$hl/?wT2JeFvXzD;pzl % 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 JܥX 795h4BZ9O%֌c6 'Q3z@- OY_3VX&wN*Y334ѿr3$1a0N6Jk="jlxZ6PG ]Z}нTi'xbV1k,ne˘VkCAw(%| _ ,ʭ Jt 5]F2C@0S$+->9hg$i੶j P^ݨ聒0i$_M$HJWr gZ;>P㋮Kh~=ٖeAx};$5CUdˀGW[`=n2h:E"v#_K JcΤOrm;K'C*wYzڍquxFddbTnlJ2{rXNX=+]FO)n:NY&wz.9BtvAǕ?G/Dt K?VQv%S=x!ys>bD;}> ;p^t./aXz圮3XSvBByclA!'ȍ}BׅxH} M9L} Dj *g>h͞d%S'0<IeQoV0Y,`ڒ> +֐| 雃u]r2v*8*o僖@ .1qv]7c{$*щWQl='Q+?fn գ<4f>@@]^tĉ <Ҵi9mbhi^iA_@]ػudU3YA&wB/!`e_YL !o\kja$/搙Fubك;Fcǀ70#l7O)a/!=((D= 9%5F+ nj#̭;෵YUC# E< 5lTRVtD1B7}x^ѭ iwDa(lgn]l]EDj[{QF2B)Z1d8vLIE'V;_ӕ'e,fHtS4zϣhJU¿BrY 9gQ}2̣LœA/[I +K]+&4N8>:D|Dg%p' \ux0X1)큂e'Թ"*>:s;;`g!mJ zjuK -hE.{"!\HLؿfօB6 3=9=Ij 2рvKr]Broݺ2,gYZ7zXZִF! ]ŗXiɟ1˦r+g'Dgr>{pNa5RlhpN]r#$ cay'ъpɯlA9NC0md=IK(t}H+p"L- %Rc..޿/l|`+O,]p\Kawo9U6Dͻziirh#JgbcT( ]J_%Y> Ԣ5Г8Hd[@iQvny˟}?evvlA$4!QrJj;tclފWi?·.]BYј} h)CC_$f!!7(- i\'U/ M3:fs%ujC4󠂍 E. *}Ii*A6sBfiKv-Pt6w*Gq-:JOLԀ4f:I7@~5ׁzߩP81J9mB!ycehRfJuspjT~kE")=M o|mF>}Yd:mb3xodF.aGUn(ܤT&s\m Ks3kcmeެ; (ciX D"c-/JjdeT APH ;_gj %<̠9;u]nƤyY \65Ag~+lq5 vrm9K2_ 2OGn}GRy %^#d0U&`eRHWTyzV ޷~;$BVbe8釂8.㋼[(l6h)k[@Z9S1-ǛaFA>cp_NJnCySf4S{&~]_LϠA9塼e~'؁X-v)t;*!/gYZ7zXZִF! |T]ŗXi%Eb9T&CSJp`J6ʣ_i0%Y*C.[?$XwVq1tO0|Z| JPνyEH,1?rcχh6w[pD)ʳP.97jMd5F`~Hxz&z{QUx4?O@9ݳ&ce9~Aa? 51nNKɰ \&%@;v(ytc]-H.reP>P2BY|ƹ㭍} w²)חt!:7(su|xf7{ԧeD볼-۽6z3۞}o <9ϲXN+׬ECR[asgaX5B`J fc A%)GSfX[$sA ?|^6̇!T_[K?tyZɪyzY6N$~UW5)z=0bWc v-0"Eջ/k|7eu%E}n@cnSf,C\Qxi $i#׌_K*'^'m YlE;Un̈, XŞ PKD_RU{ji~. 2Ŏ+~Scv>"ƕ:)gŜ<̯jȕ!S>c-RaS*U1G 1y[ e_3PS@H_^nL !K[o/&'X=\`Kԕ3P7*49@FsYP xfb5%ʬ!=rL^] W5d1= w]{klNk YgHYm{ሆ٣r}2X*#KU:r6];szF2G w^r^0I&̀&;dC2oMUXK<L?amhΉhc?Oi )C;yp8IadgΐɔdZ/DL/O2"lob/F1 yo;uy/>RD An[m}8(k?u^Ȳ/7w³kfe^r//p_P6s@s4Del['! Va16zpu)^"|M7ErYdL;C!*캱0w;/!=AMݻ|˳wFh׭<)M8fF i&碐9%` F+B(qʥ"=E b/tdymh1fh٢V 4|,M-cW ZZa\@i9o>0)-_m#oF%!@i.3 Iwp\n$`R70.\2кmFzfeIS+qs6 & 7m. -*B( xFz GO{ #Zwā`7c3v{ c-M;O[znku4q.3.Ïytl7*45I![uaP.vvYW>h- ~f|Ɇ٫/Ub/Wx}&y GgYCA iҡLZϬDѬ}ZIۣ5@@q]z,qFgy$I̘o\&o (ʀSq\HH28L>Y$Per)C_e*HwM%J@oukc=` JSeiF+]}b$k} ׫g+e.. $~,fy-_|Ft~D,p62 `j)b MDɓoČ/:%=1N+g9gqֶ1C" F Oyy(ȟ8En\JR$JT+KUk%z sZ3n$VN)~2'ߺp⊍<# R!f g%: M}XI{Q\_^_B}̲5gd_]M? ^ĩ PKjV-$ru ԦZ]M!0L;oOF?ql!d4iؤU`6Vl9NEk;$}NAb8;I.h\ILC);2hiy` RbZ %i?/k߿Lt ]J.7t}a87}h:I$c QOVT%]UюmŁ*>iПu! mڃ H-j;HriKkܫet䉔2D' / X|$K=JxdxQ\V)Φ E-obO$rT_>|jGc|?U8J,$b75wE,4&P5 rM2䬎9$pi4K֙еɣ >ݵN)Nֲ K͵H)Q)ɰV";fX|iCES}h?4qqF@G;/wU2gsT!b>~m%\l@o<WI2j" 'aB={h{mV3,/ !}[yS&|gh;[̚R9J}DkwM58.TyH1Ԡ2*HK]iNE :W9]a+ . EQI 3F}4TZYu> +B\`|YJ̷ uޱU[4`9,InSѝni(rdŚ1ZcYE@̯?e䔌{0V M`^ʥ)lUHhe.QN`ߧ<3ie-+ 0ZG4JeXmȐbٛk.MA) S4y9hQ(; grwR渂, u[=(vD_ UUfڔIS`<:5G^N[hh&rQ TήNɼX1@ Bb2sf@+A.7amW &di??yM)5 \I>W&O9p^*(҂l*Uc{%eB8$:iJ&)rjSt,K5s`3-A9 |a59rרǠ5N !IE1f HĦ ,c~c"9"`~\ yEށ_dN(g@JN5"C@|'*5:sqL=YZɍ}Y\j_V?3j| 4+Q(5ӝ#T>S'd@ yMnItOWv9ZLP?v hAH}=NTM$ifN#{lK}.i/U-XIBa2ipi ns{G)g;6TǰCN'Ҋ-!mТy_ V%w0}}X-]} i7>AB. n8enΔe1ᖩ)#j\}]|Ӝn sևK|V.ƅ|6xܧgUޭ5=B 1ŞsO@B /Uem'e&/֗PhajArOnP`y4k_~zKo7Zb?VOt"ᡕJNi"b/MUP@Opk =lLۡlxR~ɜH4E8H }pvASa3+=%P̈́'uLS>|$e$Vds2>_b!n m-%,HZN ԳE v.nFOA/ɨBAǑyvP~`P:BK+buX\Cfն>tVSF9yK )*FRהqZ\H?=7D-ɜA VʩG%q֡BqAw@$||d鯨O|tf+ ZB˥ddM ۘW!\2$+̍0yCߖ "4,As*ӕz(o?)^MM3~Mc)unq8x.Zva7E=ӱdN}6l&n2a'u]p/zEdpF#X='9Sv0厴$y!E֪ۗs) ق,`%3Pё)j:!@%C dGšdMI -/"Єl؄g͆ =۫V:3gH0`hf~|(Mg\mf^fQ6ɰ0zk[?aWgƎ:(U u,J k0ܽ<$}hG_.`{zB&adԍ"[ŋ*p~, Ahia3a-yP+oV/H98[h~?4d!둛ZB[SzUɊtnj]GcZyѼt&e~{wR $)b/j@Uu=<dHT& X\x`-HĘ, Pk<-^fBgpEØ( Pۂ:+yv9e9`LzԽ.X%Z'n'ѭtP)/2kxne O([^o療dG}8*pHKCAnJ]J9h{rqqN"jR@eٻ}Xr@[&4K wI#vnj]:BM PNQ9lna">e߆|ph 4e9iܡAQ(V GAqMa]`xد. f_vJ9ZMh &')+*'#(/EpCiv_ù 3M9ZlK}H5D: KN) sDBĉ8"d/#X(<DA~ʑ"isDț%   ȲWFlyor2_˙,t_CU*9ܽeQa7D5fmwգH8Ȣc~6'ZM^D*?- "Oz28nG6NMmOwǭ"E+> +oѷ`L\}Q#MOIY|!a`ﹾWTOaKlW(SN{`C⧔{\$A2Խ0%ũ f[ 1l"[8.sI]౭QE I;&C~Wxxs23ɤO?gnQ+3J`Xs91)ٲ|GQU8 0vɥF9T#~VahlLbb;'' X nkψrq2Zm Ūe,.U?4*zՒǣ#O("x}=[Tzj3$霌CՆTٷVV~e8\?޼`'BRpb0xFtIי/ (WMg.EhX4r5o77Kֳ`?8ދ389$)v)v\!Gȩ\ov"bJ_2l~צ;~F|(sXiR S{ EwG*J=KW;K@kՒdg{/ʋP{|Ae3 ,k' W-Gq߬ErrEUhx"bKGOEGWpd6xCŶ-⠽d/y1.ڊ+d'62貯~KZm,U. IX Hr>6h+8ѓ͙Sʱl[r#2ǁ>Dbscb΍[RL5*fVȭJ=~;T<S4B%f QGB)ˣÇ<ݍG u L(wIUiPPPH`?EZ:PYFENf-5-b7ojzrMq{NU7YI oQP,ehh]9 S3Uf|-ݩLr6gFruryiÀͷ{S N$kNnwzݛ#*ZyPsrhWŎݩX=PJ k0 [1w'?/;lT!Q'm/oru~!=ӹ}bDÅlS+Ǖ.Mn̥h]mZV}*X!*}:QzC4Qd 6VZK(9H7|٤b LF;ft[ 6SrTqZ9^JE-lyw#:U6JVMBbjr'Cg%ͼ<sgW$2J1gzi! R*j`H&&9.3 C, ? PC}Ojd/TS1_kȤP,E8T<ݔ8X;2a] LjOAY*m@Yu }tm})U{h\3&{ \Ls1@v4ſǤe'pb{o5*W&snI,c|K({+)enj ];BHfڨG|mJk`a-R@@qP֘gӥBHǖ]?q"}G@6YѪ+á_גmC|/6-HbZe!}9E{7G~xR3~qc D[rMaP Qh;KIG2jvZ=[پjCV`:wkN_`8yn(#4=:Q*2xe|p}JO?BT2ucdwV5dTu\EG}V+3iN?o6c_m{ ybmưW(fdjj/R6I琏 >uT8'XOƙ ™<| Ewo55O6 ^e|^vp 2e^%23} 36d܏Z%H:>3- ɑ o~Yz>@Ϧ֞iwGwv.A=OϸZ?>d.iO\ *O=P>&Ia:"g;kXZ ]E`ʈU$ȠfУab9Ñst'iHh8LԦ"&MzV(An(\n~HSzߐo7f}8f 3{od:;8!M &g(/uÎ5(Hx[p[DMOw9 :Ns z&HApYz}$6oXt2<3,v[x7o%ah6߰r:[Q{f1P$.8^_Ҡ83͕|!At4]Nt Y 6;0 3FZn g"t(I]rBtqzvJIJc {Vr[D;pyLZ"%5@N|^gr,˲dHrn' 3:"<<\_ N8noGV wHO)SU}_,O5]9j5\ k_tz<\ &'+]`2a|W/ʰ= $b? $ȡX1¹K r}Ϯ2s!)auHZUl)[3-96FA§r@Q04D=1Cqiƶ&ĔBFBbCŻo+cB ۢ]*:T&~ޏ8a\i\=t,@A ?cA[vGL/Vgu%ֱ[@$:Ws_6,"̓.,G EJGu}]q: }Bp9}O,-# ^<1TR >¨LXe^ akZ|kJm"´A %g60/y &u꜕ pn%ັneƨ[UX8glphHC@?b匜j1t|t=Ws>^O'0G ,ZX4%3/鋐9lzFC4e#32Wj"m5C"UgrzBX< ]Z^uF2|>AixS&poL]WPb[G}a"IJ.E7k#5dgo0c`C|<3 Of&$3]Xo[Wocz6jS@3(C` M SLP n|hDdFʩMFǂX䥭znt=JT Qq|qb̬KYETƶDQvmWIjX,(jLzWj9sEjW[{> P2 (t; {a/Ld, )ȋO0*VEm8z"}4FwIG<7;F>gKJ+楺V7>j,)'NxWHiQoSKw%1QWF!n1e]xO5Y"ě*g͢u 4:n#>3LTW)[^ ).nج*xo%r`mқ"u kݽ&?o^8FAuUGa+#&0yp b%9j&o1".)@z0/a e?Lo p E:듎t}Q<_ nYap]Yg)AҊ[F[bƚaoȽI z\XEGܮ)ɽBɡ*5I3 ")ck%oq7pB$i@sXN5eeH$(o_r]^7@g1AE.R,s F#??,q}>T:=S/UP 4XbwxF ύrsIDA;a r ~NOj^Ï.AtujY4껉zGP\Ku">ngR68;\wxe;~cӸPN?FMGXc4:|! d|~ߛZ W*ḙmSibckK% ODxqKS'NrC3^WSܥ,,SQ+h'5+1:'W㓔@gWGN.K>$]u}'L"jv U[= X:;Y2$!t^ fv au Hj G;оǃw]gY6MVe򴛓5E#5@ 6kc}1 T8Q3l* < ʑr:-PqYFVP~AN.&%'+{"z1vU}Lo ̚%LX 3urSlĻ &z,DM&cA7}b={ϓXeV^qQjK-fsQw01 \jiJ1[{ ؇9(+(ٱ6_pj=w20I%)^ kOpHc70.?ǴTneiCX x2oԚ~a`h %ֳ mrgA GN }_s7%Tn)J`Kx\m.!zvo > сP(iRk;Ԉ;1_@%6i+!'&BkB+ [)&'A#T Q._˽VmL'+]^ 1˃496SM4(*H:UUl]s;:I.WqUUFxsd/sD8}  [VJ~ {UHBVۓvX_ t M85ۙ[OWX /&`1'UGEuh3Uy?w.yD]hd ޽J.3B06K+qhbGf7EzC5iva"_ %d8/ h c Ҽ~F7XoImi.Xֱ5܄Լ.VeYG p /R9bBDDaC؜AĂ%ϒo$xSfLj:τ;ϝu, {+k0o*ſ6sY J7(kn,,f +}P݂әAՒ 9Zb f)($=$ 4'cz,E\(w hng1\x5 3nPZb|e06IM5TF:;bɊjg,J1b_ע_?I* %W@QOTZR[sfl)r:tY\;&!K}%y0zѠ;Q\AU](fR=Y}"8e$)*@W}j[) /=eKhN7BW9XƷ̻ Z* ^DFĵ~MI8u:)?jVoA8Ȩ# &ՠ̏O ބ'LY acPS ^f[r)T_H@\8jI`k*8׹C1K@Dw:c.s9Z]QWYe8iUzx R˙S5!r{REzlklg\y4*'ge@ \*l/0ӂEcDÅR1l3}P;u52\!Cq MDWwhR@e,*8"X&dUl)Ԇ[qT)wXJ,|֢\:%1k 4up 2>l hqmI{rRW9rմۀ_њߵԕїS&w~O;)UE*,\ Nbr']s "4<}Gqc zQq'(_tܫt |Ğ;# Ә&N;=(ɟJ=_Nq]] Rr$aH-`{1' Mb0W7F1 cp;@*YKERBI0xɃ NHg2l}쎷[ErW.c+a]֭ȈMKҜ-z:sW(4;0~V-4{9s£p:hh/hFA2,MoW~&axmֽFxՄ lz*uHA. 0;zg~?o |g 3deHC T7b[V޿ڔQ>c̢ S5*A9_@.?=H&Jm{.8bbpsF@ q.-ݑVlY+-Cb[0>Tu 5w>5ϗ?FU]5Ra*4wi | <Qj1`nְ ZCBµ?-RFGxYQ͇ tQHK ѩ):2x .X_Owy.Xjcs0 T]!{b/!x>D>w[0{**;̼ _|7C))_t =fqRg k|kC J߂ʕ#%wDO/7 !A'z`ɘ3FGE:˳0i>|z@ ]ɛ1@X}WRrA|޿=6$)p=v 9~6018<`O,|[rM gpR G=?9'{RvK948y\,iVgZ+J; j;ÂQNjPOI !{ C,? Po!IVA݋ _},*"5@/- svrWOI jG ΍:!H'e/"iV̱טv]NZ%ݓOy:eh&Tc75l~!*oar/f>iW@&S9{V,y6CSʢ2TCӖ[ cj43\C9#včYLy?JL7$Jj'rvEJy<7I|( btpcBcOr~H8#fI25sω%U ;,3,#aYj)F~}]ﰡsYWe"n,?$ ֝j+~gIC4ҝZ`M(pŦc1-N6yb;MTۥeD` iXIDeg 8_w]tՉE]m߆wu>ٞ".7Z~Sy[Fh6ȉ5WmK1rڰvlc^퇠Aؙ[ 0Ga8,iw& 3~ZwɚrԅљB1GHN<~FXar\p?