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 KK%ll ]]Echelon_Form:threads=4elapsed=332.757cpu=1088.000gc=114.888factor=3.277zXZִF! ৘G]ŗXf1-q恈͐7ӺV -fw0w]BjZjfէ]JUgǖfN&S6kS6TL9xaEFnSkteQڣ}7e?Mtih[.A#!dڪy*2]4߽WU=q>x&tN?ys"=-CEؔ0jUmۇe[(^DgЯ=[uX(Td /_r;H7R9]CN(c{?fFTJfzs՛~>,e y HQd㰟4LQQH) \a.FcIL3XWm84@K1.%ޛ`OgN%P+,ZؓcYVF3W\7p$y9_f-<(}Ҵߨ#.m:Osve٬Yi#~Xɶ@ 4G!."+| *3&(IB9q9'|mI: ,TEM=2܏9π9'CGًtA*\lRO"{7M9AP1YQFY^j|u.ڭ3aªM>k³mR?sGbcZܬ1^zO`p%L{߱(ō<=2dX bչ_+?KmZi?;:FQJmOH7r$,Rzb]'Av ĕp{H8`ux/ywEUw^ HU{U4.A;A]66?IQW-\daqvsL=5B?CqDLMg ړuhm OL‡p^%϶ -uM dIOګd`8;/}?륟V 1 !xz"eɏ-J&2(P-M1^K\MJ0_3 td1ƜS>' }&(,:䪀j=bDGM-=-8 z:ZSǗ?C[/4͇sTa{,UrO2y_dMr:6ggd0Vw bvZz/Aqt'޼=3YwE#$Tp<Oɟ'7KNj!X(̙YY=5*GwoQ\_=*Vu /,E _ק"yUX|\,ch{ەQoQ-Al~\Y+@ =DB KW:ުg7и&1 Zh'nn^P{{bM%%*!Ht!H -ԉ$Bomї@kK=.ٜzP 7bK-)}6E\_$/c<ֱ kS.r/usY+3#lx,I'0RJH|2M.D q j$+D;uDŽ->Bne =G?UG֪D(ƿԲ6{XLX?lL\tm*[ϲf^{(EMYVL_ЛWHG7ԇHnw&Lc}\3a'[|%.Y'#xYN@%<,R <:o V>gtX. kRusZba)#tV151^OTI}C2c``nL扛BW g0=8.{XY '*7gף'Rd2| Y=ĄCr)]U^iB@;}`#̂7 <$sꢆ*tWxtv[f-,#.1`M s~F ¸M>B^C\PqrYIU֗?$.}ͽ˅&挢T;T^yzƭ}cQF3^<Gf+eyc- ~ĸ=JAJy/a6II_{7-Xn@%L1qz E?Cݺ'!F7 Nۿq-+1fd)K\WW䘶φꞭ)|sQ>n+i**x]wf. ι22= i2𽏓?t\](h#q@`k NP(cB#l[e.ED % 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 XɑL๐m@bjXzuN}?6FlaQ|p1c| %K7obChx?NO[H_)D.P=Ah:$87vG(\ Y)Y <,R5NџMF__FR"Be,Ch_]*5Lpzb \$MS "2nVW9]4hr- f'ln|p xnjǝ*k 7JHUw67 *tW\ɥvax;S0)šfEcE83h h3+qAP""6TB:! U. Jae)Dþbmm xzlNqi`j1EՅZcm|ߒP^'N>e|m .7x(7CufArJmjX*asaq$DuFyYN S?<6m.mqLLѰ#$0[R7 b?gBs}AC$쬲1*z9 ( պwC- %ղ jҁQ@<fltuʓhdyI,v<&)2/dWVw4Yk+D ";1T9u, ֛!3 ({Oxm'z,Zxh6,7 (}"Εh0FXWhM.&;~oj%fh.YZRw ::@sL@w.C$38Vo g$u*͸xr>PP\ sG86@#j 䩐H˓,&$ ,( k;#d~F8:ڒ'?O ç/g©RTk%V/DU5>hF ͡VP< _z"D $gYZ7zXZִF! ]ŗXiɟ1˦r+g'Dgr>{pNa5RJ)HTRYA`m_j0 MTi_U)n|<`L[jƐ02X1^ G~t: C̭̽t\h/Ȼ˧L_SEJ ZPZ” 2ve-(x{[g8c^xZ͓A@7[J. NS07B |7X‘^mU@Ci-CxNm~l_ws l$'Sx@9D+fwl^iaX{栱@m/w赩k _-^q'nS8ۣ#kj.nJ5JY+D&T|Ж#b5]gjpZյG1?XQ,*~uv!cs[ X`&^n39[&ٷ\[0bvDtp]W~r~M'®)nMMf 7A$P"G`Fͽ[˜~| 'y#-7)uȁTP oΌC`?9}@[e8d*=ˆˑ< qnmm%8zzy&g1nl52-0׍>[T%K wUCݨ*lY,X3<1S1lqیŵ,eCSwc2r- $q}Fj`g}e# T6__P#h"f|l=T/2s i" 6zd+S*=D"~6hNpF%V}~ R0%E$̦ jiɆ ,H>:Eu*(w 9â-۠7Wm0*M@4ӕau;`ip瀩'q-(vW*; ǀ4Mİ-&9BLµ`! pgYZ7zXZִF! xVp]ŗXi%G}7FTފ e,mevБ^,p X]H˕aw`_z\waቫ.~X :!$jb{MDž+C\ ܺNھm8$RPF7ӄNr% dܷc/v`zN*;J죖C~ F‡]:Τ7SVx3B1I' 1ДQt*IW}WZ9zƦOh/-:* 7Y|gDs]1I)`3xe_Kߍ*UviӅxdEOLcvPKr0ll*dЉxNiK9bGW;&lT}wc"g4סLhP?<h)ObJflu_6jPZ`ڠɧD+<,DMbLM qeLyVbp#$oNt'f5 _\o" k Cic`#鷌/_+di[8Q#DF׊E[X]m gnwI*S #+ZrirH=5oDC@A'rIT$=Wz#d}&-bY,ɼw$ e]oMb-c]XsDoQ/ L>?I2Ag>$PM<]t3Rdiw;?5A#F}/G{-ʯEꨳ>gqP8O w} $gO%oq!yi;/R_} \-c<f9Xz!trc?[l/8KFM M= ynN22s3BrBe\P@f9QkN7/*3U2%?J8< 1 mks/}0Mz xWu({?+J0K@z"y18%k; p4RʏB5{M~mt?yc ~{x ˣiCc> eE[Yu̷%LE]w0. ҉^ RíxFhG*faJ&ԫ&^S~?RxW)lB9du._LԚi 9}䵾]k4Zyp/i0KSBcS#"` #P/YzaBAPX NF!![ 8,'|J$vxWK(p#~-XHԇ{ЇgVҤgNvn*􆳑'Vfm49r(>7B[tFMU: W:oK&ʰd_TD5DT00c3Q sM^2p􁋲qdw+cDAۤr.`n|SLh9a]P눑eU?߈l8Oy~4 RƢ ғٻjݍ$?E gvk$:C[ip.F$ xau=˷J7'#5$S(A) HeC K0IkjEUz; O{itW*J(;1gpITr əu`Qj"ϯZǠkk( Vy<%feK4/`_<_nnC1e`G )A:ѓzT+ιb>چV$BIO "PEB>ꐜ|XrWZZ+KO CJ0|<@vE/\5j^X/b} G}*̼2C*'q[@gkCEiCb$-۶XM_HM4m+ڰ-Ұ%@ݠhO͙G>a[,֎J+BJ[lM87;@|tI#Ur"4Q ç$XTtl) cL zH?_05׉ZAPX*0([̠5MbLPl8_WYY=reeS|."yMRW~ky/#Npc3M:\wx<'*eʕU' hC%G!h#7V`~+t-BAo}hiϭ 1KíScJo}e .o2bR3|&\kG76EI\ Kv91v(9o 52'ՉP̴a7~c콞f/ݒӼ4r?X:TX:NtcLgDIN~o (V2!7 Aۆ~|H{--o6zU : IFfN܆%4aSJ]pbڨoŴ[mPXhv+-*~#uϾT6R E<H'6lj# 8+L~rkt$jk>P+,\LzWH<5p{،N&೛FaD}=NJJߥG+@U߯P6f+z%V4b>Lp9uInQcEk@k2=SeoɁ{77߁Y5܂[Gއh@X{ͯJU?id]ȟYf!ub'p}'*dg (X"CaBC=C~Q灟d!0Dn =|0kiAov;U+>RH[ HcZy~M.b녕)X؍# ?2]f _2.0J"&`6ŵV}cX/QjEĭtZWew m l'w'",aJ^;ZxH{}ɚΦE[gZQKvQrl 81夿Φxho&α*=64=TV80}_xg~?*H3fQc ES|a_cIcxzq%iߝ>JhQ#ݬ{J gy>l_9νImYrƕ½Dm\z6λVsgFdr$e⬴}O>p^1~S:@J_Ϭw2*:V ?3)F1:Ak6 ^6Sc$@+B|)Pݟcm? cY45֔S;Ժe=:+|ևAqX3Yjq! v (}71 Uwy-HBx>p~Nɏ ]H}u%fHK]\c_N}&z"4O~K7qsʔ{ QHtzDeY0~wFhD\V!:PR ,3X\Qp&PS(u\_wKrcN sGpUY(LCc^iOX@MPܷ)\Yis,`%ia1@7đ0LGk{FCio\>o5! .ؖF`@:n؎Rdzi:t:d&shN| CTqZµ+kو=+Szb!PhÝ&ies#GK7g4 yul7A*~S04)njqu|늻*0oIhnͫ{USJbHP>|B6 -GFx<a07;}=ؐOvʦKl]`z80.DkG.K5Ld?Ѳtu-@;:z&fciSK 4 /8?x"'VޅOdC%Ͼ^zQbܙCלaSVɱkFLu'iyWj<4'㋮UW3V,'8R[`C&hӬ M1ihB/(X\g$E] ?U?آH?b]#8?cLʨB9oY[P8}CP`j RMێNj&g"Z0 ;5؃(4#AP᭳:gG-w&T}tf29;2)_mvHpAR&hJ5n0yءoCdbJF);rdf WI#P1Iq%Hϫvyצ{g*!Yx[aZz0YbԴhdm4+:1Mr@qG c$wJr*E0 waO>. 2݆< _0hR=FX'&)h_]6`y8".tAӳ!RAe 僆:iTĮ;e?ei.P67(B?^+Rؤ ~wH MX?8~Y/NaiI9n_{< T RZ?*KCƥE6!\GZqG댷g-\Z V=zvy To$VX]vv7IWg@4:<])>/~$䀋8h0s#yIoF˞JCM?K-]x tbzSſb{8]/.F 7}4cw`2U;J(Wo=ȻkWˁ`6dE;2GA@1SSBJbvD~m%icg.D ٦jeAA2Cs=ceR򅷓Z;Jb6uy]qCf]ppI>bh=zec)xʜ}#ğDqh \ljN En}ƌFReb$}Ka 2LeG⽨щ@&jqn[ (${=|Ё zKD[#X͘ tۼ!kW>-YX\6O vؼMup,J-qZ/P L)`^ E#"L*3魚o& tǵtW֩=ʒa:ڤ_v,Дa`ڕKo٢ߩ4 CDC2Z΄ 6ƁGJ8G 퀢+ Zo8Aiݹu# Ţr٩ ޷PǓv+SL" :{w^K 0ʴ,%4?JyQ ZE{5t^~/J&ЎJjU%$i/r̐zdΌk㡻qua+ ^4.R:N3,d $xuh26&:=3ƣnr#+ٲ(?pij.fb{@_=?dxM™ a@s ez8-jT^YD+v9}Y!Ώ#x w}|j$Ϊ!nLJQdZ7 tOa&?hQ%"/)z R ?9 j /u0eY\s^"LT$EsӫҎ5[f0j4zCb$g41-a&`x]asLað/ {S" XI4~3 /AoOi6$Iig-fQ5C@`$U8 &m.f " 6?t8)n޼ ωPE IŜa}0~| ke%0mNrڒ >Ek^R&[9TWVD|c T=4JrXDmH/ 3*_V6jz.hSK +M5V|zxpl^psPPUiW A+Pݯ x{ˢ o}x ^H!> :&{z4~]d*V?'bveF ;I9sPl>ԕ\&ՄR ?6u[tЎ1^~ԒLP{R"9YW RҖ:F:FaiTU^S_ wgWvDhN1 3}mwBMDB_<ړx6-Uy#kvjw;'&2۪$۷A0[fMo0f]ǝN(ynƗ6ԼdOgKx`x<{l0pAYASܟ*ʃ;dq+{qZ"{Qל?5s#9B  r~5ַR;Y+ֺ,8ҺX 3-WMSLv|nozf7;. ^E0 m)mzVH7MX!" J*1@DE]YsxJcw,^MjRE)F3nl= /d[g25&ܻ\?gfq{F-U>(+짆 qIN[#_)ܫ :!"X"Qss-9iXwqSs~VDـWtbNĭ< 8UۼlV8dpUk$.=_2Y8omLēzKlG=-VjE 3C);bN_J)Wb|N'9,$90"T\#  V0bG@)|bnR\W1>EI3eRk#`hV42I&~ʚ$0[;'+w+҉4KoVbs"JuW1 NUv8V۸IJbH7%{)@p (  !Y6J2{@/|}iV7hjUnT.0L#NWPhn4qAhdaX%_c?Rs0W@Ku3ŏ+mG0z`E(ԩ.@2gAۣjEȔ$|7qS( @]Y{pqԺr{'"b" z} ȣ?VhT7(HKĎb|m:/ U'V:v흾~pkk6^h ph;]4_-+nZj:V軥ui??Uuo )!Çi+L=aB/Vj@4]7JRkvbzFP',=29aaJVۓ~J &k`f+',d@SpiU€!T`Ku֖]09^Xҝ5NČ@7H?ȁu_m4 QŨ/Ϫɲxp *~;%f sjO@rLIE$ G1ob.pFa˜tr-=MʿנD|Ǽ;{UAl̯ tڮ4-eQlŋOeEu?Yb[{m ՗,vOI7m@)I.u86q)>8QFݹŬZˬ 2플%  Hc Y ] dO굺~@PIiK@Ϸ] iCVqL?j``t{Jn5Yņro,\G?mСa"wdIgsbeȽ97zpmC=[;:=hF4GX>;]goOW`| i3 N0蘃(Vma"<:`b Y2T\evSu(ISL:%ˇtB%Ed8DvIB!מ6qy>JtL~^(GU̿ѺH%mÀYZ۷/rѷXƏ fHJQ4x|R2]iX$͒bJƽ?u MAʤBߪM6Ĺ/ٓ?eUXH6MozBX"s@8U9\qal7RuFXnT>K,KV5m)E-D]"Yw"Y]+4F9ZTMi572ا:T))*o~w,z[PqA 6ӌ|tݶ=uzrT*h?uØPu^:m_*׻uŪ́>%Փs} L\ku zlG4H.sHmр#+tVn’5Xkcޤ:Y' xqɢ:k9+}_85xϚ1<)MF|֣1 ;/q̥zYFf@0^S%gXKok6*f |mNRq MsXQ4Cy}-ǞM{ɞjU9/srӑr`@Ԅ^{ӗw1r%2B25qeΩ$FV#>Edzm/A8j*“x\ @m逕'sz6Cf&ha!%PPMfYGG_'c#v@R9c\I+S/3E\o5;^ݑuݏ&^I$_5W)a&?8)0IޓSQM3Хָ)N; 94,&nab##e,"  -ۧoT ./oAn`ݛZ~K~KX6M' H׳ o]e@ԛo+9?8gI&[xqjafgk(#in~J5X#XZ!Ȱ=-fm-l>i9(]M Z3:.0D[ "WG I6!Z\L76="Mrߒ 8թ\¾XS8,5Pu:ЎrHw# F+]q0pjzS&th֥CJ$j `DbVQ3Cc@8T5!-xUrVZvMHB%ZzǨ-}vnVξ$$hTܔnw?R A!ɳm~9 zg*ۋIh˜!SEK.pL[0cvKADF-L ť)l"zs Ä|n-,!C8*އt$CtoD"*ǛE'#->pGJv4 gIV6hzrŽ+j t[X.{;ҚK4.J_>L`.$֭Ƙ@u60(^u-1Q %<8-nAڐ$HN3#Qlr8YhEwpRhy=YQ I(Q;y7Thyhz3/(T1iMvO3/:{%hL+v;)ʏVbo2gtA(udae[‹! ϲ@,Ʌܟ~P%Ow n14Q/ MnBxeflj6M5ըA+igf"בDzuԟݤ5J q pe;h?AВ _ɤDs2/'Z]ITv)72nf3ӅX&OgliƀOUxFUBiN6jʡ%,>!Es'k0]-)jb4^?RawL" oFAvǮiӒYsKxD.J` l~d_EPv&0CSHq0S(IN,tbH՞$PuI>5:ee.aw[/2@]{ܪ`kIׅ#Ihv *oq٥I|R4fzu6`$,?Y:1SF֞C2#K< !',՘T9RcgJC8iڠ ڊM )^ݓ<:{(aCҵ9QY쇴 S9DjX-XpJKnܭx|aG5dE [UyAb0_,|/(<ՋEaAN7Vd :ET+\Ff)3a𖊱t1„wRpK*KH+irW&glK6X;-ֳ0b%CI|iO96> ȃ Rע(@z 1Ƥ;tuz!3S5Е;ҹ. GsAo*&~4W[FBgKQ6&GKPQWT<^o2h |{([/<BqvCRwKJ/OȲ8ld<. #&HOGR/^!_vb/q|~dew9?g %vDQ0RYF3z5ف d(Ǵ8[~'z)Մ1+!RE=04EC >5fS%QTVZE//ho>ey>NAR/zF0"?i/{Ggt2 Ŧ_Blƈͪ[sy#_N+٪^@*no i$^u$eae3 OXmM1RՑV{?ČMͷ$)sf ,FxP` S Oj*/V9 :7:54̠Њ 1#StldP͒k# s81{mV,6_r cB2Si}t(fxﳎ7S|g! ӿiг{. _8LtPaJ3^]D?暁5]fVqf50&-ƆG&55usxkƍEc='LxQ>/^8j: GN[~j 8r>_W`G07.yJu}#"B)'2I">%~eb#w\vsD^ JzO¡h(avaPWՉ>N`sѧp,Z{õG 2}bL!O,Dـ%5|X̴G`Ua@MV96nN/#O8wi v`k=թ\O]TSS t>8:7޷E:-kG%Np/,21YRYɇHRW7%Hj}6JouM~ =[o8]WL16ɹه`K5C]`U]y- !7fOkݚ-{" /m4l53|$?,`{[=07j-pFg(TsN90ik Jڂ"3xD Jo`'ӾC2 !ZfҮÜBe g#v`L%(݄Z~L\t=?j #{䕎`뽄J=v샊_M3KՏ-yM߃/w䟓RLEEj;ȎfxQtBS+;0O?!mlz2Yajjbr*&I(&7u(mNgW=B Sulzo.h[q ^3LM 褞ɱ0 Y\‡r,g R&ϝJyaQ qAtgxnX"E],hv$޳;ԅT>:Wזi%G V?Zclk[bz1H1;Fl5csޣb .ohNT􄯻 ŪA}JIUS7s"l<}=/BYwS#-&RzZKyX帘-~|X)"}]Oh%g=]mϑ)LP=<]%vG#qfJ%4&Jqpm -VYtIKG#\ydm_&Q4O1Lgc`Y )kEq|vƣ[X]P+9#i[J>`9wM;NO#]<;폾.9XN ! vPkddR+n- &Z9uѐP?6NCq}:+>R+a uq Nz 5r8-lw\hНEC˂ZxmuwϜOl=*2<& Ow)77ZI9fqR$Z1z%{JvS4 S+d,T?>7dd7MO*^DUw;nhUk@'ipAžwV=7k[Z WPǓw<α!_oyҡ#2AylEz v:;2!Fy[ gRo5h|p"CR8ÜguQ)A^ GhKͶϖ%IX%ܐA|a5G;l$ү}M[,$PBG/wO/žB$jX:Uc(5 NOBrQFB!gi=پأe;1S[YO4{vIqJY,?im11rSk \PmbX醕2`D̦U7`#$6d\(gJu<w?cbiCe9ٿ)gV;do@C7هϢ;<* Q[l{NCbJQr<})bVWɴ&FA]=p}0I H5¤j'!/T&C;oJP&h&ty֓e`Y m;C{Gqᙄ/B{ %b?T M t07%=DlY½TVp3Ոߠ |0^ou{$|>)ՆVQ/Y18g"TًOUP!GӤdiT8#p+|膨r Y/;sb)SPD~綸Tr˗VZSmBQg{-X/aQG^1+_X}* GmY57w0ծ1q$XO's8?lܦJw]Ho/ yKA 6> u.*W^pP"T5rփ^*խjTo дvN_BNsT3uX ׮o856xh3;bzR&AR PWo` K)/4)%p/j `_c~Qܷ_XeDɓW%(žl`MCj ojzNkcQz:ݝ0j7&FO8B+Ddy"+y?SOJl1_e_5s_Uʶ jh3&\/LvGe|6)iEÞ9iM8 BtL)S6] rdەQF_mo+衙+\o.DU )bPL r/Fy mє+8^ 8lgB0 U%ԃ w#1yfե:5tYtxNXfN$H^,OJa c{jT\t`2:6Q}^4C|qJo)bçaLYYz[lY\@Z FK~c=٭;I &tSrbRoQ590'!̜*uF]! ]e=8i5=d `eXnsl(#ȽKz(*D,t$tW!^fVTciԤWܖ. IA_} H|}9F3PGGt5ܜq74vyya6o)% ".~eĶ7F*3pn:Y̱&{t*`II+%IpST c{ p+$YF~-F,F P\i[i`$`ϔ:aG/xtļ@L}d!=J1> q-5&e6#4QRs=Oe?W&dvH=^Q+=f8. &˯B$MCrUbSwmZ{\_c kA\1dlD$Cpuő s3@A5Za,%$Au҆V{I{P\HsȪHuMmԴH7M!Q;}篨־A,cMl!&œ~ G&y$q%V%l]ѕoJ^+2W;Dar`e WFt.WA~?FEdNBk au4#jm5 } ^yJA7#{ZFho2w!!v=$ %C4 YXwAՃNe~ZIa#K 0<)sePxh"7^z϶ zDq,O[C\ZS;,-5o7dmO{p?bRM+ Y;3$g9&}Ig!\6HZ%P`@f!<`%|G^sRe$ך(4P%Hp<%Z坆PNl4R4޷S$ܦ99)ګڇKi D*x*%G|dxaC͕tR5#h,i } t둅QRe+{Oد"=C ôoLZRNVvkP)VeVf M"<>_z7 x%\˕W3<ȶa}l!Jud@HdCЏn:)5FL㓪aF\nY1E@fiDK&l~Щ4t:o 7^"fj?p}UHSڀ Z"H;9+똧 J^AklU~"Qu84 )3@5n\ MgHD/d`NhaN`n_&M&ݔU _,cJk7*7V/ =/z;iu{ 1}&MA%\CdR G _1خ(;_Yw5H,3|gW?4d"HC=8})]w^_!1(JFa=}wg՗LCN{l6r%~nrr1?p5eA8TP**E Sȩ8#F_Fse.8 o6O ){ko#99\=.C!=G<#TS~ ܜa&B - N3Тjt0U X\ Tn[cOk.q 7̜pF&u|z-X퍏W7 |}zXChچĴ;G h4O\s BduA$͖䰡yvDsBK ydC:ֳͿ-x) k81wuHj&(  &# *:#?"'Hkm ۀ_mߋ^} YE+/>A2 *BvxXv'og%ͶݤʭۇS$c >{Cǹȷ XHt3Sc0x@lw2CZw.#N'v7h $Ex!u|l4vOZMfV%xtM [Cіě A<ٕΡj tA`'e[~p-E\mTC., "|Mٮᘋdo+TEoB&KI"f؟[?;b~ީ:fS%'3@"gYZb32a98061fa8e0dd50e9bba161108fd3cc3b17d778a79cd9fdc2a13431ba56bd0a48c2d53a6a6920 db0b9f381bf5e847e834c0dde3ed15877688cc59 c8db6564a7ffaed04f8e9e08ffcc3e87fdd94065b62d92025fdf8e4d6bf8db56289d14cdaebb9419