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 (-,L ]S MonoidalCategory:threads=4elapsed=362.176cpu=858.256gc=39.512factor=2.377zXZִF! J]ŗXf[&MoRy x()D7 ?͔M"7#{AIꡚzӍB^sB"U %Cc&ɓYCKP\Au~^&S0ަ Yt3hKnUO4R dU3y3Ӈ-[1ƻ"6%;XiԨYL*'Cx5rPk0"Ip6ltUOs#S[ &9OM83ծp@31m&R+:UHt` /fU)^ 3D(ªcVpc| ptS92%iO :zúͪ?N ThAϚPIYkB%2ͥec刞.b cSh ɡgj+n`lL&)T$E_49A3@$β~Ă4}7#:Kh@RXZlV~zF3JൗIFARpK[rb+=?<5.YF3֝9h}I ;)tMfw}9!jDf<$emТ-D(FoRrZ4BOVo(bnx&X5ן*:[vŏY|,Osyq12qq<)d]4{)߫!2a*On(4|7frG`md 'xuu79tJ_zoS-A۫9&X$ M'-Ag MRQiwUĥ i):F=,Q$5< /i~!,vHT~f'4hS[[hߠc묾ZFѮd"4KXnKV1c_[B&tЉ[`oH~Y8ݮ bğ5;Lך-<.$){j#]B `W1$ٛS P>} _+bwh o흌!kI4aۤH^/hҲې&ôi)*!w# vG>7x>&.^aybګ^'a2rɺΑL`cI)IK 9eà1%D;,1Ub s!GǪ7;>/sXaamعúw:}:95 bTS1lDCècg`F*5% f BFiޙy{w3,ntd.0"07.B*~hgʊhVw:ݚٷ7b6ORo:8 _!OOb)P騊vMB|`ŵz'0HȀAƭޕ!D 14~&lcXTѣPbŁǞ2Bh>{_b k]~FXO֛?y$Hca% 暺Rc/W{d)/G~P)TW*Aó]Μ:%Б$(N,N au5 j}士e3(Zc9Z6V!& S!Bz^ﳶ9<9#)dÇȤvP؊ѴǷz Բg<,q'1Tep4r/--ɓL}Iʺ0$i[!ߏxbgb[]/'K&"C+(b% ?-dcOb`j.A_#װ]G<3V@!/)lW/i̐#7.m_ tb4bMpQ #zo!qܑՋj?KhyӢ37"ۤ19@\υ}d [k.C)̫'K0q#|3ܳla'w+m cve4*X - MonoidalCategory  ضzJ2r X* ha:'9R#N$1SgcW+DqZ3g&1Qb?aqϫl|GW6anw(1 PuV@`AjAyλB]nXQhIs_ymVr9E Gas$:mhX Kp<,)ž)yt̵]p C Ģ(+SVu{UPLHaPR\-hx 1 o/׮> rJYh:3"(\t<}TrI, *E'0>̽&3NBƚo3&#kSu4):ӾPi)rqzO YoXu 8lZϜsE٘|A ?TAJ`7ɄRIthh}|!j-Inla`ې.}H> <aKA=g^MUO0TӲP1rrCo-'#)LW%(0 LVM{2&.m`a0"=I"vn<Dj;pE\K&. Tj9\$MqMLU1: {3b$׍7d%uC4XAk9zNQh|&D alJӃLڬGwi<PS;&:05Jʖ2"TrMlIDupvĔ81㬂IMԣ|*d(_Yk/v{hvBa+29mĻ՞(~eQ>pvC yxppBRSaSq}b%y*DG;^24HYBE倿j0 ieg(\ EjcU'PW?al΅{[pj}i$QG>z(}4T[!;WG B@ ri$S8)q =DB.LfLykJh{7^ͽ+0V9qI~q 2E®ͯz yAN\OPaVpҪ1Uxho*| i+Bw'jOE壧T||Rj,enӋ3" ᳖H-֊M[ m r83N=0$ZDXb:V7(>nHyŪiHJ Eƅ#3JxE0Ӫuhs+q [ysc ? A74ŐےR1BU˚Ec*deQa{/=?2<- C2)MJ.a)~x #AJ,C=sPٯd$.gYZ7zXZִF! ]ŗXiɟ.6VPKDM=Ƕ?:&O6%xY>Mըb_|hcD0RPfYB\ڹq d`?Z8h g5*Rݯ}[59.ױgYZ7zXZִF! g]ŗXi%G8W{/:]%@+liot t7۴^5<3qM b4BL6J=^z[YdCM9oRJ VfmOYdo)YH]%K)2Rj඀?` 륍ZQZ,EnkVF2XxqlΒ}"%Jڀs2d>bæ8DNaьq7P޾ৣ>nL'pVݗM7.5Tʹm.򱏖eUw_YSTڜ:/irBh͉Z_lK;$jX kkb']`h [_ٹ+^!!`K@93_n5򷔒 L\> !(Ů !7'Ihzlߗ3t?/z~\c xk ? tZ!x-*\_v9ۥ$Fu{.e/IuD }vx|(Hy5yrS^NDZ4U{ 55Mb!fO 2n{PˆlsA;;uӡ#jb8i}83%->ϓBsVc2ͤ,7o*0ހ!N]\F"Nj靕.xa]U\T?OڃOzӁ@E9<|X8&5NĦ8aI)%y*mxhj'Ӏl@3gDZqi-^>|6$z)2xt~l=տ.cvU9V&ھ䔇 *j*f>>k&$=91U}$=aBe=Lhlbul}g4Fa 7cJ}o~o\)bH}*mKliՁ9vltw=(\)_//_/[nc1*[ޕ$Fst>Ř{MƲ/}!y39‰x+ {)2ke* tZgVd}0p($FX]bW- 0-r4W]PhRХKt|VN?5 pabσn\q7ԊmCP[`MOry t~aԩ2t j[E`b4̗<9kՅ\࿏!lw#*q*Y5!HCjM!;^^$VzB\}|j&N96`%F N1alp8T+ NɍUӅ%$0Cjϊ3%J`rVNF5mdV0 I <qr@įZG3RۙtEۏ&}c8FFygwqe$*-yVE:I]! 6x[eB_p(8+AsȔ⇡٫W[(bJ4Xtk.uaԥUP1LwK=7< ]ģ8Po0>!nWIM=ɽ +h'd*u:OϾ 1]qi5HWB v /v`ӁAVdߐ}wLPjI {@wZb":$^bq.A9xkzOʁ`ZeTZQldZ867)8bSQYG_Hq-}ZSRWOGE&.Y9%]*qi#Vu LwD6L߈Vkh=i[[v`z {K]煡B= ud;%qf~f8xmc͵b{A0SkfzwB>JU/7[ݛ/8UYMf {Ieힹ|.RJ oO5bC=K(My)ۅ@xUv >*R>a$WO8sBlD|DQ$xG 4뷁;z' oCL&/ItBAE S(<#~t5źi\{Q&c K[$ >My=g80vIVw( .޾7]Lǀ`yr>(4SLwًF`Hd▃ޥ50b.CGl {3Xգ׻܍ìdx& @qA}ŔƜM"܈9-1+#:MsD+G5*Uw\Q'8WQbBX|LeCGԇPWC[ƅR 9 ӜcOԘ[nөhLv mP\7'\lt Yi*./P#cOv׬N1ۋ7Fpp  ?P3NW3\q@XY_`ۭ214A7'U%_TCKMZWh [sfҤ,3Q}lY籀Oo3TN{%S(OJh80TJϽOhZ7B`%)HTVPihiK*K/l z.= YDޖA0%lq V m~ -xF* 3dT(3eR2ݾ`3 g)~t.;"Ķ|*\!{HX-. ri4gk,oJ=PFdk#2]UE*wZf}.7]Xc.'|n*6ΐ^~j^ ZtK%x֦Y둃m):'ƛ(լxy`+vmS7k7Yl{2,@Gi|ivD*!2<JVUGf ;]l]i&]$dھ۝ wڛW5{<U8aR %=/ZQv3Z>,vx UVUee>$F,<ъycX7@: GubhȈOt^-!_?(q6/Y.W[)5|'g(.CWsÆԱ"M4W|/lj2c[8C\1aCX5\_N#vrDjsM(XJ7]jZ#$_p#\:EJݷή{^=pcBt <c="}3ѻ2 6h6Ǿ !^["a~ sN٫r Yp`J2؋UIR@q12#Uw^S3ʤFV9ǿjt aoT6b\\s2*d.m'|`5r OޠL)iY=CrY3ef)tڸ?WZT_!ᧂ('Qg/ V. uNj-I?#=]d!ߎ3`Kͦm&0`Ho:ޔ)gy]\M] ~/yLo:&/޵?uRÆxSl]qb' ricMH9Hr@1CS5[i ꕉ,^Ze?Ov @+&Ȕ{Fﴑ?WϜFq6W퇼oZT%Go5;wɑ UY\3e<#<>|ii'o)8-@6VlV핝Ȅn`DW&܀PFm+5HֺZCǝ3H&/+N z))Wk,{asQoݼ}13^?A4Qkc#['YSb$ju˜3aRA aJZ4{㱑b&g}V (5u)6Cj&43 =]Kb D[#wd*pR*jp Z7+D-@$/m{sDJPzvC7G(N|>iIK\O|$_ ,&wLp  ch14l;2O+Тܪt&cU/\vϚӏrQq*h!(Ҽlusb$ =@!H)u< 3W*R7,VJi+;[غ[Vȥ=R۪1hy`LF=C_ކ<}pW`w Tud+{ADؙYM/knުռ[7yqoji'>ʴVksRG@@V8:' N9y#Ͽ{t`~yښ܊mOϻ%CFb GT^- ĉ֠MC|&a-'ń˟U\|kFGGc߈9ZxrտQ^t3 D|LZ1*tavFԞ;9h۱W8>Gp ![29W)1Y >Tv sZ\q1fbu@39A?+B:B N ,`(cD8gnVK<"ᓘV=bٟ R2h$0D6.jhnIs7eR..AGc})mJ0>ƿM xpxU8y ih7w# )mmJ߻pFr17qmj M/՞oYn{ڬw,&!?\.C`4NN' {os^^XqU/\dw+;"2ֶQ``HTVrU[Neu,3 AJtlHo#At QNr2V"9w@lCޅݖRVA%G5N1*q=2"~@lԬ+3>]EBy@LQTIl2żqI^/,K h{]}F*j=*+Hj);eB]. }|Y[.4Г;0R3n)"Xi FKFgO@~*+gԢ#ԓS'qGYj'Wh<*G8XzGdJբ45sѓKY}v9P4U,S0{Qseufw:Es'b\==L&cs"|k[0ӜׁoЃ?|l^[@5vnG7-Fux٥D xfZ,9I</&Mj!T:Y(Ru2Qp&J͂ cuƋK|4oɖXP--y|cPmow?4pRVZ(ZM8XiI!:@"Wʆ yHs1jJnw+ch Rvh@2)\f F.uBw8eeM]Jנ]sYQz'ev+ٵcHa&(1:)hW2tJ-'LCBS:=?aOqKHbsԀ! N?9iƔge-8 }_sm/@gi'S=يBr.lD_tP[)]0ŻQ}-ѝ 8)Z1J@_GtCck43n*wcDA)ʠ* l[vKAI2=ȃ#Z$Q`8؎1 ťLQ"6J1@:JF"ևdD8)Yؕ#^LPHbE[˼V77[0g$~͘hnި(^0*dԁK)EӜ#Jo# ߸_0dܞ}Q0̉C cuk c7 :4~.ؘS`PV:wNDS[W<=?.CVBPވҡH>nIuKCl.Qavݿ,N]gl7ޓP苈7Ct̞V 8z=iYuasaGǵVBp!#t>`7bZbTFggڦ+.ɢ~FZ:;H0r9<-\)Wx@|*j"$z!7ŧ`3W:)yWf3Km之T]^nrv$T~VWJ9{s1yi U$zI+zg|Vs?^Հ&\N5quw][&/TP_v"[pɟnT}"0mwGR$t T;7>~Sn/YQ4}ͤƟijݰA 9fB](qW㽉<{wTwżfR~52 TL/٠^A\SLְԚKxFK3@>iw֭äܢퟔ᧍d'Fl, Vk_h_ YN ׹=TDU"[ ~n,JtN@&Yy\F)_^Aݴy,:b(6#v(, *\v:Xה$av.Gmdi$OdvٯZu" 4եYQ(a_9eVyȈjuE_wwSJ!23f&c'Q}2Grw}tan-7ycWLcmr ŧ} ߶:7|#c!>;; l .!&r;Q=4@q% *ǀ/0<5k\弝B }2 2땿!'֗4ڹ3 ynlT6#Zm!q▰f~SFr ]/ ʸ#5l-a5UE} Z^  nb&Ua?QUNs~PZN{zhֽlIq 5,83CO8:p3DSu)l]Gmr7x4M{1I}u~!aI6ꆛ46Dȋhu,MFUzEEQ S-yR.Z`]6`}m/ p E L b9 krA]|E~9˷OORKW 0 +ܹ/{؏῞'(Bq/H"8L(٥#ou;x2Q(!;ֲ?'m%~F$x/GÕX)?ˮp"L E v^㼾nԴ޲Hd/9،KLqapB;RF$Txo'ٹ'֚^J@}S> =41ƳXyqOv6Ln׫.Bz4lR|whQmY4?t_s6'|zdjy A-hxmlnKZMY1g OmBhdzl-c)]GG:j/3E$s>m\VUfl)C=*ۡڍ|Ynw/gjw1w× mf"e$ Ô u bP7r vS}^bqE -$e!M'xrl]R&KF| Sa80 0/D_iycj?ՠ8>!*v!ո:)A:\ŞPߛIRdPGc)xl4a~1'AnB0:6qxy.˼cp`nyԾOLT|7o1kJGL{"Gh9NC{"1qdΰ'k5?~ږ9:ygslfPFj;U" [NF]Q78ipL+L.>>wRC\U(oZE߿*KVF&o13&8H;Qۉبyj(V{}_tH0munQmE~!- rYD\ӗꆳ!F( Weΐ+eְQ{NJ8j|S *g<(b;[sX@eu9H! 2qb.2~w\"bw׵M1K*3@;xRJ\9T$ m&G NP}su)[ytS i,o㉞$>.QcԳ*nBdj ]笧U|=/KҕgvAuhd`Z /Fif*ODd' nZ&xljF^j>DZ}. G<6uye/< ,R&-v041:vPli:졭Ï3 :oe^\,T / þ+ 5? : l_Y#O~w,ݵ@|٢\<>c輖b{' 4W0`4:3`lNc薉wvΜ}. s,q QVB 6#ecd4ך:&%~&uE3a*$gFb?cp@&ÇArEJGVaVG.xb |'4mwQ x]; fl0*G\6P8u2ᢰ1%Y%!!N3JJ,>jm'?iٯt_^ԣ0@8W_!Olu:,@ ?Ar;R?K>W99"ȩ(DSr)wKb OO]g mzvXW:huGbz-oBݑ}Ejg ]Iv5W!.qn FiwC,+%͉q=bYE7{,Fu&f-7^5o`~6K̴Dk`a",%zIbءL\kb}JaӨ0I4 0/h(,Hvk>+0RԶ; ]OL+ 05b6u1hFM- 6 6.m-ݎ֎"2c /(o60fT)a5: n4C!% F(z6،tg {eLn E۾nVNk\xظ:8jDbMu}BӺh^UNK' /Ps#9)&_g8&Ι&Fx{E$Z,9a7U{Jxɩ7!涇 An8NXcC""wcsa_ h]OeX1>9.vZ4wY0Za^UxE`f= "#~V >_Luƍ-$ o'#P ?ڹ_D < c0Qkѱ~r{lІ\=]Rڈ1Yפbt?)cr5HRZ KCz7 t&3֑dx!+8:O1_:w;?0TekF|Y5wӧ)PJ.!u&W]ڸ؊5V}${ndU.ݱ tLՇ\=ΠEwmc9ƷkOu`f ]5<~͈[~c~j=̋}}/$-tE@޷waG`O?6*ƂhmU KkDf0!Kq4)[hf{mMR OȖⵜqbaj]/0]>j2DW% [Yps.iXq:L{ =N,[7!y2a+D+WE`R΀ "H$_2㌔+%a)#U c?_;ݹ2Zճ3oӋ!e-Zqq.C١8m1#SR}J;NM)En$ oH y*ezu\ό]}KVה\T8m0)s.,oI>je_'`pi21jIc+SPrK f@q@rU[˶T$ :0#ü%B.gV`exӝ/obb)$̣S-}FxѤ"='K 4XjaQcIp-k}) BH5T͉=l7pV4Fe-O^bi|]Yf ?np~pzce8d8xhHG5;M6WmJ5~iWgyɟߴ!㉒ Q㉒de"E=?#ebo.ZUZ=A-Gr2浭$28Chho=qESvD _!XcDG ?iJQdQɕR- X\ yj%fȠ8o&W9d3T%򙺒H@@1~\&%}R9]2n6 P40G&"Jr4@XM[–ה3 vJqxʁc+6VELuyCGlTVU> W3o9 lP94{\"All\QB^=~{uuAaW;Pa e{,Ңp&FX_KP}`){7d}=mɾ.6Z˗8Bv ![,WLRz@Ml\] VD7I': ,C=^߭ݟ+*4`.@63wTiumbvoa0 +Ł:P# r.}/U՛odyhdP]KПNa0ّƖ!Z<61798r1֦hW焂z"q;Ry>3/VJ 0ވ(nBrTYbѸɶG㿂V9\_ЬkpzgrB0;@A[ B{KQ+r.3 )RHnҶNv6ADum {fO r($>Z}xJod@&hO$Y$6~QHG._Ԃw EB7>qc\ ǻDyoэ! $&﵃IL-̘)SW =Է}}دZxQias4$"?8aYwfWN/SWwXdf fo`_[3x!حWoYi;R_a'WƕtߛvS'Wθ]]Tw 땋!bc1{zyPzx >oĝt^|\U@ʐ᭄E½Ty׿rQi숩nU,C)Scan inb-E俇Q Ahvj}~pv eޡbS|S|{l CHͦ9W/?*f)p?7cI8}tx}$(KNU%c Aa\]BMܳٔL\Dj ]H^<n:Zp3:I>io9IQ97xgT{9aNZ@YȶeJfRͳνS$t|Qaͣ $iAyaABӈ#Ypif*Vyh1Ie)`? Ǎ\!zw*-RtM>v/@w`qJʪ )0f[wzsk_pܻ׆@A biGDdLi$U/UQCDX5 k|"f֨g ޑ JVP`51d?H˗>28jI: l*o7TL&VT.$N+ QZqOpŘL*]$ϴNpMzss`:,%w`l?*DxT֖iq[ *.SΤ6@.:5Ɵq4[WIȅTo/HP&d;s-Lٔ? KɅ_fO]M\j⚯+0Y,R2ʿe H{042OOrOv!U0vVˤ Jd?8e%εLL J[ rз0=E>Mcr]AV{7 քW4#Bn} JTa2MY0;,̚\&O3BH))^!QBYds~jA(ȶ RX^ح& 8Xl)XJ fN Ѩ&' fU\n$*n:}z ug#wgK@-Ona!M EEX[3 {@L+0bm*.xY !iWd&Y3JK3I#\7 JqcqE&p'C 4~$_ xյ&?CTϗHm1ώ+P!;,GewM DXԼ"*6jdWʀ_\/ۢ4֧mk~^Ks\gSzz$e3ؚr8|: ܰ>ߺ/W(2U*AG,zC61fМ_gQ֞TT*zó \P70ڊ Me/G)BӁ=D,MUxW(?!<G VhE!d/xk.orhvF/^:Jujy`@uPJ03cq 3>NFq$dJG gevwDl{,)􎎕0 pD7s"X@wD7$kuKrHnS Lҟs$vEJ֤Yz;:hndc`de"s`+e䳓6ѻ4̻3X'ta ӘaCkAybFEiNFsn*& I3յA7=RO %iq6K2/Lxk6˼y/l&>[YƓ K (%bWUėw ^-"7_'S(zJ ?MbDaAuHΓ>t~S¬r`AK94%<,]WX_ ZMSeuT!3K[Gj{hZJ|z'ޖO҆ONm._̱ɸ f O焣5wӕPgVYʰN ^7^oY맹,LMh'Al9Tj[/"iIOrz9zQD^ LFź-,N+}DZ mp،ъqA{ۖXc{g\J%L)F$kpS%q*?I#]xӍb: 7H7M X0.`:+J*|)&Qc DٚLbe+9uH;s(#"ECUX:o dSDAv8h[<+x;z/Cm]gk-˿VX< ?-gp`p `^o2I419W8vm-dm};|BG5tͲ}p t)l6b+1m?M7^AӏuXK -w]{薣Pѐ CTYK^ְ$,I'{?k/;-GNzSu!6@s$[aOm$cc!9ҩhu!j87ϮsHۡ$ ؤ p)7RZaYg#*gr'YŦ*) ؟={ѓ?ƣuժˏO;:d7]]:='s^R-ͼPg!хK h_BN{ VC&^_>gGxwV aUWZ@@Q9+QH_h0PI7^F6s=.^`)YEXrYtO=O Ȅly~f>N?0@HzHOx t$;*'t2DŽ& &ȓ]LI ']g$PNf#%:]|*8hWFj#t+pR=‰_IUvE)p|\~ς*t؟-"3?5{14)؄q-nzm7Dybg5eI/Q*W'yVZIG-5}(|2^ CcmoD;In W@by_ ޝg7aZw.9V=;0NbExWuED:tw=]X} oړ0nᝡ8jqhdUx'۰.=d+|w4&lO<7NQg+_LkKa3[܈]w@跱A}6;gzJifjLqjޅNk.衴zyCCevJMĬrL?U) `RU=@y(5w0##w;?\NocɶEԁ6李yh!I>+"kU}7;fCG O#0ν=epO > ڷmM)Wf/WbJ}ﺂeP@R, qۼ/]msl}Bx~;Gzso^*.B[d!f7%Tr2ÔhJH7_C1xջ`mޜ3swRhs8TRNv}'x`9ڞOJP,諾h)+= D>IϾ*NiГl@͋}?<5##@)AV_wdKڳCR!RFت7(ʕx"1au'v:#jф6vM$!zhCZMOgAx/: iL9I u(vypk,u g (Ƨ h.[m69XQx|0G }➘n&2mӰU~(XJ4R-Jru,WJ}[@5sCC}:XC_**ڽ FPnJ~Ӣ/R٫$,^UO//j.Cvc;a5Z]?KpW kpYhzYKVit8+\ظ3.U9+}/˞3S$hi Ja>"<~U2wlk4[rI/4{{K3o7*DsRsZl 3;`w#~K'#v]3Z2DPG=ψ_H JKy40iʽ3„XGq4M Nè{-5#:;*Rׯ $ʕbs~`^x[%6 Da=0[țC-7ו]nDg~o$0"fd5 SBR9b@+ga>=C `z _fihinC͢yR /IIjW窻Wէgy"}9z`XYqknoDY]Մ|A9vwh05}_tD 9y9sMnBi0ZR͠PJ%GߦCGU[}[8<  @ 4~*P)AH >DhW6U BeOC ~ B#12mi}i7إS6Kh[vS&P}rP YjK.yYvuM</"2rNmbH5܋wd&,&KfY6S35!Şvn`iXmOgO@1ES'9_}}K!T )R[3Ql_\Y:[ъ+@|XvUi` Pn!)EY]q2asi! t:Jy|=1cx`KP_˭jMAQڤH2w?ogz~]J']0bݎGh:KŽu'ߩ @IJթ&C:fצIE#l ەJxatYVH{54ׄ ]86Pti)'ԢcZFT>k4KfC(?+yhܱL1x.JY 2#zxXNi!Zqufng5R:Co/I Pg]4P"IW!tAB1\#oJH̗nt52c"uEIhJqWTjx<7YqY Ζ!p/ wSyd 0s+ݻP/97KC6م{2tz@"a&OGXh e{vw44- wIN),d!fN>_ YjsQ}Մxp T= dq@o k'{)NN4]%W+3,(()7jBHːB3!_]_{B> BNOq܉|2G'Ÿ"|p#[Iy_tPe>';RԁH!UX!4fQ(‰), ~Gۦ'2ͧSѬ/@=2U2/0]|Ñh ayz}` 4?KH\eH f6nkm͙]P jJi_RckAB&[hVߐʎT̰HOgYZa2f8a59fee3265df3175f30aa719a41053356db94e13432f40f7b1835a151e11bc124aeab3c9b529 476b8b6d93e3d9822aeb6dfada9a4f4f5a0de682 0be98acdfb5a8716ba4acd7648a32332cb18cde8 b8be5c96e7165e146abf649a2554f463dcdad7b4