SQLite format 3@  .  B p--tableisabelle_exportsisabelle_exportsCREATE TABLE "isabelle_exports" ("session_name" TEXT NOT NULL, "theory_name" TEXT NOT NULL, "name" TEXT NOT NULL, "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=2elapsed=471.990cpu=825.768gc=67.304factor=1.757zXZִF! B]ŗXf1-/6vR[;hdgdfY30Lߩi툛7[[__i0^8Ci|!')~V8?D5z# q0{Wan*b,V}BGԤ˒c¢嬊:='*^LٵOKؽ[wljNY_g\=rNڏxюFmDӝ~b`A?E^\:֤[lCb)1{+6DFjls }=JȭI#I,]Da&Zel><`*\__eߌ+(T\D= mHHXG7_9gڻҶ"k|^|*զ%dT%!0IE U]4 +kqis_?T%>U8^6B{+*bΒ lSl>.388z%~!TMBuTE9j "!»(Sr=\SمpC 'ykIRWTL%9AD.kr:%<"2ʊ^~'MDt F#ܫP㑙MQ Տ6b֡:>/ɤ5XcJiޕ6f"7H%l w1.H6 ,V$sϓR}bhA -I?6.X2^k.(n$0j%A5/ZIڏ r F^}ǦPԀY-q8htw9Y8x(K%SV)k%w]oE*o6䀳^2/|Cd~w_b#'rĶ}!N`64_L?%h ~wptNhpÈ=?iʒBpmӫ%JN3OHOn}nWupy'Y/Ɖ!`M34;%Ku_dPFȊ!Gq'oG~b[˻%`2MAq0GUoCJ-> < x>5,NGxW};"z LIg*Q0]σdX*5,Qp%Z,JO>jI]~ГJ(%zUd_д}6?Lߋd{35h] !k\i+A_>o) <09_,(GV42# 狊YJ둅eUuL` `5WaiB."FvLy8^D. f3{RH{'˭JrY0V6ݽ5W$׶U VOFP ot ͱ 3*ak߆(amxpm7BRT?Gq+8?X^C DQu߳RB[t6 &Z܎2l<x>*8߰y5+GTmNwS7x0ƌAeWxp n_( I牟Hu<Օ:W+kIZmJg~E*jHR:}CJg 54w薔,AP ~B⡶ir7u2o$pFRp}nsrd_ݨo.3)!^qgqjm\4t^J"2T/%->JJM_>]5^4-BHV  ^\1BB-1&"YQrp~']4W L]oQ8!E2Dl&ԹF?# "A@^*aSsyA%%9V![~YQe4/ P#Z;__(/Ļ\QdPY,SX5ݯ*2.`Vh;sْ-K(_ZRK'oaO"?,K0Y5W!#+0Z$ci>)cmY>qi&xgi@ "[}n|^EϱaH-MY@+§dvG 7ڀfDi#B uIP!aH:A\UEncDR:17[5l$hq^ Ew]t 蘢"qAEx }hkFT̛0}IO2)z͹UTUdp^1a1m 5ᒚ6&N]= W _3i5N4OYݫNZra?j36qbxV0G\P4Ye}F4Ḡȫ,pJSm@eByUS 'E?ayyp"[lvx=ovonA-緈 QTXe ;`  YU-IJ6jZ7ŧKrՅ:cd-UЌC7_Ӳ%=%곕'%tO{֚ =f2`$4`L{{ pNa7j9 zͺ<B lmFfOaYԌckerϗ@'nf H/$uflJĿ1ۧ{I~5~C+H8HP<+'b#*4⬗1H@Nn[m3WF8Zf>Wz1Q5F]3m>[! ')B<s4/,@;3jz& =$!eAVZ4xÇ8 | ^ _G_wYHRNE7I4u.vH@T"ޘ 7Ql {{ BU! 9J2cYIK֠Dwel߆3nS[e@C?  ԞFpR{7v$~Rґ]Mf%>EWYNYwݍ)+>t|"1BX5UXD vB: VIR @[v4 ?~/66d %&sv iXi4XOU; &\My]N)s((~FRgm]HsJ&Ӿ}̚ -$,j$gYZ7zXZִF! ]ŗXiɟ.6VPKDM=Ƕ?:ae cMD6B4%\P@)+2Vcp쫻'&܈6y\pȃ|K!,F]p}側\ѷ6GQH gYZ7zXZִF! ~e]ŗXi%>g>|BVcBC\M Ak[jQ?ڏl -= X۵%a97)-߹"vyvO\qK}uYhm#nT ;g*hXC\|ǾI Q6#FC($NM7c_0Vڧ΋.M4XwUXThJ>hPXd$|DN͂5ViYL ׋]hY֤Z#g]=? "%`=Rݓ*+À"*;|Fߥ(,ШoVDҚ˗SR`W~<6MSGW(~"3r2c{ M0pcy!cBm{pj6KQQD5J ꛔz2Ei@KBE 9{0in4YzreYͭ\ W>OIw춤0-hF?)yz]ܯk󆫅>'x.0WuPW~N҂ƑԂ7V:J%". nVM ;Zoi 5lc]ה6O ^vpkVmCkDl״F,x cEFՏО$+(}~ w#pp_hMVN%nJ K`+Gj f(-n-EOvɺ-CkןMvn/&hbQ,)KA KA69-k:s|иN{׀V~rХhAia'۞D{?`*ግYa=l*C& ,'Cxwi7& u 0ÓW6_~ҏ쩔C*m^P0#Np2?Seo]HMv flqe_M.W[\W 䭎I:ާW]ȷ9BKFisfk~]HJAC7>A\ʨ~/]QL.&zhhsX%>wLizo>kwRc;YDbR?zrj_2h'e6ݛ"q]U$uNQ|@S0aKsJ} 7-.dy6uiwbH*Cz:$r1{y3AJ2ϑ <_Z!FMzs>M:F}~ÏZ5ڰTu*mD_$eAܰS\¤]aiZ'vL[ Yv5IH~ko-Wٴ>n,vg<8)iwByOLdmjmZ6n,gY=nku!uH+'\<1I !߲q*KewN_$U?{ii KK.*,fM# (-13-:MZX`8voˬ!wN.F2N' 뿚h%FG'-b74;s1.0oqp(1&Qf0%!pN`;WFk@4DKnvte.#⯿|s?R\`>q1?MkP_ e7tAw+sLY$1Jnc$ 줈*Ү8.ߑzM3ⶂxb0)|S׭y)P; xŲB=큚]@a@12tU`Ak<2Y}C:@̙@-9~ {)fA#"Rv&xF6g{%)6dnp9oeTbW7QvGxs}Ht=DԲ[X!d|'Xi88J04CM쬬-\G^a21&hϕ 8W@Wu9]" %xトqge}K:9N|\u96lZJ D\AGG^vsb\]k q4g!lQgu lUe-< fd~"ɣwqlb`62S,)$(}uQ9#3]GmiaH. &R J\'̦TRa埏7c.nN݊݇*8;*|3KƼu^[0)OWer&F,;AIH{S,=9ԳB vqHKe}ik6,.|ԈG7'xl$SJՄQ<)VA{:| GB*޶W͢ģ==Rh2|ъ% fC%qoU=গY?_mŒьiz/⑉>wP1:'40-\qN 7NCU?ғs3#05ZYD( KIkWU9vX(YAވ\`Ic)X<2+$cQA%+]tRf^w.@+hδbے}]a#up**urAQN.:.`tc9jcz4sОJ6SӤyOCT;rK(!]$;ka#̗c?e@ x0ڵnu}\ Iө!O+WZ±YyLfI;Lj٩T$@[L<_cr~ӣ8|̈́i)ux~8kY9PݦY ;PF17S!"ZGL dEwKEXg1q" G#^jՋxV ^&#VIꚳcUXxܫmtѸ '+YKRav >qzʷ^e" lvd=@!= v׺w[ 'hkDfƜ Ar_Lai N /!_!6JeWCY c_ MUB)7~"j(3sj/kBJGt{,h3(>K2Dz3%@1; GN d5JsD{6&ER]w;&6DW zJ K ]`gs䝓}/+ګSxg}Fᬆ}~ZQ`lMEqut55XiCހ.YaϠGj&$BQo a'IK mNn%^mm zo]r ;I|GpFBcF=p_LunjzOw_&f҇~_o̊={66jnCF:.k. %єT:qXN@ JTvJ>F'v<N9GC]+-fظܜ7x3CBH_AYN*&{ WmE2]@<s_u0HUӂo0imķ%`B):g#=x`:&EОk$J = Ĺj|yMRr>-maIN&.PF6pILDs=gd> c(ćR NޅA^ AYrv>S|JLpsƀe#ݡ3 4u%x$/( Q6fYGH"oٕ,}bKyMxfbDk F%e|+U;n("OTsYȉM)Fs~5Ez{mU;Qfw} wz$Oe?G kSGͅlT]K2lኟ^4NjkHY~jQG 5 v4] E@D纕F9V*p$4י>fqkl{ai~0 "#%On];Ҧ! x1 fK?Ӱ&O΂DЊ,#0 4x buӞ!U6湟?~jv '21cX~G! e#j!a@gzUbi'wHoƞ5zELݚsEJ txG-K;c|jrF:}&}OKf h`"ݒL_U*ه%^V19S#G%oY[Nn,&gѷ uʲ#KF:'ΠÀH'Ԟ6j '48(݀6h{FSSXM9i)t)PY8n7ȌwCzJf%h3Vi,+O"&,94 ٿJ3S#-r>Cyq( p`a_ ԋE:<۳a4/`xlZJP\͝tnS 4Y NFèht6 sZ%SzAdAf3'&ˀ7 T{m#i@=I&fq/H^_CRUD;_?) 09WtaR*)P [Wמ($@SR2A=!tnE\[& A갅`"!e`[{zDy9mJ1yI$2-?["(.ȅmq:P:`? K'fw5ht*DC6A!F du:O7e޳qIUsA§)%/Wpϑ _V_-1x6E# 8'/>c&?R6NIDA_yt^Y:]H0ğ*@] ++CbsÏP}7zw:zE:<^eaJm@\o ]ͺ;V)KBIk_(T]3OeШwjNU.7R=LH6S˦c,PWGjǫ_3o'݁y~Au jFH pax]Պ)TsjK<%U册,"߇3tBdՐq  fJ=îѴ"|H_<  & SKR|4NMqlc;9ȥz-ާj}=vޘiKn(谽G@KqgN|m֒é oX+SGd ==2d _/&m^{{ \xӌԷŽe`o[tAͦ {Mo'zh/ o9aQN^c`cuI;Mʹ+_5Òih/BoyUNQ3yɒ SEfA(8+EY YI:93%,#pe9o3u ljk ;DwtxՐn;6Dʑv6$uj`qxgW/+^>u >V 3caX+7Wy?WnzK|El8YҼV'y͢ {:,U79yn׈Co VHAgc#m!?#vd!bCoT 9d{acG5M{E%S/eAlyrM#^XP%t/b+4tx}Q!HjCl(4aYE\Ȳz76-H8gm\ O:`B̢Cb3p }Q۽넘԰`O~F(,shg(T>%Ɗ.0ÔR E}_[l{V M:cxOOg0;)n/([N=N7N%Mm*SdƬf#jIYKWOblhڤA6÷rk8⨖:rPkc[; s#:1;6cas`Pj:p3/j$#1׮ɚrǓ3Tn Cvj~_i4TYʺJ,)2b=su F=ҴZ]v),*~%gEᚸ%T *}MY;U@5(].r~˷eYq_ 8܄ۊ)UyU%t0/4J oW<´ PuK%=؄"> 0I"(>}P;LFDam~@VCSlxJ ?j»t&&ӾXDT|sP/$/\MdaG//?`8~8{0CV%p^nɃމ8d4 ]u}hE*C5j78n";ꦪ[ckUs NUŌV !R{g y +m;nh[}iד!`vvݾ$ogqGg7egayx/h T&іݮ"5.H*M1% 25'١}f0 tE&yeFϥ5+t,/^!XfǀRGɐH l "LXsG(!A֌_c=2ot /58F:|o%@ʸh8H&Gٍ YurՉY JFEPAw?B;F xD*]fr7y|B! Q-Pd ~D:dF 5%cRђrz-{C yO'-[#z\"ñ"mg瓾͌5z,h A׌C|*V 8R]9GM@!7.@3k$׭ \.ќw`޴BW l)NkiBSs搟\\E?ďguRlM؀qD6XF3Yzvȩw31m~:sfC)hFe}WX\vnڋ%W԰ȹ@;eo? Vw %sA?^ "u DeW @>@ʟh*K!;~ EU5dED )>QJWB&? ViZ"| S07փHaw!>n"44ٲJ}T}?UQ): e\*9@. BvJ:}[$w7tb%am Z-ǪQ FR>N>SnCe[1݊? 5+ʡ ]jo[,ܷ_,ISa@^5N6b{dg"C¼RluQ(ڷ55JQHgكD'$A{`Eh LG%wM u.r3>fi7j5S ͚p{M,e O;niQ.S1/So2[_h/}W.MP(jk}S"ҕ#vpp ^NrSmgA(NjBAKn (PǾI̅KMu 0Ѯ\4$.lqU(`mBNġ#}Kf%t("3A&S\\+3Vȉ)e(<݇,*@ߋynNHSk{8@?ϜD[IJ_(;gRn(b?+W:%vo+%WM!J>@.?t7 p1&hAh}js2zT^~/q"㹈\[[ 1NS<&)srS;YR\؋plQ<rELOF)`mG鸺 @(¨ew;(cGk]E z??/0&#)[./GD-(r_;2b3Y~^ZM"ОF'A[K]냦_p">sTkzcv9>{[1"5s.|˴ORMZܗQ""8!'TG<yЅ=Ks:_a$U&#C}G]2,GJp9wSA6oh(oƾJˇ,,Di~B_-4xb< Qգߛ̂SMxd`Q|NcHD$6>Nl7ƪtc?⃜yo`E 9\`_6pY9۪G@O-ISKuP-j?R {穙8r*uYh|>lCTP"/&ta<[h֓I5Sy0Swl[ݰy}rCW?I+q[;JS$m7 Ʀ60ejSR>mHJVPH\yR^ DŽ;ƃ-!kZƦH5MqE]x XkPdULO*YeP#M%%T!\eIUVl &Nado4IKrN2/wQsCxߚ ť."ٷaVD"dcp~@{HSV85 [> v39ib -2d$p ӧƖev{1J?X9MIf 3G_)ry݊d&LEKD16ocԣq7N$oBL_PUش Fl⨡ }pnu0=ǣў0)nT31&=ʎ#g' Uè?`RLA.7$MF4"%hysؔT~]{F\o36d$e1vۇHk|~ёyFH.'Ğ%?kֳ(U]@ŝ8 6'k2IG],\^E}%RmO㤴:q`;3p>pkbM$B 8)a{Tjty0T*#ԱP 8 ak$ y4`,=gcλ~a>SeM@~=NwrZ",3tve #䀵o $RoUZe,&lκoIAݶbr󹌝6,ԤaEanQk!_ : TE}(pܞ]I !JDIAq6o .6z`)ڧ>oZQ<S vQop:۹UNy&@@x2jVEր[ߘ)׿7[9HAҳk81 ҨqvK$`:W>ZAPpR~+A\V;͍֔2`\Agdᦂl){IeR2>@~N慭iTI ʢo(j0!@rRm&rt ^AY 1p}R" (`E;c)i ^:B="f]g_"/m9;&̱%<A6N]=ܧn޲cUI= ^AicV@=e1<06.]H耞YD0x:p炿٘_%̽AUҴ,l-pWT%rOjNW[]W\Rr`4j P$@*J[##H:n;VyIbDPw_^pY}ynU4tB9_Y'MuXΝMfsn3= U.UHNc0U:YqwJ5:.xk:GC@` Ai!a;ekRp:G5{:[>Dj8)]z|mR? ]d,ϣqk6d gTens ;nujybGa~s^tF g:wTq0%CӿWH 2]MKw}+L]T3ݽ[9]"sƹ8VM۶ :EI1@*]ԗEYL8w$-H*[hc{0IP yzYwYܒ\RLZvgSV֋RYoL w+=Q$['sG(́瑤$!q'CR,3P*G#wAE ,02]ywݯ:C3>X0oeͺ.nXX^bE-M`;=;N[inr >uaJJ`s< ċQ4陚gJ]X`J.D'389mA '@aԐo,v6?`آPY=&[v(SMћǫoB9J8a p(sQ'ޏFƻ<7Q賘1_(>/#Jܓ:B3 ^ G+'Jݢɛw,"U7D 1kDQ|[ܦt3bG(w57K}61 #oqLRnj_D8S+eb}mz45>œzsQ%ސ-ID)tzIrTW=gCAπ`S+!R٪߿:΢΁P^b7-kqXWu O< y<5 uOK]m;&QI ”u&Vp8g~Eʛ4@iT:hFQS]uoEP@2f@Yċ- KFU`VNa.!G8@W`D*agKG5 KhD'n u\鬛 0"Z$<35)TИ<>M4$&.Qf,,E"o,$e@*fŖeqAc)/ҔX,M%(= 8/DYJ64ЇlR0Y0hhX1JGtkG~i&,%>k&6#V@t@0!ٸCn. ٭W08U MN!y1iog _4Uto5\/Y'܌^fz**]$jmKJ)Iئ>k; k )-62][$C]Ԝ-H c&Ecj$6^'ث% y[ze21Byim~' EҁBoeV@ck>4\@_Evld*mYJFF?ha<@8JlʭTi cRp8dQmXyQ#`C.Ka - 4`ϡD")"6gq}+Ֆ3Đ,<".B0[?7H"B ;.:K[pH 𶇚ɏ&mJ[#z OAb %$%jn_vJ0xP>\yȵ۾8zmaLe!CB47yIOe}狁QxL37zO_;y\gk!!DNT Yι깜V qdbXMW&'i%+qQGeuh8O]gHGX30bʮ!q?5Î;,9RH3V͝yJ;,uhsXfZ6[#;ԍKdep=&bK+}g2`Zogɳƺ[<5/0L氉1A͖tAr^A֘! qV֒#'X|? ::(9w^3\0y}gp">H4='< kY;HլL ?MCx5]/ Ke O؞-sw8x,p]-: rm7 y"n*X6x(z;Qpb+% h`* h:SB~B#f5OXڰ]0iSF| ܿ]EͯxfyaVV7-[ҟ΂W9g\0&2>ZΊ2^J}M VWfULHvbb.e,FN h.G1N%,~Cמ3Ha޴өGOEnCճ?y]}uv3 dmYo:=`*+z̻.`_`t5q"f1 Fv2^I@U hŸn[yZAAfoNf 7Z[: =N! x\ܷFkWV  0G*kV-Đ0wv0uu-PFCF1jGH<}:OՀE:^+HxVl̻6 ECQ'#W{zbIfZ*(R՝?NR摜r,)A@eg '.ɇ,,()|_ew5/jPw6{[as݌&:ɕ0ؚn!X {TpH7̣@Ѷ55~L>Js %rjWoN"qɘ~Αo Fޣ-"0Y}Ɉ}*8ǻߋػVJ.W_lNa.!h35K&>>D?N(byf͹0 / ٣'oyR +>0 NW@'Zӂ^(t#l!ՉwhO}˂`5W,krU D͘ hnAE{!!1Լ~OQRMDd5ǖ5j;ѳBuo\6DR'vߘV#A4q~J_90! {bpKG}4dmƛH>\`b5r1軒K8 ).YG泇o}C+%:a-*{f4Ot9@U *nB]AL rToޗD`F>1%컋=@>7Jɨr_x s\DK}'j785k9?b#\P\s>/bG$˕wCQebH,ZI$%JE=-= SGƄ#Ƈw;勒_K2.g?é P.IWcsM%/YJ7K2W3>ON?nȰD f`wo\p$M@/)D{OP| i qIQoLp=t"KJ˄"eBpC?aq$$KF% R?,]YxA>GA`5F匊&sZVߊ6Obҫ=⥾P>DRALv<v;!v$m}h4Bl]pWR%"1 ^Z{w51 !N@='``cXH:O??uTJεBb&\;zdFI,{&;"=iS/'FX\?p9S]|(]=ՈB6нl(/nOL*x-?yZ/s4W˝854,:5OB-}W|!0>08wy!#F$U3vxs6EϬ` zB"vb_. E|P h$ӕPP3zq ҷ|Ueχgtz3`I,,e*^ꭹZǶkpgd^xog5dj]ʪ4`Ck{$2lB%;7EmE6UFl 9cna*5V`?SAӷxPյVꇋR` RW# j2DL]e@U]AŐW4=܃k 1PO.q ˷&2Vi0ߪQ't^T%ɇ0 # M8(;8L |N\GNzsN~aaXlje{H `7;WyI)~$t@U4c^U'!M}ʑ)&RD FF9GvJu{alBRi~023*R;SM~i˝feδQpĞt({4U>1Ӆ)$So#nX2șxYE42j`l Q\Pot`۟ >7,nk|)-v:QI%nyewn֐V3Wl -@em"7=81~ r~f=`yMoʱ*m@J\@)7,sTr{\exL`}[VFPVXSľ%fbxKDY,QzϡX]qlrX {8!F֞B`slq:7m8^m9l(Bґ*{VT-p, kA`e䐿U*g]z-R+<.7 bP'7.Nẘ]#E[N$`?[ ̾G'Q@s. UB>:}Z0}&9dlԟ1'%Ԙf_L GQ qp;]~jM_Tl/yܤ[^k?ASBKPTL.yU&` xh )x9 j,';{VB6\r6gdnDmUG W7Y?enr|\\tvc2">vGLsSyӸ^%L& 791=_vVH=>1v^0bj``omLgI.Rv0=HJ]q {͵j(8e1bD\)x&4WD+dFe͗!c#g'i3:ÖyZ8Ų 2vi ,-Uv<Jq jmOYWR lECd~ l %~g "o6)Nj/4uJdK\s9?P| ..F7"-ȶUuYk&I76%6!(n8'Gz0?sou3d{kuHk}'i1 Mϫxx#܏.J }=MlEο? |rG s/~MKV1YaՐ 17ƻS֫[Usbt4!O7eUƥߔrTu&!.ݪ9_n#_B~qUc$$5Zeum{CA8q_AkƘW$1B}jzP(5Ɏs"_/EM<65%!/h# aӅLzrVTvjt6V[ي╌XqB&1mzϡpl=h9FT MUtoPAl,@oC?H?{_AL_}BoW|Q{+q]U]\Xi%ψ, m_llf0(٨!%OgE@ځ`Яn%,|QH0dF-<[T;@ԷQ9jGIkPyƬYyd).¦5W=1W[+3?'eNzU9/RYE(EIwxXDjckmRpwMY+9T2bK YQ4݅X9rܚs+JhcO|_߸6U c@|,XzBbw 7O|Z/l*֞1Hl 0O!IL?CUO ÛU남b<~z0`kdڈ!L?#H5MbӴc!u*ᄔ`-xy!?Ip8VȊft5BA^l9>`շ:*H [Hdbu ۘK.qNC!aOt_aŐnn'yl?^X }CA>~h"|^EcA8 F^&#ѬC?9n"۽AF M%6Q1HrA!%c3q{K!d*gcEpaP J's-~> mZt/:*H\WLKa`]On@k͜NÓz踅3ahcU+5Jө E_*LKHw}`:|citK#N]̾|Κ 7vd4_j) s`Xٱ3#B1܎]*5E ԆWaN,AK:iFr5SmD挳]Eˆu=F!PƤْWJ JcTaD) Fip6*W|rG*oտ%b#ux; }!$ C/o/_~I:ѨAӆ^dVq%-MTlۗS0W+='WkB_6V70 ,l4 . j=-|:3E}n,h^QWB$*"M>@TkO5l4]!oU{-F vw~ 󮎜SUJ- ^"uœy'0QGkЊ9f(T.A7osz28gӸjNC`OZmQT^@ێ'&OcAȧIUEHPRqI*Te;y+b*Ȫ/sx{BHMN&=]s~^P} r1EV|\ . r}*)Id ׿xR3q0%eKU]"5xPFYM),C_ӬmbG2Z#+Ҭ -sÆ_NGRٷHk׸Tww'xLMK_9@EagSdP〓+ ZOtlQS8V6z"ǜUXe`Hzњ_; Q/3tV?[Ř=~Y5鲏Nvve ~Lܼ]ÝOثfN;q )p,=I ?ar01{x76&{BPMsOB\J|he>ϳ$Eeu\ ιK>hXLWa?۫6qƟ}*\! lRڣ0)Ȕ8<aas[XO8RUy!!ngYZc0fb040208c13e5a53dc5309bb43c29771357d5897833069aaf33e80bb8bfd493abc152a39f1dded dc78b241718cbecaa21e6c3d43f6dadbec9225f3 5885f1f569201b0b462a9f3f8b1e15c36a4412b9 be97be81f00b54ea5309b2045c9b145a9f055a28