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  '%d4 ]]Echelon_Form:threads=4elapsed=307.860cpu=964.696gc=98.436factor=3.137zXZִF! ]ŗXf1-q恈aldC>14aUV#/|) jUe!HpcxQ:AbtjE&zY쯻_Rfm@`S6t%J(9PQNXY!Г' /뼌=QՂA0_xiàb#CIs@Y(e>/9׋,LA #?ʼ'_L|@AJ͘j/#?jiQ>rT Խ*~@_Qšή ݊8'e޿t-f€ _4W8t|70s2T ZEHb{9~L2s2}"hRΰ>A2JSW&ةnr<#N=dψq rYuBC=ђNK l {UJͻk\tTi+`&Cv:=mGb)P[h ΨTh*O>e<%VaHzCW)9QJA!d[ MkJRr );sk l`̂5uow ȽùZjݗ~@,H?5o;qfjnS/P` 2X̷6!W0 2N)doow4iq-jfkÛNY stުAKSÇW;9EYd,hsx __☏{L~߅Cg򶦾Nj[/ k2G\{0pVVՂx<&BTf! J^St{q PT*$l:2#+тIRk]k3SI3Ƒ^(y\MT܊R\\֚4!s-x"2p9& "Rס ,?:tF8?=s}ئcuW;M<*6-Sgm,H,au]oq;L?9 % 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 ʦZ,0Eq!o19<39]/`n{؀Rƾ_S0|w ]Ig7oAC^㮍~#Kl;7,5\-Ƕ9ETT:8lmr@QɈ>)ЇѲ~کsP-uT_ N>ݣF7'KH̅W z=O_r6F!Q83/xXWPe*o8fa3d$71ê\i$'L פYF%Q4wh߰k ):H|h"j6gioiף [^%KӔsrP÷6p74f P̹[[OB biOȓ$cr-%y}Fуq)ey}YҶgl&HU|(vbLNexcx;0Ht 6r"ZXa pf9 /P@vT%I5|^K`l5I1^WGKe\y)1"V2|>$=F٤CW zR mF 8p7o8 r!}oChFty80 kD%{/Lfet|X-Zj{paبW/+bS%=}&:*!L n\(.&>;KRQ\_8'$,W&1&%fN[*c}D'v'Umgoi$^kMтk93WJ-.:Xb{!6Ch_M_(?(_8||]-TcEF@0.3y낖|KD'Q־6Ry#&kQf!& Pi'2غz%$m@v[&/~sS[Pgɲ#w5l`DrK:w{c` H{'3FRfZuS b|s]qQ1Bt2Rl+uLOvJh^-!\v3u%/nLv=skHBvIbr3 v|`Pʱ6ԑ6;v[?@Dؾ["/3un*l7 s W\BSw a|B~#@lt/UR9i[ .-o 4^&A/2S+z^sUv@7dJq pGb vZ! R]V RdjHLu}]m `9bvs:rYi̞('E>IJI4UBuMEcRL|{pǺt-Vo\-蓧cYSԴh6,V66:DQj-"{pNa5R]9_"PYغ5鿾oO qKIwJFjtVv'epjZ"Smv< hy (wt൘AZ^ OɇF+|٢\Gfim YJ)zwcj!H&&+ޗMhѐIpWݓPzbn:YfHу۸<>EAZmfBHC٠LQ  Q)w3+.$JI%fہ ksU[t2x}B:v9h^2H~o2?іFO M]Tp һj9=r'sX.i[կP_˂aן4zOj9S3?99<fG''+(2J/U;v㷔tABOhu=F,e IPݣY#Ti G#+8h]Ëyl. EYӢT|n}G@}m_~}[p=PB('_ID/!PS;UA>iY*U|'B3.=ʹ__m1q9-HyI/5[7\)|.M1NN/d5+\p9XSHb3VRZZd1ׯzn|BA11;Kȫ?T[iqyPTY,cU}\Jm\0I\}m%XPS gWg*dMp wpٌ "q 掬alpsD]Aܢ-Psq\o<7FgW mծ , m+`ݒVQT)oO |a'"Nx*Hw`)zCmcxF}e=镰BSLgb".ֲcCKMå!RGgYZ7zXZִF! Q]ŗXi%BhGp hƆ,1 ҜؓH`՗`&l DD/uRF[ h7$ ,mX (< ΔN1L@(#ZPc_a7%B"1qpۙ~ղr8g#eRrD>TI<Q h}`A'3Ezת-n1 } 7x95刷E+(D̵ur}lOQDÒn f*y+G UDi;]|qBD85&Lߤ>vFU,dӭ@q$(I`tSouц!x5 )2O L}9*Rf4b00׭mrKX渓 ~ Xǹ/n#ԉOG_SQt҆Ni8Laːk?yPUZ4^Sg^^bN-Ss}Z\r@j "lB Il,W;idQO)ߩBz)gU-fΤ:SEU)6^#ba,6 v/~l%K ~CiƖ\](QNI<~|ZT 7r'&^9l@54;g l.)ٲ)X0Sj7>i]#Bޚ$ jtnHpuE сܮ2&jx[zp tVvL$CGH taԾy"i@76W{%|/3X?rRXȥGq;Pן+"T)8 xCL<8(P2j5Hj zL@?Y| s+SJxw8q;# M hM7~9孩aVWi5vw|)'̽'KQ~oqj~P|iC*\++9mƆM@,|>[l7 ?+GRTq^XP$O(tA'#aWp|BG*nfv'&QV.{`}.qB.;TȵS>KUσ;e&}yZ4?| ?#V%JOzי'!g B1mJ2'~g8| Y{0%i|D 'Rv"Ȏ =bHl;}K7ܖ#iJd^ `_5'o1mj]LFN2Tfh("nYܵ}anw➃>1ؒ͞"g X ̟%G!)Bʿ w .KIlg$]T/%'ju"ԫ)g:w}Y\*;J\c.bO `H ?D^ C]z\9Õ&yViLlW˒ WcЁ MU}0Qd)d8r߻z'XВ+n|:@ZN Z9OV?9NˏU9țMdJP)$-@hĎ9nwe'{bX+]{TCy:'ёep\4DC(ܨV٣^f~ xRIMֆm#Ʀ^,ccF \9|܀_ʕoRAa.}f$>\rnb^qo~Th- 5(9L/~L/:{L5J,S"m}!>yjW}hL>[,pFRf1a;9^㲼 UJE)O5\0"i(O[tEWkS4^ ɐ}Xɤ{NP]VU?kER.h k(jHR9GY z/OtE5t;ZZ;,r!(l~UO- t%湣," sR:u8@#ռjTIT7(%`UK^(hʚԅ]U אyjc+^z:AЈ8iAL/sW&mکPaD#s?c!jVR |iq֐+Qh H! B k,xMԒRAdSeScdMRb M[0ϐ,LWlk|)Wk󟉠\hC&cy&#nNt&s)+5V *J Ty4ȎʯYKVHP#z4]*hԂ2<: y]BP;No{Q;A?%_*8U"pr Rv b1Oo<#{]xͣfXa(˃Yd,5JoіGObp FpQYޮй[hV!e  .I~;/bDũıAG3:n,sϽ/-+Sڦu3{Fmz.˭K3A\ tlK87 xo0YO W{H|&dqDzN7@_Gz !wqy0)CӾ$g[OU6XinTO=,o NĶx4㜅Ga-`7 Z1U* ~X( N./3CCof}m6h> L%m?JwYYUM>U,V}CL)β-Ɲ_ˇW˰6`Q%t;0 qӱ2Tġl 9/&9;t("넱am {X[a]5PKHڲ]w \KU}CnH j-$F5"H-'nw]\4(Cd ^ dضt@1@r0 2Xgs<ǦFSNq|:N؍:mm:^/I 8U|2za?n$ _ثW:yF&k0MwGN1qǙ|2@:iܮZb:8A݆snXH1`uiԈ@aӑmAG;* ":vr^`+ h?O= GfC{N@"0Ys YaT6m50PB+ :et:F Tw5#ʾl o(Xv~l7Yj脾m64ss'3^ަ&"Dښ4 %}iR.[*1:9J3(ս;Dd[iKZߞ'Ox!] hg~P .E3B#Ị1 I wjBP@ Q ,!l wwa"AcرgZ1 wtMX+dCt|X(ua;b. d\D3vdf*)b %a!F!i^6&ۜ J gK`ǰPEq8{G/cl(ͳcZOn'( > { yأQb' @?P+qnV 9OYJB_\Đ4uU$4f mӾvɰǑUWpgZ?6v_/v$`&d/q홓]1S7#OD>{չ"6Ü7*QiSg@ٌ^e3rI;;~B/$cvf<`9uǙphz[ǭ]+!K|6hꂜar82NS2659.P?%>֌z5+{rmTdڰ2libd;UK`-i%-;C3÷8dcMpgNutήO2}{0~`f 2\{ 3eH‹MIBZ& Ak?=k+l׬.Ċ*nLQXoM4H ^YWS,HIqaE2Jq}e,Ъ"؊$`0)Wҙ 2{"LR:^R6_)i8h1'@@na2ӿ890X|bP;hUY|<1u:h9x"Qs]eke "fd ZIDLkd "i4A'Ѫa<=@޶f5Gbw^Pq.CrU!԰Q1(c@K3%'fug,M~O"c*CXoq拭Y]_?zjlT KUJ /NGT3ʒ+dհ0z`'iV[9a~^5>ĵM'<&CWR@՛N8/NA}9UU.ШE=?MމG;?F(DOo&4|ע0kK*[OtSZP 5k 6Yoj`bYCWԟe#lD%(48g@̰/ǙCiebX縸!x(nKm)7LJ5VQdp>C11F[D_Hl|fFlƬb&n^U].=wYJr. 7ˇXM>X D7ܡ3L]_ NkLAdg o IAEmq&06O^z.p#/S6b=w2+x>5UWS{~gKB^4ͷnq=\G?(Mb2[Ua~k%F20̾,ܖ)R׊5w'(o4hb4(um,F]x$Sn*zH7T<,%!#rp²E3ڱ('pˋ$ڪhM\I/^i0ې]bXnB,/~OɹJTQ>!\Qv4(y8!"$^?yʐW.vvM;KYp`~.PGP s&.тމ3EIo;,++6اi)w&K}%JL\~!d+w|X/pL}}x|.:Qaݼk4H2oˉF\Jo=s|6jK ixKv V5 _Mm#י bL W !rnmfmzj T$WxkI/a []/dC0o7s\vM3dιZOjMgm-:LZot;.+@1Ɋ>qeV+{#sO,ˌc '3?uhO]Q͗ pmەцChr8UXl nY JSf@R^An^MJ?ڊ*g4bZԾr %RD>(-ִZ^%0q;!70ʫof&D֪O6"xZ*dŀEg@%cQf3jYy-y=Μwv}M+]&P] c=`E:چXOQ:mKYpOe'"wSы*oVү ȫ%*h6ʲN0_xsN!btwq6LUKd}Gj4bG\dF:9xs)6TU<̡;5V~=I99дcLrr@,'6qGȆv 7Q@'%Į8J?9wp.(- eL6 NwW=w}An7-&XʕU5M*&:AZrڶ ""cKW89*B<wE71īQ*ohsĉ\ݻa4fH6sFlv踁BOscp$Fk/nv{jQ{)[RKK w*HoIj[>+U[5^Z ɯ( µ02+ڢSL/T( Z1+QKD8^e&&Q.`sBwrN' [])+SO-RSKMPKSS~ȡ,QrZJl~%3ؓ,p!&q?b W@7~ =ՊVA"_,S 6'lm= W+<.&: P:Tu ? A 1^FUhn:9] U\z="f ~n/@ )ʐxnOriM%xhLuK"b_ЈP4=RK,T%`׽?LidTH1&NV;\f YXE6~3J)Na@ Y 8X%w؛[.P+V<"F`6C_؝{gDDóQ}lOe@\{ =*c]p)q/ S\I];c,ᦐXTHW[%KČܽG)붹.D HVrvG!0ϟ2&fXQ'mmw ?jz1>@.բDGƸ_A#6EZ4A;p}$6M}鑽=3,:*i棭>lP=ôT"'F Q/L')7Mdz*97w[sI]{KPo׮)fRUٝmYժ=1o2eVus]3pӢ'~Vv@//d=j0 %mJgpx#4bЫ+Ֆ҂CC%;t:InA{EW`;]uzTb7Tk f,C{-}fqN˙*f}𻄵XNPoߧE<ٖP񭇠Z嫱H>ZВpAv'^w7eK8j5@0x\It+FfhDp1$̮?QkCFM3׶~,{HS3ΖOU=A1I˲65a}hj jTzWu\we}VQ*ku\=_/d 0u^_iZBdO8ֵCȦӎݣT;r)A;TATK {▆!-ޱ>𴈴YҳqILLGE2~d&C,;1<#Ӫ"ǽ/Ńo˧.ȊQ"P&m&4JXK"1'\iD0WAf OM1xbۨ!Xp8x/}\QwrCu3R&QmO]]?>2B$.Vצ ZVeg xV-nWrTc]_Fz71F|gz5G^:v뜊G GAy4}Q9woKgO2?ȯCVZm .NuE18W8K#S])֌pvףM$H͍Jug%uG.LL^ H[t 2 Dɕ@FbuVFD:9֓/LȷX~j;TB|=<*geŪveZPqe?tG;G}Zru6_&`вg)4dQÄ 9E9i1}6䫀E-#[R#D~yƏ FYH pFC0#`z:q_2ݫpSX ʨ ^u~ix\+dWlbH^PƦCeC~/C_+>\Qqs;& /鴎/2u f HbO#lϛV. ģ8~X\[#!8(Dۆ^Ӝylv\U>eSi@~;+(ȥ =$/=g4:8BkOyr?)f Dp^HL+jnRQۀ-;24<݉c˨(\FU䕩T+zucThyb}s\fgߒ.u2 q4Bh7 U ."sxraFsJ* US1>^QѣoeͦuF¤ 1CĖ]>E FH%D4_كyP:8{TņD=+R~ůl }kq#DBmŝ%Q jS`Y ֊159xF0O S]8 j!K#sIik& CLv`奁3SnYr a5e)/I4lG tzJRĪs}T2,F)?TJ\WRVȜv7fۃ;V[Q7zOM(6,lW]Bkht94K"`#6Oq=MJ)\6P0au+IPpZ2kO^24m5YM2pq<!P)jM,ݬo.WSwDSBR:Wʫ "Fu00Nxo$&k Ciz))Pz?L"v72lkxȟF LJU's_,die{GrA^S0:]GX *fm=O}۞>J1hm*O aq!sW9Z]7o~OQAUT?7$T2z¦-4,~|OXEm5|vLIA5IǪRY97} 9wڪ&p[ ١ :8#ԕHT1h>^ .Tg)ȾŴY# qOod;#ލ6ؒZZKWE)Tek=k;9uwG x"]=ЌUFM+AfyHI _}ai([D+nyj$~6[հ=o? w2iRpd2Hi\ 3` ]<Ƨi=ܱl!\2D .'K1 06]N7K8(?<'$~a\-p#"bwu#QتӯJv3,"o%ivU<"pa~jMw֤j/+\w`B>v@V@}N׫N 0 k@|)!3j%sC:Նt[Wr2'ȌTTer: imTqh-ElxM;VuV$ {߉KpN3=0*ts)"1o٠π+Ȩb +!g؍dtPw|jDke"WZ̛8g8ʿ_.r4ێp/KOJSӑ,Pnnr=꛻ 9%8>LF(U>XWJaǷk ~wjwF]T/w|j{ KO:ԓy 8azt'zn5/n^[+PYM=;vFjxAsR2x&LP;b͔V/ZZ.25bŔv믁9TiajJOlkg{LQ{wU [R'{RgɄg*Ķcpy,i{!h{jE318ޑU倔8б;Ͱ=]_p%$[3]):3+/OO{h{2">׉r)a%D`9<Ǽ=-G9Kv~c 6p.vتl=6`^dpITfZj.4']W?YzDȆw3 S<0<Ă3zU1eLP='hkͱ~.®$n<;$;zxƑߴPdD+[ue h T+ٻ$ ejhj O DNo.V1s LGwqYmįoa{ TYm ljSBQ='7pVnu4q]sVvG>,A,b]$%m |7@SZ!!ut!53۟N[2ՙ(ڕ:. WUB׊rJ7C_"Sڬ^Eyu ╵M qCoI(,c}EtnI[6UV^dg΄EMUG5ȟ`<:h^J^A6,HK1C5aK}S8b5'bZYdcݙЯF -VGirxg&)cp[>s )qMU})Ih@놻ps nK1%6 Θ!oC64oQ7.(e4SZV!ȔstQjڵSحe@B {bwE|Tj_ cȮEVL@x!XOԡ,?\.4Kr؞F0mA3Eoi_cxκvCWe}WpcA/I-'ۭ%CSm[ 0QCg"~5Q(N59mɴpu,|FJ_4fwl]d\WG;*W^rZؙQX~rf+׍I I7Ju:;QRyqE#Qg ff uT'֓*EW:uJW-yKGs69[T~ͱ5Y1/;BIM я뛍46&-"*ՒW7T|C C̎L̈vf;88G#,FR2j-{GS/.ڶZ| +C4?Kj^0zBJAE 7fmY:)~V^ipd$ᜮU+MSIZ4k 1n&V1~HT^Cمѭj@vl̟ cq.42U},{á(Ev5-G&>QH-Rm>p+.P8?xyjo(*М=z̢>0VωT$DDD<>1צl{C+ՓeZ1|oDyY~>|AB<O$w2 u v '+,X~JЕSJٝG`)gvHȘg! XJ=M%x_0i,46RD 15f-:P :&3 [Ka.:'v<ϖ I_AV0B![޽iX\fYyQvPm mS`UL&&GĪ^B ׷j/|9Ri$IʷBN R௒ s(4Ee*.? 5(ݭ,lGB1kA%31Pf.2(#dMH WG6Z;MrbB~'!wh>hQCkC& ٳ,O4}VV n]"' -dk2nw ~gFA2C9~ߡ(Cc@(34A:x!/=;> D@{˺鵰˱+ >Wڭ.JZ\*R?zݼ@evN Ƅrv\*46Al^se/? X“:wX8$w~b#Aܠ;Bh!WY]U#{{V5qBNt{cKl^=X 6/!F>I$ Fyl1X&I?57bP-m.%u@x^:ƨǵXi]2_TضYv2" (vޘQ{QSp4kb0hg"ƧR,C MƀXw*͙>^mS==˵['n0|Fx Bkւ{R\> A^4?4(U<1PQ A\j҇f\R2^+[y"fWCm\|ܫW ?dЪtxw<5\mhg;)ɺs`IE0vHBzB6^9#s';JuebM9 gEq\Idž(VU)b)soGon7 ,تbUY-KQe ]pǗk :b -(N,([x=J^7LAxst,τK'׏)c!;W? 3) uR@gIcFG\Zg"*qJd2khi75Vtio*EY,=z*c0a?IBgmeMAq/?m&0s+<)Ǯ&qLN#A2y2^%8DO 3#g6ŭ}5P)Ƣhi+i[pd3 E?t=|5c-] <g"~RYߠ9 73V?Ճ oιk|zøv~EsK]M{Vu?vJr6PLkN7fYˈC'qrS鏗)s ` 2?ȭTZ:T `hkLZK3.d]* Y``^riThBJI".%Af _%[}3Sϊ|Ą;J y;N[2|ڭPs!ʟ UO\v_DA^AL9B^1Rse0] 7PsgL~ZyB9Q:ˇ GG/vX5MSbvÙܻM֎ R Ǽg>ܗNWJs,Ae2"uܛج:38T[J&z-xԎ&x1$/am'7q^cs1Kοc 0@Nj9ۇM=`9Gwt^!U0d}U$  aD[> O4 &k VB|զ9|Z-z|bC47Ɂ w]7r{7wKנr>x]iqCaF&ki&לt;.`a W4{T*{YlI|89ZVte~Z@яd)9!V6< 8j9Um{Mo:p+uSڿ8x_Z3ܲG̳hn%= s $gX3vLzԿZI2^IONE޹k86]_'Or$̇l&AżE[>8@SͼF[H'pN.G C}fm?~$ A2~6q6ۛ[ȴ{WwM{(XJV;r4LРiLa0&VǒOc5"O eYA=}yXR :ˢ[w,hȯ\TyvIcښQ^yERuaf؄(`p^ˆee>ITc.zӕr&f xޱ>9+"ih4_.@DEǥff*ɜK /ڧ Kx*@cNjm&ʤH*Kuc"mOE`_] CBm1vH5#o85DM,1$8ɆA+S̎V~1| ɏ./Z|PyG@^M;r7+mya[Hv@ QX+L}&3'j0pF!蹼Quu߭4t+#gD_h֮·Y:sc}}$22YNL7 4@x$Bzj#ZԹM/<徍& e]=jYD dw(>|5sGU݅cdyu.HnH5`G.`9 ,'k7u23_=t%c Tm[a+Kf>*Ok,!8r8Cc;Wd@wK8ͱç"N7⛑~g+Ei-u_˪+7ⶇu@/3!)DSQ:^] d-`ȸ[ϸ[E;=翸JHՁQjvAM'qlp 3jf{a:Op;Z)s IY lT߁:Z2zwi6$ehAYT4G"Y>@E->*xĵB:aQNŬ$,"9¤>ns_>%fs=ʟηm]R,I^$le9ׁͬɉ#5@ vWT#|)?rl5ƹTop`!3֋\JlϗH O%} !t"KI*f+|]ѨղwDgD ҺAӏvéZ6Vz܍Q6*2[T"[qzdZV[[6^0.S`_~ t,/:q4cb'`jbVBp"'6[5 8lx_tbq$| mg&R {!U*c.0C R̘&ѩ6 g9RsXqj]._A49DVWBщm`rNW2̄dC4HVgYZ93e0ab7ea19442f9546f1cdb2e497d0997c617bfddbcbc2a51857ae6e2c35d0f0dfda0600638ccc2 0cf10e45680ae439599dd1e4a9dcfc11cbb36022 c8b147bc048e879a9e91b707afcf0f8a9db48dfe288dbbd218f61ba901d30812c1be292912c38ee2