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  1dl4 ] Core_DOM:threads=4elapsed=319.607cpu=1049.760gc=64.276factor=3.287zXZִF! ] ]ŗXf[&u <|$Xjw~ tI~'⭚=ZJvDՑTu'_vx6Cl0mof Q@~6= Ђdߥ[ 띡bIEGˊD|@6bg#-B:ݸJ3IP&sݺ_ :;yb8x4RawenRhNw3;v+srwNF٫7 y`jPIS͈6e_fd>,ʐ0PZф΅#s`< ur$Iަ9gycJaPnljO%QLd1Q̋c5"G8P4p ;G]OU;p]Y(p2m |r⿰>Ԉ-$*j[R )X3sY1*A8JUQ:FQKµSwE8qɣLwJA6"ao_0F JRkVV+5qV٥-r%pP&MSjrڎ D_ԧaKE4o<`Au#nl&4AϽ؂|SrgTdQB,}[zRoS:?Hc 1z1VWLs }W$^RBWI8/Gٍ̱Ioo7W[vCG@_6a҉ 8UpF:cuzz*E啼X /cX,ApZK<=TޥGโxƦs_anhwޏHq%O>9>:j= QS)`hv?n8?`  NZV;>[ d@Z tO\&_PF"+w&/=LdzZ[ ԽD ̙fg c>f+*p}= km9F;?  ze!V clNo&|Sd3gk)nXߖllH❣kpY1l7~ ϪbRάbѻɝ]̙vt' KTH "Dzfta%<9?.LJ?5\iMS??u.| h*뽏鴿\Zwכb+o`ψ9Ll7"}`GmX=iI.K8ɽZo!׫i 9}F'4   Core_DOM  H%ָ$~cG1u&-6 wEZ"B ARzsNvȫt /`QRX]B 8ھ8XwSݦ 6)A Dr[1aWJe0?tVШb!}؛3>UAM % D~k>/L60Eň a3E+zT#t@*Ys"K0 ·ै߾03 f|Hyv J"L~﫼k5HaL#i VR,'[8(~vބehplN [f9!7ߘڔJez6hUF"A@tC׺؄M%^0r)GÎiMw\:/?DPhz "9]獻cU71Y88x,O,7Gn4leҔ^?JPp0쀣,W Wu1kٷin}@wA:LNԑgC (t+ҝ eH&FoR[⽩$n3 !DGy sT`C0C30Uep]59@`1[Nx:3 Ĺ(1P(FB/aFȹl:.,IP=dЉ`#J+`j'7к R˨,7 2#'o4+\r8/3d*nq"ᇓ{ف9"'/(#`+vZ/rO\)Zцu=p>:= &if:%#}葜|dTi6VR7'Mć O/S@$P7gc%GKCǺ2'@沈}RoYScbƅ0{yQZfp?D&<ܼi8 O;V 2+X)x'k/6n׿Y:U1F0-*2pcs%uՄ&V橓F \a|~PIUݨ<ÉƟ˅4HdGsZٶ׋ J`Djp]bՋ ٚx ]HGe2`RT"s')aԑo2 Mj8<UK5 ؝T-DG )"%_+R.Ѡn K8sj L0`J!S+ҩM5:̎-,<Ёf}jFDQtu$(\ǁ:XǽJfH[T#f)"K^*>iY#(5Qڍ;ʪITus M^NzW@lO '+2^\v C Wȝ^'?5Ɋs,ύ6ڨv< "ʚkq MSDA Ϟ.jIlw~v'?]pq/r+S!Rx.ǫ|Md4*CTTrH99W 'hU$=hzhkI-807I<:&Fl AgvX,yO5Z%tr;4sIȷPaqD7@ا~Y,"#)f/Kk49p >j @"G;ς0ʗ# TV)SB Τ`| 37tNút9`s;炢G"KH7SmW9;9<пbB,Џk(hڕn ֌ԂH|ɚ>YkB%jX>6c]pB˻<6Xj$\yU0X76Pة}.eI[&vz ".o82M`CZ(x|y%旯'eSy0W'hd33xV)W@t’٪쓾~@MtxqSmžNH֣'y՗8x+ 8sYљ=}h]2(e =`N*gJ.S`jfRθgY kӹ씨E6#+ לI Bn8Ukָ3gc}P#piXKb+B4Hi5^.0x'aY~{HyHƈmt葵e y0_dM'lI!hL-(%Dp&>W@ĉIt!1;NdjΡmU} [8 h5 7UEX|&M bϬ6l4G*:mSN# |ZQ*NT-nu*Ell'5HC2 y< B6U\=Th!UšLQrJ!lG 4!փ` DWktF$@\$p).ǦK?2!5 /4LSLD;'4;Y5{{-@ЯIc[<9K0SNkLEP'JYyc7CBȕ^R~ N5w1zu6uka].fS!uP4m͘7Ѕ 8t1?f謁2EWOCۄvQ<*~д /F99*ۚ5pM _W {[Gco*PaGiuħM(P5BѸ nl ] 4<mBsRYcՕŔ"6ϧ/J{=}\UuRԭvJwV3uMFM4pqf7=IJs,3 )*-(w8{^XZ\*G` ΀6#bq;ۮ6ktw :iz_jJUR)kW4&T[ OWҜ(VGK-G A/Xłd;$Qe #r9'>ZUʄ_j 64 "u5VTmES9\=Y+aǢ({^*6՛м>!T>AiGtm#Q?`>ʄip- aZՇSZ޳n*6qtWқs$Y?B $nU}sW7Dif$PFk?/ki&#}7+&>|:U'dy-LB~薟/g[AdfBU\3t>d{qK[oJ=Ev6shm6Ю&wu)0Ihy|; !naR _++{4(]̕VFZ:#Vqa.@i`Y# RnLG;*X3fW^Y)h>Idoʡ,Cxܙ>MoyF/))цb/?e[\ &6qTT*Wy.ga^&lN5U#^d4W՛5`e<Kj$(']nhXZm\J5Mla 9ln@4tۉLѶ˜f< p!&IMe+1x?ڃ_O#+li&~1i\NFȼ\ڳв"KK+b׬gҰwwN`rO0M?\>E[F)9aDf TocoY>bH«Ğs3Lɨm <: $w9n4B j8ۖeE1oq^=;Ȱ9-ﱽ6 $=: ZKq?m*GbÅ@ymgD1#/jf%%XQv"@ur# k%ؠjlhֹHx/9KYM<( =%2Ydv6Hy) g2ڏVQ >-` = y}gd! 9iAwe 3' QB۸CD/F8|vMwQd HoLT5<贡%+YP?(thNAcY_kv\ *~jt9 }N"Ϩly{Õ0\? +Zon`KTrͤ"^zEX0N/zWRnu?,AӍSXQ y83A( J/R-M:śW5#MH,'!c< if3p ōψƌbUIcKS0 %ކv*7E mvsC\xntا*pF'dfG^t첋pzʼ*H2'ryFۂ~!^]C`멱^v)qF?;A&Px^(u= H/AYkHWlm ރE@P|!!y[2{NgM<" oȿ-A돜sgrt޺<)\8A 咣b%YpΜ!w\B0P_ig2#Ա&o^'Xm}\kO=Rq1kQpS0'.kv h7CrpCyK9,pQ20;U)P#U~֑pѿeDDd .ƭO^צ "EX \ aAN̦oX{gA 3v׿gbP$f&ٝpezk}F_%U ޅ%*5 Ht*ܨM"v*o:'r6\1JCoV~ǂ'[Ŷ^`^y6|*N' Bd7)x5d*@ʺ[[ړBͬ]Pac4iZaXcD!ɯq1=[{s;w±)9ʂWE7{re?NAtb^yfn#P.SE=; $`w=L9~7]{BWo"gYZ7zXZִF! m]ŗXiɟ69W:)N}})Wn+xƾŕB.eVE%I M~k=Y@ A{l\kтMѱxHPSK'k;FI}@&q(ϲ 2ЕŽ}ܨ+k.Z#lrᝍK3dӑ2n,B@(p" `%߹cIB'EZwo[)=WG֕o"zfVG@'+XـP?يAf-c# >!OvBo9R9VL.-$N~-`R˗ǙI_ LLғQN3BSt7EhvX> \ku\PF˦%PbD|.z91?/Adžr2?hL:2 vKS?qxHsvD#(fR [BM +|.S .B{T8'?-Sr-3,}|C!r-fA?H2zV\ I˟z LjaBr(Ω>Д,]4Cxyp@8\$WCA/^[ /v 5{H_3H%~*?M4ݲdmh&^2;(>׺RN$uqwʾ*MRq(Ó$Aa}_bE!tM4^31hRhLSTTT4!s?) Yz7Dj%,qzԷF7}W.#WDv?@>EIWW58%DNH_6he͠]IܣdH$t.f-Eg @C;%D㽉_2,##6_HvqZ'Z竚G"U¿*J7&d57c4UXS=-:x0b|~D ;i 06"K/1P}N∍\YiKD^)-^ubc=ƿ~!)b#P&3oJ۲ x L\/6Q8+ݣܵ{E,_^/ug{ 0(E`3Rb17Uxl~W2#T叶>_v޶=}e/p1ԄfAvy o}DP 2ܐ3eտCDA)شhC dIPzϕN&c_S1 Bk <~عG:{lpFJ=L`Aqz d@#;)^׎qobnN~bYRA]Z "V1}}vXYG.|Xk2b J`Y/dOAR4O@Mg&ȡPN$`]ֹjvc|7ߵ|#GX͂UUpy[Lz'd>Z 'h_W&$?$;yz*#Ph;2>3a4 \ȇl zs'U ?z#1ə{G&W Whhb% F>EB ETz+GXw^3BSPqHZOac5"KbM-}&Q `gՃEf#&˞LF6C`|=h/\VwWٛlcҟ;g@jU["gJFj^I&f[CS'f0HS2kPxXJ,bA#9F߃m}şTBБ\݄gJ_a.1y kKl~`!HOJt^tfxx{@4zaȐb X4䊄/ !` ;iْ{ڤbs;}=ny9Nl/5 &ej/yjxYǂ%3PLeF` ,)jNU1@ԗldfgE2sGyZ: E0EՍq4E)VUlRn=jx|fb3J'sJV׎ m (R,JRBĉA؄댈%TrF$|ARU&9+koIiҋ|HO%o1"PCKr? r׃i"Q>VMLKn-Bq=ЅFBXwr7Ty;3CY;Tw! mDXImo!{vJŖ/ڝWQc[fTZ~ -tN]H1I֏tף=W`ęHr`&lK0t\M"0M^:;}l)Iˡ#yi"UCeG=[#c=A!U$%U;1fMpA܊2:*M0"3u<$ʺfbG/xp >"^m_ 7ҍg7iy aJOdKQ k,0N0С`;$_ta\B6hz|?ֲLX8ro^lvG E-F80$>4ԑ^ uyjJrPS) F19\8@ Va1yK Kw QV`CTƉ̹|s{JzU[]R`:$(`%r- R(=rmMF;nFE(^`:Aw|vdb{n-lKVYS&Xdvg.UME~va)ksy!>:&HU"O>F>`YT̛=qz@̜S.j",T0mLN0 Gns+NaW5jyH ӏPŐl5q3i>23 .Ԧlɏ@e O eyD ܊J[glqn./HܰόEu lU#1nڸkatS !~jcxOR+\f&Y>R)ʆh70q?qU `/9c (]O`; طז-@ETфy>TCV3fbpmQp׏jLe-" enc䏨`|joLL" `驴CFNȢ,;gZ|'3Qf)w$$dYٶS$8LČ@3m `9=u8"<,;0bAB9]vw0+#Xҋfj'p j+BuQͦ{r|\cH"ϒPԻqcd ;9 -x $dfRrtP:Q-"Mp6cܐl+Bq}4dʕigI)XЩ+rau LN SN ;XËzGtD#~pdnz`5Xkۺ:Ch58 Ux&lj /@"~yKq'|4:mo !F#\|-Ž2k} D@j&bYH !>\? b_Cl}棓8FuwAvз}q68XՖ~-yސb c/5`ߏQ(-*9WEYDDr~mboy5/tlqx1}K=\YjK9̕>|\Mf<0y[<% )T ]맣QxWdgjr0LLw'E/[=yLٙC26V8LQia|Wɖ| 0'Y:8QZRKx)z?6.Xb@z(N->yЯd㔟S}b^] g }̍gDCjԢB+UR;z3A27Ľ"aN#+ ֖szoDa8>|ĕbz˶=|Je-zC{[_M(oJ$iog䢱t2o=7ln~~ ꘛ\r74n׷/nF >f 3l.pKm<28Nu/bK[1ZN+`ʼn/i~{U*:!?N/jkf OzP?!Eߔ5gt/k%+s;XjnM\H73;^!\.Z:mPA(;޳3WFV(|_\(t@=g>^A9lF ]jw@Σ0 @ߑi?`ypDc=?dߚvom FìS$3sbtI#iU:YzOqO-.g r/gL>;X9X+3 /ѫ,i?/@c\yA V%"maO6̾5/ /`$ kvoeOS( 鷹WA33"WAQBJNzDcs&dq.L@it<*'HV{a~..YIkX>w(^(;czgxlr=ăf͈1 Y_}/V݉"Io[/(XmQl)nz@/UrZɶs.ax Y1߶ '!y30C93Q&1p=$qJ)6[ buX=␘gfڼQ`}5^7^1*[r8k1Nr|i|+P5}n-BRbq-zkv>69Bc;+z1^}̂ŝxkcwގgCt-N8$73|]+caz?v5 ofA;R2H"%C"3$-(Pk~jvO$wXu5wcgO/N/uo&Yz@0m:M{ *kEIMݸ3̈ѽvҹ?*jnix.ߣ*zg= vQ z'bZʲ1}XfBoT2=ЕH~HOy ŠXkݮl<j16]؛qDOJ瓒*\ @T`ZnΊw$?:ߢzj8I ٔ/A}isO+Kj;o6Y,\1 W]O^,Yx_tZQ)ᵂ3d`\J1MEVbT7$5E(bGc?TE90Ad2x ١~NK.Ь)U$<7w L?㘾(>P焭2)ڮhqYh@re3BDi[[ט` ídk0$#ġ=Eܧq27Z 2ܱPUEd,`PR{Q'Ƒy&a8QURǮ 4ϷAJny 3cHh޶BG&ĸ"/s[{֧|Y2! ^^{}5/ {[F?v%QV\ u)o ޞl\>\̽#|=GOK <5O]=P0|jMNuY[ &J*Wr_q /&FRD5Y[ i9a/ci;DbWwu1Ilݹm}|k$J@(5Kc94 B2›xr*1ŶG%ՙ+Y\;~Xm,o@ \MZe9ٶT2G\$F*@=)s`Ȥ]RePhKf$=l^8ǿ$Z/jt%˳I6. `E3^ذs9y M E~-3yQF5P~o~fu>șs @w53P*3`v݀/"]F*UCbTh-u!\0hm}0^}ԉo@~C;UVb*ܦk: `;U0'C%~oȇΈr*^%"۳$ R"p )D _$QNGX$hm^fǷf/3ꋐ΍~l?Nl&-92BFo֖I%+eiZJXyfJ )#(8MY=mHFMpRU5["_^"{'nͣʯ7Rzn"e6 Ldnܱ~?/ %Il\?4c= h=6IrX>շHn]R`6P؉WqiV5!MzcgTB!2Hd;F2%,yWwcp]IO4&S:8Vva%\+8rw/V.9BpBHw\y䧷Z /%W7]$@pIt[qGL5XQc#׿Yaf~VT|}_9Tj&VZ}2b rCE(D-1%iHEgҌ22nud1`$t>x. (-"¾ޔ3+nZf4J~[!iViX-15Ţїa}qmo6Lyp,hef{%="fs%XRW&}}'l$RR \iث">Z5k5 }pC,yEʖV϶LbP#-ѮuDԮ/9Q";%6* iEebA ʁMM ٌ:ʥ6Pm(N=~$1ܜTJJz/D?l+K{E=s'éHLvE\1w9k˘7h_ÅigG,pKH k^=* wnJsK::of#&SI֦zKpܬf47_,: ҖA>md UΞZ7u8`z|JURS!C %6뉒89{\o=ל#isey7<)̲ 'hA~>UeefbhOr`pYB"P8:nX.`%Zn/5 zJ7$Ӥ<\#wTB೽VC yŵ'bzEvIGZJI@\7^Dq̡}Ŵ^PSkˮvhz&0t]qpEl?w񬯺ȊHj4-7TD4dE;?~QMe H["BGq4K/[f z~@ mEu7?"8RkK*M*#~HXh-]0jB3-a["~zس9ZC Tp3]Mclc>Ѥ;_!;6 @P.E iVvBbaB⠢p!#xxY9c,ny3hh7y$%g]^LdnYC)~]?k%'j龷@/EPЭ^vA/CUK$st~UHfI\lh5REQmKP[@~ ,gkNqEI@cTJ>Af>|䝚߈uu6oS/THpq}p77(|/l{Mڷ-4K>LCp'Q(/ %84f1%@f];AA?jEN SƒFUĔRIf v|53֞A=@#Q'{Km*Y$=q ۽cP^)TV}U"b 48һ=MEMT" ކQ3O" MAnJk/&tniX(V|+9ן.3h>~ᔃbKƒ%g0Z{ܢ\3nnAfOUJsFv&BIz͆Qx;H>, z;m^MnN5(bׁkEw>[`VK*BҴj  %[;m͘Ee"4HIdtiRx9 im6fdu}d:G|l;l=F`4nHv9?0<4z3A8 P*+$1-%E-"|,or['mu%?fWx#.8tU:-;i}+ C}%I*F<JF=u"9.tZ*EU$/>/C~~ڑĤO<)TmK,,wP| Xf`Fr8UORaV%ł׈QsC gm;V=`wlzXz|ZAΉ| v BEEh 1ɡͮV(1dEY.x4 ̿Pf`# =B0¢'hm]wg̴ Z7s; Ze_;\rzr3 5{ovqLmPagXy/x.; '$m9Y{>(YHl"GƀpM ? [HƯgYɲ6֑SB$!uhsVXQxZiu j2#5jIe.ñcD;C$ tsStNcG̮P?"<8^-Qܮ]EQ[ x0h:`='h` K% Ԝ>pq{m/] .RV)E4[=ڎݙ᥵IFѵ[dK$ZPqÊPT$ KLAGG3#\ ͉Ξ%!U&1O٤H%pt PO,IhfN{\G>3a͸u]ElDX'ȧwteAt*rq[뽳%ѵohi8?x{{le 0@%ٶ4"ۑ<{e+[۶LUE㩻2X^Ml'rGsٝ'+f: W#εQ( s ['t ԰0KQgټZ5v<}teB}& :`Gٜ1qR$Px^ި ~q1{K 71=kR[Y]0.C>=9.Pgucv`$4e ΍OFm4E=`CW"q\øpq=#ٴ,[0FNÆT mQ]Dxa0s3~#2.U#)"!X ,ƶ+=Dw.s烔á%+$EeJ9_tqNcU^ bv}h8>{0Fcc]ITݰXG%,tK 3zRMMe2̆Kn ΋gg/tŢ MW{|fES>OR81»'KoKlܴF^R!'fDF䀇[;AJ['Җ"hJ9bn΅YDFG/ãoIJ󴻩`QWA9.ԏXaLXH~W·q= $Ȕ(af?Bƹo.[(XAO |ۤǺXݽz-eF VYFzɨy' - \hp6 }uٞBv1s} [2rl84evzQՓ?5O G~9Ûhƥ㦗%†M>}r~ʒMᏑbhm[MRjF(pB+&CuWp ;\8-mXVn~R `ȓM4M/S 3L ƮM+C0itQUucmoNMz@Ayx}WUX`~~DY] " jSU= p&[h' '9czQXBJN)4T/_#c5L,P?CaYP'qC}ь4DMz#8a2G<~ [vV܉ XժRQ3xEe7sZDԩxTcΣF M:_1Po> D\=\uT6N+LfE$5~iaÁpˤ QWzl7YDXyW-S<Zy <#. d=)o#5# C DV4f:y-254m4+k֬ &;hP1kޡ|}˧6LGoDWyE+׀/ 2 bqR?5Auu{IdJsȳ:/LU5vn" J!5'Fs']ẹpLz uHWcH 6I ta}yꪜzXCYW>b % _yעE\BI Āߑxt,c`+ߞ7&S`!9Z\bµvAXi/Z1ţer陧`1+u bk#Z%I1q6y;Wb飗Iey{Wyy_s_TTM?2 5j@!mrIT𿺼?G?%]5ó.}7F$iE(x \?!oF9B?FԂ-A1L"-$3CbH+ ]HA9v@A95[cb{dI{:̍*ScCbqB 2t,ظw>g.xV/ӾlydqȍH4 Z5++J &iuKX|9deXthkzN 0Vg(QDUmRQ/G) ~onA+ ; N7ˑD~^yXWlY a6Cα_R6r*i)FiI Xf5XF HB?n: bRCjnDM4[mip\!`@yo8Y&an9 ׹#v-M9?[C |l|̯qnu@~ndz=F5r=QXGun9eLف3xVmw,v/6 Yy1ܴD*`ifYf\ ?38BU)?Ţ\_|nkZ[F$ySolA.ݥɦk~K3`%Ʀ@_ ܡ7}Q~*kEwDϪgNCHj>PyMS%G"jۢk^}Sעv}~I^ FMV5>AQJ쾤Q,Ȫ&WMȥde m:|ơ4Y]$*' 3Z&\80N>vԊ20#xI֕&e`jfQgœAǜ4Z䖿JmMMnXDؼb2yM`<cKr#?0FSwU$9ҋB tBi>1!~KzOw{` R>3+s]tг- 1\SP'` h4V8uEI6L.׿}9#o?>aӹU%d7M/\:0d{mݹ rJ${S_aROhI%0p+5Q$B{Α|l߮i^7 M,F]d=DY ػ'zKwz*=xȔg=b2q Y͌yn{ivZ;q9 'yXىH0n ǹ+ P7( WZ *pq֏XCQч,Xtxhp=E)I/f;7Yҗh߾8: ybBSӓ'ʱYa@&[?H[-FoCz7OT0x]=Ld#j[a)f3W|g>=1@@ǿVe*iQ }j{őO-_7IU_ vc^Z,SenBPcϮ!sKzNI|' [rǰ-=с"o,Y|A62؞jn:E4xMHF»A>pp`=IQO8TT=i='lqZ3Vޣ/'UIԐ_FAJَ,g߻_ln<;.V#Ezi!f(`(ϖw~]OsV1<܍x='qb8#Ao ӡwCwH4~MB@>13[Fm.h^X;i|j&twQVPل?&Wo ^YsHrtPx#^3b/SDqU0Tn5~LP%8xrLlѓF k„AE0j8āϮhT3mhnO>` KM!d7%20яCwW ;:J=u6&3I}~NaDD #wy%ʞt_Eɩ鯕Xa7JT krhX[ )g/:O[zkc=RV]θª"9a{Iڼ֖ϜҖe v(rH{ჵN.LTE9uSqjG9z~Vc˰\hM_B$ƈq%'[ͅE:bJq'%-m;nEJ]r $oҗ |cv>bTke׵xkE@Pᝦ5|nX0ET//"=@\H/(wu&H@G4GHk١/yji42V G/¾smh#ZÓ!O>!|diiV֪ %яȆKB5E0v ,9 2}|hK ww6%Cf$IT+;nzJY -#$ߺ2w%h!Dϓm@g \n+X3;7'+Zj*gu,ew2|="z1mV5 =ez{HBp~3قLP<U˽ #цhPaG6]>&~3rbݘËMRb1eey(R)`*྽Tm%M,g%pouʚzS8!E)ګk:+]rm̋Laz$McqI:pTɳn vLfLbsMxc(::ͿhGa2 .qZɳGOG+Y|?ћl蹲%ږY\nB; G~k-?e2-df1[A;=y D1tW|CE`Fq mKs{ތi#fO%֌,ov3h{(9Kǵ|-bN$FvDiSZNm׍} ؟ xi/Ѵcb ȭy2̤Swņ@$̰$(XE3Τl]>v.Zۯ'fc1- ŸQZǁ30:+v;X!-H-Q/ РOxk.Fs8Hj 5>Xd"TJx,\"1CSfeLh' 89lB s'EV?OfQLQJ`Uۏѩ 7x1~R4h%07=d,w)*^(M$ڌ֠Zn븏m'wW R(ȭM a)r\X֊+ x#=hzdϙJ2xF(vSC CVEi"eZyri D_PXxъ9&( "]H.j#`mb~`0}BU$Q'@QgvZR& -PX0=n8^~W`UY{hq8/}Yy5oLjaJ9PϧVoާxfg_6Pxp#x;ѪJ(U VƩHyN¶ 3G ,HttG TW˄ d eQvA<&=nxȌ[,Z\C.=/un_>pCN h$ -`;JGWin@["jAnRynaeN~Sye+II};Lrah-4V|F&9dUx` ,-&}30 #bsg?Χ԰ d%.`CIlCG۱fdrKONj0˩-\={melpOSZ~g,|?M=5-A]`H:H3X1~ t¼0DFߤa>,jT$ ܲMWQ'q%)Obj[A1N#\q2@M R<}rQpfe F<ߦ1($"|j%>4Sxc(ieD>KCGG;.)n]QPR`RV>Z?|B`evvzΊT/" ˳1~,[К/R4U~_yMkW9@ZjQG뚧O z:DPC䅠*(z_wf\XMϿf?e<]U\9O:f^,vGYǿ+N U/wOrUR]U((Ds gbw(}s 1Wm%b 酥IB*7 e Pl22wN8]5R>y/%̺&ЫAԣor[%|sz~Nʊ=iЦf@\ڠUx|q\c #3ߺi-R wMKS1bz1ssՙN]<=ƘȌrːF$Whs&)9%s'{qkW(O9Lw%TF[o[\T>9Ԉ0):Gw.:$u꿒pr/vZt#u7W6OqZ"pD !v>A;hKTq$5UCm|W|JJ] e|p]uv1;R9w Jt<6̥eH-k<(=hR,?,_Aȁ#hIeH8S?GQBE2ETO1R"Rhz{TRr5ܿF,?,.]RA&EvFό y6("THJ⭭XsUZU$Mۑ;%~,^KԨn⮣>\ Ph5}$jUb"q8[7|"j{r_HzrknjHڇ8XHlqTЕ.c15q^5ZAKf] +1!ul74x3DLϖ_K~ -Rk-)/`6TowYsgYZfa2d01b59df1f4ef6a72bbfc8751f7f290e02bcdd3f90704504dab3f9fc94e3d143d1180eb260c4a 05a03eacc3059078cac786ce4b0187a596b54f20 5259e2dea2674c3bbd0dff7545ea77936488882c