SQLite format 3@  .0:  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  -tt ]I Perron_Frobenius:threads=4elapsed=211.702cpu=723.212gc=20.956factor=3.427zXZִF! %r]ŗXf1-q恈NucvAݪ4 c?[ݍ#pdTMRb, E3J,դ=Mksm=| 6{HfvT06q( e&|8v;Ł#3o_ݒs!]Z`zh^Ϙ!= f%ag;;"I}'Z 0*iĞouZ A9ߝ»O[w%!49K5[hVzT&ufI&Bd~}2 M&nL. \vg` ژ1G\"ndmu7Uзs~OYZVg.&њO~fZ-qJv< |5 ͯ 􄆙2vsV3ɀ{ 4 McLAM}VD9&^i6AS\w*삵qDM.5!TG%>V,J<'M JZGI].c& Aa%k>1+I]Bf>xYELZGUϱ%}ٷ&BK _cɖ:A&$qDYgf>*#ͨE*A°/ᆪ3 *hI\ +d@{7){t[[5T]GpQ-"T k-7 ( b*K_جaykc,`vbc3Y6(S<1]ؽPy;iID̬?# CNBiAL3skj5 EtRp[S]BZz=j\E&mWE*Zh^P2o7Ch-gɹ::7zLe:׿A_ {y9MRt?Nf4``y~y+HdHet+]]t#`1 jI63bl;O>\p;)ĬX(p=9Xu-`JQu&j7\^V&'4JɬE#l3SsGJd)Z5h(b4 (z|e]!\@Ȃje#*{NX":QMU)u(:GeOKR{&\^SĀ*Ê&fxYwiq== EQ 0z#z5֠aҖ&VqiSL~~)HN<_!b 0 Țdbu-8pO HҢZ/ @ n]\!.͇|Hqow|tg/~9==, زJf \m=?kɕn'{rG$ ]r*w[\n$d("T RFLiB_ s[G?I{_g K h` ¢z[RC4"3VXEq\~9mK,F],*1!OMt~\aZ ̓O3*IꧤsAt\Mt`:yl?k*CFXG6 Wx v`DsBP mH=fAPP`d }Rvfڰ:wzC،4 Ƭ'#(f;<!&0s^8YmȒ5j/7ZI_16 I(:aAh~\ vd| 1hrFk }?l2t,jX۫5{Qn^0lwo_7oYSI+LfUn\5hV8B1n7x[m] z*;l@#-E֙|3*6gp@dRn~x4 #]#[lPe=fQn{%Hs)c<ݺ5Ntz//Z7#lGdPٻ.MZe 7hWO;@''kQ*=gyo)2L0IRvݦ^ǛWY#zp#c1^"X[EA2%lf{qmr-pʾЩ42Iˏىa”8b-Ku#HT.Eq56ኼQx roce1^@uϒoLJ]9Mru \MrYOxɑqa=LL7)pޢ)8ʕtmg#M]_C%'W62nJ  l[b">J^p;P~z1%}(2huR2_[Z I"@J[vu ӗR⣷2Z͎XTdc9-*\JE,@=(@|?yA ް>au~"vb,fj`+9'@&Z`aK`q=;pF@d}UTMWsI{7rǡ:HLl˻!# Iy!y2yi  I8ܟW fF<# >BUIC|~%cWfо/bs \s :>Miu7SEJ_PQߢ\\oIS*aA M ҾR~R.O<ݖq 393ݼdrˇtyἙT?P,>PZWOV2^)lTܮ1 O):8[/C.z"(OnE1|a:QrCִ}f8e)G$嵢P㸌 H'A5m5pی! g+ ؏&76FU;(0| nTZn&fcCәc+C}e&]m5s"5=%'cF7~ eDEb#jzsa" NG*vh {d#p׮{u}Jsr[`vWO=+2Mx;p3i )chTG EZ`d2ԘÞ3$xIǸSas_mLoY`ױp JEMQdILCj>=lF ]9C! +qA<8OTnbCǹh+pOdN7tذ-/D~'-r&J_\ښ@5ïO дCҀ.NIC#tL'C}g);2sEN/c;ʝ9ŪC} bYwUKB19+,E;^XZ?kt~[9H &o.Mf $v{.EFߴ'JVS umE"UmH/m[;zj 0>Vd ey >|9kg`;]yTU>&b~H(_Zd:=XS5g܇\hh`Qz3 ;ީD~KZ5pu/K2;IJ+?33͈暘3UPOopc\뷝akYa䂞yWD1d[{,Laa؟[G3 b'{hDY"'z%E ={~jRsUy;4$}eGMKy;^RduHZ \F<'J@40ک MF\0S}·6*VVl@HLcq{T\+̩r<- K/1u;C OL݌;@_t+A9yYC|AL݊Y;lRGRI9ΕdT;ٸNj@w.mԽsa ػ|]ߨkNZ%_T-MiO)ҦBcL zr1ƨ9|ȡJNu:Vr ]fF֯G}J$块MI_{' uMv#Q{#pYlr^b_t3ECNlDZp:K3 32!C/ >K#Z!U TqW.۬"QTqg‘}Vv4Ty&CR;ZcP{ Q3fQ2"0dp֕<;||Vgs Q9h*`9WlETQ F$ =S?eFH<s=?_f:BP9>16"gѓHJ$b N^(m 9*25' RzApdBMM3$ ,v]x>|s+ZbgO!dI"iV98c&qm7z)M,Ŝ>ݞ\^'6HDQH٤鐈#\* \KN&f9"H E6ۊALэ~~4z#"D2ca0`m1@TUldP%ש Qk>0o~蕔l w! l1q"/;kKc5\:or`]bIrt.m,[_,V0uKP0Éu^^zg:PBT3ty\I] ym5(h*z9'?:_λ#R /-@E9n@>i֐'AҖ>H$s݁OWJ=>y wYB,#/ sX'/%-`(fgmFҍ7K4W.S/Ɗ{\ Ck zs}{{2-<0 qI+;oy AS;Zx&1`]HGc@Zd'H@$rWb$K扻LlB&sIOQ,٠} ]Fb]ۑHn a!,ǂBO``er,"g)T&i GiC#Zwd^`jLU0_f͑뽎lB<v` ^i4GCT7D;ztVPΦ{WzBLuW^\xK(vLF:c#>Zx1L=6_aӊM*kCôbYJRC-i t7r q4p. mb%"Qo F]%KI. GYS &<sDf lQɶ{hryO{{WpcBEI%uЏ׮*C Aa餵\$qS{|Ӂ6 k>gtȧ_=ZvBPȤB_!ڋW!o0WUrs3u" cWnsy v*h򸙉oC#1_Us=( q%|S&1B׏slpxAR ]# UGdZ]4Н\ IڼY d&f@Չk0Qv=eŵe,a*3|=Ff_<Pn,vMC ]}&$( ~GΘ۵8-'T7=`59GJ%][ 2u]0R׸щ ^IH?W CX)͈4,o |\eJvfXe6#24ϥթA%MW*Z03l,9+yчp,/45M8qј%L@\ uTN,Iߚbb{k=NP3q^0pt;/(iXVOJe\9YŬI]"Ig$ˠaÖB;ǧ94kҘגMEe+[xUwp =V+eRlZ(P)s, ˜;Npm1~osONs4kəlzXGc+l*d;tb fRz:z ?x{;#yt @yfS)plg"#]]Ln}SKzAk-AIa󣺟T1̝o}g`qGz<3TOՌ4T)Ta^C_-MD(u2e8I2(na:2h3MȬfzWK ESC9S=izpec+{|^U/F-w0"dȊ3^mn|K~Zt0[=?hTo9l,smlmƃ~ګvIqZ>,#0d$ N^4Xz V <ٲNOؐIhxKPl=gUsM:\:q?[QnPy'Vg(ؓ7S/~;tDv ~`gʶ. 'X/#gYZ7zXZִF! iHH]ŗXi%B۾._kfʒznP0I4c`<}ۯ9;cFZvQFF *-DpEp?>փ^w5uE|垍mAĝ:$1,H[m.N߉V|:RxYD0"fA[.5 ٳ~Lqo\;-ó<ԤM^齨V{Aľ5)9; $|zp攞FptwG+=YS:QLmcQε3>-Vϊah&Ʈ˪⮣!5woD]l(4:RxDR U )PDL&bZȗ6ɂPV ;]{it3j%Z95&U4Q8UrˤrTjL!_]xCvA9r5R$;DYahdD)âWEXQ9_@a<dž~Yҡ9V}-'aGlgw"8/-qC6mmuft\?as(ICË\B{z AiB=iҒ][_ߧBUBWG3lhk.(VׯWy͛#2=;!2h%䆔70sR}Y~k2;Pp?0"p+!<܇a5^\d^/ IV!QX*š{ǛZ/Fz:G 1G^Wg)˜UYE53O,~{;3[k=߂s~MCtDljB^KzmT_zAV${J2xl ki/ֻw_'}$YM($qm# _[=~󂃳_NZeQoNc$r&87TdۜE QS$EQE%Xk]|Q8:ST6bc͏y=;%)qf 2Rа~|61{3>(v DC Xs O[erv;̛!ͽi!;08ٳ0όqV>}n֌ԢL!:/3{o5NTʚZ P4:A=Y#$OYkK J& *ju4lE9=>Er^V*Zvq{=wpvO =JT(BG.8 o@V w̍jPS6GA=#0h YV[ G"*\W]~ܫIdP] ) %rb|gn5S󺍭4jX豃EPJfب^qYzsDzO'ڶ_uxqaR$8 bV<\j~2Ydchj.vBdu5˃@Ki(`og*%gYulzu’omEFJ@U¯]kqcs+rmaQ/,8' R{+]Ruxm;Y!|.ט$F(Y?"Z"< tX t_JgSW"D3\3Q1\\y.'W[D9nmu3 [$t'hr+Q_LaslluA'/pg<.};ICkh!kUW0!6;_gC@幆%+8|}b؂ݿm"{7;Ly`?~Uv4Pى`mRk }j&Q}pVu2 H݅z\VXOڦ$}rCǖ 1x 6Kf]wW٘aq0sFN_*|x}7>k'};3! ZD<m6g5XzwkE$ec&ckPhv^HX=6/ 5xrxkH3 x #R)==cvё N TUp7AzdD"ʟhH'VYO^{z==GgdV.9B{,QoX{Fj9d%>ERrF¨Tp4~B Aegt:]t_V^>9F ;qK[&YsR`E H--}=]lJn{~3[SaB7fd邏8i$Gqty=6:;_)HLXB@? G, x/8]B >^^ayp<9l1rTPJ-,^aPO<(V`cqG;DyVS0#KcׯJALj,~;,y4/V*W^筑m E%dLC3i06ԉapCk'X^GF>r1GZJkuX:<M̑ás+lDx*u+Uc}S 4>"-gb "$lxÖx$J__zRޙe}Y6J*nxK"$^sv!˽X&ۚ$iP.hymutߍ\[[d4HddIpSϒW:ʍ{5L>*qĖyqJpa5B}JoHJNג^w qv]Fs|1|Ыgt*RЩ뜐Q"HJ8 Ɔ- hᳰَzYqŵxj~~^5i%a^BST=ǀ7e0!S+  =|`Q# a٣2j;$^LgvBUb{8}$R#ILr;'F=GXiӟѐE0iGpߪ@n_ P-_FVϚ/:) N^,F9&F;^D`H7 ʅ|j &ԗ]pyúȬ2ml Q gOԚL0:f g~YyjWi)sx,|>]-O/7:ƲαЍaO G<(z0{Ll_t)9 R1w^/yS33+C!YdiBa~eRc{0y,Sc $c_$OdVuu:k=g#,(7 T%RB<λ톲Iy0uk/;IkN zvQwiIP{B@t` |51Ƞk,(ӝņָCwJ_ʥ=N_=U UBط>1ߞv =vgqK☺E6q`qDd HB``(lƯTYZ "+qaװ&Ä|m`uߝ JCEn~0kj|^ӀMProPL@qDΈ9fIUsbD d%8׉e(v[W^r)H7pJ6ƗxlS@9Ժp]zt%G?k:к|mB7)h>ܦr\жPy?XE$`ʲ͡I5/4hDn@gd-Ki3ݝ'AEԩڥ6d\3F ghe+@Ή6uŷbWγ+$M{&^ .lP"N!-Tm@oO(l#[0El8ۂ'TuwMU`j>I.Eۜr)>n`U_=IH:HXQ&PcdG{~*thht4HXFQ;b!6j_D:pu[2K͚]zˇ#5%0jW;T0p D(mo8pg;[sϿش*Y}V%`@žqILpp;0c[[`}B\ϡ"k~ydʙYE2O+ޏ;0P}4iG(؇]``cyFb6zVUAĩOIg_N[GqvQbH6Yau`*} l9"Z ǣήz8ȕn#h26_%q:ҁ@RPt&jw;FA?.:Ҋ' k}w$/[l!!k4Qs-Pp/O7-Ivi~24[؝?ϿPX5E>! pAjG!>LYegMV&Y. Vt<!@.hŗҦM1WiJǾ^J`G[?Ho"<-?Znfs/YQv,EQX BT=^-T[m9e8>8/=@/Ba&@I?O j DSTj)B`煭=;O"xjLD^|n/Gm珖@"!yVK`NIB.OChB'H6M^_Zo4g;ss 4eF8}f .$m ‡ $}PmY-.SV}JXŤ^Qco`7?wCPD~ dm?9i?ȟj6r/QXQ] R/MW. ˶MZfkq[_b&πZƑLXxkTQK6;e*:AK*i[`ݷ!Jz0WvDF4{{d}>=s%;ț =vaԌ H03OLNU28s(%~ G*.]ۄqHz%8aYWP\p@ĝX>RΜ]$&cFƚЂ샻.vbԯJ^ P袇8l!~s¹9@~fX|,f8~6׳:XbABʫ-wմok1|I902YŷX]FbKWq,;.a J%c”dEb{xX#GFH~u5Fb t)42"e[@ni\)0T N^q YD=1J{wk:̃^(PZp>{LAH;% ?ovL@t|:`u|RA#K`uB7B#.[pᙟ_pjZW{v~T9[}K*EvKWJ~Fkf4X+O;ngguB g NLZ+-`E[$.m926 .mC⦇ǰሆ+ll'!QQCFÅi鐋s`W%38y;:wYe@v8){>zpJƷ y<$tJƭ,Vw_hx~HҜ ` t͔0IHκv"N!IB_UT¥.P)>.)2*2dE=df3ٶڎUMYRCt{3#?ďbr88  Z-cĄ2MG~$/[ABxZ>ذNP"ff~9ڲlɎe#n_(&kxT,ZH5[bpi\R&ω{Wv VgOs*7H*W_؁,D'.L ӧ&@;Scae7ɧ}^h :fsHD7хgM*-[=@EPq`,{b1uGͣ(7}2"`Hd0iETx e_vDoJd "OUB]nZh|W jIB!0l'F @%7qy@[R2~Y07]Փlպ#SjJ;qfNٳ̋/Ԣ6 2 <$DBkG,V\l:4#wBؑ@E` K_Cܯ "E] #ϸÂ@H.E9lAr#s^ *Jk`KjNO.ut|DQ8TzY'M*1]ZV۲hݨ=xey$W?Ǽ#VS~}Ic%Jtꙓw[ L+ 9 c0Xwv {4rWo^vŝתعҺjDX%ŦRc!j/bXk+6< DQN\y3xO^Rmw~9⮍6ʹ753?q=G?K \`s&]HAa`\2mu@sn?dj&\:~9W [-q@JAGCN}b[yT$sEN_cJ\CvT%t'ZXprܝdjdQW e( I/>IX7"=39.:U]hcEΏu9^ɽVy'ZL$Q&䕲T_vjEVQ81R3vKџ鿖fBꥇ_z2gjס]wN'G0 ߾{JeBU[0`XA8E%g^50hܠ.%kě`mּ/sIsU)&t[̝%S CT׿+_ԏM xdGTrBwdW߲I"gz`H\2SFtnma͆@ ||JA!PqR=U=d?_b(q `GHX|!s^E``ϭM+'ґ&\Bh9^1 L=r7w\ت bWDA6QxqŔFZ&< tthZ//Xd*^8d2mZнė\Ydb YG<۵LO z.ﺋ4:(Wf!7w~([W ٞ&K)FB"וڮZ)9yA|gP8%ɂe!l_0,LX{&ъMgxqe͸!Ʀ&2֓VZrWsLZLFz$'7S~;w4 Ac-^%Ր1{ڇpRNhN?]q1]ڹ,sɧ+°@љ^׳J2I^3^{n"PDPٯUhjdb]F}0@՟LU&W_Rw{EMkK #](M$GnD߫+o@$\QF$Ft5a[fsT6أW6 h#&=n*V\sw@8Rb=*%5dI)p%0Gy6X|=K4J }䣏Ɔ#HQ ~+ 06>ܴ>SƵ NyɝХ֚}yXVxVYx.$\ ]Nδ+_2~,Ij1}&Td@95xZ}8/Y!qVSK{ŰeHV&eYa :Un[V]2st琡i\X >-x;C^Z+<naQ6hh+D̿2r0afcUFKSiCD yRJJِ]a|/C;-*Ǹ`I;B\ bl^lEYW,ZMzv++#_[֡IŸAFz9ӪjQF]OW/L`c R+YaxQɝ2sLI|l4}WNX؏5 #R}(tq{ecz3KӭCexXq"o.T.S>>@m{oz<>/Zi@2VAO?r ƆiM.-HCD[ĎPv)'(NUz㗱fK^b^~֠WwȖQݺR ti*r{3raO`' e6x 7g}^Ͳ8OPm@Z9U̲3&@@~|L`1#\MR^+ ď>%sݨwQb&*RSKr(%[qK,S *!(ޤSAp Ի%5ۅWy*٪K@|2`^/qiV 9|J}VB%։ gQ~wi{'6̽ IgOZZJaRo{¼5{X3f 71@YP줨pOD9W1ٺ\PFl :Z?Y+4ļzRݎ>/7lxOH 1jΉN6wgec8Yo}^G~m,8Fs&gHRy8=eK6uGD {^ruq qr1>HF fNl:Il4]ԥE;sgOpHЩ`i4Sx0v,qu (B) \#S9R=>d}?~Q$$*lRѕJ(KQL;O5@P[MsfXm1vGgЌV}A wܼӴ˫@tfY ,si%%Ң!>A„r.oCH?vSb^nSXk p} A mcVX8@3nQbxi|SA!ѽKJAT1e~c;=h8*8YEg';Dum#].,%K|PqP۸gt.BGȡ8* SCрqUE7D+_-'it#w*a$V*Lu H=c ?-X 8|?qϊednǹ&P^S Zw/.nd;˫>,gl7eXfWxwq0+k Yt}w-k^/fW >QΞkOvGȪ9$ q^SfH'%${t i>w8 N-K_m>tiunj_gwƱb)56|άc/ԃGS_\R aBPj{SWzn*mDco¼RT>ꩭ.Y/S|l<({0'AKDNȞס.ukUkC_z}-gUUmx!Q\ A/9IX2:vMlD|1b%b)w#F&ʪ6v/≳ehrWڶO l4;0(??PFqR^,(-_K x\ s঑9!@FW-SR*۵ٙKu`&"z,m<ݎe<^he{35rlx\&^9B1Obý]d.\=XePNզ(ذy?x!PbMё,V.ItT!.,/:hvw#4y]23Ҹ?ጏ&aL|aF)v&Q}^>fpr~: z( 3ۤlC2xwŃcj= 2J@d¶G~{ $PF#A ^*=_B (PjLrߴ d7>ͨh3%a({uX.3)Ŏz sd1 hOft@z{lA2$E5t=LDک45Dj(EOX#l9xG/a2 A `'Su4^)J q/KG]F4ocMGFtX_uePZ6%{m.&%1]X5|~dGBJO=X3]* KSxͳ[WGͬӡE\SY=_FdN28Ev]sWlY!#Gy_ԦGGQ~YS)S^avf%LCu^LՁѝJt?sW1 JUp[qu^J2pfؑ _YF@uuҜ]iRw ]xbZC> $^Q,t_nMG&nGg3P{4yUg3e*^j-7ڪIf q_V`!N`c'pGiy%*}0IiñOpk&.I)Xz V,RG&@Fco*7ۘeƇ_6A8 E24`k?v\xU 9?G՟S6Nݭ#˦"D[n}rT7F.mGN@ fIS35a"^n$^<+se -־UcoOc2`5G1@h\oЯIῌpF Bp5h9 e1ĉ+= /ӶL! \ʝ{~i|:ktӷMl7Ie}w7{ 6NĊ9'hS0g(oT}g=Vre~!ugTέT==|"ď"j<2$2ƥ++ ƥexČ+vB2v,ס`IZ0QV{P#쨇;/Bel3)@7+H @ouMo9-sDUϕ)RElm\J3܌aX f-6nAV.y{pP|HE cA&ghsz%%\7G>4zx#2,L ^3`M_/cb}; \jvc nX{n*U6}lEfQd`8̎.Gs!oy閅+wZp)勣"kU3F.|]o:Эn5eϠC$%Js4мA1G ?8زґdZN9+<#̒ o??*T.Bsnmn1e U,@ 4mfA PB`>:{=?NYlP R3StHf&wt6E4nzemtZ8vOhZ}z㧐Q]W{10С_:u0AсbU|̳&|-/|ڵ=ihHbjj#©S(GZ2Mr4Gk/l~ul7ƆzٍaߣEv"Mo$( pbϦ&\۴ԕ >۝gS!C(Jyl/ L VDW~j@J@kxР+I򻼬gP*\F$B|DYo N; {-z^)cBR :5gg^X+9z YXXtU:eA嫮 (hAD֘_ݿ#ժG&%f*`}1u8&cƢOOI}vpbFەrY =_;kv\{)>~Xnt=6\Q0-8k+B?Qگp-ʆw7ӆNNyQHY"^Ak*p6/}m$ѭ%^j S8l;-[tEu|C(ښA:X0eua+<^QѦ\pC93"G8ɕ8c3w]ju(/>=U-\gFL>^gSz/i|WґxP72P.&$[l_K_}ή՞OhJqUk}4%/~KZaCeLcgB ՚79_Dxv\(f*3prMb3o:b)sT+q Z-;u58U$)ẻH}>plx\yyn!n%Bk6_B\q9czjRirnGF)aJ8C\\H/o>"l,ƛ!%mWbah"9$!` 5ǧ ,uIzs94V]^ErU=+G5O=ӌij3LP(^aeE><9I*25s@QnK!׬uYcYCmpz5 ? 5>FM ),\IdٚݳElu|ٴOl}(v 3 2TP.[ u`Q0bc͞EElq҈Ul(s /:1 f0y\ zՠIbE_@B`dS=tk?)/D( ˃ZoF%?/3|n_ez=04pXSxy#HKlW $!Px;R&1Z~̡`q>m+[F!`&&o2>/e681d1uuNZl'!G\f#ATB@K)`»RK}Z}|uwGTO'Wݸ۝{A/YVZ8I'.a 1hEtH'ʗcuI4+Qx\='ȁr(aNgqqGc,<1IbC'-AqtvZZ Qe\u:H0jTU#t:/hrW @-C=QC@`6eۯ$Ɗ Дd>cN}}WX$,ݫvsO$j ĉ? f OeWk1ndR Qp"> fVOBL`y'U/=}k\ص[: #:- WD ^,F<^)e4AH;h(l6=6-Utp[> Yd쨥4q21979U\+ƼJt2`!Uem\TQT{t =QxJ̦ڕJ5@j(W!bqc 5:Fe\,O-_/[O%}FpT1 ]1]<nc,K W}a|o?8彻scr6q(iu2_?dT1tSS0%%w <>gicH1E̎u/>%H"Dyapda*VI8m5Mk3IR뻷b|inbQ WJ?cߠM X1 O=Ƶ.'O Fcl m6iRƯlNb{c4] uiLJ[R(Y6wy֙J1Q,R| >Ÿ~X輵SңFj"W;#`1Mx%?fZ`^!o$4>Z*:{=~Ij9ϻ|M^ۡT>CT~y f !ѲWWb"[~B"o*K#ʩs9!N? ^ih&txWT:3n<&J-|dZ^4t' gl& V}AImn[i֍7vDx B Ynz ćm?a}&J7= KL91:a4tdpCA`T ~!7 qcS|cpQ8Hds/FAJ8ф8y4M&`eSTSGh.6?ڈYG&gV=YH2]+ζF%/aM FǺ2^0zÜt@I"3y0]::`9uT)"{:kU_ Z抱y ]$kR^1R3,@ѡ# XRzpTdOLSJ非EuK_IH l(EQG$od>0`Ǿt!^4U4T80L+WfXuq`$]Jlj>Y~7Vqz8A ~R}|&P+Ƶn(_J>^+Q35:T(u8]mBsO#:iuIÑ@U2HX@C_b/Ɋ#'-c#.S3F00@ï >wDD͖61>/Y]PsٖmىUZ P 9ӳQ0͖# W=Ԧ?.J)ךq@W vl,?M>'<}}Q4;C<}V<}7A"Y