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 8#,$ ]S]Collections:threads=4elapsed=246.921cpu=613.108gc=41.800factor=2.487zXZִF! K]ŗXf[&rԿ݉•fSQB`ersB@|:szc =wJ^B>뤠B]V ,Nh}'E7:5e/O{~ w:`jGTRh΄ fWkW6&Sk(v.$:WN8yG\X|IkQt2;Ϣl,<;K!tƞ%dvo]FI߱B,L,;g(GlHHIs2ygS%P4RWڋ9!FB,FgBአ/nA- 0qn*HɚqC @. 9:~9/dbRN#S~Ki W+}\,M@xqHcV4)f aN!: !zٓ`̑j߅p " J7Wc}L{nip7aۚm_EG186TxX>*Ŗs[9U={3jm-%k=%&4FWEM*Āc>O%dyCtOvW,͸P69nOYɭfpو6zs 1SrrjJ<\UɃv+)wtnʾDĠG?|Ťb]$\l-#}\o'!bu 9Bq+2އ.k{gZA8sJAvgƠ4棦,5WtX,ri"e!Y"%5aIIʥ62v$LQAI a ,^6zJ2a9!43>eYȡRBB1tl#4i{k* ptyۭy42*֡cJHv;r'NJ si6UVaH.R&Ey^(m-&/dJ= u'JגSP BxдzAi͂y5Οzܭ K\[2c ;Z=BjIy 9=วY1N'[/ā=/(e݌rAa{t K1#7IhZT>Bx})jZN]~˻ZKkJG{|gO5I:V4~o0+hI/TPhvb݃8ZƜ"p?+`NxEr\d#yeMVo},8OhaG`~;m&AU}q4%[K\ WHb֪^ʱr KZr/xֲOy =0 I+)yKO蘛Rç(9thyQ`ZϾ~jx2K>[_=L4A\ΗN3'r}VD[?K]s/܂:o $@ymL|~hnՙT8Ve$#۸i y< (JiQrTUN %[2u֕Q%LĬ^s+o<XT6 h~P @! oyBZ/AOu0H(]bvXyaN׹eԬc!..XWI^4C,L&JSk[A.0nLhbh&Üy%RP)zJ"ꮜsCZxvD _6W.fCwUWiƿ=ڟ$[`$MKvں6_\G ةMy6x8+qKWmb)-X,f2ix"GWXi /0}حM$ = # CollectionsG#O+ CollectionsNative_Word.Code_Target_Word_Basecode/export1.ML7zXZִF! 9u C]9 ! kG;n{;7Z^gьUfbʋh%`A`L>P6eRֹ)IՁ2z1SЙnTo^,v@P# %re; 9,K >X8Re8 ,b 2-b83rmY6/.DD}i.\ƻDȬ`VZEznnyH)OqUNefT+, QQW}V=!9$acq$=@( {;Y< r8g缫7"ɜ$λuH%v9pT=hwF jM4Jr-CdcCb'Jb'xF8=DbrdWIaraבjKn fv݃1Ѩ]|9rma#0k :c*dA&JvwxpJ䠄X FG4 O+s_ޓSviIzYޝWiY$<#Q}vu$rXtl61CD9ky耞Mi! ~#/IGަ:!R/Iv&_?cv^-޳<⛤}s.̔-}v&I< aG8}#W'1lt|rrN'ǃ3T+Ւ1ۚ6lo4N dIr9#, 9p0Tߜ89x:pۅ :uLVZEnLz! j*9d5sB=Αs)>(Ʊԟ҉: E8UӲg[ǬF:^_u$9H驱x̀X,D2Y/&Hss4, *+S\{Ό쎋;OQA. $6:4>'!򁥤6uCN?tauE*sO$Imt5T?`i28(ӣaBU#&FSܩ(kO XR>#LMtBl!vB+\<=?7*Nj*V=HAze_1l83 ^$xEZUGjuV6NAHѳnZv~ N#6vxn*"'=Q"ˬ*2;@x~b!hoSqWHCLdv+xj>΍4r ]e2fObKNܛ|=Mtg@Zedm`z@UZH¿"~"- Xΰ ;-#4ӉPwQʼn$ߝO 4pչfJ*zU9hk9x懱+`;?H]٥g]0a0Lf1vWBk7I #ȣ"TOYG@SJ2 7:7 0Šv]܍DJ]*Di*X#ӝȐ(:locBʃϕ3\YI/=UVG+?u&Ù*E ->Sr[Ħ mvBltl,J>{y+RgYǪ#ˤb+c9}cI%G0j8d"?E[X6W>WP߂7iE7fI ݄dr .d@޺Kң16~0!YcPW&_\!I'b"Vsmvwo,3~y([2,GЇohN#["Mp&%}/Vh|tUYjXK8`g҆wXhGbry0L],ܭ qn<M$( j^vcmzPBTsaw9@9'z!)!d4f",f{M/jL ?ټ-z!$%j&K\-$:_*!罵:up9Cٖ: xRiS8 0uK:Ѽ߷VQ8N҉RPɛ`Ǘ9_̞1hDT8[@;sH.HNWr;@ކ}O iyZhGJGA:DZK.ڬ N84y{[ l>EPV|G?/28ز֑ h?Jy|a)J#>P3NcW{^;rQVHCA䳍ܴ߰r %Ag 8#=+CollectionsCollections.Impl_Bit_Setcode/export1.ML@#O+ CollectionsNative_Word.Code_Target_Word_Basecode/export1.ML 66G#O+ CollectionsNative_Word.Code_Target_Word_Basecode/export1.ML7zXZִF! 9u C]9 ! kG;n{;7Z^gьUfbʋh%`A`L>P6eRֹ)IՁ2z1SЙnTo^,v@P# %re; 9,K >X8Re8 ,b 2-b83rmY6/.DD}i.\ƻDȬ`VZEznnyH)OqUNefT+, QQW}V=!9$acq$=@( {;Y< r8g缫7"ɜ$λuH%v9pT=hwF jM4Jr-CdcCb'Jb'xF8=DbrdWIaraבjKn fv݃1Ѩ]|9rma#0k :c*dA&JvwxpJ䠄X FG4 O+s_ޓSviIzYޝWiY$<#Q}vu$rXtl61CD9ky耞Mi! ~#/IGަ:!R/Iv&_?cv^-޳<⛤}s.̔-}v&I< aG8}#W'1lt|rrN'ǃ3T+Ւ1ۚ6lo4N dIr9#, 9p0Tߜ89x:pۅ :uLVZEnLz! j*9d5sB=Αs)>(Ʊԟ҉: E8UӲg[ǬF:^_u$9H驱x̀X,D2Y/&Hss4, *+S\{Ό쎋;OQA. $6:4>'!򁥤6uCN?tauE*sO$Imt5T?`i28(ӣaBU#&FSܩ(kO XR>#LMtBl!vB+\<=?7*Nj*V=HAze_1l83 ^$xEZUGjuV6NAHѳnZv~ N#6vxn*"'=Q"ˬ*2;@x~b!hoSqWHCLdv+xj>΍4r ]e2fObKNܛ|=Mtg@Zedm`z@UZH¿"~"- Xΰ ;-#4ӉPwQʼn$ߝO 4pչfJ*zU9hk9x懱+`;?H]٥g]0a0Lf1vWBk7I #ȣ"TOYG@SJ2 7:7 0Šv]܍DJ]*Di*X#ӝȐ(:locBʃϕ3\YI/=UVG+?u&Ù*E ->Sr[Ħ mvBltl,J>{y+RgYǪ#ˤb+c9}cI%G0j8d"?E[X6W>WP߂7iE7fI ݄dr .d@޺Kң16~0!YcPW&_\!I'b"Vsmvwo,3~y([2,GЇohN#["Mp&%}/Vh|tUYjXK8`g҆wXhGbry0L],ܭ qn<M$( j^vcmzPBTsaw9@9'z!)!d4f",f{M/jL ?ټ-z!$%j&K\-$:_*!罵:up9Cٖ: xRiS8 0uK:Ѽ߷VQ8N҉RPɛ`Ǘ9_̞1hDT8[@;sH.HNWr;@ކ}O iyZhGJGA:DZK.ڬ N84y{[ l>EPV|G?/28ز֑ h?Jy|a)J#>P3NcW{^;rQVHCA䳍ܴ߰r %AgYZ .#=+ tCollectionsCollections.Impl_Bit_Setcode/export1.ML7zXZִF! (.]9 ! kG;n{;7Z^gьUfbʋh%`A`L>P6eRֹ)IՁ2z1SЙnTo^,v@P# %re; 9,K >X8Re8 ,b 2-b83rmY6/.DD}i.\ƻDȬ`VZEznnyH)OqUNefT+, QQW}V=!9$acq$=@( {;Y< r8g缫7"ɜ$λuH%v9pT=hwF jM4Jr-CdcCb'Jb'xGF'p$WEH;u3e1BtISˠs7d R O~@_?!9-f#!m{0@BJkǽȠgTIН2hkwR6UDw8뙘!SCp`򿮆 i 4^\w"˵+hT:R(4h^yâk=]ff| Wu&ؘ}OQ[)=_͡2?A *(d%%-CH =8O0 S^u G57#/(Aڴi{T-) i) BCiB 㶀}"z:b 0\L7/l؞" Kq%O΋9{DHT[zgoNu+QI+ -;R x8D4QpXtRW3LL+VZ̗M>xR՝w`-"LAEyfI=Q7 ѳ2QݭA5܁c=׉% ^c[FԘ?%Fi̐:eK tBGp .|^z! an~e# LfEd /t A9źmx2Ib2+VWRel)kM7cٓ An$6_*Gi:fwA%E t,jCA|vn([w{$뽰y˟8n3c|4K@| z@d/m\1XqՁEG5-~W,g{ P*/`=d(Ұ5iw?p{!|1@*+;(X<#;Sʅu8;*:K-Rˍ}A>Y4YṋdN5\Y" Y˔Ĕ\(9gTbu3<5%@g5ᔷM,41*$;~%֓i&ǜV p{9wk""yu5+|(uYT"0YMrEW⽍O$5ޟ按3]E+_K݀5{hUSj:>~m&YrLR/}n183&ǟCzx!TZ+͎X !_u c>n{|&9&\x2z?Ӥ\y"&8E",!u;J]4M?UzH 5p78ՃNR'ޤf zS{e*cn{TߏA*$G9d_ߨPoW бOe-mZԑDS DphAˢ-wH:us!)hWr_D"R$Z l 1%q9=/c[j^ۃumz@ "SFҔ}L`U]^݁F*M^[J| V۵{N"ofzCl uO.W6VJ|4Wѡ\}L`|+keD\6dphx6&\s~-:Kw#X(ٗ;!''4 ͙BOhӳ9YB1D{gzhO;  QFy4C!O^ Zۧ 1![>_2Mv8 y&*@7;ٶn C3R+w_TX=vJ]X_EL ƀNX%R-LF@qf/sfBC=~JO<\Ie(Qr,I[璮p9%ᖿNpIq/XF/gBdbu>uy(x!bX`Z ~k%832J7bWA)th:ȁiűXijqi|5#/T`^fp2;1Ż'eI>g!m~8itU36Z>}_%X;ZͬԂe,-h 0`zQӇxވ)vtE%(cТYRV# 5*ĵXfj3xړq!GҭԕodT7Ol^o5RsVo}=[ `|zp0unͥ V*9nry|xJ%șd*srS)g\^ɨ}(m`'fKA&(86:49Zq tQ+v m7'?toL46}ev*h5[ƓNK)dZ^6\/ބ8Y6u34aa%"}3:ѫ rO ږAXQ·঄uVf_asfRt #J-)i BQI+*q f)8+9^i!DdS(NŽJKؔhz ,w QPVjHtQn2I]Ɲx[B qL~`84Fi B#/aD%۽{e"[;lAy#!eLܗ[=ٝ3"$c|ڈdqyF^󻫌@0sj$4*TFS#+g@! }Z"N>'yO㗁0=_ZӁā}B,%1G(V=b,^E TE{_/qUdS~4nJXG 7?K-UVR5' ]Ro1 zm?ԗJDw3fJ.Ft rwoK sYtHO ijH2nck?I|<~`&iOV}ځN*Zj kRIn J~x.x6]F:/V2&IA&蟡R-Kߋ#Tʠ x%0XWaRp7nkdi&w$pݬg2rh@=%.pseV|8} BC@A#z>Z:pbq+\-5yVZ3MW@7g !,ܛSm}`ϝO05s2H9HZ'=?D1E%V9%ծdnX1]"x(x}uHeWʘUVƒVk.2B98$)/Kf>K5O+?Q\ i+.HB2A&kcqk%0 x(eseKϟ\ gǴ88,!%dԯdz^dL$q7Mo'~{`QReKO!䏰Gƣ51iȻȋݕd9]V̒V>iFׅ:0iC<\V,zz"m߀K;pgi_xR0B ItrۻBFy78U!㞪{u$ֳ@+#BzņAOțZWŤeza<'cD ӯקޯo_a b)3-ߧ{} mpS6%`|=W?Jk/'?T) _{lza3W@`fV.3fXdK\!5 [kr^RSqz;ғW:͊/TW1a(CyG@ڃy5!JB]sx gY=>r}N 4|jU(-u((KJz;Hiど֥UMQ[29+Ҿ kS~$ ӌIrhR7nł\t DžS?Tw+|{Jˋ!¬Ft6.n D jNtI9 as]?gYZ7zXZִF! 'G]ŗXiɟlAC,YflӅn] 6X, xI#xBZU3&(cɻ#-Q k]N :Je&P(IFA c$Z#mO;ey4m =i|gh=PLoUjwEԽyiU(ktU*%/%pd*i $-g}^}R!I@@R?K>3߆`D_[AZbcq} u!( |f@ng[ܯX{}Ǟ=lyD5XapK' ԍ޼0QQg?3|eZHz\IJXЕЌ ˳4 dֺGO[w̖J0.@"+^+J6g&`=L "p^t~W\b@ǹ{(gg™-rO>y9OznA2b#J ]%햅qx$%QQ(%M}K +`` 7hU5n yWL=vh2) 'aWW*QMPTNavNܓzݣ~dqS6#1P uG&{*t &]/-m?MM#+/0\i6$*Kp b.ۙaCG5mW=fJqȽՄ~aӕB$ա`rNwkJ9-ʊ;Gk:#f+Z 8IK-qnR[TErvlNb!%:pC\>5PU_#2w < ʰw ovw8hI$.E&t, |[Dϯg1FQ[C2BV]SxqziPwyj9%uNn{gYZ7zXZִF! yC]ŗXi%Eb⬘FU1z~ [c[4WTؐQ3!^0%n"P7Ndиw-D{ $-bB,fUΑ(I_SK`s+ޟidْd `]ac(luG )dt[`r͂@2R!Tm)PZg f3 VHQJo>oҲ+po:\Z$iP"}|"D6E(' v zU~Ɂh"wOs:pyhU'3sWB4hn;W <{i pCWn.p'tBTc C'%3|Ex0Zot L8Q#h+kԺ;4hY zyYVH19T$v3fL \Rg|o*nūz5nK%(d;<˽2yC*Gf5\\kWyvӜ0veZȃO V[e ;VgB5fQYRDQ'^pm虭WQ<LbE]3_`Pq#CEĂ[͘W٧ɒ]½XXoh@9S৕C!W71t%;>*_3/eFo#N7u 5s g?_>͋ƅwKx9Y1Hփt<} Bx(O!9Ge='veyDlrL2K:bEL3߾s9|O4.7/l6G#Vۨ4 (pcu~?i7TaSE (kacRQC80:0]rU/ʦd^e/<1wU (yٝЊ 2=:mRF>dIf.x1M!G˖oEb&͜ô -%+og߳ K'()< eHdv6,Xzw8XI [۾LAbh!\z.I]s09]h}J%<mKCd0c3yu&̺ýJ$fOdqes_[{1Ϯ5|SfŎC_bl͵S=bQ3qZ} I;獼y^NaZT,(7Ub:}HfXWkPLsZr1Pg< 4Uر͐=Oy59 kLZJEۺbW>54bhDa=ZLW:Z+!rGd򐹄F>d ;ܟoöPSf5oV7'+gv?^5uJ8*HJ;ts|]b G|13'rH wmPDi#Ƿ3Xc3$oէ F ‹ɠ:?脗E9/D?-t'2rժ?; BJq# *@q"xWeIB&2m^1*dc[LY2[_ª{_l/Ma IyN` gSNHVN>7+\X*&кKlNބ:J@IpiR(oSwgep Oi闠MyEdDw˶s  +p4ZI9RS7 @3맇BRW0TXhE8A. h=pGJI&jF ptyKpt/o+@t-DŽAxaz|41ޝROL (&@ :zWPWh& Xw"D :8HEUZZOXmɱj1+}٦?+Si{!C8i*L{Ŧ4rp0~q^Z|dو3~=N E$W{{6o{anF-UgܤTt@ hо>4' X#v֝I=8ӱb @9  t6%LlEFL~C{?xU@ß'gmZuʴ"Q !D`m$ P^>89W'pF8I+.OR~J?^]&a$= M\PaR#`m"(g{nR mURrV0];wJNLr­{@FV5$ڹ>G[j :`anATO.KZ5kNf69Ik,݃][S3x:]G-TGMUCD^d}4 bDy !IKKP"UR͗2LD璖o`󷼆ub!)Vp=`CAEZ,n{5+- 6^h9CtY#"dS/ ,EJK9FM\T_' Z#H'l t>*gO]w4}y"gUi}2vgN&9Qtڷ8oVW0r!@`pl&Z@s߀܍VNa̎CKn"v/ޒF&_"sp5sce4ˑMS[S.yi_Ѿ CGCph`& T+/)IG XP(Vk8Fچ̖cxvrΰ2C#k'`IN6 D:KfфiIԿ˚} o^m5Eٟ_=U:]񸎐m칟ѡj[ɥ7a{&^wT-)bS)0 ؿL"M xQQY0M̨.ҡlTKW!p;O÷Ч_C<=QӀ Kl>1y!do؞$bςu͠6[[/9+1iϻy{<;9= fƙ~FjdAfD5aW'V;KEΆ.m|yҥ@ݲ"p! ;o |9RNϨD=JI Ѹmp~¡ef0j0ʊf0@b5M<bNMR͡k6o%P?<_+:wY gs(87Ǥb\%kaց]Ok}d. vyJ]JV;QrҴ3(l2ӕjRB'UH2R1XfWۈ$hO`,6:`)JXi׎A, l 04Ex: 0B*领<=o+` J_ƚaeDvZs!r<ͷ7[G: '*tB?3"xA7쁣O;V􏞍~>zUPP:m4 r7`롦~i(%YohRN8Ϫ*4 gB(\6֝@{Wi#fBxkX1]Q0!s2x[=8 4[?!OD>Lax k,YLY1ў IUVttW[?gx#<2EоRw2w wXCTԒ_+ՈONQmcHm _{qDߊh0 6.>+bTzqyR : Ƒi)HM `ggҼڰ#IkXRܛ3-[P)RZ\WIkޔ9)L8<[D˵C6F(`D^v߫bEȀߝ_1ƸӘ?]"45##'94T{Ľ!lHS)fUOlP#-ewA6@TEE+}?P2id6UiO~D/ ͠E!Ѧ ۙHb wrt;"i%ȓYFt@vE{/sNG!dA m/3ݚpJ ד U4HR@l֓*USĊtڽ>AmdVPGB)@۟P.H"J*n,!еȎPkW"*;zaq:K(몤#Up>a`N{14K:A[(`r7x|(kV t4\ʳ ZoDm))ɐv@mڷR  U}bU*MOmtq }9?(+6H@QaU*ƒB}9-rR#xwcKMdgmF$!MmXCg^Йz&iHp cS`榧9-OCN].d!c36n3 <] W=I˴_ؒ#T˖0ZnN5)ܑǵyp`Ͻm&(Qf NھOW00}%pyI|@? 6AtF,.ƲdX‚w`Ҟ5EGWG‰XOVcr|5~휼V/<#oRqFaARI=vԀoeJVdQ\* Ov+NLz>s?QU!B+2ڋГ~,J52w.o5 A1p`[_ هGW+g%Fkfê"Epw(Ӌx8X\t징 ?c `V$_ 1 N^VSc[& ڌGV|zUCf"q鉚C~!]YdkI[[ts7d:;g./Ҩ$"3i^ ]+[%8J#C|Mܼ@x:\d\L=?tbuZA`F̣dXW@0e3v<{.=/E6'i]_iSjf5Aw56h\#k!GV8,83 9X:к:q{vSU' zጃ0Y<㨠O@xW@Bkc@?ń!<ikOj1j`z Ok $ HJ ;d YUh3ZЋnRf1q`]Yѝa,  -2eqg>E}MxI)=_;4iHHO@060y[UuDHnW' q`islOCǥgi҈֟9f^"?@]`y?ڨ&x۱dH0ޚ0 -Q0@NBXb}s+ CN4dCs` I hHCs 1HvGCpv=s@KƖi"t)" 6~렉'EH^ݍJpt%ί!8t4I|*B~TMVRE@~iuDK/,xRd'g†@2/uh\78Lqd:xd4H]W|`$;Hq I)hc|Te8ݢV…?& |X`;%bL~VCʓb.ʔ=NUE88H+{@KM>~$` >{p 3$Sbg Ք{U2p֗Y0"ϑy)}5Xj7 ;28\K䖰}=ǀġ|rDkݍHnYs_s Q%J͌ Np3J7K'}pRy>UV_297d1N xƁГq>bG͉E',-믃`AS 赌6\lXule~ rG+Ųm#e^Ƥp|7#93U[8SYnSV1Ws/\/hW^Z狯D 2 Gҝ-U.7<Ț`pc(tBoKZU>7O_baz-u"cg8;DdDGNPt3ԥ/)C+s=w;gD6=C/2-=ܗO8Fxjxs2W#ת̺hn!ǃ`[Ǫfȶ`GA{0Q{mj 4a XȔr%B@TkoB)C&냯S!kj۲:eQ bЎpPFb?&nNc1 :tw=י ~1GM-0>d[8nf_D~% z/1gƐT wՅq֜Bݎ ]`jGrYI6GIR41@J~ ׅ-rP0sl}3j/e#/}HC\P$#{7ca9ǣEN:LA/or,VL íI#4]3Rxڻbp޻c2*yj%; qlTL\ z b-!63Z\,BrY3P(bq)5 .)?8@u7BTInZd^o"iiuʠABŽA owxܥʐGQۉgy EV8bCb;HSS'978^9VO~97'9F_dSĿP&E0Hd'|zKNB.\}ҫcKzbT1( f{h&öEJ8PBq:7avKu־S `7QtьH~Z`m;AǦq %L8A##ђ/ $(w} CJy8k X۽uX2s1:'s'i_::2Qb'6L]g736BLSiC M"KSBKp滬][<yC<" C-clIp#τ(%n? Q E(SY2S.Lwp߾hG" ͆,ʣ$DWekT|p["zp(fy'.Ya85!%LSV:JlU_oOe> ĚiO6CQ/9b oE2L$bޱY&G2HA|נ<cx{_4G7q p FOi-ACE:#?@~C.SޙƉ_aLLxdK a-*-{{QcAH.ixn\/ B*uO*[Mm.B ׮_2J!3ٴԈlԯOv {@TO2K^;4q[لsR ~JyZ¿^Myd-V:^;˘ImV =sܧykZ̺98+b$ [˴ٮ䥋SSqp_.qk4<%'-f4ʖh=}Օ2tOa@K pvT \)`xrp3ARɾ]jZXdϧ ymIbִVqaX<[F p扸iPqkyUl(n.Uwr5܆k%0Z<h@Rآ+Ӎ40?k^] ܑd? w Sl#yjtܩͻ.ˏ%+'7Yy.餵u 2S:y <1Z'J!gl`UZGqz#8~Gm* ) uN2BzͷiC%~['}m g5@_e(~1Ǎ;]|IyW5J/1ିLN,E]%n; 8rj߬t KHl,VL{pɵ5CpЪ; K@STez]&v($'/J%k[_wak}fd+;d5[ܾu!S\PPS!Y-dO =6FTcBh0)?>vyռN? &-uOȎ lO2 2fR GW Η'+1P<4{;:3ɂ;EvGc D淛̀2c|8V\ 6\FYt:[odAt v'j~ A NS=j >J^:'庝 G1֨u:Ug fDI9_y0 ڬF焱L^ S>M!W6:Eqꊝ\ΎvKa,QKa @_U,yE:[d&Nr ~5sªV6OSo94S>_gK ='eDI M dPJNEt!O6Y6L^jn+*y z))n,+\Y]9Eɴ!)ٺ{ H'W#'Rè_%`>xGari 7CJʦ+W~>,$sFjkC#9dHѷ˸Q,~ݑ `#ͤYe0ƷQP 0ˍEۿa'nMOU%!r& ۍzh3TqpJ' '5J*J@]<i@\PCh:q:zhp7V΂zyP5-z"UQ%jBq~xL<,]00<Nzdit0!X:44( TD>bc b^Q 7&I4^N6D"_=q6r,x$@_Ǡһ"M4hXJ~u[txz1#(6ZzI?>/ϛLhL՚Uz`T4]uKy0zg utbnj)aV&DTU̓KAbu0d^+JE"jZxQ\lOn03FxVb(7OLPEYW̐:X6{۩{IpVzֵUFe|׫cKy^\,Cx(f@p{( ΃JDŘ+-VDJYV58 :EZ=\PIV%M*}Y ~ lFh<_mpśt" \Fj#^"jGa{0Ux)y=..Hd\Bq]6X?^3P˥vغ P7pwC]Z [GXdCwR&UrGd:Da.hohSđ=&P96qZ0fHqvVG?n`,;b*&DlgѻGrbR[f5m(aCVno/m JT|P$MRwKXY>25/5 ك `-Nx̖\ 6:CyjrTt0:#BO"/++~d8YF_0Gچ_E zVF] MP@;1ۣ)*2t] ~|J+9 hBB,'=h 3<Y&6!6" 3 Ti{cA,F/.R|[?s^f{]SQ'lnQ>MĢ Ww3D͜{YxOW"xC#*5Dj(n'&Ozehpjm\q܃)? O3v<w Х/ax9U;LhҦQĝh Q9|S5'8~@p <]ХLeխ:ŽX|t@ CufD!bG"T 5xmAuC?H|% 9 AZgD B\!w "? Rk7br~H2k֫.m27b'X1C7xZoP4깆l 'RNae Zk7AƷtmdE/}̙=Q,Fv#]R 剕 =,eI49jbotaFk{W E; D%#`9&3}\afxqEk*f~SvБ\*9ԋQ  Nqk;*i 7]X SU!+}H|hC]Ph30Kߚ3#IeJ'x ԏeg1հRsYu~~OLuVT8y e4 ք9},׈7lUR9(#4i9"DXMsbzXm3vvh)=™{Nv(H"U#\ JM8&tCh:cN} ď#pfѬk[}e:6wDk<hX#K!A %}XǑ]&oT_D Klh]7qyypZ `*(- 7pq'%"ШGSja:4A++43UTՄ=Olu ^U\k鲅&aH5) OFL$8!y2 F9;;#YﴖR 1;CNKTtp&"= wG-7b;xǤ$cJ%LT1clKP=7#R{Kps[l-n{S8A5)( ֜d3*.=sʧ(Axf()KȖ7+fN%O#7$)gxaS90k!ðe:Z!$uE\o]-*tHTW5@0</cd,e)ȗ?K W/Yc>zI aDqi⹅ʍt { *) EMż㘼UMz{_bJIJ버o0!*|j(M:A{XKb T( dr2/.ʆZV e+% α'EcZ ub;ЎZ䔏;?5m ss1#f7)c`|YAjY)Ej 'Fb%5t+|R0c s,OƘ_s|D X0S<ӯ 3PrB"r083: ;^/54n,.e7* Ͽc_kzuf.gYZ8dacfa71f2e2b4cc62f32ee0134608aa7ab0ed2587d722a51b70602a06e4a7b7d793ad6a8bd08e87 b7feff3cf6fa551286ad5206b08f8a4505f29591 1a57f2cb4c4f948a7b949dbdc8a5748f50639d49 652bc4b287f432e408b6febdbaebe2878a39a1d44a3e365765dbb51c164b57461de9ae64d31558f3