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  %|l ]]Echelon_Form:threads=4elapsed=301.677cpu=957.296gc=97.120factor=3.177zXZִF! 8]ŗXf1-q恈͐7ӺV -fw0w]BjZjfէ]JUgǖfN&S6kS6TL9xaEFnSkteQڣ}7e?Mtih[.A#!k%.6$2܋Q&g*B @8crs)tJJ\v0oθ̧4*SfQV&e ŏ!Z:r*ҔJr{ZTVB`ƴYj 'n8\gTvSK˃h 2=81L=4Q}.\XqVv7&A:,ډn>0XR+iuƠ+OYM"T@KI_KrX(5s R)!.+P;v h{İ|B6vM})- R3Fġz/&'}$7`:oVDDTg@{nI6yVv=^`vu#pD&U r:Aq|5d hB8vk`33Qt< -dbѡ$ptS _~ª#J2$7L 1C xD% 3@cq|ˏ=Ԫv&-u 0H^ŊDa_"hֺUԁOXqZxƬ$u}^y8 F9"Hk. L<@iшNx:Lʬ_ҤYB"P)Fc?B= CSթڰ*&}fac3x8&g'J/9-*qHZ::mN|Mq*q__YnYdD1Mv풛Ik &bqAV+ LE2 5fSy % 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 V|qV6s<2Ξ\jzzJ`b!xwDӑLnv?JөI7+ iڻ~krD>9g419G.:Ha#N]i7~gFnu.f'ZEN.j\9x~V`P=\_I{X`F:e +Mnz RzHLlP]*SVLbi\Y0g cXsdkg'^QN+P +bc]κ|bbHK{%H*so}PYV5+A<:\) B`E_*ld*aԝc2>r@L=h~6YKryfdDŽpʠ} &ߍߏ-S 'T SIf;oq /dm'ѿƅhpZL.Q5Jɏ%{LDVD}fl/ԆJ^.Z%tP1}!?D,k~'x3%W!$DA!@펪z`{>ҧv^)/ynnnݜhh͠7 s >*,3CGqh7?/'FeY97B& #vYwhY!c8IDܙŌI| ]@Vtbz"|4@e(chS;T'v"j #}Jε9<#[f'Uvn].G{;5օy2ԋ hTLEbVс1l>9 2Hf]UqI\% 8NpQڹu3O*m/#jʕ>BtiyzՓV\t'iK8a $SG4t1> s]):R8`v*b5 lm*ǀJ{ݘQVQ"ウU[ShGwq&+[;g:BYm _ P,t<b%VRpѢWzˋ(" n0?ƍ=d,;c,aUHHR p%@ܛY-e_T܄7<5ݐd. NyED : L44ŸkHmyC,\|q@k~ǓEA 85˹Y$*q{(xE$~r~Dc ,kCN㋭p8?(X'L1eF'f7C}ġβ=(TyWz#:yI~m>4`=4hHV6$4ذyESc/D\x=){X&z'/ `ddHrGa{|ٔ{  Kd f =pILr m.46ĹMeJU= fOU)ܸkA멛d%sk&HY8b|I9 ăGe˅8l9(D}Zj>D M4BUm]Ԋ9D1:lhdmnj s2b"0cA9׳6Gt#5ŏؖ?#M2TL'\'} "c4"RE?!lQSH <@l J]u Et,7uom!fc%R:e' TAUW1]-'r:pLU`MAg#Rh{+3VCAy;X_X8#}(OԳ2ɱgYZ7zXZִF! ]ŗXiɟ1˦r+g'Dgr>{pNa5R]%d7N̶OJܞ2ݹ3>-37&a47潵xQ#xc*0̺XV-ӗ}rjw*?I@ioF2IZ{a |Esl(VxEfN?Nt<~|$ͣ0cY5ա)CwXXf2A=jꔀ <=cRf[joYÒh nҵ޴J~X}y֍wnqĪ}jD\/cp]!Kai?Px5WFAufSѪJDdL{N5EW[&lGN1"կc&9QDiӱ8ӷ;G-u6HziXψywݐ>D,.C#u`6z#Mdk!gYZ7zXZִF! ˛Q]ŗXi%ES3􈉻?˸X!Jf Ǽl!?"s6E֠?2466{RH&լaLt#q c;j/>q?)n5fn!ר]bBؾܓSOKր诵j))& yۊCp,"R OVҍ_oE #}r|M_#xhQ+a$R!H+I$gg1/jrrP|PXռ亠oO^a>篰ȏK7鈻[ ٭O&ޙ64mɘXGA]s?|xWЗOTe %X'"RH:qߣɑMnQEE|(f(>h;CܽA4)4|BWe أ^!#OAv}MB$LGD2ny Ŷ%-)s',ƣ>3|EGDơM+/6l"}=~3eUoE-ѻwd=:WMy,{FLɴB`0Ԡcܽscs HV׵E%Njq. C>"f\NӪj%KOǦRI~#d.U!u.NF6[^7^q&R~|OG GEK3 ąVa}$evp*ojQ(Ccꑄ즱e$ȭp,e"B@8W0Zm丫Wmܥa.D3XӦʮw` YuF?,r+kWIdH ahuDnYR̳Y秽Y.D}1MqrvQLM if߮Ky`^2vb]iA{L:O(%_7¯ RRX^8[T%eTM-iFRЄ $>>h7ۛhzcHpnYuYsȒ7~KS)]gO\((.b&ZKi$pI/Pd_ói.ŧwŐ po#UwQ@/~ZZwHEn@&%d99/08Q *QqB7V;2j_Ȭʝc~k),= xT)~+NlZr'/XH_,M1.X+jgTT ~Z;W(SMSwv&$~׮7G9Dm ё Gwb~Rξ 7[yCaΒl&!_WE_ѷIsWWznpg_W3y3EY0)a+ovgdUG:-q^qEo}mr߲Ge5?Wx"1DZ|83p̺ߓgߐ/.A&LS5p8`ExBzҫ@ Wv;#J;T8zL&b1Q3gkܗkb1dIZrC=]e+İgYd?Z zD=kD&1XzRXYуU7Hr+o9)LBgljG?,ġWt_xwg8PlBFHd7"lm Q'Ӹp̀x7$EWq~9Q?tq*w̙U\ۚ.ȟ55XѼ555)y'})CUQWŸA?S8M狮+OYj@2`R{Â#ɕ,oat=sr(sx|Lr!jovz,(]I撀; 7ۦD^%ٖ7t[7_|B´tG6ɾ.~{aÛy=8dU:cڸ*͊~+z4kvP:\Mв'8H))V Ոq%t9H=vNUlT~CV%g% ݪ6gY7<|^%m-rW5|п܆vL#.%"OZL;hcΑ]QF7*e]I2C&dBxnهbfqW)Ewc⑳SG`j/  n |f),e9/j%TFK;c!P2Ži%5 m @<s"t?yUr-#%g^#9nUXu'֊ \jJI!Ana"3ߩ&[T=ΊMO/o/\ CnpfSч\o[X \D01lH45`s%}JDXwr1qo GMޘs쏫*}ba dU}pwO)!D^,[yCWD"SIceј,s4~pI|4PqٸhR_͞#5f~ȂBF;Ie UxklpΜk!D8'@`$92?nrGkY\mGIL!pH[z=r//򎏔}1v5!'W֗t,"?^?hkt^QH38y|R62h˥YD5|,53r'V-{mX%!@Za%N#EȌmDZd˂8 ++` Lzsz_pc~Υ*ulGV,nyFI?OLQ=k3uebز/O^k?ki"78Ww`@1rv mj0y *mz=KܹYޓhy 2b_ɢ=phda-tCRUz ΩX 9'~o19Uy2 ܕhMm~@02`3S/S#>SI-yշRV`%=\D)6I6(]{.5#[<[|Zd@IGpx3o>gJן"cXG(!@R K}tY#@aubrsryXA~\h[6q7JGMؿJvf 5gE}q 1 8 hB|lsQ.40п4;n,* %r|mwg4[0(jvBzn]Q7/`[gy[IVwUQnl%C+a`fHgHk:|'m^m~k*AZyʳNPgѨj9 km}PLT<):=^Yh[&9+ ,<"[]ؘY؎6 8 Ac(TSP3@}.ag)1DUR5 خ?"jI  w) v&QWSC,ac1 V_,>,`$ߙȨi͊e{\+G+'H[MI$ilڅ Px0z=$Զe#R1kKrnkI(޲F-EeuvUb |o^>;h5gvɛ9i{h]5NxK.,f~{k>&}FwI,sFo^7'r[\N@dH&L \:{NE! %h(j`5A2F3 L4u.-.Ue1nKܫג@ Zڃ_tWּ;ubrpM*|~aOo*Pχ^XD $SW%܊s@XfEk}|?C1*SAk (aF̅IN10!u>7 J>VZLRؔDC2`D}x\S?DOi= U<3½7җ6x=?D㔆] ,kia1nG|ħU65 p0q[v_(E8Uo Wzd9}zuܩQ?Bw8yH _hώ#:qQ+j [Z/&7ޏ)pxh$ś]QcWCrޠ Y3#90Ө#6+~UfH\nM*8eRѿF*fe20M6P|?JIXNS8DЄF)UBY>DKрazD?/)4o6}+lCV3R@kAf5N~]&?e#lhqBYF,c%w8b 'N?шm!G {fF;$< )`mB@rՆP?U~ͭId\~U"Oa`oJꗩJ̝f9ق՜E;R3&KVg]j%ySX(D㯎:Z=4C*4B -E~<+di`a2S=Sr$/~C)슚 F;AD[ *Z'$K\1GdHLb,zbQUn$wQ|n>q:UQWQ$ ^X3Ln,]Jq޽M>QeZ'㵀VM`>hiHE( TuTK]r/{v5@ֆUlې\08-) FhF UX(\BVuĜmMp)Aa0RD;2C\++gjeAC.b{LL2p{̫e3BuԲeo z^ JTQkf'Ӛ0~퇎=@V"RJGK$HDU2{^ټ6V+)@=T)n:YGcy@ys۵c<N:/u.5>ynqI yW;S F1ۑ\K7Wb(\rEe=Z|c=/3>EW`0K|r@wzcjD9y8h4plp;r$XTR}0C:kSrCBuu̯f|`%~xwTY'iȁ3fx8lQi$06B5$T0ڡ dj~ ΰ0m-c?}L+I\]>vy`eFqfgSB[K`F)3o5HmD:nXq[etL1C#c6@$>sFc1 yNa`>ᐌ_W1e Qc@~Dž# c "k3MuZ0`L~@ D =CwM'% 2pkq+*N] }cH">'k^:_z_%Iq^jbQs3tBAzwɒ3Q´_^h"Qƅ;Hvvj{fSnr{rahkK2Od-Z-ZU@إ;֊I$^`@N:D>KA9RchLUok )r*Lh oU͇GŪo+T]r♇"R<#M>aZLŌeԷZj.7( FPY̪~G7KMV?0ˈŨ" ʥGon[VA(K9Lb0爀N|@} XCmS:V?٫.<월dv>6]rO۴Djos>f  ϲk4‚LxPV)/]RSƛKxawzd+jW6#"ViBP掔f|*k >V;>e:ówںSM e~ΞߴKD!XJ2mE *n/=$`uq"ܙl3(h~r :|Q4 udԹ%Ԟ{6ޟ CP轞}?%V)'9Gb+(7.~O"f OAI¨ϟ@o(:Z@тlur,ҍR2@A5#PF?I& 1;ڨPNvy3Yn|)WG: *QJ/!<\XF}+M9?'Lc4pDg)^ \Vj80x1E_YmaS`ohP#pdl{P}K eqPWe?A!t`Tʒ p3KK.]'hm%rmW~_"ylcTxK*ҡ95vnOa]B)**rE?ӱEVD:}]<T;!0@R*vH@<^o6IBq9.P1kk,L0A)M5s`tEd)!@xEqάB\ PɾgM:^ d[ N4{(+Ⱥ2t쥂k+;]]Bq(K,k#."W*:Ktjsgr+CG@~1AiQ@B8HҘܖb@7y: xHZaPȄ҂KU,[wi- >,עY<p[E+ d$8qTrso&fa {(Fyq; ηg1W")4ۭJD|!Hq VnTTdz"~ I J1YҎÅa鑫a$@]uF$VH %?w^eb7>8]6Y5!A$Л!LL Qn7̫lŒaDBsKd5Ht Y|o_IzwIy>+ӳG0}G:21m% H 1S_F_5=x ˱2v)I΄#EQHf|^[:Fq W*- Ŝ2`ްGވ?PF -j"XG:/x~Wpy?UĞf"E_Ғx^4>%%zOyAOt8Ƀjn+,Ҳ&Mm̪-qqq+r*w `QJ%x\є[K1>+ )U55 o^YH^]O^) %g 8N;jۍ*#ko>A$ pah h= m| %&mچKMPx#{<+8w,40m~`* wv{ =V f;-'Q@*;2X@DEKP(5H?x(*_DV܌嫺*Ie40M%a${-&b9~CmnbMe7aUx'Rj(:S3Hɸ?c[yYd _3s^an|*_6(?myWT i$;2QWVh( fڨ5|7ls<|]kM|./q`Z$@SMV *@v*5ä<4!fB$A`6諐2C6#jeEXce nMqy5\y^I'31]̈́s  ڊB`E 言cٰH-qʻƙNgW ;Lr]' gn[#h.Wk;APUMfӸXg|C&4ʐe`#3{iFʯ9FQ/|( F)R Zse'AHſFxZc(x`%⸸}ٹ{1L$njLT HH9~ڡuZe*GƼ|()ES}7e*"W΀.tR8kMTw[+)rJxYƝ Da7 oL<[C$(UD9҃\K8Wڸߡ͡|SL\bSbN+QzJ;xOJ1=PXP?{^򽬼ƅgS`J!-G,$[ J :*qpt7&CZx-CQm}Rf%qukYF xˋdPP`Zڙ͵#5Ɵ ݧU>ݙPl}]Y#\mgoֳ wPK0i44+XRkYbAۀ•`\A5$A9wb0 5qm۠f43ZSCE&eQ,: K3`N0;<_Uv,$1u Z&}({ԣIwǥ4Ҳ>cM^ӻQw,h.+cO0!mݱK\3r*Ml.v!c!+_|7 Jw4!do].5L^hMW7Eeܑ|9Z_o|#zјc4¨V- |S- `Ah&*E6׸lۗ* g}~aWlذOSOVĨm>ȝޝ+73c2bx*ɸ8lݤx2GC8*w7aZf0]Ȳe&>x7d1Kn{rO'B32gZ>I!SjήwڣdN@:Jv]!7z UMRJvB'ARE$ SfwXI0)G:ǝƖmtӘ]*hz|-6U i V=á 5͕$jN_LJ[crϮsJn+&cl}3e񧼨U߅MPFOgOV~Z۳%9W a]T Th/VأI4nzt.idPeK. zٵIJ>$)\Iص:B 9t]EC#\6dMW>j[Cc+ ;zTpk_h)<`C]ox3:xtED14ljV%xXTTf~&CC0k>ѣwaY"'S 0qV }f;bMςts~:ܢ!H;8(vrqA7E[RU 6Ccp\Gg,4;ڸG{"F%H^!Z7V_ֵg]2?*ӀChmu(|"}eD=??h8}Aj 5n+h5 ;Ʋ&ͶnU\gyHL?z `k?B+5.#>Kxbe*ej̈S@R^+ ^ PhU}6ǶRf冞c$VG{<1dNP3̞sA7X:`OͿ~eeF>ìdxHm8`v^xVLh-c?g-8 g<1ұNj:̸Ҏdm86Yjw}GD#/!(;CL>2>kI`'C㜢z=E6d L> pEu'F@oD(7lX`?m'F;L?ϧ{,c'#鎉`f#-czu^X\b+@x6 E?JTk8GaK̐wH}L/>DP3m$D#0uu6x (S9)#6ݦŲcDF*ok&"vWw*l-xFX  nkȶ]C3>1tEW;u~o&D+iD1Jy;*m K3g8~(s(Qv$$ӳ)Sz7STk$2en.a/_/k-r U= CtH*2Yc%Fs& &BC8$U;.WT\Kb-~Ҕk; VĀ4vAƣc6XIk>wQ0{AuOzNQcGsw!?,"E"~'eXyh$uwO"â 4|n r%‘v ;yw8JG'X p<& ?Ŝ}KsF#3R{0>@S3wlDZYYŃJ`&y]XjjEi]n(fR9aN :n#|x0AuuK/x7qaT,Vs/1]\Dѥ]/H,Q/}vf;?Cz{GCKR,"[ETٝH] +d #$jy'`1 ōpOxsN-`PcMXXVg$vtaA(h&H VTkɍFE#FZ@|zUoSy&0ws>>!<*`ȹ~PPv;oQd<C}wnGyfu,guRCg3Tۄsy7( XeMa0tؓ>й扢+>#Xkq 8Z!a,aU"B Jq7G*Z7&z(_ @|6WPs$:?k<gnYANaQظ_FFDrVxMq<#r Gy t1@LZ=jwbIS,Q\"UO"db#>hoZ "dn~pJ.e4ścA=V_Y:cpGxQrӝQm2wm 2"Cek/'{0F/l "2nWDTBU_CLkw-Z,,"f[Zc 9`?SZ[tm'sȗ?wv jr +E:N{ Ʈ4r2S*vBym\%!cYmzOg~i6)E,$pR^ɀQ34 +JylK;Db ϑ)W4:C-@6t[-Oq.RA].3ymF0Ax;i`7hpԎ![ y<Q)Btj]j; GMwP$\e[x2'璺72:e)V` qTYܙ9~IO%QHc5X~>x%A} p*4[ĸTO!H L7,6Rth\wkѱB.`}(ŵ(g2'7\JX9IJl 波] ?6 xN|uqzbVnrý皼+I `Lgpl(FP0}gyP*ڽ D)m*OʹUIsXfz=>=:]agHfzlRǠtyPF03\K_sKҀ4q1ёG.?If ^˜ 7t9c8dx%{AåiEY]LBLztF)S-; W&a>Kr<`Lt>W.RxNEE3>8oĐ2e,%fcj7x2ǽș5>/7mCɃ !!7nFuD.e׌0_$Q%C݅A;a{D,w9"TgfKk;q\Czmat%vtv4\^"! KE#ADf<ΚR8lCX7⓴S 4\Zq5n4L񳔠mΑ}h045&\Q f%-JX%p:9U8.oDWi=7920%mXV jvDHgbIfXom6/r|@`[=h4t3)="l~xI v8cwki|+T4Zr}1&k }{:OLnNsrR[<}!p#&Vz(7kUEdĩ38cH U̪:6ӱmޕd";.LH?dA]|Y$H =S#TsH|{rϾi5VZV#Px (2W \tG e9OK2){" b S<Ã^R1;O"R$6>v͔')dU{vZ*<=utS<,O sal';_o2]LYĐZNf钅ǔx@rЄ ɫ>NѶT|Lxo }Ki!' g/WoawP:DH-Ooonl v=mPb @y8.0-,lbʪi'E]XcѣAؗFx#*b_oamm冻a|]V`{"9͟km-у:3wJBY?}{)W??[]D?ZcA~*Cw;rC]ƹjݰk=?:e666$8*i^nļ 62)79]{8EHz?{K=J8m0e>qVdt3l Z}xzD }[ќ1UtxjQژ!/tf5Ҡ=q7K F5ѣ/n 6 0?]F E"rL ӵ lz M:.M34^,uҧ] v _a}4 F ٴ^#DAE8sV7BdįU]AM,J\jvk=Ї'JpkQ衡΀6ܹd= z| 5"zcS+ $ ­xWGc4\ (tR9D>](ݍ3z3~)~n-%#v*Q=g7v^Ǎk yMC>a$XI]̍#e$m2N]0Rm]VEAŭ2!ۣQ]Hla+d,h/:5T06juR__4]G_6}[{#P$кsSgC]"}a3[3 Z]+ӳ8-s?Bʦt;U`Ahzz;M=Α:Aտ5(ƅ&q"bF gJ kdԿ.IK0+~sMVv1z[RS~X%f-Ė>7(J;= 8[aDQ+\L6d2/Ώ4 #5{>kљ}oIiW YD:(`?uEAXE6}\}ntKm4˥>?Q34=f?1-7'@(-N-'@5{ 1d,(u%8T9_RVښiTA D 'eQB=9due%0df(V?B~r~xw2#Wx?C>9R!`&?^pIC&+\xarknW26 9\PT;=N]ßHO< zB} <ş%jԳ/7BܵeqCd1+*Oq\ۺv"-&=Kx>_ }](oYl&ExE13%66l$a1nFC(Mu Fa~"Wfy.! Fۻ?E4< S~Cߙ[i cUa~/|%Ug0Ԅw2܈zcJ+X-,xx}Y-򻧵g/زʝ)͕۸eza5w qfo *D.;O/[fЂxG ƴ;^\O1ɩ{F$֭NyN[9kW\'~v|IH5wuΞ[3t_5+<05x~/[w& Ξm:TU&[?jr<UĮڧ?։3ٞ= lL E0[<J؋\}H7x[sϑ}ON q0]g0v,@Z഼.%Ӻ P]5Яվ*'$j(g*N%v ࠜ=t0 aoSN/H= F")?[h& z,mgՒ Bϱ<5G{%x_4L²貕 :x躒Т/x֟ҕ"ܚ5JꞺgARݪ0ʂjuOf|G|%,KZl>F::4?7 !aP&A34e{^V8Sm֩:z8/Ɨ50 kWv쇩ۊbp]0AK{8aڶ/򿿲^BXRDv 6?`wX …@hz\jq~fce( MW+&I懡HW`a5~Ʌ{^eoIvJ2ồSqJ! A(I$ 9^zM^ ehKXφDYG4eq5sB$&akTŒ 5e4`eg4ɂ EbԊEPК+#*DY-QBYƻILnc9$5LGH Y`7BAE*ofOzx'medR-:72hg< H=Ź69ቕΞL6.vo,~uƒ!i\ťˠD^sW;?Jh~3` goNtu#|NxGS&Dy؞ ?9]$6a%[T̓gG0 [Xa(k*ʰA!r N.8YN \R[Q_ec:;_m .!gYZ55356cf3aa154f2b1f60df87add384db6fff76b976b019a50eeda51c4b74870607c55fbf00aca327 dd820facb07e73b2c93e51e4d0b3041a08b59568 6d2ca289f8b6f3f2a3914773c718d36e0da9569a35ee13c79f4baa4a711b377b2ae90f4a1164705d