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 F!$$< ]]]HOL-Proofs:threads=6elapsed=335.075cpu=554.996gc=78.276factor=1.667zXZִF! J]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǡHITz W\y6s,`eȥ2;H:j)YGQ%^*+0u2zV4tu=Bʼn+ }$d^?7X/OβS7e! MR8TsT,V=_w%{]VƎD%hG'/U5IYŅF;aJK*K rEhWRh@*i N$DDIs !^ǹ[Z&rfu`qWRt{Bu)nAdwiAx~E~i xG$( K5D`DžK 73T_ ZA nڔd ĩ͇Fr\}B1oE[BGհe]j[RĐ^%No^+yz㻃XfU4Fއ;] ]kL_ %U:[+S Tx >NP25xjb^y5*o4 HٺnnN0h9T݅c M,J(ۙ(ȓqnC({qٗ~-Jr`rK={ISlS]ui uLo,cZKD~u<T`/4qz7v2 n=D R .sݳ<2_asϾRLN$Ѫ]Aá@uFEA՟1Z%gE=g:RWeޤv׎y=} n;ɑ`sƖQɔRpɵ)@=MfT:\M#P /[QcQ}f5oby:^<]Qnxw 6sDvb!3ڜ@ſ7t>~ >" Ԯ>Cy dkf.tAb[5lGsyi%&VF7f4%1K,KF6HS6IrxU[rcYö\oxL+/ GDhUs)3qfT?0OWW([zhqo nGR8]Oјʇ!͘TElm+kQpc- *а1 \à;sGQJv}kI3,2A8lΘ.du5MCm$tvm }6, _@Z蒆6mdV6j[VK.+Eu3k&=]e$0n}5j4!b2*4+ Je aIGΑpT0@ Ξs݁Im ke9]9Zf2`44o?jtbtc$Z9 pV9 $nI ՁAIvD]7φ&+!V#.ٝ{1ܺ-(Y-WfӪn!l_nyDdy,:K&瞙FXX45>8+ت-G<}c];r!LTfxspIڹIy% B2CNE" r5.E}jz85vk{{CJpj1Cf)&rjV89UeYL^[.@e LM#k 7^Ihl`F|ϟt]7-h['Hhg3T[@p{Ȧ%9ە>΃ wE'>UpZ1Z 8䍑D#-( 'yl.D˳;_EPQ+ kYA` B=}RpYpX>qU9]q PڷvGTI0s*"@9/Yg?k'v O?MEs,ݸo!Nj"]6`׻PC(Wu sQǭ;|ej΋ J:) ơYWxL|4/IS80aE~h,n+"Ե >t}ho!7`H  ! HOL-Proofs  rGꎢݎ:,t"b[FRw?/vX :bTX]gD'@VBְP&.քrDӈIn?H-"F=<ўVz-BuogU>";y;1 ;k2t#ߗGQA",H$1]|?fQ}^Q%ۭOh "ǟrO$8>uD[!fgJe<3FPZ>//K:!PgNΞm<nƄu[7y(oHZoīr>`x]<4ׇZl$VWVƞ% :q^&U}!q; =.o chCJ G|Wr;{'WAo0%!9>4L^eGj_$S[:Vs2 :C XS<ύ@ɃN;ʛ7dfyo10+ V X2\V[PCw髻~'L&gBy\ oq}XVX Q{ ?I>JFXUIjmdl[Bd\ B c8Ҫ 6 ET[B9D Itk8!B\WiU*wB?#>hQ+Xay(bayoqiU=@G reCGXRCGka8a D\X`" Cȷ#.qH(ԩy -* 8Rylu+̆9_B_F+15avt\~h(qs^oѳ5n rD+Kl1uVW"/Ԁ^0दGO4 /m $܁)yz.{l(j {Ȣ)1:u$H(؞cL΍g,xB:Mc%YpPRMF+#0l"GAT5:S!0{|?|g 6"V!e>PmlV# 7'U :./YYoaYXLhlY.B En?_+.$h4z=sr tmyeU8;2kź8R`Vs;,HcdjLn,֥goOseon*pvؼaH!ml&U*)|x:AD4> u ƉӱhY7=٬0Z*gl{V+Q?=+m7.reKgj/N"#)3dZJZd\6PnyօN1l0e1*J:j%Z7 ,hR( %Dn{zĴ?[ѐ.Z0,QC.FɆmdLۯl | ң3wA@.6" 脚b(C"$XXOEfgUBy40e>ou(c燚ȰsH.& Kߔ((maa" 49"mCVug|gqds#})8B*phȹكbϬJ1k! "Tߌ:Fċtv0i-HCo qFpf'Tg{-/ FpK#iՕYYSNGZLL>5{t'#Bn\nCRH5X! _E,کƇ{*<*?g xĔPqH-ѡ~ptgԌSq/n' n!h } -=kFB;v4'˫Bp 0,=}lfjNjկ7`?U HM]jE1\b Pl%]Vn]B[>}W37jrrSL*>Bf:f3a)2tEf%#H`Bo5 dH?\&4EŘC*g) e'W3ߋ/^8cLKOޅ҈ 7 ,/cQr^Y@VL :?-@r,nMRc0sKSa? `.۾ި!PKVZhtd&v֙-M`Ig/ꇫ<27RñQlZw0&q Ӎ)QL:P4#d(t,v8 ̫ ;lώ5 Ҧe3 j䰁`gi\N7vEA,NS5 w*i~0 бgYZ7zXZִF! T]ŗXiɟg_$N%Q KβO%_v07^ {@ |D"ocw!,.aAptޱxD 1 fQ }XhpƝtjCN<{aw=?:ϸ'-ҟ~osqAD *.q9J248 H)3&)l9݉- ) ەQiev?E[[ssw6TyS Z/ANAujJq/ [lO̖>30t_p8?LjϜPfymٵw[8Z3EB(ɵԍ+NVz"i܅6n3-pڻj$Net.s D^>OO\m^y5WTx+'lth j?mo55BC||]OzԾ;t뭢ʡN)ycrAa"[r )_4 n'(|uc,[[U~c*`uΙ)#&Ba`rCa,LWQ &Ƽw@5I ?^HXًFL '"~qO˸2is؀^% 6@:P+;w%ƯR 1L2$BNǥ 4rbu|MҩoGԻ`cyV~:C*ܽ, Bѡ[J KG=oLڰ X7~3֡@a4F9tex{񠻖|v_2ui@j| U =xRTHI:lv<a_a 62Ά͞\ȝTE̢]Ml #voh ur4`K+m>x41H+2j׬gɭ]pfsw>7wV&cZOyPґ kmĈ$ReT +{1!\L)$G 9w6v'ڧ4؊n;jb mk= &DAlڵNn25(~\z'=-+6¢{mxD1v3J( ǔqGUَT!/{!Mr`7V˪Jwzn ut2@\#&3 2oI gYZ7zXZִF! L]ŗXi%Jx`4 sn]K D:ߢkZxĈB$ig$P9yhZ(-3 tz?VinJ_ ZRRb6tKb~ /PZcP`V[a˩i\?F)63^ *Ea{`2O"Qa. 6;^мb8wd}|y|v(}o#K;n4I˼p%>ѳ;A$2rDeju^Dݪ0qxtl^st"=hOao&oOH0üY7 UlV14J<%'DnsoEՠ>B(Zv vyzzUeD` q_R(\a^3;MޢDLU5Yql<灂ͻŵ|qLfQȨxM <- K-̬`o[sZLO2ԨW2P$JW-cIF"("`nQ 'g~Y.,٫w.NUD?qی= E}@Zjiݑy `Re/>`\r4*UOe[ZS5:8W*]uhblHcCTYĮح,q`Rbm# 4F>븽Ix;=an/qZHd_4,N\UQGBCO3qm cz3NWS]ѺA9Hcd>[6;"G1> Ɉ X{yel\E&]'K/G8z+g7+Z}FY$)ښH[E˯ˊtio.+(pn3Ebvl-AY=3vmXjJQڑ}PQS̤/6@ho6}&([ySdk֚#jEyU`'O8Hfco02x=҉l yѸ|t V5~BLSEhF e *9gUK(Մ: QVyiPH P?×iS ;fR-@],3p%@ikN:nkc],暁chR ߥ&Yjh BNJX$aRN88-*s7QBFW $SdX#YϨYiYlu$WHQԨdge͘{77VzQmXfp$Pxbkj4_Dž 18<ޙoaaL'y}ā k^j3C1mʻ&(Nɕ@ЈXV%Qvy]_s9\JQφ]D_Nl/(MgUrV ܦk:acL_!^$x6@b&Ft^ RWC:|!Rk~RUgRrM֤9OFX'߬l FxݞlHN8QX!n/1.(7|S٭Z 3ahjrP>v.R28-o9`A$N [" iywm"Y93܅h!b\* _bZ錓GF;TK3\~o[1q9#y>X6ԥoG elؤ~R;;VG. =݄&8z 4PΫZ󒞯ejfl7AaQ"{ Q8~ߠg#!8i)Lՙ 48okV(FY+5h.O jIDZKQ7oqpZb.h>l0xr. c|9&,ve_ZqGq֌CW.D"",5=wGJL(bvFNg}^ipY aN ΔB%!AECHE/v]M2}ݣ?s ƳI,@paE+\rwZm1EA~R8NAq 4~;6}EXڤ:;ƪ<#qr1G@ x4*l` <'87\jmg#'F{`{5o2@$GVOUf303Al&KnEpǸ7OG3אp:g﮲v\v|*Jt]K7ʦ6oeZY=?QH-A 5A,?LT \P@h18f \~x]`/ʟo.4F_#-]UO "?qHu)Cd'`Da|k=Q=,hKKܪ&}!r] 3ւ6=!ʵ%?415Jب@G+qfd(eUwV3 }=]I.I멟;u=)܂F{jA/'_1sZh<#pfj&mJ8reCb1qVN^w[սwH: TC% \z[hX+ae3]Kχ6n Ӈybs/AcT;U.O<{cl⪃(_gjRb}^o:{I6(jR~ 9Q$q?&~ M'qȕ+8/hUHQtwNRn02$|:]So4GM뻏ћ>LT^ٖP)sgҶJ3L}Wp oRIȦق\Df<jjkI=ɠ?^>$fFͧt`_}zL.DË< \iYL.n6ǎc[|}*9!gZÜ ,Kn&!.ʈ*7#^qssA擅1g5!srqaf@}zE.Hh x%8 )Z.0$1gH4R.)-G CrHXmLRNk5svR&`ԛ7Q1>a1fE7TeٞW/k6sσ~K%P360qC0[=5QYjV yh`rc9>c9@T6doj!75fhVl}HS6nw g[cIw9 Gb_~e.mX7V%%l ,!A*1N1XճK'kÑ_h[½ʠ3tP'yYc 4IvV8$,t@Ju[R},P;|=OJt<܀L_UXm&ipfe"~rܔ*耴bO4l=$:N3S$EzZZ4'@V!Gm#M%K-mOoG"@JiL)'5L.sahk1c#l ]mw#ʆnо\qLP/F*@Khi]Er_foN1"Rvn ^[m2xڻ/[#-a Z<;鯖*(RTBFgYuDJb8fqZ%IK @Sa}/k#SӊҤbejKq_Z|,u|̠uxבiqzHK_iP,x_ohUwmdD6apSS]sfI61e[? AWס!0Bߊ(̂9!i-+1pG1 _DK#kIKk XAك-[8{HO$'$|>N+aK_&~)KTh%d~| MUCL {_%L3iETn!8F|aGRJ <&VчW˸n.;BT џ /+[r̊1?D!)SHi"*:LxcTfpIFyj"J`HޱaB:o|BJsѾܣGN[ܧ bkl7|."⵮Fxt2a:4y.Gّkq)Ϲ}:5w~݈ :j]ZcW499RB˒ T5dwK%U` l̕77u?.xKK5nkŋmт{ޔ.>pW<9__+؎`nKаS&djS?^[V([cqPADIf,#rJ˃_MTU ?(C,ɁTVsFL$ A=j{[L ­[Ֆ riL~aӌKCv8D|ZR|w/!S~0x,6|"GԅnFs#;(|XK6\u-}-BK y^AlIw7ȞEd?7B_ f)SQ5(kdLxcljBGs7iH톃}n9Tї\U1`-)*?ž>e12IQr  HY1ƾ~~hG؝zE^)AqCW!;R"1Gnhy}omRY-]F)wQ<ٝ MSV,d)odc8i'@^pO:x! wٌGvO2g@#b) qZ>\c ARZ Rh>$WѰ/ yOJX; ܞʫݹgb?d6):h\- x7ZU ^m#՞E\ hE: KNht vWFd1R۵Rm,Ϩxюʠr}6zWhٶBUsuR5u&-tjf!#P5W]5G)bG ;եK7s{(*][ G;BA,"HB8fi-f&d#2*nbK(r|$ V%((RWw1q (a]n(ƅ8݂7Pʅ-3!߹ZW6t׍ D G._4?dk ;G4J4Ix s\x;-PݦN}W}$\nM%oC#5 GtJ1 J=bl2Nȏ?4/):)U*9xsMy \skK/@C ISxn|1)J\+=1 5;ؽ1xsg5荽^Mþ"㯕7mgPg1lZo llCu%#^-uth+t?N_ D4:pGpSElz h%lAaӻBH#:{5.mC(EjIaqGE' \=d<$BQ%iBABN-XR{Si\!w3jj<|!G/N&N%OE-GtBnd4/|Hu>_P>7h2Wg7t̨իyfOղ*3\H6dNg*(FݚzFlRQPH\Cڶ VV?%1,S隯@mƷ.~wDhO<*D#K=)eXvlk)5ITr~kkܸ&#xX_wT5>լoD#8 wve-ciYōD3Te¦u{cbXm?(Wz @KY5Hv Y{y ewV׼1{ys\TVWP.;jYښ?m% dYHY!v? #">Vipa!?vr26Zˡ+L t iX.5(S/6 UF/v͇_yCj٢\TjŮզyATšk7ky/ZBl3qwU7FQ-Y̍ߧJZ_lΏ#Sg2:}:?jXYiW{] ؚesG6;ԦH(byy !Oinf!pf4A@vhTY_{L[F>{b 0Оq rG+Y &njN]ԻӪVAӅ/$<3Y `=u[4l}jVeжţ*)\Fel__ׯ<&;rWVi,L3c_2jhakrkOcrl)(,'1 )R^t)˼OESFˣ($:w@)9D;ksծ~o} $2{4m7 Q9Hh#Czp?qjhjO# NhzRD:,+k")Nm}F_Y3a;yf6Vj&2Z34>u4#O=? ~</Z֊x}z"TW'3sk,  :l')T@$6b8"c̮Ds.T7 uh9CϤ!=[1HjsSJWJdyU/jQ#ڸ >#h3]i|X)Ϊ_h-b eLb.iϥY U)!fm̶EZ ]tWDx2nr҅[XFF!Wr|y8&an $ n1"0e F9EC 8WH&^f[8fc,f@mC-?"6U%~ϻo-B:Q*Vq8xŧE=j|կhxtJ,2Gi3*bxeg[2k 5#vBsfpXP%:Ĭu i ޵H|:DU_&-=RA(< W!=ilĘNwf*aonkqSf*"x"Y ,{6SQ5Q>g% mi6YǡXʥ-~y<ʄv !|"M}7CwoN5>9P_%WSAʹqSry4r`V dXv@: ѐXxZD0fZmlj6xSM.q&>SLBSWHϽEb6b韖^E<ϯY U* l!>n-eRtXvmǝ{%nxh߯Xj|USLid7di /jLP-(j˰9|:y~Ʈ_Pi$(AJ1A(>K-oqPwDЂ gJ 5$stڻGJ:.(V d,xz찗?Yp?X wTF-\tZQ27\XU@|wi8%kLy0euR?B37ܸ A {M &Nr&$eX>,$2멚MB(gL·zlI-&?/ jKQ?ikEFSZ»m%SI*5/KpVݘ; A={iU9%/i 5` k!B)Qh@!aV~,\j>CmT[]TjS>Xag&<%2q |eػu}E%h!:L95Ѓ.eq֞$C/uEIʂbojK-jy5y*@f J…,HU9/mݞe3Di]S0p%!;oLޘZIj>c\k]MX]I[6?Vox?HP1PZ9$⍍-Z&%pvf3gTִoTl==F;@R hڦ ٗ)MEaPȯur$F6 ?B}l?ΔB״`AoЁOzKHPe qֶ dLqfՖ<;Y tH-T!>,j! dKH%%yg1$S9F@E㨓WI NP;5_aA(Xt 5?Du;2/nAM5]3E}䖵:y`-pҋN;b" >IT JzgЂLJW{o{ƽ (}/؃d[zr59/`lsū#@O(E}2MX ح_@FY$렜ZY<&[hY7ac|#܎0*^ev)?V^!(%k ,?1k@jY`M\HPc:l|vУ0d Y{g}q2\oZkeJ.쭾B-' .gQ=,HVJ6FDO>`oV_tpk^UPUBd|gP^ nTy>.ޟlDMlMyS Bx;˧_H AMgj6hޤ>^3bȟ]zB-YO˕݁]}+#%Hts>ܒ^SLp&|+!x-Mfߝ_`m{ qA 1hqT00?E>TF)eӭ!|zi@1(/U7? %Cw8k Ę;o7y\|雙Ļd|~B:6%wOGĵ]U52k)tP`Դ)_[!?%s9|En_ؐ,8l6h\h*ߨ \UF#`"c \la,b \7jd* {x_5fB >it_f)e8eCYNpp OA]B7R siE̬ru Yx:U6"fԣl\FSEIEM"hA×XHMYE!Kk!J9 }4!/+(>9Ilع'p>׸@00~= a Th#6{|DS42=ۑ&t_6&Vwfzb `@Z:^Qk\fU=\ mdEb! BFJ4 I~qPw~ϣjecuq2j`".їUJ=IE+/EՔ\@G|u  ;cCHز B'R MHWtVV;&G\w鋑I#mR*z8kæZV띨|#2qkI:naU/V?jTcY*.?ɡC_+G]_L:F\/z:?։/1r.f VL̯–DyEJZ겶$yަPZ3e@Y~z (6̑drHhkJ?uF}zljdntbk|yIM ]LS$)Ao:ٺO\"v=65(1Ƴ{Pߝ)1K%ݝ .4D+gI}`,Iv +{ݱ{?3C. ݶ.TMpn:'La}N!,s)Curd͙Au@x#^]H鲏MCvRW3yt}k[P党Feʡ(spaY/ ׮E80mwj\|u6*]-0ńyr;dY[0n܇DI_L`h5 ={M-,FCAz{A& wM!$(gdj$/Z"0&JAF1NOsAR !RT9-!^-_}Xȍ/{[*'߻0[+퉤 M/< I̧p^|^[o2: mkr!s#aoma֏nXͨV}w4zett($Nf!2$G5>zפ~[p4mf<:?2_HFC$]kSӸo|rNYd@ ?ѺN >Jf66vK'){2_GJA~4$Z,{'_ E> e"8;n4ʞf}!Q[ʎ4:*"`/$*h/ʧ16qe./ awvDb;>Gb[ZsI<yAJ)=8ߵ@﯇e}TUn(_]ޑ b/6WsXkݬ$P Q53u%tdHG^C;Y gEPca+16ndT \\DxYXuYhFGH]}"n·8l$Q9nNݚd|{YˏD9heʇz55]^Ξ^>KA'$Xf@ "u7.Ļ̩#] ZUd20̘Ͳ=Gnpp`0T9luX-Լ{B# @x׾%XNrU+㋴AA@K9ZTNl8ztQZPiE~#I x"/T>[j;1Rs0D3fD}F8m2+g-_IR55}&n{/rMYМ_6hO=fcL?c"Vd@1/<CG" :&6G.~9K+g;Q.<1'v7t =}KL]PI)"pg/]^=l;&0}NquQ敁fu{IfB/+HYeRνYƛ>P.ӝIeL&LQHltuw0SD}*%{vq$ߎFx %KOH\&K]MEDGEf:)IXøLgQ~@Ip6m!<j{d+1DDJdsF3dK1f- twDFiRKe) !UiZc& s3`.2 wYzr =' Ok4vN~wN9M!tcFdqFg1 bqO(]j`w//<ECڏ=g{ 떹~.RC33E ﰒ|mOr؏5jk[= DEx\ h{:3W y]ov 'v3R ៰Sù5[}EDd6*c͏x69DX|lB [H]Ԩ"<2Ctjd0z o:HJivI]&#x>C =O@5/u:+7gcYT\|D3]DJL@)z0XT`^ ߎoruDޭ]73="A#3[C3n-ZIBf=5Xe_;іݑa@>ࠉ1 {zӃ c$}?yt;,6vnLate̅ _,΀U`)94/7PI0QRi76 K&^  -/ukMl8D\f͞t0n&ŭn߳?"@)2Opd{sߡN^췈QSxnEC 8鱑G$? lꑎ5 Bf+8Ne"(؅fIo.ۼ3Z@pgssDS;kړ;4ր>D"s覥d|< Cg;!y["TؒGEHkOz&͸]Ym<AKM[ )qXt5Q?NN|k89{D m8tsPu"t>QlYQTI(o)[|dJ:AY/D #Լ8hH6AS@lk zHVԱ0҃2IF/ aMʮMȳߕ<Z,;~/<,8pwm2a 0|ް^V&+nsFX zOSȯ4t)CN6{r! 0e2NOh S Tx O4Y5@3y_ܒ??*@NnжS.X[U|%`Gvv Ai@VO>P5s?F9q1ppS)i|c|n9|´jW9IBqZ9+AUoO j'~q1TM $C1%&sdR+/F MّZS,T^(KJWgT̮]9,1*/ظMfD~i9V31O-0$PT% *qXf2I4 [9Qiv>/h]&ټI2*4gBDY,\<ܡC^YHKb7a9{\ (o%|&1'%Q"?F'R<+'D"ỮElP'f/ 8>w#Oke*Bʡ_0t$ ܘξzrhu]qO,#cxC31ގ\^h *;Z9]ce >ka4Q +ͩ!lu. "eWmzSyINȷfM֨~5'~(f`毢 q*dVGii% *oPO2*c <o*@mjwh}|M,*Y'8Utr$/JI$ױYb|m]3 #ci%om Qtr8ЄW=2-R ZGVe3Y(9OWv@(sX iZo=ߩD Q_>\>m9YsXX;`'z°p_|U N ${" 9tڤb^ξ3.Ra:wac1Zfl9P@\/q-QSr}ChNb* p!SX=s 'Rp@d%@Rf^Nц֖JG[-"Frd1,; S|NKa[~gB_%M ݅531 j|ÄIT#I|3u3!ʖ"\C.D ?T#}y| Df~m5*sIU3Sޤ~9 ̲5_DZ07Wl4#~lȧRq]j#@V_ +&1r*ug!w)h?tQ!p轸)֘ )\-_*ZS 2y[d&' c@"P=o4On{Wo+b{mkGFVv(|JVͥ+<*5u{ĚɓOZRF{0;JA6 $ C>%qDEJhQ+/pԟɆx p,"@`"Ւ`+ŸP2ݼ[\^@#xnۼpƄxLfԜ/; }ig` k4W /QmdS Tu:?I5䟝maP!ޚi}Vߴ=y馳, ,V\; +?t5liGh3_~Ԅ9xN^/о(6:(؁a@Z.Dτ"]ғQX  s)uُ˼v=h׌ ]@Md"g3*ORY+a!X@!!]ars.ZEe^uV* .6)DB;_XkO*E+;~Z~&}fFp%>낌/K;VV`FԔ;Au׋# iɍwPk ]nKS/k5KxBĸL獜cal{ [^_uqt!T2M{<|\uݭNv?xCZ*ȋhKUJ#׏[pt8gfcÞ<la1qS]}~"-fI:B?΂cM]Ie JS1 W'Aʁs,F-TgozY0eP#bw?NޛšFa/. ^T碆 QZBtYeOfv+wg#D'd97/Yj'k,߼^ F{}4NEZKJKO7X#/v NfՂzq%]Lz QƼbC~poyLm|( "<%IZ, }z_+|BՊj8' oVޣ`Uxn9Aj#@/>ΫGauVzDC0.gha7kZ,&nԖ5ܾnnN|V&8y%gYZf2736f19c27ef811c8fa57f2c588f5f1ef5cfd915d3df3e9a808a2e76c9506db8ef56a1f0ac90c5cd1c5f65c979bebd40678e9efa86220f98873b6f1