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 % Tt ]/]HOL-Analysis:threads=4elapsed=450.339cpu=1584.268gc=88.404factor=3.527zXZִF! 㯮O?]ŗXf1-q恈͐7ӺV d>`;Gؽ8nt*q* .#lw gh,jjk zC>8V]qӞ'K`qRqei f6*;D{bewjmp|^ۇ{.`ULsO~ Ѳy)fgٶLQKϾL)=O.ا&kD$ [N%ݙ%V@|c bT</S@F,G_Rraj:ցg:DܾxP0qJmX@j%PN%&Q*n &K sI,󿃜D[R;g0w*E=ּS!<߰N`wGwO@CRMOY\6/; qOmu'KMg7ΟP~\܈1wC6U`oД-:|JG{qBO bDQ@M86vŶmw{hY \4D m֐q|J|}hik|͗;U2"FD7fWC?LuʯOg. GQERNwa2yyT+ ,BLT)j tl6Kڻ{ _9wQAXYXoHHR 5mb+ގ[<&%n g/*H/ʯ$i,%_0o<%*go_ҼF%06 S;lʮO;fCA'^kOѳc*PBaǷ A0qFȤVP!'<> ]ڰ+(oh! VU7YSW^J4nE/gB3k%HcgލcsX_*0u!oȃ;%ц - F9`ZsS Owu+r؎2znh)hD8J:Fdte nTuޙȃ׈)m+]g&M݃ JGvh:>Ԩ5wfF?3O*NtR7S+!GlG:hhwn+wK?l |;%?^GN9}~2U VF/*.yW-:O.X {CZŝKJfs 'iɥ>焥8.,Qtq7.$RB"իĥu%0S&?Lt\ ƴ׆j\F\PeCMh(]_;#,m AItC a'=A$%2!L(I5ԩVnF -;0 =P[}#BM,(/d*dm~Rj'}p78=, C@Ƴ:uC)~八l6gxM jԊ0@AJpkLB+El}d$@E2hݯرodOb88}aFJ#GW05K*]&#-QS*̱mǔZ;g#@u%D&&][JK*@Ucj`/Fc +y1CVE!}I2z"Ym,X$ߦ!C}A{Go+"9zɥ] { FSz& B7 }|M+} kwҶQ[F8D+$W;f|tV!`+W#T4.(?ԹCɯTJMG0" Tb%Wu,;=I43wc]yZ>w)J{}L%9P%d+ % HOL-Analysis  +0)\/u#xi$d\U VȘsnꤡBmOǖWrO: ~^'M`L3$[,%1:=@PIV>3]b'H)\Đj!RzȦ9t$<=m 9LmNoBt{V6 p܄>"j edZeHY 3@UmF~a,5Sh~!߈jmnG—Ʀ>\,Be6^Xb(%َG[5Iӷ 鶙r[W\C,=ĆaY @TIekT>iq"<訊C`8 [z>I&3֤!#7huo_wnWi⨘܌9E`0M)h{xՏb+LnmrTJUK@Ň ;DDK/i {'[/P-ws19I]2!3^24%?R&USk ՜6aUMO栤/wReBՙE%θ6跐wln[Zu[8oY݅ټtuwMRƟCƖй]%IL_W[Ns9`uN gJm*e("l;yy(*}']Mv$0i+ս'XDmH!*@bӷ^[:Un>Ԓ+G Y140}2-1o{*f򩃰G4N<޼  X+=í>5!fwZ)/j5Lr8|e:0-84ʳuJsgݾo6UEpxhjr#% H:vqe  #k֝fO^KU\auϏHܨTH,o ! 5}YZ>Y 1a"ЈE<ԭC!*dTb]ڮR`kE I~CxG=ŕoHLlGN?PW<f[MZx߻pb{r 3-` \li#n\%HQb*K3ѵ޵p&o~`!&zﶧF(0&&LH[PRMÙipH sb*pEYi~ KvK2)O$z.K]h!q%tױ;lZqٲ b!^.sA\J]@qlN=INqNND#ώeịmM}hʳ_ϧxE5X#ދ]] uX6nw:b<х2`2\c$rE kخ9MUi ꘏z;T(V@f]xU-1<:Ϫf!|' FnR;#fRb.Mw_43֢3peo&gBjj>V'GuP ?>T7c8$WcDT1 2up}(<"$s_A"dX@ŋ _0=moOoBBt=|4l>@ekg[wjn 9lǶKJVיM  Ω^+Rհ=yG^VrUZi5^Y<}-07sk/{>M“`dYƣ`?nF0@)[ G}"ozwI=pP7q"5fm7|#: awvqHmR<=Ssоo'Ss cɒs=ty~.Aִ ԟ656 JS=I|'n}#cJ-H/kc W,xsVۧkMJ" ;̙Hv@Q{N[F v;УCL2: -Q_|S O\fxlyx)BoܥH T/>ONwi\E3 \_VR HIѵ##s:+uAZrGrU3TN]{j.-EF^GFL0x y;tq f%JCvmI1%̥c\sBazk2z#ScR |]_0¾_MAK]0/-,.)l 6d7Gt><}3) 1HDfy f;-cl`Wf3}ҡޖ9^$ 7Ò y=Vh=qCs>pGQN4e{/0NDnl)ˀ~}wHdd)Nzf6~iQXyJ&y0P烃J)(ﷱZP @rDŽ@lbǍjrIsJt*Čd%;,jkWSwMg)<2M64t.35nF-X$Ln $L*E%%3 46^.Ψ͊늻_?7(tzj~\1nB;SufǤ <L2!ۻ(0l(C:Hǫo-H+4魕W8լX;#SV̌N7Fˆ6jVdSVsUMs$N]=l+ːԼ 5/!%Ӟ&*vQ*}(;2d1=ˬzsOasp֧8Aǃя&Wy${=%A("(}XBɚ tdxؼu=s$泠=&ᎦpKOd12eB_*`̙?aٷ!U cR^%G;n"_zgj0Mqp-VlI[MNX@C|YF쎍A byj!%M^(fq4],PB՚WpIx ߛԵ}֧Rݏ|`zi$W,5EGFw /FK2 | g,lމ/:יo D<'؃ةַE`u^`^ v]2&6 "wb~mZVuu9HnEƖ9j#qA[bI{/3"Y͏%ey E߯Gr]qשuGRS8=Kdb3 ׏W 8pհD\J>4TQLƃiua󮸂?괁B.GauF̻ﰭtN 2 ${rjo?@1v8ldJ.{e9eq&j9Km_Fb-Sfa&Ҟf~+Ą5_{ zQ?=-Di ذ"̯wHGy{ȋ+؆K7_3.ɰ=8N!N?.vyZ>;d!LK;tB M.ίLX0xTKRQuFSTF2 8m>_?UkLQylJ:H* }1 27< < l,,"{C 7RWfef[|F⮵3c@##"#nPb$?y|4q!\r v}`r'Hc܆. 9Z--:_b9;u|Z$&OݺJ(y&* e- )9PVyIOAv!EpP쥒bx'CG\jؑ)M3HK5 gL Zpi/ۊ%G7@Sk;u_71rd*̨\MV99$ ݙ?ߘl 2/DZ=i[~F0`< 4.u0;HN<%Q |r bAHSw\V԰7yԁ$ _@ }g%v={큨5+XWuT_FVyP=GV*vU#J_Vq<G2ڇ@>$×V)Zin&qi#js߮SyD78C;0"n7*Y笅Q/JPDHC-:ktIMW, 9Qyήy ֿ Zҿhj5@刧Q 30[Dl-hD/mQQd֗X5LW~ Y*Kl]d}rŹ0 GdٝN{ׯ/4jV;v i?+β(Q/EnclEY""AbleBcleprW>޵OIV:uɬ DNrB8YvHϼў^-lgOD%ԤsLh-"w/i!T.-.+˃B#z `gG4TJdY$Ȳ*#(2d f/ʌLJ݄cEi Pḳ)_y|uFdUl=Rmʄ[Sp4|Z{[# $թsqXtDp, XD paW̾ +,"r T-JRx^?:C ',K~j7VW˃t74"{o4 {[ F 4WM-^$\xe=zk+Hi> ~czCٷFIM> @ To4/0-x|r@ib\8-`{!NvYk7"){XZP8;':ϓUt`QUYA#sx"ިWζ$.#w ҵBvx ^%_rX_ ^HY?lM# yjo+ጆid۶1p`] "dzlSa#{Owܐ3자긋&͘xerZi:jajD+ x];vR5$V%j/#)Io$4[gU#qx2R˜(oX06.| O6A1XS|)cUTҧ&~X` 8{16YywP%p>.ts#ncԴ 9Ԓ@_0u{A1p$(]d{ ݅Z,mqK?TyVVw7jYF<.#"b;;~\A}# t_~bς&A]pݞ07(iiZ`.ץЇ+B}0L~ r-sy@;3o7+])/[ +TqfRWitnYKhc!"˾kē8~5B2 kP;5LUF1ViǏG ]Nct~q7{ʻ VMNJwCY~t4/`hRunH[ GfcmE;&2]VhFjI~-><8l}&&Tw86-[xJ41׉YLX\H#Dl+I@9OFgR VP0;Jp>$lyIhÊ({3gkYѺQ@Z8M_c/NFv'B nXh:g_->NywrG%F=?lD}V!1a< |_DM$I b(χfsӻOm\p_˞{N^Z11Ag2s]d mBj?}Yq hEЄe?Jb|mt̲VFS^OX@\E\lpicQ?Gw1ֻIvBvU^/6NJtYv%? Oai{vpO<qRJl';`yT8 2[G\kw3T'fӲV5#4w"Z4МS$b;?("ukJ!U<6R!m[OHO$w36CՐlm򮨗 jB1MoũTKS~Ӊ֤i1 ~1+'bjf6p䒓[naJ.B[خ1̀9EEʃ҆`ܬvИS3sZ!2Y7˻x;W5}>1\o],Hmy9$$M&2νڏ?#T?1bRbϻ&LlQPRk%7>@}.d[_ᘞ7RlW?c)g_|$ !bm1sժqp Γ1uŇ ; -~g#LTܺ~ZI-Ac L{|>'˺~tgmIJ\\ T{R cDOyo'F+Q`񯪊 X°`E#40 #$jR ZLgfF ɺNnB:uXԟzs'h iL$rs7h9T6@܊s>CD-ҦvD2uFl`6}PVkkvwa9 [/2vI+`=i4uE7O"pLGvyu!h kAX8Y]*6W7c2.)y,:S'/~!2T 2MJ];gNze~ l<P >=N& Mo..ױQ1LϘE{iy\>n ;mK*K{pEɮȂ4TWo̬QP${dj$;%S O{I/x ?3 Y$kS4ɓ y,kvkN޾޺&Wy:Kçl.BY>Ij(|7?_٠'X`uLvΕ23="$&XҞKxAwZZ\0'xXjc6Wks\!qm*vv!:_S$XELfa5kz r yd!bBRo8C"k']j:v~OPT>ujϋfߢ-ζjlȗ|I<:(0qe83{^xK oGYnx fdZ-Iux=^ ؆eu2_k`;*0%eI]{ѸSB؊fnRmPی9FvaM`Yߎ|-nȏ~wc Ďͪn~d\dxrِEz[sTP,pt˽8?Ԍn\I8A)W0fHejv1I){hwoP4:EPv;:]/U4 :v7We"p)Qq:4AVS t\UYJsvc.hTp8eN15 8HA \أ]"hЄ*`e  d@gY|1}1Nb'jӪ\5ZZ[E_e'!cC]XDovȢȎyh+eSwZZ6F4xC^"ZZ%5X[V1Mϝ-{Lj-B'2qKG% KJnZ4bbDu|zv;-›VM)6yVܖd+B 8cޞҡI,9wIQڋ҅صBNZ @m)h`f#(_V,47<SZu"W\fLV0I)W (X# 㺤wHz>)2|9< x'<8N;wz|P&öu^E/Wb̟f9A~86Nz 7jn %%vB=eH8>*UFfVpq݃˨rgDвN{J_+> mjn{06IAmUdc1EpU'_)=vc᤼Vbث^1*% |frz=A)+b2FWW1 ēS#c08 .O5LQg 4ãPIuteUx,'Zg&[t_˘hV۽ "6C ەc0tN *jG%(@N|Q F|ʘCH.e"z-e x1-К$K1ZAus)/N/yiVy Y2L1 J"-%t96'EruF4"4懧5P@? C -uiו '`k럵ܞ1(.@RzCk?3}yV;.-G#T_V1br8E9\dzP_<;+3ޓ&m r* u44] 1<*?G!L hz(7pmG ulREhD0>F2_J#컹g5BHzݗ"1r#:bٚu .IE_CY 7x)8+K :Z0o+|]npT꼲G M4mܤN+Q:y`|SK }au9>5BPR;Us'(ʈa5h:1N4o]LJ=}P2u4&ѺZ5kحp5 mZ]ߣ G?$kGi0 .WPAla2hp3 }e!95^;#"Xht(G }+4?TUrzKAse6fBER(x?.[?I&FWl(c;A^p>όяc3̧ދ Aa .Jgeb9ILYs10 TJlU@cbBiRNY2} oyĈ(aD\GNSX7"kdT7.h`YfThPH8:N hHs-a c7s)uQk4GZ_cYUH҈$ޣ_ fC9L6.?;3A{ 6A6Ҽ 0&\_SrUov[~>ZwkLY@dg(J mnX?NgDk̝ueAgjyW-OJʠTG shFlNs^]9 6^DG; ҫo .J/u*/;j5j5?0 ?I!!\elf* 0!g"OH\FfB&zQlm74ȱ~Il\[Q"o)WCni&zn༐sak)^⢅ }~^6: 3I 9d4-zWkrt z+_=ܻnAfPJfh *#YaVD{*piwI #$~&^B#ay-w1]El-S#|G`5Dt!';qZ=zѹ_ qQ^AǗ!GS$Ka㝆hB R֖5y(uӥso1HoUXyD??rv PG=U58 HeRbøFA&K?WX`>w a6)"aȃ="zl2DSRw9Իr+'즁(Glnu#D+oJFR{ KiM]} /((sԲ]C l!'2xѵȓulx+& .Ujg43ҫ5`So|l%cH$bmJ9grAxT/9ӯ81JLFl,e0-ʳ\P^Q/:mylW*;B.=7_Pӕ:FG ;Dn{P721W XĂq?Od̍fC0QNׂ\L1 73U2=+؟U?<ߖy,ujØ OSVzYG0kyҁ. &<}/ G)5qoN%V pjc2?u*ױ+8~]C^TY.G iMUg=mYKU'N!r=yô9kg2F+.NqpDGñW䶾Ƹ;'+dhzَ@<>y*Lga!U}<nC,N41&3>Ɍ:i^)^tAQ /}hh`p`!*RqnoePvkN RɸזM;O}ǬA#\] KX"i<>NA9?CܬbWQt͢:aYS8G';EK#Y u0:w7;L_A oFb\E>  FcC#Vr2 bbk!&Q ez+*|?xtf,'Eo%8ڀr}Τ|$4\jW XK[Ì:K]|#m>agJ|k!yYo)0H])P_OQ {f"vxjZTZ.p~ [y)U!4A,m4q}%/Bq(wNk? _evIړFvpR{VŤιH?ڗdsW/F0zO~rG 2;S(- 0דIAܜHn0W^  3pˌ,_KWg;މv41P⠵P #@җe1,cZI'XO-@ Pώz)E,LBx YO VU  ף>Fg^xaQhqhSށ{^FNZCT]F|TGS^K0KH#U#6/h$rMv^#I9Q}xb$3>6 Fwlb 8R\'G,fegԫ̩>Q<\5-5`^$]ȃ hR`587†Ham3sBղZ| OT%):{rv>ۡ7LϼDCZ̓Ҳ k:&dkWWeAIaΎh?eYg?; Nz="A\<@+pTy W+ '<ĕ Y:0Ӿ|KJ{kS?{1lO}`R=I)T›z\# 7!MTXH~߶9o1Y!c?$(i  u ^daĩ_wO3 %bձ1)*XwcCb۞(^gYZ7zXZִF! ']ŗXiɟ1˦r!cHkMeBd4ba'YӘy ,^n_X㾫%NKў˖MdɕZGHs/᫲vNTת^%vQ33 ` }OXuWpƜtntz/!+QHmMJQ/&ۻs֥DȈ6 z%a[`4ElE) ='XYkzoX$MVF,xTtmgyu G$լic{CWTJk)F ڰ]Pj({d*`<@hr1耠M?ceK+F0+l h bu7j_>oU}HCŠ)$/c4u( =r<ei݋!d̖Gv'C{+ʪIKt17H;C͙HL Ps"wQco.3XKrNy3'02tVހf ;Fh`m|<[7Bղ>yC |1A~Ia_]d6吊Fq|Z Y-^? vC+s#|d3TF'g|aZ[.:(72Q~dnV!B0G0v22$/H vPe?k,KUzMK^gKhJI`BY3+"PR `|\B_X| L^V0wA >(WР;hH1'=>NGXdHO){Ծ5.Lh]'>[+T1֖n!3£ #pq79x|y5`h}S6#-ʀ*}<^U `[Ŭ. qhgYˌ[L3N+q[ZTtc!D Zj4 QBP^3ɏؤ+%!{IqgehTQDWh+c7CH9KT 1++ABKHB$( < ?؄n6n2C٫iFzwx |^w}f[讓[`e_JC0BfTdH2ew :=+zZbLrUA<.LAm4OjCvwQ.`E8F,Fל:N0 #s3@XFç|zH'Bjqֹɩ3<'⿪wwhNp<ߪovI$S5*6M$0dAEKе$8vI'QK^(\ŖmH=S@l ;\z.\nժggM|ǸºOY];NڗY`iA yu:CC42c ,Ө0*1Kz$ٝ&Vbd j)qR\`""ۉ܉09fBűR۷虼X0TQ0jA*-uԀL=~xf!5hy^WŹ'!*d7Gn󋆭ZFx Yл;_iTES2":Q-)e2ܪ^O192}YMhgi[:w?,I(X|՟;A88JBG`BX,7EeISM; 9('ѻ9pwWbL_X[C8٤]&&LX rv9ziqdkrA8y7K{$IcP࿅=KWI0vU7jeiD*|.?Ra,H/ CXof}4T(2I L+`kDvcDpu ; [rm@կU0d Q _~f>|-Wxrąr3'= "=ڷ4MP'qUp,ȺH{OxPgYZ7zXZִF! %3]ŗXi%I oɄJW6Ta'.rPwvHmԠZ`\-#-ImP2CjQJ´:M$YʏJ"iakĆ3jLCI:ˉ!X㒢lӢ񨇄 ɅpM')u]Kđa.%(nz) Mb_#%F8{p~#[kk pnXW5&5PUCa2MN۫IoX'+ 5ȲMdHa\~{45I#o-mܕaG@*V(y4LMlx@OFSh^NVYmIlkbQOj"ܥCrgKȆrþ8y>p=7ptA4XvA%ӏpxc< LXşK.2Qͤ[?y"`è -6SwQ_ E[R'P"HnPZccG_`\i [ LL+z``#G̓s% 1K`UE)Q]o7(T#T.nžt/]4)KjDHې4h/g3xA("顺t4mPBC쓩GZs\uG$ k`*b\s8p>[d3!"# ܜq_-/ū&BmV웢(萉 h->l_EތyݠdY3̑ Ьee/B7Q;."6dHFѭjɁbAH#%c5h?ulrٓq9QmO'9HL`ʊ wBV^Q'2H"_B^ƋpU9Mb6+mHX"܅VvC\qE[ϖlILx'ޝ#gr)+K׆w4ŏF}z*:Fʣ1ېp:\rOz+').܁wI&ΰbܽ7~|.=oAβ Zڡ1TLǐzUğJTFZ ÒS"v6_OTVNekb'c1Ɨ9Nf9Ng= Wa՚䠧) }8xAYlze5ՊdSUu5ќRb}/J_6BwEV;K5y j>E=P (Iz'3~ ԡ^(I}kU0 ;&1m$P!tfq3u~Dk/Zz3~CZP*jp\=rm5S`C=*M`/{s4E; ojVbt45v\M!kRe\Kʽfr!cd>76Fp@wwcc3d 6ӡYZ|[AU?MjYUI6 RmN'{W 2caaY՟ROYuـIɭr8ta^.u530k+&::@Eamvٵ]xZn! eм#$Q~s1֘'&a4 G@ S""y;]hR,^nFH1XT)D5Hsz)LCzCtA/|D})[!f85R-@&TG޾D?jNp$WNLǡz-KӼy"! Mw3:Şth5N=(cߜPg)ۺ鸪m!O4~3rZ!b|~O, Mp,)nm ޿, LޚIpey7> (c f/p'ԥ;[8"dOc-}^?7%P݃T*] Q!2 XIc NӍz ֈ*CG7!N BxIlW}Y%L2EOփ ՘)ah2U;5Y[XddgI Vk ʺWZi(CCrs1]'!jkjz@ ᗶ=R࿇Y!{`]qI6rѣliGgՂIs N5.w7z\)+8M9֕ʉnK{XM:`Mg A] 'Ȅ#9~vy'S쪻m oܯ _˨!_Z0>0ރС=yp,BM=+ DH_\fy*Ws4 QHqr^m:]Swk8yz 2 /$  4*WmM^kMYwFH9,YPck90C;oRདྷuv *Zg&/߂lɞ3& jt߲d(; B$D}SmpkDX&$< &OWLn;DHq|MC61W;T?2ep4 }W q[a)k@w.- dvuWBk#,cTRY+;Nۜ,cU+TR'X J mv QU=%^N xkK`5qo[Š ݲa{Jn(m49IS]%a)i^,0?:6Ժoy̰=B4ͭ ŇgAw3k<-32HڙXưɲQ.1)YHY:fF(Q@s [->d[xp+4,I͕z]K q~]ԮM~bj2 "FfJ(-eFCawKz^ jv!B|hLi jwƓ'<_t/=.D6wH~kįY),SbBNM&j zI$ǛG,x@,?vS$gx)R1fF3GT987N3$_iy_`so8d _v<>\NUxJuzT_Z0H+xj9L8JK"` ɼʊm d"JX)&jhy029ɡKgdWJm_e0tQr-Oѐ+(?BP<\4EB~pxt4A Ap tR¬9]<]wvvt?s2l,]&%S0@\VHzsSZ3$"q%T^wJ0QT / փ.eNi\{f!LsErZ1~K]q - s#IJ M zf aiϐ?"E{#GW!A؂ˡNtHf:`!~b6ӑZ4 ^"]h/8,Ou\* ffnտϰVkIXI;j,)܊J2wbmoM'1 M>ľT M|˽~Ӟ8j`s}xCѮ9>s 2X_E-/k#00ܑ\ 6Q;8UۖGBzmeQ[s iʹP~A b;A=YF Rзt,֔0T6 /Rͭѷ[cy uff~ez8o_44w.qn=DH&{Xު4ůEYrC+@?kfst^-ǒ?\#tȯu K3YXuhCorDt˃tY :VlhvKz,*oNj8N^I:ypOPXuыF́6AKG. +홫|mewE; u҈qry/y>&۷I8۹Ed76\mΖ`MTCDn,- {hÀT^?sUb_{Cn}#! ;Ux<*x IpNgF,RIT%1QjZ&%r&c!=φRFؖ,,6݅/!$[}. |> _m7BZR Q~v}KMQb/ϢpZ +6~tE wpM* |7a*~ގʢ=!?l .*dRU4}i/ "%ϽL׌2>`2$u|io<.AuboOmpglqmX~1n%'%ұnIϮB%P:WI? 5DZ(io`D5i#th*lƩ!$@aJ1*@:;$ۊvqw~J Z.Tn6p$ &-l/\"8nuR. 1:4~2^m"W-aBӮ/ؓ0@ZM '&s9v/bHKЍ ͧjo80/IXԘȐ'n"jK{Br_~FM ~J˛α UKx*6k!JqTƮB|E:jQ '$<P{\Ph;y浧I8'.ELm$(ckyI2RӣvAo9싍S>݃8BC{B2!mC[-͸uCwY : ;=f|^R !WʲCjw 6KIioAXJml}Úߤw{ Zە),\(աȮ>W:%^]X)엕{3YKGZԡ 4r .#B8KIqĪ:rs$B%170KyLv^PI Rʎ> r+"-Fo-[g=Us`&OX $Xp\x <ʸ<UPFz ?ycyuӜH\/'t0X'd9H&-{R$Yv5PIHok~Մ6Y݂̾pK3]d0c00rc}$;ʕmC](K`*erUp_׶'کsKAUbܴ3}eatG N#-4~<ʙOGa?F(LuK -{gۡR|27iewE)^O[C30ARHʵ0ϵlU%o{⪌:b=.D"f3=22@P0q#h@h 5&1YjG6%N6여yPDQZFctj2QуS.8|82Jhx1stX5S!sr)U4aEkk\CmXpqÐ۔1uG(y)N3&ƽ۔'Nf&,|{mfD6OՑvz9cxtnHvRSJ?iN:Lܵ+.nbfk*گ.ɔI[*?)*V $چ4,4 +|2acELC,.j/@+f`iƈ} _ OJ=N9Kk)Mz鲭8tS Pmslq5ZƜ9uN[@m5AwdiX6&Gze{8Xa4x>ql!w"&p:ϲs|+ ?adxwl78φCP,>wq?qвGޡCRr5%ƞ[f_h$L W:98!7=Z%&_;nHij#b]:V/\&kbKbKN ` UN] o-Y/ f?~!Mܭb+1>sk%/ŒqZQK08>!()G1b@֠?uٱKAaד6 P85te}{Q׭]{!u<x*ُ6j gsU͵¯@80Kiy FҲu0", җ>t- be3 X}ETɖc=p_?A5G kF?x1*rlhO~TѪe ogVc9 0EC')i-PL֢=9# _U)O aɯ=hy3mQ6E5݈`45zFsK9hԜ!S'@7OKq_jRyz0Ӷ6d[<ίyu&ꙻ<44 wKu+4>ߠkWZ4N2Nv}!Fb@Sv4j gnDգs;]O;*%#A >ӥP~ H4 QU;ȱEԔfm \b هE-7%#8/;=Uf(7L[GhE;\Meۛ0'K[} y;&G<Ŝ BsT|ֱPxPVf R5$U;׻ x@DTɝ/a3ђ(MmNp>%Xi5Yk]&HI'sx < p]M7ϱ+xWg"pC & SyG;; ac"3b H4jEB+B?>i/96 e#23؛(&g㭺˭7$ Miz笒i ( f\I%9g- hb}6nq:x A?#8F::šU߅à_Gk6w QNDl,{p%VL9 @4IYӸ&a6Cón9g>:T@/l?{5\5`ra/Q=Ii`r(̢xt*w[hvV- ˉ"`_A0/#?㐝XNJ `7 t!FCܳD2:Vml)@F ° Jeb:+q/ rK8% DγRWS?mz* <灅W~ E@d'Q}{cL2miu&RF>jj ?܎w\+C R^Z]xhPL]&YVEJ^?fZqG,!g:/g!ttKבKnRXyU}0L=uasr zHz2+߈\YЯ6ۡn??ƮHxK<-!p^̯9ϕب=)(%c8.ڔG_gx 9<"UpTg"esPC. LeVjSmxIHuZ LeTD$\KGSqH>. ڔO ngNAv7ZZP\p OBv?M q8DG)Xl4$pZ.I-1:X16$8|Tkú3i(6sFm B,HYJ|Y驄GؿvqV9KAT6T>ٴ(|-M,a+Х"Ntj&KZJ|_ '"gFw,Nτ,Vn 7aKihD?͚>︂ N!VW&?靏*Y2٨---GÞI<|%ruw$ɔ_TlNjPYu}2X@.ܸgE@$>w,K7w[x`,"hYJg|2ӧՐ$ D"78y;Scł/_$B`45 J qgHYC~g"v8 *I$'!X[*H!RͰL{+Zg,=m;G iEwBhgFg=At<dWPbIJFgJ> ԠSn#*L|)#q-0 @N@1+ma6Toh :1I{St/Xc{e& 0 &w©#YkHmϜtٔ Pv Kϰd-7t4zWPSGpܡs*RGE1+(RK Vfh%ՍCUY%[\tgq"Ӟbx$PdzRUySqpkw6D;,PoWy\Ig }UIݟۊ6ӻl;@ ;^9{T&73ŦM:E]T ;=Tsi$ #wK]PE*iŦΟvmqk3z").K=ok6M{r5 %9YaٺʄDTcdd@>DG@աW;|'c31#rLV#+XŌ"z$kdO}V#q4{86/%rW4VAK!$?Ͱ Ub&0M5q0>G9@{` #x)}_6Wj%6u>ch>v AF}}h>nKQ ["_Üms5wl&irc-Z?md-Gn ^\A?XkV(y[%Z F[d@nvJaG iIxz tk!)9 0lFA.5/pP7O4'n~0EW! Ȃ3lO8ZhH?DjseI zHybvny) .1# 2GL$;w"-HG_q}!ļ횺#$/=BUq%}lG5j=^fʒBԭ!b+Ny&g5mfaG7^"3O nҢ)gl6=f*Jݽ"jFGfr@[?)B5͛E5,56Âl{P}EgޙJL3-1Ĭx8k&{%aQX*(DFz7?ˉGR ԰8Z0OP.ly>40MPӍ Ay{:zYtGTL1%]{|wR򞩻GYPt{>$}ݦq^F tk#}OITlZT#) 3ZŇ2xF&+BK"`0)Xr . >G>GPf$ Z:1rEiPYGVʁ)nXQ++Ća꣼\2:*itQPd.ͧ} 3)] I(|V8įYa޴,jGw .% o(Qͨ,%m~t}8)hADY?b{(xUjgu1G7KC)IMW:1S>bCz]|/5dɏlo ;s=OrhA>-q\p>cᲲ9@3{etwceFA 4KIף )5S=K&RznC_R ?E&|gσ̵2㔼wQw)0TWf.5FrҙmHJ^txJ.0 Q3BtwX :>t 0N AqD)7,F빚v<8H #u l:uf[)+ZM-X4j2rt$1B B{vq;pog %Ԡ#f#6U O:Oc7tٝYb.kG֟h_W]VցmBH,].٭=BA8Oh4ʀ[ GJ'Gh/2bp66}4ٮh嵼pP,u^/%HLtLj$,4qcԖ9d#のK%sͫȝn-EA~ݶ26i7CO@9jE/H|vmtX~oքȡ> `^.a,^]U-[|flRpȼB 7 00s!Eߊ]תּ`{#.ՀK64]q϶nz'Tp@*8hGjh_:`wnBo|-qMx;dk-DCv:e9@ w"  XeҭY#66Yj|b!Z7~Jdc)0oM}s;`byrjO*mל@)@Prl.z!*<,^V L `IB sN5,]P^HO 3 4<քXJ)o1Me%SITxa*5 {~C< WY+yTσwh^h(2- O-=]-]R/acl}0Orߪ {4AMfOZ)nO5R?p$%Ł)ᡄz';5J/@vO!9l2Ȭ}oDhn\v2&1 Ti:4gOjKY7X!$MI z;G/,Zo[Erڎ!ey4[.pUeT=rC]K7w32PUjD X^;O/rU 336o,Q <ع#F)O4.Գ?=f[ IΫaWh :y4&%/.Kl*xK)3ů"^$KuB58A+c|}F k2UIZ!QevqTKE?JIl}~ zTH EgVIZlLUq%XՊ m&@lE) NA k㊟8h/Vm*)Cs;v~[܍cR$ S[Uoy .WCۿp'?~"ϸN0FIe{ aϓ[`lwɟd(qnBg;g=4bWh|9+ b@IC IGɌpg$cX9&|f@6 E;s r xöd[ӷm4P+,Uq+nv088_GD)ʿtRw W VpRFaUM`:/DUŜ;aCSa2I *97#xEz x GN5Wd6[kl`CCyF񇑤IMI[~Fa8kZT߈͝>qY+ !RٕI`G[A ^B o5Hʜ+">l|DAd@EMܺ1Rb8b+Ҭv2 SYDt?mұW_OkI*=NLLYAs{3.q=$MéּYkƙPB }\U!-๑_/V bfۤjnm9y]쓲wٴfõ(Joo`dLGFpip1 se%5U<ּVIwj3Ԑ2ѯ 4 c߮ Ah)q4wbDGNOB>$11k+eFj-$&>+R`KU9JV v;i8S^:"W=\[n04BС7(E$/SwO) [zb'MR2`8 =`0,PR ~/ 4ݲ%# S?sz9ԡ4TtXewO9*e!ՠ;Վ,0oxVEQ[ 8qI'֝mu2|sWz^gACkl%D%kŌ298ė)hhv[i>+*p*M3ǖ(b\=`v^ Sqs\ WzZIm'ϲs$_X &07g^^:zrA{-;ނk+u1 orVI`gs5QKBpKhe$jʋ|aS|Rga15%t|! +x#^Y~}͒4h| @WAJOT/q2-u>~i_=+~#{ϖɱ:o.d82Ow}O,u%@usyW2dV4[o|IHUlA29y; ,2-h_L"7&p==Eq"m L]ek(e 5h=:?x&`Bi _A T|үPQi;#eQRk4}+% Lʜqգ4ˁ 4n|@DLhD3@%y2 @m0Tf[da &1uG=tp!7)]ܤ{yN}ݡ4cqDzƿL'&/i{ҍrvkǽRg=NQGSb'鰁AgM'ʚl,Ilj(&$՘u:+H$uepb#>PayZH6&/:=.($^ %JA`jrR{z5f uROPqjuA{ K[o13:XV$D*өJߛW!COٽmf;k9m;hg> .sŦBàxP9h='B0Tsp?KVsⰛq?l8Z+|2hV CR~$˷]梔2s[:3I=uԶ ^xkY}l*s7gmELXწ` ~GdM ('3EUM+!( e:gŵ3'DcnŒDT(ԩU0"LYT#`'ІN<֒U!!;@ c\QcFlF? L8gc6zR%ucwI¼Pzs(< RlMa[!M$YXrd^TiX/&*tniN3ywG:+LGeboƄik<!C7!m˅HRNhU fY'SPznc4!vǦܲ`!F"h 9 S=q[lwǪ,6UtJDR|GԲ;4/ +v}[u^\=RL' Y|6 ֝zLddd B =]"j3|a}G2f1Cx),#q^ŵύ>NɦPp̥Mg098M 3~HXLق6atJk$MD*!ium%QΚ'G(ML؁]XPqے}-n3%dRmP[B,<"[5.I9. _=o#6åF÷r{^qU >eOP<_!>w(%tIf3#?f!$IA}zV'^@F H͍HzsRk Lޏ!4@I]2K(?u|p,fь{*i17&Ge* ofn6ֹdP)VvEdl:J1|*w'HŊE?L IK/RذJNQ yO<'>Wj{o5ɗ8~:(r_ɔ%%^Lr,0w VӐ7욂^`xuMtZx޵gCpWȝlLCTe]9URьB'U~5Afq?d0ʜ<r+íL\<O((XY)q0KO Jsd6$>{)7Xlɴ8$sUcߵ۩Q+ ?Kẑ⮌OeǬ?c4G8sA93L'0QU88#u,Be l0'|zᙑ'PK2n' .&'2˯1PJn)SF2D}5gp2_%p Wz| ha ''U;{9F jǺ G4@Ӆ 3YcR ntq^>8y\LѯGRGJi})퇪poF?XևFe]͞tWwr=1_۱k֘وՎ*c>K) }63Cl;FSˈO8V:PQBuXO繩J 0 bFB[;VvPJi Ԇ's]|3W<챲{6R7bt_[/=Hf<L.IHٽ;@@ZNcDS0!L_sOG" |`/el;Z`ҪYȟ?$ $|ğ8 C'zs 9HK{T >9$s) >.t p5݂9c+d?nt32&.:_3aP^@:UGVoa7PdE=y!8iyINӊCV6$CO=0izbUp$CC~6׆rB|]oIR-]7 tf,՛yT#On5SG[d%XltW^HZyFbE+"ŌߓɚY Vw3^}fFMԻݪq)jE\Znn0(mO\I2po..RgMۀ=lcDa8غ\:WG:K|H|Őh󱷖n6_"!v]Kfa`͡ Gb:`@u+8.":*F<t_8ATXE3j?ךOV[ҤoYLXޓ|]eۛf _>bvN1)D#?nb;@24xA*0sS^H;1ܵld^pP0ilw*C_DKlSR(H(3mq2OamGY#D; Ą=ѶW"59/n6-C%Aɼ_M#E-Txi ػ$衂&?jd3%F7/rW&xdcoJ?jUe Fuw0su]Q"6 ~gizgwIBVi O,iɳ/,2)ms=UQqN~#_46b§k5'fsq5{eH_?F{kR1$2f.QW@u̹oCmضM\<[x &/hJ *OW_ ɨWQ@)l|b:^|I}wh;1n%Sp@hp[.4?Ws^m^y fY5G&;lmEzǐ3D'\>x&HӖcѕ6H(DKw% kS 't?$_͒C{pRfBt81RL!svGĝ^ 27 C& Ya!)K. Kr`7U?CNSIh+<K1fr _UFQ;hNf=H_xAVD;ShwD΍-I^w4F+f›AdMjKcv6z'^ 1Y\ڗ4-\@mJZ>_]ʜfwhRM zx6ي'γ=v vٻӛ]4J#NŠfٓB#SG)"^-~J!J"m^Wf!1Z~hS/P)L@撗6Ti^8hK#n| u,`QUjoIY:o y0Ř8X0I!l- +aN'<}yn~GG-G_Ὀ0_' 6mp^v:Tgo e1F{z[eTgGiT־[Se8[u;̋gJ,V,%׿J.;_3JFFq5AfIO9ߘ(/[:b_]P7 Z\G^9ٕ*ƧWS.%Pk;FW,[| qDCnFa-ZD9h&|=s͔.@@㾱،brěPPW˯mx*[#gγu9?<@Y6j#(5dJ$f7Ӏ0OJ44# rc5'| p1iA4 8Cn6u6$ӔX ` Ktlj/9dz&'pr\hjsa95X- +qV]C/h kHT(cA3Шkh6SFx NLnC#33V )2, E oWYg!/z@r^kV1bPoBwWЧ5D,P[L8Q22GzIx*`ѧF )XXwo:2~4 ʤ!ZlE) (VOV~VĶyw1v8z29ΘߤX N*m6 5%@!Xl8% 44 *ś+ 2'HK8R72ea-]yNX50aΰK#W4񡂋6 %3"WHJ)q{ЁnbT4:#b4?D<z'ɓBqh޸z/evd'kR<;$h-RJZNAwg,I@2E@z!^ax(!G1{_ ꊾ4-H*H=^(f rE_ }rѯќS1ѓDEi9Koh6kZ =ޫda͂  Ub[K@=k{Y$҅%FMݰI.GHFxaM>E!WZgB#[0?LӜjBdj~q9h, luyqhM#i]qI\3H{\^PJոG['jsBTZLTM=;j|(4]ѾLFubm^D5_}N׳ S6vt`>xk$>JmUFVg;L8 E"3@ŊO ,9qb'N4{; b3y04љۏFd0{+G0^0R8хyaڕ[! --3O{ubmŸi 4%;ڿ@˻֋̋"iCгHEUVo T;.Z+SwVБ9*)@UVsZWyg/ksTMOz&,əe.0.$e%w!¨#!ˋTh֜>*Ҏ+⏬'RLr/(!ox&dP$X; QGn?戰j M-gE47JTD=3./KvIxc޵x<8pNIT\%FޑSfTkwfV܉jQ릮q( {?qR*gȕSI 6kօ)JBɛh72L,WPsw~8$37@ީDL ZBO1ʂTOg3B%&Cſ] b *YP@UIHP%<ٱJǜ?KZQB)̦u캈1IhBYHJ(o[Wbp-nw3){3b\K] Jz %v@ڪQ:9ZF]qNKoy_9J2q~SQ֒8~*睷v"c㧷ٞ98,ȗȍZ{p\W>:[ᄶyǭ[II.LmM[j%;+Qruwf 䜤֐GXaA0'4"׉h5{UT xJWDvT}Y&􇔩fJ!͉`pz\yGtH;%!>D8mr퇢q-z΄+:ǁeLR>EY%z v\^;p|keXq&xu%4xQF13۴\z%?lwEFDW`lψBTS_!0,%.AOmD`ʏI.^UHJQC im3>09Do #/f.!J|MeՠKb\`E>dT{-k&j|&Dvf-ފ+"MDn2p6==\Ȑꆵ }Wg~Ye" w S lbu˒xǃQ4GEQU& nfeZn)P k:OLZnm{=8έO}?EJj d"y֌[/E@0:^)?Z;͛LJQ2D7{$6ZYgNa +͇q!'PP:O<8:_ F IJUcu?HB :A5nMzʣGI4= WNf؃D\ܒQu|8qkd]Gr؆|>cώ-KΐO?JmdRW<')0p=scߍ-_3ʁdUr#n/qj>}ȴ3T=s"3xpK;ҫYnqWQ'Aw'.퀬 8Jˣ>tinPB5Tvq-.@48.%%9qG?l>nи@ٺn~jB=!mpv2(ie0hLFx< mK\.z7^z}i.-sn!zQ gUFS6\ffjzؘ, d(;,z5fܐ|Kf:)7@z,d}e9~~|~5¼'7aG'Gj jD83, '$IFA)$V>Irw'w Ꟊnu3Msl54NMTao01O63kgҁ9R.贫O`0t1??Jp*v%"9<:4rn6{w$g6IJm$ZM7OzψxVf;Lr3[ƻ87=W].NzXۻ7'*B{C''63{qVփ9GO|-|ZYg]%.u.?$`W/ҍ啎C M% wcR.FtoF({SH֊"#"eJvd T)vvӆ245 &F| Nt|Q0LnE3Gl1V\TM[U`H.D`7{@B\٣'aػ%Qb:|gugf>Q˔ uA*]+1sVԳPu-e.6o7[7:j(r<9<aC\J..u#36OV@R0GhTiu,L?`Q(M_ &qY))lDoP4p<3ȯwU)[_b9' ^nu'ӥ^+C:yQVdH %zo [ h`ߠL~kծ<{pBF \Ykߔ3i;dnyPg'Z/d` scXFc=Ԉj֞xȹ*KqR-WEzCl<ڣүZڄ*Е!V4,΢y0kyT$ynDUS;CRƱdn R0a1ljB2\0WTN m wc]^ĸgy;+bC,(ْ~r /\Eg2wd[]~w²Œ<>FNt^wv6-|㉮I7]:/Kך oDT7᠒0TH-Cwe)_ 'ހܛݻp,ꁕf&!?@ˣ]-e*5[-, guUotNK,SM8^+@gTAxӠQW_쥶̶ؗ$l7"{_d-O2P^lIۏsp1s[W9НC`[5Q{1 D Ro? dr߲uLgH6Mtz(?_hiۙn1;m Gc+X8Ќ[;)gM<Ƚ:}]JJtNoWD9g%W͂}'EuM X-8j'x3tc'E:u(\yT9V-N8HH(l36^ZdU(.Ý;ޯ(݌h2wm#62+%/8) H/?wz!ER, 8`ԪB3O7颢f?/g-ee@|nW1*:))NpPkg R&x$}HzDp\ێ+_q6 "V+wݍ:YBE7\h",T>֬4Ʌޱmx47ՃL\o =+_Oй$#*]K^g4ϭ7OD{+'h(>R %z#9Yܛ@+N~_w4mb,/;OoF] ?r06ōGH~9ic#&xktUhƸB[9]s 9<ɺ}'X72cB :zΰ0G>\\+tL6[OkV{8P "(ߙJ]Cբ {70c"PoOc~!ŐDj3d\"Ջj_`b(BugǦȠc4:*>7uY )+ؒzcygA&Zq+n?7@_qY9HȦ/2_\Rj2ZC/ 8틶a"AL='uz< .Z~:F>KW2"H$Y=_C_a0!k9ď,sG,r:A1($>qq+5m6g [)ʥaLIĚUCb./@J>ߕ/ܵtj8< Qy%=wFiy/kB@&x;.ѿ? :&|jT6ݣH`ά~\|J.!ܰd8¢?ۼo]fd(ɝ8 )rWY `52(T܉!Tx#zL5BX;ٝWј:~2>o?6F4m桕vQ)iqQ^5}TJ@; +>~|7 QH^۸9A]V"rbKYn߅cѺN31f6b&cYb;}ڙ.G>x3*@Cc e% Ob~XMnY; 酳oƉdvVFVG}--dQ#@՞1I jS8ެci|ks( ydkBwC"(/māÇ7iW?{ؓEY& Sf\o|Ryj -F x^˿tAM֣-L94daG߾T1`=:g هWm`#-ÞS\«5{bCS QOǻr OބHkruttR ƾ#C@Q EܥC`FhJ4b%@"t=M.yl'*LȆCª:\vx!I] t,M0d?Eo"_vXkA5\|0pɈQ Mq|0sqR:Q_çy,mH c@riGJSVjeWJ-64͇yZthcaR/4BNP.fi0"dZ^ii>H^_h,B=4E^5:% ڎ0tH/٨k)+<9y]u\] LZXouLC+xbsd2thn_q\5*0x'=jE5wOmSDo3p&oЕu™Z׋CԴOz@ Qifoyq?fi0bf$^.Py>Ve?dFa)i{W }h/Z7V0Lm蛝?X.05)#QŜN%9Q?s*ք cϢ+ƉgYZc0d628edd007b13c142e45314361c8a4d18374635a3b6f7b3e61510e7fd7048ff8c15610e20e90db 0ac4d6ede50c29eb6b6ec1e8376256e11b1d6a22d92257d35e39c8204c9a3171ffd1fefaa3a30d32