SQLite format 3@ . BBh77otableisabelle_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  W-t\ ]S MonoidalCategory:threads=2elapsed=1083.890cpu=1887.288gc=147.168factor=1.747zXZִF! N]ŗXf1-/6vR[;hdgdfY30Lߩi툛7[[__i0^8CZg4U4ֽ z'@ǟh>HSaUO !k$F8H{jhqowNAǺS\; ՔtVR/1sM~'vfW/{lLu11Ӄڎ͙X%18thʗбddJHz+>\6'oqQoT#"l0G9d Pgpa㽂:\ ǔ#Υ8{ɚ ݌~ Q_} W(ߜDD>Z)o|o Ue^ Yܣ*ƥȄ;%"W~Zm e8y=XeW71&/l\`bYMG6as'ҼU-Qq'EӀ̉DeOWf-MQ\&#NЩovJg!-.'8 cPbX?G8𴵰+$48kZY`2# i?`|WGj(ըJXAX@? i@^jOFwc0a 0CͼFp)rE*71k 2Q<Ut.<_#^reF%U3hޚm-<R(7*8e`> >HǶ4BOI;vc7EKk[JTϞDh>>pT1g{ʃv?D,?$VApQW7'fm^ - MonoidalCategory+Jt.q"lK~PyCꥉ d|M%[[|/;i0W*g\.3r<,_so(Z*4g'ҳtOLM t0ǠLlZ]bzgc&ǀWQ.XOeME+^!~xn+jpZ i 냘1E=f2ԲknFӛ,8zᰌ=MCk0v@|@N,EJE[XdPJAiҥi'Kz-lk+q`X9CPŔObF ]cXl^{:)@=7ʂAI܏Z^-"no-H Kmur붾o c(8dznUF^-HBsF ¸jVMl|2IL{ϡ\u2NJHk5=]oνMA(ϑO8";}FP~x:M=xueΞo2IKjq]W0[W:/G_b@Uvz>&hv> ~BȭhG#>e1c[ )ˣ`kF=O\FR"{ }NBk8:pyRڑ-_GȊȉ|McnHƽw7KE”:ijaG`MdBq!j:pWkr_|:}ZOoc 5j0ZG< "!V<4}%d]qwsZ`^|fM9}JOʒ|?{rvd3-EnsҤf uzk2 ( ngs2&O>g8R/J`yOwV5?T;E>|Ik D6bI?0ԯe 4Lwsn55qnwKRb"%*‡3+6^j SDqB?V2Pj7|%#olGoջk(2[ /ri&[*T%bs l4?h&X3Ѳ|S{{BIm{@=ǂ`Tޏ~"Wj>|׷Uʔx *Y$yb=g-/G݋b v? =yhƤX `c]Ž]#g" K7BOkġqOç5G]4~A;~)ⳝM.(݊J2RO13e~Um1 Q>PBuNXiVh szV/0J+ )H\fx[ O>froXȉ}%%#@#$} 鱳Yӎw+e4ĠWkOfFP;{/ 7h7.eAZȏ>ԏhۥe1_&6M&ZIbE+]U+^-+W6~riԀv I#p[-ծ@q."| { |odOaMEUv,iK0&<~b.y;+ W?2+Oѡs!|CޒeW0wL {[lW*z?"=ʃBeIت5o$pCp֜Xk/W)L cWhsյO(ݹ߷"hȷ.~0H#+FJ m7vKMTF@=# ϣx).vճ I5%CE\lN< NJKw[a@ "ֱ|0eoƝr"D*G`qn!C 溦iӚ 5ܺ,ćIiY]$ZvFLDau):9I'V32n7yݔV1ل>䗸 pOK:41ÆWL咆8Tͼc6Dojw*Ц08Xˍhy\)5g|i]`|6ڿ|,ZPpJ`&v4o mN5:9A?Z.ser?n}~Mo6IJ')a2+&I+Ec[FُgH7 ڭ9_R1-,~ ,3ZZ֍Pc%n%"/#'0M:FunәP1ם-SRq/rj T`\WZ6O zN6+'}2;%aDx٧{ѰiL2usWx>מߏT(}^C}LWhCGr w g-[A!$ u{b!.}fжи1a(mc:XL>vN"_9NnV9<[\= ǜ?AX?oU{)R]Ɍ A a:Δ5jl68^FqWsSm}$br7ei% }w(tt۶Ϛ0õţ' =<<)MT3oġW~P^~rY<OdbPߩeexoX_cz” Rz1e-)ly ZFt"2҄*SdZ6l*WZ ewl*96n!h)Fhܮ?j;؀%б'׭ 6+ϗBt;~tCQmڍgxs/ںOnG73k9?ȼ\;^@u]XX(ac6$gM d{&,p\dHH<>)=?vVzZ Ƚ hhx4[7Uйb$T,YȪxշ aVbJvUw ድ',37sѬ,ѥ aI"hz1A0d]vfad?rx"yR0Wz ~x֋jHt'/1[׸fvTCV`oRb5)"'\my8ʨA K3Mm`\ӗ6P%]K@MOI$Y;:JŃ =wA,GF|Raħ Hłp|2GX\K.QL)bmbIdf\A21.Fh ,03͏L{BSLÑhϳYӝRBiq+`)MiQV Stvt\yE@*z>Y=- U̬Itd#*^6EY 0C/wYMgYZ7zXZִF! ]ŗXiɟ.6VPKDM=Ƕ?:ֽ! pz".Ả GVN9!qy~Brb[h.y^l{g~+!V~N뾱᧵ڑ]ۏHL?_gYZ7zXZִF! M*٨]ŗXi%90øk2 3hZpBFggvMZlzENE{G`8jVFĠ k% m]Gj&mC dD^U&:g㙞&`bs;x%TNlQe旺\XBCǬ˶kAP2u/0X+d@9жąPe0bR]- e :azP)5K (kH#`f!dz3^I{$n<~X7p_YI,w2Z(J$Ls3P{OY8hآ"WY? ڹ:ޅ޸sV]xɁl;02K. ܖKU3dV |3̊luGd1%wMuo7ۓqZ!VMaY1 T.'P67X@hgu]@?Pl9MXN{gT.@@3x7O"".5U%+ŸH(HO]EѪXZ С.MO6s F/0q@"~N dyj0V\𺅮&bK}Vm|;ZfDѐ͏G`*^9l?/4!f '9op (`SV ܧ o]C?  ՛#>Ukf1#l[Q3 r1@+F caܯH?YͩGsj11'gs\cަz0m s6WŨ]=:&))>rp~Ʒfd1&`%eQsxI 8y3jt_*ェ4V.q*kle3;$%eQA-PQ]7c0Z'Q߉srH.eV_SSEܝ6zuU 7vg-%_:wvޅ͊Θ0E#q4#ᡒ!lgbBgc\L-+L`H}ఌ1E%mnVt酝jP٭jRGk)5Gx2Z*91 T2epl>׻j16. \7<9:@NVEtUcck Ɛ\aDM1.<$c.lN"$nDKXu2(郓)B+d0ypӨ32&'q6+LӃo0~*?碱\8K ?+ GT;[PWA'pcJ<kޕBsl.'3씕6a3u^ jK܅&tPr QRѭW&/OEu\!O9|?[PoTqxçO\JА8+)DG%ZV\EȣOm&"g躚lf_B //BgkFaΉB@>ÿO`ibFwkH8crutqWt3C?wfgY۫65`vA'4W5T2ť7Ζ}15ZH΋(̸#tΞvZڕ6/w^lVQnQ+`[ .q' R]e4]B>y1؈jIZAImԣXaj5{K' mϦ86X-p$1g@_n!N|l)TezK}'~{ r.9ǔ׮㘑e|_0= tNQᐉaM h@bsnnL0&˻d b1]Io㖀.'Es 7 7Q G0R_ףVa七ys=í7=VHЂp|uŊXMGhpt"Ǯ;ҪTr!PzZu vDRi1O芄'+E~'=kx^"tk|fGU> |E! XDRwHۀ !S+π I^L{ 6a7ZAsh9&($Qe_CnĂ;Gʩ`2pS<< DqQܮTN^6`@M߯ґL[ )b >ᒭ5h)wzoIy?#1x]Vקlu]XW]=aNE;P’u>w>x{BߦC= + dmaNmhm b`macS8&,%M ·Ǒʋ_ao2$D:¿ @1@T~m"Rزg&R+xd|$Ժ1d>-YLLO| iea]M˸p9趈AXI/{6M/s6]kwGYh.6Q @#+Z=@ ջiMEm*#SՔd}lmwgbyUdŕi HVa+kw5hȹ^2lp I yx̜uCxJ&y\f[է;vsJRuwڗnv YFx>B9 AuqwE۵&D8nL%g0@(\QyAq8sːq\b EiW|ՎMeoXYdh%pX7qRNF `&x.Ac_%""J-\'ȋTrH1 I:NoGTĜ|955ڦdg΢8Oa OB%&v/-#-ހ$FE /jJlK p( E=*MMOn?".KkIb5I̖7w byv{+o1V !hgPU#=)q1LCӰB|<5^ bzwI{]84D),^RtoZ?6FDɄ|%JO+[Չ}^*)t-nr J(St~[A#{4?УORMrލ?Z4/=)g9#g}2P  A۰$ƫW ò%d9"]HDUo X+v8@4cuP}EhwO佇XG/._>Ε[ŸTJ3 ezcTɇ[ COy'2,h+KpL]OqYJ;;8L\ [s 'xm-5q+-zc_;UpCv'\B|ϡfeG'Q[l,+E0HeMzFw5 ^)'v|Y{sav-~ݲ"C * d!"4GsHFqVCߴts+ܟ,<ӨWŵg,^< ,P__\yhdE/wLd Q x VKgjț[u5A-& L@aB2ޱIdv.k誢_"B_}{J5L޺:;הRD"(e׆=}0qT;σ2Ry&1C#3W" hh hW-(C묙T-IcG}N.LlG@Bxd-BuDK(..k*UDgnx&FƁ= ϭsV&6~񗭆D7V%h& BgMX;"ϯBeMg4\vcpː8fI vGD&>2`K )Wt̂tV }X0Mj;飈gGoefPFdllcf]F b#EbVA0vҾF4FyK'˽6\hڜ{ a +,_?˥y2&tZ՘jvDӻ21iìh0o-dݲy԰2-$>AU=$ oD: ``VVX  KĀYFǑ3bx^ LgN${m+Ϥ ^+wAKZ72O_M8G*nevv͞l0 A{[۷"{HSB"< Ml'^W|5p5` (V:?Ci :[uBe?M#ۋt@ l4a-"=HpV6g(@ q~7K6nnӿ^ܸ*&RμS0Z٣(基bwQRB.7l-nY0 ~|ƺnN e\=zZ%:(iBǁ9^7!)CJc !flE;z#rcѶ6-r5Bݧ~S&XK*x/䍢H*138jjJ9ؿ޹E@d`E_a,:YQ\?$=5+kaN (gӢ^)&Z@ trߍ:<^!vZ7 k>71#dUqY(?9]~VqGal4g'jeVPd ͘r%KMMi'ɒ'phHSs"\_" <RO $8%)#+=q2v~Ne@5W*P8!Y*œN?팂2Os:^u-xm^$_}OX"zGT|mxsj0#H7mwMC1|8\LNP ZːOaWy!1?̈́dS/j)ImOUJ:hstW}EYc߼Z@ pҀC8VɓP("SWۏM Ȼ%x&`udN*UIA%f-,ҒpڵZ)B~ji]>,n1V¶`l"Wp r"~F޲B.5J:K^kc`$wE=]$1IefViqGh. x:Tnm VĮ`,쌥[Zk< t;XCJgPn-+՘ssV3x0q_<]"׽͙GMl'?:`>}+)+ɕɐOݙ ن/Y SLm(nR5_t{>nis2Ւk=ɰa~cIg+|ψkE?rf;<; 4i"x`+9 Q3[GΟ<8Ӵ6 Bli/ZϋLuMo,d|q_R>kuJY?פ5&)?A0/lmͱW쟉p;ym2_fNkS@/$ʠ)6 "8[ 2ѡh%sM'hGN(U#g+pƸ=\D3if@=u~)FEϥNo妈E_'Op 5VN8k`'Ƌ %MudȔ ht Uc6!AT9W@)@D?L]ZŇ e24 *t?Aıaȧ"#hD%cz*;y ;RXwjJ12f7c4x}l;B7햟z⥒YY+s>3)PcZy/ե5Je9ߣc1QiqXd<9YL6_4N\Ri,t}2x,|fp% z~~h"p39S<S&ѺէAPH&]P`sP<XeXcQL|2y҇NV\/:^|0pѭ hna~Rݔʒ{XR_%;ͺ< 2d}@'<4iU]`$#}A~j:(pnġS6o{h>nZBsBAg%u[8_EbUo״mg̠U0V'Ny,A RUx+`n2GN1I<E[UX̔aw~=53/{E8[ոx"D\ ">mٓ5Dr'? ΩEAy~!l0/<݌_ "QaK' (!}n>jzϭUg_;P!\,EsY~y/S?F~.o&/gǴX:rM 8[/MRo,ZP< GsjIX~[-;}h s`bas_cThlwtc^}g\O+Eʢ[0L4~1[fXGw~K{y\ϻJ;ͦ:BY5!A|NeVx:dBD BM5Ba2E+*UenưȲ9mx[؋oV7{W/ v4}"WA:uja;~2*ΰXiGl c_4AkM/ڱ/,UۿD} FB &%W5MgY*gK%I>!]e~[.G$!mF4O$ vu1;‰B"}_LtÇHq5l%Z+'G6JӒpurUȩwO)r=,1 +a16_8 ^mN;Naȝ۳Q:{*U1J0.I/͙Uz+ |]'3`6Ly%V%jyDCB8!:ރ4ߋn<%޳I1} Ysuy D[r+&0H4/}m'q7&z6]#@Jls ~J h<ֱs8V9}#.|"ؗ 0t:ƷU0\PV8s1$:aD{U+YHkP׉piL}_)ajtz•dtmMb:-a{YJJ@ 9lTP'jL1p%$twP.8C1bLШu2h.'2 .Ё]M($|PE@=7O ε.m) oB~qt킕* DVȃW2&q:b VPy$~QxoCx+SmhgԌE,Pټ/K ~hIlJTT';(Ɛ'N;ο},x6>xSۚ_ly2pk?Ltzb3ՀwcWR<3 jORYI7-HAIغ`ђdg,~Ed?8!9lEt@,C^Gm1+rLq\Mw1 jn̍*ky ҺMYŕ+vHMcR{U і2bI4\7Dm}>W"5HxTވoE$a~z:KS5>),}dXX'g4&[&6[%ʸ.T7@|X r͠a4%K]r tÙ>| f]%r9%oJWk<U5 RXRZ;>br6FC\];Vs,]s:&E & |sB0Ǽ%+ӵa)~k< *S}\B5~U ic?dnxz˻Nmֹderd ,R)HFG*79J~^#١,+rRG>"ç? z/<8#GU'Z@ >)%دtgyH1ܥS S};xh 4bZ0xgnHrTS{~G 2oSR\KLE^GvβWb$E|~%YZ0р(DS׀yaAE'Ty o7!R 5--{ޛ D8Dh:6hUDUUPn.%7i@G}"+$sAm3 IfjFoI8ay!џ99n/5Y,lTĞEhwќ Ù߉V}@o#?ދ4ihYrq rClklMT 䅅qnVQb*nS'sdL!Ё73Wl!Eq5qٖT=S0KQV~a#2? rE?~OX΍>Gc |sQh]*->Uخvp44zU 8_kSSϪR_T!x5xn`HZ 99%K쀬Rϖy 1{`i=c5hY#xV赆WrUq"`DyArؘ$l!jolL˦n78V^e(ʮߑ ?v@NᬕNy^ĜOF?쟣{GD# (ox(mygj ;)*~TaZڰi< G?4#d|5~nc*ImDSG/P4bSQYۣ͒5>sa&&jg=GיOON_YЃgͲBǸc@>FrSd+8ށ%"auݺ2Ѝ$Hƛz`,Ɠ̏O>\&FUrpqfyl>g Ix$@=3s_6A!{Ø I*9;!C !ĴЀ(Y#~E;+xǐck[C qtL>XIހ5/ +ߝѦCanXe DW0Fd@Xnq,S?o{CdmY{0' 'Eѵ^Omu"(-6ƃMym'jJ0]i5 |/Zgj( t㔓ϥqo4–v׼}=o$9OL{Q4lVFZ?>BקNJhG2C qZP*&7X20P*,ߌq 29dyz6e "~Jj| DLAD0'\LFqOmJOo|HU3\I,xp7P 2V^`zЊsK'=^,20Z<ՊU2i؝mt2*qA| >9t/h-[ ~,,@2x:֒^E+υL=.x<QDq127^f.-g.N9}HrǭYRec?fr Í /H*iG+e7_cOselM _b\g"qomFfqOgxRcЙnnR)!W8&_oVGMЊ\^wݹAz[&$e n>D7O<1hzȽ>Fʄ-"6A\|,pEr6P;`; XoWT|'s~F񿦓g\ >UB(B6$' c%p)m1 eO}4+%xcbVL8G[jJȯB5D]ݎq:JW10&KeqNOK"YdaI\Dt^vQJWcicqJl@hW"D1>MǒgPP9 cgkTlg$7O)[BX RZaBO[mk-vp+g*aMmx{k FmQdtL/;Njxuv*EP mS'R3Ж / an;ggmd\ʧj% G\CG[ 4m+$slҧ,IXG,ҩ3(0R>C3V nv_tiZli+`0V\1wÀdM|tjꘆ\E<գč^8_GS*~a63-\m0&cH, >`Rn2a_&:H 0bpodɏ%pk5ܥC|Xꦗcy ~P$]j*P}FrD5zF&cr E8ߜb `- =gnoIh;*g֢q7G8NU/p@b!";dP`P`@\) JKzc" ^M*Oa~!2*V-xiڏgf_Tƪ"rK0! Vﵴ"&]pET'w3 IFeSfpi.YI7 i󖮴ŵ1҄}i傝u!ǩf6ۓbJ9A씛ul*!?|tަsց2@*Zpsl'7c֌fR3{5^$Ce?t[{QVC閨7!Os4J=Mƨ2 ]\ MG9rE^cZj{MJprE(lJ/A~UmP\Xn5LN爖pm3W/^="D.W{tTAۧq*rAH* ٸDe찘^$g Sӂ y@!\j`=JSc"X a)9Ps2NOj:uE1<s^Uw^}Rd)KEo(md!bp ly䢤.V^(ZQDFP'JǙ-un L^;q~XeLSr]!3 CV'p-)o;oE: UM)p{rY)LR6;MHTak͈&5bM"z%[ SItJ߻^(vpο#m!ɆY0Y XUum\ɠ}js$ s)g!RLư:@3H4pNi%6^ۙ?qWCH= $5r7w|?uVwOE?/XAǂU>(#2ǮC'ԮES7fI ɒ;P_ϒMRzLhȱnt%{;3]"=oNng+^fc\)α˨rm9(tںkĀw0+M !.@t)杊9C>C40s_#E4Q ^o!0mtAOBj9 $jKb԰r=؄sY\?=~xN,' 5m}a+)#!2xyd%EMW({-#hȲr2\r5N17I+d\V#I" veJq!Զ ;V5/~3yjwT-UAlVk nj)`͋1;3kR(ȜA4>h(D(wWe/?l 8VYFJ~ĂC1 ^IT|-uȟv" N ň ү"jǽ!USv۝#?=.5=㧟 P@[zgl ~G@i]>4jȊQW<[} YI@YC‚ qXLq"ZQX#WP0BSUr%K4nYsQM2n5ԕF>{ e2%YPYJ+CR@Ry'=~\ g.2$Z8pr_GaV?~Awrn;_xV+W О%7ԥk?K`+6< FRwף&~f xKn~QAucQE*ZHi \mZ1VkYPQI#-*JW麓ē6jDFٶm>^oSBHpr*++!(_8o&ѓGQ}rBCps5/32IР9ZIX ^Pe$(@L]tT|/Wtk#EC\n42^PAg\+Ћ) ~`bϦU65b<8.FG>-Z*` G;[0jV$ȑ>r94OYGF~WX¶ũƸ7,:X_Vˇðkk]#2Pg[ Áınir,c'Yzaò%\uO&9ojMg48.lr`ĖY2B2vSX|L=VL17 "Y#5GL晞\s%p1Tc^8ݸٹlsVrG#^1,rB ٜ}T^V? :xm2k5%x0'x+H`*Xum8fDk1a+qӧr0؅sE; ^hYoz~]h/@Y hf0!] Co{ }vq K/)ɽ.YjlG{U%g餤QNdݽԍ}܀PP|akƜCdj1_u^J'JFs1Z.xgzupL "|hQ]jw0G;joFO|/gZnJoJW_, ŃO13Y/>`1&-ͥXK џRaÎK:o If;v ~)5R*Sxzʞ :-]LI2 XΆu![k`sErDB/y16fa?7 `C,ol@JE5TYqO&KEaSϴNQtXv}SY4)^VQ_(dq)tBzAԝQubz 7c'-% ivy W87Ҽj쨬K# 4jcw;~9B%S`z4P @ݾR`f&=QCak+BYj%QJ2k*$a?j#Zx/y d&}0X-ړa]Z҃Ll;#HQp6*vlzM >Cb U1J]]L,fkŊ<$ݶ8"f-&}Dy^hxyu" Q!H:*Z껭LѸG tQ-i GuוwҤ£ѓ'9ll8?gM_-@p.Sg3՝#ܦbsdq75R!m'i5J Z%ǿDmRluDV0ؒ_F 6vOՑefS3/gXkcƲE#Y{הJ^` lc=h%A[eY)PӪ 0e #%/8.c*1g;QSgC2wH#FI`z܄ݐ,Syo/e.$'TC Xf2Uin졿i;\G"\y  Е}|S/t [ۂOoQduRˊ/&PdBo?˲U(:khL\1C$:YəV;v"Ww;1]Xp} P@3zcHDie4Kxx^.Q:ve)Q"n+Y4M式j##ƥ*2vS֌ڢAd[!l*9V^ Y0X R/EszB go쐳Hb9㣳w' L[i2\ {*,Quo_Ln~rR4i2L9ʊ_Ddsud;ݸa\;^o?ǻQzGbO%nG*@ s&'JjJ$j5Cj t4§bZ6]2n PFڪŨgZ2v\G+ilhGv;/Lf{kCP#SI ɤOY<_]F+5+Hu]s,u(=x70knvD@|:+GgaUߐz>=eԦAS(u+q5d?|h n%eQܥc4cyRdV!,&]^ j-Ǟ.}HI vOb}I΋6 @隕0!wֺ\}vRp#e唖mn F/BjBسw~q&Ì Oؤe)PssG%en?Jc-0vApQs!&K,,js zzUsfU3#D4J.IׂÑӚ< pgb+y>l vj#4!}[7q=Z-ޏ<Ktni!WE7QWqܽR&Ggu\o-YL(&W;mUX3d <1[7PϿSӰ֞ 0CovT.; }͟_)k2V̇2_ C ,ݶ7)}3yr\=MhĻZC;Y&nH*ICGSPOel5q؆^<{ѣ?#Je\Y 2[l j 07PJY)rZMYY\t= hfx)6?'WĊ?WhNg>Zӛ*S<'}8tؽQK"HlE'eٙTG++7đqm-ڦcS #>I$Y#L?׮ZuP@9EIYW:Z%j~aUp ?D=r˾mq|Id/"$T3PRP=w_r+!n@,[ەHD$#"vO̹ ;2g R5nR1ccsrsZY|( Jtn'\f[/٤<'qk_TT0Y pVgRq`& OW5K4ϣ=Z `T6VɠjB0Tu`V\p\ Nq2|ZQ ;GEl }8a+ɦԅ8!O|2R{8[|E6^[s~~RKY+iyvn-G›+{z~{Ku/WrmIҟ^= nB`7%7ɬԹVܠ܇RtS v sbE~>=4ЗyPVk9p"yI\Lؔ`&G:1""Xv6\^pN'ߕa "PVVkS ,EX^* E<>)7)l3 tQ. "lw7rxLQ+NtwF[nDɛ7aoR/Bck|"4Jg.F9#_a4{ SlM܏/p&Wh4beE#J*EʛM=M! kC#հK=p 6QT3wU ҷ1L|dIĪnU$OP݅3O`A=(qd3R L5cs]RkmleG ) 2?}#K$w#(/?Q>RCۂjnXD>XSLf׫G.ܱɋc#A}Ju6rQ֥(bm _ Tlzv~&YwT| (\'Y-@ZR[u oiC<,335Ieۻ#{6<Ҳ+!WrZqTْJԙS$VAsdʣPޘٯ9y8w;C^HK>җ^.rMtӼ -{~($'JocC3ʄb K MI RcGOq!4!y76Qs[9U!#{B2 /zM.:YH۝n1Ò) I.>Ճp>i+-mzΛ#ݘ&gI40ZNF.|g"Kb75 qr< D9s#EdYPXq584 AK6>@M4NU8 )[(}>Xp4>Y%$-)gq;(p$vԨ1#&= M-1M(\(MڽVqܶS[yBwv&dz]S9"F̚]+bч\=!MKY@ӂi|V?;ā&}+N_/?Wыأ8X4'_揵ȏ8 S]_bVu̳م~J]Bv.4XҊH;~c{.ToA 0KϚ{0· mO/Q4t lNuK^1圏W"teQg2|:qn-ٙJ4=Am$J&xѝ 6beZ`ٮ(B[ݘcjw"܂-Z3ZMme/`A;`y ([D/AWJN|?^\ Ԯ3ҙ*ۑ z\qq MŝA-aO[ nDXlzAsk&Thv)v| & \ a|k—+߂o }R]ef-;'g}&aU?# ȳ5 4LC?z.uj'^SڷJٍ_qw%4q#Ցbm_~Ҳ ֬o.:rM1dHY{,Sb준|Yw<’FugURILƲ&i?[G'hJ׿wdVx@JEQcF v.64+؝fڍv1B+w'|4k/wzF?xv`&iSOed{]].TpI0ų1$ŏkjXiQr&ݤ48@PA;1^1Ct^)_ض$?H}CRfYr]IB0pӘhsk` [#RyOWӷc8K#7UsuA*A` VA~Z%ZW"zlL@׃I`?!Iྩ}yN"(7ޭ dZFGe155#JN7^+x ߞ뢌_}-}AAeͣ[2p#ӯ./}؝FdМ7*og0P.^@b(dr|fZoqg,5¾-jz6߲r ΒzTt8,Voape̪xP#V Ƕw pnf*BݔW x8%?B <I aBz67'/4ilvS^ލ:}W4V iKSai4ZBf2d9 i6UO_qӦﻋsN3~JXf <, zKB;F.2vzmj5Tb@#4ۆj] R>kC- fJ U"S>߮)c_k8A Å%ZAu]] RftMEVH4aXoր@|(Ӂɾcг^cQ٧5 Ð_z9$EiqAl~!?@b9i:OF:^QR2BMΑ@~e݃imNy89G~'`A4];/f+ydU2Jk+_>m4 qIT^2PV-%Y7VZDZN63uЇMw< svS޽p>E"NXl0Fmm ki=0v9hakPeMepطيE@@[1.Cq4t'ub")hr )vn&S9(Ҿj`ēsE%_YUgB̈SU@AUbEG7=~53Ha?>pk~)-+Dh}~4s($/̆ )<3ozEr7RuoU|{KH'^[+[~2˜1lHp&epmyXOO(PSۀ!qg*vL :UFnZ}k>*nHƧ2F QүmW/ Ҙ})l=#f1)#z1Lȧ0lT04WS2p r .a_ClVz>|8*ifihg}lrav3ɘ)lJK*X|@JdJNNX3=2/ߠ@ (mLYd.l|o ޤո΢);#mW> }d#什rQP?ݖ[3PT>R~zoDʢ1xBF#Rm(e66%aalMt;N9+phכ`!ҭx&i3d7NxjV?V;zXROek\1-d 0/@Hgñl4WckGÖZGn_ᓮ~uO硫 7zb~gX@'K`X&}" t x7n0xL"JMa%=e8Y}]cQzO` KM3p:iK%9W5"> p\ԄqbZ5M0yr| 2{>C&v^3Op0BG'pϵT.6܏](GAHϘFQ EN>/*YDlS)–s3"m89KT4IJ M`OWe=*Pn7a Aρ P}Uƕ2@Wܝ\0'OS+tu:lj˜$D%aBH/qZQ:XeO$IhyGݗP~ y|^Kr<B58exwt*|1 GŤfU\Q)]RU^y;~7>>屢5'}<Iԉ$m`V.7hҩHY=C:nrNBӸ}N WULۈ: —}#\XJP}:dh7FW3g/"bn$+98!<μPRdմxtSDkl<գ1se;'-6}TyiYáCAnw9׸5bUЉlܧYV;F|~Jp3U(,bzWIOrX?ҙ,٩⒥osQ1 }cqb(Nylwԕ`(FEJLi~nC`oTF"_ZXN;^ z(Mӊq6$t!i%S0qewaMK$$L&`!36_ )L~YD$@ ig*&ꆉ< y#R6z9~]'"ڄsw;4LQb32tGG2-?@*o aRʆS=yfRuB r kN| u@6FЬQSO2(f@ߋu@N fkՋi`h'+uM?wjZ}`a0Fq+KVD<î'/1x6xsHuN(4T g Ξ&RύŅh {D{)_L~ Uʿ.x;35g\iHa}BE ?B˅ 1K߮܇((c6G۠dċR6FRi2<_-nnt"d^2t7FXٜ@`4"[cX>y#ZiQ/ju75UϚLV$?~z]g|-~ȢpZ++)6V:~筫xoldH,LteI Î-ު[>pF-"ap|gu(-se@zWa(:"Mt[^.(RpXx,И87KY=@N}F!zhhRo 5@?eN|f4i e E軍ߔ0K"4tHC~LvQ%~hwczɓ@̓`Z1 AӌzuK/.{L $wui)rSRzأ8'T:UX&o o6v-NT"Dp`0iKQ"暑6`XqzپS_վQTOJ ~@R7yG7Wx$aF[k{ (.17Rxrq=n E_nqن}eiÉ/1{N `AJ 8#+-scWJ@HgT$ICrT`HgL.Tǹ$)d}<4b gķeG5hE<.< P˵XkЧ+kI Yw(Kc8E>n4J=+I-̳HPqQp>UF=)kKh'l7Sysp~sZ <Z:LS=F sF I5 ,&ӗ2wÑk)vjXmG4B+?<﨓Hؠ`#=ɤhA ~b4WAo5DVOol _dedy0Xw&ķ& ƽDJ[w3sgF3П("У~zaOF-Ղ c̈́N, (s/c0tX~{Hi}@+%_7o@0%cK`ݳ)EhJVpvsr0c,ֳMV?[A|~<=U"%p;YȘDCJAŲ3RPf? Ǜgu /0QO#zNA01ʽ8&2p(oVMø_֗,"~j/CX4!vC:R<; 2^|ib4ZmUJ#B8s{M"Rp[{Ꮵd9dͱܟW17{2̅@pP)OiwZ5Ψ=g# rByb-,īπѾ+M!,Ʈ/o1ANWU5\遡d}&GWCHN潂'k$ GY0`_v/"| 9Ѐb_P;5}CY;/23xʱG K|y;-s*-.Eq9;ӗ?PTuSqTC{ZDʼnePmCUO2ԙ l,@/(7E;ih>H}fR\F1F:E JWA5'H~ 0l? _[Pr1`*L}.>*Ne>HWtppux֣o,Ϗޮ>;*M7p#Ge p"2F-Q0P]-~%2+xƒ 73sUU|yn1:Ka׊ly!fo5}X?H15Wʙ:zy<$yL^ڈWV YW$r]xоF@G3&[jSvo|w^ ]5bFq6.2if{qY%EeBcz{@cfY G҃5n=;.'ʓ1BstoLO՚#:H>t~î!I8ƙnQkh.dFiϱ|SgSwok%ELqfbE3OJhO9@e'CZMHgu ڶrCe}yZTUz CU.j]߉4_8ۘ|sNRxxURhP}k*40N#k!I4Z>22 qN]gݘWOhS"VJ?21i#ԴSo-2:97hWqYwX|rCwIAΊƽu~}0uK䂨ҞYuS%RFc &=4Ҍ6(c춅_D!=}CTy/k*NB% K?_W6'H4z;PyHg]1zQ__g>V"E]f f#׏,KM)86 cp9@ =ܿ`teZA e>p\/yrN{e\=G:GEe k>O𮂱߁9rs*WUQ5ޔ (Iϭ_BG]ɈͷW1Rdݔ,U-݂9 }pލHk{ qQĆN>KQ%nIWw*?eβ[~k_ʃ3ŋ~$?UӀ@rahY~rV1ڻ)j! .yVޕ,E;cr| S qP%rEUU.Q~5hr C|?lnCee]OrԅUp|[צ2=Қ⭽F̈́&3|}[)ZV.Dx'8&eu)4L`XJCrQb`Ƕfݜ^s}V]q}\N{vbYy5X!<җS3b* 䣣6;79 Zdc W*>Qu!no*K!Ee5l6)n>vטJi^dG~_;q>iaΪ^%9Ķ*xg0dg*ڃɝc l%qb~/GO]% ;AaזՅy$[4#P|aj9-MҬpok2xj*Mt'g`Xܥ`EI!/7_rztVlb=zD"iL?@cW+$i.u7.'Fܴ98FJЬF EaޡWxUpd _OGɹ5 Xy&ʥچ4kXïo !1ܑZɃ2KЅQ R=t@,tdX7Jc;܆P,~{w=TGUM5+A)da`G.c1)t'f*`ib&rZ*ch'<&.n&\t&EwJHE6l ЙG Ӟpy8|9j4T](;lDԢ dF[ +cl7*rU20;i 0ѦSe}+WLbh+ vّ<($bއ pGz72XpBG^l#1- CJ?.etd?3Vfa7+QVXKmb6vрw(!(;77MҥLsg7_MO&4@ cw;6 BmL#Mdٮ)PE{mRU>Ӟ,1LN Av\9{I 䎑lWfp+d \dt'o;9l**U(:{ {64$+yb5+QbHO53;yd)JV"p8O%d:O*@$ 1ا~#O'QYmL‰M=^s޻ӈ(>|aF5J\^5mtfC.:>~ܬliI-ߟW)ҝzچXG QJg?-}Xv2o'<|5{LS)ZLrnzI9;Ь=UbGf*+6E(EjC:ٽK-a\аsATcI(vCUZ<Qeˇf6ZKkQA961c2G !ky|wi&iy>zAhgf=,+,|:T i85pm  Z7Jf04]]*,}•UA/քh7+O?}Y5хyZNjj8z#^ߒʀY|_ ])Gogϵ卜^L,vx</.({,K|BSSlO8vpe4}Rct۴|w@OI0ZArE"iټ}+`]ʥ$E1Wuq;i:f"Th.1u6h[(8>4߻oIs{E̫ps3Yb0Qf/̆[(#$CQTN܋S,~{EЄrqD^,0LuDa>ҀQLV065_.g~Li=X2AYq~U{MJ./8r >~+1ռS #F]9g[{ Bv(ѰV. $ߑ?V1L(_?+VUrtj3%pCmu}A'D#c & QڻҁnNvXvX%Fc3_SM nv[beOyb~[d|Iލ̍IA$VIB8̨ƫd"ψa𴢣.66)v+Z7mݤX;Ysj ufFa_0PQ^lR U[4$Fvr0vޭET*Q_R?pljIA2VgmWVlV'PC}QEˆ|`PҺ[|@{ЃI"oǤ;<{g<\z GAA[AQa;?8;T.Tml( BI:,;nt#E aб/.Ѷ(7s>m/wK]+hxU 8)@Jvr{U Y=sCqLq_c!mB9Q?˫6@5gR5%=WG,n{?G7Tm U`wVtR$Fu #cn!|!,LM8GG O.o1ILXy(uz#qz,X%gTh*]u W Ekr]pJ,o$[͚X*4Qw!agD&l{ 55 ܗG=6O)jŇ`UL 3cݶۈM˕%?JowSF}yig :$LCvoD|u^ˮŚjFyݗI?<˴}L؆0=>o?{iv7 k.WV ˓%+9؝=6Qv6JZTwΜĒ b>m7хnFja/(]rjX o|gg<meJ 7^9.A +jb%Qes8҈w0/P,c = z~bI [ o8-KlšE6*i"-ٵvH5oI\M1&Zʛ͑c!A2"wWM;Y~L4ӻq:}TbC&ԽiذE6 dؼg"H@-x  3W3ڜlq-_ܚj:jT)d8RǖZK'Ht/. ;)􎪳% q׮Nl פ2G]|?spa5z$L^M!NS#YǂTTz5B~·4Ishk|o.Р5aݰ\WȶFШqVXGiI(n:$F[0I4 ;EdHV7?#;c~]0xD>u×}a(g"uLt)H︼>.tug.@Wt:-*}m1 Eelj.(4)twhg3Jv):rypʱ3ۮ7Xf&_kkw[Gr$häǾ° $*>څj_DBsA&Ut sB6?ѝOAm1d==K O[4gdsyRil x G%q6'=Bs!bUft WdKr@Gx,.,I֤bVSc4q3osh\A!TKz( SCӐ!k=ZGZ 9Y'1d3CY*^+8dxY+g(+~-# ơ "gGn{Wbh&z!!op׶~ FV{0־S;a6+5D=߬ ԰nb9jfl*ׄdr {Jo@V{wRm\Q9<Lۮn |bX6/xءG i3|giJ|Iҙ& .# lqW֣OBtN`k05.*bH^v%j S8[F̮v<[cߝ$8qF+nZ!}!xsaYlV%_zMˎ򆈨.ڠ&_G&%:N ZN5eݪC'0ִ_bp-1Y#m0Rc_0o5jO>:l$mPʤ&eg6v).fC.}讍46s{@)HDzymSP,1zL9pp*0aڬn-AȐF~R0Bث6.&DrN~.tqu,p, /~*2e,2aUvi _Cr[[٪ٻ,(kS"^5 $d̈́wsK4 Y~ f=0QQd؏2N FTj{Xx(VN^sG-۪7뎧X\H!BtF~wz繵^& (_zO b[=3]*AA۳nuS@ Iayެf.|U[ľ(ȉق]LDhop%(lS€ECHdTL*@P1m֨lE:;>7v÷m!RV#4[AUK~=nxgjb Z[2xM~Kı:uT:Gw/Q ]`FgT~C&Lndb\dq@na[c/,J_h;9IO9)ھPmqgG ̩)s a zRe3;Ã{65'N з0BI.0 -@#n@fN<_)HJ2^@ߛGDAg (% y5U£{Z1̏REM [&-[-Xr $"Be;i6ycHn+eHFL|vDCH[6Fn/$oI0,JIT4mx}k E -%g)*~b]\;mDCbCXu|Jj\uTTR.)iK݋˸@mYAqPeDl̹X [`MnOGaIu1i`M~鮄{J<&J5~OɝkA.8\"s= a{_~_>Nqŋ6JeŲ6\baH\`8ɻ@o6C` ]x_0V*jE)v殊:O767X2̟FOEA"%:LV.2O>pO lXm`[v W /FCzEwAzu^ ֈ'}x^Z!V8ل*t6X"s LzF>y曞51McS#t| v:N{z\d} W0R%{rPvHvH ppVgf5A/ѧ_O E]PG#ބ6<7Q-R NՔ1J-^cp$rJ􋭸߈6 a i\~dF)J7]{6(('8tMh8 t&ƸVL;Uy]^ߖa1ğ)nI |9"E?}@0u88L?|4q:?.Кe 0K-zZy,BU-9QqD.K 3C*Ǖ0A"Op~qTUyw:IdwO?\c/%=ynḧUQ{wPΪb| g'(p{||=S};R>3`[!02-O2XKbkb4A[c ʡLMI!(ڱ)[^ Hr34 I&-ggAm4ꠦZt +]viGG(ٚ1ߩOM5ôa{V*BƛHj: x4"T 6\)AB@V>%B8 EF?䠟sg҄ICI`q $DuٞZA3CF|ɞduL`oR}ְ˫i[)W_ZXb15y]k YO6$#n;Ȗ4зm1]׏&רZy+o4Kgb}r.z\PdG *F̕(N/=%*$(Ο(62rG>0? 0KHr%fصږIn"zA^Lz4 ҳ.h>M?vY@ksD,8f[4poy,ĬSF@F9Q[޾XOO X_bBi/zƑ 9d‡nM@= e~aS+n߯8YOu|G")CݠNb<8Tuw` !Xik=~*O> P E"+` t' G"J(/$BS߳7ЗHЯkAH"(+ {אOٓUxܺߜ xSa̳ضJdFN`g⬆\%=@V"FK M|HejJ>}.'\֎q5as,$s)ԖtM8c ntJ B'_ڱ٘p}r{w~pG\W taXN^)۳~,$z5%z-G|Z`\M0c$buQ!daryژoi4l)ื͈ʐ.jv,q+sV"S +(kt +MeMD\AUR1(2(?@-a :ZȜ 65"EXG2ˆ|W|= *j3P92~?$t71Er n<,OS{#q5k,ړ$э1vp&g`s3 zV&}ge) yoT[?ٕҋ4Iʐ !v3`c3p7`GRz&J0VY9AJ7AEC9o+V/sV4=>Y !eł[YWeka:g=߄.;Ry! װODR>3o'cʲ.qAv]eXzlA蔗tLcn%R.`-*EnΏ, /+2uEoȡs'й&hnVS3/]>{E `V+~ũ"rn-BMOS*~_.9Osb1p$dmpޒϒ A0lmqKG9JuHErnU%`$_ &ga*:ss8|s7Gç$zw&zF~>0="6< OHgWW[5+cFZaM1Bi¦MsΓ&5T3+(}Lԏ语%@ӫ`f0zk\|/AUcޞRKlG2[~B:Kd(԰TFc5wH QkPt O+9HL|Xk? ٦bѩanU z؆Г%9j(}&j}i>Ct)n=-W9PI$t`Ζ{ 'U.漶PVPẬo ī)餶 %W5[υ9:r Z[|%{SSuJA娊O0܆38ej#H;qab|1Ua9jmYEݧ`qaԁsQMeyV̆,L\݉0w k#YA%C#A }둘Q>W-բPp$g]W9t'9-~ՌѰԵMu%JL v+Vߝ1 pm I'ե)yŞ#h<=XGF)Fef@K:gEaS _T$$w4]UVf5U%,5HǷpT{C]2#h"š1M,4 er{uw믽0胳I["VÂwSR#A.b,xq\l6Fyyڿ~%ݏP qb> qbG>dTR}f_q8l| ohF ǗSLkOQ3,*k n>xD5R,9( ha?XEꧣFCgz ;.v%b6+tDO(%G+L_9L]gw|ÏǛG.PL42 Z$3㔉x#kE"O+oWǎDп+:+A{;{hc;2m!ubZymӢY P3óCyS25<]о""KaT0f>t.xn*1ǂj:̦Lmq5n;z1DJv߿\ڇMmE2#\|kMIKbgF4?#02lbcY\#*:,QeDRy&t{Z3y^E-/g6o羍 2-K 62st2Ja `| pBzVIZ*:tޤI{"(E!Y9nn=MxCm-I^)^Fp~u8hX^#ќy\t Eo&n,L՘{v| 2,ԼMG>v srROn=ٜ0Gݱmd`jmX وj`}}^mx{PH̲7Ό5 p]2R89Wydbeё|]wlR=88n4& Wa#BBH.`bH c`:7R+D^9lG`C|LM 4,YI: _ѾO`]ƒ!aY924,+F1K 6srsI sȤh6487g;DQp%sCX}\;%lSiSEg, ȸCILiHe:jkmL rg{mw\|úK|$9ޟ͎Bc\z9BI3_L'S$n1%S›ѻ=]f6ʗbr^rCS,kh1'{|_69ږJ:mXHN Y!ߩ1h26B.gHk.KBC/-gYN#ŭRY#6闶!J)Kрj]Nd;8uZa 2K\fP8X:89YKN-X@PX,maGGH+#FL$aH@U$a9 z M{nnX鷙}R7{Τ\[V_"Ick/",Q:A[0\؂)暑1OwdH,vt$uS, !g/A<w*K96+O|jK/4/ž{sI.e?f|F16`t+@$w*sb6XUrP)mfy&=yjYv#/NDa/CD%1;E% iv캈)rW^(?Z$@(.R%dAZ0qt3R3|lVDg5ǒ6S0u^ ti䗥ho&]~? l`&PYXTJ!,z;$IYF57RĜ{eRQg5T.c]M8)&mbWrzD؁[ϵGӔ~P&`%&6ԟKj*}u:HQ8c6kn~m v:tE]&o28즧S"ϙ7U$B kQsNn7sn LM.-&ϖj3r} W[qbWG [a!9xE5]z62}}b.&l e1AYw(YLQΣUɅx0]!{t|"lc3rxfocIXs[[sY: ܔH'cLz2'B#/k4<$t8Q+of}/h[[(In$QTS#p0UM{;WAV7":~`_igkB&\"L )O5JZLcpo~r$kLD\aQ:Y9uwEG `9!7 50@ 5*5dE'[fǐ)K>gKJ?U`^M!IN"LlD(Z0զDe෱xI"*P5݈[ۯғH}ngn9Ha/U<r/)Yfñh*wD163j 8{JIT-jHj+8IJ6hy0lguĀo[q1c`Vs"#epVN> nZdrfޜ%i&vĊt~#d*:e>Av_1 7Yȗls:9 mͻA'2i/CDOgb3}V\G k0*}&ݙz\Uh.9'7Mk_6Jx3,?x US~CK~X``[3iV 4dZ'kB@~JZޥ>p'+$' kD;ƛpÔn<3ww[_h(msܶI%UKWKЌu09V-c1"3\cEA(}EPH$β)4Ƥ Z -/ iK (z$H]eȷ\Ҟ'%g K2IP&B+dH} ɡuΣ* b Z|Y_*Xq,d%载 NSB4l[1 (|[MrϡeҼDF㼦Au6u{M𕽽h0fSDTo>eW'y,D?#1^:MH߲C/_2?J1D7j(p;j֢g 4*WC?RR<|F#Wd,c;<籗xgPO |6 >༮W ո2PSw]|͍Ֆu2j 6borA8[̼{ڎkEI2Qt5N$1_N?9h Viaa&o4넹3G.)enU3K[G`:&(Mh,l+A &<60(TlS!lpj}"c8띐R͎0Yji>G~If@`iԳ[;kMHT?<(ˎRfW0OwLSqV3{5]ZlTomi98\OcAxuG1; vgrU[4y"QBjw~mLvf IWh9szMt1m-{ORe0|?F4-$$.={(Gs=LQ.>؈e',YU-$o"v@u]%Om|wxJO!xjӗtUY4h\kW)Gef2bxyVEY PR̠nD<68dDlhd1ru>)_`&4pXWg[,}z2z1>9F?/-)h3{LXs?Q(g1]  SeE"D?W˵ryiJPdiO) ~%j2DOgƳ_{3 SQfUzs{1sSi"A|+ f#(:w鳬S {8`e)0Xϓ _ٞ|QeF!dz-R;VթO*y5@⢉7J΋'Ҏ_T/!uaD?1-H>#`::Y'׳ׇ2_X1>q {A0>8kN2jI%)`Pf-n>"qS6Uvװx%r-0- rg౵7x(L-KC*7-ny6hrJ^Yh.^o P/J<ań <8UG\߁'Ōwd{@qǓRy>1g)w6X'¹3y5_ÝmN0VhEE##ФN*|{+n-:2hogQϊByCr;[i)n!ݢPzl ]i Γ@T@t=E/ƣcpM(4D,2ot9J8ǵ {䩷V r {]5O yP(7rY.E˥_k\u?Qg-xGlp*~v?e~x g.o !]'SD/Aѥ'M'}6pE нcd"5hkڦ}Q:L?m_&aĘ 1<8[[PxRkSУ=ɛq-T&G.b3zM^{g~|󟁞WX`gmD^$}yzX KefZlqك]$4naQ]\n2GmWZb4V㦸Y# Wn%uyj53Cm]E}AHxsfl r)"2U'7_LT*3x-)>ڍ&C:Uq1xDn d×MBd!!Ӿ(=1Na9i`=J#vI40ѵeGOKiq(S`):4* 3}wIa`9b}Rp4Aڕj'6I0hω8l\\Sx~*@-0/IOZ'{Vz&1.ȑ#^6R% {msI0㧒)M th;PTЉ,]>mśNI g3D}{&꒚/e>t՟`p{q c͐/4Jc?~<~\1'TIf)6085gw8Lϝ MLseX+1 R`̯joa㬠p`wdO gXע t.<44cKmDteKnNè$%p c@ م?xl c}Rx 3:9njiijMiZgYZ2ccb3e373b2b5693ffea18660a461c7f1b27d5a0ee3210dd24a02fc2532bf9b24d649a5c6880067f 50500894c9f08017630fd27f91d8231f2cc9f198 9dcadd0ee8dd62844cfd6ce52dab61c71fcfc0fa 919229a633f1e9af44940ffc7f0a9037ad512487