SQLite format 3@  .0:  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  v vf!4\4 ]]]HOL-Proofs:threads=4elapsed=370.168cpu=594.696gc=74.660factor=1.617zXZִF! Q]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǟ2>F1J2.h4| cVV˴03 1ޚrF({,:#:ba8)5>)|ٸ#CK{6㴺nCO?q̕:l 9JrZE:7VwLIZy4T-oUՒ}/Ot1'B h%݀b\UXS FYme(Qg.\VqUq dJ\`%TʳP}s! ,ohg_m騧@%5{s*!KhD=~ƒP_}bI uUCx9.Ǭ&a޿z26#8m\LC*>8HpC=_5KA%vNY S4 'gQ @t60bOJe0Y9Ó2&=jzyFhE'z$yO,q|U^ca!b9MI(O%olb?P2sIŸJvٲ+X9[|V-' \_ϒOҔ{uKᬘ3@!K'$Y6M6@fDf+ʒ*?5߂OVl_ >3EH~Eeد,hiRjjA<ևL0p2rZuPuQ  ! HOL-Proofs  &hBRA1τ|Y|v8-tŃؓX<=mjg  vABbըt=֘ISH ?-ͳƂn9BΌE7\ˬ7fDg >QH_6|⾞OzXxĀ3'_X\j_*CT@6Et3ۣvI`po@k]sT&~#]/V3sMm @p,A f1ǚ]? "7CU&[en:NJX`xxƆ# 9{ο|w CnHQ*'D2xt[jE>f&(~pxFD\ SȖV(ImH;KRXQhec6/AP8Z0[åEG?hP3P?.wg [MbLevԭsC0X('k xeأ';i䒹R;I3B* 2lwUYy84 x ưLŸF@9Fglꊵ$OƉs'Vk2"Mj\TIۏD热e g߼ lUbև,#t(0XrWiDĭ`:idS!SW*('wAB cw^{5a Sah{f] uyos,@Pr?Tc;0FOJⷀ$$M%YEsX '%L~?guj\%Bw@ߐsld6l5]TPc:O3rΙwACb7g}W;eV:H챿$sV$0#wG7hWAcHbx_-YO@,@>,b3e+ Hٺc{RV6jKB扮ȠKU׉ac6 +Au%l# BiFZQǏˌ[r "qGbnl3}1'Wf9/Mc+' Ԕ2Fh/ϲP $8\(*6t׫(ND'NXibՂKZ3#X.:BU "GZ=T{MY1>ìq.m]}i#F?RmJFڷp‡n+l#D_ͧrՔSa9zuGгu_9 @nĠβgjL"8Vv5ၬV0"%M̗ c3㋁3d2JɎꖸ\)Q:?.ijy.cfb>V べ\vKL"ϦK+n~3S~]=/T5ʎ#>#,~>!tjf "ys- yx~̫Yጾgg/ƧqN/7j$?d;|-1]ag-%0kyp$S%/1މZ%q6r4ASOL;+lS{LX ۉ9ɂZby00۶ Be9>}xHb"`7>!uVҶNlٵ/>p'^ vU6g804:U`zU[Y]Jtwc*{-35ިC݁ħԄ&~-KuihOi]"|;#Ĺ,nJvIc#?, Lַ{0u,/.j[{6Uߞ 89YĊ;3J/۷c:K4/r'f׭i X4|b*Ğ䀫[ߵOp SE(>+Mn4nj 2&ᄊY_ >+"CKM.@>(l٧XZffᖔnGs#"[ۉ(DG?fqHuQ[y.:q0K&xBp;.)r?D 8=)5jAڕp1/yB[yjvU{xШa5& "1|iy@MxS7FVXJXxNP*MH,-̮w\RYt]";*@vLOTͮ2ݯt߀Cqfd_PKڧcb{  R3DTd5UY9Inli}!Ktcd2i(`{T[5`ul}%4QK,)&+T=rA , h?dY_Z-\-R!3! %YKztGpaTyz+ϳXmgֱɪ0Me@ŢO5JV2K%?Z[e6eK8 ċ7?]4%#Hޣmr(vaƏ`xLOփBbq@28o5$6sa_ivhIQ#I6V3ٖgv@!3+UNYܕ. y[=BDEg!oɐSKg1ZVel":$g}G]هp.# 5,jHѩ~GرOV[=?6<\yY+{td+#8r?i,Сξ{! QD>h! y]%k3y7a5EpY4\ha{ -4@j#zۅp_6It:9΀ Z:+Dsk?{n͊JS0Y"j;I UϪUB؀<\Ҋ7x_bx (|p2(zn~YhȖѕfssKeUW'/`Zз7ɓζ3%ŽQy~Xs%w)aޔbͫ {z7xI7&z6Xz5k2JϚNj3Eጏ =m cdc oJ8g}`]. x6ry=#[M8)e\5e UC <*L7D}2[q*f^:nBo»TB1P\ֽ+d_bqٔe^!ob#,t 8M$UR{ա":-!W\V% yHGjس~o,j%`F1N.OLe]trqpM23K\W`*)Yxƴ84{ַgg»&QsJ[R8tN&mOt htGߘ~`%ʳt׾VJHvu> _#@W] Q߉ =E7SMsKD,so(Qt^OiӸيQ 9>W3vqd$('2!gۨ .M^%-~SV2#zq IAK "#J n QE/r   ڻΊ0SO_Xpt z*<{Sb@Ğ:֧I&s^£_ta#1!(9zɶOVaDSÈlo`IP6E}HؙM-.udLeO`MH5r)CO]$4 S'5۾zF_W82c <Em[hd KU^4{XjZbn(|UJ Qե<7usIdZ*Q *s#KX)vQՃ|BqZ+Ն^ZUաTW4crbX}N׻62j{5ɀ0ot pw~kv(Y'@hˡe&"wi^ze&UT* VGeyzHxKIXX?P[Vh(szA2IWMĞ! [_.*>Nak6/9CzmҰsZo0cӟ+a݆ў0.A{':L_B|b6M I5vj3sSt'A/qȗL>m=LYbW-1a S;SR'xCZaU6(?3hp9x[&k, dPDy|(' H8<! 6 "-\m @(bj ,>ֳ'k\rfv &uG|( n'+SyNh X~- b4 ܞ:)_0̠u`6 }4qո_!; FR}GLC9ƼY-?>6#ǙKqlC)}Iź5e@ ^jYZw b0i$.yt/؟Iorzn]lqV:C.M oH_;ƳG^+>:_VVVVρm5%b]7kX3G?BWŅҦQ$ PUw_ም&>,BYOif>.?8c`(UffkC RUj.@vwKC,' u#}F%vDd_}5:Jٍ:U:/#RaE+zx [EDa'**q% [}\>a{n7h ns" ˬ鍯yJHϑ^-RcP P`LB3jL\aؿv6vAʶFA}3[>㴁{ށ^Xaggk6i7t4c[[;E S]s4B˫gR KAxhaS47l̓Ҥb3f Gu '3_QT FUu9ХrS {ج'2îK 1,Kf{{ 44_Tǘ9QX؎89ufR~ {TGLJXZp:ݠs|+ee_My7H1p׫}9Wx&:^l9`3 okl{;mqu.Sҭr:ޏYba6rO[x PV;9ۉvZfK!6,p$Ѐ#_ +f$&R wW[6?ʕD!S ȪO H f51@&1_4'30@bQ<91>vbu{bXW<9n H<-h~ B<Å+ҏuEB!'/1N C7f`[3]suv9_b~̷7eJ%K;X) V3ZDC˿r߼͇B&SsލbydZCP]S_׳ZN^qCFgU(r7B%+`W*dה/Ljz;^>tI<+٠qA86`cEԍ#YvN뗠pR'g! {J\ڈC$Yd1T.GJ`Y-s"y@͏?RKI2œhiT؃Pm)ڜkwvć>ꩱB? ,Bz'U{c3j&rZQ~&C[⨩vK1Aâ{ALi n&x&<] 2ulgYZ7zXZִF! TR]ŗXi%G3h3u_`O ilծ9GX_큝I0o ;kAĚ 9S`8.CT`Hi*4135HLeq!@?`\84"kDAfItk,}d*~,# #ea ˨ΥtËiH#&t,FGȳ{IءN{Qup•=M+]6Ǎ< Q.ɴyCFɕ5#LpL@6Vu=@ W\~h\푰' B:&-Vr0܌JR8uQPt6EE߂sV1{.ЉzeƔw'XVCjŇj׋1M"mALl~5O(W*i3_bS9`ȯ);Ne$hݿP3jD6:T_kFŲ-7pމ.6X!Ɋ z#9]ҾPTUMW+Jv"$I\zWķ~ڽB ž4v +Ep9L7ih2haf-AT- yTo}#x.o8S&S`?3c--P9{lvT/A+xrVl % -JV<BH,0P|,{M ngLVCZnهk7Dq̢j;)M5͗KKIIk%Pj?ۤ{3/s$ Qڐ.08-)!7DLɞ`r(2{P>4FA /IAT% &=)k 8u>9݅/u3a%*ZjRidtEq#rg{R T(~rkT+iO?""YڤO! 9K}媀ΏXr7&rI?kbk8rf n T{XO8yTS'P\{Mơl9sd?Y۽l7ٯt%XH\XKKH NȞB)K6 qH> 4IW?lkU"*8d<^CI)?`~C%yĢ捅я_sPcq'ˆWگ ™CPS͎AfĈ0TV>mmdu p_s e{C:6jdP6j .J1nIq|kս =pNp=Rש޺ 2Ǻ83sFR:cvel/}2cBkF:(S]浶li 5bzϒcN,]2"c!Z=xnG2E>~ ({8Hl"Jl8 ]793L|PJ,@h GMpEroZ٣ˊ*n9qMN>ͻɹ8d`"}Ky^[t,H憷ZRR#]voθݓWirҕb+Y`ɥ7HP]FE&ӄDŽ֧`B>,WG|$,gCJնI=l{(WH^-Sf%;*SO)BSҰ 9rwS"G {4T*>Bp!<\^wV̀:VlLHPe(xg!ԛ@v$eoUGdo\\Oi(pj/[''%i-eE?dN6 ,'؄!5ߝ3lE3}C[Rz8*i]礼 wCP.9m`[Z\ݗ +Ln8n(8^CAg4~aYkrȅ~JdԦa|*3,iӈ8r2Oɢ@ܨwӹ3ʊ>AdghmgYNXUcd /`oHa` ʍ&G(I@uL ^BQuD q߆騁d}<ijNi AQoo͋s?/ʝ  /pc.F;4@qa,sܵx lA&%fKyNXT5_BE\ߑ@0)~ ֱ&tr_aO䡴 bY'@ZNn*@ȐYD-Co׭J8!.~li^E Zn? k"9|xSb^۪B| PHQq x4 $c@Sw:}r1㤽/86(_8*& *q7V =g !c|]GMQsO+,q/x^n5?!]"x9vDY^.Cz}?E#WxG{[C4,OiH*QlQ@?a`$3dv5r%e×Wjg8@%Xr&VaI6u(S4֛4) 9tc-SR=NP]vSlk쬛7RlZFB(2۴ / 5@ Ye+0XZƵ S8Xœ'fSC$Ș0]HiX{`M ͏\϶d3R]~i1Tq#v?.LBrGLcOx\Ov]lf t`~&&h-pDZU=ȇ}ԸmKifCp$7,bѬ MO.o{}-Pi-X׭Hy]?lfM^dҾ`%>/;m>8&ڂ`RW]Jsz-^xL!!"b^ 8 =OFGгI3B3vcB'Ȅy7{zr_up+2n n=DVBnЯfhȃJMr1-\~UJ=Ͼs2v^TPCq;̌kfk(ijBvw^?1(-lpIk:6-ၸ#3\zhOmsSRw 仕|(.mߊ &]C$ef5FA4:j,N!=7V5 JQԧ兰uӾ-Є  x,mp7~+@`} ك,ID.R@Ne*F-yT9KB"?'ly=:hN 3~7aДz%;ZG'b9%PdP8w}e#su![Ӑi #? # qJr<ˡoZ WfkrWRWcJ {܇mcu?F:ңuBh|< L\)GKc8A 6^C/!sq-de _6>탺M_ L;*=EN| *y.E'AԵyprS͕60^ G닄OQyQy`0"dk1-8U2Ĺ{7I\b㓉b-]]RV7uWeC$;fܽT5G@/^Ӊko%^Fq=ꪓa.A> 8ֻX^.6=0^ˤ? (`04\㣉iĹ?/©fT s/VuPlSbאP~baq*7]} _F6ʫ_9bGLDž5x o*'r66ؠp+h A; }UnY<5b+*HGjቖe`1qKCK<=:P[q[OCL`xp Z:ů!~Z@q*~]ɿch\|->F".KhbP:—sCV1fco/^4dKLְX>Ƕ=km-;ÛU ZҺb@#ݡܐvr[r_dJZ[504TL}7@gUaA pYrY +;2EZjs bilZ.`=3EC[A&rW(1BO%ƻO*ږM&qJbS^Tgطղ$VGbiN/FYqR ICQELgk q#"sQLK"T΢",p")lA-< 9R@gyT蹛V)*:@GX?oF&]c]oI:ѭ!W5>G_ JL`eകFfPgI$6Sy[ʇ~xN|SMΛb~~4xZx>=-rAByDzg=Nќ2Ik5dZо`LT`0lw4?| QetAٰ6e;'t1]!T8T7C #IJskL?czVg8ElFK|jP38WyOd7y|?aA3 bǘh PD>\cE0GlB-P^@rb͗TX?Ӟ)Bic,-'wmu@ ڀby=yT6ک?,I i%Bftf;8A:UМ_⬴ dS =wL@pz+ hW}q>4Eyk3#fpKҴtIpTx(U>QpF\h3yAj*Bo"_))MkUad2@b}` }`W7P(!UQ.AY1iP psqžqa=/Rqdd}V-.ƂdE+ChޟI+G-$*w{uj ˟,f:•ԃO)V?b%lFޫ V^H'9&Ny=٩EΘ\S2ʔT4|+5 ȴ D<*.ȪīEoV*l}J"4+q+}ɧc;_v%a`~)1"R7+A* %fԨ]='Sk\1Z sOt:y V*wgzރ13l4Wy˳x$;%' [!p*bgf@'wW.fń]ȡ Ou.= s,qǷ^)vYh:X\x5ڗobMċ@o1\X8k7#I,RI|G=ֶGGtydC59*s1m'*jFxRigm\p/@:>~BfpOK?ZXī]!cfu]iXa.D@7~WѢuyt=" ubK=>Zl`݊ˬu/pwݮlf3^eZ_EeϯRp߽ʮ'G7hrPчx${);fxkTfj{ Ʌ~'<G_JSYa %lw&ɼ*ωT47:3 P*+q IҼm_6 n a ^*Njdؙ.ع2pkց^.Z_[lĐB;_/`{S(nP$vgE#5^"J (]_&}Z&u a.F%XGY Z񰬄s!mӊ[5@6.S!d KEﭣ$w`_" pJƭ1 T kfـ9PԇO9L'nn|ٲg8+j뜉ml#;}TW`GC\=;P)rZق<9IR0ZQBwsFpx@dseL"Q:z aCEP 0??fQᣠ z> t91:3L35c-ͽtOoGL۷$n,uUs/&h鎸+`,Go!Q-, t#MOl#p R7UDӲQ%t%tℓݛ4Z= @Ai>cX-tf0 _PS,>^ۊ&B`ڂNi&uOQ|>DI14,qP[*}>|1öZHMT0Z- W3i # -yj҉ =$|d8v;$@%#/N|S%sY \dFF*grjw®6|]InƎgכŅkް512ToB* -&Dtg o#d[a_kTfW /2e鷮ƯZ=ğCI2*\sM2}& K2IO RgU Yy,}).Cs|_ծy ^r )wߦEʙIaҲ:ZL79(Hߔ1m@Њn\^k?Jz'3{oeЕ;Ar)_p$tf7]&aMդ谚~c*XsU׽ =IxN2L.oTlci?ļ=f! z/+IG> 52{Zݷ=;eKFN)拰_vchzs/*|,{Mb\-uj"D!-<OUШԄ|8;q$|CQWd`_xB ,KLv;v}jh}67ʉ?J.I8BuۓXbgngR1 Wb37N~ km1o'FN!qG ?<zç[Cw ƩiTTJ Eo$%L_u@qf'`=pWMOS8ψ~Q:Yz];5hMbReDPNkLӨ@OE5zʆK f}۽9:Xsޘo4=lא wzDȷ Hcr4+. p;A]G!͸BSxXx,gCS(HjC\&6$%S `|q>;[Ź vBZہΈzJΔ0+Nge ek~DPGdS F|T2.LsS~ݗK-={]F@NQO vU..p bN!a@Mȁ=JJ s5,<ǙԚ:SjOKZ3> 6̺]F܂^/u2%j%[^Bv[LIaZt䫸 =SLo'֟*0*,؋~'%tkZ*q /YR1=x أךUJJpdp1G7+=?b6!WpEm0ީmQYP@@"S59P,ǽ&;GTAS~GL^.ܩ"oԹ⨹c<2B\,88SSn{б =w?[סpͧEӓH{e{.]fK)vI14h4J+ R-Ɲ*ʧ{e( ˡٿ: `WQ KVe" V9$"o5`rޥKDޟ\z$S7CR:}ARHAPC燑rc᥿k\K%+pM]oFXߒF)* He#ɰ-Tp&qYV<@Q3_Q񿺌|tpR: 2nXʹ٤u<#|fz}2ЗRݏ6H]lTo㞞a_Xp:?װpjm!,$JYDKNh(8ή<>XK] z^2[~gUކbUA^( OG>2as2[Q6lFr@lޮB|]r O'~zKb4ޥ8=B5ˮi.ZΫB&&|JbDXJ@&xw  K9'vn`vGD\9DTdSj$T(֙!8Jmi oo/,j;xk&kiI 'TT͝aظ< _  V3 g81W|d=:|71q(㪃8[hہ? R< 7Q߽i_3M( !bY9peK|5z8zH?\;F'@;{DoSfMUR428}~SY 6 U~~$:9ۗUJlEvhs+.6s- X`JJC!餌ش{s7^ğ) N8nO"JQ,myXj|uvɈ?e\ Gr+Dm>'#nܸGTXLR@8Sh4.~IG'F0AڪR.څןc*2~IwT#Qm7 ]Otd(o>O|90mpm-8rX,ݑW&~/ BW--# ;Vv*1:bH庽B%ZgMa$,zݏ|(t۽R0 rKu *V֛eJ띀7fOZK> ǁ kK5mW}^^T1s:S)2gf@o[G4D~I Ö Br>XO>T48Mm+GKѩEJ+?UbhU@Vj$Vuߚ/H#r=l2!NB}d[ %p{vz=S˴:$互jf=PA5EZʟYkA2!G$ cUuo/׹6G, |o:? μEρf3wYhzpJ61To[o;EQab0Gyș.*IUp﹪X-ct:%HS11*ɕ)!:=*!,,(TFrvQN ;P[g$e6j_&Y:e=ԁdݱ[VpdK9_shwb`25y 8Qү "F|Q2oQ&v4 R5ƫNX1PT 0r9&nms._ #JU*@*3\.ڮn\WLR1쑲- FX_$[9;vi(iY?:jg`0-XQ-[zoM U. aFߏkTN 'Be*h`Y]p(iA-0F-&,\|}N?wa柴;:8:!d`/b}΂_->zrY9+%2RI[Q։a-AN̸L{3ЎYb b]#vU2@U{ɥ >q];&=ot?}0ǡ-AHH4g3k|jTaGZ" 0ɬD>"n!p30pn^ѿ=O9S˻(mYjLj)|Y9;T*RAU/9 C~rp(.<i:#Ag vT4Vww[Q>(n^ZGlc(|0 RLjOP)*5f_ׁ>k%"0Q""SYT :8bSBnR/ZO_&8W쬭ϟ-b72ܒ37j<SBs8H߄>؞PVٌiL%[)ҌKq]6[{:=+8r=̛i hJ~rU՘GghC0YƐGOc},g=kz}.^oV11xx\PgWϢt,H4[ O$=7ɴyELDpOz|1*S-0Ѹǚas{?TS_+S _!o`}8aї4c=GQ)0F΅}#յevbrGY&ʧy3 }:j ~pV6$\fw!ԴT$ĕFC53aʑSJ# =1 B"fR-ғ5N('7P $˚iv8vg$%%6~閖OB 'hU6 QaN?fz#,iPKW!jfJ7}sjTRBx_]qܮ{gtI2R9.jbރU*ΛP Tm=t,mjJU2u3QxV0@7 (]@ B/n1w=IynJk"iz1d ptu u\f`#]mpZHy -ԫy$ _v 7.@I# srO6VVjU} twhS܊7o[ .:7'5|x5ИwP΀Y>uUkF{BѕkT(|f<Мw5j]hRfyWH}P_ms;sx2ӵZbGWqC>ZtlXVXid/S,J̉7[_L6b;x4Dt0 8%e=pܪZc*- SY|'0- ڔਦSg)QN77:wsT,B)Va8WcOL aym +j"Pljcpx”WXz[޵Z :V[:1Gs)~|^ ;©?+$K5mqD$R*ViU Ru]hn?v޾xi6/<scG:GOns7%1Y#|j᱖+̂gPeåro2)~U4 Bֱu(J/؄b% 6U0E!^+_~g^'{,PEcšײK~x3:%- ?Oх"< ՈQTbp!DM7R*ћɲDrnLay,zG"!LϋZ0hœ%(C*ץE>sR oT>s(9F+8x!OMa8;}e-"p#P[1JEMF\t<(dalb9%x= h Z?|WgD7W2i<4RKiY+'EJΕ<Fӟ1UsqŤ%gzڗϕ3hyB<@ǯKcK"sMڸ*G%*m)$2"E񕺊V 9YtllxTpynQ8)ڿhE556VPSAʋm!M2k9Ե"zd#/TA@RM۹)[Ju˛-}&LYD:.KY.!-IG. `E^ $_j . Q 6kæ7HdVI/wq:ˣ0*aFQ?ӳkwQla˃LDV(#_𵠕q:qm B Yܫx62dsq"șm ԥh9tyt"tߖP Gl_xFkL%@//IaSت B1-0ԡ˴?mQSgdi@C_J _تbkSJOA "% #s֣5[=1~/4bJvrDa6j?/ᬸsm=V1^Z2s]-LRȞlk<6ܜJp.2rx*IK_`ڰ&gY?> ڈ~Xi! /4_zr;Vi/ZYvoN֊ u:2X[! c*S#ԓAƊ 򒈕4AX?r94Q\]?;ϗ |=)4h/è5SK@ex#N|fR t>Xe8"YI3*4~ a3!/Ř8$1uzk'GN¯#ВF %WeEA96,ߤBC ?ns#q_L|ZD}V@HIߠRc2хWd654A˔@Jo0\ʄ4J1\7 ߛ\E}bB*|OQP50EMcܺ'Psml8!2E6`2 XD %x]0`ef2я ^n@c+DEhuhtqI&CSx Yh\IKD>v\~0gP/_}R, GOcl: 9 Q{`O%{{!Pfiw)VtuYR&`ܖbC6l7ċ]]RM&ѩpڟU518r՝pJ4GH%D6lZRdpŽL]R`;ch@;T:!P {H Vlυ@츦ċ# D\0as`CZ$:RJQX8V)qp).[h1pK¦af3PAN#6 |P5;>f7]'% rK<AV]"Lo&i*<`U" ycz.H$荂56 <ҧ~y &qym] ˽Z?X[M\[,4@:x0 860y\c"L2@?jΩ2W.1-D`8TG8XD6xC,@ScYiy-4+YRxDtM3H= B% ])N'ԑ*ϹKCc+OmFP\Ӓb0%Q} ԍSE?*@ b?A?f5 پV$R%݄ OhC`E8c!1|d^񘡚HӮv#pɗj֑j,YI ^ ZfY?Ӏ丼>c(cSU__+5OyJаk0}kOmڠ_RD7'<{-{3l^! Dj&%m:#fiy&~f9ZhC;cm)k90K~snda?^W?́Oq|leV$*o^1LD6UCwsݜN.]c8S68j~n)<9Ui( x]]+E|n=V[긱ȥ; k[[ڱ N;sa UU! AmjsLx)e=|Ye[c>:q$љRk,*t<:_% :{Y$f/VS8pz.oo#ݞ{TR/۩e$c 0鎌oQn/Ja$$o}u}seXTơK .mXg"Zu`PIx4MRVBTևAΖ12)640gQ*-U9h"ՐsʷgYZ2d09fe181b83a400808a89a27f45630a1cad07334e13432f40f7b1835a151e11bc124aeab3c9b529f56fa812193aef23b60dbe287320338d385f2b57