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  9l4| ] HOL-Datatype_Benchmark:threads=6elapsed=496.575cpu=2025.960gc=781.952factor=4.087zXZִF! i -]ŗXiɟDYK<;#&zFb4b@%UkDaϮONOlV<:ޛ]FP7wA6qm/wP Rvz+7L C/GVm٦oGsoCZ>cD&@H2/}o_ȿ )] 51Z_B)eoG?nU`.gh1| = i~~]v13Z q Q :5S{U@I۬:21fHE*if63f~b$ZWX[h=ރ'[E mzp#tdNyɫRjCY{ k.|F}-cCTC:-u@wDyXΗsХ97W|JCs`dۣd¶PH0yMD&(?t]ab2ξ[_Tx |+f@sᝋb7Ey+= b R EOUG܀YUlͫ{x\̨30DifkX> Z7{{ROD! !±': J,hP?S% Q pEm`;vxjҕz%V4Ow@&pn?-7eE{yZYHE8*<E^F8ym䜵Q#Am0,E`pX!W ي`niiHy_ ]4.}/ȨAek Y)T2 fǢ@ b|JB(IUզUr5| #O:0ϐ*i^WL{!m,XeO 1R{ecC',x !PkLBD&IQ4e⎂2zBSM&BߝHB!9rGߜQ3!#O=cWzP$O^25X`R&|3_b]Eɀwk9VeVZVb$-T{FO.iC,, ]KcO&޲AS WNJlQkvɄyK"9"{g 7]&goMd>b2pTRz һH.sȝS s}9E*uFؔ·ScD7HДըX<=妢ǍTlcLޙ3k=cǶ`OOMlRey ˱\Pe!%E묷X܌ jD٬g1*#u1 zV)E]q) z ]]>YbՓʺ !g߬PkVڿ툴aCD/;Zf$τt"տmU{(s5 tܹ$D*>&sПM8ܒscX Cc"t\'^˜ij&/J2zwXSm0cr~&TjYbsQsnğ⮱jLXg?xE ٠Kȣzhn`M hw-IӘn?5S1:]yh(O5_' 7zry6r.NφCh wbm a?e\ʟ!\yY} Y2h챉LL&^yk.)ϱᐒ 11Z=:G7ܼM Mpԃ֓9ɳf|ќmԚX"e]Qm< A w'` qn%lPԔ.gH:B[ۅH36 ),'}/c-lډ Wئx{S+WU1'RbtP0#֘?)P. F°5WI}|ϺaB7y|uw\z?-.NRD]p8{Uݑh1"G1#tk {y\ nvz1A-[nnqRft\Gi$8tl>5K% M,$Eer }ɭUWɸCf"BO9=%m`i,VUSV@ pNz6.oCBx v4ibcu.WM:)v5G{;WlQd`UD> ACW3`_at\eFHgY+ Z[KnKж~8C@7+: i,~*@o,7m0jʳvniU1g\]52t E`6?m}Sq|~'{tÆ~΂ԀJ1:lGB@+ tEKgXĿ,[,=4ԃIw~3 4j/ UъSKρM2`{-K+3S+Í ?@5"8A}5̋89(4G*`i̝m2xv"0rX\sdpv >eBiױjh@amÒFs=E7;q_ᾈuDq:J}A9.ZTw;'pYaI\9F+|xfv nu70>]'i:_E\{:3Ѧ=.h@PݕFL0cg:=6_kfŏhe!: ӼW8*Aa2(2†$.f0Gڟ> qXKDAR/߰hCFN|"$mfn;c7(`WVQdGXR3 XS{b-{R}aOZGS\xk1+zX[ 1ҝ4~vbtjvћD3vbeOC<_*Fݳ a RUuA~rpޡ LvGItp򶡌c)B|O=-5;x#TpNߢgzևlY7LAb'*hڴ-&H}f[j.\{epYTq:c4`yǼ#t>

^|Ηatw=S9ILAnS.ѷ230$f>4" O_T$GhY$-vOiPgϊ#@+[ 4,T oՃٯ^Q܏Ceמ gSJQzzyfKtGƯrDqdg&[''{ fs<'vjjqxx""l!y=$aϱ;U0Qu`Q&tzy=34!XNhV:LYz ҵ+T& tѮ6qy3`Yh%q;8LTY} HAL׆c<ok^A=*_wSNz=??l .CK*ľ,ĄugtiXQ18QO,jb!QKS0?y"O)e=Rd¸:,x< pLi|c`%,ʺs䥅丗t k{_=5u5u(~8bxv7=DzuC^T@j6dオe?S,z(0T_ f<\\^aNάhy# CQs?+҉cŲ]F~JP, Oo>K)dLJw6(Kjvļ%BdlxM 3kb#=t'̦BU蛶&d/1V2>>8M$2*I{mŪo Bd8l|h:Õ[ڱqC& #;p $a[bGݔ\9j(D0'm)1+r" 0jiJ3TN;-T/O>]/Ay F|UQВ76ۥVJv\ӵG!ȉ1aVn獘ю]Yd730DTj`8&zšP~G{>:4X{絫R~ݘOtΗ ;[ |SعfMYFU4lLۯ}9yiJGLYC&s Bjn(ɑV,Dm8?f~΅43vDK/8,D6B+ghvtKRs۸c1FڭZhבm@$q>S+й}sF~qy:?A 0Q.LDe?.U u=Ӳ #4zs϶Ng/7qPB`7=:iʗ>1+3 @m@0{#?;gʭhP*Tb;Is3{3ďv!VUwJR*by?}t.n>"):F!JGspBOޝ w$Asj 7!°-؊bwҫˋ9*P'G9<:7oZÛ0cFіƒ 6邀gˇl{ _`nc5'θk 5^m`8rPt.毝N$Bc1W^vɭ4"ՠ>eS#΍vn9ˢ[`z:n(@̆@54ֲA˹>l/ڼ6y*cTZuQb)&;56YNlģ %t j[A_߷L6A;33q5R^9zˉR<[E)oBp#t>h 6?ςpĐ@#DmG=F1}ՊPMu|P<mXZ es 6e ]M:\)`B^{Y_k. M|]{V.݆:Go $gg'(zygi.#mKԖm1~'sRD`Q4it>x{8*~BaSF+[6nY[oܚ<زZWxA 4 GwvF}V]dky]}*rJJ“qϺTwkNGEQіvpC!8pvgyS ܁V%_-2sc[b%ֽsQUmRbn]{o'y#M\ &-4+'*Id :a2춺].CJw戞(o֙KA л:n6g4$h|`V&(_@ xRpwoe(9o#^%} _tоkrl $d S&wV|6>&h~qS?)0h˶9#扥dt-y*Ç˕pzc[Npgyg2-PP}׏K҉ D~BQiˬ fpN@ HБdMՅ 7XLMR+O,Z~ X™B7UIsRYmo(g]T7̣.cyBA]EsQ4'|*0n?w~9=QcE 4hX*eRiW.ۤ˘[fÂ*M0dWTNt@)oKDz4雰5n'Kl{21̥]"f̽Y[`Xؽq`. QM-M -o]:cҢ5<˄cukۘw}MT@KdMiNrF[FF/{V=%}}įCOK@34s2z@ q#,~Q~z[pb}tTfEᗥP&k~Dh!ċm#DkJjǕ( IB18I{$ Q-[uHG$3M0:xCxk Jgϱh!_Z?Ex۴ ԃ)j)y2M@E##qh"eЄ" 0 qWɄxP&eu*~C͌jAw6(lv F\~-JjkuNmt;!M`K(ic!crO{43C[ϳe9S~f0}' -NݶK@#>Hn] oSuďZŖW LpH`%48 gEeyd_v=> W(YӶh%0 pSg5Kݿp&wAP[WLR`FRUw7T \1Tjh6tR\3-5T5P><2㽔GIHĒ]H cRE+~^#3[V>RDD!E,ӵـ>/&==ƕG#٫|89ɜ^϶>N+Ao VX{K:s%"X֊73a" DX/ۜjdn3[E ~r#z*LrXy#3軶L o|>&nADM|pnYTIE|l#zݽ!+/b=3] -K ںvaL!|""ePfgE/:YSZn8s%[6kI7$VIr?/A_8Vs'dݯ7Č5l Ͷեkx$U7N QY*L# i&rb`MV9rrN w:finpmc7+{YdCP(^F!_eSdG#7/v5w_ިa*:S/B&{#.zZzSFQ6z?!7[[Yu;OhkڙUu~!Ӿ}#~ܣtz1 cȶ)5* ~rEE"B+fōNf;'ѝJZYG,tt=To!b*rJ`;YP2 u`{[N wVXgjze\-u5xX~QCLZލ&I"9{ޖrPb]<FS&4l+|5ڲX_aRCJ'NYhXй7v>XpzGM;,\-%"\L&'5@NPEHNày쭉bC5#wbՅa>7ztUCKd]ɩh4~yXcڏāTmM|]}S/7x8o;$1,Zfbqk[:˜uJQ`F 2/xQo( #1|~4,Е=A: "Vˆ+:V^&\[gUoz]Jpe⊚NM:A^܎<+ fK3~]3[n}Bޓh`0=xB]%zRMorkˋ'gkv|AJ4'%"OADq`O(Ho0Cޢ'B~7{}|(#~#M ɔ:ж;k5%fFB.Ig#G. hʛ?*ޢiP!/:_1C4D΀RzDww۰Q_]bgop[gyi(^C,a8Q <;vvⴛk2MsW^Emq!Vת^5I}"v =}qiy"/Me\iӃ*L"ҩ) aOqIZs7*8ĥ!w)vQΜtrS߿;wҕ1a;LZz<- 1nbAuE$vGĥeӋ[3Lb͉uIy>,6bp Ù_IaKJV1\S&Jd?xل`f>V`Ed!G([*)NE_h e:\I|ĤxT="G†*d""dBT^ ñ1f-hM.dQ 80dx*Dʜ/[?tkh(.S,k62a٦ϡDhjsCH[DFEYc}Jeh]u;H*d+ ƻ¢79I6䰄-ttֱ+~AxF'!LN1w[Гtcs1llZ8Aymʋg[ܹ_ ?L*wc"e]c)#RqV|#\cc܍LĬ';ЭVl"fvk`5e=o,\3j{DJM Q6yGE婂ǸxݴT#T4"1;heiN>73 IֿưU/4UUH2^kY:d*YbJ>;B(}.!JƗW2cWOMҗv/BPS ^3/6Y~ zk«xԜwCP3<'mY}uA $kZ6nB~l@ \!аp/Fӝ)@LI$\(e5{I b3#1cƣlp tף(wTcbpˁ}h.t8^֯#SQ! :UG&33$XW)ʙrֿf hT2R7I G̐C𔔸{p2&* | prU>M8[STMF:z K"Q[ T=`5ˤt"~F2oG^z>#tMˤ͇b*! P3hZoVpXW}Z= wK=J%~U'օ)(0+@vnb [K`/QHtXekoYП˼Z"Wsb֛fJS=߲>Asp Q}\ϴ&AYxvvǹ3Jھʕ]~7a<.qRP![jyklY8ot+r&$o&}7M75D@xʥU& ۯN=51smkR7[769RQǕ(+h箸VPTG0V7 ȈjŞcL@`x[rͅ\9 `Rmsv-'#mϞDru6slRb=$:i'LQ2_,Lz] Zx *;׺op7'(˘Di)Z̈ L|Y*4wA{NCEW?NoF{i^xƶcWqx=BOߍNt)dB{z'Aˎi w$ÚLW-(z^I~ZN֙Ҽ}jHɴpH9 ^=;ƭ.LD;@D(f;=x ,u\գDT(WxpuJs@^;D=Ik)܋G4~0]$v|,dPp&l1w(ϙjm`8z͊UcI[~v8 >-b Hr󶾢}VU~O9pՑU⾄4qQ"$(0-6 #9X{q2Tp,Lbo3o1[A!%VSe'( Ĥ t\?At!d!k\{6za& YgP&;ǽlM3zUi+7CzyaaUWyvDQ#oaō6n/zq㽄|:H( jAv_HU@@G}7 nx`!X?) )Ϻo>%xΠ{F5+k2sy miYgKL0!{h-̗3OE9vmi:mi@.lӞm.Uh0};fKNV ]j¬7P>YI_ tL2R'i0 { 4A>|LẆUu^o/jp$&1T aD?o#/;Q9Tb"iֻ*lLAs<:>:BfEEJyX <'}K4xfϊ7a#RX-5fJ dj)X~b1!.\z1@hҭ0bٷ} f1y 8`U( &q2tRv*NE j'6 㭐%mcpJ%sE/ϛNfKY~;þצzLlˆ@lT/ov<EZ0VSR dY5H-u&heӆQ<[,ZR?^V{3a߽eӕ~HH\)=\mM13c<)rÁEYLu T^&(?I>su_+N5IhRJOŅry^p?gCgtK73/'ElXP$ wV1y?巕Z~&0PSKa<##L_Tz8znTIv>( HB,al<`9?vm =4g1=8fNx#Kb|Rcbf*,N]珒Ք'#H62h2Imջsht]M}CmC2ydӁv"3MA m_g)E8PR[ZqitwWw֘ait\J1ΛӴqK!J5ǟ}tŀ~v֩bϚ K4'6OţF;&lJP 9y+24G`6q53>v(AS,tn.K!0Ys1ܚBkׂEp i;cAS/r[ęuEP_|S vv^N9RCPC Ųk殇cl0TOc BԑyڙT g+fj~|hi`&MUtmr7 BG 6{sOza~lM/si:vɳt~ƫΛeyɢo'Eõ$[1Ι+&H@jECgG*+zݠ4ovzVYwܞh=&Y[BPg pC $4Nс{~FD~;m^fJXXE^@_7eVu}Dф<HSKH b Ebc lY,ëKg5CfDj"~,h+z;bd+D;)?DɆ!1<19w8+CA|Xv_3.4>8 ,/w*GMm6X'λ; L4+p|IzB^FM-gӤj[7'/M\Sv0C(cDQ. ]>rqkEUCOE*Xl!KMH[F HXQ6lHRT++(^rµ8i*ۇA_p3K6xF[4Z :3Zr0-ft*YNS)LN2wsTUa88V>zA>zM1y7 -ϡHJz}C/<{ֲהÊWUNS47mK]x7xijW,j~|CƐ5&<+X(4p+g*nI^hayRL!ٔcmYzQeX2?6' 8|<{O`=bjBфiXo3(?KqPj+ןYeƥ$hd eFy߸BUlC}xF z xwV;U^.A2 ˞ $s4 =n51*Tin ^dό֧REUg7D,HU}83S* <-,>tuTQMrto:@sн*P$XQ}ŗj/Y[0Zq+⩬\{W4 lȐy]I?6rOlf+0ψVh(OFKL:r_FH .>?6qBDC'QizSPfn8$Y4%xGHש9S0ΠUWU.ةIIةd v vWD^r|ό]TN18(j֚ǼNᗭ bBЃBcos ^ %[X&5jl##?;N/۽*X+H_,^P@ԚV4pL *i1|WAW 2nC.;K$&l Hx jclAK= X@"%1?"mBEDV=44̓{f'I$.%Ü%꽈 v݇t.RH'wASʕD3n(|PBb"wM,GJ{[ft*J6$ ^;&N*+ߴ-y%iW&40WDoSʛ';^87)UN,Lf}Jbs<`g&FGd*3٥8sG|.#D*Mr`1Ej[krzkh;%S_6fsޡFȞI{/]>aeO}%Rc=c 3oڤ===9ujh #{en#VӵwS`a\|c?uxLcfy.~ Vh4q)`=tYMxYg؉<,m8#ypd/$'Zgװ06a<{v2PedGfnp_9Ѽ!>6+FfVdFvҌWcơ7M%~;IhYi뢬R¥);O>p16t`00ͩG] od~ ,Hܥ 8joh.(sŮ5٣qElhT?z =DةΔ!7P(*,wBQpN~# GE1ILC7ä݊_`)EDT ]6UAuׅ\O9P6I%yaA0m1FVQ̼A]gJr}?M$X.7zL ev; XcSNm+\p] r|gl4KX@K>Qk`4ڂ] >lK< W}Nj2FnSwiۯE r=]}TF}"St@9mOZu"8Gnn%FbT(P6Zk.۹nVū1[>R/MF04r![7M#1[p*lb/&iH ZT?Jd8 gSdW&8比[SN͞EM^+LvE# .zۛ>nF(+jɗdFX0P|aBZý%S! Yb3$ A2nn^:3:ߠ(ʆɑ[\J3-^T^\gNu9cF H7]=.!v8VA-=o+{W0T2Ό[ZBy'߶qW^Q: O,\q#ɀ^o0hQJUi 1[}%І`\ |XSP LEs;Gy!\'دG_( :YHΈG$ ؆[Xd$AJ:. UJ: luS wQ o!X ĬjoT|)~l(Iu޻<;6>|ԥy▎S1e{YTxGk"_lr9y 9ysjCgA*m8NY`rRujrX<ek!cO`&`fu{Cp()82wI|F2 C(kr!bݳVq/\1Q"J3ES{x -U"(\u"$i!o!X}ӟ@Cyxה C2SlCy?yݓw-{z&4 qmU@vMyaV VX=VoԷ!`B  $i>Hs$U?iWZB+oҦ?BU\Z#\ǴxRn.Tb)Kebk)>묮#o㰑D/>@~2*)g+fnTYzxD:lKK-j5R*Nhi#6$͹OZ { \+9wvDi#=O{-uQ+-F;S(Oeu5R 1p'(u= qݱ?Sv8"0'wzYCP֬'ER~i! Ֆ@?dqd2Õ֤k1|uTM\✵+FgN2,{C=VVNkBb6<^P2jGtTS+_ y=N[&6)#"A }] R2rUS%J vܟ7Tw-gb@pO` ߽*v:?pz -a햛`Zދ7Y3񲓒5bCrq1OSb:ЉUT}zj}5t!(X<ы֟΋"u jKh3pŞ;i["E#>G[Y--bXIIt"v v܆e187Aa@Uy"8ш_2II^6U vۯeoXO(P>F & N4z۲H<}5UN6HK!+7ʩj73؎ˢq3l#6 H[|FY>p}~TRpk';od o&Vt8[: lP /Z;⿸OuĭmvOCjx*VĴ8B{X[yh)"j}nʵaMSDy,9(7pSES@dC7\cjU H#~@CYoUԆxDph} V DyV 9eAQvC`'l5S0Iy#3[~g'p^ /֪Þ0~+\tG3[/Y-A&K ~(&3cLR D,v@Y& 9W.<&6w͟aC^6VKv:c] uϊ̔R*C{_wWRIB[oVv#%B:-dF/^(@Mb 0RJ 6ϔԫɍ)ܜv|i0-ڻթ >7ЅHwS~HYh.l#O_6kq^q]4bӓa8>4aMhl{,<5^~Wp^ uq2eu9cYnq4Dx" gL* ?3MTef2:Ur"s;_UXuI &qR Eq(ξ\H;ՒrQ+_DF\u?{SdnR?J~4@ԏ2|+>GsF 4NJ_@c{)g%qDZp^Ϝ:DvNXGړw (TgHv9?Yzs/sʪ!÷tajR+l'C[6یzvK+Purz*C F ~|H vpז+NB3;1bp."gU6!`* Ѿ8)@V\/D;x ',+&So.8LiI1AKX{V .y%=is f,=(2>2%G!P2@ Yz)o&D+iNvbGM* \5sHa}<Dj#\*Eb,K;2tQ3l*S`Vn٘0 [ׯ y$ajHfH-@$\\(U1~pDDPO 9x;\ie bs`^ElSA 6¶)9]S=@8E\ ;=zZbƙ>nnmNLyQ*Cp`5No;ƃ%q$hs*Ya}z3d$3״ by $F,޴L~IvŶ`-b+o|~aJXTyi`Dh]eq> 6ť4A8tk3C3=)ムn,]] bqKTwf _t=~)>jkCF<ͪHpChˤN=\g$-o9J-2> 3+~]$*A-"}rg"`lGR}^2Wd [IƤ/5.Y` !\G>5Ʋ02I_C5ږoQ2OBݳ^AᶑžgN~o.1;pNH4B^aP% C/^GԳky]\KK[ԑ'@5(;Kff< R0pǔ_%PV<.@+q ӌp1TH$m4ݼV m_f _p}蹻9Dڴ˝Cvv s+zL.!asMo6`GzlJYz4 H}Ƿ4ָr~eVBs[I|]"?h&X/ u*ݥV." +sh[XO񌵧ma|뀾DmA5F #bG9wByA$)s%MB[D7EW ʂ 3 Ks$U-)RB@_#0!{ҌTƾ2 fqRa-EgnIS9T ()4d E X=Dpv{ڨ49f=v._R$7 -1ox^/:w5q||ZØ-eŤϮY4I0o3od؃s&KUQk*3>բTpSdܬ%ɮytZ lM;y# R=$ ־* ө'z6CZKQѣaEvjf`4~l^|gjk{KYVqy"<ŏX~/+&̪<=W~ ERoH0]^VҤt Cg^\Zѳm8 xoV;8rz!D3%p*]:}WڲiH15 "7E,Y~n&t1%@7R{n4$̧rl{VB. Z"pV P#5!vbۥU9,2ų}є+I*09{E }BK'QzAT8HOz0_pVb9`1yNTVP'r:әodc4&@8RJTn}>= UE vTj>9 :=s,賫>Z1=I e#yte.k_հNOgي/]Z\X(4+:Yiś6p" =S@eb;a4kcLpPɾ;uW_zkRAƜ)5f:0Lt'< ϢXONwlnrP}z4|CXXP>cJ۠Q0 'H~EFW͎k z/7$AsF#([:R!ϯŁ5#m>FXd6tgH1o_ngAHt~q/lvFqJ}wyC$ ư $LY4p)8yC:t 9a׫kyiA2Նebs{JHSDrz ϯP.biĆns*VV]Rb*^H2%J9zO+X|~:*@Ǖ@+6~O'۠ݍ0<K)zT>ʶ9&"mS`#nJjvzw+a2Zq/;R wZw8x;gPS0R;>˺/Nz1IHe@yrbByR^j[f% >d< 7Z& mDr/TVBH,uNiuFKq$]J&J'ސ[n]<=;.Nl;p1bth֗_)R'qt}dAy])zሦ P(4"CLQQ\&ڭ ʨ񠣩(BT6a2aG;_p0۶F=UG= VKОT S+ ˥M"{*,wZ#Ty[Y.X".{&N LZO7lqfeqSϐݮI90B"H QÒgǜCU\mSXT~FARA2vd|~z-M\hOCqFJG&ε#㛶| cHs~ܶzOxQ/x@p\-c u ur&6eᤎ^ʽNq6g +=+ Q32Xil h*orѩu 7MTo%a^@ Q : ~9|䤭n\V5) "8`Bcn5f C d=c!RU-\iGAž| jAuljl8.e+G=Dvz)>%=R&za%bkP" ~1&jYg&/b_N,^ywN|Wʔr.nx>w@ p#K|نExuWm!(;i]ϔP0"GW ê"wr(8&#`lL *_Vv1DjGK"1V\ /m1Dm`-@/xy%jh`.k=SiMUɓQhU bf\Qִg j4(% %v`VjTᕁQ?K z| ?͠80ndqK/{ISJ! Oy7 WE/]MH_hsʦ 6Loxz౪lTٯXb"͕v2iG4=\m~L!Y !6RpyDF]X:#p*m gJ'"û̸iܹo ګ_H _01"r%tGVBx[ SzDph X[p9GLLJle8Š~U /Os*h^8byY}o| 1 Qs30f?'&K0z6{άOz6iYE3&1'v{)E"־6h;s5mL2R8vsv߮=6<)>B6\eQUHbW*pI&g}Y9Jm2qP9%&^(w)ie6}NcH]vZO*F=WuKGe"KJHʦΜQOFS."{fi,|^bobݚ G _!=@F! L?+\˄iÎYve+r& MuYAѤEs,Zgt 3hi*vz " (iUakd(իI 0bp+pogПdy!fǥưY0H2T13Bx B` |R2l|.y[DL)7ᘷĠb|9LU׭㸾 $QW4tã A'ߠV|,i\fczpLR?C P1N2077 Y1h K\gϾЩeձ28̅@.n ax/sV?Ș-QIuFeNͭT KbM4)7(%c?F1?3n_CHWaJm Vv7OݴwFf kLVPx#"# ̈C8d;PҬěǶߎPvJTPβ#rq+9sȉ;|SG