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 y)tl ]S]Incompleteness:threads=2elapsed=718.891cpu=1126.488gc=18.088factor=1.577zXZִF! ]ŗXf1-/6vRZZ,}ūG5m&:M+Ӫ[F0Y'X p~`_Rq͜V˖)-4]V)N(UOQ֭ت agi\ש>E>0Қ!Q&z8@pո*8F1 cAޙڛ2vݓ6A,AdJ![3X+ s{? #*ZG6/T}N]D.bM`O/ӊ_%O#-%cv3 u_|2$w86qa!9nTo ) Incompleteness;^߄*݋(,1ۉ_碩Fܤ3ٍQI ")ǜ(F<tp%` ͌v2xiQW4tJ85nl(Z[;jpĭ=f6>[,MNi]5|xY (.!*2/yB,#(Y`x3%ΟIS{S)$wwOSq5n`hԞHwS>[,/,-s|7ߩכ=[n &%yN%JcTZP'Ӽ'ưR3ix3^eK s"r$a7 =& ;3X{dU=Y<u˄9sIR"^o/AEX-%uA[|LB~{`vH, # _Qm(V(  xze?:5 5Nv 0 +_H>RaXn 1|Uax7 FoÈKlBD1%^r$4Ae 5Zql -<"pn<ۦDJڠ0uͷŠ3qneXh@y \!c&sR ՚Ck.LE\ԗ:U1n* 9VRy36B sLJ#;SL-;sJe)vou~)<4 d)0xbxS~峧#xiԳRc=<7gfy~2 H[-֏*Y((;0ed$u<LpmzTUV&+Od ߚɕD+&;g2VS/PΨl xLAI 3u݌i*`5N,Xelt{WkL ߍx2O)-݀ "UVn.9$̻$q% 2!Z)/FʭBǑ:բ^ X@j ߲<+Iag;k`P6[GݴGl"uew= cQ+TE "a"vP#Rs񘸷 UBţkB꿇[pnE5u~y?GW)IcA|T&9Wv~uHIUHȈv3 r_ETCİ:={$EMeA6J^Rgܜ'H+_u ɥ0F7g#C ;l&ni>rB: Q33W a4f1~c{ 4Pѹ X |Yn-H`+[ 3S^R"g4 k%DB!rW+1]>CL^Oq߰^hI!ӡz0OM~0p:z#jE'K r-9h^0ʏ鍸JW&cxe0ezTZѻ349mh_|ޅ:8f/PD%j,\U4T+?h$?q!<5:)Na@B{tD(Y빺X]g%9SN%"߆-'Ʊ.VS9h& DhzbTUSz⚃4\}U]ԥ6kFR*bx)7&%6A*Mк]N΅!eV|HQQCdH )O]^7?<$ں\=D4Z~lX &}}tdŝyE1hŭ3h7FsHI)<~iJ[sTэ(joK"C0{dQ%t^S0[/歞x@w@H/F >⏏Qn^1M"_[FgEc~`LqJnQ_q'δQ+x Rw5؎ hPS}N]T󛆝 B %J[m+V꾧/7(,K b-poyg\BjUΫyrJ59I)"DZاJaV:"KZ?9Q]TJYh`l,0ks;.vv*glB'1~ο[ҍkz=wZMOJH {7.<lL/΃*TN,5vQynO\eePv78te3=R^$XMr["G-2.,K z]=3؝52' FA},%4$W$>6_׌=_ nzْS ;/!jɚ [hw47*$)RIxSϴ\ 1m,u%~+ 5P6ˠ%8uŹ.Yld'W:k<4؝qȥ?EV 7NW/PRLAi. NqDggU}*GE $(Mv]82r[5 NlfOXO=\:HWDiM]!@y9ra$37V 3<-`m7yH^{nL{| gSj VMnYAi0XnpM⺗,搐\ix͑a3)ij>L dPqM; 0up=Pu&Cq+ÓOTcEcsC*݈nD@ ] wՐk9yo5~n8[ڱ>--**/Y;iz}]~>cy! uY9Cy^cN[_Mj!% WEBN%f2Zݦwg1c>0wSﯲA|i4&|ZS C@ʵÐ ԥ*0fOaozN'qyD1y(?U2D06W MSҪrXa-tg܂M'.-x;G*}2,0cs `Aƀ =C2C\0H2Zw5{7 `N%ȹ w[k5&2U ->-[JfAf|}W:x?)X{j(`~=Hߨ~ _-OJC Pg{KB`XOL,8{$[ΐ+*U{R!Jh/ydBpg$P!%m4&>{Zg-c ]602bstJgqJ(^as'b WbJS^d]E^QNα !2g׈JfKNxA+r}&'N1+鸈CcRxDғ D`M ?Q089l]JG|hTdVqbNgwaHf@©ua!D`d_Uw_zTiu6Q/`Nf1V]yrN3"ޡD?NF iqFG -tYLd-'&FkuB2k

2muh)B"d%&]6Ej۶\&7F~մ0Yly1]ڝv'EG : J1ǰySyo%x@ u4-P|җH0U%6ʿ/Dh+۔89ۿJxk8ʛ9ŽTC^*&$7 D%;X0ɔPXgDO5{Q6Qk "ALk&r8:d;0ʽzı_8.AC%p0Ѳ\e3Il^cLUNj0f%A9q;c1Fhh};> WrC|\Y}L6n0Z' ϺW((Ґnsgh&b ejL{/TavJ🯝3%镯T𔥻b/jdiDKdMfPʲ¬jˮM|,_3ףlO)D1::U) 䇗FlCŌ؂z(u5*I}9A2Ou6<)Sq-ԛeh9cE$hqQC qLVd! !f8$qZc4d/^>mLlOɮGD?cDW3uC䠂d-;]}d4zbF::u'%!_h5{=zḏ s[k3 H_^LK&vUKY቗WV[K⯺I #V^cRA[ܚ" LቖԶ6]͸IXRvc`yTTE ߛ%z93u (D9WcΘ^'H7W /u>6(uɢOȯQvcA*moOAfMsBӫiZVńH-UU 'ҤH|2PVSKT\v%C g&;jıSj*?ZJ7)!ܬ [ۉC7Yro Ek#3TCWؙ} V* =sؕ)+'2yR}aS88R'Ye]_ӃAy8ŝŹ+Ʉ/)ZQWHDQO-RTg9͌>rh*2 b>unj0Tʔt _pؒY6F\tgZj}#DP`1b3*>篣JZ.ZNyM7Joi-- qЭyzԅ^C Ut42sWH07k6B._ b+ Bg]" -d-׻Lv,јpFЉOou~^pZ̃Oi*x))q7r!vV}%N T}: ^ařŽ&'K w;R~&-3 ggU1i<ْ-/V8XQl:!;YgYZ7zXZִF! Mn]ŗXi%6qd8?dWj3kk?6 -Y_q}I.db*(ۄp ǯbZ)u[2 2i(_7#{\#GPĿk'򗚋 :39LV ktSAKV'"y-, gUR08db΋eTJ!^<#XKkXKaX{iR4.+-hB!- wd\ 6`2ͥk uŷ) &լz8 gLÅ0[ŽS s_wѲʱdϴw&ٵ5wၾ)G6?!dW_TaCG` 1Z,~<)!Uߺ)qm8EՄx+yNzAV(A&oF1ΫA~HCs^yJ* F:E=7#]{bD9'j.W5\zH ]˥%Yu!ܺg]fi DĜyUtP8O(so0 ',|~ZK~o2$h jjmـlEV<ZҧOFGgQ>c~9Dp^ě ߿m$O0p1de ^-N|[=ɡ>~?8K+z0.de9`j\qC3 &W>- %ˆN_ HBm`WAn!qaH?/U3N Nqˬ~(H ׊:nng!T2w“o_TQ3D'#87GY}cU:hᡶˈPGQ '@U<Wڋ̾  IʋYYE\FOBg.Td!(_;iREL |R5O2;j$񴮗-N_GM}|ṟ9sA+n\kLJxRMI68zZ2HK)džnI]Ř`,&H+~QK""قMZ3sot_bp4mkm0*_^54&ȼ2 z!G/  Bz)ҿa9CǩUݎ_bYdNJADxpެetF+6I2Ve& h'cIk í,9)ԈQXEϪ!u\{T"~ NnHżh]PJ[H]KΉ~ec922,aъ{GޕP V+r~!~a+Uvyg H_{;`Աtle5dͭ$b8&&"UPQ 82ߍZ2EH=9jdׄ"y%H?6g؁P'b` KܺWIfql\o`t]/{NuHK V`Ebk:Jک"*tY#m\l( Ðƛ lވ1.gvST'WnP4>\m+XY+U,T{ {b4L |Zɿe7E6%{GwnޏhIOӢplK7W?G덲жs ;MAWJbP@;2nh[1UDZ~Mr![x]H`n"}wҝ !6<1s ^x"\:nw^ѵ!v3+H%U13WZ|ֺzLJa RaKg%{r2j,ڟL^o30WGʨ۫๑,|[A4L"8g(dMPF3r CǴ?؋|g\ћ%#]sL=Gnrx>l ?/L>'eA' ZZ}ؼWs+IW݈hRy1%j " bV$(>Gb%ҁ  Jurx鞼}b8%iF?wK@3MI0O+%(6Hh:%_XƭWP'ßDδk5/H#J`ۋǩ qq !遼: ܞps=-D(%B&nI j's}j؁<fRT;y paAשF0y{%[0 ,?hŨa|n _ߧ9ǪS(H~{IF˚(TJI\lη2?4;|R`vP^2A?Z,+%B竴OOt ѿFc1Ws ۹YtRm*࿝-뎼a}Fsq60ϯ- S|cU/>t'.JRqZ_S0I69}ݪ%ăm~O'V7,̯7, C)"ss|T^+ 4 g 41@*FB[!KkB1[O3CY_[;M-&W0|{X-jCQ5 G_ 4*1Ә`"Z6NCOrYw՚3JFUrL+6&T8XO.QHgCyz dHs7 1&4 q:-n$(d_aJhjA9h[qz\JKYBkMQkbڭG\Ǿ Fm@2GI- |/l]iOyѥWNBԅzQaHކzT\S#;4:r}2 n&-2dA9 6-1{<;JͮÝEmϏ3 5'Jm=G4QWd@)Ns4Q?6>N1!' )ÃEj̆/}8~k%Z#JWxAyu)O\EP_ShHXumpՎ5frzAKiq~ rFB\5=UZ~ lKQ'2Rt)cUWum6Pi,:tC8lZͥ %1ak Uf2j!?D KF(4|pp]do-BPYELҺ"` e` 8?i*px8eUhг`L&-F3PccRR Tn䧘[#qLHϤ @.Mz7(߱P τ- pߦ<匧ډI4~taLԫMRbJrY,{)z&6At_սJ7jQ8zY".&nfL:$pJw͗q򴣧R*p qb^ ȳ)ժW(WO*|"Jiy|Il5a 눊+\+Z+`n4 _ xJ\g!1/|uf7I,dtQ2rEuzR _}IKs>/i|BCEr d9'*cW 1mDzs+sffLN|訬q"w# ]EW AlarwܩNfzYOЭwZ9"i3uqD|za.YjCk ɣh%޷cQ2YG-ћ,?xRzB-vAd/($aҝڳU1Ԛ:=U6aDDR$$>#L>\z1 ץ%jj8k77~ĦHky͸d Ɲ޲߉d9%$Y}#Na qjd$g'“d=ma+`xw%A[w`}p{puz+N9WN| j L cXXŠ+7,'˗B)1c %oIMfrƾݙݏ 7^U+=[8]]~`Wmn{ZdQ_[K$cfs+V@6?eO;_ʢfX&ZfX?eD ; k쀎v57!Fc[VtX#Z W='Y/n_ 禵I!9J|F{s(-aiJ-R y/0.)IMxä]U9C1y(֪SΊIu[=)Ur!dh[xm+,}aF&-'8K].x}Pa;y,pc*~>:PS褥J=HH[zUp|6b)g'ԛ `[] 47AQ~ j5ٿ3Č++L) Wƽ\bDֱ~2ϑ/ܾ0x@{Ed|0d)jf8y?Ŭ>S\OK_ٛVp&;erMaE(;@WaT\W+yHo<*3W px3Le6!Q½>锃 pJNwS^sZ=İiE;4]ڎpUZr%[,{aLքpeƽ\]* y0@Kԥx`. 730¹z//oS{j %t6|SH zp̻QvfEA 2.%-C|\~[?0Qts{$0Hwk"4-WTEOF8qh2qX>iᥤSn8̊? Ne*׭?f6n.RzhS*njO ~D~v<#xຖ_h4Jfsk3.s,aLa4 _Jql#wڅ_+e%QI;=&z5&ƏUx/?S^fcu@TAtKta#.]iC=8.~+96C^,,-ho}˴b GL2rX~XOJ{Sͤ₌;݃0C$ȞBu+<"1Y KX5x"hXhrI ^L0%A M +>yQk3 iFWW4%6|ewqxY8qNI?H,Hc&3{6,,CwE=AI4E`J8P+n m< 39Yn.rVP(|uQJI4Ymͫz Ԣ0ˣNcȆnkE=˪M:$Fn)qǞI2,ᧆT ix&A l K]q&%]iEn6sN4Ag`P:u"!Hl]Y#T .UB]-Bafcs'o'#"Sb!调?ӥDՅh*-ad f-fk]RՑ^XoNT&9۶y'sLO%%w^UZ}Uг5 ^65X+Pq~ 蝆 ^d=$~O2K iktYb1' K4enR :,'8|W[ F8On%̉Kƌܩ٠-Ãi"!_=ߖ ڠ ƘPdМ{75eݛyQ.eOeȔ `= _;){In{]$,nε}*@Ydk)QoDE4( 7pK\(]Ц<|CGeΆC`tTJM6٠<ٹ6Mm'S>7P֭=xX؂>Jb*Z m^]ͯ -,D \޲ka{ygZiYΑ/6h1o$ PTrtq(CvКQIuAc?Tͯjt&eG6v\5ިL#H= l QRL.+YEv 3Råޱk(31w8M*{#BW$6nC Y)T|Y"tFI9mlE LD]-g~pxzjM*Hyf&˨B{cE*;f]Qe.T"a,CELGv.: Tx^YrƅM7n LIze M6*څn!O}])Yٰ-yJ‡!ݝ`9WB',^T.έ7uU53eolQLEqeo+\3oL5nKj~r*hl兩_ TX*/(̖ٕIKQ1ߧċ-ajZsrWWE/| 0\^Lw,nzXkU@xZ0d6mKc;?ԭ?f',ue4N}?{㺲as=f6C퉆r0AGǸZ??Bir6{J 3tAZ4G?IB:fڶxOײzX mWl!g,$aa+W5DFinf"%4U~W]/!qɥ%}^/̖tG_Ua2)Htt&=TWhD"$T B aP #s0MH;dGM< %A Jg73t,x9UW_Z̵JW x6L ij}H=Pv4_݄!9H0ےk@g5 9ߪ։pLǕ(edEx5[yd-ty(]q R(+/C]a*"Q2PjA7ܧ5!}+݊A@>x?]\hGj=|t%P6=ɧk/=Ph%,(ӱeYnQׂ@W [B¦ ݎ^ڈ<]y胏k}eK W>U]4yO:'[5 !Ƽ$(PH$+il U!X'Fdb.q 1Ri: `^5jb $7I~c6lrEL_&ͣ^4 Ӥ{.-u lِ4N>)4&uhG'ߝ+gnx8"U\ FKTǾ"sߖ"[*V{nK͋6T #ܐԉ9vXf3l$0H] LH[YY(b/C7b:$y /7? QEAdWUqcMD@Q^]]ÉRiСy" *e;8VYaSr&T'ӪyIeˤLP 7fD #Qx]٩p' _O/ʼczcc&.nŞ?(m▻v~'f< fcJu.HWx:@]P15V^?7Xl j@.E7l[^\Z%k|ŗ0J;91 +%ELj\r#)fve~ESSꊝ{vf0g(tщnVvjAXgle,X^:[`SG}}]b#|N2]j)R .ˆ۪wqjHg7|,F[)H?[Xݪ Ս Dec?χtL&$a7{D5j8(} @їN>#8i" 3삤B1Dm`CsflD, 'tB5_gZ@ӧKm&0Rp < |>0T`*Z*$ip*! i ÿ v x"69?7c1}ѷ R Ow`6iލDa!dm)hOgh߭I/ z޼O^ QoGA"!vPZE԰ Pը&u 6bGUi4nn%-HyK+t7bPɄ`U};m$ftSwh4@' 9]+ @VAKvȁSYu=9:ߵ]%cSaU}Gbg^hrVf"V#0,h"[PcJ[Tdt`,CgX#X ƱyXݲO6 n6TYx =~m^Nhs9v)$^2ק Ih|qZi]+J!c @8+M*wс%OjDKVkaP~$=miȑ֊,=T)홅;30;Pn;Ƿ*6G7}I5Qsn`'*wk$J>L9pxjQ|OO濶")f71zbٿU E( f ZQd+my:!?&y[MiV+Ń2v9JcpOnԖ/;9R\j%vw<.I1ݮ =vO/ Ŝ$-gIDIB C?r3'uj0ijHora޶/ ?z{{> R\_"-:99,'j:TդԄzPܓA0=M+ZLbU GyS,9g,Z zvǏㄱ?#^lM ϫxA'`d[G>/˨"*yTET/9*wyJwjH4:|DZimN@!1Ϭ!(=M3SMq>yX?ۭUMlJݜ&FIxٝ%#wK^>2+EA܊J`fmoW?`.ׁL#xMYAR\.ME vS! 4mj&, p&%J0z;}e-DAm&Yaze퐚aT̥Ķz=g ԉ}F>-i@KX md&,eRJ7Y\쥡$ 9 Ш-qF쓜-C0t785ohcPBRUzi.T0AJ/.E_hWAۛɪ0j>4rm kTNtvߪb5-®sppf:KWH3uJ`,$?FeFmQFk=V2f$0KDI@}$޿nwK57nO\b/Ѥ8`݊PCˣ 8zL8cT"TE؎}q*uuҐ]IMl @;&'ſ:M*(O7v== o,@2O͘>lDB ._51s]9g^ npy=F6tLq5ZC08q+6yHvX/".48Dmg o U1$s4SR,'$l)9r 8xUc#qbB2_'$:giCj;2?(h+ӏ7 ~}s {Rn}CIǭU^^v)ԮT`Žs*_z Ѓ:?LRaM%G@yϚbLz@ݣ-! >'1a IAb,`%旀 w犿$GLy,|auL>@'@ijzKYjêŦ^{K{dL컴_f?${8K'ц&F+a 6A5*J^E,&Gȷ MSm@ |.$+;Zl{OaB_&f/$~j$i*9[Ga+4` f1EF8/uAu&صʻg)AuW7/h- SF6jt6 )=&]b+'b[|JprO|ER7h3ybq]Ƽ]__v1:ЀDNFT<ϐGu8xS1f?GUeӰx8x>t)du[gQatOn{rصCLZOԜ!d^'̉j%e-Ԝ 2XS+-@4/u+er$֧` AUv*Bèm !)8+e7ՆvKBrZtdLђ{|B&Iu=J=ji|uMOa㾙qV5~oN>DJi3B> BC i?sީ R/',0|rcPT A=!0m, 39}mk4-wd᡻%z3➊=>7΄.Zݸ>VFSɒlш2[.]}SmH `l 9A],?KL胲i߈~3ebVF"}dpu߆}ٹ~(dmymsA,[m_'BFӟg`a>N 5yh^Y&l'`]Sɼ/,jխkgWF$ńe A");ec+xP &3 ,^qڵ/ՖHRaBV#ޜM T|8PQsaXI1hǴUh,̫EZ(Hten$Pq͏=  f÷4ANwAE&V#<T:`KEV|eAH>DMKL\]1:s-HrȄ!he7fT0gp%+NI/O ,}e;գ1b \ĥɩ8T}gMtAqӳO(_+6 Bi8kRzrC\aK˧{^b Ix1T4n$xw> c@bQ@c%|DމDڻ\lt=$yuWסy51gi&`fvvz@ p~5Uڴ¥vڇDg. \j Ȗ'fLrFvHPkS];#yٙ](cK 9koD; Y:Hlʝjdd>z˲sv-9βC꘡JI,\)&U f`Ǜ&C;5s!援6&#F(qr+a_3Ǥw31̘>: 2.- hit 1 QIz \GKX[ V{ #>QIP~s4>ėeI[Ǧ4 7@|+6rDDQMڎՂI} /0Ԥqȼ u. &7b^[eZcF3f)g|څ.d 44%(2Ct PfO(۠*u>q$pVG?MBtQ;>:Trl ]xRV?&)d0__պ4 +mTN Hr ?Mv=KTJ v7ۼ I'r< B'"LfxY$еE5  1ġƪ=@LԜ -c8XmƔ:O7׶ dk-C ĬbzU_ڿ8B=x@ xBD0_p)m3&a]Ky1R,dTk!1`R@pd໡o$zxV j% *$̻(&cѫm"b4f@Awӌ=aY*g^8yq̫< "8|!t[1RU5*Kt3BaR;A?LVcr1 "'W@s$: vv0 E=qE F48eBDȾS;LU%~yG 4:kS.{pD)ܒ)XN% $ƣ"{&|EzsD#{h RCb ѩ˷i(RNa>k~a\Y(b!#\gd5ȺfLYhq)7ѱ6$m5H*y W>tI| &Ԟ'zKVo YQX~/ݾ@dKc4IJ90GxD$unt"<蠃pp@ n>fE$z4U Q=ͅ*OL-mzDWwyLSn0[+ 4|`0c ]rj7_ ~7AIQ{%D]ƒW+)}#mRWCh ,t  z[󐳳{wv=HރmC2ZVh1 ocAm1S[a~rmo0BҹKZ=V[\wW s pmG/[n[w` .ZlCҟ<*>Xd7ý%a%uzX8guɝϸ4|ISVN Td;9o4L pv x#0O~5 oX|F#ҭQ{7bݿ[\أu{rSUu H 2k"ܖl_Ez.߂N o"Mҋ!ٿ)GT› Y|R`Hn1Nm9Չ(؀m@=:#|ӿH\曼o&Ӣwnu h6(AfH_`]rAx+D\HLe>mp`9eОL9 `0e { ugQs6,^ͯ"֣ٚi9tr_e k%.IJd~3:NN'?mթջ)7%i@5TۚD8Xڐ^<+UBH@zcܪLz $Exsc{l˚[o(6xx*`$;mZJQ$0)"xns$0TkR+q0íD;j1y5qL,d~77auDOaM2ŌJCRdHZ~ !&vVTBlF+PiSAڶLpi؏' ^DڱuǵtÂQ}&퐕 i+2ӋN"  UAv#K{y˙hxH 0ҥ IPQ1T j\Y[JJv4ylݢ'_gHb<7,QwUe$P[h]J.SqC*oBd\շH~ a7OpNBZNj+R+2}݄&y!+h7Qf2s>R"#DӭS:ː[ԟ}z!hGLpW8czpO}>@Ίx> J=jm/nj}d$ u1_9&hO<7|-I)-ס2i)iKG>`l8jI3,̟r0 zX;X*[6yOue\}0,JVe>!mU -W#g\̚D+ae^0yĮJm`:>%RިQBk#\Dc[٩ظQo+ :- a).I#5P Q?ML" Le֤M 6B˗Lb7V_)(zr''vOF{_/Y3ÇA$#ٟ_¨맨ߝԏLdc6˽븢]mS -ֻY WՑ"-h%`sPYں񻆣 _̞uȽq yE:Ztq;KE7xk+Es)򏶱IgcHa$sQ.qlahLJ>f.+\ᖻ H1KSCdqh'-蚡܍"Ga|kՆlE9c~C!pi);{FmYsv~=/n[{&5~"0#7SPt{Npb&߂]jl ?5ㄛ.؞"_|OOR"@(VZqמ)3hC?+p3a%:R:OnP)'R ?iR)HVQ1d̟j/WD YQ7 ]a2Q^ u%URROy$ƝezISZDB _ 'ۡp8l_p:3t:,织\e}5%'傃C$'o SrC]͕^)1ۨRIHsG Y)o΄` OuU1]]665me? t:0޽;6ԇۈ4,O.J>ĩ9D02Z8)6fsF&XVԋ? G‡0UrOwWrg?0C:: :^䀩~(v#çBER? ==/Aim0^e kߚ\=/iEMsM0NA/^yx646 }L2ք{mߐQr*;]"j<.^s+T չ42^m !TU׾O?S?xZ&9JJUϬc=0P }` Ѝ6+eF& fTa5EU)R39މJs$-4^~zEw:X.FVwƖ^|-[!?,Cאmxo)cp CkkTyI )W^J3"R@)͖5#۳ŦT&pV!-ww8<4$,PK<>UL-Hxkl:T鿣RCk$/y$0dESXb 9\~?dwPy Iʳ0&$d`r|+ 8Q4np!XW|ڒ"5raJ _(+li͟N>ÄMqpvͷ[a`bi/υ:m-FX.xѽ+'ϡ^qC9L"nB~7V]k\ߐJ!"|?z;;߾IYg!>W\tmuAkH͎,mb2t%$Xk ._:4e og,|+fQ2FR5V ͯHG** $7(+%?BF)usq*)y&(UO}{(یE;Ԃ.W/L!t]! F Tۑ!H/`&;sJF% cȁLaOgχun R #m/;#Rus`2Bޗld09;clD02JU9Э%x~Or{ sֱhxGʕjAx?-b:tZYötM m7ɥRb!G1qâfN gqV'^<ɀ^h;TnQ)wKrpMwossGCHr[wS[cpOA\$eM;HR6_btQKc%0v0N O ]VYQxgRKшh&TU3@{tp0GgwIAht4r3u`bW1hU/-qX-k:(€RڝhHl0 鐨lIሼrQ*;> Q-#:(B2 1CՔ3NXx\^`Y*;$HNEۂt\'&Tx4V\c #)Z}[y%Io<@6&Ԅ7pxN 0Ҡkqj ~EUp˶tenFeRԩPp8ypG$i-1P)1zgXf#]PWt` FFaQ#g'+ydk?[QVVVZ' av\? Z 70;ˤ&!|&2wrG =Srv\] *-Tprsk|Eb4~y.RSr5"AbKr\A{rU^!i4 ա C5;Aǀ›x{W!dPpK9clF rGK["6!(?rɪUev]Qd!V}|}@k1ރ ^ԣ\<²9RVJ3d[JVsR3*Ҏ;k>_FlƎ!=Kijw !c쓫H| {t=w gGgxzI[sw bM ՗QgeV_Qi ?K3Y]t¤arE4.PCjÞtf2Jbf{mtaٜFmGbK G欼^&A?ޕԏh(ß0n9apSr@@PR˫߿q1.UTGPd}۳i I^wf+ch+xIp y+!1p0 mY%Nm_-iIkg+PIT%Nv&,w{rLZ97@mSPZ ]׀tTW*=;K]"h'O*D+Q ,힇l9zoؠžI/UFsSV@rSȀ*B[d"! I=5ߛ\?I;$<͒̽/Csծt^&7q.V}6'6p|-2kD~H䲃bQ(eN Hi *Q̮ޤc%4nXvuq_; !`1 ([?SJNc[J1FSHppV%uR TV*(?*glޓufLB_W.o#Ul@۴zmv<-MZ@K0slqt1G%9K _s5V=yk^3l-]xj%VorҤ<"kKl"R<eEoR M e2TQ1'N2h'm.4ATzeN͈ 1_0FD-zzr XkmjF>lEݓ׮ vkc|$* CUGFBWrS֩Mg}uMw 5Mq|_hgrdDRZ9>3Sn ӗf/ɝ&I"ciM2 +Agq' A?ӡz|RT}4mm7IwuI`ş䗔:z;K&|F f%|2AةS_g^OA umGr j`D`|J>z 0<\om1xz»9XxT ;&m\=nր>;h1gtxuD4i<;xy{$BYPNӘĹ?-@J_fs:b>FEDrlXٴf3RPmD]\HLKZ_\oyJ3E+$fkDqQlOK%y,kx(D*J5h %!8#{+_ɷ;qۺyX2dt8yHM,cXHZ@)е#7kvj],D:CQBÈE^uW' iVH=G73~-_oӶ_R&uy1"ap7J5ݪ' &35tL']O,8?M&*=?5~ GJl 0VBEEn0/ EoyR)}3VO-zJTɧҵdAhy%v9^]Ԡx9ҦrR$f a_*63h3Ⱥ7[W 9jhҪhyT+뤻9ܘ:!!HZYK*q cV _QᐯKtӊ?/SQ^FR~qiAhp&ɑi5rtT aJ'g [LN_1z@ccZ$ԟ54L&5F}+ؘ{g@$붸jqέ w\9RkJ豟}焙ƌ8K]2I>hm_woK||yKLӥܾMD'܌(aI^ la^\F^,򹽯 ,=ffc[%U{RrÿAn~HTۮ Su[ˡgW1n ݎ)qdY;ʲbmeS1| 9ZZ²s fv5UފR#I^b끲\to\CG0%iaF> c>bެ+գг*6h[ @uDՎ"G/\xK-euO~Im I1颱¹ueӊq;;zw\:0iy]ƹ/>(Y;lL |D:Ѐ~#anxNkꡚD{w&!@~lZkBV% 1޻q@YR۫a`Yu?f8Xyf:^ږY.t( A2*B+]0/O m ZhwWpVB"ct~91 폌el!>(d״G)-WϼaBQ!c{*J "YBJ[;7y@Uuִ1P\}&,L:G7jfbw%u.pOTb/OA= \.κ僀H sTcve}bvwMO%5I 8[p1)[zA7w)sɖSGG(5&6ݳnUpK9)tJk eso];Ldu<^̏ qzt*<G _CU"S+BTt.+s_s_T;j!0 nap?/+Uy# ̣\8:ewt=ew^R㦩Tϯ0ɋԚ)O(0`.)^U3Qo\g 4^/0GPBvRv?vlqΐ ~ͻW(~prZ ĂHMB Uw[NU &P#Z\ɱPΞmT$k8x5ӼJ{Put;`܉ 7|gQ|2 h/+ Ab?G(ݜ tۧ]}!1ɗFooI1[}; 'M+GaGe!.)ZE1{7;yX[,aTrX"&[JZAހ| eETKLMw#k7 ֡y3*D)u x>kWXH8$-s=9۫6gfksZRxE}]Z E f~ݹfIҠm>v"$v+.ڑ{?bH5rje67SyYEզXMʹoY'5s1I#yfMͯ; M\>~jtrn*@QÓl0KDwoOYR}śc'v&7\xo1D۹c:Sh:;6яфIkD Z7 y1 N C,uɆ SX@{+ I]ɘM1.2Zm.v\H$1JTC:a $jFt40~H9xOG%dq*f`- j^lfgEÎ9lޠ?[S$f}ĄTn=1J AM1%ޗɥI4fڣ}Ia"Q/ i5.nrU)^ɸ.r6!p``^4mNVWI< ɾܫeGQ94:t3&|^}_(lɬwTyNBd8,Oz[ .үq\tfKGʺsQȳJFm%x ORv11ڀ D7x$4SyCD{KH͖[9o*T`~"UYoq]FC$Wx܈.) r@{#DCoSK[#:o;lLL 9֭V!Irw;W/O@َH<0sƸ3{xOTTj)Q VaŔ#wKR\ԂKvS\@7WT 38j[PVr^s9l:d\tþ90%2 O^ImAKQLn{op-Y4`l#SMr"a7@$"Yr;Pm I2;n=D7yrW81g"`[ bԃxXBָO՞@[;p2 N/Ea fdτK}i|h#!6i텸2I(pvO)̗WGz"XTXőa&Q t˃Ap"k7@vmަ^α#Q( -Lzad8}dMDV`}2^ LPΈ̔AweٞF`}rspAXH9p \-W X$jTI^ɸ/pu^v/!jd8 r }_!Y7=\?Tu3WJMs?D><vW+*-!{YF}6/&] dU|LZP0Q VrBrwzz!D^E9J]3To7g\#c^z1"/Z>of¼G9v" V jP/ eܼ恅y!I{7$0R-U|;??B(sg=k`+uvܨ] d7&}PGXePS!6C+~xNbVL5G5lgYZ3e50f9b4bb157d0430be4886303928cc4ef31a9e1e0d760b8dcc7a202ccf9e071ca177b2d6e00047 82ffab2c85e2c69d04d032ee5f468652fc7921e8 03989dc119440e078d11e8176c7844190ed072f8 69e1d881c5abd5f605717785c4f9ce3cdd772bc6fb906ecfc2fc8ee1d8e11b08835d5c04ed75038f