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   U1dT\ ]% HOL-Decision_Procs:threads=2elapsed=557.730cpu=1064.440gc=108.364factor=1.917zXZִF! I]ŗXf1-q恈ŕ׬[p){thgw~pvMdi1{:)8%".JYZ`օH? iFlյboeAYؚpZMq5\EN k>b,Z/ND']]8C#Z~KԎޫNs~PbZX0 m YZZ0F˃¯ѐa MM0E߀Cfy֋|Q@ҽ#[Hh!zYҊ_eep#n6,wh k[O)j?VieWNjm~fb]RZyWط6 1Ҙ5pYF{:dzk{xw'jy=#ɛkBy?(V̆ޒnl%,eQw{Zj([)1^'EBP>FaG/@WmUTSf ZFvc iՙ@uTj5 Alr˧eKn64ihǛ>O5y1Y0c14m9,lPd?4_B'ޕvA+瘝9w IlvѪVcD13_z@: B(ٟ > Yo^Zk%<:pr[ ^D( "9X30WR(_}$B;jQcMp|〰0ȏńN4zm松 )mMwjڥTcT`֒5`H7ИwrGyY'%3ʎq<NNW6S`(9"U_;m*?a (W}= =6,ͪRC,0$@z~0eb!.lO>9I@7IQ'?,>@3x?Բiq8E<o˹-0ܺCՆjAx(Up(_ LhVTE=]5`'\X5]xfMj() eI~Y˩c|%Se DƖGBvm8Z2]blqV}Lyz" z<7Z'n΋} 59A1r[L%$YZ|)d~aw~?RchĿ27 ɉ0"24x{r 0"/>&04r"s#JwGYwѯMvU/oJܖ+޲gaLWXCq8C5&̀ؠW*P1X}Đ|T^P DZCRbmF‡3Ǩ& DqW~]bq}lq4?V }lT }U69[!;r R6ϡD$"jn!(ӯfvٺOB/!f`38B ?rcIVs`JlϴڤP$b1W ڮ*|iq[DSۡ' g|3ύ<} Ɵn:z!=To=W!ZX:KZ%b|&q-3oInc lWΟMvRϘ_7DK?a^vWpW}q&>2m^q^GUF`&>:+Es5 U7Kk\ӻUw?#h] d)\k/KzasC| qI;Bv#qJe z[Ycw#ܟ&t|lWUEޘ5S$VM!ƺPzI3NLgo$'paۺT#cqa LOZAC}_Tj^/u'~i߬l-Bf%M(`ŅJgfPnI)wڢYQMmu F$P2"F녍s5 m](k\rwFnA NƧR26=m0m>cQ;3P Ĝ( rAw )-N`;f@^MoOB2y;y۫x ˒U T΂;_=AC#DT^z @Z`ƆʭܝǀKBnJ{8&cE>cq11vnj4fAJɘq/٘7@HfٺdOdMr[`i<#DKf M^$Xv,\3R'qyR r`mN4~L*PbrN>G_|,q Sj rmɬU;,W!ku R Eȭq4oLA"Z2x\R6\UR*Yo7!=} d4 ,,]TO٘+7<Ӥ&$k:Tu\fDΙV\J,竣U66Q *:eZ䕨>1wÚ4lWGdnwސñJxٕ[ÁհӍG|el CYȶ D2< =_!ߢ;c B( CO>@ Y63}'^6V,LG ~fTJ# n{q?ygYZ7zXZִF! ]l]ŗXi%;Hk1cx#Ŝs[/>M s[ _A^ ӆ, _N[ 1F"pKk Og-FڵHKęWBfR~^K;]j9 ?bTa^/_ɑ|t\ۿ~ߴf4()cfrXq'`#TN,yz6xL|5z{+K\\L *XΉrBYhWy"U֠_{$YG[= Va4*ܡ`@t+'Eh[wZU<=%|~)>9;z]TC ~Gt 32ÊPz-Se#{ut)cFR{׵}*N0L2V/zM+Ӿʞ}F1=9}JLc-a=sGjr')}y$[g B[1ZӾhk+dB4~*Z&t )}q}k>3$A { hz VO 9A,$(RhI02q~P;\hkxRv|+gߴ^1{PECk_mhqt1Kb|%#d4IُoSQg%[E "qI9ssA8"w \st@"VrHt='/u5d&P{:7R[7l$iQG=0b~fN 4|T`FgNUug5j=1;7HK_ Cr~/0}!.4] "n5 iS05W dPTLtçA%y^`4mQln)u9Gk=/n{r @j2Vz- cJį: mH3 G/$dbQACʻ!F@G}>`MmNG=!5y a> 7Bd0*爚^4P%A$NE!3Π]L CB Ǣfj7СdjƮ*ee+EfW>hGKY'hq$96-V\ AzhO^r`&/9.fyfodKr'!| %_#;F!wf. [FgHgK%>~٫u|_f+8ԏ~yKzΨ96~JN*%VM$}iG /?!= KHIk kθ'&n2ϘQ>r&d02zp{ة%@ -U$?OV藷,Kp BP4jdq!_v?||JV]^=tbu攃5_jD7~AYH k<Ǵ;Eb)Z=CuZ`Xl8PeT~w& &:==h:WQve 7F-e`{  -u~ɔdnn feR9Ա@}Rpu{7- d#ɾ5; "Mɍ7u ͦg5|Oeǎ~+f3j #c33?X/ܐv 50+EiƠc h]c~8A .QdKJS^ÊK8uWه]Lo2T{:0A;8U- xLJu%>NI\!.')\ƽ!1jʝ&MV1_ꪥ4[7caBY vʨi?ݽ;.{4S;۲!'7 .~TjE0 FmHij?/-:K;)V.Z :&;Fc\_F8]tHvdXZn>KɨRNB6֨Z$f\iMfkz[t)7 1N$B'*`~Y|]w*TlIH:F( JFG5B]BcoxG4xN Vݔ4 ^\!\ѬupE(׈[0{@@W ~BY~tW|l-m5 #}piL}-,6%D!)3&Q׏_ݏjB6"y~5G-KELJE9 mK1@?h KԎ~B^?1Q-%5lhh=p>T ,ܸI̦2O.'{[ip}Z@L!TON  &L ©"ީlD.@ 'Gͫj)k@H|C5C^%8u1E#gt_g݀.<}h8Qvt|!# BHGRlU*3tSw-Tb(mCˠԹh9EKKc -9Kj=,Ijq*OXTT rc}܇%j;I,".>IMAZ*f@Qe9gPM^]3H) i/ 0EINՂPQ'\1T۝Pp' |uʬwb0 bzr-PH7! SDŽ!K@&Km}ilf`#KMKkƦQԕr֘yv>aϽwo^5h7wcCFP?jĥWښ'c3õ&CWyOMXj8a߂݉!R8)vٕ7P]}ݢ^u ܎CĚ{<{ =py{krֆ+9m2q(]<\ೌVG2c:T䩓),_p2Z/)Zr*3poݫ1; BLԎ .@ Gfqo1[ VW*%PbBR0^-Kik xNnWnv,RSNHi\ecKY|FgVGHUPsktnد&Y#l)n !=Mb4M7B% pbV",-~vRw4Ps4[ X֍rUC@e~U) 2[Y/9gG9J%G\F8+gbvBH ci%}e>D*{Ymup(U+}r6|>3˂mQy s)7vr^['O/5R #]lbYs9/WxVXYJWe=JRi wRoʉ7霶25-5^F] R$t?:_pxM0D4c*sF@pcRy{W|)V[b9HOj ̝pI_3i. ©䢑M*)\J3s[yS]ݤAwȷ7zk s":]ےK=qxY3Y3soT$,LBȲjd;@neL =.鏩6U|C&;U+xܩsW mev=2￀ aFVN݁|Ա7px~1Ԋe _Sw EM<LبvFpq e96[}/Ѷ#" 8JXLfɌ:T GA0mQio68nRT`aF:̂~ǬJ3]{9VIu\3NK}Ơ[WKw^k?,3??N;1E^8SLXwؐ? %PH(/4.KM;l.az`dxbW shK-/?;mj㹑K,ksaj$NI\UPbP:{!w;5ȥ0I+t>e LDڻ[=p/RDwdh|:49mL. vk0T♃sQy&iھghq9j#Apv' Pp;O#=0(FOl1a[wݻ- !S#̵+z'puE2npإ spknɎy[@\*ٹj뚗&f?u zEڵBۻB"zۮ7PrJ9')pSøCm1q"4b.ii5❭(pTDgRr|yc x4CNunx  GE~?]lBnYtes4o 9 nn)?LYaZ7_ 8Bfir14'Jh; 짾Uef_TXn{Ve% 9,9ɏϹ #0?|u]/Q9*0|bm&rچ0tR'W ~?EYJcB~ g|c~XZ9 6%H![|+[a"ؗcU99)q/tOm<?y*2@; J72@hYK# =YΘN/XZ9܎aFQP4WvO(*Tda{#I{d3E ֙`*rQOo߭D=ppF2OEn"emXI;:6n>GV2-Pi'Oh@@\T%{Cj7J4,T^{dtœܝc`jw&fLاfLNZtx p{΂goK 1۟N7E[idNC5`șΔW<]|&Zm-N2=dnޝ@^qHzџX=ړ8e$綖 ,.zV䕲m[ÕCC6~H 3.f LeǗ:+>!V.y px[S~A#Z(h =V;x`5Ti40r?$YoLlYrEda;w1b~er1MQ0UIDLTLٕ2`K\yi Mp`azfc_[J" >E/C`=m2quI2 {v\^h${AlӔ`+ VXل $G uKϕfe'_FPpVۙH+Zqyaa _lxqTִ [! Tzi\)8gXgW]6mFH>ښ g!)1}ES78`ג܇OKAcH{RB#l{Xg=S Yw-F\j(ldJcT KqB!z:ziOi%tEW3?[s%|w_N*'ࠨ,'uB^J% |vQC}ס$^V&~ Λ,غ>΍Vp +9@&E2r$Kv)Lv qƻ;q3Nc;N{cƜl5E}Mlǜ_L"$t0Iϼ6׋,EaUZ!cl %eA"!ZP)}c@q*chnv6'%da6FDDAQ|<x4 7kJ;x"#,|GSᐧ1|ױ ӤDQ5ouҫbߒ$yrZzn"_{z<׻١VܓT7Th3ߟ>)4)4ZL@)mwLbR%#)q y0Imu<ɵ/9ͽ |Amzu'(f}a;YY\+ oy?ԁA u\!Vu\Pis°9;aw7ՕXuXāUK%?iý0+m *AEəD'h*o4)Ryo0?^hJ#ll[_QĐ!l=h@ȡ|G =5k U]$ij=RIZ}a#W]c9cն KA0xy 8nM!;"BS$\dMF/+z> WeSL\VӘ8GMQb-eq^}I7DҼIb*ݜNC:@K4HͿ=h814~ *drl~aБI~Ӭ߅G[b*>g_olS8d?=1|ċm=ͰY Yw$h<ְRxJl>ͥ ?`=ɮz4EBt '/7J*/ܻ4q$Ϊvg7AǼ3mIX<xhE"%mqm(L<*WA;\dl2zL>Bg\ tŬNiS *GLH&-_ijOtMBJ9pXcc\YvA褋S݄}kߋ/~݀ &h5XގaLy^RDVA|צ2u>Ulʢtk+M`m hDP6q5oЃI!gv6r(!I(b@u367k0rּOяSӂR']XG!- o[XO0P%B[Jlꤳwӿ=B/{x͚sCn^0RΤnĿXY7k|/uYV7L{ƃY& UAiilrf'\\O A-&L!܇,6\&~ε(8:_Jݨ Ž._K;BQ *BE/jIh!m !s%wx?0-p{/E+ć2V= FH *%kBW-1PS4ૡmdڒ) ӽɂ{ t-`ގ}B= Wx9U7c] xLs५X_ԃd ;ܼvQ Р) 9-09Qh-넊bI^8u<LP>c)Ƿ!)Xv?7ۿD"bV6.[}ɘDղ{MR .sR  U"Y\xC웏Z tԴk b[@pN4N wr+x"HwYO٥{`!BM/BG='=e2 +79O@Sq<j|Q@D`,gGʲFXބj~ ?ܰ$Bf ?y }P>IB#'#_5|cwbq#{GǰڞY<R?R@jtSNz `!pu]KʼПy_@[Ktt [WB_M ϲIy:J"G7Ҧ<.$H4 6,p7W ZH+k1.+8}:JFffGa#,(%NwQ)3izl]~R̘ۢҨBKG!c|qX).͗꼬 ?UH@j-q@}>{w]$@y Ee,t(ɥi$<)SI6fcraDGtbGLo=a0;8ſeu{FtlVݸ}q ! Z=v^}:|K$]4dlp|_OZG,i "6z7i_ !\#z`3uC>mkۖ@!h6gN;㶔٪E4(Lhx#>60G3CM=1 i.K7 pF:Y2g[`^.xh&`-v~ ɖHq; !UT|uFY]ۘpF9u(k7=u_N@$򐎓D?(?t4J:yǾ85YȦϭWc3!{PR'bQS̝jQc+۠ԑ!.rdl@f_ޱ9Fvs@x;fK#Lv{mκy#brA$6DΧ2tiPboO *am߲{1QRk2*$ dj(,s&_9_6rTHOzq;…L3jSiIK&Wm~rcZ{8A;W=N?QIk3ަ:REECi`ec\)zz-h&PPƂ}9 hWagՊˋ!hJ*plj=6(r:d)֓QA"*~>{ݛ<NM-ꛛQg˭K<@<$b:vG;2Y(++V{B0-ǿ(z %ΙT5E h^f%F[Uj6XQO_' rWF\Y% k "u+03C54 7mO:øgt6sʖz#U S;_PdʘD@}\uSh"()`5]3U*& mZ?˜$Vɑ@PRںN+0SHn6c}~ZɆ.`-ZQ>+Jܫ4 \b=}ر%2 pȇne#Dn|~Hߛ !2Qn<k _χ0VB aa'ݣsjƁn& u= ;l|W'\l 7,ʖ_"$2t~:Q?JdB`^d+| @>>}÷#j^n3:ʦGdUˣƕ]}\Ǹ;rͶJ kPoYAd{C=jc.bv ne',B6kn\_M~OO+)%u΀kjG4 p$g&JUYV8va)&Bd[{W{{5'c9E֫VTٟ^SӇ}l.Lܛ"M(~0#KUK,9LjH%42 #mq{ARKA-dOh5$khT~?fᛢkkj9#f"O=RLPR\B#b:`Q: S0fz1r!CqP[NX6̕,eKTVKBv D#jЅASQ]}:PLśD|dM]bi16WbD6=I8=QT^t,ߌIĩ!ot<HXL`oq0 NE{Ʋ^Q9+ q38>#x;~*>]./FIEv)@DBD dWPӷN4Wɐ`Gex+r(6(<&7UP)jhW7A.Ua-'S[~1*JNNJl"reğPD H2Í},N'arM}0~,&O3Ci(k'(EgզJZ>[D[U.,GYe9RogÃ. Lfc©(ue񹁗D%2h+xp8Z t40[XUö 8pǞpl$^1WfAtjj|It%.1ʑo `0w*KGE5Xm5k)S' U\Zͺ@]te[nCM7K$';9cX\bF縈 <J1"X\$Xk@3|Ԙ.H,*_4euKfًl]倀XD>'MmwH2`yE\9挣u}Ay o|'d‚p=#mT?[r iQyVAka< W9wGrȠ:)SB6LW= UahD  u5GUD3R O33Y=&HO;iг^cme9st|̂5cЋ;ԽEb+Mu߸u1ʇBb(GHL`ӎ˹TulӸxf!Fwj >OMvA eE 1aU)\"6Fr `k'tMͼEQx|񓗃PdI/Â?#N#Z]K󁠌܈w,0Tp%+;z57K"lcHf%qk 7#q{1A$S]RSzRNRXI5lhEdz {]Za_R]Z_?Ԍ~_TsгT\x@ynH~j`Y[CG[61JTdJ9%Aq.WU wU֍ Aշ_§A.[)@] 'Hbۆoi2/aAm/pժ{-90_ \U>,t_*x׾4ǷS+> tV^C!vuMA%/]fDcoBCDhٴm3 %LM $!<5w%vOy?L>@Z|2o"0mjf<=GU Eɴ|[+> P^Ϳ|jL'y;WS6 |~&fzqerRpٱXXS.<|hΈbƌ'2)ɞV3N! 7ꋥ̱8`68Hᦲro533OE@_2bGf54gh^mDm@I@Mu>Eq;q>#0ΆQah;zUY5emFPƏw+Z0SWI=0l*[pHB`(0RùVS7#ء{ԋzt¾"=SyiDwUE2IAirn6X5 J<K1J~_sI_[9cG/*t?zQ+O 'KxT~)*@`=SB{%|۸tcXkz^IؑlΧ/A1oj K~Ve3Pw {^NdbB3!㍭~Gx8cV_QfZ#e/ ;&fM72~!lgLP;,2EǔbD6dZo΋a* UUNHtZWqRI)/*t|3#m2B#Yl6d^Ħ]msjHVRH>h{o;NOH=Hw17Zok]pwےΚ5Ljzl.+ֈHSUlgB=;Y6 Fu*A(ly28 {Ԧm'9[psʿ9V}YsG 0{^Gsmto>-@z#/ި4@εؠǓbȌLj>yR?f~F:|~!+<&q>D!fBnIh\3Z!,>MǒE"k~:|aR,wv)X 4sѐhDw1ϳhtUz3`G|nn )O{ 8kl5[ڮtt\ W Ja #pC2t-I{\ Y|T,rHC+'`7VMH$n} )hB&z MRk뽊$^؇V 93!Qu=r`CSRm\z@,7R h.6E37(ȴEhC1X B܌P9g+ʨnJb6D6BGN9l䙰>O,W(8|,;.p+Y-&~@#yT݆[%YO/$d3_l0^žm(7Z;r9G Ni$(V$IbW2U-ǝ/؅2'N[٥|S'RiQ͢!YHW|orFq7R֝P(fY MYFK(%rxe@6j1?v0ѾI\w AY9R*¼E)YSBRɐ\'+i!{48uEDn|ĢcC1xHR}fߔ.^0k8řؐt <$Y`䮡%T% w>W`\]d4nVe{tnIJ>\A}DO0y "N%y<9N.4TleȰU֟x"Ju0$g<̗jyD\}l/3uCO[v.aН$VG£,YMlG_\=2KFˢ%p=dh%usVlOqQbQD22:*k?=Mgyb\\zGwk7FG}B+x=˴u֦`]4[TB^$܃j{ CHiF6Li'~=PN-+A> Md@cOշ3 'pg0ٽUNPm.0N#νߪo=QC|ZCsh)}ލֻhRCr = ՌrVS\@\#ThDNq֫rLlƨXqJN]e}w:sP.r1u(gB F(N]]gsJps>M3}%uӽ.CJT#1:]XKLJ2^ÔT{b_O)ZW(c eK1 &-aUI^BVb ;W8A z8,N(f{\S\C)ģf:Ɨ]mJ.#CZȂ;z(ho~ 1͑YWXpPQ+4+:'l_ t2<~m|AR [Jh9LT^ JBL/;/r+fch.eTs./_ƨN3ij&xNgAtez\һE m^ yQl_@_3`a݊7hYc(HԝT2kY^{Jh Pz,{]W3PWcN3r֪)[ ]7[D1Is66A0T;8hŶ'#ؠl{tyQ\ڮj] J"ܾvc5Q)yԃ͇}^E:vPNhCddx{Q"Z>4a&WMog ?SK-R{eLA7.zA+IWVv,N]fx.I%Fz(Pf[WJnDM,jUpCҳ-_SAQ!%`G= ]3Y{އw%tbNUނa"ƕsfHӈ뫠O@zHX+> 궶jmjr#ƫQrwdiTDu8?yJiu]oؠ --r-E}[۝Ɓ Tٕ qd >pxסTވ-BJ7ԝ Р-^8nJInģO liB+:Z@'9EGϻ,A A^Wk*wNHGaqZRP*U=7؟Rl}ֺt%s{d>h[ t<^.-s8LR ZC"_r(H@Zr=#q:cDnXZ7jX=QmQ s! tB z bTRv(=jqKa ~:=;R[C;B gV⽱ X5uo1-r1?TNk ZECQIsH=NĿ=4'r'$Q=~ u3Dph.T2򿄡n+gS%]2皬 g @ y*u:-$\e6-TI5 QQ^(u :=M:&|1SK?Gj-dD9i<= 4]4#`cOUߏ uxxWw +avקϠFuֈu_S#=g)$/73eR}68S_;[ ~8چC!.en_u Iu]bJ$KDve; mQe{X-{P"_UgJv?>3FG1dZ#žx3qvwa;A Ӟ(:ttzfnX )g\qJAƛWQy˪jO)^Ù7I"zyBk4&wP0Ly/&TL}OՌ%_G@2/^KTeOgYn=S*8‘sgi_" aQSWzRwD?LM-ka{֭sj\:y~y4t E My=LB}K˿y5qa&uŷ)`[ ގ L[CpԖE:Ɲs] 02"HUT9.i޴;|)h\!:Lɳ}R+P㙽#bluZ*- yaFᄮ,ۦdAF^XpPǷ$Q\@7&آ5l)OD-:kJ&k.h[`@e/Tؿ o1X士ǯ8NȋTmߖ͟_ w9Q^UY7@9-4/4d銀hW[F\ ťS_$zct/1^0QP>c_%\B IɊ7Xp{u00U!Vsd0OSk񸱙JE4 |Nr=93fcpƞ2"c ]/a0xⅤ{[It_No>7 qSD%T;AV`S1iaAt)S%+'ى>Ơ~q>|y](o!/0FYᨛ /n6?G7{տ+bA6|^jTeȷY.t0,IW@@Z0LЙe8 EH7%pM"䌁~ Gh0*K \h2đtT!xh3#!?!g?G2ha^oWi_90(ՠ`h3/6"yVm5܁)Ry*6y#9I?3J).[&z# !zƠzQ)Pt4C ,?"tE'tLSWA OU1e(jDⶓ.c/I&N(tOQu|TɋNJ M |-fe~_E1OHH-';OT\"LaZp}M#pPR<ץ0m8W Bcyuw2$9.H˰1lT|S,qrnzEz=wc1Xsm\0V"niH'ڼYhSQ 1sDmkHc⇀>O^OjéשeMy dc*eE Pq$(Yd/'\#]b痂E-K_wEGO3t +r0}-8VoΠk3G/wzu$W6D}A3AOQ%FM(VofwE3z'wCЌ}0`n m *4p32-$݋ 2Ö1/LskX@(Ѯsn(2NaH-M  E)Vi5Ed.gOC@8X,ƚ YBXl\uHMS&~ZFvo҉"<_0-}Xvhҕ.)7l _6,p`G7e<,b؟.Ž݂f)UH IJjAYkn gXt|Ȑ^Emlsϝ0X-rwT!lo:gsEqb_8B]M*^uG@j pѝ[xKq`__ rvcO7lu< >;pc0Ƽ2y@-@sG@|f^ͳH&43\UGWtYρo3NK$ק 3o6ꠒꕂji.g6G">$1Rh,~;~Pq(ɇk '=4[?́[`'nC(F;r]q6O_Ü-|#{R5f˼UU';Z^ .TI{twf@uxu:Δ3/ߚ+X5555\^^ 3- 5TFYInDl{$Ҳ.%pN/#20݃/#<|6~$)zW|ϸ+.療,"HZ$F{y̬Hxo6bN`Λ5 h1PAa!.t߃@P1G]y}[g>O\>ntxdN"5r5ABMFm\uqΤ 2ڡ5j/^?KF15; 8|| -7vme"p%%Z9 ˝;a/b8v/D$X"@aMe^-ݨ($ fWHӐH$=6e<cP^6m$ou%])yl/>{Ec-)>*5 A, _`I" ;yհ<G-cwޖwށhDT>L;;v s8ovQdSY_']Y]t ZCfccnoHkإE-pnt%x!x )?/Q%H!ݱgYZ627ab82e34f2ac7c0aff7a4130cb1e3377639d0fd50d23da2fba2fa66eac370561c930ef78815f64 42ad9fe34f8eb64ea2663c9e76a55f6c21a58507 2877564e7acd01abf35adfba190c1e8503a3502c 402023e83f3897d1f9f5b9216e69f5ef2acba56f 642c5c8faa9e2bb0c70dbbf04a6cdf8143b43e21