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  -d ]I Perron_Frobenius:threads=4elapsed=294.828cpu=997.728gc=67.548factor=3.387zXZִF! //]ŗXf1-q恈'+]&e}0mz_oԏ 0 I4܆FqH[ze,TM6 ;uzN J浠s8K?wY}l; jNcɤ~덅ՒLʉv,ܕ9͹'Qqbjz<ž9i2@'ٽXry 4N]rc"ł4jX +0ݢ<F2%`ו gDiks3b\l5;d!D.}qv5,>(rp0([M֨{+Aqu#?WmޢP tȈA?N4 Ixc2}]!jp-Bщ[Cx;3Rh`jLT9ޙk Uכں5F1Z z֚//MuiUxGCCz'1y1na'jQz)\[2gl O[;*KϛZ{۬xogl3!OyDy,bvS:PN9n8ZK)<rq&fAOB+jIO2EL - Perron_Frobenius  y`ݘc$^bu8_ g <`g,}J:ʹ`J2ʃ^t P$-ֵ\Aᗧd$w/EYl"@fv; puuڏ&AZyJqN{$/:D5 p~cH>T̤AF211XԎXnѰk3. TLubs.1> kEqi@6Vr&VzR2K%uNjc:G%$h0]z!D6Oij4:7zmHЬunz?< gdUPTngɵ4Dl#388Üs鲈-&"qKh*vg}3X;.Me^iyP$¥cL5NdUI3ݞc<R%(N(+tzA(шq! J ќbxj-X``z> > zht޾~h8! O`iV^YWA*m/%fL2uGIl/t\4$YP9ʈޤ)xO"47c=R:cTwWbj3&\fO""ɲgH߾\Cقk17%eK*` ظ3K7 !,UpOs4P;}-upB'-vVdFSZ08-X+/RG2PGԉ0SgTѦ1` bL&kXYy! ȩ="mJssU,!D.jp1֫޶tQmYq3n,N)m42J/_5Ma7ޑVx[6D ߦ}B$7&'/MoW w#u+Dec1Mr=gKT]=2m4Dю-o>2 ӥaD'鵀mudz tk&'j !Ż#?YǓQQfhK(_;56~K%y$T  I]k4gРV̊h,6 .K16ZsҖL'hVx5Bھ&;+$A^<^>.RT ٲMN̄lG}g;R n{%3NȖڊ^2ЎqiOvXˮ_/7AB@`\{koyxQfҠ ܐN1k3I=U`~n}YmT,$%ddtNM¬gM1]x'F (DKLg1Bp ؖ 19P5 ~]c"MSИ4Z/V!bOl< +uy29~lT 3#t.jHľdnuz*`P̨)gTA7p l&|#7cXfi;!a]g7k%< 8X.4 H\ q8Bwb/O0%F-lngw49 nTMt2m`dva é1q|]0f;{r\Б&3!ׯSRϽzaWH7HYy-_ dMiڔ_R(N4bh`Nic&GX|cZ&Zd/,.Wʮ57{Llj;HPi*m~ĉN/D3;nKF4-4UIdn{M ɧ4֋Qo RB͠ ,I~ӵ8kaeuj\ $?%b>ʓ+3<SLuqCzTo>[h=9W"5cjOApb,;x|q xKʕjqv1Ҟ1',TlGHQTV4Rs4a3{1) jFhjhswqjw@8iN@k~z` HHigݒ #dv \!O`t* )A7~O:a(N6r;zIMinu#9V+4kgӏIu)ƒZ=A0PRB30;KC\e3˭|U@ gP'<=I%Ш:fph,Zd|tjL](٫3:Ѐ!XЬP`o\FM;8swfGT8Tl;/]pE`;Me GEh%$X,in!ൈ D5`.3izu>VrAf%г6hOmF$|6U@}O-`k&A8>k }~B鳍रܿA$s ,L#$ꔗMfQ[`[]=hH 8SWmRd7sw< +퉇nvX粌1E4rd*pr#do]ehDVe@yr`,.vcYSkN!ԅH`?;,یJ1rg7g%p 51ރ[t^X ox?پbz]ea?[8.~6(?k0U d+T7`pKCK vST`h{z+@˶Oﭬ$?Q|xL~xCkkSXuOO]ԏE֠C}/[E 'ɭ~6}6,B|:{5Xx[$ &4WleHa^`^ՠP/G熼{LtKn3[+ j-ƣ`=FXgDTsuJ/,Il97`QNbJqv6t!m9'.b0O m'm"ŕc%s3C4dE,j:VN= sӳށXg}48/"K6I-b_Gp>hJY4&OJCghVXPPaHGnNDCOoVgN:ħ''FwPw/٘@RfH?0cWő5 #\t sbp67@,>ZD,V {q 48x۴ ~fjZd $zn ŇّN}6Xrܙ!KQ|H~zp:g&$9ICm9҆{D=2 6y# *'iNB ׀%\aP[unDM{Ȉrry$.KIyo>{ufG5sŵͺՙlǿDdyZ{r#K~9-\Pt6W8h f,LryS-]$Q_&j7'R丶f6%$bx-*]eJMuu!^3'x1Lc,W Ga_8+%'#hDv:-6&f7x ʫ3P' gGY3\ϨF(]ft< j}B4jF$[|_jtYqjo M@}o{,%]z(wLpM1d߶ :ޖ4sȡ0{,a2yBH:l$;͒+Be7g c&50>9eCL?2c w&t mF i&^:B? A %?bfuZ;m{19>N+/7oƣL=5=+~1OAeW09"3ʻ;WEQ``]uk6t\h'ՐJah[!2퐡_/7tK*b@(+ތ`s@%~!O6=蕨"=DYԛqơy#tZ ^قVQ[2T#rВBr?;c^z>aZ ;^kU3XIz>Lu@C?}b+Xa Wj2bot/eDe2.ɡeG2wډTe >-zͬ?4 lXYp?DZNqr̹[_%ml_'/ 0xUh!0 @x]9?zsIw I)NU/ߤMsޚ;gq\4jSKwY9yvVmR}G#&Q$\PQ+}  y6x9rižY.6f_ITh϶vc* B %+M9 <F:m RDzy3rZ-`=#`%= [W->g䩭?+Q- )sD ߍ\өþhZu7W-Tq@p4ƕ, GUKzXcUzTZJ?wWmyF>NEhH? eY;GܐmTd7g<&Laˀ8޸8jR濊<\)$fۉ RVfC`+z־!ۏHEFI>pPxJAoA 鞽P͜$`!vZ=.7ɖu- )Z3ds[@GȬ^u@Lڅ.J}Nd,.3ȫf\8uʔ4xIp <sgSWEm(Y \A:To\uJ)zޕo9KzJY?`b'('(EچX?@kut~SX?Z,ixB{}X'\&9[9YQ|=HK+ 4a)bXט̨/U|zvn[eɟu{;̐  [&= EpNSTV=>&zοa4iiF|n]F-|rOfYl 5g-XY~Z~`۔U翪/Q/?ze"k+Yq]Bй*Mj'Nzv~BJm ߎ6EۚP ­ L^VF*~tCRyҶFv]E>hQI=I o 8T Q<)+ΌPnAzX}lc%g $L;%9$hF'Ӏ݋ B0Js@ 2c/IT4팦dKRP>^)z=W| EFeE[_ xhJ[]Od?'^EsZr@Dɳ[6)P)&VaeŲiY˭!Y.0B?IQҢ"S"1KU9E[2 6؆d&+Wp1ۈPr%/@hGՔSN_8o&.[=њbx)j/B^@}&)"d5)J(Dө)swMk!+D9twsktf6\DB86E+Ȇk]&V(=U i'`=]Ak ,,1q }ICM#1'&Ty @E1v~pG= %Ib~46\GPBkq\$ËqpxgAEbI *I>*tNmnILSt*Y|~SVJDz*XIJ͖[`:Ԙ]χф:0FO]S:ђۺ}GkD5ֈ4.+*lB]$ehd§kX<^_ʲp4ױK"u2|׌x&#eg H89Փv|hׂtS삹vmZBE:q[%Œd"_^p|c@ Xb̹2+WL[YtD0;%L"چkܒK_:[sJ!GWcͭ8_?pɡ"0Nz{-2ƷvYߴα+%ø3mC9Ubؽ!!cVE::uB.Hw$UI2S,g<7ѳ8xt[ցVC,GC}6&%w#]fa WQu9 nt(@a9ـ 7%Y,Mm'%1(av2#ӌ¬F|<[*<4H% ộB4Mۺ鴑c5[j>Z2qiGn-fQ6.+4t0Y#mRFs\dxmP|~R۲U)ij_DzJ+2-83,Y?2XE>HUZ.F%":gr7gqEyŭ[e@iKSA鑔qV~b Q/尽YfL3!Ez5EeDY)8D12T4~? V%JBJm ޲?dVQtF7agk.,3uf\^˗vs7~\IxwTU`9'Üy*pIV Ek {!1+X0MTݺ,ԫI.k߀:KNa{@#R8,c\u-D/ 28.##pM N#jscJD9#)-CBgU=8v^ ,<6~k:SwG[2Sꍏfjj(<_`i&ZwiC~TF͗hGkFk$z/ U ՐdFu{g zV@~f>XJpCa'o?߭|Z pyy, f"R589{ktܶ%aξ¡ŹJ1ML|)MQ1QN}YnO~m-G~="Mijr6u"XvR#2Ht9zKNx9NF>Nm1G TjZ/?65z!?oK[yDygt]o59e? v]QsoJ&%ӑ|'&"?_ehn6*vǿp^N|d]c~Y33xrIjڦzRsfZ.I2ۘk@qe֜FE2r97= csF&!cP^GZ-pF:&9;UWF@P|#jw\†\*-JIui?cJt T F4nuy8.uUMJŭ}40x[{ m>DzF)b{ZB_ٳ}ѿAu iuم),(y9fm fX.ZrX Y:{&јR;#hazdB0i@ d(iuX:'\XlqxU '݊ P9vߙTxk7 )_oS'nh )Yߦ@ΩpJ8,S0 v IM*kIh3?+5ٳꄨKKps>xu L4aRj5g#9/OPD;&KR_:ܪ1w% Qx u眿MQ|B!~w`|5meK-ώuu;T$ }0;ӏHeڳL9d[|6Tmw(gL|z_Β'E챝 v"ã[Fч+Z)oJAJx.12ˢ^y !l)]xl%,HIOL-PdŋYطL'C S70 ֤s[GD%kW)7/I!})ZijW  ÎM6֮r}S:t({%^:;}G|"LgWU+Y YO@`0O'g.3ܛJS{$E:zB"4YV !>O]Ne\!>Ŭ6V* ΘO H֩(@{@ϔ*_,RgYZ7zXZִF! X]ŗXiɟ1KwCe )wG:ͦM#qSMMOНkjSew=9a]'4ni׎؇݇`)n0jsփU&t"y|yjOĭBjW_+0  @*L$Wҋ z:a99wxc"͑r?Oo&'nY)l3p}kʯ͙M[5X!-@UF SUzi2c1Ľ ƪ;s2ƥoU} ".%q9%j%vT~)t٥ | rw@Vˤ]]ȚJN#IPȎڟ e. ݝ%ճ&{ɬi:{}~۶%<fr(kG9YSj]~;Aq{]r: } [%)c}T.s7iw+OH"jHx%R $j3%1aI  N@?ľ+d~c3v|LB vFݼV_L#?8 ㉡V'zƙQv;-3M`@5.a!JCsvI1ȃnS J%8K#H[:f/TNJ@L+'$RsSaz XKVZAZ Ts#lbaQ|w'OWk'vLc s=ABU#n,EO[EN,t Ͻ!~h;=nj,! #PV7'*) KjE gHܱ'5FwÄrhNoFRѝsTA(ʛ %Ԙ1 `D@栿==UWT-w\T, EUf3`?WM}`OpN:o9~Uy& /lT,4v{CC@4VS40.J._+:oӦ(I'%k 3&HGAyڌsC/&T_93˜y nKwW+YMnR#ȓQQv5iov9Cs[<~]gߙ V@*#OƞCI\isvSR-'$Ix'PoMozNF WL O%tFNy:8]_K'3b+'LLޢ c*,;*l&"XM/\Įq&WڄwA*ĨIa3KYv|2ώ<#QKM0dҗ].7vW=Ύ]Vꍨ~x sgh>h 9ayqr wpOYQmTݴ^_:gs* \0|Dl&=;0q$&ܓo%\z)0ar( gzޓv[yViFyp~gZJHlI4qGYM\]zH&ls3.cʰG6N!>7*Q:bOl? ?fQ?^s6V[-ՙv4HU nX]C p=3dShXЖU [3 @-QX=E0~2\<.tU/O>sdK1QB9v'^Bp^sl^&Ț9~b 5)uIc+yA_/ bԓض~>(˴$MAcH5 xl c|M.=UBnZD]=n[A>8 Q#1|5'KBd-qnvK%ndT+HG#8>QK|8; %vl`$Z逢Qq3 wP3~7kCD*σ@FFGhN^r/n]GC,K-emJ\&. 4S(| )'srqNp Eԭ/Ta~U#5 t~8LܖPFqe_v`Rr9, V ]i}{?Z:X[*zϕN YjE~ZQG, 90%fl;b|}^h!@ssC z=YOC *P @ '8WF@44C D+FC"_l4žN $e/`5%"q`uES%.ZL`u]G94<%b6 c+26nM{gCZuɎIbiڨ+c+Zdy3RjtfYݧLV5瘛U9u{qGIyk8b)Dos79` 4 QiLR}X>vдW/d@VJ3IrkcrmOaV6)҇d>40fN׎/\jNٵƙc;i.yvZ|G8͍ czHЧ j7-SMz 7kmUreh`'+\&jlX0B+6Ca3V }Mz5E{gZ%Hw%nw3ӷHs.Q'l  \̈́@3cjH;⽒C^C[CX8T2` +̹z9.o葷KFMqgwPӴX| ǗPcBњ5 NZT8Ǡ~L?z 6ި ΅1"8㬛,6'ށl`Γ¦pJ~cAV& O ɶ^A !҇2I`/| #t9-p0ѕH{Z0!&/vB$RL)Jr~X)q>vp4w]M$iKΑwu8 8LG;mEi5pA}|]22@9ضZG?rP< {@kQ}m}xn!Rď7 e y) ̂ 7B-nzM7 c]TV9~&4%4|.l[~.и}z`)3K8C#ўøCs=(p7OiZ? d81h1򓜨eQN͇זL'ʧL]M-lG&4=\3hEBô|KqҹN00? `Llԛ -sutb yTeD4G?u% _|[ʔ;yNxd|c3nۖ};`2iا.+WNپD'㛒9 4ٖ"n=~-mv/{"mA<cυQ Ȉ̕)M9@":+ꍎ?p j*&e_Tm_[] 0i./X+CN1Dnzx j?6™Ԣ`MDw(_ښKصZ.m P=ņjE= - f/`{Jp_ 6xŌ~vaSUIZ͇d. k2u[aRh(&OB5/)-Ip#&l_n[Rh4TZՙS!ՙzBClXT {ɦ(߸`F±SlJ$/I<[PwIX|vf[5үƨj@ĦM߄K2TɊ36NaUG~\[Vyų~4&x{ZKKrtmB+ŏb7`.'ܿ~eI=2Г\owjf}I%f鶆26E̍c íAM _It l+eT.J7CD^P탂/pR} :8|v0#3$U68i/Uyhr{Wf4wS´&ƥ-/FN6+C:pPFMJM.Cm o}>| j>٢L!@q; gLU/mJÝXVA j#~/QA3J\oȠ{?i!6{P(T1c%]Ϊ͋rּv>ɵ vU*z}x1m.}T)zfRt,qLJ[`T܌ iJfQ:Ӕa'&n^AU +\\n7d!kD$.E(1ߟ!Ӟlل/JoMZ8%jtb%{캗زY&/>^†\/0b"D/lcl ݹ^bB?0Q5VHg*8 /o<¸T*q~Ns/S1jBXOzR$+59c\Q+ѹGB3ECK;OCǧQQi;Qu+;hIjע ,gE<@.Hk\L-m>0p# F0D a;QAR-s>/'9ˣVg<ҥX2F sL_*g,̠Qi) ch/UCAw,(>fOx ,{[tCoE"V}jb,s/ @^+w^o/DނSX.vb2792- ~ruAcRYc{A oH۩'@y} @5fȋ L)cW%ll_vє~+_ᲢSɲC_!ϩ \ hga;_e+UH&}'O#'atɺs5k]Pef+l-Aw ,l'++g5cMV|ô7960~% ܐwfBKW-╛B:A$7oKf{-swC8)omS4Y.npw n60yc{z.@pE:*؉V[2z$')IH R3F<6_Hګ~Ժm* _45ŝt;`\_ 5n0յÝ F6:/] >AhȨ:aJS뗒P-j*V4b.f$zX0 ( ˞*hM(e?#ΜalxJ׻EKFf&u7nvCƴl$lVe\6o@#'/<#ҌImӓ0",BmrЌ{gb}ӥ@@ޯ }L웋rSN{ZvXLULmf"cDqM@A|shv9G3.aǘ/$ϝk;FR=~v1Ȓ n-6b w]ǷA̕kȯ.ľ90$&Sf7cBw=.Nc^9|9eS|ߖa|*z*yWF)Te;T,Ogzޅdz7}qfK(Fc]~X0EvɑyBYgڹêЁR/4xn6LNB~I-F1:I30V:e_[&v'w)KlMwdm%~̜7BXb-bmh}@612`O5cUn{;~`aU%|E`MOc `|&vOun/ *AxZ][UVUn9oՄ q O`L nqj8X< 3OE+Ȧ"7-P9'X?8 .ȢJDBDmc5TuKΘEQ>1W ciS$<ixn+!u_1ۀLk+W03HOH0jyhҔ5 |4'd0Zzd}!C<4 HTP.5ǜg\3i`c0p*KGXV4XaIěDԱk3)vEj=P,^ኄ_)Rȸt^2&;zC`S넚`*OLMVT}^.$}z؜%2SՒQ:䴌 x$(\o@lob/kl:7^%?$}xDBfL"cs½w X$b̞_VuX8 iб9ݪ=z/ե0f)(׍êu23FEb?>j q>3~A #NbTY<+Tϧ8C|";]by\) lÆ%/vk46httX׬bq?J!cI /HoPmy _FǢ9u ͸oy$J'd cW,#J;Ԥʺ fF>Ltk^^eW^?B=uPI=J v[8+&zJeۊQ0LuUUh4T/X7Xs;q |e4mW식 fŒ1v@)W|wPKaX,sO) ,'T43VG,}ֲ4̔щյ%e+! NV!i\cd^I4OUے4֙GI)?܄ دՊej g2hUz\yp _ ]rz~TbR FjUѭ҇CW)kX)m fCw"XQ$(=Lr*v;^T)BOIC?FڠqKЦR4nb=^^Z|{Ұ&l'R.u5Huđ9S݋Q&hSŽ rmMSTU`j$9Ab)Tb)o9yhZTA!pxDxk!c?: xs!Z" `3J۾|ix[H962!tZ H* :ŪRZ8k}`:6–u];/{ĂY`u֭5B.X`=;`Jn?K^o|ʑ|/M_V鸮XnK]NF%w.|2冴Zxho((,M?!czr,| Le9182} t%_70Uȇ ?\I3[KqLIز' -X B08s 0xJ##vQ]Pitl2F*@#*89!`k_)5ݔW~ SLb9~cipV<===(7~h;iJUC_SI*ߝzD{nm16Fcm9/vd,`菦`7N"Tfg'_Z8p`F\[/\2tPo&b!o֚U$l#Iv}6D:>P8<`ZG0l3dԀ@:T^qPLskĸD8lac'{R]e)O2A /(¸wHLKҭ-ٽΩ8.dj􌂺J3#Mh]ͰD_ymN(B֨\w#ÔV\z jj}5 tTش;7zpt?Y>S5 7'jy9@ -E[-N֨'MFUirJFN pM#s/PDk;,%oۄ6*F~ݿ<$j/ HIXݱ+O@Tn%P]P=p+woID) Wmx'6=Y}ԑg% _gD4نos1.n$w YW6DŽ4t"RR8'"W(9[2E_qt8qam-U_S.O)%n>Mi5t$;}O: ,#Y7{FJyof]ߔ3:ùGAE@\CD8Y8_ObZXxIó G Q2X=ktLwm NHֳVޝg7qI,ʙ "_'W8&+Y f?A(\sR7,"3n!3$ldoƥ6ۄ@LEDd㡵hHf}Rz2!B7m pF1sA!Pfn&xA9s#F'UYh%.t:J85 F'\~@\L;~Wp#qMTSx[MEFa2e{m;e)tCֱliN&2HBt !3<)k]Zv@Ʉ?o*"$qZ Q xK3fy{z$Ty5n).m.JQTݘ[osf=¡ w!Hȝ E D$8ZBZ>ɶ+_ -vXNk*F:[7ǘP=m(Hp^gn&ip+r~!`R[E`R|d %f@ގUKn% jwr:.c8_zGqy3_Vxg,gq03*gޤ'u !f{]ѹ>cGQh0E& k\Iz}"@}<[׾UnDyӄZg*zT0]œYب C(w/$cҽ;6.jy@,@]Tt𳃟GE&y,1BY+Oיtf\p 3j۳پJ~kS \6K!^(H5EUO~j줁8vx<'J.ˤ W%y;AYAfd!W㍎=6C3r.kљCz!#BtN{T?J qgnle17Ģ:@AhW|r{db 5?BfABzxLlSJ(Sy3zf[e`H.hB]mW)vj-rBA$+ Wp!=IoQ$~IW1=ˆ? Е@JfaڬWjE@X!a .@38^8㒗DOܚaz= j=#`>\PAnkheedyHg#3Z7tfF@zibҝ,;Q8-bO8Dhv=oRަpqPq9,a#;5܄Ju@mIO9--`l:|~͡'Q@m<[t!;$A.8 Ex09/Xtvս#EmEwE uѝJؾj,J Lty)ܟ$?+{9eCn]-hx4ZF$~th}S2nt(7,I'N#뤶'%p75$\&9uuQB,KXkT: {s;Gf!"Z7nI<ԡmZ# d8Tno bQ&wў֦%r| SIV7Zq {|۝j[盔\ࡂAf&n)"vӻzZmџMPT,JcQH1JC4"QFj1MI=0=8)Ӄ|:4@iIR/^3 ,T4Ӛ1i waю8zB;Kz`PV>/TDʃ72 28:CsbEz6 O6Gy)wS|5B2nĒMZ. `f#sK[u:tDQ( e ƨ0xͦF)Y7ZO2*>F9Ќ`{)pL-U؁7: g I;C#:J! FZK.Pp5 `L5^F6l/RF;rj4}"\T(d=p# ;{mJ}ut[ *j Njz4)KaB'(2v-mAK9.nT_9 f\ňY"mZ߲Q赭U̘s@Gm.HLĻD2w0)znh8lQ1J:UmV^POgwMTe΅kbb+GqwN" ?MK}aR}oY')K`Uߠ[ hYS;!*s.Q5k-\Z.:4bf"VJ-H^p+ܽMU(4}`?鑝aOlQTdE֚6Jl,R)tqr<*Z{hj{{u \Dn&ԓzU~a5ws 8jnm+;'\igW[wJ!=lF^2@f >qd6Jsҗ]1'E7BVwiH,2xhl&hqrMnϯ _ LEo=I3rRhoKT:iH <b.R`b%U%l~ ׺;d7]S }^2[kh[TN<$n v%xo-96 }~Μ1"ZƴX^jhs36.= ljWG qmڰ+/=Џ pV9wroT;y⇰JEBbLv S:PJ亯`2s]i>x[דZ,k(BОt!Co٨ߙVc0qdz"pPP FdAq)quy[J>;X\ c_=]- Nˮ1d`*X)Nʘz]+ !Oı1_UGQ&;<I 6rPܹ+2wT7- pACD_=PȲ?4ۆ-@LT+6A9̧qτ { Gu6! `fA WX >xiuYOynVR4/9gӫc]'PPg:?{gi >!t&Fsp/+ڮcL+LP\H%pp#&ӌM$8R]%M%bhtsHRÑTqdOͥO],@OLW~θ :fN(is\#C ._x!>E>"h?<ʝ SH3~[_K\arJMLp7-vk <tTNEZsy#(\,ÕG/Z,!9e[d+ ЮiX84 Ts/?b bP/&Qz[rqA+luQ>ǭ22.oIz&dSj݃0'gxŭhfٹTTJ񜉣_6_I%! 5`oح`F6ŚA561LLǒL"&w)P$R#ƍj  M.Dc婘T~wm9}VK0s>#ͼaH#<:%v&'M>;mZphG7 ◤C,n>:O:j#y֛[aa#h`YkcTin0\4P[4g?TH;^<5gAelA!<:j(iP>,Lf&yT@""bQZW`:lg]15C@T5tu;Dž}ﰗdE- r!-[rEPxl5bj gĩsaL )R3YY1/Ҧ4;i\&~DF` ʺS.Pj1s4y|xCc=c3Ojq~0 ]N=Ω@K{Y^7C3U30I-yU$THC#qϕeLg#ܬaKr_r˔=jjVO F87i~GC9]c#Q~CB)V(<*i%^/59Lh@W@ wyaT@IO'Bĭzgd@F̱jcVGw}=i TN2 $$2|q)T\ ^")k(H^DTtŤsS^D p<܃jg̖p/+`GTZb9Cd֝r9ֿkqtSU15F>h/Sj#Gڧ +Uy0y]ߩoS?cF֍LMt6 r!r::Zv]`F"eZt8IMEXEq;MD*7 2f[Ypk!ESD$7OTTSiБ혳Ҫw0;'XT["k8LdzBAR6a-Z 8i-Q *lx^WyLV_&ÖږOU)]MZ?f3r,ݐqhMlDAm9ǟع<AK(n.lVAPLʥRD]yBtV.Wi>SmX@zVIxX\HA)8 )B%Vs&#UYg7YuƸ塨.|o Mɫ`?SYS-wn".vQz>עc.URg.\˽SDhI9k|92+E6#ol'88I1pI4JgG?0ژ !d-,EmJVޡAûlLutr'-3d3)ז%h%Lxl] puxk5jP p fSp$I8ԷhdT}\:/3Jm`#Xw!c9ܐ:[dE> 37KyS'?M^Dt"XbhxFtkv2S* ioxEnYQ=I鉐2J^Bkڗ{t6 |qJm;}YʹѰ` ٜ$ =l˫{hZ6 (OL7" uAIc1. Soi#p2Ji6! Qe'p499ʉZڧ%[ `NhZ>15ɡ̔k{Zx3g|TQ]!FÞJWi3]4 dtZ]U u C|Xj]\Q R &DRԟat@xOqʶđ5/Yv>"3F=I\rA7l[gyt`ExaPAFx$Ӵ/_"|(u",d~y*m?q wy=^vݎq % !Y3Gh0(?񸰲1 y;a{×ĮԷazr8_xӴM3#W%,W_;1Y+F4* ppϪ9- nMgGMZhn $3t"u~zdb]BփO{1S-9*ɞD:>tC`/(O?>:VLm;^ F]Y{Hog:d??*vud?[w"Z+R u1ګu8^u..'<mm2ފ `Nn~x%\sT> >ͪ,!T@=/ ;;n=f-Xfj5h(T M3?DnIx 2Y+?&^~ !RGi9K؟#)Ȣ+' *bK Q)u@R]!TsxO}-)j9 rl4$̹m HlZo ?/|Aw2'MD꫃7K;֎j&zI6ȖX{ v) h``@d/@tꟅvy̟r&xQ$f; Ը:̊TOA7c[zƑ ?eH>>R u'9ITl]M uլu<v228W!+_8螠<B Ӽ;:z0 w?c ,f͇Z sur 4'MryO"}IiKjXiDNC-`n|K48K6G.2fFgHK4xitЂaBa7sT(iĮ۩'>h"'dEQǸ|pP4jbm[iо4]kkJ-;Z/0}5G%R~Rتpm쩔w}'}zNsMkv_teM,Dߢ6 YTE8bu]R ?mnb&N}ꨫ ֫--]z mt'Mf]aU@p,ɥ 8 Un{; db u3/5tN29 8ì4Pc {&d-s0*N pw܃m^nղAU2@sT҅|fY&s1yċ">E BQ4ń7L2YK0Nsʘ# 4YtDߝ(7M< ]J&܋unҐF Itɰݜ;Ƶk@*>x^лxg%;$R`EuPKWL~X`+y{vxjiuOr1,@D9c˿?xŶx)yrmKf0ZIOx;&IH5m:])!aOQ ؒADF獌Q4ZtfF8:1E:*"YgBj>4cOkIZFlQ%1| nVD2ĐV-DLWG,ޘCJ@DuȨ!bO9FFDF߯+iV9{XgҘqyr.|Iq 1Oo}$%d?pk1*~fo,y3-V$,[3%>Su=!Pe9U;y L+ .xoVӶ8; 7nOe +w6L ԬWSء#P* 6p[}FqހԐ ilD%8#MR*NAҀ(=fPrό(ZP.!U);RwPȘBk)1}!GRf`=d233SӭlB`ڗw=^qf "]ODX ( 4}}0 F;ùIVDi~P!?& #\@^"pL7AZ)bR^9pMMY262;,mps7~::k"-ښ$+vMjުKdl3+|gKZ4LR';xqu) oIo0-!( 3 #uwgL36~hᦩ akv3.d{2bhӹH(R,BUtoÁ2=)!)G0^..+۟(cY;,5X2H~bVZm`S8QOID c4BٌUvC}kWG1ǖ\C=7?RĝJ춃*XX'ee8#Ab 39h woo;g(RXOb D?>!36$(̳9LMZi 3ś+ j;h鼕w~\ݷE gYZff315875a258935fb39f0ee613446806d71b1b5dd3f90704504dab3f9fc94e3d143d1180eb260c4a 27638859d3581338a14773da3f5cd45c4e2a6773 8686c2ae035c3f9df08c093ba8385ab4fcc4e84a 68e83567f410544f1ee969efc186135725f681c5 699bdbf258f0abde11384880867d7af53de69489 ea6b1a6a139480adc08628ab562073139ffa3b41 29c786f87cc7e6ea3db97c772a444d7fade7b6f8