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 P%dT ]/]HOL-Analysis:threads=6elapsed=324.197cpu=1566.132gc=82.524factor=4.837zXZִF! 㫱Ml]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jm %Ѧ.Fǡ߰xOB9cڗYN(/>>vR? "^DL)Wf@}ցvP FzrR3Պd.*` 8T:1/W3@ʼ't DYױ67T䩎o;~NJm#8c᧏|h#1Eד| ozzXdmȥ'd*s@:.z,aOZm(JEgv5bϠP<,"xCN27 hv/(37[(k:aV*-I~^l]F'UMJu Dc|qK3v^NտlֽP'F0 PIv4@΀/eWh^M)k&[ ]a|EF++=\DdE[Ultp3X9&+āzwIK<g`SsSBn҈[[H.Fkgs^MK6`P%W& 2 ~FM24И -jp1࿟aFtؙ겙)lj 2^ ҘjLDz>BG%gӼssPǣmYY0Bړs01"9%PEY/4Q~g}vqR-*tMI<Xcƶ휷Z1nY_#0:\YBB13bXW*-V} 4bU))a^:!xt5_w^F^@x >19ƼztcHh[+' H0FÂ@ke$-#i1FW,z<<}'uc+T!j]>ٜ^ydFk*ϞdFAXAx@oeAs,BmTUᄂV򵾎ҡq0ȁ !2`-V>ɇD"7Cy(3,㑒FdhM{S Nh! J7Nij> .guO^~#U aFp*?8p4WdTtb: "ʂ-F;kD|)jsUz2)sHjrLQY4RnCh`͸b eEIYnZLi\kk!S~W-n* A>HZ-u$jŠL$>jVO L Sz;eJx)_= V̵TnlТjKsKcV8;$c-dڞnȣU!>UUd>fIRO ?xSSڦJ.Dmq~U-,z_>0y8'+*|f1$ #z͝šzhUK#'$d2#9f}WSz|4+HX>wLd$/() Γ:ȑ~tJ]r8%r]\r)(҅'B6.{Ie*48.71#xD;BIxٺX)/.zp~1Ȅ q;hJؼ¼/b OG%ЄK~܋~A8]Gl|=W<nHb/ -FepZucbSFUeЫ]EUAbQ/?¾%ILIe09SaIk=V3B$XtTSBo([HjRհ~ףGV>_|,&W,)yE}~nKԃo^QnY:rpZجbLi{iBE9澮.B$1'U&r~ĎBևG 4z% b\'K%3gkO~N&5%_AX,?xr@9|u \G}ޓ~ZynjI;I#8@z,H`?iRaU9r%/2Z)s%PVeeXJ,Tm)bFYT!G< aJ5ݽD\b" }5 ~=z!鹨I '~fkT֒L?f&֦?c$M*F2Ӕ{muiЪX,^qb71BoYnLDlўZC"†-k$1>KIuǕ`hw(nawD??k֜/ԙB2u|nOCkDGTY.٫Ovt_5+,Ef֜ ;RAf˜,rٖ .|G5G<Ͼi6\wA~<, q"zr=5 ?U:cg(p7:oEnG;;I:gݜ6@͓aӱ T4M욼#b<@Z"Buk>џ˱{pӶ(s]It!@KiPD]z3Q\,O#ͭ 1q|DIqx1Xx"!F|)4^Mv1 wwQtG `;ΗC)$'r# '9t</!x+_|.ɯ;1YIBEL/3|SFS % HOL-Analysis  R?"?sZR#@5㦝~tH!s`=u<6Z3I3]RFLf+Ӌ25orݙ\T{"`3v^ʱ +eeҎ6< DKӝU%k{dLlS(Kdsg@@M]S-pIlRFVvK0׫& 'yZ tK\MNFתN7ʰIedF4EJx$E7YI]O,\2!BrArX řwwRDT }U82u s|!CHSU?. P庩.M?*V)S%s5ڴ\fud'\{~F ӽ:{Ml$I3?};'wy"SErUCExl}!8{s?-^׬q!)#CE8h`q>O-o:Z\_S]5Hu^E +7LѦ kZژо91~/o]\4vw-`o2/-E/ÑpGK+k6hcT;`[J5!u*/Tƌ'֪k+`{ɗd..E\4đoX"֬e!e?y)wXbRJצd"o rj&iݿ+o[?=nTvc /'"z@5?-p@`EK;(#$v AM{ 7 1_nܝ#NJn1alߡxv\`oT(Z!Xv-^--Ew[aX!!MV xx8N*` ԯpYȟ%,fQpoKuZ^+A 7yw:ed3su qK)+FQ'fT ]Nav@%dwZBɷ9^Ÿ8C_!0]Tb_k6|Ƙ4q]13 ;;,j,o@7W~Laa狇=/ 6Em*e{a7^`)ck9F Pg/_"x<ٕmiry>PP]V,ؾEޘtEG.9'1UI,3P +y DHڲ-J8=B PHwHUFnԈ$x8dU ֦>Aipc * 5#LzgM2g[܏bkί}͕,rbX94-?XgBƒ/y@r{z$?cQ6xHyh,;X~'d\oEqjx|݈m f[ 5{[8GȀ7Rz w6}c c)O4-ac&/X'cF=<-HՕj2xUiEH8$%21))Gszwň(aMtq#ؚ!4'Wzq2{>xEWS* 59Hy]U`vԈ=nt)<NsSȆg{eE;S=[RKL+_tl]|jWЧ_֢k7DYcZ{ZڬfDhdRLͮq8OB]j\FY,2Q~tT5y\)7F:oY Mj/ȹn3yw*j66afLD ä .Պ#V9u~CB 'R#$Z{!5{A[50L$ KG-S<~</lv{+{zwyLoٔyv$XR-NT[N+t{dqVGSx/>Y!G[ẁA3 n.WO5iWЀL/ (So燮XN`\9rF<"#9 *ߚѾG;Y$=&oQ}~CqYyPMcN 0ПNL4 0^#\ ZPz=ۆ3S4Nر}bJ4%HSb0qҨ?ב+֢>=C#j8 :Z C=H KC0d鉦'?fJw>xxGANSbPxT ei/+A}_LpЕgyOo)GD͵5RiD|/Cوƚ|~lZw߬ӱBmGOOM"'i(#vK6>ٌsM7!L<qHg̶ʈ:`JR;S5p'GEV=6g 9~!F1hwy KE,(Q{ s:$',l{Vtu<V? yǭ:#iL?"]Eey\G^š-]uRXNJBLؿɋvF Ice D$$'b1a v{_2Rd*A{M[:2|rl@ Ҷjkau 5] $M zFIlX(;0P_)<|Z>@ :#=ZvpP4۞w]_zfik\&ګh0Ww r^"t~3?\BK?sVCjtGKv?QS7Ŕg`װ", \ESr8w'(tnZg;$`]ՅbRH#g2 C-.ru|ͯ8vJ%q>䡬Bmcl/FuxvL>] `yӥY  o5XݥDZ;5P+N0=DMu{%ve&>!=)#m7r%:+”IFuLU#:Lr2>i$ >h]Yo:/ȫmsH3[?UMg&ݾK{یk2[t01Hh9?ߢRIBxJQp! )EtϜ VۗRƩW3ǡJe1^#gxtY,PU_MLu`8xM'3 WEzgz2ׁ,}1qŮ] 2=OxЏSK=Kg+e5fݾui#c &a!'~c?8Sb6*v\w;`>]HӚIm*@S|YI^Y1,se~/Hi(͎LT}#Uo{ةza703qͧ*pAU16nV+%}v8Țc ЏS([mGrR| ? 嶯!H1D >iÞ uC:41?Ο9ZȗHW%.uu?g$gPp 쓨/?`Vdel =O*liʴ.oj.9k$ooꬮ:?iܡ~" a ()F8P N$ʅu2SABP~}0 Ha.Rwv&$-3eh}YPU@w,C"iuK6VUvx r!i%1YhPH*V ϸ:ԕV`Y>Ƞ۪>#-W YMjK) _J)0.?N&G]ޫ$ ḁ+ut1tdzl\  M~x6$sSYG %MtC!E!`kHLywBoPtqt]bMKեH&U;w#]@"ڿmL5_>܂ ȼ󚖃nP{UBSW _gfI99o 3P}gѪp1t.ț_O²fQ:B8a =OdH5P߹| :8,mC .GA4vȾtW[.TL؇/EVVNdX٩pweTbߠYo25\ ?88%0BMOgJmnr ['%?C#e)T\]ڳ}і4PU6ؘ%02.=~)2ZYJ8#/]OH&B ^ LDO} 2nBs e0RBh`ziT5t )k?uOO]wF?E\A3۷mmt V[ L~,uh9zKJ2lV뿿b̥T Ʋ]yl2p ŏ/#3|NۖfAۈo}XxZ1k76āa/0*iߞ?`Hׁ/F"M쥬z"pvu2gJU?IENHW,Tjk *MOvyrBh AWZP̶[g i0ҨF'0rr%fF:zMi;u~:Vy3ES2u^=?f&܇&sC[nv|cŢ;TLXoq.[-Yb|-'*8D&g0ߢӍ+æ)xj:k8~w+̘n"MAfbQ]ৱߍ\YyX)MjE΋"!'RK+ECq(]ҁQjmwek]Pky*zV3mF8Ý]b"p/Y /_C* T<΂N3|&GWLjTH0).,MH>=~K:">9&(jưN+O{ҡ,1{\hN;S1c rDU:fz0ny9-P64ܻ Ɛ?D> ֔1g~&>uQ&~RɓmUL+ΫWb8D#S9;,uE4)/ң+< R%&LĄ0d Ed^ |Tv^*yJ菱ߪ lcm-*A9R:Sc\O+cutG/}_WpC'՞7)jJe( rﰖR& p` PFnV\AH *(5@;Lѱ8ll<Y%6_/KN'[5c=)pÈ%|qϴ "NP<"]@Ԣߗa2s2F`8)\RmYY Zi %B ~!6+i5Y>Fja\[c{<ZS~fke=E H8!qkQI|nϙtuT/-wBs-هAJHdf=|+N1ڐ :t&IW]½ŻͯQT!wIdӓʰA3jI<橼YƆ9Hש;-y% o(h\MBŒz'[T{aӨ~ӗNm0$E5Nj-kZ"ytC4-?$ojADՑ*`i2#D^CKniJ]* e_쁲%`KFW';?iq ѷVNbz&vVnٹoT # ~f)).L1^syߝ$C6%VR U{ȯB31Cm4ٮ K%)Rw?vYZJK;1.E?ԱcSBj6=L&_a|`L(z>by6VNn?@1eUesᡰ80E;!sOgbY̼&kG&jR o梓Gf(4H_xP'qspmkKZF,yT)xn8jg%UvFb^'<m|8i_wyFg%Z6\w1zA\>$/pވqJnN/m0fM=&;DD0#=?75>ω)TkXCDC8pe&(l-aOXfY_dvq*K@3^|(#uVa<٤T"1N'4Rme\kNƸ⒐.Xڴ< >~6[[A<7k%I%{IzƓQ!2Gj`j١jC^U f:}ȹhLK~\FRSd6u! GH (9ҵQh E-уo+i>Hˈ7)[TVxմ{C1j ZmT"#(%DziE3q1$NJ fLoA?EOx3&WњH=;OjEKB IGCT?/4ab@Ր{$9 n`(:F-cp{ɱ Hiz ]- 7d\C^;dNsJcDLz15E=$^| 1J^ rJ[\a+7V@,íc!QMZ ^6婌*Q!m"Nevcq$:4W{:fd6Bv9Bn3dC7IJ[܋,Qw2TKY pSĬYj -(|WY _O3)$oM,K8NlRu=HEqEZ'9WYo8p1F a _JWEndxBq66R7{d& <{XxݼCKKX/@AWV!:;غ IHR~^1P>H`> Sҋ7ǹ? ,%SWi1=EG y Dj XzplH(EˏSmAA!^P)DLGn8 :/)*=wIA3hܳupT[U"CM&@0f;˿) ,0@ }> 9~ާ, lo_p&=s#DY+u` W)!"H gݏut3h(bڹ"Gw[&5FVѺ9N}8%pbR(b?a@ؾut{v7Is1ԏ32"k.v$U#pKez?t+}Xf"#[:MbPQQ`y%a[ր(/X?,8>!2Ak!xMi "ADSr8n|H{"t#՟9ʐ2۸}E`u"ʖ!Ze#12~P AUGг!<l6}NoNU흐%?S#/*;7elsD5kZS5sKif}h3c{!VI#%hÆcx#pckd_*azZnx׋󲚟MiME<`R^,5_ Io]!h&$8`?oTZ,2jH46B msQ/Z?5D׀|8Wpu^U.<NDm'fX*hTpgV^슟+)gf1@oaT6=EjkpnQ̻no# Q`%Tw-5v U$e-n߁%pm [ 9œ?JoЧEiBٶjco`*}ơTf,FEgL_dWkBߓC6K(\ LC&E bMKUcގ:=Ɋٸ~!l1'[ *^҆|E=9fj'e-i6' dU_h"n@BxXT֛8v_1˜hñqWpw'3b 0kS۰@M9}_M(Cj['0/3!ZI)`-slcz-`:_v߽enʝg1'[Ti GwT=\.w@Weoި$rȻ)ǎ  L..I‡g{+w ˜Z.Co5.I,Hf %:xBOAk8*0a$ވ*ܥP%Mo>q2_O 1dST/RlLGτ}ke7QWR|\HJ 6ڴK,'OBp\qzp&;†|FCD 6nBLlWwJŨsCw6;#f:p I+3<!$rF5tyfQw}0 ,s/}Unobm?Ȕ' _:1 !5ˠս{F/6]9,TW("q_)YmtXPP;j3gK> >{T7mGjS/CUƝoi^BoYgsHk%ef۪.EN't.cSuʹT kD@K+?[A'X juri3٦#׈'hsf;/UD< H`); 5":f=؇9VMP9&oZ[A%END.Xq0q*=`E1>B:[ޡ ɷ̈́<=3|m ^+kЩ\eJ&'wN_x{{w;K2[.z =NfP >ݻHo%~H;]PKwĤBb D"Si?&^XL:& WB)nL!2JYbӑmfVG1g9.U -}^m?ӧ7}USo%#Y};P6d"9կ Uёj F";tReYkqlK Bk9Wz>b{|SʰcGZfJb\+&P}&ŕQK`|~d3T2g*H3=$[%S2f&V 3d9Ց6 zۭQ3;fF': f BF}OQS܋_>ϕH;^<kO[/:4ȧ.hő.4Nr[9{̝o ^>Q [7ؙT)ZCw8RނכKPN ASy"> S)!M&]<5lfǎw>EͩQT (:!vӔQzGf9(8޳ z^b3Ҋ) BTڭNPXxŴuԷ@3*>nMNzf V բ`8*tInƒؚF gr7|s z:>XS ПK@ p}=m ͒CRT6jWi3)8 _|ROlEȖ@-ä:IjߪG@(* =Rj 6C~1<Ӑ=KX;rkb9Qt]n]rԪ} vO:cf֨$<:hWu, \ x7Qx1u^e?]* cx ϡ r[|/Ʊ:ڞLA!&K TT(d<_^|GE :u Wͫ`6掽RR csȉeI~kD~DE HȶQtQ/ka+F= G##! ;!>)*ZcƓPu[$gEyCEp<@7:ۿ̌L2E)GK:<i/FuGu{߸#y}-Az> ]^ }Zb$]f2| s{d u\|$%G-&7 BQT/f39v-]a9Kʖ;/=Aikʈ쭧a6{En|ơ~p6҅C,-Ҟ.*fψeDLnݥjIsv '討(m]P$<ᔤs,/RA 2mZf-n᱿)b5 7c=Qq4,HwŤ0Pd]wE8}BwR"lrzYŚiF K͇y'JgV H'1(nZP_>ʵ$,39hiBxcww:]Nqird USeU5dgh{\q}N҂PWq4(h)OCT&lj!>Zat ԢuPG1L1c7|ctf%`r,qR; uV'9e7K{f $!RbK|ؚYdh #ҠKBdt[|mYqmg_0;@+S#\`{EP iqsF[FK&=)ѧ06=w< e.r M񃩧,j:O8*.~4zԕXV[?0>SE]$XvE| aO O~9dl}%cxʳaC,:m^wHכɔ r$]P⧸?Nߊ*HU#If7n@[< NwE-5|%Q`fkh'P( yYU܌YGv$6Wu\esdlBI)" [ JDAF˖h%T)1HD3H}Š ;8aA~ M;G`_>s˾y'Lvc-1yWZ+kR;NV5=QAmNF WsjH&m@F3h SMm;}%t@$q]u& kuq1>fVM[>ggYZ7zXZִF! #Jd]ŗXiɟ1˦r!cHkMeBd4n׬l*mMƀ#B`hZE kg{Jw0;?0}a$u@ aN0usDYqkS-*mSǭnFfcIlFiEb4I!d}Mϭi |9 Y[~:ª@xQjz^?:=;dbB(z,>:K"ك^ ʮ,c <\N2j ]s~u?ԍVQ=C}} !ouBSJ CVn>&^c Q+nxp,-eʼB:ކ2M7dx0Hqѿ\Lhjsa{e|e3EO,taD>VaRy2Y}J]˂0@LT$wo2Cp!G@B!'):V{Ġ{YKxDBQhibkl~zॗ0A1O3?[Yj_A!N;&FՕY,> "k[Ģ=;ă%\e&DL x1O' _D-8 _ؠY|F?B7udgYɖ(sygg?<޺)pQoU~f% ${]/Dk^j>͟BS\Wzt/ވN5I{!WQg-xc{1?^g߫2]L! .X6J%$& EЅ0պCOlabY_O/$I\& 2J9%u2=mV5?ϫ1թyWEW#EٔjjU/CgK;A%1.*z-X"Km zs]NM99S׬cxr NxcvI]8%i? G 6,ixlt: Jvu!$2T$,’%pQE2RULw(Prۦ]\M.OOh5׮Kyfմ$_9QhQ67''̛;RbqvgL2k+r,N@pmCF;T醾c׼\8\H-,ك9[̷ R=sʵF4O_+p[5CR& H2[ bI.4j7׾`wo\n ``O-!o:pfL=WUǕk$KJRa}_' #`Ff7bXTvGޜ3oODYܐOJFz7@iZɀG ,9(Vu"*ؼ/ch<ĝ[;k4BgՂՕm|3J^R'_(:Z[ϛdtrّ_10\XZ 81쑥MbRnrz|֮ۙGu=f3.\/?O{t꾧.쓁*ى؈fӟex/岹<~GJpkwrN/ʰYkMB-~8_Uo(mX:«<(xw&zʧs(m|uOرcW9!$8L [E^bJ]ϸiBCAl]b8ld*0r H@gXčDþ"ˋG0ju73Xɛ,YPrȢR}fs#$7ܫFQ9RIݞJW#vWOdkQ)J}X^c0?yH FB>UgYZ7zXZִF! g:]ŗXi%@Zq եZ2(2Pu1}= JPrq8D;TjAr;:8.q 0Bh\XP$d|Zۻ*BT]SzCߡnL6\fh"_\;*BBP^b85użwx]opWYb; E+gu^sQ$W5Gc`M6}XLdϓU5 jz$*#iAr qP;ga #(a}Դ..<|X.V@N-QZ$X^0nt>MX*c6 mcOs1;:.HR4c{i%OCqOw >R)u&Q9c߆}.W (g̀<}liP$Vl%ߧ,L *ow@;$)WO q8WvF(%zZ7.H+Ջ %{V' @M'I4<"N4ݔo44-(Cp8zyդaV $} l09Xq*K(? tny?6K?Dk9o8Ml7'Zѕs=؎')ߊiTGl64֣Qh0py7E7 *p]:qC5M7!4=~hJ93BLqiB?bhvvߪ}Ww(;Vɸ J"씳T1㑮GqD`t07J(t{ݚ 39A1c (@^@Em.{-`%7]/iy=8n\ѫ ഫ3tG؅,fEn S mq#g~Đac~ԩ j>̀LA$)oβPZK\Ԙ#NY` yCpQp}XC\BVY*@=vM (d2tXFj la 1|%;NF L Gķ]o'Czɡ(w?(@0qsK.df)3kxiË:b$Fd*⩳J BxeojxV/ fG|n5Z5nL6SIq9Rȧ ;(.N( kB:^ē5; L([&[(-bF)s$>.^Sm2: Vwg0l΁wFzr*K3szk ԠP‚t8(qֵ`1` R!|MHGs9Wf9Rcm(ҟ OviuItvEξSu?e"高k|Fx6*R1e/ϴ6PnLmy5ȅCMS.=}ߧO"IrV 𴗾TD@]*#p"I~ʒ|iM9Qvg@4qѾ>XvWH8yyf BTh%ŧ1|{0[܄7hH0'u 5pB& RB[3NxT Ɋ*H够oFȩ9ড়yv(ZQmIFKvpKľf0sBRKTa\pEʏ%H,\aXNJDB()n& ~,cH]0aCCmíJ rx.YFJ}sG!ɱTU||-u`VGpF2.qkd}ݤT ;"2 Q2{|RtX~PVNMBq?BoW>E A|\yHa&1+{'nj,ufAkuLֵte[p>$")&+\,N~~b{-t9-9L#T b=6~z+=[)~wZDs4>2jO)).2yg:MVYiY22urYwR#|53EA V<+mV )&7^*UF +I\pSM%bC%+/FȢSꝡ= 9%r q,Cj89pgX*Hr ^H/ab EdYK-tpnT\ͻ FWVHL=biOK5Q{`:-wEGPxji9[wi\wNSY,EIqX1;NZDs)DiS G-Ud6AM&OB,Kӑ9N)!f. 0b_銌"0j'[ K%kyJߋI<̿m n&f!@sqnsL`R݌R/5Pxٯ010T*|0ۓAZ)_Ä[þCc7 wL; ̙d)ۛ6E_uIZ;f\D94 C7뻻M"vsQt 2QҪ`Xy #AjS RH-KBE[01@U)/J2;mI>+ޣcH(|_$|_+g:#J)-%>4Opv3FzGݢmI[bPZugqv?%ID7NAV-Uq ( L n9I?j>$ZTNT'(*E燱MV02ӇGb(]&|Ai15 ]oN@#p5_,#:E5li(@\h\k86`gMO~DB?Ur\1enc *cyy-s}.5:ܫ Ü1 ľ %9]loknYr딍, m2}+0ޙEWpX:ksRVFWnAtWyv5;B 'ɻisz=35ǸZv6Ut{B{~y@4_}Bl!rv/wJ8" 0yBS7((sy`A !2Q|'YZ[)?x&8]GߋDSj}+f$vȬ׳sZ&ç%|Ճ%N卝nΛݣ ]}G:E(גۚ]1astW3}G.=Km=f~zQiJ$nڡxo0 +8 ,.53 HItհgW971`l:Rh]O?_ʪEKNT*E\W83U{p\У/kuyω99:!?Ëy\k^9GH]S4x_9<[kNP (SqӲEiKi쌲9 ìd Nm̘UǓB[.C4(EЦC#kEùogyyNq:^ -A G`pTyxw\0ێBF*#q]X6BwKOh  S6+<5E~Jn,-=k9_͸t_La@%(í馝)vA9@u =_&2]5!_뽈, ЁXr"a!Nj\]HJ1'z r32uh5ܾI7S6ӚFV +q ILTipy3bW$!~ѐf}7e;q 漹C<{7xTN~j~'c}![\e50V(exؙ([L#@~ C_d{)Np\ ɅW':D'̥ꃦ꬈m:..p3Wnq-!q[bP9v/MhqGcdw"5[?օ!7.odju+eұQ'uޡ޹,"j0fK)4+7_r*^2iW=?2<ّCg&cɡX9'_-b|UQ8N)2/z#ʌ0];%!99]n^[FKPY; C9+L߃ںy Û1ƍR'Y|C.153M3-SQ,+ar3h[ℏ7&Mj:'#}4J=`?Z,;h2SԸx;gjHB`hT,<zupK`~FqYJӎ$Ȧ`AZն-r>*4ZUY,R]+I9"]MCL=o@A8$VlyUA-مKx(.R&ݼ[Jj _h{ '@黍*W!:=KZaz Ե&I% kDu,}Ǒۢs:Y-яw*|o%OeB`;ʼno)vU>!`/)A<{WyO/1 2Jw2Y]T-vP!${(7N26ؔ}CړsDtQ'WA"9GNɡÓkuyԇJo-~TJ/6N_U*#D5$)eq"bѹ<$~Vbɲ\~YH3L֎5mѾtݰ^qN+`TpA*V{+Iq-jarV=%'zN~J]8< ZVh(0,uI=XIq#]̞p5hx4!۱oqtmtC >'2 | \M=@mPh&lo;l F )@a] ~sE3b9Mv҅'%FsSxVqH $ZؼLnf`w[[lQlMDW,q];gg;Z~Zή$~ITWi?n9␽ }WR`{ѦGUmN`]Ox!ݳY~B mԧ^;1&-dXUb+ qXF|x5Re+V9O*aSȜtiXqLfJ0w@H.0\<5*:p*T@NXQ~~쥔5GQܐl^ h~a0vU]]IVU6ͱn#eZ\& ̚k+ށKi7~i_ˌaGұTSu/T$s c#fP>a jXT7EJrQ#V7!WjɳtߗCSEKHxi 0<=F %0\`$4j}Gw+Qmpk`hvEb`ZȝJj5mDߛnp?soYe'ΜrLk%)7\EKbku= Ɋ8?X\)*5ɗ֟l` G&_CGêl'Wj A~ BIK[|YS OXWG,s S~7C DW K^IQ+#8R%4{eK?l%Q4nc2ZLq ѧ uh8B/l7Ĩ9G@WOicBke[ `gxLd>:_BpbU^58}S}[ O < 6^QtcSwe4h,aȦ&[Dc34}7I[P LR@v\z=@')#U/S˫y:detS zDO9bિ=W3O)!wȲ#wbnq\A|+hE|NS ],)PvS ʘ&qNbWqɬڂ83fyEMMO#p{BtPlCb=|%A;וH^>zh9oM'OGMF4uMH$r\Xl= X>(gDWq iSV뚍ج#3<Ʊ3Ť2||>YM1_ˆVU.YCO*!lIVK̶1h4^gİٰ4>Y$ifAIjM{:IN.Zքi)5Vzvg.l]:oU KW),~=w`4 xei+ N ~\ j}ӟeEIYB.#z`jCGIrVm5Le*|pCn ]iM.}h0;0abM*B GMjL9Q3尺;eO<>$$YFzkR1[| ![ӕJ}Z`~M8 FK/7n`W$ρfߓ/li@f V$z=[g L]ߕ|VsA,rILl#UA[ )ِtnV'O^z_xlllrU8Th3_a(Xbw FFgJ9W(ˋ:v& 0xiDEze0C̭cVgŶKޡj"u(rF YsVgrϡ] p#X0U낲ŜekUrF3+N41+G&E i̜/"i|`p6GX> ]?␂ }+m"/iϒ$a7*6gRMtCB+ u Oۯj8ص^'3v5v r>N.:hI,k2.&5׹=D:)ʅďoQn lx__j ypȂOwGo׺&?SxqvA2:- 8qM$ aX#~ 3='Wqk5C]7}ؐ?R$P-Cs20K=p"Ho6G_t~ҌZ\h{g hx\KEnN /3#,I^RqM\ҞSg@$ޑum+&%%^c_󺯸^ɜ|/1H,辘Bnu*k0jq3=N-yl|lȖD-1L,e0k-.PN5Y5qk 5Řzf J.uBaUI)Y~ 9rH?`F^OX&@Xe"r*wܷq7{hisT\h}MAffKN'^m9<@镤 dujZ(0 6܎@Յ iC(wGo!J( ӃtW* Ha=}hT^T6v9@ 4#LҢҥH8]X|ʓhFxPqeux9"RB[(iڐ&yIO0Н2`H7̦b](nmK,:s֣ngRmA̷f^P#Q|"}u;8TE0y8?ĬT$E?G!#/C~1C}= s|5Md!L僇tW{@NQt *ASP/% VEWHo^^et\|_'Ҹ8\{O_^񝮽;gek\O HJcB;t!iQ& 7Mp \XKáj3v0%E:>ү*򵈨4$3mZ?Şd-1a@cz7+8babvĵuӯtdR095dxv9/RSuQ_>$ 5塞0jnr1J,*\ Co@c(Cb<5~d3B  踪 jaU*C_X ]"u`: 3:'kg^(S: q+8n-] Őlgc,) M።u@8sʴ*ō4-Utm |]W"ĥ8Eg-Ժk#?Yt,,NEn2G%BM^,;2=-KkfNߗU"ޠhmoΈB TƧ!Ƣʟnʑik_neDeĉMTn?*h?}͏Po3y'pG[xv6 $[`xU+&GdȳQ򠕽Z{M6+?J$[ wu D0I %UF3ynCEO,m((-Iagж_3HPLb#&<6^q٧3 %e<3S0-TKۢKPV; ~ ^%he?[p.w;nHƣZ6$єG:̴7tᢘ-޹d;y߀>c!ιM*3|asP 6p +'S 5kO UU%g+IOAoI>c&\o~59,ϬfZXx(A\ڤ#II;hBHHsgp{ueFԱ Oi3B蒇%})A\!fMuO*tyB 1.IZCjYۀ)߸Qear#A7seGQít7:(Ýs'5Sk)#ɴ#4- KzC W*]|sFbUP7F a.I9IDj jR7q]50y@hjk S5GwzG~pqΙmջ}7g;/F;d>ҰףM>.;nJ!Zd+sBoB JIHdo(eO! /| ^ }O;Q;EM> !';l6p=0/mkPhD|4:s# WG_tnY1@ tJ2pGFCvR4SwI3hA-98{l@(1έqKol†^;֑fNh'eۧ(Nn 64gG%ưK㋁eu #*Ũ9|`=%L0*|oq%@. bjT+jNI X6 LGr75)4mJ"3涪HdzҰ<3Sf[y} ᕍ)玺< v|kƢIdJ0 k4e0530T̕>34΀ +T}Eœ%=^9(  V4"3nV|xn3-F $>xkGns̻* duN#3`,D8ON1+ߓD4?6yD[|8`^msd%sZ12T8^t+, lJ밊6>ld25:W.ZTpjv=f.1ʤB lk6&_X`a} fćq}o0N#3?X6xC^ ~CIYnO$_j3P z.ΪA:ݲVv<Wrq4X[bۥI#䬳ec#MVlpK;XylhzUAs.mNQ̢ q}tY%ebW@qGCG4S~VR'nځs"\H4ǔX?.]ǡ*We嬗ƒ(n3ؓG{nU[4vAng!Ẻ4e^ʮ&}oVHD)gl ?=$Ihe(z 'a@34!Ny['t[b4;!$IS AGUSM<ߕLF3FWi/{yiΏ4!s!-S ҽv/z d1&dOq%:v!R vЖ `; bJ:0A83j_ʡpj(`\FT}~Uyá&e ԛy:*C2n>3aGPdZuϡ ޤ~{?ƝvspH|p}Uh 8'8ûu.$N,[t x>ɫt~H@{[?"UvEۜ+= [V$qsϠo|o:O Z)4\b|ǻ'WʾHZV_'!ѽ}KaJwzԡu㨎>8_БqMՊ~*'[dPSOEo/wԾㄪBLƝ#HB,Bu~5b!ͦ5oG57 7$իD12ӟ?, uOe/XF7ϖk ącm vFW@##L#"\ƻyޚ}DZ |7ò7ґR~)Bsˌ߹ grS cUޕC9''abo%rl|PHVs$MmkG%)qT\2:jܴ¡vlZ$x54O[0GgM?%#X% gmNp_RVT"R-0ʖq4H͕\KMr=Ͳ] ",p$"8rۏR ^~胈6] r5Ps+ƓN.)9p陼Bܸ\( ᰨHgyʷ2##S18ysw]!P:ʨ_aBH;Xo4vN㡸QA(|0΢Kf`rt]_$ںYIS&5v%oFܠyN&ԔnoI\H d(IS.7㫓$nˌ_+U|y6#(o_S-a p">@we ^PZo<9-O3&rmfѸt$3y( i^!fD˫dsʿvUA=d 2Xb>AqaG8u4PNLqfJKCD)=Aa3Y洼Z$M5$rŝ}e ۟k K WA>c:@8W"༈}8iŞo迁D7V"{6e(Ɇ,[;Ǫ!4 d_kiLvyTŽ9Y密k!+fQ!疃d4/ W(5#+QFk- 6jPO/+P<3x،Z屙#h316vBz~*h,Hag[}ҞHke#>H3Xj@!sݿܲ>)ЫUMˆI0$7D!l,@\Qn%9:C=̓G3kc<ӏ y`DhQ@Qhg*sͩ^oyVkB)n(z g?cQ"_tP|RB 'N,eRS%E3k"*7zFwn5" oasͷ֙x5|TzUsՐMn^ŸD#v>EɄԠ x {1d f!g6đ JR6r/FF;l ``iR#D{ZѰ 83zxD9 OGj7-عM^/Pw~N :7whA];,)ƷIl-:E2^(\B\NwRlk.誗_^:P,T,#cLէ|Rzp·?D/\cـ*r@mͳ c_vOga˞ &W #qZ144;b{lR,Zg|#08wrV/fNyc )K};mYYO;gҮt˿ - )uI5O(sؒIfFCQBδ阻T*2d0 cm??_?=g >1&YZ3tp5 Bu#wd0PdOMfH+X5*4ވ5@mczEYTUK\Y 2ҷz JG'8a0JJ^״N'*^BpbVs{@/ciJLh$!pXÊBv(_Vn#S{';*cɜKyjĒV)y@}ҘW4DɰFF8u'^:R/{-|{ kpnzYMsEB:eׇG` |6I+W$f6߿KvDu@*//Zrl؅SQ(x<7UX{۫G-J SpېX}~]װf@, :| ,go#j՗ךMgIp0a7ny7ўRUρEJ!"$v`ctC!Iv;񳴮!rYಁ۠"e{^FJ٧37^b6u:=ZSgG:e?٠QR(|.(CɘX9@ tY0eD)Lj#Uº]d?bkr^ q:XA P`r_*T IbڊiJ m3$JhE;i_0}z,[}$Ol-_ۋgE+7vZR-2UYN|1{hkqm }}Y%:t#[z_^m PXST̍:yM/wH=s FDqa-\Ppd6L5}$q_|.)wY\3HH-(Rx՚<ҁH>tp M*R:)(eDR&LDZ-xRh/:3Giok'4UKW?+.9EWKi^HN0[XjjTz:ׄhwM)"p$_8e]ץ>?1gă%V< [s).G@f"|>|C_W|_x]Y_$`4?qF0n狨qfK*2ٔY.*A]~jҙy&1prBoC_JӧGfqF6׌EICDQcPA[ J?NRE\^ DBT:2Xs.#0iU PE)IzEAaPcɆι?UEl;*?,ݰkȎA)3^XR t#KGq*B [W/hˈ~ 崽=91y[5y݅RA %'d'q?ۜáU>TP~vhY5kұƲ$IjD5O~m8 Ks8q|z^^2fVj~0SVe%dJM'a9;ZSWeM wG6B/)NTs/{fIxYy\@k*Q΁8bcyidk葿hhk7șMɔ:سAӖ:"v{U}$Vv6O~@7oGޭ/L6Z[lmB56 CDb&ݮA}RaF>bzKǢe .T9O.t\t5֛ze2KCC~ўW JD*[0.)'Cnj(`>,-uX*~VZ+z.f?n,Iqpqz~wMj SGba"TeGx_t)w5|'@nޱOqleZ͛~dD;#eޣ+Ŗ[LCr`H1^8DN*kn5)N6/+}Ms,U%>3b[Zd>N'u*@|8'x-Q%}b&MPD &{:??]k?кx(ܬL=؇]Ω:J.>/ +0<:lh k4Pgl *TPbEB/i@G`uFPS} @dT 9 ǰdrW{h:Stו* ~*)$ol4J^C%=U@ wo QC(m(9Zh״YJ'~nsآZƴm3J V|!ҫQi YeꟐ`裦85uMKuSS"dN#6ei'vL6VtaPvuؔGy*L۝(?K}Xh`+?JH\ eYH 2*;}4 PvѨU< *_nݎm6}b"i\EesrE2悳R& j,喕-g1QHH%ƣ?AA@STS &9N4s(K]>KU!@ Ͻ]0ON~N@xqcq] /1 E:qXgr%J6nW_ZT}te*CJ첿O`HƁ&%NtHo6SloCD> :%C- @,By9# _X lH0؂ùHАe!RuR^)jϮ=!GXJ)kJ HKKmK*dkwj-w7A!1ǃfP/"!ŲRQmΎO'*O$ [vZ ,N}PIy3+Ly UYT{ 5op!ZHۼV+40 WH)ߊ#Ɩi9{j|!'|<@au Yl)DՁ*52HӢ 0TlR4rax/q?g::oRVަ^ɭlޘγWJfٛ 鴑?oگHh^lw$^`i"e=,R WI r?O2sP 2&HS8' 0qdnR<2"?qDϺT^QqFj0$@c=`Qndtm#Hdzr)q}{U{y;v*O (; {6lg"Mk~̥ͻA @RUƶwLXRD CRZDx6.nAa"uj=j~V.F3AoR!I6i=sbREyNX:pm|[Jfeᾗ+U369Ճ43ɻ'Mr?_&KMɇOA$ $IpYp93VieGI*.IZ;ZqA\1HDL*QTt0--s]N/%na}1s(e\FXSg{ksr+ai7vOkH>G;~Y$RQ-s46wav~dU(0J'L|nUq@vJi (蘬؈A=ߌM| \Hhv0Ha~4zA{zb3%އaX|E5Śa3tEiҍr~JI,3q)F> et 6Eg=F?GaF,s_g28=Dzl;Հ uQn{?nuFUgoa;>\9q*\ /֐&v|arG 'ܪ~cμ OA `[X4X Abڇ柫_KÚ4(~a(s?;ZmA}0MbZ,K'lD5w + = 8AXD[7 βj'(q4hb]X-em3 ֮ˮ9 ]]D'#*g 1"M8/ڔ~!# Q$+I͗h'o<΢thbAd8ϧ'8`Aﳽ _!&3~3 |6O~DuQ]}eE#~θV(%qvdyly&4$XFq2˶ U {Aq>}#\{i(qZԷ5{<3@ĻD2=DXلT +xOR; REdޤC@(;w A/bppO4>O%,~)BhG|PzT|-ZBB-xaA*{GFJ"T/J>dUЬ"F4Ցc8w`3Q)8Ԡ*g>*r~V{_ xSHAx3:U"kG&KN{|Qn%Gʛ(PןH9-; ~G`q]&8 F%gYF~'Ti0BjhX~,ލyfmH)|N*]:w ,Ƌ}\ny r9.L @FŒ h0aPUYy9LEuD% SjCp.`>nӇ? ?x7o++1帛Hp{UOYߡFjo_E'w֤2FT6jHr1L>0C SHP${N D,݆*#sɪ 0x$z˼؝6 Z{UJe/Qy𭾹t;ds5>[ʗ!Uq`aGt&;TL^M 4{7vo$rh~9$ 2 "ZM:ޛ]W ja:g}#{ 7՘k3U*XN1829mu;Wț^E(}9  ܣM$΁yMeT}B)@^ƀ'^/UsU0 +(^Nջ8A)DYMs|NlU7LJj+P't$wIAqq8&&X"jbZq=7Үƒi\-Ҍ*?rŅ6̟M>\#Q_ڹǞ||.;h7&6Ϛ ƒ>,i4N' S^6>lKO9 9D\?gKFIiq p&6ڂ?yco#+a4k E ¥w9*nTQ;,vya87A^#Co12p2&PZw`#ԅ@N}uҔV&&SJ'Wyy47Vj\hW-j9Uj!-˞'Yg2{^[QsɜC.$0%$>p Pcn uWn| V,8 „&4p; Y;U<t6D*4-*RSIE;)"32\<_0ȴ606*c^x,oVFnZ z_¿l2p0.R~A*-ΘnhFS@%aVoyk wꊕlr n-p'Ou TK#_ڐ9eTxrSHl,.̉o\JŜJ"\)չuFD. ^{'a۪q(%:E@jgrJN^@&x YQ=F3+h,jCq"(Zܣ4BkW~3|jPj?oP,K'_cfM!}wb+@CMQZ޺;n=`ZgZ6BCO|m$TY`ѻ/`FM-HnU)PI:)XB~2AISb@i|\CwȒms@'3 E&B|FzpA+GL~Z6YLzI왁N @Fx8¸8&UQd͒6lkCkغgu)ɑMaz)k[q饃dp&>@=;N1yİS]J W7R8o(8FY'8 !I|z>.d`9LA8xn\!Gn]ƍN8T#du-Dkl-狸">Ao&Һ\Y)B7 d<=Q,bɳ-R99h8.>9:V 鞺a?4U;H]Q+bmU"l_vpa],M/O>{+?Sr+(i"2@0EyS16K&ٍ:nyx;8Şs5&Pԣ$i"/bm`L}:8B$&hEd; 㚥{̣z+xV~̷vpǟ:3r.MgYZ31e299368a6d9dc7fb0aeade732b53b9338c6d4682279e0e1adf83bb56256dc19b76e613b9ff505e 63876a40702696125354f9af72dc0450e7ebf3217ccfd9a6c35d01abf9f499b56113d53c1a7e9865