SQLite format 3@  .  YYQ77Atableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_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   Q1l| y% HOL-Decision_Procs:threads=6elapsed=210.831cpu=819.520gc=80.620factor=3.897zXZִF! Rm]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)^_[6ۃPobk[{k05..٪u;H .|Bla R(e 5?uIH+"⤕ddI^֤J ذ . 3-aG3 k#R}y~Sc paUWȃ*#b ޸:& 龓5C0kT-ٷ|0h*%멆h2}B I|-J 2$WR#4*zqbuQxYDZʯ%n(qD~l\? -WE`4A cw7~ڕ>/;12:bN?9Snd4ԧ5̈6tP_{>#'pnN-gEsp>(9'?C1#-6\~DյCS b*P5ۻFzg$2r|"jfg0D`ゖگڳ@&NQ# -` ɽ|oPV_=)pIk%_;ۂRe%A}L  1 HOL-Decision_Procs.Uӝycn5 6x`{<(cͭmcY!z[Ԏ#Zo9pbzWʜLlwkCUv黍qxLkEr8"L/v ƨshs;~-ʣ iEs=Aho)L8Iӵoݏ芞qf4꣹ QsDtu jWsY&M&[Edgka=ad -'H0cj`ޟ)xs.Nc⇐5SUH[%p՝5Ӫ')ӉJbGT`V{-+Mimlwz"*\"*BaxrEt 9Zp0UV( gKP+h'Ncz.KP@[BMRA󛔶l.?nLDÍAM̆Ԗ_VPɰTMoDq4bL2̚צʞ?Dqp96';q_ R9*¼S sM:3y٧Ǒ}+Ԙ7\F5T $LNB t&V uF$jnnGWfw?vͭ]X1C3{bg$~. _OD+wG'MZni mi" y%sf9*VDI[.Tx}Eq68xWӓB"3΄x&2ƿ>1 A ۴L2:;?y,0iNykh~4ء2yZb!$ZRtb_  ;W5QiiBKC1F\$M c5>ZPP4V`o:kao邴0Ε@aXxYPDj7 Nh4פOъM צvj;|gjTڸa3x@>dH<+|zH ݔa+r2. B.'l%\<ϬAH%ELyl@Ͱ{9,s(b2D/X4BѵaN[犥?$b$:/=n[ Ն]UWax]ePrC ۤ]f \*B0pOFk`@\YdٽH*Tk{lo٠`4I{EV;?;S?Pd 7f3=78WU( xV;^0Ln²2.]Q.a yF^=Lb/׸lW۟ %oC;L%U,C%JF+RR9bY*WjWɏ׫(}M]My{\x֜>ͼT`tSNـVPs%*"٩j?x㖐rᘐM%L7H$/ǖ!3M_R(;?.K_D:2f` }NÕ &3TKz4^ģz{Aߧva}I,BuƷ){ %!X. D(+<ʊ: eƫ΃*1a|d^CG:(9_㏃5j!пxEe9m̧h\N!>z( %!cv~!b[蛤(8v1+Fvh 5T`SW7X SaUv0j~1t}cԸ]$b3O $T.:u0[p'rۊra8[bjFiuzIm t֙lVRsi^IG2f-:mCF yj̈]jOt {N~'/C<۩Ú\bWx|f'sF6mGLV _j2! ue :ҟpʸIB=~?ܒK,Ƨ,5EQ_y 7Sb~28 4Oա.@A+t(P1Aei)R$HMM; *D15 =COK#2{'5>. # .<4Ye%Q)tOuPt?gߓKm\QT.s(%4$CO  Nm2V02; \+כz4Ϻ̝`CC|_qftwu)be iֿw#f@X#ǕP|5t=k{w=Ywؔ aH3l,W=(u}fc#иw‹2 7ccx&zX"ۥf .1,A< d%Jga t ǒTWf;pF2<]1==CSDb{\ҌS-uS5x5amOwv7)1+Mbm!_,sQ$LSiPb$|vyii18^.(EhI/rsJr:"M4'$Pv8]yDKs=UF~~%~%JU+;-?${XyT/!6}#o ޱ6.!pj++3Yk G7ꎼ"K EDWc y\QXdWG fz0"Ơ]Cl^  "nMBe؇1Y E\UP²o{Υ9Lrp kxV+>0l)^xEEup_?icrѽ\4l@{ mVooOӡ$.*.%gs~uYE3t piVTQy~@\(MMvD[ ӻH\a'C89TV h9 ƺ2! ~^p̲XW\~yֳQ~)_?H8@"~]Al]5aO$q8T>ܩHNS CX+> oŔˊCuRw?$8Eai G.}m}\z-0j@.œz,bK覣2Z _JF8=jO6[~)${_`v+lԳ墨!n<0+ezULvtHP&BJJ+;vهq;4Y gHQwıyNrX?͜4Wź j|rnkn9DnwS?JRs'غEPhg5ȍfRRFsﵣ ȩ\dtֵu}NWZ .Ip(&&[bLJ"ָ,(c[{vb] ~i"v.ѥTIbӾh*VڇGق$}kG<6jYBIю1Ä)^Lz*tzw^S:8\h[%H `w:,mYbgxq ߾Og *qܜ} qJKEpGZqUhHx :z4#zhgb:k\vAttK 2-t~tUB`+b'#g v ,2 %tc.#J=c>Kjn]Z>ϱNꂓ)XUm#rZgR;͚On`]P\  >9bيShhՇ들UIN ln"4- Sϻo!9\@T6,tw Mߌ8%H,*2Ah a,-깧}H|Qx^h6nS-ٟ1UWoϜ~z2@KDY+JAhtR_F:$['^kF`FZI1 ;s\0녨П{$hr}@rZ5[4k c:,|9r\M+7RNrnGKWӀAٳO*S}"k8]Ky ˔569f~3 b |u Qչ Y߭g[0o7v6?KhKjȢ9w?6Qó[luxԬc4l0RSXVVߨ`t|gsV!O+t>ֳ5ˀ '6a"}KO84_u1}LK~"~P*(~$j0oCZ6w nȧ/lq*Lwx~+ÎuN(8U h=,lyҤu.h"SlV!\A<`q7o^v.o"4כt8SaM l*Hv`&4 χ̓w!2FeK %& uSk 2/Lzb(YlїWW:?+)sX|ܖ*s6*)omi`iy;;X7UOGH-j޹99qB:_{Lj_TMNBL\`.Z ha {i69m].; 烍a%yRަ̌5N@7~'v6~e(O*=ޤ Ѓ^T{}WOd"^wCu=#_c)36Fj\3 %W@/ګZC(& BԍJXJ/zql3"HӆXEbGO"L̤ClYibj¬vd]tk<.Jf!Q˲“vؼ=p:}sMoDDn_8BǸօ|s\1Ѳ VjjUճaIf4SUz\wx-pkԜQ2'_\Τ,Hw:?Adfk˖5>*/&-q$K!HuMC#[Me\hB o=Y^~>$I4] iIx@Ĩ)m-EuA JNS-@k$oIC^= *:Q7^ 5)Z5׮(:AaIY(>-[kv@(؞BRp*3?c,& QsVgR"/,X- N8=3ߣQg92KV EV($i_h86ZVMZ˷9Xfl{~YUUq+kPO[C3-t\gU$٨&ew"~v]cꠅtk$Q0ڌ73fYIٍ02X/q|[VW_7˭A>%Y2Jh%kÄ_nNQGrQ-N8RxN5! ͥZ@a-n淟D(ws߁әCةͷZ'#ŸUX 8-\t_#MٷbIʒYNݳg}(?|p&23@J104U|lwQTG#) @5(kDY1wJY(Teo_SRI@ToVڊUcac&T Ej*)g|}|˟l5 cZ=2ÏCܦ=!71ɏLt MEMT~rUFdfo 1Ƞr8&{: c 7d UUr챑5 )LeOh'K?&[> +@ ?ޔ+g |MNl u߼"gAaTI}/6nm"f1F47겛`̷D.Wk 8: g%!{]\bq DRo݄߫;K_jQelLT^˞9Y ُ3c8٨(-}DM)-眡)e[1UJI)5ճЧO1L4[K'J`Tҳ1 j;rQՅbl+XJ_\?)ns92HcA523\EA~RZ PҰHىY9y0|HNLoh 4f`NA*XLw 71:`!H,B gd|)~/%kO2kDÆIw9.?dk#n/95,]q7D0kPSB6 eBdhp%RdSQTm0-xlDûuRL\(ԯYǩFO jf~"rL\^x[.] ~+;-cy)vZ0dsZ̝nS 6S=%{ϩz#5[_I u{]r51 nĀ.}x:u,Eyш)gE(&viKJ*8E:xm'dOقU z.66^\[澯.=9}c3pMq `L"(TA+)7b\], Jm -F> buMP|ϤKy>Z̹eq2s8}K]i/:0a -;v{9M4jxBO+!M(r,zxS]`wSsZ3,>?.Oj|KKIW682Em9ehϹCB7E{~+b%)TOpm\h#ԃVzl8_GQg亲к  mQ$;mamO~p#34[c.'M+r$)pFjK17sNya'I}&Jմ|N5e)[N5̄l~uL +%O\T-X0PH:-[#G>Cu{s?딛[[2LC#,$}L dFi0<T&*aaum[+v+J!\|kd/F~t9nxNh͕?'+"B/ZțVy[U]Z6zlQ 1H:>~U_POcBvt/̫rӯ /a& EuC m!tF_m?e.c]K["+eyo3F'eArT-$ k߃'`SawC;s ӭC&0ܻ-?FdEj d8 4mӲ YƂVQ "Vw. |yICC>9J6vm6DUUv},xy _^0n3)q*N]8,E3]6ٿL Drޠ$]ĚDv7Z!T avSl9?m?58V ̑eK0 [i?Om:s@");ÓdzN&b}/R&\{e ;us6@cuiK&H)'D?y'}sls{9[>|2nE>K|e1\I Zߵ 2vuKtpnǐ#a6%ów}8.NĆJA]'kZ}NpTrX{MõaZL <)r2ovixoT!"AeF5\v4w<6K+tU-3tMU:(%.|)/lOmqKS |>@"4m.̨BTwk9?˔~W·-K|Es^VzT_)[@M7l֫ Ip}Hm)3rܠN@k;࿖* -1|$G 1ak#nY0G)o ㊋,HN VшqҢQ.CO =2W:2g~=y>Lr.>Bv0 'j@-qQ`Լ&),:F|;19Qt0*HmW>pbOAՑ'0ɺU Eז=F =^e?N$0kry'0^N4%.xjlxO.nIOsQpAyA˖c 7fbncWM릠qest2]yQ~]9v&,dgUM\J Eo0MHc;}̅bƒ1"$y+u.zSzo#PbJ'NN^S&LsXxp~s.jG]n(vu*4WHAH#022ݗ,s7O2܆K+C?фuiۘ2W( ;0ZB鱌W Jm#xmh.rHu^Aa׻^oDaC%:{&NQ${Rd  7Moc:3 l3};3 u gUWص+ϻ9~Q:$ȜgΌ> eS w~b:[̋k葘Rr+9QR)1mbVXb_!QU X͗0+8yc}j$;+m=(*8ňeiEx,xI"߰e+ ƘW8':ʺI&&i,(YvlӢZ_6I%Gg!'YuUe eOG[}l5mSs82saE/Y֞%P֦6xp$(flkhzMb3X\B z#hǩ2{/weu4)U(眶?Rcb8'PUOZRm- % m]<1;M0 Л=4?G]{6EOc^׆Hǵ9@g9WBORĴ-MW!4_lIY(2 ennAQ8 炜ËK|("6q54S(+ޠ͋. `DAh?KAT\i$\%>M  g=-U\`i>pI6dh>ZR;G:Yܶ $QV/v~"qQ;#R [˶}Lr02YݬXey>"^+L7E.6Qz?A&҄SC"-}:TK[+;c;oji:ϥ=%]k=׆ـRs& 32>4ERKG },Vhi=-Sn0MT"$_a` һ|t}ZU깎+~phx%P*XeH& JƗ%uzȶ/RHc U#\g{4A=N37,_44ʝ\ יWײ^X(J%mksbx0e pDl{/FV/ 7Vu* !Vb @r8\cK@o=syIL. 7jRV6N17?Ywa *(>Hl\䜫);e'm3dբ7Q7g3b:6rf]r-oP!$%b5 i مt&hXsRНzOub̡Ƿ R-C+ bRtwR ܀l$rcjg`TC,ǭX.3yG† #ɺg?MH7%a!@"~7h/xꈵTؾ髵KF w&*NP'M# = s-OI[8lza\"K|#DJ_ 02if@ф\dՀ q}buBn1Moc9ͣ;QfwBP>\K|asn3T `(߹|gYt׺] `F1I"i 挕Ջl>ƴlqt; ڠoіi;'VTJ;vmMt_ Gg$YB%Su rQl0rW}Cfou."N1 Uq\@<{V3 uGEzw#z+ qϭx!6AK2`h ,=è4Y=Iqg_a5rl1y:js/VOjmu,n{ \U{{鵻e~ZhB~>69j];ѬC5^!X}9/4oH]|RF}ʰm80`蹶t-!k\oSro]T3: AZg',Za"\}Im=`m~"S<DeLmv-ء\/%p,^<7pRkd'}wYLHwk:@QO.~ yMX[.[|kMIZi]߻7kdfohFM鰢4˨>7UAOA1dZqZZxatD#V#7VEFQA¼D`sS 5) AOF\^dm~_HȘY:ܠN\N):jla,b@ .Є`rmlDďk%,wI؈ UJ~hwٟQ}egd` p5W @_ͱJ >qhrm嶜"`6ɳV?aG_/ r?D~#nsTƠX3`WIV{)")xz\+Y`[,h2 lð gaf7b +cb$[j]QAr-6Uleꎨ@epy i|ayaOb4Nm#$U2c?F?$ZCϼm#z*Y+C3pMnAI}Rm^6M4W%0:=J{NhJ˰8hhdg)$N)'+߾S)yI~ڳuJ;fPxט  dxF^4S>#{K@&m$@Q>hdUП)2oC՝@(CڄBSzٔoHS'= QÑ yА𔢔5A ]챐^Azy߼5iQSJ7 .WN_"X*dx\ɝ(`([<+#|f#'Uc1OtfT*AIu1-%}ZV=4>y$.}SL GP\/wIg3ՔrxY.2-fqe.E=^IK %Zt[=L8ğp0ĸ5>~M$C7 =h w_B@lvF>NMIopNw8g{8b1hݘ2z.\<-:5t6 VnVQQ&-{RbWjΏmGe04:J+9^dE*<o~`_ A/tA0 Bga5)`{Cvl;))#Sb2PΊyi!Y[㈜$Փ1/0o7UOENx$н6H%Qc6: 3;m6q'N_Ve~k Kq:+<؃e7;.U_(H96tq<8 ?Tٸ]|h @D8.܇R) whKe0)G !3{Uq"Z'S6|ghqH:" [XG{$p V̭bts, naH{feYFt \X0$UyŶ u2-~_@hn\U$`+qt ͡`֓`N;!cӭ)[',4P (YmXNo;G gّ*{#.Tpr<'{d f26|$>׭FFi:oe#tZ)sClY5./rզS?KJ( DObd*DsQv&w\x@^0RY% c۫<UeZGc ݔRExr!&?vt-qH S?YۅChSX8G/Y,x;ꈘ;M>^*1هCռY3PxoJCtg_kΕ5X\š"+ ")PgW֗0Z%\]a0ש KD8Vm e=X=/EI2ZmɋNW]!]w} w6LPJY7::ah@' R ]5&sn핗Yk8rND$ aQ~r+蟅,e ٗs55SSH%Zf.KKfUyz%뚜 X},oZvrou)+-JuO~Ȗ[u_y}S8ng ?SFZg2|!ዣt̏ JaUTZ RxTݢi qC_uF[u`$>}Zck,/ ϻA\ +4Lt*]>:O~ K*g^q6ӹ*QlˆF :x:`2'$~7z[&*g.8S6Q?:b4.鞍oYAϔp%Om١|Oeo(0A3 ٥=p̓֒YDj~&v4꛺}4'MWj|bڇTIS94oDXh@eѳ5Lu/D@Sk}f2+ j2Vn']+)EfMr*ץO pĔ|q熜j!(3 97ɬOi"%g΢UWI$N.Nxcgb`VaN/7=ȬV-u썸%Ȫ0Bi^iT (&[PMf`=ïG(DX ½ndFSO$`tֆ"20y8~`VN lH:,+3idY㩎y8i͹wL}ZQ+@0aUUtE mQm5NLo>]vuFx|ϏbAU= +]Ķ!<>I W ٙISj찻w)TB0nokN Tf3a+\>dc]&G:mg s֗c-ˮd4|:U~~\B@Qc2^R}!;LaD!k*X@zORQO`h}Ѐ{͡WTw±8gy SѺX >z9G8WRw^LZO2"ci0ͻꃈX7o(cxw-@HUUT: 22~7#Cw0gSYUGH])|+/R{S]7.B{ mrTobRF\~zǟ_QR2K6 /+8%.,nՊߔ:YDPz/Tww)VR 3)zmHw:54&pmyF-A0*7^>QZfaQl%/E !҅"CSP;v1_="$FuZ0ʿ 6}Zr>MS](Iv]m%>һ&^F@hC^Α3o8@وu٦Ch8{.'6(-}TAse(ukI%['fy0 qߝf~V6f: {9pz[HTd%>6)/S< ?!_~2hq /oT@vCm XGyt/t"v|j*fL2%@9uE{}5|,8^D r&-47*xwd99'2fQ$zJH=b\WVG"LQ֫ܩ'%oj N3c9~``B6 ɤ qwc3jeUl\ծe1`'uϘ8*Pp:\& 6œPy"z-!komrKcm-PC/FE~=L3u Ksk/(W.=<*\Y%eq+C> 8{|8w SΘኲx7qrOJ{]-.o$WdÞ92Dp:^J!P_yDuM*dkk.ݐkG+`j3S6={ |FSwʸomIj{vSWݾ!_eی%@mPWZJوe4H"˟aÖ& mu ! ½"3B̅-.9"[DJ6xQ*<1vCxE4WNK,nw5< ɝ(]c1#Ej!^00ֱH]I0Hqa>k6>"dG4AE)j ,g-pXIB|~]_e~:W"p)&!Y)ƚsE+F{@ܟQM?xҚigT?x+\wM:#<0n~d>4|s bu.<|v ^vG.f\+wg6[ 'Jh9"@:| ݒs(~0U%}1:gi;?KjYV(Hg7UEN\u}SȪs O w ,Eu"-vƎfx쬑ΈA6&#y<(QI )seڒG\ *n ;z閰BúxFUIӣ:V7h²oMR@Q{˜ySw--sͽ&4?W^Hv%oh2[}ɻ @ &!S!q_|йO(r_v;Azv`nH@ e@͂@ְ By:e8 FqYEN钷*+a0c;OM lQڌ'^.-6+\._ k4\p ~ "7SBQzG_c0$dWd s~w*k oUfb˴(; {'FNM"'D;}zkP,wżQ^I ʈ^WS_fVmB a>BEOT鐎$`|-%h}`q[`^ u'/-F&0J bԦ1siTSY{=;naH x o!mz$hiϨ)H:ztA7<Ǧ˓Qn/ŒD3u ֕3rfA&d,pebq`CT@UaU-5$=Ņ'Q9e0#jiJpj^vMEUe[l8Hz<TC #ٶ:J4$.A|$K uG(z?M%j1c w8~`&AnPm!?|Ku;_Fm6?n8 i((jCkhEbNDYlj-, Gn;XfD'?Cymajjy"0OSP݋0 `EeNb(/ANo+Xgt-rIWM@=uL(;{w.{GPЛwP?'z3QzN+K{:Rw8X&?ȅ_e R"XUt}tٞ(G[߃Rj@{Ɩ gV𱡓0/yJ\ U,/|E?MX+ f:`1c4zݭfLDe'4[ȧHc:}>㟡O ~m%hZi_MTݚiYIXV ij>@l,1hR4uZ+\ೡ^)̊bE_?;?Ɲ:joC}w (a%xL~}hk ?VC83$(D7AF,Iol_Ci@†y$ݳY8U#IzfC$'pMU]5J EhycLȉ j|*yo&ԡ4/cm#.1fq~`\@pSL;0lCx#I㺣xB)3@'f"B;YeڮeZ@ֶFxC#ލgL\`(;YW噃(Sjsl\(iB -Ky"8T\7QEpB {hx:Fj6LUI!4㊥߅G@v nB0ԓfۜf^X?| *c ;PoZC<2b=]ZOCEh\= ϶Ŷn)(T/)nm9ص7ޖEnJj-%G  _,^ 9{"(n9  ތmShs<6`o5w0?DsUgog%ҺnӅϬ(CO Us6᝸*aCw`o4T "_xkrL`il#|=m=A`n$^%<}s|X"WGӸtE2vQ *RIJP eE3ִ~`HGJb_nE?Ej#ӈ'q+iEx<41uجc<ehħ3M CExL|&Ȧ}GezYA2YE65sd.nYE.0::K%;$@g ?wv @o}!m~4_-9k/oM`pWWEZ}n7^'}[YԠދCk~dL KkH ˆGzEDP~݆ZPpsȴsRKۼB>HspZ5 c"E>תg$C2gLF FGQJ~KzsfoOܲUKԜb !{umo8d5EUJg&ixےx vzI7a-lV/*3=Lk_KmzEN|̯uuJy`xoVΓxg"k+ux pW' glp6ڝsnޛrk(/aE:dUK{KaLF yJѨoȁ5DⷕNVd;qW>2=eZ6WHSϘ@9.UOe=o}ޚY0Q ad;BD_1֦>Zߣ]LHA9I'3(%niiXCmڔVxCS@렜6to:c@d2Fyb(ϑ+qңLo{NElyjboԶu>ap8\Qϡ!CV/H%}<(?w7=qI8 ̼˷eρfK7b8yTj 1^cX}ٲ(bm[H&G8⪻cYa,]WB2 ٿ]hPMXܡ  pL^i Yz:C*NW YJ0i' LlO rgRgKe%{LъD1~8%gpTRB]WǧP56=d?VKӃ㮊.S;8C׳et2{1JLDXhpmʌ WQ/h,JO0Jfhy9W&7ROW4!#B4XGcBc #vOHNY$-@Urx"=^=PC#t B=ƅ SPIx@z}L>W' +H* GΨзBC܁pɅ6GHYl@!UH;c] ^sq<PMNǫt?>g+^ 9AEL;j۩}zYZj2S^eT8s/JC1:O[l#(aVrZAnƗfB:O^vZ!1SхaUb D K%V(P ~}Q!^QgI%p4էvNNR>B&"dAbE7h%2xGS-jtq H _NɎͲX_>q֮So1 ۓL v9]D$ı heȞfxಮ=Db35qh 5EAn&]|Kd`kY=g τ 7tM,P8FޮEB:VIHshkMmS`~j+K eR\az'S*u(6yYJONWS^UŚ׻axE @jlpL CuL7&IM̱:L6@SFrMm\:6VT[ )PldMCJ;"DkԒ%&uM*yV3\?UƦVO?l9ݥo~I(vmR[Nb18g64oLkjfQY1o"8ws<4ANI˜"zdKIT6rC#s4ͤwpMH09zMܛ%G{G针Mmh;ʼ9э~\AQ^?EtinapO@usb7x_; H`r.Q0s|n-jU44Q}U2ؼUY>OOqNBǮC0ܣ=T>;#V#C6/!x,qԮ"u :_᠕-D4aϿRMh[6Be)p`Ά!m%ʸn PaDe~av+ѕ(C q\:8?)T4 ّ9֡1:Dpm)rSHnTn۝Pvzx'] z+$^LJ!w/cw?橜`I» nA U"Ӎ}V਴6rk9 PXVUBpba-ՒftMYv \`J"&v\8*5Rv73f헵W+9~i!V~(J{j]qN2Ohߑ@=ql C9۷d[aL+^c\ P}dY]#*l܅=)o6rns:L*_b)8xIƱx\j ;06Z| < Xá-NDeWx[yw ;7)y>^h(\lqՍms/ycIXtp7Z#M%Q'pS$_ P ZC>4$[ .e7ɳn؄ sKg;b*eRB\4fJށb/2tM]\Tm@~*=@y[ܹP6 e,gM֢"Hځ/ !Sȴ8_7TM5ܵ@O@۶" 0ѳca*e[dH sԓ\E|-zcK^Z4WsiYk_ytrx*ȈRYބIKM6'%m'v]~x#˿v !ylMGS__ٸ J J; jfij3XpYo PO?WneOcp[0`E s9y- ;m1kFөd3~GSCG臍ln2Ѿ?Fҕ3u~_ǶTԱbJ+9j +Ű&xociipk~Ih\F|,,jc@ ;-hO;~[5gR8C2_;1 {᛽q*B%3 eE`V|mTĮ6uV\K+-m{(ƽA3y:/*2֗j50@dKSw_wQHVk2'1.kXb2P 7g~f4o Z0?EflkcIܑ|%'1,ځ%TMV?'h!Rc@a.V<{娓 J& >9珬B >O{VN4BȦO(hr! .Lp>0aG3x?܃zV PC ?r͸ff<ơxGR{{SCfbQRRL4\(2dy7w c_SD{n~ꍛϥI خMKZρsKȘ=m+8֧t:aba\堭dϥ`$@5|Vw K{~OBc/Y;u.kD} ݆Fkޛ_rHz&;JHCiMm?]' {T7>Z.(K#:yc`1dE#Ar>R`nZWDMӌX{3wd2jKVmP)OK \c \nwtHYzhǽsc3_DZqʼj ÿrj,q7_]FKmW}^].&d;G$7`2׽=@0 .+sǎ5d^C0͵ܘWB?P&i8fAKp:hY+zXw\Q %FHeFZMɋD*֛n Wkܟn . YG129Ac;rYɤMXejmS,/ Ws @4~0޴)jMgy^'CRlB&>1& KإnnCpE`(z'RaN ~ѳ[[ ؄M|.&IA ѣ0im[cD9$V/} XH+pJMvAWevĖX%#P /imP&t23c'4lz1ـ:"tVJlۏuJB _W/aam)?ׯ>:-.7P\$iZF>铂qwy@e"1Ƹ/pJʰlU$\?Zj"̎B,۝.Uk6{(6`pS]2G "EHډ2 Jf)2fQ05/:n? s\BBolG>^Q] .m/6ݢ8KӉJ!dAц:l~|Z裻N'pCr! QS6hU:`ܮ-qv=`o7 Q&n$ŚI( ppP= <No,\6d$Xk&mዣ#r߅L_GtBc4)ձxȼ8zrTVMRzs&lzтWFnAO(Z-IͣyLT$+N>5yvvTӇؔIj~;`4%aPZ^8a`ANO@ȗ{z{r|.b Wy{rRE p&Ujz,Q_h IVUu9?sQ;]U%Ed0Y~.%MV&vBWa:J cVQ.!Dl}# 8:=WܣG?7<;qa4 }.ƐfA磷^bFPH|guUa_/9&;gp5/`c&\h2&⩍KޒI:;ɓm6hfl߃8qi(tK?NOPr!/>^("hT>:d;Μ5T+=J\fٱu-ɻȒSm!HjwG:39u5xt9CoCՌ0Yl;R7$^<SḇV>՚4ɵl5uuŎ2dHB`K!\y $Yk4$I߶${ظrSg탲ȣ p aUC0 -=\6ZH[&8T2OT\(ۤ^v6[>H"P@nZĪd^>Ѻ0je+p&*+fN㻳CDRW <\lTeIBV㾓hWM+J>DX2[:mS Y 5%~uc&S=z G Ī|i*:U0(dlυ&wSi$N$O cU-1RiZ8x3x6$b*J"ns`~ 92-T{9sI | 3un%J$UZFdc_ܵFҖׯ0Y)Ř@HY3UMĚ7G1o~ o!\u69LҬf&i-e>PR(|Jud0c׬XT1B\oGxQG$ޏVL8UUJ3xʒ!VѳfFUT%R ?UZ]CF"P8sC.+m1XN{GXkQTa,n!ТU鰺 tIe+`;OfK:c |H_{ M|~ XkMްaifK\̼9ǂϭ|ۿO@a\uKi˄W (P#4}3X[R=|Z zJ,C.,- ,;q) f y zDq(,яoܠdE[0:mXƫMʰ|~y1/r!ٗ5&~k\+h*kޒe<[ UwQr#z-܃#DVRwٷ"'E-q 6Zf9z/6uߪ[/>þ¬ d68 S"-`{zx)D[rr%j 閠9Spta~z[ q Jk4ȄN uُ fH1/fSD5tuOtʴ;1kHr"\5QPIp,FmDjrJXKBeoE(yaznj&Aћ9ia˹شp|֠ |b՘X<ƇBM\3dJ')d1I9( .sO I~[5<G*վ%ӄ"ɍIXGŇyh!Ĵ\ nSk[ߓ}d_{|p^(&ϿRK5!e/\f ƹu6^>UM4Uԡe!SΟߐ쨋7m2q!;è"0aamgȬ6(:UD| { "d,^g%U@H8;UW|F>\-yWا XD巬'Mz>گUX%i4p. [SSg"zʛB砝ҬI\Ԇ5j?ʊ4 f창tf~Ì<&"޻&G~pF=!KǢ|qkrd4ȑ|.m^-(]丬 >x -{ӂk ZŬ[HWj~EB`gQcUx".^LMPi*ݣa[_13Dk捳X/u-wScsy\3_oZQp ۋ I8FWwqPN<( Qx$;[@υ _`<:ّ!akLr/t.Z+ƣY^.tk`g)7C==[,wZ٫9?a ^"knrOHYVo~WͪEA3Z/#@0ڼ>'p7F}*F5=B[[_w4yn{ɍLC[8v > zߣbhB演lX6(--(0<ٺD?D #Sprcӓ[>4 h1Xub -6لC K5rˣLZOX35JtZ))_m쯧E- RFtXקh 8Է>ZHߠ\Vc ƶ3] Z9"紙;~j04JĈR6d.B'טB{P9]P4VWdWÎ!32WB#?ё ri@D(Bj.Mzb-=pm윻E|Lh c)d897EN~,GHehEk#)lL<[!EQ yfr1F!Ez#_%h+02%¥j/#"P6X<ѷV2^M_^hG(BVt:34MIF?yUߐ(i0%ƓM+@.|(tpk z,󫏫l bF:GZUUTm|;zH\I05%6<.6jwotXɅMʀ'5drwupKн8NN/)]t5x)rWɚ+r1x޳,8Q)s3gYZ0311066192f628ed4f36a5dd2747b4c76034434d 03183532e7392c38a281c66ffe80a8aae248354d 0b95eae8146aa5cd55163797808ccd421050d201 0e2369879c23ffa3af808601205c5bb2f112917a 16b8f7ea660f0bcaa93919105381041d2ca84e6c 1c71fa3ad2d5914a41c79702c8a789b9c66fb87e 1d64339681bc3ab44469ecdcc6cdeb08b0bc3b11 1fd4d278a73767ccb690367825790ca8a2a045db 2186cf03ba671e9018e43760912688aba15c8352 22e1da7fbe4d6c8ea2c63bd30eee90288a1de6b0 30afac17f29e367c46142872751722118953e506 3409823eec2206aa526e41e503adcabd1945717e 35c8ed8e2c243fae4819113c922734274d868686 7c3de80c3a16af05902b9763188afac0814d65ce 830f1aedf1e7dfb3c3de17b04d9d3d48c6d80f3b 876de8274225c65c590359d882c6f08520aa1f19 8a7e00face9e3b8d390525186027a79538ced8f4 8d8434495da4f2908e82a1b077cd387e59f40719 8d8f1e54418097925165113cf7def28df2fd1a0d 8eed0d0d22764d5087be451c3dc910922d5f54dc 918c32f99112343be4627f3fd1ceb70e2dfcef71 9bf2a719c4847262ff5865ce539ab70d1e93ff5b c05d156fe9e4fc70177a3e78a84848e11f2b2b61 c2eba9264d2726c807a7b5bb9ac8e7c01121565c cd318e5bbc9752d35d3812333dcbb350a4ae5bf3 cda994d4ebb6399010f48d9e94586c64fbc24514 d25f3d256bae918966574511fca2002460d90524 e1326f80e97166f8a766cc17a414b40a488ad4a6 e8b32ed63f1cc68c6ccac7059f7fda39733ec0c1 ed14a4dc4cfe0e253f8014829705ea6b33968dd9 ffc80fb2c5f36a24e80b0a22aa075c1fd92eebab11cb49192cce8cfc67a40b73a801be208710de71 e0ede20752d0d3443e18944e2c092b380e31a6d0 c6b7ba133b29935b1451385c4b9bb112d68c90f1 9a4f434c3c8f4d269b806ff384519084b7a42db8 b249481f5ea1a064b3b924bc9205e31bac5f2259