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 ]/]HOL-Analysis:threads=6elapsed=317.521cpu=1711.480gc=132.4647zXZִF! Z]ŗXiɟW;g``ϐ%!4}wTDre"eɛ1qJcR%fV?į)_-zˣV'4AJIzX#"ZSqdz WOK5N)buh@&زeF5IRDӻp:+ѭCØa[^IJّDT[G|4ѭY٣k0AL45}/5wr/{d,h5Cn1j5kuXJS9oۖP^ &nw2lG @eZwff_f#V:ry8G(,' G8.ǮҦ'Dd6͌G꫚_uCB3{%@8*u-wHSсh ސܡeD_VurMȓ>2/E{Յ:BPm#zN$ N==D[=_!l%Pw!@؄`4n,썍yH216E!pfj[\oqb~`:w׭X.#2Kf!ޢ^C}ڏW,IB"*kѠ!$ϐ1t8T3`x0/p.;}_ijK"]<1A]Ad'04 R?<<U{ @+X%K95WF՜:B|Q>gLyTy7᯲0\bx]K n &+12޳/W|#*uC[*ط 2ިA'ÇdoHeU !]3j GaēV5Sh1 r(3$xrnt78%{C2+UCO@0/jgfka(U U7O3wvǾtm9{TKr-N ǡfyqKKrp3"MV@@Ubu h\KZ&M:kǻT[rHӴMzzTv6 !CWCpHS1aXBX.f6hn0ٱ.1&?k J*k*agVT:*2̸%YH]w ,_0mv'~O:_Բ+c[. NHQ A2ٸ֙<:g n+(%VIkI7;fIVnfy4vu(qM}+רGyqMj3>]>7"y?ZM*wGB,Pg~+F釩* Șh~xc8 (mt, A^;˳7EX`f[(Dn62Dj߽nKn' ʺlF}[n[KI-ǝmow*EIF" &9JI bZ 8c^33G0^c=wm47]C;00e=  % HOL-Analysis  "U_lҚ'8FVK0Ǯkc߆v )2*Q cv5WռMP`ZN+ t#h1B t-c,tR_xK;JnS2aM &@".?ٱD4%7TѼHAC/(iB=5z~~5]+wlnu;w#9OS3ari6:e;ِ`uozRؔ^R> 3`LY#]EG^PysSZtR-ғ6wXj( 讴Ci7Պu$P6ZRoD cT>CA ;~@Ϝxc5mPX="k9;PΥ`,1cw| . HUtӠn2g}tKX(s&@l~x3Rg$MQ쟈j.݉ЎtSt/ Nc} ?C#.4X=Xc-Fi4n O8[#sedѾ9<&,&VPBh'mânZL)w, jҳɪ^(6RLwY56CҊjVajrqr ! #HMae F&i lnLAEoZ$LmJG{1W6B$Z]-#q^(^R<;q`:Ie`5U*n<͋]ܻseZ?u궃*d/~ft7)$Hs=?{R$d=(x>۞A.V=* ` ¥n,y9 Tlr N*O8w):.F]xyfa4J#p(MC^ Q8ܣ>dj[oKEHN:\`!p8᜸%脏i3?,R @C5Ui)ڙLsUZ=Ld |]XSZo^FK7$_s@k˂p+Σ:Fzv/goOLg"pϭO'a3H=D|9؍A^%5gf%~|SQ=0J z}ŬkO3: 45m4vAYI:M3jr\Cen![.P#в$J(zKXU$ @UWݤLXx{4s{&!, rg7!W:ܬP~&ML$'(BA'}3;J3i;$S찘MtdG±A/qN7(t9sb6ZTNHuˍLw׌%Z pH]qUJjԭBA!^\ ձ]ȔE)x"a **yR#T40rX_}#u|c, m ʽ;, @y fxnVa3S+bkg, VebWLO00[Ɗ Ue;` yzl2+OV֥^E퉾TP H:dgpiԾwrM@7I>5S3G(SS^ i-]nɨ+K)&K P\z&mgxtY"g ЇOQXF(<# *9BsXB".u\ns%hB*t-_!Zc4W 4wpXkd֩4َ e*$ќB @{ÈgP.|C\+tútkz|uTj A+zoZcf96*ݟX.Ω|~ naE !B$G%x2a6H+9;|la.{/ *gc;qHġKf0+_7@jq6Ŏ26+}vÈʋӋ{+vĭae}5Q&αE:P3uOyY:C,n8Īd R*MܓOk'B4QoΎ{֢ofB#79hXXCUf iKch8_ x =k.Tc~DKS5N!5/) Dv (aɃYࠚnۃ]@Cǃ"fjxBT[b?f![s8pFa9eS֍ITWwQ\ &XXW3;h˄"]}^{rv@/v1K[Y a)mV8EY#3529"pA S-PCn"p];z1;>?;D]2'ˏ)Oz;a/ v7n-bAwn 2HVF`x Ծ%)%ilJ+Kxk0k,7Y3sȸ\ [`eY@IƏܛ^ qٞ$AakέYyKaDj)_6{wDA20"ФhE 㲧D\1֣^2+la?Idd2 N l潗]Mb`I y̯G!{͵R-^R8I<ePxE%$Q욹Vgj?Fj]nyCVi~ ?[Yr_  UR+)8T]Wx;}Q.FDAn 2U.?;ㅯ :Ht۾ oQ4OEmyA͹绤{1̧hzw;N]] fr [%f +.AۤWŻNeI݂ iO|}4W|IevUBu5h Wbu{2~4 A$@ivf A[wJSHޅll,sN;$mbW*wY7DI˂4i4^EU}s qhs@_WS|*kJ#Fҧ 9η#p鸢Jdlha]C~DkSvÀEC.z/ֳ@YvﳝWr)Őp:":C5㡟4 Gm@'T1$;FgpeW?P׀t-Up+e]pϬX5-i5xzs $3K\!S6VSg\ |km%wyÃ-kgPGvD8j8+,0wm7+zuBNAA֊;€_I,:Ր`:JW@FsV̵FFMc+~sihd?NyiȬZ5{_iAHQJ"uJ  ,]'(%xRx DR]NASp#DYZ7\Z'*e-VHqX·|5~|y .6K'+w clWZa?tٳ t\N™eA9FlgzmЊ!ǰ[8 2bؘtfp@zlpRSLP/>Bk&Y]SI{}@@{#pW/BCv]7y%n\b\XA(RBΫ~s+ý_RkP.jJprgЃCWUwYuCk]9‚uY`sn|t-yoPrӎS-IWCgt5H=IXKN((4,ݮSP8Lե֎ ek՚ >)JB~:DVb[Gg|-{q0Ick0|-4+oW݈<@WdY+yTuKoO}JCZg{uD[(ueMԟ+godG8"5+BZṾKm~ޱ>}=_ 1jju6^@ h+IFـ^C^)I_(GAkV}lf3!$P:B_?3C\8LmnU`M9Q ή7n 1{C[J e ` ޞzO{ӹF{QJy$'1pu ~(pDa.yj7-JFIyOE{Yp?Ɇׄ.;N<뾶8S8 &4?b3)nG[}%EÌ0D6E=aqܘ_hIQO/t4o֥:W'ZiE[lT ^9 lCݏ53g }v;`ڻWdJ6L5p4`Ev' ) gd۪#t%GHzֿ+QQ#9`t#㍴Āb!F ;c2h@,n%E}"|$%u (@~zi,~Q+, "_- ͳr\Oh D{jy!ӆU )ң(ľv"@(VmUs ll~9_Z_:p>.|q""7dp.Gdw(nGԥ^ƫYJ+o|3_v3'<#٘F94CiLFEWSTC0.[-(Uִ#>2%meИdijviW$@zxT&;揭QI9=08Ȉ6uznh.(;i*pY 3,TG¿ {CEsiuRvA(Xz|!x-:U>v{۱Jց$T$0|Kipx!@Hftc4fmܽ43^^b&5$h+IO.ik`e[R 9Yxz{:tPC07JjJ T'IA{kfaWمևyznmdV72Ņ6)f$a=K~+msO|$(&`~<9H6$l(itO;KN&w jyg;xͿ_dP6Yd ڛ!"ýXշ4⯌|u. 5_m?IgbݢVjGaV(+_"Ɵg}8qk`nH1G[`(~zOTe!H츯Yx[7{b2xR1cskƻ-?;">yɤ8HDh!r=tw#d^}P:1":Ldj hPrd[@Ccwٙ(-{dHaQO^ӏP7x1w d|wUSsdZ( } zJƝZWCnnnNUaZfM)%'ʂϊXsﵻ=,|_eq](mbn)N WZ&m~cFT.` ^{QœN f`1vt>i͙$B6Qٻ[apxlDncD|i"8RDhqOr|jw=zgezǷt&65Q cTPG:E)kH µC/j$2DE)r2F>wKA0 =QNrp7)y!#)sӼz5 ,i̩D1?JobK~t]s&ꑭԶ#Ӱ_24=/SML7nyT!,Պ4Z7' 4E- + DQtNS:[ЁR? d[TFgU<0qIlX\"^bEpCIz%p=QR68?0iއry;~2@S8$x$iE', [oe$,a߮^e_%!{.Ò s1+vꌊ4jzG61t#Ay‰ŸNz+MIȒs{*~zu3Ml6qj.ӮLkRH}> 8-No7h0n)@6Cr5X76WL3?q#pY:oh33Q1P/6J]E!9/ܵJMB幭zב) g8,5haTP15ȌծEdjӁTA4m ;#Sv},ϖTT}`+ >6%TUTdXsZx'q(m^-@6%"B >QVd9ZƵqߪ Ilk?MD/$|,!T !˽Wm gq64Z-6awSnv"7 FcKˮx+w¶ٻ C;陣e"G'@0*XPà~&䩧[f@!rIճtws$[% s ַ32%{ Le_65F"%Nʍ2ly94;ҝja+(ՠ4l[qmV]WvfRv.}9$f_pQt?~_s$kYdBӍZK1DK̜ź|Y8_fMei b:BY_M;+t$HD!P"`,7oz% -x8tкP#d}+Ibbd5 Jէ$i,McmeNs!zD@RP>PljEy }. {~m3\LsS0}IP;$cxI?Ε ~F77sx酎.[2S,j4mFii1 c2J꩓^[C=:uU+ F[ _Ji.n_Ԃf|VЙLJm.@3;u[w_^zndF"?㾚/41BH', ' 2#"X'Aӕj.N_IiP3%{I B¼l99_lջ!˒8%P.Իr'\"CVCC0plvU"ynғ}b~ugFhi<*)SdF, Xj\}"i*£#?),#B<+mh%󕾐ü:qXݎHn> 椌lrD (ƌs+zĦw^D";YA6 /pXju$^?Q?Yzm/KSHJiZ-n*w8'r,'x|KQXkf ^E$ˑ+F:g׆3Cx$b<46u@5r>n -Ƌm]jC\o㉬}T8x52DEh4! y9Cnߟ'<A :.F^UM W9 fCq>5E7T<!)WW)vP5e]S}"^6hżn{p6=IJ`o %Q׺|2taV 1Jm?p=ߌ 4 Bl.@B8f$x5J^%_cWǻtK ?6]ԼS~濖"O.$mj]ރϦNOq5.c[iN`2h02&`1k <- vtZ;cbMatխb5PTG7H?.c6Ya~R>HIMy?ϧ֪ f;0-l((˺X(.bqY1$՝M%\-$VI((*}"g>^ MƝ}&"<n:?o2<nDًfIbxOiF6CmNk'܅_U٬=rmTxe sy)! Gz堨:O(-gHZЯI_Xೲ1pRh!oJZ텽o9l5vhgHǞ f7_{o5{Mkz0\BZ>Y'lyþ݄r:SHP,Þ( kElth kv5ƕ9 8ɬszNX>.4$t>JcwZӜ1roq.4)R O$v4M$GS?6+nPS|t;o #-5g}u=TgB)Ҋ:uR! |5O(;YRq־N( :L/,!ThwYwy&S駞Myq4_T63$L4rzJ=TE s6Jtٵ\~R)rNU+(@_nKYToE\>/ckn,Eآþi:Ў,2& `7<%w BtU~^6-abADCL%r@I =iκZnt᩠W27Xl}I7"ϵʬ{4z󚎃MxFfԖ& 5Hf6nz3X8 #;ى՛#I<Ҧ6@XCNr]21gw77BC 7Ԏ:[8r+g|%ì'Y2Oa8y, I}鄍@lhvͶRJR(o*Jf txN(C vu>5_v¢-W䱠6)7PZL4sqvSNpT_MOJM$-?NVbQM@%.J6G_So;>y"9Gu~XQo:cJ`@"92ti'IpNYgQ"Y2@[_+@3\9$T,zkSƒȡ_uf:*}򇱜.$ߒ} ]0ZQVq+T2JhyA$vo14䖈h$|xjHY'_KO6ܢ;D[ _H!WZAf*WCߞ6v w*%tDeZ 1EP%~ZP.f8ڝ2%DX]r3lÐB`A͞XgWg 82ùѬ6C {<@b7a{#2cբxod<7bcڦW8}!5œ̗uC)5ժó 祻4L~E`KO2YD@E|+U.jE*$jŢ 5N)ytsr̭{Xx%;[a,ӤL%\rzZ`u77ӗcSoGg5e^OsP7<*`)C\NrQL*Te%0'eyK_ lE>߳% za$`p4DM4'ό>D>1~Iwך.W}%)eO1H4rX`҆ "T7ZNx%ID̀cuAv;brE,WQЪ5"jӣ%F4!+70hO H݅S`B^ꁻTJ"blP @_P>4 UBQkbW#U" =L_eI{.`;we!:TLt>??>  }u rcԫ߳ώT"'4U!:7lATSK8L߻*dyb: 4ϭ\fVK?˴,fSٱŀ`#%näv@&*\].{ iLJUCX]yJ >*FZ"Ek h6k YZFcY`X*i%VC)jŰU j6׾jSQm3hQ @OA؁,-p>Vojff.iCRW?JBXLوS:sse;ŌmeԢY@PkzIgrvdn_]W%q؆5cEџ5Or(N$VDLOd-Ž,2褙&DaTa j 04+Ń 7I@G(B>o <27srbȉpy$oo3=\ԑ%Q$)gu%qR??n@(n0n`uhe8 z װ9(bQءK<( MtZTMl=܅E,~ȒT  *EKs@pd熽;$ͣGB5Z9no>FY}&2FQcpiW^ 9_4kC#:gk0LX𘠤_z^L U R2a)66&v,#߮8춡ѝʼVW7 u-&S ;B=MW]ʛF&- Z%MvHIOe\#}j\1b d:e)SߎgZJ^KV;S0\) AL*}F4 q²s=lALOOnQK8.H\$>H9:( ͟O [כR4؞aM#r I>u:ޱYSdWk?DocAE?OYqT},P建 3/LVoobvnt]Nf0 :sEU ںc/_K6~_[ܢGQzF(D-) %d"ڥ,jLd`MՐD|;,?sY̻=BNAcATjbw89SRcsC{\}hwVQßDH|6x5XeB- +^7yƚqJ3h7BjcI0G$9?ע]HPx,bs&,Mx;Μͤu=e5Uzj:rsU?t񧁺ٝvϝ߇,kB~"f?-a7 WMd߇yOಃMH`irۘV֭/.%38t@K_]=JYsGa)v)Z0+zW \UhM5sCGsF=,tl(mG,{:zD_23k]9&~<WIῗsdR]&sOHg觶 'ŴWPY55]ې)XY ?Ǘuڼ:))*+־2 j5БiVp 4Q8\64d(,6Њa,jÿh:C&֙T3NF GpcB'*#Ȓ6G}W$=G0-*M!d4\Dݬ֎BL*|L($cM `ylVFZz%pvS[G(]̞KƱ5||UE~B"Sj׿H#BYC^5-tvM&-by0qJ;޵9#8FīV5oKe%q0U3^)i)7Ĥg^`?qH;FOE]8!`rgܢce@~n"~%GoBMpV=e2f gނTqO+IHCVZqAr7.TW#c6OkΌEl;#=B!|&҈%^ GDqƑL ' sv/%lk, [xpv֧3hCBItq&}oze+mIZt;6T83Ӥ ڦfut2F `x\ɪo lH=PHFGy<{Z*A` XM0 0K'tzᗎһsUvN/j4㧱9>2#%Λ8.tɴ׈T{h`1  x{!cd@mLJgí{#Ou:MYoܒ^X1eU!*კ}Ӵ7xt%£Gwp!A&]S[T~-wsnB#Q3x^TlG"0`BCTge4H@rF[7 v}_&-n%~z.x?gr80,fkn+u)*@.ȈX@S񱉪_L QE݃X=|im].쐏L.y(tZ,ZZy݉r P!G6j?)$̑N6BfU0A\bLC/^}l/-.d{\r0$?kbɹܝ=ez`d[(oVub|2l.ynts{?lQ'eU1Nu70ٶ!ڌ{;JUY5a® #B+c acLK?yG ^Y &=;.sS)'6aa4Sve Kŏ!ؗ%nk4 92Xќzt=Fo*R2;~ ~t9Vnl}N(u ,fl ը */Ԛ$܆\1(,`y|SB-,UiD3.e`(j(4qd+E9(tq* 0 DåwqVG:?BG5דRi`kmIr Ui0 /1 Dz+ɚw k8|s7`gQg!o {Q[C#[$]e'"TFqER?ZJ*U11e+;?p0lFL>U<༞ Yp?EݧO k1cZ#RÈ4=4HW{}QsM&w X{ Aϸ,l2ົGӷo %+ﳊ>فB,> =>o5:b+Raa?i<ѭ3Bxд89#Xc4kPcgø0KWىB$#'vm(c 탅Cc:F2K6*a 07Y)O!c_a*L]̓Yk-6Ibg7[ɖ۰K<Ւt%wkeq_ JE8`0,lTT hO$ICRDx1L Gy-D@5g `ԌL;6hzbnUt2W쉜T/ 2~A 38V>j {>huoVgrDU#_K{Xf>ٕ/ Z-++p."ȯCzr|`a ][h\U)si/7D&Z*v/OvyTes|?rӼ[@ljzgBdԕwFK֫h9M89jz4] )+@,Zbh4%8z }@b;Aetrj<"`kzsEJ$u8Ƽ!4rR%{+r_X-d\wiA. s\⛈P^hsAy]5][EkiRR^M !%Zgur53WHK?/j~D_%^&0:YԚ-)Sm@1_` ww)ϸFX%UxDQW:Ӻ>:$W"xZԙDq!P8)k+jӜ J=ðdu9עAY-l(ńb$)/Kr{ -.xᬊ +YNy5t7\f@E*h 0t,9TgYZ7zXZִF! ( ']ŗXiɟ1˦r!cHkMeBd4mEbЌx.fS3hw8y_~+:+ƣHt8~2;UKGl%6o}9M^ѮI˲ZKX,?xp'GƺʠHy/M|\N3B [BXl5 _, ^+VN9;D9;`fó7Ҋ.|V6JI3:PP5޵ENz]<\jc4ipK?\tN%ٞPT NΞBt[Cwq&_HO5巠ΤNpcCue]Aβ3Zt@s/(433 ZQO{{r)28$cɑ7CV ^x5c<=ձzwSGRbXJ-=ֲYuj"Gs5;ZHd ;c@b] C¡6/F:O|8׈ "vGho5J\GW-S/GSJʛC?ax+b|X$y*t &Ѩ)ҔQUBoLRdL7Xf^;n_Tq=?UG Bڢج69C悫̒BI) \5Ԫ 49R#*_u8u9^9\!$C`̣@vHS AR!v1~)&^;ٞ:]K۟Vx- I隵Ul x|,RE\ W+*tzc\'l+(N_d# :FGm[JSdG~oG9MVcmk K>_E6nfj%C5V7M4M0ZAyd7"cfhdg9Ne*zc G>Z9t&@u#іExKALE(#C/FiCDty:*Ҋ!'KԅṰU:x&[ %M]%FA!La Cr_KhΩD G jxlt&&Ho?gʞHvXDJ]Tkꏗnٜ/13yE;ŋ )ל*6,6U!aϝb>-u+~Unא7/*t/:Ԁ<,,aYE[H>^ -<0(!*YWSxM1o o h/Wͤ mD Qy:qÜ᝚jVA|i#'%nLt]=(.Rj7c{7|b&q]͠~gOu!&rsi'D[y~TyGm6ݘ6(iT4ۀUYP&MeAΒjdC6w!7,)sbe C <cHܩJ)_`FuJ)(;%&NnܻX6Pu^!M(Dih̫u'-r\ãr~SNZ@H am?-1m^[} 1'*h^ӹG5 8$߿%b]TH tZ6IIlcd$$ŀ:{2eԼ|&ɂa9\^NOxuQ1]EsBqǻ$^.Y&#"w_q^OANiv] U ZnG 5Ö=7@~ 3F.^iV XP35E2cJNONVIVr`Ba2?k,9'>(Ū[9C1:X<ׂcUE21/HcE}Ҵ`%q`@ Lq;p TQ7}Y5Pk2 1)TS#mjĸQǪ9f o#θČB}3*ԓ;JkӞ0t'ot}n)yI=\Gz$|ګ:~ {%asVRՕEw&A!pP{5gYZ7zXZִF! Ƀ]ŗXi%L*vt 6{V@I$ؤ^,t%*N4I?e\JJICf׆9fmqF:_(-7LK33P//LVۅ5U"ZRSYj[o9jȬ|KüE`50#Žja S[9͍\@sU9 X Gxq (Kv~3QO?k߶0˽լTמZT!*@/ C?&,9ePf@kr&*4M0sm[TTRm,2r Cv܏Z!ŶͰ(Tgv)mo`A{?Br3T(bwdG~o$Vq; 4؋8Z2Oҭ+mn@W3 m7ۛF -fARԸD%ƞ7ub3Ni:{A5v`RixvsAD$h.{\,=Y5#Qg~RH+H ]{_EMVp=wK ` X {vIo@]l}BF>.aOq.O ѷ8nrQ }FIC41UIB(4bz _6ҋno*9mf%KgW>Xe^U:#& 5lxKHՔyhos3ESl#u쾒S+ruGhdi7JZRN<ܗv3xܽN)D òyƩe, @~q6'P+/26ScoQ̱:տՉ тއG8Zzw3ѻf"^px񐅤'%Û5)cƛ#y4#ڑȧx^W6%eƲf'E#|eƠ1Շg_;-xy_|=46k,h!oBQc~Q犧ḞJw~veGk(E+ *TX#UhilʢCbP`i>ٹb˄ּ}VgOi_.p{k,b~o[{~Ƙk76/ˇ01mH3AIx7QV}wNf{ A-sB(MW%t Q1$д4 0q| d(m9bu"4 E%bMM4~%1"^ ?_|)[09LnQu~2:ceXՎ8pTٞW$pEHR6[ٝ8X%XYhWNд^{Cz٧+DZCʃl5}beL@sXOSj-D+$Ku5ml[)L7$P'1Y7@C#DAk =^~%e|plއ'hˈAɸeo @w`:UKu[% .7q^tpEO8}w:z,֪ьGa3`Kzi\&"㝵BDy o!u!$?1֠s 7445e L1MW0&6H K{ViF]`=㽶Y6"0p;fN%oPQ&Zg!7em6Ijbv15Vţ\pr'/ tw\'B/65JB`i+79mKQhA}1f=[4\DXXX q?8]lzG1Jv圕 luuKߜEk#Ne%$iEGY30*o5FGpKFi?̒ygsY;~VQi_0Ͷn%7pȱ:!{n fK3%= xwO@;=!z7if#̌ᄱ;I;i(Pǧa&Y.o+sbY!kƐm T\K] ]`\t7'?,ʊj)2TQ;~x M#pEHa.ĹZ'G&%B f [ L-D-t[gpԓI/ĀDd+Xi\^(|^Vaa8maىoS[GS577r4@ʧiGSJ-]TJpV}*Syi9Zna7X Cu󆐙TUo[Q—YOPsJ5#ǡNh x6>amS(\OPeʨ#Wr#)̗?|J̮}if3kM.>ߛU3H^<뇱R^PDN_|w8}qWy}Ͳ>K pfM$o=eꮏ G.b@m69s56т!< qyt9Ng*5Wf=Gq{⃝F`' 0T|A˩ϥRJba=FJHXa~J n9VZ) 4k/>r2b~3-[HˈJhl $G̫%# a嚟0?sYo.0eb`[-Y]r-KG{_)nQC2OY#!,ㅝ7>f3> G *nI+ UwJPwKgjB \"5.$c#N^W%KƵ\oGt04qs.'H ۵F Cs슸,k!YU6k$4%J?{OB!ˇ.(#W{6*nF:"\᭥^~w \{BtY)cƈu*`R ځ59A'+bH3+F/@)T#\HʹIhp/l5͸ʿܮa ?-1{!)X]ZF|;(E@|nz9K!:"d7+.zi YG2`p]+c^|ѐ)WWpYo[)7Pcc?7Av~D6NHgo锃{ͫ;Y0~ǕR)馥IX¥lp OFj辦M #eSŴe6-Fu@H0چۧuOB6W&苫L@\"lO8kLu9wC)tYAѪӦM,,+pᇂƉe= `KAs]SX_ X|Sk:+nݞ=j|!>4YM7jXc1Mٱz5=1B[rm݉&Ǎ_ Yƴߘ}ަ}D2fhB#htBɓ˴tN{;x%1#GH-_BWO(Os40jKCm5p,!kT^B5ޭpnw'SN,wTF8jwxԎSOoQ6B7yGU.OeQCFdi=5u3ot'0y$wଝ>Z%~ɬOzubЦc$YƇy Pק|txϽ )[6;͜n_7 ػXje(0SXA 鄆}wO-vm&" jBGN';@ޖ"[g@r;m甆ZQU6lĜ-`(Bj<:= ^3I:cd2aFErG8~bƸG][B;=ķ2saY \ o]+- W~݁%kos2 f2WECr#[ =Q<g4UfPKTY݋\( /bH~R}wB00zqAɧH3;jRڨez.|p=XK jS+$wsґd]CRI4a`\1MCca, xsF5F!Co@W 8BC_9 +(Y$؇]Wej N'{ 9P/K"{ԄڮrC Ȋ_'tg0k"R|*K:Vt= sQN<ڠO FKFAQ_F6T0)^>TuU4fvÌDy3uRvGԂ^h 4-*)V]M{Kqa~!8Y?uEzf-&zw8T]U]V;vRs>Ci.hv v;!эX2*C2«A#O'iI=+~Sǘ0?CÓSry|4w8<n (!{8}778s'z ol2 2^|k8Еˎ[9u_*kY&[^:?86)-L(X@%ٝVi? A ]M`~֌rXUnv.XS?ᩫF3S958 ٽA' ,@;I/aFU0ܗVKӮHK4hyЁcN _yAßT,ۇm!ZbF;FJϩ D҇CIC2k"J2xۭ 雘*07˧Pı%CuSxh ;; t}c% S]r/8zu4)(SGtʯ2_* Dh,[4DBqL2*{X9J@RyAYhdi .N̘x*5*8ݘ\@ٽs _2sY }{E:{-r{0Rn{Qi J~ UlY2wD&K-Mcc)Iq__9tƦʿBr)I6~n{ˇU8%ID]Wi#`p=a szkt>SqeĻ?}*]wɭeqg\^@HQjpZPD:ܘ4/A$)c z‘6ꦌ ݷk%ۃOzvlH"׫4> b]^kƄa(:'H6 Q8D37|ڨ dWrq2YG C]YTll0Yh6y72 = shxf;mI\INZǶ }K^R <;00MN(=tkEK1  ׳B zr‚@M Ҧ)(NzI%{[ PX%U2]4?+$jFH SX M%b~~; In³% 2ENT;$LRbBY w]pv%@-F^vUi])_O5 jLJ|[ǃT~ޣ6>Qk5<,  IIޥ"ce"0c%MWPltz՚NLv&Uh x YlEy7$Hf2|隆3LoN04+Kg(PO;efCժUh^%^sZ*n$'k/&(opxN]qغd@>~1=>kI1:ח6"aGcO0}H'I!$Z(g!4F}=@&S +o CJZܐOVEZzh1և_0h&KY pNO-/& Z4j1eR ,Sh-]Z`<DOH؇: wX#*ae7Fo__Aus !#7;Sj#}_Rse]MqҚp)J~?>K y)xBۤj6]k:6um ;?_+;:?@BCv"2jҴ*$$~͡;6Ppg ҺNsx G kzSK=R;};^sq3:@`/)pդ] OŚ_I $FrwB yaF+ 2X?ttɝ_ľGN9gx͚(nTM&p:G] >n[}QH&8-r刮%h G][V RFz5}%;(j=)<>ߖT-J \XWѵruX\?r:Ww%>PټӖp\9cf9M`RduF| 〚k(L>X'^uEŵ4p6kZz=y98עD]r.Pwl}sg1 #WOAZ1(G{FՉuѷdO!mRCFq~#?tzy0(wkL=lI1nTQIVu\i!U?]\0}xr+ZE rGCֺ`M3B4r~M)Rc ?7a1ћ +x9@z->)əm!.Sg:%V |ѭ\+5LDl}z /HNMeGW1pkgWC}mXܛt? 1F{e\6 &oyp8m !f[ 2W!~mCk1G셨 HbqdOD*h=/V` #mgi4V >vR)9k #[ pA˗wW}(eV. &q.+IG<ī:̚6QRhHDup&-` NpϺΜ2/Hep" S'H ,r=_6zB sJГ $+%ȩ5 b y_JuekirJ2T&îW#awN/@CBRq`CqvWڄi?fRlq1 0fyx( dX̌:\'a>Rw I1 qfS-͢@U!qj U~}dَGĤ4-Mʑ0mSM-{͆ B"Oޫu˔K?6\CzY,$ ǘQ>KHy- Reɲm o8Dd:)!A[ȸԯyS5 MU؏=XnqlF%DW r8Gv~k:Fafq]"!#`R%AZ^7GViOLI@P&*Tj0 v#da;7hQ0aLaknؼI]|2~4g{u ^r_ђ-ifX0oG>{B#§GOЇH$/4$3jXAB^1- y\^}4ZQ/Tdoyy"Sv _jCX[X Ze1QgD@LP&^bqhzE. J-HckO81" |:TT9SanUآs*9OXCXlET_H NnxcRo\703VHIq[j iyYjVsQ6!SfO,u ԚcU9G)}ȡ9 w غy lF֤ڽYlŨ`IH1pibut^GKwnʈE5P^2ކGydtuoAbЁ#p ӎ8hz*}T @siJ47&fW}(۲#$p9e*Nv ({YEޢ 8]|i׊Jw"b'`3t 8uUagVmU/b9yXG Tdo$^%2 m3bVIKDKUBn+"j;xL~+mNÀBr[>$+QӑAj>(:GR^ VjGhorM(^wNûy۬ټHZz\1Y@ʶ1+}S[/΍%>F%^,=G@+F3q%[x 7D|곈 W3*/-{yr˭*YIl_ } 0q&$-'Kd Dc6|asDdQw O*b~.ypAiZ:@!ב |,[uݽ6z@:/W-bۋoEFz*zg"2/6t` &<ȷ+AϤ 4 &&!P$f؄Bkj)x_%ɉ~ @ )P&?xQj&7:ٽT2cl; pYr Χ)dJ{x@KX3Dę`~=7fh  B`VV*ld]m^tY[b7 vh1 0Ch5>Ginfv*ǛӠaHAk}s|Vh4SG?m"' oYܯ#iԤQyt/,)*Lz8)F-:PKSe՗lBFvG,MO9]ާ6`\o=Whty)raܥh>ZU&LJ)D|rbaE^Sj6SŸc|`" Y/o"k#p L,sԲ'_O^>j||3Uygzh=ǯ^ -ɭʽ,l5#pR۫67 ǵi`qMJ6N%,D 5=[I=FyvGSY9sQ,T8S1nV[`Iug͇9iu |p9+nf5MvˆvlAF<(0h1]@8!e7fJ+X#Ja,5#CsY$(CBr9 ;~{)g VV|`WST+>tx-ΰ͞-N|z|Wi-Qa 3_Y3 dTOX]u˓9ġ=x.>Fcԙ=%pƗ&+tIy!>/wn܅e~/&]FDfY3Y*!Il@}>ɿe %s1g\Q>N\V|̝|}>}Zwӱ…*(z,NA `e3I G4ؒSaAJ)bQ$i#!7<mo=xP`ϡP2] C c@m'ƴLfT)V_Migjg ҮyJG'=Ul]zr![B}w\†%MNi9}-Dhkfz8xNh[wϒH ˍG ŚeAD$*U0NIDPĮM! ;f8{yjM4IWX9A2⊃>֡\w- =8d ͭ*b p}4҅b )ڛF)lWZz3}h]enAUW')'9 +R/g(y8q6 ;@oɇX_6p3W{9I?[ϖ/} _~пBrʹiL?mVz KM1YTM]ӡ^ﶞ֯٫&'mOǘd Ralnx;s0yhE .2N)ϴ Zʩ}8W ;/zgYA6CWRp!i1^M?0!sK4Lf-OCh]04#n\Amvf1}km+7WS@Rr؍:,eHa {ڶ:fT,D -{aC4ݟg'|6]$oo󚅔p  V( 4`^5xװJ]Ϝ 0K9α6ӫ( R)e]u^܉ OdۢqO=0@{Y{ĤV5muM jt-]h^rM*=5=R@w/X9P7=hƢWv Q)F$m ԶdRu8Cjd#hhQŕ 裌Ku-?'QG,4~kNjG;N s<ܵWL>b'X7&C2EM'4kFX1IYE; ]ת155+r_\?W6cUB JrN_֗gd;sm_.mtE5N^86BU TqM:+%#wG "w!@p+0cűL3°Zw%~cUxR ٍcx{: I4`` )WcMS8|aGr2:TkɄgM4+nB_Y''8g p2bN=qzmQJs+PC쌄惡#V(HTY~ g[ss_ Ո&IlōKoj]=y}CT 4kj#$UU-zRc[` #U>cb|7{7etp8 -Ty$&7'~w.pq]YoƑ6T0aVw쀍 +`UQ\(z1A+p_dhĐO8kt؜MSrTрj{Jjdi\WVh8 (v *O rBw$="+OcgrcԂuFPcB&ȑ~jn1/|]3b?s>W˾e(h U}*2I`F!j-uϤ f`([U丷n@ei-?1]uZf%d ewR),.~Jv@sd)u7y\k[#WrQ_B )e "ψ"ȳƲYs$>x>mBdUBV%Zf}Q< gq*tw9( -ъ:^?M^UuJG|d|39\p$֡T*rboHX>9Y*2h$o;Sʄ G ^⨎c\Ո>9@ɾd2ەAE<'ElF@ Î3'p;! XjP |1 "Ķ[A) 0av:oцhVUfu;N8DWAG{iW\cEJ<6ܷS  >>6GH*6S"7I:}$ޙ|%uY~F>&Stv*p SKqZAn:X$7nZKZZMrp\CAHd &_M:zѼjTfMAQ8 -xpE:y)3u>PIԝ5:8Pcą`n PbZ@Ż!){"0둔}xtF덲r `)~@R/PUn{vl*D'PQuA5 >kiZb42yr#V[#!:K&\\M8 9/?d]Ox@֬ifps! 2%13ysE31j];hаc vEiWKIorZO; DfX_ P[>ˉtbm6iE\S`ѻ¢(Rو)꺎j |$s?r-MZZZ9??u_Qm hIa.EL V"XֵGZGTHӋ0ȡ6QzA^*O!1XA_0C:,JK_ӻl,t+xꝇA/2)5%\4@wIR- 7J[kdྔ G^ ֟{VdbsϕR?lj׻U0sD8 [Hic+ou{Wt78!X֩JUuT \F)nU*S*870 Yve!+Cp@m #-$nG`Feۊ WkĜA/#9I2'6oQ[kЋE wMikFCpxt*})Dz^*>4$0t`C_'9cJAX%4:#aIr7E4hx!Bϥc^8 %%1V~ vTߛak+dW{W c=l*&Ƀ-Sh8$+V1=/LEF*̮Q.*Q[|+򮝪{sg<՗co];i\3,PlYȾSxibj-c\o-fCW,1w{P_K:&<*  m`q2\$_p$i'a6'Ou&e3c#ab+mAv2hl ыIkͅHo4p\7H G{HΩ' BgcĐ?Ձ)I~;1 =(~z]1DURI/*J^hE+ ` @B>kBA"V(%^طyd♦Oz1TyW!.pj!tJN'Gۂe?ϱ307cz\-N2FqRLd!8m?ĐżnI>k~}8N0o.i8+\2߫DI7P{j6%w [ FLb6h;M0Jf%@+TA-I`fFq=-JTdi敍H[<[SM {p9xhƂ,!s"1A"ѯQyCYoM$ɧR=CD#r_wsb⶛4U]6?^uU>ȓ54O)J6]2T:-"[^^Nz{s(aw+ku]rr_Okw.{*Jf{%yDb,h ٔ^D2_sxQ& !J9T 5 9>2 P=r(jG(kU14V8myqG Yjz.:'ȴR*/EfݕqT]5Wی1k/xl{ oPsrH?c5#R<3ʵ29Ѿ ~(|x۲Uk8Ϗ<{ ǽ;ĦA&|rѣ*b:Z2lE?(yʠsT/#CQ3Gϧ%99dD1 |(֘-5.Zj>2,KIT59캿.N~_BPI}ѮA 9Kr\PႺطN=d }c䊏ͬ T3Z<4?nfIM[?Fa#LVC"@^٥r_Lkfo8z&?#!t=ܿlN3ESvތ%&)PcꙌ[Iff"K2ri\^s*H wl xZ Ɛ ` VA, ЂMh!b9sCFv")SIb&), hRo7(t_f)e)fva-qulE-|UWZnk&N7dô.vW4;<;Eptb ɋZNҤS3G GaM8 P5':g9i tOUk]g2<=EU5TK:`dC:)Oʚx)mMGN3Scj힒S]\ab MSye{6Ql[u,%\+;.|қB\ _Ӥ_69 f/\zU_MpPHBH?M<%~&6VKө_Q9YuҀr"X_wTڠR,6vp$pX| /;a1VĚT,OY"#jf|cסA HRuLd\x3$_!Ddivzӳ兛m~~ {Ptt@qܱ#r\gژ=G^I"#R c;kk߇w*Jae7e]֨\E`_ Sr_^&qOqDMC҃ ёJF7]DmF3?Stz%{BO !Gh_XWYe 1*7/hK[*g.kY|PO$j8RDNcF!q8 >^G,Zx4!f9GJxLV-ENz`s]앇RNS4)kRErkr EgF_EedBnΚXr+L01/1%"G$+Չc=F̵'&n âaP"Hپ I ;iN`U>4tP=5e+wkVK4Ʌ<&}Ap;>ɾݏ¯SϯUa<@.\gЦvLoC G'o@J$A)Z(_I[#GF}yBWkIADT<>Zw|7yѧK[(@b1& }}O\DP0 %Z4FM9!So4#͓<]5,E/M3 fP r{3AiI}vpMJjPG g@v-Xv/qz@eb~U4:zqbAӡ);}ex*5ιq-nb>'ˑ jAБ.Ja,,.Bm*0Hw3he,%@3 LOg5>Uh#,'͛HHZX~6ou5,}3f@@dƋ5u<ᑐ)<=;d*ЄH(4'!h:RCw,Gj  v1VǺb*c+Ћiɡifq]1 fe'KEiWօ T*G(_iM/aɣ4-r}(;B|&|9zӾ$˼N]2_ kt~ʤ&k }Cn> R&XǐF1KJe9ȉ4(K=KٔΦC/lUz׭F4^*-)MW$|MVopŊh(f (BA(SU|}T%WHݓ$^._˷GXz54ZKVMf'/dh* W3˸ZS!#)-rKC6#;%@4 e7fwua+qO{E)q5ہv}{`B)_'7<1%5>ZҬ]7qA@ VF;&4 +#K\d~.PMࣳ^>C tIM{h|? iTU Tkmy(ae+*pf"a{ _ZTmo93"~T93vyA;KlNLIRU`brjrҺtnpӸIxxmJD뷗KHW5ԞQKa:^{}@2$JdӅԧ>U.oT;y~ 3Y#wxvnwA8.[ Q):.U?Cܲ-)CGӴ2Ak!/gj3R:ݶL3{7ibZ%"U¦m:o'!r܉J:R Z8\Y_^ٲLga[rFAZ32TJ9 t֤ f3^PO gن["DwQ ^_^ج"_}g9AZ0{gHuIOS}pƬ 5?A>e >y;1{4r5k'ݯk3'[x|`n4@_e,],F$AFSͤƖ^Cm9q tWPBw~P_t66.cwՅDo=f]MAmĵ>' zw!AJ˸u'A0J%0yQb!˖k6|ƒ {f ~HP MV$e`jO$w T. H>JǘR?fRlj2S? eVlOå탿\$|;Ȏ !+"D~)KX,z9-O?Xi 9<fkEB#!SRpqлd c^ޢ;V p8E2%Zԛ ;]%%#y&gUedI%ˍ/{FqK4Ş~5F\<2Q<~)p= O63"\zg AGd9($"d}*/q]C4piJ\4y3x-d0o Zb# N86IA5Q1[jD&>mlܘ#X#kխܗ.{#l7˜}s~1! QhKC ȌvuhJC=/E4C<j6\N %04Fe3d~ ƈ}AUMb. V{*w\5ĎEH}v|jObGt%nY+1+?R q{"Jm)iƄ/nj'RT{A4WkÎ2Xe8OZ@-FHi*l XL * 5؅%xÍ_WaBA`=^zgѻuQu {uئ D>4oJ71N_4ԜԯIp25l-4O(CM*k m<2݁Ο+&_46(mKZCg@ 'Ш˾$[QX0514/[Mn_AfvRDqj]G{f~;] yC@ƕuԋ#bK; >ySK*$r^6I[$ w>f'B]|jlj\begIĽsrØgoJ“oCPJhOfz,o$)yD\;:obHVlMvGvv@@Qhfts) 6u ⼯._H*6 aۅ+{ĺ+ r?0 -Ÿy'{<\(TgU26<5=&F;(@Q՝!"K5斵«2]E/FKO2<"~[#HX'1tLڻh§ jVKei&P1]\Y֔f:@<42ѦÓ E"p OmHC= |*A);Շh;"$KL/|?0Տ+8L,@9e"D |g* Tpk zY$T{`mL J*M-(S[W}()ُWڟ~Ǚfυ Oz-xҺCS*+ )W\Մؖm@cu& lSU?W9;. 5#{{ň^=8hGCEh}(4qsVn?x3ݨr%P\a ~LVr"3y|4vj?[=!R#Lg"6sI̹nj>k۷[=hjxdrqz 3qccm>^Nk 3 yu8[[A<[3/GE}^uP=W6ڜkxrJۮWsLA-%֫Wi5s =ꋉ^!A(p9果z1!0uq*;Z;գ;)e_` SR94l)fH{XD7i.M঍\IƖ n-ד#p yGz5r*ӲH+=!^Γ) 5(mٝ<ְaQ Q,6w(%ϛ.S+r]3J0*P+x9=md: SiG+:D\窥2x'?!@$ @Ka*(R cC#M }\GB2?B.kb`r:X#օhLe,ʤd:Bn``A{܈!ы7h8eh#e'Z{`p8mܸKlcjȎӟ@: jhr+%>-dƤo!0(39-hI'r$ jؖLVb K_+s4tk -xJE+bpIKtpoט#2Ȇip`wACTfP5WJp-7+v.̥;{βhB;[$AiTD3+^5ܿ_o9vYce`SHSղbf]LA(W|TX_l\r&&O֤=K Gjc?F+v@WL@+To!-T-tj`"ߥ0ZFʧO&IN9v(M.UJiޙwbtTC4n?J Gb;e`2՛d'hT%_T6 gw=R(mZGL8['?Ty;|0D*uMMA;oPB%U,:#`;ߋJS:Lȳ5i4߰4fi1;M!E g,TS^}->Db cI~'3qL! !pڪ饌EMaeFJ3m1[B+a:(.eRkj*lo¸Nt 8*Xc>^ڗsg6BG:"5U5G@NI%ʷ[+U6># h_@eaP{>< [OdAk"Q)ۤ_<8%˅r!+R9`g /z‰x]=vC 4ahfV]UeNThUIp/HYT*#{Lu3{x%&_)r0K߯<ʣ:QW\cdymԼ =B4~4Ehԭ1` Pi}~ѱz*CTʁ{ƣh_yV!FԠE˧>i.Hqud՚6KT+(x7IL AӰ-I,Fоd&K 7<~ȵ敚676I!Q]${79;Vld5:x{F]kI]+e 5Dfqs#i7֒vzzKc5{{bĪu#md ] HT^MtGd:oVF5VmvST2YrP~0h}78.^.>y.]Yڂ ~c/#u'Bxߔwgщ705aRR|aRj@tc%^M[Sn k3Q,ޯ |G0WzQPJ!fp03uTBʙQ  6RgYY;/s}tDڻ򋜲 ˨CS۱ߍGD+.2h˥Aµ5`aSp)\J!0L{Vp=sYO4  ,W ] A\rE0Ҙ1%7fW?Qҋ _.·ɑvԔH8h鸺㯦8wV&K"&𨴿>J8hȐW ==G1􈬘fuī75WLʭ ٦fఉXHC)d]! U}b1S%xv!]腕oV3[sg>Ӕs>>Zt,lGO2S73_ZH+,QޫYIʹ"<ݱgYZbde2c5f92346801051444497e5a1bceda9f06fffeddcfa062a672f0dad34c5be0cd823fee08f5bb1 6803283bac8240f6b1c8d22324fa1bb842ee176c9bfdf871a879e57ecb0c756a8d6c38319054207e