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 ))75 LL ]S HOL-Nominal-Examples:threads=6elapsed=260.809cpu=1175.192gc=134.492factor=4.517zXZִF! "]ŗXf1-q恈ބԍW_8Fkw!39ڸɖZXma [U*U3.o$(@Uj8k5/n~RYlF*uJTMZ[—iMtqەJ0XlG0ӓfJF?%.sJ|^^4 1-` P7 T[K!MGQ)膮Ȫ^ˀ(?OȊ;[ҋX$a1pāI)0ΔSA5luZebCr^uf$@r3"&>8q]vR_pON >8`dnH͖~Q x/Oo{"Ҁıd,`(I긛 5 EWO7wUa|hSHxL=H:Ĉ,fr8|mu T$0ڤo2EnHUFbL* /-D$ }_F!m!cMm>#:5u9g3`ta(4؆7.f/u3M̸fۀ0ؖqG t1p` Vrj-[TaJ^Q̪E^W:':/ti937Ҫ3TK8@k7-oCvrtX$yqN[hF_*F؅5AZIF7 IRj ]V׆ bԥ?HU Fy`YPvz8Rֱuz792NХQ)=¯@M :vQCAZ=EٚWtʴa"56s9@[= Ec_>P~{_-X}0ЩDŢpŐ]g.+kq$"\XM@2Q|tb$˾;?kXɋlﲏtCf(oF~L sAlU6Q1di q1#9Cq0p/#e3Sn (+^<^ڧ:a r.JAt-Oc FqPpΏBMZwb?MC% s}CnJ'q/N7̓fCpUy~& [V/PXUznD흓ס!#\%'?5.: #D"ԔXi<ʓ#o'Тc1YpJOBb/_N 'Ofw2GTU-ʿ`Ұ0ĎW"#I;#~>8Q3gh\.:^8 TT gBI80垊#z $ )OeFH)h% yV)b+Vޭ# ! ''7; "PWm/@M%lgqj0gn aA,tXP| \T7WUk5^ۨ*I J*ѵG*b36~Y,'W.2>-Ҟ[~#v"*_E|@/ԙ `14\Sa@z|]ؤA ܷ8Xt_ѹ2|Z=3tI|?sʊV;IlԱ×[{P"[<7:g;fĸwK*$>.~}SӉ[h9Ѽ oDG Z;lj9Skzp-ȅSk_F(PkVR6Цi w?^ ιі3w8_mijNOK9v?avBfp to7hGәeTl/xS\H]kF2ͭՔ)|UZ#=hP m$\(F3] 4J NK*^+̶צ'iۍTA {Kec[vB#kEujCk"6$@*Itgm}i;˙@k5Z3K+ kxyp-wXhRc@v?S6_x`~=ڸ)mf0e_š:Pa2jkuѰvU.xI dn`\F{Iɗ5/B7yb>@8޵ãCU?O;U/Wۦq PlGޏ,O[9bzn Hc'ǀA?ԏc13_+R-6#oʳ[C^Z4) TҥS;%0";Swn0&; P+θOcCVIlT?N9afj\,lY5d̖lRzl#zv@VE# j +]HuׄY~K":v4`3ʓ̭}ѫ{+\/O7H PSS1)-{ {=jj+G|pToxIONmJXoWť{N )!s'Н .=c.}&9##u΃G 70"SZ|dz0 )0ħ>ׯ"]͐_`(q1}NgC}a+]V O~C)eq0ѽ~o9vГ8";.cTNЌm&~VV66 $2э% RO^+g |A5iW՗%;c+d'x$gD[ˇJG )zlYqrִ+ ,@@} Mk$BuΚ׹Y-Iy2Y0VP5'L,]h9Jn#kAwXR)K5 3@sׯ>, =IUw Dn{FQ-ZY1>P㈠onØFec5T,AUvrz=S@M╘!6ȟq?sCDM'uW4||: M Vs JC^#'{[Ϸ9>Pˆ68XP- ̷Wn}ᶜ3ӿ~ʆ( ""7C+9=yYPur0#dɂ#`ܣJ8"/g~g;f>ib/ǐyfz?ՅLՍ, %y(>& ҭ)!?VuE7ZULpAhmr͵дGldVcS2xmoP};Z ?ꣳ=w[K; o)yCOxQCo@En Pg9W/ #d1aCަeof^>enbqJ>1lE Mvkm!pcJ1?,7ԏ&6#wf`iEt&`@~ZE+;ni#`%WQ؞z8E/ɢ(ۓodP&HP!V=wt?Rpm23)_%E>Vm{Rg@u?y(ZQy -h1e{=%rR5o€} D_$.PiGޟ(ɐL {x x@[+F̉ &+',qRkt8VLSfG8Lo1&N*yv/٭d^Y#܍ўʥRA]7l&E{{nIMyX=MbFu(pagT)/חE1cKW~=eY !mX/S}S,.'l K3n>[mVV0N7K[-ְ!i5Fvi9d8(NJgar}&s[TI H`j2KPL tUx>n hWQHpWXXi[6&Q<BI!c?Xڊo2i5hq̢N;johgR YFJ4=n;Xp^ aHKkˉH/2kc 5Gq/օ,Ve{,́i>E/SU w+*Ū0tץix/j-s%z>;( + %t1Ix{? z0":p$z~oи!wV?YֻMJ"q* wCq/.)⯓8~cū󱉄':dѯ)3qS*I8Fk|l1w,)09o(z}XJF‹[uMfߠD,.)'=ղh+Kr:&G=6U=-nfmj4w%xN K}ǫͤ~.yh@Iy1ˠJ+ARTɯtgT w_83vXQ_{BPtśt%NKfF r'9:wc9k 7Xh!幮rs=`]v{4T$$k"OPW8ӰUJ!Zi6 ' l5MtN$R(k,'E&]Wl&*>j_1_75}`lu 2PK+Xƹl 1lǁ}Qs#7Ws`߳5);2CBGXYm 4{j2V4p,HxLfɳpOȳ޺MKcxLٺlcA" O'0 P HP/eH&|Sйң1H#刂$GaN:'ɱ0{{l'T82#X1$? ˻xa{uMbi̮!=Z&oO۔SGg(/R*ŋ/^e|»죆w'@YeRh_viXc.r{:C@q)k闞V~_p.v϶ KʹFbSy}{ԷV:c(sZx64Z azX|dxO'/M"׹Jت)P6]q:of|NJ+46H<RC |@/0­!M#LmΟePY{}e7~<1¶W~HrABX]D|0c HRI[D_.Go ,h8Y~bGF'L_WNaYMm̓pshːG:֌ yTSSל$Y(Y!Jl7pm#yX N 5G3"lmM0gZ; *`í8!`Jͩƫ[7SW:qP3 OCF[ RLP sh:\c-S_o{?G.23+ ŗ|NLLq(QA"\ ,RdD .J1BjJ/ѻ6jݐrpI[rM}P):y+Ngw W9i< 3TNI+H=i8T)d.t^,*D5EۻV\gYZ7zXZִF! s]ŗXiɟ1ʹ l93攀Lx3 a⢬2~Fl6N]7pViCuޝn8[I7uL=br %橰) T݊n]vVd^+{EesDR.NGfunr++o,Ab۪6iOd.$lz.2zvbd Qy(C*~TÒG楟ٽDX}np5 i EF*:鴼@s+n4:U5" s>8$չn| El4܂J3s*-W l: H=-?z of.J{/kW9r{ft2WWvWv;*Lﲡ_mW.OOš$Z:#G~<N\^2alH ِƔ@ %.9fr y%v'~)]#Шw,z"9)rLY]!pެk*q3֗}l)şRW, M n'NX.!jрܟGתb|0T\4y] 8=f"D +G|.0C%4꩞d#LT(NS֚Ϊ__\Ƅ?3aikkK ?OmZ\#`۝==26 Q'j>-]:ဳ湀=kiP= 櫼4³UIW`KψU !zYNH59[:^maAӈAIzhP:ׁ2d@yL<ۀAE]`J2WNh)oT\Olt̅ -``oT~G4V7/EM, R=#`#\񊨷m)CeVF({Ek'liFV\N_n*^,"+*8{S/>R-/#WϤ+JD8؇(}"v}˸c_ 6P2eﰤ췉CI_H1_ym-쩨dayY6TEj%H9%> #2b;صjG1H~G4*!JȞUV: f5TD2|hjeLq ğ B[Ot^noD/Q&+dc"+qc->WPGz_*eV +j|$ҡ,F&U9??(NeVqkiTo,ގgh,FXQe\O ӗAn`a/aM2r7CZō䵈:N'3;5"حqa0ƌ͵8ܤ:bD_UУ 3vxtc:\^ezb%_Y;{-Us`Z㚞v& f|ڰIx$T'9=t rXj]I~eV&1j`#7k>-\aMvT6fEʈ-aLǴ4\!֧higjxP8أ}*h0'E/ =L%Ѹz8/F}SrPbL{7`DyuK*&wufZ LGc hpo& ׌q/#i͢4Kh&an[ƧABMoIEٛ" A|.PM* 7tO?|+u֢4ԢronEYqaR!(|ZwIi5YEF@-g iH IeQ=) -b7̴G~aѯj<ܣ &Gt Dqms醔dWGi\3agaYʯIE{+j|B/C{1%s2=#nGm31i'<2M8wmGy e,VU'a|g |#SF 3^ `M7ቌm.fG}GA!Xއ' V,v"(Q eD OAj$ZSm2&vXYvd{)tdމ0v=P/'T9oHޛN()(=dBU9mg{<9¥ CK8]ʯdIhZsHRXš?D ?z4yiK.$'zb2|pZ?QGb ?ftuy% -XCc0?KTxZp"yn,hـvh8 i[aH:8˧0M28w5f!;3_Q]MqZ^.&-ўw3Dm-5\}>Sӕge4} ˭oa,9ZS;XT ޤؽnt17#=׆2{{US<*H4g$8y@J D'<:<3Ri>x p4;1E硢K;fԑ ~ }f^gkY!w$gL :"l:c5]3e1 8`\nv6!Ҋ,~>і(IxNR`5K<-)\|g;`uo!,!w$z]k&{uİsgZP˻JQ$_6x토I {Tߡ ǍTZ{A=Y|P;PRҸXz {D9RU|[V+Q2lzB<#O8@ 8k_[6DʚS7VqgI'1'Lfa'xk8>T)@WLAQ-L'XhὪo{,?H3qj Ex^mClgwض=EڈWmYF F_Vj`x%BUkɷ6x%^caE?M b`@n cV>5TB"hB@UMK4cAruՂ{ykK5ZH>__AVv5< 1+`\g00\F g:uM%nIkvX-c'CK*:c*" $wT^,|2+f-}5Rq&cD,Q|mffC i;];q3FO,?&"*';6Iϒ;5۩?%QA}4ʊσ oqͤq ӷ?KREn'!sPVN<_)^:"flTSuu`]' ͋XtPAjM#mZ&^N/ 5="یY0Mׄ2o|6wU/k986nYO^뙱EtTGXty"c̬­\>6;0c^o=;b:40&s)v4%M$Z=Gu%xјn'P+!{PO ce[ϘV=w]d83Kn6%d'Y)*pa1 T`&W5_ܖ^}QsN=OZ';~ŽQ`n[wHp=ߤ@llwO_UqkHF m!% XN6c0}c>?vDŽD:PaQ X HˊBCy;`sƧfHBr1A9Sj9YdtC2]_gC3zG`Ҝ*$f]#2mlP $?^'K)GbI[_es1͖xne~wė ;q1 ªg j+orP˜liD(%ؐBWV!Gt 0KRrs$aNSHx goz|gy>G} L|/ܭn9(U p_iʾhݫж. =[E6 j-0WF 7PYo^oEpŨlu=Ly|lB!h]~| kU^,䵂C¬7BLw SQb<۟# 9rZnqrxO`+F 2ӳ}X,$Qg,XjocC;W8c םѡ `aO*]Vj82X kԤQaܧZ实\*Yahj&cӬ?H(aDpzi:! ũU;gy\_:.~Z,+ Vvz׽Li7x2.M])!xԹ+*Y7(#C?YaKraM&\%D49(3<%vWdy?nSjo0m? xݬx3E+5I.KUOB\0F*#[X9PJ_|"b,Х񎡭H嫽Ghn£{GŃ9[a횁hn!vzt1l$Sxw4GG C ޭXXV~ #PF^HI`̦#>(I6V0߃'㉦Zi qEWXt1tDLF"8ɱDB{82)O+8-~\Bhz3ӄr^P!#'I`uc-VJA{ax$ `kW!'=^HR”쁛X䳔9 yI<ގR(}5HTJwN+@?t@OĔH/@i cU[sDl<#ñ5ď, = yrCuqo!?,W'k}GINk#}:=0"pf谯M+IE0cX~*IG ;9ieG6zI- ؈zs%f}޴7mD=:z**qWG5 4,Ù Re,Ài rw+;翪Wtю l+r ov%pK{B͓'0T@slSUl0fOuj×!FjK,`qD:l;OnGr8Zci<#~4\:Z䉽Iqԙl |4}$eVc]AA'#6#ly?cG,p>%'p4-0,n~{Lڄ@)8@H-Cĝf2G4<,g@Iʈp^OgPgpi]e$da6~uSZgyVV"'*ZLBkW\U8d/7Ց `'Z.5Xy$$lpXV>@)TyP(2gFeAt4 {@-&1&/Q{*֎R#wyj#l-Yތi}Nye NWXnh|Kڥ 5,\Őup K\BFZ3|U֡PUcc踒upRI $a8y0gBcX$Ȫn^LNO𥼧j.Xa h"}a_3 q!*"_f9A wIh;h[,!z}5$btZԭSN9=6_[AB>KBACoLKѐ5P q02|)=@GGB(vHV37p:ٶ5frsKsQ9X7Ń~sVVP$m~pɉ7{$'ƙ&4ٷ`}qFpXo(s7+1@KHY"40F-XaXpUT! Vs78O |זo  G %ڱ~kRcp4yuՄjKX~U2n21>QmSNHu>z#x?>j=m,C c}>+/uatk-c~ꅒsfQ,8Lk)]Ȇ8<^ެV?_I2۵ʟ 4h+iٽXBptop a I$Ñۣٿ$5X,{l'Ve/-oG!Ègm'kǎ"4f:|.BI|@Lpq2S9qҔ]؊J]PX "u̇<~lOc?ZkFPGA ZO `K&܋G:lNF~SB Ír_ ?^zujJr1[P@z# 'eB=х1C(~@7ViZP7WO|Gad${`ZӦ ~sʪX\:Z$ ~&7<35;Xa&Dbǟsv=銛V9<9Š]9Lb ӗ_&k7:܅kk9/.~?.%9XzQd hJj؀ZY \x_{,@N([?^j<^7;f?ì9!Yw nTi `swg"ķ7ܪ17YԲoP]>+c`*ߔ~ Q7gbg×6t~vfc+ςYb֜s\l_/+UQ .~bCMt>. k(G&k(VJck8+j)m@AYNJH%S K䁻@髡]R0J~ #W83c(be¡?_jah|.5.ELNz6r´r3k%!'#{ua/-ʌU ;\S߅XϜL=9+>$Qr*{)O ~*^gf"fʎVfl zYz8G؝,ˌt{ž|jde !rrd_)>o <T͜թUlz 4\X^U9ۘ 3! $E.3؉cĿ93|4{=hZ-<--QD6lHFA1 UHȂ;11WO@$}x5[BS22{'G=E1~*WDV!?c:9"TՅE"T(T )@JZU%٩]D+:78XՒW3+j tK ]]A~7R7H>av-C7$ނA-dS6+8CAEW)k]],K:HX= _ԒM?c=^u gruiķjo-?,yd+^.oϸJ%E1<9 j6+SuyEH 1QAڒv)O߉Z_)sFG|rUaCRP9r2_gj63tBDJ ۣ*P<0@ ΄lI`àZ#Rdx;Lx$Tx'է _TNiBHhs0UP G4u]JV]L^>i?zu}73)ݼj`d5T`s8!uh-7l%>%Kz"kk$3:. XCYOas{H ad  S 'U1'T0&Xl7Ȥ z#n2Ti,]-vG6=k]K{m"MCm)nĜ "zǞJ}/$%1zCNۇIԼWb(#&-t 9[o?4jYa▥u*.0tb%vA$r8g@v.*GSXxGihG\O@%ERB_l@[[e1kSf&"y/4^f̟Cܶ?]FZ>rꑄ 'lp/lxeq} JT/Y ێEiO_js<9ys)"Ik/'pOC^ӑ5YZiD2-*>xV'Ef'&CfKiT S̴Ӏ T﯇`5 %,eW$tXLFcdv{fĽ%+% >:3'W d&5~&1"XhWmS`}d5=+܅1M UoLD. #_VYB1MlIF8àbtŠZTq[_]nYa@DT0<(0J# F[p&ˎO5hE:V=wl|)AKx?|Z78g,|t0CY]pķfkͲG P\?ϻSoM2ryTԵ9 7kyf~7N(S)1 Pn"d2̴x >k f+ ۊ> ez>H(1wLȂ(:0VxcQ>GLNYf3FP_7ж&!4H !U;C9dnTGS#5v`|pxn p Zįn R=߉w\O)ATqxT :@w_iiɑ@DzqhK}JUԮ'/Idڠk>h왶/.+<*@@!qQG7ϱ r8b|nGɲM (џlwiN _Tvm(3ǒ!vO|<5 0`~,FZA3!qHyDb=%:Ԭ1=N4-VE*Vb©»!a1R^XS@ԧtbX{hF#:p'?o:y_n(L OI8{R $t|trQhf_6/ v8bg() Ս3Z C49>ftBٙ[, n( _KBSψ&Ђmfe|Gm Gtv( /kKv> LJ}lZjM扎pҷӠ=O,~#yر3o @-:ҪSKDBj1ZwI_^[KN9j_84Wp*f q"1sSİeC \ߦÍ{E [_Ֆ&iډ5 o~gѱ9є4~C8mSv%W>ǣw<Sl)-M +? %rlB*T]T ywCe\U]6FY{@=:t:7ڑDeQWO' y,7Dx'"y aAuInB>x4 G+{4Lr Mb;t)\T$Y][k,^`t0Xغjתuף(5PN2}FlY M0s05’ T=g^`r7tփqD<WGbJkyF4@o~n[u·oȭh`#Aip.GD(3BW9{a25]1s \| 'u,#^ij@(ݏ8O=]LKrOߔ'~68:beU[8Gfp6 ?=( aq( ~c \kZ#.SRA+|I0ފb̌aULjA#d_z1Fo?*ȭ(bƶ&3p47Hk9(,ف1 H$f[PNY~*&.=NkgOcҹ(4T((~nqnq_fH{d H[e *=- m臩Fwv o^t޿- G1sfE}'h7Y~ yjАF'WiYFVEt,2c=Პp|RW`UvT%̨ޝvLT&}9X85T' uR:kvkbBH'6i'l"C1XOTzOz:*I72ZC5LAx9YFH{e{#ĭ=D%G*i9zC厮./XF.@e: m dEYMd#Ɛv{6a5DR1MlRI xNREPQⱷy ݯwv "Yޔb95هWsTFܑWy$P@Ë Tyj3 WĊͳfJ}mS4>1PWK eF.,Gf~'EEϱT-1/6ƙ7pakM~ւ"ViRx \$_pf!Ra(gj_$>RkSZ%mKB*!b6Xz'{d6X3cՎ ]Y/*tTRcvk_q?|M>XP( ż [{sa߉&!((LY[w0Η,{"L4ۧ*g#a_"}I.pguK(.D# 'K @tϴş ^1a0HHdxc.6膇9i->FkyqS2©>Zѩ9RMn;h]-3Ff΍pc}e:*U'"38[`Z_N[NnO.L%(D]&. 9ˆ|2 J$22\J ^Wƫ2{S$8}᭵ Sar%y?x>b6|&)VK/Y`[|)d˒bV9O2(sLP2>ūu}F] F`y>r3+'I-J56ŕ"!k}o_Pçh& -<'CƼH_ 7C TOꎭe[<PTDPc2FِV+]7;O;k4 ^LͿzK 3 R* O1(H.Jo8ƙ5~ש2`$=<=jӗ?2؟~yپKp /8)7Ÿ0E-fhI|Ӧ{لa%G$S%w,"'t?Y_,78b\ MobhEѤxI:^i T{~)@[rU%$P}HBoj]QYR'#;vCa%Hvu>&WZ1upYlؗQ4]b9>ۗ3VQ9j 7%ryV-TWOVըTk)Z#I>qg'EڴOEweYjw9LT`+ҊrѝQ(gs!W4}*^eabi96GݙrE10TpK"vWQ\}Ȗc`)nf}-J/94,P_gsWVn,wFg-C9mIKfdF-"t0 s~%n޶cvҋd\z=L2YB2|ݞy/Jo:H h4yb~vA5e 3N ݍ8 M[a^_{*>{nib+L&^b֡$fE9~Mn-D}+I^(ʈ+H&\"`v\ͤGv ! _Sf=FYN}("yvRRatT+l1׏j6cfdt:[UzXt\z 2σRVmr4븽"F77-5OS!4Saq"YFs>I υࠄH(e%ETT". 2kis3ڴ7 gJ\I#4U%%K:# (!l] BvFݘJ,پ,8t-m+,Q֠!)`^/9@(?v1F!Yn潡IhyKgij, X/4n`_rl J&Ű"^ms %zE.UV@Q]'3 Rl܌a՗FwX'yƚ~|HI%yeL.L'>0GaUlWLK۽bR=zWdIOn-.̎OQb.$ϙb}?f+9\ΐV\9UǟR4XWtrE ˩+{3ΦdMӵQF 6 lY mW*z.&+R].%)yR.;fU^ZO<Bl].d|yEdb 9-pޖn);lclVb(Ўr&>YϮ;)$\~2xe^@*ҥ%3U2F <~7rt7]`1^)6Q@•Nq=x@LR OvU&OnI1N{p=pM蓿k:jQMͩw!oj -[P-|R\ScuSpq>dK>(Xq)@5'Fcҙڗ @ߨq>1_;+.ԋȩ O8:쁆"@pߤDI|h^mMZ]% 9bITKsTXÈb\JIȑބ`hȊ+gVą<`Ry??=TfwjY__{~%)Nh]O6&>&sj>`yTa" ~$#ƹa`rxz [ȯt@FjZ2|1~Й|Jky>MfXL&߀&CU4vxtlǐAz 5e{x+ڄsE@8wصe3Sg$ v߮#,pI,e;byT} a w4vEF{1o_٨':'q1*/%h1p~ :c=ÂfjX\x@uR`W^؟NDqƚYӥ#Bh Stڊ4m}b8?WcduyG3>W֚٩S*H;AMijNg{$ӎ]F}W{P}=W}}|nGuG#O2J9H %$0fҿql{8'4RNSeɫ%4|2! P( ]GJUl2]f1\@Eȱ/5 h7 =}{+OS~@pAF ӪէcJ!'y7Uz rQ//2g*risA`;PeUh]:0YY>QC)L!* dp@Eo?OԪzn6e)C/1OyH M_8&2 e ថxCFK Yqgq_'c)䯒-浉/)=(?ս8^ޕ(A]Fa=$^hD\BPޗM?7û\.]*%Q9Cn|}- p"qe7ULDۖm85gZ0T%Q3m>dJ+$ԏ.2^Zm{+]ܵSQ*I=Qϳx[B.܅=/e'* 8yB&*4L IUI}9Wы :l$? (D)ǃ&`F=eטMkY oJϚ]D!R+(L7\U+7󣋬"/eƋԢ*y M<&cC+) 8=`ܕ $ lH< 8J 놲W\xqp{#gPrKe~')6op+%|2'E %?^ZEZry::jÆ zDĈ5VyNNO -`tzŵX3Zh޸dP'OjN>x43P."@gUt'&!Ol@R#͓l`烦"G0wJ+K%O_\{ᣂ])tF2@PlnlHm6BGv{<ܘ+:W5nۀhAi]qZ* bIgF,bCcCz à_]#dzKP>;HMB <,Ehl^ ŦfDgYZed36506d7516f1d330720ae8c0960e06ba2659ac963f5dbb395fbca1ebca428683961ef28be59393 27d8a2f2e6bd96d232df533b2f806252fe1eae7a b25a7482d85d598bd4d3ea67426031228d90b41c 97125c0ae26fe66003f7d44ff66d64078b7e07ae