SQLite format 3@ ;- llB77#tableisabelle_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, "sources" TEXT, "input_heaps" TEXT, "output_heap" TEXT, "return_code" INTEGER, PRIMARY KEY (session_name))I]7indexsqlite_autoindex_isabelle_session_info_1isabelle_session_info   5 \ Mw]Pre_Perron_Frobenius:threads=2elapsed=307.554cpu=538.696gc=19.548factor=1.757zXZִF! 著]ŗXf1-q恈NucvAݪ4 c?[2C IfW6bhU qG@-=Qι9fBz_ 5 Pre_Perron_Frobeniush֮TBjnncu5tY j1.3DCvQ-H-'j;ĭ$.TWXʼn=>>:2sF]V kM%3KG>r9ЋQ8Õ_ KeX 64RR 柹bEWŐz'0fB÷ omgM[aذP^\Scx'll5g!m.9`bT d}97530yʶU>*>.16NI4c%_uo_:u|HhsK>TጣsRbazR۸6D~T ;3q;׿>KI"@=0SAqBk=[e@3kJ/A<>WI FpyKJ Fuf:pGӈ &0|);  soAm9F>nQ_%BW$(_1o .oaJ4 AoͶvLQ`0"9ȩvN>C5h,8@Z|B4gx0H_CGt\1GMnϾ! P2 MȡҎ*JgKcMt|3:bJ[YM{ ؄m<قvu8Jݣ<䞋 h'l+PάԸ/!)|=/FzI F_}93>&HP/AB" i[=m\\/(HƦ İXWAKm{{k䞒~2阝(q+R-Su3reJHGZ!ۤ#n92ERgyqPb{b~2q4ʍTZRIJ(I֗NX>"T.7%ka( ;.l[E,m,=@G#XLd4t`-|j]Y| d64_7r(Gg>W˕C/w◤xµ>$|"ם(_. vkZ}c}; .L(Vb *9e|n )pRVV&xRb ꌙF6TP|b50`,N ḅY ų#n#ˆY^(iJx ф&y`Pw]ũDրۋqfUqS{0C7KY%$%al?`!ӗ6gTWHܽg{ԼH_Yo$.K߄y1xvֲNjR5=xR1/ 2&c W74l׽љ^y[c`P&n=ѾPԑrcL)QNldP\Q=6D< &-_<`Se޿ aT~HvWJ.oA"%xzx|"Yf $X$-ՀyU3.]/ ') p.Mּe&M'(y\2̮ih.q{4KJݎE}ZyD .r)~fE4"iČùh*( k996-b٧U E RY%L߅LcQIk]-.jWM& oθwgCt&Jk/gnQ>'+ YeXətI5zb2Uua> . [ym>⇂#z*򯏗.1ϻ^f/2>u5Pn̬{KYv"߁2?ြ[$ҶSy.3`4 ih_X~0gKЌst:p >u7{|`X;D2wjyO}kA%" 6?2GFQW Lo})f_/Lf,kܗFDJj;4dĦm|C" J hh\l9 O^{i}(uƒy wpqx (Q!.UOY!WvǏ"Drɔ=R[$cdա 0nli.Ő26Agz:mثۭH~&AHR 7lƺgQշ9t; kSAAfu!Yhwv`*S%* +3p칰ϿIg; |^ͻ`ۉx+mfgpuhdnqjmZ2\>v5ZzuYvY|}H(֒>*8l2S*IN׸aC=wPJԘomAxxɌ:MkV2p`c%pfz8*ثYrYEe JؼJ,AT5m Ff:~-XMS=_A 9]M8J=16;* wh[۫ƐuGZ `FF`aG6|M5Q Ժ2"&I"#.T.\J!j 06o&;lgu'='ϧ|ݳUNHmAs*Tp/ ҷ%Я7CHyk_b`5x]Czj'5{o, ??ԄlEZ$'/= mJ<;`Yc4EW#jmgv!DŘPP!nj'-:j qSAKf=?~]TbGd~^JOFKCVj,zFrC8MDR1 (mcr/ㆵGng66SP"W|Q8FOJo-6nS=jR.*.g4%f91ȁCjB,J'wDBM~e xk]տV>T ih2<)Yq3β^  [HIZJl[w+r5g d/NJueM|uyѮ)Tu>w}CJ†/ \S^ bcaWDo:eu2 ϩPD(]RFѿά,ì5Dl7ў}wEL|m ⼄49-v{E)"ı| cv vSG RYݿ&_ *A^c<%xőbkd^_kVMb3S1cIhQb42+iTّ A`"Č A [JH gi8ڛ{'?ӞBHSӿ2 }0ѿuCROͺR.>c3 p$@l)->HtK#*rء܄Y[%_XfqO, R-?95Ai=sOU0EuDk=<k?k@%cF` :4o}c4G&ՖMԯYˤ2ES!|SID&h+e}K)~] O|6xDoDkq T YNs["Bko( uz0VM#>M'$ĥl3;sN:}R|:̬eso;Fo'Q1ȴDo. L "+{4I0-n0qGc(D<ϯ+Sij'!pyVi7IʼlOf&rQ[^V/EdlŐMF&@QEŠ$c:)k܇3Q%^UA"v@90ah zF,& %uk8B*xh qnV2_Esß ra2eT÷ 3%‡Zw$#$凣)As_g^kPl:y6p:u&v&u\~R̔P2_a1<I`כMm䆶RE[)PӲ^oq]{c]>gXf^Ymi(C)[ӡdh'֯tV6;N nꮟ 4fN-I; A0?~+ nf/X nR׻ǗW9WF Rd3 ?`V6nÃdKZʱ6iC$c!lOJkOuaҙ.2\T'nTȠKjL|1GOn@Ǣ@U 4N^4 FuWp # |Ui\U16/`BP ?.L}1ܢjN1,V YVÖqz#++,lL ;RU8lȃ0QIQ[$uwcT~,8z#UTߋm *&Cf

+TrZ.y2EG'bYS9 $c hs%uFmSu')pґC$7ʂs!Dv/82Bp;y"rzLT|Ok# ɤOiYn84:B(J؀!&GcᦥOؤHxE&bqQ! S}U0g&sK4S1G -^|Z,= ﲤ%eRl^nڭv Y65#w%J[%'ׇzƸY eGGD{*)m)BS"N9#ɔĥ"ހ` CyKhPۙz_}5ZKP>]Ţ3(5x{?۴V)l1Ώ3C^Ъcpa|&8 ގ3p-oTb/#>LI{C3Xohvk M E10u.fo(NeHyg,/q#.i"w'Mi zP0t$LɥRͪ"%Ts$P.L? ,ʮ$H^~g߼:Pf1fd'+\UaܹVyP1us|Pָ1Їu87R TA6߱;n~Vk@㛴w'b:̓In/n˻V9۩!!ﱗ#Pt=KD}/<)ԖDG C@m~tD_qL%nQӊ7'^VF~dwMrRHII{ˡZszVES< =9pwx5nQY+QiXUN8)q9Lw]Z1:+  |23T݊ɾۛ_}1V@VJ 0ަ_ ]Bx/it*nwꃍK䆎謹[tHn~9aAmQ .CK4]wc&Cg 8U:U[pjbZyPm$$^0ō4mG>Li_(ûG=ȢԷ)2r$*HeWҞڤ!ǩ@Mg5gM6.Co-?\B``U+(QwU- OHmf O*ۨwy|I|X)c(bV dwkU(pD|:#fuyTzJ =_ȎKo]_5ݬXHrb8iܝFA:h ݓokj7 ^U虠[|Oϣpc fǓ"V(Bf3AɆ(n,` o.ͱ[>ޗE,WMZ MP5~ӭ0@\\oR xiSi Ӊ}k-Gi2 ~nB#;bCP4h3JB~Y~U<oR\o2xD $ւ?&.U-Jm`nduȤD"Y 5e]2r BD%[WS }IMgz!X% zgi˼mő{juJ#maryf.=C6q2y'\zN硄mbJj :`y#ejy.wzV֣ހmfp&ViG!R(1iR)#PvL3Coʠee}w"A=QJLmh#,Do[2cPSHZ X[}d)!qkIJ+)[LIYN2iPo .9ɏ[i+:"ᔛlVuzp+# oM,u&\3{gS8;&!nyuMո![ga<B V`sGtX}l^n.y+zv;ѪmwTB805E.y:t]h hY?sacB4bfeuZ'p|RA7dHĎv WNj Z@B LeN'oGWdv ct{Rm{/1'y2hϿ+ƥ# OqS侚#LD=6'3lҮi1ZVEJ(TXptj5U<'b eۋsE:JgΘ)st.#1|& JNb鲥ݒڠœ [%"p* -w%f$ :U.KkMv>x-|E C"X*;_UYnaja&y,]vݡPN'Z qgŹ`;$j_#]4{^O,>/ CP=P{(LapѼ|0U6Ymj@_h +9 :mջ߄ژz{-E\BiU1鑣'(4bx4R,J-=?i:#5|kw .ػū+{Ohw'jYqgy݈mPP48p, G5g3F$l9^I8άäbޑ2ڑ*/Pf~^Ϻ(Xùf6ռUXu38z!1q$5JP/,U 3Dy'^nzXCC }S< єU_B7^ 2Ph>+4,?6S+.Ռ]EdΗоOD4Y(!/S A:ZQw|·;2P;7_%gq%QGyC@ (*<{DM~: &5=ayW!ʉ"BO~C!Pxx2`B *Z*8a8xˍ'C8@@NХcU DҒVl0dxYg6h!%=^ӭRن7!ݓษcM֙|/2h1&J^4xP5R۵5H3^l1ȾN*(OW^_˽pi=y4_m.e" c-0$6k[/M%OrueݐMHVꟇ@pg,R#Q `4ri¯D3ziŵXL^EAʼz~[YTdLቶ {L ݠ{QK.\5ZB=݁j_xr?ijQm AaOײH+r"Ʌyh/m\_q/&g*[%|p'k 2dA(uւ2;NNh" C!frnDE2=Nez^sq@<3)2SMm}ǢW, ^­4m2J0\w|oLgJPeB"+. ^=1[ϓ$Rz4ѣ1BDU頉cW;pn|x~߂*N|)l_NוLzq CXj 8uaxC%E.9Rc̓y  ܮ%7W3UY\ hoYv|֙YyH+ 8Bic767_nyJ?Ժd~}7Yl͝ }A#,$>x(G|,(EoQ ǍUCE ʜ}RHZQn' Jtɝ!FTF879F:͔k2 Հ޹HuHamh:jTB4/ͩTUfR@8Ϝ]!Vt[N}rS2p\hQ}5@]l ޞ$Bwo"SƢ?}ROb\RndTDۺIQbqudm^:>"ѷ5Wp2yCj!f.ߜv$u|NBړG\Ph>^imίDm ̨eu}y#jBs鷜㖵_ ͸gG./&80ō w}gaoj*`Z*` -mU1|bi Ϲ7bVs)Y]U<'O=Wc=J3D60ɜW&~Wի} pN}x 3-oM:N{cy_NpY}caG(=ǭ O>PHK7qZ*ۉS+^ZqBC (N.5wLf`/r}T%TPԦ<^>݌ٲuOo1X0NՕaqHly3aF#!AMkE(iEB^,4= Y#OL P7758_498:3S!nDNfGv5ai`~ P _[tHcy Vb4znk#nSk>²" w;:lp4hM~XFNHRHPꨖQgՎmZ=].Oқ& ֗4#Auy_jI\\߼[{1 Vl ;wbѨ|m,]H55Gh(5:s87 4OeGuIcw9hJ*' qI;yL U}(h(IJeܦ[*/M2ByM!HU7߫:EۤI6_uxh(|MSRNE߆fDIbb'0ZtS&v?RSݠl_ךC~77/ 2 DbU$wdpT{5{XsNYz+>zs(i1Rou 7L H9>Nu#'vBjKhZ䏊94tFg}=ɠF3潌/Q0/bHkOґ"ljԈVpNγ q>HZaXa"1{ƋB+CmtUid2`1V #mF\ +3IO8 >X2o_ qh}zD<,f (8S=%iLHij0Oh8n5 oقZƤ4UAHI|dWWS5JpIKO| l}{~3Bt<ň(J8-ui->(?lXrSn)52զ'epdͰMj)X]eP48Rkr]-ۙj NʝT/'yB%GGaDcF@l}/$a#&sLm\ikNeR)>o>88|x^'x1jzvn 98D+d$b#ϰF=m8f OK~0x!&p/GUuW㭛M~. U;/iqy@چkO^rukKX`⫏i`,rlMKth$#q_hYT'B\:gwV̈́6mϵlnWt Xo >+<!u6 f֋iE:Or|luDe-| M{ .iBGXw%J.Z,e>o$7aL/{ƕFwH$V)WTi`͠;} t& wR>eZ5~`?!Hgtba77^6`_K:Q%C,q^kn&'unk/+ՙ4C2}_ SE8Ȟ793m㤩Y{;H1 M4b00]KDd$7Y2.VHӬkHL r[?qK6mroD44(Ӿq*6 3mD'It#vO >k8 `0~45Pxëoh>WXn.dM΍pk[tuOy,q!9 _ iE@O* @E¤.k1ư~ 怾wL d "'6n8b!-Wl65c˪lq FPQұuI n:t;FKĥP2TR*t>f6}vBI#yie c5沝\;s ڷ(, aFՌ29?(Q 8Ƃ&7(ڀ!j F6иl>MY l<CM#Y-ι*=gl\gE :Yб$$8FV^MAuIG .˶rYu&=i =mDz̼GVGC!DI쥸)gXKF;#8}iRNr"?<5/LU1BO:fP\算0 |TquB(srrH\0-b(adjx?mbojd\JhNJaS@A}\@L9-t+Οb{r@B!;*$SVMQj%mPӗv«3($+e0h`C-v&VM$_Z!v[j"f_ǽV%]J2X\- L*Mu[q}ƇS3a*o\` JGHNEM?󁿃-~c3^KhrI<,r$* TXp[5Z~)2 C?uW[.%kNЏ׻F ӑ޻\j ?|7(=RENalBzlVϲ ̒%5b8'AL8xrxM' P~}(ǔT:r~3% /n;rnA n%ͿW[]w!6N]f2iT/ؠ l- !PϏry6is'X5\ds0 :Z/U΁e>Zrw j B1XaUVLRC\tog8 S+!ГU >USuV_)4Y7oYdޠmxvP-THFj5?FYE#_'c ԈLw/z*Hz8Fqm@ee?qg= !YɚHT-&ǘ1>?5mUexx7=>)H5܈WJ V!M쫂n4 PvV4Z#X93f Z]"Ьɡ[uJe[֪]r$D;i E:'hDOs[Tp"TUvGLˌgT ߈/`&ڛ|vuH1)ڱD_y|n7ue''tG }h8*@ymzCx@Q jʦ:=h* (%goY9֋j\>̒b*4ϒF:?~;ӹa+78)sCYjвV;U? lkҨZ,v5  ɣYfy]@+ Q$ǦcD('o)"m6PɸL8!YG G>F'3f%1#0tQ I(_ <D1mcczllCaer o[rm"ўsv:"9`d[.i|X.Ird* ya%]@w;FDٍ|eA!/y" gN׊-Na;F3B՗J@ȑD6r^ ݨp WŃ:ꝁ9X˄ygsMYݶ?A&53RῑY ?ujQqmm<ĝ<%ci5W*BllρPBf _"-5/~ _]}9e;I[ u]SKrۙ(z.^-֫4+qLIW(]X5ejyi_BX!j^_gZ<"V ;VX}v'3nl @AF֤hJ:DIuB95c yzpŭQ%  o+֍Mz! 'tiG`dRo\z8n82*&[LhI16D@ʹ?*37.mLR1lMܖjت95]+QKH!\Z xYP X2 +j„Z38-%w.* R`py@Ļ0kחwdU3D% lc]#p.07Hl9 puaUjmZ#@ uE+ Y^MNFq*Q bL/~:O,1(%Fkl[Amf=2O7 ޥ ,2Jaf""'EV@|v|rhH.*{iߖB"Һ/Ve El`bH8߽!\i0c!=,-\{@w"/ކ3O~<&HS8m`Nq'@>g(?cI372Z0j˩eY:Kˎ<4 7!o0=ܽ3I&V6*ۉ<7͘pPTS`ۣ e}`d.?Di]L>HsqFVɈKc mkLIC_ә@MZb=Fs,B2av`|cEd{ax )F=1Y|4Zp!+H9ij;…Bj&\yxD~\ ðIS6WCh]R!#UI;vk2aB8:"Ļ3 g!{U@ .6bb?~j&2;(FﴯԞEqB#}:B3pC25TV8"[EۃYyu%LN#G&p}mj uvnoQw}qչVHṡU# w,6Yrh$uh!?_?w5@r¯` Uf'mb,"bquե!B)КFk )6lҹiPpl~#2T2|೥[Y_ sN ն@ߑq%0G2u`.v߱ \WH_C`yEd/-\w S(O}k4\jkDV RUTzwKί:LS/+=)Q‹N,-E6vUj wԑ1n9Da+KG(nm-ޘɮ&l/r*JMRO'BUbAYkSLb_SG? (g)&(;rƥ j@y*~I 81Ʉ {6&"-U+냅Nu sڬS]ݍ~2G4cQ(P.dNC8|=Q` G}Gf};%2xl-W{Uc$8Pb.1yq&q#'+,wX-p{=RN@CoIЛ!I?{ω &˻' 'T@*^HȦ%g|B!Җ8igm]K*&7oɌʣb9KR]39CT@Sj_;-J4c0MTj34h+]h+nL;h?ЌGye!雖Z%2A6Dj&dMņٷO|̸$ٖ, _U4::̙YXfF(âڪzxyKܐ X;; Y+UckA/|V}I?+/҅R; Tny U6 ED?# #gIU[zBq̭- zU|Ϫ8H4U$7Ǒ]'5BV_}=sClɄ-u"/ߩ -*n?d5>_&9"!Wr#-)N{x!O9B1^hW)Ā'{ Pʒϟ򷑊l̜s)o"', g~JLT4@ѴH7Zz4>)u:ur}rцE.V1촟r/wjQpTb'BQX.Ml+ƅkJFUؐu 9p.V}gi~d%8rm>r pvOQ|dh9*~ty6r5p$ 1Q8dOR2̵iCK4?nR;h9 F5{UJqosUEQ 7ZC++uZ/Ú80 8LjCln 6D9GlV7e\kRCYҡNauI||M`n|~$I>^3=@/#-Ƣ"**O[иi69}t;{%]\ C<IqK}ilwO0U䚒uz6?!qqտqr8:*v꽔gt/8R!v,.;-u{\\NH8v$_6 %lօp8ɘ(f؀pKZ?ڲgm({pL|d"MmRBԯgAlBI!u>1Q͠@4# mY&c5=cofy["97K3d ;B6wMob T =*y֦iVGk==4Vbc?Z\;f2W +ԁ%.Ұ{<,'->ӎK-K;n%Yk[0o>ըnx2m 9:zUKqdSHV@7;KXKf>'i w0,.w\td/jy]"ecJa\D!&41d?&dHcB\kXYyXx+TEI7\]RM0ѾbW7w3x.!8:Tmxyh,@> a; ?h}r~r6/?;JChz~N{.Sv; "=f还w20L4r[ugvl隃ߍ*N=/V >%kWEǹm o̙r;v_] +(Xx$g x5geYmuAbn`B}ʧD{4n'MoMݚ_{xr{Р'jCÔb1F(w^gSxBڪI$DCkGo>ƜB-_p^b̲2N_VØwynh() Qyl:dbL|U#?Pj2RZ$Xs@,Ȕ|f@_p"1tfgRaˠmHecrǞ&fu$xP-FP"iB[ 3ᔷGJudIP5dbuʥ/@Vķ_m}OA?૱|m.q U뺝P8h#PEmF7]7˧F_ z3 n?4eYB5xِP[ _dJ[18m<vFt <\P\olezvFDvd9DLR[ɥxJGV~q+\w/kD KPkn7.7f%߁>1 &e~xsU! ! 2 ldҳYOq,JgY:Ifn&1cRY :߽*5(Nurf1?g."mkUcA~rz8n(}6_T[BYм́o)Ev"vXb3ㅔJcmX bMأ4 F7Sv'nfvbOoraַVF'wo"E] Jġzis+p "; asѰ*WN7p$'MϮ^Y' Ԯ nھ}kq"E\MB LVHzNڈu۽ntC2o )G÷骮m @0 &KPw='7s.7OHg6W2\a bk0|:= GFbyd `0=ʪ U 6jmUb2̘]Ŀ:GyvmUbSwHƞ6˝5 t'K5"sS=dM{Isщ=CLR|SrA̤~.~Es[o^`fL}f_縊FC6.U^^m*#L{CsFo Xpj3\:oҍ;u \>,\]1:Oq,۷4$ḖhMWux}~ss$'gwo }~:֡2FED%1) ] 7!ݫqw=Dy)# }|zCn>:3Ii{1bA={5 op{dpJڜ,tNEr~ L=z^Q(1MW 9?G`_q/t*_N%8ȷDS jJ2B/\rlF0%Ao18nx kNj봓)zb}/ N#v?[3 hAcY5)[”1FIMU¿B$dyvV WT|IIB uBWB&V+.7$GwLyHG@h3ӆYMW;pCv~9bOnW$ܓ\Ѓz x߄˷I۳DZ:읧2sY t DJ}*hJQTMdqdMzS Lػ\O^Şŧ~ $y *pRg%Mw\埘T-0 .Wtx*__WފfFF5*͙3VlxbRq+) *:mQ TU])m9zWa%;U-)Rx=gc4p- 8&,+OaN~ 6@ɫ_#O'uሟtqZ_\S ZH*ء֌т1ϙ4G\5?>6oaVp W"Q#& 4\Z1o :;)0洊z&܌$3U٘-> R. lnA*ah*`Ԟali{^ImMxH* H?3+D 4Z'W؞û|Q# _jNa,3" Лi;rҗ*ƹ*ϻFʾVn8Qo3f3 ҭ5BL{~> "8BRttۚ/W'NY` 97pXdw[d0=%yKK=P7wh&9=wQdN^Gf#VVN+ZY4#KXN;Ry+^+RzE>%%R}s2Q\}0<$Z\A/;sg.+{ۆ/~fPжzp‘QfUJRK%'csS9@ݠGZiǸ+_2\tZC=iGe0j#K_›S82i`i *ҶELԞK-l 3G1rkv c5n @/a "9rajfT$=Rtبb \cZI94 Ͷܞ-==8}0N1@U`|k Ǡ;$sڰ[$ hcŬ_1 ǎd!)1{<,Zz vKz:d\$a?=%Y8@ʊ~ v!Z4$q!kO&׎ԔolJ邢65]yk<Ӛ[=w7zpۺKyEg[r|}㶘ʕρ-QWNԉ}|V!adF*zH֊S򢶑0enE^uMn?oEr[*ROO u9oŀt;hg͟-\h\j$?B6P-%uH{4qh> V),zo^Y3[$޺1 H!XQᓼ5*sԤeTaզ{}AVK-;) z,$eh{*{*@;:()LsA\}W k~=N5`Sz%[=Q,OZQ\mUk(cuo2Y~\3gT&{vޡ&8 [UeVVuPI Kx2k,G T1[Ev0lvl+s{U K!a TU؂jG! r  #S@w !{?M䙫zX #`Cx,f꒽xX.try7C"^ǰLnĊ0=E^9g\m٘R'GUpH64_8o]&lj\($Mcş2OUӝ| [ v%`Q5]/it+\ k{E7VphϏ]%y^좔*H!6`8C7թ:b NIu_tQ7js:EE5F?`!ٮwZkv HgeC-ah4?~W˹#{AlmIy6/啧H`A n!]Y)p~ռ\&'BjjgRBg\8j=%19l]39sRTJDKVi1m{1Tg2ys#zuW   2PKߺ# $θYì.)Ss9aT]"}vC㙹#x٬<|2p U(k1/vO,E8zs0xGcI\8أ'(8#l { `ZxɞWa!Vl_D5[?og{o 1t7,5tل#e5Fxh } y7;sTe YQx=Je8߮>|G5z1>d_g0j{徟o~}8~rՠ"ˎ!n8eeNm+[2hpk=6'F5ߜ>N֚@@1\:890a)]O/»E7_"$fN/$; f pErLց)/4[{֏=V IKB(nAèFuLP!mːS0ٹ%tppIoL->3aOD9ydD {p{3 )MDA)3:T&FsGʑuBc?礥*|xkǴ]spymeQa"Ѣ7Bg>xa Pܺ{giWf|IAA]]{[I\7|Y"|HEGAμJ}_#W3IxL)`թodN@EWw;@d$7xk٨ߜ<LsgMięXE{X49e*㙯5 :8E!|XmFS0~m>cKheՉDE^bxF![4Q"?6 L˳BJj#QDkV+o#_+dp00HZnj+}"(U $TWpc:vbb 8n-\6n*?OUyL;8`-m3'wSLoP5I^[y}84}LoƳhhZs^~mdA1njM\0%ضA~GΫ_j-&?,rUn|U_?x/pѢb"k+Y>_Fc_؈Q|qͅN| cD39";<ߖ}l+Vppvse~1?AQ8cMnOIDA*?^ͰϾ0r/%^*;B1{H9B9;Ɖ&t0 Zc6>]28.Z> ?L#A FD SngxD1/լBVLv^>ok='AS)Ǐb[zh_qg UJ.IãckJ`sh('oLOg^>l@p=%*#e7[7&Wa;9AIfMpЅNٿ~:14_>5yʅ+Kzz,4oуy+S.y<&#R7UgeN,>JzrC+t3<ƕгT[}PUEjHE_C23<0h5UkfZwvL~%g?B~Q|ljSzSœT\IY=#!uєEJb'7v O0J&Tlyljxct9w[g3bjx]? w%Wkzf׏8xNDU{aSy1~P-DT,e'O٤ 22g7Lo˧9V3#=yV)bW֡ȿ$7s]sw{pw1״B"C[5XS㜶_e2 +6̩ 6f §f oH'ۼbhvI /zX,AbڌOBRPJTn8qHoWйqYs4gIG#c ˳^~e/-s_KU>ل[c,Ю`}3͢K6% :⃷gr&K}Sa7"P+E[ȝCV26^}0&&6f3@*C?A >.j{U`{Χ{0? UBt/8nU(;P*)*aktD\sΤ}SצŇUۇ.}9nH"Q]s]s tG@"pq9b"l{x>{0k]‥ aZ Wp -..c0nU}NP=4?Qt'7:Tjݶddr.[%*ba ?QN]HsGV9uK8C.!. ֞/g`Ta4(gnHĝshmJRzd>pߊ*Up.[ҒbeAm>;}1 k U =Ji"?7yYs"Xل3!* ~d֏!"1p`AHbmIDh^(ӔALPBm<5)l8RL{x2< LBť*ԾI&#S ?m8YOVրʳܬ 5*,0s;ߕ1TvI\ft 8eȷ&K$R9N'4`?.3kX_:'m͆K1<3._l%࿍;G쯈 M|Tjl6Cn]>$J>H2 )ATs䡟m uhj^(3z>%uz(W]IVUs_;9G):Lb(ޮ|A"Y+ϝuAr.Cybzl5TQ o5 ۥIS4Nxɭ31HR`Z>zvZ #T 3RsPeTVjs}j8U!L}>2wRЌ\:#g^S0"JG)yp`3:}=gpsL;r;s @U6<[;_!g~sKjc++W“ĉ}6.y`JdJ.-l+C= pO,[OI Acn]&Cef8e(a8~ ]Wm5]oz3|=xYOt/-<Mr ԧ(jޑ3؟/Ƣ]Z˹¦]2,hh]d$jޖt b{?F^&e D`5fQ=ߵrѐ#3Lݰ>dۄ!Hz3r@U5hni܀Vu[  Ŷ\/Mz'CgQ%{21pPn$|jhӴm.WT"Tץ4x)ıYlR,ع9 ط?1P?_d.rRȓ Z2l5`8* F\wᘿMN;ȇWnY/;ƲB'i 9v3T%t05{޺Ʋu Vo#oD鮱F}+?)s{pr_Gr.L\JAI!0^)\EV5%~ :zɃ;#]y:ŋ D\g³q1ZB5e?4#Yw_FXoNA.ƭ\dPqpNC)7Y"V*߇h䇛YAT3P'1KX_Lb[Tf4V #Sm<WJOY-dѠ:*rǒZ7pd" $6ALTA0tmuEGb e h jKQ1Y-i9&BSPҊgY4MWFT.ea>sKмq_M j- |4}F;BUi =rLKM{*l֑ͭ>uiTJ¿v'$=uGG#^^f]k')(EkI26,摨ft霐3XS܉|E-gDu=r&Iwp<4p?r.(Xhj3U0)R|0' n[qeIU㜐g\_{FAt]MңXk*3`bc 0P''a۳C[#ͨ*H2맆$IȺbz/A++MrV#rbvßJ!DJ {Ao8̩wrBeʒI9̐g -XoGF1={~=dqv0/C7=F%Ȟ'U"ScRM'2謘4cE}d؂S@80F a 0ĽFn-^cDA]bZ.{Se ɂ»੾Ev γ'* (ǯT= 㢫)fHS,}EE(#y)?/~2 !6J[ NGz5){״d˴`>h"qC.ʒ_-C7Idf9,$J=xgL;b-= I+^fȽ?axERb[H+AʵSZЯ?UMvUc˫[LqۢE^6vE)jWSVih)?rYV/1gOhg#F7ȯ4Y܆aQOav.Svgn b3qO.׹ȍ[`'6^ O.n9D{}¡E.b]p>af5ex<ٵ2ND:\ũ"gYZ7zXZִF! Ah]ŗXi%>)*$Yc!_IpDdxa2Zq ցy01}nܡϽ'%X7OpJJ&TMHOkJ_wjte|ME(֣d No73G[pؿ.VZU&XmXs2F'q Bx0г}:,O#՟R8En# @ͬ[4sb`9fjõgE 6HBd}#HɫVBU>u]ta `r I^+V=٤hRD_G!w6m.;HEg*P_8zOּkm[OeGԃfωvh>nQbʾv8N7(ojU4E~F1vkoөy$x8j45jU`QIl DlůJŭ%st\dI=p %=}qfZMKdv/zK,Y=y" DNW. UIONbnN?ԞjanQ)G3!%5*A ߃ue P̙3jo6U_{jW<2iS@%J:.ف/Gu;2~bNn}ӣ: m`|lSW'Gܺp0|=5vr2FJKz^;6ڽIqJJ4ԲK1A9GcZ4դ Qe @k~H6P w#!HD;0B8%i&Y[ A1 !aQa;^JnL2 5ړ<ٔ3K ]=8zvރ,>=hK>>}zC$-ADՇog^ C`q,x*}}*p@~׭g݅ lxQ}ZN(;ܛ_pO=-&D"u{Bv #+2Lezpih{23CQK5 "7Fo%.^yiGͳG ')@=hKv_iRbQ\N jcCK#&p8Tmr(S7@Zӵ.@'zE_pGYpnc9Oz&tP7秖L0UkKwA}Vr\tBX'9}M4ҍFKoc\m{(Inu]0:+0bM2zI-^oⓟG/ (*I2PF=Vd]: Aɩ+UUޯZtZ)'a&hhXHNsTTQC_h{J0crFN}w x1ݨ%n-z ]nx،]Vd>eAUVjg|#E=l^#Z@dcSpCpl h|*(_QEacE EK; R*#4hzfhf8I6Ǯ%F6 EIl }1T,ƀ牾hwMyKo"1k,.K?@=/y4)=z`Py )pHQwc}YŽ z,Vi*ųjN4NUoS F䠑kAĿ5յ>՟;MQ~3mh#n/& ^d:zˏ eHߒC@vF2H]OZ.=Vs-D>A^t,^]S|P+w<$a^]Pwrm䨯uƶB9AHi\?0hlx+skR0q_u٥a8R0g8=UKAR"ٲv6˖&l_3CQb/(1'sݬ]$)߻[:cm6K\"c3NeCbF L\>߈ g Oi!݆߂>KJ"Լy e~9*xy Nc+Tâ]-8X159)߽2[%wMBFCϊmz ?r]cX>@rKZa$^맒)l)^< T3+KFȵ } (|B4?#Q>4'9oh'غiϵϞH-bA `2)̣3}:se?Ud@T3{6Iw.cG?zw/,3kqZ|N D\{P t+^xu$B̺Dpf#5)n*6Mv= M2 WboذG9qͬJ@FfA=jaDn 6ge3 Kp0he4Sl>lB0|d!|ORomߘcbIwPx0L0D4x h̟Ҽ4G؅SכE ?MxoUY}W[e,)k˷>}{!$4pע`9 =H'pB1-2,Ow[lK^׹FwEmȣgC@asTIFV3m^8uGH&b~7n ֩~N72Vgƺn ) d 9 ҋ4.7s-iM//jKh[hԋ&"`ս*Jq/Y]-b+yX|mr;<PUb߭ DVU a=^Ѓ`,2?I7^r&WI==7I8!0F Nj]CV>=4eGf`x-gX( ݥ=?.Y /1R Q=fР><5{Pbܧ[Qgh=VrI9JlQa[޺/U5A"ڥq)Zʉz7_dk4ڍFP2˩: 0F-nDc V)L\+*YIj+B-x0ޫx}lڣjMmE +QR[;b/Tg\rL]kB1gĚpL'V( C27 G*:.(TuT(SM}mfy OVEl g3xo!)Yqȸ?EtکFQl\Dnd>zj:3;ػ&X,eӂN.Q)uB4Puъl/6炞b)Pz_k5&|׊n zI^CnTZ3Ƀmld\f='`-8ȥ&Q?i[,4&c;:{D08L5\$"=\YqSh~n}Ȍ[h~ZNG؊R>ےn-sK 0@WNzWu@Rv*_+@.^f!1dC%.nX\0)xF 4~-#fzkuD.yNF@mD,Q{مOR!|VrWim{6 #fsY񄸮?H%P2I1a5Q clP9rk{rs-FfI gB>L!3Z-^ʬ6ZtjՌ"ǶLz-T4G;GcYjJtȗ ?ԯ4S$hQꆐ n̽wHW3ef5Eua5Y(#|ۋ6T7 _/ϭrԔF~-:+p!tU^Tі/$CKeS;G8mfvF#EF:]mcG!Ss ?ؙ52b$Zk[&F'Q /Ҭ)iQZ^Gۄ{)O%\0KzMz+;/a H35"Egg[LvVrb./TJ WS*ipys-YMQģ %% `d%k~ 4doL 7'FX'wWb#tVxiV!brJJц@@e@c-䂍^ϨLih ffLy6 y'2ٍ4RD԰a='6%| 0Al)+ ;`qLu}Hw_ ?*9*!L]~mV3V[K Tz40Ќ@/ȲfP%P)Zid8o dXCOrj+P2OL>(o7KqNGMƕFLg)Ӗoaܤ F=e1nh4I!-՝DmI&Fl}|*B~N ^/ 8Esjt OUm  Z\ ߕ%(×Ox_WQFYWdŵ`;myGkI,qJ//ts*lɶMuFHځ2JAS,=WqF%BT \3"p24o*S-k=xmj4U0QSژ'̴~#!9&%Av|yV55ob=܈L;>Ov2R0~NۏEϯJeu9$cq*c$Ӛù n0w09HMo-ypj(sL]+1lHPE']hoLtl tt0Ol( Gg3v ۯWX0OӴ!<~>zzB/>DY=rMĢĩ.N| ~)%#vfT.;MlWay*]gz}k6 tu<#cI6?ob.A-o4A(!,4IRS+RvdE7 [@ jovp6`ĶF'0i7]A0azh#IĤ8g$?C&&-/!8sdBih w<7LpSݢScH؇k" 7AV+v%A\y+Ar4۶c%<^R[ӺwSD:JܑO̕b`kGcf9P9h\W ))I-ԩ ELJI?j7Nfy'ЩSMty2F*@d܈U[Cayݡ{@`x%Qmn*#Rd~jN!y_y, K D,'Y$KȠ!eߩmۼyQ1n:gQHu9gH  5!3$Id#P'WQ*cُjT T K^J$($0IPdh02' a9qOʳ咜fYAlPk%xpa ?+J<nmwd-$0;sXCxmiƍlaM0ϒD#U 0S5b; RwgH+(!hk:16@[0Mr;vܔK$sU~<% hru'wb"rwˌl[Y"~;/ Lf; ĥ+ΰl$D0E4u׺8V{=GaxFOWVS諤G;UW/,R$a)e0CZ1}üߴR7SF2NjE9V)&-ڱa9 ~g޾sN <鬓nUuW+#ˉp֧\Kڣ= 6<0<}9&Oa&tS\k$pčӶ-s4ڢ&jVyqoEǰcUU LX,`K5{I۷42Iq:i6VI:V~Upļ`ލ5 <PfWtekqV@G9vtw5vq]쩆;So';yt2T,':PI)I>=j7Qk"zƗd-+SL*FQ wT O*:M7wN{5N;dׄω"m)ccШTuKnj55/] D5Q׳NnW(hr{لv$'&%ށ$=P*Zv s #^MXuLܡ}ooZa⛁%C\a`p"!>=xX{:Tӷb{${} Ky/mU\Mo,gz` -l46jj?) 5MÄCʞN4AL!e wkK2w4)QlP^2x^"RmWi:beML F\o縫P~d~I86}Mfl-uMR6;syrl ;KƸ ǃn( oDKrjL︡ ߗ0р,υ=D^i 3lKFY»Ɵe(#%A1,_\@櫜VGdß=0H9_YH4ˌE4#|zc -|Jb# /Qٸbu4`F[ٴ zo?kс3 _jw['J4 ey6A сC%(6i\i)| dddo:c *zKg 5(nxkfxAjLL>*RoD}]5-z@T NK'>Y|YQu?G]cHqP, Zl[I_B%x;`LX_Cl֎+ On>vXVgJ8'sj!xK 6Ey`TIEo%H { e[62)2{iV ?S?TȹxM}pif qq$f>fH?Zo_t$\ ͅ #Q:b񭋕`0WZC0dX(h h3d\E~,S M-tؤ⹜)/wz"hjd -CLx;e`J9()x5'WzQDW&= J=ʤ u9vJ8_#h6`L /PtY& OL0F!{H,v|hiM옛2حo䟇#udQݠ t+d3%(5_fNPP]C}V96)ڤ] *Ą^yG_1N zgdǦL]DȧVe]8F(ǪD Ƞg=vA+/Ғ 8o͊Ů_E6>U,i.V t'- յvZەd[TL<兮决>Z R줶) QOC`Յ9 Dxgj=v82l.cf׉7)tw7m0/5'( s*ebc\!CoEb+˕d 8F?)޹)X[[~e߈=.08 r>PW_p9XʫƒhEdl,5ځ\4<P(]Ul]GF_Ip|ǎƕX ߳IASkOO GNB˟ a٨(P<GEg&(}zlOhhh=pzrXcKq|Fd)ŠZJT Qwlع eVlήf7w|-3-'-p_ᓡ0YGQ`"\O<֞BN<;nI?bxK"KR$RږVgh Ze~pY|,GC|1Rѵ[֡gLoB2n߬Ʒ#" gV #"UCte<T]kJ ZXTa.`i;xF >aӾqv4<ҋ(u0o4LtyW)kY*$. ,i9؈xu_ECKM-ڴˎYؾ dWRvUhϻ ꎋ \k txP@bZ̖HW:}jpbb`;q0i='C\S7he e.X'UzoܾqXVL:.;%،ضrO}p8ᆢZ1u0.J\<<󕋅f,c&^[~vAjr鍝۹FgB}rLTOjWZ'NBI*18͠(I^t#DaM -'hce [m)Z i$UK<#3u?p<^#M=P`jI5LJkxjOk!^oo{# KEumTL #LeR#Vo-0!(BnXJgƟu&W3tg }eD0N |އX5ׂ"ʻOr@9ܿ!P @y)m"Pr2 a;nj8`j:t;g똉>g!;*:QmY\[i.!lYeDmoq$F/n. eUnjUϑf!l r\*PDx&Pܠa2lId Y9e'BxLy$VҮү-zwbH5 8CgS<S^ Pޡ)“{ [;ϣQ/ܑ&v.ls|)Jri Ƶsnv[kT {ÆhWURY(6 )Y&q~-S$r2x7X_$Aj4oSv&k$N8t1EuƂ/|z2$i_2 %ݻ@^aq^ӫ̗B虈BMh!JVNaubHW?U'K4h1/j]Rڠ> Z 7 ى,9Zh:7bBqje81|Z9DsxTv,,|u&FihjFqlvFNg Ore_j\9!J&>e鹎?hkJ< k9xXhY0)}b_lt0kCz#i]GA6bʬkL&32.2d5m<353D #+7ނI{\.s534inhlIpYL&R ljF(LOT+)?hYxAFdPLΗSݱhHg&a!|&D:[qQ*`4waB@TSz.zszO>j10>ye'5^rJ+]deŇ*tҬl]E=u1LVLC\4gƀRci30,Fc*~hAaEqg_ 'rߠKT Vt]D&ib N[HK=6 .p9CTG|.؎~Z1627J55jGM3۝%y` [P*g6D]AT>-uj#OaK1<qMRG~HdA?1CSՊbmft0(vZ-؅֖ר2PYsd~k17n=+#v+"&۔Isu:[f:kF}-ql3Ȼ̷q;iaMk9=K'df0:x͇326} {7H9X<657NmÆ+8ַj;(B,NųsIGR4[(tއ#Wʕ}v[JٗGH(8IV[|K*AP3V|a(>2΁#]3YJKʫ's<nQ?(E!WKMz;" Ҥwy/Qm: >#Pj )۵FﮅCqhg tן9CjstX ϯlc=3RZ{Z2#Ed;ZvܝHe fVV-z~?a_W}Ee½n [m|wö\f#Hቹh|^neMS' T9U!7&s OFQXoZڬA( z' Ę*T .~ư+&N.wmr7Z!1 3 /LGr|҃wLwȵY'lw0>ʩH$>.u?я`ʨ3;2dAmG<]oT'X"FeFYjLo@65Xb^J5 fxLl`&+Pž]GN'aѶZ馾4 GFIڶ.NۉN#b^i+k7D)cq%jT))P::.p@\Bgj–@NIR@Ei`STUcmF#w}}ָ0k17@YMu{f6VXZ^_O3E#dE![qL ϰ~/8H]P N4pqu r X”OmYLZv#dCdPzδ{ 4kFU(~#_xr")@Vz7!ͨ qT9 7CWR8 sX2?d;o" = Uݧ1@f2U2N-2SӠV%끉d]=9 ^=uߨU1"M͕a"Kw&Qy 7NA509&X>HU? '/ T#"Τ"E@~_.z˜'n=TZLIWՂx ->FeEP@R^\w1md5LlRgqi cBx,@6p硻#O`ȉ=ӨDYXhF)uTt'z9̌1A|!B*ҳ:f}7|z}dlmE28h`L_m^Sr!b'\~0٤yfBY1\l/Š\jd^`|.Dl[b^RXHZtڴDŽOPv$8ڪAfr\nQέYyM*f7+Sd [R7@mףQ}RS[KROo=XՔf*8fdQɗ n3L_ue^7TkXR]&(v [eTT o8Y ^ v-+JvsWV\(.9@G_*^ϧ؉?q N0?Ų;Hv[߀D|T*Q{R, @{TxRO]uuB(}jJ{KwUp_p@z׊vgYrLBHہ(kSpIkḁ|WW[2gM|U m\`8Қdu-Yt^:??2u7ҦB%V2soq<V(tb5 [prv_uf=AGQ!Q}.(V' H]Nt@!FI*DܨEGw ~#%h-[Qt'yoQH)ڊلCe7?ܻ0z%C$!oRUOE )R< K /# N"%nVkOwOp =6gYZ01477e643bc909f0a0827b4f41bc44ba0fd4920e 0d624df132aa2e54b02fa619fa707a1b424b9830 18bddd15f739dcd43f146f8607ca548e20ec793d 1fef485b0e1f7a048476ee1c6a6b4611e2a02048 21c2fb773af89aeda79a34d7ea1eefce077a59e0 37cf0b4fcf26d02ac72475674972cb76fed24fa0 383dee4bb60284cc7229af5017def9c12378879e 388b260b9a6f80e592c589135cabc5a7310cb2c6 3c1ac962b07a954525caa2bb4f1a5836f158160f 3d8333fcec304f0aebca031b9ecbd2dd7e7c9595 3fa4c78695f5ad07b3754417de59e5a4e3e599b7 422fb75946ee2eb3f59178cb1035f2be8816cfa6 4345e5b7c65d63bab8748023faaeabe65a7e98cd 4635373b48d40e2ddffcd791152b01913682dc0b 4bd5975;7d95a4dfd72fd9de5cb9ee71638997ae7 5117119a178eac69d137fb85243808da2d667eaf 523551eab52ac57404c63a072dcf3bfeab9d152f 54bc02edd20109ec5df1f897881ac82269c23e46 5baf249002854ebca32aada93ab62260bcb439e1 5bdb540d5d2df48575e3f652e12ed3f3c44ff99a 60879ee4da2cdbc42a47e3ef64f7df2244c84e64 775ef38894f1e5a5e455d7edd303ef0f3647bc1f 852c4b663a8d439dbafab771fff6222b134f0cbe 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 87f395809fff77ddeac3e66d15a30bbdaa3c3ee0 8983b274ca224430b729c36804a982dba8c23ce7 8d73ea89ca8820adac133629bf89a5f701f0c2e2 918f7377b9db9d2059aeadfd5d41e4bd0d9cc845 91a709751d422a5c99ff6221e78f6b756ec46575 962e47aa332c8804c7b150e59b0d93cdd566fffe 973d6bd96dc9037f8676681fb869d6ae83013aac 97b0687b0f666b4854bc0c37842673e1222c835e 994e906601e17310bff00be21ae5e216ebc52992 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 9f82d4e53459f814981e858cec3d927c6169fcd3 a612d605e4a059d80c4db56e04c3291c02d8f652 ac15ee117ff7b47bbc87b01f3d1548839c6bff6f b2e4b5bf073d86c5ec4fc22fdc6f1ad6b9be6e84 b319d76f815a4ca5362afe46af6873f3072b5661 b69cc454c2a92e0a87321a74bab431503f558400 b766d0f7c880a1d47ed7e6a84616d4d4cb6bacec b9779460bc65439f31b83010861992dd478d2cb2 c1651ecc4ff041995c8058ead56102953885da58 c2a3023e62a8a7ba501c7d8e844ac5e103bf652d cb03b6ef5b1b2eb96a968fe951f9bd45a635fe5c d6d7e82c49ab13d543b9666fb4b34c3dc3e99a28 ddeafb789ceecf6113f05c3fd39d4483efff0627 e14af5b9076a9f726d4bab9022de27f313a84125 e16dd81c25115952353dc50e98ef8842c8109688 e72d715aa19f3da35f1fcee345a3f940c102d71f e8a1bd85ead6fde188da5487fdb80d51ac0a8d58 e98d989b0d56b347c6ee1a9d61645ae944ef72e3 ea07fbeffcb1368ab04358e4a6792a15022e958f f20bbfd8e8fc856cd00b8c4ce1602f2c476f088d f7d7695b21718df39e8a80a5c0e149dd8fdcff3e f82d3b244f15f3b4829fd75e899ab0647ef25bb5 f9ad8b0e4dc237bddb1a7187abcb79226fec1f90878527395436048d51bd6287a500d1cb05dc0aeb e50af90258c1ac1951ef5f989d4c925fa138d449 721ee58a3fd9b118ef6bacafcff1102dbacc5b24 498bba93bbd2001e90f0bb3b3c5039ee95a3319c f855f62cf92a071acf1fbfcd343192723695118c eda4641ee9f15af41d8af900aff28eb0c5ba95647e1ab5ce8868f9212a9f26cecffd8354d5c2b3a3