SQLite format 3@  . BBh77otableisabelle_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  >%,\l ]S]HOL-Analysis:threads=6elapsed=275.022cpu=1170.480gc=72.916factor=4.267zXZִF! `;N]ŗXf1-q恈a.W>"Aޙyģ΁K7!@c_u'QzqhIIP4 ۀiy{_ l7Bj.`VI9дswn<_\#Od>]Wbo]y1A8+\4eq$(ӡavߌMLͻ758$(?SUH~YOv\u i>,v؏P}`YgEj;k/JNA؉e,PLnPt/Ʒr.?3U~[IdO.5u :;vv3޶%HR-#ܙӉ (V`(~׺(B6 Z֯h5gkƾ|fnk2?5#4ӯW%}Nfv{h8>xHá=/hݽyf:^e2*峠u4zC*5Z9850{ƞ8Ebwk(,; j"ЀnA7{y0O0U!1S֊1F2VjY/Cs1OF&Z:A*4O^^@we|jd_]|mpά 6и.dL* 5Bs2IbEB:he*"œwGlEgpƒTJdNм@\:l:~:$@ėZ\?aqFv;koBdU색Egq=&2HNgtj75z?uo]O"@JkBwJ۾)ylаk8`Nܶܳ-9)|C:b7P*,X5ecAVbG `%M2vc ]Z=mo#N}tScɆ?G[uPi;6q<" % HOL-Analysistcpd#YA}3C00(72Va/۔dǥci)qeϗwFK`}ZDo1GN:3+z+I7n]~ C:$<'FFEsGP_v,2L)`Jd 6<`t`Tvŧl&)xw'yGu|W+an1 VGpF@`,я7EWL+CԱQ|=LY0iЏv (@dsڷU>|) ZeMݍ{BPQu&']R-~j?)l܌xQn$GhP4^z'sYJC6?պj۲kɟ-;Ki?k2k#,k\`߮"z/1?^O#H}oED.ڶ9O\ >G5_uw 5uc?ҷ>SH|:pr5eNա]X!GeFSܷz-o+#'B81N{e/Rdm8\WvJgLĸ5ŜB2m0I{0}&#iSCc pЈoUcB T' ڰ$ If5bMbu곱QEhђ'ak Ay[_m$6Ia~"-!uYGAagQ61  ?ȁ0Wx}q. kJKMqtgHSEWxYjr?mm2JbnC:6ak"&uCtwߪ :^0JyOglp bq`EA8շ_<.tN,nah_dEm)menxtGzaP0sɳ4lE-\-^|ME~ ;"v0OgTTLT1O+4EC?AɃfcr/͗37BEl\vyšqr4nM) G-d5hOѭv/QGKP$1V} "@wF 77Іwfдk6IwPWɿ,҅q>O[^rǠ +EWa<3>`٩wuBEu7{]/FY1KLbzd<[mW< ĂۀsnIhzd9ՏHJ5.Ѣ%x:9hq6oݦH/%pqpn,5Fν`1>L;pCpO?]"U" &G/LcNg&(%԰}ʊzF\ik[mTw>삮PZC7xP|ȕ W{dR;e08?~ ='YRVBze~$GU;CO,,E^1)zOj%XbFI9+)>nw*#`^ߐ=Ch/\=-;eI=dVW4c|:D?Mv[ۆ^i$H#+P~0WfRv;`.R. 8Њ0;2lbNd"6 Z#)mRK5 E$Gp:ՈkE934pʨ#^,m"7Cϧ֙˘ V:`,@NNy >Z̽C2 ~-y-8XEZlހD(Kp]Fj]wImӹpja)` &ڷ7b?Kl[ǽzEa;Q281նtmN9#M-6@P霵-_mᝤo>dg,U^eWY'q s2 >.j̪wv(PGObm-4 v3(9b~JچEQ_1lj# *رgR;ۘ#!Er'CZqX}6Q=[R** r9]`o;kKċ)}AKmݥսퟂ~w ·†]NIV[̭d;tSW<{>BV..vF F20#^݊$ I{f"H~5f,R*)w96{/ZR/LPEIY%Y *8q9]ǗXq]].WTj}SAebU@}; Ϻ8 V-}ܟT#0jOs)Hi$)-[ 8QFX&푔27tk8WSa !w]U*N|t|8Ts+r h*4 4"YB[cY ˠP2# 0KG{A0V+©CdTz,IE7i!x;M'˼ l fpJw6FRdUK[se8{[gV,'˃3ݼ^5TI(YDc[8uOw?j:Ӝ43b#E]tP½/A03 36p-A0Uy(w~h=`icfom2WX |5Kda^fٮ21= CD9({1 \X.A~슖ѱXqIךd4$ݑ ߗQޱ$xvHveH>#Feؔa(":v祉 3j.kQ":m\c CMA-;3.k&148W:ſ-p"t/I1\b\?ZWpAG_c@գ6+ A8BBbR?[u6ʹ_L+2{cKϽ@΅7C|A 27iZ)pseifRdWe~%-Ra2~FÍ4;kFAs*Y+Se݉}{K`%X R p-ӑ%ӈ|X:Ac^]mymo9S polWDOðPbT] -AEasgygڶ>?S*d{3iH d?>^4#5 Ϭ#REPE1ߑYo<&Pt 5 ebcEmLPh _|=5?9bB{a6dipV](֓l2wM1W3_A$Dj   2B,;|e,$Zbo~kD>@pk՞@tMe-, Xew}TcQ@P֚BmOKs&ZGIiq\Nt&z ˺kVwZeSe4)*L` 1/RE'8Xs[g(%I_v9eP C$"a$?jOf%вBˑzqaC:WG eC]Xd{J +/CV}wO?cUK¥ B'Ơ:6s/ 5(\SưjȋsGݒ@MDZ"vva䢣t>[^V;Iavʵ%c^^RX?{q͈h*e񒭶c &U1Rmh[@uS&C,ً<('<;xbO$n7 vT"6W_L ZYQi4Bt?~yPEG+OMHOgmQu5 N~|b>JI>k/\'[ľ 6%Xr \i$ 6&V«)[ky6HM' 1>{NCVrO:H0-GUaRq9t^64N%){ӹ\Z #? TyvQ[4v}b¨3V0)n a?(T핻;{,wY@/>33au9K3dG=1EGUJzGbt }I?fXU"+g=\w!j:f 1Uo؅zG6gO%X.ErJ<;asaiKm]իM<ج,%.Cm%]8s[` N0˗}PcXDK*W;R4m~Llm?a.ܦmi+ Uk>_GN%X єv[J.M8v[M2d} l L|Kx@ Iu%x`Z&OU:ߪDf^}^@_̻/v)[mqihxd7NeH{ SP^hNv`"e!Ȋ!ESTzDƴ~[X  ҵKded)^SDb_b@O:m/'dky $t1#.^D~rtOD]Isx\ǩj(r~Z);v(BQָMŰy ٠xGtJ1-] uz8V foP;3e b[A+ˬ5uYf@A9u9܉3Z`g\8Ӈ)`eJ*t:^R^oEgI8#o]&@ gx Y+uXrSZ O] aKگv^S6_ZLΥ G6xoh6:E`c+ChAcO˼xыe @oQ)%dS)Φd%;@9siMgΌ( rLXʅ.~FyAכR͖2p3t|Ƙ2PŇj^uO0bgI(I |ifνս ]ƚUÓɁ즮04 D$ ;"} Cy\,26qz@m PoOxzB4<:uЎR2L6ݖ !7I3L<+^\ad]G;@}Nݷc 6u (lTwKK>˅5e ^&T}^t_߆-(,y0H@iЗ^|ZU0:R]놧Ϥgt ߲+ jdIǀE w&~ICye~,+!m^!JS['`} 0 2#r\3j/e(E> ʻlr "9]9ޖz&C )V'RԚVCyu_5Kčlܮ=>wIi(oS)'%\ځG羮ʓlcq.8,wʓI"ge5Rܛ'!ٶe >0' } GA7+&˨\Jye\ T1)u:cn(bөS/]v[xֿjp-ǽ\暆?>R{hϹaŤ4E?"e]H'5^DDFP'&uqkA|f!B{鍤.$4 %w|D`sW.Iͮ3w?,U%\8G .A]k޲>Jzgd'֎fwt§7O %74wA Aw\02/y4]U4m`v3ЄK{z* ~%97M2a ӋZR1@ s72NpI[V4Ƴ/LPxfҔI&]zwv$6=+^8))-L ]V5W.AK||y^wH #X#6naUakkG$xq rSȝY_[<Nܿ(Ri.YAҞV󐾬(~oz H.4?%Oiɲ:X9a;;lW6&6E?Rw83!3Kl`@4q hzùLPlHLs>N34_v@W¹fyFֽ0!*H֦vIwY A9v7Niv<:'!MLՄ.0 :QȖ9֤Xḏ:zzZ˸ABJ)iIE5io9uw6|$3Z7%Oָ)}Kc!W/+ @E3:T E+߻VM0= x4epM0f{A(0eXiD8J3ࣩt,M v.,쥥0Tajp(xb"WFф{@` Bbg,-ToC,S^Pb4&0ׅ)S?!?0 ӰsD6ܠmZ-$w5k(&uDOX Axb媀J+DӷS\:&H]ֶ"җש..b|mCF''*[m'3QH zZ=eSH^ĥ$aw(N{FÆ'U&S//2"G*`5NĉjmES}$  AObPbToZM4K<&~_틾dobe%  Std% gEY{ S_6'5&oELJt1=(Y[ ei9"]w(Ψ{}& IxMl3h* )&38gČstTDq⏦/! Ii/k XlwL#f3#}D'ڦ*z"J|&Fݧw{\P0SZM2R^T]60*|>)RDLqzuSfSM׵sUrh]c_3:Nm,zQ( <Ȅ;4/>ٸM8pMT'wB;>~YKg o Q_H^iWk*g{~ WB0nV-PUSG_)q+ZtE˰Kgc3~EzS 6ŔNcyEk0{/(Zj*JK/`j$i'^N0eGk^DpvrCM 9 j][:x_ ndpD׳!Ηz*^fs{(:ϟ`bV` LJo3Ŷ0u6B%1;޿߁ZRRqߗ?avffJ 7~rgܜ(_pp-!pt-d}:LmMk~ZX*EjJjÒBp{" D)"*9@V>-1l0^sVcl_lKUvzvy)4$0rc*ZXkh̻53-N]D;D?̡+*RS(Sw&NĴ N [oG\Rt&9f٨aֺؚTg3&C ;c8kDMqouVJ@L/}WCg`\veotd:!,܏Ĥ )` *A(ũ[쾄ae_ᛘ΍[~KO:?xwL$jM2i}4}"k$03t&Z৔ N`kq{A^iR3 U\x:ۜ{y %LiiR`TS:G&[Tq_rO_(CB{8MkHh{xOYod 0jTEC'!x]"]#Y?9@my+} =CIQ!uF<.P0M؀U$=Ź:1s@sGXU@#9;F̊WR3oRfA39} ?^Jv"+=܂_ӼWKdœLhl9BS1Eh\Ŝ}.̠NayJDe̿uFIbyfv'iZtT!o7dcPv}ƙqC6㨟r`fhdr ViÊSؙ-f(O}2x[cLcnF>EmP=8t~Lw|oڳH/W(Ӌ¥ ]1D]eJ8O2dCIsvcSr / Z~үWP d""s3,^gF?#R*Qd,E 8vMkhWܬluEҢpdC~ڔbȱ-{ Vb %'3:ylޚI]4${G*k/{d<)\W!:<ds!^.fT'mꋠ .3c@?RR!2/ҿ1?/LR''Aw>=,ɻF@]pxPY)qjR,bW,Fڳ.)#Uv]SL w楫'JK^ƥdh|cUAQ*|-Rn;#|܆X{1⾌eyMKj(T]9~9;ʀ";F߭޴O)d̷"@vA1 $'A8䛬ytSiX< `-}{V Lłq$hʊ ؞Q;L0u %->4[aFvDsB<XR7'pN(Ɇ, =x,:KѽQ(UW3?"x>j*)?c$¸ll-W4,:pH@uzapIy}q}shW*l'TָyQd:'ukېEed!PW}ξW~= 52?FTc4y [GARQA謺5c.tt[Un)  YAߕh ,Hd6H.uŜkKLrbqS|ϡ\ԃ{PhWH'~K$K V ot+B qF 羒kA}bw*= dAazW;/8g(}p^;0xxMa@_ 2@1W$^[J4[5SB&W:HSA{!U82.Pdw =`(9NR)8Dkv,֙ =>q|fI#3 ۴5z≰ِC1?J˾ 0;$8b(8hHVP׉ݳ 6xԀkm&bjzc+4?R8(v kCgYZ7zXZִF! ]ŗXiɟ1 xupl[XrJ>P9qt]9K6w8CTpˢ^̠ICVi&k c]/?˙I4^=}Jo&#$2UTԧ8`dW´O[%Ycn6BgxIa p`9&v꫕@Etgn)(D>^DYǞɞBE^ Ne=0l $|eZfXix$hCo ׬0>Z5/9dK7bei7 :mOdNɮ$^9j[j4Eyu,ƥՒQ0[bJ*sAs_T24~+6\4 Qn+TgĚ{r!Z7/pzPėAp^N;egE M_Tv4E=$& (M,ejt @h2\­yE`,H Au;$%BkCb}^|(S8hX5U^/:4ֆiW8CxW|xP?4бF/g՛b3G?pɖ8{Z%ǮHY5c(# jzoz#. iU{ ;2e7DEzd C8~@U6/猶RUbkreg_Z,_U<pUٝIV|9zbAiuca>и5 )]" j浠K]XOz.,OOeKAOdHrGr&*pB7L>]V/|rV-;" et)xm)Ĺl t_I56h@*x9lP@޼L-n/W5fq@t viOuVf縮մ 7ImI1ebd".z=՝w[G'H-äH%'c1dBkM/s^5hlߗ4HG+7@$׎ KPnX+,] +hSڂQG.hZ5RUozf&TU? [dk]CןoB1% ښbH7_b(ry Ll=jM _rRLU! _òJuQd!twRqkzNu[35~ѭ%O]P~!$T_!2GJ4e}]7dԁPIS勥>Td&t !ݴR+ό#>F9 Dm qup*XLԎ>k7BtSVB&d`$Lnep" KDu"W֛9?(\ctYuYK>(ik>zw|#Z=~O h Je͋_ A6>;vRMH0.%&Ep-w i__:,>%%3)Xs0$2" E_]|Jϩp`K,:R15Ջ34"Ӓ?gF6]1 b4}4 @tGSOK:w`tԖ~WU]KNf²;UW/j*9\EF[ޣ=rӁzYZ lEv})#O[W Z]0i]pδ7 b>AWWMVʌ%7"noW;'LI2\ >_pf=Z8xZD }\W5[7_ܸNHu¥٨H3 P׵t-/$ K319[=n:t\DצpmX>oNv& ]ӵ`-ŗrTOs|]EUEbg6bwco2u/3t>Sӿ<@ H%iے wv̜06c0X O30*?S*"'Qn'CG-A)ylSjqt'CkRÀRr6DJMFAoQD  `%P4.m8o8]DhM%Ae =P0 %7p/@9™-7 Q%lAh1eBdOf9& dV;!]5՗s=*P4E0~_[%;eh}/$u؉7_sUy`eĚ"㛆h^v(_n +;Sېul+ k=Jߩa;[OtAO=UOGq2udHrKqW5eU0#X#0 HB £OktԱCm&ј1PumN6׾նg7؞0b(#:;l?u)%y;P% KX 3 zP( 8hstע`MfmB'~lsg湫_yɒf4ޚ.}*< 6^ B=`3U} |:: kHn,D:}ܦ?NȯsF-X82vZö7-v`,M)W$`: FXjO:ŭ~cө-oB{$vcNSΗ12[?'^˜X<а-E ʕ@ d>pA-kP֫,\"|. N_b`‘c+TT)JP(6v ^U'8?&( s*wheMNCw)h-.vQWp,mwwQNퟁ6x;xe1HiqEsh`N16QxE9 8MkhAd! TOfa*Y^ޚ iC˴ yV]?\6i qM,ݻ], H 9nÁCS1kLzُ2H]Y . e3(DoZ_ ='k#Iƚdr@6s,ࢨ ωoEht; p10WRWN{UAi!0O̧_]>Y;69 u1ȟ껱^"|=VO:oȈYRDG*!"X3\@X6r%ժS&~$|*p;L^}X%J`:COC4z4-Ǐ>u ) [^]DV:arM \٩ o?Tet$Wޓ9:2;仫#){<I_|\f% Uc:COh\Ql#%;R 2b'z籧 aOL\4bNUho"?A9B&ɀt U`b t #[>EX+U!%dnnPsOB_B}(ZZ;#< y&xs|%g!.qY7&eBm1lㅩvL1 ]'8PdLryАyB231/j:$W5۾by^/Gb\_u妪\+DV5=ZoZ6X 1iƓA—!_,'NɃCt4B)CH$ViDY| XF"ٿJ?qӣ\ pӀ T/g,3TՈ2p,: cT4SAQFo-,w040~, &Yؽms>sIB𫸉B~>̔Փr^fG}&z.0c /c5**5U,K<2^FxsT`B ԭ=[WJF/On/1F4u~J !amڶdfubSLlWC!3/ـ/J-@&R&:W, ʈ]'gYP wL CQ:Y=Wm\8AvIS*2 5mFmP`Gʅ'l Y <YqWĜ{+Y^&IPUAu|rBicMY0!a֡"oTQ@nޘT"|„(:mOl]6WE~Sѽ,ҏn3$eAӫs b[:ج)5υC̨:dAU}Eo7h΢r1FrV;W fqS71%ܸ)SfJ2H X!Q[h.o1 ^{C 7Pw ;测;?=I$HunIg3{o;65ev&T TO[w|B'mȩ. ]uBڞxA)11>|?= 40=T*2ptAha@TR(^2\|BqOLR6y#,[@߯ |%hTp4GO7o/NݲIz,9Mr896Ǯ{p#Fv[4/8Fr!6MF)qfBb?+q;I] #l9CLHP؛vq{,CHvk;D磊}U"TjqLzYP':F. yȥxt2s1AkGY{eH%o?izQ1bnЙK Oqd?E> mw 3̌ $@~qƅG #3yH]k*;Bp`У'=MnH@j4{9=L\ʖgŢ0 Oe\Ux_Etu )!8-f,Z1PJ9}-@?#l=wEXE@sf/ KV(6N{zi f\S]בgp*,1#68%]Qk3]|hy^V r"ӽhFH;"au]d'FuޮdH|R#sNRTW y*T <7I|E]jd-) Y^ MƏt1< Ձ;)wSoeem&A0U`{ۈdjXq t!=*K4SЫpg3šfpُZy]FkHWowS@wXt8^L G8kďK} .OS>|מ=-xCqt#,o+Mwe D#Dv Y)k5_Go)ˢY1&B'ٺb>Xaa舾p S~uX`" aN[dh`+܎#j.Ib$H2Si$v:N'뫺|yKJ1Wogz<WP+jڒrwdlkB^HVarQ#B*-4ؔ}60ޮ1Y^ Pfwí,z&.K /(B_ Kz  \;ܪ%#fN1&XﺀD@7 IeV$#Gq(qi Ɋ %֟NNh_hEd\"["k`z("js/{ בUHbMČHnFo3-)y R|jS`UG3ݬUF5ԆcTv}3Y!{|:{izq7O4p^"8feXg6&]T~(Zt) ؏Ph(߭<*YϓŎ_)6+C 鬹8l(S/XPvF2HKASgJ .llR h4i讝id4wȓQR 2 "݄G3dw}?EvW*ɕޝ' ?l뙍C9I\vd|!8uBc˝w,\\e:?1NuW>ƐX_ |B=CwGaIZm0&{CM*gL2IbEjpc~li/x>Ѱ~A06ɇ%v!p?s \Y[U}&_*Ex Oމ3U2NEFꢠˑbThle˝ 8lv'D;zF@1'+nԪ@Tq>\fϥ[Ӏɸwh0P͛TU܎>uB*To E8IV:39XfoFZlB,m|-N{e\A]&{fѐbS|[ؙ5+ߘzY+M7X9u:jFڒTo/?=0Q.=o^fzV~^U{T&+sDZ .2CVH>t%[?2 T\)+n7ё6Sws[KǻswC960nՖ QYymb1Oix0}DBG)!;X 5>5C0 UC,x&2YXh/ԞcٚWNGIK_\eP-opa;&Ý2HpkLJ&l{VQEƀy4JCC 7ym5|37y~:Q_SY3̧fnࡷxJ=|;m)u4Lzy!}bF 1Bԟ${CY?4I0'75 zFR7vBCHN />7 @hUse d:4fť) ")LSߎG 8$)aiRq?K')BݭŠC}|>3xrI<Ȝ&25iz5^EJNؗ( | וO{/u{n&*]IS޺q7 $0^a0z-4؟Y,Õ&uJ=m]K_fEB$ye<;PaFDSl:P(T-=XZ`>Lq?SH#sg`J׉40C]yy]>1,3nh`%9b_2ut1b]t$6~[ 흺WS[mNQ =1X! *UX=ͱ{Fq\\m16C#^@>(t*I%0ZPKuqR&Ep|k4aGw$oU܅};TP)lޅßjln/ B!d;yޘAAKT6*G5-S?)䤓]> }eϘs =X$_/e_V43sYlA#BO#i.]}U:Ԟ'.X?`Ȋ#6ux.T5 סW.kO!! Ay&䵗#jp\5jPJT봬$~P#:.u|gON#ԢTa2Zj-֓9+6n/Rʞho;ʹ,h^E,5i=sgd>|p#aKke\B+rJǼK[ N%3A?8 \[B`I+|*)8'=^xXIjVx"5 6lNj('n!jEP#D,W)`W9/ٍylxC1 N[܉=bco-➄¿5&W,7| \Uoރ8òU_dͫ(UMeo}<@o%19ȻwGtȯio*\}5j5"} mgSb  ׸wzf+FN}dP¼[*wʝ;nhMZpޕn?@@V֬]n7ۋ9fm#l)<$/*5 \o`)g[-_JNɶ)3C[9:Oޯɸ]\E_IS9,l-ẏX$(Rԫ1mo4Ӊdz |mjY`voU =P[*.[ӌE+vW&Ic.dk]do*, \q)+;Ҫb~!}+2 V.8({ 5V|r9p P),FP\`b>^òmyAuLI wJEpn@?6* e=^)9^MoN%E"q>qȦV*#$H;ef "G-ȳ' _@MDاi팻_5< V@sQ[ ]X]_}74阆v8¦d= E IeB幀GMn ^6\*+?G Z8=sSqا16,Q=1<~+p` q gqg N&ꙩ`DT)vi@ÈF ꏚ䜼Oq^$<{?.XWceK,iӱdWR =a kk(kKR ׄ<|XHZiL@(J+[:3swr`ZAťk'Ń`["֖.P9xOdB@$fXxn/g4X+VXiE(5aa{>@7H7^ $;{D-oa l7Ϋh ~3is8dNCd[j#4H8-Kx#FK,+9?.gPAz7qÖ(Ғ %y7zE,46HϚO7uTէUW92 AAKM6I<}ǢQAob_'{~ /,y>" @1Y`~z Yߐ8Ɓ] "{:|cR18ˁuAs^ *1*['/+cI,OxxvA.Rϊ4GX5lj7-9qOJIcz|%C6Ö!@"zuiOŽ֏2 wpe#Z`]7Ȋ&SP^Bp16M/ۉJO/ёC'_#R'2E4@`oCwփBGrŏ9,ր;6?`ΔFmF0jaCzBD%7JD?ULqr,q/ p ){Rw+Fh:.׾h`Y!-%Yj޶ @A"ĝG03{ѷu]Pk_S( Cm[ PB<9pSs2K:kbu,Jm -x ac4{2 M~X #FCznJvޭT榆"L;SvxGi+r' 6Hljmt?_CL C~^8"AR'μw>Rb,bzo~h}(IwZ@V֝xn=":Au~k;|$J &֘6'iKTR%ސbb'%og.9ZT!8$^*CV$h%7KoyD1D?^7qObiE i|44nw`Ј%,Ө*Nd=qC(D EK™rzHG1.:S{ڰksA}ib(G @qi Q -bTILqFp.\ya X_ҘXA!nk:2AɝKv͋{ּ;lRTKL/;9{)6rU<}v阏]?{Je^i(=ס+pxDmϋLKHQ2[KҦϡpV)4`f\s ChV j;o}*u$ ^,.k:=A5uGɘ;S~k3j7;q^Ui8U)b ҮC0@u?=)=V?PX׵HЈarx6/'bN)ñFZ-0U`қ5ߤЊ~.ހ4C.WX&Q)9nN=qa,TT]!빡wɆyl9d ^nUb"6I YWEy@6䤑MEHrV)J49Yr*A%XdBc⯹ܖ5o{8x@ԕٮ9à8 95م ͠knh,gA=%T&cVl53ZU_ES/SXyhQ(VɪRћg 'RTS96䦴p8ąx1w_\Xƌ*8xʑ˲̲-O20(!e)OxOHߦא ü\q.P]Q7E|ֳ:9kuk<_wh6^C{yP7t-I7,'΃\v @be%wB-4JVTY=%Wfޟ L$bAIT.u\SR]즇?aT,X־7#| :HpD)KƁWA>H&`6M ppZgq'U&ǔA t!B8ȒAluoaiX5c"N=֋A?L[n[Ɋ@(zp h0e5>ppFo2~Fcb&{QnkUNp1k 4nq)9r|p۰mU#漍l EӅW&CO}((ũ؜DqvѾN* WaG5X${r ]QNyVץX[F@DY}vcG-¿ xZP>mk;Hq*O> #3;zFV܁W,x{_ ~ B;I Mj8%<즞 O5V6o#@◹e˟d1sETbfO$UQEu=ȪTչ>~'j~plExp;.vE~bЕI@c^\6doA,=Q;A|qٹ $a_rdfdbƩ ݙErBϙGYjdq8-?F:G11=̿R1d2x⤚U+3gbG{=u2w()$5ӟoCz~mJ[p^T?`X\&P",#t[Aw mr0#6g6kX=7~c-qsN}`do[7"o$RɢxaքA?1ɸ.2=H ^ g0 r?[;Ik"@S;7TW^\I6_/׉a8%HKY 'dƓ;=^v==gZ}ɒ{5b:1jjK˱r,/:L_^-]]_z?d2.;$T&ѪRVR)j馋_ y,NO4*S^>_s(G@K}tT$qOXm 3}o <>n߻~FB"ȏ9ѶSjDS*]+_ӞhU0¹[a\h3pNQ8g$yJR 9t#UɗU#\^U[>'IFX3KR",sz%sQ<*g̃"N0y/1Smw!ܲi Ԯ{'6xUvjܡ$H|`JT x$*3|~aڑT I#lYipЩ5 ̡\vQ8$AK۹jbjr6I* N7*P65$֎f!j ȯu8(6KtE;;dKfۈoz2nwLHCPUGf]ÜjX+h2O^{h;=mrU>MyO·+ac8 PWwJ a6%7-mFUEcb$vM /UAT#)B&&“-f%n? v6JqzzKW,T[O HPR60g\-d薔X qA.Sa&:Jte* CNBz("z=tHM\(A9Y ^Owb3D7:/@`x7t`|JZ=wSZ7[/ŏ S Lͣ&oe(`1[= O;b[_wc#E"wm(¸R$zyڐfQIk~1,}:H@{NRC1QdЋXrM@>qn!qƉ8wAѦuȀ` D=a R-00D5q 3Svddj=;% ^7I0B%R&>^ K@ HpلA: hwŞ(k4^TQu&w G*Z cκz9D;N4W@:}6|.*~$ =Mm}uLsVT0U<όF?>ONXxsfgc竻4,v߽1w6Oa +p丈;}yr9ȹksvQ5wo‹0rGpȱ0&*r |70*/' ;Zcn㷪][΍I/Ey )Cn-:?*moQI@7˼ M3hpCH*@eb.182UMLsmKrx sŦDždN%k<8}N;Gi[p_> L>RyKxBK,K#v) *6l4ZN$QԤn"BǾmOGwO`T%|_zcM-B"˴?uŒz,,Wt<s8~?cv&TJm!3㺇bG6,_&({4DjEP\, ] ЀfcS( C6uw*>JWbf@w˹R@~MdѠN2B?{9$`̢E$optzjW_s3FOG19WG8,TD ^o27d@$7Q+ 2q2X^NP })|z <}g],AbU Z/NT:v:Xewv5Lw#ݛ/vE)G:$OKiл ryr'ry6hU4o%,.i |Oz]KKȺt9Tȟ3< 2S0ӢȯcBbG\!{+1p̾>KfWKDũj՝s=в+L3*wq0^M>u+Ȗά .k[2CщښnG%>U! .r1"{ ?魯׷lPn8`WӉ 8?wF1HŌۭƨu[_R2o)&DS=.B}_h p8ira(pT:SO?CCJAp1OwC]~,QaMN=%᚜H=$qpnoC6beq6M9rP R."й`K .i׭xw'<~uQ͎<..\ęO+aq3Z/(3Cu.uWgv$U1|x]]ysLjz~ i:?$>FYֽHm,0Cys_G_dzV-A!\FDf]4U {A/7Y:*H6 ,3k$Kp[ V/\-])o;Je9e(aL=aߛJJT@ƒ):/fI_j}<" 3r% S1#gSgLU}Pe &N*BLTiP H&1):xF^$$'PqU@>=bڻ;?%0LHihb2~{FʹcY.3Q`]'nj*]C#D)tf04)}!"ߚ$]qlmCޯsK_b=c48( 5vmk] Y%R 8 Ei?ߺZ&dP/(*惈^%u1FuTT_x6i1mUO]^Pܕ|z D$d(j^ KWJn"VʗARݬL+RA!)Es㶿#,ד?dPڄ#(=dDl2wb!+涀P2H=1 V5y_>>L. gh$@3N|7EC]]BhVLm.*ҐD谓T:ͮkP3RqG~Z\JvzoHM x F+jEZwX#K,?z3e/2{Zkε^0cըp_ ;p 5E}eAw ,mָ@2av=YS7=TPO%ɚ˗bA!hl^Ct€Α>N&;K#ˆF4KXFok`! < z@mmQ7u*M |AeYLU:[qgbLs`dꍪU Pn}{z/!F )% Z732(nR/`#5p %~6cn @ސg'D[8ΘA3`>#n(9I#҈gY_\J pZjܯ12噐9T)76FD=HWE $>k/,¬tYlznD#,A~Q1f4MRˎaJgРH{Ya*8a*ªqi.A%E9A\bWt GK0?lx\sLpy2H0Sg̻J*nōqs h B(.tW2ځb (>KI6pKwy,SOfCO|J_>w&x(t] |O Պ R` y|Q]Gا=Z%VY`?JRǭ==|E5q! "ء0ZִV՛  s[{uV]dvUm>VKA֐P-P%:K ފ* CBcuo[Zq{檰]$cudDoȟ Җdu{(w#"CRP>V//&#J.rz@9\Yi{^/n%vA0#YoB){9<)mXo8=AyB/)).oKY\3_x=V|ml]H.<|KhOL_/dI^egNҳ?*}=i&b!pR&5F۔D>]tE WJ]Qp%+|p:זL^ @v>#A'#INeM"N%|B