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 aa9tJT-5Z$u\xB^]Xdk& 8ÅM- dE){$b5 ͔hY Ch@9ˁTh0GZSf<#8_``wڑҗK5n8S% ZOI"XVS F@Y[a,33, itgYZ7zXZִF!  ]ŗXiɟ1)*u%9NJ 6 tb9>E)ĎRA w%+PE5< 5IHP5KEݭy RI6яoRtbO>[!OJ'fڻ7AaWoIm3st}+d&2}hGIvCA,*)C6Y8au:ūS>%_OAŽ2$9XR9\GVʻH(&Zr9`]gAH"gC?mzWއ#U 0\Sv^eW ]%_Rs~DAc"~L9n-"Rtc3l?M뀬&.dvBw+_}yVkٰ}l2zNho} UKvke5nv' ,Wˋ/A0o1.~V)4U VQ72N'BqcF9}zbjà5U4.3õY{0 [C=H8t+kq#Vg9tYި|fj7RBJo/.>uFD) ݬ'O 7eQ; yY ^s7( 뷯c DqPWnvz]uQs}u&׃2=/[W)fGդ#`h)ֿ8[VM]1]ĝԧ$FBQ^=$!rL̩i.c/}5rzHmU h# 4lg6ÂyD"I3W pE S}=d Wۄr~egvZלXĺ8G(5w Foz2 - t5x_X66H!tPnXo$?E[6}(iX9 9 HOL-Datatype_Benchmark  !mfLx`&X&0>m,I[y_cl|oذ5p/ּ%v琍 VH"kX*NÒdM"*4hy#.hAvCuj#. BIb[?0B-ǗyL9rDLhєRq Ũ6~-3$FJxrZ[L0 ީ;Fi ݂vLJDOM դq[ 8E]*Bj&;Gp@=EATcFd0mB (->#GjhsqJ(nrItGml8Ȋh.cMrKHOms Es:z8$L ‚&R^3E@^wzOPY&'чv-..]a5+kO+lDvK/'ݲĺwbӰO>(7MRJg-Bd%%\A/S,VX7/yG1@)q/xxh+# ^4^$d'ʘP60E QKmؕ^йS4w,͒Y axH'?NXWXf e]@>+)XAƆ%=&0/}{e kz59IlML׾ SRhUiYPni?aZI'AGc͞; 6T~a MTN3YWܡ`p .fVZydFQop Z.6ettȪOա۫(SvGVDމӎN$K -kKS]y.10<߆d@ԙx=wHO]gZ1GŽ^JYjijH 61X m ]K|W#sp v&<&V;OҌ704^wZq )]^̑V`$盐KzV.|e-OSjE=.vf|58ɛ%I/}1%xd%395cvO,&Kx0!-V/ɿKuꍅtzb9G/H;GAZE&DqЈ->ܬKkUɚ+rJ<\halc gE[OWj;HSjյKz0"TkX)pw.bvnI>l9>"Ke]}e24/<#?nFm@&ti1܌JcVsV}^ɞaLk8 tNy| 7׫rߦ?wqW!\<#M_Ue!eΣ|g̷t?E{XzҌ" s%C0[WwiDY u͗<6sW 噈4]\-2!UouҫسUgG \hiqwY3VcB1y)lRMZI\Pz C rSPHvwϵ|bv!J / %YCqucQ~+)**2 NYռ"!@fIcaMۺlBtFnvfy8UJӤ2gtRbUz t@TF5a-Z+Aoݻ1Mo<|a~#-6<_LTyyʎHWyQMiPY~rnj6Y[pfN!߅dYx#q*7MJōBcH6Jl8 z1YBa>:M4x*[_5)Gk[|4ɰnrX%E:,gtt'@}2pgOS3>ؕ5!ana0tztl!G1՟ 7[+T%u^0|JPP fq#0 3Yczn<վ]chǺ2g:/'9ఌ:~yGE[RZ=wt)8E߯-t0%W뿐ӊ%*Ihb=yaii͜`|+x: d+V2=m vP宣Ttք^"X?SQ= @H<8!5 'gs{kan%ʄ.2~Q_8͡n))ϐY2{>H;%Yb1c[{{7QFQ^8jtVaW<Ż4>G=չrEYyQ,pF#h@,hW_l&'P#`zuzn3}/l"џNAd4K@GfeBIn~/o$d{yH.DڢթA/]UA<ɸ6 N݄| ._SLL̫iqo'aIcu*g[5@yIW½wujH{@9%dy +J&.lSS#)vn%F᫁~DH<X*=/&W~T}٩JXT7toP}@>CR$jeHQ& Ptb\ww]PpK9 ֤Jc;]AX^3_6dv*ڇtDs3ys?f,ʬ+waEd`f\?p\QBUB 1N55}b`Α7`awA\(ōI`V'? ]ƶ[p Wqxސ2wi~󙨊e_eڂ:^*z f$[߬,/L[0['rlXz=Ѣ ܪ /G}G$I_kmK> x̡+Q\lK@^;Ts^bkYXM 1Macav,v\S;j!99>%wl(\v fIGY""}EOXf+EifpHnV{Ce@F7ztZ9 j,gɌǶd!֝{N L?JԣƦzK|14+A%\ś 3"_)ZbҶ vR҅Tv"ƪT٫5i[pIzcR(ZIY#?*"K5̕mo/ [@'ըVa2d@yc "7ʗk\+rb)@aW?/ ȅ %$i] Xe퓚t~xkyf l^^k6*yAbK7tK]>^UkRgl#>i$g*YMU$95澌m. nN4͛oZBCZzGjFRPHJ*}.Nkż 9<1SPߖ-OHKLmZv .!~cy۷#^46ّ1ERYk"g;BY[Mz:G12.XאLjפH'JE5y[1P`aa&zS#v z ZLDjIBx0) $`b6 /Pwc+,\exov #Tw/#Pv Eh RrI#`($=QEF[P6.yJGlK}8tF'LLzS|IPu#&΅vLS?d'Xi OyEn1be_ޭ4xMa:cPQ?#;#qaLPCQTV,N(Շ% HS'ţ8&D)ݺL1D9^Ԗe|[t'X"s ŋFa~s߸E54g,"FUѽDxчj&id:nkQΈ" w5poMCDarxj6k)#<ܥH!I pA}`<BL_P\MU]K9GɕT`Ih3e n^nǬi2I_W=Ά^56 7o66rܔ3N34?P>Kշ9AEI,c Øﬗobz^Ǝm"{9UGͿ!mÃvU1:̪M2oTZI!^ HJ! J%ΆGj-ΉĔw 2`.)UbqIh`J8D;.tw4[Tep3la=#!Y@o=$э@gvb8 "xvqR3bU|F!ڋdVkwJƉ.\&R'%>6Eǎ{I+ҰH[S> }~ MkY9$MIKD0[Cz`|c\.}KNl--a9:vDC6kc 2)h-FS狨 +opbw}`E=X8xY$}/,EP&A#ܠLAd k'Yt;)8\D#}c_SkCED5op:ð\ Un=+ bgE+\ʒppBV@tmnki;8U&w'/Z݁lgw dK!so Z.p;ڀׯ{Z7W\b71ˬ+Aﱋιy۹9,hetcE>"J-x>Zv_o 6%ۢ[;\jDX 䥼^%<迊iu?$tܠ_cLcpI2gBS"p/^7bT Q]t4DcNo7R*ӆo@}}tOv;q^;o:DR J2@C?>UWV K4>dM:& T\: 1>j .]|#UOQA;H!:g}լI̺UBTGN- "w $*mBqU>0HnTtS1‚3h}LJ]fHJyzz _׾A!z_kcYN1j7/#% ֓%4 U2{@AUz+.lɹ<3/ 4DBgxV] !;qۓ(4` AiT:o._80x.U_1=yG,Itax~p0a.0]̟gK'(quT,r4%C>ЛMvϾE7JQht 0 1ؠQ8N]K5+ai tnUuzy*:޾ኆ`7]u;MB\rfA2&pCRBh(hPAL0j? {zFU(tW7w/>&Ku9칀P^ұ>5pd};xV ac20LGu)q\KKO ~D/RkHVA1/ &Q!]IH`;Ş@v8UtY CcK.)<BV\ڍ7t&;$xm]OORvZJ)Lh6Q ˜<0@椻vnFWt60@fIe Xޗ fCl>Afh;[qP\sKsC,,3JV(!t°yKB}kU#]%>'ufD4О 5$006ddO 7hMr%][W0n7ݾ-B,_ 68n%#dX}Vڏ rQkUWJG' D>쐪S&\JH]'# x};':Uajy*jH<.ˠ?96rfB ~ Nlgvnp cmeFt ɶ@gs`μmH9VS|<Z'.pzx/ĕzB 6QzR 굽U kb;Rs$76S.+OpYdl@tGd6F׿cGWء)\'_F_GuLl3MNB.cM25;A6&zV2}/ ihETWX>;®ד1L׸p ?w@EU$NIJTlh#7a~fP7_-.v7:Խ [E~Ux͒R?R#'[eyRbӿᬠhi@Ϯ)vZFz[~碤-t5yx$=]۽ٟuMۓ,2>u[~$'E1" 6EE\#& 7BDt.|_ijvW֔0R2T8dN>JXBe$ZVVA#M}4Hn?YvT"k/Ah^EZΰ\x _B ,LN ϟ>3xid&X NGuڻ,%hKЩ9qNAufW<*'a%\CSoΕc=eb3(F[2 L4.Bᝥ{gKn j{Ha|1gݶ:mweGGtR7?2qSb܀bRsy='q#ZSѧa2%!VS&5X+mnòЎi݋HJr%p]˳(C̅_K;|kh+ÈZ:C!s==Y9VhO;_^@޶Lq/$>skis*yG (ksG.(yH(@3hf/ F!@IwR/z\l]cB Ϙ"dK'T2JIy5x&.u4~K涡SzH!ȾP^UTc$%AB{MĠE~QQ98D(9X'F(Rbl->qVTGқxwfغ#L~ŇOsڙ GV Q,~FVz|SKKJ&$tjJ1JLPV,/R5 2ϴ"mg;s6tqJB{`4ClNL4ۅ"qW#_s%Js٢HC1ʓ~1m!M!_pw]u_`* ɮ$,}RC/yX eƤn $ۏ nˡ+\|5~7c9Tm`{` yYqY;{oF8D#\7 LhO "+"C ~ˑGjōju/FaP8_O.o"Fx`q\f,1SUl5<2Ww2J[Ԁ@ܻFaC#L}ܽh[>_qH!`׳= Z& 4uV(?j'Uˌ a>ryF@)O&DATٗ.EK+VZ5kf~Ur[& nAT/VwewqVw>u]fNaV9n!`^M{TOO1ş6z ռtȯ]=98.*ݘߪK~]o|낓8{@"{HK(=@7*vS!ӇJc+z= zHja& v<^^2@oan!Ę%ևc}g1HD-]īvt "|xn3&tqa&uT&H`6Z f K#u9}puyh3-K:Zh@CTк"!0 whj ˆsR985@ L ]O#kRmhFc/3Mf@ar'/SƾF'܌-'d1DupUr"N51/tQKs2쁪/M;*P'_bn`L6Fz^[&nӋ Co_鬒 t"B)>Znȼ{GO[!%v4R yeT])Cf(-Xxt:h?ȓШZF{Qsf)t(8$ U **5Li0 X #FN7X%DC4KpΤAd\1u%2f6͹/6{=lq躰< '`\z+%`{\(,+:BxTȍE7G\[&:{9=mZ)öVLB; HzyL.;>$g_tg{IɚVWVHruJP!۱{Ʀ'*G;=u,; [2\RHQDqV8M`̶]1L iMc9WvgnEJʃAQb: U2SM髀mgCxN}t36yͺnmC1, T~S̻Ш isj-QvKUт~G^BD涊>cȯS*YN uDQӛYf$?cg$ձ=,#wҰt~PH 7ꏫ[Ihn>)$ZY{883pd3m3slX%!(ak,{nkY>XbIGbF˕B|oP{=?梻AdUCz(~F@3[A/fF(Wgmٿh 1~ R,E/R } >.&byP ,?:4MwTҋM:>VSԃdC!*# IP:3) L5 B.9A}2J„ XwFLNJMTt%Q  38C M! [ O-Å߿;<@} og0U_}}?Cm8' ԗ,)7SZǚ`o/@ 44Ε܈S*>MO#;]YC`o d*Io~o <%,tFyN@dyLx a2 I2DZ.VH.謫VO-צAr#IMA . ]n*_k `%8bGnKuʂB uSFbC%V#M8Ө﹄8gJ)8VL" 4q1FFb飲ߗFIwgxH5.J̊ZAz.MEU-,* G?`$CQ ~4P qԦE K%$Eqs+DZ^lVI.Gor1toc/+Y-l!tRj4i9gjS' _מ wf\m"DnqF7gI@$V _19xsܯ?q:ƹ2frC@>BGC,p_ѡU|5ZۏnEG3ʕ˰h,E?c@g#.uBܨVNjSf:4r.9Ud{ :>Ⱦ^׏ ѹ) RGx/ٚ>Rv%E*=jUYZPV8 Tq^3.JwꟷMp)DG_#.T܏ن@bwKׇY8x)L JU7$Gr[Ed$jfIp|;Vrݸs /ގKZ%C3w1pN_gfۘߢ nyzd&v#YOtP2Sd]=bns4%uJR|,(~<ϒ&AkIrk"HE)ጳ*'==8,Z:kt%;`W?R n=4J)MYdlߡl st]аrф[ՉmD԰{AP^&8F,}r"d#cd1JQ &4q[&+܏yryƎaRʑHRdwKl se]BB'f@%gQƗi4ڼ7ږ4q8P +w^y_.Z0@+H5Ó iю}4⬚d:CZDlf7a߹tJǎ ڒGw,5{Jug <;d3+-0>b zm)?Aɑ^;֗o >;n< [G$]v2zgaׇE(-֎&O-t@0@m&iܞtD4_z:J`el/jܷZg F >&il;Vii> !5rs83.oJ!3 =,FԔ |K>ڳ 99<7$=GјoN 6D1l{a4N͹{ 19 ,JRlZB\3do"Yip\흾gN8'r~Ε͚NǣC\~$y%i<X.f`78?NpX^{J]3TJ`y d(GzuF4Lf/l!@iO7%67A:֖$ɒތ'}8/~(tUz*2nDR }-j:tּ* B{zWf,)AN,›ӽBy%CYߚ'qWNa7p6',V.c\8ipDxġgLfi^t2: ҽHW>l*1Qaas* *n0Jgap: Fa_}v~~*3œNPlu u֓' ~c&̔3ܶ^sk:gV >8 jW4sA8o8ߛRw g}msÝ48qEN}-Qʚi[+8k}ahiW}".}2d58yJ' Ʒo{A(bv/T8QMlt9F}i-"9&Ix?7⡇\cR-LV)drctK@ *xg5WHVe R< B /V5 e,*}м˞Wq}d@pwUJ[|:[=gd) a6 %v c \n\ |yTP&`cXxL/j?0o?=zʞ;30/߻S/w ',lTV+]q2 Fz.Th4~!꙰ʗR6reJ3T|E%r*ЃJ4`QE&/6 1ՉYnO$iE3lHH5QSҨ}_zkgZ95ɢo Pls\IJl! !4?RWS|"*b h$>:gM yZrk0kxɋ'!4sRD l$%w-!XOFj4c{*; 0+&iFE*& ""!vdr8BpQ9pt6%~ vF v46RwAY! ȮFl0PqP8AyNy TiUI[oJo)$USKH r) LG#!;f H/wz0ĭit\뚉697+YnG 爹=l*? F3#i򋳜V<7rV_<&`NR}8G9 reNPCshvr,fԡIN" bQG0rc;{[M }(ueRuZuM}RƲ;?ۜ듷4uA9PJ^(??X/qliSģc|~ BO8P ΡblFv;Fe;jgGYv;ڨ[iJM%DOT뎆f ֤8?tY,kᲺ-5JoUd]lG%q?41!6q3K) ti=⍢ோBakVH{b*G}kJ>jsCs݅M~4*dfIz؄MG Y1 ǷyHU;R|}|0Y/brw}łE Xrl}XRww1HԢ΁ HR.72M\TJ8 ~}vAYi(VTrځ#l"+t i y. 9']iC meϻ(@ui$)K[x᫦usL2B`AͰtRVX}/SEo9?/ʎt;k]/ OThC6[%ݙgR%V5Cr BhI,L 68!G%eÉ }`ߪb~*0|C.Z @H4,TwiI/KhprZ!4@P|5\A=]~B3[OHW}zC[_Fz ~EFAiH(5*~Ӫ)N_9±_N-3S;h+$ e dO|Y^d^'݁[5qU1]v.G3po.smo5fV`,z rF?NIƦ\:Uyk<+>䨵3 #ca"kpξQX09ZL<F=*Kbx,kH|tIL}|el<8KJh~r WͤY{Ȟ!2!tT͖0S ݔM " (cRaf&2uDs<Nؼ.t,tXqCbY/08_PsGK ]13?0}ӭ%O/D(<3¦~%kqZg? ֚lQQ lz5/{]yF0,e8n{tRvaWlEºz %Ѩw^KXg^ +MjN=uo8~Je+ΟfpFa2'OյxJ/hzsp@& =C1i=Aʚ*la[#BڥTϫp>}^-f_L[Hٸ )?zt76;O*}l hd)gyQܬp׎pr΃@GJ 5(zO%Bqx|sIƋX#sbJR-BL#M$!|"zky7B0Hs _w}v ᘤ^E%{]_N񨫋OeKV_]~0[bG, 8* U 7(;9)|JK8y_}\; I(D2 >? X\Ÿr*~~ݛ R(22ڔ0#y$01)h!kM5⃎B:٫Paɮd5 u?XВ@=#dxG[.ęRd:տk~G 9n (jྋV}Kw1`Y2rp:y +4YC^qǮo3u1}x5*5>GnaL\U /ғ[B u yBnDK[KM-i8K"="(P2l`\*q(OXEČ.kGIiJ0NTG\Ik@e/ //:6nDɿ4ySPŧCry?Aхf~Gq#ڍ!CrZIiQ}"r?3{9 l+ru ,񵻟e )[JGuk`WVfӐnL{otmVHUIF}BS#{2ɛ,}NḿJMk/ݕx@իu="|h댎(8=PB <*6<b sMUo*wV74 H"o oolRg\aMLO1lKX#Eo#ļWU[G[I*!mejq$ sLW$%T H[0 #U%hhʜNW_bkj½wg- }د\cKj/J/Ӵ-x';D$DzdYɒ(GŞ@X~wlQ? PqY[<aȯvOmx[mKYY H3"?-]IS'7HK'+OFא.pʪm\ڮ@*Qa4tT)b z\c^%f@6GfJ5Ƹm<ȋWmb;XjZU1zoD O'dO+q̝w[Z iM&YL.,0(6b)Q}p޻i'b uXË]dFDN\8(0U'[Vۧ6v"@;8qSֺI&o&]ӇM{ӎMixECp 0#Ar5r~=Bcirk eb'7A^Zk9c eSR1N~.-2fC:/ >\@DiQ :JR \'s~*bMsGLzh:?(P>]T74꒹7xR](xJ#gBԦ _S1Җ:KJC45ha@N2)A{3kmOEΖ (N#weY q;6:7)აUa؞\I&T1dI}"tl(d,Hgl|g!ػVeXr<+'rLA  dCғb=}cuyq/u~DS!NI%,2OL O1L'M}鞄(}_ b"+M+36eLғ.W WܢSi'I%BT2Wa6P8f[qI}3b^fbvL:}bҁ:񿄫_&><$@%eJw¯H@EE{6?r t `Wՙ!)EFgQ`,` 5CZ::1kR2R,a26̾i4S>Jgٱ^ڭ9`uNc,z-eau 7 1n>Vq%97:I֊pwE=5-˿z9W zQ8ӑf&+@&ƫVcT<˻ ݺ)6h1r \{i oU#S},aKiK v*,9UeTr碳+dc V4՛g& oؔݲ1Hlcb 8E@rj #X.c8 rFޟ4ޕ5R;s|g4pSic%D_y|#|sEQG< U1(k8UxtwdU ݷƷz,LdGctqS>]c[s!vɞA5Kwj eC^Ÿ"}t9P1O+``yDM iydQz˸C*t".؞Jkt iF՟ g?(l};g\zIBM؝u d=yԝ%lh `M ӄk?pQMxL̔ѕZrNt¼\!v8p0CdSKP^$c`P{Q8 _zj|0B/D dCB^Y4J S]m W?KX[-@1#퉪qKu-5wF.XzzZwxϭVLlvEהۄ $}j2  q8 uƓ1` N[T?PlAw&燪#<*j$KNuLȯYN D`PxvC"ۖzG&-FA/Ѽ^VS&y&D1:]ā̑E SM G2=4BNѡ`UXm!F7׫[S\4,gӲh0@oɍgmv$D?p4J+@CV.47")>*yӵW:1i=/%&1 7+onf㺾w|tS\NN{$2 R>$d-&Д$g B4-hQ.aZҲT \yeTf(.!T[&Teހ`6}a L3`jy6a$C\m%P#AP;tC $с8bw==ɖ{3TMr&|Gӕ!/ChrV6JTB 4{iHpء)ԣym/:52(-'Ir!S9'Zr%c_Y#'0p/@MŕPVBƬe| }=*T: @g|\,#e4+._QWhʛZӘ^T`-uɧs' d}z1I,29nޝ28:2VW$[y/hg+C=٘UX l؞U)R 'r8E:zpX#q^ע m %dcaH_ylГ*Q)ELt-'PX.Nu\|B^.F:w ggG yg\y`+bmilC,eϑ0M7gƄ(3Ee,̭]aQBA4xUطv1W T "lă:A8ۗ]&)rӖ[~!>&QR6}Qd%NF+l)CO|GiFBr' dgo+kuI tbm \>D| E[&is߻  3-W1h(NMmmpk4+w>k}M V"6N'Y; g!.l~Peфb?@+> P3ry/Z^嗛k]+l`sV[v9Tı^ b\45r)Np#CM|э&K/6cw.Zzs?Ȣuh{v y;\, >C3Q۶$r&/-=S>v|IUH-@H^77i#]3 zD LJ7 ( js*w,8&i4tEN'`+*I潙/ź>9`'ť4ع.#X4p{I:'JWJMbEa,E?M, q5Sr<oj%Xn UY!̳ 2P\h"daWkfQf3cz=CRs丗q>2ӆAI"-RU*욏HwXɮXGzI[zM#/B'u뱝) W'!6s)zO.3M (mo`Aǜb xF0TLqUkdz9=؍ll>~8爯`õw\&*k2}B=F"ѯe Q掞XOGsܷEjU.Q}8zNH}EƻRlKi&xU\hOɬmѥBGֿAQG2(a+h^ ox 2]}E^W6i GMCnuێPAL҇q#7ӭ)1ʻm.#mj KӛMquT3m2x*yn1-aܜԈHl{sߞWb4-=C݀zmP$:-H,.\Ț+qH(Ϋ[:uV.N[`/&VA9;d q`&M0U 1o%b>[[]gc 8QEWAEUE}Ĺ- ǮA+m4| DѵLb,-N[Hj E T́=g`uM::xޖ55[9jT}iae>]+fp,ޤo ۏZ3r~s L0OnI<9%(ND^LhVI(IEmsX5ԅ AC0&Ue/5CV\ /|`Q.\(%EOMxdK]:vCNmMTH!X\ŋd9mu\(4Z?hR]|(=@D#۽Aёt4-myxn/46iZry oia\T%SPq"?0df[P~O0MYc=K2y=]| u;`4|xh+sgŚԯb[ H ƞ Ggg^vൢ@߇ LaK~-6<+B4qIZ1i&{** Ƞ$KK+?fZG2!IHF}8aNnoK2 M^PrU+!Ewc arQz-j1RA&7J,dSpI37f&Kc:Ns3e<Dy9~kΗVT&/2=8ze|ɱn{<%gaYy V-tRu%HY~klǷ|-'LF2 ;P^*n!~"aXygYZ376c4428d9c378addb2781109073b64705007f0e497eea8787938391457661acf0f01a612c4d3497 182c5054259d818f89537dbe8e9d95f42041a820 384dd6c65ff1e3bb56c057d48994894bfe7c8f8a