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  4 41tLd ]% HOL-Decision_Procs:threads=2elapsed=659.427cpu=1257.112gc=92.440factor=1.917zXZִF! ]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓[dC&h+s8~z%iVm؀<F q:?JKs%r~T2VͤY$)P2[0ٶcI n_N[|tr@EM-Oko.Y%[q+QWf$„}RfݖbX213Tb_mY-#=NF2'դ6!%s6C,~\) 8Y_{:V@-0`W#e`4)Rh>8eamĨ!#!xo{R㵻m:'Owk`^ $Jsd0&íMTx(n>b~fCa|V k%y IT4S|1P#-2-{%`wFO[jG ͰP^G:8$gQ5'8) `ZfS2E,4  uzFsJ-X?nyD93q1k씬PB ;+fm MXIObG5+;]T2ckRn'" 1 HOL-Decision_Procs=1DBK8ȸZ^_|F:a˪4KSÓ¬S,(a1oU) K>M! pbz}fd[؄QŸr f iFJIɩ&/;w4nuX{Q*legMJ:s2i9dx_TqP3ƻTN?,`\Dsmw A]W%JHu^Zp,,~ۿf*w K:y)KpLH :q4oNiNP;{ZgD,aMB/|kl=XiSG}wXF*D[5`c;+I1Nrfz ].EA"t싔GIu0eVv_?W*?+[v)u柖2^kQ%Ld>Oa ''%qkbҤz߱A]5WEa,r"7i*1~'/K[ Q/%hJ#.ttASejvɋffjGhZ.|㾄% +`k=[vYį0DO19+s +|]H43Wo+2Jq,?+&]_WO \ gH1L6{y%3荓!Y5,$tEaOLGLs1Hz!8L#o1Yv, C*Jܔ6v=eբ~&{Ivy'3نٽ"_ө2#|HEt/lEl/ocD0Z{.8 g>G[%( c#9φ{"Z[iNk̍T[[BOnD$ѥcolJF:= )s$Vߙs_9(p #yj 7JjYCLX(pBwO(AA2v VTc|z= =FDkW-\ܵ[;:yMCiXɰ|$\>H=jNs=j/UC1}mnD(N-wW'1J+N@ooA#C$WZVP 8v*ۯg &`۔SE$q}ϯ5xOZ-B!*[-/%bi {Zd#GA^kқ0!ݚZA)*u]ҡ8[\BLwcH6gQJ9 \.:j>2#wDڮ5!npzū!G>̻.xi`?28oR>o}\ }`(i9+_h3 p c uF"N9v>x(/̴ꮃ0,缽jR 8/BË1e,[0OkE.ÛoĨgl݄ k>$ G@"O1h3F biOgH1֢ěfO<,Ө,UA6/⮍ btHjm%x =ȗ,aa9;@VP}\bG[쿦ޖ 'ɔJ4ٶ8NmTx$=6-$1ǘ-VpR`"oZTI/wfx6t[ dU\6.K:۲_Jx5x(V^PT\8,J$Xqݣo`pn@p;kr/yh:لm.lbjPPHQiqeO&z e_lO3CpiT d4 8ACq/S DV)BBC_rI֬ }xлա=ey_~'\$bq18 WQ,ܑAzCӷPVHE@3[vRh!4mOYz"<#) 1iaPMY d̴SYy2` G pg,,5ۉreY߇KP^YUn ~Yt LdNkhi)SW<@ڭL0K%?\&0oC0A3ikG:X>noc:Aև;C3bz1l|jihcXe?ʶ*EM2&hEfldۧI4XFm}Yb3愱M\}Q@xPUlh*BxA#(>wVΧ[&m]$}aNzXĤI]@wkynН2cSoZ8Fh)-|#9˄3FJ۩ZmjH潸i +qr!WwQ I|-_ǧ8oVeu>{ewPx<kN'~[:rp[0yf8'V;+PMwԭ}]SW^ojk) "ĝl, *}XsI+]-ׯ%amb5~Xϻ)^aT_^[]T0{_[9./~҅z0>qdպӐsش<2D6WP, rWq*G1T%%v<$tɈUR۳jNMJqF}Co7vMMm|BA,,vɭ8yda;%V$Rb&,RiOރ'H.ƆTP ]gw[HH֯d򳚫O/6X7fg1szIJbD`pM@$+9i2T ޤ059 \oMM "M)("mBOD~x8tTC4uExƨKL5|^mt$|Jjm"uu"@ݿ(k))X<(IZ;u[!erud}ft,p${IzH;ɿ c{wJԢ)uBӳ ם\ƺY͢5}(]&% 2$ ]/aQs-@_x:gYZ7zXZִF! U ]ŗXiɟ17L? KxlWP8SաM~>fٺdc%隦q;CJf(Oe}>Nk2R*aՙ-^V'olmşkD(>wJ=`Y ݍGRZ8HЁ09 "*A=eaR'W]JqCt3V^lZK*,m\j|RgYZ7zXZִF! ؈]ŗXi%9(PτO3KM!k(b-~9]U^ cZT7`ڻ>gVGȐSMu6\tސwlb==F"%kPX oUh}ATWo6D n۳^M}=<&` \_i]92h?#aa\7RHJ=qsD5q84)KYFpT>[?t8#w <&9.ۣ$\Ҏ,vYyLҜ8@C"cs oJ>C) o'$~9KWZdt:lZ,GpPWug(È!ض::g\rtQAm0Ak] DDG%u)ow!CzƍK\X4Ms_57XE>G kPQ"3Lw~!?ݍeLRX>-&􋘎Juo)@ ~];H \(}be6.xK4ƲSlָJF"iBJuZUa2-IX?kjhge44Nu}: /ك'a(ޥOsXk.]rW͍D%;'7y_4EI^ƺlvz Ѷv0Sx˳2l4)PAO^jGt)ޚy$H˼V#<[(a-%dMb ZpW1qP,i%~>"@q`ۅ"c3]y Zƨ󙯹ei}\Hr$TAo{}HqQOr5o޽.c-9.7ƶ. ƼylǦӵďwfb,ޣJĮqe(q A}#(c+ۆzt:벶(,`n1.]iAP;<i-B"2|s{]+݀:V÷Wn4rԻ_In*eB>y!VY}Bnlxy UGBB\6/"2O|rL(O,b]1Lr3pt[=`H$*LӖ$h(W0ƭܺZ%{1=s&N(!G#t JcA;'+fRMzz:2N+:~ Pyd5qJ[UgXV&W,h^54_9gnAJ%ePGx:\p1 Oy:h3|;Mf , ! /RS2 HׅDN-'P-hΥGEL<8̩41$T͸𦙥 -LC{C X {BUe cq!eEٛ(1h̊Vi܄giZG1q^3%@d"5zv׫`_xj Gaߏx99‡V+Wq﹪8%ث'%0S1R`5*6W:tiS_S~ʳkMzzW2.S6=7$Sf`J7;BF#j1O%}GpcX>*)5bY",&U `1ԢƳR; x7amOXLMp,konCCX A) g3<)`^TeW:g_&a'W5g[ >0u'm#bB||}lUU%"p6Rvզzw=&;BG?|٧i,V6{s󗭶dP SXxlRL5k,H64柛udȖҗu:Vf-YСyC;x&})oq{O^MeK杕b@":yJ[\ AI:8"B5g<;_J+{?֘ ݖDވBZ%9iVkeǝ2H hr C**cV[.Xg /Nsu_H1Q~{5L)ҩhuv\֙EDBJ"?vLQ>jm"bAR-mȞTǕskk[E C>EC$V,AɛIGr7"koe9(q'sZw`NKa7ncvRJ>ȓIrϦjwQokyhkvF-wcsf5uK_X΃Qp8@C;\/[Zޣd—CV94LN 슣U69EOf؟Úx*w">6;#č*X+25KJh*qǸ=ɠR2Zhn_Xf qó_}[­|)>DžMxL撩#1a}c?x3bg`m)G_6(j' cǭ^Vd M@xy"SwVoADKA[J2eFK ;34=^MnWxx0pfg7nD_yP ̛=~3CJݎ%SYIa!Z|;ŏh%BTckfmc-w`wk" t+CgD$Le~I=;ʷ,VׄI0,֑]u|ʙk;tyS3_siVIkx飥~ \`tC FWυgc'VQgoi8]ƆpMotdͽR]oqXiINTC (nvw S|B`?h1͗WKvA0|xVʘp`Ki\> AHէt؂؜SRSEU}jZ#D߀$rJgdpoN]Kvhie1 (#g4le@u.)]s?$Ŝ4r\lG&9do\a՚ny]g޴uL\Ao)jkb 5= ~dܧ@6q}ψA[~"! EݐP̆P5?Ruv=+ڴFl^E.poYiJ1+3 `='%rdx|OkT(eN4q[W9"C5EvBdK.@VWcZo ީ%P< Ʃ xSemi.Lv<*ШߵZdx'Hi2' /ډOֺTBQ͈ocVV67(.|U3#RcF me7ƫEQ=b!(gwaܧQ'&SD| >9v^MބyH/=kEbPǯ.{l=sT+с(qS6a>^rέOݎ 9X1\2=aIj8L-mUi2,RuG.5g]*S+ 0#"^!%PH [:ƁM.;?_pڂJ! G1yN)t-O2O$N Z(\)H GKґ)Y<6FlaI+񟵎d!1 }=\bk&Y׉QQF7.ĩqW-҄GL{VMR45Q.oRяӏ;2+߼$$+562u"~v"0[Hg>g'.˅NϚ:W4H%nk (EljG`P ( yn&AO ;J(L{QvוID,R1?'km!|;(aMWagL-[`yc-GY;a!nɌhFZ<bh EvשRI nmWZy@(V`yE28PBуKJE!ۊ&}ԉ,~o!7Z)m8'+2\fд OT/(qo (rp%}I9 IQֆƘ}B FMD9&$"=Sldvۓ0 ^/3'rqZ{w.umZĿs 9cGEIK}??o^j=ad,`7ŧ7X N67y| ҙPZAja4!%xcοn.m&om܃"D*MvPZك|8Rt',EzYMxeMXAP_wW+55Q}lCո`m.AB"yѯMc)K܈H29hDY2m+x̳{yʫ} #y@Z𨏾 M~}[=?Vn='uםhNV XEuR7Z=5U"N !q6æaSN-@sD!*9TX_)j<ɠk<JbC@B/e5L=:˺D* 3ߐA- X)Ψ%CY~ Xaz=AX`̺DvXYY$[ϵ:]e19οS٪񶚊aj-e#e4h=iN'p4 CudkU6[ !כ17x"6wLk锋Ўh&w|QCa? $ٟ"B{3=N&kta>RMw$Ԭ80n̍DARlu. 8Tt6}2 BxPl/l9Pį*# 2sWTru՘)` Ź.XgiiOceLU*HcێwJd8$:T(@7M2ĬL־mѬZq@臃#1 Ժ.6MV0<^`W{VQP"4Ef}x$>Lsxu(XSɳ07ҤX5ڔA4.{rޟ yo!l8xq_,H["5tv}ٻQTYk7fBBycmF}Azq+p\ڜK'M߶ݿf[ڻF)^ƃI2]X4ΡJ=\++j5<}3D23cƊ1}/^4Q)cMxY4'8(1xՋUm[B~mT%a)Jb;Xb W'V_Ot_$_yBu()'=R\@I A=4FxLcՓErS>h38LXIGu '6GM3&jv~~nQn>JS?b ʮE SnT ۫ppwқ"޿G@S<Q_Ҡ^`J):xutTV .C,GQ=N|L)VUM_/]kl#ľ ׈qv J{BB.z2 'WD261\}|n0FZ@퓃JhzQd˽5'[,J<xDJDΆezүsJ0;=l\V{X8tDe滹ݢ[5Zqa jLs惩xE0h d9#^^F K{a n/c$,vpǩ!\)ųD]8~ңf*[B)o%1WD3S`Qbɩv+YԹ$h}^!mXvɝII-+)`KJS>oOln(?3PeLc'G?o ˽̦-CzgX rnϪaR{Ȫ(osiH4ql}"b444ޮKONrdp'`-kdc=u0Iͤ Pf^6x4ͻ!Ť&3EHmW-:028? fu?wOS:E38F®Y'j$$IZ%MrBi$-E`^T?tZ0Gl |қڻyW&!ee^zAqZ)0b|ςfϘܻ?Sʙ +Z/`! ӯNAE= U"f0$>sYwR6"zb4c=6!K`77= _HiiAIC`K^#sø+2f`"&YO~IیGܮ%.?XœclGqcMrA#/1,N!bP*}#}\p&3 Q|\1nUlV,ChaД/ Sw&]nXsݠЏN i#j{]5y-= k67-sPϿUo\CMr(sN;5bZ弄ɕ!]AQvJhެ5fPie[32Qqi-v`E,kҽXfn"'j"Fh( G:xE\~0r}tO>TLE1GqhT0(QO` %H1a&|(mfr.JqL!Yسcu+7%;;.{/<M1߬{dI tm=b\2 ~MRW<舣 c yt|kDBB{\-tZ}|MNj$W~0^`ybX Ӎkn3 _՟U:V#ؠ!vIyw`z>cc*3Od;5#orz*8ف_T!!@U>ussA%׎wq -CKkwT7X)`S0nt bKMVrw_ɴAE}^6 lh>OΡ"Gzx$Ie* rJU`p9 @3 vU$-1=ޢ(dzGP}'ő4־B81 0 %G=ʊA\CՇ59=+;ʟMaɛZ{g[`"j5_\\= fE( {ml,Q=ȳ4N6=M2E=aRcP=g(K)] j!io>O_&<`{j=JKuL}?[3\f#h%SS..@%vu5<]dôI]B,x]vmW~zUV4"dKH 'zy)1p V[EOKJ4t` k; *eVPך,q%B (@T^rNm[ iWG2~G/7 _Z{4*kt|wkkv?-+Ί_X,bYPeE'; vI2}E{RG|*𕃊B(d`ۜ,~'MG4ׁCNYkr\/Y>W A"e ui4.my:O #7<5};j_YJRdEIaK¤Sh~{_ewQkmq\;4V}cㆩqm7Z(؛@>*Y9" *W,:k[W$ L5͚El@" x dB0e,@`MWzH_H UsX/ߢe7ۚϋDjojXTOpۊ `jUrj@ !6EIVS6vr`N;j4ЎڮGHs} #w@ EKl~~Nv>HR<""2ve|W*B{a]Л Fa`}BJ9!iٍ%BLUcI:r!rFK!}5jj1{$5[!u^AY~UVDa e˷cN߃CZ޾K&zԨ3W+T3+ k^WFHQ優491Q5R*%5JЎ'1MuNumY e&+]ѳ s[.z:4rItāXܢo {H Re`U ǢȭlV[J|*@|&Ik53|4Az릳 p::3?@r˲5 WgJBfR6@1l>du/,oS*y:puӣRFaϹ= rCO9S;J\N=OJUm:_G,]x@kq 3JwqDyoeob`T2N&-?5,HHTUNEhx^B%AEyVRR-4)[`in$\eنplHcdđ "--dӋ\BTBKtd""#ޱ@Q$[Р'x@`l͆$}ȗ-{'>4I/˹39G9AF>M>T!9O>V$Fa̵īL!V7w505whВdTxt3l5_)RɎiqi,ˮ?~!k!,P76 q- 4*_ QdaM:|V|'b9vLz~μ{ģܘ P4 ӞokuB$tͧnkws7gYc3+ty>ƪdPma@)yO'ԐV ]F1mDŽ1;gB)4V|y5Hx.9GCz|r^ e$ hhs- zܵ֠8om~+yvvkϬh='0@=N=mB j+p*:فn&S!V^6%2)'(/jԡue09-ny )Nfo+ge:=Ac1X`swh2K/7kU9Ebf^#GgGgݞKc "[pˑdVvaaj+h#+JXȶV O# RĿv5u/] ^z»='aLa(وtnmg%cXfJT a0@<*3 rAVyΪ 8Q(i6h=wj7yp~Tdr~=LWH5@Z|GZjq7] ^Fm*aX=uBXKmJ9WF5['[9dLo m<:c^e,W/֪4I4 ( m`G~[. bI: Z$6f`G-Mg) >L`s|$! zl7i$g[[( Q1eد(R$=2#dkxJ-"?'|dAU'=@ؖ1:jt,HNj_0TS )4_'2+ pw^QU0!ًMUz9,fkgG"KI.& b^Э=ߍxg g q#/V$p&յ WS %AK:[]ƪ{%%FXõ WĆ, züͶ̖n(qOt~NuzwA3+)Y WȨV ޗb-S-p4M &vg;QtI 1WB|wO[ﺹf1@OaۏZ <4R[X|촮y K.nDƁ괨;X]btk.א%CWQekMadlɝz1 9/ؽ*t:daM Ȋ|;jv"w#~O{ ~b >& W=LVm$ߡTzd+VO.K37]d+PZ:*CO/ >B^"mSCY;*o. eH*juESA9]QQǺob~@$2?koo@\@7 @u:gf{nSȤ<2pNutu(3zG%YdC) &BfS=P2ƭIkټwkm:G~~ޤA5m^{9{΅hݭd>+ޭp0Mip+]%0@lX|^[|3m!HFƾOu.uW\Cj8(R4J Du X:ZJO9` 9BrpRBo{m23zGooIl+ x}tm@[ai;+`=.⷇lK^tƓ եtcP9%U)N-y6Wܫ;.wMiדA4R5!7=8MR)W&*ٶ%+kV _Ё-Z ݨ5)v*g|4}i=,g6#o1UlkJIFϪ&Ya(7d 0O" 8}~'૚gT@<y5l`+JhYYOpVV/x͈겒xs͕e29#*(<tDx;<ܪI0IǭViΚ:4m"ztQUCIz,SkpUVG*$ 1gS8L֒~8e#uR6RD˜3u X*uVNypb55IU/OӖ&a5F]+9PE.QY| uOF- :݁-5vtCTvC\]J vҵi>S-]>"JޘPaES;Ύ@y:[Z]Ȁ_Uq/T9]kb:;M%? Jc^UD]6Vi]߹0Αh\5S,T&SCE[үHx;(uژS񵰪qymDVys&!84GBhE_=p=ũ~}' }+1mO``ͦ˜VTFw/uk6I/vpiL==j f׉q\I؇P1dҹ΅O wiIS9ٝ\5m5^;{D""5<ɍch5csD8%I[r9:Ou+p,VїtWaĸHoNu[fOOKW$j.IY+a<ƕ-k|SѤ8!Y;Xn:MwmsĸL9hQK~!(>Ew+T2`pm;b<#J6 #W fo*l:?Q}hQҽ2_/IPm碼r޲ ;u $uOcHqV׺ƊvA"dǼ}F# ݿ{"֦U/ 70UD.°E {\RO ;xY6> 䨀xc j>NdٜuoƏE9Iܚj<;t#`˼5TR>vY/'vC|4V9b9?\’K'> A=sEoF hN<2kfZ 8 |<]*\Rca}Vk2 |ocj^ECzZ@i V~w4]/EϺ mIl* O'b\ y g92cV@V1`ә$Fk2gb jzjjm]Iak= H;"]f  ,!N}Cp' Y߽s5cVs=Oւڔ:K/,XJ5\Wt }ة4pE+:&͟D!uqb/R| ڰU=Y D?yd#ىVf7ƙAT'WĬxb\l8'0-w€%Hhߔ[R=5*0pZuO:/4B{ 3ݹ.,@A2&6n˵z 4Kټ !cxmSf(<FA% za#{Pjc`APF(*P$ٻ+OwLWe"8&`ya_S={DHuK8W5 8,S]I "(;6J/q{;8/w{Higq1=RfJcEnã.2En ~`R7@-t05h]"OB޶>hC_QY9}No:5 eoא*_;rYy MrB(/BSTϒx v(ÄCJ/+-LjH¾}Oq`:?I]$c:n0UgwInHS>RzZZV*ۇj ^ o*ӽ s3Ylտcr/Y5q[&ɔ)`t +H&V>/`?ԜWD:FՇKZ${m YT !&pj_CQ9 h< |>Wf֕eZ+a[5Sq0Af9kFud>-, EU+V3'ru|oO4Q%xYA,B kH3rj<$+6w2iyZވB?W5K˕,'{ٓR *#mU4D{*`eq يjfJT^S>g ޡHR;D2mpw {NELEФ)44=Yk:,?:#M~'=囱wm7>Uc4 x DӗM;!00(=(' ߭ޥY 2U2s5Pˮ0C<׎s5~7$ڐ'Mxx, yގk@KqN?w:q+`zD90h$(|RgQox!^fu^/3x:vֻȰ5~Oe(ē./;k³,A13I hxDc|=J= 3ppE(mt*ҚidL^}2NTYD@ Z '>uzQ2ᮂ.CYRRȁT{Ѫkc|h?Ƞ?;jNG~Ӣ83,zP!wc}F?!j[m1^=pz!b>`¥Vs, T(HՂgTL7dN|t[qs-!c.ZUH-$9 g204[ ]_5ڠ>w]y}F5-SC/߳ &Wm (/Ա`*g.Ďq6r@e ;Ժ]!wVfD)*`4zrXq udD%݀Ȫ/YQE^d af(u Tv"#ֽJf#E+2 룤Fӕ&Y5]ѶIaL:X =*\&!_;Vd(%;:2k^R-y(d;ҹDNpNTA.B`v-(B#ϋkbGP>WʩVUT;>Jֈ,V1lv! Sf1SxL0:tuG/D fm74фiWfcxIJ/r]քAkLZoW݈MqDs"')lOwF_'뫪^O"KW+ \v{Ry)nyMrtEW8}׶qt禇B* )P{I>a*8R,p[+gdJ{?m0$^IQ@ b}I2~B M #ݮTWG*wSQ 9N{l|_ҋy/-W/C')I8sAP_2)aDM?CQVdr薏O_BJ*g:$8HcbtY0_0}X5*g:hP$1o\P@QI>/w aQ%\H1[}~SBb*4uJt藤t})8@6"qZ&\hzXrqRV#\Ug [A@c7>]5O0p-Q߆8`pX>w䟷h V#3շBZ!>e۬~V=KQC^TB{ӚwqE-)PKKm[_ aNI %cykģ)G ch_ct_jO;f2v2EM;%*Ye[ >bJ2%k%Yď^˝3"*(PhWڶh# .&O܅)8֐F=x>|Pkt4*;rclj.~E#Do 9sǘr0'<TXwD&_@nQ}]1ĸ"EGsG*|]/lk&+Z11RQ9 0Q*N)Ke萃R A97G"G. tp3l2)odBG՝x&T6Wvh5 .|3B,jxmk[@@CPJ~L@i ba !R.3ҿ@O+Ef4l\nT2'Kufć|`,J]Ra=mߟî-(#J~{SW;-&O~n)/p~}ϑw|>PQ 7¦ӨFC>/ ,]yqKN7Ǩ1N" ϾLºw'Kq vǔn 9q )g8X7lۮyn^3VT2cCʸaWS,t,r!t|l^3caq'AUݛ;0lzjSoW"c`Ə~fR`kN:ikOT9rSs'?©.v{JZLqA &tt~1>tVn #Xľ}?̓%TSb^̊to!`S5˴`꺅f/(OQ<$=l^7m ]dYfM(k) 7jKӂ԰-r.y舧sUQZXmw./3o!=wػwKD(Y@\!;myڅ!2 ݋bSTYR'őO h-p #YP?ET+|q4@LIyP6: @]> 5-o+8=>@J!-3̝5l6|5utry6Nj3=E׏b<`p9o|RvY"{ F;>Wm׫r<:,Ж@;S}񕐟tK6=*5waΈh?!ev|v諾U/ůsUdjbXUv|..4Ys4Žڽl!`5k!/Y q+GEAhRI\y!uVLFuɚ$ewX9=9*7'n()^;x}Nڣ "!ri| s[eYPC! z. ]_Q[)Quq M9W(* m@IQV1Xncd*Fyz)> =[D_rNZ>U6sݺud[G-}&(aѮOP:d1l{oSAAh`uT~ 1W)5E.dμB9u LW6XEZ$mbE.G*䌗ZYZ+)$|(!?;|>L~GsdӪq4ZLԀPY`yY.{IĽf- $+y>I="ɡev{_l+T x" eL8t#^ZjF' 2.5 TC<'b`f^8!Nh׹>k!ȎrT^,m8PwC:q3i[h,k cܽfc(0t:vo>KIMt4򐽎[7 1PTy R1ZõxIov{t֙(&+Kf?&-YQg&`"=?/^RtIW@b l*oy_Ո3:Sq(؞ 2zWħYdtYZx,IV~T:n6yK}*8H0@Apl{vX]r-n˽83IfIL]:v-)_Xe([6@ H㓙=<['a;Qv[&1x}}'LV9h^]R&mϠ+\B!pkTk 6!#,sge~Iޞ<8K!ML)n) J>~pY flk;_DzahMd3raFq dž(pN'b4#_kd~v#޾Q*(TsGkߗ;BfӺ HDwD` XEˆ+Ak1x8NTK ښGEo9K8WIænHtI1&: O؎0m~ɛF,T\0-(<5AH:#Ϧ0Z}NL:b]g;fe%9'>3Rt Q\CBzaF!{RyRs4ԛi ]ɫ>d?9\̦RA-G?-=n Oeqpq[\S:?^㎻lk;x4Ĭ49qMIop_ƃq- %-s7jmjE ѥA,v|![/x6ʴvȋ),v:ZuÁ=ý_eE4]93' Kل'|:m ~ -œ=6lU*s~XZb~t<5t5wc4aGqQ)&3 Whg23NO,Q1ۍ{s̳ZDOW{_?/+Ӧ[7@k -POC4Qo8>cj^=P /p<:~$~VFU®lh**!%r=3_@{98~FF vs[[cQzʦw؅/$k豼ӴjdPm$bgM7G!.~jd)^tYW\f]XU^˴GcN iqՇ Kęw~/7/&jk'n3(_ٶOeZ"ޔd3􉿓~m,%8zZƻ_\1YJ!iAڪR#'.]ϲH-^ݴuf9tbh/7PM!\{*'+b t=~&F*YC;zl^b[ I{gFϸ x9?]9͝C2dFzHQԘw0ay8 eBΚԚty~" 2Kz/:,ZVF2/$Ж gG]OʸYF=kҀ_0:n^<(e T?/kd*2m^Z8P#I1F7%X!ݏ6$gZב raݬ'h?O8*2 FIJD;DbK#p;)7 ?7mvSƎuWAv'۔R'2T.BeSC^;IВNW^i#TjjD$TS6o`ǵˇ| ׂ:zIDg/cNaG#Gg(4#C! 4rT~=8#E?G6X0\mLn!dtaWQK&ųDv9:a8U0[jrSBiO.s!F$k%u6d%xkiP: z][T_LUА(= vŞ!H7Mne9"5)ZNHxa7wdp-lp)OY=)b,[RTNϓ̹KOߣ Wm=1ޕ cY[Woo-VsP:% r4+j &V|wP>ֻP}l+$$k#rnxogQZӁ5B X/iMo9-5pfMya9WU1NdCء?^,D4!uo TyO )vn03x}=DMm_.g}C7&3q 09!V;X5[7#t*xrWDT&dXZYݹp#G/n7U5.j#PLqu|v{iIh3ֿa6mAT0PdY`[lXi~!վNVXX/d$~z`qbo?^ ^)9)˰/#q,h)n W0p`QZj˒7-@`&$wƲ<Ƒmc흧TMlq>;h2tY:S;QHz":%&OCE4`\(NoQIU݁.ApOon(;W5MUL206uԷijNh]jb/|T+A;O|a-ý^\='35r0#!r` 7 ]TdKG|Vor+5 vhG%֜Ё݄ŞLX/Mg->0] dPn5vwtoӑK\5T|3cx>aqfc֎qx."NJI;CoMаd4 H_i'k >\5!Iv w iBZF #{{ʒ w{vGC*4ys)FYZـoxF 3˴ƧFߑ9T;l.0zbKNȯBHODc̖< hZOrM(TcqQVdyve_~fR&<ܲ먆|ݫ:'֨D խt"6Lx|-[UeV.;|4-92US~KPu :Ә.טtM,`>;gBƱz1mGKOçUI=ZUߋg8HPOgۥýtpf@Hs9pf$\?T=J:Yc:A|{R>D1$B78@o&)*Prw7k@ }uϓpRnvX)b˕ҹ D?35E/lAn ,C^\`N@YI  ۞87"[цvrġ/=å#LȋԷPDZcKčVdH&E@LDvK6#p4Yw65_)Y\ 4ڬu"`J)M3U`/w6`e=1aB8ݢOLf,F g̸F Į=;!AyW)ե-vT(whBKF{rK`!&y У_Ti$̮wpU@L{ yd]+EyĐo9.TUW. v.c-;"7t,4=\(_]X-ű:m?:nOs^GHޏ|CF @wiDG'EtE45^gwwZF 7;z7=$kI;6|Bq `B$e M/%wNk/|-MĖh&fE/_VUj!z'uў莜_iJr߽8z.J+N웽J%e 98e#7tZK̖,D B(qzvn{3w{2DhNgX!* M,f̥WϪL\-8n!V'X8R?BI|ۖ5ذӦ@ :t<' 6ND=0ݼӳ{"jYEԫ?;jP,[*siVMR@߆3kR=^[LOp[$Y^w*!:EGb}Z"ACM 5^/Jy!/z Ny%ss)XK<D ׺'w;^!wu2/0 $Wo1)Odc-ዀjӇ&اciWMx+RAvTKE+(;.i₪'k Efd.qPIde?sU.7q(k$脘¨ To?u+6U.K݀,zbf xU%)^GK%'d*y{4\~LW7Q}Agc+2 uPհdwbj@b&uE2Fn#6qIFre;0N' +>QP &v~?po{ڀ9z@bQ~7Q@T$h?Lp6npq6RAhBC;L8kJkŲz0TK0kr d7P9_d@+JϰzR}s첾̐ f:]nH>۔;&Xv0*47qh0i <׻F{I 5gMofVOJyxoI PYk<b`c*j]rW$AVֺ4,c+2Nka(:_7)ncqfSv#[cEmpfFm!7,0YVm;0өtk_! )Xo&%=.̖ӽDT<(dQ?"sf7$м:N˃"ta>cчN׽xr8*'̰H*$jxnlmf[Ԝe= w-ڔ >BOK,P߁b{|?ɇCݩs6$Ӝ=oB beQ0B\4Pg :,|m2YVH=_EҲ™[U[q'3n9_W;Y)R9je[ϗa!i2(ew#ȫ\7v~c6)WաA0sdUTUL O*(g{Z4>yt>,O>%!b}tړK癜=QNOL)'vF}u[w*ͫuVjک7_Uٖsm`ѓ3j4mU̡pK#U_u.h#v.^`ȤΊ6A! w@uf!g+IȃY4 58Y,/9aV;5;d5'`< Mъ>~EC#jnd&S7pw'4]NHapώ ])(tp+BIY]BnI^O] @(wߺL|{;>I9}]egQJLƇj9sZNDk>H _ɏ^fx CԽ֥pJ {puapީUƌLK 7̙&t@{S*HΦqR/ᲒَRWLH-0#U$U*$[@G ]'ścLz _!1ϢT|+LLfd+ n/J*#'TxUWT'3OˍH}(=qI=*:܋ۊsV<☊Hx%*T⁊@*,d@ dLXTOB x ːzxۂ l׶1NLذ֖+5 iը3xB"^#P]qvb6xlھ4q§յB9@_Zwm*_\ vLV gcz$[`8Ia{b4)PbP/xTBCFuYϪk15' CEV@#Nl-yWQ3~J.9&5@vdƑٕ.p3gYZ68f146b64b1bbe4ae94c278979d9399a7bf70d5d6f2ea6ab0b5842682397ebbb65f675c6588578c2 e101bd57939f33c881a2cb79f6e6b917cc005de1 f35d613e91298ed96af573ceee500580887c6bd5 17865e4fa9f9d73f01acd06a0dd05a886d394435 55dd3ff53d2bea5d5c897b5d7d0426b7f3fb1512