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  {5$L< ]S HOL-Nominal-Examples:threads=6elapsed=270.847cpu=1226.360gc=145.916factor=4.537zXZִF! %L]ŗXf1-q恈ބԍW_8FbѴ Ny#jx'|h0$q=hO-lvLƬlj= )pD۶ѝ it+\8LI"oOθJ\>c?1{L2PD) a)=oCUUc˺j ?q( [tǡ驙B@5H&#UU@"p!)b;ygԜ V]vw`°%tUGQnYϨ蹇Ƌx PzeӑL~c D.-Z%e+GP2 5 HOL-Nominal-Examples  fiZQ;2YI_: \!>ɓΪX`?6a*^ p|lCz$ul-elNҁ5>hI\8RJYw!%Y_!F T Gge yJ4ͳ[Tg#͑ev n|-慳?B@ sMs@(D. ;[86U Vn?͂ff^C{~xG[ʢgZ1^RgFe BjF%]Ajщp=/9vfag$ "bUgNi'6ȑ꩚|J-j`ߝ!nd,]%a<&_ (7e.<9ؖ] 4XiGd"$t$F2GWDqʉ c6GFCE412uKHnp>CRG ?5C]]t C!iY3:]l")zOJuc|e[# zB9{Ou7w)&eqj=ts{rx#'<i5p`q,}lRV^]w Y%6=gO9Piq1|3Rj 2u{4ݩMl:`ͤ= 3NJ6ΩHۮ]S#2,&y7.|[N8Ҝ^ƍ3$jJv|*"U%%QD{g @7DM)8A8I)sDTEF0!"@oo\xG$ַztfuw#@4] WZD (В]~N ?rSϣUo'|SRL̈|*TAdV4_n0oJQhݥW[>Y# =fl2>I|i:wHeѽQk@Y)hUΟ?yP!ewCU ';Ln|s_|Oo^iq4>՜.g/ޞ1İDb2E0:g*3#Y$op@^vjX~*&Y bL[{Xx|0.c71hh&@$jLlX yX^!ja{3mLsGz ~5Γ`IÏ/g@pI'Ә&۪]H,L_*uw:HdSYM ¾y=oRXhH-M1Sߛ )hz}rLl.KC%cKr4]xRh Yy*.R M_{_P7HÇ4xMxR0=wT=풉 Sy!"YL[ŶSJ+"\vߞ6xA,gS\Luċ4~EcLxbu#9 ѷ07v +ć}=x>0$Zr^/[B0CB -n}ڻh(y#XB4Nsm10F(h^Ak0dl;ΙhH0Ԧ0 A*6͖sU}fÉYV"PTt!gV7K:"7aZ%I2lhI0ܻ1Al*UWv2voqR޸cyRH8j;s993, cc`݆9L:ݧΉ9ϠIEph}YM3@t1ե/),#`lYUuY}h"`\Bg4v7\&' >,)P?*j8\H\g'XsS,[5.wX$02𑂹vHn9/v Q!|3ԓtUd(9͎͌?#eB΃.=˯rlǯPxg&idC{ .yTEI)`mr ĚŹh?fIn*ɫ08a9ɲUS+lUcѧr f7[/b !ToaĴ!y^NzN=8ZVxDx<4T4mPԲ, ci<%4 ;χPʃԟuT~  +$s5h.R^uƒH_9ie&W/^!."[>8 dÌq Y[qˆ Z,Euuڗja<GKR۴&00gB`f13 QU JC2OK%] n#tytWK>7ZJ茉L Vg5rF> Τ]0O`6[1!0WY*z2SHg{Q9hoLx( T<)]~\ɕ1} X YZҲ? rMVuKaԮJWzc|StFzC"4ҁ0}hMk pa^9BUqKİ$2 MjYsb0͒ h' Yl V*!vgџv@>*6 ^N!$roEc$} *ji,5_#Ej7TK?'U׸UyGµ:7mh dI t= 7MLKC2Le^,LKjMØh59}လ>D"ȧEU(HDg#B꫇BSV7~ >6VF;ػV?aA\Q3zE_Q_{awߢ[z楂l`& gs?~ ̢4&<AfqT}f8hyBn9ɚ䞶`Q_`7QWi[ެdqL}=57MlCǷ1RAY_A+'<76WӈCRMv>"! sxŞ^̈7ݼ ?nBntv⼣mo&=*ģq*Pa0D1KNvܺܣ*68rZ\Z3k}Hz\vr藗k^2ɬ "%Y pM4EFd/ln0}{UA[A|Pr_D7wvon]#'=s@jr׳~f$u:.6A ]%dM~3$^$W2퉛?i{`af={*z7{V_msO۩r[i> ־Ì*E[n^m;Ϸ妮kUp5oPJ/ igo+fuW>a 7I,žȵ)mNw>]CC(3QG|h\FQ㭫j娬4-H@a sX!/J4h2tŢTY+v*x";$'b۵}#4$'ܴPz4.vh* X&U1ҀU'c(V'94nU6<@ȥ0uʕ{`VpӔ3SjKYlRhyuG%@B4}2"*6 "ڝO a>-L~.jDT%q07{C~HRLZJ MrTN+ 0}9I8H/bCܣ`2 ?!H1ZNGۭbN]_1㧷7_)`~ϩgi{ۼ5.~cD  =@VOhԚk6Sº قH沋:VM.x G^UL(bM< d~cDԾ>@p,>esRbY OQ)9 l ۿ۔]ƒ"hxLQ% KpAi.eEn\fv~l"j> 4mv"ӈPVUsĸ*C0y9updiIy7ůww D5X`]g(cnp.Jt- oٔ$DZҺ$,~zib814-^WB .w܅M"MS{pMDW&[ua#,) @K@w='!pwR.^jy8n/>!>bK"ԭ"1_Nl %f-6`XgSԐƦ^mTVݿ&$, !XMߖKBihBMW4ahI_Íep,KS hѓY4i5rٛA,?zcGr ;wNlLXcYK/Oǽue2ZP,!𚗁XJڷ0eu.߆p%u߄i\Eݰ$>4'+#!hP=>AA#8ߔF0Sa 곩&P= 2j. 7sE *׻! ,२J1|FiU(aJI[HyYAm{lri"W9CTheC|rs)j._HO_0Cr`(MožF/M׊)؆qN*# {(խlcGӼh3ӎ3eq$~8C~)EghѮeCazH iQ~ G WL8AG_ (܃]Yی#ރ,Xϖ׸$?wiY02`{JEJC?Zⅆ7ͣ'U+CPg '&cMԂR#Y xm@oߒi`Z[ǾϟƝ\nB;) %>jKИ#{LۓUjA nef{盚VE%qmy_,jbP)yۛz8̑G#,&hcnN/΁l$zQ/yی}V.$a-p9JkrMzQYW8:c ]EF`2C~9O֕-Rb(|Lˢs"7N k.YF3PI@bqÒf־׿L>$f.Q !M+;1sx>nr[+N7+0WG*Yv#_QŎ|T|l:ތ&zkgl/<3"at/hĜnMzoئڌ]Clc v>\<|*mt5s\NJ;wgZ:[fj7j9ipȉd`s9#DWN.m#Vf,eՔMO>ў,eu{߃^BȽPNK0Bb5hiM^rCaiǐl}R zcmw(X`14RF%;["a2(͐neу~Ӆ lX(Q1=76?pe`G\@XVAet<稉;*Q 2? +v/$%C'$r@0ZJiXOIe=s9? HW/kkKSpŲعxf?] }v׫9>og zUpT`ipǩ8Cjȗm/蛦 (l4ܨi`VoQJ!g~^TCT⥎^ eY*i8o{N>aG>ܲP &<'Ɉ( ]"ϱ|i54!+(Gxk&9춿wo+p'ӔJ۽9ьR侞Wiޟ}$C6d[fiace՚6l&;^TG9LP;$CZn/i BQ4Zc!s!z/Gj9%" 18쭾`7Y ~d:. 5˻6[Pcrڸb#7 %I[vTlG a7YAkT2V0ˉGj4](vݒ -\oPѲ(I=oԆueM/}kyF: @|6c~ Vv "Oo[bB:AmĊهSSilFlR2]ٍpHteQ/QQx?+6\ŒL};Ur+ۙM󪨃>!oQu754_,XůШ2ף u93YHM#-NB&T8G8&t#s"=WҾ>mݯtE%#FZ,+]*@쁣Rt_e ~"W cVPK%b)t6rwhܥz˗'q_`YfD߈k tq&5g&+ܡ`JfgYZ7zXZִF! s]ŗXiɟ1ʹ l93攀Lx3 axk^B5vzF5tT x?na=WOc*V($3C\s#͙ۂVImt\r!zjf w{?+jO}#{rϔ/*&: ƒ6$2yUc~*tscjjKljP. syAȲW)gY6\`9CH|ɦ='6 _Z)9ƫLʳnTd' !w/MZ#@Mp_h!ѓš4I>j,ϲ /Hvv7T]Pm{_~ܙO_ 6 g x!20.hv Sñdͻhp]R^gpEФ(-U^q JZgYZ7zXZִF! ДH]ŗXi%@hqJ$]r6B^&7[QO)ZK#+s/ǵistF5MVp4q4S\Qm"WB2wݓb\Zl55% wax-:%)\/n-<6bэcŷ789k|) 271ڕ͢`f(Z,}5آ`>֣uc:Nm̮^4Z|}դ(o+iPqwF**vd+aؐzNbb`ScI8b5]3QL=5)߉Q?"RVBQ9E:ꟆP-- ' կsScug!e_K%S}Sϝ^.+tz"ZP'PJ vp-8ɾ_,7񁷚Nf?~N{"ZKܺQ*nTÍ,M{pXWYWT@dgϏB6YoDP.`Fܞþ+O*f~g{I"_x@LQ\d_g,=ϼ*Wd٪eR YT/<&/$Jjo2u@EqG(B[QFڿl `dx=){ߡ%#JXh!Q D \rHaY.@^UvՇQ],XAPxlmc=&'}(;=Q3s7c|\"]^- ȷc x0܌˷&x'LD QNU]Q R9GNVHZ3wULzy+cbh״r LA` 3 Z6j{pE)<PbX`7Kk22PC]h*UeSYPԑ)ӧuG|֩mX:uncI&A:E}rirܩLb,=&'X0F5wQx i׍t(ؿZ5` T=Cn] _[HAq\33֦E. fB_4V Tn\Ǫblvx/\(}Ji~-Ms|MuvR >.#xm`YZR&I!jˋ|uǶ'vo{o=}\Ed\]s(I Y̘wZl]Z_yv q)0!UMX#=vn :.qd m {n~?|[PstFGғ /aߓsWOđ3yQ~{Gڮ ] `)RtTO8!>y- '-WS&zv#[D2ν;rj^ᰵ*Mxn~j[V}쏲̻ \pɼq/t>:KE Q\ ?sPW)ceΎLZt0O+4]<1 H):l l=^˚k4$: AOA%FS} <"˚ZP2W΢ R)@ེM*/ik)3zUQ(zXW7:0.yj7c|]M+0Z%=vR9,*$4NQn( d-J}ӡ N>4A3ߋ;^)s/ʣ\}>c+FKڮEN} Hb?*e= 8$Dl,)S\1=5QwSW'Y?1F!uv l*vTo.9c:OC ?MqѤ{)C3L})W l܇|g?FEg+ 㙵Ww.!EwuL^5ʲOXupm!O!v0#L#&Z&8ɀVX|&"4g2 'RuKy[эye1P6 'G>V G"%miOf z3I:%ǂfqƠ 3 lgqv"D*Ew!cƽ9؇gDMY`XΞf/(EZoAcX$zInDp|2ZB_UVB1 2n}DÀ~tC ?>Y'O3-eTlk-q#TOBp1 e+^@8/w V.N %*`Ei^)aipA!fWA`giG`urWrCclDx #>FVl8,}Qѷt%ceoW44g<JXߨ•K'xoM=^zB"τ%Qq4/ĦTW1X]+gd1HEO M9vD  1|"YYù~MJ wȢ4t(=SkӽsVM |c>p*# hk,w7f^Ƌ'aL-Aj,Qj￲CXچzSv `芖ߊ e؟׳{A&P;2DZurTܹ=O-˥Յg.ܧ @T2t$\ʁ ~_sD-4wSc}."ZBPY{zp XuDo;M*ۆEjRs%;Xpcf0E*vۢ/n@'#ס˹J 4`24ܤ'G..>d] ^s3WƲl,̢;ԂҶnp;f rv]|+T#*+Lb <':.Oti}f[lrzh~L48U\w 8Vb(yp{CImg׭[|IԪMm<!߸s A2Ȣ^/vQr[s*iUبCə R;V,6g0/}Ήd(= fF>@n{-+p8Yft}j) 6(El,r`?*H1"{MJS,VtϢx3.~\/N+eiD;\ (Y^5eiI6-K=?2Yw[3=@] 0 5$:G-:HSDU{{L#/MtEHxѼ/%|#1N< A0Ӽ9Nl! _䔼R5gaw_Odm=œ25sWn3ഒ7qA bܔ-c+`wz)$Sd )Q:gDB)|?&Ij;¸Vօ{̹6h` l`{~GVoLz +tԹ:$__Aax #^f-KEMr'ry#yܣi}h=,"xGqpת\*&bm"[ammיԪSYߞŻn^%c1^O6w"^яA-bbb5':yH8v~lYvo&U&X;^;5q7qfV#RK"~6N1-, Z?:csj_Î(R=NpvZ_?s>-Ĵ}gaatC~DVF+|nf< ҘϢῸ-nHND-%&y%һn19.sj_F%3$?F7M:xvb9S.XLHU VӃZ L9 ޣVnz!l ,"\pof!.d]c(w _f$N9"Rҗ5 eF4!}!Ȟ%-(($I%b+s?MC{$d!{.Ƨ[apٝjBa8x B6\J]P72X7+ww[,SEhZcyUu@D{_e6X. U01z!eHIY@q جFDa4#]q}⠩TeQ~佶78q>Em3$dcJHl\P~S'ՖO A{-`&_[|:sҺ`j.1`#*.:ӎvSh2I2~뺠OTG[.נm~"9DƝcD&jq1; u<$tw]&>K@ ˒LtZ " v]p4Tl?bc"oK곓+iJFp{iJRPg#!(4/)i  BOUו]WEa8^ ZGt$N%۠f0yEEp,>OC~ΛAa' ^% cAqYoO-wzecdIu/{I*{_ƛϖa7yKW\d$5bwA[2j(RW`A 6 h/#_qlc33igXxeo2r'˥r"kwmbqƂ4Iuy HI9n5s\Va5)#[4 vY v&ˉoZoU`1ͬ{i}6olwfԚ! ^>xyѳ8ς"JGڼ#|">lP/JLy{!n)^ot$0[$EF X"C#a8`jл] isٝ4$bZS0v^V J殮{UXgL\D!r&>RלFϷ'W^ywd88;#tALR*8`UQ[~.p#i>#ac3(M 0Ok4!iooyņ4(xB@ LRbۦT"ݗMemn!WYn}Htq<3uI$.u}QBtlDdH@ ~@upj!O"~j[{X|I̪n9,N֥Pa nFgMA/x&JğTum*%sl@i1,ؐ)!^)ϳNא ;pew"Ч8[J vX6Ǐ&`l1mQ?ЭA8kph? WCR73KaǏcVA=Zz+d-멁XZ=]H(nhmo)7eT!FW+o.pOp1nZ&y䕐ѬrUw9<3If^N0+sĉլSeCcV{uZasTKv܊g6>tFR̾]f5[C%=&LHPeѕ[SP8U<瘁YjOPԟu1μѳ#.kqcT4. t 35*\ȃ'~ܾFfcr}".׊VSI4 1aVb2R|C7mxs0\=Y5Kf#fLisE3ږO傃d^A.P2W2^<-sCNҞeZE].'?h_WMzkѴXZl:4W}r/:wgGT!0Fsj9մCE@t#},iXmDGCڮ9~w)\LL#eNē\-ެ)D.TO2~AʙQ[ۜ[NŬVjvD9gWR{*܄b"\j w_J}*ev@pR~O,@~fUN+l0ˎb5˭.d@@U(9I6)&E| ȭl%n"ugLr?Spj[O0qR7kA"^p5BG׍Qx0d!\ ⵽N4pdyu z70v}xN.b2]:? ]ӛCW/ۖGKoG4r\ut6jQ8bF/l}ȕWH!(OpNCT cS48>M1I <Yġ$$߭DCx21! ore?5G*K !>͜%{>E\Y\( c6uIomEbUSPB$ɽ/\R%Օ䡔K'@\"4$ u}H0nC54\qReQz"-,GF$;jȗ.њNZpI/gSO1!nl9ԩ+[_H.]Ep ?TDXd*@pB9+bg׌@( "CZ W/l켙vl.cVLR 5iw.5i@qğ6 /O;"Z8Ҫ{E5QMT'\F$q`yco1iOc82":y]$n;VExi} fAqhYVC?&MrxfiP6 o NL X=ܬTHFך9Ԙې{al*n8Uyfy%t1NNzqNxgPnrh$@@=N%xq^a)_}(q4T}GlXMq^{a/P2`yo_ 3ɇ6d0RhN Plݥ|ld|c8N00XS&|- EI}Ibj6r]8m; ڵFᓔ<"Zܛ WY6H9Q@ J1gd 2&]j7 :WnzJ8{>Q&(q/txKC\+mܶZ/d ==}9@sZ]%U[B  Z:#Lr/ dK({n{P#Rñ\!u&a@-("Aw MK=MTxX%'C.Fi,!g?hfI+S61ɠc!~؟IUpDIiOPV9 R×Q&YW0 )T=KQI.|M} [B{8QGBVn]Z[q>[7,9yv!o6[0jfT?>a_}ܬse*Qp&e[…`gIA:8`AC3$C)9K'oBz|&KԻNƘ-!!A+Ko\)s_\s[Kkꤼzb}D[F!H;ٮktMW#4^6%νѱ˫^svFKˣ' ҿ&'%_DtRqdbWV%RE."!˚,u3Tc3ϫCe'+М6r?N*~ēgK8Sb?`J.}E6 ؜Ҍxf@Q8/U &y UD0QVj XYK+<Ưqdf,p6YyE"ܑ n7:ƹdG]T,cp?*g͍j1 u5~%- x6#RN5S$]QXE殼uvnR}`ʪY`J6*Cu,Qh_DW-Un#ț,x!6.+:Jv ʱ.cWYMXXǮ z]ЂFW!~ȉ2j']:l|f$Y,$NH`X zA+row:ЈJRӽZbo7ղ i[j@լ:J5~R+lh8P5, ᯦}]ܪFISpdK8+aՔh_׹>UҫɔerP%&=L6[sgRst.B3|̦M_?tA'ٌBt4mԄ0lv/f;iy,ng%P_0jӰ$~TPBjX̡ :bϥf{vz*yLO^^6UFE1|,OV-࡚\5:Kܶj)1d#ԛj8ښoDfBo$216ʳ|tb^0ᄆF(& _08S`d0 29'ûAƊ5t؀$U'ɐ^ꓙfr7*\C|Xiɂ6a+M~`'B~gNJdxRjK&că\-:ˢj}2HƓ#r?\il!@kN !ϙKemA7[@X7%*8w`:09$ڌ_<!\8QƻvF .-cjի2!Ƈ?ߛ+]N a'oHόQ$墳e '"K''z{;FHI^TAKăf;yG>%@3/Z?H3C xv _Z$Hp7t@L^_|I0Q+ :Hο;tHZ-!v-74)slZjp$֚<|JCτuH9)ւ溨7c틇ROqXb50&HC%1E"R꯹J$`9wuYm& /|s VLTH'c[xO,Wqx8 %|*.Q]x>BKneDj q!l)0$7lq' gqL2qP;d Jao\i,E&ޑ$hlS('ӂ:ɛuTq[Hq}Lp$o!ww-N78?Y'(vcG:\TҌ|=^ͳ$g]FsD=vG#%ͼْo5vAGHu}ZTa'SJl/dh `|urZ^{=٥JJayrPk~fN/WҲ/?d,wL6}yAШD#|דHIiSYP 64ߴy^T4/@L?X#!<2{{Ihx@H[9 RG.R34PJP Ă*fmYmT}`w mHg)V .!@X**.RKh)R:”CLv}fXK7 <Ɇ?#:'7䷥0pjl^:=SJI?RqV.ؼ;`lk8]lƈ-_ pqš` <5 * kCbz>L ykJk~Zw=S|ˑ92i Sn+C[#MD~omZ?M!')iGB7.\ňU}˦S .DPKs൧¶ay^+'iX!@r`,XcHQ9ͨBTtX(*l;^[%]&-`lPl$/Tw-[mӧqo>,"Bjsl5iTcṙN'(cv 6CmqDS)D/J\nI@ˏ˺+]\TJ&&P>H8 2^I`o52")3Q98[ ulA'OYu(v7cBrb=˞V9o6F׻ZC ӆ[  S& #]-xk' Ji8+~W)NRr#5a0ty\x XlB t0A]jOc4aIM }~|l$0 < _q2/VTCԌ9p1&L,JG`Y#ht} gJAG~"| c =Ң֕y0&O8|ZAU(v3ai #ԓ",Y"V}TcM\v uYmh]R}~#!ߩ4&0[%}l0q X>}:OW9a43k2O)v=g{ˏ7#^;ʱ)ԑ{{|VNb 6OwOBC/LzY \: (dp+`jm_sǁPʨ᬴YiYJ—}߻x1cXBy'c0zɀO;p?4,|ğL䨁Ff=`=عrӊT1$q_IhXwGL˅_"?G g=M'<8W "Fƹڞm OG)<@:%l;`$_TwUHr K.k`"rb I$u8}/=2у1l#Hȍ&y}h;J)N=$"!+م@=z'ǟsBKoו]B>!ڀEA^h<jG(Jʤ54YXivwpL9=m}CΚCn3M>Ȧ_zPo'Q̠'k* m _ZǻLJ;kYx{7Zx@Wt7(Yy&]gߚmF,;1)n{Oԟ\ن_fB"BؾH̛:_] }iB򕬏y 24^Bk#iğrIk UuJݶ9-(ÔH=C!mk:L?e޶1}6xs'r&""tVDtH8un [I+юMt6h$B0,f67e+[P9P (;^yR BPD֮N-glT\HIA,&ӳ&@Km#'\cJ efjyim~ݾL U6pI ; !j' sfL| VbO"?D KVOoa3MpbBNaF m5C"[aIx`ql + _Mz6lPd^xkg'iRo`ҚYOuaBᵡzA)k#-ykMUF3C=1ݶglO?m< ?eu,L rjJ1mgЖN ^ ջAVp ~x%K7Lڕ6"_6CZ"G>ѨkM}ftܟ{5uХK;dWw(6>-b[eI*Ƀd]؀kv+8+ŕa|.sM,HNH`Ȱk߿ߧt#[V=B%\w2sr<#EaAYiM{_% 9Y][6 o'zQZFbzA+[3(ݴm0(Ycٿ뇺=B3a]+ O\mEkGO!~yPyh{ Ǜ'&23y`v=d_~1 :*8#X6;GB͵e1F&qg֐0O#V Oŕ&cU ܌x*LaLW-r6l̛ o{C"enfxVhO0蝗b*[}8er|v(K@[e!ގ.< qO/i0ܪ-\xXoS*ICOw9q5Ŕ#NA{ĨeoP~q]` |]tHipVd m&MϠJ? ["UCDQ`5Ot0IlQ&AX.V y9V<  -BcI=8D: _+PZETM/1>E-J !}$7c%h{*xbۀו|U!Is=y~R{1͉=v_A+Q:r ZSTak8Ga֢Nc}m#%evL~uQk؉fTiN`'hM_,ey ɽe;bо$^ч'p_I8gʹj[鎤agg;a@ rZ-'?`˨ug 6 _.0Z *5Y8"k-xC}bt:+nC_Mܡ:b,[hInD8"Sz0jOqU5Lw9 U@kצ?e\}w=/sPYaYZޱgYZ9e60fba5063045d656606b2249cac0de880fb0e9e3a1ccee455624b3686c1405fb0ec62cb06ce178 de0a1f2a4957e4b95cf4b9e6c34afe0b61facf97 9a19b2d719fee58f87cac76a2e5c1aa7631b2810 49cb2191c790f6527fc61ee8f4b80262ee3607a3