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 ZD4T ] SM:threads=4elapsed=180.831cpu=308.840gc=8.952factor=1.717zXZִF! ծ]ŗXiɟH)0%oTcdG0yD\g7sA/wNJIcCM"ĝo"_~7I ހݙ%ԋ B( c﮷za"YTdWf#)5݄Tem dl?as褗Y9V4U0NyWm64Ct &x&Wph嗔 wZ0Y=~ p-Y"kx!D8H\%×+D)wlTTyB.Ri"@a1Yژ5a Q@Erpf3K/K:zQUpq*UJأyr";Ÿ#rN 3]@W $XbZ`kZG9L?ow(r *xlSD Fװ9Оy#P\n1p^}\~'&v"*.C!'Dw2hfRmMCsZJma̯RUB#c+Q{у23dڹ6fnd[9.}(dw!O_r5dۤt:7|ۨ!>b`"*I/EGZKs˩qPEBO 1r[&6z&ƳF3銈R 1PB8#rJ"ZV1py.Jm#/_- C+*f{6r~&ReʸtF0$\iO;Teq#C䇖LФj(.QVIXlˌrMjz Lk-r.ƋOs}ۆjk `fG4@48blY3Trh-.&y4\.RB;Ki S m14BC@ +S޿CZ1@O}9xb0I5Gy=8fwd?a&{ӭgtF[&NJo'x* _78^aXclii6D`YQB4!N#<-0Y㞵?`Q=_ڷe4XДXfJ?z- 5BWlyV6gKU£HGlJ>Yn3s`[`3d{{&G5KPd?0@(=LAY[EJ1[;@b|5 (yqAyGڸV 3M9E{qSܭZ>;a;JL2/dba@ Z*4A}_hBHAl_h:?3 }LUeLKplr^LIYg {0`v \g捳n@vp/K~Susu`SMF[44TMRKmQH*,l*l%:o1q+n@ٯ㵘#8*7oTh%[qu9.À僂)p(>NCKu7JytUI_H2p՞U'WaD28 qM򮃢GLUr >z e֦B,UH4pI=<̭*@ր଩w$C*tw0L; = ꅔP\-1b0o Ĝz]׈y۹*}䈍 le7"X8#]x}d&q͝=s@e&LtX<6S1c['vf30:b:w1Rq 6 f bRw Jo`c:oQEo }ȎDk4=m:9jQyzџ*\^ wDpT|P= h A |!S]rͪQ2)z:jVh'GBGFfqI ϕOHW= JJph  rN _[j5 =tnur޺:鲃a~ЏkMKLb*;C]ec1yBl6' Jm ٟf)e3eT::BYGs®oUShVUb5(OT!yr5&{ #y$_QQ"!4ʔ"o\zUKWhdGk/*~bZuFy:' kunt[1'6S2L K8sUb}j00)qș0^NsIJQMiQ)SÃT(kV8ΡܤBrOmc{;(޺EIa{\,JWONЁKAW&ۥ²౭2 6iwXRܟa%vB~g1:ZT?-qzIcv5 !Gf?D.mV1Q?* –P/=%?y=  SM  8x}M1m@'X%/3gp_DL kDρn%-o;-_r (|[7Jj#yy/.3! )')cO!ڲO=`rR0EB>d<]s9*NH&O`+ϻBjq)QWsj6+J٣'qpΈ:RHbiTw U*{]}.O6x޺ pxUqE.VuA`LuKO| -Sr##᳦ evkd9,#wbWz3bZϜ.G>ⷱ諑R}8ZʮoFj38M8mI`U=v߁rD;dcrf'j3dZabSDXd!_oD 5gFLDnzS6QɯY?;F<.`piƢϹ+,29.Lm$p):T.&[):CJR.bX_ܪ\׊l8* Sa,A`XGJvw}F{̕&KNA~ٳV*E`@"Yd57* Zaؑ.1k7zJ /K[9%* IGe^@}nwfE䙾c4 =WnHbESm.#Zؘ/.(/Mv悋HpG#J)eغ|h_F#+ȶh Bp܄I8,Z 5eG6?WXȞ ̺oKJu)෷t!xzflB\ ƿJn/ăt]2 8K~`W@pԒUSQOڪC؆i}gy0V75)#ñ%UK<ț2iƜaf7!GH8?1Ky*HyEi_>ǽM_$HZQG) O ;Mhc"oƀ[-sb}'Wfts ~?VBV(eм`DzE98E.)9;tr*n7;f="삥t&U%?$Ry^i}2%/G7 \s{Q5`\:mB&ì]%6wzhOv%[8V5941TNg؎9ۜo{ȸ5LMe11UlP%(f$^[5]nAJ$wnj Ω`h%,Ձ}UVspeRk.~2<4jX[:;ב)4V9 L+,XVHɑKFmK@Ĥ_p:QPΔKaHPWyT3fԝؿ<`)$-iX%a/6%@Gp^0cd}G6aLw#T̞#-ym9{l?'P#6/qn dg|&0OJZAxgd\vBRsmf-~y@] ]<&-̺Y8_`:qD};?3 FoJkjPUBekoH4ķʛ9ך0.tҫԝr4#T|1sUFӅQ5Х8Nv3UHYZ탌oqz^ e,z)~Aրc#߈)/}HZf/dP|srW,FiJҰ- PbQ m C/+f#98?t@MCd`] t0 *jIMs&^)r~+x&5\Bv-Ud90d/"qAl.!Np8R:׳7PTn8x"Ҁ\\86Q9؛&q%Ȫ8_ḛ}^UgݷQɟ꾛|`"+58ѬF-'- ^5F{ůUf}-3Qx櫡հ|81xHx&j>vKfza8Q#Dm.`Q@VMڈfBUiQu`u`{Y%kuF/H^kg&F~iD@L~ɤx mʏw9Ω|-Tm4Qt ~eHN"~rCvRXʥ$7xZʔZw͔haֳISv6)vy'? 2B!2<\01/OᣵidZc0z)9KY" 3‡t\ `zk d4gһ}?T@c9`7I|c+nőMpԟy*H'Ĝ/ ? |e9 \e;t :wOMYRɛA{k$֖ jHMù/`!pޞ2gB')ttzF2jhbn돳آs8Y/' p9{xN6t(bJ߷w2W EU;u] DBzg*da틙Ӡ7!s]\6%q/0șaT+ Ȕ|E;3[G'w4] Ћ9a wͦX Ԋu՘PFjGjOR HQB}34QV3ύ$~QUfW:6#7ń,Z.KC3 "`9rijv_A2I :jK"zt$b|>f`Z*D5C4-0@4̡QVE0wN0j&q1#IZLKoeAWQ+T˃$+؋/%bo4C'1:ȭR!%_JnX̫gl чxNHI@Dx~a6^ss h[ rOj /XA>0GuG2?eMš|\t]G6~[4D)yo-;2;,@F=%'jBIGnj Չ_O]u+}'B͸ԑ޼mxcޏaR=rg_XI^$M7]lVǥNq!9gbb4t:)T3QX4M^/Sc]=6S1*3d%$zk\Bl"7xl hĽF2 ΂ pc[.Qs!*01sV'ow-(O|Zz:|Xh÷hJ:q";iB&RMTq!_9UgY7-PZ)*^A)qaTW"s%b }mu.|/5Q \J񹀗,, xW# 0TFln&YB1 %OFasVpч~B-Ԓq} -+o9bL:mV- G Lh+Ƅ N]yzxO *rŽ? %E Rg9 +Z^Vļ Ka|)p*xGyh$uu8;*-*˒ht]x*e=8 8C{XAඕnQ `LQǓ1z>Q<@lId(.Ҫ'?`/=}mq\sqn7HzU-l@~A,Dd1,`u%v L:i뛎bVzERB(ev/=gcXRw/ݴM"VI@^u(<]^R"Irf.] +8* jMDaS*/ 1C40د5'J3X@4Q{vQ!8(v+2SD/8$mgsB؈ahH.aJtjsHEx,˧љU[]_|k$)M>Ҥ0o [A\P-u`ԘoS'P)*C̏D"=wP|(ADϭ/,򫟵k*:QELU;>}烹h% qɳ wU0*Y"v&zw҉;F0pTӣ$) >[H`!@4lus41.*ED W8 (Kq/,Ac5&ep٥AEGzd'= Z^ܥFѭb 4R A_{52:\@)@`CZg5&20@|\> 4ΛJ1Gi#qH(>[J=9U7zَ?pu<j%X\YFQL%)WR7N?W H/e?xa)S,@*DdyrN5Y3~nCDOVwv j\EAGyT&\? כHk48Amr|A}t~|%5,Z1YF@2XqB4P@'2&Xg`7Q6KVo'ӊUɟP}I!#{LP3U͋bKr uK=Rh!noWW COq\5ohn[Rã ds@2*C*I0IV<7U _`S^⣾Y c 7|ɁRKTg$/Xg?801|p;@AP6oa,$3Xp["/)1+}f]t9oGvW1}z͗R2sWLAŘYyV6|&vy2HY,=K6 DDzk4f68V ^'Fu<)Q@1 R\> u`èU/<oE8JE ps`¥dg ?ZSccAU|4&A[LppA-+jIyS6tG<4ȕsULË֩feɪQ+"G\ { u1y_; #X?]gY5lB5=\Tc#ђ3;zpC.*7  9{AAx6u>a aА ɝf++} $NE|DL~ }GzbdD.~PkfzH\*X6&-So &suyXr^Nz6雛m),k)G,]2r7C2_idʦ;z@#}SG; ZhfMM*;H뗱,?׃:z ܙnt(пes6Z&>C-3HLJ2 _yx4eаFz~uh^Ù֏8[nAB?&o:NpLm 䉗|?V wW08EYpꢨ/1ڝMl]J%t@6҈EРf7BhW[$NV~pj9Ҭ5O(VsLE;yӵ\b ",Y9Tۿ}gF?UP2SG'/ߚ}v a߾ʞ {û4, & rMX= :q"8"?(m/jYSsvfɂHcP漎{?5gx)WgDPEW=/Cn.޺A{Ak`?-{a'^'Gv2nnhEruC˼%%bJ /5m~ht~DN\J',?iY'o4PRhiLeɽ*؃w,H9EFe@ppAWX$Էr'UʏUW- %dItCIU oV 4.ۘ%x7a֖mM4/p-7Ͽ̾6N GqMF`!^ B;cFJ6c*kwG!`[__Gx;NژJJߧ$=qmh9;`,'=A&pII2waVFnk#-ޟv%P:>ʲ=&H)#"Z:]v;XVbP-:6z9e1ZM[r#7V2$.o2JШ͕Gq\ "ע$:iHZÑ-y;ÏΌXOBCB< fMZ]A Ԭ)uRZSw<@ ع KePϋJsއ_& t&$(|GL7f@,*pꅁc_K-L0\9&8рFugI%,9 (Pz/Ux0_ZR_v9Ke$T4*h c4֫NxsU2-)1.ҡ19# /qx,^!WS\B^ISF$1?UM~|q0#q ?9`ۈIsRuyahP=8VǼףf XnB%wwj'ܖt{R_6j^7@QAݲQ2kh-mF 0n3b?_^(&< <;V@I`ţ,/^ieG#2N{|ÍRΛ6nAp#=Tlsuez,{W*fx 3KP! NQuCҟ+t!id(3z@sа\~t-ָKX[If _h)ʤi/TrوjJ:jVeqY"'Dq90@$t.( |P90-CA"~̒ (h*uLR`4 yA#W-q8&{a&XsŖk׫8$%^Ro'*N4>:.րuB::Qvu hL fԡ 6XyZ9aS5zHPJ1ۏ}_(l8 oĭIs᧾۬5$[P8s` fx 9fh( qp`VU墘Ƀv#˹JSb¡/ָ"J11T&QuWFG<$iav4n\p^"ɥ_إp=!кYsHV,};}jV+5am+U䋄{-, /' 6ܮB?Hg.ե46g&~7_B\*c a\cn8k06t㓂 zPcGZ5Q?`Nr}U53(G!76 wc47^Niw ihu{l ZܾJ`Sɜ \tI)+iEnM2:β\,Hydd7Љu 剥#|RjČ[\MBԩnʡTAet#W 7^njX~zkT2yGAkg)\:yNekyϳR`6k=y/k`h!_nM\6L:*>/v%JGoHY;(JAP.V K3&P6ۺ@|wCR>~ֺ.ĦUaO6^&oLǜ4pDM&ʍZsw3^5YxՂkOQ#^BSoNڭ-P:3]R!,TBZ%O W·]T܎z"ۘךW NH c=F1K7ɪ3e컷ۧ+)5vY X:Q$xj5')E)k3ˑ$9@0r)7. l Νv)lCǸsﭖ}E* O#DZ ZH+hBKnK# 2j5o#ZC>6"/d VU;9D Odv6V XAAZfGy>.!.IDazY*\Ol)nّ/"喢d;V5 F -Ԇ][ӽެ OW 60Be`s,{A) ^O4Ƿ{m +ֶﴜ-,E5APio΅9c݌|#U:#+DC'mN7^</); -1= F'إmt#_+"Jz3ijHJ42٢HOe??RpDi{-jELb2=OS4Ω<'"턚 /Ol]RW(pIiAkx)n#GH<ҒZ/Y3c<L7]q&[ShՔS;i,I3S1:jVE/0-PhA7w0 [ENMͤZ+G>H)'OQbI'GM`]oĬJHzF( KTxiLo53w&Y!c?_= ;V7a=2w] i T'g B lR/xȣ2C mS̟P~Z)zf9H6/ E;82!j!FsnRM" %DhjtTYY% 8#-=-2wMt%12%g7aHI9~)7[w^@;7 vIv![ >טzQ-<* =;E9'RT%Wi.{T0JᴂiantIw?R"Gu(fcl?7:q"z[Wi%(8p -̿HPA Q*a';_ˏ$-mt Eӳ`+L6ضj `hڼ.#M=bwn#@ٓ!zi* k 3bbI-/|[~V%`3 dv b2h0LV]ʳkInyFxF̊|f3P|c)4gquWQ-P:'EHȓ""G$(Y~+U~ 05E1G6DzfEpKK1p3,&!Q7&`v.J)b.u^tfEz)C Zw58a[῕nqw$|V@|p[vI?5(.`^d¹0u?J?heE3,"뛡k9QZH e'w`H6%;_Ȫ ,9}4EAj;Ȉ݃[ 6<#T~3'XX@G'JtI~-\}6rŖ`=r*m_mF|%,-"0mZH/E -_ ޸1nRai2&LZdjhhR&1RrR R"7vnUP""yq'QD|^=@1|MTS҅h; gg(=,}&1-{>i?da^䛷RT%ɉ>jբ)g bhR/8@&6GB΁U-Oy|xH qPcՍJl5Ȟ'; #*/iy IcKNկ5 _c1|H̸s#X|JgFnʔ/(F1T'"6l{(Wm'3"ΐl}y`@΅k5,p}AMNbJ4ͺ^#;uv {mc"&JvO0#n\|@ xf\ׂsq<& *\»hZ#k[cYm+ZuC4tA &O2%@>ж4:_=K%llR(JAk߆/#yeW3R_BSM~m& Ym@LCdpnCzp6l-<3;v`W牘egB$XMY=C.kYYǸX"Ly2ڙ9d5C뺏j>p[K2PH+DXDDOu n㰝_R*u%aErDc^~V2Hy8J>ilc2Kݰ(k}ړ/x<W~QC["zd hEgIlv`}َ%<)]yxB Y10قӂʸt)H;o*t9Eu%7?ʹSb% °Z&s#~hP{ b &#MJFxt3X'Ye?*o&bڧی"|xn Hi1دm`J Q%e$)T J8.Tѻ+V۱bAMB!9)Jt<$bIc1e]"4كnf$>&F%W:,h͠ԅ fbT.>zFmQ!ܷD"B"OW=hhx!Ry#ߏ3Ժ]aB0wRA9'3)\_ɲ)#\(5P/kTu'Zv?SFS˯0[4aXZ,[Ok"Sew,{^nooog[\ $P2j$MMp:}XJuDG[qvᔭ_`nrQ{$pݒ͋a%9"dsc;r,]pQxbp υcGʸu҄`%xjKCg@s#3,7TԜ4 B@K)yo*UKT@VC$`|Ȭ<*RxyϭVcLB+vu67ڷlPn&OB:t}F#pA.pȿ>\NȄT&Ust,,߸oesIv̇]̶FmxZK0{*?`LzBMeEi]Yd Z@^JZv%H~3^V|Ot*q[ЖZ'8v$>JnvOel |﫜KdX1hD-EtG_#i*ڪHH/%m ;8yѩJz7㸩v X}0i=kE;Bvb+^ tULrw@v??KA,a5Y%bF= @m4[kq . )C?J"(G6Y1p(5d1o,vS!EOf:~(#Sc ?jk 2_IXډhR!GAP:1WK3$,wKZ){c2\σU bme?Odnp̼]q7+Y7CB0NM4zn`U7XPĄz/F3׹kKGЍ@`8JO&10nŃF#+$C*:$WZ>Bht"Մp0D{ e"4#bP7LܺEiiLBF˳ ™GϢÑTGvr9Lݓ8S9BGE<򪊯@y+4]7)"nn {*+-5 GVX.燪D4]T)pKЫY3服Ni>C#|$M1]>U5qGǕ{*q)% 1 =rHaf*IeCHRVڂ o^cP؃O+ 2 {)(qUio|o-&[Fc=n{e%ƧR#id^эD_A'VÃy@;,"RuM|/$Lj-Kt&jtDRl9eboRͳ9׭f5Da@sc ky:X7FTv5q1JIrãu>lqO&޺K?CોA)d?+l).^|Hzp?@Y&uc5D8.Tn87VwUlX[2Qoz?@6jsXPxf.&D'q⏉Cm#(t$ 'M5(4}ΰPTNTi )woR< kauxZ{qnZٳgo%/hW|U5PXpKf)GQ8N𒌤N2r$Lū9Q9v̛8l*]e\"L?[FulXC皍#C4y"M*܆2RY0;UOF-FUTp0|&wRPU2dhݴZ Qٞ=jSqlB :l\LO b}i@}l E9c1nXsx?INÃm|mÐѼw(\Bi׬&`|1*^2ͧ2bg>j'P0ƣtQnr:6™^nR4N<Ʀ_l7 CBJ9w@].w*ŀ3GgFC䝯Qdށju)9;,Q8|ǹi*$t[ֵFӷ .It!cu'Q/~*^si<<=-O:ksZn5X!"wpj ϔA}' -/h(3܄٘Ng??(s%2ɝ1|~e$so3KG'Wcu) |$pSk=M i6*a3uBfZ"=wrw2X'%8,(J&'pq\vTon7 " mKb5CmGDOCОW=rнFh`0QU!6X6Pb^OL7Sh^ i׵&k1#Z!|1mY^ĴG}lbyFӰ@f}\A?;9w>z-P:ڐyt"^ʚ!F?h.m+?]hX'nU<=-/{T\ zc֥h4Åfo״?Wk::ev; Jt4XL 4[K1ܠ2 ?8F#x&}cr'/os+bHcpgŀ!bH.k%Bo$ ;5 :Xq?U X?n *8¦؃a4Ω/Vne ֥zA@%^ ;RZE>s; eIHx޿ #co)WmSXJ?fvN?U1 7vDlZ̜DD}7HCެaM5yC_Ҟ[D礻\d ;STrN:mSdmM_D3U}.>G3j~Wi)ٖ@`j<*#gil*yLznTHLGdJv0[;5-0 Ra8\rEez¹]!gDל<}&yKi4V&DQ&_\nv@腢Xqۍ|g{]u?veo*Ӈ7˵a(4C7xjgl m`\Ugj!韻CK!QK[,3kMj(jJeTr8t qP1omGG5&'"j9ZtX ЉeT1a*lYq^M%BԈxh80񱾔,ٌ ,3r3HZ\)fϠ\ӱ{ּb8gH$kQ>w( k? D~ brIj?$7p@] X5rw} RFxlzŰ?n_Ԛ-D|H8GJuCLALȧ5a(ϳ@QÀ O8בr]Q=XݣbDn]]I$@Yz!z-(@uj&k,MIۊΰлr][)~Ph)̛FJCy`~c=H]Ձ`=" X60m()n6fU<9I^;<)&f I_ E;z%٥.+1p!3=\ʸMTCarUnk< ԉFq>ړRndg,/x)IiU6(B :e9\Fuz"p{ʙFaX`?DfC'^s()tHKu]մ`zNRX8m-W`yH;.a#.BR{<[ WeWsBZc}wG13*eMWQ0^ S W1#υuXrƘ^u ;ݤIW m%±DiTL `q'V3Q(^7`FMap&r6#v 7*wOt?7 |R$Z ޤr ip/XኹBo)~47 x.D4 Ib3/8ȞXB]S՘l!>sY7vHׇ!y\kx0 2o!̒=-_- <,=_c\gsP+ kL9n ݩhN6P ,>:dz58(&}mRjr6Kʆ9h!K Pj_COD:/p ,cQW4}b$.aCt9|[*K2LJESF z+ޫ,)bl>[+n r9ynhPvCCShF2r2:sb9<'<Ɵm gt>xɄ2 ]v ubr[D4-E;Ri`EeOoT37Sϐ2zH!}>(zZzWE++n)f֘=V]PlB/  Jq4om'W+}TT!f,9b#ķ3 @ 8ѵ8̏=X߯eA.gbⶋv! ]=vnp#=Wtg,WU|c!V󣭑82:]TFqL%9mQ*_ ND 222?).4l>J L)DA]F'y̭#< -mwЀx0qU]2V u;<+掅 ѠwZW)Wjr@_$ֹtybJW9z K{Ӆ~R`} U;YMlrScU5D9}II[9&&w m 6t}9{G&M /z 7ӄ|}gCG[taBHFGjcjfN`](H~D E[qɾ'&IXlżQ؏3cb6P?tG#BmʝB%)@CCWypg${纴ei W,UUH `jW@a_U1:N:ޒӄkJsdH{1-QmLFB&: ߑsC0qdwn= O ry<1Pܖ/ srIO?R`Kf sVt]S؆QY$w$6߹RQ9,0)ց9m{}$X=l#gS]1eÈ$^F :e ƚF: lRH%9lrp'g"oWL9h+*ק>!H aql7k*tw#F"NdirSjf_I/?3\^<빜):M.@9PM|TsiV/URtCPWKI: Y9۸rZ?jc_3FFZ鿖O P@fWGmU=k-S w`'> ۀ J]9JX?(T,h^D(v b?5XXB"t_D/A,C`"w3,֗f݂T}Li/:肾O/ݏ"6_ɷAXYz#,!mK5}~N5|W7ivgO6Y&q1詊Xև\RxYU&/Ȣ:@*Z!vd#\@ٌWᵑ:jYt^EO@S8ߒ>;21#3Zy@+3G 1;[*:D>Bk/Eٲo unͩ&j 4,3/jzr-Th؊r(p.sGR.؉4MLy14.9 ȣN' [ K)څ#xo_m.7!x?0cl%&Q!wh3Q4\%=A=u jya<LJ!reHoHK(u |֪X >LЫҞCT*߃SX]ԛDgU;|aUQ-(2C#/wǭ6SC9pmǩ]PȒ%C}{6G:x'' ͭq4Th\8̟uǡU9y[oF#kgF^aX\9zwZee)~tD $vZ0Ti8IrC_0w/ |45_\ Y1B/Ԍ^g/gn;!:H!ݻn%%6^3O 4K+\JEfD?EnS!.c85e4fh3j[S焠%jzq-]1c@!D#*q/&m `+9ܿgQ\S*;\Z[5qcM#nc,u_#,qIzby ?[}: mV 0=ҟ +/MJWOQ%XD[L~Y_6#M^*܇Y i$khT֫Q)\do9!籄$T*Lq-;-;[|.ٮ-³ G s:.v{ɠvj!^@쇀.5S e fenG@iפJ%9Κͦ9 6pFCw1uX^V ~Iz![ r*hi Y9}r+,p&r+d S} cևe3jƣ;3iX-p o+cya]h:10 dG_ԗ*/HSl'$%v01a->Ztkv%iN#NZߩefCZM|vIG;FC5[Zbg]mIp6k}{ǀ^&HT3Kyhe oK]sF8=a˨9\D+Bi[afcQ.In9_2T@$`qcɕ2_d(فjt 0U(gEԣQ*l⓳fg8HzW4жoŒL`w+C3Y*ߗM`s+A/IwA!þq<1ڰVj<9h}Rc2:b(Hfh}~SϯCB#+EEf@~*w꛿*]Gbڏj$;[eVOTx+ȑH0b) J2X@ e:4=S1[ u* [PCM8c7N2Y_sI[Ӳ ۪jhᴙӐi5{+U^b:rXC +Vobi~0 $zNI['O7X' k,/e2|-'?2~"^qber&).r~) s' fU/zB̼^[ت`}\Y%PXBis7?v,1711QeBW"`;l\51#)j>+4`-8W>8\`ѾPIKß *qv(° OBFXqXG0`0-vuy]IVl>žpܜumr0ta[L&"DQLn Cc%%&>9r'73uf8צM`W2U3l.uv]TKǿS%38=OQJ8̻?qO#zNk$~0Mpx%6/@6`dTx<( Bs>Nd I~7DYt)nDfN\ z'8E&c|2.Rau Fl`eM:Ԝ9[Y.ӑA^/hp6?ҒPf7;@P2IQv88"0M@.wiu_|a9~`7 cH3f ÌMZ,朿vLܦ_xZpk%SdҢ[9{ysv ) P>YYmI?%a¿䐆l!獗90?gXQ{@hh;p <@x]ZlR)#ږ+n|~ЈKMEee6,>>S ZT[[=&4XS/$_G#dooBL3ȥ' MYK bh;UṃjB^M捐h/j A $s{'&=Dn)5mDžφ+f1Sk.a[c v~rNz'Kdd;Y }d0N (.Hha*upf *JqQD;sJP[@EU]|*nn"Ho/ 0kCwC\4ۮSw[3@\ͰG|vr3b 81K4w,jNBq.FF1œѽĝxP<< z|8*mlyksWz[m,H]Y|vo8L,դc46B4GG_Y"Gzs͂(:XeV\?١|e°k }l5@YBy|\X*hM%z%/0R[n x&K+]sW3\S0FKkx]T|>gYu`9czMs?ȥ4fdBuJ ih+{123DqO:>7YlwdoK  7&Ln$̥q=> ZoʼnR>>X hE!>wxMm>Xڄ(Cvqnqodز%hNq}|.:+g)iæabeJXW%BȤo{7oz_3t 'BJt# k PZ(+M3JG 4D@ͻW{ j;2| <gU/FIZYҗ{$<ПۺM-vjHw]$K0eRύ3?SCP%&D@PC}cjb]Qw Lg3=?l;( 9b)Me&1hКZ?ET`cvŹ~ʭ6w}/}DGYUHm}jWюvffK[Ä́|hN촗еVt=+-!ȢĤB$kdpeNL|̽iʜvwIFI%~XrDFkx am._};W‡[U0{;عeg]61`jAQ"$Fs15s*afZ#e<&K;"Vc:blx͝%4A̰#jɅ6jQ`=k|!Oױıv _9ۯ8jK<]J|6^$/\hY.|5vD_`N͛SVOoPǰ66ٚO<~[U֜vSdۗzK>3|CEk&ImQ^78짷&&nv$&摥"ճx]8l,} ;PL%{ iuK(e3`:n|wXu bx} ۽ MCK^ %U-ˈ]uk{ex!܊1^/_wf"Bsi (8J!Qd6 r|֝і#gm}-VǁFP_L&ǝ;={SK6 NEg"\xfs%W.6p]ՁU0|'T`xQ ^Ћ5a4Su>&P0 EwƎit(KF0{%ˑain`y=VQɻ"Mh|,> Nh%ȒAΐ_7p*A( G( , "=ܹ XZs/BQC4ukZ|-B3X lifapC'n^}+uhZ(<B Y=?!?Xko[=ۃ [;VyQT>N J-ʤoV+ E5xrft~]H~EAzS&T#VOPGX!2V) 5O|l.BhRA1nڒ_ @IcXYF wkN@gLW!(:OިE|5)ģ]"/ʠ˻@-r-|d'Ѡ(BK~Gxa'4N=N1vEI&ù5oF'?t8;ʒ3<]/aFe 6=>qV§ѤNLΛX߻ |[9jf|67K7U >)n'՟k>LZ 7LfJ vɇ昇5⯧c*8Wj o zC@H"lL`闾dc!Fe_-$8X{-NYς {Ǩ.$'b]C&tH:O:Ďpvx =QhcZ hO ")d:3/O6l{: "`}!Ž:q >qeXvgNEn'${09ݽ7=lS3a¸JZ]Y6/'8=(u!J4i-1z=}& "깮> n̈́][tMY^蹧@֮4" 4[Z2P'*OboO^w^ΏPQ C./'t1_ 5h3 fqE b`=2CLHf.r3Ug!&FTSmfQ*e^$ƅŤʨ,k_ p,شbUڷy}댮C2q1߭96.Uu&D |bVXWhݕrS)/60DS ~ GE_ #:X;R6N ڹW@9w2ZjLzݷkavu/ȉ~]Js6 =}IӁ8zNk}) -ϑQ(fڦęLMLJZٍ?X%. *uGM 7Ĩe,4"Ftv" ܽbi0p)c[cuvRH+$);4;9k&F*5d eM+|)g>xX*͉5޿\㳃)AS 7V=K*˞>l $+Xԁ[3-*(+p8$a ,Sk~{n#ҮCDe!`Ip{F~39mMU05Ve -g擸@ Kb'ޥ;=v7 Zu#syJЃʵc e-p@( ӽk)j=~ ]-@vd/}$ytYǦW*\W>No*]Rh'2)"^4j Dt 6YMo ~EXY rN( -0Ε?Bb#G>*T꜌rrZt1$\*ɤc`(yͪt_(DaScHPeꤠ@p3s`^wy#8_}Z껍!I 6s$=Yū} { 'yp"R u4}bSݓ-L%zfIâcڂ4Ux+̘tw5K4Ycgjh'n bF?H`L Va B6{i2^gn`v[XWUҰv!z11lO[*ee6ohӵxhwPɓy~ BC#` s?u {I1/ϒ^kLO/6.T阅쓷1 C:X"pr"$N[Kep4s_qr7#޿!%rz-k7a%yo7/Nݯ._v8 H*bVB_uy{ﱯj 'NaB1ӝRPLos >~t ޛk2IL!!|^f*''qՋMo/g/x0x4v[Bx-$K"MM6.* 뒂ݔ/?;Q0\N53ښ4yKǺA nu!L,0#V?Tk5{C2rCt%/ľ[s֋; ꝶ.%^aF5>y//R BtMw UgX.Wz}WǣCC+Ns ߖƎKqcփ=l gM"|*B+Vp#O7`Ȣ+lUqSdTVFs(QY:? z@dlË,tڹ/]09H<(ӧ0 ͋sA1 '՚plT}֧v^ @C@£9yօdg_\2qp彻O~}NI^.$>&$wΚE $"4V_U0W y=JdΫ}4E'|$]7P"Az8Q2 ̠?gmƌR&W/xcrW.hj&#ְ:RvmV?qFXxXDxZ}\0| N282M }urݷ݈lJm1)x-{QKFWcuФ2Y¤}zWpt'Lȳ27U|$30g/ڹk;˦|_+vgcBHAC /.R/kN 9< ؾq1yr1Ճq-A|Q;f|2>8%z5.yCY!O{7,Nj0m#p&הq-p&x4 .=4OaJLloq$G܋Ӧ< S2,u<;Z_TyT֬'E}4 .0{Z&:! Ts#t#m&a-2fyG 03lHi?U#0r0-ϒ_L൘>xd> mמin19SN)FSUܝ=M[~yF(G_jLSF͑<V!m4jtPSQ0lAGWB&n1Ԝ1 j/9%!7{Fcv=8e Wȭ@|w#_'_I%!zDP;2K7ǀ=^)0%tq=7 Nӝuo20A.;ʌlXvbmËH}F> [mXte" }gUTo|R…&"_*4[*-F}[&{] }9sĴVM* _\GRa@.c䬓+Q9.:^@.#͝TՍt`PM)\QmSV^i.]]$6D;PJiSq?1_%gJE3f*q)dGZ_}8@s#mvPL%/lZ ){3)\B-c#*}|.@@S⨣*#ciھv. V+58{w8:r93}9e3"ߥ$'l`)D``t멟 ~{[}#)< UUP C;"dMj(4 s3[DUd 'O3n W gv-7‚g/Re7r)C*_~c{>$-CZ.] 0ĦO/+cP)vdbd_VX$:Y=o|XKFf!d-fܶzi!xj;hpT&uL]ꑣkpmrsֵ +'\؈t%X&4ܟ.."\R9#[hTI|bpIWeI]_]]gʲ-砛YSwM¼p 8ei"~CԌ.6 I傢1xz8^y,:PL/)V)>(\eZz|SAF]OK8yTun2e^H?F u]v3Y S1l5ܬɔSSU"/W'|ŷeޞ011y'mlI%E8]`)r Plp^!Q@ Y9.{C[ 7y)zffS0+[+ DŽ,֚ |yPWjvjQߡKnd2+r'VқuL廟lk^:s,sm&Q}K.gl6A6B!#/.[}:X!NBvǂgEh wCFdVT;r#Ψv*: *܆8W0  Cj23!ӽ*էzrv6:bMf 'Lb".4 utWtYjD# ;J6sAKBwՊxrpsξ/4OV X~Hg&4CY3>p0g*]0-|ߓAzJF203b^I*" G:9.P~# |x#hl$'x /ܽ 'ncK0ۼ(HHu!IS1~6J)Hgo<}]_ ,uީ 7Oij\PG߲7צl9uIgVr9)7hs9# B_cI"~D\xc9w&(ITۇfx7$%A5l 3& TeQ؄T^N^ ppGo줬=EL*2:F̙mW{FǗz}Үqx0DWuQhפ3nؼNwduu:TO">}h  Th:仯uaCgb! L2$ Pk0!NJ] Sr)i`ݣuY: =Ha3 j?wȍ7ux[ukrxW ֪s%^\7UX":("Er+-2R-TeoC'D܏r(!۱~v6**GR2K_+w/T3LFjS)n;!RȦ[vB)Q}O^P"Z!,XL,kKB"M};ۃ,+Yi[AP}lu$Y!\ŝG >< CB]K+US]\^쉣 $֤1l%)@Zt&Z˃_@m±rE[yѳ єrѼk"+fĭAMA'{,חT*`7^㥣MfP53SECcU=謙9m! DdKye:C<C2T5Ğ>Zi4_LTOlcVB(a-æx;o׸{aFv` M bXɿ?$O <>:}TvڸD*d0GJoa}{GJo t)Kai95ÈQ!3B1RTL̓5K@lؗ-iXIZo\y 2FCQk I3xQn] ͦдk+07{F>e4-V] (#| 7 `23 0$q VgYe`s |̶>)lW4%Qo_q/pR~)8 CI3ZjMMnF(A-i!U1>r^J+&.tg&yJȕy1,]V ڑNxp+GqbOcԩ5W`opArJ)nNdH+rj BrT:_Beݳ;p+[4D'B @ޑ8QbU3*-qPt۸' -Rۦ*\m԰dX yejYiV*t {=ugZ7=9 \y(2 #,Y2.P=a ~7`yI`8;9cO~HҰ\0n!byxcn)&P9(U嶵?-(Y*5F2D/ < [ŝ!SK+AY?0~ߓ 5rɼrX; L9HѸ,ψ[h"x @=?A 4_3l@wGaF(7e[8(3ls5LN,![/0Y=ռ$#bm;sޣD67w"kOc)Ԩ.|iE$>_?Euhl2*v9+"6eE?oѸ:)QQ .c%M6׺HZ >#t#+Vɠ u;HJ{%UK{b|X368>(Y~&O^[r%jq2&kwwO70mPn*)D$ Py Oy ] 10x}[7<ۀb>*/OJ#^ў++\[J߆얒9.p%^2w p `Շrжr|^nttr+CY ƒhH6օvlnG; oM)|Ux|{҂D="JÔ%F%k!(Bl=\&;w~;R|jnm0+u|ďZܜ᷽h :c$4S7 O`ui1e@ Y$3XHY,墜Q7ns ĺmc6ex+x] ;S>y,+j6|FE[] 9a_SCp$X_G; 4ˆ=-ENZN8jM1S/ܻ V*Ҩ sE'ttpm 2J0o'jt3+/!99ޙ*yS/nQFuU=n1=><2;Թy@?jĚP! 7}Ï p ߌ˅tJه7]$@Ya;: = "z#IFn*ؗ%mӴwi37%5EXF`*Zo}4btD}]̸-rsQ]hg?Np ãeϝ!wֆuyIO7ꤰS{uqh[7[Vۡ~[!dp5~.aNǽ!f \P DKCt 2OO|_BxɈ>YrWUBN3ڭ(!gm*0ؤ9~ – -%kSݯ=]OX1e%~u["_$XpO-E6D* d YBN&ikBAim\A0#+b? r\o=!d} h{xӮ5<ҷ%@)QlW]mZݷ1[&j'ӄ#Euuy@0f ~{ Ϭ&Lc#3 (gPk6'/Cԃ3LZo@{ntibF5>n@-*ފ|kdh n^l1VJ[:a'?(",O)!DRf5xwiiˍ}>(vQ+m# 6g(֡KIb-;ӫ8gE 7ǐ PJ.+%Ԃ/O }pۉLg^>JF|m3VkT ]U(WRJ-h[{o:;vl_S8$*Yb2M-BE@C",;#ߑ{[nĚ\M6Lvef(FoFkǝZzjkيxG.3i6~2l:t>>즕@QZ#ĚC|9|h5;K}*q|)uVD17 2moB# d (ׅW_׊.3BM(O66 pudlΐ b4.TE&qz SӪ]g;uUQR89Ll~/V{4f$ Caycp 0`S>36Nv02]7! xyUbcoF|E U;K=څ}ΗtkG/# ̙m oq-l1M~v5%hS2ďDs,ߤ(HN"tCTc.-@=bgwyjmçT>imRec26\GxN{D>bdO6f^3T<6߳,x'ϊo!(60 ,3R0 T 8R:8ZQJ= -ԙ5N^ouRp.PdpL\tWIT5ΩȾY, y:+{;SF-E剑x#vK[yF0eLJ@(xqKr3/I|&X% ]iYRHXjKo}_{&;"yxAuSqÐ oUA\xi,4nZk>^J \Ct_*}r1hP vڤqX=lX xV''xʴi(+{`3¾5Uykv?IB-̞=T݀OYuP+;Ăh Ƃ?&/!W7]kѹ)4AϴkB(0#BO2XU)ry&&ȴn&nߵZ`)X Dgg!uۀ\6U1d˾%=br~q]oo!}(F AYs6 ׾>}btD9RM[Ћx,[C\Vc1HXB\Ɠu:2/g1ݾ@g -לmq'j)#FWؙD,4[2p54 8i OOÆaN$O fhbA <DZPO֡yt8J ˯g%0=hy G"HuCHS+3saL^g"U~7j*(Ң,]p7s8s#u}+-GUTMCPPu1uOىw_}ۀ{,mH>|"p?[Y_nY0dbGz 6XTvaA4Q7lf +{v_@ ZM"8R8MT2IK3γ,6fDd}TzrQx+|eق%t`Ŀ% kaS;5_ΚdnOeYnJ4?,#6~Ll٤GM#v}W%K ӶpY<ڼ<~ʕ^K*@ASe ;.wOO_T\LYҙ,"ʭxeD2 2-fXq5/Aϙxl)k8$QпtmrE.Jn jݮ}lB|੮d2pNѿ#?AgYZ7zXZִF! .R]ŗXiɟղh%"F1]#Ak,Pgu ԤXv"0ly^LSzˀ:ҧr'NGIԵȻ<_`:ض}vلObf$Ӈ/*2ZX"HYRx}D9{S~<=)0hvjO4*;_[su3staTR֜ڎɀ7:?Rբϋ?Cٻ$N d`3Kڢ.|luNSC:2uZx G04`5]wlpr& >YVaDlp7XLAP'XXnnGkv cg -PbXO 1us#t>RXf|mFcbVOQyr"o"AD'J0ѰY'=d2T ʹ1kGK1aü/1_W"Pb}#UE|’TMf\nSiCev1 G{/'$cWThsELU6Y*RCx ki 4j?R}kوnxlQto϶:k4IXJ9,5jc}vzf |n9a]SVN؅u w^zé&gՀIWezOs5)q} "/{ ƹGr< ."F^r0ў}G H[k-v]y?Vx;B\ҳX,λxjK,Qӫ`HbbFfA)q[o)?a'S~&7l-rN k/`!aŹp$R7wiD *T/|t75Hdľ9'c1i8(< ؉T¦”fw, >/rmM΃D8 [ZXeo?k$4G.q K2!el>9&ǣ{'L/e!5,5Q1<րa E9&{w":g@$y\@7cퟭd̿Xkă ^3sst$/^8ִdd3UNKZSVvT]7bjxs1ڋYzpd;1e|}*OAŗ|P sjvygFX+ipXxKտ>ʎ(7]CCh.~d`SDQd1=[;b1w k>"hixjl[x\;E܆1EߪRq˶2yм*j6L dXE? xN1{'q6U@* ]I0ݛ&{&hB^ uٕMϴ </1cr jJsb,J+IOj<[4`#(i?/[؀=q|^''E)a53Q5mrMQ"_x00(wΈ2wpW{HXf(4MmdPcXûs}ƧmKיtjE~ ݖyB+6 ݨFJcve6Bֳ^U uus6q/~Z,j1vD9gy^ɡ=@i7KJ cCw&M&jeoI*0m?.5CYH!VߋQ[Nݖ23hM/2?_Gׇyi}TQQVo&9\s@m8Y&񲳬י6")`cG3B } ~erO4>etóL59LϊUJޘ a‹wCu>$ykUyT[Kaq1Tecy;:^DL>/9rY%&_4]YXEZ\3nq;DlLQ #'9fZx$MC*c#\ՆO܀s4f YT8 g%7p=T^=WmSUW~JI*'(vZ6fkɹ! xD(MGKw灙&5:BQ~8>mf|s%}HӁwlS|,Ye虗G^V$XtA&l*`\U Χh#9+=|kAWmW-!;KWww8ݟx~_F sBUCN|jjiB:QTIy &;N 7tz#XlV|`@Z2Ĕl/|hsW*Z0w[z`+މn03% myj<-z&AJE\b]/c:X#X[gcN817Kb0J5y2Vf~h#ZJ"Ds d]jT1Mٸ+v9g)=$ J*o<4NRIB綇."T?g=Bgy6+$fR Py v~:aٝdjUTT!kP[JkjSDkR7c7ӧaߐpH"O#BXx5 \1p 8mzrbn仾" +[D1'qz}u3.3A0P vT_k^*Lț\o.em9[om`5 ar|~Ŕ.d%2{`( {~sNqv{[X<[\zh Jq:ٱ2e|0 y{N@5l#v3P$#ؗ`󐷉9>g51d{Rg/k:ZiX Ҽtd 5 _5m1/SZ\N$[p)ܟ  w GXjebd;?`} M9ڹ5)薺VkQ؅x9TJH0&ɗi-J׬_вZ{,7?8&9\9W+?Dw}P2/Mbyij6ITC3n(e09X,MzM^wm' U5u>Z֦Ul\ZTbu,\!,Ris6ljc~jtT(: H9{ATrSa ]4bW| X'kLwiMj?Q< 830QFhIvjFz* vǩH] z 3?+(.~N}^{ٰ $%*6q/ᏀH?<÷^ӈŨGmQ H7{ ^VݳLo`lldBtuH(,؇j ]-(~g2857_nЩT$ZZ#i ]Y.~m|Don*5'kb[R%i+x魾XLa5BМ`MB֏Gdh k\0 g3 B9Vf2W#Z}mg4ѥD8~V2_-O<8Β>j^3ee#\1JO|1\h:~#O8UW ̵' ٻ$e.Ym3dحtn? EZPPpCNmE>m50 %2 YY9,3wQo`^Zd&{U/ȼ ì4~=rB`iR%$քa?PnCʬ_kG]U|ln'Pħ-,Xo5՘tvJ?W:eDbn"Z\PDٷT7@T- xo}ی k^#.":gn*ܙ k~2v"wϞ0O>DRn @b6^nfC1#X$5O+.'@aO nYXb QVN 7[rcD`}#@i%wUbҦM t^zSLQ9eqzLHoѪ㙾i_hA( X 3VM5Uv:sk}-x:Ip%k[8UM\zoijvjwZx @ 2X߯Lݝg*,kgq8ߊ0r9T5傉Z^(*/O}~[+Zg7Q%xnliNJ'kT- wÜ\`uj2 cHz9=H)hd-af-=SI` sF='a86)51_ HMJU{W(Yu3rl+On ~{ب." OیBy|&)i8ě<B5]#؀NVZ{/fzQo>玬qφXQAyL!hi1y7\jey_] n]O:Ukb:v#⥥2onϟS"_ }Fq袎/:;ՎL.sSU$*kƵJW'زsfl7SA?!ghM?( "`LvA~hįș`XӹXyr;8hڌfJZ/%۫> 0%dy: [c|a+ƈw\{yW RV8<#(YXnH m0J=n ʴ v=FQQ5 ,8.ѦAJ̴r^K*~ h>R L gЎ[##J(6\?5m[d(aoN5]u1l>OԶ0~ =(EuΕYL#\B 12E[^rgЗL:[&,B%˅ZE ^B>Kѧ|`i:*M, !!ҥ(tmr9Chzm$ L@*Q `MޑF6'AN5]ͯf#jC(@u\ $q|<# &19.y.tڦ%}$BsDY_^g"Tn ׁDGu0l/›+՞3|^sq5ݔQbH"ݤ?;fHG#VU 8ɴ OoyC8(J|;eD-1p`3f7M2cW:Ͻ bK$16 [>c'M1-w!y`p2h/J"z3n"ă&̶P53VFMO$DUFZ): p?&UC1T1BiRapA(5]PG1Hk &#dâ4IpᄮEM$?W˓{KWs#k= LiV+{y C,9^ +R!{9 q&_]}o'o 'z\ICr(<\G9S ȵ αQ&HQxig)1:hs'u` &GivXC.BV<ܓX| {0zܛYG & ɘh.X`.,3Ų^mӇ`=S@9B'xh&")#$'D\lYiE?2px2K \^1v$Y޷c>7y=DVUl3bז{E^zXHֱ0,tqG1}qq4m&`DUt{UEHu71H-PJr!Й_mz(ɷ+><"r8n+ .&#dpʼnqjo?5wDŽ9ue%v)6Ԯޭt̨FD ҩ q "#)UDP91P m9r*YJzbL Ÿ~Gk8It@JI^7h9&a4T`}yZBqL¦`dμ%ҧL0eԫ𫐚Z-js${@kD\p(^pz`CϔEd'`a%c/TnRpJϛtH =_kʴ̯K'û|py0?GÕE_yW|cv G _9N>yS*ZpwjL2G|6 ; hÏ~ y2&1UMIG3 j Ke[Ӂ:E@3b>#u;U u KdxށZ|iNk8 g"@94c]pXZ?Ix_Jgq#(`}R3vD6Kbs9'ݾhw,s:ƅC?`:ėdn%eP6M6l/ne|[ozt3B/{w˱.0Ah [Gl\9TeUӢ9fᐶQ+x"4LWqZ,"š5Rd,@,[gBbEs]XWW\S,*l  N"Gҭe>yQAI*q!Z&P Z~=?[n]\j2mg,0(6j,VY2'8G5tWcgJ\tjoo[޾B"27B:ǝq0RI;P(bxuaָ M)VUͰ9Ik-1ol݂YݨkzbXHn"#P|Z߲א#a@P!᷐P\cvFԚzCc&jbpmCCӤOv̶X~}}V狮nw-'+> |LX #M"je\2&O* 8q=JfzbEk] YģavFr+ }\24ae;zVitÝDJ[Db!+|fjM$סnPDwi!pl(loF+6;mLWZ~XibTË|wD.osi{(m  ̒I׷?@I o2&\ӨU79Q,@@QQY܄TC`$b ek-UBnϖ#֯bS_ _#zZ_2lsr-e8