SQLite format 3@ 8- 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=297.609cpu=508.424gc=19.584factor=1.717zXZִF! B]ŗXf1-q恈NucvAݪ4 c?[2C IfW/ |VrKTtN6bf4 lpFplKW&7j+2?@\bfp#Y׀P\6Z^G\8NOo CwT&űXYA1sj'H9vl Gb.H)6eߎ cC\Wr @NINP(M3^ T6:~BIH)~leN8t_g7+R>A]#%ʩY9;furt@QL#gjZ]AwJH? Fsl!iGX7?YYQIu`(1ܪ_x Ò~)- Ȩ }weǼwF2,7o`3"s7Ao E>qJn虻xjz7}#+ŎOJ";bYEŷ QiM" 4ԏ^Nۦ\$#INE]Ϭ{AipWeU1~XFh,PCYHly/3UMܔA%*yj$v2QLՇ {^ \$Xݲ=39afv) *MqhuGڗŢ}ltܡPbs``CW?[xSs25Oɰ[Yq _Ե<a7h#{9B'ix6~^"KQ PN@32f"֏ M)nyu'0"?a:BCK,_N%| YѬ5pjuRU(>U *t?v 9ȁcR99lgAL9+b), 9 KMq8D 볽fߧ1]%|Q=` (2 $0WO#Yz<i(1 {]K}bumoXe5zoL ef9q**nTv@pʆeRuR3@Mj[ g?:Sma5j2.s]/#M qȮ}8 ݻ6?I,꧛BIʼnW.k$Z&BYK'cyKۻ-aJg%xt_\FU> @Z7 GN2Nå޻*t٫KI@j#S4Aehltej{^t3"uUT3./(֥PBES91¸:Fl9 / 46D3ںCԠTncw`]J h) mX1~9ش#3@&6#B җ&&E-Y A%N+Uv%Gc 6((Z,2ZBx+rnjҫA5\NbE ` G~ ;^+>+!It^;Ym9Df̈ET0 84|r`I9L>˗D 75DkR/JQ̙.O^n qa24O'UuJ`ʌXn2p!'_4c٥8g0;J֕]hgk.HpvHݧ2 I'1/@#ƾ9t^*>[!(ذ3^)dv,}"*e>@ p(`K)D㞤_"4t;ԓi WT GLѺλdOTgg}( ˆʚp`Ek\t=O;𒶪mPt4i("@q8$QCٜmu_*hzCmI_%Aw(@_mI;>XiZd6j]}|AExdzD :T^қakGS9t$+8z-L. XRdZ}ID齛 s7 YesbUrM[]p*[uچBjp dܨ8^i#/ etb޹6Cۄ?vDAXy${a"Yer3JSOo2myAáܱFV J4+ W{R8vX:@ o,AV--;P~ Md$f7R gW -T5wGn;ݪ va9œwa;*ZTw[\&u~{(9)6(ikX 柖rI#cעQ)^mJЃWK a9䵜X_:WЮLp0N34@Y+u'wd fhd߄2{u/ӔG<:&rWJIҎn#:$< Nb)6okVw tAlvr|uFh$Z cMzcs_o;cDC#}O<r@Dw} @RSpǑ Kc͖[p"5;ZEOr+[Kk녺?Y_Q{+~*vǘR6Xr@d̃Ct!3a˪B^4L)dќ\0?60r<~P6kg i Q,^6ΈԿOrQFSz YYE';[[*LV].>.yt2wtjdwDw.Z:-ǭ%&c9"tރF~3B|a(xN fJ|mS %Բy̨NI3mnʲ ZݏVfnqg"$Vit_ɢ!SmkKSr~*N] LX*9BVB 3c +n.o |li%9G-Pt=P=:=LmGmڞ̈́k&n? o9(@ 'd#,>YϖK|B~{֨1kҮ֓-= *Eخ NS0rdCtM68sٮ Ģ!4˸`={TaxبUxkI!X(V#Ch }ЪUJyԯ,u0\HL4D~+v'Eó0,_ ˇW+̄9^%VkW̩'_ҟ_ɗ.9'>2sO`汘'2hA۔">]L0:Ʋ? >f ȅv3 Dj+-=TA|$kܥmQ 5Ldr 4_hxwįQA!P@+/  &7T_{}@ k팤cg`LTZ%$eVH#̇SfrPH}?]+Z)ٮ4AN"k X 3~ؾ 2(p9=);Y0t7S!q|چ7ZTJiGd~;3Ea4T8Q8/~#OVɄ_}Q*^?2'LiFp(zAĂS@Erk˷AIfW5rXٸcJftIjᙪ6=}7,wT~YT+"bGp6ݽTTP{Mp9K^PWVkaw3A1z9G;4/K Ew-<\TFzxPVVx&(TE?1 ;)nRF;+UrfʙQ7'BYrțA;6N"Hr#RR|k#-EoGG[@$`M{Ad  o^|" ߘ߮M&e+UxCp`u|gX9q#hSr .{?K,s'4-@۫K !,8d%'1O mmŒ<'ytpC{ФAVsD2Uc o {7B(^K,$x;@Jl?r؇,q$Vy=0ԧsUDP7F wr:OBGq@N Y9 >=' 4Fl_ϸˇ%J(c$pe8cSx+\/|~mF''ɣ+֕;d4Y-'\|?n4&Zʃͮ3 V4ԇ"8 jyq& ÞbMs݃r޿@JYm%T9vO s %+l$ ѓC(!S,a5F|w*97'-YH-xd.(ZA}jvGJ5QD=)"K,- G)7((M@VE 9Wr; 6 (hm@veB76(ހؘ(E0ky:7rpGJ Cpj߬.ʊ7BWL!Є}&!,ɈuHΓE?l.w/a:QkO4̓r5O9MTԔ:Ca\6{p'bb@f#&| .u#3j){3bv{İ~?Ӎ'ϣEo_ZRV4: &oI5xE^FE~JZ=essi`+Х9(TRm15!ë]E "y-t-t#rVl)eP] -^ݩiG/)0cJo0Hs꥿ w'8X - 𭨖% |sh˕y&cL`/ V^'bk~mjxĒy[iٻ{m4Уm@9f2d< tL] #J[ LWtnz_]&ۮ"3Lu)8$Qfk{ءa-Vd=Yz=*6[)GD$󤪷/xL #r5򧊿: eTw b%ۉCLFr2`1,zJj(koq8߲9OܥBO=Z;Kۇ|:NS,.<Rٙag.9]屆?E(e*C9-8Fa{l poGVAՔWE+A! RvM2x*mYoR<iO'MbOUdStDozJ,ݣg+nH]}@$dƘ'ñ* 4%;]7Kj뀵'&QSB+Y y-}x|g! :Q8p1%yIb‰ԣ&Y-pn}h,;Qi2B[41g(}}m07Y v#w@H; aaz#շF6s~c`N[i1(Ov/jW &cyX(v^FSaW^ڹ1S 9`V]u%So4Œ[4.*b;sI.=P۾@bIëU]tVt&e$?cGӟc/zp.N0 f"d“1]8ӹY1O!C yޕHh_T/CvOl(BwC }eP1ARH,<0w+䕞W$2N"UH~̧`'nu ߋfMcIr:L˒?Ck'+5E2̙ɣc{daW'"ys"bAGPs]l#ꩥ9ib8+l[<,YXQꝱJ$k*UL >aBBU0I&9sVž~xn۠RMgy[/ <}`j%uBZp4fAю7/)OL IO ߜhWVc^~j|6pHzQ=΅q8թj [utwsԻ4kk)3KgeJS ^~(@]c٘g{7f]VQB1wgzV?L*d't HjXSn G/M7JH+7nAZ^AtA^VE{sJOϢ0hAdYxd7:!_0hETױٚ<;.now>gbW0 [JYq?@]Ilꃯ"`LI Y L?& =WG$.xde`,ϩW~. TLv wCTE_ ԽM(ەޘ8f% zPs  [#zfXK|9Ѧ);b:nfŮmp骡Pi:}[m#>%1[o&7[>zkrK]#}.4 A4z> K.јASxl8Ѣ!𷎔:u⧒N@GJV|R"(L+:43 Kf P(+ M͝:-w'"Fm> :I.ŭܢWOߌw[16(޸oG;@aU*R3AԕT !u8Wn-Bnn~1vbN>P%kw@;J߽a#i^'ă Fs""?0 " ( ,J)E%P5+kHa&5f|#,̱o%T^Vk,Ҁ$`ј\\W|x&AM2S~Loqh*'+G0hkqʥS m7\SmޱJłJ9 }aђ"pl~jO;AJEtRYkPB V̗|63< z#&Kklb; ӤKsC6Ykal&B݂1`ɫ{24/nXq;̅(>a|=kiicǪ? }`8!A0ep} a`Cg$>^kލǍRUq^)'W\[ [u.#G w bLSs{5'B`7rNչs{?OmPݬ:Ԯ[hiQ0"u8yNI1“-@;!4du=?%ޖ$}?FiFT TPDBm+՟zzbWN*\4_g< pm\0}Ŗy'䕑II0K75;3Z[%3G!ۼOX9oi!Cѧ}(Rm!țD 4!Tjޒ5qHUuL0b6U*#F(m7 (A{NޠF$m\HE$M [:v-hyUtJ:){$Ytp#y%Tݗ9СaXt<}5+!d`El]D˲G K*eGʫE0FVELR'`f%M ]"mEΉrk1SBJ,i<]mw x2Wdovd- zs[,q[ulle**v3ͲPP -8 %VU{k[ЍBϿ {pkKW4Q~@=^XE5֕LMz݌R{?H_ZYj+\?ITĵ-ҋC TCrWz6n $bK؄`*Q١gg Z΅ Y =`Zdq ShӘZ4.M'FEjEL{ӃN =? aզ ҥd,+5+cY*M$0M)\cz!u`NUZa.~Ep/<ձFO$'˦dW_2zjrd!D*CuXVy7̽*TJU_Xթ6]SliƽpgY{xc㱇%%6þYq22Nqb 8")3ջ 0an1Ԭjɣ kxE# unI.R6 :6 x:7,(cBÈjx?dV*/\Emc)h#Mtwn&q⟟J sBCںG>nD6+ʏ'im^8N`H UP%&̦ 7rtҩE;D`}HӺ_͵SGDzh~%6lr4&Qȡ6qIAApu0om >bU}TK`؇ ˆ>i`ډ=9jڋmdy:  ֿy]0%M(08ze_XLJ_]W*+<=͒iwOg zi5p{D%c7E_(jXܣr]

9+l<~$6W,¥`gxN8raMbe<ӯiUCüYN8piyxI^ RJהMUgAJ/UXl>8nF%![-Uc?Ӝs'S4q r,"k!D hVuA6k W߁qrGi k:=U ֎ rtTyKmd}e FztxTCw+eݹmܮIJ{(Ao9S?zu7=Dt,#.iR >e %k h: a-ਲZ0'+Gbd1TmV'̯a m&(H3+´d)`jik(2{S\saǪqX*Цx;(1*\7ͭ#yQ nJ/ ]8$٪h-PVLoɔ}՗,85:j* VYn5z6:IO lDž(ċ,eps0JVo>lO_ MΐoGxn\ gj4 ^MTTmH\ И{pd!bm*%dU+TtW ơ"|Hb{XFprxu.;tL? |+~EeLLa Jf5Aj.ɦJf.1ore"%&)@Z ѫЗ9  D RٻYYiW<>{6Bd{[.ի~3p-:&E5W6q=Ah_텣cj$ey.z/'h1).==-V3m?@\tҠ[,q}~Z0!oM9WjNg PLO*I׾[LzwH ~|5XF Fص4KjOkw ]}xtpg10Q=WҦKDxWgмMGI(5݅UL{1)w`{-7SIQNC}qmHH] `݂-եkRGk '`KD9݊0/:~j_FҽnnL] +īMO^ӡnW#:; )m*A*?uXpQ=h7?oV*0[xb(RqB2o֕a w2ia,*~vJ-_d*t%FϽ3sK _јu(u;zoeFTs pS/s j%H2|V3:Hn AD!C=䈹y%8(x>%p$! urx_+{Б,(Ԉ5Tj,|çbn\],dPypZkj mnAuW0W0zFJٌ Q̘{b~C3''3YQ!,M:Oy|הiUs(PQԦQGIl 쪸JL- L ף1[wSuY%ܥێdXD7uSwlf?_YV6̻UsS{ ɋXL.fEct'l;ϜѻR=ڳףaeE v}>q^]FN:+l;, 4cަv~,]Cj\FR9&1q"xa-/JyUQzPCei7 U!Nrlw meDC-0j Yݩ+bx T _ [1)KDݰmyGwȼ/K C(AfPÆD|q`eY=6n.~)γ~ Lbd8PN  &T{|LzY pMG[om<^\JaEXAAߢ\M8V:z;!I-FG~;ʝ!f>F7^>Bƍ\1}@F ڦ/ns B!+DL dErE]5Gr/fmv!悔X.f@Jzk (8کfhmnD֞>}*jjP9+k%Ʈ|R6AINO xU{'qTP)/wc> D&d,!LHڑKiן@N2=`s4ޠ3Ya%$#魶*tY.Ƌ(Zr$;'o,''}B.̤N%\H'|ږ(Ԗx̞_/!֬ԿS'1.2ٰe'LIkl3^T۰ "9ǨY>ksIZOkFMǥIХ@ؖoSS{ ^CțXsuNU2UfO2Vɍ¶3^[XG7)p"$ݯyl e>.,/iDiP n"B,!O0-7:PWTJ xSfd?_׾95nSźun*=! n`[1m2^L/x;tt3zq1P]Nָm6cO]Y$;% *n>y vRp|!ˉ]űtܹsɻjv<&N3PL( 7 }d<ӚiUQΉ)X7+/n+FKpF5֝Ip>g,:(0*m@_wx NmRpصvlGpMc!3YO~Sn"S%<\aLX[9ͷ#h#ES6=(/nS/F<'I+/a>;!~:cu= ǘ~7(_`΢3Է4HkS+Il|Vs75k,-DT-]+m`Շ;*G{6}Enjj ( FP*#tq5pS+й[znB\&y?M.M[]v=*7dO J@Ηݗ5{/:HR;ys'pltQکw*~pݜ4~An»6ՙdrEj Ad6d==\[F95|s3UjQIkÎj͔Qw9s}_vNS h캿 F epU!' -Z٩h"g^>jGG|sj~s]S(I5R /%ԛm[0}sR#WuCf5nsA<Ϡ‰Dq} wɔPP{9f>$Uy1lNݟ%x~c #u6=T{Z9 ˓:kϔuE XD6f˪إ-='Ue9hp@QM)m:ZQ<馅zlO+_pYlߴً~.Cm}FFfco8e!z6^<FPpgT (.'K;II) ؤ> ɐh^9@9xr$f6)XgT-N\`0Zibdp<.WV۽ UK~Nf1ƜŲڷ͜#K6I@Z:|CM\\ׅqtJ5ӳ6AL)(a,D[R> E"XzQ* 0ʌ/9'mUh0C[蕏٢i'+; JLN>4L߃՜d,W;LsI CݑQ];kYim[Q:'[yz h KGx\ԟ4{r( , x# v ;&Eybl# K|7X9kVU>s\ ƴNϾ/ԵěDƤ5ҘPԌ|*z/#͍o ϸk./X,BYk2q\w1Vθ]ji1PC){2ˑOCfpM@QuS'u`4)ݢr]pwg7JE IMC'BjC#@:8:82^/hܓOǨ:Y'y `Ptk+NCD-b$.0VPu}f^kiܽ,YŗPFMIJۼxeS[;LZL,Z<HUN8How[}4f >^J3l?h=p)wtNيpE%Gs#̘^∰R< dy=XnKM!Dbو}쇠^emUY<\LQ SlA˗u (o-!5$sVR#Ew [`)5]{t{wuR!KF2 Ҳ=* 4[RA$Wua#V IW)o Hٚ]-HrfN眛tdN)AF“↬=D 1N:Fh}[$7Zd ۷ի:hW&",y@&  5vp]Ywzw7B %_ta-W'QJ,A~B' alU}3r MUbuc[>|(#b@%Z꩝ 1-थ/Pm!ݗ5S:VMҫ'Zl /-}`Ɨir]hwV0mv[/ݩ~'"?a#):J@.ߥvd}dP/r/} tn Б0]`P{Ӿ]tڵrʃٖboP`pFvil{'/rhPܯưxm3. j"ʹ%3Fio\譄M51"CeI]#E-WzɄ м;dL0*;* 9ՉM{[}n0* 8(>CX`Zo sNvaVҬ:%)7fQc;*@{' =о8F1! rfjI)N&N _K<%V62U9#j%C<9yKt]שD-M8r~9Ԧ,h;{gGˎ* 0u9UU"U[0D5҈i&0Zpʯ EflRitzLg,UҨFB^"!GG VHNӟٮTԓ 0{a- r:sc1GdŢ7?j0*˅mq#sƜqfsW20Z)M׏m5 CjP pcH8.+yOC.oC䰜Yu:;`HH %w "HR/kG2 /yC /lR}uڞ_aT?VS&a4DOƅR?_ŦVVw8v<ן&EA)jN`w}D~0 zFiekD͇  qdf<d(/ꗥCmPc˷~*mJ^8#"19`ՒHnjEM}ɺfBۭE2'[vmt0ihr@ "였9JQ\)ܓR u7щKs+:(t'%̦HA=gRSʙ˓H>k|Z%KXu ƴ8zꈤJ&t-9:fk,z6T^3;"sx6*N$4%Ub}vٞgiKc_*V^|۱u ~gA~Ď->R{VUdfe6I֗c Mq{%{WvDaiڕ(xz~tH.ΐ2GE?@#Iw"Q={10 VԋKoh`N6 K`"4~}Fw0ڶ_ѯ%.&{V9>XZE̲ LI/xu_yE+n>n+ <3,.R]QopL,ű(Y]NӀ'Iu_)p;UG`vݹۉ \$w% 3 9RZaWlqSw]l-JB4)~+U/ ߟcN|18od߰^y9 |-g;yzFg#ԗ7\& ޚB\GjYe 0#,O[:nmC\+%tB s Q#3 IrwL@zRZ:(v֡H &$T1x[.ՙ̱T*dbRcU`QqYjIK&crhZB,,b3rHxs_v8t 7>Yq/!\3cVkCsBŗq3i6*;Wݑq&J$xaw*&HB)rn?-CCUz(NT+qDYPʊo6&Q85a}qy8o]KT8_ˊ2`-7q7Ʉ*R'g,ϖ7 F{C قt .a./u4dJv3: L ׁPesHKNEy^ʡ EW0TYIgҚᢇKnͭ*5_`I.iS~!ۣ9ح)S _Jx2Vݗnp$'պ <ٱi|\4}k+:9Lj_T4wáY824O-N6!∏@CA)s|$8WI2nnJ#OЭ[V%KVy[<'NN/ b$@jh?wYi1X{JidC;\=wqZя \aSo3-=Yܸy$K7/sL\ʲ2*$p`;sSͧAjk KH͈8n` :^ӳ>8הș%||)*Q)MEWn;q[s.ڡwO3!z'v s?L-%͝bB0M;ΰ.9F2(][~ՃG(N^ErR$L DI/5}<b[FٌV]뛴FD+ [BmTƲS~ ʳR"*b~_ĨBWp/;5 NX_KE@t/ݱN,r3i5zhVW}VwB(~)n.KQ@ܟ^ˍYآ4 *)My2a"^;[*sŦiԔ8BfvROG-<boHGMt?bo Yg#% rG ވ{`N1#҂[6-Υ LАxb^E.`!/~2Ѐo$ap1o{: [h~9rFV 3}əSjXW^z7vi_+wka#@l4Ƒ^ ؀iWxQn€t7GÕ/ȵ!Q0E^h$:^Qpv$#h cgNcIkq#-tDXfQHV&b Cn"]2vOJ [X!8&]>λLlkVw!a1npvcȕ~ 4t)gև#"RD?pFjS((¾*Bj] ~;EuۤΪMh>zjI'HEm]s,řĦm[fTci.C>idiտy"FMgM{uY3‡凁k3c{; Ö$n>ۨg>,gPk40m5bTb}W 钁CR0?ߏ@;,:gB%N֠ <#BOMUU=~~`eg*y "<^6s`ofqCW!l0/Y >1_)+x$w{6$enn)7QH Bژv\\#9W;kB!(Fg"Fhgb4EFW7D,bVW6R 3$JTԥOR?F_)ͅNn) ͟Z֏R>&/Ť]8vs'T##Ӈ~Y@~qN-{NH鰽D}:-kAg>,7XèݳH0rB)EED=xr6X^Zh%`Jk @Q"zwʆSG"w6 ,R٦Bk3^!̝4/)tIh I,3!YЇz8dF*JsPw_ش

%Xb1+*itm~;4JN~A.6 BxZ5Hcw{\X]9 HԛJֲolEST:2f`M;ֶh ^mU6uFu9׿q7'e@EY :bяIx/OBIZ;U֥Fu堁ĈhσY0#iήwtV&%HD~K C] X8~0jzF"g1(4hk%l|+{=h (BZB}`2# Os^_vL]X"H_ϙ#<(M%dUou[ůE?6 x%qwŗxJ+o~3aRщC)د+e$|=; JOH9#3,>CjyaiH^$gl6ԮA^N Dc]u1$v߄i,AMal/ބrH5|RMS R6Ds=UM,/:˟~c[Yfڱ0ZpcxKq{ZXbT(x > Q4$MX:T*@/\=rm]Z\z[ \P'Lk!RοeWv5!LqP H_a]3);`^fB= 3hCV&Զl19OTeʡLS7rYW꣗(,4lk{G1%&6I)xKuHpޙ~0"x64ZWJ'CXH5;W*ն|c+#m|ZDa~iчkfYE}/Y6Kէky0ynօRۻP7ls9i)r607n5MQJ_@ׂlۋf&jd$JCgͣd+ x= uὃ];2Jʮ-ᢘ1;y4?D Y:]3$h6b)"o̧HM͕$Ux:INxL፡ Bzt6tFDXCҀe)bΕlR7-4Ìc G zo Sж$։=' B@c O5H9V4c`.=wi fB@w фE3D%δ&5y`÷_,t()V=!F:@弝X: J ,D R0RQicv( ?DegeHAx@t }IA/ψ]UY/!7\O$Nj\p9S'.KoAkb T3+%`{…hOzh'i>zUR`a;Ѭ^Ԣ;KI4y-c "1>hЉE}r@ўjC}#mSdH$)H^БG/=0'˭|!4q*=S24ez WWʎ,]@, n4غ8rJܠ},3Nw9"D6lje (Ee~1P{ܻ9$V,e5 A۲9v·NI3DO(ą-P&_FpnԌQA"& Y5$tt0K'AeB 8lXPuA~ 4$Wl 4uκ|ޱWF8cѧ9A43y8 #*5'Ddd/zUF"Ҧ~ \17L[A,MM{1 Jw$3v> v'#Kp=X'd!a{xF%heͻ} }_]vqwe~Qug2.=3Ja[iQпf1?y帬%К,=(%v Wߠ}.~}9:]!]*/z<۩ZC:;7I:肿@=?-)mB=&Uߘ`^& g} yڒF.&+7H sUoÀ[udYղ9/#1^5y=`(( 4uybq ;h2eJrqSVV=4[Pjrħj 3s8  \&)r$+q(MZ)/,#3~ Jn| 2viy1+9!%x Zx@ 3 ;~.1c i8vo^,"kuV3Է?<j$ʶVCͻ,kjM{5@b ,'E`x6"45KQf(ncn,ifQ!z%%a쪙1,x#MFJ1"+ ,sAm/I 49C4GKͯzڰOs)8Y2Ic-#r aJcRF{7JT(.v U0λhwW$zww7$.ʬ ]U!I#SIŕ%"qݰ16kjRoKI7VR$ږƒXB閂j"$RW,bҫV[I̖6[/X࿯\yhnr|܍L=!H> `nd| ݖ6`/ܡaA]w4HN"Y(GŴ|~Jգ,%rL |qN8nJAxm#5,rOh!_z ;bKRJrt'3,e`]O3kE;غҒ>]nٱ\tsLs>`NV 7߸DQOFLHP'+D$6ᖍP- Z;ل``n!A/Vr!քrN" +I нB 4NhGy0?,7ZUHã:2w ,e)i,ȭcTu^gAF z'|#eAK+W-zsg6#Ñpx{u=+ }Ǖˣk , 2Y҉^XZ]]p׫pݿ ,)“ӯ0}=Blq%bVL; |JFoOm H03iEL* oܒc?3"ΚossT@A), &8 K#<) pkh*&3&w|XΗâ%~ :'u"\ [+Ѧ#nnu>I1.TU/)XMJ'S':4ac)L_؜FNÏtX*j%#)AtS?n-+?k޳&h$sIz8)D~mbwV US$`pP/pQ^H#,/?-8 9S2c(>U͸BHk}jQF~ X$hm1}1ݱuM. ,G]XE8Y|,ᛝB9冭YhȓQ2tRq%Bam "ݷл/*#Ŀ@o8m.ͷ_aP3 jgVơf/MñR -fSIys܈m&V[rwzfˍ_ck{\GbtʋwR~>TN'Ư"\ޟcI<O\zz[۽\%ғ`,au~0^0Q<'˷mŚZdǸ; #);d^_OZT!Hj]uPA8Րtlq|HNJ?0W, & esh%a e7 e"ؔ~^F؈)˧=L׈"`5/(@G+b|Ӥ=ЩJtO4=FkExfJxt_51HrZy]3kеy M>='mBdͱgÙ 8套Cg 4.L<8ҪM_Ztyv FF*݋]-lP5v*jA& :tq {25Jz^vk`'J8M1ǡ[!GXs.&KukjX8wj҇AĈSztn 1# $BVQzJxp]pLJA%X* B.%hMQ@޲KA>/gKMݸ9)M+eYmTdn1o?v ڊV0CDZM8^?MoNSBE+IOP5.iz=N+&x(hc ɈxxÎ5f[Ç:]X+heffp> EZ&aC1_6XLU3ӂԛXi0I^JTy5dzc xɚ!nup^<؁HpRD5WmtAn|J}T[}_eˍj\:@u_Y=a4Y?^rwΌ\)>;;>pʟݻaO_A<u9mEE(ic`һ E0\YX% 8PtM-B\}IH>"/f~1V^4 5JT٩ijo&0Gl*L{lLHbykz KuȬ dn8(Z1ӈ=ĪƩ9L3{~{aO5VuG|,kujgݏhO XoGhW+ws"wO`fS,\caIy6f]AE}41O_X6 gR%^(к-]rgX @sxƼ,|L\à YXgYZ7zXZִF! \f?]ŗXi%Bu]`b8G;/™4{K<.YT̤@+1vx]cfPExC qAsX0r|,oFnPW?" ޟI,NVaTjvü|*1T A|b`|o> 6tȓEodȒ.;,A-7|&[uD]Z`hc "Sk6ۿ:jsSq|d){PC(ܤ.) 4 ;A|:nܞo<7>4*;g;0Um<$4DžtsJpGnRM?UIHݏ% hq2JgSeI;dmFj&SS"YÉկzEH'u`,+(9sʼn}M%3&"訦.6$sr ?ʻ`ޑ[^,_+YOtїo_#PJȃQ[Е#wYcl$oo3z:G8{x /u} J3_gBCoC3A 4EHKp%I (W{SEU'u-"9GѸL}+$\N!OGٛH;g`z@M$/9 F HQIycK\V{9?H kt є\ƐMgT3 N/uAHfUci4(?  /9E]p@}b)+[t\aUD>3j ;1|IbR|7J=_ zcU,KC*TCMFM^3 s.y暖( Vpĥ 80y'AsEef*befGTymCr*5A!g4W#ڥӼxȝS-oK,k@*u{z26%oNrMc%kiCLv3wm2ݞ%p֍O6!SPb, bl5q0s#AGK[v"PMs/hlg Mՙ$y`|u`>T~D6~tq(Aoۏ~In$=2V 9ꕼ%n˹r3m7#wGKB_ڐ1z}gD#nB==M`(cpΉn XT_6D#UWF\3];\5 vPA ѯޖ.F婻ׄݢ :|`ZXEsӉoK(CŸ3Bu6nB؛)olg[G‭p+wPL <$ߨ?˟ ٲgwڤ޸ 7BxW^m|Kp2O1S)鲼Ƣ*8Upe]v 䤶] 7,%D\}+:'I^Q}Z(R)pQmT˩x<`W;J.VJiGos -ve B-KY~XyD)nÎu @CkGXǛ-;UYa˛6E"]" TF 5bͥ9">E]yf3߀);4~})o+KВuy}T@hSG?9(gJrKW~mSmCaxr8o6paXЃ#1uٔ+G`eP݄GGS6ڌ-ʌLhF]P$E{FR( ,'&ᵻƛm}e^iypr-#4kd9y|OpNw: `yP]gǟk'iD|O ePZ0xY/FuwrA힃LebU਌nWh@.'W;OYEN=9bR('ɔE- =^blTb&[ذgL#e/ ]Roh!& A3 hђuz3ư)t(Ps|j+(oF0O4_qMNOn4~^>uHRs;Vk"gVd4RH1@"m ˌy,Sޜיer(ZsaߖYk g,mFvG&TAK e \qhSkkdt)ېN6"5RhPDm "ДL{2.(+Dz"!Β!dKmAh 6W&U4:P'*Ld'Mt?Z|J1M:Q_jG4-^oPe&.AF&f"$LVÔln":fBb|)} +?lSYy*oIȶnrvx'IЩc#߸Li|AH;eb||S];VbI)gG.H񰡨D#W4\4̼bF4 \2|?e2v9͵%3tׂL6tuԖ{ȷ ^.6<|Z)jҿBe?6C>{<X-~%w 1.5WrpX1=\բ84PoDٝ-\Mrm j]QzK{ YF5h5aT' ^a=##h4T}#h|ji'>ZnzLse@N^ԄۖS\Ib7H1-Kn} qJz|+(@Tm.JpR&UBC BkѪєdQ5}wZ+Y:g5c7o vYɶsjG(rԂmSĻIߍg_^0o~ ^Z ̬vYqax=c**,5T҈eK>X^2-IG+qT +ڎbLW8"QC: p>oU?K[.|@ d5a+6t^V@Ri(T ݛ>sl!= T":Mowpk]1 Q" >ÿ5kdN))qM>+"T%Լ'4(36-FU\`'D3Ϡs$f;{){0:B~v4&2֨j mL]]MNY&޴U2)`l5]`Phn9G@.1DZCb2B>v*y{.=fWʀScӞ!33^sUp(퓼22ɿw(P gI(xZ7 $o#K>Y;i\=RڅgOBxʶQ`ƺ8P7>İ+2?[yO۷#Sj>Q * S2HKǪݤiPбoܘ YbKZpsP~ʞKG=Ƌw1arX~(G~!=.R36P&<@7Z<-/Y xe"` s ց5@~Nfy9b+M^ǜ0iib9(/.mIewo2_!^yM~pv*,zoybeN|>".=ʽ]VwE_` jyKQ}e8C%' q9H'a )ius~Yv,sS)579?\u3+xq5КfmOEWzcv5K#s"m%y-5ǰOS)3 C1zv.R} D$膚w}NC}OăK >܊za9\v>"RYp5XVAX,P,2ͱ @3BY ~N77nak1A{_v̐Bz.~9/S$o&ª `4UȖp$E+!ȌG]Jb@&,)QbCվ132sjK[KѽM҃IwUbR<8#l?W}jqEvw;=x oDRB]lb={UcfQ$+TW?cdciNoB*5: 9G fȖ,'egN=_a\/Z(-܃o/KH&Sc&,2z h)]vn나735Bh( )ZL/LۢU tK' c♹,e]`*X<}k5Op/Fq;*@60"1J"T :Hi5erW'[?%]/8b˒YHx0S%u}qRHLM14OY[Ja/io-Bi> QjڦՏRP7Rz WJ7-yьIВ1RyUszKUaWcʊ[QPF!%/iU5SΜci|!9rg~օ8 #1Oj=fUW,,c'gE/:jhbk׀=ߋb_l_@MyW3 SC$(hCl=tRğ\D$I)AҖSݵC+?EfB՘MH SWPۏAk8GsF-9!bEK1p_\&<.d@+CIw{`w0;2PvB>Q~V`EfwL[SLxq @=R*iݿ Xh6fBYڑEs2DgN9=EFd~+|XSuQ"ݏ:|9\^,$M nV?w Hrmf-TY{r'nޖӓ{!$O!N7]*1<_ ҥm6Y_i3~>퟉Q\>T@ⲇA[ e $v_9z؝iʈ4}M]bۻI.q❗o:6[V}&ڢR FSG/nD=bݷٝ[Rژ62o -CO'ʣ'RJ5Yb_%q ,TQLIq/_>_`#Qh@ÛAB¹v\|)cn`AXKz | z*N+7#IKL[k!֠>;6NOIč @_@-OOa?a}I\fݭƸ:.Hq"]yTpK֏NuFrTSv՘~bb3 q.bB\W9|<_o8 4)`wtM1(7yl:1ͭ6'0%.;87cL} fF4`:2f;Z]7ZR_y&gў2>%G9nël^b "e8\4MUCG9 6TicN6J?s" wRI-40jXovRFleCx'~>@T0ib[=Ud}xnbaVGQNs«lG$ ZLkx/-ȗ:WMWv %Oy)9%}RWdŚ*M@k)DT 0\kќB=["@*у4Ztxg8Ae,퍱!PKP`O*EDH> ;KK-6oTý v-O83$:\1 !8vF<<6]gC!b:% A򘨻 JQڎ8m"p$q~ AcSԥ 3 Wc{hS H?O~'9Jw2rwI.8әÞMNa.p2yUFaY yvF%$L=$baJƒG'cf܇U{S82@\UA`y+_0mZ08[EXiovxYo\mj%u(+;ˏ42t!EDgl}Myj})?![ƍtɩ 4"US x Gv zЎH uK\  Y50au.FKL!0ip7200~N Jv{U$3NlPȈm9nA{ZF?o-Hޡ^iVyɪw/gw{oE~]B%pZYZs xQ&g@!ٝ?G.$D/|\\G uP_ fa:JFo%=& E7LSf3H/?kgިI[㉙iJfћ|qe"8.FtPgP]?J?2pfBF5Qd0J,V.7-*'4%-k $!-@=jgr+ 7V_q0NGbU{﨨 `({G#ۍ }$¤~R,x yنAytGmi(t)aű!,e= +lKR7W4͙JRg@y{eA*8,"ApĐ8cX[zF\pVOY֐.D)Vzs!ec;#'˘-~"-VN棵 ޳bv#zjLE#pr=⻠\do*p(]U\}P ?,3mڟzC#wN4C@.1UZrGOaߩ!Sj3HXīy-"6!vn`ngSϨ'ڊ0V`eX1&zۇzΩ+0?w:]coCaZWnX2á廙7wでw,B@Ox)UA O Nt> ˯q26>gɝ`#Y|:|\8KI] 68a8<<2ކ)^wGv3OWe1df4#!g<%5Z4"b$SW+wyO3 ͏1l=NPoׁ̍j:F^la $5:D^vd/ Z"x1a p?.ZH0!xPۥaqL:In7w1ǘЁ`4۟ :<%m4,h>d3$98x9ϡ6x5p42apW*kaz`MצT!ug&ĬUL$Tj8ـU>&Wʊtø[uhD(׼0UWt"dXX}eza6;≤uho29YV-Ax̲O !dpsLsىp 'R"TV>4h&[oIO} ==xGʪgщHOHQ0d? B6=G ~}^G">t\4&+&+dgHKuȣ ?b FDunE.% RN{#( w@Ӡ0{?T]'lJLMf lU<Nڊ)%A]"^|$ -w>L > !'=mi:'YU3fgvS\^Y DaCB,ġm Ǵ圾+W>zw~qP4fMe"2~{Mp3Ckь 9 qp) r>: "q*-J&=zE zΠ2T6ɉs2~x LŠg oEoWs%NxOTQ紨/v/=tf5v=w/R- Y?Z%lfO(Ug~RD >̟Lf 1#$sepKֳrpؖlr1,\?]d}2 4YR~\'6J\܎LmMmE}xSk3FؗÏDlﵾ;"y<>*Ap 9S j5u1qi!f K5Y=k%}X+̶4V:_θĤ%lңU &Pt]{K1#yu7];ô:x0'rcbs*{1P.:~`>F>'ZBl f.s\+k<&f +@ȷ 7*,EQ$jT9m_0j:"mlH?-x5)f~`F].+ivuGW/FP!\EW>uf^E>Op;52L?k'I/ o94x)s yl6sUSJuUS S &fK CHS&L5XQ) {ͳpZE{0{Qrǃg";DhOnĆh8hbέ.uJcΘf$zK39yHC$n|EYQY3o{*'o}-;/'@9<=^g9kRb=˟FW\jUT-oTlwf؜}Eӻ~ԈC#C싲5ۂZA73ӜHjiSV.Ȃn>L_}iAq1F$P3W:m7 j"@Lh(䨘s< p4f~[{JuC5n_ۘ,M~׹ӊ12=+TA#D9 (O>\gyYٌlp.Bis'`Ǜ6H?LYGe,V.ϥSWh_JMd4ډ͜,_zKmRG^0)V)'}_A[󮴶G׹ S],xyioGc@6w*[֣vڢ~80K=Fd3{t+p0iLD4/lJ~tH<2A4tp\hmts[(lw3y#h : )Em{傢dȢϊFI 3kwz ݽʁ_elI'{P!<~L`y 50aQMu> b1.d=_uGK<"?\tPu1A 0Z4Njs_,haPO[!U2idnE{1t =5 PzSdЇgOأZͷ7^2 ``05 ۨJ@O Xqt_ׁDpL Зq¯)LjPK`N@սy~Rƽx"OiRe߇ p:dc6:5k8@k`DNMϫٱ&j|/!vq 4[ւdTG%!GQZ(2)VE;8f+b''"9 Pv[D̜aVK]<툙v-Ȇ('dF4\}SO80 !&aOH;Ҿ1V!Zm4/$"f3!P —^hkC&>CZç5s9<gC @AJ־ "Wv WKCa^OnX,2B(æ;Fߺ\뎞UWChul(֬audjVn Q#)CT*~2Yu\왿4h%zG,. Rwoig(}WD]gaGNVVt) un3kgP2t?lxzw =o=ٗ'CqVȴSޣj%u? #kaA  D%#I^Uۖi Hs 25iX?psx:3%M8B# F%㮛Z|0[aySXL6Sfp2XA5*rLWJ:龴s/l"/mJ.Gur끗u(ip>h>V{u[;&B&%AN2$bE9*YSPFEO kUU޺@ aziF*E˟̠D X_\Mk.e-Y{/V.?x'_9p?bAQv wZoR8O֡Wwzd$|0kѡjBd7u[8atu7e?7 "i`l9hTML '0ή{v+`d "^V7Kt6_$Id@icDx} oɮi}`#h_#>1L- Zx>|Pph@G:ĪdXfS\c[O1M5^CO`ȍ~NRkra)\S!vug ﭷ /L]yjUoBrq`,k޼oW`w<=Q\AKŠ5T~aԭ?ώl20!6?<,d!#%I"b}iZC.{S/W@i4{wu,y,}hD? 4 @ذ[./AZd~}͋gYZ01477e643bc909f0a0827b4f41bc44ba0fd4920e 0c9469e4651698f44e3e228873be074985fc67b7 0d624df132aa2e54b02fa619fa707a1b424b9830 18bddd15f739dcd43f146f8607ca548e20ec793d 1fef485b0e1f7a048476ee1c6a6b4611e2a02048 21c2fb773af89aeda79a34d7ea1eefce077a59e0 37cf0b4fcf26d02ac72475674972cb76fed24fa0 383dee4bb60284cc7229af5017def9c12378879e 388b260b9a6f80e592c589135cabc5a7310cb2c6 3d8333fcec304f0aebca031b9ecbd2dd7e7c9595 3fa4c78695f5ad07b3754417de59e5a4e3e599b7 422fb75946ee2eb3f59178cb1035f2be8816cfa6 4345e5b7c65d63bab8748023faaeabe65a7e98cd 4635373b48d40e2ddffcd791152b01913682dc0b 4bd597587d95a4dfd72fd9de5cb9ee71638997ae7 5117119a178eac69d137fb85243808da2d667eaf 523551eab52ac57404c63a072dcf3bfeab9d152f 54bc02edd20109ec5df1f897881ac82269c23e46 5baf249002854ebca32aada93ab62260bcb439e1 60879ee4da2cdbc42a47e3ef64f7df2244c84e64 775ef38894f1e5a5e455d7edd303ef0f3647bc1f 852c4b663a8d439dbafab771fff6222b134f0cbe 86e2ef92ac7d8a3d145d2164442c5c4c62c68b54 87f395809fff77ddeac3e66d15a30bbdaa3c3ee0 8d73ea89ca8820adac133629bf89a5f701f0c2e2 918f7377b9db9d2059aeadfd5d41e4bd0d9cc845 91a709751d422a5c99ff6221e78f6b756ec46575 962e47aa332c8804c7b150e59b0d93cdd566fffe 973d6bd96dc9037f8676681fb869d6ae83013aac 97b0687b0f666b4854bc0c37842673e1222c835e 994e906601e17310bff00be21ae5e216ebc52992 9bc5bf9a2449ee6b95470c832bbfa8d7fa97f4a1 9f82d4e53459f814981e858cec3d927c6169fcd3 a612d605e4a059d80c4db56e04c3291c02d8f652 ac15ee117ff7b47bbc87b01f3d1548839c6bff6f b2e4b5bf073d86c5ec4fc22fdc6f1ad6b9be6e84 b319d76f815a4ca5362afe46af6873f3072b5661 b69cc454c2a92e0a87321a74bab431503f558400 b766d0f7c880a1d47ed7e6a84616d4d4cb6bacec b9779460bc65439f31b83010861992dd478d2cb2 c1651ecc4ff041995c8058ead56102953885da58 c2a3023e62a8a7ba501c7d8e844ac5e103bf652d c9a7834754ca020e75afb9d98e309c88e75bfb0a cb03b6ef5b1b2eb96a968fe951f9bd45a635fe5c d6d7e82c49ab13d543b9666fb4b34c3dc3e99a28 ddeafb789ceecf6113f05c3fd39d4483efff0627 e14af5b9076a9f726d4bab9022de27f313a84125 e16dd81c25115952353dc50e98ef8842c8109688 e72d715aa19f3da35f1fcee345a3f940c102d71f e8a1bd85ead6fde188da5487fdb80d51ac0a8d58 e98d989b0d56b347c6ee1a9d61645ae944ef72e3 ea07fbeffcb1368ab04358e4a6792a15022e958f ef54609920481a0b7484e4f1e8eb929cd7132dff f20bbfd8e8fc856cd00b8c4ce1602f2c476f088d f7d7695b21718df39e8a80a5c0e149dd8fdcff3e f82d3b244f15f3b4829fd75e899ab0647ef25bb5 f9ad8b0e4dc237bddb1a7187abcb79226fec1f90d7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 c13e3de1e0be8d1f8e22817e408018c478eff10c 1491f51320f29cd36500f37d0b40b7bc52a5d191 5374f72e4d493485bf3d00ad3b0c3d62397ef50b 49d36d3878300b9a18494cc47afe71a20b2175ba5e2e611e087e9b0e955ee6b47f434aeaf7cdcb62