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 DD) , l ]/ Card_Multisets:threads=4elapsed=8.525cpu=22.184gc=0.676factor=2.607zXZִF! pN]ŗXiɟH)0%o}Z`OћD3:#Af>a_l_.O3y0,! +I<31ׇ c˰s^c4L鳯9w컽!AYvު[6 7$6tFO{-7@4è7#G7Ț$N+l椺UwCF#˵D܉HST1Sy$2Nb}? ȷ 洦faު%)ByZ9Bq1X7KhgZZ-(Oúܳyii2V VQ(q]f/09޹ N}=-’~)pRw&C0\lV\h@tN>f]Nx=>I݅3+S&'T/l)lœE pbC\G \VVZ'T3&EdGM:l 0 O~ڍ=u#/ ib,.}A,FUnޙ&Hҏ(TF d:mu6;d^hZef-l̹NX_}zJ:=[XĕOR2 mMGj\'^-IW3 )gưkZ6Zf"׶^'aLuY^&6۾ZV!{l/ RͰW T" X_ (<:2R/-IcQs/ _( ol||ޢX;T.(E`+=Un fX]}Ky2wG%eśi-_I&ă?T+9@k>GOnQvJ ~]oR` n z3N =r[j*u$c(A9ʘ;^reyXͼ"zc 9]K1~8ℽs`bsO{= ~jDI'G!JZ9wn2(IsSfbKte^sv oq,L^k|^ q8J_R&qa:(,otتu  ) Card_Multisets  ֪_| }SKi! msI9"NZŲ)9ZN%*0ryD3/TSERۊuT웺KǢ?yg8N4g19<]/Jo41tC|fwaXa#"WCA5049@A d\N6/L! hTB~aHıgXa_7}^sA;h`v1SnS(>GGz `|_YTퟠQ:lbJr0^iDب0XcV/I%@O5c idllA/V|ݿ9H;I\7xT>k#_3O`ğEV ѽ~5=i1EdI3 X(Al޳sѓE%{VGB̰kd.,uMN"|VHpVPČВ|[ 1T/YOi`b?HU==$E&j?F(tS(yb? Ş1k/ Ň)ka>V[o = -:O9ҹۄ1i~w.3$f᠙1>3tlԷ5f[S}cUUg~PPf W@mHע<[T(Ӹ`O^mG|96<6UOٴ鹅oi2acywЖ`U -G ]f}P=z ?̺&o@:@X:'`Ri|a8jWV̬ |Ye&^K@~} qɒu4_U3GHwC{F?a`hΆ]՞Z`'0v)&(f8sH m] KubjY0"Sgv_ս6g _W &Iӂ-vcvx3Z I o)4niA80>C 6t?ICum؅>lĒ/BǠp;5Q>*ɣWZU4gsP̎kcV=uk6aO,UȰ}$76r~Qf3' [-&>fެmU棠W!i \dM 9!ϯ]͑k)sQ慱NLБt w;tD?f6aqTpb;e\xIGqtQÅAA˔dG1}kz8'] R~W{'vA,R}hϽ:uaI9NV YZ$q֏BDTmt~c;?Po)c>V! ͟O#'5>,E+1$Ps3@\Y>zW'MO;kʵ鮒m3s՘tepJ񠐄*^uwn%/2πkc~6V~~mla#)Ů*ڎi39DВE xoKI]U?O+x T[Ie_Ju\3$ԙHo;))W>M K :^oӇSu7KzD.ݰfiGO"9W7hɉq"l':6Kb`S$ %?/ /JXa.+3AVIlRk]DDhr Q>렳b6"Er5 E[1+D=q>&6tfLlL*w reT07W?ׯN˚s_cB 5n!-_8#)3yˀibS r*5U&eԫ%[_\b?*Q,v؀^TE?K[aNϑR.Ht/:Π6{f$[Yo1!qB?}iȥ{}!ta,ᛞ[ 32lL+^OoLNcT߳8ZcٌR|ͩ1%9\ݥD0ۄC}#xq5 JpK#xaZ%lj65=LND;( {L {SD͉!NC&pI!#]ۃD,r]-#zE^'eLq{mRM58Q34I Lݴ\uk[_@zbmhڤjkizE9Mk CEΊͲi>Q)]-<,nX9_(kB$ 2ǰKT&b#tͷ0Bee]zCvIb`Rf是 \|N  z:ec@b#M{Zy!4x1W p`{KRJϝB`]lQ [ԅ lU{(ւs8L$/5O`BH N<ܨi4Vpo#vTnbe"VAY*I %B/HX{>v3I?Չ%>p5k #X0&+2!ujye=@MnaDa-{@A2:|n qM[chh)HW;j^I~/3I\&侽) j1k~&$H%wė]lS6;&X3$xњ(N!$eD/ jd4'P9A4B_\!+7wlfz~iLZxms91AT.:q$hbd@=l(/iZTvR#9-`02WD@WvBwgEF4Y4FAGYb8awM"VTIՍR#Q~R!>q3d)BZdX!z롣ͺL,VnNnvaASSzt<$C6]:BHьpq$j}42wuVtyWl]YtavUWKEBju.׫(gnG#l5szZ*@rL"3жIƲԎKGR!-(>Wi|I_ǒh\fMm $p\ ;N)V_oƫH#~]}8bIUK³р]*}G?M׿W='PzVGt[(G4"K4~iHΑ[("k0eB 4S X/ƾ>Q>+5PO~7h K>T;4<yC7diM1J/(KYoʏi._GIN g=b.{OnXsfR˛:}%uM'oj`˾E7z6T> Z*Õy)FZ]adSY&*m?}} `,^O&+[}uooA{jO*8v b >#CP8fyQMyMjXgC!3%^U4 nY /bq}#kP(J$Δq|p*.OdeiP1~WykF \M6RlFS؈5o)'؃&V\GW# z FJ 1܆#y7A2k~oHxDJ:J*+Y':8 rZX3NEI,Kl͊'H2PPkZDqE(%sh%OH339626 A޽A|I}DPz`J&ǐgz@=zw>L}8M0|`͢v L]B:X}T_d2m8pV&L#bKD=f}GWv#zTjg1kM@]U`;4B>')i; Mj-ݭl{e#xU''mn3ya(;}Kujٻa3p[ CKAi@Vt' } Y #~.=h^+Xz{qsútTw;Wc[pz!nj JEQd맟qzvy2jCD6 \Xi? ro@7vq@Z{F-8: CO5m]#w"&Z6CxN]\} #/#OD?Q*lp ۊhGvk%ֆ}9MFD jj7KU H%*Tя Xc*B1PbP^X va63焰"j6ֶlU/6z\6{n #gX!ZvhLh=$˕gY`Co:6 Z#e@CG @z|٠HV"b4@AWI2fx^Ae(n➕ķի\ -ic0A2i_WТ%H̯&ԟ#\FrRDx 9(Ti1;;;J~إk=ij;2~ש-S%û]~,f%@OyX7r*QI\ YW\&h @ޏXvmCJT{53e뿗=}ܽןGnƑbU3 #Dќ=ιY>JŬ,!^QGaL@sT*a2`Eg<Ƃw$#.B(UzhH' |4|T u*2Gp\jS6棙Ý]%åOCMk-\?Uv&ikਠRe˅HqB<d 74QF(\1`=/_S&dxR\8X=,}}YmgYtrj1hXa $/0:Q%~ws[Es:>\Zy Jl;y8puEUi"* o4yIHB/.)XPSRr wD<%gvt7me^/{y~KR2(}? mZcMx_}k Mrs![( 61N.Q x|>x &gkHcޕLPfl2ZZ$Ahp6sÐŕ@tu&սbwQk'H*tt*Z;t-W6 I,IʽG)LL=!F4bE*J/Ջ(sAGFk8\2ٜ:bp9moauo!Rj.AEf}{:(?Jy ;/LVӳBP~ כ}0ymˎ@ɀ, 3i@W\)Sx*(̟Fw q AmZh<9N.ou$4fo?WXWiAYHAs5aLvI4Ҟ$bU$iS2k;q]{35]S`LR'ĂڎGk }P>XXhƛa]4z.[X;R"T0Gd}ݸ tFîw_~XB<)=¦-3XIXͧᛘ#kw^iV8< (xYH 6gTCE2D"ޒ;ӆo>P1{ݛ+*~L:$12vݵa= ą~( R~l 5 :Ӻ5(rxk|a1::PC$ZvzĘuM2q*BF& j*{uw(nOZ?,OA:56<ٳT669iF0,օZKxםʦIF/we!O v@EXgp.n\b"` ~o0v`짎eDejDc“=Wr#zpV[tMkۂ1WޥP V-DM}*絥.t[u+1 UܔǛB2ag =$*PXErJX3j\;{RwXPc.ZTQgM)w񢟖x iC9u0\n$b (Ha @RŮ']9Rٛ\\,ݢYQV?DApfAԚZAqFc'l(Jh]њ˩3%) "XG<(t<:3JA÷¨?D[f]-XFA_:Q0AxJcu[liz]B*Bې0% vFIru\ՕK<<h8z\'-9ќ,lEr!ںre͕\M1drFV.0=Y6lP pz2[*Yk3˨Fn\=g^=>)2 6EN i*E \JKsɘa8̰(cPX $GSbCUIJ)V慄@S\{EZH7#Jdϸ.j =Y{WSP5JrZ8.۝PEڒf@2:M|4qLfʔ/2L' f}c>Xy㎽߭zE2|Nsm4[Ehlmyom<^st*a7d$H0]yƶ݃5phe0b1թDRF͋ g[=}5%^ÂH(0/ԇzrwPn|{c%qӂW:#cgʆPn\M3)x)b8thԿNN{`~qq8r>3rnE[&Њtd2ΦYr0vC^ɧ2*D.Qwf4*|괲Dא/Jh1EʹWpDEP: [EY~@Қ%g;4Y:m GJ?HIP͸N(5 iM UQ~|L W *^t0\mnH~<>sBM4[\򦁨*:+1_)V"Iqa f.%3 ] =24nDU&J' 1*B葠(iTHAH_C06D}SR -.oݣWM;uVr ޴*I>hQɢ4CP{"jhQ;\w"h8Pl xֳVDyYKnu^܋R$D۾ 8Ã-_Пa\tX|iuBQqĖ6se~/5b3¥n7 ed P^ٔh<:v"@*ÔnEo#Qm 3. J3M{FEڟIHXFZޑ]ŸӏӬ)b{@,46I#]C['4VOK3 s-҆&V/DO%c 楰 Pr 3y(N\9.ҁI3j#H:u XAlwsAb)QS&@Dfu%,C_Ka,<u;m_8?S.R{ Ȫ'ww%i-Fރ$(5i )\44)tNn|/?z{Bk}'|ō=5nia# *(BP3?67P7١n߆qD ɽ܋%o #N_F@%AxZx"Pqops9[:mp{Z;2}P;zbCDkZ1,q:zH%uA,[+ÄݽSmz OY&A,rӘ`BUf z@ӝ"3/ca$+E#{t%@){[S0+љJX!??v7.kO|Iŷ*, G2Z 4qʃiѝ_E` ܉}7cQLF6)!'|t0V'˳ۯH cDRjӒ:ئpǠeUΖo%jx ' }u>lکl{yp? y 37PdgoH7uK/zەa*j .ZYND\vKI'J4h:*y3Ssv¦1q|VU$l"ʝ /$S\ZΣܝU@f,>G~=|A[4ЬWڨm.J Gh؂ߺf(RS?Tw嶉l6ֺWSj8|XU6 "POZ-Ksy9}V)C&Yc9X+ƿ1AES LQdI 1u[PU׊bq#1@NUz扲B/$TP.q"S=_~vN&Ink]&3CW9d=g*8 ?H59u#Oȥ*nq-Z$& +@=mU QVj4 y ^*ѢzV^Qq֟sʈHUSfY,ܖV7Dhc!6`n Ϯ( d" z:{p'VFQk~C+ʩ]& t$`V(ޅmV(FkULzؽL&ڦdJg]S#~ϠȢlk;@:n2 ίgwoAz&l" .4t |+)J9ȩ3χh#GazZQ1՝V7rqKDM )f_j3߾xq|먲Am,x6|inRjk7ώIAדע#{Xv_KϏPsDo~ :VR_i>\uJ!hŋ4Lq^f=AEp*[456ҥȘv|Va?@q}d(Tֱmv2k}{vB[3dϜ3/5{ 6+Ĕqz3#2.X1!QdXtF2MzR*[nَB((K\NΑ/ ݕ G-)#@v ACد vSm//#v& &*N&̵=w@|xr}Q?G 'e'arfe6ǭLG c+Aw¶^xm?X §?_yZ}YZ> # l j̣KY g֠[~+$>W'4HVYQz Jl}+CL@*!qsqPRzrDi3hAnEŰ778WNc13ӬT PbGp&mذxP7JZXzڄ݁M#Xm #w}?!{KɆJgUgO4#8ɪ1 7>|$/zfN1Y\n.k`E(ne S߮$CaV;ʹ(־zN%F %Lh؏%ƴT )+*J^~{cwՄek,rm%qvZ{{,b²0WʵS G[zd=xL/Ɓ8${/s!"ȥY\san rA\H? >)>8 77f͐DZ4swlv"G)9{oڤ3l!}RxDcA4x܃t~K?fϹE Y TwboD7]!^hXc6&0#PCxpNEBk`-A%2w; '%tKw`k]`Q6}Fߐ`*W&mzqxm&WVGf)G*U<꼶]RI-cm߆zifI/_g ' M6#;ޔ+smGW*'? "mh&BSbaچA5fe6%(ؓ=z_;/CFuW nrwq xĩWPണ+xfՇtCdT{NOtzk /gڟtaNMѼE]V-ֈe:tMo؞v+EiG3 iAl 6[1Z(^ .X)~Nqiz,pi-fa }nA}uXULGmtАA kB9姯g$LYǗd1^Xi¿տQ|UZK&HhX4?7d,9ezm }JXEܓf&;u$]a,ȈIz ;ݡj*0!f ƎOcS9=b÷Q.:HW4Fi?tc EeP- ~ "J[Aƕ“ ϖt]Ht.6 tݫL%FjPvLRw6XPKMhQX>v;E[}Q|Qޮ;\*q/ܥ`rN쵣|6ҥ717˸NLI3J58-;M㺸# c-uaΔ|3VIxg (fOq"CZ$ $ ._LxA} L s~lz'b}LPj ̚ӣ|0ej4wm0C>,ky dFH:ShnD UhegN*ZF7P/' ORC⧧6jL`(M]@lMūxbZE[z7RD'UP`+Ә[y%MB,Heo꜈Me߈m.ZU13~doo3?dQ8Y#6] `W2/(/!!hx 3;|8Hv~ԤYv}[Ք&lx9OXVg[FOGI:R 3U-O>n GBFc/@d>*4q:kCHh $t[y1%-qr}V 4!ǒxrj% ~5O#]Oaې7Cz<+F{(>>pDi :93enq΅Պ9+3yEב饅ӕ߱DR^wRŠ{L4grVQh1" `|_d^PDi!0\ǥA3;"؄N"[%E?o7A|)ǐgx_^#Bkђc9ݭOp;3%pD8"12/S"jU݅ ~8u!RkC1km⴪uSd([@6cnSꞗ%q.ºPbkhxh-LTh_hGW׃M=Y vcEꃚྏԖ^=>$$̚AAKH;%J4+hT]]Ң I(eFoh+Bp5aK __ZfQ2sK! C3s. /%hCS:_UL1?S x-Я׊ @cMÉO a(\;v'e{ C~:(8m 7rPv0FR &:]ua{=`^QOZt>:G{'|LLtƻ;WH`p  gjiVF-ŻE x\\Ii߉d"=Eۋ`ve@6i bf*ksp#)ثj7Uo(Fa7Z-z,ּ? ʗYV94Еqvy%<) zi_$E[MmisY|IX]Hm`8[#0!82vɨ}?,-ve{ט:I og&& h 1gVx/TDyhem ًm?Jς>ٙz͸j[Wk?N%J8s4 0фsrɭ= )Kߧm}s_mr`2/`}wyMY'$'zL3yftl#>:{rz*[<9 ڒ ꒵"^ziMt7?$3Votx ^^ ;pcMĕK2e*ɵeݒ#戃w32>W nd(y ,4v*% 99M{q~DD[O0\(m[c\){S'yh:B=nÏUڪ~cK)AHv{3{;=UjZ30羡d;לc`h}'??Mp([Zn qImO04Y,5G@ sU`(6 y|PjC:2e_>XR$\; a 7"fp0A2!y{gqQ^`Z¹ .265렯k36md=c3儴0S[O}L` V9cyBBDcA1 Ag*kEծpI&׻!A|FݧEc_~ԩ_ʜx4aaRN2\ >)pE:1*i{yѥQ|ڸaQ+q-zfS? M=uHO,#՘^j,oF9#ݸu+?qʅ1r*)!1ÒleV߼)让gnXw|p^ wc㦟ہ д,ظ_A4"nˉQ(8DEm;ŞiCx2"B*?|wr'䰳yAqf"lƳ:{!8jpoQ7~l$yPuf٩qt9Gq`Cn*ŧ߹  e 6#?f.aa0u¯ΘCab!P ;ei},!Мfp=#=s^(K'K F7к&Ƨ:=֩sf>Qxʈ5r$Zܧ|0U MraJzwr=Ӏyd|e;`.@"F1A۔Ӫ\ K߭=A_9J?oxX\6fбݾVC0y x$n{-k? dJj(FF5+CԗU['(~>{RD\Z  .Uc'. M/ދ[p;!J:я?"QiL Yew.N*exҿf-'Ĝ=6 }؇W/IhǸL}h )  l:{SY1f0A&T{aqT.CXK? NQ&j;{|;JM]Kdüu *Ȧ`ҁݸVvg51\lz`g0GelW}bTԣђ#N$aU3K1S" J1)u8@lr7LPVPAnDcYz<0ʠl`o'/$C 9ӇgVΊ[J÷_ùHdH.+"m^ XRN}uv6pG6Jh}Ѐ|5IKR߀1Fq:Ilg Fg"l!1/s [d(q[P Ǡ8 [g7Sce"qCz0hUךݔOS%QazN},&)_o._O[B3"F||Ap2V0+'Lǘ_qL|U@?4qKJ G&:|{xvȈ7ԃ7hdߓY/4?>KT9+~s\n5_5Krí/݉UȔb '-d0d5e%bT` B!ώ@K5ԇ`fKpkk6CZ9kk*O.HBw)ŵGx9?lÌVmoMqu24٢7p!?=)rB"AD"gVB;]OM u%`뜿p%ΣkfplXњS&\OiJ^˽>~lo 4%f;ŚK}~S:Ġ.id)lbS$%M[?_ HԒYArnW H'úڭ[qe1惟>LVT׷!KQ.E1~ht;Z5FDsͦcu<#(;I 5LcӝYqz C(Bxؗ隦R:JBAp.䗽-;0{+CkOz=~ݺ}z0W\kQ<I.OW9'N߾غh`nt a@dvk$T^R- Жھ8>De!l .*EdC{\i"ob! s;A"[AKmB]?|`gmo\Q']cw?{̉{Hޔ!҆z5E)NIm"_JXj:*<':])I`~p4 %b9Ja#/WˤjpDMn"@Ǫi^d ,eM[ j#G:@]*08 Ɖ6{]$-럴v.KdtTjE XEԛٕŪTQ+E]/{$!Ðd¹]P#p,3 gߞ@Ԓ ̉Tʉ}ۉ]/7{û՛:~N?z ,/6N:QΫ6ޡK:rW`ABm=>8){/J͐}dz qh_`wfXg׵CeLuy7=k]dG]R7ER\˾۪7OX?5ZL5cna>iŨVP~eXLvDvmNyvt[rF ڻ64ʬDEn~Mdviaڧf>^`r,?*lh6`7S)S ZK^  fǧ˪pLm5|[-*j)-.iڈof3 AJ_-N6 [%Kʟ (Jb&HXVڣȈoA k'' ZmƎM+FO欰Uӗn7`Bҟ!9H`ǟS1PṎ<]2؅7IsᆾT[&6Tɪg(L]_ZR ,&Z7rY UHbKzB~mXN]Fil}G8]I+hAٜ&U[m]lؤFP5ΡԹ@ɐz /pv0 K-k:\!ѫvt(6C$J[8>#1¼gysz3n +-1UW$Ij$0O֋)FH-4#&C'G]dHAsTN h"o&I^h7J楱G\N]"v}d7t-(S(J(eQ"?|+@(Z2$p0)KkZ$6 =۔@qܲx1 c:xzrbd.R uq D͝6!Y8*]j*7OtwK-]ysa;Y/֛ҡɜ3a6=aj}lD3YpXOx~5V(Ĺ6E=f.tõ(??ӼMƞ ձo -#'ĥe&;d Ej{⟗#uk 0t67Yk).Rp|z7{5tV\/S6%y_HfNH$|wB$%AaHPL g]=d}Dz1Sp5ls3KsՈ&ܳ{NZ9YQ~VKbBބu}YL2h<Ӟ~ }_x 9=shDXҜTH$.ưҜ+o+D^^,ɻbeXL\&˝G Tm:i2!! 6ͯ i.j}4ǁatN ^⏢ͥc }M}`=/= L.aK !ɬ[rKnQơƏ|& yM3||NmpwP%)+` pX3ѵ*8Q)xF( ޚsoϐmNv(> ΀&j<YGc/՞r}hr-YwS}i)v*JWiu ^ +` w۹ڧnPmkpX`~AaѺTK?x|aɮ8͘w0Q@k^||I?7`d~lz}Lt$gHHjI# D\caI "\}v})-q7GfP0_QB枹 @jm>41|Icu NyԌu[љLaZiUh4U~2!xUfv7=(iv/(%JV_[^){.L+Xa~h@8[8-IxȨ$K'%EMk2r|$1xSngVA]C]XT(8˂9A)ÃKc*gFppG^;|h&XVE隢1I}=f8Uq6bP9<i[L({K}e#[;3Nۅ6u1^ɣ-m*BnI ܐ^ÂɞWlv颀TX )dXHv,@X9LA8'f@U\'$nfh]A?MMVplLb* 8`VG } |ebu݊kK1;xBA(oƒt^Њ"JWy DCVZpC֨~0eħqcr%K=34"DTHFͲ м{Uz1F'Q9Qjنql[8/&fOHdu%xe܊,Ԟp7۫l$ ;a*B̶gәՓdxXVUaNz$o=Ӏ1,O!}\_I9=rVP m\.mplS$ofc#@Dd_c~A`d˜ȝ$ ht\ H$RRWBAd9r(5lmJ~[_]np Lq)>LHcO9o(#ʐyϙJӷE+B>j5ʔ P2,Y7ݥmyz4t< >Tω;}1R/ #&I'}RPyXozk0U%Te\fR[rK7FȌ>|g.ZnTX| Ef B°L~¡ e?2GS4Gm|1ɒJ/|lɽ6&Ԯ,r]^k:4 Bn *pU*ӗ^ֱgYZ7zXZִF! }]ŗXiɟ1˦rYsxgp9f閷VfsB\-}V\&xxiU{H;Uє!ꚿj(Wy3pwmDt]*]H0UB(cngYZ7zXZִF! B/]ŗXi%L!l+ֹfUv*BגW ԟ-X WNTg2YGu]4\Ψ!-Z[ѵJOz5Ѻ2U:i"beXgeل}߁uz-/_b"y'C4 ":ft BM4uO`/$etM5b^lUvq`>|Wƫ@y [|C^JyZq4I5vY/98  wQ0qr;8EK24t;HRD+IbNa J;DW5 Ad!B5 @pzۂMaւvE2,>%h!Jriԯ!uW-w`V&rm i3!<}bK6ڗ & Naf=dB8"e}jk9ݦw><5iB@,i(n L?]!(fUp ʙ`j{BطFfL**$+ϓne}YRx3/H7q P T4&8/O-b\.X9#L-kDT:̥BP\BƇo:BJ=Ӕ.}=BUYϮ+bjk&P\̔*:P^Z!v ]Mb #jc3Q 4v&9$m\&^NVH&䠠Y k+#M;.1#E=E@VVNPxe( ~BLQsD{"o|^vIwʉVt.0D`B$tu;xx74dvߊMіg*rK%!~pAK9ҳC~Ț^cL%tYR?^mNA~nnAjժ[Z4m d~6-u}G.5'/I6qz]`]ϐ"kԡ'13MneؿkfskR<;m?xZ]dϪl*t C=,W1 0sO@׌1Y[wT(ߋ8xzQ"3" EY׀@)^9)?7@yvȮC8okzb ܅̭`gYZ29fb992727da12c8f59a5305210636bc3d8aa7a88215eb5f5b3394a9f9254fc524a194abe159cb1b 43986411c04360d074d5c4045a93e7a8120ecd61