SQLite format 3@ .0:  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 77%|Tl ]/]HOL-Analysis:threads=6elapsed=328.495cpu=1686.184gc=113.752factor=5.137zXZִF! Sw]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jlU{n0-O3&-TĶhNih#%r }6}I_ip\K7)pu~FuP$~8ze?΍){wVoEu&[{0@BNV1ZR_XuqFcAqo[#ai4ިř{j %.}ztYFc(K#A#z6qGI=?* Y{g-&^?ݜp31^g1[N-cC꓍QX C 7E-ѽ;IRdv20RԂ7<̛M783qǍrʱ bկWG0;$ *܋'; w)g̩zuǘ%?,| k# K0)>3ܤ`$hHhѐ`A@f?SػO#k.Gi& S5-%eK6VM{S&cJGw&dWWqB`W%A%>) 3X^|61"ETb҆\I?p%;TWFbu,XlncpGY[(;O Z}[ǩ?Xriщ@34i}q3Rjy` `Mnp->smvEWdqH$O’Y}IyXegJrhL-!#SvzL3J45S óriH7K^,VA/OoeO1Ahݧ=,<Kx84d-g[ _[A$&dZBg6zNhC[FFZ[nn\V2>$Eru3NkxHd-*2]s0pӱhTȦהqc&O4fiDSOv9X^ąfӾduԸO<@6{zXb>W؉_l_8^Eΰg7^tF|D)^vj X1^N@вwo& MܥxC^2VhmoW7ʵy(~:Uefa;%]6{$@ fQ.[y)f1FΉ8 hCz3ҁ߄5 ej͸ޱU/n|JҍgᏨ9 _* bPPt֖tb[NܛZw%pP}3}VvvmW:<|㲂׋aVP?<цlfm.jぴe=Y+l,lН2ۂEY!~o^K4JgVD++0S A ka ](t+Lt{r KmvQd 4J&{%(0K'<\,a*6g Gy@9>U x51ǼĒH) # Av[]gJ;LW"-Pԓ&@T݂#Usn%L*|I|(F8OQĩXv0 ^/<]p`¥P)&ۉ[NऊK0堟4yLcΌ-MY源_$Ӯ@Ҩ+bLҹ;@eӇPPfYAurY4W.ҕIl,ylߋCK_9(I;ƆshNb;ǔv1NGbԊ܎n?!!Q\-afՑN:ƪ)hW )4(eUO![+\xFn?nM9.YQ57jZ[1ϲouלE9$$\G an3^2C9͸ 5w/E2"@;k/NI98u^d[L]9|].s}Yp8x]KrwzbPd' {)otHz7댐bwE*It7|7=o9V( /.>ʬnJa|lG &ˈg^A/V1ɕ?f}x)gЂe>(D>[0QKXS'~<;.zjHuŜ|ǵaRB0Ř !۰'DjWhNn g 9!s&*Qv_G8^o@ 3u] EP׍^ͼ| =.ߎI1vГZ>_^ c+VGXۻ.5:ګ4S s^ -/s>\/Z3 fWdQX[pֵ"(&L~FHRmbi%Ff5:ŒM`o؍JWB<0Z/^YTo27๋/ԓŁ]6ksB>$~V|Dl[XXcT9?=-3f?cٴ(&|npTlI$lp )G0⸄ }PDi.zydZ~}ix܇!6jԂ93$ѣ{s/8ymf2CUQΡ pM[G璴AWP4$ȋF ~~)#Vx_3݊JXHn Fk#)OJ8TM+}_0 rG ¶"$k? zdYNKdsj%=׌̖ۉ,Et%q ",ƎrA8CHФ_@ g@m#>FLuN)sx~ͱ|{/qdqF)BXx'=S:1Sjq_@86gUx;FxYyGc~'*ܘk!1E0iH5 f, )6ոN+i؇;s3npFIeA n#|S!#HȲeG.GmZ,X)1l͏(!`mB"D4W`ʮk$"yuҙc!I@R~S{Ԇ6Q-RЭ5s75 Ϸb!]V Ell5hDA~݌YrTEro9D΋QA}M0(d5tAۊhcWU b5 L/ s/(Aдe~C[viN8xiUMj,R3Sw s8A&\J|ucdp}kjC^Kӈwic;%jY|(ˍqebqȑL ShZ|y߮um WIݽBH_n85|!l(qRؘ#OO](;_3ZȎg_6 vhIVѩ6XGr=8RaN#IN>[czu~RMh@P"al 4i 1=Y]HEWmGW g5LE$;`uv.Vw\'V$V7ï4Z K C>!kuTݲ~]ha5GVb&H;J 68=<ێT~y~Z1F!T8a-P-((eE Dr5FDwBxLQA ?n6?o&*c|'wn6z h:`YV!E* [b鸽byˁBjpEyXaɁOmA ȍހG(l2RcG)D)dJwhc!Ƈ՛loLDz F7ʲG|-uRW9/JYH'4j,>^7e"8)b;!ЭC.Vȫig,1i`|\``g*9pld(?Y9oX.U]9o| Bȸ7#EYm@v$H=475kʨb,2|1i=Ƈ-UGW1id(9{)p>|23 XjR ~S11O@ʡ:QXNJtvODOEVIw) 젺kD{vGfzm݉ ?[~96o*IxWfO\LT]m\I]c&D$UD pTkւV&W31 p{M&[vbipjw5=b*I#myk:շr׾i.:0O Iq$LgzWII\_Ğy%"Y=ٟ>3Ʀ/Hrdĉ@[sAVua-'?+2?ɍM=Wj=8HZJ"Ǹrk-؂siҎMo^<&;=-2]A랴:,gÐ#|xU ݫ$Y˷Z?/هK'~ MU sN{Vfv+vQœhOj>'Y̝wQ"Ӏ iEI[jOo oGpNYbWa9WjT?.x'C;Z瀕E) 1wJKa ]BlⵐtƩ'0LiKaǿoRR!z[Tcy[B&v˩;7rB!rt<[`}{4sg::naSe(JA=E"Xnd~`O='VN"bfU$՘Oizhl(y>lYІJG^0̶Ht Tt̝aX=۹+<<[l~J+l+TuZyj9?}W(LE 'RfW46}qd2o]?(*kGJƊOp.$thx -[yuglvz_cb<ϪC[iRQ#oYbq%-(.t2:=ۤIJgif{=2u _}NhfpB NᅗشI֝u G-g QâWF%z2q8bYUXM obZOs`\y1F0#캬~N>\g$Ѫ0+ˇˍ87!`Q0Fq%:!!K 1MQ5U [Ird:f=ViwTh!egĂ0gnV@r.\$&wk;8q4wňcKK/c ;GA;*!aGɻ >@vYifQϣsR(63fZEn(tQ"jk,r>Q"욪w#l䌗mwC !. %k ?(wC 򞷻o4q'Akƾr^  Mp EG)[\蕜)uBA?#v~IR1 sA0 d ztI ='cϐېk,@ To[gU7 | ֙Lid28PRp]$ @:.$.{IEȔaP0a˻>sm!EHsc!GT+Ej53t3pym2Oo54#܌aL"E2oW_Bca=7Y-qݜs|U~(_?M;َ⹌.1 ,vC=dU\$kjoPjJY:~Yyg%${wsPU`2a[xO3HatˀRQE$2[Z櫁7to*߫K_ROP`XAm.~4i: :35k ?(tq"Sj=ۥg ޢ*xUjO $gz-0&Ĵ{Uq3q#T$^i+?M-5Yz5A{'3yX~2 ơ)Gj޳*=@LXʯι^whB wok*N1c{sGn l$6w 8\nނ冏a1 bBgn ̤&@ IrH4I*YgcTt50hClEAz?_Cn^Cs8_nȞh@γEOkqFM,Ŝ Yu?˫%c"Lqb D1FLؽ{68\xz1x }a8r4߮F\$g G *֣Gm"Kj:FAH[,kz0s=+eӆ)9~ H,.NNFC\"¨A.>q^^Yiwjzˮim:'ѩD~/DӔSM z@so$㖝͎agRip^t# ,ó/m%y6OL&EBÐ!c@õ;ySsX8i é"-FmHnYrp $9၈wd߁@">ifPKfU6#rXt.#%G)O2Z3r06|5rW.8A41Ÿ<oaTPV1h]Z61 `À*ֵPY3khl֞38FՍ\>DGbbgج }Rz/3Ҳ0327z\@' `}BԿm7 X{dႱk`-C)ɴcB~ U"2q_6TkΘH. \:n td R >' zc <7=~i/р |wTu!B}Z@ {u4wRJB7¸H(ܤaKdD]*h1Yo+K򴺼oޛeqh ^(^ ,,g š+NwkZï_?Uz'zM%CZvˉ{xe:wG _`R9\08o ۦ_d&*8e:sYǼYƏ4*c_E[T2\dks=IFa[yx36]` M@x@2s+Vf$%k_j9sm+d?g%,|r0 Lr AXRb?RgA N9pp6VO*X*SywW_&9ԍSMkrW8L/őJfid-_l*uRJJ֔4ATtJN uU˘^M嘩7]{ j:3A޶FL%ԍ \ *ȥh.X 3 UQKZW@+B< &zfxxć`D,DLςUnBAj:g[o |ȫ bvK93+B xBj=c+9k}n'[^(OQVZPcC*8qaN;M֯Q:Y=S-KxJ>L|ja J^(8vщJ#GDwЇSQSXR GMvD/R_{H'CU{M&FN)U#i NX1qꉶŌ UN/ nweLW=~ 0_`iձvrOhxuSK9{pkҦJ4/6 X2Xՙ^j3P$kG*v!VU@XČś=_QsDiܸhoZ3j&*_.*0t!0 OYn]>!%7oqQ b6{a,(ey۬F"kt \{umZp޼sexIih2" Pt6ǨRzU$l{G;.:=M |=uzQ-4 ЇZu4WT|?=K-&NrGrؠU_[k5u^4BH?|. rlyzn^31~Qsޑ0T㻌()"cH[ bX/ȗ#TwQ-F3V`;Ftb 5Uj-Dk s.إ &R1L}* JgK҇2Wk0R a=V,\oFGhhm-nn#cBQ/-%M2CibhʁcT1_i& RP kJMݝqlQz`0 v AD6\կÝĞ]QZ`~figB,e0Sc:יyWVB ?@ܫcP*-?h q9\7b 7#03m}b8Vigb YV|"!@*ܯϮ{WP A#KJSYlcl*;T~2'PLqb sfmsd|7taE);}}W+OhOE@%%. PQs7|צ!"+l85?]/+qZ^ڿ]#ˉx{gs,joi&muGj6>뢆 s)ɳ L4m*~_ d`C\vfSԲ>U95ڼVRρd2x޳x1RriPwR.jiO6Xa6V-8K3 ,٦tva$D/;,Rp9t k 봂BԎ+|>? okP/ME9Sn佁BﲏPx݂CphTT`Y{k 63fLg4p 6\U{¡P/:$}_Yr4ٔQ~R-L5XӛquC6\yz y>+AI?d//>򹵭~jΨ4Es;ݞiVF[:b⼇~D+K;B 1k3 NPώ3XyUoe|:']# [+mbBPVžWm0c R):B}=KwkxyDԓ)-ʸ9|i\mU뺛 *iZSUr=tjD8a;q@e lxjaL88g|vA4]*1<`qڌCE^L(֬SZ|{Y^ꄳ͡d xnץʣN^庳L"Q)[r48YV7ڇrlJSy <ӉB5N_\*ox P^)hh $܃]i|2+X@{jង[ʷe.Xeܿ85&yUBp2>;~S84\BE5m,!ibG8Ƶf%n_u<_@pCH@jDEMAj"3.La1*hdq˺ABkrljE$X녈I18ǁ^)(ݩv݊]sZRXTm U9âB9-o:ٛԎh*AV]a=xkh ecvNoLcCYW ¬,֐Yf)׹@ .'}w'%7mS7v[IpUzofKE'MĖߘ}} 1EW7 loqk#&.+Yd 1 -$Wu l=IlEJom[ꎏ#u~VJ} #ȝ\$gɻI.4U|mD-҄MLc>˩59>3_bJLp9iwlG HUV9w ek1&IZ5eay]W2Pg|: ʠ^w˧`n$FḾ,"!A..M i;ri~epPvGc7n'uk+ L~-6{`g_ 'GVmA L7nSh릡9'OCdij\o%ѵ*TM<͒ (/V_53dg4Th ZÔC1ujS1z2г(S2ᔑnjFHYxhNM;;vݕʲ Sao9=$÷N&Jb_0ObzCׄ@˕*^ CFm;p(&yc{#hXס 8Ƨ!L =T4VŻ,8l@E&t陮Й1>SxάRb˪a zuR#mޚvh!XgiTWd_QPďK&چO/ƘC1a<z9hqa?`??Z_GoV!ç_]=xu MPQVdIQC[Gtz\ix:W'SXy!Gdw7"V./}|׏iIĖ*ZmR,zP)_$m#wu2C0 >CGVjZr9̏Nw fP"H)mI'}iGnfX^Ub/dgWfn2qf44.CLJYJjIGV91^z }2]kmL\?i!4iLӮ^#O~~_"b\#68Z/Szd EhIR-H͵fs,9,dL,/Klwʚ2vɫW.ἀ|gP.R=vТu@V&SÎ45̸*Zz 8e:i^>04Yw,Dȭ0GP mZڪT<A/r!7ݘ7yXeV9AN+?&k8S$jD4 I,'gSsr&R|b8_ Z?t%D~5>=pSy W6+I 1z3Ԯv8: ;qU1`fa6%Rk^b٘WP8 Ysܠ0DCE .U?EEo`'!~֪M,;>$vQ.[|QZL)iqG?ŽO0b%38fǥxTo$tg'%#JVEA} yZݨhVQHfK}@9v!4f*-.vh,Ύk{&$0R l!¶g9h?[:tڨ#ws`GfTc`t@.]ٽ&Sӳ)j? Oõ4fF],brşXd=rN#|v_Okf9ec8BVXeq#k!(B:aN7qU1[i.{4wx^iQ7ϥ(QcxV օV =e.ZXxqBj J%asuZcce=z1ݝa D㋹4 .Zlv<oO@(+p<@HM oazGxʇq,6)g\K}\<$D-bB @ {P-ݙ6pÜ욿f,xSZbD)v'LxS4?0ٿ}ztJXU5EG x zn8/CeACP;1pǮ^n)kN5ԾЏLtLpemG4SllۑмKCHE)tjtw_1ƉUrF>N0֣ i9~}w4|%H~1ኈ,ʎ"xj~*1+z}~YY 9kN<~%Lt1x'I)f͑8NBD,,٪$/-urZ4ZK,eGi /`39;u5б \Ɵ)h8`-_x_n؜x{X^ĎK^exbDUmSu_ }h]d֛ŚrnEeM 9@53SscdmmY׽34JyKڼޱ#2/qA?K`Zmeم0xGs ZOW,z{zʎ}eAvr^ !#_v{"mY3=WВ?mXcmѱgYZ7zXZִF! ( #]ŗXiɟ1˦r!cHkMeBd4$CUfkr2J!j?!/TX#h 0>Ag P5JO!~&Ӛ &1r=ȞE/U/!I@A̗#5Gе'S!:g,^{ bC0ULadXkO5D|J})[@7~XR$JPTG8E;!$-"RwYw*2,7A%=?O.{"~?XYG%MF)(B{>9T]*D.k@YzU[d.JzV>$)Vȑ?-E.ԧ!sqO̻կ!H>IEf'oHU8 R>[,AdjI%^J(Q0mJv<^*oAfbAXB>$McZYeJRטI`5)԰̯Lx)N"w, sӷCXsL>-J* mgk\vkS01uaz~^qTi ^ٸ*tKޔ Y_l7$fȺd^'m8g{BTzt_h 3SYBx.9G;ܡ T <)&D9;[NʹbLT9It%W{Yi #7 wE0b2f% }:r5đpڡW'3^&XOj-9Y rc޻I>7ԕ?"J!877wCю]Ǣkp@{3Lx"3>9*܅q)&e$-٢(mT!{2GM)Zξf˕HH`(Od7Lvci~njs TQ;2.7^ٮS"`RӫRX{f!wwhAOq{n)٨*{"aaNrd DrYnq6MFY[xZ7\fem_FXR o2u՜ϏyнQs覭pl KqjBX0Z"fN.fqLJpAKjp6HR]FZE74ccu7]Meq[X.5fFwVg/Aʜ4P'^SgYZ7zXZִF! xp-]ŗXi%GeH*("Cp!}+(7Nmnckf`XB !95>"6CzMf@K: vfiMQ6xB{eA _ΞB{(l1 Z0 91Fb"BTUwnduJgN]j1"WJ@ä95krS6XP;kfn:F"e<GgpJ6UG '!=& EOG#܅Ld cxkDx6QiW7ו!QH\/n6\ dL*KLk2v H0\ ppkZ7 \ē!u`5WjVD?ø;9RƩF,YnvlZqz 4R;صrePc;1ɠRW^l2kaT*ݩgszPt+O8 X/ȦmSgħk=NU!V>`k2H--AKRtk 2i%U`t}mL&ȆS!IBJIkd7K^gLZ?;҅'ecU`["\77%i $k3^x%E13s[fSƨ./i?v鹉[/ЎRUQ*e09$z\!eqNLA~̹g|p%B9 KMx&QIF˞'U/@n^L}3yy)t#̸e K2*`WRsSųL.{̃u .E$ 뷂,hR5R.vI;ӷC4ޭɋtD٫(" B+ӵ ZCLGYllj9V>_8TA qGS' UD90t90H&81b3SNb,=R kHGV`$xLDmRW+=lkxܳh%a,>j6W7Qf~1NQ.:D2tЛ{ #ɌY{[WKQv5Fl{ˢK衺vngg:k>y:l{.afS|α8[\7]1E^qfK='ZeHLIIk`@RIo}l22*hk>LķÑ=NՒ8!ze '{s4\jU ]U1Dr?6(`DӼL&%ƹEY<QՏռN"Cbf9-=$]_fy^NgV5(pm=ChIpiL5քƅ)XA+Ng#( ʙߙaܙ<Ť&Jy7ˠAǑ8BPBֱM;Hpt+K42'j+oT| $ϭ@*&l dtlK~~ambÅ#-,i^G?Ui>]mhETiПQ pZD$э C~ocy+Y F7nmˑ A+iæ)pERc-ܜu&NnlFZ/qGvuӳGyb,IpC@lҺYI)( c㇞U w7~DHY7߷9X[" IJx!{3haQ!ӭuŭ#-!-L{Vhnˡ_v+iz*[0Fo@LMY*E) }+8̝]0((@TJ@WwVnR`RK^v&ɤKQk_o0 LZ%Db=4鿏frR h q WSJ)ú ^tyӍK+|MwS~,hLϟw;m`EU+UzyouڶIG˧?}EyfYKnzXV2]Ư!6 {߰p3+{2$l]kҝh1R#!9k%aG>pi(<,cУ{4M=5H_؁؍4e 3t5P~(yg !w͝yk7&s:Kv{'J!OL)7Eޤ<|)bCwgs]. k:_N 4I? A8 h+:PXIRA:bBd;2=@=Ųp/Ab:nJDQg!/GֶqE vR,۵$_ G ¡}Dx7 4׸xaٳoBLu+BqN[¬-k8ib@9wIxxAN2eʉ+btףd3V FixIqSz[fN) 8,xw'"^5?\]we…(w^xIJ-RnGQdG%`nؾ̆rL'g'R?8+P]x{xVqϬ581df{~IyyRc_GMyf%wON 0Q'Cൺ}:PemqՍ)^JɊ"=G^[Y -q[Aj`ɵY#NPYC y@C0k̡@ :bV`;*YMviv4~WNy>@6%[K1exsGJ#$1$3dJű_L ynӒc;.2t* 9Bf[|$5܅yA"`]XTv$n:-qLx='JGQ*кp:O 構SԯDJ~ի7} b%NF3`0 q<VjsrcE\XF\ 7`Nc΁8q?"ŕ^?̃/}>/P>ꢷW.qTuj^sN~ -RVI $5=YQqc1;.JR?;/(U*K0,e8DÉ906ӌPl԰^?f[v0;C#|_̧~·1{9*}ώ)ܞ lrtJqҟo:?K$KH뮝_eVޑLhOAOww{GZLs&``yy#t̆\ d1fP.gNK٨~yM]``X,D5f7Z,kjq ;S [s e3l_`~IV8߀D 'Q(o妕w\Uw#v˅#n GW)Yf0S4xCr54 U%B\v,5Ѳ@S}DhS{@}k͠C+_CEoQ$ zd-A\U] U6z.MCbǤs%ZYPb ٍKwph3hjdM]rE: `dw:jN0Vy}u|pT-1Z뺨K|Rr[* }ȑ=B)z[v2mzI\Ħ.MDʆ²sbUG숷YxzwCG)qhݓn@ XePf<"U=tNk.8) W2-K̯]CB͓`D=f{"uu0\-Ud!O+A4> fJsMg!|RaF޲:Uܥ6M7@1+JnV{ݚ}dv: L ^ ah*v7#\-*=;#~U0^#VK]%DJ"G~OP|5΍uz.|JG~>켧G\N}n|DQ.ߑmBAA2 +\sQݞv]ث><3=Zeo :D?]R3P4>KBDb4c,?{lA^k9Z-[H_z0ais1^ԝ%ꕐ`+K{,B tҐz n"0,.G{֛3Cs s6- S Op jHYKx8!MTj8"^pٚi/ˁYFzD(/-%9 a lC/ dQi μ֕,;Pk$^23~UB p֎Pk&>^=n_KH=q09ۜѩXcEs2IlQ3 AmYِK8Kj,wgKl8.*;s;,c]ts.t9{/Kt~'*ʪRыTݢ$2Kybύ/38M9|Y =0c(!l`b')ЮMHɛ/zG rPJzԢ?P@ʌxl:+!c| J ֎v**6P4oYyLj;z{UbIZX_kr4>5̔ G<h2Ê|kQ=%vy]mN{PYpefN#JerJѱmȒ.>g\fq9տ؈&b'+ 2G__ړ[.1&LFm[1 !.F@eܱ{jJBV.@CB9.f&VxH,T>42,B$Id9>ܑ&o~‰pMGSa9*`X9آ#A]܊=Hb Tv'^!a\ޟsM|WP6Р!L)`)!7m/"fʀdIlmȌk+ y)BS_Hg[ ; 5>v/n7=D:o}PDU맍H6;:^uY Wg,ɠHԶ~ }[HƏHUZ }`m'_ޞzox+T! ¸C(IDO!1*6! M6 D5Ec6oTZ{⛶!ݫ!|8LIٞZ<'Y Ff?fvBIb{̈wQK72 {$I^=oZlP&=(fLfR;R9o`N.1PG@"M}M:ȿx >Oy&x:`ܲwx.3c۳K5 o(TH?I<3@#, E4oxkm (<cuyȮ^mUUȤQęilC#p2`nc]˳mn}mp/춽u7`Fݎ,y!&"Ty s<}agr̘H%?eň,Q@Ð,͟69-ְ EIՂ@ B\|'VJFpZ6v:q“)^q_{$"RFOc)60J h]L&Q( {K|$ڐta<[&FLHXt Ba 1!/*Juj3WTaL4eÀ=jTm_0nE 3u.NrB сj66u[M)l(l 橤_ 4"+Ԡ*E75TR|x<?"MeyjpȲ i:(`l9XMei7?Zϋn:q3x3KJw-HӒ 8ZE|_RC32/lQ&,p>(ly=IUC\9r 1s>cwgWw-aZ +Ntl3DZ} r\ځ}oݵe2$ \<,:>\%u1W2N(K? *ocjW~;qχCRý&?`<7+0SR[**>sjed ĕd!wZ 9䝉%Q)ބy/vN`B6R/9*qg$ǹ лC34V֝lzy ܑ^~u|h(1х(wz`+02N,5ٮ>O2Z+߫_rR,f㸯\̈́{1Mjу(|ID~;'^B5f7>43Q>poKR\NꭼyfIF 37Q@IQ5_=gZS6P>YK>aem;CWslr^}pE2xɴjgϪPs2ҶKf_.;&vYZ`凍 S[r!3,s-;NV\6t-,WUH{gx{A.d o;]{9=-|h9qIrUγmyF$l[rvcWTj 0flZ}<"< {1?Zt8+eFf}|iO2B*A^>x%7$ Z #,oլ}![ L~z9\Q7皅e"r}k;H-ε~ǫ\tIsñWܑZsQO_`V`jӝuW%`YRoi*h֞KN|bЀ/ܡjk| TswW[6KgaiHĘ2ˑ@sv*;,2 ۤKdw8;u,՛r[s〈8v nN,(AKtSCtJ3vcKsx"]bFl&tCf]CeK&={Gb(:rJ'l{ 8iY ɰ7%KB6@8u+֘?ݑuyO4(>q۵Fy{AzݺqGx>PtuSL^췏{a拔KVSBe5cAsGqÇ4Ex# aP\׻Xa.ȷIn'r{w.vXupDz|RƷnGG;]pI#En3os6E_99jlMb2z}`[~gFTUoP$z9ӹ݂d ۀwwژ?h%`ؑjN'a4",w(AK A ^ V: m!&vn'Fv0!VY1,6>pծR (4[?[c! 6{N{POh9'W0ʉNNCGԃ]8L _SOb9nl-9e:@gr݆X M6`$T2O_']H3fAI3Ds@{EΔր=3}W")x[jJq)*Տi֙vxM4ҾJ4]KsE*QX4,ACŽ×a~"xSSVp8p`\L$t-m¨ω3u'T~ЇKI\ -@BTS0,"y\ $;7E F/ٱ Lla j WH3f\=_U?f[BT*y0)褾D\Xx_Ϝ f o|{i%L՚>'B.%D8JicFs.1g\x=˨ - /t)L2;'șBN Nbr,NcYx{KxjI)0,t{~ᆭF}\K|HM)c,&@lpc95(;[moKQGU]B+('|9/G1$Jвs#(7Jew%seD%^犓C. vT(duM~4ԸH4}a%{o\v$N NrYnN 3φ;w hYT&+}P3{@_0 ߗ$ eaO43Fr#R_kH _w8=uhEI+~]tFZ}P+ 9[ClT߾@Š9{#.5mPr_)}!70>5Sv2尨yi`9( Rx #5kM~{O7!c(_&HC}42 x,fD~+ ַ&gkX1:CmMVe U96j:%xI.U|FhrQJeӫn5PVxge2x*8akt[”ha9Q>N,6`hc@߬nw' )`^5E*v*rEb# "QgoAe(lʐ@cb_JMY ͖r]qBDJ:Mn5(EvO'H 2" }n:V"4޷ 'XNh.H(jBd &0gq1."l}Bzqn@6]_s(Y+SgJ{ X7<&KRd`=t{:bK\b+AV$bXfUJeZ Ia9δr"%R0"/C䤇(c,ט|)e<,%-`NȀfb{SsZHK;)40l3utӗLxZ(`֌& "|cV?%jMڐaB= MausKY XsbI͖lS%%<{vX[gBƍ[P<,|Y!<Gs㗚YK/xE|6z(C6٣$;|&B:+A"9چfqc`JƥdnH*OUQ<9U%IC49ɮ&}-P6Lj5&l2s@ںU@wnSi?G7Dd'[<)Zyd d ng2q"G,y_kgֳ V)})Ӻ|ex=EJY擅҂`hxWYSȈ $}ݽ ͯ\LG}҂1ߣԹcζm~# _Dgw~+j4ZjzcĖe/OB0.Sl>!O7E'@J&xq1\XfХE,z,Vs`o% a;Rz MIՐ?E%YuTbF9 q,[ј͘$[]ԽzPu~``xTLhnmd's` Q2E7/v]sc!T((9xGh@ޱo&_m$:MI.H{J>[[a+0Hm3rc,p|• b;~RȾHMs8 =mږ4WpJXyLR?SShO_W\ w|^sp6yϏЪ^қwl(6JY^ҡWܝB:%t AmnꞴOúQdd;jmExHQx^BTO߀< ҵ_?[2m'}J G UH=:A\\w=EuN\f?K {ضUn2s9W.* gˎjGmCj"hŸ.]r{cm#+J]!ե.D'RV,Яo5ɞV? _Þr#%eo,E-bPB]0|2mTDdYK̵2oӕԭ6Ҝc@ߛŋ,5 DEHJ2R,s:]Sb:cLunwvo1r1L;\ۨ_[ݦ_EtFe/9 , ĉA?IlEqhU%S1IlPlæoհ@ :8aVl$-Dg>[s"MǢeYRUt6@I}5UYt†H";تs 2֕3D5D~v`OSIJsaD%fbo^!,[P8Ƙ`9y4#-!Leă3t)FBt|>-R2K?G‘0R-Bg?>Mذd%Xml{wI[_P60 O,1;K#`G֝S] ]mԚ{Ky?Ϟ餽=t~&bQ)AD TG|nrolޠO7t 6=t"Y(NW3*Y5}]O@z4!iPx՟ vvmPjD)#Z>ܺ4WA!XFd+ң-;t8h+םJ"+jf0PVCͳ,y 灾$mU@ ؝0/Öqׅ75Kdkt#Aw ƽ۪yr +VW sL4pWVFLlK!)3m-U5 F' 7dX !K@bp))y)}Xŵ= } .svu([`:-e T Q-c:ó~V PCʀOHE.Hzc|qI* (K•)z*-F葅o3߱zQkdEʒHBWPrxΉ6}M+2ɻ.X}}7( 3D)3$}IMWsc1[\w4/ǔ^[llgR!v(dd!%z%I#>yqQMS&|_W(NWOn0J_ܱdfl\s9 cf`A"VcGsľ-,DӒi|6_T iU(ʑU )wEUtƭhudJ|YWyk /eVrR6dYM6kybmOs4+8  îT <GB>g$2ԥ-v^. p2-$gDŬ[`_.kȁ`;e`,TEW*$!h]%[E%aR=Uزʙ"2@ƀԤ=k(t9׿4b$: -Wi:A^=D=UE0dU$ri&W3Hp)"˭٢NIic{2I|NoLYa,2>k6[XE'u)APD aQ(+,;: gT yw3>I+' %M5s~M4QXVwѲs2B%:|Vt3j's}l/dk7ũ7WƆˡhQ} լaL}Æ;R#f_= {`ZΟUп"=R|_nuWhj9ru I"=Ԁ{{籅`Vtscth~W됙_~ Yj0{FN &n$^{o3WIH$/Bz†EF[pk![jw`OP2Rb\ cΞsUH0.ETBXV¨4,!A;wtQ@cgd4SVºm.R.mOH}5k!p$DU$Yv:f41k':D^U)vRh-s L*$eӝdV%>t3*1hnKs*tڀb5ȸ_QE;ԕ,ym;2`Yx^)Pxf.]Z{_sSWP# U[Mpo;kqpو}H8 57IX2 wbd!aNՆ0oy>mv,g1^Ӿ"-D]tgzaB1/~s^,sĆc"Pb^y_o#?s#v޲%!7XgǍ%N 0mXGM=Sqk4r L?Ljb'kyexXC[9 C#(RZ~1c^rE?3]fL=`.A"YF כ%7½ɪg|J-MƐޚb^t1(Mٷ7# .s8ԝjY7˷b)d@H ^:{Xmqz1_GPҥWxuX܂[#s?_mhu_?aPl0wSlk b`Y0qt%k3H c0 W\FSoRH>hEo\QNlmo D@. ڎHBmNd$Bj Hu# Eꉀ[i,FhaɜLx_B?fVJ^#dk#[ԙ/I4C RεΦ ?-|+ϡ1gWtėQWOzR"mebR4F?2ḁ p9¦KNk M͡Nv;I̝̬bQsEKwJʓ37s,aaO~/E| ?AcS0tILv W=S!1cT^QtccxYʺh{p!}0O`*XD؜|> 6ʗo? T#0aj6:ue"Yne]*%Bu2]f/\Ԥ;& P˳וڱpUC>M/̏lJQ$p\UkTDDW/4-V=VraY" l{O#t"9$?DA3\6Gux2{UVSNç*MDFvz6 :T(ψ@!\މXn͛x !AVJ=bYFN,o'}'MeУ|׾,jf%94Կ-[3<BX|#MROnϤT",-]^m̛30O@jLg3g7*r&?֘R鉁}`=&Ō]=HiWε%$YR>UmSu7Wl=P]Fr7gEJ /^JuM,)"WAW-Ys;%O#/̶xH;I)d90~`u 嬶)YBD;Ս-滷96ml1{Uо#IpA\)hǛU=#Ww)֙1 ]~OW$=y0lN4/Pqh| @ub aûzu;*AF!/*v0r~h^pBL` f?]t ot9,:qI#o|h?2i_PSqz(sU>@[[ c pA\V'SP8j(*T/0Ws?)<pFRh96;= 5*q׋L<_u p*O؂~=RsKfGH7b ^ng2@\ؙ(bZf;oj,2[8;]KN3sqX3)J4*[ d=X&sTx:_ȠAa!@@~_bpblEpeo a`GpA7X>V'=eO;WM,A%Ó;SmmMǷDN^ar.z1;ykfAq-B?O$tG\%ߘ#ǦŸ[$+J}MoKOhHFB +v`^d<'yЧ%Z5CTsWlHИ>l3URC6A4n-5+EWP2dF.$Fy}뽡2X^Ҝ 52yNI;)85M|g|.őrMZ?с-709䱞erIzjJĀ]xa*0^,wMe)*31,ܣaʄ&ݍv.)$'K9ijḬ>G35m#9˨TwBiwq1eV& *FU< Z'-= ?QmV6('[ Fb_\bκ4> pɁ)0Wʩ!l!Crfv~Fqkq<])EpVȪ!~2oDL/?Un/MY{Ҫo>4oafj}lUdraLf=,(MK:ep|i9OO@^|ʲ28ᅎ JQQ,m1X?T6Jb Ʀ/ipyO(N=EA4+3mOܣ" j6"X;E&y(N/V/N&Z.^\;`(d>(YMEig rna*ac I|a#εP⊘k_m}O ݯnd4`L,%  쇽ĈFU;?h_JAM{Ԏfl*!r,2Cs&V'_J_+0TNy륿ΌLi6/e7oŬ7GY'?Bvt;C&@m6?Fk fQb3nxsyҟ`x݅ʣ7[4=W{*<+3XP&ktYdh4eCNr$jW&坺iAq7kRhFI^0۬WN^4WyD ʄ4VKޗ+)Z\.*:X/RM I#+Q_bŧ1:Fk0\{?"DţP;RH!(sDbs{kVGɋąOĭJ4 Ytrx1΂_͆*(;οUt;=N~tϒ(k@pڢg0ภmN94D+)VwŠ<߻ MVi@_7 $:3[, ڔP㹡f:,;ݳ H18?U?wJttEbtvw b':J!Cd eV6骄 ?ofӍ_2E)oj| % }өd>#H_5:T:H[ђFo;/\C3\ #"xyv*yV8?u?n:-7/2<$du QdQ`Z1hR!L)]Ε=0Y]kߴJhmH` `3]$#q&~l.!LR0Zjё_2kzx{&J3=wl+kNSrEy:\#gNqM'[ ^t /9mR:1G֓XnZ+\J\` )'8{e-}M|8cŔ;$WV59P٭ʸчMatsGm r1,KekaEԗ[w| {„/s:a_tvjykj<t^pkHǬx|Bu+gaS%_6!@^i֔~5b" A 2wmCLP^ 1 :J2@ |+(uN[黦'90Np )אcc"]g&e xxz&G9\x!(b3G{\'Q$S&35d캓YMv ݠ4Rr@ [NYiԭWdh03%CQmiumbвNg SI<&#TU-ݪ?vZ̋D,qZ!+[$9xǒ-D偽Wpc.a v Je@k`8F}Wծ8).!)U)m@F{F/6>{ LpQݕ/sb6*jGȯi%4O@M+B^0Yaxsa:ڑSʿ^Uft!#BZ"$( w8r^l8HzW z @5E }a6,$iעI]tĖ/fggܽI|ۺU!^~`hIrW ܮ\z!YJi !iPpb\ \k!K!Lpc:]ʳ9&Ti9_ X~sXy3:/+UQz_L1Fxʚ/i.c91q:-E? C[#sx `SYLRjE*x:_+ _ ih>$ZG4^01m':PnmK(\ҴXnATƪ(A}+$4uC=nAI?/1 jRҺ{f\h&ꚍV\+U{_Kh+y#Ir`e T@d<`J g8zTπ wr0F3l!(kJW8_tp4Z:#V}y3:Ǥ]jv-I6Mh4O]g~ӃW.૚x=*6o6>4M6sAJ v vrM@#Ma&fI ) kp]]RFK#j3$ Cjw `(xHW\f9P1PDcer둵/@uyFqPZkwY0yS +o=7SO/Nz0R!HoJQQyW\rAkBd! % H˖j\7 ?)Mc-;3,{1:/;ʹ>s-[ >Ii>)en\=zIJ: ,1?fzQ h`WC= 'bZgc@KoR-#[-#0rxYXY*޻yJ%[%)⸾[߫ .qGL5飦=dYq6AqNb@-_ J ykW>= "a|Wux?9:d'Z2oԖ2[߫r{i7dUXP h귐91x[EÙ8VʑFn#+v]M R,XHu %t杽[wtCaodIEe{#m]? ^!mj@:&e^ rSgc4WJum90{ ,cϾdK4 }| ӜeM 8~W U\SQ`Ռղ<,ўALM:ƨJzRcl>_uYR1LaSGvͻ4@vhݿݒ1ю0oE-OrZsVvz / l#hbbꆒJrՀ|6LACُ!8Jk~oVvT2%ϳJ !6C$${^*UV(wy&eޙ޵Ey}hB З>ϐ>"KC5-W/oƌڪDbafQU:`qZJgrh|Bd.th2n\zs$AVѨmk%)JaM&b)Ym"HBl>8f9Vm}b'"sxNHdvH"rdy׊9Kq 9uȩgEک}P2hJ|fςA_G"I"ùP|5-ٵQDz.^䋄z~awt> &,Ln7bn.7{%-)+&5RmNUk{`$7jW>_ \(k֙|} WKq5QHL{`zE`P=T lXg8 ftnAqƌSX u$!LVٯt2iYݿn;z]1?aXbvJa.IϾD)Yڄ3A dhJsfl}4ҵwDh&pWF +跶BE uϛM6Qːr"c0̮پz3^R)t$]eWcnf]+Wi{PW_iT؄slGCQ%?ĢBGn܈wy_H>2%.qCF;I dQfSQva2XJ.hH-@gĵ8DDoyzZَ;mХ<o>{Lb Հ[lӢyY0~DVpcv&&`/zۖjܵ7itme?_s\!\<6{i" iZ>ڑ; xoaZ:Ү:M#2j/NlhE6A-*HHtb"p5³-"Z˦G_\]]Pӡ.f3 V_N8pе!u|@`ފ:zʗdY@sORטO  fW쾌%#/_֭ϩ6xfnޝ"P:3.UtE߬\1CM? 7%"h._yp m%]W1g,K`hwIx&*5,]ge/pH7cHͱVx| ;P+ZXDayOګ6΅]U$11#xba`VƑ!ؚq+0}*/n%CHcjw(˙ǯE?#>>n%^ bnǙ8Տ`+wE`X uxŋ*rxz歰P_]+]NMx$y<H@w!BRG n8fS}e,'N)m姍%0e /LݠB`=v^:'"qbwqhE%~1qd՘~R!0I]q F8qPx,&LӿB򥁙xdǷ/2`Dr3Q/ #4@SEüHTs K' RtĈQJJ){ԧ]9dN>e=8xLc -܋RNqT ;**nmEDRQX#SyisJ/VX*ɟWXQnXd4z:G`×E;߆0G?c>;;S||M&!MXMM [D8r=֬'Th y)қ%{4ҳDsbsV΅RT#06a<)kJtC3ף/D V7S*Nq 8I \нmބ-?*/?FșRB!21?ELߕXMjc\ǿZd ]y,ׇY; Y I5#Fϐ1TMEK7+tՄ$%Jݝ*IL!B䡔5ϩ(WY#'ydVDfnJᔯh#:yޙ>x9nfuŋ 9eovjjƄh;`xlpAɋwA;ixT`Kd$eoLA^ ۢji VKēF&k RxEBwjVĂ^,!w0P#̓]uYW/֕K20RH>RZab[`r=ě<iSQ$eydJJy+ҥ|W(;;ˍjJMUH8t#^)<SBtuwM`i Wl@hb}bj?w6~ ԐGWrFeh?Mz!ҒQ,'ɋcyGpa9 PM~ܫ+X0(/R:M54} ah,QRマz?4샼8XUOx&5 y4Լ-3)LN OB7X;="9iLT YҪfT)'XAQ aO=i1K0 aCB ! a'0* v (FeyUrWa/>p"i_}fN ]>2hCFE&}k{#V޹jGьP$ 1HH;žp-_7e4&ȷCISӏ9 TǶq^!)і`Fł~hwrMJSe;N@_tK_McI*a*:켸;tjC2QcS%(M\PM.d*5@mKS#| e[ +%i/=g'S* '8जR%9 ?ZĨauKEi=䑆E|,C:'cex{#!ndͺZY r9Amy2L%GQܯX`trZջX%ZŽ lnESJV*H>7) ¾,6; $gYZ3685f2bc7685e87959da80cfe5929354e34f977562b290fe09bf286bb6bda22109e66217f2557b07 1d5236bc9b63190b660a08e33abd1492da3d064f0248488d2383d7ebdf30ff7eb2b033fc880f8a1b