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 ooq1llt ]% HOL-Decision_Procs:threads=6elapsed=236.178cpu=1109.884gc=134.596factor=4.707zXZִF! #]ŗXf1-q恈ŕ׬[p){thyՉMx{$V;g֍SʑU1FmXߝr{лj9g4=섄GϩKJ' X ~~m+ O4t[y!NX1RAtT4Zc8]|KbC=1Yۭ8DgNJ,= ذ [rbW(*@{z+H!Ɠ(3V IYCSwLv왳#p(ˤX,}DOgC.[9b8[wDrw3C.xը-) =nܗ2=PD$@@ڪI# h휢pSXNc#4))aD>p/q|cmSh渺m2횥όBFPHp{\~% {ͣǨ"$Ҵ' L5A&Cu 3i-F75ʈ'˺.J"O,%jhE-RDNj , &T mrS)N9C2ΦZW9p1 &@[n֔N nEoŽü3D,f SْQo+Ky*|@QYO [fR,2o"hvnsBqZLSL^UsO} :*>VfH}oM봤<3Bߴ\NoIόk8\]>٣sG2,jVkMlC{읓u:C2Ġ4Av@ uCYe&%p&E-Sd(=+!*׆#W5x޺ .Tww$0uJ{<(i7] ,n͋Do,{jY ]*zzp<+3g&cXW{~M67Z"VSk?3{:ض89++,/{.u{Ci`)+$:bBqblF.$[لd4+\҄A􋳆BU &"T:FrIhg+m@DVʹ3q=)?HoTQ]A4Aw1RO[GG Ij6q5{IExh=(.ճ!g^·r$]:ԝu06u g6yRZ( t;,[M[sSIW(5i5SB|qt5By09{$ed>沠֙Kch&)Rl'gz>+"uI݆>;J_ 7 ,2S. arrM>S^0,&ZQ !fSb.s|Iv?BDi~\k|b<%&Ww=C_5a-´BԅTwo!R{I0SDX-Gx6A hU[[N7`OMr6ק:U"t6'¡:zjqun,wL`XGOS%jm Um77I|IxßyVo#%@ Ǫȴ|\Vl#<ʾ'rTs%b"ePh.<sW 12G4Lq  )'Q`X`PTHl54$y}a2.*<a*ZJBɢu$/̐CXAI3cXT/zZ0(!_=K/Nrl5hR@s?hcEOhr>/p- De/](ʸ#F$ՊKED#:= \Zj}%A% +I"B [~ 8P WTIq#hcQTe=) l`84b^fBe`NHjI%H wq`7ƽוfnS4QB>2x6,^NZP<}]2xA˲FQ#ۏF?)^ڳ5|JWB`PB{_Q|uſ6//UGKvzڃOG;ކCeLpL#4?\xaN6n~ b Fʉ<$na\JJBNo9pieb0Ͳ+uKQvQ<N<~K'ٹ4B7zuPʕ!K0A}~I#9y+$9(+@v8(־!!LDzf j=类@  oʙ#5 G+!_fp*%#Y.S< 4F Hqf^ڨ1E@dV#ٖJ.2)ueoU_8D}hT77ജJOR'I+$\+\^WD }=pc 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 c7ei}5m9a0ׄf'3>xg m%׫d&<2!W:ooucg+#VT{s4}.mPcP})+u5*cizq2mup{`M=Z/Q4j$Bf,z{8Ϻ^H.p(BcUNfUخ|dl_fo.,y8u1`XLOV_vԵ| epfD$A3Mq*NtI*!uo&+ 'mʔe]R kYxY$╧tqb\ 3Fuw!MռqGɭаfG~Z\{s}vor*[ȕt":A~-#D'P6|Y8k*zV4g䎗(^G)C>p/0Cb..oS%K/ #+rFnuwɥ*7c=@nk?2@*80v ^ג{ D_,pR-k\of!(F.TlVGsr, 8| pM?2S |$#/e-0&-o`i{𔡇"Pu#59՜ҰOws 9q{.0#0cRQӚqm58Y*ƔI VdY~NJ^&:Pm; nguHOFRR1ijC)*2 d zxg~Qo.STRVaƾ' b;?k&-Bg#QlM|S4N(dvCmYq]’Y^`^2"DZ<#;l2֨]+d /S >qrڜʹ7rSq!oMv;չPxAr?WefwW݁^7] C1v;TibP}|pAЂjPLjqqطCn}Wf}$_۔Fo"7SbFy4B@;#5ʋu#WTYq.n߁t /Yp 4/D%%`P>].[ga|e%tE'|=Շz b ąz(žM$lQfp>z3kMhbW`7Z@\N~^ Y>!IcC *7V籚q(n;n.EunOo}yӐ^cЎPT^T"ob8$+n1:.+wا ,W.bWGh5>[NJ͘!2߻\<6"i oRdCqE(jG*Pk UMv(]]zrnAdb9vOÉp HxgwcYvl`z[=F \n~a-7Y >;:A605tM|j&*? ȩF1 wүAzkB4{?|ڝwŽ26H1TzlHnW\,B0N$՚N/PK<)1թJVͽ%61p4`Fi2X4Ko^)WHd l6缑h^=!S/>VAL#D\RO&Vi`먜qKe@ g}_M<-1Ybq0¥7~%0Z}@* MHUٻn\䩙`P/Q 3E.ې}K:%UZ8ʺ|:-X:|1̩mYkaҮ3*0kgWD&|od{4~*H. KٝrT^H4G S1~ףԁwkV6C24 Id3 V~dH_gNhǂD^{}ؤw̒3e,c,-D7pGEyρ~$$ЈUcűS`q],D0R1yq tT2Gv!߯P )A>R:|RzǴ*NjT!n23MM)4%Y:ZsyFot(ztmYp.u=%8i^))~D'cd"nE -ܑ4iR)Q@C|lY8` @,u#L;z]Cv|#L/Yv/oΰsq,1uW' *r%YKX<6|R߯aY5^|Եv`;t)}Wf܄9C1⺚KC->H߀Y9vhwR=Ń&'ʿ RB-͹ +(9n qGE ZF=;%JƏQ" "+;L {u=EV;˝"BF4I.W{B1U/1ٱgYZ7zXZִF! \-]ŗXiɟ17L? KxlWP8SաM~>fٺdHl-sb錈t&Gj\ϛ7-%ɖI&WoB((XƯn}IVȁA:oFI hy=S(|ѳW@/Q#A`6}4p_`P[RTFP1 HUA z~6r.grbabZ oUdQn5Q6s {=d{U2ZE?f0ڇޥ/VE/d? :)e_L.ws:ݻfHDq2>Z}hv[E\{;\-/bGGðV-n㋅OFܥ|g`r#\Wkt CJ(p1/#67Xu#ďW~ITgDlV)=<PL-&˩?A~Z)ւbkPU2R!FlQ =O20PXFQ> ~yf9<o@K}ꘚ䋣/qޱgYZ7zXZִF! Ot]ŗXi%G|ژÀT>-6p5%,ӽ- $𴓌U=!djp~I$H([%{ RO-1^,ۅ 4BI,׾<:g(݀^N|54 G ,j/<$k`P 7䆻+~gW'*~Q[ETm\/>E;1D85һe& c9,8J: F^&*)竛]umS N}Yx6^G7*R:]aXg*w?\P7HxDZ|n6a-9@x -ɫrZCۧV??ASxk VO0cUw~F19$d$ e1G]uX/) f,zY D3I_]Uuo'R .cc DB'ƞִa)$! >TX&^NK Q*ZrZa]PexW@Wn^ڇw %\Hq3uģz)I J"G!,f 'hFxa\Ub[F 9يYy4`miXEw9CFNz!rMPuG]|[Pb"2Y+Sq ^K%>:JakF@BecVU&pNty› >}qBtx,zh | b@d_54oU"@cwz={Gg%x{f ~A3L2 y[C7() SV[i&݅f>$?|4o:lœ!q\'ƞp4N>*Ƨx~џFĸ;籪[:+Ƅ ciu>~|Ŕ(%tQrC)B_ N/eu'XϭMq3YԻlܛ6ecva"MVr0ڈ-sV\hW^mϳ1):l 3јہ.#!~f*T0=Y:W52H4;p0o Ubȷw6zH8EU"ݧ6!|i̗c>_*=@ sڅ[!\xz7ۀlDOn!ǙQK lSoBQ Vo|S !]6;NFX}|2üu=V 9ǐ -vxe$.ڧRǩJu9qĕw4t;ѩW0מH#R~08sۣ` 44eξRd^˄.S)_6>An>mBIZeN{apu[ܮˆ,۽jJx43R_G-HsE؜Vvد* tSZ67J=9% m8"A%ٚ$ZgIN2c#-KSP}ꨟNGk:(ۑmsqeS&p@azJ Z?m2-t *ם3's frG%3j~ kqgj!nzsEpx@|IGl fFmٙu?F8N4ͫvPԫ+(m_z2>eV; [q"(l vYdw2L St\ 3o^:i[p Q7U֨P3Y#wqX2O Q,K:fkHS-:̙sKG2PF l6窜"#y%:0Wٝ7o"-&6%?st d9IDz!] *JZb LqVa)!g939t]Mfx]>Ь̶N3oJK†0Egw"Va̢M OA[пR'TIhKT1~X+A:V+ P}HuiyӜ:M[ Z,` 7 ^~ZBҺHT Utf_o6T\Ym{8vpN2)^< մeƆ98(Ci )v?N]a:pUG;aV~GOz3ds&qFs#Y?$ex(gRt~+]L^ȵMw'Cpy' Al;6* :O:?2yM;w;$,]W1wL{6XM-dMCl_aV#mi1])WWE,LFChp?Ec 2ڿ+KBo/ =BzXHpCp=(O oiߪ.Ek/f=1JpMfik7}\cULS#H,4&^Amo&ͧr4K*S"y4 V쾜nY ӂ|iϺo!r9[ab89_kZ~ 8E6rӷ/"H`/gnToн!Ж|+oNl.}R,^,ϝl#QB q7W$f? 7rCL8֎d;rֲx ˩WZB>gy^6fQƛwŏC$U\"4 Jn/I7: VvMG#9g @Ӧ_=hSwuҽefnxi%&;6)}-zU}6O$UcM> aVttWKmfo~nAD'Q ؃kڋVe;%( nw b%n~ǦF2 e O߃N? =0( bp&݅jn^;c3WxYN|w[hFTU[]F`B߫h [ܧg53B z W!W^}TGJ }{.hώ#r`smF|'c 6ֺ;&WK_͝,%p7h-f[gu80ni·Uk*5 7@"H[-[-E2POtVJE0$z*hIVzxj:ڳ~'t)uye1v1C}oؾ9(#'瓐"4ȱ-02,/gThﭓ$q-~%bL D ! !vSr> YFLDZ.<`,O)ߏr1SZaZc~yoy@)%|o\)JiN KI}čM$ḊIEyV3O9Q9a}*\oD 2J#f{ ]ayx%$ff`Bm3 0P/߉i !w?5Yjo|}K~:?#S0fBlҁ8h@JvL#pڕ5FAJr4+Hfsk+̿%X,f|5'YRfB6Hl/93N{2=ƷZQ)Y"[Zq!+6҉Fq&fOՖߛB "缼>M;@h>I 8]Gغ@CHg?3TZgUlHB]]LI-~}M:c~]YP FPcA/FV!єۇ X;F-^)e@. Єrj* vYVR~_ʑ4#0$FL6TmbQGs.OD $ndp\@*b`Q$ (=1ᒤ^>8_8\ʔg4VΛHSokUu*oߊ7O^`jCUtm:7~/ٗ|]i`fʪLTJN;v٪fbp=`c2gIy"S#PGgZE9ͼD;NOnK+F  l'|IQFRfT0iRG&`ȗPM?\'׌n,Ý-H˃F|,5aV^>1OҀ[i\W7CY\r &Yњ\a5-:TeQ A!jQEn{6xo:9FeCXߥw}!b, 4։Q,6~T ^CA%nј{۷j\o6{2 K<^ -QXop5 {mnnB!i ʱ9 <ƫoa_23fGV%0p)QbTpْ=Pt,6 }@L>*51xr>TjJ`  L|B~Lg4ewbP{D[u\~  vA*1""k3')+=x;~Αu*'4w;9XX/DpssRPL(aSe]NH=59NEh[68Vۗ1So Z j4$odǹc 0{+ɓ2YhЄ5CuxWeti`r9 } y }Y86bF<@]&*]*k `kc?Jl yAih!r@3Rn@Wl[7R}|Ħᙻ0Pgwc3CtB?^؃D([|KT0~Br0(ĴynT KU#]+'SqDvȍ kR4eYn"C=*J z{ qA٭ =g4?c!*IjJZBgsG]% >~Pl1w^I]MȞLb۹ z9 @Wa&EQa87=k"T @#B?A 31< ?%꼃 SN++_J "{brDk6fA*pr^[=hINioL^ ڢTx/bGs0хw"V0raF=s\T:7>0m.ʅLIq kC5Ev욯v#4 l XE!DVyFnСlwN.BeqWWfQQkvn. [F !)IW; U~0ٸ+5}1ys~q,JN~QЫ|! >˗"D}&~&Ȗ[jgvnxK+1J[<S9hȟ#v"bRO'$"%\]c~D,`mt SHhe`H[MכQ eKcA0. ;U|G(lLwm#N9-?7C<Bukur P0[e2Co:j:CއvplGJ^/=|AҽF| sL|{*:x+CǸ,i[V 6 d$)D ^DZPOHU/gx{ m~pTFG ͩrh)Կļ#hN:AP } gDG\ПF̸:䊟}Q5h$,=<`l ?Qk_T C:2BZ|7p#T% {U;R3]Lp1nņ Hb iػMhaSg)M OVd0~Lo8gـ ?vKIV cn/j./B>CweCGf_-*'WX 5Q цG5D<}0cLAi4@f s_LXT<<'9tZX?x~RΊ2דBWFwxi5 'B+u$ ='o}8j23O XhrmQs`c1bJ> 8kmͅa ?8w&].lVuPAi>w@7ʿp;t>;29_D\ӇؤHJfs,ݣ py.B;!m*5';Um|yz݊E'~)]/'k+9q'[]'6Vp!;\v^mK[gXwzt':# )1!VS<9Fz2en.}ㆿtg٢wyG8 K[whLg&B %XwsٹNsx~ܫNy9E!>:ktIk>bSU"Z~AB9.Rp\אO$(䳶PvSy5_-lSj$4ߢj׍(qnG˕F?2Qan>hڌB $OO 2QH?%]?LY1JEN$v^gX_sVܙp=D8=^Pci $v-ML[D K9\?-@n rjͭ (σך'E5.NkͧQ+#}y<>u(|("}{Ź 94YuUJ*KQKQE;B=ɤd,.o^>vPr}Nq nšj~GZT8O.*ꇣO$%yzKaRwEU "OQy`EݺE6s#D zZ$s}zJ)xplw£(Nh&c6Dlڈ 9. V9r=N2Scj'2m=Py4FMwxxp&6~teгc+(u.M#yh Hl)_ A8!H~Wwǖ#;Έ:I`-)Ż6"A2OTϹL"PxG=CݸpJSs=m"Xsng _4q_cM{M7m7[멣BߪmUR'gM]/ @vI#OǀA&*N9 0rnh?;ͭ 1y'Xc\ x˗[roU nsK[2'*KM|j v:<Jת]%:֙@;c-: h'vr()ZEᜪΆ(Xa KcOqOyfB9J]r#H0z1z7+ƚL}G&6,Nj&$ineY?Нkgػywp'߿3hwO'&u Xx #`gn}ٳ/=VxAP% 48h'1* \n+#_CTk⟛jFRE lSVw>ƿF&59 H$Qq)CؑtN/10DQt-fkkU8ց #<#SG~DzZ U2. eeZ'y/ 5E97$ I{#츩@Dt;n7S{hBRz6G 2}-%ֹ=LUO,~C7l%[.DB#7Q6q]r&#a*ÈQŚI 0pmbM{t~)S<2Зhܛali.quG&>XpUB _LM ]oWWLR;w\oHm?qꯚ=6};ۙqa* maT n0u. 0"JPOSU`l)7aц0hR쨵QO m>ɹ-fVNuYS 0t)πlj -4h^+gRN~\MU{!v vζ|VGa>Ň%b&ڌPG8hMIe׫D\_%  ԃ .yʍ6&mn~(ĩ(EVX:dxCݜoW;ޣ3: ;;wM$?A+^G"C6L/e<ݲL<$>AߢCu?~𜎿q.?h-a/_N0P-T,4lIq ]2HR a0~(ǒn ~T֊hOJW! ȎS>' owjJ@z٢@Uxò`{x+FVߦ=\myZ$2.RY8<[PݑeW'B%Jra(">N\e-SBJ.:ʜ }sq xҼr#, I<' gU>h[N\1&e{UEW n-7aт*ſڃ~ jN"mX̣u.=PMuT G` +Ӯ58-/RFju,z Vqf'y/|/w"0ͪ1ޥ\>(+ ~ JE۬~e*@" Õh :_ FrlLIPͧrT3OԼ:%,@VhzQ1 UCǶTOS[ @QFy\fSUֿ2NrwNEJ p7I68``$mkFdTQ仂w `s=z<1tq2r?ϖv!Nx4z NB0jX ۫s!5A A~0ڐD許wʎ>t" "26s[AgBkWՕ~t0E5w]#&y ш+p[ Kwr_WyI:=9b ( = Hkư2x(*\zhӀ{h; ld]VqC5OӮXid8O -H_o N%jo'qWI6_LaMm>[" |>A}t! k6n"pP p<"t"s&yq>bR\A#+mp<]OQb4 [Q rRbv9KIJg= 8qurB#^&vFcE˚s` _КXdwլ?lgedq~ lI0Z #\JV39LQf H1,FZ *_@AL,0cXzd؈C^wi2h:C)nQDt1?efM- g5R(uwrwu;{Nv( 6R,\w</fn .R_7`P>םL!Fogʗ4@"0 #\^bWʏQ:fCl7zgRi>#ht(WmCЪ|nDEn~1}f9V7J!7Jή8j yh.<Sua?oո;NȇY͠K?(\AKk-a.ٹpXueܨ 2\ 4<ʒJ8WZW"5aakj.V&ۥF4 .m/MSj iY 2CY}'1EqXS7̾uh0qʵ*G:QAZkT#̇_L?76\tU@Vm稘{ |.T& - \2q9*r9ZJz/FivZ,, Y6CQoZu_TQJUMӟ` k<4 e{5/M+6[2cSʦڅ!\23?:h]~ߞ,vXn/MW'[e GE_)0_sH(qS** mCHʮPcD2 Э| &N F}|k2Z5X~:u3x5HI xÏRS3(UOF/Bx C=qE9W dvULBʹT]vBV,qǂ7)9TE0A)/t(_KͪE@3KWYO"ͭ $ܠXo?D׮^qeG>0rBV@v![;`7SfJe)~֨8]O8X<W1Rb,sK95M ] mt!+5xILՊƩI.ۅ}gLނ;UM,a~C.Fe UG39nVtYՍ{CVh̖_8b֕Βuzs$13n`f9ȴGg#R+@v߲=u| nnԴPZ1dU~Ly &p->fLz' 0 %4w✓i 䮶d95bc,oHw.e P6ۚvM,)7L< 6Kɀ3l7T@ͨ#,gǍ왲1YQ @6\Dֹ;^ͤ|4E+j%硻 o, 1^ic|3p} 1@ *R ^:?1jG\>?aR[,m<_{K'HתQ K^d}Di !vה6ßPyaD$$?x4xǬӊB/m "5̭YL-$ n,G4uT]pyrD/F{,A p [y6kcykH3]BYֱ|0YY#l3¡g1{O^>:Ts̠P6J,k|RmB4zG]37̞ɱ3 DXԸX2% &r0SE{a]e2t%URRZ Nrnr G@ߔ @q49l78Z& X>J…oZ3@3 bÇV Nd.Epϲ3~I Y- xr s F8U5_\/S:f+C!^^`.eHbu;KlCnoR *.$Ctu]`%tF|vAtIӍs;W G`h {&K/sޑfuѥ,?Bxo^]?-*&w1xOH2g~ t/nM\AO[^6GDڛL*Y[s-2VY/@)68'qn<HoՈcLƬ),_77K/ m.a!vjbAڴPrS> #Ӄ>Չ!kƸ$Fdf`H/MW2 PTaG06 [02[N[#5 H,P5]Hl'ǃ+& C)C5Dx]u{(֕7 9!1VG[P:R.'u|\+*Y.mjE^J$r1,e6hYʄkDGi?Kb'GĉMlt9P-kJ:25Duȓ ~xhjî$ZMjg{T4xli@PE'lږe@L wB:BIL,R5E=XN{]HR1DɄ w \6XB[mڵW^sC1 Ќ{ ;fPt+n"óҊHB W/:'"0,RD.&QǰI`Ec(hnlf  eɯf\$L= )5eXS $8dX~_xʕw4 A0 mGe). 4xTeh% U,3a{g]Od%tW8U2S͸`B,[P]e 8>Z!AhR, C KT,õgj@cw5a?%'CKk1a}ј= /4nW_ebv  CmcOQ6y+ 5>u.nסgRg|޳sQόlͤA hkwَUXCmeKҾNrT+K$G vh[j~ 3/+xYiZ]xS  s&qoĨ3; AȔ!1Cr=>Y-At=֒xU} 炯 o9aRt$f";]">f|xA@̐ǂ5y`+}kj&F0||V0 tRd`JA>v z%eŹ^l/`Gd `.Dn1;}}Yu=HĵX–9Ȗ=MIua7ᆅKӋ1&ЧeTm挅1d1Ft_ؾ D8:Nka@Egpa9ufٝlRF-}.1}H]: ]${ֶ@:Ryx%N&ƴ'[ҥ/T _? gYZa645f25d484cb8d42c5c7935b2a70f5d70bcd5fc6e17447a00107a84a0d911955493ae00a345bd11 8f7c907bd2182684f053246d01bc6ec83b1af4f8 ba6c7bee358667f940c2d372ce3441f58220cef1 6cdb6136376ab21b7fe186f7bc34f22b02086986 ada66d867d72047ab14549f31890b43245ab9a63