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 = < ]/ Approximation_Algorithms:threads=4elapsed=15.801cpu=56.200gc=1.244factor=3.567zXZִF! |]ŗXiɟH)0%o4+V\[-âO3=+?n4~vF!Nc[ȱ{@[yrˎ0@FYB[^u;@qD=RVgdNt`cXא:tbY/-1oQ́q5q~<l5.r]>#c@?>WIgUWQՑ/m~CY. #f~p?^fzl?6llw F0|NꗞQ &iDgpYjb.4 pT׺'e: D;T[LϾUH`;YI["g"EM[-9!&I7 K,9P$l鰢:R!?1R&pYS-vh? spTi1ߞ#ݦ Fk<ߝ3aX/?K5lO,Ej8S{qX;7yd$ u g2NT2}|(DL= @l5.yJ'o~>ccj3xA}ux|陶[ˢ|* A<47 #D!UpA)IEaBkRg!dyrMO( t‘C@ܕZliDw˔횼l龲66J|Cp1PRPz.ߪ1+sY3XzBĩ{5f+Jul;58KTzmx1;[QJ HsGr8K,UQ*FvÓMZsY=kȅ| UvTƅ^=bDz\WŅ65j޽A<3HP e]d'Sj|yl'@{]ݶqy}eBgFW=Ġj|,=^qK{SdĂYZ&NlߖcwQ(uG-tZz伪OJk`g< '\[ULVa&ayLaWJr4GviuD{T4ı]fq!(."D,t_+!ybzH߃:{^}t{`ŋC_)X\R(w[X\]#e fxv#I< ]WwWR?1/b [ Ӏ·pu,֙n{Ti6]}۫kRp1|[)NZ9l jmlWBuț$U/h j?e0޳4XĤYuX#o0EO*fI Ʊ = Approximation_Algorithms  z(gr<WQէܫ|s'g:>_J^8墮nl3_~JISG?<pK`ɀJ0z4hP&KoJX$>lejy0A u'}P_"%")JͿ^v eN4r8J3p!bb;/ o)ldtOIA߄|U^/0M3_ <&B&xEYYڙYTl 9qP6YK40[e?x Ԩ<2[VlOhiN PQX0mᵳ(Ew ~>#gH?jiǓ#S yw+c6"o Wm-H}tsf8|CHy3fC~qQ shc=}1yȺ3;I= vpG9FCcKԐHdd1i+N`g/ < |4y[yVSz5Ov uIа5 녧!HU<C FJ9;ɥJ%"AoduUO>hH*Me5dNJW-s~sEN%njnGszA9dNI7V16$YA"AUq#ERKʺvȣzn:])=(- w]]yh[cFt8l->1M`WDd%F׃Rܘ+4M*g?* &̸]ysr:e{N "/;[SG:(\%~VtXEuaMb"ZM 4xquU_|Ss*[4*<<?fDrw'R]nq L=#| sV̡;GFHO Β^ 2,mZKP;qpHsyMhCBؼLlj-Ig%] I{$.`6 EPrpz"HAMdYuur:b2 nΧ}: /)6Q\(`V3olȁ&=mꏷA{l=f>@je"]dY :`.h톏׽0p!p?9dF̓aR>0=۪_=o鈓iEzw" n}8Dē'd\hU< 34<>;~A5؍y:<[K %!c,f6|{>' ,~BZdax0TWB5LQ܆p1oBؾ 33{噠C*Y`3>K EL"Ht!y"ůdiC1šh;Fj )qQsvGaRSھ>~}Q#=%?~=AP!쓆6sgy >uTm|oA $ cW>->@J3PNȆRo,GhGӷrFz}X>#IC|ǡ`BZ87u+( E?O\1;vskRuwS\|ns!9J7,S ܥ#|$Md(x[jzJBeMt`4֢BoMx9{u_z">0|X!}ևVX8] K@!t$?p ,A4&7lmYFWC)R j &`fX%}K!S,3ӖDb85\V\]8^kJG-IZQ3oa#(%.ZJ*#.x|X7c5 3Nx ?݀8+"Ϧj'JT#RN;0,9)Ç -eZ$QN䨧&ϟ+h9oE,ѻ],V|r74-J\qr}29\^ L7j]i:a_:ѝ[ 4/\TwbXA??r?F ĥ8]<*N0aT_#Տ>ҁZ~I4Ҋ)IJՄ";^jQaZU [}ѿ<(2xM_Z1%msF(Jב(w^ʼn|;dkᮾ)o@Cߏl`u`9;J]y3C$_ߎ:{z}zlF};Ū}n)cB?+QeG+]v0IuA׌@ Y2g9*С%fF}ÉB{$jb/ ~5W>B"c|p0"9 K]6i~.ﮠ+*ysc3HZOez?{nVu',7 K=HME2}JwLD>Ŀ<hT+hX7rHP0;eN7Y8؇(eIr9@YIe 6ƚ0b6(Db@2;Ga2rV |Kܙ 0MBu 5lYaZ5/U2LgMݚ]c&[1x;ks #67D/!xKZDt:[$r5vFq wv4V>!e:~}H.:kNwD۷`ɀJ),O\Q]LӮq}/٤{\Td[U|i^[+kF*cg~hljw’^*läTzs|5O- 0F+8IKNDMҸ&+"Wz tX'2CF' obSїp};ܠ&Q8-TĊ?QQ2Ė1+ 6EBlSJ!O\'j 55nZ#U`/Qfh<XNgԉN}ŔPDgYnl兜o &%r)]L)lΥ$T<g`+zj7L>F~N[_)!z&x𨨿Q;Mt0|&)HnMֿbWF;nK|EΠ %q.1=1d/|CJ H\@y A c1:k^M!yI*rه%Xoi\/@ZBHmn'2f(.zSI^秐 @y`DP?(1!?,BȄjiq5>|7q$f% F{;%-ֵOx17`b`O;Y?'# ,C=Ke%a37 `2|se>D˗zK\t80Jq͝kO1Ӯ %gЂz!8p "#s3 b 4B?MT]tFFwX7QSB#b_lKJaMꦣ=s|26+yܹAŢ{GpQS{/wwmvP/~\(N2=+'](ڇgCp ZJ#>3-*w_ êGω͍T0XP;5~Ez"6haA1{% 41_qUim8L `\_ȃ?ܥkOVS$UĚڹ q6+ӀދHT z@<+J'շC5!TnƧP[IG΂p0%_RL`:׎ޗ4 \O[ss*qVv,7%ړߠ,'eeg!Dl`;4lWY)jrjf?3-C浊lS\^~U%kC.)U}BVoZ 8 be.),Xtˉ[Edw&BboCZegO1\  qӪa2ΉH?9+qixt@Q$D6x4]:+Mʛ1jP?z\n1".W32A#]QN {ppu6ijW 0,'nIU^%,0"TQpE/jxKOap9M],W6tW}NrMtb޲9 ̏mo|O&OqvfWe^SL%XڧIb/G=B?F9ZH>U*$E9(*xͪ<Ų458{:r[-\R,^P0w] BH\q8(O1Buˠjt'AʤZ7< JU;O?uj6pW.,btr{`J$êFo&Oع#M{P`&= # n_W9lLВc4[a!Ϥspl<&-<(q! \+347ƨG+)h>ô~#"g/_*C}&R,e/v²3.tCjLLy+6mo7[Bθ0n tiG@ZG( 0 r^U-t6`WF,!Aկ,TiWš<>RuН'%I@sr}adJbpU? k #|8G&j`(MK~pYIK&Ow†d=k9?0ђ6bg^L4M\{Go.i*CB b sicw;_A%cvUgCo󈥜d8:ܞo\Bμe3gߒ?,t6)xTykFDul%է^3}ȈH.m_,2^NlN-mH쩱Hp~ncMEu0 ĝH~R|NAz=p{'.ԞR!XٍTRD[?d qk|K_էe=QKS i!Z8?j!kr>̐^T6آo=L7L\1d+ y|<!ٚ.;`BVߤ\9K!ޒvpZ+=- -ҿ$ #TE`!ŽR5-*KwIXJC[4ٍÑYJɖ4`->[I-hK(9tЦLZ UXc8|CL%q^ )|k+[.Zވb^#XP`tx`UE  ; kF(`0jP7*g> 0/؍P+aXLDy@9NOk~517 bB\ӕF=N |Ī+Wb CJm<7>42ZP]㢖ѭMՄ]SQ~) QNp2yem?3ևȥ fT rToyʪ 5] anlN֠ągn(ŰJ,CFk$f!:wĺp 6Tm1B?l;yuנS؁큪c3Ln&:{PŎS[vvxXJۜ%m< lZUDtDV q|Fz:SH܌=Nu'Ȥ*Qc1:OHNq&fqZ(9IKH4amȸdFdwq. DC>:nEd܅qR,iFi_Em{1nx/C|# KFSr>Ş fI;;BN@NީK"-ptpduAZ$aO:zܭ͖i"/w{0ŸxʆgV᫷L|9uۤԅG@i\_eJ,%݊ȴi:q e<2v0 )}$yqǙw<8ڰFIJbjO Pd%46Ms<\A265H|D];E`dIHd)scm,9/Ӄ} qڝ+c4H Ʊ -YGvN3~jvM~nͼw@Ոt."b ~x{15/9HbA&0z/>J^z|dV׎j />wqb%fe[efLѝ0o ϔw dV.~_SSɏjMhZK {U x{m=bXե?bن@=n#FId%R=*b?J&Wg) :<D-:&f@=o^譏[a֌};4Rz_L1!\l)e9e.X?Ep!z喧׼H'WwN3u t{8Y=jY/hYxC1S)^qE&ĭ26t Cz,ռ5'Y1G.{R8.HMZ(,eC.~9wIga w#,ZI<,לO[DiVg_|P[P^VBתׅ\]M}:̖t9;lKHe8vsXn Zn-8P$ZJneQ@ôs ]J#{>rK/ϚcUpL=/{۽Tn%p1+z[_| Ոd; &4 ޏ\&%fEzޓjdSDU&%n JsIx1|ʍ xKlћЋ$Jd.o/#8/ PPyT놂XCq;)k7U u]^XGN#,=0Jbg~-: bY`< ģiBs|:ޛ/@JJo;󪴠t|L3( Xb#~M͓H?+hR{஛gζa4+|E13D=RcDn ,gk%Kf :r)=Ď.XƘ=|"*"wbuߜj&;`x1kAZ=Ir[.UмqF|_~in0Q1Ob?X1ؐwgS2 UD"Cx^OCAc~nDVt;#B,$f"Opj(6ZOeieR (l)%II}e#V͜y(! T#t㻲8 o!#p',02ȀeXr[Wb>^&_55>WC7. mBsUB8<{olǬ|"hFᬑ"zOYѪ9$մf{b6+.U$B_$& P\! Nq*fdqzii%uԱ-WRo!BMN/dI#D ojevgm.UHq<[Й"}@+MhzR HI2j**M_ ud CP,x5ZBO],M@ґ/!r9?G/՝344XͿ4=Ⱥe~j'2U9mA՚i]G%&6%W~eJOFP1];C"Yt+D9<||•,OAW 9҇aOWMXŸ˃í_Ms]Q2`lG 0k^V!\ #Z|q&7Ad&Y+PℎxdN9 fɏ a xFшlQY2נּwARP>KbjbtI=7@1t_Fa)gd)Y`:E姫d+wǟRY[n n;bH >o@G]^j= ǧ]gҿkD':Ә@e`1cK~jv86r߇-CX!2Y;6JM/Zl9 h"71zγE6n82:eם%5IΠb9Wny5dIZ]mnspLΖ\#P\ڰ6`Qb!K x$48Ѝᜩ!]hGВr?i/f^@NChxcU(^#%,ouS|B*ޡ Vx;PWI>.`n|$e/Z!4h+Nhl1S <цtL0VƯL&*6#q_&/}S49yKA8`̈́Sp] @ +jq-^7OzFTO,&⽇ȴ7`z"3ԁo'5&D] פLF&S'GMT ^rmh9Sx]ɑvA?9  /t-XU7'+_^F*dS ?OVo,K\;GpmPҞ,PYE\ &flIeN:#{ i_ #$S,] sR+{٪XVvH1S-%_i /E5aaD s\\Fۚ\wNJE>]Q'  C7Prmvt]O9iY8 -QW3_aq)1T]A:^R"7,|~4fG k.VաDQhg tg2jTw D_>ɖRΠ+q%CLx5Dc6*@l[ɷUV6iRo}͵Զvc4Y(yJodn/}e '=rŒꁊ@,Qp^ΫۚuolRyus?8VgRѵBA<`zCt=8-MSf2|/O)<{(8n~$ſ˹Ӛ۫xdE⶝]fve=.K@l^X2g.b(MG Fd~fyC-uѼ!4O5X]Ju(:v*5Ң%˱aV氮eCo^Ԟ(4Hw['o5DT/h"JU V<{8js}+q YvΘ[1qnA;!CVb!P6LF |21M 3pmkb>}&E{;{4n`h #%+@Fz@G +gY^أBI Kh&K=  Wp) k,$K?u;C8B1NK䲬6 x&L;K<#BmCO@#gcT]&!wq#lMU4`t/ OQZ)/tN ;D 3=।շ!I]kycG|u#3R!*,66Aĩڄc^M(w*DS"GK6pQtR~ge]z4;a.b۰Bl ^^?M-3N?/3 g lRuC*>#t<xKAm!FȺ_&Vf8@\cI/u MxB&oV@;nX/L@w. Js#vV7 v*8j/sK[E!.S΋6+8J2JG{ڂu9U5cB &dS+)6s&hd-BABwʣx6=ޘAuYpVSvX/YG<&mG˒tvi\6"Ή^Mi'&uÂN%d8q[%b\{~|:AywQ̴UcIAؐmM'{|7}w[4t{?*pc4 ,8a!EaD4@FpH*\!& }^V㋓(kmþ!2vr\k)iƅa-իMD2̏w~BG#58HXWYAā0Q_Z_bv(֤QX, N uhi_mr5dx:LLԚ],_p:4Ja9H{/}AO,@ ]I&W@2cmo(]!Qڕ`i!(iX\E%G8OGQx50R>SP0*DS}0}W] &c@<_)$ۦӉ`gGDj󇋿/ɧ''(+|⑿ V% o%.+ yh -y(_I$M^E,K/[k=C)$"ޯ@PRvFR\F](jh@u\Q@mW`>)tMW$NӁI!U"PYPۃgI^Po$9R@b} ^T|3MH)E{NrəLNu>QI1~I1!'v50`N&چư44}OW3e}Ly臵Wo11R9 mLywRHeZ1l.:o#$grxôS*œ*TXx|`i qZ* .%e\& xGH9 ~|7Zٗ1 _cѸQVO=%1t8^͎03 ЇAzE -1ޤ 5O{ȟ?lq my{dy)2k&!# snkDRl@$oĄD?_[xÏi<7.^V5~v2'JYeiDܖ6ffV_E:bTɢ<"*baQ}M(E>pmdɋaAŠ3X\>HֿRoAIuDpVNRR>@V^W]Z*l֨Ewmnj/Dd /зwx@֎|aY"E2V[P~t5j7:Ԏ_o27k:rG=\3~c7Θʬ{iRAi%a_JEh-NW٪2ong%=(^I Xmk<`X?DIo' *%L2)jD9:9'0Sv,"28\Dahى2>oWr*{O9u A>_Heֈw,pJ51wHfl??FF1lK]XDhASEH0ㇿES`^LD=ɄnYTwO@_)`.%Q G"&.ӁN`,+-S me:$z> YFgi{-1a.(P!:T V&&}A~+,iBqX_ӜHCoGl*ZRVN]ļIcD@ |38"ƣpl 8F/b": _XJWhs.r+sPk!ٚD3rjxoX禠:7>dmh\k9B%~j]DKR˝3tML1̠X_E(\q wdzN` Ac 6왙 վEZf@^e)Ñ>ᓼC9R^'@}r 9,Gn r Q:SP~U &Qf 4\IXpb+BްnPBTlثf\\|~U}7rrUk1CmU+_gSrR}_ xuyK=K9>LA BFcOZ{U "<|->P+ߚiœJظEh1rC<;wӑV|7=s5=cdFdчUM׽qV%YmM h``;ڲZ waQ4  A>Άt0`(0Õ)̈́J+ Rcإ1wq&<N>Ce\r8p P*~32.2ՖvfCrSqIJX@}>mkmLx85X*Bb^DrJM>e[XC*l.b!k1+Zu |!L)݆U*66K`ZfQ*‘xvLwjOsrZoădC7L:@(B3_Ť`9T$a373M9(tы\'-Dsz`j:3e0jJde Z$Zm^ZW׀PȐ ֒ #"᡽E3sceT2ԟ׫R&YIjM M5Q$|#`Vܢl6q\'qG{ؐ`sip!Ð&g@7WPj;iW V?yV$*7yp!I묌Do^}-ݦ]!V.Y,^/s8S~@ wq\aѱ\Ģ"ؼs~6W(!cRȄH ^"P!8!y1sck P60RHR hBX~S,OqH`#$]2~p .)ICxXb99ik+9먳s#wu i@ptG/qHL4c#rMR2IX -2jW)z1]Y#@n||[c~dvzU'1ŀfy{O5:u5NŒ*(q#r&^LFFՅzt&,V#,9g?'a(u>+0n8?s}IRYrf`aF"4by@ա7{$/!W'Ҟr4hv+ 9VFg X`Ǒ٠zj.x!nمd|l_Vx.d McOPy% w95>f6u=F?>ٺCt6C:̪-awӝ1 لZT,?st20Nyq#q!ZVDIt\'/WdHK/[ތ¨$o@)\֎/Eɔoo`(e42KEB+qrbJ7N0g䏭1H+/a6t9oAtbzo+6^k208keo_>c?\eGñ7=LD?"./¼P/oˑ CWA%  H% * c` =CnE34NO߻`e#ٽ$lia9kVxw T+eb~iJ:mDNc600N8QzDu_ ya> 6~,O 6b"JȆ+o1*RWU|ֺhɬ+FH3oM1' Nk5HH{O /캡HOf Ji1qKe$@4BqzB6cDB H&pll+fڔhGS"D7ڰ¯)b'd+{&C Ý&GK ߉n|tcFFYU}e~O:Q]0٦ y'X 2/'}aKJBJls>dEH1bkbZ ug0&'-!U_5KDA#reQ#jn%8SfJ^KD9x}0V;"*nAdw" bjF.vyd%[:ԷFM0OҘůHe-S  ׸u{3mqO(W&LJnJ@7.&dI΋la-@,ꦃ)]$~SrM m 4֒;5v ,@؉r{CR)~nR2n9 AfG=ϽZ >˿7Y+ R|5ճ;8r8zZ`p{QW.jQ YtQr_?MI%N[p?( Pp'gZ> &O/8EY";wTr}sȗhM2&7iCLnE;"DÀT;$.!̓ [g"L;Zt[VAjc$_ň;"` J (~J o'wA; ҩ_)Xf?BR9׺N ;rh]-ķ\ -QF&\QWFHqĺy"F(8m.}V;lkԒqr E(qғGl8#Fs%=.pVA3FzhExz}Ϫ;G 6d\Eqy| +)䵍,7__VI(0Kqv3Cq:.v^@JNπ Rzh pE`t&7WEƒ[Lg%I+pANeؐ])OB0ʴfGM)Mmp6? .a)}O^ZE46YTlyOx(rݷ`qL [iv"ul7̳ۅBEzXصõ8VdV|_}hm: uN<31$cV?tu=&l}J/!JT|>$~)mmI~hb$AUgBύ 7|$[XF."\٣&;&Gg25WPGyjF )+X&WPqvXW1\-)wcKȈeqxaH:IN KR*?o"Ǣju\01MRVJAɩKG1k"5Q1_.?[&徱eOۨetƺDIe0jfylrw;eNWu]urԞ\ ipk1qr7v?"cŒ Ru"8V !zhsCn:W|KJ(,9:{Lz@;"W,Ք0&#%2&x^iZv-h=D-)vbN5sq&q)52B&کp+! =v!ݯi$L9 }܊ZU1Y\!~\Qc%͞G_ = I:PT=^nlL,bzv ]j!x2Uwv]'ߒقtO.xv8fY"Dgi~{F{&GhK`Hyٕ+' K2Kn] RdHHѫ`y@?9~D}-V"dQ"eI!U݉?fq_@mto(-}k·94W~Xj܊pm7Y"E8(CE,2s sfqyyjH^U(RAYqUP|TyF&b)E.qb&y"mv 5=߹%H)>_g1rrU\>*gU;p, Nz԰).`H/U&Q6Trc% S;:!nJm|SrGZ *řIV] ?&u?07 N>%ѧXH $"DђjYM7f; R%\>)ؙr eh$ġ8u5n.s`<a!ecALz9 a6|iE9j;J1Wr_)$Nȕ%qN^NNް=sma 9iujgq,c^ 4m ,&GinlX:3y܍oaƯ}YJŁ/M8z$ƪt0B~ٛeF#c8ШψVC MܙMKEw0i9U{$(mw|}}PR%2AZ rhuD( f[i)ZӢ hQk4Xk(SqD A@?=ticX9m>KݫWO?u|¥GlY1ݲcwIםe;%3ς87w9pոKO^qˇ |#9ʉ5 pܧ02RyzxDZ(,M7̪^{eDz'%kfC#<\~g;.n]Iڲn's{p۝ٖ\g;ͳhyh@ۗ74`)\c8辸8eMK9MPT{WE*Z0Fw36h;n]#xf\6-I3`9f܃q6w p\;,< 6@gk|;>I>-0քkLVGtä;_Pԧe(q('s>WE>؉[9“0CyJQDL z&ZvcKi{ Vz@#skf[Aր/fVHBRa32 UW<#?E;a~X?p6af^øb\z< LEb|`#o^ѓ*F&RE ;l)q2Xj>Db^1?.ɔB;.l]g7'L0| te{ df#^V3l,is [V5!@ݟ1'0";EIAެ$-8ZD\Cn)?`u3M/^i3]Lq2 -3R&=MVcFu]իwLh7(g+r-<[|xLWBAdnۼ]3D=Ψ.U&M N!1lA/ Y S(/V-<-_ѭs'gdg uqmBXt/j2̄em&GI ]dbP)k2/W+"YWm Xh5 atW)P&HN h 6Gnhg~x__2埭ʤ"MHj U3U;-mjD$YiH۫ 7B7PatY5\IeSkt)Oo)5eY(3U q{7?B078iJ nЏzsS"ZC_ߗ8zLdS "*'K`n!|K ?. [ -ՏkN]`Y+g?!Q.`@bxlY-8$9M1f\&0qS;i2(< em;C3cs} {WixH!'aiO~6Km@:9MMS V:bPE6!K $n@%eX&OZCt ^: Iw/sa_dN0Yдh~Wde!( 6ڹ9\Gd֛&7iPɶ5E6=s.09@n]vF!#9Aķp,q`+Ϻz{4, ƃ^hdkUr-nUiC&9G@.R;WPl:uy)q驢)_5h#-.(-Am|-VOyempuZnvݻ6'A'Ҁ~*n^\ps~1n-/%i# *{`ekq[5=s~|ơ>{ɤعOqʨY/ ~0ajt$ Dy_A6r5_<ėEv i'u:8^{)ݥͰ[pzN4>lZmz # *cs"vX:9A^f" Ρaz<ۓWL+v-W?s"> g.)+p@7܁mc;/N,_pY+oJ):*Ƿ*L¿S5 p%Rm}6 hg) 0X~2C82fɖ.n-D4:'(Z 7-<|E΍jĝ:N C4&O0iR(O8z 4} 5C5G!=io@z&KzoSA2Z[j-&WWJM~qRiKrջ=Bje'W&r}9|wki&7(d)E5H+CDW7T/b?lo#xxUqf'I*Q @7m{; O)|#볺] DmHQHcu}kƬib%œ+oɫF]g1 2ڗ6, ds I{|Sc,o ϥqS-ۗOqΠ} l-4C-f&BGY_%D`!!_K82)J7w1NsQ? >)B8pߊcSw0 8MTN(ޫ\yM&1l0-M{6JBW3k#(#t!(1&g쒳GLY<;pIP4~ƅGeu#W`'&-uCw[&xXî(& :HY<8aqi|V_L[F_-EWN/s*şMW{q7w 䄪2;ёS:XjPOks;Y/cf0!t$g)j :_ݢmy0QFEFtb#c ۛ>Cp0ַPSC5\~4VxD5&"k7¹7fyuMB pa<pJlMfcœk7)SW.iBl!)1}Vξ7'MLūKVR>S9R1Iܬc@;~~gQ o(`&ʑݨUPOpr?&}S~yөE9#-"{)90oxhг܏< QaCς@]7h7s'0 %$),-yʱ*P67>Bs!"]qL1syou" ܋tx,'3梤Z[ b?Ew1m24jWyS \K˖D䷛n{'LtAVU(\$9n&HcS@$7d\jFZ3CҧOe(eGgws'wNYX 9z̪J"T}\S3nZ,KVa_(&x)SD0'3=_ `޵3!NI#bkZ6Pp_5)g۴)%YiQс x1h4@bٳ!R8 blE)?Feq(81@J'V3+Rb-k"~RsjOY{<`'qx(u4A3ɮpf>9Av moeCVg:Fp]A<Ê |( DywbV-!E{4Pd) ٶIEHyAUV3<3O,dDYrgAw4d뙿+)E7 1´^ P {E*nM)uͧ:** ʒzbxSO7DxiKU -$:7s +xq I:fӉ0Q{JA!Rm y KW\aN5 'VJZ}n)7ni[viV=,J]5B3/ԅg^Z ~0PH@\xEV}\K"أs0P%QMWeL{e* ّm"-pWs@_t:tsWd$?B)::+ںJ؀ ʫU]{iֺ'3iu?$.Q}'.n%ԾB?)j|g_ya( ے9Fh) %V'^u6 Fu m-vрk,D;>0/׼}Ndd?r;!~ߊ=W`h7d^ 2QDwPKSU3M$ 2iH 2!qa6R) O񻎙&C-f4MD;?ws0[t#][,Dª,?sʌE,(*t/d5vQҰ[mྌT2ЯC<<>*> X]~n`. rO@TmߓOhyvp[x}LSW4p{KVG\MnõR@9}vss#BvcxO慂\)c@?#؜:u6Cam_G :FʈT`|l%z&%*_JãI;? uP̍&K &i#'3$L ޝFOW+s+R~z趈i=hl{ DY$5ėI-([&88oAwX#qDU;-> !wŌnl |}|<>QNeQ>afאvꩆ[;S-T$ >3B<;fZZcL#g+'"j$tp0{].t`$8kwi9T Hz.C t(Ki@)`Y6\Zϔ"F+Qf'ȏ*ޒ=tģRd;gEX&Д!hT˲`(jC9r|ypaUO)(!V _ eҴ z]EgcrrMN 05o4Pksm@ 5Rdt * I’g9 ,/o$r8ٱgYZ7zXZִF!  ]ŗXiɟ1˦r!cHkMeBd4DeS|,7yV3,X5Z/Rgا+r ~f}ؔ;SX IyHS,ȶ+տ` iBf t/!)[7 d}o|+h'5-oygYZ7zXZִF! u]ŗXi%L!l+~\v@1nM-KNpBÎm/N');nsa#%NZh9VnUFFc9IOd)q"`btWљ b@rX~J!dI0^Dz.8#%F푈[Tw-S}hݘ%*[fUV$5N$Sv|DҦpBC#kjq4_ΗK {q7m4Kc3d `WNo 5դ0)lY_/8#Xp4+Bw 4( idU8SW |]C\tWs'5X.ԅHN.Q0G6-~暒b_82A_vhgMe#{QU;hLټ@'>su)C\IINv񾑊$O `r. MՒPϹ#H;$T4^>#Ԃb@-dyށMV@$nhH9 LO%?GE1Uvdj èI4y#C+IT31R`"ÌTz %zUi' ?f/Pkm&A,Z:{!䐕{Cp{ S@_s{ g e C˻NfIPc2V?x)/8Ӓ#/ kn:ОjomgWLi|౧6HSX'`JQfpCbS/ZZȨ&=Q'gSc#rN?j1.mpN@ap6pC_`~ áa:i8}ʂȌ~w'(v2TRW+|wLKxɺH۹vôJB*bBDA"{T"Z 5[+) 3 1(6z42 |-_"OLOΝ`i/~}obo9 ueŞ1m@0wѵ g"w%p