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=303.823cpu=959.076gc=100.720factor=3.167zXZִF! ]ŗXf1-q恈͐7ӺV -fw0w]BjZjfէ]JUgǖfN&SϿMC 2]>KT##p\hg2saGגp?X$gZ 0[5Po#YEŃEOw hW ɀdgOS+l"ΠPU|kaД䭽yU B[Rf>.8PK[ne !/TfqOyC h 9lƣϰD3BrW$Yi#Pt8~Wu(݂as2ނ%i|32ΙCQ6zo³G"&#My+6h Y``=ߦ]P 7t@<,sRubޯ?׼A&pn"Hs djơAK % 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  r'uClڛ)=-LYcL[F)J]|Ti]icġK?c$"{!Y2-$z_n,RO^,UaUVgx\V} W~ =US^aytmeJρ (lS;xm0/ gv4 eD"rbbՑR7ѝR\ )=<{"𸨳܋plsffդgf _>{4"~Y^10Z8CG&@&|BD"!ċd=~O9|@X8V;mH#)г3z4:M XI]8k~? Xr}YbjO?kKs vfC =gVi; }`t!#H y5LX^nP IV ))I  :dR!DZ&<;_%BkZTQy.H1 ^1/Ҩ[`h<1tq})hlisD:K3ttFUYLd++xb7Gg]Cʍn.DtJ>HKCZ|nCV S@YUuX:hJbw|#lw|]+py=VIx6)Bn[D[-?myb ^'vh|`߮P_b6Kϖ18ɕG|ɛ50r38 U95Ispt>(t. {ГC旖 fZOWϹlG9Afhm}u֦khG̵_~Yę)C-mԁ'vJ؂NGX6me o5/ڔvH}REږ~/*J9ծ܎o6['ӸR;IoM k9߬c!9|l)N<)ʵ|e飢ѺS5 LTi{ޡO)P@K$hF?~#\4O&sә+9ɗږxO!_CnHa| k UqFyN<,j bd)7E% =x{+& ~&rK-O3TN/=Bҹ=ϘwxTH4x*|;|R,>( a U< -lyoK^E>Ke` gI=S\WɮG3~^A!CT8ȧgjT6q0~D& 5>zHz#>!Qnܲl:O557~rש#Dej_t_?#1[KYXH\@<4w+^#I?EŘYe7zH8_"ƸFAJ 5TT6 C?XE\ŻI\Z77N/RAEP{fS_E Ku7+B V~~{[QCqdEПUK4iD{Pa~ xY?rʗK1[R:gCi˳bVrS`u]0l S4'ƪ;с3 |*;%d_({|'f}l1APJ0 LJASǏb(^R\1CP˞\gXvK%3PKR$c9ux{ʗxrőC:; ͶP Ƿ`ɮ< STq¿%U"ɸRGR q,Q&j@x _ϪA)&ddQƐXLr[W! lR=9i06!0󪘵w-qOI.@SKЭc5; l- ~G"\>\dm1Aq{IPz$9rN,컴z%:sH~ WJơ[gYZ7zXZִF! ]ŗXiɟ1˦r+g'Dgr>{pNa5R]7dRsM]' ?5\qj8+9z̹Ű6:|tſ=84#"ynjqb8UPBvxCA)@!Ǧ4u4nA:;n]mJtoϸYS4#v_̄ӟ׿gvSl~3^[[xp=Euѥ"gE txώ H c4UFDyu- Hۡ.wTlτġ(C/;x|*B>r+2Xrbѳ}ynQ:! k mc+owҎ+i#(9aL&k86O΁%/VvN͞9^em67WN<5^bxm()yz;FZg*VT<ÀOj" [ hm Dwے\ 6b@Wsڼ1*ECؚ!yVjˌ ǔl?}?3p;;4YoXqbmKfzoe b.,WoG F x6$yD8qG&Q&'| gȕ25حĶbH^&qh.{ڵufɃ9>qg]+\B\+cadžmN>%\5KŇjYҔ2GX,/ćƿyڲj^sZÐG:1p[1͋#`+Mᬛ]jRq^HAsmTɴK:. vK? tFc֯C]:ow1~@ oޘ*D?WA;K)\Q!&y0y50M4l?8/M=goo)n$Vp8g[+>1 ִ_PaO̩:޷+uO7~LJY2C~AZ%,{OO}P-}o!lo:^ֶKZkk/ ]`OUG r^!1EWBQM3f؄ZnpҼ{;aPz(RuxƝ Zy0" +ģx:{BW_! rns\+rdwz."˙֙ǷR0ȆPr*͟۵#q@u~<*TzsSH g'3@S\‘dZVc9DTf%s?(R(Wa]0Lԣ]urBۜÃ?[[ML+<=ugZp(u5vL9)Sh3{FA,f@D&t9n >@ѪNoYb]c镇 4?pQb׹ ;P.sA, $ ",@N1 5\U"[1Ze)YtL+vNZ 8].z]$5|B8zʡ `f( woƍf4d% vƧ7J{t7y=Aq@`G5墘X]>:Bp`g5 ,Wb=FQM1D6eQbBWLxQ}K)x,uBW*ll2sl"EB3eN @mPZv5ࡑyLmV41% E-"m9'~  j(CLk/TqXPtU彪XRm.5XM=4ds%DXkKқRL n;,I:l70ITrDu^MtDk㳀-ాTia =B]>KE`$ cC } T!8>qi5BLR) H/y4&,܆ %Q/܀„gV4c1zjC + U2i"K~+;Û}80e"KTj(eڭL݅5~i$*N;q b+Ayg{G eS[[H8ݟ4\6Li1Eiv$0\tP0%CQp`_fKsKlOL3 $ؙ]AJk:6x5 ;V.g8-v ﵽVxCc+H/]c"> }7dNwYТrLS,nvHHv`]vTჽH{5[S~7O`ѪOae-& rvjtbޫuLSQk6{m?/ sb>8i}ݾ\)Fж4eQ˱Tn0َRq䘗k #k&,Yg$p/% 6SPi:MxtY:WxhS3vZWI}~'=mǠ?zgW-V\)i!5:;HUEdyu??p>|-쨀ZHRO7),%sRŧ#{sAZ[1 IvYٔ{=h;r :u: ~ Clu (KG~#YqߘmcR_ߐO|LyDųAZB Cҽ2{mU5=H0TN@ , "!0q^'65z;.E .h?]\)mK7|ؿϊ?q SB ܙW#Qfhhfϳ /1;ug4G> kOxM: [K]%9 9xJZK.i͋Oy,$htR g.x̊ڽe rx;ؕ/H q&j]%hWMDwpHlE@FEu^>t H<\Wd.H:Sۥ6 @9N)?.+5SXad\.\0}yUgm>_Ac pA㛦NkFLG2q2Y(%øzգ-ReskN%LY iF>&{p?L:)߳U:^fpikx1he--e.eƉN `mi)חО:*;I(UFŹV&F&/90YнDLKWi kI \)ݝ|?{T،0L°zkɳ~9\xEGO|JC=ͭ!oen}_`ADWRCAN?-3LZ1<SkYD$>7/ClK(HI "Z λ/mi)<a ?xyǨB\~?DuUSi0>Xg혌mm]! ɺ!_e'SHӭ(D3VC slC+>IGCMwqA>^{ Igʼn@t k njX/A{\<.p?p@LW@m3{O]UR?!#y~5tVTpQYoy~a{v]`0쌔rziBw!'c8w=DmS@Q縡W_ Bݔ o&QCt}jBsRh`8:ŔI)’@?,d_>a`A7M$1VqwP+fĶM7THQrR>?,}cŝ,{#q_*m 9o a)/=gUFX6Ƿr K׃^覸rbw(sɬDhaپ$L<;93jTp*r(;j#j!Zg;]'(iqLTV+{09:BJsU;r*z17I=dsZV+z6OY<ߕaX hc{eTm%jT-5]o4HG[t#9v޶ϴ$[ۦb$_A}jouġH3ohsk[o3VvEsYہ 7VoѤ0 |5vY#*~BkJLfRτ3Y #$FE9RgPnJ|<*+E^$`%$ZkT<׎v\M @fou@_kH~ޚt\]%\ wD=,an: n.NΒ Q f>s, Y6fkO-Fb-j:drZ)@Z ތeaS;o1 ;S[;,_+ &U_[="paF<,_sVYTz8-Vp >NNڣ £ϯcDܨW嵣iz6)RDa(%:q,d$v@Rǯ»t]Yײ )cz#* nL'b]NFEf=v E :paq<ɻSf j$ƍW;LU`魯`QLDҴ'qF+r'li7|cf|ޡ@TK/=ϚҌ$3 #5l2JΥzd2lna@/SH.s@ \+Ҁ˖Mvwn}*A(1"^H<IJOKI~;G., &Ky^6LS`һFe39s/<4WF7zAp- ?PZL%/k$ ׊m+fD&J Lt<Vz_ j'Ws$/E"6F觰5W>4Ppt _396cSg6NϬ@b"閦 K[ 4t>*f~V@SX dqx鞑y;iF S*xg!l)-fƺFjM(%YgTUۃ#R$l !Z5`XzWTtLewϞcj)xsƾ'PP{ള93EZ  n6[,*}zB+s?Y!] 4VX4\Xk"[qa@ܿ$53GAו&o.B/*4 8(@1i3T6?iP(()&r*'ع#H'W7^kM=!Nf49pAqhIo+7q` ;+Mş}3BD&Ly.ӣK.Ѽ!Yb A—_Am=1ͪE+ !$xn:o-:,Y-2#58io4拍x(`n7# |H^ [ӏ[l'Jo$Ju[x}`v˃/'MTS8'N0S2ʏ$-0ok 'y%V! HR`XDvgEv^dx9B li(=H)p3!(~U%'}E7u,2{`u9X'_|o {,ػ7xt%gDcC\DE -w: ݲ{%!< =0"O)(Ӭ˷8.Q{1?YR{`ClDxP26C^n^}妊31szRfLjp;bv-U:Ryi^{d` Q@%iAO# nߩ]bX^Q=x68'h5'!|wy-`Ai~_Ҥ&,6}#6 +m̉xxmkwd(IvǠ,`*1"FJ8-?<\(+BaE ovAjM7vj,iQG<0S ;Hqdfm)bx%=UȲǠd_W:j16 yhe8\UNB .[^jEqIo^j pʊK r]Xe2 a QμGS?nWSpBhD› .FoC-(rvXuԙ)+l0s:f?ݷ@ @ UCh6&$ЕJ¤ą21:s,5Co(G^BvTt:ڼC^g%q⢝gG)#Y^ϋsC79.̩~#eȇ)`^p[| P-JNxG0P`ZϚtnXg;[{w[ng>#}Z#&d.E)Ae~B$Q9sACjNjIN͙۠r>ۨ腑xn9TCWsI|SolK׆ׄP$WF,=2Xsk.W@S‿5. 3JhJͮݮ;:9(t$z{/q@-6ͺau[xxm$>i2o ;;ѵ~Ok~ `#v^á~!!^"~SOgDn^O`LÆT) !gWrɎC9,@=lX=z^f Һ9+]_{YSY`J%qԍqV` <1C}.]_׃L)DսYh!m$qQrSFf@( }7pnHjSJ;;?-@)t/X7;[ڷkCcߞ]}4=K<&b# ui⋰ژ6r&x 7mtJtte/HkĊԯl ]10IU|0 CeP}";ٿTfUIj}yr̋U{hE{˪۠g(Bm9˙=S >.~O6 86#@9Plz{>fs>L`y^\!'aa=Bf^;g[ĤqPa:$8D!V 3O&`  >7`~=,q!Y~&K<.~SP)`sp7H{-:u'"K`#fRKtb2 P.}`c yX P]̚z lGKL_Q~s#0.2eWugU(@'v[7Amvtu 'ܓtmwXȦ Y_"$#q\G? GZ՗::8q*qHO¡=g3?p*VP`ÒIҋ*ĊQVxo 77  c9UF(LugJV~Hzh[;;a(d8K*XSm-!ɃTFօ3 8*'P u*i #;Þ}.&[Ƣ9UX,rxuQy1Jr hťǙ*}pEHyjSYU-v.e]8c[|J] &bGL{3R{Υgi׀ɘ@tK*I4["+.!Jjh=@=PB<Ҍ[|;~҂ HoفLy;KWB)3~~i0ˋo H f eقXַ}2| KJ?o#L͠7 |ҩ]hrAL#_d}"+trvA?jUvkBNե1X-fSYج[VF m^s_)\bV0oU%5 2>Ӯ^TIUqJ}\#}Y@Ԁ"7r3KM>uWw\X45$AZN"2wW*92`ݽu6u@~X;frhkˀ~B$5WxP)Qy^OÍ3!{phZ*=fROH{tP>ƽwe2A2≠LwS0b^U*\ "qT .ѱ/Y|ӊQfsNb߻_3o=qKI;Y8u| gQw =' 9{H_6]h VN~3t I!*yowy)j ]PQ f[=|4&i0ٮ=AwN_nMyN_9tɊ/:zQoqPgAF*`iM#v!p}.'^g+)k.aBLqV4GӥMSPp籼͖66<8q ՝C1KDUуAIFN#e@ldc9zo#V6VnjAD&^DƊ #6LdIܔt=\Pek}ɸۤҺ@;ƕ&; I,ȅFfw6#Ј e_rE**#8 kO ChmT0ٕ_#a#F{&?^qC{;iyj,<>=XrHZ1B"CdrjJEQt#e4&fSpux-s(wY˖/"i&u`\x;Ys|m:y7/)ʀ{yCV3IHAufxy'zm2!-ꤦJlRv%Ÿ$?uK dZQqK8iq5߹[0Wl(~tܼ:h20!`Wx@3I;9(bL5R~B[`(Y;#jHǴB[=gO> y-fo˃a`z\%cNJQI=StR$Q}&H×aB?-6Ľ,UIl[hi!m (=xx3Iw'`~_fpQI6dqi_|$֭=qnea݊ͿDuH3{=4N *J o2&8px4۰ˏ!+SPtC:R}e:|bǸUMa}CA붫Ӭ@XwX\=]C$џƼ{QR\)x6QAGPolY)ChkRWE<0g4o#v 5s0ȊǓ^, -BB2){t~7I#9%l\g"UI r |۪wVV tu\u{אX [Z3)ۺf=D0Da)Z dU.lSf}8~xdoyӫ#de:npEc ]~ Y&|hoǵwiKuBpv+s{G6d6,v{M!]zB 55(@ Ye{[pCw팊x1>SbMxgnO۱ކA"/Ef~⺯SiVE7+ }_o7VaϮ4T%!=e|Oq-_8 g Gh<Z!LB|)ٮw*Q`tAly~@+aRogn`Qb`Ȉ9HEщa t9M A+FWI:OL.l?gar$^ g^~̇VP"h@c4#hJl6Փ\k:u@WrJ4n3P7ݱ`>L"S{X^x!R OG y5mmb?Z@aȰM 2>lESQm97f.?EKXu$~]x_4MpM]#I `-}IKEQ ]qòp$):"  `F^C=]Rj mIOe6纬;Nîoxč%A'/϶+;W@ݠq(q<'!킦oBI'Py wLc-:``cTi##n X.xʆ]"x,l]fSWHHp]ޢ*?iy:,ꢴvji8ɿaǨۧbR6݄n_#$0v5-Ir {s1`x,57延]%x1@$ pfmj HPgu,jC%Fsw9i#A@mn35:?$.*8-#aGyFmQB{@ǥͩ(E)QBf,;"v^FwHX/΃8g REgYM1[1VPPPe0OVhUH=63M].H'Uk!r1WLmRg]R(f{PQlh\ۜTlOYn|@VI)#ͧ)K $44y!鬚JrXx3:wF1=Qxnݪ","sC0=z}xQO>tW +qbN_~qQ{%GZBEu99c}A"9V'A0ˈU< iN426IdfXdzۋksr!͈6|zwƹ/W!(D·Ԛ&HG\Tԯ+?"|4#;++D'EATXŻk B+,K\ gg5lEM_se3jOZa2Q[.N'3w˔ЉˠȳrS>nK֓ж:U(_i,Р;;O%_!gpt )'#O x%[8V{qp G;݃võjqS+gZ)#c6 uxYmO@\w2%2Yt" >vipڻngξRF'lv8DryIg`$gcVff9CWt ye-zenCEfƍ9)?k"||%CAftцNj'91Abѝ{ *p#wC٭FWQ^{E/^$h2jz}]]̐;fq̩H#{.R8N ~&eV x49-ǹ  h|S19 D>y`-&R A_MS+YXbob٫JA$d?HUz.Ů'b#>kʈKwh8߰]R]aHe|2_2GMG>t=h8&tf.IJkm.#АeΗ۩lAY֗WkghKI6dj6ua#asgePxen9r7<mwfbBm4q)>FëRkHB!Df@ɗrSQvkB}|mF>]i&:?Yšs'sÓ {Lňm3Ҷ>j9E ~ĤxNq'$Hp ~AI̙(=9>ȃRԑcNM3ݶٓ7W0 Oe*ҵ%K;.r2u~q\"&6A?Ҕ,dgp'nፇRxl 0Hl_B(:,}p@1]P Ы _ `wTrx?/*յ+ 'J\rr9'i.CY*ĀХY:%[HxhHY >DӉHt P(JRR$'lscO}d0\I>FEbFCX#Zp_N/hW̱LrAjGg82(sLi?5J`Jb#(=]зm b>("XDw<`?H&] -<4rN⳺i^jU ; Lk??QZ'nd{PpÕ4p"UVo2 VėԾ%)'_ǻy6M`{!}IpM)#Vww4Z|m^ּ0PQw'jKc%] j!Ai2\J-ץQX'd*&Ȫ`J)cmFX6 rӶW=NdBj& S) E5wB+MpvRȸ UF9k} 7ƨ4l3G(ݴ9ic.:E.Oq?a(HaJɺ8icx]v-k뙆1yT$7͞!YTy-a+` >B[N sNAo>Wc8FGaߎţ;|M}K?ټbRAQX#I ,fm/i^RB#@e!mbBc lgQk9i+P2ш;&@PW>c.u6oqo3'RZaU'(fA+ "OCbWz#޲#>q2J{ZDz4\CJL9k1!Gi\%LY_"k+e/H%׽%=MKqa9+%T1B94ujYJ>uX#INx#-.mFt qc C6!^kYs ޺Y0r"Q q]@gEy<Ÿ zBU[n^cؽjX1׽a@d{pRӭ%C \bܺ1њLH~?/d#qqQ{*葀 } N?g P}"Zz(s]؝( p*oC/hf̋,PTP40Mwt,AzⰀqY;ZE)&2|g DEu]`|^/L=>Y;+]Cz>ٍ B3\rH SԁJqR |s=|T"(_ؑe_ łj|*b#kRIJwwdan%Z;PtK*+x83@l`g˼]ʌ"_y͘%,G(V@aYCr($_Fly6XbNmA)_eCݞN+=54ZYV-Jf3?/ \?k}U%(0wy>  'j34Xtt*u`PټQvraDq?2'b)r~ph X|ʼh~j;Q' jܔpQEyUpF8G{-NU5мPgL${ Keh>&]/jؠ8 O_†+;^ #7vԍ@LsYa@SU44N;Kx\%Fߊ؉CeOyrF6v8̡tg[C%0jc T[}׉ڲ9a)(Z\NgЍ/F\,^!^P򆈕>DC):i Zߨ 08qY(fD#<4SŰ&ısAf.4)@a:nR(Q7D|hm1J+<5rj_G6¹zQ%V w@5i%^r" 'M9ҺH:QFXXh&{8^ӝ^@ _W?'G<5KhpNu ڟr6Ϋ2:\v=_0o{cO$WvXxq%c,[OeF]A1k(v6V/FJ:e=P߷̷nr$]6+]hW1 r-Գ]6>ԱAZel`IޫDg}ђIT QRRwOivNpiQRXՎȘI!˂J6z*yBnNL.b~4Д@  6c!cRkNRn&G/ ] Նޡ+Lڈ]čWu F7#Mϒ]-kP\bѸ@?ܞ.ӭI{@dr S,QNZZlpRl3%D|aV<ӗB[&>;>թ[gn?9 @5 ~ی~xSx>l_c95"MKA"S}_#rTeѮk8w5 Q7$osPw("+J5"OzgC%odX(D4͎ /`(MVP԰4KJ.R{1oq?",8{Mk\r)*5TKefSz3y'UUq'@үŷ.a0GVX"Ca=n=K I;I.|OTV޾]٤HQ^]VmUy*\҂D;evzǬٛy)6p}AJgS70[G) XڎIiǿt;{|1S-MݪԈ"mIp1763c >|~NgYZa6a0b50556e4e092a10e71efd1a9708b2c09545776b019a50eeda51c4b74870607c55fbf00aca327 877f746cbbdb3ee6d67adfa0ff386a8af3e6f35f 2ba2648cd2e9eefa4e482a87a5d42b21c90574a9dc112d48ac000cce0aad38942cf71bbc1e0d5228