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 E% D ]]Echelon_Form:threads=4elapsed=337.572cpu=1067.104gc=115.168factor=3.167zXZִF! z]ŗXf1-q恈aldC>14aUV#/|) jUe!HpcxQ:AbtjE&zY- 1z V}f¥mB~f0qW}AFh6(*2 jHPf[xDE|B(uۋMԵHs?͍T(@%{erCG̣f]C t0QiK+ ,w uʈwҙ7SOj'z.#9X@%+TRk"J!Ώ e2kJB@_ \THA6A1I_w&'t7ޚ=WqOοAJii(GWa2; k4!eh>rԾ~p6P'?ar?Cw"G ?={} h\,S-4S^a:Q(\?Kp̬7'20nL_8LϹ@Vxb΂9\=ߟܩap#?zsJA#j e9;KwDܝ*È[k7 ೀdq_ }CM<>{kv4c [F<qXh//,Ưމit"dC@vo5iHj(V1)n?ukUcZ!}ɨtxbUv׽ݣi-b&4ER 1d !grQ;_ >M7K5#"\]s1s8Im+*fA0वSSwO?܈bco:n2T dՀHa1$(~ũ̃e;mƗőᢜᗖu<1HoZ~M߅b"h챢,@,;uVZ!WÂeSPe$4Ģ8Eɍ=ܒ s0-o%UqFHP+a%iw}R*\Q M"ṴQZJփ ;񎬩۴kC,EBQa|{/9"DC^bjR`b-d鷧Pi4߲4\*?qwJ?O1KHP!P_XK A8 qJ|xLɿ*ٕXgRiB-Yxs, P%!K8*"Q(楃ow$jDɶڰʡAؘ *< $wd֠B ~{Fġlâ]E~:;GBgx W\K՗?_{% lIJZ:Hx sQVz!X2" B56{SAJ2,}["\񜴎4 1lES7\Ze d o+;wKZUen"C']ퟞNs|qdiƕP>X JMﺌ!(Dh% L!un!6(_೑58$W)L)(*~AZ3XRkeʵ&ܡ(AJC/,9AރR R~V(—ZR|EJn¨g 1,]+G[=̴IJm%c?-2N+O X7~iC"An*!s ]k[ys& o45umI Za e|$'2}[ $n9&UxNm3g^',d*fNl*$ae+.NvuoMĨaǩRt?w.?ˮ#ybکMJl&P:‘=6Rc*DYԘ h1;hs_>CSbޚΝ!&+:OKӰ#ùx}""APmƩm A<i8CjZ;Tj&~FeZ>U΢b"Ң\7n,G8_|+K5SE5YM0ۜӄa1,ࠤXZV 5Ƨz^j%OVТ*#~ <1SuLإ9~vi= o'qL9_.e{c$V̞\U3+_F[0YEiO>``nrK-l:z'j`'pSC;,`vL[J#B?e y zZasP##<by`Pi>H̳cY2I+ih86 Meƹz{Y¯-d7Za+u#XPi"'P)S{ܵ6j v^LjpX*(Y|cLbWSΧOqdI.Q"ȵ{v\lDE FM?Y7S@`T( Y| ?"h$]V?7\0""B 8xgտ%|ْ%R̅i'T.ĸo5@=' rBVu?n7lZV㐒Bt ALbwW]5/祿E(j['U;SHsUūV`Hd+۳r0/:Z?olAU{D|KJ} D>CѳwhGJ͓rAx2ګaαP[HW]XsDۙHTc#v?``{DjjH'J$ar{R϶G`2 w^4F;[U bT:hٔ'-~Tߑ'Rg&ErC sa2ǚmsD[#ǜ˚:̚ D~C@q/VS&[fs|>-q9Grj&Ʌ͒2!s-M,x y_vHkUG}Y -fنj\k뫺UB % 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 e]uqV\M@q2Z?OQ}ƀg4:ovIs,_vv`ю퍝;Ye. (ݚS_|aKqqͳC{$ߕyb/x2b(4Ύ?sFk*''] %G,r׵[ hny|V(&hxr0}pH5z섒.)7}t1.}ʻ3'_oq0pVڼ+):EX`+gBc d~MsRpHO}~DCl{ηTu/YS,ǣUpW1Oz:ͅmeIE7I ,b#z!2WM4uf]>]Ja9`UɾD_[$}^B@  xŨ\S9UV]{sfBgQ}KNF }z@qv$ tI@ZAX,'aɴ[B9›Znå[U}%|8fjF Ļ$ۈM}eq<4<޾)1VMeN*RW/6 *=J _B@ϒTXHCp'wK!򍦱gYZ7zXZִF! ]ŗXiɟ1˦r+g'Dgr>{pNa5R]>/& ŕhS$jYfHEG@LcޤƿTo!`}{;_\MjRX3J( @(ƛ>JG16<=Cbė"3]Yy-LJ 2*-4YJYT 5_c|מG?_.yonufT …;|gqZPELo7^nZcI4lBTr,|\i~:9Ui  m'ӳLړ&3SXy~J,WX)+%N[q=*2wL.Ý6cb'Dϟ'@i\'▆تsSDHࡋGlS?-P ,H/ OD6/q7W'> )UV/F.^?bk֟ڷG{6W?`"ѳӧS]Qu~A, W#e?zBp!XIgYZ7zXZִF! lsW]ŗXi%Ge&tWNrjQU]A ix@b):WFd_5>8g' daofϥpS:ڟӔx`w ӝO`tP/G[j)Jl1w*3A&"]5EXcU1kaOoaQMRc~anټsH̯;(0>Ệ/pO Wu;!UBTJUԃAGWeSOSn*wVC!Qalt:@*zYMxGc[d%|i#JV[/L g@ N[ia#gȐPI*N`E2yBܗ.ΒEyw=&CdTt\_$I8;hb~Sܙ5vfR6ӸSY[MҺW6|%3iB:ti,{ ~ N_MB2U$" U{Tt`"MLMRTbtB;Tc,= pP,lQ\/' t] ۰LsCHrٛ; /'ןs0.R ت(@Z)w=-q-afdUbnw\Oęg_j6_٠/+}v;~cք;wM2l辰Fȯ.iZ9J!̉}:L,+ LR 4뷒v{ A憒p %A#%û:6xR+|pg,Nz${Yp$H[l׉{P\}-;[?C.ɣ+#%_:OT&񤤶ƉAX)œzy} " ODk(JZcS,8`|DR>pPPRF瞽Uj3( LZᤏk fqo߷P䜍%Ri06d蠭U#h8 Q3;Tmnp %l1q |qXzDfl^KDR=қwQK qpZE%dVQ<tؓN甚%PFɺ\Y[vo4Rν\)Wk73o>nSD0 n] 4-k1˭p#NW>;@KM `*sM2+@Wf=5kq-I*Lzo#;X P>R{kWOy$e1Bi4*fi*K \W폵l0v(X v@ѨD/u-asu`uȎ:^1"{D!ňEY.cfloUl:\ѯJkL*;tB~mاs2-43f"F gJ֙^@k_ԽP!ϐ,p N@2q,^W};b+N MD6kukY> !//ce.5=,MjR >0uMEB}knyYg5# Ѝ& 8űQME]V`OyѢ"ni#O(  :e-*5M*Ad'k$\vn׌c8Ey ufmڙ|/D o~ bIHu7e5#*%Z{btz9u4.3Lೣ '0M6gfFD > ݿ+?͖t|9UT.P{uhqC}Н˳ӇQ7<`/<--€!fCl{" *On87&ۘeJ2&/&9 ppYU!5Jw PO!J&!Ue-S88[b&fXduuI0.) 'w޺/jpL˜N% u:V]cG& ;"zt &^k^ DtyC89HMr=ӏ1@x$J8PͰ8 3S4{myXۤrQHcHDz1{ޔ,hD~D$0X6PӾXW]e\ʠM \MD@6H5xFPk0؏RlPQqQ8y S:Xի'CnрRK"ָ_ob>/ŋ/f:.;@&sB;+3bɡ2m 2Ira܇ܪ#1Ӏ3m{'7Rq?.6NC+;(Cswֻ*y(+6ǧ""8gA!P9ƵyF\#X },FcspR*S"Me"\d7!xoqImǁ@W\VyY~-=;^vskĆal8yx»I&/FQJ;%§o;40dioԩ%}s%\<ӘHo"cor?[?u'w&|ڵ8f{g:%A-ăU4!t6ue`,-;᥅lF~4RIԹRy%X&IS+$A~4O`;8vF:Qwq\H*坤OцF??kSQԨp-t6f[:ixIa럱U'qPeGiR_}mg>T|}zI^԰ErCW sSɷn,CVY!`S>\Hlz>9~Yq) #NWrYFh'i&ٰ~xc7uŸke a8bGt\OP 6 >B] 2H9g06ROyGȷ<匂a-v4!mtr*MZpHQL݅' úɏ X E,-#q­wqh;E{gͬ4=\r6C{'Vck/Qh`eȭ5 [M㼦5f^C-99z!ƽ3:- Ϙ*R.X&KL~v(`|%/&X*H$H{uEdu-rp4.rGUr|C"q\Zٺһet['c07<6zC6ZrRaU;ikBSb(x AwHs ZB,F l߅ʢzAF KN7aKAa}5|#@D{<[0@&ryYp}jN .Prr 8={ .52zeUI[cȟm":ÿOD}|g''b?Ø]*m>]0fVhЄ7%ҚHҪB ^r@EI^4[DՔۀۡ7ءG2aMv:-V.dMK ;M%~!,:M=%,WćѬ{ eਮT^L];j~Ê0?u=O!4dVȮV1B|^农?rk)V׮]'XDŽxʀ)죗v$OY+. aRRq D/mIw HN$cچ U 6ow>Ak{>V D~f50^C~HI7 +:5ԩ^@{6RttRЀ?Y,țݭt.wym6,3]JdX?@k6UǁtҁpS) ].Vn7|Hci1Σfk૒‘$gdMp Hr>]ϱIәF(4=2k =ջ䄓? FlYe05U$P5},i+-zQ7IzVE>k+he5;¡q!pus㻫Y|W[ghk߇pcL,?8;XXpdI까E+,?Ϧ?tI +DVs*15G;e\q]CF#8El1lՇqjCIgY'ens)Fq%)CArPО1FTwHJp-{ |$P"3Y&h46ϗ)|#rȮǶbY(9pG"H't9F@VO/7b<"9(F93q15b[Sxd7d]Q\{ kԈ>[EvO._7@;b\6 E"uo7tr2%7YbiEP4{.u겋rac<;uK(ko -zHCHA[nàyM!n`xIY9iǏ.wpUsL Xc"25cYk*hsrPk쮸54b x;hDq9(b)ѓ-{r8ݟvkA 2m¯;B n8VR`SXMٕ%ǥ;7W&*?bPMlfXl[" qILH@^IUGԔ)`N|Wi?\jC&EBqےcCD`7ԧRJXE-ā÷.vQ UFJi] N/:)]Rϊq|⦖JTEyx"¢f|хIY rU j*quyQPBz`CD kØᵂu3l߹}Qzϵs ;K8ŗl$:!eU{|%YL.W#]lGc H9M*OcmuImKg#._w+k"/0v2?KVCeM r"6)ooN=If-NJp R$^Sp]r>0,M=oz[A<1(Б>^_Kp$UERkVjnXwybfaď z{HS﹄ ޽;ijW 3kk8<_%u#z }Hގ(hqOnꩆ-(*5jJ̿FY1mB%tmk R zq vSU¹15Czw<ٓF]JZs(MW^2uVPofznP 5}{*;$TRfI8 j :iPѿqҤJZxH hDڈϭ35&0x-p{c͜Z52{,w>L/^y Iݼ#Gk˭?q]oṈ0Sb)լ )כu<B>^' Nݍ2Yj^S4ghD/8vp ;?.:숋 `-);:x M<-m:@6A?*w8S';:IE(`bq*~.O j~8{}~7 ʩIT[uBuO-X w{K0#NRQaX,H"}DsY bA+Kz+YOR:h]#n)&i7#W-Py8zLԋ0O"^&:[OU "f?.B {M2H4G +z@AxS`ffL%>~4~@QF+KEax|$peaƂ1BޒX_E 5go=V<lSvd]K]Jux 8 PPt[=%Ovn1ui6{Q@ LUAξ) PxYp'qa4;Er?w[2A6ʤԌUl@"~-3p'zsR2K~#S28,PQ.,ŹS,, y5@Gf!2bjץ$a#̤U!3h'yzS}N{\`Tcr=:40>3]2C/'q8OTxMmѓTLegsTw)L>[ţ>yqh{,_($5,wYt(d&At@^}"48)+ԃL曈?ؙ^SՂ_dʜi-OĤV[}M\EYz6Iv앿& Fܓ[HϔIbzoNPԎkfDa#+v8c4u9aܡ_c(x;P௕$('voJn0\qYv3WrQj8.Rw nxY[|1Ÿ)Jrԏ*)jN$y{5j)nA!̸^!$HD nUÙaZxfvKٟB31Ti(AvNH*$]m鑜˪*<(9TEFCGFXfK5I.<ϒʧz]Ua P'A L!993G.ar 961m:\53q*?'tD# bC-pbqd(e DdUh qڀ$]SZv d9U'%Shwj%>V%kS t[-}.#U Qh2&ޟ0{4g E00`P_̳V 4Ň+*_m%]6o; `Ld*o\WĜx-{C8a@*jm8 6k4*a`5tۋ[XMϩ3܍d0;@c[t^3p-&LNiL\Q2)uB5h9zt T6`"^9#5S%W'M98-Qu=Ps9tڧv~[DsnD᰽%!'Qvf?c]Q(tZ L5?~^ &J,71Y!\1'p(m|[ݗs-hՑ9L.,BlbpOt]\Ů>eYĞ#?տ|DeF1 O!M~I,1f'h@ j|y;.g5_kA$ⰍRݴ@*uzz,*\CI1L+[DhA0P]<'b#곈0~{1ָ^|sny3 5.IȪƨaR@htؼ0/珣NX sѰ7KȰ7cM?Km|8'yurv~d|TAD 7j cR$7ԹsdCpy#|k`|g" =3sc`/M9oX]SA(`nY1#^s#JZ,Ց 6lM/=_#ٷiK.E ^{m;1Kr`ÊUub({Ipv :Ū[S𥆉wYY%]: o|. 8K 'CŒCCRZ ]vtX8,(5p]u|Agb|)lWY:Z@k]G7,.Cg]ڻj|b7F\P[/pD z„Y?sIXua&*w| ;<;L3vݝ$;6CAeptz*7,*j[|=uʴQ~ hdk긧>ldr?]!=QN#"q.= 6ux壏 ܱ2';KƉۛٚ>ƥ[0R@^^T IF0i8SCsVΝ2iav$/E jVGJ33@/Ͳg9QxP6#IG' '.%JM 2 yXIVrok< ) ~wOiyn']B>"Ug4R=UChEŕhnay6dCԪ3Vi$];{BSY=hGv7ӑlBk|7w݊jI3LkYsGkrхOLc%b=!du'5PP8=e.VKͮu4ԇ@ЋO!<=Q=5yδx𪌡3zs `VPv G>s KF"?*p׾kz${J¾(0mſF'/ImM [%|*W\'v~iV<.Yc|Q[**0L&ɂn&:?9KϤm^I'7!Y6եI7rج=. z 02k QEXDl%@Lk:qyQ9 5R_3*DN+?;':[аnFo$Q֗Pf Ҭy+Tڢ6 2,=(GM+նlmS~\VtᯗCa֢Lϑq곿) Q")|߶N ±%qn=3qүp8wg_jټ%ZH_"_y=i+%H*ɴhx/A[WN& nUS Nv7 K#䭟KV]~Gפ?얷_Lf*D?c.$rD?!xӥ`W6cm6lSM.n* yD =K1ں 95ϱ X&XRaVY- ~b:> Wa1s!aɣKV ˕zt4i jXԅ1 g-},fF>? ͠g@zjko,b'~? lNtrl㮆X3FZbqcnj. LBnӍ rv)ux43ޜVbwd^fiּ֢kLJ{ ]:7_sϥkHPlä>4d15$ F䔐ϺR; 6Ĕ$4l`Ѝ R)b n]!Ui5ji vX袚\㲛/^\ Xba)$0 w#Jbe?\g[jvQDSF"/Z j7 RgU瓂0kHfhbeD{W`6ip7ܒ)[B- F鿁v*O䷸LH"QW Ȉy/GBu).MMwG_ck3L*\'5AlA$s%ǝIբg0oÝ ]jDZ2hNYrX8KB-gl+݂c4ӑP)h6mWP<{_/$Z;/ xQ7+Z0N7(yGH W|Ax4؊s'^ @7r@!m6_Uݾ1)TObh[&ISo #X2yR86Zs{|B|& C ( uD !_8CR+#g k2O% D[BqwU]MJ}iE.F^XRv7v-WΒTT5_Sђ ϑ l6K=|JO烺蝒Կ p_MɸG%m ЦjzWpfsP5kkNDŽ%/o\Ks$AlW0PQV<-Sk }2P@c3J/0"˺mU aYkQ: \&s<&=M-(o,}mOXqõ>1}ބ1̶w7x%n`E/lD^IA7(4c@I+"~!M p1j 1om QRw\ Qt9 P4K7A(!o#wN;?¶aV@3",w7"8$(G߼| [78LfrVpŌݴ6OmQH$N z7`"Mc*1=kI f>cD" u/tvhS;ײ/glj'm~waγ)\}ٍRīDj!VěipL=v\?jzZWSWMP^p^uz+@ s%Z>C^/J FREQ2Aқ͖Sa}7C"/8-zҋq+XC6}86Ĵ1f%XLGyz>M Is3 -k~ƥ3 3bf!7Mfk)Q\ &^2 ne0P(.S:,,OLo/]ᡭ]ӹX\5 Vu*cNaW7v螟2!gr|k IpX7h$}\Q;w dl Vf Oꨠ"8 ~u;S0@@kT'.1v_tIw09F0tekR 9U ËiKe2Ye?EI|\ JIh'*~!--hYScfbüoyx f&)0ڋYlM;$VcQ6'@, -A6 mghFJd'b~4A4*om=E~Ma+M>g34 =b|S2.\mC?NCWx.{q#vA_'gm+6?ׂvZu˥^ccҀڸphP:]x46Qļ F}}wt \D ;k ʶ~(#) ̢)3 y޽y8\0{e)59-%JmUuv4WT){GRo)BI&dݸaLlrs=G9ۙZ>y5cwQj vJIdn*mPcۭz@;(/2“<8nAI/^uKo~?>l5(ӳ'Hʉ4m 8O:{ŗ< MBTÊ5.ok/Q{#l-$#hQq~TI1Ul\CP>nD 0Y%r=%xw ĨD Qg!ױs8J iHa#-#V!IwyN%E'o˂" Іte3\}j'Fv:UI'H=XvhpsN@d {3GSu^ΐʱX$J2&&v>BrFLXAFBYRr"oZ'I7f6xh#9΋ +x{Qj*;"mŸ[dyTeV|#*2Sikgr.W;2i'z`S!jw#L5L0DxeLJ# w*j ym]8߾.l|st^ȭK?BBcAl0c;( qV#W ݰ #W &$\Bis.k}[e"בer7dȴA@W?ۏJu5.8Hh{tZYn4/DR#3p)MůN䷥R\/]nKa*^)Pگ[yC!u$9Oہ+=Q4N x($hg,Ue:u8U_0ߜrUvY?c2F;%DJݧb͕*^-l䵬tqD()Ѣ}ʔxnYm8rNX}.Q io?y.Ay ,HV2nZ]{h[@jleY+kwi%uiI>I?:n*(CNG0kba}zns :'rW ƾbVGZKRbg L$dQnJPscGq.c@rA7SAlŇVes*p/fXIR͢ \T GE0 lp 0Tij.MWBAEzVT*2H(p-aw:E8Ur VGk*`(@7.k@\6X'M5|ϼ l F/^lk@9?]+S(o9X['][SD4⯏R`yCy'%{[K)@Q Fsd6| cbH sdb!^%LNa=pjHvVZ6Oܠ`ܖݖUA(0Fa"|^xzkT n-&pM;o$=ɸA34cl 6:5kՄokĈ!̃9w2=nAL-е-꒣fVQyЂȓՠ:V)BC6rmU 6T d. kïk`pn ۋpX6h~0D9F 6Xw= nl]Jdl̉bgת` p9>b31&,`p$TIJ&|`La)ܿϿ"o-* TDGAjΤ?n6'`!x`>(S/x3HҺi:`_w1eړʜfVx畜_m*&*3|',eRl)v,tA2#e{~;{21+:>떪֬j2S ):©B|Vk]UHe =BEJ`"aS:`wr%!։ qG'.Y KCF 2'hOçK%wϖikȓōʢ9ͪ_1Px~Zz705ٺヌXE&߶/ .AU҇ӫ^s V)=^_50^H M,A?:^"LKű\?tC0_V&s:TPAQ;ClکFk V68"ڼGx~҉+z A lHe6'iVLlދdÁ_Pf璥5CU)VgŴb`хMWdk-3x}^|h4bWjӼ6=50/[` `t&+Wbʝ+t#Et{@ RLΖ6Q)O XLE/۲;etR"zx`M,4x@ sPYN"!8Œ= n`6RU/`'ǕF~0<=[Lyba)Tf}j fBw^/25:TdkP}O(< L,oY tB1u D(#!Ȏ`l).ic|ӧmR"[nJE?an½+AxLze2q[iUe (INT6űD@EA cewg G19! RoqlfQ![T$rP\i䷲lk*3)Vy߿(|`yl'8,6,:H09oPH"ߓQcWURG77?7/~?ڹ *=+7uOEiJƾǮrF$M;P.{\a+MCq[w\#Qm[۬.q:!a̦A}gP贴|NLztD~ZkXHNi̤3ɖ (R#w%-ANwh@9EC^βìi=Xw V̢-Int!˭ܓ,ߨ9*9l:5N)YclXpt*:aݕ_YQl"er2Ns8%eb 3,򮱈r$1vK@"w}oi@,+;;#w0: ܲǷ5"|{XrWmJf$wumNF E߯XztyQEwMu,V}Fjǿ㝰)|%Z4+M x6yА-~L ;㛍"Gn"գ^k?JVUō\ca3&9ͽy=?2 R*4g]QvB{򪡞"V_uf[1a#L4]> zy,p<%z4Tн['V+ZPg nNFD${5f!]w%fgXY6K.r` u\KH-6-4|oet2k=nȡ~,uq?| 7N腓A@$t#[ڙQAB"aGŤâ}kz!t'mlX"g4WFf =ˌt3qSzlHw'':R4ǔ2&& JBYVJ[mZ}b3 `bTYyZ@F&hn. l 3W 9͌'}"FH-:P`Ⱦ U3$Dd$rF5XKɃߡÃJUա:T]$J.%P8~ʽ8 j+S8w%?~XN12ƣ 8*Il4/%?~q=(vM~pX8DFhS})n)&F7lІfL =OԇʻŰݖjrM|qPZ1?UC-OBonɕ[3PLd6s!9zL$J?'啃ûd:RW؉EIىk<;Z8s ]kU+% reT *oW$u7;t69<+|}U/C =:Oх /DW 5y%I )9Co]LAHD$t p&v7~ sI{K }ձgYZf3a9af9fd84c40d3e64251078858505a3c6f214e1795f3a7abed9fc1d9546e3552e224994a90ba84 ec123dce693829f016aa17c5552e2b7e72eead89 7b2e61ff0c86e069f55e46d35334d76ef1e809ac44e8b3c6933f5743d572660f8431873df4d9c629