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 LL-L| ]S MonoidalCategory:threads=4elapsed=354.766cpu=873.884gc=36.736factor=2.467zXZִF! ]ŗXf[&MoRy x()D u5oi@-JIsn VOj>%5r#bԒ$(4=P1 5X ?R , iNG*mT,i/G ́! O2f 2e#6 zɹNmO*UZ$9}I#2)!dѸՀD%ifGck(ÁG-@'k'Iqeksi Bmnbb>낼7L^xN)xRP"nyFkfw^z8to}JhuY Ls6 ?D_[ŪT^ƅ㸊Hd?ZdaAJ)?< }.47> ?q^GKTK9Iq [p| 8Ijq4|G@5brTO߻.p )To]b}bwRLJCNI7+wSgH<ٰ&z31a;d/K以E':g^eD-@tBR:ʫ' އ;S1$!ع9}iNTϬg#㜯ƴoJw=OWNٖ:c8M<9/uTxE$Ӹ2姒=f|P.9ikH|o VM ͇lņ0| \xpJّCԴ˥C{(.K8dڥσG7mYLn{.!?X2$O}ƕn@\7#3CKod}[8$l1A4zצ֓kn &(gq&lvUG dn;ɩY;GTmX \ &d|ތ1mS3i=Bxtv A V@V KY2%/܋FH x3)2D褊Jdt-=]l\(ff%ǡ$9bȋM(TEjUOh!ɀRRYOWw}߈(Q fiq]k1SP)!NcP;rJXL@EfJҢu;# QSր*l[xa#n=3ĸgx H})KjNKb~\g!1p|3E%eCه,%\A̧8 ֨hU&= ̂>;N+ bGLht̮tvi_VurڠU?ɄYӰ0ץP|%v(Q@ƌV!hT뼁Sp\`8|RݓA˔\.g%CTkOnQj" ]=9ﯺ. - MonoidalCategory  8F`(;˹9o*~ ;[]e?! :d8<& h nB28N0{.S hzE:IT,j/|V4&aKuي+ht._6;P,ײstP)lt6`QgHmss݉}r5{4KEYgSN"ֳ!}M_638* WJN:DO|Uu^-`]CV\/R6~4z9u3 A~/M> ڄ`([.4}M+o$`^_QQ\[p҆NBawu,,~u8??`Wj3eݵ6 <ª2_hⰹ"^Ӹ.`lmgPX kʞ|Fd B8v1A]׮Tok+Lِwf=c /|![ ;Ɩr^^ b`)|BJ{fPV  oɮNj'>uts k +"j4"PpgDh06$];JZpSY õdԾƏRU%;'a-b*{ = ?no8>ҳWM@gs]gSGXQ=) FP|g,ND42H8>zLp"y]Azˣ4)Ԟ[ŰʈQpqImRf ,d;$ۆ9[ /4_^^a,mbMa{'dβ-nwK._ma״BL/_:Et{7!lR045M[Q?Pp z 0ABAM3 W-hTc/%jj箏}CֵP@_g,d8 JTnISAP~ϰ?I Lu6E#5t14Ų` wW F^%.F{(lu2U$Y!fbԇa jHE<1v<˰ѣ qq"A&$(6:F"U,A7 LvVO+37:7G0 3~–E0A~+o& 6(YԌIcy>E88NRƙZg,4lK5&+j [%)C{[b sMIF6=$: ̮1!3 5(pIU Yмnbr6j::Mu0 4ux5'SـϠeЬԵ]bzBeV"<)LWhPG4m++/MNNghA$za$r_$~zgwt ^Z*L85+Jf-9##iA0S6'psX|wЃ\dU(}4(vSeu^z ҡhQ :`BJoQ}pCE8-vaD`1[R rjd##)/%,d lȁ&w")@EsZA ND5  ڥ_gGWrs(N;S>_(-a2+ӂw='0_ S)rQ;HLddfHkVe[y+ym9`-أw/ 8%3Qhjn4$ݱgYZ7zXZִF! ]ŗXiɟ.6VPKDM=Ƕ?:gzCO1 tá w@ >[no4znP:zX^-=5V3uD0V"E82M$D[f~څ".ױgYZ7zXZִF! &d]ŗXi%B:b+y%RGBEݐ f6g~0 m 3nםąRН@LgWAـ)vMD"&;j{{Ar(W&תKq0Zhzm1`g[qWԣeZ\q*J϶9y=%0)p8@;w!iSOCy1m~W蓯'Z@qkeZyoܿFk2,j#^v&iK4SXN 8y}Gx^|TH(|Q:l5l) :Nk,t1FLӕ ClX}b7x%KW&Wz! !- a]L? Ⱦr"͎EC#t{T ?Ni%fHA^ :Zd -WMmG41yGXFffTEH`,-hqSaMͷJ9Ro 'sEW򻋽w2ܖlfh?2ގz0׃Bs:wmm= g˿ĂVFf%w;@GA\}M،=#ο;Ea4JK4@P-¿'Fex1  .qm#̣k|nQ^[ +QYh2jr2r(fKz>$*ô/|FiIW!ÒNUu1'?¨nUEQfs 9f-PW}zRfEYT 7u=~u[LTv{jn& '+&?3D:*&n4ПA2.A=b ֜&Qx4LGElrǥY8 QĮ15<ƼJx4Z,bko^ 1D-'cn<~kjp*r5G20 Pݷi rgUBѼJF.]ֶ>Q#f" dp)I҂%G"XknP?b\*ϸNnN9/׉9`4=ӯ8M{,qP@[OWQKaNT:?r) Y.2ywILȻ3J=_ LZZX};m3w)Ͽ|'GT+Ꭸ0#`J-SOCΦQ7P=@>%D\iШu;Ԕ3L\ջ\kw4ESvL,94qC>{:#h}ǀ />+CĈ'k8P0c֧穤$]>+W@={\=rW†v;ZF/+υ J) e$Ve%z+^5 |ߦhyמ,\)KOp&1BҁJ NU}]>J5}r)Çjus7w.v2ex/'?+X mKX= 9 s1R '3,<]  {hb+{C ne<2(28rdcp_O(%Eya!Cb);NNPIzs$XܝldVxH|peBGgVsx3` #Șig'uP&wBmF KN_5PO0Uؓ{8aJZ)_;qLEp{aO!.n6LExHyz, ?1b6q]`%CGZ4h&yсpjKvlߕ.+Sۼ\ݳ5<_^1ϬzJr.E,6E#n3ώ2/3aB:SWer}̱]`m$+ >$3No\%82bpt'r{H 5j^?<9,Whs:\ᄨ$ #SS]c0 b=]u]a()ŅY&:CieC +@RT4u;^ "?oFzOZ*mD^(*z~>i.Ӷ+^]έy{Plv)G:!CN=M*+Йt#|GM U#FRɬvkI`@\93ޤK8-jǹ]Yƶ(2q7;)wv>|ߥVkHL]fsѬ?:4q_Ce JJ\5>I(@m?<`0asK0/'S\ޚcOnv&*^68le !oM7HҡKj.gh.\;eO3̇6N@T.d[8Ȧb(H_C Z+dTƭ]Ksd5kĒSj}i8.fD=0e4|ް|*@'݋3?OvFK/x<#ǩWy'yaqY=t"OqZbzpQs)Pxx1\봥;~0: bWOX2}A!ݍa Hւkڎp}iSk|] _[ȧ6KkiG7 'pNe *pr\[tP[F>[ ?6") ?Gևq2]{FVr[&/ìJp5)R͈ a**>CGam5 ;-)0AvRaVqgcF'c$Zr:`ULIjd2 3c(dk6Y#BhD.PgFrp5FAp&@%lg8S{Z]wy/vvgFhg4ꪀ% |QRV;*2ìfEBYid- xNd^'d${!30#4S l--ęS5O'([,7c2^t^avEc|ғ/?ܧR=IRÈʅb(}V(K+Wۼ3pLNF7C W;ί+u4QcWR]ҦP/6aq2H<@ɍcW%1DM}!%oE%aqu' 2i ]B'<];3^>ﳙi`b!u? &B1ؼ, Yn_ߟۮ'x[dR1C/9n!㣾fWIj6} ح2Hg KZ{X\1= KBt -wrhC"+AB:Kݔ;R,嵴pJl \)ÆjlWEXS9/X0XK N {&-qCnF5$1Ho'R1r|4Va=a;6SJ2#~0w9UƉ>BlS+ocCvcDua^jj H[V]1ZO W0w'+1:Ť[^sŘ&+1~p_LG'6hT|簃eNou:23귙a^7Am#=vRA@_R=DHQ-,OSoY,q>F ˳SP=nɶau:n)=?+(%neZ&KE&1юBm'v+Jz_rJiTH8vѧ) W,j/e\5H?[3$~H#}\:%cy_ -UQ2OV;F`)d{v-m}h c|e%׍Kmɸ#PwIxvy2ߘI{5E+ +V sun70|P+ʲ䜔asĖ8nd3{%Mcr]T5]_T:Ur$|R7dبKBfo `<Ȑ3O͓8SQM^RLM<{^ @ލ"enFq㓙=^o6SzaDݷ*S,*t80f- _Cͩ ℁髹tMlS8 O].vT*D}D'+GG=n:!|*wdt`{ۯ[P>Ey8>@0FS( jF_ǶLU5Z "W"D(~Gc^\9G|`<0^ەՄ x/A/F`Y|@߾BSzo|"A[9>\ 4=ܲQ &kIKr3|M? Y,%oef?+!깤ehc{/mYWlY,`ddƀ>fLf LX,SڢGjFt] ;^v墑4H뉢~vox2ܴ%Y-iI .d#fIJ.zVxd,%tfMph4΅NgsD$u[VXtAZ#KL1{'yA7C<_;td /6@.`5(Bw4Jx>|>ɶ2tp}׻9k.XvbK-[.QhGZ7 5rrbr%AYR ʠFq3K$vxF-xH)~xw(OBRqmH.hzquZdJ_@[0@۲5GlY #sj۶WB57]I͒TQ3F~JCFd!= EȎ΂9{J$Ֆgl([z+YCA_|dڥ# )?)C䒚T}3iDuN/{#%eq`q/)v&$kj "=jbHH|Bb`A"b[>2I'MB!D Qf9S^H%TPHd9Gyt=!Aȧ=;fUA 'u_mj+C95۪na{xc|sw@)m5ȦDǾޜ01猁#/A+ "/uC^ŏ G}{St+[*l+,e NېT1tzočUw`Xvpo5x:ty(Rh %m[W\J> [UMqkQ y,?PA0ey_b]iӫPh~1]~=ž[-ɰ3w.!yK@&u/5:3@ Eԝ’^_^D63'dHv 6C/G9ht1)GRM'UI꩎Yjm{LGm`&NOPi->TBoeMLvG:v>9iD QS'OnTVg@?~(cz6K=ZF':0)onAiɔ9T^a0vAGM\fUp ty;;4R"x4!\d"#+[1Ci" ]Ix)X,L7 D쎚4WE}B6_nn1 #E[A<[ā]t ]:{<>$ X w`L,+3qw_k / 7o5`ϻUK=Fʛ+b0/2{gݒCi+mRܞ֫ ـ *{3'% L bۻ I=[JŏbTH:l(j]dRKugK{X־APeŏ yzWJFs*jmD 1n1Soݥ5Hs(K(.^&l]FEC f#]-{!e1aeFw0M_b%VW>G`g9gj}0ŧy6U#0j}՘k i 7x D+UQ<-I[]Pl^:ⱺ9h8q|\ KB;.nlNw4Rز,(8:43Q(Q)Dt-WAfVin?Z>Phl` WaW[x3SJ,E\ŎmI0D F=(-)0yѼ z+y y L첉(^",)ci%AWS^Px qO3^cay5yZnHQ97*U@8g=SNb\_KtVB^G%t!m?L3DBQI ;a-5RHb?I#3n aVLR$qOD:D"ZqU䠁qS FN!&} O#6?Dv%M>EzH_`mX!I Q҅I/IHl7yK^絸:1̚_ТH6*JnJHD3oXtDφv D؁'677`(*Nw`}^tWxYY63ZShJ|5c<<9~i <{ƪv|j#(.3%F"lȊ n-=S,pC3G]T*SF#mtFS 5ĸaz}vD5kqܣ Nvu~o,߷RsvaG)*GnY7?CTx 0 $Xq]lF! vATa2B43Z]oɲDҥd\ w992ٔ1$)c]f~><^ ED B!Un;M07^}: )kے|deo>}k5QNR|;=feW3idm[RJ'rlBo<$ 1Ă*L Ꭱl_+Q0.̀mWkT?IdBߗUJ!3yB Ҁ;.h !ӥVc fqMbr%3zutr 3-{;B}2J^gYR*]9 F{_ fV;+paI?4(0b Qܡ"B2qԞ!lG%IAZL4m}X ;ثs2Iۻhn"9×CD|(S<kq+`DMA%Vٻ-#W !zR59t|6N MWw5.HFLi ݉@0q]uSdLm|O[H*́~ d)̼h%{WpΘR+Ƒ8m{?aJw$ -T|kFx] 1E =xϘȷMZ!f#}B'x!+EsŒ7 NCK? Wu>#R+:K a4UwJ5V/lpRݶw5Sfo1xKEC,:?%O^;HiIc(n~($)_)c(1JFG rysMf` 9 |vHcfYˀlՑgl[IAh #Ur3?13bTj'ԈuFMh&1+?2~s],l_m7590_'/89CU^p~ó ,Khz3h?QNipz,q9G{\qMaR*~B?oqV*ѝ!395fy`Fd,;v$3&D`F.+\\ te'ϖ~6/+q32۠`δK\avśfagAkL{.L'ϭc]dpqڛǿrGLjEHݮtŗꃔqA4|iaQ|n)^:-k/0{W-Q38uh;|"BJHR5a'sm@O9B?Q nĺaGˮ\JiSu"hK>UxxL%(|Is.&ht5睍3ϯoVnK S:f182pgzbЩc᭒&s3ыܴ]1.Sx3,PSsz7tp)d0OmTI\n\=ގ}/rewO>`3*83gڃQ~#cޘZ9]8#7 &*;v! Iu%]t$WDj$a!Qݑ&C *ʅhV.3 9 3ȿ*Xon ): J}FSF95i~a?ޚjF _0M_}) I+r$Jltl]¤C'HJNSG8$!;L0n{M,ϲ,dPJTPW0)~-i0OaY]W2ңx(֧ :w]QT>7)TȪp޳9 2VN\f̩tq^1v2)V/.NtkԵ=omH<<56h\m;x\Tlp);ӯ^dɮ|("G5?gBfCӯG"Cr7#,54{f= կA[&lj&Jɰ~>A831.$lw4fg$$Bͷ_2Ci)DٝO݉Lٖ0+&kOhe00U"ϵwN%hlM+]sv,zTJgY'y?ugbTu;r lF'4,X ?vQfvx^م6wn=۔*`Fw0k]=-Hչ΄ZnA0':*/|j73rܭ&;= xa]Pm ݁ :],hȅ5@ rywo@%/%rto st,x[Mw~8%w" ib5<ٹ[yIUt!1 -3G&r/7I~dТʝ{~8Q3 u;9 S9a=%Kn=!#@#b0^ _!.tTR !Km#3֔9, s?]8}?jB{s'Hm*fl&mB\Hh02*RoWG ¥dF6Ý\;ODlC(}YD.N4&rgLWᷝ,qnqXh =)KLF!#ƪg@KLrTLN *F{"JB,c\jbD>z#G\e1"EK4o|#eN DT%Oaն]E;nu0Vv'c5; ˛gW,wA\N,-ڥUkwJlwPzggf:o,rrKO:8th&5x vG-A8EAл5\xݔGPQC$vo1RLR}t n0/ S-X P:ѱrGDADWԣi)$fD[ k3/m4'vW8cH}ج9t}«k0ym?\m>b}m׈$4/^\j=uRlBBVaZ)it+A*(m/#-P*'`QX97 y]*=&$G!jUE ЕC{{б/ zC%DWܥ_ /.W'["Ng]L{'3A€[-ȭް!15ۯGʬ 4z@,w#ԴP8˝e -y-tStF2u }:#-.x3] ,p&۱мV'H, `R gmƫ\:#y/D|ͲS#`ViGeґ 6NK8|>"u˥I( hb ~tTJL@FAr 9qup&OK v#bT4i~N,nH֠qs{28VGMFrPu˃^TbaKk5dBT!s[)HơAJQMgv,+ZUɾ&4 u7ӽ&)~Z) +Tjaj: !>-ݸ3};S$jG'I {a9%lww!xd>pvS&kgLG&>z@\y;.4L N_Ҭ3,,yaE"o"e RO{:! bY"FY£&|sdxlbC;JIa[~K.dР9\|M.!tJG_F)/R(>/^Q0kepMwΊHz~/ 7z$fi#=xǏMHR6borVQnQ,:SCz pҧZzVpIl4E()@H\;ݘJj֋4wK~iK:֥N<5#J8i^.V__cQ%n=!\ߘoFa ](_6K'.=p6Mi4` qUONTĞcA;y*fO˪Dy ɣoY6O |ζ8ƽ`I}?%K|9#"IS9*#Fd_4T:,HA76m;,߆Ç& [zQ@ %ɂ}`*{x[/ƩE\=q;[JwZX 2 : 8qnJzDkIt)Ndc6D8A߫uu},!RGM0%Cn˶4@NXMͭϠAG6rm3 {W.hS 81}|Hmx*W)R던|*;*/ c\ߒ;j.[b=.[ˡ0HtdV̶0z)y'!Sb\ `KUM=`z$wң\C`m_y~Sߢfe?1͜(*I5MɀIX!@,^9'ˉW1~HwgFJ lu[!)F[O3bOY {$p@s'lm5 yP>oOX㬗 Vπ>(E)jURǗݍAW+yZI*x}#%]oQqn!X hK:x@~$}B{jhTT5rs#pǝr&hw_-v"¯uxjM&Ls~-1BVv Lku 0*/X)0Hi}-2@=#$ Sm CY;('+]hY+ L:Pes߹%w{%Q'2=Z<Ѫr \3Ny|V cn *I>H3pwxvW˅N(P+{|vdǀKm45C=?Ϫ2`'6@)?ɱp[ ׻P ,rS c-ro6Rn<h-~Б mIJuy`ԞQ қP K='p(/X 䋁GofgwYq\򸗪}UID d_H׹r=(TkU=9Uj>>9 _j_8Y{oh&B'MxmwqSy87+*31eλ1R|.!4Bk:'Z!g3衡 ji"rsBBidYgx&:^{A;ZTBHS#}7 #~[|qd?Y7#&SZ<\\?%cMJz! үݔD`Ae_|:^8Pa$mU3K㋨k [aimx  '9.G pKOtoHb -aÇUf*4Ǘ>bjvrbo~ܗN.]D.\21|#? DXe^ˍV.pɍ7W[ YQe/r ̱7Td5_\|+UZd!NoP<, x\ e[SM0I7/W laL?:͸Vn,;;r_ဋD<2"ZHG Z#h # V0 k e򭸶 B rm6X:Kmlr;ZqP+gg+AEekw=|\ޤ$M~782n-gYG_N( uQ6աQ?$t.Z0s 13qG%#$6v&#?~MVKU U7\Rz\@K߈llIgc4x0C__V[ah!6^m >ݐ WR,"m@5M׊$ݵR/ CMx/ Lnr{b3eh2Ͽd]OM:tw-JȖZfT:Teؘ!1ETTA/;OqX/ lD>?ÍuӊH^QB'AccOq8$!]4j xd^ЪEuph/6">슒cWFDPӘ iPu2N?ZJ"BBIu=kB%ͅ-|\V K<Ռj"RIIG{={hl2}:o'bEg31g ~}[ˤwa@g1c5bMZarpS썧?HNi(ܳ͘aineR&#ܖr58ݐzKq]*\8єAwfm+%m(c7h1[=ꬴ@4*G~Akq>m`D?>`"؁kL8Bz]IhT;a Xg#I  KϪn\Yq &:}쫟y1Z-Br^~V"uG;a7YJ/%1,Vf%${}{nJ#X=e*&5~1A'V󨽦o #GAӶ]yGb۷aKPk$c9wx!\_-#ݱ"".J9լs+q[q Œ@csWF{nuox`֒ѾZ$R'#sq t lтl*0\@ Hƚ. Жw"~D FׯJ}a{w 3 t]UuE TqMsZ^|Vl1'_[Ɔ/fPu[N:Q&My2~(T䢂R++`ww,/8lXB@R.?ɌAT8v^\*' 1{hAaQ.$ wd %(zu+895k{.$wSM=0`0^Dj3b*g@bq^:qR6z *u]XO9!"8 =9YD~bRH Jvۯ/CY1JE]@oc%M"Eײhsİ9616H<+0rM@IqXMLyBC#H/*{3`L+ZnU|{+5S^N 0GiEf);\930[ ->6nr0Iׁk_e(=_rXrޛs]|g5'@@uAW?-FZ2`FWLW4t"6Z xB[ndc3Z%\ۊ1(Jt%&իʎy,fUT'{dz)4b J\[L(2pNHo4l3ʬ&ڴ}u( D3wd\^ߙ5 o}x4 WE:΄䙟ztJ\:`VH9rߋ>4= ,~bE-uO1eJ'%h@_ICmꖝ#̎t#3:2mbWhJSqCh$xQ:.$[ȼ|BƤ@JZe[D'xw+<<h19$gx' 7L$ee\@[ z&ꊗ!;9܅GR+VIjRQ?=MRwjȜ_;koڊ9lfPʓmM29d]zDE. q./]?Λ&62VZiOIg8łi-bWr&5!N‘aՐ.oz^XͥM}YΙ64*Ub`>G)SV͹v~B +tse(˘dIhncRD"s%vͿjkW/3Z&,tbx굁*XYFң3-֕ӀX>NR!޸.QƠuj1 IS7Z~0Ug]x4Y1sJVk6ov Q;#;/fBڡW~eQgv,c 9nsAZnrkrm}3q1"M)kTaveZ4 MCuгJUG›o]3`tWw)}/ϻZ @~jco-۴|t J!k]a&:nNWIȸFJZ/RZj(8tpH>i&СPIASoQŅR~쯊T1+[6Y NxF\?`4_N~&CovC2X!nR?xS(]3},NvQ~;*')#{Z ϛ HOrfcK}7q2-؉4a|b2 y儛gXEĀ!Cm@ZM٤ڽJ`6_m>!)Xa{JCn: $&1e 맟 (4~3tC !S ePs}U4WZ&u50(eqt \Ƕ6:-O!y**W_¯,C. OJG TuK!.=ppOͼunnEKt3YM -ւZLzٵ.Wqo}EtN.ښ]JGf 'uwQa5WN T3Zi$cf$[V6 и]Ȼ5ÖZRz %3vlϘ:ESdkڬˣ/*@6aNS3 :? RwFfk |xHH$C8'aljXrNM+4GsV_YEZV #rhsls_;kоc:ķSv')vא WD`W ]IB0-1x!>||pQ{Č G˧1OVy 0΂FW~IsSxT /So7p<%Loߥ!YYj0Rt'T'&T{x)z H_*'0(`;u%G4GxO> ԫhv{p18տ33ta2%="@>9 S^M;mHR$[xsvx%9JW>Ey޻vt xCI#qbʑ"G?^xV^%PrFalQ4ϽX9cI(1LgiLeN#OťC[uM g ÒZg-N{S4MlEoznϾlae+@N*Pjjn{I iq똜OC(B|xF¡H05+yh{8iv#[{POHp%ǟt~n\ ojFQf4ua{mnO|v'x2h-fzJȵS ٛHN$LrM )]^:!-07[V8L"Iv_$2'=slݾ[ֶL ةaY U5;' SssY>IGu9~$ZәWhٗ]BYӹxH6f0 ~"K0!%eԐg|g%A 45#4-# #ZcWu_M n2:Ec&Y[#P $ǶO$p]t<9{ fo~t$z{NĴT=4t9`* ؈e |d$< x敔A' uElԖv壙8\jޥ]Px;*WR);dFz^ &kacY+jd*>a^/t'и&ȼ2ACncKI] N:Q"P߄hy5H2%%vk+S/p^A0˥wy'A4hwu/]ϙ /óe#嚕 !r]