SQLite format 3@ - llB77#tableisabelle_session_infoisabelle_session_infoCREATE TABLE "isabelle_session_info" ("session_name" TEXT NOT NULL, "session_timing" BLOB, "command_timings" BLOB, "ml_statistics" BLOB, "task_statistics" 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'|D I DFS_Framework:threads=2elapsed=272.027cpu=475.628gc=17.432factor=1.757zXZִF! /8]ŗXf1-/6vRZ[gYou1-qF N w8 ' DFS_FrameworkD #@\pĕ-F kWk=0+&bq$D%=%^ԡ &H?}\\ؖN0t&wppOj탳PuL-o}$1s>L+)Ve3-4NZtzeY@ 3?n1'&w1VVYGZ[8\r1 *ŖsU/e]5зgc )lIKs^pm/8%6?i_/Tn^R*Ax{1ɢ.'d[{'"jP Mȯ$"0$[ckW=-0k>H|}]diQUYJ.hnw-I/%I@6/8!zB?i|;}ԫG罻~t2#/L$66F$Cfc#;6tzjn}VeQ0NaS'jC9Ho-/*ne1N'`q=|=)ľ;)rv}2d*yn`^p*߻j;1̲ v.{cj\F&w{j͇o} o_IiFvK^0Zn%NIe؆6/=$Pߧ*'ÓalЖUs&oJG/.L4n#^P䫅)čY7)L`:6 s?n|NCn!{EM^c Ep)ț2~-UL~=& _oarܶ[ʫBH#fu!29L%MTƿՋr<(L9On9>oeMpnū;GH~H6]:&6 鬺L5u_H\C+7Zxb=ac}}ikB C@1F;jg]nhQ_x\!l-lZa-j~\h3P, RwcS{-9 ";8."DUGq=j ϋnFin2^rpԭfYz˜g-:2|'wK!6 =ŀ k`2N{.=2.Gbiȇh&M9|uxdt!4u w A:TYY~ q,&2GfV.h-ύI}bDh RdW)H "+Qgp7Y( }:IƐ~rv;'vߎLk*iqNlI/dF(/ɼgn,mՖ_W'x>2@=b7e?ŪcIDFč}iu$_ߎZ"E{n-C.?>&6$GPm^t:\8kAy~ aPP/9'"G$|ya@'W7*bg~||MibScGϛ&-MB|J6OE7\~ÅY &6o"x fjlz@% BO'JwY)Z|$}O-հp1+n}㿴xMqSD! ftI~' XH=b:C.G rxV*$Ju6 +4k W!sy~Jmr(]+';ÁW[D -ϓ#[MY0"z@%oCڻN]Tm|D7yej.Йk9ގ q'(vI3ҺzݞDӮ>FjQ#y8ȢP a;Ywla=8o3#DZ<Hf4ŝ3j C@.7QP!zՕW^0HbUf{@aݹs+0ޱ0vv3ݍClQWZtP$C7A܄3Jh+C\?:u+nHƧ娱ZNVH+Ȋ'KY >$,jF;0KDMawԑ$''12))р@xuTz$jOM okh'z8vbԸ4!;a(i 8(f`&Dw<02'l21QqT,G4}z2ׯ2`5'tgBi\OVjdww5SE7&G?4 ABon#=N峷  JYuYܬ1V^A`dy]xga|?u$5ֹ-|t?bI*j \u .3Pxs,q˭Y*5Ct {I _dMzp$Y'V7w_Z.pdW&-5\ \}=OC3虫 ep(>=*topjSXv! Q1ӳW:̽KuM".{KzEV%(>Ifs:[?(ٿ /LP&gJm1r *k!wĻ*>L۵- :~x+ew z5'wј"U/I}HR!J݋n'>/ke{x2H cN7`B`HV/ PG"%zy%C bz/0vuyKD:|6ZIve$%?k"{[ܜSy$"hޓ S%<܇Ӆ@2r(oT}[؅Tݮ,Ip0NNY>d =tfj$Fۜ41NY D2Ioж57s&j:y򩣢&E$Hcg#,D^KgiQ;y0y`}u(jZ ľv ٠]׀XؿzPX a9':OX.U?BѲŔzå:|9-`-fAڣe:C)J)_Xd ҕܫ0s =4U3 1#NhITC"/B,@fsxoJaLVXM Re8pZǨ@nM6%*]7Mmb{nОP#Sk|9 # %\ -wM)vIaί*N]ؗF`̸M<| eR5wZ`{.crgkf6(lWxҔOŲlTzq11"`YMM̋3 ל7# Wk-"T!r;ȟ{$;}WF63s$'h,ibz2TLqdK AlGp>AdB, ^f|ܞͳQ,s& }#shع;LƤCq BM,s/j+uI/ $]uw#aբ1@'UMk nh'3l4^&o Q dKa4"U(bn.f>SM1+&4 AwB][83yjQ XtU["S,Im#w)ٽX:\r5(EwQMڶImB"n/I8}?Λ 3`|~Hq8PAІg"#\p +pIFtɳWم/QfӌSpS@bXiYy]ܾ_ʍ%|kޅ6Ưh6``k6V. ɩ¸L7R'ͨ׃є@^Ed'Qw"}BcpPM"Os +P]3 Ȋ& `W:^Went/Gϩta&  .ke>L':ԟ__ma;GhP um`2׾TrϵK[l`JP%dR%lC3} 3F _BVf  ´ Phe &KLnL'IP-D1{_C1"0ϼMSz|y,JS${,E ӆhj=\7; +τ"Q%$ =ĘOT@ekZDl4R8^O75H`ޔ#3NŶmnඊR ZPDJjD%3i׎qR&lۥLȐRhÒ<1C&}ip?n=1>ѵNt:!b71 Nb]Vw40tņNdL3Nl6a`a-p)2| kkApO.YO=ܲ͠fq?5) lDϪ ~A*5~i.YHG_ .pm4e? 8`ruLxOY r+de]Ut0m7Rd776 ^6 #d^@,46"KuJ$L)ӧlnyQ|ld^kK9V -X|tеND.,ӎN<<'[4Ks@P6fpwRThOB|ܣqxsET\8)q}L9rr1<؋l댄'n{UddW\0W7X(suxs3F9 hJ{+gfjޘ~mP@6C_ZO2$.0ȔJP~~&-~J$-u8̎8^nAZ$?q{ԿҴd =ғyiOaMv9 hu6EC!qDmJ?$Jh&lgֻRbx~,tZ7Tm"ΎWgcd_vwlc4:N݈١71tXgzLay ,c]V|l2dAZM^+E8D\)uD`2o+4IcEz%Rd |̡>yxHw+i.ezvv"INxIl\ ý#op^须avt҈fE98lZ9IL6VFt?ayU+9GS[FK(턖? Mg#/0@c~ȫ B(M aXjeExۄ eB<9 ŷKofd:iVU+S\O4I(cͲwn:'L~E (^MqŔ4!rիv bJ=Xٵ6>+٩S&idRDƇMJu#*@OɓK$CNkpY[ b }/ Z KOcFa %>0Κ~dza9E2=1hvM1wZ"~R27+kN,8aĢ,F4F=9xkIi4k^mKfR]Nr4\\-d!s7crGNP\4Pg'@;!7R`cC@RCt6 G,8 m5UPZ vK] D[n <$cwݶ7%yIV6\Wgwz5x2\+#'u:G}/0C3&1o7ĬDU4DluH$PptȮ~ΑVpR8. I.Ji^bʓ=e(< <?y;f{N*tozC<8ګ^q` 2 \>uK/=9A A£7QgS]+Sl4*v^k#mrac쪏:٢D¿,2rFl#ed̋K4ңtzL# }GqYW9s|[Ayxf%N R;ݗ)S6Vp|ۭ5D ҬxȒ ULhRGyvioǼ&5tb\:hMo\1AcbQזSKRۚi۶B2f?I)ẺӃlQ?ݸ\=dvz^#0dB<-Ʉ->":Jl 71a 7jFN򷠪Wm=M^o % A+YW # LgQ~92m.&}Ac4+9w55nsM"&pbTXO%B {`~ N<؇HjQӺ/do#߈'t2@ 6]@ILR,5۟P&Op?Q8SWk[WIF;1ʅ`/kp'ɉ4=-q#M q_F܆1_Zei.ie2jh>TV_=?Uaƹ{ٳ_ǴB{k4P]9ppWM$&_ymh*-V)ɚ,yyTv1y#z;ąWwqNYaP77A±x}޸T Č\>R4TM']Dsvȱxkn[ZPt^ u2I'i@k js#}`9|Z0 `0=o\o/!=fz eӸ܎6#L4V$mf'2>Ǹo}VHȔ^FQSk^k$wؠ7ۅx.R)㠢&~E 6 OިLse1犨@nnº9 x"GiJ,_jٿpQnC/p8.W/UAf+)ԚRHV☏j!nanh82)K=,*8H3+Ĩ{AYRV>P7vAl%L\Bj~g%i̺lYB0JI'q<\p? Q(5\J.&+{|u 4%5Zti87^]UYT=Hj쭻0؂b"O&Aڎ8H^\kR6鼝0qx~yXV᫾åxXr}R?\br #`Ă\[&$E^4hb vޘ7nT{]*^Qe`z׏69|֊Q򻎿G$Mdwy*Z Yg*>ډ=J37tRȘNI)T=9X|xC/˃\Y@1#uŠUXMT=+X8&[IBgl:7˯90ET}#d1qsRج ػ{ThӌHx7MK$I+.iev[NQ *ل"JkQ̈Go-,Lc U@sI=AK:.:w 鳸:jLzht)8;oVg692UbCVy9 "޾/s'"bc챑׀`1$}%J5gMcT;Ktj΂FC)q=+21؛+R`%À?Qԁ5+WD} [Tj'Zbn!dzՐ@S?LBL(7}%ͳ ]94*5HF`TcL$3OO?rUo9a'sFόq##y]ދ;x`ba8ȄrHp 4\a q+U$LB7 t T(rnM#S52$~5DW׼DITk>;ٱ{av~T/3!!o2?ɈmgwxUg@RG1 zlCL/Jcpa ǎw3Ƈ^+=$ pOBd3 w Js?l1r?˱yŹTg}&Y*0{esj|LY0a62(D.*C[J>j wW(cN*bf†Oq.""qVO:–~Iz#뚨0iJ{( ٫'W2=)!1V:8lTȓJR&gaQ?8* rbm8*?AS4F7Q{_ܖS@/hZlDSd5Rp7 <G?R3c/eG-f-W^jb@V[\W#qݬ._>OX_v"V'Iwa1_CHMx>dڑ[[bk<{m/ś ͸7.`ȴR$ H!gG 5% ռlG#{C貐+zV4JwOtzQ0W1MTZ 1\V|u\^ĩ ;=gYZ7zXZִF! 13]ŗXi%Bׂ~OZ(<. R.zw5=.5HqvLʗ+%i@'|֤I(Igjx푆+M֪iV#2'q5׼. a^6d)N,Vy@> w(^TkJ"w&H5ZV#z @Ti6}![G3(%w42ca7KJ;#l<&3q_EuIEV#aEr hrߐ.&H{3z=DS -i^9g#9yvH)?˫|.D[A4Mz%By}{F K'?oG`ekQ?PXպr)†Tg+-nZ7G!c-XKe7$#M%McɈ>}v=Br ̋Q)1 ;:K7 3grm}$R"bJ/ĴdCMi~}Ё<Dax]Sܻl~+]܀~{/KAĺ&8)gapl|;tmhO,+feEA>}%B6=*TzRBX H˲yH}rw.jNȬ S2qpo=?5͟y%Ӳ}uK):yOJe^L ڼ@~a/|1"m98%~fn>>K_㇏C9_;:.#~S sJ' f􏰖Q%^ p*pVP;v߃~0A߽j!GOfWpA !^S˪Z KOhګMm:evƎOحM^\e1$r@~Kz_>X7Gmo1 DJRukWqP~ܤ!Ǻ-zUar`T7L_OVD*$FDXOF1-34ns!4gwd#ǒ֖#U* ʀIĜ&<-!]s= I~R6:xV1Ltem4[ۙ3v# }BF.#MD6JN7W޲ѐt) fi}!:,K`\mb:HءC/addEȧrc*ʦI?fӭ++p;׬}k1NFoVy j8GPM`fwv>13͟jݷY%OJF6ymBC*UȉB" o7aGR(6{k?m%o^%r$=$wKXIty)hU_wDHi 6ME:(59xi5AVT& Sc w*Vo%9biL(Lۤ(Fn#3o9V ב7=Թ6WU./dv"r {ƙA);_.F]W#ީhZ@b롑)_8^Th,.dn{\R2Y1s"$X6^|wL 76S{/YWT'#@Y;h Ԏd*&(PSmd;CKTS&13)^l`h԰S?9;f^U'Z  nh,0DRFc@e!xٹL&n& ؞6hoV'[ MUr\O4F@DP=?J6*|?<)@@^sUx'EG]WJ("Háoi; ˦7/\H Ϭ{rP:E c]~OSаnuQ`DXzl5'g|Ga=a(co};; ~w`DgLݲVXw՘; xl<4MPQE TX!!IYMC}*Y՗ξ8ʄ})E(I!FM-̀GPzZCӴβB:qG'' Hܧ8CAW t -ЄCBQ_@2yIOl>4db(@\>ȒXcS0a*{t^Eڧ#{2NY˨ ,I=Hk Z$/d(!i';*BSٵ!Cl L1f)=Q>t%NXz,RӅ*5o;f k-Ȋo g ?DAwHkhzc]X(dbįI_ͩFڟl(9wwC&$T*rW:z#¯!>.nťaPH`?#u% B|eq]jrA/U&:a^=6Em 4nVrgR;4L&iDAR<#oLEb]n~N!Jtڔ~nT cT؏@:g'6ʕ(m[!͵4+/x~ZvgЈƗdl#Xh?ŢTmwUsj[X p}/u/#$MCZiĬ˗91؜ύnv/m җGj˫Q)Ř~ ΏbT$8ae/G;caj (lY/_ƍ?r;u0;wN!V+ȇ|{V5/olA06J6alA]BM+7)2[EDk)W$ږaH ^iY>T'Fi.G/{<8s$`sP'XE"A?^ptQ0/)yP<3%Tp;`ʶT@Q5_ur@إ7IH)4N&]l @쟘vS "a&IK}I:_s%$@ {Z1-mob#5C3Gr2^СvFF2j!Gc{{:ܹmՊ[-{-Qm5ʨJzTWԑ[7] @n_QgbR+W⿟ ,;iخsBxn֮ɯڈ'KH ݥK!Ė"hWWU˘ckF 7PrVzeY0olz&[Q:8vѶN5z )~M?Z{K$tHXyBcS|$^grAzʚNPIH]#8Dş$>G glP- 8po3 JaK|L6BwAKs!>)(mg0lM}ȫN5i޹1,bMXwy^>L˼01 de~0vKR4]>,,(Y R͉AݰşE^7=9b__ɮ9N CPS 3s + [%Jǧhk@$,oeǤ<⫟w(R!P9Q?x3C |w" #z]"7"6Y j{$d-|m2ߟa={ S4c!iF^BӏE/=ry@&BJv9\,F-O`Ҧy\`<}O^H2C$|f.(ZaЎ]<Т940? ( #lܷvn@:ȓ[$`U5Hf8yg*9 gX]k8Z oHl6E)(eP⩆nu6!&;m&u&l,~&nqb d8U(KqHs| LܕSf S8P gO -3e,~ V]"0W4VS`]юT8~w|Q2L:'(fs馍p `쀤RKv+34ު[8@c2PLtO.en@Twrr&QG\L6sLv-唡~lJ y7'y,Gu.fBf.[0!F(F Ew;5Ǯ/")1h&HJFe /LLpcE& \u;DYliS &#~\ѢO!~`E w.dWbó>K) X1R&9FdI%A6Ev}92m=@{YRU{0-|r.͕K`#+AnB5kT4 b~Q8LNA7GU%2C9J" cz%H 8Ff9yO6/b gO(0n^s0trm4 {7F '_:UZ3b@on_N˄!>9Vx4xM|3-WCߚԙBB7i).ݎ ?)WaJ򺅲:K&l<3mE?]DkU}9&.?mR[[3w:2<" >m]eR9ͼE?=̲?-G-)•i$l?},t0z'3MHRLk<|`h3a~3\AqvpkչLi\[=LwL,C囐@&a,ZS󩝾*OjZ$$>ޚt-7I!y}`R\Cܴ> 6q;FiH/ 3hYknI\(ET(+q,;; s2ot ^賢8N} sk=}b|4m.Z. ћ\WPhN6saG4XXŽ%}{nڒc1aTMB[|HL9v*U =n05|%Kzʞu6T:גoV͋knJX Rhwp:WIs.>60&7H֝wS`U'6h.aCe2mvhO)>xXb[g"hE"J$NX1Rݩ;R5' GU I 7(W 2[(XVbCTS(ڋX}n ZaRh1ُ6GbDO-Ѫuab,5dg(7ņ,PLgcHn[nҾ?]3|Ua~ߗg0 N_ eZ./xŀ^'cmW\XiE9Zy%ҷ3 *AGhBbaMZ!}_,M)=Oq Nv@ﵷkL<͌O=~ LUt%xy:A ]N> rMn-r5="厍U߯7B9USL"exQI+c?,&\W ~$nTB*3uEnָ37O!a^Y-)"4{w 5f!_ Q;T yAP7^31݁qGW4PbW".or3Z;E* dfERH5 q&OE@iVɸ5F,2* V~QDө EǂڞUbXK++ld` t}_[c';ƷG#P5:4&l> MS3 R3"D}}oi_^_cncM3nLWXoRm&0ɾީx?in+B ws)WS8Mtw)mBĞT*17z%\鮐Fy^4vW4:2a̋:S@;u)QlJ\ڨKmtS|]Iu RE;e8oϋ}zb{͍+!+̱d2K;U"g0VasJqxP{U6)hez&oc^I@M m%I zgu #=O\^YS`I2"R|Ue=On$S"B3dWM"*Fe<7yx۰z#"تtVy Z)=hAY8Po/+.H4 pj+˕ƺhv Q!O1AA̚=L/qb Y3q:cO@^s^sCS -,`sjK|BóuD>@2 >A ,}2*41 &3P<eӦJ)"x_^st̳d˘=]ݔIZ|:! r'$9cx  t`r-/9En1ĵά`17X/K}B1ֿwj'.|v}PӮ>ŭ 'ZFwyIyk;1g"FqR! fۻB`Z҆ M7`%ta 76?-{8wpA1 \{W[ ܌<=g\S@¥ĪgE2KUKؓQ}tEyG(>rK$ُ Z{A-9uOԦlxLi9W) %-EOd<wp}Ȁ8",LK~ķIj =V|8F2c"s|O'B_R¯0+^֜+H,@8q0R= !ϖ ׅ`V\_O;2#Z3/wHKE"llOZT_]n*a(>x52 4IJI! w9h[.k?4VDv!4*z-oKLg' :`?zmwv(OSP8OLCȥ_0W{qXC0n%vϔ3ё _n^tOZR/1D& t[Eꁻ ڕ.` qr?f_4Q[ڵ6a Vr )jac8 IɸzwOlU࿪+(5[S\>%w$EsU64Mmct0DZ2Ҥ jn^`=ja:4oaCN)RUNtiupsd6mO/4/yW^]3Q7|{+wDB|a@\G8ON!wQ[Z#Bej^AKi!TE94`‚0Y- E­ٲ}O9@ۿ^T\<&& `yS>\?)H_&Yb[9ޛ$绅lNSH:9h L( `^=p MrZ=meLSHH5c cз6|M:q&^Irup#6%1&#׬vM6Α)bQ*NLH}X_cǖnH h;l2)Ri[B>/hp%U KT00xVX$N7Ju W;5`ڂ+zzœ;_UOq㻵4 oKs/H"uo@fcĶXĞKS#A3遵]ϒ[ FzMT6 z3K @lyIcw~AEbPhE_w;ƣtLqZu  sB8z.l4  'un)0[|`Wt^(}+i^FQ(pIe4נu2P"jL@rG|m}\B5s?14J0ˋYـC|E)M :ȝ,,'ⱥ΄ݬP͛+_['8i?4۵-x)I@j:$5Wm4E\-c@_܉%%duEؼ2 5eppbp>0اG&Ϡo/Lc}A>PP|T߶)Zok Y~? 3|=EWG,Mj2ng;B^?Xs w~D@sACg:4{(F+-;MK_lzݾpA1ZA⦛g'ڻ2&9(zq2E\N׃N\4-e1+9?Ӵ5ҵY#,kj:$.AUV!!!p2& D6R!真@)OeP"DujF^$ŚE/Dg,Fw !Lw@24CΕ;z}=wu&fatͼS'.$ЮebhŻ7B&a~Fsrj97[6Z ?t|c7L>h\u(sBI_[ؓqm09/jAˉE)Eʪc3 ܭ֬}F͡EKɉZVͪR7ICuMܛZ0ˁ☚߄[#ͯ9Z"{{o)Q6]7Lm?,x[?^l)o03Baǽ]ٵ:QR^RFHda]~(bA@+y^7r0a!kx/!Xk}o-NI 230ye@sFN!h$x,~dz?t&r_ qN)N>D.}q-v_Z~чP1㍣ +$0HJ=ܹ3:pBN,4gF; 'ʫUccP.b (7s&A<ε/D[K`DzNvNs$?숬a+&Ykfڐ@ZU2t C T/0&Q[R3Eџ5d3K}@En0ű8AH)-:WoURSZo?8)74VE퓀vWbW޼*Yi@yc4-}XS' Z{ݏ#C&~HD~rk4Ǘ#Uok/^-vT;Z@}0t`a$d")2|e0Pjc9V!C5}d/gԿm SjAL{83tRVI;)*U:Jh}.ck*~)%=gLq+dm*m| 5ܷ'sw [Ӷ(8HO4%>D!Tj 4K¾" ]m^@_tz ps\MFiulcL \ BWt ӧ)̬:"1f/|-T=@Fܠ{^Aʊ5zSNd;99+bJˁwMNu{l=Jǐ|r+,fc;ıf]ȿN4BoM+736Xkj pA=E  XDVN, l_[%F[A=ZgOK2liI0L)b:ącجSA|ޡ5hm"8]ޓUݧqy>H@~צ;=F%1NAwi9,o}G y) Cg7 I >HbjrppUUqգEm8@[|Ū^d5yKwNGW?BzB7nMq'ҥGhx5 H=N1_+@(hؐBe(IJ*^@|"gE4<[f̹qgYZ02be445d511e1ab7fc444bd86bc548f1b013df0f 0bff130e487166cf602d0fbc5be54fd361ca296a 0f8c041ec5e9ea0ec67908d3c01a9ff66d2b7c27 2b10fff15ad9e6cb68394a77ebab6c5a6d4822a1 2d3f3751bca15ce3e756b30e58ade31fcd0401ba 3f1651d9b743d579e6d952f9a3e71e214b05ae9c 411f19c6a9efc8c2a774d65858e2997d333fcf5e 5d9d0c1f20ae6127ea724f90afa066da3b6c5887 75e5ef63401b55d4a1716b56a113a7137a71cfa4 778d734dcbaec05179a6b327af85c2393d27fcc0 7f1facf10872989e03bdf4e3bde6466baa11890b 8c336df2fd282b63a2268d6fd99e6fd82347143c 9371d1ab60dd3c447cfd4995353ff37475808bef 958d4c81eb844ade1fc893c487561e869ca547cd 9d1d682efb246627c073c618ba5e9d80073ad34d 9f9b926a6d8ad9d23fd2036ad8684bed8e908de7 b1fb471f46ab216c482e4aceb96fa781133ff907 b3bbc178c39f92c24f6c06344863ffd68aa28a55 b590b33a184e0f149e3d269961ca7bf5b4b56f2d c2f30574fc0fed004c00747247132c707bbf6d7c d789e50e312c033deae98670a48cec0cf8bde2dd e6773413ab8cd80302ddc33a8787c627c66b0e7f e8fdaf54d5e5dab172360d78b5d33e9c324aa473 f480f450b675f82abf781687e572799f698a1924 f62ce3c9c09400161f2c9665c0100dda3765473ad7fa8d30fbb7c9d01b0a5d1cefdb96c3b547d5e0 e6067cb86581d04d2141f63fe8f84315b3b63295 795c1bd37c9a10c78036956c13014edf15a60b39 ebcccb4ce8d9fa24447b254aebab539c14428239 3b834a811160f26c9950bbdf5d1edd0a5921b522 bb70bdf889e95ae17209b6ed2bf09b39fd189ef9 677d5c3f59edfcd45bf3285b85d0a50997dccb50