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  %lll ]/]HOL-Analysis:threads=6elapsed=310.045cpu=1382.172gc=95.648factor=4.467zXZִF! bPG]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jk/ENFoG_Sʱ]*T쫗; \KP!K<VN*ܠ~Έ4f;9 h|H)Ǫ&:I6ٞ֙)Ϸ;|ݯ:"fG9Y?% m옊KLN OgϔG)kP$cRXUAdbjML)њeX$lGM1PBX[j8EOw5]_#mB 'bRGgIe6x֜RۖŢDMaVj\ %! zJ`M03Ylr; nAY)Vf:_v "μj$er9R3yը_//θ&]c+ԅ);㾔fn/5k FP[Y&80:hxrEd:.+jW kA/ R?x[mûA=ecxm V%p=]C̝}%•E@sH>EeW_:# .C: !~)-tpݠy/ۭm5>Ok#t bwɟsܽ 2 R×":3KANFo`WBb :YUtj.f8<}NvKN>DaLvD7`B N*PѶ 6D)z;~Y&?(t硘I*ńAD}>oc0h6KX஄,;yJۏ{h+T;0$ ZD=b%W!9錤Eel v QLP1\a%4T/)) ]=e6K Ґ|81{7#RĠ菡|X:{fOjP܏@ Y GbR (H~EPGG ',c&:\K ;b]$(,g[P 6C'Хxȥ:z4832/_AihQ^?-J.c/s |]8tn@Y+K]s po15JtRR+5KXC]غg7|ۜ%;ٴ |\> Mlњ+g+u(# lj}f؈6;fMyGacNWU9Xʚ {,wp0(1Ά.><1N%nJf1F-[ j[kTtOƴac7$EkWY,OpyJ9˦M?LIVU, YC-&؊-k3ty$@n{`ȵ*0iEڛUyUCE%MI06 >*u,ˌ ܥ5n@$a6LR&/OWgcMc?%mE%Bftd<iMQ뷑r&L7oE繉B5 ?v?rE F8 N}|{A/'L_3*\ef[\Q+b2I|*{O%'#X[dЕCZql..j!âҼS+Wyo׳c-d0b i31݌-Wbll~g)̖׳qZ %9q:x9+=`'(4Pfm뿿::g%G Ø8񳼺Ӑze^Vc E,c2)+~sSiSɜzLآ}~{Ԁ&Q":-nzG/"xEX9/ 5:B"1CޅƈeRMo6~|~w#ğ'T'-8k+!J9y j:r JX^6CsSI  0J4'*7U"D"=t6$NecSG̰$+fʼnChFJSxvtOo35}e]z>|x\#M=~6G(ѽs-5Ӿ+iڇ<8b'tU˅vzd;-z,pX7~ؙv7޳7l0pd!>dtK݀A}C얈lwxN]Vk;:"ᗫޜLגXIXKh<9r g4Nk'0Ԅv!w;?r)x`E?!DwSM ݅rE5NkɺqG^Ŗ"1ӭp"7xz6>g- /YZslu9`a|PDvʇ&z4nqt:vEjjT$B #[nc$v9a:S+|VXLY֏~C|: 0֢QҦyõw)ЦФ_Ё;.2;z)9ϒtB梳K=PNOkpsqc $%B `).tc*UB YT%Ya0-=L 2M/nY$͂8VDZŪ!sϧyx'R,b0_8L;}Yvmcn-!r6kgn5V@"T5= 8Gs`Ry r5M.9@n2%vThs!: Ƥef%;(jg&bD:oE l6{+6zZRW%g-D&fmW)l}GC#dwk8ӟywa*`M|٥>/4 .X[UqhD&\fǕVT3VPx;v&1Ud͙: W+!upt;_AHfq=WcZ[Yg$NDw2 .RdHu^c{䥅0|%/8_f0J#]1ߡ;_ %f矬7ݟ]߹ J;ґH)N\-9xFJfTMP-`%s*Ҏġ pHj{^vEqk'x\:|x I$ ^}wE/R* 1,S gsP˗k̀Wcv˦=rJV1SdޙR(E|B5 qIr`Ag*k {d,@eݒThNV-5b!`ZcXV(^ J⽌UB(0Q'u ,Aĕ1-"eF0QOdtLFMʇBu T;Tk+jHf1ܺʉ+uSDdz&ߥ6{/Sޯ~dX8( 㿹(RyG+Ì`ʨܝt wPVkЭlAI̵nY% ̷Ȝ>;BdN"32yIog t]V]lxt2jnO A[: =H4TUBPt0dbFh/ OaD5tܯۋT361"@XTܓ: K^xW|R 3*uo65gm[GwPs,ޒ[#BasbUj0y>s@17wce9љ[mg4oЕy_vZJhNpqʹrP2G@rUS(asZR a/JE仟l.+r$sU9.Xf-C?L` SF&s\z*EUڙWi[9L?0 P\DA8)(xXspVwXYIƝ ; =YዡɝtWoYLL,1(osھ7J8۶.^cSt!˭XU*[/^÷?(*}=gPoBD4ʃtshhqpZMNf.WU*VhgmFphɐ:D}}٨IU1C͘<.}3+:oZ}Q.UBNxҤ#YH?/`ged Q R#hI. ={  ^Bo?2SGݶ#WXWw|tmg>nvI0*EӷchІs9Yrx M)j#FO2=&0Qh.f=$9jytNLS˓}+k:$DTbhn\ "rhf.#FH"ʩLNl`n#7D$nU3@x+ܣ |]\#ȏ/8˸n\R _3 ҽE׌k<0ko/ ŔSBRP73QPMZ۫?⼩*Ftf [A7km- JӗҘ^޲k=tp;ĭ\)xGR?E36 +d5 z1HHBo9mAȡ8 ]09]w)S0 cJFj=~k[]Ule1 XV1d4p%0WZ.ІxoaAn8)C& E'h`vZyz<֐,->A/Z<-%\MwgwC #6 0r׊sG zԋ'}T?KrrardgDzA=uգQL"Ɣ ^h{|*g;H$8=Ir22]2 {ϐ4i62: %<g>ꇌgQz#~2 gTd{p 'a}E40iLr*-:Wtn{ n*+80a{q*=xX:?@T O@|g ۛƳ+|N" K$.$,udpЀ!|A J?e|ME6o;ȥM)UH K)}"mKZA8 U ԝ>7%|$n&ch ¶,ocjҷL;TM8I8lŊgKlѸ" ,z; +::Gx)}ymnHF4(60Ecš*PʃB$̋O@[H/D %nzAt(^rL|W5|SsDcpsZֳ@~.x#vgN+X%JLc&j=b!ke~Y_g Pٽ%TPdS6:dwcY,4vPJ+TZo]bOfJgiJ+җ t͉Yoǭ3[? wgj@T%F|5W.䑄*qR"Ϙ7GWd7Pz6z`3\c"}bŨOrƷLhULk4q厤Alitlj0!XU- qTe:WNwA"?ۙ> ;f}\pq$HD1#Phu 1 ()Մbe+ Hv]~ ydIPeos:0F+^)g|#!wGyzTl9P |7FWje0o") mΖf+M5 ͞&.op*F)zJPA}@jV!?I8Z|@bv88vݶϓ8!S<1ؤCR/+h\GrE:+vl=ŽZ>v^$nn&Ee?=w8hj"qmMV%8RjSSq~}o?c?#qaf X-=сpE;sʩ\S 2% o]/5/FЈyhVssV mE6B7.e{{%NNkQ8&G | /b}pS (N`dnRN(ﲍII.?wbJEgTBfE۔TRnpe=vaϫ Y)ysvdfӶwv@ˬKa&pM Y?AyFL>;(UY_nfɩ*ov*v Jg-o X0!wN]&gT3{'H& H;c{s, @܅!.߄+\G8I#S,WE}L|hBSՇ:/boe`58C&J+ Y k2l#{$Cc6nSW}*lL]$ZMA!߇TC q+PȄ:K5+M8`i/Vov8v N(+ ㉄>ɽ>#\ǥ̋A0+]b8,#\-fOR?颂miȾ)|U݁{.\ ]K.#iRsrĸ<{LrĞD_|ox,4b-5`u$H(R PڧnE7"Z1Bt lB-N 7g1?8S[o#Bh5gN&0iBJ2, P`_{!8bUh|^7v6_\ MLye͝ĘEL5>5/Hl%\_XX*q+jZN#"LJR!m#{y<&ZhIhctAgX҂M<>_Y] ǠzS#z;kFMmn>>XAıXlܕ=ٍ%%o/Lj( jέ*leC"n+~*h(a ' _\,b{4LGY> GX@qbCx#nߖʇdiv\phob\mL{^E I4 BSl؃C<\}QR)&?@P.>{J6c5aXz) U/hXV8_v :Ne_ظ/$`ҫ~ R)cԗ~d^VQ^؊aB^b21OF eJ8ϙ1WLZI?EaergyiMxRh\+}PQ,vZpOs̰3̋VuFrZ&_y4FsRb3n CUo-_t`>i].Ɛ٭F_ֶ֬8 ~=!U{|*6.qo:hE$A.}shGMG[* 6HKVH$`&[ ĥjndE'K[*Q1,o.R , k,"S!gKZAHzpV WSﲆ)VRp5^DV[V`wRSm2NAO.r$Q[ |1='!;PŵXVĠ (;6ŋ)~NS8i "M4^xmuTǶ,lZѸ`O;U 'B+˹T|G z+D(Q/) 4 GUęNMd~f)͂\l҆׿Kő*PhKz4X/ު gfS?|UdEʾl}yrdUeKB B1@%w"޸^^¹[kT|T:l8+u!HF y!5M*/83㨖U|f(Пf3υ Ww! Q"r~U R^:ʢ^ljgrǂ`-XK, p}C? ʅYGgbFiZ,zb4KΎI-/ln_  `3m(nf$j{QOi??p3f{~6ZA74l ~L[&\`#hQ()3n~X=BB|iH2~Vͺ .|k׈|h~ހ63%gF!Qp 4~:xO B E$!uZn34Nuڴ9ZWZ mNBg>> ϊ-;i?lGfF%JFpyI!|d)|\TZ,"%a`iBmf)]t%e]rԥFr~]V50I3z\z#ycn픀ZhkH?c L1wD>6]޲>Dp8;c*)TW L*}[t@LQ`NV,)S~Vy;g0A.8Nhv},2>&SuCjR8藬CxO,`v ﭩU€3,'HB;p ۻaclD /Kv2D^|&n4"^eqy ILƒD#Z7Эra]mk7G?Po $OB(˳vbxb!_ז6/[ Lpa 8J-mI!ӂMw5I4df*:'ag\iB,p]A"eMW{rTrGJ>^~Ll KEZG^j5!pMΛ] 4,#.*jΤl~`1˞|;_N \y>HдCGBu*c~Ggt0jK$Fn׉(%s:zz)OiF9IYHOOPt:vbDWa3 wȋ/;HL'Ciݾ+6Z #Lq }nE1dpUfI }[ KXdgPLM?yCQQVD*۱ƨ_L Iycqm$}y/i Tv1gZDqU{wy]r ^?."H-ô1oNc !AZ5 )ꁊ[:p䋃V33B -~'o'iS6!?ԟ̥3TK1XlgJؗWU0eо%]7X3m`F΢ltp_n;&b{WwCq2G=VR4w0?s݉czPYĀ?`9ϓ]}e6 Ӝ65i-!kv]A1${߉̑)Von;5υP:'4٢ >NtwG[JAJaC @܋<\=:vA1<>uBQ>䏶Px"%F{au rx Qt`ҽO5d񋊚dkkGҝAO0v0Lb0bajOh(ջggK:$E\ø8z5H`4ߤ#>7}:q䲣F(t!9JbdVC.EXo3)%Eot?4SGN:GET Ib@S Q uG"p26ߧ N@`:Mf ({ѲF&0o'&J:.Hh[03)N"> @bD0͂" @jQqȰ'n[\Km rqU>3Lㆽ$0{mԻ-AkO>>ʺ93߆C[TmqQHepJ:Wfm=z8mH3TOG3$c(*&;zܖV%cu`sllOےyziomB~9 eoܽ@)y~;z根82 aO5qSD4]D tj.r]?鐖)|j' i9)!b'(Z؍!~g{K`uUdC9}Kb&y00e:JO}˚I}E֋6X6rې|[XPXIl.l4r.wp[T"3c>C8%A!O%$h\G; ~!އ[XezWŚ%w^k6!e)HAO[Ue 5 Ks/+&'ņw6MrrƯE`bWĬX~ *T@at$s8xWi#LhǣCz.@-ai>lؑq>\+ȵbz}7KWD{"_RDUlw$|Ͻn7?Uq8HE@>Ӻ-aL'%V/M1)&+sz2uͫr c'LVذ?Ia ljIߋ y v rcw2 Zko; d k}~9*H;z7B%66>͜GLNx~qbQ׏-Ui5 ۄIƫsf]M<[oshImEjP\d6BGśbʸu “Ǒ}hꠔ[$1ώ-6,wQᇉ8ȃ=D2Y-.%aQ Gd?U8rfe> 0EU @54Òm2T.7ZViZXhnlY 4`-ÆxN}W8ݑXsxWFٿRǖ%'t]tAe;UV1{ebc*s6 JJbuzT=uQMtrF,};DN:RxjIs/5X`r,3X rR/B`S5e@(G >krs Yc؞DAURbש>gVEO?S&:48ez.&e=![^P|U*׷Id>\*)=z>D!Ide ],;oGw! tIPl\s-}0;S^;+o]'H(ɦt,-Jo@rb!LEcv 8;j5~B(~1^46b="UB'df{G`obj߃p 8s_+i3#yK D3u /*ޏ{%Ak7 CjO"LCp#ON#jZUM6! E"nߘ8O0&s0 ;>ƗbPe NeNb:n {Q;YaB LJ> 1)H2Q@ ȏ8uqN$;U5g 5;rQ/*b 7 yݡɪT;OZ'f9R*W##/] 9= =)C^9ކ b 1l<.͑UݯL N NUR_]į!+AD9ms¢QWEpTsfT5bBʻfC"i|%Q-B&7TxH.-UI9{Ġ8_vX2w sDQ)уg}d?Ry0&K6` =hWV`]O̻RUi]!-5FL=fEd)HGM|ꔞMQXEP =%;E&gumQ?%8e S@=3ؔ*m;!@f ^X++~oCa!UzK9Փji'֨[/tS$-фjLg@O4ʻuOG݁j<-%0/X皗}o'T n L^gY{[>hra^ŘۍqWڇI.>bqzKp)-p-80eM\OD(<|!-̀q7؈k4y+ +Uu,*񴖉;ۮ ` *g|{֟LHRЯFQq[?NrK,Ԫ6օJ*U?;yq}c"Q(QAƃ7.נ~ɏ w#gYZ7zXZִF! "U0]ŗXiɟ1˦r!cHkMeBd43{=;/e )Y!3بW]92D';l_ǩVtS4:)憂M]*(4^E6*bF*K!=5dzCڣwAi7j9=h̋J>X 1g67)k&0yu&b8D\aO[x׏#f΄{rrEC$J* SJSFHavtoQ>V3t'[@lv1i~Pvȴ^=nw9e&|",%niL8LpS@ia3('[6|Q?Q;uzs'+Fs?mgz Ϣ Q78J;$D,fhr6hR߃_/æ- ' 4.A?İev r>҉?ޏ˜e֊cd/Y/mtԇ&Qyiͅy/u.Ogf'Cq(ZdLhg0B!T߷&k#eWv@DuzaX֢c_e;1`>>~t >NL`9f6x3Omk8+qMeߥ2DȳxIL}ot Ղ6DBIփq~6#kh9{["sqJ%nXnbE)T;Oiﰯb\˱ٚluKj,(l; K8a&Vjo7zt2p=+N&_GLO_sՅAr볡Y=د[ki縼>yiaf" };V 1Pr>o ^9ؐ,GQQuD1CݗV%VDDӊ^Ƴa[4bmwfBVeMDf`ñ'ul[ˡTEV  c+T(Lmn0{ciu >V]I$@P18e2'0y^2A:}r"LrvMЅZ.%)L/QP]\&gn~[`!]JrT$ζ8m`.xPlX Cs8Ґ;FRDuy%Z<44) <eHiǨ_cݘ5JWS5D j?#'B ̘ی'Oyh\ ŒI0i­x?c &! Qi5 ~mAGYh@Ԭz]:4J;+KXgrWb1-9ULv23C\LqwQ_2|AyZd$wQHҤNXVmo%5*x -D^3gYZ7zXZִF! bn]ŗXi%;M;imy*έI|c"UB(N D98Lu e&k\ r'.VHbo=2ECX"j2&UM;'ھ`+ K&s6T'ppǃ>ȇ>k;2FqI''>gc8o& ãqY+j5cB4 N 7v9)Zi:C \!NoS"ozjU_1D<,mm[~5$?\ɇL|T_08:K\z]dy¢ʆG<U*#QK {?WkNw pYd [D6I4U|tTZIM! dձa1E[O'Kyn:ly_#{YFqmcn^qG NUhXRCX{ cL^K ^:^͞ :-raGQmK 9NXUcE,Co\hؑ bBeA@ 施uBe0r ?DHQjf*5z3W~x6ӆ:9LS;)mQ| 76Nd ATY2nbA:rW+ݝ!,ԣ.c$ c+mN&>^`}5٣;hP"L&unPcȐ `ySʱBDYwt vIP eMs~ Bb{TN\ d0Uny~&\$ H[$cſG0 PkUpƺ9K,Mc:|KE:`~`:cq;@A':O)^jŞU| E>w6Se}vtW$Pc],tVDߵ씃q|Ež3 C`Ԋ𬣝4`xW|]SҰ 㨇.uIgʁ&hժ$ HךS.8Iucs\V`dQx\ A;Cզ+"3giٹ='@yjkj#=]|>0L9_7NknGM1o}(a'640g(Ia  ֓6+k2ɣ幇Sdg(pnj,6$ V9Bw<@` # *Jf=Ho o"84ߘeU4Z󰍤v~ dbp@q_iA;nVBnX"561ݦ2!> #*Z ` vQkԅ+sl.(`C;55JdOJד=ԁjv`'Zr5gr BW,.vEouʀVJ7pNmYzz@8h9Pm#j|r[gbgG#B39JŻ{^Q Kp^>n/9B1D,.sߋ9rquƅ3tK՛^X'Zg.'_PPbb  d,UNWz $ yzQoOxtY.k}4s #㧐AZ._1(E~-TPxC o',|#tJ*)SuөL}QDmScqf',:f q6}6TsM?o^ &:_%O$e KR=jjrΖH),o`X017e.fb]Z@8o FlW o(@Vt@ 6-Okst%<bzW1JYG!e.άVk?.S:]Cˎdc70MbxZq=;VK{m@8|w2+_ CH̻z؟lzE$ԽGu¹lFQ/@&@+y+U8;Ҹ_Q+! ]Ae&)%|-zQ'vB&˄yiں;(rгe5/%UL숻w (@kTiXok7}sB/SYӈRJp,՞f[cWJL,/ðR[J'sQ; bXsp_ &XyNN?vrNW &%}XhBʅh;Ȃ?/SDyT30nH3~;NE$'kQ0c?gc` iFt6 Q b#,`^[ Kpʇ@x_j/yjL÷4)3sO*x:~X"#A%]{UIYiH/XΓσ=B5+yH-k0"%7J*ܮ"_aſOK=9 /uД u!Xu\i6i^ "P4]"Vlp'/-NE^ܩD/I\ꀇ}Kd6 w(b/\[v`{{[3GM末ӿAHgPFlC osZ:X?ZE ;T~e20c}+usR#43X =mDeY xSROnw *6b1='r7iWOk Iݮ. WZ*}HJdXZT_ qf")L#ulw%fgUJ{Մe^Ii}Lk(Cܠ!wn8lr1pN.G `6](MI4jO:8_ADtr zX;1Y##5Kϥ=?-Dnn]]$rj2ynhrk1]!Va[dADH@8`DU@ 0g+J]z'E^?U6UN4Aۚ[124-};4 P5[0x][_odBLs]/d 'y'ig)12Ehi ۢ*/S_%KCAq^om=+ &ֲ@=ٌWo4fls{&$cd4@潙@YΗ2\['WiЮ5z nɎ ҂Mvs ZzϵOR¹rZ|'1U[_m\+W rKN9Lݵ[lc O4<KKtJm6MY02}2 gPFۻh Ӌ&N+|W9!mF')g~-ȗPrAxJ⎊GqHM "G+{AY|LDv4CJQe''/ZE.U4.ZefEÃKZdzFT@c+YeEk`KN6kYVb梎X/( >FiwpQ}nd9T ,ԛ8Ӹ/ZE 鹿AQHau] a.Ӝ^uݯ11]\2S(^2{u=bF4CEޙg_S5Ŝ1}>uۯ ;Ջm5-R%{ pT/#M8ǓX%ww:I ǀA Ju݋yDLaGR?=SDuwI ֌9;1B`vaC,f@a37P.$|mWyBS\&~WC Lhd$Xm`Nխ@ #VW">ߖW0k7qu_F3<IνG!r&1u#^˕oK-J>OC]N!Hx#dxK1(4u@NzT:93).fHAYngӾ L4wF:xSv:ށ]dtb8a?ed}dImYm07 hv8C$!P;$,(πԳTW ̜))iXYGr}w8iQB?+$+f.2Ӛ?HV8Ѝ &;bf l?‹S'+M\[uE|b#I)t̿i*);5nY}:h,q +ǧ5V<Хr]vM'N[60OTk4 |*ڵ&ȁŘZ>eǢ l KuٹjF*[B ЇʐFdBE.j0Wƍ_7 ԠG'^%c+' T/^S 媎 zP JXrx-|Y`:8h~ j{zYD5ө}<=K ks yd()x)І^G9:M{Vү0j!F930eХ'Tf=iйp8혷-K<W7 q\T;Iڪ,L9DҴw麼z65asV9> o{  ~z=ҳ=!-4V  iHPy(mPT 8Dy~IV( wW" 1NbB, w':m;}oO0qߦBʝTUޭ&_Q *@zO9x}c ܗ*ʀ)'cQPLf(?d>xJb)&a:1UӝUX)^[s k#j P&7|A^x|@bzebV8,s#T2*6%hqmY!7)<\ׇK[9uQx/@vS8gD:'Txu`%ݱ82b*JNg:7џнcuyH@Ծ`N}DSB<0pWD K+yZE5?WX<e6FIBaX\>i:b@U2/LZ hds}߰͞d @M Yu:IP|cd7G+ Pf Ȼ9y+!Rת8蠶"K0uFgVz0o9I-He12n@tX{DtbAE e/g?%tpe&Dj84]#M=T"Un(\9Y.?WƼs!I#kzCCsO~mMe qduHxH^pYp̌lxp@yzlbj\K7a2G\_ME4`""(>C: `5hM32 *,ҺCbzn{F/LO^rnWǩ__x4il#miX YLDs1}ߨ!qt3תA0mDO`wRK"/5fk`p֟-4 } 1y+ &ӥtFkqfMF_5^ױb^xRLb(}T1MZVz`jI6E0~Q<͜ H lQe3͖Q};ukx("?64 Y"Y~2 iY{@b֪ϾR%'jX\Vňz_c93/>SZ5hbL ?aHgV݈FDp`ғ k%m4m̏g/A]{p)ҩuyV'Q }Dbp?Ǎ>\CzE%+li4_LkQ7I88pT=ڏ\{L[RJb\ǽJGImX‹tsp[CDl#qwsDei>L%/!FBl/7ᐍyޛ!/47fH4\Ch'J ca b9O֙hzmj6}]84|=v_A(]bPjML<g"[JL5Cя- Z n;ȞK,#"n I|pU늕HB}!4LlDDN1<D)G7J99P湎$[c(~EcnYb)VV;iEª&*F~jJB&J1A\?B;Ғ@*M9-D$"3(GrKݵWDN~{$ u{RZju PPPP“βO3H8kfpx2wĪW5M?OhA7C%zP;`Tnna͛KXV% M`'85+!l-EO瀶a&m .ErYpTeXSIR8C} I8>Vc9m-nG#SD[[#2Мם`v2JOO`ڢ'/%I-Cw-} oi"s؀|u}}Ɇ)2T+fZ 8(?j1?|?gD @TYc@[ތQ76^wwˆYwzi,[t1@/%փCg#sೌf$|E|?,ozտl sCU aD[=s4Qh٨$Vg)V.R' jp75$0|(2X|zږ&G?g}mo"GU*s&-Q(G[@%Xb4ryķ4QĀJCh(~OLy*iƐFz Wgh0X zCP"2nV-检THwMƻ?dRF12Ygv]}g!\BsSа 1jbJ; :T4c5.ݏdF"WbB웨aKS$̔ 2wy@?"6b. {DFFE_UyHIw#Hb4N:wC9{;M8HqRC"(ø.B 'w\hGވdډ}MǍA-Xi]g@N':HW^d rϒݠL+qPV]'ݮ2רi; xŒ.uLL:;!e\ kګѐhؚC *8Dtï"/)'aoъH1? 4xdזߊ!juؾ,O(NPm.臹8u[`( `>CR0is(NnlGH-ܰהdd #Xsc^j#¯ 2k#R=rD YԿ?%|E\ҿ˺q?{Nfe+66-} OF@\}YȮy*.ͷ-sFh6ΙYEf8L &# n( ppBVq{"ǥ=8YC4^~A5: g,’hC/ACT`}GTf* zé›EC*:+\l/}p(rV;>E7(J =XY,UYWu_!u)A/J-Mg AqIî j%BdzaM r:~2Fu _!gs/;=>?Pa^Z*V>"ԫ*r>4Xnv#뀆(q{8sQ02-W=زH2)z$ZbԬ J Tq-8?ƾOV>7k?c3McvHuZ8C~M]\H sUJ$c sf=.r7X뇕ֺڐοLDwΑroēcm&q?GR=&j>!rwtAзXmhp|olt*|쳤#joauZy 3cЕLx'6wu@ d@)4睲(s DtA&bQ^:9@ CzJ4OӍL;o2QJX\!e\|aRe> hqq1C XhQ~we@ z˰rSiqgy.y_gg X u}@4J+v ?2 )"4u7"{.ӅМXBfoT6aީ>ۮfP%-X5;'C['#B)ź|%:ax)Ŵ:Ebycg ̥'ף:YaA2SXҧOsT6a1 ?m}HH'H\XҐD$vrTUbP=Κ?ϐ6;,B; Vk ;1닽cUej&10?s5~BNF@uFd%`;RVJч P._7WojUPFkcJf6~"/0L|v 'Fl_W &>I 3BtBJ/gᇨ6J-q*, ~^^VL[G l|'ʉ`}K=(N%:;H1+;rQ"K:HyywӸ/\KM,XX(3yU3fP8N7"S<tgƹD}lb gOc `TSS%)Rh"N("m㿟ߧwm"F[5yo w`NԺdG 7144rzf\mOk{XA~=,@ynLjfW I+u3Hrq`yS;ܽSJ w/JbE^ha6/Sۘ(jItq/=a].Kf9b[š,mRR9ȑӷ J%͡\>d*tc+nyqphO=+9!C|aԖ}+.mA,;w`R @AsXV"Pqu7Lc܇SAIji4_Ibe-b3Ll{JR®jU=[a6_%/?$$iH{3:ۖ ҖtX;,$xc~{*EL R U9ۼ*,9Ki:1E,`QHTK)`fE(zdGONJBMt+4+<L rwŹ\E.S0kuuFfk=Cyq 2=׸d/ut:"dmNr\ 4 S7!6AuNDK7C< c^ەv` kR`"F2fh-AG(,?{)ew7513M5ƤGR]ա7;:\M&ODDd} 3fLՐs[][g;nYrW~[()JayzjXЊ><N8Vd`}+i>\'4 l nUُTA/7ڹ1ō\ܣ迊rq|~M(~' DI~ XPbC=Fqa.4Sub{qh3 o;-ǷoNM' R*UJ}1F<H`rHG‚)8uH:';U/bD\3&pUGf</ BNl[*cDtJ.Do/:qHSߩip}7I ]J\XcrKy,^ů+.񠷋2rIV[(z@͞ [ƢIfT,jq(za 'nI]4Y``[@֨lBUz P*ʹ1FF{ >NC/k&M8YgnΓƣ4}jji:v)!J?1mn%K'\ۧ[ZaGGAUeJ,vCeJV Ԍ.28Kpş!Ej mo$TOpDػf=Ɏ:/;M7g]|KqljLXLGtj|eE2mod4}z0f f-[v;HyM%#2#{=D19j'`! zB$?c Z>䐿ZYNmlRJ/4ˇ^:#-uX:F!uQ940SkLL ؋<|&bPOԑ,f3MN(uaP>ql2ڱya:mhuce6gyf3>F$'LD?@LeEa.tyaغsP ; %gCb&0aA@˳ͱQCLLLBߙO >Pԟ:q oz"Ŏ 4ח3̎;G Oyv_z$"LTlvow\N(L3~eT<#jKpJs%HGkteXbˎaEuHen%G/&2qz@v9HeㅂũVœ#R4n6F5Y*u{c_. U'b$^fXr[sϹj3f)s_S %wD S%V9u +|zm- 荪))яL6.O"RF%jNdlVc az5 ~`3IH'Q]!K\L]N(mǽB+.Ȅ)}sL+5??E7)ID^X7-C,Vt V0gax^jd>EHh7|8=j_ z$ƄZ*bx*)PvgZ?K2ËkqN`6q*_۟Pa{B*tJR,dSwوYbaUrnt ,|nUK۔ZoeDҭvE/,ubpd{6vx8ӌ.wf5VԲ#h?AMm)ςnS1K"->qB*V-U%^j亷8UX6K5T}υƗ`@bA9)pܡ$tRO; 3Q:oˍf`, Ur<1bKϪ`шC7 z}BF\H׾w3\ ÜC04] LXN)iS8ބ~2N5orj+Ěj)nXD9g# ɠjT,7A5rog;^G餒-pmQ@tnXh-و)ҹVN> xjFo4-j+T kdތ==gO2T`~#Icreaf>x3]\/[anR3YBiWL_bF۽nqVRM_. OgN40  _6F Jj0L(\0<\ºWnO0|7Z98oȲsX;{JRA(ze۠C[67`! ur>X>sXiS(C)gn[ =RQKMe5ˍlOFO`˳Yg,qF؆|eӀY ǧVem/]!xpŊ;Hv $K0l^I5CA'oH .0(ۣ kX Pk\+ ;'R>M\v$nn0 $Kf%b>}JIr f p?,eVu31[#՝G+"W`O5 Y(ٍQ"q##FaDT#+ºACWqIN9H}.)X󮗁_bt`e˅gU}M荤5-۷gx2^Ir E[FU'/:`hwk{ӥS}ۜ.1Dp'3؆r1孂W>c*Ys7 vvzIƁ$Rbvm҉|Z2a:#q'*sM嗫4iHn^m)rm6ߠo,1X7oM& Hq9fe`ZP '~޺ZdLԾ~瘍s?V1"ʮbӝpخb,ΈBr]274KtTc#K^rY)#H%{ѡcLa6N[[V ە/kP4.3-b26N]tiwU UC1Dv/R㋣6:qB*3lB@ D<ޓeKu9^o41$t9Bx 7H h7IP_6iƍs2 Z5!T] =Vaε=Υ _DϨa1+x _KL]I@Ha}[LȨUi^%I܏CE:Zyp/-sW!]n≥AJ@W58L6_c){R{˷lSr3ߖh;#E.e>HtRy19BnC7UP7^eds6dC"BV,kIĂYL/"/~T{Y-d*B܇QrXK+0q?o8 RJpyJHWd~Eay{/sADjA:f"`pNY+2"Y"cWꅹkSٴ)w,U;$4 +l* )gtTzB÷&ݽ0-U=w68YIIŖ}o~;Sk+#ʶguh€&))!{꺞:OA:K0|VW;c_:& ſѳwVYKX1`_X_2U#A ".a+t(l}׬-{bӬ`/]Qu&C'O?P.(@ CxUW̋<ONs8sPTQ")l3re=rU@shf`f @%V0.eFp(E?؅ޱzdg޾{TFQJ{V itO!ٞk~t=a6:W>{;]sWhgP٨]Kas]1gj HGYk헐<-SU 3[!o}pFX".+`-p,:dEaV8NkVҊ [2$tUM-٬Q#Xݬ.LW93`fb\ f1c.lC7 xnm(z1?gWK@^sfW0^# ɟyl-VIC +nsqXvc2a҇nϺI+Y%Rj0mOVE I An;jKKxze"(Q!<}=y3y4gdZgmd* 'xj)Cz_]9T]RL,y/_c~?էCѾc.J\gC<`tC!/m=4C%Jx\>}Y/gර9R럢jP\l2D#8t|E^Cĕ~q{a;4=[_lm2AG`Rv$qX[ιW<ݩ>zKAհX+05'#R{Ұ':t]@2M,C 삯,(V9Ćov#]A[VW,7s_MGH6h#EK}Nԁ-G)_B qIn-||] F1iتI_.m|,,?<OZ `Yy)-b.6h{q[4(Ya L6 }Edj ~U#M}z47x;)u,( T\>,:J0}F|tR4ZpkJq$lç  Q^~SB8{7&^FpTΙ'NXX #'ݻ ^c>nUReYA俈*/ Ņ ԂދՊu<~4ˌvS!rgyƆF]ѤbZV( ^v ҟS/ `K cU `(h=oLw΍?'%&CF3̫e-'hHҡy$>(ؖvA-JXDC; .ٯLIKS☍#K "(jl8 &M6C> __Uc3֬ұv,-!EO ĶC( 6 @.5r5>՚Cay<j*;fIq.Y/(|1?E&!Y=F*Ǣ2}pyscIpSȂ_6vh {E7gxϮ)JS|bI|uJ3ɠzMM(@Is}^J N_g?*s:/Psӂ(#>zD@Kcvlt36jb_v7$ţMRܓX?s9BK%ֵǯdEwxs{'h(FBVP%,d1F  `GGHvO(8)A#BIKj<}r,AxGHB .U6o 5CM+ ]{h|1t[JZ3&P7}rkԢ+Dzw4洄];i gLB,|Hzd?foƘX{WTZ!\8eu+)Piq*"4+'ct@o8j۾khRR8寝 ߊ A?W:ji_W%tUn**5E ĢDMaM>wp@mbd%Z !1Twekyɬ7 >]1Ey)Y] 6E0d%/uD`zw%<KHrĝ;~&O3dNa30Czl[Wdt۽XBzeV5Bm$qgf3(R=׫5':Rr\T$x sʹmy&9λ1(A V&^_B~] !M2pnH 2B󡇣ax Gv2V%SoZ*a&}ݺ[[&!ֱ0#0\&AGBj?#A(}0N^bI]1$ Fl%tu>PuHO֕!S^^##1\1~pIueсGGgqdɻa'{r$Dn{}ٵQ dV5zpKt =/ ,aj~s}Iݤ{:%IZ_y.1Q,~X|QNϕW 1gYZ95587d4170993a956518c59a3e6ac9779ce0057547fc8421a194889d814b2263065ab8e04edfa5ae 17dbb756907857c7d44e7b32d4d1f9a0c868c32acb1dd957946b6bed1ff8dfef5ee9944f56f263e2