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   <!\| ]]]HOL-Proofs:threads=6elapsed=546.484cpu=1330.584gc=124.220factor=2.437zXZִF! k]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǟ ^d{ 6oN$0ǫs&w3k*^P6G}XԋaG$qa>[d?> E,;flIr_e{PX)a;쬮 J4 ) W(qճJ`;Gݪ4L4!J9?EJgN(Ϩuv9no+ڰ_$2L |sSydrڴE(O̰wQOF,gn.tX* f~< Y\[Wܫ 0`<*sU9qd Dܭln<6#4X%_һYg}YsPI ӿH)S!3{MRO@]>AUOeD{)۞^Yf2E VH{|bv( Kfx.o!{"FͶWM+DLVuG,? ^:T wOJѿ$)uY-8/.g]SL4-?4u{v.y몧GMy`!0qrT:jJxM}z'78*<_^輸'y]ղHYf'ni>~A/?v`r;5'[tsUɺKt^953z_ڙ v qHYy<a*dK D:t^ZĨ)C[+3t ?߹|1ʋReGM?d1GJ\dq -s: ,;";քpx}:藢!w]3A~"kђHOf"&QS>EUwwJY/M&qƿ XMNįV)S[o+?rtCj8 \~{z}$ނ$[bIzx\ȩe ~j@j.NFM_j.g`W~GCiA[ЃK|my c?cdg>,ɥŨ(v%Q}k3\+ϖy# H SE0$P"3d)+9OmS@ |*v 1 ̑TO%WjZ 45_c?3y]>=.,d &ϼ2O/,KQPWy U-7P0v~|.Ag\ 5n\J6l6AẐa4MNvesCߥf;ka/ Z7{Z/=@e. YEEb,ENvpmI =);`sr# '7 Ϭ;he8`K2„n0V, !b[xت.SU H;nL*qwdeIq6!\U8}j^ILz'.C_("UDS[b`U\T{uE/`ߑ?' 7n[յ|i|E;ǻxk .&13SKmiO+M5?]_sU}xc@@ԫ >f#ƍQ ٰVNbݘPv+9͒Fa  xJ$c7[>}2Nsc|KoSIxhQH  K2xprf3yC' jUj˛3;LT"\0yʕNP$0B_3qr8Da"4Pls8J]=;Y[ؿN-/1Q@8E-;3_? y530԰LE݂CMzQ R\9}T~EJ.,րlm@b5S&Μ;T xu 4 23˂%>O0z 4bb!cUlgFTP /;In%O>߰,[޾h;G.i[å! 0ZV +v t=l4a 5wUXAs޵f};(iP"l`oT4h 8T$isd?vHx7R9b5֜H.-6쇮?gǯ^Y$H G2r@J@9:68ΡOy`U_'12/ yKՕUT)ER㺹>7fT)nKR!Ag/3{2q,OeF1# iq0DK!( ] 2)Z`44R%bc$FO 7#GUXs5}T*idG.5S#~adnv׾h$ãx_o P&,̮yWJ7=-,xg]u1[>)95B>_ z^yzf~\3yh A262 ]'Azo{7(V!E } Wvmz钜oSFDnNF0Z ~u3lYNT~ n~62t_Мz}zcr,:x%RȜl#a+Mk/?j{ZeEV!bkoYd>\#5^V,|J"ʦaC__ͪ}B͍F yD׹_tQ ;W.$*s1H=B|q3;zϖsJ;\~SM(¿߹JH>F>A/V:q~܅[K U*ZЇI>}z[t ^펾Rr4l7sy#wdDRN4tXFD23$R"xe7TnJP_";BgsJC4dM }CS3 ]9nX;Oh* Jl MB2iĖsT$9 E%ݴRy{Gf lVXb;VY?YxP3l`mvRҸWr-YK(J}k4)`_ 1qVVN eK kJt~:2I~u8d!5<\K ^ k G-އ) mKp'4fkǴ@<*Zdy6ۍKIv48 +4K@5FlfxvMͣ諸O3ovB'hWR.k,;d.w z!) aG326^tgaJNG>Pt0gXa+ϴ(چ[YE`ى ikM#N[dQ͇@87d=OXRXŠ2XtQFebkUo!Qݪ6`^pVֲS#}Z{ ![ꋠd4My:[F?ab1HQL` z },!8~em WAJdɺLbxP. '$k.b {kCxO*;wYJ\[`*Vs{/*=UYOTɅ &Jm.yG$21$xR[<ӰJKؚ/%*3یlG܏Р f^# g 3Br[]zF S3ll{&ҹ#e nEKW0KÊ(m(Kѣf=s4.H3ſŜz0d[F7ZôMs?y/JEɯD,l4@H%9Q@ 9,2pr9/ZM5@/[b7/_EigYZ7zXZִF! `]ŗXiɟ29aoʼz[%U>EM!!*XKB*:,~(*KQ9]M hWCGZyf:C3F &ݎ0&,)V#N.%pmĿbs~aie keИdGK5R 0ż*+ը /eh*:CUM-/&HTv,oLǵ(@y >HO|; ~XYZNGs@].(w2mkMӑ./'O}mBeWZd֡/ IPgWmdԪsmFU(U܈ǯ$1+ _t[aNbӨ!1I9NnwӀur+c*lI A$#{H (jI}"]QJn2h\(vnx؍4Ku_3lZ+N1:涚Ya/(¶e*$ؾ2HEbW6ۼDd Gޗj wIA&jA( s?lf;ZeI-qg2 fnJl*4K%*/>|{ b(2`o'{ڍh?͡Ub7?'O;w9*82%̣j(W}`Eu苃Q!#z8' 2 R&Q]zV:R7`f3ԌcT_U+ǁk:n7)ә22bF|Ψv| mn-a'ֻ"0iiwĴs#V>)zu&Be MRYb[ʴ%Z-G\jt[]TMKۤ'4ޏx; AJ!-/~SjnF=;#Xl, cb 2YFgYZ7zXZִF! ߆]ŗXi%EU`>?iSB^~&oWbk3r @EKT2g/ ۦİ(n*2g  롆)K'@9y}dM$z+8R~߀V>!dD=O嫥F_)`T쟳VdY7~tߋє9ճ.Hnb#6KbWKcͷ^朼)M8\siOOȁCs29I i/˓X2Y y8[; Ǜ(AϋVyiEVKPePG}ieU) 2Tt Wzv :#f?ucƀ?z#=Ц9^Y姓9oS@$Rr}|ѺƊ V\ 4FΕQ{L!598?,}6w?MkUPKN'˗h\ DpӉnQ<Pchgax$p2y+5z0*)zp`3n <21m<߽ xtqďpGu&af[.cH؝2yݸ?&hEYٗє @} 5T" m{ܗI$YLrV ֛v۝}ujGA4< 3 j2 =K"%F u+̝AAm(Uق'TvH 3MTTec#ӣ{*ZtGj0wj5 l!'}YȀf"iuwU,0-G=vwBi^S@L0_U0Ќ\T'VEba'4*c.21])H` _'nՍ$yl2OORC"ro`$w"* *QhQ.-v-f`d 2ND#ZP^9bz|FzqDffF^T KaQWev5vIpIMxGx0Q4(  zj>_׉OdQdv[Q.g2uI:oLA`dIR@3vVs"<"R<QIJGLaawgPeKY]`$ (O_A»>)@%OqX07Q.պy &~Pnvcv 2ќֱOf%,7{eZdeG[Ey!-].9A*)+9Ңp#tԍeoqT-\c1ehB[5bQHݻn||@K77YԅBҲL7U˜ҧ<-PFҽuғjVe=i~\@^[mS7_&)̅5!"s.fZ簿=tܖg( N(%k,g,eprBO[%*(Âlפ1߄_mx!X oRm3Ե?>38y.U,s+ku?F'vELtS ΐu*SKA 4dp/T-Y Ar߃%Qj3Blx0ȕX[\3!&4 v J1Tؒ4&9HJ8wi.6q1Hy<22FV#a"?epY͆0^!rRL5fXBCØR}d 'ܘXmY, $= (f@P&D 2jA\g]_f$\Ẓ)+W[ߔ𾬈^-غw5sA8 4"h5'0ZFx[u+ϯ('#d=[i&?9a ,F?*{~S+,|)8dkzwNX0WGIL. a*gss:oPzĚ<*/ (Sr/ض5D !;5e p~VMF!ƌFӐt taQ1Hkl1 pp_W P-t1|T+*# %ʵݒŨr:Z6WRDazGg:]u'J7 ِNjicR꟮GIӣe6&B U͠B{ylCCvab{F&O6@WбYD?*w?}1LhRU6N{P5ޏll$O|HGz}u34d=wnz5H"+ Bv*fI‡%-y,I~[Ns+yWawȕkv!dHėa,8;,'QCz[I}`18.1b@z9? K[7TgPx@̨ kQlt[cXC@X 4=T Ά _މ= $߱VD0ͣ]Yp\N>㹅cR!;gϼ1q]U*ӺͲli|T-1]Pd/=1lnKQҡ/pZ>J)`Tl XS>\* U[ : NP}vf2O%ꝥ`GCdcRL6q aoB{pwrԆiquj~VZr mޥ2̀Xͮ'᭢Sf!RU" .=[RT9 '>! ғB~ܗha.=Jqe?vN2⏃ɵPrc3H0^ym)@0a2:ɜ@ЊܪGyՕWZYbZ5 ͰT3,NJEsq*q= c3sXn=I$Lhİƫ5VUcmeF O{¤L]X~#eHB}қ $>3a;ȢhdTaV!w8ω81/Z4Лs㧮PVѲtk)NkTz˂-ʻ5oQ4_bЇ)Q\O orz̏ 2*?  1 x$ 띫(J^[U3*K2J;K33!K$^&ƝPnz-WL'-sy!h+ac8Pw6(hIh(a0DŽPq%4]" g2RUQMH4_ohX-0r✉ Mٱ]bgé &J]'r3<4,فt"ҥ- ^z{HbC+erpʝ&wPO$4Γ?\J,C~a4R!JQt)9 /3!s$y"x\E l50]~XJHn莻w?sjbT2yiN -\=)l4 ohKBJ}b A׮vEhS'"mUeO%L0+R5R)qigC̨co =Vߺ -V!he1x93{ڡ?$\öز#+Ʒy $~KW_Qʷ|fPZX69Q lUf&MA ]-VTPz|rl DBf[W[ˌsPoL,lncd["%bHghOLCs'^)=פ5?mb`h̆tA~vDQ3n&a8oUVr0ΘTcMt2l*#Lr3}.˄Yy=c^>ohBigZJK= Ƨ; t>Љ=1vK9`.HT^ qoPm%z'G'1d}>\ E%h}E3zQ񉃢['~Qo(E[ԞӅ"0lebEGLDĐL(̚>Z}tTkFS(vCT긽>0ʡYv(O}dX 8u% tI׷ sX;)^-̕HӖUs+!/CLӭq/Y}<rD $!_(J1?}N޼\"[Ii͛R/PִAkLj|/ߖI1EɽpsǁeC {D͢Ǿ0r2 0#ԡGgZY;ӈ[ٛ@@t>VX]O̵u`M&+[RėGn{ /1YK إʿ$ e $ 6tvtEҴx4 ʖ@})bͨJ@zSj D#tg7顭A:]:Io(ֶ#}.蚾o*wG{ZTx hkQ$ɷVMV9˴ \)1&GT ea^rѵ(`V@jU% ©QrWN7Jx_Ӑ*6Fs1Rí;x]g(:f_ezm&{_>~Buo0B¢k^fⳣ^a4B(@:TKmKpd%2`dR/"w[ )5;u\pd l#Y7,fq)S#u@!edkԼQ,3pTi5tu̳aA!M |'F:HEi<0]7(<Q{H \룖+L!E@ 5) V Gu)eGF82JOHm5wP},HDIB⒎ נЯ< =v(t89HLvׁbHE68bzKu ki"Osde/2`73z&堈e5fuxdkG'sj ~ifLg'1ACAL?Py{}h|CYC"c)03#G(3,xVr5&5a|HWɅK_`I6gƦ 0-gq`rנ ?2U6u%7 P(۠SD;=ls|L(ɜ?H;7i2Rrz)MC*G~waK oׅܗ LLOz0ٝF^q HÈ2uhR%C1Yr $ Ib^$SP`3F}?5P>{u틒M?HּOXҋ0%:kfOJ oiQe: HcrϸVj3cVI=b>A5mFFKn D_cYH K@ 0a׊E#+%&EMF¹yHkfh"upv|ZZ̳F =LzЩ8ƾ@n2M Yr,%981rݨ?_-bJeZ"n? ޮ$$-Pwy^By \ؼ1ZPnL'냺dns^ɐ)>!$ l/xh#D.kR YPWB-Ad~O98viM.gēmCEȴqCO_t IEshcj,%z'ON@æ" .3T8;~8!D*2͠_#-8CANjj ut$'Ha|<%'!3sX{!x#XQ}29U CY׸&Î L=JY=+/طZ@OL{4Y:]#|"=2lV KӇSݩk+3|oJ 6Es]ST](JI_ w|k(#$D(*/ζIT (8KpZޢ2RY$K$b:]|lf @ױwM~?$_꼸чU:##YR{"fxck]"PKJyN:hy!p8mKz~4^jǴ80'VڗAΈFABՌ5脫-)&9Fi'~^ _Ҍ8A5'P޹0Es^_nc$|߳wv>L3mІzb/ S,94TbEF;R~Țc5ƃ-an6*pog{dYgy=|pv>Nc ʥ4MN00ih6W]a@2-s^xЄK_;خagˬbZCro#w_f0ƗG_n^}v 885'7Rm !?g#+:$9(P ]Hg W 4 ZH`?a%WJA5g wmI/d8Y:{,8fu=;>󖰑o1C%z78&.Xƾ&G~5ƶR]ay |Om='Tӫ)i  S&~sj}iaJnwa Ozf DRnָDf{3{7Cg:Iij̡A+Ăbٔ›$Gy(hG&FF&+(إYz %Jr{4Y7y+?%Zk=;+0V%05 xd>t_l$HpvVYWh[o*)v__f|I~A,DEX_Qeci+;1˂P- Q/^t4\nd,~H-w)ۖRy_ 0ϵjAFV.@ݥ]NZ(:_Ųr({!?.ѱ\8TS%!9p UֿO JdF.mScxu*s<R6 8O7 -riɐa>I$+ӷp ,(-eoBȖU* zAE!QU|w}\]bQ "`|Z!`fo/kwx| Bg6dl>eɾgp:%G'G'i2݂)M6 ~9uM=|+1͡>, }?ճ$Dс0î7$,jY,ұa{+DZ]989F f.P኎ww.ϐQXF<7pm`.YzǭQׂBfYVg1 1;œrʣ"ҩp`^8[]$hKn{)aFB{ziKi=t#rL0 9i1)?,HFZ\O0Gw]ZH/dY)h8~MsZj`o,'< #kV~hfo\-]J ^uvf95ceDTϬ!T&\L8i>E<\fվq…M*olfA2WP*FTz aӱX?'IxzeD!b,P;  _vxVV>cҺ Og- P DG$g]\y==; ~!3FfM<>lݣ2ڽ0"WWpIT{~Bw5‰ b7K`#Jj|qY1%_IFT^LY) wWrΠ67ޕ41\`(ZZCB2!RTWU%ao9v".~pu^3^ӽkYv乚 pH$>#j-KʧIQi!y̪ʞlvbGy_<>}!h-ǡKh8Mİ~zȵjuohD*Qh^+YUfyld@B{i瀭P2zԛ&JRoeI*G@뫦N{>]sD'۟O`UQ0 Q1WH86URx;3I{kV/t+ 4cLccp.\/UvƜ/ge53ocؤs/ e %e5)79KťY1:2.p˗JY+glMqUt;C5(-sFwV=']vKiT[%.3Rs[|/G1~`y,OT&{F莯/;? ,q"l.slf&!NlJ$U;=jZߊȱ%1(2.0*}Ag7m`Ac_S_\yX0WB~iٲ#PKƱ Q7ҷGUkΐOFr뼖mNpTԌpԲ.RSs*7D v|wDIuXth8/ڷu~xD/( zkf Њ_ٚr W>w-z+unohdrN?6Vyp0jUxbwG5pp;Q-VDVx̹Ok`6P+YJX+ 5+ OkR!n8,aEګZx4& .I{эRZpZƛa^!>`_H;ǡG(@}Q1/9 ngICk]BN}q뱑l a:qҲrBmrN%P|P.[y'G{xsBV&SQZk0"헫} R^y g[MHzt: Q?6Vײ5F$zk%I0A'JRV\+ў[ (9Qqvٔ)S`u=<fZC3"yĝ.sfzFde:O*`L_>Hgo)}X<ǽ $9֧PK#0U{;c4$k}^1$0f2 `}1yEyWOaJtʧ&ʥ(q!oc*xʺ9Mh愀ٍUkDk0PMٵ5۶9L6` O%ZXabRl1򭋣=yK%xU8uuс[G@Jb3ykxw@jG :`p"VOuR)j Fh>j(O?(vuj-Ic+33eF*\%t}Ua0^V-Ϸn';ypD.]"ZCalxܰF1pe]}[%tKֈ9"jM),rmg.&ƂeVì 96!R=JڗV%ϽםHiH z*d΢MzGCY#̽(sH [F'q5gU|NIFlzO rtc IpJ֢_Mn(T JL"7NK3ޫ iI/Bp*dS]٦ݹy`f<1R]eB֯/sء!y%u6=#* nvb8m5 2xV/qxl8A;J*@o`)T TD  g]]֛@vo?EfZߦ&G]rެNjD;o<|!X+|e] Xkd-5@Ptg_d&0F`_Z2mLtˍK[U':9܎Eg.s۷J̗V]1vڈ_hSy8&/J~2N2NA;>8nj)r*,EaOB*y@&=. uX8~Md@Y.2[]IoWH%TۯI Z˾E(kt^%tyCu5az~U ^K r1G@'")kKNQT)TUMQIeiuu-RM IU Qw$c w #±aO =LL6r3 zȕK0 so=-+Zwbzlo5-j[^J@ne[3ưP TRԜ3a3Fـ3 6сCVgc9ڂ 5X3+zILػeHw+<eD:Aogi!mi|~p_*DʜX@0ۙOB>>~2A WU]`&IKq:]-8 p1?`MįArG eAJz9uԮmΤ@Ўw|hwz;3OMryTL/G.ȃqdU<gćoϲ0}yEBNO!Ypk7kgj L]NPV6f-@מ<:p0BΜ5Cg ́ iHnQ$vn`uW-ָKU+P 2s/V\ZFјz4SJm9 OwSĘ+̰+QڃDb `s寢2 n0"돝lQG6y-*VeFVZ"Bޏ71XcW('e3D)i{nåAD !Q:}S!i%} [ ["d552XDޗNg1*k*zoxgEYi>cwA҄ Y-^ b ^7dIl9ɟe6Ia]!نkơ0EB(>.%%zhylܛ] \0[7[I6h[_AQWqw5jGLѻP+vb‹۩II.?>!\Z2CWxsapYdqJ(ZW9ej WC[ +ӛ!0FH )'/t'[oD '~slc;Aˬ|eiu!$gSe&3{@t.B_rHaI-hs;6"b= 1D@ tTx,Ah$zƛ!w;0!\L1(C_,TeLVy?.+x=|:_+=d3Xim{}0/ztq/VG0}?N> .]Dϥb0i6?CvY .x+\>l0|kOOr)l4JV/** nzlDv%D3GctH[m2; ;bB KƜyHߺ*m02[`&FVr qow3#qJˮ3؎Dis1nmM>q8[S*!l; !aS|H޳g2b! f9oDl+%"}.Ljhf(#2ӑ$ʒ9NMm|dDf,2=RJGwvPi]^7_;K3ŵy@TC\~O#"[I(у4Y`,Qj(k]x7N˘%1EKH=+Qux&v ,_Qm!c11L l޵ =[!d<޾͆84U§=(多"xCiRp+\iVP2ۑ.i4y&?ԙv7>e*|fLRb(#6{t,H_nhw*'R(89bzɍ%^uirT 3&=INvL C# mG宗^h9 ݪ'P2ϢjG0+-3xÇ~o^uWfJ8E#TWd&^f,!{Dh:E)詋;HBhA 'Mh xM="#ЅQL j{鹎:%9"dtPLˍ+ u$u/{BÓeu[-JB_+ĽQ9rJ(,:)$VA|R悡VIe(R{҇rz3^<83\ -yuAzeG1U ,ܽxIwmFҤgRtq+Og?CE0)e^G{ / [œc E%pÂPhNLdxse g1sP#voU+Y:gorCeGt_d`wV2W"oYnbs6ʯkRi Vh@w<&QxN!VH.Ƴ=O4pYNMj`;+.2@U9c猢pTܟ1X@হۡMrW^<:Bo  .)z{r@eϤ}>v 9zo-S-ֵ 9Ƥ\!!x_0#HUÀ&5Ɯ ^G߁\ mDlunt6صnoA-?Ԙa'zCHaAdzfkcK?tQ*(wttY:?St Mu4뫃~ca,&8Ŀfe\đuX^>.F}ˠ,jl!+lf ;Փg$g^ђ0/"2e ] ,L3HBĎd`"kŶ,"m(bpD>eHTq:ql2)G(JD¨_Tq(3ūl}ߤ."TpR/mZ"CV;b[{o_3o hpw9X`.Nw&YҸ6@63S4L8;UpFUD?SX*]ł*:Trw gw9`ڈ0 {8i58>p"C&+uq|2Goibc \Tx5+Ȩ؊%b0'\|_$y|o$h!eB#/Zؒ*ez\,5SoβBX?V1a?OޔdZ e֦FLL|L8xy]& S UTAKCCG6:qn#y>U29<3?RR{op$@ZG;1ʔb R %#i+Bjj)2=(Rſ'5E4`V9t3cKW8U)z[!AcjoAUF` 0u~h.Lӥ*3YOCVy}W{XfmwPd$ ke__,wӨmo_'p3nшM:0ʸ?[$VDYS9Jr'k~qkCi-25tL`%Xg{ @5į0U`cd08^5.cumRq-Rh_4r UdN}7n':'cdw 2;ؠyXnκ.<{y۳"\pZdrԋ ZC,&2y y9UI(#*4z/-0 Qd2d;b=$jRm?9ZMnd*yѧF.,HqD[, gLz%(萘i+ l@=UknFHJ9O$<{CiԂVFB;8v'  F}+$ ϱ?+ wjciS{qy̒'xij:4`]_}]hj{5cRaZrXB#/$, t#D`Ul]~uJhnx:ıGA씰1^U雏\vd uCg:Jv&D wV?EN1Z\_wB׸K/ӗQ0uHR֗?CX4ΫyӤ\8bJx#C#0^O5kxmdo/TF: J\mߪSK%*e'DI+qi?q{tFFz= Ż- b{Za$ǯX2 V|rzݥm_0FQwaFЄ<q&< gSA&+B5j*:a}@q|GO}/ͮ+k* d 5Lv`(hmg`X]Im!Q*,/{i2F/*Hu(^YM#d:[hjyo:9_Hж:GL+Kgc%<[ǣ;q{cmIƪ$mL[Ԟ8qRs͢!n_þ#ާR;Z~Q$E ]"piEQDy5nEbYqH:2_xM;‡:_-(uh͈9 z=(훪y};>(O*gՙ +C]'Ldaef_3pAoK.xN>IOŸe i3x+W4mq*"M_C9E*($Nш X*J>ڡ"nθ$T4X⊽$uvBhEL1[%!SZ/ݨvG\J}g@Fߍ|“nS|j?߬!$`4щV)#Dhy!Opgj 0(ohl?1s|Zh.2ʕjӓ2A#<G Erb&?;}py~;ms˛BI[X풟"3:XF32` u$Udؤz]9l҇;@@'zd}DJJ']"켌n.'Z}`h+&' YCb+fT{>mG2uqZ}F!-o?+.AyPgPytm.Dd %zKO)4ɽrWws %QVKc>OQ `OɃs!dG_eB qKE~Cgpr;[rdy[ =# =todO~ie:[![=`io}')$=h|vw|0MRD 5dI"A/o+N0+z;@^pB}B70mc߶GLI.@((l]@R zXarL`q}[FkJ%)ҿFG܉!Y`#>G@[Ϲ֐>6RQ vxY1p*K̀to¢C( gܙ|.(س%A`C9nJ/r"q`,b#6:9M|E}=S/h@{!}b؆̮\%~Q'K᷷6߇82,_GvPȄv˜c~+XNu JT'tZ(8k۳F¥tF$0tD5{8K^E&*38&a.bBO.f(r~Jr0h@D2vG;H]I.Kʿ;ʴQ<{Aʼ (@rH~}R ZjYVoY!fJdpk]r 1ܲo(`C$oq?C[\7#ʗHuK:E$i&ԩq`j`(ZNI^>=f=a4򬽳ra':UJVlY>j[ڿ܈8d Nj[KB<PJhh[ڹ2vk<. 6o^VS@_9ƺ_a0nLUu^vF89td.6#E2*梵~HUzQxy x YЕ(R\4$N{_jyEgب]//ҁ';<>Gʠщ 7#> $7G*5TLJ%a &Y1j\? %ZJ\6귳NԳ,l]Bê8Di=o<>=vO/&ܬF8r8fy =+ ״5I{MX#\83D!m}FQ/Ks2ˣf=e5s^sC?gl|Z窭DNIsh@pD]gK$)!I->]8iG:Е9j7DLӔòt_җXh4L~;+WЖTne: a^Q'~T:X.(Q<*i.t67lVl^Jt(kzB:]iWG.ӓo 911T \ y˜tFb]T`-~Psx M՘~_. 9&W'::[09g޹xUj'ݑBJZ4QҾ{v3 DkDg]CNZ eq; :ԱܿԉM >@]-HFwXiW~̔MU 5UYO^Њ T/G7{Ԭcy+6. &-w 3U= ;7w'' C%)кS7a=f|QM@,Jd>F rGM1) jk?$m_FzEpG*.;qG,79VyQ4EO!I{B)"ϲf[~Sw=ܸܧ+:w}ZxIYӈ?~t.՗}0iC徕2eײsT3ɽ oû"߱ &Jɳ\a\(;<-9t@"h? & 8OIյ?pYwZۄ|cJOrV t[xr#v) h$%qLBY*΁ve_fyAg+%jESrvҚz'lϋ9Yz~liFduda y>c-Sͪ* (Xi, GAnd . !!@6cZ}fj8Ԛk ZЏZi`hfQE{ .I6U 6j{g6W|Y+!G70Fܗ 1L7Qx*Wx]we4l6BT/%oTE,g$؃t%1:1JڸЭS,.3AFO,KXxy IНma`}C`J°ne+#kje3a[(wԭQ:ldn60c#jNyiK(Mz ?8~3cwZm8 [8RU 9X]@/!kFI@PN0Vp.4ˤ#Y>< LPl  ~܃vUUc4 i #.>Uf3nW8ŞẑQVV~[tVJmئ`<ܚqn7|^7l)y˹k.QI4zv|ҝGoGvqX7d†FCrl(G痏JD/dDS.ZZz_}wCU2GDŽAYseQ[#8Gnoy5LM~ we0=Z e5'>{"{.s`:51Ά"gUN2+r.]V{\o(um鬋Σ(휢5صf$% ULc++hc%_i}?wvV"r,ol+6J1J$jw0o> g9ŭ*kAzDsZ;QۈIVS=r97[Piv]i.ݚk6EmVV5㖽Pa땬W+fZ {6bϤZT_䖾z1;U[pAK&$2]K#77D˶ 2[Jsuu'ٔ&Q FֳJO/qa)ꛠ1uQr݉m:~a~{?6Ӂ n r;s8ped>LA/zv$0F'VxXKv1H^9K\!He ki~? W]l$? gO~wd4(@+?F7 l7M R6ֹCIB6{߶ŜuҰ#}[^QcBEN/h/lP%9 ? a|0\2{, eLP$^)wյ&c([(hbIAgF_ө;b@Ƹ73Asd3ٸ:$MV c'+zAQ?RX Rˈ[%&PSIFmp847`B`}: XpPku4~ xroyދѦ]&Q⊢IKΑ 29BC_a  ܏yJEs9?^,6N ʷ$F&]E&yIכ=2*_UD/+gf ͧV9yGia&ާecY0V8mBd$Z"~ 8D>=V } 98S$A\Ъ1L\=V$%Hʠl1 h]/SdLR  &Vi5u`ۓr ЛVMPoSV̡< }y#5IM_2ΰ1 _|s]u!XA rGWKdZ"=i)o}enǡ!:xTq-܅]M+p8J&+S[:.^pSSxt/7;l"_FK>|ѕ a+`(Qd\|Zch"H Lg殧B5A5#GMj&:﵉+5sQZ;Xns) &]|m*.$ùLz"8ǂԚ\l3gO`zEd}؈(ǠCe4VZ[vg4`y/!XJE/F.rۄw M~˚)+0}k4\ǣ9]-r;e|RvrsmM%oaxo1Aj:3^Lr^@ZRemgI[AtA7=ɍr2JCovC(m &ÉP=f?^`z #\" :#ׄ{V+r%إiX1:,19 ћw̕P G n.Yv7Ioj9vz 4S:b:ټ =P5gɞ9h 6@Yoww Y $FCqUW] :,^PB`tL% {OB'd2 :ΥIae!zͲ@3&gtc\sd3 滭 K0(aKLr K?S*)Ñ̤Ikܷ&9o`QEWi PުZG0#)}v2_{&D7)oo)??kWFw$3\.4@Xx@ i@Kը%*A Y ~ luu7ROάƔ!穿O%k?)"Yan+AE#%^3!KNJ=!Nмϛƚ=o{8)e״Cz1:i; yۢw62p)Bb+F d_Xju*<໅1WpWU~D9Xk/BH³)bhU,3'&=n^ bc% $|sVLpt\Lwcش8"<Є?&ӚPY7 EfTP'Sʺ;bF`y *mZ؛bTǡoUU;WJ;c*(ڕp )  @ΣjMKs iY^u;!y^J}Ye,L=SbY}hͫ ,GO)Pʐq{3h|tO.fq  -mNg>2td{uk]Ѧ؁fR]R0O+줳D?x?y]5b%VYx9U7G}|Y{-PZ8$*S"!ߗ3G=<R,@2III톂%7 txQ&aٍQj4}G$)SOk {Ӣ*4w~q\-ƫ0*N!F<u=0^p_>ꬿ^[@2R.6 ڒF-[\X;Jҿ M#p &^dNtI3x [%ֻpПFpZ嫇/X \uOjcXgtԷh"B&SZR;D]_d܂DOߢ?/hk w7*,\NL%D`fY(:5@k'TkMr1px{GQmP;vqf+snj4n<Ƴmb48EBD]S A@U^nXWLwI1x UVO~6 4{!ⳛ'vB| OhnTlNY.6%Iz7§9oQ)d%3bX8l 7էM'!+0*omeoE4Qw]3fĎWەƚ(xz̀pw2})s"UFB\6 f[khxP*Ԫ@MRqUEG\`O$EHVmf#+,! ӫ#tJk0XBXh MFP`gzuk4 A4WWѵ7 Lr Uwb>}R._x@q^4PQ~l4|$gfiU$]󯞎P!?$2@+ tYnN5PA2l3?=? GuN737x}:2f-b4\ Cs1`AM!С/'} {ՕȃOpEdˍGcYR@.A5k~Xڜ< S"[*B||P}{HX6m)%WuMU[L`H5Î}uʌʧXۛ˝A; 5;#?=TWTbz*Zo8`i&jҁQxMȃX}2ч #jM କ2#g2 :^aIN6&ƾ]Pph"ߛ[o&=+DUIBGŠAH.MFdiqObͣ-5 9V"ȼIF8q-lW56&e[jc"hp\wɥg7"vg j*FXuC@l(]!?h"ci$'0a'(B92(wvS,!2f)T~ea/!S𝷝 -0q);H6{-xo\T nr&c_>ZQ )*X@)Y cN3x;A8*aqO;QE;t62mma/cdg~g&tr^ߵ8gbjz_ɪ f;{LAy-5TA ]ܙ9OA`1}FO"3wiH=#muّ;p9 fUi,(.B?<]pðp"(GNvM c-nWES VqbVpS?m6E*2]h8E"fO)# xc)ׯhѣ7K$wopF>k9nm>?2HzC*Pp9):4i-U]R"Qxz[s;Ҍ:d3_x3QcдWdip2F*p)ov?vC V8۫cD/uˀ9''f˟=>g5 /޽UNw%k>o \eʇUc"d璈@ovLpK>2!Tꪉg0fTI.7Eifį=z$lizjϦK4؁< T iôwc0M]r$Oݡ*pfvPrYcjkbAuL6tzF2m5[SU8owLn=X->` =L)hOy{Pꪖ TM;mN0lܮy=̘Kq &?Ww1"O7$."7צtUAzo(2C.7gYZ6c519c6a9a1e58f3dab8497705ebd04f5b751427ca3ed9a9646231337b905d185bf29cc2ed7d96c50bedc0ca33bda17df45f4d535984ad7a9f7f2497