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 4-<T ]S MonoidalCategory:threads=2elapsed=485.530cpu=849.740gc=67.720factor=1.757zXZִF! ]ŗXf1-/6vR[;hdgdfY30Lߩi툛7[[__i0^8C.|!')~V8?AzOb8E/szՙS}b|ш‰o/$tA6닿 /c%̡!;L=R^BI1[5``"ڤ\PiF^H>Ò*_Drj{/?4O]+rBK$[@0{i-Ij.x'ŘZ57"i/=J޲D Bj$V%$LХ oo-8kK:.r~)#Zzqd$L ȉ)//,[#NcLs^@@j+-&ygyto򹓖Ǫ24`Lm ZqU}qtDxtYeGoV*vyڬ ڻYŨP]Xl ߃mZtA' Ĉ<)9ӼSYKBH)C'_?[Ne{.U"1ԃd LNF]3v9؜钅)6c%䅗W˜TG(ه>8Jjl TzXx̠'#nWFnb! u 85sHx<¾:qX5|3\.8`߼mܖ4$D6X~&i Ԇ'Jf FL*>]i_@i`6t{N@YmzJIS% z6XbBϿ$$?}xI#Ǡ4bYX1bo[k5&"{^A~" qB?<(p}/w_SǸ8Yj|`pEc,:u# y]VJrrV3IN9o(g퓴r)2^u0"pIU?;j=2y$3\Z+w +$Hc&GX!m!ڜ3`_[~D'ao}+xslņ*t.ӧ$o(M >|;I#QZb?o0%OEUa8ܞq{եS^ل}-!LvR2;~$iªF\U{$"m+_OYܣ 9 ]cD <ëg:A|FiܠɃ?[ڙy[(0(qV=ԃbֲsIl=зq#N@1`euׇbKÿU}Be>RB__҂S1ވ֙cf/% se5956^qbJ +ì쐷\J = y5XDپQ*2KkH-Oq={NaoTc#a{Ŀ?R(e'/ 3{ڹeNd~d - MonoidalCategory  bli>AN X SYdb4м.#=ud+cB;?p1" YSaBgwӖlQOd[4Pڲ.=QwU0pEEXqaӈEI-"z30 H51[j>2 ]>5++'(.(~. s_|y^Xlcx\ '8E+2 Yq+zXȓ/1=>Ɛ7Ԗɪs>v~t/l&j]|pN[q2Q0+{ܫu錸fm{24T58B8|B궒X E1ՠ1C{B|/K#X!&I/ʑ`/}{)R]!- L'ڥt+Ru G봹Պn+2FI`l"*kRWBCb ʶAOPU/&-|x.QP22(0T.$ݰm0ꜘg O>\S2:7ꖿCC)U c(dSE;pu9@ ^B2EW>~h"La^qП|Z}RJv=@BR S$j haeЭ6"$C_5^Ƣ kƯc7Ww|{'dw5{)@܇T+ |++^C(;EodIkט86cd~??Em hVn'(p*e.22"cOibJxoѠŷЦsKHa5o$v<ުvumۓpd/"}Fu%"U/s^R+*(. ~E*M߯ȏN M;-[5 ۾q&O,'e`$OЩ^?I/3F3?`+ Jx}Wx5/ҘQ9#K|M\/0-x"֔ږKqڄ ]WްI[pwn/Cw$QF#BoȦٱVgY$V"Wd}";ʮ ]Qlt>k lHS$Y莻2Ȋ`&_L\e5%m{.l87^'`&W_Q(X\t¦lfeؽ3-tqNVc.Y{#nQ5-8+u|ۓ˃er+cTg]mvXr(j :wz)Z;O+^4sWlS5n0#Z}o'-fJA&b_,C#S.dםQ7mw~/yОL"}|UcɢOz8*ƺo8*UڽSh| +_|±gYZ7zXZִF! if$]ŗXi%>g:}|FϓI>*ltBcYІ~UFmq[(t6 }f h8{MLu@DsMG! 36D.,:&VF>@5߁Յ]kwȋ& $N{XW95.7\iԒ+lU,cVE?Ac XuF ZqTFp0f ۆorpZ?/rWt1Ge2~>J'b9aGx0ݨnj79HI?l}W>iiQQŞE`X.<{jWNE\/FB#810qn7m*G'30qP#gkamF'Zdz[`ʇ Ҭ1:ͣ e)|U)>_W#%Y_K0w;HMmJ{* 3S2` sU uBҴoDmk,O#,5 L5G@rpJT%OFVj!K7KJܫ08%H?m0Gj~2r4ZP'".3iP2{+6+81 MWDΥ_L9m^#Sƫ:3)F6o''kQE/VQvO-MaG~^DŽ i*B`㽰xwGTmx遚 jhkss*Tg_8SDTEZzDDÑf״ *M;;%AI,s15"rLo]N6|E_ KYOנ5.cS$1"Ud8b0W{=q\=GLmy1 2:Zal֡L?rLi#Gg+ȾՄW9R$rd7.9AKwq/k}=z>j3T$bO7h3w*xyw+dvծIF~yfY [!p*?lɡ`b[-`jCKa@}凾\Dc 4|t=9 yEhlH(NYZB_lrd.Z>_{}CՓY*RY=ǒo*%&X(9|p*8*]ݠ,3p&|IꂦjF8~|0".!v#kPE +0J]Y(^LM5VQXe|1Ucm˳!8=\-`c]-%#$_Hز 7E;|g5x,Ƽ4elab*II )~\ofj9fF۹`~.| 'Elw.X#A@ > +ᩎDT;D30{Qۯd&M39(j{ 爹@ 0 q)rOοuO'!Œwys*ku}vd1 -y;̻9N)ShBr$ddmX$z %!V[?d?f${kaߓY;1xھ->;$H40+?Bl„[hT͔RD9 P:vE(e|n:NiIt7 e6:'o{ m@zr1KfC^! )p:=gAjyf(D^Oc$V3 F3S0w,z^WSxk&%JW"0q׽Q,̂j $jԄi,-Rì(Q`D$2Mla72' I| C$7yqƅzBBci."75RG0}q@DM װR*T*PDÀ?+/D5pK'ً3;@A! c&ZƷ<,D6j)Yf"$= 4l 3T1Ms}c4a^9Do?|+d*Bd*e722ArXцۥĖ=FSnMKC0ӊcY-y#\7Š[v<@pUbdܥk"`:}GtddLgc4[Zpa>@!Dv%ӓԫ*#kڲ@hPzq?"h "7.|`ǡf_ oEkvq.@l;G<å~2~ @*Z3mk{*BaZM嘬$| !#y[%&.-Y:Vj܅|/?aPsѕ![Z(Q q懹(У۫_@>t<?qTBa{:P#z-a1  [9GD_Hxn9\\yգT;K : >,L$l\\CE^ȵDƥ?`btpAfT#fOU^ܧRNȎ8?8H1٪d_Po qW= (J$1JɝMa-p;Gٽè[4Ъ iD"E?Y 9%Ē.Y?F:zŻtI-XjD( Uz F/Mҵ"͇SzG8s"ffA:m? coAΖغTC=b%LED}T2 tpjT@\= ~s loV%G >X*h$m[5&T`bCn,I&;kcrۉsg)usO>8\ܙ˙gN#zyǃ^ !_ڠG&]eyÖq!823QZ:@?hsM|qad ]-t:B;m 57šg)leN8؅ 6Laͪ޺sJ$V18 _ ݾI3No糕E%p's*:@FnT>6W_ZMR"0 CoNnP }4FŢkX{[b%/XN (7ȣ¿s$˻$:!H7D^ߴ&`(%g:e֌KEwy EE1qHItVi8q=CaG#.˴EG4RBȓzc$AUK zr[yI9I5(}!t꾰B1F0[Fy>j>ȁlOH(4C6̥9zg=:ɈPV ?sΔYԡ &mlr^נz ?~n^ul5-Y:wl2X"KIxA@52۴vA!p&ˬ]n'D@d:?5 "/gvFt j~aY&aMů zwʵoͿ9G | f!̑Dcm@4$N3)gp=ZFGzs:Qݴ7ciE-)3eV?;E؇Xo X'(hg"p4]F ^֡<=@`ޯCm=)] (niW9GBBy1ZUV/> FIF,/.1Q$pMgrBm.ANl-(Z\ڭRHJڂ&m2MhxVE<_Ǽyh{it~J ~З 4Nթ\UEt(rMZh%?|wc{x+&x#5{&O,amG(zB[B|j YRѮV a +uE4x  @]6u,JnQt-,*7E !)i PX9S=w.pcͺ9L! z Y06hteЎ_VğO7ߋ$zI>JfH ˣ"-|D.fypNd(`D'Ğ8>nMę.8Dx'$N#2Yp1;ެ7lsI&Ͱ@vS.Io)ۋ ZgJ! :y~QU%Vg/<:Яi~^w&4DtA4G?*$#j2q't-[qS ip|E+6O1vR=3"g&9\~"x PI)uuio | إ -Gq$6T+}k0X5- ʅa!"!ր_9VYNR5{Mw]BQGaך5H_E[OFty'0̘rGq$L;6U,OI9[;pa RFxK1Zzy!F{$QR׮@>viG;kN]P!nu(RoXsh5d_RM22毑ޤpaob}$-Тd5i;0>^1lN85 |O`qħ{@`:j -ݢ d PD5X4Z˝e*!;}cTĜV:Nkiull+X!` TXW VWqz6Q٠JB'4m+UIs:4$9s~E%"“p*Y9"#АvW|@%37\jaPoQYwt(Q;: D_0c0xB)8(| V/o^hHË؍yS4Ǔ8ovBSXJ?#BH5R&Iy ڛ.ϕ56V\K؉؎K527aUPq!Paa0/Mk;B>D/b 8.Oͨ?Io)aej%ư ^)UKM(A9Aذ+1Ғh?6}-2W©j ^' h<]Uol x,wWFOZ¥}$dO GY֖1EjޙW SY$m>"6Ȋ/SRM qHHr_* 8BRq6J;mdf !kcP&w qa2 3~J<=䪫sgI<:~C F``ȪlnwՅ޴m4`,dd2z"L+eo%x8LMc6OTsbzci9MVJ!&LCZˢv 0?V zЯ`NPH% &{¦B$)2sGvbuRs f8`-׷KVZE.7%͜s v,G:>O!/WËU@(0-\`rZ'=ϴ:]ƀDkE$^(^ķ骋`ʖ_:bht5ښQ;ejsm;'ťO85?-a78VVI{ ֑7mr#ur?=$]?N8AS[ߋJ/'9uBQ.1~_փ82qY2 vq sZ:T_S㥋T 9cy (EQL٪œ8n^ >~K y(+fbW2mUO1po@UA xI8{f:>k`FLuV\a5qm#[qYҤ=k4_S\ڟIIG} cQZ] {ٸ< I٩qfA0/5C&x&ʼs4\NbғKjtɐ8hȬ>-d4!{h9I_ZꥣJTFW<AjY-5&0 WMT=SY~7𹗢RF5 ?U)g- Ag 6|iķӧj@ͥ%UR&dnSgxO/|BE*k۲j]D{?-`a;PvU}~x:e[($J 튴8l3v[#78hȆϭlG~|!mî0t:cէ&FO$oE /V5)بl=Psz1 LD*NsZe=ShƼeQq2X $LlNͻz1xT{OugwJt7[UPыz9O[̻,B) N?PAW;lVIDT˗Xw̶!f<f첼QUneAak16~vtw͜Wq6ucR4V>j.](`YR]O}xx@ 3 W ]BHU{|(("yB}&z?ʧslSӦnXrmM Sn,Z@b3A]W =APVsZn#$\TXLJbAØzNtQ$8{he3}Ve+b~y5 쓨7mu.3OHuI6*us)8)UB7*^X݄'V\K붡d攏35ɣjX_0zOboE Gȶ, ?oZ$:.YfwW $Kq {e PcID]IL>-~c{q"2 0񹍔MZiN8އ ܐ_@SLjp*H![fT{ g7BgZaȻV驔2.fS'0N 0ܾ.%2['[Is3$d.Eƪx]!. 0bG'|maMdtVgF}pAuH?դH4B4$J˛$Q= )4&<εg/-%nM*1qFB3ebȃ >Hy W&ˁhF(8 2 漳8EDKZGk'~ruFR|pV3CώJ9'_aRh\l TyV#  k4:Q~Vi^4HVy_Gc^7_]0b`}?  3{[eOr:6Xb~܅]|JV4wR# v:]YhxO?Ϛ>'A}}c Rp:aY^-o9ߞ>ɫ$oŧMYĵQke ȫF^5􆦛߿diOjh%=LɈDٶESR7!Qq9ARhY@Arl{S4K#!3Rafh. 7o3ƜPț0'ݓ/IIkP2/WWF'z?Z [9Xb6"v:Bd.}r)/, 2ՎRj7L^kL.AŤڃja7!|k$uy^$}yKv,8s}&Û56 3%*8LH3p*'ipX_S)])f$0ڮgwM5EJt '_iћbbZghL*w&pI#{5n̨&60@[#Px^cBws;hdMJkƪr7*Â_Nss1BQD ݚwHi}F cj>~]//xUt 6AH"1>C^VB:YS(7Jg摮A+(E*E° v2"rdEmLrͩݺ [?vIU'Z6GOЍ*Y!l6fԺ ]ɝWDD|`RfTV\h  XYrRMKsY 2ڱӭv6Ceޏ9,F:ycɫф+-Hi-vve!ZLcTE%(qNL,"wiÁ]Wa*gmԵ.Aw j$32rCV2 Jlr3XbR{&wFE35 I N\cq|egƧ7sO.ڑrx*&蚈90_S ({h6 EC|-[!5:S;qbY_ܭ'E9IFҘրE!Z ݓ/Kk'z槿 䏊J(|+@obV f#PDI3kᜒm7qkoX'Kmm 1P$N~`ҁHګ`8o^@:qLqK^yP5wےn/S=˻Yj2o+ppP`wl @!SWޒgS٘{7ߟ^ cREH'C~7C ^k(𻞷<1jy(VV>@{,r (M;ǞGk 9-z"o-}j>>c sWA?ck1L8>U*;9MT@Zȁ~+7>:r"[jaJ%qsoaJ:V=+L;hxБIFFD7!^HeP :)Ï-14;y Kí;>?#ߘ h΢)|+@73}a$}rDS,`"eӠ K|%i5My5X/͢w x9H8 gfOt3 ` $Н8DLݰG|7)ϝ<-J`܈bTBN˧T8qN=%BAÿ{S7iSS2iPam1ZvYف8hVZ/ǡl ybU3FXоɷ%,יJK` p!oCBMC+42k'聼˛uNfՇ-;9 ڌu9Qp!2^w %3s =7=O$-HBy2k z/\/vF?*Hh^U$/5pKU˓a3Wj"{}#>#d ՙ>V Y^V0 ⚨Xq=L*7sܴMwF `3+6ӖZ}%wҹ0- u&϶4^5hE1V/ãHc=(vSʞN#Лi^04p毒 1?arvLtQb !^q +j:( s?aĤ@0Sp$R6gnD? 7 yoOhhh+}^Ui|=dCj3 9@u[<'wt;m@7Nt&}RV30Vn؉Rr $xyT͍CLB9߄=r5<LetkϾ;ebbA8ǒЍUJnG@veh4A7" [9dn !| o M3E3& M.ޠyUJ Ƨ.mZwEN!ݗ.іb &7k73y+Z<@{E"5 #(>˯yN ̿^Ub-8bMB#x6vՙzniȦv6~xI> apE2Uo4r0edF3bح\DU9ޤpDw _k+l:N$ X]+4jn4b8ryk_(ksZ֚.X|vS^"`hg}:8ɇ0?Rбh㍃-_ OlQ-_?P *4Ky4?aoa)+$m2 G^X^A!LgR@ ҇ J J\Q9R7yi`;M^˅1_ FA.!8ojg&` 5S*@٢UkUhrtR_xYyZ9hZrKf<sȽDt4cb{|巛Ј0Y_RO+n,H!m3S{MG-a)TK _R xJ|= ‰B0"jr8OL\?&`4vDL'[8f q@Vz;xX0`̗[ICf>*Mv@+&?K"T8HnZR:e@r1mϼ'pޭjX9ˋ+ME =&]`V^2',E2N؜2[,9#O Zwy h;fҕz~<*ٜ532AC[[uŤP\ JyW)oOkG͚&YLz˷^Y}v?^=Y7֑2 k,FC鹂".unh-]^M>clؼs A9Vjz c?eӞ}>Mb4mȕDs|bm\@t{76€fpBo%:VII*lndtzj/IHC ![=A:Z|R#,xr" 4;T!b]ZDu';Gjr.Nㇼ\@jF"5ʷdbb[ ߋI h * I]zܛt㖼% wj5 h2%Viҁ"{3d@e/9ݽ>:yNƓS(5D펳M"_" q9.h6۲*5̏ ~'T&p}jy/t) c_q,s3Ųr[cZXs&jh =_yJr^̆{P>k!\DձۉYi*}ŢLVhɈeo(%Et+7H=9iS^Oԅ Gȿ7u^MMs˩][[?w/iWV|T?@gT6z0Bf\?WRFyj\7h*i;phZS2:FCu¾ i). 肖L@M"#WE] {6%XU0{¯#b6I0iX{,u<ثhfOnsmLʤtaOn5Y]YhjRyuCm[%PM|L)  }24D*T&uwZnK⎖.Dpٙ&ˋZ)^G.dC[Ohos#DՊpjy[`@_F [,EroL8CÛJvHW▰Jg}Z@L6'ކJ^7fəW쨜_+LD/gNW@yhޟF()@{Cr),>111d#)+.w:,Y 6Jg8\%03jKcxZ*;DO0iE71 [5]bBiyj%=/.jtsW6aʈW.VmېrSP5:ܧ_̯\ؘ ؆7tjkJOD# :<z` n xo>)OבE{Ӣ~&,]#w툷9sp}/8J8joCYi>XemI̷Ͱo9ryt" $}& API~҂%GIQ*9(NnstbԵ Ftl H+jz^8͕_2}S<$k^ $:;frS7iPJv O$|(juJ269oqr|%zgϹ(j `*酦Tsvb$V"0H kW6TI-nXnCbV5 8[2 +P7\d񞾐GSzZ_S5z)w,G̤<MֱŒ2-e\b.R(}&cw逢!^*]FnM$V훖W򰅳𿮫[rVSZHPWRjēRh'P@F\+<ʍRxUçM9+^La>{>r'g6}pC!Us5HŹFJ?}ճL VD;@t~ˇfiXf倔Z,q(M6%Fadwt.6G%Ko{T|O7JoGSf#&*1$[)#o+i*ﺙ$53wCmV `@f0d}~?CySӚɎ:8gs'[-!^^п q~ I*8,iej%qkʱvKNou%F䛞9Z؃W6@";.}M<:ϊmT'7;ʽel6}qJN]Rf͹h~FV ǘ>{@!,G)Gaw0卶QAZkv=z۵/uEA}- `#uo Y%tD{N- '6ϥ5"/r%=W^ *6 ,6`Trk!k :~*- 'zO;}iT|0u8ȢOjc(r82qx y ,$S9;:; pqE#VD#(aS5%^}S9X7Jq 8X"EѦ6'X̢?ׅKO\-4Q~\̋J0*ͯ)E(/;I n]G k+"(5MF,%NS#;UC^ hL ;)C<$1C  |K,Tw#+Gn .(<"fXD I ΧWf-(Dc^\#fxT^ w$\EH(G?(ѣr:Q$Bp+-vs6#fX0 Uj0CƙgɆٸ^KPsʍ2 nԂ60~w@l2SwB9uj3~f{t0ĺXCml щJW `y_f R`^bmYz_qrz1Ls)jRq h:Ka:O- :G<rlш2nG+M(ǩZ/5N< 8Һ7S}︝?dW\ Kb͵-(B Ϊ Rөqo,fɁKٽ1iiS'}8vr#3)i Yh_%ҟL2Lm"P5S[Wny#̛ީZBfb HAu&;^I+bj.KE~xDC˯)ie.(wWY#=o}< p-!>>  ;ݢqe>bM'B'{LOb#Bej +8lIՋY.WPͫS1_.c =iwq3VcҕW].cҕ1F,NN1BRzwnR,F=Hz p?F2O[ob7a1Szь.t܆|J%Q~zU硑o18!ˆ ]Lu9zʞ'SCPogRef\8]ŎEAsdlLk%IօW5hxJpPɢ!Jxف)XqZl&JtL5(m%O˿>겳b^0kW1ΖTN no1@:_ +$Wx~  Jp6X]]&m!9Ms.t\"_ *s89Qmm`07T??YTn4>kg X [;pL12)$x&"x,|0z5# s5\oO-X\:߁"O! HP \4Z,AMrH eŀPK94*{\e68._#d^=gn&^Mlz*CLK)-ZG,$[F:a`!Pр@hK@3&6vYR7AiBYL7#c܉I~%׬ټsm@ wƜP0uT;˸T/sG춵RdLH@SKa шw&Tk}"~:YAr\hp3_D% %+stvewrɐmƁqY0 X 5l;W7[" 'LV xkR$=ђN)&T:w B]/DvL)qݳ%]84XZ *J>{űԹŧl<7ot]zT^LvfKL2NW>NFqX~~_#$W՛T/0=aU>&Pa3H9cFa/-68{!RbNe>Tܪ=b[ )rxb6hE3Ѕ8lP(ϸUԙ`i'-88 c(2@Uؒ0"KxR `DdKO:¦=WGb..6fѠw5^$?rdԁ`YcNQMP|@"buC߷(!cs%~ wy >cNi)h39P~j'ŘwSy#_9C'-WAs*)jFTaзX8|B!V?[A"m1!WQsim}!…ͽh-%n@*XqRo6O3 zݽt_ߍ/)aIa:m6@l87] R "Ib{6)(rݤՠVV5lsw^a6<g'CLd;; $i͟IK]AIBTXbk`Uzka3Ed'iB677h&S ?^xqR#ɇ9jFKGI]]r=/S^$FMmfl Kfjvhy^[ W$; LqP6:-NVMpۚ_ ؗ́~r9,,x.'[+ TY|sYѳԮ( .s7e]ǠPEvZ/XOJ.=;^Y+8Q|B8AOBadqANyn<1*'o%ۗF'G zӇ3ݏϝ]u'מLzO/妖gA0/1+E~,9eﲷ{lsSBGcA #J18mPԬy Xϑk:³+{G!DJ 7U/0Q-bBхy/P Oeig( #3v{B|sћ-}.Rp=cDM49.8DQ }#. BQcJB,pFg65g- ΍=3GMBP?~ݵ6OiN& /zOI:7 W++tCN;̊غ sJWCSaOo{o2[WT/؁)s5邗~$lN_(x].5q}L0ED  .Af✚U=\ D: T/]i.OyS(%fqFA$yTӼhwyw) mg)Ѽ}=+J3B r"r(2qYj5*)Op \k:4R*qmve"A=1- pDRgZc{.4囮̓ .X0e5dIWV~0^ge4(Ii#3N"Jk (}?urxJJflZv-B:EmHbL#Z^<҄7:ąĻ,FDs -ZW@_1~41U_/ȞV|R7eI;BJ]BQЩ\kt1#gە[p 83PZb+V)#;7LMd" )\ 4-Splk1NG%LׄwZHR7yKm^n Oؘ-vgjJ!E!@E t3֠L)9~Pª[nb(9]b,&} -߂J`hRI"t5|•4_#[w:PNnwJ8vmT~RT'v,d3vjSÜH Nˆ4@qG1'CCs3u(ًs-9Y),I&Yy÷Z. 1y°3㷢xkG SHvZ0 |YOA󯟝zА!/_Js`m*Sw*)9{Hhqj2ckA½v~6zsྖq>f~%6Lź ?gddJKHqMcz\q%,!8iA+im oK:eySD=G.4M+]O2N0]ɗȽ*p ?MESB!5]/U$ s~SM@%qK kP˯YgXC%23W56㙼f_I'7Bĭżc pp⮉0wBBeǚ%)2`{1Fwk  *}yyFOiU^)oE@ᶤ Ck1_ˤ`V?͡F[)Wts^ v@BN+~ŶT!vpX]-ܰ0i^n=} |E 4ڋ87C?4(G4mŷM2#xN2[&rwѕ/U>G#F0PRPhYa`(R~?,MN[^DJ-֒2}h<%ĺGNԧ}򎋁" bbޝ?pk5 Am&Nדapl(:^H^\Xhh&¯UwF.RޘZK|Ro~f0==!̑D@|,Jn'P@).8&0ӍN@UpjbhX ]]Bߙ6_!DŝO E 5%k04Csæ8Hz/vT&K r9En yop;1T{]`yQE(ԫoEʰ)v)nY4 u؏H_7E񏩥bx ̊6*IO7?@"D O V((޷F!k&nH8x@Uo1R0w4 s[!{avN@AoVΉ5A #R]Uvv` |,~RQeWީ5sg2nV!Sn)%pnt=HE)86Fxi@7f~/;M3&z?fܭ;#SyUGxiccj8Яb2yVظ n7>>-̡RW B ^R)qʎTCSfr^jXToc0ڑU%S=b3Sx$P)~\/@|l!`@y=;VtG"-^) ,FRrXl:GT'6GBQKupH(|<@gƻQ@C>t,B'KZ%>#3ЍMJL}isUP*DQ9n ,aY5V;#ˆ sY2w$ 6A\4]14-Sa,"p уt‚OP܂! gZ0 b1|*Ց& +Ȉ~ osvi4c|RĽJ"F")E (e'2cyvN3B _ E f7ԧ*\ 7ˡ-tz_em',XVJ 2ut *Reeƴ8~K (A$ctZ2 hK*CՋwJck\Ҫmu XLϛO%dS:;/dK[t, x!r.'2 e(]aAuPoh]DSkR(F+m]k;m5"6>@fm#K2jvHzEG7|}oRR!넟dY` i^ŀְӎVc4 RS/J+PtU0o?C58zm dwR< XՒ UD=kvݜWTY "G\뮼u&e;X0t]65Whhpq1/H%Yج6<")=){4*0rG_B7w9Ӭt$7gesδ><cQF3+Nk.|Ew&dvV::*={\ P!?8,}%dB#gYZc0fb040208c13e5a53dc5309bb43c29771357d58767d1abb4385cc0848829909014ec5284a74f26d f8f7da93998fdd1c52e2a4472eb3025f88ab3418 4aa777d02a48666be1db0a0252cf123414021bc0 0a5d3ff87d38a004c6856a69227ea9d7f0f144fd