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  1115  alexbii  1834  spvv  1989  spfw  2034  cbvalw  2036  sbequi  2089  chvarfv  2247  cbvalv1  2345  spv  2397  chvar  2399  cbval  2402  sb1  2482  nfsb4t  2503  exmoeu  2581  euim  2617  2eu3  2654  eqrdav  2735  ralbida  3247  rgen2a  3341  ralcom2  3347  ceqsalt  3474  ceqsalgALT  3477  spcimgft  3503  vtoclegft  3543  spcdv  3548  rspcdv  3568  rspcebdv  3570  rexraleqim  3601  sbcn1  3793  sbcbi1  3798  sbeqalb  3803  sbcel21v  3808  elpwunsn  4641  rabsnifsb  4679  ssunsn2  4783  preqr1g  4808  iuneqconst  4958  axprlem3  5370  axprlem3OLD  5373  sbcop1  5436  propeqop  5455  euotd  5461  rexopabb  5476  sotr2  5566  relop  5799  elinxp  5978  elimasni  6050  sotri2  6086  onmindif  6411  dffv2  6929  mpteqb  6960  elfvmptrab  6970  chfnrn  6994  elpreima  7003  iinpreima  7014  exfo  7050  ffnfv  7064  f1elima  7209  f1ounsn  7218  f1eqcocnv  7247  fliftfun  7258  soisores  7273  isotr  7282  isomin  7283  ovmpodv2  7516  difsnexi  7706  onint  7735  oneqmin  7745  ordunisuc2  7786  tfindsg  7803  findsg  7839  resf1extb  7876  f1oweALT  7916  el2mpocl  8028  poseq  8100  soseq  8101  ressuppss  8125  funsssuppss  8132  suppofssd  8145  smoiso  8294  seqomlem2  8382  oaordi  8473  oawordri  8477  oaordex  8485  oalimcl  8487  omwordi  8498  oewordi  8519  oelim2  8523  nnmwordi  8563  xpider  8725  iiner  8726  undifixp  8872  mptelixpg  8873  dom2lem  8929  findcard2s  9090  pssnn  9093  nneneq  9130  fineqvlem  9166  dif1ennnALT  9177  unfilem2  9206  domunfican  9222  f1dmvrnfibi  9241  fsuppimp  9271  dffi2  9326  infsupprpr  9409  wemaplem2  9452  suc11reg  9528  noinfep  9569  cantnflem1  9598  r1fin  9685  tcrank  9796  cardlim  9884  fseqenlem1  9934  alephnbtwn  9981  alephord2i  9987  alephf1  9995  cardaleph  9999  alephiso  10008  dfac12lem2  10055  ackbij1lem16  10144  cflm  10160  cfcoflem  10182  sornom  10187  fin23lem27  10238  isf32lem7  10269  fin17  10304  fin1a2lem2  10311  fin1a2lem4  10313  fin1a2lem6  10315  fin1a2lem9  10318  axdc3lem2  10361  zorn2lem7  10412  uniimadom  10454  inar1  10686  grothomex  10740  addcanpi  10810  mulcanpi  10811  enqer  10832  genpcd  10917  genpnmax  10918  ltexprlem4  10950  reclem3pr  10960  reclem4pr  10961  suplem2pr  10964  axpre-ltadd  11078  axpre-sup  11080  ltletr  11225  00id  11308  addn0nid  11557  mul0or  11777  prodgt02  11989  lemul1a  11995  mulgt1OLD  12000  divgt0  12010  divge0  12011  ledivp1i  12067  ltdivp1i  12068  cju  12141  nnsub  12189  nominpos  12378  nn0n0n1ge2  12469  btwnnz  12568  suprfinzcl  12606  ublbneg  12846  zmax  12858  cnref1o  12898  ltsubrp  12943  ltaddrp  12944  xrltletr  13071  qbtwnre  13114  xltnegi  13131  xnn0xadd0  13162  iccsupr  13358  icoshft  13389  difreicc  13400  iccshftri  13403  iccshftli  13405  iccdili  13407  icccntri  13409  fzen  13457  elfz1b  13509  fzofzim  13625  eluzgtdifelfzo  13643  elfzo1elm1fzo0  13684  injresinjlem  13706  injresinj  13707  flval2  13734  flval3  13735  modmuladdim  13837  modaddmodup  13857  addmodlteq  13869  fseqsupubi  13901  ssnn0fi  13908  mptnn0fsuppr  13922  sq01  14148  hashf1rn  14275  hashgt12el  14345  hashgt12el2  14346  hashfundm  14365  hash2pr  14392  hash2exprb  14394  hashge2el2difr  14404  hashtpg  14408  hash3tr  14414  lswlgt0cl  14492  ccatalpha  14517  pfxfv  14606  pfxsuff1eqwrdeq  14622  ccatopth2  14640  swrdccat  14658  swrdccat3blem  14662  reuccatpfxs1lem  14669  repsdf2  14701  repswsymball  14702  repswrevw  14710  cshweqrep  14744  cshw1  14745  2cshwcshw  14748  scshwfzeqfzo  14749  cshwcsh2id  14751  swrdco  14760  swrd2lsw  14875  2swrd2eqwrdeq  14876  wwlktovfo  14881  cjre  15062  icodiamlt  15361  reusq0  15388  o1lo1  15460  o1of2  15536  o1rlimmul  15542  zsum  15641  modfsummods  15716  zprod  15860  reeff1  16045  dvdsmod0  16185  dvds2lem  16195  muldvds1  16207  dvdscmulr  16211  dvdsmulcr  16212  dvdsdivcl  16243  mod2eq1n2dvds  16274  oddnn02np1  16275  divalglem8  16327  ndvdsadd  16337  zeqzmulgcd  16437  dfgcd2  16473  absproddvds  16544  lcmftp  16563  coprmdvds  16580  2mulprm  16620  isprm5  16634  divgcdodd  16637  isprm6  16641  prmdvdsexpr  16644  prmdvdsbc  16653  cncongrprm  16656  phiprmpw  16703  modprm0  16733  pythagtriplem4  16747  pcz  16809  difsqpwdvds  16815  1arith  16855  prmgaplem5  16983  prmgaplem6  16984  cshwrepswhash1  17030  sbcie2s  17088  divsfval  17468  catsubcat  17763  fthmon  17853  isinitoi  17923  istermoi  17924  iszeroi  17933  setcmon  18011  setcepi  18012  funcestrcsetclem8  18070  fthestrcsetc  18073  funcsetcestrclem8  18085  fthsetcestrc  18088  odupos  18249  pltnle  18259  pltval3  18260  lublecllem  18281  latasym  18366  mrelatglb  18483  mrelatlub  18485  cnvpsb  18502  chninf  18558  mgmpropd  18576  isgrpid2  18906  ghmghmrn  19164  ghmf1  19175  kerf1ghm  19176  orbsta  19242  resscntz  19262  gsmsymgrfixlem1  19356  gsmsymgreqlem2  19360  mndodcongi  19472  odf1  19491  lsmss1  19594  lsmss2  19596  efgredeu  19681  cntzcmnss  19770  imasabl  19805  lt6abl  19824  ablfaclem3  20018  ogrpaddlt  20067  ringinvnz1ne0  20235  0ringnnzr  20458  subrngringnsg  20486  srhmsubc  20613  domnmuln0  20642  lspsneq  21077  lspsneu  21078  lsmcv  21096  rnglidlmcl  21171  rngqiprngimf1lem  21249  lidldvgen  21289  domnchr  21487  znf1o  21506  zntoslem  21511  znfld  21515  cygznlem2a  21522  cygznlem3  21524  phlssphl  21614  islindf4  21793  uvcendim  21802  psdmul  22109  ply1scln0  22234  gsummoncoe1  22252  matvscl  22375  scmataddcl  22460  scmatsubcl  22461  scmatfo  22474  scmatghm  22477  maducoeval2  22584  slesolinv  22624  cramerimplem2  22628  cpmatelimp  22656  cpmatelimp2  22658  cpmatacl  22660  cpmatinvcl  22661  pm2mpf1  22743  cayhamlem1  22810  cayleyhamilton1  22836  0ntr  23015  islpi  23093  lmss  23242  cmpcld  23346  cmpfi  23352  1stcelcls  23405  comppfsc  23476  ptcnplem  23565  qtophmeo  23761  fbdmn0  23778  fbasrn  23828  elfm3  23894  fmfnfmlem4  23901  fclscf  23969  cnpfcf  23985  alexsubALTlem3  23993  tsmsres  24088  blval2  24506  tnggrpr  24599  nmoleub  24675  nmhmcn  25076  ncvs1  25113  iscau4  25235  caussi  25253  cmssmscld  25306  cmslssbn  25328  cniccbdd  25418  ovoliunnul  25464  mbfinf  25622  itg2splitlem  25705  dvcn  25879  c1lip1  25958  c1lip3  25960  dvcnvrelem1  25978  dvfsumlem2  25989  ply1divex  26098  quotcan  26273  aannenlem1  26292  taylf  26324  taylthlem2  26338  ulmcaulem  26359  ulmcau  26360  reeff1o  26413  logccv  26628  rtprmirr  26726  logreclem  26728  isosctrlem2  26785  xrlimcnp  26934  rlimcxp  26940  ftalem7  27045  vmappw  27082  fsumdvdsmul  27161  fsumvma  27180  dchreq  27225  dchrptlem1  27231  dchrsum  27236  bposlem7  27257  lgsqrlem2  27314  lgsdchr  27322  gausslemma2dlem1a  27332  lgseisenlem2  27343  lgsquad2  27353  2lgslem1b  27359  2sqlem6  27390  2sqnn0  27405  addsq2reu  27407  2sqreulem2  27419  ltsval2  27624  ltsres  27630  nodenselem8  27659  nodense  27660  noresle  27665  cutsun12  27786  madeval2  27829  elmade  27853  negsf1o  28050  muls0ord  28181  recsex  28215  bdayons  28272  addonbday  28275  noseqrdgfn  28302  n0subs  28359  eln0zs  28396  zsoring  28405  bdayfinbndlem1  28463  z12bdaylem1  28466  tgcgrcomimp  28549  isperp2  28787  xmstrkgc  28958  brbtwn  28972  brcgr  28973  axcgrid  28989  axeuclidlem  29035  axeuclid  29036  elntg2  29058  lpvtx  29141  upgrex  29165  upgrpredgv  29212  upgredgpr  29215  uhgr0v0e  29311  subgrprop  29346  fusgrfisbase  29401  edgnbusgreu  29440  nbusgredgeu0  29441  cusgredg  29497  structtocusgr  29519  cusgrsize2inds  29527  cusgrsize  29528  usgredgsscusgredg  29533  fusgrmaxsize  29538  uspgrloopvtxel  29590  umgr2v2e  29599  vtxdginducedm1fi  29618  finsumvtxdg2sstep  29623  rgrprop  29634  rusgrprop  29636  0uhgrrusgr  29652  rusgrpropedg  29658  ewlkprop  29677  upgrewlkle2  29680  wlkprop  29685  upgrwlkcompim  29716  uspgr2wlkeq  29719  wlklenvclwlk  29727  wlkonprop  29730  wlkres  29742  redwlk  29744  wlkdlem2  29755  wksonproplem  29776  usgr2trlspth  29834  usgr2pth  29837  pthdlem1  29839  crctcshwlkn0lem4  29886  wwlksnprcl  29912  wlkiswwlks2  29948  wwlksm1edg  29954  wlknewwlksn  29960  wwlksnred  29965  wwlksnextbi  29967  wwlksnextwrd  29970  wwlksnextinj  29972  wwlksnextsurj  29973  umgr2wlk  30022  usgrwwlks2on  30031  umgrwwlks2on  30032  elwwlks2  30042  clwwlk1loop  30063  umgrclwwlkge2  30066  clwlkclwwlklem2a1  30067  clwlkclwwlklem2a4  30072  clwlkclwwlklem2a  30073  clwlkclwwlklem2  30075  clwlkclwwlkfo  30084  clwwisshclwwslemlem  30088  clwwlknwwlksn  30113  clwwlknlbonbgr1  30114  clwwlkn1loopb  30118  clwwlkf  30122  clwwlknon1  30172  clwwlknonwwlknonb  30181  clwwlknonex2lem2  30183  vdn0conngrumgrv2  30271  frgrnbnb  30368  frgrncvvdeqlem2  30375  frgrncvvdeqlem3  30376  frgrncvvdeqlem6  30379  frgrwopreglem4a  30385  fusgr2wsp2nb  30409  frrusgrord0lem  30414  numclwwlk2lem1lem  30417  2clwwlk2clwwlklem  30421  2clwwlk2clwwlk  30425  numclwwlk1lem2foa  30429  numclwwlk1lem2f1  30432  frgrreg  30469  hlipgt0  30989  ocin  31371  ocnel  31373  shmodsi  31464  pjmf1  31791  unopf1o  31991  staddi  32321  stadd3i  32323  mdi  32370  dmdmd  32375  dmdi  32377  dmdbr2  32378  dmdbr3  32380  dmdbr4  32381  dmdi4  32382  mdsl1i  32396  superpos  32429  cvbr4i  32442  atssma  32453  atcv1  32455  atomli  32457  chirredlem1  32465  addltmulALT  32521  bian1dOLD  32531  ifeqeqx  32617  disjxpin  32663  suppss3  32802  fpwrelmap  32812  expgt0b  32897  mndlactfo  33109  mndractfo  33111  qsfld  33579  ply1degltdimlem  33779  ply1degltdim  33780  metider  34051  tpr2rico  34069  xrge0iifiso  34092  qqhcn  34148  qqhucn  34149  esumlub  34217  esumpinfval  34230  esumpinfsum  34234  ballotlemfc0  34650  ballotlemfcc  34651  ftc2re  34755  bnj517  35041  axsepg2  35238  axsepg2ALT  35239  fnrelpredd  35247  rankfilimbi  35257  axnulg  35264  pfxwlk  35318  subgrwlk  35326  loop1cycl  35331  erdsze2lem2  35398  satfv1  35557  satfdmlem  35562  satf0op  35571  fmlasuc  35580  dfrdg4  36145  altopthsn  36155  btwncomim  36207  btwnexch3  36214  btwnexch2  36217  endofsegid  36279  opnrebl2  36515  nn0prpwlem  36516  onsuct0  36635  ordcmp  36641  nndivsub  36651  regsfromunir1  36670  dnibndlem13  36690  bj-cbval  36849  bj-cbvex  36850  bj-cbvexw  36877  bj-cbv3tb  36988  bj-spimtv  36995  bj-equsal  37027  bj-sbsb  37038  bj-vtoclf  37116  bj-zfauscl  37125  bj-gabss  37136  bj-gabeqd  37138  currysetlem2  37149  bj-snsetex  37164  bj-ismooredr2  37315  bj-inftyexpiinj  37414  bj-finsumval0  37490  bj-fvimacnv0  37491  bj-bary1lem1  37516  bj-bary1  37517  f1omptsnlem  37541  iooelexlt  37567  relowlpssretop  37569  rdgeqoa  37575  finxpsuclem  37602  fvineqsneq  37617  pibt2  37622  wl-isseteq  37710  wl-equsal1i  37749  ltflcei  37809  sin2h  37811  cos2h  37812  tan2h  37813  lindsenlbs  37816  matunitlindf  37819  poimirlem3  37824  poimirlem4  37825  poimirlem18  37839  poimirlem20  37841  poimirlem21  37842  poimirlem22  37843  poimirlem24  37845  poimirlem25  37846  poimirlem26  37847  poimirlem27  37848  poimirlem28  37849  poimirlem31  37852  poimir  37854  heicant  37856  mblfinlem1  37858  mblfinlem2  37859  mblfinlem3  37860  mblfinlem4  37861  mbfresfi  37867  cnambfre  37869  ftc1anc  37902  dvasin  37905  areacirclem1  37909  areacirclem4  37912  areacirc  37914  brabg2  37918  fzmul  37942  fdc  37946  incsequz2  37950  isbnd2  37984  opidonOLD  38053  opidon2OLD  38055  grpomndo  38076  elghomlem2OLD  38087  rngoueqz  38141  dvrunz  38155  divrngidl  38229  refressn  38706  dral1-o  39164  lsatn0  39259  l1cvpat  39314  leat2  39554  atnle  39577  cvlcvr1  39599  cvrexchlem  39679  cvratlem  39681  cvrat  39682  atcvrj0  39688  atle  39696  snatpsubN  40010  linepsubN  40012  pmapsub  40028  lneq2at  40038  lncvrelatN  40041  2llnma3r  40048  cdlemblem  40053  paddasslem5  40084  poml4N  40213  lhpmcvr4N  40286  trlval2  40423  cdlemd6  40463  cdleme7ga  40508  cdleme25b  40614  cdleme29b  40635  cdleme35fnpq  40709  cdleme50f1  40803  cdlemf1  40821  cdlemg27b  40956  cdlemk28-3  41168  tendospcanN  41283  diaf11N  41309  dia2dimlem1  41324  dibf11N  41421  dihf11  41527  dihmeetlem1N  41550  dochvalr  41617  dochnel2  41652  dvh4dimlem  41703  dochsat0  41717  mapd1o  41908  hdmapf1oN  42125  hgmapval0  42152  hgmapf1oN  42163  hlhilhillem  42220  nnproddivdvdsd  42254  lcmineqlem  42306  aks4d1p1p5  42329  aks4d1p3  42332  aks4d1p8d2  42339  aks4d1p8  42341  aks4d1p9  42342  fldhmf1  42344  isprimroot2  42348  primrootsunit1  42351  primrootscoprmpow  42353  posbezout  42354  primrootscoprbij  42356  primrootlekpowne0  42359  primrootspoweq0  42360  aks6d1c1p1  42361  aks6d1c1p2  42363  aks6d1c1p3  42364  aks6d1c1p4  42365  aks6d1c1p5  42366  aks6d1c1p7  42367  aks6d1c1p6  42368  aks6d1c1p8  42369  aks6d1c2p2  42373  aks6d1c2lem3  42380  aks6d1c2lem4  42381  hashnexinj  42382  hashnexinjle  42383  aks6d1c2  42384  aks6d1c5lem0  42389  aks6d1c5lem1  42390  aks6d1c5  42393  sticksstones1  42400  sticksstones3  42402  sticksstones8  42407  sticksstones11  42410  sticksstones12  42412  sticksstones20  42420  sticksstones22  42422  aks6d1c6lem3  42426  aks6d1c6lem4  42427  aks6d1c6isolem1  42428  aks6d1c6isolem2  42429  aks6d1c6lem5  42431  aks6d1c7  42438  rhmqusspan  42439  unitscyglem2  42450  unitscyglem3  42451  aks5lem8  42455  sn-axprlem3  42474  oexpreposd  42577  sn-remul0ord  42663  frlmsnic  42795  fsuppind  42833  prjspval  42846  rexrabdioph  43036  fphpdo  43059  irrapxlem3  43066  rmxypairf1o  43153  rmxycomplete  43159  zindbi  43188  lermxnn0  43192  ltrmy  43194  rmyeq0  43195  rmyeq  43196  lermy  43197  acongsym  43218  acongneg2  43219  wepwsolem  43284  onsupuni  43471  onsupmaxb  43481  onsucf1o  43514  onov0suclim  43516  oe0suclim  43519  onsucwordi  43530  cantnfresb  43566  omabs2  43574  tfsconcat0b  43588  tfsconcatrev  43590  naddcnffo  43606  oaun3lem1  43616  oaltom  43646  omltoe  43648  sdomne0  43654  sdomne0d  43655  safesnsupfidom1o  43658  intabssd  43760  iscard4  43774  ss2iundf  43900  frege129d  44004  frege133d  44006  axfrege52a  44097  axfrege52c  44128  ntrk0kbimka  44280  gneispace  44375  suprleubrd  44407  suprlubrd  44409  radcnvrat  44555  nzss  44558  expgrowthi  44574  ordpss  44691  bi23impib  44727  rspsbc2  44775  tratrb  44777  sbcim2g  44779  truniALT  44782  3impcombi  45057  tpid3gVD  45082  orbi1rVD  45088  sbc3orgVD  45091  rspsbc2VD  45095  tratrbVD  45101  sbcim2gVD  45115  sbcbiVD  45116  truniALTVD  45118  trintALTVD  45120  trintALT  45121  csbingVD  45124  csbsngVD  45133  csbxpgVD  45134  csbresgVD  45135  csbrngVD  45136  csbima12gALTVD  45137  csbunigVD  45138  csbfv12gALTVD  45139  relopabVD  45141  isosctrlem1ALT  45174  relpfrlem  45194  trfr  45203  fzisoeu  45548  xrralrecnnge  45634  allbutfi  45637  climinf  45852  liminfreuzlem  46046  climliminf  46050  climliminflimsup  46052  xlimpnfxnegmnf  46058  xlimbr  46071  stoweidlem7  46251  stoweidlem62  46306  sge0gerpmpt  46646  meaiuninclem  46724  carageniuncllem2  46766  issmflem  46971  et-sqrtnegnre  47117  ormkglobd  47119  natlocalincr  47120  funressnfv  47289  funressnvmo  47291  f1cof1b  47323  2reu3  47356  ralbinrald  47368  afv0fv0  47395  afv0nbfvbi  47397  afvfv0bi  47398  fnbrafvb  47400  afvres  47418  tz6.12-afv  47419  afvco2  47422  ndmaovcl  47449  afv2res  47485  tz6.12-afv2  47486  nelbrim  47521  f1oresf1o2  47537  zm1nn  47548  nltle2tri  47559  subsubelfzo0  47572  2tceilhalfelfzo1  47578  iccpartres  47664  iccpartiltu  47668  fargshiftfv  47685  ichnreuop  47718  ichreuopeq  47719  prsprel  47733  sprsymrelf1lem  47737  sprsymrelfolem2  47739  sprsymrelfo  47743  prpair  47747  paireqne  47757  sbcpr  47767  fmtnof1  47781  goldbachthlem2  47792  fmtnoprmfac1  47811  fmtnoprmfac2  47813  lighneallem2  47852  lighneallem4b  47855  lighneallem4  47856  evennodd  47889  oddneven  47890  oexpnegnz  47924  evenltle  47963  fpprwppr  47985  fpprwpprb  47986  gbowge7  48009  gbege6  48011  sbgoldbwt  48023  sbgoldbst  48024  nnsum3primesle9  48040  bgoldbtbndlem2  48052  grimprop  48129  isuspgrimlem  48141  uhgrimisgrgriclem  48176  clnbgrgrimlem  48179  grtriproplem  48185  isgrtri  48189  grimgrtri  48195  stgr1  48207  isubgr3stgr  48221  grlimprop  48230  uspgrlimlem2  48235  uspgrlimlem3  48236  grlimprclnbgr  48242  gpg5nbgrvtx13starlem1  48317  clintop  48454  isassintop  48456  lidldomn1  48477  uzlidlring  48481  2zrngnmlid2  48503  rngccatidALTV  48518  ringccatidALTV  48552  srhmsubcALTV  48571  ztprmneprm  48593  pgrpgt2nabl  48612  lindslinindimp2lem4  48707  lincresunit3  48727  fldivexpfllog2  48811  digexp  48853  naryfvalelfv  48878  affinecomb1  48948  eenglngeehlnmlem1  48983  eenglngeehlnmlem2  48984  eenglngeehlnm  48985  itscnhlc0yqe  49005  itsclc0yqsol  49010  itscnhlc0xyqsol  49011  itschlc0xyqsol1  49012  itschlc0xyqsol  49013  itsclquadeu  49023  inlinecirc02plem  49032  inlinecirc02p  49033  pm4.71da  49035  mofsn  49089  seposep  49171  resipos  49220  idmon  49265  idepi  49266  prsthinc  49709  grptcmon  49838  grptcepi  49839  spd  49923  spcdvw  49924  setrec2fun  49937