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  S$ | ]]]HOL:threads=6elapsed=201.701cpu=685.520gc=48.028factor=3.407zXZִF! # ]ŗXf1-%˓S, z!ŧo]uA{D"D5^]3ǟ ^d{ 6oN$0(;mdlE2Hzx|[a )ე&^}W{度Օ _CG);Zk)y[X9m2;&X"U{gUl=AvcOlIk[U;,P2jsAn[FV,H8EM`[c{-4gx BceGE# YOT:w)郞#y[e~!Xrέ(:guFkDKp<~#[#} r  HOL  ~;VW <[v*Lk|*k2U1̛S@@4, ;I-^3pPq@ZuѫBFWXDթɭx(K]^WjϠiO*3{ 36q fw]9RHg%_30(Br_ٻ+y"2M & D֏􏓤UyV>T':!t>'' ~+Q lp7_dC~!\&0bnVp宻?MN׏E{Ui^ 1CTZ';s,j@IJ uB ?µGw6CA{XC.Vf4";80!,=7Uqie X.`TA`BZkJ7_R1bk7jq1̆%Aɋ Q7du/@ϣa J ɭ'2`p*ˆi=E.F2Orj%W4^^V\|/iLjGt4\=fsB,{RHBzw^(f~tlODg|(a.z[oMdR5!,ݽfo~şI?T$-kњ-1?Ӗ7pEuu"@rD0/nDa&k}=VvWx X9/sT"](Rp@5@=dQn?ƪټKWm 7`lG BDyYΞ)F r9NMKtnzxaܸ>dڏ]%ie}n2΅@7PPe&jwRtqbZ#?Gx/ /^m>ų_"M7E{ЅO9l=8 FQ/E&>P(̀畈X֑{nOpoiQ)y`7lrݤ̞I |,w6Sr8fT-+ؘŃr.*o5f3h+vuo鯷Y|jj,D,3 `S\}R&`7Ǐ%O0-q"ojǐ_ԃ8up%aLugl-&[`iPi]r^&v=mA,7yΏq {͝55yB<xuwRX<~$|Rus V*Mڳ'5Y j+ Y57Ee3f}DҔ!͍5]eyj1UA$|qSrұ+vvŶMو/eG0;tckdYy|Д $Ptj"1+ BJ5c2({cgK\aETva!^bFt*TD_)!P nrl˙z auJzkNVs<xrfoal)#rD g*Guf'2t), q^"B eyF[[PˤUw̧IJaҜ,>" cPE]|0RЋ\z !N9Oۋ44e߈Ɔ2/m7TcĠ}ޚ^״26Fk@Z \iWKD! -iܔ]$Akؑ4,=6GyV8SF$BDtgMAv<G)\PY~ uO8m祳!jZV&}R$8dvޢ1Ie T6U{/sU/daݛClwwAa˭9w^p1gxBOQԎbGqd'?'} +KP]6 VD4}}}^tەN4%x/WN%uS毄rCύlO`shq+[k0&6ЧFܓc^E]! @z@Bv*Țg6)dLW8FU- ~-u 3z;3kT#ߖ7jGT~bl6vmŬс0*B̏ރkU(*R(lax7Go!͒ݽ` l؂r/^-pE1*C@o<1w4P7V/{$K 5aW{Q(lTs.?/S}{_]x$x'pB?PL dۚ0~8=y=7"ͷ#Ġem}TKV9 q` [O@^#$_^%j G'8vVn{1>Fat)[d`rfL9G:'s Ǭm_YPmZ0OѺcMֽ M?P ,.c.MN2{+u0}Vۀ6DH[i]M#t=JcyE,eu5;=6ߍϡkՈBY[ z{nE?OiFjmB8Eg@K? {ݝ]y0GZl9!&k>޵3` NdCJ.;jlB_8䐿ct0j<]@K &YTI:lb Mᩫ-6AcBRX u7vr+( 8K!0.¶ѵW\'޼gM"{ bYbJX$lZR"o-* A,Yӎ/EY%d IĶ7#_:>vɼ&iE{}A'a\D1UKBlTbjΌY$~<<<5FdɂYgS``H̩U vXGB rx lnN[YNq8t12ۏ$7KLLI5X0.ě?sD+dSƊ5$N Lr@8D:ʤ6d}hBiPyV Ap>i,UzÉ=@ӳqiޗ 8_cSn{ΦRc fqلs3wqo>H6qFP $J%sMggOj|fIFI_Oc[\1t,<…NbB-6oR:\ƑMyƠdRc]#Śe3hzTW|8;h p4]d|wl^s&ƐO覥.ދ@ 3ֈᰏWY _zgPdΦУ14bZ[W[E;8P;BE4Y^Àk7 Uu7҆|L9W Ա8c~R6Xf&_7֩K}"Ff'A*EP9/PrwրK?kDqQs] )QE%'3=JW<9áHmr8pt6h#79BӋg.߳~&Zr[^Nor[\[u۩DK{&gT;lSl47<_ugaifcDe3"A;mgI#(H. dj m|Yhp +d;rQ(&"Aw3V5)b yo^ڣo'@sQ$8,L1%7?Lh5S93ΖQ7Q?2{-Sip66G~LC-ϓ/&@Im(Ìx0:z >2icEnGXRjn[*ig҉>784DH{>ڑy)0R$~ K(aH_"ڴϪXe0xbؼ7/Z()kt6K Uk%7ٰ?"'aHПa>)lj~"T鍂y=r`( ߤcCUhwӋ n%HHH>G+Yl3k*hYpl`Ie~Gzo(n)@ M]uQa`gsr?`s,.$U6jox$$:[汭@d&܁n\ig(S\3&Zkhx<[ay逍KCfFIwU#LbªN`gk[ [ڴ֯D>\u 'D9N6w{1~T] '8R()Չ#d@ܺvJT U0"' #7]3?>#zY^|V3 ujq2V7,QDg%=6FY3_ \.q9uP Rx!<7߫ ݡMQH8'yVuRdk>\j8l d / Nީڟ l̉nS#.ji2?Q M Qnn<#axɬev$u1Ix*_Ի %&! vn*cXœ;y/γ=Jh#&܏igx!srCrN=-%]-@{;`j&FVQɲ$ :'1HLIipӐյ>{W43qٚ;DŃ;j(zdW %dzH &>==h0:dGWxtQ  4c`UFY"sXjǞ]UݚGՠ dpWH(0 nK5ՓMP,4b6~ꓯϑ'gB!V@KUZ1Vei8A];ĎWS{ :aިXc[Sw=xFr~馪p{XgQ&uj##:+.VV9U'"RܱJ5Aٕ9>:Lx(X8L \`3z4<.3:*B!#n]krj—QO #p{i!2/B':*5XVmLiFZܯ;&iMz[u_wUۀSQ,gFRb9 Dӿ^}$ͱބ ǭ5)e#hAf{zrz 8< g0nL?}Φs>H/ gYZ7zXZִF! i]ŗXiɟ29aoʼz[%U>EM!!*XK?5>c~w,,^yzKo}"qfDӞu! Y,a_Up3Nj3wy pOhE ,V|3 ^#k@uS'>*#uPc9wp{%8+\\7lbnm}n,2 PgC=pt`&etG]Ʒ ^2E:Sw\mD"Čkl}Q^ [mTڇ1'ᮔfҋ bHnnqCahq!Rb( =PB3 p Gla?QtxUYJq >mG ߙOiPOںK=k?ةKK'-0ǃ|#"W3 r:;3j?jOQn>K#=ҟS12G8/4.Fxbf\fF~Y%=Y%|O&jN(%(~ B-(KQ3 !TK<0N:Kl>#l,;Cm⼶*rm $P.=kE$s۝c xNW_o_z3lE15!fw&* 0`~Pba.buf83(1(%r;[,0T'HXǦᜑ_tԼ!{XNDDkt~ť#=EfZoLYp"O*L*q FO?&.AJfx}1Uȿu$Gt2U?<E>,T>oE{`PGoPkJ",ԩjl߮È g?asjW:!&:8ZGv,A`<]^1&*?_(ݥNvA>l,/Q%uFP;2Y32j#;$$ά:8X7.yV"[P_;w)`c5.HdJ((ncv"G;xPU`6ڏVӳ?a!&u<ӻ G /A|!g`X$q$K,jPj3] پ(zقuu :?K`IDEhsMM5Un[b FQvkazG8+}(e/e1vn?kȳY<1MM,t8NJSː|N6eL~nfȭNwzL!H g0nlO`0L؎~s<' lOA]zmt!h#p)Vе~ی`#t<=|p}~R>YB{= /[})0'6O62s֑<0港-Jp@_ N3X&EMcyL]3Rk'p S;nLޯ 偗t7nm OD'6T0,;^s_P=s:3S )?QB ue9~H. =,4?Ssa2Bwb~K?HM[o!WcYd 8WF}獁J0#LnM.Y'{W%u~-#ܰ6D)}ruwDޞeUp]yRp'"VNf`V;#證38*o"LZI]Ĩ 1/tS.u:.TgYZ7zXZִF! YJ]ŗXi%G3o}VAX`8Hۡ%'J%aosmMfy%ˊ h75e>57Ճ )v DvϫPX2~z&qR4r,U@nӮQ@ gCCu*n:bwcX y@.:k A;Ю؍Q(MNxAs@qafq]+P@cOjck8>7nZSt\kD4JWM +bF4ANJҪh#D1טRFj{/.ܺ"1vO9,iNDhX֬i^ /6aΕQscS!BzS_=//A`O?=D61r_+Zzb5Z4J]2:T]U!1bC<2ln*tA8ThrI0J gB3WnOO7J]2+Zc bG!,r-)ޑl$R Eܟ O&6}\hFM\֣ ܉>˻7ª/ɑ}nh'}۟ {/I9e[Պ#e?NJ2qԿ+g|yJ,dJO|9%3Lifuk]ЈZ֦cl!qL KA6hGfDszT6jB/62& x]t1(ɥbܟJZ Zܵ%qM]l#(~cY[ӂ;KlfvL$zGr`U~._nslmh Pƞ bڂsom:JymNΞ%k]/8h?JyCxb `89pU y9@S%뱒H(1 ܡfb~4{Ki3d$m ʂm{H9wcQC,Y'g0TTma }))/KU^1KdWNFSísa%Up/lψ%B/k;o@7ǺϿN6=Q T!`~1ҋ50k.p'(8  xxBx^'gWB1p7 M >S^$q&u.~1ǝ_ p&=bާ4(`\}1.C&]>k?k Ȭuve' '˟=LO=$ Zt㒽0.{T%bD츸i ")Ġv Ȗ *u?#KM*I?V_d$ۼwJ$6h;#5OT3E =r]9h- EqM`/$kHv:߼RrS{ߚjRJҗb'}qЋ̹/tlV6i4>-xw ӝ8(@ iRCDI{e@dӐ.DZ=A<ܭ\a4Eq^@NK<#A {l+0ySRBn("IN%*3<aGJ,mJbdT8#I('vD k /QLHgOag ]Q;~p/Q>'>SB #+qr*J멌Ҷ뢑[@N<ƙBn&HF5xqvq}(f%hu/NmOpc/1Bx9Uyg.Oxwb+ -4V'Il} v / SMZ@:7KmxkQ.fmr]ӣ˾1_2/>&NjMOxkKNV#zwL>qBzoB|c? 򯪆0ՊZT&F(╾M-h)T_#~!=sޅHdyoMI' [RS ?P슫uK^M+ɇ/mdnbYL3ƫ ^;e~8V@} > o!( gd}"a0O(jripLw3H"fd/S5G Q5A:D9H!+ZKdpcch X)>FF.iaqkzpvMG :BZ= `~Y}H'$FPzl L!xb/cH ~Hh}THq#N)BK}n?C"ߴn?k(@fUKTh5çZ LB,&0XY.1jPd}˦YmWCqy 'ˮ#,#߽{׽D\fX7oM6 y32Ǫ(kqO_|k!hMt6G"lFEq:]x/R֜8x ض?R'}eiŸjEzBuD3ln.{f2YS}簎T~,wПC뛱c"0lwX$ Ѵ)$}T=QsL!F [&BގUW bwlO`-5SQuPc?T8R}wc\wE`<|glFl6f_`\ S؟npY5Q_D"c\> HqRmԕ @@F*F'.?O.;Y3clt;།?BC!&~0〚8:8eG=##P+X99mץriڐ'FwՉ !FOsSDf$e轹cՄGF"mV$|qW8X?~L4٠@R5]ғ#D獕پ&jM KP9mҶ8#":ѭк\>'{pzᅦ+BxsƓf3% lѩ^u?;wvA E~_V )/մfycGB}v(c/3XdXΒzmB*/&OKru 9Liozׅlvi rc}yfNOԸ֤ EJm)h(}[cQQL|TIw0 |ɂ % B;,ŵ3PU2JgYED<֗butbݔp}WԞ @r_ir'|4QQA:b4%+RGSxɭ#۔K@&Rјs+YV, ZFM>~we< OG"Z#&AlbSxPTh^JUvwa&ոZ%Ӽn+)Pv]kdhPSTX?\k5 |X#{4*Mld<H40L L<+Pz`j0`DLrqM^+3؜9c ~G`QOҺ^\ݗ7F#6 @1Xo)=փ]S/σp f uըX3ΌJ{C h*C57FP1͛d;G4c49>X.bx>k0(6Jnkp>< @cthd=T!w΁pcKY#W/6.L% &q`lI 4\;k삝 *ucՎMqrf~M]<t `ϲk VtpXoTg{Vr쬗}aM))ژ$u33'=4v\̧6~ȿ0)}ɑbfX~Aح-nѼ:~ZN:10{b?6_P#^_"K?itx&xpt?q%op9頍4 h8! jh 3A$h6O`Sq)`R&6o {,m14kvI ď|_xmSs2@T}yW'c:Z2w?®Z{&$I7>ۇrڇaҏX"SJA$ag9%cr/^_WqӘ.aDT27%v*14$j|%G]x9ٔLŁDi >ʑ7ۺ$>l3yoR73`r7nCH=qh)Ç]:_Ve R?/_9vIAk? ;=!#5Ť^BxĴ)&?2z@,:ӫ,ù1(բ9&Ë]Ĵt4b=tnz_e ,%^jWsdf~%fK^DeyȑtjŭpAmtP.[jMn=z v(f.e;V!ZUśdN%䳡E4Q5t@/n(d$o>Gu~H@&~V8 .į8>h[8rA3uN\-jXnq" oN/|!GSKv^[~*P.{L1H!\d|1  KAOi.C LC>na` =R%Lpd\4pG4$uAvG5-@zЍ9#vh+OP>_r5 ( ϭX$FK&^8LI~bJs>#f z>7];nkڦV-~yL . ʘV:<@$`XWHc4Jh =qXʴu H=̝$R#Q}$:yC O=U}||ӄ!\S+P}fyZ17q2)IHTVt7͟wlc0T p*PO2VQ(cefpچF%r=vV9vq|atNSBZ5 |hTfM+pt uWGu \&fLgc7+xa/Ƌd90 _EtHQSyZ.Y|F8gJu0]O2b2R'7|-xޱ4N,[k(='J~ Vo-v}|rof`jm|*/K)1 3uGDٟ-Guג*gXw7l#,;X ]`s@8xW&=6!ؼ!"qzn(*S'|' AmT|mrֈ+;TY)h7y%d ?sBMK'K)2 :bGH2-qi#QD!`BQ1CuL&LN1M\)w=* lyYXu&ѸOz$r,&-DLb jצwv۹D+;$ȴiM -MDHK\I |j˖MQcOt=y?ӧt-s["foZ9"JaMk$"Nmy~20]?PK huFNz_iO}?;Vv8ܰ~[7YBdD^POxFe>NbpxnCӄ#z5b4$O]yR5?A-z`i"$fzYN|>?HS{M*Ib{ߙ2[><Ƽfw=6r }M1^|T8*s>6aPD$qLTK&eʚGgڇb2t@W ͓bL0IKF;M]gE h6C(LmB@\OPR (=챶f܋^IəӘzmͤ P:!:"ۭ`*Ŗt@5L)O߬9>SBrq+Z[gDEdM)WP*Hr{2(Pa_lu N8~Tm"S܊EpAנԪ\Q皚jzE9q/B~ҀGʩ[@PaA¼ҥ- gu4{*d3A fWn $mO f,%./xaW;y*<istfXa>$59J ҷ.p ; ԡq&.mb44a'S,),'җ5&!Y] W<R04꠆X vz|qPF%]/DnK6dؘc ^Ѡ#>}1+y7iY4u+. }&^.]εIV,Y:DtVWR"J:,o VîKgs&q}`E"xWK"=C8 UP/yke "2-[!:Uz9=0[-"Ie"!Hd=p?e߽'t٬x7aQ- N xmXޣxrA70܁^Z[u{(KUY\)MlJb2Su<"W&5U4xH%S˭a.>$TȊd'l~o Y) 8@ABGzuTC4p8,BnlP8usI8ix-6=kTl'}jD5Hn4s4wI2-\N7xƘȂ8? .^3lA}a-}|Bϸs ^C\cqg Vb7^֋gdq+ ϩK c!asrBA' ŲC}sU S8" \iW/!MY%e"F;{9"Hоw^KKvП=N f~V^^X|=G;K ILA80WHjՑb}1kSE:' <ʇ[ ֏=P<pn1x .in&vRyOڠ:cL$12v!2QNeSǷIq-IL{M}`\i8%'B+'m庫I7,ƈ7T\ύ`P!ԀUWU` 6p}.t4{f$%TvccᅡkXD'.K)o6?`{~j mŇ~,zkh\|rye! 1R4]Z}zf8>_.b X(J EȂ+:i`99#B&<9Pge|T Tc_*@MT\l9Ǩ_1wa^K. z s'~s}4;aVO 1HljhЃnRLfeIS&U@?g}g;x{'@bxe&S["#Hdr1rs c9p4KDvd0l#1d5ߊk4QL<4ZϢN 9mr+M鯖V9L7siK$HZEVÄ0Urn~y=AJBayBY*9]mfit ce{=zhl$siZ{']XVpme08Qoli=dWcFTTW aTwV@^ ˩Wkʑ+FhK*,GS7Ӫqϰ2awc8iVNW wC+ t3 HPΑăJl9$"s $"MqT~"}g[f8GmpJ0 4dygAiktvG~fms!Ŭ߇'L.S%IF./$F :T\b(7GGncs*0FYD6( 8u99ӟiYSv0႒d[#}+L'kXpM봁n絸vMlAyb$C=.ێQp. Ó[[v_xb+a}4hFr~J,Zxm >K47i4ތt^b|[l}c=~6RI߀-SoMh6ve K_g8IBZ.#N$H]b+V+ugx3O1NNy[^<'lz fU^> j/O(?( ,5}IYۑ_,w7V]L/-l I- >k(7wZޢ%׬{;u9\"R+8[FF>6`ec,x{u8a~j ` d՘"?*#c"տ~ }FX\sɗV+To=?"{$jF1"ŗp b$ʛG6FiLq:$ȳCFY#5ڻMX\ӱ.adzj~EPU{+Vr`-uv7k?TdXE|C,wjlK^&| Jd(eN󧿾(\Ӆ$z2;lr1<\%=N8nFBHlX'yGS:%$!KUT!L!_A7<`3qtJ۴AK8TQ`SZ8\&( 5,1A].X>+b'FKz| ǵ.5 XaH(5ʕXY(w@gr6L=%ckQ$,5o/?*k> <a-h1{MLZ2($ q;%tY.fv^S\ yofOoõg?Naĸ&ڎpҬ6eZ} ELX\T1se(I"LofY$-M{} ,O2K"x/AX),SZQqBٸ}-0#@6`1TJ{G{kbI}seyH0FINOTɘNo_M͌<;HǬcwzWa&bqzeT4`/M]r8yCsۢۋH<Ίqu.D" 0 ٿ$%2fR?jBHXjӏ\L5,ߪZO1-b 4d'"+.qWGDM%Ts̗қK -E5u'/.X XKR`ǩ)]y7pJ9wZl:'d %DX)bI0OBh2}e:?CJ%+~$_}RK=VqdKY \Gf*:T(D*״P0<̻},o RD?2QT&SObv")+]D1Wj^GLt(lsK j,ĒyWk!|饓}_17R[uрYתygcO[7Gy5h"6S[c87XDǙ찑װtGWc.M'n͔O DҚq'j WEA[2|U_>~m[ETG3ousYPth=cy(}2DlP >t`酣gޅH"K1yV7Z[i)s?9S^qf,XQI.._J |FQF{1D*d$|! NXK/}giiG/Ee7@ըF^}I?,,=*˹'pI8"uPWElmvUM-W7N'D}t!*PT;:3Z (چ%-) A$|1^ <|@q8YݎXi~>rg~-fz׭HAĎFI@"w YB*Pv^ޫ1rWF])YLj5=@YP)j^P eIlGY'{f["K2}2TMhfogzofel#!dy $ѧk8vyj,(AY=Kd}~ĺR-&7Cpنws[dhM:@o!JK o6Oo\am|H̓oMc.:ЩQ@282f)7D !%DlDsޕgPCI;'ςۢ#:a'yU'LGw?$#R%ȇ]9$:dK•L S03WhѴ 0M+Lq1Kv+Po(wL;f@Sji kg'5rՂL2E=4k8Kw uW{8*&svq8ۢQI=\DOWIګ߯3T1`7Ss 5ǷIqE2GG9ս=e_)Ʊ車1$ 2}{oo9xGRG3s(Gqe ͣlB=OgFp+-40'B(Ʈ(mȋנc3>O fyPKu{INgr5? U 7(a̯Y,Qd}?g(CS.rjV*q9>Y 7R+F7n $3zwt -3gMR}6Jvݩ)sob*m) ̻+jY&F艒u|"xï v͜.-~"' ?l<^?eC܊Km衰K^̮;LJ3j{!]I:UaB%%'5[%V 8RwGQSr`N:ܟq2B<HԽҦ q[GoInX!BIWPhXl2)\{|_z8m-0á_J(lb~&2}+_ + {>B&`R!B-Si:2S@kZp QEwnw+_ * z&P(I:i Gl3殧_cltKϏ16;!^R<.Fj?y Ej)~akT΂ޤ"nٿ?*y̠F֠,84^G>?wbbQ gA<"'Gˇ27BC*:fy׀c{Vk0F$uK3u%&e5cf{W.<cp"-\ͽ]SޙͶ_ɡs>4Ha&z:U ۬0 <{V̵ x\m&c3YWD0ԕ1b ۣz(k LoG w߈+FAj%JJ\6Jyڳt3%~щt+~&f X-Nad!w); VUҀT/9:OC37&6%8%"'r 1J\1.0zpwADh%I[FlxbHu=4(ؑ,Rj5Dž^"]uT'էk<_k{ 0`%c}BbOq!^tM05mN7~<3(A l?OBN A jp>S +uM3e-OXA+>/#2E#욶O#' T|mF|DW술Hޖ. LnA#6*:e ?IJB LjI8oN_9vL%z)mO{ъbD#t<b%$X|ʬ_kA+&l֏6Q ٗt;'wB^IXbe dxZm~(- )p`=2c[aYLoNGMR,AfZy2{ɳׅ0í*PF@%8SOaHh@ FwQGѕ9~{ EV՞JV\4-5Yjv8sdK5Ysnզ,H x'A`͔Lvd~2CRس%f64GA :*P6avQk+rjb̓*@Gd2P-Xx[eP)yˆpn"x"QS/l ɓZҋ&(6cל/UV{/[!2).񾊼UwZy-QRokq;0ؔDE=a*g͎HϪݿNN/(u :[ž&$x/fըU8R(~uu/Y^\Ś rξx2QڟL2%vۉ܉Uk%Wj,z(=T W<3hcE~5:RUsAR.q~s#lC9r^2AMdnIEimga}m46ug{r|$JXq=~W 2(W0fW1#=}$aKF'ݮӸ _#Q{ a4TN5o1k';ٽ`$c˯]]#nUQ&ֱhrs[̑k)a!:shZЄӕa!gYZ51e7be281047e13da23a2ee321d62c0e7a0fd56a766424c7446fcf0389ad970d2db1fd930834a7a75898bb85c565239de53bfad464dfae5b8b608cf4