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 t%$L ]/]HOL-Analysis:threads=6elapsed=312.339cpu=1535.212gc=57.700factor=4.927zXZִF! L]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jl(?p?O8\Ъ^qem,V<q^I@/cO%HWy5 {;}Fz> fd ̈́ e#iT;PTiJBUEN=λ? .&d2|M[Tax!h62 [Y{ڜ6(}I(z FֶlӀqI"$w"&IMAB2FSt-nsAXp~qVfƲ ڿ'NwVZݠs\Tj-IV/`8OJH [SFSneOh Q9dcԳ{FCWs .[)P@= {y,T@:69+5wt[iN!X5tܟw=\m_#4Cu>ᬏ[$=TITՙa~ ^Qi:4Dj:.qEĜΚR׷ XH2(JlN1mcFh)h[-] vͽ̅85J9>O"D5Г2FB;C_bIhC 8 d(C">h yu>_d ` ֢`ﴡ Y< }I$GW@,R_Ub #/O"ѝJЅU0X#^|4O11bְ%X2?j2XUG&5na9{F1P[|Fn̾F{䄔hr>6NI-A{vI^_;:PeaR_AɹY437\*}Y1E6uUì :PͩF |V~JpGQ@3P7Yiu{;( cոl&=wrbhyUYpKV:<-ek\{diza}y+M$UH#BZ \ W΀WX/EMtcȴ JoMY\Ǝӵ8w\ŋY\][Y/dg}ÌJhdD p5i< "{ IL*aMZ[+РO4L2uPDT J޶L*Y&n& ~0vP:M*j1vM |AM?u5|⻐ampe416"^A OL5=RqY*O|osu@Pൊo#;x%]m߻Ν]V+3MCU<6rFp dK jHJ1X2;؂O/3tAJn{El4 PYbM({^;J3a IvJJË&,Ո5"ԚQzK'Xf1%2BR<[o ' ux@#4Z'0BV>kB)P\8~_ %)Vr.|RB.2J$!9ҽ`z2j6UzE("?ؚ^fv Bu@[􂪦+|mVJHn#>ؓV3k{2z(HtRwtޔd5rO~b kD!ǃXVnjC_V]D}u=HT"y/w]3 wgn''E Qlo8Ứpc.0Vڧ(◢ ȤGgД lpJ9Jl_rڰ( xp2=U }(\u]/ w.?/\v #da._ԛBwϼ}\1 bC ĔjHɬ`ì.T0ԶD1^&OeDcݟ)f(s* @DQ=NQRgbG1APeJ?L2%J|1~/4jd4:";<x@WXܩ50:dĄI\jOG}^JEUAD?\/}"rĠY_-Pf2I~mS"t4ŇhTi+<<^ WU>3hM?ye׈aALթؙζo&)-s-4Nh{t05zWc8:p-n]'ad[wΤFÐ״0&#|A0?bَ4Ts<⨡ /9Dϧ Z/'E7`NYHܩe": gaȖKt^_O*x?+W;'*U}pg>P1'KDTl\3wgtouM $/5 mZx|Ke RIYN(<ߍWS|`D=P{3HœKY^(d faCؖ>ݘb3H п?h!)A?_>I^\{;C, }Fb]xd" ?|!&%o!7a$pKĜm~!KR8u/%KrӑBySw1V eto߀tK5GrCRqB[se)Tziz9y'[Kf94~ eЮ>iwC2ߔQPB-#?ke01۹Kr!9>僟Y2)/n];|32BoH`V4&q֓۞jzuMQU owc_pm26ϒ/j>fq'y+d`seBa3Za|w>+$yţpQ#+r<A*~b4\eR y[ffr "PyLFW#6l)DG8~R.dz˳_U&'e:);4؉„ oo%u^;'tKŲB=kz3w^c01&"y~FAΩc&f93'ȲS8ȉ8~<}̒cCcƖ c~nx]VNh)s-9y"W@oi5e[ zvy17ޝ .gC-7x|O-5S)$NFͱ@QH8gDH!ĮE *ݟ/환{={8ckߠǏ8ޥ18odL%.Kf>^s6&c;?䩴~i )>]"\ϼQ,rFFud?1Co]#OG0 Q =~ QZ8ˤ)72) rYgꀽ=v0T'6VTYL.mA-ͷ$ͧ=^łCOy%%~g\׃ c߅Dt\}|z~ "<# 5#~=zIP$˗i,`Gs@Z#ÎW:ms3>(BXMĎjgɇ:Iʼ~/1.w)Fk xi\Wd{~Wo eqMC@,u]H}GaqiYlj`w8`rR<fJ[@JT`A@"`*s8t7QjGN2m@/Uxa:lMqSS|Z`z}tBQ':(p?SFo;"Ww=6pWYt,jZ#s#wZpLIt-u=ĺpb^(r˗iOTx 7 YO;)vHW#4 v)XpYp9rYs:f] S] u܏^mS/eдAk+{)f4c3[BJ8;.Mge!nS9ѼSKl y^}*o=*Y󪊌bzj*]N3!4犄EAx#Fiq]OQ{Pa5TӒ1l,m̓`|0 xh7ro tir#Op6\2b_gohT3HBC]K $01WP'LCZՃ*0A^>vu_2d:{H xuXٽ/tII4ql)\wѴŠЈk@޿+PA]7Vt&/| SpܟNǑ!E璹{Y[!K+oN@.ŮF&uv2Wҧĩ>:g4.XB8RƼflCn3FT) v@ zί+F$Q!nhyBQ|`[1Пj9.#Qh6ugky>ҽ-J8`-N'|=6%tVP! |d.3aI7hFt,jww'+4񊕰ڔU ^n&fc+@5 ~oU~% :L,hFXS7r *(1FdV`ܱuWp$4(qB¨5C!de܀}LeRZ6>L4cm i4d6FJ+pў[ʜ(=eiv0K (rF>Cl> WA,H">BEP`k"=/5a2_,vRʛ,BK4XDW1&N>+և`-wS wR0{aX7'.pQuDjyxn4k.PᠼWX#wH="zo -"/X; e4 ~?ek`Q,܉0HacxMpb`W/>{3gT1 Vd #8⊋zrUoSث JwAݒɋeC*bAjHWhOTfwm&0!l `|g?(J\ 2>H) 3e.Ey,Z/)gIO:ycL^%"uJ$v2X~f_]2h"5$VIڣjtգS.ՂĻeYϛ<,'J,IN\l lC@'`a6oj1 c\+ zYUQ@³?M_,2ViWbD+dk+}?)[FU)\V <[<%2ͫcHt_<:8 vSTUlG8nyWON闗^:, hf% 8N4O!uuB*"| OߪK*M/P ]%"ά\An&&u^6ULXqsaHoLF& T"F}8eZR[^V+YҺiD*Mr&P/̎ :vl<7B.YargV>݂%@xw~=⠮ª>2RW&mL 'vZנսaׁZR2`6*лξwRVV: |0 _ %SgSr͎XhиxSۋn+?&؉5m|a ͼ|͎-@3e~I\maT|6"{,rq#_ݢV?(/.{ hFWvy;PU26Kφ"[rkXO։'חHc ݉M / m*^K0,IZL Le$ݒ_efaJ˰u{xqڔ&KJ+2Q;.VBYaB@{9{TІ 2~F:=w 9Sx8qP1Ps "W)\̌ #VN]Ÿ" nF tRއes ❿+vؗ%j ImW4Vzoް0"D5>s_[k UOlb:z]vq>ѦWB37] d`iiXĐ'hFAiObjٕ,thgx .gmY63$"㐴aCE>I|-k }#l d:[++5uxOͨX3Ga3FiڍmM7H0mG pc)3a+Uv;Nbbb4⫱?`\ 5"/JfJ` K%1M -N(dQugv EJab_#Y֥?ae~Ug_Sto׭<ņ%Rj`:Y97UۺYjؙ3[$`2wTb0^2T<3aqQaa؜2L&3BRiO}[Զ"E%9ԟa;Όv͍񇖡nZpYVG}s>+°2R`Ƞw餧΍7fN+1\7k- ߨ2P҅:jɡ2A%Č ,סoPe?RP]U,C_ GO^QBk*iT\S~8x1:h}T֤GK1!+ e~.<'wrCWgN/g ,Vnr{V݁PwP )q^D ,Dxq1S o ]ێl6 'ZԨ)DS$Q{`6 xt_ٷ\2_l Fǖ$aQQj[닯c !+fEi`{5/x\ àm8*z1Gc*f0!yѠWg|9bDۿqk/I.-trMۡU;$;}$Jc5b ^ҳ*X'(`ȫ_C]V8q`aO3l2p9$&82x3ۙ5n#XW#9Tdg> N+@vt*@,\TM5&~:j xpr!c~vdtÇQQmk0Dc3Fْ0Cb{$#CW'1 3$_3UWEY_]WA"guպ"tlٮTe6)&2~J] -2r̭:"a'&«mAgg=Z3 f>'H.)GԠklRzfpnIeQd%X9 36;e.0>ra86 QS%P]Ï-bC̵cfnf0*b g3m-s#rE"[gܛ{0V;Y)^éZnSv|=>M@خ |=GG BV d8oa)Gd"8ý=VucsgS#Y@+9Pɷl:6&g>}ۀ( vr2 e X 9,XqCpY<ёҗ sĝݑA=`VڽRBEr*!=L`é$B\Y#^(Q'Q-}-9C--d{u}kR׶K (&Vɷ`UMe{qT?(og,Ɵ:cB P5#sW_[Z/7w>N+2fy$\;TYr6hP7hnv^ CŝU!uH콭4 :6`ⰱn=^)\cl,&AŮhZ:>b'ߣltB S`\v)vE:9i8 &-կrp/h EE$ ؽ!ThU3C8AE4Y&gd:HsMX&]O;^LC@= 3%k+nr RX\-:npFA&`\=R|cphDAt-7,*PL"Z[a!@\pe/"pA}>IEq /*&E˨-<JcXE8~O_*kaOZSFc'j^I/ 8Q(=IS"^}YlIȱ&ګ%z,ucFbT68aK#x O62i%N.aD 0ONg!jy<>ЊS9T5ƆJ~\ # vWԟ7$UMSAM%nBNMf=dx8 6McZ-Ctj^:[d3b{I,Ʈ R~lVOl 'iH1 8bc ]JaVr l0{YƈJ%wΡ`_Б0.kKuoom@=qRoے;3Lo"l{Qc7P!Qx SEV) oj(Li!loC:Nki[Y^H`qˆ[Fϖo3=U!qD J!]tK55ngQ!HPs3Ei ֌>OsBtƫ~ǰhqyHԉ@Ng*B{һI$DG=B7m'1LhI(X h%Z,bJ24+V:gN TwC KGei\ .ԿwHN̚H.uT( ktIՎYGgv~zfAH(0(?4wt=UJ;+Ӯ0-.XZ+m$œ EN ),$Gi,/52/{u ?ʨ6tϾ>o {j4X2A\|$f&+ԚWII#ajyYlɾ`T/WRcޒrU(DAFkC64 RYʿџ[ĈXxXKX d_pj)}m[hU޸ܼA{Oi--~i|iCmN>@g#F7<7#؉вf?? I |ލs$^>W~F8qHpPJ% JS>ߗ(U`KO C$}<#ԇ vrpH|s5fSHnk-[pDfM6h l2Y [~cNufS,*ӎe,p:Yx~,:^puYWpj G77NNIМˢt3t) T+:V7VD=gY#CA95\x62CcG; q^+v]0L-a{Z7n 0 ~SHG3koxXU"^"EUChNḯl:}[k^mm$OʳMqj[% Qufۡ; 7ƃF'0pͯigÓelRE@&jWrĨNFtU9=R-!jt4KFv!Fa̰\89wm8WO9>0Q8:e/D}> ^Of^^%m*ԟO~xψM|'nLIbؘL]w^4^4_@T(Q'؁c^.GWȘxRz 1x?JЦ$G^֕M\.9րHϫZ~ &TTYd"@yҗe;u M,I߄{\bQ3 B16?. ,ʝ7SY:a[)-tɲ+¬:1BN<~} z'TGP(/: o6{7}"{ғ>ke1$iTu1g髾T\nYs-2 nqknv[ 7t6V=`Cjv\4Lc8aL@7 -Jĩ 7`lW{At5y8ns雰hRMvk*~913DnczxD֪;eMU҈ Q#ZaB &G/"C} )t _/iҶ2]&_ZKػ7V+,"? BGޡj(g"&g)u, 6sDV]Q; C"_^V(b#arIm=~CKA mp{x_6}"!rĨ?&eńmBcz,~3#hC1΋}`@/powjfgf,e|Q2ZfS{qh "/zVGݍQű.AfAub3H["Vb6}z,e =<ē5E0o Oe1=eX `Q7MUqE_^`[zL]Z9:ZM44UQ,`!CO&6F5P[|i4k$|z}D-oϩ39_@ܩ`ro6PҷJR G)E5îņ o-T@:} )m].JUtp9xuYWM@)"bp"o?Zm\2aVv0}~z.G]1XMC7|:i[}ԔU јݮP`إNGP #D Δɨ?D!KjY[B{Ü*D{&m ?=N;oO#o[e} ݚ\gB"C$w{,\j)_!QZ!엟-e]+/Yg 7Jj)B(J9ڏ8v ^jh*=Z/jw 1:|L^X=RS3Gbl?tOt^z ,OK?B۾,V'8y@c! XMrV_SU𞛑*ܝҖ0Xپ2[^f4{p vuo< >Xbr4 D,U<&1-ݪs;nt%4fzTX˿͍?\4/ZnNyu1! K;ON'W_s1n Dr1S +??q:ҞNDnpm[Wt N>Zm V`.w̾|D;K.ߝXK5̪s dQ }ҙ {uػp+ V{F[iq+%IVqG(F Ȩܞ!K_May;^\;hk=ߣi gYZ7zXZִF! &]ŗXiɟ1˦r!cHkMeBd4C\1`$*2aK _wmw*)LOqNm~U*%[kd$欿}xɗDNY-bk0/SXT=7z=tƌ,i&֪CHW:V=.~}Ld["ŃocNχT'TΥd[n^q#U蓻.&uձ)OZLoI-2GrJl]c TȚd7+o!hj,29rO5z4koRwi%eح{cwL zSuim F scl/yjg UkN̪ |PG(yLw3Dyñb4=@/QZ*V/%h]5<5$GꚆb9J*e'yv3åhY 1n_)zxpkCڅ~X<$rדȳpSgRVt>[Iʽ JES^W!* [9+_Du1Xl`\2۫e-ZQLo$'"[Z+7.&sѮvw LKwn-VQ} LDFmN8Oz.'Cn4,ZB[ιO@`웾74̬_Ǵgd;>Ng?5)#\6Bq tQI-K7}|.%.LW2J~Wmј'YSIItVRB)>ſMR|nl#QԄ}6YUb'/]f s' 9 -6fbK ݰuN ǏH'F78>_dԮbZPaٰ``jC"yM>2'[&Bk5i;;P ^W*AD-ʙlc Be޻ SLFKw^N.c4fTCqkF0Bzƈ,">٠;8 CuY~,YP2zm0@K d ^grb#&E Ӕf*HARFW^љ\ałGǹoSI> jGZhYbs|:6`٤CΈl6%}&wJX+ [O@!N_0-{"5%˄F5yI+T"nY%}Ѕ#L" _D: Z9zO/Bhh'<70#V`|_\AT*IR(Cr\6JYSaO낆1x4> Qފ4f{[EZsEeOm!ܽ'jxhsƅt7>`8ײ5䫯b2i?ƱI/2]†AutšX$~њݡ?UtZ5|~c+W81pI/m#a`HOQeť$eZ:D=/Uj bۄIB¬?*W{ [2Zq#xE=^%u/{=ŌI\+&tz哵Vsmn'?f"Ix0S>:3mJM)Mx9'@߇-ԃ- EhPz$6+yb=lV l-`WDSǽIc#e;u)q;U;F Cr;PC!!4=2Y OCA_fN$e;'oljuiM낣r܄,=o៽ g3=@ZxK :))QB?0Y)[T5faZ+t+FaNlE*ՊsRFb k`>lJXH-<^aQFL7agj:3 =wfިGckŒ sY{eLٓ7O!KO\OLLۯVtw-^ "\r0u &T ".. Hfr ETز`vo?C%>*/xn+e.v4u=~V`Om9d橘*}4؋=5|A5=7((c˟2nXQ0wi<*LFhn2O`.f0ͥ($^_uEH+}Ci):.w_|}F|Ut5?{M:[H1A"'_bVfeRvo~5SyMx>U㲷כe;*Ơ$ԙ\ ܀㤁],W-Qej1r%&YJؚ0Vl3YKiI9jU2? (Her8{B ^ؾBB=3-8Jf{ěfI Xc2ɍwwtyA2zjS t& |3gSb3 ECIMk* y y?$KXKHCcOLMpEaa"Op-".Rs  d,L)*"XK/֏ NZzჶ)1 rG] *ŝ:DDi'E]wSG/I&_g@l=zi@heP o0,n_Jm ;4~SD6;#x5NvQջvG{ᴱ=ye+آ2WB("7dDr$mr;'j~;>qNQ#h'8Cl9;kDT cW 𢋷hq9u{xKSi MŸ eJ&ur^WtM7}g63*_@w(W(Uи=!P\Թ3"%@.|1(Pg-U qp0WfٍL]X*60̺5q"*͗}VO}\yzsb &Dwm9fA=Xb|[_Y5W~TBd6Bf3AEX1? ,B܆=mzBn1Gl'jo&"1#_!Q}|$ba&z {VCQf+'~ɗƫv=2TTwmCY~'wm*ulx N̟M]5UqPsfm /yKKZ8j"ʽfҙ9D2a''?SVFO5ñM"q#̚,st]ds5.ZҸOGwI)y(OR4v04 )rWm.mo+kŤҗ.\7?`.]),zumcP*/bnH=x\JR.KѨ)Z(%N'H:fML6]2':xvLYݶfV |B\W\}>Zh vsplM;Uniu-(ߠbՠc[`@Jg<-C>T\ 43IϢj*Bf`jYJc .V^ԩLEC~ift?GÂ.}kL "m@ 8$nm"[mF}QMx,@`u.~R)lo&/'v3OWGöA)KXZ|m_F]fyV=uk%^# # Te"_[6+j2T=Bo?H *平U+|Gm97qA%>ѾfI;.|IaIѢycG$ѿ,>, (Ót~\qam_:Hq7KKMWZnXkѲ$u#iq9]#1`adBک֍L@r5#?$=6w b#Q;"WbK(veǹb/\4Rt7ui$Q vf<OlNy.Rw=v.Ltgǰ(wB]5TϤ`ĕG({z`w,#a`jU(/,6@J.R;yAC[sCtdbYeN~j2`nr|)ɓaJeHvM,D 5'tᤃK_AzSZ@-Kd7jv >z ak40i0I )"-t`/|:pPGIminJJq^8,|(eڸ^L\luN+jl2隀ZB,9y nMbd'UPE}{ߛ%'[I+$1(k]alm85<:"S0ɂFnE,<zYq{ O#Nv8zSJn57]rpZB /m:3BV2ͿHyUF蜿?JdBɟ1&:Vc[AoSEȩؕ_K^`pAe f,?a%.ujm{Ȼ~ۣ^fȯL8K#1#h@XY.ՙ(ŁW]p P. Ŝ!0U8_)i-ϔilRp#'\WOzGQ]o=}vѶ[0<9Ze/y2;I Ec2 أjׯ6drMqpَn2k՜Ic>|ٌI)ؚ [۷F!, Yd⪅9+p3~MD|g6fٶi ÷XjiyÀ,qSWJWDLp06jⵙj|Bt/`NJȪUk RoBM܂N[ 7Yɑ!2yס2-xxEHNU K M\,9 bL>*c!nF7"\˝Z(D~}p;A)DraD$w*0в'GcͼRO-cuΠ3wN)nΒD1J=+PMxv.&Z>Lp[@cy}$RuF݂@]вfՈ`Q Ra(> /W  L 2:h,-: ZP.Xl=COpB`|0C 6okzh-9Z ,&]džX˓bq{|# &5(д7TxnZrx2o[UBB/"09䥾А&M53H7,\k!>Өg:L'&zazP}Dhdʡj9J2]pVrbP#ѡYMw$mŌgf(.5aĦ20(5\GK;S> ~bAcߧ+兀UOq s^spRYt㎹1iȗ7wմ܊*ֲy>ƗH-#u'ԳӄuGeZS[UJ xA+hVWJ5b $'F\r|9u|gL̕.xʜEʡUX.d6ia6s̞1 k|T~@ js3 {:yP~ =[ n) 8  I15'0Ư E חY1V 6q 2ge ̩OWE>.U^|13yˤ}xEUU M7=ec9GE؎E^e+b MjVzi;OF.)qڭWgr'|3N6pgqŅ[5pH#xSkv|!W2ڐ60Q?קsC,m;C JؿeDUT hX"7*zbIHj&1n6Hiؤ[cm3\IsCdDm]xT,n{)Ƨ \v|,D ;G4>HI#~BC '*-n2~&FfA3{Jt^\v𙘁5ǞG:FwL5cIކ!DB:ՓxdVzu3y f;LzZi-H~^l &iT=3at,KLu[[bY Pc Duz70M9i qVAKq~钵 @u3s.wltc2vj -/Mmf*6Z с~~LTh MpooK9_:X, >y1C4""Z5Q鷭D5q ǔN aFnwTY˭`*ujrYÕM;(?k9ov.6@|^+ϑ3;u74 R4c^XS]l)s`]\@ _1i Cm1`D]yŔV ('tZ% 47$vime~.'#v~~v΂͂N29 Q4v} !C**ryށtаWSVD>/NZ <&;f[=ehHobr6P3L7.̸:qr SSe $)t:/%,UO 4N/:J#H_翃&9V8@uπ-`Od{;|pX:ldQ,svGVYdJg)|E5Գ6;hX8@Y^^s]/ߡG# čZ8}S-cQhDY3.@lH #Uk'j5 1?j5[}ɦ SRz'WٯK[RaK rF""&zS` od 'Cn׷3ˠf!jIu /D/.a.w^A4d\p0ZGT9z?&/b6oTk=:R"c-CB)rL9}P' ,n B%3k^'шraIZw UF~q_x]󆨟mɪ\&xjh >`!әy~}Fm}r+mY%Uk4 s.JēwըlISvRK){JTN`zʻ 1Aޗ3;IhU!5eHMm Jx׆ZКVksd<|gP YbKK~.(3=? g;H^_ sUyg[J+ٙ=Q0S =Gf5= gCPH֔G@n/l[ ۺ%D=q1-:JjA&\wQ,Jw>4#V'VxzobʅGf͕6WsʹȢ1[.1nGg L:؞=Krг=ētD3&NЍ0^ >&h*;jWwH4p- vU6;GW6Y"F Vڒ^)H[Ǒ%,t`zV@H5TA^òtֈ2v7cr0St9[p_C_ rr?;%_43 f]E`l_pe%O73V]qVz WOH0w8Tbfʍ0ym$L-Cr(/[I@kvZtc* UldWkeRYQnx[^Yk(m߼[yyguǵ]ZJqDFo 26-f%Lveqӷ(߿}{h:i3l@]}93c#/CהyYta^ iZA,Qk='aʙ.ΑpM.G. d-QQlYm㮳Lsn 3 ))0k]۰U2LքljJv৩cuQnKvSXz]QbT]&N`ACg &= MjpYǼo!t&=όRa4aL܈nF1rH8\dm<bjSZ"Bl7@¯9Fϣ_[_Q$v%pL^ዷ)TV>ۅ 5h5vҤ#Ü.0z[-nݟ|%_B\;g=oӀ9f2*%El4SQR HHޯz7 6s?OuM%f9,5c?oP(2u Uz"J ^Cv"H5'9@D7 luj8jLN3J"D灨Z%/Vj-YRTḢ]KME ٗ]Zۏ[Ne1_|`]8r!PRjE(bGUsNĤ]MRz^z*# ]B~?JHth6>>X^+HFV_:4S[> Xj)4ԫV#&]KYLy7;|0sy)1֘}g>nߥ.Hq|b&oJI{t @1+a3ey7*Cȏ0P(ǸyV!"袔MDJԭq[\zz|L _(BeH;{ȟYuH5k0% uKrucmK<ٳ!+";Լ]+ON^ 9qLԿCf@.6s9Fz͓'|r"CaI'F=ZCr+\sQesd=g5R5o5\"n;P㶿 aEL$`T"@Qy9 zuZR, aXN{3ر[IBce!oCyʝXg>ș_1q/fHύ?p1)1`8NwG>EQt,/A3rQ)ş%BYyt(+ ƶSwMMuJ2t`sW9|_~/uoǝs꒖ ?ՖgMg/茨ɁsW#sB̋h^^txэ7wgٰCo) ;Ss*O^PS^/* &ޗc ֬>xĘTar:$Zw"CggD(ef@hq Q`n61o{SbX7x7 9`^CJϴs8{wسY֌T$XO.{uAɼTVb,%Ŗ/KNRwh洞Ꝟ8rx*|7f&K2fTAYOHgJa2QJ8gV[I1a87,*oU-;o@*`^GJN,IUџC!4aG8ϩݝqU*}R7<cMu)pK aO88nx2 =bԓYθe"nW.hQqdj% v)!H;"!xIk@h%foH";I180_4Qp,:Oz&/?{+!"6ּcM q1P]ILrA:1ٿ1^.}13擙z ִP@j/3FԪE^ZR¤MH SVbv,MǕE4^X#&W{E4]+i +ɧ-W($ P=qBOsILT35xL]Qw1rx~<(p+*ܞhO m6'4 z^12RcZ9Pڹ鼽ƿ9" #"x&g@FiD^&.PӠ1mgJn[oDˢ}Pڣ]ٌ c M۔),4zi%7`Ydv^<_\J+qsvNH4 gߡV.}%ɼ*/@ttS*j]T ^AINN3O_e.a 4qjbfa9G&qpBv;yFGD. y#PD>k痱~B%=40(~:nGvZk/bi#g5O7-sZϭcY )@_`yLIPM뿽){u}JDl$e_VzqqRFBqg&u%wgFӔY4{ްW%1PhdԙuN)!hN 5k3;g[48=j >v~eq>O.gKxQd9 " gN@GCy]7olD70V`I.tm(Ki2Z`\j^qd=gy]3>NI\L+tzOw^2Sʰz҇-N?D]7ZȊ)iD򉧔Qu]3]^=܇U\)4( O/8J@ 8/џ߻5ڀˮ6M۽eeu uo+,թc&oRX^֪[aKksg,E%'ĥSGYuDq@ k x\ Ų-SF( 84(<$&N)NP.1īZx[76 O,?#ZYn #xb5*Rzُ'Y݀-*Fy1if/l{PĪ4̱>JBV>ZĮ)YHhvBK/'E؀l-"ŌHҙLKX`p^ԛp~z7@sdGIz /Z?QT"ۇ(LN=Nbhi#c׈M'jWH1DPAVNa?tc9:N7*h6|;HxIAˬ)3~*O =Ep<ܜp+xf[\/Bv.AIc]Ԡ8 L=;׳;1Zes.X36{m݌f+,zHB GHL*,w,&t T+ u2WNYRVY%4 W35'_ chJlC!MiIPD^)tOQ":6Eh`bffwO/~dx=G)䙓Z`QA9!d$3+Woj4žX ~JJl;zcUd&@;y~Ao]})g`%F:\6znwO\P^8n a`E&wI hgqr5nPɚ}o'S_9,vW ':A c_5[g `,qTc|/'%L%H)yK)ѿu>S:$9f nKv{⓺ع5?ΧNSdބs;>F4ي!4g:XR²̚h %d0bRsҬ+ {"GdK7]3[ҘD+LOpU)$d 9/XW6M?nSicP-vĻn׽80e S^^ r(elCPkY9*FyFg٨\gЮyC(#/jsn~#l*'U^\8 FtIms4l.f%9|VD!iaKV4@"ߣk !z޴°ډ,Huu@O[44*uW$pMXd>om*]  U fk>92|ҍR*קaHBRWa2r{r㞧ꚙC Zh=#}#)+8")m $z F#)Aݴ>秢¨ʹћ f%:y빎zZq\J@0gřh".zUAK8Tti`+M (NUx]1a"?he,A`a$O_goe0p+*jmr4]c\ Y[ϕw~,}O\##|em䋼ts1k0jSz|91MBȔ!@PeR.\!i+`GrO/Z/ *6X$g")i*PBY>BH9E‘.n3-yg0g{4 Ghݒ3dw%Ø?g{e$Ƿ3wxU#B}soF}sSsIwu$}oP۩[?'H>7 +vܱx_‰uOȣ!aq5fM}&ȲEe255ztXbꃅ%ǹߦ n!G fc<N kv &Cb٦Ar>;"fwm]) Fljѐ:OC LK{im_Ze a8,306@TeWsjZ:7bO) Mw }PrǕvRy<Ի7r8n}:Gش&V/#c̀[S=jj@ ,4xg>ͪ!C)t- a|_~间\~TPmd/{@$8=_9G5R,Ȍz N\'v4摥'f#Ytj]tYLj(J/ t@@HOn~CE]-omX C]FM5ͳzEwz9c1 Gq##R*yTGHsop}8j쿔G:ž>CD|F]¿ƒ\+x܆Ub%{Y%]5#Kr:@{-zʷvV?y%WL"$#3$;;A'Y$٢56gZ81]]4[}u +ǔvPzU% ħeᚽ>w]xR:@ّIS"Z3F\g4W %}\e $`4D8ǒY>xIqVA3֣# vuDF>H M9zIw{E%٣a[_%E~W^sޕ^]f+WIe NxІA's]sw,s+;zyTUmDF `ݝw\(c)CNA_SGl"~>X 3nŤ7_ 2W`pj 2͑o1Y!gCwpbkyZٕ;G B$IH$*ȑ9/I4IS R r3i Pu:7Yk^Re"u" ܾ˸Ȧb-ʊA3}~X]qS.구WwuƑ6wpb:Xү[l3Fjž.%-} *+h] C"+ˡM}fBg/‘G]!O '΅im0dپXGSL S1rWk9:0IB0nHT?TQٶh[oydlkA*y >O_7i~|c=(NFK E"Ɠd,x@l&qcZʮ/[nhURb1'`b2zj 1ҟW bnW_;!lkQzgY4Vf1SEW:9Dh_tv.u:"4(b&*/?HS9Xi>x#`(h|dbl\3T%I{(K{Sal m apf,)U켢V4}&8#F}g"wΑ)1+w(VTi"MBc԰cW5$J@Imt6;]J#U(Nv8xQf;0WY @%}vc֓ZyVB3k E,[)ԠK8ضH/x ֝X3kA[%K9ɛNH3JϺu6<2. 3A:1P4Dh 'NVXl{;m!ٯv>l܌ݮ4lě ct frQVŸ!&AjN @'1#BHe#x)yu䮌|RF=EzK6o%\BJ :(lð2usI )7PNr7A/)u',Q=. U9۹B|­ +=L_ʑTrʯ 't1mQ^DBr##ל!U n]d]͊@iлCIi:wpػ AǩL5뛕?m]卩[W{4>^m}?3m6%ɠ+Wk~yzr|PsͿJ PN찞#4C͋t17@[(twEX[$hᎃm 8ҝ#iE5jΞifυXP鋕U!43;dZq+rCaV5?;eO!=vfN~{npce}F܎r DEȕpvXV#2raZ陚8@KSRHHl|ϐ7-],2,u^m8HbdL=jQ20UP-BW2e5<{?glΠx#)klgg=8lpoq19c@fܑ⩌WO_pn<|plkdLTc5I2=^֒f]n9ofP I7/ l[G0Щ}yO*aGcizd=Oy* U&Z7kbڭ Hp,AwwFr-ȩ}DZ"CUBUO~xmOKquTKCs0徱%Qʠ Sq2-"19I vMaSg_&t! *918F~Ns5$/|l}"Yϟh*'1C#ULB-Z/z1;ю<=Y!ɳ[ӥP*Y@vZs䣼zmmATh" qmw?ķ ô 6,w [`o|;h i< {h>X"yʯߛX>dNvBۚ@G$6Egvтf`nˑNknqoyF.P {Y30_쯔W P\nl|`/DFȣeux $>@rbnۗ%2ek^4BN[D9`oqLV#ͧZ^Il2G>.Z.#AO_R:wpCN\1Fd3npL*K$Lw'(oTE ">9<$kHFLq5uOM{ο68MbӱM%1;ayUnMg;!\_n|Wf̤愦Yqu6r;+ !ɋH%&?Mawp۸IoDc]35UZrY{j{'k>DicrU5zk獏ݳr.2ک f ݸV'NO!J4Y݁($ $^a*oMž/kx8@qI>vtme7 q,,JsŲ COٿԺ*̐cQ!{kF`; ?y5kdtyqIϦmmɂtHNyR&E&"Ӂ/i ' B|gRw Y]Oi+c>4YNcA<%^92 g͖C/{)!!$b fFXj&Rȳ;49S{ sI"% V tHugae06|)W No܊ Ԁ$fqmAphav}h*_'=Ǖh d܈蒛:3Y Y&llvgAߞ&s;GX^N|]_mM{g(>ǖ0S3>sZF,æٶl0?-Wx4Jôxse2^3t}oX0}=t!H{ g|7@SkXC/ a{Y(pV>N( ͫd4@uy-WY:(/wqDZ9Y+<|g(4oz7Pl kYEZz~y&w`r$> L_^`&Tv{;} "??ǖJ{^OpRqm|wϠZ&'Wbv>PMxʰR7\|z59J),}ZP#6rI'DX@ jK>Yi]R6#۴NC˸e6;~B tBzDoR!dSQ1*13^^slzԟD -W Pcj0?׹ve \< e0+I E| &N-1A6j9gZXrstj{Ug|^qGĬq! $rUi0],`FB R.Tq4Eh )p]ݱ; :.g8HZ;IO=sXЕ SCT^ b YmZx 4քRah^ Wi@s+2yZS`{n,r1_QF)7qMA4b'OGU$MYU6t?zs;VC kb*b5^ n>(D h (*)5>&",1'śKcG]īĸȪ%ߝ?92ć!iErcta5H϶3a,{?aJoI[<T꒵7]Mː/8 kC~-+_Y4srףP+irnYkђ:5P1!Ȥ] g:,͢/Vr]BM(qHw9=(3dTf Dg؁d@|/,HA; "M38VH YGl%o.F"%$`fc l6Hw>'EUOzPAlK+ 'GF>#mAS~i ³)..w#/l2렯_Z!bp2i#_QA)mZAH ;쭦=`@p %0 ζu]5D` sKb_ZhˎW`D^ЕОu]6,U:ޅ_&~:K9. vYmW+9]T`)zt>;F c+m ΂>S:iLB?nJzq)ٲ EeVWEqEXy3ZcZk~6MӥBBﴏ\?!Ҿ@6te431NJChZ[ohyY_'68lеzN;qsjtړ!E L\]$X3ݪL4M n/4GxQ e[Ws\GZ Dy_t/Ath1Zبw6|^:|0'([{juՂBfp_Y&ǫ=g \Fɱb4RhZ[_;!ܐ~8 V>= E4Bwg$\*!PsjwYcIuq;@ =g˛Ό1TP)eZ'nn[I1Nr<ײ$EޣCVVC`O"\,%["]}%Q4hqKΰZ+ƈJ;*4Ԥ3P*0؍rig\">h9;w&՗FnTJ1 kŐ@d-f,Qe25쁔SLV%ΊE,!JRWLC-*rW6K:}XacE $|C8+ uw+AI.>]o]ū 7Vyk˥VSgNp齤`껉]B*(m{(^{CYNW ʳ}@F3 TZ?8[&+ݧz~)LУ5M+@!bN :4}5O'/0m+G\E0L!s"WvQXZEhHX8iF $)QInu1&yd[)63JQfS6FNU@ǂw|d&OFǸ&cӐid catrN7zOl!:-{=kv+OϻU&6 ':QYkSϺO+E5KoΨ1*5mu+}*8:4C,0H|,7Vr4鏭WYX,0$jvɲ5˜ Smx!q0ӕy jt$S3r#wS&#N,l 牷(h\/^݀.T{kZć?NTTX(Z ÏI%< -.zuCUx@5-6ҌZFA=ȑB+}7j I'RDiX>{Lj=7GJۥ؁Lz;c)D;S,3Q"2~ gvVcW[/'?/ ?)4o *5E`F&iWPeblܸ[i&9v#^w=1dz6zfv#/Q1D{aHӁU s 4by,{䦇O96/ㅏDX"43}1׳-M2$~ATަd `[3e#0ux:KS2!ڐRRc:MZ %Nd˒=M=4jl2l7"/ғ!LzڿŠE3AϰT{kTo]&wz?ev2,Q!/^ V˵#gD#瑢'^4_DLߧP})3 7  _|Q. B iℾnr@ ^e@01*UXYG@ wn(CDcS3+ߎ2jS-u{ $u_ʋ(H9$?{=d7X~V{;{uWD}  HrlfۗB99ŷK(ע3Xi85 w`$eYTLf~бR%9A;wrB7JӐgYZ980c6305ad6fb23587873d60f4c43f01dff9e0603dd106b0fc6e16ab72e3261eac1cce577c86ae1f a6d6d9bfe723c3b0701e88c92e528dc9c8b3fa120bbc161dae107062c1a55b64b287a453280b778e