SQLite format 3@ .;  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 f- tl ]/]ZF-Constructible:threads=4elapsed=8.792cpu=29.804gc=2.548factor=3.397zXZִF! =]ŗXiɟH)0%o\-G@C"k|sC%.v2Ò9E$%ʅV|2)ܣ\{2/s$C,3ԫYеx(s]s١?9|dkTV݁L:Ha%Iᾯ/ۤG]}2ƪ]lw$ɗ{|%;"_# $d'<cGT _!V_9V',υDzW'fh@ග<] "'(H_7&r[A(|h-@ڐ:mD錀3,;^B\4QۿG_;Po|`IBC۷yIF8zKW9Y^0q),0gκPRs1BOf4C)w#p10Rv3ix iW? )t$5ĩ*6iR)SDMAP"0&=/ר`G'kxΐ)t i{œBq61$۾~c6Y}i\pUx%{`.eNjw,B7YŠ4:]y5t ۤm)3/"]σOL>ې/1xP3yGJrpN]П&'tur$`qCw$! b`b^ӡ d/ c%H_[Le+/ U!-G_ VBHAnάσVI`s;`vU{Hݮzه*SZkƧ]=WY%{GY "?qؼ+a.V، xb34|S.b)n҂('s/@!fkhXʞyqӟƳXo;AAXp3nƟ=&`PIz:qdnOn>hy es<6O0]2P,a6꜑KvslD{bnnz\8U{VzͰWO"{ـ`*UXC"ZUbhZ0Cyy5zK)$o2YBEft^`\A1bA*O/S5i Q{,{PUtݚHB*ݨ矽_ XqehQxڭs Mz~N 039M@,rG#\>g..ZߔfI$;EXꁒ9WOd1 d[E?p@>*t+20(|$ɏ{W(ubdxh71*C=LUGjӳIW`DŽ $KK-+fbG#E RXN'|F1:4e1 :'\>^r8rf?՞IJMSWNS|a|;)$ԭ. a\oWiXKhZvC4rO]/д4%PB{jUIᮀ!!B+ՇnjF@ j99>釛c -pl$WH7noجWZ 82|љ. 5! j<}0h.> t>U&Rib"7:AwIŧXtUؚelKƔ *rґɧjU 6RMp8yR0}9 Qx|〹xg'-lbW?٩7bۯm51#>B w9|nRr/V1˗5[gllӊUoL,"g8N~ wQn4c!'ijƇ #DU^NXWdNv!tXrQz!C o\TGGŦh fs٘(89wU{+:FO )Y):7k$ݙ\^jg 69RXZI2 aA  #ܐF4 wGF8.QCKXˁq1Qf]}cd*<›@ Ro-efq VHYݗ}+ҩZaqEFtTQ FO0m֌K~4oA9X޺2tƴ^8}z 8SZA 4,w/݌抻TE<݄.\ <;Xo@H\M)TvY):uҝ4q{*5#H7_HH!^'7Xt{Ed&h,k)Ἒ4vDN\L^2Sօ+J}αeNwGP I$yƊ`?hvthnq 9rN͟M w#)q6Kg|hh%Z%hmHk2^] U쁦ݍ͵*kak u#rltފw+S}2zn;igLINvƿhJl7AXEVQ+vaq( ds_eYu PzKؙOt,& d˲%xzou5{ D6Z - ZF-Constructible  ]ގ%~nydp2¥LGQP-2l c"_wץ㚔Ogx E!I6e^MXxaϤ]qSa(-aak|afi\3{AdϞqOO_͘' bM; ~N󱲰h>9F [wA}QAo$ycWNG,^9fqBVC-~:KVYpl#1<}Q~gTg׍^fW=hGfgÄ⑪t3,EÐ!nR8tE?ౘkbtAHlj%_ÇxQ@Gfյ,CuAzمAg Xv 6xs $䈛_rRwL$w0dr=;bLXr^aumq+cCE uH=8EW*XFϹ_1o{i3oJ ʺ q'X[/_hxlxf~v|ɛ7t…@I*m_'HSjdqȺ4[Ċ(([mD $YsF.,Nfs߅ًER^׻k84F֬y8|()Q}zW`N#ƪW;x ;(.ܷL,`[ESXVV?Jk36oO(Wf+v0dVBPŝZS~Kgꀊ@QovZUmFS/9[ ?vfmt }LsIA:&9706 }f"A+**JD|l,1)\ЕTCfgKHēL,R'~%KxZqzĈ^v)zL|=-LDz\͞{&?9ۿHP(}2\HIwMzbÛKBG|zLI 6 \ AKEՓn876rjiRMH wRﱃ&r& Ce:ߤqDw- n)p/A'xuAg͇ts"/7 :e"<ڌFǵ241(U/cP!.I._r̺< R\I"IymcF X?:s>}܀l}5}IJ44ஏ_& Ś9-E^5 z+xcPRGPuB.)M'ܫ-msj0,WkcBdjJ+;oS%Ԋ9]A*p޺6#My$Z96k(mQg(;=A3fL\p֖sPv8c#&%E(f/.8Fh O#u]FhI7e@~nItq11?=K%5LT  ؊9<s/=u)*V\SΟ_ Z. `8ޞ7(.C1NR}+}4da@|*YP|,MU 1 1ޏ;/ ~JM!wz ?ÎkL74:Vck)E AImŻh!PHԲ H/F˪4TK!G8o ψP;h'H/L2!ϕLc[_ `l~vG٪(vjBg5E{DhooK1W} flqZ= ~ݨ[ yJkJCAV4l0,HSMȷ*ða8$oj)͂^)Q/h+sB>C bT+5t [UMQ@WĖ F.5>qnwyEY er=JyuBӰ`qH #$s}vZ8]EOb0~_ 'F$=W7A:|xmTZh"tR&z~2N֞Vw2w ( ??"ldTk!r@oeH^cn΢M/2;Fnt(pSl]/4dpV{ ;--.o:_=&!ϖOORN2[+IӆP_:Er*Ѷm D|{0C"Ld&Bch/[3] s`Qg͝M#&A+baY~Ԫ -z`;9JC.M@b1+}4}5XTHh_=x }~E`dQ%hkɿ#L~Jf][wxmq<r-yGC>gfQŬpDL/Lkg{{Z M,W\|ҍ<^FΔR(!T;rAM哝&'V̿"kdW!{p<>Kd%'-^ 1Q*95=(3+M|Ҋ/ F}'f`HB.6U h;_ 1BD8wYb\Ob;S;!T_:#`r=I2HBa/u@wyu[Ȏ6Muz E rVstp@>U Tצ kjQNK~ 9zaF߁SQ)*]tYc;ɖ>@?XV3g[R{`2$ p0==J-v}}PetΧ}Z@ZS1K(BbY^ڬG>K[UpUޗQNj +m.cVytR~7WR*lvٖpR~FuOG4h+*]D knV斘?p"e͂9yخ_=%w$+uϮV~+ @s_ m|(0xW*w!ռ1: ѵSdVdPP$𻚺T"+v<`<Ա}-Dt~ژ>ǧrB4A!iȼRJIYh)a!\'UWܯq#q& ;)/wu{ HG ze4d/zuZJ: u5vuT61* @jZXX'j[K\oiԩ®B@'X1'O,˜jOJ6RX=|1jsB.lh Ne`Aag U{1{I\x!Y SUv~=VC꥝Y\] Ţf DҜʖ%4Vȃcy>Ɂ5>,YO&ج^ʖ`;;-ncFƼ⪻o'iղWJ1\o,@{bj {I *%AfMʇEU5ᛉrFy_2qGqn* Tx9!᷂S7!r-{if'wj|eH[_#a[ 5ܾ]}gIxnќC\ y\?yZ ,=uV2,.S/Z;FoٝNHތMȇޓSFə")C0wFur&)z :"R^| !O>N427XB&{դg5m\]r5ԎTL-swNfwϽU}wr.d[!Rxpy#=;7Ϭ2i:aVh=ೱ:NUጷD;VaTȻ{ꬒ.evtm4zDҐ֣Z8FEX ˶R9)fwEX`\ ـVne8VN}$LJ>6 2іjVlA>X§u:)Y%Lgoɓi?hGj&f_^ʃ_鵀w41⾨JӇ+j'J\J? xsŬ5 'C[xsxػ\_7kv~CXn)dp"T:wYl,Fj<}~,h13Y:#&e U_5MM6_W-)89KJ#`4I^Nq6D!lb\Ih\t2Y ڭ/2ıխ*bܡIgV?~=O,uc;MKՄiB#լDUĖH܅)7r\p&g Ux86B.:%Y54iPK&To |wr@iޯ ᦑf#4xzIt9+5*A-I7r,\)8EGlrâ۰hd̰lc &su ƒkusZ ph<˭2FIUDbeCӕZ"]c>=',$#xbRJrE€(P0o0h'My畧AݏIX`4ݸ3;8wA)kWһ{Q'*2ym ݙ:҅GMjp#eڧwc{56H8ݨ e,R  П/@C#>OX1]延:FB Ӊxw0UL%xvE};Y{ o/2 ! @8HP'h"[%Gx~.9N?iZBx];+Sl/tY0Dba/Lȿa%8pey .8+Gǭ~?L`';S֛䜫.RiW6 e1Z$ $$,Xr{XRV>?>Y' /i)? K::h:K$% 4!ܔacy*;k' k|\1./,5m,԰KyaJl@) ױDVp{ hm*7O fzW(QSؗZ Tܿ8y.G1ՌuF ILZhe\/_θVArjF?RBdZ80:wDŽx*e'?M-[i'@HXXfW2P*~^\3 kAp0 o6 \/]Ƽ+FtXZ!96\ f(H8jr_2J6iCnsF q3\:dرk&>Aь%o@ ~Բ4Ey&P0ӈG4 (*b?for"իgU?%ax98B˺iTF?%pdвD&G =)2*'Auqo9r׾B@clg`:q:L駓P09Rc5vD@\,Ȁ :*d W |@v`E_ "hH.Q *̀jyҺ^!;e8%,;nQ!MACRI-%,vhg:˭`p5/'+x 1ؗ9o\W6qOY|{R!j* A};7TFP [& R`O^aʦJ٠#wPyjjo)f{}z̖E 'hX4NI8k9t;fw5ӧP!;?**:۵ 7!.b+KȬmFVd^&8 6WQġl *&pA5J{ ̥dFx&MNNeN&OXхY:lOELWC/^ v`S[瘝( ˪PǠC媝홮O |PH[}+}1%J'K\E@03-^>ZjᰤFF@)RO<0YkזSl`Dj98*G9>E׵G01U `+m'q(JFKQFLICD!6DHIۏ&@QEE$:g] ny@ m7|jO On5+Q<ګPwsU@{9?xH/͎`c&ENiUZE-%ZZ4JL'q#b`+DsdXqSi_;肓)BOT)6$[5Fr36ՏBq1L~^ۣ-юO%<1[*e.:>b :*t֫3\eLSx?1K-fI.*VX 1.v btċ}{p-;bFprQhtxWuV[4{QE7yƿ&k~qNY;ҥđƄSʔi=1B pWvn!']FU fqpc%|tq{zZ0*] &fI-a&jG]96@F)1T|r* u{AO>CXqz\tY:@ DlSژDW:HMJQpvǷ,Rpb(b.zs}$w[2;AeP7Q:Kbܧ*[+n8"l$ ڃg,ق2h3V?E X\x$/S6'+" {6eD-鐟Y+%%OYN/IJd#=Vs<9{^\:GQpc HՖ%)$93Ɗӯ4k~w5.QOnk@4e[ _ƮJGNdpplG։_M}x嬠ASs=~~󀬀+AOw37 `zR[ ۭ[aQoj T\֢]KDVT#3|Dž&$)"ʳ%,>{o\䍴XiHjwS8&K+G 7& ~z})lN;!j.!_9]V(uZn!XbҀ,|4Y6jK)faٓ0.f, ihk^Ime8,7<8GbGS8Y۸[_iG cy=1lj2@W+.eCφ}FTSNHL|5ٌ_zʡ54%N8kRA?zXCoU8TH/t_xʹAbq@0R7|3A{t^Ⱥ xo mW%Ã(T3 o'~DdQe]8#n댝+O ^}\^͐,U E#N4v(M2dl0BCߍx$ f'xۭ`*E V@ 7%6gUVy\s^\[ uj$r^WG,í{WpVpo=ǫ<~8E$ keH>Zj2A`"YθiՒw@u{.$v%n{_zGaIrXAP)ɆEY^s1KQhϤu⾗'0D&s ͨ٩GlOPbp'=T7 " jPv:e?g{NX4"fHNlޢr x eȭ4Lwp.Y`;f[[%F̏VCg͘W * C|}p4žLQ@l!^U B42)x"Gih;P Ry(GECUi!T +nEuGEpUoz&KnN3 ;E2$+Z'm@A,j0hv{ЁehXNEB#fn~e~Œ,D筊Ӡ k]ӰD7%otD)NXj)!XSq'1E!sJO ŜX/N= GCC*Q k;ݭo 8֐Tsc>cw;XM:BVflWљs8|29Cm6N(2k7`϶[_IBTt nJ+:v(iX[V'֯O"93w cO?,jZNK}I3@-n}j p dlћ즸Cu{& G'q8Z;A{ęjģd[ :fWI30 y 8`D I=6=Z'͇l;v2& lZܛRI58@)"3P,L 00;6l'Ze3s4aG!փDk;.#/.Mv!߷j("0ORs[=~7A{}ƒ02gUXl\ȍU1oZE=Ę<@7`/W 'C89o~e3fTX$CkѧDwH2ŽoP҉ N zя̗;*;kP6w)Ϊ C)i<xE jZ쭧2zMCP?: TKͷ=ko-{Jѝ!=TsBv&_B xޙ}ӜWa-( +~_o:;- 0mIZ06*ۊ@ζE?֗ov SfB{(]Fc$`RcO9"[a[pfMw̠i!>|xʦYmiϬ4u8]S$ ^ =~W~}@}5V,0>b&#dCcqNMW2/CSw-Б8~z`~):JOG_*UTKR;rġSMSZ):hzgl]?8\1z2mxoAjl{[jSc'H};,jAh\zs6C.O '2A)h6,//TcZv\`|n[8\=^,.NW%uم*F,Qy_FF.%[,%lNqnt?o!󔮁W*eάdS<_8~jRD|Nd_z_A֝&msy;1MQ$Ny'e0J='U/,i!u'ZL(q}7x]i$q#.Z 'E{Ҭ,JqeVT9P~/C1TLi)^]YsV*VV(!+>y1 lHh&o_'m3}$syȍ$>sAFfdn ;&EK8? ~P%PuzSr#J-3:~vf7m,Q=n0|oy>JH<-5x OE3Wz`ʓm#B0.[utpǛWWKY4M:Oʊ,1kGC498VBW ֋O(17LY pؖJg_ z'R^r1cvhgUHt f~.;Ra@q_Zby 5G¿2^(_L' ?\Џ+)3rk?fPs31~ڕ<9fe.]KM m1R%\f#:^!z7 ?dY%7|3/qo$ajrM~3Ij34 }sT5H o5 bR/w]=~BĐhuUnۊ6 M7hmnf)^隡^n* jC[ zunrIX"d'.j-hSzTr:@'sbn3H'UK(#xρ m.z\{蕈|M NY1q ֿ4 l |'x.(qc3$1p`&% Z9Ыbg"EQJ `;C\MT|L"گk_5vv SNgoUsО.8z*7 @`Rc'Eza9Zw-HGx֊ P0gQvj SA/5w+Һؗ _"Y[BO 5nGJī_Z2Æ#{1>W߿8*6#IktKo[-b>E}^I8ahMq U'X[C\o{h,(~EhWA˞*:^|\-d\" YN@K8fQ$_6josVf~ teSRiR7 R]`ସiqv}/[P*8=Chh>. SMƛavGKtiGA{쨸׍X:cRg+GMX-RH'~@ ˟  Tid-Nްe^G;PE‹G>3>Ɠy-Ytusá6d yT::8sF٠fRL4vOF.Q9?0j?Fb~xt}k((?471`b/ˊ82m*Xo#NnɆfBj=/㾌b%?C_+=BNcmOf<2P)~xy5ӒU!łܿ[ԕH|x62=xm841 v`–eNk`چ)ֆ~!bNpHȅ2ua\yRs/!faB ;(Ck2 t{`ߣP\ʅ*l&rfeO{=b?[s&hyLRLB,N4MSlNxYyQ 7 _GN:["(QV6nݮ*/79sW+qWngn8me< e6U࢖KU؝~9[]8S5SmfmTR:)Rpn3Ā%\Dn}Z5WH: 55 eAڜRz? #ͼ|Ѷ[CI9&qc98MO:+`w IU9ȥ/]m$UV?\V.q]]ӌs,ud#Agi}N {yɨ(%`]8-aR$ >X }؟bl虺%R!\϶X**I=(% S+3y iW$d89ᭌNyճqm {Rʓ<8=KzZaOXsCF@r.|hNe>,Cغ_Db> #K%168>-Յ:UIyz]&M/O'_DcH_w{WO~qV|`"uIm7aq}QN.ܯ1yqL<"~1o}7d]IDVe3 vqXiȾEvτfޣ3P^Ĥv|9eb!w"ـ 8pſq"m*v B\TRҮ;jD {fC|9”MYг%:*̼R+ִ6 vc0rCVByL6G=c2-&o*O[2m 7h kf@y{L6~a%n6AAz$ܑtLԤ3T份 N͒k!K/./Bkd 3 +qRP]VطmW/jrhV9^Pagig[hUpw͘o )-mbm8gGuۺ54p쥐Y~7&tLT*92doO* k./2I>0͈9R"fNr:SZ&sZ)㱛0³*ղH}}F*TRcMm{bkKzJgQ+oh32,c"gqh^o8 |L~@a@Р^ݐk'\ 6#S݉CbN5T76ց=هZcm+a +:ܻOPTχea#B 9L2% g%* $]r(H3Sfq8u6'R!P *uc6} $G{{%+ "e<|$caULb3OڸSp_J-UHX RKRG/ȍ&9SAhkǏ:&@pվaB;gg9E]kFFWIJ| 5ERY7ɦկ:)4%h:obgƅ bD;2q(? v܅L:<g;&݅(e"ޒz8YQ'kSE;(jc;w?:\9Iz0~c]b%P*KhA1/Z*O<&xy ~ z;O;8ԗӅqs,F; W':)_V_ӑ$^DB>0 #9TZ 3{쭎*֭QPxu Pݮݡ4/b XvJcS_ǓMU;b_fz=ov8&"~ WӞ585V~V3u&v+:9Y*f cP.doC6*-y-&ta6O 6r7!Dj8u{FiWCxMv2ty-݈O>]e bCL"erԕ3vsd }y_ϿFOH_=McV͔!A% }4F߅̝㠜=M& QȊ`9cAz>v~6:k.~OhEI{~xZELj1kRn( jU^p]XdP+Hq e-Ǧ:w?2NYյc(a!Ȧj+BN/<$.;ާ[IӅy&V[?Ɨ{w9aSK?,O3s%3o D|dI|%ezm76oa&HM b[T)aafE< sz鬤^?O}<&i!&03Ak ~s?F ?fnl7F4+z6shvo(ѓQ|õ72:PyK)y`U~6w9 Zس*'{rnЉ\K0-G)it/TO?EPu,ѹХBVڎdNؖK  4Cr7`Jz|\ۛ}wӽS}Cto?`V,Qdʮwu;B\|qbrx2}x o FYϴlo@v1FɵER^-b.E_T c躢+k0]NK`qʹsN}+Zñc\Zah)G;Z T-@dYp }2ѓ@ŝێX8wT'CF͜y8!Of`L+2GbR, s>`>ÒoqiYQ#>@mTErTB㠰 ZҮ&0 9Opp 7fڪw\W~#m~K%]4-Qgs`<>/2)'MTY[#DTFHOdWH6LJܫUVBk]v BV ݝ_cA)JD CKSU*EG8 E,rrF|Nh/oM"T_"jZ=R}z\dL0#o7kh2yP_4 r1j>E`FIh~[J0UU}ۭrbZ $rY;jM/IYؽ5jWVcG&ȍs 846Bp?(U=2&i2wQG;18ꕀSW\PX\E^aC/ ])cVQKe"nYA5N*s׊BUϛhČ6bbOxB֞-TlG+ ߄x^9ԝBaDSg u0Um-q $ҵ  }E+ϯ eYQyQ{#Uf}AC-e9^dJUCϺMiS%oϛ,]kxs *&ouCY =urT~A4,boڄP^q[;&|DHlh5E L{( EPw-dR8bYAsGjI-YN!Z]cjԤ ifxenMV °8 ':*d˾J2 m͡RĖb9Q򸷡}Mj|_ >3H͋?4ڂLR8S ]V~oQ%/>p oqV)$l%XPGdܹT5C,3OVaj 矕ƭJ9p#bs3ppuڪL@d Hf]YCs>5Q1[,čZ:/ Sݠp>D:U-p֚LҌM"I5Y+Ǭ \LJ#ŏ]&c GJQ]͞e{͕p^:?ɹ"Cbݎlچ sF=ȵ^51QnY3HnH!{]AF|KCѹ`%]JԊiԠ}@ L*suCnK?-԰ļ\x:'o`Ah9+<mehJڸŒ.cd ި ߝ0WV. ! d<&MnzQܵߤ:趰M5rUߣQ$h "?Zԃ)" aD6 ju+d[ݯ(t/.VG̊Hf6Jҷ`WRL=W^#ߴf b1X1qPxB0}Z^*-[aVCztq# fʺ;;$ AHIt;.+.꘬7܊Y_(OƯ\&OGUj۶[Mtx}ح4$u( =͜Ltp:)1(}=u{KY`t. ɚ58Z%x@2= 9Hh#dPK( b s,eab6|zS/P6ZU ,ڷR=_G޶ZF>j3ݶ@6З /  />)2gq#^6 >g#j9Xdgp:ikx@+ŏ]wҡ+co Ƕh7Aw^xXTWbCѬ7H}1eL3uT{z9Dw=DMDg뾱1.0}>E 5㈇P-.>O .%~Qkl rQ0SյAnFߺvlSL""WŒ/{*0|A I40oƖHuQk3n|G 1ٞ!3.y ^YGi qy%d D r27 Hm=i,8Ga  #7ĄBS F;$ җz?>wzLNrzPHzϼ۬Ĭ4vX#_.񳀇z/z'P */Ģ"٣Y2}gnU:@?FPcTN |Jėۅv_+ @=OxBG ǀ-IV[4%1aA51v 2v%"wL Q n>S>ȜMw۞@5J{ rMJ^DC-L\nhXL>bߺzz4kG&[ò8}೤-6hB#`1Gj@:J3OvSY`VblAVlҐxs#34Hd;V"LTU߁P\%#H4ymO:ոʨ!xҡ _#1Wtv~T=kݴL2ʫ)(~b28,/'ʪX1* .u/`/|RhtUF/ɷ~p]x'HNt` :[ r /p˵i؂DG3i͇TpHl))Z''`>2KZ&UZ"N-Z>/(%v0S5 NQۙ%{׽?&1 3/9i#FbʸKY-6I5t <Rk-{{@` ?:c' Ӈ :Qk;;unn R5k-;I>Vs4+S3Oisr-7`YA"Xպc^CV AeDPnyvz ,ysy$;1~pj^rSMkL^?ĩ(8Kђ}oZ8QO=^cP(j̦b3R4cجlm@oBm؊_B:3LzG`|zxC%M`n' SUɠ{ZYJj<JM|X j@G|xwU~T_b].Uݠ5F&>h =FHGoX9kJ ,dB/FFI{| p#7𺛴sLֲ0gҪcOl$JOmkJ5 k~6u}>Z7Ϫ=/9/QJ[ kDizֽOJ]*ܠm& cL /^O *:\ת~,dOA3!Lj_B+QH<~+y?<:ͷi*ߢ6F $8.&B-S|Eo*nA0* էgtafb&?<Ů *B`7wH 3_T=C&]̻⛼㝃Z`yt(ºl=p)Y.qK_h};)Ցc*$ kڸc3v̞|/ߩ3R_==w4=j/O\wF殺+R^+8%0w9T9FL;׊欿:ƆO3M\ 62{,@{eա 9S`KBǍL\P Poyڊf%-6B| *"LsoMq-d#rjM.'0[=uѽ=tT%-:)uD-!ݽ@E)a*jѴ)e&媶{nt5k% i)͐E0vR>[SW=NU঍Q+OR;y .A2caD=#͊$1e.YCXL rpt"l7Z>-[5N5SV4%%T ¡T=WvOPtqI5xSa7%=&dss2(󧚖w];'TΖ?fנF5?DQֈޅ~7psF hc}Oȴaeu$$#hܛ+5^!Y46ȕCO5xњc.c%ǒƭKGH|9\ %a:0#s󑉓 Q./mmz$,ЅWԚa :Y(0֎_BQ$㬈I`'B{Z Et#V?h3wT26 :TE6,YB,?bOvE߭,JNB|NdDi*b=`Mb;Z_0W;Ԣ]JdƇlaW46|.uBcI, 7iAzN#Gay쓸Yp2%,@i)<^-i~&N)D{A$8) OeİQu΅ľEkl!ݾmJ #jtUSZ$@׽f%h`cqfh`ASY ڍDCH6_}ԋnҹq8sY)9逶,f !p@3)'DqCV,ZQҏL Sa˷&eѐ7P,ᱷTog&{k"&Zs/,Ew5ڭ j4z H{3Z[R0p-6+y Q4g,fĪ2C9ۛ60x.J8 ~1%c@,t{@ e|6O3VLs25#ɳyZO7({c6ϵ+ n9x+(,I\4ޣ'Λ¼V腍|{bJх(g'[4ܥ4׺Z*B1Kp$l%S &_ b*s*byoU@dzkyCe)VNV<(h =2a):u884W΁] ޞN\.69&^YQQ(=dWoЧ]6[Y/0amWir )EM ߭:1Pnbm25.BW*"Ch!CR{$*vv paJg,O& y!ZZ6[.ҩY7x97"r䊮b-/TB4 )2c'mYrWOlVAGwC\#3^=ཻ Ζk_8 Ah؃KʓH~\o H ##œ` $ 7X :U-q;G&濓y$m#] =NH(8ў0@ߩ28DU jTn(`˭I5a#pߐLq*wą@FLkD̵_ WYWQmUf,Xdf""+ ˴½jiFqh'2m>@16?ϰAT%v(8ēXһIQɎMM5ebk Q$O_v -W }=+]inzmKk$scLA0 H('POU Պ7AUΔS)lqgg'/N2|(u'n(s!D+O7yA٣橈 <ʵœ2*) H i M;H,X^B@UNq>.S4<3&S]6zLWT*S5A;hO`h6 ]^mC#0ca&ug6YqN:=܍ E uT#p[87%ݖ$h 9:aύl%r4؋በD6s11#Iq5ui "%v甽ɠ ~<@ Wli\X:ӊW@m !*L}/nЫA>'9/:VX;J:-#<1aJ+jolU=!!&@B*a(!8Ⳳ(K[  `VZzW $8 "[ %r@S^:PF;uj6(PjOYRQ 畎TRe ?w`5\)$")FOUG|knҫ%ѧԱXW}grH3$cfM[!J𐇜#Ԉb NNTa)F5TMϠTI《B_/4)&Qߌ5I_yiઢbszPȣu7$|c!RK~!s"=^Ҋ[l,:LӐdkB?e˖{L-fRy ,*^zc?@w 3| ADF NjYM~pk& .-;6 =d5G?jƐ(Kv2ړƠo{J~]w ]v5sұ.g9wh];D7ta))ob#&bIx jo*T| X;gfaVFׯ|YuHlQ-<.gfYg7?q0B5A5qaypB?Nb!(q23r@@x Pac`NtDQʸUl`s+;k>2 VZV@ 3s6 _tϘƙ}s~ Q1{G3ꪢ-둆cX^XX6WUQoC˩Lnފ{P9'k ʧ/9W-rJrҡ1G@89:T3I9f@Vڃ2qq޽|t&ᓥ1̼j-rЅ/=_.,lLX6+(kZ5#Hۗ @l.1cpo.9.E921$D90rXzb!u,VD~?3{6W>YdX
0=z+z"+St%Du={w)lΗ~N%UO`-uޒ`sU!DH-Cw I kF ~s&F;;@ׄZ DiXf Bw$ j@HpNԓ--5_uF.H!.ң9ݒVgeX_V&[gc ,:j_㮾]x_8 &}G4:t\rҥؓj-v5Kv gx#wiyQ5?b |Ǘ!7 27n m2wT<-y1 &8^99䪼}I Ke:tYZŽ$n . 2(Cr`I?T8(5r wo<+չx]1~1xCK|v2#Ɉj-ߝXǟՔ3Iw&@X^:Au/փ |q\BPd!AS&,j\ *!:%ջ|BmjHݙh|`7P!J k͸VWT# M~*ʹpP^MX%58B%=pcˤ.)YWlb 6cؽ"Kpdsz<%߿O1꫻0Ռ/ɧaPcyi$Ł cP#a*{c\ո'Њ2C,Ykc͵pV*$I'22̻沄lʵ S3DJ- \0Joʾ:5!goոOJCTʺ=V`[MlևF߁E;jந4Xr9LueH4%]Ÿ_ /05IENj} -_bJ+zyVv͋B>+lM)NM: WOhmgкd. ;O9;F0dF#y]YKu %<ɞIF'l \ʱE4ɪwv򵌹!pԻǣ->! f29BYj%MuvcnΞ& %dHU)G:m ܩ'7q ^*?9O{?$rRklf0Z.1z% {@_ZK_JJ[)%i>"[R $%d_=bO [Qۡ:\,duYCaa Cn*ټo#Aֳ?Ug;S%i[(@f4’~UZ)/AM#9x0ۆ(`CH]` ;x)EW䣕{Bň_xF;xs(E}7~J`ůC5m7x v zɀqFa[lV^ek`ل$ƃ)jAz"zrc #1_X,zm^eSrtz,%*M2y>d SiMRH/b*۞:A ~֭yd* 0ΓY]ЅVpkwhkvc'|kv*zJnF 'RxU.A1GjA%ԝ=wi[(둈 ̋})}..2%Nn" -0,x"-U0կN ,;M^mi+q_:v SOyTlKOxY:kJJ~F4Ibh䔥<53^Ks&Yst#o^?b13*+;8G&*ڄ]EmZeڧ :p(vY)WI  -)diS拠Ȫ}iHĥ͖KCtFVK)0kx95"%w֩mDTtUW8^ %#ԑ\{}2=Kv2ʅ{R pMs7ӫ]rA@Ʊ uV9푆3馞Vd~ZBTVMʾQn*Oƚji&Ϯ%cQykߔs|H# zӻ8'Zޞճj0_ҳs%L_eտ=%ch|akDe1xċ< oCK,0@y㹁} jt/~>k4U'poq75 $@3 npy~R. ?24+%b.$k>& dk3!_Lȹ{V>kق swP \"& ۗ<^8N?IrTȢ,cz&T!k~T?ΠL.M vպ0Vw·s &Pwa@`zKJՠ4U`@LX%[.QOM:+9838&*g45ll떉GBDX\Gz&fU57YVȧƴ4AhD?0$H-+*gd;{qh>wlĆڃF[}ᢿo XntU(;y9 wpнEsekf5X|td&Q}&ى,Nrjޑ .ҡV]9Zߔ̀>#n tgjQڿJ,v^VZZX#ڜaRUw}12"?` ˼B̻>Nॐ  UNk#fzd6qQLLfWoP}K-,8Uďӭ,>Hd>;y.ԳŒ=U7- 25FGSyr&_D_[f.+[&)(ZK^. #lb^~gaYM l鎎3G<8? R' q c.>.eO>u3uM /|J=_5#,_ha?o =aM8mu,XT)xw[[}J%)lqzӆ 7i P|ț$œd@ f_"sU\WG+Mj"]u`G?Mei\EvX뗩f@/:Vku*Xv 3"{b"oZG]fOX\ /=9F` ]x(t擟9}1bk@u_ V`DjM% *[eP/Rp/bڄKJ{OD+O2Ph H3|%\a&HB6!3Q6a_bHe2xBsE ނxXߍ5Hj<=탆[L46pC~NM '#Pн~6rK8dz 9X)d0E&M7K?SXddsPvޤd[[iCYsͅg CwkE &r@ִ"rD3ʷ=pܙf.ZLep,v,(HTyR5^@<[iˡbp uB\yÝ8K;K&v.mZV~ T)z:gI{C}ہ<ОZL%N =k=W4xy6UQᕼR o_uoPѧuZB(,xb7 s:R^&$^Rxu7DUByJ,q ;_hO*tG"΂" ^̜u+*uj{j?w:u!lQN0 Л:ESsN"?868tiZ׿ ܹr}v·џ`'rдCƆz[ZpFn-#kk>uS\h(nSicMz%~~Gyz.L ]58/dpYH-4"CZn˾M)ZLQgOXe%t/G1䷘CY\ع޾-xiU+> ACKK(C"xjR3&663E5Mj:nlr&i"8<`%dګ-,D֡jg~MmK$CQ9i0ad5' FCIHmk&HhJ \ 7lI wYOpUl:C2djOb`[ՒZ#ֺVr58jgDny n3EHj"Pq%aަz]Vs ;"d\}BCPZV 3Vz\!B25 RGVQyrywI%)vmPGeg?ۋfU@m#xCr $Kw1 cdD=7NEt͚YP#K$̃/eȕ~%GjGaw;IE0+W {Q/cLsPa"1d+}^02d.IXހ2y/6:]Slݯ{# %LmqKs ~쒣!8Qɶc:ͅHk RXN+ gvAₚ6W/\SM0lMlGJa<^Hr$6s&X\d$F{x1WWWܯBg8f:*ɭL*2';p |ۚ {cV% ]MOC|.hj!{C@t2~fz]=h}#CG* ڜ8V7X+؍MdUvK6vZ 80VaG%]L<"H. 0O"YLSen3VC@H{<ԙSx`(Dj "g,_GoZжfjfF 말H#Ċ`Qa0n|obVanY>C).Ru1JX}:o={n3N1@PQ[*C&3b&BmC&BT)sAʆԒL.X*Ǡ5WVYO4*B!3q`RņV%<ˎOjD]Є* 4YyUR= a1}.H%ǷMy.n)|kqVuZ}3ɰԨ]DRu9gs&D6a?<ё+'}]F^8Qwa%0ž+hݫb;{Q!:wē`*:dbqzSL֍PpB/2)#Kxf^~M/'EYEE|-eF3pM\S/J&9ڶ{d qš&OKpv?5`v.)/lgXݞ/%e^8V'{ˌ:wWTc4[ϊ6QRYW 6ݘ>)H'|f\1{e;fC Fpd|JJIYx 3lM;կ~Kkbk1dn=+p3(&Gž=m02jX4ZL if3"8I1jgEɶwyѸ2"bs{mP+~.7j+F6[hj(&HڵHåVYclȒ#GTAV~ 9_9yJLHɾBU}!M`tT }Νy(΃4$8-P;3Lۻ-5]xj71 ;v~.\ *ٝ"ŕ19o5|޴= bgX ݽӰZkWn%-b~~I@w}'捻x#_t kmaDڤ^e]M#4t a:O@בeun,"Rc ʈqi74aNOgA]g`{mX.FQ'praiDEF$kT )ȵ01xf| ]PbsV+#ٵ(h]5&[`*vaFb{Z$D\e:|$.Ew#7fc}[4XR@b禷J5t|H/.^mme-{C]Rxhіn(ҵL:}±syjl n" ffPVlB\JT%2yVL; Rbo4"F&܏_5L-x8nXKBjOpz5 u2g)>tBCr{ ޭ 'Sƍ;e閥ԁ΀:"EsF6O18Zm]ӄôslW0.j5Zm}E>J7gj>rKn('_5e 蹥|0 ɡY=y֔gBOM02?(m >۠դŁ~ MTJ\YvV*߰ u.oka%՝Xy[n,:[ǩQ{|\[QL:-u~(cP*XZqM!M(Cb8?ȨI1^Xk&{n1{,zl4R]h3PnYY6 T%Շ)*&ۑ 9/#3ߢm~[e)Ʊx OL kVE/g]=v1o"Cزl۹D9΢L( 2 ]Y19Ce|;oPk*x/77a}}X֊  ega5פmJ46."M+;qM-[.Asa "u%DRۭKi?z; )2y^j/@Vx"ݖWn&4&IkjBC g NBJEnmK *a1c=)_\MhNV¦ӟ`H+76S{/4华}cNZ.q-9dpM)cNx`B:b)ި[@a\AU)%7a}L#Y5T? \H/{ul/Ug4lkL5@/un8w"L! ޶FS笙&J>KO~j't֗6'ꗺ ޹9uZ Suz>ɉTOd_j7C#JX|{/Y, h9V['iܣ6"H%7a2YG|D&]8np> ׇw+^J]P#jvW)g.Τ kV +f03 oh- ;t|EkӎR[)7Qq ) mp`>@IThUGG^7/AY͹$O6 el۞rHT>Z{_g٫57㴋%T*8;,}XzgOp QkUnGOFf9x p; E̱s5RZ9%i*ԦʐQP8*MUr$r~7ORs +do@vL<L^)xP)S4Lmu,|`R((j&>+?̡G1k'.%%"LBEt3~dHP{ݩ p[K"CaWY:{n?]ݴI $nDٯ#2LF8%lmw+Pvl[ux,B([JJ۠7&hbR;]%B3Y ҸX!Z#f]&bb,-ORÊ)E NH9щTB?Ỏ ÎthG-yehϡ:EWÆSJ&M@6"otUm͕!;tQ~(%#*@eRp0m *lAB̄ .h>b0Vj\!!3 (˩"O=[E#07̣S+:X/ǘFOF<-{!UxLTnfвur[@v´) 1kWΤ滝FBvde[8ȕA`ΠQ"d~ۡ,_(Yϱ5ivgVW!T\~.sayȵ':E1i̠V)roSAyV%"TV&;6xQ=,X=Me 7=ϯy98f[lxӁB~iDc,YWʸėב,ahT1أd"gELϭ5L,YW56 ꭼf -4UN%vlXу"RڃH(@5%WzalTG]z2j;C'y<,W;ulzk胿KCyB3GCKq9' 6srr+H7@}%S rޫ^j%^9h0#\W8#m7L͏*ظ߭fUwMs帟H e,#GTϼc_Dy75]!. S-+4-^Bm,q9 ׏N{]ϮrHWf0|Ŗ8`8"!|~k&)RPn K髴<'01%051n1DŽG(Gpyܬ&\M.ȇSTT+rHl&fm5C/ 7EuMloZMx+˶Y|3ޭ3TDm&%h9 57G^Jުo,iCz:R>/,FL(fE DYɾ] $d8Y$npg A~I]Q ISLvkt92esv0|~ӀA"4rIOV NZxt%WQ$ܯdWζ*T,^ܒyxmLR(6j=tىVҿ_ C F-I8q6|2XNk-Or/ +b|o\ؗ;ިsn,J'OnL6& ȵ:B/c+ryY\Ͽ#M=z'44EuA3_&Aꆐ\2 eJcZx2 138En*E( VhH:6]6}u ;p3赝CHM 'fJ3}{nZË2rl;># r(JSz[*G7n7(>ĵ{Wi rNq/ ˎA_!Qn@q>/^EٸVvel(۷'5_vT]&E͊!䫋Em>En_G Ҙ3GnF:(Hs03Bhn܈ [T}MԵQ#0BaX& u&>tbZ3p/[BY]&N_ j_ md,yJдaµb1GeܨUc.(7.5FղYelꠐ8yn}7r`V溺;}t;d*'d_9-~c3`nJ@BVKn''e1Temx-F)Px0\F[uW2#')Ԫ@mx "D1ka)ANure|5%\=|F'VQ̛#Eh\fg@#,+NLIsFD՘axs6:լt$efy/-@OOqOyQ4vQ?WwFK D#$<|f S^TZ^qN"_C8DE<=Aᾪ_Um*{ [ x:wfcOJv9>SC~Gz5nڗѢaRWYxhMEp U4زv8=ITA Tچ}KBa8eJ\;̄,¡TRē(;2+n 찱HFq7 MM3w\d ^##ec2c$, O,)s8 R}Dj;~8y\05k65Z"9PuDg\_`)@\%:Zl kDD*Qf4)x?إ~JUT#aq ;m4}cqD<_ꃓ:LNHY^#W^Km%{O$v].D܁e#lBrf|C*SABKSG j^=(컴îz?!TN֠ayߠtF-ɵ+Xky%Xi@<}ǻiBf8&]Y?21R١q,/54Iw0hhAf+? 9qZu)8)XEփr~`h4C ufPF̡eOEI6IX:Z !:} IQic X6FAOB[0.a(52d&}ȖDܜHazޤdXȿ883\~#Dꎅ=:ED3gAKrODځZ DѸU۠:ޚы 'h m}reK]jog)Rq/LoE<rRbɍ}~6BRf}V',93R@ \s%e iEɭ%苺ooMV{ՙGt% jںQc$+{D :yi,`"l#"OL9Rtʎ:Lxuz(-D;nIݓHKsFH=#]HxRF`$kdf،ø1;T%G;cs"SF&kR'@aS `kĊ0rG ޠ* >nԌ}^uڛ{\AE=G|Z-HN}4Xd)X7 4g|U1ch 6irtXd([_aV4ְ6>Bca/zlSt0p.|# qT;w%HN7-^.#/jvf