SQLite format 3@ . BBh77otableisabelle_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 )1dL ]% HOL-Decision_Procs:threads=2elapsed=734.013cpu=1305.524gc=150.300factor=1.787zXZִF! -l]ŗXf1-q恈ŕ׬[p){tE7SS]%Ŝu+G˿fZfm 9D똓:#jH=^r4gŽ@-]:{oلin k]tՃ:=k KA|CIIzNӛieI9:RuʣF?Cb| ,*a -PӘ'j`"G!ZGoD}vt mH˩`zB 5> т Y ) it IiYn Lr{&94r@ОD]1=DSYςR[ڗ_!.a\"AliRȲ$8SN7z T.֝3ytc3>5_ _2u!{m[ i> l:p⼏ťau Ҫ FZ{B~֤5.:U =H+-c _2b2& n-$[а‡)xFYl'i+A ٴ"c5eL[rbOP& #@Qz^ IWaUAn/'g֤~z`(zNY&s|UmjA&]S*jߕYu PO4Rюžg'@){m@a{&| k);WCgGk1ծ2NqBथMY,5Օa7#;NG3l. yꖈv/o@ƖŒ>nelE(M1)SoFAOoeEH։> >‑0߸%ii'N'O C =(֊ hFw5Ш92~>yԣhiȋe@߶M "9Jv&IeZI=yH.s ss C?*=R=a-;BvdZtU ec8|{wŮTH1n&ެfT #[33^kWn,8l$aHDO7A;? qng|Sof޷EP;m$`N a"3,P@%eapFOap!^is¾&nWj'H5 "PP;' )w{VĆQ<f&U,]tuv)Lyu!:Œ&f܆[9Jc<<7sY Mf/ ʯ,937: XiDZK_ ~ ỢE#CַPtc=5ӠpZf?NžݔS;P)n;=բsKNCو{e~9&b drIkeazIrB$Uz ;2݆yQ7T ` w H[6[ݧYd$8SuTU zԦsU+/' YM_ ! d#F_dDVx`k ?c6rTk %M촧_ #/nXxi9IapP:A߄F?`|, fIS:/;b԰GN﷒g!)JSA0-%e̲6 *ə7}x1y1{$Fg/|p av!|x48pIvS gE~~Vh,R|!g54Y B X~Z}GV ޡD\#2=/#p IwpSIzU~6APwiD `l3reP/`s_+H LH%cd7q ?BᩬVr{Kp37J1zû̅]UЉj$uex{kU#bְXSEL A1ȂnDKĵU]KԐbIVqֵ2 z~ٽ5n5`,㤣uzܣ>obEyn.h6$+AP+ UΠx$S_*ѹ)&O ?=^ iU%i< Ol7+O,XYvOqIAνsr Bن!Bw|b[F,\[1qz?{#j)l *gB6+f!R-LoJI1_FJ%d,%*i g I h7͉F4wT eơI*yVtic{3PTәV4vEi+Hb7M%[iq ÓSY!x2>e ?zPJTIaZ~\8 JBRY ALJw p O4U?Vvy, __ /u+(~A6xK%Ɩ0.ğ$]fNqg}Q^ٴ" IQ7O _G|ZZ#ml6]q\òtv+%zвM%􈋽G%d=jH;rhڷ. $G 1 HOL-Decision_Procs*Pd K fDHN*8G"7!zrtշunT(,Y'jk(͕JLw.'_0&'R5^!լ>G1O , =7 /rmM%S *3JhassϾ i?4?Isl>X5DAw9% W,y. EۥEeb Y~5KV]hL8b&L"|fz`jkm"If6^MD=q 96lJ,k.\t0Ÿ߹e'$ aYa޾>+v5a8)bq^Q2e@Ѿb/%>RAl,+iH1KU0X5TºFXJ H3,k|8k;=ᗘ?ynwvZgE53R=aScG<}!׻#1d~o@>;Bqg0S&m6ε&]zX)n4sfg!TDbQrr{wӽkQ77F .vr؟'lY*pi#- z{'!I>Akd:jb; d1l ӕ8,.рwaJ`uyqJƝWQ'qRB 4R]BGGm߽J;Ì"m_ t' ylyQT%]c'J柴PCZ{3Cme5+1 n¸v4D" QթEAh#X݋9M5֚.-t5'0%ƀH~Jit-ۉ.n!giֱb\7KX. xꁹmmHphDDղ%ܜ,hB<ϱRi̽p w}Yy sƳ&zWx%`$#"޽p+g]tk#Pq3Denh`JfR|G n~h85$tTDž%ęöXD]iyż<{e낁 &*$:{5T|zN /ElwO=c^C& ټ;ἐ)'tW 3T.[]eL/@3-Kk]:Nv#q4Ϟ]>'!3~?B$<6?yh:$To`VOFfٺden$&y2~gR>Y.-3K%,4vB" ?P")74T\}GG$菉 b:Dx}HglVGrlx$fL05!z=\5r,{Ѯo(# >pĢ0&"=E'6ESbhpֶtO^$RetE*L]bȾ݇I:{أϵPCz$ϵLk%} [qJi/1 QU\q?ױNq%cG8$͔D=R!y,QAYAsLYEDSct"غ<" RcuWMo>TyXx+2-ѾA=Z hMD Imx4F:6B n"**eP165ߊxBz B= T5K 349 gYZ7zXZִF! jf}]ŗXi%9*Wβȿ`mKɅ#f~` I~ .(k^™yԈmuḒU3v1:c"K7 $u88C|^(2͕^4^ߏA1,(BfD!:wutY S%-adh숮#CGTꓞV ,B hek"$.b i^/tAqXP F!sR3 _KԯT[z B#tGYO(/I|q|lY4.q`Q}{ꅌ9l4*Ψ|+ NDħ2hx@.Xi">bMTO(^=N.ա Yqp@tspAyaŚPuztk2E,Gԭf);$x_:DTΧT:6LO@z] Kg[R(ߕzcSQkE_poog"ˈ-o@êjR1%嵻Jej%=TC'rA |cfLmʳVIUW~0~f-'BrF IآHx*B8bg 1vEjbkLLKV[J<6ݒ f=c̱ VO@C S/nR Ar4ږK -kP8@1Ag]gCZV#_bc' \ nU" oRJc ${S%k<%e&/eT#qN4Hm7`]NYp-<˄?" ~xDv·ViP+6*ھ%2=lМKg*ͣlp<)bp䶔bTLp)ȅG*e&׽\%,^GZ-# M.rd2ŝ/qp^ŗI6,rNH;\%(_'*hj《Si5M¯3Bc?oD/`m.'a1k~۞ӥWW;b4y^IeEP&G2Cb%ڠd/6+=^~: VwsR<, t R10[C|!WwMh%Ww3viu"[%EqƱH^zW]PbNRz MVvxO=ۇa5}z;GU}J Zs7_fȦۺO72@{e"V'!S'&*VYQxj,յplx7 ;RmͶ޾u]Z7;k\:'3ûΈ@*nV j.{&o3$l$JIJ)m::LKj?kLŐ_%g#Ix:8%00kS=~L \)0\Tě+ 'siBHDnF5 )y۟Y+֣0tPvX-4rW[zbl B)ݼEX} nVW+iJ#JvQ|pAއZ)y4_V4*CfWg=ulNz}ƺg?|G^Lp[:>ypE%@JeL͵(10im%KR&h pPDZc r\ & >xrEw~7iR*e#:[X7lXIQSpIDu"3nXI_D Zv^u|/7sD1s$ʕ9i+VuMff_&̲$Ri֏xP1 ſ萙OehkcY?KH4J`xq VGbbZ /3!K u{- )_O)bކ ^?^J }4x+Z]YCbW4N ,7ɵ5ef9Մ DL! 0k b$LwU<FZ#w8^n9YT˽yM×C-Qקf "dYvmC:˜_傎P۩Ё_J9g.\فUfmFNeOTF\CfRz|*ZC?ZDŽ hA^]* u7^ݫw2 h†L.IoM0;51b\~tl \Man|GIkk EsXo*#]U Z j`beOYX+C;g rDM(SuX]6p'>R_/@JPf CF2)(ܯu%b&dZufsȥ"$m "uIXGWZ<j}P9VmP‰e l_ q?Ro uU՞p(N!z" .fgZU78FBL--]/&!{g#]\2"KlzRD&̣PDOYWT8ԇ,!jG^^D-W塟&%@Ϯl4/n|_(V 6oP!f1TkW|Z _}+E^f4c3pŶLKׯHv-c۲ a'8׉5,HTXc܊mk\AYe>3t9;7;\PawDQ V- x4YwLܭT^}'!x?ٰlkrt r3ȎV}P&P>h-WЈ<=ys bw7Y"稥P9۽WNΤgJ&qϫd?Fui`XMDF\c=]ϕgB "ZOߥ섚CI%tiq~WG?Un혂=^}.}to.O:/D!_G]cy5`ƴ5W$T\vD%]Q5pߙۭlI#~{N&k1 mdⲊEE=ZKHEy7= -ZqO=nSe›~؜x?ꙨmK%ppx:fo jEH{tP`yݠ*۲4#zė0"*ZyJ\?< j*:w=8D侶ۦ5&A5}W {[6.:()Z~qZ,+҈&1 +STM̛<:EM`:}ZnTA2̩&WFr Y=H0L&6J"!\nЉ|#êD 7V(|1#} tBGWJBGm$^;U@nh!mv GWAd$q 0n%܇Rz;$!}"≭(&Ywq Q@a EwPGoYCxU m`NB=<hM>: HBHyGiJRF[s~)c;7^: rAֿsZsj=ʠY^8܊%J p[#kkHm6<2UHԦg̥wݳ`-mB%Zk 5`;hK+F0L]axž<{0x dBBjd9dsuv]}>ukD)O'V.% N2e1v> bE#I_[߭G}ʡ_?^y-x>yo8xABQ}sPJSizF5^])/=b7M T&ڃ$V".Cb*rWz8Q[XOߐ0 uD;LBbbOJ;\F?'st%hMHy̳nitr?"? cBj`1? @Z Ms%ѡN˩ Pۍ1tQ, ;X_ˎPhE1=D_ܞcX=ƓNB썅u{o)-"3bI--=ݮ ;Jx!lJT?1D׆z[Q!TV Hmf _ .$bxqtƢ3Mb-JB &t-DY6}hYB#4f421 K>0uQ Wكk%&(ng_5s+Hf4BoC+#bmxnئXהyxxauCvyڧ9)* lFWj \z>HZ{*z<{58@|}wQ~mznѠ\;+E{8 JۏGk/5sP~ )@k+3ql_II{9:~JF|(@.5pϷe"hޤFa]R;,Rܖ Lm9MSofM06:֭$Ynz#pyWk,GM:4{Af֤`r1sDmfx5~֐7D)y 5;PO;h1Z(k 7#/\j)'ؐt,hx8CZ*n0)3T.PO|g !FC` ~͵dgNW/_{JY#Z0<UOużBYL{m ȏwk|W#Q݂Z`_>SV}rmrf5o:pUdiBR 54w:M` P.+(TN"o 7i4n<RU|}31"o[ ๵kS9<< x&V7~1ڧv f#[`%ʘzFRB 쮰 hԅ촗%y8-um,(eoXTt9b^7v& *mZWn ݗ ^<G]to'jbV I'/mG<Õ5=oՌ3a]qlw ~V>#bZ?NJ'5iGg+KXtE N vB~uod ^ cYhF #%dӡrV7Nr"nG!3 %-t㍝^nA j=*Z1L# =?Y!wq%>uqS};pTmB) &O;kg俒:c #eƮ΁B/ J]dҼu$;!a6f E+̴*"$4S7`AE_BG#,eaXv/+ٚO4Cħ5Q-B5ߗ4х?K#)* ZMs{BeuΡSV 2ߥfisdy5x!IZVLcMZ]K1tg6M,Z k]H =(X  ,ԷfԐY* ։/T4))OY};?(`VHY .%DzbT#bYF ;0; 5W.ay|C{&%Q6l56\ !E!7+0H/O1!@guVbr++oYPs<8Eql"K|e߱.Niqeعq#{.OYvk }ϊ@x{Mz{ntpm̟&νlϮOgH&:&uoA.){dH01̏kD{3 H:,'uMI ʻ5iI%JqHlFKL 2Q1mM}/CgD1-m4k⍋ ׄlhZPrW?jZ(-[o&-A҉e,[?13>Az9%|:v(oC6 A_"bTk)M*rڌ 49kM6 CVU?.ixg1yVpң^f}j69Rg\sk -͂0 d=͝El&4d]ց_%YVB2ڣK+_3}%d#z\Bl@1wyR7dj2A0M]nυA* :jɳSAVy2%,Y?|uP$vbuicӁ!|ZY9SNj-bwށdw 3i'4qp- DW n~Y("'08-;Peo>%2WWyBP_V)VC]y@/a^X\5:фnUlL`#NllLN~WAL&r򇤷Ϛj -ktXꂦi:F/: {dޥͿYDMe boȍzX2,+au#05^h' Lx~u~tUI܂kb!,Bkz6Pa22xamT=Deg瀥"_ڑ0Hp ̭~V*<%Ś:f뀔\H߭Ҡ"134݆qF@֑DA5 )sE| vG]8ҏo۔4QZA`߈w[wgPcoNB<02hI[wfs;SlԜ`9&/X(hG6Nd\)Z`+` aDs(R4Y|$yIEA&cd413LJB:5qD`/! ^߷ Ļ&q^T4'/#g^Y?Z>Ib{3rLEg.`~V$`[QA 6!3UPe5:0M$2 fۈyo2=Ne!5CAΏגRZ ;[^XC$o~X^rpr:~J1g\jmAƕdVZ5T_qySvCA)Y@\x=V]ˁN祯Ov[|Y' Tn'e}z=f&GRԁ!(n c @=q1Q X4Jg{.t!Dٹ"4HKs GUUR}14PLt;܏TZQw*po҄dLX/k&C4ϕ\T5 tcmF$3z" jܦ'L4ncta׸aÇw}7J*wJ#ÍhKw43a P"zD\? &m)|,A묷p?b[ԃ'P'Z3/ՍQR93^5=Ub_ߛMW$bj9y1c&ªdj`Z RB>GHPQ,lUF1N.S<"(psz4Pm i1 ٭1:CyeIK\VoL7{dTbRfܽ;)UC^G\cKfe}q3%Sgwt`|^&PiΊxJ!#tn~q-qǐG&XÄ\йvH -?""<6.W(4-Ή'2Mpmq7u>}zLd w}ts]ˑzo\v Ȯ}d# T}9ҠV77)g:A;lZϠjO9KUλжPQG0Ԟlͯ0kB aS\µr1Zge5c^=!rb:=9RZk~҄4І\}Md\t0%ŅJhm.g%V"ԌMTXM^~O|D=[9X[v!1 jH@3y1cNW=j9A&wAԦr6}sA%̍&?1{ƪ;6;H^TF.bkە}Γl@g7%!L4Ă|x\SAn]e"3ɶѳȚ2C0,.dJ]ri-*D=%CkS@xBPT•1M%<[D.ˡH-gm׵^jkW=x*@XZpާ52nUi/j!o;E|lǕUssl͇N'zDՃ2!6_usF QT̛~5~&LPk: d0YF֝Fy~28mFJȧs?.}w_SFF$LUՆHG =P87?3_tȼ$r}NA2^V-pٺ"t&@ri;@wALA|츚z#42Ylz\ ?p6gʼId !h3A+h:2 va&SrqZa gtHg*>!n^U)= ɽ6L7FwlGv* 1+|J?-* /d:S‹f~=2ÃfLh/͏"BpDJ)-:C!-6r\T6m֊zh|Sgԍr"Toד'E\^U(un&RW +\ٴJq3/ Mh啯-8Ɨvp0cJaqU[' K +=ۖ'b8w;Uz71CoW7F{0MJWDq*Ҹq{4{bz 2LB:2XJϬ"`fc>Jg΍"C .GYl{t;*n<#' hݹқ1Y4yuGhqD i޸Jomyi*6tlF32-fbŎ\MBh`蛜6 e\B⁅PLd@e!Z(Gʍ=ya6e'4@;p 'Ft-^* ~>:u7I".ɨP벤]?(ˉHrd>,Lmܱ|YJ<;ٲ@YJȶ=C54MU%#o1 ر6*=~t6C~$vn xZ<՝ߕF4 !Y쯴_'[{AOӗ? pT( ޻Cji)!,׶d~~0q m{y+Y$6~fT Zi 8+;Fk[}O"%<6@Y%ϥ8\ybD\ ґԐ=SZ*6\6wX^\=mKć 6s-bʅZ˶0HPHN._ݣl]NV]f<~*~2jA1 hkZ*OۿݷUܸ wԻXmnW ?/N9" 7]:. |T_=X@7D&ժm_xh$y0JBb&YK6Gӕ:]"J6&0>I\d_%C=0Go &o6m/xM=Z~-PN_T7/{YҤ~$`9/PZb69#}1 u#(7D_|҃Kܐ${cErPtlGp,͟uY3ÿoVKe35#LZ`qnZg> JӎtR$F\.zТB{۾_Lbf}sCxS|>չ1v2t17pAv^laCf`մ[?˾b͢ OnJNTr0vƯvc u INėC!6)_En{!uz]N΀H(Se @=;,^TF/B=`YD2#aNFŒVKo^^t -R{PBwWnl`3Wp3ͿZN8OI3rSFCN odD:*6X '?,+!2W (*ֈ Z-(Wc+V`Y\Cnd4?YϢ3w0|4~yqC1.eCt[ş.C>CWH\_;KENAYr' O߹_Rdl@>w.75~5hyap$A[E%$ˏuU/6'jI 6oN~ DŽC휹c6Ҙ7 Q;xw9 Sj"F+g&kF28}Nj)GpUyL-.r@%9̈=IbhQe4=ZoOO;$822}iϢii'xڪ7XF(5[zZU]<4O]=AVC'zN%:2z00iFjk5[w|@s/\Iqo&űQoKzB/@׹h`<7&e3'TP0yB,XFg_2];㒼Z_;M[S[̃75s_ȹQV7+1Gwb*/y nݸ|+w6UuŧAM~G"\_2e[m+UDkz|-[YrS`bt@7Do72IMmh:84aԱK7 ]b12OAfwϴUqVt[Mx&eC) )Sv=y)n ޱ>o0I &'2D7<8c0ZOWu1]fg`5j[LSc,4<ƬVbFWJnxKTob$8omU M҄2}Fk];\4:Ňau' r‹vel}P`ViZA@10jF;) C&_8:Fщi~}(#H?SMdUtZȭX}v)y H175X, ͸ *KxKmRIq*d+*TV>H$z! 1*_3D`SFMĚ6:hS-& Þ8c;h$*). Scf>1)!Hn_йhw@!h{T a85`29pR͗ψXi5F$cXG}SЂrtT 9yF xЋr*' FUm6;]hX s*UےGANZkۅ$W bhu A7QS-HJ3xd AbN6g!AUgXEnf]^$H_9N?+P(!UWs?_Pk J"h&Zp ]ڭr{V*Ѹ:QUݨUꡠ1tk~S-rƈ 6!X _Ӓ9e!F`Z:T;^L8?<1$YkG79;qe c\#<[έxԗ)p{|&lXw^lhc"p*fM`a|L'!BL#S4@63_ DR1ZYacaIrӆ5Y9S\`8vne>PgE.gkp&aΦer#;k'eWl8K1NV(;CnϓH+޾jLg6kDpi7 /P*z$s?e*3,GoUwEGԃ׵ZӪ-#\ĸ>.Fq5zd\B|WQ~:FD_iJ0{{>356Sی&`w5& NQ'/TZdf!֊qQ*ѿg+?d&s=ܼtxCɦQ&>\ל6~^g5c2G|fie@Y@bin`;ThGikB^['<-%H(ǯ9wS ! X^f[T[i܋;OH5U|41^k=ۀ sX8l~s }&( z?o!y Jy/1P}b^LgS]H+~nD&RněC@ r X,Нs 'r+Qbk7fhY\Fv() 1Y8v{f'9{fߚG+Ȯ6وz`Ȳz^pwpk*T=3w_s!1L1}O"Rya)^6H4`} gb?\aG^\y̌:*(%Csݺ zqqJ%_a84]s?!R(2aԨF 8WME's,? !Z HJjPLإZ)CJt`@z8u۹LX d\ oo-I}OFS7qXZ"|V[58y\=XMgRR!imwqnjS&_:PQPdbɿϟ½#* ;3wRDZ3CpV!99Pշl +J؜wFL_7nӲh Sk2>?%CcKŘY7h?%Ҫ.űNp K8Z~GEnaSc/_X2.cY|: /NFToccyN7/gò&p]^V]tgfT0$pSk-x8 h!B c=ZQN&.SdՏɗ ߏ\AkhAM)9ʲFz_frIaCA6 {btMcK\GiVͰE-d`2,k 1:S@WQ ~!~ @ey[0 3h y)xEKS2'@ "gӕp K$a>PުI`yS ᶺ)>w{SGŭ%!(0Ri~x'I+D$8}wPZu<6kp@{U:'2G9TZI%<&CI@Wvе?r=3G:B;&ڟ URVI$>eٻ`-ݱ*RHȋqgT`7rq:暲qI~mz 砈F|vVȖ+\i KrE Ρ̒c׌h T1j23:$|QBl$XuTgFf`vZpGe|m+'``7MФ[6@҈ 4xꮊǹ4.O ד+Rd7n|}so[>jlYh3i}G7WPwUgIT#/iKo C+ɏRf["}{ .c9nuāqzq=z9kwV Vk.|3ca36ne8QWiS< Nϗt|Khk&V6$S%]˧NC49Lr YXt\b\17mN =|5Cw &r`lX~&_΢QP6w8Z'm}N'87oxbU=_+3cJ=#+r-g!-Y5ieV`?lA<_69ݬ-^2Or r JrT_/lC욂򟗻ϡ+F"u*^H8H:ɨ!!}f<9# b?bX}T ű&)Kjb-RNNN$ r}܄@9c u9 cVsWx붪ΦV0AWZdR/.!I"쌇[А:eDeqa2,. 8RoFH{VՈ.gks\Ge-q+E$,udUCgLnz }pUev} xcfCUo1Ո7d[a "s:3|N}d\ c Յ7K %'Q$_+lO 2Gb֏:hmjj&dz_32aڔDeu"X5%\_-@xp7)U~2*[?B.^o*(a!+XgR5hKdJ{ a }-[|&\f3!m UL: Ĕw|1Z/\%{1~eUTa۱Lӄ/JJoL0MD!A#]nQPcTp+Nz}[Srs3KࣺUKp&&SvJc*@6XM&֛ y~3ztV53} $0jx53/o+ƚMZIj1"033Mʖ.RCdZ5͡`_;Ӱ?9:aihlWJ\0F3K^[Jy),0#'R ppQ'J[  &DrWk* WΡ q#}Qwig1jXy :(x@&7ݬK<mruv) chw)ZL&MkE%qA2&L!/7WR=}WW.|˵PsK1ND~1u:˯ѧ絟$㩨U^pLӧmD8!WfK|e) ~"¸űO}-ݻ[̸q5²`Oho-cxU3^6|O\u^0zmmuP%PVN:"#C[a x2 ݼhLyKG"+Цnnr=k6@b[z'}HdIceX\xuwu:W-F)5LMZ-}Z>)>_PjXTA5-m.O*i+CLNM*I,ʼQň+91!jQf}y\m2 f1INԷBl,B<[-M@DSi$U)V`kVDD*L9 贅%X^-VzmD퇜B;PhFrپ6& !Pp&ݽXX(%_`hHO T2 :G1~9T,آm0}itb^-@bP%;c@Hkkv&$#{39=bZe Mb S}3>7Uh|񻠲R6]y4~ j9RSyٵ Wd>jb{&N3аB'fDqs9,Lr!pEt9!a<7@p/>|;кV 28=D>E# h!BHzv/m؋k ( _<UϠ pw}ŝyu{f wd#;T)ѦTj9H4u7Mb\5- +]<'\仴{xJfF<0ıqAgBȻJσ_EJ pGH'РWwu|zlmFy˞'uȼ69xdeT+ϵ%Tk)6Pi3۱͘SJ 1UNgl >(y/}&Vzi(bt,UEp1˫'ZP8؀+Y[й^1Fj84>2~8Q*#Ҧ^㲙ɓH7`mZaӒϧ322EH(t~XQ{67 g_}n_ic J\2C1/tD8!^r s̶-ӏ17?N6`텭>%4 "U9(u[@-@3ڑXBHX{PyZ BwzG@__<u/X-5Ym_p.cK3l;ΔV Y2f ب Ppeb3}#gq]יlpFIK͠&dNq6|9W3V>'-ĔSz䨯ijݴso ؜irynZUd Fֺh~@}Mn`zGͅo, Ӡ2݇G 4yQU3ivJưѢȼe ʯm|֓f6owݗdC[t mYT\=N ՚芌dO^!:@5g6RQRrJ~pp򾥞hτ2 lZ0KUmUL[ٰ9F(GILuz?/6aa(R5n ,Dobس~?Y1t:6CL?.cף>Zs JcSdWpkѷvh} S0T0ZyzK):;nfP',ʎqP.𠔙Ι?$[i­^Ds$ `cW=r^,M$iˌ?ΏSN9B [_7n~=)Ae.u!lÅ Zїݜ>>VTZ+OEnCw\e8R' 1"v$'% }ǏT LK@`_UXepu,nGP%c3lqGRɺ4 L8:PW3dkm@$WlφXTuƟ$ ioUfs͊[vQcw:pq܉y%|Eۑs~>w뫽]h`(j$r36ŤxǎX ZH7o#/4EMxR'XQ'Yfp 'c+|&0C鹀mKNl9݈ĻS`;G/ȫ C$~8ud'O=fǍ<Ꮡ9ucҭlq4JIL0!ysKr3,yUG'9ce)G4X6{G ju㋖E,Le ChRPbU @Ǘ,:K9.s"4Mt[Lu@~`|X%-92\qm1ǿ6p%"^. ygm(ݲ4E׹竰 R\=,՞c ,xz$|}(% ^9cˈ;WX;j&KaNR&AP4 DEWq R.HgOi¾Sy/!E3Nnd'` xMY`(rc|Mg:b[c&EcP^L=NE<5xntJwBmj=v0v9c-ܟlG 0ҙĵ}kN8bi2!~W,3b#Sn'aμ:?z^p@;)U0?ўs6HQh ?K2Z ي**Cgݰ-"~N3%@T;XpO›Wt&_hQ樠Gp Zϫ=[b|'Yљr)#;Mai=90 .c[یV葖B(Jt1.<_R͙ %f?>77@l/B8^&ygU4? r5S@97^# /fHNoqn xU`^߇&6ܩ)r e3xH-3I 5<+|-c`&#}ϙYi QRB[0u-c@+y)7hOWeq}^g3N>DLk9q_a BoBڤ/yntHS֟su~ȨٓaRA*RoTwqWP۶Rv5r|J'ngj4-jkLAmg7X:xyeE9+01>h c Xgf~P6!Tx* {$lLk 6}EAO=c& G{=Ϗ4I_3;4D8C~| :jPS֑0kG" mNJ߮Jj6QL^r8\ p֌$!a,Re2F  |\/#yLP\A#[b7[ՊahB V`UG|'sdњ}OAßRaU}:RD(*zGEq|U.Ռ?7 ѓ$ őz)bd 8OpYx;BĐs[~S뵻C쁹kN=W>4\Gj㞚PoA爻C=sbHvUbm mev ѪU:ɀp^(:A 5X9ovzcj[#n>bmb ެt#R59&q%&[3(UG%b}c_knp\M&bVdtT9HJv#9[xdTLYĆ@2QCpO#KZz ʐvpI&Ӥ9<\;,F 0+Z? q!& S#5 Ykvb f492y^>g#w×bAy'#rۍ_+I2c?.fkpend2r#> kNj-N;)^nls5HoZDa|;Ih6ssl[ PAY}?/Ɣc/j?B%Mdn4ra'# v9|,af_KϚ}ŰwC[D/xheC M5ĉ693@Euy6z7)Wb<\ivL*Jd41qf)بto\H-u-PZXqcMsT nFR2G|:\2vh i \O~}IZKL!FUzKő3]NO4F” |Ċs㏢(9:I=:?ǣDbUJwܱ{Å2pdH%+(DTs;E bJU%b R\X̅BVD"McUJ¦86+LgOZ NDW{4OƝP/n2-^.Z*R]dor~h0.WuIjH}RݛSLXr[7j*4͘,]"\^S}x{ץ3k4OmA}t0W:y06`4uNrRaLC4+<|$L^k.ms @ kD!x.3R<|3~~RXKCwb2 +SD.|+qćS )`Bz9j89ƝP'Owæukzo&~CǍê_եSBah,d}'wT@#\ L{71NKJR+#;)ǣ #=r=xU}phV dxq@HlcTEp5ߢ҃Ցm? =,13HI7fh=B aY)m1 wp+W)/WekeONz`!9w.o,0= ^CMb1V+3G*1W@,}Fb|}rk߸2OKLԕݚ!5{bH~^5cөC@g>xS WD5N9_*!l']C=x OeeW-$וt[+%I?ۡr ӵQjř R@7]*ro ZΖlQJ$祳PyrC/bp!>RI*r|E'ߤth#Ԗ-轁bgb(54:mFޟ/Z 8fQIV,a%)( K27=H$E:3aϖ\[x0D)EaËozW+C72nHIaKn:rx {FHMrGODUk-O$4 OV m̂!`qG9gL> Ǿ,]#*`R*!.sshNצM*Y_pJ\R ]ke9kF}[kyKf%jW_2+6Ot}n3g Қu/zcX\]W ^ijk{<֢SW-/ #fMY$Jߴݴ+w*b*L}֟9k2pq[V|X5̃D۽hĖC\{'dk}C.S\+u[%X e1'38Nk7Ķ mUt Xٹ^yf}}z z?K5HKyMy:;l}u˓'得f")T 1Rm)o82' KƯ,6PLXCۇKXI\Ȓ}xW*/qY]QVvh'X2Nҝ4EljLL$ pB6I1)^qHagJ Fo3A_DžݗN?*_=v sO|X@s /dE/:jOUrNvd hJ_6mf}6`j__Zsu of$ ^SM/:V4,&[N{mՆ])rxV ?oQ/hPb`}kK4siй$h(,=LYQ.Zc 8d <I_aL䞻HoY=UC掹`ieV*eGxW^1y1L[ͮBǂf J)w]}9+G=ˎW]))#2Y[X,~ 43X'Sbk LBR8 Gcyb(β1_ݾ.i.xey]"榮~b,h/(Q8F_ inÅRTxdR{g(Vo->wȕu7d. LwHv)E:s8R&5@?v=(qoIbG|1x/Y|#2U=4v9.9˟ pUm&Zf萻Jq.|Q/P1&Op^moϖl}ŷRޡMւٹ/`GcxH-ð0튿 ˸WꛫL=N""Ԯ=w+BW9Lz\ )}ĒrUЂCW鶶eO L_?GxvF>c;+1N$J6Q&SD +DŽ̽<{HS"oI&b 7qc^ɤaޛ-[juR5zB'` yP'T ,xT߫PQPUrisgs/n ga`+5Yof85p jKH;.^V-db6iT\&DYMb#MYsW~o۾=7`{ HJth2sm֍&[њ]@ZҖ5jOѹXK^D/̻G]Fcu: ںLwMn{OHƌk7=f|,QQ+ݰ/~v|/kBUl0g@ sk~ҡ *鈥8)-J-MAP@OL\sgKтb!Fg̭ ǖ'FxrQltvJ W8G M[M^YX KÛ8Jʠ0<+pv~QqSW^8=Ru"plp B9oi?gyX^r׷sT8U=IFIqJt6=Nq<<*X2%%xFV04͟ of\Teҵ%##+8ըy#-&ZIoq8G9jA(G d,p;;}^:O/Kn׼8ѦvXnFso u՟Ya2X۔]>0%35)ꙘF`Nd.NL*Xm9:疅 g`fqSd)D&K6x):s-KұͼƺB&`lU1Bn[ޗ+@4J \VQra p`bM|u`/N+k"ușk!}J}A^`m0~m| ö 4! 2nÃ$RiQ5*/ [*sWQdFk`JQF^) 9sSSq`B>5 vH_\jk.]D"1Xq iUh|RJ}"^Kl}P^\)ŅEge#^?>%%=z}f7sSfZl?m.`B+S\=nbot_'ۿ%1^_-@ʰ~4>Ϳ\X+]md3%鯸OmQKzL,sӋu?Eʁ~Eqm6XZ:OR>1搹fgdje.Ep3ZM+r^ .HR1Cq 6M{,hCC?Y8U ӕ ȁttRyFיXoIyNDp1/-`eqb;}Ò%9htb\ Iu' S`Y bL]lu8.,cBۣwOBPiTIGC羵=,s.DXݎ$!%294{z)7ph0F;{z"$``Zu~RJC7Z*>iɨ1gCtFʃAΣpТC gᷚs)qdNkW'q$5T2 A8$!3Nqw g] ,XW~(V`\Pj\^ڷc/U ։E_iSWy 'I7 l Qxt,+')]v<)8|[ Nt8>=T7Zdg5%`z=93lP.{X,-/a=zrjتr8nJ˪uBc`/NXxZ_24wL{طR?4цڝ\}]| D W>c6Z@vS2䤆sKH07@',\.X[bxtcXQ6;hM޷] 0 Y L(o:/CU|ü0PDIyU7WmӁOLӰ.Y -c=Oa*28FlgmS]ƈۯĘXt)Ue h})i2'), ~(wJFdnjpz}Cx-yd G+sD՝E ɫ>;C͈}Y 0t+b}W&4j|F+X T{@WY1~vRDYO Ϙ"h\AK dL ?aj!]jξ6Tէ0Qv!Q6u]-EFpyQ? 6T(yF[>ZT.i ~vs+CU4SҚg"/k9Rx*IjD`TBQ!a,=jQPj`ĿXw\I}HF~f0yb?zK$[҇q&忲 4h47BwhY֏C:"8ɬ-CM}U{Jw0H{@x#RpWr~ƠVS`j' m0 @OXL0rNOi*R=JX ~~x(wSGZЕ޻̼m<.NK\O "+U.;R6ޝg޴Jљء J8B1Jp fS5it Q*݂TqS(ZげD6pp`[pE dI,{j.y>=nܗ Z3u?^a2'?~6Ib~_= VVN++20CO?;6TkKN_֝DMYUp $'+q'0hGs$O$To2j݊i h}vh1|͋q<’ڢ/KY&E9P A"c8Nڼ>'kf?]-_K2w\;^WK]kUW2_97V F_TQHΰ LSJÜf=\x Pf$;SGrP$=v)l zGeqy^B`sf%.C Fs01&a\OKqd-;0HѻM5{[J.R?e%9k\CJ=:l)ڏDA/l$Ț$Wں$·׳`!:q4A\X|?/"11'vCu!€t:C4)h֢6d%$jF/PW G I>p#d@ob'RcCq'TMzRL'S '|%-$vQ9Z9vI tpIaS޸m ׅ#|(ЇI6}U!Cȗ bk$_lR|(s#w AY$f84"?"&} P[*_$-bJ/ eA#-p"置?}JT%nR@Rn4i_ęh5ia/`f=_%jqwͩ|5\~lտiEdY#ZP3783;e]sI:ϓ`?5#4>D *o踏~]~Rg_uѭl4Kϵ/kUx}][eT GH7\#7Ӗ) &=|PYO]17|a.9-=Lbn$|k?A5֩y߯+KQLn Dhl?#c$6.gSע?FU > tX S h{Gmrw#~;bbږ]Ўu {>{5%(R L!x$ڬ%GP0 ։J½D{Usr6 OS8I\Ē]+PޛZN @86utN2ZZG K:h -*]r<;Ҙ/KfA6rOS\kOL 9kty3It߷̠>Vړ%fL"ـWH2tmTzr623l3%k?QFvM}G8@_gSO}YсYL,`}."im/ˋ[`~uP*5Y݈NavQߴ8q1^Ĵ){qYH\R5FZB1q+9'"#k)Ÿ 1>2Lqs+r]PhuzP47X!(r0ҝhKanI{B"Qй$͂*}l-2KiwY=4S,1F3U0H8K}5fq /Ʃ!lxN4Kʍg8mM ͣa[&nࢀ͓ձdהz3G) ax9f?pOQ}S3F?> 9.DŴo0ʅ9~'ۈ= ' R['GqR/|/d74 k3/-7?5=&p%Z˳\d W3 )Dg;KTN\ߜ 5w{P6Ȭ/)1JK=@(9{h?HLkrSyˍ{&l]]m3{aV+;UmbMd~d14I$Gl „t v'6j2m CvkV.\R~lNesZmtp4_(?jT 7Pi&„OXuIO24nwۈPCdj@}LQmeI!֔ <ΰ;ZJ䛃@pglIlcK܉sHYT;{b35XHWuyc(,ߛwM2|)aN{-iaK6ORkA8wiaBūO_c8$1V|rԑU^2ZZjDTƤM) T#4aStiLppE S}sH9jPk _0$4h'm]p+҃R'߿dVsgԎ1INr+A7qQxJWLL\qj-4B>c*8>ʔk[`Lp)=볇r72pZjYVACXYkWWO(2^"$+G8bs]s@`N1< iݚ*V%ҁvS`\Ph:!gbTN2ve9O|2 `c_(sQ }C=,*ՒfW88= Y?{a  9#D΢tr [F+e&%D;r꿷2i)$Q0$H21rjgYZ063831b10f9ea5b495e3bd719953f94477e32b371f11aeb0b5cb58822b61789e97e7af2cf416f0f7 064d95192f7eed013868891c67a843698304438a 76d136fe2b1f7d0764f431c043fb81a2fa9fedf0 605ae0eb21f7e683e64e6c6163dd5bd94075e385 175515db619aae89d62e88924b37883d2be26b98