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 o1|\t ]% HOL-Decision_Procs:threads=6elapsed=215.586cpu=983.464gc=86.212factor=4.567zXZִF! ]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU1cz|MpW5 <;H{rC!TspNg^0>›iVȚz=uf{=4x~}Dd>H*؃5^H9c%NE& j0_C<}0[e6#-4rHY\q=|~G#`NX;$2=d3 Q9H7i|Q\L>!Xns[EYOf92XD]_kѫ 1 HOL-Decision_Procs l 1?= LHOL-Decision_ProcsHOL-Decision_Procs.Coopercode/cooper_procedure.ML7zXZִF! Ti)]9 ! kG GŤ٭$`_Ol5cD̳Ȧn (w1s%¶^GWQ1Z}B.Ev uW|y0l<`SuSJK~Nxǧ(4j (cr-۫ly򌙑euM UsE6.&yg@rMWXȜk2P`ey|(P.#Fᨏ T~nҖάbu^~5K틭3R ̝e2&$B@IqapF~O?(_GKlU!G-CG.*_S'5<ZH/מmp_0|Y {XZۥR>0mibN&OS>'}\% 8#+|lqo wxprg S31FrAը64wffAj.ZD$O $OXYjGHrۢbs ?DΠSvA 4D>` jtb?W$mw:kz0L] ~ Dp9Z>KF%MF`g*7hX%,99UjIWeI'l@}dQrUCϨ`_ڏ^A;ф>wW:׀Ȫ#A 0K|!zwk. $>@bBxaozDŽFb>Xogl$AoMx|'3UXVAt)>խ/&pe` Pm}DR(q޴#ԁXgqK# GWjA ?iw=YYa?o爲2j=ߍ %3D{% op!kaR@7Z;:Ӫ9LKt)'#z,Ie?<ݘ7(ģF)Ln95 i/BYüS R<]Inaڿrz qNft=9s[*d{H;tG!o)w/_K;S!B ;?^]U`Y4{n;-Ѕ۶:Y5n}cUj!L"??}#k;aGS=/V⪊NAڰބ%|eؕl+e]MYdkWڐSbjՉ-{Kmil(azs 3{v?Đ71pdƁ[phR"=皉rĘE::Q]am7%o,>1ʟ? 3*'~[zl9;E,&?Gc\X-+Wy|%.ޓni ʎLKb5Z$ SQBTUjq0ot2C*ʓ_w@Ont:YRzl'd\fL{`Cir5"q?|m (rџYP~{M7.8G2HǦtfF‘GbQUhK!T>6mX2$5i3ffK~Nj%ɧ'bBQSЄn-?d@0K@pXy Y3U9*1YF~uDV=Ny:qt:{k]+Jt;3sy; f`l@!»HYRچdfjBÍJj۶x-x;''߄;9KkJCs{<,ʀlw=ZY$ܳ%VtTkrW A[RdwRC }`F n1zb/x#͘YU.!lBoۅ6 Oḥ~o & g5?Exͻ`$`i 'ZDradL*H?@={u`/! ԬQIޟn G؆;҃}ap8ՀnP/$'ݣS)nBiJи!wQ,ailƲPVGSKrX}6#o0]JU|#՗;BkM&^Rq'+v?,BU s8[C_D 溔0li:F..&uPza+ [C0@޿NoCUr:[ xN' SDw#3a+.Kv"ܔokR|;iZVۻW)BI㚄Xʱ~8 yJrC]YOQYGϸQVԎe(\E}ԀiFk-LgJ+\@XYD^B.f IqXz{CEh|`Logisdl赮`E\!|Ĵ!oJ֝;> y=L8%TM@B7Zv+N0Yye= m=u|xRJx]ͱӏt˸iJ؈x|+LNj8gdoRE0u@7S/֟6OŁ^B]8_tup3~Գ䠇"B=Ţs.(T&#i#DJ){ŲsL(0F=J8h6(L#d&'gJ\+ŏ6_+!5@&gYQ7k~:M,1E!@g*JEkƲ=GO+&_ꬬ\ E", ]7F./Iv52@9AXl~32*UyEAuϥp\:ڷ7'Pf7פs כRe fjb%VBQjB9 8Y`6ѺG3!{m: *>RrF;Ѽ; m&of Y e'8\qWXb 5{GN㱂в, L#.b{PZy*.Ȕ,vx =%{=n^[rݖ*TjVq} NsτxSw&y5 `-^o[o`9 +m:KWC%B$ ;QlL+%s{uy$r0؉Z5ˠӭ $1Vm ܫ#WVA=[F{K=]U7wRphAn=l%T ?W*_h1JZޟ.pջQyl+p K,> |b\g #v 9ƪ,!y$f_=aNhRѰsN=ߞ21i5BaW^>JFӤcd l[ =h@D*̔>|NxNΣYlgb j"a,^eqvpPgz )ZZl5_Fq{P~)PKH]Ӑ̍So}ĪOy#f)k#[6jZ1QSC-<){Yނ!cb{ J2uՠ7rd& HQiw\`>HOXTohچ~*jRVt۞@\dzrpW뽧cm\AeDJ OV"+pqps̓~ XY@9PEFZoBLj$Z0ljvP!u4@R"ϳ.wS6OO4"!ۚaPdmcNWz{+Vl6"Z>7M E<1^AW.LDDUj(18 B R?0!I ,/Ehjj9]Tڂ$3W =R8?Y>h+ꂨ$*t|v;b C7U@ g̫*qO}P}> Ban$v^d.^{GJk@.P[:Ӱ35K8÷"69 ֋yЉ,Cx0ţ H){3䶄-rE"; GpYib6+d6߿c6ِHKgHWVIWlv"4$] Ξ5/LoB!`#qFw|9l'M]ӥ7g0`KnX"6|W({8LE92A;|xGE99L bNDAm gMl) ßi|KGQeGP>xe lNkg|?w1k ?Gϳh+]08K+sO7*E)ؠ:$Rq:%M㗰{~󞜨>BI`'Jf~Uzz&V\ty3XTt[0x]r-o({?"z̥+v,KwJou@֧n "m{[`z݆K#U7a=$xQIJęWeh}b)ouZm*g+(ퟌDl\xֻ6ǤB́ldKSqWXQܒ,I`c~1-Sj݇IB"0];8Br:w9V!g3JTre!=k &>$v' A|Xf^ Y%\Ll0(L;]^/a]h*`I@DKDKT/Ԃ$DBQMʯ z_/`[ \`,SIH^Ju-k]&芨0XhBzᬸ{o=@@C 3͢_vw "WŸkgb`gK'-vB5yB)_k >qkKJW %'$m/n>jl+uYi=!=7vm |!qM ^*'@o4qAåTR=5/zgsyb8{rf&Bj]Xdvo$()*$@=I !nql`4(mvοqy/.p@ bjU,t,UBE)כU:޹Q?@o٪B$(6zPo0r>,( BʜK ?knEK:b(qX{/3X.Turˆ6Zжvei0r_m+'q})$gt s[ѝ  4\b7>6r#>3M2AXDkˊV.#16"?,r+S9ԠL})^=-u\7O D@<fj}OD:E:O3ixGG~u[)RV%zv*0dֶ]BF 'J }Ɂ4Q0>J)]?|:sKʚ::?r5~agf̬rU)wM8>n:rgHtKҌ!hǨ%zUɝˆ ZV3ZaJ+ztPnP']Bz3oe X4ͤKg_BE!AMgG:v䃯Cl47Ȝ2MJǺ#z$//Lp,ޥ+1R-:?!#x@l(BXSO- į˛:YGK#r\'|Ĉ2)wq]qVsI`>BigmcW!U= uYQQR_:uM|Ѳ_ü5믐yr#~=h#q!]^\AOs6oVk4.ogX :-+sƸVYMkQ;ߋ&\K5!tnHB)oF$;\rdnN<fIe}9?Zc--wqϱ90'TƯ*#a p|doD6wdI῔BDtY:K` U߉iE?hW- })նUa[gxy˓!މNjɺ@ߖHnД< 9jO('^wN]\9+/kߺΓiVʠvۈN'k};˖ci&G~Dkt3C(!h&xXJQl뵋6kVrUT?ܥjIJvx&ЃSb.pl޽b:Y{!m+~L0U3%D8o0LSBVJd%ܻ[򗚤|0kC twܘ28霥q$F)z _F+.m;#"ld2S\9ދ鶺TT_b:M¡Mue"8)%J޻ۈeyŗq2` n!>ݻ9IIb@C&w6eDؿExs'p]5|n[exd҂D?*uQůb3I@wb2('CD3f2 KGwnKfpoCVb~]4iky >+ <ێ5UDtG0 mEgfGiش-thfogmIuۖx[e5nzXRAN4lwJ ;Ŷ#+h&XOt% +qT[ NfH\TU߰0;%H\E˟iSx1gYZ }]C# r9F>$8c_9|۸Џ}s)]LOy$shn5 !`>nF-R/O}dO}Aϲ}Pb sk!Q]s!kbw(r-f θwsaBi"n4b*iڐ-#_BD)|0P0%PPꆯ)+ld>?RssMa:`NQŝ]p=#={ᷔ#xd~.O(z4Xvuj"$D; [sg׽0d@X|e{) p>" Y|B <ia1W29dbǭRX_.cԙfR[e4vji"nOԜi=@HjzL{i&ˡА7Do!_LTSrqPj5璘l%<}3XJRXULn+MR"R7q/^,Țѣ)G1(vpJv`8Bzyא[at,g HSa'jyѤ-aMah;sqAKZ01 #ZaUcS I[\3:s9>Wy&o&58h(Z !,rHkb>/pBM rޯi>cL* tohZFTkqL?Y_ L36H.>G7axZ$}مu__JGҹ}[E,kC0<-$EϬ&*֐эu*#YV3`p+1(ع"/tl-xE<^2R6trN23g9 Z`vZe<rp,7˜tV}W1aA)0mY0maäY>0㙧.}"b]2jg {.Ż?TUž%~k{Kܩmlp9R U[9vDP;=P ZE>v_Fņ3)3v%PA ]XPn*ʅA{D%'_G?Okn$7Wz&В!۪"pl!G } YĩOOOn+nAIubwJAN]_],Lpׁ+uFk= :ruaPaHa ݏ+$:W$Ѣ@ "piMURajL3 Xz/?ӃwLһa̮;OJ1|K!Y֧ˍWM(5d(E%_4h2=D ǁq$r~* Q~q\y9%3(w_9VB},(Ӷ6> ]gΨ -UC%|ܻd5d 0|vwy.fGعf\s St*uY A^NLNY93V9)t4>u_bi@zJZUDΖrjY&r]4B!\6#\),?NFqABA^Fz:=[?c2X6kQfNM lm6^ RWhĸF _{=?xv@S)ոl0 }J#$=D_#efv۠nߺ,Ncd,rXߤ 7 TEµ1Z B뱲(!f k)ĺWIl=X^16弫-)A,{{ $5b{ &f(TSF (}¥d#7EHYЄ΢R3J侾jW8X{D!X%\}͑mG fAKa{6v;n17nI 0 Z<݄Tyut{,Sp:jLO =vJՎܾ߶x7EгUhG┖Xp/t@R{aӠ@KEOR[vzT# {$qg6ņp|Gަg\Q?#scǿ<` ֏Zs7<s@NlvyAPu)`FؒKrH/:S>Em=MBPdL`#$++岎f_3?l|΋jȗlj 6N웋mp6Ks<5n:Js`K #l.fV~pQ#J Jb8^1S Ø|oi쎈#-n%4稂)"s7~ڇCyׇY+OnތU-&D'2b{ C֓JLʃ?g%mlhʪC&@rELjnwq$ {3舙r@%FZO̮~ȋe ORFWEPXEq U6(} wUcVfApɨij5%ŅA|jAr>Fe^<]Y=xIf\sg8f'tIE'b`7|t0AzԾ869 O~* ?>x֤vEκVjpujF RPO%d Mжxz ^h֤9sBKʉ*ZqƼ5']Ji&l c~c1.xQ)cbfaN\) K*Iɻ 'FWʗR* B3\ tmPX[*<^,`ǛZٻ1,ڙ|\NY'f)48 }7YzL6n04/I 'z "\M>-s}#E'f4y"ȫp ^7)|xϳ+VdOtwjRNU"e? W-z@*ݬLOiD ;asϷXGu2@ns6<[%~?CǯTU`Ga/2P7&ʵ?#Z e>~;#3w.t ͓=aq§0SO:GZ20~z^eT^-eXg߉](40\ɻd(,n+)+RE[~|G?} #).bL N>7qKTQ45p>7lc1Zӽ%ȅ Ԙ&Ŝ;noZmܰȄ4G|mz1(1ߜ~!" ej7^0t+^^~ .AnNZ8R?L&c^H+VٻĵX[9ҩmj/%K]`eۑ|[TLGg:V%\ A㤽='âj 5j ʙ:hİb/3X~#0pSppՂ6{fٺdHl-sb錈t&Gj\ϛ7-%Ka:8;"b[H4!bhvըT^⪧b%ȪDᬯRt&wb Y +ѫ7_з*0VmNÊlS2߾)YoUw`!qqX$ՅZɸ^f1g'ocn'<DYǰ)k.m"-I-=gGgYZ7zXZִF! [Gq]ŗXi%B[4oC(g5:\oyXvl>n7)m/~^HG7&;nB8$(L&@7,{`%>)2=z0Ѕ:tөHI8Îk$i M9B /Cw+ R}dr £fxicR&ˢ8s()lNbgh")Q„1a?8柢*"sZ? "|[eӯ;/Jdfs&sjz'F_gM a.%% gRK) "9Jrg.(¡Ze6Tgn#+r zy@i3- .s!k׾ލn=ZIJ&+˼t^Mh䫕XHaW, wցF)GoQ,E_G }9TKS8B,p 772nw7*ɛFJ,uӟp}W4.T9eyYKZNC 6#=[Pe[tfb pƿ{ g¢R?͡JoHE5`!L4խX= cy.!/-R xpQyiklt !C~#1T;eqls!5k2ppKqbgD0SF\6OB vۇgNP+*e;U<(ŠHJ3S߷n,Cc^} m?/A!Zo>t>KOM25^ 6Zl;&pAɶ}7)lɰMheW=6;@| B^H!jHj]oÛ5~Ut[vH5 ޓ?r}ZHYH U>2U=n`u&(-apZBU9vVY}NK!zS^Rs2x#zSeŽP?ziBWEkgG}Nݛ(=(#5"ΐ)bA F"ƣ+[E13vAAe>`5ηx7쏄 WFk_{A3(>6Hjx-ӖI"w#z%_ y2AvEe|mFU ЇmBDI03ʺ[8ZWvN  `IczČ;Ft~[,} W acY?뿲cΝ_T>R*D,,5ٮvI/n_f-T5؃yWިAɯ)M+6] o>D=E:Poͫw)ah6_,B]BVV_&mEeAS Mkv>+!oV &1Zg4Co qb)I5w!&2يw娹]),q|[5eC^v7 Q %TN˂{Z6=R_! *9:q> /S Pjէ^\6stMM(ЃYL; dרJ{1?ȵ[]KQ7J:fHvl,9kBkajH ,TqEb.m ~ " m YrŶ'b6r$@f.^ؘ!li8jIS1"9nXɃ[5EvFjˉ uXqOܷ/1?Yb"o4E^IZ4[蝇tk aM4 Ը};@;3_p*p-ڵW!Iׯ7)[e0T/ Hqir8ޓ!S6%cWXк4^8I/4h1.+jD-ТFg4xAvfo&s9旅t\- Koj,f,cdJS??P> EؼU;ޙiK 9j)y| /u˫J,='AUU7H{R,AQ9Zw͠xoĩ9:3XŚZUHmR,r5=GB70?|LyMjCA_ZP :}}:w4)BlPºIP1N[D#twU 8G#c H)IV#M4s}Xɭ2EDsCC)dG>&,KiF<4TWV /kWN(Z!"Â_)'QcMFgŘڝɁnFk zȹߎx@pJQjta}-_|x _,*Mt>5YE 35 ׽%"Эs"S>Y QÉSZhIgeUj$|j,YjervhTI,CAfb!erّ{QtKƃϸ'A8d5a~i/*ح2>DH] 2s8ê2O;u";|nXh9T."WDS{Od5*2jooIyy:,(AHSAJ 6=4z! 1-4ܱ|u)Qkɩ䐋ȅP -n+G"r3!g y Onc}n_Ii<ӄcOَ~f%\/=߉{qX 6E)qDq]XO'n]aqFq/j&hɩ[wmrdxeJfڴ"~"TUzkɅ<\Eȧ$ϩ%a.uVkVB {U8'ܶB65It\^L$9UO q{\%YL*FA/a hXFjti4<5uߡo`2VLY ߮ *ꌲP4)ڙW, e3@Uq<ϑVDOJyL_{ Ȳϕ%<NEYq7 'eO* bs׏UBJ_u<ђ(э nt-m瘧FFilq4'eFm>#{6`mT gcs0ŏk(t{ ۂA{c%#(>6aei #@K-??7,2#TRru"`e0,uz{%j@qk_n0/z̞ <-ԉ7[@ћ2>+iC 4<l[ {&ٲ[C離xpA`A]\lVvȵMALnGѰ8l{֋7XZ9%ۮ`٭_+ D (8wsGYh㈈.Pӭz7 Lf`, [[$p?kJ h7jI̭T]FRA.Kڪ` w\09%) ݎh1~x.d) @NoZ< rӬ0Q P'99-njc/O쬵5fmp;}@鉳w'6 jQG{Yoq^ҁ52[ ;">&+k~EeqkVw3\+Gex Gq"=6SdV?Kŷܗ-f/pa@+hEfK Iolb{nNv<)R'E\'F%U%NMVsqھ{w=2#oS RabEJh"!Ҍ̂uHLhKnȪYѯ\=;3yp}w_m^GE%Κ/@&JNrcCR!ORf*E>$}M+'?ULgZF, M([QbEUn;-{r{a ZH˱HUtT\zk˛ !?zv!ZF0)}p)U&E c9n}OVzQ)'& W'xШ_ UY$ogGqJ,-4;]CԋDl`?/ G@EQ_{Ivx/|#L߮FLJ;]ҍX&.{~υDpv /14( KF+'9BCu5rTbO" 9aԮj ^,EzN?M̕&R8[dCZ̚PaS8x7N.1D6|PpV'͔+c. *{[MV}t%t{7r1C2[bYs./+0Հc p^Cg[ *X,8XmȈieQnKO[4VFI70* CH괶ɠ,AExd>ZMFoՀ0Ḓ|#\43ۅ&komP1 7%P{>yٴҎ޺{rjc# $3Gn1nh/s 5FNk>|y] L&pHֳQ_X0#m(ִjJGVv72$ J4z#|?WDd5Wǧ=DcUy'gfnWLCΏl1='|m X4FףSdnRsw FQ3Tyf" WiUNWJFXXTmqOܲMQtiɁ0P$JӇpNPSk3]wzZqHv̺XW-PmTРQ"B57S;Nm,.}E4.px}MSկ''֕lE{w k"?u(+3A=җ\Y;9AcC &*:@\$`&G=x{RԎnrޤ/Bm pUm!DllgYy6w`T!ޥ6%0@ ٮ\a7Ց9:!&I/`Wg": bH<\Z'Ნ`ѓ>q{GSjŜRx6;' %<+͟/}5i'őF>/3_rM?/E/c6Yn>pzb~Hr(F@/hG-cv l/oj,*-&blj*/r oPjJd/ȣ {!+'1cnUV<^AJg8BMj^CK6@շ9PA."a2M2~_߯P(gO]r_wi'QMz U*Oe/QQ[bp?b3JGo-9K^|[VH=W͋:ѸW ,04na?=g4wxOcC$dE::

{P]O8x.P<6VU3񖾗cLL2R:[=j//QWOGKw9P)o1aȭHYJB=Xs$z҆r#Wy7{x05zРbwFMkdbR)䛋]0 qb՜-.e z0H4S؛b]o8"{2,6`[ݲB[TMi™.%ff gR>,U /UyPddE3mlOޮ25T,0ZS#8y  Q?'F0(܌p3F쎢%Hl:tZr[_۔ޚ:'FR*fގ0/o~JSFjexNPTAseGFQB|S2?C\e,Y/SbESno$oUc'cR:cGnhKa&4* T' O#n`*Qu'Al*1CXO2,_Qn D\MKQGU(ʕoy[ NknF,=+A tp~ %w( eU=G| $$['AR/pYAޯR 4)ۛPҬ$4Ìekʨ;#Ez`?O;kӆ*ɟ"K; MRpCs R#Wu:܍ZP^T[WuV{G~Pp#>ZU E3 4Ag?\ %eyDu\G6P9DvPcfg̬+4uS*("bq&E@uH߿5Y>cXܶ|] @ۚLԹY ymj^/>;I>W+75Zʹ,Rz殂{~:_32!NP)oeT90m$y;ȽΕkt%?>? @qK`؇oP`؆bt;>?{>~p0gHŧI4RqLo~_d='oY^Cu/-ѯd@zz[j DGg Y"91Ƅr@2kS2ؑor#= D+쬀 0^_0Ix+Oo륿5Ȧ7wCcLdtr$Go ٞv p$L T,wo3@c{;|}JJ.+Uo%t!nQp!@濏*˛XyU˂GNgH1u(i^L UJ@#`6TjR{_US Al{]{eL%V!mm4tbvr{-f({kWΗCܝ?HK'SfhwYt3*>Uon9_'$r0*1X5uh5jkQlyLN /O*.+_&\5qCƋ?Յ=߿^T1t(5Pzn gm]c`R fD7ZQn¤7s%ds>Qs+H<˟؄+V Ubی*k(/Bρ&\?9U<#ผX+eg/`pZW%1, {q{E& B&).Ueޙ*#{ۯ[5kX Th EEREiwe lbd%[1".IK$wUgP5]>6M:-RcBsI|l3<LXǨGv.o1hx<~?QXթj. d򩽋霠(Wv&SA jʸ-/CXI貵B `ԆYv3*6d$aG < ê9ËВ1|tSQ7_- ,/C0>٤LrfЅ}$D-CvZqS`dG\ŰHr|Q O[[ ~jShDQᆇs CCcٵd6})GR$^_I ݚ4F0/]$Jn^<KN@"_v>"-]V#ࡶlgL˞Rqq]c"tN'e|;&3n^Y0."W'J*)^+0@$ x zėkBga0m涏D׺ *20Q)?bV 2edeMj*+J*3Mei5= -W L-8SOɾA?`̳Qo-LWz$(}>Sޗ C1"7hk }VMjXb|ZJS|'bt0wCuM= zX/nB˨76D #M_z1; ;ǎ?>:(@$'\ϻ$VK\^дhlG&::tIab9O&<&-طrWD,cwՈ,:vj.b"v-[ˆR&#Ǎ)M jzŕin8"`V[¶lJ9V#e7>NcZ`I6mUI_5_,f8k``!Y1z 0& }er@Lyꎁnj-HJU*z発E87Y$ƒD+ܵ7z8`| ֣cބYfWXxgRL}ȗݱqNڔwҕЗbˍA&5FAXO H]4RS<Ӟ"7?Ӣ3MDH9 {5М nup1^!v:ё&0c]q*Nvh޴B)mfLFⱅq!`K Hw`ᐭVS1L' ÷vU6w_.:. X50$eԠo;.$wK=:`4qb4,XHDbHͨ ܧ3Oi<4ýV|r5`(Bza@Ұ7L>)[=y UjF5١!Ym̓|5yCk-$3+z1p4N-vZ9DDu^eSW ̑bbuOyΒ 82'6mӃ.-HJ2^RcS95Ť9'oṃzƂ0jcumb[ެG9 3Rm7:~s{fb!ƫLk{$+7xNXge0\Rބ7O $YY*;]nr~1)q>`~_Ɵ=ӾIxR-wtOyYTE]r0Ȋb}>wCX}]&Z J8Yc8y4{55Y4zs`W.dOHAA^,l']鼑NO#HlPkpb }'U)?C2[NԎ5rکb?Ԫb:K.$T%N4rViSh?Q[p;y9 K't3gԛAa7HK!g7tDh&Q%5H.\$E%٫1 Hh)+c4}]O`%P9}y8uO|À6Q mK#0Hۥ$` /̴ We1unE*w&;ʸ-H$J8fzn$FAS#+u&Y\Q솝W1t!-yJuĀm7B 52V@+u^K(}::'x&MifĊ|gFMd.*r$qVg-EIp*B^$)h VsgcIioBzp!P6q~@R,r]`2D2=QY &M* :o_ͭrK)i'GdM`d;` 61S0ASxcZ}iuˣ>9-s?e4` ` U+6 &=,fьg6J-6[KY/,x}kyf6oy^p+'KWʰ=; ;Gxu+4b$W TfJ>-qPƼ3=$lXf6; $PD&@Ҹ\o5j޼.weCqq+%/iHZjA[$vGAR@s3ܩ]|0GP"t>ll_Q]. ,Z$Ⱥ#4D{fZ@j2{ODURRobsk¡9LUH.] @)q4f(&0 Sb ?ZC.y?, O*=\o0i NGbukoᎣ zue;["|.JǢ0.\ ;Ct.[S;qo*Xxx̷8@7q;!Ȼ\$2('NQ(1(JG"xqP4lx&aeQ%<˚IX;c?1->eZiCkM1CjL",>+v]6(*$1q{j+H,4O:'@ՙd!= ow.`[f^=4'gHR*y\0b=z O.+ZC!?h) a!ތ"#ա(t~$*P(ӫ\5pouK1M'?*8SBVwc%I6yf4Itc rC0T 5cuh #HRU~d06)E= z%AΆm'p rO =FNF!le8XJQP36K{6Nia bu1ED2(fgמٵg8ηyk~,*|@0]CS ]*&BʹW{pS m{vlƇyHJ!&t굎m]̇v;{F9Θ<"1LsJ"=hw"!gD^V8:̚&;{!Z8 ._*'! s)!TS2 ogzɕ~1뗘QK޹CHFp/+.6½"> p=AlCP*`?=81̳8o m]b21d @NХJ~y+"q\ SE}n4]wgk3*u?XŅ= oB`8mM'$ߘE?$fP[maƊ6ڠZv9E$>A{VYUݢ9sQs3LB3Ğⴢ~ڲ[j$lrF.S{nS&+s@+=a9Q{4jKZ#c+y6=l_m0HTb[{j&8woՍWZ2Qc_;G!yGgCK284&t:҅v%Q⭑tcrV]ܵi)9'0*)ʯ6T^OYNWx^clc(b.$bw## W]L$PݞJs[ke=ؔ6L]'@NwϟE伹)T|Q0o'dXϞY֊Goï|3dV-D͖pW3 8m>-=S@ӵ؉W:ԣzUNx <=ԐN;ҷ凍pP{:%#CIQ?%@17MEx.J@ϸ^6r*Ҙ3m~)el-Sp?>'eN0"Q b~chF80 UM$k >051T=0*?BEKHxI).t ?+٢ ?oZU#_ZmUnA߻$QL3 &?stCpATtRa-d%^d*͊hZBT kZX}c`.X/o=M 6Lw Np2}K,{,`[q;;PZ{)Ui>쌁qc۞O9 IWHtȬzN5lgIRltw=R =I$c)ZsDa %庭EJ Gև :@ֈѩ"uL/,('pR(ZzIO J_\,I[= V4}j-^ҙM `OYɄ$5:g}Le5DdfckagJ!׀}~kTxZ'9pl8뵹X X=Ta]e+:ccl+È['I-J.mlw\d2 vR4[\%q`d-MEIZ'CpRZPAДH\l&-<(uPt"-VE7pqb>XU1eJ.\)Df&piwO8Jt3%ByZK= C.UȆfm)gJ-fyi3|0W O67RŸ`ㅹ1Q֨=|^ye&Fiv/z16A=˗[p(JT9,]ۄa%P -'s9mQlZ};m9@@vuX!B\Y e>-Jxh`{AqN4~ v|fs[n|JBn8/w5RlYHaZ%3Q~Vrp_`":?<^". h4?Ԫƅrς={[g:ʜbF})b1/ @!YUr*/6IY+ksN.6z%F[aZ d}ۻO *Eb'"{n'W&gHg7P\0S&9<}b= $٢Mv_槸G<Ϯ)E17AX1 *Dd+,cF;u n,D/vįAȏZB>x vSLj4C b2-K¤1C,%JhoM ?lJ'W;yYuF6^7,PYYւxuHv0Z*˷%L@'X.EyC2*} 5i ݕgYZ47d5660019e6c2adc78939b97f7db1a44cd4e18f555d97234e2215e68dcfd0a908d191212ea0a6bd 2fd30c2f107bbbb7300d851cef8487427bd43e67 9b7a7acfe116f5e04c67ac2a6b1873b9c226bb01 8506ca5fe5ed2fce124a3afcb1ed3c90723a7f49 3e1617f78a0c4c54e424aeea43abcf69402c18ff