SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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  d/4td ]]Affine_Arithmetic:threads=2elapsed=501.435cpu=853.908gc=52.564factor=1.707zXZִF! 3]ŗXf1-/6vRZ*_vs(}L)WhuQeAO>YAo=!jn5o>='1)_c2zpGOYDg/ VKh"m{^7$% ߉y&Mħvȟ$]ϟ.@:Pl(~SW6%0lZ=Mгn3@Qk7# Nku.b['E&gLO =ɳҜ֕fllU4؁4OS.c+Grsp]nWpYԄbh@ȿ iVTg#`-)h)ApM1q ^!uB̸- 0F |$}DIr'Vy,,!6x]'.;lk1RV:NbqfJA pL!K ɪg|PPas:m" b]iRX? ד WEK9#ŀ2Сp4I`ndVE'>i;D~@92xIQ7,dUdm.=^9턝2C&Ջۥ hI4n5I1Q=ƔwuE{mJq)NN iA$ `m? %ӘrB馱`i E&D,6]bå.PyӨ2196!uc;7Kwd.cC  ku4M_l)8ģ3k#tmXWCВͶOWYc%!@Msڙ#Wl(-`v! .lDzuXEZx'" ,q2=wf `Cgi-R[yȧ#jYiLT C( nD4 YB{Pٺ,<3PK@wCp-Y@. )sO6~o Lk3rP#G͹މ[F R~OeBB12W 5MS!/8(si&QZjQ-P##NUpCFu!QarTP|5KJM(ܽX ՐWDW V}9y֓1F|΢+7k^k%\3>K?5C\=+~ M{2䀁=>մnU3,-Qb$ݐsKox; w_Pu7,r+Nʙ}~ 1Yqw9SGQ`P{_ְ*~)\E$!Cv1IpHZ#x[ѪĪvV@tsn_YueͶѦ)sӸQ}i:5!J8e^t;ګc0Y)-:ӱ[ᡱh>HJU* d#G'G% bLn& Xxkr&٦fb[=>~Rw:ӛ3?*,Y;UP=ঘ{H&[:YКᕽ2ap=%myonfAJyق~ֳWzOdF`Ifaic|q!.?:><&ǡXд^JG~ a)*߃Q92N ӫ٫:+b&H` *iK'#G uiS&yyzdA돥Xڴþmh ?L"fL1=xݛ_,;7X9B)sWD< iz[):X2פ:'xQclAQQG9r:.)*N+9хh 9Sx,$/b*Y>CYjaROgv4f#6Ij}A2y2~5FB>BwBWOל\Wl DX翃84%C^I:ˇFJ׵߳ߌU}>;Uax W387rfNz ^p?+ZLh69k҈q'n%9|wϖ}ONDUx6lNUDCW" Z)5Rl.^x1k " ΋S:GF14 Yrr Xl% 6$3#aWo!F5ض˿47թax>v"1Sw1d35+7ӿcC7nrT|rL*' dR,iMnKw^&9sj䀵 0\w$Y5t8െ.c,W$L\ˉ}ˢX'~Bx[u&:h"WyXzν)ߪ Lk' &%U-ҙcL UnfL ;83M,Aǿ!NJtڋe;pe(t@\F/-[>쁮/lh66!:3`~XXqNR9B|VԁI[a+뛿2 XbƧd ApEGLVc7Mg-bo多3.hNzlg~RX#=W6`sc,dW9[ĕϋYYз6kmP,:K苣.AzxRYKR4\+ uL<m86&B#PV}#xTsHMϰ>sp|P`W nˆ촏EwBEqGQiZkVc2^< Ɗ 5ج"oB&DO+f P|ԵVTN{0| ;c;4V/}3bw C`Q:ifaH[Q<;%6b%>n&d(~OZG0:cd^էo'֞Q"?1ITL7* uyisPgi)v=ѷ̼sb7)ϧ0'8mȑ{qڭG;C߱}**Խ=w|o[:duG *R]_}Zvk*U\aH;rMHc6apza֮%9ܞܐ?4It@I?pIr"xޝiڮj@J⹵sIv[ Evxܵ~T?Bg dU#t=k-QhpFLQVG.5пd% =`oM|'~w8o6@ ZͤD-dyY]GD?I:>nUv ظ-r}(W6gT= 51_ʷ]jhT&,LV vϐkJ*D_/J [Oc_PG|XO/Joj^<39A!nF#šhiZ' r'l[D."4.=IJF̔r8{ۆg]Y&P,y(?+. nNkԈG.| e|z-Ɯ_mJ_deZy-㮨_%ÃɡWL:_lKtTӊo~?6R%{EQTUq?3tE&9,1e`.ĂEJ [LΕC&KM!2J~{`Wb}1#U\;*"2|cur4,mNr5ԟ޺ȍ@OGZRn4|2r: V>s/MgcHՄr/PRiJhnH':,jt`d)yk%InO5Iusb0#[9jZːgٟ& ZXPDI=9;> tS ȻV(" _lEVr!cUv?{bat9 "٢*dVϢI[c@2 E֜T kSWP0R_P}Nfx;#EeIcV@yb[oÃ,VL{=d |)E"7XNֽ>c2bŧ.{1Y!Ahk`ĝ|j~ ڎ;nv?~ ^*[ w?"  ʤV ,i3\_ :~ T~"sm?a3r ߎ/Kו?GjiԧK}p@vu;b>ަO@4c*ig%B9:좷7ˌ>KIa%khu^%O "n2PMxDae3a/aL]aHkQ@b$WDdf"P6ǚFU/diEZlB|,Z%+*Ι` zNnR^xWd^?ww"wH*bg}7pH[TdkY"pJ:!lJ}۹̤ >Ix/i{l)fX,Sp`7oό%);HsɄ{V0Xe[!2άR*jKAe5#'gޒRwYlܨPOo/?؃Z'd!]@* SD(óĉ !'5ԑՁPn֥6Wk8Ru;ؿ@^JbTVp:{G 2{ |p^c/{0Lí,׀oi`y `)h~ZE:hr9h}eZhC"Hcwy(qi$1eWSZOjuEFH"ZOsPP0^M{B vY3V&F7n]TvC Z=O'}'`!OxDs=5/GPQlC;?DaC&"k2e c9f6/o&.r9zNAwhTh碸y7-\U2-M%ΝX>3Jǥ\}wIx5k=wa*)bBz{ϕ]RFldoLObz&lj! `BYZK\y؄D!w֨&H,oS j9-ʂ~<4Ïylֱd6VmizF ٚMԋ;eԜ. qg NN))[lB@:"`]Ao^-]PV@'h)Yv*lrÞ΂ӆ30LGu$APNxCaളa,qY,>A>?3Gc48o[*2S isQ)H1]0,dC`,=VgcEfhG7c3mLx?)TJIy/^F p\>ՑD3O+yjhlr!/Q 7J FY8T Pe9Tn_=-ǡ6J4ehFCawV}o66'бgYZ7zXZִF! n3]ŗXiɟ|E\Ât+.*aphG)%uG~?~u[Uyʬ\O=uh#ޞV2CyT0M7 lO@A)^+ϡOq;nqTL7v19z, t4-j:^ēWȔ`~h ](0_ }18—."e5')lZyݿ:޽%g\1mDO*Qzi*/Vck+<^uc\!|8u&у"~!Il?z3@9:a_#-`jB![B_A1U͍]7D|.f[UVVÒMEjX?ݴD ?` ߖ\ɭ*;s,k܁ąE~K ڻr]x5~CkJ5T;©Fa'L0Tj];"hٕCCD{5GH#GW4Xʝ=Q7ךtǴ-0_^홽eCo es/ű~QfqܜesҼ2|hR}OpJ}y햪$$:*KV#D[gV@KS1k* !5î@(e_&h-B۔ Ou"qkRr/mrI;p%ʖ[ˮ;<NhUݬ0bHn̳ ~ye$qfm]ԅɿb--Nq_rJT+B`QyrY;`]^XsmJ<G6y>ӊa+2yjY\g1B eW֤QhBϸ^z "+mg4ճ s~ 8 9 zo oS*~827,Ύ`CwI01~?)᠙V ,ֱgYZ7zXZִF! M"c]ŗXi%;3ȰhdRz\2 FWm ! W$NFQ0B4nW)֨58[[B|pDyV[b?éZavm8xl8a_Lټ-??΍ f]y!) ;`}i`hż0`" z ]Xy;'SS w5BoYIƊ=7"6;H* ,:6% !eFՊBi3\{]hdVA*Ҭz=;iݏy5H@GeK81._դwX$ܘL2S>{pY;Su}^{ ŴP=uÞ簫44Uu On:蠃JVk!a6}]VJE2󔸤 FXo+`ol6زo_!=̕Cח12su34de!?wB0q 3c?Mԝkߕ%/*CHoAkЃyGr m)TR[a)):y/[CWTZRFP.l_:PB7xtL)!p]iHĻru_Jj"\JH\}t-.%=1=W NPwYZl#S% ~g,B=,G?bFuLNT_i,>* 'ɸq[Xw1Sgxy aj":9xuMlwm0 !|άpPQַhDuE ̌Ck1tȠ@ƝRA%q-DH! s`ߔj](O FYԥj]~Mn}qdا)XhƖ\n+K̻yz4MdPG~ >o@(Ƹk|ѩX۽>9p- z[HLڇ8o*\@x\c 1?Ϭ߱7Z$|P9^4L")$&lh;xǩLj)!kFF /6ҀɁM$PigfȂg&y;&޼~1k齏PyFĬ^>Wȫ% v!z5H;6 ڴy;'sp4(~$=S*Rj:$M*OR;jѳnrWŻf>S}(r?02Xszlw XPiզj!oW^nE8Oh.LA3&Pܶ7}g[n~ 9|jOmQ=l/YiRSpP7 \:e`g]OTX%sSѦoa\4#R#?щ!hkk[a4+;P/ 2]wH$u%HC[iVza\72^AqEx5-?"ɝdw4{U?ŨT_<,d: bZ|̤}`Y hhLp_ZJ S2*b#Tziƍ6ꚳ̺2g)C+6Lbk&kH?/e$Bn-Z:$=!8aqa4 yna&iYP/Q"jJ| uO4<瓦Ã7.N6MTZkFoQľ 6b3~/\$3&6 6(]4~"0o[Ά41)$Ό +VJ7TWLѺ>D$ 5HLEБChv{(Y"Y}\ J;q4\= -q轝β`?l>yB gp+.P0;MZ<Τ6nÛ!,w,MRKcng}]-V;}LzƏfvJ?l[ٱYDn%L!$/lsD,pbj)=}Rc.d.N nwT]݊T>uһ .<%`tAx{:ӒkATHg=MW;wE5-e s ˯^ J-թ=LVs"_B&O7MboA 6t7#Lh;ji5 2뒲,@ib o}NTeJyO:O[W,^8nAf PKcwKsDȏ0>KgLC7LZn3M)7*DF.N nQS/(Ljj䙓i?ayDLR"}̻~UI,^鳠jzNʻ8ydXRsϩCIVғҌ|%&Sia8VwO9GѕY? ̟<_J CG_f5ye^&CvC R&Q'ǃ 1H6Ii>R=eiPٺ5&ƾ~V 8$+\:O0Kx)-d"xx@sǿ'85)YT,2̧[H33@ҽ}Mw`?N@crRl g/u|E2fϥǹSL`=\[Oh24p7zX+7n{>YM+u=IXQq%b{>{c'ŽB9 Qwl֊k>)^s^ydr;]d(Oǵ SU(%םު#;"n; Mza|Wymg{\Co_ܭ2Sޢ)Si KXNX&M$j蒂|{wxo'%g_FRC;-c-$\:uU</nDA~b]k *9 {}oTxi C{$Tp2D/尳RJZ۹0zeX>q IDP6] Y68GCQ)$2B! ,9U| "\5Cz[~ pP͚a%8_ AZLUxauEiRVәmDG˻qQ{*"gl֏:q,jkr5:*~Uzn {ςǝmuCMi12r:eY_D=pVB_,[{ڔ?{ߕK>mδW+|lpܑ~hGs}]AR.`j? YA堃8[ӍWR`vĴb/?5]|,rH0[|caVR NBdIf5aҨ''7I}XlJ WW8gx$"k&P0 Vi$&*̂51vbP[3X4Ze+qe,uZw >"ԧNՀZ/-?ֻ.=z q.)mZR! j^!z>NZU/Xץ/;QO=ʾ ެ!zQ6lԌ; /C "]jS6ui{΍" O@:<E (ARԈ3Ю=!XR4퀩+{ ԱArjؙEC/ \EUj3c4*P(Q3P,EZxυMeh &yD3^D>rf{V`^ DRdLPT}oo~oނ0|zFKTjܪ>rki 6WҼSzxfFы_R6V^ԣ?{{g\G d҉R_0z3x[o?@z󔹄Q5ww ;RnIctM8 $vE,x<2Vt{~mx=ADm<(2LQ^46ê.'J_V\R9C$8i{ˤ̄r19MYMiL7l_̦(=gS5oQ/R0濆'V++ol\]yXBr]ݴ1NB(=\MU4*IgUco]% OEؓAlۼpNƉX_=CzstKqW,-ʱcލ\_nCV^,OxU.CthDbمв&Px0Y.rhѦ)b4/-V i%x ([ۯ>;^7]e8A Dvו0&/,h?UGy\Y"h"<xuƒs*:8DGTU!=`H1'tyc;9S<\-&J+ƪlQ=|`g|Ȕ˥o>{z .-, T&mOk=Вx51cCP |JVWU;2բuuѾT2^qqÆHD7`s0|Dr['Ċ #6 {qZGy:\V]ni"]*5Mq[~}/-+GM{՟8(џqຘ!)vF_OCnڋ<_dZDFgR#zNQD)#*&8t˨vVr+cr'EkFw˵o ͍Xej;xn(@fM{ 6dc7mQX7[9U~$Zד& B*Pc;}NR;Y5%>Klr )L!)r?brzP:ʁBBFjD,4;`|RFW*jO=Ve4$Y΅ ~ɻLv۳OT.b #6<.I6*xoc@{]ݏ!#^^h Jao@{3-8:|Ea0 JqG^ %I(ၜ;78^fwH&IoI(pZh}^#SHnJ~2nhNM6=oHNV*AlznΰK'}]Z ܭ4OZDgZXXmPB\ĺP̃_+J6?.05Y:jR} ; 696g)aVLNguBhXwphܴ$y H2d㣳GQE@(bX5ielxTC%: 3ybZ=Z1M:9:b7/wV`+zn> # Gýf1tqݻ"cTJw rKBY~B&!Wu[աI<籎ǿ?`'BsMV hvqRlbaھZ/!wCtGM`ϖGba-?8-wEI9Ȏ !R% \ɱt{7BLe')JiXd+g{r~ I9(w;5oԀj"VhxϚ®ֿ(&,SVǐ#DkEwb_xpQ Eڒ`g;>e?7ۏߵg jU 1jvZѬ](rKăL l|h:e|t{I(~*ekS8I}"0Os{yC<Ѓ <,=~ ^MXN`PˬH&܄ * vQtzm( 3'3ƭ*W4hpUEЎ5u%nZ,~eit5: c~x_~% IL&Dsԝ\54Ng'α`]TSQO֦b4ؑ PyM0 '86F110@GQ=tH\uߓbtu) sX=o\C^ǨBjL95 b|$tat|T+1 4iPm59PĿ$b~EоPpO:\r:Tڸh1dDmC~bx vTG[MOXN yJKb?j-| 90d~3G^Yxgḹ]O:lQ_TIEZVtR{ _nCzm0A 4km7cD6q[ W Al'.!9| V٘(OT3Szg-{ sJE L\ t%!U*l|N:Zfԁ4 ;+jZ=R+dG'7*t7a<ULr 4 8YC{"ZQ[@]EykŶNɱὧe#Q X|w#Y:*; /{/RSȜƥnǧJlHd{% M;/1l#%z_l P&$ j0=c4E1\?=\m#ɍΊ v' Z& z[cp"K{Y.Y- \ef1dgcJD ۢaVK=\njo8ǀ[-R&P``mg5(>\~Z:c'eN\$9`_8~EFl<"]: ĒEL z݄L-lKD,XM2 խh%!/i-lUSV`#lCE=b]qs; /(0M ! (Xpi`[O9 I4HyhB Y{ H4ʇa/.% oկ2{gb'TY;yq=W* m$,|s/* Hg~ ނ-T:G1 . 7yD<.d?FÜkAAy\JlHDR#ThӨ)&'~_ԙ +PL.˴\uɹ3]~ע/>iO<`9 0 ]wœ\ktj+c)T>q2 !N5oA4l=6\Yt0H9 OK,ig#(l~Bٟ.%2vxuVJ%cBK8Y)uE[XlY~5n# W[iʳ[D5UCsogWƱ.to7iSSWp9H/GJ#cZ<[ fm[o #K9O1dKj){,V,WaTuzKGhhT_O2bVŊP+rq^rQv Y$BDCKՀanM" j'"-j͉IxCLXt6@d.d `Kݝ#jo-SR?ZIyk*eS@AAo1~9wI.xwPp/w@3o&5 $qϲ40aM_mVnT/PQH|UwC1-m+ ּNBrEҡ;=*?b^Bp(Iݥy7cqL.ׁRؖ)Tԉ0f)P7rE\upc~0$@ #Քhe{񠪏Rdwk8v5#HV WϟS]{aƅtZ:5 vžCZ) ,: /aA:#c{'?+y ]"Y*ʋȠU@-67bk7+,>2H¹c{&(:5&/AӋi{x$3||v S-jNX 0߰#DX5F8|GΥîz&:E Ѭ +<yA윚j N_F?=`4PRcS ] (ؚKQuI>uGpxKf z|f,RhqDUp?AUNJ̨[B6D6eNe[(L6o|5+6!ӷsR:s$h@|w\kh.NTkM'OϨԢm۟,!蘯:9ԄU`bP BˤR# LVԵ$@\j݂QWa8mʌ}ik*6¬q1 aw%2V[e@\uOJ0`iAKD]dΕ4Vcѩ 0\qƏ20,88/a?~*oºރpӍ^Glmd_M:(%ajj?#LypPFPڕr9Q-Ш"!-3ELlEly9=LX-Ɨe}R-H!2:K2{TX<=Xm'G+ӟ6ccÑYǾF#SC$oܻM }=[knS?CavU+D&.<:'~w:zyc3 Iߘ.n;(fBj/j:j^gȮNbNL^C^,vl*.B(jGRAF6 ecLK >' ̩4v3NfZ<B3gsdpoo:m `W֨F&%S]ŭCv*-bc974Oy]lah\dLO6FY5l R{%dNw@ *yvGnGs \SnG=Xx㹑v$meS\>lC,0/dӌK_3ux'aT)s1sU9AҜtr <'PueS ~ zm9}-Ym 9/A{ 4bJ}rbYa9>L؜ܥXBYUB&(;m+t-} -..u==.) 7%\{.!-,Oxh xո1"99 "!4nfCP#Q뇼dzZYZo([1{$k3MH ӥEdC(']&?(,?IN_ [jkU@{5x@x0fr?~yF ʼXY9.[O֢YΏPEkŽHuf} T묒l j.`!;Fm n3wj #{[wshvo14ZJԿH*N(4q;y8#%c(ihӸUW搿&4:oK:;lm}{ϮuN瓝_ށIjD)Ձj?i@%G nVN na UԚ C6ju8[5dO pL X䩒^z Zu?:hSS~Ͻvbp; Ǻ5g`pEp1X9# pv]4L%*M>4أL%䋈ư KzM^v`wu.TZrSXA(TЊjqևjr;3#.aH,X2kn5jYn^tF{zХzDQƱ嬙v#>aZx|2d&HI7CcK#JW4-~qBڴW am~F来d ~XrSxT/%f 1!I+޶FO> *Rka胑Ӯd!3[^~r]\j*C_a#r[;m\!|!zK_WLcͶzс>fT0J5"kOhM ~㘏.O 5(SC Q'g-|,*eH-ܞ\FD(`93_I CkCgyM9%9QɗQTo= DR.3C@s'^>Bqy9I\^Xm;%!C$)wN.O- ]ݦQ2 0{Vj$Gѓiʂ\^ݐ+ץZ,!CPd:Ľݽ (? *r♋½gn Y3Smz;?iܸ-2[KRRFQVJ~Zx=I3=Ml5 +Nml* ӥ45,Ih#HYN8IT/i>N9 ׳eZ}q ̒ 1-h^pobFMWe٘Q紇pZe ̡j/.z\̪ro4!y:ru ;NG "ͫ Du#4Qe·vytN*P$*8`J3 W0ɹ4hkū Cf"m hr&=448%aCBo=(U.YKvcݡ/<8y.MNx-yb&o I.}z*YXx︮pWp2^<{;?du%u]x+\[3!g@Vޛkg`eY+^ޥfvI /l UU5aএnz¾d~e{A3$DqrE>b<$[HCMsnt|p(8Bxf#8&ѭFgp+*W]"%&Ȏ(*|chí?^S.Y$ZS,UEu 3 },93,I߹3l5γ9qSB璉_}Ql@k w06$pZTE"etk1{=bq1C/3 ;ޒ'~vuEi47&]/f+0!nOACl$v"Z˚Fl=><av%'a|gEw!g|Д&o>\UK!JOT rק/",zdPU>A9mZ.`;pPq_QPjsɄ' $p6ֵSe'4<kKͶ tr䖧Yp>1|0n`~ǖD{̇lFv_-2\L0Aѻ8V$"s ק A[6 )R_m#|:a2i٭7R!8@`T[ y!V p|m\z}m=o2En'|$AUY :4ċEu4HVZE*h#'ޣ/`uɫwk3TH庢9C|䢏ІES|VAcօ{4loSZ['uJϦ)bw釞pyMRI4eP!ֲȒ@#IX^[-wuIKQ+htb!ќo~u괠+>>=@C^y2Rey y!V=Jkߊ©qzXItŋh!ۙfόg O|V$%@;=/`4c@TTăWSbw1I*t[!ILѲj|)4=KK jl(F w^1AZ/2u`|@&?ER˽}};E:@;*%dٝ);qSR SwE`ÃbƺL:MA[b)i-ʑ1%_*sf[Cu`vIy$ M[p-ms2Ob-%2xN=Lƙɡ9·L:IZMgzEu6wа=@G@uJӆxF,s`?Q=0E>9>Wܶirn%W-s鎈nJPr}ΰJދj$+( < Iƺ|{r;qyI uA!V.FhVYz:'hn[__nUK_ۖ;W<0nIu;6]v,Al /U%)6%%m[O!CkMysuIoۯ7r5h}Bjp ROs gȯ^Jio'+|EfυOI~!fdd߰¶?ٽeF40:&XR Lֲ) cm$51s}U ΢J)jyz !˖I(R%&_pS{.S)v6muC0Xbuu zS.R?GTfHR53 O%p*_{x7Jo7%ࣣ.rxr6Y/NYFpiHV4poGyH]I{H%+j4AaU/n%Ky$( m39GrG: |[Ei01PX+Qw?['b@ 7^b T~ v wWn ]qxϡMz׍󠐞w`\]/H:KBk`/STqM yf|icq"\R6=z#uzm&'LF,88]xD mԧ57'5.0-/[LY\\C/0 8xz#ֵjr]RˊgMvu᧹yU~i~ djk^d ]]>W`n_ۡcrY74J` ~# .tx/u6m(v&O]KJ皟 4Ft͔ڣ' [bbeǕgn&G速BaG/d \ΧUƧ-kѼd]u]*R ?XrⴼPv"x JmFyXfD\y\T;UI-c~Kj_[,,7/-ߜO?If//u@'zA"]=F7_a!)ҽ?CVA&7tLpG*pAE zЌƚ_6NCՕv=wRO}tgRkt$tLJmq^% Տmt\| qgNtu D ؿYeɳ/@#? 2X\ƿ/AjO+ߋ݄ua_^ƵN{ON IV9q$d{e<"dK^IA xNWaF!҅M?73;:#L5@*7H3n==SH$5z_ *#\@>yZ{\A|5T>g*<]Z=+'[ix}rt8~JJ!+%EĀD$ ޞF bT Qqv48zLO LZ~+\wKFz~VQ̸."~ΗGݔ$>w?&ڽlWѮPU%ˀDxIŏz' 9߉؅'.3S=sJ ߂(xoK}go- 0*e.;<_L|Ep݋q-+= @5' D:B?lPD'j[ҥ^ZUzM:L)-"pqqې g&T&ʠUBX5!qJ{e]w ú=uNyNh aN$U-HdR!Q^Tၳǿ-6;W2Lx_eisgҶJlcjo-SXaUkJ٬Ѯcq?yjZ-?L8hb3?<cJ54LMcn⪮|׈cYN>¨ -el\fuc 2^LqM/t4zyyh>]md}ee(ȵPŅR뫣'#[ݻ=s%mw+9Is @!D *YYOQErI,YȦ=N[ІaٟB}O'*SQh Mr'|vv"zȯUd\!M8dp`b,j͟ UߗXziuR֪J9Z"U%@!,z>H]fQIQ:S^E=2&H*g'\tnJ{ֿ[9l烘ՖIB]C/:T$~ՓU_HWeϢɁBw&wgb| 8sr=bѪw) t( j-&@ U@ $D&HD&QklE0f}=c+uKiX[@zJ%4/gYZ8baac8d22d97fd1d71c13a65c9f6a94a4106f7bd665af98eb5b604629a3a80f1bd6c88145ac43a21 5144ebd7f8a7159ba53f7601bdcfe133b83a40ee 84e9ff1afaa7247afbeef9eb4b335fea17548a6c466a5db30e4de1918537b7e67d76856fbf6d5c01