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  @ L|4 ]/ DiskPaxos:threads=4elapsed=22.941cpu=78.600gc=0.864factor=3.437zXZִF! e ]ŗXiɟH)0%o_$oU; Kzݓ>q%4u3rٖhg ًҏ;}9F9 h0`DXJKb^׿u2hG#Ȅ|NSQT5:C0z}N|t^d)]ӹ&ˈ79n N9I`@~<rQOScD* Tw;U C2훯SwSBf<sW?u/d2{H:3o$uY:+j S~, q,D%DoΤW Xz:zkFKLJC7Qr   DiskPaxos  H^+e*K|iK#@3V]J5Y2h:lvBLۈ-/KeB}"z(Ƙy`C@7JdԽW'R5R/|ITᕢtv3Tш͒&csőA#<_E('T+ޠ^<}a!T =.2F#9Z`9L^zl5v|MDgq7 |^$'>,ר jA%!TbnS$_,ٖ~hKL^kT )Y⸖xm-R06wg(l/ G6,@:u i c19ZKf>rgz}t [ fWTu6[.u!/!A}4-I,1$g1UrlWs#lct9Ѹ~9mµ{]N==ZP~${uk:GqƸ\~ <(z@ZBTd݁IW.KTb P엟]Eˌ@`oVQp_]bp ̌Ap吩@t)<[5Z/q9F L);M:(mQcJzy̩ވ.$";{7Ԣ+|\AL%\\B$[kO,>Tί`(v+!N fػ@ƿUc]xEV |g^m;6BUQ,;KR\ޝnMu[4 xׁXE,Amg$$KZx8#+ 3%{-B N|tʾop=~ǜ4wȡ&_j[YϽ(c\X3Qj <\#͒[0Cb}ދ$N"f~dJڙPJg/cZy'ݗApRG>Bqc!Ol5ݡh5MdVtP=h gJ32=O[N9A{]fd`7Sc#P`X~RdK6kQTc?jk]'u W[y$^R.}bN2ArAv-.wiՑ-"_m^נ 2q_?aE&C1,eݎHd(~HvDq)i1{;MT֓TeMr\R8[(LdeG+ 9(ۓ%dͰf׌q޳n+(& m/a,y^s4ZgݿA,!K kya ak'rM{ާ[L kQ(T[⸉`ǝ_צDQh%_4vاJ|Ӄa aJ<|\c7 C]\l*K9BaxmBc}a*Aw:BpBJt1.5// XՂWb=2(zoIQX_sA"׭y"na gW PeNLn"?\웪l bPT6\ ?i/"cf 5= XuC9; ']9roiXl<WxaA`z4&jIH$ОnڌO5Tܤv~k= ÏUE&w_Xg a<p!N':C5:S@H5.~RK^0GxwA\ `DxAO<߄zgH`u?aN 2M+ԓqWvXt>,{'$woU7%K͊ݫȤH.kB4.9ռ{ɼȧ$#KT(>YGqt %~ţL1_[35zxbgHsv/.6OS'HaZR_NZ>f4b^yҔADOҶ --hݯ(j#gRO:'ѐ?ϱrZ ߍ.8Ssy!*TVO'Fsgc?jB WEт5;:42U0Թ9hYCA7ks?u%'R2լ,2p;z'pk݌{C.F |5TvV]3y^ZX .X7!JoQ҅mHw0m@2`7^\%D㫢'%@MyW@?yK%;l%?Zƴ< {_Np}aEJf=yn,zlGDr񂌱u sdsRD e:-Z#'KvqyG49\ALdvX j* (\qGnUDiymɲ8 }UP3 oiW>E.%2^LL9ܛ4+e4[U/]K ?);WT )H-`uIKӺM^Rb;8!y9z:&\R_oxTƭtU6&B$gۍ<0Sdө dgL ځp:33=4G(  pMlO06*zTW@JvD0}dKv7,/s f+ zHzn3.20qe2Ly >E+nlrޛI33ܹ3AbCo=~'@6|,q 9跒os9fΨqb9I%3HnkˆUgJBݴK\+N-*K啈7ǭXVe @ 0lKkᡭ3 qoB6SوOg?BBV wiia gq2; Jdxo`+ݖ>qcn s 㡈܁#9A0K SD 9@:^G yl0%e eʳcBغ)wϻW1"itfLӼhncIz4%$TVV%Թ8>^B/N:ր,@/ydD=,s-@]9Tyb= +U4@a|ݢHGW&Nm?]2^6_lhʺ$[VJp۳dȒHe?YȄhPI K[\;V2ynәO %܋jlC4k+ wlTaׇtibo8h"MH ,l8ysbPC^5H+ -" ;١d/HY{J 倄VwvF JC;B퉣o}p=b"XqX^C! 㼡l*# n=F蕓;\T EwLHsZ`3w`\/9~[c'#T:PL'DyO'm_.HL}9̑L$]/Ypj /=iX&\j)FO}/!3qM(A1O\e&?qˇf_fpk6|0u' {txWۭ{ +*ZuUZ(&3;wcZY\η$S3B*e,e.H P! 3s qLYU-4$\،zSCSk҈`^5i(|@E. U`/~L>;\qOR&/h1WA~fB ʌ|8񉲀z򔴐@oQb.n S*:Hk__'*(I>p(?'<&䊿DpwR;45gcKx@`Ah5| :@ -S7|%{z}k|ǀ:4gmۆ- KErA~Ԑ}gYu/gCr&oVgZDM"F2^0 LI&Ў&3*i.["jK8h~BΩB%$ngZdlX* H"6!3O5x `Xjuu܊32Q(`?gձsIV6.=σ+|")X-UR ^5_T6] CGHucZ4M]4F cx~-9N{LvϽOq82J-iPMV#!> /nvcUڪ.X\eO `ڮUz>@|`\ 6@Ԛ)InY><vٮujF5AG"5okm nUԓΓmޱ(Stx̭ܹ4slmZ gID \=f_mE3/ ~Hv](G5s4{yaW{`_#'8S0v5@X"nfr7S/1Xxl.bzv''t8Za3Gv+o T <3RB3O\Psph3l;ԸG=U4HW99ceeQд;[2V2s;+Sʺ)@x: _lٟ.k2Zf"5]_@?LGA^dazsDP m)AQ-֏z63fgG[PZmEg3rm0:n5/"CA65`ʩ$4nXt,kyW -׈+G)*'*W1gw)C_f05̈)m/DVArfnn/V`ЧbN5Ov:,0˻gԁ0]//եsNQen2ir1W3vOGY9+GMgEt< 1*O 'Aֺ4{d|?F.L}|v ..(3G&An]F>`{þ$ ȺPX"s_.c1x,˪ʛG*S WoNfu-/JlR LI|{BLk/c(dd1֊c`^`m~F酪vt/E;\<C0I<9Դc.1iKfOG[g&1DBr K@F!jyj-)z2)VFTd4HXA!Wo(}*5[Cp39@\C~UR>="fِP0EǫhrzhxˆNc! z+6XM!TwO9xAz")Z/->2;z 2$`҆=X4沕HEӺX9𰈛𱇴2Ҙf%]iSz*w@eOu(VT5{m ŻA 7U> UR@W-:%Oʌ(n$[dmĪ c댣F/1ٜk) 萩׬e|y@=䌇1.z;ۤ)FpZ$ [S Y%̏I0?/D%;2vI-&[6FB%i(NAcKS0Y_nl`iYU\`ctݔ`tGfڗ\\Z [zw C#,` ?yL"WOnuG`d8ھѓwYTcu6`w ,oX&>zxqİ{40\,+re31_wI({ rc=2eE*y֤鼙#**j)J d)U?g]IE_s(Xj8W @J Opv+/YOabHs MJECqt 7j')M/ |-;d /[7!wPJ'6H*vNj 7|[TE#wfؘ9xX^F{EzN P.XҾV1z)Qwj ,9V"nّ!F7q|î|K0Ӻ]n#l[B4M(`7D-ߴ`0y1ϕR-U 3=哜Ak'꫓dʋ5ܕ9!ǚ5Qc6gL=ڼKe8*w J$fRX(*ω-k~^fTD^nQ-Y$*J%` 4 QlJژ!G9<+ 3{eA.ѝFɄ /!n$' j"ЛFpqcaO{STsjH6_jQ/a'7Y[CQ)ϯ`6-xv /Ȱ H8iQ5Ĭ5eg1ʦcYPBw1gL@ kkඊjeE3f)J]*@"u-#LqZf1S ]'P'Csi2SL<}z ]GJv.orBE=&خfQL5&z\&X"zYV͵ӍK⸢ǰ4v_H{]OУ!bv)F0+qssL;N~Qػ7fjILZo_#)[Q ?r$`OZ. +!a6zlN:aolVb,rkZ`.*p" AoJ%]σ#vL-}EK7*sc)+& 6"&FuWu9^8+:}+G1K .&T݀R`@bf}n+f@ ÝBkE2man\զGDI`61D &ehD'2ІG7)UΊ75=H{xQnlex5g^#1cKoTd ڋHKRV?)K+PQyMrpZVJN Bh)X4n5GxIv9BZW?pת@?tdGzÎ%I7u@>~SmSxTЅޗnZ8=VxMz6 ΕHβ&뙞)^UDEn~ {# f`:Jֵz6X:n~)Rq[2 r 4HikjDiVL4Ŏ7҅֘S?]׳L:uqHl"e ,ܽ0Rq,k´ؖIK/دGlqY$t2ԋBSSZ:_aY)*GWLztZ9k:zEe% v]U@͋PeiAgg<Ν3^|V:cA /j^ j4IZ@ ;Q(Q _jA~*Z0Nڥ k~N "c#PT*oj <^+ߠI2Vȶ#1ηowX8@N nA#Z5~E׍=(X\AZvsSo#2bo;OA]OhQNG@,1u}v{^G\L:1h]DEp;ʯJr,!DMvO#?LffxIbO:àl(Pь/ެ{7޴L$ث.yG9)8靖Q)",+cij[0IC&x!u;XKW#:  ŽեcagT -%xԮM3f Hky9I_v(:*b)}em}%w`) D9+aiĤe>n1j(y9QNT݃'FΩһɑXG jcʵ }u*  uM."W,~ߗb=[w8W!SJ8)-(b;}yC\OH4 X[I-v%H#ackEZ oyΑi4{fB* QM5 @"Qv:aQ^&1ą'lϐ bCv1uLIJJ*+^=-MK=ϣQj1V뿯}ہ!x4hj4o/9%Jǟ2NI=7XdekIyib ` jlO' fۮDWpIP_V3?xܺ&CXW㝞 !{A[P~Aas\i&ش .a"0&4sK45K#hqqVeY`ڣ{槽4IYpa`L+o~z?U z|f]u8^ۯn 4oKƕj?4@kd؁)!OoWS܉4 }~*i_Al笒<1F+1Т ZrFEUݘ%;>־l?z"#1۟88Q̈LTZYLn43Њ1Fү'H_dnjo1)o_ ڰbD&߁gebbp y훰gTDڢjQKM~g'Clw[li>oKBޤNF4IZ0P:hЗUb}AMyogď@oZ+^O{9Jg|hVvEi165l%B5f{$z1ZwMO\mJxg7=Dd+a SAD4 ' -Xs?DHFzdLʜH+xuU֡n$ WÆ@[G?6Ҭk*A::h8 >y`5%ӏ ?J|yi sr/`ۏ0$GU`M}_VV=l[ZJpD&MRmuM2Q.5K2ݙ#8s&0ݎT΃иS|Njfьj2Ws_a%R?GI% ~&HXM4 qNtAV}[ܡg5XZ,?G6;+<. h-Om6P|*RD΋FV7JE~4\ew21Ln-ՙ:vubIxICa (\ё8NlEy"5M+rTPLA7µX 3q! 2#_ړSC )B$2$Z]CF]JD|="1ggץ@"93`lq@ea h0q7 1l无/ٷW3_iD/pVLv~"עT~}[>©>e_},bC#Z(CUx&eJp ǹˁJ?Lk,rE}7b߆cXn/⎗~Ʃ_a6#G#٢OTanMZG`P:yևc8x>U*RS&n(ڵeiI9Gpu|9m 񩱚Z k ɰUu,Lŧ}'VwCaV4FKzke.j7W kZ =Ab{sNc -ru5cE>CvKEESjV ѵ=`8˹hc(U̪nyc5^ֈTeU/ybƂR*q.v2ܪT [ ,S3ĆQi z,=gő,@&@JI'6%ZI!s&Lޔ.(r#81N3ZgxG.'NС0kl\ᚏBw, (019gh^BF_a3FiTo%}0>$)·mL sx!Kf]!M s'_t3N%4g?f(tQo;2 ~]U(.?l_ -Z\>Dp2uCc=¸3泑.#*(qKMM\TPs &k̓DC0i{ZKJy=m0Ԍm1 ~{55bUf5X *aūeY 'ߘVB7 (*[͞8 ,|n#AGgFOz嗂0 Ӥ:JFc\V֢[&)#MzvblB4оxl ^:|wF$I0jS _shjϩ<-˪R`?SnIJ4[o 3 &˯Oi%]K!ܛCe(/Qy4yw6$7T7|T< J$<+5$}Q#}J` ')+7t=%[\?1I]n6>c0w]8cc";0FAҏ:QSgQEen<+&fZPH4 ejW$sv'< пGx29-К,--};iRdpzc6 WƊmF=EXcx5)I_NHnBZZlI*3J9h=z۽!mA J}=cuY;P W61Cwu?O5^`rG5^>BBMb* #'ViϘƾ_LTuѳS=]l4 Q |j5 9}ޤ \a IڑEzg1CIG;y5!_LEmr$MJ5C[hN R)՜0*a(k%i;2}d1qJ\?VK\ ;֑ZթY 묌J~~ P=B$yqB*ΰ.c 4(AF3 Vyv=䥭:@鼯 ]ȪTg.<D쌗S\f`עY7u)-Q9rJ:"j(}H`Dmlyj!yy$)d۱N=$cJ ecofmO[dX=+{"SxTeTb-ZYa.O(w߁tגDPż{Rbxi1L](\p7v;a)A:J$#Z;pA2 BeP^㪻J~_ KKjBf|XKVl`DV3X7B@9q`ɶUJ^BUANb:V~(%5@F9.*KW,u 5-mfmέ.$K'bE Sve;%A"⫮?3Sx7(L֏9f>[/ZuH󠆜4ܵ|G 7 m˭=G%:zC(M'U4Bl<^=p:u5Qp4|+>^$l\=qCLVnfa!!vq")v[ry2+ V2Mn!ъʿhYL9϶':XF@; 0"nrطՇf4H O݋.WHbڑH @uB.ؗƐq^Jϖ3c?xea#?b&m|3 !oxq_ÏbdL@&֟ s]6,?|0:aH(8laXҎڻnR.z +]M;ϼ_Ɩ.F='슒x8_2e3f |z"lk/ʤg\LY ˡ,"A)"+0Ng&|C+@s s(E r+߸ <,P$x.ߌ#YŹ@`9'fspRoT!ۊl7 :%q{!r/ Z6'd3ɈӞ*3@/t1TQVB0F[}w f蜕19dJ]d!x69?g_XEp{෫hxz2#Lu9Gpjg<~yWrgUmQ:¸O`k6uSB×B6 v(e~2d*\v,Jd,9c,pˋ0 :zot@ b\%hI*/}!Q21CHgޫ##NPY̑3QH#*#ya+FcZ₸ϡu5^8"d!w>OkO%W- DQ\ )TG=|lKs|*I|h3kVƺz;pA-cfM}{*.cTD!pJj@s)yO~UZ⓼  i0 WpGeOٚ9.`AXQQ2c7!7$d }X)SG,uvt伙\N, ӧ4'["Ё,,XS PXԔxeGg=;K^n[P:̟$V?+"#Q`FV6- izwrdh>nelBt+%x8OO+Iِ?rn :aRHxףva+$ pG0،/OM1_-1o'Mlr4R: $ =) 8mM`yOf[w1H>ʝf$Q׎gJq)S;&YOV} !+"onP[xN8O!P*GGZFP ?dTL/ݤlqQVg8;%e:&/m6Z;66z/ZV\2|D+(_89234 %>"5ipp0MbQy2ŨԟZ pC4bb0 Vf$SGrpGSIU3aq[0NKd3z9pА]Hf/[d %YvZcC㼔f}cza.D黙-Z[X>>A"ё\{\qb-ҶF;cCkU;\4:l58B9u`2ֆR:ܼ̓?(ݳLMpf̩%=Z=}dFھeĕȶ>3_@S?ėîψMEѶ%a|*8=TO6ֵݣ.PV!\?D{/Ļt"%@(wXa%Y Ryg0K ͓A:B&Lu7ypW\܀E)8mD!YTaow2ғpmZЧUF6fTfHXS7[ :=œUa lZO٭ss#&uZ}zsIêݚYq$kA: `=9TT*27+LnEJX4rᆲDNN֓8V|U5D;+2?lxL)c ӫTEZVKr4gmߠ4que8FR]VfN\-n w-EA -짡18ұ(]o)сVPK%:qйhL}Y *\Ő酅ADGjvVl[2S0L Wi<~.M}s}8t|qiÜ;cR<#O1fYd3ap]yQ 9 &FI H)In?pU Lz5RjL6oΣխ"ECv F=Jq= 6v90_ P{cz/l`GWYkS3ѥE(|oA[!ϊV: /ziwF7OFbET|z$FM5:eHOB4I43كѪKU\(J&U_- !@W`K 6́f J)!m]~S2m8N_#Сkǜ[{]* =bȑJE{abH6wC53 I~_I7Vқ]MkR ahQc>_:E Nulj.-:Grmk)>XfWICqqe9Cuw2WBd3L|伀`74&,K3ڣ:M:w^74?K%:FCXu>5E.̅"TG^ )9*v`*-$#z9朒tJ0jҽ2݉~镛L6v"VZ($C(tȧIxRv$/E>$Ur5^\t|eyݻKK).t%$ңZI %(&9T`kPd`z,GS ˓dSQ M֔7=i۞ąB~:gN|eʛKhȰ+vbH(رFcV<34,5K~iqTW,so!'|%|;hHmUcA‘!epW}iuA NWhdK]RCK;`vӁ׳i2TǹҩcfuSK iP %?+:n`T<?QU66, -G sU[NBE=軩n_W=žA kolׂلu @ cP* UԛI0DL-`oˋ''+vIGk~}'0'߷/u?35GrsjNoҺT>("t/nlMA@ h76y+sm}XM\T,x ӶEa )Cxs9?]ȓ e?:;h+q%qEюKQ/Giꆭqt"@-!UZ`5pLc.: jd̾gjSDavŨKaXFJ9挀(1# t(*O:ò<;e~`-)2ѡhCѐ' q.{mT:/s+_[&xOr}kBHSO9sB2>'Œ!K'c0nqڊd[V:Xyl%zp#`NHqĸf,Vyr{iX&8 1o@eAER6YC1dftZR@6@1dž}p;~jTܛ {9);nN2 ZLx ƀc:Q-e,#Eʋǂ4n DĺX)tan :![g#9aПb3%0tcж*!T(㈊8~Jn9p-VY XujΜ[,%7+FOHћlp ~{71mC#n O2*,vc.' k/F$޷Z7Ƿ L _v4\9uᾟD7PE!Ť6MnnsV';6]Q6*%Q,h״dH='~ W_1~1;cQ ̋2?Hfi‚! 8,H ߊlsl=r0\_U4G@&ά䑧W:4ľb;2E+:oSK(fIҕZcLQ7 nɓ! |Bٶ1\)v;itbםTdi~$>`)i@E҉(<YTNBBl"b3őD(߁Fr!#.mUڿ7+/!sL"LDGxIW=t-cVTg#^2RF73/2>q&ïz[9!Rm;{ _qOgeəkY@TMBdJz ٞN -[KsNhyȜ"pod`˅O$BSQBV$d;Ydۋ EG:wd\ռYAQ9jѥŀdMuf !<@PEuRl'nFm͏F{qk^[ĺ:D؏Yn=)s<&gby KhIu}&Mi 1Sz:01F^u:W_>Un% Eb1>~B3 Aca):;EbyƊ`0x~[]TnAoH4Z[GH cLC0 Q5éC)@l` )g2=C]P$K0.]' [N[' E|0<3^X@}g~BXP!4(#>6N IoJUw]"u[s5qQ(Zmuur@8ؓNx(1ɆΩpr`gw c0[3}gM80KyI݁*uYط 7j(jenvƤ6KcG=>?a8QL^;59u=,^Q΋AʹM@C?хZ1J0F琜YuŅ%CɪZ*#z$N.BK͛<_1ۈ+dQov:]S9Gsnld[~S =/Ц15U?]YK̝#JE!x}܊,'^s;Sb"yx&!hGQDhmT0UI0zߧ}, A6ko$F]ZމQ!$伏(m_u-xٹ`4B߃Npm.wT)_zKnԸvqFu ]BT6Raw%uF~L7Dc8Rh.x8W냥 H/t'LX+ƣd^+zqNG,nt*]x; VG'HZԱ*OWdЕ'(6oDZEpog~70Ki,MXrN9Ȝu x/I+BJa.h1|]-mݩLZM-'qb*BT%vӼ2@oL[HvPF d(pI|}ae [X޼Av1YG3Km A̫'xч'. ;[o _{hd%r@ i;F&/kfv%&şlo)w,nH@?E&&\j{Q ؝ŝqfwi|{Vr" bgʣK*I;hۂ49eiWdC^t2ʇ 2Gn-qSHzҀ4(GuLV-XᕜQDe~.:\%9ۈ{NUhX3Bu{u%sCpz&<(Q -ǰEv*'ZJsκǡZ 2__T a\  FADO1%q#9֮¿y(ǂB/j:QrNC[#Гt ^u DڋFlF&%!-X|zQňylfH6._x 0ն1`K*ff݉1JwKXku0w`[J5Cci&u2{[(~!o4pB<(s$$Od.cb)32E՗[x4 #1gJT IӍKviQG(@q&@7L eI3 _04a -/")PVl1 s_2E}`F+R[1[ m l 2"gs{-ZDb]G84l:vb5x}ߐWuVÈ=уCaQEt/ukږU\ գGU>m\pm@CM'̐[uuBF6}evXJ憾+HClkɏ s-TʤcnޑcaR X/{|da5$Or&m5~ȃJjIa0%FkAtwyeai2q=2ۊo\H~NGM[(#uOx6? Ԏ$,j|+~GH8[#l/lxQV2z77p28]5 Nmx^,q 0 vv3#&+|^Oh-E$T&s@CNDXM} u>Oԛ K٠Epz(%R4 q7S+W?N's:csWoM,gza-+;@dbp j*-=SZߥ"'&6s݀ˀt} zf,5d̥@-w6 U_r sYJ S4Oejդ85^S^bV05>l9oݢCO@xr㶁i 姘a Cv.:?Hʌ`au}[Ř}:C (ea3Уa.B;pJ'\;*SkAV:i*c{5D(̈́(\fQw8Izn:P4G.jTہlcI{a -naA&D xxsm/03z읪qLga Iq NM?2ϏY]ch)OhLEBS@xXY,z1IxBpUQYM*.O`)!=eӜz=VYSP_tinO6?6VaR,"ԎuW8*8*Ɩ[@:D0!y'ƥ|^d0ڄnoaPجlOwiy7zӽݓuܦ6,~\}S e6az.pU8bߟ,ИH*J=4%s_@0hv#6*. g]"X&SE ϷM-޳!lܻ "m f~Ág)am){Fᵥ~׭Taq-Fq*נI28;P'WwQjPQUau/+|[̬+!9 kT 9j&4}'f٬߻H{'e8%zơC̤oF+ z o#^!%~rj{7.h-WSу"۩:^?w-1_:!-Ly\ҽtFM2ʄ~72A9 ÒSY2hu햖5og߈=1}mw+x V'_J9H?0uہl}lT aQ!F:Z2_rdm[sT,S"+tKt FШxiqYp,58[mYT 7+kz@J4`ٌѕjtcSҵ&O8HrQ`xԛP>KIypViUّeֵ: #ʋ˞ !sF#n .%gP24@s߽RX071潑%d]m98~ϫOHKjmxrL E$xRʨܽU!ᲤiD\! I؎K6`5a,]{qRCŹ8-l@{Q-> g&jqzj˒3Z*CE `jzB).ΨF\/P߆a/:Gn懽;iecK?=޲ i^z<*!_m ՍKT#4Oyn=F@C*chKPizk!"wzԁu\q՗'q!*0+v*5Ue2e7kh` X?Xgڵ#+ xԽ}rR|(1q<I-e@5tr Nes:Y)UN3:>oHdrdJIz?gh6+4{%)ǰ 5sL#nLy.aA3E!9I*R{@ :$cC6| fGCrQcƁPӨ]ZjkaUmtU_\p9e¼HYWLyT]G=6< &sQ*L93oT)=bb6xhY|o}2M^tɴUn WXD1 z׷\5=*ջTRGDvk cI&pNU5̌:!D2kX:r $TdCD5/U_.cﱪ:YqAgp8; ӌSVFri"XN|iyӕ0W` sE<=|89C.$|Fv8q_*)$!GL I\ fOkX`^ej-78 #TǠ/=7P nțkӞ*b ](Dq9iOz.dI0ir/trVr[3=l -+4yK`|Qܳv !PԀL%Ԝ0i> {.0ũ_98X.یId,ԇMgF<, xD-w)+. uME& ЅSٓg$wz_VvHm+}Ll{ߞqG'1c%Ia}'F}T>>Ո$S,;"B팇ݰ7:wC2w6W@}ܧiUv]r]R%PVot]T_jȬ\Ƈa\F$ra萿GğA-xrc"Z ݴ.`&Xߘ^ߺ*[_^E'jqS $r5"v"Uhgjp*DŖ|F0m^꼖,NsDA<4A%YDd к qswpIG=p6`C^@Y g^?EYl{7<%XSdj| qx]6%U!¨(LF:\hCH! S4T_DBG8~g?1g 22Jw[qTzu)yVg1 HP:  Wv%XjN}l`"@\œ#;rTZIgDcS2ߣ|/_+튉;BjĤ[k+vbT):SJ9D5,{Yh3^ڨRC2WK-@9iPkN>&x,~oO(p"i/۪d`B4ܪ)ˡyhS gbwWY8P7'A* Ԏ| WPoucn#:P:s1c 3uvIp,ivsxʹAZdGS3jEy!WrBn3JqmnBMM'Rhů+)<;B2r0Y&'93Nޣii>R4eWA?jQVk8޷d+C!GZ^Q+/9J5%/i{ܒV? $,TRm-aFd!sECs=2emDF`5K1/eRхB͕mI_'5iP.dC#L B>FGMLlC=iWɍC(L'˲'M:Ømʼj_k\rZ+<2D?~|*>v t0t.T:t%l/GU셛v%kMK'n|q 67 u07^B[3#`4)_ZwY [Q4p(ITdNZuv_ s;^d+]AS6dn*~:,w5`hu5>M=`1tmtf(`9x19RߝM9$TB,# PUM:Upeg i"|cn؅-"v +˺<$pL(u9K0 QC$:\޳8}<߳ILe_\=4y\*m&*"6~ű`K0I#.WrJ뽂j=yqh[{3YUQxDbj^I{7VMVGxo4i"2~ G4/'ﻨ4ej4ٝ@sJ 51)pp!r Uc/x~zH3{H0@؇( %Sݲ*N5g趮%h@aսc6 f`i\ObAOx7DLC*Hxނ] 8#^ 6BӺsst})GJKN_C̎PáM-r.?8b\Rݨ/G|0'oCeH -V' edR%J崟Ω<|v()tp9,3=t[\Βx 'chM(1"Yc~,JfQ 7ǭ6EfHFV)My?U][e{n}8Y09(A[tAWLؿ(($ԻC3%d+s/@7Ɂ kxT(0mY?;FڎjxRך8~3h@ EÅ,@ě6Ob3nd(+!f /~ZI3A/EB-D(jxIe^mh?d6ph3C]5D-Dۄ_m+FR4 :EK/~l ʭ-P`틈s-W"Fi?r~ǺM0C Ar5^ǚΔ kD`pނa>}_*9{D` N oLCee=v"Z6_R0(Xu{}`S9]] ̨x g]zD䯽xª\ztJrӐl[%|`&$s\ea<1ʈ_R#Ybi^2^GOR^2站44Ѳ7";L,^*[S!搪ZHSnAtޘr3Ȳ(܌8GEc[6 pWIm=.5(fhru_GMڀL=ULQ#x~+%{ys[~]U b!ɭIAteʏ' (C COLĄ@1 V!C|q뽎~w SNh漴E_iOuYK_'Y]JBJ1O\1+cBl {K<)|KZhB>ZWm>J>:,[Rxɇv&t(! oy|)>Tym\f)+9uwR U 1{C)kVLW=(tPE}< y-Fd.b/8 6ٳ7Eg_lP((/B],|)gC@S8ۤOoƔm`-~uծz:q0x0mL0RI8/cKJ\h *9ȨHhBQqɒ!vjFsȬ#;ɔ+?ztp׬hnʿR Z9 ]F(GSDN ߘ!;Qt =7%RBxeƚb3pVGTQ`aJZjޛ"0]WVbKo˓0"T-4øQ¤kb9\Fև fSg"+W٩l*f ^M*芹=9riVSЌ BJ&_R5Ė`0n ;1 rH:4zR#6{5+RN+g?3#H0#s=nC oo "ٻ8*]lu~jx-h3;}RڌcC^ǼO8tiLj ߗ<HgăӏZզ!8 >N2^{掗aU9G HB/lsX%`.){=h~Vr~PDE "F.h3d {@9;e| X"~6]!Sj!fVΚ!qau agx>8UcQ-6oA* V']^*'s"/j=N#7T2*>_Qt葒4 +BPAk#>Ë t;<Ԧ be3n~cvgYZ7zXZִF! ]ŗXiɟֺ@OAPηRY͝k{P}Szݽda`v4+u]XjB$3s2ہJj; |ʒ(Y=5Lg!K]^FVoC'MbF#͸o*[] kP{ȉ4o66Y5@d1nH ߳=V2>ṕeh&c¾K)\?N0^xX uXOp!06?]7+P~k0`'4o " ɸ̲-?WB{4 ^țFjދX.i'/>05DŽ#> λgZ9)=|dPsqJaqDG^UiT{ۨ^2ާP(Q|>e~<KO VOVYWA/rϓ_n#j\l~$kBJIo1YLڥIܩU[H|cILF8^ Q\34MDdMl!q)Yz{ 4Lh Q$# ݧ3z (?)!nnbNpo&V׽4U\6rpz=71Dr$q~O++9'0X{@B̶HW'E.0аԱ;dcna7H\C Rqn ED4 Љw_)vǴp=fM#u V$ R{3 ;@Mçl1{0D/bW,"\綸8fE{^-b8UxmgRYyWŋ &JaDEqBܴdF#Ev=;֗[yGRuUS"tL HއH2&1֪8b v6C28o٫=C\`08/y=0QV< m'z> eԕWN"A0qiGc~3ְgxk-pItz)~?L} B4Zkyf,@DnAd׀y{e=/' H~tSOSmYhOF1H[XGC|3MV5Eؐ^۞Q[@e0v=B,ZN ;=MPW1as l~+1Ws`\_vf9Oj wǕbs!. 㣄y`E"ŽsؙEмPz