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  `%<\t ]]Echelon_Form:threads=4elapsed=300.781cpu=950.136gc=104.172factor=3.167zXZִF! ]ŗXf1-q恈͐7ӺV /K!W8DNKY>OjxiKGnC)p?y98@4R4 T= ǜcgi T7Es:4B4t_r.f4ݢYQml맴Ӫw^}*>7wCo1ˏJ)D?%W=C"[@MWy")^6`3sWd'ԦgL`7'i`hx I -as˫Ds=E '+VU> % 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 9z*aQRxe|D@qCЂqh;d|9Rt<$8!"DG:Wz. ;dq]>n,W;̪~TnzWaGPo'_3L* ,dl4gp(N)74:6SgK9Og7~L7I-G^ڂְ]{AhEt&N$Z5 )k1zS}M k )\h<@Ya pފzQhyCL\*'<9iJ%aPkw|V\ k&YㅖE.1ֹ94z5he:yNzzME^ zu`ai"SL1hs]hmy1g 3) um w"7pUhĽQy ^yTKNwp`\ ˋ+!{H1툂Y@$M:2!Ծ0 e[O.C{-vGݖ4d^qxyI. <F9G]d,n3PZR̓N )rg4E|ƒ1$فocYgZW=*Gv©n`"OpTTƸE $Ӡ<ysVJP-Sf;h#<zT/kWu$dwtS8' ȓ@=@B4FԐ0mW(2k ^L}Y9xR[ܮIhWU\~ZG {bI2r> mF$!(tvz˗2bgK;ko{z@d@7VX`2y%zcLV<k#j~b8c31" /QHl=eR6Myo%b$UmJzuJt.|@CyHPF!N^j/h= '8ٽ)uSpT,Vn=H1]_aenHwmt@ -S9`;U} t^E6TW Pg~yo=HT]z`'ilQeV|<®=D:zy.hUx (y }0KOXHes^S & 9Ru1c9 ;~r δ7oيЦoU Fa34+I(.24N(nimi!vD`jqTeWP\btcwh ȉh{E#)H~|*ĚhǹV;u@h&\,KLgY)|h޹crt*G|V 47b_6JS4%R]5bxԪ/5y:seygFM[k%.؋*VXGAsHo9SZox,Sz!CF|0-1:L;w$wf.:R5.6BZ9!uь]^l R\1 IV#a[V^=]b=;Yk 0NM!omϚuІpƐ1ll < Dnډ`y?x z*F۽tq=)x7_ *7U25/`e{ *RDRoZ8ֻǁIp'+#X.m8LCj9Yoؖ/?EZ86_?4s m!5ij{ q,Y.;nsoȧ_gYZ7zXZִF! ]ŗXiɟ1˦r+g'Dgr>{pNa5RJ9kUfYAa#XR=֒z /ñ3¸qgLL n ֤εjVsit6= ըYV{XwJO捄)ǃ!ܴ`R @J, VJ̍41H'#߼]wNē%Y25c|9Aq&B)zERE%LF h[=lQ ӳَHs6z**>FQl]MnF FFSzzDa/9qX?%Hmf 歏Vj,,'du2Ux(u& [iO M`HtSK~/5q$nvoFeHC1lw>\ZxzDp_6.W<93LR1$ֽ_uȶA2"V4Sr6"3wDo۔7긻R=fZ!/wCZk~Y9Y˥"j\A6,Uzv0Cy![ TIwQ ª-6(±qYd(>&MZv0(Bί$Ǥ+Ca@'t)_лN]!9ZhUX2;r&eBH}2W.RJ Ȉ] j _r; ~.{ZKO>uoDi+6O8Vj wr(D\P[խ+K6l<hkK 9d%ac ԐG\6MσTLAx_d``wt?fT-W6iȞ !`qObrJ\(?'GQSv[&bB #y5&kĖ`ʜ/&Z*椈y&__7!x({߼'OWLgW/(M$SegR(̓5ɮexm VP2&CS)02q{QƙpE9_M3 JgfV K|޲8]~d6sP+w/z11 jY(vVٽ,9)g=]B !EE_zbZS^b}!2,8-U+&bd^I]J/_SLbya |uryy,ޜœ=`#Vo$<2*'Bɖ&RPNrecD,}2~@Z+kу:qG\O" ޫDTpT$$,aG,TS4TAVPi#^t6qAf2-'  S[֬RZ1_plM3u !,b i,*ھ[yV]OvJe̞ h8S#UIY0D /flKQ*N_Z+AR!n2&!Sl; 4X+[;ɖ<]A:w ro ҅ )hvIa\L kf}wT0/ +hS$mWC/IuoGk<er>l/odW\ JȲu-$cളpiA51t8FJUE]5^¤y¯nrB9<ZP0FgK9ԝl7PXK|Hf |H/J'7R }iUru` 9|{@2 :5ܔqߏ%DWRNJ &@w|O6a/wk(=~vh|n;e5+-SJ1>v9\)%]#d*E?HT (27xmGi!f9"%8B%ކt $)6O.fw+g;,;`~-b*e3'5Tf%FASM=HB֖g jcF~ S -W6 xc>>'SUZHw)_q>1C?.1(I\2q Lh?- @B"`1T~`;- {t˟ݳ : #Va}"^]݋cJqa @JGϥrFK] Ќ0gI0zG-EY\&fxYWB~$GR[̏Lú9RQ¿r -<ne4]ڪO\Tr*2}hjkŴ}0H57K&f& ˄Eqc{1.gV "o]qU='N4RpTwW2IfbVegQ XwSe.2O ~Lz^Gfq9 2~e.TA+(5L_( ~Z1swlǸ')?ØGmm1%<xBC!µ\= XV@eH>a@5!ΐ)M&ܘ~k! Q颹؎\> vmΛqNr,ECܽba"c953ƪ֤O݊B̅};0 $ܜ!ޓ"d%{}D]mrό1!' 33}fL`BIS%c"x,]0c Kt,Zeˈ C bdu^.Kgp` <{giu @Œz_!xfeU:qtAŸaV44'8.lJחe]Mw7U B<|w`|ߝGj7 š$3r(К)4G'5Фz@eM< 64)<PF[N_ہl1?pL4i9h+,(t] ~M1ik9Q2N,˗y{P/-1ON fFP*٣B_ikVGc$Gd\JCv%)loDI)DhZK?" S  j Ha3Ls6>rl$f1<ׂzxsGЁ)L[Lϙm:NH#%+GM^u ))Aym'z&9A!i\I&$?, ʣEb+v 5)*k@CHb[+N M$@Az u"eL ٝ)_yLpq"5~˹ 511Hm8v7BO^-G{c(MBrޘ ){0s `IdŝL)ޚ@"zfآ>2_46.*0lt];<{gT@LDנ~]&5N}hU ys%FNƏ#t" ۑړg[SDzmۍM'K,edD?ÓzX2׮W(^#']JD^FVRܱs@[(_su?KH;l"C'!Q\bRA?!|:)Hr~38@eL>O}?=Fc3WE̮Β4>(^ۊ{:sȳ A4؁ W'\j[8g?>yT"Wx Fe:q$Չ]pFLQF&J2tS]Kd`Y8!a%Q[8XU\:l:o?, ~tFT3C*r#f:;D|r[ gHģ@\ gp=@Vl.VG4 QΞ(6[f+x^pIvldzR*2ڎһ%\sk\SB=J Y)7K6szF2xN43zqؙd?]f]y^ Ѳ0("r`E3[31PwBw"p\C>tJ=|ߏM19YdLqk:+Yՙ{ԫ}n&rR7T?be LfP@p)'\7|YB7IP? Pz. =L ~ܣ/fFez n~S"DO ٓ70sA)BVsodL꬞ 6b{>ޝ2%3N'9B \?gh/z['$ q>L#^J3zRn>yݭc1PP*G){h%zrN YVoZGMטl"zz(dDi*D_#b`6SIĸ#'`\/.E;5`Y5nSygι\) ۷!D,> qȌ7fC^[?nEGv ;poz[0y!Rb(_VDYWZZ^j`]zn"<+,w+ȱk&Gmtx*:}tsNH_ܤ:Ǥu{>nZAIbsVONLmǣu!&a$$D$Vh4 EH8Ao5U`hM5}-:KN_>F:UWQ'@UW*=cG!{\4n<.bj{_P3߮C.{KbJ 'uLਘTJs_qL]1b'7E*Yo ~><QѢe*]V?)xx>P5G3Y:CmyMsbVBT zfOJߋZbB)Jf?~DFܚՠWe VA'܂n HD,#́@i*ǥ|m\&I Jq?z1P7>es?O8ӢjPŵUJ`|3ցFwl } p>A (?L7HV<JtT]G3Г(?C);],$@:9SDl,":Jю0t#.c4=b1uz)I)n{ʪKE?#ҏa;t3AQPVr(/X d \jܘ0)֒$.,lzh#odQaq ')nS?; SKFKÀt㮥m*6NnOn2ÚF/ E(*\QVi4Is%A6ӡ4*qN'Bn+]{\hsrz1rj^ Y!y:m9Ia<D6Ghmkַ&DƐ¼9|~WɚsΉZ07YPƱp˓k$ 93A1=ZLRRq^O4f, " LhH7< X#Wx]ס^~.Π6egݞm&<(6ƣGr #]Lsx:PU>9 +]=O Ctz5s$HW_ڲbn P3qپUL摎aٯ` wtD֮{8!Y6B%=v6DxDA휌q=6ՆI!npozon(J]RbhU2,,l3v8[#{2oe1ms+}ЎjX!h|s u2ȗq%vNI~ U"WO^=(`H"=.3oṽ?F~' vw 2bf{)A{Z8cAաu 7k=3q9L5P_D]WI 2襳-^8zX$$p|J H+B$nGU+{KS?P::K+k"6А_:5E-fiW][|c'j>_{#u /C筁F-O(PՠWAIѿwX}d]rYpyZ.^gbW9"/%(CD%ݢ1G?h{.ޜlV3yB,G]ike> R:V@xAi^#q%G(:GuZRr{mNE/YL8kyDT~ N (Ȧ_. Z$ǀagM 0G]uF Wo!SK\IeuJ^AIkl?G90hޓ4r0i}c(MiM+̍nr:z\ ^wq!N8l{C? f=5LSb/Iz<#V8~v TV6QF䡼vt^HLd)yyl:1~OE94X~4a+[?9E A79#q+\!\!ar\ED%-`;n ^Wgk=Nb_<F WѬ_3`HhdafBm~# aڳv`jjۚ>D#A,Õǘ^3u9̐3'}(JA1c靳|is1|֎~nyNB/stO9s%~c?Q x}B[3 c6vMxZ|:V%trf&maV= -峂"_,hWi-GPp#5uuhuP~ k䙹ix.@vjHkAdPnAλK'峀fLoDx hrdr[;PiA&`CxqUyC3N 6c&ti<<MA%{](jaK-Aq>!'?lSS3Z L3)Yv%'n)9p?%7 "VJ` Tϭv"!=mtxL'^9(/5~|br/zaƣ0p eabgG?ED2 fج刈8$B9L۰VĀV!k$MeS4oO*G/ [=Z5i^tb *d\)%1Kn(X=I,oo6r70%Jo~Aקψnōd= 8qy5C_>ׯD0Uk<ݕb"Z):9Uq}oߛA{ m~dj'f,BxR||F38,7/s'y3ٓ]\ֳȔ^,;33%yeG;zj5:_mIӦmNt2 W{hƣ;A;:@cLc8wis~1zJ%5X|{)}x≏I~B#)?i{4/! m:+ a_'0l^jFsSRAc:e3Áql'χxJ f|iu ebˢ-'I[l*ǣ2x#(8%AZۻqo͔j޷CjtW}9GoώRH-Mj"][EA7!3qcp2OXYS)aI`Tj.1%>xEG~£?/9ڜ(`Hwd&$>fЁ6<Ϧ'd EOM>+-!Ϙ8kUCM(e_|vp1eRZ艖o s6Tu0SwdF3E^u2VYm>*RYN]4$ mrRYz@i$R{Tk|uf< Л/yv+ y9ў7o P]WB$·{%<6;}AҒihR V0g=3LD 2 ' 02HӇYyL gc-PQHD0-2<3 x2-ΥC6oe"yLan_sZ+a5Z]ıvY;;SF{%vp\q|N)M? ށH PV1" i \Dp^!k$ ^F}B^NY "/HnVG#K)@p v;v ԕ U툺#cA:̡.n }&"3KP&,wǓqdSfkS`I^uRE:eЧjY]\IpݷjExTx\K:/!" SaR&qf5n7")uSqxLS֥vYj#a/)vAH'|VFSjE'5A~ 徙kO"WD$ L lAdt3!kctҺ2r4R 38ourpbURM3]/K?^adE Il !9O &}ĽGI,VPV-< |J ҵ,[I㔙3R*SuMk8}:1QrN>-7u:C,N}qCTN&e=dRn8&'DQLvcR8wo,/{jwL<*猣gM]:GCQZUAB^-rXQperީτkÜ/7[~w]Kh몺\zA0VQ|TP7kVّƳN\@.m-Vf[\rn^XHy1*b…Ư^ C>9 DW"FJjsڿB]M 0;&S[s=zF~h#H'CLLs}T $bh+Ts-A˝iY07;T(KЇ $apv`)nPp{Z PDi-%~a:E(v$$.NQB4]]J_")%ȃFi@ 2$_ EfkYVIF @?Z ,T_ބyj; -]U?[ᙑ-oa!H?7&1;& w%vO?'b3IBZe`ulFTfy 0V_po4[X|\NYQg;gLѷuԇJsQOB [G-X5wԄEƭd!!tu^kCgp0]dW aj~Ċf.=#Wv Pk N_H"PU mCOsP"ru ]|ڠ%o4Grk"clsK:˄'K+Mu ֵR `3aLU,uC9O9Н6hMKl59VF=hU "dtL8(ux!iD;4,N4,xh)foS6oϐRȕդ/FTF#mʻ; ^ t[N\(NGt$Qs}ڽGyNmהsJef @A.ru3 >3teVY$̢ؖ2]ɚL̶&\9ߒqi|2 >-GY6 yJF={~IZWX=}|1+,O@#;Clo/* ͡hC%D4+r10 (\\OE^٥ؑ cB9 q!o,wDX RO`.3^!t+\Y+ A )]u,e49ބpYTjHh; rˀ4G;c]1s2ܗuښHì_B<k<( Ni޹PŨ-.jzu*DURuwuUKR]xѿertDFLo}BiR\p 9-;mϟ8JL^om-QUK/[ aGcb 'J9wˊB4R1 b@.ʴB(de,LMe>Hs{& B@v[xB!5<`fH^}[b?JX,.>+5St YY82J5={`_!=3 X@V /w|$P\⫫z:l|ci4 es"cM03L#H.6(sG9=j @(Mzp;%K Wb-Y"}f4\YjU&#G:eS1.SIY}덝ږMn_kɢ*04ύf#8m\;W_,ƚ'|7,uђTm lb" +8x&G(. og38/2oS4 Hϋ_(scdݲ9Ū/OB7=5o`調xy2ھUNׂve~V~x>Sn[Q|LN'XaT*za\b/:#+[:z[A!2m||&0 $ 结Pe$8~.ǟyٸ&-߼%4;'5wzY o"DHpI5 K3~ o+ͺaHۿ ۿ'o 3LҿJ2-9׍mGr^&:dg*DSeJA'8+>΂w7/OδqsK J֘S@<=ߏM&S}DKزck W1ي^Y'S2$agL$/ xQHVeЏW}%XT7Bj%L!:~W!?=nw9MC_3RX;F(E_KXȂԪ#Mo)2BE{8'إL)Nk]k(c?pcDy$dΈǗm.0V| 94"*`A%j5$լ'Y;]gѻRH75#`Q վLͫRhyja-81 ͬtI\kzCBYrL[W%eD*!NpSr.%y+fԋGU!򖼮M\ZC %Yn`N4 O2iה@{a,Hr>NhL9ǣlL6;^;ƉL$$$)`\gc&MNʼ׊uCHO$+=qI}uԄߋz_:Q}\ݑ.3GkG3VXAzyCflrN l+LR/C/jY`sj D;]e"kmfWp"eX`k;ٸv gUWq֭z@ nDmyyepͿA">ދ׉rܢR,@9ocJ槚6.DKaPɿňXt,`y&ȨoV UJy`@}ΐa!@ڥN@r:(%`Ur ."#sFjOYgRuaP#$J8sUc۠シ zgBgrYQ5Gy@~ rN>TQZ>gJc FcQW,ƕde] 1Po: `߯,`BHZ5߀V9|8 '/"wB@V;D'\Kؾ?7ќs3xKxbS WϘ$7l6H˕\ #Q[0! 4DEYWX+Q 4#Ớ+whwA=ie}rQ蝳nX6ȁCe|p+XuvOdy-/, xʺ'Rh HGbgG6Pf&0/~c|[CCНA &--89N-kW Qt]D #R6" EpܻQ}>fm+xM8]vh_!-f@.rOvn(O\Cvm c.˂j;n"Fa!-ص&D٫B8O %=>u:d]AUEljD?ZqP2@~WK?iBu{X;!aڳ70y3x|c BmqL,#a8מ}o,QD 5r\hzܢUYK1 P:ra؉'*S8cw[Y2&7{; T^=?6:K"{ ]#sx&~k~ C}1 z#jT8l'DS/2Eg趡Y4X'XRC4pJ PD\]?j!IGG05lQDc0OK%+s)Ŧ6 !Azlk/>W^wDM6MA)!.OF8TY rp*R$z{:?x*ݟ0O52RtVNcnO/xd`< ?Ia~ƒ֋ay'mm3F.LSSέǔ VsA* >o]$I\&I@R(?hUWz/[huʮՋ\LEbIsqҙM )26![j@פK4,D܊SyM^zA3A[}u8; Bw+Ku `xO{)M'Hk27%LsmU@?`/t~–}|eVSD7eB$qYU@]ZQ[c!c7/XNG\"I4#ԵnWD!SMsWC}=VP*'wUWL~3_J|g3C)1潑45d'bXf>cPH'Cgs*:_ZdjyGIYިW >Odz]A~nn̏)4+(^p[Fk{JEBb;\$yw_u?zG`~^ىP)%L1KWt'[䖏[B4l~v-_/F oNƖ1Cy%{@jqppUhJ_˄ mz?]EcZ*%pA%&|2EvH6B1Eَlc@k{R=Që$Y 8rg_*1ặY!eW8٫!M^rdJ͆ MaDU?,vxZ7H?2xObtU#RW]ִu#Emh_Iil sⵒYBxQu!Ev>'ň67{gI 6.m߀uIIWye*22vl FԝIҴ"'R9JPҮdk&.䇵_܆ؼݙ*ly|Eѐɮڀ0*̰Y}VcwvyC06@8S`!!6-3:L:`FeAp]G7uCMXLL;“j}~ >T=tم3a9KRrEd}!|Κҍ{:{R2 ыE7o\OqAp &Yfց+XŭlHB\m禂Efg?d^-m\5CY`q22R20ԏ/AxCXޮh{IFF Fm AkIʲ1F[q- ;#D<,FڨF;ԪM mo]B/L'wObΌ΍G EzEi]-أ;w2k fiw@C(&Cyc-ef(!tv^ɻbj~r'$YDjJ/]I ZPN>|-a%*gh`ʕk `ؐ=kQqۉ}븐Km:"34o&t62|1E˃\|cEBْ[xL[z"W湝j+Lmgq#IgZ0 {i{^5Fgj0Q sNy$mh\h_|Qi\He޺\3KxQG$"Jz !#dnݯp~"K:a:EFo? 9([^r*(Dx:/[-I3\K]F_)yͻ@L3# N༃ ^}tcq^tOXGMJh J+ewٔ5I yb[ݷ(d990#nm&0|xSl$t]w\qo[2BGy:y6PX/>I`XnW\rFM=:>UM?]#>omB *n #ߜHAot*hn1sg>[*Vnoa5(YuO{dtw X7X=Ml'kjS6rΑk: *ſh,10oJDmnׁ?}Y!v5F:SVB`qr(OR-8q Ivw>xGXb.E;KM?/` t;^?.ȗFl[I"ʠbӶA}֗XRF(eۃOlKy w_s.eQvZY,P7^] h*Q36YIKnxOgE,:kwK|^Z-s3A7BYH3k0pF!祕׷ { `ʞkNZoCZ2$S2q ,#v:|9LIVQ8) ~!bZF!)f8+9,@ 4