SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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 ddx-TD ]S MonoidalCategory:threads=2elapsed=483.466cpu=845.076gc=68.812factor=1.757zXZִF! ]ŗXf1-/6vR[;hdgdfY30Lߩi툛7[[__i0^8CwgsWmumOZ+iHY]鴺>*vΐdڟt!3įɷ0?fypN}3#b)E=v!9ptr<bU6Ȇ$0/oڛZpz%FºOJckq `%Ҽ! (J :ETږ"5'C*pUV}H)yr()LHT\>Q /,&/+>Dc7X(O)͆JQjԊsNGw ,D xL8KyɎ0v-O]Zr*?.*إ:{IT$WV.[xG4vAڽG8 6g.2܊Wԡc/|('W/=a skՓ LW" ̣WׁQ{d+@swD􍤛:7# |Ng6[ںɜ~~N&v1*RR{S>7:鹝P᫦V~'K!^3%8vnX1]V?mвQ6K5F`]K;A1#ir}Wbn sZoyXuvomB($Ӹjy%Thv0jcvא؉b֛9b^nB['Z`kOig X^R`\>‰7&؞ŸQGŪv[eu?;efgq B%W7fN, bE!gwJb[Z^ μzԞRm c=䈱&'zSH~-kױlK)|JoE ݒM!?s5x4Mk}sF|H W[@Vu/%;:/,AĆEft4DC3F*4-Pat<\ruY(:p*0L 8g$tQzƂ%jX)1:h/_:M tc -g :4nY"T`+ { HAMEzmЭ>0UJ; E8'V,#fQ BJl- ?rG `0qˌJѦ$$4ƙ7{ZGd8ĥ.դz?b3ca&dO1l:5Rol UPd .RZ̪zf?mxxD폛+cbAދ݋B<А'W"j# 8VʼnC2KH- J5^iCiu{MwQo̶孶cn/n0 8rsB6^cnZ ͬ@KY6l\! @M MVU4r,o\9D:~J)V7ƍE1n6oQUQ8PxTힱWu!R'._Sw+VZyIbL [ M?AT G H!Rͷh/CE#6q2 >;iDJ}fRodVyh) ˧W>ډ6K\cXẕzx+ M@ES) YcKrՑ:e*,*+2ݘ# M)`y> n|Py>Viױ=R.j"f2~KM NU YMXPf@zQa> w^\j%L2 !U2hIe'Aʞo@kqGLn}%P),jIC36^z{gg+ό6EPkC[tc';p=V92c & ^IgI8#ڮ~}0Rcx~W<y2 TI҈ gfFgvx5%"W~r7]D<6܂.OKPn",ıβ,z8{,ܦK9NI.S*Q ,ܿ1A`mC#"DG4G=Fjt ϟ {j`1d[IK) ' YW\r NOLG.!s #(KK K!f0~d?]#gUކ^ݬWU=sEM*<[+6CҮ$|7ΩCu\@N~tf_CT?`\ Q%/e]c^8TKو{iҰo(ge(^? yqJfdsȒڂm#=_E ^+t=p.:HIBPR{Fhw*: 9ٖYb0PF 7>!o3_DW7JWr^@#!ɡ!&&-"_,s~v"ꗇX{9V. 43݇HP{6>Jw#%]F@w$,oÜrI ݇jegEc%VB6y4w'}P>qm!.KnMOr+a%+UZbx;u!wuyKWK~fj*|fit}6xL 7 o iQВ+\aY&' DjHGabm9(̀K$<" ]xiOf{8EmfCojmL{!U j$ul>o^-Oeb;f#Sbh5D c>CܚYםOtrߺ3@SR{FJI^ÄA2v^^d8Q.Mfw|^78>7uGH+gK0p Lٷ R jۣ )f< z?t T~FޭTǚHRS np`qC_knf$?"5]"TmJ*,FѺ tA*Sl<>:=oT^`mg(Ѓ,qa Ō53.&-*e %Uv(j|.t{DIGrGUp ?. `ZQMMMqdK;<&x'Ïc}x/9$)_#(ޱgYZ7zXZִF! ]ŗXiɟ.6VPKDM=Ƕ?:~jã_,;ú' ) 8xI ?h#IDJ [+VWC|=@B͗.YRz޽gZ" y0U3Fy߱gYZ7zXZִF! f]ŗXi%;3#H$,8?C2}KڱoHy?`gʹyi5,h4̻B@fW u/ Xs4mEFj% IA#D|qM|l0znT_tiqocTqppNoR#˽hxVRJYNsiB;(5G}{> =m?4w =G6uG)$ND, }'N{  :6}y_9.eoGCxpOw. kT $ X:{an.:wHF-;zpg2'u5E')arPU@o(޵Wڗ>4f4h&-\U5-(v 00^;\ .ְiIAJwKi+W aǓYJ>%?xw(hxga+^GT5iĹBP Aл50ɣaED4ycg(]u/b:FߟY("O.s9뿍0Wъ;۱WPAaCG_c#+qH_hTқ$8@׵iK櫔_bu"!hx8K@&,j.Cz~f_gMEkfo˱/A;šx.R2#@#pjxAIy}UAXG i!l^Im|Fe G )؊O+AOtOjGeٲ+ʲEsĞ D>qik:KkOkJFY4)%6x]% b:?@ Nz`-'SVIwT{AGc<>:kV ۰fZN >ީ\l¾rّ Ì7Ge/qGś>ü} [ףS!m)r/>k{MGE98Cf2YF(!oV@<-/& #꼆G ȫ۴t1O&_y?XvCu\ħ1/Ad=K] 6s S2PpRZ1J7d_ntvR7st̆\«fb1'Đ~Ա'Um@Sgf I(=M۝UwYN-p.*IojVG_v=x RD@4m  ;=jED)\bhFq#W-{M^ *?zBq@4K?s2Fݦ9TH)@CsB]OVeHa8q4J<^agg9. ZP/ruHF`+MdSRW0Y';[#Gi³/ =,VC /qZI3!q/wgk=Cy ;(-&r}m!76[k}&cK$U!5?%e S`+>y78cGW}ǃ1',՜gi~~(l8kˤLO IU|޸^Zuoe)%Cw<0c}ߴ9FukiˍI{ڿ;5TΜOdXјq#rR3m:zivdwi]OaU e^w$[ rZz5WehK"J^߰7VtXyKHԌ\f`"b_%P̈.8Z)|5J9*WɇJ? w&^?q?䷦`Cw`V'_VJYvkTMx 3/XzWVρʹl'BG岆ʴ u+#RY8~hRy[ #KXmיiE,r]@q^T<(זt#kz_r/d09T2EnGd={Mf%?njr_z)3C3눭٫hRy/1O|Bɇ:Q:[YmA@|ϝȢʟ]򘻙Aû0Z"ˆZg,.i `OU;@I)3`!zP+ >cmqWX5f'uA*9> g>cS!BhG3 ',Xߑ#cʁP&=V ;St'`oJ{$O0Ye |97]]`ԵzIg>yӚ;:JL/bR{ttyAd#a%"!P]eW-mΘNWUE })N=o8s*sVEI'jJs-sPp"W˦}pC-\f[ [q0ZCYڪL.yՃ\>ct^2ԞVX)9Sإ?gG擄Ko.$5̦tH2&3bY?ґ"#K+ ,QQ=L:BM& # i~TzQa~$ BRP%V{dn7 Kr-O&})p#dдA9LoTWG--4,P~;|ܲ NZZcޟ3` Â<,գDI`ҋnֆs8|Cyū!޹jcijP`i4XiE V/ȑ\!?S(4Ǘ|GNoySsY 8zzP&Ŷ0='IzfO#G"b<'GU(c)sUHD}Fn'bɐlAB%,TFB_ޘ簧GA٣:)u=+IpB3'ԩ)Wgͳ q^*ʼ2mI&4I|sgk}SCyXh)1,̺Zߵ'2oK#6'7Z]RH#sG@@h ']DcTRq7JǤ>?^C(j.V[qɖx :nB&tLX~ngϳaJ9o *J?ov\,UƸfi: *!Gⷄ^-xȋ5 7O=3$q}ֿTݠ7fnfֵdl~RHK_!jr.jAX~Idbo+z@y|7LZ-+>`&atU #vR*Rܹ[Me2]E4i\Qb:W?E;)$fNx\1*5Jj~e8Eeɡ귩XP yL$`K.zn ƌ >]gAU1]z`ؤSB㳑p;l!_#Ϟ5akd -rulN0m|^3,6)ؼvv}0G{SƦ򨁻9E+ FV%2Ȉ^6Vܼ$ԥ$zϏts?8`ÒpЯ A.QbPHT7 9| iɲK5x}PA%<ڧS钴ߞ4݂mH +7?ߔ]dO$8 qk1~6];_g.\bج0܁o82sP?9NZ-kk@VlOkРid^SZ!.vTu栀*[Ar'U-D b$F;?[&ZYD@vn4mSG0+Yg,zCs/:VU4sE81-O?AGvD'%H鲫ZD/=2+P1jЫT~Ot. )q03Wt`W;zD%9T#oCIc(3K0уcC>$M.gp]sI8IOR 3VK0Ψ@3ϴcmsqRv]6@u"MÙrvLg6\շD`nlea5A2b \3t*eG$J78?Q_ȹ?|jB5.% ;M"-iVQ {ɶ{M-dw<M[[4f:h]$ެ<޻XsHD+ڪӭ(=s*h <}cD7`Xܺ-`P16_κ_a叒1 lば8L2J8oa ̥SHURs7 $Fxh9iS)|E!v/#'(&E+=`TRb\y&_LjDJE0!om5S57)>?$jQ1/q?h{CJmc5NScf`3T _+) yRڜw5:*+b&s׮uZ~ DOVj 0)DN+7Nܚ<]AE]*к~{vozHdl_PwCʸ|7u8ֈ/Q)Q o':Y62iE(d2Pg:;[SO¾_+Fcw~}m8Çp׍$s zn3O<8Xa;FU>.6ZZ#6\{ҏ$8ؒB9]Ą}nK1l-&]6l$uwC|lԸz!ՃO`s! AFIG!`;ПT;c=ouIJ -KyմG!Fs> Kt_VW ) yèsDMHr}OUj'\ezKz6qN:SdrP`-Jbhg.cJ;l+ӋccZgBʀk\NA?Cu^[H~SJ 1]" ESjR ' Cc `?!& ~&*TggdUzȶYQm;J$ ~+΂ ӒP,+oU_8(u+ހjqWET]hPÀ`<Wr ')U[pND\ SSi 99-crξ}}_̄4̖ 5%|X&A%FK^y8r|%p NP소.Gt8 P s&Ah⇷8G:|:4 &Y$٨0;|(!!=X29ЅR9cɚ w7W P.[Z *CZ-lY ^Q$چTrA? s ]١.%m)V02 pU[2FOзRKk~:4 =YD9Kk)0ȰPp; &7fխ*`\6:Džuu]4G|y:"(؋2I!aHZ˟b ۙp۔Uā:l0 @B5Ӌ&s\IUl^g({`ޗK7H;٥*|#|xqu7eJ4DDVr{-mS%*8Gpt"k1cAH>0"d.4e \,Nh9¡J$( p`4W'673<$4/*wnSB5 /cBمeB%Gmdv#^1/C(g5 ,RUI,G>(~# Y@qq9>^T\:^h,_i'oZrC O|ʇemXLA?<K _w{oxܣlC>m/v "[ 9a7Q:"/oS͏r&sMsTP{)SQZwK tpl˵{;E\XA⓲6nW5* =`mNgPΪ賊3ɳz7.r.I$a4V#C垷f|{CVsSĸ d2{2匤B?rvh[1R um\ek#wwW?q` iuDC5M '_F ?/_fЦ.0_!M3tR8!1 <B#AήYq_umZcDR>j&KD7^O2C[n~WctaIh(Fv󴑥akBgCsG P|Fd{;i')}9F_tQ'<יx=o)vAIO:yt>Q]ުuTl HncdZN]=H~b6R X),vA6ɟ6:*gFJMY2q \hjR F4"VY+%DKCw2U˹r(3(y,\g 3vrW}|5DK6?ɸ)n[i>>6-LnԞ_܅I@:!vS;"t-!. _@ AVA3K{ J263`\RTZ!nȮrPM$ck-Kac.sRQٌMP9 #Z3u"2|M-D'X9 pzzac1FgͼTGb\4z7tςMQ׃KDi;S3+qkVl&-1b|6n$0Z)Z#E|ScQbW "~+;'"PwK""|%qοmܮn5Tm{h~K ^w<\:3/tm-Gm mN_bM+;-b5k6ӏ}wk=I1v(<@4!AFVCQj9>0Y^ 8:N@N0.Թź:OrR\'\d>ݞYO[b$뱳[Vc@x,jXjZ܅庛,܁nmU}8 !81<~ "4c0yj;4=LP1*:fb[RQ$ ;}oF H;o6lK/d pm/mC}3 *1ɺD.~hB!T?)iCkVh)xSm$ ׌{2H5惃:qKKx;nKJ1wNYkk](^xLjAt*GF$cps_9}E9p/՟~s\Eq% g0ؐ 멏f桳Am]ƣZP6!?a 8/3I-ӓ^5qQA:~ÑAV{kx&@ =Zãɣ h frt/|{Щ]*?1L#!WJ84n/gh_5Ѥ}<}ӌ:8&kx9?W@FE~CH}=f59[ϝuK_7nw!0P؁@=C8w]* EvXGߍ[K&Q͖7EJ􁢰.g6>ֽI/*AmL!U >Z6r $Xb)|{ R>>CtA۴?*i!"r-v55ETØ{%Ib[Bme^Z`27̲W1+tM#GA HYyq1#lʲ@ƠHۉ!1&4Dm|L#"|8gv‰ At l`1zKp{aAVmjcbAE|}>}nd*$׳d0kB3f_Q"|#t.bX),%4\I!.6SY'%P; HoCG[!nލ߸6hgV[JaEoGDWL,Eַ+z Wֹ_-bc8Ai]X늭'ţb*X\{a3 hb%m+.)qFgfdP8/IiK<#\.GˍZ-,~ʵ5wU `YBawK&ȿUr`~`73'6a:FdN"f3u`1H}\S܏13 (kn떐+6'3p)VdR%@c+mPyB<7/Du=$>۰<2w"^AbH5(LR[ɵ:m#z]w (;jqXD7Þm$pߵX<6rFa>]8FJl8R*MUgҺoߘB)M$<Ц&3CYwZŵ eCA-WI&s]3rHz}p=:YO>x+ѡJ{QVP4cAS ^@ ;/F %3D%f ~hW=צZl&gZ:PS}T͞,)e?mk I Y1a8"@8G}SAB&Yi#45vL6lS&,nw{#hdIg%|*z2[ DBO0~(A~ksF- /cկNB,=vR=KLu_"( [Q|yr6TUnia( |{!E|"&M $ySCM`F*b@ǹ7Gu5Lj'; pnJX(&}yO2] _A~ke+" {7v\F+ q Ķ N>:۔n&u;tŧug0 ZITIc$7o餓w@AL߰wVz&<ڒ/jV 6sDj5ވQ:"u7{(*kkO,`f@keP\'1 O;9r5\Fe?@߭.M7O汌 <ěuqdĢCǪ;e!^]y gh:+Cf~{\W&Cs `Z3P]ݩ,~% RduQq AHY!%TVD⭶u]Ur,^(HxD.$Ja>X44l_٥|.3*efxg ŪeQB^FLʹ+nâ]ÏA/4z%'rY`S_hx4Q0ArO7r t]KʜE4 D܇Bag}RgXzo; qFͤ7k4hmZy8l=dzkh$;OXQ<+wnj~Cj@ [Uyz:@v7U{@LU#.nՙ?"⨹߿I?6a_r&φ ;#KA?(=6E v̂bw}[#;Pwʀ,#7_ͷJ't,OӜ7c n7~!<(yNjQŨxe8*x+oeׁ:̪\tlx:S83 [!29iYkH/ -0V/+Gג/T[{[MoRMUCE9Y <`Qr]W,l>̽G <| MɭhBWa D/k4eov^J|0 օF:Jxm+jA8n|·:V>kT1 41ɨYQ`^ÐK#):weN>O̧Djc~˕EťEًoZ6 ([0>.'ŧ޻]U-~-}\7ϸd:7UiPoˑ^T'x2yA(1pQܩ4N+Ɐ^63)qfgW5'82Lo4V , ֿZAg'(p$h~o$6Kpx=&7If҃%i p)3͉n2]PU.H<8t~/vaFw(謏DL+>ͻW@esExlC@gTR870˭ P8x,SU`C9hJ1[bf:{q SݴuӴOE9鲝Z> J`*G)hk{̷:y ) uL G\n0U$PX}P4 [!n;ȌXQ^ߞUZՉJ*z5|y $_q҈G/ $DvQc|rQrۯXtgP͆g[T% ظ|{#$ DDs%cXҖD=$ 7Qse @@onEScbN?a;n'`ǶS"Qi~\$1(Dq("ϋFV+zLv d]Q<(e6p#Cj_9KzM"S`5ȯylM : bK1}q)L2a؂wQG'+$rj1c6C<㾅Y0}WŽ% l 8c,xZ懜mnZ%GMlA;W8)ע>btهH0n%e蹪U,m[# n2죌R-XCW E'S.6*0=ڍIwLR(zYo>T<㧄 ֳ]YKv\gzpcnĽrǩ^/;*gu,J c#)HO 늌VgM3ZgwܥK49\j)#\A z%HDKI3d':g%oQk YVy~,9ȾXV~n s d[H'XjjYH'梉~I5`K݂ʉ5q% pih2(pt@x<4$O+_t:3ph(?".?m(eW)sHܶ Oެpa&%~2թ5wQOƼ *n>cl1y!gvrVXI:OIT32q(ȵ+IvJnQ>]gAV4f%|P"Yl\g%q/S҃cx' L tFsAsr'(æRo(vaqIyjH1Vm+g/4&onwtu_O1RaH>!L ho%0Y= O;K(I$yaBR+-n~}bMN__&FݒtDt@{ u@ºsMϺ|HVތ;5oej{ #BFߢLU@E1SD`n$!"2 AC U~'/WFGvMȱ3U6k2ǃjF%,Zać!O3x'3 [iOnM$K*c* ٬]E2i]?ߝzjt4b1y hș)/´Y$zC.gR._# ~o@{Sw}} |1(VbO`Vs7FulmPRtUI%uZlZt$/@7_{||<hֺ9{Oܶm"teL153b̿~޸ p(݈+cP ]o)iF\2q8\kx5SHbV:0?g[Ww_HO;%r* Exf#ҹŐl(X^3wW^طf9 i)T3 o|c#2}hB<8n}Y#5"DpD@ NX"Ny0M.v W2>& GЍS[+ ֨F!mq(Nm9h4x2(㷲&(<mr 9)=ځJ& .jτjLV NVD{08k-ՀMH74bB"to Fţ5kX^aк( Z\ӧۊ E4_Npr^IvvTbW'yݴ}Ҙɀ! tؑofL-~ WM /ѐ, ߒƟѯ|δmE8\V/c?4-=v9)׊~ҽ7Mc+q*Ð ppZ*n*..M뿒'?9uvnyKH;,nl4<nRIxD.7C^S햶;w&xyu#Vev&D|5L x.Y/֥Cbՙ.݈;"? `R*0*ւce.dN20DWk+(e1N&+U wwN鱞ʢ%wrFuIŦQTUr`@ԣ/b;kJwfޓKvSj' pU/^ :w&cVpgL)V؂熿OO W.7@,.}'=+nz||`F¼^a?Jj5Nx ZYf(ؐ FW;î:?ϑs9Dp)/ܸ/\66rN4+ׁ(5uEүIc걂 -s<+@;|]JU`(S̸H4aC-IeQt;5l{ȅ9*C<c'+ "\E0׆pX8ܲr:|,8CI0jۯ,DPDn9Hd>B6R q(܉TBuY[zB NAK51 E.vvlHn6vI 7kRbLL]>$N 0BuqNЪ o(0Me(ܔbO"(;;T2AsN3j:l\s, $%zS? 扝es#`5 6?%mmv/ܤ{N7崒.IR̍=<$:ZrMTPq-iJ UJj@J}dO#+>,90DmP(ҭr8b&i4VnO2T<զ S%67{xg=adA%/+޵^ VRg↘o ϻڔ!3eZ4\S_HN#O&MP1_=KV16s7oѸ4Baw`wbZ2\#uɱ"$~k̿]!%6ϼ~%SDߟ#PaDk‘ "ZLElքBY`0{RO +Nrj%Uo%@ G"VtUTpX)@pii=j=7$@Ft) CJ/'7oj҂I (zE%w~rq&ƜO^#wSG!%5EB584[sP-Q7XEވ5qϡy \d/_MbA^ y272=q.0f^.,8 F;hPLrdm) ޿BOGc^Q-v4O{F#T> ۥ9B I nK4 48pΟ(ڴ2N7T1#V*pkܙl"RlCdDSr@e"; A0lj^G$ǒnB\l-&-dEn@si튽[\1Z . 2\]fLw+]eSH؝͙PB 5了p)|3~ūf̶t-dB]h~ v$KkxB=tAbߔ YK-@h讚ґ䷗uSϒYkթLuU/PκR)0.hK)*nt[BGs)rEHUߩ&oo:uDKd+Rw e~w(*qẓZ&11[_vY,jGnU@0\)O>O %ޤQA$H(7%}nG[bFh. 獒誇y& a啹F)EOlqRߓ#z>'fI,dlg]W'Q_tR,ڒǶs=mIg~;,G?]=PodoO݆ka+-*bG[Eݔ#3(mː^{Y{D%W\\e_@eO-FR #iAUq0RA3]_Gv0?3G 29d!kaF!KD6.3klkbiр?'dݩ俨 t2~x &c6k!ޚK. mn}xqTP'aqA%4; 7>ҝU2wpT8*Nт|g^A9) ,!)):Rr̥J3mDdx I,'9 @ߢRȽTWi~:< hӨpl VZu!Aאt>·ظiGs?`Nã9+k>w vL,8>>QS(8:ԩe/I9Vl㕜˅%85Bl$Ybb|vX9rOs&wIPS6SvOC=.yJ .]i{^!ΰu EϮ_ 9_ u7Ydjlېn+D:0Z<=5h1>AʚLJ&^ϐ@*R[74"mbrBOd,2K '.>CfDyԀcXYg~T>@~E. ~im*؈_8q7]mK"z-Y^M´`k^_Y䵂oCM]*m;FL Κ| &Cg߽"LϧGB8x'C8+v9@Uvhh<D\|\|eF-s$F=uk=Q 8>{# l8cJ dYg'1dE s{r'C҈r)t1Ti!%"2 WչwvEmIō7TZg*wfxdVdB 䝘w 2ȅ蹐8{uE7b H<ƔVI3>C # O8sݢɕrqݟ6m,7Gh_tau7_V( Q>9яC'.NN7^YJL]=SX8q7ɀ!TlSXDR-HdG{?Md;n={׆-;r31eyX՝ބ?~JM֖b~R vQuB=@OWb睌鳐6Q"H<;V'MMŕ BI~yR/ D?i_,j [&u=mo/hykE bP,Zu+@0EꉨyIw2F~=4b.d& bV=N"*JiZ;nH-1{@2Yh:|r6teHp*pE:Sc6A>%~6ͩbe'PA`OYlm0!$[8݂䍍]U;8%AX j) \}?՜K'k C0N2Z?!e> Q6+2JI>0l2VLxAB0/yMQPJ`5ż?΄$N';Qu"U nz5 ¦b7V5jԞF&AP.}1>$cYȶ#ܰ-+4 1M r G8&#Ӽ>1}q.wojH#?#$+^*O`P$Wc+ ~fv1zaxޮ).MX$o * _]U\q@|Ta_,r@(:x'|-n>ֶW@.;ₜ`#Q]qWEB '7V@OE>4;V5ɩuJ#Q3J?lm}(92ʁ[ߑijqю9fnlƱeu,!ᎹA(uy4X6 jZH 9tNlO^:C6$ Z)g 8:\ɮ8q {t3S"/\. [EOJd3d*M^j4;gx >8 !)MQcɒH4[P{h#lZt4{=zBRF[xu,H/m2>)\gt> lZ!$ UԆt'rUj>gȉ^O/XىIc<8 6#Q=Fen_šw2-lJ>C7gr"^G^s!lJ:7y.$1;U:St4,  á>E= blRY 4=D}zX,ˆ$=Kp3(` Ps鉙S26$@hK@ť u08iE$1 #,ؒ:<ՖcT/lNWzUSܚm }#ϫcY&Ytn ߝ8 h`)Z+vNF[b%% _;({C\kx?&YJД. ў> ~Hغ9;Q n5zɭ }m>"LkF09}%~?E}I-M0y_I;Ǥz&i,TCM%<:CƟSC>3ڂF2MK!p:Coxus^@z8uh9x:vظa<-}wW