Theorem eleqtrrd 2863

Description: Deduction that substitutes equal classes into membership. (Contributed by NM, 14-Dec-2004.)

Hypotheses

Ref	Expression
eleqtrrd.1	⊢ (𝜑 → 𝐴 ∈ 𝐵)
eleqtrrd.2	⊢ (𝜑 → 𝐶 = 𝐵)

Assertion

Ref	Expression
eleqtrrd	⊢ (𝜑 → 𝐴 ∈ 𝐶)

Proof of Theorem eleqtrrd

Step	Hyp	Ref	Expression
1		eleqtrrd.1	. 2 ⊢ (𝜑 → 𝐴 ∈ 𝐵)
2		eleqtrrd.2	. . 3 ⊢ (𝜑 → 𝐶 = 𝐵)
3	2	eqcomd 2766	. 2 ⊢ (𝜑 → 𝐵 = 𝐶)
4	1, 3	eleqtrd 2862	1 ⊢ (𝜑 → 𝐴 ∈ 𝐶)

This proof depends on syntax axioms:   → wi 4   = wceq 1569   ∈ wcel 2144

This proof depends on axioms:  ax-mp 5  ax-1 6  ax-2 7  ax-3 8  ax-gen 1827  ax-4 1841  ax-5 1942  ax-6 1999  ax-7 2040  ax-8 2146  ax-9 2154  ax-ext 2732

This proof depends on definitions:  df-bi 210  df-an 402  df-ex 1812  df-cleq 2752  df-clel 2835

This theorem is used by:  3eltr4d  2875  rspc2vd  3894  disjxiun  5099  eldmressnsn  6012  fnsnbg  7169  elimdelov  7516  elovmpt3rab1  7681  fnwelem  8143  tfrlem13  8398  tz7.44-2  8415  omordi  8574  oneo  8589  omeulem2  8591  oeordi  8596  oeeui  8611  nnneo  8664  naddelim  8696  erref  8738  en1uniel  9057  omxpenlem  9097  unblem3  9286  dffi3  9423  ordtypelem10  9521  oismo  9534  cantnff  9675  cantnfp1lem3  9681  cantnflem1  9690  cnfcom  9701  r1ordg  9785  r1pwss  9791  rankwflemb  9800  rankwflembOLD  9801  r1elwf  9804  rankidb  9808  rankonidlem  9838  elhf2  9910  fseqenlem2  10104  dfac12lem1  10222  dfac12lem2  10223  pwsdompw  10281  ackbij2lem3  10318  ackbij2  10320  cfsmolem  10348  hsmexlem4  10507  ttukeylem3  10589  ttukeylem7  10593  iundom2g  10624  fpwwe2lem8  10723  canthwelem  10735  pwfseqlem4  10747  winalim2  10781  r1wunlim  10822  tskmid  10925  fzopth  13695  predfz  13787  fzoss2  13822  fz1fzo0m1  13845  fzo0addel  13853  fzo0addelr  13854  elfzoext  13857  fzosubel3  13861  elfzomin  13872  elfzonlteqm1  13876  fzoend  13892  fzoopth  13897  fzofzp1  13899  fzofzp1b  13900  peano2fzor  13910  zmodfzo  14034  seqf1olem2  14185  bcn2  14463  ccatf1  14736  swrdf1  14799  swrdrn3  14802  swrdccat2  14819  pfxccat1  14851  swrdswrd  14854  pfxccatin12  14882  splfv1  14904  revcl  14910  revlen  14911  revccat  14915  revrev  14916  revpfxsfxrev  14917  swrdrevpfx  14918  repswpfx  14936  cshwidxmod  14954  revco  14985  limsupgre  15648  summolem2a  15881  fsumm1  15917  fsumcom2  15940  prodmolem2a  16101  fprodm1  16134  fprodcom2  16151  prmreclem4  17097  prmreclem5  17098  vdwapid1  17153  vdwlem5  17163  vdwlem8  17166  vdwnnlem2  17174  ramub1lem1  17204  ramub1lem2  17205  mrieqvlemd  17803  mreexd  17816  mreexexlemd  17818  catcocl  17859  catass  17860  moni  17911  epii  17918  inviso1  17941  episect  17960  invisoinvl  17965  catsubcat  18014  subccocl  18020  fullsubc  18025  funcco  18046  resf2nd  18070  funcres  18071  fthepi  18105  nati  18133  arwhoma  18220  catccatid  18281  resscatc  18284  catcisolem  18285  catcoppccl  18292  catcfuccl  18293  estrreslem2  18312  funcestrcsetclem3  18316  funcestrcsetclem8  18321  equivestrcsetc  18326  funcsetcestrclem3  18330  funcsetcestrclem8  18336  xpcco  18357  xpcco2  18361  xpccatid  18362  prfcl  18377  catcxpccl  18381  curf12  18401  curf1cl  18402  curf2  18403  curf2cl  18405  curfcl  18406  uncf2  18411  uncfcurf  18413  diag12  18418  diag2  18419  curf2ndf  18421  hofcl  18433  oppchofcl  18434  oyoncl  18444  yonedalem3a  18448  yonedalem4b  18450  yonedalem22  18452  yonedalem3b  18453  yonedalem3  18454  yonedainv  18455  yonffthlem  18456  latcl2  18610  latlem  18611  latjcom  18621  latmcom  18637  clatlem  18676  clatlubcl2  18678  clatglbcl2  18680  acsfiindd  18727  pfxchn  18784  chnind  18795  chnub  18796  chnlt  18797  chnccat  18800  chnrev  18801  idressidex0  18860  gsumpropd2lem  18868  sgrppropd  18920  mndpropd  18951  imasmnd  18969  frmdmnd  19055  frmdgsum  19058  grpsubpropd2  19256  imasgrp  19266  subg0  19342  0ghm  19444  resghm2  19447  ghmco  19450  pwsdiagghm  19458  ghmqusnsglem2  19495  ghmqusnsg  19496  ghmquskerlem2  19499  ghmquskerlem3  19500  ghmqusker  19501  psgnunilem1  19707  psgnunilem5  19708  psgnunilem2  19709  psgnunilem3  19710  sylow1lem4  19815  sylow1lem5  19816  efglem  19930  efgtf  19936  efginvrel2  19941  efginvrel1  19942  efgsdmi  19946  efgs1b  19950  efgsres  19952  efgsfo  19953  efgredleme  19957  efgredlemc  19959  efgredlem  19961  efgcpbllemb  19969  frgp0  19974  frgpadd  19977  frgpinv  19978  vrgpf  19982  vrgpinv  19983  frgpuplem  19986  frgpup1  19989  frgpup2  19990  frgpup3lem  19991  frgpnabllem1  20087  frgpnabllem2  20088  gsumval3  20121  dprdfid  20233  dprdsn  20252  dprd2da  20258  dpjidcl  20274  pgpfac1lem2  20291  pgpfaclem3  20299  ablsimpg1gend  20321  ablsimpgprmd  20331  rngpropd  20396  imasrng  20399  ringpropd  20519  imasring  20560  qusring2  20564  pwsco1rhm  20741  pwsco2rhm  20742  lringuplu  20796  subrgunit  20842  pwsdiagrhm  20859  rnghmsubcsetclem1  20883  zrinitorngc  20894  zrtermorngc  20895  zrzeroorngc  20896  rhmsubcsetclem1  20912  rhmsubcrngclem1  20918  zrtermoringc  20927  zrninitoringc  20928  srhmsubclem2  20930  srhmsubc  20932  cntzsdrg  21059  isabvd  21069  lmodprop2d  21199  islssd  21210  prdsvscacl  21243  prdslmodd  21244  islmhm2  21313  lmhmco  21318  lmhmplusg  21319  lmhmvsca  21320  lmhmpropd  21348  lsppreli  21365  ellspsn4  21402  lssacsex  21422  lspsnat  21423  lidlnsg  21536  drngidl  21539  qus2idrng  21567  qus1  21568  qusrhm  21570  rhmpreimaidl  21571  rhmqusnsg  21581  rngqiprngghmlem1  21583  rngqiprngfulem1  21607  rhmpreimaprmidl  21635  qsidomlem2  21637  irinitoringc  21785  nzerooringczr  21786  znf1o  21857  cssmre  21999  dsmmlss  22050  frlmsplit2  22079  frlmbas3  22082  frlmup1  22104  assapropd  22179  psr0cl  22260  psrnegcl  22262  psr1cl  22268  resspsrmul  22283  subrgpsr  22285  mvrf  22292  mplmon  22344  mplcoe1  22346  subrgasclcl  22376  mplind  22379  evlslem1  22391  mhmcompl  22430  evlsevl  22441  evlvvval  22442  selvcllem2  22444  subrgply1  22550  psrplusgpropd  22553  ply1coe  22616  cply1coe0bi  22620  lply1binomsc  22629  ply1fermltlchr  22630  evls1val  22638  evls1rhm  22640  evl1val  22647  evl1rhm  22650  pf1ind  22673  evl1scvarpw  22681  evls1fpws  22687  rhmply1  22701  matbas2i  22737  matplusg2  22742  matvsca2  22743  matsubgcell  22749  matvscacell  22751  mpomatmul  22761  mavmulval  22860  mavmulcl  22862  mavmulass  22864  mavmul0  22867  mavmumamul1  22870  m1detdiag  22912  matunitlindflem2  22995  cramerimplem2  23002  mat2pmatmul  23049  mat2pmatlin  23053  monmatcollpw  23097  pmatcollpwfi  23100  mply1topmatcl  23123  pm2mpghm  23134  pm2mpmhmlem2  23137  pm2mp  23143  chpmat1dlem  23153  chpmat1d  23154  chpdmatlem0  23155  chpscmat  23160  chpscmatgsumbin  23162  chpscmatgsummon  23163  chfacfscmulcl  23175  cpmadugsumlemB  23192  cpmadugsumlemC  23193  chcoeffeqlem  23203  cldmreon  23412  neiptopreu  23451  maxlp  23465  ordttopon  23511  ordtrest2lem  23521  cnprcl2  23569  lmcnp  23622  resthauslem  23681  hauscmplem  23724  1stcfb  23763  2ndcctbss  23774  2ndcomap  23777  dis2ndc  23779  loclly  23806  hausllycmp  23813  locfincmp  23845  dissnref  23847  kgeni  23856  kgenidm  23866  ptpjpre2  23899  xkoopn  23908  txopn  23921  ptpjopn  23931  ptcldmpt  23933  ptcls  23935  pthaus  23957  txkgen  23971  xkohaus  23972  xkopt  23974  txconn  24008  imastps  24040  kqid  24047  kqopn  24053  kqcld  24054  isr0  24056  indishmph  24117  pt1hmeo  24125  ptuncnv  24126  ptunhmeo  24127  t0kq  24137  filconn  24202  uzrest  24216  uffixsn  24244  fmfnfmlem2  24274  flimss2  24291  flimss1  24292  flimclslem  24303  flfcnp  24323  fclsfnflim  24346  uffclsflim  24350  fcfelbas  24355  alexsublem  24363  alexsub  24364  cnextcn  24386  cnextfres1  24387  cnextfres  24388  tmdgsum  24414  distgp  24418  indistgp  24419  symgtgp  24425  ghmcnp  24434  qustgpopn  24439  qustgplem  24440  qustgphaus  24442  prdstmdd  24443  prdstgpd  24444  tsmsid  24459  tsmssubm  24462  tsmsmhm  24465  tsmsadd  24466  tsmssplit  24471  utop2nei  24569  utop3cls  24570  neipcfilu  24614  cnextucn  24621  ucnextcn  24622  blpnfctr  24755  lpbl  24822  met2ndci  24841  tmsxps  24855  metcnpi  24863  metcnpi2  24864  metcnpi3  24865  metustid  24873  metustsym  24874  metustexhalf  24875  subgngp  24954  ngptgp  24955  sranlm  25003  nlmvscn  25006  nrginvrcn  25011  lssnlm  25020  nghmcn  25064  iccntr  25141  icccmplem2  25143  msdcn  25161  cncfmptc  25233  cncfmptid  25234  cncfmpt2f  25236  icoopnst  25260  iocopnst  25261  nmoleub2lem3  25436  nmoleub3  25440  nmhmcn  25441  ipcn  25567  cfilfcls  25595  caucfil  25604  equivcau  25621  caubl  25629  flimcfil  25635  cmssmscld  25671  rrxdstprj1  25730  minveclem3b  25749  minveclem4  25753  mulcncf  25767  ovolicc2lem3  25840  ovolicc2lem4  25841  opnmbllem  25922  vitalilem2  25930  mbfsup  25985  mbfinf  25986  mbfi1fseqlem4  26039  limccnp  26211  limccnp2  26212  dvreslem  26229  dvres2lem  26230  dvidlem  26235  dvcnp2  26240  dvcn  26241  dvaddbr  26258  dvmulbr  26259  dvcmul  26264  dvcof  26268  dvcnvlem  26296  dvef  26300  rollelem  26309  dvlip2  26315  dvivthlem1  26328  dvivth  26330  lhop2  26335  lhop  26336  dvcnvrelem1  26337  dvcnvrelem2  26338  dvcnvre  26339  ply1rem  26484  fta1blem  26489  plycpn  26610  plyrem  26626  tayl0  26689  dvtaylp  26697  dvntaylp  26698  dvntaylp0  26699  taylthlem1  26700  taylthlem2  26701  ulmdvlem3  26729  psercn  26753  pserdv  26756  abelth  26768  efabl  26878  efopnlem1  26984  loglesqrt  27089  relogbf  27119  efrlim  27297  dchrghm  27583  dchrptlem3  27593  nodenselem5  28045  nosupres  28064  noinfres  28079  ltslpss  28294  precsexlem11  28603  noseq0  28676  noseqp1  28677  noseqrdgfn  28692  noseqrdgsuc  28694  tgbtwntriv2  28950  tgbtwnne  28953  ercgrg  28980  tgidinside  29034  tgbtwnconn1  29038  tglnne  29096  tglinesseq  29108  tglnne0  29109  tglineneq  29113  ncolncol  29115  coltr3  29117  tglnpt2  29121  tglnpt3  29122  mirln  29148  mirln2  29149  mirconn  29150  krippenlem  29162  footexALT  29193  footexlem1  29194  footexlem2  29195  colperpexlem3  29208  mideulem2  29210  opphllem  29211  oppne3  29219  opphllem1  29223  opphllem2  29224  opphllem4  29226  oppperpex  29229  opphl  29230  hlpasch  29234  hpgerlem  29243  colhp  29248  plngval  29255  lnincplng  29262  plngrotlem1  29265  lnssplnglem  29269  plng3p  29275  midbtwn  29284  lmieu  29289  lmiisolem  29301  sacgr  29339  perpeqlem  29347  tgaaddcpbllem1  29349  angmgmaddeu3  29381  angmgmaddov2lem  29387  prlnghpg  29424  prlngmolem1  29430  prlngmid2  29439  prlngsymquadopp  29443  quadcgrprlng  29444  f1otrg  29448  f1otrge  29449  ebtwntg  29560  ecgrtg  29561  eengtrkg  29564  eengtrkge  29565  upgr1eop  29693  usgredg3  29797  uspgr1eop  29828  usgr1eop  29831  vtxdun  30062  vtxdfiun  30063  1loopgruspgr  30081  1loopgrvd2  30084  1hevtxdg1  30087  1egrvtxdg1  30090  1egrvtxdg0  30092  umgr2v2e  30106  wlkres  30249  wlkp1lem4  30255  wlkp1  30260  pfxwlk  30266  revwlk  30267  swrdwlk  30268  cyclnumvtx  30388  wwlksm1edg  30470  wwlksnext  30482  wwlksnextproplem3  30500  clwwlkel  30637  1wlkdlem2  30729  trlsegvdeg  30828  eupth2lem3lem1  30829  eupth2lem3lem2  30830  extwwlkfab  30953  numclwlk2lem2f  30978  spansnid  32165  elspansn4  32175  fnpreimac  33264  ccatws1f1olast  33515  swrdrn2  33517  splfv3  33519  pwrssmgc  33561  suppgsumssiun  33633  wrdpmtrlast  33654  psgnfzto1stlem  33661  cycpmfv1  33674  cycpmfv2  33675  cycpmco2lem2  33688  cycpmco2lem4  33690  cycpmco2lem5  33691  cycpmco2lem6  33692  cycpmco2  33694  cyc3co2  33701  cycpmrn  33704  submarchi  33747  subrdom  33846  fracfld  33870  imaslmod  33914  quslmod  33919  quslmhm  33920  nsgqusf1olem2  33965  lmhmqusker  33968  rhmquskerlem  33975  idlinsubrg  33981  mxidlprm  33995  opprmxidlabs  34011  qsdrngilem  34018  qsdrngi  34019  qsdrnglem2  34020  idlsrg0g  34038  pidufd  34075  dfufd2lem  34081  fply1  34090  evl1fpws  34096  ressply1evls1  34097  ressply1sub  34102  ply1asclunit  34106  r1plmhm  34141  0mplrim  34146  selvascl  34149  selvply1rhmlema  34150  selvply1rhmlem1  34152  extvfvcl  34168  evlextv  34174  mplvrpmga  34177  psrmon  34181  psrmonprod  34184  mplmonprod  34186  issply  34193  esplympl  34199  esplyind  34207  drgextlsp  34226  matdim  34247  ply1degltdimlem  34254  lindsunlem  34256  qusdimsum  34260  fedgmullem1  34261  fedgmullem2  34262  fedgmul  34263  extdg1id  34298  evls1fldgencl  34302  irngss  34319  irngnzply1  34323  extdgfialglem1  34324  extdgfialglem2  34325  minplymindeg  34340  minplyirredlem  34342  irredminply  34348  algextdeglem2  34350  constrconj  34377  constrfiss  34383  1smat1  34436  submat1n  34437  lmatfval  34446  lmatcl  34448  mdetpmtr1  34455  madjusmdetlem4  34462  qtopt1  34467  qtophaus  34468  locfinref  34473  zarcls1  34501  zarclsiin  34503  zarmxt1  34512  zarcmplem  34513  rhmpreimacn  34517  ordtrest2NEWlem  34554  elzrhunit  34609  qqhcn  34623  qqhucn  34624  esumel  34679  esumsplit  34685  sigagenss2  34783  elsx  34827  sxbrsigalem0  34903  dya2icoseg  34909  eulerpartlemb  35000  eulerpartlemgvv  35008  iwrdsplit  35019  sseqfv2  35026  probfinmeasb  35060  dstrvprob  35104  dstfrvel  35106  ballotlemrv  35152  signstfvn  35198  signstfvp  35200  signstfveq0  35206  signsvtp  35212  signsvtn  35213  reprsuc  35244  reprpmtf1o  35255  morleylemrneab  35300  lpadleft  35315  bnj1006  35590  bnj1018g  35593  bnj1018  35594  bnj1121  35615  bnj1398  35664  bnj1450  35680  bnj1501  35697  subfacp1lem5  35949  ptpconn  35998  indispconn  35999  cvxsconn  36008  cvmseu  36041  cvmliftmolem2  36047  cvmliftlem7  36056  cvmliftlem10  36059  cvmliftlem13  36061  cvmlift2lem12  36079  satfv1lem  36127  satffunlem1lem2  36168  satffunlem2lem2  36171  satefvfmla1  36190  mrsubcv  36275  mrsubff  36277  mrsubrn  36278  mrsubccat  36283  elmrsubrn  36285  mrsubco  36286  mrsubvrs  36287  mvhf  36323  msubvrs  36325  mclsax  36334  r1peuqusdeg1  36408  linerflx1  36914  linerflx2  36916  fwddifnval  36928  nadddilem3  36971  neibastop2lem  37148  weiunpo  37253  weiunso  37254  icoreunrn  38283  relowlssretop  38287  sucneqond  38289  poimirlem4  38543  poimirlem20  38559  poimirlem30  38569  broucube  38573  opnmbllem0  38575  areacirclem2  38628  areacirclem4  38630  blssp  38691  sstotbnd2  38709  totbndbnd  38724  prdstotbnd  38729  cnpwstotbnd  38732  heiborlem9  38754  exidcl  38811  exidresid  38814  grpokerinj  38828  iscringd  38933  erimeq2  39696  prter3  39940  toycom  40031  islfld  40120  lshpsmreu  40167  ldualelvbase  40185  ldualssvscl  40216  lkreqN  40228  lkrlspeqN  40229  erng1lem  42045  erngdvlem4  42049  erng0g  42052  erng1r  42053  erngdvlem4-rN  42057  dva0g  42085  dia1dim2  42120  dia1dimid  42121  dia2dimlem5  42126  dvhelvbasei  42146  dvhvaddass  42155  tendoinvcl  42162  tendolinv  42163  tendorinv  42164  dvhgrp  42165  dvhlveclem  42166  cdlemn4  42256  lcfrlem12N  42612  lcfrlem15  42615  lcdvscl  42663  lcdlssvscl  42664  lcdvsass  42665  lcdvs0N  42674  mapdincl  42719  mapdin  42720  mapdlsmcl  42721  mapdcnvatN  42724  mapdpglem2  42731  mapdpglem12  42741  mapdpglem18  42747  mapdpglem21  42750  mapdpglem22  42751  mapdpglem28  42759  mapdpglem30  42760  hdmaprnlem3N  42908  hdmaprnlem3uN  42909  hdmaprnlem7N  42913  hdmaprnlem8N  42914  hdmaprnlem9N  42915  hdmaprnlem3eN  42916  hdmaprnlem16N  42920  hgmapdcl  42948  hgmapval1  42951  hgmaprnlem4N  42957  hdmapinvlem1  42976  fzadd2d  43030  aks6d1c2lem4  43178  sticksstones1  43197  sticksstones8  43204  sticksstones9  43205  sticksstones10  43206  sticksstones11  43207  sticksstones17  43214  sticksstones18  43215  aks6d1c6lem4  43224  rhmqusspan  43236  aks5lem2  43238  mhmcopsr  43609  evlsbagval  43615  evlvvvallem  43616  evlselv  43618  mhpind  43623  fltnltalem  43674  wepwsolem  44049  kercvrlsm  44085  dfacbasgrp  44110  onexomgt  44243  onexoegt  44246  onov0suclim  44276  cantnftermord  44322  cantnf2  44327  omcl2  44335  ofoaf  44357  ofoafo  44358  grurankcld  45231  grumnudlem  45269  grumnud  45270  inaex  45281  gruex  45282  dvconstbi  45318  cncmpmax  46049  iooabslt  46511  fmul01lt1lem2  46597  limciccioolb  46633  limcicciooub  46647  limsuppnfdlem  46711  climrescn  46758  climxrrelem  46759  climxrre  46760  liminflimsupxrre  46827  xlimmnfvlem2  46843  xlimpnfvlem2  46847  fsumcncf  46888  ioccncflimc  46895  cncfuni  46896  icocncflimc  46899  cncfiooicclem1  46903  dvbdfbdioolem2  46939  dvnmul  46953  dvnprodlem1  46956  stoweidlem26  47036  stoweidlem34  47044  stoweidlem48  47058  stoweidlem59  47069  dirkercncflem3  47115  fourierdlem32  47149  fourierdlem41  47158  fourierdlem51  47167  fourierdlem63  47179  fourierdlem82  47198  fourierdlem85  47201  fourierdlem93  47209  fourierdlem111  47227  fourierdlem114  47230  etransclem35  47279  hoicvr  47558  hspdifhsp  47626  opnvonmbllem1  47642  ovnovollem1  47666  mbfresmf  47749  smfaddlem1  47773  smfsuplem1  47821  smflimsuplem5  47834  chnerlem2  47893  tmachlem-agreeself  47946  tmachlem-agreeprod  47947  tmachlem-tpopen  47951  setsidel  48458  setsnidel  48459  imasetpreimafvbijlemf  48483  prelspr  48568  upgrimpths  49007  gpgprismgr4cycllem9  49201  rngccatidALTV  49369  rhmsubcALTVlem3  49380  funcringcsetcALTV2lem3  49389  funcringcsetcALTV2lem8  49394  ringccatidALTV  49403  funcringcsetclem3ALTV  49412  funcringcsetclem8ALTV  49417  srhmsubcALTVlem1  49420  srhmsubcALTV  49422  lcosslsp  49550  nnolog2flm1  49702  ffvbr  49966  glbprlem  50073  topdlat  50112  catprs  50119  iinfsubc  50166  iinfconstbaslem  50173  imaid  50262  fthcomf  50265  uptr2  50329  natoppf2  50338  natoppfb  50339  swapf2  50382  swapfiso  50393  swapciso  50394  oppc1stflem  50395  cofuswapf2  50403  fuco22natlem  50453  fucoppcffth  50519  oppcthinco  50547  oppcthinendcALT  50549  thinccisod  50562  termco  50589  termchommo  50593  termcid  50594  termcterm  50621  termcterm2  50622  diagciso  50647  diagcic  50648  funcsn  50649  uobeqterm  50654  mndtccatid  50695  grptcmon  50701  grptcepi  50702  2arwcat  50708  lanval2  50735  ranval2  50738  lanup  50749  ranup  50750  lmddu  50775