Theorem biimpd 229

Description: Deduce an implication from a logical equivalence. Deduction associated with biimp 215 and biimpi 216. (Contributed by NM, 11-Jan-1993.)

Hypothesis

Ref	Expression
biimpd.1	⊢ (𝜑 → (𝜓 ↔ 𝜒))

Assertion

Ref	Expression
biimpd	⊢ (𝜑 → (𝜓 → 𝜒))

Proof of Theorem biimpd

Step	Hyp	Ref	Expression
1		biimpd.1	. 2 ⊢ (𝜑 → (𝜓 ↔ 𝜒))
2		biimp 215	. 2 ⊢ ((𝜓 ↔ 𝜒) → (𝜓 → 𝜒))
3	1, 2	syl 17	1 ⊢ (𝜑 → (𝜓 → 𝜒))

Syntax hints:   → wi 4   ↔ wb 206

This theorem was proved from axioms:  ax-mp 5  ax-1 6  ax-2 7  ax-3 8

This theorem depends on definitions:  df-bi 207

This theorem is referenced by:  mpbid  232  sylibd  239  sylbid  240  mpbidi  241  imbitrid  244  biimtrdi  253  con4bid  317  mtbird  325  mtbiri  327  imbi1d  341  bitr3  352  pm5.21im  374  biimpa  476  bi23imp13  1116  alexbii  1835  spvv  1990  spfw  2035  cbvalw  2037  sbequi  2090  chvarfv  2248  cbvalv1  2346  spv  2398  chvar  2400  cbval  2403  sb1  2483  nfsb4t  2504  exmoeu  2582  euim  2618  2eu3  2655  eqrdav  2736  ralbida  3249  rgen2a  3343  ralcom2  3349  ceqsalt  3476  ceqsalgALT  3479  spcimgft  3505  vtoclegft  3545  spcdv  3550  rspcdv  3570  rspcebdv  3572  rexraleqim  3603  sbcn1  3795  sbcbi1  3800  sbeqalb  3805  sbcel21v  3810  elpwunsn  4643  rabsnifsb  4681  ssunsn2  4785  preqr1g  4810  iuneqconst  4960  axprlem3  5372  axprlem3OLD  5375  sbcop1  5444  propeqop  5463  euotd  5469  rexopabb  5484  sotr2  5574  relop  5807  elinxp  5986  elimasni  6058  sotri2  6094  onmindif  6419  dffv2  6937  mpteqb  6969  elfvmptrab  6979  chfnrn  7003  elpreima  7012  iinpreima  7023  exfo  7059  ffnfv  7073  f1elima  7219  f1ounsn  7228  f1eqcocnv  7257  fliftfun  7268  soisores  7283  isotr  7292  isomin  7293  ovmpodv2  7526  difsnexi  7716  onint  7745  oneqmin  7755  ordunisuc2  7796  tfindsg  7813  findsg  7849  resf1extb  7886  f1oweALT  7926  el2mpocl  8038  poseq  8110  soseq  8111  ressuppss  8135  funsssuppss  8142  suppofssd  8155  smoiso  8304  seqomlem2  8392  oaordi  8483  oawordri  8487  oaordex  8495  oalimcl  8497  omwordi  8508  oewordi  8529  oelim2  8533  nnmwordi  8573  xpider  8737  iiner  8738  undifixp  8884  mptelixpg  8885  dom2lem  8941  findcard2s  9102  pssnn  9105  nneneq  9142  fineqvlem  9178  dif1ennnALT  9189  unfilem2  9218  domunfican  9234  f1dmvrnfibi  9253  fsuppimp  9283  dffi2  9338  infsupprpr  9421  wemaplem2  9464  suc11reg  9540  noinfep  9581  cantnflem1  9610  r1fin  9697  tcrank  9808  cardlim  9896  fseqenlem1  9946  alephnbtwn  9993  alephord2i  9999  alephf1  10007  cardaleph  10011  alephiso  10020  dfac12lem2  10067  ackbij1lem16  10156  cflm  10172  cfcoflem  10194  sornom  10199  fin23lem27  10250  isf32lem7  10281  fin17  10316  fin1a2lem2  10323  fin1a2lem4  10325  fin1a2lem6  10327  fin1a2lem9  10330  axdc3lem2  10373  zorn2lem7  10424  uniimadom  10466  inar1  10698  grothomex  10752  addcanpi  10822  mulcanpi  10823  enqer  10844  genpcd  10929  genpnmax  10930  ltexprlem4  10962  reclem3pr  10972  reclem4pr  10973  suplem2pr  10976  axpre-ltadd  11090  axpre-sup  11092  ltletr  11237  00id  11320  addn0nid  11569  mul0or  11789  prodgt02  12001  lemul1a  12007  mulgt1OLD  12012  divgt0  12022  divge0  12023  ledivp1i  12079  ltdivp1i  12080  cju  12153  nnsub  12201  nominpos  12390  nn0n0n1ge2  12481  btwnnz  12580  suprfinzcl  12618  ublbneg  12858  zmax  12870  cnref1o  12910  ltsubrp  12955  ltaddrp  12956  xrltletr  13083  qbtwnre  13126  xltnegi  13143  xnn0xadd0  13174  iccsupr  13370  icoshft  13401  difreicc  13412  iccshftri  13415  iccshftli  13417  iccdili  13419  icccntri  13421  fzen  13469  elfz1b  13521  fzofzim  13637  eluzgtdifelfzo  13655  elfzo1elm1fzo0  13696  injresinjlem  13718  injresinj  13719  flval2  13746  flval3  13747  modmuladdim  13849  modaddmodup  13869  addmodlteq  13881  fseqsupubi  13913  ssnn0fi  13920  mptnn0fsuppr  13934  sq01  14160  hashf1rn  14287  hashgt12el  14357  hashgt12el2  14358  hashfundm  14377  hash2pr  14404  hash2exprb  14406  hashge2el2difr  14416  hashtpg  14420  hash3tr  14426  lswlgt0cl  14504  ccatalpha  14529  pfxfv  14618  pfxsuff1eqwrdeq  14634  ccatopth2  14652  swrdccat  14670  swrdccat3blem  14674  reuccatpfxs1lem  14681  repsdf2  14713  repswsymball  14714  repswrevw  14722  cshweqrep  14756  cshw1  14757  2cshwcshw  14760  scshwfzeqfzo  14761  cshwcsh2id  14763  swrdco  14772  swrd2lsw  14887  2swrd2eqwrdeq  14888  wwlktovfo  14893  cjre  15074  icodiamlt  15373  reusq0  15400  o1lo1  15472  o1of2  15548  o1rlimmul  15554  zsum  15653  modfsummods  15728  zprod  15872  reeff1  16057  dvdsmod0  16197  dvds2lem  16207  muldvds1  16219  dvdscmulr  16223  dvdsmulcr  16224  dvdsdivcl  16255  mod2eq1n2dvds  16286  oddnn02np1  16287  divalglem8  16339  ndvdsadd  16349  zeqzmulgcd  16449  dfgcd2  16485  absproddvds  16556  lcmftp  16575  coprmdvds  16592  2mulprm  16632  isprm5  16646  divgcdodd  16649  isprm6  16653  prmdvdsexpr  16656  prmdvdsbc  16665  cncongrprm  16668  phiprmpw  16715  modprm0  16745  pythagtriplem4  16759  pcz  16821  difsqpwdvds  16827  1arith  16867  prmgaplem5  16995  prmgaplem6  16996  cshwrepswhash1  17042  sbcie2s  17100  divsfval  17480  catsubcat  17775  fthmon  17865  isinitoi  17935  istermoi  17936  iszeroi  17945  setcmon  18023  setcepi  18024  funcestrcsetclem8  18082  fthestrcsetc  18085  funcsetcestrclem8  18097  fthsetcestrc  18100  odupos  18261  pltnle  18271  pltval3  18272  lublecllem  18293  latasym  18378  mrelatglb  18495  mrelatlub  18497  cnvpsb  18514  chninf  18570  mgmpropd  18588  isgrpid2  18918  ghmghmrn  19176  ghmf1  19187  kerf1ghm  19188  orbsta  19254  resscntz  19274  gsmsymgrfixlem1  19368  gsmsymgreqlem2  19372  mndodcongi  19484  odf1  19503  lsmss1  19606  lsmss2  19608  efgredeu  19693  cntzcmnss  19782  imasabl  19817  lt6abl  19836  ablfaclem3  20030  ogrpaddlt  20079  ringinvnz1ne0  20247  0ringnnzr  20470  subrngringnsg  20498  srhmsubc  20625  domnmuln0  20654  lspsneq  21089  lspsneu  21090  lsmcv  21108  rnglidlmcl  21183  rngqiprngimf1lem  21261  lidldvgen  21301  domnchr  21499  znf1o  21518  zntoslem  21523  znfld  21527  cygznlem2a  21534  cygznlem3  21536  phlssphl  21626  islindf4  21805  uvcendim  21814  psdmul  22121  ply1scln0  22246  gsummoncoe1  22264  matvscl  22387  scmataddcl  22472  scmatsubcl  22473  scmatfo  22486  scmatghm  22489  maducoeval2  22596  slesolinv  22636  cramerimplem2  22640  cpmatelimp  22668  cpmatelimp2  22670  cpmatacl  22672  cpmatinvcl  22673  pm2mpf1  22755  cayhamlem1  22822  cayleyhamilton1  22848  0ntr  23027  islpi  23105  lmss  23254  cmpcld  23358  cmpfi  23364  1stcelcls  23417  comppfsc  23488  ptcnplem  23577  qtophmeo  23773  fbdmn0  23790  fbasrn  23840  elfm3  23906  fmfnfmlem4  23913  fclscf  23981  cnpfcf  23997  alexsubALTlem3  24005  tsmsres  24100  blval2  24518  tnggrpr  24611  nmoleub  24687  nmhmcn  25088  ncvs1  25125  iscau4  25247  caussi  25265  cmssmscld  25318  cmslssbn  25340  cniccbdd  25430  ovoliunnul  25476  mbfinf  25634  itg2splitlem  25717  dvcn  25891  c1lip1  25970  c1lip3  25972  dvcnvrelem1  25990  dvfsumlem2  26001  ply1divex  26110  quotcan  26285  aannenlem1  26304  taylf  26336  taylthlem2  26350  ulmcaulem  26371  ulmcau  26372  reeff1o  26425  logccv  26640  rtprmirr  26738  logreclem  26740  isosctrlem2  26797  xrlimcnp  26946  rlimcxp  26952  ftalem7  27057  vmappw  27094  fsumdvdsmul  27173  fsumvma  27192  dchreq  27237  dchrptlem1  27243  dchrsum  27248  bposlem7  27269  lgsqrlem2  27326  lgsdchr  27334  gausslemma2dlem1a  27344  lgseisenlem2  27355  lgsquad2  27365  2lgslem1b  27371  2sqlem6  27402  2sqnn0  27417  addsq2reu  27419  2sqreulem2  27431  ltsval2  27636  ltsres  27642  nodenselem8  27671  nodense  27672  noresle  27677  cutsun12  27798  madeval2  27841  elmade  27865  negsf1o  28062  muls0ord  28193  recsex  28227  bdayons  28284  addonbday  28287  noseqrdgfn  28314  n0subs  28371  eln0zs  28408  zsoring  28417  bdayfinbndlem1  28475  z12bdaylem1  28478  tgcgrcomimp  28561  isperp2  28799  xmstrkgc  28970  brbtwn  28984  brcgr  28985  axcgrid  29001  axeuclidlem  29047  axeuclid  29048  elntg2  29070  lpvtx  29153  upgrex  29177  upgrpredgv  29224  upgredgpr  29227  uhgr0v0e  29323  subgrprop  29358  fusgrfisbase  29413  edgnbusgreu  29452  nbusgredgeu0  29453  cusgredg  29509  structtocusgr  29531  cusgrsize2inds  29539  cusgrsize  29540  usgredgsscusgredg  29545  fusgrmaxsize  29550  uspgrloopvtxel  29602  umgr2v2e  29611  vtxdginducedm1fi  29630  finsumvtxdg2sstep  29635  rgrprop  29646  rusgrprop  29648  0uhgrrusgr  29664  rusgrpropedg  29670  ewlkprop  29689  upgrewlkle2  29692  wlkprop  29697  upgrwlkcompim  29728  uspgr2wlkeq  29731  wlklenvclwlk  29739  wlkonprop  29742  wlkres  29754  redwlk  29756  wlkdlem2  29767  wksonproplem  29788  usgr2trlspth  29846  usgr2pth  29849  pthdlem1  29851  crctcshwlkn0lem4  29898  wwlksnprcl  29924  wlkiswwlks2  29960  wwlksm1edg  29966  wlknewwlksn  29972  wwlksnred  29977  wwlksnextbi  29979  wwlksnextwrd  29982  wwlksnextinj  29984  wwlksnextsurj  29985  umgr2wlk  30034  usgrwwlks2on  30043  umgrwwlks2on  30044  elwwlks2  30054  clwwlk1loop  30075  umgrclwwlkge2  30078  clwlkclwwlklem2a1  30079  clwlkclwwlklem2a4  30084  clwlkclwwlklem2a  30085  clwlkclwwlklem2  30087  clwlkclwwlkfo  30096  clwwisshclwwslemlem  30100  clwwlknwwlksn  30125  clwwlknlbonbgr1  30126  clwwlkn1loopb  30130  clwwlkf  30134  clwwlknon1  30184  clwwlknonwwlknonb  30193  clwwlknonex2lem2  30195  vdn0conngrumgrv2  30283  frgrnbnb  30380  frgrncvvdeqlem2  30387  frgrncvvdeqlem3  30388  frgrncvvdeqlem6  30391  frgrwopreglem4a  30397  fusgr2wsp2nb  30421  frrusgrord0lem  30426  numclwwlk2lem1lem  30429  2clwwlk2clwwlklem  30433  2clwwlk2clwwlk  30437  numclwwlk1lem2foa  30441  numclwwlk1lem2f1  30444  frgrreg  30481  hlipgt0  31002  ocin  31384  ocnel  31386  shmodsi  31477  pjmf1  31804  unopf1o  32004  staddi  32334  stadd3i  32336  mdi  32383  dmdmd  32388  dmdi  32390  dmdbr2  32391  dmdbr3  32393  dmdbr4  32394  dmdi4  32395  mdsl1i  32409  superpos  32442  cvbr4i  32455  atssma  32466  atcv1  32468  atomli  32470  chirredlem1  32478  addltmulALT  32534  bian1dOLD  32543  ifeqeqx  32629  disjxpin  32675  suppss3  32813  fpwrelmap  32823  expgt0b  32908  mndlactfo  33120  mndractfo  33122  qsfld  33591  ply1degltdimlem  33800  ply1degltdim  33801  metider  34072  tpr2rico  34090  xrge0iifiso  34113  qqhcn  34169  qqhucn  34170  esumlub  34238  esumpinfval  34251  esumpinfsum  34255  ballotlemfc0  34671  ballotlemfcc  34672  ftc2re  34776  bnj517  35061  axsepg2  35259  axsepg2ALT  35260  fnrelpredd  35268  rankfilimbi  35278  axnulg  35285  pfxwlk  35340  subgrwlk  35348  loop1cycl  35353  erdsze2lem2  35420  satfv1  35579  satfdmlem  35584  satf0op  35593  fmlasuc  35602  dfrdg4  36167  altopthsn  36177  btwncomim  36229  btwnexch3  36236  btwnexch2  36239  endofsegid  36301  opnrebl2  36537  nn0prpwlem  36538  onsuct0  36657  ordcmp  36663  nndivsub  36673  regsfromunir1  36692  dnibndlem13  36712  bj-cbvexvv  36883  bj-cbval  36893  bj-cbvex  36894  bj-cbvexw  36921  bj-cbv3tb  37035  bj-spimtv  37042  bj-equsal  37074  bj-sbsb  37085  bj-vtoclf  37163  bj-zfauscl  37172  bj-gabss  37183  bj-gabeqd  37185  currysetlem2  37196  bj-snsetex  37211  bj-axseprep  37322  bj-ismooredr2  37363  bj-inftyexpiinj  37464  bj-finsumval0  37540  bj-fvimacnv0  37541  bj-bary1lem1  37566  bj-bary1  37567  f1omptsnlem  37591  iooelexlt  37617  relowlpssretop  37619  rdgeqoa  37625  finxpsuclem  37652  fvineqsneq  37667  pibt2  37672  wl-isseteq  37760  wl-equsal1i  37799  ltflcei  37859  sin2h  37861  cos2h  37862  tan2h  37863  lindsenlbs  37866  matunitlindf  37869  poimirlem3  37874  poimirlem4  37875  poimirlem18  37889  poimirlem20  37891  poimirlem21  37892  poimirlem22  37893  poimirlem24  37895  poimirlem25  37896  poimirlem26  37897  poimirlem27  37898  poimirlem28  37899  poimirlem31  37902  poimir  37904  heicant  37906  mblfinlem1  37908  mblfinlem2  37909  mblfinlem3  37910  mblfinlem4  37911  mbfresfi  37917  cnambfre  37919  ftc1anc  37952  dvasin  37955  areacirclem1  37959  areacirclem4  37962  areacirc  37964  brabg2  37968  fzmul  37992  fdc  37996  incsequz2  38000  isbnd2  38034  opidonOLD  38103  opidon2OLD  38105  grpomndo  38126  elghomlem2OLD  38137  rngoueqz  38191  dvrunz  38205  divrngidl  38279  refressn  38784  dral1-o  39280  lsatn0  39375  l1cvpat  39430  leat2  39670  atnle  39693  cvlcvr1  39715  cvrexchlem  39795  cvratlem  39797  cvrat  39798  atcvrj0  39804  atle  39812  snatpsubN  40126  linepsubN  40128  pmapsub  40144  lneq2at  40154  lncvrelatN  40157  2llnma3r  40164  cdlemblem  40169  paddasslem5  40200  poml4N  40329  lhpmcvr4N  40402  trlval2  40539  cdlemd6  40579  cdleme7ga  40624  cdleme25b  40730  cdleme29b  40751  cdleme35fnpq  40825  cdleme50f1  40919  cdlemf1  40937  cdlemg27b  41072  cdlemk28-3  41284  tendospcanN  41399  diaf11N  41425  dia2dimlem1  41440  dibf11N  41537  dihf11  41643  dihmeetlem1N  41666  dochvalr  41733  dochnel2  41768  dvh4dimlem  41819  dochsat0  41833  mapd1o  42024  hdmapf1oN  42241  hgmapval0  42268  hgmapf1oN  42279  hlhilhillem  42336  nnproddivdvdsd  42370  lcmineqlem  42422  aks4d1p1p5  42445  aks4d1p3  42448  aks4d1p8d2  42455  aks4d1p8  42457  aks4d1p9  42458  fldhmf1  42460  isprimroot2  42464  primrootsunit1  42467  primrootscoprmpow  42469  posbezout  42470  primrootscoprbij  42472  primrootlekpowne0  42475  primrootspoweq0  42476  aks6d1c1p1  42477  aks6d1c1p2  42479  aks6d1c1p3  42480  aks6d1c1p4  42481  aks6d1c1p5  42482  aks6d1c1p7  42483  aks6d1c1p6  42484  aks6d1c1p8  42485  aks6d1c2p2  42489  aks6d1c2lem3  42496  aks6d1c2lem4  42497  hashnexinj  42498  hashnexinjle  42499  aks6d1c2  42500  aks6d1c5lem0  42505  aks6d1c5lem1  42506  aks6d1c5  42509  sticksstones1  42516  sticksstones3  42518  sticksstones8  42523  sticksstones11  42526  sticksstones12  42528  sticksstones20  42536  sticksstones22  42538  aks6d1c6lem3  42542  aks6d1c6lem4  42543  aks6d1c6isolem1  42544  aks6d1c6isolem2  42545  aks6d1c6lem5  42547  aks6d1c7  42554  rhmqusspan  42555  unitscyglem2  42566  unitscyglem3  42567  aks5lem8  42571  sn-axprlem3  42590  oexpreposd  42692  sn-remul0ord  42778  frlmsnic  42910  fsuppind  42948  prjspval  42961  rexrabdioph  43151  fphpdo  43174  irrapxlem3  43181  rmxypairf1o  43268  rmxycomplete  43274  zindbi  43303  lermxnn0  43307  ltrmy  43309  rmyeq0  43310  rmyeq  43311  lermy  43312  acongsym  43333  acongneg2  43334  wepwsolem  43399  onsupuni  43586  onsupmaxb  43596  onsucf1o  43629  onov0suclim  43631  oe0suclim  43634  onsucwordi  43645  cantnfresb  43681  omabs2  43689  tfsconcat0b  43703  tfsconcatrev  43705  naddcnffo  43721  oaun3lem1  43731  oaltom  43761  omltoe  43763  sdomne0  43769  sdomne0d  43770  safesnsupfidom1o  43773  intabssd  43875  iscard4  43889  ss2iundf  44015  frege129d  44119  frege133d  44121  axfrege52a  44212  axfrege52c  44243  ntrk0kbimka  44395  gneispace  44490  suprleubrd  44522  suprlubrd  44524  radcnvrat  44670  nzss  44673  expgrowthi  44689  ordpss  44806  bi23impib  44842  rspsbc2  44890  tratrb  44892  sbcim2g  44894  truniALT  44897  3impcombi  45172  tpid3gVD  45197  orbi1rVD  45203  sbc3orgVD  45206  rspsbc2VD  45210  tratrbVD  45216  sbcim2gVD  45230  sbcbiVD  45231  truniALTVD  45233  trintALTVD  45235  trintALT  45236  csbingVD  45239  csbsngVD  45248  csbxpgVD  45249  csbresgVD  45250  csbrngVD  45251  csbima12gALTVD  45252  csbunigVD  45253  csbfv12gALTVD  45254  relopabVD  45256  isosctrlem1ALT  45289  relpfrlem  45309  trfr  45318  fzisoeu  45662  xrralrecnnge  45748  allbutfi  45751  climinf  45966  liminfreuzlem  46160  climliminf  46164  climliminflimsup  46166  xlimpnfxnegmnf  46172  xlimbr  46185  stoweidlem7  46365  stoweidlem62  46420  sge0gerpmpt  46760  meaiuninclem  46838  carageniuncllem2  46880  issmflem  47085  et-sqrtnegnre  47231  ormkglobd  47233  natlocalincr  47234  funressnfv  47403  funressnvmo  47405  f1cof1b  47437  2reu3  47470  ralbinrald  47482  afv0fv0  47509  afv0nbfvbi  47511  afvfv0bi  47512  fnbrafvb  47514  afvres  47532  tz6.12-afv  47533  afvco2  47536  ndmaovcl  47563  afv2res  47599  tz6.12-afv2  47600  nelbrim  47635  f1oresf1o2  47651  zm1nn  47662  nltle2tri  47673  subsubelfzo0  47686  2tceilhalfelfzo1  47692  iccpartres  47778  iccpartiltu  47782  fargshiftfv  47799  ichnreuop  47832  ichreuopeq  47833  prsprel  47847  sprsymrelf1lem  47851  sprsymrelfolem2  47853  sprsymrelfo  47857  prpair  47861  paireqne  47871  sbcpr  47881  fmtnof1  47895  goldbachthlem2  47906  fmtnoprmfac1  47925  fmtnoprmfac2  47927  lighneallem2  47966  lighneallem4b  47969  lighneallem4  47970  evennodd  48003  oddneven  48004  oexpnegnz  48038  evenltle  48077  fpprwppr  48099  fpprwpprb  48100  gbowge7  48123  gbege6  48125  sbgoldbwt  48137  sbgoldbst  48138  nnsum3primesle9  48154  bgoldbtbndlem2  48166  grimprop  48243  isuspgrimlem  48255  uhgrimisgrgriclem  48290  clnbgrgrimlem  48293  grtriproplem  48299  isgrtri  48303  grimgrtri  48309  stgr1  48321  isubgr3stgr  48335  grlimprop  48344  uspgrlimlem2  48349  uspgrlimlem3  48350  grlimprclnbgr  48356  gpg5nbgrvtx13starlem1  48431  clintop  48568  isassintop  48570  lidldomn1  48591  uzlidlring  48595  2zrngnmlid2  48617  rngccatidALTV  48632  ringccatidALTV  48666  srhmsubcALTV  48685  ztprmneprm  48707  pgrpgt2nabl  48726  lindslinindimp2lem4  48821  lincresunit3  48841  fldivexpfllog2  48925  digexp  48967  naryfvalelfv  48992  affinecomb1  49062  eenglngeehlnmlem1  49097  eenglngeehlnmlem2  49098  eenglngeehlnm  49099  itscnhlc0yqe  49119  itsclc0yqsol  49124  itscnhlc0xyqsol  49125  itschlc0xyqsol1  49126  itschlc0xyqsol  49127  itsclquadeu  49137  inlinecirc02plem  49146  inlinecirc02p  49147  pm4.71da  49149  mofsn  49203  seposep  49285  resipos  49334  idmon  49379  idepi  49380  prsthinc  49823  grptcmon  49952  grptcepi  49953  spd  50037  spcdvw  50038  setrec2fun  50051