SQLite format 3@  .;  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 K)v \ ]S Multirelations:threads=4elapsed=90.210cpu=231.860gc=6.9567zXZִF! Z]ŗXiɟH)0%o'5yK7Xw{98{$Uk)r݁ ش{L26*%?~n*|Q䌙X>.a Dn_ӼVBQ+ܣ9Bf^Gx:ygS(ydv.; Dz#x-sG\(rxr ΃!iM̓Cb$;}"spJ%pVEi:%sxÌNLh[ZuѩX},ֵ\*اہiJ!PV^|&D{1^ɎG]*$fR.piFjH&K`#_/u˰OJU֙ZCN1:{nw{.oZܻԢZI|1geF: }hF#^J1V%4zҧS3L_^b>% t-NިqaYobTI?m.@ ,WcNlD^WwmuF`KRWr27AFb' `pKMˈC2ȳ}J qǻޢ0X7 {WX4o,PLݗߴ UAٺx\ hJD"\9%Kxc|4Cew'7c̽ZKoT,C8ݮ%43c99ȫ< f%y:%.xs0G 5sTPC̀"eԢ2κDMd6DV= wX Ps(0e(UU9!ͰϮV}A ] @D(!+e|ƿή[f<~࣡~|BnW X{489*(wgNτՃQJHJ0) ku5 "<.ٕq4$+``u" XV[b'#?pkjX>^7C QfZiLFmuz3&J$PFh$חs)~uF qL0'Y뎂U+?R 󜐒emg.snVD՛3J2lw`Ս׈ʣN[C[[,eԦAC 5kPzʻM٪svz9,3(`ŗɠ@˧s֥/Hݣ A*Q&y ) Multirelations  O[5(*Sc%HAG yL8OJDK;jkW]jH)x̰*t0Y?F`.OuW,ZQ}j] Qlj]bo.-,P$92h1j()/!ͰHh컘yt*&3D0w)ԡ S(%9,_4iݭM _?d6qCM'()=v=S/S}?VPxbEqf}8TOY;B{{;)8!&Zh*0V R] vmSGV!{6B2Jj=}.IZ((3{HrhBV:=MQm$>AA9Vg xoJGb?4>-OH獱1߬bSɼ:b-+akۮ)^,AXABrc#Ē3-6TC"G{Az}(A<Ě! aGXC̷-]lלs!`::;/ȣaAY`N|sB!HydPbS:C^0/C,UpZ99nBT u!9CPB;NԚl{MWkbንSı]݌$w#γz{ ݒT2td zIBxP'%m_)E^0@ԁ>([YrHîd?YA&~Eo0@ʎR[)9gܭfּ{gr͖X.⹅+ \B$CE0*M+ߖzR\}} ;w< pDFe۽C(;m0rn4ܜ&h\TWu~ 7i?aggj2\T<m^|p4<v8]fr1~F9*QzT'QSg~'.(D*(gS<|D?!A8gg2:ee%ހp|bw#fA*4~t\a\[Oû)/x, M,FK38qީ=<{=-.j_uɋb;"ٰD*|TOﵿ scR[T!1Tbz]YLLt:Zdg\SסyBn vI;|V&Affa2}+N6 I>on) OcoM!MszH xvޘUl-V=-O3qBjᶽzE֏}<"i #R:/ lɴ쮚# uۃiSݻS5 ZѸPjϩ,j#Đ@ t4\cy/M-S&R(]Qi{NntBiϥoG5'*35T6ϩŏ7C_ ElHL.%X0 w%^gY?Sbϗd:VݶjgҲ> vKIbݿ$Ob=Nij[l5DQ=hYᇰN>/#ɔ(C>79Ft{w<k萊ǃ8SOdۅ+SGŝ=$aAlYgxnnMf>0\ NqV,Zݙm5 (to Ů>T@|UVKi򋄷x0r`3}NUJ.ɤ:(Ndy Ci]MʽkyNXf_У`W9S#"FH~D"9!$baJ| M`g4h7/P嫒+BYtg ihjV<G=VI\ _5b pnI4'N9(V {ӠN_:ǣhßfI=K9w*)(QřnrQ 3 -QY=8Sge/,n*~ZWadR\5吗Y'RQLx D˞t)&?$[MWWAnTyb̟ 27(Q>|n?n7zkUgR€ $b^axqeSpURji!3)&n=A *'w6/L;K-y:,CkGGm[ a,t4JMP\b:o'ߎR mIJpkh+5q]NP Nb;xFg]Uiǎo[5zPי&KӐ|<&K{@sJf2a$a6(#k;j0j)?B*u|A8kv)9]8\ ˇƳM 0K9Y!sL4C RwǠ.I{TIGj,I]#"*E~-@Zg^Ս$ .Hy{fe8ǐ"7+,%$K_m6X)%Y1&{0ԬM$%ϓл7MVJ1̻w֎M:>QE!XrJwk^W*%Ε4?1-2+U;@^)+gx 6.[8x,crHf4B/hᕵAK( ;@?rݎ` v*z.}x=AoC>ʰEhPJ 0IUVJ>_8SU5Ip-t]g /Ӊ@l3U Ow!\Λݜ|h'^`>Qb1Q~ pCV?SeXRf! x_͖xU-!.c{ǻgx_Ӣƥ.Bį*]e9 xD[d=>:QN}q0ƔlՌFcV|#h`8=kE-?˹E6Ĥ8?σ{x"WRw\ u6vNkQER=!OtuZnI<t5Sɐ3X ~GE&v á>Uhx냈.Wj͎XfWG}Dm޴'bگ QN1PE? 7)h'+P9XJ翨ݰz卞lTEmb[#QR5Ydra T 0SwOjo1A0*ޏo &B+m>nhcrRByyJw$6CĠ[t,jH3zϊk:ZNIh0Ґ*A]S3ĈĬ K2tTCtY, 0^,!|><Is3{L3B"GnFlRw=ZQ{7?iiQFָwk^fW?wZ9:ii-NjVǼC|K [X]4hes;.tw.* (-qvzj$9d% rQ"~V) RΕx=?A?0b.|.躪1\̇;KKHm$GbV9 ߖP;6Fa,3QAtM5krld~.g&6uHR6utm72 >9sԤt Jg~T.aFiC-{b,< @wkD@@2V4bO"!U;^+pY K3JIJu kZ%QL`}mdsuA6Znt\Z倲ICl#kIo0[E&4yQ2K9%ʁ;m2c?~n{dil٘0h0omj.)}(gCp9B#{FjPj|rBaY_)t 0NkhX 3j(J̛b³V+HLwx\(20PV{W6"ŵ-2v< ##?*'B,{$M.i''}xٚDOaL♀`o@ꂏwt;Mրl`^;:`_ZeY'!a kU([χ[1~ {] !݀aq2>PX24m@_FYƨSnhW*_a8|{OZ(7 !}jR#k#բk[b4v®Ҙ<eT3|:]:ot?#A../]E|Gz.MD;EM~Q$ ]x\wA/7dzw&T/2 =".~=["s~'ARzU|+:Ƿ7\"%&:8Z4$Wq7ͩF82瀓uR#&axM#Ju'xZ7+ڶGm7ks!.ީp.M#hq8y;ѷgDl9gI,^/IpmA^ e^=L@t'uw& OAuĈRP?bjȺ Ҥ^z9(IX{5D}+1%)yrFIJAܶ<+:b"4!GE8'Q/QSԊW'!'N1q ؑV24s$& -ybjT]?Jב+ >$=#VI^~ H)c17v0 $\Llk .rN p?XS*tJ_ v:S)\,v_~ Gآ{~D^*TW"ƀKLy:,GƢ\w?y~eŜoIR`T;(I=(=SAR*sFEK,is$JX?J?zG˹csE_+# k" q^(_pqj.?A.Ν*˞N=)tk 9M8+W:>8fYxMiB W\{d=M1ZF#W%w%z):"b)ϘsU?L.xx+mj}L)"7'ouc LT 6]qʚ@g34N6Ia IBnA8ƏHjV],a-kB3ȓ\2>{w) 7s`S]ٝp?8 \lBF(VGGHi_ڋ]5\]6unDN-MQlǨďLCAV^<{`8 |n(9o@y1x@^v7hb1`F7rfl+!ÆdD[ë]Lh_2kΟmXp gAh̝y<d.Z1aSDCN X/w=Q lXy0GҨGa)ӳpSƽ5T*eea3lvtKmLL\ΫU.@YZ [_fu{؞Rav2KI# tiU5è)Šo?ɠ]S}jqǚd,zXvs\'!ԜxH>DZm#iTٺezcI y4gϓs=vrP?A|ƊNzU9K3;oInb|{ܓ˦Ŋ_Q#V>V`@MȞ`z=b>=u#Neª#)X*&% IÏz:_ Ңl![/W`\ Ywo#+[qsRW2W2K?4T̺v]Ul\J .߉@r\)Ūchhܷؗ|UbD}c0hEʍp_}gs]ղ(H@AR567Ku84$t5["F{R o殓Sm{'[ˁk#EgH̗c?YGlfU:4K|F&+2)̒bzVyoisC:04Fw.ѭIA AnfFc[?gEA_wrWuy#.Oٖ#bz7Ƞ˹U`v~.<#=t„]_@[^t]gRzZP?Co1z5`ɂowѿzeh_[[CyyKMQGoXBL{@d?vÃ\%ѲDU "́<\\)1ޤ0YnP" ͧi=LI[g#rUUk oKQHIW c7ߞ`"1fH:R][*}T +Ao0 EVoOV`[ [Tf rW63|Ҙ0Co]\sc׏zc;MJ#.C5* oW%1mrrcX1g2:`Q r) `֢6uc0g(j$bZ I`WQ /j}bkr*kkE%vŧҁp]ҭƎ@PA+`vc>CN+!O۵1"`  ѢvLz.OTY.FZ;kӸ!qAkU7t9U(c-!WW724A)sL?e566,}n'OqT,M WG \*nst"b`R,{nxhj~~m"q]@l'؊{AZ!& BEw=qs!ev{: n ^ߨbCCFԶ&S¨$56rΊzi<]{YSrbE,}N+WiLbrsWMHuaKuhgGi8SCJ-jfPstO_v*cy.2Cb[Z 6&2%x_) J]+̑mUUGk^ưl6! w oH Cc&Zr>MpH p4O< 9m!^e+kg>|%ٴ:c*zP16J3\Tx:rDνu+wC-cC~R@pȗrkPP?Ѻ |Þģc O`yВX?5#KR2KO6_B_ƴ [S"վ(7 L5ڑk^3-7t>J a dJL>%{MF#u&3 c_KG{WMy@A]pr@[b勔˩7% x'04TNkNZ#gKVsdƟJkM i-ƃ%wQ|5vy M̗l8|sMIJ,y!m03}{IPYy[**b"WhS_I[sBL/CTeUA*V/JY-~I ص;ADUa#`_]sqjE5)}fs%hNs]3 P#xպe}C/t[ONU{wdd)K2=h3u7敜0֕kjqhO*c$lhZ;/83:L77xywR$ܳ %Pl>=aKBܸ $XSÄ^sK .F3Q_^*ɫ Ur]yJk;lC>oDpOi#EZ\Q`r1C!V z oL#,ˉ;!{No\kŠVܺ!lӐ#.MܤKCdD_ ]l=$cƚB㵑^-pIGRc8e]uL XܔqGl?hڣ'xkʄێj|;1G6١4C{LA  b^wఎuLO0ipUWzIs 0AzyoMsaOcrV]ER蚲cdQm*`fV!zqnc=$꿊Dc. ѠNKDjڛ+χOE2:xsy+cw"0m$ns;r7ئ2Rdg6`~g.V(oReyq,͑,/ x〥!ٞ8k5,I1cMK9y{%0wʖjqkWE&$QGh^ F>ă2Vs>ҾZUK/ze®I !Is/:3&SI2qIC-OX&>Kb:*93e3Q= L,j#oY,$/!a~&#bk$Egyes5zmPVضK^2Ak+7L{g;-be'M)1|Sʡhɀ&{,~뛄l@?=k eV4рڜȨjZCAxxP_؜tT%ʒk:3{^x}eMur`XXW+ҪIVLUMIq3gj((IC4ׅ q#LR`@OnsG+>}qjTtK_=Їᣀї~ԥwFA me3Eޟk %R xV6rA%]b[xq/BG釈 #@%e/0B7hbsH >A+g!C$n62YnuSt.T&|}VE$43ջR2[)0[(o 6/tݦ)&ݤVG!>6UZ-uXz%Dbud=9k3j8|LJ^%-yH9톭7 )sx§UUw쨦d;2->v*d 2JOfuXn/fcJXu#JְZiJ9rMVx1*ЫQZhdz] !g? ]' j|&XٽlHyE % J/?zYtDvҘ?TinI9x3Ϳ,`?g52E}r ֝v!3214R/fyTUN. e[4 ]2siGR:.Ƹ Iًr8wܔ/Jc+/j]%@A 'es`;L "BW8ZubCw95?zïoNƒF=\p^o3?jO 7.01Ko DZS6#iUBx[Gk8_DMmCڋy ) M3|!|2HZP>1)p+9,Mo2rDSu7s侕  ԔY(TQI:}C 597a"Bҽ4 |2jhpV=F rW%vQ[.bhHVU6ɽ~$?vbm >_$L,XFvt4Jm1X`OB&38o.̷U<>uS_t֫^dMݷ;8玢1[QLZoavįڻԳp`8z7#†7XHE:ҟs еb߬eiҷ`&A\s۷^q0]Ez6;2KX)o-~v>ܳ]{Do/FBEG=!3=&_n` h2ݰN5-«zN)3QWlλڱOIq7NzvS6UFmZTQZ˜8Ĉ|fiߛ`=U'#FQ{;Ot(7B -6֯u hgֈ:VH}CeZ8u]RKC6,oN .,rkO9vIwن OuglcIʡט9TjU@tQ^>Pg|"CLO8R>\Nج_/0Qҏ`'m[.IEX;fQ_o.k,0iG(oёN9R:g9)TX̓UIT7*ؠ-Y e BQ O|xɱf 2q^"볯qUWwdf+Abɱ&#Cύr@ro6FP]Hk.v[nX`8:;"(ѦpמjO^z`׀[5ZmS[ !';FQm b DT WHIߐ16(L\:+hw9(|{[눌z`|@4p]\JW$(v"=c&ߙCa<%_* ݠ&e-%%5Sn9+QX:acq^j;b{Rpkd4H[ aҧ#k4>\$oȖֺJ?3;Fˑ" BY1-l^25G>xx-ۺn֕W|&>OҾs&f?\߂ (!9]@֣R2jh^LW&AވJe霶P3U/9H)+d墊y%bZ١ @5r!rE0*t.\␾%o$hE v 7=Ā;P~8b"sX2%|L0j/GZ=8r8Sks-1ʹa}/5~M;~$6P{~z7K^(ԋ $rO*47~zgfatu:GF "tU2BJim+ݎJFӘE[mGqUm$3('}*>e?c8&i6Z>U4` <QJu2O"pXQÇ&ŧ2ҧ(o5RN,?v2`yu M߷'ᯤT1K Q⍧Iiz.RĈ/ D,n=8RW+X&\%(^?\Rr&r,&LĒT&Bo(Fr!ʪ/RwE  х Mvc Ch+Q:2@@O~N*0'Љ,o-+ 4?,ITk(Qڵ~m{olܒNgC`|n},u$?T8X']=s=vL꧋c"[l2&X5Pm@TZ_LFO#$<$}L{3 Z,b<]kCMk_YCh1Q [ kL/k'qKdEߊb3&YNPnn]$]ڔd(sh%1akjʶZKR+DtT)7@LԖSTZ>gtg Æd&}Acp^} D&^Tk*UP|U;`"S&(W@3u:A3buÔ.~Bpr!әLSrMpz.=2Pnp*Guq9](r~{* 'ORd-Ïҥoeͩ'*_Pbm\6g#&&fp aK[`XhtZ x\aG:g)l1@hv[]"ʭ˛Z4ɻf6 ݪaVcZ8&1}P?|Æֻf~] 3VlsTa 4E] #c>j1lq4: K5qpf0a1 VbÈJA#@;$?o(j?OpOe !+CK-T$>UXhJU(9+ZM'"NxovYIrWYѬ&=J!Fܨ񲊊;u~Qcv e0>SCh1n)i1~U&ho1-X7 v9Vo)zEx?R$h2+?uo2?%`Ha}~P}bVp}|$]!-/Q5`j KԯYQםsf]7Rvô.&sq*plu$цd3sKi\?;=FxhyDC /k1+X,n|Bnf5& mZnb=ݤ>FJ kPxy6|%%8qʦญ>H(`+A!Gď']Q5,"xAq+o$ʘ〛dN~Y=po+˔zxDh&; q=afUN#SLG0$KnVdu?P۞\vFSFDBá;tV&Sv="ɥfLFhOwҪ3Z̳*-xԸ2N> Q 6.dx/,ηA3X߳#>K~o}7QD51j.UфW9o8V&AS9RSWj@"f!gqCN:.W@`V,Y:-OIG3wsՏ.;KS(ƶi7IeYk5UK0%m'v"?`6%_0vesՅ"%8/LIE ¾D(.-x)|;ɇ}Òc%X{`xP] ]u N{|P](9(G̸2d*n"'iX#B Q CR'Pn0X=1Ү*Q]0P6*>{-ʕ B`=4F1 (B(]&W9'Z#YQOLViJņ G/qڍLssgeT:PjJ7oIuZpc3g2v!}~&ZU 5 3oٴk| YZTJѣL%d-foeע1W֏S}#&,ϨƤNOmEڎhH9?53XR*a\i hb?)B0dFZJrpWjwZF]-vڡX+6˚1~Ry /˓XB(12#Z35sB9or$LCҳ>qyAG/?8]tvY F[p) ީV5+KF^1QtsgP,G ȁWA@^yzO u+O} *7uq@*}6ɍu9aw(8@Rwk9ݻd|^[nѽ= is!^TvWHV!Qr\Pgݲp~ˆc\K峚I:p(q`=]A hBS"Y}^:Vx*@ .7mG?52x;RA' U&>؈T ;LcOgP._hu}?Φaq/1J~z>/l$rq "t)Ws{Kn_,n7뼰e-eO}Q)2e֗jWk0Ft =;5w?Z&w*v\r4gP@SvWeN }G]GszvA˗և RO/5E@0G*;cwǼoaY/9+,hKD @e=<I60>wt>nJυ>`|dͣ^7_]rX jf}J%\/,t ʟ):G;eeOVQG MТ$jÖ|ܚr6T!M^ d˴3@#&hap^꽱$h?I8$ѓ gbA]sU{̉j Ms_"fzxz3{و*e aË!`Og5[6b%wݒ((҂Z9O5#xF!^u ̲^&j&nRY=O![^֍U/l~o#tӥvʆ.⒇0 ͸tؒ<1Cy/O{Tz]$b/ r#%b;xb eAdƔY>< eWa#^v.Ωd0^2/5UOպt JT9Px]@[)Ì-{67nuFӋ =+NlǏy8b_nGdKՒ`Ҫ>| 0t={{`q hVeqN([;hm3("ވ2g(9i5'd"`0mk-R&%#d4U:ݬ*LYt؄YD~*}2AN^\dx/@jwi&HZb}L t1c|n"*[ |mC6izG%T j%Wh/ogMݴ(jrv4i %GkQl H|m^.}vG)/Ucr6`Y:Z_f|MxL Ґ!g ,) \U)vU@#gYZ7zXZִF! f]ŗXiɟ9%Vۋe! O13Zm]=,a)=ny~&uh]U fv =[\}];:%=:Ob%bQgYZ7zXZִF! ]ŗXi%L&VўJO*p4Bz=%Akx}+ !Ɖ[r?}#^\—(%EZWGf\l,n\>v?<0OA S0Ulъb[i yJD %t V8s{ Hro#=F,r+h!(F٧@#Ib4x#]J3˕I Hء/us@_BsR$­\]'9J xg 1>"uрӋ>`s9W4T-jsEb9\S ;n[c9OWΎ\C'ZG+?ùPuWAh)cb;{'?ތMcQ]Sh5'dYJP&?$MV]>o Ywxa"Cz}Gٮ=W/P aF(jz?lθK9 ̄&7cH~ٓRgٛ2At6-[S>%y9!Xe:A?nP$8dcv#J&}W:X8%^먫ݲPbMQ *Ko5+oU vs6uZmkzA[f{\đtCٽ|Z*<bKxv,j ̰ 0x[ʬ]:?y|8"oI٥藟W=];޸\(blp *%pWLt/r|2XlHb\aus@;$-&Աj\7I ԭ5:aW b $Uo JM~Qߒ%_IzhCYЁv7Mʅ!FD(iJQW};>[H{C?#D }0ᜁfĴUUof.[gsxИvLN&X;\%!h(M4Ft@>+s!ݣ{Cdsf3%@p6sS 9!>ޓ'1] }|F%'cgNa}c3Ob<h3 o/VԮaHkٹ!zEh'N(B>[nbd,E6 弅.tt6f+C6 %fJtէ囏-ccA\z7>WZI&m_ju5p;_3l/Fxuq+w y9=j#O zMm5qgMU?u[!nDr~DqRdν85("%l6?%_JXPv݇A foi|Sp .pTwh[t|i\)Οu'N_zJ<- v|V4zT/\yEC,"+vO3A+4򯋳ID5Nnzd.9Q7pAs/_d #@*?d}MVCdf}2&B_wfTȧfa#¤Xy-$cQ#K}"yd9wNcSL'0C Yby-rdsac2/I.-҂@ߨ4sKj3 -M[E|e`3v_]!XjGl3'Жc4)uLx~Kx{Mv/J2#,-@{9SEd]ZޖE-MX<t"{$:\06tۄa &?HH^R~U>{0՟x|`1{d` 3Px5WMRJ4?o4"]6:ۃWzɢt8cI˃'{tՍC'ut"@vUp~zfwN;J.>1WdjR=;Sc-@8(?dZ7Io]c2 ׂI Z'g!]̸`܃ Gqp𚀀Mgc(2٫#P !ّܶߡ#]8}bGEq;(P+!/ےYSrI7}FƢ#"T*N3n![>䬝LwH2Kh e|e֯"@{7E4 Xe sfDҌEnH;"sw6\2h[F{uTvVvfZb_J+Jl)BkHw-/Gf3_cA$HNՋpҥs6Zo'Z⫦!f@FI4#ny<1x{2R}c[\.[_9q3=HF˺]ڽ'( f4ul%Ӣme>﮸p`YE7}ltq?QEJo㉒:,[\uhLTxkb(8@kDyNkq}XQ$.scT $$j|=k3O0f"QzMU/ r rW=ҵptpcT}^_|~H S"`1=˟km2EN[UȮElO`[)*ylVyx$\)6ӾKRww:?$f6DidYS,Hy VhVCV OmiRS)<l`7y3 S%(~V[bu#0b]!!{nVT A=!lVKfέuA]ǰ`CSUt $E`I+K={"]#бӐ#yUգig+},4`f. 4lB4 ~U}rƦqé lbZB1^$WcŧaJ[uwz !Iso^xònۺ()'+ ~6nV*Z9ָ1}xpq'fNj4* slX,$P&W25W<8̙R+]ahJi#`,dIYak;{/tR~$md@gԯ]>ssu>yVKT'!n "nxd!H6uE4 ?e/ H_ 92uSEr>Fh]+=ֺ4_X&SH`G7֝9]U[n˕54 =DJ3[ʢ0'bC$뢔ǧ8 G3ѪVnyV ƶNVB+U" PaKf:&6w:x1h#٬_&[{Q+ykr`_:vT?9::PD]gHhB-M򣈸n2 ]M P.^ZqjO$hߪ są<+vuamO{,n#8x?*!XU̪TR[*Jۖ\E_(-ƁH8i~"ʧVOA}*}0U=nv0կӆ2넅;x>6ri(p{?oDh,\ϱG$Jm.8|f50xŊXc0~JpC(ZY۬i(c>CLt-6iرgYZcc391c9fd3cf8f8434f4dc7bc42b82f3fd12a9319aadd396dde0a279b6a4eb62f8f2ff37640b410b 0dd0c229ebdd3fa7e8fbb950f962bc2d50f4e535 a03d08c0f587e047ece54735d75af4917719c4c3 7cd7e15efeaccdb3ab4b89190e456ade99a070ac