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 5x|D ] LinearQuantifierElim:threads=4elapsed=46.418cpu=155.948gc=16.5687zXZִF! ʄ]ŗXiɟH)0%o"'@>6\ȅo&7F-]h/1D-+$RJAkMP$P${4`9"Oڹ5DZ)^T7]T82N+ GJ#0^̓UqiȔ픃~̴\`ݬqYgeKGA2)\QPGW ,'9,yC%dR(PՃ qN)kjaҕN"€/1j6 PHնarɀƜ`|5s fi6yаep \ ^B=+}H GWbOv 1K]DZ%<)5D0Ж1!ԓ*Pz s,@L`(L+"@ZδCRUliZ[r#3cᕾo;)gCqq .ck(^/Y:MzQssIʄ\5𧕡yڠ)dYLkv `) E+)@^P&.Y~xDTKsBt>6"4gUFe\\0ZQ)Ȇ )%N0\gjT %6ShLTb*r<p\ʑW?'uwuObb~@ٱM9C8{bzS:~` FqɃEpC}#ωH3T+ydiIY|\'@ՠD(C]8޲Cn0R 4h5t`AM*9gLX`1⋧ q05Tt|d=X"Nh "SK@ Ӳ)x @eO6m`I˨,fz yvcvY@7_iCe䳛FS*.!]Éa~mQ9řLw8FBأN# @sHEz%{"T^w2vWqFDFCQ*E܈Ȭ& ڑ 5 LinearQuantifierElim  h:`iS5S%nfiV  X?[ zGt#wv9cu#*h'R,?f(#MK0^эhisx n}<4z;ϴTt1oeJ!wfEf_RQ|ZiW?0vNGC6|ޣ;'jEDG$0&2]]A2^:2ᐝɮ($!~7'+%R)qb52ef˒VbG٭- ζubA69_%h||d8e"}. O,ϪhhGG&AzyջŊ˹ykWX DԐYiػoz73#39pkE uG$;fV1%66^I]o^GQpEQO\ل_ū:F$橙`8Q<9~ 3QfR11>ikiYJT˲g͆IDuĘBUnI,ۥ4?TT\\LȓjT7Iq׿'$m>:FZhmw Qg[~nNԋfAZϳan&Xd@oo(PW y>55panM٣fl\gF{j왝!2=QHtFԈόR)_E:WfպV]-MxGq<\ ߡ˾9yx.i&Z_q"z77JX˷[A-wO3LUyt9 vvo6^JP|2,ɖk n[O! ZWf;$ctW ,k互N ./n%E#Ij|$mBₘ)\ F±W񆯅Wu`(5&܇,E <ވ8ːcEv6v*p|n7'aXרC {MYΙ zzs* rҢ y?Hbo ~yKwGMC嘂Sn{KB{I$~{t3Hiy o2UW:{O%]oIurF#ZƤ,&sV I징rdj-hկ(`Ҁ2Fu aƤ ;ex6|m >j&%bԟ+rNGܓe <2l8IC隚NQ z5xX8|P`>~&^m$/ތZ_m\CHԹpz7Ύ,$l(5ľ3U΢qe> P뜟M<mbE ^yP1@!}~̆XT@Kg>@[er}y:c%A†Ýn$i>6I}lmlngQ $B' ܇Wy!N*c'LY #Sdwf?ݧӝ9oޭf<͉P@I j{#3oJϱ7N K)a#mPs+4<\!Mt9kgIcWP"0jYױLi[Bg"[s 1^53I| qKa"2e<3`)^&*`B31ޢ;#WͱJ20 7TFJ8q,/NWT+FGPfH*c<Y8@'HCaBM&~/媝qNm;%Q-n1~|= kM=ܶԅE35DgujEzHٛt\ʕɫ;at.Mu*!NzP8D2C@0,-CFŧs7Sux3S" / eT+ ߴAbWf&l8`-,p2ԗ _~^ 6E;7EtOAM΂VctwçԎ7̧* oʧoG-oq~Zcw ]!9J#eq\z'0asGP'քszhXG[??O%NMQYP2/*YZMH 報@}[ bf4bO! ''c54dAm p *g'h ΃t!(Vvhn #qG+YcBH6d# 'YX[^?9 'V 81SKqW`s,bL= Շfsr`(רJz4vȇK?zyןMobyD?~PpPY2>AM5++l{HS96"|}V.wd5WL؄c`r6 `"4\KqZ<]_WQ~N&o:|s_ >f.F{>=6Llݷ;J,cfZ̍-ZSV6 A6~ ()2{&2CJ䛳e 83DE%va՝wvџ<`ND f_<bգLwyWj̨$;.63濩^9zB^m͇<PzZ Abgci .%1aVK0eRbW |.Tn~Bq)m=wAW\31??تmoH 񽋎`a!Vs 3Fn#%GYz+m*Li=!uFW6$fT`QG"$>ȹ>IY"(6n'%rb\gW$[B-^G [Kodq[>WeX-yG_4zm.y}T[B)O,; ]&q蓫Yuy]ϑ@+kdu,kܷ}-X\W%(l)e&8bW"43,Ģ$bVntGYcR[X>[>#)*m䩍 D5Nk[.u g8r4r +:/Li'u |xu_ڗ{$%џ(6}L*x̐}ܗ$ʺǤLx/Y܉YH䌊u ?0BwFM qд;KG ~gZH,ARZ@)яZtusC½u *Bːg&Y-dd+q~vR3ȹHŁ;EA`ۑ$mp>Pha1*ƶREJ7\bݏӭ%v9ή@Nj sW,ůOlA elݚk{KoKPrlcѠ旂Q* (6 PFp&3qDXx&j]h5Qf3  ̐&Ty3ۍhUDpM&uM/@HEN)lwG 25*_0fESnQb)ЏspWk'c"H뺁jy R:qՖ7ev~v(<çwL 4 +CB,|wB)8_7r ͂tY 4@ܸ,y;95hܢio}C6pJ"ׂt:Coڜ&9>ܳ0PC1O  vRDn} vHA#߈JeU1LT;kK42\yJqcz/DUZjwIQՑEX-6DuYqg:Eِq*'_oal”hHBF-!:}\~y>^O݈kG+~Kt`Ъ@._HhDyQ=;^T61ɬg:EŊ`3>S#oĎY2@lrXϢ#(OT6XP)I$S8nV(iF&C2mA.ÉfA NB܉$zەyd?I;F4X}2\qAL p*n'B-m,EaD$o{2$+oV LJxB+pDEZ R[RMg'x WD|Z.>ehZG[۾ux71듄Ƨ_[67u [rPqpXt13u7 % L`TuPJ"FZYA5t, ; @\ϡ#&r/#AO{=Ȏ]8*V _'ݘrTl3g࡮7o+0J4AxnV` [Dl7[\Q'<`yJgАW 8;1HWGsxl !g᧑l[RlcHG'j lxS)G;}exCX*2XVYȣ8t<ӃñѠ`ZR_=q_)2V/ a/G:H22{J\xԬ)P]@kv /֞.l/sBegO EhsS6|j&_ ),uD8Z7|(sbH~<6bqUM+jƛPB:lfmm fb 679liv39.ME©Z\Bި'O8AJ8?b<7UuÈЁ%jq Wn!%T|U\$&֞J| EѢOz9Cz YK4i8u9"ȵM̢,ʎ<)U:.w]"[njx1 C~NXkuN)%.m p"T Ө[(UA_e.dC{;hXRsMn^Gf;(g۶#BA slsudqu[4JURˀI@{d) m P[x74HY $&o,=,)INhLW%U #Cz/|4+e3C*/fJ R$ԍUNy]ϥoػE/g/=֤[6 ˵ Zl#gjE3aexMr֯R@_O{,Hʱ׹7X9I?A4K?4㌨I"Y~zwT-8t.WLepKIf"^lJ #ZD-;jD[a CW0ZahKGs|UgX%+-[x],yeE_) 9]qg$ܞ+6w629o )N/h!q9,A?rA ?;O=m5A ϺgTwcsBv6lx w6fN0Ҿzed0Eq<Q R%&v̿ {<ǝ W,SYCrKܒB}";P,Z(O1QC-dqȔ)ߜlI  k$+yMR_=GR.P+c' /~ҧ$L6){rɬJ?>CWWee9~E5Y9&op1n,7Owc$.7y[B&P Wg>qr\*m%{ɞTNpO{>}!{!s2i;ufOe,$-rܘ9oFH_&㉙7)K/=R&E˪$%,;Y4n}M P@zPA>_;@Z3j5< l5ߋ=(ˍcv2:M"rcO ]xs8_}^4'$ U tW՚Fuz2ZV\p׬71'`yA_B8LG>H>w $Z=/)m(`OCxS(IqjBWg /Eؙ{R!DUZT&QX]'4'(AOqalP"po/bz̲xr^[Dug1]IiY~2i2CTv+guχkҜƚiX<|:ڤf+a믹?uI"#dX'"xXBo@9-?y>ʺ6w9q)er˕owc80˥3*~wLT8 #xё4N`S:de٨q ُ: \ߍuu~N&Es.)m]wȟ@A"B1mUP&n͝ o7'Ƨұ/k ݷaDNE^9zg_I]j!=XҧL/&)qMO?k/t]%@Q zRmQ>G RJXx,H!Ht. *Qʻ~,=qm"♔Y[4]w".i91OTjX2){5]?w?.PbO{?Q{еZ-9Ոnڍ뼌t;p ʂ<#KxrkHm;| f. +yYQǞp!@G@f}.0MlmW[N,bUe'Qf.op/s‡(ݐcLfcm~@Zi}(9Rf_Uj <)V[)OF҆l"5*'m\ O~dQߘQQ $TIrX\FeD AZ"aY}\Dj[ORH|ʛ@`ϒHؕ*2CYO>I"4@z(].;ݍ6 69B!WS҂țZ)W3G4"Sin(h{:THvwDѣI츇 Q4.@9͚Y8 q-0jZ ' H0DM7ƕ_9*R0Fo$4F8Opp)hq(1Gpж-]n0>5.V0VI 7)dдAq:;ܾ|ݠ-2=āWJWh@bx-Z*3B9Vྪ}揳CaTH4KHdwH*co^ࢇ A>,ǃ&qgLI*mm6{Vv2+!/5psIq^6/+BvLaAn?;㏚<[]]Lg3~95ʔ!+҂e&Y!w\CYuH$DVKK0/UMT,#˚nn'p6;Z{f6"o XoGte5-nr<7>{۳l)jVq׺^]FD],u-x#e &P=E=qrcqgl3ik2^ܙqFWp`J@Bc?#G=Ùmz"0vz I^Q-fb=tgR]L{*YN\R* ։ 0K3=i= AhcK F$>2*r>%RYc#%pčZxDߡ ؔ7Ao S5@ə VO  2e]+1Lmv,=3d920oɓ| S#FZ$zFB5ce1 i;q]D7~"@ pP rt`_2Rnwmihh\=̨p p+֌R՚% fCM!Y% DOigZ*i+jiyu9]o}bZLN;̉ZjBG x9X4% цk>]WI@==}c?]kטb#Hͺbl;!+_82m(Q %-L.ɸʮN1 ,@;j:?1سqo6'dV2y[F51 '-9/O\pn8\nWoQȓji}ZY8zXfs!>]腬u^V 7H2:m=DOhPTL>}ر|{*:b\P[B7{=S#uÑu?! *X|]iϓ$ɭo~"!|9-ndxYw45؍ RXkQ 9@k&xR#Gl4'$Z+XD+km*; wyfl}}ַʝqdIa"pnͮ{HtӬgΝ`zSYCse=.ZvDpv ^I!c/,XOqD2B#ϕ~Ƒ t˺ۑDݗavzcM-WIIG j DY^0Q*/h=6%4Q]2Ψ]./:SsWL+TCW/LMV'vg|aAi[XHV/O5]v DdDmp~ޠ\,M( %] >,>pٺ4@gV结j1,+s59?Uŏ[y(SI>DY nq}EPI F@#@y~)UDǺ)Wd=pq;1 ށےXԼ6gNk+reljc3{a_c! 1A!V51LX쾭SgDn 9(<ӝpO,V,L<;^;*U R\\'v{w"ݽGesiw*"!E$kUn (-YqO)%*̨ ~T:Eci!"eUwl1*gءD|ij/Y}eIwQC. 佦;I v7|>71,aL'U4")<jm֒eBEg$wl$IY:obݖ^rb#}gW~{ Q2 ˘yX8\J}MrACj$-k&؄筑5nv%C][3p1f-Zf|w |%)B)?ۥ/+~lm1=tM? --n%dI#X⇏CM +>`EpU ]| 6XAܬ:t9cNӭ ;5m.'e h3c3 k^< GEnV#b|~zHŅ "9Ԕ?W2RT;^eY(A:d^+_ϯ%xF]ڔB`^FEo"7?K*~aQ8fpfCh}fL|l|Yn{ڝx7Ax_6FrI.5Ң? |ccd4|_D\rWh&ҋ2I b޹]^YQu4\#=K$,"#enN*Lpd4/GVtH7gCFJISMqz1hr2 =WWmď $v+Dрϲi~ j[V{|)4rWa niXFDiTe1|+OWA9O7Ԏ(P .~'Quzi=sQ!T`g= Pk_?oxУgɷ؟*.,D@|Qd{ [WDpf_1BunBz(2'+vIRaAY{nG蠶^^s#* 4 6ÃM@ӈz6aʣ&~0EױlZE< ĐD䖭ehZ%?*Ob#2\shvѾܮ-Ns<ύ!={+`4 (& uVsB[m~u,ږ ZSCǗ9ޓM?ܳd>X$":|AuP݃@*6|\6R'Yҫ/yvU!Y3CKީ|j6Mb6_&ư3K a^!DzW[nEp@%Sѣ,=ݣ13*ڨ~N>Q)Nu*Q|ha.7r:7H/3&XrbׂnQ b@_EGmH7op9`&2H<=PuiXv+R en;N-V x5PrIE`u>!|qV2Ҭ<Sw)y0Ui }!o7Pz:VdUC`bxů #ڕ销Ԉ_] nVH7ǸQSc*{or9(嘾=k|.w/qh.)mn ro#G޿Ϙ70sMy;I8JҎHi8c9Z^cF=zDkf]q (s[k,U?tb]yxO@9`ȅ:3 2="px[(UVyWjmn%0gRhnj`0``a˹sK|w24(~'@VyCzE"-7v?̿-B7ߛet/pvYloϭ VM1c!ڀ67tw~K7Cc J /VErmpnтVU"0o Zil `~xU$*h̊sB1V]MbuџNFɜJ̦{@ I>\@GĝBo\ KaZ Z1!wԇ"MYi9(tE$eg?䜷j;7_dfFk0}NZ'aEGv ۿ5=؍IުQ[E IP<4'{> Y|նl,0:pL?VN܉Z= ~H9x  uނ RHf^y&Nt ~I6BDP"Vй_&mD yHf?E&T.DmS* ;Z|AjcH/:M'FRX]h5x$j]"be_qbJK]ǁ_t]ck1^?2^[sjF(pifk+k7SJ` \s.Hd5B:CG6L1]^:3%֤DULG=}ɣepl5 t2>jZvWh|;oX Gr,XBF`;vgG: oXa cPt_[rF-qu2 f ɲ9n~6+<m5nQI@3xFa0Z|;UKFQ+ 2)0~rpTn]|X`3tA|(_uV*͙nf;̝YG{M_ʗ\>D"|Z2vzD:J~If̷( +?yKB)JH3~(>XWOݠo1'yk\Ev_$9nW/#gר(pQ;/F:r [ONZX7WTON{ ("Ozt ҁÁR]NvJŐxўJRxpƆ"2.p!;ǥh%WM:#O%Mebvq:0<,rd`ƽMKwc`?^*ު^]\8k4w)J@s 9t*Bv {[ 9JS~f.,?9)WG>j2cP<\ KaP2Z:1p}Ƶpsdf>bpFc͞?0\ 6엻i񶟺%^%PQkԞ>zUjاS0{F3GiIz@$}?넧>*{亜DEHV!tR_2ۂG٬~4P\kl=vLW5HVTK^[B&,Ж6-G\F,17nJTdv9GX3ShK/q#cIٍ3Jg? 2O=mP_9w .Q 48&JyS-`9b0( $+jF6rV X jԑ]:;AYH #FX) @4Uf(m\s;. F20} 3\L`1Y7ۂ+L0 m,7hB̴儿!wc)򃓘'Qpm&(1U ;*@jp|67$Jf$S{I?_:+eFsv7]C 3h@7H^yaDKUJ'~Ϸz}ofn%GI'?=S9V&ڇ]|UBjZ/Ie!HM`W'cݦXiZ8ZkoL_>.-eY~  }'𖍔;_ERE+waN!EB~*tqȡyǏb͠NcÄ8FXZVn[1gHoCJwu뀨{ ax(7_YFl_#AkL]vֶMۖR=!a'fvu^Xǩ?m9罠!{չblmn TF[Nj>&^)-l[]REQ_?uˆsA!K}V(0,X>hoߞ p_(f-7rLR'[ Zme,xd-J^nVNȤ뽀8F|ȨT.>-('Ӑ0TJs{8pﺀq`@:!/.pe'*V-OBDP"ZCQB qY™2^"`zOkk̼k#x:p@J9)[lS_0.(wY>sƗ4jk7|<Mͬ Ւl.4Vč^.J2y3l&(󷳟kOXW K\% --P6ȷzVvop5WhqRa)AZ7Cδ2˟Alj*U;(=+XS =VFp@}s'9EY$ڌwZ٨bH1[u\ڞ;GE%X!8Oo_,^gs4l}tI&!۞N w$3[kژ5F9ù2נ`nrN"ckHOjQ.Z42W@Gk2*sm>w=7.%Mſe)RrfONOY K B8@j#&AK%:RlpbE>D_g43aBfM˻ SIz37V+~.#b'1rgJ/qBHodaz T<5p`_S٢[{术VQ}bMk_dy 1q4΃j];P^=64rgP2axɝYPM۾\hQ瑷T2+oݠ]1T}NxE0Favycݽfҧ|o,vM,=>|j[N-1[RpUX<Δ35d+Ԑ՜.m xn\Y!x7 =ڲ%&*5!Zd@"9Ud;1kdN0 RϑDZ'd?vdhm]5lW"u}/IJj\c(o<,SW `Yt;VYJ\q q7M5t Y YBTP7€&ʷ m4I\"ًp/\+IQS{$hF~0dWK2 m5oJJo[^ẁy݉{ts, ƃTm0qQ{`u!M[KN'CQb8 ^זK>L4SGv\@\j6f5̕ڼ!W04{v.^݅/9f&Ձʒ+0ΰ@.2 |e]H@+]dDh7X%ĭx6OrNGAm@&¥)xa571<Vy6k )ExWrr‚Y焻"Z"̌VX  |# 9K+2WEف3Fu"y*d5#Gcvc%Owc* PIV`eimu1;dea =u/"8i@YPNt4awb?Og ޢCxIT*3K[r;9˝˚u_hౙĎb9Ġ- p=8^7 ϓ E?Đ6>q5D 0X7ebUH]oG0nc;_?^Hz{ o{>t"" E!FCA3x8s!.'_ÄcԬmn4d,^LgAO2L&5+~t(O2k1} $xv2>:2p5eZ =_L$d4\|Q(+ćӪ^̈9hu Q/3T1*  3Y{{;LB Bko$z}Sـ_B6 9N?\y)U5wh'0P7&,a!]8e(?kKL60bi_g6jML^+C`_2Ⰹ DF һD8HoJh) en弛ih=f^^aS;yx )UԿ$69Vz&sm-#HnbR@t&*xsN8,N\Nk@Oo% 3<)9[Dva30NȂQ5]o̡\Ral#JPզEs7s lƎ], cAp' T&|hI:$Hy wPhf%]j0jNV7s!0y~s9B gVk$N[-0r'v$,r>Ytϧnk]8AH{^m_)= YwEf:B~cgȝ{\`)Yj`EB,Өƃr+춼*f/0) "a rP>a^DZ8_mL{M RaX"MW!-t0P{ H*U\vD) ?'Hu-YcN`^٣0D'"`9=&A̐H.C!@!(f(szp?F ZpbA䙅w='Y_\ k޴ ڶ_v؞/p "lJ,NLu;vyzpwhmr<QU gEvmUҖV!ʂ*S5ZOW3hNVSo;j6J/fvin"R3+0\¹/%mE!*"t="L+\s]Xۙ*RNt+ˀB#s:8  _w~)mΔ>d^fOGV ܉WJ A"l}Dٽ= V^$sVtw~!p;[lMtr"s4aKTPqxyK s]REuXH# rɧP%փ:rib|_NTNR#*6 |EZkq v@umܷ;ɀ&xg[?sJ^v ׊82A27ʄA7-{ k~Oy ,EJuJa )CY&}톏E=sPw45ad4sjyG"FzI(Fݟ$C5J.}v:{̯#4J\?)Kt`B7\>Geu?ϊ6zIܗcJTUlؚ93>:Bէ"8(k5Zi+Ut9vYTNi;uüU0B:Ş! 5r Hٛ\@H)ǧߎh)+'o`QXE!~\eml2svR!XCG㏼fDžFEr|Ygj۽C)<%,Zi,}!넆6nE'^+ivהbĮyM?:M۞r;=ElAOX˒lUX7ߚ#7o熾P/+VԠЙ.\Ӌ4n<[B-ኈ)NJ&ʗsJ聍$/8 QA%aaJagB|R61dǾ?H LTYpٝ65J*1݂i*Ց +UfƧw[ؕTh( Pɐ)(mg=7ET: f5}j/諛ZaZ+]DXV(JdT.啛_ (R۶.%`d#/%K'OwwId^elvx(%@bcT:!X+kA~ZT# U$Ix,Sux.ݙ4@!e0 h}ǰҟ#xaiͺrYh Em7_RB2HMY1 5-V1zczArD,Nt<F.RnpguMw)RHCadL |~ulf%Z;-ϽE-d|'-O/g,5Xorx$jvw ~+;S;&T6ͬiwA5E_} }}MҸh(48kzvOoԇN3+f3%p)k6 q8?שmhYq-ePlAyxa-F>ksZ~PHIz1̘Vd8-{|apDBz E)6LPKT~PM9)!]̤yEE1{+d j";4+,ם0!OYƆ?MUM] aOn`_34.JLMwi5s@Հ%u[ i'N}1KPph37jBr(ɥP?' U#%GMy1DCmM{>?(\| $ 嵕L]rʙlkol)]SE[| vsڮcm+ʮh%Mұ=mFX (z hLSj1<@֦)N?i*oﴨӹujulDCDcH)i ]),5(PkQ!WN_-QPŜ+b).~^U8Ib D{uf1lk Ǐ Uk%5Hz~:rg;H=em[P*dߧ(k6EXA۾Qf(UEC܃ +ċ@A|`>*N-,fcyUGz>r:a44"B7܎L`J}L{d`m?<ųV\!+EIQt4(t+{=ͽa,Y`TNoЄ)(#")lja7;CTOj k x ;e*M pχI^n r[g"bQ PܣT# >BH ! RyM͇uBj5nU\ `■ӯ5߉>M&He+5.E/:#s@E’`NEe(88,0~~Dp Y9!:`b$a-kov)gC;  sbMS<8֦Oa#XW{Z_4rJc^9aYx63VR4w[*ҋ:r_3&w.N]"UV hCVRGP.+huZ3|݌)HXV ;r 0eU[X{̄;7 `{Lt۾xImA*"H#\Zca%7{!F}eLJQU>Z(LUĺl&kUOiR("VI76c~Q6QυԿG T R7h?Z3 (3iYUX,r>;^un@뽬jA< ا.:*E~mV""& Sd:h̐17jڣ/_D(j9ҧn}Wq:Si\]:Yij{A<)gaֽ@Sy1SjՎ |ɏ&|_NbM4ɓ ,\iD{UT_fD- F2$jXk9*=Ãu&|Oy:sF dA-FWu;q{n#}@BG5]Zl+ ms0dzg|M4ܢM ]ngX[-t2qA>Gn ^׈mȕo5.25$' j&m8_%p]Ge`X U%_` ߉Ź yT/@y^t豔d.Iz|GS+8vf#\ >xU{yX-IDmy* 1z!$a |ItOEQURSK%*xJWu?\ro5Jޛ P<jE&0HTDgXc›Xf\9# Ri"SLʃK&~zryW@Z7 Y޷xyjelqMD,4kvR.C*\- mۈfkZROJ3~U[VgE~ oӁ\j_a5! p 8ޣ_ ktڽq LD+:͒xC̏+8.mLCkZp~LG-O7hGKn=|ѣ$_ҍFedTZ÷ gT|`?.rWŔs҄- Ī ;+_3,<3fcBc+@I2*ꪐ=}2^Պjy*^)[sQIwpЦv8%x;B؅ uyrb1Upkzc9 +RH:A5h^RۡHzu8Ga+SLp"E)BpXKQzؾQMp5|cs$(ߺ{9$ҁFI>) /RHSͬkEDgv<'"|OCMh[x(2fW#>+vX.(G8J4 [x>M)9hn.G=WOqudPi3JA{qq`&j 6/&\l?S'sxͩFOUV&gW+#iq|cC+YI w\MLWFSTV"?\]'0l%y(K陸p]ji *SdVd "]ARExKTz7U9P`Rߘ*mӊIJ6լ1 24p]jsĬމ:`N$ pWp9OAR A-U|gSnt703D?݀Iݧt> <:=>Zԓ7ӠOd  hp{-H0)A265y}'(_qlvdp+wo+\~svsp= 0on:b.v Yu3H1ذ`!pqQ.Ȼg%5oH {qsJIGڟBZ' (5I"]P:.2ADdv>{J E jV~h j `˷sJV!;[~zZrMJ;Җt̸O=*|"Ss_"[ 3;N\&cQb:x{RȌnF%RAm/4]7vX'05WN+;7W9 űwoCάʳ2jb#IH;o-aYtLZ9tlS,|#׎"S$ =eNʈIĪe2_: Gi'@j{Êx}_ۇC;x-pŬun QLJFL#.n?ZJX9d[ٸ4R旌dStOj4ou4+fs;6%ڦT-G'\קDV[2c Egl$IC٨ Oڢfb5ۊ ~\'(wWX6%MM|'v%||NzLlSO*~k(ʖ9$3x $l yG[.@yMqe(m/DԚhV]^1 T[FʘBҤ"*ysmzj2P-!( A8E.k=B›b[) âxq?|6}w; )J#)t)n_LN"<{]rs=A׏ B߶MbgX(rC~v-ꇉ`8VJ^@Wa"jg#1yhA/R\ГG~)$ov` Jw7n *wygC{^6 ZԵ,;/KRD7g6ְl~?Yw~qi KyÄ`Q{DޤdakA_"NYZS!2fQ4\񗚓\Y؁)P*}(Aigwez Xk5 c5>L; R\o߫5JO5$ d-ᕢЍl'\?!.jH yu;YY5ܬr츜౎LfѱD+9&vdpΪ1 L>8(7z!tju `ˏZA!gYZ7zXZִF! YE]ŗXiɟR8] 6 h;5DyYaΖ$NvDm ú/P2a8)c)c^ \eHRN{b)8Uf=—HZĪʞ@/rڨt9x޼s?MV.]i'rx3tV?-۰dyP(XŽ)nOzA?˓`S)"G`Mٲj-ֳ(*ӓIݱs5fpê5I7b { 󝒿M*=ǃ_8&Xf9Ut/u gYZ7zXZִF! +]ŗXi%L&ʷKlѧ;FYglE|e/iNUW#Jk(I6>į5N\lLXצ"(l83B?0ŠNn%_Nʒ ~l#/t$C3DJTFM $l{)7CԀm1JvAN3U;܇Fk#OsVʥT|`yU))ӐOPR0C,2;KǒX8KBټ3rv2D KԮ%t?Բ2#]fW[xZdU0zm_r 7y%}.`Wn} /yK[!DK&i'7OlR ('Vs[*Y# /6Zh|D*ev uC*+``6*Bnrkr弥6Smh Մ~'&*2:{Yz٢s3CώK$0qP# qyykka;#g,ŅXE^8uΚV:˓^x@g0 7A^TNx~p\HU;rjUBKpwgplDVh7 ]~2)28ýlrܝў2q׋5I5Etԕi>{54WGTgfJeg0̥@СLy 2(|rL6KP}0>+#p,j,*sVY~]NRQ_Fu5I!kfǩңP(G ݄"3]Y,?[B5hV֖&n MP>W_~'#^W) gi\z$BP1jy:A ]ƀ7יKEAkڻoH5!^!M( #b C'JiaƵ1-|)wg#.ޱΠbh{rtB0Zn6€m6O,5b^ʩ94?<_! Kݐ2>-%iw76TlE3c+Sd {\ͻdgR+`)8q\jC 5a'Nb ɑ_>Ѓ(ļTLȋvwIqh1:|| ʚ3QX ˤ Pʄ"2cߝSKs|%?>1F)_p4/nM Yl8veQv3~j \#.އ<}LF.>7Dh!/+Z'$ u#Ɵg*U| JQ G#1ET`)D1U<6 A2ts6<6̣$Bw/N `7 nSZJ wU`/N̼_v^8]J{=3< @$4&]t/0ikQ{?OPM$nC,h]!r 9e>EVD,ҝ[1 `bP8]l7}"1 ̨z`k~ևB['<0>jfyjPLdjtvچѓj/Ļ/rW;} p( NL>b'hU(p `EycbSL ;8&v49T2 ̎΋LiIә-/[q$vkoaʵhۏL rkP(WЉ̱n8(Q٦LGR|Ja0#V: #M._s `nY\1?p,9Ut,")$9wώ^kZ] !O9[1"'kTJI0RYDIAvhv|8À 7D#yKqF!nm*|ik3Y2Qk&Gn ͓VPc/UO]MmWd?4˙;d]66}/sLNV]԰8?a^F.ŒxS I3i9OW{ [5u8--1NN[&{K͵τ[ dk?++%L{3bhͼ&alBOC%%C̱1PT'R=ڕO cH/wyYWe>!Qҡ6+;6o[+wa.Y{ [|Aee!*< g8qe L^:P5L؎M,5~v=)+%QÒ}єa Y~]UGj!@+ns,ed[x0K¹۱ł~MQ-) H}NJ MMu{mÌ.8&-\?E*dF2|1nSzs]5@兮AY=Yʾ0x,i yagz4"0=\YM"yF5]39#]N;_aN RN PM{^:m4%0 \RAĕ9-J﨧wy\ @8Y,h`?3ƯH wPTU4m#ls,ֽ" v8}C:W>\O$,y"سϚ582.Dljj-v/9ՅAw:ϳI޻jyI)]9QcẩR-+.SjN(XI14zv}P.{~E:ca}DLIƶC1٧Dž"QրaUǚ ::져> M-O:(02[Q !Xe \0Z K솻blX[.g?.z\-sV&wtf *gYZ9ab402244e6215e125d747cbb0a683df9b88aef59aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 a14889825158a2c19c223dfbc6e663585cca786f