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 a=dD ] HOL-Quickcheck_Benchmark:threads=6elapsed=314.833cpu=1534.576gc=134.836factor=4.877zXZִF! ,]ŗXf1-ĚEM@ٚ|3 5 !8- ^mE;MR 3nIO˼^7fπ}1i ;8vz*K56G:(Ɵ繖&@@ rP>5Kl1 7ˋ: v lRkQ @%?f$bQCR{{lGOVX~wJ %vMm)SёSx>4@yEO5tgVeٿ̖qX9cRDg"z>;7ojDjy&́P?Sƴe^aaÚTt4^BywqY%8;Ka6{CuBEJ#(uW,g.LDLpUnRHn{¡@/)z\Aaj鰰 ~rpBe5eZ 5 :+ęΎ -l dl#S7RmD`>jߜsSY$@#4q4`Re@HOfU@,ƅ e+gYZ7zXZִF! /]ŗXiɟ1SeNk: ^7=Lb~CML /]@ج0Έץ9h,45XX|jo X ;=yY5@FϠ dAyC?3PDd=(*vYnv=x\O_n2p%k BigYZ7zXZִF! r]ŗXi%E\yF8zuWJ7!; yY%fH>}o@4smycpjy9+Q p)7qt4 f&t{xՎKd='099QvQ M,vydUv^,kENY=ۍ5b rns:NEF{H%nഄmsF$G❟O׌eeצ9$;x;7yU? Nķl]!)~5J@)RD(=kENA~X•Ij]{zf = HOL-Quickcheck_Benchmark  %P0@A%yp4VaKPݷHz Pzfm$Ѡ_ՓK8XMɲeaCs൐q e2rP{fƪ]k] %B%Kպeq_@ [ї$qD&4#eZr6V4a+k[(FX TD,w;u bm0bG=tby6 FyPrH;sKȖ!:_WTE!!"&_nS f<ǟ+:37ѷ9z;5DݛK/m ,ͯ6* S3C@/z=FC 9 nC&k6d^A/Zէrj\h pXg,am-ΝD6~b&QVqAR=2b&L*H 3pL0'Ek/,nx`O v$]6<-lytZƢK8ڿ^c i}> $Ј X.:"4bgՆJW}w9B| qpU4Fc ̟|%BM]am-ܽ0mpd9 #} Dv@\@_6OM 0$2!catZZ~)WNǠuDTGߜW/;xwLlvyl p$3Wvo.L :đϱpmm$_мR {Z~ͶuXePSI{Lcyɓ2/T6T[ eT7 /PZVZO/Yx9S^cQ=)릯]V߽CU f[cMTsdˌ%)Dw{m=yNƷcRŞ, µs't&N-0Ze sa+Vnpim""J^}P(י2nqԬ3P6hiy\MCJwy Yu{cHRO?qGRx I oq[M.1.} ,pv*\lԝ?.U![fў_bRsG\W/>I7BdCd@u4lnY`"7EK4Hn󹜎llI0\,-UKl` 钛\\&J> )bΨ:=y2\eGM> ͿT5z$&7 F*WOY ESб1枔,u[g)5Hx_)X\`L%$5:6IjYwԆr2( AY=ELyyED٥NAmkr/R>Gaúߟ~Ⳡq\ JIL0kj@ĵtv\8T 3Ȭ\~},BI0KQTG{W1Ε@K|GR=`8VWV3j!hf.8̅gr>Q8g|!4+52Fq=dChg~l0$u灗3EY׎~L &suqFY^'Si.=(CrKe ?ħVK,I횪ܺWnT^T#ӛDg>{LuD_C'186Dl5Hѷ뛤y-3 iG9ǢL&g2PZMz)DzeVڎ, UeU$/u&V}kp;;3a_=$gvdЌ6S%e>c 6SCZнfiX7cx?P4'B1tv ;s6NU57ԴŊ&L{T`A7-oCE`J˽]WNJ0#c@/a=B\(+ÑS<3-Pth_o9.a <;L$uzi+}R[  Cn]'F*Xa|R"g>u{]E-ÜolՎE`YI>Xm <pӺfw6i(0n,BC ,<@&gIo cC`fh䳒tCЈGh?;rmksm_!rzr #۔p7RFIЩDzB-N' ^y0ؽ*o7~ Qp߽D=-Fu*o_Ei&JH p?Hd0=Mꅑ-* &_2b?`;:P;nxdef?? ֩"KN7h']ڛU Ue`yui/rk9/ -xK*u%6bڐ D:] |EQ L]e7E0Ϥq/1x-Ui>яw2'і|>@fp~T8qYLGn€+$*jq]-~Xqjrrt 𪊭rzljZ(.@(wxH4 F9r%B}@E(6$ގTNw!,c&~5K,ain%Hg= /hK\8McFcGU5N<+jXp؉j;Bߊ?|ś83${&BvnwO&S.C'۷[*洙vv j A"8+vh&N%^vJ)c.F2׉䩈vymlXcn:H%NoXFO*VwvJ!˪)9ܳ'x،h˷A%CZϖ0/1H5~e NټU]e'NhxdC;f[ϮkG?pbmÆ 6 u (h@2^xPuschS<H$/dk3}ڙC ʙd7!n/V*ښ``?#ag>[{2d4,( 5ֲXz4F`Ud쓡&,gTܗ? ~sJR׀M.9 #OȞ'7Ӡ*6Ź ?%1ā{h/8l Y9_àayj97ߥ?;A)hG4z:(r\%uyOfHOPDuKU&herΔI/RLw噻Ep43+9XR&0D IO<jIn&$ ݈$^ϫtGOtfߺ/A2ޅ(cDR)\DUF %|0-'l74(ܢpYB4K$ɜYbIDaw$&%ÅN&wHF (9ڴjO:jK8|VU>Hm (P DTBv 6}=:HaLp" %ZnM}Ur9)3\T6dM[vHEnJFeQi1`P!8π3ӝ| Mƕ~`2Ož6$e ^~X%+ =,PY! z)I~Q}NLHoK)1MW+{>|<-4If1ѧe򙳛oVWC<6QF83l|3v2*ȕ`ϋǦ'S\286q@,_^)o~#ʡF8rMbc{ J.kꋵ b`~4-[:3?CpI2Ir p2"'EITy׎pCh $Ou(c ZcXZo9[(<!W̃[t-8KS>{ 5TrCL4 ܻGz('c\邪<5dH>jyk[o y@دڰ_HT*}_W#,3l sӷY(+ݘ}`5;eyb/Rh@o0s.ZxnlpB'5rKB].N%a_ҡ"!MF =fwWm98E)6!zh+qּ[,n 7Z&rdƯh-[_]fx/sճv*bfO3VIĊ"kcH[y)2vB@x_Qھ1U7qb s. NIF;K SQc\?6']bpuῙo8by@m_Gs (x /ˮh#4<@!t3z."4fuꑗjAwhymOU5ߞ b3 pjy=޾wnpW%ý߀l M%qc5lj6S2WlwVv!/ SHUy5:?o37BH1Js?GrPvGF0<DV#j pyw^sdw};{@`пh[bˆ^{z]`5r $y|!&5 FȤHv> ? )zbW-CK:)0>4/I9n~y{3_"V"w%*"h|lڽrՁy`*-n+ l΍|ۊeZ'D;|` 'cG"*pmӀݿh6x[*uf[}@V?^_vi޳D˞">k˭<քNNdvÊ"}ݐRrkW T+c"}s{`^|ef;MiGv}"A[FvRP;;@0߫ؽ3}'B1bv֫4g|1x[OVgpoJ!$nϭb*W(1du*v1+9C&ʵbU@zF;Kϊ@"6Q ,=N<洤WI$mr\¡ Mk{>UQ;uYLՔk ˷q񎴿Բ|ТbRSpYXR9aXR;k^ "؂Ӧit *TO)lǵ8q F3g$}kdT^A=K61"b..Ծ:A$ ge|ZE~_;Pkxocs;G,g q5Tg飱MN5 > ̻OpƗ2 DDp301@-pδnD$f')'~`Y]Ҋl)=[묿m*7Q3ap>NP/2p=ŀIY|Z?y5wުd29v=RpTnZȄ!T|>`w[W-Q=\U,icѦ)4=!9hh\7xHA=3A4Î9Zju =aRRKn2`\ _0ωg6k)rxz< V=)=qޓMbndiaw8I UJ#"4S d1΃kt9nMrZ3dX%Hҕᙌis ޿ Al֭WQC>Fp"u~ڽ-vczR0^UH}M\NአDIxnncnÑ$iaG-9lRЭ5 /!prcnnVq'UƜdI$1q_? K{'&aRV9:ezEŪ56͂IFT:aĖI;07 1A~Btq6tqvN'El JΦs%I>B>6 5nЫeW;@ڿOXfnu1ZF""vuJxT)o1KTd^>|)$.?r_,XWS_S43Y0 kNh0}ZXh7M/RK;M됝e>1,WxC'吁*pKLicYoK0/&\*P|) 7JȝKF^&.̓c G?eO.qmD*(C!??0} G_Dte4Dcf/-BzΉ0xA w2,sk>#{&Dd>b^C['"U嗑.xJb4Γ:#i0x!n`]D/[KhEWW PذI&GEk[ W(f}j I]l/6gpD?=v:,G⨶x%v]Wu`;ϕ0{T?j]߶sGuC8gg<`ha99DSTRQ4R_UD}B 7}v}OwS>ba;X݅8p&QUC 3>9N;{}臣 2lMQig1.̿<$Z5 {N{#d)q;$K2hfcf(wS̫Ȅg3>\x .k'HPNyY?Wv&@ C=L¿їgt+!Sɛݮ8Y0VvU./Ji:Gej5ຫCɇlA9jE-k֟w r|7;b@VݤQ@t A29grQfyPzŦ1Hl"-fWNwmiF=Z錋4Jw4RqCCGS CUm/nm+KzNyd-'S\7h )i:E`55e N"hD@,ǫvйd+K˓]x!RJBOHc+Za.i͍ЍX>&#!ЖC ej";?,b1#)X"1SE#(@޺B/)3hu^_ųQjT=H#yH"{L^ ﭑxRKNw4ڻ0(#WAl𜦹[\ewCeLXbFUH촂b| fދZ`&}z8^(ywq5k(ǕB$N%O$7Sh(r9MIpP J5 eƺ2kMnQBp T4D,t.ža`dm}D'N%ݶN :6mcjUSSi-2*W @M}. j NrŜ Xv)O5|e,w;5Z'F p^tȾ0(]آ!#s-vA3'Gba8XlFO0u~NbxVBZ++1O:}¬nkBijhYIm&;}}@fLyV3 C}]VM}npe'"<N@!пƥњ5$%_ TBhCɻ& s15%9%w?xHCkRu"P= Un[yܐGCg# U>_z9࠼O@Qhyi/(9alYaTU6cV7 -<㰄aX%KД>O[=Le[ayr_v:xN17b6d9^YqO Ty IfuGېw^/l48n?b9hn2x=(; ofW;p%UC=4qq ֨nB_ID lpsX(X,AA%i@Vqm4pBlI'u\YV@#K;+I7JKl{ "]J oMh |?zuS2̬C ^(ʌ>!}D\ (EAp%9E] sf, 0\{[;6EvН&f7-UYlPԩL,!{D31rONZ|p2`*8$?ZTGr;9{+`6YF<{SEeGjҷY:LbĐRJpr>|m23Ce iwFk*d'4֦$Oᡖ%4CVF䲸Ͻri`"pȱek >mB咈MFL,\QzXYc4›OWKa7c nS_:N4Yƌn\3}[]z̋3w.Ǜ}QaR>3:҂pOR}b,w*3n۠Wl*lZLuN"Z@m% %971[KqwaKΩk'oOˠs4W %`X&VLWNmƶ2_~S8,`@M"lU :ehmdFq<4l7|\06o2~M͇Wm&; MlC.޾ o$Fݧ.zDōȲ ̻g!N>>rӬ.w#{ht Gn$4SC!zfGRg(Um Jn<3͎s<&S ɶmthw {ft|D)īrTGӰ4 B @U9HĘȅ*%9dEm6 a.*V'N.{w*i@dDa=_VN|9 t7΄<,z?6XpJK@*冪kXfg7cՑ M1$8i<͉^fː]UOy:V@L"4OkM̬6QkYsJYM&'y$j7.o$Nڼ1,z'jlO'k 2g89A| 3w#Ɩ36#id0?DS]^T@F>`F l|B:}UVw?TS9XZ ~ [wPHޠQ75q"`X1 J/4M (Ζ};+ f(<=Z8%h);'dW"g&d?n#= . #!}"; y!/VV~#*ZaT BA "ah oc`HSK4om)a/^4pA#^ gܩ+-W?cޅy""FJ +懞7`.[RձK9P¸L$} ) cIDz!igw1xatQ:㢏]}Ś*ȃ0߻yvJ$ ^ %'ҌucC.zye$ӝ̈́Y^_p(SyRFw_`bpZfٻI@w{ڋ!<-M+zޑ c*fHu,LX=hEXa7ϜqoJVÕeG^17ЊYy:/eVaP9spSҘEL,<Ԥ~F`tq6YqO$*4jGEwpk-pIc ւHHɻ0htB AnκȜz'cS]-ҡw؞ P*`0Pn}01EBh4Bipjng{y`Ĝ ,mt<ة(\I?o!T o|+Qls+EhEҦ Z%Y) c',,;5YոWZQtBeի!z7a)K\*[2\Wgd&T(Df)!#"ˠ,}m+.[l5qѕFߑp~.׏Rw9?*uq \C"MVQ?!Nr\ӁJuh/華nWbD νޘ.ZBJ }5*߮ FS•`CI| S[=[Zw_tY$j9{+ co撾lDV:'8+(LUVt0JL%$ '+R#1i󍃚ֳ|aޠΒGXwMqt5sK t>IYB5FsWvq`2W@s( GN߹=?UQ3챒Vz4zL5If;>JM@;CG؁ҧz bUM<56tb?b3E=+EI/Q̗ɾR6J *&"NEZ͌p~O*M Ll٠ =J*`JDZ_נYkLbT^+H.9=R*J=7hE}15Ab99b˃^b|dO!ACJflm[qKz'e"F[R:kjeNBÍ7 "%dn-' lju5c㋌&XzUg'}u*5S'47"rT13(ͭe[I/3f0Y̏=<'l Ef]ݑ/qUI, $9$SܳLAdjCX`ߵ -#X*bҭEyPhܕqm&,ɽ2;zc9@Qw[w^}.-<./읪;`v%e3m5] `AJ"~3U-+\QDhTS#H3 fk\af-<BKZH8"J7XY}Sӧz5ƂS hZXJ?m H6jf4 flisDlCq`}Cz\̲$Р` C>8);)Rg wx*I+v 9;wl*c`rJW>t yJ^m[ \D0WVIri_Ajܤӱ,\B T gökV7'8nɆOxf6ԀPOT&dg@:lH q$|U5`$N?tb&Gȝ)<緈{ 3pvܝ ѷyR2˲|Rt&0ac46tDp;˽kȭ13]QL Zb$ꔪ0x;[?x>lF-1KZϼEa71 \F^'q];"=vՑ1_+!bzd.:z |۵ .ޫ7ᨀ8`8fSe q.*r(Od'4!@Z TkrXh60(Ij1ڭr}M6]]L?oM!0GkneɦPB sCNoS0)R/K8Hڿ Aqrw?1oT7W$1X hǔz,bEf.y/ٟLR&RYf]@XtPkr+CH8qr3_.P˃)Jo~@FJ_چl@_l;Cgp"luSCӨ{(Th7!x9 +}cع1i;Nqq;8A6I1-o&C %jyqDE) CHU\otnh*.Jyr0aS?,lX1#1}Հ[[+=5i]Y$ nf;$JkƸÚ;BR~`6\Z yj;K.1!q.rZ*_5M>yFn$HJI Jbp.eMc܅_;6k Pfs]^' c7OѠ < t/]' +N'JYn%OV\kRl\fF[%U9 nܨI_<ז+.Pᚶ}G'4𤗱ثy" {)z'B0Hkk?ˢZǭvF)`*_Ѹ QEڋ̾7apdT{c@9a}fop c d\G!|o@mk(  /pq[?S]Gϯ%;/ i-mgy5St>9}Q.V XCàR"R6\l@^C &I']`s;ckz6l9B+otl:\MIb[^ /֗Q:>P <ǡyU,cŎH9aA5]*Œ!Mr!;D,Tqț& }M@S2!veŜBv@oŋ}lf$n܎Q0#9`~Qi)`]K?Z9!夓Nrk*PZ'i3c8SP778s*E:{-5d>*zG/^Vho uIA%SǓZ؎3Ƽ >|ˀ#noFo}4)f;[o&Ҕv>Ou JX ްAhy~ꄳHR"J4IY3 ש~<& kGdGh_pVc;ȏ)D%豧Rj^U-~l+0xӦމ1'~6PVqnDHD W;K  nIn';"A04A$38Z#ǘAe0>L'3pщ*VGǠF_j(dAߟ[ ba67a2ʛ1_p[nЧ!EvE⺺ls pI&k(.ɷ5`*{.\( {N_zO3^,/H_+YP>3r2{'԰υ'/zGC%]1dx2P#tl \C< 8vu߻ <H*i|Ω(CU7%~p_HCzR5NOμ1MȘ5D? ed>s6wГ%l3~BJ:}fgZ3Wk)yAlpכ27HMĩI PfMӞO仾]ڎڡRt@׹w4Wʴ7ڂӞ;`sS\!#!*c3Sor.i`S0d ʐn4 r%{&+.`ܰHdv\,W#nۛv{xBR&d2~Vݔ$3z*H5!`Vi)"(%ӑC;]jY^w3ee!%|LDT(;P}xX#bE }4>b!3Vv Ơ60 la"l@r i,|>B_XIPEySϙ9q .x}P{ڭe%{JaW R߈_ -X@ _%aXy)'u9zK3G*CЁ$Y ʞLA6 !!V*.˔)*&-Zt W~1})8B:b\S^ihP D8p{F8i ]Z2ď lRa*x7_0*J*5]bG-ur=;k{p E"63p/ZB:-YJΦ3FzeG%u]YMr*ܫ6L0AFJL!8;_ PgeXR\we<Y iDDh?Tb`iH%(]u'v|UkTnȿȔ?rbWƘMǬVG|> V^uS;PjWlȇ߷'@FI eyF}%#i4 5nYnt,U67˶nFC,߭5<!]W@N{_CwŢpIMSQ@XkEk͐ӎFPE,kIqy׻ֶ!v;@vE\V=̎݊#Q]\أˆk1)ި_!g)J0bSYCGs.(8%;ynZa3;?lX~Cia/O=Pv{Ik_im-iO nNt@g47m޼%4pqLp{x4)6#Qs_;$=OjK?Ac_U1-Tﶆ*sMY!}9mBoe!9%fՎ-,L-]tTOX{,Ԣ,ێ,O06sm8B rЂSĻŽ1M!t|Ĝfgop {}bqn̋qi2K$ 2UHp)Hk0Q?R?FoJ.bɓ2&ld+śBFȺP+i:O-쀉Bʬ&.R*#,w /dcbtĵNK䉣4K,f]Q},C]t@º=D6z&9eu3McThz.&qt?X`ͦ: H#|9xܟff* 7:?Uv̯4DOABjB5.f9Y3WL;wd 5;g qxR5 73ႢB%y#PA>R`FRmUa*J@f*/.šO96]=\JHhچ~ON)P$ud>e<;P/)ER`+[7!NZLD)g!EN+ q!K+^{=igO/jrQe>ݯ|/8OYϬn8:p,Ґ>zQ7:bB}lny #tzd_^%IR+T0)p8 />Ebp|̻[ i~ [D9H7k)Iwyqc$ob ༤7J ־ʻtV8oHHw+krv@>—aEk[i 1FyQdP6cTc>K9_dW>! yfFS/u-tBᒧqG8^P)qGnZ!DUC((V{Q|ɩlxng |>I]LRñhD[P%0LiH ܗbb[).\x& jnk6d,EBmyz pZܤ^wYձcjpic,83jT<>w@Ĉ ~piO:/sp8RyUj1Yek¾I&UZRCidКw$#t)%ݘZ o53ö_ǘO>xࠅ^ զ(6xeYCY4N#DRDNf^b@T9֐Bz3/B> (1^v$(3LÜ -%wIWa)IO0w$QQGklɍʙw-KcNot5E`~^]_ZG]%4_f(Hrp / Uрk GgM/:/B4Zz9VZ9ZgqM'iU+\ђBv()&zL {YnLoP0{nFyŒG}Bq6߭Fۣڪfn'+~z5X3huݎ mCcR -:k-TCBi`վ,iȦt^MY2"| t*h?/@ʒ,'qjʮ18QWw9lKI%tG@= S1ș1|%4q zK 8bՏx(s0qr< #|=_0lx@SВ4Ǚԅ*m"A9x+ʛIe 0u/kY25R%>1dT@̆ly$-׌.S^e^{ #S78ӊ,`0li0XD\QĠmQ.SEm3Vʉ8'q FlY$Ӗ%L#[mFS"κ$n&]5 SpaAXŨ/=WxqcOˌspEgo/~ ֎o a 7>7Ly2>P3xO+C:l>&YVty_ɷ1HHZչQjENcI'^E0Ȣ=,d HpA ]-Re)9-JN4wM uc:%+J5ȗbb~e'G#:\yNةvl58#F$nK)bֱd-V=Wy>q\5Fkz៉>ݺ`Qz< 9dLQL g*41[zDD0Ȇݖ)>s8HÉ\u;He?J^u߫ dA[;{B&ďO-\5ZR'Voѭzn S! A{*`>0[%XKIA0-u/z5 \ay|XѰEA.Z\Mݙ&p@T|sy+\@NV8;&ȕ{` /!`v,G$=`̂(.c p D ROΧR/rNQd)iVL3 ySR0J ?+yK i܂NzK:KFD}RE> 0Nq?+6]3ֲ@OX NU&C(SIob:陔Zٱ3,SW?r>[GtW+ a:Lh#-w!u>a=g5%1cWA$w(l!•UT0/]~O+BG4<0mSGQ̐D!H;8]V)%b>I"TD&#D $Yu[2 @E%QT cۆ**xU8@QN v2H 'sL؇=8oJ;WH:V+ɄQL%Yѐ+,uёT͆D8 a$cK{K4gX3Gi{|tn1wK؛hM):}b#4Y4"1ӝ-·@mfsVT«\}mBHcpx ycN|aLkwnGZ/%To?5`===Ϟ{aB5ҹ=_[$#7*/c0ﹰW&CoO G0rWB㧢r Ȟ<w:,c'+k j7$jW(V>{gr~Y=VDMoEԋ č;5l-7aj+ j u7ak+:7J LbcAa}GvظM2&%C_ JTF`ïWw9ad"f>im՚(nibmXÔ- Lv0$67><&@:/[>\nE4⩰΢g'W|QEY(^2ԜTn7* pr]y(2Vߍ p;y4]Q'@  " uZH/ 4!ø{}X?[f;OIޥ*+GY_%,AJt€l%uŊN'Ӡ¢;]۽OTUHޢ]k;uR@hR";O.v`,7M-Q@,nnDp? 1*uK$lk<.kXRzi bU+>>'|m;/&]ZL=*Ɣ, gs>\cf01+s$5QF&K?Nкv-gis!rrUºotȭO!"eao1 ض3CDGWlP 1{1^I~=h52?=t/>4.aetvAIh]ީ*,/aIdsb+x J<NӺR[_V&>ʻ(F,eleS$٣ϊZ],~{k:] g}d] rmIsk70G.d@vǥg  6YkvĀH<-c TϷIvܿĈJgYZ67b87b96665a91d3a5a80421d4ae1b29388dbe0d670512538733605cb63d45e26f52dda04b891aaf d1cbb794f03f6e7c97845b63a50e90ed33c8e18c f28bad5c171ebb58807c934a7cf754cfb74b4890